019b3836-3600-730e-bfec-c0390e585259
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 |
|---|---|---|---|---|
| 3509 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3510 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 46412 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 46413 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 46414 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 46415 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x00a3 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x013cf08b 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00a5 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x06fdde03 00000025: EQ 00000026: PUSH2 0x01cf 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x237e9492 00000030: EQ 00000031: PUSH2 0x022c 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x27ebcf0e 0000003b: EQ 0000003c: PUSH2 0x0351 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x400e3949 00000046: EQ 00000047: PUSH2 0x0363 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x52091047 00000051: EQ 00000052: PUSH2 0x036c 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x69bd3436 0000005c: EQ 0000005d: PUSH2 0x0394 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8160f0b5 00000067: EQ 00000068: PUSH2 0x039d 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8da5cb5b 00000072: EQ 00000073: PUSH2 0x03a6 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xb1050da5 0000007d: EQ 0000007e: PUSH2 0x03b8 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xc9d27afe 00000088: EQ 00000089: PUSH2 0x04a8 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xeceb2945 00000093: EQ 00000094: PUSH2 0x0516 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xf2fde38b 0000009e: EQ 0000009f: PUSH2 0x05f2 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: STOP 000000a5: JUMPDEST 000000a6: PUSH2 0x0613 000000a9: PUSH1 0x04 000000ab: CALLDATALOAD 000000ac: PUSH1 0x04 000000ae: DUP1 000000af: SLOAD 000000b0: DUP3 000000b1: SWAP1 000000b2: DUP2 000000b3: LT 000000b4: ISZERO 000000b5: PUSH2 0x0002 000000b8: JUMPI 000000b9: POP 000000ba: PUSH1 0x00 000000bc: MSTORE 000000bd: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19e 000000de: PUSH1 0x09 000000e0: SWAP1 000000e1: SWAP2 000000e2: MUL 000000e3: SWAP1 000000e4: DUP2 000000e5: ADD 000000e6: SLOAD 000000e7: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19f 00000108: DUP3 00000109: ADD 0000010a: SLOAD 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: MLOAD 0000010f: PUSH1 0x20 00000111: PUSH2 0x0ef6 00000114: DUP4 00000115: CODECOPY 00000116: DUP2 00000117: MLOAD 00000118: SWAP2 00000119: MSTORE 0000011a: DUP4 0000011b: ADD 0000011c: SLOAD 0000011d: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c 0000013e: DUP5 0000013f: ADD 00000140: SLOAD 00000141: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a0 00000162: DUP6 00000163: ADD 00000164: SLOAD 00000165: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a1 00000186: DUP7 00000187: ADD 00000188: SLOAD 00000189: PUSH1 0x01 0000018b: PUSH1 0xa0 0000018d: PUSH1 0x02 0000018f: EXP 00000190: SUB 00000191: SWAP4 00000192: SWAP1 00000193: SWAP4 00000194: AND 00000195: SWAP6 00000196: SWAP2 00000197: SWAP5 00000198: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19d 000001b9: SWAP1 000001ba: SWAP3 000001bb: ADD 000001bc: SWAP4 000001bd: SWAP2 000001be: SWAP3 000001bf: PUSH1 0xff 000001c1: DUP4 000001c2: DUP2 000001c3: AND 000001c4: SWAP4 000001c5: PUSH2 0x0100 000001c8: SWAP1 000001c9: DIV 000001ca: AND 000001cb: SWAP2 000001cc: SWAP1 000001cd: DUP9 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x40 000001d2: DUP1 000001d3: MLOAD 000001d4: PUSH1 0x01 000001d6: DUP1 000001d7: SLOAD 000001d8: PUSH1 0x20 000001da: PUSH1 0x02 000001dc: DUP3 000001dd: DUP5 000001de: AND 000001df: ISZERO 000001e0: PUSH2 0x0100 000001e3: MUL 000001e4: PUSH1 0x00 000001e6: NOT 000001e7: ADD 000001e8: SWAP1 000001e9: SWAP3 000001ea: AND 000001eb: SWAP2 000001ec: SWAP1 000001ed: SWAP2 000001ee: DIV 000001ef: PUSH1 0x1f 000001f1: DUP2 000001f2: ADD 000001f3: DUP3 000001f4: SWAP1 000001f5: DIV 000001f6: DUP3 000001f7: MUL 000001f8: DUP5 000001f9: ADD 000001fa: DUP3 000001fb: ADD 000001fc: SWAP1 000001fd: SWAP5 000001fe: MSTORE 000001ff: DUP4 00000200: DUP4 00000201: MSTORE 00000202: PUSH2 0x06dc 00000205: SWAP4 00000206: SWAP1 00000207: DUP4 00000208: ADD 00000209: DUP3 0000020a: DUP3 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x07b9 00000210: JUMPI 00000211: DUP1 00000212: PUSH1 0x1f 00000214: LT 00000215: PUSH2 0x078e 00000218: JUMPI 00000219: PUSH2 0x0100 0000021c: DUP1 0000021d: DUP4 0000021e: SLOAD 0000021f: DIV 00000220: MUL 00000221: DUP4 00000222: MSTORE 00000223: SWAP2 00000224: PUSH1 0x20 00000226: ADD 00000227: SWAP2 00000228: PUSH2 0x07b9 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x40 0000022f: DUP1 00000230: MLOAD 00000231: PUSH1 0x20 00000233: PUSH1 0x24 00000235: DUP1 00000236: CALLDATALOAD 00000237: PUSH1 0x04 00000239: DUP2 0000023a: DUP2 0000023b: ADD 0000023c: CALLDATALOAD 0000023d: PUSH1 0x1f 0000023f: DUP2 00000240: ADD 00000241: DUP6 00000242: SWAP1 00000243: DIV 00000244: DUP6 00000245: MUL 00000246: DUP7 00000247: ADD 00000248: DUP6 00000249: ADD 0000024a: SWAP1 0000024b: SWAP7 0000024c: MSTORE 0000024d: DUP6 0000024e: DUP6 0000024f: MSTORE 00000250: PUSH2 0x074a 00000253: SWAP6 00000254: DUP2 00000255: CALLDATALOAD 00000256: SWAP6 00000257: SWAP2 00000258: SWAP5 00000259: PUSH1 0x44 0000025b: SWAP5 0000025c: SWAP3 0000025d: SWAP4 0000025e: SWAP1 0000025f: SWAP3 00000260: ADD 00000261: SWAP2 00000262: DUP2 00000263: SWAP1 00000264: DUP5 00000265: ADD 00000266: DUP4 00000267: DUP3 00000268: DUP1 00000269: DUP3 0000026a: DUP5 0000026b: CALLDATACOPY 0000026c: POP 0000026d: SWAP5 0000026e: SWAP7 0000026f: POP 00000270: POP 00000271: POP 00000272: POP 00000273: POP 00000274: POP 00000275: POP 00000276: PUSH1 0x00 00000278: PUSH1 0x00 0000027a: PUSH1 0x00 0000027c: PUSH1 0x00 0000027e: PUSH1 0x00 00000280: PUSH1 0x00 00000282: PUSH1 0x00 00000284: PUSH1 0x00 00000286: PUSH1 0x04 00000288: PUSH1 0x00 0000028a: POP 0000028b: DUP11 0000028c: DUP2 0000028d: SLOAD 0000028e: DUP2 0000028f: LT 00000290: ISZERO 00000291: PUSH2 0x0002 00000294: JUMPI 00000295: POP 00000296: DUP2 00000297: MSTORE 00000298: PUSH1 0x09 0000029a: DUP11 0000029b: MUL 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: MLOAD 000002a0: PUSH1 0x20 000002a2: PUSH2 0x0ef6 000002a5: DUP4 000002a6: CODECOPY 000002a7: DUP2 000002a8: MLOAD 000002a9: SWAP2 000002aa: MSTORE 000002ab: ADD 000002ac: DUP2 000002ad: POP 000002ae: PUSH1 0x03 000002b0: DUP2 000002b1: ADD 000002b2: SLOAD 000002b3: SWAP1 000002b4: SWAP8 000002b5: POP 000002b6: TIMESTAMP 000002b7: LT 000002b8: DUP1 000002b9: PUSH2 0x02c6 000002bc: JUMPI 000002bd: POP 000002be: PUSH1 0x04 000002c0: DUP8 000002c1: ADD 000002c2: SLOAD 000002c3: PUSH1 0xff 000002c5: AND 000002c6: JUMPDEST 000002c7: DUP1 000002c8: PUSH2 0x0347 000002cb: JUMPI 000002cc: POP 000002cd: DUP7 000002ce: PUSH1 0x00 000002d0: ADD 000002d1: PUSH1 0x00 000002d3: SWAP1 000002d4: SLOAD 000002d5: SWAP1 000002d6: PUSH2 0x0100 000002d9: EXP 000002da: SWAP1 000002db: DIV 000002dc: PUSH1 0x01 000002de: PUSH1 0xa0 000002e0: PUSH1 0x02 000002e2: EXP 000002e3: SUB 000002e4: AND 000002e5: DUP8 000002e6: PUSH1 0x01 000002e8: ADD 000002e9: PUSH1 0x00 000002eb: POP 000002ec: SLOAD 000002ed: DUP11 000002ee: PUSH1 0x40 000002f0: MLOAD 000002f1: DUP1 000002f2: DUP5 000002f3: PUSH1 0x01 000002f5: PUSH1 0xa0 000002f7: PUSH1 0x02 000002f9: EXP 000002fa: SUB 000002fb: AND 000002fc: PUSH1 0x60 000002fe: PUSH1 0x02 00000300: EXP 00000301: MUL 00000302: DUP2 00000303: MSTORE 00000304: PUSH1 0x14 00000306: ADD 00000307: DUP4 00000308: DUP2 00000309: MSTORE 0000030a: PUSH1 0x20 0000030c: ADD 0000030d: DUP3 0000030e: DUP1 0000030f: MLOAD 00000310: SWAP1 00000311: PUSH1 0x20 00000313: ADD 00000314: SWAP1 00000315: DUP1 00000316: DUP4 00000317: DUP4 00000318: DUP3 00000319: SWAP1 0000031a: PUSH1 0x00 0000031c: PUSH1 0x04 0000031e: PUSH1 0x20 00000320: DUP5 00000321: PUSH1 0x1f 00000323: ADD 00000324: DIV 00000325: PUSH1 0x0f 00000327: MUL 00000328: PUSH1 0x03 0000032a: ADD 0000032b: CALL 0000032c: POP 0000032d: SWAP1 0000032e: POP 0000032f: ADD 00000330: SWAP4 00000331: POP 00000332: POP 00000333: POP 00000334: POP 00000335: PUSH1 0x40 00000337: MLOAD 00000338: DUP1 00000339: SWAP2 0000033a: SUB 0000033b: SWAP1 0000033c: KECCAK256 0000033d: DUP8 0000033e: PUSH1 0x06 00000340: ADD 00000341: PUSH1 0x00 00000343: POP 00000344: SLOAD 00000345: EQ 00000346: ISZERO 00000347: JUMPDEST 00000348: ISZERO 00000349: PUSH2 0x0cf0 0000034c: JUMPI 0000034d: PUSH2 0x0002 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH2 0x075c 00000355: PUSH1 0x06 00000357: SLOAD 00000358: PUSH1 0x01 0000035a: PUSH1 0xa0 0000035c: PUSH1 0x02 0000035e: EXP 0000035f: SUB 00000360: AND 00000361: DUP2 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH2 0x074a 00000367: PUSH1 0x05 00000369: SLOAD 0000036a: DUP2 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH2 0x00a3 00000370: PUSH1 0x04 00000372: CALLDATALOAD 00000373: PUSH1 0x24 00000375: CALLDATALOAD 00000376: PUSH1 0x44 00000378: CALLDATALOAD 00000379: PUSH1 0x00 0000037b: SLOAD 0000037c: PUSH1 0x01 0000037e: PUSH1 0xa0 00000380: PUSH1 0x02 00000382: EXP 00000383: SUB 00000384: SWAP1 00000385: DUP2 00000386: AND 00000387: CALLER 00000388: SWAP1 00000389: SWAP2 0000038a: AND 0000038b: EQ 0000038c: PUSH2 0x07c1 0000038f: JUMPI 00000390: PUSH2 0x0002 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH2 0x074a 00000398: PUSH1 0x03 0000039a: SLOAD 0000039b: DUP2 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH2 0x074a 000003a1: PUSH1 0x02 000003a3: SLOAD 000003a4: DUP2 000003a5: JUMP 000003a6: JUMPDEST 000003a7: PUSH2 0x075c 000003aa: PUSH1 0x00 000003ac: SLOAD 000003ad: PUSH1 0x01 000003af: PUSH1 0xa0 000003b1: PUSH1 0x02 000003b3: EXP 000003b4: SUB 000003b5: AND 000003b6: DUP2 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH1 0x40 000003bb: DUP1 000003bc: MLOAD 000003bd: PUSH1 0x20 000003bf: PUSH1 0x44 000003c1: CALLDATALOAD 000003c2: PUSH1 0x04 000003c4: DUP2 000003c5: DUP2 000003c6: ADD 000003c7: CALLDATALOAD 000003c8: PUSH1 0x1f 000003ca: DUP2 000003cb: ADD 000003cc: DUP5 000003cd: SWAP1 000003ce: DIV 000003cf: DUP5 000003d0: MUL 000003d1: DUP6 000003d2: ADD 000003d3: DUP5 000003d4: ADD 000003d5: SWAP1 000003d6: SWAP6 000003d7: MSTORE 000003d8: DUP5 000003d9: DUP5 000003da: MSTORE 000003db: PUSH2 0x074a 000003de: SWAP5 000003df: DUP2 000003e0: CALLDATALOAD 000003e1: SWAP5 000003e2: PUSH1 0x24 000003e4: DUP1 000003e5: CALLDATALOAD 000003e6: SWAP6 000003e7: SWAP4 000003e8: SWAP5 000003e9: PUSH1 0x64 000003eb: SWAP5 000003ec: SWAP3 000003ed: SWAP4 000003ee: SWAP2 000003ef: ADD 000003f0: SWAP2 000003f1: DUP2 000003f2: SWAP1 000003f3: DUP5 000003f4: ADD 000003f5: DUP4 000003f6: DUP3 000003f7: DUP1 000003f8: DUP3 000003f9: DUP5 000003fa: CALLDATACOPY 000003fb: POP 000003fc: POP 000003fd: PUSH1 0x40 000003ff: DUP1 00000400: MLOAD 00000401: PUSH1 0x20 00000403: SWAP8 00000404: CALLDATALOAD 00000405: DUP1 00000406: DUP11 00000407: ADD 00000408: CALLDATALOAD 00000409: PUSH1 0x1f 0000040b: DUP2 0000040c: ADD 0000040d: DUP11 0000040e: SWAP1 0000040f: DIV 00000410: DUP11 00000411: MUL 00000412: DUP4 00000413: ADD 00000414: DUP11 00000415: ADD 00000416: SWAP1 00000417: SWAP4 00000418: MSTORE 00000419: DUP3 0000041a: DUP3 0000041b: MSTORE 0000041c: SWAP7 0000041d: SWAP9 0000041e: SWAP8 0000041f: PUSH1 0x84 00000421: SWAP8 00000422: SWAP2 00000423: SWAP7 00000424: POP 00000425: PUSH1 0x24 00000427: SWAP1 00000428: SWAP2 00000429: ADD 0000042a: SWAP5 0000042b: POP 0000042c: SWAP1 0000042d: SWAP3 0000042e: POP 0000042f: DUP3 00000430: SWAP2 00000431: POP 00000432: DUP5 00000433: ADD 00000434: DUP4 00000435: DUP3 00000436: DUP1 00000437: DUP3 00000438: DUP5 00000439: CALLDATACOPY 0000043a: POP 0000043b: SWAP5 0000043c: SWAP7 0000043d: POP 0000043e: POP 0000043f: POP 00000440: POP 00000441: POP 00000442: POP 00000443: POP 00000444: PUSH1 0x06 00000446: SLOAD 00000447: PUSH1 0x40 00000449: DUP1 0000044a: MLOAD 0000044b: PUSH1 0xe0 0000044d: PUSH1 0x02 0000044f: EXP 00000450: PUSH4 0x70a08231 00000455: MUL 00000456: DUP2 00000457: MSTORE 00000458: CALLER 00000459: PUSH1 0x01 0000045b: PUSH1 0xa0 0000045d: PUSH1 0x02 0000045f: EXP 00000460: SUB 00000461: SWAP1 00000462: DUP2 00000463: AND 00000464: PUSH1 0x04 00000466: DUP4 00000467: ADD 00000468: MSTORE 00000469: SWAP2 0000046a: MLOAD 0000046b: PUSH1 0x00 0000046d: SWAP4 0000046e: DUP5 0000046f: SWAP4 00000470: AND 00000471: SWAP2 00000472: PUSH4 0x70a08231 00000477: SWAP2 00000478: PUSH1 0x24 0000047a: DUP3 0000047b: DUP2 0000047c: ADD 0000047d: SWAP3 0000047e: PUSH1 0x20 00000480: SWAP3 00000481: SWAP2 00000482: SWAP1 00000483: DUP3 00000484: SWAP1 00000485: SUB 00000486: ADD 00000487: DUP2 00000488: DUP8 00000489: DUP8 0000048a: PUSH2 0x61da 0000048d: GAS 0000048e: SUB 0000048f: CALL 00000490: ISZERO 00000491: PUSH2 0x0002 00000494: JUMPI 00000495: POP 00000496: POP 00000497: PUSH1 0x40 00000499: MLOAD 0000049a: MLOAD 0000049b: DUP3 0000049c: EQ 0000049d: ISZERO 0000049e: SWAP1 0000049f: POP 000004a0: PUSH2 0x09a6 000004a3: JUMPI 000004a4: PUSH2 0x0002 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH2 0x074a 000004ac: PUSH1 0x04 000004ae: CALLDATALOAD 000004af: PUSH1 0x24 000004b1: CALLDATALOAD 000004b2: PUSH1 0x06 000004b4: SLOAD 000004b5: PUSH1 0x40 000004b7: DUP1 000004b8: MLOAD 000004b9: PUSH1 0xe0 000004bb: PUSH1 0x02 000004bd: EXP 000004be: PUSH4 0x70a08231 000004c3: MUL 000004c4: DUP2 000004c5: MSTORE 000004c6: CALLER 000004c7: PUSH1 0x01 000004c9: PUSH1 0xa0 000004cb: PUSH1 0x02 000004cd: EXP 000004ce: SUB 000004cf: SWAP1 000004d0: DUP2 000004d1: AND 000004d2: PUSH1 0x04 000004d4: DUP4 000004d5: ADD 000004d6: MSTORE 000004d7: SWAP2 000004d8: MLOAD 000004d9: PUSH1 0x00 000004db: SWAP4 000004dc: DUP5 000004dd: SWAP4 000004de: AND 000004df: SWAP2 000004e0: PUSH4 0x70a08231 000004e5: SWAP2 000004e6: PUSH1 0x24 000004e8: DUP3 000004e9: DUP2 000004ea: ADD 000004eb: SWAP3 000004ec: PUSH1 0x20 000004ee: SWAP3 000004ef: SWAP2 000004f0: SWAP1 000004f1: DUP3 000004f2: SWAP1 000004f3: SUB 000004f4: ADD 000004f5: DUP2 000004f6: DUP8 000004f7: DUP8 000004f8: PUSH2 0x61da 000004fb: GAS 000004fc: SUB 000004fd: CALL 000004fe: ISZERO 000004ff: PUSH2 0x0002 00000502: JUMPI 00000503: POP 00000504: POP 00000505: PUSH1 0x40 00000507: MLOAD 00000508: MLOAD 00000509: DUP3 0000050a: EQ 0000050b: ISZERO 0000050c: SWAP1 0000050d: POP 0000050e: PUSH2 0x0b89 00000511: JUMPI 00000512: PUSH2 0x0002 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH1 0x40 00000519: DUP1 0000051a: MLOAD 0000051b: PUSH1 0x20 0000051d: PUSH1 0x64 0000051f: CALLDATALOAD 00000520: PUSH1 0x04 00000522: DUP2 00000523: DUP2 00000524: ADD 00000525: CALLDATALOAD 00000526: PUSH1 0x1f 00000528: DUP2 00000529: ADD 0000052a: DUP5 0000052b: SWAP1 0000052c: DIV 0000052d: DUP5 0000052e: MUL 0000052f: DUP6 00000530: ADD 00000531: DUP5 00000532: ADD 00000533: SWAP1 00000534: SWAP6 00000535: MSTORE 00000536: DUP5 00000537: DUP5 00000538: MSTORE 00000539: PUSH2 0x074a 0000053c: SWAP5 0000053d: DUP2 0000053e: CALLDATALOAD 0000053f: SWAP5 00000540: PUSH1 0x24 00000542: DUP1 00000543: CALLDATALOAD 00000544: SWAP6 00000545: PUSH1 0x44 00000547: CALLDATALOAD 00000548: SWAP6 00000549: PUSH1 0x84 0000054b: SWAP5 0000054c: SWAP3 0000054d: ADD 0000054e: SWAP2 0000054f: SWAP1 00000550: DUP2 00000551: SWAP1 00000552: DUP5 00000553: ADD 00000554: DUP4 00000555: DUP3 00000556: DUP1 00000557: DUP3 00000558: DUP5 00000559: CALLDATACOPY 0000055a: POP 0000055b: SWAP5 0000055c: SWAP7 0000055d: POP 0000055e: POP 0000055f: POP 00000560: POP 00000561: POP 00000562: POP 00000563: POP 00000564: PUSH1 0x00 00000566: PUSH1 0x00 00000568: PUSH1 0x04 0000056a: PUSH1 0x00 0000056c: POP 0000056d: DUP7 0000056e: DUP2 0000056f: SLOAD 00000570: DUP2 00000571: LT 00000572: ISZERO 00000573: PUSH2 0x0002 00000576: JUMPI 00000577: SWAP1 00000578: DUP3 00000579: MSTORE 0000057a: PUSH1 0x09 0000057c: MUL 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: MLOAD 00000581: PUSH1 0x20 00000583: PUSH2 0x0ef6 00000586: DUP4 00000587: CODECOPY 00000588: DUP2 00000589: MLOAD 0000058a: SWAP2 0000058b: MSTORE 0000058c: ADD 0000058d: DUP2 0000058e: POP 0000058f: SWAP1 00000590: POP 00000591: DUP5 00000592: DUP5 00000593: DUP5 00000594: PUSH1 0x40 00000596: MLOAD 00000597: DUP1 00000598: DUP5 00000599: PUSH1 0x01 0000059b: PUSH1 0xa0 0000059d: PUSH1 0x02 0000059f: EXP 000005a0: SUB 000005a1: AND 000005a2: PUSH1 0x60 000005a4: PUSH1 0x02 000005a6: EXP 000005a7: MUL 000005a8: DUP2 000005a9: MSTORE 000005aa: PUSH1 0x14 000005ac: ADD 000005ad: DUP4 000005ae: DUP2 000005af: MSTORE 000005b0: PUSH1 0x20 000005b2: ADD 000005b3: DUP3 000005b4: DUP1 000005b5: MLOAD 000005b6: SWAP1 000005b7: PUSH1 0x20 000005b9: ADD 000005ba: SWAP1 000005bb: DUP1 000005bc: DUP4 000005bd: DUP4 000005be: DUP3 000005bf: SWAP1 000005c0: PUSH1 0x00 000005c2: PUSH1 0x04 000005c4: PUSH1 0x20 000005c6: DUP5 000005c7: PUSH1 0x1f 000005c9: ADD 000005ca: DIV 000005cb: PUSH1 0x0f 000005cd: MUL 000005ce: PUSH1 0x03 000005d0: ADD 000005d1: CALL 000005d2: POP 000005d3: SWAP1 000005d4: POP 000005d5: ADD 000005d6: SWAP4 000005d7: POP 000005d8: POP 000005d9: POP 000005da: POP 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: DUP1 000005df: SWAP2 000005e0: SUB 000005e1: SWAP1 000005e2: KECCAK256 000005e3: DUP2 000005e4: PUSH1 0x06 000005e6: ADD 000005e7: PUSH1 0x00 000005e9: POP 000005ea: SLOAD 000005eb: EQ 000005ec: SWAP2 000005ed: POP 000005ee: PUSH2 0x099d 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH2 0x00a3 000005f6: PUSH1 0x04 000005f8: CALLDATALOAD 000005f9: PUSH1 0x00 000005fb: SLOAD 000005fc: CALLER 000005fd: PUSH1 0x01 000005ff: PUSH1 0xa0 00000601: PUSH1 0x02 00000603: EXP 00000604: SUB 00000605: SWAP1 00000606: DUP2 00000607: AND 00000608: SWAP2 00000609: AND 0000060a: EQ 0000060b: PUSH2 0x0779 0000060e: JUMPI 0000060f: PUSH2 0x0002 00000612: JUMP 00000613: JUMPDEST 00000614: PUSH1 0x40 00000616: DUP1 00000617: MLOAD 00000618: PUSH1 0x01 0000061a: PUSH1 0xa0 0000061c: PUSH1 0x02 0000061e: EXP 0000061f: SUB 00000620: DUP11 00000621: AND 00000622: DUP2 00000623: MSTORE 00000624: PUSH1 0x20 00000626: DUP2 00000627: ADD 00000628: DUP10 00000629: SWAP1 0000062a: MSTORE 0000062b: PUSH1 0x60 0000062d: DUP2 0000062e: ADD 0000062f: DUP8 00000630: SWAP1 00000631: MSTORE 00000632: PUSH1 0x80 00000634: DUP2 00000635: ADD 00000636: DUP7 00000637: SWAP1 00000638: MSTORE 00000639: PUSH1 0xa0 0000063b: DUP2 0000063c: ADD 0000063d: DUP6 0000063e: SWAP1 0000063f: MSTORE 00000640: PUSH1 0xc0 00000642: DUP2 00000643: ADD 00000644: DUP5 00000645: SWAP1 00000646: MSTORE 00000647: PUSH1 0xe0 00000649: DUP2 0000064a: ADD 0000064b: DUP4 0000064c: SWAP1 0000064d: MSTORE 0000064e: PUSH2 0x0100 00000651: SWAP2 00000652: DUP2 00000653: ADD 00000654: DUP3 00000655: DUP2 00000656: MSTORE 00000657: DUP9 00000658: SLOAD 00000659: PUSH1 0x02 0000065b: PUSH1 0x01 0000065d: DUP3 0000065e: AND 0000065f: ISZERO 00000660: DUP6 00000661: MUL 00000662: PUSH1 0x00 00000664: NOT 00000665: ADD 00000666: SWAP1 00000667: SWAP2 00000668: AND 00000669: DIV 0000066a: SWAP3 0000066b: DUP3 0000066c: ADD 0000066d: DUP4 0000066e: SWAP1 0000066f: MSTORE 00000670: SWAP1 00000671: SWAP2 00000672: PUSH2 0x0120 00000675: DUP4 00000676: ADD 00000677: SWAP1 00000678: DUP10 00000679: SWAP1 0000067a: DUP1 0000067b: ISZERO 0000067c: PUSH2 0x06c6 0000067f: JUMPI 00000680: DUP1 00000681: PUSH1 0x1f 00000683: LT 00000684: PUSH2 0x069b 00000687: JUMPI 00000688: PUSH2 0x0100 0000068b: DUP1 0000068c: DUP4 0000068d: SLOAD 0000068e: DIV 0000068f: MUL 00000690: DUP4 00000691: MSTORE 00000692: SWAP2 00000693: PUSH1 0x20 00000695: ADD 00000696: SWAP2 00000697: PUSH2 0x06c6 0000069a: JUMP 0000069b: JUMPDEST 0000069c: DUP3 0000069d: ADD 0000069e: SWAP2 0000069f: SWAP1 000006a0: PUSH1 0x00 000006a2: MSTORE 000006a3: PUSH1 0x20 000006a5: PUSH1 0x00 000006a7: KECCAK256 000006a8: SWAP1 000006a9: JUMPDEST 000006aa: DUP2 000006ab: SLOAD 000006ac: DUP2 000006ad: MSTORE 000006ae: SWAP1 000006af: PUSH1 0x01 000006b1: ADD 000006b2: SWAP1 000006b3: PUSH1 0x20 000006b5: ADD 000006b6: DUP1 000006b7: DUP4 000006b8: GT 000006b9: PUSH2 0x06a9 000006bc: JUMPI 000006bd: DUP3 000006be: SWAP1 000006bf: SUB 000006c0: PUSH1 0x1f 000006c2: AND 000006c3: DUP3 000006c4: ADD 000006c5: SWAP2 000006c6: JUMPDEST 000006c7: POP 000006c8: POP 000006c9: SWAP10 000006ca: POP 000006cb: POP 000006cc: POP 000006cd: POP 000006ce: POP 000006cf: POP 000006d0: POP 000006d1: POP 000006d2: POP 000006d3: POP 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: DUP1 000006d8: SWAP2 000006d9: SUB 000006da: SWAP1 000006db: RETURN 000006dc: JUMPDEST 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: DUP1 000006e1: DUP1 000006e2: PUSH1 0x20 000006e4: ADD 000006e5: DUP3 000006e6: DUP2 000006e7: SUB 000006e8: DUP3 000006e9: MSTORE 000006ea: DUP4 000006eb: DUP2 000006ec: DUP2 000006ed: MLOAD 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x20 000006f2: ADD 000006f3: SWAP2 000006f4: POP 000006f5: DUP1 000006f6: MLOAD 000006f7: SWAP1 000006f8: PUSH1 0x20 000006fa: ADD 000006fb: SWAP1 000006fc: DUP1 000006fd: DUP4 000006fe: DUP4 000006ff: DUP3 00000700: SWAP1 00000701: PUSH1 0x00 00000703: PUSH1 0x04 00000705: PUSH1 0x20 00000707: DUP5 00000708: PUSH1 0x1f 0000070a: ADD 0000070b: DIV 0000070c: PUSH1 0x0f 0000070e: MUL 0000070f: PUSH1 0x03 00000711: ADD 00000712: CALL 00000713: POP 00000714: SWAP1 00000715: POP 00000716: SWAP1 00000717: DUP2 00000718: ADD 00000719: SWAP1 0000071a: PUSH1 0x1f 0000071c: AND 0000071d: DUP1 0000071e: ISZERO 0000071f: PUSH2 0x073c 00000722: JUMPI 00000723: DUP1 00000724: DUP3 00000725: SUB 00000726: DUP1 00000727: MLOAD 00000728: PUSH1 0x01 0000072a: DUP4 0000072b: PUSH1 0x20 0000072d: SUB 0000072e: PUSH2 0x0100 00000731: EXP 00000732: SUB 00000733: NOT 00000734: AND 00000735: DUP2 00000736: MSTORE 00000737: PUSH1 0x20 00000739: ADD 0000073a: SWAP2 0000073b: POP 0000073c: JUMPDEST 0000073d: POP 0000073e: SWAP3 0000073f: POP 00000740: POP 00000741: POP 00000742: PUSH1 0x40 00000744: MLOAD 00000745: DUP1 00000746: SWAP2 00000747: SUB 00000748: SWAP1 00000749: RETURN 0000074a: JUMPDEST 0000074b: PUSH1 0x40 0000074d: DUP1 0000074e: MLOAD 0000074f: SWAP2 00000750: DUP3 00000751: MSTORE 00000752: MLOAD 00000753: SWAP1 00000754: DUP2 00000755: SWAP1 00000756: SUB 00000757: PUSH1 0x20 00000759: ADD 0000075a: SWAP1 0000075b: RETURN 0000075c: JUMPDEST 0000075d: PUSH1 0x40 0000075f: DUP1 00000760: MLOAD 00000761: PUSH1 0x01 00000763: PUSH1 0xa0 00000765: PUSH1 0x02 00000767: EXP 00000768: SUB 00000769: SWAP3 0000076a: SWAP1 0000076b: SWAP3 0000076c: AND 0000076d: DUP3 0000076e: MSTORE 0000076f: MLOAD 00000770: SWAP1 00000771: DUP2 00000772: SWAP1 00000773: SUB 00000774: PUSH1 0x20 00000776: ADD 00000777: SWAP1 00000778: RETURN 00000779: JUMPDEST 0000077a: PUSH1 0x00 0000077c: DUP1 0000077d: SLOAD 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: PUSH1 0x02 00000784: EXP 00000785: SUB 00000786: NOT 00000787: AND 00000788: DUP3 00000789: OR 0000078a: SWAP1 0000078b: SSTORE 0000078c: POP 0000078d: JUMP 0000078e: JUMPDEST 0000078f: DUP3 00000790: ADD 00000791: SWAP2 00000792: SWAP1 00000793: PUSH1 0x00 00000795: MSTORE 00000796: PUSH1 0x20 00000798: PUSH1 0x00 0000079a: KECCAK256 0000079b: SWAP1 0000079c: JUMPDEST 0000079d: DUP2 0000079e: SLOAD 0000079f: DUP2 000007a0: MSTORE 000007a1: SWAP1 000007a2: PUSH1 0x01 000007a4: ADD 000007a5: SWAP1 000007a6: PUSH1 0x20 000007a8: ADD 000007a9: DUP1 000007aa: DUP4 000007ab: GT 000007ac: PUSH2 0x079c 000007af: JUMPI 000007b0: DUP3 000007b1: SWAP1 000007b2: SUB 000007b3: PUSH1 0x1f 000007b5: AND 000007b6: DUP3 000007b7: ADD 000007b8: SWAP2 000007b9: JUMPDEST 000007ba: POP 000007bb: POP 000007bc: POP 000007bd: POP 000007be: POP 000007bf: DUP2 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x06 000007c4: DUP1 000007c5: SLOAD 000007c6: PUSH1 0x01 000007c8: PUSH1 0xa0 000007ca: PUSH1 0x02 000007cc: EXP 000007cd: SUB 000007ce: NOT 000007cf: AND 000007d0: DUP5 000007d1: OR 000007d2: SWAP1 000007d3: DUP2 000007d4: SWAP1 000007d5: SSTORE 000007d6: PUSH1 0x02 000007d8: DUP4 000007d9: SWAP1 000007da: SSTORE 000007db: PUSH1 0x03 000007dd: DUP3 000007de: SWAP1 000007df: SSTORE 000007e0: PUSH1 0x40 000007e2: DUP1 000007e3: MLOAD 000007e4: DUP5 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x20 000007e9: DUP2 000007ea: ADD 000007eb: DUP5 000007ec: SWAP1 000007ed: MSTORE 000007ee: PUSH1 0x01 000007f0: PUSH1 0xa0 000007f2: PUSH1 0x02 000007f4: EXP 000007f5: SUB 000007f6: SWAP3 000007f7: SWAP1 000007f8: SWAP3 000007f9: AND 000007fa: DUP3 000007fb: DUP3 000007fc: ADD 000007fd: MSTORE 000007fe: MLOAD 000007ff: PUSH32 0x68259880819f96f54b67d672fefc666565de06099c91b57a689a42073ba090c9 00000820: SWAP2 00000821: DUP2 00000822: SWAP1 00000823: SUB 00000824: PUSH1 0x60 00000826: ADD 00000827: SWAP1 00000828: LOG1 00000829: POP 0000082a: POP 0000082b: POP 0000082c: JUMP 0000082d: JUMPDEST 0000082e: POP 0000082f: POP 00000830: DUP6 00000831: DUP6 00000832: DUP5 00000833: PUSH1 0x40 00000835: MLOAD 00000836: DUP1 00000837: DUP5 00000838: PUSH1 0x01 0000083a: PUSH1 0xa0 0000083c: PUSH1 0x02 0000083e: EXP 0000083f: SUB 00000840: AND 00000841: PUSH1 0x60 00000843: PUSH1 0x02 00000845: EXP 00000846: MUL 00000847: DUP2 00000848: MSTORE 00000849: PUSH1 0x14 0000084b: ADD 0000084c: DUP4 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x20 00000851: ADD 00000852: DUP3 00000853: DUP1 00000854: MLOAD 00000855: SWAP1 00000856: PUSH1 0x20 00000858: ADD 00000859: SWAP1 0000085a: DUP1 0000085b: DUP4 0000085c: DUP4 0000085d: DUP3 0000085e: SWAP1 0000085f: PUSH1 0x00 00000861: PUSH1 0x04 00000863: PUSH1 0x20 00000865: DUP5 00000866: PUSH1 0x1f 00000868: ADD 00000869: DIV 0000086a: PUSH1 0x0f 0000086c: MUL 0000086d: PUSH1 0x03 0000086f: ADD 00000870: CALL 00000871: POP 00000872: SWAP1 00000873: POP 00000874: ADD 00000875: SWAP4 00000876: POP 00000877: POP 00000878: POP 00000879: POP 0000087a: PUSH1 0x40 0000087c: MLOAD 0000087d: DUP1 0000087e: SWAP2 0000087f: SUB 00000880: SWAP1 00000881: KECCAK256 00000882: DUP2 00000883: PUSH1 0x06 00000885: ADD 00000886: PUSH1 0x00 00000888: POP 00000889: DUP2 0000088a: SWAP1 0000088b: SSTORE 0000088c: POP 0000088d: PUSH1 0x03 0000088f: PUSH1 0x00 00000891: POP 00000892: SLOAD 00000893: PUSH1 0x3c 00000895: MUL 00000896: TIMESTAMP 00000897: ADD 00000898: DUP2 00000899: PUSH1 0x03 0000089b: ADD 0000089c: PUSH1 0x00 0000089e: POP 0000089f: DUP2 000008a0: SWAP1 000008a1: SSTORE 000008a2: POP 000008a3: PUSH1 0x00 000008a5: DUP2 000008a6: PUSH1 0x04 000008a8: ADD 000008a9: PUSH1 0x00 000008ab: PUSH2 0x0100 000008ae: EXP 000008af: DUP2 000008b0: SLOAD 000008b1: DUP2 000008b2: PUSH1 0xff 000008b4: MUL 000008b5: NOT 000008b6: AND 000008b7: SWAP1 000008b8: DUP4 000008b9: MUL 000008ba: OR 000008bb: SWAP1 000008bc: SSTORE 000008bd: POP 000008be: PUSH1 0x00 000008c0: DUP2 000008c1: PUSH1 0x04 000008c3: ADD 000008c4: PUSH1 0x01 000008c6: PUSH2 0x0100 000008c9: EXP 000008ca: DUP2 000008cb: SLOAD 000008cc: DUP2 000008cd: PUSH1 0xff 000008cf: MUL 000008d0: NOT 000008d1: AND 000008d2: SWAP1 000008d3: DUP4 000008d4: MUL 000008d5: OR 000008d6: SWAP1 000008d7: SSTORE 000008d8: POP 000008d9: PUSH1 0x00 000008db: DUP2 000008dc: PUSH1 0x05 000008de: ADD 000008df: PUSH1 0x00 000008e1: POP 000008e2: DUP2 000008e3: SWAP1 000008e4: SSTORE 000008e5: POP 000008e6: PUSH32 0x646fec02522b41e7125cfc859a64fd4f4cefd5dc3b6237ca0abe251ded1fa881 00000907: DUP3 00000908: DUP8 00000909: DUP8 0000090a: DUP8 0000090b: PUSH1 0x40 0000090d: MLOAD 0000090e: DUP1 0000090f: DUP6 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x20 00000914: ADD 00000915: DUP5 00000916: PUSH1 0x01 00000918: PUSH1 0xa0 0000091a: PUSH1 0x02 0000091c: EXP 0000091d: SUB 0000091e: AND 0000091f: DUP2 00000920: MSTORE 00000921: PUSH1 0x20 00000923: ADD 00000924: DUP4 00000925: DUP2 00000926: MSTORE 00000927: PUSH1 0x20 00000929: ADD 0000092a: DUP1 0000092b: PUSH1 0x20 0000092d: ADD 0000092e: DUP3 0000092f: DUP2 00000930: SUB 00000931: DUP3 00000932: MSTORE 00000933: DUP4 00000934: DUP2 00000935: DUP2 00000936: MLOAD 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x20 0000093b: ADD 0000093c: SWAP2 0000093d: POP 0000093e: DUP1 0000093f: MLOAD 00000940: SWAP1 00000941: PUSH1 0x20 00000943: ADD 00000944: SWAP1 00000945: DUP1 00000946: DUP4 00000947: DUP4 00000948: DUP3 00000949: SWAP1 0000094a: PUSH1 0x00 0000094c: PUSH1 0x04 0000094e: PUSH1 0x20 00000950: DUP5 00000951: PUSH1 0x1f 00000953: ADD 00000954: DIV 00000955: PUSH1 0x0f 00000957: MUL 00000958: PUSH1 0x03 0000095a: ADD 0000095b: CALL 0000095c: POP 0000095d: SWAP1 0000095e: POP 0000095f: SWAP1 00000960: DUP2 00000961: ADD 00000962: SWAP1 00000963: PUSH1 0x1f 00000965: AND 00000966: DUP1 00000967: ISZERO 00000968: PUSH2 0x0985 0000096b: JUMPI 0000096c: DUP1 0000096d: DUP3 0000096e: SUB 0000096f: DUP1 00000970: MLOAD 00000971: PUSH1 0x01 00000973: DUP4 00000974: PUSH1 0x20 00000976: SUB 00000977: PUSH2 0x0100 0000097a: EXP 0000097b: SUB 0000097c: NOT 0000097d: AND 0000097e: DUP2 0000097f: MSTORE 00000980: PUSH1 0x20 00000982: ADD 00000983: SWAP2 00000984: POP 00000985: JUMPDEST 00000986: POP 00000987: SWAP6 00000988: POP 00000989: POP 0000098a: POP 0000098b: POP 0000098c: POP 0000098d: POP 0000098e: PUSH1 0x40 00000990: MLOAD 00000991: DUP1 00000992: SWAP2 00000993: SUB 00000994: SWAP1 00000995: LOG1 00000996: PUSH1 0x01 00000998: DUP3 00000999: ADD 0000099a: PUSH1 0x05 0000099c: SSTORE 0000099d: JUMPDEST 0000099e: POP 0000099f: SWAP5 000009a0: SWAP4 000009a1: POP 000009a2: POP 000009a3: POP 000009a4: POP 000009a5: JUMP 000009a6: JUMPDEST 000009a7: PUSH1 0x04 000009a9: DUP1 000009aa: SLOAD 000009ab: PUSH1 0x01 000009ad: DUP2 000009ae: ADD 000009af: DUP1 000009b0: DUP4 000009b1: SSTORE 000009b2: SWAP1 000009b3: SWAP2 000009b4: SWAP1 000009b5: DUP3 000009b6: DUP1 000009b7: ISZERO 000009b8: DUP3 000009b9: SWAP1 000009ba: GT 000009bb: PUSH2 0x09dd 000009be: JUMPI 000009bf: PUSH1 0x09 000009c1: MUL 000009c2: DUP2 000009c3: PUSH1 0x09 000009c5: MUL 000009c6: DUP4 000009c7: PUSH1 0x00 000009c9: MSTORE 000009ca: PUSH1 0x20 000009cc: PUSH1 0x00 000009ce: KECCAK256 000009cf: SWAP2 000009d0: DUP3 000009d1: ADD 000009d2: SWAP2 000009d3: ADD 000009d4: PUSH2 0x09dd 000009d7: SWAP2 000009d8: SWAP1 000009d9: PUSH2 0x0a79 000009dc: JUMP 000009dd: JUMPDEST 000009de: POP 000009df: POP 000009e0: PUSH1 0x04 000009e2: DUP1 000009e3: SLOAD 000009e4: SWAP3 000009e5: SWAP5 000009e6: POP 000009e7: SWAP2 000009e8: DUP5 000009e9: SWAP2 000009ea: POP 000009eb: DUP2 000009ec: LT 000009ed: ISZERO 000009ee: PUSH2 0x0002 000009f1: JUMPI 000009f2: SWAP1 000009f3: PUSH1 0x00 000009f5: MSTORE 000009f6: PUSH1 0x20 000009f8: PUSH1 0x00 000009fa: KECCAK256 000009fb: SWAP1 000009fc: PUSH1 0x09 000009fe: MUL 000009ff: ADD 00000a00: PUSH1 0x00 00000a02: POP 00000a03: DUP1 00000a04: SLOAD 00000a05: PUSH1 0x01 00000a07: PUSH1 0xa0 00000a09: PUSH1 0x02 00000a0b: EXP 00000a0c: SUB 00000a0d: NOT 00000a0e: AND 00000a0f: DUP8 00000a10: OR 00000a11: DUP2 00000a12: SSTORE 00000a13: PUSH1 0x01 00000a15: DUP2 00000a16: DUP2 00000a17: ADD 00000a18: DUP8 00000a19: SWAP1 00000a1a: SSTORE 00000a1b: DUP6 00000a1c: MLOAD 00000a1d: PUSH1 0x02 00000a1f: DUP4 00000a20: DUP2 00000a21: ADD 00000a22: DUP1 00000a23: SLOAD 00000a24: PUSH1 0x00 00000a26: DUP3 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: SWAP1 00000a2c: DUP2 00000a2d: SWAP1 00000a2e: KECCAK256 00000a2f: SWAP7 00000a30: SWAP8 00000a31: POP 00000a32: SWAP2 00000a33: SWAP6 00000a34: SWAP5 00000a35: DUP2 00000a36: AND 00000a37: ISZERO 00000a38: PUSH2 0x0100 00000a3b: MUL 00000a3c: PUSH1 0x00 00000a3e: NOT 00000a3f: ADD 00000a40: AND 00000a41: SWAP2 00000a42: SWAP1 00000a43: SWAP2 00000a44: DIV 00000a45: PUSH1 0x1f 00000a47: SWAP1 00000a48: DUP2 00000a49: ADD 00000a4a: DUP3 00000a4b: SWAP1 00000a4c: DIV 00000a4d: DUP5 00000a4e: ADD 00000a4f: SWAP4 00000a50: SWAP2 00000a51: DUP10 00000a52: ADD 00000a53: SWAP1 00000a54: DUP4 00000a55: SWAP1 00000a56: LT 00000a57: PUSH2 0x0b59 00000a5a: JUMPI 00000a5b: DUP1 00000a5c: MLOAD 00000a5d: PUSH1 0xff 00000a5f: NOT 00000a60: AND 00000a61: DUP4 00000a62: DUP1 00000a63: ADD 00000a64: OR 00000a65: DUP6 00000a66: SSTORE 00000a67: JUMPDEST 00000a68: POP 00000a69: PUSH2 0x082d 00000a6c: SWAP3 00000a6d: SWAP2 00000a6e: POP 00000a6f: PUSH2 0x0b41 00000a72: JUMP 00000a73: JUMPDEST 00000a74: POP 00000a75: POP 00000a76: PUSH1 0x01 00000a78: ADD 00000a79: JUMPDEST 00000a7a: DUP1 00000a7b: DUP3 00000a7c: GT 00000a7d: ISZERO 00000a7e: PUSH2 0x0b55 00000a81: JUMPI 00000a82: DUP1 00000a83: SLOAD 00000a84: PUSH1 0x01 00000a86: PUSH1 0xa0 00000a88: PUSH1 0x02 00000a8a: EXP 00000a8b: SUB 00000a8c: NOT 00000a8d: AND 00000a8e: DUP2 00000a8f: SSTORE 00000a90: PUSH1 0x00 00000a92: PUSH1 0x01 00000a94: DUP3 00000a95: DUP2 00000a96: ADD 00000a97: DUP3 00000a98: SWAP1 00000a99: SSTORE 00000a9a: PUSH1 0x02 00000a9c: DUP4 00000a9d: DUP2 00000a9e: ADD 00000a9f: DUP1 00000aa0: SLOAD 00000aa1: DUP5 00000aa2: DUP3 00000aa3: SSTORE 00000aa4: SWAP1 00000aa5: SWAP3 00000aa6: DUP2 00000aa7: AND 00000aa8: ISZERO 00000aa9: PUSH2 0x0100 00000aac: MUL 00000aad: PUSH1 0x00 00000aaf: NOT 00000ab0: ADD 00000ab1: AND 00000ab2: DIV 00000ab3: PUSH1 0x1f 00000ab5: DUP2 00000ab6: SWAP1 00000ab7: LT 00000ab8: PUSH2 0x0b27 00000abb: JUMPI 00000abc: POP 00000abd: JUMPDEST 00000abe: POP 00000abf: PUSH1 0x00 00000ac1: PUSH1 0x03 00000ac3: DUP4 00000ac4: ADD 00000ac5: DUP2 00000ac6: SWAP1 00000ac7: SSTORE 00000ac8: PUSH1 0x04 00000aca: DUP4 00000acb: ADD 00000acc: DUP1 00000acd: SLOAD 00000ace: PUSH2 0xffff 00000ad1: NOT 00000ad2: AND 00000ad3: SWAP1 00000ad4: SSTORE 00000ad5: PUSH1 0x05 00000ad7: DUP4 00000ad8: ADD 00000ad9: DUP2 00000ada: SWAP1 00000adb: SSTORE 00000adc: PUSH1 0x06 00000ade: DUP4 00000adf: ADD 00000ae0: DUP2 00000ae1: SWAP1 00000ae2: SSTORE 00000ae3: PUSH1 0x07 00000ae5: DUP4 00000ae6: ADD 00000ae7: DUP1 00000ae8: SLOAD 00000ae9: DUP3 00000aea: DUP3 00000aeb: SSTORE 00000aec: SWAP1 00000aed: DUP3 00000aee: MSTORE 00000aef: PUSH1 0x20 00000af1: SWAP1 00000af2: SWAP2 00000af3: KECCAK256 00000af4: PUSH2 0x0a73 00000af7: SWAP2 00000af8: DUP2 00000af9: ADD 00000afa: SWAP1 00000afb: JUMPDEST 00000afc: DUP1 00000afd: DUP3 00000afe: GT 00000aff: ISZERO 00000b00: PUSH2 0x0b55 00000b03: JUMPI 00000b04: DUP1 00000b05: SLOAD 00000b06: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff 00000b1c: NOT 00000b1d: AND 00000b1e: DUP2 00000b1f: SSTORE 00000b20: PUSH1 0x01 00000b22: ADD 00000b23: PUSH2 0x0afb 00000b26: JUMP 00000b27: JUMPDEST 00000b28: PUSH1 0x1f 00000b2a: ADD 00000b2b: PUSH1 0x20 00000b2d: SWAP1 00000b2e: DIV 00000b2f: SWAP1 00000b30: PUSH1 0x00 00000b32: MSTORE 00000b33: PUSH1 0x20 00000b35: PUSH1 0x00 00000b37: KECCAK256 00000b38: SWAP1 00000b39: DUP2 00000b3a: ADD 00000b3b: SWAP1 00000b3c: PUSH2 0x0abd 00000b3f: SWAP2 00000b40: SWAP1 00000b41: JUMPDEST 00000b42: DUP1 00000b43: DUP3 00000b44: GT 00000b45: ISZERO 00000b46: PUSH2 0x0b55 00000b49: JUMPI 00000b4a: PUSH1 0x00 00000b4c: DUP2 00000b4d: SSTORE 00000b4e: PUSH1 0x01 00000b50: ADD 00000b51: PUSH2 0x0b41 00000b54: JUMP 00000b55: JUMPDEST 00000b56: POP 00000b57: SWAP1 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: DUP3 00000b5b: DUP1 00000b5c: ADD 00000b5d: PUSH1 0x01 00000b5f: ADD 00000b60: DUP6 00000b61: SSTORE 00000b62: DUP3 00000b63: ISZERO 00000b64: PUSH2 0x0a67 00000b67: JUMPI 00000b68: SWAP2 00000b69: DUP3 00000b6a: ADD 00000b6b: JUMPDEST 00000b6c: DUP3 00000b6d: DUP2 00000b6e: GT 00000b6f: ISZERO 00000b70: PUSH2 0x0a67 00000b73: JUMPI 00000b74: DUP3 00000b75: MLOAD 00000b76: DUP3 00000b77: PUSH1 0x00 00000b79: POP 00000b7a: SSTORE 00000b7b: SWAP2 00000b7c: PUSH1 0x20 00000b7e: ADD 00000b7f: SWAP2 00000b80: SWAP1 00000b81: PUSH1 0x01 00000b83: ADD 00000b84: SWAP1 00000b85: PUSH2 0x0b6b 00000b88: JUMP 00000b89: JUMPDEST 00000b8a: PUSH1 0x04 00000b8c: DUP1 00000b8d: SLOAD 00000b8e: DUP6 00000b8f: SWAP1 00000b90: DUP2 00000b91: LT 00000b92: ISZERO 00000b93: PUSH2 0x0002 00000b96: JUMPI 00000b97: PUSH1 0x00 00000b99: SWAP2 00000b9a: DUP3 00000b9b: MSTORE 00000b9c: PUSH1 0x09 00000b9e: MUL 00000b9f: PUSH1 0x00 00000ba1: DUP1 00000ba2: MLOAD 00000ba3: PUSH1 0x20 00000ba5: PUSH2 0x0ef6 00000ba8: DUP4 00000ba9: CODECOPY 00000baa: DUP2 00000bab: MLOAD 00000bac: SWAP2 00000bad: MSTORE 00000bae: ADD 00000baf: SWAP1 00000bb0: POP 00000bb1: CALLER 00000bb2: PUSH1 0x01 00000bb4: PUSH1 0xa0 00000bb6: PUSH1 0x02 00000bb8: EXP 00000bb9: SUB 00000bba: AND 00000bbb: PUSH1 0x00 00000bbd: SWAP1 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: PUSH1 0x08 00000bc2: DUP3 00000bc3: ADD 00000bc4: PUSH1 0x20 00000bc6: MSTORE 00000bc7: PUSH1 0x40 00000bc9: SWAP1 00000bca: KECCAK256 00000bcb: SLOAD 00000bcc: SWAP1 00000bcd: SWAP2 00000bce: POP 00000bcf: PUSH1 0xff 00000bd1: AND 00000bd2: PUSH1 0x01 00000bd4: EQ 00000bd5: ISZERO 00000bd6: PUSH2 0x0bde 00000bd9: JUMPI 00000bda: PUSH2 0x0002 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: PUSH1 0x07 00000be1: DUP2 00000be2: ADD 00000be3: DUP1 00000be4: SLOAD 00000be5: PUSH1 0x01 00000be7: DUP2 00000be8: ADD 00000be9: DUP1 00000bea: DUP4 00000beb: SSTORE 00000bec: SWAP1 00000bed: SWAP2 00000bee: SWAP1 00000bef: DUP3 00000bf0: DUP1 00000bf1: ISZERO 00000bf2: DUP3 00000bf3: SWAP1 00000bf4: GT 00000bf5: PUSH2 0x0c0f 00000bf8: JUMPI 00000bf9: PUSH1 0x00 00000bfb: DUP4 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: PUSH1 0x20 00000c00: SWAP1 00000c01: KECCAK256 00000c02: PUSH2 0x0c0f 00000c05: SWAP2 00000c06: DUP2 00000c07: ADD 00000c08: SWAP1 00000c09: DUP4 00000c0a: ADD 00000c0b: PUSH2 0x0afb 00000c0e: JUMP 00000c0f: JUMPDEST 00000c10: POP 00000c11: POP 00000c12: PUSH1 0x40 00000c14: DUP1 00000c15: MLOAD 00000c16: DUP1 00000c17: DUP3 00000c18: ADD 00000c19: SWAP1 00000c1a: SWAP2 00000c1b: MSTORE 00000c1c: DUP6 00000c1d: DUP2 00000c1e: MSTORE 00000c1f: CALLER 00000c20: PUSH1 0x20 00000c22: DUP3 00000c23: ADD 00000c24: MSTORE 00000c25: PUSH1 0x07 00000c27: DUP5 00000c28: ADD 00000c29: DUP1 00000c2a: SLOAD 00000c2b: SWAP4 00000c2c: SWAP6 00000c2d: POP 00000c2e: SWAP1 00000c2f: SWAP3 00000c30: SWAP1 00000c31: SWAP2 00000c32: POP 00000c33: DUP5 00000c34: SWAP1 00000c35: DUP2 00000c36: LT 00000c37: ISZERO 00000c38: PUSH2 0x0002 00000c3b: JUMPI 00000c3c: SWAP1 00000c3d: PUSH1 0x00 00000c3f: MSTORE 00000c40: PUSH1 0x20 00000c42: PUSH1 0x00 00000c44: KECCAK256 00000c45: SWAP1 00000c46: ADD 00000c47: PUSH1 0x00 00000c49: POP 00000c4a: DUP2 00000c4b: MLOAD 00000c4c: DUP2 00000c4d: SLOAD 00000c4e: PUSH1 0x20 00000c50: SWAP4 00000c51: DUP5 00000c52: ADD 00000c53: MLOAD 00000c54: PUSH2 0x0100 00000c57: MUL 00000c58: PUSH1 0xff 00000c5a: NOT 00000c5b: SWAP2 00000c5c: DUP3 00000c5d: AND 00000c5e: SWAP1 00000c5f: SWAP3 00000c60: OR 00000c61: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00 00000c77: NOT 00000c78: AND 00000c79: SWAP2 00000c7a: SWAP1 00000c7b: SWAP2 00000c7c: OR 00000c7d: SWAP1 00000c7e: SWAP2 00000c7f: SSTORE 00000c80: CALLER 00000c81: PUSH1 0x01 00000c83: PUSH1 0xa0 00000c85: PUSH1 0x02 00000c87: EXP 00000c88: SUB 00000c89: AND 00000c8a: PUSH1 0x00 00000c8c: DUP2 00000c8d: DUP2 00000c8e: MSTORE 00000c8f: PUSH1 0x08 00000c91: DUP6 00000c92: ADD 00000c93: DUP5 00000c94: MSTORE 00000c95: PUSH1 0x40 00000c97: SWAP1 00000c98: DUP2 00000c99: SWAP1 00000c9a: KECCAK256 00000c9b: DUP1 00000c9c: SLOAD 00000c9d: SWAP1 00000c9e: SWAP4 00000c9f: AND 00000ca0: PUSH1 0x01 00000ca2: SWAP1 00000ca3: DUP2 00000ca4: OR 00000ca5: SWAP1 00000ca6: SWAP4 00000ca7: SSTORE 00000ca8: SWAP2 00000ca9: DUP6 00000caa: ADD 00000cab: PUSH1 0x05 00000cad: DUP6 00000cae: ADD 00000caf: SSTORE 00000cb0: DUP2 00000cb1: MLOAD 00000cb2: DUP8 00000cb3: DUP2 00000cb4: MSTORE 00000cb5: SWAP3 00000cb6: DUP4 00000cb7: ADD 00000cb8: DUP7 00000cb9: SWAP1 00000cba: MSTORE 00000cbb: DUP3 00000cbc: DUP3 00000cbd: ADD 00000cbe: MSTORE 00000cbf: MLOAD 00000cc0: PUSH32 0x86abfce99b7dd908bec0169288797f85049ec73cbe046ed9de818fab3a497ae0 00000ce1: SWAP2 00000ce2: DUP2 00000ce3: SWAP1 00000ce4: SUB 00000ce5: PUSH1 0x60 00000ce7: ADD 00000ce8: SWAP1 00000ce9: LOG1 00000cea: POP 00000ceb: SWAP3 00000cec: SWAP2 00000ced: POP 00000cee: POP 00000cef: JUMP 00000cf0: JUMPDEST 00000cf1: PUSH1 0x00 00000cf3: SWAP6 00000cf4: POP 00000cf5: PUSH1 0x00 00000cf7: SWAP5 00000cf8: POP 00000cf9: PUSH1 0x00 00000cfb: SWAP4 00000cfc: POP 00000cfd: PUSH1 0x00 00000cff: SWAP3 00000d00: POP 00000d01: JUMPDEST 00000d02: PUSH1 0x07 00000d04: DUP8 00000d05: ADD 00000d06: SLOAD 00000d07: DUP4 00000d08: LT 00000d09: ISZERO 00000d0a: PUSH2 0x0da4 00000d0d: JUMPI 00000d0e: PUSH1 0x07 00000d10: DUP8 00000d11: ADD 00000d12: DUP1 00000d13: SLOAD 00000d14: DUP5 00000d15: SWAP1 00000d16: DUP2 00000d17: LT 00000d18: ISZERO 00000d19: PUSH2 0x0002 00000d1c: JUMPI 00000d1d: SWAP1 00000d1e: PUSH1 0x00 00000d20: MSTORE 00000d21: PUSH1 0x20 00000d23: PUSH1 0x00 00000d25: KECCAK256 00000d26: SWAP1 00000d27: ADD 00000d28: PUSH1 0x00 00000d2a: POP 00000d2b: PUSH1 0x06 00000d2d: SLOAD 00000d2e: PUSH1 0x40 00000d30: DUP1 00000d31: MLOAD 00000d32: DUP4 00000d33: SLOAD 00000d34: PUSH1 0xe0 00000d36: PUSH1 0x02 00000d38: EXP 00000d39: PUSH4 0x70a08231 00000d3e: MUL 00000d3f: DUP3 00000d40: MSTORE 00000d41: PUSH2 0x0100 00000d44: SWAP1 00000d45: DIV 00000d46: PUSH1 0x01 00000d48: PUSH1 0xa0 00000d4a: PUSH1 0x02 00000d4c: EXP 00000d4d: SUB 00000d4e: SWAP1 00000d4f: DUP2 00000d50: AND 00000d51: PUSH1 0x04 00000d53: DUP4 00000d54: ADD 00000d55: MSTORE 00000d56: SWAP2 00000d57: MLOAD 00000d58: SWAP4 00000d59: SWAP6 00000d5a: POP 00000d5b: SWAP2 00000d5c: AND 00000d5d: SWAP2 00000d5e: PUSH4 0x70a08231 00000d63: SWAP2 00000d64: PUSH1 0x24 00000d66: DUP2 00000d67: DUP2 00000d68: ADD 00000d69: SWAP3 00000d6a: PUSH1 0x20 00000d6c: SWAP3 00000d6d: SWAP1 00000d6e: SWAP2 00000d6f: SWAP1 00000d70: DUP3 00000d71: SWAP1 00000d72: SUB 00000d73: ADD 00000d74: DUP2 00000d75: PUSH1 0x00 00000d77: DUP8 00000d78: PUSH2 0x61da 00000d7b: GAS 00000d7c: SUB 00000d7d: CALL 00000d7e: ISZERO 00000d7f: PUSH2 0x0002 00000d82: JUMPI 00000d83: POP 00000d84: POP 00000d85: PUSH1 0x40 00000d87: MLOAD 00000d88: MLOAD 00000d89: DUP4 00000d8a: SLOAD 00000d8b: SWAP8 00000d8c: DUP2 00000d8d: ADD 00000d8e: SWAP8 00000d8f: SWAP1 00000d90: SWAP3 00000d91: POP 00000d92: PUSH1 0xff 00000d94: AND 00000d95: ISZERO 00000d96: SWAP1 00000d97: POP 00000d98: PUSH2 0x0db2 00000d9b: JUMPI 00000d9c: SWAP4 00000d9d: DUP5 00000d9e: ADD 00000d9f: SWAP4 00000da0: PUSH2 0x0db7 00000da3: JUMP 00000da4: JUMPDEST 00000da5: PUSH1 0x02 00000da7: SLOAD 00000da8: DUP7 00000da9: GT 00000daa: PUSH2 0x0dc3 00000dad: JUMPI 00000dae: PUSH2 0x0002 00000db1: JUMP 00000db2: JUMPDEST 00000db3: SWAP3 00000db4: DUP4 00000db5: ADD 00000db6: SWAP3 00000db7: JUMPDEST 00000db8: PUSH1 0x01 00000dba: SWAP3 00000dbb: SWAP1 00000dbc: SWAP3 00000dbd: ADD 00000dbe: SWAP2 00000dbf: PUSH2 0x0d01 00000dc2: JUMP 00000dc3: JUMPDEST 00000dc4: DUP4 00000dc5: DUP6 00000dc6: GT 00000dc7: ISZERO 00000dc8: PUSH2 0x0e82 00000dcb: JUMPI 00000dcc: DUP7 00000dcd: PUSH1 0x00 00000dcf: ADD 00000dd0: PUSH1 0x00 00000dd2: SWAP1 00000dd3: SLOAD 00000dd4: SWAP1 00000dd5: PUSH2 0x0100 00000dd8: EXP 00000dd9: SWAP1 00000dda: DIV 00000ddb: PUSH1 0x01 00000ddd: PUSH1 0xa0 00000ddf: PUSH1 0x02 00000de1: EXP 00000de2: SUB 00000de3: AND 00000de4: PUSH1 0x01 00000de6: PUSH1 0xa0 00000de8: PUSH1 0x02 00000dea: EXP 00000deb: SUB 00000dec: AND 00000ded: DUP8 00000dee: PUSH1 0x01 00000df0: ADD 00000df1: PUSH1 0x00 00000df3: POP 00000df4: SLOAD 00000df5: PUSH8 0x0de0b6b3a7640000 00000dfe: MUL 00000dff: DUP11 00000e00: PUSH1 0x40 00000e02: MLOAD 00000e03: DUP1 00000e04: DUP3 00000e05: DUP1 00000e06: MLOAD 00000e07: SWAP1 00000e08: PUSH1 0x20 00000e0a: ADD 00000e0b: SWAP1 00000e0c: DUP1 00000e0d: DUP4 00000e0e: DUP4 00000e0f: DUP3 00000e10: SWAP1 00000e11: PUSH1 0x00 00000e13: PUSH1 0x04 00000e15: PUSH1 0x20 00000e17: DUP5 00000e18: PUSH1 0x1f 00000e1a: ADD 00000e1b: DIV 00000e1c: PUSH1 0x0f 00000e1e: MUL 00000e1f: PUSH1 0x03 00000e21: ADD 00000e22: CALL 00000e23: POP 00000e24: SWAP1 00000e25: POP 00000e26: SWAP1 00000e27: DUP2 00000e28: ADD 00000e29: SWAP1 00000e2a: PUSH1 0x1f 00000e2c: AND 00000e2d: DUP1 00000e2e: ISZERO 00000e2f: PUSH2 0x0e4c 00000e32: JUMPI 00000e33: DUP1 00000e34: DUP3 00000e35: SUB 00000e36: DUP1 00000e37: MLOAD 00000e38: PUSH1 0x01 00000e3a: DUP4 00000e3b: PUSH1 0x20 00000e3d: SUB 00000e3e: PUSH2 0x0100 00000e41: EXP 00000e42: SUB 00000e43: NOT 00000e44: AND 00000e45: DUP2 00000e46: MSTORE 00000e47: PUSH1 0x20 00000e49: ADD 00000e4a: SWAP2 00000e4b: POP 00000e4c: JUMPDEST 00000e4d: POP 00000e4e: SWAP2 00000e4f: POP 00000e50: POP 00000e51: PUSH1 0x00 00000e53: PUSH1 0x40 00000e55: MLOAD 00000e56: DUP1 00000e57: DUP4 00000e58: SUB 00000e59: DUP2 00000e5a: DUP6 00000e5b: DUP8 00000e5c: PUSH2 0x8502 00000e5f: GAS 00000e60: SUB 00000e61: CALL 00000e62: POP 00000e63: POP 00000e64: POP 00000e65: POP 00000e66: PUSH1 0x04 00000e68: DUP8 00000e69: ADD 00000e6a: DUP1 00000e6b: SLOAD 00000e6c: PUSH1 0xff 00000e6e: NOT 00000e6f: AND 00000e70: PUSH1 0x01 00000e72: OR 00000e73: PUSH2 0xff00 00000e76: NOT 00000e77: AND 00000e78: PUSH2 0x0100 00000e7b: OR 00000e7c: SWAP1 00000e7d: SSTORE 00000e7e: PUSH2 0x0e97 00000e81: JUMP 00000e82: JUMPDEST 00000e83: PUSH1 0x04 00000e85: DUP8 00000e86: ADD 00000e87: DUP1 00000e88: SLOAD 00000e89: PUSH1 0xff 00000e8b: NOT 00000e8c: AND 00000e8d: PUSH1 0x01 00000e8f: OR 00000e90: PUSH2 0xff00 00000e93: NOT 00000e94: AND 00000e95: SWAP1 00000e96: SSTORE 00000e97: JUMPDEST 00000e98: PUSH1 0x04 00000e9a: DUP8 00000e9b: ADD 00000e9c: SLOAD 00000e9d: PUSH1 0x40 00000e9f: DUP1 00000ea0: MLOAD 00000ea1: DUP13 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x20 00000ea6: DUP2 00000ea7: ADD 00000ea8: DUP12 00000ea9: SWAP1 00000eaa: MSTORE 00000eab: DUP1 00000eac: DUP3 00000ead: ADD 00000eae: DUP10 00000eaf: SWAP1 00000eb0: MSTORE 00000eb1: PUSH2 0x0100 00000eb4: SWAP1 00000eb5: SWAP3 00000eb6: DIV 00000eb7: PUSH1 0xff 00000eb9: AND 00000eba: PUSH1 0x60 00000ebc: DUP4 00000ebd: ADD 00000ebe: MSTORE 00000ebf: MLOAD 00000ec0: PUSH32 0xd220b7272a8b6d0d7d6bcdace67b936a8f175e6d5c1b3ee438b72256b32ab3af 00000ee1: SWAP2 00000ee2: DUP2 00000ee3: SWAP1 00000ee4: SUB 00000ee5: PUSH1 0x80 00000ee7: ADD 00000ee8: SWAP1 00000ee9: LOG1 00000eea: POP 00000eeb: POP 00000eec: POP 00000eed: POP 00000eee: POP 00000eef: POP 00000ef0: POP 00000ef1: SWAP3 00000ef2: SWAP2 00000ef3: POP 00000ef4: POP 00000ef5: JUMP 00000ef6: DUP11 00000ef7: CALLDATALOAD 00000ef8: UNKNOWN(0xAC) 00000ef9: UNKNOWN(0xFB) 00000efa: UNKNOWN(0xC1) 00000efb: PUSH0 00000efc: UNKNOWN(0xF8) 00000efd: BYTE 00000efe: CODECOPY 00000eff: UNKNOWN(0xAE) 00000f00: PUSH30
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 | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4bf2a3fd449584885e365e3fcc2aee17f60d67c7fa2ce3786d566f4bfe1acf74
call_targets:
0x50baff7a7940b6f6d45eb0b8ede54480ac1b0f95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4bf2a3fd449584885e365e3fcc2aee17f60d67c7fa2ce3786d566f4bfe1acf74",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x50baff7a7940b6f6d45eb0b8ede54480ac1b0f95"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27ebcf0e",
"selector": "0x27ebcf0e",
"calldata_variants": [
"0x27ebcf0e",
"0x27ebcf0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52091047",
"selector": "0x52091047",
"calldata_variants": [
"0x52091047",
"0x520910470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8160f0b5",
"selector": "0x8160f0b5",
"calldata_variants": [
"0x8160f0b5",
"0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 811,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1167,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1277,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4bf2a3fd449584885e365e3fcc2aee17f60d67c7fa2ce3786d566f4bfe1acf74
call_targets:
0x50baff7a7940b6f6d45eb0b8ede54480ac1b0f95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4bf2a3fd449584885e365e3fcc2aee17f60d67c7fa2ce3786d566f4bfe1acf74",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x50baff7a7940b6f6d45eb0b8ede54480ac1b0f95"
],
"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": "0x013cf08b",
"selector": "0x013cf08b",
"calldata_variants": [
"0x013cf08b",
"0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x237e9492",
"selector": "0x237e9492",
"calldata_variants": [
"0x237e9492",
"0x237e94920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27ebcf0e",
"selector": "0x27ebcf0e",
"calldata_variants": [
"0x27ebcf0e",
"0x27ebcf0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x400e3949",
"selector": "0x400e3949",
"calldata_variants": [
"0x400e3949",
"0x400e39490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52091047",
"selector": "0x52091047",
"calldata_variants": [
"0x52091047",
"0x520910470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69bd3436",
"selector": "0x69bd3436",
"calldata_variants": [
"0x69bd3436",
"0x69bd34360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8160f0b5",
"selector": "0x8160f0b5",
"calldata_variants": [
"0x8160f0b5",
"0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 811,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1167,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1277,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [],
"untrusted_call_count": 10
}
|