019b477e-af0b-7223-8119-e99ac6301b06
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 |
|---|---|---|---|---|
| 21705 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21706 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64850 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64851 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64852 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64853 | 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 0x0132 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x088f87e0 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0213 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x20cb27fb 00000046: EQ 00000047: PUSH2 0x0234 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x299f5f1a 00000051: EQ 00000052: PUSH2 0x025d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x2db6fa36 0000005c: EQ 0000005d: PUSH2 0x0284 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x2fdbb3d4 00000067: EQ 00000068: PUSH2 0x02d9 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x41b3d185 00000072: EQ 00000073: PUSH2 0x02ee 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x5b8d02d7 0000007d: EQ 0000007e: PUSH2 0x0303 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x5ec72a90 00000088: EQ 00000089: PUSH2 0x0334 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6124a577 00000093: EQ 00000094: PUSH2 0x0349 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x63bd1d4a 0000009e: EQ 0000009f: PUSH2 0x035e 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x94e2662f 000000a9: EQ 000000aa: PUSH2 0x0373 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x9a7be471 000000b4: EQ 000000b5: PUSH2 0x038d 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x9b19251a 000000bf: EQ 000000c0: PUSH2 0x03a5 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa9c712f8 000000ca: EQ 000000cb: PUSH2 0x03c6 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xbf632e67 000000d5: EQ 000000d6: PUSH2 0x03e7 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xc1707f66 000000e0: EQ 000000e1: PUSH2 0x03fc 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xc19d93fb 000000eb: EQ 000000ec: PUSH2 0x041a 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xc7395151 000000f6: EQ 000000f7: PUSH2 0x0453 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xc8af1538 00000101: EQ 00000102: PUSH2 0x046b 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xd6636307 0000010c: EQ 0000010d: PUSH2 0x0480 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xd9fb6963 00000117: EQ 00000118: PUSH2 0x0495 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xe43252d7 00000122: EQ 00000123: PUSH2 0x04aa 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xe85ff4f1 0000012d: EQ 0000012e: PUSH2 0x04cb 00000131: JUMPI 00000132: JUMPDEST 00000133: PUSH1 0x00 00000135: CALLVALUE 00000136: GT 00000137: ISZERO 00000138: PUSH2 0x0209 0000013b: JUMPI 0000013c: PUSH1 0x01 0000013e: PUSH1 0x00 00000140: SLOAD 00000141: PUSH5 0x0100000000 00000147: SWAP1 00000148: DIV 00000149: PUSH1 0xff 0000014b: AND 0000014c: PUSH1 0x03 0000014e: DUP2 0000014f: GT 00000150: ISZERO 00000151: PUSH2 0x0156 00000154: JUMPI 00000155: INVALID 00000156: JUMPDEST 00000157: EQ 00000158: DUP1 00000159: PUSH2 0x017a 0000015c: JUMPI 0000015d: POP 0000015e: PUSH1 0x02 00000160: PUSH1 0x00 00000162: SLOAD 00000163: PUSH5 0x0100000000 00000169: SWAP1 0000016a: DIV 0000016b: PUSH1 0xff 0000016d: AND 0000016e: PUSH1 0x03 00000170: DUP2 00000171: GT 00000172: ISZERO 00000173: PUSH2 0x0178 00000176: JUMPI 00000177: INVALID 00000178: JUMPDEST 00000179: EQ 0000017a: JUMPDEST 0000017b: ISZERO 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: PUSH1 0x09 00000188: SLOAD 00000189: PUSH1 0xff 0000018b: AND 0000018c: ISZERO 0000018d: PUSH2 0x01fc 00000190: JUMPI 00000191: CALLER 00000192: PUSH1 0x00 00000194: SWAP1 00000195: DUP2 00000196: MSTORE 00000197: PUSH1 0x08 00000199: PUSH1 0x20 0000019b: MSTORE 0000019c: PUSH1 0x40 0000019e: SWAP1 0000019f: KECCAK256 000001a0: SLOAD 000001a1: PUSH1 0xff 000001a3: AND 000001a4: ISZERO 000001a5: ISZERO 000001a6: PUSH1 0x01 000001a8: EQ 000001a9: PUSH2 0x01fc 000001ac: JUMPI 000001ad: PUSH1 0x40 000001af: DUP1 000001b0: MLOAD 000001b1: PUSH1 0xe5 000001b3: PUSH1 0x02 000001b5: EXP 000001b6: PUSH3 0x461bcd 000001ba: MUL 000001bb: DUP2 000001bc: MSTORE 000001bd: PUSH1 0x20 000001bf: PUSH1 0x04 000001c1: DUP3 000001c2: ADD 000001c3: MSTORE 000001c4: PUSH1 0x0f 000001c6: PUSH1 0x24 000001c8: DUP3 000001c9: ADD 000001ca: MSTORE 000001cb: PUSH32 0x6e6f742077686974656c69737465640000000000000000000000000000000000 000001ec: PUSH1 0x44 000001ee: DUP3 000001ef: ADD 000001f0: MSTORE 000001f1: SWAP1 000001f2: MLOAD 000001f3: SWAP1 000001f4: DUP2 000001f5: SWAP1 000001f6: SUB 000001f7: PUSH1 0x64 000001f9: ADD 000001fa: SWAP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: PUSH2 0x0204 00000200: PUSH2 0x04ec 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH2 0x0211 00000208: JUMP 00000209: JUMPDEST 0000020a: PUSH2 0x0211 0000020d: PUSH2 0x05e0 00000210: JUMP 00000211: JUMPDEST 00000212: STOP 00000213: JUMPDEST 00000214: CALLVALUE 00000215: DUP1 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: POP 00000221: PUSH2 0x0211 00000224: PUSH1 0x01 00000226: PUSH1 0xa0 00000228: PUSH1 0x02 0000022a: EXP 0000022b: SUB 0000022c: PUSH1 0x04 0000022e: CALLDATALOAD 0000022f: AND 00000230: PUSH2 0x0700 00000233: JUMP 00000234: JUMPDEST 00000235: CALLVALUE 00000236: DUP1 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: POP 00000242: PUSH2 0x0249 00000245: PUSH2 0x0830 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: DUP1 0000024d: MLOAD 0000024e: SWAP2 0000024f: ISZERO 00000250: ISZERO 00000251: DUP3 00000252: MSTORE 00000253: MLOAD 00000254: SWAP1 00000255: DUP2 00000256: SWAP1 00000257: SUB 00000258: PUSH1 0x20 0000025a: ADD 0000025b: SWAP1 0000025c: RETURN 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x0272 0000026e: PUSH2 0x0839 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x40 00000275: DUP1 00000276: MLOAD 00000277: SWAP2 00000278: DUP3 00000279: MSTORE 0000027a: MLOAD 0000027b: SWAP1 0000027c: DUP2 0000027d: SWAP1 0000027e: SUB 0000027f: PUSH1 0x20 00000281: ADD 00000282: SWAP1 00000283: RETURN 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH1 0x40 00000294: DUP1 00000295: MLOAD 00000296: PUSH1 0x20 00000298: PUSH1 0x04 0000029a: DUP1 0000029b: CALLDATALOAD 0000029c: DUP1 0000029d: DUP3 0000029e: ADD 0000029f: CALLDATALOAD 000002a0: DUP4 000002a1: DUP2 000002a2: MUL 000002a3: DUP1 000002a4: DUP7 000002a5: ADD 000002a6: DUP6 000002a7: ADD 000002a8: SWAP1 000002a9: SWAP7 000002aa: MSTORE 000002ab: DUP1 000002ac: DUP6 000002ad: MSTORE 000002ae: PUSH2 0x0211 000002b1: SWAP6 000002b2: CALLDATASIZE 000002b3: SWAP6 000002b4: SWAP4 000002b5: SWAP5 000002b6: PUSH1 0x24 000002b8: SWAP5 000002b9: SWAP4 000002ba: DUP6 000002bb: ADD 000002bc: SWAP3 000002bd: SWAP2 000002be: DUP3 000002bf: SWAP2 000002c0: DUP6 000002c1: ADD 000002c2: SWAP1 000002c3: DUP5 000002c4: SWAP1 000002c5: DUP1 000002c6: DUP3 000002c7: DUP5 000002c8: CALLDATACOPY 000002c9: POP 000002ca: SWAP5 000002cb: SWAP8 000002cc: POP 000002cd: PUSH2 0x083f 000002d0: SWAP7 000002d1: POP 000002d2: POP 000002d3: POP 000002d4: POP 000002d5: POP 000002d6: POP 000002d7: POP 000002d8: JUMP 000002d9: JUMPDEST 000002da: CALLVALUE 000002db: DUP1 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: POP 000002e7: PUSH2 0x0272 000002ea: PUSH2 0x08e5 000002ed: JUMP 000002ee: JUMPDEST 000002ef: CALLVALUE 000002f0: DUP1 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: POP 000002fc: PUSH2 0x0272 000002ff: PUSH2 0x08eb 00000302: JUMP 00000303: JUMPDEST 00000304: CALLVALUE 00000305: DUP1 00000306: ISZERO 00000307: PUSH2 0x030f 0000030a: JUMPI 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x0318 00000314: PUSH2 0x08f1 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH1 0x40 0000031b: DUP1 0000031c: MLOAD 0000031d: PUSH1 0x01 0000031f: PUSH1 0xa0 00000321: PUSH1 0x02 00000323: EXP 00000324: SUB 00000325: SWAP1 00000326: SWAP3 00000327: AND 00000328: DUP3 00000329: MSTORE 0000032a: MLOAD 0000032b: SWAP1 0000032c: DUP2 0000032d: SWAP1 0000032e: SUB 0000032f: PUSH1 0x20 00000331: ADD 00000332: SWAP1 00000333: RETURN 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x0272 00000345: PUSH2 0x0900 00000348: JUMP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x0318 0000035a: PUSH2 0x0906 0000035d: JUMP 0000035e: JUMPDEST 0000035f: CALLVALUE 00000360: DUP1 00000361: ISZERO 00000362: PUSH2 0x036a 00000365: JUMPI 00000366: PUSH1 0x00 00000368: DUP1 00000369: REVERT 0000036a: JUMPDEST 0000036b: POP 0000036c: PUSH2 0x0211 0000036f: PUSH2 0x0915 00000372: JUMP 00000373: JUMPDEST 00000374: CALLVALUE 00000375: DUP1 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x0211 00000384: PUSH1 0x04 00000386: CALLDATALOAD 00000387: ISZERO 00000388: ISZERO 00000389: PUSH2 0x0a48 0000038c: JUMP 0000038d: JUMPDEST 0000038e: CALLVALUE 0000038f: DUP1 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: PUSH2 0x0211 0000039e: PUSH1 0x04 000003a0: CALLDATALOAD 000003a1: PUSH2 0x0ab4 000003a4: JUMP 000003a5: JUMPDEST 000003a6: CALLVALUE 000003a7: DUP1 000003a8: ISZERO 000003a9: PUSH2 0x03b1 000003ac: JUMPI 000003ad: PUSH1 0x00 000003af: DUP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: POP 000003b3: PUSH2 0x0249 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: PUSH1 0x02 000003bc: EXP 000003bd: SUB 000003be: PUSH1 0x04 000003c0: CALLDATALOAD 000003c1: AND 000003c2: PUSH2 0x0b12 000003c5: JUMP 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: POP 000003d4: PUSH2 0x0272 000003d7: PUSH1 0x01 000003d9: PUSH1 0xa0 000003db: PUSH1 0x02 000003dd: EXP 000003de: SUB 000003df: PUSH1 0x04 000003e1: CALLDATALOAD 000003e2: AND 000003e3: PUSH2 0x0b27 000003e6: JUMP 000003e7: JUMPDEST 000003e8: CALLVALUE 000003e9: DUP1 000003ea: ISZERO 000003eb: PUSH2 0x03f3 000003ee: JUMPI 000003ef: PUSH1 0x00 000003f1: DUP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: POP 000003f5: PUSH2 0x0318 000003f8: PUSH2 0x0b39 000003fb: JUMP 000003fc: JUMPDEST 000003fd: CALLVALUE 000003fe: DUP1 000003ff: ISZERO 00000400: PUSH2 0x0408 00000403: JUMPI 00000404: PUSH1 0x00 00000406: DUP1 00000407: REVERT 00000408: JUMPDEST 00000409: POP 0000040a: PUSH2 0x0211 0000040d: PUSH4 0xffffffff 00000412: PUSH1 0x04 00000414: CALLDATALOAD 00000415: AND 00000416: PUSH2 0x0b51 00000419: JUMP 0000041a: JUMPDEST 0000041b: CALLVALUE 0000041c: DUP1 0000041d: ISZERO 0000041e: PUSH2 0x0426 00000421: JUMPI 00000422: PUSH1 0x00 00000424: DUP1 00000425: REVERT 00000426: JUMPDEST 00000427: POP 00000428: PUSH2 0x042f 0000042b: PUSH2 0x0c1d 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH1 0x40 00000432: MLOAD 00000433: DUP1 00000434: DUP3 00000435: PUSH1 0x03 00000437: DUP2 00000438: GT 00000439: ISZERO 0000043a: PUSH2 0x043f 0000043d: JUMPI 0000043e: INVALID 0000043f: JUMPDEST 00000440: PUSH1 0xff 00000442: AND 00000443: DUP2 00000444: MSTORE 00000445: PUSH1 0x20 00000447: ADD 00000448: SWAP2 00000449: POP 0000044a: POP 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: DUP1 0000044f: SWAP2 00000450: SUB 00000451: SWAP1 00000452: RETURN 00000453: JUMPDEST 00000454: CALLVALUE 00000455: DUP1 00000456: ISZERO 00000457: PUSH2 0x045f 0000045a: JUMPI 0000045b: PUSH1 0x00 0000045d: DUP1 0000045e: REVERT 0000045f: JUMPDEST 00000460: POP 00000461: PUSH2 0x0211 00000464: PUSH1 0x04 00000466: CALLDATALOAD 00000467: PUSH2 0x0c2e 0000046a: JUMP 0000046b: JUMPDEST 0000046c: CALLVALUE 0000046d: DUP1 0000046e: ISZERO 0000046f: PUSH2 0x0477 00000472: JUMPI 00000473: PUSH1 0x00 00000475: DUP1 00000476: REVERT 00000477: JUMPDEST 00000478: POP 00000479: PUSH2 0x0211 0000047c: PUSH2 0x0c9b 0000047f: JUMP 00000480: JUMPDEST 00000481: CALLVALUE 00000482: DUP1 00000483: ISZERO 00000484: PUSH2 0x048c 00000487: JUMPI 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: REVERT 0000048c: JUMPDEST 0000048d: POP 0000048e: PUSH2 0x0211 00000491: PUSH2 0x0d38 00000494: JUMP 00000495: JUMPDEST 00000496: CALLVALUE 00000497: DUP1 00000498: ISZERO 00000499: PUSH2 0x04a1 0000049c: JUMPI 0000049d: PUSH1 0x00 0000049f: DUP1 000004a0: REVERT 000004a1: JUMPDEST 000004a2: POP 000004a3: PUSH2 0x0211 000004a6: PUSH2 0x0dfa 000004a9: JUMP 000004aa: JUMPDEST 000004ab: CALLVALUE 000004ac: DUP1 000004ad: ISZERO 000004ae: PUSH2 0x04b6 000004b1: JUMPI 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: REVERT 000004b6: JUMPDEST 000004b7: POP 000004b8: PUSH2 0x0211 000004bb: PUSH1 0x01 000004bd: PUSH1 0xa0 000004bf: PUSH1 0x02 000004c1: EXP 000004c2: SUB 000004c3: PUSH1 0x04 000004c5: CALLDATALOAD 000004c6: AND 000004c7: PUSH2 0x0ecb 000004ca: JUMP 000004cb: JUMPDEST 000004cc: CALLVALUE 000004cd: DUP1 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: POP 000004d9: PUSH2 0x0272 000004dc: PUSH1 0x01 000004de: PUSH1 0xa0 000004e0: PUSH1 0x02 000004e2: EXP 000004e3: SUB 000004e4: PUSH1 0x04 000004e6: CALLDATALOAD 000004e7: AND 000004e8: PUSH2 0x1022 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH1 0x05 000004ef: SLOAD 000004f0: PUSH1 0x03 000004f2: SLOAD 000004f3: CALLVALUE 000004f4: ADD 000004f5: GT 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: CALLER 00000501: PUSH1 0x00 00000503: SWAP1 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x08 00000508: PUSH1 0x20 0000050a: MSTORE 0000050b: PUSH1 0x40 0000050d: SWAP1 0000050e: KECCAK256 0000050f: SLOAD 00000510: PUSH1 0xff 00000512: AND 00000513: ISZERO 00000514: ISZERO 00000515: PUSH1 0x01 00000517: EQ 00000518: ISZERO 00000519: PUSH2 0x0562 0000051c: JUMPI 0000051d: PUSH1 0x06 0000051f: SLOAD 00000520: CALLER 00000521: PUSH1 0x00 00000523: SWAP1 00000524: DUP2 00000525: MSTORE 00000526: PUSH1 0x0a 00000528: PUSH1 0x20 0000052a: MSTORE 0000052b: PUSH1 0x40 0000052d: SWAP1 0000052e: KECCAK256 0000052f: SLOAD 00000530: CALLVALUE 00000531: ADD 00000532: LT 00000533: ISZERO 00000534: PUSH2 0x053c 00000537: JUMPI 00000538: PUSH1 0x00 0000053a: DUP1 0000053b: REVERT 0000053c: JUMPDEST 0000053d: CALLER 0000053e: PUSH1 0x00 00000540: SWAP1 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x0a 00000545: PUSH1 0x20 00000547: MSTORE 00000548: PUSH1 0x40 0000054a: SWAP1 0000054b: KECCAK256 0000054c: DUP1 0000054d: SLOAD 0000054e: CALLVALUE 0000054f: SWAP1 00000550: DUP2 00000551: ADD 00000552: SWAP1 00000553: SWAP2 00000554: SSTORE 00000555: PUSH1 0x03 00000557: DUP1 00000558: SLOAD 00000559: SWAP1 0000055a: SWAP2 0000055b: ADD 0000055c: SWAP1 0000055d: SSTORE 0000055e: PUSH2 0x05a4 00000561: JUMP 00000562: JUMPDEST 00000563: PUSH1 0x06 00000565: SLOAD 00000566: CALLER 00000567: PUSH1 0x00 00000569: SWAP1 0000056a: DUP2 0000056b: MSTORE 0000056c: PUSH1 0x0b 0000056e: PUSH1 0x20 00000570: MSTORE 00000571: PUSH1 0x40 00000573: SWAP1 00000574: KECCAK256 00000575: SLOAD 00000576: CALLVALUE 00000577: ADD 00000578: LT 00000579: ISZERO 0000057a: PUSH2 0x0582 0000057d: JUMPI 0000057e: PUSH1 0x00 00000580: DUP1 00000581: REVERT 00000582: JUMPDEST 00000583: CALLER 00000584: PUSH1 0x00 00000586: SWAP1 00000587: DUP2 00000588: MSTORE 00000589: PUSH1 0x0b 0000058b: PUSH1 0x20 0000058d: MSTORE 0000058e: PUSH1 0x40 00000590: SWAP1 00000591: KECCAK256 00000592: DUP1 00000593: SLOAD 00000594: CALLVALUE 00000595: SWAP1 00000596: DUP2 00000597: ADD 00000598: SWAP1 00000599: SWAP2 0000059a: SSTORE 0000059b: PUSH1 0x04 0000059d: DUP1 0000059e: SLOAD 0000059f: SWAP1 000005a0: SWAP2 000005a1: ADD 000005a2: SWAP1 000005a3: SSTORE 000005a4: JUMPDEST 000005a5: PUSH1 0x40 000005a7: DUP1 000005a8: MLOAD 000005a9: CALLER 000005aa: DUP2 000005ab: MSTORE 000005ac: CALLVALUE 000005ad: PUSH1 0x20 000005af: DUP3 000005b0: ADD 000005b1: MSTORE 000005b2: DUP2 000005b3: MLOAD 000005b4: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 000005d5: SWAP3 000005d6: SWAP2 000005d7: DUP2 000005d8: SWAP1 000005d9: SUB 000005da: SWAP1 000005db: SWAP2 000005dc: ADD 000005dd: SWAP1 000005de: LOG1 000005df: JUMP 000005e0: JUMPDEST 000005e1: CALLER 000005e2: PUSH1 0x00 000005e4: SWAP1 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x08 000005e9: PUSH1 0x20 000005eb: MSTORE 000005ec: PUSH1 0x40 000005ee: DUP2 000005ef: KECCAK256 000005f0: SLOAD 000005f1: PUSH1 0xff 000005f3: AND 000005f4: ISZERO 000005f5: ISZERO 000005f6: PUSH1 0x01 000005f8: EQ 000005f9: ISZERO 000005fa: PUSH2 0x065d 000005fd: JUMPI 000005fe: PUSH1 0x01 00000600: PUSH1 0x00 00000602: SLOAD 00000603: PUSH5 0x0100000000 00000609: SWAP1 0000060a: DIV 0000060b: PUSH1 0xff 0000060d: AND 0000060e: PUSH1 0x03 00000610: DUP2 00000611: GT 00000612: ISZERO 00000613: PUSH2 0x0618 00000616: JUMPI 00000617: INVALID 00000618: JUMPDEST 00000619: EQ 0000061a: PUSH2 0x0622 0000061d: JUMPI 0000061e: PUSH1 0x00 00000620: DUP1 00000621: REVERT 00000622: JUMPDEST 00000623: POP 00000624: CALLER 00000625: PUSH1 0x00 00000627: SWAP1 00000628: DUP2 00000629: MSTORE 0000062a: PUSH1 0x0a 0000062c: PUSH1 0x20 0000062e: MSTORE 0000062f: PUSH1 0x40 00000631: DUP2 00000632: KECCAK256 00000633: SLOAD 00000634: SWAP1 00000635: DUP2 00000636: GT 00000637: PUSH2 0x063f 0000063a: JUMPI 0000063b: PUSH1 0x00 0000063d: DUP1 0000063e: REVERT 0000063f: JUMPDEST 00000640: CALLER 00000641: PUSH1 0x00 00000643: SWAP1 00000644: DUP2 00000645: MSTORE 00000646: PUSH1 0x0a 00000648: PUSH1 0x20 0000064a: MSTORE 0000064b: PUSH1 0x40 0000064d: DUP2 0000064e: KECCAK256 0000064f: SSTORE 00000650: PUSH1 0x03 00000652: DUP1 00000653: SLOAD 00000654: DUP3 00000655: SWAP1 00000656: SUB 00000657: SWAP1 00000658: SSTORE 00000659: PUSH2 0x0694 0000065c: JUMP 0000065d: JUMPDEST 0000065e: POP 0000065f: CALLER 00000660: PUSH1 0x00 00000662: SWAP1 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x0b 00000667: PUSH1 0x20 00000669: MSTORE 0000066a: PUSH1 0x40 0000066c: DUP2 0000066d: KECCAK256 0000066e: SLOAD 0000066f: SWAP1 00000670: DUP2 00000671: GT 00000672: PUSH2 0x067a 00000675: JUMPI 00000676: PUSH1 0x00 00000678: DUP1 00000679: REVERT 0000067a: JUMPDEST 0000067b: CALLER 0000067c: PUSH1 0x00 0000067e: SWAP1 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x0b 00000683: PUSH1 0x20 00000685: MSTORE 00000686: PUSH1 0x40 00000688: DUP2 00000689: KECCAK256 0000068a: SSTORE 0000068b: PUSH1 0x04 0000068d: DUP1 0000068e: SLOAD 0000068f: DUP3 00000690: SWAP1 00000691: SUB 00000692: SWAP1 00000693: SSTORE 00000694: JUMPDEST 00000695: PUSH1 0x40 00000697: DUP1 00000698: MLOAD 00000699: CALLER 0000069a: DUP2 0000069b: MSTORE 0000069c: PUSH1 0x20 0000069e: DUP2 0000069f: ADD 000006a0: DUP4 000006a1: SWAP1 000006a2: MSTORE 000006a3: DUP2 000006a4: MLOAD 000006a5: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d 000006c6: SWAP3 000006c7: SWAP2 000006c8: DUP2 000006c9: SWAP1 000006ca: SUB 000006cb: SWAP1 000006cc: SWAP2 000006cd: ADD 000006ce: SWAP1 000006cf: LOG1 000006d0: PUSH1 0x40 000006d2: MLOAD 000006d3: CALLER 000006d4: SWAP1 000006d5: DUP3 000006d6: ISZERO 000006d7: PUSH2 0x08fc 000006da: MUL 000006db: SWAP1 000006dc: DUP4 000006dd: SWAP1 000006de: PUSH1 0x00 000006e0: DUP2 000006e1: DUP2 000006e2: DUP2 000006e3: DUP6 000006e4: DUP9 000006e5: DUP9 000006e6: CALL 000006e7: SWAP4 000006e8: POP 000006e9: POP 000006ea: POP 000006eb: POP 000006ec: ISZERO 000006ed: DUP1 000006ee: ISZERO 000006ef: PUSH2 0x06fc 000006f2: JUMPI 000006f3: RETURNDATASIZE 000006f4: PUSH1 0x00 000006f6: DUP1 000006f7: RETURNDATACOPY 000006f8: RETURNDATASIZE 000006f9: PUSH1 0x00 000006fb: REVERT 000006fc: JUMPDEST 000006fd: POP 000006fe: POP 000006ff: JUMP 00000700: JUMPDEST 00000701: PUSH1 0x00 00000703: DUP1 00000704: SLOAD 00000705: PUSH6 0x010000000000 0000070c: SWAP1 0000070d: DIV 0000070e: PUSH1 0x01 00000710: PUSH1 0xa0 00000712: PUSH1 0x02 00000714: EXP 00000715: SUB 00000716: AND 00000717: CALLER 00000718: EQ 00000719: DUP1 0000071a: PUSH2 0x072d 0000071d: JUMPI 0000071e: POP 0000071f: PUSH1 0x01 00000721: SLOAD 00000722: PUSH1 0x01 00000724: PUSH1 0xa0 00000726: PUSH1 0x02 00000728: EXP 00000729: SUB 0000072a: AND 0000072b: CALLER 0000072c: EQ 0000072d: JUMPDEST 0000072e: ISZERO 0000072f: ISZERO 00000730: PUSH2 0x0771 00000733: JUMPI 00000734: PUSH1 0x40 00000736: DUP1 00000737: MLOAD 00000738: PUSH1 0xe5 0000073a: PUSH1 0x02 0000073c: EXP 0000073d: PUSH3 0x461bcd 00000741: MUL 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x20 00000746: PUSH1 0x04 00000748: DUP3 00000749: ADD 0000074a: MSTORE 0000074b: PUSH1 0x0d 0000074d: PUSH1 0x24 0000074f: DUP3 00000750: ADD 00000751: MSTORE 00000752: PUSH1 0x00 00000754: DUP1 00000755: MLOAD 00000756: PUSH1 0x20 00000758: PUSH2 0x10e8 0000075b: DUP4 0000075c: CODECOPY 0000075d: DUP2 0000075e: MLOAD 0000075f: SWAP2 00000760: MSTORE 00000761: PUSH1 0x44 00000763: DUP3 00000764: ADD 00000765: MSTORE 00000766: SWAP1 00000767: MLOAD 00000768: SWAP1 00000769: DUP2 0000076a: SWAP1 0000076b: SUB 0000076c: PUSH1 0x64 0000076e: ADD 0000076f: SWAP1 00000770: REVERT 00000771: JUMPDEST 00000772: POP 00000773: PUSH1 0x01 00000775: PUSH1 0xa0 00000777: PUSH1 0x02 00000779: EXP 0000077a: SUB 0000077b: DUP2 0000077c: AND 0000077d: PUSH1 0x00 0000077f: SWAP1 00000780: DUP2 00000781: MSTORE 00000782: PUSH1 0x0b 00000784: PUSH1 0x20 00000786: MSTORE 00000787: PUSH1 0x40 00000789: DUP2 0000078a: KECCAK256 0000078b: SLOAD 0000078c: SWAP1 0000078d: DUP2 0000078e: GT 0000078f: PUSH2 0x0797 00000792: JUMPI 00000793: PUSH1 0x00 00000795: DUP1 00000796: REVERT 00000797: JUMPDEST 00000798: PUSH1 0x01 0000079a: PUSH1 0xa0 0000079c: PUSH1 0x02 0000079e: EXP 0000079f: SUB 000007a0: DUP3 000007a1: AND 000007a2: PUSH1 0x00 000007a4: DUP2 000007a5: DUP2 000007a6: MSTORE 000007a7: PUSH1 0x0b 000007a9: PUSH1 0x20 000007ab: SWAP1 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x40 000007b0: DUP1 000007b1: DUP4 000007b2: KECCAK256 000007b3: SWAP3 000007b4: SWAP1 000007b5: SWAP3 000007b6: SSTORE 000007b7: PUSH1 0x04 000007b9: DUP1 000007ba: SLOAD 000007bb: DUP6 000007bc: SWAP1 000007bd: SUB 000007be: SWAP1 000007bf: SSTORE 000007c0: DUP2 000007c1: MLOAD 000007c2: SWAP3 000007c3: DUP4 000007c4: MSTORE 000007c5: DUP3 000007c6: ADD 000007c7: DUP4 000007c8: SWAP1 000007c9: MSTORE 000007ca: DUP1 000007cb: MLOAD 000007cc: PUSH32 0xbb28353e4598c3b9199101a66e0989549b659a59a54d2c27fbb183f1932c8e6d 000007ed: SWAP3 000007ee: DUP2 000007ef: SWAP1 000007f0: SUB 000007f1: SWAP1 000007f2: SWAP2 000007f3: ADD 000007f4: SWAP1 000007f5: LOG1 000007f6: PUSH1 0x40 000007f8: MLOAD 000007f9: PUSH1 0x01 000007fb: PUSH1 0xa0 000007fd: PUSH1 0x02 000007ff: EXP 00000800: SUB 00000801: DUP4 00000802: AND 00000803: SWAP1 00000804: DUP3 00000805: ISZERO 00000806: PUSH2 0x08fc 00000809: MUL 0000080a: SWAP1 0000080b: DUP4 0000080c: SWAP1 0000080d: PUSH1 0x00 0000080f: DUP2 00000810: DUP2 00000811: DUP2 00000812: DUP6 00000813: DUP9 00000814: DUP9 00000815: CALL 00000816: SWAP4 00000817: POP 00000818: POP 00000819: POP 0000081a: POP 0000081b: ISZERO 0000081c: DUP1 0000081d: ISZERO 0000081e: PUSH2 0x082b 00000821: JUMPI 00000822: RETURNDATASIZE 00000823: PUSH1 0x00 00000825: DUP1 00000826: RETURNDATACOPY 00000827: RETURNDATASIZE 00000828: PUSH1 0x00 0000082a: REVERT 0000082b: JUMPDEST 0000082c: POP 0000082d: POP 0000082e: POP 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH1 0x09 00000833: SLOAD 00000834: PUSH1 0xff 00000836: AND 00000837: DUP2 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH1 0x04 0000083c: SLOAD 0000083d: DUP2 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0x00 00000842: DUP1 00000843: SLOAD 00000844: PUSH6 0x010000000000 0000084b: SWAP1 0000084c: DIV 0000084d: PUSH1 0x01 0000084f: PUSH1 0xa0 00000851: PUSH1 0x02 00000853: EXP 00000854: SUB 00000855: AND 00000856: CALLER 00000857: EQ 00000858: DUP1 00000859: PUSH2 0x086c 0000085c: JUMPI 0000085d: POP 0000085e: PUSH1 0x01 00000860: SLOAD 00000861: PUSH1 0x01 00000863: PUSH1 0xa0 00000865: PUSH1 0x02 00000867: EXP 00000868: SUB 00000869: AND 0000086a: CALLER 0000086b: EQ 0000086c: JUMPDEST 0000086d: ISZERO 0000086e: ISZERO 0000086f: PUSH2 0x08b0 00000872: JUMPI 00000873: PUSH1 0x40 00000875: DUP1 00000876: MLOAD 00000877: PUSH1 0xe5 00000879: PUSH1 0x02 0000087b: EXP 0000087c: PUSH3 0x461bcd 00000880: MUL 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x20 00000885: PUSH1 0x04 00000887: DUP3 00000888: ADD 00000889: MSTORE 0000088a: PUSH1 0x0d 0000088c: PUSH1 0x24 0000088e: DUP3 0000088f: ADD 00000890: MSTORE 00000891: PUSH1 0x00 00000893: DUP1 00000894: MLOAD 00000895: PUSH1 0x20 00000897: PUSH2 0x10e8 0000089a: DUP4 0000089b: CODECOPY 0000089c: DUP2 0000089d: MLOAD 0000089e: SWAP2 0000089f: MSTORE 000008a0: PUSH1 0x44 000008a2: DUP3 000008a3: ADD 000008a4: MSTORE 000008a5: SWAP1 000008a6: MLOAD 000008a7: SWAP1 000008a8: DUP2 000008a9: SWAP1 000008aa: SUB 000008ab: PUSH1 0x64 000008ad: ADD 000008ae: SWAP1 000008af: REVERT 000008b0: JUMPDEST 000008b1: POP 000008b2: PUSH1 0x00 000008b4: JUMPDEST 000008b5: DUP2 000008b6: MLOAD 000008b7: DUP2 000008b8: LT 000008b9: ISZERO 000008ba: PUSH2 0x06fc 000008bd: JUMPI 000008be: PUSH2 0x08dd 000008c1: DUP3 000008c2: DUP3 000008c3: DUP2 000008c4: MLOAD 000008c5: DUP2 000008c6: LT 000008c7: ISZERO 000008c8: ISZERO 000008c9: PUSH2 0x08ce 000008cc: JUMPI 000008cd: INVALID 000008ce: JUMPDEST 000008cf: SWAP1 000008d0: PUSH1 0x20 000008d2: ADD 000008d3: SWAP1 000008d4: PUSH1 0x20 000008d6: MUL 000008d7: ADD 000008d8: MLOAD 000008d9: PUSH2 0x0ecb 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x01 000008e0: ADD 000008e1: PUSH2 0x08b4 000008e4: JUMP 000008e5: JUMPDEST 000008e6: PUSH1 0x03 000008e8: SLOAD 000008e9: DUP2 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x06 000008ee: SLOAD 000008ef: DUP2 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH1 0x02 000008f4: SLOAD 000008f5: PUSH1 0x01 000008f7: PUSH1 0xa0 000008f9: PUSH1 0x02 000008fb: EXP 000008fc: SUB 000008fd: AND 000008fe: DUP2 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH1 0x05 00000903: SLOAD 00000904: DUP2 00000905: JUMP 00000906: JUMPDEST 00000907: PUSH1 0x01 00000909: SLOAD 0000090a: PUSH1 0x01 0000090c: PUSH1 0xa0 0000090e: PUSH1 0x02 00000910: EXP 00000911: SUB 00000912: AND 00000913: DUP2 00000914: JUMP 00000915: JUMPDEST 00000916: PUSH1 0x00 00000918: DUP1 00000919: SLOAD 0000091a: PUSH6 0x010000000000 00000921: SWAP1 00000922: DIV 00000923: PUSH1 0x01 00000925: PUSH1 0xa0 00000927: PUSH1 0x02 00000929: EXP 0000092a: SUB 0000092b: AND 0000092c: CALLER 0000092d: EQ 0000092e: PUSH2 0x096f 00000931: JUMPI 00000932: PUSH1 0x40 00000934: DUP1 00000935: MLOAD 00000936: PUSH1 0xe5 00000938: PUSH1 0x02 0000093a: EXP 0000093b: PUSH3 0x461bcd 0000093f: MUL 00000940: DUP2 00000941: MSTORE 00000942: PUSH1 0x20 00000944: PUSH1 0x04 00000946: DUP3 00000947: ADD 00000948: MSTORE 00000949: PUSH1 0x0d 0000094b: PUSH1 0x24 0000094d: DUP3 0000094e: ADD 0000094f: MSTORE 00000950: PUSH1 0x00 00000952: DUP1 00000953: MLOAD 00000954: PUSH1 0x20 00000956: PUSH2 0x10e8 00000959: DUP4 0000095a: CODECOPY 0000095b: DUP2 0000095c: MLOAD 0000095d: SWAP2 0000095e: MSTORE 0000095f: PUSH1 0x44 00000961: DUP3 00000962: ADD 00000963: MSTORE 00000964: SWAP1 00000965: MLOAD 00000966: SWAP1 00000967: DUP2 00000968: SWAP1 00000969: SUB 0000096a: PUSH1 0x64 0000096c: ADD 0000096d: SWAP1 0000096e: REVERT 0000096f: JUMPDEST 00000970: PUSH1 0x03 00000972: DUP1 00000973: PUSH1 0x00 00000975: SLOAD 00000976: PUSH5 0x0100000000 0000097c: SWAP1 0000097d: DIV 0000097e: PUSH1 0xff 00000980: AND 00000981: PUSH1 0x03 00000983: DUP2 00000984: GT 00000985: ISZERO 00000986: PUSH2 0x098b 00000989: JUMPI 0000098a: INVALID 0000098b: JUMPDEST 0000098c: EQ 0000098d: PUSH2 0x09ce 00000990: JUMPI 00000991: PUSH1 0x40 00000993: DUP1 00000994: MLOAD 00000995: PUSH1 0xe5 00000997: PUSH1 0x02 00000999: EXP 0000099a: PUSH3 0x461bcd 0000099e: MUL 0000099f: DUP2 000009a0: MSTORE 000009a1: PUSH1 0x20 000009a3: PUSH1 0x04 000009a5: DUP3 000009a6: ADD 000009a7: MSTORE 000009a8: PUSH1 0x0b 000009aa: PUSH1 0x24 000009ac: DUP3 000009ad: ADD 000009ae: MSTORE 000009af: PUSH1 0x00 000009b1: DUP1 000009b2: MLOAD 000009b3: PUSH1 0x20 000009b5: PUSH2 0x10c8 000009b8: DUP4 000009b9: CODECOPY 000009ba: DUP2 000009bb: MLOAD 000009bc: SWAP2 000009bd: MSTORE 000009be: PUSH1 0x44 000009c0: DUP3 000009c1: ADD 000009c2: MSTORE 000009c3: SWAP1 000009c4: MLOAD 000009c5: SWAP1 000009c6: DUP2 000009c7: SWAP1 000009c8: SUB 000009c9: PUSH1 0x64 000009cb: ADD 000009cc: SWAP1 000009cd: REVERT 000009ce: JUMPDEST 000009cf: PUSH1 0x03 000009d1: DUP1 000009d2: SLOAD 000009d3: PUSH1 0x00 000009d5: SWAP1 000009d6: SWAP2 000009d7: SSTORE 000009d8: PUSH1 0x40 000009da: DUP1 000009db: MLOAD 000009dc: DUP3 000009dd: DUP2 000009de: MSTORE 000009df: SWAP1 000009e0: MLOAD 000009e1: SWAP2 000009e2: SWAP4 000009e3: POP 000009e4: PUSH32 0x604544f99364c29a0cb76c78f10d29808ebc464eea63bd8a9cccbf860cff41b3 00000a05: SWAP2 00000a06: SWAP1 00000a07: DUP2 00000a08: SWAP1 00000a09: SUB 00000a0a: PUSH1 0x20 00000a0c: ADD 00000a0d: SWAP1 00000a0e: LOG1 00000a0f: PUSH1 0x02 00000a11: SLOAD 00000a12: PUSH1 0x40 00000a14: MLOAD 00000a15: PUSH1 0x01 00000a17: PUSH1 0xa0 00000a19: PUSH1 0x02 00000a1b: EXP 00000a1c: SUB 00000a1d: SWAP1 00000a1e: SWAP2 00000a1f: AND 00000a20: SWAP1 00000a21: DUP4 00000a22: ISZERO 00000a23: PUSH2 0x08fc 00000a26: MUL 00000a27: SWAP1 00000a28: DUP5 00000a29: SWAP1 00000a2a: PUSH1 0x00 00000a2c: DUP2 00000a2d: DUP2 00000a2e: DUP2 00000a2f: DUP6 00000a30: DUP9 00000a31: DUP9 00000a32: CALL 00000a33: SWAP4 00000a34: POP 00000a35: POP 00000a36: POP 00000a37: POP 00000a38: ISZERO 00000a39: DUP1 00000a3a: ISZERO 00000a3b: PUSH2 0x082b 00000a3e: JUMPI 00000a3f: RETURNDATASIZE 00000a40: PUSH1 0x00 00000a42: DUP1 00000a43: RETURNDATACOPY 00000a44: RETURNDATASIZE 00000a45: PUSH1 0x00 00000a47: REVERT 00000a48: JUMPDEST 00000a49: PUSH1 0x00 00000a4b: SLOAD 00000a4c: PUSH6 0x010000000000 00000a53: SWAP1 00000a54: DIV 00000a55: PUSH1 0x01 00000a57: PUSH1 0xa0 00000a59: PUSH1 0x02 00000a5b: EXP 00000a5c: SUB 00000a5d: AND 00000a5e: CALLER 00000a5f: EQ 00000a60: PUSH2 0x0aa1 00000a63: JUMPI 00000a64: PUSH1 0x40 00000a66: DUP1 00000a67: MLOAD 00000a68: PUSH1 0xe5 00000a6a: PUSH1 0x02 00000a6c: EXP 00000a6d: PUSH3 0x461bcd 00000a71: MUL 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x20 00000a76: PUSH1 0x04 00000a78: DUP3 00000a79: ADD 00000a7a: MSTORE 00000a7b: PUSH1 0x0d 00000a7d: PUSH1 0x24 00000a7f: DUP3 00000a80: ADD 00000a81: MSTORE 00000a82: PUSH1 0x00 00000a84: DUP1 00000a85: MLOAD 00000a86: PUSH1 0x20 00000a88: PUSH2 0x10e8 00000a8b: DUP4 00000a8c: CODECOPY 00000a8d: DUP2 00000a8e: MLOAD 00000a8f: SWAP2 00000a90: MSTORE 00000a91: PUSH1 0x44 00000a93: DUP3 00000a94: ADD 00000a95: MSTORE 00000a96: SWAP1 00000a97: MLOAD 00000a98: SWAP1 00000a99: DUP2 00000a9a: SWAP1 00000a9b: SUB 00000a9c: PUSH1 0x64 00000a9e: ADD 00000a9f: SWAP1 00000aa0: REVERT 00000aa1: JUMPDEST 00000aa2: PUSH1 0x09 00000aa4: DUP1 00000aa5: SLOAD 00000aa6: PUSH1 0xff 00000aa8: NOT 00000aa9: AND 00000aaa: SWAP2 00000aab: ISZERO 00000aac: ISZERO 00000aad: SWAP2 00000aae: SWAP1 00000aaf: SWAP2 00000ab0: OR 00000ab1: SWAP1 00000ab2: SSTORE 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: PUSH1 0x00 00000ab7: SLOAD 00000ab8: PUSH6 0x010000000000 00000abf: SWAP1 00000ac0: DIV 00000ac1: PUSH1 0x01 00000ac3: PUSH1 0xa0 00000ac5: PUSH1 0x02 00000ac7: EXP 00000ac8: SUB 00000ac9: AND 00000aca: CALLER 00000acb: EQ 00000acc: PUSH2 0x0b0d 00000acf: JUMPI 00000ad0: PUSH1 0x40 00000ad2: DUP1 00000ad3: MLOAD 00000ad4: PUSH1 0xe5 00000ad6: PUSH1 0x02 00000ad8: EXP 00000ad9: PUSH3 0x461bcd 00000add: MUL 00000ade: DUP2 00000adf: MSTORE 00000ae0: PUSH1 0x20 00000ae2: PUSH1 0x04 00000ae4: DUP3 00000ae5: ADD 00000ae6: MSTORE 00000ae7: PUSH1 0x0d 00000ae9: PUSH1 0x24 00000aeb: DUP3 00000aec: ADD 00000aed: MSTORE 00000aee: PUSH1 0x00 00000af0: DUP1 00000af1: MLOAD 00000af2: PUSH1 0x20 00000af4: PUSH2 0x10e8 00000af7: DUP4 00000af8: CODECOPY 00000af9: DUP2 00000afa: MLOAD 00000afb: SWAP2 00000afc: MSTORE 00000afd: PUSH1 0x44 00000aff: DUP3 00000b00: ADD 00000b01: MSTORE 00000b02: SWAP1 00000b03: MLOAD 00000b04: SWAP1 00000b05: DUP2 00000b06: SWAP1 00000b07: SUB 00000b08: PUSH1 0x64 00000b0a: ADD 00000b0b: SWAP1 00000b0c: REVERT 00000b0d: JUMPDEST 00000b0e: PUSH1 0x06 00000b10: SSTORE 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x08 00000b15: PUSH1 0x20 00000b17: MSTORE 00000b18: PUSH1 0x00 00000b1a: SWAP1 00000b1b: DUP2 00000b1c: MSTORE 00000b1d: PUSH1 0x40 00000b1f: SWAP1 00000b20: KECCAK256 00000b21: SLOAD 00000b22: PUSH1 0xff 00000b24: AND 00000b25: DUP2 00000b26: JUMP 00000b27: JUMPDEST 00000b28: PUSH1 0x0a 00000b2a: PUSH1 0x20 00000b2c: MSTORE 00000b2d: PUSH1 0x00 00000b2f: SWAP1 00000b30: DUP2 00000b31: MSTORE 00000b32: PUSH1 0x40 00000b34: SWAP1 00000b35: KECCAK256 00000b36: SLOAD 00000b37: DUP2 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: PUSH1 0x00 00000b3c: SLOAD 00000b3d: PUSH6 0x010000000000 00000b44: SWAP1 00000b45: DIV 00000b46: PUSH1 0x01 00000b48: PUSH1 0xa0 00000b4a: PUSH1 0x02 00000b4c: EXP 00000b4d: SUB 00000b4e: AND 00000b4f: DUP2 00000b50: JUMP 00000b51: JUMPDEST 00000b52: PUSH1 0x00 00000b54: SLOAD 00000b55: PUSH6 0x010000000000 00000b5c: SWAP1 00000b5d: DIV 00000b5e: PUSH1 0x01 00000b60: PUSH1 0xa0 00000b62: PUSH1 0x02 00000b64: EXP 00000b65: SUB 00000b66: AND 00000b67: CALLER 00000b68: EQ 00000b69: PUSH2 0x0baa 00000b6c: JUMPI 00000b6d: PUSH1 0x40 00000b6f: DUP1 00000b70: MLOAD 00000b71: PUSH1 0xe5 00000b73: PUSH1 0x02 00000b75: EXP 00000b76: PUSH3 0x461bcd 00000b7a: MUL 00000b7b: DUP2 00000b7c: MSTORE 00000b7d: PUSH1 0x20 00000b7f: PUSH1 0x04 00000b81: DUP3 00000b82: ADD 00000b83: MSTORE 00000b84: PUSH1 0x0d 00000b86: PUSH1 0x24 00000b88: DUP3 00000b89: ADD 00000b8a: MSTORE 00000b8b: PUSH1 0x00 00000b8d: DUP1 00000b8e: MLOAD 00000b8f: PUSH1 0x20 00000b91: PUSH2 0x10e8 00000b94: DUP4 00000b95: CODECOPY 00000b96: DUP2 00000b97: MLOAD 00000b98: SWAP2 00000b99: MSTORE 00000b9a: PUSH1 0x44 00000b9c: DUP3 00000b9d: ADD 00000b9e: MSTORE 00000b9f: SWAP1 00000ba0: MLOAD 00000ba1: SWAP1 00000ba2: DUP2 00000ba3: SWAP1 00000ba4: SUB 00000ba5: PUSH1 0x64 00000ba7: ADD 00000ba8: SWAP1 00000ba9: REVERT 00000baa: JUMPDEST 00000bab: PUSH1 0x00 00000bad: DUP1 00000bae: PUSH1 0x00 00000bb0: SLOAD 00000bb1: PUSH5 0x0100000000 00000bb7: SWAP1 00000bb8: DIV 00000bb9: PUSH1 0xff 00000bbb: AND 00000bbc: PUSH1 0x03 00000bbe: DUP2 00000bbf: GT 00000bc0: ISZERO 00000bc1: PUSH2 0x0bc6 00000bc4: JUMPI 00000bc5: INVALID 00000bc6: JUMPDEST 00000bc7: EQ 00000bc8: PUSH2 0x0c09 00000bcb: JUMPI 00000bcc: PUSH1 0x40 00000bce: DUP1 00000bcf: MLOAD 00000bd0: PUSH1 0xe5 00000bd2: PUSH1 0x02 00000bd4: EXP 00000bd5: PUSH3 0x461bcd 00000bd9: MUL 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x20 00000bde: PUSH1 0x04 00000be0: DUP3 00000be1: ADD 00000be2: MSTORE 00000be3: PUSH1 0x0b 00000be5: PUSH1 0x24 00000be7: DUP3 00000be8: ADD 00000be9: MSTORE 00000bea: PUSH1 0x00 00000bec: DUP1 00000bed: MLOAD 00000bee: PUSH1 0x20 00000bf0: PUSH2 0x10c8 00000bf3: DUP4 00000bf4: CODECOPY 00000bf5: DUP2 00000bf6: MLOAD 00000bf7: SWAP2 00000bf8: MSTORE 00000bf9: PUSH1 0x44 00000bfb: DUP3 00000bfc: ADD 00000bfd: MSTORE 00000bfe: SWAP1 00000bff: MLOAD 00000c00: SWAP1 00000c01: DUP2 00000c02: SWAP1 00000c03: SUB 00000c04: PUSH1 0x64 00000c06: ADD 00000c07: SWAP1 00000c08: REVERT 00000c09: JUMPDEST 00000c0a: PUSH4 0xffffffff 00000c0f: DUP3 00000c10: AND 00000c11: PUSH1 0x07 00000c13: SSTORE 00000c14: PUSH2 0x06fc 00000c17: PUSH1 0x01 00000c19: PUSH2 0x1034 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH1 0x00 00000c20: SLOAD 00000c21: PUSH5 0x0100000000 00000c27: SWAP1 00000c28: DIV 00000c29: PUSH1 0xff 00000c2b: AND 00000c2c: DUP2 00000c2d: JUMP 00000c2e: JUMPDEST 00000c2f: PUSH1 0x00 00000c31: SLOAD 00000c32: PUSH6 0x010000000000 00000c39: SWAP1 00000c3a: DIV 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0xa0 00000c3f: PUSH1 0x02 00000c41: EXP 00000c42: SUB 00000c43: AND 00000c44: CALLER 00000c45: EQ 00000c46: PUSH2 0x0c87 00000c49: JUMPI 00000c4a: PUSH1 0x40 00000c4c: DUP1 00000c4d: MLOAD 00000c4e: PUSH1 0xe5 00000c50: PUSH1 0x02 00000c52: EXP 00000c53: PUSH3 0x461bcd 00000c57: MUL 00000c58: DUP2 00000c59: MSTORE 00000c5a: PUSH1 0x20 00000c5c: PUSH1 0x04 00000c5e: DUP3 00000c5f: ADD 00000c60: MSTORE 00000c61: PUSH1 0x0d 00000c63: PUSH1 0x24 00000c65: DUP3 00000c66: ADD 00000c67: MSTORE 00000c68: PUSH1 0x00 00000c6a: DUP1 00000c6b: MLOAD 00000c6c: PUSH1 0x20 00000c6e: PUSH2 0x10e8 00000c71: DUP4 00000c72: CODECOPY 00000c73: DUP2 00000c74: MLOAD 00000c75: SWAP2 00000c76: MSTORE 00000c77: PUSH1 0x44 00000c79: DUP3 00000c7a: ADD 00000c7b: MSTORE 00000c7c: SWAP1 00000c7d: MLOAD 00000c7e: SWAP1 00000c7f: DUP2 00000c80: SWAP1 00000c81: SUB 00000c82: PUSH1 0x64 00000c84: ADD 00000c85: SWAP1 00000c86: REVERT 00000c87: JUMPDEST 00000c88: PUSH1 0x03 00000c8a: SLOAD 00000c8b: DUP2 00000c8c: LT 00000c8d: ISZERO 00000c8e: PUSH2 0x0c96 00000c91: JUMPI 00000c92: PUSH1 0x00 00000c94: DUP1 00000c95: REVERT 00000c96: JUMPDEST 00000c97: PUSH1 0x05 00000c99: SSTORE 00000c9a: JUMP 00000c9b: JUMPDEST 00000c9c: PUSH1 0x00 00000c9e: SLOAD 00000c9f: PUSH6 0x010000000000 00000ca6: SWAP1 00000ca7: DIV 00000ca8: PUSH1 0x01 00000caa: PUSH1 0xa0 00000cac: PUSH1 0x02 00000cae: EXP 00000caf: SUB 00000cb0: AND 00000cb1: CALLER 00000cb2: EQ 00000cb3: DUP1 00000cb4: PUSH2 0x0cc7 00000cb7: JUMPI 00000cb8: POP 00000cb9: PUSH1 0x01 00000cbb: SLOAD 00000cbc: PUSH1 0x01 00000cbe: PUSH1 0xa0 00000cc0: PUSH1 0x02 00000cc2: EXP 00000cc3: SUB 00000cc4: AND 00000cc5: CALLER 00000cc6: EQ 00000cc7: JUMPDEST 00000cc8: DUP1 00000cc9: PUSH2 0x0cdc 00000ccc: JUMPI 00000ccd: POP 00000cce: PUSH1 0x02 00000cd0: SLOAD 00000cd1: PUSH1 0x01 00000cd3: PUSH1 0xa0 00000cd5: PUSH1 0x02 00000cd7: EXP 00000cd8: SUB 00000cd9: AND 00000cda: CALLER 00000cdb: EQ 00000cdc: JUMPDEST 00000cdd: ISZERO 00000cde: ISZERO 00000cdf: PUSH2 0x0ce7 00000ce2: JUMPI 00000ce3: PUSH1 0x00 00000ce5: DUP1 00000ce6: REVERT 00000ce7: JUMPDEST 00000ce8: PUSH1 0x00 00000cea: SLOAD 00000ceb: PUSH4 0xffffffff 00000cf0: AND 00000cf1: TIMESTAMP 00000cf2: GT 00000cf3: PUSH2 0x0cfb 00000cf6: JUMPI 00000cf7: PUSH1 0x00 00000cf9: DUP1 00000cfa: REVERT 00000cfb: JUMPDEST 00000cfc: PUSH1 0x02 00000cfe: SLOAD 00000cff: PUSH1 0x40 00000d01: MLOAD 00000d02: PUSH1 0x01 00000d04: PUSH1 0xa0 00000d06: PUSH1 0x02 00000d08: EXP 00000d09: SUB 00000d0a: SWAP1 00000d0b: SWAP2 00000d0c: AND 00000d0d: SWAP1 00000d0e: ADDRESS 00000d0f: BALANCE 00000d10: DUP1 00000d11: ISZERO 00000d12: PUSH2 0x08fc 00000d15: MUL 00000d16: SWAP2 00000d17: PUSH1 0x00 00000d19: DUP2 00000d1a: DUP2 00000d1b: DUP2 00000d1c: DUP6 00000d1d: DUP9 00000d1e: DUP9 00000d1f: CALL 00000d20: SWAP4 00000d21: POP 00000d22: POP 00000d23: POP 00000d24: POP 00000d25: ISZERO 00000d26: DUP1 00000d27: ISZERO 00000d28: PUSH2 0x0d35 00000d2b: JUMPI 00000d2c: RETURNDATASIZE 00000d2d: PUSH1 0x00 00000d2f: DUP1 00000d30: RETURNDATACOPY 00000d31: RETURNDATASIZE 00000d32: PUSH1 0x00 00000d34: REVERT 00000d35: JUMPDEST 00000d36: POP 00000d37: JUMP 00000d38: JUMPDEST 00000d39: PUSH1 0x00 00000d3b: SLOAD 00000d3c: PUSH6 0x010000000000 00000d43: SWAP1 00000d44: DIV 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: PUSH1 0x02 00000d4b: EXP 00000d4c: SUB 00000d4d: AND 00000d4e: CALLER 00000d4f: EQ 00000d50: PUSH2 0x0d91 00000d53: JUMPI 00000d54: PUSH1 0x40 00000d56: DUP1 00000d57: MLOAD 00000d58: PUSH1 0xe5 00000d5a: PUSH1 0x02 00000d5c: EXP 00000d5d: PUSH3 0x461bcd 00000d61: MUL 00000d62: DUP2 00000d63: MSTORE 00000d64: PUSH1 0x20 00000d66: PUSH1 0x04 00000d68: DUP3 00000d69: ADD 00000d6a: MSTORE 00000d6b: PUSH1 0x0d 00000d6d: PUSH1 0x24 00000d6f: DUP3 00000d70: ADD 00000d71: MSTORE 00000d72: PUSH1 0x00 00000d74: DUP1 00000d75: MLOAD 00000d76: PUSH1 0x20 00000d78: PUSH2 0x10e8 00000d7b: DUP4 00000d7c: CODECOPY 00000d7d: DUP2 00000d7e: MLOAD 00000d7f: SWAP2 00000d80: MSTORE 00000d81: PUSH1 0x44 00000d83: DUP3 00000d84: ADD 00000d85: MSTORE 00000d86: SWAP1 00000d87: MLOAD 00000d88: SWAP1 00000d89: DUP2 00000d8a: SWAP1 00000d8b: SUB 00000d8c: PUSH1 0x64 00000d8e: ADD 00000d8f: SWAP1 00000d90: REVERT 00000d91: JUMPDEST 00000d92: PUSH1 0x02 00000d94: DUP1 00000d95: PUSH1 0x00 00000d97: SLOAD 00000d98: PUSH5 0x0100000000 00000d9e: SWAP1 00000d9f: DIV 00000da0: PUSH1 0xff 00000da2: AND 00000da3: PUSH1 0x03 00000da5: DUP2 00000da6: GT 00000da7: ISZERO 00000da8: PUSH2 0x0dad 00000dab: JUMPI 00000dac: INVALID 00000dad: JUMPDEST 00000dae: EQ 00000daf: PUSH2 0x0df0 00000db2: JUMPI 00000db3: PUSH1 0x40 00000db5: DUP1 00000db6: MLOAD 00000db7: PUSH1 0xe5 00000db9: PUSH1 0x02 00000dbb: EXP 00000dbc: PUSH3 0x461bcd 00000dc0: MUL 00000dc1: DUP2 00000dc2: MSTORE 00000dc3: PUSH1 0x20 00000dc5: PUSH1 0x04 00000dc7: DUP3 00000dc8: ADD 00000dc9: MSTORE 00000dca: PUSH1 0x0b 00000dcc: PUSH1 0x24 00000dce: DUP3 00000dcf: ADD 00000dd0: MSTORE 00000dd1: PUSH1 0x00 00000dd3: DUP1 00000dd4: MLOAD 00000dd5: PUSH1 0x20 00000dd7: PUSH2 0x10c8 00000dda: DUP4 00000ddb: CODECOPY 00000ddc: DUP2 00000ddd: MLOAD 00000dde: SWAP2 00000ddf: MSTORE 00000de0: PUSH1 0x44 00000de2: DUP3 00000de3: ADD 00000de4: MSTORE 00000de5: SWAP1 00000de6: MLOAD 00000de7: SWAP1 00000de8: DUP2 00000de9: SWAP1 00000dea: SUB 00000deb: PUSH1 0x64 00000ded: ADD 00000dee: SWAP1 00000def: REVERT 00000df0: JUMPDEST 00000df1: PUSH2 0x0d35 00000df4: PUSH1 0x03 00000df6: PUSH2 0x1034 00000df9: JUMP 00000dfa: JUMPDEST 00000dfb: PUSH1 0x00 00000dfd: SLOAD 00000dfe: PUSH6 0x010000000000 00000e05: SWAP1 00000e06: DIV 00000e07: PUSH1 0x01 00000e09: PUSH1 0xa0 00000e0b: PUSH1 0x02 00000e0d: EXP 00000e0e: SUB 00000e0f: AND 00000e10: CALLER 00000e11: EQ 00000e12: PUSH2 0x0e53 00000e15: JUMPI 00000e16: PUSH1 0x40 00000e18: DUP1 00000e19: MLOAD 00000e1a: PUSH1 0xe5 00000e1c: PUSH1 0x02 00000e1e: EXP 00000e1f: PUSH3 0x461bcd 00000e23: MUL 00000e24: DUP2 00000e25: MSTORE 00000e26: PUSH1 0x20 00000e28: PUSH1 0x04 00000e2a: DUP3 00000e2b: ADD 00000e2c: MSTORE 00000e2d: PUSH1 0x0d 00000e2f: PUSH1 0x24 00000e31: DUP3 00000e32: ADD 00000e33: MSTORE 00000e34: PUSH1 0x00 00000e36: DUP1 00000e37: MLOAD 00000e38: PUSH1 0x20 00000e3a: PUSH2 0x10e8 00000e3d: DUP4 00000e3e: CODECOPY 00000e3f: DUP2 00000e40: MLOAD 00000e41: SWAP2 00000e42: MSTORE 00000e43: PUSH1 0x44 00000e45: DUP3 00000e46: ADD 00000e47: MSTORE 00000e48: SWAP1 00000e49: MLOAD 00000e4a: SWAP1 00000e4b: DUP2 00000e4c: SWAP1 00000e4d: SUB 00000e4e: PUSH1 0x64 00000e50: ADD 00000e51: SWAP1 00000e52: REVERT 00000e53: JUMPDEST 00000e54: PUSH1 0x01 00000e56: DUP1 00000e57: PUSH1 0x00 00000e59: SLOAD 00000e5a: PUSH5 0x0100000000 00000e60: SWAP1 00000e61: DIV 00000e62: PUSH1 0xff 00000e64: AND 00000e65: PUSH1 0x03 00000e67: DUP2 00000e68: GT 00000e69: ISZERO 00000e6a: PUSH2 0x0e6f 00000e6d: JUMPI 00000e6e: INVALID 00000e6f: JUMPDEST 00000e70: EQ 00000e71: PUSH2 0x0eb2 00000e74: JUMPI 00000e75: PUSH1 0x40 00000e77: DUP1 00000e78: MLOAD 00000e79: PUSH1 0xe5 00000e7b: PUSH1 0x02 00000e7d: EXP 00000e7e: PUSH3 0x461bcd 00000e82: MUL 00000e83: DUP2 00000e84: MSTORE 00000e85: PUSH1 0x20 00000e87: PUSH1 0x04 00000e89: DUP3 00000e8a: ADD 00000e8b: MSTORE 00000e8c: PUSH1 0x0b 00000e8e: PUSH1 0x24 00000e90: DUP3 00000e91: ADD 00000e92: MSTORE 00000e93: PUSH1 0x00 00000e95: DUP1 00000e96: MLOAD 00000e97: PUSH1 0x20 00000e99: PUSH2 0x10c8 00000e9c: DUP4 00000e9d: CODECOPY 00000e9e: DUP2 00000e9f: MLOAD 00000ea0: SWAP2 00000ea1: MSTORE 00000ea2: PUSH1 0x44 00000ea4: DUP3 00000ea5: ADD 00000ea6: MSTORE 00000ea7: SWAP1 00000ea8: MLOAD 00000ea9: SWAP1 00000eaa: DUP2 00000eab: SWAP1 00000eac: SUB 00000ead: PUSH1 0x64 00000eaf: ADD 00000eb0: SWAP1 00000eb1: REVERT 00000eb2: JUMPDEST 00000eb3: PUSH1 0x07 00000eb5: SLOAD 00000eb6: TIMESTAMP 00000eb7: LT 00000eb8: ISZERO 00000eb9: PUSH2 0x0ec1 00000ebc: JUMPI 00000ebd: PUSH1 0x00 00000ebf: DUP1 00000ec0: REVERT 00000ec1: JUMPDEST 00000ec2: PUSH2 0x0d35 00000ec5: PUSH1 0x02 00000ec7: PUSH2 0x1034 00000eca: JUMP 00000ecb: JUMPDEST 00000ecc: PUSH1 0x00 00000ece: SLOAD 00000ecf: PUSH6 0x010000000000 00000ed6: SWAP1 00000ed7: DIV 00000ed8: PUSH1 0x01 00000eda: PUSH1 0xa0 00000edc: PUSH1 0x02 00000ede: EXP 00000edf: SUB 00000ee0: AND 00000ee1: CALLER 00000ee2: EQ 00000ee3: DUP1 00000ee4: PUSH2 0x0ef7 00000ee7: JUMPI 00000ee8: POP 00000ee9: PUSH1 0x01 00000eeb: SLOAD 00000eec: PUSH1 0x01 00000eee: PUSH1 0xa0 00000ef0: PUSH1 0x02 00000ef2: EXP 00000ef3: SUB 00000ef4: AND 00000ef5: CALLER 00000ef6: EQ 00000ef7: JUMPDEST 00000ef8: ISZERO 00000ef9: ISZERO 00000efa: PUSH2 0x0f3b 00000efd: JUMPI 00000efe: PUSH1 0x40 00000f00: DUP1 00000f01: MLOAD 00000f02: PUSH1 0xe5 00000f04: PUSH1 0x02 00000f06: EXP 00000f07: PUSH3 0x461bcd 00000f0b: MUL 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: PUSH1 0x20 00000f10: PUSH1 0x04 00000f12: DUP3 00000f13: ADD 00000f14: MSTORE 00000f15: PUSH1 0x0d 00000f17: PUSH1 0x24 00000f19: DUP3 00000f1a: ADD 00000f1b: MSTORE 00000f1c: PUSH1 0x00 00000f1e: DUP1 00000f1f: MLOAD 00000f20: PUSH1 0x20 00000f22: PUSH2 0x10e8 00000f25: DUP4 00000f26: CODECOPY 00000f27: DUP2 00000f28: MLOAD 00000f29: SWAP2 00000f2a: MSTORE 00000f2b: PUSH1 0x44 00000f2d: DUP3 00000f2e: ADD 00000f2f: MSTORE 00000f30: SWAP1 00000f31: MLOAD 00000f32: SWAP1 00000f33: DUP2 00000f34: SWAP1 00000f35: SUB 00000f36: PUSH1 0x64 00000f38: ADD 00000f39: SWAP1 00000f3a: REVERT 00000f3b: JUMPDEST 00000f3c: PUSH1 0x01 00000f3e: PUSH1 0xa0 00000f40: PUSH1 0x02 00000f42: EXP 00000f43: SUB 00000f44: DUP2 00000f45: AND 00000f46: PUSH1 0x00 00000f48: SWAP1 00000f49: DUP2 00000f4a: MSTORE 00000f4b: PUSH1 0x08 00000f4d: PUSH1 0x20 00000f4f: MSTORE 00000f50: PUSH1 0x40 00000f52: SWAP1 00000f53: KECCAK256 00000f54: SLOAD 00000f55: PUSH1 0xff 00000f57: AND 00000f58: ISZERO 00000f59: ISZERO 00000f5a: PUSH1 0x01 00000f5c: EQ 00000f5d: PUSH2 0x0d35 00000f60: JUMPI 00000f61: PUSH1 0x01 00000f63: PUSH1 0xa0 00000f65: PUSH1 0x02 00000f67: EXP 00000f68: SUB 00000f69: DUP2 00000f6a: AND 00000f6b: PUSH1 0x00 00000f6d: SWAP1 00000f6e: DUP2 00000f6f: MSTORE 00000f70: PUSH1 0x0b 00000f72: PUSH1 0x20 00000f74: MSTORE 00000f75: PUSH1 0x40 00000f77: DUP2 00000f78: KECCAK256 00000f79: SLOAD 00000f7a: GT 00000f7b: ISZERO 00000f7c: PUSH2 0x0fc7 00000f7f: JUMPI 00000f80: PUSH1 0x01 00000f82: PUSH1 0xa0 00000f84: PUSH1 0x02 00000f86: EXP 00000f87: SUB 00000f88: DUP2 00000f89: AND 00000f8a: PUSH1 0x00 00000f8c: SWAP1 00000f8d: DUP2 00000f8e: MSTORE 00000f8f: PUSH1 0x0b 00000f91: PUSH1 0x20 00000f93: DUP2 00000f94: DUP2 00000f95: MSTORE 00000f96: PUSH1 0x40 00000f98: DUP1 00000f99: DUP5 00000f9a: KECCAK256 00000f9b: DUP1 00000f9c: SLOAD 00000f9d: PUSH1 0x03 00000f9f: DUP1 00000fa0: SLOAD 00000fa1: SWAP1 00000fa2: SWAP2 00000fa3: ADD 00000fa4: SWAP1 00000fa5: SSTORE 00000fa6: DUP1 00000fa7: SLOAD 00000fa8: PUSH1 0x0a 00000faa: DUP5 00000fab: MSTORE 00000fac: SWAP2 00000fad: DUP6 00000fae: KECCAK256 00000faf: DUP1 00000fb0: SLOAD 00000fb1: SWAP1 00000fb2: SWAP3 00000fb3: ADD 00000fb4: SWAP1 00000fb5: SWAP2 00000fb6: SSTORE 00000fb7: SWAP2 00000fb8: SWAP1 00000fb9: MSTORE 00000fba: DUP1 00000fbb: SLOAD 00000fbc: PUSH1 0x04 00000fbe: DUP1 00000fbf: SLOAD 00000fc0: SWAP2 00000fc1: SWAP1 00000fc2: SWAP2 00000fc3: SUB 00000fc4: SWAP1 00000fc5: SSTORE 00000fc6: SSTORE 00000fc7: JUMPDEST 00000fc8: PUSH1 0x01 00000fca: PUSH1 0xa0 00000fcc: PUSH1 0x02 00000fce: EXP 00000fcf: SUB 00000fd0: DUP2 00000fd1: AND 00000fd2: PUSH1 0x00 00000fd4: DUP2 00000fd5: DUP2 00000fd6: MSTORE 00000fd7: PUSH1 0x08 00000fd9: PUSH1 0x20 00000fdb: SWAP1 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x40 00000fe0: SWAP2 00000fe1: DUP3 00000fe2: SWAP1 00000fe3: KECCAK256 00000fe4: DUP1 00000fe5: SLOAD 00000fe6: PUSH1 0xff 00000fe8: NOT 00000fe9: AND 00000fea: PUSH1 0x01 00000fec: OR 00000fed: SWAP1 00000fee: SSTORE 00000fef: DUP2 00000ff0: MLOAD 00000ff1: SWAP3 00000ff2: DUP4 00000ff3: MSTORE 00000ff4: SWAP1 00000ff5: MLOAD 00000ff6: PUSH32 0xaab7954e9d246b167ef88aeddad35209ca2489d95a8aeb59e288d9b19fae5a54 00001017: SWAP3 00001018: DUP2 00001019: SWAP1 0000101a: SUB 0000101b: SWAP1 0000101c: SWAP2 0000101d: ADD 0000101e: SWAP1 0000101f: LOG1 00001020: POP 00001021: JUMP 00001022: JUMPDEST 00001023: PUSH1 0x0b 00001025: PUSH1 0x20 00001027: MSTORE 00001028: PUSH1 0x00 0000102a: SWAP1 0000102b: DUP2 0000102c: MSTORE 0000102d: PUSH1 0x40 0000102f: SWAP1 00001030: KECCAK256 00001031: SLOAD 00001032: DUP2 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH1 0x00 00001037: DUP1 00001038: SLOAD 00001039: DUP3 0000103a: SWAP2 0000103b: SWAP1 0000103c: PUSH5 0xff00000000 00001042: NOT 00001043: AND 00001044: PUSH5 0x0100000000 0000104a: DUP4 0000104b: PUSH1 0x03 0000104d: DUP2 0000104e: GT 0000104f: ISZERO 00001050: PUSH2 0x1055 00001053: JUMPI 00001054: INVALID 00001055: JUMPDEST 00001056: MUL 00001057: OR 00001058: SWAP1 00001059: SSTORE 0000105a: POP 0000105b: PUSH32 0x3a779de46631dd65116ae538600f1bc3c338200c6aef638429b5de43301c28f7 0000107c: PUSH1 0x00 0000107e: PUSH1 0x04 00001080: SWAP1 00001081: SLOAD 00001082: SWAP1 00001083: PUSH2 0x0100 00001086: EXP 00001087: SWAP1 00001088: DIV 00001089: PUSH1 0xff 0000108b: AND 0000108c: DUP3 0000108d: PUSH1 0x40 0000108f: MLOAD 00001090: DUP1 00001091: DUP4 00001092: PUSH1 0x03 00001094: DUP2 00001095: GT 00001096: ISZERO 00001097: PUSH2 0x109c 0000109a: JUMPI 0000109b: INVALID 0000109c: JUMPDEST 0000109d: PUSH1 0xff 0000109f: AND 000010a0: DUP2 000010a1: MSTORE 000010a2: PUSH1 0x20 000010a4: ADD 000010a5: DUP3 000010a6: PUSH1 0x03 000010a8: DUP2 000010a9: GT 000010aa: ISZERO 000010ab: PUSH2 0x10b0 000010ae: JUMPI 000010af: INVALID 000010b0: JUMPDEST 000010b1: PUSH1 0xff 000010b3: AND 000010b4: DUP2 000010b5: MSTORE 000010b6: PUSH1 0x20 000010b8: ADD 000010b9: SWAP3 000010ba: POP 000010bb: POP 000010bc: POP 000010bd: PUSH1 0x40 000010bf: MLOAD 000010c0: DUP1 000010c1: SWAP2 000010c2: SUB 000010c3: SWAP1 000010c4: LOG1 000010c5: POP 000010c6: JUMP 000010c7: STOP 000010c8: PUSH24 0x726f6e672073746174650000000000000000000000000000 000010e1: STOP 000010e2: STOP 000010e3: STOP 000010e4: STOP 000010e5: STOP 000010e6: STOP 000010e7: STOP 000010e8: PUSH15 0x6f207065726d697373696f6e000000 000010f8: STOP 000010f9: STOP 000010fa: STOP 000010fb: STOP 000010fc: STOP 000010fd: STOP 000010fe: STOP 000010ff: STOP 00001100: STOP 00001101: STOP 00001102: STOP 00001103: STOP 00001104: STOP 00001105: STOP 00001106: STOP 00001107: STOP 00001108: LOG1 00001109: PUSH6 0x627a7a723058 00001110: KECCAK256 00001111: GASPRICE 00001112: CODECOPY 00001113: SWAP9 00001114: UNKNOWN(0xBE) 00001115: UNKNOWN(0x25) 00001116: PUSH7 0xbff4cdd32d60ae 0000111e: DUP5 0000111f: PUSH16 0x994290ff88601e3514a80becf298901f 00001130: UNKNOWN(0xDE) 00001131: STOP 00001132: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x09dfb3336416359fc3560aceff404b92eb3a56c2fd2a3179e8665f4603a79577
call_targets:
0xd1670c55f5e68fede5fddd8ace64a3329f778b89
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x09dfb3336416359fc3560aceff404b92eb3a56c2fd2a3179e8665f4603a79577",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd1670c55f5e68fede5fddd8ace64a3329f778b89"
],
"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": "0x088f87e0",
"selector": "0x088f87e0",
"calldata_variants": [
"0x088f87e0",
"0x088f87e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20cb27fb",
"selector": "0x20cb27fb",
"calldata_variants": [
"0x20cb27fb",
"0x20cb27fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x299f5f1a",
"selector": "0x299f5f1a",
"calldata_variants": [
"0x299f5f1a",
"0x299f5f1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2db6fa36",
"selector": "0x2db6fa36",
"calldata_variants": [
"0x2db6fa36",
"0x2db6fa360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2fdbb3d4",
"selector": "0x2fdbb3d4",
"calldata_variants": [
"0x2fdbb3d4",
"0x2fdbb3d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41b3d185",
"selector": "0x41b3d185",
"calldata_variants": [
"0x41b3d185",
"0x41b3d1850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b8d02d7",
"selector": "0x5b8d02d7",
"calldata_variants": [
"0x5b8d02d7",
"0x5b8d02d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ec72a90",
"selector": "0x5ec72a90",
"calldata_variants": [
"0x5ec72a90",
"0x5ec72a900000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1766,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2069,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2610,
"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: 0x09dfb3336416359fc3560aceff404b92eb3a56c2fd2a3179e8665f4603a79577
call_targets:
0xd1670c55f5e68fede5fddd8ace64a3329f778b89
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x09dfb3336416359fc3560aceff404b92eb3a56c2fd2a3179e8665f4603a79577",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd1670c55f5e68fede5fddd8ace64a3329f778b89"
],
"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": "0x088f87e0",
"selector": "0x088f87e0",
"calldata_variants": [
"0x088f87e0",
"0x088f87e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20cb27fb",
"selector": "0x20cb27fb",
"calldata_variants": [
"0x20cb27fb",
"0x20cb27fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x299f5f1a",
"selector": "0x299f5f1a",
"calldata_variants": [
"0x299f5f1a",
"0x299f5f1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2db6fa36",
"selector": "0x2db6fa36",
"calldata_variants": [
"0x2db6fa36",
"0x2db6fa360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2fdbb3d4",
"selector": "0x2fdbb3d4",
"calldata_variants": [
"0x2fdbb3d4",
"0x2fdbb3d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41b3d185",
"selector": "0x41b3d185",
"calldata_variants": [
"0x41b3d185",
"0x41b3d1850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b8d02d7",
"selector": "0x5b8d02d7",
"calldata_variants": [
"0x5b8d02d7",
"0x5b8d02d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ec72a90",
"selector": "0x5ec72a90",
"calldata_variants": [
"0x5ec72a90",
"0x5ec72a900000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1766,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2069,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2610,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|