019b477e-b6e4-736b-b817-61cc784e7ffe
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 |
|---|---|---|---|---|
| 23189 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23190 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66490 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66491 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66492 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66493 | 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 0x00fe 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8d17a4d0 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb3001cb6 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb3001cb6 0000002f: EQ 00000030: PUSH2 0x0538 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd50c0de0 0000003a: EQ 0000003b: PUSH2 0x054d 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe7a891b9 00000045: EQ 00000046: PUSH2 0x0577 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xecabdf79 00000050: EQ 00000051: PUSH2 0x058c 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf456b9a5 0000005b: EQ 0000005c: PUSH2 0x05b9 0000005f: JUMPI 00000060: PUSH2 0x00fe 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8d17a4d0 0000006b: EQ 0000006c: PUSH2 0x0495 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x928989f9 00000076: EQ 00000077: PUSH2 0x04b5 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x9335dcb7 00000081: EQ 00000082: PUSH2 0x04ca 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa87430ba 0000008c: EQ 0000008d: PUSH2 0x04df 00000090: JUMPI 00000091: PUSH2 0x00fe 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x42cd18f4 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x42cd18f4 000000a7: EQ 000000a8: PUSH2 0x035e 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x48c525ed 000000b2: EQ 000000b3: PUSH2 0x0384 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4a4baa8f 000000bd: EQ 000000be: PUSH2 0x03d2 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5b6a8d26 000000c8: EQ 000000c9: PUSH2 0x0455 000000cc: JUMPI 000000cd: PUSH2 0x00fe 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x132c8c9b 000000d8: EQ 000000d9: PUSH2 0x0296 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x18dc4295 000000e3: EQ 000000e4: PUSH2 0x02e5 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x2b546601 000000ee: EQ 000000ef: PUSH2 0x0318 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x348d4487 000000f9: EQ 000000fa: PUSH2 0x032d 000000fd: JUMPI 000000fe: JUMPDEST 000000ff: CALLVALUE 00000100: PUSH1 0x00 00000102: SWAP1 00000103: DUP2 00000104: MSTORE 00000105: PUSH1 0x03 00000107: PUSH1 0x20 00000109: MSTORE 0000010a: PUSH1 0x40 0000010c: SWAP1 0000010d: KECCAK256 0000010e: SLOAD 0000010f: PUSH1 0xff 00000111: AND 00000112: DUP1 00000113: PUSH2 0x015a 00000116: JUMPI 00000117: PUSH1 0x40 00000119: DUP1 0000011a: MLOAD 0000011b: PUSH3 0x461bcd 0000011f: PUSH1 0xe5 00000121: SHL 00000122: DUP2 00000123: MSTORE 00000124: PUSH1 0x20 00000126: PUSH1 0x04 00000128: DUP3 00000129: ADD 0000012a: MSTORE 0000012b: PUSH1 0x14 0000012d: PUSH1 0x24 0000012f: DUP3 00000130: ADD 00000131: MSTORE 00000132: PUSH20 0x125b98dbdc9c9958dd081d985b1d59481cd95b9d 00000147: PUSH1 0x62 00000149: SHL 0000014a: PUSH1 0x44 0000014c: DUP3 0000014d: ADD 0000014e: MSTORE 0000014f: SWAP1 00000150: MLOAD 00000151: SWAP1 00000152: DUP2 00000153: SWAP1 00000154: SUB 00000155: PUSH1 0x64 00000157: ADD 00000158: SWAP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: CALLER 0000015c: PUSH1 0x00 0000015e: SWAP1 0000015f: DUP2 00000160: MSTORE 00000161: PUSH1 0x04 00000163: PUSH1 0x20 00000165: MSTORE 00000166: PUSH1 0x40 00000168: SWAP1 00000169: KECCAK256 0000016a: SLOAD 0000016b: PUSH1 0x01 0000016d: PUSH1 0x01 0000016f: PUSH1 0x40 00000171: SHL 00000172: SUB 00000173: AND 00000174: ISZERO 00000175: PUSH2 0x0187 00000178: JUMPI 00000179: PUSH2 0x0181 0000017c: DUP2 0000017d: PUSH2 0x05ce 00000180: JUMP 00000181: JUMPDEST 00000182: POP 00000183: PUSH2 0x0294 00000186: JUMP 00000187: JUMPDEST 00000188: DUP1 00000189: PUSH1 0xff 0000018b: AND 0000018c: PUSH1 0x01 0000018e: EQ 0000018f: PUSH2 0x01df 00000192: JUMPI 00000193: PUSH1 0x40 00000195: DUP1 00000196: MLOAD 00000197: PUSH3 0x461bcd 0000019b: PUSH1 0xe5 0000019d: SHL 0000019e: DUP2 0000019f: MSTORE 000001a0: PUSH1 0x20 000001a2: PUSH1 0x04 000001a4: DUP3 000001a5: ADD 000001a6: MSTORE 000001a7: PUSH1 0x1e 000001a9: PUSH1 0x24 000001ab: DUP3 000001ac: ADD 000001ad: MSTORE 000001ae: PUSH32 0x506c6561736520627579206c6576656c203120666f7220302e32204554480000 000001cf: PUSH1 0x44 000001d1: DUP3 000001d2: ADD 000001d3: MSTORE 000001d4: SWAP1 000001d5: MLOAD 000001d6: SWAP1 000001d7: DUP2 000001d8: SWAP1 000001d9: SUB 000001da: PUSH1 0x64 000001dc: ADD 000001dd: SWAP1 000001de: REVERT 000001df: JUMPDEST 000001e0: PUSH1 0x00 000001e2: PUSH2 0x0221 000001e5: PUSH1 0x00 000001e7: CALLDATASIZE 000001e8: DUP1 000001e9: DUP1 000001ea: PUSH1 0x1f 000001ec: ADD 000001ed: PUSH1 0x20 000001ef: DUP1 000001f0: SWAP2 000001f1: DIV 000001f2: MUL 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: SWAP1 000001fa: DUP2 000001fb: ADD 000001fc: PUSH1 0x40 000001fe: MSTORE 000001ff: DUP1 00000200: SWAP4 00000201: SWAP3 00000202: SWAP2 00000203: SWAP1 00000204: DUP2 00000205: DUP2 00000206: MSTORE 00000207: PUSH1 0x20 00000209: ADD 0000020a: DUP4 0000020b: DUP4 0000020c: DUP1 0000020d: DUP3 0000020e: DUP5 0000020f: CALLDATACOPY 00000210: PUSH1 0x00 00000212: SWAP3 00000213: ADD 00000214: SWAP2 00000215: SWAP1 00000216: SWAP2 00000217: MSTORE 00000218: POP 00000219: PUSH2 0x08a4 0000021c: SWAP3 0000021d: POP 0000021e: POP 0000021f: POP 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH1 0x01 00000224: PUSH1 0x01 00000226: PUSH1 0xa0 00000228: SHL 00000229: SUB 0000022a: DUP2 0000022b: AND 0000022c: PUSH1 0x00 0000022e: SWAP1 0000022f: DUP2 00000230: MSTORE 00000231: PUSH1 0x04 00000233: PUSH1 0x20 00000235: MSTORE 00000236: PUSH1 0x40 00000238: SWAP1 00000239: KECCAK256 0000023a: SLOAD 0000023b: SWAP1 0000023c: SWAP2 0000023d: POP 0000023e: PUSH1 0x01 00000240: PUSH1 0x01 00000242: PUSH1 0x40 00000244: SHL 00000245: SUB 00000246: AND 00000247: ISZERO 00000248: PUSH2 0x027d 0000024b: JUMPI 0000024c: PUSH1 0x01 0000024e: PUSH1 0x01 00000250: PUSH1 0xa0 00000252: SHL 00000253: SUB 00000254: DUP2 00000255: AND 00000256: PUSH1 0x00 00000258: SWAP1 00000259: DUP2 0000025a: MSTORE 0000025b: PUSH1 0x04 0000025d: PUSH1 0x20 0000025f: MSTORE 00000260: PUSH1 0x40 00000262: SWAP1 00000263: KECCAK256 00000264: SLOAD 00000265: PUSH2 0x0276 00000268: SWAP1 00000269: PUSH1 0x01 0000026b: PUSH1 0x01 0000026d: PUSH1 0x40 0000026f: SHL 00000270: SUB 00000271: AND 00000272: PUSH2 0x08ab 00000275: JUMP 00000276: JUMPDEST 00000277: POP 00000278: POP 00000279: PUSH2 0x0294 0000027c: JUMP 0000027d: JUMPDEST 0000027e: PUSH1 0x01 00000280: PUSH1 0x01 00000282: PUSH1 0xa0 00000284: SHL 00000285: SUB 00000286: DUP2 00000287: AND 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: POP 00000294: JUMPDEST 00000295: STOP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: DUP1 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x02c9 000002a7: PUSH1 0x04 000002a9: DUP1 000002aa: CALLDATASIZE 000002ab: SUB 000002ac: PUSH1 0x20 000002ae: DUP2 000002af: LT 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: CALLDATALOAD 000002bc: PUSH1 0x01 000002be: PUSH1 0x01 000002c0: PUSH1 0xa0 000002c2: SHL 000002c3: SUB 000002c4: AND 000002c5: PUSH2 0x0c9a 000002c8: JUMP 000002c9: JUMPDEST 000002ca: PUSH1 0x40 000002cc: DUP1 000002cd: MLOAD 000002ce: PUSH1 0x01 000002d0: PUSH1 0x01 000002d2: PUSH1 0xa0 000002d4: SHL 000002d5: SUB 000002d6: SWAP1 000002d7: SWAP3 000002d8: AND 000002d9: DUP3 000002da: MSTORE 000002db: MLOAD 000002dc: SWAP1 000002dd: DUP2 000002de: SWAP1 000002df: SUB 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: SWAP1 000002e4: RETURN 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: PUSH2 0x02c9 000002f6: PUSH1 0x04 000002f8: DUP1 000002f9: CALLDATASIZE 000002fa: SUB 000002fb: PUSH1 0x20 000002fd: DUP2 000002fe: LT 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: CALLDATALOAD 0000030b: PUSH1 0x01 0000030d: PUSH1 0x01 0000030f: PUSH1 0x40 00000311: SHL 00000312: SUB 00000313: AND 00000314: PUSH2 0x10ca 00000317: JUMP 00000318: JUMPDEST 00000319: CALLVALUE 0000031a: DUP1 0000031b: ISZERO 0000031c: PUSH2 0x0324 0000031f: JUMPI 00000320: PUSH1 0x00 00000322: DUP1 00000323: REVERT 00000324: JUMPDEST 00000325: POP 00000326: PUSH2 0x0294 00000329: PUSH2 0x10e5 0000032c: JUMP 0000032d: JUMPDEST 0000032e: CALLVALUE 0000032f: DUP1 00000330: ISZERO 00000331: PUSH2 0x0339 00000334: JUMPI 00000335: PUSH1 0x00 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: PUSH2 0x0342 0000033e: PUSH2 0x11a3 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x40 00000345: DUP1 00000346: MLOAD 00000347: PUSH1 0x01 00000349: PUSH1 0x01 0000034b: PUSH1 0x40 0000034d: SHL 0000034e: SUB 0000034f: SWAP1 00000350: SWAP3 00000351: AND 00000352: DUP3 00000353: MSTORE 00000354: MLOAD 00000355: SWAP1 00000356: DUP2 00000357: SWAP1 00000358: SUB 00000359: PUSH1 0x20 0000035b: ADD 0000035c: SWAP1 0000035d: RETURN 0000035e: JUMPDEST 0000035f: PUSH2 0x0294 00000362: PUSH1 0x04 00000364: DUP1 00000365: CALLDATASIZE 00000366: SUB 00000367: PUSH1 0x20 00000369: DUP2 0000036a: LT 0000036b: ISZERO 0000036c: PUSH2 0x0374 0000036f: JUMPI 00000370: PUSH1 0x00 00000372: DUP1 00000373: REVERT 00000374: JUMPDEST 00000375: POP 00000376: CALLDATALOAD 00000377: PUSH1 0x01 00000379: PUSH1 0x01 0000037b: PUSH1 0x40 0000037d: SHL 0000037e: SUB 0000037f: AND 00000380: PUSH2 0x08ab 00000383: JUMP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: DUP1 00000387: ISZERO 00000388: PUSH2 0x0390 0000038b: JUMPI 0000038c: PUSH1 0x00 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: POP 00000392: PUSH2 0x03c0 00000395: PUSH1 0x04 00000397: DUP1 00000398: CALLDATASIZE 00000399: SUB 0000039a: PUSH1 0x40 0000039c: DUP2 0000039d: LT 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: DUP1 000003aa: CALLDATALOAD 000003ab: PUSH1 0x01 000003ad: PUSH1 0x01 000003af: PUSH1 0xa0 000003b1: SHL 000003b2: SUB 000003b3: AND 000003b4: SWAP1 000003b5: PUSH1 0x20 000003b7: ADD 000003b8: CALLDATALOAD 000003b9: PUSH1 0xff 000003bb: AND 000003bc: PUSH2 0x11b9 000003bf: JUMP 000003c0: JUMPDEST 000003c1: PUSH1 0x40 000003c3: DUP1 000003c4: MLOAD 000003c5: SWAP2 000003c6: DUP3 000003c7: MSTORE 000003c8: MLOAD 000003c9: SWAP1 000003ca: DUP2 000003cb: SWAP1 000003cc: SUB 000003cd: PUSH1 0x20 000003cf: ADD 000003d0: SWAP1 000003d1: RETURN 000003d2: JUMPDEST 000003d3: CALLVALUE 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: PUSH2 0x0405 000003e3: PUSH1 0x04 000003e5: DUP1 000003e6: CALLDATASIZE 000003e7: SUB 000003e8: PUSH1 0x20 000003ea: DUP2 000003eb: LT 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: CALLDATALOAD 000003f8: PUSH1 0x01 000003fa: PUSH1 0x01 000003fc: PUSH1 0xa0 000003fe: SHL 000003ff: SUB 00000400: AND 00000401: PUSH2 0x11f2 00000404: JUMP 00000405: JUMPDEST 00000406: PUSH1 0x40 00000408: DUP1 00000409: MLOAD 0000040a: PUSH1 0x20 0000040c: DUP1 0000040d: DUP3 0000040e: MSTORE 0000040f: DUP4 00000410: MLOAD 00000411: DUP2 00000412: DUP4 00000413: ADD 00000414: MSTORE 00000415: DUP4 00000416: MLOAD 00000417: SWAP2 00000418: SWAP3 00000419: DUP4 0000041a: SWAP3 0000041b: SWAP1 0000041c: DUP4 0000041d: ADD 0000041e: SWAP2 0000041f: DUP6 00000420: DUP2 00000421: ADD 00000422: SWAP2 00000423: MUL 00000424: DUP1 00000425: DUP4 00000426: DUP4 00000427: PUSH1 0x00 00000429: JUMPDEST 0000042a: DUP4 0000042b: DUP2 0000042c: LT 0000042d: ISZERO 0000042e: PUSH2 0x0441 00000431: JUMPI 00000432: DUP2 00000433: DUP2 00000434: ADD 00000435: MLOAD 00000436: DUP4 00000437: DUP3 00000438: ADD 00000439: MSTORE 0000043a: PUSH1 0x20 0000043c: ADD 0000043d: PUSH2 0x0429 00000440: JUMP 00000441: JUMPDEST 00000442: POP 00000443: POP 00000444: POP 00000445: POP 00000446: SWAP1 00000447: POP 00000448: ADD 00000449: SWAP3 0000044a: POP 0000044b: POP 0000044c: POP 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: DUP1 00000451: SWAP2 00000452: SUB 00000453: SWAP1 00000454: RETURN 00000455: JUMPDEST 00000456: CALLVALUE 00000457: DUP1 00000458: ISZERO 00000459: PUSH2 0x0461 0000045c: JUMPI 0000045d: PUSH1 0x00 0000045f: DUP1 00000460: REVERT 00000461: JUMPDEST 00000462: POP 00000463: PUSH2 0x047f 00000466: PUSH1 0x04 00000468: DUP1 00000469: CALLDATASIZE 0000046a: SUB 0000046b: PUSH1 0x20 0000046d: DUP2 0000046e: LT 0000046f: ISZERO 00000470: PUSH2 0x0478 00000473: JUMPI 00000474: PUSH1 0x00 00000476: DUP1 00000477: REVERT 00000478: JUMPDEST 00000479: POP 0000047a: CALLDATALOAD 0000047b: PUSH2 0x126b 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x40 00000482: DUP1 00000483: MLOAD 00000484: PUSH1 0xff 00000486: SWAP1 00000487: SWAP3 00000488: AND 00000489: DUP3 0000048a: MSTORE 0000048b: MLOAD 0000048c: SWAP1 0000048d: DUP2 0000048e: SWAP1 0000048f: SUB 00000490: PUSH1 0x20 00000492: ADD 00000493: SWAP1 00000494: RETURN 00000495: JUMPDEST 00000496: PUSH2 0x0294 00000499: PUSH1 0x04 0000049b: DUP1 0000049c: CALLDATASIZE 0000049d: SUB 0000049e: PUSH1 0x20 000004a0: DUP2 000004a1: LT 000004a2: ISZERO 000004a3: PUSH2 0x04ab 000004a6: JUMPI 000004a7: PUSH1 0x00 000004a9: DUP1 000004aa: REVERT 000004ab: JUMPDEST 000004ac: POP 000004ad: CALLDATALOAD 000004ae: PUSH1 0xff 000004b0: AND 000004b1: PUSH2 0x05ce 000004b4: JUMP 000004b5: JUMPDEST 000004b6: CALLVALUE 000004b7: DUP1 000004b8: ISZERO 000004b9: PUSH2 0x04c1 000004bc: JUMPI 000004bd: PUSH1 0x00 000004bf: DUP1 000004c0: REVERT 000004c1: JUMPDEST 000004c2: POP 000004c3: PUSH2 0x02c9 000004c6: PUSH2 0x1280 000004c9: JUMP 000004ca: JUMPDEST 000004cb: CALLVALUE 000004cc: DUP1 000004cd: ISZERO 000004ce: PUSH2 0x04d6 000004d1: JUMPI 000004d2: PUSH1 0x00 000004d4: DUP1 000004d5: REVERT 000004d6: JUMPDEST 000004d7: POP 000004d8: PUSH2 0x02c9 000004db: PUSH2 0x128f 000004de: JUMP 000004df: JUMPDEST 000004e0: CALLVALUE 000004e1: DUP1 000004e2: ISZERO 000004e3: PUSH2 0x04eb 000004e6: JUMPI 000004e7: PUSH1 0x00 000004e9: DUP1 000004ea: REVERT 000004eb: JUMPDEST 000004ec: POP 000004ed: PUSH2 0x0512 000004f0: PUSH1 0x04 000004f2: DUP1 000004f3: CALLDATASIZE 000004f4: SUB 000004f5: PUSH1 0x20 000004f7: DUP2 000004f8: LT 000004f9: ISZERO 000004fa: PUSH2 0x0502 000004fd: JUMPI 000004fe: PUSH1 0x00 00000500: DUP1 00000501: REVERT 00000502: JUMPDEST 00000503: POP 00000504: CALLDATALOAD 00000505: PUSH1 0x01 00000507: PUSH1 0x01 00000509: PUSH1 0xa0 0000050b: SHL 0000050c: SUB 0000050d: AND 0000050e: PUSH2 0x129e 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x40 00000515: DUP1 00000516: MLOAD 00000517: PUSH1 0x01 00000519: PUSH1 0x01 0000051b: PUSH1 0x40 0000051d: SHL 0000051e: SUB 0000051f: SWAP4 00000520: DUP5 00000521: AND 00000522: DUP2 00000523: MSTORE 00000524: SWAP2 00000525: SWAP1 00000526: SWAP3 00000527: AND 00000528: PUSH1 0x20 0000052a: DUP3 0000052b: ADD 0000052c: MSTORE 0000052d: DUP2 0000052e: MLOAD 0000052f: SWAP1 00000530: DUP2 00000531: SWAP1 00000532: SUB 00000533: SWAP1 00000534: SWAP2 00000535: ADD 00000536: SWAP1 00000537: RETURN 00000538: JUMPDEST 00000539: CALLVALUE 0000053a: DUP1 0000053b: ISZERO 0000053c: PUSH2 0x0544 0000053f: JUMPI 00000540: PUSH1 0x00 00000542: DUP1 00000543: REVERT 00000544: JUMPDEST 00000545: POP 00000546: PUSH2 0x0342 00000549: PUSH2 0x12c4 0000054c: JUMP 0000054d: JUMPDEST 0000054e: CALLVALUE 0000054f: DUP1 00000550: ISZERO 00000551: PUSH2 0x0559 00000554: JUMPI 00000555: PUSH1 0x00 00000557: DUP1 00000558: REVERT 00000559: JUMPDEST 0000055a: POP 0000055b: PUSH2 0x0294 0000055e: PUSH1 0x04 00000560: DUP1 00000561: CALLDATASIZE 00000562: SUB 00000563: PUSH1 0x20 00000565: DUP2 00000566: LT 00000567: ISZERO 00000568: PUSH2 0x0570 0000056b: JUMPI 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: REVERT 00000570: JUMPDEST 00000571: POP 00000572: CALLDATALOAD 00000573: PUSH2 0x12da 00000576: JUMP 00000577: JUMPDEST 00000578: CALLVALUE 00000579: DUP1 0000057a: ISZERO 0000057b: PUSH2 0x0583 0000057e: JUMPI 0000057f: PUSH1 0x00 00000581: DUP1 00000582: REVERT 00000583: JUMPDEST 00000584: POP 00000585: PUSH2 0x0342 00000588: PUSH2 0x17be 0000058b: JUMP 0000058c: JUMPDEST 0000058d: CALLVALUE 0000058e: DUP1 0000058f: ISZERO 00000590: PUSH2 0x0598 00000593: JUMPI 00000594: PUSH1 0x00 00000596: DUP1 00000597: REVERT 00000598: JUMPDEST 00000599: POP 0000059a: PUSH2 0x03c0 0000059d: PUSH1 0x04 0000059f: DUP1 000005a0: CALLDATASIZE 000005a1: SUB 000005a2: PUSH1 0x20 000005a4: DUP2 000005a5: LT 000005a6: ISZERO 000005a7: PUSH2 0x05af 000005aa: JUMPI 000005ab: PUSH1 0x00 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: POP 000005b1: CALLDATALOAD 000005b2: PUSH1 0xff 000005b4: AND 000005b5: PUSH2 0x17c5 000005b8: JUMP 000005b9: JUMPDEST 000005ba: CALLVALUE 000005bb: DUP1 000005bc: ISZERO 000005bd: PUSH2 0x05c5 000005c0: JUMPI 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: POP 000005c7: PUSH2 0x047f 000005ca: PUSH2 0x17d7 000005cd: JUMP 000005ce: JUMPDEST 000005cf: CALLER 000005d0: PUSH1 0x00 000005d2: SWAP1 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x04 000005d7: PUSH1 0x20 000005d9: MSTORE 000005da: PUSH1 0x40 000005dc: SWAP1 000005dd: KECCAK256 000005de: SLOAD 000005df: PUSH1 0x01 000005e1: PUSH1 0x01 000005e3: PUSH1 0x40 000005e5: SHL 000005e6: SUB 000005e7: AND 000005e8: PUSH2 0x062d 000005eb: JUMPI 000005ec: PUSH1 0x40 000005ee: DUP1 000005ef: MLOAD 000005f0: PUSH3 0x461bcd 000005f4: PUSH1 0xe5 000005f6: SHL 000005f7: DUP2 000005f8: MSTORE 000005f9: PUSH1 0x20 000005fb: PUSH1 0x04 000005fd: DUP3 000005fe: ADD 000005ff: MSTORE 00000600: PUSH1 0x12 00000602: PUSH1 0x24 00000604: DUP3 00000605: ADD 00000606: MSTORE 00000607: PUSH18 0x55736572206973206e6f7420657869737473 0000061a: PUSH1 0x70 0000061c: SHL 0000061d: PUSH1 0x44 0000061f: DUP3 00000620: ADD 00000621: MSTORE 00000622: SWAP1 00000623: MLOAD 00000624: SWAP1 00000625: DUP2 00000626: SWAP1 00000627: SUB 00000628: PUSH1 0x64 0000062a: ADD 0000062b: SWAP1 0000062c: REVERT 0000062d: JUMPDEST 0000062e: PUSH1 0x00 00000630: DUP2 00000631: PUSH1 0xff 00000633: AND 00000634: GT 00000635: DUP1 00000636: ISZERO 00000637: PUSH2 0x0644 0000063a: JUMPI 0000063b: POP 0000063c: PUSH1 0x0c 0000063e: DUP2 0000063f: PUSH1 0xff 00000641: AND 00000642: GT 00000643: ISZERO 00000644: JUMPDEST 00000645: PUSH2 0x0687 00000648: JUMPI 00000649: PUSH1 0x40 0000064b: DUP1 0000064c: MLOAD 0000064d: PUSH3 0x461bcd 00000651: PUSH1 0xe5 00000653: SHL 00000654: DUP2 00000655: MSTORE 00000656: PUSH1 0x20 00000658: PUSH1 0x04 0000065a: DUP3 0000065b: ADD 0000065c: MSTORE 0000065d: PUSH1 0x0f 0000065f: PUSH1 0x24 00000661: DUP3 00000662: ADD 00000663: MSTORE 00000664: PUSH15 0x125b98dbdc9c9958dd081b195d995b 00000674: PUSH1 0x8a 00000676: SHL 00000677: PUSH1 0x44 00000679: DUP3 0000067a: ADD 0000067b: MSTORE 0000067c: SWAP1 0000067d: MLOAD 0000067e: SWAP1 0000067f: DUP2 00000680: SWAP1 00000681: SUB 00000682: PUSH1 0x64 00000684: ADD 00000685: SWAP1 00000686: REVERT 00000687: JUMPDEST 00000688: PUSH1 0xff 0000068a: DUP2 0000068b: AND 0000068c: PUSH1 0x00 0000068e: SWAP1 0000068f: DUP2 00000690: MSTORE 00000691: PUSH1 0x02 00000693: PUSH1 0x20 00000695: MSTORE 00000696: PUSH1 0x40 00000698: SWAP1 00000699: KECCAK256 0000069a: SLOAD 0000069b: CALLVALUE 0000069c: EQ 0000069d: PUSH2 0x06df 000006a0: JUMPI 000006a1: PUSH1 0x40 000006a3: DUP1 000006a4: MLOAD 000006a5: PUSH3 0x461bcd 000006a9: PUSH1 0xe5 000006ab: SHL 000006ac: DUP2 000006ad: MSTORE 000006ae: PUSH1 0x20 000006b0: PUSH1 0x04 000006b2: DUP3 000006b3: ADD 000006b4: MSTORE 000006b5: PUSH1 0x0f 000006b7: PUSH1 0x24 000006b9: DUP3 000006ba: ADD 000006bb: MSTORE 000006bc: PUSH15 0x496e636f72726563742056616c7565 000006cc: PUSH1 0x88 000006ce: SHL 000006cf: PUSH1 0x44 000006d1: DUP3 000006d2: ADD 000006d3: MSTORE 000006d4: SWAP1 000006d5: MLOAD 000006d6: SWAP1 000006d7: DUP2 000006d8: SWAP1 000006d9: SUB 000006da: PUSH1 0x64 000006dc: ADD 000006dd: SWAP1 000006de: REVERT 000006df: JUMPDEST 000006e0: PUSH1 0x00 000006e2: NOT 000006e3: DUP2 000006e4: ADD 000006e5: JUMPDEST 000006e6: PUSH1 0xff 000006e8: DUP2 000006e9: AND 000006ea: ISZERO 000006eb: PUSH2 0x0770 000006ee: JUMPI 000006ef: CALLER 000006f0: PUSH1 0x00 000006f2: SWAP1 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x04 000006f7: PUSH1 0x20 000006f9: SWAP1 000006fa: DUP2 000006fb: MSTORE 000006fc: PUSH1 0x40 000006fe: DUP1 000006ff: DUP4 00000700: KECCAK256 00000701: PUSH1 0xff 00000703: DUP6 00000704: AND 00000705: DUP5 00000706: MSTORE 00000707: PUSH1 0x02 00000709: ADD 0000070a: SWAP1 0000070b: SWAP2 0000070c: MSTORE 0000070d: SWAP1 0000070e: KECCAK256 0000070f: SLOAD 00000710: TIMESTAMP 00000711: PUSH1 0x01 00000713: PUSH1 0x01 00000715: PUSH1 0x40 00000717: SHL 00000718: SUB 00000719: SWAP1 0000071a: SWAP2 0000071b: AND 0000071c: LT 0000071d: ISZERO 0000071e: PUSH2 0x0767 00000721: JUMPI 00000722: PUSH1 0x40 00000724: DUP1 00000725: MLOAD 00000726: PUSH3 0x461bcd 0000072a: PUSH1 0xe5 0000072c: SHL 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x20 00000731: PUSH1 0x04 00000733: DUP3 00000734: ADD 00000735: MSTORE 00000736: PUSH1 0x16 00000738: PUSH1 0x24 0000073a: DUP3 0000073b: ADD 0000073c: MSTORE 0000073d: PUSH22 0x109d5e481d1a19481c1c995d9a5bdd5cc81b195d995b 00000754: PUSH1 0x52 00000756: SHL 00000757: PUSH1 0x44 00000759: DUP3 0000075a: ADD 0000075b: MSTORE 0000075c: SWAP1 0000075d: MLOAD 0000075e: SWAP1 0000075f: DUP2 00000760: SWAP1 00000761: SUB 00000762: PUSH1 0x64 00000764: ADD 00000765: SWAP1 00000766: REVERT 00000767: JUMPDEST 00000768: PUSH1 0x00 0000076a: NOT 0000076b: ADD 0000076c: PUSH2 0x06e5 0000076f: JUMP 00000770: JUMPDEST 00000771: POP 00000772: CALLER 00000773: PUSH1 0x00 00000775: SWAP1 00000776: DUP2 00000777: MSTORE 00000778: PUSH1 0x04 0000077a: PUSH1 0x20 0000077c: SWAP1 0000077d: DUP2 0000077e: MSTORE 0000077f: PUSH1 0x40 00000781: DUP1 00000782: DUP4 00000783: KECCAK256 00000784: PUSH1 0xff 00000786: DUP6 00000787: AND 00000788: DUP5 00000789: MSTORE 0000078a: PUSH1 0x02 0000078c: ADD 0000078d: SWAP1 0000078e: SWAP2 0000078f: MSTORE 00000790: SWAP1 00000791: KECCAK256 00000792: SLOAD 00000793: PUSH1 0x01 00000795: PUSH1 0x01 00000797: PUSH1 0x40 00000799: SHL 0000079a: SUB 0000079b: AND 0000079c: ISZERO 0000079d: DUP1 0000079e: PUSH2 0x07d1 000007a1: JUMPI 000007a2: POP 000007a3: CALLER 000007a4: PUSH1 0x00 000007a6: SWAP1 000007a7: DUP2 000007a8: MSTORE 000007a9: PUSH1 0x04 000007ab: PUSH1 0x20 000007ad: SWAP1 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x40 000007b2: DUP1 000007b3: DUP4 000007b4: KECCAK256 000007b5: PUSH1 0xff 000007b7: DUP6 000007b8: AND 000007b9: DUP5 000007ba: MSTORE 000007bb: PUSH1 0x02 000007bd: ADD 000007be: SWAP1 000007bf: SWAP2 000007c0: MSTORE 000007c1: SWAP1 000007c2: KECCAK256 000007c3: SLOAD 000007c4: TIMESTAMP 000007c5: PUSH1 0x01 000007c7: PUSH1 0x01 000007c9: PUSH1 0x40 000007cb: SHL 000007cc: SUB 000007cd: SWAP1 000007ce: SWAP2 000007cf: AND 000007d0: LT 000007d1: JUMPDEST 000007d2: ISZERO 000007d3: PUSH2 0x081a 000007d6: JUMPI 000007d7: CALLER 000007d8: PUSH1 0x00 000007da: SWAP1 000007db: DUP2 000007dc: MSTORE 000007dd: PUSH1 0x04 000007df: PUSH1 0x20 000007e1: SWAP1 000007e2: DUP2 000007e3: MSTORE 000007e4: PUSH1 0x40 000007e6: DUP1 000007e7: DUP4 000007e8: KECCAK256 000007e9: PUSH1 0xff 000007eb: DUP6 000007ec: AND 000007ed: DUP5 000007ee: MSTORE 000007ef: PUSH1 0x02 000007f1: ADD 000007f2: SWAP1 000007f3: SWAP2 000007f4: MSTORE 000007f5: SWAP1 000007f6: KECCAK256 000007f7: DUP1 000007f8: SLOAD 000007f9: PUSH8 0xffffffffffffffff 00000802: NOT 00000803: AND 00000804: PUSH1 0x01 00000806: PUSH1 0x01 00000808: PUSH1 0x40 0000080a: SHL 0000080b: SUB 0000080c: PUSH3 0x278d00 00000810: TIMESTAMP 00000811: ADD 00000812: AND 00000813: OR 00000814: SWAP1 00000815: SSTORE 00000816: PUSH2 0x085e 00000819: JUMP 0000081a: JUMPDEST 0000081b: CALLER 0000081c: PUSH1 0x00 0000081e: SWAP1 0000081f: DUP2 00000820: MSTORE 00000821: PUSH1 0x04 00000823: PUSH1 0x20 00000825: SWAP1 00000826: DUP2 00000827: MSTORE 00000828: PUSH1 0x40 0000082a: DUP1 0000082b: DUP4 0000082c: KECCAK256 0000082d: PUSH1 0xff 0000082f: DUP6 00000830: AND 00000831: DUP5 00000832: MSTORE 00000833: PUSH1 0x02 00000835: ADD 00000836: SWAP1 00000837: SWAP2 00000838: MSTORE 00000839: SWAP1 0000083a: KECCAK256 0000083b: DUP1 0000083c: SLOAD 0000083d: PUSH1 0x01 0000083f: PUSH1 0x01 00000841: PUSH1 0x40 00000843: SHL 00000844: SUB 00000845: DUP1 00000846: DUP3 00000847: AND 00000848: PUSH3 0x278d00 0000084c: ADD 0000084d: AND 0000084e: PUSH8 0xffffffffffffffff 00000857: NOT 00000858: SWAP1 00000859: SWAP2 0000085a: AND 0000085b: OR 0000085c: SWAP1 0000085d: SSTORE 0000085e: JUMPDEST 0000085f: PUSH2 0x0868 00000862: DUP2 00000863: CALLER 00000864: PUSH2 0x17dc 00000867: JUMP 00000868: JUMPDEST 00000869: PUSH1 0x40 0000086b: DUP1 0000086c: MLOAD 0000086d: PUSH1 0xff 0000086f: DUP4 00000870: AND 00000871: DUP2 00000872: MSTORE 00000873: SWAP1 00000874: MLOAD 00000875: CALLER 00000876: SWAP2 00000877: PUSH32 0x701de276f0457a937ecd2f5fbeed33fcf5e03e804748443f1c2e101d0f67180b 00000898: SWAP2 00000899: SWAP1 0000089a: DUP2 0000089b: SWAP1 0000089c: SUB 0000089d: PUSH1 0x20 0000089f: ADD 000008a0: SWAP1 000008a1: LOG2 000008a2: POP 000008a3: JUMP 000008a4: JUMPDEST 000008a5: PUSH1 0x14 000008a7: ADD 000008a8: MLOAD 000008a9: SWAP1 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x00 000008ae: SLOAD 000008af: PUSH1 0x01 000008b1: PUSH1 0x01 000008b3: PUSH1 0xa0 000008b5: SHL 000008b6: SUB 000008b7: AND 000008b8: ISZERO 000008b9: PUSH2 0x0909 000008bc: JUMPI 000008bd: PUSH1 0x40 000008bf: DUP1 000008c0: MLOAD 000008c1: PUSH3 0x461bcd 000008c5: PUSH1 0xe5 000008c7: SHL 000008c8: DUP2 000008c9: MSTORE 000008ca: PUSH1 0x20 000008cc: PUSH1 0x04 000008ce: DUP3 000008cf: ADD 000008d0: MSTORE 000008d1: PUSH1 0x17 000008d3: PUSH1 0x24 000008d5: DUP3 000008d6: ADD 000008d7: MSTORE 000008d8: PUSH32 0x496e697469616c697a65206e6f742066696e6973686564000000000000000000 000008f9: PUSH1 0x44 000008fb: DUP3 000008fc: ADD 000008fd: MSTORE 000008fe: SWAP1 000008ff: MLOAD 00000900: SWAP1 00000901: DUP2 00000902: SWAP1 00000903: SUB 00000904: PUSH1 0x64 00000906: ADD 00000907: SWAP1 00000908: REVERT 00000909: JUMPDEST 0000090a: CALLER 0000090b: PUSH1 0x00 0000090d: SWAP1 0000090e: DUP2 0000090f: MSTORE 00000910: PUSH1 0x04 00000912: PUSH1 0x20 00000914: MSTORE 00000915: PUSH1 0x40 00000917: SWAP1 00000918: KECCAK256 00000919: SLOAD 0000091a: PUSH1 0x01 0000091c: PUSH1 0x01 0000091e: PUSH1 0x40 00000920: SHL 00000921: SUB 00000922: AND 00000923: ISZERO 00000924: PUSH2 0x0961 00000927: JUMPI 00000928: PUSH1 0x40 0000092a: DUP1 0000092b: MLOAD 0000092c: PUSH3 0x461bcd 00000930: PUSH1 0xe5 00000932: SHL 00000933: DUP2 00000934: MSTORE 00000935: PUSH1 0x20 00000937: PUSH1 0x04 00000939: DUP3 0000093a: ADD 0000093b: MSTORE 0000093c: PUSH1 0x0a 0000093e: PUSH1 0x24 00000940: DUP3 00000941: ADD 00000942: MSTORE 00000943: PUSH10 0x155cd95c88195e1a5cdd 0000094e: PUSH1 0xb2 00000950: SHL 00000951: PUSH1 0x44 00000953: DUP3 00000954: ADD 00000955: MSTORE 00000956: SWAP1 00000957: MLOAD 00000958: SWAP1 00000959: DUP2 0000095a: SWAP1 0000095b: SUB 0000095c: PUSH1 0x64 0000095e: ADD 0000095f: SWAP1 00000960: REVERT 00000961: JUMPDEST 00000962: PUSH1 0x00 00000964: DUP2 00000965: PUSH1 0x01 00000967: PUSH1 0x01 00000969: PUSH1 0x40 0000096b: SHL 0000096c: SUB 0000096d: AND 0000096e: GT 0000096f: DUP1 00000970: ISZERO 00000971: PUSH2 0x0990 00000974: JUMPI 00000975: POP 00000976: PUSH1 0x01 00000978: SLOAD 00000979: PUSH1 0x01 0000097b: PUSH1 0x01 0000097d: PUSH1 0x40 0000097f: SHL 00000980: SUB 00000981: PUSH1 0x01 00000983: PUSH1 0xa0 00000985: SHL 00000986: SWAP1 00000987: SWAP2 00000988: DIV 00000989: DUP2 0000098a: AND 0000098b: SWAP1 0000098c: DUP3 0000098d: AND 0000098e: GT 0000098f: ISZERO 00000990: JUMPDEST 00000991: PUSH2 0x09d9 00000994: JUMPI 00000995: PUSH1 0x40 00000997: DUP1 00000998: MLOAD 00000999: PUSH3 0x461bcd 0000099d: PUSH1 0xe5 0000099f: SHL 000009a0: DUP2 000009a1: MSTORE 000009a2: PUSH1 0x20 000009a4: PUSH1 0x04 000009a6: DUP3 000009a7: ADD 000009a8: MSTORE 000009a9: PUSH1 0x15 000009ab: PUSH1 0x24 000009ad: DUP3 000009ae: ADD 000009af: MSTORE 000009b0: PUSH21 0x125b98dbdc9c9958dd081c9959995c9c995c881259 000009c6: PUSH1 0x5a 000009c8: SHL 000009c9: PUSH1 0x44 000009cb: DUP3 000009cc: ADD 000009cd: MSTORE 000009ce: SWAP1 000009cf: MLOAD 000009d0: SWAP1 000009d1: DUP2 000009d2: SWAP1 000009d3: SUB 000009d4: PUSH1 0x64 000009d6: ADD 000009d7: SWAP1 000009d8: REVERT 000009d9: JUMPDEST 000009da: PUSH1 0x01 000009dc: PUSH1 0x00 000009de: MSTORE 000009df: PUSH1 0x02 000009e1: PUSH1 0x20 000009e3: MSTORE 000009e4: PUSH32 0xe90b7bceb6e7df5418fb78d8ee546e97c83a08bbccc01a0644d599ccd2a7c2e0 00000a05: SLOAD 00000a06: CALLVALUE 00000a07: EQ 00000a08: PUSH2 0x0a4a 00000a0b: JUMPI 00000a0c: PUSH1 0x40 00000a0e: DUP1 00000a0f: MLOAD 00000a10: PUSH3 0x461bcd 00000a14: PUSH1 0xe5 00000a16: SHL 00000a17: DUP2 00000a18: MSTORE 00000a19: PUSH1 0x20 00000a1b: PUSH1 0x04 00000a1d: DUP3 00000a1e: ADD 00000a1f: MSTORE 00000a20: PUSH1 0x0f 00000a22: PUSH1 0x24 00000a24: DUP3 00000a25: ADD 00000a26: MSTORE 00000a27: PUSH15 0x496e636f72726563742056616c7565 00000a37: PUSH1 0x88 00000a39: SHL 00000a3a: PUSH1 0x44 00000a3c: DUP3 00000a3d: ADD 00000a3e: MSTORE 00000a3f: SWAP1 00000a40: MLOAD 00000a41: SWAP1 00000a42: DUP2 00000a43: SWAP1 00000a44: SUB 00000a45: PUSH1 0x64 00000a47: ADD 00000a48: SWAP1 00000a49: REVERT 00000a4a: JUMPDEST 00000a4b: PUSH1 0x01 00000a4d: PUSH1 0x01 00000a4f: PUSH1 0x40 00000a51: SHL 00000a52: SUB 00000a53: DUP2 00000a54: AND 00000a55: PUSH1 0x00 00000a57: SWAP1 00000a58: DUP2 00000a59: MSTORE 00000a5a: PUSH1 0x05 00000a5c: PUSH1 0x20 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x40 00000a63: DUP1 00000a64: DUP4 00000a65: KECCAK256 00000a66: SLOAD 00000a67: PUSH1 0x01 00000a69: PUSH1 0x01 00000a6b: PUSH1 0xa0 00000a6d: SHL 00000a6e: SUB 00000a6f: AND 00000a70: DUP4 00000a71: MSTORE 00000a72: PUSH1 0x04 00000a74: SWAP1 00000a75: SWAP2 00000a76: MSTORE 00000a77: SWAP1 00000a78: KECCAK256 00000a79: PUSH1 0x01 00000a7b: ADD 00000a7c: SLOAD 00000a7d: PUSH1 0x02 00000a7f: GT 00000a80: PUSH2 0x0ad3 00000a83: JUMPI 00000a84: PUSH1 0x01 00000a86: PUSH1 0x01 00000a88: PUSH1 0x40 00000a8a: SHL 00000a8b: SUB 00000a8c: DUP2 00000a8d: AND 00000a8e: PUSH1 0x00 00000a90: SWAP1 00000a91: DUP2 00000a92: MSTORE 00000a93: PUSH1 0x05 00000a95: PUSH1 0x20 00000a97: MSTORE 00000a98: PUSH1 0x40 00000a9a: DUP2 00000a9b: KECCAK256 00000a9c: SLOAD 00000a9d: PUSH2 0x0aae 00000aa0: SWAP1 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0x01 00000aa5: PUSH1 0xa0 00000aa7: SHL 00000aa8: SUB 00000aa9: AND 00000aaa: PUSH2 0x0c9a 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH1 0x01 00000ab1: PUSH1 0x01 00000ab3: PUSH1 0xa0 00000ab5: SHL 00000ab6: SUB 00000ab7: AND 00000ab8: PUSH1 0x00 00000aba: SWAP1 00000abb: DUP2 00000abc: MSTORE 00000abd: PUSH1 0x04 00000abf: PUSH1 0x20 00000ac1: MSTORE 00000ac2: PUSH1 0x40 00000ac4: SWAP1 00000ac5: KECCAK256 00000ac6: SLOAD 00000ac7: PUSH1 0x01 00000ac9: PUSH1 0x01 00000acb: PUSH1 0x40 00000acd: SHL 00000ace: SUB 00000acf: AND 00000ad0: SWAP2 00000ad1: POP 00000ad2: POP 00000ad3: JUMPDEST 00000ad4: PUSH1 0x01 00000ad6: DUP1 00000ad7: SLOAD 00000ad8: PUSH8 0xffffffffffffffff 00000ae1: PUSH1 0xa0 00000ae3: SHL 00000ae4: NOT 00000ae5: DUP2 00000ae6: AND 00000ae7: PUSH1 0x01 00000ae9: PUSH1 0xa0 00000aeb: SHL 00000aec: SWAP2 00000aed: DUP3 00000aee: SWAP1 00000aef: DIV 00000af0: PUSH1 0x01 00000af2: PUSH1 0x01 00000af4: PUSH1 0x40 00000af6: SHL 00000af7: SUB 00000af8: SWAP1 00000af9: DUP2 00000afa: AND 00000afb: DUP5 00000afc: ADD 00000afd: DUP2 00000afe: AND 00000aff: DUP4 00000b00: MUL 00000b01: SWAP2 00000b02: SWAP1 00000b03: SWAP2 00000b04: OR 00000b05: DUP1 00000b06: DUP5 00000b07: SSTORE 00000b08: PUSH1 0x40 00000b0a: DUP1 00000b0b: MLOAD 00000b0c: PUSH1 0x60 00000b0e: DUP2 00000b0f: ADD 00000b10: DUP3 00000b11: MSTORE 00000b12: SWAP4 00000b13: SWAP1 00000b14: SWAP2 00000b15: DIV 00000b16: DUP3 00000b17: AND 00000b18: DUP4 00000b19: MSTORE 00000b1a: DUP5 00000b1b: DUP3 00000b1c: AND 00000b1d: PUSH1 0x20 00000b1f: DUP1 00000b20: DUP6 00000b21: ADD 00000b22: SWAP2 00000b23: DUP3 00000b24: MSTORE 00000b25: DUP3 00000b26: MLOAD 00000b27: PUSH1 0x00 00000b29: DUP1 00000b2a: DUP3 00000b2b: MSTORE 00000b2c: DUP2 00000b2d: DUP4 00000b2e: ADD 00000b2f: DUP6 00000b30: MSTORE 00000b31: DUP7 00000b32: DUP6 00000b33: ADD 00000b34: SWAP2 00000b35: DUP3 00000b36: MSTORE 00000b37: CALLER 00000b38: DUP2 00000b39: MSTORE 00000b3a: PUSH1 0x04 00000b3c: DUP4 00000b3d: MSTORE 00000b3e: SWAP4 00000b3f: SWAP1 00000b40: SWAP4 00000b41: KECCAK256 00000b42: DUP6 00000b43: MLOAD 00000b44: DUP2 00000b45: SLOAD 00000b46: SWAP4 00000b47: MLOAD 00000b48: PUSH8 0xffffffffffffffff 00000b51: NOT 00000b52: SWAP1 00000b53: SWAP5 00000b54: AND 00000b55: SWAP1 00000b56: DUP7 00000b57: AND 00000b58: OR 00000b59: PUSH8 0xffffffffffffffff 00000b62: PUSH1 0x40 00000b64: SHL 00000b65: NOT 00000b66: AND 00000b67: PUSH1 0x01 00000b69: PUSH1 0x40 00000b6b: SHL 00000b6c: SWAP4 00000b6d: SWAP1 00000b6e: SWAP6 00000b6f: AND 00000b70: SWAP3 00000b71: SWAP1 00000b72: SWAP3 00000b73: MUL 00000b74: SWAP4 00000b75: SWAP1 00000b76: SWAP4 00000b77: OR 00000b78: DUP2 00000b79: SSTORE 00000b7a: SWAP1 00000b7b: MLOAD 00000b7c: DUP1 00000b7d: MLOAD 00000b7e: SWAP4 00000b7f: SWAP5 00000b80: SWAP2 00000b81: SWAP4 00000b82: PUSH2 0x0b93 00000b85: SWAP4 00000b86: SWAP3 00000b87: DUP6 00000b88: ADD 00000b89: SWAP3 00000b8a: SWAP2 00000b8b: SWAP1 00000b8c: SWAP2 00000b8d: ADD 00000b8e: SWAP1 00000b8f: PUSH2 0x1a30 00000b92: JUMP 00000b93: JUMPDEST 00000b94: POP 00000b95: POP 00000b96: PUSH1 0x01 00000b98: DUP1 00000b99: SLOAD 00000b9a: PUSH1 0x01 00000b9c: PUSH1 0xa0 00000b9e: SHL 00000b9f: SWAP1 00000ba0: DIV 00000ba1: PUSH1 0x01 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0x40 00000ba7: SHL 00000ba8: SUB 00000ba9: SWAP1 00000baa: DUP2 00000bab: AND 00000bac: PUSH1 0x00 00000bae: SWAP1 00000baf: DUP2 00000bb0: MSTORE 00000bb1: PUSH1 0x05 00000bb3: PUSH1 0x20 00000bb5: DUP2 00000bb6: DUP2 00000bb7: MSTORE 00000bb8: PUSH1 0x40 00000bba: DUP1 00000bbb: DUP5 00000bbc: KECCAK256 00000bbd: DUP1 00000bbe: SLOAD 00000bbf: CALLER 00000bc0: PUSH1 0x01 00000bc2: PUSH1 0x01 00000bc4: PUSH1 0xa0 00000bc6: SHL 00000bc7: SUB 00000bc8: NOT 00000bc9: SWAP2 00000bca: DUP3 00000bcb: AND 00000bcc: DUP2 00000bcd: OR 00000bce: SWAP1 00000bcf: SWAP3 00000bd0: SSTORE 00000bd1: DUP2 00000bd2: DUP7 00000bd3: MSTORE 00000bd4: PUSH1 0x04 00000bd6: DUP1 00000bd7: DUP6 00000bd8: MSTORE 00000bd9: DUP4 00000bda: DUP8 00000bdb: KECCAK256 00000bdc: DUP10 00000bdd: DUP9 00000bde: MSTORE 00000bdf: PUSH1 0x02 00000be1: ADD 00000be2: DUP6 00000be3: MSTORE 00000be4: DUP4 00000be5: DUP8 00000be6: KECCAK256 00000be7: DUP1 00000be8: SLOAD 00000be9: PUSH8 0xffffffffffffffff 00000bf2: NOT 00000bf3: AND 00000bf4: PUSH3 0x278d00 00000bf8: TIMESTAMP 00000bf9: ADD 00000bfa: DUP11 00000bfb: AND 00000bfc: OR 00000bfd: SWAP1 00000bfe: SSTORE 00000bff: SWAP7 00000c00: DUP11 00000c01: AND 00000c02: DUP7 00000c03: MSTORE 00000c04: SWAP4 00000c05: DUP4 00000c06: MSTORE 00000c07: DUP2 00000c08: DUP6 00000c09: KECCAK256 00000c0a: SLOAD 00000c0b: PUSH1 0x01 00000c0d: PUSH1 0x01 00000c0f: PUSH1 0xa0 00000c11: SHL 00000c12: SUB 00000c13: AND 00000c14: DUP6 00000c15: MSTORE 00000c16: SWAP5 00000c17: DUP3 00000c18: MSTORE 00000c19: DUP4 00000c1a: KECCAK256 00000c1b: DUP6 00000c1c: ADD 00000c1d: DUP1 00000c1e: SLOAD 00000c1f: DUP1 00000c20: DUP8 00000c21: ADD 00000c22: DUP3 00000c23: SSTORE 00000c24: SWAP1 00000c25: DUP5 00000c26: MSTORE 00000c27: SWAP3 00000c28: KECCAK256 00000c29: SWAP1 00000c2a: SWAP2 00000c2b: ADD 00000c2c: DUP1 00000c2d: SLOAD 00000c2e: SWAP1 00000c2f: SWAP2 00000c30: AND 00000c31: DUP3 00000c32: OR 00000c33: SWAP1 00000c34: SSTORE 00000c35: PUSH2 0x0c3e 00000c38: SWAP3 00000c39: POP 00000c3a: PUSH2 0x17dc 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: PUSH1 0x01 00000c41: PUSH1 0x01 00000c43: PUSH1 0x40 00000c45: SHL 00000c46: SUB 00000c47: DUP2 00000c48: AND 00000c49: PUSH1 0x00 00000c4b: SWAP1 00000c4c: DUP2 00000c4d: MSTORE 00000c4e: PUSH1 0x05 00000c50: PUSH1 0x20 00000c52: SWAP1 00000c53: DUP2 00000c54: MSTORE 00000c55: PUSH1 0x40 00000c57: SWAP2 00000c58: DUP3 00000c59: SWAP1 00000c5a: KECCAK256 00000c5b: SLOAD 00000c5c: DUP3 00000c5d: MLOAD 00000c5e: PUSH1 0x01 00000c60: PUSH1 0x01 00000c62: PUSH1 0xa0 00000c64: SHL 00000c65: SUB 00000c66: SWAP1 00000c67: SWAP2 00000c68: AND 00000c69: DUP2 00000c6a: MSTORE 00000c6b: SWAP2 00000c6c: MLOAD 00000c6d: CALLER 00000c6e: SWAP3 00000c6f: PUSH32 0x2a4f530ae55f002aac4686b649762fc68e96bd8b80ac835b41777145c94e1f8a 00000c90: SWAP3 00000c91: SWAP1 00000c92: DUP3 00000c93: SWAP1 00000c94: SUB 00000c95: ADD 00000c96: SWAP1 00000c97: LOG2 00000c98: POP 00000c99: JUMP 00000c9a: JUMPDEST 00000c9b: PUSH1 0x01 00000c9d: PUSH1 0x01 00000c9f: PUSH1 0xa0 00000ca1: SHL 00000ca2: SUB 00000ca3: DUP2 00000ca4: AND 00000ca5: PUSH1 0x00 00000ca7: SWAP1 00000ca8: DUP2 00000ca9: MSTORE 00000caa: PUSH1 0x04 00000cac: PUSH1 0x20 00000cae: MSTORE 00000caf: PUSH1 0x40 00000cb1: DUP2 00000cb2: KECCAK256 00000cb3: PUSH1 0x01 00000cb5: ADD 00000cb6: SLOAD 00000cb7: PUSH1 0x02 00000cb9: GT 00000cba: ISZERO 00000cbb: PUSH2 0x0cc5 00000cbe: JUMPI 00000cbf: POP 00000cc0: DUP1 00000cc1: PUSH2 0x10c5 00000cc4: JUMP 00000cc5: JUMPDEST 00000cc6: PUSH1 0x40 00000cc8: DUP1 00000cc9: MLOAD 00000cca: PUSH2 0x0100 00000ccd: DUP1 00000cce: DUP3 00000ccf: MSTORE 00000cd0: PUSH2 0x2020 00000cd3: DUP3 00000cd4: ADD 00000cd5: SWAP1 00000cd6: SWAP3 00000cd7: MSTORE 00000cd8: PUSH1 0x60 00000cda: SWAP2 00000cdb: PUSH1 0x20 00000cdd: DUP3 00000cde: ADD 00000cdf: PUSH2 0x2000 00000ce2: DUP1 00000ce3: CODESIZE 00000ce4: DUP4 00000ce5: CODECOPY 00000ce6: POP 00000ce7: POP 00000ce8: PUSH1 0x40 00000cea: DUP1 00000ceb: MLOAD 00000cec: PUSH2 0x0100 00000cef: DUP1 00000cf0: DUP3 00000cf1: MSTORE 00000cf2: PUSH2 0x2020 00000cf5: DUP3 00000cf6: ADD 00000cf7: SWAP1 00000cf8: SWAP3 00000cf9: MSTORE 00000cfa: SWAP3 00000cfb: SWAP4 00000cfc: POP 00000cfd: PUSH1 0x60 00000cff: SWAP3 00000d00: SWAP2 00000d01: POP 00000d02: PUSH1 0x20 00000d04: DUP3 00000d05: ADD 00000d06: PUSH2 0x2000 00000d09: DUP1 00000d0a: CODESIZE 00000d0b: DUP4 00000d0c: CODECOPY 00000d0d: POP 00000d0e: POP 00000d0f: POP 00000d10: PUSH1 0x01 00000d12: PUSH1 0x01 00000d14: PUSH1 0xa0 00000d16: SHL 00000d17: SUB 00000d18: DUP6 00000d19: AND 00000d1a: PUSH1 0x00 00000d1c: SWAP1 00000d1d: DUP2 00000d1e: MSTORE 00000d1f: PUSH1 0x04 00000d21: PUSH1 0x20 00000d23: MSTORE 00000d24: PUSH1 0x40 00000d26: DUP2 00000d27: KECCAK256 00000d28: PUSH1 0x01 00000d2a: ADD 00000d2b: DUP1 00000d2c: SLOAD 00000d2d: SWAP3 00000d2e: SWAP4 00000d2f: POP 00000d30: SWAP2 00000d31: PUSH2 0x0d36 00000d34: JUMPI 00000d35: INVALID 00000d36: JUMPDEST 00000d37: PUSH1 0x00 00000d39: SWAP2 00000d3a: DUP3 00000d3b: MSTORE 00000d3c: PUSH1 0x20 00000d3e: DUP3 00000d3f: KECCAK256 00000d40: ADD 00000d41: SLOAD 00000d42: DUP4 00000d43: MLOAD 00000d44: PUSH1 0x01 00000d46: PUSH1 0x01 00000d48: PUSH1 0xa0 00000d4a: SHL 00000d4b: SUB 00000d4c: SWAP1 00000d4d: SWAP2 00000d4e: AND 00000d4f: SWAP2 00000d50: DUP5 00000d51: SWAP2 00000d52: PUSH2 0x0d57 00000d55: JUMPI 00000d56: INVALID 00000d57: JUMPDEST 00000d58: PUSH1 0x20 00000d5a: MUL 00000d5b: PUSH1 0x20 00000d5d: ADD 00000d5e: ADD 00000d5f: SWAP1 00000d60: PUSH1 0x01 00000d62: PUSH1 0x01 00000d64: PUSH1 0xa0 00000d66: SHL 00000d67: SUB 00000d68: AND 00000d69: SWAP1 00000d6a: DUP2 00000d6b: PUSH1 0x01 00000d6d: PUSH1 0x01 00000d6f: PUSH1 0xa0 00000d71: SHL 00000d72: SUB 00000d73: AND 00000d74: DUP2 00000d75: MSTORE 00000d76: POP 00000d77: POP 00000d78: PUSH1 0x04 00000d7a: PUSH1 0x00 00000d7c: DUP6 00000d7d: PUSH1 0x01 00000d7f: PUSH1 0x01 00000d81: PUSH1 0xa0 00000d83: SHL 00000d84: SUB 00000d85: AND 00000d86: PUSH1 0x01 00000d88: PUSH1 0x01 00000d8a: PUSH1 0xa0 00000d8c: SHL 00000d8d: SUB 00000d8e: AND 00000d8f: DUP2 00000d90: MSTORE 00000d91: PUSH1 0x20 00000d93: ADD 00000d94: SWAP1 00000d95: DUP2 00000d96: MSTORE 00000d97: PUSH1 0x20 00000d99: ADD 00000d9a: PUSH1 0x00 00000d9c: KECCAK256 00000d9d: PUSH1 0x01 00000d9f: ADD 00000da0: PUSH1 0x01 00000da2: DUP2 00000da3: SLOAD 00000da4: DUP2 00000da5: LT 00000da6: PUSH2 0x0dab 00000da9: JUMPI 00000daa: INVALID 00000dab: JUMPDEST 00000dac: SWAP1 00000dad: PUSH1 0x00 00000daf: MSTORE 00000db0: PUSH1 0x20 00000db2: PUSH1 0x00 00000db4: KECCAK256 00000db5: ADD 00000db6: PUSH1 0x00 00000db8: SWAP1 00000db9: SLOAD 00000dba: SWAP1 00000dbb: PUSH2 0x0100 00000dbe: EXP 00000dbf: SWAP1 00000dc0: DIV 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0x01 00000dc5: PUSH1 0xa0 00000dc7: SHL 00000dc8: SUB 00000dc9: AND 00000dca: DUP3 00000dcb: PUSH1 0x01 00000dcd: DUP2 00000dce: MLOAD 00000dcf: DUP2 00000dd0: LT 00000dd1: PUSH2 0x0dd6 00000dd4: JUMPI 00000dd5: INVALID 00000dd6: JUMPDEST 00000dd7: PUSH1 0x01 00000dd9: PUSH1 0x01 00000ddb: PUSH1 0xa0 00000ddd: SHL 00000dde: SUB 00000ddf: SWAP1 00000de0: SWAP3 00000de1: AND 00000de2: PUSH1 0x20 00000de4: SWAP3 00000de5: DUP4 00000de6: MUL 00000de7: SWAP2 00000de8: SWAP1 00000de9: SWAP2 00000dea: ADD 00000deb: SWAP1 00000dec: SWAP2 00000ded: ADD 00000dee: MSTORE 00000def: PUSH1 0x02 00000df1: JUMPDEST 00000df2: PUSH1 0x00 00000df4: JUMPDEST 00000df5: DUP2 00000df6: PUSH4 0xffffffff 00000dfb: AND 00000dfc: DUP2 00000dfd: PUSH4 0xffffffff 00000e02: AND 00000e03: LT 00000e04: ISZERO 00000e05: PUSH2 0x0e82 00000e08: JUMPI 00000e09: PUSH1 0x01 00000e0b: PUSH1 0x04 00000e0d: PUSH1 0x00 00000e0f: DUP7 00000e10: DUP5 00000e11: PUSH4 0xffffffff 00000e16: AND 00000e17: DUP2 00000e18: MLOAD 00000e19: DUP2 00000e1a: LT 00000e1b: PUSH2 0x0e20 00000e1e: JUMPI 00000e1f: INVALID 00000e20: JUMPDEST 00000e21: PUSH1 0x20 00000e23: MUL 00000e24: PUSH1 0x20 00000e26: ADD 00000e27: ADD 00000e28: MLOAD 00000e29: PUSH1 0x01 00000e2b: PUSH1 0x01 00000e2d: PUSH1 0xa0 00000e2f: SHL 00000e30: SUB 00000e31: AND 00000e32: PUSH1 0x01 00000e34: PUSH1 0x01 00000e36: PUSH1 0xa0 00000e38: SHL 00000e39: SUB 00000e3a: AND 00000e3b: DUP2 00000e3c: MSTORE 00000e3d: PUSH1 0x20 00000e3f: ADD 00000e40: SWAP1 00000e41: DUP2 00000e42: MSTORE 00000e43: PUSH1 0x20 00000e45: ADD 00000e46: PUSH1 0x00 00000e48: KECCAK256 00000e49: PUSH1 0x01 00000e4b: ADD 00000e4c: DUP1 00000e4d: SLOAD 00000e4e: SWAP1 00000e4f: POP 00000e50: LT 00000e51: ISZERO 00000e52: PUSH2 0x0e7a 00000e55: JUMPI 00000e56: DUP4 00000e57: DUP2 00000e58: PUSH4 0xffffffff 00000e5d: AND 00000e5e: DUP2 00000e5f: MLOAD 00000e60: DUP2 00000e61: LT 00000e62: PUSH2 0x0e67 00000e65: JUMPI 00000e66: INVALID 00000e67: JUMPDEST 00000e68: PUSH1 0x20 00000e6a: MUL 00000e6b: PUSH1 0x20 00000e6d: ADD 00000e6e: ADD 00000e6f: MLOAD 00000e70: SWAP5 00000e71: POP 00000e72: POP 00000e73: POP 00000e74: POP 00000e75: POP 00000e76: PUSH2 0x10c5 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH1 0x01 00000e7d: ADD 00000e7e: PUSH2 0x0df4 00000e81: JUMP 00000e82: JUMPDEST 00000e83: POP 00000e84: PUSH1 0x00 00000e86: JUMPDEST 00000e87: DUP2 00000e88: PUSH4 0xffffffff 00000e8d: AND 00000e8e: DUP2 00000e8f: PUSH4 0xffffffff 00000e94: AND 00000e95: LT 00000e96: ISZERO 00000e97: PUSH2 0x0f04 00000e9a: JUMPI 00000e9b: PUSH1 0x02 00000e9d: PUSH1 0xff 00000e9f: AND 00000ea0: PUSH1 0x04 00000ea2: PUSH1 0x00 00000ea4: DUP7 00000ea5: DUP5 00000ea6: PUSH4 0xffffffff 00000eab: AND 00000eac: DUP2 00000ead: MLOAD 00000eae: DUP2 00000eaf: LT 00000eb0: PUSH2 0x0eb5 00000eb3: JUMPI 00000eb4: INVALID 00000eb5: JUMPDEST 00000eb6: PUSH1 0x20 00000eb8: MUL 00000eb9: PUSH1 0x20 00000ebb: ADD 00000ebc: ADD 00000ebd: MLOAD 00000ebe: PUSH1 0x01 00000ec0: PUSH1 0x01 00000ec2: PUSH1 0xa0 00000ec4: SHL 00000ec5: SUB 00000ec6: AND 00000ec7: PUSH1 0x01 00000ec9: PUSH1 0x01 00000ecb: PUSH1 0xa0 00000ecd: SHL 00000ece: SUB 00000ecf: AND 00000ed0: DUP2 00000ed1: MSTORE 00000ed2: PUSH1 0x20 00000ed4: ADD 00000ed5: SWAP1 00000ed6: DUP2 00000ed7: MSTORE 00000ed8: PUSH1 0x20 00000eda: ADD 00000edb: PUSH1 0x00 00000edd: KECCAK256 00000ede: PUSH1 0x01 00000ee0: ADD 00000ee1: DUP1 00000ee2: SLOAD 00000ee3: SWAP1 00000ee4: POP 00000ee5: LT 00000ee6: ISZERO 00000ee7: PUSH2 0x0efc 00000eea: JUMPI 00000eeb: DUP4 00000eec: DUP2 00000eed: PUSH4 0xffffffff 00000ef2: AND 00000ef3: DUP2 00000ef4: MLOAD 00000ef5: DUP2 00000ef6: LT 00000ef7: PUSH2 0x0e67 00000efa: JUMPI 00000efb: INVALID 00000efc: JUMPDEST 00000efd: PUSH1 0x01 00000eff: ADD 00000f00: PUSH2 0x0e86 00000f03: JUMP 00000f04: JUMPDEST 00000f05: POP 00000f06: PUSH1 0x00 00000f08: JUMPDEST 00000f09: DUP2 00000f0a: PUSH4 0xffffffff 00000f0f: AND 00000f10: DUP2 00000f11: PUSH4 0xffffffff 00000f16: AND 00000f17: LT 00000f18: ISZERO 00000f19: PUSH2 0x1058 00000f1c: JUMPI 00000f1d: PUSH1 0x04 00000f1f: PUSH1 0x00 00000f21: DUP6 00000f22: DUP4 00000f23: PUSH4 0xffffffff 00000f28: AND 00000f29: DUP2 00000f2a: MLOAD 00000f2b: DUP2 00000f2c: LT 00000f2d: PUSH2 0x0f32 00000f30: JUMPI 00000f31: INVALID 00000f32: JUMPDEST 00000f33: PUSH1 0x20 00000f35: MUL 00000f36: PUSH1 0x20 00000f38: ADD 00000f39: ADD 00000f3a: MLOAD 00000f3b: PUSH1 0x01 00000f3d: PUSH1 0x01 00000f3f: PUSH1 0xa0 00000f41: SHL 00000f42: SUB 00000f43: AND 00000f44: PUSH1 0x01 00000f46: PUSH1 0x01 00000f48: PUSH1 0xa0 00000f4a: SHL 00000f4b: SUB 00000f4c: AND 00000f4d: DUP2 00000f4e: MSTORE 00000f4f: PUSH1 0x20 00000f51: ADD 00000f52: SWAP1 00000f53: DUP2 00000f54: MSTORE 00000f55: PUSH1 0x20 00000f57: ADD 00000f58: PUSH1 0x00 00000f5a: KECCAK256 00000f5b: PUSH1 0x01 00000f5d: ADD 00000f5e: PUSH1 0x00 00000f60: DUP2 00000f61: SLOAD 00000f62: DUP2 00000f63: LT 00000f64: PUSH2 0x0f69 00000f67: JUMPI 00000f68: INVALID 00000f69: JUMPDEST 00000f6a: SWAP1 00000f6b: PUSH1 0x00 00000f6d: MSTORE 00000f6e: PUSH1 0x20 00000f70: PUSH1 0x00 00000f72: KECCAK256 00000f73: ADD 00000f74: PUSH1 0x00 00000f76: SWAP1 00000f77: SLOAD 00000f78: SWAP1 00000f79: PUSH2 0x0100 00000f7c: EXP 00000f7d: SWAP1 00000f7e: DIV 00000f7f: PUSH1 0x01 00000f81: PUSH1 0x01 00000f83: PUSH1 0xa0 00000f85: SHL 00000f86: SUB 00000f87: AND 00000f88: DUP4 00000f89: DUP3 00000f8a: PUSH4 0xffffffff 00000f8f: AND 00000f90: DUP2 00000f91: MLOAD 00000f92: DUP2 00000f93: LT 00000f94: PUSH2 0x0f99 00000f97: JUMPI 00000f98: INVALID 00000f99: JUMPDEST 00000f9a: PUSH1 0x20 00000f9c: MUL 00000f9d: PUSH1 0x20 00000f9f: ADD 00000fa0: ADD 00000fa1: SWAP1 00000fa2: PUSH1 0x01 00000fa4: PUSH1 0x01 00000fa6: PUSH1 0xa0 00000fa8: SHL 00000fa9: SUB 00000faa: AND 00000fab: SWAP1 00000fac: DUP2 00000fad: PUSH1 0x01 00000faf: PUSH1 0x01 00000fb1: PUSH1 0xa0 00000fb3: SHL 00000fb4: SUB 00000fb5: AND 00000fb6: DUP2 00000fb7: MSTORE 00000fb8: POP 00000fb9: POP 00000fba: PUSH1 0x04 00000fbc: PUSH1 0x00 00000fbe: DUP6 00000fbf: DUP4 00000fc0: PUSH4 0xffffffff 00000fc5: AND 00000fc6: DUP2 00000fc7: MLOAD 00000fc8: DUP2 00000fc9: LT 00000fca: PUSH2 0x0fcf 00000fcd: JUMPI 00000fce: INVALID 00000fcf: JUMPDEST 00000fd0: PUSH1 0x20 00000fd2: MUL 00000fd3: PUSH1 0x20 00000fd5: ADD 00000fd6: ADD 00000fd7: MLOAD 00000fd8: PUSH1 0x01 00000fda: PUSH1 0x01 00000fdc: PUSH1 0xa0 00000fde: SHL 00000fdf: SUB 00000fe0: AND 00000fe1: PUSH1 0x01 00000fe3: PUSH1 0x01 00000fe5: PUSH1 0xa0 00000fe7: SHL 00000fe8: SUB 00000fe9: AND 00000fea: DUP2 00000feb: MSTORE 00000fec: PUSH1 0x20 00000fee: ADD 00000fef: SWAP1 00000ff0: DUP2 00000ff1: MSTORE 00000ff2: PUSH1 0x20 00000ff4: ADD 00000ff5: PUSH1 0x00 00000ff7: KECCAK256 00000ff8: PUSH1 0x01 00000ffa: ADD 00000ffb: PUSH1 0x01 00000ffd: DUP2 00000ffe: SLOAD 00000fff: DUP2 00001000: LT 00001001: PUSH2 0x1006 00001004: JUMPI 00001005: INVALID 00001006: JUMPDEST 00001007: SWAP1 00001008: PUSH1 0x00 0000100a: MSTORE 0000100b: PUSH1 0x20 0000100d: PUSH1 0x00 0000100f: KECCAK256 00001010: ADD 00001011: PUSH1 0x00 00001013: SWAP1 00001014: SLOAD 00001015: SWAP1 00001016: PUSH2 0x0100 00001019: EXP 0000101a: SWAP1 0000101b: DIV 0000101c: PUSH1 0x01 0000101e: PUSH1 0x01 00001020: PUSH1 0xa0 00001022: SHL 00001023: SUB 00001024: AND 00001025: DUP4 00001026: DUP3 00001027: DUP5 00001028: ADD 00001029: PUSH4 0xffffffff 0000102e: AND 0000102f: DUP2 00001030: MLOAD 00001031: DUP2 00001032: LT 00001033: PUSH2 0x1038 00001036: JUMPI 00001037: INVALID 00001038: JUMPDEST 00001039: PUSH1 0x01 0000103b: PUSH1 0x01 0000103d: PUSH1 0xa0 0000103f: SHL 00001040: SUB 00001041: SWAP1 00001042: SWAP3 00001043: AND 00001044: PUSH1 0x20 00001046: SWAP3 00001047: DUP4 00001048: MUL 00001049: SWAP2 0000104a: SWAP1 0000104b: SWAP2 0000104c: ADD 0000104d: SWAP1 0000104e: SWAP2 0000104f: ADD 00001050: MSTORE 00001051: PUSH1 0x01 00001053: ADD 00001054: PUSH2 0x0f08 00001057: JUMP 00001058: JUMPDEST 00001059: POP 0000105a: PUSH1 0x02 0000105c: MUL 0000105d: PUSH1 0x00 0000105f: JUMPDEST 00001060: DUP2 00001061: PUSH4 0xffffffff 00001066: AND 00001067: DUP2 00001068: PUSH4 0xffffffff 0000106d: AND 0000106e: LT 0000106f: ISZERO 00001070: PUSH2 0x10bf 00001073: JUMPI 00001074: DUP3 00001075: DUP2 00001076: PUSH4 0xffffffff 0000107b: AND 0000107c: DUP2 0000107d: MLOAD 0000107e: DUP2 0000107f: LT 00001080: PUSH2 0x1085 00001083: JUMPI 00001084: INVALID 00001085: JUMPDEST 00001086: PUSH1 0x20 00001088: MUL 00001089: PUSH1 0x20 0000108b: ADD 0000108c: ADD 0000108d: MLOAD 0000108e: DUP5 0000108f: DUP3 00001090: PUSH4 0xffffffff 00001095: AND 00001096: DUP2 00001097: MLOAD 00001098: DUP2 00001099: LT 0000109a: PUSH2 0x109f 0000109d: JUMPI 0000109e: INVALID 0000109f: JUMPDEST 000010a0: PUSH1 0x01 000010a2: PUSH1 0x01 000010a4: PUSH1 0xa0 000010a6: SHL 000010a7: SUB 000010a8: SWAP1 000010a9: SWAP3 000010aa: AND 000010ab: PUSH1 0x20 000010ad: SWAP3 000010ae: DUP4 000010af: MUL 000010b0: SWAP2 000010b1: SWAP1 000010b2: SWAP2 000010b3: ADD 000010b4: SWAP1 000010b5: SWAP2 000010b6: ADD 000010b7: MSTORE 000010b8: PUSH1 0x01 000010ba: ADD 000010bb: PUSH2 0x105f 000010be: JUMP 000010bf: JUMPDEST 000010c0: POP 000010c1: PUSH2 0x0df1 000010c4: JUMP 000010c5: JUMPDEST 000010c6: SWAP2 000010c7: SWAP1 000010c8: POP 000010c9: JUMP 000010ca: JUMPDEST 000010cb: PUSH1 0x05 000010cd: PUSH1 0x20 000010cf: MSTORE 000010d0: PUSH1 0x00 000010d2: SWAP1 000010d3: DUP2 000010d4: MSTORE 000010d5: PUSH1 0x40 000010d7: SWAP1 000010d8: KECCAK256 000010d9: SLOAD 000010da: PUSH1 0x01 000010dc: PUSH1 0x01 000010de: PUSH1 0xa0 000010e0: SHL 000010e1: SUB 000010e2: AND 000010e3: DUP2 000010e4: JUMP 000010e5: JUMPDEST 000010e6: PUSH1 0x00 000010e8: SLOAD 000010e9: PUSH1 0x01 000010eb: PUSH1 0x01 000010ed: PUSH1 0xa0 000010ef: SHL 000010f0: SUB 000010f1: AND 000010f2: PUSH2 0x1142 000010f5: JUMPI 000010f6: PUSH1 0x40 000010f8: DUP1 000010f9: MLOAD 000010fa: PUSH3 0x461bcd 000010fe: PUSH1 0xe5 00001100: SHL 00001101: DUP2 00001102: MSTORE 00001103: PUSH1 0x20 00001105: PUSH1 0x04 00001107: DUP3 00001108: ADD 00001109: MSTORE 0000110a: PUSH1 0x19 0000110c: PUSH1 0x24 0000110e: DUP3 0000110f: ADD 00001110: MSTORE 00001111: PUSH32 0x496e697469616c697a6520616c726561647920636c6f73656400000000000000 00001132: PUSH1 0x44 00001134: DUP3 00001135: ADD 00001136: MSTORE 00001137: SWAP1 00001138: MLOAD 00001139: SWAP1 0000113a: DUP2 0000113b: SWAP1 0000113c: SUB 0000113d: PUSH1 0x64 0000113f: ADD 00001140: SWAP1 00001141: REVERT 00001142: JUMPDEST 00001143: PUSH1 0x01 00001145: SLOAD 00001146: PUSH1 0x01 00001148: PUSH1 0x01 0000114a: PUSH1 0xa0 0000114c: SHL 0000114d: SUB 0000114e: AND 0000114f: CALLER 00001150: EQ 00001151: PUSH2 0x1191 00001154: JUMPI 00001155: PUSH1 0x40 00001157: DUP1 00001158: MLOAD 00001159: PUSH3 0x461bcd 0000115d: PUSH1 0xe5 0000115f: SHL 00001160: DUP2 00001161: MSTORE 00001162: PUSH1 0x20 00001164: PUSH1 0x04 00001166: DUP3 00001167: ADD 00001168: MSTORE 00001169: PUSH1 0x0d 0000116b: PUSH1 0x24 0000116d: DUP3 0000116e: ADD 0000116f: MSTORE 00001170: PUSH13 0x1058d8d95cdcc819195b9a5959 0000117e: PUSH1 0x9a 00001180: SHL 00001181: PUSH1 0x44 00001183: DUP3 00001184: ADD 00001185: MSTORE 00001186: SWAP1 00001187: MLOAD 00001188: SWAP1 00001189: DUP2 0000118a: SWAP1 0000118b: SUB 0000118c: PUSH1 0x64 0000118e: ADD 0000118f: SWAP1 00001190: REVERT 00001191: JUMPDEST 00001192: PUSH1 0x00 00001194: DUP1 00001195: SLOAD 00001196: PUSH1 0x01 00001198: PUSH1 0x01 0000119a: PUSH1 0xa0 0000119c: SHL 0000119d: SUB 0000119e: NOT 0000119f: AND 000011a0: SWAP1 000011a1: SSTORE 000011a2: JUMP 000011a3: JUMPDEST 000011a4: PUSH1 0x01 000011a6: SLOAD 000011a7: PUSH1 0x01 000011a9: PUSH1 0xa0 000011ab: SHL 000011ac: SWAP1 000011ad: DIV 000011ae: PUSH1 0x01 000011b0: PUSH1 0x01 000011b2: PUSH1 0x40 000011b4: SHL 000011b5: SUB 000011b6: AND 000011b7: DUP2 000011b8: JUMP 000011b9: JUMPDEST 000011ba: PUSH1 0x01 000011bc: PUSH1 0x01 000011be: PUSH1 0xa0 000011c0: SHL 000011c1: SUB 000011c2: DUP3 000011c3: AND 000011c4: PUSH1 0x00 000011c6: SWAP1 000011c7: DUP2 000011c8: MSTORE 000011c9: PUSH1 0x04 000011cb: PUSH1 0x20 000011cd: SWAP1 000011ce: DUP2 000011cf: MSTORE 000011d0: PUSH1 0x40 000011d2: DUP1 000011d3: DUP4 000011d4: KECCAK256 000011d5: PUSH1 0xff 000011d7: DUP6 000011d8: AND 000011d9: DUP5 000011da: MSTORE 000011db: PUSH1 0x02 000011dd: ADD 000011de: SWAP1 000011df: SWAP2 000011e0: MSTORE 000011e1: SWAP1 000011e2: KECCAK256 000011e3: SLOAD 000011e4: PUSH1 0x01 000011e6: PUSH1 0x01 000011e8: PUSH1 0x40 000011ea: SHL 000011eb: SUB 000011ec: AND 000011ed: SWAP3 000011ee: SWAP2 000011ef: POP 000011f0: POP 000011f1: JUMP 000011f2: JUMPDEST 000011f3: PUSH1 0x01 000011f5: PUSH1 0x01 000011f7: PUSH1 0xa0 000011f9: SHL 000011fa: SUB 000011fb: DUP2 000011fc: AND 000011fd: PUSH1 0x00 000011ff: SWAP1 00001200: DUP2 00001201: MSTORE 00001202: PUSH1 0x04 00001204: PUSH1 0x20 00001206: SWAP1 00001207: DUP2 00001208: MSTORE 00001209: PUSH1 0x40 0000120b: SWAP2 0000120c: DUP3 0000120d: SWAP1 0000120e: KECCAK256 0000120f: PUSH1 0x01 00001211: ADD 00001212: DUP1 00001213: SLOAD 00001214: DUP4 00001215: MLOAD 00001216: DUP2 00001217: DUP5 00001218: MUL 00001219: DUP2 0000121a: ADD 0000121b: DUP5 0000121c: ADD 0000121d: SWAP1 0000121e: SWAP5 0000121f: MSTORE 00001220: DUP1 00001221: DUP5 00001222: MSTORE 00001223: PUSH1 0x60 00001225: SWAP4 00001226: SWAP3 00001227: DUP4 00001228: ADD 00001229: DUP3 0000122a: DUP3 0000122b: DUP1 0000122c: ISZERO 0000122d: PUSH2 0x125f 00001230: JUMPI 00001231: PUSH1 0x20 00001233: MUL 00001234: DUP3 00001235: ADD 00001236: SWAP2 00001237: SWAP1 00001238: PUSH1 0x00 0000123a: MSTORE 0000123b: PUSH1 0x20 0000123d: PUSH1 0x00 0000123f: KECCAK256 00001240: SWAP1 00001241: JUMPDEST 00001242: DUP2 00001243: SLOAD 00001244: PUSH1 0x01 00001246: PUSH1 0x01 00001248: PUSH1 0xa0 0000124a: SHL 0000124b: SUB 0000124c: AND 0000124d: DUP2 0000124e: MSTORE 0000124f: PUSH1 0x01 00001251: SWAP1 00001252: SWAP2 00001253: ADD 00001254: SWAP1 00001255: PUSH1 0x20 00001257: ADD 00001258: DUP1 00001259: DUP4 0000125a: GT 0000125b: PUSH2 0x1241 0000125e: JUMPI 0000125f: JUMPDEST 00001260: POP 00001261: POP 00001262: POP 00001263: POP 00001264: POP 00001265: SWAP1 00001266: POP 00001267: SWAP2 00001268: SWAP1 00001269: POP 0000126a: JUMP 0000126b: JUMPDEST 0000126c: PUSH1 0x03 0000126e: PUSH1 0x20 00001270: MSTORE 00001271: PUSH1 0x00 00001273: SWAP1 00001274: DUP2 00001275: MSTORE 00001276: PUSH1 0x40 00001278: SWAP1 00001279: KECCAK256 0000127a: SLOAD 0000127b: PUSH1 0xff 0000127d: AND 0000127e: DUP2 0000127f: JUMP 00001280: JUMPDEST 00001281: PUSH1 0x00 00001283: SLOAD 00001284: PUSH1 0x01 00001286: PUSH1 0x01 00001288: PUSH1 0xa0 0000128a: SHL 0000128b: SUB 0000128c: AND 0000128d: DUP2 0000128e: JUMP 0000128f: JUMPDEST 00001290: PUSH1 0x01 00001292: SLOAD 00001293: PUSH1 0x01 00001295: PUSH1 0x01 00001297: PUSH1 0xa0 00001299: SHL 0000129a: SUB 0000129b: AND 0000129c: DUP2 0000129d: JUMP 0000129e: JUMPDEST 0000129f: PUSH1 0x04 000012a1: PUSH1 0x20 000012a3: MSTORE 000012a4: PUSH1 0x00 000012a6: SWAP1 000012a7: DUP2 000012a8: MSTORE 000012a9: PUSH1 0x40 000012ab: SWAP1 000012ac: KECCAK256 000012ad: SLOAD 000012ae: PUSH1 0x01 000012b0: PUSH1 0x01 000012b2: PUSH1 0x40 000012b4: SHL 000012b5: SUB 000012b6: DUP1 000012b7: DUP3 000012b8: AND 000012b9: SWAP2 000012ba: PUSH1 0x01 000012bc: PUSH1 0x40 000012be: SHL 000012bf: SWAP1 000012c0: DIV 000012c1: AND 000012c2: DUP3 000012c3: JUMP 000012c4: JUMPDEST 000012c5: PUSH1 0x00 000012c7: SLOAD 000012c8: PUSH1 0x01 000012ca: PUSH1 0xa0 000012cc: SHL 000012cd: SWAP1 000012ce: DIV 000012cf: PUSH1 0x01 000012d1: PUSH1 0x01 000012d3: PUSH1 0x40 000012d5: SHL 000012d6: SUB 000012d7: AND 000012d8: DUP2 000012d9: JUMP 000012da: JUMPDEST 000012db: PUSH1 0x00 000012dd: SLOAD 000012de: PUSH1 0x01 000012e0: PUSH1 0x01 000012e2: PUSH1 0xa0 000012e4: SHL 000012e5: SUB 000012e6: AND 000012e7: PUSH2 0x132b 000012ea: JUMPI 000012eb: PUSH1 0x40 000012ed: DUP1 000012ee: MLOAD 000012ef: PUSH3 0x461bcd 000012f3: PUSH1 0xe5 000012f5: SHL 000012f6: DUP2 000012f7: MSTORE 000012f8: PUSH1 0x20 000012fa: PUSH1 0x04 000012fc: DUP3 000012fd: ADD 000012fe: MSTORE 000012ff: PUSH1 0x11 00001301: PUSH1 0x24 00001303: DUP3 00001304: ADD 00001305: MSTORE 00001306: PUSH17 0x125b9a5d1a585b1a5e994818db1bdcd959 00001318: PUSH1 0x7a 0000131a: SHL 0000131b: PUSH1 0x44 0000131d: DUP3 0000131e: ADD 0000131f: MSTORE 00001320: SWAP1 00001321: MLOAD 00001322: SWAP1 00001323: DUP2 00001324: SWAP1 00001325: SUB 00001326: PUSH1 0x64 00001328: ADD 00001329: SWAP1 0000132a: REVERT 0000132b: JUMPDEST 0000132c: PUSH1 0x01 0000132e: SLOAD 0000132f: PUSH1 0x01 00001331: PUSH1 0x01 00001333: PUSH1 0xa0 00001335: SHL 00001336: SUB 00001337: AND 00001338: CALLER 00001339: EQ 0000133a: PUSH2 0x137a 0000133d: JUMPI 0000133e: PUSH1 0x40 00001340: DUP1 00001341: MLOAD 00001342: PUSH3 0x461bcd 00001346: PUSH1 0xe5 00001348: SHL 00001349: DUP2 0000134a: MSTORE 0000134b: PUSH1 0x20 0000134d: PUSH1 0x04 0000134f: DUP3 00001350: ADD 00001351: MSTORE 00001352: PUSH1 0x0d 00001354: PUSH1 0x24 00001356: DUP3 00001357: ADD 00001358: MSTORE 00001359: PUSH13 0x1058d8d95cdcc819195b9a5959 00001367: PUSH1 0x9a 00001369: SHL 0000136a: PUSH1 0x44 0000136c: DUP3 0000136d: ADD 0000136e: MSTORE 0000136f: SWAP1 00001370: MLOAD 00001371: SWAP1 00001372: DUP2 00001373: SWAP1 00001374: SUB 00001375: PUSH1 0x64 00001377: ADD 00001378: SWAP1 00001379: REVERT 0000137a: JUMPDEST 0000137b: PUSH1 0x00 0000137d: JUMPDEST 0000137e: DUP2 0000137f: DUP2 00001380: LT 00001381: ISZERO 00001382: PUSH2 0x17ba 00001385: JUMPI 00001386: PUSH1 0x00 00001388: DUP1 00001389: SLOAD 0000138a: PUSH1 0x40 0000138c: DUP1 0000138d: MLOAD 0000138e: PUSH4 0x18dc4295 00001393: PUSH1 0xe0 00001395: SHL 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x01 0000139a: PUSH1 0x01 0000139c: PUSH1 0x40 0000139e: SHL 0000139f: SUB 000013a0: PUSH1 0x01 000013a2: PUSH1 0xa0 000013a4: SHL 000013a5: DUP5 000013a6: DIV 000013a7: AND 000013a8: PUSH1 0x04 000013aa: DUP3 000013ab: ADD 000013ac: MSTORE 000013ad: SWAP1 000013ae: MLOAD 000013af: PUSH1 0x01 000013b1: PUSH1 0x01 000013b3: PUSH1 0xa0 000013b5: SHL 000013b6: SUB 000013b7: SWAP1 000013b8: SWAP3 000013b9: AND 000013ba: SWAP2 000013bb: PUSH4 0x18dc4295 000013c0: SWAP2 000013c1: PUSH1 0x24 000013c3: DUP1 000013c4: DUP3 000013c5: ADD 000013c6: SWAP3 000013c7: PUSH1 0x20 000013c9: SWAP3 000013ca: SWAP1 000013cb: SWAP2 000013cc: SWAP1 000013cd: DUP3 000013ce: SWAP1 000013cf: SUB 000013d0: ADD 000013d1: DUP2 000013d2: DUP7 000013d3: DUP1 000013d4: EXTCODESIZE 000013d5: ISZERO 000013d6: DUP1 000013d7: ISZERO 000013d8: PUSH2 0x13e0 000013db: JUMPI 000013dc: PUSH1 0x00 000013de: DUP1 000013df: REVERT 000013e0: JUMPDEST 000013e1: POP 000013e2: GAS 000013e3: STATICCALL 000013e4: ISZERO 000013e5: DUP1 000013e6: ISZERO 000013e7: PUSH2 0x13f4 000013ea: JUMPI 000013eb: RETURNDATASIZE 000013ec: PUSH1 0x00 000013ee: DUP1 000013ef: RETURNDATACOPY 000013f0: RETURNDATASIZE 000013f1: PUSH1 0x00 000013f3: REVERT 000013f4: JUMPDEST 000013f5: POP 000013f6: POP 000013f7: POP 000013f8: POP 000013f9: PUSH1 0x40 000013fb: MLOAD 000013fc: RETURNDATASIZE 000013fd: PUSH1 0x20 000013ff: DUP2 00001400: LT 00001401: ISZERO 00001402: PUSH2 0x140a 00001405: JUMPI 00001406: PUSH1 0x00 00001408: DUP1 00001409: REVERT 0000140a: JUMPDEST 0000140b: POP 0000140c: MLOAD 0000140d: PUSH1 0x00 0000140f: DUP1 00001410: SLOAD 00001411: PUSH1 0x40 00001413: DUP1 00001414: MLOAD 00001415: PUSH4 0x543a185d 0000141a: PUSH1 0xe1 0000141c: SHL 0000141d: DUP2 0000141e: MSTORE 0000141f: PUSH1 0x01 00001421: PUSH1 0x01 00001423: PUSH1 0xa0 00001425: SHL 00001426: SUB 00001427: DUP1 00001428: DUP7 00001429: AND 0000142a: PUSH1 0x04 0000142c: DUP4 0000142d: ADD 0000142e: MSTORE 0000142f: DUP3 00001430: MLOAD 00001431: SWAP6 00001432: SWAP7 00001433: POP 00001434: SWAP4 00001435: SWAP5 00001436: DUP6 00001437: SWAP5 00001438: SWAP1 00001439: SWAP4 0000143a: AND 0000143b: SWAP3 0000143c: PUSH4 0xa87430ba 00001441: SWAP3 00001442: PUSH1 0x24 00001444: DUP1 00001445: DUP5 00001446: ADD 00001447: SWAP4 00001448: SWAP2 00001449: SWAP3 0000144a: SWAP2 0000144b: DUP3 0000144c: SWAP1 0000144d: SUB 0000144e: ADD 0000144f: DUP2 00001450: DUP7 00001451: DUP1 00001452: EXTCODESIZE 00001453: ISZERO 00001454: DUP1 00001455: ISZERO 00001456: PUSH2 0x145e 00001459: JUMPI 0000145a: PUSH1 0x00 0000145c: DUP1 0000145d: REVERT 0000145e: JUMPDEST 0000145f: POP 00001460: GAS 00001461: STATICCALL 00001462: ISZERO 00001463: DUP1 00001464: ISZERO 00001465: PUSH2 0x1472 00001468: JUMPI 00001469: RETURNDATASIZE 0000146a: PUSH1 0x00 0000146c: DUP1 0000146d: RETURNDATACOPY 0000146e: RETURNDATASIZE 0000146f: PUSH1 0x00 00001471: REVERT 00001472: JUMPDEST 00001473: POP 00001474: POP 00001475: POP 00001476: POP 00001477: PUSH1 0x40 00001479: MLOAD 0000147a: RETURNDATASIZE 0000147b: PUSH1 0x40 0000147d: DUP2 0000147e: LT 0000147f: ISZERO 00001480: PUSH2 0x1488 00001483: JUMPI 00001484: PUSH1 0x00 00001486: DUP1 00001487: REVERT 00001488: JUMPDEST 00001489: POP 0000148a: DUP1 0000148b: MLOAD 0000148c: PUSH1 0x20 0000148e: SWAP1 0000148f: SWAP2 00001490: ADD 00001491: MLOAD 00001492: SWAP1 00001493: SWAP3 00001494: POP 00001495: SWAP1 00001496: POP 00001497: PUSH1 0x01 00001499: PUSH1 0x01 0000149b: PUSH1 0x40 0000149d: SHL 0000149e: SUB 0000149f: DUP3 000014a0: AND 000014a1: ISZERO 000014a2: PUSH2 0x17a7 000014a5: JUMPI 000014a6: PUSH1 0x00 000014a8: DUP1 000014a9: SLOAD 000014aa: PUSH8 0xffffffffffffffff 000014b3: PUSH1 0xa0 000014b5: SHL 000014b6: NOT 000014b7: DUP2 000014b8: AND 000014b9: PUSH1 0x01 000014bb: PUSH1 0xa0 000014bd: SHL 000014be: SWAP2 000014bf: DUP3 000014c0: SWAP1 000014c1: DIV 000014c2: PUSH1 0x01 000014c4: PUSH1 0x01 000014c6: PUSH1 0x40 000014c8: SHL 000014c9: SUB 000014ca: SWAP1 000014cb: DUP2 000014cc: AND 000014cd: PUSH1 0x01 000014cf: ADD 000014d0: DUP2 000014d1: AND 000014d2: SWAP1 000014d3: SWAP3 000014d4: MUL 000014d5: OR 000014d6: DUP1 000014d7: DUP4 000014d8: SSTORE 000014d9: PUSH1 0x40 000014db: DUP1 000014dc: MLOAD 000014dd: PUSH4 0x18dc4295 000014e2: PUSH1 0xe0 000014e4: SHL 000014e5: DUP2 000014e6: MSTORE 000014e7: SWAP3 000014e8: DUP6 000014e9: AND 000014ea: PUSH1 0x04 000014ec: DUP5 000014ed: ADD 000014ee: MSTORE 000014ef: MLOAD 000014f0: PUSH1 0x01 000014f2: PUSH1 0x01 000014f4: PUSH1 0xa0 000014f6: SHL 000014f7: SUB 000014f8: SWAP1 000014f9: SWAP2 000014fa: AND 000014fb: SWAP2 000014fc: PUSH4 0x18dc4295 00001501: SWAP2 00001502: PUSH1 0x24 00001504: DUP1 00001505: DUP4 00001506: ADD 00001507: SWAP3 00001508: PUSH1 0x20 0000150a: SWAP3 0000150b: SWAP2 0000150c: SWAP1 0000150d: DUP3 0000150e: SWAP1 0000150f: SUB 00001510: ADD 00001511: DUP2 00001512: DUP7 00001513: DUP1 00001514: EXTCODESIZE 00001515: ISZERO 00001516: DUP1 00001517: ISZERO 00001518: PUSH2 0x1520 0000151b: JUMPI 0000151c: PUSH1 0x00 0000151e: DUP1 0000151f: REVERT 00001520: JUMPDEST 00001521: POP 00001522: GAS 00001523: STATICCALL 00001524: ISZERO 00001525: DUP1 00001526: ISZERO 00001527: PUSH2 0x1534 0000152a: JUMPI 0000152b: RETURNDATASIZE 0000152c: PUSH1 0x00 0000152e: DUP1 0000152f: RETURNDATACOPY 00001530: RETURNDATASIZE 00001531: PUSH1 0x00 00001533: REVERT 00001534: JUMPDEST 00001535: POP 00001536: POP 00001537: POP 00001538: POP 00001539: PUSH1 0x40 0000153b: MLOAD 0000153c: RETURNDATASIZE 0000153d: PUSH1 0x20 0000153f: DUP2 00001540: LT 00001541: ISZERO 00001542: PUSH2 0x154a 00001545: JUMPI 00001546: PUSH1 0x00 00001548: DUP1 00001549: REVERT 0000154a: JUMPDEST 0000154b: POP 0000154c: MLOAD 0000154d: PUSH1 0x01 0000154f: PUSH1 0x01 00001551: PUSH1 0xa0 00001553: SHL 00001554: SUB 00001555: DUP6 00001556: AND 00001557: PUSH1 0x00 00001559: SWAP1 0000155a: DUP2 0000155b: MSTORE 0000155c: PUSH1 0x04 0000155e: PUSH1 0x20 00001560: MSTORE 00001561: PUSH1 0x40 00001563: SWAP1 00001564: KECCAK256 00001565: SLOAD 00001566: SWAP1 00001567: SWAP2 00001568: POP 00001569: PUSH1 0x01 0000156b: PUSH1 0x01 0000156d: PUSH1 0x40 0000156f: SHL 00001570: SUB 00001571: AND 00001572: ISZERO 00001573: DUP1 00001574: ISZERO 00001575: PUSH2 0x159e 00001578: JUMPI 00001579: POP 0000157a: PUSH1 0x01 0000157c: PUSH1 0x01 0000157e: PUSH1 0xa0 00001580: SHL 00001581: SUB 00001582: DUP2 00001583: AND 00001584: PUSH1 0x00 00001586: SWAP1 00001587: DUP2 00001588: MSTORE 00001589: PUSH1 0x04 0000158b: PUSH1 0x20 0000158d: MSTORE 0000158e: PUSH1 0x40 00001590: SWAP1 00001591: KECCAK256 00001592: SLOAD 00001593: PUSH1 0x01 00001595: PUSH1 0x01 00001597: PUSH1 0x40 00001599: SHL 0000159a: SUB 0000159b: AND 0000159c: ISZERO 0000159d: ISZERO 0000159e: JUMPDEST 0000159f: ISZERO 000015a0: PUSH2 0x17a1 000015a3: JUMPI 000015a4: PUSH1 0x01 000015a6: DUP1 000015a7: SLOAD 000015a8: PUSH1 0x01 000015aa: PUSH1 0x01 000015ac: PUSH1 0x40 000015ae: SHL 000015af: SUB 000015b0: PUSH1 0x01 000015b2: PUSH1 0xa0 000015b4: SHL 000015b5: DUP1 000015b6: DUP4 000015b7: DIV 000015b8: DUP3 000015b9: AND 000015ba: DUP5 000015bb: ADD 000015bc: DUP3 000015bd: AND 000015be: DUP1 000015bf: DUP3 000015c0: MUL 000015c1: PUSH8 0xffffffffffffffff 000015ca: PUSH1 0xa0 000015cc: SHL 000015cd: NOT 000015ce: SWAP1 000015cf: SWAP5 000015d0: AND 000015d1: SWAP4 000015d2: SWAP1 000015d3: SWAP4 000015d4: OR 000015d5: DUP5 000015d6: SSTORE 000015d7: PUSH1 0x01 000015d9: PUSH1 0x01 000015db: PUSH1 0xa0 000015dd: SHL 000015de: SUB 000015df: DUP1 000015e0: DUP10 000015e1: AND 000015e2: PUSH1 0x00 000015e4: DUP2 000015e5: DUP2 000015e6: MSTORE 000015e7: PUSH1 0x04 000015e9: PUSH1 0x20 000015eb: DUP2 000015ec: DUP2 000015ed: MSTORE 000015ee: PUSH1 0x40 000015f0: DUP1 000015f1: DUP5 000015f2: KECCAK256 000015f3: DUP1 000015f4: SLOAD 000015f5: PUSH8 0xffffffffffffffff 000015fe: NOT 000015ff: AND 00001600: SWAP1 00001601: SWAP10 00001602: OR 00001603: DUP1 00001604: DUP11 00001605: SSTORE 00001606: SWAP6 00001607: DUP12 00001608: AND 00001609: DUP5 0000160a: MSTORE 0000160b: DUP1 0000160c: DUP5 0000160d: KECCAK256 0000160e: DUP1 0000160f: SLOAD 00001610: PUSH1 0x01 00001612: PUSH1 0x40 00001614: SHL 00001615: SWAP1 00001616: DUP11 00001617: AND 00001618: MUL 00001619: PUSH8 0xffffffffffffffff 00001622: PUSH1 0x40 00001624: SHL 00001625: NOT 00001626: SWAP1 00001627: SWAP8 00001628: AND 00001629: SWAP7 0000162a: SWAP1 0000162b: SWAP7 0000162c: OR 0000162d: SWAP1 0000162e: SWAP9 0000162f: SSTORE 00001630: DUP9 00001631: SLOAD 00001632: SWAP6 00001633: SWAP1 00001634: SWAP6 00001635: DIV 00001636: SWAP1 00001637: SWAP6 00001638: AND 00001639: DUP2 0000163a: MSTORE 0000163b: PUSH1 0x05 0000163d: DUP5 0000163e: MSTORE 0000163f: SWAP5 00001640: DUP6 00001641: KECCAK256 00001642: DUP1 00001643: SLOAD 00001644: PUSH1 0x01 00001646: PUSH1 0x01 00001648: PUSH1 0xa0 0000164a: SHL 0000164b: SUB 0000164c: NOT 0000164d: SWAP1 0000164e: DUP2 0000164f: AND 00001650: DUP4 00001651: OR 00001652: SWAP1 00001653: SWAP2 00001654: SSTORE 00001655: SWAP4 00001656: DUP4 00001657: MSTORE 00001658: SWAP1 00001659: DUP6 0000165a: ADD 0000165b: DUP1 0000165c: SLOAD 0000165d: DUP1 0000165e: DUP8 0000165f: ADD 00001660: DUP3 00001661: SSTORE 00001662: SWAP1 00001663: DUP6 00001664: MSTORE 00001665: SWAP2 00001666: SWAP1 00001667: SWAP4 00001668: KECCAK256 00001669: ADD 0000166a: DUP1 0000166b: SLOAD 0000166c: SWAP1 0000166d: SWAP2 0000166e: AND 0000166f: SWAP1 00001670: SWAP2 00001671: OR 00001672: SWAP1 00001673: SSTORE 00001674: JUMPDEST 00001675: PUSH1 0x0c 00001677: DUP2 00001678: PUSH1 0xff 0000167a: AND 0000167b: GT 0000167c: PUSH2 0x175e 0000167f: JUMPI 00001680: PUSH1 0x00 00001682: DUP1 00001683: SLOAD 00001684: PUSH1 0x40 00001686: DUP1 00001687: MLOAD 00001688: PUSH4 0x48c525ed 0000168d: PUSH1 0xe0 0000168f: SHL 00001690: DUP2 00001691: MSTORE 00001692: PUSH1 0x01 00001694: PUSH1 0x01 00001696: PUSH1 0xa0 00001698: SHL 00001699: SUB 0000169a: DUP10 0000169b: DUP2 0000169c: AND 0000169d: PUSH1 0x04 0000169f: DUP4 000016a0: ADD 000016a1: MSTORE 000016a2: PUSH1 0xff 000016a4: DUP7 000016a5: AND 000016a6: PUSH1 0x24 000016a8: DUP4 000016a9: ADD 000016aa: MSTORE 000016ab: SWAP2 000016ac: MLOAD 000016ad: SWAP2 000016ae: SWAP1 000016af: SWAP3 000016b0: AND 000016b1: SWAP2 000016b2: PUSH4 0x48c525ed 000016b7: SWAP2 000016b8: PUSH1 0x44 000016ba: DUP1 000016bb: DUP4 000016bc: ADD 000016bd: SWAP3 000016be: PUSH1 0x20 000016c0: SWAP3 000016c1: SWAP2 000016c2: SWAP1 000016c3: DUP3 000016c4: SWAP1 000016c5: SUB 000016c6: ADD 000016c7: DUP2 000016c8: DUP7 000016c9: DUP1 000016ca: EXTCODESIZE 000016cb: ISZERO 000016cc: DUP1 000016cd: ISZERO 000016ce: PUSH2 0x16d6 000016d1: JUMPI 000016d2: PUSH1 0x00 000016d4: DUP1 000016d5: REVERT 000016d6: JUMPDEST 000016d7: POP 000016d8: GAS 000016d9: STATICCALL 000016da: ISZERO 000016db: DUP1 000016dc: ISZERO 000016dd: PUSH2 0x16ea 000016e0: JUMPI 000016e1: RETURNDATASIZE 000016e2: PUSH1 0x00 000016e4: DUP1 000016e5: RETURNDATACOPY 000016e6: RETURNDATASIZE 000016e7: PUSH1 0x00 000016e9: REVERT 000016ea: JUMPDEST 000016eb: POP 000016ec: POP 000016ed: POP 000016ee: POP 000016ef: PUSH1 0x40 000016f1: MLOAD 000016f2: RETURNDATASIZE 000016f3: PUSH1 0x20 000016f5: DUP2 000016f6: LT 000016f7: ISZERO 000016f8: PUSH2 0x1700 000016fb: JUMPI 000016fc: PUSH1 0x00 000016fe: DUP1 000016ff: REVERT 00001700: JUMPDEST 00001701: POP 00001702: MLOAD 00001703: SWAP1 00001704: POP 00001705: TIMESTAMP 00001706: DUP2 00001707: GT 00001708: ISZERO 00001709: PUSH2 0x1755 0000170c: JUMPI 0000170d: PUSH1 0x01 0000170f: PUSH1 0x01 00001711: PUSH1 0xa0 00001713: SHL 00001714: SUB 00001715: DUP7 00001716: AND 00001717: PUSH1 0x00 00001719: SWAP1 0000171a: DUP2 0000171b: MSTORE 0000171c: PUSH1 0x04 0000171e: PUSH1 0x20 00001720: SWAP1 00001721: DUP2 00001722: MSTORE 00001723: PUSH1 0x40 00001725: DUP1 00001726: DUP4 00001727: KECCAK256 00001728: PUSH1 0xff 0000172a: DUP7 0000172b: AND 0000172c: DUP5 0000172d: MSTORE 0000172e: PUSH1 0x02 00001730: ADD 00001731: SWAP1 00001732: SWAP2 00001733: MSTORE 00001734: SWAP1 00001735: KECCAK256 00001736: DUP1 00001737: SLOAD 00001738: PUSH8 0xffffffffffffffff 00001741: NOT 00001742: AND 00001743: PUSH3 0x278d00 00001747: DUP4 00001748: ADD 00001749: PUSH1 0x01 0000174b: PUSH1 0x01 0000174d: PUSH1 0x40 0000174f: SHL 00001750: SUB 00001751: AND 00001752: OR 00001753: SWAP1 00001754: SSTORE 00001755: JUMPDEST 00001756: POP 00001757: PUSH1 0x01 00001759: ADD 0000175a: PUSH2 0x1674 0000175d: JUMP 0000175e: JUMPDEST 0000175f: POP 00001760: PUSH1 0x40 00001762: DUP1 00001763: MLOAD 00001764: PUSH1 0x01 00001766: PUSH1 0x01 00001768: PUSH1 0xa0 0000176a: SHL 0000176b: SUB 0000176c: DUP4 0000176d: DUP2 0000176e: AND 0000176f: DUP3 00001770: MSTORE 00001771: SWAP2 00001772: MLOAD 00001773: SWAP2 00001774: DUP7 00001775: AND 00001776: SWAP2 00001777: PUSH32 0x2a4f530ae55f002aac4686b649762fc68e96bd8b80ac835b41777145c94e1f8a 00001798: SWAP2 00001799: DUP2 0000179a: SWAP1 0000179b: SUB 0000179c: PUSH1 0x20 0000179e: ADD 0000179f: SWAP1 000017a0: LOG2 000017a1: JUMPDEST 000017a2: POP 000017a3: PUSH2 0x17af 000017a6: JUMP 000017a7: JUMPDEST 000017a8: POP 000017a9: POP 000017aa: POP 000017ab: PUSH2 0x17ba 000017ae: JUMP 000017af: JUMPDEST 000017b0: POP 000017b1: POP 000017b2: POP 000017b3: PUSH1 0x01 000017b5: ADD 000017b6: PUSH2 0x137d 000017b9: JUMP 000017ba: JUMPDEST 000017bb: POP 000017bc: POP 000017bd: JUMP 000017be: JUMPDEST 000017bf: PUSH3 0x278d00 000017c3: DUP2 000017c4: JUMP 000017c5: JUMPDEST 000017c6: PUSH1 0x02 000017c8: PUSH1 0x20 000017ca: MSTORE 000017cb: PUSH1 0x00 000017cd: SWAP1 000017ce: DUP2 000017cf: MSTORE 000017d0: PUSH1 0x40 000017d2: SWAP1 000017d3: KECCAK256 000017d4: SLOAD 000017d5: DUP2 000017d6: JUMP 000017d7: JUMPDEST 000017d8: PUSH1 0x02 000017da: DUP2 000017db: JUMP 000017dc: JUMPDEST 000017dd: PUSH1 0x00 000017df: PUSH1 0x01 000017e1: DUP4 000017e2: AND 000017e3: PUSH2 0x1840 000017e6: JUMPI 000017e7: POP 000017e8: PUSH1 0x01 000017ea: PUSH1 0x01 000017ec: PUSH1 0xa0 000017ee: SHL 000017ef: SUB 000017f0: DUP1 000017f1: DUP3 000017f2: AND 000017f3: PUSH1 0x00 000017f5: SWAP1 000017f6: DUP2 000017f7: MSTORE 000017f8: PUSH1 0x04 000017fa: PUSH1 0x20 000017fc: DUP2 000017fd: DUP2 000017fe: MSTORE 000017ff: PUSH1 0x40 00001801: DUP1 00001802: DUP5 00001803: KECCAK256 00001804: SLOAD 00001805: PUSH1 0x01 00001807: PUSH1 0x01 00001809: PUSH1 0x40 0000180b: SHL 0000180c: SUB 0000180d: PUSH1 0x01 0000180f: PUSH1 0x40 00001811: SHL 00001812: SWAP2 00001813: DUP3 00001814: SWAP1 00001815: DIV 00001816: DUP2 00001817: AND 00001818: DUP7 00001819: MSTORE 0000181a: PUSH1 0x05 0000181c: DUP1 0000181d: DUP6 0000181e: MSTORE 0000181f: DUP4 00001820: DUP8 00001821: KECCAK256 00001822: SLOAD 00001823: DUP9 00001824: AND 00001825: DUP8 00001826: MSTORE 00001827: SWAP5 00001828: DUP5 00001829: MSTORE 0000182a: DUP3 0000182b: DUP7 0000182c: KECCAK256 0000182d: SLOAD 0000182e: SWAP2 0000182f: SWAP1 00001830: SWAP2 00001831: DIV 00001832: AND 00001833: DUP5 00001834: MSTORE 00001835: SWAP2 00001836: SWAP1 00001837: MSTORE 00001838: SWAP1 00001839: KECCAK256 0000183a: SLOAD 0000183b: AND 0000183c: PUSH2 0x187a 0000183f: JUMP 00001840: JUMPDEST 00001841: POP 00001842: PUSH1 0x01 00001844: PUSH1 0x01 00001846: PUSH1 0xa0 00001848: SHL 00001849: SUB 0000184a: DUP2 0000184b: DUP2 0000184c: AND 0000184d: PUSH1 0x00 0000184f: SWAP1 00001850: DUP2 00001851: MSTORE 00001852: PUSH1 0x04 00001854: PUSH1 0x20 00001856: SWAP1 00001857: DUP2 00001858: MSTORE 00001859: PUSH1 0x40 0000185b: DUP1 0000185c: DUP4 0000185d: KECCAK256 0000185e: SLOAD 0000185f: PUSH1 0x01 00001861: PUSH1 0x40 00001863: SHL 00001864: SWAP1 00001865: DIV 00001866: PUSH1 0x01 00001868: PUSH1 0x01 0000186a: PUSH1 0x40 0000186c: SHL 0000186d: SUB 0000186e: AND 0000186f: DUP4 00001870: MSTORE 00001871: PUSH1 0x05 00001873: SWAP1 00001874: SWAP2 00001875: MSTORE 00001876: SWAP1 00001877: KECCAK256 00001878: SLOAD 00001879: AND 0000187a: JUMPDEST 0000187b: PUSH1 0x01 0000187d: PUSH1 0x01 0000187f: PUSH1 0xa0 00001881: SHL 00001882: SUB 00001883: DUP2 00001884: AND 00001885: PUSH1 0x00 00001887: SWAP1 00001888: DUP2 00001889: MSTORE 0000188a: PUSH1 0x04 0000188c: PUSH1 0x20 0000188e: MSTORE 0000188f: PUSH1 0x40 00001891: SWAP1 00001892: KECCAK256 00001893: SLOAD 00001894: PUSH1 0x01 00001896: PUSH1 0x01 00001898: PUSH1 0x40 0000189a: SHL 0000189b: SUB 0000189c: AND 0000189d: PUSH2 0x18d7 000018a0: JUMPI 000018a1: POP 000018a2: PUSH1 0x01 000018a4: PUSH1 0x00 000018a6: MSTORE 000018a7: PUSH1 0x05 000018a9: PUSH1 0x20 000018ab: MSTORE 000018ac: PUSH32 0x1471eb6eb2c5e789fc3de43f8ce62938c7d1836ec861730447e2ada8fd81017b 000018cd: SLOAD 000018ce: PUSH1 0x01 000018d0: PUSH1 0x01 000018d2: PUSH1 0xa0 000018d4: SHL 000018d5: SUB 000018d6: AND 000018d7: JUMPDEST 000018d8: PUSH1 0x01 000018da: PUSH1 0x01 000018dc: PUSH1 0xa0 000018de: SHL 000018df: SUB 000018e0: DUP2 000018e1: AND 000018e2: PUSH1 0x00 000018e4: SWAP1 000018e5: DUP2 000018e6: MSTORE 000018e7: PUSH1 0x04 000018e9: PUSH1 0x20 000018eb: SWAP1 000018ec: DUP2 000018ed: MSTORE 000018ee: PUSH1 0x40 000018f0: DUP1 000018f1: DUP4 000018f2: KECCAK256 000018f3: PUSH1 0xff 000018f5: DUP8 000018f6: AND 000018f7: DUP5 000018f8: MSTORE 000018f9: PUSH1 0x02 000018fb: ADD 000018fc: SWAP1 000018fd: SWAP2 000018fe: MSTORE 000018ff: SWAP1 00001900: KECCAK256 00001901: SLOAD 00001902: TIMESTAMP 00001903: PUSH1 0x01 00001905: PUSH1 0x01 00001907: PUSH1 0x40 00001909: SHL 0000190a: SUB 0000190b: SWAP1 0000190c: SWAP2 0000190d: AND 0000190e: LT 0000190f: PUSH2 0x19de 00001912: JUMPI 00001913: PUSH1 0xff 00001915: DUP4 00001916: AND 00001917: PUSH1 0x00 00001919: SWAP1 0000191a: DUP2 0000191b: MSTORE 0000191c: PUSH1 0x02 0000191e: PUSH1 0x20 00001920: MSTORE 00001921: PUSH1 0x40 00001923: DUP1 00001924: DUP3 00001925: KECCAK256 00001926: SLOAD 00001927: SWAP1 00001928: MLOAD 00001929: PUSH1 0x01 0000192b: PUSH1 0x01 0000192d: PUSH1 0xa0 0000192f: SHL 00001930: SUB 00001931: DUP5 00001932: AND 00001933: SWAP3 00001934: DUP3 00001935: ISZERO 00001936: PUSH2 0x08fc 00001939: MUL 0000193a: SWAP3 0000193b: SWAP2 0000193c: SWAP1 0000193d: DUP2 0000193e: DUP2 0000193f: DUP2 00001940: DUP6 00001941: DUP9 00001942: DUP9 00001943: CALL 00001944: SWAP4 00001945: POP 00001946: POP 00001947: POP 00001948: POP 00001949: ISZERO 0000194a: PUSH2 0x1995 0000194d: JUMPI 0000194e: PUSH1 0x40 00001950: DUP1 00001951: MLOAD 00001952: PUSH1 0xff 00001954: DUP6 00001955: AND 00001956: DUP2 00001957: MSTORE 00001958: SWAP1 00001959: MLOAD 0000195a: CALLER 0000195b: SWAP2 0000195c: PUSH1 0x01 0000195e: PUSH1 0x01 00001960: PUSH1 0xa0 00001962: SHL 00001963: SUB 00001964: DUP5 00001965: AND 00001966: SWAP2 00001967: PUSH32 0x33c58cf3952ad654efaaa2d15d41a73861296942a1a17838ecb6b7ebd429d509 00001988: SWAP2 00001989: DUP2 0000198a: SWAP1 0000198b: SUB 0000198c: PUSH1 0x20 0000198e: ADD 0000198f: SWAP1 00001990: LOG3 00001991: PUSH2 0x19d9 00001994: JUMP 00001995: JUMPDEST 00001996: PUSH1 0x40 00001998: DUP1 00001999: MLOAD 0000199a: PUSH1 0xff 0000199c: DUP6 0000199d: AND 0000199e: DUP2 0000199f: MSTORE 000019a0: SWAP1 000019a1: MLOAD 000019a2: CALLER 000019a3: SWAP2 000019a4: PUSH1 0x01 000019a6: PUSH1 0x01 000019a8: PUSH1 0xa0 000019aa: SHL 000019ab: SUB 000019ac: DUP5 000019ad: AND 000019ae: SWAP2 000019af: PUSH32 0x79a61a6d03a90d183ca505b0169f994419ac226d5b2a84b3b71ce2521a4fb031 000019d0: SWAP2 000019d1: DUP2 000019d2: SWAP1 000019d3: SUB 000019d4: PUSH1 0x20 000019d6: ADD 000019d7: SWAP1 000019d8: LOG3 000019d9: JUMPDEST 000019da: PUSH2 0x1a2b 000019dd: JUMP 000019de: JUMPDEST 000019df: PUSH1 0x40 000019e1: DUP1 000019e2: MLOAD 000019e3: PUSH1 0xff 000019e5: DUP6 000019e6: AND 000019e7: DUP2 000019e8: MSTORE 000019e9: SWAP1 000019ea: MLOAD 000019eb: CALLER 000019ec: SWAP2 000019ed: PUSH1 0x01 000019ef: PUSH1 0x01 000019f1: PUSH1 0xa0 000019f3: SHL 000019f4: SUB 000019f5: DUP5 000019f6: AND 000019f7: SWAP2 000019f8: PUSH32 0xe5f7fb3d92291a4684b7f64610f8892804d71c7d92392eaf6e5f8411e1380d36 00001a19: SWAP2 00001a1a: DUP2 00001a1b: SWAP1 00001a1c: SUB 00001a1d: PUSH1 0x20 00001a1f: ADD 00001a20: SWAP1 00001a21: LOG3 00001a22: PUSH2 0x1a2b 00001a25: DUP4 00001a26: DUP3 00001a27: PUSH2 0x17dc 00001a2a: JUMP 00001a2b: JUMPDEST 00001a2c: POP 00001a2d: POP 00001a2e: POP 00001a2f: JUMP 00001a30: JUMPDEST 00001a31: DUP3 00001a32: DUP1 00001a33: SLOAD 00001a34: DUP3 00001a35: DUP3 00001a36: SSTORE 00001a37: SWAP1 00001a38: PUSH1 0x00 00001a3a: MSTORE 00001a3b: PUSH1 0x20 00001a3d: PUSH1 0x00 00001a3f: KECCAK256 00001a40: SWAP1 00001a41: DUP2 00001a42: ADD 00001a43: SWAP3 00001a44: DUP3 00001a45: ISZERO 00001a46: PUSH2 0x1a85 00001a49: JUMPI 00001a4a: SWAP2 00001a4b: PUSH1 0x20 00001a4d: MUL 00001a4e: DUP3 00001a4f: ADD 00001a50: JUMPDEST 00001a51: DUP3 00001a52: DUP2 00001a53: GT 00001a54: ISZERO 00001a55: PUSH2 0x1a85 00001a58: JUMPI 00001a59: DUP3 00001a5a: MLOAD 00001a5b: DUP3 00001a5c: SLOAD 00001a5d: PUSH1 0x01 00001a5f: PUSH1 0x01 00001a61: PUSH1 0xa0 00001a63: SHL 00001a64: SUB 00001a65: NOT 00001a66: AND 00001a67: PUSH1 0x01 00001a69: PUSH1 0x01 00001a6b: PUSH1 0xa0 00001a6d: SHL 00001a6e: SUB 00001a6f: SWAP1 00001a70: SWAP2 00001a71: AND 00001a72: OR 00001a73: DUP3 00001a74: SSTORE 00001a75: PUSH1 0x20 00001a77: SWAP1 00001a78: SWAP3 00001a79: ADD 00001a7a: SWAP2 00001a7b: PUSH1 0x01 00001a7d: SWAP1 00001a7e: SWAP2 00001a7f: ADD 00001a80: SWAP1 00001a81: PUSH2 0x1a50 00001a84: JUMP 00001a85: JUMPDEST 00001a86: POP 00001a87: PUSH2 0x1a91 00001a8a: SWAP3 00001a8b: SWAP2 00001a8c: POP 00001a8d: PUSH2 0x1a95 00001a90: JUMP 00001a91: JUMPDEST 00001a92: POP 00001a93: SWAP1 00001a94: JUMP 00001a95: JUMPDEST 00001a96: PUSH2 0x1ab9 00001a99: SWAP2 00001a9a: SWAP1 00001a9b: JUMPDEST 00001a9c: DUP1 00001a9d: DUP3 00001a9e: GT 00001a9f: ISZERO 00001aa0: PUSH2 0x1a91 00001aa3: JUMPI 00001aa4: DUP1 00001aa5: SLOAD 00001aa6: PUSH1 0x01 00001aa8: PUSH1 0x01 00001aaa: PUSH1 0xa0 00001aac: SHL 00001aad: SUB 00001aae: NOT 00001aaf: AND 00001ab0: DUP2 00001ab1: SSTORE 00001ab2: PUSH1 0x01 00001ab4: ADD 00001ab5: PUSH2 0x1a9b 00001ab8: JUMP 00001ab9: JUMPDEST 00001aba: SWAP1 00001abb: JUMP 00001abc: INVALID 00001abd: LOG2 00001abe: PUSH6 0x627a7a723158 00001ac5: KECCAK256 00001ac6: DUP7 00001ac7: INVALID 00001ac8: PUSH12 0xb812ad757b6500d66adc856c 00001ad5: ORIGIN 00001ad6: CALLVALUE 00001ad7: ADD 00001ad8: PUSH11 0x27f405d003d92978190377 00001ae4: SWAP4 00001ae5: UNKNOWN(0xD4) 00001ae6: PUSH5 0x736f6c6343 00001aec: STOP 00001aed: SDIV 00001aee: UNKNOWN(0x0D) 00001aef: STOP 00001af0: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xb3001cb6",
"selector": "0xb3001cb6",
"calldata_variants": [
"0xb3001cb6",
"0xb3001cb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd50c0de0",
"selector": "0xd50c0de0",
"calldata_variants": [
"0xd50c0de0",
"0xd50c0de00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7a891b9",
"selector": "0xe7a891b9",
"calldata_variants": [
"0xe7a891b9",
"0xe7a891b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecabdf79",
"selector": "0xecabdf79",
"calldata_variants": [
"0xecabdf79",
"0xecabdf790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf456b9a5",
"selector": "0xf456b9a5",
"calldata_variants": [
"0xf456b9a5",
"0xf456b9a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d17a4d0",
"selector": "0x8d17a4d0",
"calldata_variants": [
"0x8d17a4d0",
"0x8d17a4d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x928989f9",
"selector": "0x928989f9",
"calldata_variants": [
"0x928989f9",
"0x928989f90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9335dcb7",
"selector": "0x9335dcb7",
"calldata_variants": [
"0x9335dcb7",
"0x9335dcb70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6869,
"type": "tx_origin_used"
},
{
"pc": 6896,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x69bf635ab09d5862704f172587b3b807338e178f333d947268c5fdf46c6e45b0
call_targets:
0x1a3b7917b5952eef04e7dd3c9d8a736b57fb2613
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x69bf635ab09d5862704f172587b3b807338e178f333d947268c5fdf46c6e45b0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1a3b7917b5952eef04e7dd3c9d8a736b57fb2613"
],
"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": "0xb3001cb6",
"selector": "0xb3001cb6",
"calldata_variants": [
"0xb3001cb6",
"0xb3001cb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd50c0de0",
"selector": "0xd50c0de0",
"calldata_variants": [
"0xd50c0de0",
"0xd50c0de00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7a891b9",
"selector": "0xe7a891b9",
"calldata_variants": [
"0xe7a891b9",
"0xe7a891b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecabdf79",
"selector": "0xecabdf79",
"calldata_variants": [
"0xecabdf79",
"0xecabdf790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf456b9a5",
"selector": "0xf456b9a5",
"calldata_variants": [
"0xf456b9a5",
"0xf456b9a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d17a4d0",
"selector": "0x8d17a4d0",
"calldata_variants": [
"0x8d17a4d0",
"0x8d17a4d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x928989f9",
"selector": "0x928989f9",
"calldata_variants": [
"0x928989f9",
"0x928989f90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9335dcb7",
"selector": "0x9335dcb7",
"calldata_variants": [
"0x9335dcb7",
"0x9335dcb70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6467,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 6869,
"type": "tx_origin_used"
},
{
"pc": 6896,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x69bf635ab09d5862704f172587b3b807338e178f333d947268c5fdf46c6e45b0
call_targets:
0x1a3b7917b5952eef04e7dd3c9d8a736b57fb2613
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x69bf635ab09d5862704f172587b3b807338e178f333d947268c5fdf46c6e45b0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1a3b7917b5952eef04e7dd3c9d8a736b57fb2613"
],
"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": "0xb3001cb6",
"selector": "0xb3001cb6",
"calldata_variants": [
"0xb3001cb6",
"0xb3001cb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd50c0de0",
"selector": "0xd50c0de0",
"calldata_variants": [
"0xd50c0de0",
"0xd50c0de00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe7a891b9",
"selector": "0xe7a891b9",
"calldata_variants": [
"0xe7a891b9",
"0xe7a891b90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xecabdf79",
"selector": "0xecabdf79",
"calldata_variants": [
"0xecabdf79",
"0xecabdf790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf456b9a5",
"selector": "0xf456b9a5",
"calldata_variants": [
"0xf456b9a5",
"0xf456b9a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d17a4d0",
"selector": "0x8d17a4d0",
"calldata_variants": [
"0x8d17a4d0",
"0x8d17a4d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x928989f9",
"selector": "0x928989f9",
"calldata_variants": [
"0x928989f9",
"0x928989f90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9335dcb7",
"selector": "0x9335dcb7",
"calldata_variants": [
"0x9335dcb7",
"0x9335dcb70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6467,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 6869,
"type": "tx_origin_used"
},
{
"pc": 6896,
"type": "tx_origin_used"
}
]
}
|