019b477e-d225-7375-8d95-3ccf23b345cb
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 |
|---|---|---|---|---|
| 27893 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27894 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103453 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 103454 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 103455 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 103456 | 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x715018a6 00000024: EQ 00000025: PUSH2 0x0348 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x7cb549be 0000002f: EQ 00000030: PUSH2 0x035f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8da5cb5b 0000003a: EQ 0000003b: PUSH2 0x038a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xce7c2ac2 00000045: EQ 00000046: PUSH2 0x03b5 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x03f4 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc0c546a 0000005b: EQ 0000005c: PUSH2 0x041d 0000005f: JUMPI 00000060: PUSH2 0x025b 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x144fa6d7 0000006b: EQ 0000006c: PUSH2 0x0260 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x36bdee74 00000076: EQ 00000077: PUSH2 0x0289 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x3ccfd60b 00000081: EQ 00000082: PUSH2 0x02b4 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x47e7ef24 0000008c: EQ 0000008d: PUSH2 0x02cb 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x4e71d92d 00000097: EQ 00000098: PUSH2 0x02f4 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x5eebea20 000000a2: EQ 000000a3: PUSH2 0x030b 000000a6: JUMPI 000000a7: PUSH2 0x025b 000000aa: JUMP 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x025b 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: CALLVALUE 000000b4: EQ 000000b5: ISZERO 000000b6: PUSH2 0x00be 000000b9: JUMPI 000000ba: PUSH2 0x0259 000000bd: JUMP 000000be: JUMPDEST 000000bf: PUSH1 0x00 000000c1: PUSH1 0x02 000000c3: PUSH1 0x00 000000c5: SWAP1 000000c6: SLOAD 000000c7: SWAP1 000000c8: PUSH2 0x0100 000000cb: EXP 000000cc: SWAP1 000000cd: DIV 000000ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e3: AND 000000e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f9: AND 000000fa: PUSH4 0x70a08231 000000ff: ADDRESS 00000100: PUSH1 0x40 00000102: MLOAD 00000103: DUP3 00000104: PUSH4 0xffffffff 00000109: AND 0000010a: PUSH1 0xe0 0000010c: SHL 0000010d: DUP2 0000010e: MSTORE 0000010f: PUSH1 0x04 00000111: ADD 00000112: PUSH2 0x011b 00000115: SWAP2 00000116: SWAP1 00000117: PUSH2 0x10fc 0000011a: JUMP 0000011b: JUMPDEST 0000011c: PUSH1 0x20 0000011e: PUSH1 0x40 00000120: MLOAD 00000121: DUP1 00000122: DUP4 00000123: SUB 00000124: DUP2 00000125: DUP7 00000126: DUP1 00000127: EXTCODESIZE 00000128: ISZERO 00000129: DUP1 0000012a: ISZERO 0000012b: PUSH2 0x0133 0000012e: JUMPI 0000012f: PUSH1 0x00 00000131: DUP1 00000132: REVERT 00000133: JUMPDEST 00000134: POP 00000135: GAS 00000136: STATICCALL 00000137: ISZERO 00000138: DUP1 00000139: ISZERO 0000013a: PUSH2 0x0147 0000013d: JUMPI 0000013e: RETURNDATASIZE 0000013f: PUSH1 0x00 00000141: DUP1 00000142: RETURNDATACOPY 00000143: RETURNDATASIZE 00000144: PUSH1 0x00 00000146: REVERT 00000147: JUMPDEST 00000148: POP 00000149: POP 0000014a: POP 0000014b: POP 0000014c: PUSH1 0x40 0000014e: MLOAD 0000014f: RETURNDATASIZE 00000150: PUSH1 0x1f 00000152: NOT 00000153: PUSH1 0x1f 00000155: DUP3 00000156: ADD 00000157: AND 00000158: DUP3 00000159: ADD 0000015a: DUP1 0000015b: PUSH1 0x40 0000015d: MSTORE 0000015e: POP 0000015f: DUP2 00000160: ADD 00000161: SWAP1 00000162: PUSH2 0x016b 00000165: SWAP2 00000166: SWAP1 00000167: PUSH2 0x0f79 0000016a: JUMP 0000016b: JUMPDEST 0000016c: SWAP1 0000016d: POP 0000016e: PUSH1 0x00 00000170: DUP2 00000171: EQ 00000172: ISZERO 00000173: PUSH2 0x01a8 00000176: JUMPI 00000177: PUSH2 0x01a2 0000017a: PUSH1 0x04 0000017c: PUSH1 0x00 0000017e: SWAP1 0000017f: SLOAD 00000180: SWAP1 00000181: PUSH2 0x0100 00000184: EXP 00000185: SWAP1 00000186: DIV 00000187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019c: AND 0000019d: CALLVALUE 0000019e: PUSH2 0x0448 000001a1: JUMP 000001a2: JUMPDEST 000001a3: POP 000001a4: PUSH2 0x0259 000001a7: JUMP 000001a8: JUMPDEST 000001a9: PUSH1 0x00 000001ab: PUSH1 0x02 000001ad: CALLVALUE 000001ae: PUSH2 0x01b7 000001b1: SWAP2 000001b2: SWAP1 000001b3: PUSH2 0x12ff 000001b6: JUMP 000001b7: JUMPDEST 000001b8: SWAP1 000001b9: POP 000001ba: PUSH1 0x00 000001bc: DUP3 000001bd: PUSH8 0x0de0b6b3a7640000 000001c6: DUP4 000001c7: PUSH2 0x01d0 000001ca: SWAP2 000001cb: SWAP1 000001cc: PUSH2 0x1330 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH2 0x01da 000001d4: SWAP2 000001d5: SWAP1 000001d6: PUSH2 0x12ff 000001d9: JUMP 000001da: JUMPDEST 000001db: SWAP1 000001dc: POP 000001dd: DUP1 000001de: PUSH1 0x03 000001e0: PUSH1 0x00 000001e2: DUP3 000001e3: DUP3 000001e4: SLOAD 000001e5: PUSH2 0x01ee 000001e8: SWAP2 000001e9: SWAP1 000001ea: PUSH2 0x12a9 000001ed: JUMP 000001ee: JUMPDEST 000001ef: SWAP3 000001f0: POP 000001f1: POP 000001f2: DUP2 000001f3: SWAP1 000001f4: SSTORE 000001f5: POP 000001f6: DUP2 000001f7: PUSH1 0x05 000001f9: PUSH1 0x00 000001fb: DUP3 000001fc: DUP3 000001fd: SLOAD 000001fe: PUSH2 0x0207 00000201: SWAP2 00000202: SWAP1 00000203: PUSH2 0x12a9 00000206: JUMP 00000207: JUMPDEST 00000208: SWAP3 00000209: POP 0000020a: POP 0000020b: DUP2 0000020c: SWAP1 0000020d: SSTORE 0000020e: POP 0000020f: PUSH1 0x00 00000211: DUP3 00000212: CALLVALUE 00000213: PUSH2 0x021c 00000216: SWAP2 00000217: SWAP1 00000218: PUSH2 0x138a 0000021b: JUMP 0000021c: JUMPDEST 0000021d: SWAP1 0000021e: POP 0000021f: PUSH1 0x00 00000221: DUP2 00000222: GT 00000223: ISZERO 00000224: PUSH2 0x0254 00000227: JUMPI 00000228: PUSH2 0x0253 0000022b: PUSH1 0x04 0000022d: PUSH1 0x00 0000022f: SWAP1 00000230: SLOAD 00000231: SWAP1 00000232: PUSH2 0x0100 00000235: EXP 00000236: SWAP1 00000237: DIV 00000238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024d: AND 0000024e: DUP3 0000024f: PUSH2 0x0448 00000252: JUMP 00000253: JUMPDEST 00000254: JUMPDEST 00000255: POP 00000256: POP 00000257: POP 00000258: POP 00000259: JUMPDEST 0000025a: STOP 0000025b: JUMPDEST 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x0287 00000271: PUSH1 0x04 00000273: DUP1 00000274: CALLDATASIZE 00000275: SUB 00000276: DUP2 00000277: ADD 00000278: SWAP1 00000279: PUSH2 0x0282 0000027c: SWAP2 0000027d: SWAP1 0000027e: PUSH2 0x0f50 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH2 0x053c 00000286: JUMP 00000287: JUMPDEST 00000288: STOP 00000289: JUMPDEST 0000028a: CALLVALUE 0000028b: DUP1 0000028c: ISZERO 0000028d: PUSH2 0x0295 00000290: JUMPI 00000291: PUSH1 0x00 00000293: DUP1 00000294: REVERT 00000295: JUMPDEST 00000296: POP 00000297: PUSH2 0x029e 0000029a: PUSH2 0x0590 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: PUSH2 0x02ab 000002a5: SWAP2 000002a6: SWAP1 000002a7: PUSH2 0x123b 000002aa: JUMP 000002ab: JUMPDEST 000002ac: PUSH1 0x40 000002ae: MLOAD 000002af: DUP1 000002b0: SWAP2 000002b1: SUB 000002b2: SWAP1 000002b3: RETURN 000002b4: JUMPDEST 000002b5: CALLVALUE 000002b6: DUP1 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: POP 000002c2: PUSH2 0x02c9 000002c5: PUSH2 0x0596 000002c8: JUMP 000002c9: JUMPDEST 000002ca: STOP 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: DUP1 000002ce: ISZERO 000002cf: PUSH2 0x02d7 000002d2: JUMPI 000002d3: PUSH1 0x00 000002d5: DUP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: POP 000002d9: PUSH2 0x02f2 000002dc: PUSH1 0x04 000002de: DUP1 000002df: CALLDATASIZE 000002e0: SUB 000002e1: DUP2 000002e2: ADD 000002e3: SWAP1 000002e4: PUSH2 0x02ed 000002e7: SWAP2 000002e8: SWAP1 000002e9: PUSH2 0x0eeb 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x0762 000002f1: JUMP 000002f2: JUMPDEST 000002f3: STOP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: PUSH2 0x0309 00000305: PUSH2 0x08b6 00000308: JUMP 00000309: JUMPDEST 0000030a: STOP 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x0332 0000031c: PUSH1 0x04 0000031e: DUP1 0000031f: CALLDATASIZE 00000320: SUB 00000321: DUP2 00000322: ADD 00000323: SWAP1 00000324: PUSH2 0x032d 00000327: SWAP2 00000328: SWAP1 00000329: PUSH2 0x0ec2 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH2 0x097d 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH1 0x40 00000335: MLOAD 00000336: PUSH2 0x033f 00000339: SWAP2 0000033a: SWAP1 0000033b: PUSH2 0x123b 0000033e: JUMP 0000033f: JUMPDEST 00000340: PUSH1 0x40 00000342: MLOAD 00000343: DUP1 00000344: SWAP2 00000345: SUB 00000346: SWAP1 00000347: RETURN 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: PUSH2 0x035d 00000359: PUSH2 0x0a26 0000035c: JUMP 0000035d: JUMPDEST 0000035e: STOP 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: PUSH1 0x00 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: POP 0000036d: PUSH2 0x0374 00000370: PUSH2 0x0a3a 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH1 0x40 00000377: MLOAD 00000378: PUSH2 0x0381 0000037b: SWAP2 0000037c: SWAP1 0000037d: PUSH2 0x123b 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH1 0x40 00000384: MLOAD 00000385: DUP1 00000386: SWAP2 00000387: SUB 00000388: SWAP1 00000389: RETURN 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH2 0x039f 0000039b: PUSH2 0x0a40 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: PUSH2 0x03ac 000003a6: SWAP2 000003a7: SWAP1 000003a8: PUSH2 0x10fc 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: DUP1 000003b1: SWAP2 000003b2: SUB 000003b3: SWAP1 000003b4: RETURN 000003b5: JUMPDEST 000003b6: CALLVALUE 000003b7: DUP1 000003b8: ISZERO 000003b9: PUSH2 0x03c1 000003bc: JUMPI 000003bd: PUSH1 0x00 000003bf: DUP1 000003c0: REVERT 000003c1: JUMPDEST 000003c2: POP 000003c3: PUSH2 0x03dc 000003c6: PUSH1 0x04 000003c8: DUP1 000003c9: CALLDATASIZE 000003ca: SUB 000003cb: DUP2 000003cc: ADD 000003cd: SWAP1 000003ce: PUSH2 0x03d7 000003d1: SWAP2 000003d2: SWAP1 000003d3: PUSH2 0x0ec2 000003d6: JUMP 000003d7: JUMPDEST 000003d8: PUSH2 0x0a69 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH1 0x40 000003df: MLOAD 000003e0: PUSH2 0x03eb 000003e3: SWAP4 000003e4: SWAP3 000003e5: SWAP2 000003e6: SWAP1 000003e7: PUSH2 0x1256 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH1 0x40 000003ee: MLOAD 000003ef: DUP1 000003f0: SWAP2 000003f1: SUB 000003f2: SWAP1 000003f3: RETURN 000003f4: JUMPDEST 000003f5: CALLVALUE 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x0400 000003fb: JUMPI 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: REVERT 00000400: JUMPDEST 00000401: POP 00000402: PUSH2 0x041b 00000405: PUSH1 0x04 00000407: DUP1 00000408: CALLDATASIZE 00000409: SUB 0000040a: DUP2 0000040b: ADD 0000040c: SWAP1 0000040d: PUSH2 0x0416 00000410: SWAP2 00000411: SWAP1 00000412: PUSH2 0x0ec2 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH2 0x0a93 0000041a: JUMP 0000041b: JUMPDEST 0000041c: STOP 0000041d: JUMPDEST 0000041e: CALLVALUE 0000041f: DUP1 00000420: ISZERO 00000421: PUSH2 0x0429 00000424: JUMPI 00000425: PUSH1 0x00 00000427: DUP1 00000428: REVERT 00000429: JUMPDEST 0000042a: POP 0000042b: PUSH2 0x0432 0000042e: PUSH2 0x0b17 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH1 0x40 00000435: MLOAD 00000436: PUSH2 0x043f 00000439: SWAP2 0000043a: SWAP1 0000043b: PUSH2 0x1140 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH1 0x40 00000442: MLOAD 00000443: DUP1 00000444: SWAP2 00000445: SUB 00000446: SWAP1 00000447: RETURN 00000448: JUMPDEST 00000449: DUP1 0000044a: SELFBALANCE 0000044b: LT 0000044c: ISZERO 0000044d: PUSH2 0x048b 00000450: JUMPI 00000451: PUSH1 0x40 00000453: MLOAD 00000454: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x04 00000479: ADD 0000047a: PUSH2 0x0482 0000047d: SWAP1 0000047e: PUSH2 0x11bb 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x40 00000485: MLOAD 00000486: DUP1 00000487: SWAP2 00000488: SUB 00000489: SWAP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: PUSH1 0x00 0000048e: DUP3 0000048f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a4: AND 000004a5: DUP3 000004a6: PUSH1 0x40 000004a8: MLOAD 000004a9: PUSH2 0x04b1 000004ac: SWAP1 000004ad: PUSH2 0x10e7 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH1 0x00 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: DUP4 000004b9: SUB 000004ba: DUP2 000004bb: DUP6 000004bc: DUP8 000004bd: GAS 000004be: CALL 000004bf: SWAP3 000004c0: POP 000004c1: POP 000004c2: POP 000004c3: RETURNDATASIZE 000004c4: DUP1 000004c5: PUSH1 0x00 000004c7: DUP2 000004c8: EQ 000004c9: PUSH2 0x04ee 000004cc: JUMPI 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: SWAP2 000004d1: POP 000004d2: PUSH1 0x1f 000004d4: NOT 000004d5: PUSH1 0x3f 000004d7: RETURNDATASIZE 000004d8: ADD 000004d9: AND 000004da: DUP3 000004db: ADD 000004dc: PUSH1 0x40 000004de: MSTORE 000004df: RETURNDATASIZE 000004e0: DUP3 000004e1: MSTORE 000004e2: RETURNDATASIZE 000004e3: PUSH1 0x00 000004e5: PUSH1 0x20 000004e7: DUP5 000004e8: ADD 000004e9: RETURNDATACOPY 000004ea: PUSH2 0x04f3 000004ed: JUMP 000004ee: JUMPDEST 000004ef: PUSH1 0x60 000004f1: SWAP2 000004f2: POP 000004f3: JUMPDEST 000004f4: POP 000004f5: POP 000004f6: SWAP1 000004f7: POP 000004f8: DUP1 000004f9: PUSH2 0x0537 000004fc: JUMPI 000004fd: PUSH1 0x40 000004ff: MLOAD 00000500: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000521: DUP2 00000522: MSTORE 00000523: PUSH1 0x04 00000525: ADD 00000526: PUSH2 0x052e 00000529: SWAP1 0000052a: PUSH2 0x119b 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: DUP1 00000533: SWAP2 00000534: SUB 00000535: SWAP1 00000536: REVERT 00000537: JUMPDEST 00000538: POP 00000539: POP 0000053a: POP 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x0544 00000540: PUSH2 0x0b3d 00000543: JUMP 00000544: JUMPDEST 00000545: DUP1 00000546: PUSH1 0x02 00000548: PUSH1 0x00 0000054a: PUSH2 0x0100 0000054d: EXP 0000054e: DUP2 0000054f: SLOAD 00000550: DUP2 00000551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000566: MUL 00000567: NOT 00000568: AND 00000569: SWAP1 0000056a: DUP4 0000056b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000580: AND 00000581: MUL 00000582: OR 00000583: SWAP1 00000584: SSTORE 00000585: POP 00000586: PUSH2 0x058d 00000589: PUSH2 0x0a26 0000058c: JUMP 0000058d: JUMPDEST 0000058e: POP 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH1 0x05 00000593: SLOAD 00000594: DUP2 00000595: JUMP 00000596: JUMPDEST 00000597: PUSH1 0x00 00000599: PUSH1 0x01 0000059b: PUSH1 0x00 0000059d: CALLER 0000059e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b3: AND 000005b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c9: AND 000005ca: DUP2 000005cb: MSTORE 000005cc: PUSH1 0x20 000005ce: ADD 000005cf: SWAP1 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x20 000005d4: ADD 000005d5: PUSH1 0x00 000005d7: KECCAK256 000005d8: PUSH1 0x40 000005da: MLOAD 000005db: DUP1 000005dc: PUSH1 0x60 000005de: ADD 000005df: PUSH1 0x40 000005e1: MSTORE 000005e2: SWAP1 000005e3: DUP2 000005e4: PUSH1 0x00 000005e6: DUP3 000005e7: ADD 000005e8: SLOAD 000005e9: DUP2 000005ea: MSTORE 000005eb: PUSH1 0x20 000005ed: ADD 000005ee: PUSH1 0x01 000005f0: DUP3 000005f1: ADD 000005f2: SLOAD 000005f3: DUP2 000005f4: MSTORE 000005f5: PUSH1 0x20 000005f7: ADD 000005f8: PUSH1 0x02 000005fa: DUP3 000005fb: ADD 000005fc: SLOAD 000005fd: DUP2 000005fe: MSTORE 000005ff: POP 00000600: POP 00000601: SWAP1 00000602: POP 00000603: PUSH1 0x00 00000605: DUP2 00000606: PUSH1 0x20 00000608: ADD 00000609: MLOAD 0000060a: GT 0000060b: PUSH2 0x0649 0000060e: JUMPI 0000060f: PUSH1 0x40 00000611: MLOAD 00000612: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000633: DUP2 00000634: MSTORE 00000635: PUSH1 0x04 00000637: ADD 00000638: PUSH2 0x0640 0000063b: SWAP1 0000063c: PUSH2 0x121b 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x40 00000643: MLOAD 00000644: DUP1 00000645: SWAP2 00000646: SUB 00000647: SWAP1 00000648: REVERT 00000649: JUMPDEST 0000064a: TIMESTAMP 0000064b: PUSH3 0x069780 0000064f: DUP3 00000650: PUSH1 0x00 00000652: ADD 00000653: MLOAD 00000654: PUSH2 0x065d 00000657: SWAP2 00000658: SWAP1 00000659: PUSH2 0x12a9 0000065c: JUMP 0000065d: JUMPDEST 0000065e: LT 0000065f: PUSH2 0x069d 00000662: JUMPI 00000663: PUSH1 0x40 00000665: MLOAD 00000666: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x04 0000068b: ADD 0000068c: PUSH2 0x0694 0000068f: SWAP1 00000690: PUSH2 0x11fb 00000693: JUMP 00000694: JUMPDEST 00000695: PUSH1 0x40 00000697: MLOAD 00000698: DUP1 00000699: SWAP2 0000069a: SUB 0000069b: SWAP1 0000069c: REVERT 0000069d: JUMPDEST 0000069e: PUSH1 0x02 000006a0: PUSH1 0x00 000006a2: SWAP1 000006a3: SLOAD 000006a4: SWAP1 000006a5: PUSH2 0x0100 000006a8: EXP 000006a9: SWAP1 000006aa: DIV 000006ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c0: AND 000006c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d6: AND 000006d7: PUSH4 0xa9059cbb 000006dc: CALLER 000006dd: DUP4 000006de: PUSH1 0x20 000006e0: ADD 000006e1: MLOAD 000006e2: PUSH1 0x40 000006e4: MLOAD 000006e5: DUP4 000006e6: PUSH4 0xffffffff 000006eb: AND 000006ec: PUSH1 0xe0 000006ee: SHL 000006ef: DUP2 000006f0: MSTORE 000006f1: PUSH1 0x04 000006f3: ADD 000006f4: PUSH2 0x06fe 000006f7: SWAP3 000006f8: SWAP2 000006f9: SWAP1 000006fa: PUSH2 0x1117 000006fd: JUMP 000006fe: JUMPDEST 000006ff: PUSH1 0x20 00000701: PUSH1 0x40 00000703: MLOAD 00000704: DUP1 00000705: DUP4 00000706: SUB 00000707: DUP2 00000708: PUSH1 0x00 0000070a: DUP8 0000070b: DUP1 0000070c: EXTCODESIZE 0000070d: ISZERO 0000070e: DUP1 0000070f: ISZERO 00000710: PUSH2 0x0718 00000713: JUMPI 00000714: PUSH1 0x00 00000716: DUP1 00000717: REVERT 00000718: JUMPDEST 00000719: POP 0000071a: GAS 0000071b: CALL 0000071c: ISZERO 0000071d: DUP1 0000071e: ISZERO 0000071f: PUSH2 0x072c 00000722: JUMPI 00000723: RETURNDATASIZE 00000724: PUSH1 0x00 00000726: DUP1 00000727: RETURNDATACOPY 00000728: RETURNDATASIZE 00000729: PUSH1 0x00 0000072b: REVERT 0000072c: JUMPDEST 0000072d: POP 0000072e: POP 0000072f: POP 00000730: POP 00000731: PUSH1 0x40 00000733: MLOAD 00000734: RETURNDATASIZE 00000735: PUSH1 0x1f 00000737: NOT 00000738: PUSH1 0x1f 0000073a: DUP3 0000073b: ADD 0000073c: AND 0000073d: DUP3 0000073e: ADD 0000073f: DUP1 00000740: PUSH1 0x40 00000742: MSTORE 00000743: POP 00000744: DUP2 00000745: ADD 00000746: SWAP1 00000747: PUSH2 0x0750 0000074a: SWAP2 0000074b: SWAP1 0000074c: PUSH2 0x0f27 0000074f: JUMP 00000750: JUMPDEST 00000751: POP 00000752: PUSH2 0x075f 00000755: CALLER 00000756: DUP3 00000757: PUSH1 0x00 00000759: PUSH1 0x01 0000075b: PUSH2 0x0bbb 0000075e: JUMP 0000075f: JUMPDEST 00000760: POP 00000761: JUMP 00000762: JUMPDEST 00000763: PUSH1 0x02 00000765: PUSH1 0x00 00000767: SWAP1 00000768: SLOAD 00000769: SWAP1 0000076a: PUSH2 0x0100 0000076d: EXP 0000076e: SWAP1 0000076f: DIV 00000770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000785: AND 00000786: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079b: AND 0000079c: CALLER 0000079d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b2: AND 000007b3: EQ 000007b4: PUSH2 0x07e6 000007b7: JUMPI 000007b8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000007d9: PUSH1 0x00 000007db: MSTORE 000007dc: PUSH1 0x01 000007de: PUSH1 0x04 000007e0: MSTORE 000007e1: PUSH1 0x24 000007e3: PUSH1 0x00 000007e5: REVERT 000007e6: JUMPDEST 000007e7: PUSH1 0x00 000007e9: DUP2 000007ea: GT 000007eb: PUSH2 0x0829 000007ee: JUMPI 000007ef: PUSH1 0x40 000007f1: MLOAD 000007f2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000813: DUP2 00000814: MSTORE 00000815: PUSH1 0x04 00000817: ADD 00000818: PUSH2 0x0820 0000081b: SWAP1 0000081c: PUSH2 0x117b 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x40 00000823: MLOAD 00000824: DUP1 00000825: SWAP2 00000826: SUB 00000827: SWAP1 00000828: REVERT 00000829: JUMPDEST 0000082a: PUSH1 0x00 0000082c: PUSH1 0x01 0000082e: PUSH1 0x00 00000830: DUP5 00000831: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000846: AND 00000847: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085c: AND 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: ADD 00000862: SWAP1 00000863: DUP2 00000864: MSTORE 00000865: PUSH1 0x20 00000867: ADD 00000868: PUSH1 0x00 0000086a: KECCAK256 0000086b: PUSH1 0x40 0000086d: MLOAD 0000086e: DUP1 0000086f: PUSH1 0x60 00000871: ADD 00000872: PUSH1 0x40 00000874: MSTORE 00000875: SWAP1 00000876: DUP2 00000877: PUSH1 0x00 00000879: DUP3 0000087a: ADD 0000087b: SLOAD 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x20 00000880: ADD 00000881: PUSH1 0x01 00000883: DUP3 00000884: ADD 00000885: SLOAD 00000886: DUP2 00000887: MSTORE 00000888: PUSH1 0x20 0000088a: ADD 0000088b: PUSH1 0x02 0000088d: DUP3 0000088e: ADD 0000088f: SLOAD 00000890: DUP2 00000891: MSTORE 00000892: POP 00000893: POP 00000894: SWAP1 00000895: POP 00000896: PUSH2 0x08b1 00000899: DUP4 0000089a: DUP3 0000089b: DUP5 0000089c: DUP5 0000089d: PUSH1 0x20 0000089f: ADD 000008a0: MLOAD 000008a1: PUSH2 0x08aa 000008a4: SWAP2 000008a5: SWAP1 000008a6: PUSH2 0x12a9 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH1 0x01 000008ad: PUSH2 0x0bbb 000008b0: JUMP 000008b1: JUMPDEST 000008b2: POP 000008b3: POP 000008b4: POP 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH1 0x00 000008b9: PUSH1 0x01 000008bb: PUSH1 0x00 000008bd: CALLER 000008be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d3: AND 000008d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e9: AND 000008ea: DUP2 000008eb: MSTORE 000008ec: PUSH1 0x20 000008ee: ADD 000008ef: SWAP1 000008f0: DUP2 000008f1: MSTORE 000008f2: PUSH1 0x20 000008f4: ADD 000008f5: PUSH1 0x00 000008f7: KECCAK256 000008f8: PUSH1 0x40 000008fa: MLOAD 000008fb: DUP1 000008fc: PUSH1 0x60 000008fe: ADD 000008ff: PUSH1 0x40 00000901: MSTORE 00000902: SWAP1 00000903: DUP2 00000904: PUSH1 0x00 00000906: DUP3 00000907: ADD 00000908: SLOAD 00000909: DUP2 0000090a: MSTORE 0000090b: PUSH1 0x20 0000090d: ADD 0000090e: PUSH1 0x01 00000910: DUP3 00000911: ADD 00000912: SLOAD 00000913: DUP2 00000914: MSTORE 00000915: PUSH1 0x20 00000917: ADD 00000918: PUSH1 0x02 0000091a: DUP3 0000091b: ADD 0000091c: SLOAD 0000091d: DUP2 0000091e: MSTORE 0000091f: POP 00000920: POP 00000921: SWAP1 00000922: POP 00000923: PUSH1 0x00 00000925: DUP2 00000926: PUSH1 0x20 00000928: ADD 00000929: MLOAD 0000092a: GT 0000092b: PUSH2 0x0969 0000092e: JUMPI 0000092f: PUSH1 0x40 00000931: MLOAD 00000932: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000953: DUP2 00000954: MSTORE 00000955: PUSH1 0x04 00000957: ADD 00000958: PUSH2 0x0960 0000095b: SWAP1 0000095c: PUSH2 0x121b 0000095f: JUMP 00000960: JUMPDEST 00000961: PUSH1 0x40 00000963: MLOAD 00000964: DUP1 00000965: SWAP2 00000966: SUB 00000967: SWAP1 00000968: REVERT 00000969: JUMPDEST 0000096a: PUSH2 0x097a 0000096d: CALLER 0000096e: DUP3 0000096f: DUP4 00000970: PUSH1 0x20 00000972: ADD 00000973: MLOAD 00000974: PUSH1 0x00 00000976: PUSH2 0x0bbb 00000979: JUMP 0000097a: JUMPDEST 0000097b: POP 0000097c: JUMP 0000097d: JUMPDEST 0000097e: PUSH1 0x00 00000980: DUP1 00000981: PUSH1 0x01 00000983: PUSH1 0x00 00000985: DUP5 00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099b: AND 0000099c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b1: AND 000009b2: DUP2 000009b3: MSTORE 000009b4: PUSH1 0x20 000009b6: ADD 000009b7: SWAP1 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: PUSH1 0x00 000009bf: KECCAK256 000009c0: PUSH1 0x40 000009c2: MLOAD 000009c3: DUP1 000009c4: PUSH1 0x60 000009c6: ADD 000009c7: PUSH1 0x40 000009c9: MSTORE 000009ca: SWAP1 000009cb: DUP2 000009cc: PUSH1 0x00 000009ce: DUP3 000009cf: ADD 000009d0: SLOAD 000009d1: DUP2 000009d2: MSTORE 000009d3: PUSH1 0x20 000009d5: ADD 000009d6: PUSH1 0x01 000009d8: DUP3 000009d9: ADD 000009da: SLOAD 000009db: DUP2 000009dc: MSTORE 000009dd: PUSH1 0x20 000009df: ADD 000009e0: PUSH1 0x02 000009e2: DUP3 000009e3: ADD 000009e4: SLOAD 000009e5: DUP2 000009e6: MSTORE 000009e7: POP 000009e8: POP 000009e9: SWAP1 000009ea: POP 000009eb: PUSH8 0x0de0b6b3a7640000 000009f4: DUP2 000009f5: PUSH1 0x40 000009f7: ADD 000009f8: MLOAD 000009f9: PUSH1 0x03 000009fb: SLOAD 000009fc: PUSH2 0x0a05 000009ff: SWAP2 00000a00: SWAP1 00000a01: PUSH2 0x138a 00000a04: JUMP 00000a05: JUMPDEST 00000a06: DUP3 00000a07: PUSH1 0x20 00000a09: ADD 00000a0a: MLOAD 00000a0b: PUSH2 0x0a14 00000a0e: SWAP2 00000a0f: SWAP1 00000a10: PUSH2 0x1330 00000a13: JUMP 00000a14: JUMPDEST 00000a15: PUSH2 0x0a1e 00000a18: SWAP2 00000a19: SWAP1 00000a1a: PUSH2 0x12ff 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: SWAP2 00000a20: POP 00000a21: POP 00000a22: SWAP2 00000a23: SWAP1 00000a24: POP 00000a25: JUMP 00000a26: JUMPDEST 00000a27: PUSH2 0x0a2e 00000a2a: PUSH2 0x0b3d 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH2 0x0a38 00000a32: PUSH1 0x00 00000a34: PUSH2 0x0d8d 00000a37: JUMP 00000a38: JUMPDEST 00000a39: JUMP 00000a3a: JUMPDEST 00000a3b: PUSH1 0x03 00000a3d: SLOAD 00000a3e: DUP2 00000a3f: JUMP 00000a40: JUMPDEST 00000a41: PUSH1 0x00 00000a43: DUP1 00000a44: PUSH1 0x00 00000a46: SWAP1 00000a47: SLOAD 00000a48: SWAP1 00000a49: PUSH2 0x0100 00000a4c: EXP 00000a4d: SWAP1 00000a4e: DIV 00000a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a64: AND 00000a65: SWAP1 00000a66: POP 00000a67: SWAP1 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x01 00000a6c: PUSH1 0x20 00000a6e: MSTORE 00000a6f: DUP1 00000a70: PUSH1 0x00 00000a72: MSTORE 00000a73: PUSH1 0x40 00000a75: PUSH1 0x00 00000a77: KECCAK256 00000a78: PUSH1 0x00 00000a7a: SWAP2 00000a7b: POP 00000a7c: SWAP1 00000a7d: POP 00000a7e: DUP1 00000a7f: PUSH1 0x00 00000a81: ADD 00000a82: SLOAD 00000a83: SWAP1 00000a84: DUP1 00000a85: PUSH1 0x01 00000a87: ADD 00000a88: SLOAD 00000a89: SWAP1 00000a8a: DUP1 00000a8b: PUSH1 0x02 00000a8d: ADD 00000a8e: SLOAD 00000a8f: SWAP1 00000a90: POP 00000a91: DUP4 00000a92: JUMP 00000a93: JUMPDEST 00000a94: PUSH2 0x0a9b 00000a97: PUSH2 0x0b3d 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH1 0x00 00000a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab3: AND 00000ab4: DUP2 00000ab5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aca: AND 00000acb: EQ 00000acc: ISZERO 00000acd: PUSH2 0x0b0b 00000ad0: JUMPI 00000ad1: PUSH1 0x40 00000ad3: MLOAD 00000ad4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000af5: DUP2 00000af6: MSTORE 00000af7: PUSH1 0x04 00000af9: ADD 00000afa: PUSH2 0x0b02 00000afd: SWAP1 00000afe: PUSH2 0x115b 00000b01: JUMP 00000b02: JUMPDEST 00000b03: PUSH1 0x40 00000b05: MLOAD 00000b06: DUP1 00000b07: SWAP2 00000b08: SUB 00000b09: SWAP1 00000b0a: REVERT 00000b0b: JUMPDEST 00000b0c: PUSH2 0x0b14 00000b0f: DUP2 00000b10: PUSH2 0x0d8d 00000b13: JUMP 00000b14: JUMPDEST 00000b15: POP 00000b16: JUMP 00000b17: JUMPDEST 00000b18: PUSH1 0x02 00000b1a: PUSH1 0x00 00000b1c: SWAP1 00000b1d: SLOAD 00000b1e: SWAP1 00000b1f: PUSH2 0x0100 00000b22: EXP 00000b23: SWAP1 00000b24: DIV 00000b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3a: AND 00000b3b: DUP2 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH2 0x0b45 00000b41: PUSH2 0x0e51 00000b44: JUMP 00000b45: JUMPDEST 00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5b: AND 00000b5c: PUSH2 0x0b63 00000b5f: PUSH2 0x0a40 00000b62: JUMP 00000b63: JUMPDEST 00000b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b79: AND 00000b7a: EQ 00000b7b: PUSH2 0x0bb9 00000b7e: JUMPI 00000b7f: PUSH1 0x40 00000b81: MLOAD 00000b82: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ba3: DUP2 00000ba4: MSTORE 00000ba5: PUSH1 0x04 00000ba7: ADD 00000ba8: PUSH2 0x0bb0 00000bab: SWAP1 00000bac: PUSH2 0x11db 00000baf: JUMP 00000bb0: JUMPDEST 00000bb1: PUSH1 0x40 00000bb3: MLOAD 00000bb4: DUP1 00000bb5: SWAP2 00000bb6: SUB 00000bb7: SWAP1 00000bb8: REVERT 00000bb9: JUMPDEST 00000bba: JUMP 00000bbb: JUMPDEST 00000bbc: PUSH1 0x00 00000bbe: DUP1 00000bbf: DUP5 00000bc0: PUSH1 0x20 00000bc2: ADD 00000bc3: MLOAD 00000bc4: EQ 00000bc5: PUSH2 0x0bff 00000bc8: JUMPI 00000bc9: PUSH8 0x0de0b6b3a7640000 00000bd2: DUP5 00000bd3: PUSH1 0x40 00000bd5: ADD 00000bd6: MLOAD 00000bd7: PUSH1 0x03 00000bd9: SLOAD 00000bda: PUSH2 0x0be3 00000bdd: SWAP2 00000bde: SWAP1 00000bdf: PUSH2 0x138a 00000be2: JUMP 00000be3: JUMPDEST 00000be4: DUP6 00000be5: PUSH1 0x20 00000be7: ADD 00000be8: MLOAD 00000be9: PUSH2 0x0bf2 00000bec: SWAP2 00000bed: SWAP1 00000bee: PUSH2 0x1330 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: PUSH2 0x0bfc 00000bf6: SWAP2 00000bf7: SWAP1 00000bf8: PUSH2 0x12ff 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: SWAP1 00000bfe: POP 00000bff: JUMPDEST 00000c00: PUSH1 0x00 00000c02: DUP4 00000c03: EQ 00000c04: ISZERO 00000c05: PUSH2 0x0c67 00000c08: JUMPI 00000c09: PUSH1 0x01 00000c0b: PUSH1 0x00 00000c0d: DUP7 00000c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c23: AND 00000c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c39: AND 00000c3a: DUP2 00000c3b: MSTORE 00000c3c: PUSH1 0x20 00000c3e: ADD 00000c3f: SWAP1 00000c40: DUP2 00000c41: MSTORE 00000c42: PUSH1 0x20 00000c44: ADD 00000c45: PUSH1 0x00 00000c47: KECCAK256 00000c48: PUSH1 0x00 00000c4a: DUP1 00000c4b: DUP3 00000c4c: ADD 00000c4d: PUSH1 0x00 00000c4f: SWAP1 00000c50: SSTORE 00000c51: PUSH1 0x01 00000c53: DUP3 00000c54: ADD 00000c55: PUSH1 0x00 00000c57: SWAP1 00000c58: SSTORE 00000c59: PUSH1 0x02 00000c5b: DUP3 00000c5c: ADD 00000c5d: PUSH1 0x00 00000c5f: SWAP1 00000c60: SSTORE 00000c61: POP 00000c62: POP 00000c63: PUSH2 0x0d72 00000c66: JUMP 00000c67: JUMPDEST 00000c68: DUP2 00000c69: ISZERO 00000c6a: PUSH2 0x0cef 00000c6d: JUMPI 00000c6e: PUSH1 0x40 00000c70: MLOAD 00000c71: DUP1 00000c72: PUSH1 0x60 00000c74: ADD 00000c75: PUSH1 0x40 00000c77: MSTORE 00000c78: DUP1 00000c79: TIMESTAMP 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x20 00000c7e: ADD 00000c7f: DUP5 00000c80: DUP2 00000c81: MSTORE 00000c82: PUSH1 0x20 00000c84: ADD 00000c85: PUSH1 0x03 00000c87: SLOAD 00000c88: DUP2 00000c89: MSTORE 00000c8a: POP 00000c8b: PUSH1 0x01 00000c8d: PUSH1 0x00 00000c8f: DUP8 00000c90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca5: AND 00000ca6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbb: AND 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x20 00000cc0: ADD 00000cc1: SWAP1 00000cc2: DUP2 00000cc3: MSTORE 00000cc4: PUSH1 0x20 00000cc6: ADD 00000cc7: PUSH1 0x00 00000cc9: KECCAK256 00000cca: PUSH1 0x00 00000ccc: DUP3 00000ccd: ADD 00000cce: MLOAD 00000ccf: DUP2 00000cd0: PUSH1 0x00 00000cd2: ADD 00000cd3: SSTORE 00000cd4: PUSH1 0x20 00000cd6: DUP3 00000cd7: ADD 00000cd8: MLOAD 00000cd9: DUP2 00000cda: PUSH1 0x01 00000cdc: ADD 00000cdd: SSTORE 00000cde: PUSH1 0x40 00000ce0: DUP3 00000ce1: ADD 00000ce2: MLOAD 00000ce3: DUP2 00000ce4: PUSH1 0x02 00000ce6: ADD 00000ce7: SSTORE 00000ce8: SWAP1 00000ce9: POP 00000cea: POP 00000ceb: PUSH2 0x0d71 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: PUSH1 0x40 00000cf2: MLOAD 00000cf3: DUP1 00000cf4: PUSH1 0x60 00000cf6: ADD 00000cf7: PUSH1 0x40 00000cf9: MSTORE 00000cfa: DUP1 00000cfb: DUP6 00000cfc: PUSH1 0x00 00000cfe: ADD 00000cff: MLOAD 00000d00: DUP2 00000d01: MSTORE 00000d02: PUSH1 0x20 00000d04: ADD 00000d05: DUP5 00000d06: DUP2 00000d07: MSTORE 00000d08: PUSH1 0x20 00000d0a: ADD 00000d0b: PUSH1 0x03 00000d0d: SLOAD 00000d0e: DUP2 00000d0f: MSTORE 00000d10: POP 00000d11: PUSH1 0x01 00000d13: PUSH1 0x00 00000d15: DUP8 00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2b: AND 00000d2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d41: AND 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH1 0x20 00000d46: ADD 00000d47: SWAP1 00000d48: DUP2 00000d49: MSTORE 00000d4a: PUSH1 0x20 00000d4c: ADD 00000d4d: PUSH1 0x00 00000d4f: KECCAK256 00000d50: PUSH1 0x00 00000d52: DUP3 00000d53: ADD 00000d54: MLOAD 00000d55: DUP2 00000d56: PUSH1 0x00 00000d58: ADD 00000d59: SSTORE 00000d5a: PUSH1 0x20 00000d5c: DUP3 00000d5d: ADD 00000d5e: MLOAD 00000d5f: DUP2 00000d60: PUSH1 0x01 00000d62: ADD 00000d63: SSTORE 00000d64: PUSH1 0x40 00000d66: DUP3 00000d67: ADD 00000d68: MLOAD 00000d69: DUP2 00000d6a: PUSH1 0x02 00000d6c: ADD 00000d6d: SSTORE 00000d6e: SWAP1 00000d6f: POP 00000d70: POP 00000d71: JUMPDEST 00000d72: JUMPDEST 00000d73: PUSH1 0x00 00000d75: DUP2 00000d76: GT 00000d77: ISZERO 00000d78: PUSH2 0x0d86 00000d7b: JUMPI 00000d7c: PUSH2 0x0d85 00000d7f: DUP6 00000d80: DUP3 00000d81: PUSH2 0x0448 00000d84: JUMP 00000d85: JUMPDEST 00000d86: JUMPDEST 00000d87: POP 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: POP 00000d8c: JUMP 00000d8d: JUMPDEST 00000d8e: PUSH1 0x00 00000d90: DUP1 00000d91: PUSH1 0x00 00000d93: SWAP1 00000d94: SLOAD 00000d95: SWAP1 00000d96: PUSH2 0x0100 00000d99: EXP 00000d9a: SWAP1 00000d9b: DIV 00000d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db1: AND 00000db2: SWAP1 00000db3: POP 00000db4: DUP2 00000db5: PUSH1 0x00 00000db7: DUP1 00000db8: PUSH2 0x0100 00000dbb: EXP 00000dbc: DUP2 00000dbd: SLOAD 00000dbe: DUP2 00000dbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd4: MUL 00000dd5: NOT 00000dd6: AND 00000dd7: SWAP1 00000dd8: DUP4 00000dd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dee: AND 00000def: MUL 00000df0: OR 00000df1: SWAP1 00000df2: SSTORE 00000df3: POP 00000df4: DUP2 00000df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e0a: AND 00000e0b: DUP2 00000e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e21: AND 00000e22: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e43: PUSH1 0x40 00000e45: MLOAD 00000e46: PUSH1 0x40 00000e48: MLOAD 00000e49: DUP1 00000e4a: SWAP2 00000e4b: SUB 00000e4c: SWAP1 00000e4d: LOG3 00000e4e: POP 00000e4f: POP 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH1 0x00 00000e54: CALLER 00000e55: SWAP1 00000e56: POP 00000e57: SWAP1 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: PUSH1 0x00 00000e5c: DUP2 00000e5d: CALLDATALOAD 00000e5e: SWAP1 00000e5f: POP 00000e60: PUSH2 0x0e68 00000e63: DUP2 00000e64: PUSH2 0x1608 00000e67: JUMP 00000e68: JUMPDEST 00000e69: SWAP3 00000e6a: SWAP2 00000e6b: POP 00000e6c: POP 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: PUSH1 0x00 00000e71: DUP2 00000e72: MLOAD 00000e73: SWAP1 00000e74: POP 00000e75: PUSH2 0x0e7d 00000e78: DUP2 00000e79: PUSH2 0x161f 00000e7c: JUMP 00000e7d: JUMPDEST 00000e7e: SWAP3 00000e7f: SWAP2 00000e80: POP 00000e81: POP 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH1 0x00 00000e86: DUP2 00000e87: CALLDATALOAD 00000e88: SWAP1 00000e89: POP 00000e8a: PUSH2 0x0e92 00000e8d: DUP2 00000e8e: PUSH2 0x1636 00000e91: JUMP 00000e92: JUMPDEST 00000e93: SWAP3 00000e94: SWAP2 00000e95: POP 00000e96: POP 00000e97: JUMP 00000e98: JUMPDEST 00000e99: PUSH1 0x00 00000e9b: DUP2 00000e9c: CALLDATALOAD 00000e9d: SWAP1 00000e9e: POP 00000e9f: PUSH2 0x0ea7 00000ea2: DUP2 00000ea3: PUSH2 0x164d 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: SWAP3 00000ea9: SWAP2 00000eaa: POP 00000eab: POP 00000eac: JUMP 00000ead: JUMPDEST 00000eae: PUSH1 0x00 00000eb0: DUP2 00000eb1: MLOAD 00000eb2: SWAP1 00000eb3: POP 00000eb4: PUSH2 0x0ebc 00000eb7: DUP2 00000eb8: PUSH2 0x164d 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: SWAP3 00000ebe: SWAP2 00000ebf: POP 00000ec0: POP 00000ec1: JUMP 00000ec2: JUMPDEST 00000ec3: PUSH1 0x00 00000ec5: PUSH1 0x20 00000ec7: DUP3 00000ec8: DUP5 00000ec9: SUB 00000eca: SLT 00000ecb: ISZERO 00000ecc: PUSH2 0x0ed4 00000ecf: JUMPI 00000ed0: PUSH1 0x00 00000ed2: DUP1 00000ed3: REVERT 00000ed4: JUMPDEST 00000ed5: PUSH1 0x00 00000ed7: PUSH2 0x0ee2 00000eda: DUP5 00000edb: DUP3 00000edc: DUP6 00000edd: ADD 00000ede: PUSH2 0x0e59 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: SWAP2 00000ee4: POP 00000ee5: POP 00000ee6: SWAP3 00000ee7: SWAP2 00000ee8: POP 00000ee9: POP 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: PUSH1 0x00 00000eee: DUP1 00000eef: PUSH1 0x40 00000ef1: DUP4 00000ef2: DUP6 00000ef3: SUB 00000ef4: SLT 00000ef5: ISZERO 00000ef6: PUSH2 0x0efe 00000ef9: JUMPI 00000efa: PUSH1 0x00 00000efc: DUP1 00000efd: REVERT 00000efe: JUMPDEST 00000eff: PUSH1 0x00 00000f01: PUSH2 0x0f0c 00000f04: DUP6 00000f05: DUP3 00000f06: DUP7 00000f07: ADD 00000f08: PUSH2 0x0e59 00000f0b: JUMP 00000f0c: JUMPDEST 00000f0d: SWAP3 00000f0e: POP 00000f0f: POP 00000f10: PUSH1 0x20 00000f12: PUSH2 0x0f1d 00000f15: DUP6 00000f16: DUP3 00000f17: DUP7 00000f18: ADD 00000f19: PUSH2 0x0e98 00000f1c: JUMP 00000f1d: JUMPDEST 00000f1e: SWAP2 00000f1f: POP 00000f20: POP 00000f21: SWAP3 00000f22: POP 00000f23: SWAP3 00000f24: SWAP1 00000f25: POP 00000f26: JUMP 00000f27: JUMPDEST 00000f28: PUSH1 0x00 00000f2a: PUSH1 0x20 00000f2c: DUP3 00000f2d: DUP5 00000f2e: SUB 00000f2f: SLT 00000f30: ISZERO 00000f31: PUSH2 0x0f39 00000f34: JUMPI 00000f35: PUSH1 0x00 00000f37: DUP1 00000f38: REVERT 00000f39: JUMPDEST 00000f3a: PUSH1 0x00 00000f3c: PUSH2 0x0f47 00000f3f: DUP5 00000f40: DUP3 00000f41: DUP6 00000f42: ADD 00000f43: PUSH2 0x0e6e 00000f46: JUMP 00000f47: JUMPDEST 00000f48: SWAP2 00000f49: POP 00000f4a: POP 00000f4b: SWAP3 00000f4c: SWAP2 00000f4d: POP 00000f4e: POP 00000f4f: JUMP 00000f50: JUMPDEST 00000f51: PUSH1 0x00 00000f53: PUSH1 0x20 00000f55: DUP3 00000f56: DUP5 00000f57: SUB 00000f58: SLT 00000f59: ISZERO 00000f5a: PUSH2 0x0f62 00000f5d: JUMPI 00000f5e: PUSH1 0x00 00000f60: DUP1 00000f61: REVERT 00000f62: JUMPDEST 00000f63: PUSH1 0x00 00000f65: PUSH2 0x0f70 00000f68: DUP5 00000f69: DUP3 00000f6a: DUP6 00000f6b: ADD 00000f6c: PUSH2 0x0e83 00000f6f: JUMP 00000f70: JUMPDEST 00000f71: SWAP2 00000f72: POP 00000f73: POP 00000f74: SWAP3 00000f75: SWAP2 00000f76: POP 00000f77: POP 00000f78: JUMP 00000f79: JUMPDEST 00000f7a: PUSH1 0x00 00000f7c: PUSH1 0x20 00000f7e: DUP3 00000f7f: DUP5 00000f80: SUB 00000f81: SLT 00000f82: ISZERO 00000f83: PUSH2 0x0f8b 00000f86: JUMPI 00000f87: PUSH1 0x00 00000f89: DUP1 00000f8a: REVERT 00000f8b: JUMPDEST 00000f8c: PUSH1 0x00 00000f8e: PUSH2 0x0f99 00000f91: DUP5 00000f92: DUP3 00000f93: DUP6 00000f94: ADD 00000f95: PUSH2 0x0ead 00000f98: JUMP 00000f99: JUMPDEST 00000f9a: SWAP2 00000f9b: POP 00000f9c: POP 00000f9d: SWAP3 00000f9e: SWAP2 00000f9f: POP 00000fa0: POP 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: PUSH2 0x0fab 00000fa6: DUP2 00000fa7: PUSH2 0x13be 00000faa: JUMP 00000fab: JUMPDEST 00000fac: DUP3 00000fad: MSTORE 00000fae: POP 00000faf: POP 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: PUSH2 0x0fba 00000fb5: DUP2 00000fb6: PUSH2 0x1418 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: DUP3 00000fbc: MSTORE 00000fbd: POP 00000fbe: POP 00000fbf: JUMP 00000fc0: JUMPDEST 00000fc1: PUSH1 0x00 00000fc3: PUSH2 0x0fcd 00000fc6: PUSH1 0x26 00000fc8: DUP4 00000fc9: PUSH2 0x1298 00000fcc: JUMP 00000fcd: JUMPDEST 00000fce: SWAP2 00000fcf: POP 00000fd0: PUSH2 0x0fd8 00000fd3: DUP3 00000fd4: PUSH2 0x149a 00000fd7: JUMP 00000fd8: JUMPDEST 00000fd9: PUSH1 0x40 00000fdb: DUP3 00000fdc: ADD 00000fdd: SWAP1 00000fde: POP 00000fdf: SWAP2 00000fe0: SWAP1 00000fe1: POP 00000fe2: JUMP 00000fe3: JUMPDEST 00000fe4: PUSH1 0x00 00000fe6: PUSH2 0x0ff0 00000fe9: PUSH1 0x20 00000feb: DUP4 00000fec: PUSH2 0x1298 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: SWAP2 00000ff2: POP 00000ff3: PUSH2 0x0ffb 00000ff6: DUP3 00000ff7: PUSH2 0x14e9 00000ffa: JUMP 00000ffb: JUMPDEST 00000ffc: PUSH1 0x20 00000ffe: DUP3 00000fff: ADD 00001000: SWAP1 00001001: POP 00001002: SWAP2 00001003: SWAP1 00001004: POP 00001005: JUMP 00001006: JUMPDEST 00001007: PUSH1 0x00 00001009: PUSH2 0x1013 0000100c: PUSH1 0x3a 0000100e: DUP4 0000100f: PUSH2 0x1298 00001012: JUMP 00001013: JUMPDEST 00001014: SWAP2 00001015: POP 00001016: PUSH2 0x101e 00001019: DUP3 0000101a: PUSH2 0x1512 0000101d: JUMP 0000101e: JUMPDEST 0000101f: PUSH1 0x40 00001021: DUP3 00001022: ADD 00001023: SWAP1 00001024: POP 00001025: SWAP2 00001026: SWAP1 00001027: POP 00001028: JUMP 00001029: JUMPDEST 0000102a: PUSH1 0x00 0000102c: PUSH2 0x1036 0000102f: PUSH1 0x1d 00001031: DUP4 00001032: PUSH2 0x1298 00001035: JUMP 00001036: JUMPDEST 00001037: SWAP2 00001038: POP 00001039: PUSH2 0x1041 0000103c: DUP3 0000103d: PUSH2 0x1561 00001040: JUMP 00001041: JUMPDEST 00001042: PUSH1 0x20 00001044: DUP3 00001045: ADD 00001046: SWAP1 00001047: POP 00001048: SWAP2 00001049: SWAP1 0000104a: POP 0000104b: JUMP 0000104c: JUMPDEST 0000104d: PUSH1 0x00 0000104f: PUSH2 0x1059 00001052: PUSH1 0x20 00001054: DUP4 00001055: PUSH2 0x1298 00001058: JUMP 00001059: JUMPDEST 0000105a: SWAP2 0000105b: POP 0000105c: PUSH2 0x1064 0000105f: DUP3 00001060: PUSH2 0x158a 00001063: JUMP 00001064: JUMPDEST 00001065: PUSH1 0x20 00001067: DUP3 00001068: ADD 00001069: SWAP1 0000106a: POP 0000106b: SWAP2 0000106c: SWAP1 0000106d: POP 0000106e: JUMP 0000106f: JUMPDEST 00001070: PUSH1 0x00 00001072: PUSH2 0x107c 00001075: PUSH1 0x15 00001077: DUP4 00001078: PUSH2 0x1298 0000107b: JUMP 0000107c: JUMPDEST 0000107d: SWAP2 0000107e: POP 0000107f: PUSH2 0x1087 00001082: DUP3 00001083: PUSH2 0x15b3 00001086: JUMP 00001087: JUMPDEST 00001088: PUSH1 0x20 0000108a: DUP3 0000108b: ADD 0000108c: SWAP1 0000108d: POP 0000108e: SWAP2 0000108f: SWAP1 00001090: POP 00001091: JUMP 00001092: JUMPDEST 00001093: PUSH1 0x00 00001095: PUSH2 0x109f 00001098: PUSH1 0x12 0000109a: DUP4 0000109b: PUSH2 0x1298 0000109e: JUMP 0000109f: JUMPDEST 000010a0: SWAP2 000010a1: POP 000010a2: PUSH2 0x10aa 000010a5: DUP3 000010a6: PUSH2 0x15dc 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x20 000010ad: DUP3 000010ae: ADD 000010af: SWAP1 000010b0: POP 000010b1: SWAP2 000010b2: SWAP1 000010b3: POP 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH1 0x00 000010b8: PUSH2 0x10c2 000010bb: PUSH1 0x00 000010bd: DUP4 000010be: PUSH2 0x128d 000010c1: JUMP 000010c2: JUMPDEST 000010c3: SWAP2 000010c4: POP 000010c5: PUSH2 0x10cd 000010c8: DUP3 000010c9: PUSH2 0x1605 000010cc: JUMP 000010cd: JUMPDEST 000010ce: PUSH1 0x00 000010d0: DUP3 000010d1: ADD 000010d2: SWAP1 000010d3: POP 000010d4: SWAP2 000010d5: SWAP1 000010d6: POP 000010d7: JUMP 000010d8: JUMPDEST 000010d9: PUSH2 0x10e1 000010dc: DUP2 000010dd: PUSH2 0x140e 000010e0: JUMP 000010e1: JUMPDEST 000010e2: DUP3 000010e3: MSTORE 000010e4: POP 000010e5: POP 000010e6: JUMP 000010e7: JUMPDEST 000010e8: PUSH1 0x00 000010ea: PUSH2 0x10f2 000010ed: DUP3 000010ee: PUSH2 0x10b5 000010f1: JUMP 000010f2: JUMPDEST 000010f3: SWAP2 000010f4: POP 000010f5: DUP2 000010f6: SWAP1 000010f7: POP 000010f8: SWAP2 000010f9: SWAP1 000010fa: POP 000010fb: JUMP 000010fc: JUMPDEST 000010fd: PUSH1 0x00 000010ff: PUSH1 0x20 00001101: DUP3 00001102: ADD 00001103: SWAP1 00001104: POP 00001105: PUSH2 0x1111 00001108: PUSH1 0x00 0000110a: DUP4 0000110b: ADD 0000110c: DUP5 0000110d: PUSH2 0x0fa2 00001110: JUMP 00001111: JUMPDEST 00001112: SWAP3 00001113: SWAP2 00001114: POP 00001115: POP 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH1 0x00 0000111a: PUSH1 0x40 0000111c: DUP3 0000111d: ADD 0000111e: SWAP1 0000111f: POP 00001120: PUSH2 0x112c 00001123: PUSH1 0x00 00001125: DUP4 00001126: ADD 00001127: DUP6 00001128: PUSH2 0x0fa2 0000112b: JUMP 0000112c: JUMPDEST 0000112d: PUSH2 0x1139 00001130: PUSH1 0x20 00001132: DUP4 00001133: ADD 00001134: DUP5 00001135: PUSH2 0x10d8 00001138: JUMP 00001139: JUMPDEST 0000113a: SWAP4 0000113b: SWAP3 0000113c: POP 0000113d: POP 0000113e: POP 0000113f: JUMP 00001140: JUMPDEST 00001141: PUSH1 0x00 00001143: PUSH1 0x20 00001145: DUP3 00001146: ADD 00001147: SWAP1 00001148: POP 00001149: PUSH2 0x1155 0000114c: PUSH1 0x00 0000114e: DUP4 0000114f: ADD 00001150: DUP5 00001151: PUSH2 0x0fb1 00001154: JUMP 00001155: JUMPDEST 00001156: SWAP3 00001157: SWAP2 00001158: POP 00001159: POP 0000115a: JUMP 0000115b: JUMPDEST 0000115c: PUSH1 0x00 0000115e: PUSH1 0x20 00001160: DUP3 00001161: ADD 00001162: SWAP1 00001163: POP 00001164: DUP2 00001165: DUP2 00001166: SUB 00001167: PUSH1 0x00 00001169: DUP4 0000116a: ADD 0000116b: MSTORE 0000116c: PUSH2 0x1174 0000116f: DUP2 00001170: PUSH2 0x0fc0 00001173: JUMP 00001174: JUMPDEST 00001175: SWAP1 00001176: POP 00001177: SWAP2 00001178: SWAP1 00001179: POP 0000117a: JUMP 0000117b: JUMPDEST 0000117c: PUSH1 0x00 0000117e: PUSH1 0x20 00001180: DUP3 00001181: ADD 00001182: SWAP1 00001183: POP 00001184: DUP2 00001185: DUP2 00001186: SUB 00001187: PUSH1 0x00 00001189: DUP4 0000118a: ADD 0000118b: MSTORE 0000118c: PUSH2 0x1194 0000118f: DUP2 00001190: PUSH2 0x0fe3 00001193: JUMP 00001194: JUMPDEST 00001195: SWAP1 00001196: POP 00001197: SWAP2 00001198: SWAP1 00001199: POP 0000119a: JUMP 0000119b: JUMPDEST 0000119c: PUSH1 0x00 0000119e: PUSH1 0x20 000011a0: DUP3 000011a1: ADD 000011a2: SWAP1 000011a3: POP 000011a4: DUP2 000011a5: DUP2 000011a6: SUB 000011a7: PUSH1 0x00 000011a9: DUP4 000011aa: ADD 000011ab: MSTORE 000011ac: PUSH2 0x11b4 000011af: DUP2 000011b0: PUSH2 0x1006 000011b3: JUMP 000011b4: JUMPDEST 000011b5: SWAP1 000011b6: POP 000011b7: SWAP2 000011b8: SWAP1 000011b9: POP 000011ba: JUMP 000011bb: JUMPDEST 000011bc: PUSH1 0x00 000011be: PUSH1 0x20 000011c0: DUP3 000011c1: ADD 000011c2: SWAP1 000011c3: POP 000011c4: DUP2 000011c5: DUP2 000011c6: SUB 000011c7: PUSH1 0x00 000011c9: DUP4 000011ca: ADD 000011cb: MSTORE 000011cc: PUSH2 0x11d4 000011cf: DUP2 000011d0: PUSH2 0x1029 000011d3: JUMP 000011d4: JUMPDEST 000011d5: SWAP1 000011d6: POP 000011d7: SWAP2 000011d8: SWAP1 000011d9: POP 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x00 000011de: PUSH1 0x20 000011e0: DUP3 000011e1: ADD 000011e2: SWAP1 000011e3: POP 000011e4: DUP2 000011e5: DUP2 000011e6: SUB 000011e7: PUSH1 0x00 000011e9: DUP4 000011ea: ADD 000011eb: MSTORE 000011ec: PUSH2 0x11f4 000011ef: DUP2 000011f0: PUSH2 0x104c 000011f3: JUMP 000011f4: JUMPDEST 000011f5: SWAP1 000011f6: POP 000011f7: SWAP2 000011f8: SWAP1 000011f9: POP 000011fa: JUMP 000011fb: JUMPDEST 000011fc: PUSH1 0x00 000011fe: PUSH1 0x20 00001200: DUP3 00001201: ADD 00001202: SWAP1 00001203: POP 00001204: DUP2 00001205: DUP2 00001206: SUB 00001207: PUSH1 0x00 00001209: DUP4 0000120a: ADD 0000120b: MSTORE 0000120c: PUSH2 0x1214 0000120f: DUP2 00001210: PUSH2 0x106f 00001213: JUMP 00001214: JUMPDEST 00001215: SWAP1 00001216: POP 00001217: SWAP2 00001218: SWAP1 00001219: POP 0000121a: JUMP 0000121b: JUMPDEST 0000121c: PUSH1 0x00 0000121e: PUSH1 0x20 00001220: DUP3 00001221: ADD 00001222: SWAP1 00001223: POP 00001224: DUP2 00001225: DUP2 00001226: SUB 00001227: PUSH1 0x00 00001229: DUP4 0000122a: ADD 0000122b: MSTORE 0000122c: PUSH2 0x1234 0000122f: DUP2 00001230: PUSH2 0x1092 00001233: JUMP 00001234: JUMPDEST 00001235: SWAP1 00001236: POP 00001237: SWAP2 00001238: SWAP1 00001239: POP 0000123a: JUMP 0000123b: JUMPDEST 0000123c: PUSH1 0x00 0000123e: PUSH1 0x20 00001240: DUP3 00001241: ADD 00001242: SWAP1 00001243: POP 00001244: PUSH2 0x1250 00001247: PUSH1 0x00 00001249: DUP4 0000124a: ADD 0000124b: DUP5 0000124c: PUSH2 0x10d8 0000124f: JUMP 00001250: JUMPDEST 00001251: SWAP3 00001252: SWAP2 00001253: POP 00001254: POP 00001255: JUMP 00001256: JUMPDEST 00001257: PUSH1 0x00 00001259: PUSH1 0x60 0000125b: DUP3 0000125c: ADD 0000125d: SWAP1 0000125e: POP 0000125f: PUSH2 0x126b 00001262: PUSH1 0x00 00001264: DUP4 00001265: ADD 00001266: DUP7 00001267: PUSH2 0x10d8 0000126a: JUMP 0000126b: JUMPDEST 0000126c: PUSH2 0x1278 0000126f: PUSH1 0x20 00001271: DUP4 00001272: ADD 00001273: DUP6 00001274: PUSH2 0x10d8 00001277: JUMP 00001278: JUMPDEST 00001279: PUSH2 0x1285 0000127c: PUSH1 0x40 0000127e: DUP4 0000127f: ADD 00001280: DUP5 00001281: PUSH2 0x10d8 00001284: JUMP 00001285: JUMPDEST 00001286: SWAP5 00001287: SWAP4 00001288: POP 00001289: POP 0000128a: POP 0000128b: POP 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH1 0x00 00001290: DUP2 00001291: SWAP1 00001292: POP 00001293: SWAP3 00001294: SWAP2 00001295: POP 00001296: POP 00001297: JUMP 00001298: JUMPDEST 00001299: PUSH1 0x00 0000129b: DUP3 0000129c: DUP3 0000129d: MSTORE 0000129e: PUSH1 0x20 000012a0: DUP3 000012a1: ADD 000012a2: SWAP1 000012a3: POP 000012a4: SWAP3 000012a5: SWAP2 000012a6: POP 000012a7: POP 000012a8: JUMP 000012a9: JUMPDEST 000012aa: PUSH1 0x00 000012ac: PUSH2 0x12b4 000012af: DUP3 000012b0: PUSH2 0x140e 000012b3: JUMP 000012b4: JUMPDEST 000012b5: SWAP2 000012b6: POP 000012b7: PUSH2 0x12bf 000012ba: DUP4 000012bb: PUSH2 0x140e 000012be: JUMP 000012bf: JUMPDEST 000012c0: SWAP3 000012c1: POP 000012c2: DUP3 000012c3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000012e4: SUB 000012e5: DUP3 000012e6: GT 000012e7: ISZERO 000012e8: PUSH2 0x12f4 000012eb: JUMPI 000012ec: PUSH2 0x12f3 000012ef: PUSH2 0x143c 000012f2: JUMP 000012f3: JUMPDEST 000012f4: JUMPDEST 000012f5: DUP3 000012f6: DUP3 000012f7: ADD 000012f8: SWAP1 000012f9: POP 000012fa: SWAP3 000012fb: SWAP2 000012fc: POP 000012fd: POP 000012fe: JUMP 000012ff: JUMPDEST 00001300: PUSH1 0x00 00001302: PUSH2 0x130a 00001305: DUP3 00001306: PUSH2 0x140e 00001309: JUMP 0000130a: JUMPDEST 0000130b: SWAP2 0000130c: POP 0000130d: PUSH2 0x1315 00001310: DUP4 00001311: PUSH2 0x140e 00001314: JUMP 00001315: JUMPDEST 00001316: SWAP3 00001317: POP 00001318: DUP3 00001319: PUSH2 0x1325 0000131c: JUMPI 0000131d: PUSH2 0x1324 00001320: PUSH2 0x146b 00001323: JUMP 00001324: JUMPDEST 00001325: JUMPDEST 00001326: DUP3 00001327: DUP3 00001328: DIV 00001329: SWAP1 0000132a: POP 0000132b: SWAP3 0000132c: SWAP2 0000132d: POP 0000132e: POP 0000132f: JUMP 00001330: JUMPDEST 00001331: PUSH1 0x00 00001333: PUSH2 0x133b 00001336: DUP3 00001337: PUSH2 0x140e 0000133a: JUMP 0000133b: JUMPDEST 0000133c: SWAP2 0000133d: POP 0000133e: PUSH2 0x1346 00001341: DUP4 00001342: PUSH2 0x140e 00001345: JUMP 00001346: JUMPDEST 00001347: SWAP3 00001348: POP 00001349: DUP2 0000134a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000136b: DIV 0000136c: DUP4 0000136d: GT 0000136e: DUP3 0000136f: ISZERO 00001370: ISZERO 00001371: AND 00001372: ISZERO 00001373: PUSH2 0x137f 00001376: JUMPI 00001377: PUSH2 0x137e 0000137a: PUSH2 0x143c 0000137d: JUMP 0000137e: JUMPDEST 0000137f: JUMPDEST 00001380: DUP3 00001381: DUP3 00001382: MUL 00001383: SWAP1 00001384: POP 00001385: SWAP3 00001386: SWAP2 00001387: POP 00001388: POP 00001389: JUMP 0000138a: JUMPDEST 0000138b: PUSH1 0x00 0000138d: PUSH2 0x1395 00001390: DUP3 00001391: PUSH2 0x140e 00001394: JUMP 00001395: JUMPDEST 00001396: SWAP2 00001397: POP 00001398: PUSH2 0x13a0 0000139b: DUP4 0000139c: PUSH2 0x140e 0000139f: JUMP 000013a0: JUMPDEST 000013a1: SWAP3 000013a2: POP 000013a3: DUP3 000013a4: DUP3 000013a5: LT 000013a6: ISZERO 000013a7: PUSH2 0x13b3 000013aa: JUMPI 000013ab: PUSH2 0x13b2 000013ae: PUSH2 0x143c 000013b1: JUMP 000013b2: JUMPDEST 000013b3: JUMPDEST 000013b4: DUP3 000013b5: DUP3 000013b6: SUB 000013b7: SWAP1 000013b8: POP 000013b9: SWAP3 000013ba: SWAP2 000013bb: POP 000013bc: POP 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH1 0x00 000013c1: PUSH2 0x13c9 000013c4: DUP3 000013c5: PUSH2 0x13ee 000013c8: JUMP 000013c9: JUMPDEST 000013ca: SWAP1 000013cb: POP 000013cc: SWAP2 000013cd: SWAP1 000013ce: POP 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x00 000013d3: DUP2 000013d4: ISZERO 000013d5: ISZERO 000013d6: SWAP1 000013d7: POP 000013d8: SWAP2 000013d9: SWAP1 000013da: POP 000013db: JUMP 000013dc: JUMPDEST 000013dd: PUSH1 0x00 000013df: PUSH2 0x13e7 000013e2: DUP3 000013e3: PUSH2 0x13be 000013e6: JUMP 000013e7: JUMPDEST 000013e8: SWAP1 000013e9: POP 000013ea: SWAP2 000013eb: SWAP1 000013ec: POP 000013ed: JUMP 000013ee: JUMPDEST 000013ef: PUSH1 0x00 000013f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001406: DUP3 00001407: AND 00001408: SWAP1 00001409: POP 0000140a: SWAP2 0000140b: SWAP1 0000140c: POP 0000140d: JUMP 0000140e: JUMPDEST 0000140f: PUSH1 0x00 00001411: DUP2 00001412: SWAP1 00001413: POP 00001414: SWAP2 00001415: SWAP1 00001416: POP 00001417: JUMP 00001418: JUMPDEST 00001419: PUSH1 0x00 0000141b: PUSH2 0x1423 0000141e: DUP3 0000141f: PUSH2 0x142a 00001422: JUMP 00001423: JUMPDEST 00001424: SWAP1 00001425: POP 00001426: SWAP2 00001427: SWAP1 00001428: POP 00001429: JUMP 0000142a: JUMPDEST 0000142b: PUSH1 0x00 0000142d: PUSH2 0x1435 00001430: DUP3 00001431: PUSH2 0x13ee 00001434: JUMP 00001435: JUMPDEST 00001436: SWAP1 00001437: POP 00001438: SWAP2 00001439: SWAP1 0000143a: POP 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000145e: PUSH1 0x00 00001460: MSTORE 00001461: PUSH1 0x11 00001463: PUSH1 0x04 00001465: MSTORE 00001466: PUSH1 0x24 00001468: PUSH1 0x00 0000146a: REVERT 0000146b: JUMPDEST 0000146c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000148d: PUSH1 0x00 0000148f: MSTORE 00001490: PUSH1 0x12 00001492: PUSH1 0x04 00001494: MSTORE 00001495: PUSH1 0x24 00001497: PUSH1 0x00 00001499: REVERT 0000149a: JUMPDEST 0000149b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000014bc: PUSH1 0x00 000014be: DUP3 000014bf: ADD 000014c0: MSTORE 000014c1: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000014e2: PUSH1 0x20 000014e4: DUP3 000014e5: ADD 000014e6: MSTORE 000014e7: POP 000014e8: JUMP 000014e9: JUMPDEST 000014ea: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e207a65726f 0000150b: PUSH1 0x00 0000150d: DUP3 0000150e: ADD 0000150f: MSTORE 00001510: POP 00001511: JUMP 00001512: JUMPDEST 00001513: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00001534: PUSH1 0x00 00001536: DUP3 00001537: ADD 00001538: MSTORE 00001539: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 0000155a: PUSH1 0x20 0000155c: DUP3 0000155d: ADD 0000155e: MSTORE 0000155f: POP 00001560: JUMP 00001561: JUMPDEST 00001562: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00001583: PUSH1 0x00 00001585: DUP3 00001586: ADD 00001587: MSTORE 00001588: POP 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000015ac: PUSH1 0x00 000015ae: DUP3 000015af: ADD 000015b0: MSTORE 000015b1: POP 000015b2: JUMP 000015b3: JUMPDEST 000015b4: PUSH32 0x7769746864726177206166746572203520646179730000000000000000000000 000015d5: PUSH1 0x00 000015d7: DUP3 000015d8: ADD 000015d9: MSTORE 000015da: POP 000015db: JUMP 000015dc: JUMPDEST 000015dd: PUSH32 0x4e6f20696e697469616c206465706f7369740000000000000000000000000000 000015fe: PUSH1 0x00 00001600: DUP3 00001601: ADD 00001602: MSTORE 00001603: POP 00001604: JUMP 00001605: JUMPDEST 00001606: POP 00001607: JUMP 00001608: JUMPDEST 00001609: PUSH2 0x1611 0000160c: DUP2 0000160d: PUSH2 0x13be 00001610: JUMP 00001611: JUMPDEST 00001612: DUP2 00001613: EQ 00001614: PUSH2 0x161c 00001617: JUMPI 00001618: PUSH1 0x00 0000161a: DUP1 0000161b: REVERT 0000161c: JUMPDEST 0000161d: POP 0000161e: JUMP 0000161f: JUMPDEST 00001620: PUSH2 0x1628 00001623: DUP2 00001624: PUSH2 0x13d0 00001627: JUMP 00001628: JUMPDEST 00001629: DUP2 0000162a: EQ 0000162b: PUSH2 0x1633 0000162e: JUMPI 0000162f: PUSH1 0x00 00001631: DUP1 00001632: REVERT 00001633: JUMPDEST 00001634: POP 00001635: JUMP 00001636: JUMPDEST 00001637: PUSH2 0x163f 0000163a: DUP2 0000163b: PUSH2 0x13dc 0000163e: JUMP 0000163f: JUMPDEST 00001640: DUP2 00001641: EQ 00001642: PUSH2 0x164a 00001645: JUMPI 00001646: PUSH1 0x00 00001648: DUP1 00001649: REVERT 0000164a: JUMPDEST 0000164b: POP 0000164c: JUMP 0000164d: JUMPDEST 0000164e: PUSH2 0x1656 00001651: DUP2 00001652: PUSH2 0x140e 00001655: JUMP 00001656: JUMPDEST 00001657: DUP2 00001658: EQ 00001659: PUSH2 0x1661 0000165c: JUMPI 0000165d: PUSH1 0x00 0000165f: DUP1 00001660: REVERT 00001661: JUMPDEST 00001662: POP 00001663: JUMP 00001664: INVALID 00001665: LOG2 00001666: PUSH5 0x6970667358 0000166c: UNKNOWN(0x22) 0000166d: SLT 0000166e: KECCAK256 0000166f: UNKNOWN(0xD2) 00001670: PUSH1 0xa8 00001672: BYTE 00001673: UNKNOWN(0x0C) 00001674: UNKNOWN(0xD3) 00001675: UNKNOWN(0x24) 00001676: UNKNOWN(0xB2) 00001677: SLOAD 00001678: BLOCKHASH 00001679: UNKNOWN(0xC7) 0000167a: EQ 0000167b: ISZERO 0000167c: PUSH12 0x80e19858af6ec96551d5523d 00001689: CODESIZE 0000168a: PUSH23
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x3390064c8fbc5f18cd39f5ec9239a20e0c1304eaa5f5c16069f03fd453385674
call_targets:
0x18e4a4ad3f10bdca799adee3fd7fe234664068b0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3390064c8fbc5f18cd39f5ec9239a20e0c1304eaa5f5c16069f03fd453385674",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x18e4a4ad3f10bdca799adee3fd7fe234664068b0"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cb549be",
"selector": "0x7cb549be",
"calldata_variants": [
"0x7cb549be",
"0x7cb549be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36bdee74",
"selector": "0x36bdee74",
"calldata_variants": [
"0x36bdee74",
"0x36bdee740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1819,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 1948,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x3390064c8fbc5f18cd39f5ec9239a20e0c1304eaa5f5c16069f03fd453385674
call_targets:
0x18e4a4ad3f10bdca799adee3fd7fe234664068b0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3390064c8fbc5f18cd39f5ec9239a20e0c1304eaa5f5c16069f03fd453385674",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x18e4a4ad3f10bdca799adee3fd7fe234664068b0"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cb549be",
"selector": "0x7cb549be",
"calldata_variants": [
"0x7cb549be",
"0x7cb549be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36bdee74",
"selector": "0x36bdee74",
"calldata_variants": [
"0x36bdee74",
"0x36bdee740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1214,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1819,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 1948,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|