019b477e-c4c1-73cb-ace2-e9385caef596
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 |
|---|---|---|---|---|
| 25465 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25466 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90937 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90938 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90939 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90940 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0329 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x01a5 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc87b56dd 00000024: GT 00000025: PUSH2 0x00ec 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdaaeec86 0000002f: GT 00000030: PUSH2 0x0095 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf285e69e 0000003a: GT 0000003b: PUSH2 0x006f 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf285e69e 00000045: EQ 00000046: PUSH2 0x08fa 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x090f 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf4a0a528 0000005b: EQ 0000005c: PUSH2 0x092f 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfdb4953a 00000066: EQ 00000067: PUSH2 0x094f 0000006a: JUMPI 0000006b: PUSH2 0x0329 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xdaaeec86 00000076: EQ 00000077: PUSH2 0x0882 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe985e9c5 00000081: EQ 00000082: PUSH2 0x0897 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xeb8d2444 0000008c: EQ 0000008d: PUSH2 0x08e0 00000090: JUMPI 00000091: PUSH2 0x0329 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xd5391393 0000009c: GT 0000009d: PUSH2 0x00c6 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xd5391393 000000a7: EQ 000000a8: PUSH2 0x0818 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xd547741f 000000b2: EQ 000000b3: PUSH2 0x084c 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xd7224ba0 000000bd: EQ 000000be: PUSH2 0x086c 000000c1: JUMPI 000000c2: PUSH2 0x0329 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0xc87b56dd 000000cd: EQ 000000ce: PUSH2 0x07c3 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xca15c873 000000d8: EQ 000000d9: PUSH2 0x07e3 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xd111515d 000000e3: EQ 000000e4: PUSH2 0x0803 000000e7: JUMPI 000000e8: PUSH2 0x0329 000000eb: JUMP 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x9d3a9e4b 000000f3: GT 000000f4: PUSH2 0x014e 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0xa22cb465 000000fe: GT 000000ff: PUSH2 0x0128 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0xa22cb465 00000109: EQ 0000010a: PUSH2 0x0763 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0xb88d4fde 00000114: EQ 00000115: PUSH2 0x0783 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xbac9a971 0000011f: EQ 00000120: PUSH2 0x07a3 00000123: JUMPI 00000124: PUSH2 0x0329 00000127: JUMP 00000128: JUMPDEST 00000129: DUP1 0000012a: PUSH4 0x9d3a9e4b 0000012f: EQ 00000130: PUSH2 0x0718 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0xa0bcfc7f 0000013a: EQ 0000013b: PUSH2 0x072e 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0xa217fddf 00000145: EQ 00000146: PUSH2 0x074e 00000149: JUMPI 0000014a: PUSH2 0x0329 0000014d: JUMP 0000014e: JUMPDEST 0000014f: DUP1 00000150: PUSH4 0x91d14854 00000155: GT 00000156: PUSH2 0x017f 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x91d14854 00000160: EQ 00000161: PUSH2 0x06a8 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x95d89b41 0000016b: EQ 0000016c: PUSH2 0x06ee 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x9abc8320 00000176: EQ 00000177: PUSH2 0x0703 0000017a: JUMPI 0000017b: PUSH2 0x0329 0000017e: JUMP 0000017f: JUMPDEST 00000180: DUP1 00000181: PUSH4 0x8da5cb5b 00000186: EQ 00000187: PUSH2 0x0654 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x9010d07c 00000191: EQ 00000192: PUSH2 0x0672 00000195: JUMPI 00000196: DUP1 00000197: PUSH4 0x903f16a3 0000019c: EQ 0000019d: PUSH2 0x0692 000001a0: JUMPI 000001a1: PUSH2 0x0329 000001a4: JUMP 000001a5: JUMPDEST 000001a6: DUP1 000001a7: PUSH4 0x42842e0e 000001ac: GT 000001ad: PUSH2 0x0274 000001b0: JUMPI 000001b1: DUP1 000001b2: PUSH4 0x528085a6 000001b7: GT 000001b8: PUSH2 0x021d 000001bb: JUMPI 000001bc: DUP1 000001bd: PUSH4 0x6817c76c 000001c2: GT 000001c3: PUSH2 0x01f7 000001c6: JUMPI 000001c7: DUP1 000001c8: PUSH4 0x6817c76c 000001cd: EQ 000001ce: PUSH2 0x05f6 000001d1: JUMPI 000001d2: DUP1 000001d3: PUSH4 0x70a08231 000001d8: EQ 000001d9: PUSH2 0x060c 000001dc: JUMPI 000001dd: DUP1 000001de: PUSH4 0x715018a6 000001e3: EQ 000001e4: PUSH2 0x062c 000001e7: JUMPI 000001e8: DUP1 000001e9: PUSH4 0x8b5368af 000001ee: EQ 000001ef: PUSH2 0x0641 000001f2: JUMPI 000001f3: PUSH2 0x0329 000001f6: JUMP 000001f7: JUMPDEST 000001f8: DUP1 000001f9: PUSH4 0x528085a6 000001fe: EQ 000001ff: PUSH2 0x0596 00000202: JUMPI 00000203: DUP1 00000204: PUSH4 0x5e35359e 00000209: EQ 0000020a: PUSH2 0x05b6 0000020d: JUMPI 0000020e: DUP1 0000020f: PUSH4 0x6352211e 00000214: EQ 00000215: PUSH2 0x05d6 00000218: JUMPI 00000219: PUSH2 0x0329 0000021c: JUMP 0000021d: JUMPDEST 0000021e: DUP1 0000021f: PUSH4 0x507e094f 00000224: GT 00000225: PUSH2 0x024e 00000228: JUMPI 00000229: DUP1 0000022a: PUSH4 0x507e094f 0000022f: EQ 00000230: PUSH2 0x0540 00000233: JUMPI 00000234: DUP1 00000235: PUSH4 0x50c256c3 0000023a: EQ 0000023b: PUSH2 0x0556 0000023e: JUMPI 0000023f: DUP1 00000240: PUSH4 0x51cff8d9 00000245: EQ 00000246: PUSH2 0x0576 00000249: JUMPI 0000024a: PUSH2 0x0329 0000024d: JUMP 0000024e: JUMPDEST 0000024f: DUP1 00000250: PUSH4 0x42842e0e 00000255: EQ 00000256: PUSH2 0x04ed 00000259: JUMPI 0000025a: DUP1 0000025b: PUSH4 0x4f6ccce7 00000260: EQ 00000261: PUSH2 0x050d 00000264: JUMPI 00000265: DUP1 00000266: PUSH4 0x4f7dd37d 0000026b: EQ 0000026c: PUSH2 0x052d 0000026f: JUMPI 00000270: PUSH2 0x0329 00000273: JUMP 00000274: JUMPDEST 00000275: DUP1 00000276: PUSH4 0x248a9ca3 0000027b: GT 0000027c: PUSH2 0x02d6 0000027f: JUMPI 00000280: DUP1 00000281: PUSH4 0x30f72cd4 00000286: GT 00000287: PUSH2 0x02b0 0000028a: JUMPI 0000028b: DUP1 0000028c: PUSH4 0x30f72cd4 00000291: EQ 00000292: PUSH2 0x048e 00000295: JUMPI 00000296: DUP1 00000297: PUSH4 0x355b14cd 0000029c: EQ 0000029d: PUSH2 0x04ad 000002a0: JUMPI 000002a1: DUP1 000002a2: PUSH4 0x36568abe 000002a7: EQ 000002a8: PUSH2 0x04cd 000002ab: JUMPI 000002ac: PUSH2 0x0329 000002af: JUMP 000002b0: JUMPDEST 000002b1: DUP1 000002b2: PUSH4 0x248a9ca3 000002b7: EQ 000002b8: PUSH2 0x041e 000002bb: JUMPI 000002bc: DUP1 000002bd: PUSH4 0x2f2ff15d 000002c2: EQ 000002c3: PUSH2 0x044e 000002c6: JUMPI 000002c7: DUP1 000002c8: PUSH4 0x2f745c59 000002cd: EQ 000002ce: PUSH2 0x046e 000002d1: JUMPI 000002d2: PUSH2 0x0329 000002d5: JUMP 000002d6: JUMPDEST 000002d7: DUP1 000002d8: PUSH4 0x095ea7b3 000002dd: GT 000002de: PUSH2 0x0307 000002e1: JUMPI 000002e2: DUP1 000002e3: PUSH4 0x095ea7b3 000002e8: EQ 000002e9: PUSH2 0x03bd 000002ec: JUMPI 000002ed: DUP1 000002ee: PUSH4 0x18160ddd 000002f3: EQ 000002f4: PUSH2 0x03df 000002f7: JUMPI 000002f8: DUP1 000002f9: PUSH4 0x23b872dd 000002fe: EQ 000002ff: PUSH2 0x03fe 00000302: JUMPI 00000303: PUSH2 0x0329 00000306: JUMP 00000307: JUMPDEST 00000308: DUP1 00000309: PUSH4 0x01ffc9a7 0000030e: EQ 0000030f: PUSH2 0x032e 00000312: JUMPI 00000313: DUP1 00000314: PUSH4 0x06fdde03 00000319: EQ 0000031a: PUSH2 0x0363 0000031d: JUMPI 0000031e: DUP1 0000031f: PUSH4 0x081812fc 00000324: EQ 00000325: PUSH2 0x0385 00000328: JUMPI 00000329: JUMPDEST 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: CALLVALUE 00000330: DUP1 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: POP 0000033c: PUSH2 0x034e 0000033f: PUSH2 0x0349 00000342: CALLDATASIZE 00000343: PUSH1 0x04 00000345: PUSH2 0x3760 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH2 0x0969 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH1 0x40 00000351: MLOAD 00000352: SWAP1 00000353: ISZERO 00000354: ISZERO 00000355: DUP2 00000356: MSTORE 00000357: PUSH1 0x20 00000359: ADD 0000035a: JUMPDEST 0000035b: PUSH1 0x40 0000035d: MLOAD 0000035e: DUP1 0000035f: SWAP2 00000360: SUB 00000361: SWAP1 00000362: RETURN 00000363: JUMPDEST 00000364: CALLVALUE 00000365: DUP1 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH1 0x00 0000036d: DUP1 0000036e: REVERT 0000036f: JUMPDEST 00000370: POP 00000371: PUSH2 0x0378 00000374: PUSH2 0x097c 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: PUSH2 0x035a 0000037f: SWAP2 00000380: SWAP1 00000381: PUSH2 0x397a 00000384: JUMP 00000385: JUMPDEST 00000386: CALLVALUE 00000387: DUP1 00000388: ISZERO 00000389: PUSH2 0x0391 0000038c: JUMPI 0000038d: PUSH1 0x00 0000038f: DUP1 00000390: REVERT 00000391: JUMPDEST 00000392: POP 00000393: PUSH2 0x03a5 00000396: PUSH2 0x03a0 00000399: CALLDATASIZE 0000039a: PUSH1 0x04 0000039c: PUSH2 0x3703 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH2 0x0a0e 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH1 0x40 000003a8: MLOAD 000003a9: PUSH1 0x01 000003ab: PUSH1 0x01 000003ad: PUSH1 0xa0 000003af: SHL 000003b0: SUB 000003b1: SWAP1 000003b2: SWAP2 000003b3: AND 000003b4: DUP2 000003b5: MSTORE 000003b6: PUSH1 0x20 000003b8: ADD 000003b9: PUSH2 0x035a 000003bc: JUMP 000003bd: JUMPDEST 000003be: CALLVALUE 000003bf: DUP1 000003c0: ISZERO 000003c1: PUSH2 0x03c9 000003c4: JUMPI 000003c5: PUSH1 0x00 000003c7: DUP1 000003c8: REVERT 000003c9: JUMPDEST 000003ca: POP 000003cb: PUSH2 0x03dd 000003ce: PUSH2 0x03d8 000003d1: CALLDATASIZE 000003d2: PUSH1 0x04 000003d4: PUSH2 0x36bc 000003d7: JUMP 000003d8: JUMPDEST 000003d9: PUSH2 0x0aae 000003dc: JUMP 000003dd: JUMPDEST 000003de: STOP 000003df: JUMPDEST 000003e0: CALLVALUE 000003e1: DUP1 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: POP 000003ed: PUSH1 0x00 000003ef: SLOAD 000003f0: JUMPDEST 000003f1: PUSH1 0x40 000003f3: MLOAD 000003f4: SWAP1 000003f5: DUP2 000003f6: MSTORE 000003f7: PUSH1 0x20 000003f9: ADD 000003fa: PUSH2 0x035a 000003fd: JUMP 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x03dd 0000040f: PUSH2 0x0419 00000412: CALLDATASIZE 00000413: PUSH1 0x04 00000415: PUSH2 0x35d2 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH2 0x0be1 0000041d: JUMP 0000041e: JUMPDEST 0000041f: CALLVALUE 00000420: DUP1 00000421: ISZERO 00000422: PUSH2 0x042a 00000425: JUMPI 00000426: PUSH1 0x00 00000428: DUP1 00000429: REVERT 0000042a: JUMPDEST 0000042b: POP 0000042c: PUSH2 0x03f0 0000042f: PUSH2 0x0439 00000432: CALLDATASIZE 00000433: PUSH1 0x04 00000435: PUSH2 0x3703 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH1 0x00 0000043c: SWAP1 0000043d: DUP2 0000043e: MSTORE 0000043f: PUSH1 0x08 00000441: PUSH1 0x20 00000443: MSTORE 00000444: PUSH1 0x40 00000446: SWAP1 00000447: KECCAK256 00000448: PUSH1 0x01 0000044a: ADD 0000044b: SLOAD 0000044c: SWAP1 0000044d: JUMP 0000044e: JUMPDEST 0000044f: CALLVALUE 00000450: DUP1 00000451: ISZERO 00000452: PUSH2 0x045a 00000455: JUMPI 00000456: PUSH1 0x00 00000458: DUP1 00000459: REVERT 0000045a: JUMPDEST 0000045b: POP 0000045c: PUSH2 0x03dd 0000045f: PUSH2 0x0469 00000462: CALLDATASIZE 00000463: PUSH1 0x04 00000465: PUSH2 0x371b 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH2 0x0bec 0000046d: JUMP 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: POP 0000047c: PUSH2 0x03f0 0000047f: PUSH2 0x0489 00000482: CALLDATASIZE 00000483: PUSH1 0x04 00000485: PUSH2 0x36bc 00000488: JUMP 00000489: JUMPDEST 0000048a: PUSH2 0x0c0e 0000048d: JUMP 0000048e: JUMPDEST 0000048f: CALLVALUE 00000490: DUP1 00000491: ISZERO 00000492: PUSH2 0x049a 00000495: JUMPI 00000496: PUSH1 0x00 00000498: DUP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: POP 0000049c: PUSH1 0x0f 0000049e: SLOAD 0000049f: PUSH2 0x034e 000004a2: SWAP1 000004a3: PUSH2 0x0100 000004a6: SWAP1 000004a7: DIV 000004a8: PUSH1 0xff 000004aa: AND 000004ab: DUP2 000004ac: JUMP 000004ad: JUMPDEST 000004ae: CALLVALUE 000004af: DUP1 000004b0: ISZERO 000004b1: PUSH2 0x04b9 000004b4: JUMPI 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: POP 000004bb: PUSH2 0x03dd 000004be: PUSH2 0x04c8 000004c1: CALLDATASIZE 000004c2: PUSH1 0x04 000004c4: PUSH2 0x3703 000004c7: JUMP 000004c8: JUMPDEST 000004c9: PUSH2 0x0dac 000004cc: JUMP 000004cd: JUMPDEST 000004ce: CALLVALUE 000004cf: DUP1 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: POP 000004db: PUSH2 0x03dd 000004de: PUSH2 0x04e8 000004e1: CALLDATASIZE 000004e2: PUSH1 0x04 000004e4: PUSH2 0x371b 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH2 0x0df9 000004ec: JUMP 000004ed: JUMPDEST 000004ee: CALLVALUE 000004ef: DUP1 000004f0: ISZERO 000004f1: PUSH2 0x04f9 000004f4: JUMPI 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: POP 000004fb: PUSH2 0x03dd 000004fe: PUSH2 0x0508 00000501: CALLDATASIZE 00000502: PUSH1 0x04 00000504: PUSH2 0x35d2 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH2 0x0e1b 0000050c: JUMP 0000050d: JUMPDEST 0000050e: CALLVALUE 0000050f: DUP1 00000510: ISZERO 00000511: PUSH2 0x0519 00000514: JUMPI 00000515: PUSH1 0x00 00000517: DUP1 00000518: REVERT 00000519: JUMPDEST 0000051a: POP 0000051b: PUSH2 0x03f0 0000051e: PUSH2 0x0528 00000521: CALLDATASIZE 00000522: PUSH1 0x04 00000524: PUSH2 0x3703 00000527: JUMP 00000528: JUMPDEST 00000529: PUSH2 0x0e36 0000052c: JUMP 0000052d: JUMPDEST 0000052e: PUSH2 0x03dd 00000531: PUSH2 0x053b 00000534: CALLDATASIZE 00000535: PUSH1 0x04 00000537: PUSH2 0x3703 0000053a: JUMP 0000053b: JUMPDEST 0000053c: PUSH2 0x0eb2 0000053f: JUMP 00000540: JUMPDEST 00000541: CALLVALUE 00000542: DUP1 00000543: ISZERO 00000544: PUSH2 0x054c 00000547: JUMPI 00000548: PUSH1 0x00 0000054a: DUP1 0000054b: REVERT 0000054c: JUMPDEST 0000054d: POP 0000054e: PUSH2 0x03f0 00000551: PUSH1 0x11 00000553: SLOAD 00000554: DUP2 00000555: JUMP 00000556: JUMPDEST 00000557: CALLVALUE 00000558: DUP1 00000559: ISZERO 0000055a: PUSH2 0x0562 0000055d: JUMPI 0000055e: PUSH1 0x00 00000560: DUP1 00000561: REVERT 00000562: JUMPDEST 00000563: POP 00000564: PUSH2 0x03dd 00000567: PUSH2 0x0571 0000056a: CALLDATASIZE 0000056b: PUSH1 0x04 0000056d: PUSH2 0x36bc 00000570: JUMP 00000571: JUMPDEST 00000572: PUSH2 0x1118 00000575: JUMP 00000576: JUMPDEST 00000577: CALLVALUE 00000578: DUP1 00000579: ISZERO 0000057a: PUSH2 0x0582 0000057d: JUMPI 0000057e: PUSH1 0x00 00000580: DUP1 00000581: REVERT 00000582: JUMPDEST 00000583: POP 00000584: PUSH2 0x03dd 00000587: PUSH2 0x0591 0000058a: CALLDATASIZE 0000058b: PUSH1 0x04 0000058d: PUSH2 0x357e 00000590: JUMP 00000591: JUMPDEST 00000592: PUSH2 0x1275 00000595: JUMP 00000596: JUMPDEST 00000597: CALLVALUE 00000598: DUP1 00000599: ISZERO 0000059a: PUSH2 0x05a2 0000059d: JUMPI 0000059e: PUSH1 0x00 000005a0: DUP1 000005a1: REVERT 000005a2: JUMPDEST 000005a3: POP 000005a4: PUSH1 0x0b 000005a6: SLOAD 000005a7: PUSH2 0x03a5 000005aa: SWAP1 000005ab: PUSH1 0x01 000005ad: PUSH1 0x01 000005af: PUSH1 0xa0 000005b1: SHL 000005b2: SUB 000005b3: AND 000005b4: DUP2 000005b5: JUMP 000005b6: JUMPDEST 000005b7: CALLVALUE 000005b8: DUP1 000005b9: ISZERO 000005ba: PUSH2 0x05c2 000005bd: JUMPI 000005be: PUSH1 0x00 000005c0: DUP1 000005c1: REVERT 000005c2: JUMPDEST 000005c3: POP 000005c4: PUSH2 0x03dd 000005c7: PUSH2 0x05d1 000005ca: CALLDATASIZE 000005cb: PUSH1 0x04 000005cd: PUSH2 0x35d2 000005d0: JUMP 000005d1: JUMPDEST 000005d2: PUSH2 0x134b 000005d5: JUMP 000005d6: JUMPDEST 000005d7: CALLVALUE 000005d8: DUP1 000005d9: ISZERO 000005da: PUSH2 0x05e2 000005dd: JUMPI 000005de: PUSH1 0x00 000005e0: DUP1 000005e1: REVERT 000005e2: JUMPDEST 000005e3: POP 000005e4: PUSH2 0x03a5 000005e7: PUSH2 0x05f1 000005ea: CALLDATASIZE 000005eb: PUSH1 0x04 000005ed: PUSH2 0x3703 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH2 0x14b0 000005f5: JUMP 000005f6: JUMPDEST 000005f7: CALLVALUE 000005f8: DUP1 000005f9: ISZERO 000005fa: PUSH2 0x0602 000005fd: JUMPI 000005fe: PUSH1 0x00 00000600: DUP1 00000601: REVERT 00000602: JUMPDEST 00000603: POP 00000604: PUSH2 0x03f0 00000607: PUSH1 0x10 00000609: SLOAD 0000060a: DUP2 0000060b: JUMP 0000060c: JUMPDEST 0000060d: CALLVALUE 0000060e: DUP1 0000060f: ISZERO 00000610: PUSH2 0x0618 00000613: JUMPI 00000614: PUSH1 0x00 00000616: DUP1 00000617: REVERT 00000618: JUMPDEST 00000619: POP 0000061a: PUSH2 0x03f0 0000061d: PUSH2 0x0627 00000620: CALLDATASIZE 00000621: PUSH1 0x04 00000623: PUSH2 0x357e 00000626: JUMP 00000627: JUMPDEST 00000628: PUSH2 0x14c2 0000062b: JUMP 0000062c: JUMPDEST 0000062d: CALLVALUE 0000062e: DUP1 0000062f: ISZERO 00000630: PUSH2 0x0638 00000633: JUMPI 00000634: PUSH1 0x00 00000636: DUP1 00000637: REVERT 00000638: JUMPDEST 00000639: POP 0000063a: PUSH2 0x03dd 0000063d: PUSH2 0x1565 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH2 0x03dd 00000645: PUSH2 0x064f 00000648: CALLDATASIZE 00000649: PUSH1 0x04 0000064b: PUSH2 0x3703 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH2 0x15b9 00000653: JUMP 00000654: JUMPDEST 00000655: CALLVALUE 00000656: DUP1 00000657: ISZERO 00000658: PUSH2 0x0660 0000065b: JUMPI 0000065c: PUSH1 0x00 0000065e: DUP1 0000065f: REVERT 00000660: JUMPDEST 00000661: POP 00000662: PUSH1 0x0a 00000664: SLOAD 00000665: PUSH1 0x01 00000667: PUSH1 0x01 00000669: PUSH1 0xa0 0000066b: SHL 0000066c: SUB 0000066d: AND 0000066e: PUSH2 0x03a5 00000671: JUMP 00000672: JUMPDEST 00000673: CALLVALUE 00000674: DUP1 00000675: ISZERO 00000676: PUSH2 0x067e 00000679: JUMPI 0000067a: PUSH1 0x00 0000067c: DUP1 0000067d: REVERT 0000067e: JUMPDEST 0000067f: POP 00000680: PUSH2 0x03a5 00000683: PUSH2 0x068d 00000686: CALLDATASIZE 00000687: PUSH1 0x04 00000689: PUSH2 0x373f 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH2 0x17b8 00000691: JUMP 00000692: JUMPDEST 00000693: CALLVALUE 00000694: DUP1 00000695: ISZERO 00000696: PUSH2 0x069e 00000699: JUMPI 0000069a: PUSH1 0x00 0000069c: DUP1 0000069d: REVERT 0000069e: JUMPDEST 0000069f: POP 000006a0: PUSH2 0x03f0 000006a3: PUSH1 0x12 000006a5: SLOAD 000006a6: DUP2 000006a7: JUMP 000006a8: JUMPDEST 000006a9: CALLVALUE 000006aa: DUP1 000006ab: ISZERO 000006ac: PUSH2 0x06b4 000006af: JUMPI 000006b0: PUSH1 0x00 000006b2: DUP1 000006b3: REVERT 000006b4: JUMPDEST 000006b5: POP 000006b6: PUSH2 0x034e 000006b9: PUSH2 0x06c3 000006bc: CALLDATASIZE 000006bd: PUSH1 0x04 000006bf: PUSH2 0x371b 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH1 0x00 000006c6: SWAP2 000006c7: DUP3 000006c8: MSTORE 000006c9: PUSH1 0x08 000006cb: PUSH1 0x20 000006cd: SWAP1 000006ce: DUP2 000006cf: MSTORE 000006d0: PUSH1 0x40 000006d2: DUP1 000006d3: DUP5 000006d4: KECCAK256 000006d5: PUSH1 0x01 000006d7: PUSH1 0x01 000006d9: PUSH1 0xa0 000006db: SHL 000006dc: SUB 000006dd: SWAP4 000006de: SWAP1 000006df: SWAP4 000006e0: AND 000006e1: DUP5 000006e2: MSTORE 000006e3: SWAP2 000006e4: SWAP1 000006e5: MSTORE 000006e6: SWAP1 000006e7: KECCAK256 000006e8: SLOAD 000006e9: PUSH1 0xff 000006eb: AND 000006ec: SWAP1 000006ed: JUMP 000006ee: JUMPDEST 000006ef: CALLVALUE 000006f0: DUP1 000006f1: ISZERO 000006f2: PUSH2 0x06fa 000006f5: JUMPI 000006f6: PUSH1 0x00 000006f8: DUP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: POP 000006fc: PUSH2 0x0378 000006ff: PUSH2 0x17d7 00000702: JUMP 00000703: JUMPDEST 00000704: CALLVALUE 00000705: DUP1 00000706: ISZERO 00000707: PUSH2 0x070f 0000070a: JUMPI 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: REVERT 0000070f: JUMPDEST 00000710: POP 00000711: PUSH2 0x0378 00000714: PUSH2 0x17e6 00000717: JUMP 00000718: JUMPDEST 00000719: CALLVALUE 0000071a: DUP1 0000071b: ISZERO 0000071c: PUSH2 0x0724 0000071f: JUMPI 00000720: PUSH1 0x00 00000722: DUP1 00000723: REVERT 00000724: JUMPDEST 00000725: POP 00000726: PUSH2 0x03f0 00000729: PUSH1 0x0c 0000072b: SLOAD 0000072c: DUP2 0000072d: JUMP 0000072e: JUMPDEST 0000072f: CALLVALUE 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: POP 0000073c: PUSH2 0x03dd 0000073f: PUSH2 0x0749 00000742: CALLDATASIZE 00000743: PUSH1 0x04 00000745: PUSH2 0x3798 00000748: JUMP 00000749: JUMPDEST 0000074a: PUSH2 0x1874 0000074d: JUMP 0000074e: JUMPDEST 0000074f: CALLVALUE 00000750: DUP1 00000751: ISZERO 00000752: PUSH2 0x075a 00000755: JUMPI 00000756: PUSH1 0x00 00000758: DUP1 00000759: REVERT 0000075a: JUMPDEST 0000075b: POP 0000075c: PUSH2 0x03f0 0000075f: PUSH1 0x00 00000761: DUP2 00000762: JUMP 00000763: JUMPDEST 00000764: CALLVALUE 00000765: DUP1 00000766: ISZERO 00000767: PUSH2 0x076f 0000076a: JUMPI 0000076b: PUSH1 0x00 0000076d: DUP1 0000076e: REVERT 0000076f: JUMPDEST 00000770: POP 00000771: PUSH2 0x03dd 00000774: PUSH2 0x077e 00000777: CALLDATASIZE 00000778: PUSH1 0x04 0000077a: PUSH2 0x368f 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH2 0x198b 00000782: JUMP 00000783: JUMPDEST 00000784: CALLVALUE 00000785: DUP1 00000786: ISZERO 00000787: PUSH2 0x078f 0000078a: JUMPI 0000078b: PUSH1 0x00 0000078d: DUP1 0000078e: REVERT 0000078f: JUMPDEST 00000790: POP 00000791: PUSH2 0x03dd 00000794: PUSH2 0x079e 00000797: CALLDATASIZE 00000798: PUSH1 0x04 0000079a: PUSH2 0x3612 0000079d: JUMP 0000079e: JUMPDEST 0000079f: PUSH2 0x1a5d 000007a2: JUMP 000007a3: JUMPDEST 000007a4: CALLVALUE 000007a5: DUP1 000007a6: ISZERO 000007a7: PUSH2 0x07af 000007aa: JUMPI 000007ab: PUSH1 0x00 000007ad: DUP1 000007ae: REVERT 000007af: JUMPDEST 000007b0: POP 000007b1: PUSH2 0x03dd 000007b4: PUSH2 0x07be 000007b7: CALLDATASIZE 000007b8: PUSH1 0x04 000007ba: PUSH2 0x357e 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH2 0x1ae6 000007c2: JUMP 000007c3: JUMPDEST 000007c4: CALLVALUE 000007c5: DUP1 000007c6: ISZERO 000007c7: PUSH2 0x07cf 000007ca: JUMPI 000007cb: PUSH1 0x00 000007cd: DUP1 000007ce: REVERT 000007cf: JUMPDEST 000007d0: POP 000007d1: PUSH2 0x0378 000007d4: PUSH2 0x07de 000007d7: CALLDATASIZE 000007d8: PUSH1 0x04 000007da: PUSH2 0x3703 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH2 0x1c86 000007e2: JUMP 000007e3: JUMPDEST 000007e4: CALLVALUE 000007e5: DUP1 000007e6: ISZERO 000007e7: PUSH2 0x07ef 000007ea: JUMPI 000007eb: PUSH1 0x00 000007ed: DUP1 000007ee: REVERT 000007ef: JUMPDEST 000007f0: POP 000007f1: PUSH2 0x03f0 000007f4: PUSH2 0x07fe 000007f7: CALLDATASIZE 000007f8: PUSH1 0x04 000007fa: PUSH2 0x3703 000007fd: JUMP 000007fe: JUMPDEST 000007ff: PUSH2 0x1d97 00000802: JUMP 00000803: JUMPDEST 00000804: CALLVALUE 00000805: DUP1 00000806: ISZERO 00000807: PUSH2 0x080f 0000080a: JUMPI 0000080b: PUSH1 0x00 0000080d: DUP1 0000080e: REVERT 0000080f: JUMPDEST 00000810: POP 00000811: PUSH2 0x03dd 00000814: PUSH2 0x1dae 00000817: JUMP 00000818: JUMPDEST 00000819: CALLVALUE 0000081a: DUP1 0000081b: ISZERO 0000081c: PUSH2 0x0824 0000081f: JUMPI 00000820: PUSH1 0x00 00000822: DUP1 00000823: REVERT 00000824: JUMPDEST 00000825: POP 00000826: PUSH2 0x03f0 00000829: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6 0000084a: DUP2 0000084b: JUMP 0000084c: JUMPDEST 0000084d: CALLVALUE 0000084e: DUP1 0000084f: ISZERO 00000850: PUSH2 0x0858 00000853: JUMPI 00000854: PUSH1 0x00 00000856: DUP1 00000857: REVERT 00000858: JUMPDEST 00000859: POP 0000085a: PUSH2 0x03dd 0000085d: PUSH2 0x0867 00000860: CALLDATASIZE 00000861: PUSH1 0x04 00000863: PUSH2 0x371b 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH2 0x1e7e 0000086b: JUMP 0000086c: JUMPDEST 0000086d: CALLVALUE 0000086e: DUP1 0000086f: ISZERO 00000870: PUSH2 0x0878 00000873: JUMPI 00000874: PUSH1 0x00 00000876: DUP1 00000877: REVERT 00000878: JUMPDEST 00000879: POP 0000087a: PUSH2 0x03f0 0000087d: PUSH1 0x07 0000087f: SLOAD 00000880: DUP2 00000881: JUMP 00000882: JUMPDEST 00000883: CALLVALUE 00000884: DUP1 00000885: ISZERO 00000886: PUSH2 0x088e 00000889: JUMPI 0000088a: PUSH1 0x00 0000088c: DUP1 0000088d: REVERT 0000088e: JUMPDEST 0000088f: POP 00000890: PUSH2 0x03dd 00000893: PUSH2 0x1e88 00000896: JUMP 00000897: JUMPDEST 00000898: CALLVALUE 00000899: DUP1 0000089a: ISZERO 0000089b: PUSH2 0x08a3 0000089e: JUMPI 0000089f: PUSH1 0x00 000008a1: DUP1 000008a2: REVERT 000008a3: JUMPDEST 000008a4: POP 000008a5: PUSH2 0x034e 000008a8: PUSH2 0x08b2 000008ab: CALLDATASIZE 000008ac: PUSH1 0x04 000008ae: PUSH2 0x359a 000008b1: JUMP 000008b2: JUMPDEST 000008b3: PUSH1 0x01 000008b5: PUSH1 0x01 000008b7: PUSH1 0xa0 000008b9: SHL 000008ba: SUB 000008bb: SWAP2 000008bc: DUP3 000008bd: AND 000008be: PUSH1 0x00 000008c0: SWAP1 000008c1: DUP2 000008c2: MSTORE 000008c3: PUSH1 0x06 000008c5: PUSH1 0x20 000008c7: SWAP1 000008c8: DUP2 000008c9: MSTORE 000008ca: PUSH1 0x40 000008cc: DUP1 000008cd: DUP4 000008ce: KECCAK256 000008cf: SWAP4 000008d0: SWAP1 000008d1: SWAP5 000008d2: AND 000008d3: DUP3 000008d4: MSTORE 000008d5: SWAP2 000008d6: SWAP1 000008d7: SWAP2 000008d8: MSTORE 000008d9: KECCAK256 000008da: SLOAD 000008db: PUSH1 0xff 000008dd: AND 000008de: SWAP1 000008df: JUMP 000008e0: JUMPDEST 000008e1: CALLVALUE 000008e2: DUP1 000008e3: ISZERO 000008e4: PUSH2 0x08ec 000008e7: JUMPI 000008e8: PUSH1 0x00 000008ea: DUP1 000008eb: REVERT 000008ec: JUMPDEST 000008ed: POP 000008ee: PUSH1 0x0f 000008f0: SLOAD 000008f1: PUSH2 0x034e 000008f4: SWAP1 000008f5: PUSH1 0xff 000008f7: AND 000008f8: DUP2 000008f9: JUMP 000008fa: JUMPDEST 000008fb: CALLVALUE 000008fc: DUP1 000008fd: ISZERO 000008fe: PUSH2 0x0906 00000901: JUMPI 00000902: PUSH1 0x00 00000904: DUP1 00000905: REVERT 00000906: JUMPDEST 00000907: POP 00000908: PUSH2 0x03dd 0000090b: PUSH2 0x1ee4 0000090e: JUMP 0000090f: JUMPDEST 00000910: CALLVALUE 00000911: DUP1 00000912: ISZERO 00000913: PUSH2 0x091b 00000916: JUMPI 00000917: PUSH1 0x00 00000919: DUP1 0000091a: REVERT 0000091b: JUMPDEST 0000091c: POP 0000091d: PUSH2 0x03dd 00000920: PUSH2 0x092a 00000923: CALLDATASIZE 00000924: PUSH1 0x04 00000926: PUSH2 0x357e 00000929: JUMP 0000092a: JUMPDEST 0000092b: PUSH2 0x1f49 0000092e: JUMP 0000092f: JUMPDEST 00000930: CALLVALUE 00000931: DUP1 00000932: ISZERO 00000933: PUSH2 0x093b 00000936: JUMPI 00000937: PUSH1 0x00 00000939: DUP1 0000093a: REVERT 0000093b: JUMPDEST 0000093c: POP 0000093d: PUSH2 0x03dd 00000940: PUSH2 0x094a 00000943: CALLDATASIZE 00000944: PUSH1 0x04 00000946: PUSH2 0x3703 00000949: JUMP 0000094a: JUMPDEST 0000094b: PUSH2 0x2016 0000094e: JUMP 0000094f: JUMPDEST 00000950: CALLVALUE 00000951: DUP1 00000952: ISZERO 00000953: PUSH2 0x095b 00000956: JUMPI 00000957: PUSH1 0x00 00000959: DUP1 0000095a: REVERT 0000095b: JUMPDEST 0000095c: POP 0000095d: PUSH1 0x0d 0000095f: SLOAD 00000960: PUSH2 0x034e 00000963: SWAP1 00000964: PUSH1 0xff 00000966: AND 00000967: DUP2 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH1 0x00 0000096c: PUSH2 0x0974 0000096f: DUP3 00000970: PUSH2 0x2082 00000973: JUMP 00000974: JUMPDEST 00000975: SWAP1 00000976: POP 00000977: JUMPDEST 00000978: SWAP2 00000979: SWAP1 0000097a: POP 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH1 0x60 0000097f: PUSH1 0x01 00000981: DUP1 00000982: SLOAD 00000983: PUSH2 0x098b 00000986: SWAP1 00000987: PUSH2 0x3a71 0000098a: JUMP 0000098b: JUMPDEST 0000098c: DUP1 0000098d: PUSH1 0x1f 0000098f: ADD 00000990: PUSH1 0x20 00000992: DUP1 00000993: SWAP2 00000994: DIV 00000995: MUL 00000996: PUSH1 0x20 00000998: ADD 00000999: PUSH1 0x40 0000099b: MLOAD 0000099c: SWAP1 0000099d: DUP2 0000099e: ADD 0000099f: PUSH1 0x40 000009a1: MSTORE 000009a2: DUP1 000009a3: SWAP3 000009a4: SWAP2 000009a5: SWAP1 000009a6: DUP2 000009a7: DUP2 000009a8: MSTORE 000009a9: PUSH1 0x20 000009ab: ADD 000009ac: DUP3 000009ad: DUP1 000009ae: SLOAD 000009af: PUSH2 0x09b7 000009b2: SWAP1 000009b3: PUSH2 0x3a71 000009b6: JUMP 000009b7: JUMPDEST 000009b8: DUP1 000009b9: ISZERO 000009ba: PUSH2 0x0a04 000009bd: JUMPI 000009be: DUP1 000009bf: PUSH1 0x1f 000009c1: LT 000009c2: PUSH2 0x09d9 000009c5: JUMPI 000009c6: PUSH2 0x0100 000009c9: DUP1 000009ca: DUP4 000009cb: SLOAD 000009cc: DIV 000009cd: MUL 000009ce: DUP4 000009cf: MSTORE 000009d0: SWAP2 000009d1: PUSH1 0x20 000009d3: ADD 000009d4: SWAP2 000009d5: PUSH2 0x0a04 000009d8: JUMP 000009d9: JUMPDEST 000009da: DUP3 000009db: ADD 000009dc: SWAP2 000009dd: SWAP1 000009de: PUSH1 0x00 000009e0: MSTORE 000009e1: PUSH1 0x20 000009e3: PUSH1 0x00 000009e5: KECCAK256 000009e6: SWAP1 000009e7: JUMPDEST 000009e8: DUP2 000009e9: SLOAD 000009ea: DUP2 000009eb: MSTORE 000009ec: SWAP1 000009ed: PUSH1 0x01 000009ef: ADD 000009f0: SWAP1 000009f1: PUSH1 0x20 000009f3: ADD 000009f4: DUP1 000009f5: DUP4 000009f6: GT 000009f7: PUSH2 0x09e7 000009fa: JUMPI 000009fb: DUP3 000009fc: SWAP1 000009fd: SUB 000009fe: PUSH1 0x1f 00000a00: AND 00000a01: DUP3 00000a02: ADD 00000a03: SWAP2 00000a04: JUMPDEST 00000a05: POP 00000a06: POP 00000a07: POP 00000a08: POP 00000a09: POP 00000a0a: SWAP1 00000a0b: POP 00000a0c: SWAP1 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: PUSH1 0x00 00000a11: PUSH2 0x0a1b 00000a14: DUP3 00000a15: PUSH1 0x00 00000a17: SLOAD 00000a18: GT 00000a19: SWAP1 00000a1a: JUMP 00000a1b: JUMPDEST 00000a1c: PUSH2 0x0a92 00000a1f: JUMPI 00000a20: PUSH1 0x40 00000a22: MLOAD 00000a23: PUSH3 0x461bcd 00000a27: PUSH1 0xe5 00000a29: SHL 00000a2a: DUP2 00000a2b: MSTORE 00000a2c: PUSH1 0x20 00000a2e: PUSH1 0x04 00000a30: DUP3 00000a31: ADD 00000a32: MSTORE 00000a33: PUSH1 0x2d 00000a35: PUSH1 0x24 00000a37: DUP3 00000a38: ADD 00000a39: MSTORE 00000a3a: PUSH32 0x455243373231413a20617070726f76656420717565727920666f72206e6f6e65 00000a5b: PUSH1 0x44 00000a5d: DUP3 00000a5e: ADD 00000a5f: MSTORE 00000a60: PUSH32 0x78697374656e7420746f6b656e00000000000000000000000000000000000000 00000a81: PUSH1 0x64 00000a83: DUP3 00000a84: ADD 00000a85: MSTORE 00000a86: PUSH1 0x84 00000a88: ADD 00000a89: JUMPDEST 00000a8a: PUSH1 0x40 00000a8c: MLOAD 00000a8d: DUP1 00000a8e: SWAP2 00000a8f: SUB 00000a90: SWAP1 00000a91: REVERT 00000a92: JUMPDEST 00000a93: POP 00000a94: PUSH1 0x00 00000a96: SWAP1 00000a97: DUP2 00000a98: MSTORE 00000a99: PUSH1 0x05 00000a9b: PUSH1 0x20 00000a9d: MSTORE 00000a9e: PUSH1 0x40 00000aa0: SWAP1 00000aa1: KECCAK256 00000aa2: SLOAD 00000aa3: PUSH1 0x01 00000aa5: PUSH1 0x01 00000aa7: PUSH1 0xa0 00000aa9: SHL 00000aaa: SUB 00000aab: AND 00000aac: SWAP1 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x00 00000ab1: PUSH2 0x0ab9 00000ab4: DUP3 00000ab5: PUSH2 0x14b0 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: SWAP1 00000abb: POP 00000abc: DUP1 00000abd: PUSH1 0x01 00000abf: PUSH1 0x01 00000ac1: PUSH1 0xa0 00000ac3: SHL 00000ac4: SUB 00000ac5: AND 00000ac6: DUP4 00000ac7: PUSH1 0x01 00000ac9: PUSH1 0x01 00000acb: PUSH1 0xa0 00000acd: SHL 00000ace: SUB 00000acf: AND 00000ad0: EQ 00000ad1: ISZERO 00000ad2: PUSH2 0x0b43 00000ad5: JUMPI 00000ad6: PUSH1 0x40 00000ad8: MLOAD 00000ad9: PUSH3 0x461bcd 00000add: PUSH1 0xe5 00000adf: SHL 00000ae0: DUP2 00000ae1: MSTORE 00000ae2: PUSH1 0x20 00000ae4: PUSH1 0x04 00000ae6: DUP3 00000ae7: ADD 00000ae8: MSTORE 00000ae9: PUSH1 0x22 00000aeb: PUSH1 0x24 00000aed: DUP3 00000aee: ADD 00000aef: MSTORE 00000af0: PUSH32 0x455243373231413a20617070726f76616c20746f2063757272656e74206f776e 00000b11: PUSH1 0x44 00000b13: DUP3 00000b14: ADD 00000b15: MSTORE 00000b16: PUSH32 0x6572000000000000000000000000000000000000000000000000000000000000 00000b37: PUSH1 0x64 00000b39: DUP3 00000b3a: ADD 00000b3b: MSTORE 00000b3c: PUSH1 0x84 00000b3e: ADD 00000b3f: PUSH2 0x0a89 00000b42: JUMP 00000b43: JUMPDEST 00000b44: CALLER 00000b45: PUSH1 0x01 00000b47: PUSH1 0x01 00000b49: PUSH1 0xa0 00000b4b: SHL 00000b4c: SUB 00000b4d: DUP3 00000b4e: AND 00000b4f: EQ 00000b50: DUP1 00000b51: PUSH2 0x0b5f 00000b54: JUMPI 00000b55: POP 00000b56: PUSH2 0x0b5f 00000b59: DUP2 00000b5a: CALLER 00000b5b: PUSH2 0x08b2 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH2 0x0bd1 00000b63: JUMPI 00000b64: PUSH1 0x40 00000b66: MLOAD 00000b67: PUSH3 0x461bcd 00000b6b: PUSH1 0xe5 00000b6d: SHL 00000b6e: DUP2 00000b6f: MSTORE 00000b70: PUSH1 0x20 00000b72: PUSH1 0x04 00000b74: DUP3 00000b75: ADD 00000b76: MSTORE 00000b77: PUSH1 0x39 00000b79: PUSH1 0x24 00000b7b: DUP3 00000b7c: ADD 00000b7d: MSTORE 00000b7e: PUSH32 0x455243373231413a20617070726f76652063616c6c6572206973206e6f74206f 00000b9f: PUSH1 0x44 00000ba1: DUP3 00000ba2: ADD 00000ba3: MSTORE 00000ba4: PUSH32 0x776e6572206e6f7220617070726f76656420666f7220616c6c00000000000000 00000bc5: PUSH1 0x64 00000bc7: DUP3 00000bc8: ADD 00000bc9: MSTORE 00000bca: PUSH1 0x84 00000bcc: ADD 00000bcd: PUSH2 0x0a89 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: PUSH2 0x0bdc 00000bd5: DUP4 00000bd6: DUP4 00000bd7: DUP4 00000bd8: PUSH2 0x20c0 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: POP 00000bde: POP 00000bdf: POP 00000be0: JUMP 00000be1: JUMPDEST 00000be2: PUSH2 0x0bdc 00000be5: DUP4 00000be6: DUP4 00000be7: DUP4 00000be8: PUSH2 0x211c 00000beb: JUMP 00000bec: JUMPDEST 00000bed: PUSH2 0x0bf6 00000bf0: DUP3 00000bf1: DUP3 00000bf2: PUSH2 0x2501 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: PUSH1 0x00 00000bf9: DUP3 00000bfa: DUP2 00000bfb: MSTORE 00000bfc: PUSH1 0x09 00000bfe: PUSH1 0x20 00000c00: MSTORE 00000c01: PUSH1 0x40 00000c03: SWAP1 00000c04: KECCAK256 00000c05: PUSH2 0x0bdc 00000c08: SWAP1 00000c09: DUP3 00000c0a: PUSH2 0x206d 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: PUSH1 0x00 00000c11: PUSH2 0x0c19 00000c14: DUP4 00000c15: PUSH2 0x14c2 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: DUP3 00000c1b: LT 00000c1c: PUSH2 0x0c8d 00000c1f: JUMPI 00000c20: PUSH1 0x40 00000c22: MLOAD 00000c23: PUSH3 0x461bcd 00000c27: PUSH1 0xe5 00000c29: SHL 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x20 00000c2e: PUSH1 0x04 00000c30: DUP3 00000c31: ADD 00000c32: MSTORE 00000c33: PUSH1 0x22 00000c35: PUSH1 0x24 00000c37: DUP3 00000c38: ADD 00000c39: MSTORE 00000c3a: PUSH32 0x455243373231413a206f776e657220696e646578206f7574206f6620626f756e 00000c5b: PUSH1 0x44 00000c5d: DUP3 00000c5e: ADD 00000c5f: MSTORE 00000c60: PUSH32 0x6473000000000000000000000000000000000000000000000000000000000000 00000c81: PUSH1 0x64 00000c83: DUP3 00000c84: ADD 00000c85: MSTORE 00000c86: PUSH1 0x84 00000c88: ADD 00000c89: PUSH2 0x0a89 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: PUSH1 0x00 00000c90: DUP1 00000c91: SLOAD 00000c92: SWAP1 00000c93: DUP1 00000c94: DUP1 00000c95: JUMPDEST 00000c96: DUP4 00000c97: DUP2 00000c98: LT 00000c99: ISZERO 00000c9a: PUSH2 0x0d37 00000c9d: JUMPI 00000c9e: PUSH1 0x00 00000ca0: DUP2 00000ca1: DUP2 00000ca2: MSTORE 00000ca3: PUSH1 0x03 00000ca5: PUSH1 0x20 00000ca7: SWAP1 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x40 00000cac: SWAP2 00000cad: DUP3 00000cae: SWAP1 00000caf: KECCAK256 00000cb0: DUP3 00000cb1: MLOAD 00000cb2: DUP1 00000cb3: DUP5 00000cb4: ADD 00000cb5: SWAP1 00000cb6: SWAP4 00000cb7: MSTORE 00000cb8: SLOAD 00000cb9: PUSH1 0x01 00000cbb: PUSH1 0x01 00000cbd: PUSH1 0xa0 00000cbf: SHL 00000cc0: SUB 00000cc1: DUP2 00000cc2: AND 00000cc3: DUP1 00000cc4: DUP5 00000cc5: MSTORE 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0xa0 00000cca: SHL 00000ccb: SWAP1 00000ccc: SWAP2 00000ccd: DIV 00000cce: PUSH8 0xffffffffffffffff 00000cd7: AND 00000cd8: SWAP2 00000cd9: DUP4 00000cda: ADD 00000cdb: SWAP2 00000cdc: SWAP1 00000cdd: SWAP2 00000cde: MSTORE 00000cdf: ISZERO 00000ce0: PUSH2 0x0ce8 00000ce3: JUMPI 00000ce4: DUP1 00000ce5: MLOAD 00000ce6: SWAP3 00000ce7: POP 00000ce8: JUMPDEST 00000ce9: DUP8 00000cea: PUSH1 0x01 00000cec: PUSH1 0x01 00000cee: PUSH1 0xa0 00000cf0: SHL 00000cf1: SUB 00000cf2: AND 00000cf3: DUP4 00000cf4: PUSH1 0x01 00000cf6: PUSH1 0x01 00000cf8: PUSH1 0xa0 00000cfa: SHL 00000cfb: SUB 00000cfc: AND 00000cfd: EQ 00000cfe: ISZERO 00000cff: PUSH2 0x0d24 00000d02: JUMPI 00000d03: DUP7 00000d04: DUP5 00000d05: EQ 00000d06: ISZERO 00000d07: PUSH2 0x0d16 00000d0a: JUMPI 00000d0b: POP 00000d0c: SWAP4 00000d0d: POP 00000d0e: PUSH2 0x0da6 00000d11: SWAP3 00000d12: POP 00000d13: POP 00000d14: POP 00000d15: JUMP 00000d16: JUMPDEST 00000d17: DUP4 00000d18: PUSH2 0x0d20 00000d1b: DUP2 00000d1c: PUSH2 0x3aac 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: SWAP5 00000d22: POP 00000d23: POP 00000d24: JUMPDEST 00000d25: POP 00000d26: DUP1 00000d27: PUSH2 0x0d2f 00000d2a: DUP2 00000d2b: PUSH2 0x3aac 00000d2e: JUMP 00000d2f: JUMPDEST 00000d30: SWAP2 00000d31: POP 00000d32: POP 00000d33: PUSH2 0x0c95 00000d36: JUMP 00000d37: JUMPDEST 00000d38: POP 00000d39: PUSH1 0x40 00000d3b: MLOAD 00000d3c: PUSH3 0x461bcd 00000d40: PUSH1 0xe5 00000d42: SHL 00000d43: DUP2 00000d44: MSTORE 00000d45: PUSH1 0x20 00000d47: PUSH1 0x04 00000d49: DUP3 00000d4a: ADD 00000d4b: MSTORE 00000d4c: PUSH1 0x2e 00000d4e: PUSH1 0x24 00000d50: DUP3 00000d51: ADD 00000d52: MSTORE 00000d53: PUSH32 0x455243373231413a20756e61626c6520746f2067657420746f6b656e206f6620 00000d74: PUSH1 0x44 00000d76: DUP3 00000d77: ADD 00000d78: MSTORE 00000d79: PUSH32 0x6f776e657220627920696e646578000000000000000000000000000000000000 00000d9a: PUSH1 0x64 00000d9c: DUP3 00000d9d: ADD 00000d9e: MSTORE 00000d9f: PUSH1 0x84 00000da1: ADD 00000da2: PUSH2 0x0a89 00000da5: JUMP 00000da6: JUMPDEST 00000da7: SWAP3 00000da8: SWAP2 00000da9: POP 00000daa: POP 00000dab: JUMP 00000dac: JUMPDEST 00000dad: PUSH1 0x0a 00000daf: SLOAD 00000db0: PUSH1 0x01 00000db2: PUSH1 0x01 00000db4: PUSH1 0xa0 00000db6: SHL 00000db7: SUB 00000db8: AND 00000db9: CALLER 00000dba: EQ 00000dbb: PUSH2 0x0df4 00000dbe: JUMPI 00000dbf: PUSH1 0x40 00000dc1: MLOAD 00000dc2: PUSH3 0x461bcd 00000dc6: PUSH1 0xe5 00000dc8: SHL 00000dc9: DUP2 00000dca: MSTORE 00000dcb: PUSH1 0x20 00000dcd: PUSH1 0x04 00000dcf: DUP3 00000dd0: ADD 00000dd1: DUP2 00000dd2: SWAP1 00000dd3: MSTORE 00000dd4: PUSH1 0x24 00000dd6: DUP3 00000dd7: ADD 00000dd8: MSTORE 00000dd9: PUSH1 0x00 00000ddb: DUP1 00000ddc: MLOAD 00000ddd: PUSH1 0x20 00000ddf: PUSH2 0x3b2d 00000de2: DUP4 00000de3: CODECOPY 00000de4: DUP2 00000de5: MLOAD 00000de6: SWAP2 00000de7: MSTORE 00000de8: PUSH1 0x44 00000dea: DUP3 00000deb: ADD 00000dec: MSTORE 00000ded: PUSH1 0x64 00000def: ADD 00000df0: PUSH2 0x0a89 00000df3: JUMP 00000df4: JUMPDEST 00000df5: PUSH1 0x12 00000df7: SSTORE 00000df8: JUMP 00000df9: JUMPDEST 00000dfa: PUSH2 0x0e03 00000dfd: DUP3 00000dfe: DUP3 00000dff: PUSH2 0x2527 00000e02: JUMP 00000e03: JUMPDEST 00000e04: PUSH1 0x00 00000e06: DUP3 00000e07: DUP2 00000e08: MSTORE 00000e09: PUSH1 0x09 00000e0b: PUSH1 0x20 00000e0d: MSTORE 00000e0e: PUSH1 0x40 00000e10: SWAP1 00000e11: KECCAK256 00000e12: PUSH2 0x0bdc 00000e15: SWAP1 00000e16: DUP3 00000e17: PUSH2 0x25af 00000e1a: JUMP 00000e1b: JUMPDEST 00000e1c: PUSH2 0x0bdc 00000e1f: DUP4 00000e20: DUP4 00000e21: DUP4 00000e22: PUSH1 0x40 00000e24: MLOAD 00000e25: DUP1 00000e26: PUSH1 0x20 00000e28: ADD 00000e29: PUSH1 0x40 00000e2b: MSTORE 00000e2c: DUP1 00000e2d: PUSH1 0x00 00000e2f: DUP2 00000e30: MSTORE 00000e31: POP 00000e32: PUSH2 0x1a5d 00000e35: JUMP 00000e36: JUMPDEST 00000e37: PUSH1 0x00 00000e39: DUP1 00000e3a: SLOAD 00000e3b: DUP3 00000e3c: LT 00000e3d: PUSH2 0x0eae 00000e40: JUMPI 00000e41: PUSH1 0x40 00000e43: MLOAD 00000e44: PUSH3 0x461bcd 00000e48: PUSH1 0xe5 00000e4a: SHL 00000e4b: DUP2 00000e4c: MSTORE 00000e4d: PUSH1 0x20 00000e4f: PUSH1 0x04 00000e51: DUP3 00000e52: ADD 00000e53: MSTORE 00000e54: PUSH1 0x23 00000e56: PUSH1 0x24 00000e58: DUP3 00000e59: ADD 00000e5a: MSTORE 00000e5b: PUSH32 0x455243373231413a20676c6f62616c20696e646578206f7574206f6620626f75 00000e7c: PUSH1 0x44 00000e7e: DUP3 00000e7f: ADD 00000e80: MSTORE 00000e81: PUSH32 0x6e64730000000000000000000000000000000000000000000000000000000000 00000ea2: PUSH1 0x64 00000ea4: DUP3 00000ea5: ADD 00000ea6: MSTORE 00000ea7: PUSH1 0x84 00000ea9: ADD 00000eaa: PUSH2 0x0a89 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: POP 00000eb0: SWAP1 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: PUSH1 0x0f 00000eb5: SLOAD 00000eb6: PUSH2 0x0100 00000eb9: SWAP1 00000eba: DIV 00000ebb: PUSH1 0xff 00000ebd: AND 00000ebe: PUSH2 0x0f1a 00000ec1: JUMPI 00000ec2: PUSH1 0x40 00000ec4: MLOAD 00000ec5: PUSH3 0x461bcd 00000ec9: PUSH1 0xe5 00000ecb: SHL 00000ecc: DUP2 00000ecd: MSTORE 00000ece: PUSH1 0x20 00000ed0: PUSH1 0x04 00000ed2: DUP3 00000ed3: ADD 00000ed4: MSTORE 00000ed5: PUSH1 0x28 00000ed7: PUSH1 0x24 00000ed9: DUP3 00000eda: ADD 00000edb: MSTORE 00000edc: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2053616c65206973206e6f 00000efd: PUSH1 0x44 00000eff: DUP3 00000f00: ADD 00000f01: MSTORE 00000f02: PUSH8 0x7420616374697665 00000f0b: PUSH1 0xc0 00000f0d: SHL 00000f0e: PUSH1 0x64 00000f10: DUP3 00000f11: ADD 00000f12: MSTORE 00000f13: PUSH1 0x84 00000f15: ADD 00000f16: PUSH2 0x0a89 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: PUSH1 0x0b 00000f1d: SLOAD 00000f1e: PUSH1 0x40 00000f20: MLOAD 00000f21: PUSH4 0x70a08231 00000f26: PUSH1 0xe0 00000f28: SHL 00000f29: DUP2 00000f2a: MSTORE 00000f2b: CALLER 00000f2c: PUSH1 0x04 00000f2e: DUP3 00000f2f: ADD 00000f30: MSTORE 00000f31: PUSH1 0x00 00000f33: SWAP2 00000f34: PUSH1 0x01 00000f36: PUSH1 0x01 00000f38: PUSH1 0xa0 00000f3a: SHL 00000f3b: SUB 00000f3c: AND 00000f3d: SWAP1 00000f3e: PUSH4 0x70a08231 00000f43: SWAP1 00000f44: PUSH1 0x24 00000f46: ADD 00000f47: PUSH1 0x20 00000f49: PUSH1 0x40 00000f4b: MLOAD 00000f4c: DUP1 00000f4d: DUP4 00000f4e: SUB 00000f4f: DUP2 00000f50: DUP7 00000f51: DUP1 00000f52: EXTCODESIZE 00000f53: ISZERO 00000f54: DUP1 00000f55: ISZERO 00000f56: PUSH2 0x0f5e 00000f59: JUMPI 00000f5a: PUSH1 0x00 00000f5c: DUP1 00000f5d: REVERT 00000f5e: JUMPDEST 00000f5f: POP 00000f60: GAS 00000f61: STATICCALL 00000f62: ISZERO 00000f63: DUP1 00000f64: ISZERO 00000f65: PUSH2 0x0f72 00000f68: JUMPI 00000f69: RETURNDATASIZE 00000f6a: PUSH1 0x00 00000f6c: DUP1 00000f6d: RETURNDATACOPY 00000f6e: RETURNDATASIZE 00000f6f: PUSH1 0x00 00000f71: REVERT 00000f72: JUMPDEST 00000f73: POP 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: PUSH1 0x40 00000f79: MLOAD 00000f7a: RETURNDATASIZE 00000f7b: PUSH1 0x1f 00000f7d: NOT 00000f7e: PUSH1 0x1f 00000f80: DUP3 00000f81: ADD 00000f82: AND 00000f83: DUP3 00000f84: ADD 00000f85: DUP1 00000f86: PUSH1 0x40 00000f88: MSTORE 00000f89: POP 00000f8a: DUP2 00000f8b: ADD 00000f8c: SWAP1 00000f8d: PUSH2 0x0f96 00000f90: SWAP2 00000f91: SWAP1 00000f92: PUSH2 0x37de 00000f95: JUMP 00000f96: JUMPDEST 00000f97: GT 00000f98: PUSH2 0x1009 00000f9b: JUMPI 00000f9c: PUSH1 0x40 00000f9e: MLOAD 00000f9f: PUSH3 0x461bcd 00000fa3: PUSH1 0xe5 00000fa5: SHL 00000fa6: DUP2 00000fa7: MSTORE 00000fa8: PUSH1 0x20 00000faa: PUSH1 0x04 00000fac: DUP3 00000fad: ADD 00000fae: MSTORE 00000faf: PUSH1 0x3c 00000fb1: PUSH1 0x24 00000fb3: DUP3 00000fb4: ADD 00000fb5: MSTORE 00000fb6: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a205468652070726573616c 00000fd7: PUSH1 0x44 00000fd9: DUP3 00000fda: ADD 00000fdb: MSTORE 00000fdc: PUSH32 0x65206973206f6e6c7920666f7220476c69746368204f776e6572732e00000000 00000ffd: PUSH1 0x64 00000fff: DUP3 00001000: ADD 00001001: MSTORE 00001002: PUSH1 0x84 00001004: ADD 00001005: PUSH2 0x0a89 00001008: JUMP 00001009: JUMPDEST 0000100a: PUSH1 0x0c 0000100c: SLOAD 0000100d: DUP2 0000100e: PUSH2 0x1016 00001011: PUSH1 0x00 00001013: SLOAD 00001014: SWAP1 00001015: JUMP 00001016: JUMPDEST 00001017: PUSH2 0x1020 0000101a: SWAP2 0000101b: SWAP1 0000101c: PUSH2 0x39b8 0000101f: JUMP 00001020: JUMPDEST 00001021: GT 00001022: ISZERO 00001023: PUSH2 0x1094 00001026: JUMPI 00001027: PUSH1 0x40 00001029: MLOAD 0000102a: PUSH3 0x461bcd 0000102e: PUSH1 0xe5 00001030: SHL 00001031: DUP2 00001032: MSTORE 00001033: PUSH1 0x20 00001035: PUSH1 0x04 00001037: DUP3 00001038: ADD 00001039: MSTORE 0000103a: PUSH1 0x2f 0000103c: PUSH1 0x24 0000103e: DUP3 0000103f: ADD 00001040: MSTORE 00001041: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2050757263686173652077 00001062: PUSH1 0x44 00001064: DUP3 00001065: ADD 00001066: MSTORE 00001067: PUSH32 0x6f756c6420657863656564206361700000000000000000000000000000000000 00001088: PUSH1 0x64 0000108a: DUP3 0000108b: ADD 0000108c: MSTORE 0000108d: PUSH1 0x84 0000108f: ADD 00001090: PUSH2 0x0a89 00001093: JUMP 00001094: JUMPDEST 00001095: PUSH1 0x11 00001097: SLOAD 00001098: DUP2 00001099: GT 0000109a: ISZERO 0000109b: PUSH2 0x110c 0000109e: JUMPI 0000109f: PUSH1 0x40 000010a1: MLOAD 000010a2: PUSH3 0x461bcd 000010a6: PUSH1 0xe5 000010a8: SHL 000010a9: DUP2 000010aa: MSTORE 000010ab: PUSH1 0x20 000010ad: PUSH1 0x04 000010af: DUP3 000010b0: ADD 000010b1: MSTORE 000010b2: PUSH1 0x31 000010b4: PUSH1 0x24 000010b6: DUP3 000010b7: ADD 000010b8: MSTORE 000010b9: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a20416d6f756e7420657863 000010da: PUSH1 0x44 000010dc: DUP3 000010dd: ADD 000010de: MSTORE 000010df: PUSH32 0x65656473206d617820706572206d696e74000000000000000000000000000000 00001100: PUSH1 0x64 00001102: DUP3 00001103: ADD 00001104: MSTORE 00001105: PUSH1 0x84 00001107: ADD 00001108: PUSH2 0x0a89 0000110b: JUMP 0000110c: JUMPDEST 0000110d: PUSH2 0x1115 00001110: DUP2 00001111: PUSH2 0x25c4 00001114: JUMP 00001115: JUMPDEST 00001116: POP 00001117: JUMP 00001118: JUMPDEST 00001119: PUSH1 0x0a 0000111b: SLOAD 0000111c: PUSH1 0x01 0000111e: PUSH1 0x01 00001120: PUSH1 0xa0 00001122: SHL 00001123: SUB 00001124: AND 00001125: CALLER 00001126: EQ 00001127: PUSH2 0x1160 0000112a: JUMPI 0000112b: PUSH1 0x40 0000112d: MLOAD 0000112e: PUSH3 0x461bcd 00001132: PUSH1 0xe5 00001134: SHL 00001135: DUP2 00001136: MSTORE 00001137: PUSH1 0x20 00001139: PUSH1 0x04 0000113b: DUP3 0000113c: ADD 0000113d: DUP2 0000113e: SWAP1 0000113f: MSTORE 00001140: PUSH1 0x24 00001142: DUP3 00001143: ADD 00001144: MSTORE 00001145: PUSH1 0x00 00001147: DUP1 00001148: MLOAD 00001149: PUSH1 0x20 0000114b: PUSH2 0x3b2d 0000114e: DUP4 0000114f: CODECOPY 00001150: DUP2 00001151: MLOAD 00001152: SWAP2 00001153: MSTORE 00001154: PUSH1 0x44 00001156: DUP3 00001157: ADD 00001158: MSTORE 00001159: PUSH1 0x64 0000115b: ADD 0000115c: PUSH2 0x0a89 0000115f: JUMP 00001160: JUMPDEST 00001161: PUSH1 0x01 00001163: PUSH1 0x01 00001165: PUSH1 0xa0 00001167: SHL 00001168: SUB 00001169: DUP3 0000116a: AND 0000116b: PUSH2 0x11dc 0000116e: JUMPI 0000116f: PUSH1 0x40 00001171: MLOAD 00001172: PUSH3 0x461bcd 00001176: PUSH1 0xe5 00001178: SHL 00001179: DUP2 0000117a: MSTORE 0000117b: PUSH1 0x20 0000117d: PUSH1 0x04 0000117f: DUP3 00001180: ADD 00001181: MSTORE 00001182: PUSH1 0x32 00001184: PUSH1 0x24 00001186: DUP3 00001187: ADD 00001188: MSTORE 00001189: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2043616e6e6f74206d696e 000011aa: PUSH1 0x44 000011ac: DUP3 000011ad: ADD 000011ae: MSTORE 000011af: PUSH32 0x7420746f207a65726f20616464726573732e0000000000000000000000000000 000011d0: PUSH1 0x64 000011d2: DUP3 000011d3: ADD 000011d4: MSTORE 000011d5: PUSH1 0x84 000011d7: ADD 000011d8: PUSH2 0x0a89 000011db: JUMP 000011dc: JUMPDEST 000011dd: PUSH1 0x0c 000011df: SLOAD 000011e0: DUP2 000011e1: PUSH2 0x11e9 000011e4: PUSH1 0x00 000011e6: SLOAD 000011e7: SWAP1 000011e8: JUMP 000011e9: JUMPDEST 000011ea: PUSH2 0x11f3 000011ed: SWAP2 000011ee: SWAP1 000011ef: PUSH2 0x39b8 000011f2: JUMP 000011f3: JUMPDEST 000011f4: GT 000011f5: ISZERO 000011f6: PUSH2 0x1267 000011f9: JUMPI 000011fa: PUSH1 0x40 000011fc: MLOAD 000011fd: PUSH3 0x461bcd 00001201: PUSH1 0xe5 00001203: SHL 00001204: DUP2 00001205: MSTORE 00001206: PUSH1 0x20 00001208: PUSH1 0x04 0000120a: DUP3 0000120b: ADD 0000120c: MSTORE 0000120d: PUSH1 0x2e 0000120f: PUSH1 0x24 00001211: DUP3 00001212: ADD 00001213: MSTORE 00001214: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a204d696e74696e6720776f 00001235: PUSH1 0x44 00001237: DUP3 00001238: ADD 00001239: MSTORE 0000123a: PUSH32 0x756c642065786365656420636170000000000000000000000000000000000000 0000125b: PUSH1 0x64 0000125d: DUP3 0000125e: ADD 0000125f: MSTORE 00001260: PUSH1 0x84 00001262: ADD 00001263: PUSH2 0x0a89 00001266: JUMP 00001267: JUMPDEST 00001268: PUSH2 0x1271 0000126b: DUP3 0000126c: DUP3 0000126d: PUSH2 0x264d 00001270: JUMP 00001271: JUMPDEST 00001272: POP 00001273: POP 00001274: JUMP 00001275: JUMPDEST 00001276: PUSH1 0x0a 00001278: SLOAD 00001279: PUSH1 0x01 0000127b: PUSH1 0x01 0000127d: PUSH1 0xa0 0000127f: SHL 00001280: SUB 00001281: AND 00001282: CALLER 00001283: EQ 00001284: PUSH2 0x12bd 00001287: JUMPI 00001288: PUSH1 0x40 0000128a: MLOAD 0000128b: PUSH3 0x461bcd 0000128f: PUSH1 0xe5 00001291: SHL 00001292: DUP2 00001293: MSTORE 00001294: PUSH1 0x20 00001296: PUSH1 0x04 00001298: DUP3 00001299: ADD 0000129a: DUP2 0000129b: SWAP1 0000129c: MSTORE 0000129d: PUSH1 0x24 0000129f: DUP3 000012a0: ADD 000012a1: MSTORE 000012a2: PUSH1 0x00 000012a4: DUP1 000012a5: MLOAD 000012a6: PUSH1 0x20 000012a8: PUSH2 0x3b2d 000012ab: DUP4 000012ac: CODECOPY 000012ad: DUP2 000012ae: MLOAD 000012af: SWAP2 000012b0: MSTORE 000012b1: PUSH1 0x44 000012b3: DUP3 000012b4: ADD 000012b5: MSTORE 000012b6: PUSH1 0x64 000012b8: ADD 000012b9: PUSH2 0x0a89 000012bc: JUMP 000012bd: JUMPDEST 000012be: PUSH1 0x01 000012c0: PUSH1 0x01 000012c2: PUSH1 0xa0 000012c4: SHL 000012c5: SUB 000012c6: DUP2 000012c7: AND 000012c8: PUSH2 0x1313 000012cb: JUMPI 000012cc: PUSH1 0x40 000012ce: MLOAD 000012cf: PUSH3 0x461bcd 000012d3: PUSH1 0xe5 000012d5: SHL 000012d6: DUP2 000012d7: MSTORE 000012d8: PUSH1 0x20 000012da: PUSH1 0x04 000012dc: DUP3 000012dd: ADD 000012de: DUP2 000012df: SWAP1 000012e0: MSTORE 000012e1: PUSH1 0x24 000012e3: DUP3 000012e4: ADD 000012e5: MSTORE 000012e6: PUSH32 0x43616e6e6f7420776974686472617720746f2074686520302061646472657373 00001307: PUSH1 0x44 00001309: DUP3 0000130a: ADD 0000130b: MSTORE 0000130c: PUSH1 0x64 0000130e: ADD 0000130f: PUSH2 0x0a89 00001312: JUMP 00001313: JUMPDEST 00001314: PUSH1 0x40 00001316: MLOAD 00001317: SELFBALANCE 00001318: SWAP1 00001319: PUSH1 0x01 0000131b: PUSH1 0x01 0000131d: PUSH1 0xa0 0000131f: SHL 00001320: SUB 00001321: DUP4 00001322: AND 00001323: SWAP1 00001324: DUP3 00001325: ISZERO 00001326: PUSH2 0x08fc 00001329: MUL 0000132a: SWAP1 0000132b: DUP4 0000132c: SWAP1 0000132d: PUSH1 0x00 0000132f: DUP2 00001330: DUP2 00001331: DUP2 00001332: DUP6 00001333: DUP9 00001334: DUP9 00001335: CALL 00001336: SWAP4 00001337: POP 00001338: POP 00001339: POP 0000133a: POP 0000133b: ISZERO 0000133c: DUP1 0000133d: ISZERO 0000133e: PUSH2 0x0bdc 00001341: JUMPI 00001342: RETURNDATASIZE 00001343: PUSH1 0x00 00001345: DUP1 00001346: RETURNDATACOPY 00001347: RETURNDATASIZE 00001348: PUSH1 0x00 0000134a: REVERT 0000134b: JUMPDEST 0000134c: PUSH1 0x0a 0000134e: SLOAD 0000134f: PUSH1 0x01 00001351: PUSH1 0x01 00001353: PUSH1 0xa0 00001355: SHL 00001356: SUB 00001357: AND 00001358: CALLER 00001359: EQ 0000135a: PUSH2 0x1393 0000135d: JUMPI 0000135e: PUSH1 0x40 00001360: MLOAD 00001361: PUSH3 0x461bcd 00001365: PUSH1 0xe5 00001367: SHL 00001368: DUP2 00001369: MSTORE 0000136a: PUSH1 0x20 0000136c: PUSH1 0x04 0000136e: DUP3 0000136f: ADD 00001370: DUP2 00001371: SWAP1 00001372: MSTORE 00001373: PUSH1 0x24 00001375: DUP3 00001376: ADD 00001377: MSTORE 00001378: PUSH1 0x00 0000137a: DUP1 0000137b: MLOAD 0000137c: PUSH1 0x20 0000137e: PUSH2 0x3b2d 00001381: DUP4 00001382: CODECOPY 00001383: DUP2 00001384: MLOAD 00001385: SWAP2 00001386: MSTORE 00001387: PUSH1 0x44 00001389: DUP3 0000138a: ADD 0000138b: MSTORE 0000138c: PUSH1 0x64 0000138e: ADD 0000138f: PUSH2 0x0a89 00001392: JUMP 00001393: JUMPDEST 00001394: PUSH1 0x01 00001396: PUSH1 0x01 00001398: PUSH1 0xa0 0000139a: SHL 0000139b: SUB 0000139c: DUP3 0000139d: AND 0000139e: PUSH2 0x140f 000013a1: JUMPI 000013a2: PUSH1 0x40 000013a4: MLOAD 000013a5: PUSH3 0x461bcd 000013a9: PUSH1 0xe5 000013ab: SHL 000013ac: DUP2 000013ad: MSTORE 000013ae: PUSH1 0x20 000013b0: PUSH1 0x04 000013b2: DUP3 000013b3: ADD 000013b4: MSTORE 000013b5: PUSH1 0x27 000013b7: PUSH1 0x24 000013b9: DUP3 000013ba: ADD 000013bb: MSTORE 000013bc: PUSH32 0x43616e6e6f7420776974686472617720746f6b656e7320746f20746865203020 000013dd: PUSH1 0x44 000013df: DUP3 000013e0: ADD 000013e1: MSTORE 000013e2: PUSH32 0x6164647265737300000000000000000000000000000000000000000000000000 00001403: PUSH1 0x64 00001405: DUP3 00001406: ADD 00001407: MSTORE 00001408: PUSH1 0x84 0000140a: ADD 0000140b: PUSH2 0x0a89 0000140e: JUMP 0000140f: JUMPDEST 00001410: PUSH1 0x40 00001412: MLOAD 00001413: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001434: DUP2 00001435: MSTORE 00001436: PUSH1 0x01 00001438: PUSH1 0x01 0000143a: PUSH1 0xa0 0000143c: SHL 0000143d: SUB 0000143e: DUP4 0000143f: DUP2 00001440: AND 00001441: PUSH1 0x04 00001443: DUP4 00001444: ADD 00001445: MSTORE 00001446: PUSH1 0x24 00001448: DUP3 00001449: ADD 0000144a: DUP4 0000144b: SWAP1 0000144c: MSTORE 0000144d: DUP5 0000144e: AND 0000144f: SWAP1 00001450: PUSH4 0xa9059cbb 00001455: SWAP1 00001456: PUSH1 0x44 00001458: ADD 00001459: PUSH1 0x20 0000145b: PUSH1 0x40 0000145d: MLOAD 0000145e: DUP1 0000145f: DUP4 00001460: SUB 00001461: DUP2 00001462: PUSH1 0x00 00001464: DUP8 00001465: DUP1 00001466: EXTCODESIZE 00001467: ISZERO 00001468: DUP1 00001469: ISZERO 0000146a: PUSH2 0x1472 0000146d: JUMPI 0000146e: PUSH1 0x00 00001470: DUP1 00001471: REVERT 00001472: JUMPDEST 00001473: POP 00001474: GAS 00001475: CALL 00001476: ISZERO 00001477: DUP1 00001478: ISZERO 00001479: PUSH2 0x1486 0000147c: JUMPI 0000147d: RETURNDATASIZE 0000147e: PUSH1 0x00 00001480: DUP1 00001481: RETURNDATACOPY 00001482: RETURNDATASIZE 00001483: PUSH1 0x00 00001485: REVERT 00001486: JUMPDEST 00001487: POP 00001488: POP 00001489: POP 0000148a: POP 0000148b: PUSH1 0x40 0000148d: MLOAD 0000148e: RETURNDATASIZE 0000148f: PUSH1 0x1f 00001491: NOT 00001492: PUSH1 0x1f 00001494: DUP3 00001495: ADD 00001496: AND 00001497: DUP3 00001498: ADD 00001499: DUP1 0000149a: PUSH1 0x40 0000149c: MSTORE 0000149d: POP 0000149e: DUP2 0000149f: ADD 000014a0: SWAP1 000014a1: PUSH2 0x14aa 000014a4: SWAP2 000014a5: SWAP1 000014a6: PUSH2 0x36e7 000014a9: JUMP 000014aa: JUMPDEST 000014ab: POP 000014ac: POP 000014ad: POP 000014ae: POP 000014af: JUMP 000014b0: JUMPDEST 000014b1: PUSH1 0x00 000014b3: PUSH2 0x14bb 000014b6: DUP3 000014b7: PUSH2 0x2657 000014ba: JUMP 000014bb: JUMPDEST 000014bc: MLOAD 000014bd: SWAP3 000014be: SWAP2 000014bf: POP 000014c0: POP 000014c1: JUMP 000014c2: JUMPDEST 000014c3: PUSH1 0x00 000014c5: PUSH1 0x01 000014c7: PUSH1 0x01 000014c9: PUSH1 0xa0 000014cb: SHL 000014cc: SUB 000014cd: DUP3 000014ce: AND 000014cf: PUSH2 0x1540 000014d2: JUMPI 000014d3: PUSH1 0x40 000014d5: MLOAD 000014d6: PUSH3 0x461bcd 000014da: PUSH1 0xe5 000014dc: SHL 000014dd: DUP2 000014de: MSTORE 000014df: PUSH1 0x20 000014e1: PUSH1 0x04 000014e3: DUP3 000014e4: ADD 000014e5: MSTORE 000014e6: PUSH1 0x2b 000014e8: PUSH1 0x24 000014ea: DUP3 000014eb: ADD 000014ec: MSTORE 000014ed: PUSH32 0x455243373231413a2062616c616e636520717565727920666f7220746865207a 0000150e: PUSH1 0x44 00001510: DUP3 00001511: ADD 00001512: MSTORE 00001513: PUSH32 0x65726f2061646472657373000000000000000000000000000000000000000000 00001534: PUSH1 0x64 00001536: DUP3 00001537: ADD 00001538: MSTORE 00001539: PUSH1 0x84 0000153b: ADD 0000153c: PUSH2 0x0a89 0000153f: JUMP 00001540: JUMPDEST 00001541: POP 00001542: PUSH1 0x01 00001544: PUSH1 0x01 00001546: PUSH1 0xa0 00001548: SHL 00001549: SUB 0000154a: AND 0000154b: PUSH1 0x00 0000154d: SWAP1 0000154e: DUP2 0000154f: MSTORE 00001550: PUSH1 0x04 00001552: PUSH1 0x20 00001554: MSTORE 00001555: PUSH1 0x40 00001557: SWAP1 00001558: KECCAK256 00001559: SLOAD 0000155a: PUSH1 0x01 0000155c: PUSH1 0x01 0000155e: PUSH1 0x80 00001560: SHL 00001561: SUB 00001562: AND 00001563: SWAP1 00001564: JUMP 00001565: JUMPDEST 00001566: PUSH1 0x0a 00001568: SLOAD 00001569: PUSH1 0x01 0000156b: PUSH1 0x01 0000156d: PUSH1 0xa0 0000156f: SHL 00001570: SUB 00001571: AND 00001572: CALLER 00001573: EQ 00001574: PUSH2 0x15ad 00001577: JUMPI 00001578: PUSH1 0x40 0000157a: MLOAD 0000157b: PUSH3 0x461bcd 0000157f: PUSH1 0xe5 00001581: SHL 00001582: DUP2 00001583: MSTORE 00001584: PUSH1 0x20 00001586: PUSH1 0x04 00001588: DUP3 00001589: ADD 0000158a: DUP2 0000158b: SWAP1 0000158c: MSTORE 0000158d: PUSH1 0x24 0000158f: DUP3 00001590: ADD 00001591: MSTORE 00001592: PUSH1 0x00 00001594: DUP1 00001595: MLOAD 00001596: PUSH1 0x20 00001598: PUSH2 0x3b2d 0000159b: DUP4 0000159c: CODECOPY 0000159d: DUP2 0000159e: MLOAD 0000159f: SWAP2 000015a0: MSTORE 000015a1: PUSH1 0x44 000015a3: DUP3 000015a4: ADD 000015a5: MSTORE 000015a6: PUSH1 0x64 000015a8: ADD 000015a9: PUSH2 0x0a89 000015ac: JUMP 000015ad: JUMPDEST 000015ae: PUSH2 0x15b7 000015b1: PUSH1 0x00 000015b3: PUSH2 0x2824 000015b6: JUMP 000015b7: JUMPDEST 000015b8: JUMP 000015b9: JUMPDEST 000015ba: PUSH1 0x0f 000015bc: SLOAD 000015bd: PUSH1 0xff 000015bf: AND 000015c0: PUSH2 0x161c 000015c3: JUMPI 000015c4: PUSH1 0x40 000015c6: MLOAD 000015c7: PUSH3 0x461bcd 000015cb: PUSH1 0xe5 000015cd: SHL 000015ce: DUP2 000015cf: MSTORE 000015d0: PUSH1 0x20 000015d2: PUSH1 0x04 000015d4: DUP3 000015d5: ADD 000015d6: MSTORE 000015d7: PUSH1 0x28 000015d9: PUSH1 0x24 000015db: DUP3 000015dc: ADD 000015dd: MSTORE 000015de: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2053616c65206973206e6f 000015ff: PUSH1 0x44 00001601: DUP3 00001602: ADD 00001603: MSTORE 00001604: PUSH8 0x7420616374697665 0000160d: PUSH1 0xc0 0000160f: SHL 00001610: PUSH1 0x64 00001612: DUP3 00001613: ADD 00001614: MSTORE 00001615: PUSH1 0x84 00001617: ADD 00001618: PUSH2 0x0a89 0000161b: JUMP 0000161c: JUMPDEST 0000161d: PUSH1 0x0c 0000161f: SLOAD 00001620: DUP2 00001621: PUSH2 0x1629 00001624: PUSH1 0x00 00001626: SLOAD 00001627: SWAP1 00001628: JUMP 00001629: JUMPDEST 0000162a: PUSH2 0x1633 0000162d: SWAP2 0000162e: SWAP1 0000162f: PUSH2 0x39b8 00001632: JUMP 00001633: JUMPDEST 00001634: GT 00001635: ISZERO 00001636: PUSH2 0x16a7 00001639: JUMPI 0000163a: PUSH1 0x40 0000163c: MLOAD 0000163d: PUSH3 0x461bcd 00001641: PUSH1 0xe5 00001643: SHL 00001644: DUP2 00001645: MSTORE 00001646: PUSH1 0x20 00001648: PUSH1 0x04 0000164a: DUP3 0000164b: ADD 0000164c: MSTORE 0000164d: PUSH1 0x2f 0000164f: PUSH1 0x24 00001651: DUP3 00001652: ADD 00001653: MSTORE 00001654: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2050757263686173652077 00001675: PUSH1 0x44 00001677: DUP3 00001678: ADD 00001679: MSTORE 0000167a: PUSH32 0x6f756c6420657863656564206361700000000000000000000000000000000000 0000169b: PUSH1 0x64 0000169d: DUP3 0000169e: ADD 0000169f: MSTORE 000016a0: PUSH1 0x84 000016a2: ADD 000016a3: PUSH2 0x0a89 000016a6: JUMP 000016a7: JUMPDEST 000016a8: PUSH1 0x11 000016aa: SLOAD 000016ab: DUP2 000016ac: GT 000016ad: ISZERO 000016ae: PUSH2 0x171f 000016b1: JUMPI 000016b2: PUSH1 0x40 000016b4: MLOAD 000016b5: PUSH3 0x461bcd 000016b9: PUSH1 0xe5 000016bb: SHL 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x20 000016c0: PUSH1 0x04 000016c2: DUP3 000016c3: ADD 000016c4: MSTORE 000016c5: PUSH1 0x31 000016c7: PUSH1 0x24 000016c9: DUP3 000016ca: ADD 000016cb: MSTORE 000016cc: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a20416d6f756e7420657863 000016ed: PUSH1 0x44 000016ef: DUP3 000016f0: ADD 000016f1: MSTORE 000016f2: PUSH32 0x65656473206d617820706572206d696e74000000000000000000000000000000 00001713: PUSH1 0x64 00001715: DUP3 00001716: ADD 00001717: MSTORE 00001718: PUSH1 0x84 0000171a: ADD 0000171b: PUSH2 0x0a89 0000171e: JUMP 0000171f: JUMPDEST 00001720: PUSH1 0x0b 00001722: SLOAD 00001723: PUSH1 0x40 00001725: MLOAD 00001726: PUSH4 0x70a08231 0000172b: PUSH1 0xe0 0000172d: SHL 0000172e: DUP2 0000172f: MSTORE 00001730: CALLER 00001731: PUSH1 0x04 00001733: DUP3 00001734: ADD 00001735: MSTORE 00001736: PUSH1 0x00 00001738: SWAP2 00001739: PUSH1 0x01 0000173b: PUSH1 0x01 0000173d: PUSH1 0xa0 0000173f: SHL 00001740: SUB 00001741: AND 00001742: SWAP1 00001743: PUSH4 0x70a08231 00001748: SWAP1 00001749: PUSH1 0x24 0000174b: ADD 0000174c: PUSH1 0x20 0000174e: PUSH1 0x40 00001750: MLOAD 00001751: DUP1 00001752: DUP4 00001753: SUB 00001754: DUP2 00001755: DUP7 00001756: DUP1 00001757: EXTCODESIZE 00001758: ISZERO 00001759: DUP1 0000175a: ISZERO 0000175b: PUSH2 0x1763 0000175e: JUMPI 0000175f: PUSH1 0x00 00001761: DUP1 00001762: REVERT 00001763: JUMPDEST 00001764: POP 00001765: GAS 00001766: STATICCALL 00001767: ISZERO 00001768: DUP1 00001769: ISZERO 0000176a: PUSH2 0x1777 0000176d: JUMPI 0000176e: RETURNDATASIZE 0000176f: PUSH1 0x00 00001771: DUP1 00001772: RETURNDATACOPY 00001773: RETURNDATASIZE 00001774: PUSH1 0x00 00001776: REVERT 00001777: JUMPDEST 00001778: POP 00001779: POP 0000177a: POP 0000177b: POP 0000177c: PUSH1 0x40 0000177e: MLOAD 0000177f: RETURNDATASIZE 00001780: PUSH1 0x1f 00001782: NOT 00001783: PUSH1 0x1f 00001785: DUP3 00001786: ADD 00001787: AND 00001788: DUP3 00001789: ADD 0000178a: DUP1 0000178b: PUSH1 0x40 0000178d: MSTORE 0000178e: POP 0000178f: DUP2 00001790: ADD 00001791: SWAP1 00001792: PUSH2 0x179b 00001795: SWAP2 00001796: SWAP1 00001797: PUSH2 0x37de 0000179a: JUMP 0000179b: JUMPDEST 0000179c: GT 0000179d: ISZERO 0000179e: PUSH2 0x17af 000017a1: JUMPI 000017a2: PUSH2 0x17aa 000017a5: DUP2 000017a6: PUSH2 0x25c4 000017a9: JUMP 000017aa: JUMPDEST 000017ab: PUSH2 0x1115 000017ae: JUMP 000017af: JUMPDEST 000017b0: PUSH2 0x1115 000017b3: DUP2 000017b4: PUSH2 0x2876 000017b7: JUMP 000017b8: JUMPDEST 000017b9: PUSH1 0x00 000017bb: DUP3 000017bc: DUP2 000017bd: MSTORE 000017be: PUSH1 0x09 000017c0: PUSH1 0x20 000017c2: MSTORE 000017c3: PUSH1 0x40 000017c5: DUP2 000017c6: KECCAK256 000017c7: PUSH2 0x17d0 000017ca: SWAP1 000017cb: DUP4 000017cc: PUSH2 0x2885 000017cf: JUMP 000017d0: JUMPDEST 000017d1: SWAP4 000017d2: SWAP3 000017d3: POP 000017d4: POP 000017d5: POP 000017d6: JUMP 000017d7: JUMPDEST 000017d8: PUSH1 0x60 000017da: PUSH1 0x02 000017dc: DUP1 000017dd: SLOAD 000017de: PUSH2 0x098b 000017e1: SWAP1 000017e2: PUSH2 0x3a71 000017e5: JUMP 000017e6: JUMPDEST 000017e7: PUSH1 0x0e 000017e9: DUP1 000017ea: SLOAD 000017eb: PUSH2 0x17f3 000017ee: SWAP1 000017ef: PUSH2 0x3a71 000017f2: JUMP 000017f3: JUMPDEST 000017f4: DUP1 000017f5: PUSH1 0x1f 000017f7: ADD 000017f8: PUSH1 0x20 000017fa: DUP1 000017fb: SWAP2 000017fc: DIV 000017fd: MUL 000017fe: PUSH1 0x20 00001800: ADD 00001801: PUSH1 0x40 00001803: MLOAD 00001804: SWAP1 00001805: DUP2 00001806: ADD 00001807: PUSH1 0x40 00001809: MSTORE 0000180a: DUP1 0000180b: SWAP3 0000180c: SWAP2 0000180d: SWAP1 0000180e: DUP2 0000180f: DUP2 00001810: MSTORE 00001811: PUSH1 0x20 00001813: ADD 00001814: DUP3 00001815: DUP1 00001816: SLOAD 00001817: PUSH2 0x181f 0000181a: SWAP1 0000181b: PUSH2 0x3a71 0000181e: JUMP 0000181f: JUMPDEST 00001820: DUP1 00001821: ISZERO 00001822: PUSH2 0x186c 00001825: JUMPI 00001826: DUP1 00001827: PUSH1 0x1f 00001829: LT 0000182a: PUSH2 0x1841 0000182d: JUMPI 0000182e: PUSH2 0x0100 00001831: DUP1 00001832: DUP4 00001833: SLOAD 00001834: DIV 00001835: MUL 00001836: DUP4 00001837: MSTORE 00001838: SWAP2 00001839: PUSH1 0x20 0000183b: ADD 0000183c: SWAP2 0000183d: PUSH2 0x186c 00001840: JUMP 00001841: JUMPDEST 00001842: DUP3 00001843: ADD 00001844: SWAP2 00001845: SWAP1 00001846: PUSH1 0x00 00001848: MSTORE 00001849: PUSH1 0x20 0000184b: PUSH1 0x00 0000184d: KECCAK256 0000184e: SWAP1 0000184f: JUMPDEST 00001850: DUP2 00001851: SLOAD 00001852: DUP2 00001853: MSTORE 00001854: SWAP1 00001855: PUSH1 0x01 00001857: ADD 00001858: SWAP1 00001859: PUSH1 0x20 0000185b: ADD 0000185c: DUP1 0000185d: DUP4 0000185e: GT 0000185f: PUSH2 0x184f 00001862: JUMPI 00001863: DUP3 00001864: SWAP1 00001865: SUB 00001866: PUSH1 0x1f 00001868: AND 00001869: DUP3 0000186a: ADD 0000186b: SWAP2 0000186c: JUMPDEST 0000186d: POP 0000186e: POP 0000186f: POP 00001870: POP 00001871: POP 00001872: DUP2 00001873: JUMP 00001874: JUMPDEST 00001875: PUSH1 0x0a 00001877: SLOAD 00001878: PUSH1 0x01 0000187a: PUSH1 0x01 0000187c: PUSH1 0xa0 0000187e: SHL 0000187f: SUB 00001880: AND 00001881: CALLER 00001882: EQ 00001883: PUSH2 0x18bc 00001886: JUMPI 00001887: PUSH1 0x40 00001889: MLOAD 0000188a: PUSH3 0x461bcd 0000188e: PUSH1 0xe5 00001890: SHL 00001891: DUP2 00001892: MSTORE 00001893: PUSH1 0x20 00001895: PUSH1 0x04 00001897: DUP3 00001898: ADD 00001899: DUP2 0000189a: SWAP1 0000189b: MSTORE 0000189c: PUSH1 0x24 0000189e: DUP3 0000189f: ADD 000018a0: MSTORE 000018a1: PUSH1 0x00 000018a3: DUP1 000018a4: MLOAD 000018a5: PUSH1 0x20 000018a7: PUSH2 0x3b2d 000018aa: DUP4 000018ab: CODECOPY 000018ac: DUP2 000018ad: MLOAD 000018ae: SWAP2 000018af: MSTORE 000018b0: PUSH1 0x44 000018b2: DUP3 000018b3: ADD 000018b4: MSTORE 000018b5: PUSH1 0x64 000018b7: ADD 000018b8: PUSH2 0x0a89 000018bb: JUMP 000018bc: JUMPDEST 000018bd: PUSH1 0x0d 000018bf: SLOAD 000018c0: PUSH1 0xff 000018c2: AND 000018c3: ISZERO 000018c4: PUSH2 0x1935 000018c7: JUMPI 000018c8: PUSH1 0x40 000018ca: MLOAD 000018cb: PUSH3 0x461bcd 000018cf: PUSH1 0xe5 000018d1: SHL 000018d2: DUP2 000018d3: MSTORE 000018d4: PUSH1 0x20 000018d6: PUSH1 0x04 000018d8: DUP3 000018d9: ADD 000018da: MSTORE 000018db: PUSH1 0x2e 000018dd: PUSH1 0x24 000018df: DUP3 000018e0: ADD 000018e1: MSTORE 000018e2: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a204d657461646174612061 00001903: PUSH1 0x44 00001905: DUP3 00001906: ADD 00001907: MSTORE 00001908: PUSH32 0x6c72656164792066726f7a656e2e000000000000000000000000000000000000 00001929: PUSH1 0x64 0000192b: DUP3 0000192c: ADD 0000192d: MSTORE 0000192e: PUSH1 0x84 00001930: ADD 00001931: PUSH2 0x0a89 00001934: JUMP 00001935: JUMPDEST 00001936: DUP1 00001937: MLOAD 00001938: PUSH2 0x1948 0000193b: SWAP1 0000193c: PUSH1 0x0e 0000193e: SWAP1 0000193f: PUSH1 0x20 00001941: DUP5 00001942: ADD 00001943: SWAP1 00001944: PUSH2 0x3478 00001947: JUMP 00001948: JUMPDEST 00001949: POP 0000194a: PUSH1 0x0e 0000194c: PUSH1 0x40 0000194e: MLOAD 0000194f: PUSH2 0x1958 00001952: SWAP2 00001953: SWAP1 00001954: PUSH2 0x3822 00001957: JUMP 00001958: JUMPDEST 00001959: PUSH1 0x40 0000195b: MLOAD 0000195c: SWAP1 0000195d: DUP2 0000195e: SWAP1 0000195f: SUB 00001960: DUP2 00001961: KECCAK256 00001962: SWAP1 00001963: PUSH32 0xafa35f42f46f5052816d7c6a2e9406eca98294b20726677862d83b4a7418d8d5 00001984: SWAP1 00001985: PUSH1 0x00 00001987: SWAP1 00001988: LOG2 00001989: POP 0000198a: JUMP 0000198b: JUMPDEST 0000198c: PUSH1 0x01 0000198e: PUSH1 0x01 00001990: PUSH1 0xa0 00001992: SHL 00001993: SUB 00001994: DUP3 00001995: AND 00001996: CALLER 00001997: EQ 00001998: ISZERO 00001999: PUSH2 0x19e4 0000199c: JUMPI 0000199d: PUSH1 0x40 0000199f: MLOAD 000019a0: PUSH3 0x461bcd 000019a4: PUSH1 0xe5 000019a6: SHL 000019a7: DUP2 000019a8: MSTORE 000019a9: PUSH1 0x20 000019ab: PUSH1 0x04 000019ad: DUP3 000019ae: ADD 000019af: MSTORE 000019b0: PUSH1 0x1a 000019b2: PUSH1 0x24 000019b4: DUP3 000019b5: ADD 000019b6: MSTORE 000019b7: PUSH32 0x455243373231413a20617070726f766520746f2063616c6c6572000000000000 000019d8: PUSH1 0x44 000019da: DUP3 000019db: ADD 000019dc: MSTORE 000019dd: PUSH1 0x64 000019df: ADD 000019e0: PUSH2 0x0a89 000019e3: JUMP 000019e4: JUMPDEST 000019e5: CALLER 000019e6: PUSH1 0x00 000019e8: DUP2 000019e9: DUP2 000019ea: MSTORE 000019eb: PUSH1 0x06 000019ed: PUSH1 0x20 000019ef: SWAP1 000019f0: DUP2 000019f1: MSTORE 000019f2: PUSH1 0x40 000019f4: DUP1 000019f5: DUP4 000019f6: KECCAK256 000019f7: PUSH1 0x01 000019f9: PUSH1 0x01 000019fb: PUSH1 0xa0 000019fd: SHL 000019fe: SUB 000019ff: DUP8 00001a00: AND 00001a01: DUP1 00001a02: DUP6 00001a03: MSTORE 00001a04: SWAP3 00001a05: MSTORE 00001a06: SWAP1 00001a07: SWAP2 00001a08: KECCAK256 00001a09: DUP1 00001a0a: SLOAD 00001a0b: PUSH1 0xff 00001a0d: NOT 00001a0e: AND 00001a0f: DUP5 00001a10: ISZERO 00001a11: ISZERO 00001a12: OR 00001a13: SWAP1 00001a14: SSTORE 00001a15: SWAP1 00001a16: PUSH1 0x01 00001a18: PUSH1 0x01 00001a1a: PUSH1 0xa0 00001a1c: SHL 00001a1d: SUB 00001a1e: AND 00001a1f: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00001a40: DUP4 00001a41: PUSH1 0x40 00001a43: MLOAD 00001a44: PUSH2 0x1a51 00001a47: SWAP2 00001a48: ISZERO 00001a49: ISZERO 00001a4a: DUP2 00001a4b: MSTORE 00001a4c: PUSH1 0x20 00001a4e: ADD 00001a4f: SWAP1 00001a50: JUMP 00001a51: JUMPDEST 00001a52: PUSH1 0x40 00001a54: MLOAD 00001a55: DUP1 00001a56: SWAP2 00001a57: SUB 00001a58: SWAP1 00001a59: LOG3 00001a5a: POP 00001a5b: POP 00001a5c: JUMP 00001a5d: JUMPDEST 00001a5e: PUSH2 0x1a68 00001a61: DUP5 00001a62: DUP5 00001a63: DUP5 00001a64: PUSH2 0x211c 00001a67: JUMP 00001a68: JUMPDEST 00001a69: PUSH2 0x1a74 00001a6c: DUP5 00001a6d: DUP5 00001a6e: DUP5 00001a6f: DUP5 00001a70: PUSH2 0x2891 00001a73: JUMP 00001a74: JUMPDEST 00001a75: PUSH2 0x14aa 00001a78: JUMPI 00001a79: PUSH1 0x40 00001a7b: MLOAD 00001a7c: PUSH3 0x461bcd 00001a80: PUSH1 0xe5 00001a82: SHL 00001a83: DUP2 00001a84: MSTORE 00001a85: PUSH1 0x20 00001a87: PUSH1 0x04 00001a89: DUP3 00001a8a: ADD 00001a8b: MSTORE 00001a8c: PUSH1 0x33 00001a8e: PUSH1 0x24 00001a90: DUP3 00001a91: ADD 00001a92: MSTORE 00001a93: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152 00001ab4: PUSH1 0x44 00001ab6: DUP3 00001ab7: ADD 00001ab8: MSTORE 00001ab9: PUSH32 0x6563656976657220696d706c656d656e74657200000000000000000000000000 00001ada: PUSH1 0x64 00001adc: DUP3 00001add: ADD 00001ade: MSTORE 00001adf: PUSH1 0x84 00001ae1: ADD 00001ae2: PUSH2 0x0a89 00001ae5: JUMP 00001ae6: JUMPDEST 00001ae7: PUSH32 0x9f2df0fed2c77648de5860a4cc508cd0818c85b8b8a1ab4ceeef8d981c8956a6 00001b08: PUSH2 0x1b12 00001b0b: DUP2 00001b0c: CALLER 00001b0d: JUMPDEST 00001b0e: PUSH2 0x29f5 00001b11: JUMP 00001b12: JUMPDEST 00001b13: PUSH1 0x0f 00001b15: SLOAD 00001b16: PUSH2 0x0100 00001b19: SWAP1 00001b1a: DIV 00001b1b: PUSH1 0xff 00001b1d: AND 00001b1e: PUSH2 0x1b7a 00001b21: JUMPI 00001b22: PUSH1 0x40 00001b24: MLOAD 00001b25: PUSH3 0x461bcd 00001b29: PUSH1 0xe5 00001b2b: SHL 00001b2c: DUP2 00001b2d: MSTORE 00001b2e: PUSH1 0x20 00001b30: PUSH1 0x04 00001b32: DUP3 00001b33: ADD 00001b34: MSTORE 00001b35: PUSH1 0x28 00001b37: PUSH1 0x24 00001b39: DUP3 00001b3a: ADD 00001b3b: MSTORE 00001b3c: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2053616c65206973206e6f 00001b5d: PUSH1 0x44 00001b5f: DUP3 00001b60: ADD 00001b61: MSTORE 00001b62: PUSH8 0x7420616374697665 00001b6b: PUSH1 0xc0 00001b6d: SHL 00001b6e: PUSH1 0x64 00001b70: DUP3 00001b71: ADD 00001b72: MSTORE 00001b73: PUSH1 0x84 00001b75: ADD 00001b76: PUSH2 0x0a89 00001b79: JUMP 00001b7a: JUMPDEST 00001b7b: PUSH1 0x01 00001b7d: PUSH1 0x01 00001b7f: PUSH1 0xa0 00001b81: SHL 00001b82: SUB 00001b83: DUP3 00001b84: AND 00001b85: PUSH2 0x1bf6 00001b88: JUMPI 00001b89: PUSH1 0x40 00001b8b: MLOAD 00001b8c: PUSH3 0x461bcd 00001b90: PUSH1 0xe5 00001b92: SHL 00001b93: DUP2 00001b94: MSTORE 00001b95: PUSH1 0x20 00001b97: PUSH1 0x04 00001b99: DUP3 00001b9a: ADD 00001b9b: MSTORE 00001b9c: PUSH1 0x32 00001b9e: PUSH1 0x24 00001ba0: DUP3 00001ba1: ADD 00001ba2: MSTORE 00001ba3: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2043616e6e6f74206d696e 00001bc4: PUSH1 0x44 00001bc6: DUP3 00001bc7: ADD 00001bc8: MSTORE 00001bc9: PUSH32 0x7420746f207a65726f20616464726573732e0000000000000000000000000000 00001bea: PUSH1 0x64 00001bec: DUP3 00001bed: ADD 00001bee: MSTORE 00001bef: PUSH1 0x84 00001bf1: ADD 00001bf2: PUSH2 0x0a89 00001bf5: JUMP 00001bf6: JUMPDEST 00001bf7: PUSH1 0x0c 00001bf9: SLOAD 00001bfa: PUSH1 0x00 00001bfc: SLOAD 00001bfd: PUSH2 0x1c07 00001c00: SWAP1 00001c01: PUSH1 0x01 00001c03: PUSH2 0x39b8 00001c06: JUMP 00001c07: JUMPDEST 00001c08: GT 00001c09: ISZERO 00001c0a: PUSH2 0x1c7b 00001c0d: JUMPI 00001c0e: PUSH1 0x40 00001c10: MLOAD 00001c11: PUSH3 0x461bcd 00001c15: PUSH1 0xe5 00001c17: SHL 00001c18: DUP2 00001c19: MSTORE 00001c1a: PUSH1 0x20 00001c1c: PUSH1 0x04 00001c1e: DUP3 00001c1f: ADD 00001c20: MSTORE 00001c21: PUSH1 0x2e 00001c23: PUSH1 0x24 00001c25: DUP3 00001c26: ADD 00001c27: MSTORE 00001c28: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a204d696e74696e6720776f 00001c49: PUSH1 0x44 00001c4b: DUP3 00001c4c: ADD 00001c4d: MSTORE 00001c4e: PUSH32 0x756c642065786365656420636170000000000000000000000000000000000000 00001c6f: PUSH1 0x64 00001c71: DUP3 00001c72: ADD 00001c73: MSTORE 00001c74: PUSH1 0x84 00001c76: ADD 00001c77: PUSH2 0x0a89 00001c7a: JUMP 00001c7b: JUMPDEST 00001c7c: PUSH2 0x1271 00001c7f: DUP3 00001c80: PUSH1 0x01 00001c82: PUSH2 0x264d 00001c85: JUMP 00001c86: JUMPDEST 00001c87: PUSH1 0x60 00001c89: PUSH2 0x1c93 00001c8c: DUP3 00001c8d: PUSH1 0x00 00001c8f: SLOAD 00001c90: GT 00001c91: SWAP1 00001c92: JUMP 00001c93: JUMPDEST 00001c94: PUSH2 0x1d05 00001c97: JUMPI 00001c98: PUSH1 0x40 00001c9a: MLOAD 00001c9b: PUSH3 0x461bcd 00001c9f: PUSH1 0xe5 00001ca1: SHL 00001ca2: DUP2 00001ca3: MSTORE 00001ca4: PUSH1 0x20 00001ca6: PUSH1 0x04 00001ca8: DUP3 00001ca9: ADD 00001caa: MSTORE 00001cab: PUSH1 0x2f 00001cad: PUSH1 0x24 00001caf: DUP3 00001cb0: ADD 00001cb1: MSTORE 00001cb2: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2054686520746f6b656e20 00001cd3: PUSH1 0x44 00001cd5: DUP3 00001cd6: ADD 00001cd7: MSTORE 00001cd8: PUSH32 0x646f6573206e6f742065786973742e0000000000000000000000000000000000 00001cf9: PUSH1 0x64 00001cfb: DUP3 00001cfc: ADD 00001cfd: MSTORE 00001cfe: PUSH1 0x84 00001d00: ADD 00001d01: PUSH2 0x0a89 00001d04: JUMP 00001d05: JUMPDEST 00001d06: PUSH1 0x0e 00001d08: DUP1 00001d09: SLOAD 00001d0a: PUSH2 0x1d12 00001d0d: SWAP1 00001d0e: PUSH2 0x3a71 00001d11: JUMP 00001d12: JUMPDEST 00001d13: DUP1 00001d14: PUSH1 0x1f 00001d16: ADD 00001d17: PUSH1 0x20 00001d19: DUP1 00001d1a: SWAP2 00001d1b: DIV 00001d1c: MUL 00001d1d: PUSH1 0x20 00001d1f: ADD 00001d20: PUSH1 0x40 00001d22: MLOAD 00001d23: SWAP1 00001d24: DUP2 00001d25: ADD 00001d26: PUSH1 0x40 00001d28: MSTORE 00001d29: DUP1 00001d2a: SWAP3 00001d2b: SWAP2 00001d2c: SWAP1 00001d2d: DUP2 00001d2e: DUP2 00001d2f: MSTORE 00001d30: PUSH1 0x20 00001d32: ADD 00001d33: DUP3 00001d34: DUP1 00001d35: SLOAD 00001d36: PUSH2 0x1d3e 00001d39: SWAP1 00001d3a: PUSH2 0x3a71 00001d3d: JUMP 00001d3e: JUMPDEST 00001d3f: DUP1 00001d40: ISZERO 00001d41: PUSH2 0x1d8b 00001d44: JUMPI 00001d45: DUP1 00001d46: PUSH1 0x1f 00001d48: LT 00001d49: PUSH2 0x1d60 00001d4c: JUMPI 00001d4d: PUSH2 0x0100 00001d50: DUP1 00001d51: DUP4 00001d52: SLOAD 00001d53: DIV 00001d54: MUL 00001d55: DUP4 00001d56: MSTORE 00001d57: SWAP2 00001d58: PUSH1 0x20 00001d5a: ADD 00001d5b: SWAP2 00001d5c: PUSH2 0x1d8b 00001d5f: JUMP 00001d60: JUMPDEST 00001d61: DUP3 00001d62: ADD 00001d63: SWAP2 00001d64: SWAP1 00001d65: PUSH1 0x00 00001d67: MSTORE 00001d68: PUSH1 0x20 00001d6a: PUSH1 0x00 00001d6c: KECCAK256 00001d6d: SWAP1 00001d6e: JUMPDEST 00001d6f: DUP2 00001d70: SLOAD 00001d71: DUP2 00001d72: MSTORE 00001d73: SWAP1 00001d74: PUSH1 0x01 00001d76: ADD 00001d77: SWAP1 00001d78: PUSH1 0x20 00001d7a: ADD 00001d7b: DUP1 00001d7c: DUP4 00001d7d: GT 00001d7e: PUSH2 0x1d6e 00001d81: JUMPI 00001d82: DUP3 00001d83: SWAP1 00001d84: SUB 00001d85: PUSH1 0x1f 00001d87: AND 00001d88: DUP3 00001d89: ADD 00001d8a: SWAP2 00001d8b: JUMPDEST 00001d8c: POP 00001d8d: POP 00001d8e: POP 00001d8f: POP 00001d90: POP 00001d91: SWAP1 00001d92: POP 00001d93: SWAP2 00001d94: SWAP1 00001d95: POP 00001d96: JUMP 00001d97: JUMPDEST 00001d98: PUSH1 0x00 00001d9a: DUP2 00001d9b: DUP2 00001d9c: MSTORE 00001d9d: PUSH1 0x09 00001d9f: PUSH1 0x20 00001da1: MSTORE 00001da2: PUSH1 0x40 00001da4: DUP2 00001da5: KECCAK256 00001da6: PUSH2 0x0974 00001da9: SWAP1 00001daa: PUSH2 0x2a75 00001dad: JUMP 00001dae: JUMPDEST 00001daf: PUSH1 0x0a 00001db1: SLOAD 00001db2: PUSH1 0x01 00001db4: PUSH1 0x01 00001db6: PUSH1 0xa0 00001db8: SHL 00001db9: SUB 00001dba: AND 00001dbb: CALLER 00001dbc: EQ 00001dbd: PUSH2 0x1df6 00001dc0: JUMPI 00001dc1: PUSH1 0x40 00001dc3: MLOAD 00001dc4: PUSH3 0x461bcd 00001dc8: PUSH1 0xe5 00001dca: SHL 00001dcb: DUP2 00001dcc: MSTORE 00001dcd: PUSH1 0x20 00001dcf: PUSH1 0x04 00001dd1: DUP3 00001dd2: ADD 00001dd3: DUP2 00001dd4: SWAP1 00001dd5: MSTORE 00001dd6: PUSH1 0x24 00001dd8: DUP3 00001dd9: ADD 00001dda: MSTORE 00001ddb: PUSH1 0x00 00001ddd: DUP1 00001dde: MLOAD 00001ddf: PUSH1 0x20 00001de1: PUSH2 0x3b2d 00001de4: DUP4 00001de5: CODECOPY 00001de6: DUP2 00001de7: MLOAD 00001de8: SWAP2 00001de9: MSTORE 00001dea: PUSH1 0x44 00001dec: DUP3 00001ded: ADD 00001dee: MSTORE 00001def: PUSH1 0x64 00001df1: ADD 00001df2: PUSH2 0x0a89 00001df5: JUMP 00001df6: JUMPDEST 00001df7: PUSH1 0x0d 00001df9: SLOAD 00001dfa: PUSH1 0xff 00001dfc: AND 00001dfd: ISZERO 00001dfe: PUSH2 0x1e6f 00001e01: JUMPI 00001e02: PUSH1 0x40 00001e04: MLOAD 00001e05: PUSH3 0x461bcd 00001e09: PUSH1 0xe5 00001e0b: SHL 00001e0c: DUP2 00001e0d: MSTORE 00001e0e: PUSH1 0x20 00001e10: PUSH1 0x04 00001e12: DUP3 00001e13: ADD 00001e14: MSTORE 00001e15: PUSH1 0x2e 00001e17: PUSH1 0x24 00001e19: DUP3 00001e1a: ADD 00001e1b: MSTORE 00001e1c: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a204d657461646174612061 00001e3d: PUSH1 0x44 00001e3f: DUP3 00001e40: ADD 00001e41: MSTORE 00001e42: PUSH32 0x6c72656164792066726f7a656e2e000000000000000000000000000000000000 00001e63: PUSH1 0x64 00001e65: DUP3 00001e66: ADD 00001e67: MSTORE 00001e68: PUSH1 0x84 00001e6a: ADD 00001e6b: PUSH2 0x0a89 00001e6e: JUMP 00001e6f: JUMPDEST 00001e70: PUSH1 0x0d 00001e72: DUP1 00001e73: SLOAD 00001e74: PUSH1 0xff 00001e76: NOT 00001e77: AND 00001e78: PUSH1 0x01 00001e7a: OR 00001e7b: SWAP1 00001e7c: SSTORE 00001e7d: JUMP 00001e7e: JUMPDEST 00001e7f: PUSH2 0x0e03 00001e82: DUP3 00001e83: DUP3 00001e84: PUSH2 0x2a7f 00001e87: JUMP 00001e88: JUMPDEST 00001e89: PUSH1 0x0a 00001e8b: SLOAD 00001e8c: PUSH1 0x01 00001e8e: PUSH1 0x01 00001e90: PUSH1 0xa0 00001e92: SHL 00001e93: SUB 00001e94: AND 00001e95: CALLER 00001e96: EQ 00001e97: PUSH2 0x1ed0 00001e9a: JUMPI 00001e9b: PUSH1 0x40 00001e9d: MLOAD 00001e9e: PUSH3 0x461bcd 00001ea2: PUSH1 0xe5 00001ea4: SHL 00001ea5: DUP2 00001ea6: MSTORE 00001ea7: PUSH1 0x20 00001ea9: PUSH1 0x04 00001eab: DUP3 00001eac: ADD 00001ead: DUP2 00001eae: SWAP1 00001eaf: MSTORE 00001eb0: PUSH1 0x24 00001eb2: DUP3 00001eb3: ADD 00001eb4: MSTORE 00001eb5: PUSH1 0x00 00001eb7: DUP1 00001eb8: MLOAD 00001eb9: PUSH1 0x20 00001ebb: PUSH2 0x3b2d 00001ebe: DUP4 00001ebf: CODECOPY 00001ec0: DUP2 00001ec1: MLOAD 00001ec2: SWAP2 00001ec3: MSTORE 00001ec4: PUSH1 0x44 00001ec6: DUP3 00001ec7: ADD 00001ec8: MSTORE 00001ec9: PUSH1 0x64 00001ecb: ADD 00001ecc: PUSH2 0x0a89 00001ecf: JUMP 00001ed0: JUMPDEST 00001ed1: PUSH1 0x0f 00001ed3: DUP1 00001ed4: SLOAD 00001ed5: PUSH1 0xff 00001ed7: NOT 00001ed8: DUP2 00001ed9: AND 00001eda: PUSH1 0xff 00001edc: SWAP1 00001edd: SWAP2 00001ede: AND 00001edf: ISZERO 00001ee0: OR 00001ee1: SWAP1 00001ee2: SSTORE 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: PUSH1 0x0a 00001ee7: SLOAD 00001ee8: PUSH1 0x01 00001eea: PUSH1 0x01 00001eec: PUSH1 0xa0 00001eee: SHL 00001eef: SUB 00001ef0: AND 00001ef1: CALLER 00001ef2: EQ 00001ef3: PUSH2 0x1f2c 00001ef6: JUMPI 00001ef7: PUSH1 0x40 00001ef9: MLOAD 00001efa: PUSH3 0x461bcd 00001efe: PUSH1 0xe5 00001f00: SHL 00001f01: DUP2 00001f02: MSTORE 00001f03: PUSH1 0x20 00001f05: PUSH1 0x04 00001f07: DUP3 00001f08: ADD 00001f09: DUP2 00001f0a: SWAP1 00001f0b: MSTORE 00001f0c: PUSH1 0x24 00001f0e: DUP3 00001f0f: ADD 00001f10: MSTORE 00001f11: PUSH1 0x00 00001f13: DUP1 00001f14: MLOAD 00001f15: PUSH1 0x20 00001f17: PUSH2 0x3b2d 00001f1a: DUP4 00001f1b: CODECOPY 00001f1c: DUP2 00001f1d: MLOAD 00001f1e: SWAP2 00001f1f: MSTORE 00001f20: PUSH1 0x44 00001f22: DUP3 00001f23: ADD 00001f24: MSTORE 00001f25: PUSH1 0x64 00001f27: ADD 00001f28: PUSH2 0x0a89 00001f2b: JUMP 00001f2c: JUMPDEST 00001f2d: PUSH1 0x0f 00001f2f: DUP1 00001f30: SLOAD 00001f31: PUSH2 0xff00 00001f34: NOT 00001f35: DUP2 00001f36: AND 00001f37: PUSH2 0x0100 00001f3a: SWAP2 00001f3b: DUP3 00001f3c: SWAP1 00001f3d: DIV 00001f3e: PUSH1 0xff 00001f40: AND 00001f41: ISZERO 00001f42: SWAP1 00001f43: SWAP2 00001f44: MUL 00001f45: OR 00001f46: SWAP1 00001f47: SSTORE 00001f48: JUMP 00001f49: JUMPDEST 00001f4a: PUSH1 0x0a 00001f4c: SLOAD 00001f4d: PUSH1 0x01 00001f4f: PUSH1 0x01 00001f51: PUSH1 0xa0 00001f53: SHL 00001f54: SUB 00001f55: AND 00001f56: CALLER 00001f57: EQ 00001f58: PUSH2 0x1f91 00001f5b: JUMPI 00001f5c: PUSH1 0x40 00001f5e: MLOAD 00001f5f: PUSH3 0x461bcd 00001f63: PUSH1 0xe5 00001f65: SHL 00001f66: DUP2 00001f67: MSTORE 00001f68: PUSH1 0x20 00001f6a: PUSH1 0x04 00001f6c: DUP3 00001f6d: ADD 00001f6e: DUP2 00001f6f: SWAP1 00001f70: MSTORE 00001f71: PUSH1 0x24 00001f73: DUP3 00001f74: ADD 00001f75: MSTORE 00001f76: PUSH1 0x00 00001f78: DUP1 00001f79: MLOAD 00001f7a: PUSH1 0x20 00001f7c: PUSH2 0x3b2d 00001f7f: DUP4 00001f80: CODECOPY 00001f81: DUP2 00001f82: MLOAD 00001f83: SWAP2 00001f84: MSTORE 00001f85: PUSH1 0x44 00001f87: DUP3 00001f88: ADD 00001f89: MSTORE 00001f8a: PUSH1 0x64 00001f8c: ADD 00001f8d: PUSH2 0x0a89 00001f90: JUMP 00001f91: JUMPDEST 00001f92: PUSH1 0x01 00001f94: PUSH1 0x01 00001f96: PUSH1 0xa0 00001f98: SHL 00001f99: SUB 00001f9a: DUP2 00001f9b: AND 00001f9c: PUSH2 0x200d 00001f9f: JUMPI 00001fa0: PUSH1 0x40 00001fa2: MLOAD 00001fa3: PUSH3 0x461bcd 00001fa7: PUSH1 0xe5 00001fa9: SHL 00001faa: DUP2 00001fab: MSTORE 00001fac: PUSH1 0x20 00001fae: PUSH1 0x04 00001fb0: DUP3 00001fb1: ADD 00001fb2: MSTORE 00001fb3: PUSH1 0x26 00001fb5: PUSH1 0x24 00001fb7: DUP3 00001fb8: ADD 00001fb9: MSTORE 00001fba: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001fdb: PUSH1 0x44 00001fdd: DUP3 00001fde: ADD 00001fdf: MSTORE 00001fe0: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00002001: PUSH1 0x64 00002003: DUP3 00002004: ADD 00002005: MSTORE 00002006: PUSH1 0x84 00002008: ADD 00002009: PUSH2 0x0a89 0000200c: JUMP 0000200d: JUMPDEST 0000200e: PUSH2 0x1115 00002011: DUP2 00002012: PUSH2 0x2824 00002015: JUMP 00002016: JUMPDEST 00002017: PUSH1 0x0a 00002019: SLOAD 0000201a: PUSH1 0x01 0000201c: PUSH1 0x01 0000201e: PUSH1 0xa0 00002020: SHL 00002021: SUB 00002022: AND 00002023: CALLER 00002024: EQ 00002025: PUSH2 0x205e 00002028: JUMPI 00002029: PUSH1 0x40 0000202b: MLOAD 0000202c: PUSH3 0x461bcd 00002030: PUSH1 0xe5 00002032: SHL 00002033: DUP2 00002034: MSTORE 00002035: PUSH1 0x20 00002037: PUSH1 0x04 00002039: DUP3 0000203a: ADD 0000203b: DUP2 0000203c: SWAP1 0000203d: MSTORE 0000203e: PUSH1 0x24 00002040: DUP3 00002041: ADD 00002042: MSTORE 00002043: PUSH1 0x00 00002045: DUP1 00002046: MLOAD 00002047: PUSH1 0x20 00002049: PUSH2 0x3b2d 0000204c: DUP4 0000204d: CODECOPY 0000204e: DUP2 0000204f: MLOAD 00002050: SWAP2 00002051: MSTORE 00002052: PUSH1 0x44 00002054: DUP3 00002055: ADD 00002056: MSTORE 00002057: PUSH1 0x64 00002059: ADD 0000205a: PUSH2 0x0a89 0000205d: JUMP 0000205e: JUMPDEST 0000205f: PUSH1 0x10 00002061: SSTORE 00002062: JUMP 00002063: JUMPDEST 00002064: PUSH2 0x1271 00002067: DUP3 00002068: DUP3 00002069: PUSH2 0x2aa5 0000206c: JUMP 0000206d: JUMPDEST 0000206e: PUSH1 0x00 00002070: PUSH2 0x17d0 00002073: DUP4 00002074: PUSH1 0x01 00002076: PUSH1 0x01 00002078: PUSH1 0xa0 0000207a: SHL 0000207b: SUB 0000207c: DUP5 0000207d: AND 0000207e: PUSH2 0x2b47 00002081: JUMP 00002082: JUMPDEST 00002083: PUSH1 0x00 00002085: PUSH1 0x01 00002087: PUSH1 0x01 00002089: PUSH1 0xe0 0000208b: SHL 0000208c: SUB 0000208d: NOT 0000208e: DUP3 0000208f: AND 00002090: PUSH32 0x5a05180f00000000000000000000000000000000000000000000000000000000 000020b1: EQ 000020b2: DUP1 000020b3: PUSH2 0x0974 000020b6: JUMPI 000020b7: POP 000020b8: PUSH2 0x0974 000020bb: DUP3 000020bc: PUSH2 0x2b96 000020bf: JUMP 000020c0: JUMPDEST 000020c1: PUSH1 0x00 000020c3: DUP3 000020c4: DUP2 000020c5: MSTORE 000020c6: PUSH1 0x05 000020c8: PUSH1 0x20 000020ca: MSTORE 000020cb: PUSH1 0x40 000020cd: DUP1 000020ce: DUP3 000020cf: KECCAK256 000020d0: DUP1 000020d1: SLOAD 000020d2: PUSH1 0x01 000020d4: PUSH1 0x01 000020d6: PUSH1 0xa0 000020d8: SHL 000020d9: SUB 000020da: NOT 000020db: AND 000020dc: PUSH1 0x01 000020de: PUSH1 0x01 000020e0: PUSH1 0xa0 000020e2: SHL 000020e3: SUB 000020e4: DUP8 000020e5: DUP2 000020e6: AND 000020e7: SWAP2 000020e8: DUP3 000020e9: OR 000020ea: SWAP1 000020eb: SWAP3 000020ec: SSTORE 000020ed: SWAP2 000020ee: MLOAD 000020ef: DUP6 000020f0: SWAP4 000020f1: SWAP2 000020f2: DUP6 000020f3: AND 000020f4: SWAP2 000020f5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00002116: SWAP2 00002117: LOG4 00002118: POP 00002119: POP 0000211a: POP 0000211b: JUMP 0000211c: JUMPDEST 0000211d: PUSH1 0x00 0000211f: PUSH2 0x2127 00002122: DUP3 00002123: PUSH2 0x2657 00002126: JUMP 00002127: JUMPDEST 00002128: DUP1 00002129: MLOAD 0000212a: SWAP1 0000212b: SWAP2 0000212c: POP 0000212d: PUSH1 0x00 0000212f: SWAP1 00002130: PUSH1 0x01 00002132: PUSH1 0x01 00002134: PUSH1 0xa0 00002136: SHL 00002137: SUB 00002138: AND 00002139: CALLER 0000213a: PUSH1 0x01 0000213c: PUSH1 0x01 0000213e: PUSH1 0xa0 00002140: SHL 00002141: SUB 00002142: AND 00002143: EQ 00002144: DUP1 00002145: PUSH2 0x215e 00002148: JUMPI 00002149: POP 0000214a: CALLER 0000214b: PUSH2 0x2153 0000214e: DUP5 0000214f: PUSH2 0x0a0e 00002152: JUMP 00002153: JUMPDEST 00002154: PUSH1 0x01 00002156: PUSH1 0x01 00002158: PUSH1 0xa0 0000215a: SHL 0000215b: SUB 0000215c: AND 0000215d: EQ 0000215e: JUMPDEST 0000215f: DUP1 00002160: PUSH2 0x2170 00002163: JUMPI 00002164: POP 00002165: DUP2 00002166: MLOAD 00002167: PUSH2 0x2170 0000216a: SWAP1 0000216b: CALLER 0000216c: PUSH2 0x08b2 0000216f: JUMP 00002170: JUMPDEST 00002171: SWAP1 00002172: POP 00002173: DUP1 00002174: PUSH2 0x21e5 00002177: JUMPI 00002178: PUSH1 0x40 0000217a: MLOAD 0000217b: PUSH3 0x461bcd 0000217f: PUSH1 0xe5 00002181: SHL 00002182: DUP2 00002183: MSTORE 00002184: PUSH1 0x20 00002186: PUSH1 0x04 00002188: DUP3 00002189: ADD 0000218a: MSTORE 0000218b: PUSH1 0x32 0000218d: PUSH1 0x24 0000218f: DUP3 00002190: ADD 00002191: MSTORE 00002192: PUSH32 0x455243373231413a207472616e736665722063616c6c6572206973206e6f7420 000021b3: PUSH1 0x44 000021b5: DUP3 000021b6: ADD 000021b7: MSTORE 000021b8: PUSH32 0x6f776e6572206e6f7220617070726f7665640000000000000000000000000000 000021d9: PUSH1 0x64 000021db: DUP3 000021dc: ADD 000021dd: MSTORE 000021de: PUSH1 0x84 000021e0: ADD 000021e1: PUSH2 0x0a89 000021e4: JUMP 000021e5: JUMPDEST 000021e6: DUP5 000021e7: PUSH1 0x01 000021e9: PUSH1 0x01 000021eb: PUSH1 0xa0 000021ed: SHL 000021ee: SUB 000021ef: AND 000021f0: DUP3 000021f1: PUSH1 0x00 000021f3: ADD 000021f4: MLOAD 000021f5: PUSH1 0x01 000021f7: PUSH1 0x01 000021f9: PUSH1 0xa0 000021fb: SHL 000021fc: SUB 000021fd: AND 000021fe: EQ 000021ff: PUSH2 0x2270 00002202: JUMPI 00002203: PUSH1 0x40 00002205: MLOAD 00002206: PUSH3 0x461bcd 0000220a: PUSH1 0xe5 0000220c: SHL 0000220d: DUP2 0000220e: MSTORE 0000220f: PUSH1 0x20 00002211: PUSH1 0x04 00002213: DUP3 00002214: ADD 00002215: MSTORE 00002216: PUSH1 0x26 00002218: PUSH1 0x24 0000221a: DUP3 0000221b: ADD 0000221c: MSTORE 0000221d: PUSH32 0x455243373231413a207472616e736665722066726f6d20696e636f7272656374 0000223e: PUSH1 0x44 00002240: DUP3 00002241: ADD 00002242: MSTORE 00002243: PUSH32 0x206f776e65720000000000000000000000000000000000000000000000000000 00002264: PUSH1 0x64 00002266: DUP3 00002267: ADD 00002268: MSTORE 00002269: PUSH1 0x84 0000226b: ADD 0000226c: PUSH2 0x0a89 0000226f: JUMP 00002270: JUMPDEST 00002271: PUSH1 0x01 00002273: PUSH1 0x01 00002275: PUSH1 0xa0 00002277: SHL 00002278: SUB 00002279: DUP5 0000227a: AND 0000227b: PUSH2 0x22ec 0000227e: JUMPI 0000227f: PUSH1 0x40 00002281: MLOAD 00002282: PUSH3 0x461bcd 00002286: PUSH1 0xe5 00002288: SHL 00002289: DUP2 0000228a: MSTORE 0000228b: PUSH1 0x20 0000228d: PUSH1 0x04 0000228f: DUP3 00002290: ADD 00002291: MSTORE 00002292: PUSH1 0x25 00002294: PUSH1 0x24 00002296: DUP3 00002297: ADD 00002298: MSTORE 00002299: PUSH32 0x455243373231413a207472616e7366657220746f20746865207a65726f206164 000022ba: PUSH1 0x44 000022bc: DUP3 000022bd: ADD 000022be: MSTORE 000022bf: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000 000022e0: PUSH1 0x64 000022e2: DUP3 000022e3: ADD 000022e4: MSTORE 000022e5: PUSH1 0x84 000022e7: ADD 000022e8: PUSH2 0x0a89 000022eb: JUMP 000022ec: JUMPDEST 000022ed: PUSH2 0x22fc 000022f0: PUSH1 0x00 000022f2: DUP5 000022f3: DUP5 000022f4: PUSH1 0x00 000022f6: ADD 000022f7: MLOAD 000022f8: PUSH2 0x20c0 000022fb: JUMP 000022fc: JUMPDEST 000022fd: PUSH1 0x01 000022ff: PUSH1 0x01 00002301: PUSH1 0xa0 00002303: SHL 00002304: SUB 00002305: DUP6 00002306: AND 00002307: PUSH1 0x00 00002309: SWAP1 0000230a: DUP2 0000230b: MSTORE 0000230c: PUSH1 0x04 0000230e: PUSH1 0x20 00002310: MSTORE 00002311: PUSH1 0x40 00002313: DUP2 00002314: KECCAK256 00002315: DUP1 00002316: SLOAD 00002317: PUSH1 0x01 00002319: SWAP3 0000231a: SWAP1 0000231b: PUSH2 0x232e 0000231e: SWAP1 0000231f: DUP5 00002320: SWAP1 00002321: PUSH1 0x01 00002323: PUSH1 0x01 00002325: PUSH1 0x80 00002327: SHL 00002328: SUB 00002329: AND 0000232a: PUSH2 0x39ef 0000232d: JUMP 0000232e: JUMPDEST 0000232f: DUP3 00002330: SLOAD 00002331: PUSH2 0x0100 00002334: SWAP3 00002335: SWAP1 00002336: SWAP3 00002337: EXP 00002338: PUSH1 0x01 0000233a: PUSH1 0x01 0000233c: PUSH1 0x80 0000233e: SHL 0000233f: SUB 00002340: DUP2 00002341: DUP2 00002342: MUL 00002343: NOT 00002344: SWAP1 00002345: SWAP4 00002346: AND 00002347: SWAP2 00002348: DUP4 00002349: AND 0000234a: MUL 0000234b: OR 0000234c: SWAP1 0000234d: SWAP2 0000234e: SSTORE 0000234f: PUSH1 0x01 00002351: PUSH1 0x01 00002353: PUSH1 0xa0 00002355: SHL 00002356: SUB 00002357: DUP7 00002358: AND 00002359: PUSH1 0x00 0000235b: SWAP1 0000235c: DUP2 0000235d: MSTORE 0000235e: PUSH1 0x04 00002360: PUSH1 0x20 00002362: MSTORE 00002363: PUSH1 0x40 00002365: DUP2 00002366: KECCAK256 00002367: DUP1 00002368: SLOAD 00002369: PUSH1 0x01 0000236b: SWAP5 0000236c: POP 0000236d: SWAP1 0000236e: SWAP3 0000236f: PUSH2 0x237a 00002372: SWAP2 00002373: DUP6 00002374: SWAP2 00002375: AND 00002376: PUSH2 0x398d 00002379: JUMP 0000237a: JUMPDEST 0000237b: DUP3 0000237c: SLOAD 0000237d: PUSH1 0x01 0000237f: PUSH1 0x01 00002381: PUSH1 0x80 00002383: SHL 00002384: SUB 00002385: SWAP2 00002386: DUP3 00002387: AND 00002388: PUSH2 0x0100 0000238b: SWAP4 0000238c: SWAP1 0000238d: SWAP4 0000238e: EXP 0000238f: SWAP3 00002390: DUP4 00002391: MUL 00002392: SWAP2 00002393: SWAP1 00002394: SWAP3 00002395: MUL 00002396: NOT 00002397: SWAP1 00002398: SWAP2 00002399: AND 0000239a: OR 0000239b: SWAP1 0000239c: SSTORE 0000239d: POP 0000239e: PUSH1 0x40 000023a0: DUP1 000023a1: MLOAD 000023a2: DUP1 000023a3: DUP3 000023a4: ADD 000023a5: DUP3 000023a6: MSTORE 000023a7: PUSH1 0x01 000023a9: PUSH1 0x01 000023ab: PUSH1 0xa0 000023ad: SHL 000023ae: SUB 000023af: DUP1 000023b0: DUP8 000023b1: AND 000023b2: DUP3 000023b3: MSTORE 000023b4: PUSH8 0xffffffffffffffff 000023bd: TIMESTAMP 000023be: DUP2 000023bf: AND 000023c0: PUSH1 0x20 000023c2: DUP1 000023c3: DUP6 000023c4: ADD 000023c5: SWAP2 000023c6: DUP3 000023c7: MSTORE 000023c8: PUSH1 0x00 000023ca: DUP10 000023cb: DUP2 000023cc: MSTORE 000023cd: PUSH1 0x03 000023cf: SWAP1 000023d0: SWAP2 000023d1: MSTORE 000023d2: SWAP5 000023d3: DUP6 000023d4: KECCAK256 000023d5: SWAP4 000023d6: MLOAD 000023d7: DUP5 000023d8: SLOAD 000023d9: SWAP2 000023da: MLOAD 000023db: SWAP1 000023dc: SWAP3 000023dd: AND 000023de: PUSH1 0x01 000023e0: PUSH1 0xa0 000023e2: SHL 000023e3: MUL 000023e4: PUSH8 0xffffffffffffffff 000023ed: PUSH1 0xa0 000023ef: SHL 000023f0: NOT 000023f1: SWAP3 000023f2: SWAP1 000023f3: SWAP4 000023f4: AND 000023f5: PUSH1 0x01 000023f7: PUSH1 0x01 000023f9: PUSH1 0xa0 000023fb: SHL 000023fc: SUB 000023fd: NOT 000023fe: SWAP1 000023ff: SWAP2 00002400: AND 00002401: OR 00002402: AND 00002403: OR 00002404: SWAP1 00002405: SSTORE 00002406: PUSH2 0x2410 00002409: DUP5 0000240a: PUSH1 0x01 0000240c: PUSH2 0x39b8 0000240f: JUMP 00002410: JUMPDEST 00002411: PUSH1 0x00 00002413: DUP2 00002414: DUP2 00002415: MSTORE 00002416: PUSH1 0x03 00002418: PUSH1 0x20 0000241a: MSTORE 0000241b: PUSH1 0x40 0000241d: SWAP1 0000241e: KECCAK256 0000241f: SLOAD 00002420: SWAP1 00002421: SWAP2 00002422: POP 00002423: PUSH1 0x01 00002425: PUSH1 0x01 00002427: PUSH1 0xa0 00002429: SHL 0000242a: SUB 0000242b: AND 0000242c: PUSH2 0x24b7 0000242f: JUMPI 00002430: PUSH2 0x243a 00002433: DUP2 00002434: PUSH1 0x00 00002436: SLOAD 00002437: GT 00002438: SWAP1 00002439: JUMP 0000243a: JUMPDEST 0000243b: ISZERO 0000243c: PUSH2 0x24b7 0000243f: JUMPI 00002440: PUSH1 0x40 00002442: DUP1 00002443: MLOAD 00002444: DUP1 00002445: DUP3 00002446: ADD 00002447: DUP3 00002448: MSTORE 00002449: DUP5 0000244a: MLOAD 0000244b: PUSH1 0x01 0000244d: PUSH1 0x01 0000244f: PUSH1 0xa0 00002451: SHL 00002452: SUB 00002453: SWAP1 00002454: DUP2 00002455: AND 00002456: DUP3 00002457: MSTORE 00002458: PUSH1 0x20 0000245a: DUP1 0000245b: DUP8 0000245c: ADD 0000245d: MLOAD 0000245e: PUSH8 0xffffffffffffffff 00002467: SWAP1 00002468: DUP2 00002469: AND 0000246a: DUP3 0000246b: DUP6 0000246c: ADD 0000246d: SWAP1 0000246e: DUP2 0000246f: MSTORE 00002470: PUSH1 0x00 00002472: DUP8 00002473: DUP2 00002474: MSTORE 00002475: PUSH1 0x03 00002477: SWAP1 00002478: SWAP4 00002479: MSTORE 0000247a: SWAP5 0000247b: SWAP1 0000247c: SWAP2 0000247d: KECCAK256 0000247e: SWAP3 0000247f: MLOAD 00002480: DUP4 00002481: SLOAD 00002482: SWAP5 00002483: MLOAD 00002484: PUSH1 0x01 00002486: PUSH1 0x01 00002488: PUSH1 0xa0 0000248a: SHL 0000248b: SUB 0000248c: NOT 0000248d: SWAP1 0000248e: SWAP6 0000248f: AND 00002490: SWAP3 00002491: AND 00002492: SWAP2 00002493: SWAP1 00002494: SWAP2 00002495: OR 00002496: PUSH8 0xffffffffffffffff 0000249f: PUSH1 0xa0 000024a1: SHL 000024a2: NOT 000024a3: AND 000024a4: PUSH1 0x01 000024a6: PUSH1 0xa0 000024a8: SHL 000024a9: SWAP4 000024aa: SWAP1 000024ab: SWAP2 000024ac: AND 000024ad: SWAP3 000024ae: SWAP1 000024af: SWAP3 000024b0: MUL 000024b1: SWAP2 000024b2: SWAP1 000024b3: SWAP2 000024b4: OR 000024b5: SWAP1 000024b6: SSTORE 000024b7: JUMPDEST 000024b8: DUP4 000024b9: DUP6 000024ba: PUSH1 0x01 000024bc: PUSH1 0x01 000024be: PUSH1 0xa0 000024c0: SHL 000024c1: SUB 000024c2: AND 000024c3: DUP8 000024c4: PUSH1 0x01 000024c6: PUSH1 0x01 000024c8: PUSH1 0xa0 000024ca: SHL 000024cb: SUB 000024cc: AND 000024cd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000024ee: PUSH1 0x40 000024f0: MLOAD 000024f1: PUSH1 0x40 000024f3: MLOAD 000024f4: DUP1 000024f5: SWAP2 000024f6: SUB 000024f7: SWAP1 000024f8: LOG4 000024f9: JUMPDEST 000024fa: POP 000024fb: POP 000024fc: POP 000024fd: POP 000024fe: POP 000024ff: POP 00002500: JUMP 00002501: JUMPDEST 00002502: PUSH1 0x00 00002504: DUP3 00002505: DUP2 00002506: MSTORE 00002507: PUSH1 0x08 00002509: PUSH1 0x20 0000250b: MSTORE 0000250c: PUSH1 0x40 0000250e: SWAP1 0000250f: KECCAK256 00002510: PUSH1 0x01 00002512: ADD 00002513: SLOAD 00002514: PUSH2 0x251d 00002517: DUP2 00002518: CALLER 00002519: PUSH2 0x1b0d 0000251c: JUMP 0000251d: JUMPDEST 0000251e: PUSH2 0x0bdc 00002521: DUP4 00002522: DUP4 00002523: PUSH2 0x2aa5 00002526: JUMP 00002527: JUMPDEST 00002528: PUSH1 0x01 0000252a: PUSH1 0x01 0000252c: PUSH1 0xa0 0000252e: SHL 0000252f: SUB 00002530: DUP2 00002531: AND 00002532: CALLER 00002533: EQ 00002534: PUSH2 0x25a5 00002537: JUMPI 00002538: PUSH1 0x40 0000253a: MLOAD 0000253b: PUSH3 0x461bcd 0000253f: PUSH1 0xe5 00002541: SHL 00002542: DUP2 00002543: MSTORE 00002544: PUSH1 0x20 00002546: PUSH1 0x04 00002548: DUP3 00002549: ADD 0000254a: MSTORE 0000254b: PUSH1 0x2f 0000254d: PUSH1 0x24 0000254f: DUP3 00002550: ADD 00002551: MSTORE 00002552: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 00002573: PUSH1 0x44 00002575: DUP3 00002576: ADD 00002577: MSTORE 00002578: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000 00002599: PUSH1 0x64 0000259b: DUP3 0000259c: ADD 0000259d: MSTORE 0000259e: PUSH1 0x84 000025a0: ADD 000025a1: PUSH2 0x0a89 000025a4: JUMP 000025a5: JUMPDEST 000025a6: PUSH2 0x1271 000025a9: DUP3 000025aa: DUP3 000025ab: PUSH2 0x2bd4 000025ae: JUMP 000025af: JUMPDEST 000025b0: PUSH1 0x00 000025b2: PUSH2 0x17d0 000025b5: DUP4 000025b6: PUSH1 0x01 000025b8: PUSH1 0x01 000025ba: PUSH1 0xa0 000025bc: SHL 000025bd: SUB 000025be: DUP5 000025bf: AND 000025c0: PUSH2 0x2c57 000025c3: JUMP 000025c4: JUMPDEST 000025c5: CALLVALUE 000025c6: DUP2 000025c7: PUSH1 0x12 000025c9: SLOAD 000025ca: PUSH2 0x25d3 000025cd: SWAP2 000025ce: SWAP1 000025cf: PUSH2 0x39d0 000025d2: JUMP 000025d3: JUMPDEST 000025d4: GT 000025d5: ISZERO 000025d6: PUSH2 0x2647 000025d9: JUMPI 000025da: PUSH1 0x40 000025dc: MLOAD 000025dd: PUSH3 0x461bcd 000025e1: PUSH1 0xe5 000025e3: SHL 000025e4: DUP2 000025e5: MSTORE 000025e6: PUSH1 0x20 000025e8: PUSH1 0x04 000025ea: DUP3 000025eb: ADD 000025ec: MSTORE 000025ed: PUSH1 0x35 000025ef: PUSH1 0x24 000025f1: DUP3 000025f2: ADD 000025f3: MSTORE 000025f4: PUSH32 0x5468654c6f7374476c697463686573436f6d69633a2045746865722076616c75 00002615: PUSH1 0x44 00002617: DUP3 00002618: ADD 00002619: MSTORE 0000261a: PUSH32 0x652073656e74206973206e6f7420636f72726563740000000000000000000000 0000263b: PUSH1 0x64 0000263d: DUP3 0000263e: ADD 0000263f: MSTORE 00002640: PUSH1 0x84 00002642: ADD 00002643: PUSH2 0x0a89 00002646: JUMP 00002647: JUMPDEST 00002648: PUSH2 0x1115 0000264b: CALLER 0000264c: DUP3 0000264d: JUMPDEST 0000264e: PUSH2 0x1271 00002651: DUP3 00002652: DUP3 00002653: PUSH2 0x2d74 00002656: JUMP 00002657: JUMPDEST 00002658: PUSH1 0x40 0000265a: DUP1 0000265b: MLOAD 0000265c: DUP1 0000265d: DUP3 0000265e: ADD 0000265f: SWAP1 00002660: SWAP2 00002661: MSTORE 00002662: PUSH1 0x00 00002664: DUP1 00002665: DUP3 00002666: MSTORE 00002667: PUSH1 0x20 00002669: DUP3 0000266a: ADD 0000266b: MSTORE 0000266c: PUSH2 0x2676 0000266f: DUP3 00002670: PUSH1 0x00 00002672: SLOAD 00002673: GT 00002674: SWAP1 00002675: JUMP 00002676: JUMPDEST 00002677: PUSH2 0x26e8 0000267a: JUMPI 0000267b: PUSH1 0x40 0000267d: MLOAD 0000267e: PUSH3 0x461bcd 00002682: PUSH1 0xe5 00002684: SHL 00002685: DUP2 00002686: MSTORE 00002687: PUSH1 0x20 00002689: PUSH1 0x04 0000268b: DUP3 0000268c: ADD 0000268d: MSTORE 0000268e: PUSH1 0x2a 00002690: PUSH1 0x24 00002692: DUP3 00002693: ADD 00002694: MSTORE 00002695: PUSH32 0x455243373231413a206f776e657220717565727920666f72206e6f6e65786973 000026b6: PUSH1 0x44 000026b8: DUP3 000026b9: ADD 000026ba: MSTORE 000026bb: PUSH32 0x74656e7420746f6b656e00000000000000000000000000000000000000000000 000026dc: PUSH1 0x64 000026de: DUP3 000026df: ADD 000026e0: MSTORE 000026e1: PUSH1 0x84 000026e3: ADD 000026e4: PUSH2 0x0a89 000026e7: JUMP 000026e8: JUMPDEST 000026e9: PUSH1 0x00 000026eb: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014 0000270c: DUP4 0000270d: LT 0000270e: PUSH2 0x2749 00002711: JUMPI 00002712: PUSH2 0x273b 00002715: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014 00002736: DUP5 00002737: PUSH2 0x3a17 0000273a: JUMP 0000273b: JUMPDEST 0000273c: PUSH2 0x2746 0000273f: SWAP1 00002740: PUSH1 0x01 00002742: PUSH2 0x39b8 00002745: JUMP 00002746: JUMPDEST 00002747: SWAP1 00002748: POP 00002749: JUMPDEST 0000274a: DUP3 0000274b: JUMPDEST 0000274c: DUP2 0000274d: DUP2 0000274e: LT 0000274f: PUSH2 0x27b5 00002752: JUMPI 00002753: PUSH1 0x00 00002755: DUP2 00002756: DUP2 00002757: MSTORE 00002758: PUSH1 0x03 0000275a: PUSH1 0x20 0000275c: SWAP1 0000275d: DUP2 0000275e: MSTORE 0000275f: PUSH1 0x40 00002761: SWAP2 00002762: DUP3 00002763: SWAP1 00002764: KECCAK256 00002765: DUP3 00002766: MLOAD 00002767: DUP1 00002768: DUP5 00002769: ADD 0000276a: SWAP1 0000276b: SWAP4 0000276c: MSTORE 0000276d: SLOAD 0000276e: PUSH1 0x01 00002770: PUSH1 0x01 00002772: PUSH1 0xa0 00002774: SHL 00002775: SUB 00002776: DUP2 00002777: AND 00002778: DUP1 00002779: DUP5 0000277a: MSTORE 0000277b: PUSH1 0x01 0000277d: PUSH1 0xa0 0000277f: SHL 00002780: SWAP1 00002781: SWAP2 00002782: DIV 00002783: PUSH8 0xffffffffffffffff 0000278c: AND 0000278d: SWAP2 0000278e: DUP4 0000278f: ADD 00002790: SWAP2 00002791: SWAP1 00002792: SWAP2 00002793: MSTORE 00002794: ISZERO 00002795: PUSH2 0x27a2 00002798: JUMPI 00002799: SWAP3 0000279a: POP 0000279b: PUSH2 0x0977 0000279e: SWAP2 0000279f: POP 000027a0: POP 000027a1: JUMP 000027a2: JUMPDEST 000027a3: POP 000027a4: DUP1 000027a5: PUSH2 0x27ad 000027a8: DUP2 000027a9: PUSH2 0x3a5a 000027ac: JUMP 000027ad: JUMPDEST 000027ae: SWAP2 000027af: POP 000027b0: POP 000027b1: PUSH2 0x274b 000027b4: JUMP 000027b5: JUMPDEST 000027b6: POP 000027b7: PUSH1 0x40 000027b9: MLOAD 000027ba: PUSH3 0x461bcd 000027be: PUSH1 0xe5 000027c0: SHL 000027c1: DUP2 000027c2: MSTORE 000027c3: PUSH1 0x20 000027c5: PUSH1 0x04 000027c7: DUP3 000027c8: ADD 000027c9: MSTORE 000027ca: PUSH1 0x2f 000027cc: PUSH1 0x24 000027ce: DUP3 000027cf: ADD 000027d0: MSTORE 000027d1: PUSH32 0x455243373231413a20756e61626c6520746f2064657465726d696e6520746865 000027f2: PUSH1 0x44 000027f4: DUP3 000027f5: ADD 000027f6: MSTORE 000027f7: PUSH32 0x206f776e6572206f6620746f6b656e0000000000000000000000000000000000 00002818: PUSH1 0x64 0000281a: DUP3 0000281b: ADD 0000281c: MSTORE 0000281d: PUSH1 0x84 0000281f: ADD 00002820: PUSH2 0x0a89 00002823: JUMP 00002824: JUMPDEST 00002825: PUSH1 0x0a 00002827: DUP1 00002828: SLOAD 00002829: PUSH1 0x01 0000282b: PUSH1 0x01 0000282d: PUSH1 0xa0 0000282f: SHL 00002830: SUB 00002831: DUP4 00002832: DUP2 00002833: AND 00002834: PUSH1 0x01 00002836: PUSH1 0x01 00002838: PUSH1 0xa0 0000283a: SHL 0000283b: SUB 0000283c: NOT 0000283d: DUP4 0000283e: AND 0000283f: DUP2 00002840: OR 00002841: SWAP1 00002842: SWAP4 00002843: SSTORE 00002844: PUSH1 0x40 00002846: MLOAD 00002847: SWAP2 00002848: AND 00002849: SWAP2 0000284a: SWAP1 0000284b: DUP3 0000284c: SWAP1 0000284d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000286e: SWAP1 0000286f: PUSH1 0x00 00002871: SWAP1 00002872: LOG3 00002873: POP 00002874: POP 00002875: JUMP 00002876: JUMPDEST 00002877: CALLVALUE 00002878: DUP2 00002879: PUSH1 0x10 0000287b: SLOAD 0000287c: PUSH2 0x25d3 0000287f: SWAP2 00002880: SWAP1 00002881: PUSH2 0x39d0 00002884: JUMP 00002885: JUMPDEST 00002886: PUSH1 0x00 00002888: PUSH2 0x17d0 0000288b: DUP4 0000288c: DUP4 0000288d: PUSH2 0x2d8e 00002890: JUMP 00002891: JUMPDEST 00002892: PUSH1 0x00 00002894: PUSH1 0x01 00002896: PUSH1 0x01 00002898: PUSH1 0xa0 0000289a: SHL 0000289b: SUB 0000289c: DUP5 0000289d: AND 0000289e: EXTCODESIZE 0000289f: ISZERO 000028a0: PUSH2 0x29e9 000028a3: JUMPI 000028a4: PUSH1 0x40 000028a6: MLOAD 000028a7: PUSH4 0x0a85bd01 000028ac: PUSH1 0xe1 000028ae: SHL 000028af: DUP2 000028b0: MSTORE 000028b1: PUSH1 0x01 000028b3: PUSH1 0x01 000028b5: PUSH1 0xa0 000028b7: SHL 000028b8: SUB 000028b9: DUP6 000028ba: AND 000028bb: SWAP1 000028bc: PUSH4 0x150b7a02 000028c1: SWAP1 000028c2: PUSH2 0x28d5 000028c5: SWAP1 000028c6: CALLER 000028c7: SWAP1 000028c8: DUP10 000028c9: SWAP1 000028ca: DUP9 000028cb: SWAP1 000028cc: DUP9 000028cd: SWAP1 000028ce: PUSH1 0x04 000028d0: ADD 000028d1: PUSH2 0x393e 000028d4: JUMP 000028d5: JUMPDEST 000028d6: PUSH1 0x20 000028d8: PUSH1 0x40 000028da: MLOAD 000028db: DUP1 000028dc: DUP4 000028dd: SUB 000028de: DUP2 000028df: PUSH1 0x00 000028e1: DUP8 000028e2: DUP1 000028e3: EXTCODESIZE 000028e4: ISZERO 000028e5: DUP1 000028e6: ISZERO 000028e7: PUSH2 0x28ef 000028ea: JUMPI 000028eb: PUSH1 0x00 000028ed: DUP1 000028ee: REVERT 000028ef: JUMPDEST 000028f0: POP 000028f1: GAS 000028f2: CALL 000028f3: SWAP3 000028f4: POP 000028f5: POP 000028f6: POP 000028f7: DUP1 000028f8: ISZERO 000028f9: PUSH2 0x291f 000028fc: JUMPI 000028fd: POP 000028fe: PUSH1 0x40 00002900: DUP1 00002901: MLOAD 00002902: PUSH1 0x1f 00002904: RETURNDATASIZE 00002905: SWAP1 00002906: DUP2 00002907: ADD 00002908: PUSH1 0x1f 0000290a: NOT 0000290b: AND 0000290c: DUP3 0000290d: ADD 0000290e: SWAP1 0000290f: SWAP3 00002910: MSTORE 00002911: PUSH2 0x291c 00002914: SWAP2 00002915: DUP2 00002916: ADD 00002917: SWAP1 00002918: PUSH2 0x377c 0000291b: JUMP 0000291c: JUMPDEST 0000291d: PUSH1 0x01 0000291f: JUMPDEST 00002920: PUSH2 0x29cf 00002923: JUMPI 00002924: RETURNDATASIZE 00002925: DUP1 00002926: DUP1 00002927: ISZERO 00002928: PUSH2 0x294d 0000292b: JUMPI 0000292c: PUSH1 0x40 0000292e: MLOAD 0000292f: SWAP2 00002930: POP 00002931: PUSH1 0x1f 00002933: NOT 00002934: PUSH1 0x3f 00002936: RETURNDATASIZE 00002937: ADD 00002938: AND 00002939: DUP3 0000293a: ADD 0000293b: PUSH1 0x40 0000293d: MSTORE 0000293e: RETURNDATASIZE 0000293f: DUP3 00002940: MSTORE 00002941: RETURNDATASIZE 00002942: PUSH1 0x00 00002944: PUSH1 0x20 00002946: DUP5 00002947: ADD 00002948: RETURNDATACOPY 00002949: PUSH2 0x2952 0000294c: JUMP 0000294d: JUMPDEST 0000294e: PUSH1 0x60 00002950: SWAP2 00002951: POP 00002952: JUMPDEST 00002953: POP 00002954: DUP1 00002955: MLOAD 00002956: PUSH2 0x29c7 00002959: JUMPI 0000295a: PUSH1 0x40 0000295c: MLOAD 0000295d: PUSH3 0x461bcd 00002961: PUSH1 0xe5 00002963: SHL 00002964: DUP2 00002965: MSTORE 00002966: PUSH1 0x20 00002968: PUSH1 0x04 0000296a: DUP3 0000296b: ADD 0000296c: MSTORE 0000296d: PUSH1 0x33 0000296f: PUSH1 0x24 00002971: DUP3 00002972: ADD 00002973: MSTORE 00002974: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152 00002995: PUSH1 0x44 00002997: DUP3 00002998: ADD 00002999: MSTORE 0000299a: PUSH32 0x6563656976657220696d706c656d656e74657200000000000000000000000000 000029bb: PUSH1 0x64 000029bd: DUP3 000029be: ADD 000029bf: MSTORE 000029c0: PUSH1 0x84 000029c2: ADD 000029c3: PUSH2 0x0a89 000029c6: JUMP 000029c7: JUMPDEST 000029c8: DUP1 000029c9: MLOAD 000029ca: DUP2 000029cb: PUSH1 0x20 000029cd: ADD 000029ce: REVERT 000029cf: JUMPDEST 000029d0: PUSH1 0x01 000029d2: PUSH1 0x01 000029d4: PUSH1 0xe0 000029d6: SHL 000029d7: SUB 000029d8: NOT 000029d9: AND 000029da: PUSH4 0x0a85bd01 000029df: PUSH1 0xe1 000029e1: SHL 000029e2: EQ 000029e3: SWAP1 000029e4: POP 000029e5: PUSH2 0x29ed 000029e8: JUMP 000029e9: JUMPDEST 000029ea: POP 000029eb: PUSH1 0x01 000029ed: JUMPDEST 000029ee: SWAP5 000029ef: SWAP4 000029f0: POP 000029f1: POP 000029f2: POP 000029f3: POP 000029f4: JUMP 000029f5: JUMPDEST 000029f6: PUSH1 0x00 000029f8: DUP3 000029f9: DUP2 000029fa: MSTORE 000029fb: PUSH1 0x08 000029fd: PUSH1 0x20 000029ff: SWAP1 00002a00: DUP2 00002a01: MSTORE 00002a02: PUSH1 0x40 00002a04: DUP1 00002a05: DUP4 00002a06: KECCAK256 00002a07: PUSH1 0x01 00002a09: PUSH1 0x01 00002a0b: PUSH1 0xa0 00002a0d: SHL 00002a0e: SUB 00002a0f: DUP6 00002a10: AND 00002a11: DUP5 00002a12: MSTORE 00002a13: SWAP1 00002a14: SWAP2 00002a15: MSTORE 00002a16: SWAP1 00002a17: KECCAK256 00002a18: SLOAD 00002a19: PUSH1 0xff 00002a1b: AND 00002a1c: PUSH2 0x1271 00002a1f: JUMPI 00002a20: PUSH2 0x2a33 00002a23: DUP2 00002a24: PUSH1 0x01 00002a26: PUSH1 0x01 00002a28: PUSH1 0xa0 00002a2a: SHL 00002a2b: SUB 00002a2c: AND 00002a2d: PUSH1 0x14 00002a2f: PUSH2 0x2dc6 00002a32: JUMP 00002a33: JUMPDEST 00002a34: PUSH2 0x2a3e 00002a37: DUP4 00002a38: PUSH1 0x20 00002a3a: PUSH2 0x2dc6 00002a3d: JUMP 00002a3e: JUMPDEST 00002a3f: PUSH1 0x40 00002a41: MLOAD 00002a42: PUSH1 0x20 00002a44: ADD 00002a45: PUSH2 0x2a4f 00002a48: SWAP3 00002a49: SWAP2 00002a4a: SWAP1 00002a4b: PUSH2 0x38bd 00002a4e: JUMP 00002a4f: JUMPDEST 00002a50: PUSH1 0x40 00002a52: DUP1 00002a53: MLOAD 00002a54: PUSH1 0x1f 00002a56: NOT 00002a57: DUP2 00002a58: DUP5 00002a59: SUB 00002a5a: ADD 00002a5b: DUP2 00002a5c: MSTORE 00002a5d: SWAP1 00002a5e: DUP3 00002a5f: SWAP1 00002a60: MSTORE 00002a61: PUSH3 0x461bcd 00002a65: PUSH1 0xe5 00002a67: SHL 00002a68: DUP3 00002a69: MSTORE 00002a6a: PUSH2 0x0a89 00002a6d: SWAP2 00002a6e: PUSH1 0x04 00002a70: ADD 00002a71: PUSH2 0x397a 00002a74: JUMP 00002a75: JUMPDEST 00002a76: PUSH1 0x00 00002a78: PUSH2 0x0974 00002a7b: DUP3 00002a7c: SLOAD 00002a7d: SWAP1 00002a7e: JUMP 00002a7f: JUMPDEST 00002a80: PUSH1 0x00 00002a82: DUP3 00002a83: DUP2 00002a84: MSTORE 00002a85: PUSH1 0x08 00002a87: PUSH1 0x20 00002a89: MSTORE 00002a8a: PUSH1 0x40 00002a8c: SWAP1 00002a8d: KECCAK256 00002a8e: PUSH1 0x01 00002a90: ADD 00002a91: SLOAD 00002a92: PUSH2 0x2a9b 00002a95: DUP2 00002a96: CALLER 00002a97: PUSH2 0x1b0d 00002a9a: JUMP 00002a9b: JUMPDEST 00002a9c: PUSH2 0x0bdc 00002a9f: DUP4 00002aa0: DUP4 00002aa1: PUSH2 0x2bd4 00002aa4: JUMP 00002aa5: JUMPDEST 00002aa6: PUSH1 0x00 00002aa8: DUP3 00002aa9: DUP2 00002aaa: MSTORE 00002aab: PUSH1 0x08 00002aad: PUSH1 0x20 00002aaf: SWAP1 00002ab0: DUP2 00002ab1: MSTORE 00002ab2: PUSH1 0x40 00002ab4: DUP1 00002ab5: DUP4 00002ab6: KECCAK256 00002ab7: PUSH1 0x01 00002ab9: PUSH1 0x01 00002abb: PUSH1 0xa0 00002abd: SHL 00002abe: SUB 00002abf: DUP6 00002ac0: AND 00002ac1: DUP5 00002ac2: MSTORE 00002ac3: SWAP1 00002ac4: SWAP2 00002ac5: MSTORE 00002ac6: SWAP1 00002ac7: KECCAK256 00002ac8: SLOAD 00002ac9: PUSH1 0xff 00002acb: AND 00002acc: PUSH2 0x1271 00002acf: JUMPI 00002ad0: PUSH1 0x00 00002ad2: DUP3 00002ad3: DUP2 00002ad4: MSTORE 00002ad5: PUSH1 0x08 00002ad7: PUSH1 0x20 00002ad9: SWAP1 00002ada: DUP2 00002adb: MSTORE 00002adc: PUSH1 0x40 00002ade: DUP1 00002adf: DUP4 00002ae0: KECCAK256 00002ae1: PUSH1 0x01 00002ae3: PUSH1 0x01 00002ae5: PUSH1 0xa0 00002ae7: SHL 00002ae8: SUB 00002ae9: DUP6 00002aea: AND 00002aeb: DUP5 00002aec: MSTORE 00002aed: SWAP1 00002aee: SWAP2 00002aef: MSTORE 00002af0: SWAP1 00002af1: KECCAK256 00002af2: DUP1 00002af3: SLOAD 00002af4: PUSH1 0xff 00002af6: NOT 00002af7: AND 00002af8: PUSH1 0x01 00002afa: OR 00002afb: SWAP1 00002afc: SSTORE 00002afd: PUSH2 0x2b03 00002b00: CALLER 00002b01: SWAP1 00002b02: JUMP 00002b03: JUMPDEST 00002b04: PUSH1 0x01 00002b06: PUSH1 0x01 00002b08: PUSH1 0xa0 00002b0a: SHL 00002b0b: SUB 00002b0c: AND 00002b0d: DUP2 00002b0e: PUSH1 0x01 00002b10: PUSH1 0x01 00002b12: PUSH1 0xa0 00002b14: SHL 00002b15: SUB 00002b16: AND 00002b17: DUP4 00002b18: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00002b39: PUSH1 0x40 00002b3b: MLOAD 00002b3c: PUSH1 0x40 00002b3e: MLOAD 00002b3f: DUP1 00002b40: SWAP2 00002b41: SUB 00002b42: SWAP1 00002b43: LOG4 00002b44: POP 00002b45: POP 00002b46: JUMP 00002b47: JUMPDEST 00002b48: PUSH1 0x00 00002b4a: DUP2 00002b4b: DUP2 00002b4c: MSTORE 00002b4d: PUSH1 0x01 00002b4f: DUP4 00002b50: ADD 00002b51: PUSH1 0x20 00002b53: MSTORE 00002b54: PUSH1 0x40 00002b56: DUP2 00002b57: KECCAK256 00002b58: SLOAD 00002b59: PUSH2 0x2b8e 00002b5c: JUMPI 00002b5d: POP 00002b5e: DUP2 00002b5f: SLOAD 00002b60: PUSH1 0x01 00002b62: DUP2 00002b63: DUP2 00002b64: ADD 00002b65: DUP5 00002b66: SSTORE 00002b67: PUSH1 0x00 00002b69: DUP5 00002b6a: DUP2 00002b6b: MSTORE 00002b6c: PUSH1 0x20 00002b6e: DUP1 00002b6f: DUP3 00002b70: KECCAK256 00002b71: SWAP1 00002b72: SWAP4 00002b73: ADD 00002b74: DUP5 00002b75: SWAP1 00002b76: SSTORE 00002b77: DUP5 00002b78: SLOAD 00002b79: DUP5 00002b7a: DUP3 00002b7b: MSTORE 00002b7c: DUP3 00002b7d: DUP7 00002b7e: ADD 00002b7f: SWAP1 00002b80: SWAP4 00002b81: MSTORE 00002b82: PUSH1 0x40 00002b84: SWAP1 00002b85: KECCAK256 00002b86: SWAP2 00002b87: SWAP1 00002b88: SWAP2 00002b89: SSTORE 00002b8a: PUSH2 0x0da6 00002b8d: JUMP 00002b8e: JUMPDEST 00002b8f: POP 00002b90: PUSH1 0x00 00002b92: PUSH2 0x0da6 00002b95: JUMP 00002b96: JUMPDEST 00002b97: PUSH1 0x00 00002b99: PUSH1 0x01 00002b9b: PUSH1 0x01 00002b9d: PUSH1 0xe0 00002b9f: SHL 00002ba0: SUB 00002ba1: NOT 00002ba2: DUP3 00002ba3: AND 00002ba4: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 00002bc5: EQ 00002bc6: DUP1 00002bc7: PUSH2 0x0974 00002bca: JUMPI 00002bcb: POP 00002bcc: PUSH2 0x0974 00002bcf: DUP3 00002bd0: PUSH2 0x2fed 00002bd3: JUMP 00002bd4: JUMPDEST 00002bd5: PUSH1 0x00 00002bd7: DUP3 00002bd8: DUP2 00002bd9: MSTORE 00002bda: PUSH1 0x08 00002bdc: PUSH1 0x20 00002bde: SWAP1 00002bdf: DUP2 00002be0: MSTORE 00002be1: PUSH1 0x40 00002be3: DUP1 00002be4: DUP4 00002be5: KECCAK256 00002be6: PUSH1 0x01 00002be8: PUSH1 0x01 00002bea: PUSH1 0xa0 00002bec: SHL 00002bed: SUB 00002bee: DUP6 00002bef: AND 00002bf0: DUP5 00002bf1: MSTORE 00002bf2: SWAP1 00002bf3: SWAP2 00002bf4: MSTORE 00002bf5: SWAP1 00002bf6: KECCAK256 00002bf7: SLOAD 00002bf8: PUSH1 0xff 00002bfa: AND 00002bfb: ISZERO 00002bfc: PUSH2 0x1271 00002bff: JUMPI 00002c00: PUSH1 0x00 00002c02: DUP3 00002c03: DUP2 00002c04: MSTORE 00002c05: PUSH1 0x08 00002c07: PUSH1 0x20 00002c09: SWAP1 00002c0a: DUP2 00002c0b: MSTORE 00002c0c: PUSH1 0x40 00002c0e: DUP1 00002c0f: DUP4 00002c10: KECCAK256 00002c11: PUSH1 0x01 00002c13: PUSH1 0x01 00002c15: PUSH1 0xa0 00002c17: SHL 00002c18: SUB 00002c19: DUP6 00002c1a: AND 00002c1b: DUP1 00002c1c: DUP6 00002c1d: MSTORE 00002c1e: SWAP3 00002c1f: MSTORE 00002c20: DUP1 00002c21: DUP4 00002c22: KECCAK256 00002c23: DUP1 00002c24: SLOAD 00002c25: PUSH1 0xff 00002c27: NOT 00002c28: AND 00002c29: SWAP1 00002c2a: SSTORE 00002c2b: MLOAD 00002c2c: CALLER 00002c2d: SWAP3 00002c2e: DUP6 00002c2f: SWAP2 00002c30: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00002c51: SWAP2 00002c52: SWAP1 00002c53: LOG4 00002c54: POP 00002c55: POP 00002c56: JUMP 00002c57: JUMPDEST 00002c58: PUSH1 0x00 00002c5a: DUP2 00002c5b: DUP2 00002c5c: MSTORE 00002c5d: PUSH1 0x01 00002c5f: DUP4 00002c60: ADD 00002c61: PUSH1 0x20 00002c63: MSTORE 00002c64: PUSH1 0x40 00002c66: DUP2 00002c67: KECCAK256 00002c68: SLOAD 00002c69: DUP1 00002c6a: ISZERO 00002c6b: PUSH2 0x2d6a 00002c6e: JUMPI 00002c6f: PUSH1 0x00 00002c71: PUSH2 0x2c7b 00002c74: PUSH1 0x01 00002c76: DUP4 00002c77: PUSH2 0x3a17 00002c7a: JUMP 00002c7b: JUMPDEST 00002c7c: DUP6 00002c7d: SLOAD 00002c7e: SWAP1 00002c7f: SWAP2 00002c80: POP 00002c81: PUSH1 0x00 00002c83: SWAP1 00002c84: PUSH2 0x2c8f 00002c87: SWAP1 00002c88: PUSH1 0x01 00002c8a: SWAP1 00002c8b: PUSH2 0x3a17 00002c8e: JUMP 00002c8f: JUMPDEST 00002c90: SWAP1 00002c91: POP 00002c92: DUP2 00002c93: DUP2 00002c94: EQ 00002c95: PUSH2 0x2d10 00002c98: JUMPI 00002c99: PUSH1 0x00 00002c9b: DUP7 00002c9c: PUSH1 0x00 00002c9e: ADD 00002c9f: DUP3 00002ca0: DUP2 00002ca1: SLOAD 00002ca2: DUP2 00002ca3: LT 00002ca4: PUSH2 0x2cbd 00002ca7: JUMPI 00002ca8: PUSH4 0x4e487b71 00002cad: PUSH1 0xe0 00002caf: SHL 00002cb0: PUSH1 0x00 00002cb2: MSTORE 00002cb3: PUSH1 0x32 00002cb5: PUSH1 0x04 00002cb7: MSTORE 00002cb8: PUSH1 0x24 00002cba: PUSH1 0x00 00002cbc: REVERT 00002cbd: JUMPDEST 00002cbe: SWAP1 00002cbf: PUSH1 0x00 00002cc1: MSTORE 00002cc2: PUSH1 0x20 00002cc4: PUSH1 0x00 00002cc6: KECCAK256 00002cc7: ADD 00002cc8: SLOAD 00002cc9: SWAP1 00002cca: POP 00002ccb: DUP1 00002ccc: DUP8 00002ccd: PUSH1 0x00 00002ccf: ADD 00002cd0: DUP5 00002cd1: DUP2 00002cd2: SLOAD 00002cd3: DUP2 00002cd4: LT 00002cd5: PUSH2 0x2cee 00002cd8: JUMPI 00002cd9: PUSH4 0x4e487b71 00002cde: PUSH1 0xe0 00002ce0: SHL 00002ce1: PUSH1 0x00 00002ce3: MSTORE 00002ce4: PUSH1 0x32 00002ce6: PUSH1 0x04 00002ce8: MSTORE 00002ce9: PUSH1 0x24 00002ceb: PUSH1 0x00 00002ced: REVERT 00002cee: JUMPDEST 00002cef: PUSH1 0x00 00002cf1: SWAP2 00002cf2: DUP3 00002cf3: MSTORE 00002cf4: PUSH1 0x20 00002cf6: DUP1 00002cf7: DUP4 00002cf8: KECCAK256 00002cf9: SWAP1 00002cfa: SWAP2 00002cfb: ADD 00002cfc: SWAP3 00002cfd: SWAP1 00002cfe: SWAP3 00002cff: SSTORE 00002d00: SWAP2 00002d01: DUP3 00002d02: MSTORE 00002d03: PUSH1 0x01 00002d05: DUP9 00002d06: ADD 00002d07: SWAP1 00002d08: MSTORE 00002d09: PUSH1 0x40 00002d0b: SWAP1 00002d0c: KECCAK256 00002d0d: DUP4 00002d0e: SWAP1 00002d0f: SSTORE 00002d10: JUMPDEST 00002d11: DUP6 00002d12: SLOAD 00002d13: DUP7 00002d14: SWAP1 00002d15: DUP1 00002d16: PUSH2 0x2d2f 00002d19: JUMPI 00002d1a: PUSH4 0x4e487b71 00002d1f: PUSH1 0xe0 00002d21: SHL 00002d22: PUSH1 0x00 00002d24: MSTORE 00002d25: PUSH1 0x31 00002d27: PUSH1 0x04 00002d29: MSTORE 00002d2a: PUSH1 0x24 00002d2c: PUSH1 0x00 00002d2e: REVERT 00002d2f: JUMPDEST 00002d30: PUSH1 0x01 00002d32: SWAP1 00002d33: SUB 00002d34: DUP2 00002d35: DUP2 00002d36: SWAP1 00002d37: PUSH1 0x00 00002d39: MSTORE 00002d3a: PUSH1 0x20 00002d3c: PUSH1 0x00 00002d3e: KECCAK256 00002d3f: ADD 00002d40: PUSH1 0x00 00002d42: SWAP1 00002d43: SSTORE 00002d44: SWAP1 00002d45: SSTORE 00002d46: DUP6 00002d47: PUSH1 0x01 00002d49: ADD 00002d4a: PUSH1 0x00 00002d4c: DUP7 00002d4d: DUP2 00002d4e: MSTORE 00002d4f: PUSH1 0x20 00002d51: ADD 00002d52: SWAP1 00002d53: DUP2 00002d54: MSTORE 00002d55: PUSH1 0x20 00002d57: ADD 00002d58: PUSH1 0x00 00002d5a: KECCAK256 00002d5b: PUSH1 0x00 00002d5d: SWAP1 00002d5e: SSTORE 00002d5f: PUSH1 0x01 00002d61: SWAP4 00002d62: POP 00002d63: POP 00002d64: POP 00002d65: POP 00002d66: PUSH2 0x0da6 00002d69: JUMP 00002d6a: JUMPDEST 00002d6b: PUSH1 0x00 00002d6d: SWAP2 00002d6e: POP 00002d6f: POP 00002d70: PUSH2 0x0da6 00002d73: JUMP 00002d74: JUMPDEST 00002d75: PUSH2 0x1271 00002d78: DUP3 00002d79: DUP3 00002d7a: PUSH1 0x40 00002d7c: MLOAD 00002d7d: DUP1 00002d7e: PUSH1 0x20 00002d80: ADD 00002d81: PUSH1 0x40 00002d83: MSTORE 00002d84: DUP1 00002d85: PUSH1 0x00 00002d87: DUP2 00002d88: MSTORE 00002d89: POP 00002d8a: PUSH2 0x30bc 00002d8d: JUMP 00002d8e: JUMPDEST 00002d8f: PUSH1 0x00 00002d91: DUP3 00002d92: PUSH1 0x00 00002d94: ADD 00002d95: DUP3 00002d96: DUP2 00002d97: SLOAD 00002d98: DUP2 00002d99: LT 00002d9a: PUSH2 0x2db3 00002d9d: JUMPI 00002d9e: PUSH4 0x4e487b71 00002da3: PUSH1 0xe0 00002da5: SHL 00002da6: PUSH1 0x00 00002da8: MSTORE 00002da9: PUSH1 0x32 00002dab: PUSH1 0x04 00002dad: MSTORE 00002dae: PUSH1 0x24 00002db0: PUSH1 0x00 00002db2: REVERT 00002db3: JUMPDEST 00002db4: SWAP1 00002db5: PUSH1 0x00 00002db7: MSTORE 00002db8: PUSH1 0x20 00002dba: PUSH1 0x00 00002dbc: KECCAK256 00002dbd: ADD 00002dbe: SLOAD 00002dbf: SWAP1 00002dc0: POP 00002dc1: SWAP3 00002dc2: SWAP2 00002dc3: POP 00002dc4: POP 00002dc5: JUMP 00002dc6: JUMPDEST 00002dc7: PUSH1 0x60 00002dc9: PUSH1 0x00 00002dcb: PUSH2 0x2dd5 00002dce: DUP4 00002dcf: PUSH1 0x02 00002dd1: PUSH2 0x39d0 00002dd4: JUMP 00002dd5: JUMPDEST 00002dd6: PUSH2 0x2de0 00002dd9: SWAP1 00002dda: PUSH1 0x02 00002ddc: PUSH2 0x39b8 00002ddf: JUMP 00002de0: JUMPDEST 00002de1: PUSH8 0xffffffffffffffff 00002dea: DUP2 00002deb: GT 00002dec: ISZERO 00002ded: PUSH2 0x2e06 00002df0: JUMPI 00002df1: PUSH4 0x4e487b71 00002df6: PUSH1 0xe0 00002df8: SHL 00002df9: PUSH1 0x00 00002dfb: MSTORE 00002dfc: PUSH1 0x41 00002dfe: PUSH1 0x04 00002e00: MSTORE 00002e01: PUSH1 0x24 00002e03: PUSH1 0x00 00002e05: REVERT 00002e06: JUMPDEST 00002e07: PUSH1 0x40 00002e09: MLOAD 00002e0a: SWAP1 00002e0b: DUP1 00002e0c: DUP3 00002e0d: MSTORE 00002e0e: DUP1 00002e0f: PUSH1 0x1f 00002e11: ADD 00002e12: PUSH1 0x1f 00002e14: NOT 00002e15: AND 00002e16: PUSH1 0x20 00002e18: ADD 00002e19: DUP3 00002e1a: ADD 00002e1b: PUSH1 0x40 00002e1d: MSTORE 00002e1e: DUP1 00002e1f: ISZERO 00002e20: PUSH2 0x2e30 00002e23: JUMPI 00002e24: PUSH1 0x20 00002e26: DUP3 00002e27: ADD 00002e28: DUP2 00002e29: DUP1 00002e2a: CALLDATASIZE 00002e2b: DUP4 00002e2c: CALLDATACOPY 00002e2d: ADD 00002e2e: SWAP1 00002e2f: POP 00002e30: JUMPDEST 00002e31: POP 00002e32: SWAP1 00002e33: POP 00002e34: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00002e55: DUP2 00002e56: PUSH1 0x00 00002e58: DUP2 00002e59: MLOAD 00002e5a: DUP2 00002e5b: LT 00002e5c: PUSH2 0x2e75 00002e5f: JUMPI 00002e60: PUSH4 0x4e487b71 00002e65: PUSH1 0xe0 00002e67: SHL 00002e68: PUSH1 0x00 00002e6a: MSTORE 00002e6b: PUSH1 0x32 00002e6d: PUSH1 0x04 00002e6f: MSTORE 00002e70: PUSH1 0x24 00002e72: PUSH1 0x00 00002e74: REVERT 00002e75: JUMPDEST 00002e76: PUSH1 0x20 00002e78: ADD 00002e79: ADD 00002e7a: SWAP1 00002e7b: PUSH1 0x01 00002e7d: PUSH1 0x01 00002e7f: PUSH1 0xf8 00002e81: SHL 00002e82: SUB 00002e83: NOT 00002e84: AND 00002e85: SWAP1 00002e86: DUP2 00002e87: PUSH1 0x00 00002e89: BYTE 00002e8a: SWAP1 00002e8b: MSTORE8 00002e8c: POP 00002e8d: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000 00002eae: DUP2 00002eaf: PUSH1 0x01 00002eb1: DUP2 00002eb2: MLOAD 00002eb3: DUP2 00002eb4: LT 00002eb5: PUSH2 0x2ece 00002eb8: JUMPI 00002eb9: PUSH4 0x4e487b71 00002ebe: PUSH1 0xe0 00002ec0: SHL 00002ec1: PUSH1 0x00 00002ec3: MSTORE 00002ec4: PUSH1 0x32 00002ec6: PUSH1 0x04 00002ec8: MSTORE 00002ec9: PUSH1 0x24 00002ecb: PUSH1 0x00 00002ecd: REVERT 00002ece: JUMPDEST 00002ecf: PUSH1 0x20 00002ed1: ADD 00002ed2: ADD 00002ed3: SWAP1 00002ed4: PUSH1 0x01 00002ed6: PUSH1 0x01 00002ed8: PUSH1 0xf8 00002eda: SHL 00002edb: SUB 00002edc: NOT 00002edd: AND 00002ede: SWAP1 00002edf: DUP2 00002ee0: PUSH1 0x00 00002ee2: BYTE 00002ee3: SWAP1 00002ee4: MSTORE8 00002ee5: POP 00002ee6: PUSH1 0x00 00002ee8: PUSH2 0x2ef2 00002eeb: DUP5 00002eec: PUSH1 0x02 00002eee: PUSH2 0x39d0 00002ef1: JUMP 00002ef2: JUMPDEST 00002ef3: PUSH2 0x2efd 00002ef6: SWAP1 00002ef7: PUSH1 0x01 00002ef9: PUSH2 0x39b8 00002efc: JUMP 00002efd: JUMPDEST 00002efe: SWAP1 00002eff: POP 00002f00: JUMPDEST 00002f01: PUSH1 0x01 00002f03: DUP2 00002f04: GT 00002f05: ISZERO 00002f06: PUSH2 0x2f9e 00002f09: JUMPI 00002f0a: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000 00002f2b: DUP6 00002f2c: PUSH1 0x0f 00002f2e: AND 00002f2f: PUSH1 0x10 00002f31: DUP2 00002f32: LT 00002f33: PUSH2 0x2f4c 00002f36: JUMPI 00002f37: PUSH4 0x4e487b71 00002f3c: PUSH1 0xe0 00002f3e: SHL 00002f3f: PUSH1 0x00 00002f41: MSTORE 00002f42: PUSH1 0x32 00002f44: PUSH1 0x04 00002f46: MSTORE 00002f47: PUSH1 0x24 00002f49: PUSH1 0x00 00002f4b: REVERT 00002f4c: JUMPDEST 00002f4d: BYTE 00002f4e: PUSH1 0xf8 00002f50: SHL 00002f51: DUP3 00002f52: DUP3 00002f53: DUP2 00002f54: MLOAD 00002f55: DUP2 00002f56: LT 00002f57: PUSH2 0x2f70 00002f5a: JUMPI 00002f5b: PUSH4 0x4e487b71 00002f60: PUSH1 0xe0 00002f62: SHL 00002f63: PUSH1 0x00 00002f65: MSTORE 00002f66: PUSH1 0x32 00002f68: PUSH1 0x04 00002f6a: MSTORE 00002f6b: PUSH1 0x24 00002f6d: PUSH1 0x00 00002f6f: REVERT 00002f70: JUMPDEST 00002f71: PUSH1 0x20 00002f73: ADD 00002f74: ADD 00002f75: SWAP1 00002f76: PUSH1 0x01 00002f78: PUSH1 0x01 00002f7a: PUSH1 0xf8 00002f7c: SHL 00002f7d: SUB 00002f7e: NOT 00002f7f: AND 00002f80: SWAP1 00002f81: DUP2 00002f82: PUSH1 0x00 00002f84: BYTE 00002f85: SWAP1 00002f86: MSTORE8 00002f87: POP 00002f88: PUSH1 0x04 00002f8a: SWAP5 00002f8b: SWAP1 00002f8c: SWAP5 00002f8d: SHR 00002f8e: SWAP4 00002f8f: PUSH2 0x2f97 00002f92: DUP2 00002f93: PUSH2 0x3a5a 00002f96: JUMP 00002f97: JUMPDEST 00002f98: SWAP1 00002f99: POP 00002f9a: PUSH2 0x2f00 00002f9d: JUMP 00002f9e: JUMPDEST 00002f9f: POP 00002fa0: DUP4 00002fa1: ISZERO 00002fa2: PUSH2 0x17d0 00002fa5: JUMPI 00002fa6: PUSH1 0x40 00002fa8: MLOAD 00002fa9: PUSH3 0x461bcd 00002fad: PUSH1 0xe5 00002faf: SHL 00002fb0: DUP2 00002fb1: MSTORE 00002fb2: PUSH1 0x20 00002fb4: PUSH1 0x04 00002fb6: DUP3 00002fb7: ADD 00002fb8: DUP2 00002fb9: SWAP1 00002fba: MSTORE 00002fbb: PUSH1 0x24 00002fbd: DUP3 00002fbe: ADD 00002fbf: MSTORE 00002fc0: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00002fe1: PUSH1 0x44 00002fe3: DUP3 00002fe4: ADD 00002fe5: MSTORE 00002fe6: PUSH1 0x64 00002fe8: ADD 00002fe9: PUSH2 0x0a89 00002fec: JUMP 00002fed: JUMPDEST 00002fee: PUSH1 0x00 00002ff0: PUSH1 0x01 00002ff2: PUSH1 0x01 00002ff4: PUSH1 0xe0 00002ff6: SHL 00002ff7: SUB 00002ff8: NOT 00002ff9: DUP3 00002ffa: AND 00002ffb: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 0000301c: EQ 0000301d: DUP1 0000301e: PUSH2 0x3050 00003021: JUMPI 00003022: POP 00003023: PUSH1 0x01 00003025: PUSH1 0x01 00003027: PUSH1 0xe0 00003029: SHL 0000302a: SUB 0000302b: NOT 0000302c: DUP3 0000302d: AND 0000302e: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000 0000304f: EQ 00003050: JUMPDEST 00003051: DUP1 00003052: PUSH2 0x3084 00003055: JUMPI 00003056: POP 00003057: PUSH1 0x01 00003059: PUSH1 0x01 0000305b: PUSH1 0xe0 0000305d: SHL 0000305e: SUB 0000305f: NOT 00003060: DUP3 00003061: AND 00003062: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000 00003083: EQ 00003084: JUMPDEST 00003085: DUP1 00003086: PUSH2 0x0974 00003089: JUMPI 0000308a: POP 0000308b: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000030ac: PUSH1 0x01 000030ae: PUSH1 0x01 000030b0: PUSH1 0xe0 000030b2: SHL 000030b3: SUB 000030b4: NOT 000030b5: DUP4 000030b6: AND 000030b7: EQ 000030b8: PUSH2 0x0974 000030bb: JUMP 000030bc: JUMPDEST 000030bd: PUSH1 0x00 000030bf: SLOAD 000030c0: PUSH1 0x01 000030c2: PUSH1 0x01 000030c4: PUSH1 0xa0 000030c6: SHL 000030c7: SUB 000030c8: DUP5 000030c9: AND 000030ca: PUSH2 0x313b 000030cd: JUMPI 000030ce: PUSH1 0x40 000030d0: MLOAD 000030d1: PUSH3 0x461bcd 000030d5: PUSH1 0xe5 000030d7: SHL 000030d8: DUP2 000030d9: MSTORE 000030da: PUSH1 0x20 000030dc: PUSH1 0x04 000030de: DUP3 000030df: ADD 000030e0: MSTORE 000030e1: PUSH1 0x21 000030e3: PUSH1 0x24 000030e5: DUP3 000030e6: ADD 000030e7: MSTORE 000030e8: PUSH32 0x455243373231413a206d696e7420746f20746865207a65726f20616464726573 00003109: PUSH1 0x44 0000310b: DUP3 0000310c: ADD 0000310d: MSTORE 0000310e: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 0000312f: PUSH1 0x64 00003131: DUP3 00003132: ADD 00003133: MSTORE 00003134: PUSH1 0x84 00003136: ADD 00003137: PUSH2 0x0a89 0000313a: JUMP 0000313b: JUMPDEST 0000313c: PUSH2 0x3146 0000313f: DUP2 00003140: PUSH1 0x00 00003142: SLOAD 00003143: GT 00003144: SWAP1 00003145: JUMP 00003146: JUMPDEST 00003147: ISZERO 00003148: PUSH2 0x3193 0000314b: JUMPI 0000314c: PUSH1 0x40 0000314e: MLOAD 0000314f: PUSH3 0x461bcd 00003153: PUSH1 0xe5 00003155: SHL 00003156: DUP2 00003157: MSTORE 00003158: PUSH1 0x20 0000315a: PUSH1 0x04 0000315c: DUP3 0000315d: ADD 0000315e: MSTORE 0000315f: PUSH1 0x1d 00003161: PUSH1 0x24 00003163: DUP3 00003164: ADD 00003165: MSTORE 00003166: PUSH32 0x455243373231413a20746f6b656e20616c7265616479206d696e746564000000 00003187: PUSH1 0x44 00003189: DUP3 0000318a: ADD 0000318b: MSTORE 0000318c: PUSH1 0x64 0000318e: ADD 0000318f: PUSH2 0x0a89 00003192: JUMP 00003193: JUMPDEST 00003194: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000014 000031b5: DUP4 000031b6: GT 000031b7: ISZERO 000031b8: PUSH2 0x3229 000031bb: JUMPI 000031bc: PUSH1 0x40 000031be: MLOAD 000031bf: PUSH3 0x461bcd 000031c3: PUSH1 0xe5 000031c5: SHL 000031c6: DUP2 000031c7: MSTORE 000031c8: PUSH1 0x20 000031ca: PUSH1 0x04 000031cc: DUP3 000031cd: ADD 000031ce: MSTORE 000031cf: PUSH1 0x22 000031d1: PUSH1 0x24 000031d3: DUP3 000031d4: ADD 000031d5: MSTORE 000031d6: PUSH32 0x455243373231413a207175616e7469747920746f206d696e7420746f6f206869 000031f7: PUSH1 0x44 000031f9: DUP3 000031fa: ADD 000031fb: MSTORE 000031fc: PUSH32 0x6768000000000000000000000000000000000000000000000000000000000000 0000321d: PUSH1 0x64 0000321f: DUP3 00003220: ADD 00003221: MSTORE 00003222: PUSH1 0x84 00003224: ADD 00003225: PUSH2 0x0a89 00003228: JUMP 00003229: JUMPDEST 0000322a: PUSH1 0x01 0000322c: PUSH1 0x01 0000322e: PUSH1 0xa0 00003230: SHL 00003231: SUB 00003232: DUP5 00003233: AND 00003234: PUSH1 0x00 00003236: SWAP1 00003237: DUP2 00003238: MSTORE 00003239: PUSH1 0x04 0000323b: PUSH1 0x20 0000323d: SWAP1 0000323e: DUP2 0000323f: MSTORE 00003240: PUSH1 0x40 00003242: SWAP2 00003243: DUP3 00003244: SWAP1 00003245: KECCAK256 00003246: DUP3 00003247: MLOAD 00003248: DUP1 00003249: DUP5 0000324a: ADD 0000324b: DUP5 0000324c: MSTORE 0000324d: SWAP1 0000324e: SLOAD 0000324f: PUSH1 0x01 00003251: PUSH1 0x01 00003253: PUSH1 0x80 00003255: SHL 00003256: SUB 00003257: DUP1 00003258: DUP3 00003259: AND 0000325a: DUP4 0000325b: MSTORE 0000325c: PUSH17 0x0100000000000000000000000000000000 0000326e: SWAP1 0000326f: SWAP2 00003270: DIV 00003271: AND 00003272: SWAP2 00003273: DUP2 00003274: ADD 00003275: SWAP2 00003276: SWAP1 00003277: SWAP2 00003278: MSTORE 00003279: DUP2 0000327a: MLOAD 0000327b: DUP1 0000327c: DUP4 0000327d: ADD 0000327e: SWAP1 0000327f: SWAP3 00003280: MSTORE 00003281: DUP1 00003282: MLOAD 00003283: SWAP1 00003284: SWAP2 00003285: SWAP1 00003286: DUP2 00003287: SWAP1 00003288: PUSH2 0x3292 0000328b: SWAP1 0000328c: DUP8 0000328d: SWAP1 0000328e: PUSH2 0x398d 00003291: JUMP 00003292: JUMPDEST 00003293: PUSH1 0x01 00003295: PUSH1 0x01 00003297: PUSH1 0x80 00003299: SHL 0000329a: SUB 0000329b: AND 0000329c: DUP2 0000329d: MSTORE 0000329e: PUSH1 0x20 000032a0: ADD 000032a1: DUP6 000032a2: DUP4 000032a3: PUSH1 0x20 000032a5: ADD 000032a6: MLOAD 000032a7: PUSH2 0x32b0 000032aa: SWAP2 000032ab: SWAP1 000032ac: PUSH2 0x398d 000032af: JUMP 000032b0: JUMPDEST 000032b1: PUSH1 0x01 000032b3: PUSH1 0x01 000032b5: PUSH1 0x80 000032b7: SHL 000032b8: SUB 000032b9: SWAP1 000032ba: DUP2 000032bb: AND 000032bc: SWAP1 000032bd: SWAP2 000032be: MSTORE 000032bf: PUSH1 0x01 000032c1: PUSH1 0x01 000032c3: PUSH1 0xa0 000032c5: SHL 000032c6: SUB 000032c7: DUP1 000032c8: DUP9 000032c9: AND 000032ca: PUSH1 0x00 000032cc: DUP2 000032cd: DUP2 000032ce: MSTORE 000032cf: PUSH1 0x04 000032d1: PUSH1 0x20 000032d3: SWAP1 000032d4: DUP2 000032d5: MSTORE 000032d6: PUSH1 0x40 000032d8: DUP1 000032d9: DUP4 000032da: KECCAK256 000032db: DUP8 000032dc: MLOAD 000032dd: DUP2 000032de: SLOAD 000032df: SWAP9 000032e0: DUP5 000032e1: ADD 000032e2: MLOAD 000032e3: DUP9 000032e4: AND 000032e5: PUSH17 0x0100000000000000000000000000000000 000032f7: MUL 000032f8: SWAP1 000032f9: DUP9 000032fa: AND 000032fb: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000 0000331c: SWAP1 0000331d: SWAP10 0000331e: AND 0000331f: SWAP9 00003320: SWAP1 00003321: SWAP9 00003322: OR 00003323: SWAP1 00003324: SWAP7 00003325: AND 00003326: SWAP7 00003327: SWAP1 00003328: SWAP7 00003329: OR 0000332a: SWAP1 0000332b: SWAP5 0000332c: SSTORE 0000332d: DUP5 0000332e: MLOAD 0000332f: DUP1 00003330: DUP7 00003331: ADD 00003332: DUP7 00003333: MSTORE 00003334: SWAP2 00003335: DUP3 00003336: MSTORE 00003337: PUSH8 0xffffffffffffffff 00003340: TIMESTAMP 00003341: DUP2 00003342: AND 00003343: DUP4 00003344: DUP7 00003345: ADD 00003346: SWAP1 00003347: DUP2 00003348: MSTORE 00003349: DUP9 0000334a: DUP4 0000334b: MSTORE 0000334c: PUSH1 0x03 0000334e: SWAP1 0000334f: SWAP6 00003350: MSTORE 00003351: SWAP5 00003352: DUP2 00003353: KECCAK256 00003354: SWAP2 00003355: MLOAD 00003356: DUP3 00003357: SLOAD 00003358: SWAP5 00003359: MLOAD 0000335a: SWAP1 0000335b: SWAP6 0000335c: AND 0000335d: PUSH1 0x01 0000335f: PUSH1 0xa0 00003361: SHL 00003362: MUL 00003363: PUSH8 0xffffffffffffffff 0000336c: PUSH1 0xa0 0000336e: SHL 0000336f: NOT 00003370: SWAP6 00003371: SWAP1 00003372: SWAP4 00003373: AND 00003374: PUSH1 0x01 00003376: PUSH1 0x01 00003378: PUSH1 0xa0 0000337a: SHL 0000337b: SUB 0000337c: NOT 0000337d: SWAP1 0000337e: SWAP5 0000337f: AND 00003380: SWAP4 00003381: SWAP1 00003382: SWAP4 00003383: OR 00003384: SWAP4 00003385: SWAP1 00003386: SWAP4 00003387: AND 00003388: OR 00003389: SWAP1 0000338a: SWAP2 0000338b: SSTORE 0000338c: DUP3 0000338d: SWAP1 0000338e: JUMPDEST 0000338f: DUP6 00003390: DUP2 00003391: LT 00003392: ISZERO 00003393: PUSH2 0x346d 00003396: JUMPI 00003397: PUSH1 0x40 00003399: MLOAD 0000339a: DUP3 0000339b: SWAP1 0000339c: PUSH1 0x01 0000339e: PUSH1 0x01 000033a0: PUSH1 0xa0 000033a2: SHL 000033a3: SUB 000033a4: DUP10 000033a5: AND 000033a6: SWAP1 000033a7: PUSH1 0x00 000033a9: SWAP1 000033aa: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000033cb: SWAP1 000033cc: DUP3 000033cd: SWAP1 000033ce: LOG4 000033cf: PUSH2 0x33db 000033d2: PUSH1 0x00 000033d4: DUP9 000033d5: DUP5 000033d6: DUP9 000033d7: PUSH2 0x2891 000033da: JUMP 000033db: JUMPDEST 000033dc: PUSH2 0x344d 000033df: JUMPI 000033e0: PUSH1 0x40 000033e2: MLOAD 000033e3: PUSH3 0x461bcd 000033e7: PUSH1 0xe5 000033e9: SHL 000033ea: DUP2 000033eb: MSTORE 000033ec: PUSH1 0x20 000033ee: PUSH1 0x04 000033f0: DUP3 000033f1: ADD 000033f2: MSTORE 000033f3: PUSH1 0x33 000033f5: PUSH1 0x24 000033f7: DUP3 000033f8: ADD 000033f9: MSTORE 000033fa: PUSH32 0x455243373231413a207472616e7366657220746f206e6f6e2045524337323152 0000341b: PUSH1 0x44 0000341d: DUP3 0000341e: ADD 0000341f: MSTORE 00003420: PUSH32 0x6563656976657220696d706c656d656e74657200000000000000000000000000 00003441: PUSH1 0x64 00003443: DUP3 00003444: ADD 00003445: MSTORE 00003446: PUSH1 0x84 00003448: ADD 00003449: PUSH2 0x0a89 0000344c: JUMP 0000344d: JUMPDEST 0000344e: DUP2 0000344f: PUSH2 0x3457 00003452: DUP2 00003453: PUSH2 0x3aac 00003456: JUMP 00003457: JUMPDEST 00003458: SWAP3 00003459: POP 0000345a: POP 0000345b: DUP1 0000345c: DUP1 0000345d: PUSH2 0x3465 00003460: SWAP1 00003461: PUSH2 0x3aac 00003464: JUMP 00003465: JUMPDEST 00003466: SWAP2 00003467: POP 00003468: POP 00003469: PUSH2 0x338e 0000346c: JUMP 0000346d: JUMPDEST 0000346e: POP 0000346f: PUSH1 0x00 00003471: DUP2 00003472: SWAP1 00003473: SSTORE 00003474: PUSH2 0x24f9 00003477: JUMP 00003478: JUMPDEST 00003479: DUP3 0000347a: DUP1 0000347b: SLOAD 0000347c: PUSH2 0x3484 0000347f: SWAP1 00003480: PUSH2 0x3a71 00003483: JUMP 00003484: JUMPDEST 00003485: SWAP1 00003486: PUSH1 0x00 00003488: MSTORE 00003489: PUSH1 0x20 0000348b: PUSH1 0x00 0000348d: KECCAK256 0000348e: SWAP1 0000348f: PUSH1 0x1f 00003491: ADD 00003492: PUSH1 0x20 00003494: SWAP1 00003495: DIV 00003496: DUP2 00003497: ADD 00003498: SWAP3 00003499: DUP3 0000349a: PUSH2 0x34a6 0000349d: JUMPI 0000349e: PUSH1 0x00 000034a0: DUP6 000034a1: SSTORE 000034a2: PUSH2 0x34ec 000034a5: JUMP 000034a6: JUMPDEST 000034a7: DUP3 000034a8: PUSH1 0x1f 000034aa: LT 000034ab: PUSH2 0x34bf 000034ae: JUMPI 000034af: DUP1 000034b0: MLOAD 000034b1: PUSH1 0xff 000034b3: NOT 000034b4: AND 000034b5: DUP4 000034b6: DUP1 000034b7: ADD 000034b8: OR 000034b9: DUP6 000034ba: SSTORE 000034bb: PUSH2 0x34ec 000034be: JUMP 000034bf: JUMPDEST 000034c0: DUP3 000034c1: DUP1 000034c2: ADD 000034c3: PUSH1 0x01 000034c5: ADD 000034c6: DUP6 000034c7: SSTORE 000034c8: DUP3 000034c9: ISZERO 000034ca: PUSH2 0x34ec 000034cd: JUMPI 000034ce: SWAP2 000034cf: DUP3 000034d0: ADD 000034d1: JUMPDEST 000034d2: DUP3 000034d3: DUP2 000034d4: GT 000034d5: ISZERO 000034d6: PUSH2 0x34ec 000034d9: JUMPI 000034da: DUP3 000034db: MLOAD 000034dc: DUP3 000034dd: SSTORE 000034de: SWAP2 000034df: PUSH1 0x20 000034e1: ADD 000034e2: SWAP2 000034e3: SWAP1 000034e4: PUSH1 0x01 000034e6: ADD 000034e7: SWAP1 000034e8: PUSH2 0x34d1 000034eb: JUMP 000034ec: JUMPDEST 000034ed: POP 000034ee: PUSH2 0x0eae 000034f1: SWAP3 000034f2: SWAP2 000034f3: POP 000034f4: JUMPDEST 000034f5: DUP1 000034f6: DUP3 000034f7: GT 000034f8: ISZERO 000034f9: PUSH2 0x0eae 000034fc: JUMPI 000034fd: PUSH1 0x00 000034ff: DUP2 00003500: SSTORE 00003501: PUSH1 0x01 00003503: ADD 00003504: PUSH2 0x34f4 00003507: JUMP 00003508: JUMPDEST 00003509: PUSH1 0x00 0000350b: PUSH8 0xffffffffffffffff 00003514: DUP1 00003515: DUP5 00003516: GT 00003517: ISZERO 00003518: PUSH2 0x3523 0000351b: JUMPI 0000351c: PUSH2 0x3523 0000351f: PUSH2 0x3add 00003522: JUMP 00003523: JUMPDEST 00003524: PUSH1 0x40 00003526: MLOAD 00003527: PUSH1 0x1f 00003529: DUP6 0000352a: ADD 0000352b: PUSH1 0x1f 0000352d: NOT 0000352e: SWAP1 0000352f: DUP2 00003530: AND 00003531: PUSH1 0x3f 00003533: ADD 00003534: AND 00003535: DUP2 00003536: ADD 00003537: SWAP1 00003538: DUP3 00003539: DUP3 0000353a: GT 0000353b: DUP2 0000353c: DUP4 0000353d: LT 0000353e: OR 0000353f: ISZERO 00003540: PUSH2 0x354b 00003543: JUMPI 00003544: PUSH2 0x354b 00003547: PUSH2 0x3add 0000354a: JUMP 0000354b: JUMPDEST 0000354c: DUP2 0000354d: PUSH1 0x40 0000354f: MSTORE 00003550: DUP1 00003551: SWAP4 00003552: POP 00003553: DUP6 00003554: DUP2 00003555: MSTORE 00003556: DUP7 00003557: DUP7 00003558: DUP7 00003559: ADD 0000355a: GT 0000355b: ISZERO 0000355c: PUSH2 0x3564 0000355f: JUMPI 00003560: PUSH1 0x00 00003562: DUP1 00003563: REVERT 00003564: JUMPDEST 00003565: DUP6 00003566: DUP6 00003567: PUSH1 0x20 00003569: DUP4 0000356a: ADD 0000356b: CALLDATACOPY 0000356c: PUSH1 0x00 0000356e: PUSH1 0x20 00003570: DUP8 00003571: DUP4 00003572: ADD 00003573: ADD 00003574: MSTORE 00003575: POP 00003576: POP 00003577: POP 00003578: SWAP4 00003579: SWAP3 0000357a: POP 0000357b: POP 0000357c: POP 0000357d: JUMP 0000357e: JUMPDEST 0000357f: PUSH1 0x00 00003581: PUSH1 0x20 00003583: DUP3 00003584: DUP5 00003585: SUB 00003586: SLT 00003587: ISZERO 00003588: PUSH2 0x358f 0000358b: JUMPI 0000358c: DUP1 0000358d: DUP2 0000358e: REVERT 0000358f: JUMPDEST 00003590: DUP2 00003591: CALLDATALOAD 00003592: PUSH2 0x17d0 00003595: DUP2 00003596: PUSH2 0x3af3 00003599: JUMP 0000359a: JUMPDEST 0000359b: PUSH1 0x00 0000359d: DUP1 0000359e: PUSH1 0x40 000035a0: DUP4 000035a1: DUP6 000035a2: SUB 000035a3: SLT 000035a4: ISZERO 000035a5: PUSH2 0x35ac 000035a8: JUMPI 000035a9: DUP1 000035aa: DUP2 000035ab: REVERT 000035ac: JUMPDEST 000035ad: DUP3 000035ae: CALLDATALOAD 000035af: PUSH2 0x35b7 000035b2: DUP2 000035b3: PUSH2 0x3af3 000035b6: JUMP 000035b7: JUMPDEST 000035b8: SWAP2 000035b9: POP 000035ba: PUSH1 0x20 000035bc: DUP4 000035bd: ADD 000035be: CALLDATALOAD 000035bf: PUSH2 0x35c7 000035c2: DUP2 000035c3: PUSH2 0x3af3 000035c6: JUMP 000035c7: JUMPDEST 000035c8: DUP1 000035c9: SWAP2 000035ca: POP 000035cb: POP 000035cc: SWAP3 000035cd: POP 000035ce: SWAP3 000035cf: SWAP1 000035d0: POP 000035d1: JUMP 000035d2: JUMPDEST 000035d3: PUSH1 0x00 000035d5: DUP1 000035d6: PUSH1 0x00 000035d8: PUSH1 0x60 000035da: DUP5 000035db: DUP7 000035dc: SUB 000035dd: SLT 000035de: ISZERO 000035df: PUSH2 0x35e6 000035e2: JUMPI 000035e3: DUP1 000035e4: DUP2 000035e5: REVERT 000035e6: JUMPDEST 000035e7: DUP4 000035e8: CALLDATALOAD 000035e9: PUSH2 0x35f1 000035ec: DUP2 000035ed: PUSH2 0x3af3 000035f0: JUMP 000035f1: JUMPDEST 000035f2: SWAP3 000035f3: POP 000035f4: PUSH1 0x20 000035f6: DUP5 000035f7: ADD 000035f8: CALLDATALOAD 000035f9: PUSH2 0x3601 000035fc: DUP2 000035fd: PUSH2 0x3af3 00003600: JUMP 00003601: JUMPDEST 00003602: SWAP3 00003603: SWAP6 00003604: SWAP3 00003605: SWAP5 00003606: POP 00003607: POP 00003608: POP 00003609: PUSH1 0x40 0000360b: SWAP2 0000360c: SWAP1 0000360d: SWAP2 0000360e: ADD 0000360f: CALLDATALOAD 00003610: SWAP1 00003611: JUMP 00003612: JUMPDEST 00003613: PUSH1 0x00 00003615: DUP1 00003616: PUSH1 0x00 00003618: DUP1 00003619: PUSH1 0x80 0000361b: DUP6 0000361c: DUP8 0000361d: SUB 0000361e: SLT 0000361f: ISZERO 00003620: PUSH2 0x3627 00003623: JUMPI 00003624: DUP1 00003625: DUP2 00003626: REVERT 00003627: JUMPDEST 00003628: DUP5 00003629: CALLDATALOAD 0000362a: PUSH2 0x3632 0000362d: DUP2 0000362e: PUSH2 0x3af3 00003631: JUMP 00003632: JUMPDEST 00003633: SWAP4 00003634: POP 00003635: PUSH1 0x20 00003637: DUP6 00003638: ADD 00003639: CALLDATALOAD 0000363a: PUSH2 0x3642 0000363d: DUP2 0000363e: PUSH2 0x3af3 00003641: JUMP 00003642: JUMPDEST 00003643: SWAP3 00003644: POP 00003645: PUSH1 0x40 00003647: DUP6 00003648: ADD 00003649: CALLDATALOAD 0000364a: SWAP2 0000364b: POP 0000364c: PUSH1 0x60 0000364e: DUP6 0000364f: ADD 00003650: CALLDATALOAD 00003651: PUSH8 0xffffffffffffffff 0000365a: DUP2 0000365b: GT 0000365c: ISZERO 0000365d: PUSH2 0x3664 00003660: JUMPI 00003661: DUP2 00003662: DUP3 00003663: REVERT 00003664: JUMPDEST 00003665: DUP6 00003666: ADD 00003667: PUSH1 0x1f 00003669: DUP2 0000366a: ADD 0000366b: DUP8 0000366c: SGT 0000366d: PUSH2 0x3674 00003670: JUMPI 00003671: DUP2 00003672: DUP3 00003673: REVERT 00003674: JUMPDEST 00003675: PUSH2 0x3683 00003678: DUP8 00003679: DUP3 0000367a: CALLDATALOAD 0000367b: PUSH1 0x20 0000367d: DUP5 0000367e: ADD 0000367f: PUSH2 0x3508 00003682: JUMP 00003683: JUMPDEST 00003684: SWAP2 00003685: POP 00003686: POP 00003687: SWAP3 00003688: SWAP6 00003689: SWAP2 0000368a: SWAP5 0000368b: POP 0000368c: SWAP3 0000368d: POP 0000368e: JUMP 0000368f: JUMPDEST 00003690: PUSH1 0x00 00003692: DUP1 00003693: PUSH1 0x40 00003695: DUP4 00003696: DUP6 00003697: SUB 00003698: SLT 00003699: ISZERO 0000369a: PUSH2 0x36a1 0000369d: JUMPI 0000369e: DUP2 0000369f: DUP3 000036a0: REVERT 000036a1: JUMPDEST 000036a2: DUP3 000036a3: CALLDATALOAD 000036a4: PUSH2 0x36ac 000036a7: DUP2 000036a8: PUSH2 0x3af3 000036ab: JUMP 000036ac: JUMPDEST 000036ad: SWAP2 000036ae: POP 000036af: PUSH1 0x20 000036b1: DUP4 000036b2: ADD 000036b3: CALLDATALOAD 000036b4: PUSH2 0x35c7 000036b7: DUP2 000036b8: PUSH2 0x3b08 000036bb: JUMP 000036bc: JUMPDEST 000036bd: PUSH1 0x00 000036bf: DUP1 000036c0: PUSH1 0x40 000036c2: DUP4 000036c3: DUP6 000036c4: SUB 000036c5: SLT 000036c6: ISZERO 000036c7: PUSH2 0x36ce 000036ca: JUMPI 000036cb: DUP2 000036cc: DUP3 000036cd: REVERT 000036ce: JUMPDEST 000036cf: DUP3 000036d0: CALLDATALOAD 000036d1: PUSH2 0x36d9 000036d4: DUP2 000036d5: PUSH2 0x3af3 000036d8: JUMP 000036d9: JUMPDEST 000036da: SWAP5 000036db: PUSH1 0x20 000036dd: SWAP4 000036de: SWAP1 000036df: SWAP4 000036e0: ADD 000036e1: CALLDATALOAD 000036e2: SWAP4 000036e3: POP 000036e4: POP 000036e5: POP 000036e6: JUMP 000036e7: JUMPDEST 000036e8: PUSH1 0x00 000036ea: PUSH1 0x20 000036ec: DUP3 000036ed: DUP5 000036ee: SUB 000036ef: SLT 000036f0: ISZERO 000036f1: PUSH2 0x36f8 000036f4: JUMPI 000036f5: DUP1 000036f6: DUP2 000036f7: REVERT 000036f8: JUMPDEST 000036f9: DUP2 000036fa: MLOAD 000036fb: PUSH2 0x17d0 000036fe: DUP2 000036ff: PUSH2 0x3b08 00003702: JUMP 00003703: JUMPDEST 00003704: PUSH1 0x00 00003706: PUSH1 0x20 00003708: DUP3 00003709: DUP5 0000370a: SUB 0000370b: SLT 0000370c: ISZERO 0000370d: PUSH2 0x3714 00003710: JUMPI 00003711: DUP1 00003712: DUP2 00003713: REVERT 00003714: JUMPDEST 00003715: POP 00003716: CALLDATALOAD 00003717: SWAP2 00003718: SWAP1 00003719: POP 0000371a: JUMP 0000371b: JUMPDEST 0000371c: PUSH1 0x00 0000371e: DUP1 0000371f: PUSH1 0x40 00003721: DUP4 00003722: DUP6 00003723: SUB 00003724: SLT 00003725: ISZERO 00003726: PUSH2 0x372d 00003729: JUMPI 0000372a: DUP2 0000372b: DUP3 0000372c: REVERT 0000372d: JUMPDEST 0000372e: DUP3 0000372f: CALLDATALOAD 00003730: SWAP2 00003731: POP 00003732: PUSH1 0x20 00003734: DUP4 00003735: ADD 00003736: CALLDATALOAD 00003737: PUSH2 0x35c7 0000373a: DUP2 0000373b: PUSH2 0x3af3 0000373e: JUMP 0000373f: JUMPDEST 00003740: PUSH1 0x00 00003742: DUP1 00003743: PUSH1 0x40 00003745: DUP4 00003746: DUP6 00003747: SUB 00003748: SLT 00003749: ISZERO 0000374a: PUSH2 0x3751 0000374d: JUMPI 0000374e: DUP2 0000374f: DUP3 00003750: REVERT 00003751: JUMPDEST 00003752: POP 00003753: POP 00003754: DUP1 00003755: CALLDATALOAD 00003756: SWAP3 00003757: PUSH1 0x20 00003759: SWAP1 0000375a: SWAP2 0000375b: ADD 0000375c: CALLDATALOAD 0000375d: SWAP2 0000375e: POP 0000375f: JUMP 00003760: JUMPDEST 00003761: PUSH1 0x00 00003763: PUSH1 0x20 00003765: DUP3 00003766: DUP5 00003767: SUB 00003768: SLT 00003769: ISZERO 0000376a: PUSH2 0x3771 0000376d: JUMPI 0000376e: DUP1 0000376f: DUP2 00003770: REVERT 00003771: JUMPDEST 00003772: DUP2 00003773: CALLDATALOAD 00003774: PUSH2 0x17d0 00003777: DUP2 00003778: PUSH2 0x3b16 0000377b: JUMP 0000377c: JUMPDEST 0000377d: PUSH1 0x00 0000377f: PUSH1 0x20 00003781: DUP3 00003782: DUP5 00003783: SUB 00003784: SLT 00003785: ISZERO 00003786: PUSH2 0x378d 00003789: JUMPI 0000378a: DUP1 0000378b: DUP2 0000378c: REVERT 0000378d: JUMPDEST 0000378e: DUP2 0000378f: MLOAD 00003790: PUSH2 0x17d0 00003793: DUP2 00003794: PUSH2 0x3b16 00003797: JUMP 00003798: JUMPDEST 00003799: PUSH1 0x00 0000379b: PUSH1 0x20 0000379d: DUP3 0000379e: DUP5 0000379f: SUB 000037a0: SLT 000037a1: ISZERO 000037a2: PUSH2 0x37a9 000037a5: JUMPI 000037a6: DUP1 000037a7: DUP2 000037a8: REVERT 000037a9: JUMPDEST 000037aa: DUP2 000037ab: CALLDATALOAD 000037ac: PUSH8 0xffffffffffffffff 000037b5: DUP2 000037b6: GT 000037b7: ISZERO 000037b8: PUSH2 0x37bf 000037bb: JUMPI 000037bc: DUP2 000037bd: DUP3 000037be: REVERT 000037bf: JUMPDEST 000037c0: DUP3 000037c1: ADD 000037c2: PUSH1 0x1f 000037c4: DUP2 000037c5: ADD 000037c6: DUP5 000037c7: SGT 000037c8: PUSH2 0x37cf 000037cb: JUMPI 000037cc: DUP2 000037cd: DUP3 000037ce: REVERT 000037cf: JUMPDEST 000037d0: PUSH2 0x29ed 000037d3: DUP5 000037d4: DUP3 000037d5: CALLDATALOAD 000037d6: PUSH1 0x20 000037d8: DUP5 000037d9: ADD 000037da: PUSH2 0x3508 000037dd: JUMP 000037de: JUMPDEST 000037df: PUSH1 0x00 000037e1: PUSH1 0x20 000037e3: DUP3 000037e4: DUP5 000037e5: SUB 000037e6: SLT 000037e7: ISZERO 000037e8: PUSH2 0x37ef 000037eb: JUMPI 000037ec: DUP1 000037ed: DUP2 000037ee: REVERT 000037ef: JUMPDEST 000037f0: POP 000037f1: MLOAD 000037f2: SWAP2 000037f3: SWAP1 000037f4: POP 000037f5: JUMP 000037f6: JUMPDEST 000037f7: PUSH1 0x00 000037f9: DUP2 000037fa: MLOAD 000037fb: DUP1 000037fc: DUP5 000037fd: MSTORE 000037fe: PUSH2 0x380e 00003801: DUP2 00003802: PUSH1 0x20 00003804: DUP7 00003805: ADD 00003806: PUSH1 0x20 00003808: DUP7 00003809: ADD 0000380a: PUSH2 0x3a2e 0000380d: JUMP 0000380e: JUMPDEST 0000380f: PUSH1 0x1f 00003811: ADD 00003812: PUSH1 0x1f 00003814: NOT 00003815: AND 00003816: SWAP3 00003817: SWAP1 00003818: SWAP3 00003819: ADD 0000381a: PUSH1 0x20 0000381c: ADD 0000381d: SWAP3 0000381e: SWAP2 0000381f: POP 00003820: POP 00003821: JUMP 00003822: JUMPDEST 00003823: DUP2 00003824: SLOAD 00003825: PUSH1 0x00 00003827: SWAP1 00003828: DUP2 00003829: SWAP1 0000382a: PUSH1 0x02 0000382c: DUP2 0000382d: DIV 0000382e: PUSH1 0x01 00003830: DUP1 00003831: DUP4 00003832: AND 00003833: DUP1 00003834: PUSH2 0x383e 00003837: JUMPI 00003838: PUSH1 0x7f 0000383a: DUP4 0000383b: AND 0000383c: SWAP3 0000383d: POP 0000383e: JUMPDEST 0000383f: PUSH1 0x20 00003841: DUP1 00003842: DUP5 00003843: LT 00003844: DUP3 00003845: EQ 00003846: ISZERO 00003847: PUSH2 0x385e 0000384a: JUMPI 0000384b: PUSH4 0x4e487b71 00003850: PUSH1 0xe0 00003852: SHL 00003853: DUP8 00003854: MSTORE 00003855: PUSH1 0x22 00003857: PUSH1 0x04 00003859: MSTORE 0000385a: PUSH1 0x24 0000385c: DUP8 0000385d: REVERT 0000385e: JUMPDEST 0000385f: DUP2 00003860: DUP1 00003861: ISZERO 00003862: PUSH2 0x3872 00003865: JUMPI 00003866: PUSH1 0x01 00003868: DUP2 00003869: EQ 0000386a: PUSH2 0x3883 0000386d: JUMPI 0000386e: PUSH2 0x38af 00003871: JUMP 00003872: JUMPDEST 00003873: PUSH1 0xff 00003875: NOT 00003876: DUP7 00003877: AND 00003878: DUP10 00003879: MSTORE 0000387a: DUP5 0000387b: DUP10 0000387c: ADD 0000387d: SWAP7 0000387e: POP 0000387f: PUSH2 0x38af 00003882: JUMP 00003883: JUMPDEST 00003884: PUSH1 0x00 00003886: DUP11 00003887: DUP2 00003888: MSTORE 00003889: PUSH1 0x20 0000388b: SWAP1 0000388c: KECCAK256 0000388d: DUP9 0000388e: JUMPDEST 0000388f: DUP7 00003890: DUP2 00003891: LT 00003892: ISZERO 00003893: PUSH2 0x38a7 00003896: JUMPI 00003897: DUP2 00003898: SLOAD 00003899: DUP12 0000389a: DUP3 0000389b: ADD 0000389c: MSTORE 0000389d: SWAP1 0000389e: DUP6 0000389f: ADD 000038a0: SWAP1 000038a1: DUP4 000038a2: ADD 000038a3: PUSH2 0x388e 000038a6: JUMP 000038a7: JUMPDEST 000038a8: POP 000038a9: POP 000038aa: DUP5 000038ab: DUP10 000038ac: ADD 000038ad: SWAP7 000038ae: POP 000038af: JUMPDEST 000038b0: POP 000038b1: SWAP5 000038b2: SWAP9 000038b3: SWAP8 000038b4: POP 000038b5: POP 000038b6: POP 000038b7: POP 000038b8: POP 000038b9: POP 000038ba: POP 000038bb: POP 000038bc: JUMP 000038bd: JUMPDEST 000038be: PUSH1 0x00 000038c0: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 000038e1: DUP3 000038e2: MSTORE 000038e3: DUP4 000038e4: MLOAD 000038e5: PUSH2 0x38f5 000038e8: DUP2 000038e9: PUSH1 0x17 000038eb: DUP6 000038ec: ADD 000038ed: PUSH1 0x20 000038ef: DUP9 000038f0: ADD 000038f1: PUSH2 0x3a2e 000038f4: JUMP 000038f5: JUMPDEST 000038f6: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000 00003917: PUSH1 0x17 00003919: SWAP2 0000391a: DUP5 0000391b: ADD 0000391c: SWAP2 0000391d: DUP3 0000391e: ADD 0000391f: MSTORE 00003920: DUP4 00003921: MLOAD 00003922: PUSH2 0x3932 00003925: DUP2 00003926: PUSH1 0x28 00003928: DUP5 00003929: ADD 0000392a: PUSH1 0x20 0000392c: DUP9 0000392d: ADD 0000392e: PUSH2 0x3a2e 00003931: JUMP 00003932: JUMPDEST 00003933: ADD 00003934: PUSH1 0x28 00003936: ADD 00003937: SWAP5 00003938: SWAP4 00003939: POP 0000393a: POP 0000393b: POP 0000393c: POP 0000393d: JUMP 0000393e: JUMPDEST 0000393f: PUSH1 0x00 00003941: PUSH1 0x01 00003943: PUSH1 0x01 00003945: PUSH1 0xa0 00003947: SHL 00003948: SUB 00003949: DUP1 0000394a: DUP8 0000394b: AND 0000394c: DUP4 0000394d: MSTORE 0000394e: DUP1 0000394f: DUP7 00003950: AND 00003951: PUSH1 0x20 00003953: DUP5 00003954: ADD 00003955: MSTORE 00003956: POP 00003957: DUP4 00003958: PUSH1 0x40 0000395a: DUP4 0000395b: ADD 0000395c: MSTORE 0000395d: PUSH1 0x80 0000395f: PUSH1 0x60 00003961: DUP4 00003962: ADD 00003963: MSTORE 00003964: PUSH2 0x3970 00003967: PUSH1 0x80 00003969: DUP4 0000396a: ADD 0000396b: DUP5 0000396c: PUSH2 0x37f6 0000396f: JUMP 00003970: JUMPDEST 00003971: SWAP7 00003972: SWAP6 00003973: POP 00003974: POP 00003975: POP 00003976: POP 00003977: POP 00003978: POP 00003979: JUMP 0000397a: JUMPDEST 0000397b: PUSH1 0x00 0000397d: PUSH1 0x20 0000397f: DUP3 00003980: MSTORE 00003981: PUSH2 0x17d0 00003984: PUSH1 0x20 00003986: DUP4 00003987: ADD 00003988: DUP5 00003989: PUSH2 0x37f6 0000398c: JUMP 0000398d: JUMPDEST 0000398e: PUSH1 0x00 00003990: PUSH1 0x01 00003992: PUSH1 0x01 00003994: PUSH1 0x80 00003996: SHL 00003997: SUB 00003998: DUP1 00003999: DUP4 0000399a: AND 0000399b: DUP2 0000399c: DUP6 0000399d: AND 0000399e: DUP1 0000399f: DUP4 000039a0: SUB 000039a1: DUP3 000039a2: GT 000039a3: ISZERO 000039a4: PUSH2 0x39af 000039a7: JUMPI 000039a8: PUSH2 0x39af 000039ab: PUSH2 0x3ac7 000039ae: JUMP 000039af: JUMPDEST 000039b0: ADD 000039b1: SWAP5 000039b2: SWAP4 000039b3: POP 000039b4: POP 000039b5: POP 000039b6: POP 000039b7: JUMP 000039b8: JUMPDEST 000039b9: PUSH1 0x00 000039bb: DUP3 000039bc: NOT 000039bd: DUP3 000039be: GT 000039bf: ISZERO 000039c0: PUSH2 0x39cb 000039c3: JUMPI 000039c4: PUSH2 0x39cb 000039c7: PUSH2 0x3ac7 000039ca: JUMP 000039cb: JUMPDEST 000039cc: POP 000039cd: ADD 000039ce: SWAP1 000039cf: JUMP 000039d0: JUMPDEST 000039d1: PUSH1 0x00 000039d3: DUP2 000039d4: PUSH1 0x00 000039d6: NOT 000039d7: DIV 000039d8: DUP4 000039d9: GT 000039da: DUP3 000039db: ISZERO 000039dc: ISZERO 000039dd: AND 000039de: ISZERO 000039df: PUSH2 0x39ea 000039e2: JUMPI 000039e3: PUSH2 0x39ea 000039e6: PUSH2 0x3ac7 000039e9: JUMP 000039ea: JUMPDEST 000039eb: POP 000039ec: MUL 000039ed: SWAP1 000039ee: JUMP 000039ef: JUMPDEST 000039f0: PUSH1 0x00 000039f2: PUSH1 0x01 000039f4: PUSH1 0x01 000039f6: PUSH1 0x80 000039f8: SHL 000039f9: SUB 000039fa: DUP4 000039fb: DUP2 000039fc: AND 000039fd: SWAP1 000039fe: DUP4 000039ff: AND 00003a00: DUP2 00003a01: DUP2 00003a02: LT 00003a03: ISZERO 00003a04: PUSH2 0x3a0f 00003a07: JUMPI 00003a08: PUSH2 0x3a0f 00003a0b: PUSH2 0x3ac7 00003a0e: JUMP 00003a0f: JUMPDEST 00003a10: SUB 00003a11: SWAP4 00003a12: SWAP3 00003a13: POP 00003a14: POP 00003a15: POP 00003a16: JUMP 00003a17: JUMPDEST 00003a18: PUSH1 0x00 00003a1a: DUP3 00003a1b: DUP3 00003a1c: LT 00003a1d: ISZERO 00003a1e: PUSH2 0x3a29 00003a21: JUMPI 00003a22: PUSH2 0x3a29 00003a25: PUSH2 0x3ac7 00003a28: JUMP 00003a29: JUMPDEST 00003a2a: POP 00003a2b: SUB 00003a2c: SWAP1 00003a2d: JUMP 00003a2e: JUMPDEST 00003a2f: PUSH1 0x00 00003a31: JUMPDEST 00003a32: DUP4 00003a33: DUP2 00003a34: LT 00003a35: ISZERO 00003a36: PUSH2 0x3a49 00003a39: JUMPI 00003a3a: DUP2 00003a3b: DUP2 00003a3c: ADD 00003a3d: MLOAD 00003a3e: DUP4 00003a3f: DUP3 00003a40: ADD 00003a41: MSTORE 00003a42: PUSH1 0x20 00003a44: ADD 00003a45: PUSH2 0x3a31 00003a48: JUMP 00003a49: JUMPDEST 00003a4a: DUP4 00003a4b: DUP2 00003a4c: GT 00003a4d: ISZERO 00003a4e: PUSH2 0x14aa 00003a51: JUMPI 00003a52: POP 00003a53: POP 00003a54: PUSH1 0x00 00003a56: SWAP2 00003a57: ADD 00003a58: MSTORE 00003a59: JUMP 00003a5a: JUMPDEST 00003a5b: PUSH1 0x00 00003a5d: DUP2 00003a5e: PUSH2 0x3a69 00003a61: JUMPI 00003a62: PUSH2 0x3a69 00003a65: PUSH2 0x3ac7 00003a68: JUMP 00003a69: JUMPDEST 00003a6a: POP 00003a6b: PUSH1 0x00 00003a6d: NOT 00003a6e: ADD 00003a6f: SWAP1 00003a70: JUMP 00003a71: JUMPDEST 00003a72: PUSH1 0x02 00003a74: DUP2 00003a75: DIV 00003a76: PUSH1 0x01 00003a78: DUP3 00003a79: AND 00003a7a: DUP1 00003a7b: PUSH2 0x3a85 00003a7e: JUMPI 00003a7f: PUSH1 0x7f 00003a81: DUP3 00003a82: AND 00003a83: SWAP2 00003a84: POP 00003a85: JUMPDEST 00003a86: PUSH1 0x20 00003a88: DUP3 00003a89: LT 00003a8a: DUP2 00003a8b: EQ 00003a8c: ISZERO 00003a8d: PUSH2 0x3aa6 00003a90: JUMPI 00003a91: PUSH4 0x4e487b71 00003a96: PUSH1 0xe0 00003a98: SHL 00003a99: PUSH1 0x00 00003a9b: MSTORE 00003a9c: PUSH1 0x22 00003a9e: PUSH1 0x04 00003aa0: MSTORE 00003aa1: PUSH1 0x24 00003aa3: PUSH1 0x00 00003aa5: REVERT 00003aa6: JUMPDEST 00003aa7: POP 00003aa8: SWAP2 00003aa9: SWAP1 00003aaa: POP 00003aab: JUMP 00003aac: JUMPDEST 00003aad: PUSH1 0x00 00003aaf: PUSH1 0x00 00003ab1: NOT 00003ab2: DUP3 00003ab3: EQ 00003ab4: ISZERO 00003ab5: PUSH2 0x3ac0 00003ab8: JUMPI 00003ab9: PUSH2 0x3ac0 00003abc: PUSH2 0x3ac7 00003abf: JUMP 00003ac0: JUMPDEST 00003ac1: POP 00003ac2: PUSH1 0x01 00003ac4: ADD 00003ac5: SWAP1 00003ac6: JUMP 00003ac7: JUMPDEST 00003ac8: PUSH4 0x4e487b71 00003acd: PUSH1 0xe0 00003acf: SHL 00003ad0: PUSH1 0x00 00003ad2: MSTORE 00003ad3: PUSH1 0x11 00003ad5: PUSH1 0x04 00003ad7: MSTORE 00003ad8: PUSH1 0x24 00003ada: PUSH1 0x00 00003adc: REVERT 00003add: JUMPDEST 00003ade: PUSH4 0x4e487b71 00003ae3: PUSH1 0xe0 00003ae5: SHL 00003ae6: PUSH1 0x00 00003ae8: MSTORE 00003ae9: PUSH1 0x41 00003aeb: PUSH1 0x04 00003aed: MSTORE 00003aee: PUSH1 0x24 00003af0: PUSH1 0x00 00003af2: REVERT 00003af3: JUMPDEST 00003af4: PUSH1 0x01 00003af6: PUSH1 0x01 00003af8: PUSH1 0xa0 00003afa: SHL 00003afb: SUB 00003afc: DUP2 00003afd: AND 00003afe: DUP2 00003aff: EQ 00003b00: PUSH2 0x1115 00003b03: JUMPI 00003b04: PUSH1 0x00 00003b06: DUP1 00003b07: REVERT 00003b08: JUMPDEST 00003b09: DUP1 00003b0a: ISZERO 00003b0b: ISZERO 00003b0c: DUP2 00003b0d: EQ 00003b0e: PUSH2 0x1115 00003b11: JUMPI 00003b12: PUSH1 0x00 00003b14: DUP1 00003b15: REVERT 00003b16: JUMPDEST 00003b17: PUSH1 0x01 00003b19: PUSH1 0x01 00003b1b: PUSH1 0xe0 00003b1d: SHL 00003b1e: SUB 00003b1f: NOT 00003b20: DUP2 00003b21: AND 00003b22: DUP2 00003b23: EQ 00003b24: PUSH2 0x1115 00003b27: JUMPI 00003b28: PUSH1 0x00 00003b2a: DUP1 00003b2b: REVERT 00003b2c: INVALID 00003b2d: UNKNOWN(0x4F) 00003b2e: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865 00003b47: KECCAK256 00003b48: PUSH16 0x776e6572a2646970667358221220402e 00003b59: ADDRESS 00003b5a: STOP 00003b5b: UNKNOWN(0x25) 00003b5c: UNKNOWN(0xCF) 00003b5d: UNKNOWN(0xCD) 00003b5e: UNKNOWN(0xA6) 00003b5f: PUSH3 0x9b05de 00003b63: BASEFEE 00003b64: UNKNOWN(0x2B) 00003b65: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x27b696ba73cd73fb5f1e0509c5c98eeb65db3f94b3ac3d4645569187714820c1
call_targets:
0xe5ef60de041798e2d643e0db6a4a0bc17813618d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x27b696ba73cd73fb5f1e0509c5c98eeb65db3f94b3ac3d4645569187714820c1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe5ef60de041798e2d643e0db6a4a0bc17813618d"
],
"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": "0xf285e69e",
"selector": "0xf285e69e",
"calldata_variants": [
"0xf285e69e",
"0xf285e69e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4a0a528",
"selector": "0xf4a0a528",
"calldata_variants": [
"0xf4a0a528",
"0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdb4953a",
"selector": "0xfdb4953a",
"calldata_variants": [
"0xfdb4953a",
"0xfdb4953a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdaaeec86",
"selector": "0xdaaeec86",
"calldata_variants": [
"0xdaaeec86",
"0xdaaeec860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5391393",
"selector": "0xd5391393",
"calldata_variants": [
"0xd5391393",
"0xd53913930000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4917,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5237,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 10482,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x27b696ba73cd73fb5f1e0509c5c98eeb65db3f94b3ac3d4645569187714820c1
call_targets:
0xe5ef60de041798e2d643e0db6a4a0bc17813618d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x27b696ba73cd73fb5f1e0509c5c98eeb65db3f94b3ac3d4645569187714820c1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe5ef60de041798e2d643e0db6a4a0bc17813618d"
],
"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": "0xf285e69e",
"selector": "0xf285e69e",
"calldata_variants": [
"0xf285e69e",
"0xf285e69e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4a0a528",
"selector": "0xf4a0a528",
"calldata_variants": [
"0xf4a0a528",
"0xf4a0a5280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdb4953a",
"selector": "0xfdb4953a",
"calldata_variants": [
"0xfdb4953a",
"0xfdb4953a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdaaeec86",
"selector": "0xdaaeec86",
"calldata_variants": [
"0xdaaeec86",
"0xdaaeec860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb8d2444",
"selector": "0xeb8d2444",
"calldata_variants": [
"0xeb8d2444",
"0xeb8d24440000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5391393",
"selector": "0xd5391393",
"calldata_variants": [
"0xd5391393",
"0xd53913930000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4917,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5237,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 10482,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|