019b477e-b5a9-717e-a037-018e69fcb9b5
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 |
|---|---|---|---|---|
| 22969 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22970 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67002 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67003 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67004 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67005 | 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 0x011c 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x025e7c27 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x015e 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x173825d9 00000046: EQ 00000047: PUSH2 0x01a4 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x20ea8d86 00000051: EQ 00000052: PUSH2 0x01d7 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x2f54bf6e 0000005c: EQ 0000005d: PUSH2 0x0201 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x3411c81c 00000067: EQ 00000068: PUSH2 0x0248 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x54741525 00000072: EQ 00000073: PUSH2 0x0281 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x7065cb48 0000007d: EQ 0000007e: PUSH2 0x02c7 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x784547a7 00000088: EQ 00000089: PUSH2 0x02fa 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8b51d13f 00000093: EQ 00000094: PUSH2 0x0324 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x9ace38c2 0000009e: EQ 0000009f: PUSH2 0x034e 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa0e67e2b 000000a9: EQ 000000aa: PUSH2 0x041b 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa8abe69a 000000b4: EQ 000000b5: PUSH2 0x0480 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xb5dc40c3 000000bf: EQ 000000c0: PUSH2 0x04c0 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xb77bf600 000000ca: EQ 000000cb: PUSH2 0x04ea 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xba51a6df 000000d5: EQ 000000d6: PUSH2 0x04ff 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xc01a8c84 000000e0: EQ 000000e1: PUSH2 0x0529 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xc6427474 000000eb: EQ 000000ec: PUSH2 0x0553 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xd74f8edd 000000f6: EQ 000000f7: PUSH2 0x061b 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xdc8452cd 00000101: EQ 00000102: PUSH2 0x0630 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xe20056e6 0000010c: EQ 0000010d: PUSH2 0x0645 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xee22610b 00000117: EQ 00000118: PUSH2 0x0680 0000011b: JUMPI 0000011c: JUMPDEST 0000011d: PUSH1 0x00 0000011f: CALLVALUE 00000120: GT 00000121: ISZERO 00000122: PUSH2 0x015c 00000125: JUMPI 00000126: PUSH1 0x40 00000128: DUP1 00000129: MLOAD 0000012a: CALLVALUE 0000012b: DUP2 0000012c: MSTORE 0000012d: SWAP1 0000012e: MLOAD 0000012f: CALLER 00000130: SWAP2 00000131: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000152: SWAP2 00000153: SWAP1 00000154: DUP2 00000155: SWAP1 00000156: SUB 00000157: PUSH1 0x20 00000159: ADD 0000015a: SWAP1 0000015b: LOG2 0000015c: JUMPDEST 0000015d: STOP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x0188 0000016f: PUSH1 0x04 00000171: DUP1 00000172: CALLDATASIZE 00000173: SUB 00000174: PUSH1 0x20 00000176: DUP2 00000177: LT 00000178: ISZERO 00000179: PUSH2 0x0181 0000017c: JUMPI 0000017d: PUSH1 0x00 0000017f: DUP1 00000180: REVERT 00000181: JUMPDEST 00000182: POP 00000183: CALLDATALOAD 00000184: PUSH2 0x06aa 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH1 0x40 0000018b: DUP1 0000018c: MLOAD 0000018d: PUSH1 0x01 0000018f: PUSH1 0xa0 00000191: PUSH1 0x02 00000193: EXP 00000194: SUB 00000195: SWAP1 00000196: SWAP3 00000197: AND 00000198: DUP3 00000199: MSTORE 0000019a: MLOAD 0000019b: SWAP1 0000019c: DUP2 0000019d: SWAP1 0000019e: SUB 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: SWAP1 000001a3: RETURN 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x015c 000001b5: PUSH1 0x04 000001b7: DUP1 000001b8: CALLDATASIZE 000001b9: SUB 000001ba: PUSH1 0x20 000001bc: DUP2 000001bd: LT 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: POP 000001c9: CALLDATALOAD 000001ca: PUSH1 0x01 000001cc: PUSH1 0xa0 000001ce: PUSH1 0x02 000001d0: EXP 000001d1: SUB 000001d2: AND 000001d3: PUSH2 0x06d2 000001d6: JUMP 000001d7: JUMPDEST 000001d8: CALLVALUE 000001d9: DUP1 000001da: ISZERO 000001db: PUSH2 0x01e3 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: POP 000001e5: PUSH2 0x015c 000001e8: PUSH1 0x04 000001ea: DUP1 000001eb: CALLDATASIZE 000001ec: SUB 000001ed: PUSH1 0x20 000001ef: DUP2 000001f0: LT 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: POP 000001fc: CALLDATALOAD 000001fd: PUSH2 0x0842 00000200: JUMP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: DUP1 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: POP 0000020f: PUSH2 0x0234 00000212: PUSH1 0x04 00000214: DUP1 00000215: CALLDATASIZE 00000216: SUB 00000217: PUSH1 0x20 00000219: DUP2 0000021a: LT 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: CALLDATALOAD 00000227: PUSH1 0x01 00000229: PUSH1 0xa0 0000022b: PUSH1 0x02 0000022d: EXP 0000022e: SUB 0000022f: AND 00000230: PUSH2 0x08fc 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH1 0x40 00000237: DUP1 00000238: MLOAD 00000239: SWAP2 0000023a: ISZERO 0000023b: ISZERO 0000023c: DUP3 0000023d: MSTORE 0000023e: MLOAD 0000023f: SWAP1 00000240: DUP2 00000241: SWAP1 00000242: SUB 00000243: PUSH1 0x20 00000245: ADD 00000246: SWAP1 00000247: RETURN 00000248: JUMPDEST 00000249: CALLVALUE 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: POP 00000256: PUSH2 0x0234 00000259: PUSH1 0x04 0000025b: DUP1 0000025c: CALLDATASIZE 0000025d: SUB 0000025e: PUSH1 0x40 00000260: DUP2 00000261: LT 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: DUP1 0000026e: CALLDATALOAD 0000026f: SWAP1 00000270: PUSH1 0x20 00000272: ADD 00000273: CALLDATALOAD 00000274: PUSH1 0x01 00000276: PUSH1 0xa0 00000278: PUSH1 0x02 0000027a: EXP 0000027b: SUB 0000027c: AND 0000027d: PUSH2 0x0911 00000280: JUMP 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: PUSH2 0x02b5 00000292: PUSH1 0x04 00000294: DUP1 00000295: CALLDATASIZE 00000296: SUB 00000297: PUSH1 0x40 00000299: DUP2 0000029a: LT 0000029b: ISZERO 0000029c: PUSH2 0x02a4 0000029f: JUMPI 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: POP 000002a6: DUP1 000002a7: CALLDATALOAD 000002a8: ISZERO 000002a9: ISZERO 000002aa: SWAP1 000002ab: PUSH1 0x20 000002ad: ADD 000002ae: CALLDATALOAD 000002af: ISZERO 000002b0: ISZERO 000002b1: PUSH2 0x0931 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH1 0x40 000002b8: DUP1 000002b9: MLOAD 000002ba: SWAP2 000002bb: DUP3 000002bc: MSTORE 000002bd: MLOAD 000002be: SWAP1 000002bf: DUP2 000002c0: SWAP1 000002c1: SUB 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP1 000002c6: RETURN 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: DUP1 000002ca: ISZERO 000002cb: PUSH2 0x02d3 000002ce: JUMPI 000002cf: PUSH1 0x00 000002d1: DUP1 000002d2: REVERT 000002d3: JUMPDEST 000002d4: POP 000002d5: PUSH2 0x015c 000002d8: PUSH1 0x04 000002da: DUP1 000002db: CALLDATASIZE 000002dc: SUB 000002dd: PUSH1 0x20 000002df: DUP2 000002e0: LT 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: CALLDATALOAD 000002ed: PUSH1 0x01 000002ef: PUSH1 0xa0 000002f1: PUSH1 0x02 000002f3: EXP 000002f4: SUB 000002f5: AND 000002f6: PUSH2 0x099d 000002f9: JUMP 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: DUP1 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: PUSH2 0x0234 0000030b: PUSH1 0x04 0000030d: DUP1 0000030e: CALLDATASIZE 0000030f: SUB 00000310: PUSH1 0x20 00000312: DUP2 00000313: LT 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: CALLDATALOAD 00000320: PUSH2 0x0ac2 00000323: JUMP 00000324: JUMPDEST 00000325: CALLVALUE 00000326: DUP1 00000327: ISZERO 00000328: PUSH2 0x0330 0000032b: JUMPI 0000032c: PUSH1 0x00 0000032e: DUP1 0000032f: REVERT 00000330: JUMPDEST 00000331: POP 00000332: PUSH2 0x02b5 00000335: PUSH1 0x04 00000337: DUP1 00000338: CALLDATASIZE 00000339: SUB 0000033a: PUSH1 0x20 0000033c: DUP2 0000033d: LT 0000033e: ISZERO 0000033f: PUSH2 0x0347 00000342: JUMPI 00000343: PUSH1 0x00 00000345: DUP1 00000346: REVERT 00000347: JUMPDEST 00000348: POP 00000349: CALLDATALOAD 0000034a: PUSH2 0x0b49 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x0378 0000035f: PUSH1 0x04 00000361: DUP1 00000362: CALLDATASIZE 00000363: SUB 00000364: PUSH1 0x20 00000366: DUP2 00000367: LT 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: CALLDATALOAD 00000374: PUSH2 0x0bb8 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: DUP1 0000037d: DUP6 0000037e: PUSH1 0x01 00000380: PUSH1 0xa0 00000382: PUSH1 0x02 00000384: EXP 00000385: SUB 00000386: AND 00000387: PUSH1 0x01 00000389: PUSH1 0xa0 0000038b: PUSH1 0x02 0000038d: EXP 0000038e: SUB 0000038f: AND 00000390: DUP2 00000391: MSTORE 00000392: PUSH1 0x20 00000394: ADD 00000395: DUP5 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x20 0000039a: ADD 0000039b: DUP1 0000039c: PUSH1 0x20 0000039e: ADD 0000039f: DUP4 000003a0: ISZERO 000003a1: ISZERO 000003a2: ISZERO 000003a3: ISZERO 000003a4: DUP2 000003a5: MSTORE 000003a6: PUSH1 0x20 000003a8: ADD 000003a9: DUP3 000003aa: DUP2 000003ab: SUB 000003ac: DUP3 000003ad: MSTORE 000003ae: DUP5 000003af: DUP2 000003b0: DUP2 000003b1: MLOAD 000003b2: DUP2 000003b3: MSTORE 000003b4: PUSH1 0x20 000003b6: ADD 000003b7: SWAP2 000003b8: POP 000003b9: DUP1 000003ba: MLOAD 000003bb: SWAP1 000003bc: PUSH1 0x20 000003be: ADD 000003bf: SWAP1 000003c0: DUP1 000003c1: DUP4 000003c2: DUP4 000003c3: PUSH1 0x00 000003c5: JUMPDEST 000003c6: DUP4 000003c7: DUP2 000003c8: LT 000003c9: ISZERO 000003ca: PUSH2 0x03dd 000003cd: JUMPI 000003ce: DUP2 000003cf: DUP2 000003d0: ADD 000003d1: MLOAD 000003d2: DUP4 000003d3: DUP3 000003d4: ADD 000003d5: MSTORE 000003d6: PUSH1 0x20 000003d8: ADD 000003d9: PUSH2 0x03c5 000003dc: JUMP 000003dd: JUMPDEST 000003de: POP 000003df: POP 000003e0: POP 000003e1: POP 000003e2: SWAP1 000003e3: POP 000003e4: SWAP1 000003e5: DUP2 000003e6: ADD 000003e7: SWAP1 000003e8: PUSH1 0x1f 000003ea: AND 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x040a 000003f0: JUMPI 000003f1: DUP1 000003f2: DUP3 000003f3: SUB 000003f4: DUP1 000003f5: MLOAD 000003f6: PUSH1 0x01 000003f8: DUP4 000003f9: PUSH1 0x20 000003fb: SUB 000003fc: PUSH2 0x0100 000003ff: EXP 00000400: SUB 00000401: NOT 00000402: AND 00000403: DUP2 00000404: MSTORE 00000405: PUSH1 0x20 00000407: ADD 00000408: SWAP2 00000409: POP 0000040a: JUMPDEST 0000040b: POP 0000040c: SWAP6 0000040d: POP 0000040e: POP 0000040f: POP 00000410: POP 00000411: POP 00000412: POP 00000413: PUSH1 0x40 00000415: MLOAD 00000416: DUP1 00000417: SWAP2 00000418: SUB 00000419: SWAP1 0000041a: RETURN 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x0430 0000042c: PUSH2 0x0c76 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x40 00000433: DUP1 00000434: MLOAD 00000435: PUSH1 0x20 00000437: DUP1 00000438: DUP3 00000439: MSTORE 0000043a: DUP4 0000043b: MLOAD 0000043c: DUP2 0000043d: DUP4 0000043e: ADD 0000043f: MSTORE 00000440: DUP4 00000441: MLOAD 00000442: SWAP2 00000443: SWAP3 00000444: DUP4 00000445: SWAP3 00000446: SWAP1 00000447: DUP4 00000448: ADD 00000449: SWAP2 0000044a: DUP6 0000044b: DUP2 0000044c: ADD 0000044d: SWAP2 0000044e: MUL 0000044f: DUP1 00000450: DUP4 00000451: DUP4 00000452: PUSH1 0x00 00000454: JUMPDEST 00000455: DUP4 00000456: DUP2 00000457: LT 00000458: ISZERO 00000459: PUSH2 0x046c 0000045c: JUMPI 0000045d: DUP2 0000045e: DUP2 0000045f: ADD 00000460: MLOAD 00000461: DUP4 00000462: DUP3 00000463: ADD 00000464: MSTORE 00000465: PUSH1 0x20 00000467: ADD 00000468: PUSH2 0x0454 0000046b: JUMP 0000046c: JUMPDEST 0000046d: POP 0000046e: POP 0000046f: POP 00000470: POP 00000471: SWAP1 00000472: POP 00000473: ADD 00000474: SWAP3 00000475: POP 00000476: POP 00000477: POP 00000478: PUSH1 0x40 0000047a: MLOAD 0000047b: DUP1 0000047c: SWAP2 0000047d: SUB 0000047e: SWAP1 0000047f: RETURN 00000480: JUMPDEST 00000481: CALLVALUE 00000482: DUP1 00000483: ISZERO 00000484: PUSH2 0x048c 00000487: JUMPI 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: REVERT 0000048c: JUMPDEST 0000048d: POP 0000048e: PUSH2 0x0430 00000491: PUSH1 0x04 00000493: DUP1 00000494: CALLDATASIZE 00000495: SUB 00000496: PUSH1 0x80 00000498: DUP2 00000499: LT 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: DUP1 000004a6: CALLDATALOAD 000004a7: SWAP1 000004a8: PUSH1 0x20 000004aa: DUP2 000004ab: ADD 000004ac: CALLDATALOAD 000004ad: SWAP1 000004ae: PUSH1 0x40 000004b0: DUP2 000004b1: ADD 000004b2: CALLDATALOAD 000004b3: ISZERO 000004b4: ISZERO 000004b5: SWAP1 000004b6: PUSH1 0x60 000004b8: ADD 000004b9: CALLDATALOAD 000004ba: ISZERO 000004bb: ISZERO 000004bc: PUSH2 0x0cd9 000004bf: JUMP 000004c0: JUMPDEST 000004c1: CALLVALUE 000004c2: DUP1 000004c3: ISZERO 000004c4: PUSH2 0x04cc 000004c7: JUMPI 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: REVERT 000004cc: JUMPDEST 000004cd: POP 000004ce: PUSH2 0x0430 000004d1: PUSH1 0x04 000004d3: DUP1 000004d4: CALLDATASIZE 000004d5: SUB 000004d6: PUSH1 0x20 000004d8: DUP2 000004d9: LT 000004da: ISZERO 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: POP 000004e5: CALLDATALOAD 000004e6: PUSH2 0x0e0a 000004e9: JUMP 000004ea: JUMPDEST 000004eb: CALLVALUE 000004ec: DUP1 000004ed: ISZERO 000004ee: PUSH2 0x04f6 000004f1: JUMPI 000004f2: PUSH1 0x00 000004f4: DUP1 000004f5: REVERT 000004f6: JUMPDEST 000004f7: POP 000004f8: PUSH2 0x02b5 000004fb: PUSH2 0x0f7b 000004fe: JUMP 000004ff: JUMPDEST 00000500: CALLVALUE 00000501: DUP1 00000502: ISZERO 00000503: PUSH2 0x050b 00000506: JUMPI 00000507: PUSH1 0x00 00000509: DUP1 0000050a: REVERT 0000050b: JUMPDEST 0000050c: POP 0000050d: PUSH2 0x015c 00000510: PUSH1 0x04 00000512: DUP1 00000513: CALLDATASIZE 00000514: SUB 00000515: PUSH1 0x20 00000517: DUP2 00000518: LT 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: CALLDATALOAD 00000525: PUSH2 0x0f81 00000528: JUMP 00000529: JUMPDEST 0000052a: CALLVALUE 0000052b: DUP1 0000052c: ISZERO 0000052d: PUSH2 0x0535 00000530: JUMPI 00000531: PUSH1 0x00 00000533: DUP1 00000534: REVERT 00000535: JUMPDEST 00000536: POP 00000537: PUSH2 0x015c 0000053a: PUSH1 0x04 0000053c: DUP1 0000053d: CALLDATASIZE 0000053e: SUB 0000053f: PUSH1 0x20 00000541: DUP2 00000542: LT 00000543: ISZERO 00000544: PUSH2 0x054c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: POP 0000054e: CALLDATALOAD 0000054f: PUSH2 0x1000 00000552: JUMP 00000553: JUMPDEST 00000554: CALLVALUE 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: PUSH2 0x02b5 00000564: PUSH1 0x04 00000566: DUP1 00000567: CALLDATASIZE 00000568: SUB 00000569: PUSH1 0x60 0000056b: DUP2 0000056c: LT 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: PUSH1 0x01 00000579: PUSH1 0xa0 0000057b: PUSH1 0x02 0000057d: EXP 0000057e: SUB 0000057f: DUP3 00000580: CALLDATALOAD 00000581: AND 00000582: SWAP2 00000583: PUSH1 0x20 00000585: DUP2 00000586: ADD 00000587: CALLDATALOAD 00000588: SWAP2 00000589: DUP2 0000058a: ADD 0000058b: SWAP1 0000058c: PUSH1 0x60 0000058e: DUP2 0000058f: ADD 00000590: PUSH1 0x40 00000592: DUP3 00000593: ADD 00000594: CALLDATALOAD 00000595: PUSH5 0x0100000000 0000059b: DUP2 0000059c: GT 0000059d: ISZERO 0000059e: PUSH2 0x05a6 000005a1: JUMPI 000005a2: PUSH1 0x00 000005a4: DUP1 000005a5: REVERT 000005a6: JUMPDEST 000005a7: DUP3 000005a8: ADD 000005a9: DUP4 000005aa: PUSH1 0x20 000005ac: DUP3 000005ad: ADD 000005ae: GT 000005af: ISZERO 000005b0: PUSH2 0x05b8 000005b3: JUMPI 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: REVERT 000005b8: JUMPDEST 000005b9: DUP1 000005ba: CALLDATALOAD 000005bb: SWAP1 000005bc: PUSH1 0x20 000005be: ADD 000005bf: SWAP2 000005c0: DUP5 000005c1: PUSH1 0x01 000005c3: DUP4 000005c4: MUL 000005c5: DUP5 000005c6: ADD 000005c7: GT 000005c8: PUSH5 0x0100000000 000005ce: DUP4 000005cf: GT 000005d0: OR 000005d1: ISZERO 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: SWAP2 000005dc: SWAP1 000005dd: DUP1 000005de: DUP1 000005df: PUSH1 0x1f 000005e1: ADD 000005e2: PUSH1 0x20 000005e4: DUP1 000005e5: SWAP2 000005e6: DIV 000005e7: MUL 000005e8: PUSH1 0x20 000005ea: ADD 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: SWAP1 000005ef: DUP2 000005f0: ADD 000005f1: PUSH1 0x40 000005f3: MSTORE 000005f4: DUP1 000005f5: SWAP4 000005f6: SWAP3 000005f7: SWAP2 000005f8: SWAP1 000005f9: DUP2 000005fa: DUP2 000005fb: MSTORE 000005fc: PUSH1 0x20 000005fe: ADD 000005ff: DUP4 00000600: DUP4 00000601: DUP1 00000602: DUP3 00000603: DUP5 00000604: CALLDATACOPY 00000605: PUSH1 0x00 00000607: SWAP3 00000608: ADD 00000609: SWAP2 0000060a: SWAP1 0000060b: SWAP2 0000060c: MSTORE 0000060d: POP 0000060e: SWAP3 0000060f: SWAP6 00000610: POP 00000611: PUSH2 0x10cb 00000614: SWAP5 00000615: POP 00000616: POP 00000617: POP 00000618: POP 00000619: POP 0000061a: JUMP 0000061b: JUMPDEST 0000061c: CALLVALUE 0000061d: DUP1 0000061e: ISZERO 0000061f: PUSH2 0x0627 00000622: JUMPI 00000623: PUSH1 0x00 00000625: DUP1 00000626: REVERT 00000627: JUMPDEST 00000628: POP 00000629: PUSH2 0x02b5 0000062c: PUSH2 0x10ea 0000062f: JUMP 00000630: JUMPDEST 00000631: CALLVALUE 00000632: DUP1 00000633: ISZERO 00000634: PUSH2 0x063c 00000637: JUMPI 00000638: PUSH1 0x00 0000063a: DUP1 0000063b: REVERT 0000063c: JUMPDEST 0000063d: POP 0000063e: PUSH2 0x02b5 00000641: PUSH2 0x10ef 00000644: JUMP 00000645: JUMPDEST 00000646: CALLVALUE 00000647: DUP1 00000648: ISZERO 00000649: PUSH2 0x0651 0000064c: JUMPI 0000064d: PUSH1 0x00 0000064f: DUP1 00000650: REVERT 00000651: JUMPDEST 00000652: POP 00000653: PUSH2 0x015c 00000656: PUSH1 0x04 00000658: DUP1 00000659: CALLDATASIZE 0000065a: SUB 0000065b: PUSH1 0x40 0000065d: DUP2 0000065e: LT 0000065f: ISZERO 00000660: PUSH2 0x0668 00000663: JUMPI 00000664: PUSH1 0x00 00000666: DUP1 00000667: REVERT 00000668: JUMPDEST 00000669: POP 0000066a: PUSH1 0x01 0000066c: PUSH1 0xa0 0000066e: PUSH1 0x02 00000670: EXP 00000671: SUB 00000672: DUP2 00000673: CALLDATALOAD 00000674: DUP2 00000675: AND 00000676: SWAP2 00000677: PUSH1 0x20 00000679: ADD 0000067a: CALLDATALOAD 0000067b: AND 0000067c: PUSH2 0x10f5 0000067f: JUMP 00000680: JUMPDEST 00000681: CALLVALUE 00000682: DUP1 00000683: ISZERO 00000684: PUSH2 0x068c 00000687: JUMPI 00000688: PUSH1 0x00 0000068a: DUP1 0000068b: REVERT 0000068c: JUMPDEST 0000068d: POP 0000068e: PUSH2 0x015c 00000691: PUSH1 0x04 00000693: DUP1 00000694: CALLDATASIZE 00000695: SUB 00000696: PUSH1 0x20 00000698: DUP2 00000699: LT 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: POP 000006a5: CALLDATALOAD 000006a6: PUSH2 0x1278 000006a9: JUMP 000006aa: JUMPDEST 000006ab: PUSH1 0x03 000006ad: DUP1 000006ae: SLOAD 000006af: DUP3 000006b0: SWAP1 000006b1: DUP2 000006b2: LT 000006b3: PUSH2 0x06b8 000006b6: JUMPI 000006b7: INVALID 000006b8: JUMPDEST 000006b9: PUSH1 0x00 000006bb: SWAP2 000006bc: DUP3 000006bd: MSTORE 000006be: PUSH1 0x20 000006c0: SWAP1 000006c1: SWAP2 000006c2: KECCAK256 000006c3: ADD 000006c4: SLOAD 000006c5: PUSH1 0x01 000006c7: PUSH1 0xa0 000006c9: PUSH1 0x02 000006cb: EXP 000006cc: SUB 000006cd: AND 000006ce: SWAP1 000006cf: POP 000006d0: DUP2 000006d1: JUMP 000006d2: JUMPDEST 000006d3: CALLER 000006d4: ADDRESS 000006d5: EQ 000006d6: PUSH2 0x06de 000006d9: JUMPI 000006da: PUSH1 0x00 000006dc: DUP1 000006dd: REVERT 000006de: JUMPDEST 000006df: PUSH1 0x01 000006e1: PUSH1 0xa0 000006e3: PUSH1 0x02 000006e5: EXP 000006e6: SUB 000006e7: DUP2 000006e8: AND 000006e9: PUSH1 0x00 000006eb: SWAP1 000006ec: DUP2 000006ed: MSTORE 000006ee: PUSH1 0x02 000006f0: PUSH1 0x20 000006f2: MSTORE 000006f3: PUSH1 0x40 000006f5: SWAP1 000006f6: KECCAK256 000006f7: SLOAD 000006f8: DUP2 000006f9: SWAP1 000006fa: PUSH1 0xff 000006fc: AND 000006fd: ISZERO 000006fe: ISZERO 000006ff: PUSH2 0x0707 00000702: JUMPI 00000703: PUSH1 0x00 00000705: DUP1 00000706: REVERT 00000707: JUMPDEST 00000708: PUSH1 0x01 0000070a: PUSH1 0xa0 0000070c: PUSH1 0x02 0000070e: EXP 0000070f: SUB 00000710: DUP3 00000711: AND 00000712: PUSH1 0x00 00000714: SWAP1 00000715: DUP2 00000716: MSTORE 00000717: PUSH1 0x02 00000719: PUSH1 0x20 0000071b: MSTORE 0000071c: PUSH1 0x40 0000071e: DUP2 0000071f: KECCAK256 00000720: DUP1 00000721: SLOAD 00000722: PUSH1 0xff 00000724: NOT 00000725: AND 00000726: SWAP1 00000727: SSTORE 00000728: JUMPDEST 00000729: PUSH1 0x03 0000072b: SLOAD 0000072c: PUSH1 0x00 0000072e: NOT 0000072f: ADD 00000730: DUP2 00000731: LT 00000732: ISZERO 00000733: PUSH2 0x07dd 00000736: JUMPI 00000737: DUP3 00000738: PUSH1 0x01 0000073a: PUSH1 0xa0 0000073c: PUSH1 0x02 0000073e: EXP 0000073f: SUB 00000740: AND 00000741: PUSH1 0x03 00000743: DUP3 00000744: DUP2 00000745: SLOAD 00000746: DUP2 00000747: LT 00000748: ISZERO 00000749: ISZERO 0000074a: PUSH2 0x074f 0000074d: JUMPI 0000074e: INVALID 0000074f: JUMPDEST 00000750: PUSH1 0x00 00000752: SWAP2 00000753: DUP3 00000754: MSTORE 00000755: PUSH1 0x20 00000757: SWAP1 00000758: SWAP2 00000759: KECCAK256 0000075a: ADD 0000075b: SLOAD 0000075c: PUSH1 0x01 0000075e: PUSH1 0xa0 00000760: PUSH1 0x02 00000762: EXP 00000763: SUB 00000764: AND 00000765: EQ 00000766: ISZERO 00000767: PUSH2 0x07d5 0000076a: JUMPI 0000076b: PUSH1 0x03 0000076d: DUP1 0000076e: SLOAD 0000076f: PUSH1 0x00 00000771: NOT 00000772: DUP2 00000773: ADD 00000774: SWAP1 00000775: DUP2 00000776: LT 00000777: PUSH2 0x077c 0000077a: JUMPI 0000077b: INVALID 0000077c: JUMPDEST 0000077d: PUSH1 0x00 0000077f: SWAP2 00000780: DUP3 00000781: MSTORE 00000782: PUSH1 0x20 00000784: SWAP1 00000785: SWAP2 00000786: KECCAK256 00000787: ADD 00000788: SLOAD 00000789: PUSH1 0x03 0000078b: DUP1 0000078c: SLOAD 0000078d: PUSH1 0x01 0000078f: PUSH1 0xa0 00000791: PUSH1 0x02 00000793: EXP 00000794: SUB 00000795: SWAP1 00000796: SWAP3 00000797: AND 00000798: SWAP2 00000799: DUP4 0000079a: SWAP1 0000079b: DUP2 0000079c: LT 0000079d: PUSH2 0x07a2 000007a0: JUMPI 000007a1: INVALID 000007a2: JUMPDEST 000007a3: SWAP1 000007a4: PUSH1 0x00 000007a6: MSTORE 000007a7: PUSH1 0x20 000007a9: PUSH1 0x00 000007ab: KECCAK256 000007ac: ADD 000007ad: PUSH1 0x00 000007af: PUSH2 0x0100 000007b2: EXP 000007b3: DUP2 000007b4: SLOAD 000007b5: DUP2 000007b6: PUSH1 0x01 000007b8: PUSH1 0xa0 000007ba: PUSH1 0x02 000007bc: EXP 000007bd: SUB 000007be: MUL 000007bf: NOT 000007c0: AND 000007c1: SWAP1 000007c2: DUP4 000007c3: PUSH1 0x01 000007c5: PUSH1 0xa0 000007c7: PUSH1 0x02 000007c9: EXP 000007ca: SUB 000007cb: AND 000007cc: MUL 000007cd: OR 000007ce: SWAP1 000007cf: SSTORE 000007d0: POP 000007d1: PUSH2 0x07dd 000007d4: JUMP 000007d5: JUMPDEST 000007d6: PUSH1 0x01 000007d8: ADD 000007d9: PUSH2 0x0728 000007dc: JUMP 000007dd: JUMPDEST 000007de: POP 000007df: PUSH1 0x03 000007e1: DUP1 000007e2: SLOAD 000007e3: PUSH1 0x00 000007e5: NOT 000007e6: ADD 000007e7: SWAP1 000007e8: PUSH2 0x07f1 000007eb: SWAP1 000007ec: DUP3 000007ed: PUSH2 0x1546 000007f0: JUMP 000007f1: JUMPDEST 000007f2: POP 000007f3: PUSH1 0x03 000007f5: SLOAD 000007f6: PUSH1 0x04 000007f8: SLOAD 000007f9: GT 000007fa: ISZERO 000007fb: PUSH2 0x080a 000007fe: JUMPI 000007ff: PUSH1 0x03 00000801: SLOAD 00000802: PUSH2 0x080a 00000805: SWAP1 00000806: PUSH2 0x0f81 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x40 0000080d: MLOAD 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: PUSH1 0x02 00000814: EXP 00000815: SUB 00000816: DUP4 00000817: AND 00000818: SWAP1 00000819: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 0000083a: SWAP1 0000083b: PUSH1 0x00 0000083d: SWAP1 0000083e: LOG2 0000083f: POP 00000840: POP 00000841: JUMP 00000842: JUMPDEST 00000843: CALLER 00000844: PUSH1 0x00 00000846: DUP2 00000847: DUP2 00000848: MSTORE 00000849: PUSH1 0x02 0000084b: PUSH1 0x20 0000084d: MSTORE 0000084e: PUSH1 0x40 00000850: SWAP1 00000851: KECCAK256 00000852: SLOAD 00000853: PUSH1 0xff 00000855: AND 00000856: ISZERO 00000857: ISZERO 00000858: PUSH2 0x0860 0000085b: JUMPI 0000085c: PUSH1 0x00 0000085e: DUP1 0000085f: REVERT 00000860: JUMPDEST 00000861: PUSH1 0x00 00000863: DUP3 00000864: DUP2 00000865: MSTORE 00000866: PUSH1 0x01 00000868: PUSH1 0x20 0000086a: SWAP1 0000086b: DUP2 0000086c: MSTORE 0000086d: PUSH1 0x40 0000086f: DUP1 00000870: DUP4 00000871: KECCAK256 00000872: CALLER 00000873: DUP1 00000874: DUP6 00000875: MSTORE 00000876: SWAP3 00000877: MSTORE 00000878: SWAP1 00000879: SWAP2 0000087a: KECCAK256 0000087b: SLOAD 0000087c: DUP4 0000087d: SWAP2 0000087e: SWAP1 0000087f: PUSH1 0xff 00000881: AND 00000882: ISZERO 00000883: ISZERO 00000884: PUSH2 0x088c 00000887: JUMPI 00000888: PUSH1 0x00 0000088a: DUP1 0000088b: REVERT 0000088c: JUMPDEST 0000088d: PUSH1 0x00 0000088f: DUP5 00000890: DUP2 00000891: MSTORE 00000892: PUSH1 0x20 00000894: DUP2 00000895: SWAP1 00000896: MSTORE 00000897: PUSH1 0x40 00000899: SWAP1 0000089a: KECCAK256 0000089b: PUSH1 0x03 0000089d: ADD 0000089e: SLOAD 0000089f: DUP5 000008a0: SWAP1 000008a1: PUSH1 0xff 000008a3: AND 000008a4: ISZERO 000008a5: PUSH2 0x08ad 000008a8: JUMPI 000008a9: PUSH1 0x00 000008ab: DUP1 000008ac: REVERT 000008ad: JUMPDEST 000008ae: PUSH1 0x00 000008b0: DUP6 000008b1: DUP2 000008b2: MSTORE 000008b3: PUSH1 0x01 000008b5: PUSH1 0x20 000008b7: SWAP1 000008b8: DUP2 000008b9: MSTORE 000008ba: PUSH1 0x40 000008bc: DUP1 000008bd: DUP4 000008be: KECCAK256 000008bf: CALLER 000008c0: DUP1 000008c1: DUP6 000008c2: MSTORE 000008c3: SWAP3 000008c4: MSTORE 000008c5: DUP1 000008c6: DUP4 000008c7: KECCAK256 000008c8: DUP1 000008c9: SLOAD 000008ca: PUSH1 0xff 000008cc: NOT 000008cd: AND 000008ce: SWAP1 000008cf: SSTORE 000008d0: MLOAD 000008d1: DUP8 000008d2: SWAP3 000008d3: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 000008f4: SWAP2 000008f5: LOG3 000008f6: POP 000008f7: POP 000008f8: POP 000008f9: POP 000008fa: POP 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH1 0x02 000008ff: PUSH1 0x20 00000901: MSTORE 00000902: PUSH1 0x00 00000904: SWAP1 00000905: DUP2 00000906: MSTORE 00000907: PUSH1 0x40 00000909: SWAP1 0000090a: KECCAK256 0000090b: SLOAD 0000090c: PUSH1 0xff 0000090e: AND 0000090f: DUP2 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x01 00000914: PUSH1 0x20 00000916: SWAP1 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x00 0000091b: SWAP3 0000091c: DUP4 0000091d: MSTORE 0000091e: PUSH1 0x40 00000920: DUP1 00000921: DUP5 00000922: KECCAK256 00000923: SWAP1 00000924: SWAP2 00000925: MSTORE 00000926: SWAP1 00000927: DUP3 00000928: MSTORE 00000929: SWAP1 0000092a: KECCAK256 0000092b: SLOAD 0000092c: PUSH1 0xff 0000092e: AND 0000092f: DUP2 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH1 0x00 00000934: DUP1 00000935: JUMPDEST 00000936: PUSH1 0x05 00000938: SLOAD 00000939: DUP2 0000093a: LT 0000093b: ISZERO 0000093c: PUSH2 0x0996 0000093f: JUMPI 00000940: DUP4 00000941: DUP1 00000942: ISZERO 00000943: PUSH2 0x095e 00000946: JUMPI 00000947: POP 00000948: PUSH1 0x00 0000094a: DUP2 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x20 0000094f: DUP2 00000950: SWAP1 00000951: MSTORE 00000952: PUSH1 0x40 00000954: SWAP1 00000955: KECCAK256 00000956: PUSH1 0x03 00000958: ADD 00000959: SLOAD 0000095a: PUSH1 0xff 0000095c: AND 0000095d: ISZERO 0000095e: JUMPDEST 0000095f: DUP1 00000960: PUSH2 0x0982 00000963: JUMPI 00000964: POP 00000965: DUP3 00000966: DUP1 00000967: ISZERO 00000968: PUSH2 0x0982 0000096b: JUMPI 0000096c: POP 0000096d: PUSH1 0x00 0000096f: DUP2 00000970: DUP2 00000971: MSTORE 00000972: PUSH1 0x20 00000974: DUP2 00000975: SWAP1 00000976: MSTORE 00000977: PUSH1 0x40 00000979: SWAP1 0000097a: KECCAK256 0000097b: PUSH1 0x03 0000097d: ADD 0000097e: SLOAD 0000097f: PUSH1 0xff 00000981: AND 00000982: JUMPDEST 00000983: ISZERO 00000984: PUSH2 0x098e 00000987: JUMPI 00000988: PUSH1 0x01 0000098a: DUP3 0000098b: ADD 0000098c: SWAP2 0000098d: POP 0000098e: JUMPDEST 0000098f: PUSH1 0x01 00000991: ADD 00000992: PUSH2 0x0935 00000995: JUMP 00000996: JUMPDEST 00000997: POP 00000998: SWAP3 00000999: SWAP2 0000099a: POP 0000099b: POP 0000099c: JUMP 0000099d: JUMPDEST 0000099e: CALLER 0000099f: ADDRESS 000009a0: EQ 000009a1: PUSH2 0x09a9 000009a4: JUMPI 000009a5: PUSH1 0x00 000009a7: DUP1 000009a8: REVERT 000009a9: JUMPDEST 000009aa: PUSH1 0x01 000009ac: PUSH1 0xa0 000009ae: PUSH1 0x02 000009b0: EXP 000009b1: SUB 000009b2: DUP2 000009b3: AND 000009b4: PUSH1 0x00 000009b6: SWAP1 000009b7: DUP2 000009b8: MSTORE 000009b9: PUSH1 0x02 000009bb: PUSH1 0x20 000009bd: MSTORE 000009be: PUSH1 0x40 000009c0: SWAP1 000009c1: KECCAK256 000009c2: SLOAD 000009c3: DUP2 000009c4: SWAP1 000009c5: PUSH1 0xff 000009c7: AND 000009c8: ISZERO 000009c9: PUSH2 0x09d1 000009cc: JUMPI 000009cd: PUSH1 0x00 000009cf: DUP1 000009d0: REVERT 000009d1: JUMPDEST 000009d2: DUP2 000009d3: PUSH1 0x01 000009d5: PUSH1 0xa0 000009d7: PUSH1 0x02 000009d9: EXP 000009da: SUB 000009db: DUP2 000009dc: AND 000009dd: ISZERO 000009de: ISZERO 000009df: PUSH2 0x09e7 000009e2: JUMPI 000009e3: PUSH1 0x00 000009e5: DUP1 000009e6: REVERT 000009e7: JUMPDEST 000009e8: PUSH1 0x03 000009ea: DUP1 000009eb: SLOAD 000009ec: SWAP1 000009ed: POP 000009ee: PUSH1 0x01 000009f0: ADD 000009f1: PUSH1 0x04 000009f3: SLOAD 000009f4: PUSH1 0x32 000009f6: DUP3 000009f7: GT 000009f8: ISZERO 000009f9: DUP1 000009fa: ISZERO 000009fb: PUSH2 0x0a04 000009fe: JUMPI 000009ff: POP 00000a00: DUP2 00000a01: DUP2 00000a02: GT 00000a03: ISZERO 00000a04: JUMPDEST 00000a05: DUP1 00000a06: ISZERO 00000a07: PUSH2 0x0a0f 00000a0a: JUMPI 00000a0b: POP 00000a0c: DUP1 00000a0d: ISZERO 00000a0e: ISZERO 00000a0f: JUMPDEST 00000a10: DUP1 00000a11: ISZERO 00000a12: PUSH2 0x0a1a 00000a15: JUMPI 00000a16: POP 00000a17: DUP2 00000a18: ISZERO 00000a19: ISZERO 00000a1a: JUMPDEST 00000a1b: ISZERO 00000a1c: ISZERO 00000a1d: PUSH2 0x0a25 00000a20: JUMPI 00000a21: PUSH1 0x00 00000a23: DUP1 00000a24: REVERT 00000a25: JUMPDEST 00000a26: PUSH1 0x01 00000a28: PUSH1 0xa0 00000a2a: PUSH1 0x02 00000a2c: EXP 00000a2d: SUB 00000a2e: DUP6 00000a2f: AND 00000a30: PUSH1 0x00 00000a32: DUP2 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x02 00000a37: PUSH1 0x20 00000a39: MSTORE 00000a3a: PUSH1 0x40 00000a3c: DUP1 00000a3d: DUP3 00000a3e: KECCAK256 00000a3f: DUP1 00000a40: SLOAD 00000a41: PUSH1 0xff 00000a43: NOT 00000a44: AND 00000a45: PUSH1 0x01 00000a47: SWAP1 00000a48: DUP2 00000a49: OR 00000a4a: SWAP1 00000a4b: SWAP2 00000a4c: SSTORE 00000a4d: PUSH1 0x03 00000a4f: DUP1 00000a50: SLOAD 00000a51: SWAP2 00000a52: DUP3 00000a53: ADD 00000a54: DUP2 00000a55: SSTORE 00000a56: DUP4 00000a57: MSTORE 00000a58: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b 00000a79: ADD 00000a7a: DUP1 00000a7b: SLOAD 00000a7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a91: NOT 00000a92: AND 00000a93: DUP5 00000a94: OR 00000a95: SWAP1 00000a96: SSTORE 00000a97: MLOAD 00000a98: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00000ab9: SWAP2 00000aba: SWAP1 00000abb: LOG2 00000abc: POP 00000abd: POP 00000abe: POP 00000abf: POP 00000ac0: POP 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x00 00000ac5: DUP1 00000ac6: DUP1 00000ac7: JUMPDEST 00000ac8: PUSH1 0x03 00000aca: SLOAD 00000acb: DUP2 00000acc: LT 00000acd: ISZERO 00000ace: PUSH2 0x0b41 00000ad1: JUMPI 00000ad2: PUSH1 0x00 00000ad4: DUP5 00000ad5: DUP2 00000ad6: MSTORE 00000ad7: PUSH1 0x01 00000ad9: PUSH1 0x20 00000adb: MSTORE 00000adc: PUSH1 0x40 00000ade: DUP2 00000adf: KECCAK256 00000ae0: PUSH1 0x03 00000ae2: DUP1 00000ae3: SLOAD 00000ae4: SWAP2 00000ae5: SWAP3 00000ae6: SWAP2 00000ae7: DUP5 00000ae8: SWAP1 00000ae9: DUP2 00000aea: LT 00000aeb: PUSH2 0x0af0 00000aee: JUMPI 00000aef: INVALID 00000af0: JUMPDEST 00000af1: PUSH1 0x00 00000af3: SWAP2 00000af4: DUP3 00000af5: MSTORE 00000af6: PUSH1 0x20 00000af8: DUP1 00000af9: DUP4 00000afa: KECCAK256 00000afb: SWAP1 00000afc: SWAP2 00000afd: ADD 00000afe: SLOAD 00000aff: PUSH1 0x01 00000b01: PUSH1 0xa0 00000b03: PUSH1 0x02 00000b05: EXP 00000b06: SUB 00000b07: AND 00000b08: DUP4 00000b09: MSTORE 00000b0a: DUP3 00000b0b: ADD 00000b0c: SWAP3 00000b0d: SWAP1 00000b0e: SWAP3 00000b0f: MSTORE 00000b10: PUSH1 0x40 00000b12: ADD 00000b13: SWAP1 00000b14: KECCAK256 00000b15: SLOAD 00000b16: PUSH1 0xff 00000b18: AND 00000b19: ISZERO 00000b1a: PUSH2 0x0b24 00000b1d: JUMPI 00000b1e: PUSH1 0x01 00000b20: DUP3 00000b21: ADD 00000b22: SWAP2 00000b23: POP 00000b24: JUMPDEST 00000b25: PUSH1 0x04 00000b27: SLOAD 00000b28: DUP3 00000b29: EQ 00000b2a: ISZERO 00000b2b: PUSH2 0x0b39 00000b2e: JUMPI 00000b2f: PUSH1 0x01 00000b31: SWAP3 00000b32: POP 00000b33: POP 00000b34: POP 00000b35: PUSH2 0x0b44 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: PUSH1 0x01 00000b3c: ADD 00000b3d: PUSH2 0x0ac7 00000b40: JUMP 00000b41: JUMPDEST 00000b42: POP 00000b43: POP 00000b44: JUMPDEST 00000b45: SWAP2 00000b46: SWAP1 00000b47: POP 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: PUSH1 0x00 00000b4c: DUP1 00000b4d: JUMPDEST 00000b4e: PUSH1 0x03 00000b50: SLOAD 00000b51: DUP2 00000b52: LT 00000b53: ISZERO 00000b54: PUSH2 0x0bb2 00000b57: JUMPI 00000b58: PUSH1 0x00 00000b5a: DUP4 00000b5b: DUP2 00000b5c: MSTORE 00000b5d: PUSH1 0x01 00000b5f: PUSH1 0x20 00000b61: MSTORE 00000b62: PUSH1 0x40 00000b64: DUP2 00000b65: KECCAK256 00000b66: PUSH1 0x03 00000b68: DUP1 00000b69: SLOAD 00000b6a: SWAP2 00000b6b: SWAP3 00000b6c: SWAP2 00000b6d: DUP5 00000b6e: SWAP1 00000b6f: DUP2 00000b70: LT 00000b71: PUSH2 0x0b76 00000b74: JUMPI 00000b75: INVALID 00000b76: JUMPDEST 00000b77: PUSH1 0x00 00000b79: SWAP2 00000b7a: DUP3 00000b7b: MSTORE 00000b7c: PUSH1 0x20 00000b7e: DUP1 00000b7f: DUP4 00000b80: KECCAK256 00000b81: SWAP1 00000b82: SWAP2 00000b83: ADD 00000b84: SLOAD 00000b85: PUSH1 0x01 00000b87: PUSH1 0xa0 00000b89: PUSH1 0x02 00000b8b: EXP 00000b8c: SUB 00000b8d: AND 00000b8e: DUP4 00000b8f: MSTORE 00000b90: DUP3 00000b91: ADD 00000b92: SWAP3 00000b93: SWAP1 00000b94: SWAP3 00000b95: MSTORE 00000b96: PUSH1 0x40 00000b98: ADD 00000b99: SWAP1 00000b9a: KECCAK256 00000b9b: SLOAD 00000b9c: PUSH1 0xff 00000b9e: AND 00000b9f: ISZERO 00000ba0: PUSH2 0x0baa 00000ba3: JUMPI 00000ba4: PUSH1 0x01 00000ba6: DUP3 00000ba7: ADD 00000ba8: SWAP2 00000ba9: POP 00000baa: JUMPDEST 00000bab: PUSH1 0x01 00000bad: ADD 00000bae: PUSH2 0x0b4d 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: POP 00000bb4: SWAP2 00000bb5: SWAP1 00000bb6: POP 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x00 00000bbb: PUSH1 0x20 00000bbd: DUP2 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: SWAP2 00000bc1: DUP2 00000bc2: MSTORE 00000bc3: PUSH1 0x40 00000bc5: SWAP1 00000bc6: DUP2 00000bc7: SWAP1 00000bc8: KECCAK256 00000bc9: DUP1 00000bca: SLOAD 00000bcb: PUSH1 0x01 00000bcd: DUP1 00000bce: DUP4 00000bcf: ADD 00000bd0: SLOAD 00000bd1: PUSH1 0x02 00000bd3: DUP1 00000bd4: DUP6 00000bd5: ADD 00000bd6: DUP1 00000bd7: SLOAD 00000bd8: DUP8 00000bd9: MLOAD 00000bda: PUSH2 0x0100 00000bdd: SWAP6 00000bde: DUP3 00000bdf: AND 00000be0: ISZERO 00000be1: SWAP6 00000be2: SWAP1 00000be3: SWAP6 00000be4: MUL 00000be5: PUSH1 0x00 00000be7: NOT 00000be8: ADD 00000be9: AND 00000bea: SWAP2 00000beb: SWAP1 00000bec: SWAP2 00000bed: DIV 00000bee: PUSH1 0x1f 00000bf0: DUP2 00000bf1: ADD 00000bf2: DUP9 00000bf3: SWAP1 00000bf4: DIV 00000bf5: DUP9 00000bf6: MUL 00000bf7: DUP5 00000bf8: ADD 00000bf9: DUP9 00000bfa: ADD 00000bfb: SWAP1 00000bfc: SWAP7 00000bfd: MSTORE 00000bfe: DUP6 00000bff: DUP4 00000c00: MSTORE 00000c01: PUSH1 0x01 00000c03: PUSH1 0xa0 00000c05: PUSH1 0x02 00000c07: EXP 00000c08: SUB 00000c09: SWAP1 00000c0a: SWAP4 00000c0b: AND 00000c0c: SWAP6 00000c0d: SWAP1 00000c0e: SWAP5 00000c0f: SWAP2 00000c10: SWAP3 00000c11: SWAP2 00000c12: SWAP1 00000c13: DUP4 00000c14: ADD 00000c15: DUP3 00000c16: DUP3 00000c17: DUP1 00000c18: ISZERO 00000c19: PUSH2 0x0c63 00000c1c: JUMPI 00000c1d: DUP1 00000c1e: PUSH1 0x1f 00000c20: LT 00000c21: PUSH2 0x0c38 00000c24: JUMPI 00000c25: PUSH2 0x0100 00000c28: DUP1 00000c29: DUP4 00000c2a: SLOAD 00000c2b: DIV 00000c2c: MUL 00000c2d: DUP4 00000c2e: MSTORE 00000c2f: SWAP2 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: SWAP2 00000c34: PUSH2 0x0c63 00000c37: JUMP 00000c38: JUMPDEST 00000c39: DUP3 00000c3a: ADD 00000c3b: SWAP2 00000c3c: SWAP1 00000c3d: PUSH1 0x00 00000c3f: MSTORE 00000c40: PUSH1 0x20 00000c42: PUSH1 0x00 00000c44: KECCAK256 00000c45: SWAP1 00000c46: JUMPDEST 00000c47: DUP2 00000c48: SLOAD 00000c49: DUP2 00000c4a: MSTORE 00000c4b: SWAP1 00000c4c: PUSH1 0x01 00000c4e: ADD 00000c4f: SWAP1 00000c50: PUSH1 0x20 00000c52: ADD 00000c53: DUP1 00000c54: DUP4 00000c55: GT 00000c56: PUSH2 0x0c46 00000c59: JUMPI 00000c5a: DUP3 00000c5b: SWAP1 00000c5c: SUB 00000c5d: PUSH1 0x1f 00000c5f: AND 00000c60: DUP3 00000c61: ADD 00000c62: SWAP2 00000c63: JUMPDEST 00000c64: POP 00000c65: POP 00000c66: POP 00000c67: PUSH1 0x03 00000c69: SWAP1 00000c6a: SWAP4 00000c6b: ADD 00000c6c: SLOAD 00000c6d: SWAP2 00000c6e: SWAP3 00000c6f: POP 00000c70: POP 00000c71: PUSH1 0xff 00000c73: AND 00000c74: DUP5 00000c75: JUMP 00000c76: JUMPDEST 00000c77: PUSH1 0x60 00000c79: PUSH1 0x03 00000c7b: DUP1 00000c7c: SLOAD 00000c7d: DUP1 00000c7e: PUSH1 0x20 00000c80: MUL 00000c81: PUSH1 0x20 00000c83: ADD 00000c84: PUSH1 0x40 00000c86: MLOAD 00000c87: SWAP1 00000c88: DUP2 00000c89: ADD 00000c8a: PUSH1 0x40 00000c8c: MSTORE 00000c8d: DUP1 00000c8e: SWAP3 00000c8f: SWAP2 00000c90: SWAP1 00000c91: DUP2 00000c92: DUP2 00000c93: MSTORE 00000c94: PUSH1 0x20 00000c96: ADD 00000c97: DUP3 00000c98: DUP1 00000c99: SLOAD 00000c9a: DUP1 00000c9b: ISZERO 00000c9c: PUSH2 0x0cce 00000c9f: JUMPI 00000ca0: PUSH1 0x20 00000ca2: MUL 00000ca3: DUP3 00000ca4: ADD 00000ca5: SWAP2 00000ca6: SWAP1 00000ca7: PUSH1 0x00 00000ca9: MSTORE 00000caa: PUSH1 0x20 00000cac: PUSH1 0x00 00000cae: KECCAK256 00000caf: SWAP1 00000cb0: JUMPDEST 00000cb1: DUP2 00000cb2: SLOAD 00000cb3: PUSH1 0x01 00000cb5: PUSH1 0xa0 00000cb7: PUSH1 0x02 00000cb9: EXP 00000cba: SUB 00000cbb: AND 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x01 00000cc0: SWAP1 00000cc1: SWAP2 00000cc2: ADD 00000cc3: SWAP1 00000cc4: PUSH1 0x20 00000cc6: ADD 00000cc7: DUP1 00000cc8: DUP4 00000cc9: GT 00000cca: PUSH2 0x0cb0 00000ccd: JUMPI 00000cce: JUMPDEST 00000ccf: POP 00000cd0: POP 00000cd1: POP 00000cd2: POP 00000cd3: POP 00000cd4: SWAP1 00000cd5: POP 00000cd6: JUMPDEST 00000cd7: SWAP1 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: PUSH1 0x60 00000cdc: DUP1 00000cdd: PUSH1 0x05 00000cdf: SLOAD 00000ce0: PUSH1 0x40 00000ce2: MLOAD 00000ce3: SWAP1 00000ce4: DUP1 00000ce5: DUP3 00000ce6: MSTORE 00000ce7: DUP1 00000ce8: PUSH1 0x20 00000cea: MUL 00000ceb: PUSH1 0x20 00000ced: ADD 00000cee: DUP3 00000cef: ADD 00000cf0: PUSH1 0x40 00000cf2: MSTORE 00000cf3: DUP1 00000cf4: ISZERO 00000cf5: PUSH2 0x0d08 00000cf8: JUMPI 00000cf9: DUP2 00000cfa: PUSH1 0x20 00000cfc: ADD 00000cfd: PUSH1 0x20 00000cff: DUP3 00000d00: MUL 00000d01: DUP1 00000d02: CODESIZE 00000d03: DUP4 00000d04: CODECOPY 00000d05: ADD 00000d06: SWAP1 00000d07: POP 00000d08: JUMPDEST 00000d09: POP 00000d0a: SWAP1 00000d0b: POP 00000d0c: PUSH1 0x00 00000d0e: DUP1 00000d0f: JUMPDEST 00000d10: PUSH1 0x05 00000d12: SLOAD 00000d13: DUP2 00000d14: LT 00000d15: ISZERO 00000d16: PUSH2 0x0d8a 00000d19: JUMPI 00000d1a: DUP6 00000d1b: DUP1 00000d1c: ISZERO 00000d1d: PUSH2 0x0d38 00000d20: JUMPI 00000d21: POP 00000d22: PUSH1 0x00 00000d24: DUP2 00000d25: DUP2 00000d26: MSTORE 00000d27: PUSH1 0x20 00000d29: DUP2 00000d2a: SWAP1 00000d2b: MSTORE 00000d2c: PUSH1 0x40 00000d2e: SWAP1 00000d2f: KECCAK256 00000d30: PUSH1 0x03 00000d32: ADD 00000d33: SLOAD 00000d34: PUSH1 0xff 00000d36: AND 00000d37: ISZERO 00000d38: JUMPDEST 00000d39: DUP1 00000d3a: PUSH2 0x0d5c 00000d3d: JUMPI 00000d3e: POP 00000d3f: DUP5 00000d40: DUP1 00000d41: ISZERO 00000d42: PUSH2 0x0d5c 00000d45: JUMPI 00000d46: POP 00000d47: PUSH1 0x00 00000d49: DUP2 00000d4a: DUP2 00000d4b: MSTORE 00000d4c: PUSH1 0x20 00000d4e: DUP2 00000d4f: SWAP1 00000d50: MSTORE 00000d51: PUSH1 0x40 00000d53: SWAP1 00000d54: KECCAK256 00000d55: PUSH1 0x03 00000d57: ADD 00000d58: SLOAD 00000d59: PUSH1 0xff 00000d5b: AND 00000d5c: JUMPDEST 00000d5d: ISZERO 00000d5e: PUSH2 0x0d82 00000d61: JUMPI 00000d62: DUP1 00000d63: DUP4 00000d64: DUP4 00000d65: DUP2 00000d66: MLOAD 00000d67: DUP2 00000d68: LT 00000d69: ISZERO 00000d6a: ISZERO 00000d6b: PUSH2 0x0d70 00000d6e: JUMPI 00000d6f: INVALID 00000d70: JUMPDEST 00000d71: PUSH1 0x20 00000d73: SWAP1 00000d74: DUP2 00000d75: MUL 00000d76: SWAP1 00000d77: SWAP2 00000d78: ADD 00000d79: ADD 00000d7a: MSTORE 00000d7b: PUSH1 0x01 00000d7d: SWAP2 00000d7e: SWAP1 00000d7f: SWAP2 00000d80: ADD 00000d81: SWAP1 00000d82: JUMPDEST 00000d83: PUSH1 0x01 00000d85: ADD 00000d86: PUSH2 0x0d0f 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: DUP8 00000d8c: DUP8 00000d8d: SUB 00000d8e: PUSH1 0x40 00000d90: MLOAD 00000d91: SWAP1 00000d92: DUP1 00000d93: DUP3 00000d94: MSTORE 00000d95: DUP1 00000d96: PUSH1 0x20 00000d98: MUL 00000d99: PUSH1 0x20 00000d9b: ADD 00000d9c: DUP3 00000d9d: ADD 00000d9e: PUSH1 0x40 00000da0: MSTORE 00000da1: DUP1 00000da2: ISZERO 00000da3: PUSH2 0x0db6 00000da6: JUMPI 00000da7: DUP2 00000da8: PUSH1 0x20 00000daa: ADD 00000dab: PUSH1 0x20 00000dad: DUP3 00000dae: MUL 00000daf: DUP1 00000db0: CODESIZE 00000db1: DUP4 00000db2: CODECOPY 00000db3: ADD 00000db4: SWAP1 00000db5: POP 00000db6: JUMPDEST 00000db7: POP 00000db8: SWAP4 00000db9: POP 00000dba: DUP8 00000dbb: SWAP1 00000dbc: POP 00000dbd: JUMPDEST 00000dbe: DUP7 00000dbf: DUP2 00000dc0: LT 00000dc1: ISZERO 00000dc2: PUSH2 0x0dff 00000dc5: JUMPI 00000dc6: DUP3 00000dc7: DUP2 00000dc8: DUP2 00000dc9: MLOAD 00000dca: DUP2 00000dcb: LT 00000dcc: ISZERO 00000dcd: ISZERO 00000dce: PUSH2 0x0dd3 00000dd1: JUMPI 00000dd2: INVALID 00000dd3: JUMPDEST 00000dd4: SWAP1 00000dd5: PUSH1 0x20 00000dd7: ADD 00000dd8: SWAP1 00000dd9: PUSH1 0x20 00000ddb: MUL 00000ddc: ADD 00000ddd: MLOAD 00000dde: DUP5 00000ddf: DUP10 00000de0: DUP4 00000de1: SUB 00000de2: DUP2 00000de3: MLOAD 00000de4: DUP2 00000de5: LT 00000de6: ISZERO 00000de7: ISZERO 00000de8: PUSH2 0x0ded 00000deb: JUMPI 00000dec: INVALID 00000ded: JUMPDEST 00000dee: PUSH1 0x20 00000df0: SWAP1 00000df1: DUP2 00000df2: MUL 00000df3: SWAP1 00000df4: SWAP2 00000df5: ADD 00000df6: ADD 00000df7: MSTORE 00000df8: PUSH1 0x01 00000dfa: ADD 00000dfb: PUSH2 0x0dbd 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: POP 00000e01: POP 00000e02: POP 00000e03: SWAP5 00000e04: SWAP4 00000e05: POP 00000e06: POP 00000e07: POP 00000e08: POP 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH1 0x60 00000e0d: DUP1 00000e0e: PUSH1 0x03 00000e10: DUP1 00000e11: SLOAD 00000e12: SWAP1 00000e13: POP 00000e14: PUSH1 0x40 00000e16: MLOAD 00000e17: SWAP1 00000e18: DUP1 00000e19: DUP3 00000e1a: MSTORE 00000e1b: DUP1 00000e1c: PUSH1 0x20 00000e1e: MUL 00000e1f: PUSH1 0x20 00000e21: ADD 00000e22: DUP3 00000e23: ADD 00000e24: PUSH1 0x40 00000e26: MSTORE 00000e27: DUP1 00000e28: ISZERO 00000e29: PUSH2 0x0e3c 00000e2c: JUMPI 00000e2d: DUP2 00000e2e: PUSH1 0x20 00000e30: ADD 00000e31: PUSH1 0x20 00000e33: DUP3 00000e34: MUL 00000e35: DUP1 00000e36: CODESIZE 00000e37: DUP4 00000e38: CODECOPY 00000e39: ADD 00000e3a: SWAP1 00000e3b: POP 00000e3c: JUMPDEST 00000e3d: POP 00000e3e: SWAP1 00000e3f: POP 00000e40: PUSH1 0x00 00000e42: DUP1 00000e43: JUMPDEST 00000e44: PUSH1 0x03 00000e46: SLOAD 00000e47: DUP2 00000e48: LT 00000e49: ISZERO 00000e4a: PUSH2 0x0ef4 00000e4d: JUMPI 00000e4e: PUSH1 0x00 00000e50: DUP6 00000e51: DUP2 00000e52: MSTORE 00000e53: PUSH1 0x01 00000e55: PUSH1 0x20 00000e57: MSTORE 00000e58: PUSH1 0x40 00000e5a: DUP2 00000e5b: KECCAK256 00000e5c: PUSH1 0x03 00000e5e: DUP1 00000e5f: SLOAD 00000e60: SWAP2 00000e61: SWAP3 00000e62: SWAP2 00000e63: DUP5 00000e64: SWAP1 00000e65: DUP2 00000e66: LT 00000e67: PUSH2 0x0e6c 00000e6a: JUMPI 00000e6b: INVALID 00000e6c: JUMPDEST 00000e6d: PUSH1 0x00 00000e6f: SWAP2 00000e70: DUP3 00000e71: MSTORE 00000e72: PUSH1 0x20 00000e74: DUP1 00000e75: DUP4 00000e76: KECCAK256 00000e77: SWAP1 00000e78: SWAP2 00000e79: ADD 00000e7a: SLOAD 00000e7b: PUSH1 0x01 00000e7d: PUSH1 0xa0 00000e7f: PUSH1 0x02 00000e81: EXP 00000e82: SUB 00000e83: AND 00000e84: DUP4 00000e85: MSTORE 00000e86: DUP3 00000e87: ADD 00000e88: SWAP3 00000e89: SWAP1 00000e8a: SWAP3 00000e8b: MSTORE 00000e8c: PUSH1 0x40 00000e8e: ADD 00000e8f: SWAP1 00000e90: KECCAK256 00000e91: SLOAD 00000e92: PUSH1 0xff 00000e94: AND 00000e95: ISZERO 00000e96: PUSH2 0x0eec 00000e99: JUMPI 00000e9a: PUSH1 0x03 00000e9c: DUP1 00000e9d: SLOAD 00000e9e: DUP3 00000e9f: SWAP1 00000ea0: DUP2 00000ea1: LT 00000ea2: PUSH2 0x0ea7 00000ea5: JUMPI 00000ea6: INVALID 00000ea7: JUMPDEST 00000ea8: PUSH1 0x00 00000eaa: SWAP2 00000eab: DUP3 00000eac: MSTORE 00000ead: PUSH1 0x20 00000eaf: SWAP1 00000eb0: SWAP2 00000eb1: KECCAK256 00000eb2: ADD 00000eb3: SLOAD 00000eb4: DUP4 00000eb5: MLOAD 00000eb6: PUSH1 0x01 00000eb8: PUSH1 0xa0 00000eba: PUSH1 0x02 00000ebc: EXP 00000ebd: SUB 00000ebe: SWAP1 00000ebf: SWAP2 00000ec0: AND 00000ec1: SWAP1 00000ec2: DUP5 00000ec3: SWAP1 00000ec4: DUP5 00000ec5: SWAP1 00000ec6: DUP2 00000ec7: LT 00000ec8: PUSH2 0x0ecd 00000ecb: JUMPI 00000ecc: INVALID 00000ecd: JUMPDEST 00000ece: PUSH1 0x01 00000ed0: PUSH1 0xa0 00000ed2: PUSH1 0x02 00000ed4: EXP 00000ed5: SUB 00000ed6: SWAP1 00000ed7: SWAP3 00000ed8: AND 00000ed9: PUSH1 0x20 00000edb: SWAP3 00000edc: DUP4 00000edd: MUL 00000ede: SWAP1 00000edf: SWAP2 00000ee0: ADD 00000ee1: SWAP1 00000ee2: SWAP2 00000ee3: ADD 00000ee4: MSTORE 00000ee5: PUSH1 0x01 00000ee7: SWAP2 00000ee8: SWAP1 00000ee9: SWAP2 00000eea: ADD 00000eeb: SWAP1 00000eec: JUMPDEST 00000eed: PUSH1 0x01 00000eef: ADD 00000ef0: PUSH2 0x0e43 00000ef3: JUMP 00000ef4: JUMPDEST 00000ef5: DUP2 00000ef6: PUSH1 0x40 00000ef8: MLOAD 00000ef9: SWAP1 00000efa: DUP1 00000efb: DUP3 00000efc: MSTORE 00000efd: DUP1 00000efe: PUSH1 0x20 00000f00: MUL 00000f01: PUSH1 0x20 00000f03: ADD 00000f04: DUP3 00000f05: ADD 00000f06: PUSH1 0x40 00000f08: MSTORE 00000f09: DUP1 00000f0a: ISZERO 00000f0b: PUSH2 0x0f1e 00000f0e: JUMPI 00000f0f: DUP2 00000f10: PUSH1 0x20 00000f12: ADD 00000f13: PUSH1 0x20 00000f15: DUP3 00000f16: MUL 00000f17: DUP1 00000f18: CODESIZE 00000f19: DUP4 00000f1a: CODECOPY 00000f1b: ADD 00000f1c: SWAP1 00000f1d: POP 00000f1e: JUMPDEST 00000f1f: POP 00000f20: SWAP4 00000f21: POP 00000f22: PUSH1 0x00 00000f24: SWAP1 00000f25: POP 00000f26: JUMPDEST 00000f27: DUP2 00000f28: DUP2 00000f29: LT 00000f2a: ISZERO 00000f2b: PUSH2 0x0f73 00000f2e: JUMPI 00000f2f: DUP3 00000f30: DUP2 00000f31: DUP2 00000f32: MLOAD 00000f33: DUP2 00000f34: LT 00000f35: ISZERO 00000f36: ISZERO 00000f37: PUSH2 0x0f3c 00000f3a: JUMPI 00000f3b: INVALID 00000f3c: JUMPDEST 00000f3d: SWAP1 00000f3e: PUSH1 0x20 00000f40: ADD 00000f41: SWAP1 00000f42: PUSH1 0x20 00000f44: MUL 00000f45: ADD 00000f46: MLOAD 00000f47: DUP5 00000f48: DUP3 00000f49: DUP2 00000f4a: MLOAD 00000f4b: DUP2 00000f4c: LT 00000f4d: ISZERO 00000f4e: ISZERO 00000f4f: PUSH2 0x0f54 00000f52: JUMPI 00000f53: INVALID 00000f54: JUMPDEST 00000f55: PUSH1 0x01 00000f57: PUSH1 0xa0 00000f59: PUSH1 0x02 00000f5b: EXP 00000f5c: SUB 00000f5d: SWAP1 00000f5e: SWAP3 00000f5f: AND 00000f60: PUSH1 0x20 00000f62: SWAP3 00000f63: DUP4 00000f64: MUL 00000f65: SWAP1 00000f66: SWAP2 00000f67: ADD 00000f68: SWAP1 00000f69: SWAP2 00000f6a: ADD 00000f6b: MSTORE 00000f6c: PUSH1 0x01 00000f6e: ADD 00000f6f: PUSH2 0x0f26 00000f72: JUMP 00000f73: JUMPDEST 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: SWAP2 00000f78: SWAP1 00000f79: POP 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: PUSH1 0x05 00000f7e: SLOAD 00000f7f: DUP2 00000f80: JUMP 00000f81: JUMPDEST 00000f82: CALLER 00000f83: ADDRESS 00000f84: EQ 00000f85: PUSH2 0x0f8d 00000f88: JUMPI 00000f89: PUSH1 0x00 00000f8b: DUP1 00000f8c: REVERT 00000f8d: JUMPDEST 00000f8e: PUSH1 0x03 00000f90: SLOAD 00000f91: DUP2 00000f92: PUSH1 0x32 00000f94: DUP3 00000f95: GT 00000f96: DUP1 00000f97: ISZERO 00000f98: SWAP1 00000f99: PUSH2 0x0fa2 00000f9c: JUMPI 00000f9d: POP 00000f9e: DUP2 00000f9f: DUP2 00000fa0: GT 00000fa1: ISZERO 00000fa2: JUMPDEST 00000fa3: DUP1 00000fa4: ISZERO 00000fa5: PUSH2 0x0fad 00000fa8: JUMPI 00000fa9: POP 00000faa: DUP1 00000fab: ISZERO 00000fac: ISZERO 00000fad: JUMPDEST 00000fae: DUP1 00000faf: ISZERO 00000fb0: PUSH2 0x0fb8 00000fb3: JUMPI 00000fb4: POP 00000fb5: DUP2 00000fb6: ISZERO 00000fb7: ISZERO 00000fb8: JUMPDEST 00000fb9: ISZERO 00000fba: ISZERO 00000fbb: PUSH2 0x0fc3 00000fbe: JUMPI 00000fbf: PUSH1 0x00 00000fc1: DUP1 00000fc2: REVERT 00000fc3: JUMPDEST 00000fc4: PUSH1 0x04 00000fc6: DUP4 00000fc7: SWAP1 00000fc8: SSTORE 00000fc9: PUSH1 0x40 00000fcb: DUP1 00000fcc: MLOAD 00000fcd: DUP5 00000fce: DUP2 00000fcf: MSTORE 00000fd0: SWAP1 00000fd1: MLOAD 00000fd2: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 00000ff3: SWAP2 00000ff4: DUP2 00000ff5: SWAP1 00000ff6: SUB 00000ff7: PUSH1 0x20 00000ff9: ADD 00000ffa: SWAP1 00000ffb: LOG1 00000ffc: POP 00000ffd: POP 00000ffe: POP 00000fff: JUMP 00001000: JUMPDEST 00001001: CALLER 00001002: PUSH1 0x00 00001004: DUP2 00001005: DUP2 00001006: MSTORE 00001007: PUSH1 0x02 00001009: PUSH1 0x20 0000100b: MSTORE 0000100c: PUSH1 0x40 0000100e: SWAP1 0000100f: KECCAK256 00001010: SLOAD 00001011: PUSH1 0xff 00001013: AND 00001014: ISZERO 00001015: ISZERO 00001016: PUSH2 0x101e 00001019: JUMPI 0000101a: PUSH1 0x00 0000101c: DUP1 0000101d: REVERT 0000101e: JUMPDEST 0000101f: PUSH1 0x00 00001021: DUP3 00001022: DUP2 00001023: MSTORE 00001024: PUSH1 0x20 00001026: DUP2 00001027: SWAP1 00001028: MSTORE 00001029: PUSH1 0x40 0000102b: SWAP1 0000102c: KECCAK256 0000102d: SLOAD 0000102e: DUP3 0000102f: SWAP1 00001030: PUSH1 0x01 00001032: PUSH1 0xa0 00001034: PUSH1 0x02 00001036: EXP 00001037: SUB 00001038: AND 00001039: ISZERO 0000103a: ISZERO 0000103b: PUSH2 0x1043 0000103e: JUMPI 0000103f: PUSH1 0x00 00001041: DUP1 00001042: REVERT 00001043: JUMPDEST 00001044: PUSH1 0x00 00001046: DUP4 00001047: DUP2 00001048: MSTORE 00001049: PUSH1 0x01 0000104b: PUSH1 0x20 0000104d: SWAP1 0000104e: DUP2 0000104f: MSTORE 00001050: PUSH1 0x40 00001052: DUP1 00001053: DUP4 00001054: KECCAK256 00001055: CALLER 00001056: DUP1 00001057: DUP6 00001058: MSTORE 00001059: SWAP3 0000105a: MSTORE 0000105b: SWAP1 0000105c: SWAP2 0000105d: KECCAK256 0000105e: SLOAD 0000105f: DUP5 00001060: SWAP2 00001061: SWAP1 00001062: PUSH1 0xff 00001064: AND 00001065: ISZERO 00001066: PUSH2 0x106e 00001069: JUMPI 0000106a: PUSH1 0x00 0000106c: DUP1 0000106d: REVERT 0000106e: JUMPDEST 0000106f: PUSH1 0x00 00001071: DUP6 00001072: DUP2 00001073: MSTORE 00001074: PUSH1 0x01 00001076: PUSH1 0x20 00001078: DUP2 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x40 0000107d: DUP1 0000107e: DUP5 0000107f: KECCAK256 00001080: CALLER 00001081: DUP1 00001082: DUP7 00001083: MSTORE 00001084: SWAP3 00001085: MSTORE 00001086: DUP1 00001087: DUP5 00001088: KECCAK256 00001089: DUP1 0000108a: SLOAD 0000108b: PUSH1 0xff 0000108d: NOT 0000108e: AND 0000108f: SWAP1 00001090: SWAP4 00001091: OR 00001092: SWAP1 00001093: SWAP3 00001094: SSTORE 00001095: SWAP1 00001096: MLOAD 00001097: DUP8 00001098: SWAP3 00001099: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 000010ba: SWAP2 000010bb: LOG3 000010bc: PUSH2 0x10c4 000010bf: DUP6 000010c0: PUSH2 0x1278 000010c3: JUMP 000010c4: JUMPDEST 000010c5: POP 000010c6: POP 000010c7: POP 000010c8: POP 000010c9: POP 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x00 000010ce: PUSH2 0x10d8 000010d1: DUP5 000010d2: DUP5 000010d3: DUP5 000010d4: PUSH2 0x1433 000010d7: JUMP 000010d8: JUMPDEST 000010d9: SWAP1 000010da: POP 000010db: PUSH2 0x10e3 000010de: DUP2 000010df: PUSH2 0x1000 000010e2: JUMP 000010e3: JUMPDEST 000010e4: SWAP4 000010e5: SWAP3 000010e6: POP 000010e7: POP 000010e8: POP 000010e9: JUMP 000010ea: JUMPDEST 000010eb: PUSH1 0x32 000010ed: DUP2 000010ee: JUMP 000010ef: JUMPDEST 000010f0: PUSH1 0x04 000010f2: SLOAD 000010f3: DUP2 000010f4: JUMP 000010f5: JUMPDEST 000010f6: CALLER 000010f7: ADDRESS 000010f8: EQ 000010f9: PUSH2 0x1101 000010fc: JUMPI 000010fd: PUSH1 0x00 000010ff: DUP1 00001100: REVERT 00001101: JUMPDEST 00001102: PUSH1 0x01 00001104: PUSH1 0xa0 00001106: PUSH1 0x02 00001108: EXP 00001109: SUB 0000110a: DUP3 0000110b: AND 0000110c: PUSH1 0x00 0000110e: SWAP1 0000110f: DUP2 00001110: MSTORE 00001111: PUSH1 0x02 00001113: PUSH1 0x20 00001115: MSTORE 00001116: PUSH1 0x40 00001118: SWAP1 00001119: KECCAK256 0000111a: SLOAD 0000111b: DUP3 0000111c: SWAP1 0000111d: PUSH1 0xff 0000111f: AND 00001120: ISZERO 00001121: ISZERO 00001122: PUSH2 0x112a 00001125: JUMPI 00001126: PUSH1 0x00 00001128: DUP1 00001129: REVERT 0000112a: JUMPDEST 0000112b: PUSH1 0x01 0000112d: PUSH1 0xa0 0000112f: PUSH1 0x02 00001131: EXP 00001132: SUB 00001133: DUP3 00001134: AND 00001135: PUSH1 0x00 00001137: SWAP1 00001138: DUP2 00001139: MSTORE 0000113a: PUSH1 0x02 0000113c: PUSH1 0x20 0000113e: MSTORE 0000113f: PUSH1 0x40 00001141: SWAP1 00001142: KECCAK256 00001143: SLOAD 00001144: DUP3 00001145: SWAP1 00001146: PUSH1 0xff 00001148: AND 00001149: ISZERO 0000114a: PUSH2 0x1152 0000114d: JUMPI 0000114e: PUSH1 0x00 00001150: DUP1 00001151: REVERT 00001152: JUMPDEST 00001153: PUSH1 0x00 00001155: JUMPDEST 00001156: PUSH1 0x03 00001158: SLOAD 00001159: DUP2 0000115a: LT 0000115b: ISZERO 0000115c: PUSH2 0x11de 0000115f: JUMPI 00001160: DUP5 00001161: PUSH1 0x01 00001163: PUSH1 0xa0 00001165: PUSH1 0x02 00001167: EXP 00001168: SUB 00001169: AND 0000116a: PUSH1 0x03 0000116c: DUP3 0000116d: DUP2 0000116e: SLOAD 0000116f: DUP2 00001170: LT 00001171: ISZERO 00001172: ISZERO 00001173: PUSH2 0x1178 00001176: JUMPI 00001177: INVALID 00001178: JUMPDEST 00001179: PUSH1 0x00 0000117b: SWAP2 0000117c: DUP3 0000117d: MSTORE 0000117e: PUSH1 0x20 00001180: SWAP1 00001181: SWAP2 00001182: KECCAK256 00001183: ADD 00001184: SLOAD 00001185: PUSH1 0x01 00001187: PUSH1 0xa0 00001189: PUSH1 0x02 0000118b: EXP 0000118c: SUB 0000118d: AND 0000118e: EQ 0000118f: ISZERO 00001190: PUSH2 0x11d6 00001193: JUMPI 00001194: DUP4 00001195: PUSH1 0x03 00001197: DUP3 00001198: DUP2 00001199: SLOAD 0000119a: DUP2 0000119b: LT 0000119c: ISZERO 0000119d: ISZERO 0000119e: PUSH2 0x11a3 000011a1: JUMPI 000011a2: INVALID 000011a3: JUMPDEST 000011a4: SWAP1 000011a5: PUSH1 0x00 000011a7: MSTORE 000011a8: PUSH1 0x20 000011aa: PUSH1 0x00 000011ac: KECCAK256 000011ad: ADD 000011ae: PUSH1 0x00 000011b0: PUSH2 0x0100 000011b3: EXP 000011b4: DUP2 000011b5: SLOAD 000011b6: DUP2 000011b7: PUSH1 0x01 000011b9: PUSH1 0xa0 000011bb: PUSH1 0x02 000011bd: EXP 000011be: SUB 000011bf: MUL 000011c0: NOT 000011c1: AND 000011c2: SWAP1 000011c3: DUP4 000011c4: PUSH1 0x01 000011c6: PUSH1 0xa0 000011c8: PUSH1 0x02 000011ca: EXP 000011cb: SUB 000011cc: AND 000011cd: MUL 000011ce: OR 000011cf: SWAP1 000011d0: SSTORE 000011d1: POP 000011d2: PUSH2 0x11de 000011d5: JUMP 000011d6: JUMPDEST 000011d7: PUSH1 0x01 000011d9: ADD 000011da: PUSH2 0x1155 000011dd: JUMP 000011de: JUMPDEST 000011df: POP 000011e0: PUSH1 0x01 000011e2: PUSH1 0xa0 000011e4: PUSH1 0x02 000011e6: EXP 000011e7: SUB 000011e8: DUP1 000011e9: DUP6 000011ea: AND 000011eb: PUSH1 0x00 000011ed: DUP2 000011ee: DUP2 000011ef: MSTORE 000011f0: PUSH1 0x02 000011f2: PUSH1 0x20 000011f4: MSTORE 000011f5: PUSH1 0x40 000011f7: DUP1 000011f8: DUP3 000011f9: KECCAK256 000011fa: DUP1 000011fb: SLOAD 000011fc: PUSH1 0xff 000011fe: NOT 000011ff: SWAP1 00001200: DUP2 00001201: AND 00001202: SWAP1 00001203: SWAP2 00001204: SSTORE 00001205: SWAP4 00001206: DUP8 00001207: AND 00001208: DUP3 00001209: MSTORE 0000120a: DUP1 0000120b: DUP3 0000120c: KECCAK256 0000120d: DUP1 0000120e: SLOAD 0000120f: SWAP1 00001210: SWAP5 00001211: AND 00001212: PUSH1 0x01 00001214: OR 00001215: SWAP1 00001216: SWAP4 00001217: SSTORE 00001218: SWAP2 00001219: MLOAD 0000121a: SWAP1 0000121b: SWAP2 0000121c: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 0000123d: SWAP2 0000123e: LOG2 0000123f: PUSH1 0x40 00001241: MLOAD 00001242: PUSH1 0x01 00001244: PUSH1 0xa0 00001246: PUSH1 0x02 00001248: EXP 00001249: SUB 0000124a: DUP5 0000124b: AND 0000124c: SWAP1 0000124d: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 0000126e: SWAP1 0000126f: PUSH1 0x00 00001271: SWAP1 00001272: LOG2 00001273: POP 00001274: POP 00001275: POP 00001276: POP 00001277: JUMP 00001278: JUMPDEST 00001279: CALLER 0000127a: PUSH1 0x00 0000127c: DUP2 0000127d: DUP2 0000127e: MSTORE 0000127f: PUSH1 0x02 00001281: PUSH1 0x20 00001283: MSTORE 00001284: PUSH1 0x40 00001286: SWAP1 00001287: KECCAK256 00001288: SLOAD 00001289: PUSH1 0xff 0000128b: AND 0000128c: ISZERO 0000128d: ISZERO 0000128e: PUSH2 0x1296 00001291: JUMPI 00001292: PUSH1 0x00 00001294: DUP1 00001295: REVERT 00001296: JUMPDEST 00001297: PUSH1 0x00 00001299: DUP3 0000129a: DUP2 0000129b: MSTORE 0000129c: PUSH1 0x01 0000129e: PUSH1 0x20 000012a0: SWAP1 000012a1: DUP2 000012a2: MSTORE 000012a3: PUSH1 0x40 000012a5: DUP1 000012a6: DUP4 000012a7: KECCAK256 000012a8: CALLER 000012a9: DUP1 000012aa: DUP6 000012ab: MSTORE 000012ac: SWAP3 000012ad: MSTORE 000012ae: SWAP1 000012af: SWAP2 000012b0: KECCAK256 000012b1: SLOAD 000012b2: DUP4 000012b3: SWAP2 000012b4: SWAP1 000012b5: PUSH1 0xff 000012b7: AND 000012b8: ISZERO 000012b9: ISZERO 000012ba: PUSH2 0x12c2 000012bd: JUMPI 000012be: PUSH1 0x00 000012c0: DUP1 000012c1: REVERT 000012c2: JUMPDEST 000012c3: PUSH1 0x00 000012c5: DUP5 000012c6: DUP2 000012c7: MSTORE 000012c8: PUSH1 0x20 000012ca: DUP2 000012cb: SWAP1 000012cc: MSTORE 000012cd: PUSH1 0x40 000012cf: SWAP1 000012d0: KECCAK256 000012d1: PUSH1 0x03 000012d3: ADD 000012d4: SLOAD 000012d5: DUP5 000012d6: SWAP1 000012d7: PUSH1 0xff 000012d9: AND 000012da: ISZERO 000012db: PUSH2 0x12e3 000012de: JUMPI 000012df: PUSH1 0x00 000012e1: DUP1 000012e2: REVERT 000012e3: JUMPDEST 000012e4: PUSH2 0x12ec 000012e7: DUP6 000012e8: PUSH2 0x0ac2 000012eb: JUMP 000012ec: JUMPDEST 000012ed: ISZERO 000012ee: PUSH2 0x10c4 000012f1: JUMPI 000012f2: PUSH1 0x00 000012f4: DUP6 000012f5: DUP2 000012f6: MSTORE 000012f7: PUSH1 0x20 000012f9: DUP2 000012fa: DUP2 000012fb: MSTORE 000012fc: PUSH1 0x40 000012fe: SWAP2 000012ff: DUP3 00001300: SWAP1 00001301: KECCAK256 00001302: PUSH1 0x03 00001304: DUP2 00001305: ADD 00001306: DUP1 00001307: SLOAD 00001308: PUSH1 0xff 0000130a: NOT 0000130b: AND 0000130c: PUSH1 0x01 0000130e: SWAP1 0000130f: DUP2 00001310: OR 00001311: SWAP1 00001312: SWAP2 00001313: SSTORE 00001314: DUP2 00001315: SLOAD 00001316: DUP2 00001317: DUP4 00001318: ADD 00001319: SLOAD 0000131a: PUSH1 0x02 0000131c: DUP1 0000131d: DUP6 0000131e: ADD 0000131f: DUP1 00001320: SLOAD 00001321: DUP9 00001322: MLOAD 00001323: PUSH1 0x1f 00001325: PUSH1 0x00 00001327: NOT 00001328: SWAP8 00001329: DUP4 0000132a: AND 0000132b: ISZERO 0000132c: PUSH2 0x0100 0000132f: MUL 00001330: SWAP8 00001331: SWAP1 00001332: SWAP8 00001333: ADD 00001334: SWAP1 00001335: SWAP2 00001336: AND 00001337: SWAP3 00001338: SWAP1 00001339: SWAP3 0000133a: DIV 0000133b: SWAP5 0000133c: DUP6 0000133d: ADD 0000133e: DUP8 0000133f: SWAP1 00001340: DIV 00001341: DUP8 00001342: MUL 00001343: DUP3 00001344: ADD 00001345: DUP8 00001346: ADD 00001347: SWAP1 00001348: SWAP8 00001349: MSTORE 0000134a: DUP4 0000134b: DUP2 0000134c: MSTORE 0000134d: SWAP4 0000134e: SWAP6 0000134f: PUSH2 0x13be 00001352: SWAP6 00001353: PUSH1 0x01 00001355: PUSH1 0xa0 00001357: PUSH1 0x02 00001359: EXP 0000135a: SUB 0000135b: SWAP1 0000135c: SWAP4 0000135d: AND 0000135e: SWAP5 0000135f: SWAP2 00001360: SWAP4 00001361: SWAP3 00001362: DUP4 00001363: SWAP1 00001364: DUP4 00001365: ADD 00001366: DUP3 00001367: DUP3 00001368: DUP1 00001369: ISZERO 0000136a: PUSH2 0x13b4 0000136d: JUMPI 0000136e: DUP1 0000136f: PUSH1 0x1f 00001371: LT 00001372: PUSH2 0x1389 00001375: JUMPI 00001376: PUSH2 0x0100 00001379: DUP1 0000137a: DUP4 0000137b: SLOAD 0000137c: DIV 0000137d: MUL 0000137e: DUP4 0000137f: MSTORE 00001380: SWAP2 00001381: PUSH1 0x20 00001383: ADD 00001384: SWAP2 00001385: PUSH2 0x13b4 00001388: JUMP 00001389: JUMPDEST 0000138a: DUP3 0000138b: ADD 0000138c: SWAP2 0000138d: SWAP1 0000138e: PUSH1 0x00 00001390: MSTORE 00001391: PUSH1 0x20 00001393: PUSH1 0x00 00001395: KECCAK256 00001396: SWAP1 00001397: JUMPDEST 00001398: DUP2 00001399: SLOAD 0000139a: DUP2 0000139b: MSTORE 0000139c: SWAP1 0000139d: PUSH1 0x01 0000139f: ADD 000013a0: SWAP1 000013a1: PUSH1 0x20 000013a3: ADD 000013a4: DUP1 000013a5: DUP4 000013a6: GT 000013a7: PUSH2 0x1397 000013aa: JUMPI 000013ab: DUP3 000013ac: SWAP1 000013ad: SUB 000013ae: PUSH1 0x1f 000013b0: AND 000013b1: DUP3 000013b2: ADD 000013b3: SWAP2 000013b4: JUMPDEST 000013b5: POP 000013b6: POP 000013b7: POP 000013b8: POP 000013b9: POP 000013ba: PUSH2 0x1523 000013bd: JUMP 000013be: JUMPDEST 000013bf: ISZERO 000013c0: PUSH2 0x13f3 000013c3: JUMPI 000013c4: PUSH1 0x40 000013c6: MLOAD 000013c7: DUP7 000013c8: SWAP1 000013c9: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 000013ea: SWAP1 000013eb: PUSH1 0x00 000013ed: SWAP1 000013ee: LOG2 000013ef: PUSH2 0x142b 000013f2: JUMP 000013f3: JUMPDEST 000013f4: PUSH1 0x40 000013f6: MLOAD 000013f7: DUP7 000013f8: SWAP1 000013f9: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 0000141a: SWAP1 0000141b: PUSH1 0x00 0000141d: SWAP1 0000141e: LOG2 0000141f: PUSH1 0x03 00001421: DUP2 00001422: ADD 00001423: DUP1 00001424: SLOAD 00001425: PUSH1 0xff 00001427: NOT 00001428: AND 00001429: SWAP1 0000142a: SSTORE 0000142b: JUMPDEST 0000142c: POP 0000142d: POP 0000142e: POP 0000142f: POP 00001430: POP 00001431: POP 00001432: JUMP 00001433: JUMPDEST 00001434: PUSH1 0x00 00001436: DUP4 00001437: PUSH1 0x01 00001439: PUSH1 0xa0 0000143b: PUSH1 0x02 0000143d: EXP 0000143e: SUB 0000143f: DUP2 00001440: AND 00001441: ISZERO 00001442: ISZERO 00001443: PUSH2 0x144b 00001446: JUMPI 00001447: PUSH1 0x00 00001449: DUP1 0000144a: REVERT 0000144b: JUMPDEST 0000144c: PUSH1 0x05 0000144e: SLOAD 0000144f: PUSH1 0x40 00001451: DUP1 00001452: MLOAD 00001453: PUSH1 0x80 00001455: DUP2 00001456: ADD 00001457: DUP3 00001458: MSTORE 00001459: PUSH1 0x01 0000145b: PUSH1 0xa0 0000145d: PUSH1 0x02 0000145f: EXP 00001460: SUB 00001461: DUP9 00001462: DUP2 00001463: AND 00001464: DUP3 00001465: MSTORE 00001466: PUSH1 0x20 00001468: DUP1 00001469: DUP4 0000146a: ADD 0000146b: DUP10 0000146c: DUP2 0000146d: MSTORE 0000146e: DUP4 0000146f: DUP6 00001470: ADD 00001471: DUP10 00001472: DUP2 00001473: MSTORE 00001474: PUSH1 0x00 00001476: PUSH1 0x60 00001478: DUP7 00001479: ADD 0000147a: DUP2 0000147b: SWAP1 0000147c: MSTORE 0000147d: DUP8 0000147e: DUP2 0000147f: MSTORE 00001480: DUP1 00001481: DUP5 00001482: MSTORE 00001483: SWAP6 00001484: SWAP1 00001485: SWAP6 00001486: KECCAK256 00001487: DUP5 00001488: MLOAD 00001489: DUP2 0000148a: SLOAD 0000148b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a0: NOT 000014a1: AND 000014a2: SWAP5 000014a3: AND 000014a4: SWAP4 000014a5: SWAP1 000014a6: SWAP4 000014a7: OR 000014a8: DUP4 000014a9: SSTORE 000014aa: MLOAD 000014ab: PUSH1 0x01 000014ad: DUP4 000014ae: ADD 000014af: SSTORE 000014b0: SWAP3 000014b1: MLOAD 000014b2: DUP1 000014b3: MLOAD 000014b4: SWAP5 000014b5: SWAP7 000014b6: POP 000014b7: SWAP2 000014b8: SWAP4 000014b9: SWAP1 000014ba: SWAP3 000014bb: PUSH2 0x14cb 000014be: SWAP3 000014bf: PUSH1 0x02 000014c1: DUP6 000014c2: ADD 000014c3: SWAP3 000014c4: SWAP2 000014c5: ADD 000014c6: SWAP1 000014c7: PUSH2 0x156f 000014ca: JUMP 000014cb: JUMPDEST 000014cc: POP 000014cd: PUSH1 0x60 000014cf: SWAP2 000014d0: SWAP1 000014d1: SWAP2 000014d2: ADD 000014d3: MLOAD 000014d4: PUSH1 0x03 000014d6: SWAP1 000014d7: SWAP2 000014d8: ADD 000014d9: DUP1 000014da: SLOAD 000014db: PUSH1 0xff 000014dd: NOT 000014de: AND 000014df: SWAP2 000014e0: ISZERO 000014e1: ISZERO 000014e2: SWAP2 000014e3: SWAP1 000014e4: SWAP2 000014e5: OR 000014e6: SWAP1 000014e7: SSTORE 000014e8: PUSH1 0x05 000014ea: DUP1 000014eb: SLOAD 000014ec: PUSH1 0x01 000014ee: ADD 000014ef: SWAP1 000014f0: SSTORE 000014f1: PUSH1 0x40 000014f3: MLOAD 000014f4: DUP3 000014f5: SWAP1 000014f6: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 00001517: SWAP1 00001518: PUSH1 0x00 0000151a: SWAP1 0000151b: LOG2 0000151c: POP 0000151d: SWAP4 0000151e: SWAP3 0000151f: POP 00001520: POP 00001521: POP 00001522: JUMP 00001523: JUMPDEST 00001524: PUSH1 0x00 00001526: DUP1 00001527: PUSH1 0x40 00001529: MLOAD 0000152a: PUSH1 0x20 0000152c: DUP5 0000152d: ADD 0000152e: PUSH1 0x00 00001530: DUP3 00001531: DUP8 00001532: DUP4 00001533: DUP11 00001534: DUP13 00001535: PUSH2 0x8796 00001538: GAS 00001539: SUB 0000153a: CALL 0000153b: SWAP9 0000153c: SWAP8 0000153d: POP 0000153e: POP 0000153f: POP 00001540: POP 00001541: POP 00001542: POP 00001543: POP 00001544: POP 00001545: JUMP 00001546: JUMPDEST 00001547: DUP2 00001548: SLOAD 00001549: DUP2 0000154a: DUP4 0000154b: SSTORE 0000154c: DUP2 0000154d: DUP2 0000154e: GT 0000154f: ISZERO 00001550: PUSH2 0x156a 00001553: JUMPI 00001554: PUSH1 0x00 00001556: DUP4 00001557: DUP2 00001558: MSTORE 00001559: PUSH1 0x20 0000155b: SWAP1 0000155c: KECCAK256 0000155d: PUSH2 0x156a 00001560: SWAP2 00001561: DUP2 00001562: ADD 00001563: SWAP1 00001564: DUP4 00001565: ADD 00001566: PUSH2 0x15ed 00001569: JUMP 0000156a: JUMPDEST 0000156b: POP 0000156c: POP 0000156d: POP 0000156e: JUMP 0000156f: JUMPDEST 00001570: DUP3 00001571: DUP1 00001572: SLOAD 00001573: PUSH1 0x01 00001575: DUP2 00001576: PUSH1 0x01 00001578: AND 00001579: ISZERO 0000157a: PUSH2 0x0100 0000157d: MUL 0000157e: SUB 0000157f: AND 00001580: PUSH1 0x02 00001582: SWAP1 00001583: DIV 00001584: SWAP1 00001585: PUSH1 0x00 00001587: MSTORE 00001588: PUSH1 0x20 0000158a: PUSH1 0x00 0000158c: KECCAK256 0000158d: SWAP1 0000158e: PUSH1 0x1f 00001590: ADD 00001591: PUSH1 0x20 00001593: SWAP1 00001594: DIV 00001595: DUP2 00001596: ADD 00001597: SWAP3 00001598: DUP3 00001599: PUSH1 0x1f 0000159b: LT 0000159c: PUSH2 0x15b0 0000159f: JUMPI 000015a0: DUP1 000015a1: MLOAD 000015a2: PUSH1 0xff 000015a4: NOT 000015a5: AND 000015a6: DUP4 000015a7: DUP1 000015a8: ADD 000015a9: OR 000015aa: DUP6 000015ab: SSTORE 000015ac: PUSH2 0x15dd 000015af: JUMP 000015b0: JUMPDEST 000015b1: DUP3 000015b2: DUP1 000015b3: ADD 000015b4: PUSH1 0x01 000015b6: ADD 000015b7: DUP6 000015b8: SSTORE 000015b9: DUP3 000015ba: ISZERO 000015bb: PUSH2 0x15dd 000015be: JUMPI 000015bf: SWAP2 000015c0: DUP3 000015c1: ADD 000015c2: JUMPDEST 000015c3: DUP3 000015c4: DUP2 000015c5: GT 000015c6: ISZERO 000015c7: PUSH2 0x15dd 000015ca: JUMPI 000015cb: DUP3 000015cc: MLOAD 000015cd: DUP3 000015ce: SSTORE 000015cf: SWAP2 000015d0: PUSH1 0x20 000015d2: ADD 000015d3: SWAP2 000015d4: SWAP1 000015d5: PUSH1 0x01 000015d7: ADD 000015d8: SWAP1 000015d9: PUSH2 0x15c2 000015dc: JUMP 000015dd: JUMPDEST 000015de: POP 000015df: PUSH2 0x15e9 000015e2: SWAP3 000015e3: SWAP2 000015e4: POP 000015e5: PUSH2 0x15ed 000015e8: JUMP 000015e9: JUMPDEST 000015ea: POP 000015eb: SWAP1 000015ec: JUMP 000015ed: JUMPDEST 000015ee: PUSH2 0x0cd6 000015f1: SWAP2 000015f2: SWAP1 000015f3: JUMPDEST 000015f4: DUP1 000015f5: DUP3 000015f6: GT 000015f7: ISZERO 000015f8: PUSH2 0x15e9 000015fb: JUMPI 000015fc: PUSH1 0x00 000015fe: DUP2 000015ff: SSTORE 00001600: PUSH1 0x01 00001602: ADD 00001603: PUSH2 0x15f3 00001606: JUMP 00001607: INVALID 00001608: LOG1 00001609: PUSH6 0x627a7a723058 00001610: KECCAK256 00001611: SWAP6 00001612: CODESIZE 00001613: DUP11 00001614: COINBASE 00001615: BALANCE 00001616: UNKNOWN(0x4E) 00001617: PUSH24 0xf9a273023344e683038996423751cc29d218f72d45101a6d 00001630: COINBASE 00001631: STOP 00001632: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x96b6a11f6c2acf2752c504bf4070fa01043ec2489138b37c847843d98ce2bb47
call_targets:
0xa32ff8ca08036337fabf50fa029812361cd176c8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x96b6a11f6c2acf2752c504bf4070fa01043ec2489138b37c847843d98ce2bb47",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa32ff8ca08036337fabf50fa029812361cd176c8"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5434,
"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: 0x96b6a11f6c2acf2752c504bf4070fa01043ec2489138b37c847843d98ce2bb47
call_targets:
0xa32ff8ca08036337fabf50fa029812361cd176c8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x96b6a11f6c2acf2752c504bf4070fa01043ec2489138b37c847843d98ce2bb47",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa32ff8ca08036337fabf50fa029812361cd176c8"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x784547a7",
"selector": "0x784547a7",
"calldata_variants": [
"0x784547a7",
"0x784547a70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5434,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|