[clang] [compiler-rt] [lld] [llvm] [Coverage][WebAssembly] Add initial support for WebAssembly/WASI (PR #111332)
Yuta Saito via cfe-commits
cfe-commits at lists.llvm.org
Mon Oct 7 00:59:43 PDT 2024
https://github.com/kateinoigakukun updated https://github.com/llvm/llvm-project/pull/111332
>From 605e1ad180c9f75fd59d8b783ae2041cbaf34e50 Mon Sep 17 00:00:00 2001
From: Yuta Saito <kateinoigakukun at gmail.com>
Date: Sat, 5 Oct 2024 16:54:57 +0000
Subject: [PATCH 1/7] [compiler-rt][profile] Add initial support for
WebAssembly/WASI
This patch adds initial support for WebAssembly/WASI to the profile
runtime library on the top of wasi-libc. This is a part of the ongoing
patch series to add coverage support for WebAssembly/WASI.
The patch includes the following changes:
* Add wasm32-wasi to the list of supported architectures/OSes.
* Exclude unsupported features for WASI: flock, madvise, uname.
* Enable some user-space emulation provided by wasi-libc: mmap, getpid
---
.../cmake/Modules/AllSupportedArchDefs.cmake | 2 +-
compiler-rt/cmake/config-ix.cmake | 2 +-
compiler-rt/lib/profile/CMakeLists.txt | 24 +++++++++++++++++++
compiler-rt/lib/profile/GCDAProfiling.c | 2 +-
compiler-rt/lib/profile/InstrProfilingPort.h | 2 +-
compiler-rt/lib/profile/InstrProfilingUtil.c | 12 ++++++----
6 files changed, 36 insertions(+), 8 deletions(-)
diff --git a/compiler-rt/cmake/Modules/AllSupportedArchDefs.cmake b/compiler-rt/cmake/Modules/AllSupportedArchDefs.cmake
index 809e9277156912..d00d39518104bf 100644
--- a/compiler-rt/cmake/Modules/AllSupportedArchDefs.cmake
+++ b/compiler-rt/cmake/Modules/AllSupportedArchDefs.cmake
@@ -77,7 +77,7 @@ set(ALL_HWASAN_SUPPORTED_ARCH ${X86_64} ${ARM64} ${RISCV64})
set(ALL_MEMPROF_SUPPORTED_ARCH ${X86_64})
set(ALL_PROFILE_SUPPORTED_ARCH ${X86} ${X86_64} ${ARM32} ${ARM64} ${PPC32} ${PPC64}
${MIPS32} ${MIPS64} ${S390X} ${SPARC} ${SPARCV9} ${HEXAGON}
- ${RISCV32} ${RISCV64} ${LOONGARCH64})
+ ${RISCV32} ${RISCV64} ${LOONGARCH64} ${WASM32})
set(ALL_CTX_PROFILE_SUPPORTED_ARCH ${X86_64})
if (OS_NAME MATCHES "FreeBSD")
set(ALL_TSAN_SUPPORTED_ARCH ${X86_64} ${MIPS64} ${ARM64})
diff --git a/compiler-rt/cmake/config-ix.cmake b/compiler-rt/cmake/config-ix.cmake
index a93a88a9205001..a494e0532a50bc 100644
--- a/compiler-rt/cmake/config-ix.cmake
+++ b/compiler-rt/cmake/config-ix.cmake
@@ -822,7 +822,7 @@ else()
endif()
if (PROFILE_SUPPORTED_ARCH AND NOT LLVM_USE_SANITIZER AND
- OS_NAME MATCHES "Darwin|Linux|FreeBSD|Windows|Android|Fuchsia|SunOS|NetBSD|AIX")
+ OS_NAME MATCHES "Darwin|Linux|FreeBSD|Windows|Android|Fuchsia|SunOS|NetBSD|AIX|WASI")
set(COMPILER_RT_HAS_PROFILE TRUE)
else()
set(COMPILER_RT_HAS_PROFILE FALSE)
diff --git a/compiler-rt/lib/profile/CMakeLists.txt b/compiler-rt/lib/profile/CMakeLists.txt
index ef23492514898b..a6402f80b890a2 100644
--- a/compiler-rt/lib/profile/CMakeLists.txt
+++ b/compiler-rt/lib/profile/CMakeLists.txt
@@ -38,6 +38,17 @@ int main() {
" COMPILER_RT_TARGET_HAS_FCNTL_LCK)
+CHECK_CXX_SOURCE_COMPILES("
+#include <sys/file.h>
+
+int fd;
+int main() {
+ flock(fd, LOCK_EX);
+ return 0;
+}
+
+" COMPILER_RT_TARGET_HAS_FLOCK)
+
CHECK_CXX_SOURCE_COMPILES("
#include <sys/utsname.h>
int main() {
@@ -93,6 +104,13 @@ if(FUCHSIA OR UNIX)
-Wno-pedantic)
endif()
+if(CMAKE_SYSTEM_NAME STREQUAL "WASI")
+ set(EXTRA_FLAGS
+ ${EXTRA_FLAGS}
+ -D_WASI_EMULATED_MMAN
+ -D_WASI_EMULATED_GETPID)
+endif()
+
if(COMPILER_RT_TARGET_HAS_ATOMICS)
set(EXTRA_FLAGS
${EXTRA_FLAGS}
@@ -105,6 +123,12 @@ if(COMPILER_RT_TARGET_HAS_FCNTL_LCK)
-DCOMPILER_RT_HAS_FCNTL_LCK=1)
endif()
+if(COMPILER_RT_TARGET_HAS_FLOCK)
+ set(EXTRA_FLAGS
+ ${EXTRA_FLAGS}
+ -DCOMPILER_RT_HAS_FLOCK=1)
+endif()
+
if(COMPILER_RT_TARGET_HAS_UNAME)
set(EXTRA_FLAGS
${EXTRA_FLAGS}
diff --git a/compiler-rt/lib/profile/GCDAProfiling.c b/compiler-rt/lib/profile/GCDAProfiling.c
index d6e2175169e4a5..a207ddf97c8831 100644
--- a/compiler-rt/lib/profile/GCDAProfiling.c
+++ b/compiler-rt/lib/profile/GCDAProfiling.c
@@ -584,7 +584,7 @@ void llvm_reset_counters(void) {
}
}
-#if !defined(_WIN32)
+#if !defined(_WIN32) && !defined(__wasi__)
COMPILER_RT_VISIBILITY
pid_t __gcov_fork() {
pid_t parent_pid = getpid();
diff --git a/compiler-rt/lib/profile/InstrProfilingPort.h b/compiler-rt/lib/profile/InstrProfilingPort.h
index ed0905cc5f2022..8715a3b0d2a6f0 100644
--- a/compiler-rt/lib/profile/InstrProfilingPort.h
+++ b/compiler-rt/lib/profile/InstrProfilingPort.h
@@ -54,7 +54,7 @@
#endif
#define COMPILER_RT_MAX_HOSTLEN 128
-#ifdef __ORBIS__
+#if defined(__ORBIS__) || defined(__wasi__)
#define COMPILER_RT_GETHOSTNAME(Name, Len) ((void)(Name), (void)(Len), (-1))
#else
#define COMPILER_RT_GETHOSTNAME(Name, Len) lprofGetHostName(Name, Len)
diff --git a/compiler-rt/lib/profile/InstrProfilingUtil.c b/compiler-rt/lib/profile/InstrProfilingUtil.c
index 642393d432d7ea..95ec4080ba2504 100644
--- a/compiler-rt/lib/profile/InstrProfilingUtil.c
+++ b/compiler-rt/lib/profile/InstrProfilingUtil.c
@@ -152,9 +152,11 @@ COMPILER_RT_VISIBILITY int lprofLockFd(int fd) {
}
}
return 0;
-#else
+#elif defined(COMPILER_RT_HAS_FLOCK)
flock(fd, LOCK_EX);
return 0;
+#else
+ return 0;
#endif
}
@@ -177,9 +179,11 @@ COMPILER_RT_VISIBILITY int lprofUnlockFd(int fd) {
}
}
return 0;
-#else
+#elif defined(COMPILER_RT_HAS_FLOCK)
flock(fd, LOCK_UN);
return 0;
+#else
+ return 0;
#endif
}
@@ -353,8 +357,8 @@ COMPILER_RT_VISIBILITY void lprofRestoreSigKill(void) {
COMPILER_RT_VISIBILITY int lprofReleaseMemoryPagesToOS(uintptr_t Begin,
uintptr_t End) {
-#if defined(__ve__)
- // VE doesn't support madvise.
+#if defined(__ve__) || defined(__wasi__)
+ // VE and WASI doesn't support madvise.
return 0;
#else
size_t PageSize = getpagesize();
>From 5939422c1022d8d85355a800ea7341d56c0378bb Mon Sep 17 00:00:00 2001
From: Yuta Saito <kateinoigakukun at gmail.com>
Date: Sat, 5 Oct 2024 17:08:14 +0000
Subject: [PATCH 2/7] [compiler-rt][profile] Use encapsulation symbols for Wasm
format
Use `InstrProfilingPlatformLinux.c` for Wasm as well as Wasm format
has encapsulation symbols (`__start_` and `__stop_`) similar to ELF.
This unlocks several additional profile features like value profiling.
---
compiler-rt/lib/profile/InstrProfilingPlatformLinux.c | 8 ++++----
compiler-rt/lib/profile/InstrProfilingPlatformOther.c | 3 ++-
llvm/lib/Transforms/Instrumentation/InstrProfiling.cpp | 5 +++--
llvm/test/Instrumentation/InstrProfiling/profiling.ll | 7 +------
4 files changed, 10 insertions(+), 13 deletions(-)
diff --git a/compiler-rt/lib/profile/InstrProfilingPlatformLinux.c b/compiler-rt/lib/profile/InstrProfilingPlatformLinux.c
index b766436497b741..02f23379ce98bf 100644
--- a/compiler-rt/lib/profile/InstrProfilingPlatformLinux.c
+++ b/compiler-rt/lib/profile/InstrProfilingPlatformLinux.c
@@ -6,11 +6,11 @@
|*
\*===----------------------------------------------------------------------===*/
-#if defined(__linux__) || defined(__FreeBSD__) || defined(__Fuchsia__) || \
- (defined(__sun__) && defined(__svr4__)) || defined(__NetBSD__) || \
- defined(_AIX)
+#if defined(__linux__) || defined(__FreeBSD__) || defined(__Fuchsia__) || \
+ (defined(__sun__) && defined(__svr4__)) || defined(__NetBSD__) || \
+ defined(_AIX) || defined(__wasm__)
-#if !defined(_AIX)
+#if !defined(_AIX) && !defined(__wasm__)
#include <elf.h>
#include <link.h>
#endif
diff --git a/compiler-rt/lib/profile/InstrProfilingPlatformOther.c b/compiler-rt/lib/profile/InstrProfilingPlatformOther.c
index aa79a5641ceca6..52e82273f8aade 100644
--- a/compiler-rt/lib/profile/InstrProfilingPlatformOther.c
+++ b/compiler-rt/lib/profile/InstrProfilingPlatformOther.c
@@ -8,7 +8,8 @@
#if !defined(__APPLE__) && !defined(__linux__) && !defined(__FreeBSD__) && \
!defined(__Fuchsia__) && !(defined(__sun__) && defined(__svr4__)) && \
- !defined(__NetBSD__) && !defined(_WIN32) && !defined(_AIX)
+ !defined(__NetBSD__) && !defined(_WIN32) && !defined(_AIX) && \
+ !defined(__wasm__)
#include <stdlib.h>
#include <stdio.h>
diff --git a/llvm/lib/Transforms/Instrumentation/InstrProfiling.cpp b/llvm/lib/Transforms/Instrumentation/InstrProfiling.cpp
index 1c95a4606ecc56..929c787442057a 100644
--- a/llvm/lib/Transforms/Instrumentation/InstrProfiling.cpp
+++ b/llvm/lib/Transforms/Instrumentation/InstrProfiling.cpp
@@ -1406,9 +1406,10 @@ static inline Constant *getFuncAddrForProfData(Function *Fn) {
static bool needsRuntimeRegistrationOfSectionRange(const Triple &TT) {
// compiler-rt uses linker support to get data/counters/name start/end for
- // ELF, COFF, Mach-O and XCOFF.
+ // ELF, COFF, Mach-O, XCOFF, and Wasm.
if (TT.isOSBinFormatELF() || TT.isOSBinFormatCOFF() ||
- TT.isOSBinFormatMachO() || TT.isOSBinFormatXCOFF())
+ TT.isOSBinFormatMachO() || TT.isOSBinFormatXCOFF() ||
+ TT.isOSBinFormatWasm())
return false;
return true;
diff --git a/llvm/test/Instrumentation/InstrProfiling/profiling.ll b/llvm/test/Instrumentation/InstrProfiling/profiling.ll
index e7678a9dce0891..74dd54cef50fb5 100644
--- a/llvm/test/Instrumentation/InstrProfiling/profiling.ll
+++ b/llvm/test/Instrumentation/InstrProfiling/profiling.ll
@@ -114,11 +114,6 @@ declare void @llvm.instrprof.increment(ptr, i64, i32, i32)
; PS: %[[REG:.*]] = load i32, ptr @__llvm_profile_runtime
; XCOFF-NOT: define .* __llvm_profile_runtime_user
-; WASM: define internal void @__llvm_profile_register_functions() unnamed_addr {
-; WASM-NEXT: call void @__llvm_profile_register_function(ptr @__profd_foo)
-; WASM-NEXT: call void @__llvm_profile_register_function(ptr @__profd_foo_weak)
-; WASM: call void @__llvm_profile_register_names_function(ptr @__llvm_prf_nm
-; WASM-NEXT: ret void
-; WASM-NEXT: }
+; WASM-NOT: internal void @__llvm_profile_register_functions()
; XCOFF-NOT: internal void @__llvm_profile_register_functions()
>From 141f533bb4b5bcf73aacfbca53eee5b8e8dee067 Mon Sep 17 00:00:00 2001
From: Yuta Saito <kateinoigakukun at gmail.com>
Date: Sat, 5 Oct 2024 17:23:53 +0000
Subject: [PATCH 3/7] [WebAssembly] Emit `__llvm_covmap` and `__llvm_covfun` as
custom sections
This patch makes `__llvm_covmap` and `__llvm_covfun` as custom sections
in the wasm object file because they will not be referenced at runtime
but just used by `llvm-cov` post-processing tools. The same approach is
used in the ELF object file to emit them without `SHF_ALLOC` flag.
Those sections have their associated comdat group symbols, which are
section symbols (not data symbols) in the wasm object file. This patch
also sets the symbol type explicitly not to hit an assertion in the
`WasmObjectWriter::writeOneObject` ("data symbols must live in a data
section").
---
.../CodeGen/TargetLoweringObjectFileImpl.cpp | 6 ++-
llvm/lib/MC/MCContext.cpp | 5 ++
llvm/test/CodeGen/WebAssembly/profile.ll | 47 +++++++++++++++++++
3 files changed, 57 insertions(+), 1 deletion(-)
create mode 100644 llvm/test/CodeGen/WebAssembly/profile.ll
diff --git a/llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp b/llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp
index 0d3e4ba5662e01..ce50a3c19ffe04 100644
--- a/llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp
+++ b/llvm/lib/CodeGen/TargetLoweringObjectFileImpl.cpp
@@ -2171,7 +2171,11 @@ MCSection *TargetLoweringObjectFileWasm::getExplicitSectionGlobal(
// This could be avoided if all data segements (the wasm sense) were
// represented as their own sections (in the llvm sense).
// TODO(sbc): https://github.com/WebAssembly/tool-conventions/issues/138
- if (Name == ".llvmcmd" || Name == ".llvmbc")
+ if (Name == getInstrProfSectionName(IPSK_covmap, Triple::Wasm,
+ /*AddSegmentInfo=*/false) ||
+ Name == getInstrProfSectionName(IPSK_covfun, Triple::Wasm,
+ /*AddSegmentInfo=*/false) ||
+ Name == ".llvmbc" || Name == ".llvmcmd")
Kind = SectionKind::getMetadata();
StringRef Group = "";
diff --git a/llvm/lib/MC/MCContext.cpp b/llvm/lib/MC/MCContext.cpp
index ac3946b6ef46f3..b97f9d9f5fed0f 100644
--- a/llvm/lib/MC/MCContext.cpp
+++ b/llvm/lib/MC/MCContext.cpp
@@ -757,6 +757,11 @@ MCSectionWasm *MCContext::getWasmSection(const Twine &Section, SectionKind K,
if (!Group.isTriviallyEmpty() && !Group.str().empty()) {
GroupSym = cast<MCSymbolWasm>(getOrCreateSymbol(Group));
GroupSym->setComdat(true);
+ if (K.isMetadata() && !GroupSym->getType().has_value()) {
+ // Comdat group symbol associated with a custom section is a section
+ // symbol (not a data symbol).
+ GroupSym->setType(wasm::WASM_SYMBOL_TYPE_SECTION);
+ }
}
return getWasmSection(Section, K, Flags, GroupSym, UniqueID);
diff --git a/llvm/test/CodeGen/WebAssembly/profile.ll b/llvm/test/CodeGen/WebAssembly/profile.ll
new file mode 100644
index 00000000000000..27802cc3bf3567
--- /dev/null
+++ b/llvm/test/CodeGen/WebAssembly/profile.ll
@@ -0,0 +1,47 @@
+; RUN: llc < %s --filetype=obj | obj2yaml | FileCheck %s
+
+target triple = "wasm32-unknown-unknown"
+
+$__covrec_A = comdat any
+$__covrec_B = comdat any
+
+ at __covrec_A = linkonce_odr hidden constant <{ i64, i32, i64, i64, [4 x i8] }> <{
+ i64 -1978722966671112904,
+ i32 4,
+ i64 0,
+ i64 -8102528905418564625,
+ [4 x i8] c"\01\01\04\11"
+}>, section "__llvm_covfun", comdat, align 8
+ at __covrec_B = linkonce_odr hidden constant <{ i64, i32, i64, i64, [4 x i8] }> <{
+ i64 8006510647218728891,
+ i32 9,
+ i64 0,
+ i64 -8102528905418564625,
+ [4 x i8] c"\01\01\00\01"
+}>, section "__llvm_covfun", comdat, align 8
+ at __llvm_coverage_mapping = private constant { { i32, i32, i32, i32 }, [4 x i8] } {
+ { i32, i32, i32, i32 } { i32 0, i32 87, i32 0, i32 5 },
+ [4 x i8] c"\01\01\00\02"
+}, section "__llvm_covmap", align 8
+
+; CHECK: - Type: CUSTOM
+; CHECK-NEXT: Name: __llvm_covfun
+; CHECK-NEXT: Payload: 3845A90EF2298AE4040000000000000000000000EF1B31BAE3088E8F01010411
+; CHECK-NEXT: - Type: CUSTOM
+; CHECK-NEXT: Name: __llvm_covfun
+; CHECK-NEXT: Payload: BBEFDA6903D71C6F090000000000000000000000EF1B31BAE3088E8F01010001
+; CHECK-NEXT: - Type: CUSTOM
+; CHECK-NEXT: Name: __llvm_covmap
+; CHECK-NEXT: Payload: '0000000057000000000000000500000001010002'
+; CHECK-NEXT: - Type: CUSTOM
+; CHECK-NEXT: Name: linking
+; CHECK-NEXT: Version: 2
+; CHECK-NEXT: Comdats:
+; CHECK-NEXT: - Name: __covrec_A
+; CHECK-NEXT: Entries:
+; CHECK-NEXT: - Kind: SECTION
+; CHECK-NEXT: Index: 1
+; CHECK-NEXT: - Name: __covrec_B
+; CHECK-NEXT: Entries:
+; CHECK-NEXT: - Kind: SECTION
+; CHECK-NEXT: Index: 2
>From 29cc14ffa418bf61ed677b5495a4606de660bf8d Mon Sep 17 00:00:00 2001
From: Yuta Saito <kateinoigakukun at gmail.com>
Date: Sat, 5 Oct 2024 17:40:17 +0000
Subject: [PATCH 4/7] [wasm-ld][Coverage] Align `__llvm_{covfun,covmap}`
sections to 8 bytes
This patch aligns the `__llvm_{covfun,covmap}` sections to 8 bytes at
the linking stage. This is required because llvm-cov assumes that
records in the sections are 8-byte aligned. Unfortunately, custom
sections does not have an alignment attribute in the WebAssembly linking
spec, so we temporarily do a special case for the metadata sections.
In the future, we should generalize this to support alignment for
relocatable custom sections.
---
lld/test/wasm/custom-section-align.s | 31 ++++++++++++++++++++++++++++
lld/wasm/InputChunks.h | 10 +++++----
lld/wasm/InputFiles.cpp | 18 ++++++++++++++--
lld/wasm/OutputSections.cpp | 1 +
4 files changed, 54 insertions(+), 6 deletions(-)
create mode 100644 lld/test/wasm/custom-section-align.s
diff --git a/lld/test/wasm/custom-section-align.s b/lld/test/wasm/custom-section-align.s
new file mode 100644
index 00000000000000..0e46177f4cdb79
--- /dev/null
+++ b/lld/test/wasm/custom-section-align.s
@@ -0,0 +1,31 @@
+# RUN: llvm-mc -filetype=obj -triple=wasm32-unknown-unknown -o %t.o %s
+# RUN: wasm-ld --no-entry %t.o -o %t.wasm
+# RUN: obj2yaml %t.wasm | FileCheck %s
+
+# Check that "__llvm_covfun" custom section is aligned to 8 bytes.
+
+ .section .custom_section.__llvm_covfun,"GR",@,__covrec_A
+ .int32 1
+ .int8 2
+# pad .int8 0
+# .int8 0
+# .int8 0
+
+ .section .custom_section.__llvm_covfun,"GR",@,__covrec_B
+ .int32 3
+
+# CHECK: - Type: CUSTOM
+# CHECK-NEXT: Name: __llvm_covfun
+# CHECK-NEXT: Payload: '010000000200000003000000'
+
+# Check that regular custom sections are not aligned.
+ .section .custom_section.foo,"GR",@,foo_A
+ .int32 1
+ .int8 2
+
+ .section .custom_section.foo,"GR",@,foo_B
+ .int32 3
+
+# CHECK: - Type: CUSTOM
+# CHECK-NEXT: Name: foo
+# CHECK-NEXT: Payload: '010000000203000000'
diff --git a/lld/wasm/InputChunks.h b/lld/wasm/InputChunks.h
index 14eb008c212fb5..d6769bcf5c8232 100644
--- a/lld/wasm/InputChunks.h
+++ b/lld/wasm/InputChunks.h
@@ -177,8 +177,9 @@ class MergeInputChunk : public InputChunk {
inputSectionOffset = seg.SectionOffset;
}
- MergeInputChunk(const WasmSection &s, ObjFile *f)
- : InputChunk(f, Merge, s.Name, 0, llvm::wasm::WASM_SEG_FLAG_STRINGS) {
+ MergeInputChunk(const WasmSection &s, ObjFile *f, uint32_t alignment)
+ : InputChunk(f, Merge, s.Name, alignment,
+ llvm::wasm::WASM_SEG_FLAG_STRINGS) {
assert(s.Type == llvm::wasm::WASM_SEC_CUSTOM);
comdat = s.Comdat;
rawData = s.Content;
@@ -234,6 +235,7 @@ class SyntheticMergedChunk : public InputChunk {
void addMergeChunk(MergeInputChunk *ms) {
comdat = ms->getComdat();
+ alignment = std::max(alignment, ms->alignment);
ms->parent = this;
chunks.push_back(ms);
}
@@ -337,8 +339,8 @@ class SyntheticFunction : public InputFunction {
// Represents a single Wasm Section within an input file.
class InputSection : public InputChunk {
public:
- InputSection(const WasmSection &s, ObjFile *f)
- : InputChunk(f, InputChunk::Section, s.Name),
+ InputSection(const WasmSection &s, ObjFile *f, uint32_t alignment)
+ : InputChunk(f, InputChunk::Section, s.Name, alignment),
tombstoneValue(getTombstoneForSection(s.Name)), section(s) {
assert(section.Type == llvm::wasm::WASM_SEC_CUSTOM);
comdat = section.Comdat;
diff --git a/lld/wasm/InputFiles.cpp b/lld/wasm/InputFiles.cpp
index de8e707ab2b497..a60deba9113cd4 100644
--- a/lld/wasm/InputFiles.cpp
+++ b/lld/wasm/InputFiles.cpp
@@ -18,6 +18,7 @@
#include "llvm/BinaryFormat/Wasm.h"
#include "llvm/Object/Binary.h"
#include "llvm/Object/Wasm.h"
+#include "llvm/ProfileData/InstrProf.h"
#include "llvm/Support/Path.h"
#include "llvm/Support/TarWriter.h"
#include "llvm/Support/raw_ostream.h"
@@ -451,6 +452,18 @@ void SharedFile::parse() {
}
}
+/// Returns the alignment for a custom section. This is used to concatenate
+/// custom sections with the same name into a single custom section.
+static uint32_t getCustomSectionAlignment(const WasmSection &sec) {
+ // TODO: Add a section attribute for alignment in the linking spec.
+ if (sec.Name == getInstrProfSectionName(IPSK_covfun, Triple::Wasm) ||
+ sec.Name == getInstrProfSectionName(IPSK_covmap, Triple::Wasm)) {
+ // llvm-cov assumes that coverage metadata sections are 8-byte aligned.
+ return 8;
+ }
+ return 1;
+}
+
WasmFileBase::WasmFileBase(Kind k, MemoryBufferRef m) : InputFile(k, m) {
// Parse a memory buffer as a wasm file.
LLVM_DEBUG(dbgs() << "Reading object: " << toString(this) << "\n");
@@ -520,10 +533,11 @@ void ObjFile::parse(bool ignoreComdats) {
dataSection = §ion;
} else if (section.Type == WASM_SEC_CUSTOM) {
InputChunk *customSec;
+ uint32_t alignment = getCustomSectionAlignment(section);
if (shouldMerge(section))
- customSec = make<MergeInputChunk>(section, this);
+ customSec = make<MergeInputChunk>(section, this, alignment);
else
- customSec = make<InputSection>(section, this);
+ customSec = make<InputSection>(section, this, alignment);
customSec->discarded = isExcludedByComdat(customSec);
customSections.emplace_back(customSec);
customSections.back()->setRelocations(section.Relocations);
diff --git a/lld/wasm/OutputSections.cpp b/lld/wasm/OutputSections.cpp
index b0b2446cb56bfc..e4f75829ec4c3e 100644
--- a/lld/wasm/OutputSections.cpp
+++ b/lld/wasm/OutputSections.cpp
@@ -244,6 +244,7 @@ void CustomSection::finalizeContents() {
for (InputChunk *section : inputSections) {
assert(!section->discarded);
+ payloadSize = alignTo(payloadSize, section->alignment);
section->outSecOff = payloadSize;
payloadSize += section->getSize();
}
>From f2ad45c9e45708d02810d38680e3e5bfd811b425 Mon Sep 17 00:00:00 2001
From: Yuta Saito <kateinoigakukun at gmail.com>
Date: Sun, 6 Oct 2024 09:24:58 +0000
Subject: [PATCH 5/7] [llvm-cov][WebAssembly] Align coverage mapping section to
8 bytes
Wasm format does not have a good way to insert padding bytes to align
the start of a section contents because the size of each section header
depends on the size of the section contents (leb128 encoding). This
design makes it difficult to align section contents to a specific
alignment to load them by post-processing tools like llvm-cov.
This patch copies the coverage mapping section to a new buffer that is
aligned to 8 bytes if the original section is not aligned. This is
not an ideal solution but it works for now.
---
.../Coverage/CoverageMappingReader.h | 13 +++++++++--
.../Coverage/CoverageMappingReader.cpp | 23 ++++++++++++++-----
2 files changed, 28 insertions(+), 8 deletions(-)
diff --git a/llvm/include/llvm/ProfileData/Coverage/CoverageMappingReader.h b/llvm/include/llvm/ProfileData/Coverage/CoverageMappingReader.h
index f05b90114d75a6..886b4d3d6894dc 100644
--- a/llvm/include/llvm/ProfileData/Coverage/CoverageMappingReader.h
+++ b/llvm/include/llvm/ProfileData/Coverage/CoverageMappingReader.h
@@ -180,6 +180,7 @@ class BinaryCoverageReader : public CoverageMappingReader {
};
using FuncRecordsStorage = std::unique_ptr<MemoryBuffer>;
+ using CoverageMapCopyStorage = std::unique_ptr<MemoryBuffer>;
private:
std::vector<std::string> Filenames;
@@ -195,9 +196,16 @@ class BinaryCoverageReader : public CoverageMappingReader {
// D69471, which can split up function records into multiple sections on ELF.
FuncRecordsStorage FuncRecords;
+ // Used to tie the lifetimes of an optional copy of the coverage mapping data
+ // to the lifetime of this BinaryCoverageReader instance. Needed to support
+ // Wasm object format, which might require realignment of section contents.
+ CoverageMapCopyStorage CoverageMapCopy;
+
BinaryCoverageReader(std::unique_ptr<InstrProfSymtab> Symtab,
- FuncRecordsStorage &&FuncRecords)
- : ProfileNames(std::move(Symtab)), FuncRecords(std::move(FuncRecords)) {}
+ FuncRecordsStorage &&FuncRecords,
+ CoverageMapCopyStorage &&CoverageMapCopy)
+ : ProfileNames(std::move(Symtab)), FuncRecords(std::move(FuncRecords)),
+ CoverageMapCopy(std::move(CoverageMapCopy)) {}
public:
BinaryCoverageReader(const BinaryCoverageReader &) = delete;
@@ -212,6 +220,7 @@ class BinaryCoverageReader : public CoverageMappingReader {
static Expected<std::unique_ptr<BinaryCoverageReader>>
createCoverageReaderFromBuffer(
StringRef Coverage, FuncRecordsStorage &&FuncRecords,
+ CoverageMapCopyStorage &&CoverageMap,
std::unique_ptr<InstrProfSymtab> ProfileNamesPtr, uint8_t BytesInAddress,
llvm::endianness Endian, StringRef CompilationDir = "");
diff --git a/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp b/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp
index bc4e780fb67a60..8881bffe41c57c 100644
--- a/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp
+++ b/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp
@@ -894,13 +894,15 @@ static Error readCoverageMappingData(
Expected<std::unique_ptr<BinaryCoverageReader>>
BinaryCoverageReader::createCoverageReaderFromBuffer(
StringRef Coverage, FuncRecordsStorage &&FuncRecords,
+ CoverageMapCopyStorage &&CoverageMap,
std::unique_ptr<InstrProfSymtab> ProfileNamesPtr, uint8_t BytesInAddress,
llvm::endianness Endian, StringRef CompilationDir) {
if (ProfileNamesPtr == nullptr)
return make_error<CoverageMapError>(coveragemap_error::malformed,
"Caller must provide ProfileNames");
- std::unique_ptr<BinaryCoverageReader> Reader(new BinaryCoverageReader(
- std::move(ProfileNamesPtr), std::move(FuncRecords)));
+ std::unique_ptr<BinaryCoverageReader> Reader(
+ new BinaryCoverageReader(std::move(ProfileNamesPtr),
+ std::move(FuncRecords), std::move(CoverageMap)));
InstrProfSymtab &ProfileNames = *Reader->ProfileNames;
StringRef FuncRecordsRef = Reader->FuncRecords->getBuffer();
if (BytesInAddress == 4 && Endian == llvm::endianness::little) {
@@ -1035,8 +1037,8 @@ loadTestingFormat(StringRef Data, StringRef CompilationDir) {
MemoryBuffer::getMemBuffer(Data);
return BinaryCoverageReader::createCoverageReaderFromBuffer(
- CoverageMapping, std::move(CoverageRecords), std::move(ProfileNames),
- BytesInAddress, Endian, CompilationDir);
+ CoverageMapping, std::move(CoverageRecords), nullptr,
+ std::move(ProfileNames), BytesInAddress, Endian, CompilationDir);
}
/// Find all sections that match \p IPSK name. There may be more than one if
@@ -1136,6 +1138,15 @@ loadBinaryFormat(std::unique_ptr<Binary> Bin, StringRef Arch,
return CoverageMappingOrErr.takeError();
StringRef CoverageMapping = CoverageMappingOrErr.get();
+ // If the coverage mapping section is not aligned to 8 bytes, copy it to a
+ // new buffer that is. Wasm format typically has unaligned section contents
+ // because it doesn't have a good way to insert padding bytes.
+ std::unique_ptr<MemoryBuffer> CoverageMapCopy;
+ if (!isAddrAligned(Align(8), CoverageMapping.data())) {
+ CoverageMapCopy = MemoryBuffer::getMemBufferCopy(CoverageMapping);
+ CoverageMapping = CoverageMapCopy->getBuffer();
+ }
+
// Look for the coverage records section (Version4 only).
auto CoverageRecordsSections = lookupSections(*OF, IPSK_covfun);
@@ -1184,8 +1195,8 @@ loadBinaryFormat(std::unique_ptr<Binary> Bin, StringRef Arch,
*BinaryID = getBuildID(OF.get());
return BinaryCoverageReader::createCoverageReaderFromBuffer(
- CoverageMapping, std::move(FuncRecords), std::move(ProfileNames),
- BytesInAddress, Endian, CompilationDir);
+ CoverageMapping, std::move(FuncRecords), std::move(CoverageMapCopy),
+ std::move(ProfileNames), BytesInAddress, Endian, CompilationDir);
}
/// Determine whether \p Arch is invalid or empty, given \p Bin.
>From 0529ec71c8c97b14791e9f32e8d55af816d9e6a3 Mon Sep 17 00:00:00 2001
From: Yuta Saito <kateinoigakukun at gmail.com>
Date: Sat, 5 Oct 2024 17:33:58 +0000
Subject: [PATCH 6/7] [llvm-cov][WebAssembly] Read `__llvm_prf_names` from data
segments
On WebAssembly, most coverage metadata contents read by llvm-cov (like
`__llvm_covmap` and `__llvm_covfun`) are stored in custom sections
because they are not referenced at runtime. However, `__llvm_prf_names`
is referenced at runtime by the profile runtime library and is read
by llvm-cov post-processing tools, so it needs to be stored in a data
segment, which is allocatable at runtime and accessible by tools as long
as "name" section is present in the binary.
This patch changes the way llvm-cov reads `__llvm_prf_names` on
WebAssembly. Instead of looking for a section, it looks for a data
segment with the same name.
---
.../Coverage/CoverageMappingReader.cpp | 64 +++++++++++++++---
.../llvm-cov/Inputs/binary-formats.v6.wasm32 | Bin 0 -> 87825 bytes
.../Inputs/binary-formats.wasm.proftext | 4 ++
llvm/test/tools/llvm-cov/binary-formats.c | 7 ++
4 files changed, 66 insertions(+), 9 deletions(-)
create mode 100755 llvm/test/tools/llvm-cov/Inputs/binary-formats.v6.wasm32
create mode 100644 llvm/test/tools/llvm-cov/Inputs/binary-formats.wasm.proftext
diff --git a/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp b/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp
index 8881bffe41c57c..461fc43d32f8df 100644
--- a/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp
+++ b/llvm/lib/ProfileData/Coverage/CoverageMappingReader.cpp
@@ -18,12 +18,14 @@
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/StringRef.h"
+#include "llvm/BinaryFormat/Wasm.h"
#include "llvm/Object/Archive.h"
#include "llvm/Object/Binary.h"
#include "llvm/Object/COFF.h"
#include "llvm/Object/Error.h"
#include "llvm/Object/MachOUniversal.h"
#include "llvm/Object/ObjectFile.h"
+#include "llvm/Object/Wasm.h"
#include "llvm/ProfileData/InstrProf.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/Compression.h"
@@ -1077,6 +1079,53 @@ lookupSections(ObjectFile &OF, InstrProfSectKind IPSK) {
return Sections;
}
+/// Find a section that matches \p Name and is allocatable at runtime.
+///
+/// Returns the contents of the section and its start offset in the object file.
+static Expected<std::pair<StringRef, uint64_t>>
+lookupAllocatableSection(ObjectFile &OF, InstrProfSectKind IPSK) {
+ // On Wasm, allocatable sections can live only in data segments.
+ if (auto *WOF = dyn_cast<WasmObjectFile>(&OF)) {
+ std::vector<const WasmSegment *> Segments;
+ auto ObjFormat = OF.getTripleObjectFormat();
+ auto Name =
+ getInstrProfSectionName(IPSK, ObjFormat, /*AddSegmentInfo=*/false);
+ for (const auto &DebugName : WOF->debugNames()) {
+ if (DebugName.Type != wasm::NameType::DATA_SEGMENT ||
+ DebugName.Name != Name)
+ continue;
+ if (DebugName.Index >= WOF->dataSegments().size())
+ return make_error<CoverageMapError>(coveragemap_error::malformed);
+ auto &Segment = WOF->dataSegments()[DebugName.Index];
+ Segments.push_back(&Segment);
+ }
+ if (Segments.empty())
+ return make_error<CoverageMapError>(coveragemap_error::no_data_found);
+ if (Segments.size() != 1)
+ return make_error<CoverageMapError>(coveragemap_error::malformed);
+
+ const auto &Segment = *Segments.front();
+ auto &Data = Segment.Data;
+ StringRef Content(reinterpret_cast<const char *>(Data.Content.data()),
+ Data.Content.size());
+ return std::make_pair(Content, Segment.SectionOffset);
+ }
+
+ // On other object file types, delegate to lookupSections to find the section.
+ auto Sections = lookupSections(OF, IPSK);
+ if (!Sections)
+ return Sections.takeError();
+ if (Sections->size() != 1)
+ return make_error<CoverageMapError>(
+ coveragemap_error::malformed,
+ "the size of coverage mapping section is not one");
+ auto &Section = Sections->front();
+ auto ContentsOrErr = Section.getContents();
+ if (!ContentsOrErr)
+ return ContentsOrErr.takeError();
+ return std::make_pair(*ContentsOrErr, Section.getAddress());
+}
+
static Expected<std::unique_ptr<BinaryCoverageReader>>
loadBinaryFormat(std::unique_ptr<Binary> Bin, StringRef Arch,
StringRef CompilationDir = "",
@@ -1107,23 +1156,20 @@ loadBinaryFormat(std::unique_ptr<Binary> Bin, StringRef Arch,
// Look for the sections that we are interested in.
auto ProfileNames = std::make_unique<InstrProfSymtab>();
- std::vector<SectionRef> NamesSectionRefs;
// If IPSK_name is not found, fallback to search for IPK_covname, which is
// used when binary correlation is enabled.
- auto NamesSection = lookupSections(*OF, IPSK_name);
+ auto NamesSection = lookupAllocatableSection(*OF, IPSK_name);
if (auto E = NamesSection.takeError()) {
consumeError(std::move(E));
- NamesSection = lookupSections(*OF, IPSK_covname);
+ NamesSection = lookupAllocatableSection(*OF, IPSK_covname);
if (auto E = NamesSection.takeError())
return std::move(E);
}
- NamesSectionRefs = *NamesSection;
- if (NamesSectionRefs.size() != 1)
- return make_error<CoverageMapError>(
- coveragemap_error::malformed,
- "the size of coverage mapping section is not one");
- if (Error E = ProfileNames->create(NamesSectionRefs.back()))
+ uint64_t NamesAddress;
+ StringRef NamesContent;
+ std::tie(NamesContent, NamesAddress) = *NamesSection;
+ if (Error E = ProfileNames->create(NamesContent, NamesAddress))
return std::move(E);
auto CoverageSection = lookupSections(*OF, IPSK_covmap);
diff --git a/llvm/test/tools/llvm-cov/Inputs/binary-formats.v6.wasm32 b/llvm/test/tools/llvm-cov/Inputs/binary-formats.v6.wasm32
new file mode 100755
index 0000000000000000000000000000000000000000..96b3a62acb7a5b270334a002451ab1b01cf95679
GIT binary patch
literal 87825
zcmd4437B0~mG^zmxwod=O6nx3kV;Y{dsiw at AqfNsNeBUQLa0hem?D#k5{5vy6(E;X
z7&Ihd6cuDp5fu~^2?9}^XGKNDc4$<z>27Ut=oZ_d(bj&Qx_N*9wfDJIl>vR<=X<{I
z(<0}dbN0CQ+H0---)pZ^I(PFWNvTvy{wbNhF4<mMSKhvTd$OIM{FB<x62F>wYBxM8
ztt%<nw(ZF_Qf!NFx!u055>r)ptNS*~wk_P0NS`Qqvpo&j^>6bwrJ!8iZVP3UV%DNO
z-ft_#j4DE{jExAj>S3!=$I8;J+mo%a*`@Thrt$k-dG6+m&)IzGxtlg`xNPX0O_#5~
z;^OsJ9@={D<ri%}=c4sPrSd*fjI$J*FMief7f)ARf9Vw$Uw+x8FIw36BGF$jul2$U
z&N+YMWt-QR(tWgSEGaI$VDr$qLoZtA#NlL{*AJa@;l^_>+Pu%+b}I438`oQ at O0I^M
z+V;@`wGm35dqHW;K2nSeDgLHLQj(>+;Nr{Ax%Avi)|Zlf6xu?eR%`V|5^P?-ez4TO
zj|6J?m6u;Uw7#^jA|`D*cWA>o=Tptl`g3T}`tye_yZq{XHmS{$U$$xerKPd^sIzU;
z<(Hj*&ibn^9x9c}KS_R+v^2GpE5-lP%D9ekm2uhl at e{^Z##bgbCuwIXNs~#{q%y9p
zElta*{@0RL_N$c3Nu{Y=Zk}9jPPi$zRJzJ7X$$|Wv{cecIc=#_%2UWfMLa51l8`xV
zuC$~n56jJMQ%lNOPRr%CG3BJ%UM){6ku0IKmU1<rv@}s0TGCPr84~JGlBBgYNlI!*
zIUz}!R4K5Ul)KAGQ`i12WFrklP at S%oressH-+oPH at -%OnxIM{l|4XI1y_A>q&tvoT
z at 3SNR{jL3e$o>s)EusDM%)v^X=$~I6)cE<tf7;6j{%DtRdj5EL)KP7jm^NRs{t`wl
zEj6D5XI(y2n%LHpsFX>EoN&x>t4}=X<Wtt1KD7SSo0E?xUrN4`d@*@E`AIV7=U=V-
zD5;dPtEy12x;9C+r_0i1Gq2sTV at E09@d5s=^`)h;rBP4vWMNv$?ogWSc9NESDf@)3
zt~563s8WzCW%uhrsru4#WqWyBx_u_8NtouDFT2#02Ytm=Txnt2&V}+?^OA3JO|#1n
zJ*ITc%M;(?nqA9QuQzS3&9yEH at 3<Y~#&lHoOVaK9rqaIjvEM6G;;6lYKFqw%D&tkW
zzkav-8+N<Daku-McDsMgZud9ucK_Pp`&mh)=xjn~Q<u1OkUp2Kvox4~cT|-szd`i%
zk+y2RE7i!5LUCp2s7_3hZOgBH&s+ce;2ZAw=yr9rqx#Bnd3(#Y^1kX=RBm<U+2vMW
zS>6IcE3WB!h}jA;A?G!|m8X!>wOubF?)26Cg~YeJs%x+Nv2JWfwJSv*ZkzeKqC>OG
zk*-%K<G1HGzgUYy-+WWL%$1KHTgq>-#La<qLIY~P)wQa7Z6qG!+I-cG3Dpm%df!xa
zO at 3US_zpMDb<}<4vX1Jvl5z)aYVc4gcMz-Ol0gxxmzKhZcUgmtwHBt`*<0+k0;g3L
zrd`?F?6!&9riE!|_IA5%=C*lZnq_y}Z40+8 at MHE?yKUvR6~5GPbVD;PT{M|XC#~j^
z(Qq#9G at MJT9|w<)5hdMNH!gdR71BXdGYZOTe!LqWn(8__s_!eewON<ct;)7>+s6)f
zuQ`9J6nKA7)QXu}#Xf5oIp)erF6qK_1()(dsNJegF6Bb!7K^@%HO77EQjyq=8Dx}8
zfyzTh<#BG at E-2jUIu@1ZE8!X%$z>&t%-s0wL2LU25=>ZB?$etUexfeRe5ae}I<uXY
zU=j%?Eh;<LI=kHG_tVAs$-2z<U3r(E!uu&TKh;h3)0hd}+;-Re{%(IiJ#Y0hxSdh+
z&N=Vher~esa?{*&$n}s4r@=k0CwqrgG&6su<a^yr*IV<m+$?{9J7AYTFjU*;4s?B6
z{cPQJ`GeeSchFWpC$wd*o8#tg_49O>`Geg&ckot!i0<b5`R))mf2%)Kcdh;~cc?pT
zt3O<%UqHha)cg_dh)DXwJE|MYP5YK&G1(|-<|^V0=ASsD*)_T5?7h~PmgRknYKv>#
z#vI5Ppo$w)gQ2Ril(vrQHBC*%8|g4lj24 at JV}*}|3bTjp3M;`CZM&$l#f{kpPl$ml
zuDvFnh(%UAs?VhzP1{ohj11T$UMu`g?Z1ZLY0l^Gl}n9dTw;9T(naMi$O)Hra)C?X
zGjVBq_NX<gP1?q_jV+10I{ldCB}oKVT~y|Y*s0yMXZKsuv658dG`H&TZpW^`vYF<U
z%VPR2Kfz6i=_e|^v1{E=a+7w6K{Y0mVYU58-=0)eMW63l4tGs~{ibXcuV%Zfx at n<B
z-LBhBYqSR5jjyNcbp{j9aMK%=!^`ot4|T!9&hxqot!C2mnKjtBH_*DHdSjAGuKiWb
z*x)5m4($<Gsv_A{(jC$wk4#mAsglO5*UL(n_=A2dX^ecAihPo+yF|N=>OEL7+ncww
z78<1lW9%Vb-(^H8FXv+a%TQxwSGnFdF=X(!SRwHB+TkYDebvUdDs3P&le%`s9?CQS
zk(zEScP2~Q5&9YJN?k`yO^fU}uA}<!Zo>cnU?%LFT#YHgJbW>d#dLd+jkZo;>P)C1
z7AMBGLdhzo2ZGDg^v{xJO`#^EY*R7F3Ho59MX;!xNn1nBs4bhKwrs}sX{tfh7LD(S
zxr?~CjyY1+9EqB~ogo<OAR!9W^yV2pgWM*|>wba_!GvLjJTX?$>6jfg%?(wtpW9DU
zW0&s==7UX$YnTvaH<d}um{H3#?wAc-)Gukv<mjlLnzR(0GkR=B8h4R}XTBchF at 9+<
zuPhVTv|W9a`o%VSZ6#S&6j_E~#%Y5H)22x3CKcW7nxqT6xS$I=U6a&wb6ycAx)vE4
zP14`(3`iS4+mJo!vhp&eli1}VJ#N;AsOQG6+RgAder%#tT at cdpOrY$EZi1UQgjgBx
zIwR>Skj|1#4#~PmX2ctUc$3}K8dRI6Dcg;f>)wd|YjXR`uCPqgL#7#Ia>x=lgfc`4
z)};M3EHi07n$OR2y{Nre?tlS*AY*G<ukL5t*v at 8bRZKhT?;vHG6Uv?&%AQBrru&A_
zeRJI*HFV#6B|B8_rTgYMv|si!8SGOf7OiE6hujOueS}-!ju`R_-QjLw%`b9`RM%nz
z_hM?UTKZOhq|&$hC2onzKFS^Cj;#5mZi!neF~z&gA5F`TaYwsjYW`TLa4bX8PJX($
zjA71sl-K-nx4c&(rsS4&RBua@{R>tYZB55C(W-uvnVOZz*>H-h)DTO}YDx=C3uCqB
zcUvOk3nsm5)5|fu93!b(7Ac~gRLmwfZoqfY=FD}ttnSCt<MBwc`>dP^u`(op1VJYS
zb*h#fkC&KJWjBdZnJ1#jexdZqx>PWY?)weh^HX90=p30za7i$OGK$9llEGAt22<?p
zw2taql4NW_kP2zc!XH#u!*px5wG?;E2{eQ>Z%Jg(G~?2kX7;eXFv9~0cwb>kSTgjk
ztBOmxlXS6%*o`K#!(9jCW|UzVJF1VQi7y)VA|n+DVoI!HD}^QrrrV98`&cQ2EUZ at 4
z5)38RHs1IHtr~{CJrWW#M%E0iRLa;qi9v+*csF6dPh>0$i-575G+gz5u?RB`YRJGY
z6)`1NFmfK3B=y{s*aS$hKjX%HE=Bg5&YYiKGs8enWo0?W(bbsPK8#~W^|O^EFNjsf
zHrTs_>w}GvaJ^g at O{Y2Jq-*=qK1LJ8kRjxnO at oDpMx%CU)F!1Lq}u9HQqAN=7Ue}B
zv>Bg$SllKp;Y>$tN5(a|i3`)Y?P-|Wz0j;lye*|NiJx$`iCZVh=k`MeLk6Uun`}~9
ztwbuTl~ddl@!V9`1$$40a?@P*YQI0_On3Xc>2*KD8Z at KPAm^M252<wN38l<*Gj-Ps
zDQ8j3teR&55XE4x!~AzW<B?rEN+k(ICvli>M;11 at gVc?3HOjO;1mhe{1rv;YtPAFe
zh6f`Q53V5_o7^Gj3)R`~=OgxzkM7VK^6 at Z#IHGTU_P#hV7w{si5d1>YE#h`j%`bL~
z{gHHSi96CQbW5`LEA><r*NQkadMtHIb$2wv@#sNBp*=j-9qW#Px+VuHY8j0-nL5|!
z at Wyf;EwB0G+;P1WxTECqj_T{uWNN`bqfLsK#>66;T<Xgv8<N6Et?3pXn{<>|FzHyL
z;g}QBm?jImf`F8!Gyy3P#;gue$cjZmXjGVVx{M1Cu`G3mQRBx`;sh-xQJLe4 at tMf@
zObp`_1!gyF7V=J_iv8RqF_h5)acLZ7ue%YO4t^@f6=m#aS4Z`~lVnmsi+#@}hFo(=
zQ;NCN8{q<5m@%~?T+qT>G(~rW3rtf8JqU0?v?4kqT!0B7v6)4<fDx0xH1?Ux^kZlp
z#NpBnakzA0n{nxcI9xRMxJWc{Y1gFdOEuFBJ&?XJ!fCPnQH{Ev1S{BdtI1634XiM!
zqx$1<2g-V{usloS5>3|>+f)Cwf-bc2Ur3{8VHr1rcg-XItMa?Te-jH*w&hQy!wZRG
zbqcVzFnuyb2t&*#bcLFa>x!cJw63i2KCUZEl at II6BIPk%q3ff%!e9 at jSy)cAH<lAx
z4$$-K{kY{wZZ}SfMUvZ%U+X8pNM?7{Ax~9;=m84q<6l3?cv^CtY-Yh~s`KuN6cNPr
z at if?C5z-J8F}dm{BaNyuWbZBt>b8QqLqUd63>P#b7G(BWT*V`x{Pe1uj)<zdo<-%`
zt)Ne*ex?$CJeAGndLvFUi!`$qm2WQ691znS=nilPW?_}yN1DDx<sC(XhAlg01!kR}
z6C3nsiuj_A$5Q0iTsLnJ`E{_LQ+0EYV28-GdlbP{b%!o0{~>YJ+4K<!#`WeDDaQ2=
ziC>W4onX{e-4Qj6x`lpGetUxWs=CEB%(x@{lKkcbkyUj^$%0#oygCf|x4<pJnman+
zGb(9EiU_N^V`#S3bbE?fS9QlODqoe|XH2_{+hvQ&_a$+_bMA9s+=NbH=S6r2(dJjU
z6_5Jkd42q%@?%!oRlc9w{zc`Fhi)W(fct?(<;U%QN8(p<zj9IeNxP>9tGHjasQi at O
z)6EmOKVeb%8SeXFPQO}LIAe`l?bZzX6WxjaBzMv-e=_M#UQ~Y8(m~f#+$sK4cj_*`
zmKSRmm7hxhqhG at Bmn<qjZ;4>N(~xAR1%5f5SEnmKOn3&r&rp_XeqZ9x<nGLxKg*rv
zU&_yyE=<=6%6b{UU$!v40LFefKVQBu-2g$(=I7Z9(~WB7lc|4&dxb>lE931s`LiXz
zjwI`9{#<viKab4kyK~%m?tJ&kLcCsJY<xiwu<J>@eqs9cG;$7QUg$22G`|Q9xxroJ
zFLoPz&0Xwj{eF-VH at ZQ$vF<OSbC-ltE~S)98>RTm)Ev6M$!gl9G$mhmb$|KrgxTyi
z`^&5DazErQb3-zX62FC?Tcle8M_%Es*y*q2*_ASxOa3Z;UZura=C9`G)iwVrp1zu&
zuMT#{R(@`k-J$%6zs6m&({JP1Hd!B7p8VX7<R(A7_$s#}srhS*albC%?R5w&N6PDU
zbG?~W6vd>tA#pb(JN=D%exp<b72l+ro4A=vfv-s%MZJa+Zx-LaR_|WRyZMy%I^DdE
zn+0kZJox&=y`Iu;(eqn)zL-R}>gHB%mQvaq5_far-au)$S^FMJ{q2c}3CV9yP|ktA
zcO>qPgcYcaf;$s;XX4+OL<+;9Z%W*o^rY(EnD{p*j-uX7`6BdPc6S$dMr)?QTN3vc
znsm3lxSJOu_*?Dnt=wsW{5HFL8+Wqt-fnkq=g!EDEVw6e_fW*W_TpY%i01FGyLWKc
z9eMPfiF;=vroGR)2E*OY5C5(tZ}#s_95?Su96#<$3Wj}vuDb{5s4TYkkl4M4@{DD(
zcbf=#P$?d?6eYh?DRveqVyzEZWgkxcd+o;)sejmhAp0Ll9B+BflSh*5V^-p$D&$cs
z#B{~iQ@<;bwtJsmypNH2f8ySsL>0S>Ev46&lLHF9SjpXpMORE at i?1$haZ2svf>O-5
zpc6%110-xYCiO4sgU(C0Vo`y04)}JcY5K43#~CAxvuV{q5gkxh<K8R-0$?m-cWg%q
z)!6LD$K{!9h-No|3Jl*MrEm%^?dZ#iSnQp_tXkzKQ%@J`ldiffbKx7LYQ;R~(uq#A
ztlca}G1Ie;TSfar{r$u6OsAIVYEIdjQ}HuE6iq2=ZPV;LEzoj46e{#SEG=eI#LQ4c
zFUfj`d(`Sd^Ro}CB8YMTFAw0Q70``+&mw?FeKo-S*^$r(vI3rvT-(?RDhse5UOj1b
zG;&B*lAj at 2!G$4NHar%K`Dtq>CS^gjr3G-QVZnl9C+9>^(~+QaB-t|XH5bg2nuxER
zmd4t02#QZ|lWMX at 4oO%TQB_y|!V6_+KG{vF`>A#_P5T{nmPAus_rPA3L`VWF*Fj{X
zu0cY6W-i;px!xgYH`CTaly8;<^FMOR3JBLHHkhq4mSI0wQFG{vZHWwFIvnKY)%?M9
z;}Can#Dvt^L*1cn_W0{GBqe`Xeib$Yy1&MzNV8j at wJ0U^`XllV42L5O4azrRIxKRF
z>q3B7{IL8P#CSN0S<)B_5ojqLIhs<Au3<GC<Bz2y%iL18Y{=&<fN}$V+);EQH1;@>
zYur}UFbj_N{Ujf7$GL$a)PBEPSwq{elBhW$v}iR{SmRD`==SV61G0>bmiiOv^hxeS
zcT&xtOmQbO;02Sekfv7|r>cx)el1nLgfuUy`P1BK{&ct2o$gK at Z+pkm?9J{B1iDSo
zGi-vM$)hvbm1~e4MK7EFrS7HUZwMrO8A(v}^HsxQw0*O*J;c;z+u4}(ui(imYH0aa
z`f~uq*SWLN>Fcr&+2lKynR9NKIp>k?ypdI%@6OlUy?`>-^KN}j%H3b&E^-$X!?%HV
z7xV7o8Y;eqes2x>z2+}L>tE_FL7QLdE*tQhpi$jza&^==RbC#d+)UQZp-PB5#2vbP
z#BA9 at t}EOY)c6(X?<?I^C;F>-^eT6?dsQ9X{c2_lRc<9Cnj3j28eap)ZFASSZ8dZ@
zPnM#u$#iXk%0|r&d6e~blyyyt`uapHd4sg>jfu?~6!Q%Unz at cvwg)#SC~Y)qU3wW!
z{n}&zrA&z^VwCgid2tIGgkIf(a*YGE)T5G{O(i3()vPxpv<oeYcD{|eZ#T)f)Zd|!
zP`_y7J89b+6I3)Rw-ywz8u#YV474t4_%3Qg+cu+bQITPgQM=TTp>Xp~>DgxYHu9rl
z-)?G^*C^MwCUL~?mA1P#>O&N4vy*;Z(+-kIDJy)`uoY=oYxw<YI9m07>DHRGERUD^
z2h?!%=>rK0b;v(xYWG1Bph0&URUZlsM>jqs4Oy4c<PX&xCqKH=8jiZ;=cCCWT9Wqc
zqCM?;vr_ufDtmvz#Cc3FAESm3B<=%=|6sy|{gCvi`w$KIaN<6gxDWICBZ>Qn*$5xC
z-0l8j2|Cwt_pyQq9~Tim9*OV?mHUZE1Q_9yy8k5iu8`Z#f69tl=07cBd?s<9PTXgx
z>a+HEssEga at p$4sm$=7i%jXlvo6nQr3yJ%J5#x)27*8bbi-~&zVtgrapGy3f6ZfUW
ze<gAJ_)4<MKdFMgnz$zu_f-=8UE=<ZR*F5prdEB8R+;o#;lG}^uhYwR|Bcv&Z`#%Q
zzfT-L`S%-1Ay}SL-lxc05jiXVTXY`+d at JxPI~Mlz+e!W`_*2P$Cy7|)(~0BnJM`nb
ziTke6^m~c>cH;jbao<b)Gl}EJGs$ZIk81WmCGH;+_fItYpF{coYy=Kve!nR52Z`hF
z`;_ at FiTf8T^M{H1Vd9 at P>(g5Dqs0A45326j#Q#{0|1ph6n~FhylDMCct<(QBcKlys
z$N$Z)CI2(Kw)*Fi{PEwYKR++({`bW3_jBt0MdHXt4t|jSxy1c68GmCCsJ|q?`(;7t
zmHt<;yk93EasQFHUnlNA806=R;(t>V|J%gz_Zy1;&%}|7f1fWn?st&H{VsCc?^VO^
zsbNifYcyv5%POh(|CKoY{)@Tr2POK$@Sy!MaerjMg7xG4pG5LMC+<&)`!hBEMXCQn
zYA4+jHPe49&Hp6szZ3UAq<KMUULcL>CwK}hpxN!fZdqd)*7$2vSv%M1 at pUNzGIiId
z(b~B-?Wk5t`9akmmOHfVSinDmbOiGx+b06=wDCOdHkZ&1i7Sovp$Vvr`OvV7A5pMM
zguiU3A)*zSQ?8jE{s^PBMEuPB8X`i1!;EWVt1!Z2V<Kv17VjX|mE2~=J_<CJx^e7+
zX7`%L>&Wi0tL-Zcf+1>09|Z9dEZT{fvz?D(U8V9mX^nO7$1R8<o<7<}oxGg=d|9|R
zVQulm`KimN3ww6cZo<}@;<~p2*z=;xPhZ{%N<ZDrxXC-fXt&jSy=e74%f|rY^thQf
zVQG2SyA?~zavZSSEG=!mVOjOL*=P8J7{WQ&QgiBluFcxH=uWu<RfI0fcS`8YA?O|Q
zg3b6ts(>_yx>@eft-vxA+ZQaXt$snoOl-4lE5P!6faNp-%W;?&vRgl9UMmBtfvte+
zHSwRWx=(RY8F`iCUGXmAcS5 at 0#-X%LcpZr`LLOZw7tE1T_pp;*th*xUug_J2YX at 7l
zePJDh#jXw9KK5RLHX56+Jd)Q`n?@ygnz>e2tugYroJc#8pbH+bbZpsZNI;KwVp<Cu
z1^L^^(2os!>=kWDbh?TLv{UXHaZv*lis#U2*w;zG`LM2S7^cdENf`Kwo2ESggq2mq
z-i-!j|43_gA;beP09&tXy(dc#L*7&OGp(4J45sD7YeTFtE8<w}#LDItC%C?~em42c
z^QaCp%qjBBb#v9Jd67{Mj+4af?Kny1yLm9fd^mv(*tPy}%2^<!tuF7Qq8t!9vB{!1
z9~Z~@c%)nGj*RnhiCcupy#%oCD7SR&@IGrDK<?P0oMmp=?DArt#~Hai&dB53a(CRI
z05}=ikAk}8Sla!V*#mCnTEB`mo#0lv6YAh+tBbPMxHYrOr}z^A#xSn2tWUz0KG~hJ
z)}KoHweD26wvH|R60~EL2d6O(rxoL%K|DQ>^$d50_~T3s=~?bfch**HXCwH_+{;9~
zmoM)F7kjxodmEPWOWiBBVkz7EbKE)V%sTf<w{ELHH#|JgohM42AKf-Ca2H at 3uiu4b
ze7?JI8^-au?xL;0UZ)SkUZ-Ie?+JS)SjQE?UIpiLVJcVLWtg#XG&ga(2}{U~5L%RB
zKy&HzmxG0EHtcJ&8(QU~k?gLhV<%q;Ig~2HUcO3vc(v}@F_~YbyH~rbv6f#AxV6<?
zv(|5;VcXp{x4n*yZ0xuL4HNQTD`Qz4d7Ty59;{_OxFNxM7MgWKA{dJwHzjLjEhoTN
zvXG;#{MtrYual*$+4}le)-4IfvL4(j16qjHtx3Z;9>6%JEG%M7;X5!VFpuw)6{K;-
zK(1gPi*A4f*3&o1IK(yvvU)RG?k=SeI+ca4zeTSxg5Q$3yLk;PRlypDu+cH#ZF(SJ
ziY+n9n~UX)aKdD+U^mx<NZp%60rhr}ns<$#qMeShNVX=Ekjb_dlZ>fJMybZtyq|3E
z({1y(b`MLvXXSQV_$H4OduLG{9&M+@>EASB-@>+#uJ<j-chp~j?6@&&y$E6`0-m)t
zd}9$xGjB2d*4U%I^9{0rvS`woFPk6*e2WC<{rpb7orng+QKyq#A!K0oO<Uel_#~3C
z7khS;ZfAiwRHO at +ic(9pO*Ff_40YJG6X95KQ%rpKrDuUaFyBlm)=-L;m^}~8#OZGO
zP9$P?@XV|@hxMTZYfz4s4p>L?k}cVtY{>R`{8HSkjs5_n<^eTiV#OUO|5VbhL^@Vn
zpFC2zTa3oE0@%yY9Gw&AC_+-2au<4Xjyrgp_Aqv$C}+F*H6&xj9jetb85bZUEk8T4
zn)nOcf}IG-!@?GZy}>U<Z`g*-?l&SIDGxyH#xAKN9T$e(jEekG=7%DW)@3np#L>vf
zV}K)$b<0+<>6)-Pk-Oz}e;j7vaY2==pfM|kiM<A4S#igMEk%LQ&u#xg(o^Jo1Zc$#
zz_f*USb;d@#Y#|%l at h1O(i7b3RelY1od{@gVqIGiQ9LX|o|1SOA{BTd(_TdO8SBwn
zWbE1+g0<pa0vLml7$vI<Ju$Jm0;u8)<vUXk`+{H{M6jOjURq=Cp&~#c>g<;@geG4H
zk*^i^ipU}>1V~5%oWsL&8rpgt-CJjh^<18xD{6#k-tEr|4LIMO=Pz*QBX%!v>sR>;
z>E1=|LU&Q!Z?Gw_p-><fEByj(J@`Se3EOu#*<V6>a0z#59eI0Mk#<w$6_c=ClCbXb
zjR at IIZgUM>!V21g=TrnE+?A{SRTOl!yUJZ%mvD{J>D4rv?F2O%%5CLNI|{`Rbs~2u
zs!Q;M<Ss%NBw`24zH24$5VQ#0>kxR?3z(qDC=6~$8qy#Oau=a{J+c>xfVjOW336BX
z1OoWA2;+U>6EYoXfyrI2ok8*zdj+>8^GYQN->!!69SXu1F}%e at ub?^PtmPdga__Rd
z$l9)ktR0f9<?n9tB4qh{BYgvxKtjJgSyD2r#9AX^tJd6`<Yj^W$lP}%LxLiB^G<~D
zeTlmdWmNL_TgqPH5tifK%JG0<4-b&zJ%<0kha3+kK>EtDQ*Z>}#a9229)U&3TQ=l=
zugLyzgzsy@@+%+_jF_p0$Ny8J at zG*+w<~e{JxbZ{6P_Sc4_KlkSmOPOFp0;6Nq|g%
zLks{+Q1pidO at K+%!6b}1KY~g`mXhnEs_UcFl@;8Pfm4v@<AN#tClcTZArbueWO5?-
z1Ft?U$N=b}E(GE;Vi0v>1t>)BfFOi9e2(TlZjUoi2=aVEI0P8PkpE%=HUauj^G^tY
z5VZ8A07`sWAOr|R9Uy|HJt-(6fDi&8KqLN+4t-6feLVq!0C%Vhb)atNfg1Sx2Bm^H
zRDc~=f$B}>pHhZzCEyMK4K at F5z5cd3Y~ZM6{ti?DUI?fePv-ikt=O}KH(-jN;=d=L
zVW;p0p8NyFfH^#!fHwd;GysQ_0UW67`-%H!Aq#c?1C{#&TWlwS87cq`nw6C*2bwgf
zKP(3I*#w9I^r7Z|lz=&CP=9Pqm at AxtCM^@pz)$}DaWeiU$w-?*bN#=@bpIwCK^cE$
zn8ME}>p4~V990IBVg(2UQqZ6W00=`LDj*NqHn1vwsn@?s03Co0YW~;C{%c+ at izW)7
zLj}x%E*RsUE$rdhlK+h!3vK{)_-zuciRZCV`d;*akbGg<<+IaK-IR<gY?IL*b-~py
zB!newWj at 6EOWr)u_tiXkaOe?6+?Ka!x5>^K<X1Ip5`1a!zm91zNII&QaON!H1EXDe
zN7_Qgc`Xq~Cmfox&zf#()&p7q3}ZOJ5VlaWYpeM&dB%<kyOCP_wa213zja<Rrl at Un
z_hORr$ZiI*P at 9(4xGu#?@f|i_U#e)MKdQ}*iTPVQs{foM)AnA6l at 0A|?<j1EHc@~a
z>}|?JIMrh`HeWmSs(IMFTQ$nObC`BXNIZ^FFehyJv0Ev&n3YjCVO|MiPDV-Lgs23q
z+9=X~QS^7R0g;zzT+-?Q4L;b#=9=ZeSG1#g{Rmgkzkz_2?DIBGv71&+`yO4i;@eoN
zw`HHR<YO2_9Z-S7IDYMMTIBGg`9%mENK%0$#-rwv%XzLenK_(kq(l73k?$r~935Q6
zq!w-T<vm`OS5e03Md!7yV#vDKT}_HXg6Y^@J#p0Tsv8#vs#{=#h;M_WQzTRo!6ug#
z(CkF20(mfxH+EA^OLPW-Nb+_paBCO?s5|rT%`mvFDDwe#lZ&FJ;@LJe(iAs(DO5R<
zPSb&?vK&Y|qZ{0GdSJLz&70#W)|bg-%i?nfLQ!@-HIE4%$>lq$KTngn1xfdIegj&?
zqjBx|Pg#P%_;JYrQKPSP_LvqH&@>!_3uoK@>Tb0tYKT|6C at K!muriG2hs5)4{1#z%
zjYMF0*-x#aN%>C=(B9McR;!v){-h}b+caekKowiD at TM9wcE>KTc9EYnYZnRn8Jb`K
zI-Y+5nzP!^B)55F)%~n=nVTh(K2&}{EaO0s92PKr%52!4)sq41r0$@aV4Xnhj_QY+
z+O&+^AHb{(pe7Kl0h}fIzPPz-d6YF^o%s%2LlN7tYWZ$Aanyq`GQm0A_d<Y1*JoN@
zZ8Us$r)M?X<c>AmTrgc$02J^}dvwSg&uB~t0_a4X3KOIcE|+z!7UR_DLiWhjk^@mD
zdz5z?3C(+V2zH(7_BU$FNP*hyY#V-7hvI&h*i$P>*wgiFh3aM3Yo}aP%q)trQw&-v
zmbFy0b$-av2Z<oPkhFlQp5f<`-n`uE{$QJY2W#XKe+d8C0lqqm#6yKW{D2d=Y*<H<
z%3b#`Hm&m?aE`UaI`ME at C+45E_4Fcc<*%Fndx<^k#jFgEbPKYNh$*o>t at UhU@AOBZ
z$_!D<US|w at G)+Fbp)rqPyyB{nS-H&R1AaNpGB~a7S6Fjb(Ap9!#j;k4=Eq^8p`RH7
z#O4NSEDL$k3d*LP?3FAES7m=Txx1Rt7Tjj9f!ng1)drHCNNFdA(x~nv?oQ&)gh#hO
zId`lY%kGq#R*g|UoZL~pcf^sJy~>BclI2K0%nw(tH3Y8prP(OoLem4xA82AQzlM=9
zc*>^pm{^89^-&zCe9g+S<g;T`H5~JwwuBi8!ns%_n1I7)gELo;;!G$3Z<g|}n?UG_
z<>SHPy6kkRvNsr1@)QQuBpQQAm^O^>uG|gZHK&w_$AIsulv(*_jgNMh3J3v!j8gu3
zb|=K72fEoc_;eP?e;V-^EgR;LZq6uT%#Do&;&5~2Z_yR}EwaDZAkQbmd~uW=AeQe1
zr*jUA^f{b7=6SI|O#|zY%LRJ^3*DmCFmGbKdt}`&fj&z_ADy~M<wBv+2t_XC0eDAy
zJY;t?TKpIu*#VqmBYPa(QT=%PEXg$O8p&Z;@R&9kv?-wHVbdUNGE9h at 4LTbd{!3%p
zknXTT4OL_Wo7%VIDY3F<SJIKt=G{G|beOGK$dVmX!AnZpi8AVVC|@be+C}BFxZpp0
z8W)apox)|zqVh_mJPl>vEdOg<MzrXX+Z7&FV!0p{2ljF#E+}#;Sm`G&FG(gA`wDKq
zwWFM+pzxHKTBYMgEMs9Bl^_&hxbASCVE}Pxy2k+mdop<@u(e0tP+ztopUGpk73^?@
zy)xG8^0R3FEEW}%86BaP^7BBRA|)5Alw|;FTux!TA(fDH2Mxh-eQr+8gQAH?=8<|H
zfZ6ixz-i6yU^ek6;}CuxvZQpN8A%kdfWr-P^s#M+u=_NCsFX)A$Gqxr*+OXo=yDd^
zW*NZLv|2xsZ3gf(Z8f-~PQ{}q!J}uXJG$<Vp;yPigUYoMv1qw$!=V-7h=b2oAhl&~
zIl~;?#}*(dkJH#PVgdw at XaAueM<0`mr}>qXy$XT2s_svq>=UePwVh1}<yu3h*666Q
z)pR0v$i&6AQMv%3*es#AG`u|7oh()oyPRUaH}gsd4sTNkO~d5}`k0l~te2-n<KXl-
zd%@G(={4}QGezaI+-ZPmXMv=>)V=Iv|8iPt5L(^8f|kA_wsf%|G_~}cK$CUu9DlA`
z2T*pdJMS!iKDhwO+y!;N-o)$rM!pMa&xO`djle~r6B``fx;kiV1jef;pl9G`A}Q0|
zo)7BzV$igWs`(O-w83it)Hb?HNu^^j*;kASFQW=JGt3WZ0q#F?;oVehUAWByeu(A)
zsktq6e+8YoqA^v at VjIKiW(UJv*=W$!;h}A0w95C#UA+~A?Nx3o6;u2*RCtZR2l6fh
zVdHX&-wq$|2q4=KARAj9*Rou`PAHq`e7)d~8w9rPww*Ds=XQpX(6%(Jg4e;ms^RtW
zLSZ}O_1e)G^0%5#(5+PR21~GjT at C8E-TZ#|_qHS|-#d5>s;2#VkydE>ol4362A;S;
zY{Bi8A8!VHxl8y48yI(K8>0 at w2F30cz7cW)vb~iKWx#9{0mAk+^Zdd82P6#$?Ouv_
zhl&7EdxsFUdO*~Q{P$~d_b#DiZrH_Vfn0n_g4EtE7atsbV$&Z~(;rmR3tt2Pww(#;
zA*lF=lE~C}{_yt@#CTYqKce^}a`g$-E&y5sP778?Rib>C3f at KX_X%JN;=H3eJt=R`
zpEG^FXB?A`>hD^U+X%-3)9onv(c8*efzQRxpsA8lrYQ`U)*{@thv#acFF|XoeA at sP
z3e}oFWrjdo><BA<E&OF~pd1YU>BH>6eG|n;$?P!;=;$^12S(9boQNAfWOCx at LnfV)
zf25p?8KOgO7|2?lTi(XHeB|+7S;8RduKTEjy_-Xl34VVno^H1B3|1#I>fYIn9qz6B
z9y~aE2K-D0eRx>{*USp at jEcJa0lYN7PF5upjs0On=|ueNM2OkQ2!0}54ETAZwIjZD
ze~3+mL&SX)(}|hPrQ09MM6g}vAte6%Xjk|nU~fv(8IU754T8A0J}xG)Z7&aT6eJM)
zs7P#%gJ>V+Xm_+*f+HsuGB&U~w&oG`Zjo%H5(2;Cau~26xI^|EQI0bjtiX+PMIC{^
zd|2SG8YS>0?#11!DQGo=7<#gXC+w9J8_w?J0e=epKGmJ#POba3*6+2k- at X1N^x-u3
z5_j5=KRx#0jMxX{xI4p6Wk{;Ols=d!ui>8ga!rG?RiE>(poCYtSGZRWA;WRYtoe0r
zo!+0T;}?N)cwzeUs<!D-aTj386 at 6~?>uK(VZoT$DJhIzu81NU<Tsv%0XVYUaGFiLd
z$m2^8(wEeVZD;FotM))7H{xD%YXQx+`?^+pqjs8CkJ at R5mDp=8Db-cbP$w%4n{3BJ
zGmPh}A}u7UUsXd?Z`JzDc0hXBc}~O5^N{58HEe>|X^Lx2NFbk$Jl9K3Bb;lJ(fnP_
zo<VqXqlDQ_aqqc?u%-#GF<~nIDC2~i1GZi4iPYH>QC{1FMp(a&QW4t~q_(YXj4N+d
zu?TLYcsxE)L1Htp3%YbklHU%(dd2?@j!7LvYKi1&iR7`M1U1Z19sX<1zHV}CUx4N<
zNs<+^u8hn!^vdEE1SGRbvQCEz@#!KilL#IUAlmtOK`$KY)e&vp3AT*~@P?3W(RU^u
zxil2CSWXqF3xjR23n3rega9+=HyF~er)18au%1|usc)B?W?{@X^Irr0Z9?u at +XmGr
zHNTq+&F|tu^E<h4x*_Ajfxq^67#WTSI>cIkk&_LYpmuZ_w8&>tuiSM5PNXy&Pp=_A
zF^)lJ90LMWDA<BfQg*>7GhNNYs|G~D>EaUBI3>s$Pi2j}?vW6M-V>w6XDl_nqqS^k
zS7 at f^r!S@}+41^PDeWH6!pC?EZq}+{AzViY_i4tGN`CdTWe*>uyH1R7D`74zGq7SP
zY-a07 at geRY*+`ZN_b*vxhlWgtg-nN&$y|Phw8D!A@^pBQMYd|PU<(<W+AVIexW;NK
zP8lPCkKzR at z91Vc2NJrYdg<`i!Du8uaH475R?Rp=@I|F&M!d0mU~{33>1NvoBl%C7
zjz~OUKE{3)il?Lc(Q>l5;QW+=hP^0MA9~A{d(b^<d2{~gg2Qlm)s(RM8r;ua=ZkPZ
z#l&Tu6u8U!3uMbpsQZbg2JDEjR&*5|7ZvbArsyuwUWjPLWw45YzC?jhsF$^&0V<4S
zslA|H`@ub4tm9^`!Yd;2<`q%*98-@%zSRRTirT1h_3lNMaJ+91%G?-eUJ1uR333)}
z?$CO0gUC?g0pX&D9Lq3zwsR~a5k?S#bX25{1H49&Vxfvy2&9PHZuI++9o4&<n&va@
z<s#EK_&eH4>owDjtb4WA%px%}E&HMglxV35n`cyIkBu<9+Envgc#2343N$eyO2OV@
zuUM-Uq2O^VIy%L4QuIWM7A()tIK(4t4Tf3WHB7#O)iz1uBEXrehGAr#yy3X7X`Kvf
ztu?IR6}W-y4q1Umpv7#^0Q68{&k}&=5~EykGa+NaMcuyFRpyndU`Gs+ftz&(yO)uU
zUZSf;d5JnaM6K3NgauVG)`$Re3LL^%n-?5k4wZN at j~DrelB^3U!KD)^VVOeQ0id8E
z2KI<}a984G2~tF7b(dsMifkeEQ80!fnX=p}0x`|P=*ECch7GuiLJxEgYtx*U<_M$c
z0~L2%v_PF-!3);w?)VxOoVmTYB3H%&ejxjTjo3=wt&GgsJM2hUE9^Q`-1&Ug@)ftH
zhHZCZ;5Oo8q%jbsE9X0|`&Oxr(kSQUdQWp+?$-iES_Bnahn5UV-p!ftKhoQLdq>p-
zK&k|3UfFvBr{&P at xg6dRwH|<}lkFw2+=wF4{Wl4J?GXx!@AQb5tcuW!9B*+=lG=9a
z53wdKNkb{qH(Qg+xl=cqeOg{-4-}k`2t(N$tl)CK{RGOkI*~^Cw0=xrx}#8vCQcO@
zGI8ZWPaap^wN<ea=|=#P@{&u2&plP=mC|LdlwYOToi2f5yY-fL8)^ljTwRy64GZsm
zh35>6)Rc$7kj*o1wIP;q(A<c%WZb4GbH<{!E<<OrJJnilLd4wMSPAYsPD3A^gPbE{
zp5R%mWuO8(S$GC*rO1jR9;oC at 49mcTv?+;c)QyPY;t(-*j!#J7KEpfpVl-KveS~)+
zt^k$bXFM!M21bby8%sqFP%*uLfmYgdCbjM24IxVKE;mskEn_iFdJ!X*te0e_EQb66
zY?!bEWqP85^sv%qhhztl%-qa}Sn<skk_ at 0MtL0$57pB|;5Xd>c>}lJnm>+Tzz(mwI
zjNEpNZwMiBXpCH<+zY_~!IP07oZlO01TT at h9Q<<>ePW_7h15XEbK9GWI4Zpe5i7W{
z{2OBVceGnpW9gSmq%Ak1EN>9yxR8DY4KcYfgxomJ_17dUG_os0dsl^ICy>ni<Ax9o
ztD<O7drxvJ-ANnqj%(66zM#lyNIUC59pXDhj>o`xYu!s$gW)B38K34(uge`yGS^a`
ziKGw5 at y`sazSX+{cy!z#JWKsb$FV$F53QcHpFgK+AYPMP-&!&7&!Zvd)i{QKzP~`l
zv*^>MEBd`%z^ZROC+@?TYzQeXc6Q)iUT<!2V0i6U_m@)jrGe&`Q84)2Tpd8MayRM1
zx)0a4O at plbn%w14xyypKIydXmi$5HfZdQX8`NO#@h5+n_+?6#Jf>(*uSBGS;3dvqg
zGF*<`)*;q at uX5Maz~;88BilK}w|yhaKgf7(;x at Ae1f9$N-q`CpBopu)>%Wos9Byy@
zEc?j7ijU>rYXGutPUzIl(btF7UK0**ftOebT0=)U!`Z5 at DXjXWQ5e=+l}U%^@zx>3
zTvmXnjN9}yp47WN=|vXpD6uN+sJ_se+};o~d)?`J*1)5E>~v8f0uAvJqvQ_Yy^=_d
zxN6<QaK_i|8l+In*tkZ)ea4MtYpV!<lgVlrPiYfm6_^7r(M$B(4hPpUPdeRx1EV$>
z*kX_}V?C3~-NUxjLM_u`Ee(f({rgg)OH7Bh(;H2h5fcF|$$Qs3PoRbbdDGKKGBYM&
z%fZd8c at AHTRSuxec$h)^uWt6hZU##u|Gb!=Gc7tj%<`r$eMmd8^BYMHjY$Zaq}WNA
zsf6CpsfGoOBuB&~piWxv*b1kF3|gH1%DC%D`hVo8{x69+6jY8ik3~@`34 at 9`j!{@8
z2y$%Rjv(Spu?eF1a(TWD^Mx}GHMSa#bt^U^f{qEM3%Q`sK<*GgOXHd1nCk?#V#%@E
z4Y<`C5kvh!43VSTp9I0;iHCqb4RCZ=5ke3=bp-}tTof84^2pwH5xOOWVpT6CuK`el
z0-(Iyxv7BgA0CIYvw@&abg!%dL8bD<ZH<MlizESyQbZ6=KG;y4Pu1s3?AnIn1$kHS
z#MR;8RGSK|D*7URUxZ>deQ9TvHpEgdj-_&3Sf_>osciH%BC`Off@|(7e;Ezl<SuiY
z>Jms2tybIR`87KE5S(&T9Tv8I%?h$8u<;eKbPhteD at -7{Ej19SN8_R4nl=tJakkQK
zI|MN#apbPq;<vMzyMwI)$)X*@&bTLOlOPHqFsM2k1rXpy!``h;h@<Tdaijnqbp2+8
z33Ams{#s=RdqOk`a{_uw*(`uIX3ts?x9FL0sA3Zp9LmCYqy-FhTM`A(tq7o<lghu*
zzUbk at Ce`!N`Nl$?$E3EP+JNCp!52jO?Cubv#eQQQwKCl8Ep9elC>G->yaxq3hPiK#
zqXiRGC>}W?v=&p7B$Z4Y;RK at JUEnPiA%bWHqfH&x9VFELw3{9FjpEcWwA16zg0(36
z9U{mkq^B*uF%f!VB6AI~NVqot5JQb5du+TD#-Q8(6~x;e(#StQR-vtQP7ol4Y+4|O
z#+I^oo5}juL=n;oS;Q2=h`qocNe_-}6u&P)WJ{`znBtKf$HZoE`bvB4VB;b>#!(@Y
zAmH+Nv|<C&$zGegsm>JukGtbzI8L=<gH~BOgHia5FlwtXg;qtxbpx&=6?ej at 0a+be
zfai!?&Dsjd*ocB~a%{yZ<YGtkEacy*2$@rB*iUQYyLiOlG<Tu~;52H)n8K1eon6o~
z+?fOZEVzzcQ1{Zhf0^;z%Z7RG<+1X!fz4lDlPFUm7*nxu4sZE&LCgtDUq?_QBv?fO
z4rIxl&(HG}Dyf87Ww83$#cF#c@(fa}6SD3utRc!S5+83M>BZvRn%m%NpzHd*(Oqn@
zjNG8RWWZladoA2S9oa?PB3py645zl%2}^gE*AQQuRooEr$96w;rT{C77zg<*45%x0
zrXU13==ZOtKr@}{{+c-Lu94)Wc`FfH*2?Xqk=R0J8G>HHhN5H0w8l=S>O+Wi1xpGc
zHl*E7{%*iAAMu6oFmp<>>orN^6hZ%AJ4LWTmJ^LQdpF2j=YKdv5T at -N#b)50+Sp{r
zv&I%DtYSNy9NDThf(wDGkKo9&>>QU0XWP?uK5IHyP+{9sp4^zEMg?|0jSO$IlLn2r
z2kP=Y>T<FFIizC+{M}2J-<jmkmHd6$2le+S4z2#Kxb at lZ-z{nVKs--SXY<n-?>#2&
zsc3`F6<C*d+F^p7wErP{a+>EbLFn?sMVBA3xCRfC=Fud_aZTHuF79uVi(St5j_mSj
zoF at o{Kc>S3?)_x^08cnlFtW=Zv_$JTVZcEH&KG3Qn9%ufXzGX6)L~x!NKE`u#YEt|
zL5)KOoG%c4J}&xvLgx%PWH6+&2K;>j`f%3Z52bL}KnD$wR-e^z1CAFAaLNGsJRSob
z)H!0{K2L?Qk}v4x7j at de#bX8)4jRCXQgw|X`%+B(<#_6##;F4i9H>b|Kj>;iKNt$p
z4>*6YMTZZ5R|=;Obn at WqiOwDH<D0Ap{$8~{Wf2daLO(ZR8^oEi!A>5Ck-nqQ1s2WV
z>0+q9TMX6rbk2Y?1~nZu_y=~Ox^>ckkv>Id4W8C<1A-fj;Li;@ePEoxnFCAr{doMK
z#_<E9AaMRbArA6GIBdZ21NXyZNy(<}DFim4#Xm~ivk6BIYVp9q+5RVX(BQ{B`6)$m
z;$Y;c|0_){`G3=ke<Q`u6t+O;4E{CYph5PJ#sWWw1&D3{V$)L1K4Fjkz3AyLik|+`
zjv4%dGJd7g2By4zZE+EPoorHggK*NI3x<7OH_wxjg9g7zIAxH1(hB`go@)*IJH7uM
z%@h#(pE_5Qf7iSre_vGgUkYVFq=Oo94e}`pY4F>Gm<9 at QP|2P#Tl|kI<c}1>?zYHI
zT!ZZ)u7P42{5kReoe<Z65C;83GJtL`D3*bHfsx*k+T`4k29emU=mlL0UT|%y$OYFC
zcunyO+zsgo{>GH7H>K{z)ZLU4+9h?b0l>q!=<+wGG~i~iw18W0 at UP{8_~mt}<LB#A
zjJ6bN+ at f^1aCd9!ZcY6gELFF^4Ra1VEp at l0BiN(c6R*)qxg&M_-A=wcRluE8bT$DR
zhUdc at E#W%<rquECO(cAC>fW4cKHO!mHu$&1vhG$d-kLgsO1_nJZ&QJ9Q-O{Yck|@!
zspIdi6jswdsMOd!%5!h(?n&Lfq<Dw&yn{S8DV1b{e`hTIzSQyaK2qJEqVC?6y8Bc2
zE)^Eiy<2(TP2P=G_D26eD&_GWJ$?_l9!%YXX|z5cAY8;3%E{5gHtI;&Z={JT=3)48
z2o);8_Kh$E+ZnXr^rAy6!(=B0h6L at qwk@oetJ(9$jJ9NU?HEuEKMZqDw9>|f(i#!A
z^^KHqZv2R&5?$c?gg{kDE%pGn0L3BuMqzRN0gHo*7D=lP{x;1P#`_1p(|1O!&5k4<
zyVNU=){N*tujcpC{00OEe!oQ!Tt;Y;9VOhs<?T7!AH>vU_s=NZ3KC}}&Sk^V_WSVb
zbR1qCv0c*@c58-YfVxAs_`}t1w)sHs7la*}eyw}`K~;B<tj!Qhw6U$H<Ej;N<g}q|
z$J37B={yRtv*P%$&398JSw1|5f5W~T{fV1yj7)i%I%4iM+F4+)TUM%}w~E;i4h#YC
zhJ!nzmATTe58^7?@fZi?%;kKDjX1XAwt#s2N}jwUe9Ze<Uuby|e9R%EJb6{E&Pj0T
z9NxtxO0=S&Pf^4MOVaMUO@<h_O4 at b?mv6_&aMTfr8G&jJy0EKjafGc|o at VtpqBsnJ
zva%_+g(04=AqHZ#unq1&&L&fYfgN=Xu2pl88m4~Dp at 6xJ=v>7~V}!S`MRTOKXh1p?
zyn}tX6983{0IJpnZb({19ja}(F=3E5GRRiqVoEF=YVe&rati~z$j&3vGIOC+H0X-L
zK-<Pl=8vU#JC7_V!`x}KSFY9ja&DIw^01r5!*Lzeuck?F!3TQ<z2XYgmgL&FugrXd
zF*x&D<Jv^~Y*G)|c7OAhzZRv?5w(R;%Kq6(vF~=M=`5JrakN!@LJPXiI+O1u46x1=
z at YU%i0el&)_d6b9Tk6SqIi7XW7l5W at -&ctuC2zsPEVZI}#0F2JX85C(x!284HhwDN
z2ZdozwI*$)rs at 17P$4n1Yym$*mx^~J^4isNK2)M3O+6&-8F7}Tqx#!q_=^L3CFNV#
z`GA~pi30(nr+hp<W1(@3&JvjMP>1AWm{9|M_pkuW2?YiSZ3Rcvcy!R#Olz3&uEUMT
zp+mnXGRGz=2J!^gIWTHkxyfN&-bHV^0&*6LBL<F+{TIl^RC;U#)Up5WC`P6dL%Joo
ztYDvgZ_Vr$LOa^i&5;m|ouDX0?28*tBIR+p5m>BjKG~rI=@I$GMNd030lQd5pOdhk
zU)P5gpvritB1SOOcLEfN#{&W<4WJAX=>j*o?z>3dg_3!|++Ftku!2}g-wT0V0*vf}
zgWkySF9Y6Fpa~8O|Ket9RH)o}cB6zmo0iCaVTKV~`{8Y$KQL0FFH!=9p`eunI*{x3
z;}$r}^3S0U$Q3CKGzK4|8W?qu#X5axtaL7_gG{|a#$-RRc at _mt_Ak0K!t^0*!n$T*
ztR1zY{eP5-J3_UG9vn&4(Q`X&1P}Pe$2bTQV^tF<Ccn;@ds!?Cz(QE6A~lDzVaHJn
z?t5Sq=B(}d2S85~&{IOi)cq<(VHNF<XDWbDMfcUQfoo!+Z1W0BCES7DvX>*4Aksnh
zL+j(I4AZG{FtR<KEdLE(V=MW!F*6}$6ae8g82NNk;J$Z;Tg@)d8O13K34_pyGh-Hj
zR>fc at CS&Zx%jm?*-OF(EdpXd=+3pns{*`p%9QR6hPTjAg6YGXM0Y0H-veP3*IA51;
zP>Bm-YuCrlT^K7<{6%01ytS3<;?OzJ)R=sbHV;ZrHo1!>BbpSTxxxjwqm=Kou5OG)
z$$NXFJOa;im$FM7qJC7X*|Q>3#Ii1<v6s=<>_^5C*^ljlPGP^uZK?^L?d8!9J{$Pe
zsmXU6(ZAB1<M6{yIw1{`3?~mQm}T*qdvSEvxlhmV%4N|Wm~Hn-4`g5#ppM`2fue;e
zQD3zEIx^zZ?Xi$sxZ1jg_+JqZ!Vr`?xgn9b;P@;9ggH?tk$ru+BQ#~t(}OAk*RY1`
zvhDXwja1cFR;HTx(*T*5?q3xGvD3Y=2=GdMhz<!LwSuw80K_DFiU8HZ;la_3+2d5u
z6FSnS0AUAXTpSWN@<pZx at cRjJ0cjJ+c37<I at Yo!Lg4}rt808LwizG2aLiSg(Uz)I5
z6tgUjS at 8Xl$B1IJn#-<&y>p^NDw9?$Wi;6El^c7o5bxG856ZkDe!VCAtyl^Zr6gq2
z=P=>1&>&WeebPtf;XRiX(rCwHVQ{>|^$&UWd|m$*9DWVO1iOsUPzKm$S>tme#198;
zt^1QH{p8`&!7QzG^ZGTwQl-Cy(hFx_!knD8#h(FS2U5v4%b5YD?DsEYk~8n!%j^DZ
zqv_ePSQ`5Z-kGnjHd-v?$=$}LyjmB#ey&^R&W&9^k4Bw`b}ARN2C}qf*^!PKAmw^B
z>q44k;ZKGn5!^*v{KZ<5jS70wKPu>nwM#Qv<$--QBD2<jC at b3Zy-zU0rjURb;F}|q
zKo}J5xMcaaY>mGqj<ms-HGd`Y at +$r#-ju~wXFpdFTVEAd`LAXuV&Ex|OM<hm at gtDS
zI-4%kd9ARkDB7<ZKBJ+AvIofAtpHg{jJ<HXxZ}nGWw^;UgKq?70LQ%ELQpkg7;P7-
z$@-prk0xw(7dA8nvLh2nI%;?3^@c><A|&coo#|j_ct`*zf471}ahwD25J_`ej8LTj
zDR&6l>=&>Zk8S{L)&Vw+)^9Gr!+R7uofL*<f at zKbH1ARO?~>0D>wBenTf{RJFNIfc
zA3>RWbfiO*{$6W89Rb&5O-~P9e!o%XodsnOtNbZ~%KZ|T?^42e!h_uR3+F6?J#824
zS#b{pLbZ(~)O)NV81+Fr2+|1hDh7N=gnDn{5bE!RP!C&(*Y`rGM+~xiR1j!DKK=U=
zw at avJKR72{d`t)@IA<M@(+Kqebu#~mogM#R(F0IU13GI8rt;w=D%g({YT~2zx`Ar~
zatcWLm;rbIoTZV0Q~)*waefLIlQ6DHz%~Ik>)@Nv__L5dGT-L}aEio_ThAf!=S7>(
zQ~3P+gSUzKzECvqix$!K3y}B;xea_t3BSbMmlK6sc|vhjhDi+4Spn-bUThn|iceZS
zQ247!2>n_M;HM}I_Sw}4yfP&ClfSP+;cq7SPf7~A^38~UHlnTcgL%@y0`RO8R)r2e
zE&4{a{#`xz?g*~>o&ZpF8T>QMw`bJWXK3rP{8>I<TLK7;Q~sX}-~2~9N!*pkOA5SF
zA?}I+pJWFR{lSPngMEhhE6l&PYNRlj=nt(ru+T4=Mfjtl^dBqIiUFfPQO=*xf>ZLF
z`22Cn|I}Xnl$wA;pBfE^J{zO23={h~WmgmyoA|L;Kj)#z(SJ{XN{Pl2;qzZW5J>V1
z<H4Z!e_6EXR~F6nmsAT-`fHjEB>o at TqJ3VGV1<r8FLV@)6nL|r;IGggY!sOEcQDuQ
zMe5&=AoYI<6cwq3f|_Up5v^FL*LC^V_^fcr|FNk0PZr?yk5v6<SiU4kv;rJj6Dmsf
zKMNQg?lHh<1$5MUJf=__0H&eGJ5pd%!o9LjB#czNb)68?>xGp9lnx0mHOO>}@Y4AW
zymU}_DF-Y-0@=O}h25OeN#Ie?)7MfWSZM{QR60HO2~aeo1UKb(12|Q+Z&0-Wr-qsi
z2`c69wsecXBNdDVP<lt|0YmTPI}{NW9RL-jMi5cZ(Yt_f-;zSsx1^@X=Fu*Hw+b!5
z(IJ7O{JoVz-=2b&0Dppv-ji+=78<B7DAZU1(39Wqq#O4M{!|O^S78MJI^^G-f_nmm
zZV}`;Ux?=eDUj!&AWzDBkgPjJft at 2s^pG0--qbymy7!XcVI_FjNMz_1O at 1VeX49i-
zoLak5$KRtQe_!g}2dV(8y<flF`+4?Qn&Zjvfz&;gx({&w!PN2h2$hzK#2-?nd=}|L
zsrxV~K4N)4Lam>+RbuG*N7Ecx^D#B(V<h5hN_<b~6RG=X>OPUi&4f?t?I+2&!$x#R
z;y)#de=5Z&X*S-vg@{yo^l1%3oY$X8-DeC|`7GIuw?C(HK1Vs5^0%58dA#WB=Tpbu
z<22w4h9iGbDZj|=6R9Kn7gF~`arB)nfiLOpmng@?2%Y at 09(<Vx!Q7{TUn$7>WKqRe
zQ^((vl=*k5<L at gZe+ZCE|BHkFH4*IVsry>$zD~MtsMK$e>~7J^5 at 95LvncuRi;|y8
z9e;mMj&G%ozi*P|KBE+B{@eEG+dQ&0&UaMicer~rSk8>$)3!ePu3mhXGQO9(@1=2#
z^fbu%bBZbyd1KF`HIf}=bQ`#k at bZAG4S)pc18aP5w(i>)mNseAAj$R?Frfl6B2*|Q
z85bE4|1vkuK9H+g<Qs2MAquyH-9Jg0v#tnVRm0iLO^WM^h>}bOS)V-osYB2?kfIW;
zoXSu9&mPB_<-e0;L~N7H%LAEt#jznR6=UeA3gd4JMLeAW^Xw4G>Zuag#s6LNxJoHW
z%PcQ`VXC4v_DAQcTD54jZ_KqT1lS#BzgA;{b_YtN4^&&Ms&+;0dxs_1gCYc at 7V?!6
zM9gfI at v#I8L8I^VhDbib2i|FI*yDInS+O&L%80mOUy1Ih{(8i*mQwC~;z}`KwieHU
zBeL(=Vu;b!NvIf2s0sB`Y?9=g8sqMCpbKDqkfm`IVirtQR^);hHYi3eU~T*lRxlsd
z)7qGCfeLx(fU#b5X$)&kGT1DCuPN?5m&egan?gx^cT_=jfW|mBHTokY)H*{zg%QJ1
zs)HLvyilx<)Wy3{J1R3_8y#fTH_tw#B_|=P)Lebuh2{5-f{za%`2o?#8N02Ia<#2O
zxgq`R{1J=4aZoItm9wJnn9p<e4O`33qh-W6u#ixl{$P4B3YZ at l1<X at EeuuGmot-!$
z`>Hjs%4ja6B#<%yvoMk!)!UQdkE`P3KVrP&SO*WHviRDSt>7qGZGTKS`lpPycE?9t
zYDbe}Jl8hFfJG_;6de&iWIkNMsqGO_((L=UzCdR8ibgkp{dQZeBi#ue7p2DD{K?Q*
zZ0QZ-(R+(yW`&H4g>=NBupJ)l(6L9y4xLn;f%}R}+bN|y37u^FJVT(e;IdnQ^~2|$
zr^LeojSt=O<(uq!je}5Xc6s0)VrYb at LI&N3=)d~BdKx0px?+et2Sc)d5=%u}xx`SE
zu$+IYXH)rp{TGs?ah7SXBzxfZq}&UDFOk}8L#yK at Fjf%>3;xNzWLzAw?k>G(zIg~s
zd?I@&ygl|9As)X-n|;i<x7aDMtqE<FDDqeu_dG)%9Us#jQ_B9$`qNSUNpsU2A{I9h
zilt|m6ELs$CX8rw6hw=&cUnuDf(&*|jl~6rDYRP^8P^WoX%Ba&G438`>P<A2@<-lg
z-GX1+C5>C at SGllk?c<-4QENn~APzg2TOEqVf*4p4yGclQG0vvIH`>VH1CDGAb`HWf
z`;8KZ7Q~pW1Tm&dcHA?HL;C_Ks~#1+jJ;nX{{#URIB0-F_c450-J95I7(ZSP(IwxL
z?=lgyhc9$l;aBG8e|fWddH^2M5>yC*KDuJxpz3ji{V6)F at 5`3;eOc at DyNuRzmcJ1H
zXE?u`d%d5xTxT at q6*9`rU&~4S1Z<yp?{$AT{Wu(6i(>(jrxqR&1IsQPQJh8nxn8LL
zPBs$D@{jJ!b=a%ymI(FvkGs_B-4E%*UB{5ZqWv7<j&{cmw;lrOw3oI124l^fC%Hn+
z7-fa||IB)I9M3uWWr3<z`V};J#c-2}7_TPxhfD)AS$)%vm2Rb;@`a}C!&deQl!1R@
zFP8xUAzw8j at 8P59*cBk0mA=%}&o05qvAL!k7IVnM4*L%u^5`FR$b*J)%%haus2VNH
zN)W)ZeW1y1*Wk0rym=|lEDrL^;(R-+qxz?E((u<!@_oi|8=hY6Gl6pGY17O*?8>AP
zKwiq8v)dLEBP}#Xgi%yN0pvw|N~8tAc=mHkYC#nl!l<P5NrbW4zuT**`Z>EyA=%%m
z`?1FO-neWTJNFtstvxwPae{%%=$kV0POAX}K&D<P`-N^pHPiA620`)VaW+#4qLn?Z
z_t{r1(+s6+_l|U)bf|x<059dw=4$p4OQVtQjaoYMv$9{>)42c6l;X1q{kZiGe>TAg
zHYXA+L*viQ{!RlqHBxjQ!#l6>nga;g4ts4djgg1b2!(Q20~PtAtl(NjXtYBa*TZ;3
zTsYi;<JceCQ9Yld(oxs#&6vkbDbr3AyuP3;t)KnMI at 1g{?0#0njnS#RCO>kI*NyF{
ze!fz6_=Ha>1b9kY_P+hHm$TB5c+qdej{0VQ%f at opR%V at -vBf$rdqJ(9DmLSheQP6_
zX5m(!7QEKx>UdT?d|D8$v#fu0;}xQ4>y at vilaVEaxGrR!s*AoW$k$gglrHlHH!^L)
znv(<W95(9FQ>Rm`Cb2Pt5@!T}JM#{f`kJ-NFGqMg+&Z#b?H-0hjfI*N3Eg&Qu{XmJ
zr307-qYkz7?{=tVgbuW`box?@5$2F6#5mQW*5FAVg&4<iwZozv|3jqe-}ol=Xpe1}
zgV~5F0PfH_ZNvn#lV;)(qD_}!D(!wQ8`fAt8avy6RAf_*YJV|FIt%s at x;4BMi)q4=
zEHX>90=Q_8s)>4$PX)WW)&bu*++X)q8-;3|TooTBlKE+ooli6858IMzk2Tj=m?l`|
zgijUI6sxBRG|*ODW*x=`5|iRhDbCO_8qi*Cvte^Kf6D5tM8Wm{Wth^tKcIo$b0uYA
zN?n(@WC|j}glP;FIW2#aW$MNfCN!xcl*+3~E+^)lqI2dm0$n<)vj_;CKg0wn`MpUX
z(WD$xJ^I&D-PhDI1xd4?Md_<-8(&acz}Vg;P9Mw$DA_As<&!>Ql{|%2h<D;z;%sVV
zHboZ}loyBL`bS08H3m`~*l5TU$Kc{jV$C2Lu at a9nDW2ai<=4JZo!(<5o`F^rQ;3=;
z)56I*H5jIQ9|mDp_LK<$_IaWE)JG9AG`|=5!diAw*|yL6itSxA*!0+u85GCyI24x)
z!ld8NWazYZ?H!H{8 at pjUyqt}T-5>ynx`BH~?8ZT~3kxvIzh>Q-6Im7ArI>v47;8jI
z at C!W9%|kuKFL!K5HC3dViXQb!%FHfv;(s{;#T|x6nYjwOBhKJEPzf at FgZ_2D7{Rz$
z)6}}kCa$t9(YJHrw|{~w*=fV4`s>=D9Uhllr*rWj%Wt<`lH+27`Sg#@x*boWj+b?I
z$D1`O{XFgGgl?|WaUA5YVb3jh1K4zpZp33J>IQ7Hnp8w<!oi02&E?Y;^EuLAaVMIu
zN0b3;2nkkhQB27u{+q;q6ABL9x8o6Kp~FX~EOHKhJo<tV7S~R3shAee#i%6gcoY<?
zLdbR)73W3%-{#u0Z=3!Z8yq<7xF+*4+!gE!Z;bL=>)*TITI7x*YDnacMlhPGkvpc*
zYR&olo2DoB2v*z$TNZ8|)I5XaATGud=468A(_s0~-JtnCWu2G_9~90>3O~`SbhFeK
z$HHZnJ0Sax>H64EJQS3mFMkGG75<H*F8?H=n9iZzIbz~4>T`Lj<K at P@O at Vp)c4ywE
zf_WKr&Y0^XEy1k{uO&wPa2|!grM<LcN68(=vA86eT8#8)_2o)SN-P)Wl{x?}x&o3&
zFnbx)TQGAD6?#?(A2;SCY%7MAAs)-Xj^%^Nc#w5K5DP<XrR*jCH13<DqI<3pMBxdp
z&=GwP at jT?yVGduo|Lca%|9`ome at c?+1w}{4_=!}n2&2W)l5_|2k<AWFD}_GF7Fe@)
zTL20NDib<ER33-1mH)|>&bvcG`4iwglJA*)tu4Qa#RXEGTf#O?%D>ZOxX?s|`uIka
zWor(CUCoK{S%Lyx;~P<TaOO6BS<#WghQ4(BcT{gkhn+M>bCd9o-TEIo-V}X}q8S|t
z0{oF(XPTrHwi>14cK<AQ;4o`&2hFn3L*QZH85XyS&_e+JU}0|JpkNIt?M6e0XKn~#
z1xk$SIaF>0+QyTS2=ULWHD)<iP- at e%KWYZaZZOl?Oo>ozNA>W1eMlnKYZjsKWa`d7
zsd7uzFIUEPU>ivKw)0;b|5f-;CstdAxykLrRwz~{>I73Y7b_9##Et^M{>0?Sey#Sx
zQrm&LEesfPm{5%USdpWTsfI(U+aY8{(0wq76~SgavU`*d`Pxy=uFUnxw%$-<@OCXM
z=`Jlmlz%D<Q~U6rxp`rGvBq`#Xa8Xhn{J|Zx{pSH^Zg(~iMQBIb>B<jz3594&7yPw
zp`!E(lGRGLkc`=<t*`>Wj)E4;K!Wz5{6n at yvAaD$fdJRVN4*ZlO0XjX2N5K!Fm^=O
zimU_m1DjwcE7tk$uqe-I6|sQa;lr&`RG<Y>^&OEtV2!c>P+^S}*@z{F%8TI9BEA|J
z^n+^a^h at Y|bpO&SE_#0zVWN)C9T*ax={3(`*2q{yjGhDUW&g`6Eai`xRa)$dv#;UU
z1CN_TxE_udX8RMRrTmiPNn0uVFWnQbVZ?_EM$hC}S7c(Xz-@=6SkiC@;L>WSH>;HR
zB?~;RWwt6JO{+lZHZ+QzWKaw<EY~e?BjFp80AT=PO8(g4X$#(<ENtPpY)Ogct5o|g
zL~EGh+C_ at Trn{KpxU&y2pTWGh08<_^T8#CN5 at W?WR~D=lJ3Z7~eCGkWz>zHcN(RET
z`=0DiMqA^{Y-f-OXt%QO4F${!1(>?G4Hef*W-GlFRUZ#G$P3v}N{bJN5Sha*wkalR
zAaAkwc)up?i!44KNs`7=q6|yeU^GG-b~y~R;Iqp<Y9>oW=LrbfBZ$O;_Tcg=av~$d
zbE5?9KGqUS3Fs9Hv)u<x9=XIfX{o7+3E3uaH-S6zhVIq?byP1J{;<qw#ke<xNG)0%
zBgLYO77Lk-hK2M_dz3KL7%)2=Tg~`Z at G^E9v~G)w+0m?P_0Txv?%$ef{csGX(Pj0*
z2Rq=3&~{@UiSvMojQp01WN~x$-^MmA3^lv6+FPahv51zA>i<)<{LhQl^2L-7S2hSU
ze;-gqUzD1r7`1iw=e=*8(F+ayBZhE~+Bz$CAT$*?RgizQ%<L{J>@T0#xNirZ0b`+q
zp{SbOn2W9>dynQ)nB=T=l+}emEpEiArIovB9Mpn+fk1l^Whosq(=G3me3t<gdpH>L
zt>Nr*R$2VOi_P3#*8gRlPQhR%|6C%*&u8kFV}z(UR5LoN=l-8C1k%TL;Ip4wh4BkH
zaesba%y2+bE=FnJ)1;$XMS8=_Cb!E->@obxUZZ-dj~vzrw3=swJxOT2gx!n(KQHyA
zUzg74Np&1rx3^&DlzKo{^V0I|i_*Jw%g-G<Zh+MuFD*)M4^Lc at x7PAa_57KKzx#00
z<{r*6Sylp^VeQ@*66xpjf1reFzGKJD6m<JvZrD*;HC8T%>BvWe`9JcQtSmiZs)gzA
zlyms at 2{kll1};pW2|x4g3)83L&k^P0*#8G*EiZGG{CT~v@#ClVL+#WguH at ej_u4Gr
z?zxaG-u<D-^ve;6nByVs4pgQU`MdBo78&#YCFG51U9G2*???y6LIUf2epR>*<{kB(
zO09?3c(u`#SXt|#eS_pna5EMG7?yiP(1qz!DjXW%;qZ9;iJ-S3bmdTRO$8EPvJ~LN
zQvS<?&zGdjRLX~yhuD3YE9Db4dR(ikruDSs<tuvls}R}`tIM<`)z at A5@;uqx)0CHo
zdddaGP&tv9NaY^pPHRsK{i9XQ`8L;dWqo0&$50~IqBTzlPRm4tXG~>TiTpzcrNNri
zWl9QNuCz}e7_Hj-X=`umiDMHcex=beS02jwI_wbbg%pFA*Ei5QyDbK_G2Ut-N~E=?
zG~C4UmBcR`(a0u=^i~H5VZbS|U1P)4Q}w(?6I%v*!T_U#dPr)6Q=wU{G|RQ-SJfkZ
zv?I`$KB<=b;Goc)bDjbU5B0PWcu;h5ZFJlQ!?C0mp@=X;ygnf$Fb-jSb&=wLd=jO6
zWrIjLe7_6wQ2_0=3iwH*j7rc<^?uwaHb$1!m<@S4l>Zdlu%z&VJ-n^ZOnQPzh at 6+j
zM*F4Rdn)vyDets&&^a~eD5mZ)<>tz(dYYz at lhv%_2ZZ-c7MzE2yM$dkezf<rxe{Rx
z^}AKW)0f(`T{V at S!L+RQ)R*@5 at s@!ad!+ZRe$vvA<Hu4#&gW>Fs%097&Z_jZjY`*M
zZ(Un#H#_(eGo|*die279=Fe@{_j<(Pw1C)1HXwm80 at o2TSgQ>3j#MIN1`4``K)Nrq
zC|66)@*;1&;-a3);1!wyu;kESj at 7M*O-8#yq%x+X=-XsP(`Oq|i84wn<x at zPTrtSM
zGy10uc~#$55Wb)=dV*k=t{L(+VJI|PN#S>suh{8^#_$**L+|##f~cA`Xd(JF^=qNk
zJdHX_G?>w$HC53VdS7nE5yjfIHl_?=)I at 8Bb2OKD4r}r}5%IMK3JlXj16O(Ef}UkP
zlnq^sTeQt4EmsPx!RSw;12j4`z})MYMU1U+DFjqU8M`i at QXD_pnN4kC8Gi4^GSm`S
zhVgB0S42^_8!I$eCNM={8H~uD(kPY*3?-&CR;S5<WyVotqisEmm+7F<vzMn#{XFB9
z=HrOT&uyh<yUltLWQHv)AWk9Kknm<#MajnCivgO%OU2CPXEC3llx8 at r9NJ|vp83~u
zB9-$sI2Fd-AmUEC!Ngw_|CEBrunbBW8;}l{7fLi8ZIhrceUo&GFPr`T*K~b*ZCKa8
zsHR7kReYKLc?n0+<twFHPb*|o3kQ3e>xc+VHKqp0yM<Y8^!Jxi+v3ZpuYPLx+OF?G
zd58#bC)&V at A6-CRnpZMYgIO^a*=9N{RZq=~@D-bLurDghrJCxD9t>X7O*lRT_i57P
zrEJ%=Y6s{;|5#+ToRP#OX89mewo6-;q$m+;r9lcR)#zMhu#V%UrUS#pEY1HX2$h(7
zxNj<}=vgxYP(9P?tg?D+3)y4s%;bTwI*a3Al|cvH8YL<Mer%%pK-KC<za%H~7qZiY
z{K-;HQ;p^_xp+oI+(FfBqmE9q;i$t&)=bg1;!9MgQ46J8PI?Ed#FVm^WNID^Z>JK6
zR8LjIz}RM7MoZW at 5`OKvl-hBvhk^qr6Gn=P<LJP*!6alZM+zl;<kI at 1$q|1^kkN8{
zg~Nq<PSza+M;f){i)(=o8pNcTJ%|e<EPXKD^PKpHuF-5>*&Y20|5wIf`<6#>i6gCv
zRHJH78+1hnnQX$*uq>e(*ufN=F{`rBIQprXY|ljkO;79$vqi(J!lE5vx6%rmlfy<W
zMeNYbEUOd$|1n<~kE<YlG+W_{977eREeut9E0XTpP(?fiLlu5D3$=oiuqKb#6lEs?
z3!U5Z)(~a-D#V3q!#K2(gKT4zQ|1E_*(9L!8zXPBa4*#(V+%VOvPL`ErLp=%%x-0e
zv23FyBgT-~ghj>}VvH10q~IP6j%Hqyv1q{^sa)abmDC04&?3{Y=wYr)^guSvSWW$g
z at ImZbG#arGgs>E$XTy|N-wV;+#Bel;K#G-Zx&gzkLWfYt!Pdogv>u0n3FMPLD%1p4
zc_3n#_2|T?`5M`yk*OC!eTVE(l^5A%-m}7z4TiK*glL)L^*li=pwX_Xd)ZrMLMN#2
zyl+*<wd82SypCpbPpKbQb-iszx;9x8RIgddtSj1v*A)m!xTarU<7Iq>cFShgaSL(>
zQ`Cx~F4+}UAvy#b6h2c1aw|iVhQGOCD6r;L+N=k8fGst`2E`~JVNfXDNP~iV?Dk+#
zU_FhRCTW-^*uITvLL=G&|Ec}?qBw|oUPCcb6ZNtpYs+Wui>Hh6gHs!8Kbb#yX?FS-
z3A{z{5AB&97SM|b#i9FFCW*b~Ztqg55IiL2STzch0fvWQMwXPaJeZ-jLNRMi_F5(1
z#%fPfkcJQT80SLV#@a|9zR{RNlg9E07EPBmMppBf*IFDYxIArZa;3)NNJ|VBN0Pqg
z&t(J6+=!zHCA2sa6Uc~}VeC(x(Uvde2T=6hY<Y$W?GIY%%F7`aJ0HWQycR}kURW^T
zp5rP*SS|Fz_)JYi;?P7(5ULj#72Cw6U2P^Erau!5)4vi-e<+B^(5Vwh+opw&nb)kB
zq~-R%0>fFW4cX2NK``!n;K))>n+VTb(qLGBV}<Iy>Q#jlhXJEoMK#b<c!?2FQYfUP
z^jNEyz917xEW1+oQ4h+%L^R33Y}l*HRESWDDMV-?h04Lev~af401cC_MH-M+YsIAz
zr}=cHoAGWenuHx_Sx(E0b4tR68l*3<1S7LF1$%FKr>inUnb*^5F^}XdQ%dJHR7sq_
zu$)MsEd-GO;)Ugk=C;_elO=s1W_ZoI6pp8j7^;*Z3s&@w?A?%Wl5`E`u0-b6AVwh;
z7X0c$Kw8AytOa0hj8eMBz*HK{T}I;5b^$21>MGXy5izlWq`n4o113;d!Q7R+Sg4l6
zLbY5hRB5`w2Ye_fFn4*F<fECJi7FIDs01z3RHuoscZ0dHO2t5I&WfGvV$7|P#sS=z
zyBwGsCKGcr*5zf61!-jNikQ1B=4L>|+ at yp4k+~5enAt(9n4}q5p->RjJA%2n6?2Ey
z1m?CJN@~mv7GMjgRH9whzp)<TX?NC>@)ql1Pl^wW_24kWuX<pn2G at be!gU;v$XKQB
z&UMINaUG=_av|c;3~i(aw$f@<UDS#ua2>B>rCl_Uyyd(@5)%1o%e%O4LlQ{h%1VeT
z8cxynM~{(_0g})yCLzxPKU;Z0<Vx=rT)7vKEA<PqRdA)2s{xOK^+j+Kxo}cYm7zm|
z$Y_5%7l{{=MUjhYk0Q4WS0WPj0-s1TDtEUl?N#JLe3P^-ff+R_Fe9woU`BXU%m^XH
zjCL_*Ebmj&;{6RXwltWLPnJYUYx6ir+LnSDP13dmNgJ4AM1|_K>K(z1+=>}PYXUP`
z6P1*XVhTy=+9Xex4a-5w**7zSjlm0&gKo@=3BZzAF(ftt*j5NY%8smPc$-*}WC%dX
zyap?ZFV#k|qP-r;ij3|^RwT`ytOycj)@xu+I$W?Kny0~vFNTZ;mTcgnEN}mJac=@9
z*LB@@zE at Sf78)oNy3qg{%c~+mfeRK{G)Yk#9teO07XSfBN^zEQqpKRIUaA^Z)eS%*
zg*GW~u^lJ!Dmk_&WsxjVGUYvE$)**L$C;rgaw5lB6i0F_*^}5YtuHg9`D{h=`=5K?
ztE%n>30bmD30-fw%eiMi=Pu9mqqD3x$c!5AIY9?*(**{;W#-_GBqa)Snun at EivWC{
z1^4Jy<}X$mjGH(4ZbkU{7skS&>kub!@_BWx98%{gLsSL<DhEuT^FBi+5FyQ2dOVEy
zpHP`$rbW8m2ZBs%;D=Mgln%A*r2*w4 at QgPYRF<WtwH3@^*8?6j516-`aPxEPJm8+p
zI*~V?B_1&4Bn&hLGZKOeFwPNF=W1rqzB!}oVKs>dOsJp=)K-P8)MN-VC`ZnK7$ap1
zWi%&C2jl_glv2YDi!!7iddr!AjK#F#5*ik)!cZ2{p|zOTAOau|Ay3ap%}s=<DdK_$
zZ}Nq1i{rM)UBH9aRt;lD!|`tXkgmIc5;mP}z~jWObr*695mLp?Y#WN3ym|p7AT11-
zIwmdT51iso2FnZKrQq;_v<N4L5iy1auGcVtTG4BluhonN0}Yco69I1Al7U;e$cj76
zV=`iDYJOcnMsf_KxZo^Iu+hUh#87gIJl@=;@sy=Qtp~eJd+<`At{tjf5AM3B2RK#a
zU?LIvFfHI1muqi7UXe)|`Padu)OJj2&ERJ#px_!NP3380Ud{ILAXPlCDr)+R at oK`H
z5vXwp(Umv4mdEVnN}Hwn261KfMqHT;YaLf=^smU3>qgMWNU%{VfW|!=g=ZPDu&CfX
zSlkb=(G#BG+N8chhAbbx0&+PlS0CjelZfV!iV008 at dJ|$Bi{Qg;lELImT?X&g5+je
z at b#_o?kIGwLZ+((6yiDfOwdtE6m^aaT9A%4NH{9>8Zh|s8c-(=D1j)TDTfP7pTuVw
z=fYZ=4=rR~!=O}RH$KbAg+)oog{2%i!Mm^!%RWXXS4rK|Q at 6uSzF&1HkE-lZ<d=eC
zARKIF*+Rn<dQjN^jOOu_Y37{gC}jDvJ;>+hGg=`i9B8vGIx}N~`Dhe=^quAG2Z4=d
zT1vtbtWy>Bdo22{55~cRQzhpVyCnl<Z}Og+I~YJ;OJ>s?yP*G2mT?yd%71B?RRyl2
zD0J0~ZNm7d8t(>sF-n9v<<QS5hniCc5?NA<@zCNVfrzUOZcQ?qG1dH=J|Dysc*|eS
zYwVVx2GNg=xxw-IG%VQwiyHxk;&iSbSzl&l%)lrtyWEO1klmz4iL%i9(nJxd8!hH6
ze6L2R)o(O6qz=0(+K0xPkfsMR%(7m+jT?7mAWN#s9VnQGM2Ev8fPtKJJLqcYL at B!t
z7`36KI~qA(eI3d&xzV^*g$Q6XR%0)YMrOuUY(RvsDa(N_A}AZmr28lWeu3v;1W~%{
zFwvMd6&M2{tIX7<XryUv^*7>>&d+>l)F2-AW<vAUbfM|(a=yox88%;rx0?j)I$tK=
z&E_HPELX*su|Y|1;L4eZQhSH{){}tRR3-wIp>SP_ZsvGlD5&Iwn*~a$X%G&{R467b
zhptkg%;`dWH&&*?PcEZq7;0}hz9z<7EjXjN+!{~?PthoN!==|Jr(E-bqd%Pip3Of2
z9b&`bwf>1YaH)T?$@~+(Bh0sZWeHpz^G}AgbV`9GT^Q6frXeC?Dux51!P(H{pJ)V$
z?y=X at 9Ccx(=ZKLmM=+Jv%Ms$zjaiNb1YUrc0uu+K<~<t$#%P}udF>zvQn~;RM)qS8
z_<|7^_cD7hU?pQ*(fQPrI|RNIvV_T8 at hCJ4lK;Y{aPWGBn&c~shG)pEbh7#1$|{S5
zJku;5WlVfrIZHr_D@@p&$DQPyd1|?_4Loi&ri?TGcE+h*Gki(#WjC7XqL}kpto&fl
zDu-+ at D`I-YicF7)6>T!krlQTiw#>0eN){>$ih6yPY>$6!nP_|K6Iwm~H8Hse0ZN>I
zEp_4ZR0wq{$!3I6a%e&CUkfJ7nfr)A`6Zpw((iUtMQq*cc8iDzup1NFbuC-p(CxM$
zbtAW%E(`}|sa=-N`PE5~YFRpSyMfa8?D8d|b>?V-0`F%-xLzeLJG#!#4ozn}9i3tY
z8c@?~=U4Kxt%t4_R}XgQIL7<d)`M513Eo8kC!CTqsZ+<bTsuEo&J)3)O^2)x26^k5
z6G#Q?#>}}9X$c0Y?ReIj!H`IOT8FQ|vlbI(q!d%0rHauD9q<?8SyX(=q+NvQ>PCLH
zX`62l8)k0gXD7p2$A%icshBkS>t(}@M$pGd5GoZ!?=U%9htNO%tUNnQD`bwQ6h+|B
z%I0TF)6oDfV(MpSOLi(5f;e2l%%cF2UF4A;CBh`h0*X8Hvz4(3)0A8o-^QI%avLOy
zt#X=@>rE8r9CTeTn?$ks1eV(rgz!`9WdpA~S+s`(NdUs|I2-Hp#A2&;PB!1h#n*C9
zHrif!;vOd(N_i(6%OZ`?+n>g+Zt2f_Y>ys;6ZAMA+bSej%I9Afm>MCz_?uvRw~J#y
zVc|#R8!9DjKCLxuOH|_P`JV|{fa_LM$48hUxz!R%)=u`=^(R!N=ljR5NlVP!<sy><
zkOeT}19P$5${dqyh4)x at E>Vqey(C4;Updbd7 at jNqunO?(*GXkXxr0Fg$4s6)_{V|s
zp!vSE?-q|G7ay5(u;Ih!8A9RxY9z at 2c9<?S)+*tkI{>d$l`aEeo8}7dcHPPtuzC%}
z=FRRV|Mg{`Aj-L2)_RROCV2RVRu9xu4{WmGay2MH5Y&bTiNnlT5mfko2NL7j;F5;y
zIJKU)$s-zduexn)Wr#dBYQXi`%X$BVE>;z9cAq at 6?#Z*=CtHN7cXjW5E8o8E$#<-K
z@}1o$lLn3S9h(E#rMCtGmewavw)v6;HYp{~CeqpkJF>|^-}96u?i-Zlgt6r5PS--{
zcG(r|>k_V&{Yl#y_f8N-ZgaVv7UN18!`PWBLH<3NOy+v#ou20-mYwyp3>-_xFNc@)
zvosg))C%GerZZwo<>%sO1}=|<$3F3u|M|3*#m7uEiF13UL~B5f{qk47`m~jD4Mvxz
z$^*xK^_kVoyMWL7SPkKNo3BS>rE+2OD$<o*NzjxU%RqA`Ynk|ZJKkZ-IAP9s(@Ol+
zeXMD|J-b8k<g?OX?g{hTh3CYP%6uZnscczPg}bFBayE_<CeGz=L4g?Cz0ax<DtLu~
z7ETn#Yl6a0>a9u^e#pvgs94?~hRK2OlFJ?>$KZ9<Me20V8oUqLy87qsZ&-M at -nv;t
zp{4&lDzoqrbqefY1So*R)@n&n-IXl8Q)a?7O9jN}16Bn!qLi8=H)>=Jh?y=Q^nwVA
zHwMwBl)&nm_gxT4v?U;BwPtKBh}jK6%=CizzJ4tJHG)|9#|aMm0L%sG;LnBWUZp-A
ztmTWp=*VjJzwZwFFY0AQ!7!4RF1%M=7`KAeVHdlE_q!&1*l{oz#@#~`<3XasyPDfn
zHH-XyOl^=q!ProU^&{H#hM*KaY%ho`{Hd1Mae1v;pR}>=2Bw5r@;{PcgvM+^oSEC4
z2}76(0}*77%H4TEgDhus`3YSbt?_Ght+^J=Tn76eV>zeFiG3M>A+BTJnO)*-w&SBm
zrW_>u)()5C4Xhc4=1${uC==4k*@Hn4pA$HNW;NY-lrpg^?RpR0ENw16%(6?KXZ(n%
zo^{9f+pZYEkba=rJ#H-K!wGtWOwl#Y2;Q45FpyFxd`RdF at _(o6J|N}ZeLw}veG|Uo
z9$^n5N>0)ecp>)^#Ph=QYEBCjaw*cIZ2prOHrqu?8J4n6?PLKQFx}7(<N7Ps%UMq;
z9R^I at CFmbS2#2VKa#ZS3;Rs82<$H}dli`y;LvCg0s9TGx7Nb!Gh{7?SoHGo9T4tz6
z3tu!|Vuhz5W8<e1I&{IRZ*wX1bW=olZFxw8QZ?<CHCK8-qSKsSo9+af9E<!%rI6tY
zWkOIF%Fd)J%{T?yHm9}&`obJB$pUc5f%PDckH4Zr7^19BhKPpprvnCoc76+-+%c!!
zc at FA6zW%69=kRLfD9&M`ppvyN)}gDH(0V7$i7}qneoiZ2_$eVGpMUX&P8c0+lKX{p
z|DYkwK$7^%y1Zxt5 at Ie5-;zkVU4VzH)s<}oI8LM{gpU&u?scW~^as>~DBugA`JK%4
z3OJ2%8n1=`SgC-&M=GrFF*P8Z#cwM7S6z$oO_(JhO5Q|LCal)YinP+`9vxoJ#8x%{
ztu7N^ntD^6Y~jDV@#~sVQayeXt8mS~4@#QCx79kJ1#~FNP_~E|GygH^9tRpQNSpL^
zs%MH3$VmxvR*$G(4@;r%UTdqn-CMAM4^sGPK_qE5nW6 at 01~h96Hq>LLAqF8{PoA63
ze@$d7D*-BJtMEOBsR7n?EA8pY1~4J$vZRNWUk&;%Br>vuD2zHb1!wKKOGg+~B0bxR
zbW4>0mSrqy(D^b}(+_|a8A0M*U(f%%Na?Wjk^$<fkP<O&L)rRu^DdER1V%dHiU60!
z7{+7;Ni-Gj-+ at w7txyTnN|o5cdO#AvMH6cug$d3?Opg~~fU%(v?LC(nNJ}zD(9kxk
zOx1Nh|M3uyDRYzt{WM0xgJ=%Z7*Zjg^FXe&1Bab?zf2GdJL*e;mOF=+QaogAPScfH
zBb-TWCeWLV6W73;e_%A^iebfXlFcM|2QmZJlTHO``Qs|;Sn~<Azr*zZ_%mY(+Wf4p
zL?3s>jz>KJTB<7ye1sD?I`OA}l81AL!yx|IAJ>)g`QwF8sOkJ;H?S$hhB|NrOlole
zNMkLLMb7aHrjh>e$Ecm2c93YTp9={P9gv?kb`W+&uFn`dgxRBj#)K5vU?!yWECWg7
z at S(9luMT9amXVbr at w-B0QMk?NcdMB<noAp$Cha!Gh=YgCNcnb%W#h=O6ZzhR7)cyb
z>3Tw~a76k09XF%^n7;gX4rIEsD_;W|ce~HT5pv0scfn>!B<o0RoB?4xC@`Hyo;1QW
zHDFA`fl*!}7;3~WKOyZ9TNGtgEezjkQDTta929<D#4G%kk#Mr_7N+r`agM>}H;EO(
z!Y^6LcV{y2(2c_}V{4ITb8a9AGd6i0dS@`ocB3XIgc^=XgtnIv6R~XQ*o(ol1ZvsC
z;b<v at w7Fx?tcK5?HRCtH5447e&xI{~K~my&7wN|G+}#qZRzj;$RQ|<4MbwG00xU_>
zU=T_w`YQa024^%w7AWU1?Lg}jUBw8dSJF5v%+Gd1C*sqv8<z-g-66~VyrIM+oZ?u!
zadlOQZ<Vhd+8nAVPS3EG^(@%aZZi3A&!Q;1ad4*FPyBK1I*-D;0=XBt!WT3eNsaAf
zPPC3qO2uDJ47C&r1>CHXBIAJ15xJRH3thwbPPc<xW+NWP8P3LEBAsqqP^G8B_zQt6
zfrN?~l|>I?m!K_tQZVe&5V38h*32#YyzDcTneWA~v_kN#TiHa5$~S at ldEUMS3@)A^
z)O7tymFvV`HZ(KMq^uU$(y56#K1YExD8a>1G at 3XJ3coBE1Y9m2rINf=9IjPr+{&dz
zuG;pWi#f7QPdQa5wsetcuEOuAx}3aBmkhbQT0W4uukcUwHh;NG`)=3_kK~+wkFTRn
zz-%84B1om=46at;AE}kK5x?sDsGkG8W!DqOhoxgned;#rxIla at pv^AA+rlu_*d34i
zBIDNEkHQ<q^b*8O4U(I~$HeAjDtbE1<o`Sj2NJ&Pj?r~xCWey>w4uYY!5qFILTUC%
z(L?YcJEd$Q8kA}79Kdv-Hfv?Gai;LA4#OI&Z9Xe}%A*|4WC;X?X#xx~7%AO2Vun9A
zB_1(mhU|j4Y`bRpxPscTk_UXJL=jp^4quqO1E~5YZETtoCSxW9T@?+&rFLRUM(e+N
zMn9OZZiH at +;1DblYfu4y`Nw-GiKn|3#mCSaMpK=>V;Ur-X=uqp5G1xJ{F>VNy7}rS
zdZ0-&Nw3IPzm#DeqE|0{WbR=ss0tl+Xyt*Y{5ao05b>F;b55rThY|PJ4Fo)8EgrC4
zFj?=(VINE^N+F_-+>x|rkxdru;mK at TfK~b at N$J8y(0JadZ~O?mh2%_{D>Srq)e<OH
zQAER2^W`C^Es5WR5*ePtKQeC{F3{tV60WU4X7W at BXPa;|%to$)2NvaoAMJUFQEEDY
zpK<-D#$7bd3cYm%#3B4qi3v)_PAb;ORDRP|OZTGJGe;wZe@@i}h2Icz3csztwz`wD
zM|@DCdUxNGxm!w8mo891LvtdzDN-aM at q!VxfMeFxjLM#M{xDFuKuQeW%Ku@;T&l>K
zgfMedKE;>i<{=H~bpkkD=-G2Gbl=;xdrx}|K6BK8ZjKO*WRE&n!4vFZ-Y-heK#H~k
z+-eZ8vC5aB&+Ddc+&!xoRcp9xEAS*Y+4<*V at W)ibR!d&95(s at jseWG3x-2PY2a?L)
zZR_|Gd=O^5I#jAQE{KxCxw3W5GC=3VBa-XE*$|XC$d?1x<9%gXbebP4<$Zq5iv*my
zlf52;k>{M}qRUl!gf*~(*w=Dqiq^g9ox+^+x+S^8zBy|<RR*!~YSdD8ii_1uD}p`a
z{}+AE&*y`aEqXCezv~zDdIhO9a_QnEPA<IkZ4j#P&-9me13YTA>&~sQb-95vdOB#|
zLfv~e(v8ymG6s^EOyNJNHE7qPQ!@&kw0;cjnRSb}67y&gPWXJX-dR49v4+Ly*f!ne
z=AVDsc@!d at p4@=pdPv((FM5{tGPX-t%uT{6zh_$m6lKwJ5I0%Q3oh~>2$_Zm->HYU
z5)Xu3fo57jVie-|bOG`U-Dpev>DjoPJr<mo_mhYMOlI~71MO%3q+EH%K$-p(!<fRQ
zk@@GJQo1e6Avmk6!?c2Yy(wiar35~he>Q7!{<Vvymy?@h{Z!5}N2MtKT#Ce&@(Hi6
zOcJmwdu?=lWeIa_o09rVYTK0BH at xlq-$o`J^Slv(#<!45`$mTviMV#<!dnQcKHzDJ
zr;p_h$hdB3cHlxjHZ|aK4sP9m*Z_-`Dg0}R8Em7+-rd&qczIwx3bnTx=8WuhqK_>@
zhL5FU&=Fy$DXgMGhEg_rl+w0UC5x+6N-`+8OXVR{RXi#~=^M??Qv`!bLrLRhtgKd3
zW<fwnrkOT?0f5{VN?=Kn6nLWI8AY<=GR;~-jhFjF8Lh!Wb{4!VjiYCWei)S5bijJ-
zCgq43HQ=Fn?SnV(#JPtFOy(X^+j+;7Wz?rB==XPWp-)!vo__<`qhN->W6l>)ri`($
zj*z|IBV7z2o>oj4z~}A30NeO%Jt@<FgtH?K1A?%`*5M(l4I~(__1t{o+AzRQVjbW>
z at 3^kge;LeZIE8?Nn?`;ZegEf>I*-}Em(T-CZ$5-&0r45AXZb+WE6`jn1C-=9NW6sn
z>-)5J&Ib@~4gk2|5)w?mXL?(7Pu<jP{^v7PjYH?Kz{ct={%Y_DU{VhUIyRdt%pS;C
zV#$|Tz0UOPugJiow)iZ73#>tEZ#A`L`_On8zl926>;3 at Pxf@)GU(_AZrO%vUJztRV
z;N|L3%D%`p5A*)JRgL8};rcnNnlzNQ9CMC(=BOH2eQJ)0=ePKAq<xFHVO(5^U*52R
zwEb?2obcB(K;;Ugv-3NIDf7N$UuZKZ{CnXy|NUVm<hWJ6{bV_F>~0oGf0fe)SeLa0
zT=AGyczSs}@c&(~5sRF*Xfk>6@&g}0qW+`NjP{KO;-lsWD_tx>eCDd%W|Hs7eCO)*
zXU&*kPhNh at yMD!aC%2mR@)IpgUBi3~GZs&Th0mz{2dDDiD?8&Og-_#4XM1DNm(<yF
zgjLa;e0l^i{>3o8d?CHm%MVdjzt8b2r{Ook%uz9q0sI@}v9f%lMSp3p at Vn~WL>9E#
zntzxKbtU}paiG}8iMhBUlMQ9v|Mc=MF(^$bVL%hT0f!xP9|0w)1Hv=OzG at Vdu*FM7
zzPxHR!U4*LV96cI#nI&w1BfiIPdAK%mJ;>D#((t;0GcB_kiua)F^PY`xX!gQ!Jsa4
z1ZF<45)fd34mk4)hKfHO&Uu^%`TzUmz%DX!;Zwuc!>2q|ULGW- at g)Z0U*l*PzSM+r
zqm7q?xp^k92I4>ZRvnDW=6 at Xv=?d|=u~9C;x%9SFo-T)5CH5HF<w%Q at wq4oLISx}C
z;0P4=DH;&Bm48Kt^z6~deGzOca>cgH_QMzhj`8J)<b*EWUpq#%T$EYdRtlwg^}nd7
z(AqsN#{0F2E96Awuv9eNTx7B|-Y*xu=pw^$Y1r|I=lYOTk;HkKveASUa#J*=@w}bL
zTm}*kS9$#5F(w0j3SW9XQtC(_GYbm;MjXd3gyNVoaWr3qCAL$VL|a&%jL*)MCv2&S
zvRs+?R;g>&&rwb#vYZ1Oa<=3|X}j1;OQ|R0Z&ikNABrXpqp-vEcmGz-9D<_S*XJ2`
z2zSwr7Kcktl#9yf`C5^Vp7F(cDl1^MrthG8hd7`UY at vfq7;&%>JZqXpxiHWsKtYrW
zXFE(J#H&v$MQ&fOun!OwI61 at hCj^;)PyoQ4I^@Evc0d<7(<-t#R18XdC}yW3ADoD2
z=X{CdtWnM6UU!h5Rb7MB!KTxGilqtv!ic&ve(60w^F`Sc7=C9wx=^0LApji{o?MSi
z(WF2wIaHJ<gljk0QJGs{cxY_162q<(1fzn{uBTkEX-rdgu#i;;^R}*lK?;=x8|qe$
z5b~U;{Db9&>DE#>q<a7=Q~1wf5Nfz3e^ete;0hGh71(4gWRn6r))la|{+w3rTZq;b
z7`GM%k^%?T6(BDI41-C5BkKz6wgN**f&11Kh^zqlDL0B2HPMrdQ=`0<_pp`HA7Uj*
zEAEd?v1suf+yF})kZ%a<3xiUay^Yvo9dBi_G${l}6B4^a66FaZD?UU?=X&gfEM;r%
zGd*lgt?UMDJ)u|%hEd@@ww~0G3P3qwt19Tgv9vw+?5xU?jR~>yWFC2C?bf~(gNS<K
z6Y81ZPsJlTw}KD70I}NOhrME at iR@8$j)6tHdzpE+m^qBtVxbV-=|q@$Qh3^BL*<n6
zNm@`ZD6WZUN at Jah;c5gNG$Sf5!C#EO{rX&dQrvDzNs4tMzJFmZ{;3bcj&oqMjG{ts
ztEw;zFvWPvbR}yfx!dl7`y3bOgQ%!6Ygx;7Wz_hN$i3P7(3li-DB8MdvupwEQcRdZ
zQ^(sS=(cztWqD$ZjVU`A**h+mck^8_lY7h+>hjh8$1twXNzoNC-E>jpJfWD4i5k~b
zc at IY^&TYQ0P#h~33WZ|#zfHQ#CijKn at POVA@L(j&Ws1eoVxadT%v8+5ud4y4?eevd
z`%3%J4?Oj at Dgh59VsJJO2h3XK_6!W}Va!SqZUsA=+>z4$W-58}JpRol41_E9hA`N)
zGr7T6-NYW5ZVRxJyRk~!#azSsCoTY$7}@Rmp!S|Vcp-rxF7G=l>$s(~4Q(0ik)tu8
zJJ at 2IqLOXVz7Gm%FMiB3Kr|s|Iofw@%adrheaCX&#U~Sru!DNS-ehScx9qSo$5#?F
zr72C0(PXzr*I{25Lzm+tzTqL)a5ibU4{YB{hHn^b;R^^57A-y*6(44-j<MXRY{hak
za12PFF7JcukcO02P77?0R|_t`!kce%RFt$mqf0jcdc#qenkwxzZfCg4krcj#0qiS9
zhBZXLA6*n0T`fn)M&J4L2h%Z0EZ-MuV39{xK8ikQE=U&*;?L0rhJSQn-q$Q*Xl1Uc
z$j8sj9PbjnCM9MZBfH(ig0tawO_g at 12tF2^LxJcJX}(|}@c37h%5+GJ_96d8kF_24
z4x7bpJNV&^!M(j)4c2y$*>(+#=3|SlP+`djmZbT_d(h#lw&18ZRoa%v$>E#NP8TJ=
z?1}nQ*|hQwIXk_AgDQNO0|Id-5cMJKr?p6*liG>{;3x#!eXrvv1ml~T1L6u(srfnm
zmf%%sJWAu}jc1O6)N#NpPq?)w1885qOZ^`V09>Jm%3zaEg2FiS3eCo)+Bs*R?}`X9
zC_p+z>5PFhfPH9eR4NOGc`<j{s$%(BG)3R|ym7>rABywk at pv^uOKkfrPfWSl&Rx{v
zGs)(GSc=|UKv#>xT|ba&@0_Cr+eo2l0vWDuVSLN9EKSOxWvt_3on(~2(mO^ziBiU8
zeZ-dD^tPr#-Nq1dM!t>qi)IaI+|;Z5&A-Mms&D;6s*CRQwl3FmX5GM at sM-=EChA!*
zBUJjN6Zq15OC at -=40djb|DMV8t?Q)Sz5TxQZTt^R;=f0Koy3=?O1DPk6Qx^3cG{Ns
z+J8YB*nat|O1MU4`MNNiF^7)$0_<_m8my5JYm7 at vL2doH3D%%iA8Swz)=<a-r><oU
zsM!-v0EUHjMaMb}A*HmvC>1px_cs0o9fKc#!lw77_shkp`1|xhk at zKhR-B4TQR%`|
zoJ||)3V~d2$0L7jgN0|oZL~Ax5yuE{#UBN8E at 4q-0MC_6#{>W0v_w|gWdVF%M|&*D
z;<d{Anc47%k*4=2$A;oT6ofSG6poZ?VI-yRz~Bs)k?MUVl73!@KTs-3Wl1*#IH?F3
z8t1ktJfiYz=E{2|xDHqk*~{@vl++G_S&Q0AAA$AF_e0Gio^qtTnkq%bUwpq+t^MY2
z#vkYzAUPap1dX at Fp%Ree=)=7PLO{)rS(-h(+rx-tj>olw9al)nu5BMJMaP2DJ_=!n
zzM0;l at 4%Fa>$g1nRGH5r9b5gu|MuDJYS~}B^XWHJsOXy at FPg_ya6$Ei9->Tv8E|NE
zT)k+!xfPdYMuRz<16pOrg-sk$zG at WPGAXedN?jB5yW*X5 at km2H@&R06K$Wf?0s0Zf
z;T?U`U(UN87upQgXmX{rn|N=sqg3e>N?}_xVQQ1_CrNQ)AXlPo=9u%X at XOI|NNiY^
z?vz6GEk at g9bg?a>LQyIcqBu_CGq(=-z52xT33<H?eSiE#t!EjJ4mdZMy5sY4W;r?_
zcGV!sid(Rv;2l&cuS^Rn6OSy&<O{xS=A_4?2J;SKU<a0UTps_pFfJ?+CEygh4(E0E
zAUA)&Y~R#n at I=RZeWUS}Ipc|VmAHwfM;3|yVaeM)tA_Ev3?j#+x6Pr1Na7G%m~xXf
zA6b~E{E(&|@h<1f2jU^VMdb@%!{=fhFU^2C3t`fOj9L5C?;Ku$tdlzB0B;1M3zy;v
zMq%`pmuW9{3$X``e|OvHHP%LXe>ASH)pk^5AD!dy{Wjh01?cDlr4kJq(Y3stU`O1x
z8$OgF)ihd|KOUMIP}#h%_qn$u5|~_k`7PGVlz-0cBn^iv<pV?wlhFZAez*gq-vTtZ
zs_BE$f_J=^@88Ju<mnk)89N84&pV!rN>Vy{DuWFBP}u`2Yz;@Z at o_vXh#>^kk43X0
z(S$g{36edO5)jYA1md at VR-U3Btn}3%KrCe&cmx88C;kGA1g?m%#V&9vfrCC#fHxGq
zW<GJJkc=Yn*TiFxBBWdET^KGG0n6msNH+!C3I$3^dg4tG=U#^`LtIp}z>bG`^p1xw
zm&Xah<_K}GvlX4|J^JF9s+AAGU{@4D;s1d-IuI}T&!XU*#iL7<fG-he5_X6q2}OCc
zPArxT65w-!B-6Zy;E!c9P>L!C_(&JSoI at Hg0+Qz7VF9))DoW2gm8(KKpxBMe<r&gf
z(2YaxkY~ytXq9i7dU$M@%UcjamPgH%_8Uf${>!&9Ac?A!suGu@;DRTDz?8j}mS;K$
zvIk32WESu4TP_#dxR?ynzhT_t3eSvS3K~F58Z;<y6SWjODD*Ez(8P4bAi6USrBuhG
z&0Nz!d<5RKyz6|tGUwe^u at X+lYoa}h_0&^*FuqfeJ~X8#gYX47>y8Acj9VF#ayq(U
z9+l at xQ&7Nr&fDpDXEfFC9<i>b$2}VF at tj#avEFn3I^845tohZw&XLq8Ag<c1SRa5#
z1n*xNfYEJ)&$1&E(cVX<$~#Jv&QUPFn3Ncp=Ra)f!qVo(qfmNH*eHsj8;k>F@~}8g
zKcGA&pf<U8WQI{sMz+FXoWxa}d1%bO#W1c7S9Wav2)O`C*!0&xeB}P%ZP6xURM$j=
zc@)VVBt?$(Ey7Jn`|xYRO>`8bh%ZKCyz2UtNHm&fGTKYhON6)u0qz!e`&iH(J at F5P
z&?mBGyS&%{<!-4{cb_0Fawy~Z7|0lNeh@#pT_-?TvQ&U3gg%V23%<93J_X;%jEz(W
zvnSUCQ*uVqQExotao`=%zlWx}<KX^^DK0ns-O9mJ<YCbbe-q}Hvrp52f&atA-scp)
zDyi*O{jjn{CsL!+(!_>h`Di=2zR409q8$hzz7iCSCed+x9X*xJ0r7RTOWd$CnlJ^(
zbj1Le-R*+h-C&J(LUI!1;==U>x!Ze070F&Ns<^*>k<8Z?<aRk`FQE32Um!YB?E?@*
ztpRYV2S7C7HyS|j+C|S1)IN5fAtpJ19X-9nKHuoxyXe8;=%UByhpEds>S=+qOHr&v
z&NnPY;k!U05*opxFcO|9KCWCb7+gPi75q(fnio!l9R`*-Ci+Y>AU+e;E0et{4JSC2
zNok9;>IecQquEtf&RLv{CM-woO3F2~DiSVtmB_8TOSDQC$D|q4;VC7AZI}AQS7DrN
z5TVbs at OqVH8qXZ*v=AMm74)xPClDqe{9Yw`ouDYl>w;Y|o(nFE(*@l=qt}>C?txJz
zS3#{axEk=wJ|FRyWY2sT3 at qgXuyQNj*RD>ykEn*vhwKGslW`trRVFRoB#|i+N0iZa
z-s3)Uv~-6^I2m`qanD0o#Lu?fkv{zZez)_3z)*}chl?cMn~dM#!VxO<l<wC1damfR
zsAxt>Z*{g;rp?6x1Od?<?|+U+KtnM9|Bm+)7MKCIyu%LhtL8AeK3&THOr~Sc<9y2h
zy_w)%{_i#Ej{kjCrsBK&e<m808()qyEd<Y}_KWiC_)KlQWloNq&F1vEcILXvBg98=
zX41`OM5Xt5q<t=)QKzL3n}dojUR}Ma`ENLS-82DF*)O<MMGzc0N?rtfiHbO`)&t%s
zZaEL}PoSDDwCH9+rX^R!_>k7>Xxd%9bl)o3;e2p-f7d+0{BDRcA5A{Qgg%ii$n>4i
zoBUbcOz~`TidhX}j~>UA9IcZRvvwQG$z+c at CooyB&c9KP>0WeYB0*xWiNxByievg$
z2B6oreLxc4N|Loz&TAU^Eosv8ugt4g*p?zss7un6e{DerzKdKf(v;vws{+aTIRA|`
zwlMJZ(pJkA4$j>wNeZH^`Jc&|dX&<5<^M6gd1Y>MacjV=WOiV1Xn15aziDjqmI7kG
zW*J2gg?DF|eRapzu`V)5S6J|hbl;6$-F&ThXpY<u&1zmIh-lX4dpGX!o5CCR__`av
zIuhKl)@%D;eNDiu8UCx*eboZJxczz%cxN_vy+~I0yj*`mko8oBlH#NMPlVmIm#Z8e
zI^fs|1;Uz3Mciy_WA;k&8HIYr;yMYa{+uf3ymqs-=WO3wquw$q*_A8mU`1F;xNb^<
z_Ik>(xh~_`I=?%JzwllL;dba2KC1!kN_OV{bl6??x2jz~UKVn2Q7-<UTIOM!13QR|
zp1 at m#Xe<n7<?18sG`p&2IJz$2WZ$yi$oE5%DBFief&ZaRe8*W-!dE8zem=01Y#2(H
zygUEV4hzW%Pkx^P$OnTxi{sc_u1z at yGRN%@SX(W~BHSDc>v-sP50qIfr`=~m`Ut6v
zrnU$T^{vijzZx5fBrvvE*S=1|Dn7U6l>XVBPi0&9$8wl8OM4+^f8_zTB59GcJM07@
z)TTKWAZpb&KYZyS|3b)KPyC`l>mtIq#n}RcnV94(s14&tj<PN@@!OSD#5>6)T8P(A
z%x%tQf)H$E6(nc%nz_<Aw9SMx$pRjpWel_3m10?W%z<9ebB0ixjZ*5 at Dp>c{xm9rM
zQYZxsthk=ae at UB+bpN212fP1K$DQh{<;Zj<#~SchW}$>EKt*gC)4~JRJ?f|r)pf(v
z`MlZ&p<@Z6Tv|<^LE|9zp0X_Sd&RO(_ms`PVp%qwvi6+jNtQZL#AE;{K*6M&r0#`9
zR#ZnEyCKEj_RPD67fJ!RW2F?sYnOHQ6Aga#D}Q!njy1{@xXS5M5Z-zka6MU880(_!
zw`)oG2V2&a?Gt8MF_j>W!Z=~d3{;Rm1<D~8_>LTg>03Bv`8|u<SUsxH!Y>jM_dq_w
zbjBZAL34bEm9gc&IAn(~h-?&z;3?`k63}uOaZ7`8M%93)65yzDJ6u(V^@Ad~MI}Qy
zgCdlb#3xiqNTp*~`%7l-4 at A<ZT}h^CRT4t2FPXhRV39C5vo;NbT5tvf*>YL>`}0xY
zGfSo-YRPs6WI!eTY6p{zkF7{b+h>zKXxVs4Cj}IwcEQN)m|4hYSHpa`ipn}870lbI
zycr>k(xN*}h}s*~(X)bm)k#-7?nStBEQz*u_(5T4EojD0$h80^W9zkg8nY!6+Lvvg
zk6;j-VPKPv^yln}*iTJ4ev%uS;bguOZWxDy;0>UIeVMLPepnTmanmg7#?upg2`lb@
zQ8tbkn4w98-ki+_A^R0vm)0JgX66orC~O#+o58u;aRoB$Rv_v{TMXzYj5o8FWFX$G
zk|lompbKbo&4`OslVyVe%^=_049wk*Z;;VoSS74x_zB}NYi3L(X=V$}WDHyYH6pTG
zIr1waX~hpo-2~x1fwg>lFmP``v(doeVC)USn63^6Tka3G&=nL_SNtG*Std3(?K_3D
z3~vfjh`k~%)zvUp4&bbVo*fc2Fyx@;yC57tZcXwN0<Vy;#X~<P&cU|0&$U7ed at sgK
zAGE7la>{ITC7?J`^GrChB9K}|_|fDVMI5Pl=1C3lT at ik4IJPlO-8j6E{m6e;Hj}lp
z+v&3;7DikVoV>{mtxApPnMr!Y45SQ*zqQSJ?xl&jFp))a-D}SOO$*u_qqTy$L}HT$
zMy$t}9_A&GWR!7pWDcC}bl*isH26|o{1i^A1cchyL>h~&Hp>*XyWD<6kgNW6hD=0K
zaHqPl5<A=vA*S9H+|MSeEv3~K(yL49RW)e}>g6uSJ6i5DD-w+;`_W@~MXQB(inft3
zjtbzL9QS5-xF7p~$GutmzKQlfWF+>Y9P;kgek)Cs-(z_8#});`2~={}I60O7yxX$t
zrP6Se>=iT(3aL!dvp>Y2p6$(Q==O!+-~F+iw>h`1Ra!a=$_2mMJCUU~?Kc)PTUF+4
z)u^=eO_oGUzj{epgkx>az*fD$Pi=Uj-y{l2&Uy-&X!*AIZhbihM{DI9HU#rp3QiVE
z4cV|YP-Z@<>jsMJL7{B^qP9;-G}5h{?!#;{GKq&m10_}CC!|4F+GF0D>@6U`RTJM#
z9k`qM{2}@gW*tEUQrLS`mWh&gHqi<BmqPhbK?!OYJw)z6S3oLaBRkqeWbK$W1wLLm
zXds?5+r1B=)B1;?Q4gKZflU>IzQd2wbPV8A#$wQoXdzS!BZitNBQ$EnAPPUg5CFpG
z^Y3tj$MkBiu^SR)9i}x1&}$xr5nkA{(Uf%(y1oG}-+<GU^aD`^q)1`NFgL&&u>Rx+
zNrxv*%;*0koBA}?G1b~0W0W=LP9CQ@&NOV&;a-4lAchFZiFXDvI*}J9aT+U*2L{!~
zpphpIEX^5|oWo_LbK8M999wPV%%Yqa!>5$8R=vcTb at d?NE7fCvrk1j)UgFrgdeHcl
z>J3p3G0Xy)><86xa=|R4m%U at l09KR}0K1nM5dRdL1syahMgUecaQtD|19d1CP?~}b
z8*TdN7i)_%Eoj=PbMN=cy%Z+_n=m9FlfIIUjHD1*kQ?O<(GbU$<$(WejH-7Lr9X0)
zCF*}-aVtu8R~RBo6bap#I67)zK4Sb+`TY0aKEMLv;ryp>J9uXlMMvIt<Z5v6$lLBb
z@;0sy9=Uqwk*g7ps<qka<%Q0nrB-vcHGL&GSzo9%rWb2bquGhtwN7wuxzVUME=JAe
zPSl)@+MVf6eI}Y|E;l;0Ry&wpSZK~ncWO^gFD%#2(g^h*NM6ods?E$F<F48c9)0x5
z$0A=Kdh2vcjou&aZwF5_<{Ql`4O(i|rmNSYE3JB`Q)>i`=|(WqY;@|4<>qobT5MKp
zQN0~4H`>cfOU+iNR*jmCsB?*DOAFJT*=B1o8I1s^-o;>HdS*TnND)xZ>q)&aORI~E
z(~WAhP;b<NT4SZ&YBm;YjZU;O-KtMtSf~Z38Y|Na^=c%nsCIR_GaYrB(PFK2u@>xK
zsPb=Nxw5|+9KO_CtR0>Q1NFlfFI_%-rP-Q4WVeT^wUxu|EA`pV!FF at GHB&phu&}at
zkS6D9Go8Z#u|(6YgRRcth5CiVzN^Eh8tqQY;R$#Rt%qj*vbz!0>1Fyt(7Ka<SEhr<
zA3J;e)Vbhvd^%`B>N*?|pFI_vI(^b8S$Xno<=7J^Po6keIe+R~PNdHsi{Dl`{lsIH
zC*w!YSI*ko$Nk&0=gyow_2`MplPAs{J9B=`L%j(q6){OADR}Pj%Bj<*9<Q7^{lJOf
z0po;TMwnS{wIJHUHQ0bZU9Nx=qQ|CZE*(5`S9IdhlaWaMz?qXLBeBSIr+p|mUc0b-
zF at hDEFfy&cK6QAh+N`x5-#ZRV$uF`)jA*(Od1M at lL?`(5F2 at rQvXc~tN82jhxdhvJ
zlFxb$YAzfK95*DT9ecvWon|v?FCtHeZXhd9G{l=?!;7_!weE-%ZN$QNMXlOw4Ft^~
zC-nw`b|`ux1<Ol)v^3qhbaUNZYPLJ37ld8OgxyddEpVgORpjPcUqaTt=7w*8M=34|
z7c>Q3hk^r*<%NaYgHzS3(Hq|so$s`OJ-Y3-sC=qXtz8wNmZsb2x=u^iDjYGU#d>49
z(`=Q4)60ubp09V{j5kL|tX}uY%yi>5o#;X>dV8(aEccV`M61<oNx_Y7_`FL@(<v!8
zh)?c9$@P-DU4MJ+>u;%5yHamdZ`_X4Iko69&+I6B(|!Bf(d;w?e}$^AJQ$Si(v6!)
zO~ETQa$~4Z8fX#<*^Qb5xxBw!{u--nP&|bU-Q$&wYkqoWrq*uD7 at 3hw&Cv#JcrL(*
znhKRFs!PEy%icJxvw|6w_F1eW{hgUh(fv{F>Jlab!QGF3xq#u7!0)fF;iMG4{rj&*
zZEDnK>$O&NX}S$d!sE%Ks;L$%-nB?T0JsV4jayqxtF|Io-04 at iyxSlM!5F_vGc#$0
zuf3Vm%?>Po2Hdpj*!|{0*A`1>MWS%DQlCb?MEjoGLu<z6S~?E`y at ho&v{r7WW+E1*
zz(sHGpQu~Ohloy}=e@}=EoOE`4hU`sf2z%8DQ;YfWnsS^bxl{b-j<|S4~;(FM30-)
z*E at Gb)75HpaA5{-q2B1UA;LkmbkMg%*JfPmjd`g$IWvF|x7)Rr8M3atMhEt{1tI^c
zx39rW%0FGn>$K!BHELHpur|0TLIB#3q2&!*bIE!+xG3uu9b8#Dn7D%nmvCs>$l;sb
z*m$!rl(>huZ!M33lnzNHnN{x%8G{~*gie#O;MBrG?c(%8bm1DZ-L73;mO%@SHy5Yj
zKA5A~3eMHqIIt#)t=dwn)|O;}(*Vjxcx|0)!CC3^wn<sF)~MI2!5IK`;wO at FvnZ#t
zN*x>tWY9DpmabZFA&Je_we$^KB<VLt89}YLJMF-{G?TK0X&gi|WzOJVTM`@y!ZZT2
zP at Bbv#?Pp&)EUJY=TR@#z|A!c!@NY~y?qS_6dTl9UXl`MU>_L=qPkx}|u66O6x#
z>w~peK at HlV6VJ6>tIY=ww3_YqLD!wU-FfOyR}Y%MWFvG<2gj398Ww38oI&#jLziX}
zPBC-Wz*DW&gF0ywobcsNf8p8XHkf<}hr#*lxb-ua47j*jr7crHlnIWtn)B$Xr8-DD
zb at +^@XF>uGHbg)eR4pZe$DgBbmqMr7kh^>Pc<pM((a|t^;%aTidw{;91XYmC)Nv5|
z3s42@^2a1}!TD>87n%zMJ;ET5noHd%DJ}FkrA@^)ml%?eYs2&iW=w|fYOOufsxQG%
zz?#zR*fib`HDHY7wZ=MgsqWOC at tX=Ih&ZXj*0tCzNc$Fmh9*Tjy*;GNRfYa~8C_{E
z(|B_RRTP}Z61jj6W^bZ%jaX+}u&Eqwf-^+F+AlV!q?sCuD>%8_a9komsxK}r)MVP6
zC}C{c)5rs^1Ve+#Fh!DxQ%GUQS*sS at ze4Fph1;&_ssRO0QNEq#Omo3gOgQjuf*?tE
zo3Rk29<Q}gw@#ovlHl6Q%jz<C%tO&dSla9rB0n5;U^1EYt);Iuq%N8I9;e}k0n)uo
zSbTPRQKG39(w8Peendf1u)mMfwT>c42~Jf(adN-h=t|K>lG$+edIfR%f(6OqqzlWl
z!~$Lmbq93bkY@(T2|LL0&ji&>`mn1llOP at KyVPo4G_mZy?R^SU!KB94m#|Oh<G-=o
zB#N$GovGETA`4o(eyO>H`j;{j%RDf>G<~7IQ18 at DdfI?ppQ*zuLH~ctnbX0)4Sz59
z&vQG%zd!KDneDkR1wWDvv-b`BRQODICVM!yH~7rJ2ZCaDZ}wB+?`DUC=LdqYn)%bP
zHgI?5do%wkb1?g8?!OGYFZ1Qx?t$Tfk7phkn8;iW&Sl=1{nPC42md1bbnd0#!`W*C
zw`LmQVz!+7NbY#>XW_?!XS3fLd?6gl{b26z=I#vM7QQ}wckro!9}6GIoDBb;fgpHc
zG6;4CqruLdI|VXN^xug7<n>4Y?F_b#@;*B{6ogYFoSqbn4DvD`462T=X(j!i&B+Zd
zkLmpwNu*#zk4FOjrtgz->F=iWDhRge+Ww5V$NcSm-&2&!LeK3Mu5<bmjJU`A?S0=<
zl*?kz?N(jepAq+%zx;m}Pj~Io-;Mw4dvD0wxLo>lJiQ76DB%B$xX1kMecw}*%k4e4
z6S}rPBknPO`TvpEe$(sj{^on`z3=t$u?LQyILT2<hw`5ZlZwOsLKuOTP$men{LArA
z^dIEk5dT!+)34_b|EZ3~HL9DQ|MpPnk143lIi7dy?MCnmp+fDZH}^EarTW)@YQtUK
z++VS75P#@MJ{b^qFC57q`Psj<?T7bHeq=Ri<;!c at O%ah4h(C8EUo4Q#k&{-zLe1#U
zO7Oa|N<|)H1sgNF+(_E(rSJb&`u(4M2Zua`VGxG71Hm1^Y)>WPNcHic??{Nv91jkz
zO~GBPcP=eoID|`S8Mnh1ma(IU&ta{m+qH?qoyDcY7cdsBYX_5r&`c2g?xCF06~WFO
zYu>HgbLh%+d+~MO6#m?SFNMJ!l?q1AG;4+D^-8-jz0|(c>{M_)SL(GZuhn4N6(Y9q
z$W4}2d~Y=}2VcF0Pxh#T?CWm6c-lwqCPpw at t;{Sm+qHqiuigP=XRFEz3!=eq{#q*F
zRaRyfrZ2XK?zy>Y@~YI6Dr!K(H#Zh2GhH3I32HDF1rUBPqc=C0qz0a6MJ$xR{iX&Z
zm^R&9QTg&?H#byEf^5F`)ge&)TbTifPOXyq%v<if$%=Av3pZ1kV5vfo)Y-bVB5^_X
ziDD{>sM^K5m=~zcl7p{SuGFUI at 3#_I{|hq}o>nX5WerM;A-4 at ypi8SWo|9IYnDVLw
zCqynr#iwN}gcYsrJJ-CtP$PR=Q9w31x#m at ke)M9;t~D=Q9nrJBbH|!@s$_3=?OF52
z)k*@}skKn5V)AnL+Lx~GN`rZh_MWvvP)+x0Z!!cUb;W6`O1;|NS6mP_ at KS}5<I9Un
zxZ7(%M at CW07wa>nTi1ZDH;v`R$`bxFnTv`d?sj=CT2#s>tZspMO`Rt+sJ9thGG9~C
zd`-n=G^)3j*A!JV65t9NxZ=Fi{jgJCa~qVYkPIQ+JiTz+?hOiyj at IgHq7B|Ac()P<
zP_*khOGfTgr65b{+`g7p39{7X9i=sG`C1IV)4FEe-MMc~k)(do!Cl)LIK}M;+{D>g
zM}mX<5SE!`CMRmgM2yqsH$UDyOGp(j)Gsy;73z(8=a at P7Z&miQb$F}sK<}d?+w9Q;
zChG3RsWY!FX!NJj+NaKZlPh){D at k|O<f${Sb1aqIS|4}!KRdaw+`jb9o2?Ife;kzD
z<I1G>rw9x0EnX3bmMRgCs@#1O_Uuff|MBYw!4Fdc_fJ`~57s)5Hm9qPHLJ at DweyU7
zy0hG>y<sg+*<>RmbD4id5!c?hmJux1UYTt*7d_X#X>*$f$rPNLeQUjO&)sj{P1h-m
z=Lm;e)rZj3wbpsq^)1`izt!`jQ|q5wBN}A9cl}FEAt)QD_s2G9^fVAXFiE|W^;UZ=
zJjcg-8&ng5;l!jNi$v%0QaS(>LF?r1Bnj91*t1&u!7a&KsBjvYedx9|yxPrIS5Uxo
zU0D(6r^XZFJb6|yoHHyvOjelijmguucWLUg-wvCP?4gO?@t<sh+fMDRt?4E5aF6cT
z`1QHRAL~PMGHhS%^j1{^Yo}AZo+<XUWHUJD9zScvdXRta at xS5lrdf|J#5SOuCN9no
zE-p9teSEV9ro at YJb?b>yX<2vuqzLlBa!YSz7apxOE_N=xb#wpIx9yR3#CWw&U=YtV
zjFT76Cwcq7S)jN<akkl95JkUb?>b5(sKr1o)c)24HIhEhPIpei)+ZV(e|y`~bgNy9
z8&!BAdHr|B?O}3DX(`gbyB%+*Tj=rTakm<vGD6E|PoHP9>|3`nS<%o8KLgZ!tD2ZD
zcd6{{4OApA;V0`6)!K!fVjP%Dqjh6_$npTK_RL!A)@`l2)~K|w-K0NT71I<p?h3%r
zW^KDY5<G9k<0lPy4&HAyX4kgft$A at It#WCk+VnGB^`hJvwZkC%v$-*k+cOt5TR%Sr
znwFPNopGvgL8MIvPQAs+dfVR`1<xr_4b;_!)Jac4k+s`Nb3z=JyiWUG+FWm+ZZ^J!
zImP33f|<)h^|oEK@;wVG+6Cvm`Rd2(t<F}Vr4QB1g=(`0FzouuM5Quw^=jqfLi57(
z0;1f)sMb4Iwx08d_QHDL_Nxaf4?cS4So~<E(q6t$IaN8;w=%((J2bPjbZsr8l15x+
zQfsAFS)9kYeEUY`Q|_{Sgm)B7j~s*PA6Q&^+svhlPq`;&JFSy7=EF#oJ)O5QkCLxC
zS$*f2-8|7y9`j`Nx-(q%4pKNCTMZ|A3#HG$E!<+yNm&`ePh5Q_++|Nr;&Ga?1(D}#
z2#aQapAC1~ON|^(?nCXnLf7&6Wv0cDwfe<J>I)0s?w^uyrM|3{o_<F-sEPgN%y)*v
z)dhF?U14svRjYk>I9OfK#or4D<r_C=z9$^QR_p3}!!hQEmI%ZuGnbYd^WPVa%qG(K
z_rn1TYra1ms7S*8L74Xe_e!%~{fFTe=S`=<=(|G*Zvm@?r)?O~Le3uui~e~}VEKa~
zexnsm9;W4gC~Y|j5`Q=x_l5gH!5<0n9j%S-V}!^Bd_Nk(66s6GV=<RrtE2by_F<!Z
zZwh^Xi1uT>ovaPS{!zHO+X*PG{&?>L1yw)M+mWe;_l0<t2H1uH(sN;<_qFuK`@4^l
zVCMrN0-;7MmT5F+u2d^3O61yTis%1vh(oxhfJsVP;-7>A7J>iMFsGXTEZp8xK~H>3
z9}EYq;)lWk%lH0d0>5>=)Lb(6QBkcbwLcubCUKz&ue at gUFA2jy?y`wht@@FWI3oqI
zHy(R_{hR3vOmKBBeKgFqFSO=A7NUXEs`QGthBIu-tbQsaWJ=$4^?vgHg;2g9g+Cq+
zS1L=(y8P*IQ$_D9t;GtS at y~>VFbelS8xAv*Zj*pN7m_BLw)xMBCO>~(geAu`)2=id
z7J&XjIOxpAFNQhE**_2aBGRfN(*GsQNrV1UI8a?)T)g&)a0CN9!<=ZN{mF1(c80}9
zzbvqrvt?HCS9CdB6<%Ld_w7!#-gJ4BUkwMuZ!4b)bNc-k8i0GP+g}TZXjlCAzjj~f
z_SeHfW5SjHt=pbG_ze%yzYGUwjV=CnE at tI<{~uf+K8 at x}YHC)@Wf_&<1YSY*e}+S|
zHita>uXv(PKFx2Zwy^M9-M%&Gf33lGn%3RF(e<odUi}Om*wt@`qm at c?cA<h|n*X<|
ztQ*HJzoQDeg*^Wbsx(}e|2`bLGSlib7ccw=Mn=%Tc;P?NdyC}_pXC?ow*ON&yy5};
z-7xQ};lsCT|2Z6jd!@cU7iNjfK94G9uBPH<z~O#WMY8bX_rj5tq|g7N?wzyn`(X|x
zUjG8hx3)NQsr5y7vAFaH?qccMAKC at n^nbxqofc*OtJJ8wWF^plbB`C7{>Uz>%S(T3
z7a;t<heH%=%q%Ybi3Z>9EH!49uD$G^E?xUmcSXsePYi4eU`JHk%zS03X#yDTd+^NT
zhpPC^hZ2E2g#Nav;K~K^l$qN%DnJ{pP9=2<XDxS;J+N_6(6^>!?v9O1u4&YA8v{20
zpubfsI(UPkYnnxV+Cw)5t4a>vT%#+jEgiY3Mpbh3u8k1TmkD4YUy|X--=fk|BV8hy
zKj6H;w_3=(X~+5|k#*G4*xvPTkTFfJ8i_Y=IKn<)Oty(AwoI;XiXIxxg0-;$h~|f;
z0iWWTt$WtD@#I-6_fWGrU)-+O{VmBa896Z!3>|7U#jD|fv1|rz_F&FdM5}D?0~O3+
zCesqeBf)JWOEj`P!)m8+6PKFQu2m0SxF$<C-MBdT+ItTjIdo6(<Q5-g&XSwNa<m8T
y%wJeum_O)*<Id4V%^O+>dgqqKWkcsd=gqe7+>$POJg7<C_MO9R!ux~7h5tW2;nH^i
literal 0
HcmV?d00001
diff --git a/llvm/test/tools/llvm-cov/Inputs/binary-formats.wasm.proftext b/llvm/test/tools/llvm-cov/Inputs/binary-formats.wasm.proftext
new file mode 100644
index 00000000000000..20fc3816c2255a
--- /dev/null
+++ b/llvm/test/tools/llvm-cov/Inputs/binary-formats.wasm.proftext
@@ -0,0 +1,4 @@
+__main_argc_argv
+0x0
+1
+100
diff --git a/llvm/test/tools/llvm-cov/binary-formats.c b/llvm/test/tools/llvm-cov/binary-formats.c
index a5bfc012860ec3..bb61b288cfc62e 100644
--- a/llvm/test/tools/llvm-cov/binary-formats.c
+++ b/llvm/test/tools/llvm-cov/binary-formats.c
@@ -10,4 +10,11 @@ int main(int argc, const char *argv[]) {}
// RUN: llvm-cov show %S/Inputs/binary-formats.v3.macho64l -instr-profile %t.profdata -path-equivalence=/tmp,%S %s | FileCheck %s
// RUN: llvm-cov show %S/Inputs/binary-formats.v6.linux64l -instr-profile %t.profdata -path-equivalence=/tmp,%S %s | FileCheck %s
+// RUN: llvm-profdata merge %S/Inputs/binary-formats.wasm.proftext -o %t.wasm.profdata
+// NOTE: The wasm binary is built with the following command:
+// clang -target wasm32-unknown-wasi %s -o %S/Inputs/binary-formats.v6.wasm32 \
+// -mllvm -enable-name-compression=false \
+// -fprofile-instr-generate -fcoverage-mapping -lwasi-emulated-getpid -lwasi-emulated-mman
+// RUN: llvm-cov show %S/Inputs/binary-formats.v6.wasm32 -instr-profile %t.wasm.profdata -path-equivalence=/tmp,%S %s | FileCheck %s
+
// RUN: llvm-cov export %S/Inputs/binary-formats.macho64l -instr-profile %t.profdata | FileCheck %S/Inputs/binary-formats.canonical.json
>From 779d88cc084648c73b0fb53a0e0fb02b65cfb676 Mon Sep 17 00:00:00 2001
From: Yuta Saito <kateinoigakukun at gmail.com>
Date: Sun, 6 Oct 2024 04:22:12 +0000
Subject: [PATCH 7/7] [clang][WebAssembly] Link with profile runtime libraries
if requested
This patch teaches the WebAssembly toolchain to link with the profile
runtime libraries if profile instrumentation is requested. With this
change, the following command will work with profile rt installed:
```
$ clang -target wasm32-unknown-wasi -fprofile-instr-generate \
-lwasi-emulated-getpid -lwasi-emulated-mman -o foo.wasm foo.c
```
---
clang/lib/Driver/ToolChains/WebAssembly.cpp | 2 ++
1 file changed, 2 insertions(+)
diff --git a/clang/lib/Driver/ToolChains/WebAssembly.cpp b/clang/lib/Driver/ToolChains/WebAssembly.cpp
index 9aec11e69fde1d..44a6894d30fb29 100644
--- a/clang/lib/Driver/ToolChains/WebAssembly.cpp
+++ b/clang/lib/Driver/ToolChains/WebAssembly.cpp
@@ -163,6 +163,8 @@ void wasm::Linker::ConstructJob(Compilation &C, const JobAction &JA,
AddRunTimeLibs(ToolChain, ToolChain.getDriver(), CmdArgs, Args);
}
+ ToolChain.addProfileRTLibs(Args, CmdArgs);
+
CmdArgs.push_back("-o");
CmdArgs.push_back(Output.getFilename());
More information about the cfe-commits
mailing list