019b3844-a367-720c-81b5-4497a2d11179
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 |
|---|---|---|---|---|
| 15817 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 15818 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 106685 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 106686 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 106687 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 106688 | 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 0x73a421c1 00000019: GT 0000001a: PUSH2 0x01a5 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb51bbbdf 00000024: GT 00000025: PUSH2 0x00ec 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc87b56dd 0000002f: GT 00000030: PUSH2 0x0095 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe985e9c5 0000003a: GT 0000003b: PUSH2 0x006f 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe985e9c5 00000045: EQ 00000046: PUSH2 0x0886 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x08cf 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xff34e05d 0000005b: EQ 0000005c: PUSH2 0x08ef 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xffd49ac2 00000066: EQ 00000067: PUSH2 0x090f 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xc87b56dd 00000076: EQ 00000077: PUSH2 0x0826 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd83b5fde 00000081: EQ 00000082: PUSH2 0x0846 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xdced59e1 0000008c: EQ 0000008d: PUSH2 0x0866 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xbe24aebd 0000009c: GT 0000009d: PUSH2 0x00c6 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xbe24aebd 000000a7: EQ 000000a8: PUSH2 0x07dd 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xc5ac58e1 000000b2: EQ 000000b3: PUSH2 0x07f0 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xc6ec944e 000000bd: EQ 000000be: PUSH2 0x0810 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0xb51bbbdf 000000cd: EQ 000000ce: PUSH2 0x0792 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xb88d4fde 000000d8: EQ 000000d9: PUSH2 0x07a7 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xbdb4b848 000000e3: EQ 000000e4: PUSH2 0x07c7 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x9422ba3b 000000f3: GT 000000f4: PUSH2 0x014e 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x9b0f78f0 000000fe: GT 000000ff: PUSH2 0x0128 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x9b0f78f0 00000109: EQ 0000010a: PUSH2 0x073d 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0xa22cb465 00000114: EQ 00000115: PUSH2 0x075d 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xa9ef3aeb 0000011f: EQ 00000120: PUSH2 0x077d 00000123: JUMPI 00000124: PUSH1 0x00 00000126: DUP1 00000127: REVERT 00000128: JUMPDEST 00000129: DUP1 0000012a: PUSH4 0x9422ba3b 0000012f: EQ 00000130: PUSH2 0x06f2 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x95d89b41 0000013a: EQ 0000013b: PUSH2 0x0708 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x96492fad 00000145: EQ 00000146: PUSH2 0x071d 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: DUP1 00000150: PUSH4 0x851aaf86 00000155: GT 00000156: PUSH2 0x017f 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x851aaf86 00000160: EQ 00000161: PUSH2 0x0694 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x8b9ae041 0000016b: EQ 0000016c: PUSH2 0x06b4 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x8da5cb5b 00000176: EQ 00000177: PUSH2 0x06d4 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: DUP1 00000181: PUSH4 0x73a421c1 00000186: EQ 00000187: PUSH2 0x063f 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x8114632b 00000191: EQ 00000192: PUSH2 0x065f 00000195: JUMPI 00000196: DUP1 00000197: PUSH4 0x8456cb59 0000019c: EQ 0000019d: PUSH2 0x067f 000001a0: JUMPI 000001a1: PUSH1 0x00 000001a3: DUP1 000001a4: REVERT 000001a5: JUMPDEST 000001a6: DUP1 000001a7: PUSH4 0x3bb3af77 000001ac: GT 000001ad: PUSH2 0x0274 000001b0: JUMPI 000001b1: DUP1 000001b2: PUSH4 0x6203982c 000001b7: GT 000001b8: PUSH2 0x021d 000001bb: JUMPI 000001bc: DUP1 000001bd: PUSH4 0x6c360923 000001c2: GT 000001c3: PUSH2 0x01f7 000001c6: JUMPI 000001c7: DUP1 000001c8: PUSH4 0x6c360923 000001cd: EQ 000001ce: PUSH2 0x05ca 000001d1: JUMPI 000001d2: DUP1 000001d3: PUSH4 0x70a08231 000001d8: EQ 000001d9: PUSH2 0x05ea 000001dc: JUMPI 000001dd: DUP1 000001de: PUSH4 0x715018a6 000001e3: EQ 000001e4: PUSH2 0x060a 000001e7: JUMPI 000001e8: DUP1 000001e9: PUSH4 0x72866c29 000001ee: EQ 000001ef: PUSH2 0x061f 000001f2: JUMPI 000001f3: PUSH1 0x00 000001f5: DUP1 000001f6: REVERT 000001f7: JUMPDEST 000001f8: DUP1 000001f9: PUSH4 0x6203982c 000001fe: EQ 000001ff: PUSH2 0x0575 00000202: JUMPI 00000203: DUP1 00000204: PUSH4 0x6352211e 00000209: EQ 0000020a: PUSH2 0x0595 0000020d: JUMPI 0000020e: DUP1 0000020f: PUSH4 0x64548d2e 00000214: EQ 00000215: PUSH2 0x05b5 00000218: JUMPI 00000219: PUSH1 0x00 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: DUP1 0000021f: PUSH4 0x42842e0e 00000224: GT 00000225: PUSH2 0x024e 00000228: JUMPI 00000229: DUP1 0000022a: PUSH4 0x42842e0e 0000022f: EQ 00000230: PUSH2 0x0516 00000233: JUMPI 00000234: DUP1 00000235: PUSH4 0x4f558e79 0000023a: EQ 0000023b: PUSH2 0x0536 0000023e: JUMPI 0000023f: DUP1 00000240: PUSH4 0x5c975abb 00000245: EQ 00000246: PUSH2 0x0556 00000249: JUMPI 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: REVERT 0000024e: JUMPDEST 0000024f: DUP1 00000250: PUSH4 0x3bb3af77 00000255: EQ 00000256: PUSH2 0x04d9 00000259: JUMPI 0000025a: DUP1 0000025b: PUSH4 0x3ccfd60b 00000260: EQ 00000261: PUSH2 0x04f9 00000264: JUMPI 00000265: DUP1 00000266: PUSH4 0x3f4ba83a 0000026b: EQ 0000026c: PUSH2 0x0501 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: DUP1 00000276: PUSH4 0x135d088d 0000027b: GT 0000027c: PUSH2 0x02d6 0000027f: JUMPI 00000280: DUP1 00000281: PUSH4 0x23b872dd 00000286: GT 00000287: PUSH2 0x02b0 0000028a: JUMPI 0000028b: DUP1 0000028c: PUSH4 0x23b872dd 00000291: EQ 00000292: PUSH2 0x0483 00000295: JUMPI 00000296: DUP1 00000297: PUSH4 0x3693774d 0000029c: EQ 0000029d: PUSH2 0x04a3 000002a0: JUMPI 000002a1: DUP1 000002a2: PUSH4 0x39e3aa7e 000002a7: EQ 000002a8: PUSH2 0x04b9 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: DUP1 000002b2: PUSH4 0x135d088d 000002b7: EQ 000002b8: PUSH2 0x041f 000002bb: JUMPI 000002bc: DUP1 000002bd: PUSH4 0x1581b600 000002c2: EQ 000002c3: PUSH2 0x0434 000002c6: JUMPI 000002c7: DUP1 000002c8: PUSH4 0x18160ddd 000002cd: EQ 000002ce: PUSH2 0x045c 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: DUP1 000002d8: PUSH4 0x081812fc 000002dd: GT 000002de: PUSH2 0x0307 000002e1: JUMPI 000002e2: DUP1 000002e3: PUSH4 0x081812fc 000002e8: EQ 000002e9: PUSH2 0x03a7 000002ec: JUMPI 000002ed: DUP1 000002ee: PUSH4 0x095ea7b3 000002f3: EQ 000002f4: PUSH2 0x03df 000002f7: JUMPI 000002f8: DUP1 000002f9: PUSH4 0x0e2df75c 000002fe: EQ 000002ff: PUSH2 0x03ff 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: DUP1 00000309: PUSH4 0x01ffc9a7 0000030e: EQ 0000030f: PUSH2 0x032e 00000312: JUMPI 00000313: DUP1 00000314: PUSH4 0x04787ca2 00000319: EQ 0000031a: PUSH2 0x0363 0000031d: JUMPI 0000031e: DUP1 0000031f: PUSH4 0x06fdde03 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 0x239b 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH2 0x092f 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 0x0383 00000374: PUSH2 0x037e 00000377: CALLDATASIZE 00000378: PUSH1 0x04 0000037a: PUSH2 0x24a0 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH2 0x0981 00000382: JUMP 00000383: JUMPDEST 00000384: STOP 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 0x039a 00000396: PUSH2 0x09a0 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: PUSH2 0x035a 000003a1: SWAP2 000003a2: SWAP1 000003a3: PUSH2 0x252d 000003a6: JUMP 000003a7: JUMPDEST 000003a8: CALLVALUE 000003a9: DUP1 000003aa: ISZERO 000003ab: PUSH2 0x03b3 000003ae: JUMPI 000003af: PUSH1 0x00 000003b1: DUP1 000003b2: REVERT 000003b3: JUMPDEST 000003b4: POP 000003b5: PUSH2 0x03c7 000003b8: PUSH2 0x03c2 000003bb: CALLDATASIZE 000003bc: PUSH1 0x04 000003be: PUSH2 0x2540 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH2 0x0a32 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x40 000003ca: MLOAD 000003cb: PUSH1 0x01 000003cd: PUSH1 0x01 000003cf: PUSH1 0xa0 000003d1: SHL 000003d2: SUB 000003d3: SWAP1 000003d4: SWAP2 000003d5: AND 000003d6: DUP2 000003d7: MSTORE 000003d8: PUSH1 0x20 000003da: ADD 000003db: PUSH2 0x035a 000003de: JUMP 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: PUSH2 0x0383 000003f0: PUSH2 0x03fa 000003f3: CALLDATASIZE 000003f4: PUSH1 0x04 000003f6: PUSH2 0x2575 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH2 0x0a76 000003fe: JUMP 000003ff: JUMPDEST 00000400: CALLVALUE 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: PUSH2 0x0383 00000410: PUSH2 0x041a 00000413: CALLDATASIZE 00000414: PUSH1 0x04 00000416: PUSH2 0x25b7 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH2 0x0b23 0000041e: JUMP 0000041f: JUMPDEST 00000420: CALLVALUE 00000421: DUP1 00000422: ISZERO 00000423: PUSH2 0x042b 00000426: JUMPI 00000427: PUSH1 0x00 00000429: DUP1 0000042a: REVERT 0000042b: JUMPDEST 0000042c: POP 0000042d: PUSH2 0x039a 00000430: PUSH2 0x0b5a 00000433: JUMP 00000434: JUMPDEST 00000435: CALLVALUE 00000436: DUP1 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: POP 00000442: PUSH2 0x03c7 00000445: PUSH20 0x2ec92db165fa3df089ec1ae997bfe692ea095ecc 0000045a: DUP2 0000045b: JUMP 0000045c: JUMPDEST 0000045d: CALLVALUE 0000045e: DUP1 0000045f: ISZERO 00000460: PUSH2 0x0468 00000463: JUMPI 00000464: PUSH1 0x00 00000466: DUP1 00000467: REVERT 00000468: JUMPDEST 00000469: POP 0000046a: PUSH1 0x01 0000046c: SLOAD 0000046d: PUSH1 0x00 0000046f: SLOAD 00000470: SUB 00000471: PUSH1 0x00 00000473: NOT 00000474: ADD 00000475: JUMPDEST 00000476: PUSH1 0x40 00000478: MLOAD 00000479: SWAP1 0000047a: DUP2 0000047b: MSTORE 0000047c: PUSH1 0x20 0000047e: ADD 0000047f: PUSH2 0x035a 00000482: JUMP 00000483: JUMPDEST 00000484: CALLVALUE 00000485: DUP1 00000486: ISZERO 00000487: PUSH2 0x048f 0000048a: JUMPI 0000048b: PUSH1 0x00 0000048d: DUP1 0000048e: REVERT 0000048f: JUMPDEST 00000490: POP 00000491: PUSH2 0x0383 00000494: PUSH2 0x049e 00000497: CALLDATASIZE 00000498: PUSH1 0x04 0000049a: PUSH2 0x2605 0000049d: JUMP 0000049e: JUMPDEST 0000049f: PUSH2 0x0be8 000004a2: JUMP 000004a3: JUMPDEST 000004a4: CALLVALUE 000004a5: DUP1 000004a6: ISZERO 000004a7: PUSH2 0x04af 000004aa: JUMPI 000004ab: PUSH1 0x00 000004ad: DUP1 000004ae: REVERT 000004af: JUMPDEST 000004b0: POP 000004b1: PUSH2 0x0475 000004b4: PUSH1 0x10 000004b6: SLOAD 000004b7: DUP2 000004b8: JUMP 000004b9: JUMPDEST 000004ba: CALLVALUE 000004bb: DUP1 000004bc: ISZERO 000004bd: PUSH2 0x04c5 000004c0: JUMPI 000004c1: PUSH1 0x00 000004c3: DUP1 000004c4: REVERT 000004c5: JUMPDEST 000004c6: POP 000004c7: PUSH2 0x0383 000004ca: PUSH2 0x04d4 000004cd: CALLDATASIZE 000004ce: PUSH1 0x04 000004d0: PUSH2 0x24a0 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH2 0x0d7a 000004d8: JUMP 000004d9: JUMPDEST 000004da: CALLVALUE 000004db: DUP1 000004dc: ISZERO 000004dd: PUSH2 0x04e5 000004e0: JUMPI 000004e1: PUSH1 0x00 000004e3: DUP1 000004e4: REVERT 000004e5: JUMPDEST 000004e6: POP 000004e7: PUSH2 0x039a 000004ea: PUSH2 0x04f4 000004ed: CALLDATASIZE 000004ee: PUSH1 0x04 000004f0: PUSH2 0x2641 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH2 0x0d95 000004f8: JUMP 000004f9: JUMPDEST 000004fa: PUSH2 0x0383 000004fd: PUSH2 0x0dae 00000500: JUMP 00000501: JUMPDEST 00000502: CALLVALUE 00000503: DUP1 00000504: ISZERO 00000505: PUSH2 0x050d 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: POP 0000050f: PUSH2 0x0383 00000512: PUSH2 0x0e22 00000515: JUMP 00000516: JUMPDEST 00000517: CALLVALUE 00000518: DUP1 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: POP 00000524: PUSH2 0x0383 00000527: PUSH2 0x0531 0000052a: CALLDATASIZE 0000052b: PUSH1 0x04 0000052d: PUSH2 0x2605 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH2 0x0e34 00000535: JUMP 00000536: JUMPDEST 00000537: CALLVALUE 00000538: DUP1 00000539: ISZERO 0000053a: PUSH2 0x0542 0000053d: JUMPI 0000053e: PUSH1 0x00 00000540: DUP1 00000541: REVERT 00000542: JUMPDEST 00000543: POP 00000544: PUSH2 0x034e 00000547: PUSH2 0x0551 0000054a: CALLDATASIZE 0000054b: PUSH1 0x04 0000054d: PUSH2 0x2540 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH2 0x0e4f 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: PUSH1 0x08 00000566: SLOAD 00000567: PUSH1 0x01 00000569: PUSH1 0xa0 0000056b: SHL 0000056c: SWAP1 0000056d: DIV 0000056e: PUSH1 0xff 00000570: AND 00000571: PUSH2 0x034e 00000574: JUMP 00000575: JUMPDEST 00000576: CALLVALUE 00000577: DUP1 00000578: ISZERO 00000579: PUSH2 0x0581 0000057c: JUMPI 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: REVERT 00000581: JUMPDEST 00000582: POP 00000583: PUSH2 0x039a 00000586: PUSH2 0x0590 00000589: CALLDATASIZE 0000058a: PUSH1 0x04 0000058c: PUSH2 0x2540 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH2 0x0e5a 00000594: JUMP 00000595: JUMPDEST 00000596: CALLVALUE 00000597: DUP1 00000598: ISZERO 00000599: PUSH2 0x05a1 0000059c: JUMPI 0000059d: PUSH1 0x00 0000059f: DUP1 000005a0: REVERT 000005a1: JUMPDEST 000005a2: POP 000005a3: PUSH2 0x03c7 000005a6: PUSH2 0x05b0 000005a9: CALLDATASIZE 000005aa: PUSH1 0x04 000005ac: PUSH2 0x2540 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH2 0x0e65 000005b4: JUMP 000005b5: JUMPDEST 000005b6: CALLVALUE 000005b7: DUP1 000005b8: ISZERO 000005b9: PUSH2 0x05c1 000005bc: JUMPI 000005bd: PUSH1 0x00 000005bf: DUP1 000005c0: REVERT 000005c1: JUMPDEST 000005c2: POP 000005c3: PUSH2 0x039a 000005c6: PUSH2 0x0e70 000005c9: JUMP 000005ca: JUMPDEST 000005cb: CALLVALUE 000005cc: DUP1 000005cd: ISZERO 000005ce: PUSH2 0x05d6 000005d1: JUMPI 000005d2: PUSH1 0x00 000005d4: DUP1 000005d5: REVERT 000005d6: JUMPDEST 000005d7: POP 000005d8: PUSH2 0x0475 000005db: PUSH2 0x05e5 000005de: CALLDATASIZE 000005df: PUSH1 0x04 000005e1: PUSH2 0x2540 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH2 0x0e7d 000005e9: JUMP 000005ea: JUMPDEST 000005eb: CALLVALUE 000005ec: DUP1 000005ed: ISZERO 000005ee: PUSH2 0x05f6 000005f1: JUMPI 000005f2: PUSH1 0x00 000005f4: DUP1 000005f5: REVERT 000005f6: JUMPDEST 000005f7: POP 000005f8: PUSH2 0x0475 000005fb: PUSH2 0x0605 000005fe: CALLDATASIZE 000005ff: PUSH1 0x04 00000601: PUSH2 0x265c 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH2 0x0eea 00000609: JUMP 0000060a: JUMPDEST 0000060b: CALLVALUE 0000060c: DUP1 0000060d: ISZERO 0000060e: PUSH2 0x0616 00000611: JUMPI 00000612: PUSH1 0x00 00000614: DUP1 00000615: REVERT 00000616: JUMPDEST 00000617: POP 00000618: PUSH2 0x0383 0000061b: PUSH2 0x0f39 0000061e: JUMP 0000061f: JUMPDEST 00000620: CALLVALUE 00000621: DUP1 00000622: ISZERO 00000623: PUSH2 0x062b 00000626: JUMPI 00000627: PUSH1 0x00 00000629: DUP1 0000062a: REVERT 0000062b: JUMPDEST 0000062c: POP 0000062d: PUSH2 0x0383 00000630: PUSH2 0x063a 00000633: CALLDATASIZE 00000634: PUSH1 0x04 00000636: PUSH2 0x24a0 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH2 0x0f4b 0000063e: JUMP 0000063f: JUMPDEST 00000640: CALLVALUE 00000641: DUP1 00000642: ISZERO 00000643: PUSH2 0x064b 00000646: JUMPI 00000647: PUSH1 0x00 00000649: DUP1 0000064a: REVERT 0000064b: JUMPDEST 0000064c: POP 0000064d: PUSH2 0x0475 00000650: PUSH2 0x065a 00000653: CALLDATASIZE 00000654: PUSH1 0x04 00000656: PUSH2 0x2540 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH2 0x0f66 0000065e: JUMP 0000065f: JUMPDEST 00000660: CALLVALUE 00000661: DUP1 00000662: ISZERO 00000663: PUSH2 0x066b 00000666: JUMPI 00000667: PUSH1 0x00 00000669: DUP1 0000066a: REVERT 0000066b: JUMPDEST 0000066c: POP 0000066d: PUSH2 0x039a 00000670: PUSH2 0x067a 00000673: CALLDATASIZE 00000674: PUSH1 0x04 00000676: PUSH2 0x2641 00000679: JUMP 0000067a: JUMPDEST 0000067b: PUSH2 0x0fd9 0000067e: JUMP 0000067f: JUMPDEST 00000680: CALLVALUE 00000681: DUP1 00000682: ISZERO 00000683: PUSH2 0x068b 00000686: JUMPI 00000687: PUSH1 0x00 00000689: DUP1 0000068a: REVERT 0000068b: JUMPDEST 0000068c: POP 0000068d: PUSH2 0x0383 00000690: PUSH2 0x0ff2 00000693: JUMP 00000694: JUMPDEST 00000695: CALLVALUE 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x06a0 0000069b: JUMPI 0000069c: PUSH1 0x00 0000069e: DUP1 0000069f: REVERT 000006a0: JUMPDEST 000006a1: POP 000006a2: PUSH2 0x0383 000006a5: PUSH2 0x06af 000006a8: CALLDATASIZE 000006a9: PUSH1 0x04 000006ab: PUSH2 0x25b7 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH2 0x1002 000006b3: JUMP 000006b4: JUMPDEST 000006b5: CALLVALUE 000006b6: DUP1 000006b7: ISZERO 000006b8: PUSH2 0x06c0 000006bb: JUMPI 000006bc: PUSH1 0x00 000006be: DUP1 000006bf: REVERT 000006c0: JUMPDEST 000006c1: POP 000006c2: PUSH2 0x0383 000006c5: PUSH2 0x06cf 000006c8: CALLDATASIZE 000006c9: PUSH1 0x04 000006cb: PUSH2 0x25b7 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH2 0x1034 000006d3: JUMP 000006d4: JUMPDEST 000006d5: CALLVALUE 000006d6: DUP1 000006d7: ISZERO 000006d8: PUSH2 0x06e0 000006db: JUMPI 000006dc: PUSH1 0x00 000006de: DUP1 000006df: REVERT 000006e0: JUMPDEST 000006e1: POP 000006e2: PUSH1 0x08 000006e4: SLOAD 000006e5: PUSH1 0x01 000006e7: PUSH1 0x01 000006e9: PUSH1 0xa0 000006eb: SHL 000006ec: SUB 000006ed: AND 000006ee: PUSH2 0x03c7 000006f1: JUMP 000006f2: JUMPDEST 000006f3: CALLVALUE 000006f4: DUP1 000006f5: ISZERO 000006f6: PUSH2 0x06fe 000006f9: JUMPI 000006fa: PUSH1 0x00 000006fc: DUP1 000006fd: REVERT 000006fe: JUMPDEST 000006ff: POP 00000700: PUSH2 0x0475 00000703: PUSH1 0x0f 00000705: SLOAD 00000706: DUP2 00000707: JUMP 00000708: JUMPDEST 00000709: CALLVALUE 0000070a: DUP1 0000070b: ISZERO 0000070c: PUSH2 0x0714 0000070f: JUMPI 00000710: PUSH1 0x00 00000712: DUP1 00000713: REVERT 00000714: JUMPDEST 00000715: POP 00000716: PUSH2 0x039a 00000719: PUSH2 0x1066 0000071c: JUMP 0000071d: JUMPDEST 0000071e: CALLVALUE 0000071f: DUP1 00000720: ISZERO 00000721: PUSH2 0x0729 00000724: JUMPI 00000725: PUSH1 0x00 00000727: DUP1 00000728: REVERT 00000729: JUMPDEST 0000072a: POP 0000072b: PUSH2 0x0383 0000072e: PUSH2 0x0738 00000731: CALLDATASIZE 00000732: PUSH1 0x04 00000734: PUSH2 0x2540 00000737: JUMP 00000738: JUMPDEST 00000739: PUSH2 0x1075 0000073c: JUMP 0000073d: JUMPDEST 0000073e: CALLVALUE 0000073f: DUP1 00000740: ISZERO 00000741: PUSH2 0x0749 00000744: JUMPI 00000745: PUSH1 0x00 00000747: DUP1 00000748: REVERT 00000749: JUMPDEST 0000074a: POP 0000074b: PUSH2 0x0383 0000074e: PUSH2 0x0758 00000751: CALLDATASIZE 00000752: PUSH1 0x04 00000754: PUSH2 0x25b7 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH2 0x1082 0000075c: JUMP 0000075d: JUMPDEST 0000075e: CALLVALUE 0000075f: DUP1 00000760: ISZERO 00000761: PUSH2 0x0769 00000764: JUMPI 00000765: PUSH1 0x00 00000767: DUP1 00000768: REVERT 00000769: JUMPDEST 0000076a: POP 0000076b: PUSH2 0x0383 0000076e: PUSH2 0x0778 00000771: CALLDATASIZE 00000772: PUSH1 0x04 00000774: PUSH2 0x2677 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH2 0x10b4 0000077c: JUMP 0000077d: JUMPDEST 0000077e: CALLVALUE 0000077f: DUP1 00000780: ISZERO 00000781: PUSH2 0x0789 00000784: JUMPI 00000785: PUSH1 0x00 00000787: DUP1 00000788: REVERT 00000789: JUMPDEST 0000078a: POP 0000078b: PUSH2 0x039a 0000078e: PUSH2 0x114a 00000791: JUMP 00000792: JUMPDEST 00000793: CALLVALUE 00000794: DUP1 00000795: ISZERO 00000796: PUSH2 0x079e 00000799: JUMPI 0000079a: PUSH1 0x00 0000079c: DUP1 0000079d: REVERT 0000079e: JUMPDEST 0000079f: POP 000007a0: PUSH2 0x039a 000007a3: PUSH2 0x1157 000007a6: JUMP 000007a7: JUMPDEST 000007a8: CALLVALUE 000007a9: DUP1 000007aa: ISZERO 000007ab: PUSH2 0x07b3 000007ae: JUMPI 000007af: PUSH1 0x00 000007b1: DUP1 000007b2: REVERT 000007b3: JUMPDEST 000007b4: POP 000007b5: PUSH2 0x0383 000007b8: PUSH2 0x07c2 000007bb: CALLDATASIZE 000007bc: PUSH1 0x04 000007be: PUSH2 0x26b3 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH2 0x1164 000007c6: JUMP 000007c7: JUMPDEST 000007c8: CALLVALUE 000007c9: DUP1 000007ca: ISZERO 000007cb: PUSH2 0x07d3 000007ce: JUMPI 000007cf: PUSH1 0x00 000007d1: DUP1 000007d2: REVERT 000007d3: JUMPDEST 000007d4: POP 000007d5: PUSH2 0x0475 000007d8: PUSH1 0x09 000007da: SLOAD 000007db: DUP2 000007dc: JUMP 000007dd: JUMPDEST 000007de: PUSH2 0x0383 000007e1: PUSH2 0x07eb 000007e4: CALLDATASIZE 000007e5: PUSH1 0x04 000007e7: PUSH2 0x272f 000007ea: JUMP 000007eb: JUMPDEST 000007ec: PUSH2 0x11ae 000007ef: JUMP 000007f0: JUMPDEST 000007f1: CALLVALUE 000007f2: DUP1 000007f3: ISZERO 000007f4: PUSH2 0x07fc 000007f7: JUMPI 000007f8: PUSH1 0x00 000007fa: DUP1 000007fb: REVERT 000007fc: JUMPDEST 000007fd: POP 000007fe: PUSH2 0x0383 00000801: PUSH2 0x080b 00000804: CALLDATASIZE 00000805: PUSH1 0x04 00000807: PUSH2 0x24a0 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH2 0x1230 0000080f: JUMP 00000810: JUMPDEST 00000811: CALLVALUE 00000812: DUP1 00000813: ISZERO 00000814: PUSH2 0x081c 00000817: JUMPI 00000818: PUSH1 0x00 0000081a: DUP1 0000081b: REVERT 0000081c: JUMPDEST 0000081d: POP 0000081e: PUSH2 0x0475 00000821: PUSH1 0x0e 00000823: SLOAD 00000824: DUP2 00000825: JUMP 00000826: JUMPDEST 00000827: CALLVALUE 00000828: DUP1 00000829: ISZERO 0000082a: PUSH2 0x0832 0000082d: JUMPI 0000082e: PUSH1 0x00 00000830: DUP1 00000831: REVERT 00000832: JUMPDEST 00000833: POP 00000834: PUSH2 0x039a 00000837: PUSH2 0x0841 0000083a: CALLDATASIZE 0000083b: PUSH1 0x04 0000083d: PUSH2 0x2540 00000840: JUMP 00000841: JUMPDEST 00000842: PUSH2 0x124b 00000845: JUMP 00000846: JUMPDEST 00000847: CALLVALUE 00000848: DUP1 00000849: ISZERO 0000084a: PUSH2 0x0852 0000084d: JUMPI 0000084e: PUSH1 0x00 00000850: DUP1 00000851: REVERT 00000852: JUMPDEST 00000853: POP 00000854: PUSH2 0x0383 00000857: PUSH2 0x0861 0000085a: CALLDATASIZE 0000085b: PUSH1 0x04 0000085d: PUSH2 0x2540 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH2 0x1284 00000865: JUMP 00000866: JUMPDEST 00000867: CALLVALUE 00000868: DUP1 00000869: ISZERO 0000086a: PUSH2 0x0872 0000086d: JUMPI 0000086e: PUSH1 0x00 00000870: DUP1 00000871: REVERT 00000872: JUMPDEST 00000873: POP 00000874: PUSH2 0x039a 00000877: PUSH2 0x0881 0000087a: CALLDATASIZE 0000087b: PUSH1 0x04 0000087d: PUSH2 0x2641 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH2 0x1291 00000885: JUMP 00000886: JUMPDEST 00000887: CALLVALUE 00000888: DUP1 00000889: ISZERO 0000088a: PUSH2 0x0892 0000088d: JUMPI 0000088e: PUSH1 0x00 00000890: DUP1 00000891: REVERT 00000892: JUMPDEST 00000893: POP 00000894: PUSH2 0x034e 00000897: PUSH2 0x08a1 0000089a: CALLDATASIZE 0000089b: PUSH1 0x04 0000089d: PUSH2 0x280b 000008a0: JUMP 000008a1: JUMPDEST 000008a2: PUSH1 0x01 000008a4: PUSH1 0x01 000008a6: PUSH1 0xa0 000008a8: SHL 000008a9: SUB 000008aa: SWAP2 000008ab: DUP3 000008ac: AND 000008ad: PUSH1 0x00 000008af: SWAP1 000008b0: DUP2 000008b1: MSTORE 000008b2: PUSH1 0x07 000008b4: PUSH1 0x20 000008b6: SWAP1 000008b7: DUP2 000008b8: MSTORE 000008b9: PUSH1 0x40 000008bb: DUP1 000008bc: DUP4 000008bd: KECCAK256 000008be: SWAP4 000008bf: SWAP1 000008c0: SWAP5 000008c1: AND 000008c2: DUP3 000008c3: MSTORE 000008c4: SWAP2 000008c5: SWAP1 000008c6: SWAP2 000008c7: MSTORE 000008c8: KECCAK256 000008c9: SLOAD 000008ca: PUSH1 0xff 000008cc: AND 000008cd: SWAP1 000008ce: JUMP 000008cf: JUMPDEST 000008d0: CALLVALUE 000008d1: DUP1 000008d2: ISZERO 000008d3: PUSH2 0x08db 000008d6: JUMPI 000008d7: PUSH1 0x00 000008d9: DUP1 000008da: REVERT 000008db: JUMPDEST 000008dc: POP 000008dd: PUSH2 0x0383 000008e0: PUSH2 0x08ea 000008e3: CALLDATASIZE 000008e4: PUSH1 0x04 000008e6: PUSH2 0x265c 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH2 0x12aa 000008ee: JUMP 000008ef: JUMPDEST 000008f0: CALLVALUE 000008f1: DUP1 000008f2: ISZERO 000008f3: PUSH2 0x08fb 000008f6: JUMPI 000008f7: PUSH1 0x00 000008f9: DUP1 000008fa: REVERT 000008fb: JUMPDEST 000008fc: POP 000008fd: PUSH2 0x0383 00000900: PUSH2 0x090a 00000903: CALLDATASIZE 00000904: PUSH1 0x04 00000906: PUSH2 0x2540 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH2 0x1337 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 0x039a 00000920: PUSH2 0x092a 00000923: CALLDATASIZE 00000924: PUSH1 0x04 00000926: PUSH2 0x2641 00000929: JUMP 0000092a: JUMPDEST 0000092b: PUSH2 0x1344 0000092e: JUMP 0000092f: JUMPDEST 00000930: PUSH1 0x00 00000932: PUSH4 0x01ffc9a7 00000937: PUSH1 0xe0 00000939: SHL 0000093a: PUSH1 0x01 0000093c: PUSH1 0x01 0000093e: PUSH1 0xe0 00000940: SHL 00000941: SUB 00000942: NOT 00000943: DUP4 00000944: AND 00000945: EQ 00000946: DUP1 00000947: PUSH2 0x0960 0000094a: JUMPI 0000094b: POP 0000094c: PUSH4 0x80ac58cd 00000951: PUSH1 0xe0 00000953: SHL 00000954: PUSH1 0x01 00000956: PUSH1 0x01 00000958: PUSH1 0xe0 0000095a: SHL 0000095b: SUB 0000095c: NOT 0000095d: DUP4 0000095e: AND 0000095f: EQ 00000960: JUMPDEST 00000961: DUP1 00000962: PUSH2 0x097b 00000965: JUMPI 00000966: POP 00000967: PUSH4 0x5b5e139f 0000096c: PUSH1 0xe0 0000096e: SHL 0000096f: PUSH1 0x01 00000971: PUSH1 0x01 00000973: PUSH1 0xe0 00000975: SHL 00000976: SUB 00000977: NOT 00000978: DUP4 00000979: AND 0000097a: EQ 0000097b: JUMPDEST 0000097c: SWAP3 0000097d: SWAP2 0000097e: POP 0000097f: POP 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH2 0x0989 00000985: PUSH2 0x135d 00000988: JUMP 00000989: JUMPDEST 0000098a: DUP1 0000098b: MLOAD 0000098c: PUSH2 0x099c 0000098f: SWAP1 00000990: PUSH1 0x0a 00000992: SWAP1 00000993: PUSH1 0x20 00000995: DUP5 00000996: ADD 00000997: SWAP1 00000998: PUSH2 0x22ec 0000099b: JUMP 0000099c: JUMPDEST 0000099d: POP 0000099e: POP 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x60 000009a3: PUSH1 0x02 000009a5: DUP1 000009a6: SLOAD 000009a7: PUSH2 0x09af 000009aa: SWAP1 000009ab: PUSH2 0x283e 000009ae: JUMP 000009af: JUMPDEST 000009b0: DUP1 000009b1: PUSH1 0x1f 000009b3: ADD 000009b4: PUSH1 0x20 000009b6: DUP1 000009b7: SWAP2 000009b8: DIV 000009b9: MUL 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: PUSH1 0x40 000009bf: MLOAD 000009c0: SWAP1 000009c1: DUP2 000009c2: ADD 000009c3: PUSH1 0x40 000009c5: MSTORE 000009c6: DUP1 000009c7: SWAP3 000009c8: SWAP2 000009c9: SWAP1 000009ca: DUP2 000009cb: DUP2 000009cc: MSTORE 000009cd: PUSH1 0x20 000009cf: ADD 000009d0: DUP3 000009d1: DUP1 000009d2: SLOAD 000009d3: PUSH2 0x09db 000009d6: SWAP1 000009d7: PUSH2 0x283e 000009da: JUMP 000009db: JUMPDEST 000009dc: DUP1 000009dd: ISZERO 000009de: PUSH2 0x0a28 000009e1: JUMPI 000009e2: DUP1 000009e3: PUSH1 0x1f 000009e5: LT 000009e6: PUSH2 0x09fd 000009e9: JUMPI 000009ea: PUSH2 0x0100 000009ed: DUP1 000009ee: DUP4 000009ef: SLOAD 000009f0: DIV 000009f1: MUL 000009f2: DUP4 000009f3: MSTORE 000009f4: SWAP2 000009f5: PUSH1 0x20 000009f7: ADD 000009f8: SWAP2 000009f9: PUSH2 0x0a28 000009fc: JUMP 000009fd: JUMPDEST 000009fe: DUP3 000009ff: ADD 00000a00: SWAP2 00000a01: SWAP1 00000a02: PUSH1 0x00 00000a04: MSTORE 00000a05: PUSH1 0x20 00000a07: PUSH1 0x00 00000a09: KECCAK256 00000a0a: SWAP1 00000a0b: JUMPDEST 00000a0c: DUP2 00000a0d: SLOAD 00000a0e: DUP2 00000a0f: MSTORE 00000a10: SWAP1 00000a11: PUSH1 0x01 00000a13: ADD 00000a14: SWAP1 00000a15: PUSH1 0x20 00000a17: ADD 00000a18: DUP1 00000a19: DUP4 00000a1a: GT 00000a1b: PUSH2 0x0a0b 00000a1e: JUMPI 00000a1f: DUP3 00000a20: SWAP1 00000a21: SUB 00000a22: PUSH1 0x1f 00000a24: AND 00000a25: DUP3 00000a26: ADD 00000a27: SWAP2 00000a28: JUMPDEST 00000a29: POP 00000a2a: POP 00000a2b: POP 00000a2c: POP 00000a2d: POP 00000a2e: SWAP1 00000a2f: POP 00000a30: SWAP1 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x00 00000a35: PUSH2 0x0a3d 00000a38: DUP3 00000a39: PUSH2 0x13b7 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: PUSH2 0x0a5a 00000a41: JUMPI 00000a42: PUSH1 0x40 00000a44: MLOAD 00000a45: PUSH4 0x33d1c039 00000a4a: PUSH1 0xe2 00000a4c: SHL 00000a4d: DUP2 00000a4e: MSTORE 00000a4f: PUSH1 0x04 00000a51: ADD 00000a52: PUSH1 0x40 00000a54: MLOAD 00000a55: DUP1 00000a56: SWAP2 00000a57: SUB 00000a58: SWAP1 00000a59: REVERT 00000a5a: JUMPDEST 00000a5b: POP 00000a5c: PUSH1 0x00 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x06 00000a63: PUSH1 0x20 00000a65: MSTORE 00000a66: PUSH1 0x40 00000a68: SWAP1 00000a69: KECCAK256 00000a6a: SLOAD 00000a6b: PUSH1 0x01 00000a6d: PUSH1 0x01 00000a6f: PUSH1 0xa0 00000a71: SHL 00000a72: SUB 00000a73: AND 00000a74: SWAP1 00000a75: JUMP 00000a76: JUMPDEST 00000a77: PUSH1 0x00 00000a79: PUSH2 0x0a81 00000a7c: DUP3 00000a7d: PUSH2 0x0e65 00000a80: JUMP 00000a81: JUMPDEST 00000a82: SWAP1 00000a83: POP 00000a84: CALLER 00000a85: PUSH1 0x01 00000a87: PUSH1 0x01 00000a89: PUSH1 0xa0 00000a8b: SHL 00000a8c: SUB 00000a8d: DUP3 00000a8e: AND 00000a8f: EQ 00000a90: PUSH2 0x0aba 00000a93: JUMPI 00000a94: PUSH2 0x0a9d 00000a97: DUP2 00000a98: CALLER 00000a99: PUSH2 0x08a1 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: PUSH2 0x0aba 00000aa1: JUMPI 00000aa2: PUSH1 0x40 00000aa4: MLOAD 00000aa5: PUSH4 0x67d9dca1 00000aaa: PUSH1 0xe1 00000aac: SHL 00000aad: DUP2 00000aae: MSTORE 00000aaf: PUSH1 0x04 00000ab1: ADD 00000ab2: PUSH1 0x40 00000ab4: MLOAD 00000ab5: DUP1 00000ab6: SWAP2 00000ab7: SUB 00000ab8: SWAP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: PUSH1 0x00 00000abd: DUP3 00000abe: DUP2 00000abf: MSTORE 00000ac0: PUSH1 0x06 00000ac2: PUSH1 0x20 00000ac4: MSTORE 00000ac5: PUSH1 0x40 00000ac7: DUP1 00000ac8: DUP3 00000ac9: KECCAK256 00000aca: DUP1 00000acb: SLOAD 00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae1: NOT 00000ae2: AND 00000ae3: PUSH1 0x01 00000ae5: PUSH1 0x01 00000ae7: PUSH1 0xa0 00000ae9: SHL 00000aea: SUB 00000aeb: DUP8 00000aec: DUP2 00000aed: AND 00000aee: SWAP2 00000aef: DUP3 00000af0: OR 00000af1: SWAP1 00000af2: SWAP3 00000af3: SSTORE 00000af4: SWAP2 00000af5: MLOAD 00000af6: DUP6 00000af7: SWAP4 00000af8: SWAP2 00000af9: DUP6 00000afa: AND 00000afb: SWAP2 00000afc: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000b1d: SWAP2 00000b1e: LOG4 00000b1f: POP 00000b20: POP 00000b21: POP 00000b22: JUMP 00000b23: JUMPDEST 00000b24: PUSH2 0x0b2b 00000b27: PUSH2 0x135d 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH8 0xffffffffffffffff 00000b35: DUP3 00000b36: AND 00000b37: PUSH1 0x00 00000b39: SWAP1 00000b3a: DUP2 00000b3b: MSTORE 00000b3c: PUSH1 0x11 00000b3e: PUSH1 0x20 00000b40: SWAP1 00000b41: DUP2 00000b42: MSTORE 00000b43: PUSH1 0x40 00000b45: SWAP1 00000b46: SWAP2 00000b47: KECCAK256 00000b48: DUP3 00000b49: MLOAD 00000b4a: PUSH2 0x0b55 00000b4d: SWAP3 00000b4e: DUP5 00000b4f: ADD 00000b50: SWAP1 00000b51: PUSH2 0x22ec 00000b54: JUMP 00000b55: JUMPDEST 00000b56: POP 00000b57: POP 00000b58: POP 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: PUSH1 0x0a 00000b5d: DUP1 00000b5e: SLOAD 00000b5f: PUSH2 0x0b67 00000b62: SWAP1 00000b63: PUSH2 0x283e 00000b66: JUMP 00000b67: JUMPDEST 00000b68: DUP1 00000b69: PUSH1 0x1f 00000b6b: ADD 00000b6c: PUSH1 0x20 00000b6e: DUP1 00000b6f: SWAP2 00000b70: DIV 00000b71: MUL 00000b72: PUSH1 0x20 00000b74: ADD 00000b75: PUSH1 0x40 00000b77: MLOAD 00000b78: SWAP1 00000b79: DUP2 00000b7a: ADD 00000b7b: PUSH1 0x40 00000b7d: MSTORE 00000b7e: DUP1 00000b7f: SWAP3 00000b80: SWAP2 00000b81: SWAP1 00000b82: DUP2 00000b83: DUP2 00000b84: MSTORE 00000b85: PUSH1 0x20 00000b87: ADD 00000b88: DUP3 00000b89: DUP1 00000b8a: SLOAD 00000b8b: PUSH2 0x0b93 00000b8e: SWAP1 00000b8f: PUSH2 0x283e 00000b92: JUMP 00000b93: JUMPDEST 00000b94: DUP1 00000b95: ISZERO 00000b96: PUSH2 0x0be0 00000b99: JUMPI 00000b9a: DUP1 00000b9b: PUSH1 0x1f 00000b9d: LT 00000b9e: PUSH2 0x0bb5 00000ba1: JUMPI 00000ba2: PUSH2 0x0100 00000ba5: DUP1 00000ba6: DUP4 00000ba7: SLOAD 00000ba8: DIV 00000ba9: MUL 00000baa: DUP4 00000bab: MSTORE 00000bac: SWAP2 00000bad: PUSH1 0x20 00000baf: ADD 00000bb0: SWAP2 00000bb1: PUSH2 0x0be0 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: DUP3 00000bb7: ADD 00000bb8: SWAP2 00000bb9: SWAP1 00000bba: PUSH1 0x00 00000bbc: MSTORE 00000bbd: PUSH1 0x20 00000bbf: PUSH1 0x00 00000bc1: KECCAK256 00000bc2: SWAP1 00000bc3: JUMPDEST 00000bc4: DUP2 00000bc5: SLOAD 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: SWAP1 00000bc9: PUSH1 0x01 00000bcb: ADD 00000bcc: SWAP1 00000bcd: PUSH1 0x20 00000bcf: ADD 00000bd0: DUP1 00000bd1: DUP4 00000bd2: GT 00000bd3: PUSH2 0x0bc3 00000bd6: JUMPI 00000bd7: DUP3 00000bd8: SWAP1 00000bd9: SUB 00000bda: PUSH1 0x1f 00000bdc: AND 00000bdd: DUP3 00000bde: ADD 00000bdf: SWAP2 00000be0: JUMPDEST 00000be1: POP 00000be2: POP 00000be3: POP 00000be4: POP 00000be5: POP 00000be6: DUP2 00000be7: JUMP 00000be8: JUMPDEST 00000be9: PUSH1 0x00 00000beb: PUSH2 0x0bf3 00000bee: DUP3 00000bef: PUSH2 0x13ec 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: SWAP1 00000bf5: POP 00000bf6: DUP4 00000bf7: PUSH1 0x01 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0xa0 00000bfd: SHL 00000bfe: SUB 00000bff: AND 00000c00: DUP2 00000c01: PUSH1 0x01 00000c03: PUSH1 0x01 00000c05: PUSH1 0xa0 00000c07: SHL 00000c08: SUB 00000c09: AND 00000c0a: EQ 00000c0b: PUSH2 0x0c26 00000c0e: JUMPI 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: PUSH3 0xa11481 00000c16: PUSH1 0xe8 00000c18: SHL 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x04 00000c1d: ADD 00000c1e: PUSH1 0x40 00000c20: MLOAD 00000c21: DUP1 00000c22: SWAP2 00000c23: SUB 00000c24: SWAP1 00000c25: REVERT 00000c26: JUMPDEST 00000c27: PUSH1 0x00 00000c29: DUP3 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x06 00000c2e: PUSH1 0x20 00000c30: MSTORE 00000c31: PUSH1 0x40 00000c33: SWAP1 00000c34: KECCAK256 00000c35: DUP1 00000c36: SLOAD 00000c37: CALLER 00000c38: DUP1 00000c39: DUP3 00000c3a: EQ 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0xa0 00000c41: SHL 00000c42: SUB 00000c43: DUP9 00000c44: AND 00000c45: SWAP1 00000c46: SWAP2 00000c47: EQ 00000c48: OR 00000c49: PUSH2 0x0c73 00000c4c: JUMPI 00000c4d: PUSH2 0x0c56 00000c50: DUP7 00000c51: CALLER 00000c52: PUSH2 0x08a1 00000c55: JUMP 00000c56: JUMPDEST 00000c57: PUSH2 0x0c73 00000c5a: JUMPI 00000c5b: PUSH1 0x40 00000c5d: MLOAD 00000c5e: PUSH4 0x2ce44b5f 00000c63: PUSH1 0xe1 00000c65: SHL 00000c66: DUP2 00000c67: MSTORE 00000c68: PUSH1 0x04 00000c6a: ADD 00000c6b: PUSH1 0x40 00000c6d: MLOAD 00000c6e: DUP1 00000c6f: SWAP2 00000c70: SUB 00000c71: SWAP1 00000c72: REVERT 00000c73: JUMPDEST 00000c74: PUSH1 0x01 00000c76: PUSH1 0x01 00000c78: PUSH1 0xa0 00000c7a: SHL 00000c7b: SUB 00000c7c: DUP6 00000c7d: AND 00000c7e: PUSH2 0x0c9a 00000c81: JUMPI 00000c82: PUSH1 0x40 00000c84: MLOAD 00000c85: PUSH4 0x3a954ecd 00000c8a: PUSH1 0xe2 00000c8c: SHL 00000c8d: DUP2 00000c8e: MSTORE 00000c8f: PUSH1 0x04 00000c91: ADD 00000c92: PUSH1 0x40 00000c94: MLOAD 00000c95: DUP1 00000c96: SWAP2 00000c97: SUB 00000c98: SWAP1 00000c99: REVERT 00000c9a: JUMPDEST 00000c9b: DUP1 00000c9c: ISZERO 00000c9d: PUSH2 0x0ca5 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP3 00000ca4: SSTORE 00000ca5: JUMPDEST 00000ca6: PUSH1 0x01 00000ca8: PUSH1 0x01 00000caa: PUSH1 0xa0 00000cac: SHL 00000cad: SUB 00000cae: DUP7 00000caf: DUP2 00000cb0: AND 00000cb1: PUSH1 0x00 00000cb3: SWAP1 00000cb4: DUP2 00000cb5: MSTORE 00000cb6: PUSH1 0x05 00000cb8: PUSH1 0x20 00000cba: MSTORE 00000cbb: PUSH1 0x40 00000cbd: DUP1 00000cbe: DUP3 00000cbf: KECCAK256 00000cc0: DUP1 00000cc1: SLOAD 00000cc2: PUSH1 0x00 00000cc4: NOT 00000cc5: ADD 00000cc6: SWAP1 00000cc7: SSTORE 00000cc8: SWAP2 00000cc9: DUP8 00000cca: AND 00000ccb: DUP1 00000ccc: DUP3 00000ccd: MSTORE 00000cce: SWAP2 00000ccf: SWAP1 00000cd0: KECCAK256 00000cd1: DUP1 00000cd2: SLOAD 00000cd3: PUSH1 0x01 00000cd5: ADD 00000cd6: SWAP1 00000cd7: SSTORE 00000cd8: TIMESTAMP 00000cd9: PUSH1 0xa0 00000cdb: SHL 00000cdc: OR 00000cdd: PUSH1 0x01 00000cdf: PUSH1 0xe1 00000ce1: SHL 00000ce2: OR 00000ce3: PUSH1 0x00 00000ce5: DUP6 00000ce6: DUP2 00000ce7: MSTORE 00000ce8: PUSH1 0x04 00000cea: PUSH1 0x20 00000cec: MSTORE 00000ced: PUSH1 0x40 00000cef: SWAP1 00000cf0: KECCAK256 00000cf1: SSTORE 00000cf2: PUSH1 0x01 00000cf4: PUSH1 0xe1 00000cf6: SHL 00000cf7: DUP4 00000cf8: AND 00000cf9: PUSH2 0x0d30 00000cfc: JUMPI 00000cfd: PUSH1 0x01 00000cff: DUP5 00000d00: ADD 00000d01: PUSH1 0x00 00000d03: DUP2 00000d04: DUP2 00000d05: MSTORE 00000d06: PUSH1 0x04 00000d08: PUSH1 0x20 00000d0a: MSTORE 00000d0b: PUSH1 0x40 00000d0d: SWAP1 00000d0e: KECCAK256 00000d0f: SLOAD 00000d10: PUSH2 0x0d2e 00000d13: JUMPI 00000d14: PUSH1 0x00 00000d16: SLOAD 00000d17: DUP2 00000d18: EQ 00000d19: PUSH2 0x0d2e 00000d1c: JUMPI 00000d1d: PUSH1 0x00 00000d1f: DUP2 00000d20: DUP2 00000d21: MSTORE 00000d22: PUSH1 0x04 00000d24: PUSH1 0x20 00000d26: MSTORE 00000d27: PUSH1 0x40 00000d29: SWAP1 00000d2a: KECCAK256 00000d2b: DUP5 00000d2c: SWAP1 00000d2d: SSTORE 00000d2e: JUMPDEST 00000d2f: POP 00000d30: JUMPDEST 00000d31: DUP4 00000d32: DUP6 00000d33: PUSH1 0x01 00000d35: PUSH1 0x01 00000d37: PUSH1 0xa0 00000d39: SHL 00000d3a: SUB 00000d3b: AND 00000d3c: DUP8 00000d3d: PUSH1 0x01 00000d3f: PUSH1 0x01 00000d41: PUSH1 0xa0 00000d43: SHL 00000d44: SUB 00000d45: AND 00000d46: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000d67: PUSH1 0x40 00000d69: MLOAD 00000d6a: PUSH1 0x40 00000d6c: MLOAD 00000d6d: DUP1 00000d6e: SWAP2 00000d6f: SUB 00000d70: SWAP1 00000d71: LOG4 00000d72: JUMPDEST 00000d73: POP 00000d74: POP 00000d75: POP 00000d76: POP 00000d77: POP 00000d78: POP 00000d79: JUMP 00000d7a: JUMPDEST 00000d7b: PUSH2 0x0d82 00000d7e: PUSH2 0x135d 00000d81: JUMP 00000d82: JUMPDEST 00000d83: DUP1 00000d84: MLOAD 00000d85: PUSH2 0x099c 00000d88: SWAP1 00000d89: PUSH1 0x0c 00000d8b: SWAP1 00000d8c: PUSH1 0x20 00000d8e: DUP5 00000d8f: ADD 00000d90: SWAP1 00000d91: PUSH2 0x22ec 00000d94: JUMP 00000d95: JUMPDEST 00000d96: PUSH1 0x12 00000d98: PUSH1 0x20 00000d9a: MSTORE 00000d9b: PUSH1 0x00 00000d9d: SWAP1 00000d9e: DUP2 00000d9f: MSTORE 00000da0: PUSH1 0x40 00000da2: SWAP1 00000da3: KECCAK256 00000da4: DUP1 00000da5: SLOAD 00000da6: PUSH2 0x0b67 00000da9: SWAP1 00000daa: PUSH2 0x283e 00000dad: JUMP 00000dae: JUMPDEST 00000daf: PUSH2 0x0db6 00000db2: PUSH2 0x135d 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH1 0x40 00000db9: MLOAD 00000dba: PUSH1 0x00 00000dbc: SWAP1 00000dbd: PUSH20 0x2ec92db165fa3df089ec1ae997bfe692ea095ecc 00000dd2: SWAP1 00000dd3: SELFBALANCE 00000dd4: SWAP1 00000dd5: DUP4 00000dd6: DUP2 00000dd7: DUP2 00000dd8: DUP2 00000dd9: DUP6 00000dda: DUP8 00000ddb: GAS 00000ddc: CALL 00000ddd: SWAP3 00000dde: POP 00000ddf: POP 00000de0: POP 00000de1: RETURNDATASIZE 00000de2: DUP1 00000de3: PUSH1 0x00 00000de5: DUP2 00000de6: EQ 00000de7: PUSH2 0x0e0c 00000dea: JUMPI 00000deb: PUSH1 0x40 00000ded: MLOAD 00000dee: SWAP2 00000def: POP 00000df0: PUSH1 0x1f 00000df2: NOT 00000df3: PUSH1 0x3f 00000df5: RETURNDATASIZE 00000df6: ADD 00000df7: AND 00000df8: DUP3 00000df9: ADD 00000dfa: PUSH1 0x40 00000dfc: MSTORE 00000dfd: RETURNDATASIZE 00000dfe: DUP3 00000dff: MSTORE 00000e00: RETURNDATASIZE 00000e01: PUSH1 0x00 00000e03: PUSH1 0x20 00000e05: DUP5 00000e06: ADD 00000e07: RETURNDATACOPY 00000e08: PUSH2 0x0e11 00000e0b: JUMP 00000e0c: JUMPDEST 00000e0d: PUSH1 0x60 00000e0f: SWAP2 00000e10: POP 00000e11: JUMPDEST 00000e12: POP 00000e13: POP 00000e14: SWAP1 00000e15: POP 00000e16: DUP1 00000e17: PUSH2 0x0e1f 00000e1a: JUMPI 00000e1b: PUSH1 0x00 00000e1d: DUP1 00000e1e: REVERT 00000e1f: JUMPDEST 00000e20: POP 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH2 0x0e2a 00000e26: PUSH2 0x135d 00000e29: JUMP 00000e2a: JUMPDEST 00000e2b: PUSH2 0x0e32 00000e2e: PUSH2 0x1455 00000e31: JUMP 00000e32: JUMPDEST 00000e33: JUMP 00000e34: JUMPDEST 00000e35: PUSH2 0x0b55 00000e38: DUP4 00000e39: DUP4 00000e3a: DUP4 00000e3b: PUSH1 0x40 00000e3d: MLOAD 00000e3e: DUP1 00000e3f: PUSH1 0x20 00000e41: ADD 00000e42: PUSH1 0x40 00000e44: MSTORE 00000e45: DUP1 00000e46: PUSH1 0x00 00000e48: DUP2 00000e49: MSTORE 00000e4a: POP 00000e4b: PUSH2 0x1164 00000e4e: JUMP 00000e4f: JUMPDEST 00000e50: PUSH1 0x00 00000e52: PUSH2 0x097b 00000e55: DUP3 00000e56: PUSH2 0x13b7 00000e59: JUMP 00000e5a: JUMPDEST 00000e5b: PUSH1 0x60 00000e5d: PUSH2 0x097b 00000e60: DUP3 00000e61: PUSH2 0x14aa 00000e64: JUMP 00000e65: JUMPDEST 00000e66: PUSH1 0x00 00000e68: PUSH2 0x097b 00000e6b: DUP3 00000e6c: PUSH2 0x13ec 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH1 0x0d 00000e73: DUP1 00000e74: SLOAD 00000e75: PUSH2 0x0b67 00000e78: SWAP1 00000e79: PUSH2 0x283e 00000e7c: JUMP 00000e7d: JUMPDEST 00000e7e: PUSH1 0x00 00000e80: DUP2 00000e81: PUSH2 0x0e89 00000e84: DUP2 00000e85: PUSH2 0x0e4f 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: PUSH2 0x0ecf 00000e8d: JUMPI 00000e8e: PUSH1 0x40 00000e90: MLOAD 00000e91: PUSH3 0x461bcd 00000e95: PUSH1 0xe5 00000e97: SHL 00000e98: DUP2 00000e99: MSTORE 00000e9a: PUSH1 0x20 00000e9c: PUSH1 0x04 00000e9e: DUP3 00000e9f: ADD 00000ea0: MSTORE 00000ea1: PUSH1 0x12 00000ea3: PUSH1 0x24 00000ea5: DUP3 00000ea6: ADD 00000ea7: MSTORE 00000ea8: PUSH18 0x1d1bdad95b881a5cc81b9bdd08195e1a5cdd 00000ebb: PUSH1 0x72 00000ebd: SHL 00000ebe: PUSH1 0x44 00000ec0: DUP3 00000ec1: ADD 00000ec2: MSTORE 00000ec3: PUSH1 0x64 00000ec5: ADD 00000ec6: JUMPDEST 00000ec7: PUSH1 0x40 00000ec9: MLOAD 00000eca: DUP1 00000ecb: SWAP2 00000ecc: SUB 00000ecd: SWAP1 00000ece: REVERT 00000ecf: JUMPDEST 00000ed0: PUSH1 0x00 00000ed2: DUP4 00000ed3: DUP2 00000ed4: MSTORE 00000ed5: PUSH1 0x15 00000ed7: PUSH1 0x20 00000ed9: MSTORE 00000eda: PUSH1 0x40 00000edc: SWAP1 00000edd: KECCAK256 00000ede: PUSH1 0x01 00000ee0: ADD 00000ee1: SLOAD 00000ee2: SWAP2 00000ee3: POP 00000ee4: JUMPDEST 00000ee5: POP 00000ee6: SWAP2 00000ee7: SWAP1 00000ee8: POP 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: PUSH1 0x00 00000eed: PUSH1 0x01 00000eef: PUSH1 0x01 00000ef1: PUSH1 0xa0 00000ef3: SHL 00000ef4: SUB 00000ef5: DUP3 00000ef6: AND 00000ef7: PUSH2 0x0f13 00000efa: JUMPI 00000efb: PUSH1 0x40 00000efd: MLOAD 00000efe: PUSH4 0x23d3ad81 00000f03: PUSH1 0xe2 00000f05: SHL 00000f06: DUP2 00000f07: MSTORE 00000f08: PUSH1 0x04 00000f0a: ADD 00000f0b: PUSH1 0x40 00000f0d: MLOAD 00000f0e: DUP1 00000f0f: SWAP2 00000f10: SUB 00000f11: SWAP1 00000f12: REVERT 00000f13: JUMPDEST 00000f14: POP 00000f15: PUSH1 0x01 00000f17: PUSH1 0x01 00000f19: PUSH1 0xa0 00000f1b: SHL 00000f1c: SUB 00000f1d: AND 00000f1e: PUSH1 0x00 00000f20: SWAP1 00000f21: DUP2 00000f22: MSTORE 00000f23: PUSH1 0x05 00000f25: PUSH1 0x20 00000f27: MSTORE 00000f28: PUSH1 0x40 00000f2a: SWAP1 00000f2b: KECCAK256 00000f2c: SLOAD 00000f2d: PUSH8 0xffffffffffffffff 00000f36: AND 00000f37: SWAP1 00000f38: JUMP 00000f39: JUMPDEST 00000f3a: PUSH2 0x0f41 00000f3d: PUSH2 0x135d 00000f40: JUMP 00000f41: JUMPDEST 00000f42: PUSH2 0x0e32 00000f45: PUSH1 0x00 00000f47: PUSH2 0x1845 00000f4a: JUMP 00000f4b: JUMPDEST 00000f4c: PUSH2 0x0f53 00000f4f: PUSH2 0x135d 00000f52: JUMP 00000f53: JUMPDEST 00000f54: DUP1 00000f55: MLOAD 00000f56: PUSH2 0x099c 00000f59: SWAP1 00000f5a: PUSH1 0x0d 00000f5c: SWAP1 00000f5d: PUSH1 0x20 00000f5f: DUP5 00000f60: ADD 00000f61: SWAP1 00000f62: PUSH2 0x22ec 00000f65: JUMP 00000f66: JUMPDEST 00000f67: PUSH1 0x00 00000f69: DUP2 00000f6a: PUSH2 0x0f72 00000f6d: DUP2 00000f6e: PUSH2 0x0e4f 00000f71: JUMP 00000f72: JUMPDEST 00000f73: PUSH2 0x0fb3 00000f76: JUMPI 00000f77: PUSH1 0x40 00000f79: MLOAD 00000f7a: PUSH3 0x461bcd 00000f7e: PUSH1 0xe5 00000f80: SHL 00000f81: DUP2 00000f82: MSTORE 00000f83: PUSH1 0x20 00000f85: PUSH1 0x04 00000f87: DUP3 00000f88: ADD 00000f89: MSTORE 00000f8a: PUSH1 0x12 00000f8c: PUSH1 0x24 00000f8e: DUP3 00000f8f: ADD 00000f90: MSTORE 00000f91: PUSH18 0x1d1bdad95b881a5cc81b9bdd08195e1a5cdd 00000fa4: PUSH1 0x72 00000fa6: SHL 00000fa7: PUSH1 0x44 00000fa9: DUP3 00000faa: ADD 00000fab: MSTORE 00000fac: PUSH1 0x64 00000fae: ADD 00000faf: PUSH2 0x0ec6 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: PUSH1 0x0e 00000fb6: SLOAD 00000fb7: PUSH1 0x00 00000fb9: DUP5 00000fba: DUP2 00000fbb: MSTORE 00000fbc: PUSH1 0x15 00000fbe: PUSH1 0x20 00000fc0: MSTORE 00000fc1: PUSH1 0x40 00000fc3: SWAP1 00000fc4: KECCAK256 00000fc5: PUSH1 0x01 00000fc7: ADD 00000fc8: SLOAD 00000fc9: PUSH2 0x0fd2 00000fcc: SWAP2 00000fcd: SWAP1 00000fce: PUSH2 0x2889 00000fd1: JUMP 00000fd2: JUMPDEST 00000fd3: SWAP4 00000fd4: SWAP3 00000fd5: POP 00000fd6: POP 00000fd7: POP 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: PUSH1 0x11 00000fdc: PUSH1 0x20 00000fde: MSTORE 00000fdf: PUSH1 0x00 00000fe1: SWAP1 00000fe2: DUP2 00000fe3: MSTORE 00000fe4: PUSH1 0x40 00000fe6: SWAP1 00000fe7: KECCAK256 00000fe8: DUP1 00000fe9: SLOAD 00000fea: PUSH2 0x0b67 00000fed: SWAP1 00000fee: PUSH2 0x283e 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH2 0x0ffa 00000ff6: PUSH2 0x135d 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: PUSH2 0x0e32 00000ffe: PUSH2 0x18a4 00001001: JUMP 00001002: JUMPDEST 00001003: PUSH2 0x100a 00001006: PUSH2 0x135d 00001009: JUMP 0000100a: JUMPDEST 0000100b: PUSH8 0xffffffffffffffff 00001014: DUP3 00001015: AND 00001016: PUSH1 0x00 00001018: SWAP1 00001019: DUP2 0000101a: MSTORE 0000101b: PUSH1 0x12 0000101d: PUSH1 0x20 0000101f: SWAP1 00001020: DUP2 00001021: MSTORE 00001022: PUSH1 0x40 00001024: SWAP1 00001025: SWAP2 00001026: KECCAK256 00001027: DUP3 00001028: MLOAD 00001029: PUSH2 0x0b55 0000102c: SWAP3 0000102d: DUP5 0000102e: ADD 0000102f: SWAP1 00001030: PUSH2 0x22ec 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH2 0x103c 00001038: PUSH2 0x135d 0000103b: JUMP 0000103c: JUMPDEST 0000103d: PUSH8 0xffffffffffffffff 00001046: DUP3 00001047: AND 00001048: PUSH1 0x00 0000104a: SWAP1 0000104b: DUP2 0000104c: MSTORE 0000104d: PUSH1 0x13 0000104f: PUSH1 0x20 00001051: SWAP1 00001052: DUP2 00001053: MSTORE 00001054: PUSH1 0x40 00001056: SWAP1 00001057: SWAP2 00001058: KECCAK256 00001059: DUP3 0000105a: MLOAD 0000105b: PUSH2 0x0b55 0000105e: SWAP3 0000105f: DUP5 00001060: ADD 00001061: SWAP1 00001062: PUSH2 0x22ec 00001065: JUMP 00001066: JUMPDEST 00001067: PUSH1 0x60 00001069: PUSH1 0x03 0000106b: DUP1 0000106c: SLOAD 0000106d: PUSH2 0x09af 00001070: SWAP1 00001071: PUSH2 0x283e 00001074: JUMP 00001075: JUMPDEST 00001076: PUSH2 0x107d 00001079: PUSH2 0x135d 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH1 0x10 00001080: SSTORE 00001081: JUMP 00001082: JUMPDEST 00001083: PUSH2 0x108a 00001086: PUSH2 0x135d 00001089: JUMP 0000108a: JUMPDEST 0000108b: PUSH8 0xffffffffffffffff 00001094: DUP3 00001095: AND 00001096: PUSH1 0x00 00001098: SWAP1 00001099: DUP2 0000109a: MSTORE 0000109b: PUSH1 0x14 0000109d: PUSH1 0x20 0000109f: SWAP1 000010a0: DUP2 000010a1: MSTORE 000010a2: PUSH1 0x40 000010a4: SWAP1 000010a5: SWAP2 000010a6: KECCAK256 000010a7: DUP3 000010a8: MLOAD 000010a9: PUSH2 0x0b55 000010ac: SWAP3 000010ad: DUP5 000010ae: ADD 000010af: SWAP1 000010b0: PUSH2 0x22ec 000010b3: JUMP 000010b4: JUMPDEST 000010b5: PUSH1 0x01 000010b7: PUSH1 0x01 000010b9: PUSH1 0xa0 000010bb: SHL 000010bc: SUB 000010bd: DUP3 000010be: AND 000010bf: CALLER 000010c0: EQ 000010c1: ISZERO 000010c2: PUSH2 0x10de 000010c5: JUMPI 000010c6: PUSH1 0x40 000010c8: MLOAD 000010c9: PUSH4 0xb06307db 000010ce: PUSH1 0xe0 000010d0: SHL 000010d1: DUP2 000010d2: MSTORE 000010d3: PUSH1 0x04 000010d5: ADD 000010d6: PUSH1 0x40 000010d8: MLOAD 000010d9: DUP1 000010da: SWAP2 000010db: SUB 000010dc: SWAP1 000010dd: REVERT 000010de: JUMPDEST 000010df: CALLER 000010e0: PUSH1 0x00 000010e2: DUP2 000010e3: DUP2 000010e4: MSTORE 000010e5: PUSH1 0x07 000010e7: PUSH1 0x20 000010e9: SWAP1 000010ea: DUP2 000010eb: MSTORE 000010ec: PUSH1 0x40 000010ee: DUP1 000010ef: DUP4 000010f0: KECCAK256 000010f1: PUSH1 0x01 000010f3: PUSH1 0x01 000010f5: PUSH1 0xa0 000010f7: SHL 000010f8: SUB 000010f9: DUP8 000010fa: AND 000010fb: DUP1 000010fc: DUP6 000010fd: MSTORE 000010fe: SWAP1 000010ff: DUP4 00001100: MSTORE 00001101: SWAP3 00001102: DUP2 00001103: SWAP1 00001104: KECCAK256 00001105: DUP1 00001106: SLOAD 00001107: PUSH1 0xff 00001109: NOT 0000110a: AND 0000110b: DUP7 0000110c: ISZERO 0000110d: ISZERO 0000110e: SWAP1 0000110f: DUP2 00001110: OR 00001111: SWAP1 00001112: SWAP2 00001113: SSTORE 00001114: SWAP1 00001115: MLOAD 00001116: SWAP1 00001117: DUP2 00001118: MSTORE 00001119: SWAP2 0000111a: SWAP3 0000111b: SWAP2 0000111c: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 0000113d: SWAP2 0000113e: ADD 0000113f: PUSH1 0x40 00001141: MLOAD 00001142: DUP1 00001143: SWAP2 00001144: SUB 00001145: SWAP1 00001146: LOG3 00001147: POP 00001148: POP 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH1 0x0c 0000114d: DUP1 0000114e: SLOAD 0000114f: PUSH2 0x0b67 00001152: SWAP1 00001153: PUSH2 0x283e 00001156: JUMP 00001157: JUMPDEST 00001158: PUSH1 0x0b 0000115a: DUP1 0000115b: SLOAD 0000115c: PUSH2 0x0b67 0000115f: SWAP1 00001160: PUSH2 0x283e 00001163: JUMP 00001164: JUMPDEST 00001165: PUSH2 0x116f 00001168: DUP5 00001169: DUP5 0000116a: DUP5 0000116b: PUSH2 0x0be8 0000116e: JUMP 0000116f: JUMPDEST 00001170: PUSH1 0x01 00001172: PUSH1 0x01 00001174: PUSH1 0xa0 00001176: SHL 00001177: SUB 00001178: DUP4 00001179: AND 0000117a: EXTCODESIZE 0000117b: ISZERO 0000117c: PUSH2 0x11a8 0000117f: JUMPI 00001180: PUSH2 0x118b 00001183: DUP5 00001184: DUP5 00001185: DUP5 00001186: DUP5 00001187: PUSH2 0x18e7 0000118a: JUMP 0000118b: JUMPDEST 0000118c: PUSH2 0x11a8 0000118f: JUMPI 00001190: PUSH1 0x40 00001192: MLOAD 00001193: PUSH4 0x68d2bf6b 00001198: PUSH1 0xe1 0000119a: SHL 0000119b: DUP2 0000119c: MSTORE 0000119d: PUSH1 0x04 0000119f: ADD 000011a0: PUSH1 0x40 000011a2: MLOAD 000011a3: DUP1 000011a4: SWAP2 000011a5: SUB 000011a6: SWAP1 000011a7: REVERT 000011a8: JUMPDEST 000011a9: POP 000011aa: POP 000011ab: POP 000011ac: POP 000011ad: JUMP 000011ae: JUMPDEST 000011af: PUSH2 0x11b6 000011b2: PUSH2 0x19df 000011b5: JUMP 000011b6: JUMPDEST 000011b7: PUSH2 0x11bf 000011ba: DUP2 000011bb: PUSH2 0x1a39 000011be: JUMP 000011bf: JUMPDEST 000011c0: PUSH8 0xffffffffffffffff 000011c9: AND 000011ca: DUP1 000011cb: PUSH1 0x09 000011cd: SLOAD 000011ce: PUSH2 0x11d7 000011d1: SWAP2 000011d2: SWAP1 000011d3: PUSH2 0x28a1 000011d6: JUMP 000011d7: JUMPDEST 000011d8: CALLVALUE 000011d9: LT 000011da: ISZERO 000011db: PUSH2 0x1226 000011de: JUMPI 000011df: PUSH1 0x40 000011e1: MLOAD 000011e2: PUSH3 0x461bcd 000011e6: PUSH1 0xe5 000011e8: SHL 000011e9: DUP2 000011ea: MSTORE 000011eb: PUSH1 0x20 000011ed: PUSH1 0x04 000011ef: DUP3 000011f0: ADD 000011f1: MSTORE 000011f2: PUSH1 0x0e 000011f4: PUSH1 0x24 000011f6: DUP3 000011f7: ADD 000011f8: MSTORE 000011f9: PUSH32 0x6e6f7420656e6f75676820657468000000000000000000000000000000000000 0000121a: PUSH1 0x44 0000121c: DUP3 0000121d: ADD 0000121e: MSTORE 0000121f: PUSH1 0x64 00001221: ADD 00001222: PUSH2 0x0ec6 00001225: JUMP 00001226: JUMPDEST 00001227: PUSH2 0x099c 0000122a: CALLER 0000122b: DUP4 0000122c: PUSH2 0x1a9f 0000122f: JUMP 00001230: JUMPDEST 00001231: PUSH2 0x1238 00001234: PUSH2 0x135d 00001237: JUMP 00001238: JUMPDEST 00001239: DUP1 0000123a: MLOAD 0000123b: PUSH2 0x099c 0000123e: SWAP1 0000123f: PUSH1 0x0b 00001241: SWAP1 00001242: PUSH1 0x20 00001244: DUP5 00001245: ADD 00001246: SWAP1 00001247: PUSH2 0x22ec 0000124a: JUMP 0000124b: JUMPDEST 0000124c: PUSH1 0x60 0000124e: PUSH2 0x125e 00001251: PUSH2 0x1259 00001254: DUP4 00001255: PUSH2 0x14aa 00001258: JUMP 00001259: JUMPDEST 0000125a: PUSH2 0x1cf3 0000125d: JUMP 0000125e: JUMPDEST 0000125f: PUSH1 0x40 00001261: MLOAD 00001262: PUSH1 0x20 00001264: ADD 00001265: PUSH2 0x126e 00001268: SWAP2 00001269: SWAP1 0000126a: PUSH2 0x28c0 0000126d: JUMP 0000126e: JUMPDEST 0000126f: PUSH1 0x40 00001271: MLOAD 00001272: PUSH1 0x20 00001274: DUP2 00001275: DUP4 00001276: SUB 00001277: SUB 00001278: DUP2 00001279: MSTORE 0000127a: SWAP1 0000127b: PUSH1 0x40 0000127d: MSTORE 0000127e: SWAP1 0000127f: POP 00001280: SWAP2 00001281: SWAP1 00001282: POP 00001283: JUMP 00001284: JUMPDEST 00001285: PUSH2 0x128c 00001288: PUSH2 0x135d 0000128b: JUMP 0000128c: JUMPDEST 0000128d: PUSH1 0x0e 0000128f: SSTORE 00001290: JUMP 00001291: JUMPDEST 00001292: PUSH1 0x13 00001294: PUSH1 0x20 00001296: MSTORE 00001297: PUSH1 0x00 00001299: SWAP1 0000129a: DUP2 0000129b: MSTORE 0000129c: PUSH1 0x40 0000129e: SWAP1 0000129f: KECCAK256 000012a0: DUP1 000012a1: SLOAD 000012a2: PUSH2 0x0b67 000012a5: SWAP1 000012a6: PUSH2 0x283e 000012a9: JUMP 000012aa: JUMPDEST 000012ab: PUSH2 0x12b2 000012ae: PUSH2 0x135d 000012b1: JUMP 000012b2: JUMPDEST 000012b3: PUSH1 0x01 000012b5: PUSH1 0x01 000012b7: PUSH1 0xa0 000012b9: SHL 000012ba: SUB 000012bb: DUP2 000012bc: AND 000012bd: PUSH2 0x132e 000012c0: JUMPI 000012c1: PUSH1 0x40 000012c3: MLOAD 000012c4: PUSH3 0x461bcd 000012c8: PUSH1 0xe5 000012ca: SHL 000012cb: DUP2 000012cc: MSTORE 000012cd: PUSH1 0x20 000012cf: PUSH1 0x04 000012d1: DUP3 000012d2: ADD 000012d3: MSTORE 000012d4: PUSH1 0x26 000012d6: PUSH1 0x24 000012d8: DUP3 000012d9: ADD 000012da: MSTORE 000012db: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000012fc: PUSH1 0x44 000012fe: DUP3 000012ff: ADD 00001300: MSTORE 00001301: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001322: PUSH1 0x64 00001324: DUP3 00001325: ADD 00001326: MSTORE 00001327: PUSH1 0x84 00001329: ADD 0000132a: PUSH2 0x0ec6 0000132d: JUMP 0000132e: JUMPDEST 0000132f: PUSH2 0x0e1f 00001332: DUP2 00001333: PUSH2 0x1845 00001336: JUMP 00001337: JUMPDEST 00001338: PUSH2 0x133f 0000133b: PUSH2 0x135d 0000133e: JUMP 0000133f: JUMPDEST 00001340: PUSH1 0x0f 00001342: SSTORE 00001343: JUMP 00001344: JUMPDEST 00001345: PUSH1 0x14 00001347: PUSH1 0x20 00001349: MSTORE 0000134a: PUSH1 0x00 0000134c: SWAP1 0000134d: DUP2 0000134e: MSTORE 0000134f: PUSH1 0x40 00001351: SWAP1 00001352: KECCAK256 00001353: DUP1 00001354: SLOAD 00001355: PUSH2 0x0b67 00001358: SWAP1 00001359: PUSH2 0x283e 0000135c: JUMP 0000135d: JUMPDEST 0000135e: PUSH1 0x08 00001360: SLOAD 00001361: PUSH1 0x01 00001363: PUSH1 0x01 00001365: PUSH1 0xa0 00001367: SHL 00001368: SUB 00001369: AND 0000136a: CALLER 0000136b: EQ 0000136c: PUSH2 0x0e32 0000136f: JUMPI 00001370: PUSH1 0x40 00001372: MLOAD 00001373: PUSH3 0x461bcd 00001377: PUSH1 0xe5 00001379: SHL 0000137a: DUP2 0000137b: MSTORE 0000137c: PUSH1 0x20 0000137e: PUSH1 0x04 00001380: DUP3 00001381: ADD 00001382: DUP2 00001383: SWAP1 00001384: MSTORE 00001385: PUSH1 0x24 00001387: DUP3 00001388: ADD 00001389: MSTORE 0000138a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000013ab: PUSH1 0x44 000013ad: DUP3 000013ae: ADD 000013af: MSTORE 000013b0: PUSH1 0x64 000013b2: ADD 000013b3: PUSH2 0x0ec6 000013b6: JUMP 000013b7: JUMPDEST 000013b8: PUSH1 0x00 000013ba: DUP2 000013bb: PUSH1 0x01 000013bd: GT 000013be: ISZERO 000013bf: DUP1 000013c0: ISZERO 000013c1: PUSH2 0x13cb 000013c4: JUMPI 000013c5: POP 000013c6: PUSH1 0x00 000013c8: SLOAD 000013c9: DUP3 000013ca: LT 000013cb: JUMPDEST 000013cc: DUP1 000013cd: ISZERO 000013ce: PUSH2 0x097b 000013d1: JUMPI 000013d2: POP 000013d3: POP 000013d4: PUSH1 0x00 000013d6: SWAP1 000013d7: DUP2 000013d8: MSTORE 000013d9: PUSH1 0x04 000013db: PUSH1 0x20 000013dd: MSTORE 000013de: PUSH1 0x40 000013e0: SWAP1 000013e1: KECCAK256 000013e2: SLOAD 000013e3: PUSH1 0x01 000013e5: PUSH1 0xe0 000013e7: SHL 000013e8: AND 000013e9: ISZERO 000013ea: SWAP1 000013eb: JUMP 000013ec: JUMPDEST 000013ed: PUSH1 0x00 000013ef: DUP2 000013f0: DUP1 000013f1: PUSH1 0x01 000013f3: GT 000013f4: PUSH2 0x143c 000013f7: JUMPI 000013f8: PUSH1 0x00 000013fa: SLOAD 000013fb: DUP2 000013fc: LT 000013fd: ISZERO 000013fe: PUSH2 0x143c 00001401: JUMPI 00001402: PUSH1 0x00 00001404: DUP2 00001405: DUP2 00001406: MSTORE 00001407: PUSH1 0x04 00001409: PUSH1 0x20 0000140b: MSTORE 0000140c: PUSH1 0x40 0000140e: SWAP1 0000140f: KECCAK256 00001410: SLOAD 00001411: PUSH1 0x01 00001413: PUSH1 0xe0 00001415: SHL 00001416: DUP2 00001417: AND 00001418: PUSH2 0x143a 0000141b: JUMPI 0000141c: JUMPDEST 0000141d: DUP1 0000141e: PUSH2 0x0fd2 00001421: JUMPI 00001422: POP 00001423: PUSH1 0x00 00001425: NOT 00001426: ADD 00001427: PUSH1 0x00 00001429: DUP2 0000142a: DUP2 0000142b: MSTORE 0000142c: PUSH1 0x04 0000142e: PUSH1 0x20 00001430: MSTORE 00001431: PUSH1 0x40 00001433: SWAP1 00001434: KECCAK256 00001435: SLOAD 00001436: PUSH2 0x141c 00001439: JUMP 0000143a: JUMPDEST 0000143b: POP 0000143c: JUMPDEST 0000143d: PUSH1 0x40 0000143f: MLOAD 00001440: PUSH4 0x6f96cda1 00001445: PUSH1 0xe1 00001447: SHL 00001448: DUP2 00001449: MSTORE 0000144a: PUSH1 0x04 0000144c: ADD 0000144d: PUSH1 0x40 0000144f: MLOAD 00001450: DUP1 00001451: SWAP2 00001452: SUB 00001453: SWAP1 00001454: REVERT 00001455: JUMPDEST 00001456: PUSH2 0x145d 00001459: PUSH2 0x1e59 0000145c: JUMP 0000145d: JUMPDEST 0000145e: PUSH1 0x08 00001460: DUP1 00001461: SLOAD 00001462: PUSH1 0xff 00001464: PUSH1 0xa0 00001466: SHL 00001467: NOT 00001468: AND 00001469: SWAP1 0000146a: SSTORE 0000146b: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 0000148c: CALLER 0000148d: JUMPDEST 0000148e: PUSH1 0x40 00001490: MLOAD 00001491: PUSH1 0x01 00001493: PUSH1 0x01 00001495: PUSH1 0xa0 00001497: SHL 00001498: SUB 00001499: SWAP1 0000149a: SWAP2 0000149b: AND 0000149c: DUP2 0000149d: MSTORE 0000149e: PUSH1 0x20 000014a0: ADD 000014a1: PUSH1 0x40 000014a3: MLOAD 000014a4: DUP1 000014a5: SWAP2 000014a6: SUB 000014a7: SWAP1 000014a8: LOG1 000014a9: JUMP 000014aa: JUMPDEST 000014ab: PUSH1 0x60 000014ad: DUP2 000014ae: PUSH2 0x14b6 000014b1: DUP2 000014b2: PUSH2 0x0e4f 000014b5: JUMP 000014b6: JUMPDEST 000014b7: PUSH2 0x14f7 000014ba: JUMPI 000014bb: PUSH1 0x40 000014bd: MLOAD 000014be: PUSH3 0x461bcd 000014c2: PUSH1 0xe5 000014c4: SHL 000014c5: DUP2 000014c6: MSTORE 000014c7: PUSH1 0x20 000014c9: PUSH1 0x04 000014cb: DUP3 000014cc: ADD 000014cd: MSTORE 000014ce: PUSH1 0x12 000014d0: PUSH1 0x24 000014d2: DUP3 000014d3: ADD 000014d4: MSTORE 000014d5: PUSH18 0x1d1bdad95b881a5cc81b9bdd08195e1a5cdd 000014e8: PUSH1 0x72 000014ea: SHL 000014eb: PUSH1 0x44 000014ed: DUP3 000014ee: ADD 000014ef: MSTORE 000014f0: PUSH1 0x64 000014f2: ADD 000014f3: PUSH2 0x0ec6 000014f6: JUMP 000014f7: JUMPDEST 000014f8: PUSH1 0x00 000014fa: DUP4 000014fb: DUP2 000014fc: MSTORE 000014fd: PUSH1 0x15 000014ff: PUSH1 0x20 00001501: MSTORE 00001502: PUSH1 0x40 00001504: SWAP1 00001505: KECCAK256 00001506: DUP1 00001507: SLOAD 00001508: PUSH1 0x01 0000150a: SWAP1 0000150b: SWAP2 0000150c: ADD 0000150d: SLOAD 0000150e: PUSH1 0x0e 00001510: SLOAD 00001511: PUSH8 0xffffffffffffffff 0000151a: SWAP1 0000151b: SWAP3 0000151c: AND 0000151d: SWAP2 0000151e: PUSH2 0x1527 00001521: SWAP1 00001522: DUP3 00001523: PUSH2 0x2889 00001526: JUMP 00001527: JUMPDEST 00001528: TIMESTAMP 00001529: GT 0000152a: ISZERO 0000152b: PUSH2 0x16c2 0000152e: JUMPI 0000152f: PUSH8 0xffffffffffffffff 00001538: DUP3 00001539: AND 0000153a: PUSH1 0x00 0000153c: SWAP1 0000153d: DUP2 0000153e: MSTORE 0000153f: PUSH1 0x13 00001541: PUSH1 0x20 00001543: MSTORE 00001544: PUSH1 0x40 00001546: DUP2 00001547: KECCAK256 00001548: DUP1 00001549: SLOAD 0000154a: PUSH2 0x1552 0000154d: SWAP1 0000154e: PUSH2 0x283e 00001551: JUMP 00001552: JUMPDEST 00001553: DUP1 00001554: PUSH1 0x1f 00001556: ADD 00001557: PUSH1 0x20 00001559: DUP1 0000155a: SWAP2 0000155b: DIV 0000155c: MUL 0000155d: PUSH1 0x20 0000155f: ADD 00001560: PUSH1 0x40 00001562: MLOAD 00001563: SWAP1 00001564: DUP2 00001565: ADD 00001566: PUSH1 0x40 00001568: MSTORE 00001569: DUP1 0000156a: SWAP3 0000156b: SWAP2 0000156c: SWAP1 0000156d: DUP2 0000156e: DUP2 0000156f: MSTORE 00001570: PUSH1 0x20 00001572: ADD 00001573: DUP3 00001574: DUP1 00001575: SLOAD 00001576: PUSH2 0x157e 00001579: SWAP1 0000157a: PUSH2 0x283e 0000157d: JUMP 0000157e: JUMPDEST 0000157f: DUP1 00001580: ISZERO 00001581: PUSH2 0x15cb 00001584: JUMPI 00001585: DUP1 00001586: PUSH1 0x1f 00001588: LT 00001589: PUSH2 0x15a0 0000158c: JUMPI 0000158d: PUSH2 0x0100 00001590: DUP1 00001591: DUP4 00001592: SLOAD 00001593: DIV 00001594: MUL 00001595: DUP4 00001596: MSTORE 00001597: SWAP2 00001598: PUSH1 0x20 0000159a: ADD 0000159b: SWAP2 0000159c: PUSH2 0x15cb 0000159f: JUMP 000015a0: JUMPDEST 000015a1: DUP3 000015a2: ADD 000015a3: SWAP2 000015a4: SWAP1 000015a5: PUSH1 0x00 000015a7: MSTORE 000015a8: PUSH1 0x20 000015aa: PUSH1 0x00 000015ac: KECCAK256 000015ad: SWAP1 000015ae: JUMPDEST 000015af: DUP2 000015b0: SLOAD 000015b1: DUP2 000015b2: MSTORE 000015b3: SWAP1 000015b4: PUSH1 0x01 000015b6: ADD 000015b7: SWAP1 000015b8: PUSH1 0x20 000015ba: ADD 000015bb: DUP1 000015bc: DUP4 000015bd: GT 000015be: PUSH2 0x15ae 000015c1: JUMPI 000015c2: DUP3 000015c3: SWAP1 000015c4: SUB 000015c5: PUSH1 0x1f 000015c7: AND 000015c8: DUP3 000015c9: ADD 000015ca: SWAP2 000015cb: JUMPDEST 000015cc: POP 000015cd: POP 000015ce: POP 000015cf: PUSH8 0xffffffffffffffff 000015d8: DUP7 000015d9: AND 000015da: PUSH1 0x00 000015dc: SWAP1 000015dd: DUP2 000015de: MSTORE 000015df: PUSH1 0x14 000015e1: PUSH1 0x20 000015e3: MSTORE 000015e4: PUSH1 0x40 000015e6: DUP2 000015e7: KECCAK256 000015e8: DUP1 000015e9: SLOAD 000015ea: SWAP5 000015eb: SWAP6 000015ec: POP 000015ed: SWAP1 000015ee: SWAP4 000015ef: SWAP1 000015f0: SWAP3 000015f1: POP 000015f2: PUSH2 0x15fb 000015f5: SWAP2 000015f6: POP 000015f7: PUSH2 0x283e 000015fa: JUMP 000015fb: JUMPDEST 000015fc: DUP1 000015fd: PUSH1 0x1f 000015ff: ADD 00001600: PUSH1 0x20 00001602: DUP1 00001603: SWAP2 00001604: DIV 00001605: MUL 00001606: PUSH1 0x20 00001608: ADD 00001609: PUSH1 0x40 0000160b: MLOAD 0000160c: SWAP1 0000160d: DUP2 0000160e: ADD 0000160f: PUSH1 0x40 00001611: MSTORE 00001612: DUP1 00001613: SWAP3 00001614: SWAP2 00001615: SWAP1 00001616: DUP2 00001617: DUP2 00001618: MSTORE 00001619: PUSH1 0x20 0000161b: ADD 0000161c: DUP3 0000161d: DUP1 0000161e: SLOAD 0000161f: PUSH2 0x1627 00001622: SWAP1 00001623: PUSH2 0x283e 00001626: JUMP 00001627: JUMPDEST 00001628: DUP1 00001629: ISZERO 0000162a: PUSH2 0x1674 0000162d: JUMPI 0000162e: DUP1 0000162f: PUSH1 0x1f 00001631: LT 00001632: PUSH2 0x1649 00001635: JUMPI 00001636: PUSH2 0x0100 00001639: DUP1 0000163a: DUP4 0000163b: SLOAD 0000163c: DIV 0000163d: MUL 0000163e: DUP4 0000163f: MSTORE 00001640: SWAP2 00001641: PUSH1 0x20 00001643: ADD 00001644: SWAP2 00001645: PUSH2 0x1674 00001648: JUMP 00001649: JUMPDEST 0000164a: DUP3 0000164b: ADD 0000164c: SWAP2 0000164d: SWAP1 0000164e: PUSH1 0x00 00001650: MSTORE 00001651: PUSH1 0x20 00001653: PUSH1 0x00 00001655: KECCAK256 00001656: SWAP1 00001657: JUMPDEST 00001658: DUP2 00001659: SLOAD 0000165a: DUP2 0000165b: MSTORE 0000165c: SWAP1 0000165d: PUSH1 0x01 0000165f: ADD 00001660: SWAP1 00001661: PUSH1 0x20 00001663: ADD 00001664: DUP1 00001665: DUP4 00001666: GT 00001667: PUSH2 0x1657 0000166a: JUMPI 0000166b: DUP3 0000166c: SWAP1 0000166d: SUB 0000166e: PUSH1 0x1f 00001670: AND 00001671: DUP3 00001672: ADD 00001673: SWAP2 00001674: JUMPDEST 00001675: POP 00001676: POP 00001677: POP 00001678: POP 00001679: POP 0000167a: SWAP1 0000167b: POP 0000167c: DUP2 0000167d: DUP2 0000167e: PUSH1 0x0a 00001680: PUSH2 0x1692 00001683: DUP8 00001684: PUSH8 0xffffffffffffffff 0000168d: AND 0000168e: PUSH2 0x1eb2 00001691: JUMP 00001692: JUMPDEST 00001693: PUSH1 0x0c 00001695: PUSH1 0x40 00001697: MLOAD 00001698: PUSH1 0x20 0000169a: ADD 0000169b: PUSH2 0x16a8 0000169e: SWAP6 0000169f: SWAP5 000016a0: SWAP4 000016a1: SWAP3 000016a2: SWAP2 000016a3: SWAP1 000016a4: PUSH2 0x299f 000016a7: JUMP 000016a8: JUMPDEST 000016a9: PUSH1 0x40 000016ab: MLOAD 000016ac: PUSH1 0x20 000016ae: DUP2 000016af: DUP4 000016b0: SUB 000016b1: SUB 000016b2: DUP2 000016b3: MSTORE 000016b4: SWAP1 000016b5: PUSH1 0x40 000016b7: MSTORE 000016b8: SWAP6 000016b9: POP 000016ba: POP 000016bb: POP 000016bc: POP 000016bd: POP 000016be: PUSH2 0x0ee4 000016c1: JUMP 000016c2: JUMPDEST 000016c3: PUSH1 0x00 000016c5: PUSH1 0x0f 000016c7: SLOAD 000016c8: DUP3 000016c9: PUSH2 0x16d2 000016cc: SWAP2 000016cd: SWAP1 000016ce: PUSH2 0x2889 000016d1: JUMP 000016d2: JUMPDEST 000016d3: PUSH8 0xffffffffffffffff 000016dc: DUP5 000016dd: AND 000016de: PUSH1 0x00 000016e0: SWAP1 000016e1: DUP2 000016e2: MSTORE 000016e3: PUSH1 0x11 000016e5: PUSH1 0x20 000016e7: MSTORE 000016e8: PUSH1 0x40 000016ea: DUP2 000016eb: KECCAK256 000016ec: SWAP2 000016ed: SWAP3 000016ee: POP 000016ef: SWAP1 000016f0: PUSH2 0x1700 000016f3: PUSH2 0x16fb 000016f6: DUP5 000016f7: PUSH2 0x1fc8 000016fa: JUMP 000016fb: JUMPDEST 000016fc: PUSH2 0x1eb2 000016ff: JUMP 00001700: JUMPDEST 00001701: PUSH2 0x170c 00001704: PUSH2 0x16fb 00001707: DUP6 00001708: PUSH2 0x1fe8 0000170b: JUMP 0000170c: JUMPDEST 0000170d: PUSH2 0x1718 00001710: PUSH2 0x16fb 00001713: DUP7 00001714: PUSH2 0x2002 00001717: JUMP 00001718: JUMPDEST 00001719: PUSH1 0x40 0000171b: MLOAD 0000171c: PUSH1 0x20 0000171e: ADD 0000171f: PUSH2 0x172b 00001722: SWAP5 00001723: SWAP4 00001724: SWAP3 00001725: SWAP2 00001726: SWAP1 00001727: PUSH2 0x2a84 0000172a: JUMP 0000172b: JUMPDEST 0000172c: PUSH1 0x40 0000172e: DUP1 0000172f: MLOAD 00001730: PUSH1 0x1f 00001732: NOT 00001733: DUP2 00001734: DUP5 00001735: SUB 00001736: ADD 00001737: DUP2 00001738: MSTORE 00001739: SWAP2 0000173a: DUP2 0000173b: MSTORE 0000173c: PUSH8 0xffffffffffffffff 00001745: DUP7 00001746: AND 00001747: PUSH1 0x00 00001749: SWAP1 0000174a: DUP2 0000174b: MSTORE 0000174c: PUSH1 0x12 0000174e: PUSH1 0x20 00001750: MSTORE 00001751: SWAP1 00001752: DUP2 00001753: KECCAK256 00001754: DUP1 00001755: SLOAD 00001756: SWAP3 00001757: SWAP4 00001758: POP 00001759: SWAP1 0000175a: SWAP2 0000175b: PUSH2 0x1763 0000175e: SWAP1 0000175f: PUSH2 0x283e 00001762: JUMP 00001763: JUMPDEST 00001764: DUP1 00001765: PUSH1 0x1f 00001767: ADD 00001768: PUSH1 0x20 0000176a: DUP1 0000176b: SWAP2 0000176c: DIV 0000176d: MUL 0000176e: PUSH1 0x20 00001770: ADD 00001771: PUSH1 0x40 00001773: MLOAD 00001774: SWAP1 00001775: DUP2 00001776: ADD 00001777: PUSH1 0x40 00001779: MSTORE 0000177a: DUP1 0000177b: SWAP3 0000177c: SWAP2 0000177d: SWAP1 0000177e: DUP2 0000177f: DUP2 00001780: MSTORE 00001781: PUSH1 0x20 00001783: ADD 00001784: DUP3 00001785: DUP1 00001786: SLOAD 00001787: PUSH2 0x178f 0000178a: SWAP1 0000178b: PUSH2 0x283e 0000178e: JUMP 0000178f: JUMPDEST 00001790: DUP1 00001791: ISZERO 00001792: PUSH2 0x17dc 00001795: JUMPI 00001796: DUP1 00001797: PUSH1 0x1f 00001799: LT 0000179a: PUSH2 0x17b1 0000179d: JUMPI 0000179e: PUSH2 0x0100 000017a1: DUP1 000017a2: DUP4 000017a3: SLOAD 000017a4: DIV 000017a5: MUL 000017a6: DUP4 000017a7: MSTORE 000017a8: SWAP2 000017a9: PUSH1 0x20 000017ab: ADD 000017ac: SWAP2 000017ad: PUSH2 0x17dc 000017b0: JUMP 000017b1: JUMPDEST 000017b2: DUP3 000017b3: ADD 000017b4: SWAP2 000017b5: SWAP1 000017b6: PUSH1 0x00 000017b8: MSTORE 000017b9: PUSH1 0x20 000017bb: PUSH1 0x00 000017bd: KECCAK256 000017be: SWAP1 000017bf: JUMPDEST 000017c0: DUP2 000017c1: SLOAD 000017c2: DUP2 000017c3: MSTORE 000017c4: SWAP1 000017c5: PUSH1 0x01 000017c7: ADD 000017c8: SWAP1 000017c9: PUSH1 0x20 000017cb: ADD 000017cc: DUP1 000017cd: DUP4 000017ce: GT 000017cf: PUSH2 0x17bf 000017d2: JUMPI 000017d3: DUP3 000017d4: SWAP1 000017d5: SUB 000017d6: PUSH1 0x1f 000017d8: AND 000017d9: DUP3 000017da: ADD 000017db: SWAP2 000017dc: JUMPDEST 000017dd: POP 000017de: POP 000017df: POP 000017e0: POP 000017e1: POP 000017e2: SWAP1 000017e3: POP 000017e4: DUP2 000017e5: DUP2 000017e6: PUSH1 0x0a 000017e8: PUSH2 0x17fa 000017eb: DUP9 000017ec: PUSH8 0xffffffffffffffff 000017f5: AND 000017f6: PUSH2 0x1eb2 000017f9: JUMP 000017fa: JUMPDEST 000017fb: PUSH1 0x0c 000017fd: PUSH1 0x0b 000017ff: PUSH2 0x1811 00001802: DUP12 00001803: PUSH8 0xffffffffffffffff 0000180c: AND 0000180d: PUSH2 0x1eb2 00001810: JUMP 00001811: JUMPDEST 00001812: PUSH1 0x0d 00001814: PUSH1 0x40 00001816: MLOAD 00001817: PUSH1 0x20 00001819: ADD 0000181a: PUSH2 0x182a 0000181d: SWAP9 0000181e: SWAP8 0000181f: SWAP7 00001820: SWAP6 00001821: SWAP5 00001822: SWAP4 00001823: SWAP3 00001824: SWAP2 00001825: SWAP1 00001826: PUSH2 0x2b13 00001829: JUMP 0000182a: JUMPDEST 0000182b: PUSH1 0x40 0000182d: MLOAD 0000182e: PUSH1 0x20 00001830: DUP2 00001831: DUP4 00001832: SUB 00001833: SUB 00001834: DUP2 00001835: MSTORE 00001836: SWAP1 00001837: PUSH1 0x40 00001839: MSTORE 0000183a: SWAP7 0000183b: POP 0000183c: POP 0000183d: POP 0000183e: POP 0000183f: POP 00001840: POP 00001841: PUSH2 0x0ee4 00001844: JUMP 00001845: JUMPDEST 00001846: PUSH1 0x08 00001848: DUP1 00001849: SLOAD 0000184a: PUSH1 0x01 0000184c: PUSH1 0x01 0000184e: PUSH1 0xa0 00001850: SHL 00001851: SUB 00001852: DUP4 00001853: DUP2 00001854: AND 00001855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186a: NOT 0000186b: DUP4 0000186c: AND 0000186d: DUP2 0000186e: OR 0000186f: SWAP1 00001870: SWAP4 00001871: SSTORE 00001872: PUSH1 0x40 00001874: MLOAD 00001875: SWAP2 00001876: AND 00001877: SWAP2 00001878: SWAP1 00001879: DUP3 0000187a: SWAP1 0000187b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000189c: SWAP1 0000189d: PUSH1 0x00 0000189f: SWAP1 000018a0: LOG3 000018a1: POP 000018a2: POP 000018a3: JUMP 000018a4: JUMPDEST 000018a5: PUSH2 0x18ac 000018a8: PUSH2 0x19df 000018ab: JUMP 000018ac: JUMPDEST 000018ad: PUSH1 0x08 000018af: DUP1 000018b0: SLOAD 000018b1: PUSH1 0xff 000018b3: PUSH1 0xa0 000018b5: SHL 000018b6: NOT 000018b7: AND 000018b8: PUSH1 0x01 000018ba: PUSH1 0xa0 000018bc: SHL 000018bd: OR 000018be: SWAP1 000018bf: SSTORE 000018c0: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000018e1: PUSH2 0x148d 000018e4: CALLER 000018e5: SWAP1 000018e6: JUMP 000018e7: JUMPDEST 000018e8: PUSH1 0x40 000018ea: MLOAD 000018eb: PUSH4 0x0a85bd01 000018f0: PUSH1 0xe1 000018f2: SHL 000018f3: DUP2 000018f4: MSTORE 000018f5: PUSH1 0x00 000018f7: SWAP1 000018f8: PUSH1 0x01 000018fa: PUSH1 0x01 000018fc: PUSH1 0xa0 000018fe: SHL 000018ff: SUB 00001900: DUP6 00001901: AND 00001902: SWAP1 00001903: PUSH4 0x150b7a02 00001908: SWAP1 00001909: PUSH2 0x191c 0000190c: SWAP1 0000190d: CALLER 0000190e: SWAP1 0000190f: DUP10 00001910: SWAP1 00001911: DUP9 00001912: SWAP1 00001913: DUP9 00001914: SWAP1 00001915: PUSH1 0x04 00001917: ADD 00001918: PUSH2 0x2c26 0000191b: JUMP 0000191c: JUMPDEST 0000191d: PUSH1 0x20 0000191f: PUSH1 0x40 00001921: MLOAD 00001922: DUP1 00001923: DUP4 00001924: SUB 00001925: DUP2 00001926: PUSH1 0x00 00001928: DUP8 00001929: DUP1 0000192a: EXTCODESIZE 0000192b: ISZERO 0000192c: DUP1 0000192d: ISZERO 0000192e: PUSH2 0x1936 00001931: JUMPI 00001932: PUSH1 0x00 00001934: DUP1 00001935: REVERT 00001936: JUMPDEST 00001937: POP 00001938: GAS 00001939: CALL 0000193a: SWAP3 0000193b: POP 0000193c: POP 0000193d: POP 0000193e: DUP1 0000193f: ISZERO 00001940: PUSH2 0x1966 00001943: JUMPI 00001944: POP 00001945: PUSH1 0x40 00001947: DUP1 00001948: MLOAD 00001949: PUSH1 0x1f 0000194b: RETURNDATASIZE 0000194c: SWAP1 0000194d: DUP2 0000194e: ADD 0000194f: PUSH1 0x1f 00001951: NOT 00001952: AND 00001953: DUP3 00001954: ADD 00001955: SWAP1 00001956: SWAP3 00001957: MSTORE 00001958: PUSH2 0x1963 0000195b: SWAP2 0000195c: DUP2 0000195d: ADD 0000195e: SWAP1 0000195f: PUSH2 0x2c62 00001962: JUMP 00001963: JUMPDEST 00001964: PUSH1 0x01 00001966: JUMPDEST 00001967: PUSH2 0x19c1 0000196a: JUMPI 0000196b: RETURNDATASIZE 0000196c: DUP1 0000196d: DUP1 0000196e: ISZERO 0000196f: PUSH2 0x1994 00001972: JUMPI 00001973: PUSH1 0x40 00001975: MLOAD 00001976: SWAP2 00001977: POP 00001978: PUSH1 0x1f 0000197a: NOT 0000197b: PUSH1 0x3f 0000197d: RETURNDATASIZE 0000197e: ADD 0000197f: AND 00001980: DUP3 00001981: ADD 00001982: PUSH1 0x40 00001984: MSTORE 00001985: RETURNDATASIZE 00001986: DUP3 00001987: MSTORE 00001988: RETURNDATASIZE 00001989: PUSH1 0x00 0000198b: PUSH1 0x20 0000198d: DUP5 0000198e: ADD 0000198f: RETURNDATACOPY 00001990: PUSH2 0x1999 00001993: JUMP 00001994: JUMPDEST 00001995: PUSH1 0x60 00001997: SWAP2 00001998: POP 00001999: JUMPDEST 0000199a: POP 0000199b: DUP1 0000199c: MLOAD 0000199d: PUSH2 0x19b9 000019a0: JUMPI 000019a1: PUSH1 0x40 000019a3: MLOAD 000019a4: PUSH4 0x68d2bf6b 000019a9: PUSH1 0xe1 000019ab: SHL 000019ac: DUP2 000019ad: MSTORE 000019ae: PUSH1 0x04 000019b0: ADD 000019b1: PUSH1 0x40 000019b3: MLOAD 000019b4: DUP1 000019b5: SWAP2 000019b6: SUB 000019b7: SWAP1 000019b8: REVERT 000019b9: JUMPDEST 000019ba: DUP1 000019bb: MLOAD 000019bc: DUP2 000019bd: PUSH1 0x20 000019bf: ADD 000019c0: REVERT 000019c1: JUMPDEST 000019c2: PUSH1 0x01 000019c4: PUSH1 0x01 000019c6: PUSH1 0xe0 000019c8: SHL 000019c9: SUB 000019ca: NOT 000019cb: AND 000019cc: PUSH4 0x0a85bd01 000019d1: PUSH1 0xe1 000019d3: SHL 000019d4: EQ 000019d5: SWAP1 000019d6: POP 000019d7: JUMPDEST 000019d8: SWAP5 000019d9: SWAP4 000019da: POP 000019db: POP 000019dc: POP 000019dd: POP 000019de: JUMP 000019df: JUMPDEST 000019e0: PUSH1 0x08 000019e2: SLOAD 000019e3: PUSH1 0x01 000019e5: PUSH1 0xa0 000019e7: SHL 000019e8: SWAP1 000019e9: DIV 000019ea: PUSH1 0xff 000019ec: AND 000019ed: ISZERO 000019ee: PUSH2 0x0e32 000019f1: JUMPI 000019f2: PUSH1 0x40 000019f4: MLOAD 000019f5: PUSH3 0x461bcd 000019f9: PUSH1 0xe5 000019fb: SHL 000019fc: DUP2 000019fd: MSTORE 000019fe: PUSH1 0x20 00001a00: PUSH1 0x04 00001a02: DUP3 00001a03: ADD 00001a04: MSTORE 00001a05: PUSH1 0x10 00001a07: PUSH1 0x24 00001a09: DUP3 00001a0a: ADD 00001a0b: MSTORE 00001a0c: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 00001a2d: PUSH1 0x44 00001a2f: DUP3 00001a30: ADD 00001a31: MSTORE 00001a32: PUSH1 0x64 00001a34: ADD 00001a35: PUSH2 0x0ec6 00001a38: JUMP 00001a39: JUMPDEST 00001a3a: PUSH1 0x00 00001a3c: DUP1 00001a3d: DUP1 00001a3e: JUMPDEST 00001a3f: DUP4 00001a40: MLOAD 00001a41: DUP2 00001a42: PUSH8 0xffffffffffffffff 00001a4b: AND 00001a4c: LT 00001a4d: ISZERO 00001a4e: PUSH2 0x1a98 00001a51: JUMPI 00001a52: DUP4 00001a53: DUP2 00001a54: PUSH8 0xffffffffffffffff 00001a5d: AND 00001a5e: DUP2 00001a5f: MLOAD 00001a60: DUP2 00001a61: LT 00001a62: PUSH2 0x1a6d 00001a65: JUMPI 00001a66: PUSH2 0x1a6d 00001a69: PUSH2 0x2c7f 00001a6c: JUMP 00001a6d: JUMPDEST 00001a6e: PUSH1 0x20 00001a70: MUL 00001a71: PUSH1 0x20 00001a73: ADD 00001a74: ADD 00001a75: MLOAD 00001a76: PUSH1 0x20 00001a78: ADD 00001a79: MLOAD 00001a7a: DUP3 00001a7b: PUSH2 0x1a84 00001a7e: SWAP2 00001a7f: SWAP1 00001a80: PUSH2 0x2c95 00001a83: JUMP 00001a84: JUMPDEST 00001a85: SWAP2 00001a86: POP 00001a87: DUP1 00001a88: PUSH2 0x1a90 00001a8b: DUP2 00001a8c: PUSH2 0x2cc1 00001a8f: JUMP 00001a90: JUMPDEST 00001a91: SWAP2 00001a92: POP 00001a93: POP 00001a94: PUSH2 0x1a3e 00001a97: JUMP 00001a98: JUMPDEST 00001a99: POP 00001a9a: SWAP3 00001a9b: SWAP2 00001a9c: POP 00001a9d: POP 00001a9e: JUMP 00001a9f: JUMPDEST 00001aa0: DUP1 00001aa1: PUSH1 0x00 00001aa3: JUMPDEST 00001aa4: DUP2 00001aa5: MLOAD 00001aa6: DUP2 00001aa7: PUSH8 0xffffffffffffffff 00001ab0: AND 00001ab1: LT 00001ab2: ISZERO 00001ab3: PUSH2 0x1b89 00001ab6: JUMPI 00001ab7: DUP2 00001ab8: DUP2 00001ab9: PUSH8 0xffffffffffffffff 00001ac2: AND 00001ac3: DUP2 00001ac4: MLOAD 00001ac5: DUP2 00001ac6: LT 00001ac7: PUSH2 0x1ad2 00001aca: JUMPI 00001acb: PUSH2 0x1ad2 00001ace: PUSH2 0x2c7f 00001ad1: JUMP 00001ad2: JUMPDEST 00001ad3: PUSH1 0x20 00001ad5: MUL 00001ad6: PUSH1 0x20 00001ad8: ADD 00001ad9: ADD 00001ada: MLOAD 00001adb: PUSH1 0x00 00001add: ADD 00001ade: MLOAD 00001adf: PUSH8 0xffffffffffffffff 00001ae8: AND 00001ae9: PUSH1 0x01 00001aeb: GT 00001aec: ISZERO 00001aed: DUP1 00001aee: ISZERO 00001aef: PUSH2 0x1b2b 00001af2: JUMPI 00001af3: POP 00001af4: PUSH1 0x10 00001af6: SLOAD 00001af7: DUP3 00001af8: DUP3 00001af9: PUSH8 0xffffffffffffffff 00001b02: AND 00001b03: DUP2 00001b04: MLOAD 00001b05: DUP2 00001b06: LT 00001b07: PUSH2 0x1b12 00001b0a: JUMPI 00001b0b: PUSH2 0x1b12 00001b0e: PUSH2 0x2c7f 00001b11: JUMP 00001b12: JUMPDEST 00001b13: PUSH1 0x20 00001b15: MUL 00001b16: PUSH1 0x20 00001b18: ADD 00001b19: ADD 00001b1a: MLOAD 00001b1b: PUSH1 0x00 00001b1d: ADD 00001b1e: MLOAD 00001b1f: PUSH8 0xffffffffffffffff 00001b28: AND 00001b29: GT 00001b2a: ISZERO 00001b2b: JUMPDEST 00001b2c: PUSH2 0x1b77 00001b2f: JUMPI 00001b30: PUSH1 0x40 00001b32: MLOAD 00001b33: PUSH3 0x461bcd 00001b37: PUSH1 0xe5 00001b39: SHL 00001b3a: DUP2 00001b3b: MSTORE 00001b3c: PUSH1 0x20 00001b3e: PUSH1 0x04 00001b40: DUP3 00001b41: ADD 00001b42: MSTORE 00001b43: PUSH1 0x15 00001b45: PUSH1 0x24 00001b47: DUP3 00001b48: ADD 00001b49: MSTORE 00001b4a: PUSH32 0x696e636f727265637420616d756c657420747970650000000000000000000000 00001b6b: PUSH1 0x44 00001b6d: DUP3 00001b6e: ADD 00001b6f: MSTORE 00001b70: PUSH1 0x64 00001b72: ADD 00001b73: PUSH2 0x0ec6 00001b76: JUMP 00001b77: JUMPDEST 00001b78: DUP1 00001b79: PUSH2 0x1b81 00001b7c: DUP2 00001b7d: PUSH2 0x2cc1 00001b80: JUMP 00001b81: JUMPDEST 00001b82: SWAP2 00001b83: POP 00001b84: POP 00001b85: PUSH2 0x1aa3 00001b88: JUMP 00001b89: JUMPDEST 00001b8a: POP 00001b8b: PUSH1 0x00 00001b8d: PUSH2 0x1b95 00001b90: DUP4 00001b91: PUSH2 0x1a39 00001b94: JUMP 00001b95: JUMPDEST 00001b96: SWAP1 00001b97: POP 00001b98: PUSH2 0x1bab 00001b9b: DUP5 00001b9c: DUP3 00001b9d: PUSH8 0xffffffffffffffff 00001ba6: AND 00001ba7: PUSH2 0x2014 00001baa: JUMP 00001bab: JUMPDEST 00001bac: PUSH1 0x00 00001bae: DUP1 00001baf: JUMPDEST 00001bb0: DUP5 00001bb1: MLOAD 00001bb2: DUP2 00001bb3: PUSH8 0xffffffffffffffff 00001bbc: AND 00001bbd: LT 00001bbe: ISZERO 00001bbf: PUSH2 0x0d72 00001bc2: JUMPI 00001bc3: PUSH1 0x00 00001bc5: JUMPDEST 00001bc6: DUP6 00001bc7: DUP3 00001bc8: PUSH8 0xffffffffffffffff 00001bd1: AND 00001bd2: DUP2 00001bd3: MLOAD 00001bd4: DUP2 00001bd5: LT 00001bd6: PUSH2 0x1be1 00001bd9: JUMPI 00001bda: PUSH2 0x1be1 00001bdd: PUSH2 0x2c7f 00001be0: JUMP 00001be1: JUMPDEST 00001be2: PUSH1 0x20 00001be4: MUL 00001be5: PUSH1 0x20 00001be7: ADD 00001be8: ADD 00001be9: MLOAD 00001bea: PUSH1 0x20 00001bec: ADD 00001bed: MLOAD 00001bee: PUSH8 0xffffffffffffffff 00001bf7: AND 00001bf8: DUP2 00001bf9: PUSH8 0xffffffffffffffff 00001c02: AND 00001c03: LT 00001c04: ISZERO 00001c05: PUSH2 0x1ce0 00001c08: JUMPI 00001c09: DUP3 00001c0a: PUSH2 0x1c12 00001c0d: DUP2 00001c0e: PUSH2 0x2cc1 00001c11: JUMP 00001c12: JUMPDEST 00001c13: SWAP4 00001c14: POP 00001c15: POP 00001c16: PUSH1 0x00 00001c18: DUP4 00001c19: PUSH8 0xffffffffffffffff 00001c22: AND 00001c23: DUP6 00001c24: PUSH8 0xffffffffffffffff 00001c2d: AND 00001c2e: PUSH2 0x1c40 00001c31: PUSH1 0x01 00001c33: SLOAD 00001c34: PUSH1 0x00 00001c36: SLOAD 00001c37: PUSH1 0x00 00001c39: NOT 00001c3a: SWAP2 00001c3b: SWAP1 00001c3c: SUB 00001c3d: ADD 00001c3e: SWAP1 00001c3f: JUMP 00001c40: JUMPDEST 00001c41: PUSH2 0x1c4a 00001c44: SWAP2 00001c45: SWAP1 00001c46: PUSH2 0x2ce9 00001c49: JUMP 00001c4a: JUMPDEST 00001c4b: PUSH2 0x1c54 00001c4e: SWAP2 00001c4f: SWAP1 00001c50: PUSH2 0x2889 00001c53: JUMP 00001c54: JUMPDEST 00001c55: SWAP1 00001c56: POP 00001c57: PUSH1 0x40 00001c59: MLOAD 00001c5a: DUP1 00001c5b: PUSH1 0x40 00001c5d: ADD 00001c5e: PUSH1 0x40 00001c60: MSTORE 00001c61: DUP1 00001c62: DUP9 00001c63: DUP6 00001c64: PUSH8 0xffffffffffffffff 00001c6d: AND 00001c6e: DUP2 00001c6f: MLOAD 00001c70: DUP2 00001c71: LT 00001c72: PUSH2 0x1c7d 00001c75: JUMPI 00001c76: PUSH2 0x1c7d 00001c79: PUSH2 0x2c7f 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: PUSH1 0x20 00001c80: SWAP1 00001c81: DUP2 00001c82: MUL 00001c83: SWAP2 00001c84: SWAP1 00001c85: SWAP2 00001c86: ADD 00001c87: DUP2 00001c88: ADD 00001c89: MLOAD 00001c8a: MLOAD 00001c8b: PUSH8 0xffffffffffffffff 00001c94: SWAP1 00001c95: DUP2 00001c96: AND 00001c97: DUP4 00001c98: MSTORE 00001c99: TIMESTAMP 00001c9a: SWAP3 00001c9b: DUP3 00001c9c: ADD 00001c9d: SWAP3 00001c9e: SWAP1 00001c9f: SWAP3 00001ca0: MSTORE 00001ca1: PUSH1 0x00 00001ca3: SWAP4 00001ca4: DUP5 00001ca5: MSTORE 00001ca6: PUSH1 0x15 00001ca8: DUP2 00001ca9: MSTORE 00001caa: PUSH1 0x40 00001cac: SWAP1 00001cad: SWAP4 00001cae: KECCAK256 00001caf: DUP3 00001cb0: MLOAD 00001cb1: DUP2 00001cb2: SLOAD 00001cb3: PUSH8 0xffffffffffffffff 00001cbc: NOT 00001cbd: AND 00001cbe: SWAP3 00001cbf: AND 00001cc0: SWAP2 00001cc1: SWAP1 00001cc2: SWAP2 00001cc3: OR 00001cc4: DUP2 00001cc5: SSTORE 00001cc6: SWAP2 00001cc7: ADD 00001cc8: MLOAD 00001cc9: PUSH1 0x01 00001ccb: SWAP1 00001ccc: SWAP2 00001ccd: ADD 00001cce: SSTORE 00001ccf: DUP1 00001cd0: PUSH2 0x1cd8 00001cd3: DUP2 00001cd4: PUSH2 0x2cc1 00001cd7: JUMP 00001cd8: JUMPDEST 00001cd9: SWAP2 00001cda: POP 00001cdb: POP 00001cdc: PUSH2 0x1bc5 00001cdf: JUMP 00001ce0: JUMPDEST 00001ce1: POP 00001ce2: DUP1 00001ce3: PUSH2 0x1ceb 00001ce6: DUP2 00001ce7: PUSH2 0x2cc1 00001cea: JUMP 00001ceb: JUMPDEST 00001cec: SWAP2 00001ced: POP 00001cee: POP 00001cef: PUSH2 0x1baf 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: PUSH1 0x60 00001cf6: DUP2 00001cf7: MLOAD 00001cf8: PUSH1 0x00 00001cfa: EQ 00001cfb: ISZERO 00001cfc: PUSH2 0x1d13 00001cff: JUMPI 00001d00: POP 00001d01: POP 00001d02: PUSH1 0x40 00001d04: DUP1 00001d05: MLOAD 00001d06: PUSH1 0x20 00001d08: DUP2 00001d09: ADD 00001d0a: SWAP1 00001d0b: SWAP2 00001d0c: MSTORE 00001d0d: PUSH1 0x00 00001d0f: DUP2 00001d10: MSTORE 00001d11: SWAP1 00001d12: JUMP 00001d13: JUMPDEST 00001d14: PUSH1 0x00 00001d16: PUSH1 0x40 00001d18: MLOAD 00001d19: DUP1 00001d1a: PUSH1 0x60 00001d1c: ADD 00001d1d: PUSH1 0x40 00001d1f: MSTORE 00001d20: DUP1 00001d21: PUSH1 0x40 00001d23: DUP2 00001d24: MSTORE 00001d25: PUSH1 0x20 00001d27: ADD 00001d28: PUSH2 0x2e8e 00001d2b: PUSH1 0x40 00001d2d: SWAP2 00001d2e: CODECOPY 00001d2f: SWAP1 00001d30: POP 00001d31: PUSH1 0x00 00001d33: PUSH1 0x03 00001d35: DUP5 00001d36: MLOAD 00001d37: PUSH1 0x02 00001d39: PUSH2 0x1d42 00001d3c: SWAP2 00001d3d: SWAP1 00001d3e: PUSH2 0x2889 00001d41: JUMP 00001d42: JUMPDEST 00001d43: PUSH2 0x1d4c 00001d46: SWAP2 00001d47: SWAP1 00001d48: PUSH2 0x2d16 00001d4b: JUMP 00001d4c: JUMPDEST 00001d4d: PUSH2 0x1d57 00001d50: SWAP1 00001d51: PUSH1 0x04 00001d53: PUSH2 0x28a1 00001d56: JUMP 00001d57: JUMPDEST 00001d58: SWAP1 00001d59: POP 00001d5a: PUSH1 0x00 00001d5c: PUSH2 0x1d66 00001d5f: DUP3 00001d60: PUSH1 0x20 00001d62: PUSH2 0x2889 00001d65: JUMP 00001d66: JUMPDEST 00001d67: PUSH8 0xffffffffffffffff 00001d70: DUP2 00001d71: GT 00001d72: ISZERO 00001d73: PUSH2 0x1d7e 00001d76: JUMPI 00001d77: PUSH2 0x1d7e 00001d7a: PUSH2 0x23b8 00001d7d: JUMP 00001d7e: JUMPDEST 00001d7f: PUSH1 0x40 00001d81: MLOAD 00001d82: SWAP1 00001d83: DUP1 00001d84: DUP3 00001d85: MSTORE 00001d86: DUP1 00001d87: PUSH1 0x1f 00001d89: ADD 00001d8a: PUSH1 0x1f 00001d8c: NOT 00001d8d: AND 00001d8e: PUSH1 0x20 00001d90: ADD 00001d91: DUP3 00001d92: ADD 00001d93: PUSH1 0x40 00001d95: MSTORE 00001d96: DUP1 00001d97: ISZERO 00001d98: PUSH2 0x1da8 00001d9b: JUMPI 00001d9c: PUSH1 0x20 00001d9e: DUP3 00001d9f: ADD 00001da0: DUP2 00001da1: DUP1 00001da2: CALLDATASIZE 00001da3: DUP4 00001da4: CALLDATACOPY 00001da5: ADD 00001da6: SWAP1 00001da7: POP 00001da8: JUMPDEST 00001da9: POP 00001daa: SWAP1 00001dab: POP 00001dac: DUP2 00001dad: DUP2 00001dae: MSTORE 00001daf: PUSH1 0x01 00001db1: DUP4 00001db2: ADD 00001db3: DUP6 00001db4: DUP7 00001db5: MLOAD 00001db6: DUP2 00001db7: ADD 00001db8: PUSH1 0x20 00001dba: DUP5 00001dbb: ADD 00001dbc: JUMPDEST 00001dbd: DUP2 00001dbe: DUP4 00001dbf: LT 00001dc0: ISZERO 00001dc1: PUSH2 0x1e14 00001dc4: JUMPI 00001dc5: PUSH1 0x03 00001dc7: DUP4 00001dc8: ADD 00001dc9: SWAP3 00001dca: POP 00001dcb: DUP3 00001dcc: MLOAD 00001dcd: PUSH1 0x3f 00001dcf: DUP2 00001dd0: PUSH1 0x12 00001dd2: SHR 00001dd3: AND 00001dd4: DUP6 00001dd5: ADD 00001dd6: MLOAD 00001dd7: DUP3 00001dd8: MSTORE8 00001dd9: PUSH1 0x01 00001ddb: DUP3 00001ddc: ADD 00001ddd: SWAP2 00001dde: POP 00001ddf: PUSH1 0x3f 00001de1: DUP2 00001de2: PUSH1 0x0c 00001de4: SHR 00001de5: AND 00001de6: DUP6 00001de7: ADD 00001de8: MLOAD 00001de9: DUP3 00001dea: MSTORE8 00001deb: PUSH1 0x01 00001ded: DUP3 00001dee: ADD 00001def: SWAP2 00001df0: POP 00001df1: PUSH1 0x3f 00001df3: DUP2 00001df4: PUSH1 0x06 00001df6: SHR 00001df7: AND 00001df8: DUP6 00001df9: ADD 00001dfa: MLOAD 00001dfb: DUP3 00001dfc: MSTORE8 00001dfd: PUSH1 0x01 00001dff: DUP3 00001e00: ADD 00001e01: SWAP2 00001e02: POP 00001e03: PUSH1 0x3f 00001e05: DUP2 00001e06: AND 00001e07: DUP6 00001e08: ADD 00001e09: MLOAD 00001e0a: DUP3 00001e0b: MSTORE8 00001e0c: POP 00001e0d: PUSH1 0x01 00001e0f: ADD 00001e10: PUSH2 0x1dbc 00001e13: JUMP 00001e14: JUMPDEST 00001e15: PUSH1 0x03 00001e17: DUP10 00001e18: MLOAD 00001e19: MOD 00001e1a: PUSH1 0x01 00001e1c: DUP2 00001e1d: EQ 00001e1e: PUSH2 0x1e2e 00001e21: JUMPI 00001e22: PUSH1 0x02 00001e24: DUP2 00001e25: EQ 00001e26: PUSH2 0x1e3f 00001e29: JUMPI 00001e2a: PUSH2 0x1e4b 00001e2d: JUMP 00001e2e: JUMPDEST 00001e2f: PUSH2 0x3d3d 00001e32: PUSH1 0xf0 00001e34: SHL 00001e35: PUSH1 0x01 00001e37: NOT 00001e38: DUP4 00001e39: ADD 00001e3a: MSTORE 00001e3b: PUSH2 0x1e4b 00001e3e: JUMP 00001e3f: JUMPDEST 00001e40: PUSH1 0x3d 00001e42: PUSH1 0xf8 00001e44: SHL 00001e45: PUSH1 0x00 00001e47: NOT 00001e48: DUP4 00001e49: ADD 00001e4a: MSTORE 00001e4b: JUMPDEST 00001e4c: POP 00001e4d: SWAP4 00001e4e: SWAP9 00001e4f: SWAP8 00001e50: POP 00001e51: POP 00001e52: POP 00001e53: POP 00001e54: POP 00001e55: POP 00001e56: POP 00001e57: POP 00001e58: JUMP 00001e59: JUMPDEST 00001e5a: PUSH1 0x08 00001e5c: SLOAD 00001e5d: PUSH1 0x01 00001e5f: PUSH1 0xa0 00001e61: SHL 00001e62: SWAP1 00001e63: DIV 00001e64: PUSH1 0xff 00001e66: AND 00001e67: PUSH2 0x0e32 00001e6a: JUMPI 00001e6b: PUSH1 0x40 00001e6d: MLOAD 00001e6e: PUSH3 0x461bcd 00001e72: PUSH1 0xe5 00001e74: SHL 00001e75: DUP2 00001e76: MSTORE 00001e77: PUSH1 0x20 00001e79: PUSH1 0x04 00001e7b: DUP3 00001e7c: ADD 00001e7d: MSTORE 00001e7e: PUSH1 0x14 00001e80: PUSH1 0x24 00001e82: DUP3 00001e83: ADD 00001e84: MSTORE 00001e85: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 00001ea6: PUSH1 0x44 00001ea8: DUP3 00001ea9: ADD 00001eaa: MSTORE 00001eab: PUSH1 0x64 00001ead: ADD 00001eae: PUSH2 0x0ec6 00001eb1: JUMP 00001eb2: JUMPDEST 00001eb3: PUSH1 0x60 00001eb5: DUP2 00001eb6: PUSH2 0x1ed6 00001eb9: JUMPI 00001eba: POP 00001ebb: POP 00001ebc: PUSH1 0x40 00001ebe: DUP1 00001ebf: MLOAD 00001ec0: DUP1 00001ec1: DUP3 00001ec2: ADD 00001ec3: SWAP1 00001ec4: SWAP2 00001ec5: MSTORE 00001ec6: PUSH1 0x01 00001ec8: DUP2 00001ec9: MSTORE 00001eca: PUSH1 0x03 00001ecc: PUSH1 0xfc 00001ece: SHL 00001ecf: PUSH1 0x20 00001ed1: DUP3 00001ed2: ADD 00001ed3: MSTORE 00001ed4: SWAP1 00001ed5: JUMP 00001ed6: JUMPDEST 00001ed7: DUP2 00001ed8: PUSH1 0x00 00001eda: JUMPDEST 00001edb: DUP2 00001edc: ISZERO 00001edd: PUSH2 0x1f00 00001ee0: JUMPI 00001ee1: DUP1 00001ee2: PUSH2 0x1eea 00001ee5: DUP2 00001ee6: PUSH2 0x2d2a 00001ee9: JUMP 00001eea: JUMPDEST 00001eeb: SWAP2 00001eec: POP 00001eed: PUSH2 0x1ef9 00001ef0: SWAP1 00001ef1: POP 00001ef2: PUSH1 0x0a 00001ef4: DUP4 00001ef5: PUSH2 0x2d16 00001ef8: JUMP 00001ef9: JUMPDEST 00001efa: SWAP2 00001efb: POP 00001efc: PUSH2 0x1eda 00001eff: JUMP 00001f00: JUMPDEST 00001f01: PUSH1 0x00 00001f03: DUP2 00001f04: PUSH8 0xffffffffffffffff 00001f0d: DUP2 00001f0e: GT 00001f0f: ISZERO 00001f10: PUSH2 0x1f1b 00001f13: JUMPI 00001f14: PUSH2 0x1f1b 00001f17: PUSH2 0x23b8 00001f1a: JUMP 00001f1b: JUMPDEST 00001f1c: PUSH1 0x40 00001f1e: MLOAD 00001f1f: SWAP1 00001f20: DUP1 00001f21: DUP3 00001f22: MSTORE 00001f23: DUP1 00001f24: PUSH1 0x1f 00001f26: ADD 00001f27: PUSH1 0x1f 00001f29: NOT 00001f2a: AND 00001f2b: PUSH1 0x20 00001f2d: ADD 00001f2e: DUP3 00001f2f: ADD 00001f30: PUSH1 0x40 00001f32: MSTORE 00001f33: DUP1 00001f34: ISZERO 00001f35: PUSH2 0x1f45 00001f38: JUMPI 00001f39: PUSH1 0x20 00001f3b: DUP3 00001f3c: ADD 00001f3d: DUP2 00001f3e: DUP1 00001f3f: CALLDATASIZE 00001f40: DUP4 00001f41: CALLDATACOPY 00001f42: ADD 00001f43: SWAP1 00001f44: POP 00001f45: JUMPDEST 00001f46: POP 00001f47: SWAP1 00001f48: POP 00001f49: JUMPDEST 00001f4a: DUP5 00001f4b: ISZERO 00001f4c: PUSH2 0x19d7 00001f4f: JUMPI 00001f50: PUSH2 0x1f5a 00001f53: PUSH1 0x01 00001f55: DUP4 00001f56: PUSH2 0x2ce9 00001f59: JUMP 00001f5a: JUMPDEST 00001f5b: SWAP2 00001f5c: POP 00001f5d: PUSH2 0x1f67 00001f60: PUSH1 0x0a 00001f62: DUP7 00001f63: PUSH2 0x2d45 00001f66: JUMP 00001f67: JUMPDEST 00001f68: PUSH2 0x1f72 00001f6b: SWAP1 00001f6c: PUSH1 0x30 00001f6e: PUSH2 0x2889 00001f71: JUMP 00001f72: JUMPDEST 00001f73: PUSH1 0xf8 00001f75: SHL 00001f76: DUP2 00001f77: DUP4 00001f78: DUP2 00001f79: MLOAD 00001f7a: DUP2 00001f7b: LT 00001f7c: PUSH2 0x1f87 00001f7f: JUMPI 00001f80: PUSH2 0x1f87 00001f83: PUSH2 0x2c7f 00001f86: JUMP 00001f87: JUMPDEST 00001f88: PUSH1 0x20 00001f8a: ADD 00001f8b: ADD 00001f8c: SWAP1 00001f8d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001fad: NOT 00001fae: AND 00001faf: SWAP1 00001fb0: DUP2 00001fb1: PUSH1 0x00 00001fb3: BYTE 00001fb4: SWAP1 00001fb5: MSTORE8 00001fb6: POP 00001fb7: PUSH2 0x1fc1 00001fba: PUSH1 0x0a 00001fbc: DUP7 00001fbd: PUSH2 0x2d16 00001fc0: JUMP 00001fc1: JUMPDEST 00001fc2: SWAP5 00001fc3: POP 00001fc4: PUSH2 0x1f49 00001fc7: JUMP 00001fc8: JUMPDEST 00001fc9: PUSH1 0x00 00001fcb: PUSH2 0x1fdf 00001fce: PUSH2 0x1fda 00001fd1: PUSH3 0x015180 00001fd5: DUP5 00001fd6: PUSH2 0x2d16 00001fd9: JUMP 00001fda: JUMPDEST 00001fdb: PUSH2 0x202e 00001fde: JUMP 00001fdf: JUMPDEST 00001fe0: POP 00001fe1: SWAP1 00001fe2: SWAP4 00001fe3: SWAP3 00001fe4: POP 00001fe5: POP 00001fe6: POP 00001fe7: JUMP 00001fe8: JUMPDEST 00001fe9: PUSH1 0x00 00001feb: PUSH2 0x1ffa 00001fee: PUSH2 0x1fda 00001ff1: PUSH3 0x015180 00001ff5: DUP5 00001ff6: PUSH2 0x2d16 00001ff9: JUMP 00001ffa: JUMPDEST 00001ffb: POP 00001ffc: SWAP4 00001ffd: SWAP3 00001ffe: POP 00001fff: POP 00002000: POP 00002001: JUMP 00002002: JUMPDEST 00002003: PUSH1 0x00 00002005: PUSH2 0x19d7 00002008: PUSH2 0x1fda 0000200b: PUSH3 0x015180 0000200f: DUP5 00002010: PUSH2 0x2d16 00002013: JUMP 00002014: JUMPDEST 00002015: PUSH2 0x099c 00002018: DUP3 00002019: DUP3 0000201a: PUSH1 0x40 0000201c: MLOAD 0000201d: DUP1 0000201e: PUSH1 0x20 00002020: ADD 00002021: PUSH1 0x40 00002023: MSTORE 00002024: DUP1 00002025: PUSH1 0x00 00002027: DUP2 00002028: MSTORE 00002029: POP 0000202a: PUSH2 0x21a2 0000202d: JUMP 0000202e: JUMPDEST 0000202f: PUSH1 0x00 00002031: DUP1 00002032: DUP1 00002033: DUP4 00002034: DUP2 00002035: PUSH3 0x253d8c 00002039: PUSH2 0x2045 0000203c: DUP4 0000203d: PUSH3 0x010bd9 00002041: PUSH2 0x2d59 00002044: JUMP 00002045: JUMPDEST 00002046: PUSH2 0x204f 00002049: SWAP2 0000204a: SWAP1 0000204b: PUSH2 0x2d59 0000204e: JUMP 0000204f: JUMPDEST 00002050: SWAP1 00002051: POP 00002052: PUSH1 0x00 00002054: PUSH3 0x023ab1 00002058: PUSH2 0x2062 0000205b: DUP4 0000205c: PUSH1 0x04 0000205e: PUSH2 0x2d99 00002061: JUMP 00002062: JUMPDEST 00002063: PUSH2 0x206c 00002066: SWAP2 00002067: SWAP1 00002068: PUSH2 0x2e20 0000206b: JUMP 0000206c: JUMPDEST 0000206d: SWAP1 0000206e: POP 0000206f: PUSH1 0x04 00002071: PUSH2 0x207d 00002074: DUP3 00002075: PUSH3 0x023ab1 00002079: PUSH2 0x2d99 0000207c: JUMP 0000207d: JUMPDEST 0000207e: PUSH2 0x2088 00002081: SWAP1 00002082: PUSH1 0x03 00002084: PUSH2 0x2d59 00002087: JUMP 00002088: JUMPDEST 00002089: PUSH2 0x2092 0000208c: SWAP2 0000208d: SWAP1 0000208e: PUSH2 0x2e20 00002091: JUMP 00002092: JUMPDEST 00002093: PUSH2 0x209c 00002096: SWAP1 00002097: DUP4 00002098: PUSH2 0x2e4e 0000209b: JUMP 0000209c: JUMPDEST 0000209d: SWAP2 0000209e: POP 0000209f: PUSH1 0x00 000020a1: PUSH3 0x164b09 000020a5: PUSH2 0x20af 000020a8: DUP5 000020a9: PUSH1 0x01 000020ab: PUSH2 0x2d59 000020ae: JUMP 000020af: JUMPDEST 000020b0: PUSH2 0x20bb 000020b3: SWAP1 000020b4: PUSH2 0x0fa0 000020b7: PUSH2 0x2d99 000020ba: JUMP 000020bb: JUMPDEST 000020bc: PUSH2 0x20c5 000020bf: SWAP2 000020c0: SWAP1 000020c1: PUSH2 0x2e20 000020c4: JUMP 000020c5: JUMPDEST 000020c6: SWAP1 000020c7: POP 000020c8: PUSH1 0x04 000020ca: PUSH2 0x20d5 000020cd: DUP3 000020ce: PUSH2 0x05b5 000020d1: PUSH2 0x2d99 000020d4: JUMP 000020d5: JUMPDEST 000020d6: PUSH2 0x20df 000020d9: SWAP2 000020da: SWAP1 000020db: PUSH2 0x2e20 000020de: JUMP 000020df: JUMPDEST 000020e0: PUSH2 0x20e9 000020e3: SWAP1 000020e4: DUP5 000020e5: PUSH2 0x2e4e 000020e8: JUMP 000020e9: JUMPDEST 000020ea: PUSH2 0x20f4 000020ed: SWAP1 000020ee: PUSH1 0x1f 000020f0: PUSH2 0x2d59 000020f3: JUMP 000020f4: JUMPDEST 000020f5: SWAP3 000020f6: POP 000020f7: PUSH1 0x00 000020f9: PUSH2 0x098f 000020fc: PUSH2 0x2106 000020ff: DUP6 00002100: PUSH1 0x50 00002102: PUSH2 0x2d99 00002105: JUMP 00002106: JUMPDEST 00002107: PUSH2 0x2110 0000210a: SWAP2 0000210b: SWAP1 0000210c: PUSH2 0x2e20 0000210f: JUMP 00002110: JUMPDEST 00002111: SWAP1 00002112: POP 00002113: PUSH1 0x00 00002115: PUSH1 0x50 00002117: PUSH2 0x2122 0000211a: DUP4 0000211b: PUSH2 0x098f 0000211e: PUSH2 0x2d99 00002121: JUMP 00002122: JUMPDEST 00002123: PUSH2 0x212c 00002126: SWAP2 00002127: SWAP1 00002128: PUSH2 0x2e20 0000212b: JUMP 0000212c: JUMPDEST 0000212d: PUSH2 0x2136 00002130: SWAP1 00002131: DUP7 00002132: PUSH2 0x2e4e 00002135: JUMP 00002136: JUMPDEST 00002137: SWAP1 00002138: POP 00002139: PUSH2 0x2143 0000213c: PUSH1 0x0b 0000213e: DUP4 0000213f: PUSH2 0x2e20 00002142: JUMP 00002143: JUMPDEST 00002144: SWAP5 00002145: POP 00002146: PUSH2 0x2150 00002149: DUP6 0000214a: PUSH1 0x0c 0000214c: PUSH2 0x2d99 0000214f: JUMP 00002150: JUMPDEST 00002151: PUSH2 0x215b 00002154: DUP4 00002155: PUSH1 0x02 00002157: PUSH2 0x2d59 0000215a: JUMP 0000215b: JUMPDEST 0000215c: PUSH2 0x2165 0000215f: SWAP2 00002160: SWAP1 00002161: PUSH2 0x2e4e 00002164: JUMP 00002165: JUMPDEST 00002166: SWAP2 00002167: POP 00002168: DUP5 00002169: DUP4 0000216a: PUSH2 0x2174 0000216d: PUSH1 0x31 0000216f: DUP8 00002170: PUSH2 0x2e4e 00002173: JUMP 00002174: JUMPDEST 00002175: PUSH2 0x217f 00002178: SWAP1 00002179: PUSH1 0x64 0000217b: PUSH2 0x2d99 0000217e: JUMP 0000217f: JUMPDEST 00002180: PUSH2 0x2189 00002183: SWAP2 00002184: SWAP1 00002185: PUSH2 0x2d59 00002188: JUMP 00002189: JUMPDEST 0000218a: PUSH2 0x2193 0000218d: SWAP2 0000218e: SWAP1 0000218f: PUSH2 0x2d59 00002192: JUMP 00002193: JUMPDEST 00002194: SWAP11 00002195: SWAP2 00002196: SWAP10 00002197: POP 00002198: SWAP8 00002199: POP 0000219a: SWAP6 0000219b: POP 0000219c: POP 0000219d: POP 0000219e: POP 0000219f: POP 000021a0: POP 000021a1: JUMP 000021a2: JUMPDEST 000021a3: PUSH2 0x21ac 000021a6: DUP4 000021a7: DUP4 000021a8: PUSH2 0x220f 000021ab: JUMP 000021ac: JUMPDEST 000021ad: PUSH1 0x01 000021af: PUSH1 0x01 000021b1: PUSH1 0xa0 000021b3: SHL 000021b4: SUB 000021b5: DUP4 000021b6: AND 000021b7: EXTCODESIZE 000021b8: ISZERO 000021b9: PUSH2 0x0b55 000021bc: JUMPI 000021bd: PUSH1 0x00 000021bf: SLOAD 000021c0: DUP3 000021c1: DUP2 000021c2: SUB 000021c3: JUMPDEST 000021c4: PUSH2 0x21d6 000021c7: PUSH1 0x00 000021c9: DUP7 000021ca: DUP4 000021cb: DUP1 000021cc: PUSH1 0x01 000021ce: ADD 000021cf: SWAP5 000021d0: POP 000021d1: DUP7 000021d2: PUSH2 0x18e7 000021d5: JUMP 000021d6: JUMPDEST 000021d7: PUSH2 0x21f3 000021da: JUMPI 000021db: PUSH1 0x40 000021dd: MLOAD 000021de: PUSH4 0x68d2bf6b 000021e3: PUSH1 0xe1 000021e5: SHL 000021e6: DUP2 000021e7: MSTORE 000021e8: PUSH1 0x04 000021ea: ADD 000021eb: PUSH1 0x40 000021ed: MLOAD 000021ee: DUP1 000021ef: SWAP2 000021f0: SUB 000021f1: SWAP1 000021f2: REVERT 000021f3: JUMPDEST 000021f4: DUP2 000021f5: DUP2 000021f6: LT 000021f7: PUSH2 0x21c3 000021fa: JUMPI 000021fb: DUP2 000021fc: PUSH1 0x00 000021fe: SLOAD 000021ff: EQ 00002200: PUSH2 0x2208 00002203: JUMPI 00002204: PUSH1 0x00 00002206: DUP1 00002207: REVERT 00002208: JUMPDEST 00002209: POP 0000220a: POP 0000220b: POP 0000220c: POP 0000220d: POP 0000220e: JUMP 0000220f: JUMPDEST 00002210: PUSH1 0x00 00002212: SLOAD 00002213: PUSH1 0x01 00002215: PUSH1 0x01 00002217: PUSH1 0xa0 00002219: SHL 0000221a: SUB 0000221b: DUP4 0000221c: AND 0000221d: PUSH2 0x2238 00002220: JUMPI 00002221: PUSH1 0x40 00002223: MLOAD 00002224: PUSH3 0x2e0763 00002228: PUSH1 0xe8 0000222a: SHL 0000222b: DUP2 0000222c: MSTORE 0000222d: PUSH1 0x04 0000222f: ADD 00002230: PUSH1 0x40 00002232: MLOAD 00002233: DUP1 00002234: SWAP2 00002235: SUB 00002236: SWAP1 00002237: REVERT 00002238: JUMPDEST 00002239: DUP2 0000223a: PUSH2 0x2256 0000223d: JUMPI 0000223e: PUSH1 0x40 00002240: MLOAD 00002241: PUSH4 0xb562e8dd 00002246: PUSH1 0xe0 00002248: SHL 00002249: DUP2 0000224a: MSTORE 0000224b: PUSH1 0x04 0000224d: ADD 0000224e: PUSH1 0x40 00002250: MLOAD 00002251: DUP1 00002252: SWAP2 00002253: SUB 00002254: SWAP1 00002255: REVERT 00002256: JUMPDEST 00002257: PUSH1 0x01 00002259: PUSH1 0x01 0000225b: PUSH1 0xa0 0000225d: SHL 0000225e: SUB 0000225f: DUP4 00002260: AND 00002261: PUSH1 0x00 00002263: DUP2 00002264: DUP2 00002265: MSTORE 00002266: PUSH1 0x05 00002268: PUSH1 0x20 0000226a: MSTORE 0000226b: PUSH1 0x40 0000226d: SWAP1 0000226e: KECCAK256 0000226f: DUP1 00002270: SLOAD 00002271: PUSH9 0x010000000000000001 0000227b: DUP6 0000227c: MUL 0000227d: ADD 0000227e: SWAP1 0000227f: SSTORE 00002280: TIMESTAMP 00002281: PUSH1 0xa0 00002283: SHL 00002284: PUSH1 0x01 00002286: DUP5 00002287: EQ 00002288: PUSH1 0xe1 0000228a: SHL 0000228b: OR 0000228c: OR 0000228d: PUSH1 0x00 0000228f: DUP3 00002290: DUP2 00002291: MSTORE 00002292: PUSH1 0x04 00002294: PUSH1 0x20 00002296: MSTORE 00002297: PUSH1 0x40 00002299: SWAP1 0000229a: KECCAK256 0000229b: SSTORE 0000229c: DUP1 0000229d: DUP3 0000229e: DUP2 0000229f: ADD 000022a0: JUMPDEST 000022a1: PUSH1 0x40 000022a3: MLOAD 000022a4: PUSH1 0x01 000022a6: DUP4 000022a7: ADD 000022a8: SWAP3 000022a9: SWAP1 000022aa: PUSH1 0x01 000022ac: PUSH1 0x01 000022ae: PUSH1 0xa0 000022b0: SHL 000022b1: SUB 000022b2: DUP8 000022b3: AND 000022b4: SWAP1 000022b5: PUSH1 0x00 000022b7: SWAP1 000022b8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000022d9: SWAP1 000022da: DUP3 000022db: SWAP1 000022dc: LOG4 000022dd: DUP1 000022de: DUP3 000022df: LT 000022e0: PUSH2 0x22a0 000022e3: JUMPI 000022e4: PUSH1 0x00 000022e6: SSTORE 000022e7: POP 000022e8: POP 000022e9: POP 000022ea: POP 000022eb: JUMP 000022ec: JUMPDEST 000022ed: DUP3 000022ee: DUP1 000022ef: SLOAD 000022f0: PUSH2 0x22f8 000022f3: SWAP1 000022f4: PUSH2 0x283e 000022f7: JUMP 000022f8: JUMPDEST 000022f9: SWAP1 000022fa: PUSH1 0x00 000022fc: MSTORE 000022fd: PUSH1 0x20 000022ff: PUSH1 0x00 00002301: KECCAK256 00002302: SWAP1 00002303: PUSH1 0x1f 00002305: ADD 00002306: PUSH1 0x20 00002308: SWAP1 00002309: DIV 0000230a: DUP2 0000230b: ADD 0000230c: SWAP3 0000230d: DUP3 0000230e: PUSH2 0x231a 00002311: JUMPI 00002312: PUSH1 0x00 00002314: DUP6 00002315: SSTORE 00002316: PUSH2 0x2360 00002319: JUMP 0000231a: JUMPDEST 0000231b: DUP3 0000231c: PUSH1 0x1f 0000231e: LT 0000231f: PUSH2 0x2333 00002322: JUMPI 00002323: DUP1 00002324: MLOAD 00002325: PUSH1 0xff 00002327: NOT 00002328: AND 00002329: DUP4 0000232a: DUP1 0000232b: ADD 0000232c: OR 0000232d: DUP6 0000232e: SSTORE 0000232f: PUSH2 0x2360 00002332: JUMP 00002333: JUMPDEST 00002334: DUP3 00002335: DUP1 00002336: ADD 00002337: PUSH1 0x01 00002339: ADD 0000233a: DUP6 0000233b: SSTORE 0000233c: DUP3 0000233d: ISZERO 0000233e: PUSH2 0x2360 00002341: JUMPI 00002342: SWAP2 00002343: DUP3 00002344: ADD 00002345: JUMPDEST 00002346: DUP3 00002347: DUP2 00002348: GT 00002349: ISZERO 0000234a: PUSH2 0x2360 0000234d: JUMPI 0000234e: DUP3 0000234f: MLOAD 00002350: DUP3 00002351: SSTORE 00002352: SWAP2 00002353: PUSH1 0x20 00002355: ADD 00002356: SWAP2 00002357: SWAP1 00002358: PUSH1 0x01 0000235a: ADD 0000235b: SWAP1 0000235c: PUSH2 0x2345 0000235f: JUMP 00002360: JUMPDEST 00002361: POP 00002362: PUSH2 0x236c 00002365: SWAP3 00002366: SWAP2 00002367: POP 00002368: PUSH2 0x2370 0000236b: JUMP 0000236c: JUMPDEST 0000236d: POP 0000236e: SWAP1 0000236f: JUMP 00002370: JUMPDEST 00002371: JUMPDEST 00002372: DUP1 00002373: DUP3 00002374: GT 00002375: ISZERO 00002376: PUSH2 0x236c 00002379: JUMPI 0000237a: PUSH1 0x00 0000237c: DUP2 0000237d: SSTORE 0000237e: PUSH1 0x01 00002380: ADD 00002381: PUSH2 0x2371 00002384: JUMP 00002385: JUMPDEST 00002386: PUSH1 0x01 00002388: PUSH1 0x01 0000238a: PUSH1 0xe0 0000238c: SHL 0000238d: SUB 0000238e: NOT 0000238f: DUP2 00002390: AND 00002391: DUP2 00002392: EQ 00002393: PUSH2 0x0e1f 00002396: JUMPI 00002397: PUSH1 0x00 00002399: DUP1 0000239a: REVERT 0000239b: JUMPDEST 0000239c: PUSH1 0x00 0000239e: PUSH1 0x20 000023a0: DUP3 000023a1: DUP5 000023a2: SUB 000023a3: SLT 000023a4: ISZERO 000023a5: PUSH2 0x23ad 000023a8: JUMPI 000023a9: PUSH1 0x00 000023ab: DUP1 000023ac: REVERT 000023ad: JUMPDEST 000023ae: DUP2 000023af: CALLDATALOAD 000023b0: PUSH2 0x0fd2 000023b3: DUP2 000023b4: PUSH2 0x2385 000023b7: JUMP 000023b8: JUMPDEST 000023b9: PUSH4 0x4e487b71 000023be: PUSH1 0xe0 000023c0: SHL 000023c1: PUSH1 0x00 000023c3: MSTORE 000023c4: PUSH1 0x41 000023c6: PUSH1 0x04 000023c8: MSTORE 000023c9: PUSH1 0x24 000023cb: PUSH1 0x00 000023cd: REVERT 000023ce: JUMPDEST 000023cf: PUSH1 0x40 000023d1: DUP1 000023d2: MLOAD 000023d3: SWAP1 000023d4: DUP2 000023d5: ADD 000023d6: PUSH8 0xffffffffffffffff 000023df: DUP2 000023e0: GT 000023e1: DUP3 000023e2: DUP3 000023e3: LT 000023e4: OR 000023e5: ISZERO 000023e6: PUSH2 0x23f1 000023e9: JUMPI 000023ea: PUSH2 0x23f1 000023ed: PUSH2 0x23b8 000023f0: JUMP 000023f1: JUMPDEST 000023f2: PUSH1 0x40 000023f4: MSTORE 000023f5: SWAP1 000023f6: JUMP 000023f7: JUMPDEST 000023f8: PUSH1 0x40 000023fa: MLOAD 000023fb: PUSH1 0x1f 000023fd: DUP3 000023fe: ADD 000023ff: PUSH1 0x1f 00002401: NOT 00002402: AND 00002403: DUP2 00002404: ADD 00002405: PUSH8 0xffffffffffffffff 0000240e: DUP2 0000240f: GT 00002410: DUP3 00002411: DUP3 00002412: LT 00002413: OR 00002414: ISZERO 00002415: PUSH2 0x2420 00002418: JUMPI 00002419: PUSH2 0x2420 0000241c: PUSH2 0x23b8 0000241f: JUMP 00002420: JUMPDEST 00002421: PUSH1 0x40 00002423: MSTORE 00002424: SWAP2 00002425: SWAP1 00002426: POP 00002427: JUMP 00002428: JUMPDEST 00002429: PUSH1 0x00 0000242b: PUSH8 0xffffffffffffffff 00002434: DUP4 00002435: GT 00002436: ISZERO 00002437: PUSH2 0x2442 0000243a: JUMPI 0000243b: PUSH2 0x2442 0000243e: PUSH2 0x23b8 00002441: JUMP 00002442: JUMPDEST 00002443: PUSH2 0x2455 00002446: PUSH1 0x1f 00002448: DUP5 00002449: ADD 0000244a: PUSH1 0x1f 0000244c: NOT 0000244d: AND 0000244e: PUSH1 0x20 00002450: ADD 00002451: PUSH2 0x23f7 00002454: JUMP 00002455: JUMPDEST 00002456: SWAP1 00002457: POP 00002458: DUP3 00002459: DUP2 0000245a: MSTORE 0000245b: DUP4 0000245c: DUP4 0000245d: DUP4 0000245e: ADD 0000245f: GT 00002460: ISZERO 00002461: PUSH2 0x2469 00002464: JUMPI 00002465: PUSH1 0x00 00002467: DUP1 00002468: REVERT 00002469: JUMPDEST 0000246a: DUP3 0000246b: DUP3 0000246c: PUSH1 0x20 0000246e: DUP4 0000246f: ADD 00002470: CALLDATACOPY 00002471: PUSH1 0x00 00002473: PUSH1 0x20 00002475: DUP5 00002476: DUP4 00002477: ADD 00002478: ADD 00002479: MSTORE 0000247a: SWAP4 0000247b: SWAP3 0000247c: POP 0000247d: POP 0000247e: POP 0000247f: JUMP 00002480: JUMPDEST 00002481: PUSH1 0x00 00002483: DUP3 00002484: PUSH1 0x1f 00002486: DUP4 00002487: ADD 00002488: SLT 00002489: PUSH2 0x2491 0000248c: JUMPI 0000248d: PUSH1 0x00 0000248f: DUP1 00002490: REVERT 00002491: JUMPDEST 00002492: PUSH2 0x0fd2 00002495: DUP4 00002496: DUP4 00002497: CALLDATALOAD 00002498: PUSH1 0x20 0000249a: DUP6 0000249b: ADD 0000249c: PUSH2 0x2428 0000249f: JUMP 000024a0: JUMPDEST 000024a1: PUSH1 0x00 000024a3: PUSH1 0x20 000024a5: DUP3 000024a6: DUP5 000024a7: SUB 000024a8: SLT 000024a9: ISZERO 000024aa: PUSH2 0x24b2 000024ad: JUMPI 000024ae: PUSH1 0x00 000024b0: DUP1 000024b1: REVERT 000024b2: JUMPDEST 000024b3: DUP2 000024b4: CALLDATALOAD 000024b5: PUSH8 0xffffffffffffffff 000024be: DUP2 000024bf: GT 000024c0: ISZERO 000024c1: PUSH2 0x24c9 000024c4: JUMPI 000024c5: PUSH1 0x00 000024c7: DUP1 000024c8: REVERT 000024c9: JUMPDEST 000024ca: PUSH2 0x19d7 000024cd: DUP5 000024ce: DUP3 000024cf: DUP6 000024d0: ADD 000024d1: PUSH2 0x2480 000024d4: JUMP 000024d5: JUMPDEST 000024d6: PUSH1 0x00 000024d8: JUMPDEST 000024d9: DUP4 000024da: DUP2 000024db: LT 000024dc: ISZERO 000024dd: PUSH2 0x24f0 000024e0: JUMPI 000024e1: DUP2 000024e2: DUP2 000024e3: ADD 000024e4: MLOAD 000024e5: DUP4 000024e6: DUP3 000024e7: ADD 000024e8: MSTORE 000024e9: PUSH1 0x20 000024eb: ADD 000024ec: PUSH2 0x24d8 000024ef: JUMP 000024f0: JUMPDEST 000024f1: DUP4 000024f2: DUP2 000024f3: GT 000024f4: ISZERO 000024f5: PUSH2 0x11a8 000024f8: JUMPI 000024f9: POP 000024fa: POP 000024fb: PUSH1 0x00 000024fd: SWAP2 000024fe: ADD 000024ff: MSTORE 00002500: JUMP 00002501: JUMPDEST 00002502: PUSH1 0x00 00002504: DUP2 00002505: MLOAD 00002506: DUP1 00002507: DUP5 00002508: MSTORE 00002509: PUSH2 0x2519 0000250c: DUP2 0000250d: PUSH1 0x20 0000250f: DUP7 00002510: ADD 00002511: PUSH1 0x20 00002513: DUP7 00002514: ADD 00002515: PUSH2 0x24d5 00002518: JUMP 00002519: JUMPDEST 0000251a: PUSH1 0x1f 0000251c: ADD 0000251d: PUSH1 0x1f 0000251f: NOT 00002520: AND 00002521: SWAP3 00002522: SWAP1 00002523: SWAP3 00002524: ADD 00002525: PUSH1 0x20 00002527: ADD 00002528: SWAP3 00002529: SWAP2 0000252a: POP 0000252b: POP 0000252c: JUMP 0000252d: JUMPDEST 0000252e: PUSH1 0x20 00002530: DUP2 00002531: MSTORE 00002532: PUSH1 0x00 00002534: PUSH2 0x0fd2 00002537: PUSH1 0x20 00002539: DUP4 0000253a: ADD 0000253b: DUP5 0000253c: PUSH2 0x2501 0000253f: JUMP 00002540: JUMPDEST 00002541: PUSH1 0x00 00002543: PUSH1 0x20 00002545: DUP3 00002546: DUP5 00002547: SUB 00002548: SLT 00002549: ISZERO 0000254a: PUSH2 0x2552 0000254d: JUMPI 0000254e: PUSH1 0x00 00002550: DUP1 00002551: REVERT 00002552: JUMPDEST 00002553: POP 00002554: CALLDATALOAD 00002555: SWAP2 00002556: SWAP1 00002557: POP 00002558: JUMP 00002559: JUMPDEST 0000255a: DUP1 0000255b: CALLDATALOAD 0000255c: PUSH1 0x01 0000255e: PUSH1 0x01 00002560: PUSH1 0xa0 00002562: SHL 00002563: SUB 00002564: DUP2 00002565: AND 00002566: DUP2 00002567: EQ 00002568: PUSH2 0x2570 0000256b: JUMPI 0000256c: PUSH1 0x00 0000256e: DUP1 0000256f: REVERT 00002570: JUMPDEST 00002571: SWAP2 00002572: SWAP1 00002573: POP 00002574: JUMP 00002575: JUMPDEST 00002576: PUSH1 0x00 00002578: DUP1 00002579: PUSH1 0x40 0000257b: DUP4 0000257c: DUP6 0000257d: SUB 0000257e: SLT 0000257f: ISZERO 00002580: PUSH2 0x2588 00002583: JUMPI 00002584: PUSH1 0x00 00002586: DUP1 00002587: REVERT 00002588: JUMPDEST 00002589: PUSH2 0x2591 0000258c: DUP4 0000258d: PUSH2 0x2559 00002590: JUMP 00002591: JUMPDEST 00002592: SWAP5 00002593: PUSH1 0x20 00002595: SWAP4 00002596: SWAP1 00002597: SWAP4 00002598: ADD 00002599: CALLDATALOAD 0000259a: SWAP4 0000259b: POP 0000259c: POP 0000259d: POP 0000259e: JUMP 0000259f: JUMPDEST 000025a0: DUP1 000025a1: CALLDATALOAD 000025a2: PUSH8 0xffffffffffffffff 000025ab: DUP2 000025ac: AND 000025ad: DUP2 000025ae: EQ 000025af: PUSH2 0x2570 000025b2: JUMPI 000025b3: PUSH1 0x00 000025b5: DUP1 000025b6: REVERT 000025b7: JUMPDEST 000025b8: PUSH1 0x00 000025ba: DUP1 000025bb: PUSH1 0x40 000025bd: DUP4 000025be: DUP6 000025bf: SUB 000025c0: SLT 000025c1: ISZERO 000025c2: PUSH2 0x25ca 000025c5: JUMPI 000025c6: PUSH1 0x00 000025c8: DUP1 000025c9: REVERT 000025ca: JUMPDEST 000025cb: PUSH2 0x25d3 000025ce: DUP4 000025cf: PUSH2 0x259f 000025d2: JUMP 000025d3: JUMPDEST 000025d4: SWAP2 000025d5: POP 000025d6: PUSH1 0x20 000025d8: DUP4 000025d9: ADD 000025da: CALLDATALOAD 000025db: PUSH8 0xffffffffffffffff 000025e4: DUP2 000025e5: GT 000025e6: ISZERO 000025e7: PUSH2 0x25ef 000025ea: JUMPI 000025eb: PUSH1 0x00 000025ed: DUP1 000025ee: REVERT 000025ef: JUMPDEST 000025f0: PUSH2 0x25fb 000025f3: DUP6 000025f4: DUP3 000025f5: DUP7 000025f6: ADD 000025f7: PUSH2 0x2480 000025fa: JUMP 000025fb: JUMPDEST 000025fc: SWAP2 000025fd: POP 000025fe: POP 000025ff: SWAP3 00002600: POP 00002601: SWAP3 00002602: SWAP1 00002603: POP 00002604: JUMP 00002605: JUMPDEST 00002606: PUSH1 0x00 00002608: DUP1 00002609: PUSH1 0x00 0000260b: PUSH1 0x60 0000260d: DUP5 0000260e: DUP7 0000260f: SUB 00002610: SLT 00002611: ISZERO 00002612: PUSH2 0x261a 00002615: JUMPI 00002616: PUSH1 0x00 00002618: DUP1 00002619: REVERT 0000261a: JUMPDEST 0000261b: PUSH2 0x2623 0000261e: DUP5 0000261f: PUSH2 0x2559 00002622: JUMP 00002623: JUMPDEST 00002624: SWAP3 00002625: POP 00002626: PUSH2 0x2631 00002629: PUSH1 0x20 0000262b: DUP6 0000262c: ADD 0000262d: PUSH2 0x2559 00002630: JUMP 00002631: JUMPDEST 00002632: SWAP2 00002633: POP 00002634: PUSH1 0x40 00002636: DUP5 00002637: ADD 00002638: CALLDATALOAD 00002639: SWAP1 0000263a: POP 0000263b: SWAP3 0000263c: POP 0000263d: SWAP3 0000263e: POP 0000263f: SWAP3 00002640: JUMP 00002641: JUMPDEST 00002642: PUSH1 0x00 00002644: PUSH1 0x20 00002646: DUP3 00002647: DUP5 00002648: SUB 00002649: SLT 0000264a: ISZERO 0000264b: PUSH2 0x2653 0000264e: JUMPI 0000264f: PUSH1 0x00 00002651: DUP1 00002652: REVERT 00002653: JUMPDEST 00002654: PUSH2 0x0fd2 00002657: DUP3 00002658: PUSH2 0x259f 0000265b: JUMP 0000265c: JUMPDEST 0000265d: PUSH1 0x00 0000265f: PUSH1 0x20 00002661: DUP3 00002662: DUP5 00002663: SUB 00002664: SLT 00002665: ISZERO 00002666: PUSH2 0x266e 00002669: JUMPI 0000266a: PUSH1 0x00 0000266c: DUP1 0000266d: REVERT 0000266e: JUMPDEST 0000266f: PUSH2 0x0fd2 00002672: DUP3 00002673: PUSH2 0x2559 00002676: JUMP 00002677: JUMPDEST 00002678: PUSH1 0x00 0000267a: DUP1 0000267b: PUSH1 0x40 0000267d: DUP4 0000267e: DUP6 0000267f: SUB 00002680: SLT 00002681: ISZERO 00002682: PUSH2 0x268a 00002685: JUMPI 00002686: PUSH1 0x00 00002688: DUP1 00002689: REVERT 0000268a: JUMPDEST 0000268b: PUSH2 0x2693 0000268e: DUP4 0000268f: PUSH2 0x2559 00002692: JUMP 00002693: JUMPDEST 00002694: SWAP2 00002695: POP 00002696: PUSH1 0x20 00002698: DUP4 00002699: ADD 0000269a: CALLDATALOAD 0000269b: DUP1 0000269c: ISZERO 0000269d: ISZERO 0000269e: DUP2 0000269f: EQ 000026a0: PUSH2 0x26a8 000026a3: JUMPI 000026a4: PUSH1 0x00 000026a6: DUP1 000026a7: REVERT 000026a8: JUMPDEST 000026a9: DUP1 000026aa: SWAP2 000026ab: POP 000026ac: POP 000026ad: SWAP3 000026ae: POP 000026af: SWAP3 000026b0: SWAP1 000026b1: POP 000026b2: JUMP 000026b3: JUMPDEST 000026b4: PUSH1 0x00 000026b6: DUP1 000026b7: PUSH1 0x00 000026b9: DUP1 000026ba: PUSH1 0x80 000026bc: DUP6 000026bd: DUP8 000026be: SUB 000026bf: SLT 000026c0: ISZERO 000026c1: PUSH2 0x26c9 000026c4: JUMPI 000026c5: PUSH1 0x00 000026c7: DUP1 000026c8: REVERT 000026c9: JUMPDEST 000026ca: PUSH2 0x26d2 000026cd: DUP6 000026ce: PUSH2 0x2559 000026d1: JUMP 000026d2: JUMPDEST 000026d3: SWAP4 000026d4: POP 000026d5: PUSH2 0x26e0 000026d8: PUSH1 0x20 000026da: DUP7 000026db: ADD 000026dc: PUSH2 0x2559 000026df: JUMP 000026e0: JUMPDEST 000026e1: SWAP3 000026e2: POP 000026e3: PUSH1 0x40 000026e5: DUP6 000026e6: ADD 000026e7: CALLDATALOAD 000026e8: SWAP2 000026e9: POP 000026ea: PUSH1 0x60 000026ec: DUP6 000026ed: ADD 000026ee: CALLDATALOAD 000026ef: PUSH8 0xffffffffffffffff 000026f8: DUP2 000026f9: GT 000026fa: ISZERO 000026fb: PUSH2 0x2703 000026fe: JUMPI 000026ff: PUSH1 0x00 00002701: DUP1 00002702: REVERT 00002703: JUMPDEST 00002704: DUP6 00002705: ADD 00002706: PUSH1 0x1f 00002708: DUP2 00002709: ADD 0000270a: DUP8 0000270b: SGT 0000270c: PUSH2 0x2714 0000270f: JUMPI 00002710: PUSH1 0x00 00002712: DUP1 00002713: REVERT 00002714: JUMPDEST 00002715: PUSH2 0x2723 00002718: DUP8 00002719: DUP3 0000271a: CALLDATALOAD 0000271b: PUSH1 0x20 0000271d: DUP5 0000271e: ADD 0000271f: PUSH2 0x2428 00002722: JUMP 00002723: JUMPDEST 00002724: SWAP2 00002725: POP 00002726: POP 00002727: SWAP3 00002728: SWAP6 00002729: SWAP2 0000272a: SWAP5 0000272b: POP 0000272c: SWAP3 0000272d: POP 0000272e: JUMP 0000272f: JUMPDEST 00002730: PUSH1 0x00 00002732: PUSH1 0x20 00002734: DUP1 00002735: DUP4 00002736: DUP6 00002737: SUB 00002738: SLT 00002739: ISZERO 0000273a: PUSH2 0x2742 0000273d: JUMPI 0000273e: PUSH1 0x00 00002740: DUP1 00002741: REVERT 00002742: JUMPDEST 00002743: DUP3 00002744: CALLDATALOAD 00002745: PUSH8 0xffffffffffffffff 0000274e: DUP1 0000274f: DUP3 00002750: GT 00002751: ISZERO 00002752: PUSH2 0x275a 00002755: JUMPI 00002756: PUSH1 0x00 00002758: DUP1 00002759: REVERT 0000275a: JUMPDEST 0000275b: DUP2 0000275c: DUP6 0000275d: ADD 0000275e: SWAP2 0000275f: POP 00002760: DUP6 00002761: PUSH1 0x1f 00002763: DUP4 00002764: ADD 00002765: SLT 00002766: PUSH2 0x276e 00002769: JUMPI 0000276a: PUSH1 0x00 0000276c: DUP1 0000276d: REVERT 0000276e: JUMPDEST 0000276f: DUP2 00002770: CALLDATALOAD 00002771: DUP2 00002772: DUP2 00002773: GT 00002774: ISZERO 00002775: PUSH2 0x2780 00002778: JUMPI 00002779: PUSH2 0x2780 0000277c: PUSH2 0x23b8 0000277f: JUMP 00002780: JUMPDEST 00002781: PUSH2 0x278e 00002784: DUP5 00002785: DUP3 00002786: PUSH1 0x05 00002788: SHL 00002789: ADD 0000278a: PUSH2 0x23f7 0000278d: JUMP 0000278e: JUMPDEST 0000278f: DUP2 00002790: DUP2 00002791: MSTORE 00002792: DUP5 00002793: DUP2 00002794: ADD 00002795: SWAP3 00002796: POP 00002797: PUSH1 0x06 00002799: SWAP2 0000279a: SWAP1 0000279b: SWAP2 0000279c: SHL 0000279d: DUP4 0000279e: ADD 0000279f: DUP5 000027a0: ADD 000027a1: SWAP1 000027a2: DUP8 000027a3: DUP3 000027a4: GT 000027a5: ISZERO 000027a6: PUSH2 0x27ae 000027a9: JUMPI 000027aa: PUSH1 0x00 000027ac: DUP1 000027ad: REVERT 000027ae: JUMPDEST 000027af: SWAP3 000027b0: DUP5 000027b1: ADD 000027b2: SWAP3 000027b3: JUMPDEST 000027b4: DUP2 000027b5: DUP5 000027b6: LT 000027b7: ISZERO 000027b8: PUSH2 0x2800 000027bb: JUMPI 000027bc: PUSH1 0x40 000027be: DUP5 000027bf: DUP10 000027c0: SUB 000027c1: SLT 000027c2: ISZERO 000027c3: PUSH2 0x27cc 000027c6: JUMPI 000027c7: PUSH1 0x00 000027c9: DUP1 000027ca: DUP2 000027cb: REVERT 000027cc: JUMPDEST 000027cd: PUSH2 0x27d4 000027d0: PUSH2 0x23ce 000027d3: JUMP 000027d4: JUMPDEST 000027d5: PUSH2 0x27dd 000027d8: DUP6 000027d9: PUSH2 0x259f 000027dc: JUMP 000027dd: JUMPDEST 000027de: DUP2 000027df: MSTORE 000027e0: PUSH2 0x27ea 000027e3: DUP7 000027e4: DUP7 000027e5: ADD 000027e6: PUSH2 0x259f 000027e9: JUMP 000027ea: JUMPDEST 000027eb: DUP2 000027ec: DUP8 000027ed: ADD 000027ee: MSTORE 000027ef: DUP4 000027f0: MSTORE 000027f1: PUSH1 0x40 000027f3: SWAP4 000027f4: SWAP1 000027f5: SWAP4 000027f6: ADD 000027f7: SWAP3 000027f8: SWAP2 000027f9: DUP5 000027fa: ADD 000027fb: SWAP2 000027fc: PUSH2 0x27b3 000027ff: JUMP 00002800: JUMPDEST 00002801: SWAP8 00002802: SWAP7 00002803: POP 00002804: POP 00002805: POP 00002806: POP 00002807: POP 00002808: POP 00002809: POP 0000280a: JUMP 0000280b: JUMPDEST 0000280c: PUSH1 0x00 0000280e: DUP1 0000280f: PUSH1 0x40 00002811: DUP4 00002812: DUP6 00002813: SUB 00002814: SLT 00002815: ISZERO 00002816: PUSH2 0x281e 00002819: JUMPI 0000281a: PUSH1 0x00 0000281c: DUP1 0000281d: REVERT 0000281e: JUMPDEST 0000281f: PUSH2 0x2827 00002822: DUP4 00002823: PUSH2 0x2559 00002826: JUMP 00002827: JUMPDEST 00002828: SWAP2 00002829: POP 0000282a: PUSH2 0x2835 0000282d: PUSH1 0x20 0000282f: DUP5 00002830: ADD 00002831: PUSH2 0x2559 00002834: JUMP 00002835: JUMPDEST 00002836: SWAP1 00002837: POP 00002838: SWAP3 00002839: POP 0000283a: SWAP3 0000283b: SWAP1 0000283c: POP 0000283d: JUMP 0000283e: JUMPDEST 0000283f: PUSH1 0x01 00002841: DUP2 00002842: DUP2 00002843: SHR 00002844: SWAP1 00002845: DUP3 00002846: AND 00002847: DUP1 00002848: PUSH2 0x2852 0000284b: JUMPI 0000284c: PUSH1 0x7f 0000284e: DUP3 0000284f: AND 00002850: SWAP2 00002851: POP 00002852: JUMPDEST 00002853: PUSH1 0x20 00002855: DUP3 00002856: LT 00002857: DUP2 00002858: EQ 00002859: ISZERO 0000285a: PUSH2 0x0ee4 0000285d: JUMPI 0000285e: PUSH4 0x4e487b71 00002863: PUSH1 0xe0 00002865: SHL 00002866: PUSH1 0x00 00002868: MSTORE 00002869: PUSH1 0x22 0000286b: PUSH1 0x04 0000286d: MSTORE 0000286e: PUSH1 0x24 00002870: PUSH1 0x00 00002872: REVERT 00002873: JUMPDEST 00002874: PUSH4 0x4e487b71 00002879: PUSH1 0xe0 0000287b: SHL 0000287c: PUSH1 0x00 0000287e: MSTORE 0000287f: PUSH1 0x11 00002881: PUSH1 0x04 00002883: MSTORE 00002884: PUSH1 0x24 00002886: PUSH1 0x00 00002888: REVERT 00002889: JUMPDEST 0000288a: PUSH1 0x00 0000288c: DUP3 0000288d: NOT 0000288e: DUP3 0000288f: GT 00002890: ISZERO 00002891: PUSH2 0x289c 00002894: JUMPI 00002895: PUSH2 0x289c 00002898: PUSH2 0x2873 0000289b: JUMP 0000289c: JUMPDEST 0000289d: POP 0000289e: ADD 0000289f: SWAP1 000028a0: JUMP 000028a1: JUMPDEST 000028a2: PUSH1 0x00 000028a4: DUP2 000028a5: PUSH1 0x00 000028a7: NOT 000028a8: DIV 000028a9: DUP4 000028aa: GT 000028ab: DUP3 000028ac: ISZERO 000028ad: ISZERO 000028ae: AND 000028af: ISZERO 000028b0: PUSH2 0x28bb 000028b3: JUMPI 000028b4: PUSH2 0x28bb 000028b7: PUSH2 0x2873 000028ba: JUMP 000028bb: JUMPDEST 000028bc: POP 000028bd: MUL 000028be: SWAP1 000028bf: JUMP 000028c0: JUMPDEST 000028c1: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000 000028e2: DUP2 000028e3: MSTORE 000028e4: PUSH1 0x00 000028e6: DUP3 000028e7: MLOAD 000028e8: PUSH2 0x28f8 000028eb: DUP2 000028ec: PUSH1 0x1d 000028ee: DUP6 000028ef: ADD 000028f0: PUSH1 0x20 000028f2: DUP8 000028f3: ADD 000028f4: PUSH2 0x24d5 000028f7: JUMP 000028f8: JUMPDEST 000028f9: SWAP2 000028fa: SWAP1 000028fb: SWAP2 000028fc: ADD 000028fd: PUSH1 0x1d 000028ff: ADD 00002900: SWAP3 00002901: SWAP2 00002902: POP 00002903: POP 00002904: JUMP 00002905: JUMPDEST 00002906: DUP1 00002907: SLOAD 00002908: PUSH1 0x00 0000290a: SWAP1 0000290b: PUSH1 0x01 0000290d: DUP2 0000290e: DUP2 0000290f: SHR 00002910: SWAP1 00002911: DUP1 00002912: DUP4 00002913: AND 00002914: DUP1 00002915: PUSH2 0x291f 00002918: JUMPI 00002919: PUSH1 0x7f 0000291b: DUP4 0000291c: AND 0000291d: SWAP3 0000291e: POP 0000291f: JUMPDEST 00002920: PUSH1 0x20 00002922: DUP1 00002923: DUP5 00002924: LT 00002925: DUP3 00002926: EQ 00002927: ISZERO 00002928: PUSH2 0x2941 0000292b: JUMPI 0000292c: PUSH4 0x4e487b71 00002931: PUSH1 0xe0 00002933: SHL 00002934: PUSH1 0x00 00002936: MSTORE 00002937: PUSH1 0x22 00002939: PUSH1 0x04 0000293b: MSTORE 0000293c: PUSH1 0x24 0000293e: PUSH1 0x00 00002940: REVERT 00002941: JUMPDEST 00002942: DUP2 00002943: DUP1 00002944: ISZERO 00002945: PUSH2 0x2955 00002948: JUMPI 00002949: PUSH1 0x01 0000294b: DUP2 0000294c: EQ 0000294d: PUSH2 0x2966 00002950: JUMPI 00002951: PUSH2 0x2993 00002954: JUMP 00002955: JUMPDEST 00002956: PUSH1 0xff 00002958: NOT 00002959: DUP7 0000295a: AND 0000295b: DUP10 0000295c: MSTORE 0000295d: DUP5 0000295e: DUP10 0000295f: ADD 00002960: SWAP7 00002961: POP 00002962: PUSH2 0x2993 00002965: JUMP 00002966: JUMPDEST 00002967: PUSH1 0x00 00002969: DUP9 0000296a: DUP2 0000296b: MSTORE 0000296c: PUSH1 0x20 0000296e: SWAP1 0000296f: KECCAK256 00002970: PUSH1 0x00 00002972: JUMPDEST 00002973: DUP7 00002974: DUP2 00002975: LT 00002976: ISZERO 00002977: PUSH2 0x298b 0000297a: JUMPI 0000297b: DUP2 0000297c: SLOAD 0000297d: DUP12 0000297e: DUP3 0000297f: ADD 00002980: MSTORE 00002981: SWAP1 00002982: DUP6 00002983: ADD 00002984: SWAP1 00002985: DUP4 00002986: ADD 00002987: PUSH2 0x2972 0000298a: JUMP 0000298b: JUMPDEST 0000298c: POP 0000298d: POP 0000298e: DUP5 0000298f: DUP10 00002990: ADD 00002991: SWAP7 00002992: POP 00002993: JUMPDEST 00002994: POP 00002995: POP 00002996: POP 00002997: POP 00002998: POP 00002999: POP 0000299a: SWAP3 0000299b: SWAP2 0000299c: POP 0000299d: POP 0000299e: JUMP 0000299f: JUMPDEST 000029a0: PUSH9 0x3d913730b6b2911d11 000029aa: PUSH1 0xb9 000029ac: SHL 000029ad: DUP2 000029ae: MSTORE 000029af: PUSH1 0x00 000029b1: DUP7 000029b2: MLOAD 000029b3: PUSH2 0x29c3 000029b6: DUP2 000029b7: PUSH1 0x09 000029b9: DUP6 000029ba: ADD 000029bb: PUSH1 0x20 000029bd: DUP12 000029be: ADD 000029bf: PUSH2 0x24d5 000029c2: JUMP 000029c3: JUMPDEST 000029c4: PUSH32 0x222c20226465736372697074696f6e223a220000000000000000000000000000 000029e5: PUSH1 0x09 000029e7: SWAP2 000029e8: DUP5 000029e9: ADD 000029ea: SWAP2 000029eb: DUP3 000029ec: ADD 000029ed: MSTORE 000029ee: DUP7 000029ef: MLOAD 000029f0: PUSH2 0x2a00 000029f3: DUP2 000029f4: PUSH1 0x1b 000029f6: DUP5 000029f7: ADD 000029f8: PUSH1 0x20 000029fa: DUP12 000029fb: ADD 000029fc: PUSH2 0x24d5 000029ff: JUMP 00002a00: JUMPDEST 00002a01: PUSH13 0x1116101134b6b0b3b2911d1011 00002a0f: PUSH1 0x99 00002a11: SHL 00002a12: PUSH1 0x1b 00002a14: SWAP3 00002a15: SWAP1 00002a16: SWAP2 00002a17: ADD 00002a18: SWAP2 00002a19: DUP3 00002a1a: ADD 00002a1b: MSTORE 00002a1c: PUSH2 0x2a28 00002a1f: PUSH1 0x28 00002a21: DUP3 00002a22: ADD 00002a23: DUP8 00002a24: PUSH2 0x2905 00002a27: JUMP 00002a28: JUMPDEST 00002a29: SWAP1 00002a2a: POP 00002a2b: DUP5 00002a2c: MLOAD 00002a2d: PUSH2 0x2a3a 00002a30: DUP2 00002a31: DUP4 00002a32: PUSH1 0x20 00002a34: DUP10 00002a35: ADD 00002a36: PUSH2 0x24d5 00002a39: JUMP 00002a3a: JUMPDEST 00002a3b: PUSH32 0x5f65787069726564000000000000000000000000000000000000000000000000 00002a5c: SWAP2 00002a5d: ADD 00002a5e: SWAP1 00002a5f: DUP2 00002a60: MSTORE 00002a61: PUSH2 0x2a6d 00002a64: PUSH1 0x08 00002a66: DUP3 00002a67: ADD 00002a68: DUP6 00002a69: PUSH2 0x2905 00002a6c: JUMP 00002a6d: JUMPDEST 00002a6e: PUSH2 0x227d 00002a71: PUSH1 0xf0 00002a73: SHL 00002a74: DUP2 00002a75: MSTORE 00002a76: PUSH1 0x02 00002a78: ADD 00002a79: SWAP9 00002a7a: SWAP8 00002a7b: POP 00002a7c: POP 00002a7d: POP 00002a7e: POP 00002a7f: POP 00002a80: POP 00002a81: POP 00002a82: POP 00002a83: JUMP 00002a84: JUMPDEST 00002a85: PUSH1 0x00 00002a87: PUSH2 0x2a90 00002a8a: DUP3 00002a8b: DUP8 00002a8c: PUSH2 0x2905 00002a8f: JUMP 00002a90: JUMPDEST 00002a91: PUSH32 0x204d696e74656420617420000000000000000000000000000000000000000000 00002ab2: DUP2 00002ab3: MSTORE 00002ab4: DUP6 00002ab5: MLOAD 00002ab6: PUSH2 0x2ac6 00002ab9: DUP2 00002aba: PUSH1 0x0b 00002abc: DUP5 00002abd: ADD 00002abe: PUSH1 0x20 00002ac0: DUP11 00002ac1: ADD 00002ac2: PUSH2 0x24d5 00002ac5: JUMP 00002ac6: JUMPDEST 00002ac7: DUP1 00002ac8: DUP3 00002ac9: ADD 00002aca: SWAP2 00002acb: POP 00002acc: POP 00002acd: PUSH1 0x2f 00002acf: PUSH1 0xf8 00002ad1: SHL 00002ad2: DUP1 00002ad3: PUSH1 0x0b 00002ad5: DUP4 00002ad6: ADD 00002ad7: MSTORE 00002ad8: DUP6 00002ad9: MLOAD 00002ada: PUSH2 0x2aea 00002add: DUP2 00002ade: PUSH1 0x0c 00002ae0: DUP6 00002ae1: ADD 00002ae2: PUSH1 0x20 00002ae4: DUP11 00002ae5: ADD 00002ae6: PUSH2 0x24d5 00002ae9: JUMP 00002aea: JUMPDEST 00002aeb: PUSH1 0x0c 00002aed: SWAP3 00002aee: ADD 00002aef: SWAP2 00002af0: DUP3 00002af1: ADD 00002af2: MSTORE 00002af3: DUP4 00002af4: MLOAD 00002af5: PUSH2 0x2b05 00002af8: DUP2 00002af9: PUSH1 0x0d 00002afb: DUP5 00002afc: ADD 00002afd: PUSH1 0x20 00002aff: DUP9 00002b00: ADD 00002b01: PUSH2 0x24d5 00002b04: JUMP 00002b05: JUMPDEST 00002b06: ADD 00002b07: PUSH1 0x0d 00002b09: ADD 00002b0a: SWAP7 00002b0b: SWAP6 00002b0c: POP 00002b0d: POP 00002b0e: POP 00002b0f: POP 00002b10: POP 00002b11: POP 00002b12: JUMP 00002b13: JUMPDEST 00002b14: PUSH9 0x3d913730b6b2911d11 00002b1e: PUSH1 0xb9 00002b20: SHL 00002b21: DUP2 00002b22: MSTORE 00002b23: PUSH1 0x00 00002b25: DUP10 00002b26: MLOAD 00002b27: PUSH2 0x2b37 00002b2a: DUP2 00002b2b: PUSH1 0x09 00002b2d: DUP6 00002b2e: ADD 00002b2f: PUSH1 0x20 00002b31: DUP15 00002b32: ADD 00002b33: PUSH2 0x24d5 00002b36: JUMP 00002b37: JUMPDEST 00002b38: PUSH32 0x222c20226465736372697074696f6e223a220000000000000000000000000000 00002b59: PUSH1 0x09 00002b5b: SWAP2 00002b5c: DUP5 00002b5d: ADD 00002b5e: SWAP2 00002b5f: DUP3 00002b60: ADD 00002b61: MSTORE 00002b62: DUP10 00002b63: MLOAD 00002b64: PUSH2 0x2b74 00002b67: DUP2 00002b68: PUSH1 0x1b 00002b6a: DUP5 00002b6b: ADD 00002b6c: PUSH1 0x20 00002b6e: DUP15 00002b6f: ADD 00002b70: PUSH2 0x24d5 00002b73: JUMP 00002b74: JUMPDEST 00002b75: PUSH13 0x1116101134b6b0b3b2911d1011 00002b83: PUSH1 0x99 00002b85: SHL 00002b86: PUSH1 0x1b 00002b88: SWAP3 00002b89: SWAP1 00002b8a: SWAP2 00002b8b: ADD 00002b8c: SWAP2 00002b8d: DUP3 00002b8e: ADD 00002b8f: MSTORE 00002b90: PUSH2 0x2b9c 00002b93: PUSH1 0x28 00002b95: DUP3 00002b96: ADD 00002b97: DUP11 00002b98: PUSH2 0x2905 00002b9b: JUMP 00002b9c: JUMPDEST 00002b9d: SWAP1 00002b9e: POP 00002b9f: DUP8 00002ba0: MLOAD 00002ba1: PUSH2 0x2bae 00002ba4: DUP2 00002ba5: DUP4 00002ba6: PUSH1 0x20 00002ba8: DUP13 00002ba9: ADD 00002baa: PUSH2 0x24d5 00002bad: JUMP 00002bae: JUMPDEST 00002baf: PUSH2 0x2bba 00002bb2: DUP2 00002bb3: DUP4 00002bb4: ADD 00002bb5: DUP10 00002bb6: PUSH2 0x2905 00002bb9: JUMP 00002bba: JUMPDEST 00002bbb: SWAP2 00002bbc: POP 00002bbd: POP 00002bbe: PUSH32 0x222c2022616e696d6174696f6e5f75726c223a20220000000000000000000000 00002bdf: DUP2 00002be0: MSTORE 00002be1: PUSH2 0x2bed 00002be4: PUSH1 0x15 00002be6: DUP3 00002be7: ADD 00002be8: DUP8 00002be9: PUSH2 0x2905 00002bec: JUMP 00002bed: JUMPDEST 00002bee: SWAP1 00002bef: POP 00002bf0: DUP5 00002bf1: MLOAD 00002bf2: PUSH2 0x2bff 00002bf5: DUP2 00002bf6: DUP4 00002bf7: PUSH1 0x20 00002bf9: DUP10 00002bfa: ADD 00002bfb: PUSH2 0x24d5 00002bfe: JUMP 00002bff: JUMPDEST 00002c00: PUSH2 0x2c0b 00002c03: DUP2 00002c04: DUP4 00002c05: ADD 00002c06: DUP7 00002c07: PUSH2 0x2905 00002c0a: JUMP 00002c0b: JUMPDEST 00002c0c: PUSH2 0x227d 00002c0f: PUSH1 0xf0 00002c11: SHL 00002c12: DUP2 00002c13: MSTORE 00002c14: PUSH1 0x02 00002c16: ADD 00002c17: SWAP13 00002c18: SWAP12 00002c19: POP 00002c1a: POP 00002c1b: POP 00002c1c: POP 00002c1d: POP 00002c1e: POP 00002c1f: POP 00002c20: POP 00002c21: POP 00002c22: POP 00002c23: POP 00002c24: POP 00002c25: JUMP 00002c26: JUMPDEST 00002c27: PUSH1 0x00 00002c29: PUSH1 0x01 00002c2b: PUSH1 0x01 00002c2d: PUSH1 0xa0 00002c2f: SHL 00002c30: SUB 00002c31: DUP1 00002c32: DUP8 00002c33: AND 00002c34: DUP4 00002c35: MSTORE 00002c36: DUP1 00002c37: DUP7 00002c38: AND 00002c39: PUSH1 0x20 00002c3b: DUP5 00002c3c: ADD 00002c3d: MSTORE 00002c3e: POP 00002c3f: DUP4 00002c40: PUSH1 0x40 00002c42: DUP4 00002c43: ADD 00002c44: MSTORE 00002c45: PUSH1 0x80 00002c47: PUSH1 0x60 00002c49: DUP4 00002c4a: ADD 00002c4b: MSTORE 00002c4c: PUSH2 0x2c58 00002c4f: PUSH1 0x80 00002c51: DUP4 00002c52: ADD 00002c53: DUP5 00002c54: PUSH2 0x2501 00002c57: JUMP 00002c58: JUMPDEST 00002c59: SWAP7 00002c5a: SWAP6 00002c5b: POP 00002c5c: POP 00002c5d: POP 00002c5e: POP 00002c5f: POP 00002c60: POP 00002c61: JUMP 00002c62: JUMPDEST 00002c63: PUSH1 0x00 00002c65: PUSH1 0x20 00002c67: DUP3 00002c68: DUP5 00002c69: SUB 00002c6a: SLT 00002c6b: ISZERO 00002c6c: PUSH2 0x2c74 00002c6f: JUMPI 00002c70: PUSH1 0x00 00002c72: DUP1 00002c73: REVERT 00002c74: JUMPDEST 00002c75: DUP2 00002c76: MLOAD 00002c77: PUSH2 0x0fd2 00002c7a: DUP2 00002c7b: PUSH2 0x2385 00002c7e: JUMP 00002c7f: JUMPDEST 00002c80: PUSH4 0x4e487b71 00002c85: PUSH1 0xe0 00002c87: SHL 00002c88: PUSH1 0x00 00002c8a: MSTORE 00002c8b: PUSH1 0x32 00002c8d: PUSH1 0x04 00002c8f: MSTORE 00002c90: PUSH1 0x24 00002c92: PUSH1 0x00 00002c94: REVERT 00002c95: JUMPDEST 00002c96: PUSH1 0x00 00002c98: PUSH8 0xffffffffffffffff 00002ca1: DUP1 00002ca2: DUP4 00002ca3: AND 00002ca4: DUP2 00002ca5: DUP6 00002ca6: AND 00002ca7: DUP1 00002ca8: DUP4 00002ca9: SUB 00002caa: DUP3 00002cab: GT 00002cac: ISZERO 00002cad: PUSH2 0x2cb8 00002cb0: JUMPI 00002cb1: PUSH2 0x2cb8 00002cb4: PUSH2 0x2873 00002cb7: JUMP 00002cb8: JUMPDEST 00002cb9: ADD 00002cba: SWAP5 00002cbb: SWAP4 00002cbc: POP 00002cbd: POP 00002cbe: POP 00002cbf: POP 00002cc0: JUMP 00002cc1: JUMPDEST 00002cc2: PUSH1 0x00 00002cc4: PUSH8 0xffffffffffffffff 00002ccd: DUP1 00002cce: DUP4 00002ccf: AND 00002cd0: DUP2 00002cd1: DUP2 00002cd2: EQ 00002cd3: ISZERO 00002cd4: PUSH2 0x2cdf 00002cd7: JUMPI 00002cd8: PUSH2 0x2cdf 00002cdb: PUSH2 0x2873 00002cde: JUMP 00002cdf: JUMPDEST 00002ce0: PUSH1 0x01 00002ce2: ADD 00002ce3: SWAP4 00002ce4: SWAP3 00002ce5: POP 00002ce6: POP 00002ce7: POP 00002ce8: JUMP 00002ce9: JUMPDEST 00002cea: PUSH1 0x00 00002cec: DUP3 00002ced: DUP3 00002cee: LT 00002cef: ISZERO 00002cf0: PUSH2 0x2cfb 00002cf3: JUMPI 00002cf4: PUSH2 0x2cfb 00002cf7: PUSH2 0x2873 00002cfa: JUMP 00002cfb: JUMPDEST 00002cfc: POP 00002cfd: SUB 00002cfe: SWAP1 00002cff: JUMP 00002d00: JUMPDEST 00002d01: PUSH4 0x4e487b71 00002d06: PUSH1 0xe0 00002d08: SHL 00002d09: PUSH1 0x00 00002d0b: MSTORE 00002d0c: PUSH1 0x12 00002d0e: PUSH1 0x04 00002d10: MSTORE 00002d11: PUSH1 0x24 00002d13: PUSH1 0x00 00002d15: REVERT 00002d16: JUMPDEST 00002d17: PUSH1 0x00 00002d19: DUP3 00002d1a: PUSH2 0x2d25 00002d1d: JUMPI 00002d1e: PUSH2 0x2d25 00002d21: PUSH2 0x2d00 00002d24: JUMP 00002d25: JUMPDEST 00002d26: POP 00002d27: DIV 00002d28: SWAP1 00002d29: JUMP 00002d2a: JUMPDEST 00002d2b: PUSH1 0x00 00002d2d: PUSH1 0x00 00002d2f: NOT 00002d30: DUP3 00002d31: EQ 00002d32: ISZERO 00002d33: PUSH2 0x2d3e 00002d36: JUMPI 00002d37: PUSH2 0x2d3e 00002d3a: PUSH2 0x2873 00002d3d: JUMP 00002d3e: JUMPDEST 00002d3f: POP 00002d40: PUSH1 0x01 00002d42: ADD 00002d43: SWAP1 00002d44: JUMP 00002d45: JUMPDEST 00002d46: PUSH1 0x00 00002d48: DUP3 00002d49: PUSH2 0x2d54 00002d4c: JUMPI 00002d4d: PUSH2 0x2d54 00002d50: PUSH2 0x2d00 00002d53: JUMP 00002d54: JUMPDEST 00002d55: POP 00002d56: MOD 00002d57: SWAP1 00002d58: JUMP 00002d59: JUMPDEST 00002d5a: PUSH1 0x00 00002d5c: DUP1 00002d5d: DUP3 00002d5e: SLT 00002d5f: DUP3 00002d60: PUSH1 0x01 00002d62: PUSH1 0x01 00002d64: PUSH1 0xff 00002d66: SHL 00002d67: SUB 00002d68: SUB 00002d69: DUP5 00002d6a: SGT 00002d6b: DUP2 00002d6c: ISZERO 00002d6d: AND 00002d6e: ISZERO 00002d6f: PUSH2 0x2d7a 00002d72: JUMPI 00002d73: PUSH2 0x2d7a 00002d76: PUSH2 0x2873 00002d79: JUMP 00002d7a: JUMPDEST 00002d7b: PUSH1 0x01 00002d7d: PUSH1 0xff 00002d7f: SHL 00002d80: DUP4 00002d81: SWAP1 00002d82: SUB 00002d83: DUP5 00002d84: SLT 00002d85: DUP2 00002d86: AND 00002d87: ISZERO 00002d88: PUSH2 0x2d93 00002d8b: JUMPI 00002d8c: PUSH2 0x2d93 00002d8f: PUSH2 0x2873 00002d92: JUMP 00002d93: JUMPDEST 00002d94: POP 00002d95: POP 00002d96: ADD 00002d97: SWAP1 00002d98: JUMP 00002d99: JUMPDEST 00002d9a: PUSH1 0x00 00002d9c: PUSH1 0x01 00002d9e: PUSH1 0x01 00002da0: PUSH1 0xff 00002da2: SHL 00002da3: SUB 00002da4: PUSH1 0x00 00002da6: DUP5 00002da7: SGT 00002da8: PUSH1 0x00 00002daa: DUP5 00002dab: SGT 00002dac: DUP6 00002dad: DUP4 00002dae: DIV 00002daf: DUP6 00002db0: GT 00002db1: DUP3 00002db2: DUP3 00002db3: AND 00002db4: AND 00002db5: ISZERO 00002db6: PUSH2 0x2dc1 00002db9: JUMPI 00002dba: PUSH2 0x2dc1 00002dbd: PUSH2 0x2873 00002dc0: JUMP 00002dc1: JUMPDEST 00002dc2: PUSH1 0x01 00002dc4: PUSH1 0xff 00002dc6: SHL 00002dc7: PUSH1 0x00 00002dc9: DUP8 00002dca: SLT 00002dcb: DUP3 00002dcc: DUP2 00002dcd: AND 00002dce: DUP8 00002dcf: DUP4 00002dd0: SDIV 00002dd1: DUP10 00002dd2: SLT 00002dd3: AND 00002dd4: ISZERO 00002dd5: PUSH2 0x2de0 00002dd8: JUMPI 00002dd9: PUSH2 0x2de0 00002ddc: PUSH2 0x2873 00002ddf: JUMP 00002de0: JUMPDEST 00002de1: PUSH1 0x00 00002de3: DUP8 00002de4: SLT 00002de5: SWAP3 00002de6: POP 00002de7: DUP8 00002de8: DUP3 00002de9: SDIV 00002dea: DUP8 00002deb: SLT 00002dec: DUP5 00002ded: DUP5 00002dee: AND 00002def: AND 00002df0: ISZERO 00002df1: PUSH2 0x2dfc 00002df4: JUMPI 00002df5: PUSH2 0x2dfc 00002df8: PUSH2 0x2873 00002dfb: JUMP 00002dfc: JUMPDEST 00002dfd: DUP8 00002dfe: DUP6 00002dff: SDIV 00002e00: DUP8 00002e01: SLT 00002e02: DUP2 00002e03: DUP5 00002e04: AND 00002e05: AND 00002e06: ISZERO 00002e07: PUSH2 0x2e12 00002e0a: JUMPI 00002e0b: PUSH2 0x2e12 00002e0e: PUSH2 0x2873 00002e11: JUMP 00002e12: JUMPDEST 00002e13: POP 00002e14: POP 00002e15: POP 00002e16: SWAP3 00002e17: SWAP1 00002e18: SWAP4 00002e19: MUL 00002e1a: SWAP4 00002e1b: SWAP3 00002e1c: POP 00002e1d: POP 00002e1e: POP 00002e1f: JUMP 00002e20: JUMPDEST 00002e21: PUSH1 0x00 00002e23: DUP3 00002e24: PUSH2 0x2e2f 00002e27: JUMPI 00002e28: PUSH2 0x2e2f 00002e2b: PUSH2 0x2d00 00002e2e: JUMP 00002e2f: JUMPDEST 00002e30: PUSH1 0x01 00002e32: PUSH1 0xff 00002e34: SHL 00002e35: DUP3 00002e36: EQ 00002e37: PUSH1 0x00 00002e39: NOT 00002e3a: DUP5 00002e3b: EQ 00002e3c: AND 00002e3d: ISZERO 00002e3e: PUSH2 0x2e49 00002e41: JUMPI 00002e42: PUSH2 0x2e49 00002e45: PUSH2 0x2873 00002e48: JUMP 00002e49: JUMPDEST 00002e4a: POP 00002e4b: SDIV 00002e4c: SWAP1 00002e4d: JUMP 00002e4e: JUMPDEST 00002e4f: PUSH1 0x00 00002e51: DUP1 00002e52: DUP4 00002e53: SLT 00002e54: DUP1 00002e55: ISZERO 00002e56: PUSH1 0x01 00002e58: PUSH1 0xff 00002e5a: SHL 00002e5b: DUP6 00002e5c: ADD 00002e5d: DUP5 00002e5e: SLT 00002e5f: AND 00002e60: ISZERO 00002e61: PUSH2 0x2e6c 00002e64: JUMPI 00002e65: PUSH2 0x2e6c 00002e68: PUSH2 0x2873 00002e6b: JUMP 00002e6c: JUMPDEST 00002e6d: DUP4 00002e6e: PUSH1 0x01 00002e70: PUSH1 0x01 00002e72: PUSH1 0xff 00002e74: SHL 00002e75: SUB 00002e76: ADD 00002e77: DUP4 00002e78: SGT 00002e79: DUP2 00002e7a: AND 00002e7b: ISZERO 00002e7c: PUSH2 0x2e87 00002e7f: JUMPI 00002e80: PUSH2 0x2e87 00002e83: PUSH2 0x2873 00002e86: JUMP 00002e87: JUMPDEST 00002e88: POP 00002e89: POP 00002e8a: SUB 00002e8b: SWAP1 00002e8c: JUMP 00002e8d: INVALID 00002e8e: COINBASE 00002e8f: TIMESTAMP 00002e90: NUMBER 00002e91: DIFFICULTY 00002e92: GASLIMIT 00002e93: CHAINID 00002e94: SELFBALANCE 00002e95: BASEFEE 00002e96: BLOBHASH 00002e97: BLOBBASEFEE 00002e98: UNKNOWN(0x4B) 00002e99: UNKNOWN(0x4C) 00002e9a: UNKNOWN(0x4D) 00002e9b: UNKNOWN(0x4E) 00002e9c: UNKNOWN(0x4F) 00002e9d: POP 00002e9e: MLOAD 00002e9f: MSTORE 00002ea0: MSTORE8 00002ea1: SLOAD 00002ea2: SSTORE 00002ea3: JUMP 00002ea4: JUMPI 00002ea5: PC 00002ea6: MSIZE 00002ea7: GAS 00002ea8: PUSH2 0x6263 00002eab: PUSH5 0x6566676869 00002eb1: PUSH11 0x6b6c6d6e6f707172737475 00002ebd: PUSH23 0x7778797a303132333435363738392b2fa2646970667358 00002ed5: UNKNOWN(0x22) 00002ed6: SLT 00002ed7: KECCAK256 00002ed8: UNKNOWN(0xC1) 00002ed9: SSTORE 00002eda: DIFFICULTY 00002edb: MSTORE8 00002edc: CREATE2 00002edd: SIGNEXTEND 00002ede: UNKNOWN(0xC8) 00002edf: UNKNOWN(0xC0) 00002ee0: SWAP13 00002ee1: TLOAD 00002ee2: PUSH3 0x925937 00002ee6: UNKNOWN(0x24) 00002ee7: UNKNOWN(0xFB) 00002ee8: UNKNOWN(0xBC) 00002ee9: NOT 00002eea: UNKNOWN(0xD8) 00002eeb: PUSH28
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x949bf48c8f269899fd9d5ce2cb5ecc237735711d91329de6b446cb41554d10e7
call_targets:
0x721b7323ca223b6f60d8184b1329f04c32f1486c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x949bf48c8f269899fd9d5ce2cb5ecc237735711d91329de6b446cb41554d10e7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x721b7323ca223b6f60d8184b1329f04c32f1486c"
],
"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": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff34e05d",
"selector": "0xff34e05d",
"calldata_variants": [
"0xff34e05d",
"0xff34e05d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49ac2",
"selector": "0xffd49ac2",
"calldata_variants": [
"0xffd49ac2",
"0xffd49ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd83b5fde",
"selector": "0xd83b5fde",
"calldata_variants": [
"0xd83b5fde",
"0xd83b5fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdced59e1",
"selector": "0xdced59e1",
"calldata_variants": [
"0xdced59e1",
"0xdced59e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe24aebd",
"selector": "0xbe24aebd",
"calldata_variants": [
"0xbe24aebd",
"0xbe24aebd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3548,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6457,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3130,
"type": "msg_sender_eq_storage"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xcb8ff83ce9641e9ba5d42a85bdc9b0699c1a208a6a3b5e5c0dce7e7d758d5a44
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xcb8ff83ce9641e9ba5d42a85bdc9b0699c1a208a6a3b5e5c0dce7e7d758d5a44",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff34e05d",
"selector": "0xff34e05d",
"calldata_variants": [
"0xff34e05d",
"0xff34e05d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49ac2",
"selector": "0xffd49ac2",
"calldata_variants": [
"0xffd49ac2",
"0xffd49ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd83b5fde",
"selector": "0xd83b5fde",
"calldata_variants": [
"0xd83b5fde",
"0xd83b5fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdced59e1",
"selector": "0xdced59e1",
"calldata_variants": [
"0xdced59e1",
"0xdced59e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe24aebd",
"selector": "0xbe24aebd",
"calldata_variants": [
"0xbe24aebd",
"0xbe24aebd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x949bf48c8f269899fd9d5ce2cb5ecc237735711d91329de6b446cb41554d10e7
call_targets:
0x721b7323ca223b6f60d8184b1329f04c32f1486c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x949bf48c8f269899fd9d5ce2cb5ecc237735711d91329de6b446cb41554d10e7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x721b7323ca223b6f60d8184b1329f04c32f1486c"
],
"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": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff34e05d",
"selector": "0xff34e05d",
"calldata_variants": [
"0xff34e05d",
"0xff34e05d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffd49ac2",
"selector": "0xffd49ac2",
"calldata_variants": [
"0xffd49ac2",
"0xffd49ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd83b5fde",
"selector": "0xd83b5fde",
"calldata_variants": [
"0xd83b5fde",
"0xd83b5fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdced59e1",
"selector": "0xdced59e1",
"calldata_variants": [
"0xdced59e1",
"0xdced59e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe24aebd",
"selector": "0xbe24aebd",
"calldata_variants": [
"0xbe24aebd",
"0xbe24aebd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3548,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6457,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3130,
"type": "msg_sender_eq_storage"
}
],
"untrusted_call_count": 2
}
|