019b477e-b539-712b-a1eb-8e2cda04738f
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 |
|---|---|---|---|---|
| 22887 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 22888 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 65970 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65971 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65972 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65973 | 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 0x0237 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: DUP1 00000031: PUSH4 0x5c975abb 00000036: GT 00000037: PUSH2 0x0140 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x8f32d59b 00000041: GT 00000042: PUSH2 0x00c8 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0xb414d4b6 0000004c: GT 0000004d: PUSH2 0x008c 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0xb414d4b6 00000057: EQ 00000058: PUSH2 0x0a6b 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0xdd62ed3e 00000062: EQ 00000063: PUSH2 0x0ad4 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xe4849b32 0000006d: EQ 0000006e: PUSH2 0x0b59 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xe724529c 00000078: EQ 00000079: PUSH2 0x0ba8 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xf2fde38b 00000083: EQ 00000084: PUSH2 0x0c05 00000087: JUMPI 00000088: PUSH2 0x0237 0000008b: JUMP 0000008c: JUMPDEST 0000008d: DUP1 0000008e: PUSH4 0x8f32d59b 00000093: EQ 00000094: PUSH2 0x0904 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x94357c6b 0000009e: EQ 0000009f: PUSH2 0x0933 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x95d89b41 000000a9: EQ 000000aa: PUSH2 0x094a 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa6f2ae3a 000000b4: EQ 000000b5: PUSH2 0x09da 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xa9059cbb 000000bf: EQ 000000c0: PUSH2 0x09f8 000000c3: JUMPI 000000c4: PUSH2 0x0237 000000c7: JUMP 000000c8: JUMPDEST 000000c9: DUP1 000000ca: PUSH4 0x7794de55 000000cf: GT 000000d0: PUSH2 0x010f 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x7794de55 000000da: EQ 000000db: PUSH2 0x0809 000000de: JUMPI 000000df: DUP1 000000e0: PUSH4 0x8456cb59 000000e5: EQ 000000e6: PUSH2 0x0820 000000e9: JUMPI 000000ea: DUP1 000000eb: PUSH4 0x85e436bf 000000f0: EQ 000000f1: PUSH2 0x0837 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0x8da5cb5b 000000fb: EQ 000000fc: PUSH2 0x0872 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x8e0b017d 00000106: EQ 00000107: PUSH2 0x08c9 0000010a: JUMPI 0000010b: PUSH2 0x0237 0000010e: JUMP 0000010f: JUMPDEST 00000110: DUP1 00000111: PUSH4 0x5c975abb 00000116: EQ 00000117: PUSH2 0x06f9 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0x6aa737e0 00000121: EQ 00000122: PUSH2 0x0728 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0x6ebcf607 0000012c: EQ 0000012d: PUSH2 0x073f 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0x70a08231 00000137: EQ 00000138: PUSH2 0x07a4 0000013b: JUMPI 0000013c: PUSH2 0x0237 0000013f: JUMP 00000140: JUMPDEST 00000141: DUP1 00000142: PUSH4 0x313ce567 00000147: GT 00000148: PUSH2 0x01c3 0000014b: JUMPI 0000014c: DUP1 0000014d: PUSH4 0x42966c68 00000152: GT 00000153: PUSH2 0x0192 00000156: JUMPI 00000157: DUP1 00000158: PUSH4 0x42966c68 0000015d: EQ 0000015e: PUSH2 0x05d8 00000161: JUMPI 00000162: DUP1 00000163: PUSH4 0x46fbf68e 00000168: EQ 00000169: PUSH2 0x0613 0000016c: JUMPI 0000016d: DUP1 0000016e: PUSH4 0x4b0d5417 00000173: EQ 00000174: PUSH2 0x067c 00000177: JUMPI 00000178: DUP1 00000179: PUSH4 0x50baa622 0000017e: EQ 0000017f: PUSH2 0x0693 00000182: JUMPI 00000183: DUP1 00000184: PUSH4 0x534f36c5 00000189: EQ 0000018a: PUSH2 0x06ce 0000018d: JUMPI 0000018e: PUSH2 0x0237 00000191: JUMP 00000192: JUMPDEST 00000193: DUP1 00000194: PUSH4 0x313ce567 00000199: EQ 0000019a: PUSH2 0x04ec 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0x32424aa3 000001a4: EQ 000001a5: PUSH2 0x051d 000001a8: JUMPI 000001a9: DUP1 000001aa: PUSH4 0x3f4ba83a 000001af: EQ 000001b0: PUSH2 0x054e 000001b3: JUMPI 000001b4: DUP1 000001b5: PUSH4 0x40c10f19 000001ba: EQ 000001bb: PUSH2 0x0565 000001be: JUMPI 000001bf: PUSH2 0x0237 000001c2: JUMP 000001c3: JUMPDEST 000001c4: DUP1 000001c5: PUSH4 0x1d0b482f 000001ca: GT 000001cb: PUSH2 0x020a 000001ce: JUMPI 000001cf: DUP1 000001d0: PUSH4 0x1d0b482f 000001d5: EQ 000001d6: PUSH2 0x0399 000001d9: JUMPI 000001da: DUP1 000001db: PUSH4 0x23b872dd 000001e0: EQ 000001e1: PUSH2 0x03c4 000001e4: JUMPI 000001e5: DUP1 000001e6: PUSH4 0x28b93702 000001eb: EQ 000001ec: PUSH2 0x0457 000001ef: JUMPI 000001f0: DUP1 000001f1: PUSH4 0x2e1a7d4d 000001f6: EQ 000001f7: PUSH2 0x0486 000001fa: JUMPI 000001fb: DUP1 000001fc: PUSH4 0x2ff2e9dc 00000201: EQ 00000202: PUSH2 0x04c1 00000205: JUMPI 00000206: PUSH2 0x0237 00000209: JUMP 0000020a: JUMPDEST 0000020b: DUP1 0000020c: PUSH4 0x06fdde03 00000211: EQ 00000212: PUSH2 0x023c 00000215: JUMPI 00000216: DUP1 00000217: PUSH4 0x095ea7b3 0000021c: EQ 0000021d: PUSH2 0x02cc 00000220: JUMPI 00000221: DUP1 00000222: PUSH4 0x0f7ca577 00000227: EQ 00000228: PUSH2 0x033f 0000022b: JUMPI 0000022c: DUP1 0000022d: PUSH4 0x18160ddd 00000232: EQ 00000233: PUSH2 0x036e 00000236: JUMPI 00000237: JUMPDEST 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: CALLVALUE 0000023e: DUP1 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: POP 0000024a: PUSH2 0x0251 0000024d: PUSH2 0x0c56 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH1 0x40 00000254: MLOAD 00000255: DUP1 00000256: DUP1 00000257: PUSH1 0x20 00000259: ADD 0000025a: DUP3 0000025b: DUP2 0000025c: SUB 0000025d: DUP3 0000025e: MSTORE 0000025f: DUP4 00000260: DUP2 00000261: DUP2 00000262: MLOAD 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x20 00000267: ADD 00000268: SWAP2 00000269: POP 0000026a: DUP1 0000026b: MLOAD 0000026c: SWAP1 0000026d: PUSH1 0x20 0000026f: ADD 00000270: SWAP1 00000271: DUP1 00000272: DUP4 00000273: DUP4 00000274: PUSH1 0x00 00000276: JUMPDEST 00000277: DUP4 00000278: DUP2 00000279: LT 0000027a: ISZERO 0000027b: PUSH2 0x0291 0000027e: JUMPI 0000027f: DUP1 00000280: DUP3 00000281: ADD 00000282: MLOAD 00000283: DUP2 00000284: DUP5 00000285: ADD 00000286: MSTORE 00000287: PUSH1 0x20 00000289: DUP2 0000028a: ADD 0000028b: SWAP1 0000028c: POP 0000028d: PUSH2 0x0276 00000290: JUMP 00000291: JUMPDEST 00000292: POP 00000293: POP 00000294: POP 00000295: POP 00000296: SWAP1 00000297: POP 00000298: SWAP1 00000299: DUP2 0000029a: ADD 0000029b: SWAP1 0000029c: PUSH1 0x1f 0000029e: AND 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02be 000002a4: JUMPI 000002a5: DUP1 000002a6: DUP3 000002a7: SUB 000002a8: DUP1 000002a9: MLOAD 000002aa: PUSH1 0x01 000002ac: DUP4 000002ad: PUSH1 0x20 000002af: SUB 000002b0: PUSH2 0x0100 000002b3: EXP 000002b4: SUB 000002b5: NOT 000002b6: AND 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: SWAP2 000002bd: POP 000002be: JUMPDEST 000002bf: POP 000002c0: SWAP3 000002c1: POP 000002c2: POP 000002c3: POP 000002c4: PUSH1 0x40 000002c6: MLOAD 000002c7: DUP1 000002c8: SWAP2 000002c9: SUB 000002ca: SWAP1 000002cb: RETURN 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x0325 000002dd: PUSH1 0x04 000002df: DUP1 000002e0: CALLDATASIZE 000002e1: SUB 000002e2: PUSH1 0x40 000002e4: DUP2 000002e5: LT 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: DUP2 000002f1: ADD 000002f2: SWAP1 000002f3: DUP1 000002f4: DUP1 000002f5: CALLDATALOAD 000002f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030b: AND 0000030c: SWAP1 0000030d: PUSH1 0x20 0000030f: ADD 00000310: SWAP1 00000311: SWAP3 00000312: SWAP2 00000313: SWAP1 00000314: DUP1 00000315: CALLDATALOAD 00000316: SWAP1 00000317: PUSH1 0x20 00000319: ADD 0000031a: SWAP1 0000031b: SWAP3 0000031c: SWAP2 0000031d: SWAP1 0000031e: POP 0000031f: POP 00000320: POP 00000321: PUSH2 0x0cf8 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH1 0x40 00000328: MLOAD 00000329: DUP1 0000032a: DUP3 0000032b: ISZERO 0000032c: ISZERO 0000032d: ISZERO 0000032e: ISZERO 0000032f: DUP2 00000330: MSTORE 00000331: PUSH1 0x20 00000333: ADD 00000334: SWAP2 00000335: POP 00000336: POP 00000337: PUSH1 0x40 00000339: MLOAD 0000033a: DUP1 0000033b: SWAP2 0000033c: SUB 0000033d: SWAP1 0000033e: RETURN 0000033f: JUMPDEST 00000340: CALLVALUE 00000341: DUP1 00000342: ISZERO 00000343: PUSH2 0x034b 00000346: JUMPI 00000347: PUSH1 0x00 00000349: DUP1 0000034a: REVERT 0000034b: JUMPDEST 0000034c: POP 0000034d: PUSH2 0x0354 00000350: PUSH2 0x0d28 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH1 0x40 00000357: MLOAD 00000358: DUP1 00000359: DUP3 0000035a: ISZERO 0000035b: ISZERO 0000035c: ISZERO 0000035d: ISZERO 0000035e: DUP2 0000035f: MSTORE 00000360: PUSH1 0x20 00000362: ADD 00000363: SWAP2 00000364: POP 00000365: POP 00000366: PUSH1 0x40 00000368: MLOAD 00000369: DUP1 0000036a: SWAP2 0000036b: SUB 0000036c: SWAP1 0000036d: RETURN 0000036e: JUMPDEST 0000036f: CALLVALUE 00000370: DUP1 00000371: ISZERO 00000372: PUSH2 0x037a 00000375: JUMPI 00000376: PUSH1 0x00 00000378: DUP1 00000379: REVERT 0000037a: JUMPDEST 0000037b: POP 0000037c: PUSH2 0x0383 0000037f: PUSH2 0x0d3b 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH1 0x40 00000386: MLOAD 00000387: DUP1 00000388: DUP3 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: SWAP2 0000038f: POP 00000390: POP 00000391: PUSH1 0x40 00000393: MLOAD 00000394: DUP1 00000395: SWAP2 00000396: SUB 00000397: SWAP1 00000398: RETURN 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: POP 000003a7: PUSH2 0x03ae 000003aa: PUSH2 0x0d45 000003ad: JUMP 000003ae: JUMPDEST 000003af: PUSH1 0x40 000003b1: MLOAD 000003b2: DUP1 000003b3: DUP3 000003b4: DUP2 000003b5: MSTORE 000003b6: PUSH1 0x20 000003b8: ADD 000003b9: SWAP2 000003ba: POP 000003bb: POP 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: DUP1 000003c0: SWAP2 000003c1: SUB 000003c2: SWAP1 000003c3: RETURN 000003c4: JUMPDEST 000003c5: CALLVALUE 000003c6: DUP1 000003c7: ISZERO 000003c8: PUSH2 0x03d0 000003cb: JUMPI 000003cc: PUSH1 0x00 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: POP 000003d2: PUSH2 0x043d 000003d5: PUSH1 0x04 000003d7: DUP1 000003d8: CALLDATASIZE 000003d9: SUB 000003da: PUSH1 0x60 000003dc: DUP2 000003dd: LT 000003de: ISZERO 000003df: PUSH2 0x03e7 000003e2: JUMPI 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: REVERT 000003e7: JUMPDEST 000003e8: DUP2 000003e9: ADD 000003ea: SWAP1 000003eb: DUP1 000003ec: DUP1 000003ed: CALLDATALOAD 000003ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000403: AND 00000404: SWAP1 00000405: PUSH1 0x20 00000407: ADD 00000408: SWAP1 00000409: SWAP3 0000040a: SWAP2 0000040b: SWAP1 0000040c: DUP1 0000040d: CALLDATALOAD 0000040e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000423: AND 00000424: SWAP1 00000425: PUSH1 0x20 00000427: ADD 00000428: SWAP1 00000429: SWAP3 0000042a: SWAP2 0000042b: SWAP1 0000042c: DUP1 0000042d: CALLDATALOAD 0000042e: SWAP1 0000042f: PUSH1 0x20 00000431: ADD 00000432: SWAP1 00000433: SWAP3 00000434: SWAP2 00000435: SWAP1 00000436: POP 00000437: POP 00000438: POP 00000439: PUSH2 0x0d4b 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: DUP1 00000442: DUP3 00000443: ISZERO 00000444: ISZERO 00000445: ISZERO 00000446: ISZERO 00000447: DUP2 00000448: MSTORE 00000449: PUSH1 0x20 0000044b: ADD 0000044c: SWAP2 0000044d: POP 0000044e: POP 0000044f: PUSH1 0x40 00000451: MLOAD 00000452: DUP1 00000453: SWAP2 00000454: SUB 00000455: SWAP1 00000456: RETURN 00000457: JUMPDEST 00000458: CALLVALUE 00000459: DUP1 0000045a: ISZERO 0000045b: PUSH2 0x0463 0000045e: JUMPI 0000045f: PUSH1 0x00 00000461: DUP1 00000462: REVERT 00000463: JUMPDEST 00000464: POP 00000465: PUSH2 0x046c 00000468: PUSH2 0x0d7d 0000046b: JUMP 0000046c: JUMPDEST 0000046d: PUSH1 0x40 0000046f: MLOAD 00000470: DUP1 00000471: DUP3 00000472: ISZERO 00000473: ISZERO 00000474: ISZERO 00000475: ISZERO 00000476: DUP2 00000477: MSTORE 00000478: PUSH1 0x20 0000047a: ADD 0000047b: SWAP2 0000047c: POP 0000047d: POP 0000047e: PUSH1 0x40 00000480: MLOAD 00000481: DUP1 00000482: SWAP2 00000483: SUB 00000484: SWAP1 00000485: RETURN 00000486: JUMPDEST 00000487: CALLVALUE 00000488: DUP1 00000489: ISZERO 0000048a: PUSH2 0x0492 0000048d: JUMPI 0000048e: PUSH1 0x00 00000490: DUP1 00000491: REVERT 00000492: JUMPDEST 00000493: POP 00000494: PUSH2 0x04bf 00000497: PUSH1 0x04 00000499: DUP1 0000049a: CALLDATASIZE 0000049b: SUB 0000049c: PUSH1 0x20 0000049e: DUP2 0000049f: LT 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: DUP2 000004ab: ADD 000004ac: SWAP1 000004ad: DUP1 000004ae: DUP1 000004af: CALLDATALOAD 000004b0: SWAP1 000004b1: PUSH1 0x20 000004b3: ADD 000004b4: SWAP1 000004b5: SWAP3 000004b6: SWAP2 000004b7: SWAP1 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: PUSH2 0x0d90 000004be: JUMP 000004bf: JUMPDEST 000004c0: STOP 000004c1: JUMPDEST 000004c2: CALLVALUE 000004c3: DUP1 000004c4: ISZERO 000004c5: PUSH2 0x04cd 000004c8: JUMPI 000004c9: PUSH1 0x00 000004cb: DUP1 000004cc: REVERT 000004cd: JUMPDEST 000004ce: POP 000004cf: PUSH2 0x04d6 000004d2: PUSH2 0x0e83 000004d5: JUMP 000004d6: JUMPDEST 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: DUP1 000004db: DUP3 000004dc: DUP2 000004dd: MSTORE 000004de: PUSH1 0x20 000004e0: ADD 000004e1: SWAP2 000004e2: POP 000004e3: POP 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP1 000004e8: SWAP2 000004e9: SUB 000004ea: SWAP1 000004eb: RETURN 000004ec: JUMPDEST 000004ed: CALLVALUE 000004ee: DUP1 000004ef: ISZERO 000004f0: PUSH2 0x04f8 000004f3: JUMPI 000004f4: PUSH1 0x00 000004f6: DUP1 000004f7: REVERT 000004f8: JUMPDEST 000004f9: POP 000004fa: PUSH2 0x0501 000004fd: PUSH2 0x0e95 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x40 00000504: MLOAD 00000505: DUP1 00000506: DUP3 00000507: PUSH1 0xff 00000509: AND 0000050a: PUSH1 0xff 0000050c: AND 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x20 00000511: ADD 00000512: SWAP2 00000513: POP 00000514: POP 00000515: PUSH1 0x40 00000517: MLOAD 00000518: DUP1 00000519: SWAP2 0000051a: SUB 0000051b: SWAP1 0000051c: RETURN 0000051d: JUMPDEST 0000051e: CALLVALUE 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH1 0x00 00000527: DUP1 00000528: REVERT 00000529: JUMPDEST 0000052a: POP 0000052b: PUSH2 0x0532 0000052e: PUSH2 0x0eac 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH1 0x40 00000535: MLOAD 00000536: DUP1 00000537: DUP3 00000538: PUSH1 0xff 0000053a: AND 0000053b: PUSH1 0xff 0000053d: AND 0000053e: DUP2 0000053f: MSTORE 00000540: PUSH1 0x20 00000542: ADD 00000543: SWAP2 00000544: POP 00000545: POP 00000546: PUSH1 0x40 00000548: MLOAD 00000549: DUP1 0000054a: SWAP2 0000054b: SUB 0000054c: SWAP1 0000054d: RETURN 0000054e: JUMPDEST 0000054f: CALLVALUE 00000550: DUP1 00000551: ISZERO 00000552: PUSH2 0x055a 00000555: JUMPI 00000556: PUSH1 0x00 00000558: DUP1 00000559: REVERT 0000055a: JUMPDEST 0000055b: POP 0000055c: PUSH2 0x0563 0000055f: PUSH2 0x0ebf 00000562: JUMP 00000563: JUMPDEST 00000564: STOP 00000565: JUMPDEST 00000566: CALLVALUE 00000567: DUP1 00000568: ISZERO 00000569: PUSH2 0x0571 0000056c: JUMPI 0000056d: PUSH1 0x00 0000056f: DUP1 00000570: REVERT 00000571: JUMPDEST 00000572: POP 00000573: PUSH2 0x05be 00000576: PUSH1 0x04 00000578: DUP1 00000579: CALLDATASIZE 0000057a: SUB 0000057b: PUSH1 0x40 0000057d: DUP2 0000057e: LT 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH1 0x00 00000586: DUP1 00000587: REVERT 00000588: JUMPDEST 00000589: DUP2 0000058a: ADD 0000058b: SWAP1 0000058c: DUP1 0000058d: DUP1 0000058e: CALLDATALOAD 0000058f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a4: AND 000005a5: SWAP1 000005a6: PUSH1 0x20 000005a8: ADD 000005a9: SWAP1 000005aa: SWAP3 000005ab: SWAP2 000005ac: SWAP1 000005ad: DUP1 000005ae: CALLDATALOAD 000005af: SWAP1 000005b0: PUSH1 0x20 000005b2: ADD 000005b3: SWAP1 000005b4: SWAP3 000005b5: SWAP2 000005b6: SWAP1 000005b7: POP 000005b8: POP 000005b9: POP 000005ba: PUSH2 0x0fd6 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH1 0x40 000005c1: MLOAD 000005c2: DUP1 000005c3: DUP3 000005c4: ISZERO 000005c5: ISZERO 000005c6: ISZERO 000005c7: ISZERO 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x20 000005cc: ADD 000005cd: SWAP2 000005ce: POP 000005cf: POP 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: DUP1 000005d4: SWAP2 000005d5: SUB 000005d6: SWAP1 000005d7: RETURN 000005d8: JUMPDEST 000005d9: CALLVALUE 000005da: DUP1 000005db: ISZERO 000005dc: PUSH2 0x05e4 000005df: JUMPI 000005e0: PUSH1 0x00 000005e2: DUP1 000005e3: REVERT 000005e4: JUMPDEST 000005e5: POP 000005e6: PUSH2 0x0611 000005e9: PUSH1 0x04 000005eb: DUP1 000005ec: CALLDATASIZE 000005ed: SUB 000005ee: PUSH1 0x20 000005f0: DUP2 000005f1: LT 000005f2: ISZERO 000005f3: PUSH2 0x05fb 000005f6: JUMPI 000005f7: PUSH1 0x00 000005f9: DUP1 000005fa: REVERT 000005fb: JUMPDEST 000005fc: DUP2 000005fd: ADD 000005fe: SWAP1 000005ff: DUP1 00000600: DUP1 00000601: CALLDATALOAD 00000602: SWAP1 00000603: PUSH1 0x20 00000605: ADD 00000606: SWAP1 00000607: SWAP3 00000608: SWAP2 00000609: SWAP1 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: PUSH2 0x1068 00000610: JUMP 00000611: JUMPDEST 00000612: STOP 00000613: JUMPDEST 00000614: CALLVALUE 00000615: DUP1 00000616: ISZERO 00000617: PUSH2 0x061f 0000061a: JUMPI 0000061b: PUSH1 0x00 0000061d: DUP1 0000061e: REVERT 0000061f: JUMPDEST 00000620: POP 00000621: PUSH2 0x0662 00000624: PUSH1 0x04 00000626: DUP1 00000627: CALLDATASIZE 00000628: SUB 00000629: PUSH1 0x20 0000062b: DUP2 0000062c: LT 0000062d: ISZERO 0000062e: PUSH2 0x0636 00000631: JUMPI 00000632: PUSH1 0x00 00000634: DUP1 00000635: REVERT 00000636: JUMPDEST 00000637: DUP2 00000638: ADD 00000639: SWAP1 0000063a: DUP1 0000063b: DUP1 0000063c: CALLDATALOAD 0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000652: AND 00000653: SWAP1 00000654: PUSH1 0x20 00000656: ADD 00000657: SWAP1 00000658: SWAP3 00000659: SWAP2 0000065a: SWAP1 0000065b: POP 0000065c: POP 0000065d: POP 0000065e: PUSH2 0x10f1 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH1 0x40 00000665: MLOAD 00000666: DUP1 00000667: DUP3 00000668: ISZERO 00000669: ISZERO 0000066a: ISZERO 0000066b: ISZERO 0000066c: DUP2 0000066d: MSTORE 0000066e: PUSH1 0x20 00000670: ADD 00000671: SWAP2 00000672: POP 00000673: POP 00000674: PUSH1 0x40 00000676: MLOAD 00000677: DUP1 00000678: SWAP2 00000679: SUB 0000067a: SWAP1 0000067b: RETURN 0000067c: JUMPDEST 0000067d: CALLVALUE 0000067e: DUP1 0000067f: ISZERO 00000680: PUSH2 0x0688 00000683: JUMPI 00000684: PUSH1 0x00 00000686: DUP1 00000687: REVERT 00000688: JUMPDEST 00000689: POP 0000068a: PUSH2 0x0691 0000068d: PUSH2 0x110e 00000690: JUMP 00000691: JUMPDEST 00000692: STOP 00000693: JUMPDEST 00000694: CALLVALUE 00000695: DUP1 00000696: ISZERO 00000697: PUSH2 0x069f 0000069a: JUMPI 0000069b: PUSH1 0x00 0000069d: DUP1 0000069e: REVERT 0000069f: JUMPDEST 000006a0: POP 000006a1: PUSH2 0x06cc 000006a4: PUSH1 0x04 000006a6: DUP1 000006a7: CALLDATASIZE 000006a8: SUB 000006a9: PUSH1 0x20 000006ab: DUP2 000006ac: LT 000006ad: ISZERO 000006ae: PUSH2 0x06b6 000006b1: JUMPI 000006b2: PUSH1 0x00 000006b4: DUP1 000006b5: REVERT 000006b6: JUMPDEST 000006b7: DUP2 000006b8: ADD 000006b9: SWAP1 000006ba: DUP1 000006bb: DUP1 000006bc: CALLDATALOAD 000006bd: SWAP1 000006be: PUSH1 0x20 000006c0: ADD 000006c1: SWAP1 000006c2: SWAP3 000006c3: SWAP2 000006c4: SWAP1 000006c5: POP 000006c6: POP 000006c7: POP 000006c8: PUSH2 0x11e3 000006cb: JUMP 000006cc: JUMPDEST 000006cd: STOP 000006ce: JUMPDEST 000006cf: CALLVALUE 000006d0: DUP1 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: POP 000006dc: PUSH2 0x06e3 000006df: PUSH2 0x12c1 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: DUP1 000006e8: DUP3 000006e9: DUP2 000006ea: MSTORE 000006eb: PUSH1 0x20 000006ed: ADD 000006ee: SWAP2 000006ef: POP 000006f0: POP 000006f1: PUSH1 0x40 000006f3: MLOAD 000006f4: DUP1 000006f5: SWAP2 000006f6: SUB 000006f7: SWAP1 000006f8: RETURN 000006f9: JUMPDEST 000006fa: CALLVALUE 000006fb: DUP1 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: POP 00000707: PUSH2 0x070e 0000070a: PUSH2 0x12c7 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x40 00000711: MLOAD 00000712: DUP1 00000713: DUP3 00000714: ISZERO 00000715: ISZERO 00000716: ISZERO 00000717: ISZERO 00000718: DUP2 00000719: MSTORE 0000071a: PUSH1 0x20 0000071c: ADD 0000071d: SWAP2 0000071e: POP 0000071f: POP 00000720: PUSH1 0x40 00000722: MLOAD 00000723: DUP1 00000724: SWAP2 00000725: SUB 00000726: SWAP1 00000727: RETURN 00000728: JUMPDEST 00000729: CALLVALUE 0000072a: DUP1 0000072b: ISZERO 0000072c: PUSH2 0x0734 0000072f: JUMPI 00000730: PUSH1 0x00 00000732: DUP1 00000733: REVERT 00000734: JUMPDEST 00000735: POP 00000736: PUSH2 0x073d 00000739: PUSH2 0x12de 0000073c: JUMP 0000073d: JUMPDEST 0000073e: STOP 0000073f: JUMPDEST 00000740: CALLVALUE 00000741: DUP1 00000742: ISZERO 00000743: PUSH2 0x074b 00000746: JUMPI 00000747: PUSH1 0x00 00000749: DUP1 0000074a: REVERT 0000074b: JUMPDEST 0000074c: POP 0000074d: PUSH2 0x078e 00000750: PUSH1 0x04 00000752: DUP1 00000753: CALLDATASIZE 00000754: SUB 00000755: PUSH1 0x20 00000757: DUP2 00000758: LT 00000759: ISZERO 0000075a: PUSH2 0x0762 0000075d: JUMPI 0000075e: PUSH1 0x00 00000760: DUP1 00000761: REVERT 00000762: JUMPDEST 00000763: DUP2 00000764: ADD 00000765: SWAP1 00000766: DUP1 00000767: DUP1 00000768: CALLDATALOAD 00000769: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077e: AND 0000077f: SWAP1 00000780: PUSH1 0x20 00000782: ADD 00000783: SWAP1 00000784: SWAP3 00000785: SWAP2 00000786: SWAP1 00000787: POP 00000788: POP 00000789: POP 0000078a: PUSH2 0x13b3 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH1 0x40 00000791: MLOAD 00000792: DUP1 00000793: DUP3 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x20 00000798: ADD 00000799: SWAP2 0000079a: POP 0000079b: POP 0000079c: PUSH1 0x40 0000079e: MLOAD 0000079f: DUP1 000007a0: SWAP2 000007a1: SUB 000007a2: SWAP1 000007a3: RETURN 000007a4: JUMPDEST 000007a5: CALLVALUE 000007a6: DUP1 000007a7: ISZERO 000007a8: PUSH2 0x07b0 000007ab: JUMPI 000007ac: PUSH1 0x00 000007ae: DUP1 000007af: REVERT 000007b0: JUMPDEST 000007b1: POP 000007b2: PUSH2 0x07f3 000007b5: PUSH1 0x04 000007b7: DUP1 000007b8: CALLDATASIZE 000007b9: SUB 000007ba: PUSH1 0x20 000007bc: DUP2 000007bd: LT 000007be: ISZERO 000007bf: PUSH2 0x07c7 000007c2: JUMPI 000007c3: PUSH1 0x00 000007c5: DUP1 000007c6: REVERT 000007c7: JUMPDEST 000007c8: DUP2 000007c9: ADD 000007ca: SWAP1 000007cb: DUP1 000007cc: DUP1 000007cd: CALLDATALOAD 000007ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e3: AND 000007e4: SWAP1 000007e5: PUSH1 0x20 000007e7: ADD 000007e8: SWAP1 000007e9: SWAP3 000007ea: SWAP2 000007eb: SWAP1 000007ec: POP 000007ed: POP 000007ee: POP 000007ef: PUSH2 0x13cb 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x40 000007f6: MLOAD 000007f7: DUP1 000007f8: DUP3 000007f9: DUP2 000007fa: MSTORE 000007fb: PUSH1 0x20 000007fd: ADD 000007fe: SWAP2 000007ff: POP 00000800: POP 00000801: PUSH1 0x40 00000803: MLOAD 00000804: DUP1 00000805: SWAP2 00000806: SUB 00000807: SWAP1 00000808: RETURN 00000809: JUMPDEST 0000080a: CALLVALUE 0000080b: DUP1 0000080c: ISZERO 0000080d: PUSH2 0x0815 00000810: JUMPI 00000811: PUSH1 0x00 00000813: DUP1 00000814: REVERT 00000815: JUMPDEST 00000816: POP 00000817: PUSH2 0x081e 0000081a: PUSH2 0x1413 0000081d: JUMP 0000081e: JUMPDEST 0000081f: STOP 00000820: JUMPDEST 00000821: CALLVALUE 00000822: DUP1 00000823: ISZERO 00000824: PUSH2 0x082c 00000827: JUMPI 00000828: PUSH1 0x00 0000082a: DUP1 0000082b: REVERT 0000082c: JUMPDEST 0000082d: POP 0000082e: PUSH2 0x0835 00000831: PUSH2 0x14e8 00000834: JUMP 00000835: JUMPDEST 00000836: STOP 00000837: JUMPDEST 00000838: CALLVALUE 00000839: DUP1 0000083a: ISZERO 0000083b: PUSH2 0x0843 0000083e: JUMPI 0000083f: PUSH1 0x00 00000841: DUP1 00000842: REVERT 00000843: JUMPDEST 00000844: POP 00000845: PUSH2 0x0870 00000848: PUSH1 0x04 0000084a: DUP1 0000084b: CALLDATASIZE 0000084c: SUB 0000084d: PUSH1 0x20 0000084f: DUP2 00000850: LT 00000851: ISZERO 00000852: PUSH2 0x085a 00000855: JUMPI 00000856: PUSH1 0x00 00000858: DUP1 00000859: REVERT 0000085a: JUMPDEST 0000085b: DUP2 0000085c: ADD 0000085d: SWAP1 0000085e: DUP1 0000085f: DUP1 00000860: CALLDATALOAD 00000861: SWAP1 00000862: PUSH1 0x20 00000864: ADD 00000865: SWAP1 00000866: SWAP3 00000867: SWAP2 00000868: SWAP1 00000869: POP 0000086a: POP 0000086b: POP 0000086c: PUSH2 0x1600 0000086f: JUMP 00000870: JUMPDEST 00000871: STOP 00000872: JUMPDEST 00000873: CALLVALUE 00000874: DUP1 00000875: ISZERO 00000876: PUSH2 0x087e 00000879: JUMPI 0000087a: PUSH1 0x00 0000087c: DUP1 0000087d: REVERT 0000087e: JUMPDEST 0000087f: POP 00000880: PUSH2 0x0887 00000883: PUSH2 0x16d6 00000886: JUMP 00000887: JUMPDEST 00000888: PUSH1 0x40 0000088a: MLOAD 0000088b: DUP1 0000088c: DUP3 0000088d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a2: AND 000008a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b8: AND 000008b9: DUP2 000008ba: MSTORE 000008bb: PUSH1 0x20 000008bd: ADD 000008be: SWAP2 000008bf: POP 000008c0: POP 000008c1: PUSH1 0x40 000008c3: MLOAD 000008c4: DUP1 000008c5: SWAP2 000008c6: SUB 000008c7: SWAP1 000008c8: RETURN 000008c9: JUMPDEST 000008ca: CALLVALUE 000008cb: DUP1 000008cc: ISZERO 000008cd: PUSH2 0x08d5 000008d0: JUMPI 000008d1: PUSH1 0x00 000008d3: DUP1 000008d4: REVERT 000008d5: JUMPDEST 000008d6: POP 000008d7: PUSH2 0x0902 000008da: PUSH1 0x04 000008dc: DUP1 000008dd: CALLDATASIZE 000008de: SUB 000008df: PUSH1 0x20 000008e1: DUP2 000008e2: LT 000008e3: ISZERO 000008e4: PUSH2 0x08ec 000008e7: JUMPI 000008e8: PUSH1 0x00 000008ea: DUP1 000008eb: REVERT 000008ec: JUMPDEST 000008ed: DUP2 000008ee: ADD 000008ef: SWAP1 000008f0: DUP1 000008f1: DUP1 000008f2: CALLDATALOAD 000008f3: SWAP1 000008f4: PUSH1 0x20 000008f6: ADD 000008f7: SWAP1 000008f8: SWAP3 000008f9: SWAP2 000008fa: SWAP1 000008fb: POP 000008fc: POP 000008fd: POP 000008fe: PUSH2 0x1700 00000901: JUMP 00000902: JUMPDEST 00000903: STOP 00000904: JUMPDEST 00000905: CALLVALUE 00000906: DUP1 00000907: ISZERO 00000908: PUSH2 0x0910 0000090b: JUMPI 0000090c: PUSH1 0x00 0000090e: DUP1 0000090f: REVERT 00000910: JUMPDEST 00000911: POP 00000912: PUSH2 0x0919 00000915: PUSH2 0x17d6 00000918: JUMP 00000919: JUMPDEST 0000091a: PUSH1 0x40 0000091c: MLOAD 0000091d: DUP1 0000091e: DUP3 0000091f: ISZERO 00000920: ISZERO 00000921: ISZERO 00000922: ISZERO 00000923: DUP2 00000924: MSTORE 00000925: PUSH1 0x20 00000927: ADD 00000928: SWAP2 00000929: POP 0000092a: POP 0000092b: PUSH1 0x40 0000092d: MLOAD 0000092e: DUP1 0000092f: SWAP2 00000930: SUB 00000931: SWAP1 00000932: RETURN 00000933: JUMPDEST 00000934: CALLVALUE 00000935: DUP1 00000936: ISZERO 00000937: PUSH2 0x093f 0000093a: JUMPI 0000093b: PUSH1 0x00 0000093d: DUP1 0000093e: REVERT 0000093f: JUMPDEST 00000940: POP 00000941: PUSH2 0x0948 00000944: PUSH2 0x182e 00000947: JUMP 00000948: JUMPDEST 00000949: STOP 0000094a: JUMPDEST 0000094b: CALLVALUE 0000094c: DUP1 0000094d: ISZERO 0000094e: PUSH2 0x0956 00000951: JUMPI 00000952: PUSH1 0x00 00000954: DUP1 00000955: REVERT 00000956: JUMPDEST 00000957: POP 00000958: PUSH2 0x095f 0000095b: PUSH2 0x1903 0000095e: JUMP 0000095f: JUMPDEST 00000960: PUSH1 0x40 00000962: MLOAD 00000963: DUP1 00000964: DUP1 00000965: PUSH1 0x20 00000967: ADD 00000968: DUP3 00000969: DUP2 0000096a: SUB 0000096b: DUP3 0000096c: MSTORE 0000096d: DUP4 0000096e: DUP2 0000096f: DUP2 00000970: MLOAD 00000971: DUP2 00000972: MSTORE 00000973: PUSH1 0x20 00000975: ADD 00000976: SWAP2 00000977: POP 00000978: DUP1 00000979: MLOAD 0000097a: SWAP1 0000097b: PUSH1 0x20 0000097d: ADD 0000097e: SWAP1 0000097f: DUP1 00000980: DUP4 00000981: DUP4 00000982: PUSH1 0x00 00000984: JUMPDEST 00000985: DUP4 00000986: DUP2 00000987: LT 00000988: ISZERO 00000989: PUSH2 0x099f 0000098c: JUMPI 0000098d: DUP1 0000098e: DUP3 0000098f: ADD 00000990: MLOAD 00000991: DUP2 00000992: DUP5 00000993: ADD 00000994: MSTORE 00000995: PUSH1 0x20 00000997: DUP2 00000998: ADD 00000999: SWAP1 0000099a: POP 0000099b: PUSH2 0x0984 0000099e: JUMP 0000099f: JUMPDEST 000009a0: POP 000009a1: POP 000009a2: POP 000009a3: POP 000009a4: SWAP1 000009a5: POP 000009a6: SWAP1 000009a7: DUP2 000009a8: ADD 000009a9: SWAP1 000009aa: PUSH1 0x1f 000009ac: AND 000009ad: DUP1 000009ae: ISZERO 000009af: PUSH2 0x09cc 000009b2: JUMPI 000009b3: DUP1 000009b4: DUP3 000009b5: SUB 000009b6: DUP1 000009b7: MLOAD 000009b8: PUSH1 0x01 000009ba: DUP4 000009bb: PUSH1 0x20 000009bd: SUB 000009be: PUSH2 0x0100 000009c1: EXP 000009c2: SUB 000009c3: NOT 000009c4: AND 000009c5: DUP2 000009c6: MSTORE 000009c7: PUSH1 0x20 000009c9: ADD 000009ca: SWAP2 000009cb: POP 000009cc: JUMPDEST 000009cd: POP 000009ce: SWAP3 000009cf: POP 000009d0: POP 000009d1: POP 000009d2: PUSH1 0x40 000009d4: MLOAD 000009d5: DUP1 000009d6: SWAP2 000009d7: SUB 000009d8: SWAP1 000009d9: RETURN 000009da: JUMPDEST 000009db: PUSH2 0x09e2 000009de: PUSH2 0x19a5 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH1 0x40 000009e5: MLOAD 000009e6: DUP1 000009e7: DUP3 000009e8: DUP2 000009e9: MSTORE 000009ea: PUSH1 0x20 000009ec: ADD 000009ed: SWAP2 000009ee: POP 000009ef: POP 000009f0: PUSH1 0x40 000009f2: MLOAD 000009f3: DUP1 000009f4: SWAP2 000009f5: SUB 000009f6: SWAP1 000009f7: RETURN 000009f8: JUMPDEST 000009f9: CALLVALUE 000009fa: DUP1 000009fb: ISZERO 000009fc: PUSH2 0x0a04 000009ff: JUMPI 00000a00: PUSH1 0x00 00000a02: DUP1 00000a03: REVERT 00000a04: JUMPDEST 00000a05: POP 00000a06: PUSH2 0x0a51 00000a09: PUSH1 0x04 00000a0b: DUP1 00000a0c: CALLDATASIZE 00000a0d: SUB 00000a0e: PUSH1 0x40 00000a10: DUP2 00000a11: LT 00000a12: ISZERO 00000a13: PUSH2 0x0a1b 00000a16: JUMPI 00000a17: PUSH1 0x00 00000a19: DUP1 00000a1a: REVERT 00000a1b: JUMPDEST 00000a1c: DUP2 00000a1d: ADD 00000a1e: SWAP1 00000a1f: DUP1 00000a20: DUP1 00000a21: CALLDATALOAD 00000a22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a37: AND 00000a38: SWAP1 00000a39: PUSH1 0x20 00000a3b: ADD 00000a3c: SWAP1 00000a3d: SWAP3 00000a3e: SWAP2 00000a3f: SWAP1 00000a40: DUP1 00000a41: CALLDATALOAD 00000a42: SWAP1 00000a43: PUSH1 0x20 00000a45: ADD 00000a46: SWAP1 00000a47: SWAP3 00000a48: SWAP2 00000a49: SWAP1 00000a4a: POP 00000a4b: POP 00000a4c: POP 00000a4d: PUSH2 0x1d45 00000a50: JUMP 00000a51: JUMPDEST 00000a52: PUSH1 0x40 00000a54: MLOAD 00000a55: DUP1 00000a56: DUP3 00000a57: ISZERO 00000a58: ISZERO 00000a59: ISZERO 00000a5a: ISZERO 00000a5b: DUP2 00000a5c: MSTORE 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: SWAP2 00000a61: POP 00000a62: POP 00000a63: PUSH1 0x40 00000a65: MLOAD 00000a66: DUP1 00000a67: SWAP2 00000a68: SUB 00000a69: SWAP1 00000a6a: RETURN 00000a6b: JUMPDEST 00000a6c: CALLVALUE 00000a6d: DUP1 00000a6e: ISZERO 00000a6f: PUSH2 0x0a77 00000a72: JUMPI 00000a73: PUSH1 0x00 00000a75: DUP1 00000a76: REVERT 00000a77: JUMPDEST 00000a78: POP 00000a79: PUSH2 0x0aba 00000a7c: PUSH1 0x04 00000a7e: DUP1 00000a7f: CALLDATASIZE 00000a80: SUB 00000a81: PUSH1 0x20 00000a83: DUP2 00000a84: LT 00000a85: ISZERO 00000a86: PUSH2 0x0a8e 00000a89: JUMPI 00000a8a: PUSH1 0x00 00000a8c: DUP1 00000a8d: REVERT 00000a8e: JUMPDEST 00000a8f: DUP2 00000a90: ADD 00000a91: SWAP1 00000a92: DUP1 00000a93: DUP1 00000a94: CALLDATALOAD 00000a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aaa: AND 00000aab: SWAP1 00000aac: PUSH1 0x20 00000aae: ADD 00000aaf: SWAP1 00000ab0: SWAP3 00000ab1: SWAP2 00000ab2: SWAP1 00000ab3: POP 00000ab4: POP 00000ab5: POP 00000ab6: PUSH2 0x1d75 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x40 00000abd: MLOAD 00000abe: DUP1 00000abf: DUP3 00000ac0: ISZERO 00000ac1: ISZERO 00000ac2: ISZERO 00000ac3: ISZERO 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: ADD 00000ac9: SWAP2 00000aca: POP 00000acb: POP 00000acc: PUSH1 0x40 00000ace: MLOAD 00000acf: DUP1 00000ad0: SWAP2 00000ad1: SUB 00000ad2: SWAP1 00000ad3: RETURN 00000ad4: JUMPDEST 00000ad5: CALLVALUE 00000ad6: DUP1 00000ad7: ISZERO 00000ad8: PUSH2 0x0ae0 00000adb: JUMPI 00000adc: PUSH1 0x00 00000ade: DUP1 00000adf: REVERT 00000ae0: JUMPDEST 00000ae1: POP 00000ae2: PUSH2 0x0b43 00000ae5: PUSH1 0x04 00000ae7: DUP1 00000ae8: CALLDATASIZE 00000ae9: SUB 00000aea: PUSH1 0x40 00000aec: DUP2 00000aed: LT 00000aee: ISZERO 00000aef: PUSH2 0x0af7 00000af2: JUMPI 00000af3: PUSH1 0x00 00000af5: DUP1 00000af6: REVERT 00000af7: JUMPDEST 00000af8: DUP2 00000af9: ADD 00000afa: SWAP1 00000afb: DUP1 00000afc: DUP1 00000afd: CALLDATALOAD 00000afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b13: AND 00000b14: SWAP1 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: SWAP1 00000b19: SWAP3 00000b1a: SWAP2 00000b1b: SWAP1 00000b1c: DUP1 00000b1d: CALLDATALOAD 00000b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b33: AND 00000b34: SWAP1 00000b35: PUSH1 0x20 00000b37: ADD 00000b38: SWAP1 00000b39: SWAP3 00000b3a: SWAP2 00000b3b: SWAP1 00000b3c: POP 00000b3d: POP 00000b3e: POP 00000b3f: PUSH2 0x1d95 00000b42: JUMP 00000b43: JUMPDEST 00000b44: PUSH1 0x40 00000b46: MLOAD 00000b47: DUP1 00000b48: DUP3 00000b49: DUP2 00000b4a: MSTORE 00000b4b: PUSH1 0x20 00000b4d: ADD 00000b4e: SWAP2 00000b4f: POP 00000b50: POP 00000b51: PUSH1 0x40 00000b53: MLOAD 00000b54: DUP1 00000b55: SWAP2 00000b56: SUB 00000b57: SWAP1 00000b58: RETURN 00000b59: JUMPDEST 00000b5a: CALLVALUE 00000b5b: DUP1 00000b5c: ISZERO 00000b5d: PUSH2 0x0b65 00000b60: JUMPI 00000b61: PUSH1 0x00 00000b63: DUP1 00000b64: REVERT 00000b65: JUMPDEST 00000b66: POP 00000b67: PUSH2 0x0b92 00000b6a: PUSH1 0x04 00000b6c: DUP1 00000b6d: CALLDATASIZE 00000b6e: SUB 00000b6f: PUSH1 0x20 00000b71: DUP2 00000b72: LT 00000b73: ISZERO 00000b74: PUSH2 0x0b7c 00000b77: JUMPI 00000b78: PUSH1 0x00 00000b7a: DUP1 00000b7b: REVERT 00000b7c: JUMPDEST 00000b7d: DUP2 00000b7e: ADD 00000b7f: SWAP1 00000b80: DUP1 00000b81: DUP1 00000b82: CALLDATALOAD 00000b83: SWAP1 00000b84: PUSH1 0x20 00000b86: ADD 00000b87: SWAP1 00000b88: SWAP3 00000b89: SWAP2 00000b8a: SWAP1 00000b8b: POP 00000b8c: POP 00000b8d: POP 00000b8e: PUSH2 0x1e1c 00000b91: JUMP 00000b92: JUMPDEST 00000b93: PUSH1 0x40 00000b95: MLOAD 00000b96: DUP1 00000b97: DUP3 00000b98: DUP2 00000b99: MSTORE 00000b9a: PUSH1 0x20 00000b9c: ADD 00000b9d: SWAP2 00000b9e: POP 00000b9f: POP 00000ba0: PUSH1 0x40 00000ba2: MLOAD 00000ba3: DUP1 00000ba4: SWAP2 00000ba5: SUB 00000ba6: SWAP1 00000ba7: RETURN 00000ba8: JUMPDEST 00000ba9: CALLVALUE 00000baa: DUP1 00000bab: ISZERO 00000bac: PUSH2 0x0bb4 00000baf: JUMPI 00000bb0: PUSH1 0x00 00000bb2: DUP1 00000bb3: REVERT 00000bb4: JUMPDEST 00000bb5: POP 00000bb6: PUSH2 0x0c03 00000bb9: PUSH1 0x04 00000bbb: DUP1 00000bbc: CALLDATASIZE 00000bbd: SUB 00000bbe: PUSH1 0x40 00000bc0: DUP2 00000bc1: LT 00000bc2: ISZERO 00000bc3: PUSH2 0x0bcb 00000bc6: JUMPI 00000bc7: PUSH1 0x00 00000bc9: DUP1 00000bca: REVERT 00000bcb: JUMPDEST 00000bcc: DUP2 00000bcd: ADD 00000bce: SWAP1 00000bcf: DUP1 00000bd0: DUP1 00000bd1: CALLDATALOAD 00000bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be7: AND 00000be8: SWAP1 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: SWAP1 00000bed: SWAP3 00000bee: SWAP2 00000bef: SWAP1 00000bf0: DUP1 00000bf1: CALLDATALOAD 00000bf2: ISZERO 00000bf3: ISZERO 00000bf4: SWAP1 00000bf5: PUSH1 0x20 00000bf7: ADD 00000bf8: SWAP1 00000bf9: SWAP3 00000bfa: SWAP2 00000bfb: SWAP1 00000bfc: POP 00000bfd: POP 00000bfe: POP 00000bff: PUSH2 0x21be 00000c02: JUMP 00000c03: JUMPDEST 00000c04: STOP 00000c05: JUMPDEST 00000c06: CALLVALUE 00000c07: DUP1 00000c08: ISZERO 00000c09: PUSH2 0x0c11 00000c0c: JUMPI 00000c0d: PUSH1 0x00 00000c0f: DUP1 00000c10: REVERT 00000c11: JUMPDEST 00000c12: POP 00000c13: PUSH2 0x0c54 00000c16: PUSH1 0x04 00000c18: DUP1 00000c19: CALLDATASIZE 00000c1a: SUB 00000c1b: PUSH1 0x20 00000c1d: DUP2 00000c1e: LT 00000c1f: ISZERO 00000c20: PUSH2 0x0c28 00000c23: JUMPI 00000c24: PUSH1 0x00 00000c26: DUP1 00000c27: REVERT 00000c28: JUMPDEST 00000c29: DUP2 00000c2a: ADD 00000c2b: SWAP1 00000c2c: DUP1 00000c2d: DUP1 00000c2e: CALLDATALOAD 00000c2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c44: AND 00000c45: SWAP1 00000c46: PUSH1 0x20 00000c48: ADD 00000c49: SWAP1 00000c4a: SWAP3 00000c4b: SWAP2 00000c4c: SWAP1 00000c4d: POP 00000c4e: POP 00000c4f: POP 00000c50: PUSH2 0x2304 00000c53: JUMP 00000c54: JUMPDEST 00000c55: STOP 00000c56: JUMPDEST 00000c57: PUSH1 0x60 00000c59: PUSH1 0x04 00000c5b: DUP1 00000c5c: SLOAD 00000c5d: PUSH1 0x01 00000c5f: DUP2 00000c60: PUSH1 0x01 00000c62: AND 00000c63: ISZERO 00000c64: PUSH2 0x0100 00000c67: MUL 00000c68: SUB 00000c69: AND 00000c6a: PUSH1 0x02 00000c6c: SWAP1 00000c6d: DIV 00000c6e: DUP1 00000c6f: PUSH1 0x1f 00000c71: ADD 00000c72: PUSH1 0x20 00000c74: DUP1 00000c75: SWAP2 00000c76: DIV 00000c77: MUL 00000c78: PUSH1 0x20 00000c7a: ADD 00000c7b: PUSH1 0x40 00000c7d: MLOAD 00000c7e: SWAP1 00000c7f: DUP2 00000c80: ADD 00000c81: PUSH1 0x40 00000c83: MSTORE 00000c84: DUP1 00000c85: SWAP3 00000c86: SWAP2 00000c87: SWAP1 00000c88: DUP2 00000c89: DUP2 00000c8a: MSTORE 00000c8b: PUSH1 0x20 00000c8d: ADD 00000c8e: DUP3 00000c8f: DUP1 00000c90: SLOAD 00000c91: PUSH1 0x01 00000c93: DUP2 00000c94: PUSH1 0x01 00000c96: AND 00000c97: ISZERO 00000c98: PUSH2 0x0100 00000c9b: MUL 00000c9c: SUB 00000c9d: AND 00000c9e: PUSH1 0x02 00000ca0: SWAP1 00000ca1: DIV 00000ca2: DUP1 00000ca3: ISZERO 00000ca4: PUSH2 0x0cee 00000ca7: JUMPI 00000ca8: DUP1 00000ca9: PUSH1 0x1f 00000cab: LT 00000cac: PUSH2 0x0cc3 00000caf: JUMPI 00000cb0: PUSH2 0x0100 00000cb3: DUP1 00000cb4: DUP4 00000cb5: SLOAD 00000cb6: DIV 00000cb7: MUL 00000cb8: DUP4 00000cb9: MSTORE 00000cba: SWAP2 00000cbb: PUSH1 0x20 00000cbd: ADD 00000cbe: SWAP2 00000cbf: PUSH2 0x0cee 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: DUP3 00000cc5: ADD 00000cc6: SWAP2 00000cc7: SWAP1 00000cc8: PUSH1 0x00 00000cca: MSTORE 00000ccb: PUSH1 0x20 00000ccd: PUSH1 0x00 00000ccf: KECCAK256 00000cd0: SWAP1 00000cd1: JUMPDEST 00000cd2: DUP2 00000cd3: SLOAD 00000cd4: DUP2 00000cd5: MSTORE 00000cd6: SWAP1 00000cd7: PUSH1 0x01 00000cd9: ADD 00000cda: SWAP1 00000cdb: PUSH1 0x20 00000cdd: ADD 00000cde: DUP1 00000cdf: DUP4 00000ce0: GT 00000ce1: PUSH2 0x0cd1 00000ce4: JUMPI 00000ce5: DUP3 00000ce6: SWAP1 00000ce7: SUB 00000ce8: PUSH1 0x1f 00000cea: AND 00000ceb: DUP3 00000cec: ADD 00000ced: SWAP2 00000cee: JUMPDEST 00000cef: POP 00000cf0: POP 00000cf1: POP 00000cf2: POP 00000cf3: POP 00000cf4: SWAP1 00000cf5: POP 00000cf6: SWAP1 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x00 00000cfb: PUSH1 0x08 00000cfd: PUSH1 0x00 00000cff: SWAP1 00000d00: SLOAD 00000d01: SWAP1 00000d02: PUSH2 0x0100 00000d05: EXP 00000d06: SWAP1 00000d07: DIV 00000d08: PUSH1 0xff 00000d0a: AND 00000d0b: ISZERO 00000d0c: ISZERO 00000d0d: ISZERO 00000d0e: PUSH2 0x0d16 00000d11: JUMPI 00000d12: PUSH1 0x00 00000d14: DUP1 00000d15: REVERT 00000d16: JUMPDEST 00000d17: PUSH2 0x0d20 00000d1a: DUP4 00000d1b: DUP4 00000d1c: PUSH2 0x238c 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: SWAP1 00000d22: POP 00000d23: SWAP3 00000d24: SWAP2 00000d25: POP 00000d26: POP 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH1 0x0b 00000d2b: PUSH1 0x01 00000d2d: SWAP1 00000d2e: SLOAD 00000d2f: SWAP1 00000d30: PUSH2 0x0100 00000d33: EXP 00000d34: SWAP1 00000d35: DIV 00000d36: PUSH1 0xff 00000d38: AND 00000d39: DUP2 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x00 00000d3e: PUSH1 0x03 00000d40: SLOAD 00000d41: SWAP1 00000d42: POP 00000d43: SWAP1 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x0a 00000d48: SLOAD 00000d49: DUP2 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: PUSH1 0x00 00000d4e: PUSH1 0x08 00000d50: PUSH1 0x00 00000d52: SWAP1 00000d53: SLOAD 00000d54: SWAP1 00000d55: PUSH2 0x0100 00000d58: EXP 00000d59: SWAP1 00000d5a: DIV 00000d5b: PUSH1 0xff 00000d5d: AND 00000d5e: ISZERO 00000d5f: ISZERO 00000d60: ISZERO 00000d61: PUSH2 0x0d69 00000d64: JUMPI 00000d65: PUSH1 0x00 00000d67: DUP1 00000d68: REVERT 00000d69: JUMPDEST 00000d6a: PUSH2 0x0d74 00000d6d: DUP5 00000d6e: DUP5 00000d6f: DUP5 00000d70: PUSH2 0x23a3 00000d73: JUMP 00000d74: JUMPDEST 00000d75: SWAP1 00000d76: POP 00000d77: SWAP4 00000d78: SWAP3 00000d79: POP 00000d7a: POP 00000d7b: POP 00000d7c: JUMP 00000d7d: JUMPDEST 00000d7e: PUSH1 0x0b 00000d80: PUSH1 0x00 00000d82: SWAP1 00000d83: SLOAD 00000d84: SWAP1 00000d85: PUSH2 0x0100 00000d88: EXP 00000d89: SWAP1 00000d8a: DIV 00000d8b: PUSH1 0xff 00000d8d: AND 00000d8e: DUP2 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH2 0x0d98 00000d94: PUSH2 0x17d6 00000d97: JUMP 00000d98: JUMPDEST 00000d99: ISZERO 00000d9a: ISZERO 00000d9b: PUSH2 0x0e0c 00000d9e: JUMPI 00000d9f: PUSH1 0x40 00000da1: MLOAD 00000da2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dc3: DUP2 00000dc4: MSTORE 00000dc5: PUSH1 0x04 00000dc7: ADD 00000dc8: DUP1 00000dc9: DUP1 00000dca: PUSH1 0x20 00000dcc: ADD 00000dcd: DUP3 00000dce: DUP2 00000dcf: SUB 00000dd0: DUP3 00000dd1: MSTORE 00000dd2: PUSH1 0x0d 00000dd4: DUP2 00000dd5: MSTORE 00000dd6: PUSH1 0x20 00000dd8: ADD 00000dd9: DUP1 00000dda: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00000dfb: DUP2 00000dfc: MSTORE 00000dfd: POP 00000dfe: PUSH1 0x20 00000e00: ADD 00000e01: SWAP2 00000e02: POP 00000e03: POP 00000e04: PUSH1 0x40 00000e06: MLOAD 00000e07: DUP1 00000e08: SWAP2 00000e09: SUB 00000e0a: SWAP1 00000e0b: REVERT 00000e0c: JUMPDEST 00000e0d: ADDRESS 00000e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e23: AND 00000e24: BALANCE 00000e25: DUP2 00000e26: GT 00000e27: ISZERO 00000e28: ISZERO 00000e29: ISZERO 00000e2a: PUSH2 0x0e32 00000e2d: JUMPI 00000e2e: PUSH1 0x00 00000e30: DUP1 00000e31: REVERT 00000e32: JUMPDEST 00000e33: PUSH2 0x0e3a 00000e36: PUSH2 0x16d6 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e50: AND 00000e51: PUSH2 0x08fc 00000e54: DUP3 00000e55: SWAP1 00000e56: DUP2 00000e57: ISZERO 00000e58: MUL 00000e59: SWAP1 00000e5a: PUSH1 0x40 00000e5c: MLOAD 00000e5d: PUSH1 0x00 00000e5f: PUSH1 0x40 00000e61: MLOAD 00000e62: DUP1 00000e63: DUP4 00000e64: SUB 00000e65: DUP2 00000e66: DUP6 00000e67: DUP9 00000e68: DUP9 00000e69: CALL 00000e6a: SWAP4 00000e6b: POP 00000e6c: POP 00000e6d: POP 00000e6e: POP 00000e6f: ISZERO 00000e70: DUP1 00000e71: ISZERO 00000e72: PUSH2 0x0e7f 00000e75: JUMPI 00000e76: RETURNDATASIZE 00000e77: PUSH1 0x00 00000e79: DUP1 00000e7a: RETURNDATACOPY 00000e7b: RETURNDATASIZE 00000e7c: PUSH1 0x00 00000e7e: REVERT 00000e7f: JUMPDEST 00000e80: POP 00000e81: POP 00000e82: JUMP 00000e83: JUMPDEST 00000e84: PUSH1 0x12 00000e86: PUSH1 0xff 00000e88: AND 00000e89: PUSH1 0x0a 00000e8b: EXP 00000e8c: PUSH5 0x02540be400 00000e92: MUL 00000e93: DUP2 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH1 0x00 00000e98: PUSH1 0x06 00000e9a: PUSH1 0x00 00000e9c: SWAP1 00000e9d: SLOAD 00000e9e: SWAP1 00000e9f: PUSH2 0x0100 00000ea2: EXP 00000ea3: SWAP1 00000ea4: DIV 00000ea5: PUSH1 0xff 00000ea7: AND 00000ea8: SWAP1 00000ea9: POP 00000eaa: SWAP1 00000eab: JUMP 00000eac: JUMPDEST 00000ead: PUSH1 0x06 00000eaf: PUSH1 0x00 00000eb1: SWAP1 00000eb2: SLOAD 00000eb3: SWAP1 00000eb4: PUSH2 0x0100 00000eb7: EXP 00000eb8: SWAP1 00000eb9: DIV 00000eba: PUSH1 0xff 00000ebc: AND 00000ebd: DUP2 00000ebe: JUMP 00000ebf: JUMPDEST 00000ec0: PUSH2 0x0ec7 00000ec3: PUSH2 0x17d6 00000ec6: JUMP 00000ec7: JUMPDEST 00000ec8: ISZERO 00000ec9: ISZERO 00000eca: PUSH2 0x0f3b 00000ecd: JUMPI 00000ece: PUSH1 0x40 00000ed0: MLOAD 00000ed1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ef2: DUP2 00000ef3: MSTORE 00000ef4: PUSH1 0x04 00000ef6: ADD 00000ef7: DUP1 00000ef8: DUP1 00000ef9: PUSH1 0x20 00000efb: ADD 00000efc: DUP3 00000efd: DUP2 00000efe: SUB 00000eff: DUP3 00000f00: MSTORE 00000f01: PUSH1 0x0d 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x20 00000f07: ADD 00000f08: DUP1 00000f09: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00000f2a: DUP2 00000f2b: MSTORE 00000f2c: POP 00000f2d: PUSH1 0x20 00000f2f: ADD 00000f30: SWAP2 00000f31: POP 00000f32: POP 00000f33: PUSH1 0x40 00000f35: MLOAD 00000f36: DUP1 00000f37: SWAP2 00000f38: SUB 00000f39: SWAP1 00000f3a: REVERT 00000f3b: JUMPDEST 00000f3c: PUSH1 0x08 00000f3e: PUSH1 0x00 00000f40: SWAP1 00000f41: SLOAD 00000f42: SWAP1 00000f43: PUSH2 0x0100 00000f46: EXP 00000f47: SWAP1 00000f48: DIV 00000f49: PUSH1 0xff 00000f4b: AND 00000f4c: ISZERO 00000f4d: ISZERO 00000f4e: PUSH2 0x0f56 00000f51: JUMPI 00000f52: PUSH1 0x00 00000f54: DUP1 00000f55: REVERT 00000f56: JUMPDEST 00000f57: PUSH1 0x00 00000f59: PUSH1 0x08 00000f5b: PUSH1 0x00 00000f5d: PUSH2 0x0100 00000f60: EXP 00000f61: DUP2 00000f62: SLOAD 00000f63: DUP2 00000f64: PUSH1 0xff 00000f66: MUL 00000f67: NOT 00000f68: AND 00000f69: SWAP1 00000f6a: DUP4 00000f6b: ISZERO 00000f6c: ISZERO 00000f6d: MUL 00000f6e: OR 00000f6f: SWAP1 00000f70: SSTORE 00000f71: POP 00000f72: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000f93: CALLER 00000f94: PUSH1 0x40 00000f96: MLOAD 00000f97: DUP1 00000f98: DUP3 00000f99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fae: AND 00000faf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc4: AND 00000fc5: DUP2 00000fc6: MSTORE 00000fc7: PUSH1 0x20 00000fc9: ADD 00000fca: SWAP2 00000fcb: POP 00000fcc: POP 00000fcd: PUSH1 0x40 00000fcf: MLOAD 00000fd0: DUP1 00000fd1: SWAP2 00000fd2: SUB 00000fd3: SWAP1 00000fd4: LOG1 00000fd5: JUMP 00000fd6: JUMPDEST 00000fd7: PUSH1 0x00 00000fd9: PUSH2 0x0fe0 00000fdc: PUSH2 0x17d6 00000fdf: JUMP 00000fe0: JUMPDEST 00000fe1: ISZERO 00000fe2: ISZERO 00000fe3: PUSH2 0x1054 00000fe6: JUMPI 00000fe7: PUSH1 0x40 00000fe9: MLOAD 00000fea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000100b: DUP2 0000100c: MSTORE 0000100d: PUSH1 0x04 0000100f: ADD 00001010: DUP1 00001011: DUP1 00001012: PUSH1 0x20 00001014: ADD 00001015: DUP3 00001016: DUP2 00001017: SUB 00001018: DUP3 00001019: MSTORE 0000101a: PUSH1 0x0d 0000101c: DUP2 0000101d: MSTORE 0000101e: PUSH1 0x20 00001020: ADD 00001021: DUP1 00001022: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00001043: DUP2 00001044: MSTORE 00001045: POP 00001046: PUSH1 0x20 00001048: ADD 00001049: SWAP2 0000104a: POP 0000104b: POP 0000104c: PUSH1 0x40 0000104e: MLOAD 0000104f: DUP1 00001050: SWAP2 00001051: SUB 00001052: SWAP1 00001053: REVERT 00001054: JUMPDEST 00001055: PUSH2 0x105e 00001058: DUP4 00001059: DUP4 0000105a: PUSH2 0x2454 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x01 00001061: SWAP1 00001062: POP 00001063: SWAP3 00001064: SWAP2 00001065: POP 00001066: POP 00001067: JUMP 00001068: JUMPDEST 00001069: PUSH2 0x1070 0000106c: PUSH2 0x17d6 0000106f: JUMP 00001070: JUMPDEST 00001071: ISZERO 00001072: ISZERO 00001073: PUSH2 0x10e4 00001076: JUMPI 00001077: PUSH1 0x40 00001079: MLOAD 0000107a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x04 0000109f: ADD 000010a0: DUP1 000010a1: DUP1 000010a2: PUSH1 0x20 000010a4: ADD 000010a5: DUP3 000010a6: DUP2 000010a7: SUB 000010a8: DUP3 000010a9: MSTORE 000010aa: PUSH1 0x0d 000010ac: DUP2 000010ad: MSTORE 000010ae: PUSH1 0x20 000010b0: ADD 000010b1: DUP1 000010b2: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 000010d3: DUP2 000010d4: MSTORE 000010d5: POP 000010d6: PUSH1 0x20 000010d8: ADD 000010d9: SWAP2 000010da: POP 000010db: POP 000010dc: PUSH1 0x40 000010de: MLOAD 000010df: DUP1 000010e0: SWAP2 000010e1: SUB 000010e2: SWAP1 000010e3: REVERT 000010e4: JUMPDEST 000010e5: PUSH2 0x10ee 000010e8: CALLER 000010e9: DUP3 000010ea: PUSH2 0x2611 000010ed: JUMP 000010ee: JUMPDEST 000010ef: POP 000010f0: JUMP 000010f1: JUMPDEST 000010f2: PUSH1 0x00 000010f4: PUSH2 0x1107 000010f7: DUP3 000010f8: PUSH1 0x07 000010fa: PUSH2 0x27ce 000010fd: SWAP1 000010fe: SWAP2 000010ff: SWAP1 00001100: PUSH4 0xffffffff 00001105: AND 00001106: JUMP 00001107: JUMPDEST 00001108: SWAP1 00001109: POP 0000110a: SWAP2 0000110b: SWAP1 0000110c: POP 0000110d: JUMP 0000110e: JUMPDEST 0000110f: PUSH2 0x1116 00001112: PUSH2 0x17d6 00001115: JUMP 00001116: JUMPDEST 00001117: ISZERO 00001118: ISZERO 00001119: PUSH2 0x118a 0000111c: JUMPI 0000111d: PUSH1 0x40 0000111f: MLOAD 00001120: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001141: DUP2 00001142: MSTORE 00001143: PUSH1 0x04 00001145: ADD 00001146: DUP1 00001147: DUP1 00001148: PUSH1 0x20 0000114a: ADD 0000114b: DUP3 0000114c: DUP2 0000114d: SUB 0000114e: DUP3 0000114f: MSTORE 00001150: PUSH1 0x0d 00001152: DUP2 00001153: MSTORE 00001154: PUSH1 0x20 00001156: ADD 00001157: DUP1 00001158: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00001179: DUP2 0000117a: MSTORE 0000117b: POP 0000117c: PUSH1 0x20 0000117e: ADD 0000117f: SWAP2 00001180: POP 00001181: POP 00001182: PUSH1 0x40 00001184: MLOAD 00001185: DUP1 00001186: SWAP2 00001187: SUB 00001188: SWAP1 00001189: REVERT 0000118a: JUMPDEST 0000118b: PUSH1 0x00 0000118d: PUSH1 0x0b 0000118f: PUSH1 0x00 00001191: PUSH2 0x0100 00001194: EXP 00001195: DUP2 00001196: SLOAD 00001197: DUP2 00001198: PUSH1 0xff 0000119a: MUL 0000119b: NOT 0000119c: AND 0000119d: SWAP1 0000119e: DUP4 0000119f: ISZERO 000011a0: ISZERO 000011a1: MUL 000011a2: OR 000011a3: SWAP1 000011a4: SSTORE 000011a5: POP 000011a6: PUSH32 0x1a26afc103797a41cda97337e6bccd6b52abf0b3ca40d8b88c3958d827ec2f97 000011c7: PUSH1 0x00 000011c9: PUSH1 0x40 000011cb: MLOAD 000011cc: DUP1 000011cd: DUP3 000011ce: ISZERO 000011cf: ISZERO 000011d0: ISZERO 000011d1: ISZERO 000011d2: DUP2 000011d3: MSTORE 000011d4: PUSH1 0x20 000011d6: ADD 000011d7: SWAP2 000011d8: POP 000011d9: POP 000011da: PUSH1 0x40 000011dc: MLOAD 000011dd: DUP1 000011de: SWAP2 000011df: SUB 000011e0: SWAP1 000011e1: LOG1 000011e2: JUMP 000011e3: JUMPDEST 000011e4: PUSH2 0x11eb 000011e7: PUSH2 0x17d6 000011ea: JUMP 000011eb: JUMPDEST 000011ec: ISZERO 000011ed: ISZERO 000011ee: PUSH2 0x125f 000011f1: JUMPI 000011f2: PUSH1 0x40 000011f4: MLOAD 000011f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001216: DUP2 00001217: MSTORE 00001218: PUSH1 0x04 0000121a: ADD 0000121b: DUP1 0000121c: DUP1 0000121d: PUSH1 0x20 0000121f: ADD 00001220: DUP3 00001221: DUP2 00001222: SUB 00001223: DUP3 00001224: MSTORE 00001225: PUSH1 0x0d 00001227: DUP2 00001228: MSTORE 00001229: PUSH1 0x20 0000122b: ADD 0000122c: DUP1 0000122d: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 0000124e: DUP2 0000124f: MSTORE 00001250: POP 00001251: PUSH1 0x20 00001253: ADD 00001254: SWAP2 00001255: POP 00001256: POP 00001257: PUSH1 0x40 00001259: MLOAD 0000125a: DUP1 0000125b: SWAP2 0000125c: SUB 0000125d: SWAP1 0000125e: REVERT 0000125f: JUMPDEST 00001260: PUSH1 0x00 00001262: DUP1 00001263: ADDRESS 00001264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001279: AND 0000127a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000128f: AND 00001290: DUP2 00001291: MSTORE 00001292: PUSH1 0x20 00001294: ADD 00001295: SWAP1 00001296: DUP2 00001297: MSTORE 00001298: PUSH1 0x20 0000129a: ADD 0000129b: PUSH1 0x00 0000129d: KECCAK256 0000129e: SLOAD 0000129f: DUP2 000012a0: GT 000012a1: ISZERO 000012a2: ISZERO 000012a3: ISZERO 000012a4: PUSH2 0x12ac 000012a7: JUMPI 000012a8: PUSH1 0x00 000012aa: DUP1 000012ab: REVERT 000012ac: JUMPDEST 000012ad: PUSH2 0x12be 000012b0: ADDRESS 000012b1: PUSH2 0x12b8 000012b4: PUSH2 0x16d6 000012b7: JUMP 000012b8: JUMPDEST 000012b9: DUP4 000012ba: PUSH2 0x2862 000012bd: JUMP 000012be: JUMPDEST 000012bf: POP 000012c0: JUMP 000012c1: JUMPDEST 000012c2: PUSH1 0x09 000012c4: SLOAD 000012c5: DUP2 000012c6: JUMP 000012c7: JUMPDEST 000012c8: PUSH1 0x00 000012ca: PUSH1 0x08 000012cc: PUSH1 0x00 000012ce: SWAP1 000012cf: SLOAD 000012d0: SWAP1 000012d1: PUSH2 0x0100 000012d4: EXP 000012d5: SWAP1 000012d6: DIV 000012d7: PUSH1 0xff 000012d9: AND 000012da: SWAP1 000012db: POP 000012dc: SWAP1 000012dd: JUMP 000012de: JUMPDEST 000012df: PUSH2 0x12e6 000012e2: PUSH2 0x17d6 000012e5: JUMP 000012e6: JUMPDEST 000012e7: ISZERO 000012e8: ISZERO 000012e9: PUSH2 0x135a 000012ec: JUMPI 000012ed: PUSH1 0x40 000012ef: MLOAD 000012f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001311: DUP2 00001312: MSTORE 00001313: PUSH1 0x04 00001315: ADD 00001316: DUP1 00001317: DUP1 00001318: PUSH1 0x20 0000131a: ADD 0000131b: DUP3 0000131c: DUP2 0000131d: SUB 0000131e: DUP3 0000131f: MSTORE 00001320: PUSH1 0x0d 00001322: DUP2 00001323: MSTORE 00001324: PUSH1 0x20 00001326: ADD 00001327: DUP1 00001328: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00001349: DUP2 0000134a: MSTORE 0000134b: POP 0000134c: PUSH1 0x20 0000134e: ADD 0000134f: SWAP2 00001350: POP 00001351: POP 00001352: PUSH1 0x40 00001354: MLOAD 00001355: DUP1 00001356: SWAP2 00001357: SUB 00001358: SWAP1 00001359: REVERT 0000135a: JUMPDEST 0000135b: PUSH1 0x01 0000135d: PUSH1 0x0b 0000135f: PUSH1 0x00 00001361: PUSH2 0x0100 00001364: EXP 00001365: DUP2 00001366: SLOAD 00001367: DUP2 00001368: PUSH1 0xff 0000136a: MUL 0000136b: NOT 0000136c: AND 0000136d: SWAP1 0000136e: DUP4 0000136f: ISZERO 00001370: ISZERO 00001371: MUL 00001372: OR 00001373: SWAP1 00001374: SSTORE 00001375: POP 00001376: PUSH32 0x1a26afc103797a41cda97337e6bccd6b52abf0b3ca40d8b88c3958d827ec2f97 00001397: PUSH1 0x01 00001399: PUSH1 0x40 0000139b: MLOAD 0000139c: DUP1 0000139d: DUP3 0000139e: ISZERO 0000139f: ISZERO 000013a0: ISZERO 000013a1: ISZERO 000013a2: DUP2 000013a3: MSTORE 000013a4: PUSH1 0x20 000013a6: ADD 000013a7: SWAP2 000013a8: POP 000013a9: POP 000013aa: PUSH1 0x40 000013ac: MLOAD 000013ad: DUP1 000013ae: SWAP2 000013af: SUB 000013b0: SWAP1 000013b1: LOG1 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x00 000013b6: PUSH1 0x20 000013b8: MSTORE 000013b9: DUP1 000013ba: PUSH1 0x00 000013bc: MSTORE 000013bd: PUSH1 0x40 000013bf: PUSH1 0x00 000013c1: KECCAK256 000013c2: PUSH1 0x00 000013c4: SWAP2 000013c5: POP 000013c6: SWAP1 000013c7: POP 000013c8: SLOAD 000013c9: DUP2 000013ca: JUMP 000013cb: JUMPDEST 000013cc: PUSH1 0x00 000013ce: DUP1 000013cf: PUSH1 0x00 000013d1: DUP4 000013d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e7: AND 000013e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fd: AND 000013fe: DUP2 000013ff: MSTORE 00001400: PUSH1 0x20 00001402: ADD 00001403: SWAP1 00001404: DUP2 00001405: MSTORE 00001406: PUSH1 0x20 00001408: ADD 00001409: PUSH1 0x00 0000140b: KECCAK256 0000140c: SLOAD 0000140d: SWAP1 0000140e: POP 0000140f: SWAP2 00001410: SWAP1 00001411: POP 00001412: JUMP 00001413: JUMPDEST 00001414: PUSH2 0x141b 00001417: PUSH2 0x17d6 0000141a: JUMP 0000141b: JUMPDEST 0000141c: ISZERO 0000141d: ISZERO 0000141e: PUSH2 0x148f 00001421: JUMPI 00001422: PUSH1 0x40 00001424: MLOAD 00001425: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001446: DUP2 00001447: MSTORE 00001448: PUSH1 0x04 0000144a: ADD 0000144b: DUP1 0000144c: DUP1 0000144d: PUSH1 0x20 0000144f: ADD 00001450: DUP3 00001451: DUP2 00001452: SUB 00001453: DUP3 00001454: MSTORE 00001455: PUSH1 0x0d 00001457: DUP2 00001458: MSTORE 00001459: PUSH1 0x20 0000145b: ADD 0000145c: DUP1 0000145d: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 0000147e: DUP2 0000147f: MSTORE 00001480: POP 00001481: PUSH1 0x20 00001483: ADD 00001484: SWAP2 00001485: POP 00001486: POP 00001487: PUSH1 0x40 00001489: MLOAD 0000148a: DUP1 0000148b: SWAP2 0000148c: SUB 0000148d: SWAP1 0000148e: REVERT 0000148f: JUMPDEST 00001490: PUSH1 0x00 00001492: PUSH1 0x0b 00001494: PUSH1 0x01 00001496: PUSH2 0x0100 00001499: EXP 0000149a: DUP2 0000149b: SLOAD 0000149c: DUP2 0000149d: PUSH1 0xff 0000149f: MUL 000014a0: NOT 000014a1: AND 000014a2: SWAP1 000014a3: DUP4 000014a4: ISZERO 000014a5: ISZERO 000014a6: MUL 000014a7: OR 000014a8: SWAP1 000014a9: SSTORE 000014aa: POP 000014ab: PUSH32 0x3b5b2c71f43810b5658cc67290694552f6e7aecd6bb56ae2f75661a2929401d6 000014cc: PUSH1 0x00 000014ce: PUSH1 0x40 000014d0: MLOAD 000014d1: DUP1 000014d2: DUP3 000014d3: ISZERO 000014d4: ISZERO 000014d5: ISZERO 000014d6: ISZERO 000014d7: DUP2 000014d8: MSTORE 000014d9: PUSH1 0x20 000014db: ADD 000014dc: SWAP2 000014dd: POP 000014de: POP 000014df: PUSH1 0x40 000014e1: MLOAD 000014e2: DUP1 000014e3: SWAP2 000014e4: SUB 000014e5: SWAP1 000014e6: LOG1 000014e7: JUMP 000014e8: JUMPDEST 000014e9: PUSH2 0x14f0 000014ec: PUSH2 0x17d6 000014ef: JUMP 000014f0: JUMPDEST 000014f1: ISZERO 000014f2: ISZERO 000014f3: PUSH2 0x1564 000014f6: JUMPI 000014f7: PUSH1 0x40 000014f9: MLOAD 000014fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000151b: DUP2 0000151c: MSTORE 0000151d: PUSH1 0x04 0000151f: ADD 00001520: DUP1 00001521: DUP1 00001522: PUSH1 0x20 00001524: ADD 00001525: DUP3 00001526: DUP2 00001527: SUB 00001528: DUP3 00001529: MSTORE 0000152a: PUSH1 0x0d 0000152c: DUP2 0000152d: MSTORE 0000152e: PUSH1 0x20 00001530: ADD 00001531: DUP1 00001532: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00001553: DUP2 00001554: MSTORE 00001555: POP 00001556: PUSH1 0x20 00001558: ADD 00001559: SWAP2 0000155a: POP 0000155b: POP 0000155c: PUSH1 0x40 0000155e: MLOAD 0000155f: DUP1 00001560: SWAP2 00001561: SUB 00001562: SWAP1 00001563: REVERT 00001564: JUMPDEST 00001565: PUSH1 0x08 00001567: PUSH1 0x00 00001569: SWAP1 0000156a: SLOAD 0000156b: SWAP1 0000156c: PUSH2 0x0100 0000156f: EXP 00001570: SWAP1 00001571: DIV 00001572: PUSH1 0xff 00001574: AND 00001575: ISZERO 00001576: ISZERO 00001577: ISZERO 00001578: PUSH2 0x1580 0000157b: JUMPI 0000157c: PUSH1 0x00 0000157e: DUP1 0000157f: REVERT 00001580: JUMPDEST 00001581: PUSH1 0x01 00001583: PUSH1 0x08 00001585: PUSH1 0x00 00001587: PUSH2 0x0100 0000158a: EXP 0000158b: DUP2 0000158c: SLOAD 0000158d: DUP2 0000158e: PUSH1 0xff 00001590: MUL 00001591: NOT 00001592: AND 00001593: SWAP1 00001594: DUP4 00001595: ISZERO 00001596: ISZERO 00001597: MUL 00001598: OR 00001599: SWAP1 0000159a: SSTORE 0000159b: POP 0000159c: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000015bd: CALLER 000015be: PUSH1 0x40 000015c0: MLOAD 000015c1: DUP1 000015c2: DUP3 000015c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d8: AND 000015d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ee: AND 000015ef: DUP2 000015f0: MSTORE 000015f1: PUSH1 0x20 000015f3: ADD 000015f4: SWAP2 000015f5: POP 000015f6: POP 000015f7: PUSH1 0x40 000015f9: MLOAD 000015fa: DUP1 000015fb: SWAP2 000015fc: SUB 000015fd: SWAP1 000015fe: LOG1 000015ff: JUMP 00001600: JUMPDEST 00001601: PUSH2 0x1608 00001604: PUSH2 0x17d6 00001607: JUMP 00001608: JUMPDEST 00001609: ISZERO 0000160a: ISZERO 0000160b: PUSH2 0x167c 0000160e: JUMPI 0000160f: PUSH1 0x40 00001611: MLOAD 00001612: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001633: DUP2 00001634: MSTORE 00001635: PUSH1 0x04 00001637: ADD 00001638: DUP1 00001639: DUP1 0000163a: PUSH1 0x20 0000163c: ADD 0000163d: DUP3 0000163e: DUP2 0000163f: SUB 00001640: DUP3 00001641: MSTORE 00001642: PUSH1 0x0d 00001644: DUP2 00001645: MSTORE 00001646: PUSH1 0x20 00001648: ADD 00001649: DUP1 0000164a: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 0000166b: DUP2 0000166c: MSTORE 0000166d: POP 0000166e: PUSH1 0x20 00001670: ADD 00001671: SWAP2 00001672: POP 00001673: POP 00001674: PUSH1 0x40 00001676: MLOAD 00001677: DUP1 00001678: SWAP2 00001679: SUB 0000167a: SWAP1 0000167b: REVERT 0000167c: JUMPDEST 0000167d: PUSH1 0x00 0000167f: DUP2 00001680: GT 00001681: ISZERO 00001682: ISZERO 00001683: PUSH2 0x168b 00001686: JUMPI 00001687: PUSH1 0x00 00001689: DUP1 0000168a: REVERT 0000168b: JUMPDEST 0000168c: PUSH32 0xcfa7074b22c98fb9291e698be8caae9fd3391198b3dd068fbe42c6da6b9c9bf5 000016ad: PUSH1 0x09 000016af: SLOAD 000016b0: DUP3 000016b1: PUSH1 0x40 000016b3: MLOAD 000016b4: DUP1 000016b5: DUP4 000016b6: DUP2 000016b7: MSTORE 000016b8: PUSH1 0x20 000016ba: ADD 000016bb: DUP3 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x20 000016c0: ADD 000016c1: SWAP3 000016c2: POP 000016c3: POP 000016c4: POP 000016c5: PUSH1 0x40 000016c7: MLOAD 000016c8: DUP1 000016c9: SWAP2 000016ca: SUB 000016cb: SWAP1 000016cc: LOG1 000016cd: DUP1 000016ce: PUSH1 0x09 000016d0: DUP2 000016d1: SWAP1 000016d2: SSTORE 000016d3: POP 000016d4: POP 000016d5: JUMP 000016d6: JUMPDEST 000016d7: PUSH1 0x00 000016d9: PUSH1 0x06 000016db: PUSH1 0x01 000016dd: SWAP1 000016de: SLOAD 000016df: SWAP1 000016e0: PUSH2 0x0100 000016e3: EXP 000016e4: SWAP1 000016e5: DIV 000016e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fb: AND 000016fc: SWAP1 000016fd: POP 000016fe: SWAP1 000016ff: JUMP 00001700: JUMPDEST 00001701: PUSH2 0x1708 00001704: PUSH2 0x17d6 00001707: JUMP 00001708: JUMPDEST 00001709: ISZERO 0000170a: ISZERO 0000170b: PUSH2 0x177c 0000170e: JUMPI 0000170f: PUSH1 0x40 00001711: MLOAD 00001712: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001733: DUP2 00001734: MSTORE 00001735: PUSH1 0x04 00001737: ADD 00001738: DUP1 00001739: DUP1 0000173a: PUSH1 0x20 0000173c: ADD 0000173d: DUP3 0000173e: DUP2 0000173f: SUB 00001740: DUP3 00001741: MSTORE 00001742: PUSH1 0x0d 00001744: DUP2 00001745: MSTORE 00001746: PUSH1 0x20 00001748: ADD 00001749: DUP1 0000174a: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 0000176b: DUP2 0000176c: MSTORE 0000176d: POP 0000176e: PUSH1 0x20 00001770: ADD 00001771: SWAP2 00001772: POP 00001773: POP 00001774: PUSH1 0x40 00001776: MLOAD 00001777: DUP1 00001778: SWAP2 00001779: SUB 0000177a: SWAP1 0000177b: REVERT 0000177c: JUMPDEST 0000177d: PUSH1 0x00 0000177f: DUP2 00001780: GT 00001781: ISZERO 00001782: ISZERO 00001783: PUSH2 0x178b 00001786: JUMPI 00001787: PUSH1 0x00 00001789: DUP1 0000178a: REVERT 0000178b: JUMPDEST 0000178c: PUSH32 0xfa46b8b4ccaecf1d18401d52f6693d32659468c8553f904bf40cbcfd416ac0f6 000017ad: PUSH1 0x0a 000017af: SLOAD 000017b0: DUP3 000017b1: PUSH1 0x40 000017b3: MLOAD 000017b4: DUP1 000017b5: DUP4 000017b6: DUP2 000017b7: MSTORE 000017b8: PUSH1 0x20 000017ba: ADD 000017bb: DUP3 000017bc: DUP2 000017bd: MSTORE 000017be: PUSH1 0x20 000017c0: ADD 000017c1: SWAP3 000017c2: POP 000017c3: POP 000017c4: POP 000017c5: PUSH1 0x40 000017c7: MLOAD 000017c8: DUP1 000017c9: SWAP2 000017ca: SUB 000017cb: SWAP1 000017cc: LOG1 000017cd: DUP1 000017ce: PUSH1 0x0a 000017d0: DUP2 000017d1: SWAP1 000017d2: SSTORE 000017d3: POP 000017d4: POP 000017d5: JUMP 000017d6: JUMPDEST 000017d7: PUSH1 0x00 000017d9: PUSH1 0x06 000017db: PUSH1 0x01 000017dd: SWAP1 000017de: SLOAD 000017df: SWAP1 000017e0: PUSH2 0x0100 000017e3: EXP 000017e4: SWAP1 000017e5: DIV 000017e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017fb: AND 000017fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001811: AND 00001812: CALLER 00001813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001828: AND 00001829: EQ 0000182a: SWAP1 0000182b: POP 0000182c: SWAP1 0000182d: JUMP 0000182e: JUMPDEST 0000182f: PUSH2 0x1836 00001832: PUSH2 0x17d6 00001835: JUMP 00001836: JUMPDEST 00001837: ISZERO 00001838: ISZERO 00001839: PUSH2 0x18aa 0000183c: JUMPI 0000183d: PUSH1 0x40 0000183f: MLOAD 00001840: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001861: DUP2 00001862: MSTORE 00001863: PUSH1 0x04 00001865: ADD 00001866: DUP1 00001867: DUP1 00001868: PUSH1 0x20 0000186a: ADD 0000186b: DUP3 0000186c: DUP2 0000186d: SUB 0000186e: DUP3 0000186f: MSTORE 00001870: PUSH1 0x0d 00001872: DUP2 00001873: MSTORE 00001874: PUSH1 0x20 00001876: ADD 00001877: DUP1 00001878: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00001899: DUP2 0000189a: MSTORE 0000189b: POP 0000189c: PUSH1 0x20 0000189e: ADD 0000189f: SWAP2 000018a0: POP 000018a1: POP 000018a2: PUSH1 0x40 000018a4: MLOAD 000018a5: DUP1 000018a6: SWAP2 000018a7: SUB 000018a8: SWAP1 000018a9: REVERT 000018aa: JUMPDEST 000018ab: PUSH1 0x01 000018ad: PUSH1 0x0b 000018af: PUSH1 0x01 000018b1: PUSH2 0x0100 000018b4: EXP 000018b5: DUP2 000018b6: SLOAD 000018b7: DUP2 000018b8: PUSH1 0xff 000018ba: MUL 000018bb: NOT 000018bc: AND 000018bd: SWAP1 000018be: DUP4 000018bf: ISZERO 000018c0: ISZERO 000018c1: MUL 000018c2: OR 000018c3: SWAP1 000018c4: SSTORE 000018c5: POP 000018c6: PUSH32 0x3b5b2c71f43810b5658cc67290694552f6e7aecd6bb56ae2f75661a2929401d6 000018e7: PUSH1 0x01 000018e9: PUSH1 0x40 000018eb: MLOAD 000018ec: DUP1 000018ed: DUP3 000018ee: ISZERO 000018ef: ISZERO 000018f0: ISZERO 000018f1: ISZERO 000018f2: DUP2 000018f3: MSTORE 000018f4: PUSH1 0x20 000018f6: ADD 000018f7: SWAP2 000018f8: POP 000018f9: POP 000018fa: PUSH1 0x40 000018fc: MLOAD 000018fd: DUP1 000018fe: SWAP2 000018ff: SUB 00001900: SWAP1 00001901: LOG1 00001902: JUMP 00001903: JUMPDEST 00001904: PUSH1 0x60 00001906: PUSH1 0x05 00001908: DUP1 00001909: SLOAD 0000190a: PUSH1 0x01 0000190c: DUP2 0000190d: PUSH1 0x01 0000190f: AND 00001910: ISZERO 00001911: PUSH2 0x0100 00001914: MUL 00001915: SUB 00001916: AND 00001917: PUSH1 0x02 00001919: SWAP1 0000191a: DIV 0000191b: DUP1 0000191c: PUSH1 0x1f 0000191e: ADD 0000191f: PUSH1 0x20 00001921: DUP1 00001922: SWAP2 00001923: DIV 00001924: MUL 00001925: PUSH1 0x20 00001927: ADD 00001928: PUSH1 0x40 0000192a: MLOAD 0000192b: SWAP1 0000192c: DUP2 0000192d: ADD 0000192e: PUSH1 0x40 00001930: MSTORE 00001931: DUP1 00001932: SWAP3 00001933: SWAP2 00001934: SWAP1 00001935: DUP2 00001936: DUP2 00001937: MSTORE 00001938: PUSH1 0x20 0000193a: ADD 0000193b: DUP3 0000193c: DUP1 0000193d: SLOAD 0000193e: PUSH1 0x01 00001940: DUP2 00001941: PUSH1 0x01 00001943: AND 00001944: ISZERO 00001945: PUSH2 0x0100 00001948: MUL 00001949: SUB 0000194a: AND 0000194b: PUSH1 0x02 0000194d: SWAP1 0000194e: DIV 0000194f: DUP1 00001950: ISZERO 00001951: PUSH2 0x199b 00001954: JUMPI 00001955: DUP1 00001956: PUSH1 0x1f 00001958: LT 00001959: PUSH2 0x1970 0000195c: JUMPI 0000195d: PUSH2 0x0100 00001960: DUP1 00001961: DUP4 00001962: SLOAD 00001963: DIV 00001964: MUL 00001965: DUP4 00001966: MSTORE 00001967: SWAP2 00001968: PUSH1 0x20 0000196a: ADD 0000196b: SWAP2 0000196c: PUSH2 0x199b 0000196f: JUMP 00001970: JUMPDEST 00001971: DUP3 00001972: ADD 00001973: SWAP2 00001974: SWAP1 00001975: PUSH1 0x00 00001977: MSTORE 00001978: PUSH1 0x20 0000197a: PUSH1 0x00 0000197c: KECCAK256 0000197d: SWAP1 0000197e: JUMPDEST 0000197f: DUP2 00001980: SLOAD 00001981: DUP2 00001982: MSTORE 00001983: SWAP1 00001984: PUSH1 0x01 00001986: ADD 00001987: SWAP1 00001988: PUSH1 0x20 0000198a: ADD 0000198b: DUP1 0000198c: DUP4 0000198d: GT 0000198e: PUSH2 0x197e 00001991: JUMPI 00001992: DUP3 00001993: SWAP1 00001994: SUB 00001995: PUSH1 0x1f 00001997: AND 00001998: DUP3 00001999: ADD 0000199a: SWAP2 0000199b: JUMPDEST 0000199c: POP 0000199d: POP 0000199e: POP 0000199f: POP 000019a0: POP 000019a1: SWAP1 000019a2: POP 000019a3: SWAP1 000019a4: JUMP 000019a5: JUMPDEST 000019a6: PUSH1 0x00 000019a8: DUP1 000019a9: CALLVALUE 000019aa: GT 000019ab: ISZERO 000019ac: ISZERO 000019ad: PUSH2 0x1a1e 000019b0: JUMPI 000019b1: PUSH1 0x40 000019b3: MLOAD 000019b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019d5: DUP2 000019d6: MSTORE 000019d7: PUSH1 0x04 000019d9: ADD 000019da: DUP1 000019db: DUP1 000019dc: PUSH1 0x20 000019de: ADD 000019df: DUP3 000019e0: DUP2 000019e1: SUB 000019e2: DUP3 000019e3: MSTORE 000019e4: PUSH1 0x13 000019e6: DUP2 000019e7: MSTORE 000019e8: PUSH1 0x20 000019ea: ADD 000019eb: DUP1 000019ec: PUSH32 0x4976616c696420457468657220616d6f756e7400000000000000000000000000 00001a0d: DUP2 00001a0e: MSTORE 00001a0f: POP 00001a10: PUSH1 0x20 00001a12: ADD 00001a13: SWAP2 00001a14: POP 00001a15: POP 00001a16: PUSH1 0x40 00001a18: MLOAD 00001a19: DUP1 00001a1a: SWAP2 00001a1b: SUB 00001a1c: SWAP1 00001a1d: REVERT 00001a1e: JUMPDEST 00001a1f: PUSH1 0x02 00001a21: PUSH1 0x00 00001a23: CALLER 00001a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a39: AND 00001a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a4f: AND 00001a50: DUP2 00001a51: MSTORE 00001a52: PUSH1 0x20 00001a54: ADD 00001a55: SWAP1 00001a56: DUP2 00001a57: MSTORE 00001a58: PUSH1 0x20 00001a5a: ADD 00001a5b: PUSH1 0x00 00001a5d: KECCAK256 00001a5e: PUSH1 0x00 00001a60: SWAP1 00001a61: SLOAD 00001a62: SWAP1 00001a63: PUSH2 0x0100 00001a66: EXP 00001a67: SWAP1 00001a68: DIV 00001a69: PUSH1 0xff 00001a6b: AND 00001a6c: ISZERO 00001a6d: ISZERO 00001a6e: ISZERO 00001a6f: PUSH2 0x1ae0 00001a72: JUMPI 00001a73: PUSH1 0x40 00001a75: MLOAD 00001a76: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a97: DUP2 00001a98: MSTORE 00001a99: PUSH1 0x04 00001a9b: ADD 00001a9c: DUP1 00001a9d: DUP1 00001a9e: PUSH1 0x20 00001aa0: ADD 00001aa1: DUP3 00001aa2: DUP2 00001aa3: SUB 00001aa4: DUP3 00001aa5: MSTORE 00001aa6: PUSH1 0x10 00001aa8: DUP2 00001aa9: MSTORE 00001aaa: PUSH1 0x20 00001aac: ADD 00001aad: DUP1 00001aae: PUSH32 0x4163636f75742069732066726f7a656e00000000000000000000000000000000 00001acf: DUP2 00001ad0: MSTORE 00001ad1: POP 00001ad2: PUSH1 0x20 00001ad4: ADD 00001ad5: SWAP2 00001ad6: POP 00001ad7: POP 00001ad8: PUSH1 0x40 00001ada: MLOAD 00001adb: DUP1 00001adc: SWAP2 00001add: SUB 00001ade: SWAP1 00001adf: REVERT 00001ae0: JUMPDEST 00001ae1: PUSH1 0x0b 00001ae3: PUSH1 0x01 00001ae5: SWAP1 00001ae6: SLOAD 00001ae7: SWAP1 00001ae8: PUSH2 0x0100 00001aeb: EXP 00001aec: SWAP1 00001aed: DIV 00001aee: PUSH1 0xff 00001af0: AND 00001af1: ISZERO 00001af2: ISZERO 00001af3: PUSH2 0x1b64 00001af6: JUMPI 00001af7: PUSH1 0x40 00001af9: MLOAD 00001afa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b1b: DUP2 00001b1c: MSTORE 00001b1d: PUSH1 0x04 00001b1f: ADD 00001b20: DUP1 00001b21: DUP1 00001b22: PUSH1 0x20 00001b24: ADD 00001b25: DUP3 00001b26: DUP2 00001b27: SUB 00001b28: DUP3 00001b29: MSTORE 00001b2a: PUSH1 0x18 00001b2c: DUP2 00001b2d: MSTORE 00001b2e: PUSH1 0x20 00001b30: ADD 00001b31: DUP1 00001b32: PUSH32 0x42757920546f6b656e206973206e6f7420616c6c6f7765640000000000000000 00001b53: DUP2 00001b54: MSTORE 00001b55: POP 00001b56: PUSH1 0x20 00001b58: ADD 00001b59: SWAP2 00001b5a: POP 00001b5b: POP 00001b5c: PUSH1 0x40 00001b5e: MLOAD 00001b5f: DUP1 00001b60: SWAP2 00001b61: SUB 00001b62: SWAP1 00001b63: REVERT 00001b64: JUMPDEST 00001b65: PUSH2 0x1bb2 00001b68: PUSH8 0x0de0b6b3a7640000 00001b71: PUSH2 0x1ba4 00001b74: PUSH2 0x1b7b 00001b77: PUSH2 0x0e95 00001b7a: JUMP 00001b7b: JUMPDEST 00001b7c: PUSH1 0xff 00001b7e: AND 00001b7f: PUSH1 0x0a 00001b81: EXP 00001b82: PUSH2 0x1b96 00001b85: PUSH1 0x09 00001b87: SLOAD 00001b88: CALLVALUE 00001b89: PUSH2 0x2c1b 00001b8c: SWAP1 00001b8d: SWAP2 00001b8e: SWAP1 00001b8f: PUSH4 0xffffffff 00001b94: AND 00001b95: JUMP 00001b96: JUMPDEST 00001b97: PUSH2 0x2c1b 00001b9a: SWAP1 00001b9b: SWAP2 00001b9c: SWAP1 00001b9d: PUSH4 0xffffffff 00001ba2: AND 00001ba3: JUMP 00001ba4: JUMPDEST 00001ba5: PUSH2 0x2c59 00001ba8: SWAP1 00001ba9: SWAP2 00001baa: SWAP1 00001bab: PUSH4 0xffffffff 00001bb0: AND 00001bb1: JUMP 00001bb2: JUMPDEST 00001bb3: SWAP1 00001bb4: POP 00001bb5: PUSH2 0x1c05 00001bb8: DUP2 00001bb9: PUSH1 0x00 00001bbb: DUP1 00001bbc: ADDRESS 00001bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bd2: AND 00001bd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001be8: AND 00001be9: DUP2 00001bea: MSTORE 00001beb: PUSH1 0x20 00001bed: ADD 00001bee: SWAP1 00001bef: DUP2 00001bf0: MSTORE 00001bf1: PUSH1 0x20 00001bf3: ADD 00001bf4: PUSH1 0x00 00001bf6: KECCAK256 00001bf7: SLOAD 00001bf8: PUSH2 0x2c83 00001bfb: SWAP1 00001bfc: SWAP2 00001bfd: SWAP1 00001bfe: PUSH4 0xffffffff 00001c03: AND 00001c04: JUMP 00001c05: JUMPDEST 00001c06: PUSH1 0x00 00001c08: DUP1 00001c09: ADDRESS 00001c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c1f: AND 00001c20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c35: AND 00001c36: DUP2 00001c37: MSTORE 00001c38: PUSH1 0x20 00001c3a: ADD 00001c3b: SWAP1 00001c3c: DUP2 00001c3d: MSTORE 00001c3e: PUSH1 0x20 00001c40: ADD 00001c41: PUSH1 0x00 00001c43: KECCAK256 00001c44: DUP2 00001c45: SWAP1 00001c46: SSTORE 00001c47: POP 00001c48: PUSH2 0x1c98 00001c4b: DUP2 00001c4c: PUSH1 0x00 00001c4e: DUP1 00001c4f: CALLER 00001c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c65: AND 00001c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7b: AND 00001c7c: DUP2 00001c7d: MSTORE 00001c7e: PUSH1 0x20 00001c80: ADD 00001c81: SWAP1 00001c82: DUP2 00001c83: MSTORE 00001c84: PUSH1 0x20 00001c86: ADD 00001c87: PUSH1 0x00 00001c89: KECCAK256 00001c8a: SLOAD 00001c8b: PUSH2 0x2ca5 00001c8e: SWAP1 00001c8f: SWAP2 00001c90: SWAP1 00001c91: PUSH4 0xffffffff 00001c96: AND 00001c97: JUMP 00001c98: JUMPDEST 00001c99: PUSH1 0x00 00001c9b: DUP1 00001c9c: CALLER 00001c9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cb2: AND 00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc8: AND 00001cc9: DUP2 00001cca: MSTORE 00001ccb: PUSH1 0x20 00001ccd: ADD 00001cce: SWAP1 00001ccf: DUP2 00001cd0: MSTORE 00001cd1: PUSH1 0x20 00001cd3: ADD 00001cd4: PUSH1 0x00 00001cd6: KECCAK256 00001cd7: DUP2 00001cd8: SWAP1 00001cd9: SSTORE 00001cda: POP 00001cdb: CALLER 00001cdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cf1: AND 00001cf2: ADDRESS 00001cf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d08: AND 00001d09: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001d2a: DUP4 00001d2b: PUSH1 0x40 00001d2d: MLOAD 00001d2e: DUP1 00001d2f: DUP3 00001d30: DUP2 00001d31: MSTORE 00001d32: PUSH1 0x20 00001d34: ADD 00001d35: SWAP2 00001d36: POP 00001d37: POP 00001d38: PUSH1 0x40 00001d3a: MLOAD 00001d3b: DUP1 00001d3c: SWAP2 00001d3d: SUB 00001d3e: SWAP1 00001d3f: LOG3 00001d40: DUP1 00001d41: SWAP1 00001d42: POP 00001d43: SWAP1 00001d44: JUMP 00001d45: JUMPDEST 00001d46: PUSH1 0x00 00001d48: PUSH1 0x08 00001d4a: PUSH1 0x00 00001d4c: SWAP1 00001d4d: SLOAD 00001d4e: SWAP1 00001d4f: PUSH2 0x0100 00001d52: EXP 00001d53: SWAP1 00001d54: DIV 00001d55: PUSH1 0xff 00001d57: AND 00001d58: ISZERO 00001d59: ISZERO 00001d5a: ISZERO 00001d5b: PUSH2 0x1d63 00001d5e: JUMPI 00001d5f: PUSH1 0x00 00001d61: DUP1 00001d62: REVERT 00001d63: JUMPDEST 00001d64: PUSH2 0x1d6d 00001d67: DUP4 00001d68: DUP4 00001d69: PUSH2 0x2cc6 00001d6c: JUMP 00001d6d: JUMPDEST 00001d6e: SWAP1 00001d6f: POP 00001d70: SWAP3 00001d71: SWAP2 00001d72: POP 00001d73: POP 00001d74: JUMP 00001d75: JUMPDEST 00001d76: PUSH1 0x02 00001d78: PUSH1 0x20 00001d7a: MSTORE 00001d7b: DUP1 00001d7c: PUSH1 0x00 00001d7e: MSTORE 00001d7f: PUSH1 0x40 00001d81: PUSH1 0x00 00001d83: KECCAK256 00001d84: PUSH1 0x00 00001d86: SWAP2 00001d87: POP 00001d88: SLOAD 00001d89: SWAP1 00001d8a: PUSH2 0x0100 00001d8d: EXP 00001d8e: SWAP1 00001d8f: DIV 00001d90: PUSH1 0xff 00001d92: AND 00001d93: DUP2 00001d94: JUMP 00001d95: JUMPDEST 00001d96: PUSH1 0x00 00001d98: PUSH1 0x01 00001d9a: PUSH1 0x00 00001d9c: DUP5 00001d9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001db2: AND 00001db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc8: AND 00001dc9: DUP2 00001dca: MSTORE 00001dcb: PUSH1 0x20 00001dcd: ADD 00001dce: SWAP1 00001dcf: DUP2 00001dd0: MSTORE 00001dd1: PUSH1 0x20 00001dd3: ADD 00001dd4: PUSH1 0x00 00001dd6: KECCAK256 00001dd7: PUSH1 0x00 00001dd9: DUP4 00001dda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001def: AND 00001df0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e05: AND 00001e06: DUP2 00001e07: MSTORE 00001e08: PUSH1 0x20 00001e0a: ADD 00001e0b: SWAP1 00001e0c: DUP2 00001e0d: MSTORE 00001e0e: PUSH1 0x20 00001e10: ADD 00001e11: PUSH1 0x00 00001e13: KECCAK256 00001e14: SLOAD 00001e15: SWAP1 00001e16: POP 00001e17: SWAP3 00001e18: SWAP2 00001e19: POP 00001e1a: POP 00001e1b: JUMP 00001e1c: JUMPDEST 00001e1d: PUSH1 0x00 00001e1f: DUP2 00001e20: PUSH1 0x00 00001e22: DUP1 00001e23: CALLER 00001e24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e39: AND 00001e3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e4f: AND 00001e50: DUP2 00001e51: MSTORE 00001e52: PUSH1 0x20 00001e54: ADD 00001e55: SWAP1 00001e56: DUP2 00001e57: MSTORE 00001e58: PUSH1 0x20 00001e5a: ADD 00001e5b: PUSH1 0x00 00001e5d: KECCAK256 00001e5e: SLOAD 00001e5f: LT 00001e60: ISZERO 00001e61: ISZERO 00001e62: ISZERO 00001e63: PUSH2 0x1eb7 00001e66: JUMPI 00001e67: PUSH1 0x40 00001e69: MLOAD 00001e6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e8b: DUP2 00001e8c: MSTORE 00001e8d: PUSH1 0x04 00001e8f: ADD 00001e90: DUP1 00001e91: DUP1 00001e92: PUSH1 0x20 00001e94: ADD 00001e95: DUP3 00001e96: DUP2 00001e97: SUB 00001e98: DUP3 00001e99: MSTORE 00001e9a: PUSH1 0x27 00001e9c: DUP2 00001e9d: MSTORE 00001e9e: PUSH1 0x20 00001ea0: ADD 00001ea1: DUP1 00001ea2: PUSH2 0x2fed 00001ea5: PUSH1 0x27 00001ea7: SWAP2 00001ea8: CODECOPY 00001ea9: PUSH1 0x40 00001eab: ADD 00001eac: SWAP2 00001ead: POP 00001eae: POP 00001eaf: PUSH1 0x40 00001eb1: MLOAD 00001eb2: DUP1 00001eb3: SWAP2 00001eb4: SUB 00001eb5: SWAP1 00001eb6: REVERT 00001eb7: JUMPDEST 00001eb8: PUSH1 0x02 00001eba: PUSH1 0x00 00001ebc: CALLER 00001ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ed2: AND 00001ed3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ee8: AND 00001ee9: DUP2 00001eea: MSTORE 00001eeb: PUSH1 0x20 00001eed: ADD 00001eee: SWAP1 00001eef: DUP2 00001ef0: MSTORE 00001ef1: PUSH1 0x20 00001ef3: ADD 00001ef4: PUSH1 0x00 00001ef6: KECCAK256 00001ef7: PUSH1 0x00 00001ef9: SWAP1 00001efa: SLOAD 00001efb: SWAP1 00001efc: PUSH2 0x0100 00001eff: EXP 00001f00: SWAP1 00001f01: DIV 00001f02: PUSH1 0xff 00001f04: AND 00001f05: ISZERO 00001f06: ISZERO 00001f07: ISZERO 00001f08: PUSH2 0x1f79 00001f0b: JUMPI 00001f0c: PUSH1 0x40 00001f0e: MLOAD 00001f0f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f30: DUP2 00001f31: MSTORE 00001f32: PUSH1 0x04 00001f34: ADD 00001f35: DUP1 00001f36: DUP1 00001f37: PUSH1 0x20 00001f39: ADD 00001f3a: DUP3 00001f3b: DUP2 00001f3c: SUB 00001f3d: DUP3 00001f3e: MSTORE 00001f3f: PUSH1 0x19 00001f41: DUP2 00001f42: MSTORE 00001f43: PUSH1 0x20 00001f45: ADD 00001f46: DUP1 00001f47: PUSH32 0x436865636b2069662073656e6465722069732066726f7a656e00000000000000 00001f68: DUP2 00001f69: MSTORE 00001f6a: POP 00001f6b: PUSH1 0x20 00001f6d: ADD 00001f6e: SWAP2 00001f6f: POP 00001f70: POP 00001f71: PUSH1 0x40 00001f73: MLOAD 00001f74: DUP1 00001f75: SWAP2 00001f76: SUB 00001f77: SWAP1 00001f78: REVERT 00001f79: JUMPDEST 00001f7a: PUSH1 0x0b 00001f7c: PUSH1 0x00 00001f7e: SWAP1 00001f7f: SLOAD 00001f80: SWAP1 00001f81: PUSH2 0x0100 00001f84: EXP 00001f85: SWAP1 00001f86: DIV 00001f87: PUSH1 0xff 00001f89: AND 00001f8a: ISZERO 00001f8b: ISZERO 00001f8c: PUSH2 0x1f94 00001f8f: JUMPI 00001f90: PUSH1 0x00 00001f92: DUP1 00001f93: REVERT 00001f94: JUMPDEST 00001f95: PUSH2 0x1fe5 00001f98: DUP3 00001f99: PUSH1 0x00 00001f9b: DUP1 00001f9c: ADDRESS 00001f9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fb2: AND 00001fb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc8: AND 00001fc9: DUP2 00001fca: MSTORE 00001fcb: PUSH1 0x20 00001fcd: ADD 00001fce: SWAP1 00001fcf: DUP2 00001fd0: MSTORE 00001fd1: PUSH1 0x20 00001fd3: ADD 00001fd4: PUSH1 0x00 00001fd6: KECCAK256 00001fd7: SLOAD 00001fd8: PUSH2 0x2ca5 00001fdb: SWAP1 00001fdc: SWAP2 00001fdd: SWAP1 00001fde: PUSH4 0xffffffff 00001fe3: AND 00001fe4: JUMP 00001fe5: JUMPDEST 00001fe6: PUSH1 0x00 00001fe8: DUP1 00001fe9: ADDRESS 00001fea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fff: AND 00002000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002015: AND 00002016: DUP2 00002017: MSTORE 00002018: PUSH1 0x20 0000201a: ADD 0000201b: SWAP1 0000201c: DUP2 0000201d: MSTORE 0000201e: PUSH1 0x20 00002020: ADD 00002021: PUSH1 0x00 00002023: KECCAK256 00002024: DUP2 00002025: SWAP1 00002026: SSTORE 00002027: POP 00002028: PUSH2 0x2078 0000202b: DUP3 0000202c: PUSH1 0x00 0000202e: DUP1 0000202f: CALLER 00002030: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002045: AND 00002046: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000205b: AND 0000205c: DUP2 0000205d: MSTORE 0000205e: PUSH1 0x20 00002060: ADD 00002061: SWAP1 00002062: DUP2 00002063: MSTORE 00002064: PUSH1 0x20 00002066: ADD 00002067: PUSH1 0x00 00002069: KECCAK256 0000206a: SLOAD 0000206b: PUSH2 0x2c83 0000206e: SWAP1 0000206f: SWAP2 00002070: SWAP1 00002071: PUSH4 0xffffffff 00002076: AND 00002077: JUMP 00002078: JUMPDEST 00002079: PUSH1 0x00 0000207b: DUP1 0000207c: CALLER 0000207d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002092: AND 00002093: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020a8: AND 000020a9: DUP2 000020aa: MSTORE 000020ab: PUSH1 0x20 000020ad: ADD 000020ae: SWAP1 000020af: DUP2 000020b0: MSTORE 000020b1: PUSH1 0x20 000020b3: ADD 000020b4: PUSH1 0x00 000020b6: KECCAK256 000020b7: DUP2 000020b8: SWAP1 000020b9: SSTORE 000020ba: POP 000020bb: PUSH2 0x2108 000020be: PUSH2 0x20df 000020c1: PUSH2 0x20c8 000020c4: PUSH2 0x0e95 000020c7: JUMP 000020c8: JUMPDEST 000020c9: PUSH1 0xff 000020cb: AND 000020cc: PUSH1 0x0a 000020ce: EXP 000020cf: PUSH1 0x0a 000020d1: SLOAD 000020d2: PUSH2 0x2c1b 000020d5: SWAP1 000020d6: SWAP2 000020d7: SWAP1 000020d8: PUSH4 0xffffffff 000020dd: AND 000020de: JUMP 000020df: JUMPDEST 000020e0: PUSH2 0x20fa 000020e3: PUSH8 0x0de0b6b3a7640000 000020ec: DUP6 000020ed: PUSH2 0x2c1b 000020f0: SWAP1 000020f1: SWAP2 000020f2: SWAP1 000020f3: PUSH4 0xffffffff 000020f8: AND 000020f9: JUMP 000020fa: JUMPDEST 000020fb: PUSH2 0x2c59 000020fe: SWAP1 000020ff: SWAP2 00002100: SWAP1 00002101: PUSH4 0xffffffff 00002106: AND 00002107: JUMP 00002108: JUMPDEST 00002109: SWAP1 0000210a: POP 0000210b: CALLER 0000210c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002121: AND 00002122: PUSH2 0x08fc 00002125: DUP3 00002126: SWAP1 00002127: DUP2 00002128: ISZERO 00002129: MUL 0000212a: SWAP1 0000212b: PUSH1 0x40 0000212d: MLOAD 0000212e: PUSH1 0x00 00002130: PUSH1 0x40 00002132: MLOAD 00002133: DUP1 00002134: DUP4 00002135: SUB 00002136: DUP2 00002137: DUP6 00002138: DUP9 00002139: DUP9 0000213a: CALL 0000213b: SWAP4 0000213c: POP 0000213d: POP 0000213e: POP 0000213f: POP 00002140: ISZERO 00002141: DUP1 00002142: ISZERO 00002143: PUSH2 0x2150 00002146: JUMPI 00002147: RETURNDATASIZE 00002148: PUSH1 0x00 0000214a: DUP1 0000214b: RETURNDATACOPY 0000214c: RETURNDATASIZE 0000214d: PUSH1 0x00 0000214f: REVERT 00002150: JUMPDEST 00002151: POP 00002152: ADDRESS 00002153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002168: AND 00002169: CALLER 0000216a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000217f: AND 00002180: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000021a1: DUP5 000021a2: PUSH1 0x40 000021a4: MLOAD 000021a5: DUP1 000021a6: DUP3 000021a7: DUP2 000021a8: MSTORE 000021a9: PUSH1 0x20 000021ab: ADD 000021ac: SWAP2 000021ad: POP 000021ae: POP 000021af: PUSH1 0x40 000021b1: MLOAD 000021b2: DUP1 000021b3: SWAP2 000021b4: SUB 000021b5: SWAP1 000021b6: LOG3 000021b7: DUP1 000021b8: SWAP1 000021b9: POP 000021ba: SWAP2 000021bb: SWAP1 000021bc: POP 000021bd: JUMP 000021be: JUMPDEST 000021bf: PUSH2 0x21c6 000021c2: PUSH2 0x17d6 000021c5: JUMP 000021c6: JUMPDEST 000021c7: ISZERO 000021c8: ISZERO 000021c9: PUSH2 0x223a 000021cc: JUMPI 000021cd: PUSH1 0x40 000021cf: MLOAD 000021d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000021f1: DUP2 000021f2: MSTORE 000021f3: PUSH1 0x04 000021f5: ADD 000021f6: DUP1 000021f7: DUP1 000021f8: PUSH1 0x20 000021fa: ADD 000021fb: DUP3 000021fc: DUP2 000021fd: SUB 000021fe: DUP3 000021ff: MSTORE 00002200: PUSH1 0x0d 00002202: DUP2 00002203: MSTORE 00002204: PUSH1 0x20 00002206: ADD 00002207: DUP1 00002208: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 00002229: DUP2 0000222a: MSTORE 0000222b: POP 0000222c: PUSH1 0x20 0000222e: ADD 0000222f: SWAP2 00002230: POP 00002231: POP 00002232: PUSH1 0x40 00002234: MLOAD 00002235: DUP1 00002236: SWAP2 00002237: SUB 00002238: SWAP1 00002239: REVERT 0000223a: JUMPDEST 0000223b: DUP1 0000223c: PUSH1 0x02 0000223e: PUSH1 0x00 00002240: DUP5 00002241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002256: AND 00002257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000226c: AND 0000226d: DUP2 0000226e: MSTORE 0000226f: PUSH1 0x20 00002271: ADD 00002272: SWAP1 00002273: DUP2 00002274: MSTORE 00002275: PUSH1 0x20 00002277: ADD 00002278: PUSH1 0x00 0000227a: KECCAK256 0000227b: PUSH1 0x00 0000227d: PUSH2 0x0100 00002280: EXP 00002281: DUP2 00002282: SLOAD 00002283: DUP2 00002284: PUSH1 0xff 00002286: MUL 00002287: NOT 00002288: AND 00002289: SWAP1 0000228a: DUP4 0000228b: ISZERO 0000228c: ISZERO 0000228d: MUL 0000228e: OR 0000228f: SWAP1 00002290: SSTORE 00002291: POP 00002292: PUSH32 0x48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a5 000022b3: DUP3 000022b4: DUP3 000022b5: PUSH1 0x40 000022b7: MLOAD 000022b8: DUP1 000022b9: DUP4 000022ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022cf: AND 000022d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022e5: AND 000022e6: DUP2 000022e7: MSTORE 000022e8: PUSH1 0x20 000022ea: ADD 000022eb: DUP3 000022ec: ISZERO 000022ed: ISZERO 000022ee: ISZERO 000022ef: ISZERO 000022f0: DUP2 000022f1: MSTORE 000022f2: PUSH1 0x20 000022f4: ADD 000022f5: SWAP3 000022f6: POP 000022f7: POP 000022f8: POP 000022f9: PUSH1 0x40 000022fb: MLOAD 000022fc: DUP1 000022fd: SWAP2 000022fe: SUB 000022ff: SWAP1 00002300: LOG1 00002301: POP 00002302: POP 00002303: JUMP 00002304: JUMPDEST 00002305: PUSH2 0x230c 00002308: PUSH2 0x17d6 0000230b: JUMP 0000230c: JUMPDEST 0000230d: ISZERO 0000230e: ISZERO 0000230f: PUSH2 0x2380 00002312: JUMPI 00002313: PUSH1 0x40 00002315: MLOAD 00002316: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002337: DUP2 00002338: MSTORE 00002339: PUSH1 0x04 0000233b: ADD 0000233c: DUP1 0000233d: DUP1 0000233e: PUSH1 0x20 00002340: ADD 00002341: DUP3 00002342: DUP2 00002343: SUB 00002344: DUP3 00002345: MSTORE 00002346: PUSH1 0x0d 00002348: DUP2 00002349: MSTORE 0000234a: PUSH1 0x20 0000234c: ADD 0000234d: DUP1 0000234e: PUSH32 0x496e76616c6964206f776e657200000000000000000000000000000000000000 0000236f: DUP2 00002370: MSTORE 00002371: POP 00002372: PUSH1 0x20 00002374: ADD 00002375: SWAP2 00002376: POP 00002377: POP 00002378: PUSH1 0x40 0000237a: MLOAD 0000237b: DUP1 0000237c: SWAP2 0000237d: SUB 0000237e: SWAP1 0000237f: REVERT 00002380: JUMPDEST 00002381: PUSH2 0x2389 00002384: DUP2 00002385: PUSH2 0x2cdd 00002388: JUMP 00002389: JUMPDEST 0000238a: POP 0000238b: JUMP 0000238c: JUMPDEST 0000238d: PUSH1 0x00 0000238f: PUSH2 0x2399 00002392: CALLER 00002393: DUP5 00002394: DUP5 00002395: PUSH2 0x2dd9 00002398: JUMP 00002399: JUMPDEST 0000239a: PUSH1 0x01 0000239c: SWAP1 0000239d: POP 0000239e: SWAP3 0000239f: SWAP2 000023a0: POP 000023a1: POP 000023a2: JUMP 000023a3: JUMPDEST 000023a4: PUSH1 0x00 000023a6: PUSH2 0x23b0 000023a9: DUP5 000023aa: DUP5 000023ab: DUP5 000023ac: PUSH2 0x2862 000023af: JUMP 000023b0: JUMPDEST 000023b1: PUSH2 0x2449 000023b4: DUP5 000023b5: CALLER 000023b6: PUSH2 0x2444 000023b9: DUP6 000023ba: PUSH1 0x01 000023bc: PUSH1 0x00 000023be: DUP11 000023bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023d4: AND 000023d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023ea: AND 000023eb: DUP2 000023ec: MSTORE 000023ed: PUSH1 0x20 000023ef: ADD 000023f0: SWAP1 000023f1: DUP2 000023f2: MSTORE 000023f3: PUSH1 0x20 000023f5: ADD 000023f6: PUSH1 0x00 000023f8: KECCAK256 000023f9: PUSH1 0x00 000023fb: CALLER 000023fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002411: AND 00002412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002427: AND 00002428: DUP2 00002429: MSTORE 0000242a: PUSH1 0x20 0000242c: ADD 0000242d: SWAP1 0000242e: DUP2 0000242f: MSTORE 00002430: PUSH1 0x20 00002432: ADD 00002433: PUSH1 0x00 00002435: KECCAK256 00002436: SLOAD 00002437: PUSH2 0x2c83 0000243a: SWAP1 0000243b: SWAP2 0000243c: SWAP1 0000243d: PUSH4 0xffffffff 00002442: AND 00002443: JUMP 00002444: JUMPDEST 00002445: PUSH2 0x2dd9 00002448: JUMP 00002449: JUMPDEST 0000244a: PUSH1 0x01 0000244c: SWAP1 0000244d: POP 0000244e: SWAP4 0000244f: SWAP3 00002450: POP 00002451: POP 00002452: POP 00002453: JUMP 00002454: JUMPDEST 00002455: PUSH1 0x00 00002457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000246c: AND 0000246d: DUP3 0000246e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002483: AND 00002484: EQ 00002485: ISZERO 00002486: ISZERO 00002487: ISZERO 00002488: PUSH2 0x24f9 0000248b: JUMPI 0000248c: PUSH1 0x40 0000248e: MLOAD 0000248f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000024b0: DUP2 000024b1: MSTORE 000024b2: PUSH1 0x04 000024b4: ADD 000024b5: DUP1 000024b6: DUP1 000024b7: PUSH1 0x20 000024b9: ADD 000024ba: DUP3 000024bb: DUP2 000024bc: SUB 000024bd: DUP3 000024be: MSTORE 000024bf: PUSH1 0x18 000024c1: DUP2 000024c2: MSTORE 000024c3: PUSH1 0x20 000024c5: ADD 000024c6: DUP1 000024c7: PUSH32 0x436865636b20726563697069656e742069732027307830270000000000000000 000024e8: DUP2 000024e9: MSTORE 000024ea: POP 000024eb: PUSH1 0x20 000024ed: ADD 000024ee: SWAP2 000024ef: POP 000024f0: POP 000024f1: PUSH1 0x40 000024f3: MLOAD 000024f4: DUP1 000024f5: SWAP2 000024f6: SUB 000024f7: SWAP1 000024f8: REVERT 000024f9: JUMPDEST 000024fa: PUSH2 0x250e 000024fd: DUP2 000024fe: PUSH1 0x03 00002500: SLOAD 00002501: PUSH2 0x2ca5 00002504: SWAP1 00002505: SWAP2 00002506: SWAP1 00002507: PUSH4 0xffffffff 0000250c: AND 0000250d: JUMP 0000250e: JUMPDEST 0000250f: PUSH1 0x03 00002511: DUP2 00002512: SWAP1 00002513: SSTORE 00002514: POP 00002515: PUSH2 0x2565 00002518: DUP2 00002519: PUSH1 0x00 0000251b: DUP1 0000251c: DUP6 0000251d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002532: AND 00002533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002548: AND 00002549: DUP2 0000254a: MSTORE 0000254b: PUSH1 0x20 0000254d: ADD 0000254e: SWAP1 0000254f: DUP2 00002550: MSTORE 00002551: PUSH1 0x20 00002553: ADD 00002554: PUSH1 0x00 00002556: KECCAK256 00002557: SLOAD 00002558: PUSH2 0x2ca5 0000255b: SWAP1 0000255c: SWAP2 0000255d: SWAP1 0000255e: PUSH4 0xffffffff 00002563: AND 00002564: JUMP 00002565: JUMPDEST 00002566: PUSH1 0x00 00002568: DUP1 00002569: DUP5 0000256a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000257f: AND 00002580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002595: AND 00002596: DUP2 00002597: MSTORE 00002598: PUSH1 0x20 0000259a: ADD 0000259b: SWAP1 0000259c: DUP2 0000259d: MSTORE 0000259e: PUSH1 0x20 000025a0: ADD 000025a1: PUSH1 0x00 000025a3: KECCAK256 000025a4: DUP2 000025a5: SWAP1 000025a6: SSTORE 000025a7: POP 000025a8: DUP2 000025a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025be: AND 000025bf: PUSH1 0x00 000025c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025d6: AND 000025d7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000025f8: DUP4 000025f9: PUSH1 0x40 000025fb: MLOAD 000025fc: DUP1 000025fd: DUP3 000025fe: DUP2 000025ff: MSTORE 00002600: PUSH1 0x20 00002602: ADD 00002603: SWAP2 00002604: POP 00002605: POP 00002606: PUSH1 0x40 00002608: MLOAD 00002609: DUP1 0000260a: SWAP2 0000260b: SUB 0000260c: SWAP1 0000260d: LOG3 0000260e: POP 0000260f: POP 00002610: JUMP 00002611: JUMPDEST 00002612: PUSH1 0x00 00002614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002629: AND 0000262a: DUP3 0000262b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002640: AND 00002641: EQ 00002642: ISZERO 00002643: ISZERO 00002644: ISZERO 00002645: PUSH2 0x26b6 00002648: JUMPI 00002649: PUSH1 0x40 0000264b: MLOAD 0000264c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000266d: DUP2 0000266e: MSTORE 0000266f: PUSH1 0x04 00002671: ADD 00002672: DUP1 00002673: DUP1 00002674: PUSH1 0x20 00002676: ADD 00002677: DUP3 00002678: DUP2 00002679: SUB 0000267a: DUP3 0000267b: MSTORE 0000267c: PUSH1 0x18 0000267e: DUP2 0000267f: MSTORE 00002680: PUSH1 0x20 00002682: ADD 00002683: DUP1 00002684: PUSH32 0x436865636b20726563697069656e74206973206f776e65720000000000000000 000026a5: DUP2 000026a6: MSTORE 000026a7: POP 000026a8: PUSH1 0x20 000026aa: ADD 000026ab: SWAP2 000026ac: POP 000026ad: POP 000026ae: PUSH1 0x40 000026b0: MLOAD 000026b1: DUP1 000026b2: SWAP2 000026b3: SUB 000026b4: SWAP1 000026b5: REVERT 000026b6: JUMPDEST 000026b7: PUSH2 0x26cb 000026ba: DUP2 000026bb: PUSH1 0x03 000026bd: SLOAD 000026be: PUSH2 0x2c83 000026c1: SWAP1 000026c2: SWAP2 000026c3: SWAP1 000026c4: PUSH4 0xffffffff 000026c9: AND 000026ca: JUMP 000026cb: JUMPDEST 000026cc: PUSH1 0x03 000026ce: DUP2 000026cf: SWAP1 000026d0: SSTORE 000026d1: POP 000026d2: PUSH2 0x2722 000026d5: DUP2 000026d6: PUSH1 0x00 000026d8: DUP1 000026d9: DUP6 000026da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026ef: AND 000026f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002705: AND 00002706: DUP2 00002707: MSTORE 00002708: PUSH1 0x20 0000270a: ADD 0000270b: SWAP1 0000270c: DUP2 0000270d: MSTORE 0000270e: PUSH1 0x20 00002710: ADD 00002711: PUSH1 0x00 00002713: KECCAK256 00002714: SLOAD 00002715: PUSH2 0x2c83 00002718: SWAP1 00002719: SWAP2 0000271a: SWAP1 0000271b: PUSH4 0xffffffff 00002720: AND 00002721: JUMP 00002722: JUMPDEST 00002723: PUSH1 0x00 00002725: DUP1 00002726: DUP5 00002727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000273c: AND 0000273d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002752: AND 00002753: DUP2 00002754: MSTORE 00002755: PUSH1 0x20 00002757: ADD 00002758: SWAP1 00002759: DUP2 0000275a: MSTORE 0000275b: PUSH1 0x20 0000275d: ADD 0000275e: PUSH1 0x00 00002760: KECCAK256 00002761: DUP2 00002762: SWAP1 00002763: SSTORE 00002764: POP 00002765: PUSH1 0x00 00002767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000277c: AND 0000277d: DUP3 0000277e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002793: AND 00002794: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000027b5: DUP4 000027b6: PUSH1 0x40 000027b8: MLOAD 000027b9: DUP1 000027ba: DUP3 000027bb: DUP2 000027bc: MSTORE 000027bd: PUSH1 0x20 000027bf: ADD 000027c0: SWAP2 000027c1: POP 000027c2: POP 000027c3: PUSH1 0x40 000027c5: MLOAD 000027c6: DUP1 000027c7: SWAP2 000027c8: SUB 000027c9: SWAP1 000027ca: LOG3 000027cb: POP 000027cc: POP 000027cd: JUMP 000027ce: JUMPDEST 000027cf: PUSH1 0x00 000027d1: DUP1 000027d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e7: AND 000027e8: DUP3 000027e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027fe: AND 000027ff: EQ 00002800: ISZERO 00002801: ISZERO 00002802: ISZERO 00002803: PUSH2 0x280b 00002806: JUMPI 00002807: PUSH1 0x00 00002809: DUP1 0000280a: REVERT 0000280b: JUMPDEST 0000280c: DUP3 0000280d: PUSH1 0x00 0000280f: ADD 00002810: PUSH1 0x00 00002812: DUP4 00002813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002828: AND 00002829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000283e: AND 0000283f: DUP2 00002840: MSTORE 00002841: PUSH1 0x20 00002843: ADD 00002844: SWAP1 00002845: DUP2 00002846: MSTORE 00002847: PUSH1 0x20 00002849: ADD 0000284a: PUSH1 0x00 0000284c: KECCAK256 0000284d: PUSH1 0x00 0000284f: SWAP1 00002850: SLOAD 00002851: SWAP1 00002852: PUSH2 0x0100 00002855: EXP 00002856: SWAP1 00002857: DIV 00002858: PUSH1 0xff 0000285a: AND 0000285b: SWAP1 0000285c: POP 0000285d: SWAP3 0000285e: SWAP2 0000285f: POP 00002860: POP 00002861: JUMP 00002862: JUMPDEST 00002863: PUSH1 0x00 00002865: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000287a: AND 0000287b: DUP3 0000287c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002891: AND 00002892: EQ 00002893: ISZERO 00002894: ISZERO 00002895: ISZERO 00002896: PUSH2 0x2907 00002899: JUMPI 0000289a: PUSH1 0x40 0000289c: MLOAD 0000289d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000028be: DUP2 000028bf: MSTORE 000028c0: PUSH1 0x04 000028c2: ADD 000028c3: DUP1 000028c4: DUP1 000028c5: PUSH1 0x20 000028c7: ADD 000028c8: DUP3 000028c9: DUP2 000028ca: SUB 000028cb: DUP3 000028cc: MSTORE 000028cd: PUSH1 0x18 000028cf: DUP2 000028d0: MSTORE 000028d1: PUSH1 0x20 000028d3: ADD 000028d4: DUP1 000028d5: PUSH32 0x436865636b20726563697069656e74206973206f776e65720000000000000000 000028f6: DUP2 000028f7: MSTORE 000028f8: POP 000028f9: PUSH1 0x20 000028fb: ADD 000028fc: SWAP2 000028fd: POP 000028fe: POP 000028ff: PUSH1 0x40 00002901: MLOAD 00002902: DUP1 00002903: SWAP2 00002904: SUB 00002905: SWAP1 00002906: REVERT 00002907: JUMPDEST 00002908: PUSH1 0x02 0000290a: PUSH1 0x00 0000290c: DUP5 0000290d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002922: AND 00002923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002938: AND 00002939: DUP2 0000293a: MSTORE 0000293b: PUSH1 0x20 0000293d: ADD 0000293e: SWAP1 0000293f: DUP2 00002940: MSTORE 00002941: PUSH1 0x20 00002943: ADD 00002944: PUSH1 0x00 00002946: KECCAK256 00002947: PUSH1 0x00 00002949: SWAP1 0000294a: SLOAD 0000294b: SWAP1 0000294c: PUSH2 0x0100 0000294f: EXP 00002950: SWAP1 00002951: DIV 00002952: PUSH1 0xff 00002954: AND 00002955: ISZERO 00002956: ISZERO 00002957: ISZERO 00002958: PUSH2 0x29c9 0000295b: JUMPI 0000295c: PUSH1 0x40 0000295e: MLOAD 0000295f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002980: DUP2 00002981: MSTORE 00002982: PUSH1 0x04 00002984: ADD 00002985: DUP1 00002986: DUP1 00002987: PUSH1 0x20 00002989: ADD 0000298a: DUP3 0000298b: DUP2 0000298c: SUB 0000298d: DUP3 0000298e: MSTORE 0000298f: PUSH1 0x19 00002991: DUP2 00002992: MSTORE 00002993: PUSH1 0x20 00002995: ADD 00002996: DUP1 00002997: PUSH32 0x436865636b2069662073656e6465722069732066726f7a656e00000000000000 000029b8: DUP2 000029b9: MSTORE 000029ba: POP 000029bb: PUSH1 0x20 000029bd: ADD 000029be: SWAP2 000029bf: POP 000029c0: POP 000029c1: PUSH1 0x40 000029c3: MLOAD 000029c4: DUP1 000029c5: SWAP2 000029c6: SUB 000029c7: SWAP1 000029c8: REVERT 000029c9: JUMPDEST 000029ca: PUSH1 0x02 000029cc: PUSH1 0x00 000029ce: DUP4 000029cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029e4: AND 000029e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029fa: AND 000029fb: DUP2 000029fc: MSTORE 000029fd: PUSH1 0x20 000029ff: ADD 00002a00: SWAP1 00002a01: DUP2 00002a02: MSTORE 00002a03: PUSH1 0x20 00002a05: ADD 00002a06: PUSH1 0x00 00002a08: KECCAK256 00002a09: PUSH1 0x00 00002a0b: SWAP1 00002a0c: SLOAD 00002a0d: SWAP1 00002a0e: PUSH2 0x0100 00002a11: EXP 00002a12: SWAP1 00002a13: DIV 00002a14: PUSH1 0xff 00002a16: AND 00002a17: ISZERO 00002a18: ISZERO 00002a19: ISZERO 00002a1a: PUSH2 0x2a8b 00002a1d: JUMPI 00002a1e: PUSH1 0x40 00002a20: MLOAD 00002a21: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002a42: DUP2 00002a43: MSTORE 00002a44: PUSH1 0x04 00002a46: ADD 00002a47: DUP1 00002a48: DUP1 00002a49: PUSH1 0x20 00002a4b: ADD 00002a4c: DUP3 00002a4d: DUP2 00002a4e: SUB 00002a4f: DUP3 00002a50: MSTORE 00002a51: PUSH1 0x1c 00002a53: DUP2 00002a54: MSTORE 00002a55: PUSH1 0x20 00002a57: ADD 00002a58: DUP1 00002a59: PUSH32 0x436865636b20696620726563697069656e742069732066726f7a656e00000000 00002a7a: DUP2 00002a7b: MSTORE 00002a7c: POP 00002a7d: PUSH1 0x20 00002a7f: ADD 00002a80: SWAP2 00002a81: POP 00002a82: POP 00002a83: PUSH1 0x40 00002a85: MLOAD 00002a86: DUP1 00002a87: SWAP2 00002a88: SUB 00002a89: SWAP1 00002a8a: REVERT 00002a8b: JUMPDEST 00002a8c: PUSH2 0x2adc 00002a8f: DUP2 00002a90: PUSH1 0x00 00002a92: DUP1 00002a93: DUP7 00002a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002aa9: AND 00002aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002abf: AND 00002ac0: DUP2 00002ac1: MSTORE 00002ac2: PUSH1 0x20 00002ac4: ADD 00002ac5: SWAP1 00002ac6: DUP2 00002ac7: MSTORE 00002ac8: PUSH1 0x20 00002aca: ADD 00002acb: PUSH1 0x00 00002acd: KECCAK256 00002ace: SLOAD 00002acf: PUSH2 0x2c83 00002ad2: SWAP1 00002ad3: SWAP2 00002ad4: SWAP1 00002ad5: PUSH4 0xffffffff 00002ada: AND 00002adb: JUMP 00002adc: JUMPDEST 00002add: PUSH1 0x00 00002adf: DUP1 00002ae0: DUP6 00002ae1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002af6: AND 00002af7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b0c: AND 00002b0d: DUP2 00002b0e: MSTORE 00002b0f: PUSH1 0x20 00002b11: ADD 00002b12: SWAP1 00002b13: DUP2 00002b14: MSTORE 00002b15: PUSH1 0x20 00002b17: ADD 00002b18: PUSH1 0x00 00002b1a: KECCAK256 00002b1b: DUP2 00002b1c: SWAP1 00002b1d: SSTORE 00002b1e: POP 00002b1f: PUSH2 0x2b6f 00002b22: DUP2 00002b23: PUSH1 0x00 00002b25: DUP1 00002b26: DUP6 00002b27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b3c: AND 00002b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b52: AND 00002b53: DUP2 00002b54: MSTORE 00002b55: PUSH1 0x20 00002b57: ADD 00002b58: SWAP1 00002b59: DUP2 00002b5a: MSTORE 00002b5b: PUSH1 0x20 00002b5d: ADD 00002b5e: PUSH1 0x00 00002b60: KECCAK256 00002b61: SLOAD 00002b62: PUSH2 0x2ca5 00002b65: SWAP1 00002b66: SWAP2 00002b67: SWAP1 00002b68: PUSH4 0xffffffff 00002b6d: AND 00002b6e: JUMP 00002b6f: JUMPDEST 00002b70: PUSH1 0x00 00002b72: DUP1 00002b73: DUP5 00002b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b89: AND 00002b8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b9f: AND 00002ba0: DUP2 00002ba1: MSTORE 00002ba2: PUSH1 0x20 00002ba4: ADD 00002ba5: SWAP1 00002ba6: DUP2 00002ba7: MSTORE 00002ba8: PUSH1 0x20 00002baa: ADD 00002bab: PUSH1 0x00 00002bad: KECCAK256 00002bae: DUP2 00002baf: SWAP1 00002bb0: SSTORE 00002bb1: POP 00002bb2: DUP2 00002bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bc8: AND 00002bc9: DUP4 00002bca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bdf: AND 00002be0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002c01: DUP4 00002c02: PUSH1 0x40 00002c04: MLOAD 00002c05: DUP1 00002c06: DUP3 00002c07: DUP2 00002c08: MSTORE 00002c09: PUSH1 0x20 00002c0b: ADD 00002c0c: SWAP2 00002c0d: POP 00002c0e: POP 00002c0f: PUSH1 0x40 00002c11: MLOAD 00002c12: DUP1 00002c13: SWAP2 00002c14: SUB 00002c15: SWAP1 00002c16: LOG3 00002c17: POP 00002c18: POP 00002c19: POP 00002c1a: JUMP 00002c1b: JUMPDEST 00002c1c: PUSH1 0x00 00002c1e: DUP1 00002c1f: DUP4 00002c20: EQ 00002c21: ISZERO 00002c22: PUSH2 0x2c2e 00002c25: JUMPI 00002c26: PUSH1 0x00 00002c28: SWAP1 00002c29: POP 00002c2a: PUSH2 0x2c53 00002c2d: JUMP 00002c2e: JUMPDEST 00002c2f: PUSH1 0x00 00002c31: DUP3 00002c32: DUP5 00002c33: MUL 00002c34: SWAP1 00002c35: POP 00002c36: DUP3 00002c37: DUP5 00002c38: DUP3 00002c39: DUP2 00002c3a: ISZERO 00002c3b: ISZERO 00002c3c: PUSH2 0x2c41 00002c3f: JUMPI 00002c40: INVALID 00002c41: JUMPDEST 00002c42: DIV 00002c43: EQ 00002c44: ISZERO 00002c45: ISZERO 00002c46: PUSH2 0x2c4e 00002c49: JUMPI 00002c4a: PUSH1 0x00 00002c4c: DUP1 00002c4d: REVERT 00002c4e: JUMPDEST 00002c4f: DUP1 00002c50: SWAP2 00002c51: POP 00002c52: POP 00002c53: JUMPDEST 00002c54: SWAP3 00002c55: SWAP2 00002c56: POP 00002c57: POP 00002c58: JUMP 00002c59: JUMPDEST 00002c5a: PUSH1 0x00 00002c5c: DUP1 00002c5d: DUP3 00002c5e: GT 00002c5f: ISZERO 00002c60: ISZERO 00002c61: PUSH2 0x2c69 00002c64: JUMPI 00002c65: PUSH1 0x00 00002c67: DUP1 00002c68: REVERT 00002c69: JUMPDEST 00002c6a: PUSH1 0x00 00002c6c: DUP3 00002c6d: DUP5 00002c6e: DUP2 00002c6f: ISZERO 00002c70: ISZERO 00002c71: PUSH2 0x2c76 00002c74: JUMPI 00002c75: INVALID 00002c76: JUMPDEST 00002c77: DIV 00002c78: SWAP1 00002c79: POP 00002c7a: DUP1 00002c7b: SWAP2 00002c7c: POP 00002c7d: POP 00002c7e: SWAP3 00002c7f: SWAP2 00002c80: POP 00002c81: POP 00002c82: JUMP 00002c83: JUMPDEST 00002c84: PUSH1 0x00 00002c86: DUP3 00002c87: DUP3 00002c88: GT 00002c89: ISZERO 00002c8a: ISZERO 00002c8b: ISZERO 00002c8c: PUSH2 0x2c94 00002c8f: JUMPI 00002c90: PUSH1 0x00 00002c92: DUP1 00002c93: REVERT 00002c94: JUMPDEST 00002c95: PUSH1 0x00 00002c97: DUP3 00002c98: DUP5 00002c99: SUB 00002c9a: SWAP1 00002c9b: POP 00002c9c: DUP1 00002c9d: SWAP2 00002c9e: POP 00002c9f: POP 00002ca0: SWAP3 00002ca1: SWAP2 00002ca2: POP 00002ca3: POP 00002ca4: JUMP 00002ca5: JUMPDEST 00002ca6: PUSH1 0x00 00002ca8: DUP1 00002ca9: DUP3 00002caa: DUP5 00002cab: ADD 00002cac: SWAP1 00002cad: POP 00002cae: DUP4 00002caf: DUP2 00002cb0: LT 00002cb1: ISZERO 00002cb2: ISZERO 00002cb3: ISZERO 00002cb4: PUSH2 0x2cbc 00002cb7: JUMPI 00002cb8: PUSH1 0x00 00002cba: DUP1 00002cbb: REVERT 00002cbc: JUMPDEST 00002cbd: DUP1 00002cbe: SWAP2 00002cbf: POP 00002cc0: POP 00002cc1: SWAP3 00002cc2: SWAP2 00002cc3: POP 00002cc4: POP 00002cc5: JUMP 00002cc6: JUMPDEST 00002cc7: PUSH1 0x00 00002cc9: PUSH2 0x2cd3 00002ccc: CALLER 00002ccd: DUP5 00002cce: DUP5 00002ccf: PUSH2 0x2862 00002cd2: JUMP 00002cd3: JUMPDEST 00002cd4: PUSH1 0x01 00002cd6: SWAP1 00002cd7: POP 00002cd8: SWAP3 00002cd9: SWAP2 00002cda: POP 00002cdb: POP 00002cdc: JUMP 00002cdd: JUMPDEST 00002cde: PUSH1 0x00 00002ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cf5: AND 00002cf6: DUP2 00002cf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d0c: AND 00002d0d: EQ 00002d0e: ISZERO 00002d0f: ISZERO 00002d10: ISZERO 00002d11: PUSH2 0x2d19 00002d14: JUMPI 00002d15: PUSH1 0x00 00002d17: DUP1 00002d18: REVERT 00002d19: JUMPDEST 00002d1a: DUP1 00002d1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d30: AND 00002d31: PUSH1 0x06 00002d33: PUSH1 0x01 00002d35: SWAP1 00002d36: SLOAD 00002d37: SWAP1 00002d38: PUSH2 0x0100 00002d3b: EXP 00002d3c: SWAP1 00002d3d: DIV 00002d3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d53: AND 00002d54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d69: AND 00002d6a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00002d8b: PUSH1 0x40 00002d8d: MLOAD 00002d8e: PUSH1 0x40 00002d90: MLOAD 00002d91: DUP1 00002d92: SWAP2 00002d93: SUB 00002d94: SWAP1 00002d95: LOG3 00002d96: DUP1 00002d97: PUSH1 0x06 00002d99: PUSH1 0x01 00002d9b: PUSH2 0x0100 00002d9e: EXP 00002d9f: DUP2 00002da0: SLOAD 00002da1: DUP2 00002da2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002db7: MUL 00002db8: NOT 00002db9: AND 00002dba: SWAP1 00002dbb: DUP4 00002dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002dd1: AND 00002dd2: MUL 00002dd3: OR 00002dd4: SWAP1 00002dd5: SSTORE 00002dd6: POP 00002dd7: POP 00002dd8: JUMP 00002dd9: JUMPDEST 00002dda: PUSH1 0x00 00002ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002df1: AND 00002df2: DUP3 00002df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e08: AND 00002e09: EQ 00002e0a: ISZERO 00002e0b: ISZERO 00002e0c: ISZERO 00002e0d: PUSH2 0x2e15 00002e10: JUMPI 00002e11: PUSH1 0x00 00002e13: DUP1 00002e14: REVERT 00002e15: JUMPDEST 00002e16: PUSH1 0x00 00002e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e2d: AND 00002e2e: DUP4 00002e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e44: AND 00002e45: EQ 00002e46: ISZERO 00002e47: ISZERO 00002e48: ISZERO 00002e49: PUSH2 0x2e51 00002e4c: JUMPI 00002e4d: PUSH1 0x00 00002e4f: DUP1 00002e50: REVERT 00002e51: JUMPDEST 00002e52: DUP1 00002e53: PUSH1 0x01 00002e55: PUSH1 0x00 00002e57: DUP6 00002e58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e6d: AND 00002e6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e83: AND 00002e84: DUP2 00002e85: MSTORE 00002e86: PUSH1 0x20 00002e88: ADD 00002e89: SWAP1 00002e8a: DUP2 00002e8b: MSTORE 00002e8c: PUSH1 0x20 00002e8e: ADD 00002e8f: PUSH1 0x00 00002e91: KECCAK256 00002e92: PUSH1 0x00 00002e94: DUP5 00002e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002eaa: AND 00002eab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ec0: AND 00002ec1: DUP2 00002ec2: MSTORE 00002ec3: PUSH1 0x20 00002ec5: ADD 00002ec6: SWAP1 00002ec7: DUP2 00002ec8: MSTORE 00002ec9: PUSH1 0x20 00002ecb: ADD 00002ecc: PUSH1 0x00 00002ece: KECCAK256 00002ecf: DUP2 00002ed0: SWAP1 00002ed1: SSTORE 00002ed2: POP 00002ed3: DUP2 00002ed4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ee9: AND 00002eea: DUP4 00002eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f00: AND 00002f01: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00002f22: DUP4 00002f23: PUSH1 0x40 00002f25: MLOAD 00002f26: DUP1 00002f27: DUP3 00002f28: DUP2 00002f29: MSTORE 00002f2a: PUSH1 0x20 00002f2c: ADD 00002f2d: SWAP2 00002f2e: POP 00002f2f: POP 00002f30: PUSH1 0x40 00002f32: MLOAD 00002f33: DUP1 00002f34: SWAP2 00002f35: SUB 00002f36: SWAP1 00002f37: LOG3 00002f38: POP 00002f39: POP 00002f3a: POP 00002f3b: JUMP 00002f3c: JUMPDEST 00002f3d: PUSH1 0x00 00002f3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f54: AND 00002f55: DUP2 00002f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f6b: AND 00002f6c: EQ 00002f6d: ISZERO 00002f6e: ISZERO 00002f6f: ISZERO 00002f70: PUSH2 0x2f78 00002f73: JUMPI 00002f74: PUSH1 0x00 00002f76: DUP1 00002f77: REVERT 00002f78: JUMPDEST 00002f79: PUSH2 0x2f82 00002f7c: DUP3 00002f7d: DUP3 00002f7e: PUSH2 0x27ce 00002f81: JUMP 00002f82: JUMPDEST 00002f83: ISZERO 00002f84: ISZERO 00002f85: ISZERO 00002f86: PUSH2 0x2f8e 00002f89: JUMPI 00002f8a: PUSH1 0x00 00002f8c: DUP1 00002f8d: REVERT 00002f8e: JUMPDEST 00002f8f: PUSH1 0x01 00002f91: DUP3 00002f92: PUSH1 0x00 00002f94: ADD 00002f95: PUSH1 0x00 00002f97: DUP4 00002f98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fad: AND 00002fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fc3: AND 00002fc4: DUP2 00002fc5: MSTORE 00002fc6: PUSH1 0x20 00002fc8: ADD 00002fc9: SWAP1 00002fca: DUP2 00002fcb: MSTORE 00002fcc: PUSH1 0x20 00002fce: ADD 00002fcf: PUSH1 0x00 00002fd1: KECCAK256 00002fd2: PUSH1 0x00 00002fd4: PUSH2 0x0100 00002fd7: EXP 00002fd8: DUP2 00002fd9: SLOAD 00002fda: DUP2 00002fdb: PUSH1 0xff 00002fdd: MUL 00002fde: NOT 00002fdf: AND 00002fe0: SWAP1 00002fe1: DUP4 00002fe2: ISZERO 00002fe3: ISZERO 00002fe4: MUL 00002fe5: OR 00002fe6: SWAP1 00002fe7: SSTORE 00002fe8: POP 00002fe9: POP 00002fea: POP 00002feb: JUMP 00002fec: INVALID 00002fed: NUMBER 00002fee: PUSH9 0x65636b732069662074 00002ff8: PUSH9 0x652073656e64657220 00003002: PUSH9 0x617320656e6f756768 0000300c: KECCAK256 0000300d: PUSH21 0x6f2073656c6ca165627a7a723058204bed6036a5af 00003023: MSTORE 00003024: UNKNOWN(0x28) 00003025: UNKNOWN(0xD2) 00003026: UNKNOWN(0xD7) 00003027: BALANCE 00003028: UNKNOWN(0xAB) 00003029: DUP7 0000302a: SWAP8 0000302b: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xf807ce77d8d909f60a2a78e6b48a823836d4656fdbe25761b95b0cc6fac4698f
call_targets:
0x4b4b1d389d4f4e082b30f75c6319c0ce5acbd619
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf807ce77d8d909f60a2a78e6b48a823836d4656fdbe25761b95b0cc6fac4698f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b4b1d389d4f4e082b30f75c6319c0ce5acbd619"
],
"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": "0xb414d4b6",
"selector": "0xb414d4b6",
"calldata_variants": [
"0xb414d4b6",
"0xb414d4b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe4849b32",
"selector": "0xe4849b32",
"calldata_variants": [
"0xe4849b32",
"0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe724529c",
"selector": "0xe724529c",
"calldata_variants": [
"0xe724529c",
"0xe724529c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94357c6b",
"selector": "0x94357c6b",
"calldata_variants": [
"0x94357c6b",
"0x94357c6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3689,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8506,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 6162,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xf807ce77d8d909f60a2a78e6b48a823836d4656fdbe25761b95b0cc6fac4698f
call_targets:
0x4b4b1d389d4f4e082b30f75c6319c0ce5acbd619
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf807ce77d8d909f60a2a78e6b48a823836d4656fdbe25761b95b0cc6fac4698f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4b4b1d389d4f4e082b30f75c6319c0ce5acbd619"
],
"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": "0xb414d4b6",
"selector": "0xb414d4b6",
"calldata_variants": [
"0xb414d4b6",
"0xb414d4b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe4849b32",
"selector": "0xe4849b32",
"calldata_variants": [
"0xe4849b32",
"0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe724529c",
"selector": "0xe724529c",
"calldata_variants": [
"0xe724529c",
"0xe724529c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94357c6b",
"selector": "0x94357c6b",
"calldata_variants": [
"0x94357c6b",
"0x94357c6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3689,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 8506,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 6162,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|