019b3836-2543-7389-b4a8-ebf261b55b48
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 |
|---|---|---|---|---|
| 751 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 752 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44039 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 44040 | capability.graph | complete | 1 / 3 | 1 week ago |
| 44041 | detector.run | complete | 1 / 3 | 1 week ago |
| 44042 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00f0 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x1ff6c705 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00f2 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x47980c0d 00000025: EQ 00000026: PUSH2 0x00fd 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x53ba9c2f 00000030: EQ 00000031: PUSH2 0x0108 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x5ea8cd12 0000003b: EQ 0000003c: PUSH2 0x01c9 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x69d640fd 00000046: EQ 00000047: PUSH2 0x01f0 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x7ce3489b 00000051: EQ 00000052: PUSH2 0x0240 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x7d1bb97a 0000005c: EQ 0000005d: PUSH2 0x026b 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7fd6f15c 00000067: EQ 00000068: PUSH2 0x03e5 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8bf50628 00000072: EQ 00000073: PUSH2 0x03f0 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x90a248f8 0000007d: EQ 0000007e: PUSH2 0x0411 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa8f37bb2 00000088: EQ 00000089: PUSH2 0x0438 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xb019e017 00000093: EQ 00000094: PUSH2 0x046a 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xb4c70cea 0000009e: EQ 0000009f: PUSH2 0x059b 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xcf955f34 000000a9: EQ 000000aa: PUSH2 0x06a1 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xd229b54b 000000b4: EQ 000000b5: PUSH2 0x06bd 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xd54b4a04 000000bf: EQ 000000c0: PUSH2 0x06e4 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xe021fadb 000000ca: EQ 000000cb: PUSH2 0x06f1 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xe45be8eb 000000d5: EQ 000000d6: PUSH2 0x0858 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xeddfa7c8 000000e0: EQ 000000e1: PUSH2 0x0863 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf2a75fe4 000000eb: EQ 000000ec: PUSH2 0x095d 000000ef: JUMPI 000000f0: JUMPDEST 000000f1: STOP 000000f2: JUMPDEST 000000f3: PUSH2 0x09a5 000000f6: PUSH3 0x1e8484 000000fa: SLOAD 000000fb: DUP2 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH2 0x09a5 00000101: PUSH3 0x1e8486 00000105: SLOAD 00000106: DUP2 00000107: JUMP 00000108: JUMPDEST 00000109: PUSH2 0x09b7 0000010c: PUSH1 0x04 0000010e: CALLDATALOAD 0000010f: PUSH1 0x24 00000111: CALLDATALOAD 00000112: PUSH1 0x00 00000114: DUP1 00000115: DUP1 00000116: DUP1 00000117: DUP1 00000118: PUSH1 0x03 0000011a: DUP8 0000011b: PUSH2 0x03e8 0000011e: DUP2 0000011f: LT 00000120: ISZERO 00000121: PUSH2 0x0002 00000124: JUMPI 00000125: POP 00000126: PUSH2 0x07d0 00000129: DUP9 0000012a: MUL 0000012b: ADD 0000012c: DUP7 0000012d: PUSH2 0x03e8 00000130: DUP2 00000131: LT 00000132: ISZERO 00000133: PUSH2 0x0002 00000136: JUMPI 00000137: SWAP1 00000138: SWAP1 00000139: PUSH1 0x02 0000013b: MUL 0000013c: ADD 0000013d: PUSH1 0x00 0000013f: POP 00000140: SLOAD 00000141: PUSH2 0xffff 00000144: AND 00000145: DUP2 00000146: MSTORE 00000147: PUSH1 0x20 00000149: DUP2 0000014a: ADD 0000014b: SWAP2 0000014c: SWAP1 0000014d: SWAP2 0000014e: MSTORE 0000014f: PUSH1 0x40 00000151: ADD 00000152: PUSH1 0x00 00000154: KECCAK256 00000155: SLOAD 00000156: PUSH1 0x01 00000158: PUSH1 0xa0 0000015a: PUSH1 0x02 0000015c: EXP 0000015d: SUB 0000015e: AND 0000015f: SWAP3 00000160: POP 00000161: PUSH1 0x03 00000163: DUP6 00000164: PUSH2 0x03e8 00000167: DUP2 00000168: LT 00000169: ISZERO 0000016a: PUSH2 0x0002 0000016d: JUMPI 0000016e: POP 0000016f: PUSH2 0x07d0 00000172: DUP7 00000173: MUL 00000174: ADD 00000175: DUP5 00000176: PUSH2 0x03e8 00000179: DUP2 0000017a: LT 0000017b: ISZERO 0000017c: PUSH2 0x0002 0000017f: JUMPI 00000180: SWAP1 00000181: SWAP1 00000182: PUSH1 0x02 00000184: MUL 00000185: ADD 00000186: PUSH1 0x00 00000188: POP 00000189: SLOAD 0000018a: PUSH3 0x010000 0000018e: SWAP1 0000018f: DIV 00000190: PUSH1 0x03 00000192: SWAP1 00000193: DUP2 00000194: SIGNEXTEND 00000195: SWAP3 00000196: POP 00000197: DUP6 00000198: PUSH2 0x03e8 0000019b: DUP2 0000019c: LT 0000019d: ISZERO 0000019e: PUSH2 0x0002 000001a1: JUMPI 000001a2: POP 000001a3: PUSH2 0x07d0 000001a6: DUP7 000001a7: MUL 000001a8: ADD 000001a9: DUP5 000001aa: PUSH2 0x03e8 000001ad: DUP2 000001ae: LT 000001af: ISZERO 000001b0: PUSH2 0x0002 000001b3: JUMPI 000001b4: SWAP1 000001b5: SWAP1 000001b6: PUSH1 0x02 000001b8: MUL 000001b9: ADD 000001ba: PUSH1 0x00 000001bc: POP 000001bd: PUSH1 0x01 000001bf: ADD 000001c0: SLOAD 000001c1: SWAP1 000001c2: POP 000001c3: SWAP3 000001c4: POP 000001c5: SWAP3 000001c6: POP 000001c7: SWAP3 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x00f0 000001cd: PUSH1 0x04 000001cf: CALLDATALOAD 000001d0: PUSH3 0x1e8483 000001d4: SLOAD 000001d5: PUSH1 0x01 000001d7: PUSH1 0xa0 000001d9: PUSH1 0x02 000001db: EXP 000001dc: SUB 000001dd: SWAP1 000001de: DUP2 000001df: AND 000001e0: CALLER 000001e1: SWAP1 000001e2: SWAP2 000001e3: AND 000001e4: EQ 000001e5: ISZERO 000001e6: PUSH2 0x0268 000001e9: JUMPI 000001ea: PUSH3 0x1e8487 000001ee: SSTORE 000001ef: JUMP 000001f0: JUMPDEST 000001f1: PUSH2 0x09e3 000001f4: PUSH1 0x04 000001f6: CALLDATALOAD 000001f7: PUSH1 0x24 000001f9: CALLDATALOAD 000001fa: PUSH1 0x03 000001fc: DUP3 000001fd: PUSH2 0x03e8 00000200: DUP2 00000201: LT 00000202: ISZERO 00000203: PUSH2 0x0002 00000206: JUMPI 00000207: POP 00000208: PUSH2 0x07d0 0000020b: DUP4 0000020c: MUL 0000020d: ADD 0000020e: DUP2 0000020f: PUSH2 0x03e8 00000212: DUP2 00000213: LT 00000214: ISZERO 00000215: PUSH2 0x0002 00000218: JUMPI 00000219: SWAP1 0000021a: SWAP1 0000021b: PUSH1 0x02 0000021d: MUL 0000021e: ADD 0000021f: PUSH1 0x00 00000221: POP 00000222: DUP1 00000223: SLOAD 00000224: PUSH1 0x01 00000226: SWAP2 00000227: SWAP1 00000228: SWAP2 00000229: ADD 0000022a: SLOAD 0000022b: PUSH2 0xffff 0000022e: DUP3 0000022f: AND 00000230: SWAP4 00000231: POP 00000232: PUSH3 0x010000 00000236: SWAP1 00000237: SWAP2 00000238: DIV 00000239: PUSH1 0x03 0000023b: SIGNEXTEND 0000023c: SWAP2 0000023d: POP 0000023e: DUP4 0000023f: JUMP 00000240: JUMPDEST 00000241: PUSH2 0x00f0 00000244: PUSH1 0x04 00000246: CALLDATALOAD 00000247: PUSH3 0x1e8483 0000024b: SLOAD 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: PUSH1 0x02 00000252: EXP 00000253: SUB 00000254: SWAP1 00000255: DUP2 00000256: AND 00000257: CALLER 00000258: SWAP1 00000259: SWAP2 0000025a: AND 0000025b: EQ 0000025c: ISZERO 0000025d: PUSH2 0x0268 00000260: JUMPI 00000261: PUSH3 0x1e8485 00000265: DUP2 00000266: SWAP1 00000267: SSTORE 00000268: JUMPDEST 00000269: POP 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH2 0x0a0a 0000026f: PUSH1 0x04 00000271: CALLDATALOAD 00000272: PUSH2 0x7d00 00000275: PUSH1 0x40 00000277: MLOAD 00000278: SWAP1 00000279: DUP2 0000027a: ADD 0000027b: PUSH1 0x40 0000027d: MSTORE 0000027e: DUP1 0000027f: PUSH2 0x03e8 00000282: SWAP1 00000283: JUMPDEST 00000284: PUSH1 0x00 00000286: DUP2 00000287: MSTORE 00000288: PUSH1 0x20 0000028a: ADD 0000028b: SWAP1 0000028c: PUSH1 0x01 0000028e: SWAP1 0000028f: SUB 00000290: SWAP1 00000291: DUP2 00000292: PUSH2 0x0283 00000295: JUMPI 00000296: POP 00000297: POP 00000298: PUSH1 0x40 0000029a: DUP1 0000029b: MLOAD 0000029c: PUSH2 0x7d00 0000029f: DUP2 000002a0: ADD 000002a1: SWAP1 000002a2: SWAP2 000002a3: MSTORE 000002a4: PUSH2 0x03e8 000002a7: DUP2 000002a8: JUMPDEST 000002a9: PUSH1 0x00 000002ab: DUP2 000002ac: MSTORE 000002ad: PUSH1 0x20 000002af: ADD 000002b0: SWAP1 000002b1: PUSH1 0x01 000002b3: SWAP1 000002b4: SUB 000002b5: SWAP1 000002b6: DUP2 000002b7: PUSH2 0x02a8 000002ba: JUMPI 000002bb: POP 000002bc: POP 000002bd: PUSH1 0x40 000002bf: DUP1 000002c0: MLOAD 000002c1: PUSH2 0x7d00 000002c4: DUP2 000002c5: ADD 000002c6: SWAP1 000002c7: SWAP2 000002c8: MSTORE 000002c9: PUSH2 0x03e8 000002cc: DUP2 000002cd: JUMPDEST 000002ce: PUSH1 0x00 000002d0: DUP2 000002d1: MSTORE 000002d2: PUSH1 0x20 000002d4: ADD 000002d5: SWAP1 000002d6: PUSH1 0x01 000002d8: SWAP1 000002d9: SUB 000002da: SWAP1 000002db: DUP2 000002dc: PUSH2 0x02cd 000002df: JUMPI 000002e0: POP 000002e1: PUSH1 0x00 000002e3: SWAP1 000002e4: POP 000002e5: JUMPDEST 000002e6: PUSH2 0x03e8 000002e9: PUSH2 0xffff 000002ec: DUP3 000002ed: AND 000002ee: LT 000002ef: ISZERO 000002f0: PUSH2 0x0d09 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: PUSH1 0x03 000002f9: DUP4 000002fa: PUSH2 0x03e8 000002fd: DUP2 000002fe: LT 000002ff: ISZERO 00000300: PUSH2 0x0002 00000303: JUMPI 00000304: PUSH2 0x07d0 00000307: MUL 00000308: ADD 00000309: DUP2 0000030a: POP 0000030b: DUP8 0000030c: PUSH2 0x03e8 0000030f: DUP2 00000310: LT 00000311: ISZERO 00000312: PUSH2 0x0002 00000315: JUMPI 00000316: PUSH1 0x02 00000318: MUL 00000319: ADD 0000031a: PUSH1 0x00 0000031c: POP 0000031d: SLOAD 0000031e: PUSH2 0xffff 00000321: AND 00000322: DUP2 00000323: MSTORE 00000324: PUSH1 0x20 00000326: DUP2 00000327: ADD 00000328: SWAP2 00000329: SWAP1 0000032a: SWAP2 0000032b: MSTORE 0000032c: PUSH1 0x40 0000032e: ADD 0000032f: PUSH1 0x00 00000331: KECCAK256 00000332: SLOAD 00000333: PUSH1 0x01 00000335: PUSH1 0xa0 00000337: PUSH1 0x02 00000339: EXP 0000033a: SUB 0000033b: AND 0000033c: DUP5 0000033d: DUP3 0000033e: PUSH2 0x03e8 00000341: DUP2 00000342: LT 00000343: ISZERO 00000344: PUSH2 0x0002 00000347: JUMPI 00000348: POP 00000349: POP 0000034a: PUSH1 0x20 0000034c: DUP3 0000034d: MUL 0000034e: DUP6 0000034f: ADD 00000350: MSTORE 00000351: PUSH1 0x03 00000353: DUP2 00000354: PUSH2 0x03e8 00000357: DUP2 00000358: LT 00000359: ISZERO 0000035a: PUSH2 0x0002 0000035d: JUMPI 0000035e: PUSH2 0x07d0 00000361: MUL 00000362: ADD 00000363: PUSH1 0x00 00000365: POP 00000366: DUP6 00000367: PUSH2 0x03e8 0000036a: DUP2 0000036b: LT 0000036c: ISZERO 0000036d: PUSH2 0x0002 00000370: JUMPI 00000371: SWAP1 00000372: SWAP1 00000373: PUSH1 0x02 00000375: MUL 00000376: ADD 00000377: PUSH1 0x00 00000379: POP 0000037a: SLOAD 0000037b: PUSH3 0x010000 0000037f: SWAP1 00000380: DIV 00000381: PUSH1 0x03 00000383: SIGNEXTEND 00000384: DUP4 00000385: DUP3 00000386: PUSH2 0x03e8 00000389: DUP2 0000038a: LT 0000038b: ISZERO 0000038c: PUSH2 0x0002 0000038f: JUMPI 00000390: POP 00000391: POP 00000392: PUSH1 0x03 00000394: SWAP1 00000395: DUP2 00000396: SIGNEXTEND 00000397: PUSH1 0x20 00000399: DUP4 0000039a: MUL 0000039b: DUP6 0000039c: ADD 0000039d: MSTORE 0000039e: DUP2 0000039f: PUSH2 0x03e8 000003a2: DUP2 000003a3: LT 000003a4: ISZERO 000003a5: PUSH2 0x0002 000003a8: JUMPI 000003a9: PUSH2 0x07d0 000003ac: MUL 000003ad: ADD 000003ae: PUSH1 0x00 000003b0: POP 000003b1: DUP6 000003b2: PUSH2 0x03e8 000003b5: DUP2 000003b6: LT 000003b7: ISZERO 000003b8: PUSH2 0x0002 000003bb: JUMPI 000003bc: SWAP1 000003bd: SWAP1 000003be: PUSH1 0x02 000003c0: MUL 000003c1: ADD 000003c2: PUSH1 0x00 000003c4: POP 000003c5: PUSH1 0x01 000003c7: ADD 000003c8: SLOAD 000003c9: DUP3 000003ca: DUP3 000003cb: PUSH2 0x03e8 000003ce: DUP2 000003cf: LT 000003d0: ISZERO 000003d1: PUSH2 0x0002 000003d4: JUMPI 000003d5: POP 000003d6: POP 000003d7: PUSH1 0x20 000003d9: DUP3 000003da: MUL 000003db: DUP4 000003dc: ADD 000003dd: MSTORE 000003de: PUSH1 0x01 000003e0: ADD 000003e1: PUSH2 0x02e5 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH2 0x09a5 000003e9: PUSH3 0x1e8485 000003ed: SLOAD 000003ee: DUP2 000003ef: JUMP 000003f0: JUMPDEST 000003f1: PUSH2 0x0a59 000003f4: PUSH1 0x04 000003f6: CALLDATALOAD 000003f7: PUSH1 0x00 000003f9: PUSH1 0x20 000003fb: DUP2 000003fc: SWAP1 000003fd: MSTORE 000003fe: SWAP1 000003ff: DUP2 00000400: MSTORE 00000401: PUSH1 0x40 00000403: SWAP1 00000404: KECCAK256 00000405: SLOAD 00000406: PUSH1 0x01 00000408: PUSH1 0xa0 0000040a: PUSH1 0x02 0000040c: EXP 0000040d: SUB 0000040e: AND 0000040f: DUP2 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH2 0x00f0 00000415: PUSH1 0x04 00000417: CALLDATALOAD 00000418: PUSH3 0x1e8483 0000041c: SLOAD 0000041d: PUSH1 0x01 0000041f: PUSH1 0xa0 00000421: PUSH1 0x02 00000423: EXP 00000424: SUB 00000425: SWAP1 00000426: DUP2 00000427: AND 00000428: CALLER 00000429: SWAP1 0000042a: SWAP2 0000042b: AND 0000042c: EQ 0000042d: ISZERO 0000042e: PUSH2 0x0268 00000431: JUMPI 00000432: PUSH3 0x1e8486 00000436: SSTORE 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH2 0x00f0 0000043c: PUSH1 0x04 0000043e: CALLDATALOAD 0000043f: PUSH1 0x24 00000441: CALLDATALOAD 00000442: PUSH1 0x44 00000444: CALLDATALOAD 00000445: PUSH1 0x64 00000447: CALLDATALOAD 00000448: PUSH1 0x84 0000044a: CALLDATALOAD 0000044b: PUSH1 0xa4 0000044d: CALLDATALOAD 0000044e: PUSH2 0x0a8e 00000451: DUP7 00000452: DUP7 00000453: DUP5 00000454: DUP7 00000455: PUSH2 0x0100 00000458: MUL 00000459: DUP9 0000045a: PUSH3 0x010000 0000045e: MUL 0000045f: DUP7 00000460: PUSH1 0x7f 00000462: MUL 00000463: ADD 00000464: ADD 00000465: ADD 00000466: PUSH2 0x0870 00000469: JUMP 0000046a: JUMPDEST 0000046b: PUSH1 0x40 0000046d: DUP1 0000046e: MLOAD 0000046f: PUSH1 0x04 00000471: DUP1 00000472: CALLDATALOAD 00000473: DUP1 00000474: DUP3 00000475: ADD 00000476: CALLDATALOAD 00000477: PUSH1 0x20 00000479: DUP2 0000047a: DUP2 0000047b: MUL 0000047c: DUP1 0000047d: DUP7 0000047e: ADD 0000047f: DUP3 00000480: ADD 00000481: SWAP1 00000482: SWAP7 00000483: MSTORE 00000484: DUP2 00000485: DUP6 00000486: MSTORE 00000487: PUSH2 0x00f0 0000048a: SWAP6 0000048b: SWAP4 0000048c: SWAP5 0000048d: PUSH1 0x24 0000048f: SWAP5 00000490: SWAP1 00000491: SWAP4 00000492: DUP6 00000493: ADD 00000494: SWAP3 00000495: SWAP2 00000496: DUP3 00000497: SWAP2 00000498: SWAP1 00000499: DUP6 0000049a: ADD 0000049b: SWAP1 0000049c: DUP5 0000049d: SWAP1 0000049e: DUP1 0000049f: DUP3 000004a0: DUP5 000004a1: CALLDATACOPY 000004a2: POP 000004a3: POP 000004a4: PUSH1 0x40 000004a6: DUP1 000004a7: MLOAD 000004a8: DUP8 000004a9: CALLDATALOAD 000004aa: DUP1 000004ab: DUP11 000004ac: ADD 000004ad: CALLDATALOAD 000004ae: PUSH1 0x20 000004b0: DUP2 000004b1: DUP2 000004b2: MUL 000004b3: DUP1 000004b4: DUP6 000004b5: ADD 000004b6: DUP3 000004b7: ADD 000004b8: SWAP1 000004b9: SWAP6 000004ba: MSTORE 000004bb: DUP2 000004bc: DUP5 000004bd: MSTORE 000004be: SWAP9 000004bf: SWAP11 000004c0: SWAP10 000004c1: PUSH1 0x44 000004c3: SWAP10 000004c4: SWAP4 000004c5: SWAP9 000004c6: POP 000004c7: SWAP2 000004c8: SWAP1 000004c9: SWAP2 000004ca: ADD 000004cb: SWAP6 000004cc: POP 000004cd: SWAP4 000004ce: POP 000004cf: DUP4 000004d0: SWAP3 000004d1: POP 000004d2: DUP6 000004d3: ADD 000004d4: SWAP1 000004d5: DUP5 000004d6: SWAP1 000004d7: DUP1 000004d8: DUP3 000004d9: DUP5 000004da: CALLDATACOPY 000004db: POP 000004dc: POP 000004dd: PUSH1 0x40 000004df: DUP1 000004e0: MLOAD 000004e1: PUSH1 0x64 000004e3: CALLDATALOAD 000004e4: DUP1 000004e5: DUP11 000004e6: ADD 000004e7: CALLDATALOAD 000004e8: PUSH1 0x20 000004ea: DUP2 000004eb: DUP2 000004ec: MUL 000004ed: DUP1 000004ee: DUP6 000004ef: ADD 000004f0: DUP3 000004f1: ADD 000004f2: SWAP1 000004f3: SWAP6 000004f4: MSTORE 000004f5: DUP2 000004f6: DUP5 000004f7: MSTORE 000004f8: SWAP9 000004f9: SWAP11 000004fa: SWAP10 000004fb: CALLDATALOAD 000004fc: SWAP10 000004fd: SWAP9 000004fe: PUSH1 0x84 00000500: SWAP9 00000501: POP 00000502: SWAP3 00000503: SWAP7 00000504: POP 00000505: PUSH1 0x24 00000507: SWAP2 00000508: SWAP1 00000509: SWAP2 0000050a: ADD 0000050b: SWAP5 0000050c: POP 0000050d: SWAP3 0000050e: POP 0000050f: DUP3 00000510: SWAP2 00000511: SWAP1 00000512: DUP6 00000513: ADD 00000514: SWAP1 00000515: DUP5 00000516: SWAP1 00000517: DUP1 00000518: DUP3 00000519: DUP5 0000051a: CALLDATACOPY 0000051b: POP 0000051c: POP 0000051d: PUSH1 0x40 0000051f: DUP1 00000520: MLOAD 00000521: SWAP7 00000522: CALLDATALOAD 00000523: DUP1 00000524: DUP10 00000525: ADD 00000526: CALLDATALOAD 00000527: PUSH1 0x20 00000529: DUP2 0000052a: DUP2 0000052b: MUL 0000052c: DUP1 0000052d: DUP12 0000052e: ADD 0000052f: DUP3 00000530: ADD 00000531: SWAP1 00000532: SWAP5 00000533: MSTORE 00000534: DUP2 00000535: DUP11 00000536: MSTORE 00000537: SWAP8 00000538: SWAP10 00000539: SWAP9 0000053a: PUSH1 0xa4 0000053c: SWAP9 0000053d: SWAP1 0000053e: SWAP8 0000053f: POP 00000540: PUSH1 0x24 00000542: SWAP3 00000543: SWAP1 00000544: SWAP3 00000545: ADD 00000546: SWAP6 00000547: POP 00000548: SWAP4 00000549: POP 0000054a: DUP4 0000054b: SWAP3 0000054c: POP 0000054d: DUP6 0000054e: ADD 0000054f: SWAP1 00000550: DUP5 00000551: SWAP1 00000552: DUP1 00000553: DUP3 00000554: DUP5 00000555: CALLDATACOPY 00000556: POP 00000557: SWAP5 00000558: SWAP7 00000559: POP 0000055a: POP 0000055b: POP 0000055c: POP 0000055d: POP 0000055e: POP 0000055f: POP 00000560: PUSH3 0x1e8483 00000564: SLOAD 00000565: PUSH1 0x00 00000567: SWAP1 00000568: PUSH1 0x01 0000056a: PUSH1 0xa0 0000056c: PUSH1 0x02 0000056e: EXP 0000056f: SUB 00000570: SWAP1 00000571: DUP2 00000572: AND 00000573: CALLER 00000574: SWAP1 00000575: SWAP2 00000576: AND 00000577: EQ 00000578: ISZERO 00000579: PUSH2 0x0a8e 0000057c: JUMPI 0000057d: JUMPDEST 0000057e: DUP6 0000057f: MLOAD 00000580: DUP2 00000581: LT 00000582: ISZERO 00000583: PUSH2 0x0a8e 00000586: JUMPI 00000587: PUSH1 0x60 00000589: PUSH1 0x40 0000058b: MLOAD 0000058c: SWAP1 0000058d: DUP2 0000058e: ADD 0000058f: PUSH1 0x40 00000591: MSTORE 00000592: DUP1 00000593: PUSH2 0x0d11 00000596: DUP7 00000597: PUSH2 0x0ebc 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x40 0000059e: DUP1 0000059f: MLOAD 000005a0: PUSH1 0x20 000005a2: PUSH1 0x24 000005a4: DUP1 000005a5: CALLDATALOAD 000005a6: PUSH1 0x04 000005a8: DUP2 000005a9: DUP2 000005aa: ADD 000005ab: CALLDATALOAD 000005ac: PUSH1 0x1f 000005ae: DUP2 000005af: ADD 000005b0: DUP6 000005b1: SWAP1 000005b2: DIV 000005b3: DUP6 000005b4: MUL 000005b5: DUP7 000005b6: ADD 000005b7: DUP6 000005b8: ADD 000005b9: SWAP1 000005ba: SWAP7 000005bb: MSTORE 000005bc: DUP6 000005bd: DUP6 000005be: MSTORE 000005bf: PUSH2 0x09a5 000005c2: SWAP6 000005c3: DUP2 000005c4: CALLDATALOAD 000005c5: SWAP6 000005c6: SWAP2 000005c7: SWAP5 000005c8: PUSH1 0x44 000005ca: SWAP5 000005cb: SWAP3 000005cc: SWAP4 000005cd: SWAP1 000005ce: SWAP3 000005cf: ADD 000005d0: SWAP2 000005d1: DUP2 000005d2: SWAP1 000005d3: DUP5 000005d4: ADD 000005d5: DUP4 000005d6: DUP3 000005d7: DUP1 000005d8: DUP3 000005d9: DUP5 000005da: CALLDATACOPY 000005db: POP 000005dc: SWAP5 000005dd: SWAP7 000005de: POP 000005df: POP 000005e0: SWAP4 000005e1: CALLDATALOAD 000005e2: SWAP4 000005e3: POP 000005e4: POP 000005e5: POP 000005e6: POP 000005e7: JUMPDEST 000005e8: PUSH1 0x00 000005ea: DUP4 000005eb: ISZERO 000005ec: ISZERO 000005ed: PUSH2 0x0699 000005f0: JUMPI 000005f1: PUSH32 0xfd33e90d0eac940755277aa91045b95664988beeeafc4ed7d1281a6d83afbc00 00000612: CALLER 00000613: DUP5 00000614: DUP5 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: DUP5 0000061a: PUSH1 0x01 0000061c: PUSH1 0xa0 0000061e: PUSH1 0x02 00000620: EXP 00000621: SUB 00000622: AND 00000623: DUP2 00000624: MSTORE 00000625: PUSH1 0x20 00000627: ADD 00000628: DUP1 00000629: PUSH1 0x20 0000062b: ADD 0000062c: DUP4 0000062d: DUP2 0000062e: MSTORE 0000062f: PUSH1 0x20 00000631: ADD 00000632: DUP3 00000633: DUP2 00000634: SUB 00000635: DUP3 00000636: MSTORE 00000637: DUP5 00000638: DUP2 00000639: DUP2 0000063a: MLOAD 0000063b: DUP2 0000063c: MSTORE 0000063d: PUSH1 0x20 0000063f: ADD 00000640: SWAP2 00000641: POP 00000642: DUP1 00000643: MLOAD 00000644: SWAP1 00000645: PUSH1 0x20 00000647: ADD 00000648: SWAP1 00000649: DUP1 0000064a: DUP4 0000064b: DUP4 0000064c: DUP3 0000064d: SWAP1 0000064e: PUSH1 0x00 00000650: PUSH1 0x04 00000652: PUSH1 0x20 00000654: DUP5 00000655: PUSH1 0x1f 00000657: ADD 00000658: DIV 00000659: PUSH1 0x03 0000065b: MUL 0000065c: PUSH1 0x0f 0000065e: ADD 0000065f: CALL 00000660: POP 00000661: SWAP1 00000662: POP 00000663: SWAP1 00000664: DUP2 00000665: ADD 00000666: SWAP1 00000667: PUSH1 0x1f 00000669: AND 0000066a: DUP1 0000066b: ISZERO 0000066c: PUSH2 0x0689 0000066f: JUMPI 00000670: DUP1 00000671: DUP3 00000672: SUB 00000673: DUP1 00000674: MLOAD 00000675: PUSH1 0x01 00000677: DUP4 00000678: PUSH1 0x20 0000067a: SUB 0000067b: PUSH2 0x0100 0000067e: EXP 0000067f: SUB 00000680: NOT 00000681: AND 00000682: DUP2 00000683: MSTORE 00000684: PUSH1 0x20 00000686: ADD 00000687: SWAP2 00000688: POP 00000689: JUMPDEST 0000068a: POP 0000068b: SWAP5 0000068c: POP 0000068d: POP 0000068e: POP 0000068f: POP 00000690: POP 00000691: PUSH1 0x40 00000693: MLOAD 00000694: DUP1 00000695: SWAP2 00000696: SUB 00000697: SWAP1 00000698: LOG1 00000699: JUMPDEST 0000069a: POP 0000069b: SWAP2 0000069c: SWAP3 0000069d: SWAP2 0000069e: POP 0000069f: POP 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH2 0x0a76 000006a5: PUSH1 0x04 000006a7: CALLDATALOAD 000006a8: PUSH1 0x01 000006aa: PUSH1 0x20 000006ac: MSTORE 000006ad: PUSH1 0x00 000006af: SWAP1 000006b0: DUP2 000006b1: MSTORE 000006b2: PUSH1 0x40 000006b4: SWAP1 000006b5: KECCAK256 000006b6: SLOAD 000006b7: PUSH2 0xffff 000006ba: AND 000006bb: DUP2 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH2 0x00f0 000006c1: PUSH1 0x04 000006c3: CALLDATALOAD 000006c4: PUSH3 0x1e8483 000006c8: SLOAD 000006c9: PUSH1 0x01 000006cb: PUSH1 0xa0 000006cd: PUSH1 0x02 000006cf: EXP 000006d0: SUB 000006d1: SWAP1 000006d2: DUP2 000006d3: AND 000006d4: CALLER 000006d5: SWAP1 000006d6: SWAP2 000006d7: AND 000006d8: EQ 000006d9: ISZERO 000006da: PUSH2 0x0268 000006dd: JUMPI 000006de: PUSH3 0x1e8484 000006e2: SSTORE 000006e3: JUMP 000006e4: JUMPDEST 000006e5: PUSH2 0x0a76 000006e8: PUSH1 0x02 000006ea: SLOAD 000006eb: PUSH2 0xffff 000006ee: AND 000006ef: DUP2 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH1 0x40 000006f4: DUP1 000006f5: MLOAD 000006f6: PUSH1 0x04 000006f8: DUP1 000006f9: CALLDATALOAD 000006fa: DUP1 000006fb: DUP3 000006fc: ADD 000006fd: CALLDATALOAD 000006fe: PUSH1 0x20 00000700: DUP2 00000701: DUP2 00000702: MUL 00000703: DUP1 00000704: DUP7 00000705: ADD 00000706: DUP3 00000707: ADD 00000708: SWAP1 00000709: SWAP7 0000070a: MSTORE 0000070b: DUP2 0000070c: DUP6 0000070d: MSTORE 0000070e: PUSH2 0x09a5 00000711: SWAP6 00000712: SWAP4 00000713: SWAP5 00000714: PUSH1 0x24 00000716: SWAP5 00000717: SWAP1 00000718: SWAP4 00000719: DUP6 0000071a: ADD 0000071b: SWAP3 0000071c: SWAP2 0000071d: DUP3 0000071e: SWAP2 0000071f: SWAP1 00000720: DUP6 00000721: ADD 00000722: SWAP1 00000723: DUP5 00000724: SWAP1 00000725: DUP1 00000726: DUP3 00000727: DUP5 00000728: CALLDATACOPY 00000729: POP 0000072a: POP 0000072b: PUSH1 0x40 0000072d: DUP1 0000072e: MLOAD 0000072f: DUP8 00000730: CALLDATALOAD 00000731: DUP1 00000732: DUP11 00000733: ADD 00000734: CALLDATALOAD 00000735: PUSH1 0x20 00000737: DUP2 00000738: DUP2 00000739: MUL 0000073a: DUP1 0000073b: DUP6 0000073c: ADD 0000073d: DUP3 0000073e: ADD 0000073f: SWAP1 00000740: SWAP6 00000741: MSTORE 00000742: DUP2 00000743: DUP5 00000744: MSTORE 00000745: SWAP9 00000746: SWAP11 00000747: SWAP10 00000748: PUSH1 0x44 0000074a: SWAP10 0000074b: SWAP4 0000074c: SWAP9 0000074d: POP 0000074e: SWAP2 0000074f: SWAP1 00000750: SWAP2 00000751: ADD 00000752: SWAP6 00000753: POP 00000754: SWAP4 00000755: POP 00000756: DUP4 00000757: SWAP3 00000758: POP 00000759: DUP6 0000075a: ADD 0000075b: SWAP1 0000075c: DUP5 0000075d: SWAP1 0000075e: DUP1 0000075f: DUP3 00000760: DUP5 00000761: CALLDATACOPY 00000762: POP 00000763: POP 00000764: PUSH1 0x40 00000766: DUP1 00000767: MLOAD 00000768: SWAP7 00000769: CALLDATALOAD 0000076a: DUP1 0000076b: DUP10 0000076c: ADD 0000076d: CALLDATALOAD 0000076e: PUSH1 0x20 00000770: DUP2 00000771: DUP2 00000772: MUL 00000773: DUP1 00000774: DUP12 00000775: ADD 00000776: DUP3 00000777: ADD 00000778: SWAP1 00000779: SWAP5 0000077a: MSTORE 0000077b: DUP2 0000077c: DUP11 0000077d: MSTORE 0000077e: SWAP8 0000077f: SWAP10 00000780: SWAP9 00000781: PUSH1 0x64 00000783: SWAP9 00000784: SWAP1 00000785: SWAP8 00000786: POP 00000787: PUSH1 0x24 00000789: SWAP3 0000078a: SWAP1 0000078b: SWAP3 0000078c: ADD 0000078d: SWAP6 0000078e: POP 0000078f: SWAP4 00000790: POP 00000791: DUP4 00000792: SWAP3 00000793: POP 00000794: DUP6 00000795: ADD 00000796: SWAP1 00000797: DUP5 00000798: SWAP1 00000799: DUP1 0000079a: DUP3 0000079b: DUP5 0000079c: CALLDATACOPY 0000079d: POP 0000079e: POP 0000079f: PUSH1 0x40 000007a1: DUP1 000007a2: MLOAD 000007a3: SWAP7 000007a4: CALLDATALOAD 000007a5: DUP1 000007a6: DUP10 000007a7: ADD 000007a8: CALLDATALOAD 000007a9: PUSH1 0x20 000007ab: DUP2 000007ac: DUP2 000007ad: MUL 000007ae: DUP11 000007af: DUP2 000007b0: ADD 000007b1: DUP3 000007b2: ADD 000007b3: SWAP1 000007b4: SWAP5 000007b5: MSTORE 000007b6: DUP2 000007b7: DUP11 000007b8: MSTORE 000007b9: SWAP8 000007ba: SWAP10 000007bb: SWAP9 000007bc: PUSH1 0x84 000007be: SWAP9 000007bf: SWAP1 000007c0: SWAP8 000007c1: POP 000007c2: PUSH1 0x24 000007c4: SWAP3 000007c5: SWAP1 000007c6: SWAP3 000007c7: ADD 000007c8: SWAP6 000007c9: POP 000007ca: SWAP4 000007cb: POP 000007cc: DUP4 000007cd: SWAP3 000007ce: POP 000007cf: DUP6 000007d0: ADD 000007d1: SWAP1 000007d2: DUP5 000007d3: SWAP1 000007d4: DUP1 000007d5: DUP3 000007d6: DUP5 000007d7: CALLDATACOPY 000007d8: POP 000007d9: SWAP5 000007da: SWAP7 000007db: POP 000007dc: POP 000007dd: POP 000007de: POP 000007df: POP 000007e0: POP 000007e1: POP 000007e2: PUSH1 0x00 000007e4: PUSH1 0x00 000007e6: PUSH1 0x00 000007e8: PUSH1 0x00 000007ea: PUSH2 0x0ad6 000007ed: DUP8 000007ee: MLOAD 000007ef: DUP10 000007f0: MLOAD 000007f1: EQ 000007f2: PUSH1 0x60 000007f4: PUSH1 0x40 000007f6: MLOAD 000007f7: SWAP1 000007f8: DUP2 000007f9: ADD 000007fa: PUSH1 0x40 000007fc: MSTORE 000007fd: DUP1 000007fe: PUSH1 0x23 00000800: DUP2 00000801: MSTORE 00000802: PUSH1 0x20 00000804: ADD 00000805: PUSH32 0x446966666572656e74206e756d626572206f66207856616c7320617320795661 00000826: DUP2 00000827: MSTORE 00000828: PUSH1 0x20 0000082a: ADD 0000082b: PUSH32 0x6c732e0000000000000000000000000000000000000000000000000000000000 0000084c: DUP2 0000084d: MSTORE 0000084e: PUSH1 0x20 00000850: ADD 00000851: POP 00000852: DUP11 00000853: MLOAD 00000854: PUSH2 0x05e7 00000857: JUMP 00000858: JUMPDEST 00000859: PUSH2 0x09a5 0000085c: PUSH3 0x1e8487 00000860: SLOAD 00000861: DUP2 00000862: JUMP 00000863: JUMPDEST 00000864: PUSH2 0x00f0 00000867: PUSH1 0x04 00000869: CALLDATALOAD 0000086a: PUSH1 0x24 0000086c: CALLDATALOAD 0000086d: PUSH1 0x44 0000086f: CALLDATALOAD 00000870: JUMPDEST 00000871: PUSH1 0x00 00000873: PUSH2 0x0a96 00000876: DUP5 00000877: DUP5 00000878: DUP5 00000879: CALLVALUE 0000087a: JUMPDEST 0000087b: PUSH1 0x00 0000087d: DUP1 0000087e: DUP1 0000087f: DUP1 00000880: DUP1 00000881: DUP1 00000882: PUSH1 0x03 00000884: DUP11 00000885: PUSH2 0x03e8 00000888: DUP2 00000889: LT 0000088a: ISZERO 0000088b: PUSH2 0x0002 0000088e: JUMPI 0000088f: PUSH2 0x07d0 00000892: MUL 00000893: ADD 00000894: DUP10 00000895: PUSH2 0x03e8 00000898: DUP2 00000899: LT 0000089a: ISZERO 0000089b: PUSH2 0x0002 0000089e: JUMPI 0000089f: PUSH1 0x02 000008a1: MUL 000008a2: ADD 000008a3: DUP1 000008a4: SLOAD 000008a5: PUSH2 0xffff 000008a8: AND 000008a9: DUP3 000008aa: MSTORE 000008ab: PUSH1 0x20 000008ad: DUP3 000008ae: SWAP1 000008af: MSTORE 000008b0: PUSH1 0x40 000008b2: DUP3 000008b3: KECCAK256 000008b4: SLOAD 000008b5: PUSH3 0x1e8484 000008b9: SLOAD 000008ba: PUSH1 0x01 000008bc: DUP4 000008bd: ADD 000008be: SLOAD 000008bf: PUSH3 0x1e8486 000008c3: SLOAD 000008c4: SWAP4 000008c5: SWAP9 000008c6: POP 000008c7: PUSH1 0x01 000008c9: PUSH1 0xa0 000008cb: PUSH1 0x02 000008cd: EXP 000008ce: SUB 000008cf: SWAP3 000008d0: DUP4 000008d1: AND 000008d2: SWAP8 000008d3: POP 000008d4: PUSH1 0x64 000008d6: SWAP2 000008d7: DUP2 000008d8: MUL 000008d9: DUP3 000008da: SWAP1 000008db: DIV 000008dc: SWAP7 000008dd: POP 000008de: SWAP3 000008df: SWAP1 000008e0: SWAP3 000008e1: MUL 000008e2: SWAP2 000008e3: SWAP1 000008e4: SWAP2 000008e5: DIV 000008e6: SWAP3 000008e7: POP 000008e8: CALLER 000008e9: AND 000008ea: DUP5 000008eb: EQ 000008ec: ISZERO 000008ed: PUSH2 0x0f4d 000008f0: JUMPI 000008f1: PUSH2 0x0fbc 000008f4: DUP3 000008f5: CALLVALUE 000008f6: LT 000008f7: ISZERO 000008f8: PUSH1 0x60 000008fa: PUSH1 0x40 000008fc: MLOAD 000008fd: SWAP1 000008fe: DUP2 000008ff: ADD 00000900: PUSH1 0x40 00000902: MSTORE 00000903: DUP1 00000904: PUSH1 0x2e 00000906: DUP2 00000907: MSTORE 00000908: PUSH1 0x20 0000090a: ADD 0000090b: PUSH32 0x4368616e67696e6720796f7572206f776e20706978656c20636f737473203130 0000092c: DUP2 0000092d: MSTORE 0000092e: PUSH1 0x20 00000930: ADD 00000931: PUSH32 0x25206f66206974732076616c7565000000000000000000000000000000000000 00000952: DUP2 00000953: MSTORE 00000954: PUSH1 0x20 00000956: ADD 00000957: POP 00000958: DUP5 00000959: PUSH2 0x05e7 0000095c: JUMP 0000095d: JUMPDEST 0000095e: PUSH2 0x00f0 00000961: PUSH3 0x1e8483 00000965: SLOAD 00000966: PUSH1 0x01 00000968: PUSH1 0xa0 0000096a: PUSH1 0x02 0000096c: EXP 0000096d: SUB 0000096e: SWAP1 0000096f: DUP2 00000970: AND 00000971: CALLER 00000972: SWAP1 00000973: SWAP2 00000974: AND 00000975: EQ 00000976: ISZERO 00000977: PUSH2 0x09a3 0000097a: JUMPI 0000097b: PUSH1 0x40 0000097d: MLOAD 0000097e: PUSH3 0x1e8483 00000982: SLOAD 00000983: PUSH1 0x01 00000985: PUSH1 0xa0 00000987: PUSH1 0x02 00000989: EXP 0000098a: SUB 0000098b: SWAP1 0000098c: DUP2 0000098d: AND 0000098e: SWAP2 0000098f: PUSH1 0x00 00000991: SWAP2 00000992: ADDRESS 00000993: AND 00000994: BALANCE 00000995: SWAP1 00000996: DUP3 00000997: DUP2 00000998: DUP2 00000999: DUP2 0000099a: DUP6 0000099b: DUP9 0000099c: DUP4 0000099d: CALL 0000099e: POP 0000099f: POP 000009a0: POP 000009a1: POP 000009a2: POP 000009a3: JUMPDEST 000009a4: JUMP 000009a5: JUMPDEST 000009a6: PUSH1 0x40 000009a8: DUP1 000009a9: MLOAD 000009aa: SWAP2 000009ab: DUP3 000009ac: MSTORE 000009ad: MLOAD 000009ae: SWAP1 000009af: DUP2 000009b0: SWAP1 000009b1: SUB 000009b2: PUSH1 0x20 000009b4: ADD 000009b5: SWAP1 000009b6: RETURN 000009b7: JUMPDEST 000009b8: PUSH1 0x40 000009ba: DUP1 000009bb: MLOAD 000009bc: PUSH1 0x01 000009be: PUSH1 0xa0 000009c0: PUSH1 0x02 000009c2: EXP 000009c3: SUB 000009c4: SWAP5 000009c5: SWAP1 000009c6: SWAP5 000009c7: AND 000009c8: DUP5 000009c9: MSTORE 000009ca: PUSH1 0x03 000009cc: SWAP3 000009cd: SWAP1 000009ce: SWAP3 000009cf: SIGNEXTEND 000009d0: PUSH1 0x20 000009d2: DUP5 000009d3: ADD 000009d4: MSTORE 000009d5: DUP3 000009d6: DUP3 000009d7: ADD 000009d8: MSTORE 000009d9: MLOAD 000009da: SWAP1 000009db: DUP2 000009dc: SWAP1 000009dd: SUB 000009de: PUSH1 0x60 000009e0: ADD 000009e1: SWAP1 000009e2: RETURN 000009e3: JUMPDEST 000009e4: PUSH1 0x40 000009e6: DUP1 000009e7: MLOAD 000009e8: PUSH2 0xffff 000009eb: SWAP5 000009ec: SWAP1 000009ed: SWAP5 000009ee: AND 000009ef: DUP5 000009f0: MSTORE 000009f1: PUSH1 0x03 000009f3: SWAP3 000009f4: SWAP1 000009f5: SWAP3 000009f6: SIGNEXTEND 000009f7: PUSH1 0x20 000009f9: DUP5 000009fa: ADD 000009fb: MSTORE 000009fc: DUP3 000009fd: DUP3 000009fe: ADD 000009ff: MSTORE 00000a00: MLOAD 00000a01: SWAP1 00000a02: DUP2 00000a03: SWAP1 00000a04: SUB 00000a05: PUSH1 0x60 00000a07: ADD 00000a08: SWAP1 00000a09: RETURN 00000a0a: JUMPDEST 00000a0b: PUSH1 0x40 00000a0d: MLOAD 00000a0e: DUP1 00000a0f: DUP5 00000a10: PUSH2 0x7d00 00000a13: DUP1 00000a14: DUP4 00000a15: DUP2 00000a16: DUP5 00000a17: PUSH1 0x00 00000a19: PUSH1 0x04 00000a1b: PUSH2 0x0bc7 00000a1e: CALL 00000a1f: POP 00000a20: SWAP2 00000a21: DUP3 00000a22: ADD 00000a23: SWAP2 00000a24: DUP6 00000a25: SWAP2 00000a26: POP 00000a27: DUP1 00000a28: DUP4 00000a29: DUP2 00000a2a: DUP5 00000a2b: PUSH1 0x00 00000a2d: PUSH1 0x04 00000a2f: PUSH2 0x0bc7 00000a32: CALL 00000a33: POP 00000a34: PUSH2 0xfa00 00000a37: DUP5 00000a38: ADD 00000a39: SWAP3 00000a3a: POP 00000a3b: DUP5 00000a3c: SWAP2 00000a3d: POP 00000a3e: DUP1 00000a3f: DUP4 00000a40: DUP2 00000a41: DUP5 00000a42: PUSH1 0x00 00000a44: PUSH1 0x04 00000a46: PUSH2 0x0bc7 00000a49: CALL 00000a4a: POP 00000a4b: PUSH3 0x017700 00000a4f: SWAP7 00000a50: POP 00000a51: SWAP3 00000a52: SWAP5 00000a53: POP 00000a54: POP 00000a55: POP 00000a56: POP 00000a57: POP 00000a58: RETURN 00000a59: JUMPDEST 00000a5a: PUSH1 0x40 00000a5c: DUP1 00000a5d: MLOAD 00000a5e: PUSH1 0x01 00000a60: PUSH1 0xa0 00000a62: PUSH1 0x02 00000a64: EXP 00000a65: SUB 00000a66: SWAP3 00000a67: SWAP1 00000a68: SWAP3 00000a69: AND 00000a6a: DUP3 00000a6b: MSTORE 00000a6c: MLOAD 00000a6d: SWAP1 00000a6e: DUP2 00000a6f: SWAP1 00000a70: SUB 00000a71: PUSH1 0x20 00000a73: ADD 00000a74: SWAP1 00000a75: RETURN 00000a76: JUMPDEST 00000a77: PUSH1 0x40 00000a79: DUP1 00000a7a: MLOAD 00000a7b: PUSH2 0xffff 00000a7e: SWAP3 00000a7f: SWAP1 00000a80: SWAP3 00000a81: AND 00000a82: DUP3 00000a83: MSTORE 00000a84: MLOAD 00000a85: SWAP1 00000a86: DUP2 00000a87: SWAP1 00000a88: SUB 00000a89: PUSH1 0x20 00000a8b: ADD 00000a8c: SWAP1 00000a8d: RETURN 00000a8e: JUMPDEST 00000a8f: POP 00000a90: POP 00000a91: POP 00000a92: POP 00000a93: POP 00000a94: POP 00000a95: JUMP 00000a96: JUMPDEST 00000a97: SWAP1 00000a98: POP 00000a99: PUSH1 0x00 00000a9b: DUP2 00000a9c: GT 00000a9d: ISZERO 00000a9e: PUSH2 0x0ac2 00000aa1: JUMPI 00000aa2: PUSH1 0x40 00000aa4: MLOAD 00000aa5: CALLER 00000aa6: PUSH1 0x01 00000aa8: PUSH1 0xa0 00000aaa: PUSH1 0x02 00000aac: EXP 00000aad: SUB 00000aae: AND 00000aaf: SWAP1 00000ab0: PUSH1 0x00 00000ab2: SWAP1 00000ab3: DUP4 00000ab4: SWAP1 00000ab5: DUP3 00000ab6: DUP2 00000ab7: DUP2 00000ab8: DUP2 00000ab9: DUP6 00000aba: DUP9 00000abb: DUP4 00000abc: CALL 00000abd: POP 00000abe: POP 00000abf: POP 00000ac0: POP 00000ac1: POP 00000ac2: JUMPDEST 00000ac3: POP 00000ac4: POP 00000ac5: POP 00000ac6: POP 00000ac7: JUMP 00000ac8: JUMPDEST 00000ac9: SWAP4 00000aca: POP 00000acb: JUMPDEST 00000acc: POP 00000acd: POP 00000ace: POP 00000acf: SWAP5 00000ad0: SWAP4 00000ad1: POP 00000ad2: POP 00000ad3: POP 00000ad4: POP 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: ISZERO 00000ad8: DUP1 00000ad9: PUSH2 0x0b4e 00000adc: JUMPI 00000add: POP 00000ade: PUSH2 0x0b4c 00000ae1: DUP7 00000ae2: MLOAD 00000ae3: DUP10 00000ae4: MLOAD 00000ae5: EQ 00000ae6: PUSH1 0x60 00000ae8: PUSH1 0x40 00000aea: MLOAD 00000aeb: SWAP1 00000aec: DUP2 00000aed: ADD 00000aee: PUSH1 0x40 00000af0: MSTORE 00000af1: DUP1 00000af2: PUSH1 0x24 00000af4: DUP2 00000af5: MSTORE 00000af6: PUSH1 0x20 00000af8: ADD 00000af9: PUSH32 0x446966666572656e74206e756d626572206f66207856616c7320617320636f6c 00000b1a: DUP2 00000b1b: MSTORE 00000b1c: PUSH1 0x20 00000b1e: ADD 00000b1f: PUSH32 0x6f72732e00000000000000000000000000000000000000000000000000000000 00000b40: DUP2 00000b41: MSTORE 00000b42: PUSH1 0x20 00000b44: ADD 00000b45: POP 00000b46: DUP11 00000b47: MLOAD 00000b48: PUSH2 0x05e7 00000b4b: JUMP 00000b4c: JUMPDEST 00000b4d: ISZERO 00000b4e: JUMPDEST 00000b4f: DUP1 00000b50: PUSH2 0x0bc5 00000b53: JUMPI 00000b54: POP 00000b55: PUSH2 0x0bc3 00000b58: DUP6 00000b59: MLOAD 00000b5a: DUP10 00000b5b: MLOAD 00000b5c: EQ 00000b5d: PUSH1 0x60 00000b5f: PUSH1 0x40 00000b61: MLOAD 00000b62: SWAP1 00000b63: DUP2 00000b64: ADD 00000b65: PUSH1 0x40 00000b67: MSTORE 00000b68: DUP1 00000b69: PUSH1 0x24 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x20 00000b6f: ADD 00000b70: PUSH32 0x446966666572656e74206e756d626572206f66207856616c7320617320707269 00000b91: DUP2 00000b92: MSTORE 00000b93: PUSH1 0x20 00000b95: ADD 00000b96: PUSH32 0x6365732e00000000000000000000000000000000000000000000000000000000 00000bb7: DUP2 00000bb8: MSTORE 00000bb9: PUSH1 0x20 00000bbb: ADD 00000bbc: POP 00000bbd: DUP11 00000bbe: MLOAD 00000bbf: PUSH2 0x05e7 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: ISZERO 00000bc5: JUMPDEST 00000bc6: ISZERO 00000bc7: PUSH2 0x0bd3 00000bca: JUMPI 00000bcb: PUSH1 0x00 00000bcd: SWAP4 00000bce: POP 00000bcf: PUSH2 0x0acb 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: POP 00000bd5: CALLVALUE 00000bd6: SWAP2 00000bd7: POP 00000bd8: PUSH1 0x00 00000bda: SWAP1 00000bdb: POP 00000bdc: DUP1 00000bdd: JUMPDEST 00000bde: DUP8 00000bdf: MLOAD 00000be0: DUP2 00000be1: LT 00000be2: ISZERO 00000be3: PUSH2 0x0c63 00000be6: JUMPI 00000be7: DUP5 00000be8: DUP2 00000be9: DUP2 00000bea: MLOAD 00000beb: DUP2 00000bec: LT 00000bed: ISZERO 00000bee: PUSH2 0x0002 00000bf1: JUMPI 00000bf2: PUSH1 0x20 00000bf4: SWAP1 00000bf5: DUP2 00000bf6: MUL 00000bf7: SWAP1 00000bf8: SWAP2 00000bf9: ADD 00000bfa: ADD 00000bfb: MLOAD 00000bfc: SWAP1 00000bfd: SWAP3 00000bfe: SUB 00000bff: SWAP2 00000c00: PUSH1 0x00 00000c02: DUP4 00000c03: LT 00000c04: PUSH2 0x0d01 00000c07: JUMPI 00000c08: PUSH2 0x0cfb 00000c0b: DUP9 00000c0c: DUP3 00000c0d: DUP2 00000c0e: MLOAD 00000c0f: DUP2 00000c10: LT 00000c11: ISZERO 00000c12: PUSH2 0x0002 00000c15: JUMPI 00000c16: SWAP1 00000c17: PUSH1 0x20 00000c19: ADD 00000c1a: SWAP1 00000c1b: PUSH1 0x20 00000c1d: MUL 00000c1e: ADD 00000c1f: MLOAD 00000c20: DUP9 00000c21: DUP4 00000c22: DUP2 00000c23: MLOAD 00000c24: DUP2 00000c25: LT 00000c26: ISZERO 00000c27: PUSH2 0x0002 00000c2a: JUMPI 00000c2b: SWAP1 00000c2c: PUSH1 0x20 00000c2e: ADD 00000c2f: SWAP1 00000c30: PUSH1 0x20 00000c32: MUL 00000c33: ADD 00000c34: MLOAD 00000c35: DUP9 00000c36: DUP5 00000c37: DUP2 00000c38: MLOAD 00000c39: DUP2 00000c3a: LT 00000c3b: ISZERO 00000c3c: PUSH2 0x0002 00000c3f: JUMPI 00000c40: SWAP1 00000c41: PUSH1 0x20 00000c43: ADD 00000c44: SWAP1 00000c45: PUSH1 0x20 00000c47: MUL 00000c48: ADD 00000c49: MLOAD 00000c4a: DUP9 00000c4b: DUP6 00000c4c: DUP2 00000c4d: MLOAD 00000c4e: DUP2 00000c4f: LT 00000c50: ISZERO 00000c51: PUSH2 0x0002 00000c54: JUMPI 00000c55: SWAP1 00000c56: PUSH1 0x20 00000c58: ADD 00000c59: SWAP1 00000c5a: PUSH1 0x20 00000c5c: MUL 00000c5d: ADD 00000c5e: MLOAD 00000c5f: PUSH2 0x087a 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH1 0x00 00000c66: DUP3 00000c67: GT 00000c68: ISZERO 00000c69: PUSH2 0x0c8d 00000c6c: JUMPI 00000c6d: PUSH1 0x40 00000c6f: MLOAD 00000c70: CALLER 00000c71: PUSH1 0x01 00000c73: PUSH1 0xa0 00000c75: PUSH1 0x02 00000c77: EXP 00000c78: SUB 00000c79: AND 00000c7a: SWAP1 00000c7b: PUSH1 0x00 00000c7d: SWAP1 00000c7e: DUP5 00000c7f: SWAP1 00000c80: DUP3 00000c81: DUP2 00000c82: DUP2 00000c83: DUP2 00000c84: DUP6 00000c85: DUP9 00000c86: DUP4 00000c87: CALL 00000c88: POP 00000c89: POP 00000c8a: POP 00000c8b: POP 00000c8c: POP 00000c8d: JUMPDEST 00000c8e: PUSH2 0x0ac8 00000c91: PUSH1 0x00 00000c93: DUP5 00000c94: LT 00000c95: ISZERO 00000c96: PUSH1 0x60 00000c98: PUSH1 0x40 00000c9a: MLOAD 00000c9b: SWAP1 00000c9c: DUP2 00000c9d: ADD 00000c9e: PUSH1 0x40 00000ca0: MSTORE 00000ca1: DUP1 00000ca2: PUSH1 0x21 00000ca4: DUP2 00000ca5: MSTORE 00000ca6: PUSH1 0x20 00000ca8: ADD 00000ca9: PUSH32 0x56616c756520776173206c657373207468616e2073756d206f66207072696365 00000cca: DUP2 00000ccb: MSTORE 00000ccc: PUSH1 0x20 00000cce: ADD 00000ccf: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 00000cf0: DUP2 00000cf1: MSTORE 00000cf2: PUSH1 0x20 00000cf4: ADD 00000cf5: POP 00000cf6: DUP6 00000cf7: PUSH2 0x05e7 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: SWAP2 00000cfd: SWAP1 00000cfe: SWAP2 00000cff: ADD 00000d00: SWAP1 00000d01: JUMPDEST 00000d02: PUSH1 0x01 00000d04: ADD 00000d05: PUSH2 0x0bdd 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: POP 00000d0b: SWAP2 00000d0c: SWAP4 00000d0d: SWAP1 00000d0e: SWAP3 00000d0f: POP 00000d10: JUMP 00000d11: JUMPDEST 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x20 00000d16: ADD 00000d17: DUP5 00000d18: DUP4 00000d19: DUP2 00000d1a: MLOAD 00000d1b: DUP2 00000d1c: LT 00000d1d: ISZERO 00000d1e: PUSH2 0x0002 00000d21: JUMPI 00000d22: SWAP1 00000d23: PUSH1 0x20 00000d25: ADD 00000d26: SWAP1 00000d27: PUSH1 0x20 00000d29: MUL 00000d2a: ADD 00000d2b: MLOAD 00000d2c: DUP2 00000d2d: MSTORE 00000d2e: PUSH1 0x20 00000d30: ADD 00000d31: DUP4 00000d32: DUP4 00000d33: DUP2 00000d34: MLOAD 00000d35: DUP2 00000d36: LT 00000d37: ISZERO 00000d38: PUSH2 0x0002 00000d3b: JUMPI 00000d3c: SWAP1 00000d3d: PUSH1 0x20 00000d3f: ADD 00000d40: SWAP1 00000d41: PUSH1 0x20 00000d43: MUL 00000d44: ADD 00000d45: MLOAD 00000d46: DUP2 00000d47: MSTORE 00000d48: PUSH1 0x20 00000d4a: ADD 00000d4b: POP 00000d4c: PUSH1 0x03 00000d4e: PUSH1 0x00 00000d50: POP 00000d51: DUP8 00000d52: DUP4 00000d53: DUP2 00000d54: MLOAD 00000d55: DUP2 00000d56: LT 00000d57: ISZERO 00000d58: PUSH2 0x0002 00000d5b: JUMPI 00000d5c: SWAP1 00000d5d: PUSH1 0x20 00000d5f: ADD 00000d60: SWAP1 00000d61: PUSH1 0x20 00000d63: MUL 00000d64: ADD 00000d65: MLOAD 00000d66: PUSH2 0x03e8 00000d69: DUP2 00000d6a: LT 00000d6b: ISZERO 00000d6c: PUSH2 0x0002 00000d6f: JUMPI 00000d70: PUSH2 0x07d0 00000d73: MUL 00000d74: ADD 00000d75: PUSH1 0x00 00000d77: POP 00000d78: DUP7 00000d79: DUP4 00000d7a: DUP2 00000d7b: MLOAD 00000d7c: DUP2 00000d7d: LT 00000d7e: ISZERO 00000d7f: PUSH2 0x0002 00000d82: JUMPI 00000d83: SWAP1 00000d84: PUSH1 0x20 00000d86: ADD 00000d87: SWAP1 00000d88: PUSH1 0x20 00000d8a: MUL 00000d8b: ADD 00000d8c: MLOAD 00000d8d: PUSH2 0x03e8 00000d90: DUP2 00000d91: LT 00000d92: ISZERO 00000d93: PUSH2 0x0002 00000d96: JUMPI 00000d97: PUSH1 0x02 00000d99: MUL 00000d9a: ADD 00000d9b: PUSH1 0x00 00000d9d: POP 00000d9e: DUP2 00000d9f: MLOAD 00000da0: DUP2 00000da1: SLOAD 00000da2: PUSH1 0x20 00000da4: DUP5 00000da5: ADD 00000da6: MLOAD 00000da7: PUSH1 0xe0 00000da9: PUSH1 0x02 00000dab: EXP 00000dac: SWAP1 00000dad: DUP2 00000dae: MUL 00000daf: DIV 00000db0: PUSH3 0x010000 00000db4: MUL 00000db5: PUSH2 0xffff 00000db8: NOT 00000db9: SWAP2 00000dba: SWAP1 00000dbb: SWAP2 00000dbc: AND 00000dbd: SWAP1 00000dbe: SWAP2 00000dbf: OR 00000dc0: PUSH6 0xffffffff0000 00000dc7: NOT 00000dc8: AND 00000dc9: OR 00000dca: DUP2 00000dcb: SSTORE 00000dcc: PUSH1 0x40 00000dce: SWAP2 00000dcf: SWAP1 00000dd0: SWAP2 00000dd1: ADD 00000dd2: MLOAD 00000dd3: PUSH1 0x01 00000dd5: SWAP2 00000dd6: SWAP1 00000dd7: SWAP2 00000dd8: ADD 00000dd9: SSTORE 00000dda: PUSH1 0x01 00000ddc: ADD 00000ddd: PUSH2 0x057d 00000de0: JUMP 00000de1: JUMPDEST 00000de2: DUP5 00000de3: SLOAD 00000de4: PUSH1 0x00 00000de6: PUSH2 0xffff 00000de9: SWAP2 00000dea: SWAP1 00000deb: SWAP2 00000dec: AND 00000ded: GT 00000dee: ISZERO 00000def: PUSH2 0x0e22 00000df2: JUMPI 00000df3: POP 00000df4: PUSH1 0x40 00000df6: MLOAD 00000df7: PUSH3 0x1e8485 00000dfb: SLOAD 00000dfc: PUSH1 0x64 00000dfe: SWAP1 00000dff: DUP9 00000e00: MUL 00000e01: DIV 00000e02: SWAP1 00000e03: PUSH1 0x01 00000e05: PUSH1 0xa0 00000e07: PUSH1 0x02 00000e09: EXP 00000e0a: SUB 00000e0b: DUP6 00000e0c: AND 00000e0d: SWAP1 00000e0e: PUSH1 0x00 00000e10: SWAP1 00000e11: DUP4 00000e12: DUP11 00000e13: SUB 00000e14: SWAP1 00000e15: DUP3 00000e16: DUP2 00000e17: DUP2 00000e18: DUP2 00000e19: DUP6 00000e1a: DUP9 00000e1b: DUP4 00000e1c: CALL 00000e1d: POP 00000e1e: POP 00000e1f: POP 00000e20: POP 00000e21: POP 00000e22: JUMPDEST 00000e23: DUP5 00000e24: SLOAD 00000e25: PUSH1 0x01 00000e27: DUP7 00000e28: ADD 00000e29: SLOAD 00000e2a: PUSH1 0x40 00000e2c: DUP1 00000e2d: MLOAD 00000e2e: PUSH2 0xffff 00000e31: DUP15 00000e32: DUP2 00000e33: AND 00000e34: DUP3 00000e35: MSTORE 00000e36: DUP14 00000e37: AND 00000e38: PUSH1 0x20 00000e3a: DUP3 00000e3b: ADD 00000e3c: MSTORE 00000e3d: PUSH1 0x01 00000e3f: PUSH1 0xa0 00000e41: PUSH1 0x02 00000e43: EXP 00000e44: SUB 00000e45: DUP9 00000e46: DUP2 00000e47: AND 00000e48: DUP3 00000e49: DUP5 00000e4a: ADD 00000e4b: MSTORE 00000e4c: PUSH3 0x010000 00000e50: SWAP1 00000e51: SWAP5 00000e52: DIV 00000e53: PUSH1 0x03 00000e55: SWAP1 00000e56: DUP2 00000e57: SIGNEXTEND 00000e58: DUP2 00000e59: SIGNEXTEND 00000e5a: PUSH1 0x60 00000e5c: DUP4 00000e5d: ADD 00000e5e: MSTORE 00000e5f: PUSH1 0x80 00000e61: DUP3 00000e62: ADD 00000e63: SWAP4 00000e64: SWAP1 00000e65: SWAP4 00000e66: MSTORE 00000e67: CALLER 00000e68: SWAP1 00000e69: SWAP4 00000e6a: AND 00000e6b: PUSH1 0xa0 00000e6d: DUP5 00000e6e: ADD 00000e6f: MSTORE 00000e70: SWAP1 00000e71: DUP11 00000e72: SWAP1 00000e73: SIGNEXTEND 00000e74: PUSH1 0xc0 00000e76: DUP4 00000e77: ADD 00000e78: MSTORE 00000e79: PUSH1 0xe0 00000e7b: DUP3 00000e7c: ADD 00000e7d: DUP10 00000e7e: SWAP1 00000e7f: MSTORE 00000e80: MLOAD 00000e81: PUSH32 0xcacb62d8acea4678658eb5dc4aaa889b34d893b967c96a5f8c066e6549fa3f42 00000ea2: SWAP2 00000ea3: DUP2 00000ea4: SWAP1 00000ea5: SUB 00000ea6: PUSH2 0x0100 00000ea9: ADD 00000eaa: SWAP1 00000eab: LOG1 00000eac: PUSH1 0x60 00000eae: PUSH1 0x40 00000eb0: MLOAD 00000eb1: SWAP1 00000eb2: DUP2 00000eb3: ADD 00000eb4: PUSH1 0x40 00000eb6: MSTORE 00000eb7: DUP1 00000eb8: PUSH2 0x1143 00000ebb: CALLER 00000ebc: JUMPDEST 00000ebd: PUSH1 0x01 00000ebf: PUSH1 0xa0 00000ec1: PUSH1 0x02 00000ec3: EXP 00000ec4: SUB 00000ec5: DUP2 00000ec6: AND 00000ec7: PUSH1 0x00 00000ec9: SWAP1 00000eca: DUP2 00000ecb: MSTORE 00000ecc: PUSH1 0x01 00000ece: PUSH1 0x20 00000ed0: MSTORE 00000ed1: PUSH1 0x40 00000ed3: DUP2 00000ed4: KECCAK256 00000ed5: SLOAD 00000ed6: PUSH2 0xffff 00000ed9: AND 00000eda: SWAP1 00000edb: DUP2 00000edc: EQ 00000edd: ISZERO 00000ede: PUSH2 0x0f48 00000ee1: JUMPI 00000ee2: POP 00000ee3: PUSH1 0x40 00000ee5: PUSH1 0x00 00000ee7: DUP2 00000ee8: DUP2 00000ee9: KECCAK256 00000eea: PUSH1 0x02 00000eec: DUP1 00000eed: SLOAD 00000eee: PUSH2 0xffff 00000ef1: NOT 00000ef2: DUP2 00000ef3: DUP2 00000ef4: AND 00000ef5: PUSH2 0xffff 00000ef8: SWAP3 00000ef9: DUP4 00000efa: AND 00000efb: PUSH1 0x01 00000efd: SWAP1 00000efe: DUP2 00000eff: ADD 00000f00: SWAP2 00000f01: DUP3 00000f02: OR 00000f03: SWAP1 00000f04: SWAP5 00000f05: SSTORE 00000f06: SWAP2 00000f07: DUP3 00000f08: AND 00000f09: DUP6 00000f0a: MSTORE 00000f0b: PUSH1 0x20 00000f0d: DUP6 00000f0e: DUP2 00000f0f: MSTORE 00000f10: SWAP6 00000f11: DUP6 00000f12: KECCAK256 00000f13: DUP1 00000f14: SLOAD 00000f15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2a: NOT 00000f2b: AND 00000f2c: DUP9 00000f2d: OR 00000f2e: SWAP1 00000f2f: SSTORE 00000f30: PUSH1 0x01 00000f32: PUSH1 0xa0 00000f34: PUSH1 0x02 00000f36: EXP 00000f37: SUB 00000f38: DUP8 00000f39: AND 00000f3a: SWAP1 00000f3b: SWAP5 00000f3c: MSTORE 00000f3d: SWAP4 00000f3e: MSTORE 00000f3f: DUP1 00000f40: SLOAD 00000f41: SWAP1 00000f42: SWAP2 00000f43: AND 00000f44: DUP3 00000f45: OR 00000f46: SWAP1 00000f47: SSTORE 00000f48: JUMPDEST 00000f49: SWAP2 00000f4a: SWAP1 00000f4b: POP 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: PUSH1 0x40 00000f50: DUP1 00000f51: MLOAD 00000f52: PUSH3 0x1e8487 00000f56: SLOAD 00000f57: PUSH1 0x60 00000f59: DUP3 00000f5a: ADD 00000f5b: DUP4 00000f5c: MSTORE 00000f5d: PUSH1 0x21 00000f5f: DUP3 00000f60: MSTORE 00000f61: PUSH32 0x4d696e696d756d20706978656c2070726963652069732035302066696e6e6579 00000f82: PUSH1 0x20 00000f84: DUP4 00000f85: ADD 00000f86: MSTORE 00000f87: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000fa8: SWAP3 00000fa9: DUP3 00000faa: ADD 00000fab: SWAP3 00000fac: SWAP1 00000fad: SWAP3 00000fae: MSTORE 00000faf: PUSH2 0x10c2 00000fb2: SWAP2 00000fb3: CALLVALUE 00000fb4: LT 00000fb5: ISZERO 00000fb6: SWAP1 00000fb7: DUP10 00000fb8: PUSH2 0x05e7 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: ISZERO 00000fbe: ISZERO 00000fbf: PUSH2 0x0fca 00000fc2: JUMPI 00000fc3: DUP7 00000fc4: SWAP6 00000fc5: POP 00000fc6: PUSH2 0x10b5 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: CALLER 00000fcc: PUSH1 0x01 00000fce: PUSH1 0xa0 00000fd0: PUSH1 0x02 00000fd2: EXP 00000fd3: SUB 00000fd4: AND 00000fd5: DUP5 00000fd6: PUSH1 0x01 00000fd8: PUSH1 0xa0 00000fda: PUSH1 0x02 00000fdc: EXP 00000fdd: SUB 00000fde: AND 00000fdf: EQ 00000fe0: ISZERO 00000fe1: PUSH2 0x0de1 00000fe4: JUMPI 00000fe5: PUSH1 0x40 00000fe7: DUP1 00000fe8: MLOAD 00000fe9: DUP7 00000fea: SLOAD 00000feb: PUSH1 0x01 00000fed: DUP9 00000fee: ADD 00000fef: SLOAD 00000ff0: PUSH2 0xffff 00000ff3: DUP15 00000ff4: DUP2 00000ff5: AND 00000ff6: DUP5 00000ff7: MSTORE 00000ff8: DUP14 00000ff9: AND 00000ffa: PUSH1 0x20 00000ffc: DUP5 00000ffd: ADD 00000ffe: MSTORE 00000fff: PUSH1 0x01 00001001: PUSH1 0xa0 00001003: PUSH1 0x02 00001005: EXP 00001006: SUB 00001007: DUP9 00001008: AND 00001009: DUP4 0000100a: DUP6 0000100b: ADD 0000100c: DUP2 0000100d: SWAP1 0000100e: MSTORE 0000100f: PUSH3 0x010000 00001013: SWAP1 00001014: SWAP3 00001015: DIV 00001016: PUSH1 0x03 00001018: SWAP1 00001019: DUP2 0000101a: SIGNEXTEND 0000101b: DUP2 0000101c: SIGNEXTEND 0000101d: PUSH1 0x60 0000101f: DUP6 00001020: ADD 00001021: MSTORE 00001022: PUSH1 0x80 00001024: DUP5 00001025: ADD 00001026: DUP3 00001027: SWAP1 00001028: MSTORE 00001029: PUSH1 0xa0 0000102b: DUP5 0000102c: ADD 0000102d: SWAP3 0000102e: SWAP1 0000102f: SWAP3 00001030: MSTORE 00001031: SWAP1 00001032: DUP12 00001033: SWAP1 00001034: SIGNEXTEND 00001035: PUSH1 0xc0 00001037: DUP4 00001038: ADD 00001039: MSTORE 0000103a: PUSH1 0xe0 0000103c: DUP3 0000103d: ADD 0000103e: MSTORE 0000103f: SWAP1 00001040: MLOAD 00001041: PUSH32 0xcacb62d8acea4678658eb5dc4aaa889b34d893b967c96a5f8c066e6549fa3f42 00001062: SWAP2 00001063: DUP2 00001064: SWAP1 00001065: SUB 00001066: PUSH2 0x0100 00001069: ADD 0000106a: SWAP1 0000106b: LOG1 0000106c: DUP8 0000106d: PUSH1 0x03 0000106f: DUP12 00001070: PUSH2 0x03e8 00001073: DUP2 00001074: LT 00001075: ISZERO 00001076: PUSH2 0x0002 00001079: JUMPI 0000107a: PUSH2 0x07d0 0000107d: MUL 0000107e: ADD 0000107f: DUP11 00001080: PUSH2 0x03e8 00001083: DUP2 00001084: LT 00001085: ISZERO 00001086: PUSH2 0x0002 00001089: JUMPI 0000108a: PUSH1 0x02 0000108c: MUL 0000108d: ADD 0000108e: DUP1 0000108f: SLOAD 00001090: PUSH6 0xffffffff0000 00001097: NOT 00001098: AND 00001099: PUSH1 0xe0 0000109b: PUSH1 0x02 0000109d: EXP 0000109e: SWAP3 0000109f: DUP4 000010a0: MUL 000010a1: SWAP3 000010a2: SWAP1 000010a3: SWAP3 000010a4: DIV 000010a5: PUSH3 0x010000 000010a9: MUL 000010aa: SWAP2 000010ab: SWAP1 000010ac: SWAP2 000010ad: OR 000010ae: SWAP1 000010af: SSTORE 000010b0: DUP2 000010b1: DUP8 000010b2: SUB 000010b3: SWAP6 000010b4: POP 000010b5: JUMPDEST 000010b6: POP 000010b7: POP 000010b8: POP 000010b9: POP 000010ba: POP 000010bb: SWAP5 000010bc: SWAP4 000010bd: POP 000010be: POP 000010bf: POP 000010c0: POP 000010c1: JUMP 000010c2: JUMPDEST 000010c3: ISZERO 000010c4: DUP1 000010c5: PUSH2 0x1136 000010c8: JUMPI 000010c9: POP 000010ca: PUSH2 0x0fbc 000010cd: DUP4 000010ce: CALLVALUE 000010cf: LT 000010d0: ISZERO 000010d1: PUSH1 0x60 000010d3: PUSH1 0x40 000010d5: MLOAD 000010d6: SWAP1 000010d7: DUP2 000010d8: ADD 000010d9: PUSH1 0x40 000010db: MSTORE 000010dc: DUP1 000010dd: PUSH1 0x32 000010df: DUP2 000010e0: MSTORE 000010e1: PUSH1 0x20 000010e3: ADD 000010e4: PUSH32 0x56616c7565206d7573742062652031302520686967686572207468616e206375 00001105: DUP2 00001106: MSTORE 00001107: PUSH1 0x20 00001109: ADD 0000110a: PUSH32 0x7272656e7420706978656c2070726963652e0000000000000000000000000000 0000112b: DUP2 0000112c: MSTORE 0000112d: PUSH1 0x20 0000112f: ADD 00001130: POP 00001131: DUP6 00001132: PUSH2 0x05e7 00001135: JUMP 00001136: JUMPDEST 00001137: ISZERO 00001138: PUSH2 0x0fca 0000113b: JUMPI 0000113c: DUP7 0000113d: SWAP6 0000113e: POP 0000113f: PUSH2 0x10b5 00001142: JUMP 00001143: JUMPDEST 00001144: DUP2 00001145: MSTORE 00001146: PUSH1 0x20 00001148: DUP2 00001149: ADD 0000114a: DUP11 0000114b: SWAP1 0000114c: MSTORE 0000114d: PUSH1 0x40 0000114f: ADD 00001150: DUP9 00001151: SWAP1 00001152: MSTORE 00001153: PUSH1 0x03 00001155: DUP12 00001156: PUSH2 0x03e8 00001159: DUP2 0000115a: LT 0000115b: ISZERO 0000115c: PUSH2 0x0002 0000115f: JUMPI 00001160: PUSH2 0x07d0 00001163: MUL 00001164: ADD 00001165: DUP11 00001166: PUSH2 0x03e8 00001169: DUP2 0000116a: LT 0000116b: ISZERO 0000116c: PUSH2 0x0002 0000116f: JUMPI 00001170: PUSH1 0x02 00001172: MUL 00001173: ADD 00001174: PUSH1 0x00 00001176: POP 00001177: DUP2 00001178: MLOAD 00001179: DUP2 0000117a: SLOAD 0000117b: PUSH1 0x20 0000117d: DUP5 0000117e: ADD 0000117f: MLOAD 00001180: PUSH1 0xe0 00001182: PUSH1 0x02 00001184: EXP 00001185: SWAP1 00001186: DUP2 00001187: MUL 00001188: DIV 00001189: PUSH3 0x010000 0000118d: MUL 0000118e: PUSH2 0xffff 00001191: NOT 00001192: SWAP2 00001193: SWAP1 00001194: SWAP2 00001195: AND 00001196: SWAP1 00001197: SWAP2 00001198: OR 00001199: PUSH6 0xffffffff0000 000011a0: NOT 000011a1: AND 000011a2: OR 000011a3: DUP2 000011a4: SSTORE 000011a5: PUSH1 0x40 000011a7: SWAP2 000011a8: SWAP1 000011a9: SWAP2 000011aa: ADD 000011ab: MLOAD 000011ac: PUSH1 0x01 000011ae: SWAP2 000011af: SWAP1 000011b0: SWAP2 000011b1: ADD 000011b2: SSTORE 000011b3: PUSH1 0x00 000011b5: SWAP6 000011b6: POP 000011b7: PUSH2 0x10b5 000011ba: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb6907d951f6c9c88d9483d5919719799884b0f081bb56f29b1ea63b04e0d83c4
call_targets:
0x350e0ffc780a6a75b44cc52e1ff9092870668945
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb6907d951f6c9c88d9483d5919719799884b0f081bb56f29b1ea63b04e0d83c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x350e0ffc780a6a75b44cc52e1ff9092870668945"
],
"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": "0x1ff6c705",
"selector": "0x1ff6c705",
"calldata_variants": [
"0x1ff6c705",
"0x1ff6c7050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47980c0d",
"selector": "0x47980c0d",
"calldata_variants": [
"0x47980c0d",
"0x47980c0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53ba9c2f",
"selector": "0x53ba9c2f",
"calldata_variants": [
"0x53ba9c2f",
"0x53ba9c2f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ea8cd12",
"selector": "0x5ea8cd12",
"calldata_variants": [
"0x5ea8cd12",
"0x5ea8cd120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d640fd",
"selector": "0x69d640fd",
"calldata_variants": [
"0x69d640fd",
"0x69d640fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ce3489b",
"selector": "0x7ce3489b",
"calldata_variants": [
"0x7ce3489b",
"0x7ce3489b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1bb97a",
"selector": "0x7d1bb97a",
"calldata_variants": [
"0x7d1bb97a",
"0x7d1bb97a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fd6f15c",
"selector": "0x7fd6f15c",
"calldata_variants": [
"0x7fd6f15c",
"0x7fd6f15c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1631,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2461,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2590,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb6907d951f6c9c88d9483d5919719799884b0f081bb56f29b1ea63b04e0d83c4
call_targets:
0x350e0ffc780a6a75b44cc52e1ff9092870668945
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb6907d951f6c9c88d9483d5919719799884b0f081bb56f29b1ea63b04e0d83c4",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x350e0ffc780a6a75b44cc52e1ff9092870668945"
],
"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": "0x1ff6c705",
"selector": "0x1ff6c705",
"calldata_variants": [
"0x1ff6c705",
"0x1ff6c7050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47980c0d",
"selector": "0x47980c0d",
"calldata_variants": [
"0x47980c0d",
"0x47980c0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x53ba9c2f",
"selector": "0x53ba9c2f",
"calldata_variants": [
"0x53ba9c2f",
"0x53ba9c2f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ea8cd12",
"selector": "0x5ea8cd12",
"calldata_variants": [
"0x5ea8cd12",
"0x5ea8cd120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d640fd",
"selector": "0x69d640fd",
"calldata_variants": [
"0x69d640fd",
"0x69d640fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ce3489b",
"selector": "0x7ce3489b",
"calldata_variants": [
"0x7ce3489b",
"0x7ce3489b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d1bb97a",
"selector": "0x7d1bb97a",
"calldata_variants": [
"0x7d1bb97a",
"0x7d1bb97a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fd6f15c",
"selector": "0x7fd6f15c",
"calldata_variants": [
"0x7fd6f15c",
"0x7fd6f15c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1631,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2461,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2590,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|