019b477e-b676-7179-86c1-5f00f93f03a2
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 |
|---|---|---|---|---|
| 23115 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 23116 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 66658 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66659 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66660 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66661 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x016a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x04dd2dea 0000003c: EQ 0000003d: PUSH2 0x016f 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x06fdde03 00000047: EQ 00000048: PUSH2 0x01b0 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x1ae4dfb7 00000052: EQ 00000053: PUSH2 0x0240 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x1b7e0902 0000005d: EQ 0000005e: PUSH2 0x0281 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x28437ad1 00000068: EQ 00000069: PUSH2 0x02ee 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x287ad8fa 00000073: EQ 00000074: PUSH2 0x031f 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x313ce567 0000007e: EQ 0000007f: PUSH2 0x0360 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x3ccfd60b 00000089: EQ 0000008a: PUSH2 0x0391 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x4b419b5f 00000094: EQ 00000095: PUSH2 0x03a8 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x4c738909 0000009f: EQ 000000a0: PUSH2 0x03df 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x4e3c2f47 000000aa: EQ 000000ab: PUSH2 0x040a 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x5bdff855 000000b5: EQ 000000b6: PUSH2 0x0455 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x6b2f4632 000000c0: EQ 000000c1: PUSH2 0x0496 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x7deb6025 000000cb: EQ 000000cc: PUSH2 0x04c1 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x7fcf440a 000000d6: EQ 000000d7: PUSH2 0x0501 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x95d89b41 000000e1: EQ 000000e2: PUSH2 0x0558 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x9ba65fff 000000ec: EQ 000000ed: PUSH2 0x05e8 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0x9d902fc0 000000f7: EQ 000000f8: PUSH2 0x0615 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xa053ce1f 00000102: EQ 00000103: PUSH2 0x0640 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xae882412 0000010d: EQ 0000010e: PUSH2 0x0671 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xaf392206 00000118: EQ 00000119: PUSH2 0x069c 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0xb84c8246 00000123: EQ 00000124: PUSH2 0x06c7 00000127: JUMPI 00000128: DUP1 00000129: PUSH4 0xb987f688 0000012e: EQ 0000012f: PUSH2 0x0730 00000132: JUMPI 00000133: DUP1 00000134: PUSH4 0xbaf3a4d4 00000139: EQ 0000013a: PUSH2 0x075b 0000013d: JUMPI 0000013e: DUP1 0000013f: PUSH4 0xc47f0027 00000144: EQ 00000145: PUSH2 0x078c 00000148: JUMPI 00000149: DUP1 0000014a: PUSH4 0xd5c96b36 0000014f: EQ 00000150: PUSH2 0x07f5 00000153: JUMPI 00000154: DUP1 00000155: PUSH4 0xe994c15d 0000015a: EQ 0000015b: PUSH2 0x0820 0000015e: JUMPI 0000015f: DUP1 00000160: PUSH4 0xfd01d4a1 00000165: EQ 00000166: PUSH2 0x084b 00000169: JUMPI 0000016a: JUMPDEST 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: CALLVALUE 00000171: DUP1 00000172: ISZERO 00000173: PUSH2 0x017b 00000176: JUMPI 00000177: PUSH1 0x00 00000179: DUP1 0000017a: REVERT 0000017b: JUMPDEST 0000017c: POP 0000017d: PUSH2 0x019a 00000180: PUSH1 0x04 00000182: DUP1 00000183: CALLDATASIZE 00000184: SUB 00000185: DUP2 00000186: ADD 00000187: SWAP1 00000188: DUP1 00000189: DUP1 0000018a: CALLDATALOAD 0000018b: SWAP1 0000018c: PUSH1 0x20 0000018e: ADD 0000018f: SWAP1 00000190: SWAP3 00000191: SWAP2 00000192: SWAP1 00000193: POP 00000194: POP 00000195: POP 00000196: PUSH2 0x087c 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: DUP1 0000019f: DUP3 000001a0: DUP2 000001a1: MSTORE 000001a2: PUSH1 0x20 000001a4: ADD 000001a5: SWAP2 000001a6: POP 000001a7: POP 000001a8: PUSH1 0x40 000001aa: MLOAD 000001ab: DUP1 000001ac: SWAP2 000001ad: SUB 000001ae: SWAP1 000001af: RETURN 000001b0: JUMPDEST 000001b1: CALLVALUE 000001b2: DUP1 000001b3: ISZERO 000001b4: PUSH2 0x01bc 000001b7: JUMPI 000001b8: PUSH1 0x00 000001ba: DUP1 000001bb: REVERT 000001bc: JUMPDEST 000001bd: POP 000001be: PUSH2 0x01c5 000001c1: PUSH2 0x08d2 000001c4: JUMP 000001c5: JUMPDEST 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: DUP1 000001ca: DUP1 000001cb: PUSH1 0x20 000001cd: ADD 000001ce: DUP3 000001cf: DUP2 000001d0: SUB 000001d1: DUP3 000001d2: MSTORE 000001d3: DUP4 000001d4: DUP2 000001d5: DUP2 000001d6: MLOAD 000001d7: DUP2 000001d8: MSTORE 000001d9: PUSH1 0x20 000001db: ADD 000001dc: SWAP2 000001dd: POP 000001de: DUP1 000001df: MLOAD 000001e0: SWAP1 000001e1: PUSH1 0x20 000001e3: ADD 000001e4: SWAP1 000001e5: DUP1 000001e6: DUP4 000001e7: DUP4 000001e8: PUSH1 0x00 000001ea: JUMPDEST 000001eb: DUP4 000001ec: DUP2 000001ed: LT 000001ee: ISZERO 000001ef: PUSH2 0x0205 000001f2: JUMPI 000001f3: DUP1 000001f4: DUP3 000001f5: ADD 000001f6: MLOAD 000001f7: DUP2 000001f8: DUP5 000001f9: ADD 000001fa: MSTORE 000001fb: PUSH1 0x20 000001fd: DUP2 000001fe: ADD 000001ff: SWAP1 00000200: POP 00000201: PUSH2 0x01ea 00000204: JUMP 00000205: JUMPDEST 00000206: POP 00000207: POP 00000208: POP 00000209: POP 0000020a: SWAP1 0000020b: POP 0000020c: SWAP1 0000020d: DUP2 0000020e: ADD 0000020f: SWAP1 00000210: PUSH1 0x1f 00000212: AND 00000213: DUP1 00000214: ISZERO 00000215: PUSH2 0x0232 00000218: JUMPI 00000219: DUP1 0000021a: DUP3 0000021b: SUB 0000021c: DUP1 0000021d: MLOAD 0000021e: PUSH1 0x01 00000220: DUP4 00000221: PUSH1 0x20 00000223: SUB 00000224: PUSH2 0x0100 00000227: EXP 00000228: SUB 00000229: NOT 0000022a: AND 0000022b: DUP2 0000022c: MSTORE 0000022d: PUSH1 0x20 0000022f: ADD 00000230: SWAP2 00000231: POP 00000232: JUMPDEST 00000233: POP 00000234: SWAP3 00000235: POP 00000236: POP 00000237: POP 00000238: PUSH1 0x40 0000023a: MLOAD 0000023b: DUP1 0000023c: SWAP2 0000023d: SUB 0000023e: SWAP1 0000023f: RETURN 00000240: JUMPDEST 00000241: CALLVALUE 00000242: DUP1 00000243: ISZERO 00000244: PUSH2 0x024c 00000247: JUMPI 00000248: PUSH1 0x00 0000024a: DUP1 0000024b: REVERT 0000024c: JUMPDEST 0000024d: POP 0000024e: PUSH2 0x026b 00000251: PUSH1 0x04 00000253: DUP1 00000254: CALLDATASIZE 00000255: SUB 00000256: DUP2 00000257: ADD 00000258: SWAP1 00000259: DUP1 0000025a: DUP1 0000025b: CALLDATALOAD 0000025c: SWAP1 0000025d: PUSH1 0x20 0000025f: ADD 00000260: SWAP1 00000261: SWAP3 00000262: SWAP2 00000263: SWAP1 00000264: POP 00000265: POP 00000266: POP 00000267: PUSH2 0x0970 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH1 0x40 0000026e: MLOAD 0000026f: DUP1 00000270: DUP3 00000271: DUP2 00000272: MSTORE 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP2 00000277: POP 00000278: POP 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: SWAP2 0000027e: SUB 0000027f: SWAP1 00000280: RETURN 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: PUSH2 0x02ac 00000292: PUSH1 0x04 00000294: DUP1 00000295: CALLDATASIZE 00000296: SUB 00000297: DUP2 00000298: ADD 00000299: SWAP1 0000029a: DUP1 0000029b: DUP1 0000029c: CALLDATALOAD 0000029d: SWAP1 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: SWAP1 000002a2: SWAP3 000002a3: SWAP2 000002a4: SWAP1 000002a5: POP 000002a6: POP 000002a7: POP 000002a8: PUSH2 0x099d 000002ab: JUMP 000002ac: JUMPDEST 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: DUP1 000002b1: DUP3 000002b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c7: AND 000002c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002dd: AND 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: SWAP2 000002e4: POP 000002e5: POP 000002e6: PUSH1 0x40 000002e8: MLOAD 000002e9: DUP1 000002ea: SWAP2 000002eb: SUB 000002ec: SWAP1 000002ed: RETURN 000002ee: JUMPDEST 000002ef: CALLVALUE 000002f0: DUP1 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: POP 000002fc: PUSH2 0x0303 000002ff: PUSH2 0x09ea 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x40 00000306: MLOAD 00000307: DUP1 00000308: DUP3 00000309: PUSH1 0xff 0000030b: AND 0000030c: PUSH1 0xff 0000030e: AND 0000030f: DUP2 00000310: MSTORE 00000311: PUSH1 0x20 00000313: ADD 00000314: SWAP2 00000315: POP 00000316: POP 00000317: PUSH1 0x40 00000319: MLOAD 0000031a: DUP1 0000031b: SWAP2 0000031c: SUB 0000031d: SWAP1 0000031e: RETURN 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: DUP1 00000322: ISZERO 00000323: PUSH2 0x032b 00000326: JUMPI 00000327: PUSH1 0x00 00000329: DUP1 0000032a: REVERT 0000032b: JUMPDEST 0000032c: POP 0000032d: PUSH2 0x034a 00000330: PUSH1 0x04 00000332: DUP1 00000333: CALLDATASIZE 00000334: SUB 00000335: DUP2 00000336: ADD 00000337: SWAP1 00000338: DUP1 00000339: DUP1 0000033a: CALLDATALOAD 0000033b: SWAP1 0000033c: PUSH1 0x20 0000033e: ADD 0000033f: SWAP1 00000340: SWAP3 00000341: SWAP2 00000342: SWAP1 00000343: POP 00000344: POP 00000345: POP 00000346: PUSH2 0x09ef 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: DUP1 0000034f: DUP3 00000350: DUP2 00000351: MSTORE 00000352: PUSH1 0x20 00000354: ADD 00000355: SWAP2 00000356: POP 00000357: POP 00000358: PUSH1 0x40 0000035a: MLOAD 0000035b: DUP1 0000035c: SWAP2 0000035d: SUB 0000035e: SWAP1 0000035f: RETURN 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x0375 00000371: PUSH2 0x0a07 00000374: JUMP 00000375: JUMPDEST 00000376: PUSH1 0x40 00000378: MLOAD 00000379: DUP1 0000037a: DUP3 0000037b: PUSH1 0xff 0000037d: AND 0000037e: PUSH1 0xff 00000380: AND 00000381: DUP2 00000382: MSTORE 00000383: PUSH1 0x20 00000385: ADD 00000386: SWAP2 00000387: POP 00000388: POP 00000389: PUSH1 0x40 0000038b: MLOAD 0000038c: DUP1 0000038d: SWAP2 0000038e: SUB 0000038f: SWAP1 00000390: RETURN 00000391: JUMPDEST 00000392: CALLVALUE 00000393: DUP1 00000394: ISZERO 00000395: PUSH2 0x039d 00000398: JUMPI 00000399: PUSH1 0x00 0000039b: DUP1 0000039c: REVERT 0000039d: JUMPDEST 0000039e: POP 0000039f: PUSH2 0x03a6 000003a2: PUSH2 0x0a0c 000003a5: JUMP 000003a6: JUMPDEST 000003a7: STOP 000003a8: JUMPDEST 000003a9: CALLVALUE 000003aa: DUP1 000003ab: ISZERO 000003ac: PUSH2 0x03b4 000003af: JUMPI 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: POP 000003b6: PUSH2 0x03dd 000003b9: PUSH1 0x04 000003bb: DUP1 000003bc: CALLDATASIZE 000003bd: SUB 000003be: DUP2 000003bf: ADD 000003c0: SWAP1 000003c1: DUP1 000003c2: DUP1 000003c3: CALLDATALOAD 000003c4: SWAP1 000003c5: PUSH1 0x20 000003c7: ADD 000003c8: SWAP1 000003c9: SWAP3 000003ca: SWAP2 000003cb: SWAP1 000003cc: DUP1 000003cd: CALLDATALOAD 000003ce: SWAP1 000003cf: PUSH1 0x20 000003d1: ADD 000003d2: SWAP1 000003d3: SWAP3 000003d4: SWAP2 000003d5: SWAP1 000003d6: POP 000003d7: POP 000003d8: POP 000003d9: PUSH2 0x0ba4 000003dc: JUMP 000003dd: JUMPDEST 000003de: STOP 000003df: JUMPDEST 000003e0: CALLVALUE 000003e1: DUP1 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: POP 000003ed: PUSH2 0x03f4 000003f0: PUSH2 0x0cab 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: DUP1 000003f9: DUP3 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH1 0x20 000003fe: ADD 000003ff: SWAP2 00000400: POP 00000401: POP 00000402: PUSH1 0x40 00000404: MLOAD 00000405: DUP1 00000406: SWAP2 00000407: SUB 00000408: SWAP1 00000409: RETURN 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: DUP1 0000040d: ISZERO 0000040e: PUSH2 0x0416 00000411: JUMPI 00000412: PUSH1 0x00 00000414: DUP1 00000415: REVERT 00000416: JUMPDEST 00000417: POP 00000418: PUSH2 0x043f 0000041b: PUSH1 0x04 0000041d: DUP1 0000041e: CALLDATASIZE 0000041f: SUB 00000420: DUP2 00000421: ADD 00000422: SWAP1 00000423: DUP1 00000424: DUP1 00000425: CALLDATALOAD 00000426: SWAP1 00000427: PUSH1 0x20 00000429: ADD 0000042a: SWAP1 0000042b: SWAP3 0000042c: SWAP2 0000042d: SWAP1 0000042e: DUP1 0000042f: CALLDATALOAD 00000430: SWAP1 00000431: PUSH1 0x20 00000433: ADD 00000434: SWAP1 00000435: SWAP3 00000436: SWAP2 00000437: SWAP1 00000438: POP 00000439: POP 0000043a: POP 0000043b: PUSH2 0x0cf2 0000043e: JUMP 0000043f: JUMPDEST 00000440: PUSH1 0x40 00000442: MLOAD 00000443: DUP1 00000444: DUP3 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x20 00000449: ADD 0000044a: SWAP2 0000044b: POP 0000044c: POP 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: DUP1 00000451: SWAP2 00000452: SUB 00000453: SWAP1 00000454: RETURN 00000455: JUMPDEST 00000456: CALLVALUE 00000457: DUP1 00000458: ISZERO 00000459: PUSH2 0x0461 0000045c: JUMPI 0000045d: PUSH1 0x00 0000045f: DUP1 00000460: REVERT 00000461: JUMPDEST 00000462: POP 00000463: PUSH2 0x0480 00000466: PUSH1 0x04 00000468: DUP1 00000469: CALLDATASIZE 0000046a: SUB 0000046b: DUP2 0000046c: ADD 0000046d: SWAP1 0000046e: DUP1 0000046f: DUP1 00000470: CALLDATALOAD 00000471: SWAP1 00000472: PUSH1 0x20 00000474: ADD 00000475: SWAP1 00000476: SWAP3 00000477: SWAP2 00000478: SWAP1 00000479: POP 0000047a: POP 0000047b: POP 0000047c: PUSH2 0x0d21 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: DUP3 00000486: DUP2 00000487: MSTORE 00000488: PUSH1 0x20 0000048a: ADD 0000048b: SWAP2 0000048c: POP 0000048d: POP 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: DUP1 00000492: SWAP2 00000493: SUB 00000494: SWAP1 00000495: RETURN 00000496: JUMPDEST 00000497: CALLVALUE 00000498: DUP1 00000499: ISZERO 0000049a: PUSH2 0x04a2 0000049d: JUMPI 0000049e: PUSH1 0x00 000004a0: DUP1 000004a1: REVERT 000004a2: JUMPDEST 000004a3: POP 000004a4: PUSH2 0x04ab 000004a7: PUSH2 0x0d4e 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH1 0x40 000004ae: MLOAD 000004af: DUP1 000004b0: DUP3 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x20 000004b5: ADD 000004b6: SWAP2 000004b7: POP 000004b8: POP 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: DUP1 000004bd: SWAP2 000004be: SUB 000004bf: SWAP1 000004c0: RETURN 000004c1: JUMPDEST 000004c2: PUSH2 0x04ff 000004c5: PUSH1 0x04 000004c7: DUP1 000004c8: CALLDATASIZE 000004c9: SUB 000004ca: DUP2 000004cb: ADD 000004cc: SWAP1 000004cd: DUP1 000004ce: DUP1 000004cf: CALLDATALOAD 000004d0: SWAP1 000004d1: PUSH1 0x20 000004d3: ADD 000004d4: SWAP1 000004d5: SWAP3 000004d6: SWAP2 000004d7: SWAP1 000004d8: DUP1 000004d9: CALLDATALOAD 000004da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ef: AND 000004f0: SWAP1 000004f1: PUSH1 0x20 000004f3: ADD 000004f4: SWAP1 000004f5: SWAP3 000004f6: SWAP2 000004f7: SWAP1 000004f8: POP 000004f9: POP 000004fa: POP 000004fb: PUSH2 0x0d6d 000004fe: JUMP 000004ff: JUMPDEST 00000500: STOP 00000501: JUMPDEST 00000502: CALLVALUE 00000503: DUP1 00000504: ISZERO 00000505: PUSH2 0x050d 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: POP 0000050f: PUSH2 0x0542 00000512: PUSH1 0x04 00000514: DUP1 00000515: CALLDATASIZE 00000516: SUB 00000517: DUP2 00000518: ADD 00000519: SWAP1 0000051a: DUP1 0000051b: DUP1 0000051c: CALLDATALOAD 0000051d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000532: AND 00000533: SWAP1 00000534: PUSH1 0x20 00000536: ADD 00000537: SWAP1 00000538: SWAP3 00000539: SWAP2 0000053a: SWAP1 0000053b: POP 0000053c: POP 0000053d: POP 0000053e: PUSH2 0x13d1 00000541: JUMP 00000542: JUMPDEST 00000543: PUSH1 0x40 00000545: MLOAD 00000546: DUP1 00000547: DUP3 00000548: DUP2 00000549: MSTORE 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: SWAP2 0000054e: POP 0000054f: POP 00000550: PUSH1 0x40 00000552: MLOAD 00000553: DUP1 00000554: SWAP2 00000555: SUB 00000556: SWAP1 00000557: RETURN 00000558: JUMPDEST 00000559: CALLVALUE 0000055a: DUP1 0000055b: ISZERO 0000055c: PUSH2 0x0564 0000055f: JUMPI 00000560: PUSH1 0x00 00000562: DUP1 00000563: REVERT 00000564: JUMPDEST 00000565: POP 00000566: PUSH2 0x056d 00000569: PUSH2 0x141a 0000056c: JUMP 0000056d: JUMPDEST 0000056e: PUSH1 0x40 00000570: MLOAD 00000571: DUP1 00000572: DUP1 00000573: PUSH1 0x20 00000575: ADD 00000576: DUP3 00000577: DUP2 00000578: SUB 00000579: DUP3 0000057a: MSTORE 0000057b: DUP4 0000057c: DUP2 0000057d: DUP2 0000057e: MLOAD 0000057f: DUP2 00000580: MSTORE 00000581: PUSH1 0x20 00000583: ADD 00000584: SWAP2 00000585: POP 00000586: DUP1 00000587: MLOAD 00000588: SWAP1 00000589: PUSH1 0x20 0000058b: ADD 0000058c: SWAP1 0000058d: DUP1 0000058e: DUP4 0000058f: DUP4 00000590: PUSH1 0x00 00000592: JUMPDEST 00000593: DUP4 00000594: DUP2 00000595: LT 00000596: ISZERO 00000597: PUSH2 0x05ad 0000059a: JUMPI 0000059b: DUP1 0000059c: DUP3 0000059d: ADD 0000059e: MLOAD 0000059f: DUP2 000005a0: DUP5 000005a1: ADD 000005a2: MSTORE 000005a3: PUSH1 0x20 000005a5: DUP2 000005a6: ADD 000005a7: SWAP1 000005a8: POP 000005a9: PUSH2 0x0592 000005ac: JUMP 000005ad: JUMPDEST 000005ae: POP 000005af: POP 000005b0: POP 000005b1: POP 000005b2: SWAP1 000005b3: POP 000005b4: SWAP1 000005b5: DUP2 000005b6: ADD 000005b7: SWAP1 000005b8: PUSH1 0x1f 000005ba: AND 000005bb: DUP1 000005bc: ISZERO 000005bd: PUSH2 0x05da 000005c0: JUMPI 000005c1: DUP1 000005c2: DUP3 000005c3: SUB 000005c4: DUP1 000005c5: MLOAD 000005c6: PUSH1 0x01 000005c8: DUP4 000005c9: PUSH1 0x20 000005cb: SUB 000005cc: PUSH2 0x0100 000005cf: EXP 000005d0: SUB 000005d1: NOT 000005d2: AND 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x20 000005d7: ADD 000005d8: SWAP2 000005d9: POP 000005da: JUMPDEST 000005db: POP 000005dc: SWAP3 000005dd: POP 000005de: POP 000005df: POP 000005e0: PUSH1 0x40 000005e2: MLOAD 000005e3: DUP1 000005e4: SWAP2 000005e5: SUB 000005e6: SWAP1 000005e7: RETURN 000005e8: JUMPDEST 000005e9: CALLVALUE 000005ea: DUP1 000005eb: ISZERO 000005ec: PUSH2 0x05f4 000005ef: JUMPI 000005f0: PUSH1 0x00 000005f2: DUP1 000005f3: REVERT 000005f4: JUMPDEST 000005f5: POP 000005f6: PUSH2 0x0613 000005f9: PUSH1 0x04 000005fb: DUP1 000005fc: CALLDATASIZE 000005fd: SUB 000005fe: DUP2 000005ff: ADD 00000600: SWAP1 00000601: DUP1 00000602: DUP1 00000603: CALLDATALOAD 00000604: SWAP1 00000605: PUSH1 0x20 00000607: ADD 00000608: SWAP1 00000609: SWAP3 0000060a: SWAP2 0000060b: SWAP1 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: PUSH2 0x14b8 00000612: JUMP 00000613: JUMPDEST 00000614: STOP 00000615: JUMPDEST 00000616: CALLVALUE 00000617: DUP1 00000618: ISZERO 00000619: PUSH2 0x0621 0000061c: JUMPI 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: REVERT 00000621: JUMPDEST 00000622: POP 00000623: PUSH2 0x062a 00000626: PUSH2 0x15d7 00000629: JUMP 0000062a: JUMPDEST 0000062b: PUSH1 0x40 0000062d: MLOAD 0000062e: DUP1 0000062f: DUP3 00000630: DUP2 00000631: MSTORE 00000632: PUSH1 0x20 00000634: ADD 00000635: SWAP2 00000636: POP 00000637: POP 00000638: PUSH1 0x40 0000063a: MLOAD 0000063b: DUP1 0000063c: SWAP2 0000063d: SUB 0000063e: SWAP1 0000063f: RETURN 00000640: JUMPDEST 00000641: CALLVALUE 00000642: DUP1 00000643: ISZERO 00000644: PUSH2 0x064c 00000647: JUMPI 00000648: PUSH1 0x00 0000064a: DUP1 0000064b: REVERT 0000064c: JUMPDEST 0000064d: POP 0000064e: PUSH2 0x0655 00000651: PUSH2 0x15dd 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x40 00000658: MLOAD 00000659: DUP1 0000065a: DUP3 0000065b: PUSH1 0xff 0000065d: AND 0000065e: PUSH1 0xff 00000660: AND 00000661: DUP2 00000662: MSTORE 00000663: PUSH1 0x20 00000665: ADD 00000666: SWAP2 00000667: POP 00000668: POP 00000669: PUSH1 0x40 0000066b: MLOAD 0000066c: DUP1 0000066d: SWAP2 0000066e: SUB 0000066f: SWAP1 00000670: RETURN 00000671: JUMPDEST 00000672: CALLVALUE 00000673: DUP1 00000674: ISZERO 00000675: PUSH2 0x067d 00000678: JUMPI 00000679: PUSH1 0x00 0000067b: DUP1 0000067c: REVERT 0000067d: JUMPDEST 0000067e: POP 0000067f: PUSH2 0x0686 00000682: PUSH2 0x15e2 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH1 0x40 00000689: MLOAD 0000068a: DUP1 0000068b: DUP3 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x20 00000690: ADD 00000691: SWAP2 00000692: POP 00000693: POP 00000694: PUSH1 0x40 00000696: MLOAD 00000697: DUP1 00000698: SWAP2 00000699: SUB 0000069a: SWAP1 0000069b: RETURN 0000069c: JUMPDEST 0000069d: CALLVALUE 0000069e: DUP1 0000069f: ISZERO 000006a0: PUSH2 0x06a8 000006a3: JUMPI 000006a4: PUSH1 0x00 000006a6: DUP1 000006a7: REVERT 000006a8: JUMPDEST 000006a9: POP 000006aa: PUSH2 0x06b1 000006ad: PUSH2 0x15ec 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: DUP1 000006b6: DUP3 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: ADD 000006bc: SWAP2 000006bd: POP 000006be: POP 000006bf: PUSH1 0x40 000006c1: MLOAD 000006c2: DUP1 000006c3: SWAP2 000006c4: SUB 000006c5: SWAP1 000006c6: RETURN 000006c7: JUMPDEST 000006c8: CALLVALUE 000006c9: DUP1 000006ca: ISZERO 000006cb: PUSH2 0x06d3 000006ce: JUMPI 000006cf: PUSH1 0x00 000006d1: DUP1 000006d2: REVERT 000006d3: JUMPDEST 000006d4: POP 000006d5: PUSH2 0x072e 000006d8: PUSH1 0x04 000006da: DUP1 000006db: CALLDATASIZE 000006dc: SUB 000006dd: DUP2 000006de: ADD 000006df: SWAP1 000006e0: DUP1 000006e1: DUP1 000006e2: CALLDATALOAD 000006e3: SWAP1 000006e4: PUSH1 0x20 000006e6: ADD 000006e7: SWAP1 000006e8: DUP3 000006e9: ADD 000006ea: DUP1 000006eb: CALLDATALOAD 000006ec: SWAP1 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: SWAP1 000006f1: DUP1 000006f2: DUP1 000006f3: PUSH1 0x1f 000006f5: ADD 000006f6: PUSH1 0x20 000006f8: DUP1 000006f9: SWAP2 000006fa: DIV 000006fb: MUL 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: PUSH1 0x40 00000701: MLOAD 00000702: SWAP1 00000703: DUP2 00000704: ADD 00000705: PUSH1 0x40 00000707: MSTORE 00000708: DUP1 00000709: SWAP4 0000070a: SWAP3 0000070b: SWAP2 0000070c: SWAP1 0000070d: DUP2 0000070e: DUP2 0000070f: MSTORE 00000710: PUSH1 0x20 00000712: ADD 00000713: DUP4 00000714: DUP4 00000715: DUP1 00000716: DUP3 00000717: DUP5 00000718: CALLDATACOPY 00000719: DUP3 0000071a: ADD 0000071b: SWAP2 0000071c: POP 0000071d: POP 0000071e: POP 0000071f: POP 00000720: POP 00000721: POP 00000722: SWAP2 00000723: SWAP3 00000724: SWAP2 00000725: SWAP3 00000726: SWAP1 00000727: POP 00000728: POP 00000729: POP 0000072a: PUSH2 0x15f2 0000072d: JUMP 0000072e: JUMPDEST 0000072f: STOP 00000730: JUMPDEST 00000731: CALLVALUE 00000732: DUP1 00000733: ISZERO 00000734: PUSH2 0x073c 00000737: JUMPI 00000738: PUSH1 0x00 0000073a: DUP1 0000073b: REVERT 0000073c: JUMPDEST 0000073d: POP 0000073e: PUSH2 0x0745 00000741: PUSH2 0x1668 00000744: JUMP 00000745: JUMPDEST 00000746: PUSH1 0x40 00000748: MLOAD 00000749: DUP1 0000074a: DUP3 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH1 0x20 0000074f: ADD 00000750: SWAP2 00000751: POP 00000752: POP 00000753: PUSH1 0x40 00000755: MLOAD 00000756: DUP1 00000757: SWAP2 00000758: SUB 00000759: SWAP1 0000075a: RETURN 0000075b: JUMPDEST 0000075c: CALLVALUE 0000075d: DUP1 0000075e: ISZERO 0000075f: PUSH2 0x0767 00000762: JUMPI 00000763: PUSH1 0x00 00000765: DUP1 00000766: REVERT 00000767: JUMPDEST 00000768: POP 00000769: PUSH2 0x0770 0000076c: PUSH2 0x1672 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH1 0x40 00000773: MLOAD 00000774: DUP1 00000775: DUP3 00000776: PUSH1 0xff 00000778: AND 00000779: PUSH1 0xff 0000077b: AND 0000077c: DUP2 0000077d: MSTORE 0000077e: PUSH1 0x20 00000780: ADD 00000781: SWAP2 00000782: POP 00000783: POP 00000784: PUSH1 0x40 00000786: MLOAD 00000787: DUP1 00000788: SWAP2 00000789: SUB 0000078a: SWAP1 0000078b: RETURN 0000078c: JUMPDEST 0000078d: CALLVALUE 0000078e: DUP1 0000078f: ISZERO 00000790: PUSH2 0x0798 00000793: JUMPI 00000794: PUSH1 0x00 00000796: DUP1 00000797: REVERT 00000798: JUMPDEST 00000799: POP 0000079a: PUSH2 0x07f3 0000079d: PUSH1 0x04 0000079f: DUP1 000007a0: CALLDATASIZE 000007a1: SUB 000007a2: DUP2 000007a3: ADD 000007a4: SWAP1 000007a5: DUP1 000007a6: DUP1 000007a7: CALLDATALOAD 000007a8: SWAP1 000007a9: PUSH1 0x20 000007ab: ADD 000007ac: SWAP1 000007ad: DUP3 000007ae: ADD 000007af: DUP1 000007b0: CALLDATALOAD 000007b1: SWAP1 000007b2: PUSH1 0x20 000007b4: ADD 000007b5: SWAP1 000007b6: DUP1 000007b7: DUP1 000007b8: PUSH1 0x1f 000007ba: ADD 000007bb: PUSH1 0x20 000007bd: DUP1 000007be: SWAP2 000007bf: DIV 000007c0: MUL 000007c1: PUSH1 0x20 000007c3: ADD 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: SWAP1 000007c8: DUP2 000007c9: ADD 000007ca: PUSH1 0x40 000007cc: MSTORE 000007cd: DUP1 000007ce: SWAP4 000007cf: SWAP3 000007d0: SWAP2 000007d1: SWAP1 000007d2: DUP2 000007d3: DUP2 000007d4: MSTORE 000007d5: PUSH1 0x20 000007d7: ADD 000007d8: DUP4 000007d9: DUP4 000007da: DUP1 000007db: DUP3 000007dc: DUP5 000007dd: CALLDATACOPY 000007de: DUP3 000007df: ADD 000007e0: SWAP2 000007e1: POP 000007e2: POP 000007e3: POP 000007e4: POP 000007e5: POP 000007e6: POP 000007e7: SWAP2 000007e8: SWAP3 000007e9: SWAP2 000007ea: SWAP3 000007eb: SWAP1 000007ec: POP 000007ed: POP 000007ee: POP 000007ef: PUSH2 0x1677 000007f2: JUMP 000007f3: JUMPDEST 000007f4: STOP 000007f5: JUMPDEST 000007f6: CALLVALUE 000007f7: DUP1 000007f8: ISZERO 000007f9: PUSH2 0x0801 000007fc: JUMPI 000007fd: PUSH1 0x00 000007ff: DUP1 00000800: REVERT 00000801: JUMPDEST 00000802: POP 00000803: PUSH2 0x080a 00000806: PUSH2 0x16ed 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x40 0000080d: MLOAD 0000080e: DUP1 0000080f: DUP3 00000810: DUP2 00000811: MSTORE 00000812: PUSH1 0x20 00000814: ADD 00000815: SWAP2 00000816: POP 00000817: POP 00000818: PUSH1 0x40 0000081a: MLOAD 0000081b: DUP1 0000081c: SWAP2 0000081d: SUB 0000081e: SWAP1 0000081f: RETURN 00000820: JUMPDEST 00000821: CALLVALUE 00000822: DUP1 00000823: ISZERO 00000824: PUSH2 0x082c 00000827: JUMPI 00000828: PUSH1 0x00 0000082a: DUP1 0000082b: REVERT 0000082c: JUMPDEST 0000082d: POP 0000082e: PUSH2 0x0835 00000831: PUSH2 0x16f7 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: DUP1 0000084e: ISZERO 0000084f: PUSH2 0x0857 00000852: JUMPI 00000853: PUSH1 0x00 00000855: DUP1 00000856: REVERT 00000857: JUMPDEST 00000858: POP 00000859: PUSH2 0x0860 0000085c: PUSH2 0x16fd 0000085f: JUMP 00000860: JUMPDEST 00000861: PUSH1 0x40 00000863: MLOAD 00000864: DUP1 00000865: DUP3 00000866: PUSH1 0xff 00000868: AND 00000869: PUSH1 0xff 0000086b: AND 0000086c: DUP2 0000086d: MSTORE 0000086e: PUSH1 0x20 00000870: ADD 00000871: SWAP2 00000872: POP 00000873: POP 00000874: PUSH1 0x40 00000876: MLOAD 00000877: DUP1 00000878: SWAP2 00000879: SUB 0000087a: SWAP1 0000087b: RETURN 0000087c: JUMPDEST 0000087d: PUSH1 0x00 0000087f: PUSH1 0x0b 00000881: SLOAD 00000882: DUP3 00000883: LT 00000884: ISZERO 00000885: ISZERO 00000886: PUSH2 0x088e 00000889: JUMPI 0000088a: PUSH1 0x00 0000088c: DUP1 0000088d: REVERT 0000088e: JUMPDEST 0000088f: PUSH2 0x08cb 00000892: PUSH1 0x05 00000894: PUSH2 0x08c3 00000897: PUSH2 0x08bb 0000089a: PUSH1 0x06 0000089c: PUSH1 0x00 0000089e: DUP8 0000089f: DUP2 000008a0: MSTORE 000008a1: PUSH1 0x20 000008a3: ADD 000008a4: SWAP1 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x20 000008a9: ADD 000008aa: PUSH1 0x00 000008ac: KECCAK256 000008ad: SLOAD 000008ae: PUSH1 0x01 000008b0: PUSH1 0x03 000008b2: SLOAD 000008b3: ADD 000008b4: PUSH1 0x0a 000008b6: EXP 000008b7: PUSH2 0x1702 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH1 0x02 000008be: SLOAD 000008bf: PUSH2 0x173d 000008c2: JUMP 000008c3: JUMPDEST 000008c4: ADD 000008c5: PUSH1 0x0a 000008c7: PUSH2 0x173d 000008ca: JUMP 000008cb: JUMPDEST 000008cc: SWAP1 000008cd: POP 000008ce: SWAP2 000008cf: SWAP1 000008d0: POP 000008d1: JUMP 000008d2: JUMPDEST 000008d3: PUSH1 0x00 000008d5: DUP1 000008d6: SLOAD 000008d7: PUSH1 0x01 000008d9: DUP2 000008da: PUSH1 0x01 000008dc: AND 000008dd: ISZERO 000008de: PUSH2 0x0100 000008e1: MUL 000008e2: SUB 000008e3: AND 000008e4: PUSH1 0x02 000008e6: SWAP1 000008e7: DIV 000008e8: DUP1 000008e9: PUSH1 0x1f 000008eb: ADD 000008ec: PUSH1 0x20 000008ee: DUP1 000008ef: SWAP2 000008f0: DIV 000008f1: MUL 000008f2: PUSH1 0x20 000008f4: ADD 000008f5: PUSH1 0x40 000008f7: MLOAD 000008f8: SWAP1 000008f9: DUP2 000008fa: ADD 000008fb: PUSH1 0x40 000008fd: MSTORE 000008fe: DUP1 000008ff: SWAP3 00000900: SWAP2 00000901: SWAP1 00000902: DUP2 00000903: DUP2 00000904: MSTORE 00000905: PUSH1 0x20 00000907: ADD 00000908: DUP3 00000909: DUP1 0000090a: SLOAD 0000090b: PUSH1 0x01 0000090d: DUP2 0000090e: PUSH1 0x01 00000910: AND 00000911: ISZERO 00000912: PUSH2 0x0100 00000915: MUL 00000916: SUB 00000917: AND 00000918: PUSH1 0x02 0000091a: SWAP1 0000091b: DIV 0000091c: DUP1 0000091d: ISZERO 0000091e: PUSH2 0x0968 00000921: JUMPI 00000922: DUP1 00000923: PUSH1 0x1f 00000925: LT 00000926: PUSH2 0x093d 00000929: JUMPI 0000092a: PUSH2 0x0100 0000092d: DUP1 0000092e: DUP4 0000092f: SLOAD 00000930: DIV 00000931: MUL 00000932: DUP4 00000933: MSTORE 00000934: SWAP2 00000935: PUSH1 0x20 00000937: ADD 00000938: SWAP2 00000939: PUSH2 0x0968 0000093c: JUMP 0000093d: JUMPDEST 0000093e: DUP3 0000093f: ADD 00000940: SWAP2 00000941: SWAP1 00000942: PUSH1 0x00 00000944: MSTORE 00000945: PUSH1 0x20 00000947: PUSH1 0x00 00000949: KECCAK256 0000094a: SWAP1 0000094b: JUMPDEST 0000094c: DUP2 0000094d: SLOAD 0000094e: DUP2 0000094f: MSTORE 00000950: SWAP1 00000951: PUSH1 0x01 00000953: ADD 00000954: SWAP1 00000955: PUSH1 0x20 00000957: ADD 00000958: DUP1 00000959: DUP4 0000095a: GT 0000095b: PUSH2 0x094b 0000095e: JUMPI 0000095f: DUP3 00000960: SWAP1 00000961: SUB 00000962: PUSH1 0x1f 00000964: AND 00000965: DUP3 00000966: ADD 00000967: SWAP2 00000968: JUMPDEST 00000969: POP 0000096a: POP 0000096b: POP 0000096c: POP 0000096d: POP 0000096e: DUP2 0000096f: JUMP 00000970: JUMPDEST 00000971: PUSH1 0x00 00000973: PUSH1 0x0b 00000975: SLOAD 00000976: DUP3 00000977: LT 00000978: ISZERO 00000979: ISZERO 0000097a: PUSH2 0x0982 0000097d: JUMPI 0000097e: PUSH1 0x00 00000980: DUP1 00000981: REVERT 00000982: JUMPDEST 00000983: PUSH1 0x05 00000985: PUSH1 0x00 00000987: DUP4 00000988: DUP2 00000989: MSTORE 0000098a: PUSH1 0x20 0000098c: ADD 0000098d: SWAP1 0000098e: DUP2 0000098f: MSTORE 00000990: PUSH1 0x20 00000992: ADD 00000993: PUSH1 0x00 00000995: KECCAK256 00000996: SLOAD 00000997: SWAP1 00000998: POP 00000999: SWAP2 0000099a: SWAP1 0000099b: POP 0000099c: JUMP 0000099d: JUMPDEST 0000099e: PUSH1 0x00 000009a0: PUSH1 0x0b 000009a2: SLOAD 000009a3: DUP3 000009a4: LT 000009a5: ISZERO 000009a6: ISZERO 000009a7: PUSH2 0x09af 000009aa: JUMPI 000009ab: PUSH1 0x00 000009ad: DUP1 000009ae: REVERT 000009af: JUMPDEST 000009b0: PUSH1 0x04 000009b2: PUSH1 0x00 000009b4: DUP4 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x20 000009b9: ADD 000009ba: SWAP1 000009bb: DUP2 000009bc: MSTORE 000009bd: PUSH1 0x20 000009bf: ADD 000009c0: PUSH1 0x00 000009c2: KECCAK256 000009c3: PUSH1 0x00 000009c5: SWAP1 000009c6: SLOAD 000009c7: SWAP1 000009c8: PUSH2 0x0100 000009cb: EXP 000009cc: SWAP1 000009cd: DIV 000009ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e3: AND 000009e4: SWAP1 000009e5: POP 000009e6: SWAP2 000009e7: SWAP1 000009e8: POP 000009e9: JUMP 000009ea: JUMPDEST 000009eb: PUSH1 0x14 000009ed: DUP2 000009ee: JUMP 000009ef: JUMPDEST 000009f0: PUSH1 0x05 000009f2: PUSH1 0x20 000009f4: MSTORE 000009f5: DUP1 000009f6: PUSH1 0x00 000009f8: MSTORE 000009f9: PUSH1 0x40 000009fb: PUSH1 0x00 000009fd: KECCAK256 000009fe: PUSH1 0x00 00000a00: SWAP2 00000a01: POP 00000a02: SWAP1 00000a03: POP 00000a04: SLOAD 00000a05: DUP2 00000a06: JUMP 00000a07: JUMPDEST 00000a08: PUSH1 0x12 00000a0a: DUP2 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: PUSH1 0x00 00000a0f: DUP1 00000a10: CALLER 00000a11: SWAP2 00000a12: POP 00000a13: PUSH7 0x038d7ea4c68000 00000a1b: PUSH1 0x07 00000a1d: PUSH1 0x00 00000a1f: DUP5 00000a20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a35: AND 00000a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4b: AND 00000a4c: DUP2 00000a4d: MSTORE 00000a4e: PUSH1 0x20 00000a50: ADD 00000a51: SWAP1 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x20 00000a56: ADD 00000a57: PUSH1 0x00 00000a59: KECCAK256 00000a5a: SLOAD 00000a5b: LT 00000a5c: ISZERO 00000a5d: ISZERO 00000a5e: ISZERO 00000a5f: PUSH2 0x0a67 00000a62: JUMPI 00000a63: PUSH1 0x00 00000a65: DUP1 00000a66: REVERT 00000a67: JUMPDEST 00000a68: PUSH1 0x07 00000a6a: PUSH1 0x00 00000a6c: DUP4 00000a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a82: AND 00000a83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a98: AND 00000a99: DUP2 00000a9a: MSTORE 00000a9b: PUSH1 0x20 00000a9d: ADD 00000a9e: SWAP1 00000a9f: DUP2 00000aa0: MSTORE 00000aa1: PUSH1 0x20 00000aa3: ADD 00000aa4: PUSH1 0x00 00000aa6: KECCAK256 00000aa7: SLOAD 00000aa8: SWAP1 00000aa9: POP 00000aaa: PUSH1 0x00 00000aac: PUSH1 0x07 00000aae: PUSH1 0x00 00000ab0: DUP5 00000ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac6: AND 00000ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000adc: AND 00000add: DUP2 00000ade: MSTORE 00000adf: PUSH1 0x20 00000ae1: ADD 00000ae2: SWAP1 00000ae3: DUP2 00000ae4: MSTORE 00000ae5: PUSH1 0x20 00000ae7: ADD 00000ae8: PUSH1 0x00 00000aea: KECCAK256 00000aeb: DUP2 00000aec: SWAP1 00000aed: SSTORE 00000aee: POP 00000aef: DUP2 00000af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b05: AND 00000b06: PUSH2 0x08fc 00000b09: DUP3 00000b0a: SWAP1 00000b0b: DUP2 00000b0c: ISZERO 00000b0d: MUL 00000b0e: SWAP1 00000b0f: PUSH1 0x40 00000b11: MLOAD 00000b12: PUSH1 0x00 00000b14: PUSH1 0x40 00000b16: MLOAD 00000b17: DUP1 00000b18: DUP4 00000b19: SUB 00000b1a: DUP2 00000b1b: DUP6 00000b1c: DUP9 00000b1d: DUP9 00000b1e: CALL 00000b1f: SWAP4 00000b20: POP 00000b21: POP 00000b22: POP 00000b23: POP 00000b24: ISZERO 00000b25: DUP1 00000b26: ISZERO 00000b27: PUSH2 0x0b34 00000b2a: JUMPI 00000b2b: RETURNDATASIZE 00000b2c: PUSH1 0x00 00000b2e: DUP1 00000b2f: RETURNDATACOPY 00000b30: RETURNDATASIZE 00000b31: PUSH1 0x00 00000b33: REVERT 00000b34: JUMPDEST 00000b35: POP 00000b36: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000b57: DUP3 00000b58: DUP3 00000b59: PUSH1 0x40 00000b5b: MLOAD 00000b5c: DUP1 00000b5d: DUP4 00000b5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b73: AND 00000b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b89: AND 00000b8a: DUP2 00000b8b: MSTORE 00000b8c: PUSH1 0x20 00000b8e: ADD 00000b8f: DUP3 00000b90: DUP2 00000b91: MSTORE 00000b92: PUSH1 0x20 00000b94: ADD 00000b95: SWAP3 00000b96: POP 00000b97: POP 00000b98: POP 00000b99: PUSH1 0x40 00000b9b: MLOAD 00000b9c: DUP1 00000b9d: SWAP2 00000b9e: SUB 00000b9f: SWAP1 00000ba0: LOG1 00000ba1: POP 00000ba2: POP 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x0d 00000ba7: PUSH1 0x00 00000ba9: SWAP1 00000baa: SLOAD 00000bab: SWAP1 00000bac: PUSH2 0x0100 00000baf: EXP 00000bb0: SWAP1 00000bb1: DIV 00000bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc7: AND 00000bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdd: AND 00000bde: CALLER 00000bdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf4: AND 00000bf5: EQ 00000bf6: ISZERO 00000bf7: ISZERO 00000bf8: PUSH2 0x0c00 00000bfb: JUMPI 00000bfc: PUSH1 0x00 00000bfe: DUP1 00000bff: REVERT 00000c00: JUMPDEST 00000c01: PUSH1 0x0d 00000c03: PUSH1 0x00 00000c05: SWAP1 00000c06: SLOAD 00000c07: SWAP1 00000c08: PUSH2 0x0100 00000c0b: EXP 00000c0c: SWAP1 00000c0d: DIV 00000c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c23: AND 00000c24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c39: AND 00000c3a: PUSH1 0x04 00000c3c: PUSH1 0x00 00000c3e: DUP5 00000c3f: DUP2 00000c40: MSTORE 00000c41: PUSH1 0x20 00000c43: ADD 00000c44: SWAP1 00000c45: DUP2 00000c46: MSTORE 00000c47: PUSH1 0x20 00000c49: ADD 00000c4a: PUSH1 0x00 00000c4c: KECCAK256 00000c4d: PUSH1 0x00 00000c4f: SWAP1 00000c50: SLOAD 00000c51: SWAP1 00000c52: PUSH2 0x0100 00000c55: EXP 00000c56: SWAP1 00000c57: DIV 00000c58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6d: AND 00000c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c83: AND 00000c84: EQ 00000c85: ISZERO 00000c86: ISZERO 00000c87: PUSH2 0x0c8f 00000c8a: JUMPI 00000c8b: PUSH1 0x00 00000c8d: DUP1 00000c8e: REVERT 00000c8f: JUMPDEST 00000c90: DUP1 00000c91: PUSH1 0x05 00000c93: PUSH1 0x00 00000c95: DUP5 00000c96: DUP2 00000c97: MSTORE 00000c98: PUSH1 0x20 00000c9a: ADD 00000c9b: SWAP1 00000c9c: DUP2 00000c9d: MSTORE 00000c9e: PUSH1 0x20 00000ca0: ADD 00000ca1: PUSH1 0x00 00000ca3: KECCAK256 00000ca4: DUP2 00000ca5: SWAP1 00000ca6: SSTORE 00000ca7: POP 00000ca8: POP 00000ca9: POP 00000caa: JUMP 00000cab: JUMPDEST 00000cac: PUSH1 0x00 00000cae: PUSH1 0x07 00000cb0: PUSH1 0x00 00000cb2: CALLER 00000cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc8: AND 00000cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cde: AND 00000cdf: DUP2 00000ce0: MSTORE 00000ce1: PUSH1 0x20 00000ce3: ADD 00000ce4: SWAP1 00000ce5: DUP2 00000ce6: MSTORE 00000ce7: PUSH1 0x20 00000ce9: ADD 00000cea: PUSH1 0x00 00000cec: KECCAK256 00000ced: SLOAD 00000cee: SWAP1 00000cef: POP 00000cf0: SWAP1 00000cf1: JUMP 00000cf2: JUMPDEST 00000cf3: PUSH1 0x00 00000cf5: DUP1 00000cf6: PUSH2 0x0cfe 00000cf9: DUP5 00000cfa: PUSH2 0x087c 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: SWAP1 00000d00: POP 00000d01: PUSH2 0x0d18 00000d04: PUSH2 0x0d0d 00000d07: DUP3 00000d08: DUP6 00000d09: PUSH2 0x1702 00000d0c: JUMP 00000d0d: JUMPDEST 00000d0e: PUSH1 0x03 00000d10: SLOAD 00000d11: PUSH1 0x0a 00000d13: EXP 00000d14: PUSH2 0x173d 00000d17: JUMP 00000d18: JUMPDEST 00000d19: SWAP2 00000d1a: POP 00000d1b: POP 00000d1c: SWAP3 00000d1d: SWAP2 00000d1e: POP 00000d1f: POP 00000d20: JUMP 00000d21: JUMPDEST 00000d22: PUSH1 0x00 00000d24: PUSH1 0x0b 00000d26: SLOAD 00000d27: DUP3 00000d28: LT 00000d29: ISZERO 00000d2a: ISZERO 00000d2b: PUSH2 0x0d33 00000d2e: JUMPI 00000d2f: PUSH1 0x00 00000d31: DUP1 00000d32: REVERT 00000d33: JUMPDEST 00000d34: PUSH1 0x08 00000d36: PUSH1 0x00 00000d38: DUP4 00000d39: DUP2 00000d3a: MSTORE 00000d3b: PUSH1 0x20 00000d3d: ADD 00000d3e: SWAP1 00000d3f: DUP2 00000d40: MSTORE 00000d41: PUSH1 0x20 00000d43: ADD 00000d44: PUSH1 0x00 00000d46: KECCAK256 00000d47: SLOAD 00000d48: SWAP1 00000d49: POP 00000d4a: SWAP2 00000d4b: SWAP1 00000d4c: POP 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH1 0x00 00000d51: ADDRESS 00000d52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d67: AND 00000d68: BALANCE 00000d69: SWAP1 00000d6a: POP 00000d6b: SWAP1 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH1 0x00 00000d70: DUP1 00000d71: PUSH1 0x00 00000d73: DUP1 00000d74: PUSH1 0x00 00000d76: DUP1 00000d77: PUSH1 0x00 00000d79: DUP1 00000d7a: PUSH1 0x00 00000d7c: PUSH1 0x0b 00000d7e: SLOAD 00000d7f: DUP12 00000d80: LT 00000d81: ISZERO 00000d82: ISZERO 00000d83: PUSH2 0x0d8b 00000d86: JUMPI 00000d87: PUSH1 0x00 00000d89: DUP1 00000d8a: REVERT 00000d8b: JUMPDEST 00000d8c: PUSH1 0x0c 00000d8e: SLOAD 00000d8f: TIMESTAMP 00000d90: LT 00000d91: ISZERO 00000d92: ISZERO 00000d93: ISZERO 00000d94: PUSH2 0x0d9c 00000d97: JUMPI 00000d98: PUSH1 0x00 00000d9a: DUP1 00000d9b: REVERT 00000d9c: JUMPDEST 00000d9d: PUSH1 0x05 00000d9f: PUSH1 0x00 00000da1: DUP13 00000da2: DUP2 00000da3: MSTORE 00000da4: PUSH1 0x20 00000da6: ADD 00000da7: SWAP1 00000da8: DUP2 00000da9: MSTORE 00000daa: PUSH1 0x20 00000dac: ADD 00000dad: PUSH1 0x00 00000daf: KECCAK256 00000db0: SLOAD 00000db1: CALLVALUE 00000db2: LT 00000db3: ISZERO 00000db4: ISZERO 00000db5: ISZERO 00000db6: PUSH2 0x0dbe 00000db9: JUMPI 00000dba: PUSH1 0x00 00000dbc: DUP1 00000dbd: REVERT 00000dbe: JUMPDEST 00000dbf: PUSH1 0x04 00000dc1: PUSH1 0x00 00000dc3: DUP13 00000dc4: DUP2 00000dc5: MSTORE 00000dc6: PUSH1 0x20 00000dc8: ADD 00000dc9: SWAP1 00000dca: DUP2 00000dcb: MSTORE 00000dcc: PUSH1 0x20 00000dce: ADD 00000dcf: PUSH1 0x00 00000dd1: KECCAK256 00000dd2: PUSH1 0x00 00000dd4: SWAP1 00000dd5: SLOAD 00000dd6: SWAP1 00000dd7: PUSH2 0x0100 00000dda: EXP 00000ddb: SWAP1 00000ddc: DIV 00000ddd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df2: AND 00000df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e08: AND 00000e09: CALLER 00000e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e1f: AND 00000e20: EQ 00000e21: ISZERO 00000e22: ISZERO 00000e23: ISZERO 00000e24: PUSH2 0x0e2c 00000e27: JUMPI 00000e28: PUSH1 0x00 00000e2a: DUP1 00000e2b: REVERT 00000e2c: JUMPDEST 00000e2d: PUSH1 0x05 00000e2f: PUSH1 0x00 00000e31: DUP13 00000e32: DUP2 00000e33: MSTORE 00000e34: PUSH1 0x20 00000e36: ADD 00000e37: SWAP1 00000e38: DUP2 00000e39: MSTORE 00000e3a: PUSH1 0x20 00000e3c: ADD 00000e3d: PUSH1 0x00 00000e3f: KECCAK256 00000e40: SLOAD 00000e41: CALLVALUE 00000e42: GT 00000e43: ISZERO 00000e44: PUSH2 0x0eb4 00000e47: JUMPI 00000e48: PUSH2 0x0e64 00000e4b: CALLVALUE 00000e4c: PUSH1 0x05 00000e4e: PUSH1 0x00 00000e50: DUP15 00000e51: DUP2 00000e52: MSTORE 00000e53: PUSH1 0x20 00000e55: ADD 00000e56: SWAP1 00000e57: DUP2 00000e58: MSTORE 00000e59: PUSH1 0x20 00000e5b: ADD 00000e5c: PUSH1 0x00 00000e5e: KECCAK256 00000e5f: SLOAD 00000e60: PUSH2 0x1758 00000e63: JUMP 00000e64: JUMPDEST 00000e65: SWAP9 00000e66: POP 00000e67: DUP9 00000e68: PUSH1 0x07 00000e6a: PUSH1 0x00 00000e6c: CALLER 00000e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e82: AND 00000e83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e98: AND 00000e99: DUP2 00000e9a: MSTORE 00000e9b: PUSH1 0x20 00000e9d: ADD 00000e9e: SWAP1 00000e9f: DUP2 00000ea0: MSTORE 00000ea1: PUSH1 0x20 00000ea3: ADD 00000ea4: PUSH1 0x00 00000ea6: KECCAK256 00000ea7: PUSH1 0x00 00000ea9: DUP3 00000eaa: DUP3 00000eab: SLOAD 00000eac: ADD 00000ead: SWAP3 00000eae: POP 00000eaf: POP 00000eb0: DUP2 00000eb1: SWAP1 00000eb2: SSTORE 00000eb3: POP 00000eb4: JUMPDEST 00000eb5: PUSH2 0x0ee4 00000eb8: PUSH1 0x05 00000eba: PUSH1 0x00 00000ebc: DUP14 00000ebd: DUP2 00000ebe: MSTORE 00000ebf: PUSH1 0x20 00000ec1: ADD 00000ec2: SWAP1 00000ec3: DUP2 00000ec4: MSTORE 00000ec5: PUSH1 0x20 00000ec7: ADD 00000ec8: PUSH1 0x00 00000eca: KECCAK256 00000ecb: SLOAD 00000ecc: PUSH1 0x06 00000ece: PUSH1 0x00 00000ed0: DUP15 00000ed1: DUP2 00000ed2: MSTORE 00000ed3: PUSH1 0x20 00000ed5: ADD 00000ed6: SWAP1 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x20 00000edb: ADD 00000edc: PUSH1 0x00 00000ede: KECCAK256 00000edf: SLOAD 00000ee0: PUSH2 0x1771 00000ee3: JUMP 00000ee4: JUMPDEST 00000ee5: PUSH2 0x0f0d 00000ee8: PUSH2 0x0f06 00000eeb: PUSH1 0x05 00000eed: PUSH1 0x00 00000eef: DUP15 00000ef0: DUP2 00000ef1: MSTORE 00000ef2: PUSH1 0x20 00000ef4: ADD 00000ef5: SWAP1 00000ef6: DUP2 00000ef7: MSTORE 00000ef8: PUSH1 0x20 00000efa: ADD 00000efb: PUSH1 0x00 00000efd: KECCAK256 00000efe: SLOAD 00000eff: PUSH1 0x09 00000f01: SLOAD 00000f02: PUSH2 0x1702 00000f05: JUMP 00000f06: JUMPDEST 00000f07: PUSH1 0x64 00000f09: PUSH2 0x173d 00000f0c: JUMP 00000f0d: JUMPDEST 00000f0e: SWAP8 00000f0f: POP 00000f10: PUSH2 0x0f3f 00000f13: PUSH1 0x05 00000f15: PUSH1 0x00 00000f17: DUP14 00000f18: DUP2 00000f19: MSTORE 00000f1a: PUSH1 0x20 00000f1c: ADD 00000f1d: SWAP1 00000f1e: DUP2 00000f1f: MSTORE 00000f20: PUSH1 0x20 00000f22: ADD 00000f23: PUSH1 0x00 00000f25: KECCAK256 00000f26: SLOAD 00000f27: PUSH1 0x06 00000f29: PUSH1 0x00 00000f2b: DUP15 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x20 00000f30: ADD 00000f31: SWAP1 00000f32: DUP2 00000f33: MSTORE 00000f34: PUSH1 0x20 00000f36: ADD 00000f37: PUSH1 0x00 00000f39: KECCAK256 00000f3a: SLOAD 00000f3b: PUSH2 0x1758 00000f3e: JUMP 00000f3f: JUMPDEST 00000f40: SWAP7 00000f41: POP 00000f42: PUSH2 0x0f4d 00000f45: PUSH1 0x0a 00000f47: SLOAD 00000f48: DUP9 00000f49: PUSH2 0x17ab 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: PUSH1 0x0a 00000f50: DUP2 00000f51: SWAP1 00000f52: SSTORE 00000f53: POP 00000f54: PUSH2 0x0f6b 00000f57: PUSH2 0x0f64 00000f5a: DUP9 00000f5b: PUSH1 0x14 00000f5d: PUSH1 0xff 00000f5f: AND 00000f60: PUSH2 0x1702 00000f63: JUMP 00000f64: JUMPDEST 00000f65: PUSH1 0x64 00000f67: PUSH2 0x173d 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: SWAP6 00000f6d: POP 00000f6e: PUSH2 0x0f85 00000f71: PUSH2 0x0f7e 00000f74: DUP9 00000f75: PUSH1 0x28 00000f77: PUSH1 0xff 00000f79: AND 00000f7a: PUSH2 0x1702 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: PUSH1 0x64 00000f81: PUSH2 0x173d 00000f84: JUMP 00000f85: JUMPDEST 00000f86: SWAP5 00000f87: POP 00000f88: PUSH2 0x0fa4 00000f8b: PUSH1 0x08 00000f8d: PUSH1 0x00 00000f8f: DUP14 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: SLOAD 00000f9f: DUP7 00000fa0: PUSH2 0x17ab 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH1 0x08 00000fa7: PUSH1 0x00 00000fa9: DUP14 00000faa: DUP2 00000fab: MSTORE 00000fac: PUSH1 0x20 00000fae: ADD 00000faf: SWAP1 00000fb0: DUP2 00000fb1: MSTORE 00000fb2: PUSH1 0x20 00000fb4: ADD 00000fb5: PUSH1 0x00 00000fb7: KECCAK256 00000fb8: DUP2 00000fb9: SWAP1 00000fba: SSTORE 00000fbb: POP 00000fbc: PUSH2 0x0fd8 00000fbf: DUP6 00000fc0: PUSH1 0x06 00000fc2: PUSH1 0x00 00000fc4: DUP15 00000fc5: DUP2 00000fc6: MSTORE 00000fc7: PUSH1 0x20 00000fc9: ADD 00000fca: SWAP1 00000fcb: DUP2 00000fcc: MSTORE 00000fcd: PUSH1 0x20 00000fcf: ADD 00000fd0: PUSH1 0x00 00000fd2: KECCAK256 00000fd3: SLOAD 00000fd4: PUSH2 0x17ab 00000fd7: JUMP 00000fd8: JUMPDEST 00000fd9: SWAP5 00000fda: POP 00000fdb: PUSH2 0x0ff2 00000fde: PUSH2 0x0feb 00000fe1: DUP9 00000fe2: PUSH1 0x28 00000fe4: PUSH1 0xff 00000fe6: AND 00000fe7: PUSH2 0x1702 00000fea: JUMP 00000feb: JUMPDEST 00000fec: PUSH1 0x64 00000fee: PUSH2 0x173d 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: SWAP4 00000ff4: POP 00000ff5: CALLER 00000ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100b: AND 0000100c: DUP11 0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001022: AND 00001023: EQ 00001024: ISZERO 00001025: ISZERO 00001026: PUSH2 0x116a 00001029: JUMPI 0000102a: PUSH2 0x1041 0000102d: PUSH2 0x103a 00001030: DUP9 00001031: PUSH1 0x05 00001033: PUSH1 0xff 00001035: AND 00001036: PUSH2 0x1702 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x64 0000103d: PUSH2 0x173d 00001040: JUMP 00001041: JUMPDEST 00001042: SWAP3 00001043: POP 00001044: PUSH2 0x104d 00001047: DUP5 00001048: DUP5 00001049: PUSH2 0x1758 0000104c: JUMP 0000104d: JUMPDEST 0000104e: SWAP4 0000104f: POP 00001050: PUSH1 0x00 00001052: DUP11 00001053: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001068: AND 00001069: EQ 0000106a: ISZERO 0000106b: PUSH2 0x10dc 0000106e: JUMPI 0000106f: PUSH1 0x0e 00001071: PUSH1 0x00 00001073: SWAP1 00001074: SLOAD 00001075: SWAP1 00001076: PUSH2 0x0100 00001079: EXP 0000107a: SWAP1 0000107b: DIV 0000107c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001091: AND 00001092: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a7: AND 000010a8: PUSH2 0x08fc 000010ab: DUP5 000010ac: SWAP1 000010ad: DUP2 000010ae: ISZERO 000010af: MUL 000010b0: SWAP1 000010b1: PUSH1 0x40 000010b3: MLOAD 000010b4: PUSH1 0x00 000010b6: PUSH1 0x40 000010b8: MLOAD 000010b9: DUP1 000010ba: DUP4 000010bb: SUB 000010bc: DUP2 000010bd: DUP6 000010be: DUP9 000010bf: DUP9 000010c0: CALL 000010c1: SWAP4 000010c2: POP 000010c3: POP 000010c4: POP 000010c5: POP 000010c6: ISZERO 000010c7: DUP1 000010c8: ISZERO 000010c9: PUSH2 0x10d6 000010cc: JUMPI 000010cd: RETURNDATASIZE 000010ce: PUSH1 0x00 000010d0: DUP1 000010d1: RETURNDATACOPY 000010d2: RETURNDATASIZE 000010d3: PUSH1 0x00 000010d5: REVERT 000010d6: JUMPDEST 000010d7: POP 000010d8: PUSH2 0x1169 000010db: JUMP 000010dc: JUMPDEST 000010dd: PUSH2 0x1125 000010e0: PUSH1 0x07 000010e2: PUSH1 0x00 000010e4: DUP13 000010e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fa: AND 000010fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001110: AND 00001111: DUP2 00001112: MSTORE 00001113: PUSH1 0x20 00001115: ADD 00001116: SWAP1 00001117: DUP2 00001118: MSTORE 00001119: PUSH1 0x20 0000111b: ADD 0000111c: PUSH1 0x00 0000111e: KECCAK256 0000111f: SLOAD 00001120: DUP5 00001121: PUSH2 0x17ab 00001124: JUMP 00001125: JUMPDEST 00001126: PUSH1 0x07 00001128: PUSH1 0x00 0000112a: DUP13 0000112b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001140: AND 00001141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001156: AND 00001157: DUP2 00001158: MSTORE 00001159: PUSH1 0x20 0000115b: ADD 0000115c: SWAP1 0000115d: DUP2 0000115e: MSTORE 0000115f: PUSH1 0x20 00001161: ADD 00001162: PUSH1 0x00 00001164: KECCAK256 00001165: DUP2 00001166: SWAP1 00001167: SSTORE 00001168: POP 00001169: JUMPDEST 0000116a: JUMPDEST 0000116b: PUSH1 0x04 0000116d: PUSH1 0x00 0000116f: DUP13 00001170: DUP2 00001171: MSTORE 00001172: PUSH1 0x20 00001174: ADD 00001175: SWAP1 00001176: DUP2 00001177: MSTORE 00001178: PUSH1 0x20 0000117a: ADD 0000117b: PUSH1 0x00 0000117d: KECCAK256 0000117e: PUSH1 0x00 00001180: SWAP1 00001181: SLOAD 00001182: SWAP1 00001183: PUSH2 0x0100 00001186: EXP 00001187: SWAP1 00001188: DIV 00001189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119e: AND 0000119f: SWAP2 000011a0: POP 000011a1: CALLER 000011a2: SWAP1 000011a3: POP 000011a4: PUSH2 0x11ec 000011a7: PUSH1 0x07 000011a9: PUSH1 0x00 000011ab: DUP5 000011ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c1: AND 000011c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d7: AND 000011d8: DUP2 000011d9: MSTORE 000011da: PUSH1 0x20 000011dc: ADD 000011dd: SWAP1 000011de: DUP2 000011df: MSTORE 000011e0: PUSH1 0x20 000011e2: ADD 000011e3: PUSH1 0x00 000011e5: KECCAK256 000011e6: SLOAD 000011e7: DUP7 000011e8: PUSH2 0x17ab 000011eb: JUMP 000011ec: JUMPDEST 000011ed: PUSH1 0x07 000011ef: PUSH1 0x00 000011f1: DUP5 000011f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001207: AND 00001208: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000121d: AND 0000121e: DUP2 0000121f: MSTORE 00001220: PUSH1 0x20 00001222: ADD 00001223: SWAP1 00001224: DUP2 00001225: MSTORE 00001226: PUSH1 0x20 00001228: ADD 00001229: PUSH1 0x00 0000122b: KECCAK256 0000122c: DUP2 0000122d: SWAP1 0000122e: SSTORE 0000122f: POP 00001230: PUSH1 0x0e 00001232: PUSH1 0x00 00001234: SWAP1 00001235: SLOAD 00001236: SWAP1 00001237: PUSH2 0x0100 0000123a: EXP 0000123b: SWAP1 0000123c: DIV 0000123d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001252: AND 00001253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001268: AND 00001269: PUSH2 0x08fc 0000126c: DUP8 0000126d: SWAP1 0000126e: DUP2 0000126f: ISZERO 00001270: MUL 00001271: SWAP1 00001272: PUSH1 0x40 00001274: MLOAD 00001275: PUSH1 0x00 00001277: PUSH1 0x40 00001279: MLOAD 0000127a: DUP1 0000127b: DUP4 0000127c: SUB 0000127d: DUP2 0000127e: DUP6 0000127f: DUP9 00001280: DUP9 00001281: CALL 00001282: SWAP4 00001283: POP 00001284: POP 00001285: POP 00001286: POP 00001287: ISZERO 00001288: DUP1 00001289: ISZERO 0000128a: PUSH2 0x1297 0000128d: JUMPI 0000128e: RETURNDATASIZE 0000128f: PUSH1 0x00 00001291: DUP1 00001292: RETURNDATACOPY 00001293: RETURNDATASIZE 00001294: PUSH1 0x00 00001296: REVERT 00001297: JUMPDEST 00001298: POP 00001299: PUSH2 0x12a1 0000129c: DUP5 0000129d: PUSH2 0x17c9 000012a0: JUMP 000012a1: JUMPDEST 000012a2: PUSH1 0x05 000012a4: PUSH1 0x00 000012a6: DUP13 000012a7: DUP2 000012a8: MSTORE 000012a9: PUSH1 0x20 000012ab: ADD 000012ac: SWAP1 000012ad: DUP2 000012ae: MSTORE 000012af: PUSH1 0x20 000012b1: ADD 000012b2: PUSH1 0x00 000012b4: KECCAK256 000012b5: SLOAD 000012b6: PUSH1 0x06 000012b8: PUSH1 0x00 000012ba: DUP14 000012bb: DUP2 000012bc: MSTORE 000012bd: PUSH1 0x20 000012bf: ADD 000012c0: SWAP1 000012c1: DUP2 000012c2: MSTORE 000012c3: PUSH1 0x20 000012c5: ADD 000012c6: PUSH1 0x00 000012c8: KECCAK256 000012c9: DUP2 000012ca: SWAP1 000012cb: SSTORE 000012cc: POP 000012cd: DUP8 000012ce: PUSH1 0x05 000012d0: PUSH1 0x00 000012d2: DUP14 000012d3: DUP2 000012d4: MSTORE 000012d5: PUSH1 0x20 000012d7: ADD 000012d8: SWAP1 000012d9: DUP2 000012da: MSTORE 000012db: PUSH1 0x20 000012dd: ADD 000012de: PUSH1 0x00 000012e0: KECCAK256 000012e1: DUP2 000012e2: SWAP1 000012e3: SSTORE 000012e4: POP 000012e5: DUP1 000012e6: PUSH1 0x04 000012e8: PUSH1 0x00 000012ea: DUP14 000012eb: DUP2 000012ec: MSTORE 000012ed: PUSH1 0x20 000012ef: ADD 000012f0: SWAP1 000012f1: DUP2 000012f2: MSTORE 000012f3: PUSH1 0x20 000012f5: ADD 000012f6: PUSH1 0x00 000012f8: KECCAK256 000012f9: PUSH1 0x00 000012fb: PUSH2 0x0100 000012fe: EXP 000012ff: DUP2 00001300: SLOAD 00001301: DUP2 00001302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001317: MUL 00001318: NOT 00001319: AND 0000131a: SWAP1 0000131b: DUP4 0000131c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001331: AND 00001332: MUL 00001333: OR 00001334: SWAP1 00001335: SSTORE 00001336: POP 00001337: PUSH32 0xb6058ac11d669cce504a48b05012e6920f1058599371108c7eacf6dfa9b976bb 00001358: CALLER 00001359: PUSH1 0x06 0000135b: PUSH1 0x00 0000135d: DUP15 0000135e: DUP2 0000135f: MSTORE 00001360: PUSH1 0x20 00001362: ADD 00001363: SWAP1 00001364: DUP2 00001365: MSTORE 00001366: PUSH1 0x20 00001368: ADD 00001369: PUSH1 0x00 0000136b: KECCAK256 0000136c: SLOAD 0000136d: DUP14 0000136e: DUP12 0000136f: PUSH1 0x40 00001371: MLOAD 00001372: DUP1 00001373: DUP6 00001374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001389: AND 0000138a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139f: AND 000013a0: DUP2 000013a1: MSTORE 000013a2: PUSH1 0x20 000013a4: ADD 000013a5: DUP5 000013a6: DUP2 000013a7: MSTORE 000013a8: PUSH1 0x20 000013aa: ADD 000013ab: DUP4 000013ac: DUP2 000013ad: MSTORE 000013ae: PUSH1 0x20 000013b0: ADD 000013b1: DUP3 000013b2: DUP2 000013b3: MSTORE 000013b4: PUSH1 0x20 000013b6: ADD 000013b7: SWAP5 000013b8: POP 000013b9: POP 000013ba: POP 000013bb: POP 000013bc: POP 000013bd: PUSH1 0x40 000013bf: MLOAD 000013c0: DUP1 000013c1: SWAP2 000013c2: SUB 000013c3: SWAP1 000013c4: LOG1 000013c5: POP 000013c6: POP 000013c7: POP 000013c8: POP 000013c9: POP 000013ca: POP 000013cb: POP 000013cc: POP 000013cd: POP 000013ce: POP 000013cf: POP 000013d0: JUMP 000013d1: JUMPDEST 000013d2: PUSH1 0x00 000013d4: PUSH1 0x07 000013d6: PUSH1 0x00 000013d8: DUP4 000013d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ee: AND 000013ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001404: AND 00001405: DUP2 00001406: MSTORE 00001407: PUSH1 0x20 00001409: ADD 0000140a: SWAP1 0000140b: DUP2 0000140c: MSTORE 0000140d: PUSH1 0x20 0000140f: ADD 00001410: PUSH1 0x00 00001412: KECCAK256 00001413: SLOAD 00001414: SWAP1 00001415: POP 00001416: SWAP2 00001417: SWAP1 00001418: POP 00001419: JUMP 0000141a: JUMPDEST 0000141b: PUSH1 0x01 0000141d: DUP1 0000141e: SLOAD 0000141f: PUSH1 0x01 00001421: DUP2 00001422: PUSH1 0x01 00001424: AND 00001425: ISZERO 00001426: PUSH2 0x0100 00001429: MUL 0000142a: SUB 0000142b: AND 0000142c: PUSH1 0x02 0000142e: SWAP1 0000142f: DIV 00001430: DUP1 00001431: PUSH1 0x1f 00001433: ADD 00001434: PUSH1 0x20 00001436: DUP1 00001437: SWAP2 00001438: DIV 00001439: MUL 0000143a: PUSH1 0x20 0000143c: ADD 0000143d: PUSH1 0x40 0000143f: MLOAD 00001440: SWAP1 00001441: DUP2 00001442: ADD 00001443: PUSH1 0x40 00001445: MSTORE 00001446: DUP1 00001447: SWAP3 00001448: SWAP2 00001449: SWAP1 0000144a: DUP2 0000144b: DUP2 0000144c: MSTORE 0000144d: PUSH1 0x20 0000144f: ADD 00001450: DUP3 00001451: DUP1 00001452: SLOAD 00001453: PUSH1 0x01 00001455: DUP2 00001456: PUSH1 0x01 00001458: AND 00001459: ISZERO 0000145a: PUSH2 0x0100 0000145d: MUL 0000145e: SUB 0000145f: AND 00001460: PUSH1 0x02 00001462: SWAP1 00001463: DIV 00001464: DUP1 00001465: ISZERO 00001466: PUSH2 0x14b0 00001469: JUMPI 0000146a: DUP1 0000146b: PUSH1 0x1f 0000146d: LT 0000146e: PUSH2 0x1485 00001471: JUMPI 00001472: PUSH2 0x0100 00001475: DUP1 00001476: DUP4 00001477: SLOAD 00001478: DIV 00001479: MUL 0000147a: DUP4 0000147b: MSTORE 0000147c: SWAP2 0000147d: PUSH1 0x20 0000147f: ADD 00001480: SWAP2 00001481: PUSH2 0x14b0 00001484: JUMP 00001485: JUMPDEST 00001486: DUP3 00001487: ADD 00001488: SWAP2 00001489: SWAP1 0000148a: PUSH1 0x00 0000148c: MSTORE 0000148d: PUSH1 0x20 0000148f: PUSH1 0x00 00001491: KECCAK256 00001492: SWAP1 00001493: JUMPDEST 00001494: DUP2 00001495: SLOAD 00001496: DUP2 00001497: MSTORE 00001498: SWAP1 00001499: PUSH1 0x01 0000149b: ADD 0000149c: SWAP1 0000149d: PUSH1 0x20 0000149f: ADD 000014a0: DUP1 000014a1: DUP4 000014a2: GT 000014a3: PUSH2 0x1493 000014a6: JUMPI 000014a7: DUP3 000014a8: SWAP1 000014a9: SUB 000014aa: PUSH1 0x1f 000014ac: AND 000014ad: DUP3 000014ae: ADD 000014af: SWAP2 000014b0: JUMPDEST 000014b1: POP 000014b2: POP 000014b3: POP 000014b4: POP 000014b5: POP 000014b6: DUP2 000014b7: JUMP 000014b8: JUMPDEST 000014b9: PUSH1 0x0d 000014bb: PUSH1 0x00 000014bd: SWAP1 000014be: SLOAD 000014bf: SWAP1 000014c0: PUSH2 0x0100 000014c3: EXP 000014c4: SWAP1 000014c5: DIV 000014c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014db: AND 000014dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f1: AND 000014f2: CALLER 000014f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001508: AND 00001509: EQ 0000150a: ISZERO 0000150b: ISZERO 0000150c: PUSH2 0x1514 0000150f: JUMPI 00001510: PUSH1 0x00 00001512: DUP1 00001513: REVERT 00001514: JUMPDEST 00001515: DUP1 00001516: PUSH1 0x05 00001518: PUSH1 0x00 0000151a: PUSH1 0x01 0000151c: PUSH1 0x0b 0000151e: SLOAD 0000151f: SUB 00001520: DUP2 00001521: MSTORE 00001522: PUSH1 0x20 00001524: ADD 00001525: SWAP1 00001526: DUP2 00001527: MSTORE 00001528: PUSH1 0x20 0000152a: ADD 0000152b: PUSH1 0x00 0000152d: KECCAK256 0000152e: DUP2 0000152f: SWAP1 00001530: SSTORE 00001531: POP 00001532: PUSH1 0x0d 00001534: PUSH1 0x00 00001536: SWAP1 00001537: SLOAD 00001538: SWAP1 00001539: PUSH2 0x0100 0000153c: EXP 0000153d: SWAP1 0000153e: DIV 0000153f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001554: AND 00001555: PUSH1 0x04 00001557: PUSH1 0x00 00001559: PUSH1 0x01 0000155b: PUSH1 0x0b 0000155d: SLOAD 0000155e: SUB 0000155f: DUP2 00001560: MSTORE 00001561: PUSH1 0x20 00001563: ADD 00001564: SWAP1 00001565: DUP2 00001566: MSTORE 00001567: PUSH1 0x20 00001569: ADD 0000156a: PUSH1 0x00 0000156c: KECCAK256 0000156d: PUSH1 0x00 0000156f: PUSH2 0x0100 00001572: EXP 00001573: DUP2 00001574: SLOAD 00001575: DUP2 00001576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158b: MUL 0000158c: NOT 0000158d: AND 0000158e: SWAP1 0000158f: DUP4 00001590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a5: AND 000015a6: MUL 000015a7: OR 000015a8: SWAP1 000015a9: SSTORE 000015aa: POP 000015ab: PUSH1 0x00 000015ad: PUSH1 0x08 000015af: PUSH1 0x00 000015b1: PUSH1 0x01 000015b3: PUSH1 0x0b 000015b5: SLOAD 000015b6: SUB 000015b7: DUP2 000015b8: MSTORE 000015b9: PUSH1 0x20 000015bb: ADD 000015bc: SWAP1 000015bd: DUP2 000015be: MSTORE 000015bf: PUSH1 0x20 000015c1: ADD 000015c2: PUSH1 0x00 000015c4: KECCAK256 000015c5: DUP2 000015c6: SWAP1 000015c7: SSTORE 000015c8: POP 000015c9: PUSH1 0x01 000015cb: PUSH1 0x0b 000015cd: SLOAD 000015ce: ADD 000015cf: PUSH1 0x0b 000015d1: DUP2 000015d2: SWAP1 000015d3: SSTORE 000015d4: POP 000015d5: POP 000015d6: JUMP 000015d7: JUMPDEST 000015d8: PUSH1 0x03 000015da: SLOAD 000015db: DUP2 000015dc: JUMP 000015dd: JUMPDEST 000015de: PUSH1 0x05 000015e0: DUP2 000015e1: JUMP 000015e2: JUMPDEST 000015e3: PUSH1 0x00 000015e5: PUSH1 0x0a 000015e7: SLOAD 000015e8: SWAP1 000015e9: POP 000015ea: SWAP1 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x02 000015ef: SLOAD 000015f0: DUP2 000015f1: JUMP 000015f2: JUMPDEST 000015f3: PUSH1 0x0d 000015f5: PUSH1 0x00 000015f7: SWAP1 000015f8: SLOAD 000015f9: SWAP1 000015fa: PUSH2 0x0100 000015fd: EXP 000015fe: SWAP1 000015ff: DIV 00001600: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001615: AND 00001616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000162b: AND 0000162c: CALLER 0000162d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001642: AND 00001643: EQ 00001644: ISZERO 00001645: ISZERO 00001646: PUSH2 0x164e 00001649: JUMPI 0000164a: PUSH1 0x00 0000164c: DUP1 0000164d: REVERT 0000164e: JUMPDEST 0000164f: DUP1 00001650: PUSH1 0x01 00001652: SWAP1 00001653: DUP1 00001654: MLOAD 00001655: SWAP1 00001656: PUSH1 0x20 00001658: ADD 00001659: SWAP1 0000165a: PUSH2 0x1664 0000165d: SWAP3 0000165e: SWAP2 0000165f: SWAP1 00001660: PUSH2 0x18fc 00001663: JUMP 00001664: JUMPDEST 00001665: POP 00001666: POP 00001667: JUMP 00001668: JUMPDEST 00001669: PUSH1 0x00 0000166b: PUSH1 0x0b 0000166d: SLOAD 0000166e: SWAP1 0000166f: POP 00001670: SWAP1 00001671: JUMP 00001672: JUMPDEST 00001673: PUSH1 0x28 00001675: DUP2 00001676: JUMP 00001677: JUMPDEST 00001678: PUSH1 0x0d 0000167a: PUSH1 0x00 0000167c: SWAP1 0000167d: SLOAD 0000167e: SWAP1 0000167f: PUSH2 0x0100 00001682: EXP 00001683: SWAP1 00001684: DIV 00001685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000169a: AND 0000169b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b0: AND 000016b1: CALLER 000016b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016c7: AND 000016c8: EQ 000016c9: ISZERO 000016ca: ISZERO 000016cb: PUSH2 0x16d3 000016ce: JUMPI 000016cf: PUSH1 0x00 000016d1: DUP1 000016d2: REVERT 000016d3: JUMPDEST 000016d4: DUP1 000016d5: PUSH1 0x00 000016d7: SWAP1 000016d8: DUP1 000016d9: MLOAD 000016da: SWAP1 000016db: PUSH1 0x20 000016dd: ADD 000016de: SWAP1 000016df: PUSH2 0x16e9 000016e2: SWAP3 000016e3: SWAP2 000016e4: SWAP1 000016e5: PUSH2 0x18fc 000016e8: JUMP 000016e9: JUMPDEST 000016ea: POP 000016eb: POP 000016ec: JUMP 000016ed: JUMPDEST 000016ee: PUSH1 0x00 000016f0: PUSH1 0x02 000016f2: SLOAD 000016f3: SWAP1 000016f4: POP 000016f5: SWAP1 000016f6: JUMP 000016f7: JUMPDEST 000016f8: PUSH1 0x0b 000016fa: SLOAD 000016fb: DUP2 000016fc: JUMP 000016fd: JUMPDEST 000016fe: PUSH1 0x28 00001700: DUP2 00001701: JUMP 00001702: JUMPDEST 00001703: PUSH1 0x00 00001705: DUP1 00001706: PUSH1 0x00 00001708: DUP5 00001709: EQ 0000170a: ISZERO 0000170b: PUSH2 0x1717 0000170e: JUMPI 0000170f: PUSH1 0x00 00001711: SWAP2 00001712: POP 00001713: PUSH2 0x1736 00001716: JUMP 00001717: JUMPDEST 00001718: DUP3 00001719: DUP5 0000171a: MUL 0000171b: SWAP1 0000171c: POP 0000171d: DUP3 0000171e: DUP5 0000171f: DUP3 00001720: DUP2 00001721: ISZERO 00001722: ISZERO 00001723: PUSH2 0x1728 00001726: JUMPI 00001727: INVALID 00001728: JUMPDEST 00001729: DIV 0000172a: EQ 0000172b: ISZERO 0000172c: ISZERO 0000172d: PUSH2 0x1732 00001730: JUMPI 00001731: INVALID 00001732: JUMPDEST 00001733: DUP1 00001734: SWAP2 00001735: POP 00001736: JUMPDEST 00001737: POP 00001738: SWAP3 00001739: SWAP2 0000173a: POP 0000173b: POP 0000173c: JUMP 0000173d: JUMPDEST 0000173e: PUSH1 0x00 00001740: DUP1 00001741: DUP3 00001742: DUP5 00001743: DUP2 00001744: ISZERO 00001745: ISZERO 00001746: PUSH2 0x174b 00001749: JUMPI 0000174a: INVALID 0000174b: JUMPDEST 0000174c: DIV 0000174d: SWAP1 0000174e: POP 0000174f: DUP1 00001750: SWAP2 00001751: POP 00001752: POP 00001753: SWAP3 00001754: SWAP2 00001755: POP 00001756: POP 00001757: JUMP 00001758: JUMPDEST 00001759: PUSH1 0x00 0000175b: DUP3 0000175c: DUP3 0000175d: GT 0000175e: ISZERO 0000175f: ISZERO 00001760: ISZERO 00001761: PUSH2 0x1766 00001764: JUMPI 00001765: INVALID 00001766: JUMPDEST 00001767: DUP2 00001768: DUP4 00001769: SUB 0000176a: SWAP1 0000176b: POP 0000176c: SWAP3 0000176d: SWAP2 0000176e: POP 0000176f: POP 00001770: JUMP 00001771: JUMPDEST 00001772: PUSH1 0x00 00001774: PUSH2 0x1789 00001777: PUSH2 0x1782 0000177a: DUP5 0000177b: PUSH1 0x09 0000177d: SLOAD 0000177e: PUSH2 0x1702 00001781: JUMP 00001782: JUMPDEST 00001783: PUSH1 0x64 00001785: PUSH2 0x173d 00001788: JUMP 00001789: JUMPDEST 0000178a: SWAP1 0000178b: POP 0000178c: PUSH2 0x17a0 0000178f: PUSH1 0x02 00001791: SLOAD 00001792: PUSH2 0x179b 00001795: DUP4 00001796: DUP6 00001797: PUSH2 0x1758 0000179a: JUMP 0000179b: JUMPDEST 0000179c: PUSH2 0x17ab 0000179f: JUMP 000017a0: JUMPDEST 000017a1: PUSH1 0x02 000017a3: DUP2 000017a4: SWAP1 000017a5: SSTORE 000017a6: POP 000017a7: POP 000017a8: POP 000017a9: POP 000017aa: JUMP 000017ab: JUMPDEST 000017ac: PUSH1 0x00 000017ae: DUP1 000017af: DUP3 000017b0: DUP5 000017b1: ADD 000017b2: SWAP1 000017b3: POP 000017b4: DUP4 000017b5: DUP2 000017b6: LT 000017b7: ISZERO 000017b8: ISZERO 000017b9: ISZERO 000017ba: PUSH2 0x17bf 000017bd: JUMPI 000017be: INVALID 000017bf: JUMPDEST 000017c0: DUP1 000017c1: SWAP2 000017c2: POP 000017c3: POP 000017c4: SWAP3 000017c5: SWAP2 000017c6: POP 000017c7: POP 000017c8: JUMP 000017c9: JUMPDEST 000017ca: PUSH1 0x00 000017cc: DUP1 000017cd: PUSH1 0x00 000017cf: DUP1 000017d0: SWAP3 000017d1: POP 000017d2: JUMPDEST 000017d3: PUSH1 0x0b 000017d5: SLOAD 000017d6: DUP4 000017d7: LT 000017d8: ISZERO 000017d9: PUSH2 0x18f6 000017dc: JUMPI 000017dd: PUSH2 0x1819 000017e0: PUSH1 0x05 000017e2: PUSH2 0x1811 000017e5: PUSH2 0x1809 000017e8: PUSH1 0x06 000017ea: PUSH1 0x00 000017ec: DUP9 000017ed: DUP2 000017ee: MSTORE 000017ef: PUSH1 0x20 000017f1: ADD 000017f2: SWAP1 000017f3: DUP2 000017f4: MSTORE 000017f5: PUSH1 0x20 000017f7: ADD 000017f8: PUSH1 0x00 000017fa: KECCAK256 000017fb: SLOAD 000017fc: PUSH1 0x01 000017fe: PUSH1 0x03 00001800: SLOAD 00001801: ADD 00001802: PUSH1 0x0a 00001804: EXP 00001805: PUSH2 0x1702 00001808: JUMP 00001809: JUMPDEST 0000180a: PUSH1 0x02 0000180c: SLOAD 0000180d: PUSH2 0x173d 00001810: JUMP 00001811: JUMPDEST 00001812: ADD 00001813: PUSH1 0x0a 00001815: PUSH2 0x173d 00001818: JUMP 00001819: JUMPDEST 0000181a: SWAP2 0000181b: POP 0000181c: PUSH2 0x1833 0000181f: PUSH2 0x1828 00001822: DUP6 00001823: DUP5 00001824: PUSH2 0x1702 00001827: JUMP 00001828: JUMPDEST 00001829: PUSH1 0x03 0000182b: SLOAD 0000182c: PUSH1 0x0a 0000182e: EXP 0000182f: PUSH2 0x173d 00001832: JUMP 00001833: JUMPDEST 00001834: SWAP1 00001835: POP 00001836: DUP1 00001837: PUSH1 0x07 00001839: PUSH1 0x00 0000183b: PUSH1 0x04 0000183d: PUSH1 0x00 0000183f: DUP8 00001840: DUP2 00001841: MSTORE 00001842: PUSH1 0x20 00001844: ADD 00001845: SWAP1 00001846: DUP2 00001847: MSTORE 00001848: PUSH1 0x20 0000184a: ADD 0000184b: PUSH1 0x00 0000184d: KECCAK256 0000184e: PUSH1 0x00 00001850: SWAP1 00001851: SLOAD 00001852: SWAP1 00001853: PUSH2 0x0100 00001856: EXP 00001857: SWAP1 00001858: DIV 00001859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000186e: AND 0000186f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001884: AND 00001885: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000189a: AND 0000189b: DUP2 0000189c: MSTORE 0000189d: PUSH1 0x20 0000189f: ADD 000018a0: SWAP1 000018a1: DUP2 000018a2: MSTORE 000018a3: PUSH1 0x20 000018a5: ADD 000018a6: PUSH1 0x00 000018a8: KECCAK256 000018a9: PUSH1 0x00 000018ab: DUP3 000018ac: DUP3 000018ad: SLOAD 000018ae: ADD 000018af: SWAP3 000018b0: POP 000018b1: POP 000018b2: DUP2 000018b3: SWAP1 000018b4: SSTORE 000018b5: POP 000018b6: PUSH2 0x18d2 000018b9: PUSH1 0x08 000018bb: PUSH1 0x00 000018bd: DUP6 000018be: DUP2 000018bf: MSTORE 000018c0: PUSH1 0x20 000018c2: ADD 000018c3: SWAP1 000018c4: DUP2 000018c5: MSTORE 000018c6: PUSH1 0x20 000018c8: ADD 000018c9: PUSH1 0x00 000018cb: KECCAK256 000018cc: SLOAD 000018cd: DUP3 000018ce: PUSH2 0x17ab 000018d1: JUMP 000018d2: JUMPDEST 000018d3: PUSH1 0x08 000018d5: PUSH1 0x00 000018d7: DUP6 000018d8: DUP2 000018d9: MSTORE 000018da: PUSH1 0x20 000018dc: ADD 000018dd: SWAP1 000018de: DUP2 000018df: MSTORE 000018e0: PUSH1 0x20 000018e2: ADD 000018e3: PUSH1 0x00 000018e5: KECCAK256 000018e6: DUP2 000018e7: SWAP1 000018e8: SSTORE 000018e9: POP 000018ea: DUP3 000018eb: DUP1 000018ec: PUSH1 0x01 000018ee: ADD 000018ef: SWAP4 000018f0: POP 000018f1: POP 000018f2: PUSH2 0x17d2 000018f5: JUMP 000018f6: JUMPDEST 000018f7: POP 000018f8: POP 000018f9: POP 000018fa: POP 000018fb: JUMP 000018fc: JUMPDEST 000018fd: DUP3 000018fe: DUP1 000018ff: SLOAD 00001900: PUSH1 0x01 00001902: DUP2 00001903: PUSH1 0x01 00001905: AND 00001906: ISZERO 00001907: PUSH2 0x0100 0000190a: MUL 0000190b: SUB 0000190c: AND 0000190d: PUSH1 0x02 0000190f: SWAP1 00001910: DIV 00001911: SWAP1 00001912: PUSH1 0x00 00001914: MSTORE 00001915: PUSH1 0x20 00001917: PUSH1 0x00 00001919: KECCAK256 0000191a: SWAP1 0000191b: PUSH1 0x1f 0000191d: ADD 0000191e: PUSH1 0x20 00001920: SWAP1 00001921: DIV 00001922: DUP2 00001923: ADD 00001924: SWAP3 00001925: DUP3 00001926: PUSH1 0x1f 00001928: LT 00001929: PUSH2 0x193d 0000192c: JUMPI 0000192d: DUP1 0000192e: MLOAD 0000192f: PUSH1 0xff 00001931: NOT 00001932: AND 00001933: DUP4 00001934: DUP1 00001935: ADD 00001936: OR 00001937: DUP6 00001938: SSTORE 00001939: PUSH2 0x196b 0000193c: JUMP 0000193d: JUMPDEST 0000193e: DUP3 0000193f: DUP1 00001940: ADD 00001941: PUSH1 0x01 00001943: ADD 00001944: DUP6 00001945: SSTORE 00001946: DUP3 00001947: ISZERO 00001948: PUSH2 0x196b 0000194b: JUMPI 0000194c: SWAP2 0000194d: DUP3 0000194e: ADD 0000194f: JUMPDEST 00001950: DUP3 00001951: DUP2 00001952: GT 00001953: ISZERO 00001954: PUSH2 0x196a 00001957: JUMPI 00001958: DUP3 00001959: MLOAD 0000195a: DUP3 0000195b: SSTORE 0000195c: SWAP2 0000195d: PUSH1 0x20 0000195f: ADD 00001960: SWAP2 00001961: SWAP1 00001962: PUSH1 0x01 00001964: ADD 00001965: SWAP1 00001966: PUSH2 0x194f 00001969: JUMP 0000196a: JUMPDEST 0000196b: JUMPDEST 0000196c: POP 0000196d: SWAP1 0000196e: POP 0000196f: PUSH2 0x1978 00001972: SWAP2 00001973: SWAP1 00001974: PUSH2 0x197c 00001977: JUMP 00001978: JUMPDEST 00001979: POP 0000197a: SWAP1 0000197b: JUMP 0000197c: JUMPDEST 0000197d: PUSH2 0x199e 00001980: SWAP2 00001981: SWAP1 00001982: JUMPDEST 00001983: DUP1 00001984: DUP3 00001985: GT 00001986: ISZERO 00001987: PUSH2 0x199a 0000198a: JUMPI 0000198b: PUSH1 0x00 0000198d: DUP2 0000198e: PUSH1 0x00 00001990: SWAP1 00001991: SSTORE 00001992: POP 00001993: PUSH1 0x01 00001995: ADD 00001996: PUSH2 0x1982 00001999: JUMP 0000199a: JUMPDEST 0000199b: POP 0000199c: SWAP1 0000199d: JUMP 0000199e: JUMPDEST 0000199f: SWAP1 000019a0: JUMP 000019a1: STOP 000019a2: LOG1 000019a3: PUSH6 0x627a7a723058 000019aa: KECCAK256 000019ab: UNKNOWN(0x2A) 000019ac: DUP9 000019ad: UNKNOWN(0xE7) 000019ae: UNKNOWN(0x4B) 000019af: CALLDATASIZE 000019b0: EXP 000019b1: DUP6 000019b2: UNKNOWN(0xB6) 000019b3: UNKNOWN(0xD0) 000019b4: UNKNOWN(0xDF) 000019b5: MULMOD 000019b6: PUSH0 000019b7: JUMPDEST 000019b8: LOG3 000019b9: NOT 000019ba: DUP16 000019bb: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbfbb8236eca58277f0632235ce06aef9fa6c85ab5b691a002944a5c2442e69bb
call_targets:
0x71402645d25196842b0434a1805726b7c0eef426
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbfbb8236eca58277f0632235ce06aef9fa6c85ab5b691a002944a5c2442e69bb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x71402645d25196842b0434a1805726b7c0eef426"
],
"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": "0x04dd2dea",
"selector": "0x04dd2dea",
"calldata_variants": [
"0x04dd2dea",
"0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ae4dfb7",
"selector": "0x1ae4dfb7",
"calldata_variants": [
"0x1ae4dfb7",
"0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b7e0902",
"selector": "0x1b7e0902",
"calldata_variants": [
"0x1b7e0902",
"0x1b7e09020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x28437ad1",
"selector": "0x28437ad1",
"calldata_variants": [
"0x28437ad1",
"0x28437ad10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x287ad8fa",
"selector": "0x287ad8fa",
"calldata_variants": [
"0x287ad8fa",
"0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2846,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4288,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4737,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 3038,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3593,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5362,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5676,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5809,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbfbb8236eca58277f0632235ce06aef9fa6c85ab5b691a002944a5c2442e69bb
call_targets:
0x71402645d25196842b0434a1805726b7c0eef426
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbfbb8236eca58277f0632235ce06aef9fa6c85ab5b691a002944a5c2442e69bb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x71402645d25196842b0434a1805726b7c0eef426"
],
"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": "0x04dd2dea",
"selector": "0x04dd2dea",
"calldata_variants": [
"0x04dd2dea",
"0x04dd2dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ae4dfb7",
"selector": "0x1ae4dfb7",
"calldata_variants": [
"0x1ae4dfb7",
"0x1ae4dfb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1b7e0902",
"selector": "0x1b7e0902",
"calldata_variants": [
"0x1b7e0902",
"0x1b7e09020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x28437ad1",
"selector": "0x28437ad1",
"calldata_variants": [
"0x28437ad1",
"0x28437ad10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x287ad8fa",
"selector": "0x287ad8fa",
"calldata_variants": [
"0x287ad8fa",
"0x287ad8fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2846,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4288,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4737,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 3038,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3593,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5362,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5676,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5809,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|