019b3844-92d9-70f6-a3c5-bdd9030c0c99
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 |
|---|---|---|---|---|
| 12971 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12972 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 56148 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 56149 | capability.graph | complete | 1 / 3 | 1 week ago |
| 56150 | detector.run | complete | 1 / 3 | 1 week ago |
| 56151 | validation.fork | complete | 1 / 3 | 1 week 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 0x015e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH3 0x65318b 0000003b: EQ 0000003c: PUSH2 0x016c 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x01b9 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x10d0ffdd 00000051: EQ 00000052: PUSH2 0x0247 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x027e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x22609373 00000067: EQ 00000068: PUSH2 0x02a7 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x27defa1f 00000072: EQ 00000073: PUSH2 0x02de 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x030b 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x392efb52 00000088: EQ 00000089: PUSH2 0x033a 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x3ccfd60b 00000093: EQ 00000094: PUSH2 0x0379 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x4b750334 0000009e: EQ 0000009f: PUSH2 0x038e 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x56d399e8 000000a9: EQ 000000aa: PUSH2 0x03b7 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x688abbf7 000000b4: EQ 000000b5: PUSH2 0x03e0 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x6b2f4632 000000bf: EQ 000000c0: PUSH2 0x0419 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x70a08231 000000ca: EQ 000000cb: PUSH2 0x0442 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x8328b610 000000d5: EQ 000000d6: PUSH2 0x048f 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x8620410b 000000e0: EQ 000000e1: PUSH2 0x04b2 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x89135ae9 000000eb: EQ 000000ec: PUSH2 0x04db 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x949e8acd 000000f6: EQ 000000f7: PUSH2 0x050d 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x95d89b41 00000101: EQ 00000102: PUSH2 0x0536 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xa8e04f34 0000010c: EQ 0000010d: PUSH2 0x05c4 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xa9059cbb 00000117: EQ 00000118: PUSH2 0x05d9 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xb84c8246 00000122: EQ 00000123: PUSH2 0x0633 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xc47f0027 0000012d: EQ 0000012e: PUSH2 0x0690 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xe4849b32 00000138: EQ 00000139: PUSH2 0x06ed 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xe9fad8ee 00000143: EQ 00000144: PUSH2 0x0710 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xf088d547 0000014e: EQ 0000014f: PUSH2 0x0725 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xfdb5a03e 00000159: EQ 0000015a: PUSH2 0x0767 0000015d: JUMPI 0000015e: JUMPDEST 0000015f: PUSH2 0x0169 00000162: CALLVALUE 00000163: PUSH1 0x00 00000165: PUSH2 0x077c 00000168: JUMP 00000169: JUMPDEST 0000016a: POP 0000016b: STOP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: ISZERO 0000016f: PUSH2 0x0177 00000172: JUMPI 00000173: PUSH1 0x00 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: PUSH2 0x01a3 0000017b: PUSH1 0x04 0000017d: DUP1 0000017e: DUP1 0000017f: CALLDATALOAD 00000180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000195: AND 00000196: SWAP1 00000197: PUSH1 0x20 00000199: ADD 0000019a: SWAP1 0000019b: SWAP2 0000019c: SWAP1 0000019d: POP 0000019e: POP 0000019f: PUSH2 0x107c 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH1 0x40 000001a6: MLOAD 000001a7: DUP1 000001a8: DUP3 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x20 000001ad: ADD 000001ae: SWAP2 000001af: POP 000001b0: POP 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: RETURN 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: PUSH2 0x01cc 000001c8: PUSH2 0x111e 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH1 0x40 000001cf: MLOAD 000001d0: DUP1 000001d1: DUP1 000001d2: PUSH1 0x20 000001d4: ADD 000001d5: DUP3 000001d6: DUP2 000001d7: SUB 000001d8: DUP3 000001d9: MSTORE 000001da: DUP4 000001db: DUP2 000001dc: DUP2 000001dd: MLOAD 000001de: DUP2 000001df: MSTORE 000001e0: PUSH1 0x20 000001e2: ADD 000001e3: SWAP2 000001e4: POP 000001e5: DUP1 000001e6: MLOAD 000001e7: SWAP1 000001e8: PUSH1 0x20 000001ea: ADD 000001eb: SWAP1 000001ec: DUP1 000001ed: DUP4 000001ee: DUP4 000001ef: PUSH1 0x00 000001f1: JUMPDEST 000001f2: DUP4 000001f3: DUP2 000001f4: LT 000001f5: ISZERO 000001f6: PUSH2 0x020c 000001f9: JUMPI 000001fa: DUP1 000001fb: DUP3 000001fc: ADD 000001fd: MLOAD 000001fe: DUP2 000001ff: DUP5 00000200: ADD 00000201: MSTORE 00000202: PUSH1 0x20 00000204: DUP2 00000205: ADD 00000206: SWAP1 00000207: POP 00000208: PUSH2 0x01f1 0000020b: JUMP 0000020c: JUMPDEST 0000020d: POP 0000020e: POP 0000020f: POP 00000210: POP 00000211: SWAP1 00000212: POP 00000213: SWAP1 00000214: DUP2 00000215: ADD 00000216: SWAP1 00000217: PUSH1 0x1f 00000219: AND 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0239 0000021f: JUMPI 00000220: DUP1 00000221: DUP3 00000222: SUB 00000223: DUP1 00000224: MLOAD 00000225: PUSH1 0x01 00000227: DUP4 00000228: PUSH1 0x20 0000022a: SUB 0000022b: PUSH2 0x0100 0000022e: EXP 0000022f: SUB 00000230: NOT 00000231: AND 00000232: DUP2 00000233: MSTORE 00000234: PUSH1 0x20 00000236: ADD 00000237: SWAP2 00000238: POP 00000239: JUMPDEST 0000023a: POP 0000023b: SWAP3 0000023c: POP 0000023d: POP 0000023e: POP 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: DUP1 00000243: SWAP2 00000244: SUB 00000245: SWAP1 00000246: RETURN 00000247: JUMPDEST 00000248: CALLVALUE 00000249: ISZERO 0000024a: PUSH2 0x0252 0000024d: JUMPI 0000024e: PUSH1 0x00 00000250: DUP1 00000251: REVERT 00000252: JUMPDEST 00000253: PUSH2 0x0268 00000256: PUSH1 0x04 00000258: DUP1 00000259: DUP1 0000025a: CALLDATALOAD 0000025b: SWAP1 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: SWAP1 00000260: SWAP2 00000261: SWAP1 00000262: POP 00000263: POP 00000264: PUSH2 0x11bc 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: DUP1 0000026d: DUP3 0000026e: DUP2 0000026f: MSTORE 00000270: PUSH1 0x20 00000272: ADD 00000273: SWAP2 00000274: POP 00000275: POP 00000276: PUSH1 0x40 00000278: MLOAD 00000279: DUP1 0000027a: SWAP2 0000027b: SUB 0000027c: SWAP1 0000027d: RETURN 0000027e: JUMPDEST 0000027f: CALLVALUE 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: PUSH2 0x0291 0000028d: PUSH2 0x11f4 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH1 0x40 00000294: MLOAD 00000295: DUP1 00000296: DUP3 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: ADD 0000029c: SWAP2 0000029d: POP 0000029e: POP 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: DUP1 000002a3: SWAP2 000002a4: SUB 000002a5: SWAP1 000002a6: RETURN 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: ISZERO 000002aa: PUSH2 0x02b2 000002ad: JUMPI 000002ae: PUSH1 0x00 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: PUSH2 0x02c8 000002b6: PUSH1 0x04 000002b8: DUP1 000002b9: DUP1 000002ba: CALLDATALOAD 000002bb: SWAP1 000002bc: PUSH1 0x20 000002be: ADD 000002bf: SWAP1 000002c0: SWAP2 000002c1: SWAP1 000002c2: POP 000002c3: POP 000002c4: PUSH2 0x11fe 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: DUP3 000002ce: DUP2 000002cf: MSTORE 000002d0: PUSH1 0x20 000002d2: ADD 000002d3: SWAP2 000002d4: POP 000002d5: POP 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: DUP1 000002da: SWAP2 000002db: SUB 000002dc: SWAP1 000002dd: RETURN 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: ISZERO 000002e1: PUSH2 0x02e9 000002e4: JUMPI 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: PUSH2 0x02f1 000002ed: PUSH2 0x1247 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: DUP1 000002f6: DUP3 000002f7: ISZERO 000002f8: ISZERO 000002f9: ISZERO 000002fa: ISZERO 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x20 000002ff: ADD 00000300: SWAP2 00000301: POP 00000302: POP 00000303: PUSH1 0x40 00000305: MLOAD 00000306: DUP1 00000307: SWAP2 00000308: SUB 00000309: SWAP1 0000030a: RETURN 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: PUSH2 0x031e 0000031a: PUSH2 0x125a 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x40 00000321: MLOAD 00000322: DUP1 00000323: DUP3 00000324: PUSH1 0xff 00000326: AND 00000327: PUSH1 0xff 00000329: AND 0000032a: DUP2 0000032b: MSTORE 0000032c: PUSH1 0x20 0000032e: ADD 0000032f: SWAP2 00000330: POP 00000331: POP 00000332: PUSH1 0x40 00000334: MLOAD 00000335: DUP1 00000336: SWAP2 00000337: SUB 00000338: SWAP1 00000339: RETURN 0000033a: JUMPDEST 0000033b: CALLVALUE 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: PUSH2 0x035f 00000349: PUSH1 0x04 0000034b: DUP1 0000034c: DUP1 0000034d: CALLDATALOAD 0000034e: PUSH1 0x00 00000350: NOT 00000351: AND 00000352: SWAP1 00000353: PUSH1 0x20 00000355: ADD 00000356: SWAP1 00000357: SWAP2 00000358: SWAP1 00000359: POP 0000035a: POP 0000035b: PUSH2 0x125f 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH1 0x40 00000362: MLOAD 00000363: DUP1 00000364: DUP3 00000365: ISZERO 00000366: ISZERO 00000367: ISZERO 00000368: ISZERO 00000369: DUP2 0000036a: MSTORE 0000036b: PUSH1 0x20 0000036d: ADD 0000036e: SWAP2 0000036f: POP 00000370: POP 00000371: PUSH1 0x40 00000373: MLOAD 00000374: DUP1 00000375: SWAP2 00000376: SUB 00000377: SWAP1 00000378: RETURN 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: PUSH2 0x038c 00000388: PUSH2 0x127f 0000038b: JUMP 0000038c: JUMPDEST 0000038d: STOP 0000038e: JUMPDEST 0000038f: CALLVALUE 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: PUSH2 0x03a1 0000039d: PUSH2 0x141c 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH1 0x40 000003a4: MLOAD 000003a5: DUP1 000003a6: DUP3 000003a7: DUP2 000003a8: MSTORE 000003a9: PUSH1 0x20 000003ab: ADD 000003ac: SWAP2 000003ad: POP 000003ae: POP 000003af: PUSH1 0x40 000003b1: MLOAD 000003b2: DUP1 000003b3: SWAP2 000003b4: SUB 000003b5: SWAP1 000003b6: RETURN 000003b7: JUMPDEST 000003b8: CALLVALUE 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: PUSH2 0x03ca 000003c6: PUSH2 0x1475 000003c9: JUMP 000003ca: JUMPDEST 000003cb: PUSH1 0x40 000003cd: MLOAD 000003ce: DUP1 000003cf: DUP3 000003d0: DUP2 000003d1: MSTORE 000003d2: PUSH1 0x20 000003d4: ADD 000003d5: SWAP2 000003d6: POP 000003d7: POP 000003d8: PUSH1 0x40 000003da: MLOAD 000003db: DUP1 000003dc: SWAP2 000003dd: SUB 000003de: SWAP1 000003df: RETURN 000003e0: JUMPDEST 000003e1: CALLVALUE 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: PUSH2 0x0403 000003ef: PUSH1 0x04 000003f1: DUP1 000003f2: DUP1 000003f3: CALLDATALOAD 000003f4: ISZERO 000003f5: ISZERO 000003f6: SWAP1 000003f7: PUSH1 0x20 000003f9: ADD 000003fa: SWAP1 000003fb: SWAP2 000003fc: SWAP1 000003fd: POP 000003fe: POP 000003ff: PUSH2 0x147b 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH1 0x40 00000406: MLOAD 00000407: DUP1 00000408: DUP3 00000409: DUP2 0000040a: MSTORE 0000040b: PUSH1 0x20 0000040d: ADD 0000040e: SWAP2 0000040f: POP 00000410: POP 00000411: PUSH1 0x40 00000413: MLOAD 00000414: DUP1 00000415: SWAP2 00000416: SUB 00000417: SWAP1 00000418: RETURN 00000419: JUMPDEST 0000041a: CALLVALUE 0000041b: ISZERO 0000041c: PUSH2 0x0424 0000041f: JUMPI 00000420: PUSH1 0x00 00000422: DUP1 00000423: REVERT 00000424: JUMPDEST 00000425: PUSH2 0x042c 00000428: PUSH2 0x14e7 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP1 00000431: DUP3 00000432: DUP2 00000433: MSTORE 00000434: PUSH1 0x20 00000436: ADD 00000437: SWAP2 00000438: POP 00000439: POP 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: DUP1 0000043e: SWAP2 0000043f: SUB 00000440: SWAP1 00000441: RETURN 00000442: JUMPDEST 00000443: CALLVALUE 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: PUSH2 0x0479 00000451: PUSH1 0x04 00000453: DUP1 00000454: DUP1 00000455: CALLDATALOAD 00000456: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046b: AND 0000046c: SWAP1 0000046d: PUSH1 0x20 0000046f: ADD 00000470: SWAP1 00000471: SWAP2 00000472: SWAP1 00000473: POP 00000474: POP 00000475: PUSH2 0x1506 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH1 0x40 0000047c: MLOAD 0000047d: DUP1 0000047e: DUP3 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x20 00000483: ADD 00000484: SWAP2 00000485: POP 00000486: POP 00000487: PUSH1 0x40 00000489: MLOAD 0000048a: DUP1 0000048b: SWAP2 0000048c: SUB 0000048d: SWAP1 0000048e: RETURN 0000048f: JUMPDEST 00000490: CALLVALUE 00000491: ISZERO 00000492: PUSH2 0x049a 00000495: JUMPI 00000496: PUSH1 0x00 00000498: DUP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: PUSH2 0x04b0 0000049e: PUSH1 0x04 000004a0: DUP1 000004a1: DUP1 000004a2: CALLDATALOAD 000004a3: SWAP1 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP1 000004a8: SWAP2 000004a9: SWAP1 000004aa: POP 000004ab: POP 000004ac: PUSH2 0x154f 000004af: JUMP 000004b0: JUMPDEST 000004b1: STOP 000004b2: JUMPDEST 000004b3: CALLVALUE 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: PUSH2 0x04c5 000004c1: PUSH2 0x15e3 000004c4: JUMP 000004c5: JUMPDEST 000004c6: PUSH1 0x40 000004c8: MLOAD 000004c9: DUP1 000004ca: DUP3 000004cb: DUP2 000004cc: MSTORE 000004cd: PUSH1 0x20 000004cf: ADD 000004d0: SWAP2 000004d1: POP 000004d2: POP 000004d3: PUSH1 0x40 000004d5: MLOAD 000004d6: DUP1 000004d7: SWAP2 000004d8: SUB 000004d9: SWAP1 000004da: RETURN 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: ISZERO 000004de: PUSH2 0x04e6 000004e1: JUMPI 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: REVERT 000004e6: JUMPDEST 000004e7: PUSH2 0x050b 000004ea: PUSH1 0x04 000004ec: DUP1 000004ed: DUP1 000004ee: CALLDATALOAD 000004ef: PUSH1 0x00 000004f1: NOT 000004f2: AND 000004f3: SWAP1 000004f4: PUSH1 0x20 000004f6: ADD 000004f7: SWAP1 000004f8: SWAP2 000004f9: SWAP1 000004fa: DUP1 000004fb: CALLDATALOAD 000004fc: ISZERO 000004fd: ISZERO 000004fe: SWAP1 000004ff: PUSH1 0x20 00000501: ADD 00000502: SWAP1 00000503: SWAP2 00000504: SWAP1 00000505: POP 00000506: POP 00000507: PUSH2 0x163c 0000050a: JUMP 0000050b: JUMPDEST 0000050c: STOP 0000050d: JUMPDEST 0000050e: CALLVALUE 0000050f: ISZERO 00000510: PUSH2 0x0518 00000513: JUMPI 00000514: PUSH1 0x00 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: PUSH2 0x0520 0000051c: PUSH2 0x16fd 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH1 0x40 00000523: MLOAD 00000524: DUP1 00000525: DUP3 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP2 0000052c: POP 0000052d: POP 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: DUP1 00000532: SWAP2 00000533: SUB 00000534: SWAP1 00000535: RETURN 00000536: JUMPDEST 00000537: CALLVALUE 00000538: ISZERO 00000539: PUSH2 0x0541 0000053c: JUMPI 0000053d: PUSH1 0x00 0000053f: DUP1 00000540: REVERT 00000541: JUMPDEST 00000542: PUSH2 0x0549 00000545: PUSH2 0x1712 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: DUP1 0000054f: PUSH1 0x20 00000551: ADD 00000552: DUP3 00000553: DUP2 00000554: SUB 00000555: DUP3 00000556: MSTORE 00000557: DUP4 00000558: DUP2 00000559: DUP2 0000055a: MLOAD 0000055b: DUP2 0000055c: MSTORE 0000055d: PUSH1 0x20 0000055f: ADD 00000560: SWAP2 00000561: POP 00000562: DUP1 00000563: MLOAD 00000564: SWAP1 00000565: PUSH1 0x20 00000567: ADD 00000568: SWAP1 00000569: DUP1 0000056a: DUP4 0000056b: DUP4 0000056c: PUSH1 0x00 0000056e: JUMPDEST 0000056f: DUP4 00000570: DUP2 00000571: LT 00000572: ISZERO 00000573: PUSH2 0x0589 00000576: JUMPI 00000577: DUP1 00000578: DUP3 00000579: ADD 0000057a: MLOAD 0000057b: DUP2 0000057c: DUP5 0000057d: ADD 0000057e: MSTORE 0000057f: PUSH1 0x20 00000581: DUP2 00000582: ADD 00000583: SWAP1 00000584: POP 00000585: PUSH2 0x056e 00000588: JUMP 00000589: JUMPDEST 0000058a: POP 0000058b: POP 0000058c: POP 0000058d: POP 0000058e: SWAP1 0000058f: POP 00000590: SWAP1 00000591: DUP2 00000592: ADD 00000593: SWAP1 00000594: PUSH1 0x1f 00000596: AND 00000597: DUP1 00000598: ISZERO 00000599: PUSH2 0x05b6 0000059c: JUMPI 0000059d: DUP1 0000059e: DUP3 0000059f: SUB 000005a0: DUP1 000005a1: MLOAD 000005a2: PUSH1 0x01 000005a4: DUP4 000005a5: PUSH1 0x20 000005a7: SUB 000005a8: PUSH2 0x0100 000005ab: EXP 000005ac: SUB 000005ad: NOT 000005ae: AND 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: SWAP2 000005b5: POP 000005b6: JUMPDEST 000005b7: POP 000005b8: SWAP3 000005b9: POP 000005ba: POP 000005bb: POP 000005bc: PUSH1 0x40 000005be: MLOAD 000005bf: DUP1 000005c0: SWAP2 000005c1: SUB 000005c2: SWAP1 000005c3: RETURN 000005c4: JUMPDEST 000005c5: CALLVALUE 000005c6: ISZERO 000005c7: PUSH2 0x05cf 000005ca: JUMPI 000005cb: PUSH1 0x00 000005cd: DUP1 000005ce: REVERT 000005cf: JUMPDEST 000005d0: PUSH2 0x05d7 000005d3: PUSH2 0x17b0 000005d6: JUMP 000005d7: JUMPDEST 000005d8: STOP 000005d9: JUMPDEST 000005da: CALLVALUE 000005db: ISZERO 000005dc: PUSH2 0x05e4 000005df: JUMPI 000005e0: PUSH1 0x00 000005e2: DUP1 000005e3: REVERT 000005e4: JUMPDEST 000005e5: PUSH2 0x0619 000005e8: PUSH1 0x04 000005ea: DUP1 000005eb: DUP1 000005ec: CALLDATALOAD 000005ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000602: AND 00000603: SWAP1 00000604: PUSH1 0x20 00000606: ADD 00000607: SWAP1 00000608: SWAP2 00000609: SWAP1 0000060a: DUP1 0000060b: CALLDATALOAD 0000060c: SWAP1 0000060d: PUSH1 0x20 0000060f: ADD 00000610: SWAP1 00000611: SWAP2 00000612: SWAP1 00000613: POP 00000614: POP 00000615: PUSH2 0x1857 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH1 0x40 0000061c: MLOAD 0000061d: DUP1 0000061e: DUP3 0000061f: ISZERO 00000620: ISZERO 00000621: ISZERO 00000622: ISZERO 00000623: DUP2 00000624: MSTORE 00000625: PUSH1 0x20 00000627: ADD 00000628: SWAP2 00000629: POP 0000062a: POP 0000062b: PUSH1 0x40 0000062d: MLOAD 0000062e: DUP1 0000062f: SWAP2 00000630: SUB 00000631: SWAP1 00000632: RETURN 00000633: JUMPDEST 00000634: CALLVALUE 00000635: ISZERO 00000636: PUSH2 0x063e 00000639: JUMPI 0000063a: PUSH1 0x00 0000063c: DUP1 0000063d: REVERT 0000063e: JUMPDEST 0000063f: PUSH2 0x068e 00000642: PUSH1 0x04 00000644: DUP1 00000645: DUP1 00000646: CALLDATALOAD 00000647: SWAP1 00000648: PUSH1 0x20 0000064a: ADD 0000064b: SWAP1 0000064c: DUP3 0000064d: ADD 0000064e: DUP1 0000064f: CALLDATALOAD 00000650: SWAP1 00000651: PUSH1 0x20 00000653: ADD 00000654: SWAP1 00000655: DUP1 00000656: DUP1 00000657: PUSH1 0x1f 00000659: ADD 0000065a: PUSH1 0x20 0000065c: DUP1 0000065d: SWAP2 0000065e: DIV 0000065f: MUL 00000660: PUSH1 0x20 00000662: ADD 00000663: PUSH1 0x40 00000665: MLOAD 00000666: SWAP1 00000667: DUP2 00000668: ADD 00000669: PUSH1 0x40 0000066b: MSTORE 0000066c: DUP1 0000066d: SWAP4 0000066e: SWAP3 0000066f: SWAP2 00000670: SWAP1 00000671: DUP2 00000672: DUP2 00000673: MSTORE 00000674: PUSH1 0x20 00000676: ADD 00000677: DUP4 00000678: DUP4 00000679: DUP1 0000067a: DUP3 0000067b: DUP5 0000067c: CALLDATACOPY 0000067d: DUP3 0000067e: ADD 0000067f: SWAP2 00000680: POP 00000681: POP 00000682: POP 00000683: POP 00000684: POP 00000685: POP 00000686: SWAP2 00000687: SWAP1 00000688: POP 00000689: POP 0000068a: PUSH2 0x1b89 0000068d: JUMP 0000068e: JUMPDEST 0000068f: STOP 00000690: JUMPDEST 00000691: CALLVALUE 00000692: ISZERO 00000693: PUSH2 0x069b 00000696: JUMPI 00000697: PUSH1 0x00 00000699: DUP1 0000069a: REVERT 0000069b: JUMPDEST 0000069c: PUSH2 0x06eb 0000069f: PUSH1 0x04 000006a1: DUP1 000006a2: DUP1 000006a3: CALLDATALOAD 000006a4: SWAP1 000006a5: PUSH1 0x20 000006a7: ADD 000006a8: SWAP1 000006a9: DUP3 000006aa: ADD 000006ab: DUP1 000006ac: CALLDATALOAD 000006ad: SWAP1 000006ae: PUSH1 0x20 000006b0: ADD 000006b1: SWAP1 000006b2: DUP1 000006b3: DUP1 000006b4: PUSH1 0x1f 000006b6: ADD 000006b7: PUSH1 0x20 000006b9: DUP1 000006ba: SWAP2 000006bb: DIV 000006bc: MUL 000006bd: PUSH1 0x20 000006bf: ADD 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: SWAP1 000006c4: DUP2 000006c5: ADD 000006c6: PUSH1 0x40 000006c8: MSTORE 000006c9: DUP1 000006ca: SWAP4 000006cb: SWAP3 000006cc: SWAP2 000006cd: SWAP1 000006ce: DUP2 000006cf: DUP2 000006d0: MSTORE 000006d1: PUSH1 0x20 000006d3: ADD 000006d4: DUP4 000006d5: DUP4 000006d6: DUP1 000006d7: DUP3 000006d8: DUP5 000006d9: CALLDATACOPY 000006da: DUP3 000006db: ADD 000006dc: SWAP2 000006dd: POP 000006de: POP 000006df: POP 000006e0: POP 000006e1: POP 000006e2: POP 000006e3: SWAP2 000006e4: SWAP1 000006e5: POP 000006e6: POP 000006e7: PUSH2 0x1c2d 000006ea: JUMP 000006eb: JUMPDEST 000006ec: STOP 000006ed: JUMPDEST 000006ee: CALLVALUE 000006ef: ISZERO 000006f0: PUSH2 0x06f8 000006f3: JUMPI 000006f4: PUSH1 0x00 000006f6: DUP1 000006f7: REVERT 000006f8: JUMPDEST 000006f9: PUSH2 0x070e 000006fc: PUSH1 0x04 000006fe: DUP1 000006ff: DUP1 00000700: CALLDATALOAD 00000701: SWAP1 00000702: PUSH1 0x20 00000704: ADD 00000705: SWAP1 00000706: SWAP2 00000707: SWAP1 00000708: POP 00000709: POP 0000070a: PUSH2 0x1cd1 0000070d: JUMP 0000070e: JUMPDEST 0000070f: STOP 00000710: JUMPDEST 00000711: CALLVALUE 00000712: ISZERO 00000713: PUSH2 0x071b 00000716: JUMPI 00000717: PUSH1 0x00 00000719: DUP1 0000071a: REVERT 0000071b: JUMPDEST 0000071c: PUSH2 0x0723 0000071f: PUSH2 0x1eff 00000722: JUMP 00000723: JUMPDEST 00000724: STOP 00000725: JUMPDEST 00000726: PUSH2 0x0751 00000729: PUSH1 0x04 0000072b: DUP1 0000072c: DUP1 0000072d: CALLDATALOAD 0000072e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000743: AND 00000744: SWAP1 00000745: PUSH1 0x20 00000747: ADD 00000748: SWAP1 00000749: SWAP2 0000074a: SWAP1 0000074b: POP 0000074c: POP 0000074d: PUSH2 0x1f66 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH1 0x40 00000754: MLOAD 00000755: DUP1 00000756: DUP3 00000757: DUP2 00000758: MSTORE 00000759: PUSH1 0x20 0000075b: ADD 0000075c: SWAP2 0000075d: POP 0000075e: POP 0000075f: PUSH1 0x40 00000761: MLOAD 00000762: DUP1 00000763: SWAP2 00000764: SUB 00000765: SWAP1 00000766: RETURN 00000767: JUMPDEST 00000768: CALLVALUE 00000769: ISZERO 0000076a: PUSH2 0x0772 0000076d: JUMPI 0000076e: PUSH1 0x00 00000770: DUP1 00000771: REVERT 00000772: JUMPDEST 00000773: PUSH2 0x077a 00000776: PUSH2 0x1f78 00000779: JUMP 0000077a: JUMPDEST 0000077b: STOP 0000077c: JUMPDEST 0000077d: PUSH1 0x00 0000077f: DUP1 00000780: PUSH1 0x00 00000782: DUP1 00000783: PUSH1 0x00 00000785: DUP1 00000786: PUSH1 0x00 00000788: DUP1 00000789: PUSH1 0x00 0000078b: DUP11 0000078c: PUSH1 0x00 0000078e: CALLER 0000078f: SWAP1 00000790: POP 00000791: PUSH1 0x0b 00000793: PUSH1 0x00 00000795: SWAP1 00000796: SLOAD 00000797: SWAP1 00000798: PUSH2 0x0100 0000079b: EXP 0000079c: SWAP1 0000079d: DIV 0000079e: PUSH1 0xff 000007a0: AND 000007a1: DUP1 000007a2: ISZERO 000007a3: PUSH2 0x07be 000007a6: JUMPI 000007a7: POP 000007a8: PUSH9 0x01158e460913d00000 000007b2: DUP3 000007b3: PUSH2 0x07ba 000007b6: PUSH2 0x14e7 000007b9: JUMP 000007ba: JUMPDEST 000007bb: SUB 000007bc: GT 000007bd: ISZERO 000007be: JUMPDEST 000007bf: ISZERO 000007c0: PUSH2 0x0cac 000007c3: JUMPI 000007c4: PUSH1 0x01 000007c6: ISZERO 000007c7: ISZERO 000007c8: PUSH1 0x03 000007ca: PUSH1 0x00 000007cc: DUP4 000007cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e2: AND 000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f8: AND 000007f9: DUP2 000007fa: MSTORE 000007fb: PUSH1 0x20 000007fd: ADD 000007fe: SWAP1 000007ff: DUP2 00000800: MSTORE 00000801: PUSH1 0x20 00000803: ADD 00000804: PUSH1 0x00 00000806: KECCAK256 00000807: PUSH1 0x00 00000809: SWAP1 0000080a: SLOAD 0000080b: SWAP1 0000080c: PUSH2 0x0100 0000080f: EXP 00000810: SWAP1 00000811: DIV 00000812: PUSH1 0xff 00000814: AND 00000815: ISZERO 00000816: ISZERO 00000817: EQ 00000818: DUP1 00000819: ISZERO 0000081a: PUSH2 0x086c 0000081d: JUMPI 0000081e: POP 0000081f: PUSH8 0x8ac7230489e80000 00000828: DUP3 00000829: PUSH1 0x07 0000082b: PUSH1 0x00 0000082d: DUP5 0000082e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000843: AND 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: DUP2 0000085b: MSTORE 0000085c: PUSH1 0x20 0000085e: ADD 0000085f: SWAP1 00000860: DUP2 00000861: MSTORE 00000862: PUSH1 0x20 00000864: ADD 00000865: PUSH1 0x00 00000867: KECCAK256 00000868: SLOAD 00000869: ADD 0000086a: GT 0000086b: ISZERO 0000086c: JUMPDEST 0000086d: ISZERO 0000086e: ISZERO 0000086f: PUSH2 0x0877 00000872: JUMPI 00000873: PUSH1 0x00 00000875: DUP1 00000876: REVERT 00000877: JUMPDEST 00000878: PUSH2 0x08c0 0000087b: PUSH1 0x07 0000087d: PUSH1 0x00 0000087f: DUP4 00000880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000895: AND 00000896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ab: AND 000008ac: DUP2 000008ad: MSTORE 000008ae: PUSH1 0x20 000008b0: ADD 000008b1: SWAP1 000008b2: DUP2 000008b3: MSTORE 000008b4: PUSH1 0x20 000008b6: ADD 000008b7: PUSH1 0x00 000008b9: KECCAK256 000008ba: SLOAD 000008bb: DUP4 000008bc: PUSH2 0x20ec 000008bf: JUMP 000008c0: JUMPDEST 000008c1: PUSH1 0x07 000008c3: PUSH1 0x00 000008c5: DUP4 000008c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008db: AND 000008dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f1: AND 000008f2: DUP2 000008f3: MSTORE 000008f4: PUSH1 0x20 000008f6: ADD 000008f7: SWAP1 000008f8: DUP2 000008f9: MSTORE 000008fa: PUSH1 0x20 000008fc: ADD 000008fd: PUSH1 0x00 000008ff: KECCAK256 00000900: DUP2 00000901: SWAP1 00000902: SSTORE 00000903: POP 00000904: CALLER 00000905: SWAP10 00000906: POP 00000907: PUSH2 0x0914 0000090a: DUP14 0000090b: PUSH1 0x0a 0000090d: PUSH1 0xff 0000090f: AND 00000910: PUSH2 0x210a 00000913: JUMP 00000914: JUMPDEST 00000915: SWAP9 00000916: POP 00000917: PUSH2 0x0921 0000091a: DUP10 0000091b: PUSH1 0x03 0000091d: PUSH2 0x210a 00000920: JUMP 00000921: JUMPDEST 00000922: SWAP8 00000923: POP 00000924: PUSH2 0x092d 00000927: DUP10 00000928: DUP10 00000929: PUSH2 0x2125 0000092c: JUMP 0000092d: JUMPDEST 0000092e: SWAP7 0000092f: POP 00000930: PUSH2 0x0939 00000933: DUP14 00000934: DUP11 00000935: PUSH2 0x2125 00000938: JUMP 00000939: JUMPDEST 0000093a: SWAP6 0000093b: POP 0000093c: PUSH2 0x0944 0000093f: DUP7 00000940: PUSH2 0x213e 00000943: JUMP 00000944: JUMPDEST 00000945: SWAP5 00000946: POP 00000947: PUSH9 0x010000000000000000 00000951: DUP8 00000952: MUL 00000953: SWAP4 00000954: POP 00000955: PUSH1 0x00 00000957: DUP6 00000958: GT 00000959: DUP1 0000095a: ISZERO 0000095b: PUSH2 0x0970 0000095e: JUMPI 0000095f: POP 00000960: PUSH1 0x08 00000962: SLOAD 00000963: PUSH2 0x096e 00000966: DUP7 00000967: PUSH1 0x08 00000969: SLOAD 0000096a: PUSH2 0x20ec 0000096d: JUMP 0000096e: JUMPDEST 0000096f: GT 00000970: JUMPDEST 00000971: ISZERO 00000972: ISZERO 00000973: PUSH2 0x097b 00000976: JUMPI 00000977: PUSH1 0x00 00000979: DUP1 0000097a: REVERT 0000097b: JUMPDEST 0000097c: PUSH1 0x00 0000097e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000993: AND 00000994: DUP13 00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009aa: AND 000009ab: EQ 000009ac: ISZERO 000009ad: DUP1 000009ae: ISZERO 000009af: PUSH2 0x09e4 000009b2: JUMPI 000009b3: POP 000009b4: DUP10 000009b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ca: AND 000009cb: DUP13 000009cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e1: AND 000009e2: EQ 000009e3: ISZERO 000009e4: JUMPDEST 000009e5: DUP1 000009e6: ISZERO 000009e7: PUSH2 0x0a31 000009ea: JUMPI 000009eb: POP 000009ec: PUSH1 0x02 000009ee: SLOAD 000009ef: PUSH1 0x04 000009f1: PUSH1 0x00 000009f3: DUP15 000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a09: AND 00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1f: AND 00000a20: DUP2 00000a21: MSTORE 00000a22: PUSH1 0x20 00000a24: ADD 00000a25: SWAP1 00000a26: DUP2 00000a27: MSTORE 00000a28: PUSH1 0x20 00000a2a: ADD 00000a2b: PUSH1 0x00 00000a2d: KECCAK256 00000a2e: SLOAD 00000a2f: LT 00000a30: ISZERO 00000a31: JUMPDEST 00000a32: ISZERO 00000a33: PUSH2 0x0ac7 00000a36: JUMPI 00000a37: PUSH2 0x0a7f 00000a3a: PUSH1 0x05 00000a3c: PUSH1 0x00 00000a3e: DUP15 00000a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a54: AND 00000a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6a: AND 00000a6b: DUP2 00000a6c: MSTORE 00000a6d: PUSH1 0x20 00000a6f: ADD 00000a70: SWAP1 00000a71: DUP2 00000a72: MSTORE 00000a73: PUSH1 0x20 00000a75: ADD 00000a76: PUSH1 0x00 00000a78: KECCAK256 00000a79: SLOAD 00000a7a: DUP10 00000a7b: PUSH2 0x20ec 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH1 0x05 00000a82: PUSH1 0x00 00000a84: DUP15 00000a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9a: AND 00000a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab0: AND 00000ab1: DUP2 00000ab2: MSTORE 00000ab3: PUSH1 0x20 00000ab5: ADD 00000ab6: SWAP1 00000ab7: DUP2 00000ab8: MSTORE 00000ab9: PUSH1 0x20 00000abb: ADD 00000abc: PUSH1 0x00 00000abe: KECCAK256 00000abf: DUP2 00000ac0: SWAP1 00000ac1: SSTORE 00000ac2: POP 00000ac3: PUSH2 0x0ae2 00000ac6: JUMP 00000ac7: JUMPDEST 00000ac8: PUSH2 0x0ad1 00000acb: DUP8 00000acc: DUP10 00000acd: PUSH2 0x20ec 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: SWAP7 00000ad3: POP 00000ad4: PUSH9 0x010000000000000000 00000ade: DUP8 00000adf: MUL 00000ae0: SWAP4 00000ae1: POP 00000ae2: JUMPDEST 00000ae3: PUSH1 0x00 00000ae5: PUSH1 0x08 00000ae7: SLOAD 00000ae8: GT 00000ae9: ISZERO 00000aea: PUSH2 0x0b4d 00000aed: JUMPI 00000aee: PUSH2 0x0af9 00000af1: PUSH1 0x08 00000af3: SLOAD 00000af4: DUP7 00000af5: PUSH2 0x20ec 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH1 0x08 00000afc: DUP2 00000afd: SWAP1 00000afe: SSTORE 00000aff: POP 00000b00: PUSH1 0x08 00000b02: SLOAD 00000b03: PUSH9 0x010000000000000000 00000b0d: DUP9 00000b0e: MUL 00000b0f: DUP2 00000b10: ISZERO 00000b11: ISZERO 00000b12: PUSH2 0x0b17 00000b15: JUMPI 00000b16: INVALID 00000b17: JUMPDEST 00000b18: DIV 00000b19: PUSH1 0x09 00000b1b: PUSH1 0x00 00000b1d: DUP3 00000b1e: DUP3 00000b1f: SLOAD 00000b20: ADD 00000b21: SWAP3 00000b22: POP 00000b23: POP 00000b24: DUP2 00000b25: SWAP1 00000b26: SSTORE 00000b27: POP 00000b28: PUSH1 0x08 00000b2a: SLOAD 00000b2b: PUSH9 0x010000000000000000 00000b35: DUP9 00000b36: MUL 00000b37: DUP2 00000b38: ISZERO 00000b39: ISZERO 00000b3a: PUSH2 0x0b3f 00000b3d: JUMPI 00000b3e: INVALID 00000b3f: JUMPDEST 00000b40: DIV 00000b41: DUP6 00000b42: MUL 00000b43: DUP5 00000b44: SUB 00000b45: DUP5 00000b46: SUB 00000b47: SWAP4 00000b48: POP 00000b49: PUSH2 0x0b55 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: DUP5 00000b4f: PUSH1 0x08 00000b51: DUP2 00000b52: SWAP1 00000b53: SSTORE 00000b54: POP 00000b55: JUMPDEST 00000b56: PUSH2 0x0b9e 00000b59: PUSH1 0x04 00000b5b: PUSH1 0x00 00000b5d: DUP13 00000b5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b73: AND 00000b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b89: AND 00000b8a: DUP2 00000b8b: MSTORE 00000b8c: PUSH1 0x20 00000b8e: ADD 00000b8f: SWAP1 00000b90: DUP2 00000b91: MSTORE 00000b92: PUSH1 0x20 00000b94: ADD 00000b95: PUSH1 0x00 00000b97: KECCAK256 00000b98: SLOAD 00000b99: DUP7 00000b9a: PUSH2 0x20ec 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: PUSH1 0x04 00000ba1: PUSH1 0x00 00000ba3: DUP13 00000ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb9: AND 00000bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bcf: AND 00000bd0: DUP2 00000bd1: MSTORE 00000bd2: PUSH1 0x20 00000bd4: ADD 00000bd5: SWAP1 00000bd6: DUP2 00000bd7: MSTORE 00000bd8: PUSH1 0x20 00000bda: ADD 00000bdb: PUSH1 0x00 00000bdd: KECCAK256 00000bde: DUP2 00000bdf: SWAP1 00000be0: SSTORE 00000be1: POP 00000be2: DUP4 00000be3: DUP6 00000be4: PUSH1 0x09 00000be6: SLOAD 00000be7: MUL 00000be8: SUB 00000be9: SWAP3 00000bea: POP 00000beb: DUP3 00000bec: PUSH1 0x06 00000bee: PUSH1 0x00 00000bf0: DUP13 00000bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c06: AND 00000c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1c: AND 00000c1d: DUP2 00000c1e: MSTORE 00000c1f: PUSH1 0x20 00000c21: ADD 00000c22: SWAP1 00000c23: DUP2 00000c24: MSTORE 00000c25: PUSH1 0x20 00000c27: ADD 00000c28: PUSH1 0x00 00000c2a: KECCAK256 00000c2b: PUSH1 0x00 00000c2d: DUP3 00000c2e: DUP3 00000c2f: SLOAD 00000c30: ADD 00000c31: SWAP3 00000c32: POP 00000c33: POP 00000c34: DUP2 00000c35: SWAP1 00000c36: SSTORE 00000c37: POP 00000c38: DUP12 00000c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4e: AND 00000c4f: DUP11 00000c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c65: AND 00000c66: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 00000c87: DUP16 00000c88: DUP9 00000c89: PUSH1 0x40 00000c8b: MLOAD 00000c8c: DUP1 00000c8d: DUP4 00000c8e: DUP2 00000c8f: MSTORE 00000c90: PUSH1 0x20 00000c92: ADD 00000c93: DUP3 00000c94: DUP2 00000c95: MSTORE 00000c96: PUSH1 0x20 00000c98: ADD 00000c99: SWAP3 00000c9a: POP 00000c9b: POP 00000c9c: POP 00000c9d: PUSH1 0x40 00000c9f: MLOAD 00000ca0: DUP1 00000ca1: SWAP2 00000ca2: SUB 00000ca3: SWAP1 00000ca4: LOG3 00000ca5: DUP5 00000ca6: SWAP11 00000ca7: POP 00000ca8: PUSH2 0x106c 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x00 00000caf: PUSH1 0x0b 00000cb1: PUSH1 0x00 00000cb3: PUSH2 0x0100 00000cb6: EXP 00000cb7: DUP2 00000cb8: SLOAD 00000cb9: DUP2 00000cba: PUSH1 0xff 00000cbc: MUL 00000cbd: NOT 00000cbe: AND 00000cbf: SWAP1 00000cc0: DUP4 00000cc1: ISZERO 00000cc2: ISZERO 00000cc3: MUL 00000cc4: OR 00000cc5: SWAP1 00000cc6: SSTORE 00000cc7: POP 00000cc8: CALLER 00000cc9: SWAP10 00000cca: POP 00000ccb: PUSH2 0x0cd8 00000cce: DUP14 00000ccf: PUSH1 0x0a 00000cd1: PUSH1 0xff 00000cd3: AND 00000cd4: PUSH2 0x210a 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: SWAP9 00000cda: POP 00000cdb: PUSH2 0x0ce5 00000cde: DUP10 00000cdf: PUSH1 0x03 00000ce1: PUSH2 0x210a 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: SWAP8 00000ce7: POP 00000ce8: PUSH2 0x0cf1 00000ceb: DUP10 00000cec: DUP10 00000ced: PUSH2 0x2125 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: SWAP7 00000cf3: POP 00000cf4: PUSH2 0x0cfd 00000cf7: DUP14 00000cf8: DUP11 00000cf9: PUSH2 0x2125 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: SWAP6 00000cff: POP 00000d00: PUSH2 0x0d08 00000d03: DUP7 00000d04: PUSH2 0x213e 00000d07: JUMP 00000d08: JUMPDEST 00000d09: SWAP5 00000d0a: POP 00000d0b: PUSH9 0x010000000000000000 00000d15: DUP8 00000d16: MUL 00000d17: SWAP4 00000d18: POP 00000d19: PUSH1 0x00 00000d1b: DUP6 00000d1c: GT 00000d1d: DUP1 00000d1e: ISZERO 00000d1f: PUSH2 0x0d34 00000d22: JUMPI 00000d23: POP 00000d24: PUSH1 0x08 00000d26: SLOAD 00000d27: PUSH2 0x0d32 00000d2a: DUP7 00000d2b: PUSH1 0x08 00000d2d: SLOAD 00000d2e: PUSH2 0x20ec 00000d31: JUMP 00000d32: JUMPDEST 00000d33: GT 00000d34: JUMPDEST 00000d35: ISZERO 00000d36: ISZERO 00000d37: PUSH2 0x0d3f 00000d3a: JUMPI 00000d3b: PUSH1 0x00 00000d3d: DUP1 00000d3e: REVERT 00000d3f: JUMPDEST 00000d40: PUSH1 0x00 00000d42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d57: AND 00000d58: DUP13 00000d59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6e: AND 00000d6f: EQ 00000d70: ISZERO 00000d71: DUP1 00000d72: ISZERO 00000d73: PUSH2 0x0da8 00000d76: JUMPI 00000d77: POP 00000d78: DUP10 00000d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8e: AND 00000d8f: DUP13 00000d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da5: AND 00000da6: EQ 00000da7: ISZERO 00000da8: JUMPDEST 00000da9: DUP1 00000daa: ISZERO 00000dab: PUSH2 0x0df5 00000dae: JUMPI 00000daf: POP 00000db0: PUSH1 0x02 00000db2: SLOAD 00000db3: PUSH1 0x04 00000db5: PUSH1 0x00 00000db7: DUP15 00000db8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dcd: AND 00000dce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000de3: AND 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH1 0x20 00000de8: ADD 00000de9: SWAP1 00000dea: DUP2 00000deb: MSTORE 00000dec: PUSH1 0x20 00000dee: ADD 00000def: PUSH1 0x00 00000df1: KECCAK256 00000df2: SLOAD 00000df3: LT 00000df4: ISZERO 00000df5: JUMPDEST 00000df6: ISZERO 00000df7: PUSH2 0x0e8b 00000dfa: JUMPI 00000dfb: PUSH2 0x0e43 00000dfe: PUSH1 0x05 00000e00: PUSH1 0x00 00000e02: DUP15 00000e03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e18: AND 00000e19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2e: AND 00000e2f: DUP2 00000e30: MSTORE 00000e31: PUSH1 0x20 00000e33: ADD 00000e34: SWAP1 00000e35: DUP2 00000e36: MSTORE 00000e37: PUSH1 0x20 00000e39: ADD 00000e3a: PUSH1 0x00 00000e3c: KECCAK256 00000e3d: SLOAD 00000e3e: DUP10 00000e3f: PUSH2 0x20ec 00000e42: JUMP 00000e43: JUMPDEST 00000e44: PUSH1 0x05 00000e46: PUSH1 0x00 00000e48: DUP15 00000e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e5e: AND 00000e5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e74: AND 00000e75: DUP2 00000e76: MSTORE 00000e77: PUSH1 0x20 00000e79: ADD 00000e7a: SWAP1 00000e7b: DUP2 00000e7c: MSTORE 00000e7d: PUSH1 0x20 00000e7f: ADD 00000e80: PUSH1 0x00 00000e82: KECCAK256 00000e83: DUP2 00000e84: SWAP1 00000e85: SSTORE 00000e86: POP 00000e87: PUSH2 0x0ea6 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: PUSH2 0x0e95 00000e8f: DUP8 00000e90: DUP10 00000e91: PUSH2 0x20ec 00000e94: JUMP 00000e95: JUMPDEST 00000e96: SWAP7 00000e97: POP 00000e98: PUSH9 0x010000000000000000 00000ea2: DUP8 00000ea3: MUL 00000ea4: SWAP4 00000ea5: POP 00000ea6: JUMPDEST 00000ea7: PUSH1 0x00 00000ea9: PUSH1 0x08 00000eab: SLOAD 00000eac: GT 00000ead: ISZERO 00000eae: PUSH2 0x0f11 00000eb1: JUMPI 00000eb2: PUSH2 0x0ebd 00000eb5: PUSH1 0x08 00000eb7: SLOAD 00000eb8: DUP7 00000eb9: PUSH2 0x20ec 00000ebc: JUMP 00000ebd: JUMPDEST 00000ebe: PUSH1 0x08 00000ec0: DUP2 00000ec1: SWAP1 00000ec2: SSTORE 00000ec3: POP 00000ec4: PUSH1 0x08 00000ec6: SLOAD 00000ec7: PUSH9 0x010000000000000000 00000ed1: DUP9 00000ed2: MUL 00000ed3: DUP2 00000ed4: ISZERO 00000ed5: ISZERO 00000ed6: PUSH2 0x0edb 00000ed9: JUMPI 00000eda: INVALID 00000edb: JUMPDEST 00000edc: DIV 00000edd: PUSH1 0x09 00000edf: PUSH1 0x00 00000ee1: DUP3 00000ee2: DUP3 00000ee3: SLOAD 00000ee4: ADD 00000ee5: SWAP3 00000ee6: POP 00000ee7: POP 00000ee8: DUP2 00000ee9: SWAP1 00000eea: SSTORE 00000eeb: POP 00000eec: PUSH1 0x08 00000eee: SLOAD 00000eef: PUSH9 0x010000000000000000 00000ef9: DUP9 00000efa: MUL 00000efb: DUP2 00000efc: ISZERO 00000efd: ISZERO 00000efe: PUSH2 0x0f03 00000f01: JUMPI 00000f02: INVALID 00000f03: JUMPDEST 00000f04: DIV 00000f05: DUP6 00000f06: MUL 00000f07: DUP5 00000f08: SUB 00000f09: DUP5 00000f0a: SUB 00000f0b: SWAP4 00000f0c: POP 00000f0d: PUSH2 0x0f19 00000f10: JUMP 00000f11: JUMPDEST 00000f12: DUP5 00000f13: PUSH1 0x08 00000f15: DUP2 00000f16: SWAP1 00000f17: SSTORE 00000f18: POP 00000f19: JUMPDEST 00000f1a: PUSH2 0x0f62 00000f1d: PUSH1 0x04 00000f1f: PUSH1 0x00 00000f21: DUP13 00000f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f37: AND 00000f38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4d: AND 00000f4e: DUP2 00000f4f: MSTORE 00000f50: PUSH1 0x20 00000f52: ADD 00000f53: SWAP1 00000f54: DUP2 00000f55: MSTORE 00000f56: PUSH1 0x20 00000f58: ADD 00000f59: PUSH1 0x00 00000f5b: KECCAK256 00000f5c: SLOAD 00000f5d: DUP7 00000f5e: PUSH2 0x20ec 00000f61: JUMP 00000f62: JUMPDEST 00000f63: PUSH1 0x04 00000f65: PUSH1 0x00 00000f67: DUP13 00000f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7d: AND 00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f93: AND 00000f94: DUP2 00000f95: MSTORE 00000f96: PUSH1 0x20 00000f98: ADD 00000f99: SWAP1 00000f9a: DUP2 00000f9b: MSTORE 00000f9c: PUSH1 0x20 00000f9e: ADD 00000f9f: PUSH1 0x00 00000fa1: KECCAK256 00000fa2: DUP2 00000fa3: SWAP1 00000fa4: SSTORE 00000fa5: POP 00000fa6: DUP4 00000fa7: DUP6 00000fa8: PUSH1 0x09 00000faa: SLOAD 00000fab: MUL 00000fac: SUB 00000fad: SWAP3 00000fae: POP 00000faf: DUP3 00000fb0: PUSH1 0x06 00000fb2: PUSH1 0x00 00000fb4: DUP13 00000fb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fca: AND 00000fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fe0: AND 00000fe1: DUP2 00000fe2: MSTORE 00000fe3: PUSH1 0x20 00000fe5: ADD 00000fe6: SWAP1 00000fe7: DUP2 00000fe8: MSTORE 00000fe9: PUSH1 0x20 00000feb: ADD 00000fec: PUSH1 0x00 00000fee: KECCAK256 00000fef: PUSH1 0x00 00000ff1: DUP3 00000ff2: DUP3 00000ff3: SLOAD 00000ff4: ADD 00000ff5: SWAP3 00000ff6: POP 00000ff7: POP 00000ff8: DUP2 00000ff9: SWAP1 00000ffa: SSTORE 00000ffb: POP 00000ffc: DUP12 00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001012: AND 00001013: DUP11 00001014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001029: AND 0000102a: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 0000104b: DUP16 0000104c: DUP9 0000104d: PUSH1 0x40 0000104f: MLOAD 00001050: DUP1 00001051: DUP4 00001052: DUP2 00001053: MSTORE 00001054: PUSH1 0x20 00001056: ADD 00001057: DUP3 00001058: DUP2 00001059: MSTORE 0000105a: PUSH1 0x20 0000105c: ADD 0000105d: SWAP3 0000105e: POP 0000105f: POP 00001060: POP 00001061: PUSH1 0x40 00001063: MLOAD 00001064: DUP1 00001065: SWAP2 00001066: SUB 00001067: SWAP1 00001068: LOG3 00001069: DUP5 0000106a: SWAP11 0000106b: POP 0000106c: JUMPDEST 0000106d: POP 0000106e: POP 0000106f: POP 00001070: POP 00001071: POP 00001072: POP 00001073: POP 00001074: POP 00001075: POP 00001076: POP 00001077: SWAP3 00001078: SWAP2 00001079: POP 0000107a: POP 0000107b: JUMP 0000107c: JUMPDEST 0000107d: PUSH1 0x00 0000107f: PUSH9 0x010000000000000000 00001089: PUSH1 0x06 0000108b: PUSH1 0x00 0000108d: DUP5 0000108e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a3: AND 000010a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b9: AND 000010ba: DUP2 000010bb: MSTORE 000010bc: PUSH1 0x20 000010be: ADD 000010bf: SWAP1 000010c0: DUP2 000010c1: MSTORE 000010c2: PUSH1 0x20 000010c4: ADD 000010c5: PUSH1 0x00 000010c7: KECCAK256 000010c8: SLOAD 000010c9: PUSH1 0x04 000010cb: PUSH1 0x00 000010cd: DUP6 000010ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e3: AND 000010e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f9: AND 000010fa: DUP2 000010fb: MSTORE 000010fc: PUSH1 0x20 000010fe: ADD 000010ff: SWAP1 00001100: DUP2 00001101: MSTORE 00001102: PUSH1 0x20 00001104: ADD 00001105: PUSH1 0x00 00001107: KECCAK256 00001108: SLOAD 00001109: PUSH1 0x09 0000110b: SLOAD 0000110c: MUL 0000110d: SUB 0000110e: DUP2 0000110f: ISZERO 00001110: ISZERO 00001111: PUSH2 0x1116 00001114: JUMPI 00001115: INVALID 00001116: JUMPDEST 00001117: DIV 00001118: SWAP1 00001119: POP 0000111a: SWAP2 0000111b: SWAP1 0000111c: POP 0000111d: JUMP 0000111e: JUMPDEST 0000111f: PUSH1 0x00 00001121: DUP1 00001122: SLOAD 00001123: PUSH1 0x01 00001125: DUP2 00001126: PUSH1 0x01 00001128: AND 00001129: ISZERO 0000112a: PUSH2 0x0100 0000112d: MUL 0000112e: SUB 0000112f: AND 00001130: PUSH1 0x02 00001132: SWAP1 00001133: DIV 00001134: DUP1 00001135: PUSH1 0x1f 00001137: ADD 00001138: PUSH1 0x20 0000113a: DUP1 0000113b: SWAP2 0000113c: DIV 0000113d: MUL 0000113e: PUSH1 0x20 00001140: ADD 00001141: PUSH1 0x40 00001143: MLOAD 00001144: SWAP1 00001145: DUP2 00001146: ADD 00001147: PUSH1 0x40 00001149: MSTORE 0000114a: DUP1 0000114b: SWAP3 0000114c: SWAP2 0000114d: SWAP1 0000114e: DUP2 0000114f: DUP2 00001150: MSTORE 00001151: PUSH1 0x20 00001153: ADD 00001154: DUP3 00001155: DUP1 00001156: SLOAD 00001157: PUSH1 0x01 00001159: DUP2 0000115a: PUSH1 0x01 0000115c: AND 0000115d: ISZERO 0000115e: PUSH2 0x0100 00001161: MUL 00001162: SUB 00001163: AND 00001164: PUSH1 0x02 00001166: SWAP1 00001167: DIV 00001168: DUP1 00001169: ISZERO 0000116a: PUSH2 0x11b4 0000116d: JUMPI 0000116e: DUP1 0000116f: PUSH1 0x1f 00001171: LT 00001172: PUSH2 0x1189 00001175: JUMPI 00001176: PUSH2 0x0100 00001179: DUP1 0000117a: DUP4 0000117b: SLOAD 0000117c: DIV 0000117d: MUL 0000117e: DUP4 0000117f: MSTORE 00001180: SWAP2 00001181: PUSH1 0x20 00001183: ADD 00001184: SWAP2 00001185: PUSH2 0x11b4 00001188: JUMP 00001189: JUMPDEST 0000118a: DUP3 0000118b: ADD 0000118c: SWAP2 0000118d: SWAP1 0000118e: PUSH1 0x00 00001190: MSTORE 00001191: PUSH1 0x20 00001193: PUSH1 0x00 00001195: KECCAK256 00001196: SWAP1 00001197: JUMPDEST 00001198: DUP2 00001199: SLOAD 0000119a: DUP2 0000119b: MSTORE 0000119c: SWAP1 0000119d: PUSH1 0x01 0000119f: ADD 000011a0: SWAP1 000011a1: PUSH1 0x20 000011a3: ADD 000011a4: DUP1 000011a5: DUP4 000011a6: GT 000011a7: PUSH2 0x1197 000011aa: JUMPI 000011ab: DUP3 000011ac: SWAP1 000011ad: SUB 000011ae: PUSH1 0x1f 000011b0: AND 000011b1: DUP3 000011b2: ADD 000011b3: SWAP2 000011b4: JUMPDEST 000011b5: POP 000011b6: POP 000011b7: POP 000011b8: POP 000011b9: POP 000011ba: DUP2 000011bb: JUMP 000011bc: JUMPDEST 000011bd: PUSH1 0x00 000011bf: DUP1 000011c0: PUSH1 0x00 000011c2: DUP1 000011c3: PUSH2 0x11d0 000011c6: DUP6 000011c7: PUSH1 0x0a 000011c9: PUSH1 0xff 000011cb: AND 000011cc: PUSH2 0x210a 000011cf: JUMP 000011d0: JUMPDEST 000011d1: SWAP3 000011d2: POP 000011d3: PUSH2 0x11dc 000011d6: DUP6 000011d7: DUP5 000011d8: PUSH2 0x2125 000011db: JUMP 000011dc: JUMPDEST 000011dd: SWAP2 000011de: POP 000011df: PUSH2 0x11e7 000011e2: DUP3 000011e3: PUSH2 0x213e 000011e6: JUMP 000011e7: JUMPDEST 000011e8: SWAP1 000011e9: POP 000011ea: DUP1 000011eb: SWAP4 000011ec: POP 000011ed: POP 000011ee: POP 000011ef: POP 000011f0: SWAP2 000011f1: SWAP1 000011f2: POP 000011f3: JUMP 000011f4: JUMPDEST 000011f5: PUSH1 0x00 000011f7: PUSH1 0x08 000011f9: SLOAD 000011fa: SWAP1 000011fb: POP 000011fc: SWAP1 000011fd: JUMP 000011fe: JUMPDEST 000011ff: PUSH1 0x00 00001201: DUP1 00001202: PUSH1 0x00 00001204: DUP1 00001205: PUSH1 0x08 00001207: SLOAD 00001208: DUP6 00001209: GT 0000120a: ISZERO 0000120b: ISZERO 0000120c: ISZERO 0000120d: PUSH2 0x1215 00001210: JUMPI 00001211: PUSH1 0x00 00001213: DUP1 00001214: REVERT 00001215: JUMPDEST 00001216: PUSH2 0x121e 00001219: DUP6 0000121a: PUSH2 0x21cb 0000121d: JUMP 0000121e: JUMPDEST 0000121f: SWAP3 00001220: POP 00001221: PUSH2 0x122e 00001224: DUP4 00001225: PUSH1 0x0a 00001227: PUSH1 0xff 00001229: AND 0000122a: PUSH2 0x210a 0000122d: JUMP 0000122e: JUMPDEST 0000122f: SWAP2 00001230: POP 00001231: PUSH2 0x123a 00001234: DUP4 00001235: DUP4 00001236: PUSH2 0x2125 00001239: JUMP 0000123a: JUMPDEST 0000123b: SWAP1 0000123c: POP 0000123d: DUP1 0000123e: SWAP4 0000123f: POP 00001240: POP 00001241: POP 00001242: POP 00001243: SWAP2 00001244: SWAP1 00001245: POP 00001246: JUMP 00001247: JUMPDEST 00001248: PUSH1 0x0b 0000124a: PUSH1 0x00 0000124c: SWAP1 0000124d: SLOAD 0000124e: SWAP1 0000124f: PUSH2 0x0100 00001252: EXP 00001253: SWAP1 00001254: DIV 00001255: PUSH1 0xff 00001257: AND 00001258: DUP2 00001259: JUMP 0000125a: JUMPDEST 0000125b: PUSH1 0x12 0000125d: DUP2 0000125e: JUMP 0000125f: JUMPDEST 00001260: PUSH1 0x0a 00001262: PUSH1 0x20 00001264: MSTORE 00001265: DUP1 00001266: PUSH1 0x00 00001268: MSTORE 00001269: PUSH1 0x40 0000126b: PUSH1 0x00 0000126d: KECCAK256 0000126e: PUSH1 0x00 00001270: SWAP2 00001271: POP 00001272: SLOAD 00001273: SWAP1 00001274: PUSH2 0x0100 00001277: EXP 00001278: SWAP1 00001279: DIV 0000127a: PUSH1 0xff 0000127c: AND 0000127d: DUP2 0000127e: JUMP 0000127f: JUMPDEST 00001280: PUSH1 0x00 00001282: DUP1 00001283: PUSH1 0x00 00001285: PUSH2 0x128e 00001288: PUSH1 0x01 0000128a: PUSH2 0x147b 0000128d: JUMP 0000128e: JUMPDEST 0000128f: GT 00001290: ISZERO 00001291: ISZERO 00001292: PUSH2 0x129a 00001295: JUMPI 00001296: PUSH1 0x00 00001298: DUP1 00001299: REVERT 0000129a: JUMPDEST 0000129b: CALLER 0000129c: SWAP2 0000129d: POP 0000129e: PUSH2 0x12a7 000012a1: PUSH1 0x00 000012a3: PUSH2 0x147b 000012a6: JUMP 000012a7: JUMPDEST 000012a8: SWAP1 000012a9: POP 000012aa: PUSH9 0x010000000000000000 000012b4: DUP2 000012b5: MUL 000012b6: PUSH1 0x06 000012b8: PUSH1 0x00 000012ba: DUP5 000012bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d0: AND 000012d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e6: AND 000012e7: DUP2 000012e8: MSTORE 000012e9: PUSH1 0x20 000012eb: ADD 000012ec: SWAP1 000012ed: DUP2 000012ee: MSTORE 000012ef: PUSH1 0x20 000012f1: ADD 000012f2: PUSH1 0x00 000012f4: KECCAK256 000012f5: PUSH1 0x00 000012f7: DUP3 000012f8: DUP3 000012f9: SLOAD 000012fa: ADD 000012fb: SWAP3 000012fc: POP 000012fd: POP 000012fe: DUP2 000012ff: SWAP1 00001300: SSTORE 00001301: POP 00001302: PUSH1 0x05 00001304: PUSH1 0x00 00001306: DUP4 00001307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000131c: AND 0000131d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001332: AND 00001333: DUP2 00001334: MSTORE 00001335: PUSH1 0x20 00001337: ADD 00001338: SWAP1 00001339: DUP2 0000133a: MSTORE 0000133b: PUSH1 0x20 0000133d: ADD 0000133e: PUSH1 0x00 00001340: KECCAK256 00001341: SLOAD 00001342: DUP2 00001343: ADD 00001344: SWAP1 00001345: POP 00001346: PUSH1 0x00 00001348: PUSH1 0x05 0000134a: PUSH1 0x00 0000134c: DUP5 0000134d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001362: AND 00001363: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001378: AND 00001379: DUP2 0000137a: MSTORE 0000137b: PUSH1 0x20 0000137d: ADD 0000137e: SWAP1 0000137f: DUP2 00001380: MSTORE 00001381: PUSH1 0x20 00001383: ADD 00001384: PUSH1 0x00 00001386: KECCAK256 00001387: DUP2 00001388: SWAP1 00001389: SSTORE 0000138a: POP 0000138b: DUP2 0000138c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a1: AND 000013a2: PUSH2 0x08fc 000013a5: DUP3 000013a6: SWAP1 000013a7: DUP2 000013a8: ISZERO 000013a9: MUL 000013aa: SWAP1 000013ab: PUSH1 0x40 000013ad: MLOAD 000013ae: PUSH1 0x00 000013b0: PUSH1 0x40 000013b2: MLOAD 000013b3: DUP1 000013b4: DUP4 000013b5: SUB 000013b6: DUP2 000013b7: DUP6 000013b8: DUP9 000013b9: DUP9 000013ba: CALL 000013bb: SWAP4 000013bc: POP 000013bd: POP 000013be: POP 000013bf: POP 000013c0: ISZERO 000013c1: ISZERO 000013c2: PUSH2 0x13ca 000013c5: JUMPI 000013c6: PUSH1 0x00 000013c8: DUP1 000013c9: REVERT 000013ca: JUMPDEST 000013cb: DUP2 000013cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e1: AND 000013e2: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00001403: DUP3 00001404: PUSH1 0x40 00001406: MLOAD 00001407: DUP1 00001408: DUP3 00001409: DUP2 0000140a: MSTORE 0000140b: PUSH1 0x20 0000140d: ADD 0000140e: SWAP2 0000140f: POP 00001410: POP 00001411: PUSH1 0x40 00001413: MLOAD 00001414: DUP1 00001415: SWAP2 00001416: SUB 00001417: SWAP1 00001418: LOG2 00001419: POP 0000141a: POP 0000141b: JUMP 0000141c: JUMPDEST 0000141d: PUSH1 0x00 0000141f: DUP1 00001420: PUSH1 0x00 00001422: DUP1 00001423: PUSH1 0x00 00001425: PUSH1 0x08 00001427: SLOAD 00001428: EQ 00001429: ISZERO 0000142a: PUSH2 0x143c 0000142d: JUMPI 0000142e: PUSH5 0x02540be400 00001434: DUP1 00001435: SUB 00001436: SWAP4 00001437: POP 00001438: PUSH2 0x146f 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH2 0x144d 00001440: PUSH8 0x0de0b6b3a7640000 00001449: PUSH2 0x21cb 0000144c: JUMP 0000144d: JUMPDEST 0000144e: SWAP3 0000144f: POP 00001450: PUSH2 0x145d 00001453: DUP4 00001454: PUSH1 0x0a 00001456: PUSH1 0xff 00001458: AND 00001459: PUSH2 0x210a 0000145c: JUMP 0000145d: JUMPDEST 0000145e: SWAP2 0000145f: POP 00001460: PUSH2 0x1469 00001463: DUP4 00001464: DUP4 00001465: PUSH2 0x2125 00001468: JUMP 00001469: JUMPDEST 0000146a: SWAP1 0000146b: POP 0000146c: DUP1 0000146d: SWAP4 0000146e: POP 0000146f: JUMPDEST 00001470: POP 00001471: POP 00001472: POP 00001473: SWAP1 00001474: JUMP 00001475: JUMPDEST 00001476: PUSH1 0x02 00001478: SLOAD 00001479: DUP2 0000147a: JUMP 0000147b: JUMPDEST 0000147c: PUSH1 0x00 0000147e: DUP1 0000147f: CALLER 00001480: SWAP1 00001481: POP 00001482: DUP3 00001483: PUSH2 0x1494 00001486: JUMPI 00001487: PUSH2 0x148f 0000148a: DUP2 0000148b: PUSH2 0x107c 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH2 0x14df 00001493: JUMP 00001494: JUMPDEST 00001495: PUSH1 0x05 00001497: PUSH1 0x00 00001499: DUP3 0000149a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014af: AND 000014b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c5: AND 000014c6: DUP2 000014c7: MSTORE 000014c8: PUSH1 0x20 000014ca: ADD 000014cb: SWAP1 000014cc: DUP2 000014cd: MSTORE 000014ce: PUSH1 0x20 000014d0: ADD 000014d1: PUSH1 0x00 000014d3: KECCAK256 000014d4: SLOAD 000014d5: PUSH2 0x14dd 000014d8: DUP3 000014d9: PUSH2 0x107c 000014dc: JUMP 000014dd: JUMPDEST 000014de: ADD 000014df: JUMPDEST 000014e0: SWAP2 000014e1: POP 000014e2: POP 000014e3: SWAP2 000014e4: SWAP1 000014e5: POP 000014e6: JUMP 000014e7: JUMPDEST 000014e8: PUSH1 0x00 000014ea: ADDRESS 000014eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001500: AND 00001501: BALANCE 00001502: SWAP1 00001503: POP 00001504: SWAP1 00001505: JUMP 00001506: JUMPDEST 00001507: PUSH1 0x00 00001509: PUSH1 0x04 0000150b: PUSH1 0x00 0000150d: DUP4 0000150e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001523: AND 00001524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001539: AND 0000153a: DUP2 0000153b: MSTORE 0000153c: PUSH1 0x20 0000153e: ADD 0000153f: SWAP1 00001540: DUP2 00001541: MSTORE 00001542: PUSH1 0x20 00001544: ADD 00001545: PUSH1 0x00 00001547: KECCAK256 00001548: SLOAD 00001549: SWAP1 0000154a: POP 0000154b: SWAP2 0000154c: SWAP1 0000154d: POP 0000154e: JUMP 0000154f: JUMPDEST 00001550: PUSH1 0x00 00001552: CALLER 00001553: SWAP1 00001554: POP 00001555: PUSH1 0x0a 00001557: PUSH1 0x00 00001559: DUP3 0000155a: PUSH1 0x40 0000155c: MLOAD 0000155d: DUP1 0000155e: DUP3 0000155f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001574: AND 00001575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158a: AND 0000158b: PUSH13 0x01000000000000000000000000 00001599: MUL 0000159a: DUP2 0000159b: MSTORE 0000159c: PUSH1 0x14 0000159e: ADD 0000159f: SWAP2 000015a0: POP 000015a1: POP 000015a2: PUSH1 0x40 000015a4: MLOAD 000015a5: DUP1 000015a6: SWAP2 000015a7: SUB 000015a8: SWAP1 000015a9: KECCAK256 000015aa: PUSH1 0x00 000015ac: NOT 000015ad: AND 000015ae: PUSH1 0x00 000015b0: NOT 000015b1: AND 000015b2: DUP2 000015b3: MSTORE 000015b4: PUSH1 0x20 000015b6: ADD 000015b7: SWAP1 000015b8: DUP2 000015b9: MSTORE 000015ba: PUSH1 0x20 000015bc: ADD 000015bd: PUSH1 0x00 000015bf: KECCAK256 000015c0: PUSH1 0x00 000015c2: SWAP1 000015c3: SLOAD 000015c4: SWAP1 000015c5: PUSH2 0x0100 000015c8: EXP 000015c9: SWAP1 000015ca: DIV 000015cb: PUSH1 0xff 000015cd: AND 000015ce: ISZERO 000015cf: ISZERO 000015d0: PUSH2 0x15d8 000015d3: JUMPI 000015d4: PUSH1 0x00 000015d6: DUP1 000015d7: REVERT 000015d8: JUMPDEST 000015d9: DUP2 000015da: PUSH1 0x02 000015dc: DUP2 000015dd: SWAP1 000015de: SSTORE 000015df: POP 000015e0: POP 000015e1: POP 000015e2: JUMP 000015e3: JUMPDEST 000015e4: PUSH1 0x00 000015e6: DUP1 000015e7: PUSH1 0x00 000015e9: DUP1 000015ea: PUSH1 0x00 000015ec: PUSH1 0x08 000015ee: SLOAD 000015ef: EQ 000015f0: ISZERO 000015f1: PUSH2 0x1603 000015f4: JUMPI 000015f5: PUSH5 0x02540be400 000015fb: DUP1 000015fc: ADD 000015fd: SWAP4 000015fe: POP 000015ff: PUSH2 0x1636 00001602: JUMP 00001603: JUMPDEST 00001604: PUSH2 0x1614 00001607: PUSH8 0x0de0b6b3a7640000 00001610: PUSH2 0x21cb 00001613: JUMP 00001614: JUMPDEST 00001615: SWAP3 00001616: POP 00001617: PUSH2 0x1624 0000161a: DUP4 0000161b: PUSH1 0x0a 0000161d: PUSH1 0xff 0000161f: AND 00001620: PUSH2 0x210a 00001623: JUMP 00001624: JUMPDEST 00001625: SWAP2 00001626: POP 00001627: PUSH2 0x1630 0000162a: DUP4 0000162b: DUP4 0000162c: PUSH2 0x20ec 0000162f: JUMP 00001630: JUMPDEST 00001631: SWAP1 00001632: POP 00001633: DUP1 00001634: SWAP4 00001635: POP 00001636: JUMPDEST 00001637: POP 00001638: POP 00001639: POP 0000163a: SWAP1 0000163b: JUMP 0000163c: JUMPDEST 0000163d: PUSH1 0x00 0000163f: CALLER 00001640: SWAP1 00001641: POP 00001642: PUSH1 0x0a 00001644: PUSH1 0x00 00001646: DUP3 00001647: PUSH1 0x40 00001649: MLOAD 0000164a: DUP1 0000164b: DUP3 0000164c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001661: AND 00001662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001677: AND 00001678: PUSH13 0x01000000000000000000000000 00001686: MUL 00001687: DUP2 00001688: MSTORE 00001689: PUSH1 0x14 0000168b: ADD 0000168c: SWAP2 0000168d: POP 0000168e: POP 0000168f: PUSH1 0x40 00001691: MLOAD 00001692: DUP1 00001693: SWAP2 00001694: SUB 00001695: SWAP1 00001696: KECCAK256 00001697: PUSH1 0x00 00001699: NOT 0000169a: AND 0000169b: PUSH1 0x00 0000169d: NOT 0000169e: AND 0000169f: DUP2 000016a0: MSTORE 000016a1: PUSH1 0x20 000016a3: ADD 000016a4: SWAP1 000016a5: DUP2 000016a6: MSTORE 000016a7: PUSH1 0x20 000016a9: ADD 000016aa: PUSH1 0x00 000016ac: KECCAK256 000016ad: PUSH1 0x00 000016af: SWAP1 000016b0: SLOAD 000016b1: SWAP1 000016b2: PUSH2 0x0100 000016b5: EXP 000016b6: SWAP1 000016b7: DIV 000016b8: PUSH1 0xff 000016ba: AND 000016bb: ISZERO 000016bc: ISZERO 000016bd: PUSH2 0x16c5 000016c0: JUMPI 000016c1: PUSH1 0x00 000016c3: DUP1 000016c4: REVERT 000016c5: JUMPDEST 000016c6: DUP2 000016c7: PUSH1 0x0a 000016c9: PUSH1 0x00 000016cb: DUP6 000016cc: PUSH1 0x00 000016ce: NOT 000016cf: AND 000016d0: PUSH1 0x00 000016d2: NOT 000016d3: AND 000016d4: DUP2 000016d5: MSTORE 000016d6: PUSH1 0x20 000016d8: ADD 000016d9: SWAP1 000016da: DUP2 000016db: MSTORE 000016dc: PUSH1 0x20 000016de: ADD 000016df: PUSH1 0x00 000016e1: KECCAK256 000016e2: PUSH1 0x00 000016e4: PUSH2 0x0100 000016e7: EXP 000016e8: DUP2 000016e9: SLOAD 000016ea: DUP2 000016eb: PUSH1 0xff 000016ed: MUL 000016ee: NOT 000016ef: AND 000016f0: SWAP1 000016f1: DUP4 000016f2: ISZERO 000016f3: ISZERO 000016f4: MUL 000016f5: OR 000016f6: SWAP1 000016f7: SSTORE 000016f8: POP 000016f9: POP 000016fa: POP 000016fb: POP 000016fc: JUMP 000016fd: JUMPDEST 000016fe: PUSH1 0x00 00001700: DUP1 00001701: CALLER 00001702: SWAP1 00001703: POP 00001704: PUSH2 0x170c 00001707: DUP2 00001708: PUSH2 0x1506 0000170b: JUMP 0000170c: JUMPDEST 0000170d: SWAP2 0000170e: POP 0000170f: POP 00001710: SWAP1 00001711: JUMP 00001712: JUMPDEST 00001713: PUSH1 0x01 00001715: DUP1 00001716: SLOAD 00001717: PUSH1 0x01 00001719: DUP2 0000171a: PUSH1 0x01 0000171c: AND 0000171d: ISZERO 0000171e: PUSH2 0x0100 00001721: MUL 00001722: SUB 00001723: AND 00001724: PUSH1 0x02 00001726: SWAP1 00001727: DIV 00001728: DUP1 00001729: PUSH1 0x1f 0000172b: ADD 0000172c: PUSH1 0x20 0000172e: DUP1 0000172f: SWAP2 00001730: DIV 00001731: MUL 00001732: PUSH1 0x20 00001734: ADD 00001735: PUSH1 0x40 00001737: MLOAD 00001738: SWAP1 00001739: DUP2 0000173a: ADD 0000173b: PUSH1 0x40 0000173d: MSTORE 0000173e: DUP1 0000173f: SWAP3 00001740: SWAP2 00001741: SWAP1 00001742: DUP2 00001743: DUP2 00001744: MSTORE 00001745: PUSH1 0x20 00001747: ADD 00001748: DUP3 00001749: DUP1 0000174a: SLOAD 0000174b: PUSH1 0x01 0000174d: DUP2 0000174e: PUSH1 0x01 00001750: AND 00001751: ISZERO 00001752: PUSH2 0x0100 00001755: MUL 00001756: SUB 00001757: AND 00001758: PUSH1 0x02 0000175a: SWAP1 0000175b: DIV 0000175c: DUP1 0000175d: ISZERO 0000175e: PUSH2 0x17a8 00001761: JUMPI 00001762: DUP1 00001763: PUSH1 0x1f 00001765: LT 00001766: PUSH2 0x177d 00001769: JUMPI 0000176a: PUSH2 0x0100 0000176d: DUP1 0000176e: DUP4 0000176f: SLOAD 00001770: DIV 00001771: MUL 00001772: DUP4 00001773: MSTORE 00001774: SWAP2 00001775: PUSH1 0x20 00001777: ADD 00001778: SWAP2 00001779: PUSH2 0x17a8 0000177c: JUMP 0000177d: JUMPDEST 0000177e: DUP3 0000177f: ADD 00001780: SWAP2 00001781: SWAP1 00001782: PUSH1 0x00 00001784: MSTORE 00001785: PUSH1 0x20 00001787: PUSH1 0x00 00001789: KECCAK256 0000178a: SWAP1 0000178b: JUMPDEST 0000178c: DUP2 0000178d: SLOAD 0000178e: DUP2 0000178f: MSTORE 00001790: SWAP1 00001791: PUSH1 0x01 00001793: ADD 00001794: SWAP1 00001795: PUSH1 0x20 00001797: ADD 00001798: DUP1 00001799: DUP4 0000179a: GT 0000179b: PUSH2 0x178b 0000179e: JUMPI 0000179f: DUP3 000017a0: SWAP1 000017a1: SUB 000017a2: PUSH1 0x1f 000017a4: AND 000017a5: DUP3 000017a6: ADD 000017a7: SWAP2 000017a8: JUMPDEST 000017a9: POP 000017aa: POP 000017ab: POP 000017ac: POP 000017ad: POP 000017ae: DUP2 000017af: JUMP 000017b0: JUMPDEST 000017b1: PUSH1 0x00 000017b3: CALLER 000017b4: SWAP1 000017b5: POP 000017b6: PUSH1 0x0a 000017b8: PUSH1 0x00 000017ba: DUP3 000017bb: PUSH1 0x40 000017bd: MLOAD 000017be: DUP1 000017bf: DUP3 000017c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d5: AND 000017d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017eb: AND 000017ec: PUSH13 0x01000000000000000000000000 000017fa: MUL 000017fb: DUP2 000017fc: MSTORE 000017fd: PUSH1 0x14 000017ff: ADD 00001800: SWAP2 00001801: POP 00001802: POP 00001803: PUSH1 0x40 00001805: MLOAD 00001806: DUP1 00001807: SWAP2 00001808: SUB 00001809: SWAP1 0000180a: KECCAK256 0000180b: PUSH1 0x00 0000180d: NOT 0000180e: AND 0000180f: PUSH1 0x00 00001811: NOT 00001812: AND 00001813: DUP2 00001814: MSTORE 00001815: PUSH1 0x20 00001817: ADD 00001818: SWAP1 00001819: DUP2 0000181a: MSTORE 0000181b: PUSH1 0x20 0000181d: ADD 0000181e: PUSH1 0x00 00001820: KECCAK256 00001821: PUSH1 0x00 00001823: SWAP1 00001824: SLOAD 00001825: SWAP1 00001826: PUSH2 0x0100 00001829: EXP 0000182a: SWAP1 0000182b: DIV 0000182c: PUSH1 0xff 0000182e: AND 0000182f: ISZERO 00001830: ISZERO 00001831: PUSH2 0x1839 00001834: JUMPI 00001835: PUSH1 0x00 00001837: DUP1 00001838: REVERT 00001839: JUMPDEST 0000183a: PUSH1 0x00 0000183c: PUSH1 0x0b 0000183e: PUSH1 0x00 00001840: PUSH2 0x0100 00001843: EXP 00001844: DUP2 00001845: SLOAD 00001846: DUP2 00001847: PUSH1 0xff 00001849: MUL 0000184a: NOT 0000184b: AND 0000184c: SWAP1 0000184d: DUP4 0000184e: ISZERO 0000184f: ISZERO 00001850: MUL 00001851: OR 00001852: SWAP1 00001853: SSTORE 00001854: POP 00001855: POP 00001856: JUMP 00001857: JUMPDEST 00001858: PUSH1 0x00 0000185a: DUP1 0000185b: PUSH1 0x00 0000185d: DUP1 0000185e: PUSH1 0x00 00001860: DUP1 00001861: PUSH2 0x1868 00001864: PUSH2 0x16fd 00001867: JUMP 00001868: JUMPDEST 00001869: GT 0000186a: ISZERO 0000186b: ISZERO 0000186c: PUSH2 0x1874 0000186f: JUMPI 00001870: PUSH1 0x00 00001872: DUP1 00001873: REVERT 00001874: JUMPDEST 00001875: CALLER 00001876: SWAP4 00001877: POP 00001878: PUSH1 0x0b 0000187a: PUSH1 0x00 0000187c: SWAP1 0000187d: SLOAD 0000187e: SWAP1 0000187f: PUSH2 0x0100 00001882: EXP 00001883: SWAP1 00001884: DIV 00001885: PUSH1 0xff 00001887: AND 00001888: ISZERO 00001889: DUP1 0000188a: ISZERO 0000188b: PUSH2 0x18d3 0000188e: JUMPI 0000188f: POP 00001890: PUSH1 0x04 00001892: PUSH1 0x00 00001894: DUP6 00001895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018aa: AND 000018ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c0: AND 000018c1: DUP2 000018c2: MSTORE 000018c3: PUSH1 0x20 000018c5: ADD 000018c6: SWAP1 000018c7: DUP2 000018c8: MSTORE 000018c9: PUSH1 0x20 000018cb: ADD 000018cc: PUSH1 0x00 000018ce: KECCAK256 000018cf: SLOAD 000018d0: DUP7 000018d1: GT 000018d2: ISZERO 000018d3: JUMPDEST 000018d4: ISZERO 000018d5: ISZERO 000018d6: PUSH2 0x18de 000018d9: JUMPI 000018da: PUSH1 0x00 000018dc: DUP1 000018dd: REVERT 000018de: JUMPDEST 000018df: PUSH1 0x00 000018e1: PUSH2 0x18ea 000018e4: PUSH1 0x01 000018e6: PUSH2 0x147b 000018e9: JUMP 000018ea: JUMPDEST 000018eb: GT 000018ec: ISZERO 000018ed: PUSH2 0x18f9 000018f0: JUMPI 000018f1: PUSH2 0x18f8 000018f4: PUSH2 0x127f 000018f7: JUMP 000018f8: JUMPDEST 000018f9: JUMPDEST 000018fa: PUSH2 0x1907 000018fd: DUP7 000018fe: PUSH1 0x0a 00001900: PUSH1 0xff 00001902: AND 00001903: PUSH2 0x210a 00001906: JUMP 00001907: JUMPDEST 00001908: SWAP3 00001909: POP 0000190a: PUSH2 0x1913 0000190d: DUP7 0000190e: DUP5 0000190f: PUSH2 0x2125 00001912: JUMP 00001913: JUMPDEST 00001914: SWAP2 00001915: POP 00001916: PUSH2 0x191e 00001919: DUP4 0000191a: PUSH2 0x21cb 0000191d: JUMP 0000191e: JUMPDEST 0000191f: SWAP1 00001920: POP 00001921: PUSH2 0x192c 00001924: PUSH1 0x08 00001926: SLOAD 00001927: DUP5 00001928: PUSH2 0x2125 0000192b: JUMP 0000192c: JUMPDEST 0000192d: PUSH1 0x08 0000192f: DUP2 00001930: SWAP1 00001931: SSTORE 00001932: POP 00001933: PUSH2 0x197b 00001936: PUSH1 0x04 00001938: PUSH1 0x00 0000193a: DUP7 0000193b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001950: AND 00001951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001966: AND 00001967: DUP2 00001968: MSTORE 00001969: PUSH1 0x20 0000196b: ADD 0000196c: SWAP1 0000196d: DUP2 0000196e: MSTORE 0000196f: PUSH1 0x20 00001971: ADD 00001972: PUSH1 0x00 00001974: KECCAK256 00001975: SLOAD 00001976: DUP8 00001977: PUSH2 0x2125 0000197a: JUMP 0000197b: JUMPDEST 0000197c: PUSH1 0x04 0000197e: PUSH1 0x00 00001980: DUP7 00001981: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001996: AND 00001997: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019ac: AND 000019ad: DUP2 000019ae: MSTORE 000019af: PUSH1 0x20 000019b1: ADD 000019b2: SWAP1 000019b3: DUP2 000019b4: MSTORE 000019b5: PUSH1 0x20 000019b7: ADD 000019b8: PUSH1 0x00 000019ba: KECCAK256 000019bb: DUP2 000019bc: SWAP1 000019bd: SSTORE 000019be: POP 000019bf: PUSH2 0x1a07 000019c2: PUSH1 0x04 000019c4: PUSH1 0x00 000019c6: DUP10 000019c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019dc: AND 000019dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f2: AND 000019f3: DUP2 000019f4: MSTORE 000019f5: PUSH1 0x20 000019f7: ADD 000019f8: SWAP1 000019f9: DUP2 000019fa: MSTORE 000019fb: PUSH1 0x20 000019fd: ADD 000019fe: PUSH1 0x00 00001a00: KECCAK256 00001a01: SLOAD 00001a02: DUP4 00001a03: PUSH2 0x20ec 00001a06: JUMP 00001a07: JUMPDEST 00001a08: PUSH1 0x04 00001a0a: PUSH1 0x00 00001a0c: DUP10 00001a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a22: AND 00001a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a38: AND 00001a39: DUP2 00001a3a: MSTORE 00001a3b: PUSH1 0x20 00001a3d: ADD 00001a3e: SWAP1 00001a3f: DUP2 00001a40: MSTORE 00001a41: PUSH1 0x20 00001a43: ADD 00001a44: PUSH1 0x00 00001a46: KECCAK256 00001a47: DUP2 00001a48: SWAP1 00001a49: SSTORE 00001a4a: POP 00001a4b: DUP6 00001a4c: PUSH1 0x09 00001a4e: SLOAD 00001a4f: MUL 00001a50: PUSH1 0x06 00001a52: PUSH1 0x00 00001a54: DUP7 00001a55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a6a: AND 00001a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a80: AND 00001a81: DUP2 00001a82: MSTORE 00001a83: PUSH1 0x20 00001a85: ADD 00001a86: SWAP1 00001a87: DUP2 00001a88: MSTORE 00001a89: PUSH1 0x20 00001a8b: ADD 00001a8c: PUSH1 0x00 00001a8e: KECCAK256 00001a8f: PUSH1 0x00 00001a91: DUP3 00001a92: DUP3 00001a93: SLOAD 00001a94: SUB 00001a95: SWAP3 00001a96: POP 00001a97: POP 00001a98: DUP2 00001a99: SWAP1 00001a9a: SSTORE 00001a9b: POP 00001a9c: DUP2 00001a9d: PUSH1 0x09 00001a9f: SLOAD 00001aa0: MUL 00001aa1: PUSH1 0x06 00001aa3: PUSH1 0x00 00001aa5: DUP10 00001aa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001abb: AND 00001abc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad1: AND 00001ad2: DUP2 00001ad3: MSTORE 00001ad4: PUSH1 0x20 00001ad6: ADD 00001ad7: SWAP1 00001ad8: DUP2 00001ad9: MSTORE 00001ada: PUSH1 0x20 00001adc: ADD 00001add: PUSH1 0x00 00001adf: KECCAK256 00001ae0: PUSH1 0x00 00001ae2: DUP3 00001ae3: DUP3 00001ae4: SLOAD 00001ae5: ADD 00001ae6: SWAP3 00001ae7: POP 00001ae8: POP 00001ae9: DUP2 00001aea: SWAP1 00001aeb: SSTORE 00001aec: POP 00001aed: PUSH2 0x1b10 00001af0: PUSH1 0x09 00001af2: SLOAD 00001af3: PUSH1 0x08 00001af5: SLOAD 00001af6: PUSH9 0x010000000000000000 00001b00: DUP5 00001b01: MUL 00001b02: DUP2 00001b03: ISZERO 00001b04: ISZERO 00001b05: PUSH2 0x1b0a 00001b08: JUMPI 00001b09: INVALID 00001b0a: JUMPDEST 00001b0b: DIV 00001b0c: PUSH2 0x20ec 00001b0f: JUMP 00001b10: JUMPDEST 00001b11: PUSH1 0x09 00001b13: DUP2 00001b14: SWAP1 00001b15: SSTORE 00001b16: POP 00001b17: DUP7 00001b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b2d: AND 00001b2e: DUP5 00001b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b44: AND 00001b45: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001b66: DUP5 00001b67: PUSH1 0x40 00001b69: MLOAD 00001b6a: DUP1 00001b6b: DUP3 00001b6c: DUP2 00001b6d: MSTORE 00001b6e: PUSH1 0x20 00001b70: ADD 00001b71: SWAP2 00001b72: POP 00001b73: POP 00001b74: PUSH1 0x40 00001b76: MLOAD 00001b77: DUP1 00001b78: SWAP2 00001b79: SUB 00001b7a: SWAP1 00001b7b: LOG3 00001b7c: PUSH1 0x01 00001b7e: SWAP5 00001b7f: POP 00001b80: POP 00001b81: POP 00001b82: POP 00001b83: POP 00001b84: SWAP3 00001b85: SWAP2 00001b86: POP 00001b87: POP 00001b88: JUMP 00001b89: JUMPDEST 00001b8a: PUSH1 0x00 00001b8c: CALLER 00001b8d: SWAP1 00001b8e: POP 00001b8f: PUSH1 0x0a 00001b91: PUSH1 0x00 00001b93: DUP3 00001b94: PUSH1 0x40 00001b96: MLOAD 00001b97: DUP1 00001b98: DUP3 00001b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bae: AND 00001baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc4: AND 00001bc5: PUSH13 0x01000000000000000000000000 00001bd3: MUL 00001bd4: DUP2 00001bd5: MSTORE 00001bd6: PUSH1 0x14 00001bd8: ADD 00001bd9: SWAP2 00001bda: POP 00001bdb: POP 00001bdc: PUSH1 0x40 00001bde: MLOAD 00001bdf: DUP1 00001be0: SWAP2 00001be1: SUB 00001be2: SWAP1 00001be3: KECCAK256 00001be4: PUSH1 0x00 00001be6: NOT 00001be7: AND 00001be8: PUSH1 0x00 00001bea: NOT 00001beb: AND 00001bec: DUP2 00001bed: MSTORE 00001bee: PUSH1 0x20 00001bf0: ADD 00001bf1: SWAP1 00001bf2: DUP2 00001bf3: MSTORE 00001bf4: PUSH1 0x20 00001bf6: ADD 00001bf7: PUSH1 0x00 00001bf9: KECCAK256 00001bfa: PUSH1 0x00 00001bfc: SWAP1 00001bfd: SLOAD 00001bfe: SWAP1 00001bff: PUSH2 0x0100 00001c02: EXP 00001c03: SWAP1 00001c04: DIV 00001c05: PUSH1 0xff 00001c07: AND 00001c08: ISZERO 00001c09: ISZERO 00001c0a: PUSH2 0x1c12 00001c0d: JUMPI 00001c0e: PUSH1 0x00 00001c10: DUP1 00001c11: REVERT 00001c12: JUMPDEST 00001c13: DUP2 00001c14: PUSH1 0x01 00001c16: SWAP1 00001c17: DUP1 00001c18: MLOAD 00001c19: SWAP1 00001c1a: PUSH1 0x20 00001c1c: ADD 00001c1d: SWAP1 00001c1e: PUSH2 0x1c28 00001c21: SWAP3 00001c22: SWAP2 00001c23: SWAP1 00001c24: PUSH2 0x22c1 00001c27: JUMP 00001c28: JUMPDEST 00001c29: POP 00001c2a: POP 00001c2b: POP 00001c2c: JUMP 00001c2d: JUMPDEST 00001c2e: PUSH1 0x00 00001c30: CALLER 00001c31: SWAP1 00001c32: POP 00001c33: PUSH1 0x0a 00001c35: PUSH1 0x00 00001c37: DUP3 00001c38: PUSH1 0x40 00001c3a: MLOAD 00001c3b: DUP1 00001c3c: DUP3 00001c3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c52: AND 00001c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c68: AND 00001c69: PUSH13 0x01000000000000000000000000 00001c77: MUL 00001c78: DUP2 00001c79: MSTORE 00001c7a: PUSH1 0x14 00001c7c: ADD 00001c7d: SWAP2 00001c7e: POP 00001c7f: POP 00001c80: PUSH1 0x40 00001c82: MLOAD 00001c83: DUP1 00001c84: SWAP2 00001c85: SUB 00001c86: SWAP1 00001c87: KECCAK256 00001c88: PUSH1 0x00 00001c8a: NOT 00001c8b: AND 00001c8c: PUSH1 0x00 00001c8e: NOT 00001c8f: AND 00001c90: DUP2 00001c91: MSTORE 00001c92: PUSH1 0x20 00001c94: ADD 00001c95: SWAP1 00001c96: DUP2 00001c97: MSTORE 00001c98: PUSH1 0x20 00001c9a: ADD 00001c9b: PUSH1 0x00 00001c9d: KECCAK256 00001c9e: PUSH1 0x00 00001ca0: SWAP1 00001ca1: SLOAD 00001ca2: SWAP1 00001ca3: PUSH2 0x0100 00001ca6: EXP 00001ca7: SWAP1 00001ca8: DIV 00001ca9: PUSH1 0xff 00001cab: AND 00001cac: ISZERO 00001cad: ISZERO 00001cae: PUSH2 0x1cb6 00001cb1: JUMPI 00001cb2: PUSH1 0x00 00001cb4: DUP1 00001cb5: REVERT 00001cb6: JUMPDEST 00001cb7: DUP2 00001cb8: PUSH1 0x00 00001cba: SWAP1 00001cbb: DUP1 00001cbc: MLOAD 00001cbd: SWAP1 00001cbe: PUSH1 0x20 00001cc0: ADD 00001cc1: SWAP1 00001cc2: PUSH2 0x1ccc 00001cc5: SWAP3 00001cc6: SWAP2 00001cc7: SWAP1 00001cc8: PUSH2 0x22c1 00001ccb: JUMP 00001ccc: JUMPDEST 00001ccd: POP 00001cce: POP 00001ccf: POP 00001cd0: JUMP 00001cd1: JUMPDEST 00001cd2: PUSH1 0x00 00001cd4: DUP1 00001cd5: PUSH1 0x00 00001cd7: DUP1 00001cd8: PUSH1 0x00 00001cda: DUP1 00001cdb: PUSH1 0x00 00001cdd: PUSH2 0x1ce4 00001ce0: PUSH2 0x16fd 00001ce3: JUMP 00001ce4: JUMPDEST 00001ce5: GT 00001ce6: ISZERO 00001ce7: ISZERO 00001ce8: PUSH2 0x1cf0 00001ceb: JUMPI 00001cec: PUSH1 0x00 00001cee: DUP1 00001cef: REVERT 00001cf0: JUMPDEST 00001cf1: CALLER 00001cf2: SWAP6 00001cf3: POP 00001cf4: PUSH1 0x04 00001cf6: PUSH1 0x00 00001cf8: DUP8 00001cf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d0e: AND 00001d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d24: AND 00001d25: DUP2 00001d26: MSTORE 00001d27: PUSH1 0x20 00001d29: ADD 00001d2a: SWAP1 00001d2b: DUP2 00001d2c: MSTORE 00001d2d: PUSH1 0x20 00001d2f: ADD 00001d30: PUSH1 0x00 00001d32: KECCAK256 00001d33: SLOAD 00001d34: DUP8 00001d35: GT 00001d36: ISZERO 00001d37: ISZERO 00001d38: ISZERO 00001d39: PUSH2 0x1d41 00001d3c: JUMPI 00001d3d: PUSH1 0x00 00001d3f: DUP1 00001d40: REVERT 00001d41: JUMPDEST 00001d42: DUP7 00001d43: SWAP5 00001d44: POP 00001d45: PUSH2 0x1d4d 00001d48: DUP6 00001d49: PUSH2 0x21cb 00001d4c: JUMP 00001d4d: JUMPDEST 00001d4e: SWAP4 00001d4f: POP 00001d50: PUSH2 0x1d5d 00001d53: DUP5 00001d54: PUSH1 0x0a 00001d56: PUSH1 0xff 00001d58: AND 00001d59: PUSH2 0x210a 00001d5c: JUMP 00001d5d: JUMPDEST 00001d5e: SWAP3 00001d5f: POP 00001d60: PUSH2 0x1d69 00001d63: DUP5 00001d64: DUP5 00001d65: PUSH2 0x2125 00001d68: JUMP 00001d69: JUMPDEST 00001d6a: SWAP2 00001d6b: POP 00001d6c: PUSH2 0x1d77 00001d6f: PUSH1 0x08 00001d71: SLOAD 00001d72: DUP7 00001d73: PUSH2 0x2125 00001d76: JUMP 00001d77: JUMPDEST 00001d78: PUSH1 0x08 00001d7a: DUP2 00001d7b: SWAP1 00001d7c: SSTORE 00001d7d: POP 00001d7e: PUSH2 0x1dc6 00001d81: PUSH1 0x04 00001d83: PUSH1 0x00 00001d85: DUP9 00001d86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d9b: AND 00001d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db1: AND 00001db2: DUP2 00001db3: MSTORE 00001db4: PUSH1 0x20 00001db6: ADD 00001db7: SWAP1 00001db8: DUP2 00001db9: MSTORE 00001dba: PUSH1 0x20 00001dbc: ADD 00001dbd: PUSH1 0x00 00001dbf: KECCAK256 00001dc0: SLOAD 00001dc1: DUP7 00001dc2: PUSH2 0x2125 00001dc5: JUMP 00001dc6: JUMPDEST 00001dc7: PUSH1 0x04 00001dc9: PUSH1 0x00 00001dcb: DUP9 00001dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001de1: AND 00001de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001df7: AND 00001df8: DUP2 00001df9: MSTORE 00001dfa: PUSH1 0x20 00001dfc: ADD 00001dfd: SWAP1 00001dfe: DUP2 00001dff: MSTORE 00001e00: PUSH1 0x20 00001e02: ADD 00001e03: PUSH1 0x00 00001e05: KECCAK256 00001e06: DUP2 00001e07: SWAP1 00001e08: SSTORE 00001e09: POP 00001e0a: PUSH9 0x010000000000000000 00001e14: DUP3 00001e15: MUL 00001e16: DUP6 00001e17: PUSH1 0x09 00001e19: SLOAD 00001e1a: MUL 00001e1b: ADD 00001e1c: SWAP1 00001e1d: POP 00001e1e: DUP1 00001e1f: PUSH1 0x06 00001e21: PUSH1 0x00 00001e23: DUP9 00001e24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e39: AND 00001e3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e4f: AND 00001e50: DUP2 00001e51: MSTORE 00001e52: PUSH1 0x20 00001e54: ADD 00001e55: SWAP1 00001e56: DUP2 00001e57: MSTORE 00001e58: PUSH1 0x20 00001e5a: ADD 00001e5b: PUSH1 0x00 00001e5d: KECCAK256 00001e5e: PUSH1 0x00 00001e60: DUP3 00001e61: DUP3 00001e62: SLOAD 00001e63: SUB 00001e64: SWAP3 00001e65: POP 00001e66: POP 00001e67: DUP2 00001e68: SWAP1 00001e69: SSTORE 00001e6a: POP 00001e6b: PUSH1 0x00 00001e6d: PUSH1 0x08 00001e6f: SLOAD 00001e70: GT 00001e71: ISZERO 00001e72: PUSH2 0x1ea0 00001e75: JUMPI 00001e76: PUSH2 0x1e99 00001e79: PUSH1 0x09 00001e7b: SLOAD 00001e7c: PUSH1 0x08 00001e7e: SLOAD 00001e7f: PUSH9 0x010000000000000000 00001e89: DUP7 00001e8a: MUL 00001e8b: DUP2 00001e8c: ISZERO 00001e8d: ISZERO 00001e8e: PUSH2 0x1e93 00001e91: JUMPI 00001e92: INVALID 00001e93: JUMPDEST 00001e94: DIV 00001e95: PUSH2 0x20ec 00001e98: JUMP 00001e99: JUMPDEST 00001e9a: PUSH1 0x09 00001e9c: DUP2 00001e9d: SWAP1 00001e9e: SSTORE 00001e9f: POP 00001ea0: JUMPDEST 00001ea1: DUP6 00001ea2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb7: AND 00001eb8: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 00001ed9: DUP7 00001eda: DUP5 00001edb: PUSH1 0x40 00001edd: MLOAD 00001ede: DUP1 00001edf: DUP4 00001ee0: DUP2 00001ee1: MSTORE 00001ee2: PUSH1 0x20 00001ee4: ADD 00001ee5: DUP3 00001ee6: DUP2 00001ee7: MSTORE 00001ee8: PUSH1 0x20 00001eea: ADD 00001eeb: SWAP3 00001eec: POP 00001eed: POP 00001eee: POP 00001eef: PUSH1 0x40 00001ef1: MLOAD 00001ef2: DUP1 00001ef3: SWAP2 00001ef4: SUB 00001ef5: SWAP1 00001ef6: LOG2 00001ef7: POP 00001ef8: POP 00001ef9: POP 00001efa: POP 00001efb: POP 00001efc: POP 00001efd: POP 00001efe: JUMP 00001eff: JUMPDEST 00001f00: PUSH1 0x00 00001f02: DUP1 00001f03: CALLER 00001f04: SWAP2 00001f05: POP 00001f06: PUSH1 0x04 00001f08: PUSH1 0x00 00001f0a: DUP4 00001f0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f20: AND 00001f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f36: AND 00001f37: DUP2 00001f38: MSTORE 00001f39: PUSH1 0x20 00001f3b: ADD 00001f3c: SWAP1 00001f3d: DUP2 00001f3e: MSTORE 00001f3f: PUSH1 0x20 00001f41: ADD 00001f42: PUSH1 0x00 00001f44: KECCAK256 00001f45: SLOAD 00001f46: SWAP1 00001f47: POP 00001f48: PUSH1 0x00 00001f4a: DUP2 00001f4b: GT 00001f4c: ISZERO 00001f4d: PUSH2 0x1f5a 00001f50: JUMPI 00001f51: PUSH2 0x1f59 00001f54: DUP2 00001f55: PUSH2 0x1cd1 00001f58: JUMP 00001f59: JUMPDEST 00001f5a: JUMPDEST 00001f5b: PUSH2 0x1f62 00001f5e: PUSH2 0x127f 00001f61: JUMP 00001f62: JUMPDEST 00001f63: POP 00001f64: POP 00001f65: JUMP 00001f66: JUMPDEST 00001f67: PUSH1 0x00 00001f69: PUSH2 0x1f72 00001f6c: CALLVALUE 00001f6d: DUP4 00001f6e: PUSH2 0x077c 00001f71: JUMP 00001f72: JUMPDEST 00001f73: POP 00001f74: SWAP2 00001f75: SWAP1 00001f76: POP 00001f77: JUMP 00001f78: JUMPDEST 00001f79: PUSH1 0x00 00001f7b: DUP1 00001f7c: PUSH1 0x00 00001f7e: DUP1 00001f7f: PUSH2 0x1f88 00001f82: PUSH1 0x01 00001f84: PUSH2 0x147b 00001f87: JUMP 00001f88: JUMPDEST 00001f89: GT 00001f8a: ISZERO 00001f8b: ISZERO 00001f8c: PUSH2 0x1f94 00001f8f: JUMPI 00001f90: PUSH1 0x00 00001f92: DUP1 00001f93: REVERT 00001f94: JUMPDEST 00001f95: PUSH2 0x1f9e 00001f98: PUSH1 0x00 00001f9a: PUSH2 0x147b 00001f9d: JUMP 00001f9e: JUMPDEST 00001f9f: SWAP3 00001fa0: POP 00001fa1: CALLER 00001fa2: SWAP2 00001fa3: POP 00001fa4: PUSH9 0x010000000000000000 00001fae: DUP4 00001faf: MUL 00001fb0: PUSH1 0x06 00001fb2: PUSH1 0x00 00001fb4: DUP5 00001fb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fca: AND 00001fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fe0: AND 00001fe1: DUP2 00001fe2: MSTORE 00001fe3: PUSH1 0x20 00001fe5: ADD 00001fe6: SWAP1 00001fe7: DUP2 00001fe8: MSTORE 00001fe9: PUSH1 0x20 00001feb: ADD 00001fec: PUSH1 0x00 00001fee: KECCAK256 00001fef: PUSH1 0x00 00001ff1: DUP3 00001ff2: DUP3 00001ff3: SLOAD 00001ff4: ADD 00001ff5: SWAP3 00001ff6: POP 00001ff7: POP 00001ff8: DUP2 00001ff9: SWAP1 00001ffa: SSTORE 00001ffb: POP 00001ffc: PUSH1 0x05 00001ffe: PUSH1 0x00 00002000: DUP4 00002001: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002016: AND 00002017: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000202c: AND 0000202d: DUP2 0000202e: MSTORE 0000202f: PUSH1 0x20 00002031: ADD 00002032: SWAP1 00002033: DUP2 00002034: MSTORE 00002035: PUSH1 0x20 00002037: ADD 00002038: PUSH1 0x00 0000203a: KECCAK256 0000203b: SLOAD 0000203c: DUP4 0000203d: ADD 0000203e: SWAP3 0000203f: POP 00002040: PUSH1 0x00 00002042: PUSH1 0x05 00002044: PUSH1 0x00 00002046: DUP5 00002047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000205c: AND 0000205d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002072: AND 00002073: DUP2 00002074: MSTORE 00002075: PUSH1 0x20 00002077: ADD 00002078: SWAP1 00002079: DUP2 0000207a: MSTORE 0000207b: PUSH1 0x20 0000207d: ADD 0000207e: PUSH1 0x00 00002080: KECCAK256 00002081: DUP2 00002082: SWAP1 00002083: SSTORE 00002084: POP 00002085: PUSH2 0x208f 00002088: DUP4 00002089: PUSH1 0x00 0000208b: PUSH2 0x077c 0000208e: JUMP 0000208f: JUMPDEST 00002090: SWAP1 00002091: POP 00002092: DUP2 00002093: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020a8: AND 000020a9: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000020ca: DUP5 000020cb: DUP4 000020cc: PUSH1 0x40 000020ce: MLOAD 000020cf: DUP1 000020d0: DUP4 000020d1: DUP2 000020d2: MSTORE 000020d3: PUSH1 0x20 000020d5: ADD 000020d6: DUP3 000020d7: DUP2 000020d8: MSTORE 000020d9: PUSH1 0x20 000020db: ADD 000020dc: SWAP3 000020dd: POP 000020de: POP 000020df: POP 000020e0: PUSH1 0x40 000020e2: MLOAD 000020e3: DUP1 000020e4: SWAP2 000020e5: SUB 000020e6: SWAP1 000020e7: LOG2 000020e8: POP 000020e9: POP 000020ea: POP 000020eb: JUMP 000020ec: JUMPDEST 000020ed: PUSH1 0x00 000020ef: DUP1 000020f0: DUP3 000020f1: DUP5 000020f2: ADD 000020f3: SWAP1 000020f4: POP 000020f5: DUP4 000020f6: DUP2 000020f7: LT 000020f8: ISZERO 000020f9: ISZERO 000020fa: ISZERO 000020fb: PUSH2 0x2100 000020fe: JUMPI 000020ff: INVALID 00002100: JUMPDEST 00002101: DUP1 00002102: SWAP2 00002103: POP 00002104: POP 00002105: SWAP3 00002106: SWAP2 00002107: POP 00002108: POP 00002109: JUMP 0000210a: JUMPDEST 0000210b: PUSH1 0x00 0000210d: DUP1 0000210e: DUP3 0000210f: DUP5 00002110: DUP2 00002111: ISZERO 00002112: ISZERO 00002113: PUSH2 0x2118 00002116: JUMPI 00002117: INVALID 00002118: JUMPDEST 00002119: DIV 0000211a: SWAP1 0000211b: POP 0000211c: DUP1 0000211d: SWAP2 0000211e: POP 0000211f: POP 00002120: SWAP3 00002121: SWAP2 00002122: POP 00002123: POP 00002124: JUMP 00002125: JUMPDEST 00002126: PUSH1 0x00 00002128: DUP3 00002129: DUP3 0000212a: GT 0000212b: ISZERO 0000212c: ISZERO 0000212d: ISZERO 0000212e: PUSH2 0x2133 00002131: JUMPI 00002132: INVALID 00002133: JUMPDEST 00002134: DUP2 00002135: DUP4 00002136: SUB 00002137: SWAP1 00002138: POP 00002139: SWAP3 0000213a: SWAP2 0000213b: POP 0000213c: POP 0000213d: JUMP 0000213e: JUMPDEST 0000213f: PUSH1 0x00 00002141: DUP1 00002142: PUSH1 0x00 00002144: PUSH8 0x0de0b6b3a7640000 0000214d: PUSH5 0x02540be400 00002153: MUL 00002154: SWAP2 00002155: POP 00002156: PUSH1 0x08 00002158: SLOAD 00002159: PUSH5 0x02540be400 0000215f: PUSH2 0x21b4 00002162: PUSH2 0x21ae 00002165: PUSH1 0x08 00002167: SLOAD 00002168: DUP7 00002169: PUSH5 0x02540be400 0000216f: PUSH1 0x02 00002171: MUL 00002172: MUL 00002173: MUL 00002174: PUSH1 0x02 00002176: PUSH1 0x08 00002178: SLOAD 00002179: EXP 0000217a: PUSH1 0x02 0000217c: PUSH5 0x02540be400 00002182: EXP 00002183: MUL 00002184: PUSH8 0x0de0b6b3a7640000 0000218d: DUP11 0000218e: MUL 0000218f: PUSH8 0x0de0b6b3a7640000 00002198: PUSH5 0x02540be400 0000219e: MUL 0000219f: PUSH1 0x02 000021a1: MUL 000021a2: MUL 000021a3: PUSH1 0x02 000021a5: DUP10 000021a6: EXP 000021a7: ADD 000021a8: ADD 000021a9: ADD 000021aa: PUSH2 0x2276 000021ad: JUMP 000021ae: JUMPDEST 000021af: DUP6 000021b0: PUSH2 0x2125 000021b3: JUMP 000021b4: JUMPDEST 000021b5: DUP2 000021b6: ISZERO 000021b7: ISZERO 000021b8: PUSH2 0x21bd 000021bb: JUMPI 000021bc: INVALID 000021bd: JUMPDEST 000021be: DIV 000021bf: SUB 000021c0: SWAP1 000021c1: POP 000021c2: DUP1 000021c3: SWAP3 000021c4: POP 000021c5: POP 000021c6: POP 000021c7: SWAP2 000021c8: SWAP1 000021c9: POP 000021ca: JUMP 000021cb: JUMPDEST 000021cc: PUSH1 0x00 000021ce: DUP1 000021cf: PUSH1 0x00 000021d1: DUP1 000021d2: PUSH8 0x0de0b6b3a7640000 000021db: DUP6 000021dc: ADD 000021dd: SWAP3 000021de: POP 000021df: PUSH8 0x0de0b6b3a7640000 000021e8: PUSH1 0x08 000021ea: SLOAD 000021eb: ADD 000021ec: SWAP2 000021ed: POP 000021ee: PUSH8 0x0de0b6b3a7640000 000021f7: PUSH2 0x225f 000021fa: PUSH8 0x0de0b6b3a7640000 00002203: DUP6 00002204: SUB 00002205: PUSH5 0x02540be400 0000220b: PUSH8 0x0de0b6b3a7640000 00002214: DUP7 00002215: DUP2 00002216: ISZERO 00002217: ISZERO 00002218: PUSH2 0x221d 0000221b: JUMPI 0000221c: INVALID 0000221d: JUMPDEST 0000221e: DIV 0000221f: PUSH5 0x02540be400 00002225: MUL 00002226: PUSH5 0x02540be400 0000222c: ADD 0000222d: SUB 0000222e: MUL 0000222f: PUSH1 0x02 00002231: PUSH8 0x0de0b6b3a7640000 0000223a: DUP8 0000223b: PUSH1 0x02 0000223d: DUP10 0000223e: EXP 0000223f: SUB 00002240: DUP2 00002241: ISZERO 00002242: ISZERO 00002243: PUSH2 0x2248 00002246: JUMPI 00002247: INVALID 00002248: JUMPDEST 00002249: DIV 0000224a: PUSH5 0x02540be400 00002250: MUL 00002251: DUP2 00002252: ISZERO 00002253: ISZERO 00002254: PUSH2 0x2259 00002257: JUMPI 00002258: INVALID 00002259: JUMPDEST 0000225a: DIV 0000225b: PUSH2 0x2125 0000225e: JUMP 0000225f: JUMPDEST 00002260: DUP2 00002261: ISZERO 00002262: ISZERO 00002263: PUSH2 0x2268 00002266: JUMPI 00002267: INVALID 00002268: JUMPDEST 00002269: DIV 0000226a: SWAP1 0000226b: POP 0000226c: DUP1 0000226d: SWAP4 0000226e: POP 0000226f: POP 00002270: POP 00002271: POP 00002272: SWAP2 00002273: SWAP1 00002274: POP 00002275: JUMP 00002276: JUMPDEST 00002277: PUSH1 0x00 00002279: DUP1 0000227a: PUSH1 0x02 0000227c: PUSH1 0x01 0000227e: DUP5 0000227f: ADD 00002280: DUP2 00002281: ISZERO 00002282: ISZERO 00002283: PUSH2 0x2288 00002286: JUMPI 00002287: INVALID 00002288: JUMPDEST 00002289: DIV 0000228a: SWAP1 0000228b: POP 0000228c: DUP3 0000228d: SWAP2 0000228e: POP 0000228f: JUMPDEST 00002290: DUP2 00002291: DUP2 00002292: LT 00002293: ISZERO 00002294: PUSH2 0x22bb 00002297: JUMPI 00002298: DUP1 00002299: SWAP2 0000229a: POP 0000229b: PUSH1 0x02 0000229d: DUP2 0000229e: DUP3 0000229f: DUP6 000022a0: DUP2 000022a1: ISZERO 000022a2: ISZERO 000022a3: PUSH2 0x22a8 000022a6: JUMPI 000022a7: INVALID 000022a8: JUMPDEST 000022a9: DIV 000022aa: ADD 000022ab: DUP2 000022ac: ISZERO 000022ad: ISZERO 000022ae: PUSH2 0x22b3 000022b1: JUMPI 000022b2: INVALID 000022b3: JUMPDEST 000022b4: DIV 000022b5: SWAP1 000022b6: POP 000022b7: PUSH2 0x228f 000022ba: JUMP 000022bb: JUMPDEST 000022bc: POP 000022bd: SWAP2 000022be: SWAP1 000022bf: POP 000022c0: JUMP 000022c1: JUMPDEST 000022c2: DUP3 000022c3: DUP1 000022c4: SLOAD 000022c5: PUSH1 0x01 000022c7: DUP2 000022c8: PUSH1 0x01 000022ca: AND 000022cb: ISZERO 000022cc: PUSH2 0x0100 000022cf: MUL 000022d0: SUB 000022d1: AND 000022d2: PUSH1 0x02 000022d4: SWAP1 000022d5: DIV 000022d6: SWAP1 000022d7: PUSH1 0x00 000022d9: MSTORE 000022da: PUSH1 0x20 000022dc: PUSH1 0x00 000022de: KECCAK256 000022df: SWAP1 000022e0: PUSH1 0x1f 000022e2: ADD 000022e3: PUSH1 0x20 000022e5: SWAP1 000022e6: DIV 000022e7: DUP2 000022e8: ADD 000022e9: SWAP3 000022ea: DUP3 000022eb: PUSH1 0x1f 000022ed: LT 000022ee: PUSH2 0x2302 000022f1: JUMPI 000022f2: DUP1 000022f3: MLOAD 000022f4: PUSH1 0xff 000022f6: NOT 000022f7: AND 000022f8: DUP4 000022f9: DUP1 000022fa: ADD 000022fb: OR 000022fc: DUP6 000022fd: SSTORE 000022fe: PUSH2 0x2330 00002301: JUMP 00002302: JUMPDEST 00002303: DUP3 00002304: DUP1 00002305: ADD 00002306: PUSH1 0x01 00002308: ADD 00002309: DUP6 0000230a: SSTORE 0000230b: DUP3 0000230c: ISZERO 0000230d: PUSH2 0x2330 00002310: JUMPI 00002311: SWAP2 00002312: DUP3 00002313: ADD 00002314: JUMPDEST 00002315: DUP3 00002316: DUP2 00002317: GT 00002318: ISZERO 00002319: PUSH2 0x232f 0000231c: JUMPI 0000231d: DUP3 0000231e: MLOAD 0000231f: DUP3 00002320: SSTORE 00002321: SWAP2 00002322: PUSH1 0x20 00002324: ADD 00002325: SWAP2 00002326: SWAP1 00002327: PUSH1 0x01 00002329: ADD 0000232a: SWAP1 0000232b: PUSH2 0x2314 0000232e: JUMP 0000232f: JUMPDEST 00002330: JUMPDEST 00002331: POP 00002332: SWAP1 00002333: POP 00002334: PUSH2 0x233d 00002337: SWAP2 00002338: SWAP1 00002339: PUSH2 0x2341 0000233c: JUMP 0000233d: JUMPDEST 0000233e: POP 0000233f: SWAP1 00002340: JUMP 00002341: JUMPDEST 00002342: PUSH2 0x2363 00002345: SWAP2 00002346: SWAP1 00002347: JUMPDEST 00002348: DUP1 00002349: DUP3 0000234a: GT 0000234b: ISZERO 0000234c: PUSH2 0x235f 0000234f: JUMPI 00002350: PUSH1 0x00 00002352: DUP2 00002353: PUSH1 0x00 00002355: SWAP1 00002356: SSTORE 00002357: POP 00002358: PUSH1 0x01 0000235a: ADD 0000235b: PUSH2 0x2347 0000235e: JUMP 0000235f: JUMPDEST 00002360: POP 00002361: SWAP1 00002362: JUMP 00002363: JUMPDEST 00002364: SWAP1 00002365: JUMP 00002366: STOP 00002367: LOG1 00002368: PUSH6 0x627a7a723058 0000236f: KECCAK256 00002370: PUSH31 0x9db886a6fcb4372a199e671f6d9a5158d29c574cfda00039669c1a9443fce6 00002390: STOP 00002391: UNKNOWN(0x29)
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5ae0e2edd8969a26bd2ddaa6806b32df1c00d6729b2b22aeb5642115dbd85db3
call_targets:
0x568a693e1094b1e51e8053b2fc642da7161603f5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5ae0e2edd8969a26bd2ddaa6806b32df1c00d6729b2b22aeb5642115dbd85db3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x568a693e1094b1e51e8053b2fc642da7161603f5"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5050,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5ae0e2edd8969a26bd2ddaa6806b32df1c00d6729b2b22aeb5642115dbd85db3
call_targets:
0x568a693e1094b1e51e8053b2fc642da7161603f5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5ae0e2edd8969a26bd2ddaa6806b32df1c00d6729b2b22aeb5642115dbd85db3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x568a693e1094b1e51e8053b2fc642da7161603f5"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27defa1f",
"selector": "0x27defa1f",
"calldata_variants": [
"0x27defa1f",
"0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5050,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|