019b3836-3340-70c4-897b-f890e800ad18
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 |
|---|---|---|---|---|
| 3073 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3074 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 45732 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 45733 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 45734 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 45735 | 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 0x0106 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x058aace1 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0111 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0d1fce42 00000025: EQ 00000026: PUSH2 0x0121 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x11610c25 00000030: EQ 00000031: PUSH2 0x0136 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x132ae5e9 0000003b: EQ 0000003c: PUSH2 0x0145 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x16d190e3 00000046: EQ 00000047: PUSH2 0x014e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x27dc297e 00000051: EQ 00000052: PUSH2 0x0157 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x337b68ba 0000005c: EQ 0000005d: PUSH2 0x026e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x4e69d560 00000067: EQ 00000068: PUSH2 0x0277 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x66d16cc3 00000072: EQ 00000073: PUSH2 0x0294 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x724ae9d0 0000007d: EQ 0000007e: PUSH2 0x029d 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8ca17995 00000088: EQ 00000089: PUSH2 0x02b9 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x9619367d 00000093: EQ 00000094: PUSH2 0x02cd 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x96f55f53 0000009e: EQ 0000009f: PUSH2 0x02d6 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa96a5a5b 000000a9: EQ 000000aa: PUSH2 0x0424 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xadc2c98a 000000b4: EQ 000000b5: PUSH2 0x042d 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xbc99cc37 000000bf: EQ 000000c0: PUSH2 0x0436 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xcafb2202 000000ca: EQ 000000cb: PUSH2 0x043f 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xcff2bcfe 000000d5: EQ 000000d6: PUSH2 0x0448 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xd4c80edf 000000e0: EQ 000000e1: PUSH2 0x0451 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xdf06f906 000000eb: EQ 000000ec: PUSH2 0x045a 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xe8b5e51f 000000f6: EQ 000000f7: PUSH2 0x0463 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf8b2cb4f 00000101: EQ 00000102: PUSH2 0x0491 00000105: JUMPI 00000106: JUMPDEST 00000107: PUSH2 0x04d2 0000010a: PUSH2 0x0519 0000010d: PUSH2 0x013a 00000110: JUMP 00000111: JUMPDEST 00000112: PUSH2 0x04d2 00000115: PUSH2 0x0519 00000118: CALLER 00000119: PUSH2 0x0d5d 0000011c: CALLER 0000011d: PUSH2 0x0498 00000120: JUMP 00000121: JUMPDEST 00000122: PUSH2 0x051b 00000125: JUMPDEST 00000126: PUSH1 0x0a 00000128: SLOAD 00000129: PUSH1 0x10 0000012b: SLOAD 0000012c: PUSH1 0x0f 0000012e: SLOAD 0000012f: SWAP1 00000130: SWAP2 00000131: ADD 00000132: SUB 00000133: JUMPDEST 00000134: SWAP1 00000135: JUMP 00000136: JUMPDEST 00000137: PUSH2 0x04d2 0000013a: JUMPDEST 0000013b: PUSH2 0x2710 0000013e: PUSH2 0x0574 00000141: PUSH2 0x0125 00000144: JUMP 00000145: JUMPDEST 00000146: PUSH2 0x051b 00000149: PUSH1 0x08 0000014b: SLOAD 0000014c: DUP2 0000014d: JUMP 0000014e: JUMPDEST 0000014f: PUSH2 0x051b 00000152: PUSH1 0x04 00000154: SLOAD 00000155: DUP2 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH1 0x40 0000015a: DUP1 0000015b: MLOAD 0000015c: PUSH1 0x20 0000015e: PUSH1 0x24 00000160: DUP1 00000161: CALLDATALOAD 00000162: PUSH1 0x04 00000164: DUP2 00000165: DUP2 00000166: ADD 00000167: CALLDATALOAD 00000168: PUSH1 0x1f 0000016a: DUP2 0000016b: ADD 0000016c: DUP6 0000016d: SWAP1 0000016e: DIV 0000016f: DUP6 00000170: MUL 00000171: DUP7 00000172: ADD 00000173: DUP6 00000174: ADD 00000175: SWAP1 00000176: SWAP7 00000177: MSTORE 00000178: DUP6 00000179: DUP6 0000017a: MSTORE 0000017b: PUSH2 0x04d2 0000017e: SWAP6 0000017f: DUP2 00000180: CALLDATALOAD 00000181: SWAP6 00000182: SWAP2 00000183: SWAP5 00000184: PUSH1 0x44 00000186: SWAP5 00000187: SWAP3 00000188: SWAP4 00000189: SWAP1 0000018a: SWAP3 0000018b: ADD 0000018c: SWAP2 0000018d: DUP2 0000018e: SWAP1 0000018f: DUP5 00000190: ADD 00000191: DUP4 00000192: DUP3 00000193: DUP1 00000194: DUP3 00000195: DUP5 00000196: CALLDATACOPY 00000197: POP 00000198: SWAP5 00000199: SWAP7 0000019a: POP 0000019b: POP 0000019c: POP 0000019d: POP 0000019e: POP 0000019f: POP 000001a0: POP 000001a1: PUSH1 0x00 000001a3: PUSH2 0x0869 000001a6: PUSH1 0x40 000001a8: DUP1 000001a9: MLOAD 000001aa: PUSH1 0x00 000001ac: DUP1 000001ad: SLOAD 000001ae: PUSH1 0xe0 000001b0: PUSH1 0x02 000001b2: EXP 000001b3: PUSH4 0x38cc4831 000001b8: MUL 000001b9: DUP4 000001ba: MSTORE 000001bb: SWAP3 000001bc: MLOAD 000001bd: SWAP1 000001be: SWAP3 000001bf: PUSH1 0x01 000001c1: PUSH1 0xa0 000001c3: PUSH1 0x02 000001c5: EXP 000001c6: SUB 000001c7: AND 000001c8: SWAP2 000001c9: PUSH4 0x38cc4831 000001ce: SWAP2 000001cf: PUSH1 0x04 000001d1: DUP3 000001d2: DUP2 000001d3: ADD 000001d4: SWAP3 000001d5: PUSH1 0x20 000001d7: SWAP3 000001d8: SWAP2 000001d9: SWAP1 000001da: DUP3 000001db: SWAP1 000001dc: SUB 000001dd: ADD 000001de: DUP2 000001df: DUP8 000001e0: DUP8 000001e1: PUSH2 0x61da 000001e4: GAS 000001e5: SUB 000001e6: CALL 000001e7: ISZERO 000001e8: PUSH2 0x0002 000001eb: JUMPI 000001ec: POP 000001ed: POP 000001ee: PUSH1 0x01 000001f0: DUP1 000001f1: SLOAD 000001f2: PUSH1 0x40 000001f4: DUP1 000001f5: MLOAD 000001f6: DUP1 000001f7: MLOAD 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: PUSH1 0x02 000001fe: EXP 000001ff: SUB 00000200: NOT 00000201: SWAP1 00000202: SWAP4 00000203: AND 00000204: SWAP1 00000205: SWAP3 00000206: OR 00000207: SWAP3 00000208: DUP4 00000209: SWAP1 0000020a: SSTORE 0000020b: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000 0000022c: DUP3 0000022d: MSTORE 0000022e: MLOAD 0000022f: PUSH1 0x01 00000231: PUSH1 0xa0 00000233: PUSH1 0x02 00000235: EXP 00000236: SUB 00000237: SWAP3 00000238: SWAP1 00000239: SWAP3 0000023a: AND 0000023b: SWAP3 0000023c: POP 0000023d: PUSH4 0xc281d19e 00000242: SWAP2 00000243: PUSH1 0x04 00000245: DUP3 00000246: DUP2 00000247: ADD 00000248: SWAP3 00000249: PUSH1 0x20 0000024b: SWAP3 0000024c: SWAP2 0000024d: SWAP1 0000024e: DUP3 0000024f: SWAP1 00000250: SUB 00000251: ADD 00000252: DUP2 00000253: DUP8 00000254: DUP8 00000255: PUSH2 0x61da 00000258: GAS 00000259: SUB 0000025a: CALL 0000025b: ISZERO 0000025c: PUSH2 0x0002 0000025f: JUMPI 00000260: POP 00000261: POP 00000262: PUSH1 0x40 00000264: MLOAD 00000265: MLOAD 00000266: SWAP2 00000267: POP 00000268: PUSH2 0x0133 0000026b: SWAP1 0000026c: POP 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH2 0x051b 00000272: PUSH1 0x10 00000274: SLOAD 00000275: DUP2 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH2 0x052d 0000027b: PUSH1 0x00 0000027d: PUSH1 0x00 0000027f: PUSH1 0x00 00000281: PUSH1 0x00 00000283: PUSH1 0x00 00000285: PUSH1 0x00 00000287: PUSH1 0x00 00000289: PUSH1 0x00 0000028b: PUSH1 0x00 0000028d: PUSH2 0x0e36 00000290: PUSH2 0x0125 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH2 0x051b 00000298: PUSH1 0x0f 0000029a: SLOAD 0000029b: DUP2 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH2 0x051b 000002a1: JUMPDEST 000002a2: PUSH1 0x08 000002a4: SLOAD 000002a5: PUSH1 0x06 000002a7: SLOAD 000002a8: PUSH1 0x00 000002aa: SWAP2 000002ab: DUP3 000002ac: SWAP2 000002ad: DUP3 000002ae: SWAP2 000002af: LT 000002b0: ISZERO 000002b1: PUSH2 0x0d9d 000002b4: JUMPI 000002b5: PUSH2 0x0ddc 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH2 0x04d2 000002bd: PUSH1 0x04 000002bf: CALLDATALOAD 000002c0: PUSH1 0x00 000002c2: CALLVALUE 000002c3: GT 000002c4: ISZERO 000002c5: PUSH2 0x0d2d 000002c8: JUMPI 000002c9: PUSH2 0x0002 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH2 0x051b 000002d1: PUSH1 0x05 000002d3: SLOAD 000002d4: DUP2 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH2 0x04d2 000002da: PUSH1 0x04 000002dc: CALLDATALOAD 000002dd: PUSH1 0x40 000002df: DUP1 000002e0: MLOAD 000002e1: PUSH1 0x01 000002e3: SLOAD 000002e4: PUSH1 0xe0 000002e6: PUSH1 0x02 000002e8: EXP 000002e9: PUSH4 0x524f3889 000002ee: MUL 000002ef: DUP3 000002f0: MSTORE 000002f1: PUSH1 0x20 000002f3: PUSH1 0x04 000002f5: DUP4 000002f6: ADD 000002f7: DUP2 000002f8: SWAP1 000002f9: MSTORE 000002fa: PUSH1 0x03 000002fc: PUSH1 0x24 000002fe: DUP5 000002ff: ADD 00000300: MSTORE 00000301: PUSH1 0xea 00000303: PUSH1 0x02 00000305: EXP 00000306: PUSH3 0x155493 0000030a: MUL 0000030b: PUSH1 0x44 0000030d: DUP5 0000030e: ADD 0000030f: MSTORE 00000310: SWAP3 00000311: MLOAD 00000312: CALLVALUE 00000313: SWAP4 00000314: PUSH1 0x00 00000316: SWAP4 00000317: DUP5 00000318: SWAP4 00000319: PUSH1 0x01 0000031b: PUSH1 0xa0 0000031d: PUSH1 0x02 0000031f: EXP 00000320: SUB 00000321: AND 00000322: SWAP3 00000323: PUSH4 0x524f3889 00000328: SWAP3 00000329: PUSH1 0x64 0000032b: DUP4 0000032c: DUP2 0000032d: ADD 0000032e: SWAP4 0000032f: SWAP2 00000330: SWAP3 00000331: SWAP2 00000332: DUP3 00000333: SWAP1 00000334: SUB 00000335: ADD 00000336: DUP2 00000337: DUP8 00000338: DUP8 00000339: PUSH2 0x61da 0000033c: GAS 0000033d: SUB 0000033e: CALL 0000033f: ISZERO 00000340: PUSH2 0x0002 00000343: JUMPI 00000344: POP 00000345: POP 00000346: PUSH1 0x40 00000348: MLOAD 00000349: MLOAD 0000034a: SWAP3 0000034b: POP 0000034c: POP 0000034d: JUMPDEST 0000034e: DUP4 0000034f: DUP2 00000350: LT 00000351: DUP1 00000352: ISZERO 00000353: PUSH2 0x0363 00000356: JUMPI 00000357: POP 00000358: PUSH8 0x0de0b6b3a7640000 00000361: DUP3 00000362: LT 00000363: JUMPDEST 00000364: DUP1 00000365: ISZERO 00000366: PUSH2 0x036e 00000369: JUMPI 0000036a: POP 0000036b: DUP2 0000036c: DUP4 0000036d: GT 0000036e: JUMPDEST 0000036f: ISZERO 00000370: PUSH2 0x0b27 00000373: JUMPI 00000374: PUSH2 0x0b4d 00000377: PUSH1 0x40 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: SWAP1 0000037d: DUP2 0000037e: ADD 0000037f: PUSH1 0x40 00000381: MSTORE 00000382: DUP1 00000383: PUSH1 0x03 00000385: DUP2 00000386: MSTORE 00000387: PUSH1 0x20 00000389: ADD 0000038a: PUSH1 0xea 0000038c: PUSH1 0x02 0000038e: EXP 0000038f: PUSH3 0x155493 00000393: MUL 00000394: DUP2 00000395: MSTORE 00000396: PUSH1 0x20 00000398: ADD 00000399: POP 0000039a: PUSH1 0x80 0000039c: PUSH1 0x40 0000039e: MLOAD 0000039f: SWAP1 000003a0: DUP2 000003a1: ADD 000003a2: PUSH1 0x40 000003a4: MSTORE 000003a5: DUP1 000003a6: PUSH1 0x59 000003a8: DUP2 000003a9: MSTORE 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: PUSH32 0x68747470733a2f2f7777772e72616e646f6d2e6f72672f696e7465676572732f 000003ce: DUP2 000003cf: MSTORE 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: PUSH32 0x3f6e756d3d31266d696e3d31266d61783d313030303026636f6c3d3126626173 000003f4: DUP2 000003f5: MSTORE 000003f6: PUSH1 0x20 000003f8: ADD 000003f9: PUSH32 0x653d313026666f726d61743d706c61696e26726e643d6e657700000000000000 0000041a: DUP2 0000041b: MSTORE 0000041c: PUSH1 0x20 0000041e: ADD 0000041f: POP 00000420: PUSH2 0x0732 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH2 0x051b 00000428: PUSH1 0x02 0000042a: SLOAD 0000042b: DUP2 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH2 0x051b 00000431: PUSH1 0x03 00000433: SLOAD 00000434: DUP2 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH2 0x051b 0000043a: PUSH1 0x06 0000043c: SLOAD 0000043d: DUP2 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH2 0x051b 00000443: PUSH1 0x0a 00000445: SLOAD 00000446: DUP2 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH2 0x051b 0000044c: PUSH1 0x0c 0000044e: SLOAD 0000044f: DUP2 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH2 0x051b 00000455: PUSH1 0x0e 00000457: SLOAD 00000458: DUP2 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH2 0x051b 0000045e: PUSH1 0x0d 00000460: SLOAD 00000461: DUP2 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH2 0x04d2 00000467: CALLER 00000468: PUSH1 0x01 0000046a: PUSH1 0xa0 0000046c: PUSH1 0x02 0000046e: EXP 0000046f: SUB 00000470: AND 00000471: PUSH1 0x00 00000473: SWAP1 00000474: DUP2 00000475: MSTORE 00000476: PUSH1 0x09 00000478: PUSH1 0x20 0000047a: MSTORE 0000047b: PUSH1 0x40 0000047d: DUP2 0000047e: KECCAK256 0000047f: SLOAD 00000480: DUP2 00000481: SWAP1 00000482: DUP2 00000483: SWAP1 00000484: GT 00000485: ISZERO 00000486: PUSH2 0x0b5b 00000489: JUMPI 0000048a: PUSH2 0x0b79 0000048d: PUSH2 0x0b5f 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH2 0x051b 00000495: PUSH1 0x04 00000497: CALLDATALOAD 00000498: JUMPDEST 00000499: PUSH1 0x01 0000049b: PUSH1 0xa0 0000049d: PUSH1 0x02 0000049f: EXP 000004a0: SUB 000004a1: DUP2 000004a2: AND 000004a3: PUSH1 0x00 000004a5: SWAP1 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x09 000004aa: PUSH1 0x20 000004ac: MSTORE 000004ad: PUSH1 0x40 000004af: DUP2 000004b0: KECCAK256 000004b1: SLOAD 000004b2: DUP2 000004b3: SWAP1 000004b4: GT 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04c2 000004ba: JUMPI 000004bb: POP 000004bc: PUSH1 0x0a 000004be: SLOAD 000004bf: DUP2 000004c0: SWAP1 000004c1: GT 000004c2: JUMPDEST 000004c3: ISZERO 000004c4: PUSH2 0x0d62 000004c7: JUMPI 000004c8: PUSH1 0x0a 000004ca: SLOAD 000004cb: PUSH2 0x0d6b 000004ce: PUSH2 0x0125 000004d1: JUMP 000004d2: JUMPDEST 000004d3: STOP 000004d4: JUMPDEST 000004d5: POP 000004d6: PUSH1 0x40 000004d8: DUP1 000004d9: MLOAD 000004da: DUP1 000004db: DUP3 000004dc: ADD 000004dd: DUP3 000004de: MSTORE 000004df: CALLER 000004e0: DUP2 000004e1: MSTORE 000004e2: CALLVALUE 000004e3: PUSH1 0x20 000004e5: DUP3 000004e6: DUP2 000004e7: ADD 000004e8: SWAP2 000004e9: DUP3 000004ea: MSTORE 000004eb: PUSH1 0x0d 000004ed: DUP1 000004ee: SLOAD 000004ef: PUSH1 0x01 000004f1: DUP2 000004f2: DUP2 000004f3: ADD 000004f4: SWAP1 000004f5: SWAP3 000004f6: SSTORE 000004f7: PUSH1 0x00 000004f9: SWAP1 000004fa: DUP2 000004fb: MSTORE 000004fc: PUSH1 0x0b 000004fe: SWAP1 000004ff: SWAP3 00000500: MSTORE 00000501: SWAP4 00000502: SWAP1 00000503: KECCAK256 00000504: SWAP2 00000505: MLOAD 00000506: DUP3 00000507: SLOAD 00000508: PUSH1 0x01 0000050a: PUSH1 0xa0 0000050c: PUSH1 0x02 0000050e: EXP 0000050f: SUB 00000510: NOT 00000511: AND 00000512: OR 00000513: DUP3 00000514: SSTORE 00000515: MLOAD 00000516: SWAP2 00000517: ADD 00000518: SSTORE 00000519: JUMPDEST 0000051a: JUMP 0000051b: JUMPDEST 0000051c: PUSH1 0x40 0000051e: DUP1 0000051f: MLOAD 00000520: SWAP2 00000521: DUP3 00000522: MSTORE 00000523: MLOAD 00000524: SWAP1 00000525: DUP2 00000526: SWAP1 00000527: SUB 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP1 0000052c: RETURN 0000052d: JUMPDEST 0000052e: PUSH1 0x40 00000530: DUP1 00000531: MLOAD 00000532: SWAP10 00000533: DUP11 00000534: MSTORE 00000535: PUSH1 0x20 00000537: DUP11 00000538: ADD 00000539: SWAP9 0000053a: SWAP1 0000053b: SWAP9 0000053c: MSTORE 0000053d: DUP9 0000053e: DUP9 0000053f: ADD 00000540: SWAP7 00000541: SWAP1 00000542: SWAP7 00000543: MSTORE 00000544: PUSH1 0x60 00000546: DUP9 00000547: ADD 00000548: SWAP5 00000549: SWAP1 0000054a: SWAP5 0000054b: MSTORE 0000054c: PUSH1 0x80 0000054e: DUP8 0000054f: ADD 00000550: SWAP3 00000551: SWAP1 00000552: SWAP3 00000553: MSTORE 00000554: PUSH1 0xa0 00000556: DUP7 00000557: ADD 00000558: MSTORE 00000559: PUSH1 0xc0 0000055b: DUP6 0000055c: ADD 0000055d: MSTORE 0000055e: PUSH1 0xe0 00000560: DUP5 00000561: ADD 00000562: MSTORE 00000563: PUSH2 0x0100 00000566: DUP4 00000567: ADD 00000568: MSTORE 00000569: MLOAD 0000056a: SWAP1 0000056b: DUP2 0000056c: SWAP1 0000056d: SUB 0000056e: PUSH2 0x0120 00000571: ADD 00000572: SWAP1 00000573: RETURN 00000574: JUMPDEST 00000575: PUSH1 0x04 00000577: PUSH1 0x00 00000579: POP 0000057a: SLOAD 0000057b: MUL 0000057c: DIV 0000057d: CALLVALUE 0000057e: PUSH1 0x02 00000580: PUSH1 0x00 00000582: POP 00000583: SLOAD 00000584: CALLVALUE 00000585: PUSH2 0x2710 00000588: MUL 00000589: DIV 0000058a: SUB 0000058b: GT 0000058c: ISZERO 0000058d: DUP1 0000058e: ISZERO 0000058f: PUSH2 0x059a 00000592: JUMPI 00000593: POP 00000594: PUSH1 0x05 00000596: SLOAD 00000597: CALLVALUE 00000598: LT 00000599: ISZERO 0000059a: JUMPDEST 0000059b: ISZERO 0000059c: PUSH2 0x0864 0000059f: JUMPI 000005a0: PUSH1 0x01 000005a2: SLOAD 000005a3: PUSH1 0x40 000005a5: DUP1 000005a6: MLOAD 000005a7: PUSH1 0xe0 000005a9: PUSH1 0x02 000005ab: EXP 000005ac: PUSH4 0x524f3889 000005b1: MUL 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x20 000005b6: PUSH1 0x04 000005b8: DUP3 000005b9: ADD 000005ba: DUP2 000005bb: SWAP1 000005bc: MSTORE 000005bd: PUSH1 0x03 000005bf: PUSH1 0x24 000005c1: DUP4 000005c2: ADD 000005c3: MSTORE 000005c4: PUSH1 0xea 000005c6: PUSH1 0x02 000005c8: EXP 000005c9: PUSH3 0x155493 000005cd: MUL 000005ce: PUSH1 0x44 000005d0: DUP4 000005d1: ADD 000005d2: MSTORE 000005d3: SWAP2 000005d4: MLOAD 000005d5: PUSH8 0x0de0b6b3a7640000 000005de: SWAP4 000005df: PUSH1 0x01 000005e1: PUSH1 0xa0 000005e3: PUSH1 0x02 000005e5: EXP 000005e6: SUB 000005e7: AND 000005e8: SWAP3 000005e9: PUSH4 0x524f3889 000005ee: SWAP3 000005ef: PUSH1 0x64 000005f1: DUP2 000005f2: DUP2 000005f3: ADD 000005f4: SWAP4 000005f5: SWAP2 000005f6: DUP3 000005f7: SWAP1 000005f8: SUB 000005f9: ADD 000005fa: DUP2 000005fb: PUSH1 0x00 000005fd: DUP8 000005fe: PUSH2 0x61da 00000601: GAS 00000602: SUB 00000603: CALL 00000604: ISZERO 00000605: PUSH2 0x0002 00000608: JUMPI 00000609: POP 0000060a: POP 0000060b: PUSH1 0x40 0000060d: MLOAD 0000060e: MLOAD 0000060f: SWAP2 00000610: SWAP1 00000611: SWAP2 00000612: LT 00000613: ISZERO 00000614: SWAP1 00000615: POP 00000616: PUSH2 0x0864 00000619: JUMPI 0000061a: PUSH1 0x40 0000061c: DUP1 0000061d: MLOAD 0000061e: PUSH1 0x01 00000620: SLOAD 00000621: PUSH1 0xe0 00000623: PUSH1 0x02 00000625: EXP 00000626: PUSH4 0x524f3889 0000062b: MUL 0000062c: DUP3 0000062d: MSTORE 0000062e: PUSH1 0x20 00000630: PUSH1 0x04 00000632: DUP4 00000633: ADD 00000634: DUP2 00000635: SWAP1 00000636: MSTORE 00000637: PUSH1 0x03 00000639: PUSH1 0x24 0000063b: DUP5 0000063c: ADD 0000063d: MSTORE 0000063e: PUSH1 0xea 00000640: PUSH1 0x02 00000642: EXP 00000643: PUSH3 0x155493 00000647: MUL 00000648: PUSH1 0x44 0000064a: DUP5 0000064b: ADD 0000064c: MSTORE 0000064d: SWAP3 0000064e: MLOAD 0000064f: PUSH1 0x01 00000651: PUSH1 0xa0 00000653: PUSH1 0x02 00000655: EXP 00000656: SUB 00000657: SWAP2 00000658: SWAP1 00000659: SWAP2 0000065a: AND 0000065b: SWAP3 0000065c: PUSH4 0x524f3889 00000661: SWAP3 00000662: PUSH1 0x64 00000664: DUP2 00000665: DUP2 00000666: ADD 00000667: SWAP4 00000668: SWAP2 00000669: DUP3 0000066a: SWAP1 0000066b: SUB 0000066c: ADD 0000066d: DUP2 0000066e: PUSH1 0x00 00000670: DUP8 00000671: PUSH2 0x61da 00000674: GAS 00000675: SUB 00000676: CALL 00000677: ISZERO 00000678: PUSH2 0x0002 0000067b: JUMPI 0000067c: POP 0000067d: POP 0000067e: PUSH1 0x40 00000680: DUP1 00000681: MLOAD 00000682: DUP1 00000683: MLOAD 00000684: PUSH1 0x0f 00000686: DUP1 00000687: SLOAD 00000688: SWAP2 00000689: SWAP1 0000068a: SWAP2 0000068b: SUB 0000068c: SWAP1 0000068d: SSTORE 0000068e: DUP1 0000068f: DUP3 00000690: ADD 00000691: DUP3 00000692: MSTORE 00000693: PUSH1 0x03 00000695: DUP2 00000696: MSTORE 00000697: PUSH1 0xea 00000699: PUSH1 0x02 0000069b: EXP 0000069c: PUSH3 0x155493 000006a0: MUL 000006a1: PUSH1 0x20 000006a3: DUP3 000006a4: DUP2 000006a5: ADD 000006a6: SWAP2 000006a7: SWAP1 000006a8: SWAP2 000006a9: MSTORE 000006aa: DUP3 000006ab: MLOAD 000006ac: PUSH1 0x80 000006ae: DUP2 000006af: ADD 000006b0: DUP5 000006b1: MSTORE 000006b2: PUSH1 0x59 000006b4: DUP2 000006b5: MSTORE 000006b6: PUSH32 0x68747470733a2f2f7777772e72616e646f6d2e6f72672f696e7465676572732f 000006d7: SWAP2 000006d8: DUP2 000006d9: ADD 000006da: SWAP2 000006db: SWAP1 000006dc: SWAP2 000006dd: MSTORE 000006de: PUSH32 0x3f6e756d3d31266d696e3d31266d61783d313030303026636f6c3d3126626173 000006ff: SWAP3 00000700: DUP2 00000701: ADD 00000702: SWAP3 00000703: SWAP1 00000704: SWAP3 00000705: MSTORE 00000706: PUSH32 0x653d313026666f726d61743d706c61696e26726e643d6e657700000000000000 00000727: PUSH1 0x60 00000729: DUP4 0000072a: ADD 0000072b: MSTORE 0000072c: PUSH2 0x04d4 0000072f: SWAP3 00000730: POP 00000731: SWAP1 00000732: JUMPDEST 00000733: PUSH1 0x00 00000735: DUP1 00000736: SLOAD 00000737: PUSH1 0x40 00000739: DUP1 0000073a: MLOAD 0000073b: PUSH1 0xe0 0000073d: PUSH1 0x02 0000073f: EXP 00000740: PUSH4 0x38cc4831 00000745: MUL 00000746: DUP2 00000747: MSTORE 00000748: SWAP1 00000749: MLOAD 0000074a: DUP4 0000074b: SWAP3 0000074c: PUSH1 0x01 0000074e: PUSH1 0xa0 00000750: PUSH1 0x02 00000752: EXP 00000753: SUB 00000754: AND 00000755: SWAP2 00000756: PUSH4 0x38cc4831 0000075b: SWAP2 0000075c: PUSH1 0x04 0000075e: DUP3 0000075f: DUP2 00000760: ADD 00000761: SWAP3 00000762: PUSH1 0x20 00000764: SWAP3 00000765: SWAP2 00000766: SWAP1 00000767: DUP3 00000768: SWAP1 00000769: SUB 0000076a: ADD 0000076b: DUP2 0000076c: DUP8 0000076d: DUP8 0000076e: PUSH2 0x61da 00000771: GAS 00000772: SUB 00000773: CALL 00000774: ISZERO 00000775: PUSH2 0x0002 00000778: JUMPI 00000779: POP 0000077a: POP 0000077b: PUSH1 0x40 0000077d: MLOAD 0000077e: DUP1 0000077f: MLOAD 00000780: PUSH1 0x01 00000782: DUP1 00000783: SLOAD 00000784: PUSH1 0x01 00000786: PUSH1 0xa0 00000788: PUSH1 0x02 0000078a: EXP 0000078b: SUB 0000078c: NOT 0000078d: AND 0000078e: SWAP1 0000078f: SWAP2 00000790: OR 00000791: SWAP1 00000792: DUP2 00000793: SWAP1 00000794: SSTORE 00000795: PUSH1 0xe0 00000797: PUSH1 0x02 00000799: EXP 0000079a: PUSH4 0x524f3889 0000079f: MUL 000007a0: DUP3 000007a1: MSTORE 000007a2: PUSH1 0x20 000007a4: PUSH1 0x04 000007a6: DUP4 000007a7: DUP2 000007a8: ADD 000007a9: DUP3 000007aa: DUP2 000007ab: MSTORE 000007ac: DUP10 000007ad: MLOAD 000007ae: PUSH1 0x24 000007b0: DUP7 000007b1: ADD 000007b2: MSTORE 000007b3: DUP10 000007b4: MLOAD 000007b5: PUSH1 0x01 000007b7: PUSH1 0xa0 000007b9: PUSH1 0x02 000007bb: EXP 000007bc: SUB 000007bd: SWAP5 000007be: SWAP1 000007bf: SWAP5 000007c0: AND 000007c1: SWAP6 000007c2: POP 000007c3: PUSH4 0x524f3889 000007c8: SWAP5 000007c9: DUP11 000007ca: SWAP5 000007cb: SWAP2 000007cc: SWAP4 000007cd: DUP5 000007ce: SWAP4 000007cf: PUSH1 0x44 000007d1: SWAP3 000007d2: SWAP1 000007d3: SWAP3 000007d4: ADD 000007d5: SWAP3 000007d6: DUP7 000007d7: DUP3 000007d8: ADD 000007d9: SWAP3 000007da: SWAP1 000007db: SWAP2 000007dc: DUP3 000007dd: SWAP2 000007de: DUP6 000007df: SWAP2 000007e0: DUP4 000007e1: SWAP2 000007e2: DUP7 000007e3: SWAP2 000007e4: DUP15 000007e5: SWAP2 000007e6: SWAP1 000007e7: PUSH1 0x1f 000007e9: DUP6 000007ea: ADD 000007eb: DIV 000007ec: PUSH1 0x0f 000007ee: MUL 000007ef: PUSH1 0x03 000007f1: ADD 000007f2: CALL 000007f3: POP 000007f4: SWAP1 000007f5: POP 000007f6: SWAP1 000007f7: DUP2 000007f8: ADD 000007f9: SWAP1 000007fa: PUSH1 0x1f 000007fc: AND 000007fd: DUP1 000007fe: ISZERO 000007ff: PUSH2 0x081c 00000802: JUMPI 00000803: DUP1 00000804: DUP3 00000805: SUB 00000806: DUP1 00000807: MLOAD 00000808: PUSH1 0x01 0000080a: DUP4 0000080b: PUSH1 0x20 0000080d: SUB 0000080e: PUSH2 0x0100 00000811: EXP 00000812: SUB 00000813: NOT 00000814: AND 00000815: DUP2 00000816: MSTORE 00000817: PUSH1 0x20 00000819: ADD 0000081a: SWAP2 0000081b: POP 0000081c: JUMPDEST 0000081d: POP 0000081e: SWAP3 0000081f: POP 00000820: POP 00000821: POP 00000822: PUSH1 0x20 00000824: PUSH1 0x40 00000826: MLOAD 00000827: DUP1 00000828: DUP4 00000829: SUB 0000082a: DUP2 0000082b: PUSH1 0x00 0000082d: DUP8 0000082e: PUSH2 0x61da 00000831: GAS 00000832: SUB 00000833: CALL 00000834: ISZERO 00000835: PUSH2 0x0002 00000838: JUMPI 00000839: POP 0000083a: POP 0000083b: PUSH1 0x40 0000083d: MLOAD 0000083e: MLOAD 0000083f: SWAP2 00000840: POP 00000841: POP 00000842: PUSH3 0x030d40 00000846: GASPRICE 00000847: MUL 00000848: PUSH8 0x0de0b6b3a7640000 00000851: ADD 00000852: DUP2 00000853: GT 00000854: ISZERO 00000855: PUSH2 0x0e83 00000858: JUMPI 00000859: PUSH1 0x00 0000085b: SWAP2 0000085c: POP 0000085d: JUMPDEST 0000085e: POP 0000085f: SWAP3 00000860: SWAP2 00000861: POP 00000862: POP 00000863: JUMP 00000864: JUMPDEST 00000865: PUSH2 0x0002 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x01 0000086c: PUSH1 0xa0 0000086e: PUSH1 0x02 00000870: EXP 00000871: SUB 00000872: AND 00000873: CALLER 00000874: PUSH1 0x01 00000876: PUSH1 0xa0 00000878: PUSH1 0x02 0000087a: EXP 0000087b: SUB 0000087c: AND 0000087d: EQ 0000087e: ISZERO 0000087f: ISZERO 00000880: PUSH2 0x0888 00000883: JUMPI 00000884: PUSH2 0x0002 00000887: JUMP 00000888: JUMPDEST 00000889: PUSH1 0x0c 0000088b: SLOAD 0000088c: PUSH1 0x0d 0000088e: SLOAD 0000088f: SWAP1 00000890: LT 00000891: DUP1 00000892: ISZERO 00000893: PUSH2 0x08ae 00000896: JUMPI 00000897: POP 00000898: PUSH1 0x0c 0000089a: SLOAD 0000089b: PUSH1 0x00 0000089d: SWAP1 0000089e: DUP2 0000089f: MSTORE 000008a0: PUSH1 0x0b 000008a2: PUSH1 0x20 000008a4: MSTORE 000008a5: PUSH1 0x40 000008a7: DUP2 000008a8: KECCAK256 000008a9: PUSH1 0x01 000008ab: ADD 000008ac: SLOAD 000008ad: GT 000008ae: JUMPDEST 000008af: ISZERO 000008b0: PUSH2 0x09f7 000008b3: JUMPI 000008b4: PUSH2 0x2710 000008b7: PUSH2 0x08be 000008ba: PUSH2 0x0125 000008bd: JUMP 000008be: JUMPDEST 000008bf: PUSH1 0x0c 000008c1: SLOAD 000008c2: PUSH1 0x04 000008c4: SLOAD 000008c5: PUSH1 0x00 000008c7: SWAP2 000008c8: DUP3 000008c9: MSTORE 000008ca: PUSH1 0x0b 000008cc: PUSH1 0x20 000008ce: MSTORE 000008cf: PUSH1 0x40 000008d1: SWAP1 000008d2: SWAP2 000008d3: KECCAK256 000008d4: PUSH1 0x02 000008d6: DUP1 000008d7: SLOAD 000008d8: PUSH1 0x01 000008da: SWAP3 000008db: SWAP1 000008dc: SWAP3 000008dd: ADD 000008de: SLOAD 000008df: SWAP3 000008e0: SWAP1 000008e1: SWAP4 000008e2: MUL 000008e3: SWAP1 000008e4: SWAP3 000008e5: MUL 000008e6: SWAP3 000008e7: SWAP1 000008e8: SWAP3 000008e9: DIV 000008ea: PUSH2 0x2710 000008ed: DUP4 000008ee: MUL 000008ef: SWAP2 000008f0: SWAP1 000008f1: SWAP2 000008f2: DIV 000008f3: SWAP2 000008f4: SWAP1 000008f5: SWAP2 000008f6: SUB 000008f7: GT 000008f8: PUSH2 0x099e 000008fb: JUMPI 000008fc: PUSH2 0x09fc 000008ff: DUP3 00000900: PUSH1 0x00 00000902: PUSH2 0x0fa9 00000905: DUP3 00000906: PUSH1 0x00 00000908: PUSH1 0x40 0000090a: DUP1 0000090b: MLOAD 0000090c: PUSH1 0x20 0000090e: DUP2 0000090f: ADD 00000910: SWAP1 00000911: SWAP2 00000912: MSTORE 00000913: PUSH1 0x00 00000915: SWAP1 00000916: DUP2 00000917: SWAP1 00000918: MSTORE 00000919: DUP3 0000091a: DUP2 0000091b: DUP1 0000091c: DUP1 0000091d: JUMPDEST 0000091e: DUP4 0000091f: MLOAD 00000920: DUP2 00000921: LT 00000922: ISZERO 00000923: PUSH2 0x0993 00000926: JUMPI 00000927: PUSH1 0x30 00000929: PUSH1 0xf8 0000092b: PUSH1 0x02 0000092d: EXP 0000092e: MUL 0000092f: DUP5 00000930: DUP3 00000931: DUP2 00000932: MLOAD 00000933: DUP2 00000934: LT 00000935: ISZERO 00000936: PUSH2 0x0002 00000939: JUMPI 0000093a: SWAP1 0000093b: PUSH1 0x20 0000093d: ADD 0000093e: ADD 0000093f: MLOAD 00000940: PUSH1 0xf8 00000942: PUSH1 0x02 00000944: EXP 00000945: SWAP1 00000946: DIV 00000947: PUSH1 0xf8 00000949: PUSH1 0x02 0000094b: EXP 0000094c: MUL 0000094d: LT 0000094e: ISZERO 0000094f: DUP1 00000950: ISZERO 00000951: PUSH2 0x097e 00000954: JUMPI 00000955: POP 00000956: PUSH1 0x39 00000958: PUSH1 0xf8 0000095a: PUSH1 0x02 0000095c: EXP 0000095d: MUL 0000095e: DUP5 0000095f: DUP3 00000960: DUP2 00000961: MLOAD 00000962: DUP2 00000963: LT 00000964: ISZERO 00000965: PUSH2 0x0002 00000968: JUMPI 00000969: SWAP1 0000096a: PUSH1 0x20 0000096c: ADD 0000096d: ADD 0000096e: MLOAD 0000096f: PUSH1 0xf8 00000971: PUSH1 0x02 00000973: EXP 00000974: SWAP1 00000975: DIV 00000976: PUSH1 0xf8 00000978: PUSH1 0x02 0000097a: EXP 0000097b: MUL 0000097c: GT 0000097d: ISZERO 0000097e: JUMPDEST 0000097f: ISZERO 00000980: PUSH2 0x10d7 00000983: JUMPI 00000984: DUP2 00000985: ISZERO 00000986: PUSH2 0x112e 00000989: JUMPI 0000098a: DUP6 0000098b: PUSH1 0x00 0000098d: EQ 0000098e: ISZERO 0000098f: PUSH2 0x1125 00000992: JUMPI 00000993: JUMPDEST 00000994: POP 00000995: SWAP1 00000996: SWAP6 00000997: SWAP5 00000998: POP 00000999: POP 0000099a: POP 0000099b: POP 0000099c: POP 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH1 0x0c 000009a1: SLOAD 000009a2: PUSH1 0x00 000009a4: SWAP1 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x0b 000009a9: PUSH1 0x20 000009ab: MSTORE 000009ac: PUSH1 0x40 000009ae: DUP1 000009af: DUP3 000009b0: KECCAK256 000009b1: DUP1 000009b2: SLOAD 000009b3: SWAP2 000009b4: MLOAD 000009b5: PUSH1 0x01 000009b7: SWAP2 000009b8: SWAP1 000009b9: SWAP2 000009ba: ADD 000009bb: SLOAD 000009bc: PUSH1 0x01 000009be: PUSH1 0xa0 000009c0: PUSH1 0x02 000009c2: EXP 000009c3: SUB 000009c4: SWAP3 000009c5: SWAP1 000009c6: SWAP3 000009c7: AND 000009c8: SWAP3 000009c9: SWAP2 000009ca: SWAP1 000009cb: DUP3 000009cc: DUP2 000009cd: DUP2 000009ce: DUP2 000009cf: DUP6 000009d0: DUP9 000009d1: DUP4 000009d2: CALL 000009d3: POP 000009d4: POP 000009d5: PUSH1 0x0c 000009d7: DUP1 000009d8: SLOAD 000009d9: DUP4 000009da: MSTORE 000009db: PUSH1 0x0b 000009dd: PUSH1 0x20 000009df: MSTORE 000009e0: PUSH1 0x40 000009e2: DUP4 000009e3: KECCAK256 000009e4: PUSH1 0x01 000009e6: SWAP1 000009e7: DUP2 000009e8: ADD 000009e9: SWAP4 000009ea: SWAP1 000009eb: SWAP4 000009ec: SSTORE 000009ed: DUP1 000009ee: SLOAD 000009ef: SWAP1 000009f0: SWAP3 000009f1: ADD 000009f2: SWAP1 000009f3: SWAP2 000009f4: SSTORE 000009f5: POP 000009f6: POP 000009f7: JUMPDEST 000009f8: POP 000009f9: POP 000009fa: POP 000009fb: JUMP 000009fc: JUMPDEST 000009fd: SWAP1 000009fe: POP 000009ff: PUSH1 0x01 00000a01: DUP2 00000a02: LT 00000a03: ISZERO 00000a04: DUP1 00000a05: ISZERO 00000a06: PUSH2 0x0a11 00000a09: JUMPI 00000a0a: POP 00000a0b: PUSH2 0x2710 00000a0e: DUP2 00000a0f: GT 00000a10: ISZERO 00000a11: JUMPDEST 00000a12: ISZERO 00000a13: PUSH2 0x0864 00000a16: JUMPI 00000a17: JUMPDEST 00000a18: PUSH1 0x02 00000a1a: SLOAD 00000a1b: PUSH1 0x00 00000a1d: NOT 00000a1e: DUP3 00000a1f: ADD 00000a20: GT 00000a21: PUSH2 0x0aa7 00000a24: JUMPI 00000a25: PUSH1 0x0c 00000a27: SLOAD 00000a28: PUSH1 0x02 00000a2a: SLOAD 00000a2b: PUSH1 0x00 00000a2d: SWAP2 00000a2e: DUP3 00000a2f: MSTORE 00000a30: PUSH1 0x0b 00000a32: PUSH1 0x20 00000a34: MSTORE 00000a35: PUSH1 0x40 00000a37: DUP1 00000a38: DUP4 00000a39: KECCAK256 00000a3a: DUP1 00000a3b: SLOAD 00000a3c: SWAP2 00000a3d: MLOAD 00000a3e: PUSH1 0x01 00000a40: SWAP2 00000a41: SWAP1 00000a42: SWAP2 00000a43: ADD 00000a44: SLOAD 00000a45: PUSH1 0x03 00000a47: SLOAD 00000a48: PUSH1 0x01 00000a4a: PUSH1 0xa0 00000a4c: PUSH1 0x02 00000a4e: EXP 00000a4f: SUB 00000a50: SWAP4 00000a51: SWAP1 00000a52: SWAP4 00000a53: AND 00000a54: SWAP5 00000a55: SWAP4 00000a56: PUSH2 0x2710 00000a59: SWAP4 00000a5a: SWAP1 00000a5b: SWAP4 00000a5c: SUB 00000a5d: MUL 00000a5e: SWAP2 00000a5f: SWAP1 00000a60: SWAP2 00000a61: DIV 00000a62: SWAP1 00000a63: DUP3 00000a64: DUP2 00000a65: DUP2 00000a66: DUP2 00000a67: DUP6 00000a68: DUP9 00000a69: DUP4 00000a6a: CALL 00000a6b: POP 00000a6c: POP 00000a6d: PUSH1 0x02 00000a6f: SLOAD 00000a70: PUSH1 0x0c 00000a72: SLOAD 00000a73: PUSH1 0x03 00000a75: SLOAD 00000a76: SWAP1 00000a77: DUP5 00000a78: MSTORE 00000a79: PUSH1 0x0b 00000a7b: PUSH1 0x20 00000a7d: MSTORE 00000a7e: PUSH1 0x40 00000a80: SWAP1 00000a81: SWAP4 00000a82: KECCAK256 00000a83: PUSH1 0x01 00000a85: ADD 00000a86: SLOAD 00000a87: PUSH1 0x0f 00000a89: DUP1 00000a8a: SLOAD 00000a8b: PUSH2 0x2710 00000a8e: SWAP6 00000a8f: SWAP1 00000a90: SWAP6 00000a91: SUB 00000a92: DUP3 00000a93: MUL 00000a94: SWAP3 00000a95: SWAP1 00000a96: SWAP3 00000a97: DIV 00000a98: SWAP1 00000a99: SUB 00000a9a: SWAP1 00000a9b: SWAP3 00000a9c: ADD 00000a9d: SWAP1 00000a9e: SWAP2 00000a9f: SSTORE 00000aa0: POP 00000aa1: PUSH2 0x0af7 00000aa4: SWAP1 00000aa5: POP 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: PUSH1 0x0c 00000aaa: SLOAD 00000aab: PUSH1 0x00 00000aad: SWAP1 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x0b 00000ab2: PUSH1 0x20 00000ab4: MSTORE 00000ab5: PUSH1 0x40 00000ab7: DUP1 00000ab8: DUP3 00000ab9: KECCAK256 00000aba: SLOAD 00000abb: SWAP1 00000abc: MLOAD 00000abd: PUSH1 0x01 00000abf: PUSH1 0xa0 00000ac1: PUSH1 0x02 00000ac3: EXP 00000ac4: SUB 00000ac5: SWAP2 00000ac6: SWAP1 00000ac7: SWAP2 00000ac8: AND 00000ac9: SWAP2 00000aca: SWAP1 00000acb: PUSH1 0x01 00000acd: SWAP1 00000ace: DUP3 00000acf: DUP2 00000ad0: DUP2 00000ad1: DUP2 00000ad2: DUP6 00000ad3: DUP9 00000ad4: DUP4 00000ad5: CALL 00000ad6: POP 00000ad7: POP 00000ad8: PUSH1 0x0c 00000ada: SLOAD 00000adb: DUP3 00000adc: MSTORE 00000add: PUSH1 0x0b 00000adf: PUSH1 0x20 00000ae1: MSTORE 00000ae2: PUSH1 0x40 00000ae4: SWAP1 00000ae5: SWAP2 00000ae6: KECCAK256 00000ae7: ADD 00000ae8: SLOAD 00000ae9: PUSH1 0x0f 00000aeb: DUP1 00000aec: SLOAD 00000aed: SWAP1 00000aee: SWAP2 00000aef: ADD 00000af0: PUSH1 0x00 00000af2: NOT 00000af3: ADD 00000af4: SWAP1 00000af5: SSTORE 00000af6: POP 00000af7: JUMPDEST 00000af8: PUSH1 0x0c 00000afa: DUP1 00000afb: SLOAD 00000afc: PUSH1 0x00 00000afe: SWAP1 00000aff: DUP2 00000b00: MSTORE 00000b01: PUSH1 0x0b 00000b03: PUSH1 0x20 00000b05: MSTORE 00000b06: PUSH1 0x40 00000b08: DUP2 00000b09: KECCAK256 00000b0a: PUSH1 0x01 00000b0c: SWAP1 00000b0d: DUP2 00000b0e: ADD 00000b0f: DUP1 00000b10: SLOAD 00000b11: PUSH1 0x0e 00000b13: DUP1 00000b14: SLOAD 00000b15: SWAP1 00000b16: SWAP2 00000b17: ADD 00000b18: SWAP1 00000b19: SSTORE 00000b1a: SWAP2 00000b1b: SWAP1 00000b1c: SWAP2 00000b1d: SSTORE 00000b1e: DUP2 00000b1f: SLOAD 00000b20: ADD 00000b21: SWAP1 00000b22: SSTORE 00000b23: PUSH2 0x09f7 00000b26: JUMP 00000b27: JUMPDEST 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: CALLER 00000b2c: PUSH1 0x01 00000b2e: PUSH1 0xa0 00000b30: PUSH1 0x02 00000b32: EXP 00000b33: SUB 00000b34: AND 00000b35: SWAP1 00000b36: PUSH1 0x00 00000b38: SWAP1 00000b39: DUP6 00000b3a: SWAP1 00000b3b: DUP3 00000b3c: DUP2 00000b3d: DUP2 00000b3e: DUP2 00000b3f: DUP6 00000b40: DUP9 00000b41: DUP4 00000b42: CALL 00000b43: POP 00000b44: POP 00000b45: POP 00000b46: POP 00000b47: POP 00000b48: POP 00000b49: POP 00000b4a: POP 00000b4b: POP 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: POP 00000b4f: SWAP2 00000b50: DUP2 00000b51: SWAP1 00000b52: SUB 00000b53: SWAP2 00000b54: PUSH1 0x01 00000b56: ADD 00000b57: PUSH2 0x034d 00000b5a: JUMP 00000b5b: JUMPDEST 00000b5c: PUSH2 0x0bb8 00000b5f: JUMPDEST 00000b60: PUSH1 0x0f 00000b62: SLOAD 00000b63: PUSH1 0x10 00000b65: SLOAD 00000b66: PUSH1 0x00 00000b68: SWAP2 00000b69: DUP3 00000b6a: SWAP2 00000b6b: DUP3 00000b6c: SWAP2 00000b6d: EQ 00000b6e: PUSH2 0x09f7 00000b71: JUMPI 00000b72: PUSH2 0x0fb0 00000b75: PUSH2 0x0125 00000b78: JUMP 00000b79: JUMPDEST 00000b7a: CALLER 00000b7b: PUSH1 0x01 00000b7d: PUSH1 0xa0 00000b7f: PUSH1 0x02 00000b81: EXP 00000b82: SUB 00000b83: AND 00000b84: PUSH1 0x00 00000b86: SWAP1 00000b87: DUP2 00000b88: MSTORE 00000b89: PUSH1 0x09 00000b8b: PUSH1 0x20 00000b8d: SWAP1 00000b8e: DUP2 00000b8f: MSTORE 00000b90: PUSH1 0x40 00000b92: DUP1 00000b93: DUP4 00000b94: KECCAK256 00000b95: SLOAD 00000b96: DUP4 00000b97: MSTORE 00000b98: PUSH1 0x07 00000b9a: SWAP1 00000b9b: SWAP2 00000b9c: MSTORE 00000b9d: SWAP1 00000b9e: KECCAK256 00000b9f: PUSH1 0x01 00000ba1: ADD 00000ba2: DUP1 00000ba3: SLOAD 00000ba4: CALLVALUE 00000ba5: SWAP1 00000ba6: DUP2 00000ba7: ADD 00000ba8: SWAP1 00000ba9: SWAP2 00000baa: SSTORE 00000bab: PUSH1 0x0a 00000bad: DUP1 00000bae: SLOAD 00000baf: SWAP1 00000bb0: SWAP2 00000bb1: ADD 00000bb2: SWAP1 00000bb3: SSTORE 00000bb4: JUMPDEST 00000bb5: POP 00000bb6: POP 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x08 00000bbb: SLOAD 00000bbc: PUSH1 0x06 00000bbe: SLOAD 00000bbf: PUSH1 0x00 00000bc1: SWAP4 00000bc2: POP 00000bc3: SWAP1 00000bc4: LT 00000bc5: ISZERO 00000bc6: PUSH2 0x0c19 00000bc9: JUMPI 00000bca: PUSH1 0x08 00000bcc: DUP1 00000bcd: SLOAD 00000bce: PUSH1 0x01 00000bd0: ADD 00000bd1: SWAP1 00000bd2: DUP2 00000bd3: SWAP1 00000bd4: SSTORE 00000bd5: SWAP2 00000bd6: POP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x00 00000bda: DUP3 00000bdb: GT 00000bdc: ISZERO 00000bdd: PUSH2 0x0864 00000be0: JUMPI 00000be1: PUSH1 0x00 00000be3: DUP3 00000be4: DUP2 00000be5: MSTORE 00000be6: PUSH1 0x07 00000be8: PUSH1 0x20 00000bea: MSTORE 00000beb: PUSH1 0x40 00000bed: DUP2 00000bee: KECCAK256 00000bef: PUSH1 0x01 00000bf1: ADD 00000bf2: SLOAD 00000bf3: GT 00000bf4: ISZERO 00000bf5: PUSH2 0x0c9f 00000bf8: JUMPI 00000bf9: PUSH1 0x40 00000bfb: PUSH1 0x00 00000bfd: KECCAK256 00000bfe: DUP1 00000bff: SLOAD 00000c00: PUSH1 0x01 00000c02: SWAP2 00000c03: SWAP1 00000c04: SWAP2 00000c05: ADD 00000c06: SLOAD 00000c07: PUSH2 0x0c79 00000c0a: SWAP2 00000c0b: PUSH1 0x01 00000c0d: PUSH1 0xa0 00000c0f: PUSH1 0x02 00000c11: EXP 00000c12: SUB 00000c13: AND 00000c14: SWAP1 00000c15: PUSH2 0x0d33 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: POP 00000c1b: PUSH1 0x02 00000c1d: JUMPDEST 00000c1e: PUSH1 0x08 00000c20: SLOAD 00000c21: DUP2 00000c22: GT 00000c23: PUSH2 0x0bd7 00000c26: JUMPI 00000c27: PUSH1 0x00 00000c29: DUP2 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x07 00000c2e: PUSH1 0x20 00000c30: MSTORE 00000c31: PUSH1 0x40 00000c33: SWAP1 00000c34: KECCAK256 00000c35: PUSH1 0x01 00000c37: ADD 00000c38: SLOAD 00000c39: CALLVALUE 00000c3a: SWAP1 00000c3b: LT 00000c3c: DUP1 00000c3d: ISZERO 00000c3e: PUSH2 0x0c68 00000c41: JUMPI 00000c42: POP 00000c43: DUP2 00000c44: PUSH1 0x00 00000c46: EQ 00000c47: DUP1 00000c48: PUSH2 0x0c68 00000c4b: JUMPI 00000c4c: POP 00000c4d: PUSH1 0x40 00000c4f: PUSH1 0x00 00000c51: DUP2 00000c52: DUP2 00000c53: KECCAK256 00000c54: PUSH1 0x01 00000c56: SWAP1 00000c57: DUP2 00000c58: ADD 00000c59: SLOAD 00000c5a: DUP6 00000c5b: DUP4 00000c5c: MSTORE 00000c5d: SWAP3 00000c5e: DUP3 00000c5f: KECCAK256 00000c60: ADD 00000c61: SLOAD 00000c62: SWAP1 00000c63: DUP4 00000c64: SWAP1 00000c65: MSTORE 00000c66: SWAP1 00000c67: LT 00000c68: JUMPDEST 00000c69: ISZERO 00000c6a: PUSH2 0x0c71 00000c6d: JUMPI 00000c6e: SWAP1 00000c6f: POP 00000c70: DUP1 00000c71: JUMPDEST 00000c72: PUSH1 0x01 00000c74: ADD 00000c75: PUSH2 0x0c1d 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: PUSH1 0x00 00000c7c: DUP3 00000c7d: DUP2 00000c7e: MSTORE 00000c7f: PUSH1 0x07 00000c81: PUSH1 0x20 00000c83: SWAP1 00000c84: DUP2 00000c85: MSTORE 00000c86: PUSH1 0x40 00000c88: DUP1 00000c89: DUP4 00000c8a: KECCAK256 00000c8b: SLOAD 00000c8c: PUSH1 0x01 00000c8e: PUSH1 0xa0 00000c90: PUSH1 0x02 00000c92: EXP 00000c93: SUB 00000c94: AND 00000c95: DUP4 00000c96: MSTORE 00000c97: PUSH1 0x09 00000c99: SWAP1 00000c9a: SWAP2 00000c9b: MSTORE 00000c9c: DUP2 00000c9d: KECCAK256 00000c9e: SSTORE 00000c9f: JUMPDEST 00000ca0: PUSH1 0x00 00000ca2: DUP3 00000ca3: DUP2 00000ca4: MSTORE 00000ca5: PUSH1 0x07 00000ca7: PUSH1 0x20 00000ca9: MSTORE 00000caa: PUSH1 0x40 00000cac: DUP2 00000cad: KECCAK256 00000cae: PUSH1 0x01 00000cb0: ADD 00000cb1: SLOAD 00000cb2: EQ 00000cb3: DUP1 00000cb4: ISZERO 00000cb5: PUSH2 0x0cd7 00000cb8: JUMPI 00000cb9: POP 00000cba: PUSH1 0x40 00000cbc: PUSH1 0x00 00000cbe: DUP2 00000cbf: DUP2 00000cc0: KECCAK256 00000cc1: SLOAD 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0xa0 00000cc6: PUSH1 0x02 00000cc8: EXP 00000cc9: SUB 00000cca: AND 00000ccb: DUP2 00000ccc: MSTORE 00000ccd: PUSH1 0x09 00000ccf: PUSH1 0x20 00000cd1: MSTORE 00000cd2: SWAP1 00000cd3: DUP2 00000cd4: KECCAK256 00000cd5: SLOAD 00000cd6: EQ 00000cd7: JUMPDEST 00000cd8: ISZERO 00000cd9: PUSH2 0x0864 00000cdc: JUMPI 00000cdd: PUSH1 0x00 00000cdf: DUP3 00000ce0: DUP2 00000ce1: MSTORE 00000ce2: PUSH1 0x07 00000ce4: PUSH1 0x20 00000ce6: SWAP1 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x40 00000ceb: DUP1 00000cec: DUP4 00000ced: KECCAK256 00000cee: DUP1 00000cef: SLOAD 00000cf0: PUSH1 0x01 00000cf2: PUSH1 0xa0 00000cf4: PUSH1 0x02 00000cf6: EXP 00000cf7: SUB 00000cf8: NOT 00000cf9: AND 00000cfa: CALLER 00000cfb: SWAP1 00000cfc: DUP2 00000cfd: OR 00000cfe: DUP3 00000cff: SSTORE 00000d00: CALLVALUE 00000d01: PUSH1 0x01 00000d03: SWAP3 00000d04: SWAP1 00000d05: SWAP3 00000d06: ADD 00000d07: DUP3 00000d08: SWAP1 00000d09: SSTORE 00000d0a: PUSH1 0x0a 00000d0c: DUP1 00000d0d: SLOAD 00000d0e: SWAP1 00000d0f: SWAP3 00000d10: ADD 00000d11: SWAP1 00000d12: SWAP2 00000d13: SSTORE 00000d14: PUSH1 0x01 00000d16: PUSH1 0xa0 00000d18: PUSH1 0x02 00000d1a: EXP 00000d1b: SUB 00000d1c: AND 00000d1d: DUP4 00000d1e: MSTORE 00000d1f: PUSH1 0x09 00000d21: SWAP1 00000d22: SWAP2 00000d23: MSTORE 00000d24: SWAP1 00000d25: KECCAK256 00000d26: DUP3 00000d27: SWAP1 00000d28: SSTORE 00000d29: PUSH2 0x0bb4 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: PUSH2 0x0d5a 00000d31: CALLER 00000d32: DUP3 00000d33: JUMPDEST 00000d34: PUSH1 0x01 00000d36: PUSH1 0xa0 00000d38: PUSH1 0x02 00000d3a: EXP 00000d3b: SUB 00000d3c: DUP3 00000d3d: AND 00000d3e: PUSH1 0x00 00000d40: SWAP1 00000d41: DUP2 00000d42: MSTORE 00000d43: PUSH1 0x09 00000d45: PUSH1 0x20 00000d47: MSTORE 00000d48: PUSH1 0x40 00000d4a: DUP2 00000d4b: KECCAK256 00000d4c: SLOAD 00000d4d: GT 00000d4e: ISZERO 00000d4f: PUSH2 0x0bb4 00000d52: JUMPI 00000d53: PUSH2 0x1068 00000d56: PUSH2 0x0b5f 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: POP 00000d5c: JUMP 00000d5d: JUMPDEST 00000d5e: PUSH2 0x0d33 00000d61: JUMP 00000d62: JUMPDEST 00000d63: POP 00000d64: PUSH1 0x00 00000d66: JUMPDEST 00000d67: SWAP2 00000d68: SWAP1 00000d69: POP 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: PUSH1 0x01 00000d6e: PUSH1 0xa0 00000d70: PUSH1 0x02 00000d72: EXP 00000d73: SUB 00000d74: DUP5 00000d75: AND 00000d76: PUSH1 0x00 00000d78: SWAP1 00000d79: DUP2 00000d7a: MSTORE 00000d7b: PUSH1 0x09 00000d7d: PUSH1 0x20 00000d7f: SWAP1 00000d80: DUP2 00000d81: MSTORE 00000d82: PUSH1 0x40 00000d84: DUP1 00000d85: DUP4 00000d86: KECCAK256 00000d87: SLOAD 00000d88: DUP4 00000d89: MSTORE 00000d8a: PUSH1 0x07 00000d8c: SWAP1 00000d8d: SWAP2 00000d8e: MSTORE 00000d8f: SWAP1 00000d90: KECCAK256 00000d91: PUSH1 0x01 00000d93: ADD 00000d94: SLOAD 00000d95: MUL 00000d96: DIV 00000d97: SWAP1 00000d98: POP 00000d99: PUSH2 0x0d66 00000d9c: JUMP 00000d9d: JUMPDEST 00000d9e: POP 00000d9f: PUSH1 0x00 00000da1: SWAP1 00000da2: POP 00000da3: PUSH1 0x02 00000da5: JUMPDEST 00000da6: PUSH1 0x08 00000da8: SLOAD 00000da9: DUP2 00000daa: GT 00000dab: PUSH2 0x0de1 00000dae: JUMPI 00000daf: DUP2 00000db0: PUSH1 0x00 00000db2: EQ 00000db3: DUP1 00000db4: PUSH2 0x0e04 00000db7: JUMPI 00000db8: POP 00000db9: PUSH1 0x00 00000dbb: DUP3 00000dbc: DUP2 00000dbd: MSTORE 00000dbe: PUSH1 0x07 00000dc0: PUSH1 0x20 00000dc2: MSTORE 00000dc3: PUSH1 0x40 00000dc5: SWAP1 00000dc6: KECCAK256 00000dc7: SLOAD 00000dc8: PUSH2 0x0e15 00000dcb: SWAP1 00000dcc: PUSH1 0x01 00000dce: PUSH1 0xa0 00000dd0: PUSH1 0x02 00000dd2: EXP 00000dd3: SUB 00000dd4: AND 00000dd5: PUSH2 0x0498 00000dd8: JUMP 00000dd9: JUMPDEST 00000dda: SWAP3 00000ddb: POP 00000ddc: JUMPDEST 00000ddd: POP 00000dde: POP 00000ddf: SWAP1 00000de0: JUMP 00000de1: JUMPDEST 00000de2: PUSH1 0x00 00000de4: DUP3 00000de5: DUP2 00000de6: MSTORE 00000de7: PUSH1 0x07 00000de9: PUSH1 0x20 00000deb: MSTORE 00000dec: PUSH1 0x40 00000dee: SWAP1 00000def: KECCAK256 00000df0: SLOAD 00000df1: PUSH2 0x0dd9 00000df4: SWAP1 00000df5: PUSH1 0x01 00000df7: PUSH1 0xa0 00000df9: PUSH1 0x02 00000dfb: EXP 00000dfc: SUB 00000dfd: AND 00000dfe: PUSH2 0x0498 00000e01: JUMP 00000e02: JUMPDEST 00000e03: LT 00000e04: JUMPDEST 00000e05: ISZERO 00000e06: PUSH2 0x0e0d 00000e09: JUMPI 00000e0a: SWAP1 00000e0b: POP 00000e0c: DUP1 00000e0d: JUMPDEST 00000e0e: PUSH1 0x01 00000e10: ADD 00000e11: PUSH2 0x0da5 00000e14: JUMP 00000e15: JUMPDEST 00000e16: PUSH1 0x00 00000e18: DUP3 00000e19: DUP2 00000e1a: MSTORE 00000e1b: PUSH1 0x07 00000e1d: PUSH1 0x20 00000e1f: MSTORE 00000e20: PUSH1 0x40 00000e22: SWAP1 00000e23: KECCAK256 00000e24: SLOAD 00000e25: PUSH2 0x0e02 00000e28: SWAP1 00000e29: PUSH1 0x01 00000e2b: PUSH1 0xa0 00000e2d: PUSH1 0x02 00000e2f: EXP 00000e30: SUB 00000e31: AND 00000e32: PUSH2 0x0498 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH1 0x0f 00000e39: SLOAD 00000e3a: PUSH1 0x02 00000e3c: SLOAD 00000e3d: PUSH1 0x03 00000e3f: SLOAD 00000e40: PUSH1 0x04 00000e42: SLOAD 00000e43: PUSH1 0x05 00000e45: SLOAD 00000e46: PUSH1 0x0e 00000e48: SLOAD 00000e49: SWAP4 00000e4a: SWAP5 00000e4b: SWAP3 00000e4c: SWAP4 00000e4d: SWAP2 00000e4e: SWAP3 00000e4f: SWAP1 00000e50: SWAP2 00000e51: SWAP1 00000e52: PUSH2 0x0e59 00000e55: PUSH2 0x02a1 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: PUSH1 0x0c 00000e5c: PUSH1 0x00 00000e5e: POP 00000e5f: SLOAD 00000e60: PUSH1 0x0d 00000e62: PUSH1 0x00 00000e64: POP 00000e65: SLOAD 00000e66: SUB 00000e67: SWAP9 00000e68: POP 00000e69: SWAP9 00000e6a: POP 00000e6b: SWAP9 00000e6c: POP 00000e6d: SWAP9 00000e6e: POP 00000e6f: SWAP9 00000e70: POP 00000e71: SWAP9 00000e72: POP 00000e73: SWAP9 00000e74: POP 00000e75: SWAP9 00000e76: POP 00000e77: SWAP9 00000e78: POP 00000e79: SWAP1 00000e7a: SWAP2 00000e7b: SWAP3 00000e7c: SWAP4 00000e7d: SWAP5 00000e7e: SWAP6 00000e7f: SWAP7 00000e80: SWAP8 00000e81: SWAP9 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH1 0x01 00000e86: PUSH1 0x00 00000e88: SWAP1 00000e89: SLOAD 00000e8a: SWAP1 00000e8b: PUSH2 0x0100 00000e8e: EXP 00000e8f: SWAP1 00000e90: DIV 00000e91: PUSH1 0x01 00000e93: PUSH1 0xa0 00000e95: PUSH1 0x02 00000e97: EXP 00000e98: SUB 00000e99: AND 00000e9a: PUSH1 0x01 00000e9c: PUSH1 0xa0 00000e9e: PUSH1 0x02 00000ea0: EXP 00000ea1: SUB 00000ea2: AND 00000ea3: PUSH4 0xadf59f99 00000ea8: DUP3 00000ea9: PUSH1 0x00 00000eab: DUP8 00000eac: DUP8 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: DUP6 00000eb1: PUSH1 0xe0 00000eb3: PUSH1 0x02 00000eb5: EXP 00000eb6: MUL 00000eb7: DUP2 00000eb8: MSTORE 00000eb9: PUSH1 0x04 00000ebb: ADD 00000ebc: DUP1 00000ebd: DUP5 00000ebe: DUP2 00000ebf: MSTORE 00000ec0: PUSH1 0x20 00000ec2: ADD 00000ec3: DUP1 00000ec4: PUSH1 0x20 00000ec6: ADD 00000ec7: DUP1 00000ec8: PUSH1 0x20 00000eca: ADD 00000ecb: DUP4 00000ecc: DUP2 00000ecd: SUB 00000ece: DUP4 00000ecf: MSTORE 00000ed0: DUP6 00000ed1: DUP2 00000ed2: DUP2 00000ed3: MLOAD 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x20 00000ed8: ADD 00000ed9: SWAP2 00000eda: POP 00000edb: DUP1 00000edc: MLOAD 00000edd: SWAP1 00000ede: PUSH1 0x20 00000ee0: ADD 00000ee1: SWAP1 00000ee2: DUP1 00000ee3: DUP4 00000ee4: DUP4 00000ee5: DUP3 00000ee6: SWAP1 00000ee7: PUSH1 0x00 00000ee9: PUSH1 0x04 00000eeb: PUSH1 0x20 00000eed: DUP5 00000eee: PUSH1 0x1f 00000ef0: ADD 00000ef1: DIV 00000ef2: PUSH1 0x0f 00000ef4: MUL 00000ef5: PUSH1 0x03 00000ef7: ADD 00000ef8: CALL 00000ef9: POP 00000efa: SWAP1 00000efb: POP 00000efc: SWAP1 00000efd: DUP2 00000efe: ADD 00000eff: SWAP1 00000f00: PUSH1 0x1f 00000f02: AND 00000f03: DUP1 00000f04: ISZERO 00000f05: PUSH2 0x0f22 00000f08: JUMPI 00000f09: DUP1 00000f0a: DUP3 00000f0b: SUB 00000f0c: DUP1 00000f0d: MLOAD 00000f0e: PUSH1 0x01 00000f10: DUP4 00000f11: PUSH1 0x20 00000f13: SUB 00000f14: PUSH2 0x0100 00000f17: EXP 00000f18: SUB 00000f19: NOT 00000f1a: AND 00000f1b: DUP2 00000f1c: MSTORE 00000f1d: PUSH1 0x20 00000f1f: ADD 00000f20: SWAP2 00000f21: POP 00000f22: JUMPDEST 00000f23: POP 00000f24: DUP4 00000f25: DUP2 00000f26: SUB 00000f27: DUP3 00000f28: MSTORE 00000f29: DUP5 00000f2a: DUP2 00000f2b: DUP2 00000f2c: MLOAD 00000f2d: DUP2 00000f2e: MSTORE 00000f2f: PUSH1 0x20 00000f31: ADD 00000f32: SWAP2 00000f33: POP 00000f34: DUP1 00000f35: MLOAD 00000f36: SWAP1 00000f37: PUSH1 0x20 00000f39: ADD 00000f3a: SWAP1 00000f3b: DUP1 00000f3c: DUP4 00000f3d: DUP4 00000f3e: DUP3 00000f3f: SWAP1 00000f40: PUSH1 0x00 00000f42: PUSH1 0x04 00000f44: PUSH1 0x20 00000f46: DUP5 00000f47: PUSH1 0x1f 00000f49: ADD 00000f4a: DIV 00000f4b: PUSH1 0x0f 00000f4d: MUL 00000f4e: PUSH1 0x03 00000f50: ADD 00000f51: CALL 00000f52: POP 00000f53: SWAP1 00000f54: POP 00000f55: SWAP1 00000f56: DUP2 00000f57: ADD 00000f58: SWAP1 00000f59: PUSH1 0x1f 00000f5b: AND 00000f5c: DUP1 00000f5d: ISZERO 00000f5e: PUSH2 0x0f7b 00000f61: JUMPI 00000f62: DUP1 00000f63: DUP3 00000f64: SUB 00000f65: DUP1 00000f66: MLOAD 00000f67: PUSH1 0x01 00000f69: DUP4 00000f6a: PUSH1 0x20 00000f6c: SUB 00000f6d: PUSH2 0x0100 00000f70: EXP 00000f71: SUB 00000f72: NOT 00000f73: AND 00000f74: DUP2 00000f75: MSTORE 00000f76: PUSH1 0x20 00000f78: ADD 00000f79: SWAP2 00000f7a: POP 00000f7b: JUMPDEST 00000f7c: POP 00000f7d: SWAP6 00000f7e: POP 00000f7f: POP 00000f80: POP 00000f81: POP 00000f82: POP 00000f83: POP 00000f84: PUSH1 0x20 00000f86: PUSH1 0x40 00000f88: MLOAD 00000f89: DUP1 00000f8a: DUP4 00000f8b: SUB 00000f8c: DUP2 00000f8d: DUP6 00000f8e: DUP9 00000f8f: PUSH2 0x8502 00000f92: GAS 00000f93: SUB 00000f94: CALL 00000f95: ISZERO 00000f96: PUSH2 0x0002 00000f99: JUMPI 00000f9a: POP 00000f9b: POP 00000f9c: PUSH1 0x40 00000f9e: MLOAD 00000f9f: MLOAD 00000fa0: SWAP4 00000fa1: POP 00000fa2: PUSH2 0x085d 00000fa5: SWAP2 00000fa6: POP 00000fa7: POP 00000fa8: JUMP 00000fa9: JUMPDEST 00000faa: SWAP1 00000fab: POP 00000fac: PUSH2 0x0d66 00000faf: JUMP 00000fb0: JUMPDEST 00000fb1: SWAP2 00000fb2: POP 00000fb3: PUSH1 0x01 00000fb5: SWAP1 00000fb6: POP 00000fb7: JUMPDEST 00000fb8: PUSH1 0x08 00000fba: SLOAD 00000fbb: DUP2 00000fbc: GT 00000fbd: PUSH2 0x0fe1 00000fc0: JUMPI 00000fc1: PUSH1 0x00 00000fc3: DUP2 00000fc4: DUP2 00000fc5: MSTORE 00000fc6: PUSH1 0x07 00000fc8: PUSH1 0x20 00000fca: MSTORE 00000fcb: PUSH1 0x40 00000fcd: SWAP1 00000fce: KECCAK256 00000fcf: SLOAD 00000fd0: PUSH2 0x1049 00000fd3: SWAP1 00000fd4: PUSH1 0x01 00000fd6: PUSH1 0xa0 00000fd8: PUSH1 0x02 00000fda: EXP 00000fdb: SUB 00000fdc: AND 00000fdd: PUSH2 0x0498 00000fe0: JUMP 00000fe1: JUMPDEST 00000fe2: PUSH1 0x0a 00000fe4: DUP4 00000fe5: SWAP1 00000fe6: SSTORE 00000fe7: DUP2 00000fe8: DUP4 00000fe9: EQ 00000fea: DUP1 00000feb: ISZERO 00000fec: SWAP1 00000fed: PUSH2 0x0ff9 00000ff0: JUMPI 00000ff1: POP 00000ff2: PUSH1 0x08 00000ff4: SLOAD 00000ff5: PUSH1 0x00 00000ff7: SWAP1 00000ff8: GT 00000ff9: JUMPDEST 00000ffa: ISZERO 00000ffb: PUSH2 0x103e 00000ffe: JUMPI 00000fff: PUSH1 0x01 00001001: PUSH1 0x00 00001003: MSTORE 00001004: PUSH1 0x07 00001006: PUSH1 0x20 00001008: MSTORE 00001009: PUSH32 0xb39221ace053465ec3453ce2b36430bd138b997ecea25c1043da0c366812b829 0000102a: DUP1 0000102b: SLOAD 0000102c: DUP5 0000102d: DUP5 0000102e: SUB 0000102f: SWAP1 00001030: DUP2 00001031: ADD 00001032: SWAP1 00001033: SWAP2 00001034: SSTORE 00001035: PUSH1 0x0a 00001037: DUP1 00001038: SLOAD 00001039: SWAP1 0000103a: SWAP2 0000103b: ADD 0000103c: SWAP1 0000103d: SSTORE 0000103e: JUMPDEST 0000103f: PUSH1 0x0f 00001041: SLOAD 00001042: PUSH1 0x10 00001044: SSTORE 00001045: POP 00001046: POP 00001047: POP 00001048: JUMP 00001049: JUMPDEST 0000104a: PUSH1 0x00 0000104c: DUP3 0000104d: DUP2 0000104e: MSTORE 0000104f: PUSH1 0x07 00001051: PUSH1 0x20 00001053: MSTORE 00001054: PUSH1 0x40 00001056: SWAP1 00001057: KECCAK256 00001058: PUSH1 0x01 0000105a: SWAP1 0000105b: DUP2 0000105c: ADD 0000105d: DUP3 0000105e: SWAP1 0000105f: SSTORE 00001060: SWAP4 00001061: ADD 00001062: SWAP3 00001063: ADD 00001064: PUSH2 0x0fb7 00001067: JUMP 00001068: JUMPDEST 00001069: PUSH2 0x1071 0000106c: DUP3 0000106d: PUSH2 0x0498 00001070: JUMP 00001071: JUMPDEST 00001072: DUP2 00001073: GT 00001074: ISZERO 00001075: PUSH2 0x1084 00001078: JUMPI 00001079: PUSH2 0x1081 0000107c: DUP3 0000107d: PUSH2 0x0498 00001080: JUMP 00001081: JUMPDEST 00001082: SWAP1 00001083: POP 00001084: JUMPDEST 00001085: PUSH1 0x01 00001087: PUSH1 0xa0 00001089: PUSH1 0x02 0000108b: EXP 0000108c: SUB 0000108d: DUP3 0000108e: AND 0000108f: PUSH1 0x00 00001091: DUP2 00001092: DUP2 00001093: MSTORE 00001094: PUSH1 0x09 00001096: PUSH1 0x20 00001098: SWAP1 00001099: DUP2 0000109a: MSTORE 0000109b: PUSH1 0x40 0000109d: DUP1 0000109e: DUP4 0000109f: KECCAK256 000010a0: SLOAD 000010a1: DUP4 000010a2: MSTORE 000010a3: PUSH1 0x07 000010a5: SWAP1 000010a6: SWAP2 000010a7: MSTORE 000010a8: DUP1 000010a9: DUP3 000010aa: KECCAK256 000010ab: PUSH1 0x01 000010ad: ADD 000010ae: DUP1 000010af: SLOAD 000010b0: DUP6 000010b1: SWAP1 000010b2: SUB 000010b3: SWAP1 000010b4: SSTORE 000010b5: PUSH1 0x0a 000010b7: DUP1 000010b8: SLOAD 000010b9: DUP6 000010ba: SWAP1 000010bb: SUB 000010bc: SWAP1 000010bd: SSTORE 000010be: MLOAD 000010bf: DUP4 000010c0: SWAP1 000010c1: DUP3 000010c2: DUP2 000010c3: DUP2 000010c4: DUP2 000010c5: DUP6 000010c6: DUP9 000010c7: DUP4 000010c8: CALL 000010c9: SWAP4 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: POP 000010ce: ISZERO 000010cf: PUSH2 0x0864 000010d2: JUMPI 000010d3: PUSH2 0x0bb4 000010d6: JUMP 000010d7: JUMPDEST 000010d8: DUP4 000010d9: DUP2 000010da: DUP2 000010db: MLOAD 000010dc: DUP2 000010dd: LT 000010de: ISZERO 000010df: PUSH2 0x0002 000010e2: JUMPI 000010e3: ADD 000010e4: PUSH1 0x20 000010e6: ADD 000010e7: MLOAD 000010e8: PUSH1 0xf8 000010ea: PUSH1 0x02 000010ec: EXP 000010ed: SWAP1 000010ee: DUP2 000010ef: SWAP1 000010f0: DIV 000010f1: MUL 000010f2: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00001113: EQ 00001114: ISZERO 00001115: PUSH2 0x111d 00001118: JUMPI 00001119: PUSH1 0x01 0000111b: SWAP2 0000111c: POP 0000111d: JUMPDEST 0000111e: PUSH1 0x01 00001120: ADD 00001121: PUSH2 0x091d 00001124: JUMP 00001125: JUMPDEST 00001126: PUSH1 0x00 00001128: NOT 00001129: SWAP6 0000112a: SWAP1 0000112b: SWAP6 0000112c: ADD 0000112d: SWAP5 0000112e: JUMPDEST 0000112f: PUSH1 0x0a 00001131: DUP4 00001132: MUL 00001133: SWAP3 00001134: POP 00001135: DUP3 00001136: POP 00001137: PUSH1 0x30 00001139: DUP5 0000113a: DUP3 0000113b: DUP2 0000113c: MLOAD 0000113d: DUP2 0000113e: LT 0000113f: ISZERO 00001140: PUSH2 0x0002 00001143: JUMPI 00001144: ADD 00001145: PUSH1 0x20 00001147: ADD 00001148: MLOAD 00001149: PUSH1 0xf8 0000114b: PUSH1 0x02 0000114d: EXP 0000114e: SWAP1 0000114f: DUP2 00001150: SWAP1 00001151: DIV 00001152: DUP2 00001153: MUL 00001154: DIV 00001155: SWAP1 00001156: SWAP4 00001157: ADD 00001158: PUSH1 0x2f 0000115a: NOT 0000115b: ADD 0000115c: SWAP3 0000115d: POP 0000115e: PUSH2 0x111d 00001161: 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: 0x7c66fccb186368be877394aa1616914460e4ecc2529a0fceea9cdcf4acde0a8d
call_targets:
0x4d0cc9e4403d0863bf651dad928d84661fae2c49
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7c66fccb186368be877394aa1616914460e4ecc2529a0fceea9cdcf4acde0a8d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4d0cc9e4403d0863bf651dad928d84661fae2c49"
],
"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": "0x058aace1",
"selector": "0x058aace1",
"calldata_variants": [
"0x058aace1",
"0x058aace10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16d190e3",
"selector": "0x16d190e3",
"calldata_variants": [
"0x16d190e3",
"0x16d190e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x337b68ba",
"selector": "0x337b68ba",
"calldata_variants": [
"0x337b68ba",
"0x337b68ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e69d560",
"selector": "0x4e69d560",
"calldata_variants": [
"0x4e69d560",
"0x4e69d5600000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 486,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 602,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"call_count": 16,
"guards_detected": [],
"untrusted_call_count": 16
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7c66fccb186368be877394aa1616914460e4ecc2529a0fceea9cdcf4acde0a8d
call_targets:
0x4d0cc9e4403d0863bf651dad928d84661fae2c49
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7c66fccb186368be877394aa1616914460e4ecc2529a0fceea9cdcf4acde0a8d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4d0cc9e4403d0863bf651dad928d84661fae2c49"
],
"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": "0x058aace1",
"selector": "0x058aace1",
"calldata_variants": [
"0x058aace1",
"0x058aace10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x16d190e3",
"selector": "0x16d190e3",
"calldata_variants": [
"0x16d190e3",
"0x16d190e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27dc297e",
"selector": "0x27dc297e",
"calldata_variants": [
"0x27dc297e",
"0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x337b68ba",
"selector": "0x337b68ba",
"calldata_variants": [
"0x337b68ba",
"0x337b68ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e69d560",
"selector": "0x4e69d560",
"calldata_variants": [
"0x4e69d560",
"0x4e69d5600000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 486,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 602,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 830,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"eth_value_calls": 16,
"guards_detected": []
}
|