019b3844-9626-7076-bcf1-b8b7e6adf0b7
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 |
|---|---|---|---|---|
| 13489 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13490 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112002 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112003 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112004 | detector.run | complete | 1 / 3 | 1 week ago |
| 112005 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x020f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x75edbf46 00000019: GT 0000001a: PUSH2 0x0118 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xac8a584a 00000024: GT 00000025: PUSH2 0x00a0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd86c8cfd 0000002f: GT 00000030: PUSH2 0x006f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd86c8cfd 0000003a: EQ 0000003b: PUSH2 0x0d84 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd95b18eb 00000045: EQ 00000046: PUSH2 0x0e6e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdba8f3f6 00000050: EQ 00000051: PUSH2 0x0ec5 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xea62f554 0000005b: EQ 0000005c: PUSH2 0x0f1c 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x0f57 0000006a: JUMPI 0000006b: PUSH2 0x020f 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xac8a584a 00000076: EQ 00000077: PUSH2 0x0c68 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbcd0ad2b 00000081: EQ 00000082: PUSH2 0x0cb9 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc14e50ce 0000008c: EQ 0000008d: PUSH2 0x0cf8 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xd3aa600e 00000097: EQ 00000098: PUSH2 0x0d49 0000009b: JUMPI 0000009c: PUSH2 0x020f 0000009f: JUMP 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x8da5cb5b 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8da5cb5b 000000b2: EQ 000000b3: PUSH2 0x0a7b 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x9004e5c5 000000bd: EQ 000000be: PUSH2 0x0ad2 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x9870d7fe 000000c8: EQ 000000c9: PUSH2 0x0b3b 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x996bf1bd 000000d3: EQ 000000d4: PUSH2 0x0b8c 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xa93c34e5 000000de: EQ 000000df: PUSH2 0x0be3 000000e2: JUMPI 000000e3: PUSH2 0x020f 000000e6: JUMP 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x75edbf46 000000ee: EQ 000000ef: PUSH2 0x08a9 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x811e539c 000000f9: EQ 000000fa: PUSH2 0x09c6 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x8456cb59 00000104: EQ 00000105: PUSH2 0x0a11 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x89702850 0000010f: EQ 00000110: PUSH2 0x0a28 00000113: JUMPI 00000114: PUSH2 0x020f 00000117: JUMP 00000118: JUMPDEST 00000119: DUP1 0000011a: PUSH4 0x47be6417 0000011f: GT 00000120: PUSH2 0x019b 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x662fa38f 0000012a: GT 0000012b: PUSH2 0x016a 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x662fa38f 00000135: EQ 00000136: PUSH2 0x075e 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x6d70f7ae 00000140: EQ 00000141: PUSH2 0x07a5 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x711bd9eb 0000014b: EQ 0000014c: PUSH2 0x080e 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x7362377b 00000156: EQ 00000157: PUSH2 0x085f 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x75184dd6 00000161: EQ 00000162: PUSH2 0x0876 00000165: JUMPI 00000166: PUSH2 0x020f 00000169: JUMP 0000016a: JUMPDEST 0000016b: DUP1 0000016c: PUSH4 0x47be6417 00000171: EQ 00000172: PUSH2 0x0662 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0x56788a8c 0000017c: EQ 0000017d: PUSH2 0x068d 00000180: JUMPI 00000181: DUP1 00000182: PUSH4 0x5c975abb 00000187: EQ 00000188: PUSH2 0x06de 0000018b: JUMPI 0000018c: DUP1 0000018d: PUSH4 0x65f892ad 00000192: EQ 00000193: PUSH2 0x070d 00000196: JUMPI 00000197: PUSH2 0x020f 0000019a: JUMP 0000019b: JUMPDEST 0000019c: DUP1 0000019d: PUSH4 0x277a3f7a 000001a2: GT 000001a3: PUSH2 0x01e2 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x277a3f7a 000001ad: EQ 000001ae: PUSH2 0x0460 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x2d09986f 000001b8: EQ 000001b9: PUSH2 0x0553 000001bc: JUMPI 000001bd: DUP1 000001be: PUSH4 0x2d11ecf2 000001c3: EQ 000001c4: PUSH2 0x05a4 000001c7: JUMPI 000001c8: DUP1 000001c9: PUSH4 0x36977d9b 000001ce: EQ 000001cf: PUSH2 0x05f3 000001d2: JUMPI 000001d3: DUP1 000001d4: PUSH4 0x3f4ba83a 000001d9: EQ 000001da: PUSH2 0x064b 000001dd: JUMPI 000001de: PUSH2 0x020f 000001e1: JUMP 000001e2: JUMPDEST 000001e3: DUP1 000001e4: PUSH4 0x01ffc9a7 000001e9: EQ 000001ea: PUSH2 0x0214 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0x0f43dd90 000001f4: EQ 000001f5: PUSH2 0x0286 000001f8: JUMPI 000001f9: DUP1 000001fa: PUSH4 0x19045a25 000001ff: EQ 00000200: PUSH2 0x0323 00000203: JUMPI 00000204: DUP1 00000205: PUSH4 0x23a24a94 0000020a: EQ 0000020b: PUSH2 0x0435 0000020e: JUMPI 0000020f: JUMPDEST 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: CALLVALUE 00000216: DUP1 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: POP 00000222: PUSH2 0x026c 00000225: PUSH1 0x04 00000227: DUP1 00000228: CALLDATASIZE 00000229: SUB 0000022a: PUSH1 0x20 0000022c: DUP2 0000022d: LT 0000022e: ISZERO 0000022f: PUSH2 0x0237 00000232: JUMPI 00000233: PUSH1 0x00 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: DUP2 00000239: ADD 0000023a: SWAP1 0000023b: DUP1 0000023c: DUP1 0000023d: CALLDATALOAD 0000023e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000025b: NOT 0000025c: AND 0000025d: SWAP1 0000025e: PUSH1 0x20 00000260: ADD 00000261: SWAP1 00000262: SWAP3 00000263: SWAP2 00000264: SWAP1 00000265: POP 00000266: POP 00000267: POP 00000268: PUSH2 0x0fa8 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: DUP1 00000271: DUP3 00000272: ISZERO 00000273: ISZERO 00000274: ISZERO 00000275: ISZERO 00000276: DUP2 00000277: MSTORE 00000278: PUSH1 0x20 0000027a: ADD 0000027b: SWAP2 0000027c: POP 0000027d: POP 0000027e: PUSH1 0x40 00000280: MLOAD 00000281: DUP1 00000282: SWAP2 00000283: SUB 00000284: SWAP1 00000285: RETURN 00000286: JUMPDEST 00000287: CALLVALUE 00000288: DUP1 00000289: ISZERO 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: POP 00000294: PUSH2 0x030d 00000297: PUSH1 0x04 00000299: DUP1 0000029a: CALLDATASIZE 0000029b: SUB 0000029c: PUSH1 0x80 0000029e: DUP2 0000029f: LT 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: DUP2 000002ab: ADD 000002ac: SWAP1 000002ad: DUP1 000002ae: DUP1 000002af: CALLDATALOAD 000002b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c5: AND 000002c6: SWAP1 000002c7: PUSH1 0x20 000002c9: ADD 000002ca: SWAP1 000002cb: SWAP3 000002cc: SWAP2 000002cd: SWAP1 000002ce: DUP1 000002cf: CALLDATALOAD 000002d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e5: AND 000002e6: SWAP1 000002e7: PUSH1 0x20 000002e9: ADD 000002ea: SWAP1 000002eb: SWAP3 000002ec: SWAP2 000002ed: SWAP1 000002ee: DUP1 000002ef: CALLDATALOAD 000002f0: SWAP1 000002f1: PUSH1 0x20 000002f3: ADD 000002f4: SWAP1 000002f5: SWAP3 000002f6: SWAP2 000002f7: SWAP1 000002f8: DUP1 000002f9: CALLDATALOAD 000002fa: PUSH2 0xffff 000002fd: AND 000002fe: SWAP1 000002ff: PUSH1 0x20 00000301: ADD 00000302: SWAP1 00000303: SWAP3 00000304: SWAP2 00000305: SWAP1 00000306: POP 00000307: POP 00000308: POP 00000309: PUSH2 0x100f 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH1 0x40 00000310: MLOAD 00000311: DUP1 00000312: DUP3 00000313: DUP2 00000314: MSTORE 00000315: PUSH1 0x20 00000317: ADD 00000318: SWAP2 00000319: POP 0000031a: POP 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: DUP1 0000031f: SWAP2 00000320: SUB 00000321: SWAP1 00000322: RETURN 00000323: JUMPDEST 00000324: CALLVALUE 00000325: DUP1 00000326: ISZERO 00000327: PUSH2 0x032f 0000032a: JUMPI 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: PUSH2 0x03f3 00000334: PUSH1 0x04 00000336: DUP1 00000337: CALLDATASIZE 00000338: SUB 00000339: PUSH1 0x40 0000033b: DUP2 0000033c: LT 0000033d: ISZERO 0000033e: PUSH2 0x0346 00000341: JUMPI 00000342: PUSH1 0x00 00000344: DUP1 00000345: REVERT 00000346: JUMPDEST 00000347: DUP2 00000348: ADD 00000349: SWAP1 0000034a: DUP1 0000034b: DUP1 0000034c: CALLDATALOAD 0000034d: SWAP1 0000034e: PUSH1 0x20 00000350: ADD 00000351: SWAP1 00000352: SWAP3 00000353: SWAP2 00000354: SWAP1 00000355: DUP1 00000356: CALLDATALOAD 00000357: SWAP1 00000358: PUSH1 0x20 0000035a: ADD 0000035b: SWAP1 0000035c: PUSH5 0x0100000000 00000362: DUP2 00000363: GT 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: DUP3 0000036f: ADD 00000370: DUP4 00000371: PUSH1 0x20 00000373: DUP3 00000374: ADD 00000375: GT 00000376: ISZERO 00000377: PUSH2 0x037f 0000037a: JUMPI 0000037b: PUSH1 0x00 0000037d: DUP1 0000037e: REVERT 0000037f: JUMPDEST 00000380: DUP1 00000381: CALLDATALOAD 00000382: SWAP1 00000383: PUSH1 0x20 00000385: ADD 00000386: SWAP2 00000387: DUP5 00000388: PUSH1 0x01 0000038a: DUP4 0000038b: MUL 0000038c: DUP5 0000038d: ADD 0000038e: GT 0000038f: PUSH5 0x0100000000 00000395: DUP4 00000396: GT 00000397: OR 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: SWAP2 000003a3: SWAP1 000003a4: DUP1 000003a5: DUP1 000003a6: PUSH1 0x1f 000003a8: ADD 000003a9: PUSH1 0x20 000003ab: DUP1 000003ac: SWAP2 000003ad: DIV 000003ae: MUL 000003af: PUSH1 0x20 000003b1: ADD 000003b2: PUSH1 0x40 000003b4: MLOAD 000003b5: SWAP1 000003b6: DUP2 000003b7: ADD 000003b8: PUSH1 0x40 000003ba: MSTORE 000003bb: DUP1 000003bc: SWAP4 000003bd: SWAP3 000003be: SWAP2 000003bf: SWAP1 000003c0: DUP2 000003c1: DUP2 000003c2: MSTORE 000003c3: PUSH1 0x20 000003c5: ADD 000003c6: DUP4 000003c7: DUP4 000003c8: DUP1 000003c9: DUP3 000003ca: DUP5 000003cb: CALLDATACOPY 000003cc: PUSH1 0x00 000003ce: DUP2 000003cf: DUP5 000003d0: ADD 000003d1: MSTORE 000003d2: PUSH1 0x1f 000003d4: NOT 000003d5: PUSH1 0x1f 000003d7: DUP3 000003d8: ADD 000003d9: AND 000003da: SWAP1 000003db: POP 000003dc: DUP1 000003dd: DUP4 000003de: ADD 000003df: SWAP3 000003e0: POP 000003e1: POP 000003e2: POP 000003e3: POP 000003e4: POP 000003e5: POP 000003e6: POP 000003e7: SWAP2 000003e8: SWAP3 000003e9: SWAP2 000003ea: SWAP3 000003eb: SWAP1 000003ec: POP 000003ed: POP 000003ee: POP 000003ef: PUSH2 0x10ba 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH1 0x40 000003f6: MLOAD 000003f7: DUP1 000003f8: DUP3 000003f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040e: AND 0000040f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000424: AND 00000425: DUP2 00000426: MSTORE 00000427: PUSH1 0x20 00000429: ADD 0000042a: SWAP2 0000042b: POP 0000042c: POP 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP1 00000431: SWAP2 00000432: SUB 00000433: SWAP1 00000434: RETURN 00000435: JUMPDEST 00000436: CALLVALUE 00000437: DUP1 00000438: ISZERO 00000439: PUSH2 0x0441 0000043c: JUMPI 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: REVERT 00000441: JUMPDEST 00000442: POP 00000443: PUSH2 0x044a 00000446: PUSH2 0x10db 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: DUP1 0000044f: DUP3 00000450: DUP2 00000451: MSTORE 00000452: PUSH1 0x20 00000454: ADD 00000455: SWAP2 00000456: POP 00000457: POP 00000458: PUSH1 0x40 0000045a: MLOAD 0000045b: DUP1 0000045c: SWAP2 0000045d: SUB 0000045e: SWAP1 0000045f: RETURN 00000460: JUMPDEST 00000461: PUSH2 0x0551 00000464: PUSH1 0x04 00000466: DUP1 00000467: CALLDATASIZE 00000468: SUB 00000469: PUSH1 0x80 0000046b: DUP2 0000046c: LT 0000046d: ISZERO 0000046e: PUSH2 0x0476 00000471: JUMPI 00000472: PUSH1 0x00 00000474: DUP1 00000475: REVERT 00000476: JUMPDEST 00000477: DUP2 00000478: ADD 00000479: SWAP1 0000047a: DUP1 0000047b: DUP1 0000047c: CALLDATALOAD 0000047d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000492: AND 00000493: SWAP1 00000494: PUSH1 0x20 00000496: ADD 00000497: SWAP1 00000498: SWAP3 00000499: SWAP2 0000049a: SWAP1 0000049b: DUP1 0000049c: CALLDATALOAD 0000049d: SWAP1 0000049e: PUSH1 0x20 000004a0: ADD 000004a1: SWAP1 000004a2: SWAP3 000004a3: SWAP2 000004a4: SWAP1 000004a5: DUP1 000004a6: CALLDATALOAD 000004a7: PUSH2 0xffff 000004aa: AND 000004ab: SWAP1 000004ac: PUSH1 0x20 000004ae: ADD 000004af: SWAP1 000004b0: SWAP3 000004b1: SWAP2 000004b2: SWAP1 000004b3: DUP1 000004b4: CALLDATALOAD 000004b5: SWAP1 000004b6: PUSH1 0x20 000004b8: ADD 000004b9: SWAP1 000004ba: PUSH5 0x0100000000 000004c0: DUP2 000004c1: GT 000004c2: ISZERO 000004c3: PUSH2 0x04cb 000004c6: JUMPI 000004c7: PUSH1 0x00 000004c9: DUP1 000004ca: REVERT 000004cb: JUMPDEST 000004cc: DUP3 000004cd: ADD 000004ce: DUP4 000004cf: PUSH1 0x20 000004d1: DUP3 000004d2: ADD 000004d3: GT 000004d4: ISZERO 000004d5: PUSH2 0x04dd 000004d8: JUMPI 000004d9: PUSH1 0x00 000004db: DUP1 000004dc: REVERT 000004dd: JUMPDEST 000004de: DUP1 000004df: CALLDATALOAD 000004e0: SWAP1 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: SWAP2 000004e5: DUP5 000004e6: PUSH1 0x01 000004e8: DUP4 000004e9: MUL 000004ea: DUP5 000004eb: ADD 000004ec: GT 000004ed: PUSH5 0x0100000000 000004f3: DUP4 000004f4: GT 000004f5: OR 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: SWAP2 00000501: SWAP1 00000502: DUP1 00000503: DUP1 00000504: PUSH1 0x1f 00000506: ADD 00000507: PUSH1 0x20 00000509: DUP1 0000050a: SWAP2 0000050b: DIV 0000050c: MUL 0000050d: PUSH1 0x20 0000050f: ADD 00000510: PUSH1 0x40 00000512: MLOAD 00000513: SWAP1 00000514: DUP2 00000515: ADD 00000516: PUSH1 0x40 00000518: MSTORE 00000519: DUP1 0000051a: SWAP4 0000051b: SWAP3 0000051c: SWAP2 0000051d: SWAP1 0000051e: DUP2 0000051f: DUP2 00000520: MSTORE 00000521: PUSH1 0x20 00000523: ADD 00000524: DUP4 00000525: DUP4 00000526: DUP1 00000527: DUP3 00000528: DUP5 00000529: CALLDATACOPY 0000052a: PUSH1 0x00 0000052c: DUP2 0000052d: DUP5 0000052e: ADD 0000052f: MSTORE 00000530: PUSH1 0x1f 00000532: NOT 00000533: PUSH1 0x1f 00000535: DUP3 00000536: ADD 00000537: AND 00000538: SWAP1 00000539: POP 0000053a: DUP1 0000053b: DUP4 0000053c: ADD 0000053d: SWAP3 0000053e: POP 0000053f: POP 00000540: POP 00000541: POP 00000542: POP 00000543: POP 00000544: POP 00000545: SWAP2 00000546: SWAP3 00000547: SWAP2 00000548: SWAP3 00000549: SWAP1 0000054a: POP 0000054b: POP 0000054c: POP 0000054d: PUSH2 0x10e1 00000550: JUMP 00000551: JUMPDEST 00000552: STOP 00000553: JUMPDEST 00000554: CALLVALUE 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: PUSH2 0x05a2 00000564: PUSH1 0x04 00000566: DUP1 00000567: CALLDATASIZE 00000568: SUB 00000569: PUSH1 0x20 0000056b: DUP2 0000056c: LT 0000056d: ISZERO 0000056e: PUSH2 0x0576 00000571: JUMPI 00000572: PUSH1 0x00 00000574: DUP1 00000575: REVERT 00000576: JUMPDEST 00000577: DUP2 00000578: ADD 00000579: SWAP1 0000057a: DUP1 0000057b: DUP1 0000057c: CALLDATALOAD 0000057d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000592: AND 00000593: SWAP1 00000594: PUSH1 0x20 00000596: ADD 00000597: SWAP1 00000598: SWAP3 00000599: SWAP2 0000059a: SWAP1 0000059b: POP 0000059c: POP 0000059d: POP 0000059e: PUSH2 0x1459 000005a1: JUMP 000005a2: JUMPDEST 000005a3: STOP 000005a4: JUMPDEST 000005a5: CALLVALUE 000005a6: DUP1 000005a7: ISZERO 000005a8: PUSH2 0x05b0 000005ab: JUMPI 000005ac: PUSH1 0x00 000005ae: DUP1 000005af: REVERT 000005b0: JUMPDEST 000005b1: POP 000005b2: PUSH2 0x05dd 000005b5: PUSH1 0x04 000005b7: DUP1 000005b8: CALLDATASIZE 000005b9: SUB 000005ba: PUSH1 0x20 000005bc: DUP2 000005bd: LT 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: DUP2 000005c9: ADD 000005ca: SWAP1 000005cb: DUP1 000005cc: DUP1 000005cd: CALLDATALOAD 000005ce: SWAP1 000005cf: PUSH1 0x20 000005d1: ADD 000005d2: SWAP1 000005d3: SWAP3 000005d4: SWAP2 000005d5: SWAP1 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: PUSH2 0x1545 000005dc: JUMP 000005dd: JUMPDEST 000005de: PUSH1 0x40 000005e0: MLOAD 000005e1: DUP1 000005e2: DUP3 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: SWAP2 000005e9: POP 000005ea: POP 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: DUP1 000005ef: SWAP2 000005f0: SUB 000005f1: SWAP1 000005f2: RETURN 000005f3: JUMPDEST 000005f4: CALLVALUE 000005f5: DUP1 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: POP 00000601: PUSH2 0x0649 00000604: PUSH1 0x04 00000606: DUP1 00000607: CALLDATASIZE 00000608: SUB 00000609: PUSH1 0x60 0000060b: DUP2 0000060c: LT 0000060d: ISZERO 0000060e: PUSH2 0x0616 00000611: JUMPI 00000612: PUSH1 0x00 00000614: DUP1 00000615: REVERT 00000616: JUMPDEST 00000617: DUP2 00000618: ADD 00000619: SWAP1 0000061a: DUP1 0000061b: DUP1 0000061c: CALLDATALOAD 0000061d: PUSH1 0xff 0000061f: AND 00000620: SWAP1 00000621: PUSH1 0x20 00000623: ADD 00000624: SWAP1 00000625: SWAP3 00000626: SWAP2 00000627: SWAP1 00000628: DUP1 00000629: CALLDATALOAD 0000062a: PUSH1 0xff 0000062c: AND 0000062d: SWAP1 0000062e: PUSH1 0x20 00000630: ADD 00000631: SWAP1 00000632: SWAP3 00000633: SWAP2 00000634: SWAP1 00000635: DUP1 00000636: CALLDATALOAD 00000637: PUSH1 0xff 00000639: AND 0000063a: SWAP1 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: SWAP1 0000063f: SWAP3 00000640: SWAP2 00000641: SWAP1 00000642: POP 00000643: POP 00000644: POP 00000645: PUSH2 0x155d 00000648: JUMP 00000649: JUMPDEST 0000064a: STOP 0000064b: JUMPDEST 0000064c: CALLVALUE 0000064d: DUP1 0000064e: ISZERO 0000064f: PUSH2 0x0657 00000652: JUMPI 00000653: PUSH1 0x00 00000655: DUP1 00000656: REVERT 00000657: JUMPDEST 00000658: POP 00000659: PUSH2 0x0660 0000065c: PUSH2 0x16c2 0000065f: JUMP 00000660: JUMPDEST 00000661: STOP 00000662: JUMPDEST 00000663: CALLVALUE 00000664: DUP1 00000665: ISZERO 00000666: PUSH2 0x066e 00000669: JUMPI 0000066a: PUSH1 0x00 0000066c: DUP1 0000066d: REVERT 0000066e: JUMPDEST 0000066f: POP 00000670: PUSH2 0x0677 00000673: PUSH2 0x183f 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x40 0000067a: MLOAD 0000067b: DUP1 0000067c: DUP3 0000067d: DUP2 0000067e: MSTORE 0000067f: PUSH1 0x20 00000681: ADD 00000682: SWAP2 00000683: POP 00000684: POP 00000685: PUSH1 0x40 00000687: MLOAD 00000688: DUP1 00000689: SWAP2 0000068a: SUB 0000068b: SWAP1 0000068c: RETURN 0000068d: JUMPDEST 0000068e: CALLVALUE 0000068f: DUP1 00000690: ISZERO 00000691: PUSH2 0x0699 00000694: JUMPI 00000695: PUSH1 0x00 00000697: DUP1 00000698: REVERT 00000699: JUMPDEST 0000069a: POP 0000069b: PUSH2 0x06dc 0000069e: PUSH1 0x04 000006a0: DUP1 000006a1: CALLDATASIZE 000006a2: SUB 000006a3: PUSH1 0x20 000006a5: DUP2 000006a6: LT 000006a7: ISZERO 000006a8: PUSH2 0x06b0 000006ab: JUMPI 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: REVERT 000006b0: JUMPDEST 000006b1: DUP2 000006b2: ADD 000006b3: SWAP1 000006b4: DUP1 000006b5: DUP1 000006b6: CALLDATALOAD 000006b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cc: AND 000006cd: SWAP1 000006ce: PUSH1 0x20 000006d0: ADD 000006d1: SWAP1 000006d2: SWAP3 000006d3: SWAP2 000006d4: SWAP1 000006d5: POP 000006d6: POP 000006d7: POP 000006d8: PUSH2 0x1845 000006db: JUMP 000006dc: JUMPDEST 000006dd: STOP 000006de: JUMPDEST 000006df: CALLVALUE 000006e0: DUP1 000006e1: ISZERO 000006e2: PUSH2 0x06ea 000006e5: JUMPI 000006e6: PUSH1 0x00 000006e8: DUP1 000006e9: REVERT 000006ea: JUMPDEST 000006eb: POP 000006ec: PUSH2 0x06f3 000006ef: PUSH2 0x191a 000006f2: JUMP 000006f3: JUMPDEST 000006f4: PUSH1 0x40 000006f6: MLOAD 000006f7: DUP1 000006f8: DUP3 000006f9: ISZERO 000006fa: ISZERO 000006fb: ISZERO 000006fc: ISZERO 000006fd: DUP2 000006fe: MSTORE 000006ff: PUSH1 0x20 00000701: ADD 00000702: SWAP2 00000703: POP 00000704: POP 00000705: PUSH1 0x40 00000707: MLOAD 00000708: DUP1 00000709: SWAP2 0000070a: SUB 0000070b: SWAP1 0000070c: RETURN 0000070d: JUMPDEST 0000070e: CALLVALUE 0000070f: DUP1 00000710: ISZERO 00000711: PUSH2 0x0719 00000714: JUMPI 00000715: PUSH1 0x00 00000717: DUP1 00000718: REVERT 00000719: JUMPDEST 0000071a: POP 0000071b: PUSH2 0x075c 0000071e: PUSH1 0x04 00000720: DUP1 00000721: CALLDATASIZE 00000722: SUB 00000723: PUSH1 0x20 00000725: DUP2 00000726: LT 00000727: ISZERO 00000728: PUSH2 0x0730 0000072b: JUMPI 0000072c: PUSH1 0x00 0000072e: DUP1 0000072f: REVERT 00000730: JUMPDEST 00000731: DUP2 00000732: ADD 00000733: SWAP1 00000734: DUP1 00000735: DUP1 00000736: CALLDATALOAD 00000737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074c: AND 0000074d: SWAP1 0000074e: PUSH1 0x20 00000750: ADD 00000751: SWAP1 00000752: SWAP3 00000753: SWAP2 00000754: SWAP1 00000755: POP 00000756: POP 00000757: POP 00000758: PUSH2 0x1931 0000075b: JUMP 0000075c: JUMPDEST 0000075d: STOP 0000075e: JUMPDEST 0000075f: CALLVALUE 00000760: DUP1 00000761: ISZERO 00000762: PUSH2 0x076a 00000765: JUMPI 00000766: PUSH1 0x00 00000768: DUP1 00000769: REVERT 0000076a: JUMPDEST 0000076b: POP 0000076c: PUSH2 0x07a3 0000076f: PUSH1 0x04 00000771: DUP1 00000772: CALLDATASIZE 00000773: SUB 00000774: PUSH1 0x40 00000776: DUP2 00000777: LT 00000778: ISZERO 00000779: PUSH2 0x0781 0000077c: JUMPI 0000077d: PUSH1 0x00 0000077f: DUP1 00000780: REVERT 00000781: JUMPDEST 00000782: DUP2 00000783: ADD 00000784: SWAP1 00000785: DUP1 00000786: DUP1 00000787: CALLDATALOAD 00000788: SWAP1 00000789: PUSH1 0x20 0000078b: ADD 0000078c: SWAP1 0000078d: SWAP3 0000078e: SWAP2 0000078f: SWAP1 00000790: DUP1 00000791: CALLDATALOAD 00000792: ISZERO 00000793: ISZERO 00000794: SWAP1 00000795: PUSH1 0x20 00000797: ADD 00000798: SWAP1 00000799: SWAP3 0000079a: SWAP2 0000079b: SWAP1 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: PUSH2 0x1a1d 000007a2: JUMP 000007a3: JUMPDEST 000007a4: STOP 000007a5: JUMPDEST 000007a6: CALLVALUE 000007a7: DUP1 000007a8: ISZERO 000007a9: PUSH2 0x07b1 000007ac: JUMPI 000007ad: PUSH1 0x00 000007af: DUP1 000007b0: REVERT 000007b1: JUMPDEST 000007b2: POP 000007b3: PUSH2 0x07f4 000007b6: PUSH1 0x04 000007b8: DUP1 000007b9: CALLDATASIZE 000007ba: SUB 000007bb: PUSH1 0x20 000007bd: DUP2 000007be: LT 000007bf: ISZERO 000007c0: PUSH2 0x07c8 000007c3: JUMPI 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: REVERT 000007c8: JUMPDEST 000007c9: DUP2 000007ca: ADD 000007cb: SWAP1 000007cc: DUP1 000007cd: DUP1 000007ce: CALLDATALOAD 000007cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e4: AND 000007e5: SWAP1 000007e6: PUSH1 0x20 000007e8: ADD 000007e9: SWAP1 000007ea: SWAP3 000007eb: SWAP2 000007ec: SWAP1 000007ed: POP 000007ee: POP 000007ef: POP 000007f0: PUSH2 0x1ac7 000007f3: JUMP 000007f4: JUMPDEST 000007f5: PUSH1 0x40 000007f7: MLOAD 000007f8: DUP1 000007f9: DUP3 000007fa: ISZERO 000007fb: ISZERO 000007fc: ISZERO 000007fd: ISZERO 000007fe: DUP2 000007ff: MSTORE 00000800: PUSH1 0x20 00000802: ADD 00000803: SWAP2 00000804: POP 00000805: POP 00000806: PUSH1 0x40 00000808: MLOAD 00000809: DUP1 0000080a: SWAP2 0000080b: SUB 0000080c: SWAP1 0000080d: RETURN 0000080e: JUMPDEST 0000080f: CALLVALUE 00000810: DUP1 00000811: ISZERO 00000812: PUSH2 0x081a 00000815: JUMPI 00000816: PUSH1 0x00 00000818: DUP1 00000819: REVERT 0000081a: JUMPDEST 0000081b: POP 0000081c: PUSH2 0x085d 0000081f: PUSH1 0x04 00000821: DUP1 00000822: CALLDATASIZE 00000823: SUB 00000824: PUSH1 0x20 00000826: DUP2 00000827: LT 00000828: ISZERO 00000829: PUSH2 0x0831 0000082c: JUMPI 0000082d: PUSH1 0x00 0000082f: DUP1 00000830: REVERT 00000831: JUMPDEST 00000832: DUP2 00000833: ADD 00000834: SWAP1 00000835: DUP1 00000836: DUP1 00000837: CALLDATALOAD 00000838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084d: AND 0000084e: SWAP1 0000084f: PUSH1 0x20 00000851: ADD 00000852: SWAP1 00000853: SWAP3 00000854: SWAP2 00000855: SWAP1 00000856: POP 00000857: POP 00000858: POP 00000859: PUSH2 0x1ae4 0000085c: JUMP 0000085d: JUMPDEST 0000085e: STOP 0000085f: JUMPDEST 00000860: CALLVALUE 00000861: DUP1 00000862: ISZERO 00000863: PUSH2 0x086b 00000866: JUMPI 00000867: PUSH1 0x00 00000869: DUP1 0000086a: REVERT 0000086b: JUMPDEST 0000086c: POP 0000086d: PUSH2 0x0874 00000870: PUSH2 0x1bb9 00000873: JUMP 00000874: JUMPDEST 00000875: STOP 00000876: JUMPDEST 00000877: CALLVALUE 00000878: DUP1 00000879: ISZERO 0000087a: PUSH2 0x0882 0000087d: JUMPI 0000087e: PUSH1 0x00 00000880: DUP1 00000881: REVERT 00000882: JUMPDEST 00000883: POP 00000884: PUSH2 0x088b 00000887: PUSH2 0x1c7d 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH1 0x40 0000088e: MLOAD 0000088f: DUP1 00000890: DUP3 00000891: PUSH2 0xffff 00000894: AND 00000895: PUSH2 0xffff 00000898: AND 00000899: DUP2 0000089a: MSTORE 0000089b: PUSH1 0x20 0000089d: ADD 0000089e: SWAP2 0000089f: POP 000008a0: POP 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: DUP1 000008a5: SWAP2 000008a6: SUB 000008a7: SWAP1 000008a8: RETURN 000008a9: JUMPDEST 000008aa: PUSH2 0x09c4 000008ad: PUSH1 0x04 000008af: DUP1 000008b0: CALLDATASIZE 000008b1: SUB 000008b2: PUSH1 0xc0 000008b4: DUP2 000008b5: LT 000008b6: ISZERO 000008b7: PUSH2 0x08bf 000008ba: JUMPI 000008bb: PUSH1 0x00 000008bd: DUP1 000008be: REVERT 000008bf: JUMPDEST 000008c0: DUP2 000008c1: ADD 000008c2: SWAP1 000008c3: DUP1 000008c4: DUP1 000008c5: CALLDATALOAD 000008c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008db: AND 000008dc: SWAP1 000008dd: PUSH1 0x20 000008df: ADD 000008e0: SWAP1 000008e1: SWAP3 000008e2: SWAP2 000008e3: SWAP1 000008e4: DUP1 000008e5: CALLDATALOAD 000008e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fb: AND 000008fc: SWAP1 000008fd: PUSH1 0x20 000008ff: ADD 00000900: SWAP1 00000901: SWAP3 00000902: SWAP2 00000903: SWAP1 00000904: DUP1 00000905: CALLDATALOAD 00000906: SWAP1 00000907: PUSH1 0x20 00000909: ADD 0000090a: SWAP1 0000090b: SWAP3 0000090c: SWAP2 0000090d: SWAP1 0000090e: DUP1 0000090f: CALLDATALOAD 00000910: PUSH2 0xffff 00000913: AND 00000914: SWAP1 00000915: PUSH1 0x20 00000917: ADD 00000918: SWAP1 00000919: SWAP3 0000091a: SWAP2 0000091b: SWAP1 0000091c: DUP1 0000091d: CALLDATALOAD 0000091e: SWAP1 0000091f: PUSH1 0x20 00000921: ADD 00000922: SWAP1 00000923: PUSH5 0x0100000000 00000929: DUP2 0000092a: GT 0000092b: ISZERO 0000092c: PUSH2 0x0934 0000092f: JUMPI 00000930: PUSH1 0x00 00000932: DUP1 00000933: REVERT 00000934: JUMPDEST 00000935: DUP3 00000936: ADD 00000937: DUP4 00000938: PUSH1 0x20 0000093a: DUP3 0000093b: ADD 0000093c: GT 0000093d: ISZERO 0000093e: PUSH2 0x0946 00000941: JUMPI 00000942: PUSH1 0x00 00000944: DUP1 00000945: REVERT 00000946: JUMPDEST 00000947: DUP1 00000948: CALLDATALOAD 00000949: SWAP1 0000094a: PUSH1 0x20 0000094c: ADD 0000094d: SWAP2 0000094e: DUP5 0000094f: PUSH1 0x01 00000951: DUP4 00000952: MUL 00000953: DUP5 00000954: ADD 00000955: GT 00000956: PUSH5 0x0100000000 0000095c: DUP4 0000095d: GT 0000095e: OR 0000095f: ISZERO 00000960: PUSH2 0x0968 00000963: JUMPI 00000964: PUSH1 0x00 00000966: DUP1 00000967: REVERT 00000968: JUMPDEST 00000969: SWAP2 0000096a: SWAP1 0000096b: DUP1 0000096c: DUP1 0000096d: PUSH1 0x1f 0000096f: ADD 00000970: PUSH1 0x20 00000972: DUP1 00000973: SWAP2 00000974: DIV 00000975: MUL 00000976: PUSH1 0x20 00000978: ADD 00000979: PUSH1 0x40 0000097b: MLOAD 0000097c: SWAP1 0000097d: DUP2 0000097e: ADD 0000097f: PUSH1 0x40 00000981: MSTORE 00000982: DUP1 00000983: SWAP4 00000984: SWAP3 00000985: SWAP2 00000986: SWAP1 00000987: DUP2 00000988: DUP2 00000989: MSTORE 0000098a: PUSH1 0x20 0000098c: ADD 0000098d: DUP4 0000098e: DUP4 0000098f: DUP1 00000990: DUP3 00000991: DUP5 00000992: CALLDATACOPY 00000993: PUSH1 0x00 00000995: DUP2 00000996: DUP5 00000997: ADD 00000998: MSTORE 00000999: PUSH1 0x1f 0000099b: NOT 0000099c: PUSH1 0x1f 0000099e: DUP3 0000099f: ADD 000009a0: AND 000009a1: SWAP1 000009a2: POP 000009a3: DUP1 000009a4: DUP4 000009a5: ADD 000009a6: SWAP3 000009a7: POP 000009a8: POP 000009a9: POP 000009aa: POP 000009ab: POP 000009ac: POP 000009ad: POP 000009ae: SWAP2 000009af: SWAP3 000009b0: SWAP2 000009b1: SWAP3 000009b2: SWAP1 000009b3: DUP1 000009b4: CALLDATALOAD 000009b5: SWAP1 000009b6: PUSH1 0x20 000009b8: ADD 000009b9: SWAP1 000009ba: SWAP3 000009bb: SWAP2 000009bc: SWAP1 000009bd: POP 000009be: POP 000009bf: POP 000009c0: PUSH2 0x1c91 000009c3: JUMP 000009c4: JUMPDEST 000009c5: STOP 000009c6: JUMPDEST 000009c7: CALLVALUE 000009c8: DUP1 000009c9: ISZERO 000009ca: PUSH2 0x09d2 000009cd: JUMPI 000009ce: PUSH1 0x00 000009d0: DUP1 000009d1: REVERT 000009d2: JUMPDEST 000009d3: POP 000009d4: PUSH2 0x09db 000009d7: PUSH2 0x1fbc 000009da: JUMP 000009db: JUMPDEST 000009dc: PUSH1 0x40 000009de: MLOAD 000009df: DUP1 000009e0: DUP5 000009e1: PUSH1 0xff 000009e3: AND 000009e4: PUSH1 0xff 000009e6: AND 000009e7: DUP2 000009e8: MSTORE 000009e9: PUSH1 0x20 000009eb: ADD 000009ec: DUP4 000009ed: PUSH1 0xff 000009ef: AND 000009f0: PUSH1 0xff 000009f2: AND 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x20 000009f7: ADD 000009f8: DUP3 000009f9: PUSH1 0xff 000009fb: AND 000009fc: PUSH1 0xff 000009fe: AND 000009ff: DUP2 00000a00: MSTORE 00000a01: PUSH1 0x20 00000a03: ADD 00000a04: SWAP4 00000a05: POP 00000a06: POP 00000a07: POP 00000a08: POP 00000a09: PUSH1 0x40 00000a0b: MLOAD 00000a0c: DUP1 00000a0d: SWAP2 00000a0e: SUB 00000a0f: SWAP1 00000a10: RETURN 00000a11: JUMPDEST 00000a12: CALLVALUE 00000a13: DUP1 00000a14: ISZERO 00000a15: PUSH2 0x0a1d 00000a18: JUMPI 00000a19: PUSH1 0x00 00000a1b: DUP1 00000a1c: REVERT 00000a1d: JUMPDEST 00000a1e: POP 00000a1f: PUSH2 0x0a26 00000a22: PUSH2 0x1ffb 00000a25: JUMP 00000a26: JUMPDEST 00000a27: STOP 00000a28: JUMPDEST 00000a29: CALLVALUE 00000a2a: DUP1 00000a2b: ISZERO 00000a2c: PUSH2 0x0a34 00000a2f: JUMPI 00000a30: PUSH1 0x00 00000a32: DUP1 00000a33: REVERT 00000a34: JUMPDEST 00000a35: POP 00000a36: PUSH2 0x0a61 00000a39: PUSH1 0x04 00000a3b: DUP1 00000a3c: CALLDATASIZE 00000a3d: SUB 00000a3e: PUSH1 0x20 00000a40: DUP2 00000a41: LT 00000a42: ISZERO 00000a43: PUSH2 0x0a4b 00000a46: JUMPI 00000a47: PUSH1 0x00 00000a49: DUP1 00000a4a: REVERT 00000a4b: JUMPDEST 00000a4c: DUP2 00000a4d: ADD 00000a4e: SWAP1 00000a4f: DUP1 00000a50: DUP1 00000a51: CALLDATALOAD 00000a52: SWAP1 00000a53: PUSH1 0x20 00000a55: ADD 00000a56: SWAP1 00000a57: SWAP3 00000a58: SWAP2 00000a59: SWAP1 00000a5a: POP 00000a5b: POP 00000a5c: POP 00000a5d: PUSH2 0x2178 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH1 0x40 00000a64: MLOAD 00000a65: DUP1 00000a66: DUP3 00000a67: ISZERO 00000a68: ISZERO 00000a69: ISZERO 00000a6a: ISZERO 00000a6b: DUP2 00000a6c: MSTORE 00000a6d: PUSH1 0x20 00000a6f: ADD 00000a70: SWAP2 00000a71: POP 00000a72: POP 00000a73: PUSH1 0x40 00000a75: MLOAD 00000a76: DUP1 00000a77: SWAP2 00000a78: SUB 00000a79: SWAP1 00000a7a: RETURN 00000a7b: JUMPDEST 00000a7c: CALLVALUE 00000a7d: DUP1 00000a7e: ISZERO 00000a7f: PUSH2 0x0a87 00000a82: JUMPI 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: REVERT 00000a87: JUMPDEST 00000a88: POP 00000a89: PUSH2 0x0a90 00000a8c: PUSH2 0x2198 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: PUSH1 0x40 00000a93: MLOAD 00000a94: DUP1 00000a95: DUP3 00000a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aab: AND 00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac1: AND 00000ac2: DUP2 00000ac3: MSTORE 00000ac4: PUSH1 0x20 00000ac6: ADD 00000ac7: SWAP2 00000ac8: POP 00000ac9: POP 00000aca: PUSH1 0x40 00000acc: MLOAD 00000acd: DUP1 00000ace: SWAP2 00000acf: SUB 00000ad0: SWAP1 00000ad1: RETURN 00000ad2: JUMPDEST 00000ad3: CALLVALUE 00000ad4: DUP1 00000ad5: ISZERO 00000ad6: PUSH2 0x0ade 00000ad9: JUMPI 00000ada: PUSH1 0x00 00000adc: DUP1 00000add: REVERT 00000ade: JUMPDEST 00000adf: POP 00000ae0: PUSH2 0x0b21 00000ae3: PUSH1 0x04 00000ae5: DUP1 00000ae6: CALLDATASIZE 00000ae7: SUB 00000ae8: PUSH1 0x20 00000aea: DUP2 00000aeb: LT 00000aec: ISZERO 00000aed: PUSH2 0x0af5 00000af0: JUMPI 00000af1: PUSH1 0x00 00000af3: DUP1 00000af4: REVERT 00000af5: JUMPDEST 00000af6: DUP2 00000af7: ADD 00000af8: SWAP1 00000af9: DUP1 00000afa: DUP1 00000afb: CALLDATALOAD 00000afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b11: AND 00000b12: SWAP1 00000b13: PUSH1 0x20 00000b15: ADD 00000b16: SWAP1 00000b17: SWAP3 00000b18: SWAP2 00000b19: SWAP1 00000b1a: POP 00000b1b: POP 00000b1c: POP 00000b1d: PUSH2 0x21c2 00000b20: JUMP 00000b21: JUMPDEST 00000b22: PUSH1 0x40 00000b24: MLOAD 00000b25: DUP1 00000b26: DUP3 00000b27: ISZERO 00000b28: ISZERO 00000b29: ISZERO 00000b2a: ISZERO 00000b2b: DUP2 00000b2c: MSTORE 00000b2d: PUSH1 0x20 00000b2f: ADD 00000b30: SWAP2 00000b31: POP 00000b32: POP 00000b33: PUSH1 0x40 00000b35: MLOAD 00000b36: DUP1 00000b37: SWAP2 00000b38: SUB 00000b39: SWAP1 00000b3a: RETURN 00000b3b: JUMPDEST 00000b3c: CALLVALUE 00000b3d: DUP1 00000b3e: ISZERO 00000b3f: PUSH2 0x0b47 00000b42: JUMPI 00000b43: PUSH1 0x00 00000b45: DUP1 00000b46: REVERT 00000b47: JUMPDEST 00000b48: POP 00000b49: PUSH2 0x0b8a 00000b4c: PUSH1 0x04 00000b4e: DUP1 00000b4f: CALLDATASIZE 00000b50: SUB 00000b51: PUSH1 0x20 00000b53: DUP2 00000b54: LT 00000b55: ISZERO 00000b56: PUSH2 0x0b5e 00000b59: JUMPI 00000b5a: PUSH1 0x00 00000b5c: DUP1 00000b5d: REVERT 00000b5e: JUMPDEST 00000b5f: DUP2 00000b60: ADD 00000b61: SWAP1 00000b62: DUP1 00000b63: DUP1 00000b64: CALLDATALOAD 00000b65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7a: AND 00000b7b: SWAP1 00000b7c: PUSH1 0x20 00000b7e: ADD 00000b7f: SWAP1 00000b80: SWAP3 00000b81: SWAP2 00000b82: SWAP1 00000b83: POP 00000b84: POP 00000b85: POP 00000b86: PUSH2 0x21df 00000b89: JUMP 00000b8a: JUMPDEST 00000b8b: STOP 00000b8c: JUMPDEST 00000b8d: CALLVALUE 00000b8e: DUP1 00000b8f: ISZERO 00000b90: PUSH2 0x0b98 00000b93: JUMPI 00000b94: PUSH1 0x00 00000b96: DUP1 00000b97: REVERT 00000b98: JUMPDEST 00000b99: POP 00000b9a: PUSH2 0x0ba1 00000b9d: PUSH2 0x22b4 00000ba0: JUMP 00000ba1: JUMPDEST 00000ba2: PUSH1 0x40 00000ba4: MLOAD 00000ba5: DUP1 00000ba6: DUP3 00000ba7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bbc: AND 00000bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd2: AND 00000bd3: DUP2 00000bd4: MSTORE 00000bd5: PUSH1 0x20 00000bd7: ADD 00000bd8: SWAP2 00000bd9: POP 00000bda: POP 00000bdb: PUSH1 0x40 00000bdd: MLOAD 00000bde: DUP1 00000bdf: SWAP2 00000be0: SUB 00000be1: SWAP1 00000be2: RETURN 00000be3: JUMPDEST 00000be4: CALLVALUE 00000be5: DUP1 00000be6: ISZERO 00000be7: PUSH2 0x0bef 00000bea: JUMPI 00000beb: PUSH1 0x00 00000bed: DUP1 00000bee: REVERT 00000bef: JUMPDEST 00000bf0: POP 00000bf1: PUSH2 0x0c4a 00000bf4: PUSH1 0x04 00000bf6: DUP1 00000bf7: CALLDATASIZE 00000bf8: SUB 00000bf9: PUSH1 0x60 00000bfb: DUP2 00000bfc: LT 00000bfd: ISZERO 00000bfe: PUSH2 0x0c06 00000c01: JUMPI 00000c02: PUSH1 0x00 00000c04: DUP1 00000c05: REVERT 00000c06: JUMPDEST 00000c07: DUP2 00000c08: ADD 00000c09: SWAP1 00000c0a: DUP1 00000c0b: DUP1 00000c0c: CALLDATALOAD 00000c0d: PUSH2 0xffff 00000c10: AND 00000c11: SWAP1 00000c12: PUSH1 0x20 00000c14: ADD 00000c15: SWAP1 00000c16: SWAP3 00000c17: SWAP2 00000c18: SWAP1 00000c19: DUP1 00000c1a: CALLDATALOAD 00000c1b: SWAP1 00000c1c: PUSH1 0x20 00000c1e: ADD 00000c1f: SWAP1 00000c20: SWAP3 00000c21: SWAP2 00000c22: SWAP1 00000c23: DUP1 00000c24: CALLDATALOAD 00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3a: AND 00000c3b: SWAP1 00000c3c: PUSH1 0x20 00000c3e: ADD 00000c3f: SWAP1 00000c40: SWAP3 00000c41: SWAP2 00000c42: SWAP1 00000c43: POP 00000c44: POP 00000c45: POP 00000c46: PUSH2 0x22da 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: PUSH1 0x40 00000c4d: MLOAD 00000c4e: DUP1 00000c4f: DUP3 00000c50: PUSH2 0xffff 00000c53: AND 00000c54: PUSH2 0xffff 00000c57: AND 00000c58: DUP2 00000c59: MSTORE 00000c5a: PUSH1 0x20 00000c5c: ADD 00000c5d: SWAP2 00000c5e: POP 00000c5f: POP 00000c60: PUSH1 0x40 00000c62: MLOAD 00000c63: DUP1 00000c64: SWAP2 00000c65: SUB 00000c66: SWAP1 00000c67: RETURN 00000c68: JUMPDEST 00000c69: CALLVALUE 00000c6a: DUP1 00000c6b: ISZERO 00000c6c: PUSH2 0x0c74 00000c6f: JUMPI 00000c70: PUSH1 0x00 00000c72: DUP1 00000c73: REVERT 00000c74: JUMPDEST 00000c75: POP 00000c76: PUSH2 0x0cb7 00000c79: PUSH1 0x04 00000c7b: DUP1 00000c7c: CALLDATASIZE 00000c7d: SUB 00000c7e: PUSH1 0x20 00000c80: DUP2 00000c81: LT 00000c82: ISZERO 00000c83: PUSH2 0x0c8b 00000c86: JUMPI 00000c87: PUSH1 0x00 00000c89: DUP1 00000c8a: REVERT 00000c8b: JUMPDEST 00000c8c: DUP2 00000c8d: ADD 00000c8e: SWAP1 00000c8f: DUP1 00000c90: DUP1 00000c91: CALLDATALOAD 00000c92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca7: AND 00000ca8: SWAP1 00000ca9: PUSH1 0x20 00000cab: ADD 00000cac: SWAP1 00000cad: SWAP3 00000cae: SWAP2 00000caf: SWAP1 00000cb0: POP 00000cb1: POP 00000cb2: POP 00000cb3: PUSH2 0x23bf 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: STOP 00000cb9: JUMPDEST 00000cba: CALLVALUE 00000cbb: DUP1 00000cbc: ISZERO 00000cbd: PUSH2 0x0cc5 00000cc0: JUMPI 00000cc1: PUSH1 0x00 00000cc3: DUP1 00000cc4: REVERT 00000cc5: JUMPDEST 00000cc6: POP 00000cc7: PUSH2 0x0cf6 00000cca: PUSH1 0x04 00000ccc: DUP1 00000ccd: CALLDATASIZE 00000cce: SUB 00000ccf: PUSH1 0x20 00000cd1: DUP2 00000cd2: LT 00000cd3: ISZERO 00000cd4: PUSH2 0x0cdc 00000cd7: JUMPI 00000cd8: PUSH1 0x00 00000cda: DUP1 00000cdb: REVERT 00000cdc: JUMPDEST 00000cdd: DUP2 00000cde: ADD 00000cdf: SWAP1 00000ce0: DUP1 00000ce1: DUP1 00000ce2: CALLDATALOAD 00000ce3: PUSH2 0xffff 00000ce6: AND 00000ce7: SWAP1 00000ce8: PUSH1 0x20 00000cea: ADD 00000ceb: SWAP1 00000cec: SWAP3 00000ced: SWAP2 00000cee: SWAP1 00000cef: POP 00000cf0: POP 00000cf1: POP 00000cf2: PUSH2 0x2494 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: STOP 00000cf8: JUMPDEST 00000cf9: CALLVALUE 00000cfa: DUP1 00000cfb: ISZERO 00000cfc: PUSH2 0x0d04 00000cff: JUMPI 00000d00: PUSH1 0x00 00000d02: DUP1 00000d03: REVERT 00000d04: JUMPDEST 00000d05: POP 00000d06: PUSH2 0x0d47 00000d09: PUSH1 0x04 00000d0b: DUP1 00000d0c: CALLDATASIZE 00000d0d: SUB 00000d0e: PUSH1 0x20 00000d10: DUP2 00000d11: LT 00000d12: ISZERO 00000d13: PUSH2 0x0d1b 00000d16: JUMPI 00000d17: PUSH1 0x00 00000d19: DUP1 00000d1a: REVERT 00000d1b: JUMPDEST 00000d1c: DUP2 00000d1d: ADD 00000d1e: SWAP1 00000d1f: DUP1 00000d20: DUP1 00000d21: CALLDATALOAD 00000d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d37: AND 00000d38: SWAP1 00000d39: PUSH1 0x20 00000d3b: ADD 00000d3c: SWAP1 00000d3d: SWAP3 00000d3e: SWAP2 00000d3f: SWAP1 00000d40: POP 00000d41: POP 00000d42: POP 00000d43: PUSH2 0x252f 00000d46: JUMP 00000d47: JUMPDEST 00000d48: STOP 00000d49: JUMPDEST 00000d4a: CALLVALUE 00000d4b: DUP1 00000d4c: ISZERO 00000d4d: PUSH2 0x0d55 00000d50: JUMPI 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: REVERT 00000d55: JUMPDEST 00000d56: POP 00000d57: PUSH2 0x0d82 00000d5a: PUSH1 0x04 00000d5c: DUP1 00000d5d: CALLDATASIZE 00000d5e: SUB 00000d5f: PUSH1 0x20 00000d61: DUP2 00000d62: LT 00000d63: ISZERO 00000d64: PUSH2 0x0d6c 00000d67: JUMPI 00000d68: PUSH1 0x00 00000d6a: DUP1 00000d6b: REVERT 00000d6c: JUMPDEST 00000d6d: DUP2 00000d6e: ADD 00000d6f: SWAP1 00000d70: DUP1 00000d71: DUP1 00000d72: CALLDATALOAD 00000d73: SWAP1 00000d74: PUSH1 0x20 00000d76: ADD 00000d77: SWAP1 00000d78: SWAP3 00000d79: SWAP2 00000d7a: SWAP1 00000d7b: POP 00000d7c: POP 00000d7d: POP 00000d7e: PUSH2 0x25ee 00000d81: JUMP 00000d82: JUMPDEST 00000d83: STOP 00000d84: JUMPDEST 00000d85: CALLVALUE 00000d86: DUP1 00000d87: ISZERO 00000d88: PUSH2 0x0d90 00000d8b: JUMPI 00000d8c: PUSH1 0x00 00000d8e: DUP1 00000d8f: REVERT 00000d90: JUMPDEST 00000d91: POP 00000d92: PUSH2 0x0e54 00000d95: PUSH1 0x04 00000d97: DUP1 00000d98: CALLDATASIZE 00000d99: SUB 00000d9a: PUSH1 0x40 00000d9c: DUP2 00000d9d: LT 00000d9e: ISZERO 00000d9f: PUSH2 0x0da7 00000da2: JUMPI 00000da3: PUSH1 0x00 00000da5: DUP1 00000da6: REVERT 00000da7: JUMPDEST 00000da8: DUP2 00000da9: ADD 00000daa: SWAP1 00000dab: DUP1 00000dac: DUP1 00000dad: CALLDATALOAD 00000dae: SWAP1 00000daf: PUSH1 0x20 00000db1: ADD 00000db2: SWAP1 00000db3: SWAP3 00000db4: SWAP2 00000db5: SWAP1 00000db6: DUP1 00000db7: CALLDATALOAD 00000db8: SWAP1 00000db9: PUSH1 0x20 00000dbb: ADD 00000dbc: SWAP1 00000dbd: PUSH5 0x0100000000 00000dc3: DUP2 00000dc4: GT 00000dc5: ISZERO 00000dc6: PUSH2 0x0dce 00000dc9: JUMPI 00000dca: PUSH1 0x00 00000dcc: DUP1 00000dcd: REVERT 00000dce: JUMPDEST 00000dcf: DUP3 00000dd0: ADD 00000dd1: DUP4 00000dd2: PUSH1 0x20 00000dd4: DUP3 00000dd5: ADD 00000dd6: GT 00000dd7: ISZERO 00000dd8: PUSH2 0x0de0 00000ddb: JUMPI 00000ddc: PUSH1 0x00 00000dde: DUP1 00000ddf: REVERT 00000de0: JUMPDEST 00000de1: DUP1 00000de2: CALLDATALOAD 00000de3: SWAP1 00000de4: PUSH1 0x20 00000de6: ADD 00000de7: SWAP2 00000de8: DUP5 00000de9: PUSH1 0x01 00000deb: DUP4 00000dec: MUL 00000ded: DUP5 00000dee: ADD 00000def: GT 00000df0: PUSH5 0x0100000000 00000df6: DUP4 00000df7: GT 00000df8: OR 00000df9: ISZERO 00000dfa: PUSH2 0x0e02 00000dfd: JUMPI 00000dfe: PUSH1 0x00 00000e00: DUP1 00000e01: REVERT 00000e02: JUMPDEST 00000e03: SWAP2 00000e04: SWAP1 00000e05: DUP1 00000e06: DUP1 00000e07: PUSH1 0x1f 00000e09: ADD 00000e0a: PUSH1 0x20 00000e0c: DUP1 00000e0d: SWAP2 00000e0e: DIV 00000e0f: MUL 00000e10: PUSH1 0x20 00000e12: ADD 00000e13: PUSH1 0x40 00000e15: MLOAD 00000e16: SWAP1 00000e17: DUP2 00000e18: ADD 00000e19: PUSH1 0x40 00000e1b: MSTORE 00000e1c: DUP1 00000e1d: SWAP4 00000e1e: SWAP3 00000e1f: SWAP2 00000e20: SWAP1 00000e21: DUP2 00000e22: DUP2 00000e23: MSTORE 00000e24: PUSH1 0x20 00000e26: ADD 00000e27: DUP4 00000e28: DUP4 00000e29: DUP1 00000e2a: DUP3 00000e2b: DUP5 00000e2c: CALLDATACOPY 00000e2d: PUSH1 0x00 00000e2f: DUP2 00000e30: DUP5 00000e31: ADD 00000e32: MSTORE 00000e33: PUSH1 0x1f 00000e35: NOT 00000e36: PUSH1 0x1f 00000e38: DUP3 00000e39: ADD 00000e3a: AND 00000e3b: SWAP1 00000e3c: POP 00000e3d: DUP1 00000e3e: DUP4 00000e3f: ADD 00000e40: SWAP3 00000e41: POP 00000e42: POP 00000e43: POP 00000e44: POP 00000e45: POP 00000e46: POP 00000e47: POP 00000e48: SWAP2 00000e49: SWAP3 00000e4a: SWAP2 00000e4b: SWAP3 00000e4c: SWAP1 00000e4d: POP 00000e4e: POP 00000e4f: POP 00000e50: PUSH2 0x26d9 00000e53: JUMP 00000e54: JUMPDEST 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: DUP1 00000e59: DUP3 00000e5a: ISZERO 00000e5b: ISZERO 00000e5c: ISZERO 00000e5d: ISZERO 00000e5e: DUP2 00000e5f: MSTORE 00000e60: PUSH1 0x20 00000e62: ADD 00000e63: SWAP2 00000e64: POP 00000e65: POP 00000e66: PUSH1 0x40 00000e68: MLOAD 00000e69: DUP1 00000e6a: SWAP2 00000e6b: SUB 00000e6c: SWAP1 00000e6d: RETURN 00000e6e: JUMPDEST 00000e6f: CALLVALUE 00000e70: DUP1 00000e71: ISZERO 00000e72: PUSH2 0x0e7a 00000e75: JUMPI 00000e76: PUSH1 0x00 00000e78: DUP1 00000e79: REVERT 00000e7a: JUMPDEST 00000e7b: POP 00000e7c: PUSH2 0x0e83 00000e7f: PUSH2 0x280f 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH1 0x40 00000e86: MLOAD 00000e87: DUP1 00000e88: DUP3 00000e89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9e: AND 00000e9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb4: AND 00000eb5: DUP2 00000eb6: MSTORE 00000eb7: PUSH1 0x20 00000eb9: ADD 00000eba: SWAP2 00000ebb: POP 00000ebc: POP 00000ebd: PUSH1 0x40 00000ebf: MLOAD 00000ec0: DUP1 00000ec1: SWAP2 00000ec2: SUB 00000ec3: SWAP1 00000ec4: RETURN 00000ec5: JUMPDEST 00000ec6: CALLVALUE 00000ec7: DUP1 00000ec8: ISZERO 00000ec9: PUSH2 0x0ed1 00000ecc: JUMPI 00000ecd: PUSH1 0x00 00000ecf: DUP1 00000ed0: REVERT 00000ed1: JUMPDEST 00000ed2: POP 00000ed3: PUSH2 0x0eda 00000ed6: PUSH2 0x2835 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: PUSH1 0x40 00000edd: MLOAD 00000ede: DUP1 00000edf: DUP3 00000ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef5: AND 00000ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0b: AND 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: PUSH1 0x20 00000f10: ADD 00000f11: SWAP2 00000f12: POP 00000f13: POP 00000f14: PUSH1 0x40 00000f16: MLOAD 00000f17: DUP1 00000f18: SWAP2 00000f19: SUB 00000f1a: SWAP1 00000f1b: RETURN 00000f1c: JUMPDEST 00000f1d: CALLVALUE 00000f1e: DUP1 00000f1f: ISZERO 00000f20: PUSH2 0x0f28 00000f23: JUMPI 00000f24: PUSH1 0x00 00000f26: DUP1 00000f27: REVERT 00000f28: JUMPDEST 00000f29: POP 00000f2a: PUSH2 0x0f55 00000f2d: PUSH1 0x04 00000f2f: DUP1 00000f30: CALLDATASIZE 00000f31: SUB 00000f32: PUSH1 0x20 00000f34: DUP2 00000f35: LT 00000f36: ISZERO 00000f37: PUSH2 0x0f3f 00000f3a: JUMPI 00000f3b: PUSH1 0x00 00000f3d: DUP1 00000f3e: REVERT 00000f3f: JUMPDEST 00000f40: DUP2 00000f41: ADD 00000f42: SWAP1 00000f43: DUP1 00000f44: DUP1 00000f45: CALLDATALOAD 00000f46: SWAP1 00000f47: PUSH1 0x20 00000f49: ADD 00000f4a: SWAP1 00000f4b: SWAP3 00000f4c: SWAP2 00000f4d: SWAP1 00000f4e: POP 00000f4f: POP 00000f50: POP 00000f51: PUSH2 0x285b 00000f54: JUMP 00000f55: JUMPDEST 00000f56: STOP 00000f57: JUMPDEST 00000f58: CALLVALUE 00000f59: DUP1 00000f5a: ISZERO 00000f5b: PUSH2 0x0f63 00000f5e: JUMPI 00000f5f: PUSH1 0x00 00000f61: DUP1 00000f62: REVERT 00000f63: JUMPDEST 00000f64: POP 00000f65: PUSH2 0x0fa6 00000f68: PUSH1 0x04 00000f6a: DUP1 00000f6b: CALLDATASIZE 00000f6c: SUB 00000f6d: PUSH1 0x20 00000f6f: DUP2 00000f70: LT 00000f71: ISZERO 00000f72: PUSH2 0x0f7a 00000f75: JUMPI 00000f76: PUSH1 0x00 00000f78: DUP1 00000f79: REVERT 00000f7a: JUMPDEST 00000f7b: DUP2 00000f7c: ADD 00000f7d: SWAP1 00000f7e: DUP1 00000f7f: DUP1 00000f80: CALLDATALOAD 00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f96: AND 00000f97: SWAP1 00000f98: PUSH1 0x20 00000f9a: ADD 00000f9b: SWAP1 00000f9c: SWAP3 00000f9d: SWAP2 00000f9e: SWAP1 00000f9f: POP 00000fa0: POP 00000fa1: POP 00000fa2: PUSH2 0x28e0 00000fa5: JUMP 00000fa6: JUMPDEST 00000fa7: STOP 00000fa8: JUMPDEST 00000fa9: PUSH1 0x00 00000fab: DUP1 00000fac: PUSH1 0x00 00000fae: DUP4 00000faf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000fcc: NOT 00000fcd: AND 00000fce: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000feb: NOT 00000fec: AND 00000fed: DUP2 00000fee: MSTORE 00000fef: PUSH1 0x20 00000ff1: ADD 00000ff2: SWAP1 00000ff3: DUP2 00000ff4: MSTORE 00000ff5: PUSH1 0x20 00000ff7: ADD 00000ff8: PUSH1 0x00 00000ffa: KECCAK256 00000ffb: PUSH1 0x00 00000ffd: SWAP1 00000ffe: SLOAD 00000fff: SWAP1 00001000: PUSH2 0x0100 00001003: EXP 00001004: SWAP1 00001005: DIV 00001006: PUSH1 0xff 00001008: AND 00001009: SWAP1 0000100a: POP 0000100b: SWAP2 0000100c: SWAP1 0000100d: POP 0000100e: JUMP 0000100f: JUMPDEST 00001010: PUSH1 0x00 00001012: DUP5 00001013: DUP5 00001014: DUP5 00001015: DUP5 00001016: PUSH1 0x40 00001018: MLOAD 00001019: PUSH1 0x20 0000101b: ADD 0000101c: DUP1 0000101d: DUP6 0000101e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001033: AND 00001034: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001049: AND 0000104a: DUP2 0000104b: MSTORE 0000104c: PUSH1 0x20 0000104e: ADD 0000104f: DUP5 00001050: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001065: AND 00001066: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107b: AND 0000107c: DUP2 0000107d: MSTORE 0000107e: PUSH1 0x20 00001080: ADD 00001081: DUP4 00001082: DUP2 00001083: MSTORE 00001084: PUSH1 0x20 00001086: ADD 00001087: DUP3 00001088: PUSH2 0xffff 0000108b: AND 0000108c: PUSH2 0xffff 0000108f: AND 00001090: DUP2 00001091: MSTORE 00001092: PUSH1 0x20 00001094: ADD 00001095: SWAP5 00001096: POP 00001097: POP 00001098: POP 00001099: POP 0000109a: POP 0000109b: PUSH1 0x40 0000109d: MLOAD 0000109e: PUSH1 0x20 000010a0: DUP2 000010a1: DUP4 000010a2: SUB 000010a3: SUB 000010a4: DUP2 000010a5: MSTORE 000010a6: SWAP1 000010a7: PUSH1 0x40 000010a9: MSTORE 000010aa: DUP1 000010ab: MLOAD 000010ac: SWAP1 000010ad: PUSH1 0x20 000010af: ADD 000010b0: KECCAK256 000010b1: SWAP1 000010b2: POP 000010b3: SWAP5 000010b4: SWAP4 000010b5: POP 000010b6: POP 000010b7: POP 000010b8: POP 000010b9: JUMP 000010ba: JUMPDEST 000010bb: PUSH1 0x00 000010bd: DUP1 000010be: PUSH2 0x10cf 000010c1: PUSH2 0x10c9 000010c4: DUP6 000010c5: PUSH2 0x2967 000010c8: JUMP 000010c9: JUMPDEST 000010ca: DUP5 000010cb: PUSH2 0x29bf 000010ce: JUMP 000010cf: JUMPDEST 000010d0: SWAP1 000010d1: POP 000010d2: DUP1 000010d3: SWAP2 000010d4: POP 000010d5: POP 000010d6: SWAP3 000010d7: SWAP2 000010d8: POP 000010d9: POP 000010da: JUMP 000010db: JUMPDEST 000010dc: PUSH1 0x0c 000010de: SLOAD 000010df: DUP2 000010e0: JUMP 000010e1: JUMPDEST 000010e2: PUSH2 0x2710 000010e5: PUSH1 0x09 000010e7: SLOAD 000010e8: PUSH1 0x0c 000010ea: SLOAD 000010eb: DUP6 000010ec: ADD 000010ed: ADD 000010ee: GT 000010ef: ISZERO 000010f0: PUSH2 0x1161 000010f3: JUMPI 000010f4: PUSH1 0x40 000010f6: MLOAD 000010f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001118: DUP2 00001119: MSTORE 0000111a: PUSH1 0x04 0000111c: ADD 0000111d: DUP1 0000111e: DUP1 0000111f: PUSH1 0x20 00001121: ADD 00001122: DUP3 00001123: DUP2 00001124: SUB 00001125: DUP3 00001126: MSTORE 00001127: PUSH1 0x14 00001129: DUP2 0000112a: MSTORE 0000112b: PUSH1 0x20 0000112d: ADD 0000112e: DUP1 0000112f: PUSH32 0x496e76616c696420626173697320706f696e7473000000000000000000000000 00001150: DUP2 00001151: MSTORE 00001152: POP 00001153: PUSH1 0x20 00001155: ADD 00001156: SWAP2 00001157: POP 00001158: POP 00001159: PUSH1 0x40 0000115b: MLOAD 0000115c: DUP1 0000115d: SWAP2 0000115e: SUB 0000115f: SWAP1 00001160: REVERT 00001161: JUMPDEST 00001162: PUSH1 0x05 00001164: PUSH1 0x00 00001166: CALLVALUE 00001167: DUP2 00001168: MSTORE 00001169: PUSH1 0x20 0000116b: ADD 0000116c: SWAP1 0000116d: DUP2 0000116e: MSTORE 0000116f: PUSH1 0x20 00001171: ADD 00001172: PUSH1 0x00 00001174: KECCAK256 00001175: PUSH1 0x00 00001177: SWAP1 00001178: SLOAD 00001179: SWAP1 0000117a: PUSH2 0x0100 0000117d: EXP 0000117e: SWAP1 0000117f: DIV 00001180: PUSH1 0xff 00001182: AND 00001183: PUSH2 0x11f4 00001186: JUMPI 00001187: PUSH1 0x40 00001189: MLOAD 0000118a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011ab: DUP2 000011ac: MSTORE 000011ad: PUSH1 0x04 000011af: ADD 000011b0: DUP1 000011b1: DUP1 000011b2: PUSH1 0x20 000011b4: ADD 000011b5: DUP3 000011b6: DUP2 000011b7: SUB 000011b8: DUP3 000011b9: MSTORE 000011ba: PUSH1 0x11 000011bc: DUP2 000011bd: MSTORE 000011be: PUSH1 0x20 000011c0: ADD 000011c1: DUP1 000011c2: PUSH32 0x496e76616c6964206d73672e76616c7565000000000000000000000000000000 000011e3: DUP2 000011e4: MSTORE 000011e5: POP 000011e6: PUSH1 0x20 000011e8: ADD 000011e9: SWAP2 000011ea: POP 000011eb: POP 000011ec: PUSH1 0x40 000011ee: MLOAD 000011ef: DUP1 000011f0: SWAP2 000011f1: SUB 000011f2: SWAP1 000011f3: REVERT 000011f4: JUMPDEST 000011f5: PUSH2 0x1209 000011f8: PUSH2 0x1203 000011fb: CALLER 000011fc: DUP7 000011fd: DUP7 000011fe: DUP7 000011ff: PUSH2 0x100f 00001202: JUMP 00001203: JUMPDEST 00001204: DUP3 00001205: PUSH2 0x26d9 00001208: JUMP 00001209: JUMPDEST 0000120a: PUSH2 0x127b 0000120d: JUMPI 0000120e: PUSH1 0x40 00001210: MLOAD 00001211: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001232: DUP2 00001233: MSTORE 00001234: PUSH1 0x04 00001236: ADD 00001237: DUP1 00001238: DUP1 00001239: PUSH1 0x20 0000123b: ADD 0000123c: DUP3 0000123d: DUP2 0000123e: SUB 0000123f: DUP3 00001240: MSTORE 00001241: PUSH1 0x11 00001243: DUP2 00001244: MSTORE 00001245: PUSH1 0x20 00001247: ADD 00001248: DUP1 00001249: PUSH32 0x496e76616c6964207369676e6174757265000000000000000000000000000000 0000126a: DUP2 0000126b: MSTORE 0000126c: POP 0000126d: PUSH1 0x20 0000126f: ADD 00001270: SWAP2 00001271: POP 00001272: POP 00001273: PUSH1 0x40 00001275: MLOAD 00001276: DUP1 00001277: SWAP2 00001278: SUB 00001279: SWAP1 0000127a: REVERT 0000127b: JUMPDEST 0000127c: PUSH1 0x00 0000127e: PUSH1 0x04 00001280: PUSH1 0x00 00001282: ADD 00001283: PUSH1 0x00 00001285: SWAP1 00001286: SLOAD 00001287: SWAP1 00001288: PUSH2 0x0100 0000128b: EXP 0000128c: SWAP1 0000128d: DIV 0000128e: PUSH1 0xff 00001290: AND 00001291: SWAP1 00001292: POP 00001293: PUSH1 0x00 00001295: CALLVALUE 00001296: SWAP1 00001297: POP 00001298: PUSH1 0x00 0000129a: DUP1 0000129b: SWAP1 0000129c: POP 0000129d: PUSH1 0x00 0000129f: DUP1 000012a0: SWAP1 000012a1: POP 000012a2: PUSH1 0x01 000012a4: PUSH1 0xff 000012a6: AND 000012a7: DUP5 000012a8: PUSH1 0xff 000012aa: AND 000012ab: EQ 000012ac: DUP1 000012ad: PUSH2 0x12bc 000012b0: JUMPI 000012b1: POP 000012b2: PUSH1 0x04 000012b4: PUSH1 0xff 000012b6: AND 000012b7: DUP5 000012b8: PUSH1 0xff 000012ba: AND 000012bb: EQ 000012bc: JUMPDEST 000012bd: ISZERO 000012be: PUSH2 0x1380 000012c1: JUMPI 000012c2: PUSH1 0x00 000012c4: PUSH2 0x12e0 000012c7: PUSH1 0x0b 000012c9: PUSH1 0x00 000012cb: SWAP1 000012cc: SLOAD 000012cd: SWAP1 000012ce: PUSH2 0x0100 000012d1: EXP 000012d2: SWAP1 000012d3: DIV 000012d4: PUSH2 0xffff 000012d7: AND 000012d8: PUSH1 0x0a 000012da: SLOAD 000012db: CALLER 000012dc: PUSH2 0x22da 000012df: JUMP 000012e0: JUMPDEST 000012e1: PUSH2 0xffff 000012e4: AND 000012e5: EQ 000012e6: ISZERO 000012e7: PUSH2 0x1315 000012ea: JUMPI 000012eb: PUSH1 0x00 000012ed: PUSH2 0x12f8 000012f0: CALLER 000012f1: PUSH1 0x0c 000012f3: SLOAD 000012f4: PUSH2 0x2ac3 000012f7: JUMP 000012f8: JUMPDEST 000012f9: SWAP1 000012fa: POP 000012fb: PUSH2 0x130d 000012fe: DUP2 000012ff: DUP6 00001300: PUSH2 0x2b40 00001303: SWAP1 00001304: SWAP2 00001305: SWAP1 00001306: PUSH4 0xffffffff 0000130b: AND 0000130c: JUMP 0000130d: JUMPDEST 0000130e: SWAP4 0000130f: POP 00001310: POP 00001311: PUSH2 0x1369 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH1 0x04 00001318: PUSH1 0x00 0000131a: ADD 0000131b: PUSH1 0x01 0000131d: SWAP1 0000131e: SLOAD 0000131f: SWAP1 00001320: PUSH2 0x0100 00001323: EXP 00001324: SWAP1 00001325: DIV 00001326: PUSH1 0xff 00001328: AND 00001329: SWAP4 0000132a: POP 0000132b: PUSH2 0x1334 0000132e: DUP9 0000132f: DUP9 00001330: PUSH2 0x2bc3 00001333: JUMP 00001334: JUMPDEST 00001335: SWAP2 00001336: POP 00001337: PUSH2 0x133f 0000133a: DUP7 0000133b: PUSH2 0x2cb5 0000133e: JUMP 0000133f: JUMPDEST 00001340: SWAP1 00001341: POP 00001342: PUSH2 0x1366 00001345: DUP2 00001346: PUSH2 0x1358 00001349: DUP5 0000134a: CALLVALUE 0000134b: PUSH2 0x2b40 0000134e: SWAP1 0000134f: SWAP2 00001350: SWAP1 00001351: PUSH4 0xffffffff 00001356: AND 00001357: JUMP 00001358: JUMPDEST 00001359: PUSH2 0x2b40 0000135c: SWAP1 0000135d: SWAP2 0000135e: SWAP1 0000135f: PUSH4 0xffffffff 00001364: AND 00001365: JUMP 00001366: JUMPDEST 00001367: SWAP3 00001368: POP 00001369: JUMPDEST 0000136a: PUSH1 0x0a 0000136c: PUSH1 0x00 0000136e: DUP2 0000136f: SLOAD 00001370: DUP1 00001371: SWAP3 00001372: SWAP2 00001373: SWAP1 00001374: PUSH1 0x01 00001376: ADD 00001377: SWAP2 00001378: SWAP1 00001379: POP 0000137a: SSTORE 0000137b: POP 0000137c: PUSH2 0x13bf 0000137f: JUMP 00001380: JUMPDEST 00001381: PUSH2 0x138a 00001384: DUP9 00001385: DUP9 00001386: PUSH2 0x2bc3 00001389: JUMP 0000138a: JUMPDEST 0000138b: SWAP2 0000138c: POP 0000138d: PUSH2 0x1395 00001390: DUP7 00001391: PUSH2 0x2cb5 00001394: JUMP 00001395: JUMPDEST 00001396: SWAP1 00001397: POP 00001398: PUSH2 0x13bc 0000139b: DUP2 0000139c: PUSH2 0x13ae 0000139f: DUP5 000013a0: CALLVALUE 000013a1: PUSH2 0x2b40 000013a4: SWAP1 000013a5: SWAP2 000013a6: SWAP1 000013a7: PUSH4 0xffffffff 000013ac: AND 000013ad: JUMP 000013ae: JUMPDEST 000013af: PUSH2 0x2b40 000013b2: SWAP1 000013b3: SWAP2 000013b4: SWAP1 000013b5: PUSH4 0xffffffff 000013ba: AND 000013bb: JUMP 000013bc: JUMPDEST 000013bd: SWAP3 000013be: POP 000013bf: JUMPDEST 000013c0: DUP6 000013c1: PUSH2 0xffff 000013c4: AND 000013c5: DUP9 000013c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013db: AND 000013dc: CALLER 000013dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f2: AND 000013f3: PUSH32 0xef8be8195589a8a6990d8ec940c79dd6a43c0ac18064d5682feeb99c599dd3e5 00001414: DUP8 00001415: CALLVALUE 00001416: DUP8 00001417: DUP8 00001418: DUP11 00001419: PUSH1 0x40 0000141b: MLOAD 0000141c: DUP1 0000141d: DUP7 0000141e: PUSH1 0xff 00001420: AND 00001421: PUSH1 0xff 00001423: AND 00001424: DUP2 00001425: MSTORE 00001426: PUSH1 0x20 00001428: ADD 00001429: DUP6 0000142a: DUP2 0000142b: MSTORE 0000142c: PUSH1 0x20 0000142e: ADD 0000142f: DUP5 00001430: DUP2 00001431: MSTORE 00001432: PUSH1 0x20 00001434: ADD 00001435: DUP4 00001436: DUP2 00001437: MSTORE 00001438: PUSH1 0x20 0000143a: ADD 0000143b: DUP3 0000143c: DUP2 0000143d: MSTORE 0000143e: PUSH1 0x20 00001440: ADD 00001441: SWAP6 00001442: POP 00001443: POP 00001444: POP 00001445: POP 00001446: POP 00001447: POP 00001448: PUSH1 0x40 0000144a: MLOAD 0000144b: DUP1 0000144c: SWAP2 0000144d: SUB 0000144e: SWAP1 0000144f: LOG4 00001450: POP 00001451: POP 00001452: POP 00001453: POP 00001454: POP 00001455: POP 00001456: POP 00001457: POP 00001458: JUMP 00001459: JUMPDEST 0000145a: PUSH2 0x1461 0000145d: PUSH2 0x2198 00001460: JUMP 00001461: JUMPDEST 00001462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001477: AND 00001478: CALLER 00001479: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148e: AND 0000148f: EQ 00001490: PUSH2 0x1501 00001493: JUMPI 00001494: PUSH1 0x40 00001496: MLOAD 00001497: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000014b8: DUP2 000014b9: MSTORE 000014ba: PUSH1 0x04 000014bc: ADD 000014bd: DUP1 000014be: DUP1 000014bf: PUSH1 0x20 000014c1: ADD 000014c2: DUP3 000014c3: DUP2 000014c4: SUB 000014c5: DUP3 000014c6: MSTORE 000014c7: PUSH1 0x0d 000014c9: DUP2 000014ca: MSTORE 000014cb: PUSH1 0x20 000014cd: ADD 000014ce: DUP1 000014cf: PUSH32 0x4d757374206265206f776e657200000000000000000000000000000000000000 000014f0: DUP2 000014f1: MSTORE 000014f2: POP 000014f3: PUSH1 0x20 000014f5: ADD 000014f6: SWAP2 000014f7: POP 000014f8: POP 000014f9: PUSH1 0x40 000014fb: MLOAD 000014fc: DUP1 000014fd: SWAP2 000014fe: SUB 000014ff: SWAP1 00001500: REVERT 00001501: JUMPDEST 00001502: DUP1 00001503: PUSH1 0x07 00001505: PUSH1 0x00 00001507: PUSH2 0x0100 0000150a: EXP 0000150b: DUP2 0000150c: SLOAD 0000150d: DUP2 0000150e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001523: MUL 00001524: NOT 00001525: AND 00001526: SWAP1 00001527: DUP4 00001528: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153d: AND 0000153e: MUL 0000153f: OR 00001540: SWAP1 00001541: SSTORE 00001542: POP 00001543: POP 00001544: JUMP 00001545: JUMPDEST 00001546: PUSH1 0x0e 00001548: PUSH1 0x20 0000154a: MSTORE 0000154b: DUP1 0000154c: PUSH1 0x00 0000154e: MSTORE 0000154f: PUSH1 0x40 00001551: PUSH1 0x00 00001553: KECCAK256 00001554: PUSH1 0x00 00001556: SWAP2 00001557: POP 00001558: SWAP1 00001559: POP 0000155a: SLOAD 0000155b: DUP2 0000155c: JUMP 0000155d: JUMPDEST 0000155e: PUSH2 0x1566 00001561: CALLER 00001562: PUSH2 0x1ac7 00001565: JUMP 00001566: JUMPDEST 00001567: PUSH2 0x15d8 0000156a: JUMPI 0000156b: PUSH1 0x40 0000156d: MLOAD 0000156e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000158f: DUP2 00001590: MSTORE 00001591: PUSH1 0x04 00001593: ADD 00001594: DUP1 00001595: DUP1 00001596: PUSH1 0x20 00001598: ADD 00001599: DUP3 0000159a: DUP2 0000159b: SUB 0000159c: DUP3 0000159d: MSTORE 0000159e: PUSH1 0x10 000015a0: DUP2 000015a1: MSTORE 000015a2: PUSH1 0x20 000015a4: ADD 000015a5: DUP1 000015a6: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 000015c7: DUP2 000015c8: MSTORE 000015c9: POP 000015ca: PUSH1 0x20 000015cc: ADD 000015cd: SWAP2 000015ce: POP 000015cf: POP 000015d0: PUSH1 0x40 000015d2: MLOAD 000015d3: DUP1 000015d4: SWAP2 000015d5: SUB 000015d6: SWAP1 000015d7: REVERT 000015d8: JUMPDEST 000015d9: PUSH1 0x40 000015db: MLOAD 000015dc: DUP1 000015dd: PUSH1 0x60 000015df: ADD 000015e0: PUSH1 0x40 000015e2: MSTORE 000015e3: DUP1 000015e4: DUP5 000015e5: PUSH1 0xff 000015e7: AND 000015e8: DUP2 000015e9: MSTORE 000015ea: PUSH1 0x20 000015ec: ADD 000015ed: DUP4 000015ee: PUSH1 0xff 000015f0: AND 000015f1: DUP2 000015f2: MSTORE 000015f3: PUSH1 0x20 000015f5: ADD 000015f6: DUP3 000015f7: PUSH1 0xff 000015f9: AND 000015fa: DUP2 000015fb: MSTORE 000015fc: POP 000015fd: PUSH1 0x04 000015ff: PUSH1 0x00 00001601: DUP3 00001602: ADD 00001603: MLOAD 00001604: DUP2 00001605: PUSH1 0x00 00001607: ADD 00001608: PUSH1 0x00 0000160a: PUSH2 0x0100 0000160d: EXP 0000160e: DUP2 0000160f: SLOAD 00001610: DUP2 00001611: PUSH1 0xff 00001613: MUL 00001614: NOT 00001615: AND 00001616: SWAP1 00001617: DUP4 00001618: PUSH1 0xff 0000161a: AND 0000161b: MUL 0000161c: OR 0000161d: SWAP1 0000161e: SSTORE 0000161f: POP 00001620: PUSH1 0x20 00001622: DUP3 00001623: ADD 00001624: MLOAD 00001625: DUP2 00001626: PUSH1 0x00 00001628: ADD 00001629: PUSH1 0x01 0000162b: PUSH2 0x0100 0000162e: EXP 0000162f: DUP2 00001630: SLOAD 00001631: DUP2 00001632: PUSH1 0xff 00001634: MUL 00001635: NOT 00001636: AND 00001637: SWAP1 00001638: DUP4 00001639: PUSH1 0xff 0000163b: AND 0000163c: MUL 0000163d: OR 0000163e: SWAP1 0000163f: SSTORE 00001640: POP 00001641: PUSH1 0x40 00001643: DUP3 00001644: ADD 00001645: MLOAD 00001646: DUP2 00001647: PUSH1 0x00 00001649: ADD 0000164a: PUSH1 0x02 0000164c: PUSH2 0x0100 0000164f: EXP 00001650: DUP2 00001651: SLOAD 00001652: DUP2 00001653: PUSH1 0xff 00001655: MUL 00001656: NOT 00001657: AND 00001658: SWAP1 00001659: DUP4 0000165a: PUSH1 0xff 0000165c: AND 0000165d: MUL 0000165e: OR 0000165f: SWAP1 00001660: SSTORE 00001661: POP 00001662: SWAP1 00001663: POP 00001664: POP 00001665: PUSH32 0xe49bc7af060cc5d9279e2e61607f66121d7982a25145a843a953c6467b54a855 00001686: DUP4 00001687: DUP4 00001688: DUP4 00001689: PUSH1 0x40 0000168b: MLOAD 0000168c: DUP1 0000168d: DUP5 0000168e: PUSH1 0xff 00001690: AND 00001691: PUSH1 0xff 00001693: AND 00001694: DUP2 00001695: MSTORE 00001696: PUSH1 0x20 00001698: ADD 00001699: DUP4 0000169a: PUSH1 0xff 0000169c: AND 0000169d: PUSH1 0xff 0000169f: AND 000016a0: DUP2 000016a1: MSTORE 000016a2: PUSH1 0x20 000016a4: ADD 000016a5: DUP3 000016a6: PUSH1 0xff 000016a8: AND 000016a9: PUSH1 0xff 000016ab: AND 000016ac: DUP2 000016ad: MSTORE 000016ae: PUSH1 0x20 000016b0: ADD 000016b1: SWAP4 000016b2: POP 000016b3: POP 000016b4: POP 000016b5: POP 000016b6: PUSH1 0x40 000016b8: MLOAD 000016b9: DUP1 000016ba: SWAP2 000016bb: SUB 000016bc: SWAP1 000016bd: LOG1 000016be: POP 000016bf: POP 000016c0: POP 000016c1: JUMP 000016c2: JUMPDEST 000016c3: PUSH2 0x16cb 000016c6: CALLER 000016c7: PUSH2 0x1ac7 000016ca: JUMP 000016cb: JUMPDEST 000016cc: PUSH2 0x173d 000016cf: JUMPI 000016d0: PUSH1 0x40 000016d2: MLOAD 000016d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000016f4: DUP2 000016f5: MSTORE 000016f6: PUSH1 0x04 000016f8: ADD 000016f9: DUP1 000016fa: DUP1 000016fb: PUSH1 0x20 000016fd: ADD 000016fe: DUP3 000016ff: DUP2 00001700: SUB 00001701: DUP3 00001702: MSTORE 00001703: PUSH1 0x10 00001705: DUP2 00001706: MSTORE 00001707: PUSH1 0x20 00001709: ADD 0000170a: DUP1 0000170b: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 0000172c: DUP2 0000172d: MSTORE 0000172e: POP 0000172f: PUSH1 0x20 00001731: ADD 00001732: SWAP2 00001733: POP 00001734: POP 00001735: PUSH1 0x40 00001737: MLOAD 00001738: DUP1 00001739: SWAP2 0000173a: SUB 0000173b: SWAP1 0000173c: REVERT 0000173d: JUMPDEST 0000173e: PUSH1 0x01 00001740: PUSH1 0x14 00001742: SWAP1 00001743: SLOAD 00001744: SWAP1 00001745: PUSH2 0x0100 00001748: EXP 00001749: SWAP1 0000174a: DIV 0000174b: PUSH1 0xff 0000174d: AND 0000174e: PUSH2 0x17bf 00001751: JUMPI 00001752: PUSH1 0x40 00001754: MLOAD 00001755: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001776: DUP2 00001777: MSTORE 00001778: PUSH1 0x04 0000177a: ADD 0000177b: DUP1 0000177c: DUP1 0000177d: PUSH1 0x20 0000177f: ADD 00001780: DUP3 00001781: DUP2 00001782: SUB 00001783: DUP3 00001784: MSTORE 00001785: PUSH1 0x14 00001787: DUP2 00001788: MSTORE 00001789: PUSH1 0x20 0000178b: ADD 0000178c: DUP1 0000178d: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 000017ae: DUP2 000017af: MSTORE 000017b0: POP 000017b1: PUSH1 0x20 000017b3: ADD 000017b4: SWAP2 000017b5: POP 000017b6: POP 000017b7: PUSH1 0x40 000017b9: MLOAD 000017ba: DUP1 000017bb: SWAP2 000017bc: SUB 000017bd: SWAP1 000017be: REVERT 000017bf: JUMPDEST 000017c0: PUSH1 0x00 000017c2: PUSH1 0x01 000017c4: PUSH1 0x14 000017c6: PUSH2 0x0100 000017c9: EXP 000017ca: DUP2 000017cb: SLOAD 000017cc: DUP2 000017cd: PUSH1 0xff 000017cf: MUL 000017d0: NOT 000017d1: AND 000017d2: SWAP1 000017d3: DUP4 000017d4: ISZERO 000017d5: ISZERO 000017d6: MUL 000017d7: OR 000017d8: SWAP1 000017d9: SSTORE 000017da: POP 000017db: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 000017fc: CALLER 000017fd: PUSH1 0x40 000017ff: MLOAD 00001800: DUP1 00001801: DUP3 00001802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001817: AND 00001818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182d: AND 0000182e: DUP2 0000182f: MSTORE 00001830: PUSH1 0x20 00001832: ADD 00001833: SWAP2 00001834: POP 00001835: POP 00001836: PUSH1 0x40 00001838: MLOAD 00001839: DUP1 0000183a: SWAP2 0000183b: SUB 0000183c: SWAP1 0000183d: LOG1 0000183e: JUMP 0000183f: JUMPDEST 00001840: PUSH1 0x09 00001842: SLOAD 00001843: DUP2 00001844: JUMP 00001845: JUMPDEST 00001846: PUSH2 0x184e 00001849: CALLER 0000184a: PUSH2 0x21c2 0000184d: JUMP 0000184e: JUMPDEST 0000184f: PUSH2 0x18c0 00001852: JUMPI 00001853: PUSH1 0x40 00001855: MLOAD 00001856: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001877: DUP2 00001878: MSTORE 00001879: PUSH1 0x04 0000187b: ADD 0000187c: DUP1 0000187d: DUP1 0000187e: PUSH1 0x20 00001880: ADD 00001881: DUP3 00001882: DUP2 00001883: SUB 00001884: DUP3 00001885: MSTORE 00001886: PUSH1 0x12 00001888: DUP2 00001889: MSTORE 0000188a: PUSH1 0x20 0000188c: ADD 0000188d: DUP1 0000188e: PUSH32 0x4d75737420626520776974686472617765720000000000000000000000000000 000018af: DUP2 000018b0: MSTORE 000018b1: POP 000018b2: PUSH1 0x20 000018b4: ADD 000018b5: SWAP2 000018b6: POP 000018b7: POP 000018b8: PUSH1 0x40 000018ba: MLOAD 000018bb: DUP1 000018bc: SWAP2 000018bd: SUB 000018be: SWAP1 000018bf: REVERT 000018c0: JUMPDEST 000018c1: PUSH2 0x18d4 000018c4: DUP2 000018c5: PUSH1 0x03 000018c7: PUSH2 0x2ef9 000018ca: SWAP1 000018cb: SWAP2 000018cc: SWAP1 000018cd: PUSH4 0xffffffff 000018d2: AND 000018d3: JUMP 000018d4: JUMPDEST 000018d5: DUP1 000018d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018eb: AND 000018ec: PUSH32 0xa1a8c5d4571c30d14645a130aa34aa21e2983b734153cce6cbc9eb750f5db49d 0000190d: PUSH1 0x40 0000190f: MLOAD 00001910: PUSH1 0x40 00001912: MLOAD 00001913: DUP1 00001914: SWAP2 00001915: SUB 00001916: SWAP1 00001917: LOG2 00001918: POP 00001919: JUMP 0000191a: JUMPDEST 0000191b: PUSH1 0x00 0000191d: PUSH1 0x01 0000191f: PUSH1 0x14 00001921: SWAP1 00001922: SLOAD 00001923: SWAP1 00001924: PUSH2 0x0100 00001927: EXP 00001928: SWAP1 00001929: DIV 0000192a: PUSH1 0xff 0000192c: AND 0000192d: SWAP1 0000192e: POP 0000192f: SWAP1 00001930: JUMP 00001931: JUMPDEST 00001932: PUSH2 0x1939 00001935: PUSH2 0x2198 00001938: JUMP 00001939: JUMPDEST 0000193a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194f: AND 00001950: CALLER 00001951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001966: AND 00001967: EQ 00001968: PUSH2 0x19d9 0000196b: JUMPI 0000196c: PUSH1 0x40 0000196e: MLOAD 0000196f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001990: DUP2 00001991: MSTORE 00001992: PUSH1 0x04 00001994: ADD 00001995: DUP1 00001996: DUP1 00001997: PUSH1 0x20 00001999: ADD 0000199a: DUP3 0000199b: DUP2 0000199c: SUB 0000199d: DUP3 0000199e: MSTORE 0000199f: PUSH1 0x0d 000019a1: DUP2 000019a2: MSTORE 000019a3: PUSH1 0x20 000019a5: ADD 000019a6: DUP1 000019a7: PUSH32 0x4d757374206265206f776e657200000000000000000000000000000000000000 000019c8: DUP2 000019c9: MSTORE 000019ca: POP 000019cb: PUSH1 0x20 000019cd: ADD 000019ce: SWAP2 000019cf: POP 000019d0: POP 000019d1: PUSH1 0x40 000019d3: MLOAD 000019d4: DUP1 000019d5: SWAP2 000019d6: SUB 000019d7: SWAP1 000019d8: REVERT 000019d9: JUMPDEST 000019da: DUP1 000019db: PUSH1 0x08 000019dd: PUSH1 0x00 000019df: PUSH2 0x0100 000019e2: EXP 000019e3: DUP2 000019e4: SLOAD 000019e5: DUP2 000019e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019fb: MUL 000019fc: NOT 000019fd: AND 000019fe: SWAP1 000019ff: DUP4 00001a00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a15: AND 00001a16: MUL 00001a17: OR 00001a18: SWAP1 00001a19: SSTORE 00001a1a: POP 00001a1b: POP 00001a1c: JUMP 00001a1d: JUMPDEST 00001a1e: PUSH2 0x1a26 00001a21: CALLER 00001a22: PUSH2 0x1ac7 00001a25: JUMP 00001a26: JUMPDEST 00001a27: PUSH2 0x1a98 00001a2a: JUMPI 00001a2b: PUSH1 0x40 00001a2d: MLOAD 00001a2e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a4f: DUP2 00001a50: MSTORE 00001a51: PUSH1 0x04 00001a53: ADD 00001a54: DUP1 00001a55: DUP1 00001a56: PUSH1 0x20 00001a58: ADD 00001a59: DUP3 00001a5a: DUP2 00001a5b: SUB 00001a5c: DUP3 00001a5d: MSTORE 00001a5e: PUSH1 0x10 00001a60: DUP2 00001a61: MSTORE 00001a62: PUSH1 0x20 00001a64: ADD 00001a65: DUP1 00001a66: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 00001a87: DUP2 00001a88: MSTORE 00001a89: POP 00001a8a: PUSH1 0x20 00001a8c: ADD 00001a8d: SWAP2 00001a8e: POP 00001a8f: POP 00001a90: PUSH1 0x40 00001a92: MLOAD 00001a93: DUP1 00001a94: SWAP2 00001a95: SUB 00001a96: SWAP1 00001a97: REVERT 00001a98: JUMPDEST 00001a99: DUP1 00001a9a: PUSH1 0x05 00001a9c: PUSH1 0x00 00001a9e: DUP5 00001a9f: DUP2 00001aa0: MSTORE 00001aa1: PUSH1 0x20 00001aa3: ADD 00001aa4: SWAP1 00001aa5: DUP2 00001aa6: MSTORE 00001aa7: PUSH1 0x20 00001aa9: ADD 00001aaa: PUSH1 0x00 00001aac: KECCAK256 00001aad: PUSH1 0x00 00001aaf: PUSH2 0x0100 00001ab2: EXP 00001ab3: DUP2 00001ab4: SLOAD 00001ab5: DUP2 00001ab6: PUSH1 0xff 00001ab8: MUL 00001ab9: NOT 00001aba: AND 00001abb: SWAP1 00001abc: DUP4 00001abd: ISZERO 00001abe: ISZERO 00001abf: MUL 00001ac0: OR 00001ac1: SWAP1 00001ac2: SSTORE 00001ac3: POP 00001ac4: POP 00001ac5: POP 00001ac6: JUMP 00001ac7: JUMPDEST 00001ac8: PUSH1 0x00 00001aca: PUSH2 0x1add 00001acd: DUP3 00001ace: PUSH1 0x02 00001ad0: PUSH2 0x2fd4 00001ad3: SWAP1 00001ad4: SWAP2 00001ad5: SWAP1 00001ad6: PUSH4 0xffffffff 00001adb: AND 00001adc: JUMP 00001add: JUMPDEST 00001ade: SWAP1 00001adf: POP 00001ae0: SWAP2 00001ae1: SWAP1 00001ae2: POP 00001ae3: JUMP 00001ae4: JUMPDEST 00001ae5: PUSH2 0x1aed 00001ae8: CALLER 00001ae9: PUSH2 0x21c2 00001aec: JUMP 00001aed: JUMPDEST 00001aee: PUSH2 0x1b5f 00001af1: JUMPI 00001af2: PUSH1 0x40 00001af4: MLOAD 00001af5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b16: DUP2 00001b17: MSTORE 00001b18: PUSH1 0x04 00001b1a: ADD 00001b1b: DUP1 00001b1c: DUP1 00001b1d: PUSH1 0x20 00001b1f: ADD 00001b20: DUP3 00001b21: DUP2 00001b22: SUB 00001b23: DUP3 00001b24: MSTORE 00001b25: PUSH1 0x12 00001b27: DUP2 00001b28: MSTORE 00001b29: PUSH1 0x20 00001b2b: ADD 00001b2c: DUP1 00001b2d: PUSH32 0x4d75737420626520776974686472617765720000000000000000000000000000 00001b4e: DUP2 00001b4f: MSTORE 00001b50: POP 00001b51: PUSH1 0x20 00001b53: ADD 00001b54: SWAP2 00001b55: POP 00001b56: POP 00001b57: PUSH1 0x40 00001b59: MLOAD 00001b5a: DUP1 00001b5b: SWAP2 00001b5c: SUB 00001b5d: SWAP1 00001b5e: REVERT 00001b5f: JUMPDEST 00001b60: PUSH2 0x1b73 00001b63: DUP2 00001b64: PUSH1 0x03 00001b66: PUSH2 0x302d 00001b69: SWAP1 00001b6a: SWAP2 00001b6b: SWAP1 00001b6c: PUSH4 0xffffffff 00001b71: AND 00001b72: JUMP 00001b73: JUMPDEST 00001b74: DUP1 00001b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b8a: AND 00001b8b: PUSH32 0x4c2d50c11eee24ae13f209880951e560d483a69ccf4d53af33195df596295a9e 00001bac: PUSH1 0x40 00001bae: MLOAD 00001baf: PUSH1 0x40 00001bb1: MLOAD 00001bb2: DUP1 00001bb3: SWAP2 00001bb4: SUB 00001bb5: SWAP1 00001bb6: LOG2 00001bb7: POP 00001bb8: JUMP 00001bb9: JUMPDEST 00001bba: PUSH2 0x1bc2 00001bbd: CALLER 00001bbe: PUSH2 0x21c2 00001bc1: JUMP 00001bc2: JUMPDEST 00001bc3: PUSH2 0x1c34 00001bc6: JUMPI 00001bc7: PUSH1 0x40 00001bc9: MLOAD 00001bca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001beb: DUP2 00001bec: MSTORE 00001bed: PUSH1 0x04 00001bef: ADD 00001bf0: DUP1 00001bf1: DUP1 00001bf2: PUSH1 0x20 00001bf4: ADD 00001bf5: DUP3 00001bf6: DUP2 00001bf7: SUB 00001bf8: DUP3 00001bf9: MSTORE 00001bfa: PUSH1 0x12 00001bfc: DUP2 00001bfd: MSTORE 00001bfe: PUSH1 0x20 00001c00: ADD 00001c01: DUP1 00001c02: PUSH32 0x4d75737420626520776974686472617765720000000000000000000000000000 00001c23: DUP2 00001c24: MSTORE 00001c25: POP 00001c26: PUSH1 0x20 00001c28: ADD 00001c29: SWAP2 00001c2a: POP 00001c2b: POP 00001c2c: PUSH1 0x40 00001c2e: MLOAD 00001c2f: DUP1 00001c30: SWAP2 00001c31: SUB 00001c32: SWAP1 00001c33: REVERT 00001c34: JUMPDEST 00001c35: CALLER 00001c36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4b: AND 00001c4c: PUSH2 0x08fc 00001c4f: SELFBALANCE 00001c50: SWAP1 00001c51: DUP2 00001c52: ISZERO 00001c53: MUL 00001c54: SWAP1 00001c55: PUSH1 0x40 00001c57: MLOAD 00001c58: PUSH1 0x00 00001c5a: PUSH1 0x40 00001c5c: MLOAD 00001c5d: DUP1 00001c5e: DUP4 00001c5f: SUB 00001c60: DUP2 00001c61: DUP6 00001c62: DUP9 00001c63: DUP9 00001c64: CALL 00001c65: SWAP4 00001c66: POP 00001c67: POP 00001c68: POP 00001c69: POP 00001c6a: ISZERO 00001c6b: DUP1 00001c6c: ISZERO 00001c6d: PUSH2 0x1c7a 00001c70: JUMPI 00001c71: RETURNDATASIZE 00001c72: PUSH1 0x00 00001c74: DUP1 00001c75: RETURNDATACOPY 00001c76: RETURNDATASIZE 00001c77: PUSH1 0x00 00001c79: REVERT 00001c7a: JUMPDEST 00001c7b: POP 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: PUSH1 0x0b 00001c80: PUSH1 0x00 00001c82: SWAP1 00001c83: SLOAD 00001c84: SWAP1 00001c85: PUSH2 0x0100 00001c88: EXP 00001c89: SWAP1 00001c8a: DIV 00001c8b: PUSH2 0xffff 00001c8e: AND 00001c8f: DUP2 00001c90: JUMP 00001c91: JUMPDEST 00001c92: PUSH1 0x01 00001c94: PUSH1 0x14 00001c96: SWAP1 00001c97: SLOAD 00001c98: SWAP1 00001c99: PUSH2 0x0100 00001c9c: EXP 00001c9d: SWAP1 00001c9e: DIV 00001c9f: PUSH1 0xff 00001ca1: AND 00001ca2: ISZERO 00001ca3: PUSH2 0x1d14 00001ca6: JUMPI 00001ca7: PUSH1 0x40 00001ca9: MLOAD 00001caa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ccb: DUP2 00001ccc: MSTORE 00001ccd: PUSH1 0x04 00001ccf: ADD 00001cd0: DUP1 00001cd1: DUP1 00001cd2: PUSH1 0x20 00001cd4: ADD 00001cd5: DUP3 00001cd6: DUP2 00001cd7: SUB 00001cd8: DUP3 00001cd9: MSTORE 00001cda: PUSH1 0x10 00001cdc: DUP2 00001cdd: MSTORE 00001cde: PUSH1 0x20 00001ce0: ADD 00001ce1: DUP1 00001ce2: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 00001d03: DUP2 00001d04: MSTORE 00001d05: POP 00001d06: PUSH1 0x20 00001d08: ADD 00001d09: SWAP2 00001d0a: POP 00001d0b: POP 00001d0c: PUSH1 0x40 00001d0e: MLOAD 00001d0f: DUP1 00001d10: SWAP2 00001d11: SUB 00001d12: SWAP1 00001d13: REVERT 00001d14: JUMPDEST 00001d15: PUSH2 0x2710 00001d18: PUSH1 0x09 00001d1a: SLOAD 00001d1b: PUSH1 0x0c 00001d1d: SLOAD 00001d1e: DUP7 00001d1f: ADD 00001d20: ADD 00001d21: GT 00001d22: ISZERO 00001d23: PUSH2 0x1d94 00001d26: JUMPI 00001d27: PUSH1 0x40 00001d29: MLOAD 00001d2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001d4b: DUP2 00001d4c: MSTORE 00001d4d: PUSH1 0x04 00001d4f: ADD 00001d50: DUP1 00001d51: DUP1 00001d52: PUSH1 0x20 00001d54: ADD 00001d55: DUP3 00001d56: DUP2 00001d57: SUB 00001d58: DUP3 00001d59: MSTORE 00001d5a: PUSH1 0x14 00001d5c: DUP2 00001d5d: MSTORE 00001d5e: PUSH1 0x20 00001d60: ADD 00001d61: DUP1 00001d62: PUSH32 0x496e76616c696420626173697320706f696e7473000000000000000000000000 00001d83: DUP2 00001d84: MSTORE 00001d85: POP 00001d86: PUSH1 0x20 00001d88: ADD 00001d89: SWAP2 00001d8a: POP 00001d8b: POP 00001d8c: PUSH1 0x40 00001d8e: MLOAD 00001d8f: DUP1 00001d90: SWAP2 00001d91: SUB 00001d92: SWAP1 00001d93: REVERT 00001d94: JUMPDEST 00001d95: PUSH1 0x05 00001d97: PUSH1 0x00 00001d99: CALLVALUE 00001d9a: DUP2 00001d9b: MSTORE 00001d9c: PUSH1 0x20 00001d9e: ADD 00001d9f: SWAP1 00001da0: DUP2 00001da1: MSTORE 00001da2: PUSH1 0x20 00001da4: ADD 00001da5: PUSH1 0x00 00001da7: KECCAK256 00001da8: PUSH1 0x00 00001daa: SWAP1 00001dab: SLOAD 00001dac: SWAP1 00001dad: PUSH2 0x0100 00001db0: EXP 00001db1: SWAP1 00001db2: DIV 00001db3: PUSH1 0xff 00001db5: AND 00001db6: PUSH2 0x1e27 00001db9: JUMPI 00001dba: PUSH1 0x40 00001dbc: MLOAD 00001dbd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001dde: DUP2 00001ddf: MSTORE 00001de0: PUSH1 0x04 00001de2: ADD 00001de3: DUP1 00001de4: DUP1 00001de5: PUSH1 0x20 00001de7: ADD 00001de8: DUP3 00001de9: DUP2 00001dea: SUB 00001deb: DUP3 00001dec: MSTORE 00001ded: PUSH1 0x11 00001def: DUP2 00001df0: MSTORE 00001df1: PUSH1 0x20 00001df3: ADD 00001df4: DUP1 00001df5: PUSH32 0x496e76616c6964206d73672e76616c7565000000000000000000000000000000 00001e16: DUP2 00001e17: MSTORE 00001e18: POP 00001e19: PUSH1 0x20 00001e1b: ADD 00001e1c: SWAP2 00001e1d: POP 00001e1e: POP 00001e1f: PUSH1 0x40 00001e21: MLOAD 00001e22: DUP1 00001e23: SWAP2 00001e24: SUB 00001e25: SWAP1 00001e26: REVERT 00001e27: JUMPDEST 00001e28: PUSH2 0x1e3c 00001e2b: PUSH2 0x1e36 00001e2e: DUP8 00001e2f: DUP8 00001e30: DUP8 00001e31: DUP8 00001e32: PUSH2 0x100f 00001e35: JUMP 00001e36: JUMPDEST 00001e37: DUP4 00001e38: PUSH2 0x26d9 00001e3b: JUMP 00001e3c: JUMPDEST 00001e3d: PUSH2 0x1eae 00001e40: JUMPI 00001e41: PUSH1 0x40 00001e43: MLOAD 00001e44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e65: DUP2 00001e66: MSTORE 00001e67: PUSH1 0x04 00001e69: ADD 00001e6a: DUP1 00001e6b: DUP1 00001e6c: PUSH1 0x20 00001e6e: ADD 00001e6f: DUP3 00001e70: DUP2 00001e71: SUB 00001e72: DUP3 00001e73: MSTORE 00001e74: PUSH1 0x11 00001e76: DUP2 00001e77: MSTORE 00001e78: PUSH1 0x20 00001e7a: ADD 00001e7b: DUP1 00001e7c: PUSH32 0x496e76616c6964207369676e6174757265000000000000000000000000000000 00001e9d: DUP2 00001e9e: MSTORE 00001e9f: POP 00001ea0: PUSH1 0x20 00001ea2: ADD 00001ea3: SWAP2 00001ea4: POP 00001ea5: POP 00001ea6: PUSH1 0x40 00001ea8: MLOAD 00001ea9: DUP1 00001eaa: SWAP2 00001eab: SUB 00001eac: SWAP1 00001ead: REVERT 00001eae: JUMPDEST 00001eaf: PUSH1 0x00 00001eb1: DUP1 00001eb2: SHL 00001eb3: DUP2 00001eb4: EQ 00001eb5: PUSH2 0x1ec2 00001eb8: JUMPI 00001eb9: PUSH2 0x1ec1 00001ebc: DUP2 00001ebd: PUSH2 0x3107 00001ec0: JUMP 00001ec1: JUMPDEST 00001ec2: JUMPDEST 00001ec3: PUSH1 0x00 00001ec5: PUSH1 0x04 00001ec7: PUSH1 0x00 00001ec9: ADD 00001eca: PUSH1 0x02 00001ecc: SWAP1 00001ecd: SLOAD 00001ece: SWAP1 00001ecf: PUSH2 0x0100 00001ed2: EXP 00001ed3: SWAP1 00001ed4: DIV 00001ed5: PUSH1 0xff 00001ed7: AND 00001ed8: SWAP1 00001ed9: POP 00001eda: PUSH1 0x00 00001edc: CALLVALUE 00001edd: SWAP1 00001ede: POP 00001edf: PUSH1 0x00 00001ee1: PUSH2 0x1eea 00001ee4: DUP9 00001ee5: DUP9 00001ee6: PUSH2 0x2bc3 00001ee9: JUMP 00001eea: JUMPDEST 00001eeb: SWAP1 00001eec: POP 00001eed: PUSH1 0x00 00001eef: PUSH2 0x1ef7 00001ef2: DUP8 00001ef3: PUSH2 0x2cb5 00001ef6: JUMP 00001ef7: JUMPDEST 00001ef8: SWAP1 00001ef9: POP 00001efa: PUSH2 0x1f1e 00001efd: DUP2 00001efe: PUSH2 0x1f10 00001f01: DUP5 00001f02: CALLVALUE 00001f03: PUSH2 0x2b40 00001f06: SWAP1 00001f07: SWAP2 00001f08: SWAP1 00001f09: PUSH4 0xffffffff 00001f0e: AND 00001f0f: JUMP 00001f10: JUMPDEST 00001f11: PUSH2 0x2b40 00001f14: SWAP1 00001f15: SWAP2 00001f16: SWAP1 00001f17: PUSH4 0xffffffff 00001f1c: AND 00001f1d: JUMP 00001f1e: JUMPDEST 00001f1f: SWAP3 00001f20: POP 00001f21: DUP7 00001f22: PUSH2 0xffff 00001f25: AND 00001f26: DUP10 00001f27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f3c: AND 00001f3d: DUP12 00001f3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f53: AND 00001f54: PUSH32 0xef8be8195589a8a6990d8ec940c79dd6a43c0ac18064d5682feeb99c599dd3e5 00001f75: DUP8 00001f76: CALLVALUE 00001f77: DUP8 00001f78: DUP8 00001f79: DUP11 00001f7a: PUSH1 0x40 00001f7c: MLOAD 00001f7d: DUP1 00001f7e: DUP7 00001f7f: PUSH1 0xff 00001f81: AND 00001f82: PUSH1 0xff 00001f84: AND 00001f85: DUP2 00001f86: MSTORE 00001f87: PUSH1 0x20 00001f89: ADD 00001f8a: DUP6 00001f8b: DUP2 00001f8c: MSTORE 00001f8d: PUSH1 0x20 00001f8f: ADD 00001f90: DUP5 00001f91: DUP2 00001f92: MSTORE 00001f93: PUSH1 0x20 00001f95: ADD 00001f96: DUP4 00001f97: DUP2 00001f98: MSTORE 00001f99: PUSH1 0x20 00001f9b: ADD 00001f9c: DUP3 00001f9d: DUP2 00001f9e: MSTORE 00001f9f: PUSH1 0x20 00001fa1: ADD 00001fa2: SWAP6 00001fa3: POP 00001fa4: POP 00001fa5: POP 00001fa6: POP 00001fa7: POP 00001fa8: POP 00001fa9: PUSH1 0x40 00001fab: MLOAD 00001fac: DUP1 00001fad: SWAP2 00001fae: SUB 00001faf: SWAP1 00001fb0: LOG4 00001fb1: POP 00001fb2: POP 00001fb3: POP 00001fb4: POP 00001fb5: POP 00001fb6: POP 00001fb7: POP 00001fb8: POP 00001fb9: POP 00001fba: POP 00001fbb: JUMP 00001fbc: JUMPDEST 00001fbd: PUSH1 0x04 00001fbf: DUP1 00001fc0: PUSH1 0x00 00001fc2: ADD 00001fc3: PUSH1 0x00 00001fc5: SWAP1 00001fc6: SLOAD 00001fc7: SWAP1 00001fc8: PUSH2 0x0100 00001fcb: EXP 00001fcc: SWAP1 00001fcd: DIV 00001fce: PUSH1 0xff 00001fd0: AND 00001fd1: SWAP1 00001fd2: DUP1 00001fd3: PUSH1 0x00 00001fd5: ADD 00001fd6: PUSH1 0x01 00001fd8: SWAP1 00001fd9: SLOAD 00001fda: SWAP1 00001fdb: PUSH2 0x0100 00001fde: EXP 00001fdf: SWAP1 00001fe0: DIV 00001fe1: PUSH1 0xff 00001fe3: AND 00001fe4: SWAP1 00001fe5: DUP1 00001fe6: PUSH1 0x00 00001fe8: ADD 00001fe9: PUSH1 0x02 00001feb: SWAP1 00001fec: SLOAD 00001fed: SWAP1 00001fee: PUSH2 0x0100 00001ff1: EXP 00001ff2: SWAP1 00001ff3: DIV 00001ff4: PUSH1 0xff 00001ff6: AND 00001ff7: SWAP1 00001ff8: POP 00001ff9: DUP4 00001ffa: JUMP 00001ffb: JUMPDEST 00001ffc: PUSH2 0x2004 00001fff: CALLER 00002000: PUSH2 0x1ac7 00002003: JUMP 00002004: JUMPDEST 00002005: PUSH2 0x2076 00002008: JUMPI 00002009: PUSH1 0x40 0000200b: MLOAD 0000200c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000202d: DUP2 0000202e: MSTORE 0000202f: PUSH1 0x04 00002031: ADD 00002032: DUP1 00002033: DUP1 00002034: PUSH1 0x20 00002036: ADD 00002037: DUP3 00002038: DUP2 00002039: SUB 0000203a: DUP3 0000203b: MSTORE 0000203c: PUSH1 0x10 0000203e: DUP2 0000203f: MSTORE 00002040: PUSH1 0x20 00002042: ADD 00002043: DUP1 00002044: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 00002065: DUP2 00002066: MSTORE 00002067: POP 00002068: PUSH1 0x20 0000206a: ADD 0000206b: SWAP2 0000206c: POP 0000206d: POP 0000206e: PUSH1 0x40 00002070: MLOAD 00002071: DUP1 00002072: SWAP2 00002073: SUB 00002074: SWAP1 00002075: REVERT 00002076: JUMPDEST 00002077: PUSH1 0x01 00002079: PUSH1 0x14 0000207b: SWAP1 0000207c: SLOAD 0000207d: SWAP1 0000207e: PUSH2 0x0100 00002081: EXP 00002082: SWAP1 00002083: DIV 00002084: PUSH1 0xff 00002086: AND 00002087: ISZERO 00002088: PUSH2 0x20f9 0000208b: JUMPI 0000208c: PUSH1 0x40 0000208e: MLOAD 0000208f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000020b0: DUP2 000020b1: MSTORE 000020b2: PUSH1 0x04 000020b4: ADD 000020b5: DUP1 000020b6: DUP1 000020b7: PUSH1 0x20 000020b9: ADD 000020ba: DUP3 000020bb: DUP2 000020bc: SUB 000020bd: DUP3 000020be: MSTORE 000020bf: PUSH1 0x10 000020c1: DUP2 000020c2: MSTORE 000020c3: PUSH1 0x20 000020c5: ADD 000020c6: DUP1 000020c7: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 000020e8: DUP2 000020e9: MSTORE 000020ea: POP 000020eb: PUSH1 0x20 000020ed: ADD 000020ee: SWAP2 000020ef: POP 000020f0: POP 000020f1: PUSH1 0x40 000020f3: MLOAD 000020f4: DUP1 000020f5: SWAP2 000020f6: SUB 000020f7: SWAP1 000020f8: REVERT 000020f9: JUMPDEST 000020fa: PUSH1 0x01 000020fc: DUP1 000020fd: PUSH1 0x14 000020ff: PUSH2 0x0100 00002102: EXP 00002103: DUP2 00002104: SLOAD 00002105: DUP2 00002106: PUSH1 0xff 00002108: MUL 00002109: NOT 0000210a: AND 0000210b: SWAP1 0000210c: DUP4 0000210d: ISZERO 0000210e: ISZERO 0000210f: MUL 00002110: OR 00002111: SWAP1 00002112: SSTORE 00002113: POP 00002114: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00002135: CALLER 00002136: PUSH1 0x40 00002138: MLOAD 00002139: DUP1 0000213a: DUP3 0000213b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002150: AND 00002151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002166: AND 00002167: DUP2 00002168: MSTORE 00002169: PUSH1 0x20 0000216b: ADD 0000216c: SWAP2 0000216d: POP 0000216e: POP 0000216f: PUSH1 0x40 00002171: MLOAD 00002172: DUP1 00002173: SWAP2 00002174: SUB 00002175: SWAP1 00002176: LOG1 00002177: JUMP 00002178: JUMPDEST 00002179: PUSH1 0x05 0000217b: PUSH1 0x20 0000217d: MSTORE 0000217e: DUP1 0000217f: PUSH1 0x00 00002181: MSTORE 00002182: PUSH1 0x40 00002184: PUSH1 0x00 00002186: KECCAK256 00002187: PUSH1 0x00 00002189: SWAP2 0000218a: POP 0000218b: SLOAD 0000218c: SWAP1 0000218d: PUSH2 0x0100 00002190: EXP 00002191: SWAP1 00002192: DIV 00002193: PUSH1 0xff 00002195: AND 00002196: DUP2 00002197: JUMP 00002198: JUMPDEST 00002199: PUSH1 0x00 0000219b: PUSH1 0x01 0000219d: PUSH1 0x00 0000219f: SWAP1 000021a0: SLOAD 000021a1: SWAP1 000021a2: PUSH2 0x0100 000021a5: EXP 000021a6: SWAP1 000021a7: DIV 000021a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021bd: AND 000021be: SWAP1 000021bf: POP 000021c0: SWAP1 000021c1: JUMP 000021c2: JUMPDEST 000021c3: PUSH1 0x00 000021c5: PUSH2 0x21d8 000021c8: DUP3 000021c9: PUSH1 0x03 000021cb: PUSH2 0x2fd4 000021ce: SWAP1 000021cf: SWAP2 000021d0: SWAP1 000021d1: PUSH4 0xffffffff 000021d6: AND 000021d7: JUMP 000021d8: JUMPDEST 000021d9: SWAP1 000021da: POP 000021db: SWAP2 000021dc: SWAP1 000021dd: POP 000021de: JUMP 000021df: JUMPDEST 000021e0: PUSH2 0x21e8 000021e3: CALLER 000021e4: PUSH2 0x1ac7 000021e7: JUMP 000021e8: JUMPDEST 000021e9: PUSH2 0x225a 000021ec: JUMPI 000021ed: PUSH1 0x40 000021ef: MLOAD 000021f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002211: DUP2 00002212: MSTORE 00002213: PUSH1 0x04 00002215: ADD 00002216: DUP1 00002217: DUP1 00002218: PUSH1 0x20 0000221a: ADD 0000221b: DUP3 0000221c: DUP2 0000221d: SUB 0000221e: DUP3 0000221f: MSTORE 00002220: PUSH1 0x10 00002222: DUP2 00002223: MSTORE 00002224: PUSH1 0x20 00002226: ADD 00002227: DUP1 00002228: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 00002249: DUP2 0000224a: MSTORE 0000224b: POP 0000224c: PUSH1 0x20 0000224e: ADD 0000224f: SWAP2 00002250: POP 00002251: POP 00002252: PUSH1 0x40 00002254: MLOAD 00002255: DUP1 00002256: SWAP2 00002257: SUB 00002258: SWAP1 00002259: REVERT 0000225a: JUMPDEST 0000225b: PUSH2 0x226e 0000225e: DUP2 0000225f: PUSH1 0x02 00002261: PUSH2 0x2ef9 00002264: SWAP1 00002265: SWAP2 00002266: SWAP1 00002267: PUSH4 0xffffffff 0000226c: AND 0000226d: JUMP 0000226e: JUMPDEST 0000226f: DUP1 00002270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002285: AND 00002286: PUSH32 0xac6fa858e9350a46cec16539926e0fde25b7629f84b5a72bffaae4df888ae86d 000022a7: PUSH1 0x40 000022a9: MLOAD 000022aa: PUSH1 0x40 000022ac: MLOAD 000022ad: DUP1 000022ae: SWAP2 000022af: SUB 000022b0: SWAP1 000022b1: LOG2 000022b2: POP 000022b3: JUMP 000022b4: JUMPDEST 000022b5: PUSH1 0x08 000022b7: PUSH1 0x00 000022b9: SWAP1 000022ba: SLOAD 000022bb: SWAP1 000022bc: PUSH2 0x0100 000022bf: EXP 000022c0: SWAP1 000022c1: DIV 000022c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022d7: AND 000022d8: DUP2 000022d9: JUMP 000022da: JUMPDEST 000022db: PUSH1 0x00 000022dd: DUP4 000022de: PUSH2 0xffff 000022e1: AND 000022e2: PUSH1 0x01 000022e4: NUMBER 000022e5: SUB 000022e6: BLOCKHASH 000022e7: DUP4 000022e8: DUP6 000022e9: PUSH1 0x0d 000022eb: PUSH1 0x40 000022ed: MLOAD 000022ee: PUSH1 0x20 000022f0: ADD 000022f1: DUP1 000022f2: DUP6 000022f3: DUP2 000022f4: MSTORE 000022f5: PUSH1 0x20 000022f7: ADD 000022f8: DUP5 000022f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000230e: AND 0000230f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002324: AND 00002325: PUSH1 0x60 00002327: SHL 00002328: DUP2 00002329: MSTORE 0000232a: PUSH1 0x14 0000232c: ADD 0000232d: DUP4 0000232e: DUP2 0000232f: MSTORE 00002330: PUSH1 0x20 00002332: ADD 00002333: DUP3 00002334: DUP1 00002335: SLOAD 00002336: PUSH1 0x01 00002338: DUP2 00002339: PUSH1 0x01 0000233b: AND 0000233c: ISZERO 0000233d: PUSH2 0x0100 00002340: MUL 00002341: SUB 00002342: AND 00002343: PUSH1 0x02 00002345: SWAP1 00002346: DIV 00002347: DUP1 00002348: ISZERO 00002349: PUSH2 0x2389 0000234c: JUMPI 0000234d: DUP1 0000234e: PUSH1 0x1f 00002350: LT 00002351: PUSH2 0x2367 00002354: JUMPI 00002355: PUSH2 0x0100 00002358: DUP1 00002359: DUP4 0000235a: SLOAD 0000235b: DIV 0000235c: MUL 0000235d: DUP4 0000235e: MSTORE 0000235f: SWAP2 00002360: DUP3 00002361: ADD 00002362: SWAP2 00002363: PUSH2 0x2389 00002366: JUMP 00002367: JUMPDEST 00002368: DUP3 00002369: ADD 0000236a: SWAP2 0000236b: SWAP1 0000236c: PUSH1 0x00 0000236e: MSTORE 0000236f: PUSH1 0x20 00002371: PUSH1 0x00 00002373: KECCAK256 00002374: SWAP1 00002375: JUMPDEST 00002376: DUP2 00002377: SLOAD 00002378: DUP2 00002379: MSTORE 0000237a: SWAP1 0000237b: PUSH1 0x01 0000237d: ADD 0000237e: SWAP1 0000237f: PUSH1 0x20 00002381: ADD 00002382: DUP1 00002383: DUP4 00002384: GT 00002385: PUSH2 0x2375 00002388: JUMPI 00002389: JUMPDEST 0000238a: POP 0000238b: POP 0000238c: SWAP5 0000238d: POP 0000238e: POP 0000238f: POP 00002390: POP 00002391: POP 00002392: PUSH1 0x40 00002394: MLOAD 00002395: PUSH1 0x20 00002397: DUP2 00002398: DUP4 00002399: SUB 0000239a: SUB 0000239b: DUP2 0000239c: MSTORE 0000239d: SWAP1 0000239e: PUSH1 0x40 000023a0: MSTORE 000023a1: DUP1 000023a2: MLOAD 000023a3: SWAP1 000023a4: PUSH1 0x20 000023a6: ADD 000023a7: KECCAK256 000023a8: PUSH1 0xf0 000023aa: SHR 000023ab: PUSH2 0xffff 000023ae: AND 000023af: DUP2 000023b0: PUSH2 0x23b5 000023b3: JUMPI 000023b4: INVALID 000023b5: JUMPDEST 000023b6: MOD 000023b7: SWAP1 000023b8: POP 000023b9: SWAP4 000023ba: SWAP3 000023bb: POP 000023bc: POP 000023bd: POP 000023be: JUMP 000023bf: JUMPDEST 000023c0: PUSH2 0x23c8 000023c3: CALLER 000023c4: PUSH2 0x1ac7 000023c7: JUMP 000023c8: JUMPDEST 000023c9: PUSH2 0x243a 000023cc: JUMPI 000023cd: PUSH1 0x40 000023cf: MLOAD 000023d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000023f1: DUP2 000023f2: MSTORE 000023f3: PUSH1 0x04 000023f5: ADD 000023f6: DUP1 000023f7: DUP1 000023f8: PUSH1 0x20 000023fa: ADD 000023fb: DUP3 000023fc: DUP2 000023fd: SUB 000023fe: DUP3 000023ff: MSTORE 00002400: PUSH1 0x10 00002402: DUP2 00002403: MSTORE 00002404: PUSH1 0x20 00002406: ADD 00002407: DUP1 00002408: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 00002429: DUP2 0000242a: MSTORE 0000242b: POP 0000242c: PUSH1 0x20 0000242e: ADD 0000242f: SWAP2 00002430: POP 00002431: POP 00002432: PUSH1 0x40 00002434: MLOAD 00002435: DUP1 00002436: SWAP2 00002437: SUB 00002438: SWAP1 00002439: REVERT 0000243a: JUMPDEST 0000243b: PUSH2 0x244e 0000243e: DUP2 0000243f: PUSH1 0x02 00002441: PUSH2 0x302d 00002444: SWAP1 00002445: SWAP2 00002446: SWAP1 00002447: PUSH4 0xffffffff 0000244c: AND 0000244d: JUMP 0000244e: JUMPDEST 0000244f: DUP1 00002450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002465: AND 00002466: PUSH32 0x80c0b871b97b595b16a7741c1b06fed0c6f6f558639f18ccbce50724325dc40d 00002487: PUSH1 0x40 00002489: MLOAD 0000248a: PUSH1 0x40 0000248c: MLOAD 0000248d: DUP1 0000248e: SWAP2 0000248f: SUB 00002490: SWAP1 00002491: LOG2 00002492: POP 00002493: JUMP 00002494: JUMPDEST 00002495: PUSH2 0x249d 00002498: CALLER 00002499: PUSH2 0x1ac7 0000249c: JUMP 0000249d: JUMPDEST 0000249e: PUSH2 0x250f 000024a1: JUMPI 000024a2: PUSH1 0x40 000024a4: MLOAD 000024a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000024c6: DUP2 000024c7: MSTORE 000024c8: PUSH1 0x04 000024ca: ADD 000024cb: DUP1 000024cc: DUP1 000024cd: PUSH1 0x20 000024cf: ADD 000024d0: DUP3 000024d1: DUP2 000024d2: SUB 000024d3: DUP3 000024d4: MSTORE 000024d5: PUSH1 0x10 000024d7: DUP2 000024d8: MSTORE 000024d9: PUSH1 0x20 000024db: ADD 000024dc: DUP1 000024dd: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 000024fe: DUP2 000024ff: MSTORE 00002500: POP 00002501: PUSH1 0x20 00002503: ADD 00002504: SWAP2 00002505: POP 00002506: POP 00002507: PUSH1 0x40 00002509: MLOAD 0000250a: DUP1 0000250b: SWAP2 0000250c: SUB 0000250d: SWAP1 0000250e: REVERT 0000250f: JUMPDEST 00002510: DUP1 00002511: PUSH1 0x0b 00002513: PUSH1 0x00 00002515: PUSH2 0x0100 00002518: EXP 00002519: DUP2 0000251a: SLOAD 0000251b: DUP2 0000251c: PUSH2 0xffff 0000251f: MUL 00002520: NOT 00002521: AND 00002522: SWAP1 00002523: DUP4 00002524: PUSH2 0xffff 00002527: AND 00002528: MUL 00002529: OR 0000252a: SWAP1 0000252b: SSTORE 0000252c: POP 0000252d: POP 0000252e: JUMP 0000252f: JUMPDEST 00002530: PUSH2 0x2538 00002533: CALLER 00002534: PUSH2 0x1ac7 00002537: JUMP 00002538: JUMPDEST 00002539: PUSH2 0x25aa 0000253c: JUMPI 0000253d: PUSH1 0x40 0000253f: MLOAD 00002540: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002561: DUP2 00002562: MSTORE 00002563: PUSH1 0x04 00002565: ADD 00002566: DUP1 00002567: DUP1 00002568: PUSH1 0x20 0000256a: ADD 0000256b: DUP3 0000256c: DUP2 0000256d: SUB 0000256e: DUP3 0000256f: MSTORE 00002570: PUSH1 0x10 00002572: DUP2 00002573: MSTORE 00002574: PUSH1 0x20 00002576: ADD 00002577: DUP1 00002578: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 00002599: DUP2 0000259a: MSTORE 0000259b: POP 0000259c: PUSH1 0x20 0000259e: ADD 0000259f: SWAP2 000025a0: POP 000025a1: POP 000025a2: PUSH1 0x40 000025a4: MLOAD 000025a5: DUP1 000025a6: SWAP2 000025a7: SUB 000025a8: SWAP1 000025a9: REVERT 000025aa: JUMPDEST 000025ab: DUP1 000025ac: PUSH1 0x06 000025ae: PUSH1 0x00 000025b0: PUSH2 0x0100 000025b3: EXP 000025b4: DUP2 000025b5: SLOAD 000025b6: DUP2 000025b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025cc: MUL 000025cd: NOT 000025ce: AND 000025cf: SWAP1 000025d0: DUP4 000025d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025e6: AND 000025e7: MUL 000025e8: OR 000025e9: SWAP1 000025ea: SSTORE 000025eb: POP 000025ec: POP 000025ed: JUMP 000025ee: JUMPDEST 000025ef: PUSH2 0x25f6 000025f2: PUSH2 0x2198 000025f5: JUMP 000025f6: JUMPDEST 000025f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000260c: AND 0000260d: CALLER 0000260e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002623: AND 00002624: EQ 00002625: PUSH2 0x2696 00002628: JUMPI 00002629: PUSH1 0x40 0000262b: MLOAD 0000262c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000264d: DUP2 0000264e: MSTORE 0000264f: PUSH1 0x04 00002651: ADD 00002652: DUP1 00002653: DUP1 00002654: PUSH1 0x20 00002656: ADD 00002657: DUP3 00002658: DUP2 00002659: SUB 0000265a: DUP3 0000265b: MSTORE 0000265c: PUSH1 0x0d 0000265e: DUP2 0000265f: MSTORE 00002660: PUSH1 0x20 00002662: ADD 00002663: DUP1 00002664: PUSH32 0x4d757374206265206f776e657200000000000000000000000000000000000000 00002685: DUP2 00002686: MSTORE 00002687: POP 00002688: PUSH1 0x20 0000268a: ADD 0000268b: SWAP2 0000268c: POP 0000268d: POP 0000268e: PUSH1 0x40 00002690: MLOAD 00002691: DUP1 00002692: SWAP2 00002693: SUB 00002694: SWAP1 00002695: REVERT 00002696: JUMPDEST 00002697: DUP1 00002698: PUSH1 0x09 0000269a: DUP2 0000269b: SWAP1 0000269c: SSTORE 0000269d: POP 0000269e: PUSH32 0x08b4dffafa4ded0562a5e93aa208211a383d061c852d480d58d9dca03d747f32 000026bf: PUSH1 0x09 000026c1: SLOAD 000026c2: PUSH1 0x40 000026c4: MLOAD 000026c5: DUP1 000026c6: DUP3 000026c7: DUP2 000026c8: MSTORE 000026c9: PUSH1 0x20 000026cb: ADD 000026cc: SWAP2 000026cd: POP 000026ce: POP 000026cf: PUSH1 0x40 000026d1: MLOAD 000026d2: DUP1 000026d3: SWAP2 000026d4: SUB 000026d5: SWAP1 000026d6: LOG1 000026d7: POP 000026d8: JUMP 000026d9: JUMPDEST 000026da: PUSH1 0x00 000026dc: DUP1 000026dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026f2: AND 000026f3: PUSH1 0x06 000026f5: PUSH1 0x00 000026f7: SWAP1 000026f8: SLOAD 000026f9: SWAP1 000026fa: PUSH2 0x0100 000026fd: EXP 000026fe: SWAP1 000026ff: DIV 00002700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002715: AND 00002716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000272b: AND 0000272c: EQ 0000272d: ISZERO 0000272e: PUSH2 0x279f 00002731: JUMPI 00002732: PUSH1 0x40 00002734: MLOAD 00002735: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002756: DUP2 00002757: MSTORE 00002758: PUSH1 0x04 0000275a: ADD 0000275b: DUP1 0000275c: DUP1 0000275d: PUSH1 0x20 0000275f: ADD 00002760: DUP3 00002761: DUP2 00002762: SUB 00002763: DUP3 00002764: MSTORE 00002765: PUSH1 0x15 00002767: DUP2 00002768: MSTORE 00002769: PUSH1 0x20 0000276b: ADD 0000276c: DUP1 0000276d: PUSH32 0x76616c696461746572206d757374206265207365740000000000000000000000 0000278e: DUP2 0000278f: MSTORE 00002790: POP 00002791: PUSH1 0x20 00002793: ADD 00002794: SWAP2 00002795: POP 00002796: POP 00002797: PUSH1 0x40 00002799: MLOAD 0000279a: DUP1 0000279b: SWAP2 0000279c: SUB 0000279d: SWAP1 0000279e: REVERT 0000279f: JUMPDEST 000027a0: PUSH1 0x00 000027a2: PUSH2 0x27b3 000027a5: PUSH2 0x27ad 000027a8: DUP6 000027a9: PUSH2 0x2967 000027ac: JUMP 000027ad: JUMPDEST 000027ae: DUP5 000027af: PUSH2 0x29bf 000027b2: JUMP 000027b3: JUMPDEST 000027b4: SWAP1 000027b5: POP 000027b6: PUSH1 0x06 000027b8: PUSH1 0x00 000027ba: SWAP1 000027bb: SLOAD 000027bc: SWAP1 000027bd: PUSH2 0x0100 000027c0: EXP 000027c1: SWAP1 000027c2: DIV 000027c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027d8: AND 000027d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027ee: AND 000027ef: DUP2 000027f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002805: AND 00002806: EQ 00002807: SWAP2 00002808: POP 00002809: POP 0000280a: SWAP3 0000280b: SWAP2 0000280c: POP 0000280d: POP 0000280e: JUMP 0000280f: JUMPDEST 00002810: PUSH1 0x06 00002812: PUSH1 0x00 00002814: SWAP1 00002815: SLOAD 00002816: SWAP1 00002817: PUSH2 0x0100 0000281a: EXP 0000281b: SWAP1 0000281c: DIV 0000281d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002832: AND 00002833: DUP2 00002834: JUMP 00002835: JUMPDEST 00002836: PUSH1 0x07 00002838: PUSH1 0x00 0000283a: SWAP1 0000283b: SLOAD 0000283c: SWAP1 0000283d: PUSH2 0x0100 00002840: EXP 00002841: SWAP1 00002842: DIV 00002843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002858: AND 00002859: DUP2 0000285a: JUMP 0000285b: JUMPDEST 0000285c: PUSH2 0x2864 0000285f: CALLER 00002860: PUSH2 0x1ac7 00002863: JUMP 00002864: JUMPDEST 00002865: PUSH2 0x28d6 00002868: JUMPI 00002869: PUSH1 0x40 0000286b: MLOAD 0000286c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000288d: DUP2 0000288e: MSTORE 0000288f: PUSH1 0x04 00002891: ADD 00002892: DUP1 00002893: DUP1 00002894: PUSH1 0x20 00002896: ADD 00002897: DUP3 00002898: DUP2 00002899: SUB 0000289a: DUP3 0000289b: MSTORE 0000289c: PUSH1 0x10 0000289e: DUP2 0000289f: MSTORE 000028a0: PUSH1 0x20 000028a2: ADD 000028a3: DUP1 000028a4: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 000028c5: DUP2 000028c6: MSTORE 000028c7: POP 000028c8: PUSH1 0x20 000028ca: ADD 000028cb: SWAP2 000028cc: POP 000028cd: POP 000028ce: PUSH1 0x40 000028d0: MLOAD 000028d1: DUP1 000028d2: SWAP2 000028d3: SUB 000028d4: SWAP1 000028d5: REVERT 000028d6: JUMPDEST 000028d7: DUP1 000028d8: PUSH1 0x0c 000028da: DUP2 000028db: SWAP1 000028dc: SSTORE 000028dd: POP 000028de: POP 000028df: JUMP 000028e0: JUMPDEST 000028e1: PUSH2 0x28e9 000028e4: CALLER 000028e5: PUSH2 0x1ac7 000028e8: JUMP 000028e9: JUMPDEST 000028ea: PUSH2 0x295b 000028ed: JUMPI 000028ee: PUSH1 0x40 000028f0: MLOAD 000028f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002912: DUP2 00002913: MSTORE 00002914: PUSH1 0x04 00002916: ADD 00002917: DUP1 00002918: DUP1 00002919: PUSH1 0x20 0000291b: ADD 0000291c: DUP3 0000291d: DUP2 0000291e: SUB 0000291f: DUP3 00002920: MSTORE 00002921: PUSH1 0x10 00002923: DUP2 00002924: MSTORE 00002925: PUSH1 0x20 00002927: ADD 00002928: DUP1 00002929: PUSH32 0x4d757374206265206f70657261746f7200000000000000000000000000000000 0000294a: DUP2 0000294b: MSTORE 0000294c: POP 0000294d: PUSH1 0x20 0000294f: ADD 00002950: SWAP2 00002951: POP 00002952: POP 00002953: PUSH1 0x40 00002955: MLOAD 00002956: DUP1 00002957: SWAP2 00002958: SUB 00002959: SWAP1 0000295a: REVERT 0000295b: JUMPDEST 0000295c: PUSH2 0x2964 0000295f: DUP2 00002960: PUSH2 0x31ab 00002963: JUMP 00002964: JUMPDEST 00002965: POP 00002966: JUMP 00002967: JUMPDEST 00002968: PUSH1 0x00 0000296a: DUP2 0000296b: PUSH1 0x40 0000296d: MLOAD 0000296e: PUSH1 0x20 00002970: ADD 00002971: DUP1 00002972: DUP1 00002973: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00002994: DUP2 00002995: MSTORE 00002996: POP 00002997: PUSH1 0x1c 00002999: ADD 0000299a: DUP3 0000299b: DUP2 0000299c: MSTORE 0000299d: PUSH1 0x20 0000299f: ADD 000029a0: SWAP2 000029a1: POP 000029a2: POP 000029a3: PUSH1 0x40 000029a5: MLOAD 000029a6: PUSH1 0x20 000029a8: DUP2 000029a9: DUP4 000029aa: SUB 000029ab: SUB 000029ac: DUP2 000029ad: MSTORE 000029ae: SWAP1 000029af: PUSH1 0x40 000029b1: MSTORE 000029b2: DUP1 000029b3: MLOAD 000029b4: SWAP1 000029b5: PUSH1 0x20 000029b7: ADD 000029b8: KECCAK256 000029b9: SWAP1 000029ba: POP 000029bb: SWAP2 000029bc: SWAP1 000029bd: POP 000029be: JUMP 000029bf: JUMPDEST 000029c0: PUSH1 0x00 000029c2: PUSH1 0x41 000029c4: DUP3 000029c5: MLOAD 000029c6: EQ 000029c7: PUSH2 0x29d3 000029ca: JUMPI 000029cb: PUSH1 0x00 000029cd: SWAP1 000029ce: POP 000029cf: PUSH2 0x2abd 000029d2: JUMP 000029d3: JUMPDEST 000029d4: PUSH1 0x00 000029d6: DUP1 000029d7: PUSH1 0x00 000029d9: PUSH1 0x20 000029db: DUP6 000029dc: ADD 000029dd: MLOAD 000029de: SWAP3 000029df: POP 000029e0: PUSH1 0x40 000029e2: DUP6 000029e3: ADD 000029e4: MLOAD 000029e5: SWAP2 000029e6: POP 000029e7: PUSH1 0x60 000029e9: DUP6 000029ea: ADD 000029eb: MLOAD 000029ec: PUSH1 0x00 000029ee: BYTE 000029ef: SWAP1 000029f0: POP 000029f1: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00002a12: DUP3 00002a13: PUSH1 0x00 00002a15: SHR 00002a16: GT 00002a17: ISZERO 00002a18: PUSH2 0x2a27 00002a1b: JUMPI 00002a1c: PUSH1 0x00 00002a1e: SWAP4 00002a1f: POP 00002a20: POP 00002a21: POP 00002a22: POP 00002a23: PUSH2 0x2abd 00002a26: JUMP 00002a27: JUMPDEST 00002a28: PUSH1 0x1b 00002a2a: DUP2 00002a2b: PUSH1 0xff 00002a2d: AND 00002a2e: EQ 00002a2f: ISZERO 00002a30: DUP1 00002a31: ISZERO 00002a32: PUSH2 0x2a3f 00002a35: JUMPI 00002a36: POP 00002a37: PUSH1 0x1c 00002a39: DUP2 00002a3a: PUSH1 0xff 00002a3c: AND 00002a3d: EQ 00002a3e: ISZERO 00002a3f: JUMPDEST 00002a40: ISZERO 00002a41: PUSH2 0x2a50 00002a44: JUMPI 00002a45: PUSH1 0x00 00002a47: SWAP4 00002a48: POP 00002a49: POP 00002a4a: POP 00002a4b: POP 00002a4c: PUSH2 0x2abd 00002a4f: JUMP 00002a50: JUMPDEST 00002a51: PUSH1 0x01 00002a53: DUP7 00002a54: DUP3 00002a55: DUP6 00002a56: DUP6 00002a57: PUSH1 0x40 00002a59: MLOAD 00002a5a: PUSH1 0x00 00002a5c: DUP2 00002a5d: MSTORE 00002a5e: PUSH1 0x20 00002a60: ADD 00002a61: PUSH1 0x40 00002a63: MSTORE 00002a64: PUSH1 0x40 00002a66: MLOAD 00002a67: DUP1 00002a68: DUP6 00002a69: DUP2 00002a6a: MSTORE 00002a6b: PUSH1 0x20 00002a6d: ADD 00002a6e: DUP5 00002a6f: PUSH1 0xff 00002a71: AND 00002a72: PUSH1 0xff 00002a74: AND 00002a75: DUP2 00002a76: MSTORE 00002a77: PUSH1 0x20 00002a79: ADD 00002a7a: DUP4 00002a7b: DUP2 00002a7c: MSTORE 00002a7d: PUSH1 0x20 00002a7f: ADD 00002a80: DUP3 00002a81: DUP2 00002a82: MSTORE 00002a83: PUSH1 0x20 00002a85: ADD 00002a86: SWAP5 00002a87: POP 00002a88: POP 00002a89: POP 00002a8a: POP 00002a8b: POP 00002a8c: PUSH1 0x20 00002a8e: PUSH1 0x40 00002a90: MLOAD 00002a91: PUSH1 0x20 00002a93: DUP2 00002a94: SUB 00002a95: SWAP1 00002a96: DUP1 00002a97: DUP5 00002a98: SUB 00002a99: SWAP1 00002a9a: DUP6 00002a9b: GAS 00002a9c: STATICCALL 00002a9d: ISZERO 00002a9e: DUP1 00002a9f: ISZERO 00002aa0: PUSH2 0x2aad 00002aa3: JUMPI 00002aa4: RETURNDATASIZE 00002aa5: PUSH1 0x00 00002aa7: DUP1 00002aa8: RETURNDATACOPY 00002aa9: RETURNDATASIZE 00002aaa: PUSH1 0x00 00002aac: REVERT 00002aad: JUMPDEST 00002aae: POP 00002aaf: POP 00002ab0: POP 00002ab1: PUSH1 0x20 00002ab3: PUSH1 0x40 00002ab5: MLOAD 00002ab6: SUB 00002ab7: MLOAD 00002ab8: SWAP4 00002ab9: POP 00002aba: POP 00002abb: POP 00002abc: POP 00002abd: JUMPDEST 00002abe: SWAP3 00002abf: SWAP2 00002ac0: POP 00002ac1: POP 00002ac2: JUMP 00002ac3: JUMPDEST 00002ac4: PUSH1 0x00 00002ac6: DUP1 00002ac7: PUSH2 0x2aed 00002aca: PUSH2 0x2710 00002acd: PUSH2 0x2adf 00002ad0: DUP6 00002ad1: CALLVALUE 00002ad2: PUSH2 0x3256 00002ad5: SWAP1 00002ad6: SWAP2 00002ad7: SWAP1 00002ad8: PUSH4 0xffffffff 00002add: AND 00002ade: JUMP 00002adf: JUMPDEST 00002ae0: PUSH2 0x32f9 00002ae3: SWAP1 00002ae4: SWAP2 00002ae5: SWAP1 00002ae6: PUSH4 0xffffffff 00002aeb: AND 00002aec: JUMP 00002aed: JUMPDEST 00002aee: SWAP1 00002aef: POP 00002af0: DUP4 00002af1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b06: AND 00002b07: PUSH2 0x08fc 00002b0a: DUP3 00002b0b: SWAP1 00002b0c: DUP2 00002b0d: ISZERO 00002b0e: MUL 00002b0f: SWAP1 00002b10: PUSH1 0x40 00002b12: MLOAD 00002b13: PUSH1 0x00 00002b15: PUSH1 0x40 00002b17: MLOAD 00002b18: DUP1 00002b19: DUP4 00002b1a: SUB 00002b1b: DUP2 00002b1c: DUP6 00002b1d: DUP9 00002b1e: DUP9 00002b1f: CALL 00002b20: SWAP4 00002b21: POP 00002b22: POP 00002b23: POP 00002b24: POP 00002b25: ISZERO 00002b26: DUP1 00002b27: ISZERO 00002b28: PUSH2 0x2b35 00002b2b: JUMPI 00002b2c: RETURNDATASIZE 00002b2d: PUSH1 0x00 00002b2f: DUP1 00002b30: RETURNDATACOPY 00002b31: RETURNDATASIZE 00002b32: PUSH1 0x00 00002b34: REVERT 00002b35: JUMPDEST 00002b36: POP 00002b37: DUP1 00002b38: SWAP2 00002b39: POP 00002b3a: POP 00002b3b: SWAP3 00002b3c: SWAP2 00002b3d: POP 00002b3e: POP 00002b3f: JUMP 00002b40: JUMPDEST 00002b41: PUSH1 0x00 00002b43: DUP2 00002b44: DUP4 00002b45: LT 00002b46: ISZERO 00002b47: PUSH2 0x2bb8 00002b4a: JUMPI 00002b4b: PUSH1 0x40 00002b4d: MLOAD 00002b4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002b6f: DUP2 00002b70: MSTORE 00002b71: PUSH1 0x04 00002b73: ADD 00002b74: DUP1 00002b75: DUP1 00002b76: PUSH1 0x20 00002b78: ADD 00002b79: DUP3 00002b7a: DUP2 00002b7b: SUB 00002b7c: DUP3 00002b7d: MSTORE 00002b7e: PUSH1 0x14 00002b80: DUP2 00002b81: MSTORE 00002b82: PUSH1 0x20 00002b84: ADD 00002b85: DUP1 00002b86: PUSH32 0x7375627472616374696f6e206f766572666c6f77000000000000000000000000 00002ba7: DUP2 00002ba8: MSTORE 00002ba9: POP 00002baa: PUSH1 0x20 00002bac: ADD 00002bad: SWAP2 00002bae: POP 00002baf: POP 00002bb0: PUSH1 0x40 00002bb2: MLOAD 00002bb3: DUP1 00002bb4: SWAP2 00002bb5: SUB 00002bb6: SWAP1 00002bb7: REVERT 00002bb8: JUMPDEST 00002bb9: DUP2 00002bba: DUP4 00002bbb: SUB 00002bbc: SWAP1 00002bbd: POP 00002bbe: SWAP3 00002bbf: SWAP2 00002bc0: POP 00002bc1: POP 00002bc2: JUMP 00002bc3: JUMPDEST 00002bc4: PUSH1 0x00 00002bc6: DUP1 00002bc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bdc: AND 00002bdd: DUP4 00002bde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bf3: AND 00002bf4: EQ 00002bf5: DUP1 00002bf6: PUSH2 0x2c2a 00002bf9: JUMPI 00002bfa: POP 00002bfb: CALLER 00002bfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c11: AND 00002c12: DUP4 00002c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c28: AND 00002c29: EQ 00002c2a: JUMPDEST 00002c2b: ISZERO 00002c2c: PUSH2 0x2c38 00002c2f: JUMPI 00002c30: PUSH1 0x00 00002c32: SWAP1 00002c33: POP 00002c34: PUSH2 0x2caf 00002c37: JUMP 00002c38: JUMPDEST 00002c39: PUSH1 0x00 00002c3b: PUSH2 0x2c61 00002c3e: PUSH2 0x2710 00002c41: PUSH2 0x2c53 00002c44: DUP6 00002c45: CALLVALUE 00002c46: PUSH2 0x3256 00002c49: SWAP1 00002c4a: SWAP2 00002c4b: SWAP1 00002c4c: PUSH4 0xffffffff 00002c51: AND 00002c52: JUMP 00002c53: JUMPDEST 00002c54: PUSH2 0x32f9 00002c57: SWAP1 00002c58: SWAP2 00002c59: SWAP1 00002c5a: PUSH4 0xffffffff 00002c5f: AND 00002c60: JUMP 00002c61: JUMPDEST 00002c62: SWAP1 00002c63: POP 00002c64: DUP4 00002c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c7a: AND 00002c7b: PUSH2 0x08fc 00002c7e: DUP3 00002c7f: SWAP1 00002c80: DUP2 00002c81: ISZERO 00002c82: MUL 00002c83: SWAP1 00002c84: PUSH1 0x40 00002c86: MLOAD 00002c87: PUSH1 0x00 00002c89: PUSH1 0x40 00002c8b: MLOAD 00002c8c: DUP1 00002c8d: DUP4 00002c8e: SUB 00002c8f: DUP2 00002c90: DUP6 00002c91: DUP9 00002c92: DUP9 00002c93: CALL 00002c94: SWAP4 00002c95: POP 00002c96: POP 00002c97: POP 00002c98: POP 00002c99: ISZERO 00002c9a: DUP1 00002c9b: ISZERO 00002c9c: PUSH2 0x2ca9 00002c9f: JUMPI 00002ca0: RETURNDATASIZE 00002ca1: PUSH1 0x00 00002ca3: DUP1 00002ca4: RETURNDATACOPY 00002ca5: RETURNDATASIZE 00002ca6: PUSH1 0x00 00002ca8: REVERT 00002ca9: JUMPDEST 00002caa: POP 00002cab: DUP1 00002cac: SWAP2 00002cad: POP 00002cae: POP 00002caf: JUMPDEST 00002cb0: SWAP3 00002cb1: SWAP2 00002cb2: POP 00002cb3: POP 00002cb4: JUMP 00002cb5: JUMPDEST 00002cb6: PUSH1 0x00 00002cb8: DUP1 00002cb9: DUP3 00002cba: PUSH2 0xffff 00002cbd: AND 00002cbe: EQ 00002cbf: ISZERO 00002cc0: PUSH2 0x2ccc 00002cc3: JUMPI 00002cc4: PUSH1 0x00 00002cc6: SWAP1 00002cc7: POP 00002cc8: PUSH2 0x2ef4 00002ccb: JUMP 00002ccc: JUMPDEST 00002ccd: PUSH1 0x00 00002ccf: PUSH1 0x07 00002cd1: PUSH1 0x00 00002cd3: SWAP1 00002cd4: SLOAD 00002cd5: SWAP1 00002cd6: PUSH2 0x0100 00002cd9: EXP 00002cda: SWAP1 00002cdb: DIV 00002cdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cf1: AND 00002cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d07: AND 00002d08: PUSH4 0xfbba7b62 00002d0d: DUP5 00002d0e: PUSH1 0x40 00002d10: MLOAD 00002d11: DUP3 00002d12: PUSH4 0xffffffff 00002d17: AND 00002d18: PUSH1 0xe0 00002d1a: SHL 00002d1b: DUP2 00002d1c: MSTORE 00002d1d: PUSH1 0x04 00002d1f: ADD 00002d20: DUP1 00002d21: DUP3 00002d22: PUSH2 0xffff 00002d25: AND 00002d26: PUSH2 0xffff 00002d29: AND 00002d2a: DUP2 00002d2b: MSTORE 00002d2c: PUSH1 0x20 00002d2e: ADD 00002d2f: SWAP2 00002d30: POP 00002d31: POP 00002d32: PUSH1 0x20 00002d34: PUSH1 0x40 00002d36: MLOAD 00002d37: DUP1 00002d38: DUP4 00002d39: SUB 00002d3a: DUP2 00002d3b: DUP7 00002d3c: DUP1 00002d3d: EXTCODESIZE 00002d3e: ISZERO 00002d3f: DUP1 00002d40: ISZERO 00002d41: PUSH2 0x2d49 00002d44: JUMPI 00002d45: PUSH1 0x00 00002d47: DUP1 00002d48: REVERT 00002d49: JUMPDEST 00002d4a: POP 00002d4b: GAS 00002d4c: STATICCALL 00002d4d: ISZERO 00002d4e: DUP1 00002d4f: ISZERO 00002d50: PUSH2 0x2d5d 00002d53: JUMPI 00002d54: RETURNDATASIZE 00002d55: PUSH1 0x00 00002d57: DUP1 00002d58: RETURNDATACOPY 00002d59: RETURNDATASIZE 00002d5a: PUSH1 0x00 00002d5c: REVERT 00002d5d: JUMPDEST 00002d5e: POP 00002d5f: POP 00002d60: POP 00002d61: POP 00002d62: PUSH1 0x40 00002d64: MLOAD 00002d65: RETURNDATASIZE 00002d66: PUSH1 0x20 00002d68: DUP2 00002d69: LT 00002d6a: ISZERO 00002d6b: PUSH2 0x2d73 00002d6e: JUMPI 00002d6f: PUSH1 0x00 00002d71: DUP1 00002d72: REVERT 00002d73: JUMPDEST 00002d74: DUP2 00002d75: ADD 00002d76: SWAP1 00002d77: DUP1 00002d78: DUP1 00002d79: MLOAD 00002d7a: SWAP1 00002d7b: PUSH1 0x20 00002d7d: ADD 00002d7e: SWAP1 00002d7f: SWAP3 00002d80: SWAP2 00002d81: SWAP1 00002d82: POP 00002d83: POP 00002d84: POP 00002d85: EQ 00002d86: ISZERO 00002d87: PUSH2 0x2df8 00002d8a: JUMPI 00002d8b: PUSH1 0x40 00002d8d: MLOAD 00002d8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002daf: DUP2 00002db0: MSTORE 00002db1: PUSH1 0x04 00002db3: ADD 00002db4: DUP1 00002db5: DUP1 00002db6: PUSH1 0x20 00002db8: ADD 00002db9: DUP3 00002dba: DUP2 00002dbb: SUB 00002dbc: DUP3 00002dbd: MSTORE 00002dbe: PUSH1 0x11 00002dc0: DUP2 00002dc1: MSTORE 00002dc2: PUSH1 0x20 00002dc4: ADD 00002dc5: DUP1 00002dc6: PUSH32 0x496e76616c6964205f6c616e6454797065000000000000000000000000000000 00002de7: DUP2 00002de8: MSTORE 00002de9: POP 00002dea: PUSH1 0x20 00002dec: ADD 00002ded: SWAP2 00002dee: POP 00002def: POP 00002df0: PUSH1 0x40 00002df2: MLOAD 00002df3: DUP1 00002df4: SWAP2 00002df5: SUB 00002df6: SWAP1 00002df7: REVERT 00002df8: JUMPDEST 00002df9: PUSH1 0x00 00002dfb: PUSH2 0x2e23 00002dfe: PUSH2 0x2710 00002e01: PUSH2 0x2e15 00002e04: PUSH1 0x09 00002e06: SLOAD 00002e07: CALLVALUE 00002e08: PUSH2 0x3256 00002e0b: SWAP1 00002e0c: SWAP2 00002e0d: SWAP1 00002e0e: PUSH4 0xffffffff 00002e13: AND 00002e14: JUMP 00002e15: JUMPDEST 00002e16: PUSH2 0x32f9 00002e19: SWAP1 00002e1a: SWAP2 00002e1b: SWAP1 00002e1c: PUSH4 0xffffffff 00002e21: AND 00002e22: JUMP 00002e23: JUMPDEST 00002e24: SWAP1 00002e25: POP 00002e26: PUSH1 0x08 00002e28: PUSH1 0x00 00002e2a: SWAP1 00002e2b: SLOAD 00002e2c: SWAP1 00002e2d: PUSH2 0x0100 00002e30: EXP 00002e31: SWAP1 00002e32: DIV 00002e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e48: AND 00002e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e5e: AND 00002e5f: PUSH4 0xe274e18e 00002e64: DUP3 00002e65: DUP6 00002e66: CALLER 00002e67: PUSH1 0x40 00002e69: MLOAD 00002e6a: DUP5 00002e6b: PUSH4 0xffffffff 00002e70: AND 00002e71: PUSH1 0xe0 00002e73: SHL 00002e74: DUP2 00002e75: MSTORE 00002e76: PUSH1 0x04 00002e78: ADD 00002e79: DUP1 00002e7a: DUP4 00002e7b: PUSH2 0xffff 00002e7e: AND 00002e7f: PUSH2 0xffff 00002e82: AND 00002e83: DUP2 00002e84: MSTORE 00002e85: PUSH1 0x20 00002e87: ADD 00002e88: DUP3 00002e89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e9e: AND 00002e9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002eb4: AND 00002eb5: DUP2 00002eb6: MSTORE 00002eb7: PUSH1 0x20 00002eb9: ADD 00002eba: SWAP3 00002ebb: POP 00002ebc: POP 00002ebd: POP 00002ebe: PUSH1 0x00 00002ec0: PUSH1 0x40 00002ec2: MLOAD 00002ec3: DUP1 00002ec4: DUP4 00002ec5: SUB 00002ec6: DUP2 00002ec7: DUP6 00002ec8: DUP9 00002ec9: DUP1 00002eca: EXTCODESIZE 00002ecb: ISZERO 00002ecc: DUP1 00002ecd: ISZERO 00002ece: PUSH2 0x2ed6 00002ed1: JUMPI 00002ed2: PUSH1 0x00 00002ed4: DUP1 00002ed5: REVERT 00002ed6: JUMPDEST 00002ed7: POP 00002ed8: GAS 00002ed9: CALL 00002eda: ISZERO 00002edb: DUP1 00002edc: ISZERO 00002edd: PUSH2 0x2eea 00002ee0: JUMPI 00002ee1: RETURNDATASIZE 00002ee2: PUSH1 0x00 00002ee4: DUP1 00002ee5: RETURNDATACOPY 00002ee6: RETURNDATASIZE 00002ee7: PUSH1 0x00 00002ee9: REVERT 00002eea: JUMPDEST 00002eeb: POP 00002eec: POP 00002eed: POP 00002eee: POP 00002eef: POP 00002ef0: DUP1 00002ef1: SWAP2 00002ef2: POP 00002ef3: POP 00002ef4: JUMPDEST 00002ef5: SWAP2 00002ef6: SWAP1 00002ef7: POP 00002ef8: JUMP 00002ef9: JUMPDEST 00002efa: PUSH2 0x2f03 00002efd: DUP3 00002efe: DUP3 00002eff: PUSH2 0x2fd4 00002f02: JUMP 00002f03: JUMPDEST 00002f04: ISZERO 00002f05: PUSH2 0x2f76 00002f08: JUMPI 00002f09: PUSH1 0x40 00002f0b: MLOAD 00002f0c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002f2d: DUP2 00002f2e: MSTORE 00002f2f: PUSH1 0x04 00002f31: ADD 00002f32: DUP1 00002f33: DUP1 00002f34: PUSH1 0x20 00002f36: ADD 00002f37: DUP3 00002f38: DUP2 00002f39: SUB 00002f3a: DUP3 00002f3b: MSTORE 00002f3c: PUSH1 0x1c 00002f3e: DUP2 00002f3f: MSTORE 00002f40: PUSH1 0x20 00002f42: ADD 00002f43: DUP1 00002f44: PUSH32 0x726f6c6520616c72656164792068617320746865206163636f756e7400000000 00002f65: DUP2 00002f66: MSTORE 00002f67: POP 00002f68: PUSH1 0x20 00002f6a: ADD 00002f6b: SWAP2 00002f6c: POP 00002f6d: POP 00002f6e: PUSH1 0x40 00002f70: MLOAD 00002f71: DUP1 00002f72: SWAP2 00002f73: SUB 00002f74: SWAP1 00002f75: REVERT 00002f76: JUMPDEST 00002f77: PUSH1 0x01 00002f79: DUP3 00002f7a: PUSH1 0x00 00002f7c: ADD 00002f7d: PUSH1 0x00 00002f7f: DUP4 00002f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f95: AND 00002f96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fab: AND 00002fac: DUP2 00002fad: MSTORE 00002fae: PUSH1 0x20 00002fb0: ADD 00002fb1: SWAP1 00002fb2: DUP2 00002fb3: MSTORE 00002fb4: PUSH1 0x20 00002fb6: ADD 00002fb7: PUSH1 0x00 00002fb9: KECCAK256 00002fba: PUSH1 0x00 00002fbc: PUSH2 0x0100 00002fbf: EXP 00002fc0: DUP2 00002fc1: SLOAD 00002fc2: DUP2 00002fc3: PUSH1 0xff 00002fc5: MUL 00002fc6: NOT 00002fc7: AND 00002fc8: SWAP1 00002fc9: DUP4 00002fca: ISZERO 00002fcb: ISZERO 00002fcc: MUL 00002fcd: OR 00002fce: SWAP1 00002fcf: SSTORE 00002fd0: POP 00002fd1: POP 00002fd2: POP 00002fd3: JUMP 00002fd4: JUMPDEST 00002fd5: PUSH1 0x00 00002fd7: DUP3 00002fd8: PUSH1 0x00 00002fda: ADD 00002fdb: PUSH1 0x00 00002fdd: DUP4 00002fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ff3: AND 00002ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003009: AND 0000300a: DUP2 0000300b: MSTORE 0000300c: PUSH1 0x20 0000300e: ADD 0000300f: SWAP1 00003010: DUP2 00003011: MSTORE 00003012: PUSH1 0x20 00003014: ADD 00003015: PUSH1 0x00 00003017: KECCAK256 00003018: PUSH1 0x00 0000301a: SWAP1 0000301b: SLOAD 0000301c: SWAP1 0000301d: PUSH2 0x0100 00003020: EXP 00003021: SWAP1 00003022: DIV 00003023: PUSH1 0xff 00003025: AND 00003026: SWAP1 00003027: POP 00003028: SWAP3 00003029: SWAP2 0000302a: POP 0000302b: POP 0000302c: JUMP 0000302d: JUMPDEST 0000302e: PUSH2 0x3037 00003031: DUP3 00003032: DUP3 00003033: PUSH2 0x2fd4 00003036: JUMP 00003037: JUMPDEST 00003038: PUSH2 0x30a9 0000303b: JUMPI 0000303c: PUSH1 0x40 0000303e: MLOAD 0000303f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003060: DUP2 00003061: MSTORE 00003062: PUSH1 0x04 00003064: ADD 00003065: DUP1 00003066: DUP1 00003067: PUSH1 0x20 00003069: ADD 0000306a: DUP3 0000306b: DUP2 0000306c: SUB 0000306d: DUP3 0000306e: MSTORE 0000306f: PUSH1 0x1d 00003071: DUP2 00003072: MSTORE 00003073: PUSH1 0x20 00003075: ADD 00003076: DUP1 00003077: PUSH32 0x726f6c6520646f73656e2774206861766520746865206163636f756e74000000 00003098: DUP2 00003099: MSTORE 0000309a: POP 0000309b: PUSH1 0x20 0000309d: ADD 0000309e: SWAP2 0000309f: POP 000030a0: POP 000030a1: PUSH1 0x40 000030a3: MLOAD 000030a4: DUP1 000030a5: SWAP2 000030a6: SUB 000030a7: SWAP1 000030a8: REVERT 000030a9: JUMPDEST 000030aa: PUSH1 0x00 000030ac: DUP3 000030ad: PUSH1 0x00 000030af: ADD 000030b0: PUSH1 0x00 000030b2: DUP4 000030b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000030c8: AND 000030c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000030de: AND 000030df: DUP2 000030e0: MSTORE 000030e1: PUSH1 0x20 000030e3: ADD 000030e4: SWAP1 000030e5: DUP2 000030e6: MSTORE 000030e7: PUSH1 0x20 000030e9: ADD 000030ea: PUSH1 0x00 000030ec: KECCAK256 000030ed: PUSH1 0x00 000030ef: PUSH2 0x0100 000030f2: EXP 000030f3: DUP2 000030f4: SLOAD 000030f5: DUP2 000030f6: PUSH1 0xff 000030f8: MUL 000030f9: NOT 000030fa: AND 000030fb: SWAP1 000030fc: DUP4 000030fd: ISZERO 000030fe: ISZERO 000030ff: MUL 00003100: OR 00003101: SWAP1 00003102: SSTORE 00003103: POP 00003104: POP 00003105: POP 00003106: JUMP 00003107: JUMPDEST 00003108: PUSH1 0x00 0000310a: PUSH1 0x0e 0000310c: PUSH1 0x00 0000310e: DUP4 0000310f: DUP2 00003110: MSTORE 00003111: PUSH1 0x20 00003113: ADD 00003114: SWAP1 00003115: DUP2 00003116: MSTORE 00003117: PUSH1 0x20 00003119: ADD 0000311a: PUSH1 0x00 0000311c: KECCAK256 0000311d: SLOAD 0000311e: EQ 0000311f: PUSH2 0x3190 00003122: JUMPI 00003123: PUSH1 0x40 00003125: MLOAD 00003126: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003147: DUP2 00003148: MSTORE 00003149: PUSH1 0x04 0000314b: ADD 0000314c: DUP1 0000314d: DUP1 0000314e: PUSH1 0x20 00003150: ADD 00003151: DUP3 00003152: DUP2 00003153: SUB 00003154: DUP3 00003155: MSTORE 00003156: PUSH1 0x1e 00003158: DUP2 00003159: MSTORE 0000315a: PUSH1 0x20 0000315c: ADD 0000315d: DUP1 0000315e: PUSH32 0x546865206861736820697320616c7265616479207472616e7361637465640000 0000317f: DUP2 00003180: MSTORE 00003181: POP 00003182: PUSH1 0x20 00003184: ADD 00003185: SWAP2 00003186: POP 00003187: POP 00003188: PUSH1 0x40 0000318a: MLOAD 0000318b: DUP1 0000318c: SWAP2 0000318d: SUB 0000318e: SWAP1 0000318f: REVERT 00003190: JUMPDEST 00003191: NUMBER 00003192: PUSH1 0x0e 00003194: PUSH1 0x00 00003196: DUP4 00003197: DUP2 00003198: MSTORE 00003199: PUSH1 0x20 0000319b: ADD 0000319c: SWAP1 0000319d: DUP2 0000319e: MSTORE 0000319f: PUSH1 0x20 000031a1: ADD 000031a2: PUSH1 0x00 000031a4: KECCAK256 000031a5: DUP2 000031a6: SWAP1 000031a7: SSTORE 000031a8: POP 000031a9: POP 000031aa: JUMP 000031ab: JUMPDEST 000031ac: PUSH1 0x00 000031ae: PUSH2 0x31b5 000031b1: PUSH2 0x2198 000031b4: JUMP 000031b5: JUMPDEST 000031b6: SWAP1 000031b7: POP 000031b8: DUP2 000031b9: PUSH1 0x01 000031bb: PUSH1 0x00 000031bd: PUSH2 0x0100 000031c0: EXP 000031c1: DUP2 000031c2: SLOAD 000031c3: DUP2 000031c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000031d9: MUL 000031da: NOT 000031db: AND 000031dc: SWAP1 000031dd: DUP4 000031de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000031f3: AND 000031f4: MUL 000031f5: OR 000031f6: SWAP1 000031f7: SSTORE 000031f8: POP 000031f9: DUP2 000031fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000320f: AND 00003210: DUP2 00003211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003226: AND 00003227: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00003248: PUSH1 0x40 0000324a: MLOAD 0000324b: PUSH1 0x40 0000324d: MLOAD 0000324e: DUP1 0000324f: SWAP2 00003250: SUB 00003251: SWAP1 00003252: LOG3 00003253: POP 00003254: POP 00003255: JUMP 00003256: JUMPDEST 00003257: PUSH1 0x00 00003259: DUP1 0000325a: DUP4 0000325b: EQ 0000325c: ISZERO 0000325d: PUSH2 0x3269 00003260: JUMPI 00003261: PUSH1 0x00 00003263: SWAP1 00003264: POP 00003265: PUSH2 0x32f3 00003268: JUMP 00003269: JUMPDEST 0000326a: PUSH1 0x00 0000326c: DUP3 0000326d: DUP5 0000326e: MUL 0000326f: SWAP1 00003270: POP 00003271: DUP3 00003272: DUP5 00003273: DUP3 00003274: DUP2 00003275: PUSH2 0x327a 00003278: JUMPI 00003279: INVALID 0000327a: JUMPDEST 0000327b: DIV 0000327c: EQ 0000327d: PUSH2 0x32ee 00003280: JUMPI 00003281: PUSH1 0x40 00003283: MLOAD 00003284: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000032a5: DUP2 000032a6: MSTORE 000032a7: PUSH1 0x04 000032a9: ADD 000032aa: DUP1 000032ab: DUP1 000032ac: PUSH1 0x20 000032ae: ADD 000032af: DUP3 000032b0: DUP2 000032b1: SUB 000032b2: DUP3 000032b3: MSTORE 000032b4: PUSH1 0x17 000032b6: DUP2 000032b7: MSTORE 000032b8: PUSH1 0x20 000032ba: ADD 000032bb: DUP1 000032bc: PUSH32 0x6d756c7469706c69636174696f6e206f766572666c6f77000000000000000000 000032dd: DUP2 000032de: MSTORE 000032df: POP 000032e0: PUSH1 0x20 000032e2: ADD 000032e3: SWAP2 000032e4: POP 000032e5: POP 000032e6: PUSH1 0x40 000032e8: MLOAD 000032e9: DUP1 000032ea: SWAP2 000032eb: SUB 000032ec: SWAP1 000032ed: REVERT 000032ee: JUMPDEST 000032ef: DUP1 000032f0: SWAP2 000032f1: POP 000032f2: POP 000032f3: JUMPDEST 000032f4: SWAP3 000032f5: SWAP2 000032f6: POP 000032f7: POP 000032f8: JUMP 000032f9: JUMPDEST 000032fa: PUSH1 0x00 000032fc: DUP1 000032fd: DUP3 000032fe: EQ 000032ff: ISZERO 00003300: PUSH2 0x3371 00003303: JUMPI 00003304: PUSH1 0x40 00003306: MLOAD 00003307: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003328: DUP2 00003329: MSTORE 0000332a: PUSH1 0x04 0000332c: ADD 0000332d: DUP1 0000332e: DUP1 0000332f: PUSH1 0x20 00003331: ADD 00003332: DUP3 00003333: DUP2 00003334: SUB 00003335: DUP3 00003336: MSTORE 00003337: PUSH1 0x0d 00003339: DUP2 0000333a: MSTORE 0000333b: PUSH1 0x20 0000333d: ADD 0000333e: DUP1 0000333f: PUSH32 0x6469766973696f6e206279203000000000000000000000000000000000000000 00003360: DUP2 00003361: MSTORE 00003362: POP 00003363: PUSH1 0x20 00003365: ADD 00003366: SWAP2 00003367: POP 00003368: POP 00003369: PUSH1 0x40 0000336b: MLOAD 0000336c: DUP1 0000336d: SWAP2 0000336e: SUB 0000336f: SWAP1 00003370: REVERT 00003371: JUMPDEST 00003372: DUP2 00003373: DUP4 00003374: DUP2 00003375: PUSH2 0x337a 00003378: JUMPI 00003379: INVALID 0000337a: JUMPDEST 0000337b: DIV 0000337c: SWAP1 0000337d: POP 0000337e: SWAP3 0000337f: SWAP2 00003380: POP 00003381: POP 00003382: JUMP 00003383: INVALID 00003384: LOG2 00003385: PUSH6 0x627a7a723158 0000338c: KECCAK256 0000338d: PUSH19 0xcbecedcfdde0aa7ae75e043f762c17529ebb14 000033a1: PUSH23
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xeac3cd35eb38a4709ce57c540b11da81c253b25e783ee5e1f4d1ff2eea5eca35
call_targets:
0x32e64e75091d13c64f11db67ea94ac16951629b9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeac3cd35eb38a4709ce57c540b11da81c253b25e783ee5e1f4d1ff2eea5eca35",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x32e64e75091d13c64f11db67ea94ac16951629b9"
],
"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": "0xd86c8cfd",
"selector": "0xd86c8cfd",
"calldata_variants": [
"0xd86c8cfd",
"0xd86c8cfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd95b18eb",
"selector": "0xd95b18eb",
"calldata_variants": [
"0xd95b18eb",
"0xd95b18eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdba8f3f6",
"selector": "0xdba8f3f6",
"calldata_variants": [
"0xdba8f3f6",
"0xdba8f3f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea62f554",
"selector": "0xea62f554",
"calldata_variants": [
"0xea62f554",
"0xea62f5540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac8a584a",
"selector": "0xac8a584a",
"calldata_variants": [
"0xac8a584a",
"0xac8a584a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcd0ad2b",
"selector": "0xbcd0ad2b",
"calldata_variants": [
"0xbcd0ad2b",
"0xbcd0ad2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc14e50ce",
"selector": "0xc14e50ce",
"calldata_variants": [
"0xc14e50ce",
"0xc14e50ce0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7268,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11039,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11411,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 5240,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6480,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9741,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xeac3cd35eb38a4709ce57c540b11da81c253b25e783ee5e1f4d1ff2eea5eca35
call_targets:
0x32e64e75091d13c64f11db67ea94ac16951629b9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeac3cd35eb38a4709ce57c540b11da81c253b25e783ee5e1f4d1ff2eea5eca35",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x32e64e75091d13c64f11db67ea94ac16951629b9"
],
"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": "0xd86c8cfd",
"selector": "0xd86c8cfd",
"calldata_variants": [
"0xd86c8cfd",
"0xd86c8cfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd95b18eb",
"selector": "0xd95b18eb",
"calldata_variants": [
"0xd95b18eb",
"0xd95b18eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdba8f3f6",
"selector": "0xdba8f3f6",
"calldata_variants": [
"0xdba8f3f6",
"0xdba8f3f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea62f554",
"selector": "0xea62f554",
"calldata_variants": [
"0xea62f554",
"0xea62f5540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac8a584a",
"selector": "0xac8a584a",
"calldata_variants": [
"0xac8a584a",
"0xac8a584a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbcd0ad2b",
"selector": "0xbcd0ad2b",
"calldata_variants": [
"0xbcd0ad2b",
"0xbcd0ad2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc14e50ce",
"selector": "0xc14e50ce",
"calldata_variants": [
"0xc14e50ce",
"0xc14e50ce0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7268,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11039,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 11411,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 5240,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6480,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 9741,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|