019b3844-91ea-729d-9364-8056df29a204
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 |
|---|---|---|---|---|
| 12835 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12836 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 56345 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 56346 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 56347 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 56348 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x015f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x0161 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x01f1 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x15e6b600 00000052: EQ 00000053: PUSH2 0x0256 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x18160ddd 0000005d: EQ 0000005e: PUSH2 0x02cd 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x23b872dd 00000068: EQ 00000069: PUSH2 0x02f8 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x2656455f 00000073: EQ 00000074: PUSH2 0x037d 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x313ce567 0000007e: EQ 0000007f: PUSH2 0x03c0 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x39639fbd 00000089: EQ 0000008a: PUSH2 0x03f1 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x58a3d1a1 00000094: EQ 00000095: PUSH2 0x0434 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x653b3a89 0000009f: EQ 000000a0: PUSH2 0x04ab 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x66188463 000000aa: EQ 000000ab: PUSH2 0x0502 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x70a08231 000000b5: EQ 000000b6: PUSH2 0x0567 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x820be89e 000000c0: EQ 000000c1: PUSH2 0x05be 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x8305368a 000000cb: EQ 000000cc: PUSH2 0x0615 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0x8f283970 000000d6: EQ 000000d7: PUSH2 0x0682 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0x937f2e33 000000e1: EQ 000000e2: PUSH2 0x06c5 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0x95d89b41 000000ec: EQ 000000ed: PUSH2 0x06dc 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xa7be2648 000000f7: EQ 000000f8: PUSH2 0x076c 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xa9059cbb 00000102: EQ 00000103: PUSH2 0x07bd 00000106: JUMPI 00000107: DUP1 00000108: PUSH4 0xb2dda6b5 0000010d: EQ 0000010e: PUSH2 0x0822 00000111: JUMPI 00000112: DUP1 00000113: PUSH4 0xb7cdddcb 00000118: EQ 00000119: PUSH2 0x084d 0000011c: JUMPI 0000011d: DUP1 0000011e: PUSH4 0xca31879d 00000123: EQ 00000124: PUSH2 0x0864 00000127: JUMPI 00000128: DUP1 00000129: PUSH4 0xd73dd623 0000012e: EQ 0000012f: PUSH2 0x08c7 00000132: JUMPI 00000133: DUP1 00000134: PUSH4 0xdd62ed3e 00000139: EQ 0000013a: PUSH2 0x092c 0000013d: JUMPI 0000013e: DUP1 0000013f: PUSH4 0xee0b04be 00000144: EQ 00000145: PUSH2 0x09a3 00000148: JUMPI 00000149: DUP1 0000014a: PUSH4 0xf851a440 0000014f: EQ 00000150: PUSH2 0x09e6 00000153: JUMPI 00000154: DUP1 00000155: PUSH4 0xf9dd711f 0000015a: EQ 0000015b: PUSH2 0x0a3d 0000015e: JUMPI 0000015f: JUMPDEST 00000160: STOP 00000161: JUMPDEST 00000162: CALLVALUE 00000163: DUP1 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: POP 0000016f: PUSH2 0x0176 00000172: PUSH2 0x0a98 00000175: JUMP 00000176: JUMPDEST 00000177: PUSH1 0x40 00000179: MLOAD 0000017a: DUP1 0000017b: DUP1 0000017c: PUSH1 0x20 0000017e: ADD 0000017f: DUP3 00000180: DUP2 00000181: SUB 00000182: DUP3 00000183: MSTORE 00000184: DUP4 00000185: DUP2 00000186: DUP2 00000187: MLOAD 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x20 0000018c: ADD 0000018d: SWAP2 0000018e: POP 0000018f: DUP1 00000190: MLOAD 00000191: SWAP1 00000192: PUSH1 0x20 00000194: ADD 00000195: SWAP1 00000196: DUP1 00000197: DUP4 00000198: DUP4 00000199: PUSH1 0x00 0000019b: JUMPDEST 0000019c: DUP4 0000019d: DUP2 0000019e: LT 0000019f: ISZERO 000001a0: PUSH2 0x01b6 000001a3: JUMPI 000001a4: DUP1 000001a5: DUP3 000001a6: ADD 000001a7: MLOAD 000001a8: DUP2 000001a9: DUP5 000001aa: ADD 000001ab: MSTORE 000001ac: PUSH1 0x20 000001ae: DUP2 000001af: ADD 000001b0: SWAP1 000001b1: POP 000001b2: PUSH2 0x019b 000001b5: JUMP 000001b6: JUMPDEST 000001b7: POP 000001b8: POP 000001b9: POP 000001ba: POP 000001bb: SWAP1 000001bc: POP 000001bd: SWAP1 000001be: DUP2 000001bf: ADD 000001c0: SWAP1 000001c1: PUSH1 0x1f 000001c3: AND 000001c4: DUP1 000001c5: ISZERO 000001c6: PUSH2 0x01e3 000001c9: JUMPI 000001ca: DUP1 000001cb: DUP3 000001cc: SUB 000001cd: DUP1 000001ce: MLOAD 000001cf: PUSH1 0x01 000001d1: DUP4 000001d2: PUSH1 0x20 000001d4: SUB 000001d5: PUSH2 0x0100 000001d8: EXP 000001d9: SUB 000001da: NOT 000001db: AND 000001dc: DUP2 000001dd: MSTORE 000001de: PUSH1 0x20 000001e0: ADD 000001e1: SWAP2 000001e2: POP 000001e3: JUMPDEST 000001e4: POP 000001e5: SWAP3 000001e6: POP 000001e7: POP 000001e8: POP 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: DUP1 000001ed: SWAP2 000001ee: SUB 000001ef: SWAP1 000001f0: RETURN 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: DUP1 000001f4: ISZERO 000001f5: PUSH2 0x01fd 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x023c 00000202: PUSH1 0x04 00000204: DUP1 00000205: CALLDATASIZE 00000206: SUB 00000207: DUP2 00000208: ADD 00000209: SWAP1 0000020a: DUP1 0000020b: DUP1 0000020c: CALLDATALOAD 0000020d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000222: AND 00000223: SWAP1 00000224: PUSH1 0x20 00000226: ADD 00000227: SWAP1 00000228: SWAP3 00000229: SWAP2 0000022a: SWAP1 0000022b: DUP1 0000022c: CALLDATALOAD 0000022d: SWAP1 0000022e: PUSH1 0x20 00000230: ADD 00000231: SWAP1 00000232: SWAP3 00000233: SWAP2 00000234: SWAP1 00000235: POP 00000236: POP 00000237: POP 00000238: PUSH2 0x0ad1 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: DUP1 00000241: DUP3 00000242: ISZERO 00000243: ISZERO 00000244: ISZERO 00000245: ISZERO 00000246: DUP2 00000247: MSTORE 00000248: PUSH1 0x20 0000024a: ADD 0000024b: SWAP2 0000024c: POP 0000024d: POP 0000024e: PUSH1 0x40 00000250: MLOAD 00000251: DUP1 00000252: SWAP2 00000253: SUB 00000254: SWAP1 00000255: RETURN 00000256: JUMPDEST 00000257: CALLVALUE 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: PUSH2 0x02b7 00000267: PUSH1 0x04 00000269: DUP1 0000026a: CALLDATASIZE 0000026b: SUB 0000026c: DUP2 0000026d: ADD 0000026e: SWAP1 0000026f: DUP1 00000270: DUP1 00000271: CALLDATALOAD 00000272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000287: AND 00000288: SWAP1 00000289: PUSH1 0x20 0000028b: ADD 0000028c: SWAP1 0000028d: SWAP3 0000028e: SWAP2 0000028f: SWAP1 00000290: DUP1 00000291: CALLDATALOAD 00000292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a7: AND 000002a8: SWAP1 000002a9: PUSH1 0x20 000002ab: ADD 000002ac: SWAP1 000002ad: SWAP3 000002ae: SWAP2 000002af: SWAP1 000002b0: POP 000002b1: POP 000002b2: POP 000002b3: PUSH2 0x0bc3 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH1 0x40 000002ba: MLOAD 000002bb: DUP1 000002bc: DUP3 000002bd: DUP2 000002be: MSTORE 000002bf: PUSH1 0x20 000002c1: ADD 000002c2: SWAP2 000002c3: POP 000002c4: POP 000002c5: PUSH1 0x40 000002c7: MLOAD 000002c8: DUP1 000002c9: SWAP2 000002ca: SUB 000002cb: SWAP1 000002cc: RETURN 000002cd: JUMPDEST 000002ce: CALLVALUE 000002cf: DUP1 000002d0: ISZERO 000002d1: PUSH2 0x02d9 000002d4: JUMPI 000002d5: PUSH1 0x00 000002d7: DUP1 000002d8: REVERT 000002d9: JUMPDEST 000002da: POP 000002db: PUSH2 0x02e2 000002de: PUSH2 0x0be8 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH1 0x40 000002e5: MLOAD 000002e6: DUP1 000002e7: DUP3 000002e8: DUP2 000002e9: MSTORE 000002ea: PUSH1 0x20 000002ec: ADD 000002ed: SWAP2 000002ee: POP 000002ef: POP 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: DUP1 000002f4: SWAP2 000002f5: SUB 000002f6: SWAP1 000002f7: RETURN 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH2 0x0363 00000309: PUSH1 0x04 0000030b: DUP1 0000030c: CALLDATASIZE 0000030d: SUB 0000030e: DUP2 0000030f: ADD 00000310: SWAP1 00000311: DUP1 00000312: DUP1 00000313: CALLDATALOAD 00000314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000329: AND 0000032a: SWAP1 0000032b: PUSH1 0x20 0000032d: ADD 0000032e: SWAP1 0000032f: SWAP3 00000330: SWAP2 00000331: SWAP1 00000332: DUP1 00000333: CALLDATALOAD 00000334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000349: AND 0000034a: SWAP1 0000034b: PUSH1 0x20 0000034d: ADD 0000034e: SWAP1 0000034f: SWAP3 00000350: SWAP2 00000351: SWAP1 00000352: DUP1 00000353: CALLDATALOAD 00000354: SWAP1 00000355: PUSH1 0x20 00000357: ADD 00000358: SWAP1 00000359: SWAP3 0000035a: SWAP2 0000035b: SWAP1 0000035c: POP 0000035d: POP 0000035e: POP 0000035f: PUSH2 0x0bf2 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH1 0x40 00000366: MLOAD 00000367: DUP1 00000368: DUP3 00000369: ISZERO 0000036a: ISZERO 0000036b: ISZERO 0000036c: ISZERO 0000036d: DUP2 0000036e: MSTORE 0000036f: PUSH1 0x20 00000371: ADD 00000372: SWAP2 00000373: POP 00000374: POP 00000375: PUSH1 0x40 00000377: MLOAD 00000378: DUP1 00000379: SWAP2 0000037a: SUB 0000037b: SWAP1 0000037c: RETURN 0000037d: JUMPDEST 0000037e: CALLVALUE 0000037f: DUP1 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: PUSH2 0x03be 0000038e: PUSH1 0x04 00000390: DUP1 00000391: CALLDATASIZE 00000392: SUB 00000393: DUP2 00000394: ADD 00000395: SWAP1 00000396: DUP1 00000397: DUP1 00000398: CALLDATALOAD 00000399: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ae: AND 000003af: SWAP1 000003b0: PUSH1 0x20 000003b2: ADD 000003b3: SWAP1 000003b4: SWAP3 000003b5: SWAP2 000003b6: SWAP1 000003b7: POP 000003b8: POP 000003b9: POP 000003ba: PUSH2 0x0c9f 000003bd: JUMP 000003be: JUMPDEST 000003bf: STOP 000003c0: JUMPDEST 000003c1: CALLVALUE 000003c2: DUP1 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: POP 000003ce: PUSH2 0x03d5 000003d1: PUSH2 0x0f07 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH1 0x40 000003d8: MLOAD 000003d9: DUP1 000003da: DUP3 000003db: PUSH1 0xff 000003dd: AND 000003de: PUSH1 0xff 000003e0: AND 000003e1: DUP2 000003e2: MSTORE 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP2 000003e7: POP 000003e8: POP 000003e9: PUSH1 0x40 000003eb: MLOAD 000003ec: DUP1 000003ed: SWAP2 000003ee: SUB 000003ef: SWAP1 000003f0: RETURN 000003f1: JUMPDEST 000003f2: CALLVALUE 000003f3: DUP1 000003f4: ISZERO 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH1 0x00 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x0432 00000402: PUSH1 0x04 00000404: DUP1 00000405: CALLDATASIZE 00000406: SUB 00000407: DUP2 00000408: ADD 00000409: SWAP1 0000040a: DUP1 0000040b: DUP1 0000040c: CALLDATALOAD 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: AND 00000423: SWAP1 00000424: PUSH1 0x20 00000426: ADD 00000427: SWAP1 00000428: SWAP3 00000429: SWAP2 0000042a: SWAP1 0000042b: POP 0000042c: POP 0000042d: POP 0000042e: PUSH2 0x0f0c 00000431: JUMP 00000432: JUMPDEST 00000433: STOP 00000434: JUMPDEST 00000435: CALLVALUE 00000436: DUP1 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: POP 00000442: PUSH2 0x0495 00000445: PUSH1 0x04 00000447: DUP1 00000448: CALLDATASIZE 00000449: SUB 0000044a: DUP2 0000044b: ADD 0000044c: SWAP1 0000044d: DUP1 0000044e: DUP1 0000044f: CALLDATALOAD 00000450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000465: AND 00000466: SWAP1 00000467: PUSH1 0x20 00000469: ADD 0000046a: SWAP1 0000046b: SWAP3 0000046c: SWAP2 0000046d: SWAP1 0000046e: DUP1 0000046f: CALLDATALOAD 00000470: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000485: AND 00000486: SWAP1 00000487: PUSH1 0x20 00000489: ADD 0000048a: SWAP1 0000048b: SWAP3 0000048c: SWAP2 0000048d: SWAP1 0000048e: POP 0000048f: POP 00000490: POP 00000491: PUSH2 0x10be 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH1 0x40 00000498: MLOAD 00000499: DUP1 0000049a: DUP3 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x20 0000049f: ADD 000004a0: SWAP2 000004a1: POP 000004a2: POP 000004a3: PUSH1 0x40 000004a5: MLOAD 000004a6: DUP1 000004a7: SWAP2 000004a8: SUB 000004a9: SWAP1 000004aa: RETURN 000004ab: JUMPDEST 000004ac: CALLVALUE 000004ad: DUP1 000004ae: ISZERO 000004af: PUSH2 0x04b7 000004b2: JUMPI 000004b3: PUSH1 0x00 000004b5: DUP1 000004b6: REVERT 000004b7: JUMPDEST 000004b8: POP 000004b9: PUSH2 0x04ec 000004bc: PUSH1 0x04 000004be: DUP1 000004bf: CALLDATASIZE 000004c0: SUB 000004c1: DUP2 000004c2: ADD 000004c3: SWAP1 000004c4: DUP1 000004c5: DUP1 000004c6: CALLDATALOAD 000004c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dc: AND 000004dd: SWAP1 000004de: PUSH1 0x20 000004e0: ADD 000004e1: SWAP1 000004e2: SWAP3 000004e3: SWAP2 000004e4: SWAP1 000004e5: POP 000004e6: POP 000004e7: POP 000004e8: PUSH2 0x12f1 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH1 0x40 000004ef: MLOAD 000004f0: DUP1 000004f1: DUP3 000004f2: DUP2 000004f3: MSTORE 000004f4: PUSH1 0x20 000004f6: ADD 000004f7: SWAP2 000004f8: POP 000004f9: POP 000004fa: PUSH1 0x40 000004fc: MLOAD 000004fd: DUP1 000004fe: SWAP2 000004ff: SUB 00000500: SWAP1 00000501: RETURN 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH2 0x054d 00000513: PUSH1 0x04 00000515: DUP1 00000516: CALLDATASIZE 00000517: SUB 00000518: DUP2 00000519: ADD 0000051a: SWAP1 0000051b: DUP1 0000051c: DUP1 0000051d: CALLDATALOAD 0000051e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000533: AND 00000534: SWAP1 00000535: PUSH1 0x20 00000537: ADD 00000538: SWAP1 00000539: SWAP3 0000053a: SWAP2 0000053b: SWAP1 0000053c: DUP1 0000053d: CALLDATALOAD 0000053e: SWAP1 0000053f: PUSH1 0x20 00000541: ADD 00000542: SWAP1 00000543: SWAP3 00000544: SWAP2 00000545: SWAP1 00000546: POP 00000547: POP 00000548: POP 00000549: PUSH2 0x1309 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x40 00000550: MLOAD 00000551: DUP1 00000552: DUP3 00000553: ISZERO 00000554: ISZERO 00000555: ISZERO 00000556: ISZERO 00000557: DUP2 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: ADD 0000055c: SWAP2 0000055d: POP 0000055e: POP 0000055f: PUSH1 0x40 00000561: MLOAD 00000562: DUP1 00000563: SWAP2 00000564: SUB 00000565: SWAP1 00000566: RETURN 00000567: JUMPDEST 00000568: CALLVALUE 00000569: DUP1 0000056a: ISZERO 0000056b: PUSH2 0x0573 0000056e: JUMPI 0000056f: PUSH1 0x00 00000571: DUP1 00000572: REVERT 00000573: JUMPDEST 00000574: POP 00000575: PUSH2 0x05a8 00000578: PUSH1 0x04 0000057a: DUP1 0000057b: CALLDATASIZE 0000057c: SUB 0000057d: DUP2 0000057e: ADD 0000057f: SWAP1 00000580: DUP1 00000581: DUP1 00000582: CALLDATALOAD 00000583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000598: AND 00000599: SWAP1 0000059a: PUSH1 0x20 0000059c: ADD 0000059d: SWAP1 0000059e: SWAP3 0000059f: SWAP2 000005a0: SWAP1 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: PUSH2 0x159b 000005a7: JUMP 000005a8: JUMPDEST 000005a9: PUSH1 0x40 000005ab: MLOAD 000005ac: DUP1 000005ad: DUP3 000005ae: DUP2 000005af: MSTORE 000005b0: PUSH1 0x20 000005b2: ADD 000005b3: SWAP2 000005b4: POP 000005b5: POP 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: RETURN 000005be: JUMPDEST 000005bf: CALLVALUE 000005c0: DUP1 000005c1: ISZERO 000005c2: PUSH2 0x05ca 000005c5: JUMPI 000005c6: PUSH1 0x00 000005c8: DUP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: POP 000005cc: PUSH2 0x05ff 000005cf: PUSH1 0x04 000005d1: DUP1 000005d2: CALLDATASIZE 000005d3: SUB 000005d4: DUP2 000005d5: ADD 000005d6: SWAP1 000005d7: DUP1 000005d8: DUP1 000005d9: CALLDATALOAD 000005da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ef: AND 000005f0: SWAP1 000005f1: PUSH1 0x20 000005f3: ADD 000005f4: SWAP1 000005f5: SWAP3 000005f6: SWAP2 000005f7: SWAP1 000005f8: POP 000005f9: POP 000005fa: POP 000005fb: PUSH2 0x15e3 000005fe: JUMP 000005ff: JUMPDEST 00000600: PUSH1 0x40 00000602: MLOAD 00000603: DUP1 00000604: DUP3 00000605: DUP2 00000606: MSTORE 00000607: PUSH1 0x20 00000609: ADD 0000060a: SWAP2 0000060b: POP 0000060c: POP 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: DUP1 00000611: SWAP2 00000612: SUB 00000613: SWAP1 00000614: RETURN 00000615: JUMPDEST 00000616: CALLVALUE 00000617: DUP1 00000618: ISZERO 00000619: PUSH2 0x0621 0000061c: JUMPI 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: REVERT 00000621: JUMPDEST 00000622: POP 00000623: PUSH2 0x0640 00000626: PUSH1 0x04 00000628: DUP1 00000629: CALLDATASIZE 0000062a: SUB 0000062b: DUP2 0000062c: ADD 0000062d: SWAP1 0000062e: DUP1 0000062f: DUP1 00000630: CALLDATALOAD 00000631: SWAP1 00000632: PUSH1 0x20 00000634: ADD 00000635: SWAP1 00000636: SWAP3 00000637: SWAP2 00000638: SWAP1 00000639: POP 0000063a: POP 0000063b: POP 0000063c: PUSH2 0x15fb 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x40 00000643: MLOAD 00000644: DUP1 00000645: DUP3 00000646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065b: AND 0000065c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000671: AND 00000672: DUP2 00000673: MSTORE 00000674: PUSH1 0x20 00000676: ADD 00000677: SWAP2 00000678: POP 00000679: POP 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: DUP1 0000067e: SWAP2 0000067f: SUB 00000680: SWAP1 00000681: RETURN 00000682: JUMPDEST 00000683: CALLVALUE 00000684: DUP1 00000685: ISZERO 00000686: PUSH2 0x068e 00000689: JUMPI 0000068a: PUSH1 0x00 0000068c: DUP1 0000068d: REVERT 0000068e: JUMPDEST 0000068f: POP 00000690: PUSH2 0x06c3 00000693: PUSH1 0x04 00000695: DUP1 00000696: CALLDATASIZE 00000697: SUB 00000698: DUP2 00000699: ADD 0000069a: SWAP1 0000069b: DUP1 0000069c: DUP1 0000069d: CALLDATALOAD 0000069e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b3: AND 000006b4: SWAP1 000006b5: PUSH1 0x20 000006b7: ADD 000006b8: SWAP1 000006b9: SWAP3 000006ba: SWAP2 000006bb: SWAP1 000006bc: POP 000006bd: POP 000006be: POP 000006bf: PUSH2 0x1639 000006c2: JUMP 000006c3: JUMPDEST 000006c4: STOP 000006c5: JUMPDEST 000006c6: CALLVALUE 000006c7: DUP1 000006c8: ISZERO 000006c9: PUSH2 0x06d1 000006cc: JUMPI 000006cd: PUSH1 0x00 000006cf: DUP1 000006d0: REVERT 000006d1: JUMPDEST 000006d2: POP 000006d3: PUSH2 0x06da 000006d6: PUSH2 0x16d9 000006d9: JUMP 000006da: JUMPDEST 000006db: STOP 000006dc: JUMPDEST 000006dd: CALLVALUE 000006de: DUP1 000006df: ISZERO 000006e0: PUSH2 0x06e8 000006e3: JUMPI 000006e4: PUSH1 0x00 000006e6: DUP1 000006e7: REVERT 000006e8: JUMPDEST 000006e9: POP 000006ea: PUSH2 0x06f1 000006ed: PUSH2 0x16e4 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH1 0x40 000006f4: MLOAD 000006f5: DUP1 000006f6: DUP1 000006f7: PUSH1 0x20 000006f9: ADD 000006fa: DUP3 000006fb: DUP2 000006fc: SUB 000006fd: DUP3 000006fe: MSTORE 000006ff: DUP4 00000700: DUP2 00000701: DUP2 00000702: MLOAD 00000703: DUP2 00000704: MSTORE 00000705: PUSH1 0x20 00000707: ADD 00000708: SWAP2 00000709: POP 0000070a: DUP1 0000070b: MLOAD 0000070c: SWAP1 0000070d: PUSH1 0x20 0000070f: ADD 00000710: SWAP1 00000711: DUP1 00000712: DUP4 00000713: DUP4 00000714: PUSH1 0x00 00000716: JUMPDEST 00000717: DUP4 00000718: DUP2 00000719: LT 0000071a: ISZERO 0000071b: PUSH2 0x0731 0000071e: JUMPI 0000071f: DUP1 00000720: DUP3 00000721: ADD 00000722: MLOAD 00000723: DUP2 00000724: DUP5 00000725: ADD 00000726: MSTORE 00000727: PUSH1 0x20 00000729: DUP2 0000072a: ADD 0000072b: SWAP1 0000072c: POP 0000072d: PUSH2 0x0716 00000730: JUMP 00000731: JUMPDEST 00000732: POP 00000733: POP 00000734: POP 00000735: POP 00000736: SWAP1 00000737: POP 00000738: SWAP1 00000739: DUP2 0000073a: ADD 0000073b: SWAP1 0000073c: PUSH1 0x1f 0000073e: AND 0000073f: DUP1 00000740: ISZERO 00000741: PUSH2 0x075e 00000744: JUMPI 00000745: DUP1 00000746: DUP3 00000747: SUB 00000748: DUP1 00000749: MLOAD 0000074a: PUSH1 0x01 0000074c: DUP4 0000074d: PUSH1 0x20 0000074f: SUB 00000750: PUSH2 0x0100 00000753: EXP 00000754: SUB 00000755: NOT 00000756: AND 00000757: DUP2 00000758: MSTORE 00000759: PUSH1 0x20 0000075b: ADD 0000075c: SWAP2 0000075d: POP 0000075e: JUMPDEST 0000075f: POP 00000760: SWAP3 00000761: POP 00000762: POP 00000763: POP 00000764: PUSH1 0x40 00000766: MLOAD 00000767: DUP1 00000768: SWAP2 00000769: SUB 0000076a: SWAP1 0000076b: RETURN 0000076c: JUMPDEST 0000076d: CALLVALUE 0000076e: DUP1 0000076f: ISZERO 00000770: PUSH2 0x0778 00000773: JUMPI 00000774: PUSH1 0x00 00000776: DUP1 00000777: REVERT 00000778: JUMPDEST 00000779: POP 0000077a: PUSH2 0x07bb 0000077d: PUSH1 0x04 0000077f: DUP1 00000780: CALLDATASIZE 00000781: SUB 00000782: DUP2 00000783: ADD 00000784: SWAP1 00000785: DUP1 00000786: DUP1 00000787: CALLDATALOAD 00000788: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079d: AND 0000079e: SWAP1 0000079f: PUSH1 0x20 000007a1: ADD 000007a2: SWAP1 000007a3: SWAP3 000007a4: SWAP2 000007a5: SWAP1 000007a6: DUP1 000007a7: CALLDATALOAD 000007a8: PUSH2 0xffff 000007ab: AND 000007ac: SWAP1 000007ad: PUSH1 0x20 000007af: ADD 000007b0: SWAP1 000007b1: SWAP3 000007b2: SWAP2 000007b3: SWAP1 000007b4: POP 000007b5: POP 000007b6: POP 000007b7: PUSH2 0x171d 000007ba: JUMP 000007bb: JUMPDEST 000007bc: STOP 000007bd: JUMPDEST 000007be: CALLVALUE 000007bf: DUP1 000007c0: ISZERO 000007c1: PUSH2 0x07c9 000007c4: JUMPI 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: REVERT 000007c9: JUMPDEST 000007ca: POP 000007cb: PUSH2 0x0808 000007ce: PUSH1 0x04 000007d0: DUP1 000007d1: CALLDATASIZE 000007d2: SUB 000007d3: DUP2 000007d4: ADD 000007d5: SWAP1 000007d6: DUP1 000007d7: DUP1 000007d8: CALLDATALOAD 000007d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ee: AND 000007ef: SWAP1 000007f0: PUSH1 0x20 000007f2: ADD 000007f3: SWAP1 000007f4: SWAP3 000007f5: SWAP2 000007f6: SWAP1 000007f7: DUP1 000007f8: CALLDATALOAD 000007f9: SWAP1 000007fa: PUSH1 0x20 000007fc: ADD 000007fd: SWAP1 000007fe: SWAP3 000007ff: SWAP2 00000800: SWAP1 00000801: POP 00000802: POP 00000803: POP 00000804: PUSH2 0x1a44 00000807: JUMP 00000808: JUMPDEST 00000809: PUSH1 0x40 0000080b: MLOAD 0000080c: DUP1 0000080d: DUP3 0000080e: ISZERO 0000080f: ISZERO 00000810: ISZERO 00000811: ISZERO 00000812: DUP2 00000813: MSTORE 00000814: PUSH1 0x20 00000816: ADD 00000817: SWAP2 00000818: POP 00000819: POP 0000081a: PUSH1 0x40 0000081c: MLOAD 0000081d: DUP1 0000081e: SWAP2 0000081f: SUB 00000820: SWAP1 00000821: RETURN 00000822: JUMPDEST 00000823: CALLVALUE 00000824: DUP1 00000825: ISZERO 00000826: PUSH2 0x082e 00000829: JUMPI 0000082a: PUSH1 0x00 0000082c: DUP1 0000082d: REVERT 0000082e: JUMPDEST 0000082f: POP 00000830: PUSH2 0x0837 00000833: PUSH2 0x1aef 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x40 0000083a: MLOAD 0000083b: DUP1 0000083c: DUP3 0000083d: DUP2 0000083e: MSTORE 0000083f: PUSH1 0x20 00000841: ADD 00000842: SWAP2 00000843: POP 00000844: POP 00000845: PUSH1 0x40 00000847: MLOAD 00000848: DUP1 00000849: SWAP2 0000084a: SUB 0000084b: SWAP1 0000084c: RETURN 0000084d: JUMPDEST 0000084e: CALLVALUE 0000084f: DUP1 00000850: ISZERO 00000851: PUSH2 0x0859 00000854: JUMPI 00000855: PUSH1 0x00 00000857: DUP1 00000858: REVERT 00000859: JUMPDEST 0000085a: POP 0000085b: PUSH2 0x0862 0000085e: PUSH2 0x1af5 00000861: JUMP 00000862: JUMPDEST 00000863: STOP 00000864: JUMPDEST 00000865: CALLVALUE 00000866: DUP1 00000867: ISZERO 00000868: PUSH2 0x0870 0000086b: JUMPI 0000086c: PUSH1 0x00 0000086e: DUP1 0000086f: REVERT 00000870: JUMPDEST 00000871: POP 00000872: PUSH2 0x08c5 00000875: PUSH1 0x04 00000877: DUP1 00000878: CALLDATASIZE 00000879: SUB 0000087a: DUP2 0000087b: ADD 0000087c: SWAP1 0000087d: DUP1 0000087e: DUP1 0000087f: CALLDATALOAD 00000880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000895: AND 00000896: SWAP1 00000897: PUSH1 0x20 00000899: ADD 0000089a: SWAP1 0000089b: SWAP3 0000089c: SWAP2 0000089d: SWAP1 0000089e: DUP1 0000089f: CALLDATALOAD 000008a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b5: AND 000008b6: SWAP1 000008b7: PUSH1 0x20 000008b9: ADD 000008ba: SWAP1 000008bb: SWAP3 000008bc: SWAP2 000008bd: SWAP1 000008be: POP 000008bf: POP 000008c0: POP 000008c1: PUSH2 0x1b00 000008c4: JUMP 000008c5: JUMPDEST 000008c6: STOP 000008c7: JUMPDEST 000008c8: CALLVALUE 000008c9: DUP1 000008ca: ISZERO 000008cb: PUSH2 0x08d3 000008ce: JUMPI 000008cf: PUSH1 0x00 000008d1: DUP1 000008d2: REVERT 000008d3: JUMPDEST 000008d4: POP 000008d5: PUSH2 0x0912 000008d8: PUSH1 0x04 000008da: DUP1 000008db: CALLDATASIZE 000008dc: SUB 000008dd: DUP2 000008de: ADD 000008df: SWAP1 000008e0: DUP1 000008e1: DUP1 000008e2: CALLDATALOAD 000008e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f8: AND 000008f9: SWAP1 000008fa: PUSH1 0x20 000008fc: ADD 000008fd: SWAP1 000008fe: SWAP3 000008ff: SWAP2 00000900: SWAP1 00000901: DUP1 00000902: CALLDATALOAD 00000903: SWAP1 00000904: PUSH1 0x20 00000906: ADD 00000907: SWAP1 00000908: SWAP3 00000909: SWAP2 0000090a: SWAP1 0000090b: POP 0000090c: POP 0000090d: POP 0000090e: PUSH2 0x1e80 00000911: JUMP 00000912: JUMPDEST 00000913: PUSH1 0x40 00000915: MLOAD 00000916: DUP1 00000917: DUP3 00000918: ISZERO 00000919: ISZERO 0000091a: ISZERO 0000091b: ISZERO 0000091c: DUP2 0000091d: MSTORE 0000091e: PUSH1 0x20 00000920: ADD 00000921: SWAP2 00000922: POP 00000923: POP 00000924: PUSH1 0x40 00000926: MLOAD 00000927: DUP1 00000928: SWAP2 00000929: SUB 0000092a: SWAP1 0000092b: RETURN 0000092c: JUMPDEST 0000092d: CALLVALUE 0000092e: DUP1 0000092f: ISZERO 00000930: PUSH2 0x0938 00000933: JUMPI 00000934: PUSH1 0x00 00000936: DUP1 00000937: REVERT 00000938: JUMPDEST 00000939: POP 0000093a: PUSH2 0x098d 0000093d: PUSH1 0x04 0000093f: DUP1 00000940: CALLDATASIZE 00000941: SUB 00000942: DUP2 00000943: ADD 00000944: SWAP1 00000945: DUP1 00000946: DUP1 00000947: CALLDATALOAD 00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095d: AND 0000095e: SWAP1 0000095f: PUSH1 0x20 00000961: ADD 00000962: SWAP1 00000963: SWAP3 00000964: SWAP2 00000965: SWAP1 00000966: DUP1 00000967: CALLDATALOAD 00000968: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097d: AND 0000097e: SWAP1 0000097f: PUSH1 0x20 00000981: ADD 00000982: SWAP1 00000983: SWAP3 00000984: SWAP2 00000985: SWAP1 00000986: POP 00000987: POP 00000988: POP 00000989: PUSH2 0x207c 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH1 0x40 00000990: MLOAD 00000991: DUP1 00000992: DUP3 00000993: DUP2 00000994: MSTORE 00000995: PUSH1 0x20 00000997: ADD 00000998: SWAP2 00000999: POP 0000099a: POP 0000099b: PUSH1 0x40 0000099d: MLOAD 0000099e: DUP1 0000099f: SWAP2 000009a0: SUB 000009a1: SWAP1 000009a2: RETURN 000009a3: JUMPDEST 000009a4: CALLVALUE 000009a5: DUP1 000009a6: ISZERO 000009a7: PUSH2 0x09af 000009aa: JUMPI 000009ab: PUSH1 0x00 000009ad: DUP1 000009ae: REVERT 000009af: JUMPDEST 000009b0: POP 000009b1: PUSH2 0x09e4 000009b4: PUSH1 0x04 000009b6: DUP1 000009b7: CALLDATASIZE 000009b8: SUB 000009b9: DUP2 000009ba: ADD 000009bb: SWAP1 000009bc: DUP1 000009bd: DUP1 000009be: CALLDATALOAD 000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d4: AND 000009d5: SWAP1 000009d6: PUSH1 0x20 000009d8: ADD 000009d9: SWAP1 000009da: SWAP3 000009db: SWAP2 000009dc: SWAP1 000009dd: POP 000009de: POP 000009df: POP 000009e0: PUSH2 0x2103 000009e3: JUMP 000009e4: JUMPDEST 000009e5: STOP 000009e6: JUMPDEST 000009e7: CALLVALUE 000009e8: DUP1 000009e9: ISZERO 000009ea: PUSH2 0x09f2 000009ed: JUMPI 000009ee: PUSH1 0x00 000009f0: DUP1 000009f1: REVERT 000009f2: JUMPDEST 000009f3: POP 000009f4: PUSH2 0x09fb 000009f7: PUSH2 0x21bf 000009fa: JUMP 000009fb: JUMPDEST 000009fc: PUSH1 0x40 000009fe: MLOAD 000009ff: DUP1 00000a00: DUP3 00000a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a16: AND 00000a17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2c: AND 00000a2d: DUP2 00000a2e: MSTORE 00000a2f: PUSH1 0x20 00000a31: ADD 00000a32: SWAP2 00000a33: POP 00000a34: POP 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: DUP1 00000a39: SWAP2 00000a3a: SUB 00000a3b: SWAP1 00000a3c: RETURN 00000a3d: JUMPDEST 00000a3e: CALLVALUE 00000a3f: DUP1 00000a40: ISZERO 00000a41: PUSH2 0x0a49 00000a44: JUMPI 00000a45: PUSH1 0x00 00000a47: DUP1 00000a48: REVERT 00000a49: JUMPDEST 00000a4a: POP 00000a4b: PUSH2 0x0a7e 00000a4e: PUSH1 0x04 00000a50: DUP1 00000a51: CALLDATASIZE 00000a52: SUB 00000a53: DUP2 00000a54: ADD 00000a55: SWAP1 00000a56: DUP1 00000a57: DUP1 00000a58: CALLDATALOAD 00000a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6e: AND 00000a6f: SWAP1 00000a70: PUSH1 0x20 00000a72: ADD 00000a73: SWAP1 00000a74: SWAP3 00000a75: SWAP2 00000a76: SWAP1 00000a77: POP 00000a78: POP 00000a79: POP 00000a7a: PUSH2 0x21e5 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: PUSH1 0x40 00000a81: MLOAD 00000a82: DUP1 00000a83: DUP3 00000a84: ISZERO 00000a85: ISZERO 00000a86: ISZERO 00000a87: ISZERO 00000a88: DUP2 00000a89: MSTORE 00000a8a: PUSH1 0x20 00000a8c: ADD 00000a8d: SWAP2 00000a8e: POP 00000a8f: POP 00000a90: PUSH1 0x40 00000a92: MLOAD 00000a93: DUP1 00000a94: SWAP2 00000a95: SUB 00000a96: SWAP1 00000a97: RETURN 00000a98: JUMPDEST 00000a99: PUSH1 0x40 00000a9b: DUP1 00000a9c: MLOAD 00000a9d: SWAP1 00000a9e: DUP2 00000a9f: ADD 00000aa0: PUSH1 0x40 00000aa2: MSTORE 00000aa3: DUP1 00000aa4: PUSH1 0x14 00000aa6: DUP2 00000aa7: MSTORE 00000aa8: PUSH1 0x20 00000aaa: ADD 00000aab: PUSH32 0x467574657265756d2043656e74757269616e2031000000000000000000000000 00000acc: DUP2 00000acd: MSTORE 00000ace: POP 00000acf: DUP2 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x00 00000ad4: DUP2 00000ad5: PUSH1 0x02 00000ad7: PUSH1 0x00 00000ad9: CALLER 00000ada: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aef: AND 00000af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b05: AND 00000b06: DUP2 00000b07: MSTORE 00000b08: PUSH1 0x20 00000b0a: ADD 00000b0b: SWAP1 00000b0c: DUP2 00000b0d: MSTORE 00000b0e: PUSH1 0x20 00000b10: ADD 00000b11: PUSH1 0x00 00000b13: KECCAK256 00000b14: PUSH1 0x00 00000b16: DUP6 00000b17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2c: AND 00000b2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b42: AND 00000b43: DUP2 00000b44: MSTORE 00000b45: PUSH1 0x20 00000b47: ADD 00000b48: SWAP1 00000b49: DUP2 00000b4a: MSTORE 00000b4b: PUSH1 0x20 00000b4d: ADD 00000b4e: PUSH1 0x00 00000b50: KECCAK256 00000b51: DUP2 00000b52: SWAP1 00000b53: SSTORE 00000b54: POP 00000b55: DUP3 00000b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6b: AND 00000b6c: CALLER 00000b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b82: AND 00000b83: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000ba4: DUP5 00000ba5: PUSH1 0x40 00000ba7: MLOAD 00000ba8: DUP1 00000ba9: DUP3 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x20 00000bae: ADD 00000baf: SWAP2 00000bb0: POP 00000bb1: POP 00000bb2: PUSH1 0x40 00000bb4: MLOAD 00000bb5: DUP1 00000bb6: SWAP2 00000bb7: SUB 00000bb8: SWAP1 00000bb9: LOG3 00000bba: PUSH1 0x01 00000bbc: SWAP1 00000bbd: POP 00000bbe: SWAP3 00000bbf: SWAP2 00000bc0: POP 00000bc1: POP 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH1 0x09 00000bc6: PUSH1 0x20 00000bc8: MSTORE 00000bc9: DUP2 00000bca: PUSH1 0x00 00000bcc: MSTORE 00000bcd: PUSH1 0x40 00000bcf: PUSH1 0x00 00000bd1: KECCAK256 00000bd2: PUSH1 0x20 00000bd4: MSTORE 00000bd5: DUP1 00000bd6: PUSH1 0x00 00000bd8: MSTORE 00000bd9: PUSH1 0x40 00000bdb: PUSH1 0x00 00000bdd: KECCAK256 00000bde: PUSH1 0x00 00000be0: SWAP2 00000be1: POP 00000be2: SWAP2 00000be3: POP 00000be4: POP 00000be5: SLOAD 00000be6: DUP2 00000be7: JUMP 00000be8: JUMPDEST 00000be9: PUSH1 0x00 00000beb: PUSH1 0x01 00000bed: SLOAD 00000bee: SWAP1 00000bef: POP 00000bf0: SWAP1 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: PUSH1 0x00 00000bf5: DUP1 00000bf6: DUP4 00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0c: AND 00000c0d: DUP6 00000c0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c23: AND 00000c24: EQ 00000c25: ISZERO 00000c26: ISZERO 00000c27: ISZERO 00000c28: PUSH2 0x0c30 00000c2b: JUMPI 00000c2c: PUSH1 0x00 00000c2e: DUP1 00000c2f: REVERT 00000c30: JUMPDEST 00000c31: PUSH1 0x00 00000c33: DUP1 00000c34: DUP7 00000c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4a: AND 00000c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c60: AND 00000c61: DUP2 00000c62: MSTORE 00000c63: PUSH1 0x20 00000c65: ADD 00000c66: SWAP1 00000c67: DUP2 00000c68: MSTORE 00000c69: PUSH1 0x20 00000c6b: ADD 00000c6c: PUSH1 0x00 00000c6e: KECCAK256 00000c6f: SLOAD 00000c70: SWAP1 00000c71: POP 00000c72: PUSH2 0x0c7c 00000c75: DUP6 00000c76: DUP6 00000c77: DUP6 00000c78: PUSH2 0x2205 00000c7b: JUMP 00000c7c: JUMPDEST 00000c7d: ISZERO 00000c7e: ISZERO 00000c7f: PUSH2 0x0c87 00000c82: JUMPI 00000c83: PUSH1 0x00 00000c85: DUP1 00000c86: REVERT 00000c87: JUMPDEST 00000c88: PUSH2 0x0c93 00000c8b: DUP6 00000c8c: DUP6 00000c8d: DUP6 00000c8e: DUP5 00000c8f: PUSH2 0x25c0 00000c92: JUMP 00000c93: JUMPDEST 00000c94: PUSH1 0x01 00000c96: SWAP2 00000c97: POP 00000c98: POP 00000c99: SWAP4 00000c9a: SWAP3 00000c9b: POP 00000c9c: POP 00000c9d: POP 00000c9e: JUMP 00000c9f: JUMPDEST 00000ca0: PUSH1 0x00 00000ca2: DUP1 00000ca3: PUSH1 0x00 00000ca5: DUP1 00000ca6: PUSH1 0x00 00000ca8: DUP6 00000ca9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbe: AND 00000cbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd4: AND 00000cd5: DUP2 00000cd6: MSTORE 00000cd7: PUSH1 0x20 00000cd9: ADD 00000cda: SWAP1 00000cdb: DUP2 00000cdc: MSTORE 00000cdd: PUSH1 0x20 00000cdf: ADD 00000ce0: PUSH1 0x00 00000ce2: KECCAK256 00000ce3: SLOAD 00000ce4: GT 00000ce5: ISZERO 00000ce6: ISZERO 00000ce7: PUSH2 0x0cef 00000cea: JUMPI 00000ceb: PUSH1 0x00 00000ced: DUP1 00000cee: REVERT 00000cef: JUMPDEST 00000cf0: PUSH2 0x0d1b 00000cf3: PUSH1 0x04 00000cf5: SLOAD 00000cf6: ADDRESS 00000cf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0c: AND 00000d0d: BALANCE 00000d0e: PUSH2 0x2a84 00000d11: SWAP1 00000d12: SWAP2 00000d13: SWAP1 00000d14: PUSH4 0xffffffff 00000d19: AND 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: SWAP2 00000d1d: POP 00000d1e: PUSH2 0x0dd3 00000d21: PUSH1 0x05 00000d23: PUSH1 0x00 00000d25: DUP6 00000d26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3b: AND 00000d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d51: AND 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x20 00000d56: ADD 00000d57: SWAP1 00000d58: DUP2 00000d59: MSTORE 00000d5a: PUSH1 0x20 00000d5c: ADD 00000d5d: PUSH1 0x00 00000d5f: KECCAK256 00000d60: SLOAD 00000d61: PUSH2 0x0dc5 00000d64: PUSH1 0x01 00000d66: SLOAD 00000d67: PUSH2 0x0db7 00000d6a: PUSH1 0x00 00000d6c: DUP1 00000d6d: DUP10 00000d6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d83: AND 00000d84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d99: AND 00000d9a: DUP2 00000d9b: MSTORE 00000d9c: PUSH1 0x20 00000d9e: ADD 00000d9f: SWAP1 00000da0: DUP2 00000da1: MSTORE 00000da2: PUSH1 0x20 00000da4: ADD 00000da5: PUSH1 0x00 00000da7: KECCAK256 00000da8: SLOAD 00000da9: DUP8 00000daa: PUSH2 0x2aa0 00000dad: SWAP1 00000dae: SWAP2 00000daf: SWAP1 00000db0: PUSH4 0xffffffff 00000db5: AND 00000db6: JUMP 00000db7: JUMPDEST 00000db8: PUSH2 0x2ad8 00000dbb: SWAP1 00000dbc: SWAP2 00000dbd: SWAP1 00000dbe: PUSH4 0xffffffff 00000dc3: AND 00000dc4: JUMP 00000dc5: JUMPDEST 00000dc6: PUSH2 0x2aee 00000dc9: SWAP1 00000dca: SWAP2 00000dcb: SWAP1 00000dcc: PUSH4 0xffffffff 00000dd1: AND 00000dd2: JUMP 00000dd3: JUMPDEST 00000dd4: SWAP1 00000dd5: POP 00000dd6: PUSH1 0x00 00000dd8: DUP2 00000dd9: EQ 00000dda: ISZERO 00000ddb: ISZERO 00000ddc: ISZERO 00000ddd: PUSH2 0x0de5 00000de0: JUMPI 00000de1: PUSH1 0x00 00000de3: DUP1 00000de4: REVERT 00000de5: JUMPDEST 00000de6: DUP1 00000de7: ADDRESS 00000de8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfd: AND 00000dfe: BALANCE 00000dff: LT 00000e00: ISZERO 00000e01: ISZERO 00000e02: ISZERO 00000e03: PUSH2 0x0e0b 00000e06: JUMPI 00000e07: PUSH1 0x00 00000e09: DUP1 00000e0a: REVERT 00000e0b: JUMPDEST 00000e0c: PUSH2 0x0e5d 00000e0f: DUP2 00000e10: PUSH1 0x05 00000e12: PUSH1 0x00 00000e14: DUP7 00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2a: AND 00000e2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e40: AND 00000e41: DUP2 00000e42: MSTORE 00000e43: PUSH1 0x20 00000e45: ADD 00000e46: SWAP1 00000e47: DUP2 00000e48: MSTORE 00000e49: PUSH1 0x20 00000e4b: ADD 00000e4c: PUSH1 0x00 00000e4e: KECCAK256 00000e4f: SLOAD 00000e50: PUSH2 0x2a84 00000e53: SWAP1 00000e54: SWAP2 00000e55: SWAP1 00000e56: PUSH4 0xffffffff 00000e5b: AND 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH1 0x05 00000e60: PUSH1 0x00 00000e62: DUP6 00000e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e78: AND 00000e79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8e: AND 00000e8f: DUP2 00000e90: MSTORE 00000e91: PUSH1 0x20 00000e93: ADD 00000e94: SWAP1 00000e95: DUP2 00000e96: MSTORE 00000e97: PUSH1 0x20 00000e99: ADD 00000e9a: PUSH1 0x00 00000e9c: KECCAK256 00000e9d: DUP2 00000e9e: SWAP1 00000e9f: SSTORE 00000ea0: POP 00000ea1: PUSH2 0x0eb5 00000ea4: DUP2 00000ea5: PUSH1 0x04 00000ea7: SLOAD 00000ea8: PUSH2 0x2a84 00000eab: SWAP1 00000eac: SWAP2 00000ead: SWAP1 00000eae: PUSH4 0xffffffff 00000eb3: AND 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH1 0x04 00000eb8: DUP2 00000eb9: SWAP1 00000eba: SSTORE 00000ebb: POP 00000ebc: DUP3 00000ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed2: AND 00000ed3: PUSH2 0x08fc 00000ed6: DUP3 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: ISZERO 00000eda: MUL 00000edb: SWAP1 00000edc: PUSH1 0x40 00000ede: MLOAD 00000edf: PUSH1 0x00 00000ee1: PUSH1 0x40 00000ee3: MLOAD 00000ee4: DUP1 00000ee5: DUP4 00000ee6: SUB 00000ee7: DUP2 00000ee8: DUP6 00000ee9: DUP9 00000eea: DUP9 00000eeb: CALL 00000eec: SWAP4 00000eed: POP 00000eee: POP 00000eef: POP 00000ef0: POP 00000ef1: ISZERO 00000ef2: DUP1 00000ef3: ISZERO 00000ef4: PUSH2 0x0f01 00000ef7: JUMPI 00000ef8: RETURNDATASIZE 00000ef9: PUSH1 0x00 00000efb: DUP1 00000efc: RETURNDATACOPY 00000efd: RETURNDATASIZE 00000efe: PUSH1 0x00 00000f00: REVERT 00000f01: JUMPDEST 00000f02: POP 00000f03: POP 00000f04: POP 00000f05: POP 00000f06: JUMP 00000f07: JUMPDEST 00000f08: PUSH1 0x00 00000f0a: DUP2 00000f0b: JUMP 00000f0c: JUMPDEST 00000f0d: PUSH1 0x03 00000f0f: PUSH1 0x00 00000f11: SWAP1 00000f12: SLOAD 00000f13: SWAP1 00000f14: PUSH2 0x0100 00000f17: EXP 00000f18: SWAP1 00000f19: DIV 00000f1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2f: AND 00000f30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f45: AND 00000f46: CALLER 00000f47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5c: AND 00000f5d: EQ 00000f5e: ISZERO 00000f5f: ISZERO 00000f60: PUSH2 0x0f68 00000f63: JUMPI 00000f64: PUSH1 0x00 00000f66: DUP1 00000f67: REVERT 00000f68: JUMPDEST 00000f69: PUSH1 0x00 00000f6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f80: AND 00000f81: DUP2 00000f82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f97: AND 00000f98: EQ 00000f99: ISZERO 00000f9a: ISZERO 00000f9b: ISZERO 00000f9c: PUSH2 0x0fa4 00000f9f: JUMPI 00000fa0: PUSH1 0x00 00000fa2: DUP1 00000fa3: REVERT 00000fa4: JUMPDEST 00000fa5: PUSH1 0x07 00000fa7: PUSH1 0x00 00000fa9: DUP3 00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fbf: AND 00000fc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd5: AND 00000fd6: DUP2 00000fd7: MSTORE 00000fd8: PUSH1 0x20 00000fda: ADD 00000fdb: SWAP1 00000fdc: DUP2 00000fdd: MSTORE 00000fde: PUSH1 0x20 00000fe0: ADD 00000fe1: PUSH1 0x00 00000fe3: KECCAK256 00000fe4: PUSH1 0x00 00000fe6: SWAP1 00000fe7: SLOAD 00000fe8: SWAP1 00000fe9: PUSH2 0x0100 00000fec: EXP 00000fed: SWAP1 00000fee: DIV 00000fef: PUSH1 0xff 00000ff1: AND 00000ff2: ISZERO 00000ff3: ISZERO 00000ff4: ISZERO 00000ff5: PUSH2 0x0ffd 00000ff8: JUMPI 00000ff9: PUSH1 0x00 00000ffb: DUP1 00000ffc: REVERT 00000ffd: JUMPDEST 00000ffe: PUSH1 0x06 00001000: DUP2 00001001: SWAP1 00001002: DUP1 00001003: PUSH1 0x01 00001005: DUP2 00001006: SLOAD 00001007: ADD 00001008: DUP1 00001009: DUP3 0000100a: SSTORE 0000100b: DUP1 0000100c: SWAP2 0000100d: POP 0000100e: POP 0000100f: SWAP1 00001010: PUSH1 0x01 00001012: DUP3 00001013: SUB 00001014: SWAP1 00001015: PUSH1 0x00 00001017: MSTORE 00001018: PUSH1 0x20 0000101a: PUSH1 0x00 0000101c: KECCAK256 0000101d: ADD 0000101e: PUSH1 0x00 00001020: SWAP1 00001021: SWAP2 00001022: SWAP3 00001023: SWAP1 00001024: SWAP2 00001025: SWAP1 00001026: SWAP2 00001027: PUSH2 0x0100 0000102a: EXP 0000102b: DUP2 0000102c: SLOAD 0000102d: DUP2 0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001043: MUL 00001044: NOT 00001045: AND 00001046: SWAP1 00001047: DUP4 00001048: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105d: AND 0000105e: MUL 0000105f: OR 00001060: SWAP1 00001061: SSTORE 00001062: POP 00001063: POP 00001064: PUSH1 0x01 00001066: PUSH1 0x07 00001068: PUSH1 0x00 0000106a: DUP4 0000106b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001080: AND 00001081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001096: AND 00001097: DUP2 00001098: MSTORE 00001099: PUSH1 0x20 0000109b: ADD 0000109c: SWAP1 0000109d: DUP2 0000109e: MSTORE 0000109f: PUSH1 0x20 000010a1: ADD 000010a2: PUSH1 0x00 000010a4: KECCAK256 000010a5: PUSH1 0x00 000010a7: PUSH2 0x0100 000010aa: EXP 000010ab: DUP2 000010ac: SLOAD 000010ad: DUP2 000010ae: PUSH1 0xff 000010b0: MUL 000010b1: NOT 000010b2: AND 000010b3: SWAP1 000010b4: DUP4 000010b5: ISZERO 000010b6: ISZERO 000010b7: MUL 000010b8: OR 000010b9: SWAP1 000010ba: SSTORE 000010bb: POP 000010bc: POP 000010bd: JUMP 000010be: JUMPDEST 000010bf: PUSH1 0x00 000010c1: DUP1 000010c2: PUSH1 0x00 000010c4: DUP1 000010c5: DUP6 000010c6: SWAP3 000010c7: POP 000010c8: PUSH2 0x11ee 000010cb: PUSH1 0x08 000010cd: PUSH1 0x00 000010cf: DUP6 000010d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e5: AND 000010e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010fb: AND 000010fc: DUP2 000010fd: MSTORE 000010fe: PUSH1 0x20 00001100: ADD 00001101: SWAP1 00001102: DUP2 00001103: MSTORE 00001104: PUSH1 0x20 00001106: ADD 00001107: PUSH1 0x00 00001109: KECCAK256 0000110a: SLOAD 0000110b: DUP5 0000110c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001121: AND 00001122: PUSH4 0x70a08231 00001127: ADDRESS 00001128: PUSH1 0x40 0000112a: MLOAD 0000112b: DUP3 0000112c: PUSH4 0xffffffff 00001131: AND 00001132: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001150: MUL 00001151: DUP2 00001152: MSTORE 00001153: PUSH1 0x04 00001155: ADD 00001156: DUP1 00001157: DUP3 00001158: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116d: AND 0000116e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001183: AND 00001184: DUP2 00001185: MSTORE 00001186: PUSH1 0x20 00001188: ADD 00001189: SWAP2 0000118a: POP 0000118b: POP 0000118c: PUSH1 0x20 0000118e: PUSH1 0x40 00001190: MLOAD 00001191: DUP1 00001192: DUP4 00001193: SUB 00001194: DUP2 00001195: PUSH1 0x00 00001197: DUP8 00001198: DUP1 00001199: EXTCODESIZE 0000119a: ISZERO 0000119b: DUP1 0000119c: ISZERO 0000119d: PUSH2 0x11a5 000011a0: JUMPI 000011a1: PUSH1 0x00 000011a3: DUP1 000011a4: REVERT 000011a5: JUMPDEST 000011a6: POP 000011a7: GAS 000011a8: CALL 000011a9: ISZERO 000011aa: DUP1 000011ab: ISZERO 000011ac: PUSH2 0x11b9 000011af: JUMPI 000011b0: RETURNDATASIZE 000011b1: PUSH1 0x00 000011b3: DUP1 000011b4: RETURNDATACOPY 000011b5: RETURNDATASIZE 000011b6: PUSH1 0x00 000011b8: REVERT 000011b9: JUMPDEST 000011ba: POP 000011bb: POP 000011bc: POP 000011bd: POP 000011be: PUSH1 0x40 000011c0: MLOAD 000011c1: RETURNDATASIZE 000011c2: PUSH1 0x20 000011c4: DUP2 000011c5: LT 000011c6: ISZERO 000011c7: PUSH2 0x11cf 000011ca: JUMPI 000011cb: PUSH1 0x00 000011cd: DUP1 000011ce: REVERT 000011cf: JUMPDEST 000011d0: DUP2 000011d1: ADD 000011d2: SWAP1 000011d3: DUP1 000011d4: DUP1 000011d5: MLOAD 000011d6: SWAP1 000011d7: PUSH1 0x20 000011d9: ADD 000011da: SWAP1 000011db: SWAP3 000011dc: SWAP2 000011dd: SWAP1 000011de: POP 000011df: POP 000011e0: POP 000011e1: PUSH2 0x2a84 000011e4: SWAP1 000011e5: SWAP2 000011e6: SWAP1 000011e7: PUSH4 0xffffffff 000011ec: AND 000011ed: JUMP 000011ee: JUMPDEST 000011ef: SWAP2 000011f0: POP 000011f1: PUSH2 0x12e3 000011f4: PUSH1 0x09 000011f6: PUSH1 0x00 000011f8: DUP6 000011f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000120e: AND 0000120f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001224: AND 00001225: DUP2 00001226: MSTORE 00001227: PUSH1 0x20 00001229: ADD 0000122a: SWAP1 0000122b: DUP2 0000122c: MSTORE 0000122d: PUSH1 0x20 0000122f: ADD 00001230: PUSH1 0x00 00001232: KECCAK256 00001233: PUSH1 0x00 00001235: DUP8 00001236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124b: AND 0000124c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001261: AND 00001262: DUP2 00001263: MSTORE 00001264: PUSH1 0x20 00001266: ADD 00001267: SWAP1 00001268: DUP2 00001269: MSTORE 0000126a: PUSH1 0x20 0000126c: ADD 0000126d: PUSH1 0x00 0000126f: KECCAK256 00001270: SLOAD 00001271: PUSH2 0x12d5 00001274: PUSH1 0x01 00001276: SLOAD 00001277: PUSH2 0x12c7 0000127a: PUSH1 0x00 0000127c: DUP1 0000127d: DUP12 0000127e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001293: AND 00001294: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a9: AND 000012aa: DUP2 000012ab: MSTORE 000012ac: PUSH1 0x20 000012ae: ADD 000012af: SWAP1 000012b0: DUP2 000012b1: MSTORE 000012b2: PUSH1 0x20 000012b4: ADD 000012b5: PUSH1 0x00 000012b7: KECCAK256 000012b8: SLOAD 000012b9: DUP8 000012ba: PUSH2 0x2aa0 000012bd: SWAP1 000012be: SWAP2 000012bf: SWAP1 000012c0: PUSH4 0xffffffff 000012c5: AND 000012c6: JUMP 000012c7: JUMPDEST 000012c8: PUSH2 0x2ad8 000012cb: SWAP1 000012cc: SWAP2 000012cd: SWAP1 000012ce: PUSH4 0xffffffff 000012d3: AND 000012d4: JUMP 000012d5: JUMPDEST 000012d6: PUSH2 0x2aee 000012d9: SWAP1 000012da: SWAP2 000012db: SWAP1 000012dc: PUSH4 0xffffffff 000012e1: AND 000012e2: JUMP 000012e3: JUMPDEST 000012e4: SWAP1 000012e5: POP 000012e6: DUP1 000012e7: SWAP4 000012e8: POP 000012e9: POP 000012ea: POP 000012eb: POP 000012ec: SWAP3 000012ed: SWAP2 000012ee: POP 000012ef: POP 000012f0: JUMP 000012f1: JUMPDEST 000012f2: PUSH1 0x05 000012f4: PUSH1 0x20 000012f6: MSTORE 000012f7: DUP1 000012f8: PUSH1 0x00 000012fa: MSTORE 000012fb: PUSH1 0x40 000012fd: PUSH1 0x00 000012ff: KECCAK256 00001300: PUSH1 0x00 00001302: SWAP2 00001303: POP 00001304: SWAP1 00001305: POP 00001306: SLOAD 00001307: DUP2 00001308: JUMP 00001309: JUMPDEST 0000130a: PUSH1 0x00 0000130c: DUP1 0000130d: PUSH1 0x02 0000130f: PUSH1 0x00 00001311: CALLER 00001312: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001327: AND 00001328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133d: AND 0000133e: DUP2 0000133f: MSTORE 00001340: PUSH1 0x20 00001342: ADD 00001343: SWAP1 00001344: DUP2 00001345: MSTORE 00001346: PUSH1 0x20 00001348: ADD 00001349: PUSH1 0x00 0000134b: KECCAK256 0000134c: PUSH1 0x00 0000134e: DUP6 0000134f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001364: AND 00001365: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137a: AND 0000137b: DUP2 0000137c: MSTORE 0000137d: PUSH1 0x20 0000137f: ADD 00001380: SWAP1 00001381: DUP2 00001382: MSTORE 00001383: PUSH1 0x20 00001385: ADD 00001386: PUSH1 0x00 00001388: KECCAK256 00001389: SLOAD 0000138a: SWAP1 0000138b: POP 0000138c: DUP1 0000138d: DUP4 0000138e: LT 0000138f: ISZERO 00001390: ISZERO 00001391: PUSH2 0x141b 00001394: JUMPI 00001395: PUSH1 0x00 00001397: PUSH1 0x02 00001399: PUSH1 0x00 0000139b: CALLER 0000139c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b1: AND 000013b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c7: AND 000013c8: DUP2 000013c9: MSTORE 000013ca: PUSH1 0x20 000013cc: ADD 000013cd: SWAP1 000013ce: DUP2 000013cf: MSTORE 000013d0: PUSH1 0x20 000013d2: ADD 000013d3: PUSH1 0x00 000013d5: KECCAK256 000013d6: PUSH1 0x00 000013d8: DUP7 000013d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ee: AND 000013ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001404: AND 00001405: DUP2 00001406: MSTORE 00001407: PUSH1 0x20 00001409: ADD 0000140a: SWAP1 0000140b: DUP2 0000140c: MSTORE 0000140d: PUSH1 0x20 0000140f: ADD 00001410: PUSH1 0x00 00001412: KECCAK256 00001413: DUP2 00001414: SWAP1 00001415: SSTORE 00001416: POP 00001417: PUSH2 0x14af 0000141a: JUMP 0000141b: JUMPDEST 0000141c: PUSH2 0x142e 0000141f: DUP4 00001420: DUP3 00001421: PUSH2 0x2aee 00001424: SWAP1 00001425: SWAP2 00001426: SWAP1 00001427: PUSH4 0xffffffff 0000142c: AND 0000142d: JUMP 0000142e: JUMPDEST 0000142f: PUSH1 0x02 00001431: PUSH1 0x00 00001433: CALLER 00001434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001449: AND 0000144a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145f: AND 00001460: DUP2 00001461: MSTORE 00001462: PUSH1 0x20 00001464: ADD 00001465: SWAP1 00001466: DUP2 00001467: MSTORE 00001468: PUSH1 0x20 0000146a: ADD 0000146b: PUSH1 0x00 0000146d: KECCAK256 0000146e: PUSH1 0x00 00001470: DUP7 00001471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001486: AND 00001487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000149c: AND 0000149d: DUP2 0000149e: MSTORE 0000149f: PUSH1 0x20 000014a1: ADD 000014a2: SWAP1 000014a3: DUP2 000014a4: MSTORE 000014a5: PUSH1 0x20 000014a7: ADD 000014a8: PUSH1 0x00 000014aa: KECCAK256 000014ab: DUP2 000014ac: SWAP1 000014ad: SSTORE 000014ae: POP 000014af: JUMPDEST 000014b0: DUP4 000014b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c6: AND 000014c7: CALLER 000014c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014dd: AND 000014de: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000014ff: PUSH1 0x02 00001501: PUSH1 0x00 00001503: CALLER 00001504: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001519: AND 0000151a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152f: AND 00001530: DUP2 00001531: MSTORE 00001532: PUSH1 0x20 00001534: ADD 00001535: SWAP1 00001536: DUP2 00001537: MSTORE 00001538: PUSH1 0x20 0000153a: ADD 0000153b: PUSH1 0x00 0000153d: KECCAK256 0000153e: PUSH1 0x00 00001540: DUP9 00001541: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001556: AND 00001557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000156c: AND 0000156d: DUP2 0000156e: MSTORE 0000156f: PUSH1 0x20 00001571: ADD 00001572: SWAP1 00001573: DUP2 00001574: MSTORE 00001575: PUSH1 0x20 00001577: ADD 00001578: PUSH1 0x00 0000157a: KECCAK256 0000157b: SLOAD 0000157c: PUSH1 0x40 0000157e: MLOAD 0000157f: DUP1 00001580: DUP3 00001581: DUP2 00001582: MSTORE 00001583: PUSH1 0x20 00001585: ADD 00001586: SWAP2 00001587: POP 00001588: POP 00001589: PUSH1 0x40 0000158b: MLOAD 0000158c: DUP1 0000158d: SWAP2 0000158e: SUB 0000158f: SWAP1 00001590: LOG3 00001591: PUSH1 0x01 00001593: SWAP2 00001594: POP 00001595: POP 00001596: SWAP3 00001597: SWAP2 00001598: POP 00001599: POP 0000159a: JUMP 0000159b: JUMPDEST 0000159c: PUSH1 0x00 0000159e: DUP1 0000159f: PUSH1 0x00 000015a1: DUP4 000015a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b7: AND 000015b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015cd: AND 000015ce: DUP2 000015cf: MSTORE 000015d0: PUSH1 0x20 000015d2: ADD 000015d3: SWAP1 000015d4: DUP2 000015d5: MSTORE 000015d6: PUSH1 0x20 000015d8: ADD 000015d9: PUSH1 0x00 000015db: KECCAK256 000015dc: SLOAD 000015dd: SWAP1 000015de: POP 000015df: SWAP2 000015e0: SWAP1 000015e1: POP 000015e2: JUMP 000015e3: JUMPDEST 000015e4: PUSH1 0x08 000015e6: PUSH1 0x20 000015e8: MSTORE 000015e9: DUP1 000015ea: PUSH1 0x00 000015ec: MSTORE 000015ed: PUSH1 0x40 000015ef: PUSH1 0x00 000015f1: KECCAK256 000015f2: PUSH1 0x00 000015f4: SWAP2 000015f5: POP 000015f6: SWAP1 000015f7: POP 000015f8: SLOAD 000015f9: DUP2 000015fa: JUMP 000015fb: JUMPDEST 000015fc: PUSH1 0x06 000015fe: DUP2 000015ff: DUP2 00001600: SLOAD 00001601: DUP2 00001602: LT 00001603: ISZERO 00001604: ISZERO 00001605: PUSH2 0x160a 00001608: JUMPI 00001609: INVALID 0000160a: JUMPDEST 0000160b: SWAP1 0000160c: PUSH1 0x00 0000160e: MSTORE 0000160f: PUSH1 0x20 00001611: PUSH1 0x00 00001613: KECCAK256 00001614: ADD 00001615: PUSH1 0x00 00001617: SWAP2 00001618: POP 00001619: SLOAD 0000161a: SWAP1 0000161b: PUSH2 0x0100 0000161e: EXP 0000161f: SWAP1 00001620: DIV 00001621: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001636: AND 00001637: DUP2 00001638: JUMP 00001639: JUMPDEST 0000163a: PUSH1 0x03 0000163c: PUSH1 0x00 0000163e: SWAP1 0000163f: SLOAD 00001640: SWAP1 00001641: PUSH2 0x0100 00001644: EXP 00001645: SWAP1 00001646: DIV 00001647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165c: AND 0000165d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001672: AND 00001673: CALLER 00001674: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001689: AND 0000168a: EQ 0000168b: ISZERO 0000168c: ISZERO 0000168d: PUSH2 0x1695 00001690: JUMPI 00001691: PUSH1 0x00 00001693: DUP1 00001694: REVERT 00001695: JUMPDEST 00001696: DUP1 00001697: PUSH1 0x03 00001699: PUSH1 0x00 0000169b: PUSH2 0x0100 0000169e: EXP 0000169f: DUP2 000016a0: SLOAD 000016a1: DUP2 000016a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b7: MUL 000016b8: NOT 000016b9: AND 000016ba: SWAP1 000016bb: DUP4 000016bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016d1: AND 000016d2: MUL 000016d3: OR 000016d4: SWAP1 000016d5: SSTORE 000016d6: POP 000016d7: POP 000016d8: JUMP 000016d9: JUMPDEST 000016da: PUSH2 0x16e2 000016dd: CALLER 000016de: PUSH2 0x2103 000016e1: JUMP 000016e2: JUMPDEST 000016e3: JUMP 000016e4: JUMPDEST 000016e5: PUSH1 0x40 000016e7: DUP1 000016e8: MLOAD 000016e9: SWAP1 000016ea: DUP2 000016eb: ADD 000016ec: PUSH1 0x40 000016ee: MSTORE 000016ef: DUP1 000016f0: PUSH1 0x05 000016f2: DUP2 000016f3: MSTORE 000016f4: PUSH1 0x20 000016f6: ADD 000016f7: PUSH32 0x4655544331000000000000000000000000000000000000000000000000000000 00001718: DUP2 00001719: MSTORE 0000171a: POP 0000171b: DUP2 0000171c: JUMP 0000171d: JUMPDEST 0000171e: PUSH1 0x03 00001720: PUSH1 0x00 00001722: SWAP1 00001723: SLOAD 00001724: SWAP1 00001725: PUSH2 0x0100 00001728: EXP 00001729: SWAP1 0000172a: DIV 0000172b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001740: AND 00001741: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001756: AND 00001757: CALLER 00001758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000176d: AND 0000176e: EQ 0000176f: ISZERO 00001770: ISZERO 00001771: PUSH2 0x1779 00001774: JUMPI 00001775: PUSH1 0x00 00001777: DUP1 00001778: REVERT 00001779: JUMPDEST 0000177a: PUSH1 0x07 0000177c: PUSH1 0x00 0000177e: DUP4 0000177f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001794: AND 00001795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017aa: AND 000017ab: DUP2 000017ac: MSTORE 000017ad: PUSH1 0x20 000017af: ADD 000017b0: SWAP1 000017b1: DUP2 000017b2: MSTORE 000017b3: PUSH1 0x20 000017b5: ADD 000017b6: PUSH1 0x00 000017b8: KECCAK256 000017b9: PUSH1 0x00 000017bb: SWAP1 000017bc: SLOAD 000017bd: SWAP1 000017be: PUSH2 0x0100 000017c1: EXP 000017c2: SWAP1 000017c3: DIV 000017c4: PUSH1 0xff 000017c6: AND 000017c7: ISZERO 000017c8: ISZERO 000017c9: PUSH2 0x17d1 000017cc: JUMPI 000017cd: PUSH1 0x00 000017cf: DUP1 000017d0: REVERT 000017d1: JUMPDEST 000017d2: DUP2 000017d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017e8: AND 000017e9: PUSH1 0x06 000017eb: DUP3 000017ec: PUSH2 0xffff 000017ef: AND 000017f0: DUP2 000017f1: SLOAD 000017f2: DUP2 000017f3: LT 000017f4: ISZERO 000017f5: ISZERO 000017f6: PUSH2 0x17fb 000017f9: JUMPI 000017fa: INVALID 000017fb: JUMPDEST 000017fc: SWAP1 000017fd: PUSH1 0x00 000017ff: MSTORE 00001800: PUSH1 0x20 00001802: PUSH1 0x00 00001804: KECCAK256 00001805: ADD 00001806: PUSH1 0x00 00001808: SWAP1 00001809: SLOAD 0000180a: SWAP1 0000180b: PUSH2 0x0100 0000180e: EXP 0000180f: SWAP1 00001810: DIV 00001811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001826: AND 00001827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000183c: AND 0000183d: EQ 0000183e: ISZERO 0000183f: ISZERO 00001840: PUSH2 0x1848 00001843: JUMPI 00001844: PUSH1 0x00 00001846: DUP1 00001847: REVERT 00001848: JUMPDEST 00001849: PUSH2 0x1948 0000184c: DUP3 0000184d: DUP4 0000184e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001863: AND 00001864: PUSH4 0x70a08231 00001869: ADDRESS 0000186a: PUSH1 0x40 0000186c: MLOAD 0000186d: DUP3 0000186e: PUSH4 0xffffffff 00001873: AND 00001874: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001892: MUL 00001893: DUP2 00001894: MSTORE 00001895: PUSH1 0x04 00001897: ADD 00001898: DUP1 00001899: DUP3 0000189a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018af: AND 000018b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000018c5: AND 000018c6: DUP2 000018c7: MSTORE 000018c8: PUSH1 0x20 000018ca: ADD 000018cb: SWAP2 000018cc: POP 000018cd: POP 000018ce: PUSH1 0x20 000018d0: PUSH1 0x40 000018d2: MLOAD 000018d3: DUP1 000018d4: DUP4 000018d5: SUB 000018d6: DUP2 000018d7: PUSH1 0x00 000018d9: DUP8 000018da: DUP1 000018db: EXTCODESIZE 000018dc: ISZERO 000018dd: DUP1 000018de: ISZERO 000018df: PUSH2 0x18e7 000018e2: JUMPI 000018e3: PUSH1 0x00 000018e5: DUP1 000018e6: REVERT 000018e7: JUMPDEST 000018e8: POP 000018e9: GAS 000018ea: CALL 000018eb: ISZERO 000018ec: DUP1 000018ed: ISZERO 000018ee: PUSH2 0x18fb 000018f1: JUMPI 000018f2: RETURNDATASIZE 000018f3: PUSH1 0x00 000018f5: DUP1 000018f6: RETURNDATACOPY 000018f7: RETURNDATASIZE 000018f8: PUSH1 0x00 000018fa: REVERT 000018fb: JUMPDEST 000018fc: POP 000018fd: POP 000018fe: POP 000018ff: POP 00001900: PUSH1 0x40 00001902: MLOAD 00001903: RETURNDATASIZE 00001904: PUSH1 0x20 00001906: DUP2 00001907: LT 00001908: ISZERO 00001909: PUSH2 0x1911 0000190c: JUMPI 0000190d: PUSH1 0x00 0000190f: DUP1 00001910: REVERT 00001911: JUMPDEST 00001912: DUP2 00001913: ADD 00001914: SWAP1 00001915: DUP1 00001916: DUP1 00001917: MLOAD 00001918: SWAP1 00001919: PUSH1 0x20 0000191b: ADD 0000191c: SWAP1 0000191d: SWAP3 0000191e: SWAP2 0000191f: SWAP1 00001920: POP 00001921: POP 00001922: POP 00001923: DUP5 00001924: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001939: AND 0000193a: PUSH2 0x2b07 0000193d: SWAP1 0000193e: SWAP3 0000193f: SWAP2 00001940: SWAP1 00001941: PUSH4 0xffffffff 00001946: AND 00001947: JUMP 00001948: JUMPDEST 00001949: POP 0000194a: PUSH1 0x06 0000194c: PUSH1 0x01 0000194e: PUSH1 0x06 00001950: DUP1 00001951: SLOAD 00001952: SWAP1 00001953: POP 00001954: SUB 00001955: DUP2 00001956: SLOAD 00001957: DUP2 00001958: LT 00001959: ISZERO 0000195a: ISZERO 0000195b: PUSH2 0x1960 0000195e: JUMPI 0000195f: INVALID 00001960: JUMPDEST 00001961: SWAP1 00001962: PUSH1 0x00 00001964: MSTORE 00001965: PUSH1 0x20 00001967: PUSH1 0x00 00001969: KECCAK256 0000196a: ADD 0000196b: PUSH1 0x00 0000196d: SWAP1 0000196e: SLOAD 0000196f: SWAP1 00001970: PUSH2 0x0100 00001973: EXP 00001974: SWAP1 00001975: DIV 00001976: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000198b: AND 0000198c: PUSH1 0x06 0000198e: DUP3 0000198f: PUSH2 0xffff 00001992: AND 00001993: DUP2 00001994: SLOAD 00001995: DUP2 00001996: LT 00001997: ISZERO 00001998: ISZERO 00001999: PUSH2 0x199e 0000199c: JUMPI 0000199d: INVALID 0000199e: JUMPDEST 0000199f: SWAP1 000019a0: PUSH1 0x00 000019a2: MSTORE 000019a3: PUSH1 0x20 000019a5: PUSH1 0x00 000019a7: KECCAK256 000019a8: ADD 000019a9: PUSH1 0x00 000019ab: PUSH2 0x0100 000019ae: EXP 000019af: DUP2 000019b0: SLOAD 000019b1: DUP2 000019b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c7: MUL 000019c8: NOT 000019c9: AND 000019ca: SWAP1 000019cb: DUP4 000019cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e1: AND 000019e2: MUL 000019e3: OR 000019e4: SWAP1 000019e5: SSTORE 000019e6: POP 000019e7: PUSH1 0x06 000019e9: PUSH1 0x01 000019eb: PUSH1 0x06 000019ed: DUP1 000019ee: SLOAD 000019ef: SWAP1 000019f0: POP 000019f1: SUB 000019f2: DUP2 000019f3: SLOAD 000019f4: DUP2 000019f5: LT 000019f6: ISZERO 000019f7: ISZERO 000019f8: PUSH2 0x19fd 000019fb: JUMPI 000019fc: INVALID 000019fd: JUMPDEST 000019fe: SWAP1 000019ff: PUSH1 0x00 00001a01: MSTORE 00001a02: PUSH1 0x20 00001a04: PUSH1 0x00 00001a06: KECCAK256 00001a07: ADD 00001a08: PUSH1 0x00 00001a0a: PUSH2 0x0100 00001a0d: EXP 00001a0e: DUP2 00001a0f: SLOAD 00001a10: SWAP1 00001a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a26: MUL 00001a27: NOT 00001a28: AND 00001a29: SWAP1 00001a2a: SSTORE 00001a2b: PUSH1 0x06 00001a2d: DUP1 00001a2e: SLOAD 00001a2f: DUP1 00001a30: SWAP2 00001a31: SWAP1 00001a32: PUSH1 0x01 00001a34: SWAP1 00001a35: SUB 00001a36: PUSH2 0x1a3f 00001a39: SWAP2 00001a3a: SWAP1 00001a3b: PUSH2 0x2e7b 00001a3e: JUMP 00001a3f: JUMPDEST 00001a40: POP 00001a41: POP 00001a42: POP 00001a43: JUMP 00001a44: JUMPDEST 00001a45: PUSH1 0x00 00001a47: DUP1 00001a48: DUP4 00001a49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a5e: AND 00001a5f: CALLER 00001a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a75: AND 00001a76: EQ 00001a77: ISZERO 00001a78: ISZERO 00001a79: ISZERO 00001a7a: PUSH2 0x1a82 00001a7d: JUMPI 00001a7e: PUSH1 0x00 00001a80: DUP1 00001a81: REVERT 00001a82: JUMPDEST 00001a83: PUSH1 0x00 00001a85: DUP1 00001a86: CALLER 00001a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9c: AND 00001a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ab2: AND 00001ab3: DUP2 00001ab4: MSTORE 00001ab5: PUSH1 0x20 00001ab7: ADD 00001ab8: SWAP1 00001ab9: DUP2 00001aba: MSTORE 00001abb: PUSH1 0x20 00001abd: ADD 00001abe: PUSH1 0x00 00001ac0: KECCAK256 00001ac1: SLOAD 00001ac2: SWAP1 00001ac3: POP 00001ac4: PUSH2 0x1acd 00001ac7: DUP5 00001ac8: DUP5 00001ac9: PUSH2 0x2c1a 00001acc: JUMP 00001acd: JUMPDEST 00001ace: ISZERO 00001acf: ISZERO 00001ad0: PUSH2 0x1ad8 00001ad3: JUMPI 00001ad4: PUSH1 0x00 00001ad6: DUP1 00001ad7: REVERT 00001ad8: JUMPDEST 00001ad9: PUSH2 0x1ae4 00001adc: CALLER 00001add: DUP6 00001ade: DUP6 00001adf: DUP5 00001ae0: PUSH2 0x25c0 00001ae3: JUMP 00001ae4: JUMPDEST 00001ae5: PUSH1 0x01 00001ae7: SWAP2 00001ae8: POP 00001ae9: POP 00001aea: SWAP3 00001aeb: SWAP2 00001aec: POP 00001aed: POP 00001aee: JUMP 00001aef: JUMPDEST 00001af0: PUSH1 0x04 00001af2: SLOAD 00001af3: DUP2 00001af4: JUMP 00001af5: JUMPDEST 00001af6: PUSH2 0x1afe 00001af9: CALLER 00001afa: PUSH2 0x0c9f 00001afd: JUMP 00001afe: JUMPDEST 00001aff: JUMP 00001b00: JUMPDEST 00001b01: PUSH1 0x00 00001b03: DUP1 00001b04: PUSH1 0x00 00001b06: DUP1 00001b07: PUSH1 0x00 00001b09: DUP6 00001b0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1f: AND 00001b20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b35: AND 00001b36: DUP2 00001b37: MSTORE 00001b38: PUSH1 0x20 00001b3a: ADD 00001b3b: SWAP1 00001b3c: DUP2 00001b3d: MSTORE 00001b3e: PUSH1 0x20 00001b40: ADD 00001b41: PUSH1 0x00 00001b43: KECCAK256 00001b44: SLOAD 00001b45: GT 00001b46: ISZERO 00001b47: ISZERO 00001b48: PUSH2 0x1b50 00001b4b: JUMPI 00001b4c: PUSH1 0x00 00001b4e: DUP1 00001b4f: REVERT 00001b50: JUMPDEST 00001b51: PUSH1 0x07 00001b53: PUSH1 0x00 00001b55: DUP6 00001b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b6b: AND 00001b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b81: AND 00001b82: DUP2 00001b83: MSTORE 00001b84: PUSH1 0x20 00001b86: ADD 00001b87: SWAP1 00001b88: DUP2 00001b89: MSTORE 00001b8a: PUSH1 0x20 00001b8c: ADD 00001b8d: PUSH1 0x00 00001b8f: KECCAK256 00001b90: PUSH1 0x00 00001b92: SWAP1 00001b93: SLOAD 00001b94: SWAP1 00001b95: PUSH2 0x0100 00001b98: EXP 00001b99: SWAP1 00001b9a: DIV 00001b9b: PUSH1 0xff 00001b9d: AND 00001b9e: ISZERO 00001b9f: ISZERO 00001ba0: PUSH2 0x1ba8 00001ba3: JUMPI 00001ba4: PUSH1 0x00 00001ba6: DUP1 00001ba7: REVERT 00001ba8: JUMPDEST 00001ba9: PUSH2 0x1bb2 00001bac: DUP5 00001bad: DUP5 00001bae: PUSH2 0x10be 00001bb1: JUMP 00001bb2: JUMPDEST 00001bb3: SWAP2 00001bb4: POP 00001bb5: PUSH1 0x00 00001bb7: DUP3 00001bb8: EQ 00001bb9: ISZERO 00001bba: PUSH2 0x1bc2 00001bbd: JUMPI 00001bbe: PUSH2 0x1e7a 00001bc1: JUMP 00001bc2: JUMPDEST 00001bc3: DUP4 00001bc4: SWAP1 00001bc5: POP 00001bc6: DUP2 00001bc7: DUP2 00001bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bdd: AND 00001bde: PUSH4 0x70a08231 00001be3: ADDRESS 00001be4: PUSH1 0x40 00001be6: MLOAD 00001be7: DUP3 00001be8: PUSH4 0xffffffff 00001bed: AND 00001bee: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001c0c: MUL 00001c0d: DUP2 00001c0e: MSTORE 00001c0f: PUSH1 0x04 00001c11: ADD 00001c12: DUP1 00001c13: DUP3 00001c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c29: AND 00001c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c3f: AND 00001c40: DUP2 00001c41: MSTORE 00001c42: PUSH1 0x20 00001c44: ADD 00001c45: SWAP2 00001c46: POP 00001c47: POP 00001c48: PUSH1 0x20 00001c4a: PUSH1 0x40 00001c4c: MLOAD 00001c4d: DUP1 00001c4e: DUP4 00001c4f: SUB 00001c50: DUP2 00001c51: PUSH1 0x00 00001c53: DUP8 00001c54: DUP1 00001c55: EXTCODESIZE 00001c56: ISZERO 00001c57: DUP1 00001c58: ISZERO 00001c59: PUSH2 0x1c61 00001c5c: JUMPI 00001c5d: PUSH1 0x00 00001c5f: DUP1 00001c60: REVERT 00001c61: JUMPDEST 00001c62: POP 00001c63: GAS 00001c64: CALL 00001c65: ISZERO 00001c66: DUP1 00001c67: ISZERO 00001c68: PUSH2 0x1c75 00001c6b: JUMPI 00001c6c: RETURNDATASIZE 00001c6d: PUSH1 0x00 00001c6f: DUP1 00001c70: RETURNDATACOPY 00001c71: RETURNDATASIZE 00001c72: PUSH1 0x00 00001c74: REVERT 00001c75: JUMPDEST 00001c76: POP 00001c77: POP 00001c78: POP 00001c79: POP 00001c7a: PUSH1 0x40 00001c7c: MLOAD 00001c7d: RETURNDATASIZE 00001c7e: PUSH1 0x20 00001c80: DUP2 00001c81: LT 00001c82: ISZERO 00001c83: PUSH2 0x1c8b 00001c86: JUMPI 00001c87: PUSH1 0x00 00001c89: DUP1 00001c8a: REVERT 00001c8b: JUMPDEST 00001c8c: DUP2 00001c8d: ADD 00001c8e: SWAP1 00001c8f: DUP1 00001c90: DUP1 00001c91: MLOAD 00001c92: SWAP1 00001c93: PUSH1 0x20 00001c95: ADD 00001c96: SWAP1 00001c97: SWAP3 00001c98: SWAP2 00001c99: SWAP1 00001c9a: POP 00001c9b: POP 00001c9c: POP 00001c9d: LT 00001c9e: ISZERO 00001c9f: ISZERO 00001ca0: ISZERO 00001ca1: PUSH2 0x1ca9 00001ca4: JUMPI 00001ca5: PUSH1 0x00 00001ca7: DUP1 00001ca8: REVERT 00001ca9: JUMPDEST 00001caa: PUSH2 0x1d38 00001cad: DUP3 00001cae: PUSH1 0x09 00001cb0: PUSH1 0x00 00001cb2: DUP5 00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc8: AND 00001cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cde: AND 00001cdf: DUP2 00001ce0: MSTORE 00001ce1: PUSH1 0x20 00001ce3: ADD 00001ce4: SWAP1 00001ce5: DUP2 00001ce6: MSTORE 00001ce7: PUSH1 0x20 00001ce9: ADD 00001cea: PUSH1 0x00 00001cec: KECCAK256 00001ced: PUSH1 0x00 00001cef: DUP7 00001cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d05: AND 00001d06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d1b: AND 00001d1c: DUP2 00001d1d: MSTORE 00001d1e: PUSH1 0x20 00001d20: ADD 00001d21: SWAP1 00001d22: DUP2 00001d23: MSTORE 00001d24: PUSH1 0x20 00001d26: ADD 00001d27: PUSH1 0x00 00001d29: KECCAK256 00001d2a: SLOAD 00001d2b: PUSH2 0x2a84 00001d2e: SWAP1 00001d2f: SWAP2 00001d30: SWAP1 00001d31: PUSH4 0xffffffff 00001d36: AND 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH1 0x09 00001d3b: PUSH1 0x00 00001d3d: DUP4 00001d3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d53: AND 00001d54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d69: AND 00001d6a: DUP2 00001d6b: MSTORE 00001d6c: PUSH1 0x20 00001d6e: ADD 00001d6f: SWAP1 00001d70: DUP2 00001d71: MSTORE 00001d72: PUSH1 0x20 00001d74: ADD 00001d75: PUSH1 0x00 00001d77: KECCAK256 00001d78: PUSH1 0x00 00001d7a: DUP6 00001d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d90: AND 00001d91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001da6: AND 00001da7: DUP2 00001da8: MSTORE 00001da9: PUSH1 0x20 00001dab: ADD 00001dac: SWAP1 00001dad: DUP2 00001dae: MSTORE 00001daf: PUSH1 0x20 00001db1: ADD 00001db2: PUSH1 0x00 00001db4: KECCAK256 00001db5: DUP2 00001db6: SWAP1 00001db7: SSTORE 00001db8: POP 00001db9: PUSH2 0x1e0a 00001dbc: DUP3 00001dbd: PUSH1 0x08 00001dbf: PUSH1 0x00 00001dc1: DUP5 00001dc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dd7: AND 00001dd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ded: AND 00001dee: DUP2 00001def: MSTORE 00001df0: PUSH1 0x20 00001df2: ADD 00001df3: SWAP1 00001df4: DUP2 00001df5: MSTORE 00001df6: PUSH1 0x20 00001df8: ADD 00001df9: PUSH1 0x00 00001dfb: KECCAK256 00001dfc: SLOAD 00001dfd: PUSH2 0x2a84 00001e00: SWAP1 00001e01: SWAP2 00001e02: SWAP1 00001e03: PUSH4 0xffffffff 00001e08: AND 00001e09: JUMP 00001e0a: JUMPDEST 00001e0b: PUSH1 0x08 00001e0d: PUSH1 0x00 00001e0f: DUP4 00001e10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e25: AND 00001e26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e3b: AND 00001e3c: DUP2 00001e3d: MSTORE 00001e3e: PUSH1 0x20 00001e40: ADD 00001e41: SWAP1 00001e42: DUP2 00001e43: MSTORE 00001e44: PUSH1 0x20 00001e46: ADD 00001e47: PUSH1 0x00 00001e49: KECCAK256 00001e4a: DUP2 00001e4b: SWAP1 00001e4c: SSTORE 00001e4d: POP 00001e4e: PUSH2 0x1e78 00001e51: DUP4 00001e52: DUP4 00001e53: DUP4 00001e54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e69: AND 00001e6a: PUSH2 0x2b07 00001e6d: SWAP1 00001e6e: SWAP3 00001e6f: SWAP2 00001e70: SWAP1 00001e71: PUSH4 0xffffffff 00001e76: AND 00001e77: JUMP 00001e78: JUMPDEST 00001e79: POP 00001e7a: JUMPDEST 00001e7b: POP 00001e7c: POP 00001e7d: POP 00001e7e: POP 00001e7f: JUMP 00001e80: JUMPDEST 00001e81: PUSH1 0x00 00001e83: PUSH2 0x1f11 00001e86: DUP3 00001e87: PUSH1 0x02 00001e89: PUSH1 0x00 00001e8b: CALLER 00001e8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ea1: AND 00001ea2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eb7: AND 00001eb8: DUP2 00001eb9: MSTORE 00001eba: PUSH1 0x20 00001ebc: ADD 00001ebd: SWAP1 00001ebe: DUP2 00001ebf: MSTORE 00001ec0: PUSH1 0x20 00001ec2: ADD 00001ec3: PUSH1 0x00 00001ec5: KECCAK256 00001ec6: PUSH1 0x00 00001ec8: DUP7 00001ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ede: AND 00001edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ef4: AND 00001ef5: DUP2 00001ef6: MSTORE 00001ef7: PUSH1 0x20 00001ef9: ADD 00001efa: SWAP1 00001efb: DUP2 00001efc: MSTORE 00001efd: PUSH1 0x20 00001eff: ADD 00001f00: PUSH1 0x00 00001f02: KECCAK256 00001f03: SLOAD 00001f04: PUSH2 0x2a84 00001f07: SWAP1 00001f08: SWAP2 00001f09: SWAP1 00001f0a: PUSH4 0xffffffff 00001f0f: AND 00001f10: JUMP 00001f11: JUMPDEST 00001f12: PUSH1 0x02 00001f14: PUSH1 0x00 00001f16: CALLER 00001f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f2c: AND 00001f2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f42: AND 00001f43: DUP2 00001f44: MSTORE 00001f45: PUSH1 0x20 00001f47: ADD 00001f48: SWAP1 00001f49: DUP2 00001f4a: MSTORE 00001f4b: PUSH1 0x20 00001f4d: ADD 00001f4e: PUSH1 0x00 00001f50: KECCAK256 00001f51: PUSH1 0x00 00001f53: DUP6 00001f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f69: AND 00001f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f7f: AND 00001f80: DUP2 00001f81: MSTORE 00001f82: PUSH1 0x20 00001f84: ADD 00001f85: SWAP1 00001f86: DUP2 00001f87: MSTORE 00001f88: PUSH1 0x20 00001f8a: ADD 00001f8b: PUSH1 0x00 00001f8d: KECCAK256 00001f8e: DUP2 00001f8f: SWAP1 00001f90: SSTORE 00001f91: POP 00001f92: DUP3 00001f93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fa8: AND 00001fa9: CALLER 00001faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fbf: AND 00001fc0: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001fe1: PUSH1 0x02 00001fe3: PUSH1 0x00 00001fe5: CALLER 00001fe6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ffb: AND 00001ffc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002011: AND 00002012: DUP2 00002013: MSTORE 00002014: PUSH1 0x20 00002016: ADD 00002017: SWAP1 00002018: DUP2 00002019: MSTORE 0000201a: PUSH1 0x20 0000201c: ADD 0000201d: PUSH1 0x00 0000201f: KECCAK256 00002020: PUSH1 0x00 00002022: DUP8 00002023: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002038: AND 00002039: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000204e: AND 0000204f: DUP2 00002050: MSTORE 00002051: PUSH1 0x20 00002053: ADD 00002054: SWAP1 00002055: DUP2 00002056: MSTORE 00002057: PUSH1 0x20 00002059: ADD 0000205a: PUSH1 0x00 0000205c: KECCAK256 0000205d: SLOAD 0000205e: PUSH1 0x40 00002060: MLOAD 00002061: DUP1 00002062: DUP3 00002063: DUP2 00002064: MSTORE 00002065: PUSH1 0x20 00002067: ADD 00002068: SWAP2 00002069: POP 0000206a: POP 0000206b: PUSH1 0x40 0000206d: MLOAD 0000206e: DUP1 0000206f: SWAP2 00002070: SUB 00002071: SWAP1 00002072: LOG3 00002073: PUSH1 0x01 00002075: SWAP1 00002076: POP 00002077: SWAP3 00002078: SWAP2 00002079: POP 0000207a: POP 0000207b: JUMP 0000207c: JUMPDEST 0000207d: PUSH1 0x00 0000207f: PUSH1 0x02 00002081: PUSH1 0x00 00002083: DUP5 00002084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002099: AND 0000209a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020af: AND 000020b0: DUP2 000020b1: MSTORE 000020b2: PUSH1 0x20 000020b4: ADD 000020b5: SWAP1 000020b6: DUP2 000020b7: MSTORE 000020b8: PUSH1 0x20 000020ba: ADD 000020bb: PUSH1 0x00 000020bd: KECCAK256 000020be: PUSH1 0x00 000020c0: DUP4 000020c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020d6: AND 000020d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020ec: AND 000020ed: DUP2 000020ee: MSTORE 000020ef: PUSH1 0x20 000020f1: ADD 000020f2: SWAP1 000020f3: DUP2 000020f4: MSTORE 000020f5: PUSH1 0x20 000020f7: ADD 000020f8: PUSH1 0x00 000020fa: KECCAK256 000020fb: SLOAD 000020fc: SWAP1 000020fd: POP 000020fe: SWAP3 000020ff: SWAP2 00002100: POP 00002101: POP 00002102: JUMP 00002103: JUMPDEST 00002104: PUSH1 0x00 00002106: DUP1 00002107: PUSH1 0x00 00002109: DUP1 0000210a: DUP5 0000210b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002120: AND 00002121: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002136: AND 00002137: DUP2 00002138: MSTORE 00002139: PUSH1 0x20 0000213b: ADD 0000213c: SWAP1 0000213d: DUP2 0000213e: MSTORE 0000213f: PUSH1 0x20 00002141: ADD 00002142: PUSH1 0x00 00002144: KECCAK256 00002145: SLOAD 00002146: GT 00002147: ISZERO 00002148: ISZERO 00002149: PUSH2 0x2151 0000214c: JUMPI 0000214d: PUSH1 0x00 0000214f: DUP1 00002150: REVERT 00002151: JUMPDEST 00002152: PUSH1 0x00 00002154: SWAP1 00002155: POP 00002156: JUMPDEST 00002157: PUSH1 0x06 00002159: DUP1 0000215a: SLOAD 0000215b: SWAP1 0000215c: POP 0000215d: DUP2 0000215e: PUSH2 0xffff 00002161: AND 00002162: LT 00002163: ISZERO 00002164: PUSH2 0x21bb 00002167: JUMPI 00002168: PUSH2 0x21ae 0000216b: PUSH1 0x06 0000216d: DUP3 0000216e: PUSH2 0xffff 00002171: AND 00002172: DUP2 00002173: SLOAD 00002174: DUP2 00002175: LT 00002176: ISZERO 00002177: ISZERO 00002178: PUSH2 0x217d 0000217b: JUMPI 0000217c: INVALID 0000217d: JUMPDEST 0000217e: SWAP1 0000217f: PUSH1 0x00 00002181: MSTORE 00002182: PUSH1 0x20 00002184: PUSH1 0x00 00002186: KECCAK256 00002187: ADD 00002188: PUSH1 0x00 0000218a: SWAP1 0000218b: SLOAD 0000218c: SWAP1 0000218d: PUSH2 0x0100 00002190: EXP 00002191: SWAP1 00002192: DIV 00002193: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021a8: AND 000021a9: DUP4 000021aa: PUSH2 0x1b00 000021ad: JUMP 000021ae: JUMPDEST 000021af: DUP1 000021b0: DUP1 000021b1: PUSH1 0x01 000021b3: ADD 000021b4: SWAP2 000021b5: POP 000021b6: POP 000021b7: PUSH2 0x2156 000021ba: JUMP 000021bb: JUMPDEST 000021bc: POP 000021bd: POP 000021be: JUMP 000021bf: JUMPDEST 000021c0: PUSH1 0x03 000021c2: PUSH1 0x00 000021c4: SWAP1 000021c5: SLOAD 000021c6: SWAP1 000021c7: PUSH2 0x0100 000021ca: EXP 000021cb: SWAP1 000021cc: DIV 000021cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021e2: AND 000021e3: DUP2 000021e4: JUMP 000021e5: JUMPDEST 000021e6: PUSH1 0x07 000021e8: PUSH1 0x20 000021ea: MSTORE 000021eb: DUP1 000021ec: PUSH1 0x00 000021ee: MSTORE 000021ef: PUSH1 0x40 000021f1: PUSH1 0x00 000021f3: KECCAK256 000021f4: PUSH1 0x00 000021f6: SWAP2 000021f7: POP 000021f8: SLOAD 000021f9: SWAP1 000021fa: PUSH2 0x0100 000021fd: EXP 000021fe: SWAP1 000021ff: DIV 00002200: PUSH1 0xff 00002202: AND 00002203: DUP2 00002204: JUMP 00002205: JUMPDEST 00002206: PUSH1 0x00 00002208: DUP1 00002209: PUSH1 0x00 0000220b: DUP6 0000220c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002221: AND 00002222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002237: AND 00002238: DUP2 00002239: MSTORE 0000223a: PUSH1 0x20 0000223c: ADD 0000223d: SWAP1 0000223e: DUP2 0000223f: MSTORE 00002240: PUSH1 0x20 00002242: ADD 00002243: PUSH1 0x00 00002245: KECCAK256 00002246: SLOAD 00002247: DUP3 00002248: GT 00002249: ISZERO 0000224a: ISZERO 0000224b: ISZERO 0000224c: PUSH2 0x2254 0000224f: JUMPI 00002250: PUSH1 0x00 00002252: DUP1 00002253: REVERT 00002254: JUMPDEST 00002255: PUSH1 0x02 00002257: PUSH1 0x00 00002259: DUP6 0000225a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000226f: AND 00002270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002285: AND 00002286: DUP2 00002287: MSTORE 00002288: PUSH1 0x20 0000228a: ADD 0000228b: SWAP1 0000228c: DUP2 0000228d: MSTORE 0000228e: PUSH1 0x20 00002290: ADD 00002291: PUSH1 0x00 00002293: KECCAK256 00002294: PUSH1 0x00 00002296: CALLER 00002297: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022ac: AND 000022ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022c2: AND 000022c3: DUP2 000022c4: MSTORE 000022c5: PUSH1 0x20 000022c7: ADD 000022c8: SWAP1 000022c9: DUP2 000022ca: MSTORE 000022cb: PUSH1 0x20 000022cd: ADD 000022ce: PUSH1 0x00 000022d0: KECCAK256 000022d1: SLOAD 000022d2: DUP3 000022d3: GT 000022d4: ISZERO 000022d5: ISZERO 000022d6: ISZERO 000022d7: PUSH2 0x22df 000022da: JUMPI 000022db: PUSH1 0x00 000022dd: DUP1 000022de: REVERT 000022df: JUMPDEST 000022e0: PUSH1 0x00 000022e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022f7: AND 000022f8: DUP4 000022f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000230e: AND 0000230f: EQ 00002310: ISZERO 00002311: ISZERO 00002312: ISZERO 00002313: PUSH2 0x231b 00002316: JUMPI 00002317: PUSH1 0x00 00002319: DUP1 0000231a: REVERT 0000231b: JUMPDEST 0000231c: PUSH2 0x236c 0000231f: DUP3 00002320: PUSH1 0x00 00002322: DUP1 00002323: DUP8 00002324: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002339: AND 0000233a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000234f: AND 00002350: DUP2 00002351: MSTORE 00002352: PUSH1 0x20 00002354: ADD 00002355: SWAP1 00002356: DUP2 00002357: MSTORE 00002358: PUSH1 0x20 0000235a: ADD 0000235b: PUSH1 0x00 0000235d: KECCAK256 0000235e: SLOAD 0000235f: PUSH2 0x2aee 00002362: SWAP1 00002363: SWAP2 00002364: SWAP1 00002365: PUSH4 0xffffffff 0000236a: AND 0000236b: JUMP 0000236c: JUMPDEST 0000236d: PUSH1 0x00 0000236f: DUP1 00002370: DUP7 00002371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002386: AND 00002387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000239c: AND 0000239d: DUP2 0000239e: MSTORE 0000239f: PUSH1 0x20 000023a1: ADD 000023a2: SWAP1 000023a3: DUP2 000023a4: MSTORE 000023a5: PUSH1 0x20 000023a7: ADD 000023a8: PUSH1 0x00 000023aa: KECCAK256 000023ab: DUP2 000023ac: SWAP1 000023ad: SSTORE 000023ae: POP 000023af: PUSH2 0x23ff 000023b2: DUP3 000023b3: PUSH1 0x00 000023b5: DUP1 000023b6: DUP7 000023b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023cc: AND 000023cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023e2: AND 000023e3: DUP2 000023e4: MSTORE 000023e5: PUSH1 0x20 000023e7: ADD 000023e8: SWAP1 000023e9: DUP2 000023ea: MSTORE 000023eb: PUSH1 0x20 000023ed: ADD 000023ee: PUSH1 0x00 000023f0: KECCAK256 000023f1: SLOAD 000023f2: PUSH2 0x2a84 000023f5: SWAP1 000023f6: SWAP2 000023f7: SWAP1 000023f8: PUSH4 0xffffffff 000023fd: AND 000023fe: JUMP 000023ff: JUMPDEST 00002400: PUSH1 0x00 00002402: DUP1 00002403: DUP6 00002404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002419: AND 0000241a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000242f: AND 00002430: DUP2 00002431: MSTORE 00002432: PUSH1 0x20 00002434: ADD 00002435: SWAP1 00002436: DUP2 00002437: MSTORE 00002438: PUSH1 0x20 0000243a: ADD 0000243b: PUSH1 0x00 0000243d: KECCAK256 0000243e: DUP2 0000243f: SWAP1 00002440: SSTORE 00002441: POP 00002442: PUSH2 0x24d0 00002445: DUP3 00002446: PUSH1 0x02 00002448: PUSH1 0x00 0000244a: DUP8 0000244b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002460: AND 00002461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002476: AND 00002477: DUP2 00002478: MSTORE 00002479: PUSH1 0x20 0000247b: ADD 0000247c: SWAP1 0000247d: DUP2 0000247e: MSTORE 0000247f: PUSH1 0x20 00002481: ADD 00002482: PUSH1 0x00 00002484: KECCAK256 00002485: PUSH1 0x00 00002487: CALLER 00002488: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000249d: AND 0000249e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024b3: AND 000024b4: DUP2 000024b5: MSTORE 000024b6: PUSH1 0x20 000024b8: ADD 000024b9: SWAP1 000024ba: DUP2 000024bb: MSTORE 000024bc: PUSH1 0x20 000024be: ADD 000024bf: PUSH1 0x00 000024c1: KECCAK256 000024c2: SLOAD 000024c3: PUSH2 0x2aee 000024c6: SWAP1 000024c7: SWAP2 000024c8: SWAP1 000024c9: PUSH4 0xffffffff 000024ce: AND 000024cf: JUMP 000024d0: JUMPDEST 000024d1: PUSH1 0x02 000024d3: PUSH1 0x00 000024d5: DUP7 000024d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024eb: AND 000024ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002501: AND 00002502: DUP2 00002503: MSTORE 00002504: PUSH1 0x20 00002506: ADD 00002507: SWAP1 00002508: DUP2 00002509: MSTORE 0000250a: PUSH1 0x20 0000250c: ADD 0000250d: PUSH1 0x00 0000250f: KECCAK256 00002510: PUSH1 0x00 00002512: CALLER 00002513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002528: AND 00002529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000253e: AND 0000253f: DUP2 00002540: MSTORE 00002541: PUSH1 0x20 00002543: ADD 00002544: SWAP1 00002545: DUP2 00002546: MSTORE 00002547: PUSH1 0x20 00002549: ADD 0000254a: PUSH1 0x00 0000254c: KECCAK256 0000254d: DUP2 0000254e: SWAP1 0000254f: SSTORE 00002550: POP 00002551: DUP3 00002552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002567: AND 00002568: DUP5 00002569: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000257e: AND 0000257f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000025a0: DUP5 000025a1: PUSH1 0x40 000025a3: MLOAD 000025a4: DUP1 000025a5: DUP3 000025a6: DUP2 000025a7: MSTORE 000025a8: PUSH1 0x20 000025aa: ADD 000025ab: SWAP2 000025ac: POP 000025ad: POP 000025ae: PUSH1 0x40 000025b0: MLOAD 000025b1: DUP1 000025b2: SWAP2 000025b3: SUB 000025b4: SWAP1 000025b5: LOG3 000025b6: PUSH1 0x01 000025b8: SWAP1 000025b9: POP 000025ba: SWAP4 000025bb: SWAP3 000025bc: POP 000025bd: POP 000025be: POP 000025bf: JUMP 000025c0: JUMPDEST 000025c1: PUSH1 0x00 000025c3: DUP1 000025c4: PUSH1 0x00 000025c6: DUP1 000025c7: PUSH2 0x262a 000025ca: DUP6 000025cb: PUSH2 0x261c 000025ce: DUP9 000025cf: PUSH1 0x05 000025d1: PUSH1 0x00 000025d3: DUP14 000025d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025e9: AND 000025ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025ff: AND 00002600: DUP2 00002601: MSTORE 00002602: PUSH1 0x20 00002604: ADD 00002605: SWAP1 00002606: DUP2 00002607: MSTORE 00002608: PUSH1 0x20 0000260a: ADD 0000260b: PUSH1 0x00 0000260d: KECCAK256 0000260e: SLOAD 0000260f: PUSH2 0x2aa0 00002612: SWAP1 00002613: SWAP2 00002614: SWAP1 00002615: PUSH4 0xffffffff 0000261a: AND 0000261b: JUMP 0000261c: JUMPDEST 0000261d: PUSH2 0x2ad8 00002620: SWAP1 00002621: SWAP2 00002622: SWAP1 00002623: PUSH4 0xffffffff 00002628: AND 00002629: JUMP 0000262a: JUMPDEST 0000262b: SWAP4 0000262c: POP 0000262d: PUSH2 0x267e 00002630: DUP5 00002631: PUSH1 0x05 00002633: PUSH1 0x00 00002635: DUP11 00002636: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000264b: AND 0000264c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002661: AND 00002662: DUP2 00002663: MSTORE 00002664: PUSH1 0x20 00002666: ADD 00002667: SWAP1 00002668: DUP2 00002669: MSTORE 0000266a: PUSH1 0x20 0000266c: ADD 0000266d: PUSH1 0x00 0000266f: KECCAK256 00002670: SLOAD 00002671: PUSH2 0x2a84 00002674: SWAP1 00002675: SWAP2 00002676: SWAP1 00002677: PUSH4 0xffffffff 0000267c: AND 0000267d: JUMP 0000267e: JUMPDEST 0000267f: PUSH1 0x05 00002681: PUSH1 0x00 00002683: DUP10 00002684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002699: AND 0000269a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026af: AND 000026b0: DUP2 000026b1: MSTORE 000026b2: PUSH1 0x20 000026b4: ADD 000026b5: SWAP1 000026b6: DUP2 000026b7: MSTORE 000026b8: PUSH1 0x20 000026ba: ADD 000026bb: PUSH1 0x00 000026bd: KECCAK256 000026be: DUP2 000026bf: SWAP1 000026c0: SSTORE 000026c1: POP 000026c2: PUSH2 0x2713 000026c5: DUP5 000026c6: PUSH1 0x05 000026c8: PUSH1 0x00 000026ca: DUP12 000026cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026e0: AND 000026e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026f6: AND 000026f7: DUP2 000026f8: MSTORE 000026f9: PUSH1 0x20 000026fb: ADD 000026fc: SWAP1 000026fd: DUP2 000026fe: MSTORE 000026ff: PUSH1 0x20 00002701: ADD 00002702: PUSH1 0x00 00002704: KECCAK256 00002705: SLOAD 00002706: PUSH2 0x2aee 00002709: SWAP1 0000270a: SWAP2 0000270b: SWAP1 0000270c: PUSH4 0xffffffff 00002711: AND 00002712: JUMP 00002713: JUMPDEST 00002714: PUSH1 0x05 00002716: PUSH1 0x00 00002718: DUP11 00002719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000272e: AND 0000272f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002744: AND 00002745: DUP2 00002746: MSTORE 00002747: PUSH1 0x20 00002749: ADD 0000274a: SWAP1 0000274b: DUP2 0000274c: MSTORE 0000274d: PUSH1 0x20 0000274f: ADD 00002750: PUSH1 0x00 00002752: KECCAK256 00002753: DUP2 00002754: SWAP1 00002755: SSTORE 00002756: POP 00002757: PUSH1 0x00 00002759: SWAP3 0000275a: POP 0000275b: JUMPDEST 0000275c: PUSH1 0x06 0000275e: DUP1 0000275f: SLOAD 00002760: SWAP1 00002761: POP 00002762: DUP4 00002763: PUSH2 0xffff 00002766: AND 00002767: LT 00002768: ISZERO 00002769: PUSH2 0x2a7a 0000276c: JUMPI 0000276d: PUSH1 0x06 0000276f: DUP4 00002770: PUSH2 0xffff 00002773: AND 00002774: DUP2 00002775: SLOAD 00002776: DUP2 00002777: LT 00002778: ISZERO 00002779: ISZERO 0000277a: PUSH2 0x277f 0000277d: JUMPI 0000277e: INVALID 0000277f: JUMPDEST 00002780: SWAP1 00002781: PUSH1 0x00 00002783: MSTORE 00002784: PUSH1 0x20 00002786: PUSH1 0x00 00002788: KECCAK256 00002789: ADD 0000278a: PUSH1 0x00 0000278c: SWAP1 0000278d: SLOAD 0000278e: SWAP1 0000278f: PUSH2 0x0100 00002792: EXP 00002793: SWAP1 00002794: DIV 00002795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027aa: AND 000027ab: SWAP2 000027ac: POP 000027ad: PUSH2 0x284d 000027b0: DUP6 000027b1: PUSH2 0x283f 000027b4: DUP9 000027b5: PUSH1 0x09 000027b7: PUSH1 0x00 000027b9: DUP8 000027ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027cf: AND 000027d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e5: AND 000027e6: DUP2 000027e7: MSTORE 000027e8: PUSH1 0x20 000027ea: ADD 000027eb: SWAP1 000027ec: DUP2 000027ed: MSTORE 000027ee: PUSH1 0x20 000027f0: ADD 000027f1: PUSH1 0x00 000027f3: KECCAK256 000027f4: PUSH1 0x00 000027f6: DUP14 000027f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000280c: AND 0000280d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002822: AND 00002823: DUP2 00002824: MSTORE 00002825: PUSH1 0x20 00002827: ADD 00002828: SWAP1 00002829: DUP2 0000282a: MSTORE 0000282b: PUSH1 0x20 0000282d: ADD 0000282e: PUSH1 0x00 00002830: KECCAK256 00002831: SLOAD 00002832: PUSH2 0x2aa0 00002835: SWAP1 00002836: SWAP2 00002837: SWAP1 00002838: PUSH4 0xffffffff 0000283d: AND 0000283e: JUMP 0000283f: JUMPDEST 00002840: PUSH2 0x2ad8 00002843: SWAP1 00002844: SWAP2 00002845: SWAP1 00002846: PUSH4 0xffffffff 0000284b: AND 0000284c: JUMP 0000284d: JUMPDEST 0000284e: SWAP1 0000284f: POP 00002850: PUSH2 0x28de 00002853: DUP2 00002854: PUSH1 0x09 00002856: PUSH1 0x00 00002858: DUP6 00002859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000286e: AND 0000286f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002884: AND 00002885: DUP2 00002886: MSTORE 00002887: PUSH1 0x20 00002889: ADD 0000288a: SWAP1 0000288b: DUP2 0000288c: MSTORE 0000288d: PUSH1 0x20 0000288f: ADD 00002890: PUSH1 0x00 00002892: KECCAK256 00002893: PUSH1 0x00 00002895: DUP11 00002896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028ab: AND 000028ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028c1: AND 000028c2: DUP2 000028c3: MSTORE 000028c4: PUSH1 0x20 000028c6: ADD 000028c7: SWAP1 000028c8: DUP2 000028c9: MSTORE 000028ca: PUSH1 0x20 000028cc: ADD 000028cd: PUSH1 0x00 000028cf: KECCAK256 000028d0: SLOAD 000028d1: PUSH2 0x2a84 000028d4: SWAP1 000028d5: SWAP2 000028d6: SWAP1 000028d7: PUSH4 0xffffffff 000028dc: AND 000028dd: JUMP 000028de: JUMPDEST 000028df: PUSH1 0x09 000028e1: PUSH1 0x00 000028e3: DUP5 000028e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028f9: AND 000028fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000290f: AND 00002910: DUP2 00002911: MSTORE 00002912: PUSH1 0x20 00002914: ADD 00002915: SWAP1 00002916: DUP2 00002917: MSTORE 00002918: PUSH1 0x20 0000291a: ADD 0000291b: PUSH1 0x00 0000291d: KECCAK256 0000291e: PUSH1 0x00 00002920: DUP10 00002921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002936: AND 00002937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000294c: AND 0000294d: DUP2 0000294e: MSTORE 0000294f: PUSH1 0x20 00002951: ADD 00002952: SWAP1 00002953: DUP2 00002954: MSTORE 00002955: PUSH1 0x20 00002957: ADD 00002958: PUSH1 0x00 0000295a: KECCAK256 0000295b: DUP2 0000295c: SWAP1 0000295d: SSTORE 0000295e: POP 0000295f: PUSH2 0x29ed 00002962: DUP2 00002963: PUSH1 0x09 00002965: PUSH1 0x00 00002967: DUP6 00002968: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000297d: AND 0000297e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002993: AND 00002994: DUP2 00002995: MSTORE 00002996: PUSH1 0x20 00002998: ADD 00002999: SWAP1 0000299a: DUP2 0000299b: MSTORE 0000299c: PUSH1 0x20 0000299e: ADD 0000299f: PUSH1 0x00 000029a1: KECCAK256 000029a2: PUSH1 0x00 000029a4: DUP12 000029a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029ba: AND 000029bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029d0: AND 000029d1: DUP2 000029d2: MSTORE 000029d3: PUSH1 0x20 000029d5: ADD 000029d6: SWAP1 000029d7: DUP2 000029d8: MSTORE 000029d9: PUSH1 0x20 000029db: ADD 000029dc: PUSH1 0x00 000029de: KECCAK256 000029df: SLOAD 000029e0: PUSH2 0x2aee 000029e3: SWAP1 000029e4: SWAP2 000029e5: SWAP1 000029e6: PUSH4 0xffffffff 000029eb: AND 000029ec: JUMP 000029ed: JUMPDEST 000029ee: PUSH1 0x09 000029f0: PUSH1 0x00 000029f2: DUP5 000029f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a08: AND 00002a09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a1e: AND 00002a1f: DUP2 00002a20: MSTORE 00002a21: PUSH1 0x20 00002a23: ADD 00002a24: SWAP1 00002a25: DUP2 00002a26: MSTORE 00002a27: PUSH1 0x20 00002a29: ADD 00002a2a: PUSH1 0x00 00002a2c: KECCAK256 00002a2d: PUSH1 0x00 00002a2f: DUP11 00002a30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a45: AND 00002a46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a5b: AND 00002a5c: DUP2 00002a5d: MSTORE 00002a5e: PUSH1 0x20 00002a60: ADD 00002a61: SWAP1 00002a62: DUP2 00002a63: MSTORE 00002a64: PUSH1 0x20 00002a66: ADD 00002a67: PUSH1 0x00 00002a69: KECCAK256 00002a6a: DUP2 00002a6b: SWAP1 00002a6c: SSTORE 00002a6d: POP 00002a6e: DUP3 00002a6f: DUP1 00002a70: PUSH1 0x01 00002a72: ADD 00002a73: SWAP4 00002a74: POP 00002a75: POP 00002a76: PUSH2 0x275b 00002a79: JUMP 00002a7a: JUMPDEST 00002a7b: POP 00002a7c: POP 00002a7d: POP 00002a7e: POP 00002a7f: POP 00002a80: POP 00002a81: POP 00002a82: POP 00002a83: JUMP 00002a84: JUMPDEST 00002a85: PUSH1 0x00 00002a87: DUP2 00002a88: DUP4 00002a89: ADD 00002a8a: SWAP1 00002a8b: POP 00002a8c: DUP3 00002a8d: DUP2 00002a8e: LT 00002a8f: ISZERO 00002a90: ISZERO 00002a91: ISZERO 00002a92: PUSH2 0x2a97 00002a95: JUMPI 00002a96: INVALID 00002a97: JUMPDEST 00002a98: DUP1 00002a99: SWAP1 00002a9a: POP 00002a9b: SWAP3 00002a9c: SWAP2 00002a9d: POP 00002a9e: POP 00002a9f: JUMP 00002aa0: JUMPDEST 00002aa1: PUSH1 0x00 00002aa3: DUP1 00002aa4: DUP4 00002aa5: EQ 00002aa6: ISZERO 00002aa7: PUSH2 0x2ab3 00002aaa: JUMPI 00002aab: PUSH1 0x00 00002aad: SWAP1 00002aae: POP 00002aaf: PUSH2 0x2ad2 00002ab2: JUMP 00002ab3: JUMPDEST 00002ab4: DUP2 00002ab5: DUP4 00002ab6: MUL 00002ab7: SWAP1 00002ab8: POP 00002ab9: DUP2 00002aba: DUP4 00002abb: DUP3 00002abc: DUP2 00002abd: ISZERO 00002abe: ISZERO 00002abf: PUSH2 0x2ac4 00002ac2: JUMPI 00002ac3: INVALID 00002ac4: JUMPDEST 00002ac5: DIV 00002ac6: EQ 00002ac7: ISZERO 00002ac8: ISZERO 00002ac9: PUSH2 0x2ace 00002acc: JUMPI 00002acd: INVALID 00002ace: JUMPDEST 00002acf: DUP1 00002ad0: SWAP1 00002ad1: POP 00002ad2: JUMPDEST 00002ad3: SWAP3 00002ad4: SWAP2 00002ad5: POP 00002ad6: POP 00002ad7: JUMP 00002ad8: JUMPDEST 00002ad9: PUSH1 0x00 00002adb: DUP2 00002adc: DUP4 00002add: DUP2 00002ade: ISZERO 00002adf: ISZERO 00002ae0: PUSH2 0x2ae5 00002ae3: JUMPI 00002ae4: INVALID 00002ae5: JUMPDEST 00002ae6: DIV 00002ae7: SWAP1 00002ae8: POP 00002ae9: SWAP3 00002aea: SWAP2 00002aeb: POP 00002aec: POP 00002aed: JUMP 00002aee: JUMPDEST 00002aef: PUSH1 0x00 00002af1: DUP3 00002af2: DUP3 00002af3: GT 00002af4: ISZERO 00002af5: ISZERO 00002af6: ISZERO 00002af7: PUSH2 0x2afc 00002afa: JUMPI 00002afb: INVALID 00002afc: JUMPDEST 00002afd: DUP2 00002afe: DUP4 00002aff: SUB 00002b00: SWAP1 00002b01: POP 00002b02: SWAP3 00002b03: SWAP2 00002b04: POP 00002b05: POP 00002b06: JUMP 00002b07: JUMPDEST 00002b08: PUSH1 0x00 00002b0a: PUSH2 0x2b12 00002b0d: DUP5 00002b0e: PUSH2 0x2e3a 00002b11: JUMP 00002b12: JUMPDEST 00002b13: DUP4 00002b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b29: AND 00002b2a: PUSH1 0x40 00002b2c: MLOAD 00002b2d: DUP1 00002b2e: DUP1 00002b2f: PUSH32 0x7472616e7366657228616464726573732c75696e743235362900000000000000 00002b50: DUP2 00002b51: MSTORE 00002b52: POP 00002b53: PUSH1 0x19 00002b55: ADD 00002b56: SWAP1 00002b57: POP 00002b58: PUSH1 0x40 00002b5a: MLOAD 00002b5b: DUP1 00002b5c: SWAP2 00002b5d: SUB 00002b5e: SWAP1 00002b5f: KECCAK256 00002b60: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00002b7e: SWAP1 00002b7f: DIV 00002b80: DUP5 00002b81: DUP5 00002b82: PUSH1 0x40 00002b84: MLOAD 00002b85: DUP4 00002b86: PUSH4 0xffffffff 00002b8b: AND 00002b8c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00002baa: MUL 00002bab: DUP2 00002bac: MSTORE 00002bad: PUSH1 0x04 00002baf: ADD 00002bb0: DUP1 00002bb1: DUP4 00002bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bc7: AND 00002bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bdd: AND 00002bde: DUP2 00002bdf: MSTORE 00002be0: PUSH1 0x20 00002be2: ADD 00002be3: DUP3 00002be4: DUP2 00002be5: MSTORE 00002be6: PUSH1 0x20 00002be8: ADD 00002be9: SWAP3 00002bea: POP 00002beb: POP 00002bec: POP 00002bed: PUSH1 0x00 00002bef: PUSH1 0x40 00002bf1: MLOAD 00002bf2: DUP1 00002bf3: DUP4 00002bf4: SUB 00002bf5: DUP2 00002bf6: PUSH1 0x00 00002bf8: DUP8 00002bf9: GAS 00002bfa: CALL 00002bfb: SWAP3 00002bfc: POP 00002bfd: POP 00002bfe: POP 00002bff: ISZERO 00002c00: ISZERO 00002c01: PUSH2 0x2c09 00002c04: JUMPI 00002c05: PUSH1 0x00 00002c07: DUP1 00002c08: REVERT 00002c09: JUMPDEST 00002c0a: PUSH2 0x2c11 00002c0d: PUSH2 0x2e4a 00002c10: JUMP 00002c11: JUMPDEST 00002c12: SWAP1 00002c13: POP 00002c14: SWAP4 00002c15: SWAP3 00002c16: POP 00002c17: POP 00002c18: POP 00002c19: JUMP 00002c1a: JUMPDEST 00002c1b: PUSH1 0x00 00002c1d: DUP1 00002c1e: PUSH1 0x00 00002c20: CALLER 00002c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c36: AND 00002c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c4c: AND 00002c4d: DUP2 00002c4e: MSTORE 00002c4f: PUSH1 0x20 00002c51: ADD 00002c52: SWAP1 00002c53: DUP2 00002c54: MSTORE 00002c55: PUSH1 0x20 00002c57: ADD 00002c58: PUSH1 0x00 00002c5a: KECCAK256 00002c5b: SLOAD 00002c5c: DUP3 00002c5d: GT 00002c5e: ISZERO 00002c5f: ISZERO 00002c60: ISZERO 00002c61: PUSH2 0x2c69 00002c64: JUMPI 00002c65: PUSH1 0x00 00002c67: DUP1 00002c68: REVERT 00002c69: JUMPDEST 00002c6a: PUSH1 0x00 00002c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c81: AND 00002c82: DUP4 00002c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c98: AND 00002c99: EQ 00002c9a: ISZERO 00002c9b: ISZERO 00002c9c: ISZERO 00002c9d: PUSH2 0x2ca5 00002ca0: JUMPI 00002ca1: PUSH1 0x00 00002ca3: DUP1 00002ca4: REVERT 00002ca5: JUMPDEST 00002ca6: PUSH2 0x2cf6 00002ca9: DUP3 00002caa: PUSH1 0x00 00002cac: DUP1 00002cad: CALLER 00002cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cc3: AND 00002cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cd9: AND 00002cda: DUP2 00002cdb: MSTORE 00002cdc: PUSH1 0x20 00002cde: ADD 00002cdf: SWAP1 00002ce0: DUP2 00002ce1: MSTORE 00002ce2: PUSH1 0x20 00002ce4: ADD 00002ce5: PUSH1 0x00 00002ce7: KECCAK256 00002ce8: SLOAD 00002ce9: PUSH2 0x2aee 00002cec: SWAP1 00002ced: SWAP2 00002cee: SWAP1 00002cef: PUSH4 0xffffffff 00002cf4: AND 00002cf5: JUMP 00002cf6: JUMPDEST 00002cf7: PUSH1 0x00 00002cf9: DUP1 00002cfa: CALLER 00002cfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d10: AND 00002d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d26: AND 00002d27: DUP2 00002d28: MSTORE 00002d29: PUSH1 0x20 00002d2b: ADD 00002d2c: SWAP1 00002d2d: DUP2 00002d2e: MSTORE 00002d2f: PUSH1 0x20 00002d31: ADD 00002d32: PUSH1 0x00 00002d34: KECCAK256 00002d35: DUP2 00002d36: SWAP1 00002d37: SSTORE 00002d38: POP 00002d39: PUSH2 0x2d89 00002d3c: DUP3 00002d3d: PUSH1 0x00 00002d3f: DUP1 00002d40: DUP7 00002d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d56: AND 00002d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d6c: AND 00002d6d: DUP2 00002d6e: MSTORE 00002d6f: PUSH1 0x20 00002d71: ADD 00002d72: SWAP1 00002d73: DUP2 00002d74: MSTORE 00002d75: PUSH1 0x20 00002d77: ADD 00002d78: PUSH1 0x00 00002d7a: KECCAK256 00002d7b: SLOAD 00002d7c: PUSH2 0x2a84 00002d7f: SWAP1 00002d80: SWAP2 00002d81: SWAP1 00002d82: PUSH4 0xffffffff 00002d87: AND 00002d88: JUMP 00002d89: JUMPDEST 00002d8a: PUSH1 0x00 00002d8c: DUP1 00002d8d: DUP6 00002d8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002da3: AND 00002da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002db9: AND 00002dba: DUP2 00002dbb: MSTORE 00002dbc: PUSH1 0x20 00002dbe: ADD 00002dbf: SWAP1 00002dc0: DUP2 00002dc1: MSTORE 00002dc2: PUSH1 0x20 00002dc4: ADD 00002dc5: PUSH1 0x00 00002dc7: KECCAK256 00002dc8: DUP2 00002dc9: SWAP1 00002dca: SSTORE 00002dcb: POP 00002dcc: DUP3 00002dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002de2: AND 00002de3: CALLER 00002de4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002df9: AND 00002dfa: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002e1b: DUP5 00002e1c: PUSH1 0x40 00002e1e: MLOAD 00002e1f: DUP1 00002e20: DUP3 00002e21: DUP2 00002e22: MSTORE 00002e23: PUSH1 0x20 00002e25: ADD 00002e26: SWAP2 00002e27: POP 00002e28: POP 00002e29: PUSH1 0x40 00002e2b: MLOAD 00002e2c: DUP1 00002e2d: SWAP2 00002e2e: SUB 00002e2f: SWAP1 00002e30: LOG3 00002e31: PUSH1 0x01 00002e33: SWAP1 00002e34: POP 00002e35: SWAP3 00002e36: SWAP2 00002e37: POP 00002e38: POP 00002e39: JUMP 00002e3a: JUMPDEST 00002e3b: DUP1 00002e3c: EXTCODESIZE 00002e3d: ISZERO 00002e3e: ISZERO 00002e3f: PUSH2 0x2e47 00002e42: JUMPI 00002e43: PUSH1 0x00 00002e45: DUP1 00002e46: REVERT 00002e47: JUMPDEST 00002e48: POP 00002e49: JUMP 00002e4a: JUMPDEST 00002e4b: PUSH1 0x00 00002e4d: RETURNDATASIZE 00002e4e: PUSH1 0x00 00002e50: DUP2 00002e51: EQ 00002e52: PUSH2 0x2e62 00002e55: JUMPI 00002e56: PUSH1 0x20 00002e58: DUP2 00002e59: EQ 00002e5a: PUSH2 0x2e6b 00002e5d: JUMPI 00002e5e: PUSH1 0x00 00002e60: DUP1 00002e61: REVERT 00002e62: JUMPDEST 00002e63: PUSH1 0x01 00002e65: SWAP2 00002e66: POP 00002e67: PUSH2 0x2e77 00002e6a: JUMP 00002e6b: JUMPDEST 00002e6c: PUSH1 0x20 00002e6e: PUSH1 0x00 00002e70: DUP1 00002e71: RETURNDATACOPY 00002e72: PUSH1 0x00 00002e74: MLOAD 00002e75: SWAP2 00002e76: POP 00002e77: JUMPDEST 00002e78: POP 00002e79: SWAP1 00002e7a: JUMP 00002e7b: JUMPDEST 00002e7c: DUP2 00002e7d: SLOAD 00002e7e: DUP2 00002e7f: DUP4 00002e80: SSTORE 00002e81: DUP2 00002e82: DUP2 00002e83: GT 00002e84: ISZERO 00002e85: PUSH2 0x2ea2 00002e88: JUMPI 00002e89: DUP2 00002e8a: DUP4 00002e8b: PUSH1 0x00 00002e8d: MSTORE 00002e8e: PUSH1 0x20 00002e90: PUSH1 0x00 00002e92: KECCAK256 00002e93: SWAP2 00002e94: DUP3 00002e95: ADD 00002e96: SWAP2 00002e97: ADD 00002e98: PUSH2 0x2ea1 00002e9b: SWAP2 00002e9c: SWAP1 00002e9d: PUSH2 0x2ea7 00002ea0: JUMP 00002ea1: JUMPDEST 00002ea2: JUMPDEST 00002ea3: POP 00002ea4: POP 00002ea5: POP 00002ea6: JUMP 00002ea7: JUMPDEST 00002ea8: PUSH2 0x2ec9 00002eab: SWAP2 00002eac: SWAP1 00002ead: JUMPDEST 00002eae: DUP1 00002eaf: DUP3 00002eb0: GT 00002eb1: ISZERO 00002eb2: PUSH2 0x2ec5 00002eb5: JUMPI 00002eb6: PUSH1 0x00 00002eb8: DUP2 00002eb9: PUSH1 0x00 00002ebb: SWAP1 00002ebc: SSTORE 00002ebd: POP 00002ebe: PUSH1 0x01 00002ec0: ADD 00002ec1: PUSH2 0x2ead 00002ec4: JUMP 00002ec5: JUMPDEST 00002ec6: POP 00002ec7: SWAP1 00002ec8: JUMP 00002ec9: JUMPDEST 00002eca: SWAP1 00002ecb: JUMP 00002ecc: STOP 00002ecd: LOG1 00002ece: PUSH6 0x627a7a723058 00002ed5: KECCAK256 00002ed6: UNKNOWN(0x1F) 00002ed7: NUMBER 00002ed8: AND 00002ed9: UNKNOWN(0x2E) 00002eda: PUSH21 0x811a22a9b4d2c30e9af3d5def8bd167eee3bb28a40 00002ef0: GT 00002ef1: UNKNOWN(0xAF) 00002ef2: UNKNOWN(0xE0) 00002ef3: JUMPI 00002ef4: ADDRESS 00002ef5: SDIV 00002ef6: STOP 00002ef7: 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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xcf2076d8cdee8cae1335eaedd4dfb038a330cc83717f6d365c29517427306324
call_targets:
0xf880d3c6dcda42a7b2f6640703c5748557865b35
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcf2076d8cdee8cae1335eaedd4dfb038a330cc83717f6d365c29517427306324",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf880d3c6dcda42a7b2f6640703c5748557865b35"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15e6b600",
"selector": "0x15e6b600",
"calldata_variants": [
"0x15e6b600",
"0x15e6b6000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2656455f",
"selector": "0x2656455f",
"calldata_variants": [
"0x2656455f",
"0x2656455f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3819,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6378,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 3910,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5747,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5975,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6751,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xcf2076d8cdee8cae1335eaedd4dfb038a330cc83717f6d365c29517427306324
call_targets:
0xf880d3c6dcda42a7b2f6640703c5748557865b35
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcf2076d8cdee8cae1335eaedd4dfb038a330cc83717f6d365c29517427306324",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf880d3c6dcda42a7b2f6640703c5748557865b35"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x15e6b600",
"selector": "0x15e6b600",
"calldata_variants": [
"0x15e6b600",
"0x15e6b6000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2656455f",
"selector": "0x2656455f",
"calldata_variants": [
"0x2656455f",
"0x2656455f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3819,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6378,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 3910,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5747,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5975,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6751,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|