019b3844-9102-7360-b1cf-dd764c6b5ac2
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 |
|---|---|---|---|---|
| 12693 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12694 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84952 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84953 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84954 | detector.run | complete | 1 / 3 | 1 week ago |
| 84955 | validation.fork | complete | 1 / 3 | 1 week 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 0x0128 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x025e7c27 0000003c: EQ 0000003d: PUSH2 0x0132 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x173825d9 00000047: EQ 00000048: PUSH2 0x019f 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x20ea8d86 00000052: EQ 00000053: PUSH2 0x01e2 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x2f54bf6e 0000005d: EQ 0000005e: PUSH2 0x020f 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x3411c81c 00000068: EQ 00000069: PUSH2 0x026a 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x54741525 00000073: EQ 00000074: PUSH2 0x02cf 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x552079dc 0000007e: EQ 0000007f: PUSH2 0x031e 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x7065cb48 00000089: EQ 0000008a: PUSH2 0x0328 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x784547a7 00000094: EQ 00000095: PUSH2 0x036b 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x8b51d13f 0000009f: EQ 000000a0: PUSH2 0x03b0 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x9ace38c2 000000aa: EQ 000000ab: PUSH2 0x03f1 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xa0e67e2b 000000b5: EQ 000000b6: PUSH2 0x04dc 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xa8abe69a 000000c0: EQ 000000c1: PUSH2 0x0548 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xb5dc40c3 000000cb: EQ 000000cc: PUSH2 0x05ec 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xb77bf600 000000d6: EQ 000000d7: PUSH2 0x066e 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xba51a6df 000000e1: EQ 000000e2: PUSH2 0x0699 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xc01a8c84 000000ec: EQ 000000ed: PUSH2 0x06c6 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xc6427474 000000f7: EQ 000000f8: PUSH2 0x06f3 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xd74f8edd 00000102: EQ 00000103: PUSH2 0x079a 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xdc8452cd 0000010d: EQ 0000010e: PUSH2 0x07c5 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xe20056e6 00000118: EQ 00000119: PUSH2 0x07f0 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0xee22610b 00000123: EQ 00000124: PUSH2 0x0853 00000127: JUMPI 00000128: JUMPDEST 00000129: PUSH2 0x0130 0000012c: PUSH2 0x0880 0000012f: JUMP 00000130: JUMPDEST 00000131: STOP 00000132: JUMPDEST 00000133: CALLVALUE 00000134: DUP1 00000135: ISZERO 00000136: PUSH2 0x013e 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: POP 00000140: PUSH2 0x015d 00000143: PUSH1 0x04 00000145: DUP1 00000146: CALLDATASIZE 00000147: SUB 00000148: DUP2 00000149: ADD 0000014a: SWAP1 0000014b: DUP1 0000014c: DUP1 0000014d: CALLDATALOAD 0000014e: SWAP1 0000014f: PUSH1 0x20 00000151: ADD 00000152: SWAP1 00000153: SWAP3 00000154: SWAP2 00000155: SWAP1 00000156: POP 00000157: POP 00000158: POP 00000159: PUSH2 0x08da 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: DUP1 00000162: DUP3 00000163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000178: AND 00000179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018e: AND 0000018f: DUP2 00000190: MSTORE 00000191: PUSH1 0x20 00000193: ADD 00000194: SWAP2 00000195: POP 00000196: POP 00000197: PUSH1 0x40 00000199: MLOAD 0000019a: DUP1 0000019b: SWAP2 0000019c: SUB 0000019d: SWAP1 0000019e: RETURN 0000019f: JUMPDEST 000001a0: CALLVALUE 000001a1: DUP1 000001a2: ISZERO 000001a3: PUSH2 0x01ab 000001a6: JUMPI 000001a7: PUSH1 0x00 000001a9: DUP1 000001aa: REVERT 000001ab: JUMPDEST 000001ac: POP 000001ad: PUSH2 0x01e0 000001b0: PUSH1 0x04 000001b2: DUP1 000001b3: CALLDATASIZE 000001b4: SUB 000001b5: DUP2 000001b6: ADD 000001b7: SWAP1 000001b8: DUP1 000001b9: DUP1 000001ba: CALLDATALOAD 000001bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d0: AND 000001d1: SWAP1 000001d2: PUSH1 0x20 000001d4: ADD 000001d5: SWAP1 000001d6: SWAP3 000001d7: SWAP2 000001d8: SWAP1 000001d9: POP 000001da: POP 000001db: POP 000001dc: PUSH2 0x0918 000001df: JUMP 000001e0: JUMPDEST 000001e1: STOP 000001e2: JUMPDEST 000001e3: CALLVALUE 000001e4: DUP1 000001e5: ISZERO 000001e6: PUSH2 0x01ee 000001e9: JUMPI 000001ea: PUSH1 0x00 000001ec: DUP1 000001ed: REVERT 000001ee: JUMPDEST 000001ef: POP 000001f0: PUSH2 0x020d 000001f3: PUSH1 0x04 000001f5: DUP1 000001f6: CALLDATASIZE 000001f7: SUB 000001f8: DUP2 000001f9: ADD 000001fa: SWAP1 000001fb: DUP1 000001fc: DUP1 000001fd: CALLDATALOAD 000001fe: SWAP1 000001ff: PUSH1 0x20 00000201: ADD 00000202: SWAP1 00000203: SWAP3 00000204: SWAP2 00000205: SWAP1 00000206: POP 00000207: POP 00000208: POP 00000209: PUSH2 0x0bb1 0000020c: JUMP 0000020d: JUMPDEST 0000020e: STOP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH2 0x0250 00000220: PUSH1 0x04 00000222: DUP1 00000223: CALLDATASIZE 00000224: SUB 00000225: DUP2 00000226: ADD 00000227: SWAP1 00000228: DUP1 00000229: DUP1 0000022a: CALLDATALOAD 0000022b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000240: AND 00000241: SWAP1 00000242: PUSH1 0x20 00000244: ADD 00000245: SWAP1 00000246: SWAP3 00000247: SWAP2 00000248: SWAP1 00000249: POP 0000024a: POP 0000024b: POP 0000024c: PUSH2 0x0d59 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH1 0x40 00000253: MLOAD 00000254: DUP1 00000255: DUP3 00000256: ISZERO 00000257: ISZERO 00000258: ISZERO 00000259: ISZERO 0000025a: DUP2 0000025b: MSTORE 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: SWAP2 00000260: POP 00000261: POP 00000262: PUSH1 0x40 00000264: MLOAD 00000265: DUP1 00000266: SWAP2 00000267: SUB 00000268: SWAP1 00000269: RETURN 0000026a: JUMPDEST 0000026b: CALLVALUE 0000026c: DUP1 0000026d: ISZERO 0000026e: PUSH2 0x0276 00000271: JUMPI 00000272: PUSH1 0x00 00000274: DUP1 00000275: REVERT 00000276: JUMPDEST 00000277: POP 00000278: PUSH2 0x02b5 0000027b: PUSH1 0x04 0000027d: DUP1 0000027e: CALLDATASIZE 0000027f: SUB 00000280: DUP2 00000281: ADD 00000282: SWAP1 00000283: DUP1 00000284: DUP1 00000285: CALLDATALOAD 00000286: SWAP1 00000287: PUSH1 0x20 00000289: ADD 0000028a: SWAP1 0000028b: SWAP3 0000028c: SWAP2 0000028d: SWAP1 0000028e: DUP1 0000028f: CALLDATALOAD 00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a5: AND 000002a6: SWAP1 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP1 000002ab: SWAP3 000002ac: SWAP2 000002ad: SWAP1 000002ae: POP 000002af: POP 000002b0: POP 000002b1: PUSH2 0x0d79 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH1 0x40 000002b8: MLOAD 000002b9: DUP1 000002ba: DUP3 000002bb: ISZERO 000002bc: ISZERO 000002bd: ISZERO 000002be: ISZERO 000002bf: DUP2 000002c0: MSTORE 000002c1: PUSH1 0x20 000002c3: ADD 000002c4: SWAP2 000002c5: POP 000002c6: POP 000002c7: PUSH1 0x40 000002c9: MLOAD 000002ca: DUP1 000002cb: SWAP2 000002cc: SUB 000002cd: SWAP1 000002ce: RETURN 000002cf: JUMPDEST 000002d0: CALLVALUE 000002d1: DUP1 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x0308 000002e0: PUSH1 0x04 000002e2: DUP1 000002e3: CALLDATASIZE 000002e4: SUB 000002e5: DUP2 000002e6: ADD 000002e7: SWAP1 000002e8: DUP1 000002e9: DUP1 000002ea: CALLDATALOAD 000002eb: ISZERO 000002ec: ISZERO 000002ed: SWAP1 000002ee: PUSH1 0x20 000002f0: ADD 000002f1: SWAP1 000002f2: SWAP3 000002f3: SWAP2 000002f4: SWAP1 000002f5: DUP1 000002f6: CALLDATALOAD 000002f7: ISZERO 000002f8: ISZERO 000002f9: SWAP1 000002fa: PUSH1 0x20 000002fc: ADD 000002fd: SWAP1 000002fe: SWAP3 000002ff: SWAP2 00000300: SWAP1 00000301: POP 00000302: POP 00000303: POP 00000304: PUSH2 0x0da8 00000307: JUMP 00000308: JUMPDEST 00000309: PUSH1 0x40 0000030b: MLOAD 0000030c: DUP1 0000030d: DUP3 0000030e: DUP2 0000030f: MSTORE 00000310: PUSH1 0x20 00000312: ADD 00000313: SWAP2 00000314: POP 00000315: POP 00000316: PUSH1 0x40 00000318: MLOAD 00000319: DUP1 0000031a: SWAP2 0000031b: SUB 0000031c: SWAP1 0000031d: RETURN 0000031e: JUMPDEST 0000031f: PUSH2 0x0326 00000322: PUSH2 0x0880 00000325: JUMP 00000326: JUMPDEST 00000327: STOP 00000328: JUMPDEST 00000329: CALLVALUE 0000032a: DUP1 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: POP 00000336: PUSH2 0x0369 00000339: PUSH1 0x04 0000033b: DUP1 0000033c: CALLDATASIZE 0000033d: SUB 0000033e: DUP2 0000033f: ADD 00000340: SWAP1 00000341: DUP1 00000342: DUP1 00000343: CALLDATALOAD 00000344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000359: AND 0000035a: SWAP1 0000035b: PUSH1 0x20 0000035d: ADD 0000035e: SWAP1 0000035f: SWAP3 00000360: SWAP2 00000361: SWAP1 00000362: POP 00000363: POP 00000364: POP 00000365: PUSH2 0x0e3a 00000368: JUMP 00000369: JUMPDEST 0000036a: STOP 0000036b: JUMPDEST 0000036c: CALLVALUE 0000036d: DUP1 0000036e: ISZERO 0000036f: PUSH2 0x0377 00000372: JUMPI 00000373: PUSH1 0x00 00000375: DUP1 00000376: REVERT 00000377: JUMPDEST 00000378: POP 00000379: PUSH2 0x0396 0000037c: PUSH1 0x04 0000037e: DUP1 0000037f: CALLDATASIZE 00000380: SUB 00000381: DUP2 00000382: ADD 00000383: SWAP1 00000384: DUP1 00000385: DUP1 00000386: CALLDATALOAD 00000387: SWAP1 00000388: PUSH1 0x20 0000038a: ADD 0000038b: SWAP1 0000038c: SWAP3 0000038d: SWAP2 0000038e: SWAP1 0000038f: POP 00000390: POP 00000391: POP 00000392: PUSH2 0x106b 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: DUP1 0000039b: DUP3 0000039c: ISZERO 0000039d: ISZERO 0000039e: ISZERO 0000039f: ISZERO 000003a0: DUP2 000003a1: MSTORE 000003a2: PUSH1 0x20 000003a4: ADD 000003a5: SWAP2 000003a6: POP 000003a7: POP 000003a8: PUSH1 0x40 000003aa: MLOAD 000003ab: DUP1 000003ac: SWAP2 000003ad: SUB 000003ae: SWAP1 000003af: RETURN 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: DUP1 000003b3: ISZERO 000003b4: PUSH2 0x03bc 000003b7: JUMPI 000003b8: PUSH1 0x00 000003ba: DUP1 000003bb: REVERT 000003bc: JUMPDEST 000003bd: POP 000003be: PUSH2 0x03db 000003c1: PUSH1 0x04 000003c3: DUP1 000003c4: CALLDATASIZE 000003c5: SUB 000003c6: DUP2 000003c7: ADD 000003c8: SWAP1 000003c9: DUP1 000003ca: DUP1 000003cb: CALLDATALOAD 000003cc: SWAP1 000003cd: PUSH1 0x20 000003cf: ADD 000003d0: SWAP1 000003d1: SWAP3 000003d2: SWAP2 000003d3: SWAP1 000003d4: POP 000003d5: POP 000003d6: POP 000003d7: PUSH2 0x1150 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH1 0x40 000003de: MLOAD 000003df: DUP1 000003e0: DUP3 000003e1: DUP2 000003e2: MSTORE 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP2 000003e7: POP 000003e8: POP 000003e9: PUSH1 0x40 000003eb: MLOAD 000003ec: DUP1 000003ed: SWAP2 000003ee: SUB 000003ef: SWAP1 000003f0: RETURN 000003f1: JUMPDEST 000003f2: CALLVALUE 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x041c 00000402: PUSH1 0x04 00000404: DUP1 00000405: CALLDATASIZE 00000406: SUB 00000407: DUP2 00000408: ADD 00000409: SWAP1 0000040a: DUP1 0000040b: DUP1 0000040c: CALLDATALOAD 0000040d: SWAP1 0000040e: PUSH1 0x20 00000410: ADD 00000411: SWAP1 00000412: SWAP3 00000413: SWAP2 00000414: SWAP1 00000415: POP 00000416: POP 00000417: POP 00000418: PUSH2 0x121b 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: DUP1 00000421: DUP6 00000422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000437: AND 00000438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044d: AND 0000044e: DUP2 0000044f: MSTORE 00000450: PUSH1 0x20 00000452: ADD 00000453: DUP5 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: ADD 00000459: DUP1 0000045a: PUSH1 0x20 0000045c: ADD 0000045d: DUP4 0000045e: ISZERO 0000045f: ISZERO 00000460: ISZERO 00000461: ISZERO 00000462: DUP2 00000463: MSTORE 00000464: PUSH1 0x20 00000466: ADD 00000467: DUP3 00000468: DUP2 00000469: SUB 0000046a: DUP3 0000046b: MSTORE 0000046c: DUP5 0000046d: DUP2 0000046e: DUP2 0000046f: MLOAD 00000470: DUP2 00000471: MSTORE 00000472: PUSH1 0x20 00000474: ADD 00000475: SWAP2 00000476: POP 00000477: DUP1 00000478: MLOAD 00000479: SWAP1 0000047a: PUSH1 0x20 0000047c: ADD 0000047d: SWAP1 0000047e: DUP1 0000047f: DUP4 00000480: DUP4 00000481: PUSH1 0x00 00000483: JUMPDEST 00000484: DUP4 00000485: DUP2 00000486: LT 00000487: ISZERO 00000488: PUSH2 0x049e 0000048b: JUMPI 0000048c: DUP1 0000048d: DUP3 0000048e: ADD 0000048f: MLOAD 00000490: DUP2 00000491: DUP5 00000492: ADD 00000493: MSTORE 00000494: PUSH1 0x20 00000496: DUP2 00000497: ADD 00000498: SWAP1 00000499: POP 0000049a: PUSH2 0x0483 0000049d: JUMP 0000049e: JUMPDEST 0000049f: POP 000004a0: POP 000004a1: POP 000004a2: POP 000004a3: SWAP1 000004a4: POP 000004a5: SWAP1 000004a6: DUP2 000004a7: ADD 000004a8: SWAP1 000004a9: PUSH1 0x1f 000004ab: AND 000004ac: DUP1 000004ad: ISZERO 000004ae: PUSH2 0x04cb 000004b1: JUMPI 000004b2: DUP1 000004b3: DUP3 000004b4: SUB 000004b5: DUP1 000004b6: MLOAD 000004b7: PUSH1 0x01 000004b9: DUP4 000004ba: PUSH1 0x20 000004bc: SUB 000004bd: PUSH2 0x0100 000004c0: EXP 000004c1: SUB 000004c2: NOT 000004c3: AND 000004c4: DUP2 000004c5: MSTORE 000004c6: PUSH1 0x20 000004c8: ADD 000004c9: SWAP2 000004ca: POP 000004cb: JUMPDEST 000004cc: POP 000004cd: SWAP6 000004ce: POP 000004cf: POP 000004d0: POP 000004d1: POP 000004d2: POP 000004d3: POP 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: DUP1 000004d8: SWAP2 000004d9: SUB 000004da: SWAP1 000004db: RETURN 000004dc: JUMPDEST 000004dd: CALLVALUE 000004de: DUP1 000004df: ISZERO 000004e0: PUSH2 0x04e8 000004e3: JUMPI 000004e4: PUSH1 0x00 000004e6: DUP1 000004e7: REVERT 000004e8: JUMPDEST 000004e9: POP 000004ea: PUSH2 0x04f1 000004ed: PUSH2 0x1310 000004f0: JUMP 000004f1: JUMPDEST 000004f2: PUSH1 0x40 000004f4: MLOAD 000004f5: DUP1 000004f6: DUP1 000004f7: PUSH1 0x20 000004f9: ADD 000004fa: DUP3 000004fb: DUP2 000004fc: SUB 000004fd: DUP3 000004fe: MSTORE 000004ff: DUP4 00000500: DUP2 00000501: DUP2 00000502: MLOAD 00000503: DUP2 00000504: MSTORE 00000505: PUSH1 0x20 00000507: ADD 00000508: SWAP2 00000509: POP 0000050a: DUP1 0000050b: MLOAD 0000050c: SWAP1 0000050d: PUSH1 0x20 0000050f: ADD 00000510: SWAP1 00000511: PUSH1 0x20 00000513: MUL 00000514: DUP1 00000515: DUP4 00000516: DUP4 00000517: PUSH1 0x00 00000519: JUMPDEST 0000051a: DUP4 0000051b: DUP2 0000051c: LT 0000051d: ISZERO 0000051e: PUSH2 0x0534 00000521: JUMPI 00000522: DUP1 00000523: DUP3 00000524: ADD 00000525: MLOAD 00000526: DUP2 00000527: DUP5 00000528: ADD 00000529: MSTORE 0000052a: PUSH1 0x20 0000052c: DUP2 0000052d: ADD 0000052e: SWAP1 0000052f: POP 00000530: PUSH2 0x0519 00000533: JUMP 00000534: JUMPDEST 00000535: POP 00000536: POP 00000537: POP 00000538: POP 00000539: SWAP1 0000053a: POP 0000053b: ADD 0000053c: SWAP3 0000053d: POP 0000053e: POP 0000053f: POP 00000540: PUSH1 0x40 00000542: MLOAD 00000543: DUP1 00000544: SWAP2 00000545: SUB 00000546: SWAP1 00000547: RETURN 00000548: JUMPDEST 00000549: CALLVALUE 0000054a: DUP1 0000054b: ISZERO 0000054c: PUSH2 0x0554 0000054f: JUMPI 00000550: PUSH1 0x00 00000552: DUP1 00000553: REVERT 00000554: JUMPDEST 00000555: POP 00000556: PUSH2 0x0595 00000559: PUSH1 0x04 0000055b: DUP1 0000055c: CALLDATASIZE 0000055d: SUB 0000055e: DUP2 0000055f: ADD 00000560: SWAP1 00000561: DUP1 00000562: DUP1 00000563: CALLDATALOAD 00000564: SWAP1 00000565: PUSH1 0x20 00000567: ADD 00000568: SWAP1 00000569: SWAP3 0000056a: SWAP2 0000056b: SWAP1 0000056c: DUP1 0000056d: CALLDATALOAD 0000056e: SWAP1 0000056f: PUSH1 0x20 00000571: ADD 00000572: SWAP1 00000573: SWAP3 00000574: SWAP2 00000575: SWAP1 00000576: DUP1 00000577: CALLDATALOAD 00000578: ISZERO 00000579: ISZERO 0000057a: SWAP1 0000057b: PUSH1 0x20 0000057d: ADD 0000057e: SWAP1 0000057f: SWAP3 00000580: SWAP2 00000581: SWAP1 00000582: DUP1 00000583: CALLDATALOAD 00000584: ISZERO 00000585: ISZERO 00000586: SWAP1 00000587: PUSH1 0x20 00000589: ADD 0000058a: SWAP1 0000058b: SWAP3 0000058c: SWAP2 0000058d: SWAP1 0000058e: POP 0000058f: POP 00000590: POP 00000591: PUSH2 0x139e 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x40 00000598: MLOAD 00000599: DUP1 0000059a: DUP1 0000059b: PUSH1 0x20 0000059d: ADD 0000059e: DUP3 0000059f: DUP2 000005a0: SUB 000005a1: DUP3 000005a2: MSTORE 000005a3: DUP4 000005a4: DUP2 000005a5: DUP2 000005a6: MLOAD 000005a7: DUP2 000005a8: MSTORE 000005a9: PUSH1 0x20 000005ab: ADD 000005ac: SWAP2 000005ad: POP 000005ae: DUP1 000005af: MLOAD 000005b0: SWAP1 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: SWAP1 000005b5: PUSH1 0x20 000005b7: MUL 000005b8: DUP1 000005b9: DUP4 000005ba: DUP4 000005bb: PUSH1 0x00 000005bd: JUMPDEST 000005be: DUP4 000005bf: DUP2 000005c0: LT 000005c1: ISZERO 000005c2: PUSH2 0x05d8 000005c5: JUMPI 000005c6: DUP1 000005c7: DUP3 000005c8: ADD 000005c9: MLOAD 000005ca: DUP2 000005cb: DUP5 000005cc: ADD 000005cd: MSTORE 000005ce: PUSH1 0x20 000005d0: DUP2 000005d1: ADD 000005d2: SWAP1 000005d3: POP 000005d4: PUSH2 0x05bd 000005d7: JUMP 000005d8: JUMPDEST 000005d9: POP 000005da: POP 000005db: POP 000005dc: POP 000005dd: SWAP1 000005de: POP 000005df: ADD 000005e0: SWAP3 000005e1: POP 000005e2: POP 000005e3: POP 000005e4: PUSH1 0x40 000005e6: MLOAD 000005e7: DUP1 000005e8: SWAP2 000005e9: SUB 000005ea: SWAP1 000005eb: RETURN 000005ec: JUMPDEST 000005ed: CALLVALUE 000005ee: DUP1 000005ef: ISZERO 000005f0: PUSH2 0x05f8 000005f3: JUMPI 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: POP 000005fa: PUSH2 0x0617 000005fd: PUSH1 0x04 000005ff: DUP1 00000600: CALLDATASIZE 00000601: SUB 00000602: DUP2 00000603: ADD 00000604: SWAP1 00000605: DUP1 00000606: DUP1 00000607: CALLDATALOAD 00000608: SWAP1 00000609: PUSH1 0x20 0000060b: ADD 0000060c: SWAP1 0000060d: SWAP3 0000060e: SWAP2 0000060f: SWAP1 00000610: POP 00000611: POP 00000612: POP 00000613: PUSH2 0x150f 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH1 0x40 0000061a: MLOAD 0000061b: DUP1 0000061c: DUP1 0000061d: PUSH1 0x20 0000061f: ADD 00000620: DUP3 00000621: DUP2 00000622: SUB 00000623: DUP3 00000624: MSTORE 00000625: DUP4 00000626: DUP2 00000627: DUP2 00000628: MLOAD 00000629: DUP2 0000062a: MSTORE 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: SWAP2 0000062f: POP 00000630: DUP1 00000631: MLOAD 00000632: SWAP1 00000633: PUSH1 0x20 00000635: ADD 00000636: SWAP1 00000637: PUSH1 0x20 00000639: MUL 0000063a: DUP1 0000063b: DUP4 0000063c: DUP4 0000063d: PUSH1 0x00 0000063f: JUMPDEST 00000640: DUP4 00000641: DUP2 00000642: LT 00000643: ISZERO 00000644: PUSH2 0x065a 00000647: JUMPI 00000648: DUP1 00000649: DUP3 0000064a: ADD 0000064b: MLOAD 0000064c: DUP2 0000064d: DUP5 0000064e: ADD 0000064f: MSTORE 00000650: PUSH1 0x20 00000652: DUP2 00000653: ADD 00000654: SWAP1 00000655: POP 00000656: PUSH2 0x063f 00000659: JUMP 0000065a: JUMPDEST 0000065b: POP 0000065c: POP 0000065d: POP 0000065e: POP 0000065f: SWAP1 00000660: POP 00000661: ADD 00000662: SWAP3 00000663: POP 00000664: POP 00000665: POP 00000666: PUSH1 0x40 00000668: MLOAD 00000669: DUP1 0000066a: SWAP2 0000066b: SUB 0000066c: SWAP1 0000066d: RETURN 0000066e: JUMPDEST 0000066f: CALLVALUE 00000670: DUP1 00000671: ISZERO 00000672: PUSH2 0x067a 00000675: JUMPI 00000676: PUSH1 0x00 00000678: DUP1 00000679: REVERT 0000067a: JUMPDEST 0000067b: POP 0000067c: PUSH2 0x0683 0000067f: PUSH2 0x174c 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH1 0x40 00000686: MLOAD 00000687: DUP1 00000688: DUP3 00000689: DUP2 0000068a: MSTORE 0000068b: PUSH1 0x20 0000068d: ADD 0000068e: SWAP2 0000068f: POP 00000690: POP 00000691: PUSH1 0x40 00000693: MLOAD 00000694: DUP1 00000695: SWAP2 00000696: SUB 00000697: SWAP1 00000698: RETURN 00000699: JUMPDEST 0000069a: CALLVALUE 0000069b: DUP1 0000069c: ISZERO 0000069d: PUSH2 0x06a5 000006a0: JUMPI 000006a1: PUSH1 0x00 000006a3: DUP1 000006a4: REVERT 000006a5: JUMPDEST 000006a6: POP 000006a7: PUSH2 0x06c4 000006aa: PUSH1 0x04 000006ac: DUP1 000006ad: CALLDATASIZE 000006ae: SUB 000006af: DUP2 000006b0: ADD 000006b1: SWAP1 000006b2: DUP1 000006b3: DUP1 000006b4: CALLDATALOAD 000006b5: SWAP1 000006b6: PUSH1 0x20 000006b8: ADD 000006b9: SWAP1 000006ba: SWAP3 000006bb: SWAP2 000006bc: SWAP1 000006bd: POP 000006be: POP 000006bf: POP 000006c0: PUSH2 0x1752 000006c3: JUMP 000006c4: JUMPDEST 000006c5: STOP 000006c6: JUMPDEST 000006c7: CALLVALUE 000006c8: DUP1 000006c9: ISZERO 000006ca: PUSH2 0x06d2 000006cd: JUMPI 000006ce: PUSH1 0x00 000006d0: DUP1 000006d1: REVERT 000006d2: JUMPDEST 000006d3: POP 000006d4: PUSH2 0x06f1 000006d7: PUSH1 0x04 000006d9: DUP1 000006da: CALLDATASIZE 000006db: SUB 000006dc: DUP2 000006dd: ADD 000006de: SWAP1 000006df: DUP1 000006e0: DUP1 000006e1: CALLDATALOAD 000006e2: SWAP1 000006e3: PUSH1 0x20 000006e5: ADD 000006e6: SWAP1 000006e7: SWAP3 000006e8: SWAP2 000006e9: SWAP1 000006ea: POP 000006eb: POP 000006ec: POP 000006ed: PUSH2 0x1822 000006f0: JUMP 000006f1: JUMPDEST 000006f2: STOP 000006f3: JUMPDEST 000006f4: CALLVALUE 000006f5: DUP1 000006f6: ISZERO 000006f7: PUSH2 0x06ff 000006fa: JUMPI 000006fb: PUSH1 0x00 000006fd: DUP1 000006fe: REVERT 000006ff: JUMPDEST 00000700: POP 00000701: PUSH2 0x0784 00000704: PUSH1 0x04 00000706: DUP1 00000707: CALLDATASIZE 00000708: SUB 00000709: DUP2 0000070a: ADD 0000070b: SWAP1 0000070c: DUP1 0000070d: DUP1 0000070e: CALLDATALOAD 0000070f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000724: AND 00000725: SWAP1 00000726: PUSH1 0x20 00000728: ADD 00000729: SWAP1 0000072a: SWAP3 0000072b: SWAP2 0000072c: SWAP1 0000072d: DUP1 0000072e: CALLDATALOAD 0000072f: SWAP1 00000730: PUSH1 0x20 00000732: ADD 00000733: SWAP1 00000734: SWAP3 00000735: SWAP2 00000736: SWAP1 00000737: DUP1 00000738: CALLDATALOAD 00000739: SWAP1 0000073a: PUSH1 0x20 0000073c: ADD 0000073d: SWAP1 0000073e: DUP3 0000073f: ADD 00000740: DUP1 00000741: CALLDATALOAD 00000742: SWAP1 00000743: PUSH1 0x20 00000745: ADD 00000746: SWAP1 00000747: DUP1 00000748: DUP1 00000749: PUSH1 0x1f 0000074b: ADD 0000074c: PUSH1 0x20 0000074e: DUP1 0000074f: SWAP2 00000750: DIV 00000751: MUL 00000752: PUSH1 0x20 00000754: ADD 00000755: PUSH1 0x40 00000757: MLOAD 00000758: SWAP1 00000759: DUP2 0000075a: ADD 0000075b: PUSH1 0x40 0000075d: MSTORE 0000075e: DUP1 0000075f: SWAP4 00000760: SWAP3 00000761: SWAP2 00000762: SWAP1 00000763: DUP2 00000764: DUP2 00000765: MSTORE 00000766: PUSH1 0x20 00000768: ADD 00000769: DUP4 0000076a: DUP4 0000076b: DUP1 0000076c: DUP3 0000076d: DUP5 0000076e: CALLDATACOPY 0000076f: DUP3 00000770: ADD 00000771: SWAP2 00000772: POP 00000773: POP 00000774: POP 00000775: POP 00000776: POP 00000777: POP 00000778: SWAP2 00000779: SWAP3 0000077a: SWAP2 0000077b: SWAP3 0000077c: SWAP1 0000077d: POP 0000077e: POP 0000077f: POP 00000780: PUSH2 0x19ff 00000783: JUMP 00000784: JUMPDEST 00000785: PUSH1 0x40 00000787: MLOAD 00000788: DUP1 00000789: DUP3 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x20 0000078e: ADD 0000078f: SWAP2 00000790: POP 00000791: POP 00000792: PUSH1 0x40 00000794: MLOAD 00000795: DUP1 00000796: SWAP2 00000797: SUB 00000798: SWAP1 00000799: RETURN 0000079a: JUMPDEST 0000079b: CALLVALUE 0000079c: DUP1 0000079d: ISZERO 0000079e: PUSH2 0x07a6 000007a1: JUMPI 000007a2: PUSH1 0x00 000007a4: DUP1 000007a5: REVERT 000007a6: JUMPDEST 000007a7: POP 000007a8: PUSH2 0x07af 000007ab: PUSH2 0x1a1e 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH1 0x40 000007b2: MLOAD 000007b3: DUP1 000007b4: DUP3 000007b5: DUP2 000007b6: MSTORE 000007b7: PUSH1 0x20 000007b9: ADD 000007ba: SWAP2 000007bb: POP 000007bc: POP 000007bd: PUSH1 0x40 000007bf: MLOAD 000007c0: DUP1 000007c1: SWAP2 000007c2: SUB 000007c3: SWAP1 000007c4: RETURN 000007c5: JUMPDEST 000007c6: CALLVALUE 000007c7: DUP1 000007c8: ISZERO 000007c9: PUSH2 0x07d1 000007cc: JUMPI 000007cd: PUSH1 0x00 000007cf: DUP1 000007d0: REVERT 000007d1: JUMPDEST 000007d2: POP 000007d3: PUSH2 0x07da 000007d6: PUSH2 0x1a23 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x40 000007dd: MLOAD 000007de: DUP1 000007df: DUP3 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: ADD 000007e5: SWAP2 000007e6: POP 000007e7: POP 000007e8: PUSH1 0x40 000007ea: MLOAD 000007eb: DUP1 000007ec: SWAP2 000007ed: SUB 000007ee: SWAP1 000007ef: RETURN 000007f0: JUMPDEST 000007f1: CALLVALUE 000007f2: DUP1 000007f3: ISZERO 000007f4: PUSH2 0x07fc 000007f7: JUMPI 000007f8: PUSH1 0x00 000007fa: DUP1 000007fb: REVERT 000007fc: JUMPDEST 000007fd: POP 000007fe: PUSH2 0x0851 00000801: PUSH1 0x04 00000803: DUP1 00000804: CALLDATASIZE 00000805: SUB 00000806: DUP2 00000807: ADD 00000808: SWAP1 00000809: DUP1 0000080a: DUP1 0000080b: CALLDATALOAD 0000080c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000821: AND 00000822: SWAP1 00000823: PUSH1 0x20 00000825: ADD 00000826: SWAP1 00000827: SWAP3 00000828: SWAP2 00000829: SWAP1 0000082a: DUP1 0000082b: CALLDATALOAD 0000082c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000841: AND 00000842: SWAP1 00000843: PUSH1 0x20 00000845: ADD 00000846: SWAP1 00000847: SWAP3 00000848: SWAP2 00000849: SWAP1 0000084a: POP 0000084b: POP 0000084c: POP 0000084d: PUSH2 0x1a29 00000850: JUMP 00000851: JUMPDEST 00000852: STOP 00000853: JUMPDEST 00000854: CALLVALUE 00000855: DUP1 00000856: ISZERO 00000857: PUSH2 0x085f 0000085a: JUMPI 0000085b: PUSH1 0x00 0000085d: DUP1 0000085e: REVERT 0000085f: JUMPDEST 00000860: POP 00000861: PUSH2 0x087e 00000864: PUSH1 0x04 00000866: DUP1 00000867: CALLDATASIZE 00000868: SUB 00000869: DUP2 0000086a: ADD 0000086b: SWAP1 0000086c: DUP1 0000086d: DUP1 0000086e: CALLDATALOAD 0000086f: SWAP1 00000870: PUSH1 0x20 00000872: ADD 00000873: SWAP1 00000874: SWAP3 00000875: SWAP2 00000876: SWAP1 00000877: POP 00000878: POP 00000879: POP 0000087a: PUSH2 0x1d3e 0000087d: JUMP 0000087e: JUMPDEST 0000087f: STOP 00000880: JUMPDEST 00000881: PUSH1 0x00 00000883: CALLVALUE 00000884: GT 00000885: ISZERO 00000886: PUSH2 0x08d8 00000889: JUMPI 0000088a: CALLER 0000088b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a0: AND 000008a1: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 000008c2: CALLVALUE 000008c3: PUSH1 0x40 000008c5: MLOAD 000008c6: DUP1 000008c7: DUP3 000008c8: DUP2 000008c9: MSTORE 000008ca: PUSH1 0x20 000008cc: ADD 000008cd: SWAP2 000008ce: POP 000008cf: POP 000008d0: PUSH1 0x40 000008d2: MLOAD 000008d3: DUP1 000008d4: SWAP2 000008d5: SUB 000008d6: SWAP1 000008d7: LOG2 000008d8: JUMPDEST 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH1 0x03 000008dd: DUP2 000008de: DUP2 000008df: SLOAD 000008e0: DUP2 000008e1: LT 000008e2: ISZERO 000008e3: ISZERO 000008e4: PUSH2 0x08e9 000008e7: JUMPI 000008e8: INVALID 000008e9: JUMPDEST 000008ea: SWAP1 000008eb: PUSH1 0x00 000008ed: MSTORE 000008ee: PUSH1 0x20 000008f0: PUSH1 0x00 000008f2: KECCAK256 000008f3: ADD 000008f4: PUSH1 0x00 000008f6: SWAP2 000008f7: POP 000008f8: SLOAD 000008f9: SWAP1 000008fa: PUSH2 0x0100 000008fd: EXP 000008fe: SWAP1 000008ff: DIV 00000900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000915: AND 00000916: DUP2 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x00 0000091b: ADDRESS 0000091c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000931: AND 00000932: CALLER 00000933: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000948: AND 00000949: EQ 0000094a: ISZERO 0000094b: ISZERO 0000094c: PUSH2 0x0954 0000094f: JUMPI 00000950: PUSH1 0x00 00000952: DUP1 00000953: REVERT 00000954: JUMPDEST 00000955: DUP2 00000956: PUSH1 0x02 00000958: PUSH1 0x00 0000095a: DUP3 0000095b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000970: AND 00000971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000986: AND 00000987: DUP2 00000988: MSTORE 00000989: PUSH1 0x20 0000098b: ADD 0000098c: SWAP1 0000098d: DUP2 0000098e: MSTORE 0000098f: PUSH1 0x20 00000991: ADD 00000992: PUSH1 0x00 00000994: KECCAK256 00000995: PUSH1 0x00 00000997: SWAP1 00000998: SLOAD 00000999: SWAP1 0000099a: PUSH2 0x0100 0000099d: EXP 0000099e: SWAP1 0000099f: DIV 000009a0: PUSH1 0xff 000009a2: AND 000009a3: ISZERO 000009a4: ISZERO 000009a5: PUSH2 0x09ad 000009a8: JUMPI 000009a9: PUSH1 0x00 000009ab: DUP1 000009ac: REVERT 000009ad: JUMPDEST 000009ae: PUSH1 0x00 000009b0: PUSH1 0x02 000009b2: PUSH1 0x00 000009b4: DUP6 000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ca: AND 000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e0: AND 000009e1: DUP2 000009e2: MSTORE 000009e3: PUSH1 0x20 000009e5: ADD 000009e6: SWAP1 000009e7: DUP2 000009e8: MSTORE 000009e9: PUSH1 0x20 000009eb: ADD 000009ec: PUSH1 0x00 000009ee: KECCAK256 000009ef: PUSH1 0x00 000009f1: PUSH2 0x0100 000009f4: EXP 000009f5: DUP2 000009f6: SLOAD 000009f7: DUP2 000009f8: PUSH1 0xff 000009fa: MUL 000009fb: NOT 000009fc: AND 000009fd: SWAP1 000009fe: DUP4 000009ff: ISZERO 00000a00: ISZERO 00000a01: MUL 00000a02: OR 00000a03: SWAP1 00000a04: SSTORE 00000a05: POP 00000a06: PUSH1 0x00 00000a08: SWAP2 00000a09: POP 00000a0a: JUMPDEST 00000a0b: PUSH1 0x01 00000a0d: PUSH1 0x03 00000a0f: DUP1 00000a10: SLOAD 00000a11: SWAP1 00000a12: POP 00000a13: SUB 00000a14: DUP3 00000a15: LT 00000a16: ISZERO 00000a17: PUSH2 0x0b32 00000a1a: JUMPI 00000a1b: DUP3 00000a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a31: AND 00000a32: PUSH1 0x03 00000a34: DUP4 00000a35: DUP2 00000a36: SLOAD 00000a37: DUP2 00000a38: LT 00000a39: ISZERO 00000a3a: ISZERO 00000a3b: PUSH2 0x0a40 00000a3e: JUMPI 00000a3f: INVALID 00000a40: JUMPDEST 00000a41: SWAP1 00000a42: PUSH1 0x00 00000a44: MSTORE 00000a45: PUSH1 0x20 00000a47: PUSH1 0x00 00000a49: KECCAK256 00000a4a: ADD 00000a4b: PUSH1 0x00 00000a4d: SWAP1 00000a4e: SLOAD 00000a4f: SWAP1 00000a50: PUSH2 0x0100 00000a53: EXP 00000a54: SWAP1 00000a55: DIV 00000a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6b: AND 00000a6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a81: AND 00000a82: EQ 00000a83: ISZERO 00000a84: PUSH2 0x0b25 00000a87: JUMPI 00000a88: PUSH1 0x03 00000a8a: PUSH1 0x01 00000a8c: PUSH1 0x03 00000a8e: DUP1 00000a8f: SLOAD 00000a90: SWAP1 00000a91: POP 00000a92: SUB 00000a93: DUP2 00000a94: SLOAD 00000a95: DUP2 00000a96: LT 00000a97: ISZERO 00000a98: ISZERO 00000a99: PUSH2 0x0a9e 00000a9c: JUMPI 00000a9d: INVALID 00000a9e: JUMPDEST 00000a9f: SWAP1 00000aa0: PUSH1 0x00 00000aa2: MSTORE 00000aa3: PUSH1 0x20 00000aa5: PUSH1 0x00 00000aa7: KECCAK256 00000aa8: ADD 00000aa9: PUSH1 0x00 00000aab: SWAP1 00000aac: SLOAD 00000aad: SWAP1 00000aae: PUSH2 0x0100 00000ab1: EXP 00000ab2: SWAP1 00000ab3: DIV 00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac9: AND 00000aca: PUSH1 0x03 00000acc: DUP4 00000acd: DUP2 00000ace: SLOAD 00000acf: DUP2 00000ad0: LT 00000ad1: ISZERO 00000ad2: ISZERO 00000ad3: PUSH2 0x0ad8 00000ad6: JUMPI 00000ad7: INVALID 00000ad8: JUMPDEST 00000ad9: SWAP1 00000ada: PUSH1 0x00 00000adc: MSTORE 00000add: PUSH1 0x20 00000adf: PUSH1 0x00 00000ae1: KECCAK256 00000ae2: ADD 00000ae3: PUSH1 0x00 00000ae5: PUSH2 0x0100 00000ae8: EXP 00000ae9: DUP2 00000aea: SLOAD 00000aeb: DUP2 00000aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b01: MUL 00000b02: NOT 00000b03: AND 00000b04: SWAP1 00000b05: DUP4 00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1b: AND 00000b1c: MUL 00000b1d: OR 00000b1e: SWAP1 00000b1f: SSTORE 00000b20: POP 00000b21: PUSH2 0x0b32 00000b24: JUMP 00000b25: JUMPDEST 00000b26: DUP2 00000b27: DUP1 00000b28: PUSH1 0x01 00000b2a: ADD 00000b2b: SWAP3 00000b2c: POP 00000b2d: POP 00000b2e: PUSH2 0x0a0a 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x01 00000b35: PUSH1 0x03 00000b37: DUP2 00000b38: DUP2 00000b39: DUP1 00000b3a: SLOAD 00000b3b: SWAP1 00000b3c: POP 00000b3d: SUB 00000b3e: SWAP2 00000b3f: POP 00000b40: DUP2 00000b41: PUSH2 0x0b4a 00000b44: SWAP2 00000b45: SWAP1 00000b46: PUSH2 0x2125 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: POP 00000b4c: PUSH1 0x03 00000b4e: DUP1 00000b4f: SLOAD 00000b50: SWAP1 00000b51: POP 00000b52: PUSH1 0x04 00000b54: SLOAD 00000b55: GT 00000b56: ISZERO 00000b57: PUSH2 0x0b69 00000b5a: JUMPI 00000b5b: PUSH2 0x0b68 00000b5e: PUSH1 0x03 00000b60: DUP1 00000b61: SLOAD 00000b62: SWAP1 00000b63: POP 00000b64: PUSH2 0x1752 00000b67: JUMP 00000b68: JUMPDEST 00000b69: JUMPDEST 00000b6a: DUP3 00000b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b80: AND 00000b81: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00000ba2: PUSH1 0x40 00000ba4: MLOAD 00000ba5: PUSH1 0x40 00000ba7: MLOAD 00000ba8: DUP1 00000ba9: SWAP2 00000baa: SUB 00000bab: SWAP1 00000bac: LOG2 00000bad: POP 00000bae: POP 00000baf: POP 00000bb0: JUMP 00000bb1: JUMPDEST 00000bb2: CALLER 00000bb3: PUSH1 0x02 00000bb5: PUSH1 0x00 00000bb7: DUP3 00000bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcd: AND 00000bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be3: AND 00000be4: DUP2 00000be5: MSTORE 00000be6: PUSH1 0x20 00000be8: ADD 00000be9: SWAP1 00000bea: DUP2 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: ADD 00000bef: PUSH1 0x00 00000bf1: KECCAK256 00000bf2: PUSH1 0x00 00000bf4: SWAP1 00000bf5: SLOAD 00000bf6: SWAP1 00000bf7: PUSH2 0x0100 00000bfa: EXP 00000bfb: SWAP1 00000bfc: DIV 00000bfd: PUSH1 0xff 00000bff: AND 00000c00: ISZERO 00000c01: ISZERO 00000c02: PUSH2 0x0c0a 00000c05: JUMPI 00000c06: PUSH1 0x00 00000c08: DUP1 00000c09: REVERT 00000c0a: JUMPDEST 00000c0b: DUP2 00000c0c: CALLER 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0x00 00000c11: DUP4 00000c12: DUP2 00000c13: MSTORE 00000c14: PUSH1 0x20 00000c16: ADD 00000c17: SWAP1 00000c18: DUP2 00000c19: MSTORE 00000c1a: PUSH1 0x20 00000c1c: ADD 00000c1d: PUSH1 0x00 00000c1f: KECCAK256 00000c20: PUSH1 0x00 00000c22: DUP3 00000c23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c38: AND 00000c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4e: AND 00000c4f: DUP2 00000c50: MSTORE 00000c51: PUSH1 0x20 00000c53: ADD 00000c54: SWAP1 00000c55: DUP2 00000c56: MSTORE 00000c57: PUSH1 0x20 00000c59: ADD 00000c5a: PUSH1 0x00 00000c5c: KECCAK256 00000c5d: PUSH1 0x00 00000c5f: SWAP1 00000c60: SLOAD 00000c61: SWAP1 00000c62: PUSH2 0x0100 00000c65: EXP 00000c66: SWAP1 00000c67: DIV 00000c68: PUSH1 0xff 00000c6a: AND 00000c6b: ISZERO 00000c6c: ISZERO 00000c6d: PUSH2 0x0c75 00000c70: JUMPI 00000c71: PUSH1 0x00 00000c73: DUP1 00000c74: REVERT 00000c75: JUMPDEST 00000c76: DUP4 00000c77: PUSH1 0x00 00000c79: DUP1 00000c7a: DUP3 00000c7b: DUP2 00000c7c: MSTORE 00000c7d: PUSH1 0x20 00000c7f: ADD 00000c80: SWAP1 00000c81: DUP2 00000c82: MSTORE 00000c83: PUSH1 0x20 00000c85: ADD 00000c86: PUSH1 0x00 00000c88: KECCAK256 00000c89: PUSH1 0x03 00000c8b: ADD 00000c8c: PUSH1 0x00 00000c8e: SWAP1 00000c8f: SLOAD 00000c90: SWAP1 00000c91: PUSH2 0x0100 00000c94: EXP 00000c95: SWAP1 00000c96: DIV 00000c97: PUSH1 0xff 00000c99: AND 00000c9a: ISZERO 00000c9b: ISZERO 00000c9c: ISZERO 00000c9d: PUSH2 0x0ca5 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP1 00000ca4: REVERT 00000ca5: JUMPDEST 00000ca6: PUSH1 0x00 00000ca8: PUSH1 0x01 00000caa: PUSH1 0x00 00000cac: DUP8 00000cad: DUP2 00000cae: MSTORE 00000caf: PUSH1 0x20 00000cb1: ADD 00000cb2: SWAP1 00000cb3: DUP2 00000cb4: MSTORE 00000cb5: PUSH1 0x20 00000cb7: ADD 00000cb8: PUSH1 0x00 00000cba: KECCAK256 00000cbb: PUSH1 0x00 00000cbd: CALLER 00000cbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd3: AND 00000cd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce9: AND 00000cea: DUP2 00000ceb: MSTORE 00000cec: PUSH1 0x20 00000cee: ADD 00000cef: SWAP1 00000cf0: DUP2 00000cf1: MSTORE 00000cf2: PUSH1 0x20 00000cf4: ADD 00000cf5: PUSH1 0x00 00000cf7: KECCAK256 00000cf8: PUSH1 0x00 00000cfa: PUSH2 0x0100 00000cfd: EXP 00000cfe: DUP2 00000cff: SLOAD 00000d00: DUP2 00000d01: PUSH1 0xff 00000d03: MUL 00000d04: NOT 00000d05: AND 00000d06: SWAP1 00000d07: DUP4 00000d08: ISZERO 00000d09: ISZERO 00000d0a: MUL 00000d0b: OR 00000d0c: SWAP1 00000d0d: SSTORE 00000d0e: POP 00000d0f: DUP5 00000d10: CALLER 00000d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d26: AND 00000d27: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 00000d48: PUSH1 0x40 00000d4a: MLOAD 00000d4b: PUSH1 0x40 00000d4d: MLOAD 00000d4e: DUP1 00000d4f: SWAP2 00000d50: SUB 00000d51: SWAP1 00000d52: LOG3 00000d53: POP 00000d54: POP 00000d55: POP 00000d56: POP 00000d57: POP 00000d58: JUMP 00000d59: JUMPDEST 00000d5a: PUSH1 0x02 00000d5c: PUSH1 0x20 00000d5e: MSTORE 00000d5f: DUP1 00000d60: PUSH1 0x00 00000d62: MSTORE 00000d63: PUSH1 0x40 00000d65: PUSH1 0x00 00000d67: KECCAK256 00000d68: PUSH1 0x00 00000d6a: SWAP2 00000d6b: POP 00000d6c: SLOAD 00000d6d: SWAP1 00000d6e: PUSH2 0x0100 00000d71: EXP 00000d72: SWAP1 00000d73: DIV 00000d74: PUSH1 0xff 00000d76: AND 00000d77: DUP2 00000d78: JUMP 00000d79: JUMPDEST 00000d7a: PUSH1 0x01 00000d7c: PUSH1 0x20 00000d7e: MSTORE 00000d7f: DUP2 00000d80: PUSH1 0x00 00000d82: MSTORE 00000d83: PUSH1 0x40 00000d85: PUSH1 0x00 00000d87: KECCAK256 00000d88: PUSH1 0x20 00000d8a: MSTORE 00000d8b: DUP1 00000d8c: PUSH1 0x00 00000d8e: MSTORE 00000d8f: PUSH1 0x40 00000d91: PUSH1 0x00 00000d93: KECCAK256 00000d94: PUSH1 0x00 00000d96: SWAP2 00000d97: POP 00000d98: SWAP2 00000d99: POP 00000d9a: SWAP1 00000d9b: SLOAD 00000d9c: SWAP1 00000d9d: PUSH2 0x0100 00000da0: EXP 00000da1: SWAP1 00000da2: DIV 00000da3: PUSH1 0xff 00000da5: AND 00000da6: DUP2 00000da7: JUMP 00000da8: JUMPDEST 00000da9: PUSH1 0x00 00000dab: DUP1 00000dac: PUSH1 0x00 00000dae: SWAP1 00000daf: POP 00000db0: JUMPDEST 00000db1: PUSH1 0x05 00000db3: SLOAD 00000db4: DUP2 00000db5: LT 00000db6: ISZERO 00000db7: PUSH2 0x0e33 00000dba: JUMPI 00000dbb: DUP4 00000dbc: DUP1 00000dbd: ISZERO 00000dbe: PUSH2 0x0de7 00000dc1: JUMPI 00000dc2: POP 00000dc3: PUSH1 0x00 00000dc5: DUP1 00000dc6: DUP3 00000dc7: DUP2 00000dc8: MSTORE 00000dc9: PUSH1 0x20 00000dcb: ADD 00000dcc: SWAP1 00000dcd: DUP2 00000dce: MSTORE 00000dcf: PUSH1 0x20 00000dd1: ADD 00000dd2: PUSH1 0x00 00000dd4: KECCAK256 00000dd5: PUSH1 0x03 00000dd7: ADD 00000dd8: PUSH1 0x00 00000dda: SWAP1 00000ddb: SLOAD 00000ddc: SWAP1 00000ddd: PUSH2 0x0100 00000de0: EXP 00000de1: SWAP1 00000de2: DIV 00000de3: PUSH1 0xff 00000de5: AND 00000de6: ISZERO 00000de7: JUMPDEST 00000de8: DUP1 00000de9: PUSH2 0x0e1a 00000dec: JUMPI 00000ded: POP 00000dee: DUP3 00000def: DUP1 00000df0: ISZERO 00000df1: PUSH2 0x0e19 00000df4: JUMPI 00000df5: POP 00000df6: PUSH1 0x00 00000df8: DUP1 00000df9: DUP3 00000dfa: DUP2 00000dfb: MSTORE 00000dfc: PUSH1 0x20 00000dfe: ADD 00000dff: SWAP1 00000e00: DUP2 00000e01: MSTORE 00000e02: PUSH1 0x20 00000e04: ADD 00000e05: PUSH1 0x00 00000e07: KECCAK256 00000e08: PUSH1 0x03 00000e0a: ADD 00000e0b: PUSH1 0x00 00000e0d: SWAP1 00000e0e: SLOAD 00000e0f: SWAP1 00000e10: PUSH2 0x0100 00000e13: EXP 00000e14: SWAP1 00000e15: DIV 00000e16: PUSH1 0xff 00000e18: AND 00000e19: JUMPDEST 00000e1a: JUMPDEST 00000e1b: ISZERO 00000e1c: PUSH2 0x0e26 00000e1f: JUMPI 00000e20: PUSH1 0x01 00000e22: DUP3 00000e23: ADD 00000e24: SWAP2 00000e25: POP 00000e26: JUMPDEST 00000e27: DUP1 00000e28: DUP1 00000e29: PUSH1 0x01 00000e2b: ADD 00000e2c: SWAP2 00000e2d: POP 00000e2e: POP 00000e2f: PUSH2 0x0db0 00000e32: JUMP 00000e33: JUMPDEST 00000e34: POP 00000e35: SWAP3 00000e36: SWAP2 00000e37: POP 00000e38: POP 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: ADDRESS 00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e51: AND 00000e52: CALLER 00000e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e68: AND 00000e69: EQ 00000e6a: ISZERO 00000e6b: ISZERO 00000e6c: PUSH2 0x0e74 00000e6f: JUMPI 00000e70: PUSH1 0x00 00000e72: DUP1 00000e73: REVERT 00000e74: JUMPDEST 00000e75: DUP1 00000e76: PUSH1 0x02 00000e78: PUSH1 0x00 00000e7a: DUP3 00000e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e90: AND 00000e91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea6: AND 00000ea7: DUP2 00000ea8: MSTORE 00000ea9: PUSH1 0x20 00000eab: ADD 00000eac: SWAP1 00000ead: DUP2 00000eae: MSTORE 00000eaf: PUSH1 0x20 00000eb1: ADD 00000eb2: PUSH1 0x00 00000eb4: KECCAK256 00000eb5: PUSH1 0x00 00000eb7: SWAP1 00000eb8: SLOAD 00000eb9: SWAP1 00000eba: PUSH2 0x0100 00000ebd: EXP 00000ebe: SWAP1 00000ebf: DIV 00000ec0: PUSH1 0xff 00000ec2: AND 00000ec3: ISZERO 00000ec4: ISZERO 00000ec5: ISZERO 00000ec6: PUSH2 0x0ece 00000ec9: JUMPI 00000eca: PUSH1 0x00 00000ecc: DUP1 00000ecd: REVERT 00000ece: JUMPDEST 00000ecf: DUP2 00000ed0: PUSH1 0x00 00000ed2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee7: AND 00000ee8: DUP2 00000ee9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efe: AND 00000eff: EQ 00000f00: ISZERO 00000f01: ISZERO 00000f02: ISZERO 00000f03: PUSH2 0x0f0b 00000f06: JUMPI 00000f07: PUSH1 0x00 00000f09: DUP1 00000f0a: REVERT 00000f0b: JUMPDEST 00000f0c: PUSH1 0x01 00000f0e: PUSH1 0x03 00000f10: DUP1 00000f11: SLOAD 00000f12: SWAP1 00000f13: POP 00000f14: ADD 00000f15: PUSH1 0x04 00000f17: SLOAD 00000f18: PUSH1 0x00 00000f1a: DUP1 00000f1b: PUSH1 0x00 00000f1d: DUP1 00000f1e: PUSH1 0x32 00000f20: DUP7 00000f21: GT 00000f22: ISZERO 00000f23: SWAP4 00000f24: POP 00000f25: PUSH1 0x00 00000f27: DUP7 00000f28: EQ 00000f29: ISZERO 00000f2a: SWAP3 00000f2b: POP 00000f2c: DUP6 00000f2d: DUP6 00000f2e: GT 00000f2f: ISZERO 00000f30: SWAP2 00000f31: POP 00000f32: PUSH1 0x00 00000f34: DUP6 00000f35: EQ 00000f36: ISZERO 00000f37: SWAP1 00000f38: POP 00000f39: DUP4 00000f3a: DUP1 00000f3b: ISZERO 00000f3c: PUSH2 0x0f42 00000f3f: JUMPI 00000f40: POP 00000f41: DUP3 00000f42: JUMPDEST 00000f43: DUP1 00000f44: ISZERO 00000f45: PUSH2 0x0f4b 00000f48: JUMPI 00000f49: POP 00000f4a: DUP2 00000f4b: JUMPDEST 00000f4c: DUP1 00000f4d: ISZERO 00000f4e: PUSH2 0x0f54 00000f51: JUMPI 00000f52: POP 00000f53: DUP1 00000f54: JUMPDEST 00000f55: ISZERO 00000f56: ISZERO 00000f57: PUSH2 0x0f5f 00000f5a: JUMPI 00000f5b: PUSH1 0x00 00000f5d: DUP1 00000f5e: REVERT 00000f5f: JUMPDEST 00000f60: PUSH1 0x01 00000f62: PUSH1 0x02 00000f64: PUSH1 0x00 00000f66: DUP12 00000f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7c: AND 00000f7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f92: AND 00000f93: DUP2 00000f94: MSTORE 00000f95: PUSH1 0x20 00000f97: ADD 00000f98: SWAP1 00000f99: DUP2 00000f9a: MSTORE 00000f9b: PUSH1 0x20 00000f9d: ADD 00000f9e: PUSH1 0x00 00000fa0: KECCAK256 00000fa1: PUSH1 0x00 00000fa3: PUSH2 0x0100 00000fa6: EXP 00000fa7: DUP2 00000fa8: SLOAD 00000fa9: DUP2 00000faa: PUSH1 0xff 00000fac: MUL 00000fad: NOT 00000fae: AND 00000faf: SWAP1 00000fb0: DUP4 00000fb1: ISZERO 00000fb2: ISZERO 00000fb3: MUL 00000fb4: OR 00000fb5: SWAP1 00000fb6: SSTORE 00000fb7: POP 00000fb8: PUSH1 0x03 00000fba: DUP10 00000fbb: SWAP1 00000fbc: DUP1 00000fbd: PUSH1 0x01 00000fbf: DUP2 00000fc0: SLOAD 00000fc1: ADD 00000fc2: DUP1 00000fc3: DUP3 00000fc4: SSTORE 00000fc5: DUP1 00000fc6: SWAP2 00000fc7: POP 00000fc8: POP 00000fc9: SWAP1 00000fca: PUSH1 0x01 00000fcc: DUP3 00000fcd: SUB 00000fce: SWAP1 00000fcf: PUSH1 0x00 00000fd1: MSTORE 00000fd2: PUSH1 0x20 00000fd4: PUSH1 0x00 00000fd6: KECCAK256 00000fd7: ADD 00000fd8: PUSH1 0x00 00000fda: SWAP1 00000fdb: SWAP2 00000fdc: SWAP3 00000fdd: SWAP1 00000fde: SWAP2 00000fdf: SWAP1 00000fe0: SWAP2 00000fe1: PUSH2 0x0100 00000fe4: EXP 00000fe5: DUP2 00000fe6: SLOAD 00000fe7: DUP2 00000fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffd: MUL 00000ffe: NOT 00000fff: AND 00001000: SWAP1 00001001: DUP4 00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001017: AND 00001018: MUL 00001019: OR 0000101a: SWAP1 0000101b: SSTORE 0000101c: POP 0000101d: POP 0000101e: DUP9 0000101f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001034: AND 00001035: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001056: PUSH1 0x40 00001058: MLOAD 00001059: PUSH1 0x40 0000105b: MLOAD 0000105c: DUP1 0000105d: SWAP2 0000105e: SUB 0000105f: SWAP1 00001060: LOG2 00001061: POP 00001062: POP 00001063: POP 00001064: POP 00001065: POP 00001066: POP 00001067: POP 00001068: POP 00001069: POP 0000106a: JUMP 0000106b: JUMPDEST 0000106c: PUSH1 0x00 0000106e: DUP1 0000106f: PUSH1 0x00 00001071: DUP1 00001072: SWAP2 00001073: POP 00001074: PUSH1 0x00 00001076: SWAP1 00001077: POP 00001078: JUMPDEST 00001079: PUSH1 0x03 0000107b: DUP1 0000107c: SLOAD 0000107d: SWAP1 0000107e: POP 0000107f: DUP2 00001080: LT 00001081: ISZERO 00001082: PUSH2 0x1148 00001085: JUMPI 00001086: PUSH1 0x01 00001088: PUSH1 0x00 0000108a: DUP6 0000108b: DUP2 0000108c: MSTORE 0000108d: PUSH1 0x20 0000108f: ADD 00001090: SWAP1 00001091: DUP2 00001092: MSTORE 00001093: PUSH1 0x20 00001095: ADD 00001096: PUSH1 0x00 00001098: KECCAK256 00001099: PUSH1 0x00 0000109b: PUSH1 0x03 0000109d: DUP4 0000109e: DUP2 0000109f: SLOAD 000010a0: DUP2 000010a1: LT 000010a2: ISZERO 000010a3: ISZERO 000010a4: PUSH2 0x10a9 000010a7: JUMPI 000010a8: INVALID 000010a9: JUMPDEST 000010aa: SWAP1 000010ab: PUSH1 0x00 000010ad: MSTORE 000010ae: PUSH1 0x20 000010b0: PUSH1 0x00 000010b2: KECCAK256 000010b3: ADD 000010b4: PUSH1 0x00 000010b6: SWAP1 000010b7: SLOAD 000010b8: SWAP1 000010b9: PUSH2 0x0100 000010bc: EXP 000010bd: SWAP1 000010be: DIV 000010bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d4: AND 000010d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ea: AND 000010eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001100: AND 00001101: DUP2 00001102: MSTORE 00001103: PUSH1 0x20 00001105: ADD 00001106: SWAP1 00001107: DUP2 00001108: MSTORE 00001109: PUSH1 0x20 0000110b: ADD 0000110c: PUSH1 0x00 0000110e: KECCAK256 0000110f: PUSH1 0x00 00001111: SWAP1 00001112: SLOAD 00001113: SWAP1 00001114: PUSH2 0x0100 00001117: EXP 00001118: SWAP1 00001119: DIV 0000111a: PUSH1 0xff 0000111c: AND 0000111d: ISZERO 0000111e: PUSH2 0x1128 00001121: JUMPI 00001122: PUSH1 0x01 00001124: DUP3 00001125: ADD 00001126: SWAP2 00001127: POP 00001128: JUMPDEST 00001129: PUSH1 0x04 0000112b: SLOAD 0000112c: DUP3 0000112d: EQ 0000112e: ISZERO 0000112f: PUSH2 0x113b 00001132: JUMPI 00001133: PUSH1 0x01 00001135: SWAP3 00001136: POP 00001137: PUSH2 0x1149 0000113a: JUMP 0000113b: JUMPDEST 0000113c: DUP1 0000113d: DUP1 0000113e: PUSH1 0x01 00001140: ADD 00001141: SWAP2 00001142: POP 00001143: POP 00001144: PUSH2 0x1078 00001147: JUMP 00001148: JUMPDEST 00001149: JUMPDEST 0000114a: POP 0000114b: POP 0000114c: SWAP2 0000114d: SWAP1 0000114e: POP 0000114f: JUMP 00001150: JUMPDEST 00001151: PUSH1 0x00 00001153: DUP1 00001154: PUSH1 0x00 00001156: SWAP1 00001157: POP 00001158: JUMPDEST 00001159: PUSH1 0x03 0000115b: DUP1 0000115c: SLOAD 0000115d: SWAP1 0000115e: POP 0000115f: DUP2 00001160: LT 00001161: ISZERO 00001162: PUSH2 0x1215 00001165: JUMPI 00001166: PUSH1 0x01 00001168: PUSH1 0x00 0000116a: DUP5 0000116b: DUP2 0000116c: MSTORE 0000116d: PUSH1 0x20 0000116f: ADD 00001170: SWAP1 00001171: DUP2 00001172: MSTORE 00001173: PUSH1 0x20 00001175: ADD 00001176: PUSH1 0x00 00001178: KECCAK256 00001179: PUSH1 0x00 0000117b: PUSH1 0x03 0000117d: DUP4 0000117e: DUP2 0000117f: SLOAD 00001180: DUP2 00001181: LT 00001182: ISZERO 00001183: ISZERO 00001184: PUSH2 0x1189 00001187: JUMPI 00001188: INVALID 00001189: JUMPDEST 0000118a: SWAP1 0000118b: PUSH1 0x00 0000118d: MSTORE 0000118e: PUSH1 0x20 00001190: PUSH1 0x00 00001192: KECCAK256 00001193: ADD 00001194: PUSH1 0x00 00001196: SWAP1 00001197: SLOAD 00001198: SWAP1 00001199: PUSH2 0x0100 0000119c: EXP 0000119d: SWAP1 0000119e: DIV 0000119f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b4: AND 000011b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ca: AND 000011cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e0: AND 000011e1: DUP2 000011e2: MSTORE 000011e3: PUSH1 0x20 000011e5: ADD 000011e6: SWAP1 000011e7: DUP2 000011e8: MSTORE 000011e9: PUSH1 0x20 000011eb: ADD 000011ec: PUSH1 0x00 000011ee: KECCAK256 000011ef: PUSH1 0x00 000011f1: SWAP1 000011f2: SLOAD 000011f3: SWAP1 000011f4: PUSH2 0x0100 000011f7: EXP 000011f8: SWAP1 000011f9: DIV 000011fa: PUSH1 0xff 000011fc: AND 000011fd: ISZERO 000011fe: PUSH2 0x1208 00001201: JUMPI 00001202: PUSH1 0x01 00001204: DUP3 00001205: ADD 00001206: SWAP2 00001207: POP 00001208: JUMPDEST 00001209: DUP1 0000120a: DUP1 0000120b: PUSH1 0x01 0000120d: ADD 0000120e: SWAP2 0000120f: POP 00001210: POP 00001211: PUSH2 0x1158 00001214: JUMP 00001215: JUMPDEST 00001216: POP 00001217: SWAP2 00001218: SWAP1 00001219: POP 0000121a: JUMP 0000121b: JUMPDEST 0000121c: PUSH1 0x00 0000121e: PUSH1 0x20 00001220: MSTORE 00001221: DUP1 00001222: PUSH1 0x00 00001224: MSTORE 00001225: PUSH1 0x40 00001227: PUSH1 0x00 00001229: KECCAK256 0000122a: PUSH1 0x00 0000122c: SWAP2 0000122d: POP 0000122e: SWAP1 0000122f: POP 00001230: DUP1 00001231: PUSH1 0x00 00001233: ADD 00001234: PUSH1 0x00 00001236: SWAP1 00001237: SLOAD 00001238: SWAP1 00001239: PUSH2 0x0100 0000123c: EXP 0000123d: SWAP1 0000123e: DIV 0000123f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001254: AND 00001255: SWAP1 00001256: DUP1 00001257: PUSH1 0x01 00001259: ADD 0000125a: SLOAD 0000125b: SWAP1 0000125c: DUP1 0000125d: PUSH1 0x02 0000125f: ADD 00001260: DUP1 00001261: SLOAD 00001262: PUSH1 0x01 00001264: DUP2 00001265: PUSH1 0x01 00001267: AND 00001268: ISZERO 00001269: PUSH2 0x0100 0000126c: MUL 0000126d: SUB 0000126e: AND 0000126f: PUSH1 0x02 00001271: SWAP1 00001272: DIV 00001273: DUP1 00001274: PUSH1 0x1f 00001276: ADD 00001277: PUSH1 0x20 00001279: DUP1 0000127a: SWAP2 0000127b: DIV 0000127c: MUL 0000127d: PUSH1 0x20 0000127f: ADD 00001280: PUSH1 0x40 00001282: MLOAD 00001283: SWAP1 00001284: DUP2 00001285: ADD 00001286: PUSH1 0x40 00001288: MSTORE 00001289: DUP1 0000128a: SWAP3 0000128b: SWAP2 0000128c: SWAP1 0000128d: DUP2 0000128e: DUP2 0000128f: MSTORE 00001290: PUSH1 0x20 00001292: ADD 00001293: DUP3 00001294: DUP1 00001295: SLOAD 00001296: PUSH1 0x01 00001298: DUP2 00001299: PUSH1 0x01 0000129b: AND 0000129c: ISZERO 0000129d: PUSH2 0x0100 000012a0: MUL 000012a1: SUB 000012a2: AND 000012a3: PUSH1 0x02 000012a5: SWAP1 000012a6: DIV 000012a7: DUP1 000012a8: ISZERO 000012a9: PUSH2 0x12f3 000012ac: JUMPI 000012ad: DUP1 000012ae: PUSH1 0x1f 000012b0: LT 000012b1: PUSH2 0x12c8 000012b4: JUMPI 000012b5: PUSH2 0x0100 000012b8: DUP1 000012b9: DUP4 000012ba: SLOAD 000012bb: DIV 000012bc: MUL 000012bd: DUP4 000012be: MSTORE 000012bf: SWAP2 000012c0: PUSH1 0x20 000012c2: ADD 000012c3: SWAP2 000012c4: PUSH2 0x12f3 000012c7: JUMP 000012c8: JUMPDEST 000012c9: DUP3 000012ca: ADD 000012cb: SWAP2 000012cc: SWAP1 000012cd: PUSH1 0x00 000012cf: MSTORE 000012d0: PUSH1 0x20 000012d2: PUSH1 0x00 000012d4: KECCAK256 000012d5: SWAP1 000012d6: JUMPDEST 000012d7: DUP2 000012d8: SLOAD 000012d9: DUP2 000012da: MSTORE 000012db: SWAP1 000012dc: PUSH1 0x01 000012de: ADD 000012df: SWAP1 000012e0: PUSH1 0x20 000012e2: ADD 000012e3: DUP1 000012e4: DUP4 000012e5: GT 000012e6: PUSH2 0x12d6 000012e9: JUMPI 000012ea: DUP3 000012eb: SWAP1 000012ec: SUB 000012ed: PUSH1 0x1f 000012ef: AND 000012f0: DUP3 000012f1: ADD 000012f2: SWAP2 000012f3: JUMPDEST 000012f4: POP 000012f5: POP 000012f6: POP 000012f7: POP 000012f8: POP 000012f9: SWAP1 000012fa: DUP1 000012fb: PUSH1 0x03 000012fd: ADD 000012fe: PUSH1 0x00 00001300: SWAP1 00001301: SLOAD 00001302: SWAP1 00001303: PUSH2 0x0100 00001306: EXP 00001307: SWAP1 00001308: DIV 00001309: PUSH1 0xff 0000130b: AND 0000130c: SWAP1 0000130d: POP 0000130e: DUP5 0000130f: JUMP 00001310: JUMPDEST 00001311: PUSH1 0x60 00001313: PUSH1 0x03 00001315: DUP1 00001316: SLOAD 00001317: DUP1 00001318: PUSH1 0x20 0000131a: MUL 0000131b: PUSH1 0x20 0000131d: ADD 0000131e: PUSH1 0x40 00001320: MLOAD 00001321: SWAP1 00001322: DUP2 00001323: ADD 00001324: PUSH1 0x40 00001326: MSTORE 00001327: DUP1 00001328: SWAP3 00001329: SWAP2 0000132a: SWAP1 0000132b: DUP2 0000132c: DUP2 0000132d: MSTORE 0000132e: PUSH1 0x20 00001330: ADD 00001331: DUP3 00001332: DUP1 00001333: SLOAD 00001334: DUP1 00001335: ISZERO 00001336: PUSH2 0x1394 00001339: JUMPI 0000133a: PUSH1 0x20 0000133c: MUL 0000133d: DUP3 0000133e: ADD 0000133f: SWAP2 00001340: SWAP1 00001341: PUSH1 0x00 00001343: MSTORE 00001344: PUSH1 0x20 00001346: PUSH1 0x00 00001348: KECCAK256 00001349: SWAP1 0000134a: JUMPDEST 0000134b: DUP2 0000134c: PUSH1 0x00 0000134e: SWAP1 0000134f: SLOAD 00001350: SWAP1 00001351: PUSH2 0x0100 00001354: EXP 00001355: SWAP1 00001356: DIV 00001357: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000136c: AND 0000136d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001382: AND 00001383: DUP2 00001384: MSTORE 00001385: PUSH1 0x20 00001387: ADD 00001388: SWAP1 00001389: PUSH1 0x01 0000138b: ADD 0000138c: SWAP1 0000138d: DUP1 0000138e: DUP4 0000138f: GT 00001390: PUSH2 0x134a 00001393: JUMPI 00001394: JUMPDEST 00001395: POP 00001396: POP 00001397: POP 00001398: POP 00001399: POP 0000139a: SWAP1 0000139b: POP 0000139c: SWAP1 0000139d: JUMP 0000139e: JUMPDEST 0000139f: PUSH1 0x60 000013a1: DUP1 000013a2: PUSH1 0x00 000013a4: DUP1 000013a5: PUSH1 0x05 000013a7: SLOAD 000013a8: PUSH1 0x40 000013aa: MLOAD 000013ab: SWAP1 000013ac: DUP1 000013ad: DUP3 000013ae: MSTORE 000013af: DUP1 000013b0: PUSH1 0x20 000013b2: MUL 000013b3: PUSH1 0x20 000013b5: ADD 000013b6: DUP3 000013b7: ADD 000013b8: PUSH1 0x40 000013ba: MSTORE 000013bb: DUP1 000013bc: ISZERO 000013bd: PUSH2 0x13d5 000013c0: JUMPI 000013c1: DUP2 000013c2: PUSH1 0x20 000013c4: ADD 000013c5: PUSH1 0x20 000013c7: DUP3 000013c8: MUL 000013c9: DUP1 000013ca: CODESIZE 000013cb: DUP4 000013cc: CODECOPY 000013cd: DUP1 000013ce: DUP3 000013cf: ADD 000013d0: SWAP2 000013d1: POP 000013d2: POP 000013d3: SWAP1 000013d4: POP 000013d5: JUMPDEST 000013d6: POP 000013d7: SWAP3 000013d8: POP 000013d9: PUSH1 0x00 000013db: SWAP2 000013dc: POP 000013dd: PUSH1 0x00 000013df: SWAP1 000013e0: POP 000013e1: JUMPDEST 000013e2: PUSH1 0x05 000013e4: SLOAD 000013e5: DUP2 000013e6: LT 000013e7: ISZERO 000013e8: PUSH2 0x1481 000013eb: JUMPI 000013ec: DUP6 000013ed: DUP1 000013ee: ISZERO 000013ef: PUSH2 0x1418 000013f2: JUMPI 000013f3: POP 000013f4: PUSH1 0x00 000013f6: DUP1 000013f7: DUP3 000013f8: DUP2 000013f9: MSTORE 000013fa: PUSH1 0x20 000013fc: ADD 000013fd: SWAP1 000013fe: DUP2 000013ff: MSTORE 00001400: PUSH1 0x20 00001402: ADD 00001403: PUSH1 0x00 00001405: KECCAK256 00001406: PUSH1 0x03 00001408: ADD 00001409: PUSH1 0x00 0000140b: SWAP1 0000140c: SLOAD 0000140d: SWAP1 0000140e: PUSH2 0x0100 00001411: EXP 00001412: SWAP1 00001413: DIV 00001414: PUSH1 0xff 00001416: AND 00001417: ISZERO 00001418: JUMPDEST 00001419: DUP1 0000141a: PUSH2 0x144b 0000141d: JUMPI 0000141e: POP 0000141f: DUP5 00001420: DUP1 00001421: ISZERO 00001422: PUSH2 0x144a 00001425: JUMPI 00001426: POP 00001427: PUSH1 0x00 00001429: DUP1 0000142a: DUP3 0000142b: DUP2 0000142c: MSTORE 0000142d: PUSH1 0x20 0000142f: ADD 00001430: SWAP1 00001431: DUP2 00001432: MSTORE 00001433: PUSH1 0x20 00001435: ADD 00001436: PUSH1 0x00 00001438: KECCAK256 00001439: PUSH1 0x03 0000143b: ADD 0000143c: PUSH1 0x00 0000143e: SWAP1 0000143f: SLOAD 00001440: SWAP1 00001441: PUSH2 0x0100 00001444: EXP 00001445: SWAP1 00001446: DIV 00001447: PUSH1 0xff 00001449: AND 0000144a: JUMPDEST 0000144b: JUMPDEST 0000144c: ISZERO 0000144d: PUSH2 0x1474 00001450: JUMPI 00001451: DUP1 00001452: DUP4 00001453: DUP4 00001454: DUP2 00001455: MLOAD 00001456: DUP2 00001457: LT 00001458: ISZERO 00001459: ISZERO 0000145a: PUSH2 0x145f 0000145d: JUMPI 0000145e: INVALID 0000145f: JUMPDEST 00001460: SWAP1 00001461: PUSH1 0x20 00001463: ADD 00001464: SWAP1 00001465: PUSH1 0x20 00001467: MUL 00001468: ADD 00001469: DUP2 0000146a: DUP2 0000146b: MSTORE 0000146c: POP 0000146d: POP 0000146e: PUSH1 0x01 00001470: DUP3 00001471: ADD 00001472: SWAP2 00001473: POP 00001474: JUMPDEST 00001475: DUP1 00001476: DUP1 00001477: PUSH1 0x01 00001479: ADD 0000147a: SWAP2 0000147b: POP 0000147c: POP 0000147d: PUSH2 0x13e1 00001480: JUMP 00001481: JUMPDEST 00001482: DUP8 00001483: DUP8 00001484: SUB 00001485: PUSH1 0x40 00001487: MLOAD 00001488: SWAP1 00001489: DUP1 0000148a: DUP3 0000148b: MSTORE 0000148c: DUP1 0000148d: PUSH1 0x20 0000148f: MUL 00001490: PUSH1 0x20 00001492: ADD 00001493: DUP3 00001494: ADD 00001495: PUSH1 0x40 00001497: MSTORE 00001498: DUP1 00001499: ISZERO 0000149a: PUSH2 0x14b2 0000149d: JUMPI 0000149e: DUP2 0000149f: PUSH1 0x20 000014a1: ADD 000014a2: PUSH1 0x20 000014a4: DUP3 000014a5: MUL 000014a6: DUP1 000014a7: CODESIZE 000014a8: DUP4 000014a9: CODECOPY 000014aa: DUP1 000014ab: DUP3 000014ac: ADD 000014ad: SWAP2 000014ae: POP 000014af: POP 000014b0: SWAP1 000014b1: POP 000014b2: JUMPDEST 000014b3: POP 000014b4: SWAP4 000014b5: POP 000014b6: DUP8 000014b7: SWAP1 000014b8: POP 000014b9: JUMPDEST 000014ba: DUP7 000014bb: DUP2 000014bc: LT 000014bd: ISZERO 000014be: PUSH2 0x1504 000014c1: JUMPI 000014c2: DUP3 000014c3: DUP2 000014c4: DUP2 000014c5: MLOAD 000014c6: DUP2 000014c7: LT 000014c8: ISZERO 000014c9: ISZERO 000014ca: PUSH2 0x14cf 000014cd: JUMPI 000014ce: INVALID 000014cf: JUMPDEST 000014d0: SWAP1 000014d1: PUSH1 0x20 000014d3: ADD 000014d4: SWAP1 000014d5: PUSH1 0x20 000014d7: MUL 000014d8: ADD 000014d9: MLOAD 000014da: DUP5 000014db: DUP10 000014dc: DUP4 000014dd: SUB 000014de: DUP2 000014df: MLOAD 000014e0: DUP2 000014e1: LT 000014e2: ISZERO 000014e3: ISZERO 000014e4: PUSH2 0x14e9 000014e7: JUMPI 000014e8: INVALID 000014e9: JUMPDEST 000014ea: SWAP1 000014eb: PUSH1 0x20 000014ed: ADD 000014ee: SWAP1 000014ef: PUSH1 0x20 000014f1: MUL 000014f2: ADD 000014f3: DUP2 000014f4: DUP2 000014f5: MSTORE 000014f6: POP 000014f7: POP 000014f8: DUP1 000014f9: DUP1 000014fa: PUSH1 0x01 000014fc: ADD 000014fd: SWAP2 000014fe: POP 000014ff: POP 00001500: PUSH2 0x14b9 00001503: JUMP 00001504: JUMPDEST 00001505: POP 00001506: POP 00001507: POP 00001508: SWAP5 00001509: SWAP4 0000150a: POP 0000150b: POP 0000150c: POP 0000150d: POP 0000150e: JUMP 0000150f: JUMPDEST 00001510: PUSH1 0x60 00001512: DUP1 00001513: PUSH1 0x00 00001515: DUP1 00001516: PUSH1 0x03 00001518: DUP1 00001519: SLOAD 0000151a: SWAP1 0000151b: POP 0000151c: PUSH1 0x40 0000151e: MLOAD 0000151f: SWAP1 00001520: DUP1 00001521: DUP3 00001522: MSTORE 00001523: DUP1 00001524: PUSH1 0x20 00001526: MUL 00001527: PUSH1 0x20 00001529: ADD 0000152a: DUP3 0000152b: ADD 0000152c: PUSH1 0x40 0000152e: MSTORE 0000152f: DUP1 00001530: ISZERO 00001531: PUSH2 0x1549 00001534: JUMPI 00001535: DUP2 00001536: PUSH1 0x20 00001538: ADD 00001539: PUSH1 0x20 0000153b: DUP3 0000153c: MUL 0000153d: DUP1 0000153e: CODESIZE 0000153f: DUP4 00001540: CODECOPY 00001541: DUP1 00001542: DUP3 00001543: ADD 00001544: SWAP2 00001545: POP 00001546: POP 00001547: SWAP1 00001548: POP 00001549: JUMPDEST 0000154a: POP 0000154b: SWAP3 0000154c: POP 0000154d: PUSH1 0x00 0000154f: SWAP2 00001550: POP 00001551: PUSH1 0x00 00001553: SWAP1 00001554: POP 00001555: JUMPDEST 00001556: PUSH1 0x03 00001558: DUP1 00001559: SLOAD 0000155a: SWAP1 0000155b: POP 0000155c: DUP2 0000155d: LT 0000155e: ISZERO 0000155f: PUSH2 0x1696 00001562: JUMPI 00001563: PUSH1 0x01 00001565: PUSH1 0x00 00001567: DUP7 00001568: DUP2 00001569: MSTORE 0000156a: PUSH1 0x20 0000156c: ADD 0000156d: SWAP1 0000156e: DUP2 0000156f: MSTORE 00001570: PUSH1 0x20 00001572: ADD 00001573: PUSH1 0x00 00001575: KECCAK256 00001576: PUSH1 0x00 00001578: PUSH1 0x03 0000157a: DUP4 0000157b: DUP2 0000157c: SLOAD 0000157d: DUP2 0000157e: LT 0000157f: ISZERO 00001580: ISZERO 00001581: PUSH2 0x1586 00001584: JUMPI 00001585: INVALID 00001586: JUMPDEST 00001587: SWAP1 00001588: PUSH1 0x00 0000158a: MSTORE 0000158b: PUSH1 0x20 0000158d: PUSH1 0x00 0000158f: KECCAK256 00001590: ADD 00001591: PUSH1 0x00 00001593: SWAP1 00001594: SLOAD 00001595: SWAP1 00001596: PUSH2 0x0100 00001599: EXP 0000159a: SWAP1 0000159b: DIV 0000159c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b1: AND 000015b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015c7: AND 000015c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015dd: AND 000015de: DUP2 000015df: MSTORE 000015e0: PUSH1 0x20 000015e2: ADD 000015e3: SWAP1 000015e4: DUP2 000015e5: MSTORE 000015e6: PUSH1 0x20 000015e8: ADD 000015e9: PUSH1 0x00 000015eb: KECCAK256 000015ec: PUSH1 0x00 000015ee: SWAP1 000015ef: SLOAD 000015f0: SWAP1 000015f1: PUSH2 0x0100 000015f4: EXP 000015f5: SWAP1 000015f6: DIV 000015f7: PUSH1 0xff 000015f9: AND 000015fa: ISZERO 000015fb: PUSH2 0x1689 000015fe: JUMPI 000015ff: PUSH1 0x03 00001601: DUP2 00001602: DUP2 00001603: SLOAD 00001604: DUP2 00001605: LT 00001606: ISZERO 00001607: ISZERO 00001608: PUSH2 0x160d 0000160b: JUMPI 0000160c: INVALID 0000160d: JUMPDEST 0000160e: SWAP1 0000160f: PUSH1 0x00 00001611: MSTORE 00001612: PUSH1 0x20 00001614: PUSH1 0x00 00001616: KECCAK256 00001617: ADD 00001618: PUSH1 0x00 0000161a: SWAP1 0000161b: SLOAD 0000161c: SWAP1 0000161d: PUSH2 0x0100 00001620: EXP 00001621: SWAP1 00001622: DIV 00001623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001638: AND 00001639: DUP4 0000163a: DUP4 0000163b: DUP2 0000163c: MLOAD 0000163d: DUP2 0000163e: LT 0000163f: ISZERO 00001640: ISZERO 00001641: PUSH2 0x1646 00001644: JUMPI 00001645: INVALID 00001646: JUMPDEST 00001647: SWAP1 00001648: PUSH1 0x20 0000164a: ADD 0000164b: SWAP1 0000164c: PUSH1 0x20 0000164e: MUL 0000164f: ADD 00001650: SWAP1 00001651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001666: AND 00001667: SWAP1 00001668: DUP2 00001669: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167e: AND 0000167f: DUP2 00001680: MSTORE 00001681: POP 00001682: POP 00001683: PUSH1 0x01 00001685: DUP3 00001686: ADD 00001687: SWAP2 00001688: POP 00001689: JUMPDEST 0000168a: DUP1 0000168b: DUP1 0000168c: PUSH1 0x01 0000168e: ADD 0000168f: SWAP2 00001690: POP 00001691: POP 00001692: PUSH2 0x1555 00001695: JUMP 00001696: JUMPDEST 00001697: DUP2 00001698: PUSH1 0x40 0000169a: MLOAD 0000169b: SWAP1 0000169c: DUP1 0000169d: DUP3 0000169e: MSTORE 0000169f: DUP1 000016a0: PUSH1 0x20 000016a2: MUL 000016a3: PUSH1 0x20 000016a5: ADD 000016a6: DUP3 000016a7: ADD 000016a8: PUSH1 0x40 000016aa: MSTORE 000016ab: DUP1 000016ac: ISZERO 000016ad: PUSH2 0x16c5 000016b0: JUMPI 000016b1: DUP2 000016b2: PUSH1 0x20 000016b4: ADD 000016b5: PUSH1 0x20 000016b7: DUP3 000016b8: MUL 000016b9: DUP1 000016ba: CODESIZE 000016bb: DUP4 000016bc: CODECOPY 000016bd: DUP1 000016be: DUP3 000016bf: ADD 000016c0: SWAP2 000016c1: POP 000016c2: POP 000016c3: SWAP1 000016c4: POP 000016c5: JUMPDEST 000016c6: POP 000016c7: SWAP4 000016c8: POP 000016c9: PUSH1 0x00 000016cb: SWAP1 000016cc: POP 000016cd: JUMPDEST 000016ce: DUP2 000016cf: DUP2 000016d0: LT 000016d1: ISZERO 000016d2: PUSH2 0x1744 000016d5: JUMPI 000016d6: DUP3 000016d7: DUP2 000016d8: DUP2 000016d9: MLOAD 000016da: DUP2 000016db: LT 000016dc: ISZERO 000016dd: ISZERO 000016de: PUSH2 0x16e3 000016e1: JUMPI 000016e2: INVALID 000016e3: JUMPDEST 000016e4: SWAP1 000016e5: PUSH1 0x20 000016e7: ADD 000016e8: SWAP1 000016e9: PUSH1 0x20 000016eb: MUL 000016ec: ADD 000016ed: MLOAD 000016ee: DUP5 000016ef: DUP3 000016f0: DUP2 000016f1: MLOAD 000016f2: DUP2 000016f3: LT 000016f4: ISZERO 000016f5: ISZERO 000016f6: PUSH2 0x16fb 000016f9: JUMPI 000016fa: INVALID 000016fb: JUMPDEST 000016fc: SWAP1 000016fd: PUSH1 0x20 000016ff: ADD 00001700: SWAP1 00001701: PUSH1 0x20 00001703: MUL 00001704: ADD 00001705: SWAP1 00001706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000171b: AND 0000171c: SWAP1 0000171d: DUP2 0000171e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001733: AND 00001734: DUP2 00001735: MSTORE 00001736: POP 00001737: POP 00001738: DUP1 00001739: DUP1 0000173a: PUSH1 0x01 0000173c: ADD 0000173d: SWAP2 0000173e: POP 0000173f: POP 00001740: PUSH2 0x16cd 00001743: JUMP 00001744: JUMPDEST 00001745: POP 00001746: POP 00001747: POP 00001748: SWAP2 00001749: SWAP1 0000174a: POP 0000174b: JUMP 0000174c: JUMPDEST 0000174d: PUSH1 0x05 0000174f: SLOAD 00001750: DUP2 00001751: JUMP 00001752: JUMPDEST 00001753: ADDRESS 00001754: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001769: AND 0000176a: CALLER 0000176b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001780: AND 00001781: EQ 00001782: ISZERO 00001783: ISZERO 00001784: PUSH2 0x178c 00001787: JUMPI 00001788: PUSH1 0x00 0000178a: DUP1 0000178b: REVERT 0000178c: JUMPDEST 0000178d: PUSH1 0x03 0000178f: DUP1 00001790: SLOAD 00001791: SWAP1 00001792: POP 00001793: DUP2 00001794: PUSH1 0x00 00001796: DUP1 00001797: PUSH1 0x00 00001799: DUP1 0000179a: PUSH1 0x32 0000179c: DUP7 0000179d: GT 0000179e: ISZERO 0000179f: SWAP4 000017a0: POP 000017a1: PUSH1 0x00 000017a3: DUP7 000017a4: EQ 000017a5: ISZERO 000017a6: SWAP3 000017a7: POP 000017a8: DUP6 000017a9: DUP6 000017aa: GT 000017ab: ISZERO 000017ac: SWAP2 000017ad: POP 000017ae: PUSH1 0x00 000017b0: DUP6 000017b1: EQ 000017b2: ISZERO 000017b3: SWAP1 000017b4: POP 000017b5: DUP4 000017b6: DUP1 000017b7: ISZERO 000017b8: PUSH2 0x17be 000017bb: JUMPI 000017bc: POP 000017bd: DUP3 000017be: JUMPDEST 000017bf: DUP1 000017c0: ISZERO 000017c1: PUSH2 0x17c7 000017c4: JUMPI 000017c5: POP 000017c6: DUP2 000017c7: JUMPDEST 000017c8: DUP1 000017c9: ISZERO 000017ca: PUSH2 0x17d0 000017cd: JUMPI 000017ce: POP 000017cf: DUP1 000017d0: JUMPDEST 000017d1: ISZERO 000017d2: ISZERO 000017d3: PUSH2 0x17db 000017d6: JUMPI 000017d7: PUSH1 0x00 000017d9: DUP1 000017da: REVERT 000017db: JUMPDEST 000017dc: DUP7 000017dd: PUSH1 0x04 000017df: DUP2 000017e0: SWAP1 000017e1: SSTORE 000017e2: POP 000017e3: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 00001804: DUP8 00001805: PUSH1 0x40 00001807: MLOAD 00001808: DUP1 00001809: DUP3 0000180a: DUP2 0000180b: MSTORE 0000180c: PUSH1 0x20 0000180e: ADD 0000180f: SWAP2 00001810: POP 00001811: POP 00001812: PUSH1 0x40 00001814: MLOAD 00001815: DUP1 00001816: SWAP2 00001817: SUB 00001818: SWAP1 00001819: LOG1 0000181a: POP 0000181b: POP 0000181c: POP 0000181d: POP 0000181e: POP 0000181f: POP 00001820: POP 00001821: JUMP 00001822: JUMPDEST 00001823: CALLER 00001824: PUSH1 0x02 00001826: PUSH1 0x00 00001828: DUP3 00001829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000183e: AND 0000183f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001854: AND 00001855: DUP2 00001856: MSTORE 00001857: PUSH1 0x20 00001859: ADD 0000185a: SWAP1 0000185b: DUP2 0000185c: MSTORE 0000185d: PUSH1 0x20 0000185f: ADD 00001860: PUSH1 0x00 00001862: KECCAK256 00001863: PUSH1 0x00 00001865: SWAP1 00001866: SLOAD 00001867: SWAP1 00001868: PUSH2 0x0100 0000186b: EXP 0000186c: SWAP1 0000186d: DIV 0000186e: PUSH1 0xff 00001870: AND 00001871: ISZERO 00001872: ISZERO 00001873: PUSH2 0x187b 00001876: JUMPI 00001877: PUSH1 0x00 00001879: DUP1 0000187a: REVERT 0000187b: JUMPDEST 0000187c: DUP2 0000187d: PUSH1 0x00 0000187f: DUP1 00001880: PUSH1 0x00 00001882: DUP4 00001883: DUP2 00001884: MSTORE 00001885: PUSH1 0x20 00001887: ADD 00001888: SWAP1 00001889: DUP2 0000188a: MSTORE 0000188b: PUSH1 0x20 0000188d: ADD 0000188e: PUSH1 0x00 00001890: KECCAK256 00001891: PUSH1 0x00 00001893: ADD 00001894: PUSH1 0x00 00001896: SWAP1 00001897: SLOAD 00001898: SWAP1 00001899: PUSH2 0x0100 0000189c: EXP 0000189d: SWAP1 0000189e: DIV 0000189f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b4: AND 000018b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ca: AND 000018cb: EQ 000018cc: ISZERO 000018cd: ISZERO 000018ce: ISZERO 000018cf: PUSH2 0x18d7 000018d2: JUMPI 000018d3: PUSH1 0x00 000018d5: DUP1 000018d6: REVERT 000018d7: JUMPDEST 000018d8: DUP3 000018d9: CALLER 000018da: PUSH1 0x01 000018dc: PUSH1 0x00 000018de: DUP4 000018df: DUP2 000018e0: MSTORE 000018e1: PUSH1 0x20 000018e3: ADD 000018e4: SWAP1 000018e5: DUP2 000018e6: MSTORE 000018e7: PUSH1 0x20 000018e9: ADD 000018ea: PUSH1 0x00 000018ec: KECCAK256 000018ed: PUSH1 0x00 000018ef: DUP3 000018f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001905: AND 00001906: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000191b: AND 0000191c: DUP2 0000191d: MSTORE 0000191e: PUSH1 0x20 00001920: ADD 00001921: SWAP1 00001922: DUP2 00001923: MSTORE 00001924: PUSH1 0x20 00001926: ADD 00001927: PUSH1 0x00 00001929: KECCAK256 0000192a: PUSH1 0x00 0000192c: SWAP1 0000192d: SLOAD 0000192e: SWAP1 0000192f: PUSH2 0x0100 00001932: EXP 00001933: SWAP1 00001934: DIV 00001935: PUSH1 0xff 00001937: AND 00001938: ISZERO 00001939: ISZERO 0000193a: ISZERO 0000193b: PUSH2 0x1943 0000193e: JUMPI 0000193f: PUSH1 0x00 00001941: DUP1 00001942: REVERT 00001943: JUMPDEST 00001944: PUSH1 0x01 00001946: DUP1 00001947: PUSH1 0x00 00001949: DUP8 0000194a: DUP2 0000194b: MSTORE 0000194c: PUSH1 0x20 0000194e: ADD 0000194f: SWAP1 00001950: DUP2 00001951: MSTORE 00001952: PUSH1 0x20 00001954: ADD 00001955: PUSH1 0x00 00001957: KECCAK256 00001958: PUSH1 0x00 0000195a: CALLER 0000195b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001970: AND 00001971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001986: AND 00001987: DUP2 00001988: MSTORE 00001989: PUSH1 0x20 0000198b: ADD 0000198c: SWAP1 0000198d: DUP2 0000198e: MSTORE 0000198f: PUSH1 0x20 00001991: ADD 00001992: PUSH1 0x00 00001994: KECCAK256 00001995: PUSH1 0x00 00001997: PUSH2 0x0100 0000199a: EXP 0000199b: DUP2 0000199c: SLOAD 0000199d: DUP2 0000199e: PUSH1 0xff 000019a0: MUL 000019a1: NOT 000019a2: AND 000019a3: SWAP1 000019a4: DUP4 000019a5: ISZERO 000019a6: ISZERO 000019a7: MUL 000019a8: OR 000019a9: SWAP1 000019aa: SSTORE 000019ab: POP 000019ac: DUP5 000019ad: CALLER 000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c3: AND 000019c4: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 000019e5: PUSH1 0x40 000019e7: MLOAD 000019e8: PUSH1 0x40 000019ea: MLOAD 000019eb: DUP1 000019ec: SWAP2 000019ed: SUB 000019ee: SWAP1 000019ef: LOG3 000019f0: PUSH2 0x19f8 000019f3: DUP6 000019f4: PUSH2 0x1d3e 000019f7: JUMP 000019f8: JUMPDEST 000019f9: POP 000019fa: POP 000019fb: POP 000019fc: POP 000019fd: POP 000019fe: JUMP 000019ff: JUMPDEST 00001a00: PUSH1 0x00 00001a02: PUSH2 0x1a0c 00001a05: DUP5 00001a06: DUP5 00001a07: DUP5 00001a08: PUSH2 0x1fbd 00001a0b: JUMP 00001a0c: JUMPDEST 00001a0d: SWAP1 00001a0e: POP 00001a0f: PUSH2 0x1a17 00001a12: DUP2 00001a13: PUSH2 0x1822 00001a16: JUMP 00001a17: JUMPDEST 00001a18: SWAP4 00001a19: SWAP3 00001a1a: POP 00001a1b: POP 00001a1c: POP 00001a1d: JUMP 00001a1e: JUMPDEST 00001a1f: PUSH1 0x32 00001a21: DUP2 00001a22: JUMP 00001a23: JUMPDEST 00001a24: PUSH1 0x04 00001a26: SLOAD 00001a27: DUP2 00001a28: JUMP 00001a29: JUMPDEST 00001a2a: PUSH1 0x00 00001a2c: ADDRESS 00001a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a42: AND 00001a43: CALLER 00001a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a59: AND 00001a5a: EQ 00001a5b: ISZERO 00001a5c: ISZERO 00001a5d: PUSH2 0x1a65 00001a60: JUMPI 00001a61: PUSH1 0x00 00001a63: DUP1 00001a64: REVERT 00001a65: JUMPDEST 00001a66: DUP3 00001a67: PUSH1 0x02 00001a69: PUSH1 0x00 00001a6b: DUP3 00001a6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a81: AND 00001a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a97: AND 00001a98: DUP2 00001a99: MSTORE 00001a9a: PUSH1 0x20 00001a9c: ADD 00001a9d: SWAP1 00001a9e: DUP2 00001a9f: MSTORE 00001aa0: PUSH1 0x20 00001aa2: ADD 00001aa3: PUSH1 0x00 00001aa5: KECCAK256 00001aa6: PUSH1 0x00 00001aa8: SWAP1 00001aa9: SLOAD 00001aaa: SWAP1 00001aab: PUSH2 0x0100 00001aae: EXP 00001aaf: SWAP1 00001ab0: DIV 00001ab1: PUSH1 0xff 00001ab3: AND 00001ab4: ISZERO 00001ab5: ISZERO 00001ab6: PUSH2 0x1abe 00001ab9: JUMPI 00001aba: PUSH1 0x00 00001abc: DUP1 00001abd: REVERT 00001abe: JUMPDEST 00001abf: DUP3 00001ac0: PUSH1 0x02 00001ac2: PUSH1 0x00 00001ac4: DUP3 00001ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ada: AND 00001adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af0: AND 00001af1: DUP2 00001af2: MSTORE 00001af3: PUSH1 0x20 00001af5: ADD 00001af6: SWAP1 00001af7: DUP2 00001af8: MSTORE 00001af9: PUSH1 0x20 00001afb: ADD 00001afc: PUSH1 0x00 00001afe: KECCAK256 00001aff: PUSH1 0x00 00001b01: SWAP1 00001b02: SLOAD 00001b03: SWAP1 00001b04: PUSH2 0x0100 00001b07: EXP 00001b08: SWAP1 00001b09: DIV 00001b0a: PUSH1 0xff 00001b0c: AND 00001b0d: ISZERO 00001b0e: ISZERO 00001b0f: ISZERO 00001b10: PUSH2 0x1b18 00001b13: JUMPI 00001b14: PUSH1 0x00 00001b16: DUP1 00001b17: REVERT 00001b18: JUMPDEST 00001b19: PUSH1 0x00 00001b1b: SWAP3 00001b1c: POP 00001b1d: JUMPDEST 00001b1e: PUSH1 0x03 00001b20: DUP1 00001b21: SLOAD 00001b22: SWAP1 00001b23: POP 00001b24: DUP4 00001b25: LT 00001b26: ISZERO 00001b27: PUSH2 0x1c01 00001b2a: JUMPI 00001b2b: DUP5 00001b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b41: AND 00001b42: PUSH1 0x03 00001b44: DUP5 00001b45: DUP2 00001b46: SLOAD 00001b47: DUP2 00001b48: LT 00001b49: ISZERO 00001b4a: ISZERO 00001b4b: PUSH2 0x1b50 00001b4e: JUMPI 00001b4f: INVALID 00001b50: JUMPDEST 00001b51: SWAP1 00001b52: PUSH1 0x00 00001b54: MSTORE 00001b55: PUSH1 0x20 00001b57: PUSH1 0x00 00001b59: KECCAK256 00001b5a: ADD 00001b5b: PUSH1 0x00 00001b5d: SWAP1 00001b5e: SLOAD 00001b5f: SWAP1 00001b60: PUSH2 0x0100 00001b63: EXP 00001b64: SWAP1 00001b65: DIV 00001b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b7b: AND 00001b7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b91: AND 00001b92: EQ 00001b93: ISZERO 00001b94: PUSH2 0x1bf4 00001b97: JUMPI 00001b98: DUP4 00001b99: PUSH1 0x03 00001b9b: DUP5 00001b9c: DUP2 00001b9d: SLOAD 00001b9e: DUP2 00001b9f: LT 00001ba0: ISZERO 00001ba1: ISZERO 00001ba2: PUSH2 0x1ba7 00001ba5: JUMPI 00001ba6: INVALID 00001ba7: JUMPDEST 00001ba8: SWAP1 00001ba9: PUSH1 0x00 00001bab: MSTORE 00001bac: PUSH1 0x20 00001bae: PUSH1 0x00 00001bb0: KECCAK256 00001bb1: ADD 00001bb2: PUSH1 0x00 00001bb4: PUSH2 0x0100 00001bb7: EXP 00001bb8: DUP2 00001bb9: SLOAD 00001bba: DUP2 00001bbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd0: MUL 00001bd1: NOT 00001bd2: AND 00001bd3: SWAP1 00001bd4: DUP4 00001bd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bea: AND 00001beb: MUL 00001bec: OR 00001bed: SWAP1 00001bee: SSTORE 00001bef: POP 00001bf0: PUSH2 0x1c01 00001bf3: JUMP 00001bf4: JUMPDEST 00001bf5: DUP3 00001bf6: DUP1 00001bf7: PUSH1 0x01 00001bf9: ADD 00001bfa: SWAP4 00001bfb: POP 00001bfc: POP 00001bfd: PUSH2 0x1b1d 00001c00: JUMP 00001c01: JUMPDEST 00001c02: PUSH1 0x00 00001c04: PUSH1 0x02 00001c06: PUSH1 0x00 00001c08: DUP8 00001c09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c1e: AND 00001c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c34: AND 00001c35: DUP2 00001c36: MSTORE 00001c37: PUSH1 0x20 00001c39: ADD 00001c3a: SWAP1 00001c3b: DUP2 00001c3c: MSTORE 00001c3d: PUSH1 0x20 00001c3f: ADD 00001c40: PUSH1 0x00 00001c42: KECCAK256 00001c43: PUSH1 0x00 00001c45: PUSH2 0x0100 00001c48: EXP 00001c49: DUP2 00001c4a: SLOAD 00001c4b: DUP2 00001c4c: PUSH1 0xff 00001c4e: MUL 00001c4f: NOT 00001c50: AND 00001c51: SWAP1 00001c52: DUP4 00001c53: ISZERO 00001c54: ISZERO 00001c55: MUL 00001c56: OR 00001c57: SWAP1 00001c58: SSTORE 00001c59: POP 00001c5a: PUSH1 0x01 00001c5c: PUSH1 0x02 00001c5e: PUSH1 0x00 00001c60: DUP7 00001c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c76: AND 00001c77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c8c: AND 00001c8d: DUP2 00001c8e: MSTORE 00001c8f: PUSH1 0x20 00001c91: ADD 00001c92: SWAP1 00001c93: DUP2 00001c94: MSTORE 00001c95: PUSH1 0x20 00001c97: ADD 00001c98: PUSH1 0x00 00001c9a: KECCAK256 00001c9b: PUSH1 0x00 00001c9d: PUSH2 0x0100 00001ca0: EXP 00001ca1: DUP2 00001ca2: SLOAD 00001ca3: DUP2 00001ca4: PUSH1 0xff 00001ca6: MUL 00001ca7: NOT 00001ca8: AND 00001ca9: SWAP1 00001caa: DUP4 00001cab: ISZERO 00001cac: ISZERO 00001cad: MUL 00001cae: OR 00001caf: SWAP1 00001cb0: SSTORE 00001cb1: POP 00001cb2: DUP5 00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc8: AND 00001cc9: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 00001cea: PUSH1 0x40 00001cec: MLOAD 00001ced: PUSH1 0x40 00001cef: MLOAD 00001cf0: DUP1 00001cf1: SWAP2 00001cf2: SUB 00001cf3: SWAP1 00001cf4: LOG2 00001cf5: DUP4 00001cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d0b: AND 00001d0c: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001d2d: PUSH1 0x40 00001d2f: MLOAD 00001d30: PUSH1 0x40 00001d32: MLOAD 00001d33: DUP1 00001d34: SWAP2 00001d35: SUB 00001d36: SWAP1 00001d37: LOG2 00001d38: POP 00001d39: POP 00001d3a: POP 00001d3b: POP 00001d3c: POP 00001d3d: JUMP 00001d3e: JUMPDEST 00001d3f: PUSH1 0x00 00001d41: CALLER 00001d42: PUSH1 0x02 00001d44: PUSH1 0x00 00001d46: DUP3 00001d47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d5c: AND 00001d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d72: AND 00001d73: DUP2 00001d74: MSTORE 00001d75: PUSH1 0x20 00001d77: ADD 00001d78: SWAP1 00001d79: DUP2 00001d7a: MSTORE 00001d7b: PUSH1 0x20 00001d7d: ADD 00001d7e: PUSH1 0x00 00001d80: KECCAK256 00001d81: PUSH1 0x00 00001d83: SWAP1 00001d84: SLOAD 00001d85: SWAP1 00001d86: PUSH2 0x0100 00001d89: EXP 00001d8a: SWAP1 00001d8b: DIV 00001d8c: PUSH1 0xff 00001d8e: AND 00001d8f: ISZERO 00001d90: ISZERO 00001d91: PUSH2 0x1d99 00001d94: JUMPI 00001d95: PUSH1 0x00 00001d97: DUP1 00001d98: REVERT 00001d99: JUMPDEST 00001d9a: DUP3 00001d9b: CALLER 00001d9c: PUSH1 0x01 00001d9e: PUSH1 0x00 00001da0: DUP4 00001da1: DUP2 00001da2: MSTORE 00001da3: PUSH1 0x20 00001da5: ADD 00001da6: SWAP1 00001da7: DUP2 00001da8: MSTORE 00001da9: PUSH1 0x20 00001dab: ADD 00001dac: PUSH1 0x00 00001dae: KECCAK256 00001daf: PUSH1 0x00 00001db1: DUP3 00001db2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc7: AND 00001dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ddd: AND 00001dde: DUP2 00001ddf: MSTORE 00001de0: PUSH1 0x20 00001de2: ADD 00001de3: SWAP1 00001de4: DUP2 00001de5: MSTORE 00001de6: PUSH1 0x20 00001de8: ADD 00001de9: PUSH1 0x00 00001deb: KECCAK256 00001dec: PUSH1 0x00 00001dee: SWAP1 00001def: SLOAD 00001df0: SWAP1 00001df1: PUSH2 0x0100 00001df4: EXP 00001df5: SWAP1 00001df6: DIV 00001df7: PUSH1 0xff 00001df9: AND 00001dfa: ISZERO 00001dfb: ISZERO 00001dfc: PUSH2 0x1e04 00001dff: JUMPI 00001e00: PUSH1 0x00 00001e02: DUP1 00001e03: REVERT 00001e04: JUMPDEST 00001e05: DUP5 00001e06: PUSH1 0x00 00001e08: DUP1 00001e09: DUP3 00001e0a: DUP2 00001e0b: MSTORE 00001e0c: PUSH1 0x20 00001e0e: ADD 00001e0f: SWAP1 00001e10: DUP2 00001e11: MSTORE 00001e12: PUSH1 0x20 00001e14: ADD 00001e15: PUSH1 0x00 00001e17: KECCAK256 00001e18: PUSH1 0x03 00001e1a: ADD 00001e1b: PUSH1 0x00 00001e1d: SWAP1 00001e1e: SLOAD 00001e1f: SWAP1 00001e20: PUSH2 0x0100 00001e23: EXP 00001e24: SWAP1 00001e25: DIV 00001e26: PUSH1 0xff 00001e28: AND 00001e29: ISZERO 00001e2a: ISZERO 00001e2b: ISZERO 00001e2c: PUSH2 0x1e34 00001e2f: JUMPI 00001e30: PUSH1 0x00 00001e32: DUP1 00001e33: REVERT 00001e34: JUMPDEST 00001e35: PUSH2 0x1e3d 00001e38: DUP7 00001e39: PUSH2 0x106b 00001e3c: JUMP 00001e3d: JUMPDEST 00001e3e: ISZERO 00001e3f: PUSH2 0x1fb5 00001e42: JUMPI 00001e43: PUSH1 0x00 00001e45: DUP1 00001e46: DUP8 00001e47: DUP2 00001e48: MSTORE 00001e49: PUSH1 0x20 00001e4b: ADD 00001e4c: SWAP1 00001e4d: DUP2 00001e4e: MSTORE 00001e4f: PUSH1 0x20 00001e51: ADD 00001e52: PUSH1 0x00 00001e54: KECCAK256 00001e55: SWAP5 00001e56: POP 00001e57: PUSH1 0x01 00001e59: DUP6 00001e5a: PUSH1 0x03 00001e5c: ADD 00001e5d: PUSH1 0x00 00001e5f: PUSH2 0x0100 00001e62: EXP 00001e63: DUP2 00001e64: SLOAD 00001e65: DUP2 00001e66: PUSH1 0xff 00001e68: MUL 00001e69: NOT 00001e6a: AND 00001e6b: SWAP1 00001e6c: DUP4 00001e6d: ISZERO 00001e6e: ISZERO 00001e6f: MUL 00001e70: OR 00001e71: SWAP1 00001e72: SSTORE 00001e73: POP 00001e74: DUP5 00001e75: PUSH1 0x00 00001e77: ADD 00001e78: PUSH1 0x00 00001e7a: SWAP1 00001e7b: SLOAD 00001e7c: SWAP1 00001e7d: PUSH2 0x0100 00001e80: EXP 00001e81: SWAP1 00001e82: DIV 00001e83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e98: AND 00001e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eae: AND 00001eaf: DUP6 00001eb0: PUSH1 0x01 00001eb2: ADD 00001eb3: SLOAD 00001eb4: DUP7 00001eb5: PUSH1 0x02 00001eb7: ADD 00001eb8: PUSH1 0x40 00001eba: MLOAD 00001ebb: DUP1 00001ebc: DUP3 00001ebd: DUP1 00001ebe: SLOAD 00001ebf: PUSH1 0x01 00001ec1: DUP2 00001ec2: PUSH1 0x01 00001ec4: AND 00001ec5: ISZERO 00001ec6: PUSH2 0x0100 00001ec9: MUL 00001eca: SUB 00001ecb: AND 00001ecc: PUSH1 0x02 00001ece: SWAP1 00001ecf: DIV 00001ed0: DUP1 00001ed1: ISZERO 00001ed2: PUSH2 0x1f1c 00001ed5: JUMPI 00001ed6: DUP1 00001ed7: PUSH1 0x1f 00001ed9: LT 00001eda: PUSH2 0x1ef1 00001edd: JUMPI 00001ede: PUSH2 0x0100 00001ee1: DUP1 00001ee2: DUP4 00001ee3: SLOAD 00001ee4: DIV 00001ee5: MUL 00001ee6: DUP4 00001ee7: MSTORE 00001ee8: SWAP2 00001ee9: PUSH1 0x20 00001eeb: ADD 00001eec: SWAP2 00001eed: PUSH2 0x1f1c 00001ef0: JUMP 00001ef1: JUMPDEST 00001ef2: DUP3 00001ef3: ADD 00001ef4: SWAP2 00001ef5: SWAP1 00001ef6: PUSH1 0x00 00001ef8: MSTORE 00001ef9: PUSH1 0x20 00001efb: PUSH1 0x00 00001efd: KECCAK256 00001efe: SWAP1 00001eff: JUMPDEST 00001f00: DUP2 00001f01: SLOAD 00001f02: DUP2 00001f03: MSTORE 00001f04: SWAP1 00001f05: PUSH1 0x01 00001f07: ADD 00001f08: SWAP1 00001f09: PUSH1 0x20 00001f0b: ADD 00001f0c: DUP1 00001f0d: DUP4 00001f0e: GT 00001f0f: PUSH2 0x1eff 00001f12: JUMPI 00001f13: DUP3 00001f14: SWAP1 00001f15: SUB 00001f16: PUSH1 0x1f 00001f18: AND 00001f19: DUP3 00001f1a: ADD 00001f1b: SWAP2 00001f1c: JUMPDEST 00001f1d: POP 00001f1e: POP 00001f1f: SWAP2 00001f20: POP 00001f21: POP 00001f22: PUSH1 0x00 00001f24: PUSH1 0x40 00001f26: MLOAD 00001f27: DUP1 00001f28: DUP4 00001f29: SUB 00001f2a: DUP2 00001f2b: DUP6 00001f2c: DUP8 00001f2d: GAS 00001f2e: CALL 00001f2f: SWAP3 00001f30: POP 00001f31: POP 00001f32: POP 00001f33: ISZERO 00001f34: PUSH2 0x1f69 00001f37: JUMPI 00001f38: DUP6 00001f39: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 00001f5a: PUSH1 0x40 00001f5c: MLOAD 00001f5d: PUSH1 0x40 00001f5f: MLOAD 00001f60: DUP1 00001f61: SWAP2 00001f62: SUB 00001f63: SWAP1 00001f64: LOG2 00001f65: PUSH2 0x1fb4 00001f68: JUMP 00001f69: JUMPDEST 00001f6a: DUP6 00001f6b: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 00001f8c: PUSH1 0x40 00001f8e: MLOAD 00001f8f: PUSH1 0x40 00001f91: MLOAD 00001f92: DUP1 00001f93: SWAP2 00001f94: SUB 00001f95: SWAP1 00001f96: LOG2 00001f97: PUSH1 0x00 00001f99: DUP6 00001f9a: PUSH1 0x03 00001f9c: ADD 00001f9d: PUSH1 0x00 00001f9f: PUSH2 0x0100 00001fa2: EXP 00001fa3: DUP2 00001fa4: SLOAD 00001fa5: DUP2 00001fa6: PUSH1 0xff 00001fa8: MUL 00001fa9: NOT 00001faa: AND 00001fab: SWAP1 00001fac: DUP4 00001fad: ISZERO 00001fae: ISZERO 00001faf: MUL 00001fb0: OR 00001fb1: SWAP1 00001fb2: SSTORE 00001fb3: POP 00001fb4: JUMPDEST 00001fb5: JUMPDEST 00001fb6: POP 00001fb7: POP 00001fb8: POP 00001fb9: POP 00001fba: POP 00001fbb: POP 00001fbc: JUMP 00001fbd: JUMPDEST 00001fbe: PUSH1 0x00 00001fc0: DUP4 00001fc1: PUSH1 0x00 00001fc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fd8: AND 00001fd9: DUP2 00001fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fef: AND 00001ff0: EQ 00001ff1: ISZERO 00001ff2: ISZERO 00001ff3: ISZERO 00001ff4: PUSH2 0x1ffc 00001ff7: JUMPI 00001ff8: PUSH1 0x00 00001ffa: DUP1 00001ffb: REVERT 00001ffc: JUMPDEST 00001ffd: PUSH1 0x05 00001fff: SLOAD 00002000: SWAP2 00002001: POP 00002002: PUSH1 0x80 00002004: PUSH1 0x40 00002006: MLOAD 00002007: SWAP1 00002008: DUP2 00002009: ADD 0000200a: PUSH1 0x40 0000200c: MSTORE 0000200d: DUP1 0000200e: DUP7 0000200f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002024: AND 00002025: DUP2 00002026: MSTORE 00002027: PUSH1 0x20 00002029: ADD 0000202a: DUP6 0000202b: DUP2 0000202c: MSTORE 0000202d: PUSH1 0x20 0000202f: ADD 00002030: DUP5 00002031: DUP2 00002032: MSTORE 00002033: PUSH1 0x20 00002035: ADD 00002036: PUSH1 0x00 00002038: ISZERO 00002039: ISZERO 0000203a: DUP2 0000203b: MSTORE 0000203c: POP 0000203d: PUSH1 0x00 0000203f: DUP1 00002040: DUP5 00002041: DUP2 00002042: MSTORE 00002043: PUSH1 0x20 00002045: ADD 00002046: SWAP1 00002047: DUP2 00002048: MSTORE 00002049: PUSH1 0x20 0000204b: ADD 0000204c: PUSH1 0x00 0000204e: KECCAK256 0000204f: PUSH1 0x00 00002051: DUP3 00002052: ADD 00002053: MLOAD 00002054: DUP2 00002055: PUSH1 0x00 00002057: ADD 00002058: PUSH1 0x00 0000205a: PUSH2 0x0100 0000205d: EXP 0000205e: DUP2 0000205f: SLOAD 00002060: DUP2 00002061: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002076: MUL 00002077: NOT 00002078: AND 00002079: SWAP1 0000207a: DUP4 0000207b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002090: AND 00002091: MUL 00002092: OR 00002093: SWAP1 00002094: SSTORE 00002095: POP 00002096: PUSH1 0x20 00002098: DUP3 00002099: ADD 0000209a: MLOAD 0000209b: DUP2 0000209c: PUSH1 0x01 0000209e: ADD 0000209f: SSTORE 000020a0: PUSH1 0x40 000020a2: DUP3 000020a3: ADD 000020a4: MLOAD 000020a5: DUP2 000020a6: PUSH1 0x02 000020a8: ADD 000020a9: SWAP1 000020aa: DUP1 000020ab: MLOAD 000020ac: SWAP1 000020ad: PUSH1 0x20 000020af: ADD 000020b0: SWAP1 000020b1: PUSH2 0x20bb 000020b4: SWAP3 000020b5: SWAP2 000020b6: SWAP1 000020b7: PUSH2 0x2151 000020ba: JUMP 000020bb: JUMPDEST 000020bc: POP 000020bd: PUSH1 0x60 000020bf: DUP3 000020c0: ADD 000020c1: MLOAD 000020c2: DUP2 000020c3: PUSH1 0x03 000020c5: ADD 000020c6: PUSH1 0x00 000020c8: PUSH2 0x0100 000020cb: EXP 000020cc: DUP2 000020cd: SLOAD 000020ce: DUP2 000020cf: PUSH1 0xff 000020d1: MUL 000020d2: NOT 000020d3: AND 000020d4: SWAP1 000020d5: DUP4 000020d6: ISZERO 000020d7: ISZERO 000020d8: MUL 000020d9: OR 000020da: SWAP1 000020db: SSTORE 000020dc: POP 000020dd: SWAP1 000020de: POP 000020df: POP 000020e0: PUSH1 0x01 000020e2: PUSH1 0x05 000020e4: PUSH1 0x00 000020e6: DUP3 000020e7: DUP3 000020e8: SLOAD 000020e9: ADD 000020ea: SWAP3 000020eb: POP 000020ec: POP 000020ed: DUP2 000020ee: SWAP1 000020ef: SSTORE 000020f0: POP 000020f1: DUP2 000020f2: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 00002113: PUSH1 0x40 00002115: MLOAD 00002116: PUSH1 0x40 00002118: MLOAD 00002119: DUP1 0000211a: SWAP2 0000211b: SUB 0000211c: SWAP1 0000211d: LOG2 0000211e: POP 0000211f: SWAP4 00002120: SWAP3 00002121: POP 00002122: POP 00002123: POP 00002124: JUMP 00002125: JUMPDEST 00002126: DUP2 00002127: SLOAD 00002128: DUP2 00002129: DUP4 0000212a: SSTORE 0000212b: DUP2 0000212c: DUP2 0000212d: GT 0000212e: ISZERO 0000212f: PUSH2 0x214c 00002132: JUMPI 00002133: DUP2 00002134: DUP4 00002135: PUSH1 0x00 00002137: MSTORE 00002138: PUSH1 0x20 0000213a: PUSH1 0x00 0000213c: KECCAK256 0000213d: SWAP2 0000213e: DUP3 0000213f: ADD 00002140: SWAP2 00002141: ADD 00002142: PUSH2 0x214b 00002145: SWAP2 00002146: SWAP1 00002147: PUSH2 0x21d1 0000214a: JUMP 0000214b: JUMPDEST 0000214c: JUMPDEST 0000214d: POP 0000214e: POP 0000214f: POP 00002150: JUMP 00002151: JUMPDEST 00002152: DUP3 00002153: DUP1 00002154: SLOAD 00002155: PUSH1 0x01 00002157: DUP2 00002158: PUSH1 0x01 0000215a: AND 0000215b: ISZERO 0000215c: PUSH2 0x0100 0000215f: MUL 00002160: SUB 00002161: AND 00002162: PUSH1 0x02 00002164: SWAP1 00002165: DIV 00002166: SWAP1 00002167: PUSH1 0x00 00002169: MSTORE 0000216a: PUSH1 0x20 0000216c: PUSH1 0x00 0000216e: KECCAK256 0000216f: SWAP1 00002170: PUSH1 0x1f 00002172: ADD 00002173: PUSH1 0x20 00002175: SWAP1 00002176: DIV 00002177: DUP2 00002178: ADD 00002179: SWAP3 0000217a: DUP3 0000217b: PUSH1 0x1f 0000217d: LT 0000217e: PUSH2 0x2192 00002181: JUMPI 00002182: DUP1 00002183: MLOAD 00002184: PUSH1 0xff 00002186: NOT 00002187: AND 00002188: DUP4 00002189: DUP1 0000218a: ADD 0000218b: OR 0000218c: DUP6 0000218d: SSTORE 0000218e: PUSH2 0x21c0 00002191: JUMP 00002192: JUMPDEST 00002193: DUP3 00002194: DUP1 00002195: ADD 00002196: PUSH1 0x01 00002198: ADD 00002199: DUP6 0000219a: SSTORE 0000219b: DUP3 0000219c: ISZERO 0000219d: PUSH2 0x21c0 000021a0: JUMPI 000021a1: SWAP2 000021a2: DUP3 000021a3: ADD 000021a4: JUMPDEST 000021a5: DUP3 000021a6: DUP2 000021a7: GT 000021a8: ISZERO 000021a9: PUSH2 0x21bf 000021ac: JUMPI 000021ad: DUP3 000021ae: MLOAD 000021af: DUP3 000021b0: SSTORE 000021b1: SWAP2 000021b2: PUSH1 0x20 000021b4: ADD 000021b5: SWAP2 000021b6: SWAP1 000021b7: PUSH1 0x01 000021b9: ADD 000021ba: SWAP1 000021bb: PUSH2 0x21a4 000021be: JUMP 000021bf: JUMPDEST 000021c0: JUMPDEST 000021c1: POP 000021c2: SWAP1 000021c3: POP 000021c4: PUSH2 0x21cd 000021c7: SWAP2 000021c8: SWAP1 000021c9: PUSH2 0x21d1 000021cc: JUMP 000021cd: JUMPDEST 000021ce: POP 000021cf: SWAP1 000021d0: JUMP 000021d1: JUMPDEST 000021d2: PUSH2 0x21f3 000021d5: SWAP2 000021d6: SWAP1 000021d7: JUMPDEST 000021d8: DUP1 000021d9: DUP3 000021da: GT 000021db: ISZERO 000021dc: PUSH2 0x21ef 000021df: JUMPI 000021e0: PUSH1 0x00 000021e2: DUP2 000021e3: PUSH1 0x00 000021e5: SWAP1 000021e6: SSTORE 000021e7: POP 000021e8: PUSH1 0x01 000021ea: ADD 000021eb: PUSH2 0x21d7 000021ee: JUMP 000021ef: JUMPDEST 000021f0: POP 000021f1: SWAP1 000021f2: JUMP 000021f3: JUMPDEST 000021f4: SWAP1 000021f5: JUMP 000021f6: STOP 000021f7: LOG1 000021f8: PUSH6 0x627a7a723058 000021ff: KECCAK256 00002200: UNKNOWN(0xAB) 00002201: PUSH0 00002202: UNKNOWN(0xF7) 00002203: UNKNOWN(0xDD) 00002204: EXTCODEHASH 00002205: UNKNOWN(0xE6) 00002206: PUSH25 0x400930f2e34b7333b05ff49db7837a7b0e41953ebf1df9ff86 00002220: STOP 00002221: UNKNOWN(0x29)
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357
call_targets:
0x112918a54e3ada863cf694970da0756f1eecc68d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x112918a54e3ada863cf694970da0756f1eecc68d"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "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": "0x552079dc",
"selector": "0x552079dc",
"calldata_variants": [
"0x552079dc",
"0x552079dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7982,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2354,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3666,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5994,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6723,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357
call_targets:
0x112918a54e3ada863cf694970da0756f1eecc68d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6630a33fe7d1890e774b3633a172830629a55dc53211ff38e72f6472427b7357",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x112918a54e3ada863cf694970da0756f1eecc68d"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "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": "0x552079dc",
"selector": "0x552079dc",
"calldata_variants": [
"0x552079dc",
"0x552079dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7982,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2354,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3666,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5994,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6723,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|