019b477e-b431-706a-8858-b21c6dfe10f5
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 |
|---|---|---|---|---|
| 22681 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22682 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89561 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89562 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89563 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89564 | 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 0x00df 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: DUP1 00000031: PUSH4 0x99caf975 00000036: GT 00000037: PUSH2 0x009c 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0xdcb5930a 00000041: GT 00000042: PUSH2 0x0076 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0xdcb5930a 0000004c: EQ 0000004d: PUSH2 0x051b 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0xe03ec01d 00000057: EQ 00000058: PUSH2 0x0572 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0xf8b2cb4f 00000062: EQ 00000063: PUSH2 0x0603 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xfa89401a 0000006d: EQ 0000006e: PUSH2 0x0668 00000071: JUMPI 00000072: PUSH2 0x00df 00000075: JUMP 00000076: JUMPDEST 00000077: DUP1 00000078: PUSH4 0x99caf975 0000007d: EQ 0000007e: PUSH2 0x0358 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa543bae7 00000088: EQ 00000089: PUSH2 0x0443 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xd348b5a4 00000093: EQ 00000094: PUSH2 0x04a0 00000097: JUMPI 00000098: PUSH2 0x00df 0000009b: JUMP 0000009c: JUMPDEST 0000009d: DUP1 0000009e: PUSH4 0x1b258d50 000000a3: EQ 000000a4: PUSH2 0x00e4 000000a7: JUMPI 000000a8: DUP1 000000a9: PUSH4 0x284180fc 000000ae: EQ 000000af: PUSH2 0x013f 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x4d025fdf 000000b9: EQ 000000ba: PUSH2 0x01a4 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x5721b89a 000000c4: EQ 000000c5: PUSH2 0x0229 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x8da5cb5b 000000cf: EQ 000000d0: PUSH2 0x0284 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x93716de8 000000da: EQ 000000db: PUSH2 0x02db 000000de: JUMPI 000000df: JUMPDEST 000000e0: PUSH1 0x00 000000e2: DUP1 000000e3: REVERT 000000e4: JUMPDEST 000000e5: CALLVALUE 000000e6: DUP1 000000e7: ISZERO 000000e8: PUSH2 0x00f0 000000eb: JUMPI 000000ec: PUSH1 0x00 000000ee: DUP1 000000ef: REVERT 000000f0: JUMPDEST 000000f1: POP 000000f2: PUSH2 0x013d 000000f5: PUSH1 0x04 000000f7: DUP1 000000f8: CALLDATASIZE 000000f9: SUB 000000fa: PUSH1 0x40 000000fc: DUP2 000000fd: LT 000000fe: ISZERO 000000ff: PUSH2 0x0107 00000102: JUMPI 00000103: PUSH1 0x00 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: DUP2 00000109: ADD 0000010a: SWAP1 0000010b: DUP1 0000010c: DUP1 0000010d: CALLDATALOAD 0000010e: SWAP1 0000010f: PUSH1 0x20 00000111: ADD 00000112: SWAP1 00000113: SWAP3 00000114: SWAP2 00000115: SWAP1 00000116: DUP1 00000117: CALLDATALOAD 00000118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000012d: AND 0000012e: SWAP1 0000012f: PUSH1 0x20 00000131: ADD 00000132: SWAP1 00000133: SWAP3 00000134: SWAP2 00000135: SWAP1 00000136: POP 00000137: POP 00000138: POP 00000139: PUSH2 0x06b9 0000013c: JUMP 0000013d: JUMPDEST 0000013e: STOP 0000013f: JUMPDEST 00000140: CALLVALUE 00000141: DUP1 00000142: ISZERO 00000143: PUSH2 0x014b 00000146: JUMPI 00000147: PUSH1 0x00 00000149: DUP1 0000014a: REVERT 0000014b: JUMPDEST 0000014c: POP 0000014d: PUSH2 0x018e 00000150: PUSH1 0x04 00000152: DUP1 00000153: CALLDATASIZE 00000154: SUB 00000155: PUSH1 0x20 00000157: DUP2 00000158: LT 00000159: ISZERO 0000015a: PUSH2 0x0162 0000015d: JUMPI 0000015e: PUSH1 0x00 00000160: DUP1 00000161: REVERT 00000162: JUMPDEST 00000163: DUP2 00000164: ADD 00000165: SWAP1 00000166: DUP1 00000167: DUP1 00000168: CALLDATALOAD 00000169: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000017e: AND 0000017f: SWAP1 00000180: PUSH1 0x20 00000182: ADD 00000183: SWAP1 00000184: SWAP3 00000185: SWAP2 00000186: SWAP1 00000187: POP 00000188: POP 00000189: POP 0000018a: PUSH2 0x0b3d 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH1 0x40 00000191: MLOAD 00000192: DUP1 00000193: DUP3 00000194: DUP2 00000195: MSTORE 00000196: PUSH1 0x20 00000198: ADD 00000199: SWAP2 0000019a: POP 0000019b: POP 0000019c: PUSH1 0x40 0000019e: MLOAD 0000019f: DUP1 000001a0: SWAP2 000001a1: SUB 000001a2: SWAP1 000001a3: RETURN 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x0213 000001b5: PUSH1 0x04 000001b7: DUP1 000001b8: CALLDATASIZE 000001b9: SUB 000001ba: PUSH1 0x40 000001bc: DUP2 000001bd: LT 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: DUP2 000001c9: ADD 000001ca: SWAP1 000001cb: DUP1 000001cc: DUP1 000001cd: CALLDATALOAD 000001ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e3: AND 000001e4: SWAP1 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP1 000001e9: SWAP3 000001ea: SWAP2 000001eb: SWAP1 000001ec: DUP1 000001ed: CALLDATALOAD 000001ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000203: AND 00000204: SWAP1 00000205: PUSH1 0x20 00000207: ADD 00000208: SWAP1 00000209: SWAP3 0000020a: SWAP2 0000020b: SWAP1 0000020c: POP 0000020d: POP 0000020e: POP 0000020f: PUSH2 0x0bc6 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH1 0x40 00000216: MLOAD 00000217: DUP1 00000218: DUP3 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x20 0000021d: ADD 0000021e: SWAP2 0000021f: POP 00000220: POP 00000221: PUSH1 0x40 00000223: MLOAD 00000224: DUP1 00000225: SWAP2 00000226: SUB 00000227: SWAP1 00000228: RETURN 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: DUP1 0000022c: ISZERO 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x0282 0000023a: PUSH1 0x04 0000023c: DUP1 0000023d: CALLDATASIZE 0000023e: SUB 0000023f: PUSH1 0x40 00000241: DUP2 00000242: LT 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: DUP2 0000024e: ADD 0000024f: SWAP1 00000250: DUP1 00000251: DUP1 00000252: CALLDATALOAD 00000253: SWAP1 00000254: PUSH1 0x20 00000256: ADD 00000257: SWAP1 00000258: SWAP3 00000259: SWAP2 0000025a: SWAP1 0000025b: DUP1 0000025c: CALLDATALOAD 0000025d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000272: AND 00000273: SWAP1 00000274: PUSH1 0x20 00000276: ADD 00000277: SWAP1 00000278: SWAP3 00000279: SWAP2 0000027a: SWAP1 0000027b: POP 0000027c: POP 0000027d: POP 0000027e: PUSH2 0x0beb 00000281: JUMP 00000282: JUMPDEST 00000283: STOP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH2 0x0299 00000295: PUSH2 0x106f 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: DUP1 0000029e: DUP3 0000029f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b4: AND 000002b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ca: AND 000002cb: DUP2 000002cc: MSTORE 000002cd: PUSH1 0x20 000002cf: ADD 000002d0: SWAP2 000002d1: POP 000002d2: POP 000002d3: PUSH1 0x40 000002d5: MLOAD 000002d6: DUP1 000002d7: SWAP2 000002d8: SUB 000002d9: SWAP1 000002da: RETURN 000002db: JUMPDEST 000002dc: PUSH2 0x0356 000002df: PUSH1 0x04 000002e1: DUP1 000002e2: CALLDATASIZE 000002e3: SUB 000002e4: PUSH1 0x60 000002e6: DUP2 000002e7: LT 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: DUP2 000002f3: ADD 000002f4: SWAP1 000002f5: DUP1 000002f6: DUP1 000002f7: CALLDATALOAD 000002f8: PUSH12 0xffffffffffffffffffffffff 00000305: NOT 00000306: AND 00000307: SWAP1 00000308: PUSH1 0x20 0000030a: ADD 0000030b: SWAP1 0000030c: SWAP3 0000030d: SWAP2 0000030e: SWAP1 0000030f: DUP1 00000310: CALLDATALOAD 00000311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000326: AND 00000327: SWAP1 00000328: PUSH1 0x20 0000032a: ADD 0000032b: SWAP1 0000032c: SWAP3 0000032d: SWAP2 0000032e: SWAP1 0000032f: DUP1 00000330: CALLDATALOAD 00000331: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000346: AND 00000347: SWAP1 00000348: PUSH1 0x20 0000034a: ADD 0000034b: SWAP1 0000034c: SWAP3 0000034d: SWAP2 0000034e: SWAP1 0000034f: POP 00000350: POP 00000351: POP 00000352: PUSH2 0x1094 00000355: JUMP 00000356: JUMPDEST 00000357: STOP 00000358: JUMPDEST 00000359: CALLVALUE 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: POP 00000366: PUSH2 0x03c7 00000369: PUSH1 0x04 0000036b: DUP1 0000036c: CALLDATASIZE 0000036d: SUB 0000036e: PUSH1 0x40 00000370: DUP2 00000371: LT 00000372: ISZERO 00000373: PUSH2 0x037b 00000376: JUMPI 00000377: PUSH1 0x00 00000379: DUP1 0000037a: REVERT 0000037b: JUMPDEST 0000037c: DUP2 0000037d: ADD 0000037e: SWAP1 0000037f: DUP1 00000380: DUP1 00000381: CALLDATALOAD 00000382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000397: AND 00000398: SWAP1 00000399: PUSH1 0x20 0000039b: ADD 0000039c: SWAP1 0000039d: SWAP3 0000039e: SWAP2 0000039f: SWAP1 000003a0: DUP1 000003a1: CALLDATALOAD 000003a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b7: AND 000003b8: SWAP1 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: SWAP1 000003bd: SWAP3 000003be: SWAP2 000003bf: SWAP1 000003c0: POP 000003c1: POP 000003c2: POP 000003c3: PUSH2 0x1379 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x40 000003ca: MLOAD 000003cb: DUP1 000003cc: DUP7 000003cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e2: AND 000003e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f8: AND 000003f9: DUP2 000003fa: MSTORE 000003fb: PUSH1 0x20 000003fd: ADD 000003fe: DUP6 000003ff: DUP2 00000400: MSTORE 00000401: PUSH1 0x20 00000403: ADD 00000404: DUP5 00000405: PUSH12 0xffffffffffffffffffffffff 00000412: NOT 00000413: AND 00000414: PUSH12 0xffffffffffffffffffffffff 00000421: NOT 00000422: AND 00000423: DUP2 00000424: MSTORE 00000425: PUSH1 0x20 00000427: ADD 00000428: DUP4 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x20 0000042d: ADD 0000042e: DUP3 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x20 00000433: ADD 00000434: SWAP6 00000435: POP 00000436: POP 00000437: POP 00000438: POP 00000439: POP 0000043a: POP 0000043b: PUSH1 0x40 0000043d: MLOAD 0000043e: DUP1 0000043f: SWAP2 00000440: SUB 00000441: SWAP1 00000442: RETURN 00000443: JUMPDEST 00000444: PUSH2 0x049e 00000447: PUSH1 0x04 00000449: DUP1 0000044a: CALLDATASIZE 0000044b: SUB 0000044c: PUSH1 0x40 0000044e: DUP2 0000044f: LT 00000450: ISZERO 00000451: PUSH2 0x0459 00000454: JUMPI 00000455: PUSH1 0x00 00000457: DUP1 00000458: REVERT 00000459: JUMPDEST 0000045a: DUP2 0000045b: ADD 0000045c: SWAP1 0000045d: DUP1 0000045e: DUP1 0000045f: CALLDATALOAD 00000460: PUSH12 0xffffffffffffffffffffffff 0000046d: NOT 0000046e: AND 0000046f: SWAP1 00000470: PUSH1 0x20 00000472: ADD 00000473: SWAP1 00000474: SWAP3 00000475: SWAP2 00000476: SWAP1 00000477: DUP1 00000478: CALLDATALOAD 00000479: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048e: AND 0000048f: SWAP1 00000490: PUSH1 0x20 00000492: ADD 00000493: SWAP1 00000494: SWAP3 00000495: SWAP2 00000496: SWAP1 00000497: POP 00000498: POP 00000499: POP 0000049a: PUSH2 0x13f5 0000049d: JUMP 0000049e: JUMPDEST 0000049f: STOP 000004a0: JUMPDEST 000004a1: CALLVALUE 000004a2: DUP1 000004a3: ISZERO 000004a4: PUSH2 0x04ac 000004a7: JUMPI 000004a8: PUSH1 0x00 000004aa: DUP1 000004ab: REVERT 000004ac: JUMPDEST 000004ad: POP 000004ae: PUSH2 0x0519 000004b1: PUSH1 0x04 000004b3: DUP1 000004b4: CALLDATASIZE 000004b5: SUB 000004b6: PUSH1 0x60 000004b8: DUP2 000004b9: LT 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: DUP2 000004c5: ADD 000004c6: SWAP1 000004c7: DUP1 000004c8: DUP1 000004c9: CALLDATALOAD 000004ca: SWAP1 000004cb: PUSH1 0x20 000004cd: ADD 000004ce: SWAP1 000004cf: SWAP3 000004d0: SWAP2 000004d1: SWAP1 000004d2: DUP1 000004d3: CALLDATALOAD 000004d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e9: AND 000004ea: SWAP1 000004eb: PUSH1 0x20 000004ed: ADD 000004ee: SWAP1 000004ef: SWAP3 000004f0: SWAP2 000004f1: SWAP1 000004f2: DUP1 000004f3: CALLDATALOAD 000004f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000509: AND 0000050a: SWAP1 0000050b: PUSH1 0x20 0000050d: ADD 0000050e: SWAP1 0000050f: SWAP3 00000510: SWAP2 00000511: SWAP1 00000512: POP 00000513: POP 00000514: POP 00000515: PUSH2 0x16d9 00000518: JUMP 00000519: JUMPDEST 0000051a: STOP 0000051b: JUMPDEST 0000051c: CALLVALUE 0000051d: DUP1 0000051e: ISZERO 0000051f: PUSH2 0x0527 00000522: JUMPI 00000523: PUSH1 0x00 00000525: DUP1 00000526: REVERT 00000527: JUMPDEST 00000528: POP 00000529: PUSH2 0x0530 0000052c: PUSH2 0x1b5e 0000052f: JUMP 00000530: JUMPDEST 00000531: PUSH1 0x40 00000533: MLOAD 00000534: DUP1 00000535: DUP3 00000536: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054b: AND 0000054c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000561: AND 00000562: DUP2 00000563: MSTORE 00000564: PUSH1 0x20 00000566: ADD 00000567: SWAP2 00000568: POP 00000569: POP 0000056a: PUSH1 0x40 0000056c: MLOAD 0000056d: DUP1 0000056e: SWAP2 0000056f: SUB 00000570: SWAP1 00000571: RETURN 00000572: JUMPDEST 00000573: CALLVALUE 00000574: DUP1 00000575: ISZERO 00000576: PUSH2 0x057e 00000579: JUMPI 0000057a: PUSH1 0x00 0000057c: DUP1 0000057d: REVERT 0000057e: JUMPDEST 0000057f: POP 00000580: PUSH2 0x05c1 00000583: PUSH1 0x04 00000585: DUP1 00000586: CALLDATASIZE 00000587: SUB 00000588: PUSH1 0x20 0000058a: DUP2 0000058b: LT 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH1 0x00 00000593: DUP1 00000594: REVERT 00000595: JUMPDEST 00000596: DUP2 00000597: ADD 00000598: SWAP1 00000599: DUP1 0000059a: DUP1 0000059b: CALLDATALOAD 0000059c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b1: AND 000005b2: SWAP1 000005b3: PUSH1 0x20 000005b5: ADD 000005b6: SWAP1 000005b7: SWAP3 000005b8: SWAP2 000005b9: SWAP1 000005ba: POP 000005bb: POP 000005bc: POP 000005bd: PUSH2 0x1b84 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: DUP1 000005c6: DUP3 000005c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005dc: AND 000005dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f2: AND 000005f3: DUP2 000005f4: MSTORE 000005f5: PUSH1 0x20 000005f7: ADD 000005f8: SWAP2 000005f9: POP 000005fa: POP 000005fb: PUSH1 0x40 000005fd: MLOAD 000005fe: DUP1 000005ff: SWAP2 00000600: SUB 00000601: SWAP1 00000602: RETURN 00000603: JUMPDEST 00000604: CALLVALUE 00000605: DUP1 00000606: ISZERO 00000607: PUSH2 0x060f 0000060a: JUMPI 0000060b: PUSH1 0x00 0000060d: DUP1 0000060e: REVERT 0000060f: JUMPDEST 00000610: POP 00000611: PUSH2 0x0652 00000614: PUSH1 0x04 00000616: DUP1 00000617: CALLDATASIZE 00000618: SUB 00000619: PUSH1 0x20 0000061b: DUP2 0000061c: LT 0000061d: ISZERO 0000061e: PUSH2 0x0626 00000621: JUMPI 00000622: PUSH1 0x00 00000624: DUP1 00000625: REVERT 00000626: JUMPDEST 00000627: DUP2 00000628: ADD 00000629: SWAP1 0000062a: DUP1 0000062b: DUP1 0000062c: CALLDATALOAD 0000062d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000642: AND 00000643: SWAP1 00000644: PUSH1 0x20 00000646: ADD 00000647: SWAP1 00000648: SWAP3 00000649: SWAP2 0000064a: SWAP1 0000064b: POP 0000064c: POP 0000064d: POP 0000064e: PUSH2 0x1c2d 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x40 00000655: MLOAD 00000656: DUP1 00000657: DUP3 00000658: DUP2 00000659: MSTORE 0000065a: PUSH1 0x20 0000065c: ADD 0000065d: SWAP2 0000065e: POP 0000065f: POP 00000660: PUSH1 0x40 00000662: MLOAD 00000663: DUP1 00000664: SWAP2 00000665: SUB 00000666: SWAP1 00000667: RETURN 00000668: JUMPDEST 00000669: CALLVALUE 0000066a: DUP1 0000066b: ISZERO 0000066c: PUSH2 0x0674 0000066f: JUMPI 00000670: PUSH1 0x00 00000672: DUP1 00000673: REVERT 00000674: JUMPDEST 00000675: POP 00000676: PUSH2 0x06b7 00000679: PUSH1 0x04 0000067b: DUP1 0000067c: CALLDATASIZE 0000067d: SUB 0000067e: PUSH1 0x20 00000680: DUP2 00000681: LT 00000682: ISZERO 00000683: PUSH2 0x068b 00000686: JUMPI 00000687: PUSH1 0x00 00000689: DUP1 0000068a: REVERT 0000068b: JUMPDEST 0000068c: DUP2 0000068d: ADD 0000068e: SWAP1 0000068f: DUP1 00000690: DUP1 00000691: CALLDATALOAD 00000692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a7: AND 000006a8: SWAP1 000006a9: PUSH1 0x20 000006ab: ADD 000006ac: SWAP1 000006ad: SWAP3 000006ae: SWAP2 000006af: SWAP1 000006b0: POP 000006b1: POP 000006b2: POP 000006b3: PUSH2 0x1cb6 000006b6: JUMP 000006b7: JUMPDEST 000006b8: STOP 000006b9: JUMPDEST 000006ba: PUSH2 0x06c1 000006bd: PUSH2 0x20da 000006c0: JUMP 000006c1: JUMPDEST 000006c2: PUSH1 0x03 000006c4: PUSH1 0x00 000006c6: DUP4 000006c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006dc: AND 000006dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f2: AND 000006f3: DUP2 000006f4: MSTORE 000006f5: PUSH1 0x20 000006f7: ADD 000006f8: SWAP1 000006f9: DUP2 000006fa: MSTORE 000006fb: PUSH1 0x20 000006fd: ADD 000006fe: PUSH1 0x00 00000700: KECCAK256 00000701: PUSH1 0x00 00000703: CALLER 00000704: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000719: AND 0000071a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072f: AND 00000730: DUP2 00000731: MSTORE 00000732: PUSH1 0x20 00000734: ADD 00000735: SWAP1 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x20 0000073a: ADD 0000073b: PUSH1 0x00 0000073d: KECCAK256 0000073e: PUSH1 0xa0 00000740: PUSH1 0x40 00000742: MLOAD 00000743: SWAP1 00000744: DUP2 00000745: ADD 00000746: PUSH1 0x40 00000748: MSTORE 00000749: SWAP1 0000074a: DUP2 0000074b: PUSH1 0x00 0000074d: DUP3 0000074e: ADD 0000074f: PUSH1 0x00 00000751: SWAP1 00000752: SLOAD 00000753: SWAP1 00000754: PUSH2 0x0100 00000757: EXP 00000758: SWAP1 00000759: DIV 0000075a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076f: AND 00000770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000785: AND 00000786: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079b: AND 0000079c: DUP2 0000079d: MSTORE 0000079e: PUSH1 0x20 000007a0: ADD 000007a1: PUSH1 0x01 000007a3: DUP3 000007a4: ADD 000007a5: SLOAD 000007a6: DUP2 000007a7: MSTORE 000007a8: PUSH1 0x20 000007aa: ADD 000007ab: PUSH1 0x02 000007ad: DUP3 000007ae: ADD 000007af: PUSH1 0x00 000007b1: SWAP1 000007b2: SLOAD 000007b3: SWAP1 000007b4: PUSH2 0x0100 000007b7: EXP 000007b8: SWAP1 000007b9: DIV 000007ba: PUSH13 0x01000000000000000000000000 000007c8: MUL 000007c9: PUSH12 0xffffffffffffffffffffffff 000007d6: NOT 000007d7: AND 000007d8: PUSH12 0xffffffffffffffffffffffff 000007e5: NOT 000007e6: AND 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x20 000007eb: ADD 000007ec: PUSH1 0x03 000007ee: DUP3 000007ef: ADD 000007f0: SLOAD 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x20 000007f5: ADD 000007f6: PUSH1 0x04 000007f8: DUP3 000007f9: ADD 000007fa: SLOAD 000007fb: DUP2 000007fc: MSTORE 000007fd: POP 000007fe: POP 000007ff: SWAP1 00000800: POP 00000801: PUSH1 0x03 00000803: DUP4 00000804: PUSH1 0x40 00000806: MLOAD 00000807: PUSH1 0x20 00000809: ADD 0000080a: DUP1 0000080b: DUP3 0000080c: DUP2 0000080d: MSTORE 0000080e: PUSH1 0x20 00000810: ADD 00000811: SWAP2 00000812: POP 00000813: POP 00000814: PUSH1 0x40 00000816: MLOAD 00000817: PUSH1 0x20 00000819: DUP2 0000081a: DUP4 0000081b: SUB 0000081c: SUB 0000081d: DUP2 0000081e: MSTORE 0000081f: SWAP1 00000820: PUSH1 0x40 00000822: MSTORE 00000823: PUSH1 0x40 00000825: MLOAD 00000826: DUP1 00000827: DUP3 00000828: DUP1 00000829: MLOAD 0000082a: SWAP1 0000082b: PUSH1 0x20 0000082d: ADD 0000082e: SWAP1 0000082f: DUP1 00000830: DUP4 00000831: DUP4 00000832: JUMPDEST 00000833: PUSH1 0x20 00000835: DUP4 00000836: LT 00000837: ISZERO 00000838: ISZERO 00000839: PUSH2 0x0857 0000083c: JUMPI 0000083d: DUP1 0000083e: MLOAD 0000083f: DUP3 00000840: MSTORE 00000841: PUSH1 0x20 00000843: DUP3 00000844: ADD 00000845: SWAP2 00000846: POP 00000847: PUSH1 0x20 00000849: DUP2 0000084a: ADD 0000084b: SWAP1 0000084c: POP 0000084d: PUSH1 0x20 0000084f: DUP4 00000850: SUB 00000851: SWAP3 00000852: POP 00000853: PUSH2 0x0832 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH1 0x01 0000085a: DUP4 0000085b: PUSH1 0x20 0000085d: SUB 0000085e: PUSH2 0x0100 00000861: EXP 00000862: SUB 00000863: DUP1 00000864: NOT 00000865: DUP3 00000866: MLOAD 00000867: AND 00000868: DUP2 00000869: DUP5 0000086a: MLOAD 0000086b: AND 0000086c: DUP1 0000086d: DUP3 0000086e: OR 0000086f: DUP6 00000870: MSTORE 00000871: POP 00000872: POP 00000873: POP 00000874: POP 00000875: POP 00000876: POP 00000877: SWAP1 00000878: POP 00000879: ADD 0000087a: SWAP2 0000087b: POP 0000087c: POP 0000087d: PUSH1 0x20 0000087f: PUSH1 0x40 00000881: MLOAD 00000882: DUP1 00000883: DUP4 00000884: SUB 00000885: DUP2 00000886: DUP6 00000887: GAS 00000888: STATICCALL 00000889: ISZERO 0000088a: DUP1 0000088b: ISZERO 0000088c: PUSH2 0x0899 0000088f: JUMPI 00000890: RETURNDATASIZE 00000891: PUSH1 0x00 00000893: DUP1 00000894: RETURNDATACOPY 00000895: RETURNDATASIZE 00000896: PUSH1 0x00 00000898: REVERT 00000899: JUMPDEST 0000089a: POP 0000089b: POP 0000089c: POP 0000089d: PUSH1 0x40 0000089f: MLOAD 000008a0: MLOAD 000008a1: PUSH13 0x01000000000000000000000000 000008af: MUL 000008b0: PUSH12 0xffffffffffffffffffffffff 000008bd: NOT 000008be: AND 000008bf: DUP2 000008c0: PUSH1 0x40 000008c2: ADD 000008c3: MLOAD 000008c4: PUSH12 0xffffffffffffffffffffffff 000008d1: NOT 000008d2: AND 000008d3: EQ 000008d4: ISZERO 000008d5: ISZERO 000008d6: PUSH2 0x08de 000008d9: JUMPI 000008da: PUSH1 0x00 000008dc: DUP1 000008dd: REVERT 000008de: JUMPDEST 000008df: PUSH1 0x00 000008e1: DUP2 000008e2: PUSH1 0x80 000008e4: ADD 000008e5: MLOAD 000008e6: GT 000008e7: ISZERO 000008e8: ISZERO 000008e9: PUSH2 0x08f1 000008ec: JUMPI 000008ed: PUSH1 0x00 000008ef: DUP1 000008f0: REVERT 000008f1: JUMPDEST 000008f2: TIMESTAMP 000008f3: PUSH2 0x090b 000008f6: PUSH1 0x02 000008f8: SLOAD 000008f9: DUP4 000008fa: PUSH1 0x60 000008fc: ADD 000008fd: MLOAD 000008fe: PUSH2 0x1f50 00000901: SWAP1 00000902: SWAP2 00000903: SWAP1 00000904: PUSH4 0xffffffff 00000909: AND 0000090a: JUMP 0000090b: JUMPDEST 0000090c: GT 0000090d: ISZERO 0000090e: ISZERO 0000090f: PUSH2 0x0917 00000912: JUMPI 00000913: PUSH1 0x00 00000915: DUP1 00000916: REVERT 00000917: JUMPDEST 00000918: DUP1 00000919: PUSH1 0x00 0000091b: ADD 0000091c: MLOAD 0000091d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000932: AND 00000933: PUSH2 0x08fc 00000936: DUP3 00000937: PUSH1 0x80 00000939: ADD 0000093a: MLOAD 0000093b: SWAP1 0000093c: DUP2 0000093d: ISZERO 0000093e: MUL 0000093f: SWAP1 00000940: PUSH1 0x40 00000942: MLOAD 00000943: PUSH1 0x00 00000945: PUSH1 0x40 00000947: MLOAD 00000948: DUP1 00000949: DUP4 0000094a: SUB 0000094b: DUP2 0000094c: DUP6 0000094d: DUP9 0000094e: DUP9 0000094f: CALL 00000950: SWAP4 00000951: POP 00000952: POP 00000953: POP 00000954: POP 00000955: ISZERO 00000956: DUP1 00000957: ISZERO 00000958: PUSH2 0x0965 0000095b: JUMPI 0000095c: RETURNDATASIZE 0000095d: PUSH1 0x00 0000095f: DUP1 00000960: RETURNDATACOPY 00000961: RETURNDATASIZE 00000962: PUSH1 0x00 00000964: REVERT 00000965: JUMPDEST 00000966: POP 00000967: PUSH1 0x00 00000969: PUSH1 0x03 0000096b: PUSH1 0x00 0000096d: DUP5 0000096e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000983: AND 00000984: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000999: AND 0000099a: DUP2 0000099b: MSTORE 0000099c: PUSH1 0x20 0000099e: ADD 0000099f: SWAP1 000009a0: DUP2 000009a1: MSTORE 000009a2: PUSH1 0x20 000009a4: ADD 000009a5: PUSH1 0x00 000009a7: KECCAK256 000009a8: PUSH1 0x00 000009aa: CALLER 000009ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c0: AND 000009c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d6: AND 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x20 000009db: ADD 000009dc: SWAP1 000009dd: DUP2 000009de: MSTORE 000009df: PUSH1 0x20 000009e1: ADD 000009e2: PUSH1 0x00 000009e4: KECCAK256 000009e5: PUSH1 0x04 000009e7: ADD 000009e8: DUP2 000009e9: SWAP1 000009ea: SSTORE 000009eb: POP 000009ec: DUP3 000009ed: PUSH1 0x03 000009ef: PUSH1 0x00 000009f1: DUP5 000009f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a07: AND 00000a08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1d: AND 00000a1e: DUP2 00000a1f: MSTORE 00000a20: PUSH1 0x20 00000a22: ADD 00000a23: SWAP1 00000a24: DUP2 00000a25: MSTORE 00000a26: PUSH1 0x20 00000a28: ADD 00000a29: PUSH1 0x00 00000a2b: KECCAK256 00000a2c: PUSH1 0x00 00000a2e: CALLER 00000a2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a44: AND 00000a45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5a: AND 00000a5b: DUP2 00000a5c: MSTORE 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: SWAP1 00000a61: DUP2 00000a62: MSTORE 00000a63: PUSH1 0x20 00000a65: ADD 00000a66: PUSH1 0x00 00000a68: KECCAK256 00000a69: PUSH1 0x01 00000a6b: ADD 00000a6c: DUP2 00000a6d: SWAP1 00000a6e: SSTORE 00000a6f: POP 00000a70: PUSH32 0xa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb 00000a91: CALLER 00000a92: DUP4 00000a93: DUP4 00000a94: PUSH1 0x40 00000a96: ADD 00000a97: MLOAD 00000a98: TIMESTAMP 00000a99: PUSH1 0x40 00000a9b: MLOAD 00000a9c: DUP1 00000a9d: DUP6 00000a9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab3: AND 00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac9: AND 00000aca: DUP2 00000acb: MSTORE 00000acc: PUSH1 0x20 00000ace: ADD 00000acf: DUP5 00000ad0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae5: AND 00000ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afb: AND 00000afc: DUP2 00000afd: MSTORE 00000afe: PUSH1 0x20 00000b00: ADD 00000b01: DUP4 00000b02: PUSH12 0xffffffffffffffffffffffff 00000b0f: NOT 00000b10: AND 00000b11: PUSH12 0xffffffffffffffffffffffff 00000b1e: NOT 00000b1f: AND 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x20 00000b24: ADD 00000b25: DUP3 00000b26: DUP2 00000b27: MSTORE 00000b28: PUSH1 0x20 00000b2a: ADD 00000b2b: SWAP5 00000b2c: POP 00000b2d: POP 00000b2e: POP 00000b2f: POP 00000b30: POP 00000b31: PUSH1 0x40 00000b33: MLOAD 00000b34: DUP1 00000b35: SWAP2 00000b36: SUB 00000b37: SWAP1 00000b38: LOG1 00000b39: POP 00000b3a: POP 00000b3b: POP 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x00 00000b40: PUSH1 0x03 00000b42: PUSH1 0x00 00000b44: CALLER 00000b45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5a: AND 00000b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b70: AND 00000b71: DUP2 00000b72: MSTORE 00000b73: PUSH1 0x20 00000b75: ADD 00000b76: SWAP1 00000b77: DUP2 00000b78: MSTORE 00000b79: PUSH1 0x20 00000b7b: ADD 00000b7c: PUSH1 0x00 00000b7e: KECCAK256 00000b7f: PUSH1 0x00 00000b81: DUP4 00000b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b97: AND 00000b98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bad: AND 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x20 00000bb2: ADD 00000bb3: SWAP1 00000bb4: DUP2 00000bb5: MSTORE 00000bb6: PUSH1 0x20 00000bb8: ADD 00000bb9: PUSH1 0x00 00000bbb: KECCAK256 00000bbc: PUSH1 0x01 00000bbe: ADD 00000bbf: SLOAD 00000bc0: SWAP1 00000bc1: POP 00000bc2: SWAP2 00000bc3: SWAP1 00000bc4: POP 00000bc5: JUMP 00000bc6: JUMPDEST 00000bc7: PUSH1 0x04 00000bc9: PUSH1 0x20 00000bcb: MSTORE 00000bcc: DUP2 00000bcd: PUSH1 0x00 00000bcf: MSTORE 00000bd0: PUSH1 0x40 00000bd2: PUSH1 0x00 00000bd4: KECCAK256 00000bd5: PUSH1 0x20 00000bd7: MSTORE 00000bd8: DUP1 00000bd9: PUSH1 0x00 00000bdb: MSTORE 00000bdc: PUSH1 0x40 00000bde: PUSH1 0x00 00000be0: KECCAK256 00000be1: PUSH1 0x00 00000be3: SWAP2 00000be4: POP 00000be5: SWAP2 00000be6: POP 00000be7: POP 00000be8: SLOAD 00000be9: DUP2 00000bea: JUMP 00000beb: JUMPDEST 00000bec: PUSH2 0x0bf3 00000bef: PUSH2 0x20da 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x03 00000bf6: PUSH1 0x00 00000bf8: CALLER 00000bf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0e: AND 00000c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c24: AND 00000c25: DUP2 00000c26: MSTORE 00000c27: PUSH1 0x20 00000c29: ADD 00000c2a: SWAP1 00000c2b: DUP2 00000c2c: MSTORE 00000c2d: PUSH1 0x20 00000c2f: ADD 00000c30: PUSH1 0x00 00000c32: KECCAK256 00000c33: PUSH1 0x00 00000c35: DUP4 00000c36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4b: AND 00000c4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c61: AND 00000c62: DUP2 00000c63: MSTORE 00000c64: PUSH1 0x20 00000c66: ADD 00000c67: SWAP1 00000c68: DUP2 00000c69: MSTORE 00000c6a: PUSH1 0x20 00000c6c: ADD 00000c6d: PUSH1 0x00 00000c6f: KECCAK256 00000c70: PUSH1 0xa0 00000c72: PUSH1 0x40 00000c74: MLOAD 00000c75: SWAP1 00000c76: DUP2 00000c77: ADD 00000c78: PUSH1 0x40 00000c7a: MSTORE 00000c7b: SWAP1 00000c7c: DUP2 00000c7d: PUSH1 0x00 00000c7f: DUP3 00000c80: ADD 00000c81: PUSH1 0x00 00000c83: SWAP1 00000c84: SLOAD 00000c85: SWAP1 00000c86: PUSH2 0x0100 00000c89: EXP 00000c8a: SWAP1 00000c8b: DIV 00000c8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca1: AND 00000ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb7: AND 00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccd: AND 00000cce: DUP2 00000ccf: MSTORE 00000cd0: PUSH1 0x20 00000cd2: ADD 00000cd3: PUSH1 0x01 00000cd5: DUP3 00000cd6: ADD 00000cd7: SLOAD 00000cd8: DUP2 00000cd9: MSTORE 00000cda: PUSH1 0x20 00000cdc: ADD 00000cdd: PUSH1 0x02 00000cdf: DUP3 00000ce0: ADD 00000ce1: PUSH1 0x00 00000ce3: SWAP1 00000ce4: SLOAD 00000ce5: SWAP1 00000ce6: PUSH2 0x0100 00000ce9: EXP 00000cea: SWAP1 00000ceb: DIV 00000cec: PUSH13 0x01000000000000000000000000 00000cfa: MUL 00000cfb: PUSH12 0xffffffffffffffffffffffff 00000d08: NOT 00000d09: AND 00000d0a: PUSH12 0xffffffffffffffffffffffff 00000d17: NOT 00000d18: AND 00000d19: DUP2 00000d1a: MSTORE 00000d1b: PUSH1 0x20 00000d1d: ADD 00000d1e: PUSH1 0x03 00000d20: DUP3 00000d21: ADD 00000d22: SLOAD 00000d23: DUP2 00000d24: MSTORE 00000d25: PUSH1 0x20 00000d27: ADD 00000d28: PUSH1 0x04 00000d2a: DUP3 00000d2b: ADD 00000d2c: SLOAD 00000d2d: DUP2 00000d2e: MSTORE 00000d2f: POP 00000d30: POP 00000d31: SWAP1 00000d32: POP 00000d33: PUSH1 0x03 00000d35: DUP4 00000d36: PUSH1 0x40 00000d38: MLOAD 00000d39: PUSH1 0x20 00000d3b: ADD 00000d3c: DUP1 00000d3d: DUP3 00000d3e: DUP2 00000d3f: MSTORE 00000d40: PUSH1 0x20 00000d42: ADD 00000d43: SWAP2 00000d44: POP 00000d45: POP 00000d46: PUSH1 0x40 00000d48: MLOAD 00000d49: PUSH1 0x20 00000d4b: DUP2 00000d4c: DUP4 00000d4d: SUB 00000d4e: SUB 00000d4f: DUP2 00000d50: MSTORE 00000d51: SWAP1 00000d52: PUSH1 0x40 00000d54: MSTORE 00000d55: PUSH1 0x40 00000d57: MLOAD 00000d58: DUP1 00000d59: DUP3 00000d5a: DUP1 00000d5b: MLOAD 00000d5c: SWAP1 00000d5d: PUSH1 0x20 00000d5f: ADD 00000d60: SWAP1 00000d61: DUP1 00000d62: DUP4 00000d63: DUP4 00000d64: JUMPDEST 00000d65: PUSH1 0x20 00000d67: DUP4 00000d68: LT 00000d69: ISZERO 00000d6a: ISZERO 00000d6b: PUSH2 0x0d89 00000d6e: JUMPI 00000d6f: DUP1 00000d70: MLOAD 00000d71: DUP3 00000d72: MSTORE 00000d73: PUSH1 0x20 00000d75: DUP3 00000d76: ADD 00000d77: SWAP2 00000d78: POP 00000d79: PUSH1 0x20 00000d7b: DUP2 00000d7c: ADD 00000d7d: SWAP1 00000d7e: POP 00000d7f: PUSH1 0x20 00000d81: DUP4 00000d82: SUB 00000d83: SWAP3 00000d84: POP 00000d85: PUSH2 0x0d64 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: PUSH1 0x01 00000d8c: DUP4 00000d8d: PUSH1 0x20 00000d8f: SUB 00000d90: PUSH2 0x0100 00000d93: EXP 00000d94: SUB 00000d95: DUP1 00000d96: NOT 00000d97: DUP3 00000d98: MLOAD 00000d99: AND 00000d9a: DUP2 00000d9b: DUP5 00000d9c: MLOAD 00000d9d: AND 00000d9e: DUP1 00000d9f: DUP3 00000da0: OR 00000da1: DUP6 00000da2: MSTORE 00000da3: POP 00000da4: POP 00000da5: POP 00000da6: POP 00000da7: POP 00000da8: POP 00000da9: SWAP1 00000daa: POP 00000dab: ADD 00000dac: SWAP2 00000dad: POP 00000dae: POP 00000daf: PUSH1 0x20 00000db1: PUSH1 0x40 00000db3: MLOAD 00000db4: DUP1 00000db5: DUP4 00000db6: SUB 00000db7: DUP2 00000db8: DUP6 00000db9: GAS 00000dba: STATICCALL 00000dbb: ISZERO 00000dbc: DUP1 00000dbd: ISZERO 00000dbe: PUSH2 0x0dcb 00000dc1: JUMPI 00000dc2: RETURNDATASIZE 00000dc3: PUSH1 0x00 00000dc5: DUP1 00000dc6: RETURNDATACOPY 00000dc7: RETURNDATASIZE 00000dc8: PUSH1 0x00 00000dca: REVERT 00000dcb: JUMPDEST 00000dcc: POP 00000dcd: POP 00000dce: POP 00000dcf: PUSH1 0x40 00000dd1: MLOAD 00000dd2: MLOAD 00000dd3: PUSH13 0x01000000000000000000000000 00000de1: MUL 00000de2: PUSH12 0xffffffffffffffffffffffff 00000def: NOT 00000df0: AND 00000df1: DUP2 00000df2: PUSH1 0x40 00000df4: ADD 00000df5: MLOAD 00000df6: PUSH12 0xffffffffffffffffffffffff 00000e03: NOT 00000e04: AND 00000e05: EQ 00000e06: ISZERO 00000e07: ISZERO 00000e08: PUSH2 0x0e10 00000e0b: JUMPI 00000e0c: PUSH1 0x00 00000e0e: DUP1 00000e0f: REVERT 00000e10: JUMPDEST 00000e11: PUSH1 0x00 00000e13: DUP2 00000e14: PUSH1 0x80 00000e16: ADD 00000e17: MLOAD 00000e18: GT 00000e19: ISZERO 00000e1a: ISZERO 00000e1b: PUSH2 0x0e23 00000e1e: JUMPI 00000e1f: PUSH1 0x00 00000e21: DUP1 00000e22: REVERT 00000e23: JUMPDEST 00000e24: TIMESTAMP 00000e25: PUSH2 0x0e3d 00000e28: PUSH1 0x02 00000e2a: SLOAD 00000e2b: DUP4 00000e2c: PUSH1 0x60 00000e2e: ADD 00000e2f: MLOAD 00000e30: PUSH2 0x1f50 00000e33: SWAP1 00000e34: SWAP2 00000e35: SWAP1 00000e36: PUSH4 0xffffffff 00000e3b: AND 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: GT 00000e3f: ISZERO 00000e40: ISZERO 00000e41: PUSH2 0x0e49 00000e44: JUMPI 00000e45: PUSH1 0x00 00000e47: DUP1 00000e48: REVERT 00000e49: JUMPDEST 00000e4a: DUP1 00000e4b: PUSH1 0x00 00000e4d: ADD 00000e4e: MLOAD 00000e4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e64: AND 00000e65: PUSH2 0x08fc 00000e68: DUP3 00000e69: PUSH1 0x80 00000e6b: ADD 00000e6c: MLOAD 00000e6d: SWAP1 00000e6e: DUP2 00000e6f: ISZERO 00000e70: MUL 00000e71: SWAP1 00000e72: PUSH1 0x40 00000e74: MLOAD 00000e75: PUSH1 0x00 00000e77: PUSH1 0x40 00000e79: MLOAD 00000e7a: DUP1 00000e7b: DUP4 00000e7c: SUB 00000e7d: DUP2 00000e7e: DUP6 00000e7f: DUP9 00000e80: DUP9 00000e81: CALL 00000e82: SWAP4 00000e83: POP 00000e84: POP 00000e85: POP 00000e86: POP 00000e87: ISZERO 00000e88: DUP1 00000e89: ISZERO 00000e8a: PUSH2 0x0e97 00000e8d: JUMPI 00000e8e: RETURNDATASIZE 00000e8f: PUSH1 0x00 00000e91: DUP1 00000e92: RETURNDATACOPY 00000e93: RETURNDATASIZE 00000e94: PUSH1 0x00 00000e96: REVERT 00000e97: JUMPDEST 00000e98: POP 00000e99: PUSH1 0x00 00000e9b: PUSH1 0x03 00000e9d: PUSH1 0x00 00000e9f: CALLER 00000ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb5: AND 00000eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ecb: AND 00000ecc: DUP2 00000ecd: MSTORE 00000ece: PUSH1 0x20 00000ed0: ADD 00000ed1: SWAP1 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x20 00000ed6: ADD 00000ed7: PUSH1 0x00 00000ed9: KECCAK256 00000eda: PUSH1 0x00 00000edc: DUP5 00000edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef2: AND 00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f08: AND 00000f09: DUP2 00000f0a: MSTORE 00000f0b: PUSH1 0x20 00000f0d: ADD 00000f0e: SWAP1 00000f0f: DUP2 00000f10: MSTORE 00000f11: PUSH1 0x20 00000f13: ADD 00000f14: PUSH1 0x00 00000f16: KECCAK256 00000f17: PUSH1 0x04 00000f19: ADD 00000f1a: DUP2 00000f1b: SWAP1 00000f1c: SSTORE 00000f1d: POP 00000f1e: DUP3 00000f1f: PUSH1 0x03 00000f21: PUSH1 0x00 00000f23: CALLER 00000f24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f39: AND 00000f3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4f: AND 00000f50: DUP2 00000f51: MSTORE 00000f52: PUSH1 0x20 00000f54: ADD 00000f55: SWAP1 00000f56: DUP2 00000f57: MSTORE 00000f58: PUSH1 0x20 00000f5a: ADD 00000f5b: PUSH1 0x00 00000f5d: KECCAK256 00000f5e: PUSH1 0x00 00000f60: DUP5 00000f61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f76: AND 00000f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8c: AND 00000f8d: DUP2 00000f8e: MSTORE 00000f8f: PUSH1 0x20 00000f91: ADD 00000f92: SWAP1 00000f93: DUP2 00000f94: MSTORE 00000f95: PUSH1 0x20 00000f97: ADD 00000f98: PUSH1 0x00 00000f9a: KECCAK256 00000f9b: PUSH1 0x01 00000f9d: ADD 00000f9e: DUP2 00000f9f: SWAP1 00000fa0: SSTORE 00000fa1: POP 00000fa2: PUSH32 0xa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb 00000fc3: DUP3 00000fc4: CALLER 00000fc5: DUP4 00000fc6: PUSH1 0x40 00000fc8: ADD 00000fc9: MLOAD 00000fca: TIMESTAMP 00000fcb: PUSH1 0x40 00000fcd: MLOAD 00000fce: DUP1 00000fcf: DUP6 00000fd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe5: AND 00000fe6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffb: AND 00000ffc: DUP2 00000ffd: MSTORE 00000ffe: PUSH1 0x20 00001000: ADD 00001001: DUP5 00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001017: AND 00001018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000102d: AND 0000102e: DUP2 0000102f: MSTORE 00001030: PUSH1 0x20 00001032: ADD 00001033: DUP4 00001034: PUSH12 0xffffffffffffffffffffffff 00001041: NOT 00001042: AND 00001043: PUSH12 0xffffffffffffffffffffffff 00001050: NOT 00001051: AND 00001052: DUP2 00001053: MSTORE 00001054: PUSH1 0x20 00001056: ADD 00001057: DUP3 00001058: DUP2 00001059: MSTORE 0000105a: PUSH1 0x20 0000105c: ADD 0000105d: SWAP5 0000105e: POP 0000105f: POP 00001060: POP 00001061: POP 00001062: POP 00001063: PUSH1 0x40 00001065: MLOAD 00001066: DUP1 00001067: SWAP2 00001068: SUB 00001069: SWAP1 0000106a: LOG1 0000106b: POP 0000106c: POP 0000106d: POP 0000106e: JUMP 0000106f: JUMPDEST 00001070: PUSH1 0x00 00001072: DUP1 00001073: SWAP1 00001074: SLOAD 00001075: SWAP1 00001076: PUSH2 0x0100 00001079: EXP 0000107a: SWAP1 0000107b: DIV 0000107c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001091: AND 00001092: DUP2 00001093: JUMP 00001094: JUMPDEST 00001095: PUSH1 0x00 00001097: CALLVALUE 00001098: GT 00001099: ISZERO 0000109a: ISZERO 0000109b: PUSH2 0x10a3 0000109e: JUMPI 0000109f: PUSH1 0x00 000010a1: DUP1 000010a2: REVERT 000010a3: JUMPDEST 000010a4: PUSH1 0x00 000010a6: PUSH1 0x03 000010a8: PUSH1 0x00 000010aa: CALLER 000010ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c0: AND 000010c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d6: AND 000010d7: DUP2 000010d8: MSTORE 000010d9: PUSH1 0x20 000010db: ADD 000010dc: SWAP1 000010dd: DUP2 000010de: MSTORE 000010df: PUSH1 0x20 000010e1: ADD 000010e2: PUSH1 0x00 000010e4: KECCAK256 000010e5: PUSH1 0x00 000010e7: DUP5 000010e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fd: AND 000010fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001113: AND 00001114: DUP2 00001115: MSTORE 00001116: PUSH1 0x20 00001118: ADD 00001119: SWAP1 0000111a: DUP2 0000111b: MSTORE 0000111c: PUSH1 0x20 0000111e: ADD 0000111f: PUSH1 0x00 00001121: KECCAK256 00001122: PUSH1 0x04 00001124: ADD 00001125: SLOAD 00001126: EQ 00001127: ISZERO 00001128: ISZERO 00001129: PUSH2 0x1131 0000112c: JUMPI 0000112d: PUSH1 0x00 0000112f: DUP1 00001130: REVERT 00001131: JUMPDEST 00001132: PUSH1 0xa0 00001134: PUSH1 0x40 00001136: MLOAD 00001137: SWAP1 00001138: DUP2 00001139: ADD 0000113a: PUSH1 0x40 0000113c: MSTORE 0000113d: DUP1 0000113e: DUP3 0000113f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001154: AND 00001155: DUP2 00001156: MSTORE 00001157: PUSH1 0x20 00001159: ADD 0000115a: PUSH1 0x00 0000115c: PUSH1 0x01 0000115e: MUL 0000115f: DUP2 00001160: MSTORE 00001161: PUSH1 0x20 00001163: ADD 00001164: DUP5 00001165: PUSH12 0xffffffffffffffffffffffff 00001172: NOT 00001173: AND 00001174: DUP2 00001175: MSTORE 00001176: PUSH1 0x20 00001178: ADD 00001179: TIMESTAMP 0000117a: DUP2 0000117b: MSTORE 0000117c: PUSH1 0x20 0000117e: ADD 0000117f: CALLVALUE 00001180: DUP2 00001181: MSTORE 00001182: POP 00001183: PUSH1 0x03 00001185: PUSH1 0x00 00001187: CALLER 00001188: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119d: AND 0000119e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b3: AND 000011b4: DUP2 000011b5: MSTORE 000011b6: PUSH1 0x20 000011b8: ADD 000011b9: SWAP1 000011ba: DUP2 000011bb: MSTORE 000011bc: PUSH1 0x20 000011be: ADD 000011bf: PUSH1 0x00 000011c1: KECCAK256 000011c2: PUSH1 0x00 000011c4: DUP5 000011c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011da: AND 000011db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f0: AND 000011f1: DUP2 000011f2: MSTORE 000011f3: PUSH1 0x20 000011f5: ADD 000011f6: SWAP1 000011f7: DUP2 000011f8: MSTORE 000011f9: PUSH1 0x20 000011fb: ADD 000011fc: PUSH1 0x00 000011fe: KECCAK256 000011ff: PUSH1 0x00 00001201: DUP3 00001202: ADD 00001203: MLOAD 00001204: DUP2 00001205: PUSH1 0x00 00001207: ADD 00001208: PUSH1 0x00 0000120a: PUSH2 0x0100 0000120d: EXP 0000120e: DUP2 0000120f: SLOAD 00001210: DUP2 00001211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001226: MUL 00001227: NOT 00001228: AND 00001229: SWAP1 0000122a: DUP4 0000122b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001240: AND 00001241: MUL 00001242: OR 00001243: SWAP1 00001244: SSTORE 00001245: POP 00001246: PUSH1 0x20 00001248: DUP3 00001249: ADD 0000124a: MLOAD 0000124b: DUP2 0000124c: PUSH1 0x01 0000124e: ADD 0000124f: SSTORE 00001250: PUSH1 0x40 00001252: DUP3 00001253: ADD 00001254: MLOAD 00001255: DUP2 00001256: PUSH1 0x02 00001258: ADD 00001259: PUSH1 0x00 0000125b: PUSH2 0x0100 0000125e: EXP 0000125f: DUP2 00001260: SLOAD 00001261: DUP2 00001262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001277: MUL 00001278: NOT 00001279: AND 0000127a: SWAP1 0000127b: DUP4 0000127c: PUSH13 0x01000000000000000000000000 0000128a: SWAP1 0000128b: DIV 0000128c: MUL 0000128d: OR 0000128e: SWAP1 0000128f: SSTORE 00001290: POP 00001291: PUSH1 0x60 00001293: DUP3 00001294: ADD 00001295: MLOAD 00001296: DUP2 00001297: PUSH1 0x03 00001299: ADD 0000129a: SSTORE 0000129b: PUSH1 0x80 0000129d: DUP3 0000129e: ADD 0000129f: MLOAD 000012a0: DUP2 000012a1: PUSH1 0x04 000012a3: ADD 000012a4: SSTORE 000012a5: SWAP1 000012a6: POP 000012a7: POP 000012a8: PUSH32 0x67984a2c2da3fe41a664c2f5d2d644b1c822e267ad1b6d70545f2370dd72661c 000012c9: DUP3 000012ca: CALLER 000012cb: CALLVALUE 000012cc: DUP7 000012cd: TIMESTAMP 000012ce: PUSH1 0x40 000012d0: MLOAD 000012d1: DUP1 000012d2: DUP7 000012d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e8: AND 000012e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012fe: AND 000012ff: DUP2 00001300: MSTORE 00001301: PUSH1 0x20 00001303: ADD 00001304: DUP6 00001305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000131a: AND 0000131b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001330: AND 00001331: DUP2 00001332: MSTORE 00001333: PUSH1 0x20 00001335: ADD 00001336: DUP5 00001337: DUP2 00001338: MSTORE 00001339: PUSH1 0x20 0000133b: ADD 0000133c: DUP4 0000133d: PUSH12 0xffffffffffffffffffffffff 0000134a: NOT 0000134b: AND 0000134c: PUSH12 0xffffffffffffffffffffffff 00001359: NOT 0000135a: AND 0000135b: DUP2 0000135c: MSTORE 0000135d: PUSH1 0x20 0000135f: ADD 00001360: DUP3 00001361: DUP2 00001362: MSTORE 00001363: PUSH1 0x20 00001365: ADD 00001366: SWAP6 00001367: POP 00001368: POP 00001369: POP 0000136a: POP 0000136b: POP 0000136c: POP 0000136d: PUSH1 0x40 0000136f: MLOAD 00001370: DUP1 00001371: SWAP2 00001372: SUB 00001373: SWAP1 00001374: LOG1 00001375: POP 00001376: POP 00001377: POP 00001378: JUMP 00001379: JUMPDEST 0000137a: PUSH1 0x03 0000137c: PUSH1 0x20 0000137e: MSTORE 0000137f: DUP2 00001380: PUSH1 0x00 00001382: MSTORE 00001383: PUSH1 0x40 00001385: PUSH1 0x00 00001387: KECCAK256 00001388: PUSH1 0x20 0000138a: MSTORE 0000138b: DUP1 0000138c: PUSH1 0x00 0000138e: MSTORE 0000138f: PUSH1 0x40 00001391: PUSH1 0x00 00001393: KECCAK256 00001394: PUSH1 0x00 00001396: SWAP2 00001397: POP 00001398: SWAP2 00001399: POP 0000139a: POP 0000139b: DUP1 0000139c: PUSH1 0x00 0000139e: ADD 0000139f: PUSH1 0x00 000013a1: SWAP1 000013a2: SLOAD 000013a3: SWAP1 000013a4: PUSH2 0x0100 000013a7: EXP 000013a8: SWAP1 000013a9: DIV 000013aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bf: AND 000013c0: SWAP1 000013c1: DUP1 000013c2: PUSH1 0x01 000013c4: ADD 000013c5: SLOAD 000013c6: SWAP1 000013c7: DUP1 000013c8: PUSH1 0x02 000013ca: ADD 000013cb: PUSH1 0x00 000013cd: SWAP1 000013ce: SLOAD 000013cf: SWAP1 000013d0: PUSH2 0x0100 000013d3: EXP 000013d4: SWAP1 000013d5: DIV 000013d6: PUSH13 0x01000000000000000000000000 000013e4: MUL 000013e5: SWAP1 000013e6: DUP1 000013e7: PUSH1 0x03 000013e9: ADD 000013ea: SLOAD 000013eb: SWAP1 000013ec: DUP1 000013ed: PUSH1 0x04 000013ef: ADD 000013f0: SLOAD 000013f1: SWAP1 000013f2: POP 000013f3: DUP6 000013f4: JUMP 000013f5: JUMPDEST 000013f6: PUSH1 0x00 000013f8: CALLVALUE 000013f9: GT 000013fa: ISZERO 000013fb: ISZERO 000013fc: PUSH2 0x1404 000013ff: JUMPI 00001400: PUSH1 0x00 00001402: DUP1 00001403: REVERT 00001404: JUMPDEST 00001405: PUSH1 0x00 00001407: PUSH1 0x03 00001409: PUSH1 0x00 0000140b: CALLER 0000140c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001421: AND 00001422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001437: AND 00001438: DUP2 00001439: MSTORE 0000143a: PUSH1 0x20 0000143c: ADD 0000143d: SWAP1 0000143e: DUP2 0000143f: MSTORE 00001440: PUSH1 0x20 00001442: ADD 00001443: PUSH1 0x00 00001445: KECCAK256 00001446: PUSH1 0x00 00001448: DUP4 00001449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145e: AND 0000145f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001474: AND 00001475: DUP2 00001476: MSTORE 00001477: PUSH1 0x20 00001479: ADD 0000147a: SWAP1 0000147b: DUP2 0000147c: MSTORE 0000147d: PUSH1 0x20 0000147f: ADD 00001480: PUSH1 0x00 00001482: KECCAK256 00001483: PUSH1 0x04 00001485: ADD 00001486: SLOAD 00001487: EQ 00001488: ISZERO 00001489: ISZERO 0000148a: PUSH2 0x1492 0000148d: JUMPI 0000148e: PUSH1 0x00 00001490: DUP1 00001491: REVERT 00001492: JUMPDEST 00001493: PUSH1 0xa0 00001495: PUSH1 0x40 00001497: MLOAD 00001498: SWAP1 00001499: DUP2 0000149a: ADD 0000149b: PUSH1 0x40 0000149d: MSTORE 0000149e: DUP1 0000149f: DUP3 000014a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014b5: AND 000014b6: DUP2 000014b7: MSTORE 000014b8: PUSH1 0x20 000014ba: ADD 000014bb: PUSH1 0x00 000014bd: PUSH1 0x01 000014bf: MUL 000014c0: DUP2 000014c1: MSTORE 000014c2: PUSH1 0x20 000014c4: ADD 000014c5: DUP4 000014c6: PUSH12 0xffffffffffffffffffffffff 000014d3: NOT 000014d4: AND 000014d5: DUP2 000014d6: MSTORE 000014d7: PUSH1 0x20 000014d9: ADD 000014da: TIMESTAMP 000014db: DUP2 000014dc: MSTORE 000014dd: PUSH1 0x20 000014df: ADD 000014e0: CALLVALUE 000014e1: DUP2 000014e2: MSTORE 000014e3: POP 000014e4: PUSH1 0x03 000014e6: PUSH1 0x00 000014e8: CALLER 000014e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014fe: AND 000014ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001514: AND 00001515: DUP2 00001516: MSTORE 00001517: PUSH1 0x20 00001519: ADD 0000151a: SWAP1 0000151b: DUP2 0000151c: MSTORE 0000151d: PUSH1 0x20 0000151f: ADD 00001520: PUSH1 0x00 00001522: KECCAK256 00001523: PUSH1 0x00 00001525: DUP4 00001526: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000153b: AND 0000153c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001551: AND 00001552: DUP2 00001553: MSTORE 00001554: PUSH1 0x20 00001556: ADD 00001557: SWAP1 00001558: DUP2 00001559: MSTORE 0000155a: PUSH1 0x20 0000155c: ADD 0000155d: PUSH1 0x00 0000155f: KECCAK256 00001560: PUSH1 0x00 00001562: DUP3 00001563: ADD 00001564: MLOAD 00001565: DUP2 00001566: PUSH1 0x00 00001568: ADD 00001569: PUSH1 0x00 0000156b: PUSH2 0x0100 0000156e: EXP 0000156f: DUP2 00001570: SLOAD 00001571: DUP2 00001572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001587: MUL 00001588: NOT 00001589: AND 0000158a: SWAP1 0000158b: DUP4 0000158c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a1: AND 000015a2: MUL 000015a3: OR 000015a4: SWAP1 000015a5: SSTORE 000015a6: POP 000015a7: PUSH1 0x20 000015a9: DUP3 000015aa: ADD 000015ab: MLOAD 000015ac: DUP2 000015ad: PUSH1 0x01 000015af: ADD 000015b0: SSTORE 000015b1: PUSH1 0x40 000015b3: DUP3 000015b4: ADD 000015b5: MLOAD 000015b6: DUP2 000015b7: PUSH1 0x02 000015b9: ADD 000015ba: PUSH1 0x00 000015bc: PUSH2 0x0100 000015bf: EXP 000015c0: DUP2 000015c1: SLOAD 000015c2: DUP2 000015c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d8: MUL 000015d9: NOT 000015da: AND 000015db: SWAP1 000015dc: DUP4 000015dd: PUSH13 0x01000000000000000000000000 000015eb: SWAP1 000015ec: DIV 000015ed: MUL 000015ee: OR 000015ef: SWAP1 000015f0: SSTORE 000015f1: POP 000015f2: PUSH1 0x60 000015f4: DUP3 000015f5: ADD 000015f6: MLOAD 000015f7: DUP2 000015f8: PUSH1 0x03 000015fa: ADD 000015fb: SSTORE 000015fc: PUSH1 0x80 000015fe: DUP3 000015ff: ADD 00001600: MLOAD 00001601: DUP2 00001602: PUSH1 0x04 00001604: ADD 00001605: SSTORE 00001606: SWAP1 00001607: POP 00001608: POP 00001609: PUSH32 0x67984a2c2da3fe41a664c2f5d2d644b1c822e267ad1b6d70545f2370dd72661c 0000162a: DUP2 0000162b: CALLER 0000162c: CALLVALUE 0000162d: DUP6 0000162e: TIMESTAMP 0000162f: PUSH1 0x40 00001631: MLOAD 00001632: DUP1 00001633: DUP7 00001634: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001649: AND 0000164a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165f: AND 00001660: DUP2 00001661: MSTORE 00001662: PUSH1 0x20 00001664: ADD 00001665: DUP6 00001666: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167b: AND 0000167c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001691: AND 00001692: DUP2 00001693: MSTORE 00001694: PUSH1 0x20 00001696: ADD 00001697: DUP5 00001698: DUP2 00001699: MSTORE 0000169a: PUSH1 0x20 0000169c: ADD 0000169d: DUP4 0000169e: PUSH12 0xffffffffffffffffffffffff 000016ab: NOT 000016ac: AND 000016ad: PUSH12 0xffffffffffffffffffffffff 000016ba: NOT 000016bb: AND 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x20 000016c0: ADD 000016c1: DUP3 000016c2: DUP2 000016c3: MSTORE 000016c4: PUSH1 0x20 000016c6: ADD 000016c7: SWAP6 000016c8: POP 000016c9: POP 000016ca: POP 000016cb: POP 000016cc: POP 000016cd: POP 000016ce: PUSH1 0x40 000016d0: MLOAD 000016d1: DUP1 000016d2: SWAP2 000016d3: SUB 000016d4: SWAP1 000016d5: LOG1 000016d6: POP 000016d7: POP 000016d8: JUMP 000016d9: JUMPDEST 000016da: PUSH2 0x16e1 000016dd: PUSH2 0x20da 000016e0: JUMP 000016e1: JUMPDEST 000016e2: PUSH1 0x03 000016e4: PUSH1 0x00 000016e6: DUP5 000016e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fc: AND 000016fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001712: AND 00001713: DUP2 00001714: MSTORE 00001715: PUSH1 0x20 00001717: ADD 00001718: SWAP1 00001719: DUP2 0000171a: MSTORE 0000171b: PUSH1 0x20 0000171d: ADD 0000171e: PUSH1 0x00 00001720: KECCAK256 00001721: PUSH1 0x00 00001723: DUP4 00001724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001739: AND 0000173a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000174f: AND 00001750: DUP2 00001751: MSTORE 00001752: PUSH1 0x20 00001754: ADD 00001755: SWAP1 00001756: DUP2 00001757: MSTORE 00001758: PUSH1 0x20 0000175a: ADD 0000175b: PUSH1 0x00 0000175d: KECCAK256 0000175e: PUSH1 0xa0 00001760: PUSH1 0x40 00001762: MLOAD 00001763: SWAP1 00001764: DUP2 00001765: ADD 00001766: PUSH1 0x40 00001768: MSTORE 00001769: SWAP1 0000176a: DUP2 0000176b: PUSH1 0x00 0000176d: DUP3 0000176e: ADD 0000176f: PUSH1 0x00 00001771: SWAP1 00001772: SLOAD 00001773: SWAP1 00001774: PUSH2 0x0100 00001777: EXP 00001778: SWAP1 00001779: DIV 0000177a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000178f: AND 00001790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a5: AND 000017a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017bb: AND 000017bc: DUP2 000017bd: MSTORE 000017be: PUSH1 0x20 000017c0: ADD 000017c1: PUSH1 0x01 000017c3: DUP3 000017c4: ADD 000017c5: SLOAD 000017c6: DUP2 000017c7: MSTORE 000017c8: PUSH1 0x20 000017ca: ADD 000017cb: PUSH1 0x02 000017cd: DUP3 000017ce: ADD 000017cf: PUSH1 0x00 000017d1: SWAP1 000017d2: SLOAD 000017d3: SWAP1 000017d4: PUSH2 0x0100 000017d7: EXP 000017d8: SWAP1 000017d9: DIV 000017da: PUSH13 0x01000000000000000000000000 000017e8: MUL 000017e9: PUSH12 0xffffffffffffffffffffffff 000017f6: NOT 000017f7: AND 000017f8: PUSH12 0xffffffffffffffffffffffff 00001805: NOT 00001806: AND 00001807: DUP2 00001808: MSTORE 00001809: PUSH1 0x20 0000180b: ADD 0000180c: PUSH1 0x03 0000180e: DUP3 0000180f: ADD 00001810: SLOAD 00001811: DUP2 00001812: MSTORE 00001813: PUSH1 0x20 00001815: ADD 00001816: PUSH1 0x04 00001818: DUP3 00001819: ADD 0000181a: SLOAD 0000181b: DUP2 0000181c: MSTORE 0000181d: POP 0000181e: POP 0000181f: SWAP1 00001820: POP 00001821: PUSH1 0x03 00001823: DUP5 00001824: PUSH1 0x40 00001826: MLOAD 00001827: PUSH1 0x20 00001829: ADD 0000182a: DUP1 0000182b: DUP3 0000182c: DUP2 0000182d: MSTORE 0000182e: PUSH1 0x20 00001830: ADD 00001831: SWAP2 00001832: POP 00001833: POP 00001834: PUSH1 0x40 00001836: MLOAD 00001837: PUSH1 0x20 00001839: DUP2 0000183a: DUP4 0000183b: SUB 0000183c: SUB 0000183d: DUP2 0000183e: MSTORE 0000183f: SWAP1 00001840: PUSH1 0x40 00001842: MSTORE 00001843: PUSH1 0x40 00001845: MLOAD 00001846: DUP1 00001847: DUP3 00001848: DUP1 00001849: MLOAD 0000184a: SWAP1 0000184b: PUSH1 0x20 0000184d: ADD 0000184e: SWAP1 0000184f: DUP1 00001850: DUP4 00001851: DUP4 00001852: JUMPDEST 00001853: PUSH1 0x20 00001855: DUP4 00001856: LT 00001857: ISZERO 00001858: ISZERO 00001859: PUSH2 0x1877 0000185c: JUMPI 0000185d: DUP1 0000185e: MLOAD 0000185f: DUP3 00001860: MSTORE 00001861: PUSH1 0x20 00001863: DUP3 00001864: ADD 00001865: SWAP2 00001866: POP 00001867: PUSH1 0x20 00001869: DUP2 0000186a: ADD 0000186b: SWAP1 0000186c: POP 0000186d: PUSH1 0x20 0000186f: DUP4 00001870: SUB 00001871: SWAP3 00001872: POP 00001873: PUSH2 0x1852 00001876: JUMP 00001877: JUMPDEST 00001878: PUSH1 0x01 0000187a: DUP4 0000187b: PUSH1 0x20 0000187d: SUB 0000187e: PUSH2 0x0100 00001881: EXP 00001882: SUB 00001883: DUP1 00001884: NOT 00001885: DUP3 00001886: MLOAD 00001887: AND 00001888: DUP2 00001889: DUP5 0000188a: MLOAD 0000188b: AND 0000188c: DUP1 0000188d: DUP3 0000188e: OR 0000188f: DUP6 00001890: MSTORE 00001891: POP 00001892: POP 00001893: POP 00001894: POP 00001895: POP 00001896: POP 00001897: SWAP1 00001898: POP 00001899: ADD 0000189a: SWAP2 0000189b: POP 0000189c: POP 0000189d: PUSH1 0x20 0000189f: PUSH1 0x40 000018a1: MLOAD 000018a2: DUP1 000018a3: DUP4 000018a4: SUB 000018a5: DUP2 000018a6: DUP6 000018a7: GAS 000018a8: STATICCALL 000018a9: ISZERO 000018aa: DUP1 000018ab: ISZERO 000018ac: PUSH2 0x18b9 000018af: JUMPI 000018b0: RETURNDATASIZE 000018b1: PUSH1 0x00 000018b3: DUP1 000018b4: RETURNDATACOPY 000018b5: RETURNDATASIZE 000018b6: PUSH1 0x00 000018b8: REVERT 000018b9: JUMPDEST 000018ba: POP 000018bb: POP 000018bc: POP 000018bd: PUSH1 0x40 000018bf: MLOAD 000018c0: MLOAD 000018c1: PUSH13 0x01000000000000000000000000 000018cf: MUL 000018d0: PUSH12 0xffffffffffffffffffffffff 000018dd: NOT 000018de: AND 000018df: DUP2 000018e0: PUSH1 0x40 000018e2: ADD 000018e3: MLOAD 000018e4: PUSH12 0xffffffffffffffffffffffff 000018f1: NOT 000018f2: AND 000018f3: EQ 000018f4: ISZERO 000018f5: ISZERO 000018f6: PUSH2 0x18fe 000018f9: JUMPI 000018fa: PUSH1 0x00 000018fc: DUP1 000018fd: REVERT 000018fe: JUMPDEST 000018ff: PUSH1 0x00 00001901: DUP2 00001902: PUSH1 0x80 00001904: ADD 00001905: MLOAD 00001906: GT 00001907: ISZERO 00001908: ISZERO 00001909: PUSH2 0x1911 0000190c: JUMPI 0000190d: PUSH1 0x00 0000190f: DUP1 00001910: REVERT 00001911: JUMPDEST 00001912: TIMESTAMP 00001913: PUSH2 0x192b 00001916: PUSH1 0x02 00001918: SLOAD 00001919: DUP4 0000191a: PUSH1 0x60 0000191c: ADD 0000191d: MLOAD 0000191e: PUSH2 0x1f50 00001921: SWAP1 00001922: SWAP2 00001923: SWAP1 00001924: PUSH4 0xffffffff 00001929: AND 0000192a: JUMP 0000192b: JUMPDEST 0000192c: GT 0000192d: ISZERO 0000192e: ISZERO 0000192f: PUSH2 0x1937 00001932: JUMPI 00001933: PUSH1 0x00 00001935: DUP1 00001936: REVERT 00001937: JUMPDEST 00001938: DUP1 00001939: PUSH1 0x00 0000193b: ADD 0000193c: MLOAD 0000193d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001952: AND 00001953: PUSH2 0x08fc 00001956: DUP3 00001957: PUSH1 0x80 00001959: ADD 0000195a: MLOAD 0000195b: SWAP1 0000195c: DUP2 0000195d: ISZERO 0000195e: MUL 0000195f: SWAP1 00001960: PUSH1 0x40 00001962: MLOAD 00001963: PUSH1 0x00 00001965: PUSH1 0x40 00001967: MLOAD 00001968: DUP1 00001969: DUP4 0000196a: SUB 0000196b: DUP2 0000196c: DUP6 0000196d: DUP9 0000196e: DUP9 0000196f: CALL 00001970: SWAP4 00001971: POP 00001972: POP 00001973: POP 00001974: POP 00001975: ISZERO 00001976: DUP1 00001977: ISZERO 00001978: PUSH2 0x1985 0000197b: JUMPI 0000197c: RETURNDATASIZE 0000197d: PUSH1 0x00 0000197f: DUP1 00001980: RETURNDATACOPY 00001981: RETURNDATASIZE 00001982: PUSH1 0x00 00001984: REVERT 00001985: JUMPDEST 00001986: POP 00001987: PUSH1 0x00 00001989: PUSH1 0x03 0000198b: PUSH1 0x00 0000198d: DUP6 0000198e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019a3: AND 000019a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b9: AND 000019ba: DUP2 000019bb: MSTORE 000019bc: PUSH1 0x20 000019be: ADD 000019bf: SWAP1 000019c0: DUP2 000019c1: MSTORE 000019c2: PUSH1 0x20 000019c4: ADD 000019c5: PUSH1 0x00 000019c7: KECCAK256 000019c8: PUSH1 0x00 000019ca: DUP5 000019cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e0: AND 000019e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f6: AND 000019f7: DUP2 000019f8: MSTORE 000019f9: PUSH1 0x20 000019fb: ADD 000019fc: SWAP1 000019fd: DUP2 000019fe: MSTORE 000019ff: PUSH1 0x20 00001a01: ADD 00001a02: PUSH1 0x00 00001a04: KECCAK256 00001a05: PUSH1 0x04 00001a07: ADD 00001a08: DUP2 00001a09: SWAP1 00001a0a: SSTORE 00001a0b: POP 00001a0c: DUP4 00001a0d: PUSH1 0x03 00001a0f: PUSH1 0x00 00001a11: DUP6 00001a12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a27: AND 00001a28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a3d: AND 00001a3e: DUP2 00001a3f: MSTORE 00001a40: PUSH1 0x20 00001a42: ADD 00001a43: SWAP1 00001a44: DUP2 00001a45: MSTORE 00001a46: PUSH1 0x20 00001a48: ADD 00001a49: PUSH1 0x00 00001a4b: KECCAK256 00001a4c: PUSH1 0x00 00001a4e: DUP5 00001a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a64: AND 00001a65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7a: AND 00001a7b: DUP2 00001a7c: MSTORE 00001a7d: PUSH1 0x20 00001a7f: ADD 00001a80: SWAP1 00001a81: DUP2 00001a82: MSTORE 00001a83: PUSH1 0x20 00001a85: ADD 00001a86: PUSH1 0x00 00001a88: KECCAK256 00001a89: PUSH1 0x01 00001a8b: ADD 00001a8c: DUP2 00001a8d: SWAP1 00001a8e: SSTORE 00001a8f: POP 00001a90: PUSH32 0xa670cc0e4f281aa123c418dd3959d0c502e351098b68a58a4a395f7208a3aeeb 00001ab1: DUP3 00001ab2: DUP5 00001ab3: DUP4 00001ab4: PUSH1 0x40 00001ab6: ADD 00001ab7: MLOAD 00001ab8: TIMESTAMP 00001ab9: PUSH1 0x40 00001abb: MLOAD 00001abc: DUP1 00001abd: DUP6 00001abe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad3: AND 00001ad4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae9: AND 00001aea: DUP2 00001aeb: MSTORE 00001aec: PUSH1 0x20 00001aee: ADD 00001aef: DUP5 00001af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b05: AND 00001b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1b: AND 00001b1c: DUP2 00001b1d: MSTORE 00001b1e: PUSH1 0x20 00001b20: ADD 00001b21: DUP4 00001b22: PUSH12 0xffffffffffffffffffffffff 00001b2f: NOT 00001b30: AND 00001b31: PUSH12 0xffffffffffffffffffffffff 00001b3e: NOT 00001b3f: AND 00001b40: DUP2 00001b41: MSTORE 00001b42: PUSH1 0x20 00001b44: ADD 00001b45: DUP3 00001b46: DUP2 00001b47: MSTORE 00001b48: PUSH1 0x20 00001b4a: ADD 00001b4b: SWAP5 00001b4c: POP 00001b4d: POP 00001b4e: POP 00001b4f: POP 00001b50: POP 00001b51: PUSH1 0x40 00001b53: MLOAD 00001b54: DUP1 00001b55: SWAP2 00001b56: SUB 00001b57: SWAP1 00001b58: LOG1 00001b59: POP 00001b5a: POP 00001b5b: POP 00001b5c: POP 00001b5d: JUMP 00001b5e: JUMPDEST 00001b5f: PUSH1 0x01 00001b61: PUSH1 0x00 00001b63: SWAP1 00001b64: SLOAD 00001b65: SWAP1 00001b66: PUSH2 0x0100 00001b69: EXP 00001b6a: SWAP1 00001b6b: DIV 00001b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b81: AND 00001b82: DUP2 00001b83: JUMP 00001b84: JUMPDEST 00001b85: PUSH1 0x00 00001b87: PUSH1 0x03 00001b89: PUSH1 0x00 00001b8b: DUP4 00001b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ba1: AND 00001ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb7: AND 00001bb8: DUP2 00001bb9: MSTORE 00001bba: PUSH1 0x20 00001bbc: ADD 00001bbd: SWAP1 00001bbe: DUP2 00001bbf: MSTORE 00001bc0: PUSH1 0x20 00001bc2: ADD 00001bc3: PUSH1 0x00 00001bc5: KECCAK256 00001bc6: PUSH1 0x00 00001bc8: CALLER 00001bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bde: AND 00001bdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf4: AND 00001bf5: DUP2 00001bf6: MSTORE 00001bf7: PUSH1 0x20 00001bf9: ADD 00001bfa: SWAP1 00001bfb: DUP2 00001bfc: MSTORE 00001bfd: PUSH1 0x20 00001bff: ADD 00001c00: PUSH1 0x00 00001c02: KECCAK256 00001c03: PUSH1 0x00 00001c05: ADD 00001c06: PUSH1 0x00 00001c08: SWAP1 00001c09: SLOAD 00001c0a: SWAP1 00001c0b: PUSH2 0x0100 00001c0e: EXP 00001c0f: SWAP1 00001c10: DIV 00001c11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c26: AND 00001c27: SWAP1 00001c28: POP 00001c29: SWAP2 00001c2a: SWAP1 00001c2b: POP 00001c2c: JUMP 00001c2d: JUMPDEST 00001c2e: PUSH1 0x00 00001c30: PUSH1 0x03 00001c32: PUSH1 0x00 00001c34: DUP4 00001c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4a: AND 00001c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c60: AND 00001c61: DUP2 00001c62: MSTORE 00001c63: PUSH1 0x20 00001c65: ADD 00001c66: SWAP1 00001c67: DUP2 00001c68: MSTORE 00001c69: PUSH1 0x20 00001c6b: ADD 00001c6c: PUSH1 0x00 00001c6e: KECCAK256 00001c6f: PUSH1 0x00 00001c71: CALLER 00001c72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c87: AND 00001c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9d: AND 00001c9e: DUP2 00001c9f: MSTORE 00001ca0: PUSH1 0x20 00001ca2: ADD 00001ca3: SWAP1 00001ca4: DUP2 00001ca5: MSTORE 00001ca6: PUSH1 0x20 00001ca8: ADD 00001ca9: PUSH1 0x00 00001cab: KECCAK256 00001cac: PUSH1 0x04 00001cae: ADD 00001caf: SLOAD 00001cb0: SWAP1 00001cb1: POP 00001cb2: SWAP2 00001cb3: SWAP1 00001cb4: POP 00001cb5: JUMP 00001cb6: JUMPDEST 00001cb7: PUSH2 0x1cbe 00001cba: PUSH2 0x20da 00001cbd: JUMP 00001cbe: JUMPDEST 00001cbf: PUSH1 0x03 00001cc1: PUSH1 0x00 00001cc3: CALLER 00001cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd9: AND 00001cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cef: AND 00001cf0: DUP2 00001cf1: MSTORE 00001cf2: PUSH1 0x20 00001cf4: ADD 00001cf5: SWAP1 00001cf6: DUP2 00001cf7: MSTORE 00001cf8: PUSH1 0x20 00001cfa: ADD 00001cfb: PUSH1 0x00 00001cfd: KECCAK256 00001cfe: PUSH1 0x00 00001d00: DUP4 00001d01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d16: AND 00001d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d2c: AND 00001d2d: DUP2 00001d2e: MSTORE 00001d2f: PUSH1 0x20 00001d31: ADD 00001d32: SWAP1 00001d33: DUP2 00001d34: MSTORE 00001d35: PUSH1 0x20 00001d37: ADD 00001d38: PUSH1 0x00 00001d3a: KECCAK256 00001d3b: PUSH1 0xa0 00001d3d: PUSH1 0x40 00001d3f: MLOAD 00001d40: SWAP1 00001d41: DUP2 00001d42: ADD 00001d43: PUSH1 0x40 00001d45: MSTORE 00001d46: SWAP1 00001d47: DUP2 00001d48: PUSH1 0x00 00001d4a: DUP3 00001d4b: ADD 00001d4c: PUSH1 0x00 00001d4e: SWAP1 00001d4f: SLOAD 00001d50: SWAP1 00001d51: PUSH2 0x0100 00001d54: EXP 00001d55: SWAP1 00001d56: DIV 00001d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d6c: AND 00001d6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d82: AND 00001d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d98: AND 00001d99: DUP2 00001d9a: MSTORE 00001d9b: PUSH1 0x20 00001d9d: ADD 00001d9e: PUSH1 0x01 00001da0: DUP3 00001da1: ADD 00001da2: SLOAD 00001da3: DUP2 00001da4: MSTORE 00001da5: PUSH1 0x20 00001da7: ADD 00001da8: PUSH1 0x02 00001daa: DUP3 00001dab: ADD 00001dac: PUSH1 0x00 00001dae: SWAP1 00001daf: SLOAD 00001db0: SWAP1 00001db1: PUSH2 0x0100 00001db4: EXP 00001db5: SWAP1 00001db6: DIV 00001db7: PUSH13 0x01000000000000000000000000 00001dc5: MUL 00001dc6: PUSH12 0xffffffffffffffffffffffff 00001dd3: NOT 00001dd4: AND 00001dd5: PUSH12 0xffffffffffffffffffffffff 00001de2: NOT 00001de3: AND 00001de4: DUP2 00001de5: MSTORE 00001de6: PUSH1 0x20 00001de8: ADD 00001de9: PUSH1 0x03 00001deb: DUP3 00001dec: ADD 00001ded: SLOAD 00001dee: DUP2 00001def: MSTORE 00001df0: PUSH1 0x20 00001df2: ADD 00001df3: PUSH1 0x04 00001df5: DUP3 00001df6: ADD 00001df7: SLOAD 00001df8: DUP2 00001df9: MSTORE 00001dfa: POP 00001dfb: POP 00001dfc: SWAP1 00001dfd: POP 00001dfe: PUSH1 0x00 00001e00: DUP2 00001e01: PUSH1 0x80 00001e03: ADD 00001e04: MLOAD 00001e05: GT 00001e06: ISZERO 00001e07: ISZERO 00001e08: PUSH2 0x1e10 00001e0b: JUMPI 00001e0c: PUSH1 0x00 00001e0e: DUP1 00001e0f: REVERT 00001e10: JUMPDEST 00001e11: TIMESTAMP 00001e12: PUSH2 0x1e2a 00001e15: PUSH1 0x02 00001e17: SLOAD 00001e18: DUP4 00001e19: PUSH1 0x60 00001e1b: ADD 00001e1c: MLOAD 00001e1d: PUSH2 0x1f50 00001e20: SWAP1 00001e21: SWAP2 00001e22: SWAP1 00001e23: PUSH4 0xffffffff 00001e28: AND 00001e29: JUMP 00001e2a: JUMPDEST 00001e2b: LT 00001e2c: ISZERO 00001e2d: ISZERO 00001e2e: PUSH2 0x1e36 00001e31: JUMPI 00001e32: PUSH1 0x00 00001e34: DUP1 00001e35: REVERT 00001e36: JUMPDEST 00001e37: CALLER 00001e38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e4d: AND 00001e4e: PUSH2 0x08fc 00001e51: DUP3 00001e52: PUSH1 0x80 00001e54: ADD 00001e55: MLOAD 00001e56: SWAP1 00001e57: DUP2 00001e58: ISZERO 00001e59: MUL 00001e5a: SWAP1 00001e5b: PUSH1 0x40 00001e5d: MLOAD 00001e5e: PUSH1 0x00 00001e60: PUSH1 0x40 00001e62: MLOAD 00001e63: DUP1 00001e64: DUP4 00001e65: SUB 00001e66: DUP2 00001e67: DUP6 00001e68: DUP9 00001e69: DUP9 00001e6a: CALL 00001e6b: SWAP4 00001e6c: POP 00001e6d: POP 00001e6e: POP 00001e6f: POP 00001e70: ISZERO 00001e71: DUP1 00001e72: ISZERO 00001e73: PUSH2 0x1e80 00001e76: JUMPI 00001e77: RETURNDATASIZE 00001e78: PUSH1 0x00 00001e7a: DUP1 00001e7b: RETURNDATACOPY 00001e7c: RETURNDATASIZE 00001e7d: PUSH1 0x00 00001e7f: REVERT 00001e80: JUMPDEST 00001e81: POP 00001e82: PUSH2 0x1e8b 00001e85: CALLER 00001e86: DUP4 00001e87: PUSH2 0x1f71 00001e8a: JUMP 00001e8b: JUMPDEST 00001e8c: PUSH32 0x7d398516b5972c69dadc977fbce748582045eecd7ecb320ec0cf6d8378560782 00001ead: DUP3 00001eae: CALLER 00001eaf: DUP4 00001eb0: PUSH1 0x40 00001eb2: ADD 00001eb3: MLOAD 00001eb4: PUSH1 0x40 00001eb6: MLOAD 00001eb7: DUP1 00001eb8: DUP5 00001eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ece: AND 00001ecf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ee4: AND 00001ee5: DUP2 00001ee6: MSTORE 00001ee7: PUSH1 0x20 00001ee9: ADD 00001eea: DUP4 00001eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f00: AND 00001f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f16: AND 00001f17: DUP2 00001f18: MSTORE 00001f19: PUSH1 0x20 00001f1b: ADD 00001f1c: DUP3 00001f1d: PUSH12 0xffffffffffffffffffffffff 00001f2a: NOT 00001f2b: AND 00001f2c: PUSH12 0xffffffffffffffffffffffff 00001f39: NOT 00001f3a: AND 00001f3b: DUP2 00001f3c: MSTORE 00001f3d: PUSH1 0x20 00001f3f: ADD 00001f40: SWAP4 00001f41: POP 00001f42: POP 00001f43: POP 00001f44: POP 00001f45: PUSH1 0x40 00001f47: MLOAD 00001f48: DUP1 00001f49: SWAP2 00001f4a: SUB 00001f4b: SWAP1 00001f4c: LOG1 00001f4d: POP 00001f4e: POP 00001f4f: JUMP 00001f50: JUMPDEST 00001f51: PUSH1 0x00 00001f53: DUP1 00001f54: DUP3 00001f55: DUP5 00001f56: ADD 00001f57: SWAP1 00001f58: POP 00001f59: DUP4 00001f5a: DUP2 00001f5b: LT 00001f5c: ISZERO 00001f5d: ISZERO 00001f5e: ISZERO 00001f5f: PUSH2 0x1f67 00001f62: JUMPI 00001f63: PUSH1 0x00 00001f65: DUP1 00001f66: REVERT 00001f67: JUMPDEST 00001f68: DUP1 00001f69: SWAP2 00001f6a: POP 00001f6b: POP 00001f6c: SWAP3 00001f6d: SWAP2 00001f6e: POP 00001f6f: POP 00001f70: JUMP 00001f71: JUMPDEST 00001f72: PUSH1 0x03 00001f74: PUSH1 0x00 00001f76: DUP4 00001f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f8c: AND 00001f8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fa2: AND 00001fa3: DUP2 00001fa4: MSTORE 00001fa5: PUSH1 0x20 00001fa7: ADD 00001fa8: SWAP1 00001fa9: DUP2 00001faa: MSTORE 00001fab: PUSH1 0x20 00001fad: ADD 00001fae: PUSH1 0x00 00001fb0: KECCAK256 00001fb1: PUSH1 0x00 00001fb3: DUP3 00001fb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc9: AND 00001fca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fdf: AND 00001fe0: DUP2 00001fe1: MSTORE 00001fe2: PUSH1 0x20 00001fe4: ADD 00001fe5: SWAP1 00001fe6: DUP2 00001fe7: MSTORE 00001fe8: PUSH1 0x20 00001fea: ADD 00001feb: PUSH1 0x00 00001fed: KECCAK256 00001fee: PUSH1 0x00 00001ff0: DUP1 00001ff1: DUP3 00001ff2: ADD 00001ff3: PUSH1 0x00 00001ff5: PUSH2 0x0100 00001ff8: EXP 00001ff9: DUP2 00001ffa: SLOAD 00001ffb: SWAP1 00001ffc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002011: MUL 00002012: NOT 00002013: AND 00002014: SWAP1 00002015: SSTORE 00002016: PUSH1 0x01 00002018: DUP3 00002019: ADD 0000201a: PUSH1 0x00 0000201c: SWAP1 0000201d: SSTORE 0000201e: PUSH1 0x02 00002020: DUP3 00002021: ADD 00002022: PUSH1 0x00 00002024: PUSH2 0x0100 00002027: EXP 00002028: DUP2 00002029: SLOAD 0000202a: SWAP1 0000202b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002040: MUL 00002041: NOT 00002042: AND 00002043: SWAP1 00002044: SSTORE 00002045: PUSH1 0x03 00002047: DUP3 00002048: ADD 00002049: PUSH1 0x00 0000204b: SWAP1 0000204c: SSTORE 0000204d: PUSH1 0x04 0000204f: DUP3 00002050: ADD 00002051: PUSH1 0x00 00002053: SWAP1 00002054: SSTORE 00002055: POP 00002056: POP 00002057: PUSH1 0x04 00002059: PUSH1 0x00 0000205b: DUP4 0000205c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002071: AND 00002072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002087: AND 00002088: DUP2 00002089: MSTORE 0000208a: PUSH1 0x20 0000208c: ADD 0000208d: SWAP1 0000208e: DUP2 0000208f: MSTORE 00002090: PUSH1 0x20 00002092: ADD 00002093: PUSH1 0x00 00002095: KECCAK256 00002096: PUSH1 0x00 00002098: DUP3 00002099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ae: AND 000020af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020c4: AND 000020c5: DUP2 000020c6: MSTORE 000020c7: PUSH1 0x20 000020c9: ADD 000020ca: SWAP1 000020cb: DUP2 000020cc: MSTORE 000020cd: PUSH1 0x20 000020cf: ADD 000020d0: PUSH1 0x00 000020d2: KECCAK256 000020d3: PUSH1 0x00 000020d5: SWAP1 000020d6: SSTORE 000020d7: POP 000020d8: POP 000020d9: JUMP 000020da: JUMPDEST 000020db: PUSH1 0xa0 000020dd: PUSH1 0x40 000020df: MLOAD 000020e0: SWAP1 000020e1: DUP2 000020e2: ADD 000020e3: PUSH1 0x40 000020e5: MSTORE 000020e6: DUP1 000020e7: PUSH1 0x00 000020e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020fe: AND 000020ff: DUP2 00002100: MSTORE 00002101: PUSH1 0x20 00002103: ADD 00002104: PUSH1 0x00 00002106: DUP1 00002107: NOT 00002108: AND 00002109: DUP2 0000210a: MSTORE 0000210b: PUSH1 0x20 0000210d: ADD 0000210e: PUSH1 0x00 00002110: PUSH12 0xffffffffffffffffffffffff 0000211d: NOT 0000211e: AND 0000211f: DUP2 00002120: MSTORE 00002121: PUSH1 0x20 00002123: ADD 00002124: PUSH1 0x00 00002126: DUP2 00002127: MSTORE 00002128: PUSH1 0x20 0000212a: ADD 0000212b: PUSH1 0x00 0000212d: DUP2 0000212e: MSTORE 0000212f: POP 00002130: SWAP1 00002131: JUMP 00002132: INVALID 00002133: LOG1 00002134: PUSH6 0x627a7a723058 0000213b: KECCAK256 0000213c: DUP4 0000213d: UNKNOWN(0xF9) 0000213e: UNKNOWN(0xC5) 0000213f: PUSH1 0xb2 00002141: SLOAD 00002142: PUSH1 0x33 00002144: SWAP14 00002145: PUSH29
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9796acd1764a529754d6a360c3e798f084aa90d7b378a7a290674efecc8cb185
call_targets:
0xc4d43af0518c4ac875b01848f1087c435c42659b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9796acd1764a529754d6a360c3e798f084aa90d7b378a7a290674efecc8cb185",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc4d43af0518c4ac875b01848f1087c435c42659b"
],
"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": "0xdcb5930a",
"selector": "0xdcb5930a",
"calldata_variants": [
"0xdcb5930a",
"0xdcb5930a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe03ec01d",
"selector": "0xe03ec01d",
"calldata_variants": [
"0xe03ec01d",
"0xe03ec01d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b2cb4f",
"selector": "0xf8b2cb4f",
"calldata_variants": [
"0xf8b2cb4f",
"0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa89401a",
"selector": "0xfa89401a",
"calldata_variants": [
"0xfa89401a",
"0xfa89401a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99caf975",
"selector": "0x99caf975",
"calldata_variants": [
"0x99caf975",
"0x99caf9750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa543bae7",
"selector": "0xa543bae7",
"calldata_variants": [
"0xa543bae7",
"0xa543bae70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd348b5a4",
"selector": "0xd348b5a4",
"calldata_variants": [
"0xd348b5a4",
"0xd348b5a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b258d50",
"selector": "0x1b258d50",
"calldata_variants": [
"0x1b258d50",
"0x1b258d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2383,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3713,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6511,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9796acd1764a529754d6a360c3e798f084aa90d7b378a7a290674efecc8cb185
call_targets:
0xc4d43af0518c4ac875b01848f1087c435c42659b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9796acd1764a529754d6a360c3e798f084aa90d7b378a7a290674efecc8cb185",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc4d43af0518c4ac875b01848f1087c435c42659b"
],
"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": "0xdcb5930a",
"selector": "0xdcb5930a",
"calldata_variants": [
"0xdcb5930a",
"0xdcb5930a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe03ec01d",
"selector": "0xe03ec01d",
"calldata_variants": [
"0xe03ec01d",
"0xe03ec01d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8b2cb4f",
"selector": "0xf8b2cb4f",
"calldata_variants": [
"0xf8b2cb4f",
"0xf8b2cb4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa89401a",
"selector": "0xfa89401a",
"calldata_variants": [
"0xfa89401a",
"0xfa89401a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99caf975",
"selector": "0x99caf975",
"calldata_variants": [
"0x99caf975",
"0x99caf9750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa543bae7",
"selector": "0xa543bae7",
"calldata_variants": [
"0xa543bae7",
"0xa543bae70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd348b5a4",
"selector": "0xd348b5a4",
"calldata_variants": [
"0xd348b5a4",
"0xd348b5a40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b258d50",
"selector": "0x1b258d50",
"calldata_variants": [
"0x1b258d50",
"0x1b258d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2383,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3713,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6511,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|