019b3844-8cf8-708b-97f2-764ece249266
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 |
|---|---|---|---|---|
| 12053 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12054 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84252 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84253 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84254 | detector.run | complete | 1 / 3 | 1 week ago |
| 84255 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x017f 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x019871e9 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0184 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x053992c5 00000046: EQ 00000047: PUSH2 0x01de 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x06fdde03 00000051: EQ 00000052: PUSH2 0x01f7 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x095ea7b3 0000005c: EQ 0000005d: PUSH2 0x0281 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x18160ddd 00000067: EQ 00000068: PUSH2 0x02a3 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x1a289aea 00000072: EQ 00000073: PUSH2 0x02c8 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x2a6dd48f 0000007d: EQ 0000007e: PUSH2 0x02ff 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x2b1fd58a 00000088: EQ 00000089: PUSH2 0x0331 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x3af32abf 00000093: EQ 00000094: PUSH2 0x0347 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x454a2ab3 0000009e: EQ 0000009f: PUSH2 0x037a 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x5a3f2672 000000a9: EQ 000000aa: PUSH2 0x0385 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x5c68a557 000000b4: EQ 000000b5: PUSH2 0x03f7 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x62f11dd2 000000bf: EQ 000000c0: PUSH2 0x040d 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x6352211e 000000ca: EQ 000000cb: PUSH2 0x042c 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x653436fd 000000d5: EQ 000000d6: PUSH2 0x0442 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x70a08231 000000e0: EQ 000000e1: PUSH2 0x0493 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x8da5cb5b 000000eb: EQ 000000ec: PUSH2 0x04b2 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x95d89b41 000000f6: EQ 000000f7: PUSH2 0x04c5 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x9703ef35 00000101: EQ 00000102: PUSH2 0x04d8 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x9f2a3c32 0000010c: EQ 0000010d: PUSH2 0x04ee 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xa9059cbb 00000117: EQ 00000118: PUSH2 0x0504 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xb2e6ceeb 00000122: EQ 00000123: PUSH2 0x0526 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xc0ec93e7 0000012d: EQ 0000012e: PUSH2 0x053c 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xc87b56dd 00000138: EQ 00000139: PUSH2 0x0552 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xd5da8d44 00000143: EQ 00000144: PUSH2 0x0568 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xd96a094a 0000014e: EQ 0000014f: PUSH2 0x057e 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xd9856c21 00000159: EQ 0000015a: PUSH2 0x0589 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xf071bf4f 00000164: EQ 00000165: PUSH2 0x05da 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xf2bf6b8c 0000016f: EQ 00000170: PUSH2 0x05ed 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xf2fde38b 0000017a: EQ 0000017b: PUSH2 0x0600 0000017e: JUMPI 0000017f: JUMPDEST 00000180: PUSH1 0x00 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: CALLVALUE 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: PUSH2 0x01dc 00000193: PUSH1 0x04 00000195: PUSH1 0x24 00000197: DUP2 00000198: CALLDATALOAD 00000199: DUP2 0000019a: DUP2 0000019b: ADD 0000019c: SWAP1 0000019d: DUP4 0000019e: ADD 0000019f: CALLDATALOAD 000001a0: DUP1 000001a1: PUSH1 0x20 000001a3: PUSH1 0x1f 000001a5: DUP3 000001a6: ADD 000001a7: DUP2 000001a8: SWAP1 000001a9: DIV 000001aa: DUP2 000001ab: MUL 000001ac: ADD 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: SWAP1 000001b1: DUP2 000001b2: ADD 000001b3: PUSH1 0x40 000001b5: MSTORE 000001b6: DUP2 000001b7: DUP2 000001b8: MSTORE 000001b9: SWAP3 000001ba: SWAP2 000001bb: SWAP1 000001bc: PUSH1 0x20 000001be: DUP5 000001bf: ADD 000001c0: DUP4 000001c1: DUP4 000001c2: DUP1 000001c3: DUP3 000001c4: DUP5 000001c5: CALLDATACOPY 000001c6: POP 000001c7: SWAP5 000001c8: SWAP7 000001c9: POP 000001ca: POP 000001cb: DUP5 000001cc: CALLDATALOAD 000001cd: SWAP5 000001ce: PUSH1 0x20 000001d0: ADD 000001d1: CALLDATALOAD 000001d2: SWAP4 000001d3: POP 000001d4: PUSH2 0x061f 000001d7: SWAP3 000001d8: POP 000001d9: POP 000001da: POP 000001db: JUMP 000001dc: JUMPDEST 000001dd: STOP 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: ISZERO 000001e1: PUSH2 0x01e9 000001e4: JUMPI 000001e5: PUSH1 0x00 000001e7: DUP1 000001e8: REVERT 000001e9: JUMPDEST 000001ea: PUSH2 0x01dc 000001ed: PUSH1 0x04 000001ef: CALLDATALOAD 000001f0: PUSH1 0x24 000001f2: CALLDATALOAD 000001f3: PUSH2 0x07a4 000001f6: JUMP 000001f7: JUMPDEST 000001f8: CALLVALUE 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: PUSH2 0x020a 00000206: PUSH2 0x0832 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: PUSH1 0x20 00000210: DUP1 00000211: DUP3 00000212: MSTORE 00000213: DUP2 00000214: SWAP1 00000215: DUP2 00000216: ADD 00000217: DUP4 00000218: DUP2 00000219: DUP2 0000021a: MLOAD 0000021b: DUP2 0000021c: MSTORE 0000021d: PUSH1 0x20 0000021f: ADD 00000220: SWAP2 00000221: POP 00000222: DUP1 00000223: MLOAD 00000224: SWAP1 00000225: PUSH1 0x20 00000227: ADD 00000228: SWAP1 00000229: DUP1 0000022a: DUP4 0000022b: DUP4 0000022c: PUSH1 0x00 0000022e: JUMPDEST 0000022f: DUP4 00000230: DUP2 00000231: LT 00000232: ISZERO 00000233: PUSH2 0x0246 00000236: JUMPI 00000237: DUP1 00000238: DUP3 00000239: ADD 0000023a: MLOAD 0000023b: DUP4 0000023c: DUP3 0000023d: ADD 0000023e: MSTORE 0000023f: PUSH1 0x20 00000241: ADD 00000242: PUSH2 0x022e 00000245: JUMP 00000246: JUMPDEST 00000247: POP 00000248: POP 00000249: POP 0000024a: POP 0000024b: SWAP1 0000024c: POP 0000024d: SWAP1 0000024e: DUP2 0000024f: ADD 00000250: SWAP1 00000251: PUSH1 0x1f 00000253: AND 00000254: DUP1 00000255: ISZERO 00000256: PUSH2 0x0273 00000259: JUMPI 0000025a: DUP1 0000025b: DUP3 0000025c: SUB 0000025d: DUP1 0000025e: MLOAD 0000025f: PUSH1 0x01 00000261: DUP4 00000262: PUSH1 0x20 00000264: SUB 00000265: PUSH2 0x0100 00000268: EXP 00000269: SUB 0000026a: NOT 0000026b: AND 0000026c: DUP2 0000026d: MSTORE 0000026e: PUSH1 0x20 00000270: ADD 00000271: SWAP2 00000272: POP 00000273: JUMPDEST 00000274: POP 00000275: SWAP3 00000276: POP 00000277: POP 00000278: POP 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: SWAP2 0000027e: SUB 0000027f: SWAP1 00000280: RETURN 00000281: JUMPDEST 00000282: CALLVALUE 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: PUSH2 0x01dc 00000290: PUSH1 0x01 00000292: PUSH1 0xa0 00000294: PUSH1 0x02 00000296: EXP 00000297: SUB 00000298: PUSH1 0x04 0000029a: CALLDATALOAD 0000029b: AND 0000029c: PUSH1 0x24 0000029e: CALLDATALOAD 0000029f: PUSH2 0x017f 000002a2: JUMP 000002a3: JUMPDEST 000002a4: CALLVALUE 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: PUSH2 0x02b6 000002b2: PUSH2 0x0874 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x40 000002b9: MLOAD 000002ba: SWAP1 000002bb: DUP2 000002bc: MSTORE 000002bd: PUSH1 0x20 000002bf: ADD 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: DUP1 000002c4: SWAP2 000002c5: SUB 000002c6: SWAP1 000002c7: RETURN 000002c8: JUMPDEST 000002c9: CALLVALUE 000002ca: ISZERO 000002cb: PUSH2 0x02d3 000002ce: JUMPI 000002cf: PUSH1 0x00 000002d1: DUP1 000002d2: REVERT 000002d3: JUMPDEST 000002d4: PUSH2 0x02de 000002d7: PUSH1 0x04 000002d9: CALLDATALOAD 000002da: PUSH2 0x087a 000002dd: JUMP 000002de: JUMPDEST 000002df: PUSH1 0x40 000002e1: MLOAD 000002e2: SWAP2 000002e3: DUP3 000002e4: MSTORE 000002e5: PUSH1 0x01 000002e7: PUSH1 0xa0 000002e9: PUSH1 0x02 000002eb: EXP 000002ec: SUB 000002ed: AND 000002ee: PUSH1 0x20 000002f0: DUP3 000002f1: ADD 000002f2: MSTORE 000002f3: PUSH1 0x40 000002f5: SWAP1 000002f6: DUP2 000002f7: ADD 000002f8: SWAP1 000002f9: MLOAD 000002fa: DUP1 000002fb: SWAP2 000002fc: SUB 000002fd: SWAP1 000002fe: RETURN 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: PUSH2 0x0315 0000030e: PUSH1 0x04 00000310: CALLDATALOAD 00000311: PUSH2 0x08a3 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH1 0x40 00000318: MLOAD 00000319: PUSH1 0x01 0000031b: PUSH1 0xa0 0000031d: PUSH1 0x02 0000031f: EXP 00000320: SUB 00000321: SWAP1 00000322: SWAP2 00000323: AND 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x20 00000328: ADD 00000329: PUSH1 0x40 0000032b: MLOAD 0000032c: DUP1 0000032d: SWAP2 0000032e: SUB 0000032f: SWAP1 00000330: RETURN 00000331: JUMPDEST 00000332: CALLVALUE 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: PUSH2 0x01dc 00000340: PUSH1 0x04 00000342: CALLDATALOAD 00000343: PUSH2 0x08be 00000346: JUMP 00000347: JUMPDEST 00000348: CALLVALUE 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: PUSH2 0x0366 00000356: PUSH1 0x01 00000358: PUSH1 0xa0 0000035a: PUSH1 0x02 0000035c: EXP 0000035d: SUB 0000035e: PUSH1 0x04 00000360: CALLDATALOAD 00000361: AND 00000362: PUSH2 0x09c6 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH1 0x40 00000369: MLOAD 0000036a: SWAP1 0000036b: ISZERO 0000036c: ISZERO 0000036d: DUP2 0000036e: MSTORE 0000036f: PUSH1 0x20 00000371: ADD 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: SWAP2 00000377: SUB 00000378: SWAP1 00000379: RETURN 0000037a: JUMPDEST 0000037b: PUSH2 0x01dc 0000037e: PUSH1 0x04 00000380: CALLDATALOAD 00000381: PUSH2 0x09e4 00000384: JUMP 00000385: JUMPDEST 00000386: CALLVALUE 00000387: ISZERO 00000388: PUSH2 0x0390 0000038b: JUMPI 0000038c: PUSH1 0x00 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: PUSH2 0x03a4 00000394: PUSH1 0x01 00000396: PUSH1 0xa0 00000398: PUSH1 0x02 0000039a: EXP 0000039b: SUB 0000039c: PUSH1 0x04 0000039e: CALLDATALOAD 0000039f: AND 000003a0: PUSH2 0x0a98 000003a3: JUMP 000003a4: JUMPDEST 000003a5: PUSH1 0x40 000003a7: MLOAD 000003a8: PUSH1 0x20 000003aa: DUP1 000003ab: DUP3 000003ac: MSTORE 000003ad: DUP2 000003ae: SWAP1 000003af: DUP2 000003b0: ADD 000003b1: DUP4 000003b2: DUP2 000003b3: DUP2 000003b4: MLOAD 000003b5: DUP2 000003b6: MSTORE 000003b7: PUSH1 0x20 000003b9: ADD 000003ba: SWAP2 000003bb: POP 000003bc: DUP1 000003bd: MLOAD 000003be: SWAP1 000003bf: PUSH1 0x20 000003c1: ADD 000003c2: SWAP1 000003c3: PUSH1 0x20 000003c5: MUL 000003c6: DUP1 000003c7: DUP4 000003c8: DUP4 000003c9: PUSH1 0x00 000003cb: JUMPDEST 000003cc: DUP4 000003cd: DUP2 000003ce: LT 000003cf: ISZERO 000003d0: PUSH2 0x03e3 000003d3: JUMPI 000003d4: DUP1 000003d5: DUP3 000003d6: ADD 000003d7: MLOAD 000003d8: DUP4 000003d9: DUP3 000003da: ADD 000003db: MSTORE 000003dc: PUSH1 0x20 000003de: ADD 000003df: PUSH2 0x03cb 000003e2: JUMP 000003e3: JUMPDEST 000003e4: POP 000003e5: POP 000003e6: POP 000003e7: POP 000003e8: SWAP1 000003e9: POP 000003ea: ADD 000003eb: SWAP3 000003ec: POP 000003ed: POP 000003ee: POP 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: DUP1 000003f3: SWAP2 000003f4: SUB 000003f5: SWAP1 000003f6: RETURN 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: PUSH2 0x01dc 00000406: PUSH1 0x04 00000408: CALLDATALOAD 00000409: PUSH2 0x0b1b 0000040c: JUMP 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: ISZERO 00000410: PUSH2 0x0418 00000413: JUMPI 00000414: PUSH1 0x00 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: PUSH2 0x01dc 0000041c: PUSH1 0x01 0000041e: PUSH1 0xa0 00000420: PUSH1 0x02 00000422: EXP 00000423: SUB 00000424: PUSH1 0x04 00000426: CALLDATALOAD 00000427: AND 00000428: PUSH2 0x0b3b 0000042b: JUMP 0000042c: JUMPDEST 0000042d: CALLVALUE 0000042e: ISZERO 0000042f: PUSH2 0x0437 00000432: JUMPI 00000433: PUSH1 0x00 00000435: DUP1 00000436: REVERT 00000437: JUMPDEST 00000438: PUSH2 0x0315 0000043b: PUSH1 0x04 0000043d: CALLDATALOAD 0000043e: PUSH2 0x0ba9 00000441: JUMP 00000442: JUMPDEST 00000443: CALLVALUE 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: PUSH2 0x02b6 00000451: PUSH1 0x04 00000453: PUSH1 0x24 00000455: DUP2 00000456: CALLDATALOAD 00000457: DUP2 00000458: DUP2 00000459: ADD 0000045a: SWAP1 0000045b: DUP4 0000045c: ADD 0000045d: CALLDATALOAD 0000045e: DUP1 0000045f: PUSH1 0x20 00000461: PUSH1 0x1f 00000463: DUP3 00000464: ADD 00000465: DUP2 00000466: SWAP1 00000467: DIV 00000468: DUP2 00000469: MUL 0000046a: ADD 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: SWAP1 0000046f: DUP2 00000470: ADD 00000471: PUSH1 0x40 00000473: MSTORE 00000474: DUP2 00000475: DUP2 00000476: MSTORE 00000477: SWAP3 00000478: SWAP2 00000479: SWAP1 0000047a: PUSH1 0x20 0000047c: DUP5 0000047d: ADD 0000047e: DUP4 0000047f: DUP4 00000480: DUP1 00000481: DUP3 00000482: DUP5 00000483: CALLDATACOPY 00000484: POP 00000485: SWAP5 00000486: SWAP7 00000487: POP 00000488: PUSH2 0x0bd3 0000048b: SWAP6 0000048c: POP 0000048d: POP 0000048e: POP 0000048f: POP 00000490: POP 00000491: POP 00000492: JUMP 00000493: JUMPDEST 00000494: CALLVALUE 00000495: ISZERO 00000496: PUSH2 0x049e 00000499: JUMPI 0000049a: PUSH1 0x00 0000049c: DUP1 0000049d: REVERT 0000049e: JUMPDEST 0000049f: PUSH2 0x02b6 000004a2: PUSH1 0x01 000004a4: PUSH1 0xa0 000004a6: PUSH1 0x02 000004a8: EXP 000004a9: SUB 000004aa: PUSH1 0x04 000004ac: CALLDATALOAD 000004ad: AND 000004ae: PUSH2 0x0c4e 000004b1: JUMP 000004b2: JUMPDEST 000004b3: CALLVALUE 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: PUSH2 0x0315 000004c1: PUSH2 0x0c69 000004c4: JUMP 000004c5: JUMPDEST 000004c6: CALLVALUE 000004c7: ISZERO 000004c8: PUSH2 0x04d0 000004cb: JUMPI 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: REVERT 000004d0: JUMPDEST 000004d1: PUSH2 0x020a 000004d4: PUSH2 0x0c78 000004d7: JUMP 000004d8: JUMPDEST 000004d9: CALLVALUE 000004da: ISZERO 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: PUSH2 0x01dc 000004e7: PUSH1 0x04 000004e9: CALLDATALOAD 000004ea: PUSH2 0x0cb9 000004ed: JUMP 000004ee: JUMPDEST 000004ef: CALLVALUE 000004f0: ISZERO 000004f1: PUSH2 0x04f9 000004f4: JUMPI 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: PUSH2 0x02b6 000004fd: PUSH1 0x04 000004ff: CALLDATALOAD 00000500: PUSH2 0x0d6d 00000503: JUMP 00000504: JUMPDEST 00000505: CALLVALUE 00000506: ISZERO 00000507: PUSH2 0x050f 0000050a: JUMPI 0000050b: PUSH1 0x00 0000050d: DUP1 0000050e: REVERT 0000050f: JUMPDEST 00000510: PUSH2 0x01dc 00000513: PUSH1 0x01 00000515: PUSH1 0xa0 00000517: PUSH1 0x02 00000519: EXP 0000051a: SUB 0000051b: PUSH1 0x04 0000051d: CALLDATALOAD 0000051e: AND 0000051f: PUSH1 0x24 00000521: CALLDATALOAD 00000522: PUSH2 0x0d7f 00000525: JUMP 00000526: JUMPDEST 00000527: CALLVALUE 00000528: ISZERO 00000529: PUSH2 0x0531 0000052c: JUMPI 0000052d: PUSH1 0x00 0000052f: DUP1 00000530: REVERT 00000531: JUMPDEST 00000532: PUSH2 0x01dc 00000535: PUSH1 0x04 00000537: CALLDATALOAD 00000538: PUSH2 0x0dda 0000053b: JUMP 0000053c: JUMPDEST 0000053d: CALLVALUE 0000053e: ISZERO 0000053f: PUSH2 0x0547 00000542: JUMPI 00000543: PUSH1 0x00 00000545: DUP1 00000546: REVERT 00000547: JUMPDEST 00000548: PUSH2 0x01dc 0000054b: PUSH1 0x04 0000054d: CALLDATALOAD 0000054e: PUSH2 0x0e05 00000551: JUMP 00000552: JUMPDEST 00000553: CALLVALUE 00000554: ISZERO 00000555: PUSH2 0x055d 00000558: JUMPI 00000559: PUSH1 0x00 0000055b: DUP1 0000055c: REVERT 0000055d: JUMPDEST 0000055e: PUSH2 0x020a 00000561: PUSH1 0x04 00000563: CALLDATALOAD 00000564: PUSH2 0x0e25 00000567: JUMP 00000568: JUMPDEST 00000569: CALLVALUE 0000056a: ISZERO 0000056b: PUSH2 0x0573 0000056e: JUMPI 0000056f: PUSH1 0x00 00000571: DUP1 00000572: REVERT 00000573: JUMPDEST 00000574: PUSH2 0x0315 00000577: PUSH1 0x04 00000579: CALLDATALOAD 0000057a: PUSH2 0x0ee0 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH2 0x01dc 00000582: PUSH1 0x04 00000584: CALLDATALOAD 00000585: PUSH2 0x0efb 00000588: JUMP 00000589: JUMPDEST 0000058a: CALLVALUE 0000058b: ISZERO 0000058c: PUSH2 0x0594 0000058f: JUMPI 00000590: PUSH1 0x00 00000592: DUP1 00000593: REVERT 00000594: JUMPDEST 00000595: PUSH2 0x01dc 00000598: PUSH1 0x04 0000059a: PUSH1 0x24 0000059c: DUP2 0000059d: CALLDATALOAD 0000059e: DUP2 0000059f: DUP2 000005a0: ADD 000005a1: SWAP1 000005a2: DUP4 000005a3: ADD 000005a4: CALLDATALOAD 000005a5: DUP1 000005a6: PUSH1 0x20 000005a8: PUSH1 0x1f 000005aa: DUP3 000005ab: ADD 000005ac: DUP2 000005ad: SWAP1 000005ae: DIV 000005af: DUP2 000005b0: MUL 000005b1: ADD 000005b2: PUSH1 0x40 000005b4: MLOAD 000005b5: SWAP1 000005b6: DUP2 000005b7: ADD 000005b8: PUSH1 0x40 000005ba: MSTORE 000005bb: DUP2 000005bc: DUP2 000005bd: MSTORE 000005be: SWAP3 000005bf: SWAP2 000005c0: SWAP1 000005c1: PUSH1 0x20 000005c3: DUP5 000005c4: ADD 000005c5: DUP4 000005c6: DUP4 000005c7: DUP1 000005c8: DUP3 000005c9: DUP5 000005ca: CALLDATACOPY 000005cb: POP 000005cc: SWAP5 000005cd: SWAP7 000005ce: POP 000005cf: PUSH2 0x1023 000005d2: SWAP6 000005d3: POP 000005d4: POP 000005d5: POP 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: JUMP 000005da: JUMPDEST 000005db: CALLVALUE 000005dc: ISZERO 000005dd: PUSH2 0x05e5 000005e0: JUMPI 000005e1: PUSH1 0x00 000005e3: DUP1 000005e4: REVERT 000005e5: JUMPDEST 000005e6: PUSH2 0x02b6 000005e9: PUSH2 0x113a 000005ec: JUMP 000005ed: JUMPDEST 000005ee: CALLVALUE 000005ef: ISZERO 000005f0: PUSH2 0x05f8 000005f3: JUMPI 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: PUSH2 0x02b6 000005fc: PUSH2 0x1140 000005ff: JUMP 00000600: JUMPDEST 00000601: CALLVALUE 00000602: ISZERO 00000603: PUSH2 0x060b 00000606: JUMPI 00000607: PUSH1 0x00 00000609: DUP1 0000060a: REVERT 0000060b: JUMPDEST 0000060c: PUSH2 0x01dc 0000060f: PUSH1 0x01 00000611: PUSH1 0xa0 00000613: PUSH1 0x02 00000615: EXP 00000616: SUB 00000617: PUSH1 0x04 00000619: CALLDATALOAD 0000061a: AND 0000061b: PUSH2 0x1146 0000061e: JUMP 0000061f: JUMPDEST 00000620: PUSH1 0x00 00000622: DUP1 00000623: PUSH1 0x00 00000625: DUP6 00000626: PUSH1 0x0d 00000628: DUP2 00000629: PUSH1 0x40 0000062b: MLOAD 0000062c: DUP1 0000062d: DUP3 0000062e: DUP1 0000062f: MLOAD 00000630: SWAP1 00000631: PUSH1 0x20 00000633: ADD 00000634: SWAP1 00000635: DUP1 00000636: DUP4 00000637: DUP4 00000638: JUMPDEST 00000639: PUSH1 0x20 0000063b: DUP4 0000063c: LT 0000063d: PUSH2 0x0657 00000640: JUMPI 00000641: DUP1 00000642: MLOAD 00000643: DUP3 00000644: MSTORE 00000645: PUSH1 0x1f 00000647: NOT 00000648: SWAP1 00000649: SWAP3 0000064a: ADD 0000064b: SWAP2 0000064c: PUSH1 0x20 0000064e: SWAP2 0000064f: DUP3 00000650: ADD 00000651: SWAP2 00000652: ADD 00000653: PUSH2 0x0638 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH1 0x01 0000065a: DUP4 0000065b: PUSH1 0x20 0000065d: SUB 0000065e: PUSH2 0x0100 00000661: EXP 00000662: SUB 00000663: DUP1 00000664: NOT 00000665: DUP3 00000666: MLOAD 00000667: AND 00000668: DUP2 00000669: DUP5 0000066a: MLOAD 0000066b: AND 0000066c: DUP1 0000066d: DUP3 0000066e: OR 0000066f: DUP6 00000670: MSTORE 00000671: POP 00000672: POP 00000673: POP 00000674: POP 00000675: POP 00000676: POP 00000677: SWAP1 00000678: POP 00000679: ADD 0000067a: SWAP2 0000067b: POP 0000067c: POP 0000067d: SWAP1 0000067e: DUP2 0000067f: MSTORE 00000680: PUSH1 0x20 00000682: ADD 00000683: PUSH1 0x40 00000685: MLOAD 00000686: SWAP1 00000687: DUP2 00000688: SWAP1 00000689: SUB 0000068a: SWAP1 0000068b: KECCAK256 0000068c: SLOAD 0000068d: ISZERO 0000068e: PUSH2 0x0696 00000691: JUMPI 00000692: PUSH1 0x00 00000694: DUP1 00000695: REVERT 00000696: JUMPDEST 00000697: PUSH1 0x01 00000699: PUSH1 0xa0 0000069b: PUSH1 0x02 0000069d: EXP 0000069e: SUB 0000069f: CALLER 000006a0: AND 000006a1: PUSH1 0x00 000006a3: SWAP1 000006a4: DUP2 000006a5: MSTORE 000006a6: PUSH1 0x0f 000006a8: PUSH1 0x20 000006aa: MSTORE 000006ab: PUSH1 0x40 000006ad: SWAP1 000006ae: KECCAK256 000006af: SLOAD 000006b0: PUSH1 0xff 000006b2: AND 000006b3: ISZERO 000006b4: ISZERO 000006b5: PUSH1 0x01 000006b7: EQ 000006b8: PUSH2 0x06c0 000006bb: JUMPI 000006bc: PUSH1 0x00 000006be: DUP1 000006bf: REVERT 000006c0: JUMPDEST 000006c1: PUSH2 0x06ca 000006c4: DUP8 000006c5: CALLER 000006c6: PUSH2 0x11d4 000006c9: JUMP 000006ca: JUMPDEST 000006cb: SWAP4 000006cc: POP 000006cd: DUP4 000006ce: PUSH1 0x0d 000006d0: DUP9 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: DUP1 000006d5: DUP3 000006d6: DUP1 000006d7: MLOAD 000006d8: SWAP1 000006d9: PUSH1 0x20 000006db: ADD 000006dc: SWAP1 000006dd: DUP1 000006de: DUP4 000006df: DUP4 000006e0: JUMPDEST 000006e1: PUSH1 0x20 000006e3: DUP4 000006e4: LT 000006e5: PUSH2 0x06ff 000006e8: JUMPI 000006e9: DUP1 000006ea: MLOAD 000006eb: DUP3 000006ec: MSTORE 000006ed: PUSH1 0x1f 000006ef: NOT 000006f0: SWAP1 000006f1: SWAP3 000006f2: ADD 000006f3: SWAP2 000006f4: PUSH1 0x20 000006f6: SWAP2 000006f7: DUP3 000006f8: ADD 000006f9: SWAP2 000006fa: ADD 000006fb: PUSH2 0x06e0 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0x01 00000702: DUP4 00000703: PUSH1 0x20 00000705: SUB 00000706: PUSH2 0x0100 00000709: EXP 0000070a: SUB 0000070b: DUP1 0000070c: NOT 0000070d: DUP3 0000070e: MLOAD 0000070f: AND 00000710: DUP2 00000711: DUP5 00000712: MLOAD 00000713: AND 00000714: DUP1 00000715: DUP3 00000716: OR 00000717: DUP6 00000718: MSTORE 00000719: POP 0000071a: POP 0000071b: POP 0000071c: POP 0000071d: POP 0000071e: POP 0000071f: SWAP1 00000720: POP 00000721: ADD 00000722: SWAP2 00000723: POP 00000724: POP 00000725: SWAP1 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x20 0000072a: ADD 0000072b: PUSH1 0x40 0000072d: MLOAD 0000072e: SWAP1 0000072f: DUP2 00000730: SWAP1 00000731: SUB 00000732: SWAP1 00000733: KECCAK256 00000734: SSTORE 00000735: PUSH1 0x00 00000737: SWAP3 00000738: POP 00000739: JUMPDEST 0000073a: DUP6 0000073b: DUP4 0000073c: LT 0000073d: ISZERO 0000073e: PUSH2 0x079b 00000741: JUMPI 00000742: PUSH2 0x074b 00000745: DUP8 00000746: CALLER 00000747: PUSH2 0x11d4 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH1 0x00 0000074e: DUP2 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x0a 00000753: PUSH1 0x20 00000755: MSTORE 00000756: PUSH1 0x40 00000758: SWAP1 00000759: DUP2 0000075a: SWAP1 0000075b: KECCAK256 0000075c: DUP8 0000075d: SWAP1 0000075e: SSTORE 0000075f: SWAP1 00000760: SWAP3 00000761: POP 00000762: DUP6 00000763: SWAP1 00000764: DUP4 00000765: SWAP1 00000766: PUSH32 0xe23ea816dce6d7f5c0b85cbd597e7c3b97b2453791152c0b94e5e5c5f314d2f0 00000787: SWAP1 00000788: MLOAD 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: DUP1 0000078d: SWAP2 0000078e: SUB 0000078f: SWAP1 00000790: LOG3 00000791: PUSH1 0x01 00000793: SWAP1 00000794: SWAP3 00000795: ADD 00000796: SWAP2 00000797: PUSH2 0x0739 0000079a: JUMP 0000079b: JUMPDEST 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: POP 000007a3: JUMP 000007a4: JUMPDEST 000007a5: PUSH1 0x00 000007a7: DUP3 000007a8: CALLER 000007a9: PUSH1 0x01 000007ab: PUSH1 0xa0 000007ad: PUSH1 0x02 000007af: EXP 000007b0: SUB 000007b1: AND 000007b2: PUSH2 0x07ba 000007b5: DUP3 000007b6: PUSH2 0x0ba9 000007b9: JUMP 000007ba: JUMPDEST 000007bb: PUSH1 0x01 000007bd: PUSH1 0xa0 000007bf: PUSH1 0x02 000007c1: EXP 000007c2: SUB 000007c3: AND 000007c4: EQ 000007c5: PUSH2 0x07cd 000007c8: JUMPI 000007c9: PUSH1 0x00 000007cb: DUP1 000007cc: REVERT 000007cd: JUMPDEST 000007ce: PUSH1 0x00 000007d0: DUP5 000007d1: DUP2 000007d2: MSTORE 000007d3: PUSH1 0x09 000007d5: PUSH1 0x20 000007d7: MSTORE 000007d8: PUSH1 0x40 000007da: SWAP1 000007db: KECCAK256 000007dc: SLOAD 000007dd: SWAP2 000007de: POP 000007df: DUP2 000007e0: DUP4 000007e1: GT 000007e2: PUSH2 0x07ea 000007e5: JUMPI 000007e6: PUSH1 0x00 000007e8: DUP1 000007e9: REVERT 000007ea: JUMPDEST 000007eb: PUSH1 0x00 000007ed: DUP5 000007ee: DUP2 000007ef: MSTORE 000007f0: PUSH1 0x0a 000007f2: PUSH1 0x20 000007f4: MSTORE 000007f5: PUSH1 0x40 000007f7: SWAP1 000007f8: DUP2 000007f9: SWAP1 000007fa: KECCAK256 000007fb: DUP5 000007fc: SWAP1 000007fd: SSTORE 000007fe: DUP4 000007ff: SWAP1 00000800: DUP6 00000801: SWAP1 00000802: PUSH32 0xe23ea816dce6d7f5c0b85cbd597e7c3b97b2453791152c0b94e5e5c5f314d2f0 00000823: SWAP1 00000824: MLOAD 00000825: PUSH1 0x40 00000827: MLOAD 00000828: DUP1 00000829: SWAP2 0000082a: SUB 0000082b: SWAP1 0000082c: LOG3 0000082d: POP 0000082e: POP 0000082f: POP 00000830: POP 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH2 0x083a 00000836: PUSH2 0x1867 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH1 0x40 0000083d: DUP1 0000083e: MLOAD 0000083f: SWAP1 00000840: DUP2 00000841: ADD 00000842: PUSH1 0x40 00000844: MSTORE 00000845: PUSH1 0x08 00000847: DUP2 00000848: MSTORE 00000849: PUSH32 0x5375706552617265000000000000000000000000000000000000000000000000 0000086a: PUSH1 0x20 0000086c: DUP3 0000086d: ADD 0000086e: MSTORE 0000086f: SWAP1 00000870: POP 00000871: JUMPDEST 00000872: SWAP1 00000873: JUMP 00000874: JUMPDEST 00000875: PUSH1 0x00 00000877: SLOAD 00000878: SWAP1 00000879: JUMP 0000087a: JUMPDEST 0000087b: PUSH1 0x00 0000087d: DUP2 0000087e: DUP2 0000087f: MSTORE 00000880: PUSH1 0x09 00000882: PUSH1 0x20 00000884: SWAP1 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x40 00000889: DUP1 0000088a: DUP4 0000088b: KECCAK256 0000088c: SLOAD 0000088d: PUSH1 0x08 0000088f: SWAP1 00000890: SWAP3 00000891: MSTORE 00000892: SWAP1 00000893: SWAP2 00000894: KECCAK256 00000895: SLOAD 00000896: PUSH1 0x01 00000898: PUSH1 0xa0 0000089a: PUSH1 0x02 0000089c: EXP 0000089d: SUB 0000089e: AND 0000089f: SWAP2 000008a0: POP 000008a1: SWAP2 000008a2: JUMP 000008a3: JUMPDEST 000008a4: PUSH1 0x00 000008a6: SWAP1 000008a7: DUP2 000008a8: MSTORE 000008a9: PUSH1 0x02 000008ab: PUSH1 0x20 000008ad: MSTORE 000008ae: PUSH1 0x40 000008b0: SWAP1 000008b1: KECCAK256 000008b2: SLOAD 000008b3: PUSH1 0x01 000008b5: PUSH1 0xa0 000008b7: PUSH1 0x02 000008b9: EXP 000008ba: SUB 000008bb: AND 000008bc: SWAP1 000008bd: JUMP 000008be: JUMPDEST 000008bf: PUSH1 0x00 000008c1: DUP1 000008c2: PUSH1 0x00 000008c4: DUP1 000008c5: DUP5 000008c6: CALLER 000008c7: PUSH1 0x01 000008c9: PUSH1 0xa0 000008cb: PUSH1 0x02 000008cd: EXP 000008ce: SUB 000008cf: AND 000008d0: PUSH2 0x08d8 000008d3: DUP3 000008d4: PUSH2 0x0ba9 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x01 000008db: PUSH1 0xa0 000008dd: PUSH1 0x02 000008df: EXP 000008e0: SUB 000008e1: AND 000008e2: EQ 000008e3: PUSH2 0x08eb 000008e6: JUMPI 000008e7: PUSH1 0x00 000008e9: DUP1 000008ea: REVERT 000008eb: JUMPDEST 000008ec: PUSH1 0x00 000008ee: DUP7 000008ef: DUP2 000008f0: MSTORE 000008f1: PUSH1 0x09 000008f3: PUSH1 0x20 000008f5: SWAP1 000008f6: DUP2 000008f7: MSTORE 000008f8: PUSH1 0x40 000008fa: DUP1 000008fb: DUP4 000008fc: KECCAK256 000008fd: SLOAD 000008fe: PUSH1 0x08 00000900: SWAP1 00000901: SWAP3 00000902: MSTORE 00000903: SWAP1 00000904: SWAP2 00000905: KECCAK256 00000906: SLOAD 00000907: SWAP1 00000908: SWAP6 00000909: POP 0000090a: PUSH1 0x01 0000090c: PUSH1 0xa0 0000090e: PUSH1 0x02 00000910: EXP 00000911: SUB 00000912: AND 00000913: SWAP4 00000914: POP 00000915: PUSH2 0x091d 00000918: DUP7 00000919: PUSH2 0x0ba9 0000091c: JUMP 0000091d: JUMPDEST 0000091e: PUSH1 0x00 00000920: DUP8 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x0b 00000925: PUSH1 0x20 00000927: MSTORE 00000928: PUSH1 0x40 0000092a: SWAP1 0000092b: KECCAK256 0000092c: SLOAD 0000092d: SWAP1 0000092e: SWAP4 0000092f: POP 00000930: PUSH1 0x01 00000932: PUSH1 0xa0 00000934: PUSH1 0x02 00000936: EXP 00000937: SUB 00000938: AND 00000939: SWAP2 0000093a: POP 0000093b: PUSH2 0x0945 0000093e: CALLER 0000093f: DUP6 00000940: DUP9 00000941: PUSH2 0x1238 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH1 0x05 00000948: SLOAD 00000949: PUSH2 0x095f 0000094c: SWAP1 0000094d: DUP7 0000094e: SWAP1 0000094f: PUSH1 0x01 00000951: PUSH1 0xa0 00000953: PUSH1 0x02 00000955: EXP 00000956: SUB 00000957: AND 00000958: DUP5 00000959: DUP7 0000095a: DUP11 0000095b: PUSH2 0x12fe 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH2 0x0968 00000963: DUP7 00000964: PUSH2 0x1442 00000967: JUMP 00000968: JUMPDEST 00000969: DUP6 0000096a: DUP4 0000096b: PUSH1 0x01 0000096d: PUSH1 0xa0 0000096f: PUSH1 0x02 00000971: EXP 00000972: SUB 00000973: AND 00000974: DUP6 00000975: PUSH1 0x01 00000977: PUSH1 0xa0 00000979: PUSH1 0x02 0000097b: EXP 0000097c: SUB 0000097d: AND 0000097e: PUSH32 0xd6deddb2e105b46d4644d24aac8c58493a0f107e7973b2fe8d8fa7931a2912be 0000099f: DUP9 000009a0: PUSH1 0x40 000009a2: MLOAD 000009a3: SWAP1 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x20 000009a8: ADD 000009a9: PUSH1 0x40 000009ab: MLOAD 000009ac: DUP1 000009ad: SWAP2 000009ae: SUB 000009af: SWAP1 000009b0: LOG4 000009b1: POP 000009b2: POP 000009b3: POP 000009b4: PUSH1 0x00 000009b6: SWAP3 000009b7: DUP4 000009b8: MSTORE 000009b9: POP 000009ba: POP 000009bb: PUSH1 0x0a 000009bd: PUSH1 0x20 000009bf: MSTORE 000009c0: PUSH1 0x40 000009c2: DUP2 000009c3: KECCAK256 000009c4: SSTORE 000009c5: JUMP 000009c6: JUMPDEST 000009c7: PUSH1 0x01 000009c9: PUSH1 0xa0 000009cb: PUSH1 0x02 000009cd: EXP 000009ce: SUB 000009cf: AND 000009d0: PUSH1 0x00 000009d2: SWAP1 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x0f 000009d7: PUSH1 0x20 000009d9: MSTORE 000009da: PUSH1 0x40 000009dc: SWAP1 000009dd: KECCAK256 000009de: SLOAD 000009df: PUSH1 0xff 000009e1: AND 000009e2: SWAP1 000009e3: JUMP 000009e4: JUMPDEST 000009e5: DUP1 000009e6: CALLER 000009e7: PUSH1 0x01 000009e9: PUSH1 0xa0 000009eb: PUSH1 0x02 000009ed: EXP 000009ee: SUB 000009ef: AND 000009f0: PUSH2 0x09f8 000009f3: DUP3 000009f4: PUSH2 0x0ba9 000009f7: JUMP 000009f8: JUMPDEST 000009f9: PUSH1 0x01 000009fb: PUSH1 0xa0 000009fd: PUSH1 0x02 000009ff: EXP 00000a00: SUB 00000a01: AND 00000a02: EQ 00000a03: ISZERO 00000a04: PUSH2 0x0a0c 00000a07: JUMPI 00000a08: PUSH1 0x00 00000a0a: DUP1 00000a0b: REVERT 00000a0c: JUMPDEST 00000a0d: PUSH2 0x0a15 00000a10: DUP3 00000a11: PUSH2 0x146b 00000a14: JUMP 00000a15: JUMPDEST 00000a16: ISZERO 00000a17: ISZERO 00000a18: PUSH2 0x0a20 00000a1b: JUMPI 00000a1c: PUSH1 0x00 00000a1e: DUP1 00000a1f: REVERT 00000a20: JUMPDEST 00000a21: PUSH2 0x0a29 00000a24: DUP3 00000a25: PUSH2 0x147f 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: PUSH1 0x00 00000a2c: DUP3 00000a2d: DUP2 00000a2e: MSTORE 00000a2f: PUSH1 0x08 00000a31: PUSH1 0x20 00000a33: SWAP1 00000a34: DUP2 00000a35: MSTORE 00000a36: PUSH1 0x40 00000a38: DUP1 00000a39: DUP4 00000a3a: KECCAK256 00000a3b: DUP1 00000a3c: SLOAD 00000a3d: PUSH1 0x01 00000a3f: PUSH1 0xa0 00000a41: PUSH1 0x02 00000a43: EXP 00000a44: SUB 00000a45: NOT 00000a46: AND 00000a47: CALLER 00000a48: PUSH1 0x01 00000a4a: PUSH1 0xa0 00000a4c: PUSH1 0x02 00000a4e: EXP 00000a4f: SUB 00000a50: AND 00000a51: SWAP1 00000a52: DUP2 00000a53: OR 00000a54: SWAP1 00000a55: SWAP2 00000a56: SSTORE 00000a57: PUSH1 0x09 00000a59: SWAP1 00000a5a: SWAP3 00000a5b: MSTORE 00000a5c: SWAP2 00000a5d: DUP3 00000a5e: SWAP1 00000a5f: KECCAK256 00000a60: CALLVALUE 00000a61: SWAP1 00000a62: DUP2 00000a63: SWAP1 00000a64: SSTORE 00000a65: DUP5 00000a66: SWAP3 00000a67: SWAP1 00000a68: SWAP2 00000a69: SWAP1 00000a6a: PUSH32 0x19421268847f42dd61705778018ddfc43bcdce8517e7a630acb12f122c709481 00000a8b: SWAP1 00000a8c: MLOAD 00000a8d: PUSH1 0x40 00000a8f: MLOAD 00000a90: DUP1 00000a91: SWAP2 00000a92: SUB 00000a93: SWAP1 00000a94: LOG4 00000a95: POP 00000a96: POP 00000a97: JUMP 00000a98: JUMPDEST 00000a99: PUSH2 0x0aa0 00000a9c: PUSH2 0x1867 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH1 0x03 00000aa3: PUSH1 0x00 00000aa5: DUP4 00000aa6: PUSH1 0x01 00000aa8: PUSH1 0xa0 00000aaa: PUSH1 0x02 00000aac: EXP 00000aad: SUB 00000aae: AND 00000aaf: PUSH1 0x01 00000ab1: PUSH1 0xa0 00000ab3: PUSH1 0x02 00000ab5: EXP 00000ab6: SUB 00000ab7: AND 00000ab8: DUP2 00000ab9: MSTORE 00000aba: PUSH1 0x20 00000abc: ADD 00000abd: SWAP1 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x20 00000ac2: ADD 00000ac3: PUSH1 0x00 00000ac5: KECCAK256 00000ac6: DUP1 00000ac7: SLOAD 00000ac8: DUP1 00000ac9: PUSH1 0x20 00000acb: MUL 00000acc: PUSH1 0x20 00000ace: ADD 00000acf: PUSH1 0x40 00000ad1: MLOAD 00000ad2: SWAP1 00000ad3: DUP2 00000ad4: ADD 00000ad5: PUSH1 0x40 00000ad7: MSTORE 00000ad8: DUP1 00000ad9: SWAP3 00000ada: SWAP2 00000adb: SWAP1 00000adc: DUP2 00000add: DUP2 00000ade: MSTORE 00000adf: PUSH1 0x20 00000ae1: ADD 00000ae2: DUP3 00000ae3: DUP1 00000ae4: SLOAD 00000ae5: DUP1 00000ae6: ISZERO 00000ae7: PUSH2 0x0b0f 00000aea: JUMPI 00000aeb: PUSH1 0x20 00000aed: MUL 00000aee: DUP3 00000aef: ADD 00000af0: SWAP2 00000af1: SWAP1 00000af2: PUSH1 0x00 00000af4: MSTORE 00000af5: PUSH1 0x20 00000af7: PUSH1 0x00 00000af9: KECCAK256 00000afa: SWAP1 00000afb: JUMPDEST 00000afc: DUP2 00000afd: SLOAD 00000afe: DUP2 00000aff: MSTORE 00000b00: PUSH1 0x20 00000b02: ADD 00000b03: SWAP1 00000b04: PUSH1 0x01 00000b06: ADD 00000b07: SWAP1 00000b08: DUP1 00000b09: DUP4 00000b0a: GT 00000b0b: PUSH2 0x0afb 00000b0e: JUMPI 00000b0f: JUMPDEST 00000b10: POP 00000b11: POP 00000b12: POP 00000b13: POP 00000b14: POP 00000b15: SWAP1 00000b16: POP 00000b17: SWAP2 00000b18: SWAP1 00000b19: POP 00000b1a: JUMP 00000b1b: JUMPDEST 00000b1c: PUSH1 0x05 00000b1e: SLOAD 00000b1f: CALLER 00000b20: PUSH1 0x01 00000b22: PUSH1 0xa0 00000b24: PUSH1 0x02 00000b26: EXP 00000b27: SUB 00000b28: SWAP1 00000b29: DUP2 00000b2a: AND 00000b2b: SWAP2 00000b2c: AND 00000b2d: EQ 00000b2e: PUSH2 0x0b36 00000b31: JUMPI 00000b32: PUSH1 0x00 00000b34: DUP1 00000b35: REVERT 00000b36: JUMPDEST 00000b37: PUSH1 0x06 00000b39: SSTORE 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x05 00000b3e: SLOAD 00000b3f: CALLER 00000b40: PUSH1 0x01 00000b42: PUSH1 0xa0 00000b44: PUSH1 0x02 00000b46: EXP 00000b47: SUB 00000b48: SWAP1 00000b49: DUP2 00000b4a: AND 00000b4b: SWAP2 00000b4c: AND 00000b4d: EQ 00000b4e: PUSH2 0x0b56 00000b51: JUMPI 00000b52: PUSH1 0x00 00000b54: DUP1 00000b55: REVERT 00000b56: JUMPDEST 00000b57: PUSH1 0x01 00000b59: PUSH1 0xa0 00000b5b: PUSH1 0x02 00000b5d: EXP 00000b5e: SUB 00000b5f: DUP2 00000b60: AND 00000b61: PUSH1 0x00 00000b63: DUP2 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x0f 00000b68: PUSH1 0x20 00000b6a: MSTORE 00000b6b: PUSH1 0x40 00000b6d: SWAP1 00000b6e: DUP2 00000b6f: SWAP1 00000b70: KECCAK256 00000b71: DUP1 00000b72: SLOAD 00000b73: PUSH1 0xff 00000b75: NOT 00000b76: AND 00000b77: PUSH1 0x01 00000b79: OR 00000b7a: SWAP1 00000b7b: SSTORE 00000b7c: PUSH32 0x55eed0aed3ec6e015b9ad5e984675fe36c0ce3aebdcb70f467670773f19f7f8d 00000b9d: SWAP1 00000b9e: MLOAD 00000b9f: PUSH1 0x40 00000ba1: MLOAD 00000ba2: DUP1 00000ba3: SWAP2 00000ba4: SUB 00000ba5: SWAP1 00000ba6: LOG2 00000ba7: POP 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH1 0x00 00000bac: DUP2 00000bad: DUP2 00000bae: MSTORE 00000baf: PUSH1 0x01 00000bb1: PUSH1 0x20 00000bb3: MSTORE 00000bb4: PUSH1 0x40 00000bb6: DUP2 00000bb7: KECCAK256 00000bb8: SLOAD 00000bb9: PUSH1 0x01 00000bbb: PUSH1 0xa0 00000bbd: PUSH1 0x02 00000bbf: EXP 00000bc0: SUB 00000bc1: AND 00000bc2: DUP1 00000bc3: ISZERO 00000bc4: ISZERO 00000bc5: PUSH2 0x0bcd 00000bc8: JUMPI 00000bc9: PUSH1 0x00 00000bcb: DUP1 00000bcc: REVERT 00000bcd: JUMPDEST 00000bce: SWAP3 00000bcf: SWAP2 00000bd0: POP 00000bd1: POP 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: PUSH1 0x00 00000bd6: DUP1 00000bd7: PUSH1 0x0d 00000bd9: DUP4 00000bda: PUSH1 0x40 00000bdc: MLOAD 00000bdd: DUP1 00000bde: DUP3 00000bdf: DUP1 00000be0: MLOAD 00000be1: SWAP1 00000be2: PUSH1 0x20 00000be4: ADD 00000be5: SWAP1 00000be6: DUP1 00000be7: DUP4 00000be8: DUP4 00000be9: JUMPDEST 00000bea: PUSH1 0x20 00000bec: DUP4 00000bed: LT 00000bee: PUSH2 0x0c08 00000bf1: JUMPI 00000bf2: DUP1 00000bf3: MLOAD 00000bf4: DUP3 00000bf5: MSTORE 00000bf6: PUSH1 0x1f 00000bf8: NOT 00000bf9: SWAP1 00000bfa: SWAP3 00000bfb: ADD 00000bfc: SWAP2 00000bfd: PUSH1 0x20 00000bff: SWAP2 00000c00: DUP3 00000c01: ADD 00000c02: SWAP2 00000c03: ADD 00000c04: PUSH2 0x0be9 00000c07: JUMP 00000c08: JUMPDEST 00000c09: PUSH1 0x01 00000c0b: DUP4 00000c0c: PUSH1 0x20 00000c0e: SUB 00000c0f: PUSH2 0x0100 00000c12: EXP 00000c13: SUB 00000c14: DUP1 00000c15: NOT 00000c16: DUP3 00000c17: MLOAD 00000c18: AND 00000c19: DUP2 00000c1a: DUP5 00000c1b: MLOAD 00000c1c: AND 00000c1d: DUP1 00000c1e: DUP3 00000c1f: OR 00000c20: DUP6 00000c21: MSTORE 00000c22: POP 00000c23: POP 00000c24: POP 00000c25: POP 00000c26: POP 00000c27: POP 00000c28: SWAP1 00000c29: POP 00000c2a: ADD 00000c2b: SWAP2 00000c2c: POP 00000c2d: POP 00000c2e: SWAP1 00000c2f: DUP2 00000c30: MSTORE 00000c31: PUSH1 0x20 00000c33: ADD 00000c34: PUSH1 0x40 00000c36: MLOAD 00000c37: DUP1 00000c38: SWAP2 00000c39: SUB 00000c3a: SWAP1 00000c3b: KECCAK256 00000c3c: SLOAD 00000c3d: SWAP1 00000c3e: POP 00000c3f: PUSH2 0x0c47 00000c42: DUP2 00000c43: PUSH2 0x0ba9 00000c46: JUMP 00000c47: JUMPDEST 00000c48: POP 00000c49: SWAP3 00000c4a: SWAP2 00000c4b: POP 00000c4c: POP 00000c4d: JUMP 00000c4e: JUMPDEST 00000c4f: PUSH1 0x01 00000c51: PUSH1 0xa0 00000c53: PUSH1 0x02 00000c55: EXP 00000c56: SUB 00000c57: AND 00000c58: PUSH1 0x00 00000c5a: SWAP1 00000c5b: DUP2 00000c5c: MSTORE 00000c5d: PUSH1 0x03 00000c5f: PUSH1 0x20 00000c61: MSTORE 00000c62: PUSH1 0x40 00000c64: SWAP1 00000c65: KECCAK256 00000c66: SLOAD 00000c67: SWAP1 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH1 0x05 00000c6c: SLOAD 00000c6d: PUSH1 0x01 00000c6f: PUSH1 0xa0 00000c71: PUSH1 0x02 00000c73: EXP 00000c74: SUB 00000c75: AND 00000c76: DUP2 00000c77: JUMP 00000c78: JUMPDEST 00000c79: PUSH2 0x0c80 00000c7c: PUSH2 0x1867 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: PUSH1 0x40 00000c83: DUP1 00000c84: MLOAD 00000c85: SWAP1 00000c86: DUP2 00000c87: ADD 00000c88: PUSH1 0x40 00000c8a: MSTORE 00000c8b: PUSH1 0x04 00000c8d: DUP2 00000c8e: MSTORE 00000c8f: PUSH32 0x5355505200000000000000000000000000000000000000000000000000000000 00000cb0: PUSH1 0x20 00000cb2: DUP3 00000cb3: ADD 00000cb4: MSTORE 00000cb5: SWAP1 00000cb6: POP 00000cb7: SWAP1 00000cb8: JUMP 00000cb9: JUMPDEST 00000cba: PUSH1 0x00 00000cbc: DUP2 00000cbd: DUP2 00000cbe: MSTORE 00000cbf: PUSH1 0x08 00000cc1: PUSH1 0x20 00000cc3: MSTORE 00000cc4: PUSH1 0x40 00000cc6: DUP2 00000cc7: KECCAK256 00000cc8: SLOAD 00000cc9: PUSH1 0x01 00000ccb: PUSH1 0xa0 00000ccd: PUSH1 0x02 00000ccf: EXP 00000cd0: SUB 00000cd1: SWAP1 00000cd2: DUP2 00000cd3: AND 00000cd4: SWAP2 00000cd5: SWAP1 00000cd6: CALLER 00000cd7: AND 00000cd8: DUP3 00000cd9: EQ 00000cda: PUSH2 0x0ce2 00000cdd: JUMPI 00000cde: PUSH1 0x00 00000ce0: DUP1 00000ce1: REVERT 00000ce2: JUMPDEST 00000ce3: POP 00000ce4: PUSH1 0x00 00000ce6: DUP3 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x09 00000ceb: PUSH1 0x20 00000ced: MSTORE 00000cee: PUSH1 0x40 00000cf0: SWAP1 00000cf1: DUP2 00000cf2: SWAP1 00000cf3: KECCAK256 00000cf4: SLOAD 00000cf5: SWAP1 00000cf6: PUSH1 0x01 00000cf8: PUSH1 0xa0 00000cfa: PUSH1 0x02 00000cfc: EXP 00000cfd: SUB 00000cfe: CALLER 00000cff: AND 00000d00: SWAP1 00000d01: DUP3 00000d02: ISZERO 00000d03: PUSH2 0x08fc 00000d06: MUL 00000d07: SWAP1 00000d08: DUP4 00000d09: SWAP1 00000d0a: MLOAD 00000d0b: PUSH1 0x00 00000d0d: PUSH1 0x40 00000d0f: MLOAD 00000d10: DUP1 00000d11: DUP4 00000d12: SUB 00000d13: DUP2 00000d14: DUP6 00000d15: DUP9 00000d16: DUP9 00000d17: CALL 00000d18: SWAP4 00000d19: POP 00000d1a: POP 00000d1b: POP 00000d1c: POP 00000d1d: ISZERO 00000d1e: ISZERO 00000d1f: PUSH2 0x0d27 00000d22: JUMPI 00000d23: PUSH1 0x00 00000d25: DUP1 00000d26: REVERT 00000d27: JUMPDEST 00000d28: PUSH2 0x0d30 00000d2b: DUP4 00000d2c: PUSH2 0x1442 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: DUP3 00000d32: DUP2 00000d33: DUP4 00000d34: PUSH1 0x01 00000d36: PUSH1 0xa0 00000d38: PUSH1 0x02 00000d3a: EXP 00000d3b: SUB 00000d3c: AND 00000d3d: PUSH32 0x09dcebe16a733e22cc47e4959c50d4f21624d9f1815db32c2e439fbbd7b3eda0 00000d5e: PUSH1 0x40 00000d60: MLOAD 00000d61: PUSH1 0x40 00000d63: MLOAD 00000d64: DUP1 00000d65: SWAP2 00000d66: SUB 00000d67: SWAP1 00000d68: LOG4 00000d69: POP 00000d6a: POP 00000d6b: POP 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH1 0x00 00000d70: SWAP1 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x0a 00000d75: PUSH1 0x20 00000d77: MSTORE 00000d78: PUSH1 0x40 00000d7a: SWAP1 00000d7b: KECCAK256 00000d7c: SLOAD 00000d7d: SWAP1 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: DUP1 00000d81: CALLER 00000d82: PUSH1 0x01 00000d84: PUSH1 0xa0 00000d86: PUSH1 0x02 00000d88: EXP 00000d89: SUB 00000d8a: AND 00000d8b: PUSH2 0x0d93 00000d8e: DUP3 00000d8f: PUSH2 0x0ba9 00000d92: JUMP 00000d93: JUMPDEST 00000d94: PUSH1 0x01 00000d96: PUSH1 0xa0 00000d98: PUSH1 0x02 00000d9a: EXP 00000d9b: SUB 00000d9c: AND 00000d9d: EQ 00000d9e: PUSH2 0x0da6 00000da1: JUMPI 00000da2: PUSH1 0x00 00000da4: DUP1 00000da5: REVERT 00000da6: JUMPDEST 00000da7: PUSH1 0x00 00000da9: DUP3 00000daa: DUP2 00000dab: MSTORE 00000dac: PUSH1 0x0e 00000dae: PUSH1 0x20 00000db0: SWAP1 00000db1: DUP2 00000db2: MSTORE 00000db3: PUSH1 0x40 00000db5: DUP1 00000db6: DUP4 00000db7: KECCAK256 00000db8: DUP1 00000db9: SLOAD 00000dba: PUSH1 0xff 00000dbc: NOT 00000dbd: AND 00000dbe: PUSH1 0x01 00000dc0: OR 00000dc1: SWAP1 00000dc2: SSTORE 00000dc3: PUSH1 0x0a 00000dc5: SWAP1 00000dc6: SWAP2 00000dc7: MSTORE 00000dc8: DUP2 00000dc9: KECCAK256 00000dca: SSTORE 00000dcb: PUSH2 0x0dd5 00000dce: CALLER 00000dcf: DUP5 00000dd0: DUP5 00000dd1: PUSH2 0x1238 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: POP 00000dd7: POP 00000dd8: POP 00000dd9: JUMP 00000dda: JUMPDEST 00000ddb: PUSH2 0x0de4 00000dde: CALLER 00000ddf: DUP3 00000de0: PUSH2 0x14da 00000de3: JUMP 00000de4: JUMPDEST 00000de5: ISZERO 00000de6: ISZERO 00000de7: PUSH2 0x0def 00000dea: JUMPI 00000deb: PUSH1 0x00 00000ded: DUP1 00000dee: REVERT 00000def: JUMPDEST 00000df0: PUSH2 0x0e02 00000df3: PUSH2 0x0dfb 00000df6: DUP3 00000df7: PUSH2 0x0ba9 00000dfa: JUMP 00000dfb: JUMPDEST 00000dfc: CALLER 00000dfd: DUP4 00000dfe: PUSH2 0x1238 00000e01: JUMP 00000e02: JUMPDEST 00000e03: POP 00000e04: JUMP 00000e05: JUMPDEST 00000e06: PUSH1 0x05 00000e08: SLOAD 00000e09: CALLER 00000e0a: PUSH1 0x01 00000e0c: PUSH1 0xa0 00000e0e: PUSH1 0x02 00000e10: EXP 00000e11: SUB 00000e12: SWAP1 00000e13: DUP2 00000e14: AND 00000e15: SWAP2 00000e16: AND 00000e17: EQ 00000e18: PUSH2 0x0e20 00000e1b: JUMPI 00000e1c: PUSH1 0x00 00000e1e: DUP1 00000e1f: REVERT 00000e20: JUMPDEST 00000e21: PUSH1 0x07 00000e23: SSTORE 00000e24: JUMP 00000e25: JUMPDEST 00000e26: PUSH2 0x0e2d 00000e29: PUSH2 0x1867 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: PUSH2 0x0e36 00000e31: DUP3 00000e32: PUSH2 0x0ba9 00000e35: JUMP 00000e36: JUMPDEST 00000e37: POP 00000e38: PUSH1 0x0c 00000e3a: PUSH1 0x00 00000e3c: DUP4 00000e3d: DUP2 00000e3e: MSTORE 00000e3f: PUSH1 0x20 00000e41: ADD 00000e42: SWAP1 00000e43: DUP2 00000e44: MSTORE 00000e45: PUSH1 0x20 00000e47: ADD 00000e48: PUSH1 0x00 00000e4a: KECCAK256 00000e4b: DUP1 00000e4c: SLOAD 00000e4d: PUSH1 0x01 00000e4f: DUP2 00000e50: PUSH1 0x01 00000e52: AND 00000e53: ISZERO 00000e54: PUSH2 0x0100 00000e57: MUL 00000e58: SUB 00000e59: AND 00000e5a: PUSH1 0x02 00000e5c: SWAP1 00000e5d: DIV 00000e5e: DUP1 00000e5f: PUSH1 0x1f 00000e61: ADD 00000e62: PUSH1 0x20 00000e64: DUP1 00000e65: SWAP2 00000e66: DIV 00000e67: MUL 00000e68: PUSH1 0x20 00000e6a: ADD 00000e6b: PUSH1 0x40 00000e6d: MLOAD 00000e6e: SWAP1 00000e6f: DUP2 00000e70: ADD 00000e71: PUSH1 0x40 00000e73: MSTORE 00000e74: DUP1 00000e75: SWAP3 00000e76: SWAP2 00000e77: SWAP1 00000e78: DUP2 00000e79: DUP2 00000e7a: MSTORE 00000e7b: PUSH1 0x20 00000e7d: ADD 00000e7e: DUP3 00000e7f: DUP1 00000e80: SLOAD 00000e81: PUSH1 0x01 00000e83: DUP2 00000e84: PUSH1 0x01 00000e86: AND 00000e87: ISZERO 00000e88: PUSH2 0x0100 00000e8b: MUL 00000e8c: SUB 00000e8d: AND 00000e8e: PUSH1 0x02 00000e90: SWAP1 00000e91: DIV 00000e92: DUP1 00000e93: ISZERO 00000e94: PUSH2 0x0b0f 00000e97: JUMPI 00000e98: DUP1 00000e99: PUSH1 0x1f 00000e9b: LT 00000e9c: PUSH2 0x0eb3 00000e9f: JUMPI 00000ea0: PUSH2 0x0100 00000ea3: DUP1 00000ea4: DUP4 00000ea5: SLOAD 00000ea6: DIV 00000ea7: MUL 00000ea8: DUP4 00000ea9: MSTORE 00000eaa: SWAP2 00000eab: PUSH1 0x20 00000ead: ADD 00000eae: SWAP2 00000eaf: PUSH2 0x0b0f 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: DUP3 00000eb5: ADD 00000eb6: SWAP2 00000eb7: SWAP1 00000eb8: PUSH1 0x00 00000eba: MSTORE 00000ebb: PUSH1 0x20 00000ebd: PUSH1 0x00 00000ebf: KECCAK256 00000ec0: SWAP1 00000ec1: JUMPDEST 00000ec2: DUP2 00000ec3: SLOAD 00000ec4: DUP2 00000ec5: MSTORE 00000ec6: SWAP1 00000ec7: PUSH1 0x01 00000ec9: ADD 00000eca: SWAP1 00000ecb: PUSH1 0x20 00000ecd: ADD 00000ece: DUP1 00000ecf: DUP4 00000ed0: GT 00000ed1: PUSH2 0x0ec1 00000ed4: JUMPI 00000ed5: POP 00000ed6: SWAP4 00000ed7: SWAP7 00000ed8: SWAP6 00000ed9: POP 00000eda: POP 00000edb: POP 00000edc: POP 00000edd: POP 00000ede: POP 00000edf: JUMP 00000ee0: JUMPDEST 00000ee1: PUSH1 0x00 00000ee3: SWAP1 00000ee4: DUP2 00000ee5: MSTORE 00000ee6: PUSH1 0x0b 00000ee8: PUSH1 0x20 00000eea: MSTORE 00000eeb: PUSH1 0x40 00000eed: SWAP1 00000eee: KECCAK256 00000eef: SLOAD 00000ef0: PUSH1 0x01 00000ef2: PUSH1 0xa0 00000ef4: PUSH1 0x02 00000ef6: EXP 00000ef7: SUB 00000ef8: AND 00000ef9: SWAP1 00000efa: JUMP 00000efb: JUMPDEST 00000efc: PUSH1 0x00 00000efe: DUP1 00000eff: PUSH1 0x00 00000f01: DUP1 00000f02: PUSH1 0x00 00000f04: DUP6 00000f05: CALLER 00000f06: PUSH1 0x01 00000f08: PUSH1 0xa0 00000f0a: PUSH1 0x02 00000f0c: EXP 00000f0d: SUB 00000f0e: AND 00000f0f: PUSH2 0x0f17 00000f12: DUP3 00000f13: PUSH2 0x0ba9 00000f16: JUMP 00000f17: JUMPDEST 00000f18: PUSH1 0x01 00000f1a: PUSH1 0xa0 00000f1c: PUSH1 0x02 00000f1e: EXP 00000f1f: SUB 00000f20: AND 00000f21: EQ 00000f22: ISZERO 00000f23: PUSH2 0x0f2b 00000f26: JUMPI 00000f27: PUSH1 0x00 00000f29: DUP1 00000f2a: REVERT 00000f2b: JUMPDEST 00000f2c: PUSH1 0x00 00000f2e: DUP8 00000f2f: DUP2 00000f30: MSTORE 00000f31: PUSH1 0x0a 00000f33: PUSH1 0x20 00000f35: MSTORE 00000f36: PUSH1 0x40 00000f38: SWAP1 00000f39: KECCAK256 00000f3a: SLOAD 00000f3b: SWAP6 00000f3c: POP 00000f3d: CALLVALUE 00000f3e: SWAP5 00000f3f: POP 00000f40: CALLER 00000f41: SWAP4 00000f42: POP 00000f43: PUSH2 0x0f4b 00000f46: DUP8 00000f47: PUSH2 0x0ba9 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH1 0x00 00000f4e: DUP9 00000f4f: DUP2 00000f50: MSTORE 00000f51: PUSH1 0x0b 00000f53: PUSH1 0x20 00000f55: MSTORE 00000f56: PUSH1 0x40 00000f58: DUP2 00000f59: KECCAK256 00000f5a: SLOAD 00000f5b: SWAP2 00000f5c: SWAP5 00000f5d: POP 00000f5e: PUSH1 0x01 00000f60: PUSH1 0xa0 00000f62: PUSH1 0x02 00000f64: EXP 00000f65: SUB 00000f66: SWAP1 00000f67: SWAP2 00000f68: AND 00000f69: SWAP3 00000f6a: POP 00000f6b: DUP7 00000f6c: GT 00000f6d: PUSH2 0x0f75 00000f70: JUMPI 00000f71: PUSH1 0x00 00000f73: DUP1 00000f74: REVERT 00000f75: JUMPDEST 00000f76: DUP6 00000f77: DUP6 00000f78: LT 00000f79: ISZERO 00000f7a: PUSH2 0x0f82 00000f7d: JUMPI 00000f7e: PUSH1 0x00 00000f80: DUP1 00000f81: REVERT 00000f82: JUMPDEST 00000f83: PUSH2 0x0f8b 00000f86: DUP8 00000f87: PUSH2 0x147f 00000f8a: JUMP 00000f8b: JUMPDEST 00000f8c: PUSH2 0x0f94 00000f8f: DUP8 00000f90: PUSH2 0x1442 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH2 0x0f9f 00000f98: DUP4 00000f99: DUP6 00000f9a: DUP10 00000f9b: PUSH2 0x1238 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH1 0x05 00000fa2: SLOAD 00000fa3: PUSH2 0x0fb9 00000fa6: SWAP1 00000fa7: DUP7 00000fa8: SWAP1 00000fa9: PUSH1 0x01 00000fab: PUSH1 0xa0 00000fad: PUSH1 0x02 00000faf: EXP 00000fb0: SUB 00000fb1: AND 00000fb2: DUP5 00000fb3: DUP7 00000fb4: DUP12 00000fb5: PUSH2 0x12fe 00000fb8: JUMP 00000fb9: JUMPDEST 00000fba: PUSH1 0x00 00000fbc: PUSH1 0x0a 00000fbe: PUSH1 0x00 00000fc0: DUP10 00000fc1: DUP2 00000fc2: MSTORE 00000fc3: PUSH1 0x20 00000fc5: ADD 00000fc6: SWAP1 00000fc7: DUP2 00000fc8: MSTORE 00000fc9: PUSH1 0x20 00000fcb: ADD 00000fcc: PUSH1 0x00 00000fce: KECCAK256 00000fcf: DUP2 00000fd0: SWAP1 00000fd1: SSTORE 00000fd2: POP 00000fd3: DUP7 00000fd4: DUP4 00000fd5: PUSH1 0x01 00000fd7: PUSH1 0xa0 00000fd9: PUSH1 0x02 00000fdb: EXP 00000fdc: SUB 00000fdd: AND 00000fde: DUP6 00000fdf: PUSH1 0x01 00000fe1: PUSH1 0xa0 00000fe3: PUSH1 0x02 00000fe5: EXP 00000fe6: SUB 00000fe7: AND 00000fe8: PUSH32 0x16dd16959a056953a63cf14bf427881e762e54f03d86b864efea8238dd3b822f 00001009: DUP9 0000100a: PUSH1 0x40 0000100c: MLOAD 0000100d: SWAP1 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x20 00001012: ADD 00001013: PUSH1 0x40 00001015: MLOAD 00001016: DUP1 00001017: SWAP2 00001018: SUB 00001019: SWAP1 0000101a: LOG4 0000101b: POP 0000101c: POP 0000101d: POP 0000101e: POP 0000101f: POP 00001020: POP 00001021: POP 00001022: JUMP 00001023: JUMPDEST 00001024: PUSH1 0x00 00001026: DUP2 00001027: PUSH1 0x0d 00001029: DUP2 0000102a: PUSH1 0x40 0000102c: MLOAD 0000102d: DUP1 0000102e: DUP3 0000102f: DUP1 00001030: MLOAD 00001031: SWAP1 00001032: PUSH1 0x20 00001034: ADD 00001035: SWAP1 00001036: DUP1 00001037: DUP4 00001038: DUP4 00001039: JUMPDEST 0000103a: PUSH1 0x20 0000103c: DUP4 0000103d: LT 0000103e: PUSH2 0x1058 00001041: JUMPI 00001042: DUP1 00001043: MLOAD 00001044: DUP3 00001045: MSTORE 00001046: PUSH1 0x1f 00001048: NOT 00001049: SWAP1 0000104a: SWAP3 0000104b: ADD 0000104c: SWAP2 0000104d: PUSH1 0x20 0000104f: SWAP2 00001050: DUP3 00001051: ADD 00001052: SWAP2 00001053: ADD 00001054: PUSH2 0x1039 00001057: JUMP 00001058: JUMPDEST 00001059: PUSH1 0x01 0000105b: DUP4 0000105c: PUSH1 0x20 0000105e: SUB 0000105f: PUSH2 0x0100 00001062: EXP 00001063: SUB 00001064: DUP1 00001065: NOT 00001066: DUP3 00001067: MLOAD 00001068: AND 00001069: DUP2 0000106a: DUP5 0000106b: MLOAD 0000106c: AND 0000106d: DUP1 0000106e: DUP3 0000106f: OR 00001070: DUP6 00001071: MSTORE 00001072: POP 00001073: POP 00001074: POP 00001075: POP 00001076: POP 00001077: POP 00001078: SWAP1 00001079: POP 0000107a: ADD 0000107b: SWAP2 0000107c: POP 0000107d: POP 0000107e: SWAP1 0000107f: DUP2 00001080: MSTORE 00001081: PUSH1 0x20 00001083: ADD 00001084: PUSH1 0x40 00001086: MLOAD 00001087: SWAP1 00001088: DUP2 00001089: SWAP1 0000108a: SUB 0000108b: SWAP1 0000108c: KECCAK256 0000108d: SLOAD 0000108e: ISZERO 0000108f: PUSH2 0x1097 00001092: JUMPI 00001093: PUSH1 0x00 00001095: DUP1 00001096: REVERT 00001097: JUMPDEST 00001098: PUSH1 0x01 0000109a: PUSH1 0xa0 0000109c: PUSH1 0x02 0000109e: EXP 0000109f: SUB 000010a0: CALLER 000010a1: AND 000010a2: PUSH1 0x00 000010a4: SWAP1 000010a5: DUP2 000010a6: MSTORE 000010a7: PUSH1 0x0f 000010a9: PUSH1 0x20 000010ab: MSTORE 000010ac: PUSH1 0x40 000010ae: SWAP1 000010af: KECCAK256 000010b0: SLOAD 000010b1: PUSH1 0xff 000010b3: AND 000010b4: ISZERO 000010b5: ISZERO 000010b6: PUSH1 0x01 000010b8: EQ 000010b9: PUSH2 0x10c1 000010bc: JUMPI 000010bd: PUSH1 0x00 000010bf: DUP1 000010c0: REVERT 000010c1: JUMPDEST 000010c2: PUSH2 0x10cb 000010c5: DUP4 000010c6: CALLER 000010c7: PUSH2 0x11d4 000010ca: JUMP 000010cb: JUMPDEST 000010cc: SWAP2 000010cd: POP 000010ce: DUP2 000010cf: PUSH1 0x0d 000010d1: DUP5 000010d2: PUSH1 0x40 000010d4: MLOAD 000010d5: DUP1 000010d6: DUP3 000010d7: DUP1 000010d8: MLOAD 000010d9: SWAP1 000010da: PUSH1 0x20 000010dc: ADD 000010dd: SWAP1 000010de: DUP1 000010df: DUP4 000010e0: DUP4 000010e1: JUMPDEST 000010e2: PUSH1 0x20 000010e4: DUP4 000010e5: LT 000010e6: PUSH2 0x1100 000010e9: JUMPI 000010ea: DUP1 000010eb: MLOAD 000010ec: DUP3 000010ed: MSTORE 000010ee: PUSH1 0x1f 000010f0: NOT 000010f1: SWAP1 000010f2: SWAP3 000010f3: ADD 000010f4: SWAP2 000010f5: PUSH1 0x20 000010f7: SWAP2 000010f8: DUP3 000010f9: ADD 000010fa: SWAP2 000010fb: ADD 000010fc: PUSH2 0x10e1 000010ff: JUMP 00001100: JUMPDEST 00001101: PUSH1 0x01 00001103: DUP4 00001104: PUSH1 0x20 00001106: SUB 00001107: PUSH2 0x0100 0000110a: EXP 0000110b: SUB 0000110c: DUP1 0000110d: NOT 0000110e: DUP3 0000110f: MLOAD 00001110: AND 00001111: DUP2 00001112: DUP5 00001113: MLOAD 00001114: AND 00001115: DUP1 00001116: DUP3 00001117: OR 00001118: DUP6 00001119: MSTORE 0000111a: POP 0000111b: POP 0000111c: POP 0000111d: POP 0000111e: POP 0000111f: POP 00001120: SWAP1 00001121: POP 00001122: ADD 00001123: SWAP2 00001124: POP 00001125: POP 00001126: SWAP1 00001127: DUP2 00001128: MSTORE 00001129: PUSH1 0x20 0000112b: ADD 0000112c: PUSH1 0x40 0000112e: MLOAD 0000112f: SWAP1 00001130: DUP2 00001131: SWAP1 00001132: SUB 00001133: SWAP1 00001134: KECCAK256 00001135: SSTORE 00001136: POP 00001137: POP 00001138: POP 00001139: JUMP 0000113a: JUMPDEST 0000113b: PUSH1 0x07 0000113d: SLOAD 0000113e: DUP2 0000113f: JUMP 00001140: JUMPDEST 00001141: PUSH1 0x06 00001143: SLOAD 00001144: DUP2 00001145: JUMP 00001146: JUMPDEST 00001147: PUSH1 0x05 00001149: SLOAD 0000114a: CALLER 0000114b: PUSH1 0x01 0000114d: PUSH1 0xa0 0000114f: PUSH1 0x02 00001151: EXP 00001152: SUB 00001153: SWAP1 00001154: DUP2 00001155: AND 00001156: SWAP2 00001157: AND 00001158: EQ 00001159: PUSH2 0x1161 0000115c: JUMPI 0000115d: PUSH1 0x00 0000115f: DUP1 00001160: REVERT 00001161: JUMPDEST 00001162: PUSH1 0x01 00001164: PUSH1 0xa0 00001166: PUSH1 0x02 00001168: EXP 00001169: SUB 0000116a: DUP2 0000116b: AND 0000116c: ISZERO 0000116d: ISZERO 0000116e: PUSH2 0x1176 00001171: JUMPI 00001172: PUSH1 0x00 00001174: DUP1 00001175: REVERT 00001176: JUMPDEST 00001177: PUSH1 0x05 00001179: SLOAD 0000117a: PUSH1 0x01 0000117c: PUSH1 0xa0 0000117e: PUSH1 0x02 00001180: EXP 00001181: SUB 00001182: DUP1 00001183: DUP4 00001184: AND 00001185: SWAP2 00001186: AND 00001187: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000011a8: PUSH1 0x40 000011aa: MLOAD 000011ab: PUSH1 0x40 000011ad: MLOAD 000011ae: DUP1 000011af: SWAP2 000011b0: SUB 000011b1: SWAP1 000011b2: LOG3 000011b3: PUSH1 0x05 000011b5: DUP1 000011b6: SLOAD 000011b7: PUSH1 0x01 000011b9: PUSH1 0xa0 000011bb: PUSH1 0x02 000011bd: EXP 000011be: SUB 000011bf: NOT 000011c0: AND 000011c1: PUSH1 0x01 000011c3: PUSH1 0xa0 000011c5: PUSH1 0x02 000011c7: EXP 000011c8: SUB 000011c9: SWAP3 000011ca: SWAP1 000011cb: SWAP3 000011cc: AND 000011cd: SWAP2 000011ce: SWAP1 000011cf: SWAP2 000011d0: OR 000011d1: SWAP1 000011d2: SSTORE 000011d3: JUMP 000011d4: JUMPDEST 000011d5: PUSH1 0x00 000011d7: DUP1 000011d8: PUSH2 0x11df 000011db: PUSH2 0x0874 000011de: JUMP 000011df: JUMPDEST 000011e0: PUSH1 0x01 000011e2: ADD 000011e3: SWAP1 000011e4: POP 000011e5: PUSH2 0x11ee 000011e8: DUP4 000011e9: DUP3 000011ea: PUSH2 0x1500 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH1 0x00 000011f1: DUP2 000011f2: DUP2 000011f3: MSTORE 000011f4: PUSH1 0x0b 000011f6: PUSH1 0x20 000011f8: SWAP1 000011f9: DUP2 000011fa: MSTORE 000011fb: PUSH1 0x40 000011fd: DUP1 000011fe: DUP4 000011ff: KECCAK256 00001200: DUP1 00001201: SLOAD 00001202: PUSH1 0x01 00001204: PUSH1 0xa0 00001206: PUSH1 0x02 00001208: EXP 00001209: SUB 0000120a: NOT 0000120b: AND 0000120c: PUSH1 0x01 0000120e: PUSH1 0xa0 00001210: PUSH1 0x02 00001212: EXP 00001213: SUB 00001214: DUP9 00001215: AND 00001216: OR 00001217: SWAP1 00001218: SSTORE 00001219: PUSH1 0x0c 0000121b: SWAP1 0000121c: SWAP2 0000121d: MSTORE 0000121e: SWAP1 0000121f: KECCAK256 00001220: DUP5 00001221: DUP1 00001222: MLOAD 00001223: PUSH2 0x1230 00001226: SWAP3 00001227: SWAP2 00001228: PUSH1 0x20 0000122a: ADD 0000122b: SWAP1 0000122c: PUSH2 0x1879 0000122f: JUMP 00001230: JUMPDEST 00001231: POP 00001232: SWAP4 00001233: SWAP3 00001234: POP 00001235: POP 00001236: POP 00001237: JUMP 00001238: JUMPDEST 00001239: PUSH1 0x01 0000123b: PUSH1 0xa0 0000123d: PUSH1 0x02 0000123f: EXP 00001240: SUB 00001241: DUP3 00001242: AND 00001243: ISZERO 00001244: ISZERO 00001245: PUSH2 0x124d 00001248: JUMPI 00001249: PUSH1 0x00 0000124b: DUP1 0000124c: REVERT 0000124d: JUMPDEST 0000124e: PUSH2 0x1256 00001251: DUP2 00001252: PUSH2 0x0ba9 00001255: JUMP 00001256: JUMPDEST 00001257: PUSH1 0x01 00001259: PUSH1 0xa0 0000125b: PUSH1 0x02 0000125d: EXP 0000125e: SUB 0000125f: DUP4 00001260: DUP2 00001261: AND 00001262: SWAP2 00001263: AND 00001264: EQ 00001265: ISZERO 00001266: PUSH2 0x126e 00001269: JUMPI 0000126a: PUSH1 0x00 0000126c: DUP1 0000126d: REVERT 0000126e: JUMPDEST 0000126f: DUP3 00001270: PUSH1 0x01 00001272: PUSH1 0xa0 00001274: PUSH1 0x02 00001276: EXP 00001277: SUB 00001278: AND 00001279: PUSH2 0x1281 0000127c: DUP3 0000127d: PUSH2 0x0ba9 00001280: JUMP 00001281: JUMPDEST 00001282: PUSH1 0x01 00001284: PUSH1 0xa0 00001286: PUSH1 0x02 00001288: EXP 00001289: SUB 0000128a: AND 0000128b: EQ 0000128c: PUSH2 0x1294 0000128f: JUMPI 00001290: PUSH1 0x00 00001292: DUP1 00001293: REVERT 00001294: JUMPDEST 00001295: PUSH2 0x129e 00001298: DUP4 00001299: DUP3 0000129a: PUSH2 0x1562 0000129d: JUMP 0000129e: JUMPDEST 0000129f: PUSH2 0x12a8 000012a2: DUP4 000012a3: DUP3 000012a4: PUSH2 0x15e7 000012a7: JUMP 000012a8: JUMPDEST 000012a9: PUSH2 0x12b2 000012ac: DUP3 000012ad: DUP3 000012ae: PUSH2 0x1745 000012b1: JUMP 000012b2: JUMPDEST 000012b3: DUP2 000012b4: PUSH1 0x01 000012b6: PUSH1 0xa0 000012b8: PUSH1 0x02 000012ba: EXP 000012bb: SUB 000012bc: AND 000012bd: DUP4 000012be: PUSH1 0x01 000012c0: PUSH1 0xa0 000012c2: PUSH1 0x02 000012c4: EXP 000012c5: SUB 000012c6: AND 000012c7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000012e8: DUP4 000012e9: PUSH1 0x40 000012eb: MLOAD 000012ec: SWAP1 000012ed: DUP2 000012ee: MSTORE 000012ef: PUSH1 0x20 000012f1: ADD 000012f2: PUSH1 0x40 000012f4: MLOAD 000012f5: DUP1 000012f6: SWAP2 000012f7: SUB 000012f8: SWAP1 000012f9: LOG3 000012fa: POP 000012fb: POP 000012fc: POP 000012fd: JUMP 000012fe: JUMPDEST 000012ff: PUSH1 0x00 00001301: DUP2 00001302: DUP2 00001303: MSTORE 00001304: PUSH1 0x0e 00001306: PUSH1 0x20 00001308: MSTORE 00001309: PUSH1 0x40 0000130b: DUP2 0000130c: KECCAK256 0000130d: SLOAD 0000130e: DUP2 0000130f: SWAP1 00001310: DUP2 00001311: SWAP1 00001312: PUSH1 0xff 00001314: AND 00001315: ISZERO 00001316: PUSH2 0x1386 00001319: JUMPI 0000131a: PUSH2 0x1340 0000131d: PUSH2 0x03e8 00001320: PUSH2 0x1334 00001323: PUSH1 0x06 00001325: SLOAD 00001326: DUP12 00001327: PUSH2 0x17fd 0000132a: SWAP1 0000132b: SWAP2 0000132c: SWAP1 0000132d: PUSH4 0xffffffff 00001332: AND 00001333: JUMP 00001334: JUMPDEST 00001335: SWAP1 00001336: PUSH4 0xffffffff 0000133b: PUSH2 0x182f 0000133e: AND 0000133f: JUMP 00001340: JUMPDEST 00001341: SWAP3 00001342: POP 00001343: PUSH2 0x135d 00001346: PUSH2 0x03e8 00001349: PUSH2 0x1334 0000134c: PUSH1 0x07 0000134e: SLOAD 0000134f: DUP12 00001350: PUSH2 0x17fd 00001353: SWAP1 00001354: SWAP2 00001355: SWAP1 00001356: PUSH4 0xffffffff 0000135b: AND 0000135c: JUMP 0000135d: JUMPDEST 0000135e: SWAP2 0000135f: POP 00001360: PUSH2 0x137f 00001363: DUP4 00001364: PUSH2 0x1373 00001367: DUP11 00001368: DUP6 00001369: PUSH4 0xffffffff 0000136e: PUSH2 0x1846 00001371: AND 00001372: JUMP 00001373: JUMPDEST 00001374: SWAP1 00001375: PUSH4 0xffffffff 0000137a: PUSH2 0x1846 0000137d: AND 0000137e: JUMP 0000137f: JUMPDEST 00001380: SWAP1 00001381: POP 00001382: PUSH2 0x13a5 00001385: JUMP 00001386: JUMPDEST 00001387: POP 00001388: POP 00001389: POP 0000138a: PUSH1 0x00 0000138c: DUP2 0000138d: DUP2 0000138e: MSTORE 0000138f: PUSH1 0x0e 00001391: PUSH1 0x20 00001393: MSTORE 00001394: PUSH1 0x40 00001396: DUP2 00001397: KECCAK256 00001398: DUP1 00001399: SLOAD 0000139a: PUSH1 0xff 0000139c: NOT 0000139d: AND 0000139e: PUSH1 0x01 000013a0: OR 000013a1: SWAP1 000013a2: SSTORE 000013a3: DUP6 000013a4: DUP2 000013a5: JUMPDEST 000013a6: PUSH1 0x01 000013a8: PUSH1 0xa0 000013aa: PUSH1 0x02 000013ac: EXP 000013ad: SUB 000013ae: DUP8 000013af: AND 000013b0: DUP4 000013b1: ISZERO 000013b2: PUSH2 0x08fc 000013b5: MUL 000013b6: DUP5 000013b7: PUSH1 0x40 000013b9: MLOAD 000013ba: PUSH1 0x00 000013bc: PUSH1 0x40 000013be: MLOAD 000013bf: DUP1 000013c0: DUP4 000013c1: SUB 000013c2: DUP2 000013c3: DUP6 000013c4: DUP9 000013c5: DUP9 000013c6: CALL 000013c7: SWAP4 000013c8: POP 000013c9: POP 000013ca: POP 000013cb: POP 000013cc: ISZERO 000013cd: ISZERO 000013ce: PUSH2 0x13d6 000013d1: JUMPI 000013d2: PUSH1 0x00 000013d4: DUP1 000013d5: REVERT 000013d6: JUMPDEST 000013d7: PUSH1 0x01 000013d9: PUSH1 0xa0 000013db: PUSH1 0x02 000013dd: EXP 000013de: SUB 000013df: DUP7 000013e0: AND 000013e1: DUP3 000013e2: ISZERO 000013e3: PUSH2 0x08fc 000013e6: MUL 000013e7: DUP4 000013e8: PUSH1 0x40 000013ea: MLOAD 000013eb: PUSH1 0x00 000013ed: PUSH1 0x40 000013ef: MLOAD 000013f0: DUP1 000013f1: DUP4 000013f2: SUB 000013f3: DUP2 000013f4: DUP6 000013f5: DUP9 000013f6: DUP9 000013f7: CALL 000013f8: SWAP4 000013f9: POP 000013fa: POP 000013fb: POP 000013fc: POP 000013fd: ISZERO 000013fe: ISZERO 000013ff: PUSH2 0x1407 00001402: JUMPI 00001403: PUSH1 0x00 00001405: DUP1 00001406: REVERT 00001407: JUMPDEST 00001408: PUSH1 0x01 0000140a: PUSH1 0xa0 0000140c: PUSH1 0x02 0000140e: EXP 0000140f: SUB 00001410: DUP6 00001411: AND 00001412: DUP2 00001413: ISZERO 00001414: PUSH2 0x08fc 00001417: MUL 00001418: DUP3 00001419: PUSH1 0x40 0000141b: MLOAD 0000141c: PUSH1 0x00 0000141e: PUSH1 0x40 00001420: MLOAD 00001421: DUP1 00001422: DUP4 00001423: SUB 00001424: DUP2 00001425: DUP6 00001426: DUP9 00001427: DUP9 00001428: CALL 00001429: SWAP4 0000142a: POP 0000142b: POP 0000142c: POP 0000142d: POP 0000142e: ISZERO 0000142f: ISZERO 00001430: PUSH2 0x1438 00001433: JUMPI 00001434: PUSH1 0x00 00001436: DUP1 00001437: REVERT 00001438: JUMPDEST 00001439: POP 0000143a: POP 0000143b: POP 0000143c: POP 0000143d: POP 0000143e: POP 0000143f: POP 00001440: POP 00001441: JUMP 00001442: JUMPDEST 00001443: PUSH1 0x00 00001445: SWAP1 00001446: DUP2 00001447: MSTORE 00001448: PUSH1 0x08 0000144a: PUSH1 0x20 0000144c: SWAP1 0000144d: DUP2 0000144e: MSTORE 0000144f: PUSH1 0x40 00001451: DUP1 00001452: DUP4 00001453: KECCAK256 00001454: DUP1 00001455: SLOAD 00001456: PUSH1 0x01 00001458: PUSH1 0xa0 0000145a: PUSH1 0x02 0000145c: EXP 0000145d: SUB 0000145e: NOT 0000145f: AND 00001460: SWAP1 00001461: SSTORE 00001462: PUSH1 0x09 00001464: SWAP1 00001465: SWAP2 00001466: MSTORE 00001467: DUP2 00001468: KECCAK256 00001469: SSTORE 0000146a: JUMP 0000146b: JUMPDEST 0000146c: PUSH1 0x00 0000146e: SWAP1 0000146f: DUP2 00001470: MSTORE 00001471: PUSH1 0x09 00001473: PUSH1 0x20 00001475: MSTORE 00001476: PUSH1 0x40 00001478: SWAP1 00001479: KECCAK256 0000147a: SLOAD 0000147b: CALLVALUE 0000147c: GT 0000147d: SWAP1 0000147e: JUMP 0000147f: JUMPDEST 00001480: PUSH1 0x00 00001482: DUP2 00001483: DUP2 00001484: MSTORE 00001485: PUSH1 0x09 00001487: PUSH1 0x20 00001489: SWAP1 0000148a: DUP2 0000148b: MSTORE 0000148c: PUSH1 0x40 0000148e: DUP1 0000148f: DUP4 00001490: KECCAK256 00001491: SLOAD 00001492: PUSH1 0x08 00001494: SWAP1 00001495: SWAP3 00001496: MSTORE 00001497: SWAP1 00001498: SWAP2 00001499: KECCAK256 0000149a: SLOAD 0000149b: PUSH1 0x01 0000149d: PUSH1 0xa0 0000149f: PUSH1 0x02 000014a1: EXP 000014a2: SUB 000014a3: AND 000014a4: DUP1 000014a5: ISZERO 000014a6: PUSH2 0x0dd5 000014a9: JUMPI 000014aa: PUSH1 0x01 000014ac: PUSH1 0xa0 000014ae: PUSH1 0x02 000014b0: EXP 000014b1: SUB 000014b2: DUP2 000014b3: AND 000014b4: DUP3 000014b5: ISZERO 000014b6: PUSH2 0x08fc 000014b9: MUL 000014ba: DUP4 000014bb: PUSH1 0x40 000014bd: MLOAD 000014be: PUSH1 0x00 000014c0: PUSH1 0x40 000014c2: MLOAD 000014c3: DUP1 000014c4: DUP4 000014c5: SUB 000014c6: DUP2 000014c7: DUP6 000014c8: DUP9 000014c9: DUP9 000014ca: CALL 000014cb: SWAP4 000014cc: POP 000014cd: POP 000014ce: POP 000014cf: POP 000014d0: ISZERO 000014d1: ISZERO 000014d2: PUSH2 0x0dd5 000014d5: JUMPI 000014d6: PUSH1 0x00 000014d8: DUP1 000014d9: REVERT 000014da: JUMPDEST 000014db: PUSH1 0x00 000014dd: DUP3 000014de: PUSH1 0x01 000014e0: PUSH1 0xa0 000014e2: PUSH1 0x02 000014e4: EXP 000014e5: SUB 000014e6: AND 000014e7: PUSH2 0x14ef 000014ea: DUP4 000014eb: PUSH2 0x08a3 000014ee: JUMP 000014ef: JUMPDEST 000014f0: PUSH1 0x01 000014f2: PUSH1 0xa0 000014f4: PUSH1 0x02 000014f6: EXP 000014f7: SUB 000014f8: AND 000014f9: EQ 000014fa: SWAP4 000014fb: SWAP3 000014fc: POP 000014fd: POP 000014fe: POP 000014ff: JUMP 00001500: JUMPDEST 00001501: PUSH1 0x01 00001503: PUSH1 0xa0 00001505: PUSH1 0x02 00001507: EXP 00001508: SUB 00001509: DUP3 0000150a: AND 0000150b: ISZERO 0000150c: ISZERO 0000150d: PUSH2 0x1515 00001510: JUMPI 00001511: PUSH1 0x00 00001513: DUP1 00001514: REVERT 00001515: JUMPDEST 00001516: PUSH2 0x151f 00001519: DUP3 0000151a: DUP3 0000151b: PUSH2 0x1745 0000151e: JUMP 0000151f: JUMPDEST 00001520: DUP2 00001521: PUSH1 0x01 00001523: PUSH1 0xa0 00001525: PUSH1 0x02 00001527: EXP 00001528: SUB 00001529: AND 0000152a: PUSH1 0x00 0000152c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000154d: DUP4 0000154e: PUSH1 0x40 00001550: MLOAD 00001551: SWAP1 00001552: DUP2 00001553: MSTORE 00001554: PUSH1 0x20 00001556: ADD 00001557: PUSH1 0x40 00001559: MLOAD 0000155a: DUP1 0000155b: SWAP2 0000155c: SUB 0000155d: SWAP1 0000155e: LOG3 0000155f: POP 00001560: POP 00001561: JUMP 00001562: JUMPDEST 00001563: DUP2 00001564: PUSH1 0x01 00001566: PUSH1 0xa0 00001568: PUSH1 0x02 0000156a: EXP 0000156b: SUB 0000156c: AND 0000156d: PUSH2 0x1575 00001570: DUP3 00001571: PUSH2 0x0ba9 00001574: JUMP 00001575: JUMPDEST 00001576: PUSH1 0x01 00001578: PUSH1 0xa0 0000157a: PUSH1 0x02 0000157c: EXP 0000157d: SUB 0000157e: AND 0000157f: EQ 00001580: PUSH2 0x1588 00001583: JUMPI 00001584: PUSH1 0x00 00001586: DUP1 00001587: REVERT 00001588: JUMPDEST 00001589: PUSH1 0x00 0000158b: DUP2 0000158c: DUP2 0000158d: MSTORE 0000158e: PUSH1 0x02 00001590: PUSH1 0x20 00001592: MSTORE 00001593: PUSH1 0x40 00001595: DUP1 00001596: DUP3 00001597: KECCAK256 00001598: DUP1 00001599: SLOAD 0000159a: PUSH1 0x01 0000159c: PUSH1 0xa0 0000159e: PUSH1 0x02 000015a0: EXP 000015a1: SUB 000015a2: NOT 000015a3: AND 000015a4: SWAP1 000015a5: SSTORE 000015a6: PUSH1 0x01 000015a8: PUSH1 0xa0 000015aa: PUSH1 0x02 000015ac: EXP 000015ad: SUB 000015ae: DUP5 000015af: AND 000015b0: SWAP1 000015b1: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000015d2: SWAP1 000015d3: DUP5 000015d4: SWAP1 000015d5: MLOAD 000015d6: SWAP1 000015d7: DUP2 000015d8: MSTORE 000015d9: PUSH1 0x20 000015db: ADD 000015dc: PUSH1 0x40 000015de: MLOAD 000015df: DUP1 000015e0: SWAP2 000015e1: SUB 000015e2: SWAP1 000015e3: LOG3 000015e4: POP 000015e5: POP 000015e6: JUMP 000015e7: JUMPDEST 000015e8: PUSH1 0x00 000015ea: DUP1 000015eb: PUSH1 0x00 000015ed: DUP5 000015ee: PUSH1 0x01 000015f0: PUSH1 0xa0 000015f2: PUSH1 0x02 000015f4: EXP 000015f5: SUB 000015f6: AND 000015f7: PUSH2 0x15ff 000015fa: DUP6 000015fb: PUSH2 0x0ba9 000015fe: JUMP 000015ff: JUMPDEST 00001600: PUSH1 0x01 00001602: PUSH1 0xa0 00001604: PUSH1 0x02 00001606: EXP 00001607: SUB 00001608: AND 00001609: EQ 0000160a: PUSH2 0x1612 0000160d: JUMPI 0000160e: PUSH1 0x00 00001610: DUP1 00001611: REVERT 00001612: JUMPDEST 00001613: PUSH1 0x00 00001615: DUP5 00001616: DUP2 00001617: MSTORE 00001618: PUSH1 0x04 0000161a: PUSH1 0x20 0000161c: MSTORE 0000161d: PUSH1 0x40 0000161f: SWAP1 00001620: KECCAK256 00001621: SLOAD 00001622: SWAP3 00001623: POP 00001624: PUSH2 0x1631 00001627: PUSH1 0x01 00001629: PUSH2 0x1373 0000162c: DUP8 0000162d: PUSH2 0x0c4e 00001630: JUMP 00001631: JUMPDEST 00001632: PUSH1 0x01 00001634: PUSH1 0xa0 00001636: PUSH1 0x02 00001638: EXP 00001639: SUB 0000163a: DUP7 0000163b: AND 0000163c: PUSH1 0x00 0000163e: SWAP1 0000163f: DUP2 00001640: MSTORE 00001641: PUSH1 0x03 00001643: PUSH1 0x20 00001645: MSTORE 00001646: PUSH1 0x40 00001648: SWAP1 00001649: KECCAK256 0000164a: DUP1 0000164b: SLOAD 0000164c: SWAP2 0000164d: SWAP4 0000164e: POP 0000164f: SWAP1 00001650: DUP4 00001651: SWAP1 00001652: DUP2 00001653: LT 00001654: PUSH2 0x1659 00001657: JUMPI 00001658: INVALID 00001659: JUMPDEST 0000165a: PUSH1 0x00 0000165c: SWAP2 0000165d: DUP3 0000165e: MSTORE 0000165f: PUSH1 0x20 00001661: DUP1 00001662: DUP4 00001663: KECCAK256 00001664: SWAP1 00001665: SWAP2 00001666: ADD 00001667: SLOAD 00001668: DUP7 00001669: DUP4 0000166a: MSTORE 0000166b: PUSH1 0x01 0000166d: DUP3 0000166e: MSTORE 0000166f: PUSH1 0x40 00001671: DUP1 00001672: DUP5 00001673: KECCAK256 00001674: DUP1 00001675: SLOAD 00001676: PUSH1 0x01 00001678: PUSH1 0xa0 0000167a: PUSH1 0x02 0000167c: EXP 0000167d: SUB 0000167e: NOT 0000167f: AND 00001680: SWAP1 00001681: SSTORE 00001682: PUSH1 0x01 00001684: PUSH1 0xa0 00001686: PUSH1 0x02 00001688: EXP 00001689: SUB 0000168a: DUP10 0000168b: AND 0000168c: DUP5 0000168d: MSTORE 0000168e: PUSH1 0x03 00001690: SWAP1 00001691: SWAP3 00001692: MSTORE 00001693: SWAP2 00001694: KECCAK256 00001695: DUP1 00001696: SLOAD 00001697: SWAP2 00001698: SWAP3 00001699: POP 0000169a: DUP3 0000169b: SWAP2 0000169c: DUP6 0000169d: SWAP1 0000169e: DUP2 0000169f: LT 000016a0: PUSH2 0x16a5 000016a3: JUMPI 000016a4: INVALID 000016a5: JUMPDEST 000016a6: PUSH1 0x00 000016a8: SWAP2 000016a9: DUP3 000016aa: MSTORE 000016ab: PUSH1 0x20 000016ad: DUP1 000016ae: DUP4 000016af: KECCAK256 000016b0: SWAP1 000016b1: SWAP2 000016b2: ADD 000016b3: SWAP3 000016b4: SWAP1 000016b5: SWAP3 000016b6: SSTORE 000016b7: PUSH1 0x01 000016b9: PUSH1 0xa0 000016bb: PUSH1 0x02 000016bd: EXP 000016be: SUB 000016bf: DUP8 000016c0: AND 000016c1: DUP2 000016c2: MSTORE 000016c3: PUSH1 0x03 000016c5: SWAP1 000016c6: SWAP2 000016c7: MSTORE 000016c8: PUSH1 0x40 000016ca: DUP2 000016cb: KECCAK256 000016cc: DUP1 000016cd: SLOAD 000016ce: DUP5 000016cf: SWAP1 000016d0: DUP2 000016d1: LT 000016d2: PUSH2 0x16d7 000016d5: JUMPI 000016d6: INVALID 000016d7: JUMPDEST 000016d8: PUSH1 0x00 000016da: SWAP2 000016db: DUP3 000016dc: MSTORE 000016dd: PUSH1 0x20 000016df: DUP1 000016e0: DUP4 000016e1: KECCAK256 000016e2: SWAP1 000016e3: SWAP2 000016e4: ADD 000016e5: SWAP3 000016e6: SWAP1 000016e7: SWAP3 000016e8: SSTORE 000016e9: PUSH1 0x01 000016eb: PUSH1 0xa0 000016ed: PUSH1 0x02 000016ef: EXP 000016f0: SUB 000016f1: DUP8 000016f2: AND 000016f3: DUP2 000016f4: MSTORE 000016f5: PUSH1 0x03 000016f7: SWAP1 000016f8: SWAP2 000016f9: MSTORE 000016fa: PUSH1 0x40 000016fc: SWAP1 000016fd: KECCAK256 000016fe: DUP1 000016ff: SLOAD 00001700: SWAP1 00001701: PUSH2 0x170e 00001704: SWAP1 00001705: PUSH1 0x00 00001707: NOT 00001708: DUP4 00001709: ADD 0000170a: PUSH2 0x18f7 0000170d: JUMP 0000170e: JUMPDEST 0000170f: POP 00001710: PUSH1 0x00 00001712: DUP5 00001713: DUP2 00001714: MSTORE 00001715: PUSH1 0x04 00001717: PUSH1 0x20 00001719: MSTORE 0000171a: PUSH1 0x40 0000171c: DUP1 0000171d: DUP3 0000171e: KECCAK256 0000171f: DUP3 00001720: SWAP1 00001721: SSTORE 00001722: DUP3 00001723: DUP3 00001724: MSTORE 00001725: DUP2 00001726: KECCAK256 00001727: DUP5 00001728: SWAP1 00001729: SSTORE 0000172a: SLOAD 0000172b: PUSH2 0x173b 0000172e: SWAP1 0000172f: PUSH1 0x01 00001731: PUSH4 0xffffffff 00001736: PUSH2 0x1846 00001739: AND 0000173a: JUMP 0000173b: JUMPDEST 0000173c: PUSH1 0x00 0000173e: SSTORE 0000173f: POP 00001740: POP 00001741: POP 00001742: POP 00001743: POP 00001744: JUMP 00001745: JUMPDEST 00001746: PUSH1 0x00 00001748: DUP2 00001749: DUP2 0000174a: MSTORE 0000174b: PUSH1 0x01 0000174d: PUSH1 0x20 0000174f: MSTORE 00001750: PUSH1 0x40 00001752: DUP2 00001753: KECCAK256 00001754: SLOAD 00001755: PUSH1 0x01 00001757: PUSH1 0xa0 00001759: PUSH1 0x02 0000175b: EXP 0000175c: SUB 0000175d: AND 0000175e: ISZERO 0000175f: PUSH2 0x1767 00001762: JUMPI 00001763: PUSH1 0x00 00001765: DUP1 00001766: REVERT 00001767: JUMPDEST 00001768: PUSH1 0x00 0000176a: DUP3 0000176b: DUP2 0000176c: MSTORE 0000176d: PUSH1 0x01 0000176f: PUSH1 0x20 00001771: MSTORE 00001772: PUSH1 0x40 00001774: SWAP1 00001775: KECCAK256 00001776: DUP1 00001777: SLOAD 00001778: PUSH1 0x01 0000177a: PUSH1 0xa0 0000177c: PUSH1 0x02 0000177e: EXP 0000177f: SUB 00001780: NOT 00001781: AND 00001782: PUSH1 0x01 00001784: PUSH1 0xa0 00001786: PUSH1 0x02 00001788: EXP 00001789: SUB 0000178a: DUP6 0000178b: AND 0000178c: OR 0000178d: SWAP1 0000178e: SSTORE 0000178f: PUSH2 0x1797 00001792: DUP4 00001793: PUSH2 0x0c4e 00001796: JUMP 00001797: JUMPDEST 00001798: PUSH1 0x01 0000179a: PUSH1 0xa0 0000179c: PUSH1 0x02 0000179e: EXP 0000179f: SUB 000017a0: DUP5 000017a1: AND 000017a2: PUSH1 0x00 000017a4: SWAP1 000017a5: DUP2 000017a6: MSTORE 000017a7: PUSH1 0x03 000017a9: PUSH1 0x20 000017ab: MSTORE 000017ac: PUSH1 0x40 000017ae: SWAP1 000017af: KECCAK256 000017b0: DUP1 000017b1: SLOAD 000017b2: SWAP2 000017b3: SWAP3 000017b4: POP 000017b5: SWAP1 000017b6: PUSH1 0x01 000017b8: DUP2 000017b9: ADD 000017ba: PUSH2 0x17c3 000017bd: DUP4 000017be: DUP3 000017bf: PUSH2 0x18f7 000017c2: JUMP 000017c3: JUMPDEST 000017c4: POP 000017c5: PUSH1 0x00 000017c7: SWAP2 000017c8: DUP3 000017c9: MSTORE 000017ca: PUSH1 0x20 000017cc: DUP1 000017cd: DUP4 000017ce: KECCAK256 000017cf: SWAP2 000017d0: SWAP1 000017d1: SWAP2 000017d2: ADD 000017d3: DUP5 000017d4: SWAP1 000017d5: SSTORE 000017d6: DUP4 000017d7: DUP3 000017d8: MSTORE 000017d9: PUSH1 0x04 000017db: SWAP1 000017dc: MSTORE 000017dd: PUSH1 0x40 000017df: DUP2 000017e0: KECCAK256 000017e1: DUP3 000017e2: SWAP1 000017e3: SSTORE 000017e4: SLOAD 000017e5: PUSH2 0x17f5 000017e8: SWAP1 000017e9: PUSH1 0x01 000017eb: PUSH4 0xffffffff 000017f0: PUSH2 0x1858 000017f3: AND 000017f4: JUMP 000017f5: JUMPDEST 000017f6: PUSH1 0x00 000017f8: SSTORE 000017f9: POP 000017fa: POP 000017fb: POP 000017fc: JUMP 000017fd: JUMPDEST 000017fe: PUSH1 0x00 00001800: DUP1 00001801: DUP4 00001802: ISZERO 00001803: ISZERO 00001804: PUSH2 0x1810 00001807: JUMPI 00001808: PUSH1 0x00 0000180a: SWAP2 0000180b: POP 0000180c: PUSH2 0x0c47 0000180f: JUMP 00001810: JUMPDEST 00001811: POP 00001812: DUP3 00001813: DUP3 00001814: MUL 00001815: DUP3 00001816: DUP5 00001817: DUP3 00001818: DUP2 00001819: ISZERO 0000181a: ISZERO 0000181b: PUSH2 0x1820 0000181e: JUMPI 0000181f: INVALID 00001820: JUMPDEST 00001821: DIV 00001822: EQ 00001823: PUSH2 0x1828 00001826: JUMPI 00001827: INVALID 00001828: JUMPDEST 00001829: SWAP4 0000182a: SWAP3 0000182b: POP 0000182c: POP 0000182d: POP 0000182e: JUMP 0000182f: JUMPDEST 00001830: PUSH1 0x00 00001832: DUP1 00001833: DUP3 00001834: DUP5 00001835: DUP2 00001836: ISZERO 00001837: ISZERO 00001838: PUSH2 0x183d 0000183b: JUMPI 0000183c: INVALID 0000183d: JUMPDEST 0000183e: DIV 0000183f: SWAP5 00001840: SWAP4 00001841: POP 00001842: POP 00001843: POP 00001844: POP 00001845: JUMP 00001846: JUMPDEST 00001847: PUSH1 0x00 00001849: DUP3 0000184a: DUP3 0000184b: GT 0000184c: ISZERO 0000184d: PUSH2 0x1852 00001850: JUMPI 00001851: INVALID 00001852: JUMPDEST 00001853: POP 00001854: SWAP1 00001855: SUB 00001856: SWAP1 00001857: JUMP 00001858: JUMPDEST 00001859: PUSH1 0x00 0000185b: DUP3 0000185c: DUP3 0000185d: ADD 0000185e: DUP4 0000185f: DUP2 00001860: LT 00001861: ISZERO 00001862: PUSH2 0x1828 00001865: JUMPI 00001866: INVALID 00001867: JUMPDEST 00001868: PUSH1 0x20 0000186a: PUSH1 0x40 0000186c: MLOAD 0000186d: SWAP1 0000186e: DUP2 0000186f: ADD 00001870: PUSH1 0x40 00001872: MSTORE 00001873: PUSH1 0x00 00001875: DUP2 00001876: MSTORE 00001877: SWAP1 00001878: JUMP 00001879: JUMPDEST 0000187a: DUP3 0000187b: DUP1 0000187c: SLOAD 0000187d: PUSH1 0x01 0000187f: DUP2 00001880: PUSH1 0x01 00001882: AND 00001883: ISZERO 00001884: PUSH2 0x0100 00001887: MUL 00001888: SUB 00001889: AND 0000188a: PUSH1 0x02 0000188c: SWAP1 0000188d: DIV 0000188e: SWAP1 0000188f: PUSH1 0x00 00001891: MSTORE 00001892: PUSH1 0x20 00001894: PUSH1 0x00 00001896: KECCAK256 00001897: SWAP1 00001898: PUSH1 0x1f 0000189a: ADD 0000189b: PUSH1 0x20 0000189d: SWAP1 0000189e: DIV 0000189f: DUP2 000018a0: ADD 000018a1: SWAP3 000018a2: DUP3 000018a3: PUSH1 0x1f 000018a5: LT 000018a6: PUSH2 0x18ba 000018a9: JUMPI 000018aa: DUP1 000018ab: MLOAD 000018ac: PUSH1 0xff 000018ae: NOT 000018af: AND 000018b0: DUP4 000018b1: DUP1 000018b2: ADD 000018b3: OR 000018b4: DUP6 000018b5: SSTORE 000018b6: PUSH2 0x18e7 000018b9: JUMP 000018ba: JUMPDEST 000018bb: DUP3 000018bc: DUP1 000018bd: ADD 000018be: PUSH1 0x01 000018c0: ADD 000018c1: DUP6 000018c2: SSTORE 000018c3: DUP3 000018c4: ISZERO 000018c5: PUSH2 0x18e7 000018c8: JUMPI 000018c9: SWAP2 000018ca: DUP3 000018cb: ADD 000018cc: JUMPDEST 000018cd: DUP3 000018ce: DUP2 000018cf: GT 000018d0: ISZERO 000018d1: PUSH2 0x18e7 000018d4: JUMPI 000018d5: DUP3 000018d6: MLOAD 000018d7: DUP3 000018d8: SSTORE 000018d9: SWAP2 000018da: PUSH1 0x20 000018dc: ADD 000018dd: SWAP2 000018de: SWAP1 000018df: PUSH1 0x01 000018e1: ADD 000018e2: SWAP1 000018e3: PUSH2 0x18cc 000018e6: JUMP 000018e7: JUMPDEST 000018e8: POP 000018e9: PUSH2 0x18f3 000018ec: SWAP3 000018ed: SWAP2 000018ee: POP 000018ef: PUSH2 0x1917 000018f2: JUMP 000018f3: JUMPDEST 000018f4: POP 000018f5: SWAP1 000018f6: JUMP 000018f7: JUMPDEST 000018f8: DUP2 000018f9: SLOAD 000018fa: DUP2 000018fb: DUP4 000018fc: SSTORE 000018fd: DUP2 000018fe: DUP2 000018ff: ISZERO 00001900: GT 00001901: PUSH2 0x0dd5 00001904: JUMPI 00001905: PUSH1 0x00 00001907: DUP4 00001908: DUP2 00001909: MSTORE 0000190a: PUSH1 0x20 0000190c: SWAP1 0000190d: KECCAK256 0000190e: PUSH2 0x0dd5 00001911: SWAP2 00001912: DUP2 00001913: ADD 00001914: SWAP1 00001915: DUP4 00001916: ADD 00001917: JUMPDEST 00001918: PUSH2 0x0871 0000191b: SWAP2 0000191c: SWAP1 0000191d: JUMPDEST 0000191e: DUP1 0000191f: DUP3 00001920: GT 00001921: ISZERO 00001922: PUSH2 0x18f3 00001925: JUMPI 00001926: PUSH1 0x00 00001928: DUP2 00001929: SSTORE 0000192a: PUSH1 0x01 0000192c: ADD 0000192d: PUSH2 0x191d 00001930: JUMP 00001931: STOP 00001932: LOG1 00001933: PUSH6 0x627a7a723058 0000193a: KECCAK256 0000193b: UNKNOWN(0xA5) 0000193c: UNKNOWN(0xA9) 0000193d: STOP 0000193e: CALLDATALOAD 0000193f: UNKNOWN(0xDD) 00001940: UNKNOWN(0xC7) 00001941: UNKNOWN(0x2F) 00001942: UNKNOWN(0xCF) 00001943: UNKNOWN(0xD3) 00001944: UNKNOWN(0x29) 00001945: GASPRICE 00001946: COINBASE 00001947: UNKNOWN(0xDA) 00001948: UNKNOWN(0xD9) 00001949: UNKNOWN(0xA6) 0000194a: DUP9 0000194b: UNKNOWN(0xE0) 0000194c: CHAINID 0000194d: UNKNOWN(0xD7) 0000194e: UNKNOWN(0x4D) 0000194f: DUP2 00001950: ADDRESS 00001951: UNKNOWN(0xC2) 00001952: UNKNOWN(0xDD) 00001953: UNKNOWN(0xA9) 00001954: UNKNOWN(0xFC) 00001955: PUSH18
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x12a87051d9e43a84a4d5955c3133520c2a6b45977eca909ecf2c012e0ca8564c
call_targets:
0x41a322b28d0ff354040e2cbc676f0320d8c8850d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x12a87051d9e43a84a4d5955c3133520c2a6b45977eca909ecf2c012e0ca8564c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x41a322b28d0ff354040e2cbc676f0320d8c8850d"
],
"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": "0x019871e9",
"selector": "0x019871e9",
"calldata_variants": [
"0x019871e9",
"0x019871e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x053992c5",
"selector": "0x053992c5",
"calldata_variants": [
"0x053992c5",
"0x053992c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1a289aea",
"selector": "0x1a289aea",
"calldata_variants": [
"0x1a289aea",
"0x1a289aea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a6dd48f",
"selector": "0x2a6dd48f",
"calldata_variants": [
"0x2a6dd48f",
"0x2a6dd48f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b1fd58a",
"selector": "0x2b1fd58a",
"calldata_variants": [
"0x2b1fd58a",
"0x2b1fd58a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3351,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5062,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x12a87051d9e43a84a4d5955c3133520c2a6b45977eca909ecf2c012e0ca8564c
call_targets:
0x41a322b28d0ff354040e2cbc676f0320d8c8850d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x12a87051d9e43a84a4d5955c3133520c2a6b45977eca909ecf2c012e0ca8564c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x41a322b28d0ff354040e2cbc676f0320d8c8850d"
],
"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": "0x019871e9",
"selector": "0x019871e9",
"calldata_variants": [
"0x019871e9",
"0x019871e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x053992c5",
"selector": "0x053992c5",
"calldata_variants": [
"0x053992c5",
"0x053992c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1a289aea",
"selector": "0x1a289aea",
"calldata_variants": [
"0x1a289aea",
"0x1a289aea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a6dd48f",
"selector": "0x2a6dd48f",
"calldata_variants": [
"0x2a6dd48f",
"0x2a6dd48f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b1fd58a",
"selector": "0x2b1fd58a",
"calldata_variants": [
"0x2b1fd58a",
"0x2b1fd58a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3351,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5062,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|