019b3836-3b22-7220-b3c3-d42c501a439a
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 |
|---|---|---|---|---|
| 4345 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4346 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47360 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47361 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47362 | detector.run | complete | 1 / 3 | 1 week ago |
| 47363 | 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 0x0151 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x16d190e3 00000046: EQ 00000047: PUSH2 0x015a 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x337b68ba 00000051: EQ 00000052: PUSH2 0x0163 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x38bbfa50 0000005c: EQ 0000005d: PUSH2 0x016c 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x3a6c54fb 00000067: EQ 00000068: PUSH2 0x02db 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4e69d560 00000072: EQ 00000073: PUSH2 0x02e7 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x66d16cc3 0000007d: EQ 0000007e: PUSH2 0x0304 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x724ae9d0 00000088: EQ 00000089: PUSH2 0x030d 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8ca17995 00000093: EQ 00000094: PUSH2 0x032e 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x9619367d 0000009e: EQ 0000009f: PUSH2 0x0342 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa39ce9ca 000000a9: EQ 000000aa: PUSH2 0x034b 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa96a5a5b 000000b4: EQ 000000b5: PUSH2 0x0354 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xadc2c98a 000000bf: EQ 000000c0: PUSH2 0x035d 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xbc99cc37 000000ca: EQ 000000cb: PUSH2 0x0366 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xcafb2202 000000d5: EQ 000000d6: PUSH2 0x036f 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xcff2bcfe 000000e0: EQ 000000e1: PUSH2 0x0378 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xd4c80edf 000000eb: EQ 000000ec: PUSH2 0x0381 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xdf06f906 000000f6: EQ 000000f7: PUSH2 0x038a 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe8b5e51f 00000101: EQ 00000102: PUSH2 0x0393 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xf8b2cb4f 0000010c: EQ 0000010d: PUSH2 0x03c1 00000110: JUMPI 00000111: JUMPDEST 00000112: PUSH2 0x0402 00000115: PUSH2 0x0426 00000118: PUSH2 0x0146 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH2 0x0402 00000120: PUSH1 0x00 00000122: CALLVALUE 00000123: GT 00000124: ISZERO 00000125: PUSH2 0x06cf 00000128: JUMPI 00000129: PUSH2 0x0002 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH2 0x0428 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 0x0402 00000146: JUMPDEST 00000147: PUSH2 0x2710 0000014a: PUSH2 0x07ff 0000014d: PUSH2 0x0131 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH2 0x0428 00000155: PUSH1 0x0a 00000157: SLOAD 00000158: DUP2 00000159: JUMP 0000015a: JUMPDEST 0000015b: PUSH2 0x0428 0000015e: PUSH1 0x04 00000160: SLOAD 00000161: DUP2 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH2 0x0428 00000167: PUSH1 0x12 00000169: SLOAD 0000016a: DUP2 0000016b: JUMP 0000016c: JUMPDEST 0000016d: PUSH1 0x40 0000016f: DUP1 00000170: MLOAD 00000171: PUSH1 0x20 00000173: PUSH1 0x24 00000175: DUP1 00000176: CALLDATALOAD 00000177: PUSH1 0x04 00000179: DUP2 0000017a: DUP2 0000017b: ADD 0000017c: CALLDATALOAD 0000017d: PUSH1 0x1f 0000017f: DUP2 00000180: ADD 00000181: DUP6 00000182: SWAP1 00000183: DIV 00000184: DUP6 00000185: MUL 00000186: DUP7 00000187: ADD 00000188: DUP6 00000189: ADD 0000018a: SWAP1 0000018b: SWAP7 0000018c: MSTORE 0000018d: DUP6 0000018e: DUP6 0000018f: MSTORE 00000190: PUSH2 0x0402 00000193: SWAP6 00000194: DUP2 00000195: CALLDATALOAD 00000196: SWAP6 00000197: SWAP2 00000198: SWAP5 00000199: PUSH1 0x44 0000019b: SWAP5 0000019c: SWAP3 0000019d: SWAP4 0000019e: SWAP1 0000019f: SWAP3 000001a0: ADD 000001a1: SWAP2 000001a2: DUP2 000001a3: SWAP1 000001a4: DUP5 000001a5: ADD 000001a6: DUP4 000001a7: DUP3 000001a8: DUP1 000001a9: DUP3 000001aa: DUP5 000001ab: CALLDATACOPY 000001ac: POP 000001ad: POP 000001ae: PUSH1 0x40 000001b0: DUP1 000001b1: MLOAD 000001b2: PUSH1 0x20 000001b4: SWAP8 000001b5: CALLDATALOAD 000001b6: DUP1 000001b7: DUP11 000001b8: ADD 000001b9: CALLDATALOAD 000001ba: PUSH1 0x1f 000001bc: DUP2 000001bd: ADD 000001be: DUP11 000001bf: SWAP1 000001c0: DIV 000001c1: DUP11 000001c2: MUL 000001c3: DUP4 000001c4: ADD 000001c5: DUP11 000001c6: ADD 000001c7: SWAP1 000001c8: SWAP4 000001c9: MSTORE 000001ca: DUP3 000001cb: DUP3 000001cc: MSTORE 000001cd: SWAP7 000001ce: SWAP9 000001cf: SWAP8 000001d0: PUSH1 0x64 000001d2: SWAP8 000001d3: SWAP2 000001d4: SWAP7 000001d5: POP 000001d6: PUSH1 0x24 000001d8: SWAP2 000001d9: SWAP1 000001da: SWAP2 000001db: ADD 000001dc: SWAP5 000001dd: POP 000001de: SWAP1 000001df: SWAP3 000001e0: POP 000001e1: DUP3 000001e2: SWAP2 000001e3: POP 000001e4: DUP5 000001e5: ADD 000001e6: DUP4 000001e7: DUP3 000001e8: DUP1 000001e9: DUP3 000001ea: DUP5 000001eb: CALLDATACOPY 000001ec: POP 000001ed: SWAP5 000001ee: SWAP7 000001ef: POP 000001f0: POP 000001f1: POP 000001f2: POP 000001f3: POP 000001f4: POP 000001f5: POP 000001f6: PUSH1 0x00 000001f8: PUSH1 0x00 000001fa: PUSH2 0x0b75 000001fd: PUSH1 0x40 000001ff: DUP1 00000200: MLOAD 00000201: PUSH1 0x00 00000203: DUP1 00000204: SLOAD 00000205: PUSH32 0x38cc483100000000000000000000000000000000000000000000000000000000 00000226: DUP4 00000227: MSTORE 00000228: SWAP3 00000229: MLOAD 0000022a: SWAP1 0000022b: SWAP3 0000022c: PUSH1 0x01 0000022e: PUSH1 0xa0 00000230: PUSH1 0x02 00000232: EXP 00000233: SUB 00000234: AND 00000235: SWAP2 00000236: PUSH4 0x38cc4831 0000023b: SWAP2 0000023c: PUSH1 0x04 0000023e: DUP3 0000023f: DUP2 00000240: ADD 00000241: SWAP3 00000242: PUSH1 0x20 00000244: SWAP3 00000245: SWAP2 00000246: SWAP1 00000247: DUP3 00000248: SWAP1 00000249: SUB 0000024a: ADD 0000024b: DUP2 0000024c: DUP8 0000024d: DUP8 0000024e: PUSH2 0x61da 00000251: GAS 00000252: SUB 00000253: CALL 00000254: ISZERO 00000255: PUSH2 0x0002 00000258: JUMPI 00000259: POP 0000025a: POP 0000025b: PUSH1 0x01 0000025d: DUP1 0000025e: SLOAD 0000025f: PUSH1 0x40 00000261: DUP1 00000262: MLOAD 00000263: DUP1 00000264: MLOAD 00000265: PUSH1 0x01 00000267: PUSH1 0xa0 00000269: PUSH1 0x02 0000026b: EXP 0000026c: SUB 0000026d: NOT 0000026e: SWAP1 0000026f: SWAP4 00000270: AND 00000271: SWAP1 00000272: SWAP3 00000273: OR 00000274: SWAP3 00000275: DUP4 00000276: SWAP1 00000277: SSTORE 00000278: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000 00000299: DUP3 0000029a: MSTORE 0000029b: MLOAD 0000029c: PUSH1 0x01 0000029e: PUSH1 0xa0 000002a0: PUSH1 0x02 000002a2: EXP 000002a3: SUB 000002a4: SWAP3 000002a5: SWAP1 000002a6: SWAP3 000002a7: AND 000002a8: SWAP3 000002a9: POP 000002aa: PUSH4 0xc281d19e 000002af: SWAP2 000002b0: PUSH1 0x04 000002b2: DUP3 000002b3: DUP2 000002b4: ADD 000002b5: SWAP3 000002b6: PUSH1 0x20 000002b8: SWAP3 000002b9: SWAP2 000002ba: SWAP1 000002bb: DUP3 000002bc: SWAP1 000002bd: SUB 000002be: ADD 000002bf: DUP2 000002c0: DUP8 000002c1: DUP8 000002c2: PUSH2 0x61da 000002c5: GAS 000002c6: SUB 000002c7: CALL 000002c8: ISZERO 000002c9: PUSH2 0x0002 000002cc: JUMPI 000002cd: POP 000002ce: POP 000002cf: PUSH1 0x40 000002d1: MLOAD 000002d2: MLOAD 000002d3: SWAP2 000002d4: POP 000002d5: PUSH2 0x013f 000002d8: SWAP1 000002d9: POP 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH2 0x0428 000002df: PUSH1 0x08 000002e1: SLOAD 000002e2: PUSH1 0xff 000002e4: AND 000002e5: DUP2 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x043a 000002eb: PUSH1 0x00 000002ed: PUSH1 0x00 000002ef: PUSH1 0x00 000002f1: PUSH1 0x00 000002f3: PUSH1 0x00 000002f5: PUSH1 0x00 000002f7: PUSH1 0x00 000002f9: PUSH1 0x00 000002fb: PUSH1 0x00 000002fd: PUSH2 0x07b5 00000300: PUSH2 0x0131 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH2 0x0428 00000308: PUSH1 0x11 0000030a: SLOAD 0000030b: DUP2 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH2 0x0428 00000311: JUMPDEST 00000312: PUSH1 0x00 00000314: PUSH1 0x00 00000316: PUSH1 0x00 00000318: PUSH1 0x06 0000031a: PUSH1 0x00 0000031c: POP 0000031d: SLOAD 0000031e: PUSH1 0x0a 00000320: PUSH1 0x00 00000322: POP 00000323: SLOAD 00000324: LT 00000325: ISZERO 00000326: PUSH2 0x071c 00000329: JUMPI 0000032a: PUSH2 0x075b 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH2 0x0402 00000332: PUSH1 0x04 00000334: CALLDATALOAD 00000335: PUSH1 0x00 00000337: CALLVALUE 00000338: GT 00000339: ISZERO 0000033a: PUSH2 0x0678 0000033d: JUMPI 0000033e: PUSH2 0x0002 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH2 0x0428 00000346: PUSH1 0x05 00000348: SLOAD 00000349: DUP2 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x0428 0000034f: PUSH1 0x07 00000351: SLOAD 00000352: DUP2 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH2 0x0428 00000358: PUSH1 0x02 0000035a: SLOAD 0000035b: DUP2 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH2 0x0428 00000361: PUSH1 0x03 00000363: SLOAD 00000364: DUP2 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH2 0x0428 0000036a: PUSH1 0x06 0000036c: SLOAD 0000036d: DUP2 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH2 0x0428 00000373: PUSH1 0x0c 00000375: SLOAD 00000376: DUP2 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH2 0x0428 0000037c: PUSH1 0x0e 0000037e: SLOAD 0000037f: DUP2 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH2 0x0428 00000385: PUSH1 0x10 00000387: SLOAD 00000388: DUP2 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH2 0x0428 0000038e: PUSH1 0x0f 00000390: SLOAD 00000391: DUP2 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH2 0x0402 00000397: CALLER 00000398: PUSH1 0x01 0000039a: PUSH1 0xa0 0000039c: PUSH1 0x02 0000039e: EXP 0000039f: SUB 000003a0: AND 000003a1: PUSH1 0x00 000003a3: SWAP1 000003a4: DUP2 000003a5: MSTORE 000003a6: PUSH1 0x0b 000003a8: PUSH1 0x20 000003aa: MSTORE 000003ab: PUSH1 0x40 000003ad: DUP2 000003ae: KECCAK256 000003af: SLOAD 000003b0: DUP2 000003b1: SWAP1 000003b2: DUP2 000003b3: SWAP1 000003b4: GT 000003b5: ISZERO 000003b6: PUSH2 0x0481 000003b9: JUMPI 000003ba: PUSH2 0x049f 000003bd: PUSH2 0x0485 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH2 0x0428 000003c5: PUSH1 0x04 000003c7: CALLDATALOAD 000003c8: JUMPDEST 000003c9: PUSH1 0x01 000003cb: PUSH1 0xa0 000003cd: PUSH1 0x02 000003cf: EXP 000003d0: SUB 000003d1: DUP2 000003d2: AND 000003d3: PUSH1 0x00 000003d5: SWAP1 000003d6: DUP2 000003d7: MSTORE 000003d8: PUSH1 0x0b 000003da: PUSH1 0x20 000003dc: MSTORE 000003dd: PUSH1 0x40 000003df: DUP2 000003e0: KECCAK256 000003e1: SLOAD 000003e2: DUP2 000003e3: SWAP1 000003e4: GT 000003e5: DUP1 000003e6: ISZERO 000003e7: PUSH2 0x03f2 000003ea: JUMPI 000003eb: POP 000003ec: PUSH1 0x0c 000003ee: SLOAD 000003ef: DUP2 000003f0: SWAP1 000003f1: GT 000003f2: JUMPDEST 000003f3: ISZERO 000003f4: PUSH2 0x06e1 000003f7: JUMPI 000003f8: PUSH1 0x0c 000003fa: SLOAD 000003fb: PUSH2 0x06ea 000003fe: PUSH2 0x0131 00000401: JUMP 00000402: JUMPDEST 00000403: STOP 00000404: JUMPDEST 00000405: PUSH1 0x40 00000407: MLOAD 00000408: CALLER 00000409: PUSH1 0x01 0000040b: PUSH1 0xa0 0000040d: PUSH1 0x02 0000040f: EXP 00000410: SUB 00000411: AND 00000412: SWAP1 00000413: PUSH1 0x00 00000415: SWAP1 00000416: PUSH1 0x02 00000418: SWAP1 00000419: DUP3 0000041a: DUP2 0000041b: DUP2 0000041c: DUP2 0000041d: DUP6 0000041e: DUP9 0000041f: DUP4 00000420: CALL 00000421: POP 00000422: POP 00000423: POP 00000424: POP 00000425: POP 00000426: JUMPDEST 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH1 0x40 0000042b: DUP1 0000042c: MLOAD 0000042d: SWAP2 0000042e: DUP3 0000042f: MSTORE 00000430: MLOAD 00000431: SWAP1 00000432: DUP2 00000433: SWAP1 00000434: SUB 00000435: PUSH1 0x20 00000437: ADD 00000438: SWAP1 00000439: RETURN 0000043a: JUMPDEST 0000043b: PUSH1 0x40 0000043d: DUP1 0000043e: MLOAD 0000043f: SWAP10 00000440: DUP11 00000441: MSTORE 00000442: PUSH1 0x20 00000444: DUP11 00000445: ADD 00000446: SWAP9 00000447: SWAP1 00000448: SWAP9 00000449: MSTORE 0000044a: DUP9 0000044b: DUP9 0000044c: ADD 0000044d: SWAP7 0000044e: SWAP1 0000044f: SWAP7 00000450: MSTORE 00000451: PUSH1 0x60 00000453: DUP9 00000454: ADD 00000455: SWAP5 00000456: SWAP1 00000457: SWAP5 00000458: MSTORE 00000459: PUSH1 0x80 0000045b: DUP8 0000045c: ADD 0000045d: SWAP3 0000045e: SWAP1 0000045f: SWAP3 00000460: MSTORE 00000461: PUSH1 0xa0 00000463: DUP7 00000464: ADD 00000465: MSTORE 00000466: PUSH1 0xc0 00000468: DUP6 00000469: ADD 0000046a: MSTORE 0000046b: PUSH1 0xe0 0000046d: DUP5 0000046e: ADD 0000046f: MSTORE 00000470: PUSH2 0x0100 00000473: DUP4 00000474: ADD 00000475: MSTORE 00000476: MLOAD 00000477: SWAP1 00000478: DUP2 00000479: SWAP1 0000047a: SUB 0000047b: PUSH2 0x0120 0000047e: ADD 0000047f: SWAP1 00000480: RETURN 00000481: JUMPDEST 00000482: PUSH2 0x04de 00000485: JUMPDEST 00000486: PUSH1 0x12 00000488: SLOAD 00000489: PUSH1 0x11 0000048b: SLOAD 0000048c: PUSH1 0x00 0000048e: SWAP2 0000048f: DUP3 00000490: SWAP2 00000491: DUP3 00000492: SWAP2 00000493: EQ 00000494: PUSH2 0x0f3e 00000497: JUMPI 00000498: PUSH2 0x0f43 0000049b: PUSH2 0x0131 0000049e: JUMP 0000049f: JUMPDEST 000004a0: CALLER 000004a1: PUSH1 0x01 000004a3: PUSH1 0xa0 000004a5: PUSH1 0x02 000004a7: EXP 000004a8: SUB 000004a9: AND 000004aa: PUSH1 0x00 000004ac: SWAP1 000004ad: DUP2 000004ae: MSTORE 000004af: PUSH1 0x0b 000004b1: PUSH1 0x20 000004b3: SWAP1 000004b4: DUP2 000004b5: MSTORE 000004b6: PUSH1 0x40 000004b8: DUP1 000004b9: DUP4 000004ba: KECCAK256 000004bb: SLOAD 000004bc: DUP4 000004bd: MSTORE 000004be: PUSH1 0x09 000004c0: SWAP1 000004c1: SWAP2 000004c2: MSTORE 000004c3: SWAP1 000004c4: KECCAK256 000004c5: PUSH1 0x01 000004c7: ADD 000004c8: DUP1 000004c9: SLOAD 000004ca: CALLVALUE 000004cb: SWAP1 000004cc: DUP2 000004cd: ADD 000004ce: SWAP1 000004cf: SWAP2 000004d0: SSTORE 000004d1: PUSH1 0x0c 000004d3: DUP1 000004d4: SLOAD 000004d5: SWAP1 000004d6: SWAP2 000004d7: ADD 000004d8: SWAP1 000004d9: SSTORE 000004da: PUSH2 0x05c0 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x06 000004e1: SLOAD 000004e2: PUSH1 0x0a 000004e4: SLOAD 000004e5: PUSH1 0x00 000004e7: SWAP4 000004e8: POP 000004e9: LT 000004ea: ISZERO 000004eb: PUSH2 0x053e 000004ee: JUMPI 000004ef: PUSH1 0x0a 000004f1: DUP1 000004f2: SLOAD 000004f3: PUSH1 0x01 000004f5: ADD 000004f6: SWAP1 000004f7: DUP2 000004f8: SWAP1 000004f9: SSTORE 000004fa: SWAP2 000004fb: POP 000004fc: JUMPDEST 000004fd: PUSH1 0x00 000004ff: DUP3 00000500: GT 00000501: ISZERO 00000502: PUSH2 0x059e 00000505: JUMPI 00000506: PUSH1 0x00 00000508: DUP3 00000509: DUP2 0000050a: MSTORE 0000050b: PUSH1 0x09 0000050d: PUSH1 0x20 0000050f: MSTORE 00000510: PUSH1 0x40 00000512: DUP2 00000513: KECCAK256 00000514: PUSH1 0x01 00000516: ADD 00000517: SLOAD 00000518: GT 00000519: ISZERO 0000051a: PUSH2 0x05ea 0000051d: JUMPI 0000051e: PUSH1 0x40 00000520: PUSH1 0x00 00000522: KECCAK256 00000523: DUP1 00000524: SLOAD 00000525: PUSH1 0x01 00000527: SWAP2 00000528: SWAP1 00000529: SWAP2 0000052a: ADD 0000052b: SLOAD 0000052c: PUSH2 0x05c4 0000052f: SWAP2 00000530: PUSH1 0x01 00000532: PUSH1 0xa0 00000534: PUSH1 0x02 00000536: EXP 00000537: SUB 00000538: AND 00000539: SWAP1 0000053a: PUSH2 0x067e 0000053d: JUMP 0000053e: JUMPDEST 0000053f: POP 00000540: PUSH1 0x02 00000542: JUMPDEST 00000543: PUSH1 0x0a 00000545: SLOAD 00000546: DUP2 00000547: GT 00000548: PUSH2 0x04fc 0000054b: JUMPI 0000054c: PUSH1 0x00 0000054e: DUP2 0000054f: DUP2 00000550: MSTORE 00000551: PUSH1 0x09 00000553: PUSH1 0x20 00000555: MSTORE 00000556: PUSH1 0x40 00000558: SWAP1 00000559: KECCAK256 0000055a: PUSH1 0x01 0000055c: ADD 0000055d: SLOAD 0000055e: CALLVALUE 0000055f: SWAP1 00000560: LT 00000561: DUP1 00000562: ISZERO 00000563: PUSH2 0x058d 00000566: JUMPI 00000567: POP 00000568: DUP2 00000569: PUSH1 0x00 0000056b: EQ 0000056c: DUP1 0000056d: PUSH2 0x058d 00000570: JUMPI 00000571: POP 00000572: PUSH1 0x40 00000574: PUSH1 0x00 00000576: DUP2 00000577: DUP2 00000578: KECCAK256 00000579: PUSH1 0x01 0000057b: SWAP1 0000057c: DUP2 0000057d: ADD 0000057e: SLOAD 0000057f: DUP6 00000580: DUP4 00000581: MSTORE 00000582: SWAP3 00000583: DUP3 00000584: KECCAK256 00000585: ADD 00000586: SLOAD 00000587: SWAP1 00000588: DUP4 00000589: SWAP1 0000058a: MSTORE 0000058b: SWAP1 0000058c: LT 0000058d: JUMPDEST 0000058e: ISZERO 0000058f: PUSH2 0x0596 00000592: JUMPI 00000593: SWAP1 00000594: POP 00000595: DUP1 00000596: JUMPDEST 00000597: PUSH1 0x01 00000599: ADD 0000059a: PUSH2 0x0542 0000059d: JUMP 0000059e: JUMPDEST 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: CALLER 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: PUSH1 0x02 000005a9: EXP 000005aa: SUB 000005ab: AND 000005ac: SWAP1 000005ad: PUSH1 0x00 000005af: SWAP1 000005b0: PUSH1 0x06 000005b2: SWAP1 000005b3: DUP3 000005b4: DUP2 000005b5: DUP2 000005b6: DUP2 000005b7: DUP6 000005b8: DUP9 000005b9: DUP4 000005ba: CALL 000005bb: POP 000005bc: POP 000005bd: POP 000005be: POP 000005bf: POP 000005c0: JUMPDEST 000005c1: POP 000005c2: POP 000005c3: JUMP 000005c4: JUMPDEST 000005c5: PUSH1 0x00 000005c7: DUP3 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x09 000005cc: PUSH1 0x20 000005ce: SWAP1 000005cf: DUP2 000005d0: MSTORE 000005d1: PUSH1 0x40 000005d3: DUP1 000005d4: DUP4 000005d5: KECCAK256 000005d6: SLOAD 000005d7: PUSH1 0x01 000005d9: PUSH1 0xa0 000005db: PUSH1 0x02 000005dd: EXP 000005de: SUB 000005df: AND 000005e0: DUP4 000005e1: MSTORE 000005e2: PUSH1 0x0b 000005e4: SWAP1 000005e5: SWAP2 000005e6: MSTORE 000005e7: DUP2 000005e8: KECCAK256 000005e9: SSTORE 000005ea: JUMPDEST 000005eb: PUSH1 0x00 000005ed: DUP3 000005ee: DUP2 000005ef: MSTORE 000005f0: PUSH1 0x09 000005f2: PUSH1 0x20 000005f4: MSTORE 000005f5: PUSH1 0x40 000005f7: DUP2 000005f8: KECCAK256 000005f9: PUSH1 0x01 000005fb: ADD 000005fc: SLOAD 000005fd: EQ 000005fe: DUP1 000005ff: ISZERO 00000600: PUSH2 0x0622 00000603: JUMPI 00000604: POP 00000605: PUSH1 0x40 00000607: PUSH1 0x00 00000609: DUP2 0000060a: DUP2 0000060b: KECCAK256 0000060c: SLOAD 0000060d: PUSH1 0x01 0000060f: PUSH1 0xa0 00000611: PUSH1 0x02 00000613: EXP 00000614: SUB 00000615: AND 00000616: DUP2 00000617: MSTORE 00000618: PUSH1 0x0b 0000061a: PUSH1 0x20 0000061c: MSTORE 0000061d: SWAP1 0000061e: DUP2 0000061f: KECCAK256 00000620: SLOAD 00000621: EQ 00000622: JUMPDEST 00000623: ISZERO 00000624: PUSH2 0x06a5 00000627: JUMPI 00000628: PUSH1 0x00 0000062a: DUP3 0000062b: DUP2 0000062c: MSTORE 0000062d: PUSH1 0x09 0000062f: PUSH1 0x20 00000631: SWAP1 00000632: DUP2 00000633: MSTORE 00000634: PUSH1 0x40 00000636: DUP1 00000637: DUP4 00000638: KECCAK256 00000639: DUP1 0000063a: SLOAD 0000063b: PUSH1 0x01 0000063d: PUSH1 0xa0 0000063f: PUSH1 0x02 00000641: EXP 00000642: SUB 00000643: NOT 00000644: AND 00000645: CALLER 00000646: SWAP1 00000647: DUP2 00000648: OR 00000649: DUP3 0000064a: SSTORE 0000064b: CALLVALUE 0000064c: PUSH1 0x01 0000064e: SWAP3 0000064f: SWAP1 00000650: SWAP3 00000651: ADD 00000652: DUP3 00000653: SWAP1 00000654: SSTORE 00000655: PUSH1 0x0c 00000657: DUP1 00000658: SLOAD 00000659: SWAP1 0000065a: SWAP3 0000065b: ADD 0000065c: SWAP1 0000065d: SWAP2 0000065e: SSTORE 0000065f: PUSH1 0x01 00000661: PUSH1 0xa0 00000663: PUSH1 0x02 00000665: EXP 00000666: SUB 00000667: AND 00000668: DUP4 00000669: MSTORE 0000066a: PUSH1 0x0b 0000066c: SWAP1 0000066d: SWAP2 0000066e: MSTORE 0000066f: SWAP1 00000670: KECCAK256 00000671: DUP3 00000672: SWAP1 00000673: SSTORE 00000674: PUSH2 0x06c7 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH2 0x06cc 0000067c: CALLER 0000067d: DUP3 0000067e: JUMPDEST 0000067f: PUSH1 0x01 00000681: PUSH1 0xa0 00000683: PUSH1 0x02 00000685: EXP 00000686: SUB 00000687: DUP3 00000688: AND 00000689: PUSH1 0x00 0000068b: SWAP1 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x0b 00000690: PUSH1 0x20 00000692: MSTORE 00000693: PUSH1 0x40 00000695: DUP2 00000696: KECCAK256 00000697: SLOAD 00000698: GT 00000699: ISZERO 0000069a: PUSH2 0x05c0 0000069d: JUMPI 0000069e: PUSH2 0x0f93 000006a1: PUSH2 0x0485 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: CALLER 000006aa: PUSH1 0x01 000006ac: PUSH1 0xa0 000006ae: PUSH1 0x02 000006b0: EXP 000006b1: SUB 000006b2: AND 000006b3: SWAP1 000006b4: PUSH1 0x00 000006b6: SWAP1 000006b7: PUSH1 0x05 000006b9: SWAP1 000006ba: DUP3 000006bb: DUP2 000006bc: DUP2 000006bd: DUP2 000006be: DUP6 000006bf: DUP9 000006c0: DUP4 000006c1: CALL 000006c2: POP 000006c3: POP 000006c4: POP 000006c5: POP 000006c6: POP 000006c7: JUMPDEST 000006c8: PUSH2 0x05c0 000006cb: JUMP 000006cc: JUMPDEST 000006cd: POP 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH2 0x0426 000006d3: CALLER 000006d4: PUSH2 0x06dc 000006d7: CALLER 000006d8: PUSH2 0x03c8 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH2 0x067e 000006e0: JUMP 000006e1: JUMPDEST 000006e2: POP 000006e3: PUSH1 0x00 000006e5: JUMPDEST 000006e6: SWAP2 000006e7: SWAP1 000006e8: POP 000006e9: JUMP 000006ea: JUMPDEST 000006eb: PUSH1 0x01 000006ed: PUSH1 0xa0 000006ef: PUSH1 0x02 000006f1: EXP 000006f2: SUB 000006f3: DUP5 000006f4: AND 000006f5: PUSH1 0x00 000006f7: SWAP1 000006f8: DUP2 000006f9: MSTORE 000006fa: PUSH1 0x0b 000006fc: PUSH1 0x20 000006fe: SWAP1 000006ff: DUP2 00000700: MSTORE 00000701: PUSH1 0x40 00000703: DUP1 00000704: DUP4 00000705: KECCAK256 00000706: SLOAD 00000707: DUP4 00000708: MSTORE 00000709: PUSH1 0x09 0000070b: SWAP1 0000070c: SWAP2 0000070d: MSTORE 0000070e: SWAP1 0000070f: KECCAK256 00000710: PUSH1 0x01 00000712: ADD 00000713: SLOAD 00000714: MUL 00000715: DIV 00000716: SWAP1 00000717: POP 00000718: PUSH2 0x06e5 0000071b: JUMP 0000071c: JUMPDEST 0000071d: POP 0000071e: PUSH1 0x00 00000720: SWAP1 00000721: POP 00000722: PUSH1 0x02 00000724: JUMPDEST 00000725: PUSH1 0x0a 00000727: SLOAD 00000728: DUP2 00000729: GT 0000072a: PUSH2 0x0760 0000072d: JUMPI 0000072e: DUP2 0000072f: PUSH1 0x00 00000731: EQ 00000732: DUP1 00000733: PUSH2 0x0783 00000736: JUMPI 00000737: POP 00000738: PUSH1 0x00 0000073a: DUP3 0000073b: DUP2 0000073c: MSTORE 0000073d: PUSH1 0x09 0000073f: PUSH1 0x20 00000741: MSTORE 00000742: PUSH1 0x40 00000744: SWAP1 00000745: KECCAK256 00000746: SLOAD 00000747: PUSH2 0x0794 0000074a: SWAP1 0000074b: PUSH1 0x01 0000074d: PUSH1 0xa0 0000074f: PUSH1 0x02 00000751: EXP 00000752: SUB 00000753: AND 00000754: PUSH2 0x03c8 00000757: JUMP 00000758: JUMPDEST 00000759: SWAP3 0000075a: POP 0000075b: JUMPDEST 0000075c: POP 0000075d: POP 0000075e: SWAP1 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH1 0x00 00000763: DUP3 00000764: DUP2 00000765: MSTORE 00000766: PUSH1 0x09 00000768: PUSH1 0x20 0000076a: MSTORE 0000076b: PUSH1 0x40 0000076d: SWAP1 0000076e: KECCAK256 0000076f: SLOAD 00000770: PUSH2 0x0758 00000773: SWAP1 00000774: PUSH1 0x01 00000776: PUSH1 0xa0 00000778: PUSH1 0x02 0000077a: EXP 0000077b: SUB 0000077c: AND 0000077d: PUSH2 0x03c8 00000780: JUMP 00000781: JUMPDEST 00000782: LT 00000783: JUMPDEST 00000784: ISZERO 00000785: PUSH2 0x078c 00000788: JUMPI 00000789: SWAP1 0000078a: POP 0000078b: DUP1 0000078c: JUMPDEST 0000078d: PUSH1 0x01 0000078f: ADD 00000790: PUSH2 0x0724 00000793: JUMP 00000794: JUMPDEST 00000795: PUSH1 0x00 00000797: DUP3 00000798: DUP2 00000799: MSTORE 0000079a: PUSH1 0x09 0000079c: PUSH1 0x20 0000079e: MSTORE 0000079f: PUSH1 0x40 000007a1: SWAP1 000007a2: KECCAK256 000007a3: SLOAD 000007a4: PUSH2 0x0781 000007a7: SWAP1 000007a8: PUSH1 0x01 000007aa: PUSH1 0xa0 000007ac: PUSH1 0x02 000007ae: EXP 000007af: SUB 000007b0: AND 000007b1: PUSH2 0x03c8 000007b4: JUMP 000007b5: JUMPDEST 000007b6: PUSH1 0x11 000007b8: SLOAD 000007b9: PUSH1 0x02 000007bb: SLOAD 000007bc: PUSH1 0x04 000007be: SLOAD 000007bf: PUSH1 0x03 000007c1: SLOAD 000007c2: PUSH1 0x05 000007c4: SLOAD 000007c5: PUSH1 0x10 000007c7: SLOAD 000007c8: SWAP4 000007c9: SWAP5 000007ca: SWAP2 000007cb: SWAP4 000007cc: SWAP1 000007cd: SWAP2 000007ce: PUSH2 0x07d5 000007d1: PUSH2 0x0311 000007d4: JUMP 000007d5: JUMPDEST 000007d6: PUSH1 0x0e 000007d8: PUSH1 0x00 000007da: POP 000007db: SLOAD 000007dc: PUSH1 0x0f 000007de: PUSH1 0x00 000007e0: POP 000007e1: SLOAD 000007e2: SUB 000007e3: SWAP9 000007e4: POP 000007e5: SWAP9 000007e6: POP 000007e7: SWAP9 000007e8: POP 000007e9: SWAP9 000007ea: POP 000007eb: SWAP9 000007ec: POP 000007ed: SWAP9 000007ee: POP 000007ef: SWAP9 000007f0: POP 000007f1: SWAP9 000007f2: POP 000007f3: SWAP9 000007f4: POP 000007f5: SWAP1 000007f6: SWAP2 000007f7: SWAP3 000007f8: SWAP4 000007f9: SWAP5 000007fa: SWAP6 000007fb: SWAP7 000007fc: SWAP8 000007fd: SWAP9 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x04 00000802: PUSH1 0x00 00000804: POP 00000805: SLOAD 00000806: MUL 00000807: DIV 00000808: CALLVALUE 00000809: PUSH1 0x02 0000080b: PUSH1 0x00 0000080d: POP 0000080e: SLOAD 0000080f: CALLVALUE 00000810: PUSH2 0x2710 00000813: MUL 00000814: DIV 00000815: SUB 00000816: GT 00000817: ISZERO 00000818: DUP1 00000819: ISZERO 0000081a: PUSH2 0x0825 0000081d: JUMPI 0000081e: POP 0000081f: PUSH1 0x05 00000821: SLOAD 00000822: CALLVALUE 00000823: LT 00000824: ISZERO 00000825: JUMPDEST 00000826: ISZERO 00000827: PUSH2 0x0b09 0000082a: JUMPI 0000082b: PUSH1 0x40 0000082d: DUP1 0000082e: MLOAD 0000082f: PUSH1 0x01 00000831: SLOAD 00000832: PUSH1 0xe2 00000834: PUSH1 0x02 00000836: EXP 00000837: PUSH4 0x0bbceb33 0000083c: MUL 0000083d: DUP3 0000083e: MSTORE 0000083f: PUSH3 0x0493e0 00000843: PUSH1 0x24 00000845: DUP4 00000846: ADD 00000847: MSTORE 00000848: PUSH1 0x04 0000084a: DUP3 0000084b: ADD 0000084c: DUP4 0000084d: SWAP1 0000084e: MSTORE 0000084f: PUSH1 0x03 00000851: PUSH1 0x44 00000853: DUP4 00000854: ADD 00000855: MSTORE 00000856: PUSH1 0xea 00000858: PUSH1 0x02 0000085a: EXP 0000085b: PUSH3 0x155493 0000085f: MUL 00000860: PUSH1 0x64 00000862: DUP4 00000863: ADD 00000864: MSTORE 00000865: SWAP2 00000866: MLOAD 00000867: PUSH8 0x0de0b6b3a7640000 00000870: SWAP3 00000871: PUSH1 0x01 00000873: PUSH1 0xa0 00000875: PUSH1 0x02 00000877: EXP 00000878: SUB 00000879: AND 0000087a: SWAP2 0000087b: PUSH4 0x2ef3accc 00000880: SWAP2 00000881: PUSH1 0x84 00000883: DUP3 00000884: DUP2 00000885: ADD 00000886: SWAP3 00000887: PUSH1 0x20 00000889: SWAP3 0000088a: SWAP2 0000088b: SWAP1 0000088c: DUP3 0000088d: SWAP1 0000088e: SUB 0000088f: ADD 00000890: DUP2 00000891: PUSH1 0x00 00000893: DUP8 00000894: PUSH2 0x61da 00000897: GAS 00000898: SUB 00000899: CALL 0000089a: ISZERO 0000089b: PUSH2 0x0002 0000089e: JUMPI 0000089f: POP 000008a0: POP 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: MLOAD 000008a5: SWAP2 000008a6: SWAP1 000008a7: SWAP2 000008a8: LT 000008a9: ISZERO 000008aa: SWAP1 000008ab: POP 000008ac: PUSH2 0x0404 000008af: JUMPI 000008b0: PUSH1 0x40 000008b2: DUP1 000008b3: MLOAD 000008b4: PUSH1 0x01 000008b6: SLOAD 000008b7: PUSH1 0xe2 000008b9: PUSH1 0x02 000008bb: EXP 000008bc: PUSH4 0x0bbceb33 000008c1: MUL 000008c2: DUP3 000008c3: MSTORE 000008c4: PUSH3 0x0493e0 000008c8: PUSH1 0x24 000008ca: DUP4 000008cb: ADD 000008cc: MSTORE 000008cd: PUSH1 0x04 000008cf: DUP3 000008d0: ADD 000008d1: DUP4 000008d2: SWAP1 000008d3: MSTORE 000008d4: PUSH1 0x03 000008d6: PUSH1 0x44 000008d8: DUP4 000008d9: ADD 000008da: MSTORE 000008db: PUSH1 0xea 000008dd: PUSH1 0x02 000008df: EXP 000008e0: PUSH3 0x155493 000008e4: MUL 000008e5: PUSH1 0x64 000008e7: DUP4 000008e8: ADD 000008e9: MSTORE 000008ea: SWAP2 000008eb: MLOAD 000008ec: PUSH1 0x01 000008ee: PUSH1 0xa0 000008f0: PUSH1 0x02 000008f2: EXP 000008f3: SUB 000008f4: SWAP3 000008f5: SWAP1 000008f6: SWAP3 000008f7: AND 000008f8: SWAP2 000008f9: PUSH4 0x2ef3accc 000008fe: SWAP2 000008ff: PUSH1 0x84 00000901: DUP2 00000902: DUP2 00000903: ADD 00000904: SWAP3 00000905: PUSH1 0x20 00000907: SWAP3 00000908: SWAP1 00000909: SWAP2 0000090a: SWAP1 0000090b: DUP3 0000090c: SWAP1 0000090d: SUB 0000090e: ADD 0000090f: DUP2 00000910: PUSH1 0x00 00000912: DUP8 00000913: PUSH2 0x61da 00000916: GAS 00000917: SUB 00000918: CALL 00000919: ISZERO 0000091a: PUSH2 0x0002 0000091d: JUMPI 0000091e: POP 0000091f: POP 00000920: PUSH1 0x40 00000922: DUP1 00000923: MLOAD 00000924: DUP1 00000925: MLOAD 00000926: PUSH1 0x11 00000928: DUP1 00000929: SLOAD 0000092a: SWAP2 0000092b: SWAP1 0000092c: SWAP2 0000092d: SUB 0000092e: SWAP1 0000092f: SSTORE 00000930: DUP1 00000931: DUP3 00000932: ADD 00000933: DUP3 00000934: MSTORE 00000935: PUSH1 0x03 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0xea 0000093b: PUSH1 0x02 0000093d: EXP 0000093e: PUSH3 0x155493 00000942: MUL 00000943: PUSH1 0x20 00000945: DUP3 00000946: DUP2 00000947: ADD 00000948: SWAP2 00000949: SWAP1 0000094a: SWAP2 0000094b: MSTORE 0000094c: DUP3 0000094d: MLOAD 0000094e: PUSH1 0x60 00000950: DUP2 00000951: ADD 00000952: DUP5 00000953: MSTORE 00000954: PUSH1 0x28 00000956: DUP2 00000957: MSTORE 00000958: PUSH32 0x68747470733a2f2f6170692e72616e646f6d2e6f72672f6a736f6e2d7270632f 00000979: DUP2 0000097a: DUP4 0000097b: ADD 0000097c: MSTORE 0000097d: PUSH32 0x312f696e766f6b65000000000000000000000000000000000000000000000000 0000099e: DUP2 0000099f: DUP6 000009a0: ADD 000009a1: MSTORE 000009a2: DUP4 000009a3: MLOAD 000009a4: PUSH1 0xc0 000009a6: DUP2 000009a7: ADD 000009a8: SWAP1 000009a9: SWAP5 000009aa: MSTORE 000009ab: PUSH1 0x90 000009ad: DUP1 000009ae: DUP6 000009af: MSTORE 000009b0: PUSH2 0x0b2c 000009b3: SWAP6 000009b4: POP 000009b5: SWAP3 000009b6: SWAP4 000009b7: SWAP1 000009b8: SWAP3 000009b9: SWAP1 000009ba: SWAP2 000009bb: PUSH2 0x158f 000009be: SWAP1 000009bf: DUP4 000009c0: ADD 000009c1: CODECOPY 000009c2: PUSH3 0x0493e0 000009c6: PUSH1 0x00 000009c8: PUSH1 0x00 000009ca: PUSH1 0x00 000009cc: PUSH1 0x00 000009ce: SWAP1 000009cf: SLOAD 000009d0: SWAP1 000009d1: PUSH2 0x0100 000009d4: EXP 000009d5: SWAP1 000009d6: DIV 000009d7: PUSH1 0x01 000009d9: PUSH1 0xa0 000009db: PUSH1 0x02 000009dd: EXP 000009de: SUB 000009df: AND 000009e0: PUSH1 0x01 000009e2: PUSH1 0xa0 000009e4: PUSH1 0x02 000009e6: EXP 000009e7: SUB 000009e8: AND 000009e9: PUSH4 0x38cc4831 000009ee: PUSH1 0x40 000009f0: MLOAD 000009f1: DUP2 000009f2: PUSH1 0xe0 000009f4: PUSH1 0x02 000009f6: EXP 000009f7: MUL 000009f8: DUP2 000009f9: MSTORE 000009fa: PUSH1 0x04 000009fc: ADD 000009fd: DUP1 000009fe: SWAP1 000009ff: POP 00000a00: PUSH1 0x20 00000a02: PUSH1 0x40 00000a04: MLOAD 00000a05: DUP1 00000a06: DUP4 00000a07: SUB 00000a08: DUP2 00000a09: PUSH1 0x00 00000a0b: DUP8 00000a0c: PUSH2 0x61da 00000a0f: GAS 00000a10: SUB 00000a11: CALL 00000a12: ISZERO 00000a13: PUSH2 0x0002 00000a16: JUMPI 00000a17: POP 00000a18: POP 00000a19: PUSH1 0x40 00000a1b: DUP1 00000a1c: MLOAD 00000a1d: DUP1 00000a1e: MLOAD 00000a1f: PUSH1 0x01 00000a21: DUP1 00000a22: SLOAD 00000a23: PUSH1 0x01 00000a25: PUSH1 0xa0 00000a27: PUSH1 0x02 00000a29: EXP 00000a2a: SUB 00000a2b: NOT 00000a2c: AND 00000a2d: SWAP1 00000a2e: SWAP2 00000a2f: OR 00000a30: SWAP1 00000a31: DUP2 00000a32: SWAP1 00000a33: SSTORE 00000a34: PUSH1 0xe2 00000a36: PUSH1 0x02 00000a38: EXP 00000a39: PUSH4 0x0bbceb33 00000a3e: MUL 00000a3f: DUP3 00000a40: MSTORE 00000a41: PUSH1 0x24 00000a43: DUP3 00000a44: ADD 00000a45: DUP8 00000a46: SWAP1 00000a47: MSTORE 00000a48: PUSH1 0x04 00000a4a: DUP3 00000a4b: DUP2 00000a4c: ADD 00000a4d: SWAP4 00000a4e: DUP5 00000a4f: MSTORE 00000a50: DUP11 00000a51: MLOAD 00000a52: PUSH1 0x44 00000a54: DUP5 00000a55: ADD 00000a56: MSTORE 00000a57: DUP11 00000a58: MLOAD 00000a59: PUSH1 0x01 00000a5b: PUSH1 0xa0 00000a5d: PUSH1 0x02 00000a5f: EXP 00000a60: SUB 00000a61: SWAP3 00000a62: SWAP1 00000a63: SWAP3 00000a64: AND 00000a65: SWAP5 00000a66: POP 00000a67: PUSH4 0x2ef3accc 00000a6c: SWAP4 00000a6d: DUP12 00000a6e: SWAP4 00000a6f: DUP10 00000a70: SWAP4 00000a71: SWAP2 00000a72: SWAP3 00000a73: DUP4 00000a74: SWAP3 00000a75: PUSH1 0x64 00000a77: SWAP3 00000a78: SWAP1 00000a79: SWAP3 00000a7a: ADD 00000a7b: SWAP2 00000a7c: PUSH1 0x20 00000a7e: DUP8 00000a7f: DUP2 00000a80: ADD 00000a81: SWAP3 00000a82: DUP3 00000a83: SWAP2 00000a84: DUP6 00000a85: SWAP2 00000a86: DUP4 00000a87: SWAP2 00000a88: DUP7 00000a89: SWAP2 00000a8a: DUP16 00000a8b: SWAP2 00000a8c: PUSH1 0x1f 00000a8e: DUP6 00000a8f: ADD 00000a90: DIV 00000a91: PUSH1 0x0f 00000a93: MUL 00000a94: PUSH1 0x03 00000a96: ADD 00000a97: CALL 00000a98: POP 00000a99: SWAP1 00000a9a: POP 00000a9b: SWAP1 00000a9c: DUP2 00000a9d: ADD 00000a9e: SWAP1 00000a9f: PUSH1 0x1f 00000aa1: AND 00000aa2: DUP1 00000aa3: ISZERO 00000aa4: PUSH2 0x0ac1 00000aa7: JUMPI 00000aa8: DUP1 00000aa9: DUP3 00000aaa: SUB 00000aab: DUP1 00000aac: MLOAD 00000aad: PUSH1 0x01 00000aaf: DUP4 00000ab0: PUSH1 0x20 00000ab2: SUB 00000ab3: PUSH2 0x0100 00000ab6: EXP 00000ab7: SUB 00000ab8: NOT 00000ab9: AND 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x20 00000abe: ADD 00000abf: SWAP2 00000ac0: POP 00000ac1: JUMPDEST 00000ac2: POP 00000ac3: SWAP4 00000ac4: POP 00000ac5: POP 00000ac6: POP 00000ac7: POP 00000ac8: PUSH1 0x20 00000aca: PUSH1 0x40 00000acc: MLOAD 00000acd: DUP1 00000ace: DUP4 00000acf: SUB 00000ad0: DUP2 00000ad1: PUSH1 0x00 00000ad3: DUP8 00000ad4: PUSH2 0x61da 00000ad7: GAS 00000ad8: SUB 00000ad9: CALL 00000ada: ISZERO 00000adb: PUSH2 0x0002 00000ade: JUMPI 00000adf: POP 00000ae0: POP 00000ae1: PUSH1 0x40 00000ae3: MLOAD 00000ae4: MLOAD 00000ae5: SWAP2 00000ae6: POP 00000ae7: POP 00000ae8: GASPRICE 00000ae9: DUP4 00000aea: MUL 00000aeb: PUSH8 0x0de0b6b3a7640000 00000af4: ADD 00000af5: DUP2 00000af6: GT 00000af7: ISZERO 00000af8: PUSH2 0x1002 00000afb: JUMPI 00000afc: PUSH1 0x00 00000afe: SWAP2 00000aff: POP 00000b00: JUMPDEST 00000b01: POP 00000b02: SWAP5 00000b03: SWAP4 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: POP 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH1 0x40 00000b0c: MLOAD 00000b0d: CALLER 00000b0e: PUSH1 0x01 00000b10: PUSH1 0xa0 00000b12: PUSH1 0x02 00000b14: EXP 00000b15: SUB 00000b16: AND 00000b17: SWAP1 00000b18: PUSH1 0x00 00000b1a: SWAP1 00000b1b: PUSH1 0x03 00000b1d: SWAP1 00000b1e: DUP3 00000b1f: DUP2 00000b20: DUP2 00000b21: DUP2 00000b22: DUP6 00000b23: DUP9 00000b24: DUP4 00000b25: CALL 00000b26: POP 00000b27: POP 00000b28: POP 00000b29: POP 00000b2a: POP 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: POP 00000b2e: PUSH1 0x40 00000b30: DUP1 00000b31: MLOAD 00000b32: DUP1 00000b33: DUP3 00000b34: ADD 00000b35: DUP3 00000b36: MSTORE 00000b37: CALLER 00000b38: DUP2 00000b39: MSTORE 00000b3a: CALLVALUE 00000b3b: PUSH1 0x20 00000b3d: DUP3 00000b3e: DUP2 00000b3f: ADD 00000b40: SWAP2 00000b41: DUP3 00000b42: MSTORE 00000b43: PUSH1 0x0f 00000b45: DUP1 00000b46: SLOAD 00000b47: PUSH1 0x01 00000b49: DUP2 00000b4a: DUP2 00000b4b: ADD 00000b4c: SWAP1 00000b4d: SWAP3 00000b4e: SSTORE 00000b4f: PUSH1 0x00 00000b51: SWAP1 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH1 0x0d 00000b56: SWAP1 00000b57: SWAP3 00000b58: MSTORE 00000b59: SWAP4 00000b5a: SWAP1 00000b5b: KECCAK256 00000b5c: SWAP2 00000b5d: MLOAD 00000b5e: DUP3 00000b5f: SLOAD 00000b60: PUSH1 0x01 00000b62: PUSH1 0xa0 00000b64: PUSH1 0x02 00000b66: EXP 00000b67: SUB 00000b68: NOT 00000b69: AND 00000b6a: OR 00000b6b: DUP3 00000b6c: SSTORE 00000b6d: MLOAD 00000b6e: SWAP2 00000b6f: ADD 00000b70: SSTORE 00000b71: PUSH2 0x0426 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH1 0x01 00000b78: PUSH1 0xa0 00000b7a: PUSH1 0x02 00000b7c: EXP 00000b7d: SUB 00000b7e: AND 00000b7f: CALLER 00000b80: PUSH1 0x01 00000b82: PUSH1 0xa0 00000b84: PUSH1 0x02 00000b86: EXP 00000b87: SUB 00000b88: AND 00000b89: EQ 00000b8a: ISZERO 00000b8b: ISZERO 00000b8c: PUSH2 0x0b94 00000b8f: JUMPI 00000b90: PUSH2 0x0002 00000b93: JUMP 00000b94: JUMPDEST 00000b95: PUSH1 0x0e 00000b97: SLOAD 00000b98: PUSH1 0x0f 00000b9a: SLOAD 00000b9b: SWAP1 00000b9c: LT 00000b9d: DUP1 00000b9e: ISZERO 00000b9f: PUSH2 0x0bba 00000ba2: JUMPI 00000ba3: POP 00000ba4: PUSH1 0x0e 00000ba6: SLOAD 00000ba7: PUSH1 0x00 00000ba9: SWAP1 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x0d 00000bae: PUSH1 0x20 00000bb0: MSTORE 00000bb1: PUSH1 0x40 00000bb3: DUP2 00000bb4: KECCAK256 00000bb5: PUSH1 0x01 00000bb7: ADD 00000bb8: SLOAD 00000bb9: GT 00000bba: JUMPDEST 00000bbb: DUP1 00000bbc: ISZERO 00000bbd: PUSH2 0x0bcb 00000bc0: JUMPI 00000bc1: POP 00000bc2: PUSH1 0x08 00000bc4: SLOAD 00000bc5: PUSH1 0xff 00000bc7: AND 00000bc8: PUSH1 0x01 00000bca: EQ 00000bcb: JUMPDEST 00000bcc: ISZERO 00000bcd: PUSH2 0x0d0b 00000bd0: JUMPI 00000bd1: PUSH2 0x2710 00000bd4: PUSH2 0x0bdb 00000bd7: PUSH2 0x0131 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: PUSH1 0x0e 00000bde: SLOAD 00000bdf: PUSH1 0x04 00000be1: SLOAD 00000be2: PUSH1 0x00 00000be4: SWAP2 00000be5: DUP3 00000be6: MSTORE 00000be7: PUSH1 0x0d 00000be9: PUSH1 0x20 00000beb: MSTORE 00000bec: PUSH1 0x40 00000bee: SWAP1 00000bef: SWAP2 00000bf0: KECCAK256 00000bf1: PUSH1 0x02 00000bf3: DUP1 00000bf4: SLOAD 00000bf5: PUSH1 0x01 00000bf7: SWAP3 00000bf8: SWAP1 00000bf9: SWAP3 00000bfa: ADD 00000bfb: SLOAD 00000bfc: SWAP3 00000bfd: SWAP1 00000bfe: SWAP4 00000bff: MUL 00000c00: SWAP1 00000c01: SWAP3 00000c02: MUL 00000c03: SWAP3 00000c04: SWAP1 00000c05: SWAP3 00000c06: DIV 00000c07: PUSH2 0x2710 00000c0a: DUP4 00000c0b: MUL 00000c0c: SWAP2 00000c0d: SWAP1 00000c0e: SWAP2 00000c0f: DIV 00000c10: SWAP2 00000c11: SWAP1 00000c12: SWAP2 00000c13: SUB 00000c14: GT 00000c15: PUSH2 0x0cb3 00000c18: JUMPI 00000c19: PUSH2 0x0d12 00000c1c: DUP5 00000c1d: PUSH1 0x00 00000c1f: PUSH1 0x00 00000c21: PUSH1 0x00 00000c23: PUSH2 0x1190 00000c26: DUP5 00000c27: PUSH1 0x40 00000c29: PUSH1 0x40 00000c2b: MLOAD 00000c2c: SWAP1 00000c2d: DUP2 00000c2e: ADD 00000c2f: PUSH1 0x40 00000c31: MSTORE 00000c32: DUP1 00000c33: PUSH1 0x0f 00000c35: DUP2 00000c36: MSTORE 00000c37: PUSH1 0x20 00000c39: ADD 00000c3a: PUSH32 0x2273657269616c4e756d626572223a0000000000000000000000000000000000 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x20 00000c5f: ADD 00000c60: POP 00000c61: JUMPDEST 00000c62: PUSH1 0x40 00000c64: DUP1 00000c65: MLOAD 00000c66: PUSH1 0x20 00000c68: DUP2 00000c69: DUP2 00000c6a: ADD 00000c6b: DUP4 00000c6c: MSTORE 00000c6d: PUSH1 0x00 00000c6f: SWAP2 00000c70: DUP3 00000c71: SWAP1 00000c72: MSTORE 00000c73: DUP3 00000c74: MLOAD 00000c75: SWAP1 00000c76: DUP2 00000c77: ADD 00000c78: SWAP1 00000c79: SWAP3 00000c7a: MSTORE 00000c7b: SWAP1 00000c7c: DUP2 00000c7d: SWAP1 00000c7e: MSTORE 00000c7f: DUP3 00000c80: MLOAD 00000c81: DUP4 00000c82: SWAP1 00000c83: DUP4 00000c84: SWAP1 00000c85: DUP4 00000c86: SWAP1 00000c87: DUP2 00000c88: SWAP1 00000c89: PUSH1 0x01 00000c8b: SWAP1 00000c8c: LT 00000c8d: DUP1 00000c8e: PUSH2 0x0c98 00000c91: JUMPI 00000c92: POP 00000c93: PUSH1 0x01 00000c95: DUP4 00000c96: MLOAD 00000c97: LT 00000c98: JUMPDEST 00000c99: DUP1 00000c9a: PUSH2 0x0ca4 00000c9d: JUMPI 00000c9e: POP 00000c9f: DUP4 00000ca0: MLOAD 00000ca1: DUP4 00000ca2: MLOAD 00000ca3: GT 00000ca4: JUMPDEST 00000ca5: ISZERO 00000ca6: PUSH2 0x13de 00000ca9: JUMPI 00000caa: PUSH1 0x00 00000cac: NOT 00000cad: SWAP5 00000cae: POP 00000caf: PUSH2 0x14c9 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: PUSH1 0x0e 00000cb6: SLOAD 00000cb7: PUSH1 0x00 00000cb9: SWAP1 00000cba: DUP2 00000cbb: MSTORE 00000cbc: PUSH1 0x0d 00000cbe: PUSH1 0x20 00000cc0: MSTORE 00000cc1: PUSH1 0x40 00000cc3: DUP1 00000cc4: MLOAD 00000cc5: SWAP1 00000cc6: DUP3 00000cc7: KECCAK256 00000cc8: DUP1 00000cc9: SLOAD 00000cca: PUSH1 0x01 00000ccc: SWAP2 00000ccd: SWAP1 00000cce: SWAP2 00000ccf: ADD 00000cd0: SLOAD 00000cd1: PUSH1 0x01 00000cd3: PUSH1 0xa0 00000cd5: PUSH1 0x02 00000cd7: EXP 00000cd8: SUB 00000cd9: SWAP2 00000cda: SWAP1 00000cdb: SWAP2 00000cdc: AND 00000cdd: SWAP3 00000cde: SWAP2 00000cdf: DUP3 00000ce0: DUP2 00000ce1: DUP2 00000ce2: DUP2 00000ce3: DUP6 00000ce4: DUP9 00000ce5: DUP4 00000ce6: CALL 00000ce7: POP 00000ce8: POP 00000ce9: PUSH1 0x0e 00000ceb: DUP1 00000cec: SLOAD 00000ced: DUP4 00000cee: MSTORE 00000cef: PUSH1 0x0d 00000cf1: PUSH1 0x20 00000cf3: MSTORE 00000cf4: PUSH1 0x40 00000cf6: DUP4 00000cf7: KECCAK256 00000cf8: PUSH1 0x01 00000cfa: SWAP1 00000cfb: DUP2 00000cfc: ADD 00000cfd: SWAP4 00000cfe: SWAP1 00000cff: SWAP4 00000d00: SSTORE 00000d01: DUP1 00000d02: SLOAD 00000d03: SWAP1 00000d04: SWAP3 00000d05: ADD 00000d06: SWAP1 00000d07: SWAP2 00000d08: SSTORE 00000d09: POP 00000d0a: POP 00000d0b: JUMPDEST 00000d0c: POP 00000d0d: POP 00000d0e: POP 00000d0f: POP 00000d10: POP 00000d11: JUMP 00000d12: JUMPDEST 00000d13: PUSH1 0x07 00000d15: SLOAD 00000d16: SWAP1 00000d17: SWAP3 00000d18: POP 00000d19: PUSH1 0x00 00000d1b: EQ 00000d1c: DUP1 00000d1d: ISZERO 00000d1e: SWAP1 00000d1f: PUSH2 0x0d2d 00000d22: JUMPI 00000d23: POP 00000d24: PUSH1 0x07 00000d26: SLOAD 00000d27: PUSH1 0x01 00000d29: ADD 00000d2a: DUP3 00000d2b: EQ 00000d2c: ISZERO 00000d2d: JUMPDEST 00000d2e: ISZERO 00000d2f: PUSH2 0x0d5e 00000d32: JUMPI 00000d33: PUSH1 0x08 00000d35: DUP1 00000d36: SLOAD 00000d37: PUSH1 0xff 00000d39: NOT 00000d3a: AND 00000d3b: SWAP1 00000d3c: SSTORE 00000d3d: PUSH1 0x40 00000d3f: MLOAD 00000d40: CALLER 00000d41: PUSH1 0x01 00000d43: PUSH1 0xa0 00000d45: PUSH1 0x02 00000d47: EXP 00000d48: SUB 00000d49: AND 00000d4a: SWAP1 00000d4b: PUSH1 0x00 00000d4d: SWAP1 00000d4e: PUSH1 0x04 00000d50: SWAP1 00000d51: DUP3 00000d52: DUP2 00000d53: DUP2 00000d54: DUP2 00000d55: DUP6 00000d56: DUP9 00000d57: DUP4 00000d58: CALL 00000d59: POP 00000d5a: POP 00000d5b: POP 00000d5c: POP 00000d5d: POP 00000d5e: JUMPDEST 00000d5f: PUSH1 0x07 00000d61: DUP3 00000d62: SWAP1 00000d63: SSTORE 00000d64: PUSH2 0x0db0 00000d67: DUP5 00000d68: PUSH1 0x00 00000d6a: PUSH1 0x00 00000d6c: PUSH1 0x00 00000d6e: PUSH2 0x1352 00000d71: DUP5 00000d72: PUSH1 0x40 00000d74: PUSH1 0x40 00000d76: MLOAD 00000d77: SWAP1 00000d78: DUP2 00000d79: ADD 00000d7a: PUSH1 0x40 00000d7c: MSTORE 00000d7d: DUP1 00000d7e: PUSH1 0x08 00000d80: DUP2 00000d81: MSTORE 00000d82: PUSH1 0x20 00000d84: ADD 00000d85: PUSH32 0x2264617461223a5b000000000000000000000000000000000000000000000000 00000da6: DUP2 00000da7: MSTORE 00000da8: PUSH1 0x20 00000daa: ADD 00000dab: POP 00000dac: PUSH2 0x0c61 00000daf: JUMP 00000db0: JUMPDEST 00000db1: SWAP1 00000db2: POP 00000db3: PUSH1 0x01 00000db5: DUP2 00000db6: LT 00000db7: ISZERO 00000db8: DUP1 00000db9: ISZERO 00000dba: PUSH2 0x0dc5 00000dbd: JUMPI 00000dbe: POP 00000dbf: PUSH2 0x2710 00000dc2: DUP2 00000dc3: GT 00000dc4: ISZERO 00000dc5: JUMPDEST 00000dc6: ISZERO 00000dc7: PUSH2 0x0e58 00000dca: JUMPI 00000dcb: JUMPDEST 00000dcc: PUSH1 0x02 00000dce: SLOAD 00000dcf: PUSH1 0x00 00000dd1: NOT 00000dd2: DUP3 00000dd3: ADD 00000dd4: GT 00000dd5: PUSH2 0x0e5d 00000dd8: JUMPI 00000dd9: PUSH1 0x0e 00000ddb: SLOAD 00000ddc: PUSH1 0x02 00000dde: SLOAD 00000ddf: PUSH1 0x00 00000de1: SWAP2 00000de2: DUP3 00000de3: MSTORE 00000de4: PUSH1 0x0d 00000de6: PUSH1 0x20 00000de8: MSTORE 00000de9: PUSH1 0x40 00000deb: DUP1 00000dec: MLOAD 00000ded: SWAP1 00000dee: DUP4 00000def: KECCAK256 00000df0: DUP1 00000df1: SLOAD 00000df2: PUSH1 0x01 00000df4: SWAP2 00000df5: SWAP1 00000df6: SWAP2 00000df7: ADD 00000df8: SLOAD 00000df9: PUSH1 0x03 00000dfb: SLOAD 00000dfc: PUSH1 0x01 00000dfe: PUSH1 0xa0 00000e00: PUSH1 0x02 00000e02: EXP 00000e03: SUB 00000e04: SWAP3 00000e05: SWAP1 00000e06: SWAP3 00000e07: AND 00000e08: SWAP5 00000e09: SWAP4 00000e0a: PUSH2 0x2710 00000e0d: SWAP3 00000e0e: SWAP1 00000e0f: SWAP3 00000e10: SUB 00000e11: MUL 00000e12: DIV 00000e13: SWAP1 00000e14: DUP3 00000e15: DUP2 00000e16: DUP2 00000e17: DUP2 00000e18: DUP6 00000e19: DUP9 00000e1a: DUP4 00000e1b: CALL 00000e1c: POP 00000e1d: POP 00000e1e: PUSH1 0x02 00000e20: SLOAD 00000e21: PUSH1 0x0e 00000e23: SLOAD 00000e24: PUSH1 0x03 00000e26: SLOAD 00000e27: SWAP1 00000e28: DUP5 00000e29: MSTORE 00000e2a: PUSH1 0x0d 00000e2c: PUSH1 0x20 00000e2e: MSTORE 00000e2f: PUSH1 0x40 00000e31: SWAP1 00000e32: SWAP4 00000e33: KECCAK256 00000e34: PUSH1 0x01 00000e36: ADD 00000e37: SLOAD 00000e38: PUSH1 0x11 00000e3a: DUP1 00000e3b: SLOAD 00000e3c: PUSH2 0x2710 00000e3f: SWAP6 00000e40: SWAP1 00000e41: SWAP6 00000e42: SUB 00000e43: DUP3 00000e44: MUL 00000e45: SWAP3 00000e46: SWAP1 00000e47: SWAP3 00000e48: DIV 00000e49: SWAP1 00000e4a: SUB 00000e4b: SWAP1 00000e4c: SWAP3 00000e4d: ADD 00000e4e: SWAP1 00000e4f: SWAP2 00000e50: SSTORE 00000e51: POP 00000e52: PUSH2 0x0eaa 00000e55: SWAP1 00000e56: POP 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH2 0x0002 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH1 0x0e 00000e60: SLOAD 00000e61: PUSH1 0x00 00000e63: SWAP1 00000e64: DUP2 00000e65: MSTORE 00000e66: PUSH1 0x0d 00000e68: PUSH1 0x20 00000e6a: MSTORE 00000e6b: PUSH1 0x40 00000e6d: DUP1 00000e6e: MLOAD 00000e6f: SWAP1 00000e70: DUP3 00000e71: KECCAK256 00000e72: SLOAD 00000e73: PUSH1 0x01 00000e75: PUSH1 0xa0 00000e77: PUSH1 0x02 00000e79: EXP 00000e7a: SUB 00000e7b: AND 00000e7c: SWAP2 00000e7d: SWAP1 00000e7e: PUSH1 0x01 00000e80: SWAP1 00000e81: DUP3 00000e82: DUP2 00000e83: DUP2 00000e84: DUP2 00000e85: DUP6 00000e86: DUP9 00000e87: DUP4 00000e88: CALL 00000e89: POP 00000e8a: POP 00000e8b: PUSH1 0x0e 00000e8d: SLOAD 00000e8e: DUP3 00000e8f: MSTORE 00000e90: PUSH1 0x0d 00000e92: PUSH1 0x20 00000e94: MSTORE 00000e95: PUSH1 0x40 00000e97: SWAP1 00000e98: SWAP2 00000e99: KECCAK256 00000e9a: ADD 00000e9b: SLOAD 00000e9c: PUSH1 0x11 00000e9e: DUP1 00000e9f: SLOAD 00000ea0: SWAP1 00000ea1: SWAP2 00000ea2: ADD 00000ea3: PUSH1 0x00 00000ea5: NOT 00000ea6: ADD 00000ea7: SWAP1 00000ea8: SSTORE 00000ea9: POP 00000eaa: JUMPDEST 00000eab: PUSH1 0x0e 00000ead: DUP1 00000eae: SLOAD 00000eaf: PUSH1 0x00 00000eb1: SWAP1 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: PUSH1 0x0d 00000eb6: PUSH1 0x20 00000eb8: MSTORE 00000eb9: PUSH1 0x40 00000ebb: DUP2 00000ebc: KECCAK256 00000ebd: PUSH1 0x01 00000ebf: SWAP1 00000ec0: DUP2 00000ec1: ADD 00000ec2: DUP1 00000ec3: SLOAD 00000ec4: PUSH1 0x10 00000ec6: DUP1 00000ec7: SLOAD 00000ec8: SWAP1 00000ec9: SWAP2 00000eca: ADD 00000ecb: SWAP1 00000ecc: SSTORE 00000ecd: SWAP2 00000ece: SWAP1 00000ecf: SWAP2 00000ed0: SSTORE 00000ed1: DUP2 00000ed2: SLOAD 00000ed3: ADD 00000ed4: SWAP1 00000ed5: SSTORE 00000ed6: PUSH2 0x0d0b 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH1 0x0c 00000edd: DUP4 00000ede: SWAP1 00000edf: SSTORE 00000ee0: DUP2 00000ee1: DUP4 00000ee2: EQ 00000ee3: DUP1 00000ee4: ISZERO 00000ee5: SWAP1 00000ee6: PUSH2 0x0ef2 00000ee9: JUMPI 00000eea: POP 00000eeb: PUSH1 0x0a 00000eed: SLOAD 00000eee: PUSH1 0x00 00000ef0: SWAP1 00000ef1: GT 00000ef2: JUMPDEST 00000ef3: ISZERO 00000ef4: PUSH2 0x0f37 00000ef7: JUMPI 00000ef8: PUSH1 0x01 00000efa: PUSH1 0x00 00000efc: MSTORE 00000efd: PUSH1 0x09 00000eff: PUSH1 0x20 00000f01: MSTORE 00000f02: PUSH32 0x92e85d02570a8092d09a6e3a57665bc3815a2699a4074001bf1ccabf660f5a37 00000f23: DUP1 00000f24: SLOAD 00000f25: DUP5 00000f26: DUP5 00000f27: SUB 00000f28: SWAP1 00000f29: DUP2 00000f2a: ADD 00000f2b: SWAP1 00000f2c: SWAP2 00000f2d: SSTORE 00000f2e: PUSH1 0x0c 00000f30: DUP1 00000f31: SLOAD 00000f32: SWAP1 00000f33: SWAP2 00000f34: ADD 00000f35: SWAP1 00000f36: SSTORE 00000f37: JUMPDEST 00000f38: PUSH1 0x11 00000f3a: SLOAD 00000f3b: PUSH1 0x12 00000f3d: SSTORE 00000f3e: JUMPDEST 00000f3f: POP 00000f40: POP 00000f41: POP 00000f42: JUMP 00000f43: JUMPDEST 00000f44: SWAP2 00000f45: POP 00000f46: PUSH1 0x01 00000f48: SWAP1 00000f49: POP 00000f4a: JUMPDEST 00000f4b: PUSH1 0x0a 00000f4d: SLOAD 00000f4e: DUP2 00000f4f: GT 00000f50: PUSH2 0x0eda 00000f53: JUMPI 00000f54: PUSH1 0x00 00000f56: DUP2 00000f57: DUP2 00000f58: MSTORE 00000f59: PUSH1 0x09 00000f5b: PUSH1 0x20 00000f5d: MSTORE 00000f5e: PUSH1 0x40 00000f60: SWAP1 00000f61: KECCAK256 00000f62: SLOAD 00000f63: PUSH2 0x0f74 00000f66: SWAP1 00000f67: PUSH1 0x01 00000f69: PUSH1 0xa0 00000f6b: PUSH1 0x02 00000f6d: EXP 00000f6e: SUB 00000f6f: AND 00000f70: PUSH2 0x03c8 00000f73: JUMP 00000f74: JUMPDEST 00000f75: PUSH1 0x00 00000f77: DUP3 00000f78: DUP2 00000f79: MSTORE 00000f7a: PUSH1 0x09 00000f7c: PUSH1 0x20 00000f7e: MSTORE 00000f7f: PUSH1 0x40 00000f81: SWAP1 00000f82: KECCAK256 00000f83: PUSH1 0x01 00000f85: SWAP1 00000f86: DUP2 00000f87: ADD 00000f88: DUP3 00000f89: SWAP1 00000f8a: SSTORE 00000f8b: SWAP4 00000f8c: ADD 00000f8d: SWAP3 00000f8e: ADD 00000f8f: PUSH2 0x0f4a 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH2 0x0f9c 00000f97: DUP3 00000f98: PUSH2 0x03c8 00000f9b: JUMP 00000f9c: JUMPDEST 00000f9d: DUP2 00000f9e: GT 00000f9f: ISZERO 00000fa0: PUSH2 0x0faf 00000fa3: JUMPI 00000fa4: PUSH2 0x0fac 00000fa7: DUP3 00000fa8: PUSH2 0x03c8 00000fab: JUMP 00000fac: JUMPDEST 00000fad: SWAP1 00000fae: POP 00000faf: JUMPDEST 00000fb0: PUSH1 0x01 00000fb2: PUSH1 0xa0 00000fb4: PUSH1 0x02 00000fb6: EXP 00000fb7: SUB 00000fb8: DUP3 00000fb9: AND 00000fba: PUSH1 0x00 00000fbc: DUP2 00000fbd: DUP2 00000fbe: MSTORE 00000fbf: PUSH1 0x0b 00000fc1: PUSH1 0x20 00000fc3: SWAP1 00000fc4: DUP2 00000fc5: MSTORE 00000fc6: PUSH1 0x40 00000fc8: DUP1 00000fc9: DUP4 00000fca: KECCAK256 00000fcb: SLOAD 00000fcc: DUP4 00000fcd: MSTORE 00000fce: PUSH1 0x09 00000fd0: SWAP1 00000fd1: SWAP2 00000fd2: MSTORE 00000fd3: DUP1 00000fd4: DUP3 00000fd5: KECCAK256 00000fd6: PUSH1 0x01 00000fd8: ADD 00000fd9: DUP1 00000fda: SLOAD 00000fdb: DUP6 00000fdc: SWAP1 00000fdd: SUB 00000fde: SWAP1 00000fdf: SSTORE 00000fe0: PUSH1 0x0c 00000fe2: DUP1 00000fe3: SLOAD 00000fe4: DUP6 00000fe5: SWAP1 00000fe6: SUB 00000fe7: SWAP1 00000fe8: SSTORE 00000fe9: MLOAD 00000fea: DUP4 00000feb: SWAP1 00000fec: DUP3 00000fed: DUP2 00000fee: DUP2 00000fef: DUP2 00000ff0: DUP6 00000ff1: DUP9 00000ff2: DUP4 00000ff3: CALL 00000ff4: SWAP4 00000ff5: POP 00000ff6: POP 00000ff7: POP 00000ff8: POP 00000ff9: ISZERO 00000ffa: PUSH2 0x0e58 00000ffd: JUMPI 00000ffe: PUSH2 0x05c0 00001001: JUMP 00001002: JUMPDEST 00001003: PUSH1 0x01 00001005: PUSH1 0x00 00001007: SWAP1 00001008: SLOAD 00001009: SWAP1 0000100a: PUSH2 0x0100 0000100d: EXP 0000100e: SWAP1 0000100f: DIV 00001010: PUSH1 0x01 00001012: PUSH1 0xa0 00001014: PUSH1 0x02 00001016: EXP 00001017: SUB 00001018: AND 00001019: PUSH1 0x01 0000101b: PUSH1 0xa0 0000101d: PUSH1 0x02 0000101f: EXP 00001020: SUB 00001021: AND 00001022: PUSH4 0x85dee34c 00001027: DUP3 00001028: PUSH1 0x00 0000102a: DUP10 0000102b: DUP10 0000102c: DUP10 0000102d: DUP10 0000102e: PUSH1 0x40 00001030: MLOAD 00001031: DUP8 00001032: PUSH1 0xe0 00001034: PUSH1 0x02 00001036: EXP 00001037: MUL 00001038: DUP2 00001039: MSTORE 0000103a: PUSH1 0x04 0000103c: ADD 0000103d: DUP1 0000103e: DUP7 0000103f: DUP2 00001040: MSTORE 00001041: PUSH1 0x20 00001043: ADD 00001044: DUP1 00001045: PUSH1 0x20 00001047: ADD 00001048: DUP1 00001049: PUSH1 0x20 0000104b: ADD 0000104c: DUP1 0000104d: PUSH1 0x20 0000104f: ADD 00001050: DUP6 00001051: DUP2 00001052: MSTORE 00001053: PUSH1 0x20 00001055: ADD 00001056: DUP5 00001057: DUP2 00001058: SUB 00001059: DUP5 0000105a: MSTORE 0000105b: DUP9 0000105c: DUP2 0000105d: DUP2 0000105e: MLOAD 0000105f: DUP2 00001060: MSTORE 00001061: PUSH1 0x20 00001063: ADD 00001064: SWAP2 00001065: POP 00001066: DUP1 00001067: MLOAD 00001068: SWAP1 00001069: PUSH1 0x20 0000106b: ADD 0000106c: SWAP1 0000106d: DUP1 0000106e: DUP4 0000106f: DUP4 00001070: DUP3 00001071: SWAP1 00001072: PUSH1 0x00 00001074: PUSH1 0x04 00001076: PUSH1 0x20 00001078: DUP5 00001079: PUSH1 0x1f 0000107b: ADD 0000107c: DIV 0000107d: PUSH1 0x0f 0000107f: MUL 00001080: PUSH1 0x03 00001082: ADD 00001083: CALL 00001084: POP 00001085: SWAP1 00001086: POP 00001087: SWAP1 00001088: DUP2 00001089: ADD 0000108a: SWAP1 0000108b: PUSH1 0x1f 0000108d: AND 0000108e: DUP1 0000108f: ISZERO 00001090: PUSH2 0x10ad 00001093: JUMPI 00001094: DUP1 00001095: DUP3 00001096: SUB 00001097: DUP1 00001098: MLOAD 00001099: PUSH1 0x01 0000109b: DUP4 0000109c: PUSH1 0x20 0000109e: SUB 0000109f: PUSH2 0x0100 000010a2: EXP 000010a3: SUB 000010a4: NOT 000010a5: AND 000010a6: DUP2 000010a7: MSTORE 000010a8: PUSH1 0x20 000010aa: ADD 000010ab: SWAP2 000010ac: POP 000010ad: JUMPDEST 000010ae: POP 000010af: DUP5 000010b0: DUP2 000010b1: SUB 000010b2: DUP4 000010b3: MSTORE 000010b4: DUP8 000010b5: DUP2 000010b6: DUP2 000010b7: MLOAD 000010b8: DUP2 000010b9: MSTORE 000010ba: PUSH1 0x20 000010bc: ADD 000010bd: SWAP2 000010be: POP 000010bf: DUP1 000010c0: MLOAD 000010c1: SWAP1 000010c2: PUSH1 0x20 000010c4: ADD 000010c5: SWAP1 000010c6: DUP1 000010c7: DUP4 000010c8: DUP4 000010c9: DUP3 000010ca: SWAP1 000010cb: PUSH1 0x00 000010cd: PUSH1 0x04 000010cf: PUSH1 0x20 000010d1: DUP5 000010d2: PUSH1 0x1f 000010d4: ADD 000010d5: DIV 000010d6: PUSH1 0x0f 000010d8: MUL 000010d9: PUSH1 0x03 000010db: ADD 000010dc: CALL 000010dd: POP 000010de: SWAP1 000010df: POP 000010e0: SWAP1 000010e1: DUP2 000010e2: ADD 000010e3: SWAP1 000010e4: PUSH1 0x1f 000010e6: AND 000010e7: DUP1 000010e8: ISZERO 000010e9: PUSH2 0x1106 000010ec: JUMPI 000010ed: DUP1 000010ee: DUP3 000010ef: SUB 000010f0: DUP1 000010f1: MLOAD 000010f2: PUSH1 0x01 000010f4: DUP4 000010f5: PUSH1 0x20 000010f7: SUB 000010f8: PUSH2 0x0100 000010fb: EXP 000010fc: SUB 000010fd: NOT 000010fe: AND 000010ff: DUP2 00001100: MSTORE 00001101: PUSH1 0x20 00001103: ADD 00001104: SWAP2 00001105: POP 00001106: JUMPDEST 00001107: POP 00001108: DUP5 00001109: DUP2 0000110a: SUB 0000110b: DUP3 0000110c: MSTORE 0000110d: DUP7 0000110e: DUP2 0000110f: DUP2 00001110: MLOAD 00001111: DUP2 00001112: MSTORE 00001113: PUSH1 0x20 00001115: ADD 00001116: SWAP2 00001117: POP 00001118: DUP1 00001119: MLOAD 0000111a: SWAP1 0000111b: PUSH1 0x20 0000111d: ADD 0000111e: SWAP1 0000111f: DUP1 00001120: DUP4 00001121: DUP4 00001122: DUP3 00001123: SWAP1 00001124: PUSH1 0x00 00001126: PUSH1 0x04 00001128: PUSH1 0x20 0000112a: DUP5 0000112b: PUSH1 0x1f 0000112d: ADD 0000112e: DIV 0000112f: PUSH1 0x0f 00001131: MUL 00001132: PUSH1 0x03 00001134: ADD 00001135: CALL 00001136: POP 00001137: SWAP1 00001138: POP 00001139: SWAP1 0000113a: DUP2 0000113b: ADD 0000113c: SWAP1 0000113d: PUSH1 0x1f 0000113f: AND 00001140: DUP1 00001141: ISZERO 00001142: PUSH2 0x115f 00001145: JUMPI 00001146: DUP1 00001147: DUP3 00001148: SUB 00001149: DUP1 0000114a: MLOAD 0000114b: PUSH1 0x01 0000114d: DUP4 0000114e: PUSH1 0x20 00001150: SUB 00001151: PUSH2 0x0100 00001154: EXP 00001155: SUB 00001156: NOT 00001157: AND 00001158: DUP2 00001159: MSTORE 0000115a: PUSH1 0x20 0000115c: ADD 0000115d: SWAP2 0000115e: POP 0000115f: JUMPDEST 00001160: POP 00001161: SWAP9 00001162: POP 00001163: POP 00001164: POP 00001165: POP 00001166: POP 00001167: POP 00001168: POP 00001169: POP 0000116a: POP 0000116b: PUSH1 0x20 0000116d: PUSH1 0x40 0000116f: MLOAD 00001170: DUP1 00001171: DUP4 00001172: SUB 00001173: DUP2 00001174: DUP6 00001175: DUP9 00001176: PUSH2 0x8502 00001179: GAS 0000117a: SUB 0000117b: CALL 0000117c: ISZERO 0000117d: PUSH2 0x0002 00001180: JUMPI 00001181: POP 00001182: POP 00001183: PUSH1 0x40 00001185: MLOAD 00001186: MLOAD 00001187: SWAP4 00001188: POP 00001189: PUSH2 0x0b00 0000118c: SWAP2 0000118d: POP 0000118e: POP 0000118f: JUMP 00001190: JUMPDEST 00001191: SWAP2 00001192: POP 00001193: PUSH1 0x00 00001195: DUP3 00001196: SLT 00001197: ISZERO 00001198: PUSH2 0x11a0 0000119b: JUMPI 0000119c: PUSH2 0x0002 0000119f: JUMP 000011a0: JUMPDEST 000011a1: DUP2 000011a2: SWAP1 000011a3: POP 000011a4: PUSH2 0x12ae 000011a7: PUSH2 0x12b6 000011aa: DUP6 000011ab: DUP4 000011ac: PUSH1 0x0f 000011ae: ADD 000011af: PUSH2 0x1216 000011b2: DUP9 000011b3: PUSH1 0x40 000011b5: PUSH1 0x40 000011b7: MLOAD 000011b8: SWAP1 000011b9: DUP2 000011ba: ADD 000011bb: PUSH1 0x40 000011bd: MSTORE 000011be: DUP1 000011bf: PUSH1 0x01 000011c1: DUP2 000011c2: MSTORE 000011c3: PUSH1 0x20 000011c5: ADD 000011c6: PUSH32 0x7d00000000000000000000000000000000000000000000000000000000000000 000011e7: DUP2 000011e8: MSTORE 000011e9: PUSH1 0x20 000011eb: ADD 000011ec: POP 000011ed: DUP8 000011ee: JUMPDEST 000011ef: PUSH1 0x00 000011f1: PUSH1 0x00 000011f3: PUSH2 0x13b4 000011f6: PUSH2 0x13ca 000011f9: DUP7 000011fa: DUP6 000011fb: PUSH1 0x20 000011fd: PUSH1 0x40 000011ff: MLOAD 00001200: SWAP1 00001201: DUP2 00001202: ADD 00001203: PUSH1 0x40 00001205: MSTORE 00001206: DUP1 00001207: PUSH1 0x00 00001209: DUP2 0000120a: MSTORE 0000120b: PUSH1 0x20 0000120d: ADD 0000120e: POP 0000120f: PUSH2 0x14fd 00001212: DUP4 00001213: DUP4 00001214: DUP6 00001215: MLOAD 00001216: JUMPDEST 00001217: PUSH1 0x40 00001219: DUP1 0000121a: MLOAD 0000121b: PUSH1 0x20 0000121d: DUP2 0000121e: DUP2 0000121f: ADD 00001220: DUP4 00001221: MSTORE 00001222: PUSH1 0x00 00001224: DUP1 00001225: DUP4 00001226: MSTORE 00001227: DUP4 00001228: MLOAD 00001229: DUP1 0000122a: DUP4 0000122b: ADD 0000122c: DUP6 0000122d: MSTORE 0000122e: DUP2 0000122f: SWAP1 00001230: MSTORE 00001231: DUP4 00001232: MLOAD 00001233: SWAP2 00001234: DUP3 00001235: ADD 00001236: DUP5 00001237: MSTORE 00001238: DUP1 00001239: DUP3 0000123a: MSTORE 0000123b: SWAP3 0000123c: MLOAD 0000123d: SWAP2 0000123e: SWAP3 0000123f: DUP7 00001240: SWAP3 00001241: DUP7 00001242: DUP7 00001243: SUB 00001244: SWAP1 00001245: DUP1 00001246: MSIZE 00001247: LT 00001248: PUSH2 0x124e 0000124b: JUMPI 0000124c: POP 0000124d: MSIZE 0000124e: JUMPDEST 0000124f: SWAP1 00001250: DUP1 00001251: DUP3 00001252: MSTORE 00001253: DUP1 00001254: PUSH1 0x20 00001256: MUL 00001257: PUSH1 0x20 00001259: ADD 0000125a: DUP3 0000125b: ADD 0000125c: PUSH1 0x40 0000125e: MSTORE 0000125f: POP 00001260: SWAP2 00001261: POP 00001262: DUP6 00001263: SWAP1 00001264: POP 00001265: JUMPDEST 00001266: DUP5 00001267: DUP2 00001268: LT 00001269: ISZERO 0000126a: PUSH2 0x14f3 0000126d: JUMPI 0000126e: DUP3 0000126f: DUP2 00001270: DUP2 00001271: MLOAD 00001272: DUP2 00001273: LT 00001274: ISZERO 00001275: PUSH2 0x0002 00001278: JUMPI 00001279: SWAP1 0000127a: PUSH1 0x20 0000127c: ADD 0000127d: ADD 0000127e: MLOAD 0000127f: PUSH1 0xf8 00001281: PUSH1 0x02 00001283: EXP 00001284: SWAP1 00001285: DIV 00001286: PUSH1 0xf8 00001288: PUSH1 0x02 0000128a: EXP 0000128b: MUL 0000128c: DUP3 0000128d: DUP8 0000128e: DUP4 0000128f: SUB 00001290: DUP2 00001291: MLOAD 00001292: DUP2 00001293: LT 00001294: ISZERO 00001295: PUSH2 0x0002 00001298: JUMPI 00001299: SWAP1 0000129a: PUSH1 0x20 0000129c: ADD 0000129d: ADD 0000129e: SWAP1 0000129f: SWAP1 000012a0: DUP2 000012a1: PUSH1 0x00 000012a3: BYTE 000012a4: SWAP1 000012a5: MSTORE8 000012a6: POP 000012a7: PUSH1 0x01 000012a9: ADD 000012aa: PUSH2 0x1265 000012ad: JUMP 000012ae: JUMPDEST 000012af: SWAP5 000012b0: SWAP4 000012b1: POP 000012b2: POP 000012b3: POP 000012b4: POP 000012b5: JUMP 000012b6: JUMPDEST 000012b7: PUSH1 0x00 000012b9: PUSH2 0x14ec 000012bc: DUP3 000012bd: PUSH1 0x00 000012bf: PUSH1 0x40 000012c1: DUP1 000012c2: MLOAD 000012c3: PUSH1 0x20 000012c5: DUP2 000012c6: ADD 000012c7: SWAP1 000012c8: SWAP2 000012c9: MSTORE 000012ca: PUSH1 0x00 000012cc: SWAP1 000012cd: DUP2 000012ce: SWAP1 000012cf: MSTORE 000012d0: DUP3 000012d1: DUP2 000012d2: DUP1 000012d3: DUP1 000012d4: JUMPDEST 000012d5: DUP4 000012d6: MLOAD 000012d7: DUP2 000012d8: LT 000012d9: ISZERO 000012da: PUSH2 0x134a 000012dd: JUMPI 000012de: PUSH1 0x30 000012e0: PUSH1 0xf8 000012e2: PUSH1 0x02 000012e4: EXP 000012e5: MUL 000012e6: DUP5 000012e7: DUP3 000012e8: DUP2 000012e9: MLOAD 000012ea: DUP2 000012eb: LT 000012ec: ISZERO 000012ed: PUSH2 0x0002 000012f0: JUMPI 000012f1: SWAP1 000012f2: PUSH1 0x20 000012f4: ADD 000012f5: ADD 000012f6: MLOAD 000012f7: PUSH1 0xf8 000012f9: PUSH1 0x02 000012fb: EXP 000012fc: SWAP1 000012fd: DIV 000012fe: PUSH1 0xf8 00001300: PUSH1 0x02 00001302: EXP 00001303: MUL 00001304: LT 00001305: ISZERO 00001306: DUP1 00001307: ISZERO 00001308: PUSH2 0x1335 0000130b: JUMPI 0000130c: POP 0000130d: PUSH1 0x39 0000130f: PUSH1 0xf8 00001311: PUSH1 0x02 00001313: EXP 00001314: MUL 00001315: DUP5 00001316: DUP3 00001317: DUP2 00001318: MLOAD 00001319: DUP2 0000131a: LT 0000131b: ISZERO 0000131c: PUSH2 0x0002 0000131f: JUMPI 00001320: SWAP1 00001321: PUSH1 0x20 00001323: ADD 00001324: ADD 00001325: MLOAD 00001326: PUSH1 0xf8 00001328: PUSH1 0x02 0000132a: EXP 0000132b: SWAP1 0000132c: DIV 0000132d: PUSH1 0xf8 0000132f: PUSH1 0x02 00001331: EXP 00001332: MUL 00001333: GT 00001334: ISZERO 00001335: JUMPDEST 00001336: ISZERO 00001337: PUSH2 0x1504 0000133a: JUMPI 0000133b: DUP2 0000133c: ISZERO 0000133d: PUSH2 0x155b 00001340: JUMPI 00001341: DUP6 00001342: PUSH1 0x00 00001344: EQ 00001345: ISZERO 00001346: PUSH2 0x1552 00001349: JUMPI 0000134a: JUMPDEST 0000134b: DUP3 0000134c: SWAP5 0000134d: POP 0000134e: PUSH2 0x14c9 00001351: JUMP 00001352: JUMPDEST 00001353: SWAP2 00001354: POP 00001355: PUSH1 0x00 00001357: DUP3 00001358: SLT 00001359: ISZERO 0000135a: PUSH2 0x1362 0000135d: JUMPI 0000135e: PUSH2 0x0002 00001361: JUMP 00001362: JUMPDEST 00001363: DUP2 00001364: SWAP1 00001365: POP 00001366: PUSH2 0x12ae 00001369: PUSH2 0x12b6 0000136c: DUP6 0000136d: DUP4 0000136e: PUSH1 0x08 00001370: ADD 00001371: PUSH2 0x1216 00001374: DUP9 00001375: PUSH1 0x40 00001377: PUSH1 0x40 00001379: MLOAD 0000137a: SWAP1 0000137b: DUP2 0000137c: ADD 0000137d: PUSH1 0x40 0000137f: MSTORE 00001380: DUP1 00001381: PUSH1 0x01 00001383: DUP2 00001384: MSTORE 00001385: PUSH1 0x20 00001387: ADD 00001388: PUSH32 0x5d00000000000000000000000000000000000000000000000000000000000000 000013a9: DUP2 000013aa: MSTORE 000013ab: PUSH1 0x20 000013ad: ADD 000013ae: POP 000013af: DUP8 000013b0: PUSH2 0x11ee 000013b3: JUMP 000013b4: JUMPDEST 000013b5: SWAP1 000013b6: POP 000013b7: DUP1 000013b8: PUSH1 0x00 000013ba: NOT 000013bb: EQ 000013bc: ISZERO 000013bd: PUSH2 0x13d0 000013c0: JUMPI 000013c1: PUSH1 0x00 000013c3: NOT 000013c4: SWAP2 000013c5: POP 000013c6: PUSH2 0x13d6 000013c9: JUMP 000013ca: JUMPDEST 000013cb: DUP6 000013cc: PUSH2 0x0c61 000013cf: JUMP 000013d0: JUMPDEST 000013d1: DUP1 000013d2: DUP4 000013d3: ADD 000013d4: SWAP2 000013d5: POP 000013d6: JUMPDEST 000013d7: POP 000013d8: SWAP4 000013d9: SWAP3 000013da: POP 000013db: POP 000013dc: POP 000013dd: JUMP 000013de: JUMPDEST 000013df: PUSH16 0xffffffffffffffffffffffffffffffff 000013f0: DUP5 000013f1: MLOAD 000013f2: GT 000013f3: ISZERO 000013f4: PUSH2 0x1401 000013f7: JUMPI 000013f8: PUSH1 0x00 000013fa: NOT 000013fb: SWAP5 000013fc: POP 000013fd: PUSH2 0x14c9 00001400: JUMP 00001401: JUMPDEST 00001402: POP 00001403: PUSH1 0x00 00001405: SWAP1 00001406: POP 00001407: DUP1 00001408: JUMPDEST 00001409: DUP4 0000140a: MLOAD 0000140b: DUP2 0000140c: LT 0000140d: ISZERO 0000140e: PUSH2 0x14c3 00001411: JUMPI 00001412: DUP3 00001413: PUSH1 0x00 00001415: DUP2 00001416: MLOAD 00001417: DUP2 00001418: LT 00001419: ISZERO 0000141a: PUSH2 0x0002 0000141d: JUMPI 0000141e: SWAP1 0000141f: PUSH1 0x20 00001421: ADD 00001422: ADD 00001423: MLOAD 00001424: PUSH1 0xf8 00001426: PUSH1 0x02 00001428: EXP 00001429: SWAP1 0000142a: DIV 0000142b: PUSH1 0xf8 0000142d: PUSH1 0x02 0000142f: EXP 00001430: MUL 00001431: DUP5 00001432: DUP3 00001433: DUP2 00001434: MLOAD 00001435: DUP2 00001436: LT 00001437: ISZERO 00001438: PUSH2 0x0002 0000143b: JUMPI 0000143c: SWAP1 0000143d: PUSH1 0x20 0000143f: ADD 00001440: ADD 00001441: MLOAD 00001442: PUSH1 0xf8 00001444: PUSH1 0x02 00001446: EXP 00001447: SWAP1 00001448: DIV 00001449: PUSH1 0xf8 0000144b: PUSH1 0x02 0000144d: EXP 0000144e: MUL 0000144f: EQ 00001450: ISZERO 00001451: PUSH2 0x14e4 00001454: JUMPI 00001455: PUSH1 0x01 00001457: SWAP2 00001458: POP 00001459: JUMPDEST 0000145a: DUP3 0000145b: MLOAD 0000145c: DUP3 0000145d: LT 0000145e: DUP1 0000145f: ISZERO 00001460: PUSH2 0x146b 00001463: JUMPI 00001464: POP 00001465: DUP4 00001466: MLOAD 00001467: DUP3 00001468: DUP3 00001469: ADD 0000146a: LT 0000146b: JUMPDEST 0000146c: DUP1 0000146d: ISZERO 0000146e: PUSH2 0x14b2 00001471: JUMPI 00001472: POP 00001473: DUP3 00001474: DUP3 00001475: DUP2 00001476: MLOAD 00001477: DUP2 00001478: LT 00001479: ISZERO 0000147a: PUSH2 0x0002 0000147d: JUMPI 0000147e: SWAP1 0000147f: PUSH1 0x20 00001481: ADD 00001482: ADD 00001483: MLOAD 00001484: PUSH1 0xf8 00001486: PUSH1 0x02 00001488: EXP 00001489: SWAP1 0000148a: DIV 0000148b: PUSH1 0xf8 0000148d: PUSH1 0x02 0000148f: EXP 00001490: MUL 00001491: DUP5 00001492: DUP4 00001493: DUP4 00001494: ADD 00001495: DUP2 00001496: MLOAD 00001497: DUP2 00001498: LT 00001499: ISZERO 0000149a: PUSH2 0x0002 0000149d: JUMPI 0000149e: SWAP1 0000149f: PUSH1 0x20 000014a1: ADD 000014a2: ADD 000014a3: MLOAD 000014a4: PUSH1 0xf8 000014a6: PUSH1 0x02 000014a8: EXP 000014a9: SWAP1 000014aa: DIV 000014ab: PUSH1 0xf8 000014ad: PUSH1 0x02 000014af: EXP 000014b0: MUL 000014b1: EQ 000014b2: JUMPDEST 000014b3: ISZERO 000014b4: PUSH2 0x14d3 000014b7: JUMPI 000014b8: PUSH1 0x01 000014ba: SWAP2 000014bb: SWAP1 000014bc: SWAP2 000014bd: ADD 000014be: SWAP1 000014bf: PUSH2 0x1459 000014c2: JUMP 000014c3: JUMPDEST 000014c4: PUSH1 0x00 000014c6: NOT 000014c7: SWAP5 000014c8: POP 000014c9: JUMPDEST 000014ca: POP 000014cb: POP 000014cc: POP 000014cd: POP 000014ce: SWAP3 000014cf: SWAP2 000014d0: POP 000014d1: POP 000014d2: JUMP 000014d3: JUMPDEST 000014d4: DUP3 000014d5: MLOAD 000014d6: DUP3 000014d7: EQ 000014d8: ISZERO 000014d9: PUSH2 0x14e4 000014dc: JUMPI 000014dd: DUP1 000014de: SWAP5 000014df: POP 000014e0: PUSH2 0x14c9 000014e3: JUMP 000014e4: JUMPDEST 000014e5: PUSH1 0x01 000014e7: ADD 000014e8: PUSH2 0x1408 000014eb: JUMP 000014ec: JUMPDEST 000014ed: SWAP1 000014ee: POP 000014ef: PUSH2 0x06e5 000014f2: JUMP 000014f3: JUMPDEST 000014f4: POP 000014f5: SWAP6 000014f6: SWAP5 000014f7: POP 000014f8: POP 000014f9: POP 000014fa: POP 000014fb: POP 000014fc: JUMP 000014fd: JUMPDEST 000014fe: SWAP4 000014ff: SWAP3 00001500: POP 00001501: POP 00001502: POP 00001503: JUMP 00001504: JUMPDEST 00001505: DUP4 00001506: DUP2 00001507: DUP2 00001508: MLOAD 00001509: DUP2 0000150a: LT 0000150b: ISZERO 0000150c: PUSH2 0x0002 0000150f: JUMPI 00001510: ADD 00001511: PUSH1 0x20 00001513: ADD 00001514: MLOAD 00001515: PUSH1 0xf8 00001517: PUSH1 0x02 00001519: EXP 0000151a: SWAP1 0000151b: DUP2 0000151c: SWAP1 0000151d: DIV 0000151e: MUL 0000151f: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00001540: EQ 00001541: ISZERO 00001542: PUSH2 0x154a 00001545: JUMPI 00001546: PUSH1 0x01 00001548: SWAP2 00001549: POP 0000154a: JUMPDEST 0000154b: PUSH1 0x01 0000154d: ADD 0000154e: PUSH2 0x12d4 00001551: JUMP 00001552: JUMPDEST 00001553: PUSH1 0x00 00001555: NOT 00001556: SWAP6 00001557: SWAP1 00001558: SWAP6 00001559: ADD 0000155a: SWAP5 0000155b: JUMPDEST 0000155c: PUSH1 0x0a 0000155e: DUP4 0000155f: MUL 00001560: SWAP3 00001561: POP 00001562: DUP3 00001563: POP 00001564: PUSH1 0x30 00001566: DUP5 00001567: DUP3 00001568: DUP2 00001569: MLOAD 0000156a: DUP2 0000156b: LT 0000156c: ISZERO 0000156d: PUSH2 0x0002 00001570: JUMPI 00001571: ADD 00001572: PUSH1 0x20 00001574: ADD 00001575: MLOAD 00001576: PUSH1 0xf8 00001578: PUSH1 0x02 0000157a: EXP 0000157b: SWAP1 0000157c: DUP2 0000157d: SWAP1 0000157e: DIV 0000157f: DUP2 00001580: MUL 00001581: DIV 00001582: SWAP1 00001583: SWAP4 00001584: ADD 00001585: PUSH1 0x2f 00001587: NOT 00001588: ADD 00001589: SWAP3 0000158a: POP 0000158b: PUSH2 0x154a 0000158e: JUMP 0000158f: EXP 00001590: PUSH28 0x226a736f6e727063223a22322e30222c226d6574686f64223a226765 000015ad: PUSH15 0x65726174655369676e6564496e7465 000015bd: PUSH8 0x657273222c227061 000015c6: PUSH19 0x616d73223a7b226170694b6579223a22333636 000015da: PUSH4 0x65663839 000015df: UNKNOWN(0x2D) 000015e0: PUSH4 0x3738662d 000015e5: CALLVALUE 000015e6: BALANCE 000015e7: BALANCE 000015e8: BALANCE 000015e9: UNKNOWN(0x2D) 000015ea: PUSH3 0x383834 000015ee: UNKNOWN(0x2D) 000015ef: CODESIZE 000015f0: PUSH7 0x39333432363461 000015f8: PUSH6 0x6430222c226e 000015ff: UNKNOWN(0x22) 00001600: GASPRICE 00001601: BALANCE 00001602: UNKNOWN(0x2C) 00001603: UNKNOWN(0x22) 00001604: PUSH14 0x696e223a312c226d6178223a3130 00001613: ADDRESS 00001614: ADDRESS 00001615: ADDRESS 00001616: 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: 0x6c70c19e0d69fd21d1f98a85f07196f22da8e5adf9e38b436a5e7428a00d720c
call_targets:
0x67a0227d651726245fbd73e61cdcb719e5c7ba3d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6c70c19e0d69fd21d1f98a85f07196f22da8e5adf9e38b436a5e7428a00d720c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x67a0227d651726245fbd73e61cdcb719e5c7ba3d"
],
"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": 595,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
},
{
"pc": 711,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1056,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 20,
"guards_detected": [],
"untrusted_call_count": 19
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6c70c19e0d69fd21d1f98a85f07196f22da8e5adf9e38b436a5e7428a00d720c
call_targets:
0x67a0227d651726245fbd73e61cdcb719e5c7ba3d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6c70c19e0d69fd21d1f98a85f07196f22da8e5adf9e38b436a5e7428a00d720c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x67a0227d651726245fbd73e61cdcb719e5c7ba3d"
],
"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": 711,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1056,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 18,
"guards_detected": []
}
|