019b3836-3b36-70ae-933c-88f42d973439
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 |
|---|---|---|---|---|
| 4357 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4358 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47340 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47341 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47342 | detector.run | complete | 1 / 3 | 1 week ago |
| 47343 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0111 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 0x011c 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x0d1fce42 00000025: EQ 00000026: PUSH2 0x012d 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x11610c25 00000030: EQ 00000031: PUSH2 0x0142 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x132ae5e9 0000003b: EQ 0000003c: PUSH2 0x048b 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x16d190e3 00000046: EQ 00000047: PUSH2 0x0494 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x337b68ba 00000051: EQ 00000052: PUSH2 0x049d 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x38bbfa50 0000005c: EQ 0000005d: PUSH2 0x04a6 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x3a6c54fb 00000067: EQ 00000068: PUSH2 0x05fe 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4e69d560 00000072: EQ 00000073: PUSH2 0x060a 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x66d16cc3 0000007d: EQ 0000007e: PUSH2 0x0627 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x724ae9d0 00000088: EQ 00000089: PUSH2 0x0630 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8ca17995 00000093: EQ 00000094: PUSH2 0x0651 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x9619367d 0000009e: EQ 0000009f: PUSH2 0x0665 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa39ce9ca 000000a9: EQ 000000aa: PUSH2 0x066e 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa96a5a5b 000000b4: EQ 000000b5: PUSH2 0x0677 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xadc2c98a 000000bf: EQ 000000c0: PUSH2 0x0680 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xbc99cc37 000000ca: EQ 000000cb: PUSH2 0x0689 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xcafb2202 000000d5: EQ 000000d6: PUSH2 0x0692 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xcff2bcfe 000000e0: EQ 000000e1: PUSH2 0x069b 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xd4c80edf 000000eb: EQ 000000ec: PUSH2 0x06a4 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xdf06f906 000000f6: EQ 000000f7: PUSH2 0x06ad 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe8b5e51f 00000101: EQ 00000102: PUSH2 0x06b6 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xf8b2cb4f 0000010c: EQ 0000010d: PUSH2 0x06e4 00000110: JUMPI 00000111: JUMPDEST 00000112: PUSH2 0x0725 00000115: PUSH2 0x0749 00000118: PUSH2 0x0146 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH2 0x0725 00000120: PUSH1 0x00 00000122: CALLVALUE 00000123: GT 00000124: ISZERO 00000125: PUSH2 0x07d4 00000128: JUMPI 00000129: PUSH2 0x0002 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH2 0x074b 00000131: JUMPDEST 00000132: PUSH1 0x0c 00000134: SLOAD 00000135: PUSH1 0x12 00000137: SLOAD 00000138: PUSH1 0x11 0000013a: SLOAD 0000013b: SWAP1 0000013c: SWAP2 0000013d: ADD 0000013e: SUB 0000013f: JUMPDEST 00000140: SWAP1 00000141: JUMP 00000142: JUMPDEST 00000143: PUSH2 0x0725 00000146: JUMPDEST 00000147: PUSH1 0x05 00000149: SLOAD 0000014a: CALLVALUE 0000014b: LT 0000014c: PUSH2 0x0e84 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: PUSH1 0x00 00000154: SWAP1 00000155: SLOAD 00000156: SWAP1 00000157: PUSH2 0x0100 0000015a: EXP 0000015b: SWAP1 0000015c: DIV 0000015d: PUSH1 0x01 0000015f: PUSH1 0xa0 00000161: PUSH1 0x02 00000163: EXP 00000164: SUB 00000165: AND 00000166: PUSH1 0x01 00000168: PUSH1 0xa0 0000016a: PUSH1 0x02 0000016c: EXP 0000016d: SUB 0000016e: AND 0000016f: PUSH4 0x38cc4831 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP2 00000178: PUSH1 0xe0 0000017a: PUSH1 0x02 0000017c: EXP 0000017d: MUL 0000017e: DUP2 0000017f: MSTORE 00000180: PUSH1 0x04 00000182: ADD 00000183: DUP1 00000184: SWAP1 00000185: POP 00000186: PUSH1 0x20 00000188: PUSH1 0x40 0000018a: MLOAD 0000018b: DUP1 0000018c: DUP4 0000018d: SUB 0000018e: DUP2 0000018f: PUSH1 0x00 00000191: DUP8 00000192: PUSH2 0x61da 00000195: GAS 00000196: SUB 00000197: CALL 00000198: ISZERO 00000199: PUSH2 0x0002 0000019c: JUMPI 0000019d: POP 0000019e: POP 0000019f: PUSH1 0x40 000001a1: DUP1 000001a2: MLOAD 000001a3: DUP1 000001a4: MLOAD 000001a5: PUSH1 0x01 000001a7: DUP1 000001a8: SLOAD 000001a9: PUSH1 0x01 000001ab: PUSH1 0xa0 000001ad: PUSH1 0x02 000001af: EXP 000001b0: SUB 000001b1: NOT 000001b2: AND 000001b3: SWAP1 000001b4: SWAP2 000001b5: OR 000001b6: SWAP1 000001b7: DUP2 000001b8: SWAP1 000001b9: SSTORE 000001ba: PUSH1 0xe2 000001bc: PUSH1 0x02 000001be: EXP 000001bf: PUSH4 0x0bbceb33 000001c4: MUL 000001c5: DUP3 000001c6: MSTORE 000001c7: PUSH3 0x0493e0 000001cb: PUSH1 0x24 000001cd: DUP4 000001ce: ADD 000001cf: MSTORE 000001d0: PUSH1 0x04 000001d2: DUP3 000001d3: ADD 000001d4: DUP4 000001d5: SWAP1 000001d6: MSTORE 000001d7: PUSH1 0x03 000001d9: PUSH1 0x44 000001db: DUP4 000001dc: ADD 000001dd: MSTORE 000001de: PUSH1 0xea 000001e0: PUSH1 0x02 000001e2: EXP 000001e3: PUSH3 0x155493 000001e7: MUL 000001e8: PUSH1 0x64 000001ea: DUP4 000001eb: ADD 000001ec: MSTORE 000001ed: SWAP2 000001ee: MLOAD 000001ef: PUSH8 0x0de0b6b3a7640000 000001f8: SWAP4 000001f9: POP 000001fa: PUSH1 0x01 000001fc: PUSH1 0xa0 000001fe: PUSH1 0x02 00000200: EXP 00000201: SUB 00000202: SWAP3 00000203: SWAP1 00000204: SWAP3 00000205: AND 00000206: SWAP2 00000207: PUSH4 0x2ef3accc 0000020c: SWAP2 0000020d: PUSH1 0x84 0000020f: DUP1 00000210: DUP3 00000211: ADD 00000212: SWAP3 00000213: PUSH1 0x20 00000215: SWAP3 00000216: SWAP1 00000217: SWAP2 00000218: SWAP1 00000219: DUP3 0000021a: SWAP1 0000021b: SUB 0000021c: ADD 0000021d: DUP2 0000021e: PUSH1 0x00 00000220: DUP8 00000221: PUSH2 0x61da 00000224: GAS 00000225: SUB 00000226: CALL 00000227: ISZERO 00000228: PUSH2 0x0002 0000022b: JUMPI 0000022c: POP 0000022d: POP 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: MLOAD 00000232: SWAP2 00000233: SWAP1 00000234: SWAP2 00000235: LT 00000236: ISZERO 00000237: SWAP1 00000238: POP 00000239: PUSH2 0x0727 0000023c: JUMPI 0000023d: PUSH1 0x40 0000023f: DUP1 00000240: MLOAD 00000241: PUSH1 0x01 00000243: SLOAD 00000244: PUSH1 0xe2 00000246: PUSH1 0x02 00000248: EXP 00000249: PUSH4 0x0bbceb33 0000024e: MUL 0000024f: DUP3 00000250: MSTORE 00000251: PUSH3 0x0493e0 00000255: PUSH1 0x24 00000257: DUP4 00000258: ADD 00000259: MSTORE 0000025a: PUSH1 0x04 0000025c: DUP3 0000025d: ADD 0000025e: DUP4 0000025f: SWAP1 00000260: MSTORE 00000261: PUSH1 0x03 00000263: PUSH1 0x44 00000265: DUP4 00000266: ADD 00000267: MSTORE 00000268: PUSH1 0xea 0000026a: PUSH1 0x02 0000026c: EXP 0000026d: PUSH3 0x155493 00000271: MUL 00000272: PUSH1 0x64 00000274: DUP4 00000275: ADD 00000276: MSTORE 00000277: SWAP2 00000278: MLOAD 00000279: PUSH1 0x01 0000027b: PUSH1 0xa0 0000027d: PUSH1 0x02 0000027f: EXP 00000280: SUB 00000281: SWAP3 00000282: SWAP1 00000283: SWAP3 00000284: AND 00000285: SWAP2 00000286: PUSH4 0x2ef3accc 0000028b: SWAP2 0000028c: PUSH1 0x84 0000028e: DUP2 0000028f: DUP2 00000290: ADD 00000291: SWAP3 00000292: PUSH1 0x20 00000294: SWAP3 00000295: SWAP1 00000296: SWAP2 00000297: SWAP1 00000298: DUP3 00000299: SWAP1 0000029a: SUB 0000029b: ADD 0000029c: DUP2 0000029d: PUSH1 0x00 0000029f: DUP8 000002a0: PUSH2 0x61da 000002a3: GAS 000002a4: SUB 000002a5: CALL 000002a6: ISZERO 000002a7: PUSH2 0x0002 000002aa: JUMPI 000002ab: POP 000002ac: POP 000002ad: PUSH1 0x40 000002af: DUP1 000002b0: MLOAD 000002b1: DUP1 000002b2: MLOAD 000002b3: PUSH1 0x11 000002b5: DUP1 000002b6: SLOAD 000002b7: SWAP2 000002b8: SWAP1 000002b9: SWAP2 000002ba: SUB 000002bb: SWAP1 000002bc: SSTORE 000002bd: DUP1 000002be: DUP3 000002bf: ADD 000002c0: DUP3 000002c1: MSTORE 000002c2: PUSH1 0x03 000002c4: DUP2 000002c5: MSTORE 000002c6: PUSH1 0xea 000002c8: PUSH1 0x02 000002ca: EXP 000002cb: PUSH3 0x155493 000002cf: MUL 000002d0: PUSH1 0x20 000002d2: DUP3 000002d3: DUP2 000002d4: ADD 000002d5: SWAP2 000002d6: SWAP1 000002d7: SWAP2 000002d8: MSTORE 000002d9: DUP3 000002da: MLOAD 000002db: PUSH1 0x60 000002dd: DUP2 000002de: ADD 000002df: DUP5 000002e0: MSTORE 000002e1: PUSH1 0x28 000002e3: DUP2 000002e4: MSTORE 000002e5: PUSH32 0x68747470733a2f2f6170692e72616e646f6d2e6f72672f6a736f6e2d7270632f 00000306: DUP2 00000307: DUP4 00000308: ADD 00000309: MSTORE 0000030a: PUSH32 0x312f696e766f6b65000000000000000000000000000000000000000000000000 0000032b: DUP2 0000032c: DUP6 0000032d: ADD 0000032e: MSTORE 0000032f: DUP4 00000330: MLOAD 00000331: PUSH1 0xc0 00000333: DUP2 00000334: ADD 00000335: SWAP1 00000336: SWAP5 00000337: MSTORE 00000338: PUSH1 0x90 0000033a: DUP1 0000033b: DUP6 0000033c: MSTORE 0000033d: PUSH2 0x0ea7 00000340: SWAP6 00000341: POP 00000342: SWAP3 00000343: SWAP4 00000344: SWAP1 00000345: SWAP3 00000346: SWAP1 00000347: SWAP2 00000348: PUSH2 0x15a3 0000034b: SWAP1 0000034c: DUP4 0000034d: ADD 0000034e: CODECOPY 0000034f: PUSH3 0x0493e0 00000353: PUSH1 0x00 00000355: DUP1 00000356: SLOAD 00000357: PUSH1 0x40 00000359: DUP1 0000035a: MLOAD 0000035b: PUSH1 0xe0 0000035d: PUSH1 0x02 0000035f: EXP 00000360: PUSH4 0x38cc4831 00000365: MUL 00000366: DUP2 00000367: MSTORE 00000368: SWAP1 00000369: MLOAD 0000036a: DUP4 0000036b: SWAP3 0000036c: PUSH1 0x01 0000036e: PUSH1 0xa0 00000370: PUSH1 0x02 00000372: EXP 00000373: SUB 00000374: AND 00000375: SWAP2 00000376: PUSH4 0x38cc4831 0000037b: SWAP2 0000037c: PUSH1 0x04 0000037e: DUP3 0000037f: DUP2 00000380: ADD 00000381: SWAP3 00000382: PUSH1 0x20 00000384: SWAP3 00000385: SWAP2 00000386: SWAP1 00000387: DUP3 00000388: SWAP1 00000389: SUB 0000038a: ADD 0000038b: DUP2 0000038c: DUP8 0000038d: DUP8 0000038e: PUSH2 0x61da 00000391: GAS 00000392: SUB 00000393: CALL 00000394: ISZERO 00000395: PUSH2 0x0002 00000398: JUMPI 00000399: POP 0000039a: POP 0000039b: PUSH1 0x40 0000039d: DUP1 0000039e: MLOAD 0000039f: DUP1 000003a0: MLOAD 000003a1: PUSH1 0x01 000003a3: DUP1 000003a4: SLOAD 000003a5: PUSH1 0x01 000003a7: PUSH1 0xa0 000003a9: PUSH1 0x02 000003ab: EXP 000003ac: SUB 000003ad: NOT 000003ae: AND 000003af: SWAP1 000003b0: SWAP2 000003b1: OR 000003b2: SWAP1 000003b3: DUP2 000003b4: SWAP1 000003b5: SSTORE 000003b6: PUSH1 0xe2 000003b8: PUSH1 0x02 000003ba: EXP 000003bb: PUSH4 0x0bbceb33 000003c0: MUL 000003c1: DUP3 000003c2: MSTORE 000003c3: PUSH1 0x24 000003c5: DUP3 000003c6: ADD 000003c7: DUP8 000003c8: SWAP1 000003c9: MSTORE 000003ca: PUSH1 0x04 000003cc: DUP3 000003cd: DUP2 000003ce: ADD 000003cf: SWAP4 000003d0: DUP5 000003d1: MSTORE 000003d2: DUP11 000003d3: MLOAD 000003d4: PUSH1 0x44 000003d6: DUP5 000003d7: ADD 000003d8: MSTORE 000003d9: DUP11 000003da: MLOAD 000003db: PUSH1 0x01 000003dd: PUSH1 0xa0 000003df: PUSH1 0x02 000003e1: EXP 000003e2: SUB 000003e3: SWAP3 000003e4: SWAP1 000003e5: SWAP3 000003e6: AND 000003e7: SWAP5 000003e8: POP 000003e9: PUSH4 0x2ef3accc 000003ee: SWAP4 000003ef: DUP12 000003f0: SWAP4 000003f1: DUP10 000003f2: SWAP4 000003f3: SWAP2 000003f4: SWAP3 000003f5: DUP4 000003f6: SWAP3 000003f7: PUSH1 0x64 000003f9: SWAP3 000003fa: SWAP1 000003fb: SWAP3 000003fc: ADD 000003fd: SWAP2 000003fe: PUSH1 0x20 00000400: DUP8 00000401: DUP2 00000402: ADD 00000403: SWAP3 00000404: DUP3 00000405: SWAP2 00000406: DUP6 00000407: SWAP2 00000408: DUP4 00000409: SWAP2 0000040a: DUP7 0000040b: SWAP2 0000040c: DUP16 0000040d: SWAP2 0000040e: PUSH1 0x1f 00000410: DUP6 00000411: ADD 00000412: DIV 00000413: PUSH1 0x0f 00000415: MUL 00000416: PUSH1 0x03 00000418: ADD 00000419: CALL 0000041a: POP 0000041b: SWAP1 0000041c: POP 0000041d: SWAP1 0000041e: DUP2 0000041f: ADD 00000420: SWAP1 00000421: PUSH1 0x1f 00000423: AND 00000424: DUP1 00000425: ISZERO 00000426: PUSH2 0x0443 00000429: JUMPI 0000042a: DUP1 0000042b: DUP3 0000042c: SUB 0000042d: DUP1 0000042e: MLOAD 0000042f: PUSH1 0x01 00000431: DUP4 00000432: PUSH1 0x20 00000434: SUB 00000435: PUSH2 0x0100 00000438: EXP 00000439: SUB 0000043a: NOT 0000043b: AND 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x20 00000440: ADD 00000441: SWAP2 00000442: POP 00000443: JUMPDEST 00000444: POP 00000445: SWAP4 00000446: POP 00000447: POP 00000448: POP 00000449: POP 0000044a: PUSH1 0x20 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: DUP1 00000450: DUP4 00000451: SUB 00000452: DUP2 00000453: PUSH1 0x00 00000455: DUP8 00000456: PUSH2 0x61da 00000459: GAS 0000045a: SUB 0000045b: CALL 0000045c: ISZERO 0000045d: PUSH2 0x0002 00000460: JUMPI 00000461: POP 00000462: POP 00000463: PUSH1 0x40 00000465: MLOAD 00000466: MLOAD 00000467: SWAP2 00000468: POP 00000469: POP 0000046a: GASPRICE 0000046b: DUP4 0000046c: MUL 0000046d: PUSH8 0x0de0b6b3a7640000 00000476: ADD 00000477: DUP2 00000478: GT 00000479: ISZERO 0000047a: PUSH2 0x11d8 0000047d: JUMPI 0000047e: PUSH1 0x00 00000480: SWAP2 00000481: POP 00000482: JUMPDEST 00000483: POP 00000484: SWAP5 00000485: SWAP4 00000486: POP 00000487: POP 00000488: POP 00000489: POP 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH2 0x074b 0000048f: PUSH1 0x0a 00000491: SLOAD 00000492: DUP2 00000493: JUMP 00000494: JUMPDEST 00000495: PUSH2 0x074b 00000498: PUSH1 0x04 0000049a: SLOAD 0000049b: DUP2 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x074b 000004a1: PUSH1 0x12 000004a3: SLOAD 000004a4: DUP2 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x40 000004a9: DUP1 000004aa: MLOAD 000004ab: PUSH1 0x20 000004ad: PUSH1 0x24 000004af: DUP1 000004b0: CALLDATALOAD 000004b1: PUSH1 0x04 000004b3: DUP2 000004b4: DUP2 000004b5: ADD 000004b6: CALLDATALOAD 000004b7: PUSH1 0x1f 000004b9: DUP2 000004ba: ADD 000004bb: DUP6 000004bc: SWAP1 000004bd: DIV 000004be: DUP6 000004bf: MUL 000004c0: DUP7 000004c1: ADD 000004c2: DUP6 000004c3: ADD 000004c4: SWAP1 000004c5: SWAP7 000004c6: MSTORE 000004c7: DUP6 000004c8: DUP6 000004c9: MSTORE 000004ca: PUSH2 0x0725 000004cd: SWAP6 000004ce: DUP2 000004cf: CALLDATALOAD 000004d0: SWAP6 000004d1: SWAP2 000004d2: SWAP5 000004d3: PUSH1 0x44 000004d5: SWAP5 000004d6: SWAP3 000004d7: SWAP4 000004d8: SWAP1 000004d9: SWAP3 000004da: ADD 000004db: SWAP2 000004dc: DUP2 000004dd: SWAP1 000004de: DUP5 000004df: ADD 000004e0: DUP4 000004e1: DUP3 000004e2: DUP1 000004e3: DUP3 000004e4: DUP5 000004e5: CALLDATACOPY 000004e6: POP 000004e7: POP 000004e8: PUSH1 0x40 000004ea: DUP1 000004eb: MLOAD 000004ec: PUSH1 0x20 000004ee: SWAP8 000004ef: CALLDATALOAD 000004f0: DUP1 000004f1: DUP11 000004f2: ADD 000004f3: CALLDATALOAD 000004f4: PUSH1 0x1f 000004f6: DUP2 000004f7: ADD 000004f8: DUP11 000004f9: SWAP1 000004fa: DIV 000004fb: DUP11 000004fc: MUL 000004fd: DUP4 000004fe: ADD 000004ff: DUP11 00000500: ADD 00000501: SWAP1 00000502: SWAP4 00000503: MSTORE 00000504: DUP3 00000505: DUP3 00000506: MSTORE 00000507: SWAP7 00000508: SWAP9 00000509: SWAP8 0000050a: PUSH1 0x64 0000050c: SWAP8 0000050d: SWAP2 0000050e: SWAP7 0000050f: POP 00000510: PUSH1 0x24 00000512: SWAP2 00000513: SWAP1 00000514: SWAP2 00000515: ADD 00000516: SWAP5 00000517: POP 00000518: SWAP1 00000519: SWAP3 0000051a: POP 0000051b: DUP3 0000051c: SWAP2 0000051d: POP 0000051e: DUP5 0000051f: ADD 00000520: DUP4 00000521: DUP3 00000522: DUP1 00000523: DUP3 00000524: DUP5 00000525: CALLDATACOPY 00000526: POP 00000527: SWAP5 00000528: SWAP7 00000529: POP 0000052a: POP 0000052b: POP 0000052c: POP 0000052d: POP 0000052e: POP 0000052f: POP 00000530: PUSH1 0x00 00000532: PUSH1 0x00 00000534: PUSH2 0x0a3f 00000537: PUSH1 0x40 00000539: DUP1 0000053a: MLOAD 0000053b: PUSH1 0x00 0000053d: DUP1 0000053e: SLOAD 0000053f: PUSH1 0xe0 00000541: PUSH1 0x02 00000543: EXP 00000544: PUSH4 0x38cc4831 00000549: MUL 0000054a: DUP4 0000054b: MSTORE 0000054c: SWAP3 0000054d: MLOAD 0000054e: SWAP1 0000054f: SWAP3 00000550: PUSH1 0x01 00000552: PUSH1 0xa0 00000554: PUSH1 0x02 00000556: EXP 00000557: SUB 00000558: AND 00000559: SWAP2 0000055a: PUSH4 0x38cc4831 0000055f: SWAP2 00000560: PUSH1 0x04 00000562: DUP3 00000563: DUP2 00000564: ADD 00000565: SWAP3 00000566: PUSH1 0x20 00000568: SWAP3 00000569: SWAP2 0000056a: SWAP1 0000056b: DUP3 0000056c: SWAP1 0000056d: SUB 0000056e: ADD 0000056f: DUP2 00000570: DUP8 00000571: DUP8 00000572: PUSH2 0x61da 00000575: GAS 00000576: SUB 00000577: CALL 00000578: ISZERO 00000579: PUSH2 0x0002 0000057c: JUMPI 0000057d: POP 0000057e: POP 0000057f: PUSH1 0x40 00000581: DUP1 00000582: MLOAD 00000583: DUP1 00000584: MLOAD 00000585: PUSH1 0x01 00000587: DUP1 00000588: SLOAD 00000589: PUSH1 0x01 0000058b: PUSH1 0xa0 0000058d: PUSH1 0x02 0000058f: EXP 00000590: SUB 00000591: NOT 00000592: AND 00000593: SWAP1 00000594: SWAP2 00000595: OR 00000596: SWAP1 00000597: DUP2 00000598: SWAP1 00000599: SSTORE 0000059a: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000 000005bb: DUP3 000005bc: MSTORE 000005bd: SWAP2 000005be: MLOAD 000005bf: PUSH1 0x01 000005c1: PUSH1 0xa0 000005c3: PUSH1 0x02 000005c5: EXP 000005c6: SUB 000005c7: SWAP3 000005c8: SWAP1 000005c9: SWAP3 000005ca: AND 000005cb: SWAP3 000005cc: POP 000005cd: PUSH4 0xc281d19e 000005d2: SWAP2 000005d3: PUSH1 0x04 000005d5: DUP3 000005d6: DUP2 000005d7: ADD 000005d8: SWAP3 000005d9: PUSH1 0x20 000005db: SWAP3 000005dc: SWAP2 000005dd: SWAP1 000005de: DUP3 000005df: SWAP1 000005e0: SUB 000005e1: ADD 000005e2: DUP2 000005e3: DUP8 000005e4: DUP8 000005e5: PUSH2 0x61da 000005e8: GAS 000005e9: SUB 000005ea: CALL 000005eb: ISZERO 000005ec: PUSH2 0x0002 000005ef: JUMPI 000005f0: POP 000005f1: POP 000005f2: PUSH1 0x40 000005f4: MLOAD 000005f5: MLOAD 000005f6: SWAP2 000005f7: POP 000005f8: PUSH2 0x013f 000005fb: SWAP1 000005fc: POP 000005fd: JUMP 000005fe: JUMPDEST 000005ff: PUSH2 0x074b 00000602: PUSH1 0x08 00000604: SLOAD 00000605: PUSH1 0xff 00000607: AND 00000608: DUP2 00000609: JUMP 0000060a: JUMPDEST 0000060b: PUSH2 0x075d 0000060e: PUSH1 0x00 00000610: PUSH1 0x00 00000612: PUSH1 0x00 00000614: PUSH1 0x00 00000616: PUSH1 0x00 00000618: PUSH1 0x00 0000061a: PUSH1 0x00 0000061c: PUSH1 0x00 0000061e: PUSH1 0x00 00000620: PUSH2 0x0e37 00000623: PUSH2 0x0131 00000626: JUMP 00000627: JUMPDEST 00000628: PUSH2 0x074b 0000062b: PUSH1 0x11 0000062d: SLOAD 0000062e: DUP2 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH2 0x074b 00000634: JUMPDEST 00000635: PUSH1 0x00 00000637: PUSH1 0x00 00000639: PUSH1 0x00 0000063b: PUSH1 0x06 0000063d: PUSH1 0x00 0000063f: POP 00000640: SLOAD 00000641: PUSH1 0x0a 00000643: PUSH1 0x00 00000645: POP 00000646: SLOAD 00000647: LT 00000648: ISZERO 00000649: PUSH2 0x0d9e 0000064c: JUMPI 0000064d: PUSH2 0x0ddd 00000650: JUMP 00000651: JUMPDEST 00000652: PUSH2 0x0725 00000655: PUSH1 0x04 00000657: CALLDATALOAD 00000658: PUSH1 0x00 0000065a: CALLVALUE 0000065b: GT 0000065c: ISZERO 0000065d: PUSH2 0x07a4 00000660: JUMPI 00000661: PUSH2 0x0002 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH2 0x074b 00000669: PUSH1 0x05 0000066b: SLOAD 0000066c: DUP2 0000066d: JUMP 0000066e: JUMPDEST 0000066f: PUSH2 0x074b 00000672: PUSH1 0x07 00000674: SLOAD 00000675: DUP2 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH2 0x074b 0000067b: PUSH1 0x02 0000067d: SLOAD 0000067e: DUP2 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH2 0x074b 00000684: PUSH1 0x03 00000686: SLOAD 00000687: DUP2 00000688: JUMP 00000689: JUMPDEST 0000068a: PUSH2 0x074b 0000068d: PUSH1 0x06 0000068f: SLOAD 00000690: DUP2 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH2 0x074b 00000696: PUSH1 0x0c 00000698: SLOAD 00000699: DUP2 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH2 0x074b 0000069f: PUSH1 0x0e 000006a1: SLOAD 000006a2: DUP2 000006a3: JUMP 000006a4: JUMPDEST 000006a5: PUSH2 0x074b 000006a8: PUSH1 0x10 000006aa: SLOAD 000006ab: DUP2 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH2 0x074b 000006b1: PUSH1 0x0f 000006b3: SLOAD 000006b4: DUP2 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH2 0x0725 000006ba: CALLER 000006bb: PUSH1 0x01 000006bd: PUSH1 0xa0 000006bf: PUSH1 0x02 000006c1: EXP 000006c2: SUB 000006c3: AND 000006c4: PUSH1 0x00 000006c6: SWAP1 000006c7: DUP2 000006c8: MSTORE 000006c9: PUSH1 0x0b 000006cb: PUSH1 0x20 000006cd: MSTORE 000006ce: PUSH1 0x40 000006d0: DUP2 000006d1: KECCAK256 000006d2: SLOAD 000006d3: DUP2 000006d4: SWAP1 000006d5: DUP2 000006d6: SWAP1 000006d7: GT 000006d8: ISZERO 000006d9: PUSH2 0x0821 000006dc: JUMPI 000006dd: PUSH2 0x083f 000006e0: PUSH2 0x0825 000006e3: JUMP 000006e4: JUMPDEST 000006e5: PUSH2 0x074b 000006e8: PUSH1 0x04 000006ea: CALLDATALOAD 000006eb: JUMPDEST 000006ec: PUSH1 0x01 000006ee: PUSH1 0xa0 000006f0: PUSH1 0x02 000006f2: EXP 000006f3: SUB 000006f4: DUP2 000006f5: AND 000006f6: PUSH1 0x00 000006f8: SWAP1 000006f9: DUP2 000006fa: MSTORE 000006fb: PUSH1 0x0b 000006fd: PUSH1 0x20 000006ff: MSTORE 00000700: PUSH1 0x40 00000702: DUP2 00000703: KECCAK256 00000704: SLOAD 00000705: DUP2 00000706: SWAP1 00000707: GT 00000708: DUP1 00000709: ISZERO 0000070a: PUSH2 0x0715 0000070d: JUMPI 0000070e: POP 0000070f: PUSH1 0x0c 00000711: SLOAD 00000712: DUP2 00000713: SWAP1 00000714: GT 00000715: JUMPDEST 00000716: ISZERO 00000717: PUSH2 0x07e6 0000071a: JUMPI 0000071b: PUSH1 0x0c 0000071d: SLOAD 0000071e: PUSH2 0x07ef 00000721: PUSH2 0x0131 00000724: JUMP 00000725: JUMPDEST 00000726: STOP 00000727: JUMPDEST 00000728: PUSH1 0x40 0000072a: MLOAD 0000072b: CALLER 0000072c: PUSH1 0x01 0000072e: PUSH1 0xa0 00000730: PUSH1 0x02 00000732: EXP 00000733: SUB 00000734: AND 00000735: SWAP1 00000736: PUSH1 0x00 00000738: SWAP1 00000739: PUSH1 0x02 0000073b: SWAP1 0000073c: DUP3 0000073d: DUP2 0000073e: DUP2 0000073f: DUP2 00000740: DUP6 00000741: DUP9 00000742: DUP4 00000743: CALL 00000744: POP 00000745: POP 00000746: POP 00000747: POP 00000748: POP 00000749: JUMPDEST 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH1 0x40 0000074e: DUP1 0000074f: MLOAD 00000750: SWAP2 00000751: DUP3 00000752: MSTORE 00000753: MLOAD 00000754: SWAP1 00000755: DUP2 00000756: SWAP1 00000757: SUB 00000758: PUSH1 0x20 0000075a: ADD 0000075b: SWAP1 0000075c: RETURN 0000075d: JUMPDEST 0000075e: PUSH1 0x40 00000760: DUP1 00000761: MLOAD 00000762: SWAP10 00000763: DUP11 00000764: MSTORE 00000765: PUSH1 0x20 00000767: DUP11 00000768: ADD 00000769: SWAP9 0000076a: SWAP1 0000076b: SWAP9 0000076c: MSTORE 0000076d: DUP9 0000076e: DUP9 0000076f: ADD 00000770: SWAP7 00000771: SWAP1 00000772: SWAP7 00000773: MSTORE 00000774: PUSH1 0x60 00000776: DUP9 00000777: ADD 00000778: SWAP5 00000779: SWAP1 0000077a: SWAP5 0000077b: MSTORE 0000077c: PUSH1 0x80 0000077e: DUP8 0000077f: ADD 00000780: SWAP3 00000781: SWAP1 00000782: SWAP3 00000783: MSTORE 00000784: PUSH1 0xa0 00000786: DUP7 00000787: ADD 00000788: MSTORE 00000789: PUSH1 0xc0 0000078b: DUP6 0000078c: ADD 0000078d: MSTORE 0000078e: PUSH1 0xe0 00000790: DUP5 00000791: ADD 00000792: MSTORE 00000793: PUSH2 0x0100 00000796: DUP4 00000797: ADD 00000798: MSTORE 00000799: MLOAD 0000079a: SWAP1 0000079b: DUP2 0000079c: SWAP1 0000079d: SUB 0000079e: PUSH2 0x0120 000007a1: ADD 000007a2: SWAP1 000007a3: RETURN 000007a4: JUMPDEST 000007a5: PUSH2 0x07d1 000007a8: CALLER 000007a9: DUP3 000007aa: JUMPDEST 000007ab: PUSH1 0x01 000007ad: PUSH1 0xa0 000007af: PUSH1 0x02 000007b1: EXP 000007b2: SUB 000007b3: DUP3 000007b4: AND 000007b5: PUSH1 0x00 000007b7: SWAP1 000007b8: DUP2 000007b9: MSTORE 000007ba: PUSH1 0x0b 000007bc: PUSH1 0x20 000007be: MSTORE 000007bf: PUSH1 0x40 000007c1: DUP2 000007c2: KECCAK256 000007c3: SLOAD 000007c4: GT 000007c5: ISZERO 000007c6: PUSH2 0x0960 000007c9: JUMPI 000007ca: PUSH2 0x0ef0 000007cd: PUSH2 0x0825 000007d0: JUMP 000007d1: JUMPDEST 000007d2: POP 000007d3: JUMP 000007d4: JUMPDEST 000007d5: PUSH2 0x0749 000007d8: CALLER 000007d9: PUSH2 0x07e1 000007dc: CALLER 000007dd: PUSH2 0x06eb 000007e0: JUMP 000007e1: JUMPDEST 000007e2: PUSH2 0x07aa 000007e5: JUMP 000007e6: JUMPDEST 000007e7: POP 000007e8: PUSH1 0x00 000007ea: JUMPDEST 000007eb: SWAP2 000007ec: SWAP1 000007ed: POP 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x01 000007f2: PUSH1 0xa0 000007f4: PUSH1 0x02 000007f6: EXP 000007f7: SUB 000007f8: DUP5 000007f9: AND 000007fa: PUSH1 0x00 000007fc: SWAP1 000007fd: DUP2 000007fe: MSTORE 000007ff: PUSH1 0x0b 00000801: PUSH1 0x20 00000803: SWAP1 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x40 00000808: DUP1 00000809: DUP4 0000080a: KECCAK256 0000080b: SLOAD 0000080c: DUP4 0000080d: MSTORE 0000080e: PUSH1 0x09 00000810: SWAP1 00000811: SWAP2 00000812: MSTORE 00000813: SWAP1 00000814: KECCAK256 00000815: PUSH1 0x01 00000817: ADD 00000818: SLOAD 00000819: MUL 0000081a: DIV 0000081b: SWAP1 0000081c: POP 0000081d: PUSH2 0x07ea 00000820: JUMP 00000821: JUMPDEST 00000822: PUSH2 0x087e 00000825: JUMPDEST 00000826: PUSH1 0x11 00000828: SLOAD 00000829: PUSH1 0x12 0000082b: SLOAD 0000082c: PUSH1 0x00 0000082e: SWAP2 0000082f: DUP3 00000830: SWAP2 00000831: DUP3 00000832: SWAP2 00000833: EQ 00000834: PUSH2 0x0fc3 00000837: JUMPI 00000838: PUSH2 0x0fc8 0000083b: PUSH2 0x0131 0000083e: JUMP 0000083f: JUMPDEST 00000840: CALLER 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: PUSH1 0x02 00000847: EXP 00000848: SUB 00000849: AND 0000084a: PUSH1 0x00 0000084c: SWAP1 0000084d: DUP2 0000084e: MSTORE 0000084f: PUSH1 0x0b 00000851: PUSH1 0x20 00000853: SWAP1 00000854: DUP2 00000855: MSTORE 00000856: PUSH1 0x40 00000858: DUP1 00000859: DUP4 0000085a: KECCAK256 0000085b: SLOAD 0000085c: DUP4 0000085d: MSTORE 0000085e: PUSH1 0x09 00000860: SWAP1 00000861: SWAP2 00000862: MSTORE 00000863: SWAP1 00000864: KECCAK256 00000865: PUSH1 0x01 00000867: ADD 00000868: DUP1 00000869: SLOAD 0000086a: CALLVALUE 0000086b: SWAP1 0000086c: DUP2 0000086d: ADD 0000086e: SWAP1 0000086f: SWAP2 00000870: SSTORE 00000871: PUSH1 0x0c 00000873: DUP1 00000874: SLOAD 00000875: SWAP1 00000876: SWAP2 00000877: ADD 00000878: SWAP1 00000879: SSTORE 0000087a: PUSH2 0x0960 0000087d: JUMP 0000087e: JUMPDEST 0000087f: PUSH1 0x06 00000881: SLOAD 00000882: PUSH1 0x0a 00000884: SLOAD 00000885: PUSH1 0x00 00000887: SWAP4 00000888: POP 00000889: LT 0000088a: ISZERO 0000088b: PUSH2 0x08de 0000088e: JUMPI 0000088f: PUSH1 0x0a 00000891: DUP1 00000892: SLOAD 00000893: PUSH1 0x01 00000895: ADD 00000896: SWAP1 00000897: DUP2 00000898: SWAP1 00000899: SSTORE 0000089a: SWAP2 0000089b: POP 0000089c: JUMPDEST 0000089d: PUSH1 0x00 0000089f: DUP3 000008a0: GT 000008a1: ISZERO 000008a2: PUSH2 0x093e 000008a5: JUMPI 000008a6: PUSH1 0x00 000008a8: DUP3 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x09 000008ad: PUSH1 0x20 000008af: MSTORE 000008b0: PUSH1 0x40 000008b2: DUP2 000008b3: KECCAK256 000008b4: PUSH1 0x01 000008b6: ADD 000008b7: SLOAD 000008b8: GT 000008b9: ISZERO 000008ba: PUSH2 0x098a 000008bd: JUMPI 000008be: PUSH1 0x40 000008c0: PUSH1 0x00 000008c2: KECCAK256 000008c3: DUP1 000008c4: SLOAD 000008c5: PUSH1 0x01 000008c7: SWAP2 000008c8: SWAP1 000008c9: SWAP2 000008ca: ADD 000008cb: SLOAD 000008cc: PUSH2 0x0964 000008cf: SWAP2 000008d0: PUSH1 0x01 000008d2: PUSH1 0xa0 000008d4: PUSH1 0x02 000008d6: EXP 000008d7: SUB 000008d8: AND 000008d9: SWAP1 000008da: PUSH2 0x07aa 000008dd: JUMP 000008de: JUMPDEST 000008df: POP 000008e0: PUSH1 0x02 000008e2: JUMPDEST 000008e3: PUSH1 0x0a 000008e5: SLOAD 000008e6: DUP2 000008e7: GT 000008e8: PUSH2 0x089c 000008eb: JUMPI 000008ec: PUSH1 0x00 000008ee: DUP2 000008ef: DUP2 000008f0: MSTORE 000008f1: PUSH1 0x09 000008f3: PUSH1 0x20 000008f5: MSTORE 000008f6: PUSH1 0x40 000008f8: SWAP1 000008f9: KECCAK256 000008fa: PUSH1 0x01 000008fc: ADD 000008fd: SLOAD 000008fe: CALLVALUE 000008ff: SWAP1 00000900: LT 00000901: DUP1 00000902: ISZERO 00000903: PUSH2 0x092d 00000906: JUMPI 00000907: POP 00000908: DUP2 00000909: PUSH1 0x00 0000090b: EQ 0000090c: DUP1 0000090d: PUSH2 0x092d 00000910: JUMPI 00000911: POP 00000912: PUSH1 0x40 00000914: PUSH1 0x00 00000916: DUP2 00000917: DUP2 00000918: KECCAK256 00000919: PUSH1 0x01 0000091b: SWAP1 0000091c: DUP2 0000091d: ADD 0000091e: SLOAD 0000091f: DUP6 00000920: DUP4 00000921: MSTORE 00000922: SWAP3 00000923: DUP3 00000924: KECCAK256 00000925: ADD 00000926: SLOAD 00000927: SWAP1 00000928: DUP4 00000929: SWAP1 0000092a: MSTORE 0000092b: SWAP1 0000092c: LT 0000092d: JUMPDEST 0000092e: ISZERO 0000092f: PUSH2 0x0936 00000932: JUMPI 00000933: SWAP1 00000934: POP 00000935: DUP1 00000936: JUMPDEST 00000937: PUSH1 0x01 00000939: ADD 0000093a: PUSH2 0x08e2 0000093d: JUMP 0000093e: JUMPDEST 0000093f: PUSH1 0x40 00000941: MLOAD 00000942: CALLER 00000943: PUSH1 0x01 00000945: PUSH1 0xa0 00000947: PUSH1 0x02 00000949: EXP 0000094a: SUB 0000094b: AND 0000094c: SWAP1 0000094d: PUSH1 0x00 0000094f: SWAP1 00000950: PUSH1 0x06 00000952: SWAP1 00000953: DUP3 00000954: DUP2 00000955: DUP2 00000956: DUP2 00000957: DUP6 00000958: DUP9 00000959: DUP4 0000095a: CALL 0000095b: POP 0000095c: POP 0000095d: POP 0000095e: POP 0000095f: POP 00000960: JUMPDEST 00000961: POP 00000962: POP 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH1 0x00 00000967: DUP3 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x09 0000096c: PUSH1 0x20 0000096e: SWAP1 0000096f: DUP2 00000970: MSTORE 00000971: PUSH1 0x40 00000973: DUP1 00000974: DUP4 00000975: KECCAK256 00000976: SLOAD 00000977: PUSH1 0x01 00000979: PUSH1 0xa0 0000097b: PUSH1 0x02 0000097d: EXP 0000097e: SUB 0000097f: AND 00000980: DUP4 00000981: MSTORE 00000982: PUSH1 0x0b 00000984: SWAP1 00000985: SWAP2 00000986: MSTORE 00000987: DUP2 00000988: KECCAK256 00000989: SSTORE 0000098a: JUMPDEST 0000098b: PUSH1 0x00 0000098d: DUP3 0000098e: DUP2 0000098f: MSTORE 00000990: PUSH1 0x09 00000992: PUSH1 0x20 00000994: MSTORE 00000995: PUSH1 0x40 00000997: DUP2 00000998: KECCAK256 00000999: PUSH1 0x01 0000099b: ADD 0000099c: SLOAD 0000099d: EQ 0000099e: DUP1 0000099f: ISZERO 000009a0: PUSH2 0x09c2 000009a3: JUMPI 000009a4: POP 000009a5: PUSH1 0x40 000009a7: PUSH1 0x00 000009a9: DUP2 000009aa: DUP2 000009ab: KECCAK256 000009ac: SLOAD 000009ad: PUSH1 0x01 000009af: PUSH1 0xa0 000009b1: PUSH1 0x02 000009b3: EXP 000009b4: SUB 000009b5: AND 000009b6: DUP2 000009b7: MSTORE 000009b8: PUSH1 0x0b 000009ba: PUSH1 0x20 000009bc: MSTORE 000009bd: SWAP1 000009be: DUP2 000009bf: KECCAK256 000009c0: SLOAD 000009c1: EQ 000009c2: JUMPDEST 000009c3: ISZERO 000009c4: PUSH2 0x0a18 000009c7: JUMPI 000009c8: PUSH1 0x00 000009ca: DUP3 000009cb: DUP2 000009cc: MSTORE 000009cd: PUSH1 0x09 000009cf: PUSH1 0x20 000009d1: SWAP1 000009d2: DUP2 000009d3: MSTORE 000009d4: PUSH1 0x40 000009d6: DUP1 000009d7: DUP4 000009d8: KECCAK256 000009d9: DUP1 000009da: SLOAD 000009db: PUSH1 0x01 000009dd: PUSH1 0xa0 000009df: PUSH1 0x02 000009e1: EXP 000009e2: SUB 000009e3: NOT 000009e4: AND 000009e5: CALLER 000009e6: SWAP1 000009e7: DUP2 000009e8: OR 000009e9: DUP3 000009ea: SSTORE 000009eb: CALLVALUE 000009ec: PUSH1 0x01 000009ee: SWAP3 000009ef: SWAP1 000009f0: SWAP3 000009f1: ADD 000009f2: DUP3 000009f3: SWAP1 000009f4: SSTORE 000009f5: PUSH1 0x0c 000009f7: DUP1 000009f8: SLOAD 000009f9: SWAP1 000009fa: SWAP3 000009fb: ADD 000009fc: SWAP1 000009fd: SWAP2 000009fe: SSTORE 000009ff: PUSH1 0x01 00000a01: PUSH1 0xa0 00000a03: PUSH1 0x02 00000a05: EXP 00000a06: SUB 00000a07: AND 00000a08: DUP4 00000a09: MSTORE 00000a0a: PUSH1 0x0b 00000a0c: SWAP1 00000a0d: SWAP2 00000a0e: MSTORE 00000a0f: SWAP1 00000a10: KECCAK256 00000a11: DUP3 00000a12: SWAP1 00000a13: SSTORE 00000a14: PUSH2 0x0a3a 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x40 00000a1b: MLOAD 00000a1c: CALLER 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0xa0 00000a21: PUSH1 0x02 00000a23: EXP 00000a24: SUB 00000a25: AND 00000a26: SWAP1 00000a27: PUSH1 0x00 00000a29: SWAP1 00000a2a: PUSH1 0x05 00000a2c: SWAP1 00000a2d: DUP3 00000a2e: DUP2 00000a2f: DUP2 00000a30: DUP2 00000a31: DUP6 00000a32: DUP9 00000a33: DUP4 00000a34: CALL 00000a35: POP 00000a36: POP 00000a37: POP 00000a38: POP 00000a39: POP 00000a3a: JUMPDEST 00000a3b: PUSH2 0x0960 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x01 00000a42: PUSH1 0xa0 00000a44: PUSH1 0x02 00000a46: EXP 00000a47: SUB 00000a48: AND 00000a49: CALLER 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0xa0 00000a4e: PUSH1 0x02 00000a50: EXP 00000a51: SUB 00000a52: AND 00000a53: EQ 00000a54: ISZERO 00000a55: ISZERO 00000a56: PUSH2 0x0a5e 00000a59: JUMPI 00000a5a: PUSH2 0x0002 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x0e 00000a61: SLOAD 00000a62: PUSH1 0x0f 00000a64: SLOAD 00000a65: SWAP1 00000a66: LT 00000a67: DUP1 00000a68: ISZERO 00000a69: PUSH2 0x0a84 00000a6c: JUMPI 00000a6d: POP 00000a6e: PUSH1 0x0e 00000a70: SLOAD 00000a71: PUSH1 0x00 00000a73: SWAP1 00000a74: DUP2 00000a75: MSTORE 00000a76: PUSH1 0x0d 00000a78: PUSH1 0x20 00000a7a: MSTORE 00000a7b: PUSH1 0x40 00000a7d: DUP2 00000a7e: KECCAK256 00000a7f: PUSH1 0x01 00000a81: ADD 00000a82: SLOAD 00000a83: GT 00000a84: JUMPDEST 00000a85: DUP1 00000a86: ISZERO 00000a87: PUSH2 0x0a95 00000a8a: JUMPI 00000a8b: POP 00000a8c: PUSH1 0x08 00000a8e: SLOAD 00000a8f: PUSH1 0xff 00000a91: AND 00000a92: PUSH1 0x01 00000a94: EQ 00000a95: JUMPDEST 00000a96: ISZERO 00000a97: PUSH2 0x0bcf 00000a9a: JUMPI 00000a9b: PUSH2 0x2710 00000a9e: PUSH2 0x0aa5 00000aa1: PUSH2 0x0131 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH1 0x0e 00000aa8: SLOAD 00000aa9: PUSH1 0x04 00000aab: SLOAD 00000aac: PUSH1 0x00 00000aae: SWAP2 00000aaf: DUP3 00000ab0: MSTORE 00000ab1: PUSH1 0x0d 00000ab3: PUSH1 0x20 00000ab5: MSTORE 00000ab6: PUSH1 0x40 00000ab8: SWAP1 00000ab9: SWAP2 00000aba: KECCAK256 00000abb: PUSH1 0x01 00000abd: ADD 00000abe: SLOAD 00000abf: PUSH1 0x02 00000ac1: DUP1 00000ac2: SLOAD 00000ac3: SWAP3 00000ac4: SWAP1 00000ac5: SWAP4 00000ac6: MUL 00000ac7: SWAP1 00000ac8: SWAP3 00000ac9: MUL 00000aca: SWAP3 00000acb: SWAP1 00000acc: SWAP3 00000acd: DIV 00000ace: PUSH2 0x2710 00000ad1: DUP3 00000ad2: MUL 00000ad3: SWAP3 00000ad4: SWAP1 00000ad5: SWAP3 00000ad6: DIV 00000ad7: SUB 00000ad8: GT 00000ad9: PUSH2 0x0b77 00000adc: JUMPI 00000add: PUSH2 0x0bd6 00000ae0: DUP5 00000ae1: PUSH1 0x00 00000ae3: PUSH1 0x00 00000ae5: PUSH1 0x00 00000ae7: PUSH2 0x1366 00000aea: DUP5 00000aeb: PUSH1 0x40 00000aed: PUSH1 0x40 00000aef: MLOAD 00000af0: SWAP1 00000af1: DUP2 00000af2: ADD 00000af3: PUSH1 0x40 00000af5: MSTORE 00000af6: DUP1 00000af7: PUSH1 0x0f 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x20 00000afd: ADD 00000afe: PUSH32 0x2273657269616c4e756d626572223a0000000000000000000000000000000000 00000b1f: DUP2 00000b20: MSTORE 00000b21: PUSH1 0x20 00000b23: ADD 00000b24: POP 00000b25: JUMPDEST 00000b26: PUSH1 0x40 00000b28: DUP1 00000b29: MLOAD 00000b2a: PUSH1 0x20 00000b2c: DUP2 00000b2d: DUP2 00000b2e: ADD 00000b2f: DUP4 00000b30: MSTORE 00000b31: PUSH1 0x00 00000b33: SWAP2 00000b34: DUP3 00000b35: SWAP1 00000b36: MSTORE 00000b37: DUP3 00000b38: MLOAD 00000b39: SWAP1 00000b3a: DUP2 00000b3b: ADD 00000b3c: SWAP1 00000b3d: SWAP3 00000b3e: MSTORE 00000b3f: SWAP1 00000b40: DUP2 00000b41: SWAP1 00000b42: MSTORE 00000b43: DUP3 00000b44: MLOAD 00000b45: DUP4 00000b46: SWAP1 00000b47: DUP4 00000b48: SWAP1 00000b49: DUP4 00000b4a: SWAP1 00000b4b: DUP2 00000b4c: SWAP1 00000b4d: PUSH1 0x01 00000b4f: SWAP1 00000b50: LT 00000b51: DUP1 00000b52: PUSH2 0x0b5c 00000b55: JUMPI 00000b56: POP 00000b57: PUSH1 0x01 00000b59: DUP4 00000b5a: MLOAD 00000b5b: LT 00000b5c: JUMPDEST 00000b5d: DUP1 00000b5e: PUSH2 0x0b68 00000b61: JUMPI 00000b62: POP 00000b63: DUP4 00000b64: MLOAD 00000b65: DUP4 00000b66: MLOAD 00000b67: GT 00000b68: JUMPDEST 00000b69: ISZERO 00000b6a: PUSH2 0x13d2 00000b6d: JUMPI 00000b6e: PUSH1 0x00 00000b70: NOT 00000b71: SWAP5 00000b72: POP 00000b73: PUSH2 0x14bd 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x0e 00000b7a: SLOAD 00000b7b: PUSH1 0x00 00000b7d: SWAP1 00000b7e: DUP2 00000b7f: MSTORE 00000b80: PUSH1 0x0d 00000b82: PUSH1 0x20 00000b84: MSTORE 00000b85: PUSH1 0x40 00000b87: DUP1 00000b88: MLOAD 00000b89: SWAP1 00000b8a: DUP3 00000b8b: KECCAK256 00000b8c: DUP1 00000b8d: SLOAD 00000b8e: PUSH1 0x01 00000b90: SWAP2 00000b91: SWAP1 00000b92: SWAP2 00000b93: ADD 00000b94: SLOAD 00000b95: PUSH1 0x01 00000b97: PUSH1 0xa0 00000b99: PUSH1 0x02 00000b9b: EXP 00000b9c: SUB 00000b9d: SWAP2 00000b9e: SWAP1 00000b9f: SWAP2 00000ba0: AND 00000ba1: SWAP3 00000ba2: SWAP2 00000ba3: DUP3 00000ba4: DUP2 00000ba5: DUP2 00000ba6: DUP2 00000ba7: DUP6 00000ba8: DUP9 00000ba9: DUP4 00000baa: CALL 00000bab: POP 00000bac: POP 00000bad: PUSH1 0x0e 00000baf: DUP1 00000bb0: SLOAD 00000bb1: DUP4 00000bb2: MSTORE 00000bb3: PUSH1 0x0d 00000bb5: PUSH1 0x20 00000bb7: MSTORE 00000bb8: PUSH1 0x40 00000bba: DUP4 00000bbb: KECCAK256 00000bbc: PUSH1 0x01 00000bbe: SWAP1 00000bbf: DUP2 00000bc0: ADD 00000bc1: SWAP4 00000bc2: SWAP1 00000bc3: SWAP4 00000bc4: SSTORE 00000bc5: DUP1 00000bc6: SLOAD 00000bc7: SWAP1 00000bc8: SWAP3 00000bc9: ADD 00000bca: SWAP1 00000bcb: SWAP2 00000bcc: SSTORE 00000bcd: POP 00000bce: POP 00000bcf: JUMPDEST 00000bd0: POP 00000bd1: POP 00000bd2: POP 00000bd3: POP 00000bd4: POP 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH1 0x07 00000bd9: SLOAD 00000bda: SWAP1 00000bdb: SWAP3 00000bdc: POP 00000bdd: PUSH1 0x00 00000bdf: EQ 00000be0: DUP1 00000be1: ISZERO 00000be2: SWAP1 00000be3: PUSH2 0x0bf1 00000be6: JUMPI 00000be7: POP 00000be8: PUSH1 0x07 00000bea: SLOAD 00000beb: PUSH1 0x01 00000bed: ADD 00000bee: DUP3 00000bef: EQ 00000bf0: ISZERO 00000bf1: JUMPDEST 00000bf2: ISZERO 00000bf3: PUSH2 0x0c22 00000bf6: JUMPI 00000bf7: PUSH1 0x08 00000bf9: DUP1 00000bfa: SLOAD 00000bfb: PUSH1 0xff 00000bfd: NOT 00000bfe: AND 00000bff: SWAP1 00000c00: SSTORE 00000c01: PUSH1 0x40 00000c03: MLOAD 00000c04: CALLER 00000c05: PUSH1 0x01 00000c07: PUSH1 0xa0 00000c09: PUSH1 0x02 00000c0b: EXP 00000c0c: SUB 00000c0d: AND 00000c0e: SWAP1 00000c0f: PUSH1 0x00 00000c11: SWAP1 00000c12: PUSH1 0x04 00000c14: SWAP1 00000c15: DUP3 00000c16: DUP2 00000c17: DUP2 00000c18: DUP2 00000c19: DUP6 00000c1a: DUP9 00000c1b: DUP4 00000c1c: CALL 00000c1d: POP 00000c1e: POP 00000c1f: POP 00000c20: POP 00000c21: POP 00000c22: JUMPDEST 00000c23: PUSH1 0x07 00000c25: DUP3 00000c26: SWAP1 00000c27: SSTORE 00000c28: PUSH2 0x0c74 00000c2b: DUP5 00000c2c: PUSH1 0x00 00000c2e: PUSH1 0x00 00000c30: PUSH1 0x00 00000c32: PUSH2 0x1018 00000c35: DUP5 00000c36: PUSH1 0x40 00000c38: PUSH1 0x40 00000c3a: MLOAD 00000c3b: SWAP1 00000c3c: DUP2 00000c3d: ADD 00000c3e: PUSH1 0x40 00000c40: MSTORE 00000c41: DUP1 00000c42: PUSH1 0x08 00000c44: DUP2 00000c45: MSTORE 00000c46: PUSH1 0x20 00000c48: ADD 00000c49: PUSH32 0x2264617461223a5b000000000000000000000000000000000000000000000000 00000c6a: DUP2 00000c6b: MSTORE 00000c6c: PUSH1 0x20 00000c6e: ADD 00000c6f: POP 00000c70: PUSH2 0x0b25 00000c73: JUMP 00000c74: JUMPDEST 00000c75: SWAP1 00000c76: POP 00000c77: PUSH1 0x01 00000c79: DUP2 00000c7a: LT 00000c7b: ISZERO 00000c7c: DUP1 00000c7d: ISZERO 00000c7e: PUSH2 0x0c89 00000c81: JUMPI 00000c82: POP 00000c83: PUSH2 0x2710 00000c86: DUP2 00000c87: GT 00000c88: ISZERO 00000c89: JUMPDEST 00000c8a: ISZERO 00000c8b: PUSH2 0x0d1c 00000c8e: JUMPI 00000c8f: JUMPDEST 00000c90: PUSH1 0x02 00000c92: SLOAD 00000c93: PUSH1 0x00 00000c95: NOT 00000c96: DUP3 00000c97: ADD 00000c98: GT 00000c99: PUSH2 0x0d21 00000c9c: JUMPI 00000c9d: PUSH1 0x0e 00000c9f: SLOAD 00000ca0: PUSH1 0x02 00000ca2: SLOAD 00000ca3: PUSH1 0x00 00000ca5: SWAP2 00000ca6: DUP3 00000ca7: MSTORE 00000ca8: PUSH1 0x0d 00000caa: PUSH1 0x20 00000cac: MSTORE 00000cad: PUSH1 0x40 00000caf: DUP1 00000cb0: MLOAD 00000cb1: SWAP1 00000cb2: DUP4 00000cb3: KECCAK256 00000cb4: DUP1 00000cb5: SLOAD 00000cb6: PUSH1 0x01 00000cb8: SWAP2 00000cb9: SWAP1 00000cba: SWAP2 00000cbb: ADD 00000cbc: SLOAD 00000cbd: PUSH1 0x03 00000cbf: SLOAD 00000cc0: PUSH1 0x01 00000cc2: PUSH1 0xa0 00000cc4: PUSH1 0x02 00000cc6: EXP 00000cc7: SUB 00000cc8: SWAP3 00000cc9: SWAP1 00000cca: SWAP3 00000ccb: AND 00000ccc: SWAP5 00000ccd: SWAP4 00000cce: PUSH2 0x2710 00000cd1: SWAP3 00000cd2: SWAP1 00000cd3: SWAP3 00000cd4: SUB 00000cd5: MUL 00000cd6: DIV 00000cd7: SWAP1 00000cd8: DUP3 00000cd9: DUP2 00000cda: DUP2 00000cdb: DUP2 00000cdc: DUP6 00000cdd: DUP9 00000cde: DUP4 00000cdf: CALL 00000ce0: POP 00000ce1: POP 00000ce2: PUSH1 0x0e 00000ce4: SLOAD 00000ce5: PUSH1 0x03 00000ce7: SLOAD 00000ce8: PUSH1 0x02 00000cea: SLOAD 00000ceb: SWAP2 00000cec: DUP5 00000ced: MSTORE 00000cee: PUSH1 0x0d 00000cf0: PUSH1 0x20 00000cf2: MSTORE 00000cf3: PUSH1 0x40 00000cf5: SWAP1 00000cf6: SWAP4 00000cf7: KECCAK256 00000cf8: PUSH1 0x01 00000cfa: ADD 00000cfb: SLOAD 00000cfc: PUSH1 0x11 00000cfe: DUP1 00000cff: SLOAD 00000d00: PUSH2 0x2710 00000d03: SWAP6 00000d04: SWAP1 00000d05: SWAP6 00000d06: SUB 00000d07: DUP3 00000d08: MUL 00000d09: SWAP3 00000d0a: SWAP1 00000d0b: SWAP3 00000d0c: DIV 00000d0d: SWAP1 00000d0e: SUB 00000d0f: SWAP1 00000d10: SWAP3 00000d11: ADD 00000d12: SWAP1 00000d13: SWAP2 00000d14: SSTORE 00000d15: POP 00000d16: PUSH2 0x0d6e 00000d19: SWAP1 00000d1a: POP 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: PUSH2 0x0002 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH1 0x0e 00000d24: SLOAD 00000d25: PUSH1 0x00 00000d27: SWAP1 00000d28: DUP2 00000d29: MSTORE 00000d2a: PUSH1 0x0d 00000d2c: PUSH1 0x20 00000d2e: MSTORE 00000d2f: PUSH1 0x40 00000d31: DUP1 00000d32: MLOAD 00000d33: SWAP1 00000d34: DUP3 00000d35: KECCAK256 00000d36: SLOAD 00000d37: PUSH1 0x01 00000d39: PUSH1 0xa0 00000d3b: PUSH1 0x02 00000d3d: EXP 00000d3e: SUB 00000d3f: AND 00000d40: SWAP2 00000d41: SWAP1 00000d42: PUSH1 0x01 00000d44: SWAP1 00000d45: DUP3 00000d46: DUP2 00000d47: DUP2 00000d48: DUP2 00000d49: DUP6 00000d4a: DUP9 00000d4b: DUP4 00000d4c: CALL 00000d4d: POP 00000d4e: POP 00000d4f: PUSH1 0x0e 00000d51: SLOAD 00000d52: DUP3 00000d53: MSTORE 00000d54: PUSH1 0x0d 00000d56: PUSH1 0x20 00000d58: MSTORE 00000d59: PUSH1 0x40 00000d5b: SWAP1 00000d5c: SWAP2 00000d5d: KECCAK256 00000d5e: ADD 00000d5f: SLOAD 00000d60: PUSH1 0x11 00000d62: DUP1 00000d63: SLOAD 00000d64: SWAP1 00000d65: SWAP2 00000d66: ADD 00000d67: PUSH1 0x00 00000d69: NOT 00000d6a: ADD 00000d6b: SWAP1 00000d6c: SSTORE 00000d6d: POP 00000d6e: JUMPDEST 00000d6f: PUSH1 0x0e 00000d71: DUP1 00000d72: SLOAD 00000d73: PUSH1 0x00 00000d75: SWAP1 00000d76: DUP2 00000d77: MSTORE 00000d78: PUSH1 0x0d 00000d7a: PUSH1 0x20 00000d7c: MSTORE 00000d7d: PUSH1 0x40 00000d7f: DUP2 00000d80: KECCAK256 00000d81: PUSH1 0x01 00000d83: SWAP1 00000d84: DUP2 00000d85: ADD 00000d86: DUP1 00000d87: SLOAD 00000d88: PUSH1 0x10 00000d8a: DUP1 00000d8b: SLOAD 00000d8c: SWAP1 00000d8d: SWAP2 00000d8e: ADD 00000d8f: SWAP1 00000d90: SSTORE 00000d91: SWAP2 00000d92: SWAP1 00000d93: SWAP2 00000d94: SSTORE 00000d95: DUP2 00000d96: SLOAD 00000d97: ADD 00000d98: SWAP1 00000d99: SSTORE 00000d9a: PUSH2 0x0bcf 00000d9d: JUMP 00000d9e: JUMPDEST 00000d9f: POP 00000da0: PUSH1 0x00 00000da2: SWAP1 00000da3: POP 00000da4: PUSH1 0x02 00000da6: JUMPDEST 00000da7: PUSH1 0x0a 00000da9: SLOAD 00000daa: DUP2 00000dab: GT 00000dac: PUSH2 0x0de2 00000daf: JUMPI 00000db0: DUP2 00000db1: PUSH1 0x00 00000db3: EQ 00000db4: DUP1 00000db5: PUSH2 0x0e05 00000db8: JUMPI 00000db9: POP 00000dba: PUSH1 0x00 00000dbc: DUP3 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: PUSH1 0x09 00000dc1: PUSH1 0x20 00000dc3: MSTORE 00000dc4: PUSH1 0x40 00000dc6: SWAP1 00000dc7: KECCAK256 00000dc8: SLOAD 00000dc9: PUSH2 0x0e16 00000dcc: SWAP1 00000dcd: PUSH1 0x01 00000dcf: PUSH1 0xa0 00000dd1: PUSH1 0x02 00000dd3: EXP 00000dd4: SUB 00000dd5: AND 00000dd6: PUSH2 0x06eb 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: SWAP3 00000ddc: POP 00000ddd: JUMPDEST 00000dde: POP 00000ddf: POP 00000de0: SWAP1 00000de1: JUMP 00000de2: JUMPDEST 00000de3: PUSH1 0x00 00000de5: DUP3 00000de6: DUP2 00000de7: MSTORE 00000de8: PUSH1 0x09 00000dea: PUSH1 0x20 00000dec: MSTORE 00000ded: PUSH1 0x40 00000def: SWAP1 00000df0: KECCAK256 00000df1: SLOAD 00000df2: PUSH2 0x0dda 00000df5: SWAP1 00000df6: PUSH1 0x01 00000df8: PUSH1 0xa0 00000dfa: PUSH1 0x02 00000dfc: EXP 00000dfd: SUB 00000dfe: AND 00000dff: PUSH2 0x06eb 00000e02: JUMP 00000e03: JUMPDEST 00000e04: LT 00000e05: JUMPDEST 00000e06: ISZERO 00000e07: PUSH2 0x0e0e 00000e0a: JUMPI 00000e0b: SWAP1 00000e0c: POP 00000e0d: DUP1 00000e0e: JUMPDEST 00000e0f: PUSH1 0x01 00000e11: ADD 00000e12: PUSH2 0x0da6 00000e15: JUMP 00000e16: JUMPDEST 00000e17: PUSH1 0x00 00000e19: DUP3 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x09 00000e1e: PUSH1 0x20 00000e20: MSTORE 00000e21: PUSH1 0x40 00000e23: SWAP1 00000e24: KECCAK256 00000e25: SLOAD 00000e26: PUSH2 0x0e03 00000e29: SWAP1 00000e2a: PUSH1 0x01 00000e2c: PUSH1 0xa0 00000e2e: PUSH1 0x02 00000e30: EXP 00000e31: SUB 00000e32: AND 00000e33: PUSH2 0x06eb 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH1 0x11 00000e3a: SLOAD 00000e3b: PUSH1 0x02 00000e3d: SLOAD 00000e3e: PUSH1 0x03 00000e40: SLOAD 00000e41: PUSH1 0x04 00000e43: SLOAD 00000e44: PUSH1 0x05 00000e46: SLOAD 00000e47: PUSH1 0x10 00000e49: SLOAD 00000e4a: SWAP4 00000e4b: SWAP5 00000e4c: SWAP3 00000e4d: SWAP4 00000e4e: SWAP2 00000e4f: SWAP3 00000e50: SWAP1 00000e51: SWAP2 00000e52: SWAP1 00000e53: PUSH2 0x0e5a 00000e56: PUSH2 0x0634 00000e59: JUMP 00000e5a: JUMPDEST 00000e5b: PUSH1 0x0e 00000e5d: PUSH1 0x00 00000e5f: POP 00000e60: SLOAD 00000e61: PUSH1 0x0f 00000e63: PUSH1 0x00 00000e65: POP 00000e66: SLOAD 00000e67: SUB 00000e68: SWAP9 00000e69: POP 00000e6a: SWAP9 00000e6b: POP 00000e6c: SWAP9 00000e6d: POP 00000e6e: SWAP9 00000e6f: POP 00000e70: SWAP9 00000e71: POP 00000e72: SWAP9 00000e73: POP 00000e74: SWAP9 00000e75: POP 00000e76: SWAP9 00000e77: POP 00000e78: SWAP9 00000e79: POP 00000e7a: SWAP1 00000e7b: SWAP2 00000e7c: SWAP3 00000e7d: SWAP4 00000e7e: SWAP5 00000e7f: SWAP6 00000e80: SWAP7 00000e81: SWAP8 00000e82: SWAP9 00000e83: JUMP 00000e84: JUMPDEST 00000e85: PUSH1 0x40 00000e87: MLOAD 00000e88: CALLER 00000e89: PUSH1 0x01 00000e8b: PUSH1 0xa0 00000e8d: PUSH1 0x02 00000e8f: EXP 00000e90: SUB 00000e91: AND 00000e92: SWAP1 00000e93: PUSH1 0x00 00000e95: SWAP1 00000e96: PUSH1 0x03 00000e98: SWAP1 00000e99: DUP3 00000e9a: DUP2 00000e9b: DUP2 00000e9c: DUP2 00000e9d: DUP6 00000e9e: DUP9 00000e9f: DUP4 00000ea0: CALL 00000ea1: POP 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: POP 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: POP 00000ea9: PUSH1 0x40 00000eab: DUP1 00000eac: MLOAD 00000ead: DUP1 00000eae: DUP3 00000eaf: ADD 00000eb0: DUP3 00000eb1: MSTORE 00000eb2: CALLER 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: CALLVALUE 00000eb6: PUSH1 0x20 00000eb8: DUP3 00000eb9: DUP2 00000eba: ADD 00000ebb: SWAP2 00000ebc: DUP3 00000ebd: MSTORE 00000ebe: PUSH1 0x0f 00000ec0: DUP1 00000ec1: SLOAD 00000ec2: PUSH1 0x01 00000ec4: DUP2 00000ec5: DUP2 00000ec6: ADD 00000ec7: SWAP1 00000ec8: SWAP3 00000ec9: SSTORE 00000eca: PUSH1 0x00 00000ecc: SWAP1 00000ecd: DUP2 00000ece: MSTORE 00000ecf: PUSH1 0x0d 00000ed1: SWAP1 00000ed2: SWAP3 00000ed3: MSTORE 00000ed4: SWAP4 00000ed5: SWAP1 00000ed6: KECCAK256 00000ed7: SWAP2 00000ed8: MLOAD 00000ed9: DUP3 00000eda: SLOAD 00000edb: PUSH1 0x01 00000edd: PUSH1 0xa0 00000edf: PUSH1 0x02 00000ee1: EXP 00000ee2: SUB 00000ee3: NOT 00000ee4: AND 00000ee5: OR 00000ee6: DUP3 00000ee7: SSTORE 00000ee8: MLOAD 00000ee9: SWAP2 00000eea: ADD 00000eeb: SSTORE 00000eec: PUSH2 0x0749 00000eef: JUMP 00000ef0: JUMPDEST 00000ef1: PUSH2 0x0ef9 00000ef4: DUP3 00000ef5: PUSH2 0x06eb 00000ef8: JUMP 00000ef9: JUMPDEST 00000efa: DUP2 00000efb: GT 00000efc: ISZERO 00000efd: PUSH2 0x0f0c 00000f00: JUMPI 00000f01: PUSH2 0x0f09 00000f04: DUP3 00000f05: PUSH2 0x06eb 00000f08: JUMP 00000f09: JUMPDEST 00000f0a: SWAP1 00000f0b: POP 00000f0c: JUMPDEST 00000f0d: PUSH1 0x01 00000f0f: PUSH1 0xa0 00000f11: PUSH1 0x02 00000f13: EXP 00000f14: SUB 00000f15: DUP3 00000f16: AND 00000f17: PUSH1 0x00 00000f19: DUP2 00000f1a: DUP2 00000f1b: MSTORE 00000f1c: PUSH1 0x0b 00000f1e: PUSH1 0x20 00000f20: SWAP1 00000f21: DUP2 00000f22: MSTORE 00000f23: PUSH1 0x40 00000f25: DUP1 00000f26: DUP4 00000f27: KECCAK256 00000f28: SLOAD 00000f29: DUP4 00000f2a: MSTORE 00000f2b: PUSH1 0x09 00000f2d: SWAP1 00000f2e: SWAP2 00000f2f: MSTORE 00000f30: DUP1 00000f31: DUP3 00000f32: KECCAK256 00000f33: PUSH1 0x01 00000f35: ADD 00000f36: DUP1 00000f37: SLOAD 00000f38: DUP6 00000f39: SWAP1 00000f3a: SUB 00000f3b: SWAP1 00000f3c: SSTORE 00000f3d: PUSH1 0x0c 00000f3f: DUP1 00000f40: SLOAD 00000f41: DUP6 00000f42: SWAP1 00000f43: SUB 00000f44: SWAP1 00000f45: SSTORE 00000f46: MLOAD 00000f47: DUP4 00000f48: SWAP1 00000f49: DUP3 00000f4a: DUP2 00000f4b: DUP2 00000f4c: DUP2 00000f4d: DUP6 00000f4e: DUP9 00000f4f: DUP4 00000f50: CALL 00000f51: SWAP4 00000f52: POP 00000f53: POP 00000f54: POP 00000f55: POP 00000f56: ISZERO 00000f57: PUSH2 0x0d1c 00000f5a: JUMPI 00000f5b: PUSH2 0x0960 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: PUSH1 0x0c 00000f62: DUP4 00000f63: SWAP1 00000f64: SSTORE 00000f65: DUP2 00000f66: DUP4 00000f67: EQ 00000f68: DUP1 00000f69: ISZERO 00000f6a: SWAP1 00000f6b: PUSH2 0x0f77 00000f6e: JUMPI 00000f6f: POP 00000f70: PUSH1 0x0a 00000f72: SLOAD 00000f73: PUSH1 0x00 00000f75: SWAP1 00000f76: GT 00000f77: JUMPDEST 00000f78: ISZERO 00000f79: PUSH2 0x0fbc 00000f7c: JUMPI 00000f7d: PUSH1 0x01 00000f7f: PUSH1 0x00 00000f81: MSTORE 00000f82: PUSH1 0x09 00000f84: PUSH1 0x20 00000f86: MSTORE 00000f87: PUSH32 0x92e85d02570a8092d09a6e3a57665bc3815a2699a4074001bf1ccabf660f5a37 00000fa8: DUP1 00000fa9: SLOAD 00000faa: DUP5 00000fab: DUP5 00000fac: SUB 00000fad: SWAP1 00000fae: DUP2 00000faf: ADD 00000fb0: SWAP1 00000fb1: SWAP2 00000fb2: SSTORE 00000fb3: PUSH1 0x0c 00000fb5: DUP1 00000fb6: SLOAD 00000fb7: SWAP1 00000fb8: SWAP2 00000fb9: ADD 00000fba: SWAP1 00000fbb: SSTORE 00000fbc: JUMPDEST 00000fbd: PUSH1 0x11 00000fbf: SLOAD 00000fc0: PUSH1 0x12 00000fc2: SSTORE 00000fc3: JUMPDEST 00000fc4: POP 00000fc5: POP 00000fc6: POP 00000fc7: JUMP 00000fc8: JUMPDEST 00000fc9: SWAP2 00000fca: POP 00000fcb: PUSH1 0x01 00000fcd: SWAP1 00000fce: POP 00000fcf: JUMPDEST 00000fd0: PUSH1 0x0a 00000fd2: SLOAD 00000fd3: DUP2 00000fd4: GT 00000fd5: PUSH2 0x0f5f 00000fd8: JUMPI 00000fd9: PUSH1 0x00 00000fdb: DUP2 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x09 00000fe0: PUSH1 0x20 00000fe2: MSTORE 00000fe3: PUSH1 0x40 00000fe5: SWAP1 00000fe6: KECCAK256 00000fe7: SLOAD 00000fe8: PUSH2 0x0ff9 00000feb: SWAP1 00000fec: PUSH1 0x01 00000fee: PUSH1 0xa0 00000ff0: PUSH1 0x02 00000ff2: EXP 00000ff3: SUB 00000ff4: AND 00000ff5: PUSH2 0x06eb 00000ff8: JUMP 00000ff9: JUMPDEST 00000ffa: PUSH1 0x00 00000ffc: DUP3 00000ffd: DUP2 00000ffe: MSTORE 00000fff: PUSH1 0x09 00001001: PUSH1 0x20 00001003: MSTORE 00001004: PUSH1 0x40 00001006: SWAP1 00001007: KECCAK256 00001008: PUSH1 0x01 0000100a: SWAP1 0000100b: DUP2 0000100c: ADD 0000100d: DUP3 0000100e: SWAP1 0000100f: SSTORE 00001010: SWAP4 00001011: ADD 00001012: SWAP3 00001013: ADD 00001014: PUSH2 0x0fcf 00001017: JUMP 00001018: JUMPDEST 00001019: SWAP2 0000101a: POP 0000101b: PUSH1 0x00 0000101d: DUP3 0000101e: SLT 0000101f: ISZERO 00001020: PUSH2 0x1028 00001023: JUMPI 00001024: PUSH2 0x0002 00001027: JUMP 00001028: JUMPDEST 00001029: DUP2 0000102a: SWAP1 0000102b: POP 0000102c: PUSH2 0x1134 0000102f: PUSH2 0x113c 00001032: DUP6 00001033: DUP4 00001034: PUSH1 0x08 00001036: ADD 00001037: PUSH2 0x109e 0000103a: DUP9 0000103b: PUSH1 0x40 0000103d: PUSH1 0x40 0000103f: MLOAD 00001040: SWAP1 00001041: DUP2 00001042: ADD 00001043: PUSH1 0x40 00001045: MSTORE 00001046: DUP1 00001047: PUSH1 0x01 00001049: DUP2 0000104a: MSTORE 0000104b: PUSH1 0x20 0000104d: ADD 0000104e: PUSH32 0x5d00000000000000000000000000000000000000000000000000000000000000 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x20 00001073: ADD 00001074: POP 00001075: DUP8 00001076: JUMPDEST 00001077: PUSH1 0x00 00001079: PUSH1 0x00 0000107b: PUSH2 0x14e7 0000107e: PUSH2 0x14fd 00001081: DUP7 00001082: DUP6 00001083: PUSH1 0x20 00001085: PUSH1 0x40 00001087: MLOAD 00001088: SWAP1 00001089: DUP2 0000108a: ADD 0000108b: PUSH1 0x40 0000108d: MSTORE 0000108e: DUP1 0000108f: PUSH1 0x00 00001091: DUP2 00001092: MSTORE 00001093: PUSH1 0x20 00001095: ADD 00001096: POP 00001097: PUSH2 0x159c 0000109a: DUP4 0000109b: DUP4 0000109c: DUP6 0000109d: MLOAD 0000109e: JUMPDEST 0000109f: PUSH1 0x40 000010a1: DUP1 000010a2: MLOAD 000010a3: PUSH1 0x20 000010a5: DUP2 000010a6: DUP2 000010a7: ADD 000010a8: DUP4 000010a9: MSTORE 000010aa: PUSH1 0x00 000010ac: DUP1 000010ad: DUP4 000010ae: MSTORE 000010af: DUP4 000010b0: MLOAD 000010b1: DUP1 000010b2: DUP4 000010b3: ADD 000010b4: DUP6 000010b5: MSTORE 000010b6: DUP2 000010b7: SWAP1 000010b8: MSTORE 000010b9: DUP4 000010ba: MLOAD 000010bb: SWAP2 000010bc: DUP3 000010bd: ADD 000010be: DUP5 000010bf: MSTORE 000010c0: DUP1 000010c1: DUP3 000010c2: MSTORE 000010c3: SWAP3 000010c4: MLOAD 000010c5: SWAP2 000010c6: SWAP3 000010c7: DUP7 000010c8: SWAP3 000010c9: DUP7 000010ca: DUP7 000010cb: SUB 000010cc: SWAP1 000010cd: DUP1 000010ce: MSIZE 000010cf: LT 000010d0: PUSH2 0x10d6 000010d3: JUMPI 000010d4: POP 000010d5: MSIZE 000010d6: JUMPDEST 000010d7: SWAP1 000010d8: DUP1 000010d9: DUP3 000010da: MSTORE 000010db: DUP1 000010dc: PUSH1 0x20 000010de: MUL 000010df: PUSH1 0x20 000010e1: ADD 000010e2: DUP3 000010e3: ADD 000010e4: PUSH1 0x40 000010e6: MSTORE 000010e7: POP 000010e8: SWAP2 000010e9: POP 000010ea: DUP6 000010eb: SWAP1 000010ec: POP 000010ed: JUMPDEST 000010ee: DUP5 000010ef: DUP2 000010f0: LT 000010f1: ISZERO 000010f2: PUSH2 0x13c8 000010f5: JUMPI 000010f6: DUP3 000010f7: DUP2 000010f8: DUP2 000010f9: MLOAD 000010fa: DUP2 000010fb: LT 000010fc: ISZERO 000010fd: PUSH2 0x0002 00001100: JUMPI 00001101: SWAP1 00001102: PUSH1 0x20 00001104: ADD 00001105: ADD 00001106: MLOAD 00001107: PUSH1 0xf8 00001109: PUSH1 0x02 0000110b: EXP 0000110c: SWAP1 0000110d: DIV 0000110e: PUSH1 0xf8 00001110: PUSH1 0x02 00001112: EXP 00001113: MUL 00001114: DUP3 00001115: DUP8 00001116: DUP4 00001117: SUB 00001118: DUP2 00001119: MLOAD 0000111a: DUP2 0000111b: LT 0000111c: ISZERO 0000111d: PUSH2 0x0002 00001120: JUMPI 00001121: PUSH1 0x00 00001123: DUP4 00001124: SWAP1 00001125: BYTE 00001126: SWAP2 00001127: ADD 00001128: PUSH1 0x20 0000112a: ADD 0000112b: MSTORE8 0000112c: POP 0000112d: PUSH1 0x01 0000112f: ADD 00001130: PUSH2 0x10ed 00001133: JUMP 00001134: JUMPDEST 00001135: SWAP5 00001136: SWAP4 00001137: POP 00001138: POP 00001139: POP 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x00 0000113f: PUSH2 0x14e0 00001142: DUP3 00001143: PUSH1 0x00 00001145: PUSH1 0x40 00001147: DUP1 00001148: MLOAD 00001149: PUSH1 0x20 0000114b: DUP2 0000114c: ADD 0000114d: SWAP1 0000114e: SWAP2 0000114f: MSTORE 00001150: PUSH1 0x00 00001152: SWAP1 00001153: DUP2 00001154: SWAP1 00001155: MSTORE 00001156: DUP3 00001157: DUP2 00001158: DUP1 00001159: DUP1 0000115a: JUMPDEST 0000115b: DUP4 0000115c: MLOAD 0000115d: DUP2 0000115e: LT 0000115f: ISZERO 00001160: PUSH2 0x11d0 00001163: JUMPI 00001164: PUSH1 0x30 00001166: PUSH1 0xf8 00001168: PUSH1 0x02 0000116a: EXP 0000116b: MUL 0000116c: DUP5 0000116d: DUP3 0000116e: DUP2 0000116f: MLOAD 00001170: DUP2 00001171: LT 00001172: ISZERO 00001173: PUSH2 0x0002 00001176: JUMPI 00001177: SWAP1 00001178: PUSH1 0x20 0000117a: ADD 0000117b: ADD 0000117c: MLOAD 0000117d: PUSH1 0xf8 0000117f: PUSH1 0x02 00001181: EXP 00001182: SWAP1 00001183: DIV 00001184: PUSH1 0xf8 00001186: PUSH1 0x02 00001188: EXP 00001189: MUL 0000118a: LT 0000118b: ISZERO 0000118c: DUP1 0000118d: ISZERO 0000118e: PUSH2 0x11bb 00001191: JUMPI 00001192: POP 00001193: PUSH1 0x39 00001195: PUSH1 0xf8 00001197: PUSH1 0x02 00001199: EXP 0000119a: MUL 0000119b: DUP5 0000119c: DUP3 0000119d: DUP2 0000119e: MLOAD 0000119f: DUP2 000011a0: LT 000011a1: ISZERO 000011a2: PUSH2 0x0002 000011a5: JUMPI 000011a6: SWAP1 000011a7: PUSH1 0x20 000011a9: ADD 000011aa: ADD 000011ab: MLOAD 000011ac: PUSH1 0xf8 000011ae: PUSH1 0x02 000011b0: EXP 000011b1: SWAP1 000011b2: DIV 000011b3: PUSH1 0xf8 000011b5: PUSH1 0x02 000011b7: EXP 000011b8: MUL 000011b9: GT 000011ba: ISZERO 000011bb: JUMPDEST 000011bc: ISZERO 000011bd: PUSH2 0x1511 000011c0: JUMPI 000011c1: DUP2 000011c2: ISZERO 000011c3: PUSH2 0x1568 000011c6: JUMPI 000011c7: DUP6 000011c8: PUSH1 0x00 000011ca: EQ 000011cb: ISZERO 000011cc: PUSH2 0x155f 000011cf: JUMPI 000011d0: JUMPDEST 000011d1: DUP3 000011d2: SWAP5 000011d3: POP 000011d4: PUSH2 0x14bd 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x01 000011db: PUSH1 0x00 000011dd: SWAP1 000011de: SLOAD 000011df: SWAP1 000011e0: PUSH2 0x0100 000011e3: EXP 000011e4: SWAP1 000011e5: DIV 000011e6: PUSH1 0x01 000011e8: PUSH1 0xa0 000011ea: PUSH1 0x02 000011ec: EXP 000011ed: SUB 000011ee: AND 000011ef: PUSH1 0x01 000011f1: PUSH1 0xa0 000011f3: PUSH1 0x02 000011f5: EXP 000011f6: SUB 000011f7: AND 000011f8: PUSH4 0x85dee34c 000011fd: DUP3 000011fe: PUSH1 0x00 00001200: DUP10 00001201: DUP10 00001202: DUP10 00001203: DUP10 00001204: PUSH1 0x40 00001206: MLOAD 00001207: DUP8 00001208: PUSH1 0xe0 0000120a: PUSH1 0x02 0000120c: EXP 0000120d: MUL 0000120e: DUP2 0000120f: MSTORE 00001210: PUSH1 0x04 00001212: ADD 00001213: DUP1 00001214: DUP7 00001215: DUP2 00001216: MSTORE 00001217: PUSH1 0x20 00001219: ADD 0000121a: DUP1 0000121b: PUSH1 0x20 0000121d: ADD 0000121e: DUP1 0000121f: PUSH1 0x20 00001221: ADD 00001222: DUP1 00001223: PUSH1 0x20 00001225: ADD 00001226: DUP6 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x20 0000122b: ADD 0000122c: DUP5 0000122d: DUP2 0000122e: SUB 0000122f: DUP5 00001230: MSTORE 00001231: DUP9 00001232: DUP2 00001233: DUP2 00001234: MLOAD 00001235: DUP2 00001236: MSTORE 00001237: PUSH1 0x20 00001239: ADD 0000123a: SWAP2 0000123b: POP 0000123c: DUP1 0000123d: MLOAD 0000123e: SWAP1 0000123f: PUSH1 0x20 00001241: ADD 00001242: SWAP1 00001243: DUP1 00001244: DUP4 00001245: DUP4 00001246: DUP3 00001247: SWAP1 00001248: PUSH1 0x00 0000124a: PUSH1 0x04 0000124c: PUSH1 0x20 0000124e: DUP5 0000124f: PUSH1 0x1f 00001251: ADD 00001252: DIV 00001253: PUSH1 0x0f 00001255: MUL 00001256: PUSH1 0x03 00001258: ADD 00001259: CALL 0000125a: POP 0000125b: SWAP1 0000125c: POP 0000125d: SWAP1 0000125e: DUP2 0000125f: ADD 00001260: SWAP1 00001261: PUSH1 0x1f 00001263: AND 00001264: DUP1 00001265: ISZERO 00001266: PUSH2 0x1283 00001269: JUMPI 0000126a: DUP1 0000126b: DUP3 0000126c: SUB 0000126d: DUP1 0000126e: MLOAD 0000126f: PUSH1 0x01 00001271: DUP4 00001272: PUSH1 0x20 00001274: SUB 00001275: PUSH2 0x0100 00001278: EXP 00001279: SUB 0000127a: NOT 0000127b: AND 0000127c: DUP2 0000127d: MSTORE 0000127e: PUSH1 0x20 00001280: ADD 00001281: SWAP2 00001282: POP 00001283: JUMPDEST 00001284: POP 00001285: DUP5 00001286: DUP2 00001287: SUB 00001288: DUP4 00001289: MSTORE 0000128a: DUP8 0000128b: DUP2 0000128c: DUP2 0000128d: MLOAD 0000128e: DUP2 0000128f: MSTORE 00001290: PUSH1 0x20 00001292: ADD 00001293: SWAP2 00001294: POP 00001295: DUP1 00001296: MLOAD 00001297: SWAP1 00001298: PUSH1 0x20 0000129a: ADD 0000129b: SWAP1 0000129c: DUP1 0000129d: DUP4 0000129e: DUP4 0000129f: DUP3 000012a0: SWAP1 000012a1: PUSH1 0x00 000012a3: PUSH1 0x04 000012a5: PUSH1 0x20 000012a7: DUP5 000012a8: PUSH1 0x1f 000012aa: ADD 000012ab: DIV 000012ac: PUSH1 0x0f 000012ae: MUL 000012af: PUSH1 0x03 000012b1: ADD 000012b2: CALL 000012b3: POP 000012b4: SWAP1 000012b5: POP 000012b6: SWAP1 000012b7: DUP2 000012b8: ADD 000012b9: SWAP1 000012ba: PUSH1 0x1f 000012bc: AND 000012bd: DUP1 000012be: ISZERO 000012bf: PUSH2 0x12dc 000012c2: JUMPI 000012c3: DUP1 000012c4: DUP3 000012c5: SUB 000012c6: DUP1 000012c7: MLOAD 000012c8: PUSH1 0x01 000012ca: DUP4 000012cb: PUSH1 0x20 000012cd: SUB 000012ce: PUSH2 0x0100 000012d1: EXP 000012d2: SUB 000012d3: NOT 000012d4: AND 000012d5: DUP2 000012d6: MSTORE 000012d7: PUSH1 0x20 000012d9: ADD 000012da: SWAP2 000012db: POP 000012dc: JUMPDEST 000012dd: POP 000012de: DUP5 000012df: DUP2 000012e0: SUB 000012e1: DUP3 000012e2: MSTORE 000012e3: DUP7 000012e4: DUP2 000012e5: DUP2 000012e6: MLOAD 000012e7: DUP2 000012e8: MSTORE 000012e9: PUSH1 0x20 000012eb: ADD 000012ec: SWAP2 000012ed: POP 000012ee: DUP1 000012ef: MLOAD 000012f0: SWAP1 000012f1: PUSH1 0x20 000012f3: ADD 000012f4: SWAP1 000012f5: DUP1 000012f6: DUP4 000012f7: DUP4 000012f8: DUP3 000012f9: SWAP1 000012fa: PUSH1 0x00 000012fc: PUSH1 0x04 000012fe: PUSH1 0x20 00001300: DUP5 00001301: PUSH1 0x1f 00001303: ADD 00001304: DIV 00001305: PUSH1 0x0f 00001307: MUL 00001308: PUSH1 0x03 0000130a: ADD 0000130b: CALL 0000130c: POP 0000130d: SWAP1 0000130e: POP 0000130f: SWAP1 00001310: DUP2 00001311: ADD 00001312: SWAP1 00001313: PUSH1 0x1f 00001315: AND 00001316: DUP1 00001317: ISZERO 00001318: PUSH2 0x1335 0000131b: JUMPI 0000131c: DUP1 0000131d: DUP3 0000131e: SUB 0000131f: DUP1 00001320: MLOAD 00001321: PUSH1 0x01 00001323: DUP4 00001324: PUSH1 0x20 00001326: SUB 00001327: PUSH2 0x0100 0000132a: EXP 0000132b: SUB 0000132c: NOT 0000132d: AND 0000132e: DUP2 0000132f: MSTORE 00001330: PUSH1 0x20 00001332: ADD 00001333: SWAP2 00001334: POP 00001335: JUMPDEST 00001336: POP 00001337: SWAP9 00001338: POP 00001339: POP 0000133a: POP 0000133b: POP 0000133c: POP 0000133d: POP 0000133e: POP 0000133f: POP 00001340: POP 00001341: PUSH1 0x20 00001343: PUSH1 0x40 00001345: MLOAD 00001346: DUP1 00001347: DUP4 00001348: SUB 00001349: DUP2 0000134a: DUP6 0000134b: DUP9 0000134c: PUSH2 0x8502 0000134f: GAS 00001350: SUB 00001351: CALL 00001352: ISZERO 00001353: PUSH2 0x0002 00001356: JUMPI 00001357: POP 00001358: POP 00001359: PUSH1 0x40 0000135b: MLOAD 0000135c: MLOAD 0000135d: SWAP4 0000135e: POP 0000135f: PUSH2 0x0482 00001362: SWAP2 00001363: POP 00001364: POP 00001365: JUMP 00001366: JUMPDEST 00001367: SWAP2 00001368: POP 00001369: PUSH1 0x00 0000136b: DUP3 0000136c: SLT 0000136d: ISZERO 0000136e: PUSH2 0x1376 00001371: JUMPI 00001372: PUSH2 0x0002 00001375: JUMP 00001376: JUMPDEST 00001377: DUP2 00001378: SWAP1 00001379: POP 0000137a: PUSH2 0x1134 0000137d: PUSH2 0x113c 00001380: DUP6 00001381: DUP4 00001382: PUSH1 0x0f 00001384: ADD 00001385: PUSH2 0x109e 00001388: DUP9 00001389: PUSH1 0x40 0000138b: PUSH1 0x40 0000138d: MLOAD 0000138e: SWAP1 0000138f: DUP2 00001390: ADD 00001391: PUSH1 0x40 00001393: MSTORE 00001394: DUP1 00001395: PUSH1 0x01 00001397: DUP2 00001398: MSTORE 00001399: PUSH1 0x20 0000139b: ADD 0000139c: PUSH32 0x7d00000000000000000000000000000000000000000000000000000000000000 000013bd: DUP2 000013be: MSTORE 000013bf: PUSH1 0x20 000013c1: ADD 000013c2: POP 000013c3: DUP8 000013c4: PUSH2 0x1076 000013c7: JUMP 000013c8: JUMPDEST 000013c9: POP 000013ca: SWAP6 000013cb: SWAP5 000013cc: POP 000013cd: POP 000013ce: POP 000013cf: POP 000013d0: POP 000013d1: JUMP 000013d2: JUMPDEST 000013d3: PUSH16 0xffffffffffffffffffffffffffffffff 000013e4: DUP5 000013e5: MLOAD 000013e6: GT 000013e7: ISZERO 000013e8: PUSH2 0x13f5 000013eb: JUMPI 000013ec: PUSH1 0x00 000013ee: NOT 000013ef: SWAP5 000013f0: POP 000013f1: PUSH2 0x14bd 000013f4: JUMP 000013f5: JUMPDEST 000013f6: POP 000013f7: PUSH1 0x00 000013f9: SWAP1 000013fa: POP 000013fb: DUP1 000013fc: JUMPDEST 000013fd: DUP4 000013fe: MLOAD 000013ff: DUP2 00001400: LT 00001401: ISZERO 00001402: PUSH2 0x14b7 00001405: JUMPI 00001406: DUP3 00001407: PUSH1 0x00 00001409: DUP2 0000140a: MLOAD 0000140b: DUP2 0000140c: LT 0000140d: ISZERO 0000140e: PUSH2 0x0002 00001411: JUMPI 00001412: SWAP1 00001413: PUSH1 0x20 00001415: ADD 00001416: ADD 00001417: MLOAD 00001418: PUSH1 0xf8 0000141a: PUSH1 0x02 0000141c: EXP 0000141d: SWAP1 0000141e: DIV 0000141f: PUSH1 0xf8 00001421: PUSH1 0x02 00001423: EXP 00001424: MUL 00001425: DUP5 00001426: DUP3 00001427: DUP2 00001428: MLOAD 00001429: DUP2 0000142a: LT 0000142b: ISZERO 0000142c: PUSH2 0x0002 0000142f: JUMPI 00001430: SWAP1 00001431: PUSH1 0x20 00001433: ADD 00001434: ADD 00001435: MLOAD 00001436: PUSH1 0xf8 00001438: PUSH1 0x02 0000143a: EXP 0000143b: SWAP1 0000143c: DIV 0000143d: PUSH1 0xf8 0000143f: PUSH1 0x02 00001441: EXP 00001442: MUL 00001443: EQ 00001444: ISZERO 00001445: PUSH2 0x14d8 00001448: JUMPI 00001449: PUSH1 0x01 0000144b: SWAP2 0000144c: POP 0000144d: JUMPDEST 0000144e: DUP3 0000144f: MLOAD 00001450: DUP3 00001451: LT 00001452: DUP1 00001453: ISZERO 00001454: PUSH2 0x145f 00001457: JUMPI 00001458: POP 00001459: DUP4 0000145a: MLOAD 0000145b: DUP3 0000145c: DUP3 0000145d: ADD 0000145e: LT 0000145f: JUMPDEST 00001460: DUP1 00001461: ISZERO 00001462: PUSH2 0x14a6 00001465: JUMPI 00001466: POP 00001467: DUP3 00001468: DUP3 00001469: DUP2 0000146a: MLOAD 0000146b: DUP2 0000146c: LT 0000146d: ISZERO 0000146e: PUSH2 0x0002 00001471: JUMPI 00001472: SWAP1 00001473: PUSH1 0x20 00001475: ADD 00001476: ADD 00001477: MLOAD 00001478: PUSH1 0xf8 0000147a: PUSH1 0x02 0000147c: EXP 0000147d: SWAP1 0000147e: DIV 0000147f: PUSH1 0xf8 00001481: PUSH1 0x02 00001483: EXP 00001484: MUL 00001485: DUP5 00001486: DUP4 00001487: DUP4 00001488: ADD 00001489: DUP2 0000148a: MLOAD 0000148b: DUP2 0000148c: LT 0000148d: ISZERO 0000148e: PUSH2 0x0002 00001491: JUMPI 00001492: SWAP1 00001493: PUSH1 0x20 00001495: ADD 00001496: ADD 00001497: MLOAD 00001498: PUSH1 0xf8 0000149a: PUSH1 0x02 0000149c: EXP 0000149d: SWAP1 0000149e: DIV 0000149f: PUSH1 0xf8 000014a1: PUSH1 0x02 000014a3: EXP 000014a4: MUL 000014a5: EQ 000014a6: JUMPDEST 000014a7: ISZERO 000014a8: PUSH2 0x14c7 000014ab: JUMPI 000014ac: PUSH1 0x01 000014ae: SWAP2 000014af: SWAP1 000014b0: SWAP2 000014b1: ADD 000014b2: SWAP1 000014b3: PUSH2 0x144d 000014b6: JUMP 000014b7: JUMPDEST 000014b8: PUSH1 0x00 000014ba: NOT 000014bb: SWAP5 000014bc: POP 000014bd: JUMPDEST 000014be: POP 000014bf: POP 000014c0: POP 000014c1: POP 000014c2: SWAP3 000014c3: SWAP2 000014c4: POP 000014c5: POP 000014c6: JUMP 000014c7: JUMPDEST 000014c8: DUP3 000014c9: MLOAD 000014ca: DUP3 000014cb: EQ 000014cc: ISZERO 000014cd: PUSH2 0x14d8 000014d0: JUMPI 000014d1: DUP1 000014d2: SWAP5 000014d3: POP 000014d4: PUSH2 0x14bd 000014d7: JUMP 000014d8: JUMPDEST 000014d9: PUSH1 0x01 000014db: ADD 000014dc: PUSH2 0x13fc 000014df: JUMP 000014e0: JUMPDEST 000014e1: SWAP1 000014e2: POP 000014e3: PUSH2 0x07ea 000014e6: JUMP 000014e7: JUMPDEST 000014e8: SWAP1 000014e9: POP 000014ea: DUP1 000014eb: PUSH1 0x00 000014ed: NOT 000014ee: EQ 000014ef: ISZERO 000014f0: PUSH2 0x1503 000014f3: JUMPI 000014f4: PUSH1 0x00 000014f6: NOT 000014f7: SWAP2 000014f8: POP 000014f9: PUSH2 0x1509 000014fc: JUMP 000014fd: JUMPDEST 000014fe: DUP6 000014ff: PUSH2 0x0b25 00001502: JUMP 00001503: JUMPDEST 00001504: DUP1 00001505: DUP4 00001506: ADD 00001507: SWAP2 00001508: POP 00001509: JUMPDEST 0000150a: POP 0000150b: SWAP4 0000150c: SWAP3 0000150d: POP 0000150e: POP 0000150f: POP 00001510: JUMP 00001511: JUMPDEST 00001512: DUP4 00001513: DUP2 00001514: DUP2 00001515: MLOAD 00001516: DUP2 00001517: LT 00001518: ISZERO 00001519: PUSH2 0x0002 0000151c: JUMPI 0000151d: ADD 0000151e: PUSH1 0x20 00001520: ADD 00001521: MLOAD 00001522: PUSH1 0xf8 00001524: PUSH1 0x02 00001526: EXP 00001527: SWAP1 00001528: DUP2 00001529: SWAP1 0000152a: DIV 0000152b: MUL 0000152c: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 0000154d: EQ 0000154e: ISZERO 0000154f: PUSH2 0x1557 00001552: JUMPI 00001553: PUSH1 0x01 00001555: SWAP2 00001556: POP 00001557: JUMPDEST 00001558: PUSH1 0x01 0000155a: ADD 0000155b: PUSH2 0x115a 0000155e: JUMP 0000155f: JUMPDEST 00001560: PUSH1 0x00 00001562: NOT 00001563: SWAP6 00001564: SWAP1 00001565: SWAP6 00001566: ADD 00001567: SWAP5 00001568: JUMPDEST 00001569: PUSH1 0x0a 0000156b: DUP4 0000156c: MUL 0000156d: SWAP3 0000156e: POP 0000156f: DUP3 00001570: POP 00001571: PUSH1 0x30 00001573: DUP5 00001574: DUP3 00001575: DUP2 00001576: MLOAD 00001577: DUP2 00001578: LT 00001579: ISZERO 0000157a: PUSH2 0x0002 0000157d: JUMPI 0000157e: ADD 0000157f: PUSH1 0x20 00001581: ADD 00001582: MLOAD 00001583: PUSH1 0xf8 00001585: PUSH1 0x02 00001587: EXP 00001588: SWAP1 00001589: DUP2 0000158a: SWAP1 0000158b: DIV 0000158c: DUP2 0000158d: MUL 0000158e: DIV 0000158f: SWAP1 00001590: SWAP4 00001591: ADD 00001592: PUSH1 0x2f 00001594: NOT 00001595: ADD 00001596: SWAP3 00001597: POP 00001598: PUSH2 0x1557 0000159b: JUMP 0000159c: JUMPDEST 0000159d: SWAP4 0000159e: SWAP3 0000159f: POP 000015a0: POP 000015a1: POP 000015a2: JUMP 000015a3: EXP 000015a4: PUSH28 0x226a736f6e727063223a22322e30222c226d6574686f64223a226765 000015c1: PUSH15 0x65726174655369676e6564496e7465 000015d1: PUSH8 0x657273222c227061 000015da: PUSH19 0x616d73223a7b226170694b6579223a22333636 000015ee: PUSH4 0x65663839 000015f3: UNKNOWN(0x2D) 000015f4: PUSH4 0x3738662d 000015f9: CALLVALUE 000015fa: BALANCE 000015fb: BALANCE 000015fc: BALANCE 000015fd: UNKNOWN(0x2D) 000015fe: PUSH3 0x383834 00001602: UNKNOWN(0x2D) 00001603: CODESIZE 00001604: PUSH7 0x39333432363461 0000160c: PUSH6 0x6430222c226e 00001613: UNKNOWN(0x22) 00001614: GASPRICE 00001615: BALANCE 00001616: UNKNOWN(0x2C) 00001617: UNKNOWN(0x22) 00001618: PUSH14 0x696e223a312c226d6178223a3130 00001627: ADDRESS 00001628: ADDRESS 00001629: ADDRESS 0000162a: 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 | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6dd20e41f65e2c316c88855b06e907cc69f5c474cda20a4f9fd799d7faa8113a
call_targets:
0x822d8f5dca86195406298b548ec2ca59a2a0d8c1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6dd20e41f65e2c316c88855b06e907cc69f5c474cda20a4f9fd799d7faa8113a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x822d8f5dca86195406298b548ec2ca59a2a0d8c1"
],
"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": "0x337b68ba",
"selector": "0x337b68ba",
"calldata_variants": [
"0x337b68ba",
"0x337b68ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a6c54fb",
"selector": "0x3a6c54fb",
"calldata_variants": [
"0x3a6c54fb",
"0x3a6c54fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 550,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 677,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 21,
"guards_detected": [],
"untrusted_call_count": 21
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6dd20e41f65e2c316c88855b06e907cc69f5c474cda20a4f9fd799d7faa8113a
call_targets:
0x822d8f5dca86195406298b548ec2ca59a2a0d8c1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6dd20e41f65e2c316c88855b06e907cc69f5c474cda20a4f9fd799d7faa8113a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x822d8f5dca86195406298b548ec2ca59a2a0d8c1"
],
"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": "0x337b68ba",
"selector": "0x337b68ba",
"calldata_variants": [
"0x337b68ba",
"0x337b68ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38bbfa50",
"selector": "0x38bbfa50",
"calldata_variants": [
"0x38bbfa50",
"0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a6c54fb",
"selector": "0x3a6c54fb",
"calldata_variants": [
"0x3a6c54fb",
"0x3a6c54fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 550,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 677,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 20,
"guards_detected": []
}
|