019b477e-b427-71ba-ba7d-984f9ab9ddc5
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 |
|---|---|---|---|---|
| 22675 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22676 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89569 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89570 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89571 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89572 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00e6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x025e7c27 0000003c: EQ 0000003d: PUSH2 0x0140 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x2f54bf6e 00000047: EQ 00000048: PUSH2 0x01ad 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3411c81c 00000052: EQ 00000053: PUSH2 0x0208 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x54741525 0000005d: EQ 0000005e: PUSH2 0x026d 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x76a6bf52 00000068: EQ 00000069: PUSH2 0x02bc 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x784547a7 00000073: EQ 00000074: PUSH2 0x0301 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x8b51d13f 0000007e: EQ 0000007f: PUSH2 0x0346 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x9ace38c2 00000089: EQ 0000008a: PUSH2 0x0387 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xa0e67e2b 00000094: EQ 00000095: PUSH2 0x0472 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xa8abe69a 0000009f: EQ 000000a0: PUSH2 0x04de 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xb5dc40c3 000000aa: EQ 000000ab: PUSH2 0x0582 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xb77bf600 000000b5: EQ 000000b6: PUSH2 0x0604 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xc01a8c84 000000c0: EQ 000000c1: PUSH2 0x062f 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xc6427474 000000cb: EQ 000000cc: PUSH2 0x065c 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xdc8452cd 000000d6: EQ 000000d7: PUSH2 0x0703 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xee22610b 000000e1: EQ 000000e2: PUSH2 0x072e 000000e5: JUMPI 000000e6: JUMPDEST 000000e7: PUSH1 0x00 000000e9: CALLVALUE 000000ea: GT 000000eb: ISZERO 000000ec: PUSH2 0x013e 000000ef: JUMPI 000000f0: CALLER 000000f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000106: AND 00000107: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000128: CALLVALUE 00000129: PUSH1 0x40 0000012b: MLOAD 0000012c: DUP1 0000012d: DUP3 0000012e: DUP2 0000012f: MSTORE 00000130: PUSH1 0x20 00000132: ADD 00000133: SWAP2 00000134: POP 00000135: POP 00000136: PUSH1 0x40 00000138: MLOAD 00000139: DUP1 0000013a: SWAP2 0000013b: SUB 0000013c: SWAP1 0000013d: LOG2 0000013e: JUMPDEST 0000013f: STOP 00000140: JUMPDEST 00000141: CALLVALUE 00000142: DUP1 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: POP 0000014e: PUSH2 0x016b 00000151: PUSH1 0x04 00000153: DUP1 00000154: CALLDATASIZE 00000155: SUB 00000156: DUP2 00000157: ADD 00000158: SWAP1 00000159: DUP1 0000015a: DUP1 0000015b: CALLDATALOAD 0000015c: SWAP1 0000015d: PUSH1 0x20 0000015f: ADD 00000160: SWAP1 00000161: SWAP3 00000162: SWAP2 00000163: SWAP1 00000164: POP 00000165: POP 00000166: POP 00000167: PUSH2 0x075b 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH1 0x40 0000016e: MLOAD 0000016f: DUP1 00000170: DUP3 00000171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000186: AND 00000187: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019c: AND 0000019d: DUP2 0000019e: MSTORE 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: SWAP2 000001a3: POP 000001a4: POP 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: DUP1 000001a9: SWAP2 000001aa: SUB 000001ab: SWAP1 000001ac: RETURN 000001ad: JUMPDEST 000001ae: CALLVALUE 000001af: DUP1 000001b0: ISZERO 000001b1: PUSH2 0x01b9 000001b4: JUMPI 000001b5: PUSH1 0x00 000001b7: DUP1 000001b8: REVERT 000001b9: JUMPDEST 000001ba: POP 000001bb: PUSH2 0x01ee 000001be: PUSH1 0x04 000001c0: DUP1 000001c1: CALLDATASIZE 000001c2: SUB 000001c3: DUP2 000001c4: ADD 000001c5: SWAP1 000001c6: DUP1 000001c7: DUP1 000001c8: CALLDATALOAD 000001c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001de: AND 000001df: SWAP1 000001e0: PUSH1 0x20 000001e2: ADD 000001e3: SWAP1 000001e4: SWAP3 000001e5: SWAP2 000001e6: SWAP1 000001e7: POP 000001e8: POP 000001e9: POP 000001ea: PUSH2 0x0799 000001ed: JUMP 000001ee: JUMPDEST 000001ef: PUSH1 0x40 000001f1: MLOAD 000001f2: DUP1 000001f3: DUP3 000001f4: ISZERO 000001f5: ISZERO 000001f6: ISZERO 000001f7: ISZERO 000001f8: DUP2 000001f9: MSTORE 000001fa: PUSH1 0x20 000001fc: ADD 000001fd: SWAP2 000001fe: POP 000001ff: POP 00000200: PUSH1 0x40 00000202: MLOAD 00000203: DUP1 00000204: SWAP2 00000205: SUB 00000206: SWAP1 00000207: RETURN 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x0253 00000219: PUSH1 0x04 0000021b: DUP1 0000021c: CALLDATASIZE 0000021d: SUB 0000021e: DUP2 0000021f: ADD 00000220: SWAP1 00000221: DUP1 00000222: DUP1 00000223: CALLDATALOAD 00000224: SWAP1 00000225: PUSH1 0x20 00000227: ADD 00000228: SWAP1 00000229: SWAP3 0000022a: SWAP2 0000022b: SWAP1 0000022c: DUP1 0000022d: CALLDATALOAD 0000022e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000243: AND 00000244: SWAP1 00000245: PUSH1 0x20 00000247: ADD 00000248: SWAP1 00000249: SWAP3 0000024a: SWAP2 0000024b: SWAP1 0000024c: POP 0000024d: POP 0000024e: POP 0000024f: PUSH2 0x07b9 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: DUP3 00000259: ISZERO 0000025a: ISZERO 0000025b: ISZERO 0000025c: ISZERO 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP2 00000263: POP 00000264: POP 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: SWAP2 0000026a: SUB 0000026b: SWAP1 0000026c: RETURN 0000026d: JUMPDEST 0000026e: CALLVALUE 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH2 0x02a6 0000027e: PUSH1 0x04 00000280: DUP1 00000281: CALLDATASIZE 00000282: SUB 00000283: DUP2 00000284: ADD 00000285: SWAP1 00000286: DUP1 00000287: DUP1 00000288: CALLDATALOAD 00000289: ISZERO 0000028a: ISZERO 0000028b: SWAP1 0000028c: PUSH1 0x20 0000028e: ADD 0000028f: SWAP1 00000290: SWAP3 00000291: SWAP2 00000292: SWAP1 00000293: DUP1 00000294: CALLDATALOAD 00000295: ISZERO 00000296: ISZERO 00000297: SWAP1 00000298: PUSH1 0x20 0000029a: ADD 0000029b: SWAP1 0000029c: SWAP3 0000029d: SWAP2 0000029e: SWAP1 0000029f: POP 000002a0: POP 000002a1: POP 000002a2: PUSH2 0x07e8 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH1 0x40 000002a9: MLOAD 000002aa: DUP1 000002ab: DUP3 000002ac: DUP2 000002ad: MSTORE 000002ae: PUSH1 0x20 000002b0: ADD 000002b1: SWAP2 000002b2: POP 000002b3: POP 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: DUP1 000002b8: SWAP2 000002b9: SUB 000002ba: SWAP1 000002bb: RETURN 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: PUSH2 0x02e7 000002cd: PUSH1 0x04 000002cf: DUP1 000002d0: CALLDATASIZE 000002d1: SUB 000002d2: DUP2 000002d3: ADD 000002d4: SWAP1 000002d5: DUP1 000002d6: DUP1 000002d7: CALLDATALOAD 000002d8: SWAP1 000002d9: PUSH1 0x20 000002db: ADD 000002dc: SWAP1 000002dd: SWAP3 000002de: SWAP2 000002df: SWAP1 000002e0: POP 000002e1: POP 000002e2: POP 000002e3: PUSH2 0x087a 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH1 0x40 000002ea: MLOAD 000002eb: DUP1 000002ec: DUP3 000002ed: ISZERO 000002ee: ISZERO 000002ef: ISZERO 000002f0: ISZERO 000002f1: DUP2 000002f2: MSTORE 000002f3: PUSH1 0x20 000002f5: ADD 000002f6: SWAP2 000002f7: POP 000002f8: POP 000002f9: PUSH1 0x40 000002fb: MLOAD 000002fc: DUP1 000002fd: SWAP2 000002fe: SUB 000002ff: SWAP1 00000300: RETURN 00000301: JUMPDEST 00000302: CALLVALUE 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x030d 00000308: JUMPI 00000309: PUSH1 0x00 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH2 0x032c 00000312: PUSH1 0x04 00000314: DUP1 00000315: CALLDATASIZE 00000316: SUB 00000317: DUP2 00000318: ADD 00000319: SWAP1 0000031a: DUP1 0000031b: DUP1 0000031c: CALLDATALOAD 0000031d: SWAP1 0000031e: PUSH1 0x20 00000320: ADD 00000321: SWAP1 00000322: SWAP3 00000323: SWAP2 00000324: SWAP1 00000325: POP 00000326: POP 00000327: POP 00000328: PUSH2 0x08a6 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH1 0x40 0000032f: MLOAD 00000330: DUP1 00000331: DUP3 00000332: ISZERO 00000333: ISZERO 00000334: ISZERO 00000335: ISZERO 00000336: DUP2 00000337: MSTORE 00000338: PUSH1 0x20 0000033a: ADD 0000033b: SWAP2 0000033c: POP 0000033d: POP 0000033e: PUSH1 0x40 00000340: MLOAD 00000341: DUP1 00000342: SWAP2 00000343: SUB 00000344: SWAP1 00000345: RETURN 00000346: JUMPDEST 00000347: CALLVALUE 00000348: DUP1 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: POP 00000354: PUSH2 0x0371 00000357: PUSH1 0x04 00000359: DUP1 0000035a: CALLDATASIZE 0000035b: SUB 0000035c: DUP2 0000035d: ADD 0000035e: SWAP1 0000035f: DUP1 00000360: DUP1 00000361: CALLDATALOAD 00000362: SWAP1 00000363: PUSH1 0x20 00000365: ADD 00000366: SWAP1 00000367: SWAP3 00000368: SWAP2 00000369: SWAP1 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: PUSH2 0x098b 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: DUP3 00000377: DUP2 00000378: MSTORE 00000379: PUSH1 0x20 0000037b: ADD 0000037c: SWAP2 0000037d: POP 0000037e: POP 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: DUP1 00000383: SWAP2 00000384: SUB 00000385: SWAP1 00000386: RETURN 00000387: JUMPDEST 00000388: CALLVALUE 00000389: DUP1 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH2 0x03b2 00000398: PUSH1 0x04 0000039a: DUP1 0000039b: CALLDATASIZE 0000039c: SUB 0000039d: DUP2 0000039e: ADD 0000039f: SWAP1 000003a0: DUP1 000003a1: DUP1 000003a2: CALLDATALOAD 000003a3: SWAP1 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: SWAP1 000003a8: SWAP3 000003a9: SWAP2 000003aa: SWAP1 000003ab: POP 000003ac: POP 000003ad: POP 000003ae: PUSH2 0x0a56 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x40 000003b5: MLOAD 000003b6: DUP1 000003b7: DUP6 000003b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cd: AND 000003ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e3: AND 000003e4: DUP2 000003e5: MSTORE 000003e6: PUSH1 0x20 000003e8: ADD 000003e9: DUP5 000003ea: DUP2 000003eb: MSTORE 000003ec: PUSH1 0x20 000003ee: ADD 000003ef: DUP1 000003f0: PUSH1 0x20 000003f2: ADD 000003f3: DUP4 000003f4: ISZERO 000003f5: ISZERO 000003f6: ISZERO 000003f7: ISZERO 000003f8: DUP2 000003f9: MSTORE 000003fa: PUSH1 0x20 000003fc: ADD 000003fd: DUP3 000003fe: DUP2 000003ff: SUB 00000400: DUP3 00000401: MSTORE 00000402: DUP5 00000403: DUP2 00000404: DUP2 00000405: MLOAD 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x20 0000040a: ADD 0000040b: SWAP2 0000040c: POP 0000040d: DUP1 0000040e: MLOAD 0000040f: SWAP1 00000410: PUSH1 0x20 00000412: ADD 00000413: SWAP1 00000414: DUP1 00000415: DUP4 00000416: DUP4 00000417: PUSH1 0x00 00000419: JUMPDEST 0000041a: DUP4 0000041b: DUP2 0000041c: LT 0000041d: ISZERO 0000041e: PUSH2 0x0434 00000421: JUMPI 00000422: DUP1 00000423: DUP3 00000424: ADD 00000425: MLOAD 00000426: DUP2 00000427: DUP5 00000428: ADD 00000429: MSTORE 0000042a: PUSH1 0x20 0000042c: DUP2 0000042d: ADD 0000042e: SWAP1 0000042f: POP 00000430: PUSH2 0x0419 00000433: JUMP 00000434: JUMPDEST 00000435: POP 00000436: POP 00000437: POP 00000438: POP 00000439: SWAP1 0000043a: POP 0000043b: SWAP1 0000043c: DUP2 0000043d: ADD 0000043e: SWAP1 0000043f: PUSH1 0x1f 00000441: AND 00000442: DUP1 00000443: ISZERO 00000444: PUSH2 0x0461 00000447: JUMPI 00000448: DUP1 00000449: DUP3 0000044a: SUB 0000044b: DUP1 0000044c: MLOAD 0000044d: PUSH1 0x01 0000044f: DUP4 00000450: PUSH1 0x20 00000452: SUB 00000453: PUSH2 0x0100 00000456: EXP 00000457: SUB 00000458: NOT 00000459: AND 0000045a: DUP2 0000045b: MSTORE 0000045c: PUSH1 0x20 0000045e: ADD 0000045f: SWAP2 00000460: POP 00000461: JUMPDEST 00000462: POP 00000463: SWAP6 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: POP 00000469: POP 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: DUP1 0000046e: SWAP2 0000046f: SUB 00000470: SWAP1 00000471: RETURN 00000472: JUMPDEST 00000473: CALLVALUE 00000474: DUP1 00000475: ISZERO 00000476: PUSH2 0x047e 00000479: JUMPI 0000047a: PUSH1 0x00 0000047c: DUP1 0000047d: REVERT 0000047e: JUMPDEST 0000047f: POP 00000480: PUSH2 0x0487 00000483: PUSH2 0x0b4b 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH1 0x40 0000048a: MLOAD 0000048b: DUP1 0000048c: DUP1 0000048d: PUSH1 0x20 0000048f: ADD 00000490: DUP3 00000491: DUP2 00000492: SUB 00000493: DUP3 00000494: MSTORE 00000495: DUP4 00000496: DUP2 00000497: DUP2 00000498: MLOAD 00000499: DUP2 0000049a: MSTORE 0000049b: PUSH1 0x20 0000049d: ADD 0000049e: SWAP2 0000049f: POP 000004a0: DUP1 000004a1: MLOAD 000004a2: SWAP1 000004a3: PUSH1 0x20 000004a5: ADD 000004a6: SWAP1 000004a7: PUSH1 0x20 000004a9: MUL 000004aa: DUP1 000004ab: DUP4 000004ac: DUP4 000004ad: PUSH1 0x00 000004af: JUMPDEST 000004b0: DUP4 000004b1: DUP2 000004b2: LT 000004b3: ISZERO 000004b4: PUSH2 0x04ca 000004b7: JUMPI 000004b8: DUP1 000004b9: DUP3 000004ba: ADD 000004bb: MLOAD 000004bc: DUP2 000004bd: DUP5 000004be: ADD 000004bf: MSTORE 000004c0: PUSH1 0x20 000004c2: DUP2 000004c3: ADD 000004c4: SWAP1 000004c5: POP 000004c6: PUSH2 0x04af 000004c9: JUMP 000004ca: JUMPDEST 000004cb: POP 000004cc: POP 000004cd: POP 000004ce: POP 000004cf: SWAP1 000004d0: POP 000004d1: ADD 000004d2: SWAP3 000004d3: POP 000004d4: POP 000004d5: POP 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: DUP1 000004da: SWAP2 000004db: SUB 000004dc: SWAP1 000004dd: RETURN 000004de: JUMPDEST 000004df: CALLVALUE 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: POP 000004ec: PUSH2 0x052b 000004ef: PUSH1 0x04 000004f1: DUP1 000004f2: CALLDATASIZE 000004f3: SUB 000004f4: DUP2 000004f5: ADD 000004f6: SWAP1 000004f7: DUP1 000004f8: DUP1 000004f9: CALLDATALOAD 000004fa: SWAP1 000004fb: PUSH1 0x20 000004fd: ADD 000004fe: SWAP1 000004ff: SWAP3 00000500: SWAP2 00000501: SWAP1 00000502: DUP1 00000503: CALLDATALOAD 00000504: SWAP1 00000505: PUSH1 0x20 00000507: ADD 00000508: SWAP1 00000509: SWAP3 0000050a: SWAP2 0000050b: SWAP1 0000050c: DUP1 0000050d: CALLDATALOAD 0000050e: ISZERO 0000050f: ISZERO 00000510: SWAP1 00000511: PUSH1 0x20 00000513: ADD 00000514: SWAP1 00000515: SWAP3 00000516: SWAP2 00000517: SWAP1 00000518: DUP1 00000519: CALLDATALOAD 0000051a: ISZERO 0000051b: ISZERO 0000051c: SWAP1 0000051d: PUSH1 0x20 0000051f: ADD 00000520: SWAP1 00000521: SWAP3 00000522: SWAP2 00000523: SWAP1 00000524: POP 00000525: POP 00000526: POP 00000527: PUSH2 0x0bd9 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP1 00000530: DUP1 00000531: PUSH1 0x20 00000533: ADD 00000534: DUP3 00000535: DUP2 00000536: SUB 00000537: DUP3 00000538: MSTORE 00000539: DUP4 0000053a: DUP2 0000053b: DUP2 0000053c: MLOAD 0000053d: DUP2 0000053e: MSTORE 0000053f: PUSH1 0x20 00000541: ADD 00000542: SWAP2 00000543: POP 00000544: DUP1 00000545: MLOAD 00000546: SWAP1 00000547: PUSH1 0x20 00000549: ADD 0000054a: SWAP1 0000054b: PUSH1 0x20 0000054d: MUL 0000054e: DUP1 0000054f: DUP4 00000550: DUP4 00000551: PUSH1 0x00 00000553: JUMPDEST 00000554: DUP4 00000555: DUP2 00000556: LT 00000557: ISZERO 00000558: PUSH2 0x056e 0000055b: JUMPI 0000055c: DUP1 0000055d: DUP3 0000055e: ADD 0000055f: MLOAD 00000560: DUP2 00000561: DUP5 00000562: ADD 00000563: MSTORE 00000564: PUSH1 0x20 00000566: DUP2 00000567: ADD 00000568: SWAP1 00000569: POP 0000056a: PUSH2 0x0553 0000056d: JUMP 0000056e: JUMPDEST 0000056f: POP 00000570: POP 00000571: POP 00000572: POP 00000573: SWAP1 00000574: POP 00000575: ADD 00000576: SWAP3 00000577: POP 00000578: POP 00000579: POP 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP1 0000057e: SWAP2 0000057f: SUB 00000580: SWAP1 00000581: RETURN 00000582: JUMPDEST 00000583: CALLVALUE 00000584: DUP1 00000585: ISZERO 00000586: PUSH2 0x058e 00000589: JUMPI 0000058a: PUSH1 0x00 0000058c: DUP1 0000058d: REVERT 0000058e: JUMPDEST 0000058f: POP 00000590: PUSH2 0x05ad 00000593: PUSH1 0x04 00000595: DUP1 00000596: CALLDATASIZE 00000597: SUB 00000598: DUP2 00000599: ADD 0000059a: SWAP1 0000059b: DUP1 0000059c: DUP1 0000059d: CALLDATALOAD 0000059e: SWAP1 0000059f: PUSH1 0x20 000005a1: ADD 000005a2: SWAP1 000005a3: SWAP3 000005a4: SWAP2 000005a5: SWAP1 000005a6: POP 000005a7: POP 000005a8: POP 000005a9: PUSH2 0x0d4a 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: DUP1 000005b2: DUP1 000005b3: PUSH1 0x20 000005b5: ADD 000005b6: DUP3 000005b7: DUP2 000005b8: SUB 000005b9: DUP3 000005ba: MSTORE 000005bb: DUP4 000005bc: DUP2 000005bd: DUP2 000005be: MLOAD 000005bf: DUP2 000005c0: MSTORE 000005c1: PUSH1 0x20 000005c3: ADD 000005c4: SWAP2 000005c5: POP 000005c6: DUP1 000005c7: MLOAD 000005c8: SWAP1 000005c9: PUSH1 0x20 000005cb: ADD 000005cc: SWAP1 000005cd: PUSH1 0x20 000005cf: MUL 000005d0: DUP1 000005d1: DUP4 000005d2: DUP4 000005d3: PUSH1 0x00 000005d5: JUMPDEST 000005d6: DUP4 000005d7: DUP2 000005d8: LT 000005d9: ISZERO 000005da: PUSH2 0x05f0 000005dd: JUMPI 000005de: DUP1 000005df: DUP3 000005e0: ADD 000005e1: MLOAD 000005e2: DUP2 000005e3: DUP5 000005e4: ADD 000005e5: MSTORE 000005e6: PUSH1 0x20 000005e8: DUP2 000005e9: ADD 000005ea: SWAP1 000005eb: POP 000005ec: PUSH2 0x05d5 000005ef: JUMP 000005f0: JUMPDEST 000005f1: POP 000005f2: POP 000005f3: POP 000005f4: POP 000005f5: SWAP1 000005f6: POP 000005f7: ADD 000005f8: SWAP3 000005f9: POP 000005fa: POP 000005fb: POP 000005fc: PUSH1 0x40 000005fe: MLOAD 000005ff: DUP1 00000600: SWAP2 00000601: SUB 00000602: SWAP1 00000603: RETURN 00000604: JUMPDEST 00000605: CALLVALUE 00000606: DUP1 00000607: ISZERO 00000608: PUSH2 0x0610 0000060b: JUMPI 0000060c: PUSH1 0x00 0000060e: DUP1 0000060f: REVERT 00000610: JUMPDEST 00000611: POP 00000612: PUSH2 0x0619 00000615: PUSH2 0x0f87 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH1 0x40 0000061c: MLOAD 0000061d: DUP1 0000061e: DUP3 0000061f: DUP2 00000620: MSTORE 00000621: PUSH1 0x20 00000623: ADD 00000624: SWAP2 00000625: POP 00000626: POP 00000627: PUSH1 0x40 00000629: MLOAD 0000062a: DUP1 0000062b: SWAP2 0000062c: SUB 0000062d: SWAP1 0000062e: RETURN 0000062f: JUMPDEST 00000630: CALLVALUE 00000631: DUP1 00000632: ISZERO 00000633: PUSH2 0x063b 00000636: JUMPI 00000637: PUSH1 0x00 00000639: DUP1 0000063a: REVERT 0000063b: JUMPDEST 0000063c: POP 0000063d: PUSH2 0x065a 00000640: PUSH1 0x04 00000642: DUP1 00000643: CALLDATASIZE 00000644: SUB 00000645: DUP2 00000646: ADD 00000647: SWAP1 00000648: DUP1 00000649: DUP1 0000064a: CALLDATALOAD 0000064b: SWAP1 0000064c: PUSH1 0x20 0000064e: ADD 0000064f: SWAP1 00000650: SWAP3 00000651: SWAP2 00000652: SWAP1 00000653: POP 00000654: POP 00000655: POP 00000656: PUSH2 0x0f8d 00000659: JUMP 0000065a: JUMPDEST 0000065b: STOP 0000065c: JUMPDEST 0000065d: CALLVALUE 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x0668 00000663: JUMPI 00000664: PUSH1 0x00 00000666: DUP1 00000667: REVERT 00000668: JUMPDEST 00000669: POP 0000066a: PUSH2 0x06ed 0000066d: PUSH1 0x04 0000066f: DUP1 00000670: CALLDATASIZE 00000671: SUB 00000672: DUP2 00000673: ADD 00000674: SWAP1 00000675: DUP1 00000676: DUP1 00000677: CALLDATALOAD 00000678: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068d: AND 0000068e: SWAP1 0000068f: PUSH1 0x20 00000691: ADD 00000692: SWAP1 00000693: SWAP3 00000694: SWAP2 00000695: SWAP1 00000696: DUP1 00000697: CALLDATALOAD 00000698: SWAP1 00000699: PUSH1 0x20 0000069b: ADD 0000069c: SWAP1 0000069d: SWAP3 0000069e: SWAP2 0000069f: SWAP1 000006a0: DUP1 000006a1: CALLDATALOAD 000006a2: SWAP1 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: SWAP1 000006a7: DUP3 000006a8: ADD 000006a9: DUP1 000006aa: CALLDATALOAD 000006ab: SWAP1 000006ac: PUSH1 0x20 000006ae: ADD 000006af: SWAP1 000006b0: DUP1 000006b1: DUP1 000006b2: PUSH1 0x1f 000006b4: ADD 000006b5: PUSH1 0x20 000006b7: DUP1 000006b8: SWAP2 000006b9: DIV 000006ba: MUL 000006bb: PUSH1 0x20 000006bd: ADD 000006be: PUSH1 0x40 000006c0: MLOAD 000006c1: SWAP1 000006c2: DUP2 000006c3: ADD 000006c4: PUSH1 0x40 000006c6: MSTORE 000006c7: DUP1 000006c8: SWAP4 000006c9: SWAP3 000006ca: SWAP2 000006cb: SWAP1 000006cc: DUP2 000006cd: DUP2 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: DUP4 000006d3: DUP4 000006d4: DUP1 000006d5: DUP3 000006d6: DUP5 000006d7: CALLDATACOPY 000006d8: DUP3 000006d9: ADD 000006da: SWAP2 000006db: POP 000006dc: POP 000006dd: POP 000006de: POP 000006df: POP 000006e0: POP 000006e1: SWAP2 000006e2: SWAP3 000006e3: SWAP2 000006e4: SWAP3 000006e5: SWAP1 000006e6: POP 000006e7: POP 000006e8: POP 000006e9: PUSH2 0x1179 000006ec: JUMP 000006ed: JUMPDEST 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: DUP1 000006f2: DUP3 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x20 000006f7: ADD 000006f8: SWAP2 000006f9: POP 000006fa: POP 000006fb: PUSH1 0x40 000006fd: MLOAD 000006fe: DUP1 000006ff: SWAP2 00000700: SUB 00000701: SWAP1 00000702: RETURN 00000703: JUMPDEST 00000704: CALLVALUE 00000705: DUP1 00000706: ISZERO 00000707: PUSH2 0x070f 0000070a: JUMPI 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: REVERT 0000070f: JUMPDEST 00000710: POP 00000711: PUSH2 0x0718 00000714: PUSH2 0x1198 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: DUP3 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x20 00000722: ADD 00000723: SWAP2 00000724: POP 00000725: POP 00000726: PUSH1 0x40 00000728: MLOAD 00000729: DUP1 0000072a: SWAP2 0000072b: SUB 0000072c: SWAP1 0000072d: RETURN 0000072e: JUMPDEST 0000072f: CALLVALUE 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: POP 0000073c: PUSH2 0x0759 0000073f: PUSH1 0x04 00000741: DUP1 00000742: CALLDATASIZE 00000743: SUB 00000744: DUP2 00000745: ADD 00000746: SWAP1 00000747: DUP1 00000748: DUP1 00000749: CALLDATALOAD 0000074a: SWAP1 0000074b: PUSH1 0x20 0000074d: ADD 0000074e: SWAP1 0000074f: SWAP3 00000750: SWAP2 00000751: SWAP1 00000752: POP 00000753: POP 00000754: POP 00000755: PUSH2 0x119e 00000758: JUMP 00000759: JUMPDEST 0000075a: STOP 0000075b: JUMPDEST 0000075c: PUSH1 0x03 0000075e: DUP2 0000075f: DUP2 00000760: SLOAD 00000761: DUP2 00000762: LT 00000763: ISZERO 00000764: ISZERO 00000765: PUSH2 0x076a 00000768: JUMPI 00000769: INVALID 0000076a: JUMPDEST 0000076b: SWAP1 0000076c: PUSH1 0x00 0000076e: MSTORE 0000076f: PUSH1 0x20 00000771: PUSH1 0x00 00000773: KECCAK256 00000774: ADD 00000775: PUSH1 0x00 00000777: SWAP2 00000778: POP 00000779: SLOAD 0000077a: SWAP1 0000077b: PUSH2 0x0100 0000077e: EXP 0000077f: SWAP1 00000780: DIV 00000781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000796: AND 00000797: DUP2 00000798: JUMP 00000799: JUMPDEST 0000079a: PUSH1 0x02 0000079c: PUSH1 0x20 0000079e: MSTORE 0000079f: DUP1 000007a0: PUSH1 0x00 000007a2: MSTORE 000007a3: PUSH1 0x40 000007a5: PUSH1 0x00 000007a7: KECCAK256 000007a8: PUSH1 0x00 000007aa: SWAP2 000007ab: POP 000007ac: SLOAD 000007ad: SWAP1 000007ae: PUSH2 0x0100 000007b1: EXP 000007b2: SWAP1 000007b3: DIV 000007b4: PUSH1 0xff 000007b6: AND 000007b7: DUP2 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH1 0x01 000007bc: PUSH1 0x20 000007be: MSTORE 000007bf: DUP2 000007c0: PUSH1 0x00 000007c2: MSTORE 000007c3: PUSH1 0x40 000007c5: PUSH1 0x00 000007c7: KECCAK256 000007c8: PUSH1 0x20 000007ca: MSTORE 000007cb: DUP1 000007cc: PUSH1 0x00 000007ce: MSTORE 000007cf: PUSH1 0x40 000007d1: PUSH1 0x00 000007d3: KECCAK256 000007d4: PUSH1 0x00 000007d6: SWAP2 000007d7: POP 000007d8: SWAP2 000007d9: POP 000007da: SWAP1 000007db: SLOAD 000007dc: SWAP1 000007dd: PUSH2 0x0100 000007e0: EXP 000007e1: SWAP1 000007e2: DIV 000007e3: PUSH1 0xff 000007e5: AND 000007e6: DUP2 000007e7: JUMP 000007e8: JUMPDEST 000007e9: PUSH1 0x00 000007eb: DUP1 000007ec: PUSH1 0x00 000007ee: SWAP1 000007ef: POP 000007f0: JUMPDEST 000007f1: PUSH1 0x05 000007f3: SLOAD 000007f4: DUP2 000007f5: LT 000007f6: ISZERO 000007f7: PUSH2 0x0873 000007fa: JUMPI 000007fb: DUP4 000007fc: DUP1 000007fd: ISZERO 000007fe: PUSH2 0x0827 00000801: JUMPI 00000802: POP 00000803: PUSH1 0x00 00000805: DUP1 00000806: DUP3 00000807: DUP2 00000808: MSTORE 00000809: PUSH1 0x20 0000080b: ADD 0000080c: SWAP1 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH1 0x20 00000811: ADD 00000812: PUSH1 0x00 00000814: KECCAK256 00000815: PUSH1 0x03 00000817: ADD 00000818: PUSH1 0x00 0000081a: SWAP1 0000081b: SLOAD 0000081c: SWAP1 0000081d: PUSH2 0x0100 00000820: EXP 00000821: SWAP1 00000822: DIV 00000823: PUSH1 0xff 00000825: AND 00000826: ISZERO 00000827: JUMPDEST 00000828: DUP1 00000829: PUSH2 0x085a 0000082c: JUMPI 0000082d: POP 0000082e: DUP3 0000082f: DUP1 00000830: ISZERO 00000831: PUSH2 0x0859 00000834: JUMPI 00000835: POP 00000836: PUSH1 0x00 00000838: DUP1 00000839: DUP3 0000083a: DUP2 0000083b: MSTORE 0000083c: PUSH1 0x20 0000083e: ADD 0000083f: SWAP1 00000840: DUP2 00000841: MSTORE 00000842: PUSH1 0x20 00000844: ADD 00000845: PUSH1 0x00 00000847: KECCAK256 00000848: PUSH1 0x03 0000084a: ADD 0000084b: PUSH1 0x00 0000084d: SWAP1 0000084e: SLOAD 0000084f: SWAP1 00000850: PUSH2 0x0100 00000853: EXP 00000854: SWAP1 00000855: DIV 00000856: PUSH1 0xff 00000858: AND 00000859: JUMPDEST 0000085a: JUMPDEST 0000085b: ISZERO 0000085c: PUSH2 0x0866 0000085f: JUMPI 00000860: PUSH1 0x01 00000862: DUP3 00000863: ADD 00000864: SWAP2 00000865: POP 00000866: JUMPDEST 00000867: DUP1 00000868: DUP1 00000869: PUSH1 0x01 0000086b: ADD 0000086c: SWAP2 0000086d: POP 0000086e: POP 0000086f: PUSH2 0x07f0 00000872: JUMP 00000873: JUMPDEST 00000874: POP 00000875: SWAP3 00000876: SWAP2 00000877: POP 00000878: POP 00000879: JUMP 0000087a: JUMPDEST 0000087b: PUSH1 0x00 0000087d: DUP1 0000087e: PUSH1 0x00 00000880: DUP4 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x20 00000885: ADD 00000886: SWAP1 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x20 0000088b: ADD 0000088c: PUSH1 0x00 0000088e: KECCAK256 0000088f: PUSH1 0x03 00000891: ADD 00000892: PUSH1 0x00 00000894: SWAP1 00000895: SLOAD 00000896: SWAP1 00000897: PUSH2 0x0100 0000089a: EXP 0000089b: SWAP1 0000089c: DIV 0000089d: PUSH1 0xff 0000089f: AND 000008a0: SWAP1 000008a1: POP 000008a2: SWAP2 000008a3: SWAP1 000008a4: POP 000008a5: JUMP 000008a6: JUMPDEST 000008a7: PUSH1 0x00 000008a9: DUP1 000008aa: PUSH1 0x00 000008ac: DUP1 000008ad: SWAP2 000008ae: POP 000008af: PUSH1 0x00 000008b1: SWAP1 000008b2: POP 000008b3: JUMPDEST 000008b4: PUSH1 0x03 000008b6: DUP1 000008b7: SLOAD 000008b8: SWAP1 000008b9: POP 000008ba: DUP2 000008bb: LT 000008bc: ISZERO 000008bd: PUSH2 0x0983 000008c0: JUMPI 000008c1: PUSH1 0x01 000008c3: PUSH1 0x00 000008c5: DUP6 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: ADD 000008cb: SWAP1 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x20 000008d0: ADD 000008d1: PUSH1 0x00 000008d3: KECCAK256 000008d4: PUSH1 0x00 000008d6: PUSH1 0x03 000008d8: DUP4 000008d9: DUP2 000008da: SLOAD 000008db: DUP2 000008dc: LT 000008dd: ISZERO 000008de: ISZERO 000008df: PUSH2 0x08e4 000008e2: JUMPI 000008e3: INVALID 000008e4: JUMPDEST 000008e5: SWAP1 000008e6: PUSH1 0x00 000008e8: MSTORE 000008e9: PUSH1 0x20 000008eb: PUSH1 0x00 000008ed: KECCAK256 000008ee: ADD 000008ef: PUSH1 0x00 000008f1: SWAP1 000008f2: SLOAD 000008f3: SWAP1 000008f4: PUSH2 0x0100 000008f7: EXP 000008f8: SWAP1 000008f9: DIV 000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090f: AND 00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000925: AND 00000926: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093b: AND 0000093c: DUP2 0000093d: MSTORE 0000093e: PUSH1 0x20 00000940: ADD 00000941: SWAP1 00000942: DUP2 00000943: MSTORE 00000944: PUSH1 0x20 00000946: ADD 00000947: PUSH1 0x00 00000949: KECCAK256 0000094a: PUSH1 0x00 0000094c: SWAP1 0000094d: SLOAD 0000094e: SWAP1 0000094f: PUSH2 0x0100 00000952: EXP 00000953: SWAP1 00000954: DIV 00000955: PUSH1 0xff 00000957: AND 00000958: ISZERO 00000959: PUSH2 0x0963 0000095c: JUMPI 0000095d: PUSH1 0x01 0000095f: DUP3 00000960: ADD 00000961: SWAP2 00000962: POP 00000963: JUMPDEST 00000964: PUSH1 0x04 00000966: SLOAD 00000967: DUP3 00000968: EQ 00000969: ISZERO 0000096a: PUSH2 0x0976 0000096d: JUMPI 0000096e: PUSH1 0x01 00000970: SWAP3 00000971: POP 00000972: PUSH2 0x0984 00000975: JUMP 00000976: JUMPDEST 00000977: DUP1 00000978: DUP1 00000979: PUSH1 0x01 0000097b: ADD 0000097c: SWAP2 0000097d: POP 0000097e: POP 0000097f: PUSH2 0x08b3 00000982: JUMP 00000983: JUMPDEST 00000984: JUMPDEST 00000985: POP 00000986: POP 00000987: SWAP2 00000988: SWAP1 00000989: POP 0000098a: JUMP 0000098b: JUMPDEST 0000098c: PUSH1 0x00 0000098e: DUP1 0000098f: PUSH1 0x00 00000991: SWAP1 00000992: POP 00000993: JUMPDEST 00000994: PUSH1 0x03 00000996: DUP1 00000997: SLOAD 00000998: SWAP1 00000999: POP 0000099a: DUP2 0000099b: LT 0000099c: ISZERO 0000099d: PUSH2 0x0a50 000009a0: JUMPI 000009a1: PUSH1 0x01 000009a3: PUSH1 0x00 000009a5: DUP5 000009a6: DUP2 000009a7: MSTORE 000009a8: PUSH1 0x20 000009aa: ADD 000009ab: SWAP1 000009ac: DUP2 000009ad: MSTORE 000009ae: PUSH1 0x20 000009b0: ADD 000009b1: PUSH1 0x00 000009b3: KECCAK256 000009b4: PUSH1 0x00 000009b6: PUSH1 0x03 000009b8: DUP4 000009b9: DUP2 000009ba: SLOAD 000009bb: DUP2 000009bc: LT 000009bd: ISZERO 000009be: ISZERO 000009bf: PUSH2 0x09c4 000009c2: JUMPI 000009c3: INVALID 000009c4: JUMPDEST 000009c5: SWAP1 000009c6: PUSH1 0x00 000009c8: MSTORE 000009c9: PUSH1 0x20 000009cb: PUSH1 0x00 000009cd: KECCAK256 000009ce: ADD 000009cf: PUSH1 0x00 000009d1: SWAP1 000009d2: SLOAD 000009d3: SWAP1 000009d4: PUSH2 0x0100 000009d7: EXP 000009d8: SWAP1 000009d9: DIV 000009da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ef: AND 000009f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a05: AND 00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1b: AND 00000a1c: DUP2 00000a1d: MSTORE 00000a1e: PUSH1 0x20 00000a20: ADD 00000a21: SWAP1 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x20 00000a26: ADD 00000a27: PUSH1 0x00 00000a29: KECCAK256 00000a2a: PUSH1 0x00 00000a2c: SWAP1 00000a2d: SLOAD 00000a2e: SWAP1 00000a2f: PUSH2 0x0100 00000a32: EXP 00000a33: SWAP1 00000a34: DIV 00000a35: PUSH1 0xff 00000a37: AND 00000a38: ISZERO 00000a39: PUSH2 0x0a43 00000a3c: JUMPI 00000a3d: PUSH1 0x01 00000a3f: DUP3 00000a40: ADD 00000a41: SWAP2 00000a42: POP 00000a43: JUMPDEST 00000a44: DUP1 00000a45: DUP1 00000a46: PUSH1 0x01 00000a48: ADD 00000a49: SWAP2 00000a4a: POP 00000a4b: POP 00000a4c: PUSH2 0x0993 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: POP 00000a52: SWAP2 00000a53: SWAP1 00000a54: POP 00000a55: JUMP 00000a56: JUMPDEST 00000a57: PUSH1 0x00 00000a59: PUSH1 0x20 00000a5b: MSTORE 00000a5c: DUP1 00000a5d: PUSH1 0x00 00000a5f: MSTORE 00000a60: PUSH1 0x40 00000a62: PUSH1 0x00 00000a64: KECCAK256 00000a65: PUSH1 0x00 00000a67: SWAP2 00000a68: POP 00000a69: SWAP1 00000a6a: POP 00000a6b: DUP1 00000a6c: PUSH1 0x00 00000a6e: ADD 00000a6f: PUSH1 0x00 00000a71: SWAP1 00000a72: SLOAD 00000a73: SWAP1 00000a74: PUSH2 0x0100 00000a77: EXP 00000a78: SWAP1 00000a79: DIV 00000a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8f: AND 00000a90: SWAP1 00000a91: DUP1 00000a92: PUSH1 0x01 00000a94: ADD 00000a95: SLOAD 00000a96: SWAP1 00000a97: DUP1 00000a98: PUSH1 0x02 00000a9a: ADD 00000a9b: DUP1 00000a9c: SLOAD 00000a9d: PUSH1 0x01 00000a9f: DUP2 00000aa0: PUSH1 0x01 00000aa2: AND 00000aa3: ISZERO 00000aa4: PUSH2 0x0100 00000aa7: MUL 00000aa8: SUB 00000aa9: AND 00000aaa: PUSH1 0x02 00000aac: SWAP1 00000aad: DIV 00000aae: DUP1 00000aaf: PUSH1 0x1f 00000ab1: ADD 00000ab2: PUSH1 0x20 00000ab4: DUP1 00000ab5: SWAP2 00000ab6: DIV 00000ab7: MUL 00000ab8: PUSH1 0x20 00000aba: ADD 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: SWAP1 00000abf: DUP2 00000ac0: ADD 00000ac1: PUSH1 0x40 00000ac3: MSTORE 00000ac4: DUP1 00000ac5: SWAP3 00000ac6: SWAP2 00000ac7: SWAP1 00000ac8: DUP2 00000ac9: DUP2 00000aca: MSTORE 00000acb: PUSH1 0x20 00000acd: ADD 00000ace: DUP3 00000acf: DUP1 00000ad0: SLOAD 00000ad1: PUSH1 0x01 00000ad3: DUP2 00000ad4: PUSH1 0x01 00000ad6: AND 00000ad7: ISZERO 00000ad8: PUSH2 0x0100 00000adb: MUL 00000adc: SUB 00000add: AND 00000ade: PUSH1 0x02 00000ae0: SWAP1 00000ae1: DIV 00000ae2: DUP1 00000ae3: ISZERO 00000ae4: PUSH2 0x0b2e 00000ae7: JUMPI 00000ae8: DUP1 00000ae9: PUSH1 0x1f 00000aeb: LT 00000aec: PUSH2 0x0b03 00000aef: JUMPI 00000af0: PUSH2 0x0100 00000af3: DUP1 00000af4: DUP4 00000af5: SLOAD 00000af6: DIV 00000af7: MUL 00000af8: DUP4 00000af9: MSTORE 00000afa: SWAP2 00000afb: PUSH1 0x20 00000afd: ADD 00000afe: SWAP2 00000aff: PUSH2 0x0b2e 00000b02: JUMP 00000b03: JUMPDEST 00000b04: DUP3 00000b05: ADD 00000b06: SWAP2 00000b07: SWAP1 00000b08: PUSH1 0x00 00000b0a: MSTORE 00000b0b: PUSH1 0x20 00000b0d: PUSH1 0x00 00000b0f: KECCAK256 00000b10: SWAP1 00000b11: JUMPDEST 00000b12: DUP2 00000b13: SLOAD 00000b14: DUP2 00000b15: MSTORE 00000b16: SWAP1 00000b17: PUSH1 0x01 00000b19: ADD 00000b1a: SWAP1 00000b1b: PUSH1 0x20 00000b1d: ADD 00000b1e: DUP1 00000b1f: DUP4 00000b20: GT 00000b21: PUSH2 0x0b11 00000b24: JUMPI 00000b25: DUP3 00000b26: SWAP1 00000b27: SUB 00000b28: PUSH1 0x1f 00000b2a: AND 00000b2b: DUP3 00000b2c: ADD 00000b2d: SWAP2 00000b2e: JUMPDEST 00000b2f: POP 00000b30: POP 00000b31: POP 00000b32: POP 00000b33: POP 00000b34: SWAP1 00000b35: DUP1 00000b36: PUSH1 0x03 00000b38: ADD 00000b39: PUSH1 0x00 00000b3b: SWAP1 00000b3c: SLOAD 00000b3d: SWAP1 00000b3e: PUSH2 0x0100 00000b41: EXP 00000b42: SWAP1 00000b43: DIV 00000b44: PUSH1 0xff 00000b46: AND 00000b47: SWAP1 00000b48: POP 00000b49: DUP5 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x60 00000b4e: PUSH1 0x03 00000b50: DUP1 00000b51: SLOAD 00000b52: DUP1 00000b53: PUSH1 0x20 00000b55: MUL 00000b56: PUSH1 0x20 00000b58: ADD 00000b59: PUSH1 0x40 00000b5b: MLOAD 00000b5c: SWAP1 00000b5d: DUP2 00000b5e: ADD 00000b5f: PUSH1 0x40 00000b61: MSTORE 00000b62: DUP1 00000b63: SWAP3 00000b64: SWAP2 00000b65: SWAP1 00000b66: DUP2 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x20 00000b6b: ADD 00000b6c: DUP3 00000b6d: DUP1 00000b6e: SLOAD 00000b6f: DUP1 00000b70: ISZERO 00000b71: PUSH2 0x0bcf 00000b74: JUMPI 00000b75: PUSH1 0x20 00000b77: MUL 00000b78: DUP3 00000b79: ADD 00000b7a: SWAP2 00000b7b: SWAP1 00000b7c: PUSH1 0x00 00000b7e: MSTORE 00000b7f: PUSH1 0x20 00000b81: PUSH1 0x00 00000b83: KECCAK256 00000b84: SWAP1 00000b85: JUMPDEST 00000b86: DUP2 00000b87: PUSH1 0x00 00000b89: SWAP1 00000b8a: SLOAD 00000b8b: SWAP1 00000b8c: PUSH2 0x0100 00000b8f: EXP 00000b90: SWAP1 00000b91: DIV 00000b92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba7: AND 00000ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bbd: AND 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: PUSH1 0x20 00000bc2: ADD 00000bc3: SWAP1 00000bc4: PUSH1 0x01 00000bc6: ADD 00000bc7: SWAP1 00000bc8: DUP1 00000bc9: DUP4 00000bca: GT 00000bcb: PUSH2 0x0b85 00000bce: JUMPI 00000bcf: JUMPDEST 00000bd0: POP 00000bd1: POP 00000bd2: POP 00000bd3: POP 00000bd4: POP 00000bd5: SWAP1 00000bd6: POP 00000bd7: SWAP1 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: PUSH1 0x60 00000bdc: DUP1 00000bdd: PUSH1 0x00 00000bdf: DUP1 00000be0: PUSH1 0x05 00000be2: SLOAD 00000be3: PUSH1 0x40 00000be5: MLOAD 00000be6: SWAP1 00000be7: DUP1 00000be8: DUP3 00000be9: MSTORE 00000bea: DUP1 00000beb: PUSH1 0x20 00000bed: MUL 00000bee: PUSH1 0x20 00000bf0: ADD 00000bf1: DUP3 00000bf2: ADD 00000bf3: PUSH1 0x40 00000bf5: MSTORE 00000bf6: DUP1 00000bf7: ISZERO 00000bf8: PUSH2 0x0c10 00000bfb: JUMPI 00000bfc: DUP2 00000bfd: PUSH1 0x20 00000bff: ADD 00000c00: PUSH1 0x20 00000c02: DUP3 00000c03: MUL 00000c04: DUP1 00000c05: CODESIZE 00000c06: DUP4 00000c07: CODECOPY 00000c08: DUP1 00000c09: DUP3 00000c0a: ADD 00000c0b: SWAP2 00000c0c: POP 00000c0d: POP 00000c0e: SWAP1 00000c0f: POP 00000c10: JUMPDEST 00000c11: POP 00000c12: SWAP3 00000c13: POP 00000c14: PUSH1 0x00 00000c16: SWAP2 00000c17: POP 00000c18: PUSH1 0x00 00000c1a: SWAP1 00000c1b: POP 00000c1c: JUMPDEST 00000c1d: PUSH1 0x05 00000c1f: SLOAD 00000c20: DUP2 00000c21: LT 00000c22: ISZERO 00000c23: PUSH2 0x0cbc 00000c26: JUMPI 00000c27: DUP6 00000c28: DUP1 00000c29: ISZERO 00000c2a: PUSH2 0x0c53 00000c2d: JUMPI 00000c2e: POP 00000c2f: PUSH1 0x00 00000c31: DUP1 00000c32: DUP3 00000c33: DUP2 00000c34: MSTORE 00000c35: PUSH1 0x20 00000c37: ADD 00000c38: SWAP1 00000c39: DUP2 00000c3a: MSTORE 00000c3b: PUSH1 0x20 00000c3d: ADD 00000c3e: PUSH1 0x00 00000c40: KECCAK256 00000c41: PUSH1 0x03 00000c43: ADD 00000c44: PUSH1 0x00 00000c46: SWAP1 00000c47: SLOAD 00000c48: SWAP1 00000c49: PUSH2 0x0100 00000c4c: EXP 00000c4d: SWAP1 00000c4e: DIV 00000c4f: PUSH1 0xff 00000c51: AND 00000c52: ISZERO 00000c53: JUMPDEST 00000c54: DUP1 00000c55: PUSH2 0x0c86 00000c58: JUMPI 00000c59: POP 00000c5a: DUP5 00000c5b: DUP1 00000c5c: ISZERO 00000c5d: PUSH2 0x0c85 00000c60: JUMPI 00000c61: POP 00000c62: PUSH1 0x00 00000c64: DUP1 00000c65: DUP3 00000c66: DUP2 00000c67: MSTORE 00000c68: PUSH1 0x20 00000c6a: ADD 00000c6b: SWAP1 00000c6c: DUP2 00000c6d: MSTORE 00000c6e: PUSH1 0x20 00000c70: ADD 00000c71: PUSH1 0x00 00000c73: KECCAK256 00000c74: PUSH1 0x03 00000c76: ADD 00000c77: PUSH1 0x00 00000c79: SWAP1 00000c7a: SLOAD 00000c7b: SWAP1 00000c7c: PUSH2 0x0100 00000c7f: EXP 00000c80: SWAP1 00000c81: DIV 00000c82: PUSH1 0xff 00000c84: AND 00000c85: JUMPDEST 00000c86: JUMPDEST 00000c87: ISZERO 00000c88: PUSH2 0x0caf 00000c8b: JUMPI 00000c8c: DUP1 00000c8d: DUP4 00000c8e: DUP4 00000c8f: DUP2 00000c90: MLOAD 00000c91: DUP2 00000c92: LT 00000c93: ISZERO 00000c94: ISZERO 00000c95: PUSH2 0x0c9a 00000c98: JUMPI 00000c99: INVALID 00000c9a: JUMPDEST 00000c9b: SWAP1 00000c9c: PUSH1 0x20 00000c9e: ADD 00000c9f: SWAP1 00000ca0: PUSH1 0x20 00000ca2: MUL 00000ca3: ADD 00000ca4: DUP2 00000ca5: DUP2 00000ca6: MSTORE 00000ca7: POP 00000ca8: POP 00000ca9: PUSH1 0x01 00000cab: DUP3 00000cac: ADD 00000cad: SWAP2 00000cae: POP 00000caf: JUMPDEST 00000cb0: DUP1 00000cb1: DUP1 00000cb2: PUSH1 0x01 00000cb4: ADD 00000cb5: SWAP2 00000cb6: POP 00000cb7: POP 00000cb8: PUSH2 0x0c1c 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: DUP8 00000cbe: DUP8 00000cbf: SUB 00000cc0: PUSH1 0x40 00000cc2: MLOAD 00000cc3: SWAP1 00000cc4: DUP1 00000cc5: DUP3 00000cc6: MSTORE 00000cc7: DUP1 00000cc8: PUSH1 0x20 00000cca: MUL 00000ccb: PUSH1 0x20 00000ccd: ADD 00000cce: DUP3 00000ccf: ADD 00000cd0: PUSH1 0x40 00000cd2: MSTORE 00000cd3: DUP1 00000cd4: ISZERO 00000cd5: PUSH2 0x0ced 00000cd8: JUMPI 00000cd9: DUP2 00000cda: PUSH1 0x20 00000cdc: ADD 00000cdd: PUSH1 0x20 00000cdf: DUP3 00000ce0: MUL 00000ce1: DUP1 00000ce2: CODESIZE 00000ce3: DUP4 00000ce4: CODECOPY 00000ce5: DUP1 00000ce6: DUP3 00000ce7: ADD 00000ce8: SWAP2 00000ce9: POP 00000cea: POP 00000ceb: SWAP1 00000cec: POP 00000ced: JUMPDEST 00000cee: POP 00000cef: SWAP4 00000cf0: POP 00000cf1: DUP8 00000cf2: SWAP1 00000cf3: POP 00000cf4: JUMPDEST 00000cf5: DUP7 00000cf6: DUP2 00000cf7: LT 00000cf8: ISZERO 00000cf9: PUSH2 0x0d3f 00000cfc: JUMPI 00000cfd: DUP3 00000cfe: DUP2 00000cff: DUP2 00000d00: MLOAD 00000d01: DUP2 00000d02: LT 00000d03: ISZERO 00000d04: ISZERO 00000d05: PUSH2 0x0d0a 00000d08: JUMPI 00000d09: INVALID 00000d0a: JUMPDEST 00000d0b: SWAP1 00000d0c: PUSH1 0x20 00000d0e: ADD 00000d0f: SWAP1 00000d10: PUSH1 0x20 00000d12: MUL 00000d13: ADD 00000d14: MLOAD 00000d15: DUP5 00000d16: DUP10 00000d17: DUP4 00000d18: SUB 00000d19: DUP2 00000d1a: MLOAD 00000d1b: DUP2 00000d1c: LT 00000d1d: ISZERO 00000d1e: ISZERO 00000d1f: PUSH2 0x0d24 00000d22: JUMPI 00000d23: INVALID 00000d24: JUMPDEST 00000d25: SWAP1 00000d26: PUSH1 0x20 00000d28: ADD 00000d29: SWAP1 00000d2a: PUSH1 0x20 00000d2c: MUL 00000d2d: ADD 00000d2e: DUP2 00000d2f: DUP2 00000d30: MSTORE 00000d31: POP 00000d32: POP 00000d33: DUP1 00000d34: DUP1 00000d35: PUSH1 0x01 00000d37: ADD 00000d38: SWAP2 00000d39: POP 00000d3a: POP 00000d3b: PUSH2 0x0cf4 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: POP 00000d41: POP 00000d42: POP 00000d43: SWAP5 00000d44: SWAP4 00000d45: POP 00000d46: POP 00000d47: POP 00000d48: POP 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: PUSH1 0x60 00000d4d: DUP1 00000d4e: PUSH1 0x00 00000d50: DUP1 00000d51: PUSH1 0x03 00000d53: DUP1 00000d54: SLOAD 00000d55: SWAP1 00000d56: POP 00000d57: PUSH1 0x40 00000d59: MLOAD 00000d5a: SWAP1 00000d5b: DUP1 00000d5c: DUP3 00000d5d: MSTORE 00000d5e: DUP1 00000d5f: PUSH1 0x20 00000d61: MUL 00000d62: PUSH1 0x20 00000d64: ADD 00000d65: DUP3 00000d66: ADD 00000d67: PUSH1 0x40 00000d69: MSTORE 00000d6a: DUP1 00000d6b: ISZERO 00000d6c: PUSH2 0x0d84 00000d6f: JUMPI 00000d70: DUP2 00000d71: PUSH1 0x20 00000d73: ADD 00000d74: PUSH1 0x20 00000d76: DUP3 00000d77: MUL 00000d78: DUP1 00000d79: CODESIZE 00000d7a: DUP4 00000d7b: CODECOPY 00000d7c: DUP1 00000d7d: DUP3 00000d7e: ADD 00000d7f: SWAP2 00000d80: POP 00000d81: POP 00000d82: SWAP1 00000d83: POP 00000d84: JUMPDEST 00000d85: POP 00000d86: SWAP3 00000d87: POP 00000d88: PUSH1 0x00 00000d8a: SWAP2 00000d8b: POP 00000d8c: PUSH1 0x00 00000d8e: SWAP1 00000d8f: POP 00000d90: JUMPDEST 00000d91: PUSH1 0x03 00000d93: DUP1 00000d94: SLOAD 00000d95: SWAP1 00000d96: POP 00000d97: DUP2 00000d98: LT 00000d99: ISZERO 00000d9a: PUSH2 0x0ed1 00000d9d: JUMPI 00000d9e: PUSH1 0x01 00000da0: PUSH1 0x00 00000da2: DUP7 00000da3: DUP2 00000da4: MSTORE 00000da5: PUSH1 0x20 00000da7: ADD 00000da8: SWAP1 00000da9: DUP2 00000daa: MSTORE 00000dab: PUSH1 0x20 00000dad: ADD 00000dae: PUSH1 0x00 00000db0: KECCAK256 00000db1: PUSH1 0x00 00000db3: PUSH1 0x03 00000db5: DUP4 00000db6: DUP2 00000db7: SLOAD 00000db8: DUP2 00000db9: LT 00000dba: ISZERO 00000dbb: ISZERO 00000dbc: PUSH2 0x0dc1 00000dbf: JUMPI 00000dc0: INVALID 00000dc1: JUMPDEST 00000dc2: SWAP1 00000dc3: PUSH1 0x00 00000dc5: MSTORE 00000dc6: PUSH1 0x20 00000dc8: PUSH1 0x00 00000dca: KECCAK256 00000dcb: ADD 00000dcc: PUSH1 0x00 00000dce: SWAP1 00000dcf: SLOAD 00000dd0: SWAP1 00000dd1: PUSH2 0x0100 00000dd4: EXP 00000dd5: SWAP1 00000dd6: DIV 00000dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dec: AND 00000ded: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e02: AND 00000e03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e18: AND 00000e19: DUP2 00000e1a: MSTORE 00000e1b: PUSH1 0x20 00000e1d: ADD 00000e1e: SWAP1 00000e1f: DUP2 00000e20: MSTORE 00000e21: PUSH1 0x20 00000e23: ADD 00000e24: PUSH1 0x00 00000e26: KECCAK256 00000e27: PUSH1 0x00 00000e29: SWAP1 00000e2a: SLOAD 00000e2b: SWAP1 00000e2c: PUSH2 0x0100 00000e2f: EXP 00000e30: SWAP1 00000e31: DIV 00000e32: PUSH1 0xff 00000e34: AND 00000e35: ISZERO 00000e36: PUSH2 0x0ec4 00000e39: JUMPI 00000e3a: PUSH1 0x03 00000e3c: DUP2 00000e3d: DUP2 00000e3e: SLOAD 00000e3f: DUP2 00000e40: LT 00000e41: ISZERO 00000e42: ISZERO 00000e43: PUSH2 0x0e48 00000e46: JUMPI 00000e47: INVALID 00000e48: JUMPDEST 00000e49: SWAP1 00000e4a: PUSH1 0x00 00000e4c: MSTORE 00000e4d: PUSH1 0x20 00000e4f: PUSH1 0x00 00000e51: KECCAK256 00000e52: ADD 00000e53: PUSH1 0x00 00000e55: SWAP1 00000e56: SLOAD 00000e57: SWAP1 00000e58: PUSH2 0x0100 00000e5b: EXP 00000e5c: SWAP1 00000e5d: DIV 00000e5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e73: AND 00000e74: DUP4 00000e75: DUP4 00000e76: DUP2 00000e77: MLOAD 00000e78: DUP2 00000e79: LT 00000e7a: ISZERO 00000e7b: ISZERO 00000e7c: PUSH2 0x0e81 00000e7f: JUMPI 00000e80: INVALID 00000e81: JUMPDEST 00000e82: SWAP1 00000e83: PUSH1 0x20 00000e85: ADD 00000e86: SWAP1 00000e87: PUSH1 0x20 00000e89: MUL 00000e8a: ADD 00000e8b: SWAP1 00000e8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea1: AND 00000ea2: SWAP1 00000ea3: DUP2 00000ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb9: AND 00000eba: DUP2 00000ebb: MSTORE 00000ebc: POP 00000ebd: POP 00000ebe: PUSH1 0x01 00000ec0: DUP3 00000ec1: ADD 00000ec2: SWAP2 00000ec3: POP 00000ec4: JUMPDEST 00000ec5: DUP1 00000ec6: DUP1 00000ec7: PUSH1 0x01 00000ec9: ADD 00000eca: SWAP2 00000ecb: POP 00000ecc: POP 00000ecd: PUSH2 0x0d90 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: DUP2 00000ed3: PUSH1 0x40 00000ed5: MLOAD 00000ed6: SWAP1 00000ed7: DUP1 00000ed8: DUP3 00000ed9: MSTORE 00000eda: DUP1 00000edb: PUSH1 0x20 00000edd: MUL 00000ede: PUSH1 0x20 00000ee0: ADD 00000ee1: DUP3 00000ee2: ADD 00000ee3: PUSH1 0x40 00000ee5: MSTORE 00000ee6: DUP1 00000ee7: ISZERO 00000ee8: PUSH2 0x0f00 00000eeb: JUMPI 00000eec: DUP2 00000eed: PUSH1 0x20 00000eef: ADD 00000ef0: PUSH1 0x20 00000ef2: DUP3 00000ef3: MUL 00000ef4: DUP1 00000ef5: CODESIZE 00000ef6: DUP4 00000ef7: CODECOPY 00000ef8: DUP1 00000ef9: DUP3 00000efa: ADD 00000efb: SWAP2 00000efc: POP 00000efd: POP 00000efe: SWAP1 00000eff: POP 00000f00: JUMPDEST 00000f01: POP 00000f02: SWAP4 00000f03: POP 00000f04: PUSH1 0x00 00000f06: SWAP1 00000f07: POP 00000f08: JUMPDEST 00000f09: DUP2 00000f0a: DUP2 00000f0b: LT 00000f0c: ISZERO 00000f0d: PUSH2 0x0f7f 00000f10: JUMPI 00000f11: DUP3 00000f12: DUP2 00000f13: DUP2 00000f14: MLOAD 00000f15: DUP2 00000f16: LT 00000f17: ISZERO 00000f18: ISZERO 00000f19: PUSH2 0x0f1e 00000f1c: JUMPI 00000f1d: INVALID 00000f1e: JUMPDEST 00000f1f: SWAP1 00000f20: PUSH1 0x20 00000f22: ADD 00000f23: SWAP1 00000f24: PUSH1 0x20 00000f26: MUL 00000f27: ADD 00000f28: MLOAD 00000f29: DUP5 00000f2a: DUP3 00000f2b: DUP2 00000f2c: MLOAD 00000f2d: DUP2 00000f2e: LT 00000f2f: ISZERO 00000f30: ISZERO 00000f31: PUSH2 0x0f36 00000f34: JUMPI 00000f35: INVALID 00000f36: JUMPDEST 00000f37: SWAP1 00000f38: PUSH1 0x20 00000f3a: ADD 00000f3b: SWAP1 00000f3c: PUSH1 0x20 00000f3e: MUL 00000f3f: ADD 00000f40: SWAP1 00000f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f56: AND 00000f57: SWAP1 00000f58: DUP2 00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6e: AND 00000f6f: DUP2 00000f70: MSTORE 00000f71: POP 00000f72: POP 00000f73: DUP1 00000f74: DUP1 00000f75: PUSH1 0x01 00000f77: ADD 00000f78: SWAP2 00000f79: POP 00000f7a: POP 00000f7b: PUSH2 0x0f08 00000f7e: JUMP 00000f7f: JUMPDEST 00000f80: POP 00000f81: POP 00000f82: POP 00000f83: SWAP2 00000f84: SWAP1 00000f85: POP 00000f86: JUMP 00000f87: JUMPDEST 00000f88: PUSH1 0x05 00000f8a: SLOAD 00000f8b: DUP2 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: CALLER 00000f8f: PUSH1 0x02 00000f91: PUSH1 0x00 00000f93: DUP3 00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa9: AND 00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbf: AND 00000fc0: DUP2 00000fc1: MSTORE 00000fc2: PUSH1 0x20 00000fc4: ADD 00000fc5: SWAP1 00000fc6: DUP2 00000fc7: MSTORE 00000fc8: PUSH1 0x20 00000fca: ADD 00000fcb: PUSH1 0x00 00000fcd: KECCAK256 00000fce: PUSH1 0x00 00000fd0: SWAP1 00000fd1: SLOAD 00000fd2: SWAP1 00000fd3: PUSH2 0x0100 00000fd6: EXP 00000fd7: SWAP1 00000fd8: DIV 00000fd9: PUSH1 0xff 00000fdb: AND 00000fdc: ISZERO 00000fdd: ISZERO 00000fde: PUSH2 0x0fe6 00000fe1: JUMPI 00000fe2: PUSH1 0x00 00000fe4: DUP1 00000fe5: REVERT 00000fe6: JUMPDEST 00000fe7: DUP2 00000fe8: PUSH1 0x00 00000fea: DUP1 00000feb: PUSH1 0x00 00000fed: DUP4 00000fee: DUP2 00000fef: MSTORE 00000ff0: PUSH1 0x20 00000ff2: ADD 00000ff3: SWAP1 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x20 00000ff8: ADD 00000ff9: PUSH1 0x00 00000ffb: KECCAK256 00000ffc: PUSH1 0x00 00000ffe: ADD 00000fff: PUSH1 0x00 00001001: SWAP1 00001002: SLOAD 00001003: SWAP1 00001004: PUSH2 0x0100 00001007: EXP 00001008: SWAP1 00001009: DIV 0000100a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101f: AND 00001020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001035: AND 00001036: EQ 00001037: ISZERO 00001038: ISZERO 00001039: ISZERO 0000103a: PUSH2 0x1042 0000103d: JUMPI 0000103e: PUSH1 0x00 00001040: DUP1 00001041: REVERT 00001042: JUMPDEST 00001043: DUP3 00001044: CALLER 00001045: PUSH1 0x01 00001047: PUSH1 0x00 00001049: DUP4 0000104a: DUP2 0000104b: MSTORE 0000104c: PUSH1 0x20 0000104e: ADD 0000104f: SWAP1 00001050: DUP2 00001051: MSTORE 00001052: PUSH1 0x20 00001054: ADD 00001055: PUSH1 0x00 00001057: KECCAK256 00001058: PUSH1 0x00 0000105a: DUP3 0000105b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001070: AND 00001071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001086: AND 00001087: DUP2 00001088: MSTORE 00001089: PUSH1 0x20 0000108b: ADD 0000108c: SWAP1 0000108d: DUP2 0000108e: MSTORE 0000108f: PUSH1 0x20 00001091: ADD 00001092: PUSH1 0x00 00001094: KECCAK256 00001095: PUSH1 0x00 00001097: SWAP1 00001098: SLOAD 00001099: SWAP1 0000109a: PUSH2 0x0100 0000109d: EXP 0000109e: SWAP1 0000109f: DIV 000010a0: PUSH1 0xff 000010a2: AND 000010a3: ISZERO 000010a4: ISZERO 000010a5: ISZERO 000010a6: PUSH2 0x10ae 000010a9: JUMPI 000010aa: PUSH1 0x00 000010ac: DUP1 000010ad: REVERT 000010ae: JUMPDEST 000010af: PUSH1 0x01 000010b1: DUP1 000010b2: PUSH1 0x00 000010b4: DUP8 000010b5: DUP2 000010b6: MSTORE 000010b7: PUSH1 0x20 000010b9: ADD 000010ba: SWAP1 000010bb: DUP2 000010bc: MSTORE 000010bd: PUSH1 0x20 000010bf: ADD 000010c0: PUSH1 0x00 000010c2: KECCAK256 000010c3: PUSH1 0x00 000010c5: CALLER 000010c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010db: AND 000010dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f1: AND 000010f2: DUP2 000010f3: MSTORE 000010f4: PUSH1 0x20 000010f6: ADD 000010f7: SWAP1 000010f8: DUP2 000010f9: MSTORE 000010fa: PUSH1 0x20 000010fc: ADD 000010fd: PUSH1 0x00 000010ff: KECCAK256 00001100: PUSH1 0x00 00001102: PUSH2 0x0100 00001105: EXP 00001106: DUP2 00001107: SLOAD 00001108: DUP2 00001109: PUSH1 0xff 0000110b: MUL 0000110c: NOT 0000110d: AND 0000110e: SWAP1 0000110f: DUP4 00001110: ISZERO 00001111: ISZERO 00001112: MUL 00001113: OR 00001114: SWAP1 00001115: SSTORE 00001116: POP 00001117: DUP5 00001118: CALLER 00001119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112e: AND 0000112f: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 00001150: PUSH1 0x40 00001152: MLOAD 00001153: PUSH1 0x40 00001155: MLOAD 00001156: DUP1 00001157: SWAP2 00001158: SUB 00001159: SWAP1 0000115a: LOG3 0000115b: PUSH2 0x1163 0000115e: DUP6 0000115f: PUSH2 0x08a6 00001162: JUMP 00001163: JUMPDEST 00001164: ISZERO 00001165: PUSH2 0x1172 00001168: JUMPI 00001169: PUSH2 0x1171 0000116c: DUP6 0000116d: PUSH2 0x119e 00001170: JUMP 00001171: JUMPDEST 00001172: JUMPDEST 00001173: POP 00001174: POP 00001175: POP 00001176: POP 00001177: POP 00001178: JUMP 00001179: JUMPDEST 0000117a: PUSH1 0x00 0000117c: PUSH2 0x1186 0000117f: DUP5 00001180: DUP5 00001181: DUP5 00001182: PUSH2 0x1433 00001185: JUMP 00001186: JUMPDEST 00001187: SWAP1 00001188: POP 00001189: PUSH2 0x1191 0000118c: DUP2 0000118d: PUSH2 0x0f8d 00001190: JUMP 00001191: JUMPDEST 00001192: SWAP4 00001193: SWAP3 00001194: POP 00001195: POP 00001196: POP 00001197: JUMP 00001198: JUMPDEST 00001199: PUSH1 0x04 0000119b: SLOAD 0000119c: DUP2 0000119d: JUMP 0000119e: JUMPDEST 0000119f: PUSH1 0x00 000011a1: DUP1 000011a2: CALLER 000011a3: PUSH1 0x02 000011a5: PUSH1 0x00 000011a7: DUP3 000011a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bd: AND 000011be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d3: AND 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x20 000011d8: ADD 000011d9: SWAP1 000011da: DUP2 000011db: MSTORE 000011dc: PUSH1 0x20 000011de: ADD 000011df: PUSH1 0x00 000011e1: KECCAK256 000011e2: PUSH1 0x00 000011e4: SWAP1 000011e5: SLOAD 000011e6: SWAP1 000011e7: PUSH2 0x0100 000011ea: EXP 000011eb: SWAP1 000011ec: DIV 000011ed: PUSH1 0xff 000011ef: AND 000011f0: ISZERO 000011f1: ISZERO 000011f2: PUSH2 0x11fa 000011f5: JUMPI 000011f6: PUSH1 0x00 000011f8: DUP1 000011f9: REVERT 000011fa: JUMPDEST 000011fb: DUP4 000011fc: CALLER 000011fd: PUSH1 0x01 000011ff: PUSH1 0x00 00001201: DUP4 00001202: DUP2 00001203: MSTORE 00001204: PUSH1 0x20 00001206: ADD 00001207: SWAP1 00001208: DUP2 00001209: MSTORE 0000120a: PUSH1 0x20 0000120c: ADD 0000120d: PUSH1 0x00 0000120f: KECCAK256 00001210: PUSH1 0x00 00001212: DUP3 00001213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001228: AND 00001229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123e: AND 0000123f: DUP2 00001240: MSTORE 00001241: PUSH1 0x20 00001243: ADD 00001244: SWAP1 00001245: DUP2 00001246: MSTORE 00001247: PUSH1 0x20 00001249: ADD 0000124a: PUSH1 0x00 0000124c: KECCAK256 0000124d: PUSH1 0x00 0000124f: SWAP1 00001250: SLOAD 00001251: SWAP1 00001252: PUSH2 0x0100 00001255: EXP 00001256: SWAP1 00001257: DIV 00001258: PUSH1 0xff 0000125a: AND 0000125b: ISZERO 0000125c: ISZERO 0000125d: PUSH2 0x1265 00001260: JUMPI 00001261: PUSH1 0x00 00001263: DUP1 00001264: REVERT 00001265: JUMPDEST 00001266: DUP6 00001267: PUSH1 0x00 00001269: DUP1 0000126a: DUP3 0000126b: DUP2 0000126c: MSTORE 0000126d: PUSH1 0x20 0000126f: ADD 00001270: SWAP1 00001271: DUP2 00001272: MSTORE 00001273: PUSH1 0x20 00001275: ADD 00001276: PUSH1 0x00 00001278: KECCAK256 00001279: PUSH1 0x03 0000127b: ADD 0000127c: PUSH1 0x00 0000127e: SWAP1 0000127f: SLOAD 00001280: SWAP1 00001281: PUSH2 0x0100 00001284: EXP 00001285: SWAP1 00001286: DIV 00001287: PUSH1 0xff 00001289: AND 0000128a: ISZERO 0000128b: ISZERO 0000128c: ISZERO 0000128d: PUSH2 0x1295 00001290: JUMPI 00001291: PUSH1 0x00 00001293: DUP1 00001294: REVERT 00001295: JUMPDEST 00001296: PUSH2 0x129e 00001299: DUP8 0000129a: PUSH2 0x08a6 0000129d: JUMP 0000129e: JUMPDEST 0000129f: ISZERO 000012a0: PUSH2 0x142a 000012a3: JUMPI 000012a4: PUSH1 0x00 000012a6: DUP1 000012a7: DUP9 000012a8: DUP2 000012a9: MSTORE 000012aa: PUSH1 0x20 000012ac: ADD 000012ad: SWAP1 000012ae: DUP2 000012af: MSTORE 000012b0: PUSH1 0x20 000012b2: ADD 000012b3: PUSH1 0x00 000012b5: KECCAK256 000012b6: SWAP6 000012b7: POP 000012b8: PUSH1 0x01 000012ba: DUP7 000012bb: PUSH1 0x03 000012bd: ADD 000012be: PUSH1 0x00 000012c0: PUSH2 0x0100 000012c3: EXP 000012c4: DUP2 000012c5: SLOAD 000012c6: DUP2 000012c7: PUSH1 0xff 000012c9: MUL 000012ca: NOT 000012cb: AND 000012cc: SWAP1 000012cd: DUP4 000012ce: ISZERO 000012cf: ISZERO 000012d0: MUL 000012d1: OR 000012d2: SWAP1 000012d3: SSTORE 000012d4: POP 000012d5: PUSH2 0x13bc 000012d8: DUP7 000012d9: PUSH1 0x00 000012db: ADD 000012dc: PUSH1 0x00 000012de: SWAP1 000012df: SLOAD 000012e0: SWAP1 000012e1: PUSH2 0x0100 000012e4: EXP 000012e5: SWAP1 000012e6: DIV 000012e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012fc: AND 000012fd: DUP8 000012fe: PUSH1 0x01 00001300: ADD 00001301: SLOAD 00001302: DUP9 00001303: PUSH1 0x02 00001305: ADD 00001306: DUP1 00001307: SLOAD 00001308: PUSH1 0x01 0000130a: DUP2 0000130b: PUSH1 0x01 0000130d: AND 0000130e: ISZERO 0000130f: PUSH2 0x0100 00001312: MUL 00001313: SUB 00001314: AND 00001315: PUSH1 0x02 00001317: SWAP1 00001318: DIV 00001319: SWAP1 0000131a: POP 0000131b: DUP10 0000131c: PUSH1 0x02 0000131e: ADD 0000131f: DUP1 00001320: SLOAD 00001321: PUSH1 0x01 00001323: DUP2 00001324: PUSH1 0x01 00001326: AND 00001327: ISZERO 00001328: PUSH2 0x0100 0000132b: MUL 0000132c: SUB 0000132d: AND 0000132e: PUSH1 0x02 00001330: SWAP1 00001331: DIV 00001332: DUP1 00001333: PUSH1 0x1f 00001335: ADD 00001336: PUSH1 0x20 00001338: DUP1 00001339: SWAP2 0000133a: DIV 0000133b: MUL 0000133c: PUSH1 0x20 0000133e: ADD 0000133f: PUSH1 0x40 00001341: MLOAD 00001342: SWAP1 00001343: DUP2 00001344: ADD 00001345: PUSH1 0x40 00001347: MSTORE 00001348: DUP1 00001349: SWAP3 0000134a: SWAP2 0000134b: SWAP1 0000134c: DUP2 0000134d: DUP2 0000134e: MSTORE 0000134f: PUSH1 0x20 00001351: ADD 00001352: DUP3 00001353: DUP1 00001354: SLOAD 00001355: PUSH1 0x01 00001357: DUP2 00001358: PUSH1 0x01 0000135a: AND 0000135b: ISZERO 0000135c: PUSH2 0x0100 0000135f: MUL 00001360: SUB 00001361: AND 00001362: PUSH1 0x02 00001364: SWAP1 00001365: DIV 00001366: DUP1 00001367: ISZERO 00001368: PUSH2 0x13b2 0000136b: JUMPI 0000136c: DUP1 0000136d: PUSH1 0x1f 0000136f: LT 00001370: PUSH2 0x1387 00001373: JUMPI 00001374: PUSH2 0x0100 00001377: DUP1 00001378: DUP4 00001379: SLOAD 0000137a: DIV 0000137b: MUL 0000137c: DUP4 0000137d: MSTORE 0000137e: SWAP2 0000137f: PUSH1 0x20 00001381: ADD 00001382: SWAP2 00001383: PUSH2 0x13b2 00001386: JUMP 00001387: JUMPDEST 00001388: DUP3 00001389: ADD 0000138a: SWAP2 0000138b: SWAP1 0000138c: PUSH1 0x00 0000138e: MSTORE 0000138f: PUSH1 0x20 00001391: PUSH1 0x00 00001393: KECCAK256 00001394: SWAP1 00001395: JUMPDEST 00001396: DUP2 00001397: SLOAD 00001398: DUP2 00001399: MSTORE 0000139a: SWAP1 0000139b: PUSH1 0x01 0000139d: ADD 0000139e: SWAP1 0000139f: PUSH1 0x20 000013a1: ADD 000013a2: DUP1 000013a3: DUP4 000013a4: GT 000013a5: PUSH2 0x1395 000013a8: JUMPI 000013a9: DUP3 000013aa: SWAP1 000013ab: SUB 000013ac: PUSH1 0x1f 000013ae: AND 000013af: DUP3 000013b0: ADD 000013b1: SWAP2 000013b2: JUMPDEST 000013b3: POP 000013b4: POP 000013b5: POP 000013b6: POP 000013b7: POP 000013b8: PUSH2 0x1585 000013bb: JUMP 000013bc: JUMPDEST 000013bd: SWAP5 000013be: POP 000013bf: DUP5 000013c0: ISZERO 000013c1: ISZERO 000013c2: PUSH2 0x13f3 000013c5: JUMPI 000013c6: DUP7 000013c7: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 000013e8: PUSH1 0x40 000013ea: MLOAD 000013eb: PUSH1 0x40 000013ed: MLOAD 000013ee: DUP1 000013ef: SWAP2 000013f0: SUB 000013f1: SWAP1 000013f2: LOG2 000013f3: JUMPDEST 000013f4: DUP5 000013f5: ISZERO 000013f6: ISZERO 000013f7: PUSH2 0x13fc 000013fa: JUMPI 000013fb: INVALID 000013fc: JUMPDEST 000013fd: DUP7 000013fe: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 0000141f: PUSH1 0x40 00001421: MLOAD 00001422: PUSH1 0x40 00001424: MLOAD 00001425: DUP1 00001426: SWAP2 00001427: SUB 00001428: SWAP1 00001429: LOG2 0000142a: JUMPDEST 0000142b: POP 0000142c: POP 0000142d: POP 0000142e: POP 0000142f: POP 00001430: POP 00001431: POP 00001432: JUMP 00001433: JUMPDEST 00001434: PUSH1 0x00 00001436: DUP4 00001437: PUSH1 0x00 00001439: DUP2 0000143a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144f: AND 00001450: EQ 00001451: ISZERO 00001452: ISZERO 00001453: ISZERO 00001454: PUSH2 0x145c 00001457: JUMPI 00001458: PUSH1 0x00 0000145a: DUP1 0000145b: REVERT 0000145c: JUMPDEST 0000145d: PUSH1 0x05 0000145f: SLOAD 00001460: SWAP2 00001461: POP 00001462: PUSH1 0x80 00001464: PUSH1 0x40 00001466: MLOAD 00001467: SWAP1 00001468: DUP2 00001469: ADD 0000146a: PUSH1 0x40 0000146c: MSTORE 0000146d: DUP1 0000146e: DUP7 0000146f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001484: AND 00001485: DUP2 00001486: MSTORE 00001487: PUSH1 0x20 00001489: ADD 0000148a: DUP6 0000148b: DUP2 0000148c: MSTORE 0000148d: PUSH1 0x20 0000148f: ADD 00001490: DUP5 00001491: DUP2 00001492: MSTORE 00001493: PUSH1 0x20 00001495: ADD 00001496: PUSH1 0x00 00001498: ISZERO 00001499: ISZERO 0000149a: DUP2 0000149b: MSTORE 0000149c: POP 0000149d: PUSH1 0x00 0000149f: DUP1 000014a0: DUP5 000014a1: DUP2 000014a2: MSTORE 000014a3: PUSH1 0x20 000014a5: ADD 000014a6: SWAP1 000014a7: DUP2 000014a8: MSTORE 000014a9: PUSH1 0x20 000014ab: ADD 000014ac: PUSH1 0x00 000014ae: KECCAK256 000014af: PUSH1 0x00 000014b1: DUP3 000014b2: ADD 000014b3: MLOAD 000014b4: DUP2 000014b5: PUSH1 0x00 000014b7: ADD 000014b8: PUSH1 0x00 000014ba: PUSH2 0x0100 000014bd: EXP 000014be: DUP2 000014bf: SLOAD 000014c0: DUP2 000014c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014d6: MUL 000014d7: NOT 000014d8: AND 000014d9: SWAP1 000014da: DUP4 000014db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f0: AND 000014f1: MUL 000014f2: OR 000014f3: SWAP1 000014f4: SSTORE 000014f5: POP 000014f6: PUSH1 0x20 000014f8: DUP3 000014f9: ADD 000014fa: MLOAD 000014fb: DUP2 000014fc: PUSH1 0x01 000014fe: ADD 000014ff: SSTORE 00001500: PUSH1 0x40 00001502: DUP3 00001503: ADD 00001504: MLOAD 00001505: DUP2 00001506: PUSH1 0x02 00001508: ADD 00001509: SWAP1 0000150a: DUP1 0000150b: MLOAD 0000150c: SWAP1 0000150d: PUSH1 0x20 0000150f: ADD 00001510: SWAP1 00001511: PUSH2 0x151b 00001514: SWAP3 00001515: SWAP2 00001516: SWAP1 00001517: PUSH2 0x15ac 0000151a: JUMP 0000151b: JUMPDEST 0000151c: POP 0000151d: PUSH1 0x60 0000151f: DUP3 00001520: ADD 00001521: MLOAD 00001522: DUP2 00001523: PUSH1 0x03 00001525: ADD 00001526: PUSH1 0x00 00001528: PUSH2 0x0100 0000152b: EXP 0000152c: DUP2 0000152d: SLOAD 0000152e: DUP2 0000152f: PUSH1 0xff 00001531: MUL 00001532: NOT 00001533: AND 00001534: SWAP1 00001535: DUP4 00001536: ISZERO 00001537: ISZERO 00001538: MUL 00001539: OR 0000153a: SWAP1 0000153b: SSTORE 0000153c: POP 0000153d: SWAP1 0000153e: POP 0000153f: POP 00001540: PUSH1 0x01 00001542: PUSH1 0x05 00001544: PUSH1 0x00 00001546: DUP3 00001547: DUP3 00001548: SLOAD 00001549: ADD 0000154a: SWAP3 0000154b: POP 0000154c: POP 0000154d: DUP2 0000154e: SWAP1 0000154f: SSTORE 00001550: POP 00001551: DUP2 00001552: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 00001573: PUSH1 0x40 00001575: MLOAD 00001576: PUSH1 0x40 00001578: MLOAD 00001579: DUP1 0000157a: SWAP2 0000157b: SUB 0000157c: SWAP1 0000157d: LOG2 0000157e: POP 0000157f: SWAP4 00001580: SWAP3 00001581: POP 00001582: POP 00001583: POP 00001584: JUMP 00001585: JUMPDEST 00001586: PUSH1 0x00 00001588: DUP1 00001589: PUSH1 0x40 0000158b: MLOAD 0000158c: PUSH1 0x20 0000158e: DUP5 0000158f: ADD 00001590: PUSH1 0x00 00001592: DUP3 00001593: DUP8 00001594: DUP4 00001595: DUP11 00001596: DUP13 00001597: PUSH2 0x8796 0000159a: GAS 0000159b: SUB 0000159c: CALL 0000159d: SWAP3 0000159e: POP 0000159f: POP 000015a0: POP 000015a1: DUP1 000015a2: SWAP2 000015a3: POP 000015a4: POP 000015a5: SWAP5 000015a6: SWAP4 000015a7: POP 000015a8: POP 000015a9: POP 000015aa: POP 000015ab: JUMP 000015ac: JUMPDEST 000015ad: DUP3 000015ae: DUP1 000015af: SLOAD 000015b0: PUSH1 0x01 000015b2: DUP2 000015b3: PUSH1 0x01 000015b5: AND 000015b6: ISZERO 000015b7: PUSH2 0x0100 000015ba: MUL 000015bb: SUB 000015bc: AND 000015bd: PUSH1 0x02 000015bf: SWAP1 000015c0: DIV 000015c1: SWAP1 000015c2: PUSH1 0x00 000015c4: MSTORE 000015c5: PUSH1 0x20 000015c7: PUSH1 0x00 000015c9: KECCAK256 000015ca: SWAP1 000015cb: PUSH1 0x1f 000015cd: ADD 000015ce: PUSH1 0x20 000015d0: SWAP1 000015d1: DIV 000015d2: DUP2 000015d3: ADD 000015d4: SWAP3 000015d5: DUP3 000015d6: PUSH1 0x1f 000015d8: LT 000015d9: PUSH2 0x15ed 000015dc: JUMPI 000015dd: DUP1 000015de: MLOAD 000015df: PUSH1 0xff 000015e1: NOT 000015e2: AND 000015e3: DUP4 000015e4: DUP1 000015e5: ADD 000015e6: OR 000015e7: DUP6 000015e8: SSTORE 000015e9: PUSH2 0x161b 000015ec: JUMP 000015ed: JUMPDEST 000015ee: DUP3 000015ef: DUP1 000015f0: ADD 000015f1: PUSH1 0x01 000015f3: ADD 000015f4: DUP6 000015f5: SSTORE 000015f6: DUP3 000015f7: ISZERO 000015f8: PUSH2 0x161b 000015fb: JUMPI 000015fc: SWAP2 000015fd: DUP3 000015fe: ADD 000015ff: JUMPDEST 00001600: DUP3 00001601: DUP2 00001602: GT 00001603: ISZERO 00001604: PUSH2 0x161a 00001607: JUMPI 00001608: DUP3 00001609: MLOAD 0000160a: DUP3 0000160b: SSTORE 0000160c: SWAP2 0000160d: PUSH1 0x20 0000160f: ADD 00001610: SWAP2 00001611: SWAP1 00001612: PUSH1 0x01 00001614: ADD 00001615: SWAP1 00001616: PUSH2 0x15ff 00001619: JUMP 0000161a: JUMPDEST 0000161b: JUMPDEST 0000161c: POP 0000161d: SWAP1 0000161e: POP 0000161f: PUSH2 0x1628 00001622: SWAP2 00001623: SWAP1 00001624: PUSH2 0x162c 00001627: JUMP 00001628: JUMPDEST 00001629: POP 0000162a: SWAP1 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH2 0x164e 00001630: SWAP2 00001631: SWAP1 00001632: JUMPDEST 00001633: DUP1 00001634: DUP3 00001635: GT 00001636: ISZERO 00001637: PUSH2 0x164a 0000163a: JUMPI 0000163b: PUSH1 0x00 0000163d: DUP2 0000163e: PUSH1 0x00 00001640: SWAP1 00001641: SSTORE 00001642: POP 00001643: PUSH1 0x01 00001645: ADD 00001646: PUSH2 0x1632 00001649: JUMP 0000164a: JUMPDEST 0000164b: POP 0000164c: SWAP1 0000164d: JUMP 0000164e: JUMPDEST 0000164f: SWAP1 00001650: JUMP 00001651: STOP 00001652: LOG1 00001653: PUSH6 0x627a7a723058 0000165a: KECCAK256 0000165b: PUSH29 0x33c5581f9b84a05277b70ef29b39b974ed11ba94916b4106ba713c3686 00001679: SLT 0000167a: ADDRESS 0000167b: STOP 0000167c: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4c7da85c1405d4950c3accf27e5940afa512fd39b4ffcfd5327a2067bd852d11
call_targets:
0x0c079a5750895496fc70b92d11c019caa566954a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4c7da85c1405d4950c3accf27e5940afa512fd39b4ffcfd5327a2067bd852d11",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0c079a5750895496fc70b92d11c019caa566954a"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76a6bf52",
"selector": "0x76a6bf52",
"calldata_variants": [
"0x76a6bf52",
"0x76a6bf520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b51d13f",
"selector": "0x8b51d13f",
"calldata_variants": [
"0x8b51d13f",
"0x8b51d13f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5532,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4c7da85c1405d4950c3accf27e5940afa512fd39b4ffcfd5327a2067bd852d11
call_targets:
0x0c079a5750895496fc70b92d11c019caa566954a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4c7da85c1405d4950c3accf27e5940afa512fd39b4ffcfd5327a2067bd852d11",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0c079a5750895496fc70b92d11c019caa566954a"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76a6bf52",
"selector": "0x76a6bf52",
"calldata_variants": [
"0x76a6bf52",
"0x76a6bf520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b51d13f",
"selector": "0x8b51d13f",
"calldata_variants": [
"0x8b51d13f",
"0x8b51d13f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5532,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|