019b477e-ac11-72c6-ae5d-4c5c002f3fad
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 |
|---|---|---|---|---|
| 21141 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21142 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 89001 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89002 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89003 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89004 | 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 0x0149 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 0x0221 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x02af 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x0309 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x18f729da 0000005d: EQ 0000005e: PUSH2 0x0332 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x23b872dd 00000068: EQ 00000069: PUSH2 0x039b 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x2dc9ad7f 00000073: EQ 00000074: PUSH2 0x0414 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x313ce567 0000007e: EQ 0000007f: PUSH2 0x0477 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x384f58eb 00000089: EQ 0000008a: PUSH2 0x04a6 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x3ba0b9a9 00000094: EQ 00000095: PUSH2 0x04fb 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x3ccfd60b 0000009f: EQ 000000a0: PUSH2 0x0524 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x40528f98 000000aa: EQ 000000ab: PUSH2 0x0539 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x48546971 000000b5: EQ 000000b6: PUSH2 0x057b 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x4ee3dc91 000000c0: EQ 000000c1: PUSH2 0x0590 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x70a08231 000000cb: EQ 000000cc: PUSH2 0x05b9 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x74e7493b 000000d6: EQ 000000d7: PUSH2 0x0606 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x788649ea 000000e1: EQ 000000e2: PUSH2 0x0629 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x846786f1 000000ec: EQ 000000ed: PUSH2 0x0662 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0x927a90da 000000f7: EQ 000000f8: PUSH2 0x0677 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0x95d89b41 00000102: EQ 00000103: PUSH2 0x06a4 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0x96dfcc21 0000010d: EQ 0000010e: PUSH2 0x0732 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xa9059cbb 00000118: EQ 00000119: PUSH2 0x0747 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0xbb389952 00000123: EQ 00000124: PUSH2 0x07a1 00000127: JUMPI 00000128: DUP1 00000129: PUSH4 0xd5abeb01 0000012e: EQ 0000012f: PUSH2 0x07b6 00000132: JUMPI 00000133: DUP1 00000134: PUSH4 0xdd62ed3e 00000139: EQ 0000013a: PUSH2 0x07df 0000013d: JUMPI 0000013e: DUP1 0000013f: PUSH4 0xf26c159f 00000144: EQ 00000145: PUSH2 0x084b 00000148: JUMPI 00000149: JUMPDEST 0000014a: PUSH1 0x00 0000014c: PUSH1 0x01 0000014e: ISZERO 0000014f: ISZERO 00000150: PUSH1 0x05 00000152: PUSH1 0x00 00000154: SWAP1 00000155: SLOAD 00000156: SWAP1 00000157: PUSH2 0x0100 0000015a: EXP 0000015b: SWAP1 0000015c: DIV 0000015d: PUSH1 0xff 0000015f: AND 00000160: ISZERO 00000161: ISZERO 00000162: EQ 00000163: ISZERO 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: PUSH8 0x0de0b6b3a7640000 00000177: CALLVALUE 00000178: LT 00000179: ISZERO 0000017a: ISZERO 0000017b: ISZERO 0000017c: PUSH2 0x0184 0000017f: JUMPI 00000180: PUSH1 0x00 00000182: DUP1 00000183: REVERT 00000184: JUMPDEST 00000185: PUSH2 0x01a3 00000188: PUSH8 0x0de0b6b3a7640000 00000191: PUSH1 0x04 00000193: SLOAD 00000194: CALLVALUE 00000195: MUL 00000196: PUSH2 0x0884 00000199: SWAP1 0000019a: SWAP2 0000019b: SWAP1 0000019c: PUSH4 0xffffffff 000001a1: AND 000001a2: JUMP 000001a3: JUMPDEST 000001a4: SWAP1 000001a5: POP 000001a6: PUSH1 0x01 000001a8: SLOAD 000001a9: DUP2 000001aa: GT 000001ab: ISZERO 000001ac: ISZERO 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH1 0x06 000001ba: PUSH1 0x00 000001bc: CALLER 000001bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d2: AND 000001d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e8: AND 000001e9: DUP2 000001ea: MSTORE 000001eb: PUSH1 0x20 000001ed: ADD 000001ee: SWAP1 000001ef: DUP2 000001f0: MSTORE 000001f1: PUSH1 0x20 000001f3: ADD 000001f4: PUSH1 0x00 000001f6: KECCAK256 000001f7: PUSH1 0x00 000001f9: DUP3 000001fa: DUP3 000001fb: SLOAD 000001fc: ADD 000001fd: SWAP3 000001fe: POP 000001ff: POP 00000200: DUP2 00000201: SWAP1 00000202: SSTORE 00000203: POP 00000204: PUSH2 0x0218 00000207: DUP2 00000208: PUSH1 0x01 0000020a: SLOAD 0000020b: PUSH2 0x089f 0000020e: SWAP1 0000020f: SWAP2 00000210: SWAP1 00000211: PUSH4 0xffffffff 00000216: AND 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH1 0x01 0000021b: DUP2 0000021c: SWAP1 0000021d: SSTORE 0000021e: POP 0000021f: POP 00000220: STOP 00000221: JUMPDEST 00000222: CALLVALUE 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: PUSH2 0x0234 00000230: PUSH2 0x08b8 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH1 0x40 00000237: MLOAD 00000238: DUP1 00000239: DUP1 0000023a: PUSH1 0x20 0000023c: ADD 0000023d: DUP3 0000023e: DUP2 0000023f: SUB 00000240: DUP3 00000241: MSTORE 00000242: DUP4 00000243: DUP2 00000244: DUP2 00000245: MLOAD 00000246: DUP2 00000247: MSTORE 00000248: PUSH1 0x20 0000024a: ADD 0000024b: SWAP2 0000024c: POP 0000024d: DUP1 0000024e: MLOAD 0000024f: SWAP1 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP1 00000254: DUP1 00000255: DUP4 00000256: DUP4 00000257: PUSH1 0x00 00000259: JUMPDEST 0000025a: DUP4 0000025b: DUP2 0000025c: LT 0000025d: ISZERO 0000025e: PUSH2 0x0274 00000261: JUMPI 00000262: DUP1 00000263: DUP3 00000264: ADD 00000265: MLOAD 00000266: DUP2 00000267: DUP5 00000268: ADD 00000269: MSTORE 0000026a: PUSH1 0x20 0000026c: DUP2 0000026d: ADD 0000026e: SWAP1 0000026f: POP 00000270: PUSH2 0x0259 00000273: JUMP 00000274: JUMPDEST 00000275: POP 00000276: POP 00000277: POP 00000278: POP 00000279: SWAP1 0000027a: POP 0000027b: SWAP1 0000027c: DUP2 0000027d: ADD 0000027e: SWAP1 0000027f: PUSH1 0x1f 00000281: AND 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x02a1 00000287: JUMPI 00000288: DUP1 00000289: DUP3 0000028a: SUB 0000028b: DUP1 0000028c: MLOAD 0000028d: PUSH1 0x01 0000028f: DUP4 00000290: PUSH1 0x20 00000292: SUB 00000293: PUSH2 0x0100 00000296: EXP 00000297: SUB 00000298: NOT 00000299: AND 0000029a: DUP2 0000029b: MSTORE 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: SWAP2 000002a0: POP 000002a1: JUMPDEST 000002a2: POP 000002a3: SWAP3 000002a4: POP 000002a5: POP 000002a6: POP 000002a7: PUSH1 0x40 000002a9: MLOAD 000002aa: DUP1 000002ab: SWAP2 000002ac: SUB 000002ad: SWAP1 000002ae: RETURN 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: ISZERO 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: PUSH2 0x02ef 000002be: PUSH1 0x04 000002c0: DUP1 000002c1: DUP1 000002c2: CALLDATALOAD 000002c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d8: AND 000002d9: SWAP1 000002da: PUSH1 0x20 000002dc: ADD 000002dd: SWAP1 000002de: SWAP2 000002df: SWAP1 000002e0: DUP1 000002e1: CALLDATALOAD 000002e2: SWAP1 000002e3: PUSH1 0x20 000002e5: ADD 000002e6: SWAP1 000002e7: SWAP2 000002e8: SWAP1 000002e9: POP 000002ea: POP 000002eb: PUSH2 0x0956 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: DUP1 000002f4: DUP3 000002f5: ISZERO 000002f6: ISZERO 000002f7: ISZERO 000002f8: ISZERO 000002f9: DUP2 000002fa: MSTORE 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: SWAP2 000002ff: POP 00000300: POP 00000301: PUSH1 0x40 00000303: MLOAD 00000304: DUP1 00000305: SWAP2 00000306: SUB 00000307: SWAP1 00000308: RETURN 00000309: JUMPDEST 0000030a: CALLVALUE 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: PUSH2 0x031c 00000318: PUSH2 0x0aa6 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH1 0x40 0000031f: MLOAD 00000320: DUP1 00000321: DUP3 00000322: DUP2 00000323: MSTORE 00000324: PUSH1 0x20 00000326: ADD 00000327: SWAP2 00000328: POP 00000329: POP 0000032a: PUSH1 0x40 0000032c: MLOAD 0000032d: DUP1 0000032e: SWAP2 0000032f: SUB 00000330: SWAP1 00000331: RETURN 00000332: JUMPDEST 00000333: CALLVALUE 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH1 0x00 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: PUSH2 0x0369 00000341: PUSH1 0x04 00000343: DUP1 00000344: DUP1 00000345: CALLDATALOAD 00000346: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000035b: AND 0000035c: SWAP1 0000035d: PUSH1 0x20 0000035f: ADD 00000360: SWAP1 00000361: SWAP2 00000362: SWAP1 00000363: POP 00000364: POP 00000365: PUSH2 0x0aaf 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH1 0x40 0000036c: MLOAD 0000036d: DUP1 0000036e: DUP7 0000036f: DUP2 00000370: MSTORE 00000371: PUSH1 0x20 00000373: ADD 00000374: DUP6 00000375: DUP2 00000376: MSTORE 00000377: PUSH1 0x20 00000379: ADD 0000037a: DUP5 0000037b: DUP2 0000037c: MSTORE 0000037d: PUSH1 0x20 0000037f: ADD 00000380: DUP4 00000381: DUP2 00000382: MSTORE 00000383: PUSH1 0x20 00000385: ADD 00000386: DUP3 00000387: DUP2 00000388: MSTORE 00000389: PUSH1 0x20 0000038b: ADD 0000038c: SWAP6 0000038d: POP 0000038e: POP 0000038f: POP 00000390: POP 00000391: POP 00000392: POP 00000393: PUSH1 0x40 00000395: MLOAD 00000396: DUP1 00000397: SWAP2 00000398: SUB 00000399: SWAP1 0000039a: RETURN 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: ISZERO 0000039e: PUSH2 0x03a6 000003a1: JUMPI 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: PUSH2 0x03fa 000003aa: PUSH1 0x04 000003ac: DUP1 000003ad: DUP1 000003ae: CALLDATALOAD 000003af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c4: AND 000003c5: SWAP1 000003c6: PUSH1 0x20 000003c8: ADD 000003c9: SWAP1 000003ca: SWAP2 000003cb: SWAP1 000003cc: DUP1 000003cd: CALLDATALOAD 000003ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e3: AND 000003e4: SWAP1 000003e5: PUSH1 0x20 000003e7: ADD 000003e8: SWAP1 000003e9: SWAP2 000003ea: SWAP1 000003eb: DUP1 000003ec: CALLDATALOAD 000003ed: SWAP1 000003ee: PUSH1 0x20 000003f0: ADD 000003f1: SWAP1 000003f2: SWAP2 000003f3: SWAP1 000003f4: POP 000003f5: POP 000003f6: PUSH2 0x0ae5 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: DUP1 000003ff: DUP3 00000400: ISZERO 00000401: ISZERO 00000402: ISZERO 00000403: ISZERO 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x20 00000408: ADD 00000409: SWAP2 0000040a: POP 0000040b: POP 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: DUP1 00000410: SWAP2 00000411: SUB 00000412: SWAP1 00000413: RETURN 00000414: JUMPDEST 00000415: CALLVALUE 00000416: ISZERO 00000417: PUSH2 0x041f 0000041a: JUMPI 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: PUSH2 0x0475 00000423: PUSH1 0x04 00000425: DUP1 00000426: DUP1 00000427: CALLDATALOAD 00000428: SWAP1 00000429: PUSH1 0x20 0000042b: ADD 0000042c: SWAP1 0000042d: DUP3 0000042e: ADD 0000042f: DUP1 00000430: CALLDATALOAD 00000431: SWAP1 00000432: PUSH1 0x20 00000434: ADD 00000435: SWAP1 00000436: DUP1 00000437: DUP1 00000438: PUSH1 0x20 0000043a: MUL 0000043b: PUSH1 0x20 0000043d: ADD 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: SWAP1 00000442: DUP2 00000443: ADD 00000444: PUSH1 0x40 00000446: MSTORE 00000447: DUP1 00000448: SWAP4 00000449: SWAP3 0000044a: SWAP2 0000044b: SWAP1 0000044c: DUP2 0000044d: DUP2 0000044e: MSTORE 0000044f: PUSH1 0x20 00000451: ADD 00000452: DUP4 00000453: DUP4 00000454: PUSH1 0x20 00000456: MUL 00000457: DUP1 00000458: DUP3 00000459: DUP5 0000045a: CALLDATACOPY 0000045b: DUP3 0000045c: ADD 0000045d: SWAP2 0000045e: POP 0000045f: POP 00000460: POP 00000461: POP 00000462: POP 00000463: POP 00000464: SWAP2 00000465: SWAP1 00000466: DUP1 00000467: CALLDATALOAD 00000468: SWAP1 00000469: PUSH1 0x20 0000046b: ADD 0000046c: SWAP1 0000046d: SWAP2 0000046e: SWAP1 0000046f: POP 00000470: POP 00000471: PUSH2 0x0d7f 00000474: JUMP 00000475: JUMPDEST 00000476: STOP 00000477: JUMPDEST 00000478: CALLVALUE 00000479: ISZERO 0000047a: PUSH2 0x0482 0000047d: JUMPI 0000047e: PUSH1 0x00 00000480: DUP1 00000481: REVERT 00000482: JUMPDEST 00000483: PUSH2 0x048a 00000486: PUSH2 0x0e18 00000489: JUMP 0000048a: JUMPDEST 0000048b: PUSH1 0x40 0000048d: MLOAD 0000048e: DUP1 0000048f: DUP3 00000490: PUSH1 0xff 00000492: AND 00000493: PUSH1 0xff 00000495: AND 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x20 0000049a: ADD 0000049b: SWAP2 0000049c: POP 0000049d: POP 0000049e: PUSH1 0x40 000004a0: MLOAD 000004a1: DUP1 000004a2: SWAP2 000004a3: SUB 000004a4: SWAP1 000004a5: RETURN 000004a6: JUMPDEST 000004a7: CALLVALUE 000004a8: ISZERO 000004a9: PUSH2 0x04b1 000004ac: JUMPI 000004ad: PUSH1 0x00 000004af: DUP1 000004b0: REVERT 000004b1: JUMPDEST 000004b2: PUSH2 0x04b9 000004b5: PUSH2 0x0e2b 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH1 0x40 000004bc: MLOAD 000004bd: DUP1 000004be: DUP3 000004bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d4: AND 000004d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ea: AND 000004eb: DUP2 000004ec: MSTORE 000004ed: PUSH1 0x20 000004ef: ADD 000004f0: SWAP2 000004f1: POP 000004f2: POP 000004f3: PUSH1 0x40 000004f5: MLOAD 000004f6: DUP1 000004f7: SWAP2 000004f8: SUB 000004f9: SWAP1 000004fa: RETURN 000004fb: JUMPDEST 000004fc: CALLVALUE 000004fd: ISZERO 000004fe: PUSH2 0x0506 00000501: JUMPI 00000502: PUSH1 0x00 00000504: DUP1 00000505: REVERT 00000506: JUMPDEST 00000507: PUSH2 0x050e 0000050a: PUSH2 0x0e51 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: DUP1 00000513: DUP3 00000514: DUP2 00000515: MSTORE 00000516: PUSH1 0x20 00000518: ADD 00000519: SWAP2 0000051a: POP 0000051b: POP 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: DUP1 00000520: SWAP2 00000521: SUB 00000522: SWAP1 00000523: RETURN 00000524: JUMPDEST 00000525: CALLVALUE 00000526: ISZERO 00000527: PUSH2 0x052f 0000052a: JUMPI 0000052b: PUSH1 0x00 0000052d: DUP1 0000052e: REVERT 0000052f: JUMPDEST 00000530: PUSH2 0x0537 00000533: PUSH2 0x0e57 00000536: JUMP 00000537: JUMPDEST 00000538: STOP 00000539: JUMPDEST 0000053a: CALLVALUE 0000053b: ISZERO 0000053c: PUSH2 0x0544 0000053f: JUMPI 00000540: PUSH1 0x00 00000542: DUP1 00000543: REVERT 00000544: JUMPDEST 00000545: PUSH2 0x0579 00000548: PUSH1 0x04 0000054a: DUP1 0000054b: DUP1 0000054c: CALLDATALOAD 0000054d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000562: AND 00000563: SWAP1 00000564: PUSH1 0x20 00000566: ADD 00000567: SWAP1 00000568: SWAP2 00000569: SWAP1 0000056a: DUP1 0000056b: CALLDATALOAD 0000056c: SWAP1 0000056d: PUSH1 0x20 0000056f: ADD 00000570: SWAP1 00000571: SWAP2 00000572: SWAP1 00000573: POP 00000574: POP 00000575: PUSH2 0x0f2e 00000578: JUMP 00000579: JUMPDEST 0000057a: STOP 0000057b: JUMPDEST 0000057c: CALLVALUE 0000057d: ISZERO 0000057e: PUSH2 0x0586 00000581: JUMPI 00000582: PUSH1 0x00 00000584: DUP1 00000585: REVERT 00000586: JUMPDEST 00000587: PUSH2 0x058e 0000058a: PUSH2 0x108b 0000058d: JUMP 0000058e: JUMPDEST 0000058f: STOP 00000590: JUMPDEST 00000591: CALLVALUE 00000592: ISZERO 00000593: PUSH2 0x059b 00000596: JUMPI 00000597: PUSH1 0x00 00000599: DUP1 0000059a: REVERT 0000059b: JUMPDEST 0000059c: PUSH2 0x05a3 0000059f: PUSH2 0x1126 000005a2: JUMP 000005a3: JUMPDEST 000005a4: PUSH1 0x40 000005a6: MLOAD 000005a7: DUP1 000005a8: DUP3 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x20 000005ad: ADD 000005ae: SWAP2 000005af: POP 000005b0: POP 000005b1: PUSH1 0x40 000005b3: MLOAD 000005b4: DUP1 000005b5: SWAP2 000005b6: SUB 000005b7: SWAP1 000005b8: RETURN 000005b9: JUMPDEST 000005ba: CALLVALUE 000005bb: ISZERO 000005bc: PUSH2 0x05c4 000005bf: JUMPI 000005c0: PUSH1 0x00 000005c2: DUP1 000005c3: REVERT 000005c4: JUMPDEST 000005c5: PUSH2 0x05f0 000005c8: PUSH1 0x04 000005ca: DUP1 000005cb: DUP1 000005cc: CALLDATALOAD 000005cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e2: AND 000005e3: SWAP1 000005e4: PUSH1 0x20 000005e6: ADD 000005e7: SWAP1 000005e8: SWAP2 000005e9: SWAP1 000005ea: POP 000005eb: POP 000005ec: PUSH2 0x112c 000005ef: JUMP 000005f0: JUMPDEST 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: DUP1 000005f5: DUP3 000005f6: DUP2 000005f7: MSTORE 000005f8: PUSH1 0x20 000005fa: ADD 000005fb: SWAP2 000005fc: POP 000005fd: POP 000005fe: PUSH1 0x40 00000600: MLOAD 00000601: DUP1 00000602: SWAP2 00000603: SUB 00000604: SWAP1 00000605: RETURN 00000606: JUMPDEST 00000607: CALLVALUE 00000608: ISZERO 00000609: PUSH2 0x0611 0000060c: JUMPI 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: REVERT 00000611: JUMPDEST 00000612: PUSH2 0x0627 00000615: PUSH1 0x04 00000617: DUP1 00000618: DUP1 00000619: CALLDATALOAD 0000061a: SWAP1 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: SWAP1 0000061f: SWAP2 00000620: SWAP1 00000621: POP 00000622: POP 00000623: PUSH2 0x1175 00000626: JUMP 00000627: JUMPDEST 00000628: STOP 00000629: JUMPDEST 0000062a: CALLVALUE 0000062b: ISZERO 0000062c: PUSH2 0x0634 0000062f: JUMPI 00000630: PUSH1 0x00 00000632: DUP1 00000633: REVERT 00000634: JUMPDEST 00000635: PUSH2 0x0660 00000638: PUSH1 0x04 0000063a: DUP1 0000063b: DUP1 0000063c: CALLDATALOAD 0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000652: AND 00000653: SWAP1 00000654: PUSH1 0x20 00000656: ADD 00000657: SWAP1 00000658: SWAP2 00000659: SWAP1 0000065a: POP 0000065b: POP 0000065c: PUSH2 0x11db 0000065f: JUMP 00000660: JUMPDEST 00000661: STOP 00000662: JUMPDEST 00000663: CALLVALUE 00000664: ISZERO 00000665: PUSH2 0x066d 00000668: JUMPI 00000669: PUSH1 0x00 0000066b: DUP1 0000066c: REVERT 0000066d: JUMPDEST 0000066e: PUSH2 0x0675 00000671: PUSH2 0x1292 00000674: JUMP 00000675: JUMPDEST 00000676: STOP 00000677: JUMPDEST 00000678: CALLVALUE 00000679: ISZERO 0000067a: PUSH2 0x0682 0000067d: JUMPI 0000067e: PUSH1 0x00 00000680: DUP1 00000681: REVERT 00000682: JUMPDEST 00000683: PUSH2 0x068a 00000686: PUSH2 0x130b 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH1 0x40 0000068d: MLOAD 0000068e: DUP1 0000068f: DUP3 00000690: ISZERO 00000691: ISZERO 00000692: ISZERO 00000693: ISZERO 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x20 00000698: ADD 00000699: SWAP2 0000069a: POP 0000069b: POP 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: SWAP2 000006a1: SUB 000006a2: SWAP1 000006a3: RETURN 000006a4: JUMPDEST 000006a5: CALLVALUE 000006a6: ISZERO 000006a7: PUSH2 0x06af 000006aa: JUMPI 000006ab: PUSH1 0x00 000006ad: DUP1 000006ae: REVERT 000006af: JUMPDEST 000006b0: PUSH2 0x06b7 000006b3: PUSH2 0x131e 000006b6: JUMP 000006b7: JUMPDEST 000006b8: PUSH1 0x40 000006ba: MLOAD 000006bb: DUP1 000006bc: DUP1 000006bd: PUSH1 0x20 000006bf: ADD 000006c0: DUP3 000006c1: DUP2 000006c2: SUB 000006c3: DUP3 000006c4: MSTORE 000006c5: DUP4 000006c6: DUP2 000006c7: DUP2 000006c8: MLOAD 000006c9: DUP2 000006ca: MSTORE 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: SWAP2 000006cf: POP 000006d0: DUP1 000006d1: MLOAD 000006d2: SWAP1 000006d3: PUSH1 0x20 000006d5: ADD 000006d6: SWAP1 000006d7: DUP1 000006d8: DUP4 000006d9: DUP4 000006da: PUSH1 0x00 000006dc: JUMPDEST 000006dd: DUP4 000006de: DUP2 000006df: LT 000006e0: ISZERO 000006e1: PUSH2 0x06f7 000006e4: JUMPI 000006e5: DUP1 000006e6: DUP3 000006e7: ADD 000006e8: MLOAD 000006e9: DUP2 000006ea: DUP5 000006eb: ADD 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: DUP2 000006f0: ADD 000006f1: SWAP1 000006f2: POP 000006f3: PUSH2 0x06dc 000006f6: JUMP 000006f7: JUMPDEST 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: POP 000006fc: SWAP1 000006fd: POP 000006fe: SWAP1 000006ff: DUP2 00000700: ADD 00000701: SWAP1 00000702: PUSH1 0x1f 00000704: AND 00000705: DUP1 00000706: ISZERO 00000707: PUSH2 0x0724 0000070a: JUMPI 0000070b: DUP1 0000070c: DUP3 0000070d: SUB 0000070e: DUP1 0000070f: MLOAD 00000710: PUSH1 0x01 00000712: DUP4 00000713: PUSH1 0x20 00000715: SUB 00000716: PUSH2 0x0100 00000719: EXP 0000071a: SUB 0000071b: NOT 0000071c: AND 0000071d: DUP2 0000071e: MSTORE 0000071f: PUSH1 0x20 00000721: ADD 00000722: SWAP2 00000723: POP 00000724: JUMPDEST 00000725: POP 00000726: SWAP3 00000727: POP 00000728: POP 00000729: POP 0000072a: PUSH1 0x40 0000072c: MLOAD 0000072d: DUP1 0000072e: SWAP2 0000072f: SUB 00000730: SWAP1 00000731: RETURN 00000732: JUMPDEST 00000733: CALLVALUE 00000734: ISZERO 00000735: PUSH2 0x073d 00000738: JUMPI 00000739: PUSH1 0x00 0000073b: DUP1 0000073c: REVERT 0000073d: JUMPDEST 0000073e: PUSH2 0x0745 00000741: PUSH2 0x13bc 00000744: JUMP 00000745: JUMPDEST 00000746: STOP 00000747: JUMPDEST 00000748: CALLVALUE 00000749: ISZERO 0000074a: PUSH2 0x0752 0000074d: JUMPI 0000074e: PUSH1 0x00 00000750: DUP1 00000751: REVERT 00000752: JUMPDEST 00000753: PUSH2 0x0787 00000756: PUSH1 0x04 00000758: DUP1 00000759: DUP1 0000075a: CALLDATALOAD 0000075b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000770: AND 00000771: SWAP1 00000772: PUSH1 0x20 00000774: ADD 00000775: SWAP1 00000776: SWAP2 00000777: SWAP1 00000778: DUP1 00000779: CALLDATALOAD 0000077a: SWAP1 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: SWAP1 0000077f: SWAP2 00000780: SWAP1 00000781: POP 00000782: POP 00000783: PUSH2 0x14c2 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH1 0x40 0000078a: MLOAD 0000078b: DUP1 0000078c: DUP3 0000078d: ISZERO 0000078e: ISZERO 0000078f: ISZERO 00000790: ISZERO 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: ADD 00000796: SWAP2 00000797: POP 00000798: POP 00000799: PUSH1 0x40 0000079b: MLOAD 0000079c: DUP1 0000079d: SWAP2 0000079e: SUB 0000079f: SWAP1 000007a0: RETURN 000007a1: JUMPDEST 000007a2: CALLVALUE 000007a3: ISZERO 000007a4: PUSH2 0x07ac 000007a7: JUMPI 000007a8: PUSH1 0x00 000007aa: DUP1 000007ab: REVERT 000007ac: JUMPDEST 000007ad: PUSH2 0x07b4 000007b0: PUSH2 0x167a 000007b3: JUMP 000007b4: JUMPDEST 000007b5: STOP 000007b6: JUMPDEST 000007b7: CALLVALUE 000007b8: ISZERO 000007b9: PUSH2 0x07c1 000007bc: JUMPI 000007bd: PUSH1 0x00 000007bf: DUP1 000007c0: REVERT 000007c1: JUMPDEST 000007c2: PUSH2 0x07c9 000007c5: PUSH2 0x19f3 000007c8: JUMP 000007c9: JUMPDEST 000007ca: PUSH1 0x40 000007cc: MLOAD 000007cd: DUP1 000007ce: DUP3 000007cf: DUP2 000007d0: MSTORE 000007d1: PUSH1 0x20 000007d3: ADD 000007d4: SWAP2 000007d5: POP 000007d6: POP 000007d7: PUSH1 0x40 000007d9: MLOAD 000007da: DUP1 000007db: SWAP2 000007dc: SUB 000007dd: SWAP1 000007de: RETURN 000007df: JUMPDEST 000007e0: CALLVALUE 000007e1: ISZERO 000007e2: PUSH2 0x07ea 000007e5: JUMPI 000007e6: PUSH1 0x00 000007e8: DUP1 000007e9: REVERT 000007ea: JUMPDEST 000007eb: PUSH2 0x0835 000007ee: PUSH1 0x04 000007f0: DUP1 000007f1: DUP1 000007f2: CALLDATALOAD 000007f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000808: AND 00000809: SWAP1 0000080a: PUSH1 0x20 0000080c: ADD 0000080d: SWAP1 0000080e: SWAP2 0000080f: SWAP1 00000810: DUP1 00000811: CALLDATALOAD 00000812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000827: AND 00000828: SWAP1 00000829: PUSH1 0x20 0000082b: ADD 0000082c: SWAP1 0000082d: SWAP2 0000082e: SWAP1 0000082f: POP 00000830: POP 00000831: PUSH2 0x19f9 00000834: JUMP 00000835: JUMPDEST 00000836: PUSH1 0x40 00000838: MLOAD 00000839: DUP1 0000083a: DUP3 0000083b: DUP2 0000083c: MSTORE 0000083d: PUSH1 0x20 0000083f: ADD 00000840: SWAP2 00000841: POP 00000842: POP 00000843: PUSH1 0x40 00000845: MLOAD 00000846: DUP1 00000847: SWAP2 00000848: SUB 00000849: SWAP1 0000084a: RETURN 0000084b: JUMPDEST 0000084c: CALLVALUE 0000084d: ISZERO 0000084e: PUSH2 0x0856 00000851: JUMPI 00000852: PUSH1 0x00 00000854: DUP1 00000855: REVERT 00000856: JUMPDEST 00000857: PUSH2 0x0882 0000085a: PUSH1 0x04 0000085c: DUP1 0000085d: DUP1 0000085e: CALLDATALOAD 0000085f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000874: AND 00000875: SWAP1 00000876: PUSH1 0x20 00000878: ADD 00000879: SWAP1 0000087a: SWAP2 0000087b: SWAP1 0000087c: POP 0000087d: POP 0000087e: PUSH2 0x1a80 00000881: JUMP 00000882: JUMPDEST 00000883: STOP 00000884: JUMPDEST 00000885: PUSH1 0x00 00000887: DUP1 00000888: DUP3 00000889: DUP5 0000088a: DUP2 0000088b: ISZERO 0000088c: ISZERO 0000088d: PUSH2 0x0892 00000890: JUMPI 00000891: INVALID 00000892: JUMPDEST 00000893: DIV 00000894: SWAP1 00000895: POP 00000896: DUP1 00000897: SWAP2 00000898: POP 00000899: POP 0000089a: SWAP3 0000089b: SWAP2 0000089c: POP 0000089d: POP 0000089e: JUMP 0000089f: JUMPDEST 000008a0: PUSH1 0x00 000008a2: DUP3 000008a3: DUP3 000008a4: GT 000008a5: ISZERO 000008a6: ISZERO 000008a7: ISZERO 000008a8: PUSH2 0x08ad 000008ab: JUMPI 000008ac: INVALID 000008ad: JUMPDEST 000008ae: DUP2 000008af: DUP4 000008b0: SUB 000008b1: SWAP1 000008b2: POP 000008b3: SWAP3 000008b4: SWAP2 000008b5: POP 000008b6: POP 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH1 0x0a 000008bb: DUP1 000008bc: SLOAD 000008bd: PUSH1 0x01 000008bf: DUP2 000008c0: PUSH1 0x01 000008c2: AND 000008c3: ISZERO 000008c4: PUSH2 0x0100 000008c7: MUL 000008c8: SUB 000008c9: AND 000008ca: PUSH1 0x02 000008cc: SWAP1 000008cd: DIV 000008ce: DUP1 000008cf: PUSH1 0x1f 000008d1: ADD 000008d2: PUSH1 0x20 000008d4: DUP1 000008d5: SWAP2 000008d6: DIV 000008d7: MUL 000008d8: PUSH1 0x20 000008da: ADD 000008db: PUSH1 0x40 000008dd: MLOAD 000008de: SWAP1 000008df: DUP2 000008e0: ADD 000008e1: PUSH1 0x40 000008e3: MSTORE 000008e4: DUP1 000008e5: SWAP3 000008e6: SWAP2 000008e7: SWAP1 000008e8: DUP2 000008e9: DUP2 000008ea: MSTORE 000008eb: PUSH1 0x20 000008ed: ADD 000008ee: DUP3 000008ef: DUP1 000008f0: SLOAD 000008f1: PUSH1 0x01 000008f3: DUP2 000008f4: PUSH1 0x01 000008f6: AND 000008f7: ISZERO 000008f8: PUSH2 0x0100 000008fb: MUL 000008fc: SUB 000008fd: AND 000008fe: PUSH1 0x02 00000900: SWAP1 00000901: DIV 00000902: DUP1 00000903: ISZERO 00000904: PUSH2 0x094e 00000907: JUMPI 00000908: DUP1 00000909: PUSH1 0x1f 0000090b: LT 0000090c: PUSH2 0x0923 0000090f: JUMPI 00000910: PUSH2 0x0100 00000913: DUP1 00000914: DUP4 00000915: SLOAD 00000916: DIV 00000917: MUL 00000918: DUP4 00000919: MSTORE 0000091a: SWAP2 0000091b: PUSH1 0x20 0000091d: ADD 0000091e: SWAP2 0000091f: PUSH2 0x094e 00000922: JUMP 00000923: JUMPDEST 00000924: DUP3 00000925: ADD 00000926: SWAP2 00000927: SWAP1 00000928: PUSH1 0x00 0000092a: MSTORE 0000092b: PUSH1 0x20 0000092d: PUSH1 0x00 0000092f: KECCAK256 00000930: SWAP1 00000931: JUMPDEST 00000932: DUP2 00000933: SLOAD 00000934: DUP2 00000935: MSTORE 00000936: SWAP1 00000937: PUSH1 0x01 00000939: ADD 0000093a: SWAP1 0000093b: PUSH1 0x20 0000093d: ADD 0000093e: DUP1 0000093f: DUP4 00000940: GT 00000941: PUSH2 0x0931 00000944: JUMPI 00000945: DUP3 00000946: SWAP1 00000947: SUB 00000948: PUSH1 0x1f 0000094a: AND 0000094b: DUP3 0000094c: ADD 0000094d: SWAP2 0000094e: JUMPDEST 0000094f: POP 00000950: POP 00000951: POP 00000952: POP 00000953: POP 00000954: DUP2 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH1 0x00 00000959: DUP1 0000095a: ISZERO 0000095b: ISZERO 0000095c: PUSH1 0x09 0000095e: PUSH1 0x00 00000960: CALLER 00000961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000976: AND 00000977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098c: AND 0000098d: DUP2 0000098e: MSTORE 0000098f: PUSH1 0x20 00000991: ADD 00000992: SWAP1 00000993: DUP2 00000994: MSTORE 00000995: PUSH1 0x20 00000997: ADD 00000998: PUSH1 0x00 0000099a: KECCAK256 0000099b: PUSH1 0x00 0000099d: SWAP1 0000099e: SLOAD 0000099f: SWAP1 000009a0: PUSH2 0x0100 000009a3: EXP 000009a4: SWAP1 000009a5: DIV 000009a6: PUSH1 0xff 000009a8: AND 000009a9: ISZERO 000009aa: ISZERO 000009ab: EQ 000009ac: ISZERO 000009ad: ISZERO 000009ae: PUSH2 0x09b6 000009b1: JUMPI 000009b2: PUSH1 0x00 000009b4: DUP1 000009b5: REVERT 000009b6: JUMPDEST 000009b7: DUP2 000009b8: PUSH1 0x07 000009ba: PUSH1 0x00 000009bc: CALLER 000009bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d2: AND 000009d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e8: AND 000009e9: DUP2 000009ea: MSTORE 000009eb: PUSH1 0x20 000009ed: ADD 000009ee: SWAP1 000009ef: DUP2 000009f0: MSTORE 000009f1: PUSH1 0x20 000009f3: ADD 000009f4: PUSH1 0x00 000009f6: KECCAK256 000009f7: PUSH1 0x00 000009f9: DUP6 000009fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0f: AND 00000a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a25: AND 00000a26: DUP2 00000a27: MSTORE 00000a28: PUSH1 0x20 00000a2a: ADD 00000a2b: SWAP1 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH1 0x20 00000a30: ADD 00000a31: PUSH1 0x00 00000a33: KECCAK256 00000a34: DUP2 00000a35: SWAP1 00000a36: SSTORE 00000a37: POP 00000a38: DUP3 00000a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4e: AND 00000a4f: CALLER 00000a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a65: AND 00000a66: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000a87: DUP5 00000a88: PUSH1 0x40 00000a8a: MLOAD 00000a8b: DUP1 00000a8c: DUP3 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: ADD 00000a92: SWAP2 00000a93: POP 00000a94: POP 00000a95: PUSH1 0x40 00000a97: MLOAD 00000a98: DUP1 00000a99: SWAP2 00000a9a: SUB 00000a9b: SWAP1 00000a9c: LOG3 00000a9d: PUSH1 0x01 00000a9f: SWAP1 00000aa0: POP 00000aa1: SWAP3 00000aa2: SWAP2 00000aa3: POP 00000aa4: POP 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH1 0x00 00000aa9: DUP1 00000aaa: SLOAD 00000aab: SWAP1 00000aac: POP 00000aad: SWAP1 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: PUSH1 0x08 00000ab2: PUSH1 0x20 00000ab4: MSTORE 00000ab5: DUP1 00000ab6: PUSH1 0x00 00000ab8: MSTORE 00000ab9: PUSH1 0x40 00000abb: PUSH1 0x00 00000abd: KECCAK256 00000abe: PUSH1 0x00 00000ac0: SWAP2 00000ac1: POP 00000ac2: SWAP1 00000ac3: POP 00000ac4: DUP1 00000ac5: PUSH1 0x00 00000ac7: ADD 00000ac8: SLOAD 00000ac9: SWAP1 00000aca: DUP1 00000acb: PUSH1 0x01 00000acd: ADD 00000ace: SLOAD 00000acf: SWAP1 00000ad0: DUP1 00000ad1: PUSH1 0x02 00000ad3: ADD 00000ad4: SLOAD 00000ad5: SWAP1 00000ad6: DUP1 00000ad7: PUSH1 0x03 00000ad9: ADD 00000ada: SLOAD 00000adb: SWAP1 00000adc: DUP1 00000add: PUSH1 0x04 00000adf: ADD 00000ae0: SLOAD 00000ae1: SWAP1 00000ae2: POP 00000ae3: DUP6 00000ae4: JUMP 00000ae5: JUMPDEST 00000ae6: PUSH1 0x00 00000ae8: DUP1 00000ae9: PUSH1 0x07 00000aeb: PUSH1 0x00 00000aed: DUP7 00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b03: AND 00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b19: AND 00000b1a: DUP2 00000b1b: MSTORE 00000b1c: PUSH1 0x20 00000b1e: ADD 00000b1f: SWAP1 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x20 00000b24: ADD 00000b25: PUSH1 0x00 00000b27: KECCAK256 00000b28: PUSH1 0x00 00000b2a: CALLER 00000b2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b40: AND 00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b56: AND 00000b57: DUP2 00000b58: MSTORE 00000b59: PUSH1 0x20 00000b5b: ADD 00000b5c: SWAP1 00000b5d: DUP2 00000b5e: MSTORE 00000b5f: PUSH1 0x20 00000b61: ADD 00000b62: PUSH1 0x00 00000b64: KECCAK256 00000b65: SLOAD 00000b66: SWAP1 00000b67: POP 00000b68: DUP3 00000b69: PUSH1 0x06 00000b6b: PUSH1 0x00 00000b6d: DUP8 00000b6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b83: AND 00000b84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b99: AND 00000b9a: DUP2 00000b9b: MSTORE 00000b9c: PUSH1 0x20 00000b9e: ADD 00000b9f: SWAP1 00000ba0: DUP2 00000ba1: MSTORE 00000ba2: PUSH1 0x20 00000ba4: ADD 00000ba5: PUSH1 0x00 00000ba7: KECCAK256 00000ba8: SLOAD 00000ba9: LT 00000baa: ISZERO 00000bab: DUP1 00000bac: ISZERO 00000bad: PUSH2 0x0bb6 00000bb0: JUMPI 00000bb1: POP 00000bb2: DUP3 00000bb3: DUP2 00000bb4: LT 00000bb5: ISZERO 00000bb6: JUMPDEST 00000bb7: ISZERO 00000bb8: ISZERO 00000bb9: PUSH2 0x0bc1 00000bbc: JUMPI 00000bbd: PUSH1 0x00 00000bbf: DUP1 00000bc0: REVERT 00000bc1: JUMPDEST 00000bc2: DUP3 00000bc3: PUSH1 0x06 00000bc5: PUSH1 0x00 00000bc7: DUP7 00000bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdd: AND 00000bde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf3: AND 00000bf4: DUP2 00000bf5: MSTORE 00000bf6: PUSH1 0x20 00000bf8: ADD 00000bf9: SWAP1 00000bfa: DUP2 00000bfb: MSTORE 00000bfc: PUSH1 0x20 00000bfe: ADD 00000bff: PUSH1 0x00 00000c01: KECCAK256 00000c02: PUSH1 0x00 00000c04: DUP3 00000c05: DUP3 00000c06: SLOAD 00000c07: ADD 00000c08: SWAP3 00000c09: POP 00000c0a: POP 00000c0b: DUP2 00000c0c: SWAP1 00000c0d: SSTORE 00000c0e: POP 00000c0f: DUP3 00000c10: PUSH1 0x06 00000c12: PUSH1 0x00 00000c14: DUP8 00000c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2a: AND 00000c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c40: AND 00000c41: DUP2 00000c42: MSTORE 00000c43: PUSH1 0x20 00000c45: ADD 00000c46: SWAP1 00000c47: DUP2 00000c48: MSTORE 00000c49: PUSH1 0x20 00000c4b: ADD 00000c4c: PUSH1 0x00 00000c4e: KECCAK256 00000c4f: PUSH1 0x00 00000c51: DUP3 00000c52: DUP3 00000c53: SLOAD 00000c54: SUB 00000c55: SWAP3 00000c56: POP 00000c57: POP 00000c58: DUP2 00000c59: SWAP1 00000c5a: SSTORE 00000c5b: POP 00000c5c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000c7d: DUP2 00000c7e: LT 00000c7f: ISZERO 00000c80: PUSH2 0x0d0e 00000c83: JUMPI 00000c84: DUP3 00000c85: PUSH1 0x07 00000c87: PUSH1 0x00 00000c89: DUP8 00000c8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9f: AND 00000ca0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb5: AND 00000cb6: DUP2 00000cb7: MSTORE 00000cb8: PUSH1 0x20 00000cba: ADD 00000cbb: SWAP1 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x20 00000cc0: ADD 00000cc1: PUSH1 0x00 00000cc3: KECCAK256 00000cc4: PUSH1 0x00 00000cc6: CALLER 00000cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdc: AND 00000cdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf2: AND 00000cf3: DUP2 00000cf4: MSTORE 00000cf5: PUSH1 0x20 00000cf7: ADD 00000cf8: SWAP1 00000cf9: DUP2 00000cfa: MSTORE 00000cfb: PUSH1 0x20 00000cfd: ADD 00000cfe: PUSH1 0x00 00000d00: KECCAK256 00000d01: PUSH1 0x00 00000d03: DUP3 00000d04: DUP3 00000d05: SLOAD 00000d06: SUB 00000d07: SWAP3 00000d08: POP 00000d09: POP 00000d0a: DUP2 00000d0b: SWAP1 00000d0c: SSTORE 00000d0d: POP 00000d0e: JUMPDEST 00000d0f: DUP4 00000d10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d25: AND 00000d26: DUP6 00000d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3c: AND 00000d3d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000d5e: DUP6 00000d5f: PUSH1 0x40 00000d61: MLOAD 00000d62: DUP1 00000d63: DUP3 00000d64: DUP2 00000d65: MSTORE 00000d66: PUSH1 0x20 00000d68: ADD 00000d69: SWAP2 00000d6a: POP 00000d6b: POP 00000d6c: PUSH1 0x40 00000d6e: MLOAD 00000d6f: DUP1 00000d70: SWAP2 00000d71: SUB 00000d72: SWAP1 00000d73: LOG3 00000d74: PUSH1 0x01 00000d76: SWAP2 00000d77: POP 00000d78: POP 00000d79: SWAP4 00000d7a: SWAP3 00000d7b: POP 00000d7c: POP 00000d7d: POP 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: PUSH1 0x00 00000d82: DUP1 00000d83: DUP4 00000d84: MLOAD 00000d85: SWAP2 00000d86: POP 00000d87: PUSH1 0x06 00000d89: PUSH1 0x00 00000d8b: CALLER 00000d8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da1: AND 00000da2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db7: AND 00000db8: DUP2 00000db9: MSTORE 00000dba: PUSH1 0x20 00000dbc: ADD 00000dbd: SWAP1 00000dbe: DUP2 00000dbf: MSTORE 00000dc0: PUSH1 0x20 00000dc2: ADD 00000dc3: PUSH1 0x00 00000dc5: KECCAK256 00000dc6: SLOAD 00000dc7: DUP3 00000dc8: DUP5 00000dc9: MUL 00000dca: GT 00000dcb: ISZERO 00000dcc: ISZERO 00000dcd: ISZERO 00000dce: PUSH2 0x0dd6 00000dd1: JUMPI 00000dd2: PUSH1 0x00 00000dd4: DUP1 00000dd5: REVERT 00000dd6: JUMPDEST 00000dd7: PUSH1 0x00 00000dd9: SWAP1 00000dda: POP 00000ddb: JUMPDEST 00000ddc: DUP2 00000ddd: DUP2 00000dde: LT 00000ddf: ISZERO 00000de0: PUSH2 0x0e12 00000de3: JUMPI 00000de4: PUSH2 0x0e04 00000de7: DUP5 00000de8: DUP3 00000de9: DUP2 00000dea: MLOAD 00000deb: DUP2 00000dec: LT 00000ded: ISZERO 00000dee: ISZERO 00000def: PUSH2 0x0df4 00000df2: JUMPI 00000df3: INVALID 00000df4: JUMPDEST 00000df5: SWAP1 00000df6: PUSH1 0x20 00000df8: ADD 00000df9: SWAP1 00000dfa: PUSH1 0x20 00000dfc: MUL 00000dfd: ADD 00000dfe: MLOAD 00000dff: DUP5 00000e00: PUSH2 0x14c2 00000e03: JUMP 00000e04: JUMPDEST 00000e05: POP 00000e06: DUP1 00000e07: DUP1 00000e08: PUSH1 0x01 00000e0a: ADD 00000e0b: SWAP2 00000e0c: POP 00000e0d: POP 00000e0e: PUSH2 0x0ddb 00000e11: JUMP 00000e12: JUMPDEST 00000e13: POP 00000e14: POP 00000e15: POP 00000e16: POP 00000e17: JUMP 00000e18: JUMPDEST 00000e19: PUSH1 0x0b 00000e1b: PUSH1 0x00 00000e1d: SWAP1 00000e1e: SLOAD 00000e1f: SWAP1 00000e20: PUSH2 0x0100 00000e23: EXP 00000e24: SWAP1 00000e25: DIV 00000e26: PUSH1 0xff 00000e28: AND 00000e29: DUP2 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH1 0x03 00000e2e: PUSH1 0x00 00000e30: SWAP1 00000e31: SLOAD 00000e32: SWAP1 00000e33: PUSH2 0x0100 00000e36: EXP 00000e37: SWAP1 00000e38: DIV 00000e39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e4e: AND 00000e4f: DUP2 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH1 0x04 00000e54: SLOAD 00000e55: DUP2 00000e56: JUMP 00000e57: JUMPDEST 00000e58: PUSH1 0x03 00000e5a: PUSH1 0x00 00000e5c: SWAP1 00000e5d: SLOAD 00000e5e: SWAP1 00000e5f: PUSH2 0x0100 00000e62: EXP 00000e63: SWAP1 00000e64: DIV 00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e7a: AND 00000e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e90: AND 00000e91: CALLER 00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea7: AND 00000ea8: EQ 00000ea9: ISZERO 00000eaa: ISZERO 00000eab: PUSH2 0x0eb3 00000eae: JUMPI 00000eaf: PUSH1 0x00 00000eb1: DUP1 00000eb2: REVERT 00000eb3: JUMPDEST 00000eb4: PUSH1 0x03 00000eb6: PUSH1 0x00 00000eb8: SWAP1 00000eb9: SLOAD 00000eba: SWAP1 00000ebb: PUSH2 0x0100 00000ebe: EXP 00000ebf: SWAP1 00000ec0: DIV 00000ec1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed6: AND 00000ed7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eec: AND 00000eed: PUSH2 0x08fc 00000ef0: ADDRESS 00000ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f06: AND 00000f07: BALANCE 00000f08: SWAP1 00000f09: DUP2 00000f0a: ISZERO 00000f0b: MUL 00000f0c: SWAP1 00000f0d: PUSH1 0x40 00000f0f: MLOAD 00000f10: PUSH1 0x00 00000f12: PUSH1 0x40 00000f14: MLOAD 00000f15: DUP1 00000f16: DUP4 00000f17: SUB 00000f18: DUP2 00000f19: DUP6 00000f1a: DUP9 00000f1b: DUP9 00000f1c: CALL 00000f1d: SWAP4 00000f1e: POP 00000f1f: POP 00000f20: POP 00000f21: POP 00000f22: ISZERO 00000f23: ISZERO 00000f24: PUSH2 0x0f2c 00000f27: JUMPI 00000f28: PUSH1 0x00 00000f2a: DUP1 00000f2b: REVERT 00000f2c: JUMPDEST 00000f2d: JUMP 00000f2e: JUMPDEST 00000f2f: PUSH1 0x03 00000f31: PUSH1 0x00 00000f33: SWAP1 00000f34: SLOAD 00000f35: SWAP1 00000f36: PUSH2 0x0100 00000f39: EXP 00000f3a: SWAP1 00000f3b: DIV 00000f3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f51: AND 00000f52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f67: AND 00000f68: CALLER 00000f69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7e: AND 00000f7f: EQ 00000f80: ISZERO 00000f81: ISZERO 00000f82: PUSH2 0x0f8a 00000f85: JUMPI 00000f86: PUSH1 0x00 00000f88: DUP1 00000f89: REVERT 00000f8a: JUMPDEST 00000f8b: DUP1 00000f8c: PUSH1 0x08 00000f8e: PUSH1 0x00 00000f90: DUP5 00000f91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa6: AND 00000fa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbc: AND 00000fbd: DUP2 00000fbe: MSTORE 00000fbf: PUSH1 0x20 00000fc1: ADD 00000fc2: SWAP1 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH1 0x20 00000fc7: ADD 00000fc8: PUSH1 0x00 00000fca: KECCAK256 00000fcb: PUSH1 0x00 00000fcd: ADD 00000fce: SLOAD 00000fcf: LT 00000fd0: ISZERO 00000fd1: ISZERO 00000fd2: ISZERO 00000fd3: PUSH2 0x0fdb 00000fd6: JUMPI 00000fd7: PUSH1 0x00 00000fd9: DUP1 00000fda: REVERT 00000fdb: JUMPDEST 00000fdc: DUP1 00000fdd: PUSH1 0x08 00000fdf: PUSH1 0x00 00000fe1: DUP5 00000fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff7: AND 00000ff8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100d: AND 0000100e: DUP2 0000100f: MSTORE 00001010: PUSH1 0x20 00001012: ADD 00001013: SWAP1 00001014: DUP2 00001015: MSTORE 00001016: PUSH1 0x20 00001018: ADD 00001019: PUSH1 0x00 0000101b: KECCAK256 0000101c: PUSH1 0x00 0000101e: ADD 0000101f: PUSH1 0x00 00001021: DUP3 00001022: DUP3 00001023: SLOAD 00001024: SUB 00001025: SWAP3 00001026: POP 00001027: POP 00001028: DUP2 00001029: SWAP1 0000102a: SSTORE 0000102b: POP 0000102c: DUP1 0000102d: PUSH1 0x06 0000102f: PUSH1 0x00 00001031: DUP5 00001032: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001047: AND 00001048: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105d: AND 0000105e: DUP2 0000105f: MSTORE 00001060: PUSH1 0x20 00001062: ADD 00001063: SWAP1 00001064: DUP2 00001065: MSTORE 00001066: PUSH1 0x20 00001068: ADD 00001069: PUSH1 0x00 0000106b: KECCAK256 0000106c: PUSH1 0x00 0000106e: DUP3 0000106f: DUP3 00001070: SLOAD 00001071: ADD 00001072: SWAP3 00001073: POP 00001074: POP 00001075: DUP2 00001076: SWAP1 00001077: SSTORE 00001078: POP 00001079: DUP1 0000107a: PUSH1 0x00 0000107c: DUP1 0000107d: DUP3 0000107e: DUP3 0000107f: SLOAD 00001080: ADD 00001081: SWAP3 00001082: POP 00001083: POP 00001084: DUP2 00001085: SWAP1 00001086: SSTORE 00001087: POP 00001088: POP 00001089: POP 0000108a: JUMP 0000108b: JUMPDEST 0000108c: PUSH1 0x03 0000108e: PUSH1 0x00 00001090: SWAP1 00001091: SLOAD 00001092: SWAP1 00001093: PUSH2 0x0100 00001096: EXP 00001097: SWAP1 00001098: DIV 00001099: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ae: AND 000010af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c4: AND 000010c5: CALLER 000010c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010db: AND 000010dc: EQ 000010dd: ISZERO 000010de: ISZERO 000010df: PUSH2 0x10e7 000010e2: JUMPI 000010e3: PUSH1 0x00 000010e5: DUP1 000010e6: REVERT 000010e7: JUMPDEST 000010e8: PUSH1 0x01 000010ea: ISZERO 000010eb: ISZERO 000010ec: PUSH1 0x05 000010ee: PUSH1 0x00 000010f0: SWAP1 000010f1: SLOAD 000010f2: SWAP1 000010f3: PUSH2 0x0100 000010f6: EXP 000010f7: SWAP1 000010f8: DIV 000010f9: PUSH1 0xff 000010fb: AND 000010fc: ISZERO 000010fd: ISZERO 000010fe: EQ 000010ff: ISZERO 00001100: ISZERO 00001101: PUSH2 0x1109 00001104: JUMPI 00001105: PUSH1 0x00 00001107: DUP1 00001108: REVERT 00001109: JUMPDEST 0000110a: PUSH1 0x00 0000110c: PUSH1 0x05 0000110e: PUSH1 0x00 00001110: PUSH2 0x0100 00001113: EXP 00001114: DUP2 00001115: SLOAD 00001116: DUP2 00001117: PUSH1 0xff 00001119: MUL 0000111a: NOT 0000111b: AND 0000111c: SWAP1 0000111d: DUP4 0000111e: ISZERO 0000111f: ISZERO 00001120: MUL 00001121: OR 00001122: SWAP1 00001123: SSTORE 00001124: POP 00001125: JUMP 00001126: JUMPDEST 00001127: PUSH1 0x01 00001129: SLOAD 0000112a: DUP2 0000112b: JUMP 0000112c: JUMPDEST 0000112d: PUSH1 0x00 0000112f: PUSH1 0x06 00001131: PUSH1 0x00 00001133: DUP4 00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001149: AND 0000114a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115f: AND 00001160: DUP2 00001161: MSTORE 00001162: PUSH1 0x20 00001164: ADD 00001165: SWAP1 00001166: DUP2 00001167: MSTORE 00001168: PUSH1 0x20 0000116a: ADD 0000116b: PUSH1 0x00 0000116d: KECCAK256 0000116e: SLOAD 0000116f: SWAP1 00001170: POP 00001171: SWAP2 00001172: SWAP1 00001173: POP 00001174: JUMP 00001175: JUMPDEST 00001176: PUSH1 0x03 00001178: PUSH1 0x00 0000117a: SWAP1 0000117b: SLOAD 0000117c: SWAP1 0000117d: PUSH2 0x0100 00001180: EXP 00001181: SWAP1 00001182: DIV 00001183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001198: AND 00001199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ae: AND 000011af: CALLER 000011b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c5: AND 000011c6: EQ 000011c7: ISZERO 000011c8: ISZERO 000011c9: PUSH2 0x11d1 000011cc: JUMPI 000011cd: PUSH1 0x00 000011cf: DUP1 000011d0: REVERT 000011d1: JUMPDEST 000011d2: DUP1 000011d3: PUSH1 0x04 000011d5: DUP2 000011d6: SWAP1 000011d7: SSTORE 000011d8: POP 000011d9: POP 000011da: JUMP 000011db: JUMPDEST 000011dc: PUSH1 0x03 000011de: PUSH1 0x00 000011e0: SWAP1 000011e1: SLOAD 000011e2: SWAP1 000011e3: PUSH2 0x0100 000011e6: EXP 000011e7: SWAP1 000011e8: DIV 000011e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fe: AND 000011ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001214: AND 00001215: CALLER 00001216: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122b: AND 0000122c: EQ 0000122d: ISZERO 0000122e: ISZERO 0000122f: PUSH2 0x1237 00001232: JUMPI 00001233: PUSH1 0x00 00001235: DUP1 00001236: REVERT 00001237: JUMPDEST 00001238: PUSH1 0x00 0000123a: PUSH1 0x09 0000123c: PUSH1 0x00 0000123e: DUP4 0000123f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001254: AND 00001255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126a: AND 0000126b: DUP2 0000126c: MSTORE 0000126d: PUSH1 0x20 0000126f: ADD 00001270: SWAP1 00001271: DUP2 00001272: MSTORE 00001273: PUSH1 0x20 00001275: ADD 00001276: PUSH1 0x00 00001278: KECCAK256 00001279: PUSH1 0x00 0000127b: PUSH2 0x0100 0000127e: EXP 0000127f: DUP2 00001280: SLOAD 00001281: DUP2 00001282: PUSH1 0xff 00001284: MUL 00001285: NOT 00001286: AND 00001287: SWAP1 00001288: DUP4 00001289: ISZERO 0000128a: ISZERO 0000128b: MUL 0000128c: OR 0000128d: SWAP1 0000128e: SSTORE 0000128f: POP 00001290: POP 00001291: JUMP 00001292: JUMPDEST 00001293: PUSH1 0x03 00001295: PUSH1 0x00 00001297: SWAP1 00001298: SLOAD 00001299: SWAP1 0000129a: PUSH2 0x0100 0000129d: EXP 0000129e: SWAP1 0000129f: DIV 000012a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b5: AND 000012b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012cb: AND 000012cc: CALLER 000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e2: AND 000012e3: EQ 000012e4: ISZERO 000012e5: ISZERO 000012e6: PUSH2 0x12ee 000012e9: JUMPI 000012ea: PUSH1 0x00 000012ec: DUP1 000012ed: REVERT 000012ee: JUMPDEST 000012ef: PUSH1 0x01 000012f1: PUSH1 0x05 000012f3: PUSH1 0x00 000012f5: PUSH2 0x0100 000012f8: EXP 000012f9: DUP2 000012fa: SLOAD 000012fb: DUP2 000012fc: PUSH1 0xff 000012fe: MUL 000012ff: NOT 00001300: AND 00001301: SWAP1 00001302: DUP4 00001303: ISZERO 00001304: ISZERO 00001305: MUL 00001306: OR 00001307: SWAP1 00001308: SSTORE 00001309: POP 0000130a: JUMP 0000130b: JUMPDEST 0000130c: PUSH1 0x05 0000130e: PUSH1 0x00 00001310: SWAP1 00001311: SLOAD 00001312: SWAP1 00001313: PUSH2 0x0100 00001316: EXP 00001317: SWAP1 00001318: DIV 00001319: PUSH1 0xff 0000131b: AND 0000131c: DUP2 0000131d: JUMP 0000131e: JUMPDEST 0000131f: PUSH1 0x0c 00001321: DUP1 00001322: SLOAD 00001323: PUSH1 0x01 00001325: DUP2 00001326: PUSH1 0x01 00001328: AND 00001329: ISZERO 0000132a: PUSH2 0x0100 0000132d: MUL 0000132e: SUB 0000132f: AND 00001330: PUSH1 0x02 00001332: SWAP1 00001333: DIV 00001334: DUP1 00001335: PUSH1 0x1f 00001337: ADD 00001338: PUSH1 0x20 0000133a: DUP1 0000133b: SWAP2 0000133c: DIV 0000133d: MUL 0000133e: PUSH1 0x20 00001340: ADD 00001341: PUSH1 0x40 00001343: MLOAD 00001344: SWAP1 00001345: DUP2 00001346: ADD 00001347: PUSH1 0x40 00001349: MSTORE 0000134a: DUP1 0000134b: SWAP3 0000134c: SWAP2 0000134d: SWAP1 0000134e: DUP2 0000134f: DUP2 00001350: MSTORE 00001351: PUSH1 0x20 00001353: ADD 00001354: DUP3 00001355: DUP1 00001356: SLOAD 00001357: PUSH1 0x01 00001359: DUP2 0000135a: PUSH1 0x01 0000135c: AND 0000135d: ISZERO 0000135e: PUSH2 0x0100 00001361: MUL 00001362: SUB 00001363: AND 00001364: PUSH1 0x02 00001366: SWAP1 00001367: DIV 00001368: DUP1 00001369: ISZERO 0000136a: PUSH2 0x13b4 0000136d: JUMPI 0000136e: DUP1 0000136f: PUSH1 0x1f 00001371: LT 00001372: PUSH2 0x1389 00001375: JUMPI 00001376: PUSH2 0x0100 00001379: DUP1 0000137a: DUP4 0000137b: SLOAD 0000137c: DIV 0000137d: MUL 0000137e: DUP4 0000137f: MSTORE 00001380: SWAP2 00001381: PUSH1 0x20 00001383: ADD 00001384: SWAP2 00001385: PUSH2 0x13b4 00001388: JUMP 00001389: JUMPDEST 0000138a: DUP3 0000138b: ADD 0000138c: SWAP2 0000138d: SWAP1 0000138e: PUSH1 0x00 00001390: MSTORE 00001391: PUSH1 0x20 00001393: PUSH1 0x00 00001395: KECCAK256 00001396: SWAP1 00001397: JUMPDEST 00001398: DUP2 00001399: SLOAD 0000139a: DUP2 0000139b: MSTORE 0000139c: SWAP1 0000139d: PUSH1 0x01 0000139f: ADD 000013a0: SWAP1 000013a1: PUSH1 0x20 000013a3: ADD 000013a4: DUP1 000013a5: DUP4 000013a6: GT 000013a7: PUSH2 0x1397 000013aa: JUMPI 000013ab: DUP3 000013ac: SWAP1 000013ad: SUB 000013ae: PUSH1 0x1f 000013b0: AND 000013b1: DUP3 000013b2: ADD 000013b3: SWAP2 000013b4: JUMPDEST 000013b5: POP 000013b6: POP 000013b7: POP 000013b8: POP 000013b9: POP 000013ba: DUP2 000013bb: JUMP 000013bc: JUMPDEST 000013bd: PUSH1 0x03 000013bf: PUSH1 0x00 000013c1: SWAP1 000013c2: SLOAD 000013c3: SWAP1 000013c4: PUSH2 0x0100 000013c7: EXP 000013c8: SWAP1 000013c9: DIV 000013ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013df: AND 000013e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f5: AND 000013f6: CALLER 000013f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140c: AND 0000140d: EQ 0000140e: ISZERO 0000140f: ISZERO 00001410: PUSH2 0x1418 00001413: JUMPI 00001414: PUSH1 0x00 00001416: DUP1 00001417: REVERT 00001418: JUMPDEST 00001419: PUSH1 0x01 0000141b: SLOAD 0000141c: PUSH1 0x06 0000141e: PUSH1 0x00 00001420: PUSH1 0x03 00001422: PUSH1 0x00 00001424: SWAP1 00001425: SLOAD 00001426: SWAP1 00001427: PUSH2 0x0100 0000142a: EXP 0000142b: SWAP1 0000142c: DIV 0000142d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001442: AND 00001443: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001458: AND 00001459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000146e: AND 0000146f: DUP2 00001470: MSTORE 00001471: PUSH1 0x20 00001473: ADD 00001474: SWAP1 00001475: DUP2 00001476: MSTORE 00001477: PUSH1 0x20 00001479: ADD 0000147a: PUSH1 0x00 0000147c: KECCAK256 0000147d: PUSH1 0x00 0000147f: DUP3 00001480: DUP3 00001481: SLOAD 00001482: ADD 00001483: SWAP3 00001484: POP 00001485: POP 00001486: DUP2 00001487: SWAP1 00001488: SSTORE 00001489: POP 0000148a: PUSH2 0x14b7 0000148d: PUSH1 0x05 0000148f: PUSH1 0x01 00001491: SWAP1 00001492: SLOAD 00001493: SWAP1 00001494: PUSH2 0x0100 00001497: EXP 00001498: SWAP1 00001499: DIV 0000149a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014af: AND 000014b0: PUSH1 0x01 000014b2: SLOAD 000014b3: PUSH2 0x14c2 000014b6: JUMP 000014b7: JUMPDEST 000014b8: POP 000014b9: PUSH1 0x00 000014bb: PUSH1 0x01 000014bd: DUP2 000014be: SWAP1 000014bf: SSTORE 000014c0: POP 000014c1: JUMP 000014c2: JUMPDEST 000014c3: PUSH1 0x00 000014c5: DUP2 000014c6: PUSH1 0x06 000014c8: PUSH1 0x00 000014ca: CALLER 000014cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e0: AND 000014e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f6: AND 000014f7: DUP2 000014f8: MSTORE 000014f9: PUSH1 0x20 000014fb: ADD 000014fc: SWAP1 000014fd: DUP2 000014fe: MSTORE 000014ff: PUSH1 0x20 00001501: ADD 00001502: PUSH1 0x00 00001504: KECCAK256 00001505: SLOAD 00001506: LT 00001507: ISZERO 00001508: ISZERO 00001509: ISZERO 0000150a: PUSH2 0x1512 0000150d: JUMPI 0000150e: PUSH1 0x00 00001510: DUP1 00001511: REVERT 00001512: JUMPDEST 00001513: PUSH1 0x00 00001515: ISZERO 00001516: ISZERO 00001517: PUSH1 0x09 00001519: PUSH1 0x00 0000151b: CALLER 0000151c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001531: AND 00001532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001547: AND 00001548: DUP2 00001549: MSTORE 0000154a: PUSH1 0x20 0000154c: ADD 0000154d: SWAP1 0000154e: DUP2 0000154f: MSTORE 00001550: PUSH1 0x20 00001552: ADD 00001553: PUSH1 0x00 00001555: KECCAK256 00001556: PUSH1 0x00 00001558: SWAP1 00001559: SLOAD 0000155a: SWAP1 0000155b: PUSH2 0x0100 0000155e: EXP 0000155f: SWAP1 00001560: DIV 00001561: PUSH1 0xff 00001563: AND 00001564: ISZERO 00001565: ISZERO 00001566: EQ 00001567: ISZERO 00001568: ISZERO 00001569: PUSH2 0x1571 0000156c: JUMPI 0000156d: PUSH1 0x00 0000156f: DUP1 00001570: REVERT 00001571: JUMPDEST 00001572: DUP2 00001573: PUSH1 0x06 00001575: PUSH1 0x00 00001577: CALLER 00001578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158d: AND 0000158e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a3: AND 000015a4: DUP2 000015a5: MSTORE 000015a6: PUSH1 0x20 000015a8: ADD 000015a9: SWAP1 000015aa: DUP2 000015ab: MSTORE 000015ac: PUSH1 0x20 000015ae: ADD 000015af: PUSH1 0x00 000015b1: KECCAK256 000015b2: PUSH1 0x00 000015b4: DUP3 000015b5: DUP3 000015b6: SLOAD 000015b7: SUB 000015b8: SWAP3 000015b9: POP 000015ba: POP 000015bb: DUP2 000015bc: SWAP1 000015bd: SSTORE 000015be: POP 000015bf: DUP2 000015c0: PUSH1 0x06 000015c2: PUSH1 0x00 000015c4: DUP6 000015c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015da: AND 000015db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015f0: AND 000015f1: DUP2 000015f2: MSTORE 000015f3: PUSH1 0x20 000015f5: ADD 000015f6: SWAP1 000015f7: DUP2 000015f8: MSTORE 000015f9: PUSH1 0x20 000015fb: ADD 000015fc: PUSH1 0x00 000015fe: KECCAK256 000015ff: PUSH1 0x00 00001601: DUP3 00001602: DUP3 00001603: SLOAD 00001604: ADD 00001605: SWAP3 00001606: POP 00001607: POP 00001608: DUP2 00001609: SWAP1 0000160a: SSTORE 0000160b: POP 0000160c: DUP3 0000160d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001622: AND 00001623: CALLER 00001624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001639: AND 0000163a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000165b: DUP5 0000165c: PUSH1 0x40 0000165e: MLOAD 0000165f: DUP1 00001660: DUP3 00001661: DUP2 00001662: MSTORE 00001663: PUSH1 0x20 00001665: ADD 00001666: SWAP2 00001667: POP 00001668: POP 00001669: PUSH1 0x40 0000166b: MLOAD 0000166c: DUP1 0000166d: SWAP2 0000166e: SUB 0000166f: SWAP1 00001670: LOG3 00001671: PUSH1 0x01 00001673: SWAP1 00001674: POP 00001675: SWAP3 00001676: SWAP2 00001677: POP 00001678: POP 00001679: JUMP 0000167a: JUMPDEST 0000167b: PUSH1 0x00 0000167d: PUSH1 0x08 0000167f: PUSH1 0x00 00001681: CALLER 00001682: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001697: AND 00001698: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ad: AND 000016ae: DUP2 000016af: MSTORE 000016b0: PUSH1 0x20 000016b2: ADD 000016b3: SWAP1 000016b4: DUP2 000016b5: MSTORE 000016b6: PUSH1 0x20 000016b8: ADD 000016b9: PUSH1 0x00 000016bb: KECCAK256 000016bc: PUSH1 0x04 000016be: ADD 000016bf: SLOAD 000016c0: PUSH1 0x01 000016c2: PUSH1 0x08 000016c4: PUSH1 0x00 000016c6: CALLER 000016c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016dc: AND 000016dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f2: AND 000016f3: DUP2 000016f4: MSTORE 000016f5: PUSH1 0x20 000016f7: ADD 000016f8: SWAP1 000016f9: DUP2 000016fa: MSTORE 000016fb: PUSH1 0x20 000016fd: ADD 000016fe: PUSH1 0x00 00001700: KECCAK256 00001701: PUSH1 0x02 00001703: ADD 00001704: SLOAD 00001705: PUSH1 0x08 00001707: PUSH1 0x00 00001709: CALLER 0000170a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000171f: AND 00001720: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001735: AND 00001736: DUP2 00001737: MSTORE 00001738: PUSH1 0x20 0000173a: ADD 0000173b: SWAP1 0000173c: DUP2 0000173d: MSTORE 0000173e: PUSH1 0x20 00001740: ADD 00001741: PUSH1 0x00 00001743: KECCAK256 00001744: PUSH1 0x03 00001746: ADD 00001747: SLOAD 00001748: SUB 00001749: ADD 0000174a: MUL 0000174b: PUSH1 0x08 0000174d: PUSH1 0x00 0000174f: CALLER 00001750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001765: AND 00001766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177b: AND 0000177c: DUP2 0000177d: MSTORE 0000177e: PUSH1 0x20 00001780: ADD 00001781: SWAP1 00001782: DUP2 00001783: MSTORE 00001784: PUSH1 0x20 00001786: ADD 00001787: PUSH1 0x00 00001789: KECCAK256 0000178a: PUSH1 0x01 0000178c: ADD 0000178d: SLOAD 0000178e: ADD 0000178f: TIMESTAMP 00001790: LT 00001791: ISZERO 00001792: ISZERO 00001793: ISZERO 00001794: PUSH2 0x179c 00001797: JUMPI 00001798: PUSH1 0x00 0000179a: DUP1 0000179b: REVERT 0000179c: JUMPDEST 0000179d: PUSH1 0x00 0000179f: PUSH1 0x08 000017a1: PUSH1 0x00 000017a3: CALLER 000017a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b9: AND 000017ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017cf: AND 000017d0: DUP2 000017d1: MSTORE 000017d2: PUSH1 0x20 000017d4: ADD 000017d5: SWAP1 000017d6: DUP2 000017d7: MSTORE 000017d8: PUSH1 0x20 000017da: ADD 000017db: PUSH1 0x00 000017dd: KECCAK256 000017de: PUSH1 0x02 000017e0: ADD 000017e1: SLOAD 000017e2: GT 000017e3: ISZERO 000017e4: ISZERO 000017e5: PUSH2 0x17ed 000017e8: JUMPI 000017e9: PUSH1 0x00 000017eb: DUP1 000017ec: REVERT 000017ed: JUMPDEST 000017ee: PUSH2 0x1884 000017f1: PUSH1 0x08 000017f3: PUSH1 0x00 000017f5: CALLER 000017f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180b: AND 0000180c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001821: AND 00001822: DUP2 00001823: MSTORE 00001824: PUSH1 0x20 00001826: ADD 00001827: SWAP1 00001828: DUP2 00001829: MSTORE 0000182a: PUSH1 0x20 0000182c: ADD 0000182d: PUSH1 0x00 0000182f: KECCAK256 00001830: PUSH1 0x02 00001832: ADD 00001833: SLOAD 00001834: PUSH1 0x08 00001836: PUSH1 0x00 00001838: CALLER 00001839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000184e: AND 0000184f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001864: AND 00001865: DUP2 00001866: MSTORE 00001867: PUSH1 0x20 00001869: ADD 0000186a: SWAP1 0000186b: DUP2 0000186c: MSTORE 0000186d: PUSH1 0x20 0000186f: ADD 00001870: PUSH1 0x00 00001872: KECCAK256 00001873: PUSH1 0x00 00001875: ADD 00001876: SLOAD 00001877: PUSH2 0x0884 0000187a: SWAP1 0000187b: SWAP2 0000187c: SWAP1 0000187d: PUSH4 0xffffffff 00001882: AND 00001883: JUMP 00001884: JUMPDEST 00001885: SWAP1 00001886: POP 00001887: DUP1 00001888: PUSH1 0x06 0000188a: PUSH1 0x00 0000188c: CALLER 0000188d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018a2: AND 000018a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018b8: AND 000018b9: DUP2 000018ba: MSTORE 000018bb: PUSH1 0x20 000018bd: ADD 000018be: SWAP1 000018bf: DUP2 000018c0: MSTORE 000018c1: PUSH1 0x20 000018c3: ADD 000018c4: PUSH1 0x00 000018c6: KECCAK256 000018c7: PUSH1 0x00 000018c9: DUP3 000018ca: DUP3 000018cb: SLOAD 000018cc: ADD 000018cd: SWAP3 000018ce: POP 000018cf: POP 000018d0: DUP2 000018d1: SWAP1 000018d2: SSTORE 000018d3: POP 000018d4: DUP1 000018d5: PUSH1 0x08 000018d7: PUSH1 0x00 000018d9: CALLER 000018da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018ef: AND 000018f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001905: AND 00001906: DUP2 00001907: MSTORE 00001908: PUSH1 0x20 0000190a: ADD 0000190b: SWAP1 0000190c: DUP2 0000190d: MSTORE 0000190e: PUSH1 0x20 00001910: ADD 00001911: PUSH1 0x00 00001913: KECCAK256 00001914: PUSH1 0x00 00001916: ADD 00001917: PUSH1 0x00 00001919: DUP3 0000191a: DUP3 0000191b: SLOAD 0000191c: SUB 0000191d: SWAP3 0000191e: POP 0000191f: POP 00001920: DUP2 00001921: SWAP1 00001922: SSTORE 00001923: POP 00001924: DUP1 00001925: PUSH1 0x00 00001927: DUP1 00001928: DUP3 00001929: DUP3 0000192a: SLOAD 0000192b: ADD 0000192c: SWAP3 0000192d: POP 0000192e: POP 0000192f: DUP2 00001930: SWAP1 00001931: SSTORE 00001932: POP 00001933: PUSH1 0x08 00001935: PUSH1 0x00 00001937: CALLER 00001938: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194d: AND 0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001963: AND 00001964: DUP2 00001965: MSTORE 00001966: PUSH1 0x20 00001968: ADD 00001969: SWAP1 0000196a: DUP2 0000196b: MSTORE 0000196c: PUSH1 0x20 0000196e: ADD 0000196f: PUSH1 0x00 00001971: KECCAK256 00001972: PUSH1 0x02 00001974: ADD 00001975: PUSH1 0x00 00001977: DUP2 00001978: SLOAD 00001979: DUP1 0000197a: SWAP3 0000197b: SWAP2 0000197c: SWAP1 0000197d: PUSH1 0x01 0000197f: SWAP1 00001980: SUB 00001981: SWAP2 00001982: SWAP1 00001983: POP 00001984: SSTORE 00001985: POP 00001986: PUSH32 0x09d03d90545d2ed6aa0cc5365506a63d1a32a8ef263b0995364bef1661ff07f5 000019a7: CALLER 000019a8: DUP3 000019a9: PUSH1 0x40 000019ab: MLOAD 000019ac: DUP1 000019ad: DUP4 000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c3: AND 000019c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019d9: AND 000019da: DUP2 000019db: MSTORE 000019dc: PUSH1 0x20 000019de: ADD 000019df: DUP3 000019e0: DUP2 000019e1: MSTORE 000019e2: PUSH1 0x20 000019e4: ADD 000019e5: SWAP3 000019e6: POP 000019e7: POP 000019e8: POP 000019e9: PUSH1 0x40 000019eb: MLOAD 000019ec: DUP1 000019ed: SWAP2 000019ee: SUB 000019ef: SWAP1 000019f0: LOG1 000019f1: POP 000019f2: JUMP 000019f3: JUMPDEST 000019f4: PUSH1 0x02 000019f6: SLOAD 000019f7: DUP2 000019f8: JUMP 000019f9: JUMPDEST 000019fa: PUSH1 0x00 000019fc: PUSH1 0x07 000019fe: PUSH1 0x00 00001a00: DUP5 00001a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a16: AND 00001a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a2c: AND 00001a2d: DUP2 00001a2e: MSTORE 00001a2f: PUSH1 0x20 00001a31: ADD 00001a32: SWAP1 00001a33: DUP2 00001a34: MSTORE 00001a35: PUSH1 0x20 00001a37: ADD 00001a38: PUSH1 0x00 00001a3a: KECCAK256 00001a3b: PUSH1 0x00 00001a3d: DUP4 00001a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a53: AND 00001a54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a69: AND 00001a6a: DUP2 00001a6b: MSTORE 00001a6c: PUSH1 0x20 00001a6e: ADD 00001a6f: SWAP1 00001a70: DUP2 00001a71: MSTORE 00001a72: PUSH1 0x20 00001a74: ADD 00001a75: PUSH1 0x00 00001a77: KECCAK256 00001a78: SLOAD 00001a79: SWAP1 00001a7a: POP 00001a7b: SWAP3 00001a7c: SWAP2 00001a7d: POP 00001a7e: POP 00001a7f: JUMP 00001a80: JUMPDEST 00001a81: PUSH1 0x03 00001a83: PUSH1 0x00 00001a85: SWAP1 00001a86: SLOAD 00001a87: SWAP1 00001a88: PUSH2 0x0100 00001a8b: EXP 00001a8c: SWAP1 00001a8d: DIV 00001a8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aa3: AND 00001aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab9: AND 00001aba: CALLER 00001abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad0: AND 00001ad1: EQ 00001ad2: ISZERO 00001ad3: ISZERO 00001ad4: PUSH2 0x1adc 00001ad7: JUMPI 00001ad8: PUSH1 0x00 00001ada: DUP1 00001adb: REVERT 00001adc: JUMPDEST 00001add: PUSH1 0x01 00001adf: PUSH1 0x09 00001ae1: PUSH1 0x00 00001ae3: DUP4 00001ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001af9: AND 00001afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b0f: AND 00001b10: DUP2 00001b11: MSTORE 00001b12: PUSH1 0x20 00001b14: ADD 00001b15: SWAP1 00001b16: DUP2 00001b17: MSTORE 00001b18: PUSH1 0x20 00001b1a: ADD 00001b1b: PUSH1 0x00 00001b1d: KECCAK256 00001b1e: PUSH1 0x00 00001b20: PUSH2 0x0100 00001b23: EXP 00001b24: DUP2 00001b25: SLOAD 00001b26: DUP2 00001b27: PUSH1 0xff 00001b29: MUL 00001b2a: NOT 00001b2b: AND 00001b2c: SWAP1 00001b2d: DUP4 00001b2e: ISZERO 00001b2f: ISZERO 00001b30: MUL 00001b31: OR 00001b32: SWAP1 00001b33: SSTORE 00001b34: POP 00001b35: POP 00001b36: JUMP 00001b37: JUMPDEST 00001b38: PUSH1 0x03 00001b3a: PUSH1 0x00 00001b3c: SWAP1 00001b3d: SLOAD 00001b3e: SWAP1 00001b3f: PUSH2 0x0100 00001b42: EXP 00001b43: SWAP1 00001b44: DIV 00001b45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b5a: AND 00001b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b70: AND 00001b71: CALLER 00001b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b87: AND 00001b88: EQ 00001b89: ISZERO 00001b8a: ISZERO 00001b8b: PUSH2 0x1b93 00001b8e: JUMPI 00001b8f: PUSH1 0x00 00001b91: DUP1 00001b92: REVERT 00001b93: JUMPDEST 00001b94: DUP3 00001b95: PUSH1 0x08 00001b97: PUSH1 0x00 00001b99: DUP7 00001b9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001baf: AND 00001bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc5: AND 00001bc6: DUP2 00001bc7: MSTORE 00001bc8: PUSH1 0x20 00001bca: ADD 00001bcb: SWAP1 00001bcc: DUP2 00001bcd: MSTORE 00001bce: PUSH1 0x20 00001bd0: ADD 00001bd1: PUSH1 0x00 00001bd3: KECCAK256 00001bd4: PUSH1 0x00 00001bd6: ADD 00001bd7: DUP2 00001bd8: SWAP1 00001bd9: SSTORE 00001bda: POP 00001bdb: TIMESTAMP 00001bdc: PUSH1 0x08 00001bde: PUSH1 0x00 00001be0: DUP7 00001be1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf6: AND 00001bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c0c: AND 00001c0d: DUP2 00001c0e: MSTORE 00001c0f: PUSH1 0x20 00001c11: ADD 00001c12: SWAP1 00001c13: DUP2 00001c14: MSTORE 00001c15: PUSH1 0x20 00001c17: ADD 00001c18: PUSH1 0x00 00001c1a: KECCAK256 00001c1b: PUSH1 0x01 00001c1d: ADD 00001c1e: DUP2 00001c1f: SWAP1 00001c20: SSTORE 00001c21: POP 00001c22: DUP2 00001c23: PUSH1 0x08 00001c25: PUSH1 0x00 00001c27: DUP7 00001c28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c3d: AND 00001c3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c53: AND 00001c54: DUP2 00001c55: MSTORE 00001c56: PUSH1 0x20 00001c58: ADD 00001c59: SWAP1 00001c5a: DUP2 00001c5b: MSTORE 00001c5c: PUSH1 0x20 00001c5e: ADD 00001c5f: PUSH1 0x00 00001c61: KECCAK256 00001c62: PUSH1 0x02 00001c64: ADD 00001c65: DUP2 00001c66: SWAP1 00001c67: SSTORE 00001c68: POP 00001c69: DUP2 00001c6a: PUSH1 0x08 00001c6c: PUSH1 0x00 00001c6e: DUP7 00001c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c84: AND 00001c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c9a: AND 00001c9b: DUP2 00001c9c: MSTORE 00001c9d: PUSH1 0x20 00001c9f: ADD 00001ca0: SWAP1 00001ca1: DUP2 00001ca2: MSTORE 00001ca3: PUSH1 0x20 00001ca5: ADD 00001ca6: PUSH1 0x00 00001ca8: KECCAK256 00001ca9: PUSH1 0x03 00001cab: ADD 00001cac: DUP2 00001cad: SWAP1 00001cae: SSTORE 00001caf: POP 00001cb0: DUP1 00001cb1: PUSH1 0x08 00001cb3: PUSH1 0x00 00001cb5: DUP7 00001cb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ccb: AND 00001ccc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce1: AND 00001ce2: DUP2 00001ce3: MSTORE 00001ce4: PUSH1 0x20 00001ce6: ADD 00001ce7: SWAP1 00001ce8: DUP2 00001ce9: MSTORE 00001cea: PUSH1 0x20 00001cec: ADD 00001ced: PUSH1 0x00 00001cef: KECCAK256 00001cf0: PUSH1 0x04 00001cf2: ADD 00001cf3: DUP2 00001cf4: SWAP1 00001cf5: SSTORE 00001cf6: POP 00001cf7: POP 00001cf8: POP 00001cf9: POP 00001cfa: POP 00001cfb: JUMP 00001cfc: STOP 00001cfd: LOG1 00001cfe: PUSH6 0x627a7a723058 00001d05: KECCAK256 00001d06: STATICCALL 00001d07: CALLDATACOPY 00001d08: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc576048adda527b1e1b2c672c51d5930027950264c3a8f818d094c741b737321
call_targets:
0x48c1b2f3efa85fbafb2ab951bf4ba860a08cdbb7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc576048adda527b1e1b2c672c51d5930027950264c3a8f818d094c741b737321",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48c1b2f3efa85fbafb2ab951bf4ba860a08cdbb7"
],
"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": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18f729da",
"selector": "0x18f729da",
"calldata_variants": [
"0x18f729da",
"0x18f729da0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2dc9ad7f",
"selector": "0x2dc9ad7f",
"calldata_variants": [
"0x2dc9ad7f",
"0x2dc9ad7f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3868,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 3729,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3944,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4293,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4527,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4629,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4812,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5110,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6842,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7025,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc576048adda527b1e1b2c672c51d5930027950264c3a8f818d094c741b737321
call_targets:
0x48c1b2f3efa85fbafb2ab951bf4ba860a08cdbb7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc576048adda527b1e1b2c672c51d5930027950264c3a8f818d094c741b737321",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48c1b2f3efa85fbafb2ab951bf4ba860a08cdbb7"
],
"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": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18f729da",
"selector": "0x18f729da",
"calldata_variants": [
"0x18f729da",
"0x18f729da0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2dc9ad7f",
"selector": "0x2dc9ad7f",
"calldata_variants": [
"0x2dc9ad7f",
"0x2dc9ad7f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3868,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 3729,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3944,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4293,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4527,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4629,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4812,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5110,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6842,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7025,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|