019b477e-adda-711b-91c1-3479da9753eb
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 |
|---|---|---|---|---|
| 21493 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21494 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 65302 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65303 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65304 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65305 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0175 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x0180 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x020e 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x0a8fed89 00000052: EQ 00000053: PUSH2 0x0268 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x18160ddd 0000005d: EQ 0000005e: PUSH2 0x0294 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x1df93558 00000068: EQ 00000069: PUSH2 0x02bd 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x22f3e2d4 00000073: EQ 00000074: PUSH2 0x02e6 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x23b872dd 0000007e: EQ 0000007f: PUSH2 0x0313 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x313ce567 00000089: EQ 0000008a: PUSH2 0x038c 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x34fcf437 00000094: EQ 00000095: PUSH2 0x03b5 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x3aa51e41 0000009f: EQ 000000a0: PUSH2 0x03d8 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x3eaaf86b 000000aa: EQ 000000ab: PUSH2 0x03ed 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x4172d080 000000b5: EQ 000000b6: PUSH2 0x0416 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x48823786 000000c0: EQ 000000c1: PUSH2 0x043f 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x4bb278f3 000000cb: EQ 000000cc: PUSH2 0x0468 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x54fd4d50 000000d6: EQ 000000d7: PUSH2 0x047d 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x590e1ae3 000000e1: EQ 000000e2: PUSH2 0x050b 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x6f7920fd 000000ec: EQ 000000ed: PUSH2 0x0520 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0x70a08231 000000f7: EQ 000000f8: PUSH2 0x0549 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0x74eedd46 00000102: EQ 00000103: PUSH2 0x0596 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0x79ba5097 0000010d: EQ 0000010e: PUSH2 0x05bf 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0x8d4e4083 00000118: EQ 00000119: PUSH2 0x05d4 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0x8da5cb5b 00000123: EQ 00000124: PUSH2 0x0601 00000127: JUMPI 00000128: DUP1 00000129: PUSH4 0x95d89b41 0000012e: EQ 0000012f: PUSH2 0x0656 00000132: JUMPI 00000133: DUP1 00000134: PUSH4 0xa81c3bdf 00000139: EQ 0000013a: PUSH2 0x06e4 0000013d: JUMPI 0000013e: DUP1 0000013f: PUSH4 0xa9059cbb 00000144: EQ 00000145: PUSH2 0x0739 00000148: JUMPI 00000149: DUP1 0000014a: PUSH4 0xc039daf6 0000014f: EQ 00000150: PUSH2 0x0793 00000153: JUMPI 00000154: DUP1 00000155: PUSH4 0xd4ee1d90 0000015a: EQ 0000015b: PUSH2 0x07bc 0000015e: JUMPI 0000015f: DUP1 00000160: PUSH4 0xdd62ed3e 00000165: EQ 00000166: PUSH2 0x0811 00000169: JUMPI 0000016a: DUP1 0000016b: PUSH4 0xf2fde38b 00000170: EQ 00000171: PUSH2 0x087d 00000174: JUMPI 00000175: JUMPDEST 00000176: PUSH2 0x017e 00000179: CALLVALUE 0000017a: PUSH2 0x08b6 0000017d: JUMP 0000017e: JUMPDEST 0000017f: STOP 00000180: JUMPDEST 00000181: CALLVALUE 00000182: ISZERO 00000183: PUSH2 0x018b 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: PUSH2 0x0193 0000018f: PUSH2 0x0b0f 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH1 0x40 00000196: MLOAD 00000197: DUP1 00000198: DUP1 00000199: PUSH1 0x20 0000019b: ADD 0000019c: DUP3 0000019d: DUP2 0000019e: SUB 0000019f: DUP3 000001a0: MSTORE 000001a1: DUP4 000001a2: DUP2 000001a3: DUP2 000001a4: MLOAD 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP2 000001ab: POP 000001ac: DUP1 000001ad: MLOAD 000001ae: SWAP1 000001af: PUSH1 0x20 000001b1: ADD 000001b2: SWAP1 000001b3: DUP1 000001b4: DUP4 000001b5: DUP4 000001b6: PUSH1 0x00 000001b8: JUMPDEST 000001b9: DUP4 000001ba: DUP2 000001bb: LT 000001bc: ISZERO 000001bd: PUSH2 0x01d3 000001c0: JUMPI 000001c1: DUP1 000001c2: DUP3 000001c3: ADD 000001c4: MLOAD 000001c5: DUP2 000001c6: DUP5 000001c7: ADD 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: DUP2 000001cc: ADD 000001cd: SWAP1 000001ce: POP 000001cf: PUSH2 0x01b8 000001d2: JUMP 000001d3: JUMPDEST 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: POP 000001d8: SWAP1 000001d9: POP 000001da: SWAP1 000001db: DUP2 000001dc: ADD 000001dd: SWAP1 000001de: PUSH1 0x1f 000001e0: AND 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x0200 000001e6: JUMPI 000001e7: DUP1 000001e8: DUP3 000001e9: SUB 000001ea: DUP1 000001eb: MLOAD 000001ec: PUSH1 0x01 000001ee: DUP4 000001ef: PUSH1 0x20 000001f1: SUB 000001f2: PUSH2 0x0100 000001f5: EXP 000001f6: SUB 000001f7: NOT 000001f8: AND 000001f9: DUP2 000001fa: MSTORE 000001fb: PUSH1 0x20 000001fd: ADD 000001fe: SWAP2 000001ff: POP 00000200: JUMPDEST 00000201: POP 00000202: SWAP3 00000203: POP 00000204: POP 00000205: POP 00000206: PUSH1 0x40 00000208: MLOAD 00000209: DUP1 0000020a: SWAP2 0000020b: SUB 0000020c: SWAP1 0000020d: RETURN 0000020e: JUMPDEST 0000020f: CALLVALUE 00000210: ISZERO 00000211: PUSH2 0x0219 00000214: JUMPI 00000215: PUSH1 0x00 00000217: DUP1 00000218: REVERT 00000219: JUMPDEST 0000021a: PUSH2 0x024e 0000021d: PUSH1 0x04 0000021f: DUP1 00000220: DUP1 00000221: CALLDATALOAD 00000222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000237: AND 00000238: SWAP1 00000239: PUSH1 0x20 0000023b: ADD 0000023c: SWAP1 0000023d: SWAP2 0000023e: SWAP1 0000023f: DUP1 00000240: CALLDATALOAD 00000241: SWAP1 00000242: PUSH1 0x20 00000244: ADD 00000245: SWAP1 00000246: SWAP2 00000247: SWAP1 00000248: POP 00000249: POP 0000024a: PUSH2 0x0b48 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x40 00000251: MLOAD 00000252: DUP1 00000253: DUP3 00000254: ISZERO 00000255: ISZERO 00000256: ISZERO 00000257: ISZERO 00000258: DUP2 00000259: MSTORE 0000025a: PUSH1 0x20 0000025c: ADD 0000025d: SWAP2 0000025e: POP 0000025f: POP 00000260: PUSH1 0x40 00000262: MLOAD 00000263: DUP1 00000264: SWAP2 00000265: SUB 00000266: SWAP1 00000267: RETURN 00000268: JUMPDEST 00000269: CALLVALUE 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: PUSH2 0x0292 00000277: PUSH1 0x04 00000279: DUP1 0000027a: DUP1 0000027b: CALLDATALOAD 0000027c: SWAP1 0000027d: PUSH1 0x20 0000027f: ADD 00000280: SWAP1 00000281: SWAP2 00000282: SWAP1 00000283: DUP1 00000284: CALLDATALOAD 00000285: SWAP1 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP1 0000028a: SWAP2 0000028b: SWAP1 0000028c: POP 0000028d: POP 0000028e: PUSH2 0x0c55 00000291: JUMP 00000292: JUMPDEST 00000293: STOP 00000294: JUMPDEST 00000295: CALLVALUE 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: PUSH2 0x02a7 000002a3: PUSH2 0x0e44 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP1 000002ac: DUP3 000002ad: DUP2 000002ae: MSTORE 000002af: PUSH1 0x20 000002b1: ADD 000002b2: SWAP2 000002b3: POP 000002b4: POP 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: DUP1 000002b9: SWAP2 000002ba: SUB 000002bb: SWAP1 000002bc: RETURN 000002bd: JUMPDEST 000002be: CALLVALUE 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: PUSH2 0x02d0 000002cc: PUSH2 0x0e8f 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: DUP1 000002d5: DUP3 000002d6: DUP2 000002d7: MSTORE 000002d8: PUSH1 0x20 000002da: ADD 000002db: SWAP2 000002dc: POP 000002dd: POP 000002de: PUSH1 0x40 000002e0: MLOAD 000002e1: DUP1 000002e2: SWAP2 000002e3: SUB 000002e4: SWAP1 000002e5: RETURN 000002e6: JUMPDEST 000002e7: CALLVALUE 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: PUSH2 0x02f9 000002f5: PUSH2 0x0e95 000002f8: JUMP 000002f9: JUMPDEST 000002fa: PUSH1 0x40 000002fc: MLOAD 000002fd: DUP1 000002fe: DUP3 000002ff: ISZERO 00000300: ISZERO 00000301: ISZERO 00000302: ISZERO 00000303: DUP2 00000304: MSTORE 00000305: PUSH1 0x20 00000307: ADD 00000308: SWAP2 00000309: POP 0000030a: POP 0000030b: PUSH1 0x40 0000030d: MLOAD 0000030e: DUP1 0000030f: SWAP2 00000310: SUB 00000311: SWAP1 00000312: RETURN 00000313: JUMPDEST 00000314: CALLVALUE 00000315: ISZERO 00000316: PUSH2 0x031e 00000319: JUMPI 0000031a: PUSH1 0x00 0000031c: DUP1 0000031d: REVERT 0000031e: JUMPDEST 0000031f: PUSH2 0x0372 00000322: PUSH1 0x04 00000324: DUP1 00000325: DUP1 00000326: CALLDATALOAD 00000327: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033c: AND 0000033d: SWAP1 0000033e: PUSH1 0x20 00000340: ADD 00000341: SWAP1 00000342: SWAP2 00000343: SWAP1 00000344: DUP1 00000345: CALLDATALOAD 00000346: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000035b: AND 0000035c: SWAP1 0000035d: PUSH1 0x20 0000035f: ADD 00000360: SWAP1 00000361: SWAP2 00000362: SWAP1 00000363: DUP1 00000364: CALLDATALOAD 00000365: SWAP1 00000366: PUSH1 0x20 00000368: ADD 00000369: SWAP1 0000036a: SWAP2 0000036b: SWAP1 0000036c: POP 0000036d: POP 0000036e: PUSH2 0x0ea8 00000371: JUMP 00000372: JUMPDEST 00000373: PUSH1 0x40 00000375: MLOAD 00000376: DUP1 00000377: DUP3 00000378: ISZERO 00000379: ISZERO 0000037a: ISZERO 0000037b: ISZERO 0000037c: DUP2 0000037d: MSTORE 0000037e: PUSH1 0x20 00000380: ADD 00000381: SWAP2 00000382: POP 00000383: POP 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP1 00000388: SWAP2 00000389: SUB 0000038a: SWAP1 0000038b: RETURN 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: PUSH2 0x039f 0000039b: PUSH2 0x116e 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: DUP1 000003a4: DUP3 000003a5: DUP2 000003a6: MSTORE 000003a7: PUSH1 0x20 000003a9: ADD 000003aa: SWAP2 000003ab: POP 000003ac: POP 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: DUP1 000003b1: SWAP2 000003b2: SUB 000003b3: SWAP1 000003b4: RETURN 000003b5: JUMPDEST 000003b6: CALLVALUE 000003b7: ISZERO 000003b8: PUSH2 0x03c0 000003bb: JUMPI 000003bc: PUSH1 0x00 000003be: DUP1 000003bf: REVERT 000003c0: JUMPDEST 000003c1: PUSH2 0x03d6 000003c4: PUSH1 0x04 000003c6: DUP1 000003c7: DUP1 000003c8: CALLDATALOAD 000003c9: SWAP1 000003ca: PUSH1 0x20 000003cc: ADD 000003cd: SWAP1 000003ce: SWAP2 000003cf: SWAP1 000003d0: POP 000003d1: POP 000003d2: PUSH2 0x1173 000003d5: JUMP 000003d6: JUMPDEST 000003d7: STOP 000003d8: JUMPDEST 000003d9: CALLVALUE 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: PUSH2 0x03eb 000003e7: PUSH2 0x1286 000003ea: JUMP 000003eb: JUMPDEST 000003ec: STOP 000003ed: JUMPDEST 000003ee: CALLVALUE 000003ef: ISZERO 000003f0: PUSH2 0x03f8 000003f3: JUMPI 000003f4: PUSH1 0x00 000003f6: DUP1 000003f7: REVERT 000003f8: JUMPDEST 000003f9: PUSH2 0x0400 000003fc: PUSH2 0x13ce 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH1 0x40 00000403: MLOAD 00000404: DUP1 00000405: DUP3 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x20 0000040a: ADD 0000040b: SWAP2 0000040c: POP 0000040d: POP 0000040e: PUSH1 0x40 00000410: MLOAD 00000411: DUP1 00000412: SWAP2 00000413: SUB 00000414: SWAP1 00000415: RETURN 00000416: JUMPDEST 00000417: CALLVALUE 00000418: ISZERO 00000419: PUSH2 0x0421 0000041c: JUMPI 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: REVERT 00000421: JUMPDEST 00000422: PUSH2 0x0429 00000425: PUSH2 0x13d4 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x40 0000042c: MLOAD 0000042d: DUP1 0000042e: DUP3 0000042f: DUP2 00000430: MSTORE 00000431: PUSH1 0x20 00000433: ADD 00000434: SWAP2 00000435: POP 00000436: POP 00000437: PUSH1 0x40 00000439: MLOAD 0000043a: DUP1 0000043b: SWAP2 0000043c: SUB 0000043d: SWAP1 0000043e: RETURN 0000043f: JUMPDEST 00000440: CALLVALUE 00000441: ISZERO 00000442: PUSH2 0x044a 00000445: JUMPI 00000446: PUSH1 0x00 00000448: DUP1 00000449: REVERT 0000044a: JUMPDEST 0000044b: PUSH2 0x0452 0000044e: PUSH2 0x13da 00000451: JUMP 00000452: JUMPDEST 00000453: PUSH1 0x40 00000455: MLOAD 00000456: DUP1 00000457: DUP3 00000458: DUP2 00000459: MSTORE 0000045a: PUSH1 0x20 0000045c: ADD 0000045d: SWAP2 0000045e: POP 0000045f: POP 00000460: PUSH1 0x40 00000462: MLOAD 00000463: DUP1 00000464: SWAP2 00000465: SUB 00000466: SWAP1 00000467: RETURN 00000468: JUMPDEST 00000469: CALLVALUE 0000046a: ISZERO 0000046b: PUSH2 0x0473 0000046e: JUMPI 0000046f: PUSH1 0x00 00000471: DUP1 00000472: REVERT 00000473: JUMPDEST 00000474: PUSH2 0x047b 00000477: PUSH2 0x13e0 0000047a: JUMP 0000047b: JUMPDEST 0000047c: STOP 0000047d: JUMPDEST 0000047e: CALLVALUE 0000047f: ISZERO 00000480: PUSH2 0x0488 00000483: JUMPI 00000484: PUSH1 0x00 00000486: DUP1 00000487: REVERT 00000488: JUMPDEST 00000489: PUSH2 0x0490 0000048c: PUSH2 0x15aa 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH1 0x40 00000493: MLOAD 00000494: DUP1 00000495: DUP1 00000496: PUSH1 0x20 00000498: ADD 00000499: DUP3 0000049a: DUP2 0000049b: SUB 0000049c: DUP3 0000049d: MSTORE 0000049e: DUP4 0000049f: DUP2 000004a0: DUP2 000004a1: MLOAD 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP2 000004a8: POP 000004a9: DUP1 000004aa: MLOAD 000004ab: SWAP1 000004ac: PUSH1 0x20 000004ae: ADD 000004af: SWAP1 000004b0: DUP1 000004b1: DUP4 000004b2: DUP4 000004b3: PUSH1 0x00 000004b5: JUMPDEST 000004b6: DUP4 000004b7: DUP2 000004b8: LT 000004b9: ISZERO 000004ba: PUSH2 0x04d0 000004bd: JUMPI 000004be: DUP1 000004bf: DUP3 000004c0: ADD 000004c1: MLOAD 000004c2: DUP2 000004c3: DUP5 000004c4: ADD 000004c5: MSTORE 000004c6: PUSH1 0x20 000004c8: DUP2 000004c9: ADD 000004ca: SWAP1 000004cb: POP 000004cc: PUSH2 0x04b5 000004cf: JUMP 000004d0: JUMPDEST 000004d1: POP 000004d2: POP 000004d3: POP 000004d4: POP 000004d5: SWAP1 000004d6: POP 000004d7: SWAP1 000004d8: DUP2 000004d9: ADD 000004da: SWAP1 000004db: PUSH1 0x1f 000004dd: AND 000004de: DUP1 000004df: ISZERO 000004e0: PUSH2 0x04fd 000004e3: JUMPI 000004e4: DUP1 000004e5: DUP3 000004e6: SUB 000004e7: DUP1 000004e8: MLOAD 000004e9: PUSH1 0x01 000004eb: DUP4 000004ec: PUSH1 0x20 000004ee: SUB 000004ef: PUSH2 0x0100 000004f2: EXP 000004f3: SUB 000004f4: NOT 000004f5: AND 000004f6: DUP2 000004f7: MSTORE 000004f8: PUSH1 0x20 000004fa: ADD 000004fb: SWAP2 000004fc: POP 000004fd: JUMPDEST 000004fe: POP 000004ff: SWAP3 00000500: POP 00000501: POP 00000502: POP 00000503: PUSH1 0x40 00000505: MLOAD 00000506: DUP1 00000507: SWAP2 00000508: SUB 00000509: SWAP1 0000050a: RETURN 0000050b: JUMPDEST 0000050c: CALLVALUE 0000050d: ISZERO 0000050e: PUSH2 0x0516 00000511: JUMPI 00000512: PUSH1 0x00 00000514: DUP1 00000515: REVERT 00000516: JUMPDEST 00000517: PUSH2 0x051e 0000051a: PUSH2 0x1648 0000051d: JUMP 0000051e: JUMPDEST 0000051f: STOP 00000520: JUMPDEST 00000521: CALLVALUE 00000522: ISZERO 00000523: PUSH2 0x052b 00000526: JUMPI 00000527: PUSH1 0x00 00000529: DUP1 0000052a: REVERT 0000052b: JUMPDEST 0000052c: PUSH2 0x0533 0000052f: PUSH2 0x190b 00000532: JUMP 00000533: JUMPDEST 00000534: PUSH1 0x40 00000536: MLOAD 00000537: DUP1 00000538: DUP3 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x20 0000053d: ADD 0000053e: SWAP2 0000053f: POP 00000540: POP 00000541: PUSH1 0x40 00000543: MLOAD 00000544: DUP1 00000545: SWAP2 00000546: SUB 00000547: SWAP1 00000548: RETURN 00000549: JUMPDEST 0000054a: CALLVALUE 0000054b: ISZERO 0000054c: PUSH2 0x0554 0000054f: JUMPI 00000550: PUSH1 0x00 00000552: DUP1 00000553: REVERT 00000554: JUMPDEST 00000555: PUSH2 0x0580 00000558: PUSH1 0x04 0000055a: DUP1 0000055b: DUP1 0000055c: CALLDATALOAD 0000055d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000572: AND 00000573: SWAP1 00000574: PUSH1 0x20 00000576: ADD 00000577: SWAP1 00000578: SWAP2 00000579: SWAP1 0000057a: POP 0000057b: POP 0000057c: PUSH2 0x1911 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH1 0x40 00000583: MLOAD 00000584: DUP1 00000585: DUP3 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP2 0000058c: POP 0000058d: POP 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: DUP1 00000592: SWAP2 00000593: SUB 00000594: SWAP1 00000595: RETURN 00000596: JUMPDEST 00000597: CALLVALUE 00000598: ISZERO 00000599: PUSH2 0x05a1 0000059c: JUMPI 0000059d: PUSH1 0x00 0000059f: DUP1 000005a0: REVERT 000005a1: JUMPDEST 000005a2: PUSH2 0x05a9 000005a5: PUSH2 0x195a 000005a8: JUMP 000005a9: JUMPDEST 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: DUP1 000005ae: DUP3 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: SWAP2 000005b5: POP 000005b6: POP 000005b7: PUSH1 0x40 000005b9: MLOAD 000005ba: DUP1 000005bb: SWAP2 000005bc: SUB 000005bd: SWAP1 000005be: RETURN 000005bf: JUMPDEST 000005c0: CALLVALUE 000005c1: ISZERO 000005c2: PUSH2 0x05ca 000005c5: JUMPI 000005c6: PUSH1 0x00 000005c8: DUP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: PUSH2 0x05d2 000005ce: PUSH2 0x1960 000005d1: JUMP 000005d2: JUMPDEST 000005d3: STOP 000005d4: JUMPDEST 000005d5: CALLVALUE 000005d6: ISZERO 000005d7: PUSH2 0x05df 000005da: JUMPI 000005db: PUSH1 0x00 000005dd: DUP1 000005de: REVERT 000005df: JUMPDEST 000005e0: PUSH2 0x05e7 000005e3: PUSH2 0x1aff 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH1 0x40 000005ea: MLOAD 000005eb: DUP1 000005ec: DUP3 000005ed: ISZERO 000005ee: ISZERO 000005ef: ISZERO 000005f0: ISZERO 000005f1: DUP2 000005f2: MSTORE 000005f3: PUSH1 0x20 000005f5: ADD 000005f6: SWAP2 000005f7: POP 000005f8: POP 000005f9: PUSH1 0x40 000005fb: MLOAD 000005fc: DUP1 000005fd: SWAP2 000005fe: SUB 000005ff: SWAP1 00000600: RETURN 00000601: JUMPDEST 00000602: CALLVALUE 00000603: ISZERO 00000604: PUSH2 0x060c 00000607: JUMPI 00000608: PUSH1 0x00 0000060a: DUP1 0000060b: REVERT 0000060c: JUMPDEST 0000060d: PUSH2 0x0614 00000610: PUSH2 0x1b12 00000613: JUMP 00000614: JUMPDEST 00000615: PUSH1 0x40 00000617: MLOAD 00000618: DUP1 00000619: DUP3 0000061a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062f: AND 00000630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000645: AND 00000646: DUP2 00000647: MSTORE 00000648: PUSH1 0x20 0000064a: ADD 0000064b: SWAP2 0000064c: POP 0000064d: POP 0000064e: PUSH1 0x40 00000650: MLOAD 00000651: DUP1 00000652: SWAP2 00000653: SUB 00000654: SWAP1 00000655: RETURN 00000656: JUMPDEST 00000657: CALLVALUE 00000658: ISZERO 00000659: PUSH2 0x0661 0000065c: JUMPI 0000065d: PUSH1 0x00 0000065f: DUP1 00000660: REVERT 00000661: JUMPDEST 00000662: PUSH2 0x0669 00000665: PUSH2 0x1b37 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH1 0x40 0000066c: MLOAD 0000066d: DUP1 0000066e: DUP1 0000066f: PUSH1 0x20 00000671: ADD 00000672: DUP3 00000673: DUP2 00000674: SUB 00000675: DUP3 00000676: MSTORE 00000677: DUP4 00000678: DUP2 00000679: DUP2 0000067a: MLOAD 0000067b: DUP2 0000067c: MSTORE 0000067d: PUSH1 0x20 0000067f: ADD 00000680: SWAP2 00000681: POP 00000682: DUP1 00000683: MLOAD 00000684: SWAP1 00000685: PUSH1 0x20 00000687: ADD 00000688: SWAP1 00000689: DUP1 0000068a: DUP4 0000068b: DUP4 0000068c: PUSH1 0x00 0000068e: JUMPDEST 0000068f: DUP4 00000690: DUP2 00000691: LT 00000692: ISZERO 00000693: PUSH2 0x06a9 00000696: JUMPI 00000697: DUP1 00000698: DUP3 00000699: ADD 0000069a: MLOAD 0000069b: DUP2 0000069c: DUP5 0000069d: ADD 0000069e: MSTORE 0000069f: PUSH1 0x20 000006a1: DUP2 000006a2: ADD 000006a3: SWAP1 000006a4: POP 000006a5: PUSH2 0x068e 000006a8: JUMP 000006a9: JUMPDEST 000006aa: POP 000006ab: POP 000006ac: POP 000006ad: POP 000006ae: SWAP1 000006af: POP 000006b0: SWAP1 000006b1: DUP2 000006b2: ADD 000006b3: SWAP1 000006b4: PUSH1 0x1f 000006b6: AND 000006b7: DUP1 000006b8: ISZERO 000006b9: PUSH2 0x06d6 000006bc: JUMPI 000006bd: DUP1 000006be: DUP3 000006bf: SUB 000006c0: DUP1 000006c1: MLOAD 000006c2: PUSH1 0x01 000006c4: DUP4 000006c5: PUSH1 0x20 000006c7: SUB 000006c8: PUSH2 0x0100 000006cb: EXP 000006cc: SUB 000006cd: NOT 000006ce: AND 000006cf: DUP2 000006d0: MSTORE 000006d1: PUSH1 0x20 000006d3: ADD 000006d4: SWAP2 000006d5: POP 000006d6: JUMPDEST 000006d7: POP 000006d8: SWAP3 000006d9: POP 000006da: POP 000006db: POP 000006dc: PUSH1 0x40 000006de: MLOAD 000006df: DUP1 000006e0: SWAP2 000006e1: SUB 000006e2: SWAP1 000006e3: RETURN 000006e4: JUMPDEST 000006e5: CALLVALUE 000006e6: ISZERO 000006e7: PUSH2 0x06ef 000006ea: JUMPI 000006eb: PUSH1 0x00 000006ed: DUP1 000006ee: REVERT 000006ef: JUMPDEST 000006f0: PUSH2 0x06f7 000006f3: PUSH2 0x1b70 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH1 0x40 000006fa: MLOAD 000006fb: DUP1 000006fc: DUP3 000006fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000712: AND 00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000728: AND 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x20 0000072d: ADD 0000072e: SWAP2 0000072f: POP 00000730: POP 00000731: PUSH1 0x40 00000733: MLOAD 00000734: DUP1 00000735: SWAP2 00000736: SUB 00000737: SWAP1 00000738: RETURN 00000739: JUMPDEST 0000073a: CALLVALUE 0000073b: ISZERO 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: PUSH2 0x0779 00000748: PUSH1 0x04 0000074a: DUP1 0000074b: DUP1 0000074c: CALLDATALOAD 0000074d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000762: AND 00000763: SWAP1 00000764: PUSH1 0x20 00000766: ADD 00000767: SWAP1 00000768: SWAP2 00000769: SWAP1 0000076a: DUP1 0000076b: CALLDATALOAD 0000076c: SWAP1 0000076d: PUSH1 0x20 0000076f: ADD 00000770: SWAP1 00000771: SWAP2 00000772: SWAP1 00000773: POP 00000774: POP 00000775: PUSH2 0x1b96 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: DUP1 0000077e: DUP3 0000077f: ISZERO 00000780: ISZERO 00000781: ISZERO 00000782: ISZERO 00000783: DUP2 00000784: MSTORE 00000785: PUSH1 0x20 00000787: ADD 00000788: SWAP2 00000789: POP 0000078a: POP 0000078b: PUSH1 0x40 0000078d: MLOAD 0000078e: DUP1 0000078f: SWAP2 00000790: SUB 00000791: SWAP1 00000792: RETURN 00000793: JUMPDEST 00000794: CALLVALUE 00000795: ISZERO 00000796: PUSH2 0x079e 00000799: JUMPI 0000079a: PUSH1 0x00 0000079c: DUP1 0000079d: REVERT 0000079e: JUMPDEST 0000079f: PUSH2 0x07a6 000007a2: PUSH2 0x1dc8 000007a5: JUMP 000007a6: JUMPDEST 000007a7: PUSH1 0x40 000007a9: MLOAD 000007aa: DUP1 000007ab: DUP3 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x20 000007b0: ADD 000007b1: SWAP2 000007b2: POP 000007b3: POP 000007b4: PUSH1 0x40 000007b6: MLOAD 000007b7: DUP1 000007b8: SWAP2 000007b9: SUB 000007ba: SWAP1 000007bb: RETURN 000007bc: JUMPDEST 000007bd: CALLVALUE 000007be: ISZERO 000007bf: PUSH2 0x07c7 000007c2: JUMPI 000007c3: PUSH1 0x00 000007c5: DUP1 000007c6: REVERT 000007c7: JUMPDEST 000007c8: PUSH2 0x07cf 000007cb: PUSH2 0x1dce 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH1 0x40 000007d2: MLOAD 000007d3: DUP1 000007d4: DUP3 000007d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ea: AND 000007eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000800: AND 00000801: DUP2 00000802: MSTORE 00000803: PUSH1 0x20 00000805: ADD 00000806: SWAP2 00000807: POP 00000808: POP 00000809: PUSH1 0x40 0000080b: MLOAD 0000080c: DUP1 0000080d: SWAP2 0000080e: SUB 0000080f: SWAP1 00000810: RETURN 00000811: JUMPDEST 00000812: CALLVALUE 00000813: ISZERO 00000814: PUSH2 0x081c 00000817: JUMPI 00000818: PUSH1 0x00 0000081a: DUP1 0000081b: REVERT 0000081c: JUMPDEST 0000081d: PUSH2 0x0867 00000820: PUSH1 0x04 00000822: DUP1 00000823: DUP1 00000824: CALLDATALOAD 00000825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083a: AND 0000083b: SWAP1 0000083c: PUSH1 0x20 0000083e: ADD 0000083f: SWAP1 00000840: SWAP2 00000841: SWAP1 00000842: DUP1 00000843: CALLDATALOAD 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: SWAP1 0000085b: PUSH1 0x20 0000085d: ADD 0000085e: SWAP1 0000085f: SWAP2 00000860: SWAP1 00000861: POP 00000862: POP 00000863: PUSH2 0x1df4 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: DUP1 0000086c: DUP3 0000086d: DUP2 0000086e: MSTORE 0000086f: PUSH1 0x20 00000871: ADD 00000872: SWAP2 00000873: POP 00000874: POP 00000875: PUSH1 0x40 00000877: MLOAD 00000878: DUP1 00000879: SWAP2 0000087a: SUB 0000087b: SWAP1 0000087c: RETURN 0000087d: JUMPDEST 0000087e: CALLVALUE 0000087f: ISZERO 00000880: PUSH2 0x0888 00000883: JUMPI 00000884: PUSH1 0x00 00000886: DUP1 00000887: REVERT 00000888: JUMPDEST 00000889: PUSH2 0x08b4 0000088c: PUSH1 0x04 0000088e: DUP1 0000088f: DUP1 00000890: CALLDATALOAD 00000891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a6: AND 000008a7: SWAP1 000008a8: PUSH1 0x20 000008aa: ADD 000008ab: SWAP1 000008ac: SWAP2 000008ad: SWAP1 000008ae: POP 000008af: POP 000008b0: PUSH2 0x1e96 000008b3: JUMP 000008b4: JUMPDEST 000008b5: STOP 000008b6: JUMPDEST 000008b7: PUSH1 0x00 000008b9: DUP1 000008ba: PUSH1 0x00 000008bc: ISZERO 000008bd: ISZERO 000008be: PUSH1 0x03 000008c0: PUSH1 0x00 000008c2: SWAP1 000008c3: SLOAD 000008c4: SWAP1 000008c5: PUSH2 0x0100 000008c8: EXP 000008c9: SWAP1 000008ca: DIV 000008cb: PUSH1 0xff 000008cd: AND 000008ce: ISZERO 000008cf: ISZERO 000008d0: EQ 000008d1: ISZERO 000008d2: ISZERO 000008d3: PUSH2 0x08db 000008d6: JUMPI 000008d7: PUSH1 0x00 000008d9: DUP1 000008da: REVERT 000008db: JUMPDEST 000008dc: PUSH1 0x09 000008de: SLOAD 000008df: TIMESTAMP 000008e0: LT 000008e1: ISZERO 000008e2: ISZERO 000008e3: ISZERO 000008e4: PUSH2 0x08ec 000008e7: JUMPI 000008e8: PUSH1 0x00 000008ea: DUP1 000008eb: REVERT 000008ec: JUMPDEST 000008ed: PUSH1 0x0a 000008ef: SLOAD 000008f0: TIMESTAMP 000008f1: LT 000008f2: ISZERO 000008f3: ISZERO 000008f4: PUSH2 0x08fc 000008f7: JUMPI 000008f8: PUSH1 0x00 000008fa: DUP1 000008fb: REVERT 000008fc: JUMPDEST 000008fd: PUSH1 0x00 000008ff: CALLVALUE 00000900: GT 00000901: ISZERO 00000902: ISZERO 00000903: PUSH2 0x090b 00000906: JUMPI 00000907: PUSH1 0x00 00000909: DUP1 0000090a: REVERT 0000090b: JUMPDEST 0000090c: PUSH2 0x0920 0000090f: PUSH1 0x0c 00000911: SLOAD 00000912: DUP5 00000913: PUSH2 0x1f35 00000916: SWAP1 00000917: SWAP2 00000918: SWAP1 00000919: PUSH4 0xffffffff 0000091e: AND 0000091f: JUMP 00000920: JUMPDEST 00000921: SWAP2 00000922: POP 00000923: PUSH2 0x0937 00000926: DUP3 00000927: PUSH1 0x02 00000929: SLOAD 0000092a: PUSH2 0x1f70 0000092d: SWAP1 0000092e: SWAP2 0000092f: SWAP1 00000930: PUSH4 0xffffffff 00000935: AND 00000936: JUMP 00000937: JUMPDEST 00000938: SWAP1 00000939: POP 0000093a: PUSH1 0x0d 0000093c: SLOAD 0000093d: DUP2 0000093e: GT 0000093f: ISZERO 00000940: ISZERO 00000941: ISZERO 00000942: PUSH2 0x094a 00000945: JUMPI 00000946: PUSH1 0x00 00000948: DUP1 00000949: REVERT 0000094a: JUMPDEST 0000094b: DUP1 0000094c: PUSH1 0x02 0000094e: DUP2 0000094f: SWAP1 00000950: SSTORE 00000951: POP 00000952: DUP2 00000953: PUSH1 0x04 00000955: PUSH1 0x00 00000957: CALLER 00000958: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096d: AND 0000096e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000983: AND 00000984: DUP2 00000985: MSTORE 00000986: PUSH1 0x20 00000988: ADD 00000989: SWAP1 0000098a: DUP2 0000098b: MSTORE 0000098c: PUSH1 0x20 0000098e: ADD 0000098f: PUSH1 0x00 00000991: KECCAK256 00000992: PUSH1 0x00 00000994: DUP3 00000995: DUP3 00000996: SLOAD 00000997: ADD 00000998: SWAP3 00000999: POP 0000099a: POP 0000099b: DUP2 0000099c: SWAP1 0000099d: SSTORE 0000099e: POP 0000099f: PUSH2 0x09f0 000009a2: PUSH1 0x06 000009a4: PUSH1 0x00 000009a6: CALLER 000009a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009bc: AND 000009bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d2: AND 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x20 000009d7: ADD 000009d8: SWAP1 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: ADD 000009de: PUSH1 0x00 000009e0: KECCAK256 000009e1: SLOAD 000009e2: DUP5 000009e3: PUSH2 0x1f70 000009e6: SWAP1 000009e7: SWAP2 000009e8: SWAP1 000009e9: PUSH4 0xffffffff 000009ee: AND 000009ef: JUMP 000009f0: JUMPDEST 000009f1: PUSH1 0x06 000009f3: PUSH1 0x00 000009f5: CALLER 000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0b: AND 00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a21: AND 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x20 00000a26: ADD 00000a27: SWAP1 00000a28: DUP2 00000a29: MSTORE 00000a2a: PUSH1 0x20 00000a2c: ADD 00000a2d: PUSH1 0x00 00000a2f: KECCAK256 00000a30: DUP2 00000a31: SWAP1 00000a32: SSTORE 00000a33: POP 00000a34: CALLER 00000a35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4a: AND 00000a4b: PUSH32 0xbeb248c51b50469ae87226271b2b7bc9c14bad6f8ca785155ea5b7c017ede3dd 00000a6c: DUP4 00000a6d: PUSH1 0x40 00000a6f: MLOAD 00000a70: DUP1 00000a71: DUP3 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x20 00000a76: ADD 00000a77: SWAP2 00000a78: POP 00000a79: POP 00000a7a: PUSH1 0x40 00000a7c: MLOAD 00000a7d: DUP1 00000a7e: SWAP2 00000a7f: SUB 00000a80: SWAP1 00000a81: LOG2 00000a82: PUSH1 0x00 00000a84: DUP1 00000a85: SWAP1 00000a86: SLOAD 00000a87: SWAP1 00000a88: PUSH2 0x0100 00000a8b: EXP 00000a8c: SWAP1 00000a8d: DIV 00000a8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa3: AND 00000aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab9: AND 00000aba: PUSH1 0x00 00000abc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad1: AND 00000ad2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000af3: PUSH1 0x02 00000af5: SLOAD 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: DUP1 00000afa: DUP3 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x20 00000aff: ADD 00000b00: SWAP2 00000b01: POP 00000b02: POP 00000b03: PUSH1 0x40 00000b05: MLOAD 00000b06: DUP1 00000b07: SWAP2 00000b08: SUB 00000b09: SWAP1 00000b0a: LOG3 00000b0b: POP 00000b0c: POP 00000b0d: POP 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: PUSH1 0x40 00000b12: DUP1 00000b13: MLOAD 00000b14: SWAP1 00000b15: DUP2 00000b16: ADD 00000b17: PUSH1 0x40 00000b19: MSTORE 00000b1a: DUP1 00000b1b: PUSH1 0x0f 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: PUSH32 0x416c6c53746f636b7320546f6b656e0000000000000000000000000000000000 00000b43: DUP2 00000b44: MSTORE 00000b45: POP 00000b46: DUP2 00000b47: JUMP 00000b48: JUMPDEST 00000b49: PUSH1 0x00 00000b4b: PUSH1 0x03 00000b4d: PUSH1 0x00 00000b4f: SWAP1 00000b50: SLOAD 00000b51: SWAP1 00000b52: PUSH2 0x0100 00000b55: EXP 00000b56: SWAP1 00000b57: DIV 00000b58: PUSH1 0xff 00000b5a: AND 00000b5b: ISZERO 00000b5c: ISZERO 00000b5d: PUSH2 0x0b65 00000b60: JUMPI 00000b61: PUSH1 0x00 00000b63: DUP1 00000b64: REVERT 00000b65: JUMPDEST 00000b66: DUP2 00000b67: PUSH1 0x05 00000b69: PUSH1 0x00 00000b6b: CALLER 00000b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b81: AND 00000b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b97: AND 00000b98: DUP2 00000b99: MSTORE 00000b9a: PUSH1 0x20 00000b9c: ADD 00000b9d: SWAP1 00000b9e: DUP2 00000b9f: MSTORE 00000ba0: PUSH1 0x20 00000ba2: ADD 00000ba3: PUSH1 0x00 00000ba5: KECCAK256 00000ba6: PUSH1 0x00 00000ba8: DUP6 00000ba9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bbe: AND 00000bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd4: AND 00000bd5: DUP2 00000bd6: MSTORE 00000bd7: PUSH1 0x20 00000bd9: ADD 00000bda: SWAP1 00000bdb: DUP2 00000bdc: MSTORE 00000bdd: PUSH1 0x20 00000bdf: ADD 00000be0: PUSH1 0x00 00000be2: KECCAK256 00000be3: DUP2 00000be4: SWAP1 00000be5: SSTORE 00000be6: POP 00000be7: DUP3 00000be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfd: AND 00000bfe: CALLER 00000bff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c14: AND 00000c15: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000c36: DUP5 00000c37: PUSH1 0x40 00000c39: MLOAD 00000c3a: DUP1 00000c3b: DUP3 00000c3c: DUP2 00000c3d: MSTORE 00000c3e: PUSH1 0x20 00000c40: ADD 00000c41: SWAP2 00000c42: POP 00000c43: POP 00000c44: PUSH1 0x40 00000c46: MLOAD 00000c47: DUP1 00000c48: SWAP2 00000c49: SUB 00000c4a: SWAP1 00000c4b: LOG3 00000c4c: PUSH1 0x01 00000c4e: SWAP1 00000c4f: POP 00000c50: SWAP3 00000c51: SWAP2 00000c52: POP 00000c53: POP 00000c54: JUMP 00000c55: JUMPDEST 00000c56: PUSH1 0x00 00000c58: DUP1 00000c59: SWAP1 00000c5a: SLOAD 00000c5b: SWAP1 00000c5c: PUSH2 0x0100 00000c5f: EXP 00000c60: SWAP1 00000c61: DIV 00000c62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c77: AND 00000c78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8d: AND 00000c8e: CALLER 00000c8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca4: AND 00000ca5: EQ 00000ca6: ISZERO 00000ca7: ISZERO 00000ca8: PUSH2 0x0cb0 00000cab: JUMPI 00000cac: PUSH1 0x00 00000cae: DUP1 00000caf: REVERT 00000cb0: JUMPDEST 00000cb1: PUSH1 0x00 00000cb3: ISZERO 00000cb4: ISZERO 00000cb5: PUSH1 0x08 00000cb7: PUSH1 0x14 00000cb9: SWAP1 00000cba: SLOAD 00000cbb: SWAP1 00000cbc: PUSH2 0x0100 00000cbf: EXP 00000cc0: SWAP1 00000cc1: DIV 00000cc2: PUSH1 0xff 00000cc4: AND 00000cc5: ISZERO 00000cc6: ISZERO 00000cc7: EQ 00000cc8: ISZERO 00000cc9: ISZERO 00000cca: PUSH2 0x0cd2 00000ccd: JUMPI 00000cce: PUSH1 0x00 00000cd0: DUP1 00000cd1: REVERT 00000cd2: JUMPDEST 00000cd3: PUSH1 0x00 00000cd5: ISZERO 00000cd6: ISZERO 00000cd7: PUSH1 0x03 00000cd9: PUSH1 0x00 00000cdb: SWAP1 00000cdc: SLOAD 00000cdd: SWAP1 00000cde: PUSH2 0x0100 00000ce1: EXP 00000ce2: SWAP1 00000ce3: DIV 00000ce4: PUSH1 0xff 00000ce6: AND 00000ce7: ISZERO 00000ce8: ISZERO 00000ce9: EQ 00000cea: ISZERO 00000ceb: ISZERO 00000cec: PUSH2 0x0cf4 00000cef: JUMPI 00000cf0: PUSH1 0x00 00000cf2: DUP1 00000cf3: REVERT 00000cf4: JUMPDEST 00000cf5: PUSH1 0x00 00000cf7: DUP1 00000cf8: SWAP1 00000cf9: SLOAD 00000cfa: SWAP1 00000cfb: PUSH2 0x0100 00000cfe: EXP 00000cff: SWAP1 00000d00: DIV 00000d01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d16: AND 00000d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2c: AND 00000d2d: CALLER 00000d2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d43: AND 00000d44: EQ 00000d45: ISZERO 00000d46: ISZERO 00000d47: PUSH2 0x0d4f 00000d4a: JUMPI 00000d4b: PUSH1 0x00 00000d4d: DUP1 00000d4e: REVERT 00000d4f: JUMPDEST 00000d50: PUSH1 0x00 00000d52: PUSH1 0x09 00000d54: SLOAD 00000d55: EQ 00000d56: ISZERO 00000d57: ISZERO 00000d58: PUSH2 0x0d60 00000d5b: JUMPI 00000d5c: PUSH1 0x00 00000d5e: DUP1 00000d5f: REVERT 00000d60: JUMPDEST 00000d61: PUSH1 0x00 00000d63: PUSH1 0x0a 00000d65: SLOAD 00000d66: EQ 00000d67: ISZERO 00000d68: ISZERO 00000d69: PUSH2 0x0d71 00000d6c: JUMPI 00000d6d: PUSH1 0x00 00000d6f: DUP1 00000d70: REVERT 00000d71: JUMPDEST 00000d72: PUSH1 0x00 00000d74: DUP3 00000d75: GT 00000d76: ISZERO 00000d77: ISZERO 00000d78: PUSH2 0x0d80 00000d7b: JUMPI 00000d7c: PUSH1 0x00 00000d7e: DUP1 00000d7f: REVERT 00000d80: JUMPDEST 00000d81: PUSH1 0x00 00000d83: DUP2 00000d84: GT 00000d85: DUP1 00000d86: ISZERO 00000d87: PUSH2 0x0d8f 00000d8a: JUMPI 00000d8b: POP 00000d8c: DUP2 00000d8d: DUP2 00000d8e: GT 00000d8f: JUMPDEST 00000d90: ISZERO 00000d91: ISZERO 00000d92: PUSH2 0x0d9a 00000d95: JUMPI 00000d96: PUSH1 0x00 00000d98: DUP1 00000d99: REVERT 00000d9a: JUMPDEST 00000d9b: PUSH1 0x00 00000d9d: PUSH1 0x03 00000d9f: PUSH1 0x00 00000da1: PUSH2 0x0100 00000da4: EXP 00000da5: DUP2 00000da6: SLOAD 00000da7: DUP2 00000da8: PUSH1 0xff 00000daa: MUL 00000dab: NOT 00000dac: AND 00000dad: SWAP1 00000dae: DUP4 00000daf: ISZERO 00000db0: ISZERO 00000db1: MUL 00000db2: OR 00000db3: SWAP1 00000db4: SSTORE 00000db5: POP 00000db6: PUSH1 0x01 00000db8: PUSH1 0x08 00000dba: PUSH1 0x14 00000dbc: PUSH2 0x0100 00000dbf: EXP 00000dc0: DUP2 00000dc1: SLOAD 00000dc2: DUP2 00000dc3: PUSH1 0xff 00000dc5: MUL 00000dc6: NOT 00000dc7: AND 00000dc8: SWAP1 00000dc9: DUP4 00000dca: ISZERO 00000dcb: ISZERO 00000dcc: MUL 00000dcd: OR 00000dce: SWAP1 00000dcf: SSTORE 00000dd0: POP 00000dd1: PUSH1 0x00 00000dd3: DUP1 00000dd4: SWAP1 00000dd5: SLOAD 00000dd6: SWAP1 00000dd7: PUSH2 0x0100 00000dda: EXP 00000ddb: SWAP1 00000ddc: DIV 00000ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df2: AND 00000df3: PUSH1 0x08 00000df5: PUSH1 0x00 00000df7: PUSH2 0x0100 00000dfa: EXP 00000dfb: DUP2 00000dfc: SLOAD 00000dfd: DUP2 00000dfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e13: MUL 00000e14: NOT 00000e15: AND 00000e16: SWAP1 00000e17: DUP4 00000e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2d: AND 00000e2e: MUL 00000e2f: OR 00000e30: SWAP1 00000e31: SSTORE 00000e32: POP 00000e33: DUP2 00000e34: PUSH1 0x09 00000e36: DUP2 00000e37: SWAP1 00000e38: SSTORE 00000e39: POP 00000e3a: DUP1 00000e3b: PUSH1 0x0a 00000e3d: DUP2 00000e3e: SWAP1 00000e3f: SSTORE 00000e40: POP 00000e41: POP 00000e42: POP 00000e43: JUMP 00000e44: JUMPDEST 00000e45: PUSH1 0x00 00000e47: PUSH1 0x04 00000e49: PUSH1 0x00 00000e4b: DUP1 00000e4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e61: AND 00000e62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e77: AND 00000e78: DUP2 00000e79: MSTORE 00000e7a: PUSH1 0x20 00000e7c: ADD 00000e7d: SWAP1 00000e7e: DUP2 00000e7f: MSTORE 00000e80: PUSH1 0x20 00000e82: ADD 00000e83: PUSH1 0x00 00000e85: KECCAK256 00000e86: SLOAD 00000e87: PUSH1 0x02 00000e89: SLOAD 00000e8a: SUB 00000e8b: SWAP1 00000e8c: POP 00000e8d: SWAP1 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH1 0x09 00000e92: SLOAD 00000e93: DUP2 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH1 0x08 00000e98: PUSH1 0x14 00000e9a: SWAP1 00000e9b: SLOAD 00000e9c: SWAP1 00000e9d: PUSH2 0x0100 00000ea0: EXP 00000ea1: SWAP1 00000ea2: DIV 00000ea3: PUSH1 0xff 00000ea5: AND 00000ea6: DUP2 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH1 0x00 00000eab: PUSH1 0x03 00000ead: PUSH1 0x00 00000eaf: SWAP1 00000eb0: SLOAD 00000eb1: SWAP1 00000eb2: PUSH2 0x0100 00000eb5: EXP 00000eb6: SWAP1 00000eb7: DIV 00000eb8: PUSH1 0xff 00000eba: AND 00000ebb: ISZERO 00000ebc: ISZERO 00000ebd: PUSH2 0x0ec5 00000ec0: JUMPI 00000ec1: PUSH1 0x00 00000ec3: DUP1 00000ec4: REVERT 00000ec5: JUMPDEST 00000ec6: PUSH2 0x0f17 00000ec9: DUP3 00000eca: PUSH1 0x04 00000ecc: PUSH1 0x00 00000ece: DUP8 00000ecf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ee4: AND 00000ee5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000efa: AND 00000efb: DUP2 00000efc: MSTORE 00000efd: PUSH1 0x20 00000eff: ADD 00000f00: SWAP1 00000f01: DUP2 00000f02: MSTORE 00000f03: PUSH1 0x20 00000f05: ADD 00000f06: PUSH1 0x00 00000f08: KECCAK256 00000f09: SLOAD 00000f0a: PUSH2 0x1f8e 00000f0d: SWAP1 00000f0e: SWAP2 00000f0f: SWAP1 00000f10: PUSH4 0xffffffff 00000f15: AND 00000f16: JUMP 00000f17: JUMPDEST 00000f18: PUSH1 0x04 00000f1a: PUSH1 0x00 00000f1c: DUP7 00000f1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f32: AND 00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f48: AND 00000f49: DUP2 00000f4a: MSTORE 00000f4b: PUSH1 0x20 00000f4d: ADD 00000f4e: SWAP1 00000f4f: DUP2 00000f50: MSTORE 00000f51: PUSH1 0x20 00000f53: ADD 00000f54: PUSH1 0x00 00000f56: KECCAK256 00000f57: DUP2 00000f58: SWAP1 00000f59: SSTORE 00000f5a: POP 00000f5b: PUSH2 0x0fe9 00000f5e: DUP3 00000f5f: PUSH1 0x05 00000f61: PUSH1 0x00 00000f63: DUP8 00000f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f79: AND 00000f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8f: AND 00000f90: DUP2 00000f91: MSTORE 00000f92: PUSH1 0x20 00000f94: ADD 00000f95: SWAP1 00000f96: DUP2 00000f97: MSTORE 00000f98: PUSH1 0x20 00000f9a: ADD 00000f9b: PUSH1 0x00 00000f9d: KECCAK256 00000f9e: PUSH1 0x00 00000fa0: CALLER 00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb6: AND 00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcc: AND 00000fcd: DUP2 00000fce: MSTORE 00000fcf: PUSH1 0x20 00000fd1: ADD 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: MSTORE 00000fd5: PUSH1 0x20 00000fd7: ADD 00000fd8: PUSH1 0x00 00000fda: KECCAK256 00000fdb: SLOAD 00000fdc: PUSH2 0x1f8e 00000fdf: SWAP1 00000fe0: SWAP2 00000fe1: SWAP1 00000fe2: PUSH4 0xffffffff 00000fe7: AND 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: PUSH1 0x05 00000fec: PUSH1 0x00 00000fee: DUP7 00000fef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001004: AND 00001005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101a: AND 0000101b: DUP2 0000101c: MSTORE 0000101d: PUSH1 0x20 0000101f: ADD 00001020: SWAP1 00001021: DUP2 00001022: MSTORE 00001023: PUSH1 0x20 00001025: ADD 00001026: PUSH1 0x00 00001028: KECCAK256 00001029: PUSH1 0x00 0000102b: CALLER 0000102c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001041: AND 00001042: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001057: AND 00001058: DUP2 00001059: MSTORE 0000105a: PUSH1 0x20 0000105c: ADD 0000105d: SWAP1 0000105e: DUP2 0000105f: MSTORE 00001060: PUSH1 0x20 00001062: ADD 00001063: PUSH1 0x00 00001065: KECCAK256 00001066: DUP2 00001067: SWAP1 00001068: SSTORE 00001069: POP 0000106a: PUSH2 0x10bb 0000106d: DUP3 0000106e: PUSH1 0x04 00001070: PUSH1 0x00 00001072: DUP7 00001073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001088: AND 00001089: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109e: AND 0000109f: DUP2 000010a0: MSTORE 000010a1: PUSH1 0x20 000010a3: ADD 000010a4: SWAP1 000010a5: DUP2 000010a6: MSTORE 000010a7: PUSH1 0x20 000010a9: ADD 000010aa: PUSH1 0x00 000010ac: KECCAK256 000010ad: SLOAD 000010ae: PUSH2 0x1f70 000010b1: SWAP1 000010b2: SWAP2 000010b3: SWAP1 000010b4: PUSH4 0xffffffff 000010b9: AND 000010ba: JUMP 000010bb: JUMPDEST 000010bc: PUSH1 0x04 000010be: PUSH1 0x00 000010c0: DUP6 000010c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d6: AND 000010d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ec: AND 000010ed: DUP2 000010ee: MSTORE 000010ef: PUSH1 0x20 000010f1: ADD 000010f2: SWAP1 000010f3: DUP2 000010f4: MSTORE 000010f5: PUSH1 0x20 000010f7: ADD 000010f8: PUSH1 0x00 000010fa: KECCAK256 000010fb: DUP2 000010fc: SWAP1 000010fd: SSTORE 000010fe: POP 000010ff: DUP3 00001100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001115: AND 00001116: DUP5 00001117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112c: AND 0000112d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000114e: DUP5 0000114f: PUSH1 0x40 00001151: MLOAD 00001152: DUP1 00001153: DUP3 00001154: DUP2 00001155: MSTORE 00001156: PUSH1 0x20 00001158: ADD 00001159: SWAP2 0000115a: POP 0000115b: POP 0000115c: PUSH1 0x40 0000115e: MLOAD 0000115f: DUP1 00001160: SWAP2 00001161: SUB 00001162: SWAP1 00001163: LOG3 00001164: PUSH1 0x01 00001166: SWAP1 00001167: POP 00001168: SWAP4 00001169: SWAP3 0000116a: POP 0000116b: POP 0000116c: POP 0000116d: JUMP 0000116e: JUMPDEST 0000116f: PUSH1 0x12 00001171: DUP2 00001172: JUMP 00001173: JUMPDEST 00001174: PUSH1 0x00 00001176: DUP1 00001177: SWAP1 00001178: SLOAD 00001179: SWAP1 0000117a: PUSH2 0x0100 0000117d: EXP 0000117e: SWAP1 0000117f: DIV 00001180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001195: AND 00001196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ab: AND 000011ac: CALLER 000011ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c2: AND 000011c3: EQ 000011c4: ISZERO 000011c5: ISZERO 000011c6: PUSH2 0x11ce 000011c9: JUMPI 000011ca: PUSH1 0x00 000011cc: DUP1 000011cd: REVERT 000011ce: JUMPDEST 000011cf: PUSH1 0x00 000011d1: ISZERO 000011d2: ISZERO 000011d3: PUSH1 0x03 000011d5: PUSH1 0x00 000011d7: SWAP1 000011d8: SLOAD 000011d9: SWAP1 000011da: PUSH2 0x0100 000011dd: EXP 000011de: SWAP1 000011df: DIV 000011e0: PUSH1 0xff 000011e2: AND 000011e3: ISZERO 000011e4: ISZERO 000011e5: EQ 000011e6: ISZERO 000011e7: ISZERO 000011e8: PUSH2 0x11f0 000011eb: JUMPI 000011ec: PUSH1 0x00 000011ee: DUP1 000011ef: REVERT 000011f0: JUMPDEST 000011f1: PUSH1 0x01 000011f3: ISZERO 000011f4: ISZERO 000011f5: PUSH1 0x08 000011f7: PUSH1 0x14 000011f9: SWAP1 000011fa: SLOAD 000011fb: SWAP1 000011fc: PUSH2 0x0100 000011ff: EXP 00001200: SWAP1 00001201: DIV 00001202: PUSH1 0xff 00001204: AND 00001205: ISZERO 00001206: ISZERO 00001207: EQ 00001208: ISZERO 00001209: ISZERO 0000120a: PUSH2 0x1212 0000120d: JUMPI 0000120e: PUSH1 0x00 00001210: DUP1 00001211: REVERT 00001212: JUMPDEST 00001213: PUSH1 0x00 00001215: DUP2 00001216: GT 00001217: ISZERO 00001218: ISZERO 00001219: PUSH2 0x1221 0000121c: JUMPI 0000121d: PUSH1 0x00 0000121f: DUP1 00001220: REVERT 00001221: JUMPDEST 00001222: PUSH1 0x00 00001224: DUP1 00001225: SWAP1 00001226: SLOAD 00001227: SWAP1 00001228: PUSH2 0x0100 0000122b: EXP 0000122c: SWAP1 0000122d: DIV 0000122e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001243: AND 00001244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001259: AND 0000125a: CALLER 0000125b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001270: AND 00001271: EQ 00001272: ISZERO 00001273: ISZERO 00001274: PUSH2 0x127c 00001277: JUMPI 00001278: PUSH1 0x00 0000127a: DUP1 0000127b: REVERT 0000127c: JUMPDEST 0000127d: DUP1 0000127e: PUSH1 0x0c 00001280: DUP2 00001281: SWAP1 00001282: SSTORE 00001283: POP 00001284: POP 00001285: JUMP 00001286: JUMPDEST 00001287: PUSH1 0x00 00001289: DUP1 0000128a: SWAP1 0000128b: SLOAD 0000128c: SWAP1 0000128d: PUSH2 0x0100 00001290: EXP 00001291: SWAP1 00001292: DIV 00001293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a8: AND 000012a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012be: AND 000012bf: CALLER 000012c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d5: AND 000012d6: EQ 000012d7: ISZERO 000012d8: ISZERO 000012d9: PUSH2 0x12e1 000012dc: JUMPI 000012dd: PUSH1 0x00 000012df: DUP1 000012e0: REVERT 000012e1: JUMPDEST 000012e2: PUSH1 0x00 000012e4: DUP1 000012e5: SWAP1 000012e6: SLOAD 000012e7: SWAP1 000012e8: PUSH2 0x0100 000012eb: EXP 000012ec: SWAP1 000012ed: DIV 000012ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001303: AND 00001304: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001319: AND 0000131a: CALLER 0000131b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001330: AND 00001331: EQ 00001332: ISZERO 00001333: ISZERO 00001334: PUSH2 0x133c 00001337: JUMPI 00001338: PUSH1 0x00 0000133a: DUP1 0000133b: REVERT 0000133c: JUMPDEST 0000133d: PUSH1 0x0b 0000133f: SLOAD 00001340: PUSH1 0x0e 00001342: SLOAD 00001343: ADD 00001344: PUSH1 0x02 00001346: SLOAD 00001347: LT 00001348: ISZERO 00001349: ISZERO 0000134a: ISZERO 0000134b: PUSH2 0x1353 0000134e: JUMPI 0000134f: PUSH1 0x00 00001351: DUP1 00001352: REVERT 00001353: JUMPDEST 00001354: PUSH1 0x08 00001356: PUSH1 0x00 00001358: SWAP1 00001359: SLOAD 0000135a: SWAP1 0000135b: PUSH2 0x0100 0000135e: EXP 0000135f: SWAP1 00001360: DIV 00001361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001376: AND 00001377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000138c: AND 0000138d: PUSH2 0x08fc 00001390: ADDRESS 00001391: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a6: AND 000013a7: BALANCE 000013a8: SWAP1 000013a9: DUP2 000013aa: ISZERO 000013ab: MUL 000013ac: SWAP1 000013ad: PUSH1 0x40 000013af: MLOAD 000013b0: PUSH1 0x00 000013b2: PUSH1 0x40 000013b4: MLOAD 000013b5: DUP1 000013b6: DUP4 000013b7: SUB 000013b8: DUP2 000013b9: DUP6 000013ba: DUP9 000013bb: DUP9 000013bc: CALL 000013bd: SWAP4 000013be: POP 000013bf: POP 000013c0: POP 000013c1: POP 000013c2: ISZERO 000013c3: ISZERO 000013c4: PUSH2 0x13cc 000013c7: JUMPI 000013c8: PUSH1 0x00 000013ca: DUP1 000013cb: REVERT 000013cc: JUMPDEST 000013cd: JUMP 000013ce: JUMPDEST 000013cf: PUSH1 0x02 000013d1: SLOAD 000013d2: DUP2 000013d3: JUMP 000013d4: JUMPDEST 000013d5: PUSH1 0x0c 000013d7: SLOAD 000013d8: DUP2 000013d9: JUMP 000013da: JUMPDEST 000013db: PUSH1 0x0b 000013dd: SLOAD 000013de: DUP2 000013df: JUMP 000013e0: JUMPDEST 000013e1: PUSH1 0x00 000013e3: DUP1 000013e4: SWAP1 000013e5: SLOAD 000013e6: SWAP1 000013e7: PUSH2 0x0100 000013ea: EXP 000013eb: SWAP1 000013ec: DIV 000013ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001402: AND 00001403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001418: AND 00001419: CALLER 0000141a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142f: AND 00001430: EQ 00001431: ISZERO 00001432: ISZERO 00001433: PUSH2 0x143b 00001436: JUMPI 00001437: PUSH1 0x00 00001439: DUP1 0000143a: REVERT 0000143b: JUMPDEST 0000143c: PUSH1 0x00 0000143e: ISZERO 0000143f: ISZERO 00001440: PUSH1 0x03 00001442: PUSH1 0x00 00001444: SWAP1 00001445: SLOAD 00001446: SWAP1 00001447: PUSH2 0x0100 0000144a: EXP 0000144b: SWAP1 0000144c: DIV 0000144d: PUSH1 0xff 0000144f: AND 00001450: ISZERO 00001451: ISZERO 00001452: EQ 00001453: ISZERO 00001454: ISZERO 00001455: PUSH2 0x145d 00001458: JUMPI 00001459: PUSH1 0x00 0000145b: DUP1 0000145c: REVERT 0000145d: JUMPDEST 0000145e: PUSH1 0x00 00001460: DUP1 00001461: SWAP1 00001462: SLOAD 00001463: SWAP1 00001464: PUSH2 0x0100 00001467: EXP 00001468: SWAP1 00001469: DIV 0000146a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000147f: AND 00001480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001495: AND 00001496: CALLER 00001497: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ac: AND 000014ad: EQ 000014ae: ISZERO 000014af: ISZERO 000014b0: PUSH2 0x14b8 000014b3: JUMPI 000014b4: PUSH1 0x00 000014b6: DUP1 000014b7: REVERT 000014b8: JUMPDEST 000014b9: PUSH1 0x0b 000014bb: SLOAD 000014bc: PUSH1 0x0e 000014be: SLOAD 000014bf: ADD 000014c0: PUSH1 0x02 000014c2: SLOAD 000014c3: LT 000014c4: ISZERO 000014c5: ISZERO 000014c6: ISZERO 000014c7: PUSH2 0x14cf 000014ca: JUMPI 000014cb: PUSH1 0x00 000014cd: DUP1 000014ce: REVERT 000014cf: JUMPDEST 000014d0: PUSH1 0x00 000014d2: PUSH1 0x02 000014d4: SLOAD 000014d5: GT 000014d6: ISZERO 000014d7: ISZERO 000014d8: PUSH2 0x14e0 000014db: JUMPI 000014dc: PUSH1 0x00 000014de: DUP1 000014df: REVERT 000014e0: JUMPDEST 000014e1: PUSH1 0x0a 000014e3: SLOAD 000014e4: TIMESTAMP 000014e5: LT 000014e6: ISZERO 000014e7: PUSH2 0x1502 000014ea: JUMPI 000014eb: PUSH1 0x0d 000014ed: SLOAD 000014ee: PUSH1 0x02 000014f0: SLOAD 000014f1: LT 000014f2: ISZERO 000014f3: ISZERO 000014f4: ISZERO 000014f5: PUSH2 0x14fd 000014f8: JUMPI 000014f9: PUSH1 0x00 000014fb: DUP1 000014fc: REVERT 000014fd: JUMPDEST 000014fe: PUSH2 0x1514 00001501: JUMP 00001502: JUMPDEST 00001503: PUSH1 0x0a 00001505: SLOAD 00001506: TIMESTAMP 00001507: LT 00001508: ISZERO 00001509: ISZERO 0000150a: ISZERO 0000150b: PUSH2 0x1513 0000150e: JUMPI 0000150f: PUSH1 0x00 00001511: DUP1 00001512: REVERT 00001513: JUMPDEST 00001514: JUMPDEST 00001515: PUSH1 0x01 00001517: PUSH1 0x03 00001519: PUSH1 0x00 0000151b: PUSH2 0x0100 0000151e: EXP 0000151f: DUP2 00001520: SLOAD 00001521: DUP2 00001522: PUSH1 0xff 00001524: MUL 00001525: NOT 00001526: AND 00001527: SWAP1 00001528: DUP4 00001529: ISZERO 0000152a: ISZERO 0000152b: MUL 0000152c: OR 0000152d: SWAP1 0000152e: SSTORE 0000152f: POP 00001530: PUSH1 0x08 00001532: PUSH1 0x00 00001534: SWAP1 00001535: SLOAD 00001536: SWAP1 00001537: PUSH2 0x0100 0000153a: EXP 0000153b: SWAP1 0000153c: DIV 0000153d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001552: AND 00001553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001568: AND 00001569: PUSH2 0x08fc 0000156c: ADDRESS 0000156d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001582: AND 00001583: BALANCE 00001584: SWAP1 00001585: DUP2 00001586: ISZERO 00001587: MUL 00001588: SWAP1 00001589: PUSH1 0x40 0000158b: MLOAD 0000158c: PUSH1 0x00 0000158e: PUSH1 0x40 00001590: MLOAD 00001591: DUP1 00001592: DUP4 00001593: SUB 00001594: DUP2 00001595: DUP6 00001596: DUP9 00001597: DUP9 00001598: CALL 00001599: SWAP4 0000159a: POP 0000159b: POP 0000159c: POP 0000159d: POP 0000159e: ISZERO 0000159f: ISZERO 000015a0: PUSH2 0x15a8 000015a3: JUMPI 000015a4: PUSH1 0x00 000015a6: DUP1 000015a7: REVERT 000015a8: JUMPDEST 000015a9: JUMP 000015aa: JUMPDEST 000015ab: PUSH1 0x07 000015ad: DUP1 000015ae: SLOAD 000015af: PUSH1 0x01 000015b1: DUP2 000015b2: PUSH1 0x01 000015b4: AND 000015b5: ISZERO 000015b6: PUSH2 0x0100 000015b9: MUL 000015ba: SUB 000015bb: AND 000015bc: PUSH1 0x02 000015be: SWAP1 000015bf: DIV 000015c0: DUP1 000015c1: PUSH1 0x1f 000015c3: ADD 000015c4: PUSH1 0x20 000015c6: DUP1 000015c7: SWAP2 000015c8: DIV 000015c9: MUL 000015ca: PUSH1 0x20 000015cc: ADD 000015cd: PUSH1 0x40 000015cf: MLOAD 000015d0: SWAP1 000015d1: DUP2 000015d2: ADD 000015d3: PUSH1 0x40 000015d5: MSTORE 000015d6: DUP1 000015d7: SWAP3 000015d8: SWAP2 000015d9: SWAP1 000015da: DUP2 000015db: DUP2 000015dc: MSTORE 000015dd: PUSH1 0x20 000015df: ADD 000015e0: DUP3 000015e1: DUP1 000015e2: SLOAD 000015e3: PUSH1 0x01 000015e5: DUP2 000015e6: PUSH1 0x01 000015e8: AND 000015e9: ISZERO 000015ea: PUSH2 0x0100 000015ed: MUL 000015ee: SUB 000015ef: AND 000015f0: PUSH1 0x02 000015f2: SWAP1 000015f3: DIV 000015f4: DUP1 000015f5: ISZERO 000015f6: PUSH2 0x1640 000015f9: JUMPI 000015fa: DUP1 000015fb: PUSH1 0x1f 000015fd: LT 000015fe: PUSH2 0x1615 00001601: JUMPI 00001602: PUSH2 0x0100 00001605: DUP1 00001606: DUP4 00001607: SLOAD 00001608: DIV 00001609: MUL 0000160a: DUP4 0000160b: MSTORE 0000160c: SWAP2 0000160d: PUSH1 0x20 0000160f: ADD 00001610: SWAP2 00001611: PUSH2 0x1640 00001614: JUMP 00001615: JUMPDEST 00001616: DUP3 00001617: ADD 00001618: SWAP2 00001619: SWAP1 0000161a: PUSH1 0x00 0000161c: MSTORE 0000161d: PUSH1 0x20 0000161f: PUSH1 0x00 00001621: KECCAK256 00001622: SWAP1 00001623: JUMPDEST 00001624: DUP2 00001625: SLOAD 00001626: DUP2 00001627: MSTORE 00001628: SWAP1 00001629: PUSH1 0x01 0000162b: ADD 0000162c: SWAP1 0000162d: PUSH1 0x20 0000162f: ADD 00001630: DUP1 00001631: DUP4 00001632: GT 00001633: PUSH2 0x1623 00001636: JUMPI 00001637: DUP3 00001638: SWAP1 00001639: SUB 0000163a: PUSH1 0x1f 0000163c: AND 0000163d: DUP3 0000163e: ADD 0000163f: SWAP2 00001640: JUMPDEST 00001641: POP 00001642: POP 00001643: POP 00001644: POP 00001645: POP 00001646: DUP2 00001647: JUMP 00001648: JUMPDEST 00001649: PUSH1 0x00 0000164b: DUP1 0000164c: PUSH1 0x00 0000164e: DUP1 0000164f: ISZERO 00001650: ISZERO 00001651: PUSH1 0x03 00001653: PUSH1 0x00 00001655: SWAP1 00001656: SLOAD 00001657: SWAP1 00001658: PUSH2 0x0100 0000165b: EXP 0000165c: SWAP1 0000165d: DIV 0000165e: PUSH1 0xff 00001660: AND 00001661: ISZERO 00001662: ISZERO 00001663: EQ 00001664: ISZERO 00001665: ISZERO 00001666: PUSH2 0x166e 00001669: JUMPI 0000166a: PUSH1 0x00 0000166c: DUP1 0000166d: REVERT 0000166e: JUMPDEST 0000166f: PUSH1 0x01 00001671: ISZERO 00001672: ISZERO 00001673: PUSH1 0x08 00001675: PUSH1 0x14 00001677: SWAP1 00001678: SLOAD 00001679: SWAP1 0000167a: PUSH2 0x0100 0000167d: EXP 0000167e: SWAP1 0000167f: DIV 00001680: PUSH1 0xff 00001682: AND 00001683: ISZERO 00001684: ISZERO 00001685: EQ 00001686: ISZERO 00001687: ISZERO 00001688: PUSH2 0x1690 0000168b: JUMPI 0000168c: PUSH1 0x00 0000168e: DUP1 0000168f: REVERT 00001690: JUMPDEST 00001691: PUSH1 0x0a 00001693: SLOAD 00001694: TIMESTAMP 00001695: GT 00001696: ISZERO 00001697: ISZERO 00001698: PUSH2 0x16a0 0000169b: JUMPI 0000169c: PUSH1 0x00 0000169e: DUP1 0000169f: REVERT 000016a0: JUMPDEST 000016a1: PUSH1 0x0b 000016a3: SLOAD 000016a4: PUSH1 0x0e 000016a6: SLOAD 000016a7: ADD 000016a8: PUSH1 0x02 000016aa: SLOAD 000016ab: LT 000016ac: ISZERO 000016ad: ISZERO 000016ae: PUSH2 0x16b6 000016b1: JUMPI 000016b2: PUSH1 0x00 000016b4: DUP1 000016b5: REVERT 000016b6: JUMPDEST 000016b7: PUSH1 0x00 000016b9: DUP1 000016ba: SWAP1 000016bb: SLOAD 000016bc: SWAP1 000016bd: PUSH2 0x0100 000016c0: EXP 000016c1: SWAP1 000016c2: DIV 000016c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d8: AND 000016d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ee: AND 000016ef: CALLER 000016f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001705: AND 00001706: EQ 00001707: ISZERO 00001708: ISZERO 00001709: ISZERO 0000170a: PUSH2 0x1712 0000170d: JUMPI 0000170e: PUSH1 0x00 00001710: DUP1 00001711: REVERT 00001712: JUMPDEST 00001713: PUSH1 0x04 00001715: PUSH1 0x00 00001717: CALLER 00001718: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172d: AND 0000172e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001743: AND 00001744: DUP2 00001745: MSTORE 00001746: PUSH1 0x20 00001748: ADD 00001749: SWAP1 0000174a: DUP2 0000174b: MSTORE 0000174c: PUSH1 0x20 0000174e: ADD 0000174f: PUSH1 0x00 00001751: KECCAK256 00001752: SLOAD 00001753: SWAP3 00001754: POP 00001755: PUSH1 0x06 00001757: PUSH1 0x00 00001759: CALLER 0000175a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176f: AND 00001770: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001785: AND 00001786: DUP2 00001787: MSTORE 00001788: PUSH1 0x20 0000178a: ADD 0000178b: SWAP1 0000178c: DUP2 0000178d: MSTORE 0000178e: PUSH1 0x20 00001790: ADD 00001791: PUSH1 0x00 00001793: KECCAK256 00001794: SLOAD 00001795: SWAP2 00001796: POP 00001797: PUSH1 0x00 00001799: DUP4 0000179a: GT 0000179b: ISZERO 0000179c: ISZERO 0000179d: PUSH2 0x17a5 000017a0: JUMPI 000017a1: PUSH1 0x00 000017a3: DUP1 000017a4: REVERT 000017a5: JUMPDEST 000017a6: PUSH1 0x00 000017a8: DUP3 000017a9: GT 000017aa: ISZERO 000017ab: ISZERO 000017ac: PUSH2 0x17b4 000017af: JUMPI 000017b0: PUSH1 0x00 000017b2: DUP1 000017b3: REVERT 000017b4: JUMPDEST 000017b5: PUSH1 0x00 000017b7: PUSH1 0x04 000017b9: PUSH1 0x00 000017bb: CALLER 000017bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d1: AND 000017d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017e7: AND 000017e8: DUP2 000017e9: MSTORE 000017ea: PUSH1 0x20 000017ec: ADD 000017ed: SWAP1 000017ee: DUP2 000017ef: MSTORE 000017f0: PUSH1 0x20 000017f2: ADD 000017f3: PUSH1 0x00 000017f5: KECCAK256 000017f6: DUP2 000017f7: SWAP1 000017f8: SSTORE 000017f9: POP 000017fa: PUSH1 0x00 000017fc: PUSH1 0x06 000017fe: PUSH1 0x00 00001800: CALLER 00001801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001816: AND 00001817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182c: AND 0000182d: DUP2 0000182e: MSTORE 0000182f: PUSH1 0x20 00001831: ADD 00001832: SWAP1 00001833: DUP2 00001834: MSTORE 00001835: PUSH1 0x20 00001837: ADD 00001838: PUSH1 0x00 0000183a: KECCAK256 0000183b: DUP2 0000183c: SWAP1 0000183d: SSTORE 0000183e: POP 0000183f: PUSH2 0x1853 00001842: DUP4 00001843: PUSH1 0x02 00001845: SLOAD 00001846: PUSH2 0x1f8e 00001849: SWAP1 0000184a: SWAP2 0000184b: SWAP1 0000184c: PUSH4 0xffffffff 00001851: AND 00001852: JUMP 00001853: JUMPDEST 00001854: PUSH1 0x02 00001856: DUP2 00001857: SWAP1 00001858: SSTORE 00001859: POP 0000185a: PUSH1 0x0c 0000185c: SLOAD 0000185d: DUP4 0000185e: DUP2 0000185f: ISZERO 00001860: ISZERO 00001861: PUSH2 0x1866 00001864: JUMPI 00001865: INVALID 00001866: JUMPDEST 00001867: DIV 00001868: SWAP1 00001869: POP 0000186a: DUP1 0000186b: DUP3 0000186c: GT 0000186d: ISZERO 0000186e: ISZERO 0000186f: ISZERO 00001870: PUSH2 0x1878 00001873: JUMPI 00001874: PUSH1 0x00 00001876: DUP1 00001877: REVERT 00001878: JUMPDEST 00001879: CALLER 0000187a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000188f: AND 00001890: PUSH2 0x08fc 00001893: DUP4 00001894: SWAP1 00001895: DUP2 00001896: ISZERO 00001897: MUL 00001898: SWAP1 00001899: PUSH1 0x40 0000189b: MLOAD 0000189c: PUSH1 0x00 0000189e: PUSH1 0x40 000018a0: MLOAD 000018a1: DUP1 000018a2: DUP4 000018a3: SUB 000018a4: DUP2 000018a5: DUP6 000018a6: DUP9 000018a7: DUP9 000018a8: CALL 000018a9: SWAP4 000018aa: POP 000018ab: POP 000018ac: POP 000018ad: POP 000018ae: ISZERO 000018af: ISZERO 000018b0: PUSH2 0x18b8 000018b3: JUMPI 000018b4: PUSH1 0x00 000018b6: DUP1 000018b7: REVERT 000018b8: JUMPDEST 000018b9: CALLER 000018ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018cf: AND 000018d0: PUSH32 0xb6c0eca8138e097d71e2dd31e19a1266487f0553f170b7260ffe68bcbe9ff8a7 000018f1: DUP4 000018f2: PUSH1 0x40 000018f4: MLOAD 000018f5: DUP1 000018f6: DUP3 000018f7: DUP2 000018f8: MSTORE 000018f9: PUSH1 0x20 000018fb: ADD 000018fc: SWAP2 000018fd: POP 000018fe: POP 000018ff: PUSH1 0x40 00001901: MLOAD 00001902: DUP1 00001903: SWAP2 00001904: SUB 00001905: SWAP1 00001906: LOG2 00001907: POP 00001908: POP 00001909: POP 0000190a: JUMP 0000190b: JUMPDEST 0000190c: PUSH1 0x0d 0000190e: SLOAD 0000190f: DUP2 00001910: JUMP 00001911: JUMPDEST 00001912: PUSH1 0x00 00001914: PUSH1 0x04 00001916: PUSH1 0x00 00001918: DUP4 00001919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192e: AND 0000192f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001944: AND 00001945: DUP2 00001946: MSTORE 00001947: PUSH1 0x20 00001949: ADD 0000194a: SWAP1 0000194b: DUP2 0000194c: MSTORE 0000194d: PUSH1 0x20 0000194f: ADD 00001950: PUSH1 0x00 00001952: KECCAK256 00001953: SLOAD 00001954: SWAP1 00001955: POP 00001956: SWAP2 00001957: SWAP1 00001958: POP 00001959: JUMP 0000195a: JUMPDEST 0000195b: PUSH1 0x0a 0000195d: SLOAD 0000195e: DUP2 0000195f: JUMP 00001960: JUMPDEST 00001961: PUSH1 0x01 00001963: PUSH1 0x00 00001965: SWAP1 00001966: SLOAD 00001967: SWAP1 00001968: PUSH2 0x0100 0000196b: EXP 0000196c: SWAP1 0000196d: DIV 0000196e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001983: AND 00001984: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001999: AND 0000199a: CALLER 0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b0: AND 000019b1: EQ 000019b2: ISZERO 000019b3: ISZERO 000019b4: PUSH2 0x19bc 000019b7: JUMPI 000019b8: PUSH1 0x00 000019ba: DUP1 000019bb: REVERT 000019bc: JUMPDEST 000019bd: PUSH1 0x01 000019bf: PUSH1 0x00 000019c1: SWAP1 000019c2: SLOAD 000019c3: SWAP1 000019c4: PUSH2 0x0100 000019c7: EXP 000019c8: SWAP1 000019c9: DIV 000019ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019df: AND 000019e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f5: AND 000019f6: PUSH1 0x00 000019f8: DUP1 000019f9: SWAP1 000019fa: SLOAD 000019fb: SWAP1 000019fc: PUSH2 0x0100 000019ff: EXP 00001a00: SWAP1 00001a01: DIV 00001a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a17: AND 00001a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a2d: AND 00001a2e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001a4f: PUSH1 0x40 00001a51: MLOAD 00001a52: PUSH1 0x40 00001a54: MLOAD 00001a55: DUP1 00001a56: SWAP2 00001a57: SUB 00001a58: SWAP1 00001a59: LOG3 00001a5a: PUSH1 0x01 00001a5c: PUSH1 0x00 00001a5e: SWAP1 00001a5f: SLOAD 00001a60: SWAP1 00001a61: PUSH2 0x0100 00001a64: EXP 00001a65: SWAP1 00001a66: DIV 00001a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7c: AND 00001a7d: PUSH1 0x00 00001a7f: DUP1 00001a80: PUSH2 0x0100 00001a83: EXP 00001a84: DUP2 00001a85: SLOAD 00001a86: DUP2 00001a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9c: MUL 00001a9d: NOT 00001a9e: AND 00001a9f: SWAP1 00001aa0: DUP4 00001aa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab6: AND 00001ab7: MUL 00001ab8: OR 00001ab9: SWAP1 00001aba: SSTORE 00001abb: POP 00001abc: PUSH1 0x00 00001abe: PUSH1 0x01 00001ac0: PUSH1 0x00 00001ac2: PUSH2 0x0100 00001ac5: EXP 00001ac6: DUP2 00001ac7: SLOAD 00001ac8: DUP2 00001ac9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ade: MUL 00001adf: NOT 00001ae0: AND 00001ae1: SWAP1 00001ae2: DUP4 00001ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af8: AND 00001af9: MUL 00001afa: OR 00001afb: SWAP1 00001afc: SSTORE 00001afd: POP 00001afe: JUMP 00001aff: JUMPDEST 00001b00: PUSH1 0x03 00001b02: PUSH1 0x00 00001b04: SWAP1 00001b05: SLOAD 00001b06: SWAP1 00001b07: PUSH2 0x0100 00001b0a: EXP 00001b0b: SWAP1 00001b0c: DIV 00001b0d: PUSH1 0xff 00001b0f: AND 00001b10: DUP2 00001b11: JUMP 00001b12: JUMPDEST 00001b13: PUSH1 0x00 00001b15: DUP1 00001b16: SWAP1 00001b17: SLOAD 00001b18: SWAP1 00001b19: PUSH2 0x0100 00001b1c: EXP 00001b1d: SWAP1 00001b1e: DIV 00001b1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b34: AND 00001b35: DUP2 00001b36: JUMP 00001b37: JUMPDEST 00001b38: PUSH1 0x40 00001b3a: DUP1 00001b3b: MLOAD 00001b3c: SWAP1 00001b3d: DUP2 00001b3e: ADD 00001b3f: PUSH1 0x40 00001b41: MSTORE 00001b42: DUP1 00001b43: PUSH1 0x03 00001b45: DUP2 00001b46: MSTORE 00001b47: PUSH1 0x20 00001b49: ADD 00001b4a: PUSH32 0x6173740000000000000000000000000000000000000000000000000000000000 00001b6b: DUP2 00001b6c: MSTORE 00001b6d: POP 00001b6e: DUP2 00001b6f: JUMP 00001b70: JUMPDEST 00001b71: PUSH1 0x08 00001b73: PUSH1 0x00 00001b75: SWAP1 00001b76: SLOAD 00001b77: SWAP1 00001b78: PUSH2 0x0100 00001b7b: EXP 00001b7c: SWAP1 00001b7d: DIV 00001b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b93: AND 00001b94: DUP2 00001b95: JUMP 00001b96: JUMPDEST 00001b97: PUSH1 0x00 00001b99: DUP1 00001b9a: DUP4 00001b9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb0: AND 00001bb1: EQ 00001bb2: ISZERO 00001bb3: ISZERO 00001bb4: ISZERO 00001bb5: PUSH2 0x1bbd 00001bb8: JUMPI 00001bb9: PUSH1 0x00 00001bbb: DUP1 00001bbc: REVERT 00001bbd: JUMPDEST 00001bbe: PUSH1 0x00 00001bc0: DUP1 00001bc1: SWAP1 00001bc2: SLOAD 00001bc3: SWAP1 00001bc4: PUSH2 0x0100 00001bc7: EXP 00001bc8: SWAP1 00001bc9: DIV 00001bca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bdf: AND 00001be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf5: AND 00001bf6: CALLER 00001bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c0c: AND 00001c0d: EQ 00001c0e: ISZERO 00001c0f: ISZERO 00001c10: PUSH2 0x1c2f 00001c13: JUMPI 00001c14: PUSH1 0x03 00001c16: PUSH1 0x00 00001c18: SWAP1 00001c19: SLOAD 00001c1a: SWAP1 00001c1b: PUSH2 0x0100 00001c1e: EXP 00001c1f: SWAP1 00001c20: DIV 00001c21: PUSH1 0xff 00001c23: AND 00001c24: ISZERO 00001c25: ISZERO 00001c26: PUSH2 0x1c2e 00001c29: JUMPI 00001c2a: PUSH1 0x00 00001c2c: DUP1 00001c2d: REVERT 00001c2e: JUMPDEST 00001c2f: JUMPDEST 00001c30: PUSH2 0x1c81 00001c33: DUP3 00001c34: PUSH1 0x04 00001c36: PUSH1 0x00 00001c38: CALLER 00001c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c4e: AND 00001c4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c64: AND 00001c65: DUP2 00001c66: MSTORE 00001c67: PUSH1 0x20 00001c69: ADD 00001c6a: SWAP1 00001c6b: DUP2 00001c6c: MSTORE 00001c6d: PUSH1 0x20 00001c6f: ADD 00001c70: PUSH1 0x00 00001c72: KECCAK256 00001c73: SLOAD 00001c74: PUSH2 0x1f8e 00001c77: SWAP1 00001c78: SWAP2 00001c79: SWAP1 00001c7a: PUSH4 0xffffffff 00001c7f: AND 00001c80: JUMP 00001c81: JUMPDEST 00001c82: PUSH1 0x04 00001c84: PUSH1 0x00 00001c86: CALLER 00001c87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9c: AND 00001c9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cb2: AND 00001cb3: DUP2 00001cb4: MSTORE 00001cb5: PUSH1 0x20 00001cb7: ADD 00001cb8: SWAP1 00001cb9: DUP2 00001cba: MSTORE 00001cbb: PUSH1 0x20 00001cbd: ADD 00001cbe: PUSH1 0x00 00001cc0: KECCAK256 00001cc1: DUP2 00001cc2: SWAP1 00001cc3: SSTORE 00001cc4: POP 00001cc5: PUSH2 0x1d16 00001cc8: DUP3 00001cc9: PUSH1 0x04 00001ccb: PUSH1 0x00 00001ccd: DUP7 00001cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce3: AND 00001ce4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cf9: AND 00001cfa: DUP2 00001cfb: MSTORE 00001cfc: PUSH1 0x20 00001cfe: ADD 00001cff: SWAP1 00001d00: DUP2 00001d01: MSTORE 00001d02: PUSH1 0x20 00001d04: ADD 00001d05: PUSH1 0x00 00001d07: KECCAK256 00001d08: SLOAD 00001d09: PUSH2 0x1f70 00001d0c: SWAP1 00001d0d: SWAP2 00001d0e: SWAP1 00001d0f: PUSH4 0xffffffff 00001d14: AND 00001d15: JUMP 00001d16: JUMPDEST 00001d17: PUSH1 0x04 00001d19: PUSH1 0x00 00001d1b: DUP6 00001d1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d31: AND 00001d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d47: AND 00001d48: DUP2 00001d49: MSTORE 00001d4a: PUSH1 0x20 00001d4c: ADD 00001d4d: SWAP1 00001d4e: DUP2 00001d4f: MSTORE 00001d50: PUSH1 0x20 00001d52: ADD 00001d53: PUSH1 0x00 00001d55: KECCAK256 00001d56: DUP2 00001d57: SWAP1 00001d58: SSTORE 00001d59: POP 00001d5a: DUP3 00001d5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d70: AND 00001d71: CALLER 00001d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d87: AND 00001d88: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001da9: DUP5 00001daa: PUSH1 0x40 00001dac: MLOAD 00001dad: DUP1 00001dae: DUP3 00001daf: DUP2 00001db0: MSTORE 00001db1: PUSH1 0x20 00001db3: ADD 00001db4: SWAP2 00001db5: POP 00001db6: POP 00001db7: PUSH1 0x40 00001db9: MLOAD 00001dba: DUP1 00001dbb: SWAP2 00001dbc: SUB 00001dbd: SWAP1 00001dbe: LOG3 00001dbf: PUSH1 0x01 00001dc1: SWAP1 00001dc2: POP 00001dc3: SWAP3 00001dc4: SWAP2 00001dc5: POP 00001dc6: POP 00001dc7: JUMP 00001dc8: JUMPDEST 00001dc9: PUSH1 0x0e 00001dcb: SLOAD 00001dcc: DUP2 00001dcd: JUMP 00001dce: JUMPDEST 00001dcf: PUSH1 0x01 00001dd1: PUSH1 0x00 00001dd3: SWAP1 00001dd4: SLOAD 00001dd5: SWAP1 00001dd6: PUSH2 0x0100 00001dd9: EXP 00001dda: SWAP1 00001ddb: DIV 00001ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001df1: AND 00001df2: DUP2 00001df3: JUMP 00001df4: JUMPDEST 00001df5: PUSH1 0x00 00001df7: PUSH1 0x03 00001df9: PUSH1 0x00 00001dfb: SWAP1 00001dfc: SLOAD 00001dfd: SWAP1 00001dfe: PUSH2 0x0100 00001e01: EXP 00001e02: SWAP1 00001e03: DIV 00001e04: PUSH1 0xff 00001e06: AND 00001e07: ISZERO 00001e08: ISZERO 00001e09: PUSH2 0x1e11 00001e0c: JUMPI 00001e0d: PUSH1 0x00 00001e0f: DUP1 00001e10: REVERT 00001e11: JUMPDEST 00001e12: PUSH1 0x05 00001e14: PUSH1 0x00 00001e16: DUP5 00001e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e2c: AND 00001e2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e42: AND 00001e43: DUP2 00001e44: MSTORE 00001e45: PUSH1 0x20 00001e47: ADD 00001e48: SWAP1 00001e49: DUP2 00001e4a: MSTORE 00001e4b: PUSH1 0x20 00001e4d: ADD 00001e4e: PUSH1 0x00 00001e50: KECCAK256 00001e51: PUSH1 0x00 00001e53: DUP4 00001e54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e69: AND 00001e6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e7f: AND 00001e80: DUP2 00001e81: MSTORE 00001e82: PUSH1 0x20 00001e84: ADD 00001e85: SWAP1 00001e86: DUP2 00001e87: MSTORE 00001e88: PUSH1 0x20 00001e8a: ADD 00001e8b: PUSH1 0x00 00001e8d: KECCAK256 00001e8e: SLOAD 00001e8f: SWAP1 00001e90: POP 00001e91: SWAP3 00001e92: SWAP2 00001e93: POP 00001e94: POP 00001e95: JUMP 00001e96: JUMPDEST 00001e97: PUSH1 0x00 00001e99: DUP1 00001e9a: SWAP1 00001e9b: SLOAD 00001e9c: SWAP1 00001e9d: PUSH2 0x0100 00001ea0: EXP 00001ea1: SWAP1 00001ea2: DIV 00001ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb8: AND 00001eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ece: AND 00001ecf: CALLER 00001ed0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ee5: AND 00001ee6: EQ 00001ee7: ISZERO 00001ee8: ISZERO 00001ee9: PUSH2 0x1ef1 00001eec: JUMPI 00001eed: PUSH1 0x00 00001eef: DUP1 00001ef0: REVERT 00001ef1: JUMPDEST 00001ef2: DUP1 00001ef3: PUSH1 0x01 00001ef5: PUSH1 0x00 00001ef7: PUSH2 0x0100 00001efa: EXP 00001efb: DUP2 00001efc: SLOAD 00001efd: DUP2 00001efe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f13: MUL 00001f14: NOT 00001f15: AND 00001f16: SWAP1 00001f17: DUP4 00001f18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f2d: AND 00001f2e: MUL 00001f2f: OR 00001f30: SWAP1 00001f31: SSTORE 00001f32: POP 00001f33: POP 00001f34: JUMP 00001f35: JUMPDEST 00001f36: PUSH1 0x00 00001f38: DUP1 00001f39: PUSH1 0x00 00001f3b: DUP5 00001f3c: EQ 00001f3d: ISZERO 00001f3e: PUSH2 0x1f4a 00001f41: JUMPI 00001f42: PUSH1 0x00 00001f44: SWAP2 00001f45: POP 00001f46: PUSH2 0x1f69 00001f49: JUMP 00001f4a: JUMPDEST 00001f4b: DUP3 00001f4c: DUP5 00001f4d: MUL 00001f4e: SWAP1 00001f4f: POP 00001f50: DUP3 00001f51: DUP5 00001f52: DUP3 00001f53: DUP2 00001f54: ISZERO 00001f55: ISZERO 00001f56: PUSH2 0x1f5b 00001f59: JUMPI 00001f5a: INVALID 00001f5b: JUMPDEST 00001f5c: DIV 00001f5d: EQ 00001f5e: ISZERO 00001f5f: ISZERO 00001f60: PUSH2 0x1f65 00001f63: JUMPI 00001f64: INVALID 00001f65: JUMPDEST 00001f66: DUP1 00001f67: SWAP2 00001f68: POP 00001f69: JUMPDEST 00001f6a: POP 00001f6b: SWAP3 00001f6c: SWAP2 00001f6d: POP 00001f6e: POP 00001f6f: JUMP 00001f70: JUMPDEST 00001f71: PUSH1 0x00 00001f73: DUP1 00001f74: DUP3 00001f75: DUP5 00001f76: ADD 00001f77: SWAP1 00001f78: POP 00001f79: DUP4 00001f7a: DUP2 00001f7b: LT 00001f7c: ISZERO 00001f7d: ISZERO 00001f7e: ISZERO 00001f7f: PUSH2 0x1f84 00001f82: JUMPI 00001f83: INVALID 00001f84: JUMPDEST 00001f85: DUP1 00001f86: SWAP2 00001f87: POP 00001f88: POP 00001f89: SWAP3 00001f8a: SWAP2 00001f8b: POP 00001f8c: POP 00001f8d: JUMP 00001f8e: JUMPDEST 00001f8f: PUSH1 0x00 00001f91: DUP3 00001f92: DUP3 00001f93: GT 00001f94: ISZERO 00001f95: ISZERO 00001f96: ISZERO 00001f97: PUSH2 0x1f9c 00001f9a: JUMPI 00001f9b: INVALID 00001f9c: JUMPDEST 00001f9d: DUP2 00001f9e: DUP4 00001f9f: SUB 00001fa0: SWAP1 00001fa1: POP 00001fa2: SWAP3 00001fa3: SWAP2 00001fa4: POP 00001fa5: POP 00001fa6: JUMP 00001fa7: STOP 00001fa8: LOG1 00001fa9: PUSH6 0x627a7a723058 00001fb0: KECCAK256 00001fb1: UNKNOWN(0xAB) 00001fb2: MSTORE8 00001fb3: XOR 00001fb4: PUSH15 0xafdcf39ae4a94e2f9c967e1584f5ce 00001fc4: CALLDATASIZE 00001fc5: DIV 00001fc6: SIGNEXTEND 00001fc7: UNKNOWN(0xE1) 00001fc8: UNKNOWN(0xE7) 00001fc9: UNKNOWN(0xDA) 00001fca: UNKNOWN(0xD5) 00001fcb: UNKNOWN(0xC3) 00001fcc: CALLDATALOAD 00001fcd: UNKNOWN(0xBC) 00001fce: BLOBHASH 00001fcf: DUP9 00001fd0: SWAP4 00001fd1: STOP 00001fd2: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x62b9a39da5c4950b6a784e4091e4c2c5ccf502b8cacc405d8ad06b71673b08fe
call_targets:
0xe77f30e108543372f405d2c0f95029c97a8622ad
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x62b9a39da5c4950b6a784e4091e4c2c5ccf502b8cacc405d8ad06b71673b08fe",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe77f30e108543372f405d2c0f95029c97a8622ad"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a8fed89",
"selector": "0x0a8fed89",
"calldata_variants": [
"0x0a8fed89",
"0x0a8fed890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1df93558",
"selector": "0x1df93558",
"calldata_variants": [
"0x1df93558",
"0x1df935580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f3e2d4",
"selector": "0x22f3e2d4",
"calldata_variants": [
"0x22f3e2d4",
"0x22f3e2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5052,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5528,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6312,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 3214,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3373,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4524,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4698,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4799,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4890,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5145,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5270,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5871,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6554,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7158,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7887,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x62b9a39da5c4950b6a784e4091e4c2c5ccf502b8cacc405d8ad06b71673b08fe
call_targets:
0xe77f30e108543372f405d2c0f95029c97a8622ad
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x62b9a39da5c4950b6a784e4091e4c2c5ccf502b8cacc405d8ad06b71673b08fe",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe77f30e108543372f405d2c0f95029c97a8622ad"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a8fed89",
"selector": "0x0a8fed89",
"calldata_variants": [
"0x0a8fed89",
"0x0a8fed890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1df93558",
"selector": "0x1df93558",
"calldata_variants": [
"0x1df93558",
"0x1df935580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22f3e2d4",
"selector": "0x22f3e2d4",
"calldata_variants": [
"0x22f3e2d4",
"0x22f3e2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5052,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5528,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6312,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 3214,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3373,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4524,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4698,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4799,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4890,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5145,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5270,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5871,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6554,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7158,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7887,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|