019b477e-b018-736d-ae46-2312a77912e9
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 |
|---|---|---|---|---|
| 21913 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21914 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 65366 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65367 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65368 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65369 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x02c6 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x061d7e95 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x02d2 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x0988ca8c 0000002d: EQ 0000002e: PUSH2 0x0308 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x15eb24de 00000038: EQ 00000039: PUSH2 0x0371 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x217fe6c6 00000043: EQ 00000044: PUSH2 0x039d 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x2a7d8acb 0000004e: EQ 0000004f: PUSH2 0x0404 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x2b25f99f 00000059: EQ 0000005a: PUSH2 0x048e 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x2e0fb21e 00000064: EQ 00000065: PUSH2 0x04af 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x329694da 0000006f: EQ 00000070: PUSH2 0x04d0 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x3659cfe6 0000007a: EQ 0000007b: PUSH2 0x04f1 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x3a6c6136 00000085: EQ 00000086: PUSH2 0x0512 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x3ba9fd62 00000090: EQ 00000091: PUSH2 0x0526 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x3f4ba83a 0000009b: EQ 0000009c: PUSH2 0x053d 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x4b7e23dc 000000a6: EQ 000000a7: PUSH2 0x0552 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x4fe0ae5e 000000b1: EQ 000000b2: PUSH2 0x0567 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x5056fc30 000000bc: EQ 000000bd: PUSH2 0x0597 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x522f6815 000000c7: EQ 000000c8: PUSH2 0x05ac 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x56e90595 000000d2: EQ 000000d3: PUSH2 0x05c3 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x59cd7d29 000000dd: EQ 000000de: PUSH2 0x05d8 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x5a5d46b0 000000e8: EQ 000000e9: PUSH2 0x05f0 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x5c975abb 000000f3: EQ 000000f4: PUSH2 0x0614 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x60daf4d9 000000fe: EQ 000000ff: PUSH2 0x0629 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x66e3cb68 00000109: EQ 0000010a: PUSH2 0x064a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x66ebd318 00000114: EQ 00000115: PUSH2 0x066b 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x68b058eb 0000011f: EQ 00000120: PUSH2 0x0683 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x6fc0bd40 0000012a: EQ 0000012b: PUSH2 0x0698 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x6ff968c3 00000135: EQ 00000136: PUSH2 0x06b9 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x70ed0ada 00000140: EQ 00000141: PUSH2 0x06ea 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x715018a6 0000014b: EQ 0000014c: PUSH2 0x06ff 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x716af234 00000156: EQ 00000157: PUSH2 0x0714 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x78d14b62 00000161: EQ 00000162: PUSH2 0x072e 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x8456cb59 0000016c: EQ 0000016d: PUSH2 0x0746 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x85e2b880 00000177: EQ 00000178: PUSH2 0x075b 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x88cee87e 00000182: EQ 00000183: PUSH2 0x078b 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x8da5cb5b 0000018d: EQ 0000018e: PUSH2 0x07f2 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0x92177550 00000198: EQ 00000199: PUSH2 0x0807 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0xa0243d11 000001a3: EQ 000001a4: PUSH2 0x0835 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0xa484d4b0 000001ae: EQ 000001af: PUSH2 0x084d 000001b2: JUMPI 000001b3: DUP1 000001b4: PUSH4 0xa883b0c4 000001b9: EQ 000001ba: PUSH2 0x086e 000001bd: JUMPI 000001be: DUP1 000001bf: PUSH4 0xa8ff68b1 000001c4: EQ 000001c5: PUSH2 0x0889 000001c8: JUMPI 000001c9: DUP1 000001ca: PUSH4 0xb0a63b93 000001cf: EQ 000001d0: PUSH2 0x08aa 000001d3: JUMPI 000001d4: DUP1 000001d5: PUSH4 0xb1d78b09 000001da: EQ 000001db: PUSH2 0x08cb 000001de: JUMPI 000001df: DUP1 000001e0: PUSH4 0xb25fa92c 000001e5: EQ 000001e6: PUSH2 0x08e0 000001e9: JUMPI 000001ea: DUP1 000001eb: PUSH4 0xb719d032 000001f0: EQ 000001f1: PUSH2 0x0947 000001f4: JUMPI 000001f5: DUP1 000001f6: PUSH4 0xb91412a9 000001fb: EQ 000001fc: PUSH2 0x095c 000001ff: JUMPI 00000200: DUP1 00000201: PUSH4 0xb9ab0b14 00000206: EQ 00000207: PUSH2 0x0971 0000020a: JUMPI 0000020b: DUP1 0000020c: PUSH4 0xbd7fa426 00000211: EQ 00000212: PUSH2 0x0986 00000215: JUMPI 00000216: DUP1 00000217: PUSH4 0xc6df47c1 0000021c: EQ 0000021d: PUSH2 0x09a7 00000220: JUMPI 00000221: DUP1 00000222: PUSH4 0xc7178230 00000227: EQ 00000228: PUSH2 0x09bc 0000022b: JUMPI 0000022c: DUP1 0000022d: PUSH4 0xc9afcbf9 00000232: EQ 00000233: PUSH2 0x09d1 00000236: JUMPI 00000237: DUP1 00000238: PUSH4 0xccf24884 0000023d: EQ 0000023e: PUSH2 0x0a2a 00000241: JUMPI 00000242: DUP1 00000243: PUSH4 0xd391014b 00000248: EQ 00000249: PUSH2 0x0a3f 0000024c: JUMPI 0000024d: DUP1 0000024e: PUSH4 0xd70d15fd 00000253: EQ 00000254: PUSH2 0x0a54 00000257: JUMPI 00000258: DUP1 00000259: PUSH4 0xdccae95c 0000025e: EQ 0000025f: PUSH2 0x0a69 00000262: JUMPI 00000263: DUP1 00000264: PUSH4 0xdf7cdcae 00000269: EQ 0000026a: PUSH2 0x0a8a 0000026d: JUMPI 0000026e: DUP1 0000026f: PUSH4 0xe4b9b4e4 00000274: EQ 00000275: PUSH2 0x0aab 00000278: JUMPI 00000279: DUP1 0000027a: PUSH4 0xe5a922ac 0000027f: EQ 00000280: PUSH2 0x0ac0 00000283: JUMPI 00000284: DUP1 00000285: PUSH4 0xe71704bb 0000028a: EQ 0000028b: PUSH2 0x0ae1 0000028e: JUMPI 0000028f: DUP1 00000290: PUSH4 0xee2f5a45 00000295: EQ 00000296: PUSH2 0x0b02 00000299: JUMPI 0000029a: DUP1 0000029b: PUSH4 0xf2fde38b 000002a0: EQ 000002a1: PUSH2 0x0b17 000002a4: JUMPI 000002a5: DUP1 000002a6: PUSH4 0xf440a13b 000002ab: EQ 000002ac: PUSH2 0x0b38 000002af: JUMPI 000002b0: DUP1 000002b1: PUSH4 0xf46be8cc 000002b6: EQ 000002b7: PUSH2 0x0b40 000002ba: JUMPI 000002bb: DUP1 000002bc: PUSH4 0xf502da2a 000002c1: EQ 000002c2: PUSH2 0x0b61 000002c5: JUMPI 000002c6: JUMPDEST 000002c7: PUSH2 0x02cf 000002ca: CALLER 000002cb: PUSH2 0x0bba 000002ce: JUMP 000002cf: JUMPDEST 000002d0: POP 000002d1: STOP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: DUP1 000002d5: ISZERO 000002d6: PUSH2 0x02de 000002d9: JUMPI 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x02f6 000002e3: PUSH1 0x01 000002e5: PUSH1 0xa0 000002e7: PUSH1 0x02 000002e9: EXP 000002ea: SUB 000002eb: PUSH1 0x04 000002ed: CALLDATALOAD 000002ee: AND 000002ef: PUSH1 0x24 000002f1: CALLDATALOAD 000002f2: PUSH2 0x0cec 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH1 0x40 000002f9: DUP1 000002fa: MLOAD 000002fb: SWAP2 000002fc: DUP3 000002fd: MSTORE 000002fe: MLOAD 000002ff: SWAP1 00000300: DUP2 00000301: SWAP1 00000302: SUB 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: RETURN 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH1 0x40 00000318: DUP1 00000319: MLOAD 0000031a: PUSH1 0x20 0000031c: PUSH1 0x04 0000031e: PUSH1 0x24 00000320: DUP1 00000321: CALLDATALOAD 00000322: DUP3 00000323: DUP2 00000324: ADD 00000325: CALLDATALOAD 00000326: PUSH1 0x1f 00000328: DUP2 00000329: ADD 0000032a: DUP6 0000032b: SWAP1 0000032c: DIV 0000032d: DUP6 0000032e: MUL 0000032f: DUP7 00000330: ADD 00000331: DUP6 00000332: ADD 00000333: SWAP1 00000334: SWAP7 00000335: MSTORE 00000336: DUP6 00000337: DUP6 00000338: MSTORE 00000339: PUSH2 0x036f 0000033c: SWAP6 0000033d: DUP4 0000033e: CALLDATALOAD 0000033f: PUSH1 0x01 00000341: PUSH1 0xa0 00000343: PUSH1 0x02 00000345: EXP 00000346: SUB 00000347: AND 00000348: SWAP6 00000349: CALLDATASIZE 0000034a: SWAP6 0000034b: PUSH1 0x44 0000034d: SWAP5 0000034e: SWAP2 0000034f: SWAP4 00000350: SWAP1 00000351: SWAP2 00000352: ADD 00000353: SWAP2 00000354: SWAP1 00000355: DUP2 00000356: SWAP1 00000357: DUP5 00000358: ADD 00000359: DUP4 0000035a: DUP3 0000035b: DUP1 0000035c: DUP3 0000035d: DUP5 0000035e: CALLDATACOPY 0000035f: POP 00000360: SWAP5 00000361: SWAP8 00000362: POP 00000363: PUSH2 0x0db9 00000366: SWAP7 00000367: POP 00000368: POP 00000369: POP 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: POP 0000036e: JUMP 0000036f: JUMPDEST 00000370: STOP 00000371: JUMPDEST 00000372: CALLVALUE 00000373: DUP1 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: POP 0000037f: PUSH2 0x0389 00000382: PUSH1 0x04 00000384: CALLDATALOAD 00000385: PUSH2 0x0e27 00000388: JUMP 00000389: JUMPDEST 0000038a: PUSH1 0x40 0000038c: DUP1 0000038d: MLOAD 0000038e: SWAP2 0000038f: ISZERO 00000390: ISZERO 00000391: DUP3 00000392: MSTORE 00000393: MLOAD 00000394: SWAP1 00000395: DUP2 00000396: SWAP1 00000397: SUB 00000398: PUSH1 0x20 0000039a: ADD 0000039b: SWAP1 0000039c: RETURN 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: DUP1 000003a0: ISZERO 000003a1: PUSH2 0x03a9 000003a4: JUMPI 000003a5: PUSH1 0x00 000003a7: DUP1 000003a8: REVERT 000003a9: JUMPDEST 000003aa: POP 000003ab: PUSH1 0x40 000003ad: DUP1 000003ae: MLOAD 000003af: PUSH1 0x20 000003b1: PUSH1 0x04 000003b3: PUSH1 0x24 000003b5: DUP1 000003b6: CALLDATALOAD 000003b7: DUP3 000003b8: DUP2 000003b9: ADD 000003ba: CALLDATALOAD 000003bb: PUSH1 0x1f 000003bd: DUP2 000003be: ADD 000003bf: DUP6 000003c0: SWAP1 000003c1: DIV 000003c2: DUP6 000003c3: MUL 000003c4: DUP7 000003c5: ADD 000003c6: DUP6 000003c7: ADD 000003c8: SWAP1 000003c9: SWAP7 000003ca: MSTORE 000003cb: DUP6 000003cc: DUP6 000003cd: MSTORE 000003ce: PUSH2 0x0389 000003d1: SWAP6 000003d2: DUP4 000003d3: CALLDATALOAD 000003d4: PUSH1 0x01 000003d6: PUSH1 0xa0 000003d8: PUSH1 0x02 000003da: EXP 000003db: SUB 000003dc: AND 000003dd: SWAP6 000003de: CALLDATASIZE 000003df: SWAP6 000003e0: PUSH1 0x44 000003e2: SWAP5 000003e3: SWAP2 000003e4: SWAP4 000003e5: SWAP1 000003e6: SWAP2 000003e7: ADD 000003e8: SWAP2 000003e9: SWAP1 000003ea: DUP2 000003eb: SWAP1 000003ec: DUP5 000003ed: ADD 000003ee: DUP4 000003ef: DUP3 000003f0: DUP1 000003f1: DUP3 000003f2: DUP5 000003f3: CALLDATACOPY 000003f4: POP 000003f5: SWAP5 000003f6: SWAP8 000003f7: POP 000003f8: PUSH2 0x0e57 000003fb: SWAP7 000003fc: POP 000003fd: POP 000003fe: POP 000003ff: POP 00000400: POP 00000401: POP 00000402: POP 00000403: JUMP 00000404: JUMPDEST 00000405: CALLVALUE 00000406: DUP1 00000407: ISZERO 00000408: PUSH2 0x0410 0000040b: JUMPI 0000040c: PUSH1 0x00 0000040e: DUP1 0000040f: REVERT 00000410: JUMPDEST 00000411: POP 00000412: PUSH2 0x0419 00000415: PUSH2 0x0ec3 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH1 0x40 0000041c: DUP1 0000041d: MLOAD 0000041e: PUSH1 0x20 00000420: DUP1 00000421: DUP3 00000422: MSTORE 00000423: DUP4 00000424: MLOAD 00000425: DUP2 00000426: DUP4 00000427: ADD 00000428: MSTORE 00000429: DUP4 0000042a: MLOAD 0000042b: SWAP2 0000042c: SWAP3 0000042d: DUP4 0000042e: SWAP3 0000042f: SWAP1 00000430: DUP4 00000431: ADD 00000432: SWAP2 00000433: DUP6 00000434: ADD 00000435: SWAP1 00000436: DUP1 00000437: DUP4 00000438: DUP4 00000439: PUSH1 0x00 0000043b: JUMPDEST 0000043c: DUP4 0000043d: DUP2 0000043e: LT 0000043f: ISZERO 00000440: PUSH2 0x0453 00000443: JUMPI 00000444: DUP2 00000445: DUP2 00000446: ADD 00000447: MLOAD 00000448: DUP4 00000449: DUP3 0000044a: ADD 0000044b: MSTORE 0000044c: PUSH1 0x20 0000044e: ADD 0000044f: PUSH2 0x043b 00000452: JUMP 00000453: JUMPDEST 00000454: POP 00000455: POP 00000456: POP 00000457: POP 00000458: SWAP1 00000459: POP 0000045a: SWAP1 0000045b: DUP2 0000045c: ADD 0000045d: SWAP1 0000045e: PUSH1 0x1f 00000460: AND 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x0480 00000466: JUMPI 00000467: DUP1 00000468: DUP3 00000469: SUB 0000046a: DUP1 0000046b: MLOAD 0000046c: PUSH1 0x01 0000046e: DUP4 0000046f: PUSH1 0x20 00000471: SUB 00000472: PUSH2 0x0100 00000475: EXP 00000476: SUB 00000477: NOT 00000478: AND 00000479: DUP2 0000047a: MSTORE 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: SWAP2 0000047f: POP 00000480: JUMPDEST 00000481: POP 00000482: SWAP3 00000483: POP 00000484: POP 00000485: POP 00000486: PUSH1 0x40 00000488: MLOAD 00000489: DUP1 0000048a: SWAP2 0000048b: SUB 0000048c: SWAP1 0000048d: RETURN 0000048e: JUMPDEST 0000048f: CALLVALUE 00000490: DUP1 00000491: ISZERO 00000492: PUSH2 0x049a 00000495: JUMPI 00000496: PUSH1 0x00 00000498: DUP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: POP 0000049c: PUSH2 0x036f 0000049f: PUSH1 0x01 000004a1: PUSH1 0xa0 000004a3: PUSH1 0x02 000004a5: EXP 000004a6: SUB 000004a7: PUSH1 0x04 000004a9: CALLDATALOAD 000004aa: AND 000004ab: PUSH2 0x0efa 000004ae: JUMP 000004af: JUMPDEST 000004b0: CALLVALUE 000004b1: DUP1 000004b2: ISZERO 000004b3: PUSH2 0x04bb 000004b6: JUMPI 000004b7: PUSH1 0x00 000004b9: DUP1 000004ba: REVERT 000004bb: JUMPDEST 000004bc: POP 000004bd: PUSH2 0x036f 000004c0: PUSH1 0x01 000004c2: PUSH1 0xa0 000004c4: PUSH1 0x02 000004c6: EXP 000004c7: SUB 000004c8: PUSH1 0x04 000004ca: CALLDATALOAD 000004cb: AND 000004cc: PUSH2 0x0f3d 000004cf: JUMP 000004d0: JUMPDEST 000004d1: CALLVALUE 000004d2: DUP1 000004d3: ISZERO 000004d4: PUSH2 0x04dc 000004d7: JUMPI 000004d8: PUSH1 0x00 000004da: DUP1 000004db: REVERT 000004dc: JUMPDEST 000004dd: POP 000004de: PUSH2 0x036f 000004e1: PUSH1 0x01 000004e3: PUSH1 0xa0 000004e5: PUSH1 0x02 000004e7: EXP 000004e8: SUB 000004e9: PUSH1 0x04 000004eb: CALLDATALOAD 000004ec: AND 000004ed: PUSH2 0x0f81 000004f0: JUMP 000004f1: JUMPDEST 000004f2: CALLVALUE 000004f3: DUP1 000004f4: ISZERO 000004f5: PUSH2 0x04fd 000004f8: JUMPI 000004f9: PUSH1 0x00 000004fb: DUP1 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: PUSH2 0x0389 00000502: PUSH1 0x01 00000504: PUSH1 0xa0 00000506: PUSH1 0x02 00000508: EXP 00000509: SUB 0000050a: PUSH1 0x04 0000050c: CALLDATALOAD 0000050d: AND 0000050e: PUSH2 0x0fc2 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH2 0x0389 00000516: PUSH1 0x01 00000518: PUSH1 0xa0 0000051a: PUSH1 0x02 0000051c: EXP 0000051d: SUB 0000051e: PUSH1 0x04 00000520: CALLDATALOAD 00000521: AND 00000522: PUSH2 0x0bba 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH2 0x0389 0000052a: PUSH1 0x01 0000052c: PUSH1 0xa0 0000052e: PUSH1 0x02 00000530: EXP 00000531: SUB 00000532: PUSH1 0x04 00000534: CALLDATALOAD 00000535: AND 00000536: PUSH1 0x24 00000538: CALLDATALOAD 00000539: PUSH2 0x1077 0000053c: JUMP 0000053d: JUMPDEST 0000053e: CALLVALUE 0000053f: DUP1 00000540: ISZERO 00000541: PUSH2 0x0549 00000544: JUMPI 00000545: PUSH1 0x00 00000547: DUP1 00000548: REVERT 00000549: JUMPDEST 0000054a: POP 0000054b: PUSH2 0x036f 0000054e: PUSH2 0x11f5 00000551: JUMP 00000552: JUMPDEST 00000553: CALLVALUE 00000554: DUP1 00000555: ISZERO 00000556: PUSH2 0x055e 00000559: JUMPI 0000055a: PUSH1 0x00 0000055c: DUP1 0000055d: REVERT 0000055e: JUMPDEST 0000055f: POP 00000560: PUSH2 0x0419 00000563: PUSH2 0x126a 00000566: JUMP 00000567: JUMPDEST 00000568: CALLVALUE 00000569: DUP1 0000056a: ISZERO 0000056b: PUSH2 0x0573 0000056e: JUMPI 0000056f: PUSH1 0x00 00000571: DUP1 00000572: REVERT 00000573: JUMPDEST 00000574: POP 00000575: PUSH2 0x036f 00000578: PUSH1 0x01 0000057a: PUSH1 0xa0 0000057c: PUSH1 0x02 0000057e: EXP 0000057f: SUB 00000580: PUSH1 0x04 00000582: CALLDATALOAD 00000583: DUP2 00000584: AND 00000585: SWAP1 00000586: PUSH1 0x24 00000588: CALLDATALOAD 00000589: DUP2 0000058a: AND 0000058b: SWAP1 0000058c: PUSH1 0x44 0000058e: CALLDATALOAD 0000058f: AND 00000590: PUSH1 0x64 00000592: CALLDATALOAD 00000593: PUSH2 0x128f 00000596: JUMP 00000597: JUMPDEST 00000598: CALLVALUE 00000599: DUP1 0000059a: ISZERO 0000059b: PUSH2 0x05a3 0000059e: JUMPI 0000059f: PUSH1 0x00 000005a1: DUP1 000005a2: REVERT 000005a3: JUMPDEST 000005a4: POP 000005a5: PUSH2 0x0419 000005a8: PUSH2 0x12a0 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH2 0x02f6 000005b0: PUSH1 0x01 000005b2: PUSH1 0xa0 000005b4: PUSH1 0x02 000005b6: EXP 000005b7: SUB 000005b8: PUSH1 0x04 000005ba: CALLDATALOAD 000005bb: AND 000005bc: PUSH1 0x24 000005be: CALLDATALOAD 000005bf: PUSH2 0x12c5 000005c2: JUMP 000005c3: JUMPDEST 000005c4: CALLVALUE 000005c5: DUP1 000005c6: ISZERO 000005c7: PUSH2 0x05cf 000005ca: JUMPI 000005cb: PUSH1 0x00 000005cd: DUP1 000005ce: REVERT 000005cf: JUMPDEST 000005d0: POP 000005d1: PUSH2 0x02f6 000005d4: PUSH2 0x1328 000005d7: JUMP 000005d8: JUMPDEST 000005d9: CALLVALUE 000005da: DUP1 000005db: ISZERO 000005dc: PUSH2 0x05e4 000005df: JUMPI 000005e0: PUSH1 0x00 000005e2: DUP1 000005e3: REVERT 000005e4: JUMPDEST 000005e5: POP 000005e6: PUSH2 0x0389 000005e9: PUSH1 0x04 000005eb: CALLDATALOAD 000005ec: PUSH2 0x13be 000005ef: JUMP 000005f0: JUMPDEST 000005f1: CALLVALUE 000005f2: DUP1 000005f3: ISZERO 000005f4: PUSH2 0x05fc 000005f7: JUMPI 000005f8: PUSH1 0x00 000005fa: DUP1 000005fb: REVERT 000005fc: JUMPDEST 000005fd: POP 000005fe: PUSH2 0x02f6 00000601: PUSH1 0x01 00000603: PUSH1 0xa0 00000605: PUSH1 0x02 00000607: EXP 00000608: SUB 00000609: PUSH1 0x04 0000060b: CALLDATALOAD 0000060c: AND 0000060d: PUSH1 0x24 0000060f: CALLDATALOAD 00000610: PUSH2 0x13de 00000613: JUMP 00000614: JUMPDEST 00000615: CALLVALUE 00000616: DUP1 00000617: ISZERO 00000618: PUSH2 0x0620 0000061b: JUMPI 0000061c: PUSH1 0x00 0000061e: DUP1 0000061f: REVERT 00000620: JUMPDEST 00000621: POP 00000622: PUSH2 0x0389 00000625: PUSH2 0x145e 00000628: JUMP 00000629: JUMPDEST 0000062a: CALLVALUE 0000062b: DUP1 0000062c: ISZERO 0000062d: PUSH2 0x0635 00000630: JUMPI 00000631: PUSH1 0x00 00000633: DUP1 00000634: REVERT 00000635: JUMPDEST 00000636: POP 00000637: PUSH2 0x0389 0000063a: PUSH1 0x01 0000063c: PUSH1 0xa0 0000063e: PUSH1 0x02 00000640: EXP 00000641: SUB 00000642: PUSH1 0x04 00000644: CALLDATALOAD 00000645: AND 00000646: PUSH2 0x146e 00000649: JUMP 0000064a: JUMPDEST 0000064b: CALLVALUE 0000064c: DUP1 0000064d: ISZERO 0000064e: PUSH2 0x0656 00000651: JUMPI 00000652: PUSH1 0x00 00000654: DUP1 00000655: REVERT 00000656: JUMPDEST 00000657: POP 00000658: PUSH2 0x0389 0000065b: PUSH1 0x01 0000065d: PUSH1 0xa0 0000065f: PUSH1 0x02 00000661: EXP 00000662: SUB 00000663: PUSH1 0x04 00000665: CALLDATALOAD 00000666: AND 00000667: PUSH2 0x14b2 0000066a: JUMP 0000066b: JUMPDEST 0000066c: CALLVALUE 0000066d: DUP1 0000066e: ISZERO 0000066f: PUSH2 0x0677 00000672: JUMPI 00000673: PUSH1 0x00 00000675: DUP1 00000676: REVERT 00000677: JUMPDEST 00000678: POP 00000679: PUSH2 0x02f6 0000067c: PUSH1 0x04 0000067e: CALLDATALOAD 0000067f: PUSH2 0x1539 00000682: JUMP 00000683: JUMPDEST 00000684: CALLVALUE 00000685: DUP1 00000686: ISZERO 00000687: PUSH2 0x068f 0000068a: JUMPI 0000068b: PUSH1 0x00 0000068d: DUP1 0000068e: REVERT 0000068f: JUMPDEST 00000690: POP 00000691: PUSH2 0x02f6 00000694: PUSH2 0x1540 00000697: JUMP 00000698: JUMPDEST 00000699: CALLVALUE 0000069a: DUP1 0000069b: ISZERO 0000069c: PUSH2 0x06a4 0000069f: JUMPI 000006a0: PUSH1 0x00 000006a2: DUP1 000006a3: REVERT 000006a4: JUMPDEST 000006a5: POP 000006a6: PUSH2 0x036f 000006a9: PUSH1 0x01 000006ab: PUSH1 0xa0 000006ad: PUSH1 0x02 000006af: EXP 000006b0: SUB 000006b1: PUSH1 0x04 000006b3: CALLDATALOAD 000006b4: AND 000006b5: PUSH2 0x1546 000006b8: JUMP 000006b9: JUMPDEST 000006ba: CALLVALUE 000006bb: DUP1 000006bc: ISZERO 000006bd: PUSH2 0x06c5 000006c0: JUMPI 000006c1: PUSH1 0x00 000006c3: DUP1 000006c4: REVERT 000006c5: JUMPDEST 000006c6: POP 000006c7: PUSH2 0x06ce 000006ca: PUSH2 0x1587 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH1 0x40 000006d1: DUP1 000006d2: MLOAD 000006d3: PUSH1 0x01 000006d5: PUSH1 0xa0 000006d7: PUSH1 0x02 000006d9: EXP 000006da: SUB 000006db: SWAP1 000006dc: SWAP3 000006dd: AND 000006de: DUP3 000006df: MSTORE 000006e0: MLOAD 000006e1: SWAP1 000006e2: DUP2 000006e3: SWAP1 000006e4: SUB 000006e5: PUSH1 0x20 000006e7: ADD 000006e8: SWAP1 000006e9: RETURN 000006ea: JUMPDEST 000006eb: CALLVALUE 000006ec: DUP1 000006ed: ISZERO 000006ee: PUSH2 0x06f6 000006f1: JUMPI 000006f2: PUSH1 0x00 000006f4: DUP1 000006f5: REVERT 000006f6: JUMPDEST 000006f7: POP 000006f8: PUSH2 0x02f6 000006fb: PUSH2 0x1596 000006fe: JUMP 000006ff: JUMPDEST 00000700: CALLVALUE 00000701: DUP1 00000702: ISZERO 00000703: PUSH2 0x070b 00000706: JUMPI 00000707: PUSH1 0x00 00000709: DUP1 0000070a: REVERT 0000070b: JUMPDEST 0000070c: POP 0000070d: PUSH2 0x036f 00000710: PUSH2 0x159b 00000713: JUMP 00000714: JUMPDEST 00000715: CALLVALUE 00000716: DUP1 00000717: ISZERO 00000718: PUSH2 0x0720 0000071b: JUMPI 0000071c: PUSH1 0x00 0000071e: DUP1 0000071f: REVERT 00000720: JUMPDEST 00000721: POP 00000722: PUSH2 0x0389 00000725: PUSH1 0x04 00000727: CALLDATALOAD 00000728: ISZERO 00000729: ISZERO 0000072a: PUSH2 0x1609 0000072d: JUMP 0000072e: JUMPDEST 0000072f: CALLVALUE 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: POP 0000073c: PUSH2 0x02f6 0000073f: PUSH1 0x04 00000741: CALLDATALOAD 00000742: PUSH2 0x1654 00000745: JUMP 00000746: JUMPDEST 00000747: CALLVALUE 00000748: DUP1 00000749: ISZERO 0000074a: PUSH2 0x0752 0000074d: JUMPI 0000074e: PUSH1 0x00 00000750: DUP1 00000751: REVERT 00000752: JUMPDEST 00000753: POP 00000754: PUSH2 0x036f 00000757: PUSH2 0x16f2 0000075a: JUMP 0000075b: JUMPDEST 0000075c: CALLVALUE 0000075d: DUP1 0000075e: ISZERO 0000075f: PUSH2 0x0767 00000762: JUMPI 00000763: PUSH1 0x00 00000765: DUP1 00000766: REVERT 00000767: JUMPDEST 00000768: POP 00000769: PUSH2 0x036f 0000076c: PUSH1 0x01 0000076e: PUSH1 0xa0 00000770: PUSH1 0x02 00000772: EXP 00000773: SUB 00000774: PUSH1 0x04 00000776: CALLDATALOAD 00000777: DUP2 00000778: AND 00000779: SWAP1 0000077a: PUSH1 0x24 0000077c: CALLDATALOAD 0000077d: DUP2 0000077e: AND 0000077f: SWAP1 00000780: PUSH1 0x44 00000782: CALLDATALOAD 00000783: AND 00000784: PUSH1 0x64 00000786: CALLDATALOAD 00000787: PUSH2 0x176c 0000078a: JUMP 0000078b: JUMPDEST 0000078c: CALLVALUE 0000078d: DUP1 0000078e: ISZERO 0000078f: PUSH2 0x0797 00000792: JUMPI 00000793: PUSH1 0x00 00000795: DUP1 00000796: REVERT 00000797: JUMPDEST 00000798: POP 00000799: PUSH1 0x40 0000079b: DUP1 0000079c: MLOAD 0000079d: PUSH1 0x20 0000079f: PUSH1 0x04 000007a1: PUSH1 0x24 000007a3: DUP1 000007a4: CALLDATALOAD 000007a5: DUP3 000007a6: DUP2 000007a7: ADD 000007a8: CALLDATALOAD 000007a9: PUSH1 0x1f 000007ab: DUP2 000007ac: ADD 000007ad: DUP6 000007ae: SWAP1 000007af: DIV 000007b0: DUP6 000007b1: MUL 000007b2: DUP7 000007b3: ADD 000007b4: DUP6 000007b5: ADD 000007b6: SWAP1 000007b7: SWAP7 000007b8: MSTORE 000007b9: DUP6 000007ba: DUP6 000007bb: MSTORE 000007bc: PUSH2 0x036f 000007bf: SWAP6 000007c0: DUP4 000007c1: CALLDATALOAD 000007c2: PUSH1 0x01 000007c4: PUSH1 0xa0 000007c6: PUSH1 0x02 000007c8: EXP 000007c9: SUB 000007ca: AND 000007cb: SWAP6 000007cc: CALLDATASIZE 000007cd: SWAP6 000007ce: PUSH1 0x44 000007d0: SWAP5 000007d1: SWAP2 000007d2: SWAP4 000007d3: SWAP1 000007d4: SWAP2 000007d5: ADD 000007d6: SWAP2 000007d7: SWAP1 000007d8: DUP2 000007d9: SWAP1 000007da: DUP5 000007db: ADD 000007dc: DUP4 000007dd: DUP3 000007de: DUP1 000007df: DUP3 000007e0: DUP5 000007e1: CALLDATACOPY 000007e2: POP 000007e3: SWAP5 000007e4: SWAP8 000007e5: POP 000007e6: PUSH2 0x1772 000007e9: SWAP7 000007ea: POP 000007eb: POP 000007ec: POP 000007ed: POP 000007ee: POP 000007ef: POP 000007f0: POP 000007f1: JUMP 000007f2: JUMPDEST 000007f3: CALLVALUE 000007f4: DUP1 000007f5: ISZERO 000007f6: PUSH2 0x07fe 000007f9: JUMPI 000007fa: PUSH1 0x00 000007fc: DUP1 000007fd: REVERT 000007fe: JUMPDEST 000007ff: POP 00000800: PUSH2 0x06ce 00000803: PUSH2 0x1790 00000806: JUMP 00000807: JUMPDEST 00000808: CALLVALUE 00000809: DUP1 0000080a: ISZERO 0000080b: PUSH2 0x0813 0000080e: JUMPI 0000080f: PUSH1 0x00 00000811: DUP1 00000812: REVERT 00000813: JUMPDEST 00000814: POP 00000815: PUSH2 0x081c 00000818: PUSH2 0x179f 0000081b: JUMP 0000081c: JUMPDEST 0000081d: PUSH1 0x40 0000081f: DUP1 00000820: MLOAD 00000821: PUSH1 0x00 00000823: SWAP3 00000824: DUP4 00000825: SIGNEXTEND 00000826: SWAP1 00000827: SWAP3 00000828: SIGNEXTEND 00000829: DUP3 0000082a: MSTORE 0000082b: MLOAD 0000082c: SWAP1 0000082d: DUP2 0000082e: SWAP1 0000082f: SUB 00000830: PUSH1 0x20 00000832: ADD 00000833: SWAP1 00000834: RETURN 00000835: JUMPDEST 00000836: CALLVALUE 00000837: DUP1 00000838: ISZERO 00000839: PUSH2 0x0841 0000083c: JUMPI 0000083d: PUSH1 0x00 0000083f: DUP1 00000840: REVERT 00000841: JUMPDEST 00000842: POP 00000843: PUSH2 0x02f6 00000846: PUSH1 0x04 00000848: CALLDATALOAD 00000849: PUSH2 0x17c1 0000084c: JUMP 0000084d: JUMPDEST 0000084e: CALLVALUE 0000084f: DUP1 00000850: ISZERO 00000851: PUSH2 0x0859 00000854: JUMPI 00000855: PUSH1 0x00 00000857: DUP1 00000858: REVERT 00000859: JUMPDEST 0000085a: POP 0000085b: PUSH2 0x0389 0000085e: PUSH1 0x01 00000860: PUSH1 0xa0 00000862: PUSH1 0x02 00000864: EXP 00000865: SUB 00000866: PUSH1 0x04 00000868: CALLDATALOAD 00000869: AND 0000086a: PUSH2 0x17d7 0000086d: JUMP 0000086e: JUMPDEST 0000086f: CALLVALUE 00000870: DUP1 00000871: ISZERO 00000872: PUSH2 0x087a 00000875: JUMPI 00000876: PUSH1 0x00 00000878: DUP1 00000879: REVERT 0000087a: JUMPDEST 0000087b: POP 0000087c: PUSH2 0x0389 0000087f: PUSH1 0x04 00000881: CALLDATALOAD 00000882: PUSH1 0x24 00000884: CALLDATALOAD 00000885: PUSH2 0x1827 00000888: JUMP 00000889: JUMPDEST 0000088a: CALLVALUE 0000088b: DUP1 0000088c: ISZERO 0000088d: PUSH2 0x0895 00000890: JUMPI 00000891: PUSH1 0x00 00000893: DUP1 00000894: REVERT 00000895: JUMPDEST 00000896: POP 00000897: PUSH2 0x036f 0000089a: PUSH1 0x01 0000089c: PUSH1 0xa0 0000089e: PUSH1 0x02 000008a0: EXP 000008a1: SUB 000008a2: PUSH1 0x04 000008a4: CALLDATALOAD 000008a5: AND 000008a6: PUSH2 0x1930 000008a9: JUMP 000008aa: JUMPDEST 000008ab: CALLVALUE 000008ac: DUP1 000008ad: ISZERO 000008ae: PUSH2 0x08b6 000008b1: JUMPI 000008b2: PUSH1 0x00 000008b4: DUP1 000008b5: REVERT 000008b6: JUMPDEST 000008b7: POP 000008b8: PUSH2 0x0389 000008bb: PUSH1 0x01 000008bd: PUSH1 0xa0 000008bf: PUSH1 0x02 000008c1: EXP 000008c2: SUB 000008c3: PUSH1 0x04 000008c5: CALLDATALOAD 000008c6: AND 000008c7: PUSH2 0x1971 000008ca: JUMP 000008cb: JUMPDEST 000008cc: CALLVALUE 000008cd: DUP1 000008ce: ISZERO 000008cf: PUSH2 0x08d7 000008d2: JUMPI 000008d3: PUSH1 0x00 000008d5: DUP1 000008d6: REVERT 000008d7: JUMPDEST 000008d8: POP 000008d9: PUSH2 0x0419 000008dc: PUSH2 0x19af 000008df: JUMP 000008e0: JUMPDEST 000008e1: CALLVALUE 000008e2: DUP1 000008e3: ISZERO 000008e4: PUSH2 0x08ec 000008e7: JUMPI 000008e8: PUSH1 0x00 000008ea: DUP1 000008eb: REVERT 000008ec: JUMPDEST 000008ed: POP 000008ee: PUSH1 0x40 000008f0: DUP1 000008f1: MLOAD 000008f2: PUSH1 0x20 000008f4: PUSH1 0x04 000008f6: PUSH1 0x24 000008f8: DUP1 000008f9: CALLDATALOAD 000008fa: DUP3 000008fb: DUP2 000008fc: ADD 000008fd: CALLDATALOAD 000008fe: PUSH1 0x1f 00000900: DUP2 00000901: ADD 00000902: DUP6 00000903: SWAP1 00000904: DIV 00000905: DUP6 00000906: MUL 00000907: DUP7 00000908: ADD 00000909: DUP6 0000090a: ADD 0000090b: SWAP1 0000090c: SWAP7 0000090d: MSTORE 0000090e: DUP6 0000090f: DUP6 00000910: MSTORE 00000911: PUSH2 0x036f 00000914: SWAP6 00000915: DUP4 00000916: CALLDATALOAD 00000917: PUSH1 0x01 00000919: PUSH1 0xa0 0000091b: PUSH1 0x02 0000091d: EXP 0000091e: SUB 0000091f: AND 00000920: SWAP6 00000921: CALLDATASIZE 00000922: SWAP6 00000923: PUSH1 0x44 00000925: SWAP5 00000926: SWAP2 00000927: SWAP4 00000928: SWAP1 00000929: SWAP2 0000092a: ADD 0000092b: SWAP2 0000092c: SWAP1 0000092d: DUP2 0000092e: SWAP1 0000092f: DUP5 00000930: ADD 00000931: DUP4 00000932: DUP3 00000933: DUP1 00000934: DUP3 00000935: DUP5 00000936: CALLDATACOPY 00000937: POP 00000938: SWAP5 00000939: SWAP8 0000093a: POP 0000093b: PUSH2 0x1a3d 0000093e: SWAP7 0000093f: POP 00000940: POP 00000941: POP 00000942: POP 00000943: POP 00000944: POP 00000945: POP 00000946: JUMP 00000947: JUMPDEST 00000948: CALLVALUE 00000949: DUP1 0000094a: ISZERO 0000094b: PUSH2 0x0953 0000094e: JUMPI 0000094f: PUSH1 0x00 00000951: DUP1 00000952: REVERT 00000953: JUMPDEST 00000954: POP 00000955: PUSH2 0x06ce 00000958: PUSH2 0x1a5b 0000095b: JUMP 0000095c: JUMPDEST 0000095d: CALLVALUE 0000095e: DUP1 0000095f: ISZERO 00000960: PUSH2 0x0968 00000963: JUMPI 00000964: PUSH1 0x00 00000966: DUP1 00000967: REVERT 00000968: JUMPDEST 00000969: POP 0000096a: PUSH2 0x0419 0000096d: PUSH2 0x1a6a 00000970: JUMP 00000971: JUMPDEST 00000972: CALLVALUE 00000973: DUP1 00000974: ISZERO 00000975: PUSH2 0x097d 00000978: JUMPI 00000979: PUSH1 0x00 0000097b: DUP1 0000097c: REVERT 0000097d: JUMPDEST 0000097e: POP 0000097f: PUSH2 0x06ce 00000982: PUSH2 0x1a8f 00000985: JUMP 00000986: JUMPDEST 00000987: CALLVALUE 00000988: DUP1 00000989: ISZERO 0000098a: PUSH2 0x0992 0000098d: JUMPI 0000098e: PUSH1 0x00 00000990: DUP1 00000991: REVERT 00000992: JUMPDEST 00000993: POP 00000994: PUSH2 0x036f 00000997: PUSH1 0x01 00000999: PUSH1 0xa0 0000099b: PUSH1 0x02 0000099d: EXP 0000099e: SUB 0000099f: PUSH1 0x04 000009a1: CALLDATALOAD 000009a2: AND 000009a3: PUSH2 0x1a9e 000009a6: JUMP 000009a7: JUMPDEST 000009a8: CALLVALUE 000009a9: DUP1 000009aa: ISZERO 000009ab: PUSH2 0x09b3 000009ae: JUMPI 000009af: PUSH1 0x00 000009b1: DUP1 000009b2: REVERT 000009b3: JUMPDEST 000009b4: POP 000009b5: PUSH2 0x02f6 000009b8: PUSH2 0x1adf 000009bb: JUMP 000009bc: JUMPDEST 000009bd: CALLVALUE 000009be: DUP1 000009bf: ISZERO 000009c0: PUSH2 0x09c8 000009c3: JUMPI 000009c4: PUSH1 0x00 000009c6: DUP1 000009c7: REVERT 000009c8: JUMPDEST 000009c9: POP 000009ca: PUSH2 0x0389 000009cd: PUSH2 0x1b03 000009d0: JUMP 000009d1: JUMPDEST 000009d2: CALLVALUE 000009d3: DUP1 000009d4: ISZERO 000009d5: PUSH2 0x09dd 000009d8: JUMPI 000009d9: PUSH1 0x00 000009db: DUP1 000009dc: REVERT 000009dd: JUMPDEST 000009de: POP 000009df: PUSH1 0x40 000009e1: DUP1 000009e2: MLOAD 000009e3: PUSH1 0x20 000009e5: PUSH1 0x04 000009e7: DUP1 000009e8: CALLDATALOAD 000009e9: DUP1 000009ea: DUP3 000009eb: ADD 000009ec: CALLDATALOAD 000009ed: PUSH1 0x1f 000009ef: DUP2 000009f0: ADD 000009f1: DUP5 000009f2: SWAP1 000009f3: DIV 000009f4: DUP5 000009f5: MUL 000009f6: DUP6 000009f7: ADD 000009f8: DUP5 000009f9: ADD 000009fa: SWAP1 000009fb: SWAP6 000009fc: MSTORE 000009fd: DUP5 000009fe: DUP5 000009ff: MSTORE 00000a00: PUSH2 0x0419 00000a03: SWAP5 00000a04: CALLDATASIZE 00000a05: SWAP5 00000a06: SWAP3 00000a07: SWAP4 00000a08: PUSH1 0x24 00000a0a: SWAP4 00000a0b: SWAP3 00000a0c: DUP5 00000a0d: ADD 00000a0e: SWAP2 00000a0f: SWAP1 00000a10: DUP2 00000a11: SWAP1 00000a12: DUP5 00000a13: ADD 00000a14: DUP4 00000a15: DUP3 00000a16: DUP1 00000a17: DUP3 00000a18: DUP5 00000a19: CALLDATACOPY 00000a1a: POP 00000a1b: SWAP5 00000a1c: SWAP8 00000a1d: POP 00000a1e: PUSH2 0x1b14 00000a21: SWAP7 00000a22: POP 00000a23: POP 00000a24: POP 00000a25: POP 00000a26: POP 00000a27: POP 00000a28: POP 00000a29: JUMP 00000a2a: JUMPDEST 00000a2b: CALLVALUE 00000a2c: DUP1 00000a2d: ISZERO 00000a2e: PUSH2 0x0a36 00000a31: JUMPI 00000a32: PUSH1 0x00 00000a34: DUP1 00000a35: REVERT 00000a36: JUMPDEST 00000a37: POP 00000a38: PUSH2 0x06ce 00000a3b: PUSH2 0x1b44 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: CALLVALUE 00000a41: DUP1 00000a42: ISZERO 00000a43: PUSH2 0x0a4b 00000a46: JUMPI 00000a47: PUSH1 0x00 00000a49: DUP1 00000a4a: REVERT 00000a4b: JUMPDEST 00000a4c: POP 00000a4d: PUSH2 0x0419 00000a50: PUSH2 0x1bcd 00000a53: JUMP 00000a54: JUMPDEST 00000a55: CALLVALUE 00000a56: DUP1 00000a57: ISZERO 00000a58: PUSH2 0x0a60 00000a5b: JUMPI 00000a5c: PUSH1 0x00 00000a5e: DUP1 00000a5f: REVERT 00000a60: JUMPDEST 00000a61: POP 00000a62: PUSH2 0x0389 00000a65: PUSH2 0x1bf2 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: CALLVALUE 00000a6b: DUP1 00000a6c: ISZERO 00000a6d: PUSH2 0x0a75 00000a70: JUMPI 00000a71: PUSH1 0x00 00000a73: DUP1 00000a74: REVERT 00000a75: JUMPDEST 00000a76: POP 00000a77: PUSH2 0x036f 00000a7a: PUSH1 0x01 00000a7c: PUSH1 0xa0 00000a7e: PUSH1 0x02 00000a80: EXP 00000a81: SUB 00000a82: PUSH1 0x04 00000a84: CALLDATALOAD 00000a85: AND 00000a86: PUSH2 0x1c02 00000a89: JUMP 00000a8a: JUMPDEST 00000a8b: CALLVALUE 00000a8c: DUP1 00000a8d: ISZERO 00000a8e: PUSH2 0x0a96 00000a91: JUMPI 00000a92: PUSH1 0x00 00000a94: DUP1 00000a95: REVERT 00000a96: JUMPDEST 00000a97: POP 00000a98: PUSH2 0x036f 00000a9b: PUSH1 0x01 00000a9d: PUSH1 0xa0 00000a9f: PUSH1 0x02 00000aa1: EXP 00000aa2: SUB 00000aa3: PUSH1 0x04 00000aa5: CALLDATALOAD 00000aa6: AND 00000aa7: PUSH2 0x1c43 00000aaa: JUMP 00000aab: JUMPDEST 00000aac: CALLVALUE 00000aad: DUP1 00000aae: ISZERO 00000aaf: PUSH2 0x0ab7 00000ab2: JUMPI 00000ab3: PUSH1 0x00 00000ab5: DUP1 00000ab6: REVERT 00000ab7: JUMPDEST 00000ab8: POP 00000ab9: PUSH2 0x0419 00000abc: PUSH2 0x1c84 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: CALLVALUE 00000ac2: DUP1 00000ac3: ISZERO 00000ac4: PUSH2 0x0acc 00000ac7: JUMPI 00000ac8: PUSH1 0x00 00000aca: DUP1 00000acb: REVERT 00000acc: JUMPDEST 00000acd: POP 00000ace: PUSH2 0x0389 00000ad1: PUSH1 0x01 00000ad3: PUSH1 0xa0 00000ad5: PUSH1 0x02 00000ad7: EXP 00000ad8: SUB 00000ad9: PUSH1 0x04 00000adb: CALLDATALOAD 00000adc: AND 00000add: PUSH2 0x1cdf 00000ae0: JUMP 00000ae1: JUMPDEST 00000ae2: CALLVALUE 00000ae3: DUP1 00000ae4: ISZERO 00000ae5: PUSH2 0x0aed 00000ae8: JUMPI 00000ae9: PUSH1 0x00 00000aeb: DUP1 00000aec: REVERT 00000aed: JUMPDEST 00000aee: POP 00000aef: PUSH2 0x0389 00000af2: PUSH1 0x01 00000af4: PUSH1 0xa0 00000af6: PUSH1 0x02 00000af8: EXP 00000af9: SUB 00000afa: PUSH1 0x04 00000afc: CALLDATALOAD 00000afd: AND 00000afe: PUSH2 0x1d26 00000b01: JUMP 00000b02: JUMPDEST 00000b03: CALLVALUE 00000b04: DUP1 00000b05: ISZERO 00000b06: PUSH2 0x0b0e 00000b09: JUMPI 00000b0a: PUSH1 0x00 00000b0c: DUP1 00000b0d: REVERT 00000b0e: JUMPDEST 00000b0f: POP 00000b10: PUSH2 0x02f6 00000b13: PUSH2 0x1d64 00000b16: JUMP 00000b17: JUMPDEST 00000b18: CALLVALUE 00000b19: DUP1 00000b1a: ISZERO 00000b1b: PUSH2 0x0b23 00000b1e: JUMPI 00000b1f: PUSH1 0x00 00000b21: DUP1 00000b22: REVERT 00000b23: JUMPDEST 00000b24: POP 00000b25: PUSH2 0x036f 00000b28: PUSH1 0x01 00000b2a: PUSH1 0xa0 00000b2c: PUSH1 0x02 00000b2e: EXP 00000b2f: SUB 00000b30: PUSH1 0x04 00000b32: CALLDATALOAD 00000b33: AND 00000b34: PUSH2 0x1d6a 00000b37: JUMP 00000b38: JUMPDEST 00000b39: PUSH2 0x02f6 00000b3c: PUSH2 0x1dff 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: CALLVALUE 00000b42: DUP1 00000b43: ISZERO 00000b44: PUSH2 0x0b4c 00000b47: JUMPI 00000b48: PUSH1 0x00 00000b4a: DUP1 00000b4b: REVERT 00000b4c: JUMPDEST 00000b4d: POP 00000b4e: PUSH2 0x036f 00000b51: PUSH1 0x01 00000b53: PUSH1 0xa0 00000b55: PUSH1 0x02 00000b57: EXP 00000b58: SUB 00000b59: PUSH1 0x04 00000b5b: CALLDATALOAD 00000b5c: AND 00000b5d: PUSH2 0x1e22 00000b60: JUMP 00000b61: JUMPDEST 00000b62: CALLVALUE 00000b63: DUP1 00000b64: ISZERO 00000b65: PUSH2 0x0b6d 00000b68: JUMPI 00000b69: PUSH1 0x00 00000b6b: DUP1 00000b6c: REVERT 00000b6d: JUMPDEST 00000b6e: POP 00000b6f: PUSH1 0x40 00000b71: DUP1 00000b72: MLOAD 00000b73: PUSH1 0x20 00000b75: PUSH1 0x04 00000b77: DUP1 00000b78: CALLDATALOAD 00000b79: DUP1 00000b7a: DUP3 00000b7b: ADD 00000b7c: CALLDATALOAD 00000b7d: PUSH1 0x1f 00000b7f: DUP2 00000b80: ADD 00000b81: DUP5 00000b82: SWAP1 00000b83: DIV 00000b84: DUP5 00000b85: MUL 00000b86: DUP6 00000b87: ADD 00000b88: DUP5 00000b89: ADD 00000b8a: SWAP1 00000b8b: SWAP6 00000b8c: MSTORE 00000b8d: DUP5 00000b8e: DUP5 00000b8f: MSTORE 00000b90: PUSH2 0x0419 00000b93: SWAP5 00000b94: CALLDATASIZE 00000b95: SWAP5 00000b96: SWAP3 00000b97: SWAP4 00000b98: PUSH1 0x24 00000b9a: SWAP4 00000b9b: SWAP3 00000b9c: DUP5 00000b9d: ADD 00000b9e: SWAP2 00000b9f: SWAP1 00000ba0: DUP2 00000ba1: SWAP1 00000ba2: DUP5 00000ba3: ADD 00000ba4: DUP4 00000ba5: DUP3 00000ba6: DUP1 00000ba7: DUP3 00000ba8: DUP5 00000ba9: CALLDATACOPY 00000baa: POP 00000bab: SWAP5 00000bac: SWAP8 00000bad: POP 00000bae: PUSH2 0x1e63 00000bb1: SWAP7 00000bb2: POP 00000bb3: POP 00000bb4: POP 00000bb5: POP 00000bb6: POP 00000bb7: POP 00000bb8: POP 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH1 0x00 00000bbd: DUP1 00000bbe: PUSH1 0x00 00000bc0: PUSH1 0x07 00000bc2: SLOAD 00000bc3: GT 00000bc4: DUP1 00000bc5: ISZERO 00000bc6: PUSH2 0x0bd1 00000bc9: JUMPI 00000bca: POP 00000bcb: PUSH1 0x00 00000bcd: PUSH1 0x08 00000bcf: SLOAD 00000bd0: GT 00000bd1: JUMPDEST 00000bd2: ISZERO 00000bd3: ISZERO 00000bd4: PUSH2 0x0bdc 00000bd7: JUMPI 00000bd8: PUSH1 0x00 00000bda: DUP1 00000bdb: REVERT 00000bdc: JUMPDEST 00000bdd: PUSH1 0x03 00000bdf: SLOAD 00000be0: PUSH1 0x01 00000be2: PUSH1 0xa0 00000be4: PUSH1 0x02 00000be6: EXP 00000be7: SUB 00000be8: AND 00000be9: ISZERO 00000bea: DUP1 00000beb: ISZERO 00000bec: SWAP1 00000bed: PUSH2 0x0c00 00000bf0: JUMPI 00000bf1: POP 00000bf2: PUSH1 0x03 00000bf4: SLOAD 00000bf5: PUSH1 0xa0 00000bf7: PUSH1 0x02 00000bf9: EXP 00000bfa: SWAP1 00000bfb: DIV 00000bfc: PUSH1 0xff 00000bfe: AND 00000bff: ISZERO 00000c00: JUMPDEST 00000c01: ISZERO 00000c02: PUSH2 0x0c0a 00000c05: JUMPI 00000c06: PUSH1 0x00 00000c08: DUP1 00000c09: REVERT 00000c0a: JUMPDEST 00000c0b: PUSH1 0x01 00000c0d: SLOAD 00000c0e: PUSH1 0xa0 00000c10: PUSH1 0x02 00000c12: EXP 00000c13: SWAP1 00000c14: DIV 00000c15: PUSH1 0xff 00000c17: AND 00000c18: ISZERO 00000c19: PUSH2 0x0c21 00000c1c: JUMPI 00000c1d: PUSH1 0x00 00000c1f: DUP1 00000c20: REVERT 00000c21: JUMPDEST 00000c22: CALLVALUE 00000c23: ISZERO 00000c24: ISZERO 00000c25: PUSH2 0x0c31 00000c28: JUMPI 00000c29: PUSH1 0x00 00000c2b: SWAP2 00000c2c: POP 00000c2d: PUSH2 0x0ce6 00000c30: JUMP 00000c31: JUMPDEST 00000c32: PUSH1 0x07 00000c34: SLOAD 00000c35: CALLVALUE 00000c36: LT 00000c37: ISZERO 00000c38: PUSH2 0x0c40 00000c3b: JUMPI 00000c3c: PUSH1 0x00 00000c3e: DUP1 00000c3f: REVERT 00000c40: JUMPDEST 00000c41: PUSH2 0x0c49 00000c44: CALLVALUE 00000c45: PUSH2 0x17c1 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: SWAP1 00000c4b: POP 00000c4c: PUSH2 0x0c53 00000c4f: PUSH2 0x1e8c 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH1 0x01 00000c56: PUSH1 0xa0 00000c58: PUSH1 0x02 00000c5a: EXP 00000c5b: SUB 00000c5c: AND 00000c5d: PUSH4 0xa9059cbb 00000c62: DUP5 00000c63: DUP4 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: DUP4 00000c68: PUSH4 0xffffffff 00000c6d: AND 00000c6e: PUSH1 0xe0 00000c70: PUSH1 0x02 00000c72: EXP 00000c73: MUL 00000c74: DUP2 00000c75: MSTORE 00000c76: PUSH1 0x04 00000c78: ADD 00000c79: DUP1 00000c7a: DUP4 00000c7b: PUSH1 0x01 00000c7d: PUSH1 0xa0 00000c7f: PUSH1 0x02 00000c81: EXP 00000c82: SUB 00000c83: AND 00000c84: PUSH1 0x01 00000c86: PUSH1 0xa0 00000c88: PUSH1 0x02 00000c8a: EXP 00000c8b: SUB 00000c8c: AND 00000c8d: DUP2 00000c8e: MSTORE 00000c8f: PUSH1 0x20 00000c91: ADD 00000c92: DUP3 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x20 00000c97: ADD 00000c98: SWAP3 00000c99: POP 00000c9a: POP 00000c9b: POP 00000c9c: PUSH1 0x20 00000c9e: PUSH1 0x40 00000ca0: MLOAD 00000ca1: DUP1 00000ca2: DUP4 00000ca3: SUB 00000ca4: DUP2 00000ca5: PUSH1 0x00 00000ca7: DUP8 00000ca8: DUP1 00000ca9: EXTCODESIZE 00000caa: ISZERO 00000cab: DUP1 00000cac: ISZERO 00000cad: PUSH2 0x0cb5 00000cb0: JUMPI 00000cb1: PUSH1 0x00 00000cb3: DUP1 00000cb4: REVERT 00000cb5: JUMPDEST 00000cb6: POP 00000cb7: GAS 00000cb8: CALL 00000cb9: ISZERO 00000cba: DUP1 00000cbb: ISZERO 00000cbc: PUSH2 0x0cc9 00000cbf: JUMPI 00000cc0: RETURNDATASIZE 00000cc1: PUSH1 0x00 00000cc3: DUP1 00000cc4: RETURNDATACOPY 00000cc5: RETURNDATASIZE 00000cc6: PUSH1 0x00 00000cc8: REVERT 00000cc9: JUMPDEST 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: POP 00000cce: PUSH1 0x40 00000cd0: MLOAD 00000cd1: RETURNDATASIZE 00000cd2: PUSH1 0x20 00000cd4: DUP2 00000cd5: LT 00000cd6: ISZERO 00000cd7: PUSH2 0x0cdf 00000cda: JUMPI 00000cdb: PUSH1 0x00 00000cdd: DUP1 00000cde: REVERT 00000cdf: JUMPDEST 00000ce0: POP 00000ce1: PUSH1 0x01 00000ce3: SWAP3 00000ce4: POP 00000ce5: POP 00000ce6: JUMPDEST 00000ce7: POP 00000ce8: SWAP2 00000ce9: SWAP1 00000cea: POP 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: PUSH1 0x00 00000cef: PUSH2 0x0cf7 00000cf2: CALLER 00000cf3: PUSH2 0x1971 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: ISZERO 00000cf9: ISZERO 00000cfa: PUSH2 0x0d02 00000cfd: JUMPI 00000cfe: PUSH1 0x00 00000d00: DUP1 00000d01: REVERT 00000d02: JUMPDEST 00000d03: PUSH2 0x0d0a 00000d06: PUSH2 0x1e8c 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH1 0x40 00000d0d: DUP1 00000d0e: MLOAD 00000d0f: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000d30: DUP2 00000d31: MSTORE 00000d32: PUSH1 0x01 00000d34: PUSH1 0xa0 00000d36: PUSH1 0x02 00000d38: EXP 00000d39: SUB 00000d3a: DUP7 00000d3b: DUP2 00000d3c: AND 00000d3d: PUSH1 0x04 00000d3f: DUP4 00000d40: ADD 00000d41: MSTORE 00000d42: ADDRESS 00000d43: PUSH1 0x24 00000d45: DUP4 00000d46: ADD 00000d47: MSTORE 00000d48: PUSH1 0x44 00000d4a: DUP3 00000d4b: ADD 00000d4c: DUP7 00000d4d: SWAP1 00000d4e: MSTORE 00000d4f: SWAP2 00000d50: MLOAD 00000d51: SWAP3 00000d52: SWAP1 00000d53: SWAP2 00000d54: AND 00000d55: SWAP2 00000d56: PUSH4 0x23b872dd 00000d5b: SWAP2 00000d5c: PUSH1 0x64 00000d5e: DUP1 00000d5f: DUP3 00000d60: ADD 00000d61: SWAP3 00000d62: PUSH1 0x20 00000d64: SWAP3 00000d65: SWAP1 00000d66: SWAP2 00000d67: SWAP1 00000d68: DUP3 00000d69: SWAP1 00000d6a: SUB 00000d6b: ADD 00000d6c: DUP2 00000d6d: PUSH1 0x00 00000d6f: DUP8 00000d70: DUP1 00000d71: EXTCODESIZE 00000d72: ISZERO 00000d73: DUP1 00000d74: ISZERO 00000d75: PUSH2 0x0d7d 00000d78: JUMPI 00000d79: PUSH1 0x00 00000d7b: DUP1 00000d7c: REVERT 00000d7d: JUMPDEST 00000d7e: POP 00000d7f: GAS 00000d80: CALL 00000d81: ISZERO 00000d82: DUP1 00000d83: ISZERO 00000d84: PUSH2 0x0d91 00000d87: JUMPI 00000d88: RETURNDATASIZE 00000d89: PUSH1 0x00 00000d8b: DUP1 00000d8c: RETURNDATACOPY 00000d8d: RETURNDATASIZE 00000d8e: PUSH1 0x00 00000d90: REVERT 00000d91: JUMPDEST 00000d92: POP 00000d93: POP 00000d94: POP 00000d95: POP 00000d96: PUSH1 0x40 00000d98: MLOAD 00000d99: RETURNDATASIZE 00000d9a: PUSH1 0x20 00000d9c: DUP2 00000d9d: LT 00000d9e: ISZERO 00000d9f: PUSH2 0x0da7 00000da2: JUMPI 00000da3: PUSH1 0x00 00000da5: DUP1 00000da6: REVERT 00000da7: JUMPDEST 00000da8: POP 00000da9: PUSH2 0x0db2 00000dac: SWAP1 00000dad: POP 00000dae: PUSH2 0x1328 00000db1: JUMP 00000db2: JUMPDEST 00000db3: SWAP4 00000db4: SWAP3 00000db5: POP 00000db6: POP 00000db7: POP 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH2 0x0e23 00000dbd: DUP3 00000dbe: PUSH1 0x00 00000dc0: DUP4 00000dc1: PUSH1 0x40 00000dc3: MLOAD 00000dc4: DUP1 00000dc5: DUP3 00000dc6: DUP1 00000dc7: MLOAD 00000dc8: SWAP1 00000dc9: PUSH1 0x20 00000dcb: ADD 00000dcc: SWAP1 00000dcd: DUP1 00000dce: DUP4 00000dcf: DUP4 00000dd0: JUMPDEST 00000dd1: PUSH1 0x20 00000dd3: DUP4 00000dd4: LT 00000dd5: PUSH2 0x0def 00000dd8: JUMPI 00000dd9: DUP1 00000dda: MLOAD 00000ddb: DUP3 00000ddc: MSTORE 00000ddd: PUSH1 0x1f 00000ddf: NOT 00000de0: SWAP1 00000de1: SWAP3 00000de2: ADD 00000de3: SWAP2 00000de4: PUSH1 0x20 00000de6: SWAP2 00000de7: DUP3 00000de8: ADD 00000de9: SWAP2 00000dea: ADD 00000deb: PUSH2 0x0dd0 00000dee: JUMP 00000def: JUMPDEST 00000df0: MLOAD 00000df1: DUP2 00000df2: MLOAD 00000df3: PUSH1 0x20 00000df5: SWAP4 00000df6: DUP5 00000df7: SUB 00000df8: PUSH2 0x0100 00000dfb: EXP 00000dfc: PUSH1 0x00 00000dfe: NOT 00000dff: ADD 00000e00: DUP1 00000e01: NOT 00000e02: SWAP1 00000e03: SWAP3 00000e04: AND 00000e05: SWAP2 00000e06: AND 00000e07: OR 00000e08: SWAP1 00000e09: MSTORE 00000e0a: SWAP3 00000e0b: ADD 00000e0c: SWAP5 00000e0d: DUP6 00000e0e: MSTORE 00000e0f: POP 00000e10: PUSH1 0x40 00000e12: MLOAD 00000e13: SWAP4 00000e14: DUP5 00000e15: SWAP1 00000e16: SUB 00000e17: ADD 00000e18: SWAP1 00000e19: SWAP3 00000e1a: KECCAK256 00000e1b: SWAP3 00000e1c: SWAP2 00000e1d: POP 00000e1e: POP 00000e1f: PUSH2 0x1e96 00000e22: JUMP 00000e23: JUMPDEST 00000e24: POP 00000e25: POP 00000e26: JUMP 00000e27: JUMPDEST 00000e28: PUSH1 0x00 00000e2a: DUP1 00000e2b: PUSH1 0x00 00000e2d: PUSH2 0x0e35 00000e30: DUP5 00000e31: PUSH2 0x17c1 00000e34: JUMP 00000e35: JUMPDEST 00000e36: SWAP2 00000e37: POP 00000e38: PUSH2 0x0e40 00000e3b: DUP3 00000e3c: PUSH2 0x1654 00000e3f: JUMP 00000e40: JUMPDEST 00000e41: SWAP1 00000e42: POP 00000e43: DUP1 00000e44: DUP3 00000e45: ADD 00000e46: PUSH2 0x0e4d 00000e49: PUSH2 0x1328 00000e4c: JUMP 00000e4d: JUMPDEST 00000e4e: LT 00000e4f: ISZERO 00000e50: SWAP5 00000e51: SWAP4 00000e52: POP 00000e53: POP 00000e54: POP 00000e55: POP 00000e56: JUMP 00000e57: JUMPDEST 00000e58: PUSH1 0x00 00000e5a: PUSH2 0x0db2 00000e5d: DUP4 00000e5e: PUSH1 0x00 00000e60: DUP5 00000e61: PUSH1 0x40 00000e63: MLOAD 00000e64: DUP1 00000e65: DUP3 00000e66: DUP1 00000e67: MLOAD 00000e68: SWAP1 00000e69: PUSH1 0x20 00000e6b: ADD 00000e6c: SWAP1 00000e6d: DUP1 00000e6e: DUP4 00000e6f: DUP4 00000e70: JUMPDEST 00000e71: PUSH1 0x20 00000e73: DUP4 00000e74: LT 00000e75: PUSH2 0x0e8f 00000e78: JUMPI 00000e79: DUP1 00000e7a: MLOAD 00000e7b: DUP3 00000e7c: MSTORE 00000e7d: PUSH1 0x1f 00000e7f: NOT 00000e80: SWAP1 00000e81: SWAP3 00000e82: ADD 00000e83: SWAP2 00000e84: PUSH1 0x20 00000e86: SWAP2 00000e87: DUP3 00000e88: ADD 00000e89: SWAP2 00000e8a: ADD 00000e8b: PUSH2 0x0e70 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: MLOAD 00000e91: DUP2 00000e92: MLOAD 00000e93: PUSH1 0x20 00000e95: SWAP4 00000e96: DUP5 00000e97: SUB 00000e98: PUSH2 0x0100 00000e9b: EXP 00000e9c: PUSH1 0x00 00000e9e: NOT 00000e9f: ADD 00000ea0: DUP1 00000ea1: NOT 00000ea2: SWAP1 00000ea3: SWAP3 00000ea4: AND 00000ea5: SWAP2 00000ea6: AND 00000ea7: OR 00000ea8: SWAP1 00000ea9: MSTORE 00000eaa: SWAP3 00000eab: ADD 00000eac: SWAP5 00000ead: DUP6 00000eae: MSTORE 00000eaf: POP 00000eb0: PUSH1 0x40 00000eb2: MLOAD 00000eb3: SWAP4 00000eb4: DUP5 00000eb5: SWAP1 00000eb6: SUB 00000eb7: ADD 00000eb8: SWAP1 00000eb9: SWAP3 00000eba: KECCAK256 00000ebb: SWAP3 00000ebc: SWAP2 00000ebd: POP 00000ebe: POP 00000ebf: PUSH2 0x1eab 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: PUSH1 0x40 00000ec6: DUP1 00000ec7: MLOAD 00000ec8: DUP1 00000ec9: DUP3 00000eca: ADD 00000ecb: SWAP1 00000ecc: SWAP2 00000ecd: MSTORE 00000ece: PUSH1 0x07 00000ed0: DUP2 00000ed1: MSTORE 00000ed2: PUSH32 0x7570677261646500000000000000000000000000000000000000000000000000 00000ef3: PUSH1 0x20 00000ef5: DUP3 00000ef6: ADD 00000ef7: MSTORE 00000ef8: DUP2 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: PUSH2 0x0f03 00000efe: CALLER 00000eff: PUSH2 0x1cdf 00000f02: JUMP 00000f03: JUMPDEST 00000f04: ISZERO 00000f05: ISZERO 00000f06: PUSH2 0x0f0e 00000f09: JUMPI 00000f0a: PUSH1 0x00 00000f0c: DUP1 00000f0d: REVERT 00000f0e: JUMPDEST 00000f0f: PUSH1 0x04 00000f11: DUP1 00000f12: SLOAD 00000f13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f28: NOT 00000f29: AND 00000f2a: PUSH1 0x01 00000f2c: PUSH1 0xa0 00000f2e: PUSH1 0x02 00000f30: EXP 00000f31: SUB 00000f32: SWAP3 00000f33: SWAP1 00000f34: SWAP3 00000f35: AND 00000f36: SWAP2 00000f37: SWAP1 00000f38: SWAP2 00000f39: OR 00000f3a: SWAP1 00000f3b: SSTORE 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: PUSH2 0x0f46 00000f41: CALLER 00000f42: PUSH2 0x1cdf 00000f45: JUMP 00000f46: JUMPDEST 00000f47: ISZERO 00000f48: ISZERO 00000f49: PUSH2 0x0f51 00000f4c: JUMPI 00000f4d: PUSH1 0x00 00000f4f: DUP1 00000f50: REVERT 00000f51: JUMPDEST 00000f52: PUSH2 0x0f7e 00000f55: DUP2 00000f56: PUSH1 0x40 00000f58: DUP1 00000f59: MLOAD 00000f5a: SWAP1 00000f5b: DUP2 00000f5c: ADD 00000f5d: PUSH1 0x40 00000f5f: MSTORE 00000f60: DUP1 00000f61: PUSH1 0x06 00000f63: DUP2 00000f64: MSTORE 00000f65: PUSH1 0x20 00000f67: ADD 00000f68: PUSH1 0x00 00000f6a: DUP1 00000f6b: MLOAD 00000f6c: PUSH1 0x20 00000f6e: PUSH2 0x21ec 00000f71: DUP4 00000f72: CODECOPY 00000f73: DUP2 00000f74: MLOAD 00000f75: SWAP2 00000f76: MSTORE 00000f77: DUP2 00000f78: MSTORE 00000f79: POP 00000f7a: PUSH2 0x1eca 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: POP 00000f80: JUMP 00000f81: JUMPDEST 00000f82: PUSH2 0x0f8a 00000f85: CALLER 00000f86: PUSH2 0x1cdf 00000f89: JUMP 00000f8a: JUMPDEST 00000f8b: ISZERO 00000f8c: ISZERO 00000f8d: PUSH2 0x0f95 00000f90: JUMPI 00000f91: PUSH1 0x00 00000f93: DUP1 00000f94: REVERT 00000f95: JUMPDEST 00000f96: PUSH2 0x0f7e 00000f99: DUP2 00000f9a: PUSH1 0x40 00000f9c: DUP1 00000f9d: MLOAD 00000f9e: SWAP1 00000f9f: DUP2 00000fa0: ADD 00000fa1: PUSH1 0x40 00000fa3: MSTORE 00000fa4: DUP1 00000fa5: PUSH1 0x06 00000fa7: DUP2 00000fa8: MSTORE 00000fa9: PUSH1 0x20 00000fab: ADD 00000fac: PUSH1 0x00 00000fae: DUP1 00000faf: MLOAD 00000fb0: PUSH1 0x20 00000fb2: PUSH2 0x21ec 00000fb5: DUP4 00000fb6: CODECOPY 00000fb7: DUP2 00000fb8: MLOAD 00000fb9: SWAP2 00000fba: MSTORE 00000fbb: DUP2 00000fbc: MSTORE 00000fbd: POP 00000fbe: PUSH2 0x1feb 00000fc1: JUMP 00000fc2: JUMPDEST 00000fc3: PUSH1 0x00 00000fc5: PUSH2 0x0fcd 00000fc8: CALLER 00000fc9: PUSH2 0x17d7 00000fcc: JUMP 00000fcd: JUMPDEST 00000fce: ISZERO 00000fcf: ISZERO 00000fd0: PUSH2 0x0fd8 00000fd3: JUMPI 00000fd4: PUSH1 0x00 00000fd6: DUP1 00000fd7: REVERT 00000fd8: JUMPDEST 00000fd9: PUSH1 0x03 00000fdb: SLOAD 00000fdc: PUSH1 0x01 00000fde: PUSH1 0xa0 00000fe0: PUSH1 0x02 00000fe2: EXP 00000fe3: SUB 00000fe4: AND 00000fe5: ISZERO 00000fe6: DUP1 00000fe7: ISZERO 00000fe8: SWAP1 00000fe9: PUSH2 0x0ffc 00000fec: JUMPI 00000fed: POP 00000fee: PUSH1 0x03 00000ff0: SLOAD 00000ff1: PUSH1 0xa0 00000ff3: PUSH1 0x02 00000ff5: EXP 00000ff6: SWAP1 00000ff7: DIV 00000ff8: PUSH1 0xff 00000ffa: AND 00000ffb: ISZERO 00000ffc: JUMPDEST 00000ffd: ISZERO 00000ffe: PUSH2 0x1006 00001001: JUMPI 00001002: PUSH1 0x00 00001004: DUP1 00001005: REVERT 00001006: JUMPDEST 00001007: PUSH1 0x01 00001009: PUSH1 0xa0 0000100b: PUSH1 0x02 0000100d: EXP 0000100e: SUB 0000100f: DUP3 00001010: AND 00001011: ISZERO 00001012: ISZERO 00001013: PUSH2 0x101b 00001016: JUMPI 00001017: PUSH1 0x00 00001019: DUP1 0000101a: REVERT 0000101b: JUMPDEST 0000101c: PUSH1 0x03 0000101e: DUP1 0000101f: SLOAD 00001020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001035: NOT 00001036: AND 00001037: PUSH1 0x01 00001039: PUSH1 0xa0 0000103b: PUSH1 0x02 0000103d: EXP 0000103e: SUB 0000103f: DUP5 00001040: AND 00001041: SWAP1 00001042: DUP2 00001043: OR 00001044: SWAP1 00001045: SWAP2 00001046: SSTORE 00001047: PUSH1 0x40 00001049: MLOAD 0000104a: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 0000106b: SWAP1 0000106c: PUSH1 0x00 0000106e: SWAP1 0000106f: LOG2 00001070: POP 00001071: PUSH1 0x01 00001073: SWAP2 00001074: SWAP1 00001075: POP 00001076: JUMP 00001077: JUMPDEST 00001078: PUSH1 0x00 0000107a: DUP1 0000107b: PUSH1 0x00 0000107d: PUSH1 0x07 0000107f: SLOAD 00001080: GT 00001081: DUP1 00001082: ISZERO 00001083: PUSH2 0x108e 00001086: JUMPI 00001087: POP 00001088: PUSH1 0x00 0000108a: PUSH1 0x08 0000108c: SLOAD 0000108d: GT 0000108e: JUMPDEST 0000108f: ISZERO 00001090: ISZERO 00001091: PUSH2 0x1099 00001094: JUMPI 00001095: PUSH1 0x00 00001097: DUP1 00001098: REVERT 00001099: JUMPDEST 0000109a: PUSH1 0x03 0000109c: SLOAD 0000109d: PUSH1 0x01 0000109f: PUSH1 0xa0 000010a1: PUSH1 0x02 000010a3: EXP 000010a4: SUB 000010a5: AND 000010a6: ISZERO 000010a7: DUP1 000010a8: ISZERO 000010a9: SWAP1 000010aa: PUSH2 0x10bd 000010ad: JUMPI 000010ae: POP 000010af: PUSH1 0x03 000010b1: SLOAD 000010b2: PUSH1 0xa0 000010b4: PUSH1 0x02 000010b6: EXP 000010b7: SWAP1 000010b8: DIV 000010b9: PUSH1 0xff 000010bb: AND 000010bc: ISZERO 000010bd: JUMPDEST 000010be: ISZERO 000010bf: PUSH2 0x10c7 000010c2: JUMPI 000010c3: PUSH1 0x00 000010c5: DUP1 000010c6: REVERT 000010c7: JUMPDEST 000010c8: PUSH1 0x01 000010ca: SLOAD 000010cb: PUSH1 0xa0 000010cd: PUSH1 0x02 000010cf: EXP 000010d0: SWAP1 000010d1: DIV 000010d2: PUSH1 0xff 000010d4: AND 000010d5: ISZERO 000010d6: PUSH2 0x10de 000010d9: JUMPI 000010da: PUSH1 0x00 000010dc: DUP1 000010dd: REVERT 000010de: JUMPDEST 000010df: DUP3 000010e0: ISZERO 000010e1: ISZERO 000010e2: PUSH2 0x10ee 000010e5: JUMPI 000010e6: PUSH1 0x00 000010e8: SWAP2 000010e9: POP 000010ea: PUSH2 0x11ee 000010ed: JUMP 000010ee: JUMPDEST 000010ef: PUSH2 0x10f7 000010f2: DUP4 000010f3: PUSH2 0x1539 000010f6: JUMP 000010f7: JUMPDEST 000010f8: SWAP1 000010f9: POP 000010fa: DUP1 000010fb: PUSH2 0x1102 000010fe: PUSH2 0x1596 00001101: JUMP 00001102: JUMPDEST 00001103: LT 00001104: ISZERO 00001105: PUSH2 0x110d 00001108: JUMPI 00001109: PUSH1 0x00 0000110b: DUP1 0000110c: REVERT 0000110d: JUMPDEST 0000110e: PUSH2 0x1115 00001111: PUSH2 0x1e8c 00001114: JUMP 00001115: JUMPDEST 00001116: PUSH1 0x40 00001118: DUP1 00001119: MLOAD 0000111a: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 0000113b: DUP2 0000113c: MSTORE 0000113d: CALLER 0000113e: PUSH1 0x04 00001140: DUP3 00001141: ADD 00001142: MSTORE 00001143: ADDRESS 00001144: PUSH1 0x24 00001146: DUP3 00001147: ADD 00001148: MSTORE 00001149: PUSH1 0x44 0000114b: DUP2 0000114c: ADD 0000114d: DUP7 0000114e: SWAP1 0000114f: MSTORE 00001150: SWAP1 00001151: MLOAD 00001152: PUSH1 0x01 00001154: PUSH1 0xa0 00001156: PUSH1 0x02 00001158: EXP 00001159: SUB 0000115a: SWAP3 0000115b: SWAP1 0000115c: SWAP3 0000115d: AND 0000115e: SWAP2 0000115f: PUSH4 0x23b872dd 00001164: SWAP2 00001165: PUSH1 0x64 00001167: DUP1 00001168: DUP3 00001169: ADD 0000116a: SWAP3 0000116b: PUSH1 0x20 0000116d: SWAP3 0000116e: SWAP1 0000116f: SWAP2 00001170: SWAP1 00001171: DUP3 00001172: SWAP1 00001173: SUB 00001174: ADD 00001175: DUP2 00001176: PUSH1 0x00 00001178: DUP8 00001179: DUP1 0000117a: EXTCODESIZE 0000117b: ISZERO 0000117c: DUP1 0000117d: ISZERO 0000117e: PUSH2 0x1186 00001181: JUMPI 00001182: PUSH1 0x00 00001184: DUP1 00001185: REVERT 00001186: JUMPDEST 00001187: POP 00001188: GAS 00001189: CALL 0000118a: ISZERO 0000118b: DUP1 0000118c: ISZERO 0000118d: PUSH2 0x119a 00001190: JUMPI 00001191: RETURNDATASIZE 00001192: PUSH1 0x00 00001194: DUP1 00001195: RETURNDATACOPY 00001196: RETURNDATASIZE 00001197: PUSH1 0x00 00001199: REVERT 0000119a: JUMPDEST 0000119b: POP 0000119c: POP 0000119d: POP 0000119e: POP 0000119f: PUSH1 0x40 000011a1: MLOAD 000011a2: RETURNDATASIZE 000011a3: PUSH1 0x20 000011a5: DUP2 000011a6: LT 000011a7: ISZERO 000011a8: PUSH2 0x11b0 000011ab: JUMPI 000011ac: PUSH1 0x00 000011ae: DUP1 000011af: REVERT 000011b0: JUMPDEST 000011b1: POP 000011b2: POP 000011b3: PUSH1 0x40 000011b5: MLOAD 000011b6: PUSH1 0x01 000011b8: PUSH1 0xa0 000011ba: PUSH1 0x02 000011bc: EXP 000011bd: SUB 000011be: DUP6 000011bf: AND 000011c0: SWAP1 000011c1: DUP3 000011c2: ISZERO 000011c3: PUSH2 0x08fc 000011c6: MUL 000011c7: SWAP1 000011c8: DUP4 000011c9: SWAP1 000011ca: PUSH1 0x00 000011cc: DUP2 000011cd: DUP2 000011ce: DUP2 000011cf: DUP6 000011d0: DUP9 000011d1: DUP9 000011d2: CALL 000011d3: SWAP4 000011d4: POP 000011d5: POP 000011d6: POP 000011d7: POP 000011d8: ISZERO 000011d9: DUP1 000011da: ISZERO 000011db: PUSH2 0x11e8 000011de: JUMPI 000011df: RETURNDATASIZE 000011e0: PUSH1 0x00 000011e2: DUP1 000011e3: RETURNDATACOPY 000011e4: RETURNDATASIZE 000011e5: PUSH1 0x00 000011e7: REVERT 000011e8: JUMPDEST 000011e9: POP 000011ea: PUSH1 0x01 000011ec: SWAP2 000011ed: POP 000011ee: JUMPDEST 000011ef: POP 000011f0: SWAP3 000011f1: SWAP2 000011f2: POP 000011f3: POP 000011f4: JUMP 000011f5: JUMPDEST 000011f6: PUSH2 0x11fe 000011f9: CALLER 000011fa: PUSH2 0x1cdf 000011fd: JUMP 000011fe: JUMPDEST 000011ff: ISZERO 00001200: ISZERO 00001201: PUSH2 0x1209 00001204: JUMPI 00001205: PUSH1 0x00 00001207: DUP1 00001208: REVERT 00001209: JUMPDEST 0000120a: PUSH1 0x01 0000120c: SLOAD 0000120d: PUSH1 0xa0 0000120f: PUSH1 0x02 00001211: EXP 00001212: SWAP1 00001213: DIV 00001214: PUSH1 0xff 00001216: AND 00001217: ISZERO 00001218: ISZERO 00001219: PUSH2 0x1221 0000121c: JUMPI 0000121d: PUSH1 0x00 0000121f: DUP1 00001220: REVERT 00001221: JUMPDEST 00001222: PUSH1 0x01 00001224: DUP1 00001225: SLOAD 00001226: PUSH21 0xff0000000000000000000000000000000000000000 0000123c: NOT 0000123d: AND 0000123e: SWAP1 0000123f: SSTORE 00001240: PUSH1 0x40 00001242: MLOAD 00001243: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00001264: SWAP1 00001265: PUSH1 0x00 00001267: SWAP1 00001268: LOG1 00001269: JUMP 0000126a: JUMPDEST 0000126b: PUSH1 0x40 0000126d: DUP1 0000126e: MLOAD 0000126f: DUP1 00001270: DUP3 00001271: ADD 00001272: SWAP1 00001273: SWAP2 00001274: MSTORE 00001275: PUSH1 0x08 00001277: DUP2 00001278: MSTORE 00001279: PUSH1 0x00 0000127b: DUP1 0000127c: MLOAD 0000127d: PUSH1 0x20 0000127f: PUSH2 0x220c 00001282: DUP4 00001283: CODECOPY 00001284: DUP2 00001285: MLOAD 00001286: SWAP2 00001287: MSTORE 00001288: PUSH1 0x20 0000128a: DUP3 0000128b: ADD 0000128c: MSTORE 0000128d: DUP2 0000128e: JUMP 0000128f: JUMPDEST 00001290: PUSH2 0x1299 00001293: DUP4 00001294: DUP3 00001295: PUSH2 0x1077 00001298: JUMP 00001299: JUMPDEST 0000129a: POP 0000129b: POP 0000129c: POP 0000129d: POP 0000129e: POP 0000129f: JUMP 000012a0: JUMPDEST 000012a1: PUSH1 0x40 000012a3: DUP1 000012a4: MLOAD 000012a5: DUP1 000012a6: DUP3 000012a7: ADD 000012a8: SWAP1 000012a9: SWAP2 000012aa: MSTORE 000012ab: PUSH1 0x06 000012ad: DUP2 000012ae: MSTORE 000012af: PUSH1 0x00 000012b1: DUP1 000012b2: MLOAD 000012b3: PUSH1 0x20 000012b5: PUSH2 0x21ec 000012b8: DUP4 000012b9: CODECOPY 000012ba: DUP2 000012bb: MLOAD 000012bc: SWAP2 000012bd: MSTORE 000012be: PUSH1 0x20 000012c0: DUP3 000012c1: ADD 000012c2: MSTORE 000012c3: DUP2 000012c4: JUMP 000012c5: JUMPDEST 000012c6: PUSH1 0x00 000012c8: PUSH2 0x12d0 000012cb: CALLER 000012cc: PUSH2 0x1d26 000012cf: JUMP 000012d0: JUMPDEST 000012d1: ISZERO 000012d2: ISZERO 000012d3: PUSH2 0x12db 000012d6: JUMPI 000012d7: PUSH1 0x00 000012d9: DUP1 000012da: REVERT 000012db: JUMPDEST 000012dc: ADDRESS 000012dd: BALANCE 000012de: DUP3 000012df: GT 000012e0: ISZERO 000012e1: PUSH2 0x12e9 000012e4: JUMPI 000012e5: PUSH1 0x00 000012e7: DUP1 000012e8: REVERT 000012e9: JUMPDEST 000012ea: PUSH1 0x40 000012ec: MLOAD 000012ed: PUSH1 0x01 000012ef: PUSH1 0xa0 000012f1: PUSH1 0x02 000012f3: EXP 000012f4: SUB 000012f5: DUP5 000012f6: AND 000012f7: SWAP1 000012f8: DUP4 000012f9: ISZERO 000012fa: PUSH2 0x08fc 000012fd: MUL 000012fe: SWAP1 000012ff: DUP5 00001300: SWAP1 00001301: PUSH1 0x00 00001303: DUP2 00001304: DUP2 00001305: DUP2 00001306: DUP6 00001307: DUP9 00001308: DUP9 00001309: CALL 0000130a: SWAP4 0000130b: POP 0000130c: POP 0000130d: POP 0000130e: POP 0000130f: ISZERO 00001310: DUP1 00001311: ISZERO 00001312: PUSH2 0x131f 00001315: JUMPI 00001316: RETURNDATASIZE 00001317: PUSH1 0x00 00001319: DUP1 0000131a: RETURNDATACOPY 0000131b: RETURNDATASIZE 0000131c: PUSH1 0x00 0000131e: REVERT 0000131f: JUMPDEST 00001320: POP 00001321: PUSH2 0x0db2 00001324: PUSH2 0x1596 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH1 0x00 0000132b: PUSH2 0x1332 0000132e: PUSH2 0x1e8c 00001331: JUMP 00001332: JUMPDEST 00001333: PUSH1 0x01 00001335: PUSH1 0xa0 00001337: PUSH1 0x02 00001339: EXP 0000133a: SUB 0000133b: AND 0000133c: PUSH4 0x70a08231 00001341: ADDRESS 00001342: PUSH1 0x40 00001344: MLOAD 00001345: DUP3 00001346: PUSH4 0xffffffff 0000134b: AND 0000134c: PUSH1 0xe0 0000134e: PUSH1 0x02 00001350: EXP 00001351: MUL 00001352: DUP2 00001353: MSTORE 00001354: PUSH1 0x04 00001356: ADD 00001357: DUP1 00001358: DUP3 00001359: PUSH1 0x01 0000135b: PUSH1 0xa0 0000135d: PUSH1 0x02 0000135f: EXP 00001360: SUB 00001361: AND 00001362: PUSH1 0x01 00001364: PUSH1 0xa0 00001366: PUSH1 0x02 00001368: EXP 00001369: SUB 0000136a: AND 0000136b: DUP2 0000136c: MSTORE 0000136d: PUSH1 0x20 0000136f: ADD 00001370: SWAP2 00001371: POP 00001372: POP 00001373: PUSH1 0x20 00001375: PUSH1 0x40 00001377: MLOAD 00001378: DUP1 00001379: DUP4 0000137a: SUB 0000137b: DUP2 0000137c: PUSH1 0x00 0000137e: DUP8 0000137f: DUP1 00001380: EXTCODESIZE 00001381: ISZERO 00001382: DUP1 00001383: ISZERO 00001384: PUSH2 0x138c 00001387: JUMPI 00001388: PUSH1 0x00 0000138a: DUP1 0000138b: REVERT 0000138c: JUMPDEST 0000138d: POP 0000138e: GAS 0000138f: CALL 00001390: ISZERO 00001391: DUP1 00001392: ISZERO 00001393: PUSH2 0x13a0 00001396: JUMPI 00001397: RETURNDATASIZE 00001398: PUSH1 0x00 0000139a: DUP1 0000139b: RETURNDATACOPY 0000139c: RETURNDATASIZE 0000139d: PUSH1 0x00 0000139f: REVERT 000013a0: JUMPDEST 000013a1: POP 000013a2: POP 000013a3: POP 000013a4: POP 000013a5: PUSH1 0x40 000013a7: MLOAD 000013a8: RETURNDATASIZE 000013a9: PUSH1 0x20 000013ab: DUP2 000013ac: LT 000013ad: ISZERO 000013ae: PUSH2 0x13b6 000013b1: JUMPI 000013b2: PUSH1 0x00 000013b4: DUP1 000013b5: REVERT 000013b6: JUMPDEST 000013b7: POP 000013b8: MLOAD 000013b9: SWAP1 000013ba: POP 000013bb: JUMPDEST 000013bc: SWAP1 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH1 0x00 000013c1: DUP1 000013c2: PUSH2 0x13ca 000013c5: DUP4 000013c6: PUSH2 0x1539 000013c9: JUMP 000013ca: JUMPDEST 000013cb: SWAP1 000013cc: POP 000013cd: DUP1 000013ce: PUSH2 0x13d5 000013d1: PUSH2 0x1596 000013d4: JUMP 000013d5: JUMPDEST 000013d6: LT 000013d7: ISZERO 000013d8: SWAP4 000013d9: SWAP3 000013da: POP 000013db: POP 000013dc: POP 000013dd: JUMP 000013de: JUMPDEST 000013df: PUSH1 0x00 000013e1: PUSH2 0x13e9 000013e4: CALLER 000013e5: PUSH2 0x1d26 000013e8: JUMP 000013e9: JUMPDEST 000013ea: ISZERO 000013eb: ISZERO 000013ec: PUSH2 0x13f4 000013ef: JUMPI 000013f0: PUSH1 0x00 000013f2: DUP1 000013f3: REVERT 000013f4: JUMPDEST 000013f5: PUSH2 0x13fc 000013f8: PUSH2 0x1e8c 000013fb: JUMP 000013fc: JUMPDEST 000013fd: PUSH1 0x01 000013ff: PUSH1 0xa0 00001401: PUSH1 0x02 00001403: EXP 00001404: SUB 00001405: AND 00001406: PUSH4 0xa9059cbb 0000140b: DUP5 0000140c: DUP5 0000140d: PUSH1 0x40 0000140f: MLOAD 00001410: DUP4 00001411: PUSH4 0xffffffff 00001416: AND 00001417: PUSH1 0xe0 00001419: PUSH1 0x02 0000141b: EXP 0000141c: MUL 0000141d: DUP2 0000141e: MSTORE 0000141f: PUSH1 0x04 00001421: ADD 00001422: DUP1 00001423: DUP4 00001424: PUSH1 0x01 00001426: PUSH1 0xa0 00001428: PUSH1 0x02 0000142a: EXP 0000142b: SUB 0000142c: AND 0000142d: PUSH1 0x01 0000142f: PUSH1 0xa0 00001431: PUSH1 0x02 00001433: EXP 00001434: SUB 00001435: AND 00001436: DUP2 00001437: MSTORE 00001438: PUSH1 0x20 0000143a: ADD 0000143b: DUP3 0000143c: DUP2 0000143d: MSTORE 0000143e: PUSH1 0x20 00001440: ADD 00001441: SWAP3 00001442: POP 00001443: POP 00001444: POP 00001445: PUSH1 0x20 00001447: PUSH1 0x40 00001449: MLOAD 0000144a: DUP1 0000144b: DUP4 0000144c: SUB 0000144d: DUP2 0000144e: PUSH1 0x00 00001450: DUP8 00001451: DUP1 00001452: EXTCODESIZE 00001453: ISZERO 00001454: DUP1 00001455: ISZERO 00001456: PUSH2 0x0d7d 00001459: JUMPI 0000145a: PUSH1 0x00 0000145c: DUP1 0000145d: REVERT 0000145e: JUMPDEST 0000145f: PUSH1 0x01 00001461: SLOAD 00001462: PUSH1 0xa0 00001464: PUSH1 0x02 00001466: EXP 00001467: SWAP1 00001468: DIV 00001469: PUSH1 0xff 0000146b: AND 0000146c: DUP2 0000146d: JUMP 0000146e: JUMPDEST 0000146f: PUSH1 0x00 00001471: PUSH2 0x1479 00001474: DUP3 00001475: PUSH2 0x1cdf 00001478: JUMP 00001479: JUMPDEST 0000147a: DUP1 0000147b: PUSH2 0x14ac 0000147e: JUMPI 0000147f: POP 00001480: PUSH2 0x14ac 00001483: DUP3 00001484: PUSH1 0x40 00001486: DUP1 00001487: MLOAD 00001488: SWAP1 00001489: DUP2 0000148a: ADD 0000148b: PUSH1 0x40 0000148d: MSTORE 0000148e: DUP1 0000148f: PUSH1 0x0a 00001491: DUP2 00001492: MSTORE 00001493: PUSH1 0x20 00001495: ADD 00001496: PUSH1 0x00 00001498: DUP1 00001499: MLOAD 0000149a: PUSH1 0x20 0000149c: PUSH2 0x21ac 0000149f: DUP4 000014a0: CODECOPY 000014a1: DUP2 000014a2: MLOAD 000014a3: SWAP2 000014a4: MSTORE 000014a5: DUP2 000014a6: MSTORE 000014a7: POP 000014a8: PUSH2 0x0e57 000014ab: JUMP 000014ac: JUMPDEST 000014ad: SWAP3 000014ae: SWAP2 000014af: POP 000014b0: POP 000014b1: JUMP 000014b2: JUMPDEST 000014b3: PUSH1 0x00 000014b5: PUSH2 0x14bd 000014b8: CALLER 000014b9: PUSH2 0x17d7 000014bc: JUMP 000014bd: JUMPDEST 000014be: ISZERO 000014bf: ISZERO 000014c0: PUSH2 0x14c8 000014c3: JUMPI 000014c4: PUSH1 0x00 000014c6: DUP1 000014c7: REVERT 000014c8: JUMPDEST 000014c9: PUSH1 0x01 000014cb: PUSH1 0xa0 000014cd: PUSH1 0x02 000014cf: EXP 000014d0: SUB 000014d1: DUP3 000014d2: AND 000014d3: ISZERO 000014d4: ISZERO 000014d5: PUSH2 0x14dd 000014d8: JUMPI 000014d9: PUSH1 0x00 000014db: DUP1 000014dc: REVERT 000014dd: JUMPDEST 000014de: PUSH1 0x02 000014e0: DUP1 000014e1: SLOAD 000014e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f7: NOT 000014f8: AND 000014f9: PUSH1 0x01 000014fb: PUSH1 0xa0 000014fd: PUSH1 0x02 000014ff: EXP 00001500: SUB 00001501: DUP5 00001502: AND 00001503: SWAP1 00001504: DUP2 00001505: OR 00001506: SWAP1 00001507: SWAP2 00001508: SSTORE 00001509: PUSH1 0x40 0000150b: MLOAD 0000150c: PUSH32 0x75c09cedaf6c35dc577b0fd0a8c77c569c84be03eae895084c7c60788eac7d64 0000152d: SWAP1 0000152e: PUSH1 0x00 00001530: SWAP1 00001531: LOG2 00001532: POP 00001533: PUSH1 0x01 00001535: SWAP2 00001536: SWAP1 00001537: POP 00001538: JUMP 00001539: JUMPDEST 0000153a: PUSH1 0x08 0000153c: SLOAD 0000153d: MUL 0000153e: SWAP1 0000153f: JUMP 00001540: JUMPDEST 00001541: PUSH1 0x08 00001543: SLOAD 00001544: DUP2 00001545: JUMP 00001546: JUMPDEST 00001547: PUSH2 0x154f 0000154a: CALLER 0000154b: PUSH2 0x1cdf 0000154e: JUMP 0000154f: JUMPDEST 00001550: ISZERO 00001551: ISZERO 00001552: PUSH2 0x155a 00001555: JUMPI 00001556: PUSH1 0x00 00001558: DUP1 00001559: REVERT 0000155a: JUMPDEST 0000155b: PUSH2 0x0f7e 0000155e: DUP2 0000155f: PUSH1 0x40 00001561: DUP1 00001562: MLOAD 00001563: SWAP1 00001564: DUP2 00001565: ADD 00001566: PUSH1 0x40 00001568: MSTORE 00001569: DUP1 0000156a: PUSH1 0x0a 0000156c: DUP2 0000156d: MSTORE 0000156e: PUSH1 0x20 00001570: ADD 00001571: PUSH1 0x00 00001573: DUP1 00001574: MLOAD 00001575: PUSH1 0x20 00001577: PUSH2 0x21ac 0000157a: DUP4 0000157b: CODECOPY 0000157c: DUP2 0000157d: MLOAD 0000157e: SWAP2 0000157f: MSTORE 00001580: DUP2 00001581: MSTORE 00001582: POP 00001583: PUSH2 0x1eca 00001586: JUMP 00001587: JUMPDEST 00001588: PUSH1 0x03 0000158a: SLOAD 0000158b: PUSH1 0x01 0000158d: PUSH1 0xa0 0000158f: PUSH1 0x02 00001591: EXP 00001592: SUB 00001593: AND 00001594: DUP2 00001595: JUMP 00001596: JUMPDEST 00001597: ADDRESS 00001598: BALANCE 00001599: SWAP1 0000159a: JUMP 0000159b: JUMPDEST 0000159c: PUSH1 0x01 0000159e: SLOAD 0000159f: PUSH1 0x01 000015a1: PUSH1 0xa0 000015a3: PUSH1 0x02 000015a5: EXP 000015a6: SUB 000015a7: AND 000015a8: CALLER 000015a9: EQ 000015aa: PUSH2 0x15b2 000015ad: JUMPI 000015ae: PUSH1 0x00 000015b0: DUP1 000015b1: REVERT 000015b2: JUMPDEST 000015b3: PUSH1 0x01 000015b5: SLOAD 000015b6: PUSH1 0x40 000015b8: MLOAD 000015b9: PUSH1 0x01 000015bb: PUSH1 0xa0 000015bd: PUSH1 0x02 000015bf: EXP 000015c0: SUB 000015c1: SWAP1 000015c2: SWAP2 000015c3: AND 000015c4: SWAP1 000015c5: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 000015e6: SWAP1 000015e7: PUSH1 0x00 000015e9: SWAP1 000015ea: LOG2 000015eb: PUSH1 0x01 000015ed: DUP1 000015ee: SLOAD 000015ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001604: NOT 00001605: AND 00001606: SWAP1 00001607: SSTORE 00001608: JUMP 00001609: JUMPDEST 0000160a: PUSH1 0x00 0000160c: PUSH2 0x1614 0000160f: CALLER 00001610: PUSH2 0x1cdf 00001613: JUMP 00001614: JUMPDEST 00001615: ISZERO 00001616: ISZERO 00001617: PUSH2 0x161f 0000161a: JUMPI 0000161b: PUSH1 0x00 0000161d: DUP1 0000161e: REVERT 0000161f: JUMPDEST 00001620: POP 00001621: PUSH1 0x03 00001623: DUP1 00001624: SLOAD 00001625: PUSH21 0xff0000000000000000000000000000000000000000 0000163b: NOT 0000163c: AND 0000163d: PUSH1 0xa0 0000163f: PUSH1 0x02 00001641: EXP 00001642: SWAP3 00001643: ISZERO 00001644: ISZERO 00001645: DUP4 00001646: MUL 00001647: OR 00001648: SWAP1 00001649: DUP2 0000164a: SWAP1 0000164b: SSTORE 0000164c: PUSH1 0xff 0000164e: SWAP2 0000164f: SWAP1 00001650: DIV 00001651: AND 00001652: SWAP1 00001653: JUMP 00001654: JUMPDEST 00001655: PUSH1 0x00 00001657: PUSH2 0x165e 0000165a: PUSH2 0x1e8c 0000165d: JUMP 0000165e: JUMPDEST 0000165f: PUSH1 0x01 00001661: PUSH1 0xa0 00001663: PUSH1 0x02 00001665: EXP 00001666: SUB 00001667: AND 00001668: PUSH4 0x6bd55ae9 0000166d: ADDRESS 0000166e: DUP5 0000166f: PUSH1 0x40 00001671: MLOAD 00001672: DUP4 00001673: PUSH4 0xffffffff 00001678: AND 00001679: PUSH1 0xe0 0000167b: PUSH1 0x02 0000167d: EXP 0000167e: MUL 0000167f: DUP2 00001680: MSTORE 00001681: PUSH1 0x04 00001683: ADD 00001684: DUP1 00001685: DUP4 00001686: PUSH1 0x01 00001688: PUSH1 0xa0 0000168a: PUSH1 0x02 0000168c: EXP 0000168d: SUB 0000168e: AND 0000168f: PUSH1 0x01 00001691: PUSH1 0xa0 00001693: PUSH1 0x02 00001695: EXP 00001696: SUB 00001697: AND 00001698: DUP2 00001699: MSTORE 0000169a: PUSH1 0x20 0000169c: ADD 0000169d: DUP3 0000169e: DUP2 0000169f: MSTORE 000016a0: PUSH1 0x20 000016a2: ADD 000016a3: SWAP3 000016a4: POP 000016a5: POP 000016a6: POP 000016a7: PUSH1 0x20 000016a9: PUSH1 0x40 000016ab: MLOAD 000016ac: DUP1 000016ad: DUP4 000016ae: SUB 000016af: DUP2 000016b0: PUSH1 0x00 000016b2: DUP8 000016b3: DUP1 000016b4: EXTCODESIZE 000016b5: ISZERO 000016b6: DUP1 000016b7: ISZERO 000016b8: PUSH2 0x16c0 000016bb: JUMPI 000016bc: PUSH1 0x00 000016be: DUP1 000016bf: REVERT 000016c0: JUMPDEST 000016c1: POP 000016c2: GAS 000016c3: CALL 000016c4: ISZERO 000016c5: DUP1 000016c6: ISZERO 000016c7: PUSH2 0x16d4 000016ca: JUMPI 000016cb: RETURNDATASIZE 000016cc: PUSH1 0x00 000016ce: DUP1 000016cf: RETURNDATACOPY 000016d0: RETURNDATASIZE 000016d1: PUSH1 0x00 000016d3: REVERT 000016d4: JUMPDEST 000016d5: POP 000016d6: POP 000016d7: POP 000016d8: POP 000016d9: PUSH1 0x40 000016db: MLOAD 000016dc: RETURNDATASIZE 000016dd: PUSH1 0x20 000016df: DUP2 000016e0: LT 000016e1: ISZERO 000016e2: PUSH2 0x16ea 000016e5: JUMPI 000016e6: PUSH1 0x00 000016e8: DUP1 000016e9: REVERT 000016ea: JUMPDEST 000016eb: POP 000016ec: MLOAD 000016ed: SWAP3 000016ee: SWAP2 000016ef: POP 000016f0: POP 000016f1: JUMP 000016f2: JUMPDEST 000016f3: PUSH2 0x16fb 000016f6: CALLER 000016f7: PUSH2 0x1cdf 000016fa: JUMP 000016fb: JUMPDEST 000016fc: ISZERO 000016fd: ISZERO 000016fe: PUSH2 0x1706 00001701: JUMPI 00001702: PUSH1 0x00 00001704: DUP1 00001705: REVERT 00001706: JUMPDEST 00001707: PUSH1 0x01 00001709: SLOAD 0000170a: PUSH1 0xa0 0000170c: PUSH1 0x02 0000170e: EXP 0000170f: SWAP1 00001710: DIV 00001711: PUSH1 0xff 00001713: AND 00001714: ISZERO 00001715: PUSH2 0x171d 00001718: JUMPI 00001719: PUSH1 0x00 0000171b: DUP1 0000171c: REVERT 0000171d: JUMPDEST 0000171e: PUSH1 0x01 00001720: DUP1 00001721: SLOAD 00001722: PUSH21 0xff0000000000000000000000000000000000000000 00001738: NOT 00001739: AND 0000173a: PUSH1 0xa0 0000173c: PUSH1 0x02 0000173e: EXP 0000173f: OR 00001740: SWAP1 00001741: SSTORE 00001742: PUSH1 0x40 00001744: MLOAD 00001745: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00001766: SWAP1 00001767: PUSH1 0x00 00001769: SWAP1 0000176a: LOG1 0000176b: JUMP 0000176c: JUMPDEST 0000176d: POP 0000176e: POP 0000176f: POP 00001770: POP 00001771: JUMP 00001772: JUMPDEST 00001773: PUSH2 0x177b 00001776: CALLER 00001777: PUSH2 0x1cdf 0000177a: JUMP 0000177b: JUMPDEST 0000177c: ISZERO 0000177d: ISZERO 0000177e: PUSH2 0x1786 00001781: JUMPI 00001782: PUSH1 0x00 00001784: DUP1 00001785: REVERT 00001786: JUMPDEST 00001787: PUSH2 0x0e23 0000178a: DUP3 0000178b: DUP3 0000178c: PUSH2 0x1feb 0000178f: JUMP 00001790: JUMPDEST 00001791: PUSH1 0x01 00001793: SLOAD 00001794: PUSH1 0x01 00001796: PUSH1 0xa0 00001798: PUSH1 0x02 0000179a: EXP 0000179b: SUB 0000179c: AND 0000179d: DUP2 0000179e: JUMP 0000179f: JUMPDEST 000017a0: PUSH1 0x01 000017a2: SLOAD 000017a3: PUSH22 0x01000000000000000000000000000000000000000000 000017ba: SWAP1 000017bb: DIV 000017bc: PUSH1 0x00 000017be: SIGNEXTEND 000017bf: DUP2 000017c0: JUMP 000017c1: JUMPDEST 000017c2: PUSH1 0x00 000017c4: PUSH1 0x07 000017c6: SLOAD 000017c7: DUP3 000017c8: DUP2 000017c9: ISZERO 000017ca: ISZERO 000017cb: PUSH2 0x17d0 000017ce: JUMPI 000017cf: INVALID 000017d0: JUMPDEST 000017d1: DIV 000017d2: SWAP3 000017d3: SWAP2 000017d4: POP 000017d5: POP 000017d6: JUMP 000017d7: JUMPDEST 000017d8: PUSH1 0x00 000017da: PUSH2 0x17e2 000017dd: DUP3 000017de: PUSH2 0x1cdf 000017e1: JUMP 000017e2: JUMPDEST 000017e3: DUP1 000017e4: PUSH2 0x14ac 000017e7: JUMPI 000017e8: POP 000017e9: PUSH2 0x14ac 000017ec: DUP3 000017ed: PUSH1 0x40 000017ef: DUP1 000017f0: MLOAD 000017f1: SWAP1 000017f2: DUP2 000017f3: ADD 000017f4: PUSH1 0x40 000017f6: MSTORE 000017f7: DUP1 000017f8: PUSH1 0x07 000017fa: DUP2 000017fb: MSTORE 000017fc: PUSH1 0x20 000017fe: ADD 000017ff: PUSH32 0x7570677261646500000000000000000000000000000000000000000000000000 00001820: DUP2 00001821: MSTORE 00001822: POP 00001823: PUSH2 0x0e57 00001826: JUMP 00001827: JUMPDEST 00001828: PUSH1 0x00 0000182a: PUSH2 0x1832 0000182d: CALLER 0000182e: PUSH2 0x146e 00001831: JUMP 00001832: JUMPDEST 00001833: ISZERO 00001834: ISZERO 00001835: PUSH2 0x183d 00001838: JUMPI 00001839: PUSH1 0x00 0000183b: DUP1 0000183c: REVERT 0000183d: JUMPDEST 0000183e: PUSH1 0x07 00001840: SLOAD 00001841: DUP4 00001842: EQ 00001843: PUSH2 0x18b2 00001846: JUMPI 00001847: PUSH1 0x07 00001849: DUP4 0000184a: SWAP1 0000184b: SSTORE 0000184c: PUSH1 0x40 0000184e: DUP1 0000184f: MLOAD 00001850: PUSH1 0x20 00001852: DUP2 00001853: ADD 00001854: DUP6 00001855: SWAP1 00001856: MSTORE 00001857: DUP2 00001858: DUP2 00001859: MSTORE 0000185a: PUSH1 0x03 0000185c: DUP2 0000185d: DUP4 0000185e: ADD 0000185f: MSTORE 00001860: PUSH32 0x6275790000000000000000000000000000000000000000000000000000000000 00001881: PUSH1 0x60 00001883: DUP3 00001884: ADD 00001885: MSTORE 00001886: SWAP1 00001887: MLOAD 00001888: PUSH32 0x08a939c37ee72639aba781c059a112a9eb3fb55395f27338779c5efe54991366 000018a9: SWAP2 000018aa: DUP2 000018ab: SWAP1 000018ac: SUB 000018ad: PUSH1 0x80 000018af: ADD 000018b0: SWAP1 000018b1: LOG1 000018b2: JUMPDEST 000018b3: PUSH1 0x08 000018b5: SLOAD 000018b6: DUP3 000018b7: EQ 000018b8: PUSH2 0x1927 000018bb: JUMPI 000018bc: PUSH1 0x08 000018be: DUP3 000018bf: SWAP1 000018c0: SSTORE 000018c1: PUSH1 0x40 000018c3: DUP1 000018c4: MLOAD 000018c5: PUSH1 0x20 000018c7: DUP2 000018c8: ADD 000018c9: DUP5 000018ca: SWAP1 000018cb: MSTORE 000018cc: DUP2 000018cd: DUP2 000018ce: MSTORE 000018cf: PUSH1 0x04 000018d1: DUP2 000018d2: DUP4 000018d3: ADD 000018d4: MSTORE 000018d5: PUSH32 0x73656c6c00000000000000000000000000000000000000000000000000000000 000018f6: PUSH1 0x60 000018f8: DUP3 000018f9: ADD 000018fa: MSTORE 000018fb: SWAP1 000018fc: MLOAD 000018fd: PUSH32 0x08a939c37ee72639aba781c059a112a9eb3fb55395f27338779c5efe54991366 0000191e: SWAP2 0000191f: DUP2 00001920: SWAP1 00001921: SUB 00001922: PUSH1 0x80 00001924: ADD 00001925: SWAP1 00001926: LOG1 00001927: JUMPDEST 00001928: POP 00001929: PUSH1 0x01 0000192b: SWAP3 0000192c: SWAP2 0000192d: POP 0000192e: POP 0000192f: JUMP 00001930: JUMPDEST 00001931: PUSH2 0x1939 00001934: CALLER 00001935: PUSH2 0x1cdf 00001938: JUMP 00001939: JUMPDEST 0000193a: ISZERO 0000193b: ISZERO 0000193c: PUSH2 0x1944 0000193f: JUMPI 00001940: PUSH1 0x00 00001942: DUP1 00001943: REVERT 00001944: JUMPDEST 00001945: PUSH2 0x0f7e 00001948: DUP2 00001949: PUSH1 0x40 0000194b: DUP1 0000194c: MLOAD 0000194d: SWAP1 0000194e: DUP2 0000194f: ADD 00001950: PUSH1 0x40 00001952: MSTORE 00001953: DUP1 00001954: PUSH1 0x05 00001956: DUP2 00001957: MSTORE 00001958: PUSH1 0x20 0000195a: ADD 0000195b: PUSH1 0x00 0000195d: DUP1 0000195e: MLOAD 0000195f: PUSH1 0x20 00001961: PUSH2 0x21cc 00001964: DUP4 00001965: CODECOPY 00001966: DUP2 00001967: MLOAD 00001968: SWAP2 00001969: MSTORE 0000196a: DUP2 0000196b: MSTORE 0000196c: POP 0000196d: PUSH2 0x1772 00001970: JUMP 00001971: JUMPDEST 00001972: PUSH1 0x00 00001974: PUSH2 0x197c 00001977: DUP3 00001978: PUSH2 0x1cdf 0000197b: JUMP 0000197c: JUMPDEST 0000197d: DUP1 0000197e: PUSH2 0x14ac 00001981: JUMPI 00001982: POP 00001983: PUSH2 0x14ac 00001986: DUP3 00001987: PUSH1 0x40 00001989: DUP1 0000198a: MLOAD 0000198b: SWAP1 0000198c: DUP2 0000198d: ADD 0000198e: PUSH1 0x40 00001990: MSTORE 00001991: DUP1 00001992: PUSH1 0x06 00001994: DUP2 00001995: MSTORE 00001996: PUSH1 0x20 00001998: ADD 00001999: PUSH1 0x00 0000199b: DUP1 0000199c: MLOAD 0000199d: PUSH1 0x20 0000199f: PUSH2 0x21ec 000019a2: DUP4 000019a3: CODECOPY 000019a4: DUP2 000019a5: MLOAD 000019a6: SWAP2 000019a7: MSTORE 000019a8: DUP2 000019a9: MSTORE 000019aa: POP 000019ab: PUSH2 0x0e57 000019ae: JUMP 000019af: JUMPDEST 000019b0: PUSH1 0x05 000019b2: DUP1 000019b3: SLOAD 000019b4: PUSH1 0x40 000019b6: DUP1 000019b7: MLOAD 000019b8: PUSH1 0x20 000019ba: PUSH1 0x02 000019bc: PUSH1 0x01 000019be: DUP6 000019bf: AND 000019c0: ISZERO 000019c1: PUSH2 0x0100 000019c4: MUL 000019c5: PUSH1 0x00 000019c7: NOT 000019c8: ADD 000019c9: SWAP1 000019ca: SWAP5 000019cb: AND 000019cc: SWAP4 000019cd: SWAP1 000019ce: SWAP4 000019cf: DIV 000019d0: PUSH1 0x1f 000019d2: DUP2 000019d3: ADD 000019d4: DUP5 000019d5: SWAP1 000019d6: DIV 000019d7: DUP5 000019d8: MUL 000019d9: DUP3 000019da: ADD 000019db: DUP5 000019dc: ADD 000019dd: SWAP1 000019de: SWAP3 000019df: MSTORE 000019e0: DUP2 000019e1: DUP2 000019e2: MSTORE 000019e3: SWAP3 000019e4: SWAP2 000019e5: DUP4 000019e6: ADD 000019e7: DUP3 000019e8: DUP3 000019e9: DUP1 000019ea: ISZERO 000019eb: PUSH2 0x1a35 000019ee: JUMPI 000019ef: DUP1 000019f0: PUSH1 0x1f 000019f2: LT 000019f3: PUSH2 0x1a0a 000019f6: JUMPI 000019f7: PUSH2 0x0100 000019fa: DUP1 000019fb: DUP4 000019fc: SLOAD 000019fd: DIV 000019fe: MUL 000019ff: DUP4 00001a00: MSTORE 00001a01: SWAP2 00001a02: PUSH1 0x20 00001a04: ADD 00001a05: SWAP2 00001a06: PUSH2 0x1a35 00001a09: JUMP 00001a0a: JUMPDEST 00001a0b: DUP3 00001a0c: ADD 00001a0d: SWAP2 00001a0e: SWAP1 00001a0f: PUSH1 0x00 00001a11: MSTORE 00001a12: PUSH1 0x20 00001a14: PUSH1 0x00 00001a16: KECCAK256 00001a17: SWAP1 00001a18: JUMPDEST 00001a19: DUP2 00001a1a: SLOAD 00001a1b: DUP2 00001a1c: MSTORE 00001a1d: SWAP1 00001a1e: PUSH1 0x01 00001a20: ADD 00001a21: SWAP1 00001a22: PUSH1 0x20 00001a24: ADD 00001a25: DUP1 00001a26: DUP4 00001a27: GT 00001a28: PUSH2 0x1a18 00001a2b: JUMPI 00001a2c: DUP3 00001a2d: SWAP1 00001a2e: SUB 00001a2f: PUSH1 0x1f 00001a31: AND 00001a32: DUP3 00001a33: ADD 00001a34: SWAP2 00001a35: JUMPDEST 00001a36: POP 00001a37: POP 00001a38: POP 00001a39: POP 00001a3a: POP 00001a3b: DUP2 00001a3c: JUMP 00001a3d: JUMPDEST 00001a3e: PUSH2 0x1a46 00001a41: CALLER 00001a42: PUSH2 0x1cdf 00001a45: JUMP 00001a46: JUMPDEST 00001a47: ISZERO 00001a48: ISZERO 00001a49: PUSH2 0x1a51 00001a4c: JUMPI 00001a4d: PUSH1 0x00 00001a4f: DUP1 00001a50: REVERT 00001a51: JUMPDEST 00001a52: PUSH2 0x0e23 00001a55: DUP3 00001a56: DUP3 00001a57: PUSH2 0x1eca 00001a5a: JUMP 00001a5b: JUMPDEST 00001a5c: PUSH1 0x02 00001a5e: SLOAD 00001a5f: PUSH1 0x01 00001a61: PUSH1 0xa0 00001a63: PUSH1 0x02 00001a65: EXP 00001a66: SUB 00001a67: AND 00001a68: DUP2 00001a69: JUMP 00001a6a: JUMPDEST 00001a6b: PUSH1 0x40 00001a6d: DUP1 00001a6e: MLOAD 00001a6f: DUP1 00001a70: DUP3 00001a71: ADD 00001a72: SWAP1 00001a73: SWAP2 00001a74: MSTORE 00001a75: PUSH1 0x0a 00001a77: DUP2 00001a78: MSTORE 00001a79: PUSH1 0x00 00001a7b: DUP1 00001a7c: MLOAD 00001a7d: PUSH1 0x20 00001a7f: PUSH2 0x21ac 00001a82: DUP4 00001a83: CODECOPY 00001a84: DUP2 00001a85: MLOAD 00001a86: SWAP2 00001a87: MSTORE 00001a88: PUSH1 0x20 00001a8a: DUP3 00001a8b: ADD 00001a8c: MSTORE 00001a8d: DUP2 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: PUSH1 0x04 00001a92: SLOAD 00001a93: PUSH1 0x01 00001a95: PUSH1 0xa0 00001a97: PUSH1 0x02 00001a99: EXP 00001a9a: SUB 00001a9b: AND 00001a9c: DUP2 00001a9d: JUMP 00001a9e: JUMPDEST 00001a9f: PUSH2 0x1aa7 00001aa2: CALLER 00001aa3: PUSH2 0x1cdf 00001aa6: JUMP 00001aa7: JUMPDEST 00001aa8: ISZERO 00001aa9: ISZERO 00001aaa: PUSH2 0x1ab2 00001aad: JUMPI 00001aae: PUSH1 0x00 00001ab0: DUP1 00001ab1: REVERT 00001ab2: JUMPDEST 00001ab3: PUSH2 0x0f7e 00001ab6: DUP2 00001ab7: PUSH1 0x40 00001ab9: DUP1 00001aba: MLOAD 00001abb: SWAP1 00001abc: DUP2 00001abd: ADD 00001abe: PUSH1 0x40 00001ac0: MSTORE 00001ac1: DUP1 00001ac2: PUSH1 0x08 00001ac4: DUP2 00001ac5: MSTORE 00001ac6: PUSH1 0x20 00001ac8: ADD 00001ac9: PUSH1 0x00 00001acb: DUP1 00001acc: MLOAD 00001acd: PUSH1 0x20 00001acf: PUSH2 0x220c 00001ad2: DUP4 00001ad3: CODECOPY 00001ad4: DUP2 00001ad5: MLOAD 00001ad6: SWAP2 00001ad7: MSTORE 00001ad8: DUP2 00001ad9: MSTORE 00001ada: POP 00001adb: PUSH2 0x1feb 00001ade: JUMP 00001adf: JUMPDEST 00001ae0: PUSH32 0x6409127d2a30eb0b3289bd39c65fb1c7d2573c6320d8a526631d47f5dd5ffaad 00001b01: DUP2 00001b02: JUMP 00001b03: JUMPDEST 00001b04: PUSH1 0x03 00001b06: SLOAD 00001b07: PUSH1 0x01 00001b09: PUSH1 0xa0 00001b0b: PUSH1 0x02 00001b0d: EXP 00001b0e: SUB 00001b0f: AND 00001b10: ISZERO 00001b11: ISZERO 00001b12: SWAP1 00001b13: JUMP 00001b14: JUMPDEST 00001b15: PUSH1 0x60 00001b17: PUSH2 0x1b1f 00001b1a: CALLER 00001b1b: PUSH2 0x1cdf 00001b1e: JUMP 00001b1f: JUMPDEST 00001b20: ISZERO 00001b21: ISZERO 00001b22: PUSH2 0x1b2a 00001b25: JUMPI 00001b26: PUSH1 0x00 00001b28: DUP1 00001b29: REVERT 00001b2a: JUMPDEST 00001b2b: DUP2 00001b2c: MLOAD 00001b2d: PUSH2 0x1b3d 00001b30: SWAP1 00001b31: PUSH1 0x06 00001b33: SWAP1 00001b34: PUSH1 0x20 00001b36: DUP6 00001b37: ADD 00001b38: SWAP1 00001b39: PUSH2 0x2113 00001b3c: JUMP 00001b3d: JUMPDEST 00001b3e: POP 00001b3f: SWAP1 00001b40: SWAP2 00001b41: SWAP1 00001b42: POP 00001b43: JUMP 00001b44: JUMPDEST 00001b45: PUSH1 0x04 00001b47: DUP1 00001b48: SLOAD 00001b49: PUSH1 0x40 00001b4b: DUP1 00001b4c: MLOAD 00001b4d: PUSH32 0x3b3b57de00000000000000000000000000000000000000000000000000000000 00001b6e: DUP2 00001b6f: MSTORE 00001b70: PUSH32 0x6409127d2a30eb0b3289bd39c65fb1c7d2573c6320d8a526631d47f5dd5ffaad 00001b91: SWAP4 00001b92: DUP2 00001b93: ADD 00001b94: SWAP4 00001b95: SWAP1 00001b96: SWAP4 00001b97: MSTORE 00001b98: MLOAD 00001b99: PUSH1 0x00 00001b9b: SWAP3 00001b9c: PUSH1 0x01 00001b9e: PUSH1 0xa0 00001ba0: PUSH1 0x02 00001ba2: EXP 00001ba3: SUB 00001ba4: SWAP1 00001ba5: SWAP3 00001ba6: AND 00001ba7: SWAP2 00001ba8: PUSH4 0x3b3b57de 00001bad: SWAP2 00001bae: PUSH1 0x24 00001bb0: DUP1 00001bb1: DUP4 00001bb2: ADD 00001bb3: SWAP3 00001bb4: PUSH1 0x20 00001bb6: SWAP3 00001bb7: SWAP2 00001bb8: SWAP1 00001bb9: DUP3 00001bba: SWAP1 00001bbb: SUB 00001bbc: ADD 00001bbd: DUP2 00001bbe: DUP8 00001bbf: DUP8 00001bc0: DUP1 00001bc1: EXTCODESIZE 00001bc2: ISZERO 00001bc3: DUP1 00001bc4: ISZERO 00001bc5: PUSH2 0x138c 00001bc8: JUMPI 00001bc9: PUSH1 0x00 00001bcb: DUP1 00001bcc: REVERT 00001bcd: JUMPDEST 00001bce: PUSH1 0x40 00001bd0: DUP1 00001bd1: MLOAD 00001bd2: DUP1 00001bd3: DUP3 00001bd4: ADD 00001bd5: SWAP1 00001bd6: SWAP2 00001bd7: MSTORE 00001bd8: PUSH1 0x05 00001bda: DUP2 00001bdb: MSTORE 00001bdc: PUSH1 0x00 00001bde: DUP1 00001bdf: MLOAD 00001be0: PUSH1 0x20 00001be2: PUSH2 0x21cc 00001be5: DUP4 00001be6: CODECOPY 00001be7: DUP2 00001be8: MLOAD 00001be9: SWAP2 00001bea: MSTORE 00001beb: PUSH1 0x20 00001bed: DUP3 00001bee: ADD 00001bef: MSTORE 00001bf0: DUP2 00001bf1: JUMP 00001bf2: JUMPDEST 00001bf3: PUSH1 0x03 00001bf5: SLOAD 00001bf6: PUSH1 0xa0 00001bf8: PUSH1 0x02 00001bfa: EXP 00001bfb: SWAP1 00001bfc: DIV 00001bfd: PUSH1 0xff 00001bff: AND 00001c00: DUP2 00001c01: JUMP 00001c02: JUMPDEST 00001c03: PUSH2 0x1c0b 00001c06: CALLER 00001c07: PUSH2 0x1cdf 00001c0a: JUMP 00001c0b: JUMPDEST 00001c0c: ISZERO 00001c0d: ISZERO 00001c0e: PUSH2 0x1c16 00001c11: JUMPI 00001c12: PUSH1 0x00 00001c14: DUP1 00001c15: REVERT 00001c16: JUMPDEST 00001c17: PUSH2 0x0f7e 00001c1a: DUP2 00001c1b: PUSH1 0x40 00001c1d: DUP1 00001c1e: MLOAD 00001c1f: SWAP1 00001c20: DUP2 00001c21: ADD 00001c22: PUSH1 0x40 00001c24: MSTORE 00001c25: DUP1 00001c26: PUSH1 0x05 00001c28: DUP2 00001c29: MSTORE 00001c2a: PUSH1 0x20 00001c2c: ADD 00001c2d: PUSH1 0x00 00001c2f: DUP1 00001c30: MLOAD 00001c31: PUSH1 0x20 00001c33: PUSH2 0x21cc 00001c36: DUP4 00001c37: CODECOPY 00001c38: DUP2 00001c39: MLOAD 00001c3a: SWAP2 00001c3b: MSTORE 00001c3c: DUP2 00001c3d: MSTORE 00001c3e: POP 00001c3f: PUSH2 0x1a3d 00001c42: JUMP 00001c43: JUMPDEST 00001c44: PUSH2 0x1c4c 00001c47: CALLER 00001c48: PUSH2 0x1cdf 00001c4b: JUMP 00001c4c: JUMPDEST 00001c4d: ISZERO 00001c4e: ISZERO 00001c4f: PUSH2 0x1c57 00001c52: JUMPI 00001c53: PUSH1 0x00 00001c55: DUP1 00001c56: REVERT 00001c57: JUMPDEST 00001c58: PUSH2 0x0f7e 00001c5b: DUP2 00001c5c: PUSH1 0x40 00001c5e: DUP1 00001c5f: MLOAD 00001c60: SWAP1 00001c61: DUP2 00001c62: ADD 00001c63: PUSH1 0x40 00001c65: MSTORE 00001c66: DUP1 00001c67: PUSH1 0x0a 00001c69: DUP2 00001c6a: MSTORE 00001c6b: PUSH1 0x20 00001c6d: ADD 00001c6e: PUSH1 0x00 00001c70: DUP1 00001c71: MLOAD 00001c72: PUSH1 0x20 00001c74: PUSH2 0x21ac 00001c77: DUP4 00001c78: CODECOPY 00001c79: DUP2 00001c7a: MLOAD 00001c7b: SWAP2 00001c7c: MSTORE 00001c7d: DUP2 00001c7e: MSTORE 00001c7f: POP 00001c80: PUSH2 0x1feb 00001c83: JUMP 00001c84: JUMPDEST 00001c85: PUSH1 0x06 00001c87: DUP1 00001c88: SLOAD 00001c89: PUSH1 0x40 00001c8b: DUP1 00001c8c: MLOAD 00001c8d: PUSH1 0x20 00001c8f: PUSH1 0x02 00001c91: PUSH1 0x01 00001c93: DUP6 00001c94: AND 00001c95: ISZERO 00001c96: PUSH2 0x0100 00001c99: MUL 00001c9a: PUSH1 0x00 00001c9c: NOT 00001c9d: ADD 00001c9e: SWAP1 00001c9f: SWAP5 00001ca0: AND 00001ca1: SWAP4 00001ca2: SWAP1 00001ca3: SWAP4 00001ca4: DIV 00001ca5: PUSH1 0x1f 00001ca7: DUP2 00001ca8: ADD 00001ca9: DUP5 00001caa: SWAP1 00001cab: DIV 00001cac: DUP5 00001cad: MUL 00001cae: DUP3 00001caf: ADD 00001cb0: DUP5 00001cb1: ADD 00001cb2: SWAP1 00001cb3: SWAP3 00001cb4: MSTORE 00001cb5: DUP2 00001cb6: DUP2 00001cb7: MSTORE 00001cb8: SWAP3 00001cb9: SWAP2 00001cba: DUP4 00001cbb: ADD 00001cbc: DUP3 00001cbd: DUP3 00001cbe: DUP1 00001cbf: ISZERO 00001cc0: PUSH2 0x1a35 00001cc3: JUMPI 00001cc4: DUP1 00001cc5: PUSH1 0x1f 00001cc7: LT 00001cc8: PUSH2 0x1a0a 00001ccb: JUMPI 00001ccc: PUSH2 0x0100 00001ccf: DUP1 00001cd0: DUP4 00001cd1: SLOAD 00001cd2: DIV 00001cd3: MUL 00001cd4: DUP4 00001cd5: MSTORE 00001cd6: SWAP2 00001cd7: PUSH1 0x20 00001cd9: ADD 00001cda: SWAP2 00001cdb: PUSH2 0x1a35 00001cde: JUMP 00001cdf: JUMPDEST 00001ce0: PUSH1 0x01 00001ce2: SLOAD 00001ce3: PUSH1 0x00 00001ce5: SWAP1 00001ce6: PUSH1 0x01 00001ce8: PUSH1 0xa0 00001cea: PUSH1 0x02 00001cec: EXP 00001ced: SUB 00001cee: DUP4 00001cef: DUP2 00001cf0: AND 00001cf1: SWAP2 00001cf2: AND 00001cf3: EQ 00001cf4: DUP1 00001cf5: PUSH2 0x14ac 00001cf8: JUMPI 00001cf9: POP 00001cfa: PUSH2 0x14ac 00001cfd: DUP3 00001cfe: PUSH1 0x40 00001d00: DUP1 00001d01: MLOAD 00001d02: SWAP1 00001d03: DUP2 00001d04: ADD 00001d05: PUSH1 0x40 00001d07: MSTORE 00001d08: DUP1 00001d09: PUSH1 0x05 00001d0b: DUP2 00001d0c: MSTORE 00001d0d: PUSH1 0x20 00001d0f: ADD 00001d10: PUSH1 0x00 00001d12: DUP1 00001d13: MLOAD 00001d14: PUSH1 0x20 00001d16: PUSH2 0x21cc 00001d19: DUP4 00001d1a: CODECOPY 00001d1b: DUP2 00001d1c: MLOAD 00001d1d: SWAP2 00001d1e: MSTORE 00001d1f: DUP2 00001d20: MSTORE 00001d21: POP 00001d22: PUSH2 0x0e57 00001d25: JUMP 00001d26: JUMPDEST 00001d27: PUSH1 0x00 00001d29: PUSH2 0x1d31 00001d2c: DUP3 00001d2d: PUSH2 0x1cdf 00001d30: JUMP 00001d31: JUMPDEST 00001d32: DUP1 00001d33: PUSH2 0x14ac 00001d36: JUMPI 00001d37: POP 00001d38: PUSH2 0x14ac 00001d3b: DUP3 00001d3c: PUSH1 0x40 00001d3e: DUP1 00001d3f: MLOAD 00001d40: SWAP1 00001d41: DUP2 00001d42: ADD 00001d43: PUSH1 0x40 00001d45: MSTORE 00001d46: DUP1 00001d47: PUSH1 0x08 00001d49: DUP2 00001d4a: MSTORE 00001d4b: PUSH1 0x20 00001d4d: ADD 00001d4e: PUSH1 0x00 00001d50: DUP1 00001d51: MLOAD 00001d52: PUSH1 0x20 00001d54: PUSH2 0x220c 00001d57: DUP4 00001d58: CODECOPY 00001d59: DUP2 00001d5a: MLOAD 00001d5b: SWAP2 00001d5c: MSTORE 00001d5d: DUP2 00001d5e: MSTORE 00001d5f: POP 00001d60: PUSH2 0x0e57 00001d63: JUMP 00001d64: JUMPDEST 00001d65: PUSH1 0x07 00001d67: SLOAD 00001d68: DUP2 00001d69: JUMP 00001d6a: JUMPDEST 00001d6b: PUSH1 0x01 00001d6d: SLOAD 00001d6e: PUSH1 0x01 00001d70: PUSH1 0xa0 00001d72: PUSH1 0x02 00001d74: EXP 00001d75: SUB 00001d76: AND 00001d77: CALLER 00001d78: EQ 00001d79: PUSH2 0x1d81 00001d7c: JUMPI 00001d7d: PUSH1 0x00 00001d7f: DUP1 00001d80: REVERT 00001d81: JUMPDEST 00001d82: PUSH1 0x01 00001d84: PUSH1 0xa0 00001d86: PUSH1 0x02 00001d88: EXP 00001d89: SUB 00001d8a: DUP2 00001d8b: AND 00001d8c: ISZERO 00001d8d: ISZERO 00001d8e: PUSH2 0x1d96 00001d91: JUMPI 00001d92: PUSH1 0x00 00001d94: DUP1 00001d95: REVERT 00001d96: JUMPDEST 00001d97: PUSH1 0x01 00001d99: SLOAD 00001d9a: PUSH1 0x40 00001d9c: MLOAD 00001d9d: PUSH1 0x01 00001d9f: PUSH1 0xa0 00001da1: PUSH1 0x02 00001da3: EXP 00001da4: SUB 00001da5: DUP1 00001da6: DUP5 00001da7: AND 00001da8: SWAP3 00001da9: AND 00001daa: SWAP1 00001dab: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001dcc: SWAP1 00001dcd: PUSH1 0x00 00001dcf: SWAP1 00001dd0: LOG3 00001dd1: PUSH1 0x01 00001dd3: DUP1 00001dd4: SLOAD 00001dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dea: NOT 00001deb: AND 00001dec: PUSH1 0x01 00001dee: PUSH1 0xa0 00001df0: PUSH1 0x02 00001df2: EXP 00001df3: SUB 00001df4: SWAP3 00001df5: SWAP1 00001df6: SWAP3 00001df7: AND 00001df8: SWAP2 00001df9: SWAP1 00001dfa: SWAP2 00001dfb: OR 00001dfc: SWAP1 00001dfd: SSTORE 00001dfe: JUMP 00001dff: JUMPDEST 00001e00: PUSH1 0x00 00001e02: PUSH2 0x1e0a 00001e05: CALLER 00001e06: PUSH2 0x1971 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: ISZERO 00001e0c: ISZERO 00001e0d: PUSH2 0x1e15 00001e10: JUMPI 00001e11: PUSH1 0x00 00001e13: DUP1 00001e14: REVERT 00001e15: JUMPDEST 00001e16: PUSH2 0x1e1d 00001e19: PUSH2 0x1596 00001e1c: JUMP 00001e1d: JUMPDEST 00001e1e: SWAP1 00001e1f: POP 00001e20: SWAP1 00001e21: JUMP 00001e22: JUMPDEST 00001e23: PUSH2 0x1e2b 00001e26: CALLER 00001e27: PUSH2 0x1cdf 00001e2a: JUMP 00001e2b: JUMPDEST 00001e2c: ISZERO 00001e2d: ISZERO 00001e2e: PUSH2 0x1e36 00001e31: JUMPI 00001e32: PUSH1 0x00 00001e34: DUP1 00001e35: REVERT 00001e36: JUMPDEST 00001e37: PUSH2 0x0f7e 00001e3a: DUP2 00001e3b: PUSH1 0x40 00001e3d: DUP1 00001e3e: MLOAD 00001e3f: SWAP1 00001e40: DUP2 00001e41: ADD 00001e42: PUSH1 0x40 00001e44: MSTORE 00001e45: DUP1 00001e46: PUSH1 0x08 00001e48: DUP2 00001e49: MSTORE 00001e4a: PUSH1 0x20 00001e4c: ADD 00001e4d: PUSH1 0x00 00001e4f: DUP1 00001e50: MLOAD 00001e51: PUSH1 0x20 00001e53: PUSH2 0x220c 00001e56: DUP4 00001e57: CODECOPY 00001e58: DUP2 00001e59: MLOAD 00001e5a: SWAP2 00001e5b: MSTORE 00001e5c: DUP2 00001e5d: MSTORE 00001e5e: POP 00001e5f: PUSH2 0x1eca 00001e62: JUMP 00001e63: JUMPDEST 00001e64: PUSH1 0x60 00001e66: PUSH2 0x1e6e 00001e69: CALLER 00001e6a: PUSH2 0x1cdf 00001e6d: JUMP 00001e6e: JUMPDEST 00001e6f: ISZERO 00001e70: ISZERO 00001e71: PUSH2 0x1e79 00001e74: JUMPI 00001e75: PUSH1 0x00 00001e77: DUP1 00001e78: REVERT 00001e79: JUMPDEST 00001e7a: DUP2 00001e7b: MLOAD 00001e7c: PUSH2 0x1b3d 00001e7f: SWAP1 00001e80: PUSH1 0x05 00001e82: SWAP1 00001e83: PUSH1 0x20 00001e85: DUP6 00001e86: ADD 00001e87: SWAP1 00001e88: PUSH2 0x2113 00001e8b: JUMP 00001e8c: JUMPDEST 00001e8d: PUSH1 0x00 00001e8f: PUSH2 0x1e1d 00001e92: PUSH2 0x1b44 00001e95: JUMP 00001e96: JUMPDEST 00001e97: PUSH2 0x1ea0 00001e9a: DUP3 00001e9b: DUP3 00001e9c: PUSH2 0x1eab 00001e9f: JUMP 00001ea0: JUMPDEST 00001ea1: ISZERO 00001ea2: ISZERO 00001ea3: PUSH2 0x0e23 00001ea6: JUMPI 00001ea7: PUSH1 0x00 00001ea9: DUP1 00001eaa: REVERT 00001eab: JUMPDEST 00001eac: PUSH1 0x01 00001eae: PUSH1 0xa0 00001eb0: PUSH1 0x02 00001eb2: EXP 00001eb3: SUB 00001eb4: AND 00001eb5: PUSH1 0x00 00001eb7: SWAP1 00001eb8: DUP2 00001eb9: MSTORE 00001eba: PUSH1 0x20 00001ebc: SWAP2 00001ebd: SWAP1 00001ebe: SWAP2 00001ebf: MSTORE 00001ec0: PUSH1 0x40 00001ec2: SWAP1 00001ec3: KECCAK256 00001ec4: SLOAD 00001ec5: PUSH1 0xff 00001ec7: AND 00001ec8: SWAP1 00001ec9: JUMP 00001eca: JUMPDEST 00001ecb: PUSH2 0x1f34 00001ece: DUP3 00001ecf: PUSH1 0x00 00001ed1: DUP4 00001ed2: PUSH1 0x40 00001ed4: MLOAD 00001ed5: DUP1 00001ed6: DUP3 00001ed7: DUP1 00001ed8: MLOAD 00001ed9: SWAP1 00001eda: PUSH1 0x20 00001edc: ADD 00001edd: SWAP1 00001ede: DUP1 00001edf: DUP4 00001ee0: DUP4 00001ee1: JUMPDEST 00001ee2: PUSH1 0x20 00001ee4: DUP4 00001ee5: LT 00001ee6: PUSH2 0x1f00 00001ee9: JUMPI 00001eea: DUP1 00001eeb: MLOAD 00001eec: DUP3 00001eed: MSTORE 00001eee: PUSH1 0x1f 00001ef0: NOT 00001ef1: SWAP1 00001ef2: SWAP3 00001ef3: ADD 00001ef4: SWAP2 00001ef5: PUSH1 0x20 00001ef7: SWAP2 00001ef8: DUP3 00001ef9: ADD 00001efa: SWAP2 00001efb: ADD 00001efc: PUSH2 0x1ee1 00001eff: JUMP 00001f00: JUMPDEST 00001f01: MLOAD 00001f02: DUP2 00001f03: MLOAD 00001f04: PUSH1 0x20 00001f06: SWAP4 00001f07: DUP5 00001f08: SUB 00001f09: PUSH2 0x0100 00001f0c: EXP 00001f0d: PUSH1 0x00 00001f0f: NOT 00001f10: ADD 00001f11: DUP1 00001f12: NOT 00001f13: SWAP1 00001f14: SWAP3 00001f15: AND 00001f16: SWAP2 00001f17: AND 00001f18: OR 00001f19: SWAP1 00001f1a: MSTORE 00001f1b: SWAP3 00001f1c: ADD 00001f1d: SWAP5 00001f1e: DUP6 00001f1f: MSTORE 00001f20: POP 00001f21: PUSH1 0x40 00001f23: MLOAD 00001f24: SWAP4 00001f25: DUP5 00001f26: SWAP1 00001f27: SUB 00001f28: ADD 00001f29: SWAP1 00001f2a: SWAP3 00001f2b: KECCAK256 00001f2c: SWAP3 00001f2d: SWAP2 00001f2e: POP 00001f2f: POP 00001f30: PUSH2 0x20cc 00001f33: JUMP 00001f34: JUMPDEST 00001f35: PUSH32 0xbfec83d64eaa953f2708271a023ab9ee82057f8f3578d548c1a4ba0b5b700489 00001f56: DUP3 00001f57: DUP3 00001f58: PUSH1 0x40 00001f5a: MLOAD 00001f5b: DUP1 00001f5c: DUP4 00001f5d: PUSH1 0x01 00001f5f: PUSH1 0xa0 00001f61: PUSH1 0x02 00001f63: EXP 00001f64: SUB 00001f65: AND 00001f66: PUSH1 0x01 00001f68: PUSH1 0xa0 00001f6a: PUSH1 0x02 00001f6c: EXP 00001f6d: SUB 00001f6e: AND 00001f6f: DUP2 00001f70: MSTORE 00001f71: PUSH1 0x20 00001f73: ADD 00001f74: DUP1 00001f75: PUSH1 0x20 00001f77: ADD 00001f78: DUP3 00001f79: DUP2 00001f7a: SUB 00001f7b: DUP3 00001f7c: MSTORE 00001f7d: DUP4 00001f7e: DUP2 00001f7f: DUP2 00001f80: MLOAD 00001f81: DUP2 00001f82: MSTORE 00001f83: PUSH1 0x20 00001f85: ADD 00001f86: SWAP2 00001f87: POP 00001f88: DUP1 00001f89: MLOAD 00001f8a: SWAP1 00001f8b: PUSH1 0x20 00001f8d: ADD 00001f8e: SWAP1 00001f8f: DUP1 00001f90: DUP4 00001f91: DUP4 00001f92: PUSH1 0x00 00001f94: JUMPDEST 00001f95: DUP4 00001f96: DUP2 00001f97: LT 00001f98: ISZERO 00001f99: PUSH2 0x1fac 00001f9c: JUMPI 00001f9d: DUP2 00001f9e: DUP2 00001f9f: ADD 00001fa0: MLOAD 00001fa1: DUP4 00001fa2: DUP3 00001fa3: ADD 00001fa4: MSTORE 00001fa5: PUSH1 0x20 00001fa7: ADD 00001fa8: PUSH2 0x1f94 00001fab: JUMP 00001fac: JUMPDEST 00001fad: POP 00001fae: POP 00001faf: POP 00001fb0: POP 00001fb1: SWAP1 00001fb2: POP 00001fb3: SWAP1 00001fb4: DUP2 00001fb5: ADD 00001fb6: SWAP1 00001fb7: PUSH1 0x1f 00001fb9: AND 00001fba: DUP1 00001fbb: ISZERO 00001fbc: PUSH2 0x1fd9 00001fbf: JUMPI 00001fc0: DUP1 00001fc1: DUP3 00001fc2: SUB 00001fc3: DUP1 00001fc4: MLOAD 00001fc5: PUSH1 0x01 00001fc7: DUP4 00001fc8: PUSH1 0x20 00001fca: SUB 00001fcb: PUSH2 0x0100 00001fce: EXP 00001fcf: SUB 00001fd0: NOT 00001fd1: AND 00001fd2: DUP2 00001fd3: MSTORE 00001fd4: PUSH1 0x20 00001fd6: ADD 00001fd7: SWAP2 00001fd8: POP 00001fd9: JUMPDEST 00001fda: POP 00001fdb: SWAP4 00001fdc: POP 00001fdd: POP 00001fde: POP 00001fdf: POP 00001fe0: PUSH1 0x40 00001fe2: MLOAD 00001fe3: DUP1 00001fe4: SWAP2 00001fe5: SUB 00001fe6: SWAP1 00001fe7: LOG1 00001fe8: POP 00001fe9: POP 00001fea: JUMP 00001feb: JUMPDEST 00001fec: PUSH2 0x2055 00001fef: DUP3 00001ff0: PUSH1 0x00 00001ff2: DUP4 00001ff3: PUSH1 0x40 00001ff5: MLOAD 00001ff6: DUP1 00001ff7: DUP3 00001ff8: DUP1 00001ff9: MLOAD 00001ffa: SWAP1 00001ffb: PUSH1 0x20 00001ffd: ADD 00001ffe: SWAP1 00001fff: DUP1 00002000: DUP4 00002001: DUP4 00002002: JUMPDEST 00002003: PUSH1 0x20 00002005: DUP4 00002006: LT 00002007: PUSH2 0x2021 0000200a: JUMPI 0000200b: DUP1 0000200c: MLOAD 0000200d: DUP3 0000200e: MSTORE 0000200f: PUSH1 0x1f 00002011: NOT 00002012: SWAP1 00002013: SWAP3 00002014: ADD 00002015: SWAP2 00002016: PUSH1 0x20 00002018: SWAP2 00002019: DUP3 0000201a: ADD 0000201b: SWAP2 0000201c: ADD 0000201d: PUSH2 0x2002 00002020: JUMP 00002021: JUMPDEST 00002022: MLOAD 00002023: DUP2 00002024: MLOAD 00002025: PUSH1 0x20 00002027: SWAP4 00002028: DUP5 00002029: SUB 0000202a: PUSH2 0x0100 0000202d: EXP 0000202e: PUSH1 0x00 00002030: NOT 00002031: ADD 00002032: DUP1 00002033: NOT 00002034: SWAP1 00002035: SWAP3 00002036: AND 00002037: SWAP2 00002038: AND 00002039: OR 0000203a: SWAP1 0000203b: MSTORE 0000203c: SWAP3 0000203d: ADD 0000203e: SWAP5 0000203f: DUP6 00002040: MSTORE 00002041: POP 00002042: PUSH1 0x40 00002044: MLOAD 00002045: SWAP4 00002046: DUP5 00002047: SWAP1 00002048: SUB 00002049: ADD 0000204a: SWAP1 0000204b: SWAP3 0000204c: KECCAK256 0000204d: SWAP3 0000204e: SWAP2 0000204f: POP 00002050: POP 00002051: PUSH2 0x20f1 00002054: JUMP 00002055: JUMPDEST 00002056: PUSH32 0xd211483f91fc6eff862467f8de606587a30c8fc9981056f051b897a418df803a 00002077: DUP3 00002078: DUP3 00002079: PUSH1 0x40 0000207b: MLOAD 0000207c: DUP1 0000207d: DUP4 0000207e: PUSH1 0x01 00002080: PUSH1 0xa0 00002082: PUSH1 0x02 00002084: EXP 00002085: SUB 00002086: AND 00002087: PUSH1 0x01 00002089: PUSH1 0xa0 0000208b: PUSH1 0x02 0000208d: EXP 0000208e: SUB 0000208f: AND 00002090: DUP2 00002091: MSTORE 00002092: PUSH1 0x20 00002094: ADD 00002095: DUP1 00002096: PUSH1 0x20 00002098: ADD 00002099: DUP3 0000209a: DUP2 0000209b: SUB 0000209c: DUP3 0000209d: MSTORE 0000209e: DUP4 0000209f: DUP2 000020a0: DUP2 000020a1: MLOAD 000020a2: DUP2 000020a3: MSTORE 000020a4: PUSH1 0x20 000020a6: ADD 000020a7: SWAP2 000020a8: POP 000020a9: DUP1 000020aa: MLOAD 000020ab: SWAP1 000020ac: PUSH1 0x20 000020ae: ADD 000020af: SWAP1 000020b0: DUP1 000020b1: DUP4 000020b2: DUP4 000020b3: PUSH1 0x00 000020b5: DUP4 000020b6: DUP2 000020b7: LT 000020b8: ISZERO 000020b9: PUSH2 0x1fac 000020bc: JUMPI 000020bd: DUP2 000020be: DUP2 000020bf: ADD 000020c0: MLOAD 000020c1: DUP4 000020c2: DUP3 000020c3: ADD 000020c4: MSTORE 000020c5: PUSH1 0x20 000020c7: ADD 000020c8: PUSH2 0x1f94 000020cb: JUMP 000020cc: JUMPDEST 000020cd: PUSH1 0x01 000020cf: PUSH1 0xa0 000020d1: PUSH1 0x02 000020d3: EXP 000020d4: SUB 000020d5: AND 000020d6: PUSH1 0x00 000020d8: SWAP1 000020d9: DUP2 000020da: MSTORE 000020db: PUSH1 0x20 000020dd: SWAP2 000020de: SWAP1 000020df: SWAP2 000020e0: MSTORE 000020e1: PUSH1 0x40 000020e3: SWAP1 000020e4: KECCAK256 000020e5: DUP1 000020e6: SLOAD 000020e7: PUSH1 0xff 000020e9: NOT 000020ea: AND 000020eb: PUSH1 0x01 000020ed: OR 000020ee: SWAP1 000020ef: SSTORE 000020f0: JUMP 000020f1: JUMPDEST 000020f2: PUSH1 0x01 000020f4: PUSH1 0xa0 000020f6: PUSH1 0x02 000020f8: EXP 000020f9: SUB 000020fa: AND 000020fb: PUSH1 0x00 000020fd: SWAP1 000020fe: DUP2 000020ff: MSTORE 00002100: PUSH1 0x20 00002102: SWAP2 00002103: SWAP1 00002104: SWAP2 00002105: MSTORE 00002106: PUSH1 0x40 00002108: SWAP1 00002109: KECCAK256 0000210a: DUP1 0000210b: SLOAD 0000210c: PUSH1 0xff 0000210e: NOT 0000210f: AND 00002110: SWAP1 00002111: SSTORE 00002112: JUMP 00002113: JUMPDEST 00002114: DUP3 00002115: DUP1 00002116: SLOAD 00002117: PUSH1 0x01 00002119: DUP2 0000211a: PUSH1 0x01 0000211c: AND 0000211d: ISZERO 0000211e: PUSH2 0x0100 00002121: MUL 00002122: SUB 00002123: AND 00002124: PUSH1 0x02 00002126: SWAP1 00002127: DIV 00002128: SWAP1 00002129: PUSH1 0x00 0000212b: MSTORE 0000212c: PUSH1 0x20 0000212e: PUSH1 0x00 00002130: KECCAK256 00002131: SWAP1 00002132: PUSH1 0x1f 00002134: ADD 00002135: PUSH1 0x20 00002137: SWAP1 00002138: DIV 00002139: DUP2 0000213a: ADD 0000213b: SWAP3 0000213c: DUP3 0000213d: PUSH1 0x1f 0000213f: LT 00002140: PUSH2 0x2154 00002143: JUMPI 00002144: DUP1 00002145: MLOAD 00002146: PUSH1 0xff 00002148: NOT 00002149: AND 0000214a: DUP4 0000214b: DUP1 0000214c: ADD 0000214d: OR 0000214e: DUP6 0000214f: SSTORE 00002150: PUSH2 0x2181 00002153: JUMP 00002154: JUMPDEST 00002155: DUP3 00002156: DUP1 00002157: ADD 00002158: PUSH1 0x01 0000215a: ADD 0000215b: DUP6 0000215c: SSTORE 0000215d: DUP3 0000215e: ISZERO 0000215f: PUSH2 0x2181 00002162: JUMPI 00002163: SWAP2 00002164: DUP3 00002165: ADD 00002166: JUMPDEST 00002167: DUP3 00002168: DUP2 00002169: GT 0000216a: ISZERO 0000216b: PUSH2 0x2181 0000216e: JUMPI 0000216f: DUP3 00002170: MLOAD 00002171: DUP3 00002172: SSTORE 00002173: SWAP2 00002174: PUSH1 0x20 00002176: ADD 00002177: SWAP2 00002178: SWAP1 00002179: PUSH1 0x01 0000217b: ADD 0000217c: SWAP1 0000217d: PUSH2 0x2166 00002180: JUMP 00002181: JUMPDEST 00002182: POP 00002183: PUSH2 0x218d 00002186: SWAP3 00002187: SWAP2 00002188: POP 00002189: PUSH2 0x2191 0000218c: JUMP 0000218d: JUMPDEST 0000218e: POP 0000218f: SWAP1 00002190: JUMP 00002191: JUMPDEST 00002192: PUSH2 0x13bb 00002195: SWAP2 00002196: SWAP1 00002197: JUMPDEST 00002198: DUP1 00002199: DUP3 0000219a: GT 0000219b: ISZERO 0000219c: PUSH2 0x218d 0000219f: JUMPI 000021a0: PUSH1 0x00 000021a2: DUP2 000021a3: SSTORE 000021a4: PUSH1 0x01 000021a6: ADD 000021a7: PUSH2 0x2197 000021aa: JUMP 000021ab: STOP 000021ac: PUSH19 0x6174654368616e676500000000000000000000 000021c0: STOP 000021c1: STOP 000021c2: STOP 000021c3: STOP 000021c4: STOP 000021c5: STOP 000021c6: STOP 000021c7: STOP 000021c8: STOP 000021c9: STOP 000021ca: STOP 000021cb: STOP 000021cc: PUSH2 0x646d 000021cf: PUSH10 0x6e000000000000000000 000021da: STOP 000021db: STOP 000021dc: STOP 000021dd: STOP 000021de: STOP 000021df: STOP 000021e0: STOP 000021e1: STOP 000021e2: STOP 000021e3: STOP 000021e4: STOP 000021e5: STOP 000021e6: STOP 000021e7: STOP 000021e8: STOP 000021e9: STOP 000021ea: STOP 000021eb: STOP 000021ec: PUSH7 0x696c6c65720000 000021f4: STOP 000021f5: STOP 000021f6: STOP 000021f7: STOP 000021f8: STOP 000021f9: STOP 000021fa: STOP 000021fb: STOP 000021fc: STOP 000021fd: STOP 000021fe: STOP 000021ff: STOP 00002200: STOP 00002201: STOP 00002202: STOP 00002203: STOP 00002204: STOP 00002205: STOP 00002206: STOP 00002207: STOP 00002208: STOP 00002209: STOP 0000220a: STOP 0000220b: STOP 0000220c: PUSH24 0x697468647261770000000000000000000000000000000000 00002225: STOP 00002226: STOP 00002227: STOP 00002228: STOP 00002229: STOP 0000222a: STOP 0000222b: STOP 0000222c: LOG1 0000222d: PUSH6 0x627a7a723058 00002234: KECCAK256 00002235: UNKNOWN(0xAF) 00002236: PUSH24 0x3da3332c90409c8ea32c9b44257d1a57dd75fbb2c6262115 0000224f: UNKNOWN(0x2A) 00002250: SWAP15 00002251: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcc1fc89c0cc2f6a31b947e40b15ee53ac556bcce296ee67ca510d02596904f8c
call_targets:
0xa499c761ff4a7ded3f605fa7f279e3fea54852d5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcc1fc89c0cc2f6a31b947e40b15ee53ac556bcce296ee67ca510d02596904f8c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa499c761ff4a7ded3f605fa7f279e3fea54852d5"
],
"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": "0x061d7e95",
"selector": "0x061d7e95",
"calldata_variants": [
"0x061d7e95",
"0x061d7e950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0988ca8c",
"selector": "0x0988ca8c",
"calldata_variants": [
"0x0988ca8c",
"0x0988ca8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15eb24de",
"selector": "0x15eb24de",
"calldata_variants": [
"0x15eb24de",
"0x15eb24de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x217fe6c6",
"selector": "0x217fe6c6",
"calldata_variants": [
"0x217fe6c6",
"0x217fe6c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a7d8acb",
"selector": "0x2a7d8acb",
"calldata_variants": [
"0x2a7d8acb",
"0x2a7d8acb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b25f99f",
"selector": "0x2b25f99f",
"calldata_variants": [
"0x2b25f99f",
"0x2b25f99f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e0fb21e",
"selector": "0x2e0fb21e",
"calldata_variants": [
"0x2e0fb21e",
"0x2e0fb21e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x329694da",
"selector": "0x329694da",
"calldata_variants": [
"0x329694da",
"0x329694da0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3256,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3456,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcc1fc89c0cc2f6a31b947e40b15ee53ac556bcce296ee67ca510d02596904f8c
call_targets:
0xa499c761ff4a7ded3f605fa7f279e3fea54852d5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcc1fc89c0cc2f6a31b947e40b15ee53ac556bcce296ee67ca510d02596904f8c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa499c761ff4a7ded3f605fa7f279e3fea54852d5"
],
"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": "0x061d7e95",
"selector": "0x061d7e95",
"calldata_variants": [
"0x061d7e95",
"0x061d7e950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0988ca8c",
"selector": "0x0988ca8c",
"calldata_variants": [
"0x0988ca8c",
"0x0988ca8c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15eb24de",
"selector": "0x15eb24de",
"calldata_variants": [
"0x15eb24de",
"0x15eb24de0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x217fe6c6",
"selector": "0x217fe6c6",
"calldata_variants": [
"0x217fe6c6",
"0x217fe6c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a7d8acb",
"selector": "0x2a7d8acb",
"calldata_variants": [
"0x2a7d8acb",
"0x2a7d8acb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b25f99f",
"selector": "0x2b25f99f",
"calldata_variants": [
"0x2b25f99f",
"0x2b25f99f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e0fb21e",
"selector": "0x2e0fb21e",
"calldata_variants": [
"0x2e0fb21e",
"0x2e0fb21e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x329694da",
"selector": "0x329694da",
"calldata_variants": [
"0x329694da",
"0x329694da0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3256,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3456,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4489,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|