From 07bbe99bdb8a1befb3f4c993d74453d8731d682f Mon Sep 17 00:00:00 2001
From: John Konecny <24961694+jfkonecn@users.noreply.github.com>
Date: Sat, 13 Jul 2024 12:37:50 -0400
Subject: [PATCH 01/30] Added html details > summary tag support for website
---
www/content/tutorial.md | 6 ++++--
www/public/site.css | 20 ++++++++++++++++----
2 files changed, 20 insertions(+), 6 deletions(-)
diff --git a/www/content/tutorial.md b/www/content/tutorial.md
index 33d4cdaa4d..a9b0e5163d 100644
--- a/www/content/tutorial.md
+++ b/www/content/tutorial.md
@@ -476,8 +476,10 @@ third = tuple.2 # ["list"]
# tuple destructuring
(first, second, third) = ("hello", 42, ["list"])
```
-
-By the way, there are two common ways to pronounce "tuple"—one sounds like "two-pull" and the other rhymes with "supple"—and although no clear consensus has emerged in the programming world, people seem generally accepting when others pronounce it differently than they do.
+
+ Pronouncing Tuple
+ By the way, there are two common ways to pronounce "tuple"—one sounds like "two-pull" and the other rhymes with "supple"—and although no clear consensus has emerged in the programming world, people seem generally accepting when others pronounce it differently than they do.
+
## [Pattern Matching](#pattern-matching) {#pattern-matching}
diff --git a/www/public/site.css b/www/public/site.css
index 50ed749b94..58c31aeac1 100644
--- a/www/public/site.css
+++ b/www/public/site.css
@@ -63,8 +63,18 @@ p {
margin-top: 0;
}
+details summary {
+ cursor: pointer;
+ color: var(--primary-1);
+}
+
+details summary:hover {
+ color: var(--primary-2);
+}
+
p,
-li {
+li,
+details {
max-width: 720px;
}
@@ -220,7 +230,7 @@ h4 {
h1 {
font-size: 5rem;
- line-height: 1.2;
+ line-height: 1.2;
}
h2 {
@@ -241,7 +251,8 @@ h2 {
.article-layout p,
.article-layout li,
-.article-layout pre {
+.article-layout pre,
+.article-layout details {
font-size: 20px;
}
@@ -485,7 +496,8 @@ td:last-child {
p,
aside,
-li {
+li,
+details {
font-size: var(--font-size-normal);
line-height: 1.85rem;
}
From ee7f1e39c78858c3d06ed01698dbb7902988f017 Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht
Date: Sat, 20 Jul 2024 19:17:11 -0700
Subject: [PATCH 02/30] move all allocas to the entry block
---
crates/compiler/gen_llvm/src/llvm/bitcode.rs | 76 ++------
crates/compiler/gen_llvm/src/llvm/build.rs | 171 +++++++-----------
.../compiler/gen_llvm/src/llvm/build_list.rs | 27 +--
crates/compiler/gen_llvm/src/llvm/compare.rs | 8 +-
crates/compiler/gen_llvm/src/llvm/expect.rs | 6 +-
crates/compiler/gen_llvm/src/llvm/lowlevel.rs | 47 ++---
.../compiler/gen_llvm/src/llvm/refcounting.rs | 7 +-
crates/compiler/gen_llvm/src/llvm/struct_.rs | 4 +-
8 files changed, 116 insertions(+), 230 deletions(-)
diff --git a/crates/compiler/gen_llvm/src/llvm/bitcode.rs b/crates/compiler/gen_llvm/src/llvm/bitcode.rs
index cec013529e..14408ad3fa 100644
--- a/crates/compiler/gen_llvm/src/llvm/bitcode.rs
+++ b/crates/compiler/gen_llvm/src/llvm/bitcode.rs
@@ -72,18 +72,8 @@ fn call_bitcode_fn_help<'ctx>(
.map(|x| {
if env.target.operating_system() == roc_target::OperatingSystem::Windows {
if x.get_type() == env.context.i128_type().into() {
- let parent = env
- .builder
- .get_insert_block()
- .and_then(|b| b.get_parent())
- .unwrap();
-
- let alloca = create_entry_block_alloca(
- env,
- parent,
- x.get_type(),
- "pass_u128_by_reference",
- );
+ let alloca =
+ create_entry_block_alloca(env, x.get_type(), "pass_u128_by_reference");
env.builder.build_store(alloca, *x).unwrap();
@@ -163,7 +153,8 @@ pub fn call_bitcode_fn_fixing_for_convention<'a, 'ctx, 'env>(
// when we write an i128 into this (happens in NumToInt), zig expects this pointer to
// be 16-byte aligned. Not doing so is UB and will immediately fail on CI
- let cc_return_value_ptr = env.builder.new_build_alloca(cc_return_type, "return_value");
+ let cc_return_value_ptr =
+ create_entry_block_alloca(env, cc_return_type, "return_value");
cc_return_value_ptr
.as_instruction()
.unwrap()
@@ -818,14 +809,7 @@ impl BitcodeReturns {
BitcodeReturns::List => {
let list_type = super::convert::zig_list_type(env);
- let parent = env
- .builder
- .get_insert_block()
- .and_then(|b| b.get_parent())
- .unwrap();
-
- let result =
- create_entry_block_alloca(env, parent, list_type.into(), "list_alloca");
+ let result = create_entry_block_alloca(env, list_type, "list_alloca");
arguments.push(result.into());
@@ -834,13 +818,7 @@ impl BitcodeReturns {
BitcodeReturns::Str => {
let str_type = super::convert::zig_str_type(env);
- let parent = env
- .builder
- .get_insert_block()
- .and_then(|b| b.get_parent())
- .unwrap();
-
- let result = create_entry_block_alloca(env, parent, str_type.into(), "str_alloca");
+ let result = create_entry_block_alloca(env, str_type, "str_alloca");
arguments.push(result.into());
@@ -957,14 +935,8 @@ pub(crate) fn pass_list_to_zig_64bit<'ctx>(
env: &Env<'_, 'ctx, '_>,
list: BasicValueEnum<'ctx>,
) -> PointerValue<'ctx> {
- let parent = env
- .builder
- .get_insert_block()
- .and_then(|b| b.get_parent())
- .unwrap();
-
let list_type = super::convert::zig_list_type(env);
- let list_alloca = create_entry_block_alloca(env, parent, list_type.into(), "list_alloca");
+ let list_alloca = create_entry_block_alloca(env, list_type, "list_alloca");
env.builder.new_build_store(list_alloca, list);
@@ -975,14 +947,8 @@ pub(crate) fn pass_list_to_zig_wasm<'ctx>(
env: &Env<'_, 'ctx, '_>,
list: BasicValueEnum<'ctx>,
) -> PointerValue<'ctx> {
- let parent = env
- .builder
- .get_insert_block()
- .and_then(|b| b.get_parent())
- .unwrap();
-
let list_type = super::convert::zig_list_type(env);
- let list_alloca = create_entry_block_alloca(env, parent, list_type.into(), "list_alloca");
+ let list_alloca = create_entry_block_alloca(env, list_type, "list_alloca");
env.builder.new_build_store(list_alloca, list);
@@ -993,14 +959,8 @@ pub(crate) fn pass_string_to_zig_wasm<'ctx>(
env: &Env<'_, 'ctx, '_>,
string: BasicValueEnum<'ctx>,
) -> PointerValue<'ctx> {
- let parent = env
- .builder
- .get_insert_block()
- .and_then(|b| b.get_parent())
- .unwrap();
-
let string_type = super::convert::zig_str_type(env);
- let string_alloca = create_entry_block_alloca(env, parent, string_type.into(), "string_alloca");
+ let string_alloca = create_entry_block_alloca(env, string_type, "string_alloca");
env.builder.new_build_store(string_alloca, string);
@@ -1225,9 +1185,7 @@ pub(crate) fn call_bitcode_fn_with_record_arg<'ctx>(
arg: BasicValueEnum<'ctx>,
fn_name: &str,
) -> BasicValueEnum<'ctx> {
- let roc_call_alloca = env
- .builder
- .new_build_alloca(arg.get_type(), "roc_call_alloca");
+ let roc_call_alloca = create_entry_block_alloca(env, arg.get_type(), "roc_call_alloca");
env.builder.new_build_store(roc_call_alloca, arg);
let fn_val = env.module.get_function(fn_name).unwrap();
@@ -1235,9 +1193,7 @@ pub(crate) fn call_bitcode_fn_with_record_arg<'ctx>(
let mut args: Vec> = Vec::with_capacity(fn_val.count_params() as usize);
if fn_val.get_first_param().unwrap().is_pointer_value() {
// call by pointer
- let zig_call_alloca = env
- .builder
- .new_build_alloca(arg.get_type(), "zig_return_alloca");
+ let zig_call_alloca = create_entry_block_alloca(env, arg.get_type(), "zig_return_alloca");
env.builder.new_build_store(zig_call_alloca, arg);
args.push(zig_call_alloca.into());
} else if fn_val.count_params() == 1 {
@@ -1283,16 +1239,14 @@ pub(crate) fn call_bitcode_fn_returning_record<'ctx>(
.module
.get_struct_type(bitcode_return_type_name)
.unwrap();
- zig_return_alloca = env
- .builder
- .new_build_alloca(bitcode_return_type, "zig_return_alloca");
+ zig_return_alloca =
+ create_entry_block_alloca(env, bitcode_return_type, "zig_return_alloca");
call_void_bitcode_fn(env, &[zig_return_alloca.into(), arg], fn_name);
} else {
// direct return
let zig_result = call_bitcode_fn(env, &[arg], fn_name);
- zig_return_alloca = env
- .builder
- .new_build_alloca(zig_result.get_type(), "zig_return_alloca");
+ zig_return_alloca =
+ create_entry_block_alloca(env, zig_result.get_type(), "zig_return_alloca");
env.builder.new_build_store(zig_return_alloca, zig_result);
}
diff --git a/crates/compiler/gen_llvm/src/llvm/build.rs b/crates/compiler/gen_llvm/src/llvm/build.rs
index 83d04ab780..f673ab828d 100644
--- a/crates/compiler/gen_llvm/src/llvm/build.rs
+++ b/crates/compiler/gen_llvm/src/llvm/build.rs
@@ -936,9 +936,7 @@ impl<'a, 'ctx, 'env> Env<'a, 'ctx, 'env> {
match env.target.ptr_width() {
PtrWidth::Bytes4 => {
// we need to pass the string by reference, but we currently hold the value.
- let alloca = env
- .builder
- .new_build_alloca(string.get_type(), "alloca_string");
+ let alloca = create_entry_block_alloca(env, string.get_type(), "alloca_string");
env.builder.new_build_store(alloca, string);
alloca.into()
}
@@ -1345,7 +1343,6 @@ fn float_with_precision<'ctx>(
pub fn build_exp_literal<'a, 'ctx>(
env: &Env<'a, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,
- parent: FunctionValue<'ctx>,
layout: InLayout<'_>,
literal: &roc_mono::ir::Literal<'a>,
) -> BasicValueEnum<'ctx> {
@@ -1382,18 +1379,14 @@ pub fn build_exp_literal<'a, 'ctx>(
}
Bool(b) => env.context.bool_type().const_int(*b as u64, false).into(),
Byte(b) => env.context.i8_type().const_int(*b as u64, false).into(),
- Str(str_literal) => build_string_literal(env, parent, str_literal),
+ Str(str_literal) => build_string_literal(env, str_literal),
}
}
-fn build_string_literal<'ctx>(
- env: &Env<'_, 'ctx, '_>,
- parent: FunctionValue<'ctx>,
- str_literal: &str,
-) -> BasicValueEnum<'ctx> {
+fn build_string_literal<'ctx>(env: &Env<'_, 'ctx, '_>, str_literal: &str) -> BasicValueEnum<'ctx> {
if str_literal.len() < env.small_str_bytes() as usize {
match env.small_str_bytes() {
- 24 => small_str_ptr_width_8(env, parent, str_literal).into(),
+ 24 => small_str_ptr_width_8(env, str_literal).into(),
12 => small_str_ptr_width_4(env, str_literal).into(),
_ => unreachable!("incorrect small_str_bytes"),
}
@@ -1401,7 +1394,7 @@ fn build_string_literal<'ctx>(
let ptr = define_global_str_literal_ptr(env, str_literal);
let number_of_elements = env.ptr_int().const_int(str_literal.len() as u64, false);
- let alloca = const_str_alloca_ptr(env, parent, ptr, number_of_elements, number_of_elements);
+ let alloca = const_str_alloca_ptr(env, ptr, number_of_elements, number_of_elements);
match env.target.ptr_width() {
PtrWidth::Bytes4 => {
@@ -1415,7 +1408,6 @@ fn build_string_literal<'ctx>(
fn const_str_alloca_ptr<'ctx>(
env: &Env<'_, 'ctx, '_>,
- parent: FunctionValue<'ctx>,
ptr: PointerValue<'ctx>,
len: IntValue<'ctx>,
cap: IntValue<'ctx>,
@@ -1424,18 +1416,14 @@ fn const_str_alloca_ptr<'ctx>(
let value = typ.const_named_struct(&[ptr.into(), len.into(), cap.into()]);
- let alloca = create_entry_block_alloca(env, parent, typ.into(), "const_str_store");
+ let alloca = create_entry_block_alloca(env, typ, "const_str_store");
env.builder.new_build_store(alloca, value);
alloca
}
-fn small_str_ptr_width_8<'ctx>(
- env: &Env<'_, 'ctx, '_>,
- parent: FunctionValue<'ctx>,
- str_literal: &str,
-) -> PointerValue<'ctx> {
+fn small_str_ptr_width_8<'ctx>(env: &Env<'_, 'ctx, '_>, str_literal: &str) -> PointerValue<'ctx> {
debug_assert_eq!(env.target.ptr_width() as u8, 8);
let mut array = [0u8; 24];
@@ -1456,7 +1444,7 @@ fn small_str_ptr_width_8<'ctx>(
let ptr_type = env.context.i8_type().ptr_type(address_space);
let ptr = env.builder.new_build_int_to_ptr(ptr, ptr_type, "to_u8_ptr");
- const_str_alloca_ptr(env, parent, ptr, len, cap)
+ const_str_alloca_ptr(env, ptr, len, cap)
}
fn small_str_ptr_width_4<'ctx>(env: &Env<'_, 'ctx, '_>, str_literal: &str) -> StructValue<'ctx> {
@@ -1653,7 +1641,7 @@ pub(crate) fn build_exp_expr<'a, 'ctx>(
use roc_mono::ir::Expr::*;
match expr {
- Literal(literal) => build_exp_literal(env, layout_interner, parent, layout, literal),
+ Literal(literal) => build_exp_literal(env, layout_interner, layout, literal),
NullPointer => {
let basic_type =
basic_type_from_layout(env, layout_interner, layout_interner.get_repr(layout));
@@ -1918,7 +1906,7 @@ pub(crate) fn build_exp_expr<'a, 'ctx>(
EmptyArray => empty_polymorphic_list(env),
Array { elem_layout, elems } => {
- list_literal(env, layout_interner, parent, scope, *elem_layout, elems)
+ list_literal(env, layout_interner, scope, *elem_layout, elems)
}
RuntimeErrorFunction(_) => todo!(),
@@ -2204,7 +2192,7 @@ pub(crate) fn build_exp_expr<'a, 'ctx>(
layout_interner,
layout_interner.get_repr(*element_layout),
);
- let ptr = entry_block_alloca_zerofill(env, element_type, "stack_value");
+ let ptr = create_entry_block_alloca(env, element_type, "stack_value");
if let Some(initializer) = initializer {
env.builder
@@ -2295,21 +2283,6 @@ fn build_wrapped_tag<'a, 'ctx>(
}
}
-pub fn entry_block_alloca_zerofill<'ctx>(
- env: &Env<'_, 'ctx, '_>,
- basic_type: BasicTypeEnum<'ctx>,
- name: &str,
-) -> PointerValue<'ctx> {
- let parent = env
- .builder
- .get_insert_block()
- .unwrap()
- .get_parent()
- .unwrap();
-
- create_entry_block_alloca(env, parent, basic_type, name)
-}
-
fn build_tag_field_value<'a, 'ctx>(
env: &Env<'a, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,
@@ -2395,10 +2368,7 @@ fn build_tag<'a, 'ctx>(
let roc_union = RocUnion::tagged_from_slices(layout_interner, env.context, tags);
- let tag_alloca = env
- .builder
- .new_build_alloca(roc_union.struct_type(), "tag_alloca");
-
+ let tag_alloca = create_entry_block_alloca(env, roc_union.struct_type(), "tag_alloca");
roc_union.write_struct_data(
env,
layout_interner,
@@ -2692,8 +2662,6 @@ pub fn get_tag_id<'a, 'ctx>(
union_layout: &UnionLayout<'a>,
argument: BasicValueEnum<'ctx>,
) -> IntValue<'ctx> {
- let builder = env.builder;
-
let tag_id_layout = union_layout.tag_id_layout();
let tag_id_int_type = basic_type_from_layout(
env,
@@ -2728,7 +2696,7 @@ pub fn get_tag_id<'a, 'ctx>(
let else_block = ctx.append_basic_block(parent, "else");
let cont_block = ctx.append_basic_block(parent, "cont");
- let result = builder.new_build_alloca(tag_id_int_type, "result");
+ let result = create_entry_block_alloca(env, tag_id_int_type, "result");
env.builder
.new_build_conditional_branch(is_null, then_block, else_block);
@@ -2801,7 +2769,7 @@ fn lookup_at_index_ptr<'a, 'ctx>(
// A recursive pointer in the loaded structure is stored as a `i64*`, but the loaded layout
// might want a more precise structure. As such, cast it to the refined type if needed.
- cast_if_necessary_for_opaque_recursive_pointers(env.builder, result, target_loaded_type)
+ cast_if_necessary_for_opaque_recursive_pointers(env, result, target_loaded_type)
}
fn union_field_ptr_at_index_help<'a, 'ctx>(
@@ -2858,8 +2826,7 @@ fn union_field_ptr_at_index<'a, 'ctx>(
// might want a more precise structure. As such, cast it to the refined type if needed.
let from_value: BasicValueEnum = result.into();
let to_type: BasicTypeEnum = target_loaded_type;
- cast_if_necessary_for_opaque_recursive_pointers(env.builder, from_value, to_type)
- .into_pointer_value()
+ cast_if_necessary_for_opaque_recursive_pointers(env, from_value, to_type).into_pointer_value()
}
fn reserve_with_refcount_union_as_block_of_memory<'a, 'ctx>(
@@ -2932,7 +2899,6 @@ pub fn allocate_with_refcount_help<'a, 'ctx, 'env>(
fn list_literal<'a, 'ctx>(
env: &Env<'a, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,
- parent: FunctionValue<'ctx>,
scope: &Scope<'a, 'ctx>,
element_layout: InLayout<'a>,
elems: &[ListLiteralElement],
@@ -2989,13 +2955,7 @@ fn list_literal<'a, 'ctx>(
for (index, element) in elems.iter().enumerate() {
match element {
ListLiteralElement::Literal(literal) => {
- let val = build_exp_literal(
- env,
- layout_interner,
- parent,
- element_layout,
- literal,
- );
+ let val = build_exp_literal(env, layout_interner, element_layout, literal);
global_elements.push(val.into_int_value());
}
ListLiteralElement::Symbol(symbol) => {
@@ -3086,7 +3046,7 @@ fn list_literal<'a, 'ctx>(
for (index, element) in elems.iter().enumerate() {
let val = match element {
ListLiteralElement::Literal(literal) => {
- build_exp_literal(env, layout_interner, parent, element_layout, literal)
+ build_exp_literal(env, layout_interner, element_layout, literal)
}
ListLiteralElement::Symbol(symbol) => scope.load_symbol(symbol),
};
@@ -3118,7 +3078,7 @@ pub fn load_roc_value<'a, 'ctx>(
let basic_type = basic_type_from_layout(env, layout_interner, layout);
if layout.is_passed_by_reference(layout_interner) {
- let alloca = entry_block_alloca_zerofill(env, basic_type, name);
+ let alloca = create_entry_block_alloca(env, basic_type, name);
store_roc_value(env, layout_interner, layout, alloca, source.into());
@@ -3136,7 +3096,7 @@ pub fn use_roc_value<'a, 'ctx>(
name: &str,
) -> BasicValueEnum<'ctx> {
if layout.is_passed_by_reference(layout_interner) {
- let alloca = entry_block_alloca_zerofill(
+ let alloca = create_entry_block_alloca(
env,
basic_type_from_layout(env, layout_interner, layout),
name,
@@ -3576,8 +3536,8 @@ pub(crate) fn build_exp_stmt<'a, 'ctx>(
remainder,
} => {
if env.mode.runs_expects() {
- let location = build_string_literal(env, parent, source_location);
- let source = build_string_literal(env, parent, source);
+ let location = build_string_literal(env, source_location);
+ let source = build_string_literal(env, source);
let message = scope.load_symbol(symbol);
env.call_dbg(env, location, source, message);
}
@@ -3644,7 +3604,7 @@ pub(crate) fn build_exp_stmt<'a, 'ctx>(
}
roc_target::PtrWidth::Bytes4 => {
// temporary WASM implementation
- throw_internal_exception(env, parent, "An expectation failed!");
+ throw_internal_exception(env, "An expectation failed!");
}
}
} else {
@@ -3712,7 +3672,7 @@ pub(crate) fn build_exp_stmt<'a, 'ctx>(
}
roc_target::PtrWidth::Bytes4 => {
// temporary WASM implementation
- throw_internal_exception(env, parent, "An expectation failed!");
+ throw_internal_exception(env, "An expectation failed!");
}
}
} else {
@@ -3844,7 +3804,7 @@ fn equivalent_type_constructors(t1: &BasicTypeEnum, t2: &BasicTypeEnum) -> bool
/// This will no longer be necessary and should be removed after we employ opaque pointers from
/// LLVM.
pub fn cast_if_necessary_for_opaque_recursive_pointers<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
from_value: BasicValueEnum<'ctx>,
to_type: BasicTypeEnum<'ctx>,
) -> BasicValueEnum<'ctx> {
@@ -3853,7 +3813,7 @@ pub fn cast_if_necessary_for_opaque_recursive_pointers<'ctx>(
&& equivalent_type_constructors(&from_value.get_type(), &to_type)
{
complex_bitcast(
- builder,
+ env,
from_value,
to_type,
"bitcast_for_opaque_recursive_pointer",
@@ -3865,39 +3825,33 @@ pub fn cast_if_necessary_for_opaque_recursive_pointers<'ctx>(
/// Cast a value to another value of the same (or smaller?) size
pub fn cast_basic_basic<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
from_value: BasicValueEnum<'ctx>,
to_type: BasicTypeEnum<'ctx>,
) -> BasicValueEnum<'ctx> {
- complex_bitcast(builder, from_value, to_type, "cast_basic_basic")
+ complex_bitcast(env, from_value, to_type, "cast_basic_basic")
}
pub fn complex_bitcast_struct_struct<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
from_value: StructValue<'ctx>,
to_type: StructType<'ctx>,
name: &str,
) -> StructValue<'ctx> {
- complex_bitcast(builder, from_value.into(), to_type.into(), name).into_struct_value()
+ complex_bitcast(env, from_value.into(), to_type.into(), name).into_struct_value()
}
pub fn cast_block_of_memory_to_tag<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
from_value: StructValue<'ctx>,
to_type: BasicTypeEnum<'ctx>,
) -> StructValue<'ctx> {
- complex_bitcast(
- builder,
- from_value.into(),
- to_type,
- "block_of_memory_to_tag",
- )
- .into_struct_value()
+ complex_bitcast(env, from_value.into(), to_type, "block_of_memory_to_tag").into_struct_value()
}
/// Cast a value to another value of the same (or smaller?) size
pub fn complex_bitcast<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
from_value: BasicValueEnum<'ctx>,
to_type: BasicTypeEnum<'ctx>,
name: &str,
@@ -3908,7 +3862,8 @@ pub fn complex_bitcast<'ctx>(
// we can't use the more straightforward bitcast in all cases
// it seems like a bitcast only works on integers and pointers
// and crucially does not work not on arrays
- return builder
+ return env
+ .builder
.new_build_pointer_cast(
from_value.into_pointer_value(),
to_type.into_pointer_type(),
@@ -3917,7 +3872,7 @@ pub fn complex_bitcast<'ctx>(
.into();
}
- complex_bitcast_from_bigger_than_to(builder, from_value, to_type, name)
+ complex_bitcast_from_bigger_than_to(env, from_value, to_type, name)
}
/// Check the size of the input and output types. Pretending we have more bytes at a pointer than
@@ -3965,14 +3920,14 @@ pub fn complex_bitcast_check_size<'ctx>(
let then_answer = {
env.builder.position_at_end(then_block);
- let result = complex_bitcast_from_bigger_than_to(env.builder, from_value, to_type, name);
+ let result = complex_bitcast_from_bigger_than_to(env, from_value, to_type, name);
env.builder.new_build_unconditional_branch(cont_block);
result
};
let else_answer = {
env.builder.position_at_end(else_block);
- let result = complex_bitcast_to_bigger_than_from(env.builder, from_value, to_type, name);
+ let result = complex_bitcast_to_bigger_than_from(env, from_value, to_type, name);
env.builder.new_build_unconditional_branch(cont_block);
result
};
@@ -3987,13 +3942,15 @@ pub fn complex_bitcast_check_size<'ctx>(
}
fn complex_bitcast_from_bigger_than_to<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
from_value: BasicValueEnum<'ctx>,
to_type: BasicTypeEnum<'ctx>,
name: &str,
) -> BasicValueEnum<'ctx> {
+ let builder = env.builder;
+
// store the value in memory
- let argument_pointer = builder.new_build_alloca(from_value.get_type(), "cast_alloca");
+ let argument_pointer = create_entry_block_alloca(env, from_value.get_type(), "cast_alloca");
builder.new_build_store(argument_pointer, from_value);
// then read it back as a different type
@@ -4007,15 +3964,16 @@ fn complex_bitcast_from_bigger_than_to<'ctx>(
}
fn complex_bitcast_to_bigger_than_from<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
from_value: BasicValueEnum<'ctx>,
to_type: BasicTypeEnum<'ctx>,
name: &str,
) -> BasicValueEnum<'ctx> {
+ let builder = env.builder;
// reserve space in memory with the return type. This way, if the return type is bigger
// than the input type, we don't access invalid memory when later taking a pointer to
// the cast value
- let storage = builder.new_build_alloca(to_type, "cast_alloca");
+ let storage = create_entry_block_alloca(env, to_type, "cast_alloca");
// then cast the pointer to our desired type
let from_type_pointer = builder.new_build_pointer_cast(
@@ -4035,7 +3993,7 @@ fn complex_bitcast_to_bigger_than_from<'ctx>(
/// get the tag id out of a pointer to a wrapped (i.e. stores the tag id at runtime) layout
fn get_tag_id_wrapped<'a, 'ctx>(
- env: &Env<'a, 'ctx, '_>,
+ env: &Env<'_, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,
union_layout: UnionLayout<'a>,
from_value: PointerValue<'ctx>,
@@ -4308,12 +4266,18 @@ fn build_switch_ir<'a, 'ctx>(
}
/// Creates a new stack allocation instruction in the entry block of the function.
-pub fn create_entry_block_alloca<'ctx>(
+pub fn create_entry_block_alloca<'ctx, T: BasicType<'ctx>>(
env: &Env<'_, 'ctx, '_>,
- parent: FunctionValue<'_>,
- basic_type: BasicTypeEnum<'ctx>,
+ basic_type: T,
name: &str,
) -> PointerValue<'ctx> {
+ let parent = env
+ .builder
+ .get_insert_block()
+ .expect("builder to be in a block")
+ .get_parent()
+ .expect("block to be in a function");
+
let builder = env.context.create_builder();
let entry = parent.get_first_basic_block().unwrap();
@@ -5212,7 +5176,7 @@ fn set_jump_and_catch_long_jump<'a, 'ctx>(
RocReturn::from_layout(layout_interner, layout)
};
let call_result_type = roc_call_result_type(env, return_type.as_basic_type_enum());
- let result_alloca = builder.new_build_alloca(call_result_type, "result");
+ let result_alloca = create_entry_block_alloca(env, call_result_type, "result");
let then_block = context.append_basic_block(parent, "then_block");
let catch_block = context.append_basic_block(parent, "catch_block");
@@ -6392,7 +6356,7 @@ fn call_roc_function_help<'a, 'ctx>(
arguments.pop();
let result_type = basic_type_from_layout(env, layout_interner, result_layout);
- let result_alloca = env.builder.new_build_alloca(result_type, "result_value");
+ let result_alloca = create_entry_block_alloca(env, result_type, "result_value");
arguments.push(result_alloca.into());
@@ -6410,7 +6374,7 @@ fn call_roc_function_help<'a, 'ctx>(
let mut arguments = Vec::from_iter_in(it, env.arena);
let result_type = basic_type_from_layout(env, layout_interner, result_layout);
- let result_alloca = entry_block_alloca_zerofill(env, result_type, "result_value");
+ let result_alloca = create_entry_block_alloca(env, result_type, "result_value");
arguments.push(result_alloca.into());
@@ -6494,9 +6458,7 @@ pub(crate) fn roc_function_call<'a, 'ctx>(
layout_interner.get_repr(lambda_set.runtime_representation()),
);
- let closure_data_ptr = env
- .builder
- .new_build_alloca(closure_data_type, "closure_data_ptr");
+ let closure_data_ptr = create_entry_block_alloca(env, closure_data_type, "closure_data_ptr");
store_roc_value(
env,
@@ -6864,7 +6826,9 @@ fn build_foreign_symbol<'a, 'ctx>(
Vec::with_capacity_in(fastcc_parameters.len() + 1, env.arena);
let return_pointer = match roc_return {
- RocReturn::Return => env.builder.new_build_alloca(return_type, "return_value"),
+ RocReturn::Return => {
+ create_entry_block_alloca(env, return_type, "return_value")
+ }
RocReturn::ByPointer => fastcc_parameters.pop().unwrap().into_pointer_value(),
};
@@ -6882,9 +6846,8 @@ fn build_foreign_symbol<'a, 'ctx>(
// we need to pass this value by-reference; put it into an alloca
// and bitcast the reference
- let param_alloca = env
- .builder
- .new_build_alloca(param.get_type(), "param_alloca");
+ let param_alloca =
+ create_entry_block_alloca(env, param.get_type(), "param_alloca");
env.builder.new_build_store(param_alloca, param);
let as_cc_type = env.builder.new_build_pointer_cast(
@@ -7042,14 +7005,10 @@ fn define_global_str_literal<'ctx>(
}
}
-pub(crate) fn throw_internal_exception<'ctx>(
- env: &Env<'_, 'ctx, '_>,
- parent: FunctionValue<'ctx>,
- message: &str,
-) {
+pub(crate) fn throw_internal_exception<'ctx>(env: &Env<'_, 'ctx, '_>, message: &str) {
let builder = env.builder;
- let str = build_string_literal(env, parent, message);
+ let str = build_string_literal(env, message);
env.call_panic(env, str, CrashTag::Roc);
diff --git a/crates/compiler/gen_llvm/src/llvm/build_list.rs b/crates/compiler/gen_llvm/src/llvm/build_list.rs
index 6bd6cd73db..d2ad307804 100644
--- a/crates/compiler/gen_llvm/src/llvm/build_list.rs
+++ b/crates/compiler/gen_llvm/src/llvm/build_list.rs
@@ -34,14 +34,8 @@ pub(crate) fn list_symbol_to_c_abi<'a, 'ctx>(
scope: &Scope<'a, 'ctx>,
symbol: Symbol,
) -> PointerValue<'ctx> {
- let parent = env
- .builder
- .get_insert_block()
- .and_then(|b| b.get_parent())
- .unwrap();
-
let list_type = zig_list_type(env);
- let list_alloca = create_entry_block_alloca(env, parent, list_type.into(), "list_alloca");
+ let list_alloca = create_entry_block_alloca(env, list_type, "list_alloca");
let list = scope.load_symbol(&symbol);
env.builder.new_build_store(list_alloca, list);
@@ -67,9 +61,7 @@ fn pass_element_as_opaque<'a, 'ctx>(
) -> BasicValueEnum<'ctx> {
let element_type =
basic_type_from_layout(env, layout_interner, layout_interner.get_repr(layout));
- let element_ptr = env
- .builder
- .new_build_alloca(element_type, "element_to_pass_as_opaque");
+ let element_ptr = create_entry_block_alloca(env, element_type, "element_to_pass_as_opaque");
store_roc_value(
env,
layout_interner,
@@ -165,7 +157,7 @@ pub(crate) fn list_get_unsafe<'a, 'ctx>(
let elem_index = builder.new_build_int_cast(elem_index, env.ptr_int(), "u64_to_usize");
let ptr_type = elem_type.ptr_type(AddressSpace::default());
// Load the pointer to the array data
- let array_data_ptr = load_list_ptr(builder, wrapper_struct, ptr_type);
+ let array_data_ptr = load_list_ptr(env, wrapper_struct, ptr_type);
// Assume the bounds have already been checked earlier
// (e.g. by List.get or List.first, which wrap List.#getUnsafe)
@@ -404,9 +396,7 @@ pub(crate) fn list_replace_unsafe<'a, 'ctx>(
layout_interner,
layout_interner.get_repr(element_layout),
);
- let element_ptr = env
- .builder
- .new_build_alloca(element_type, "output_element_as_opaque");
+ let element_ptr = create_entry_block_alloca(env, element_type, "output_element_as_opaque");
// Assume the bounds have already been checked earlier
// (e.g. by List.replace or List.set, which wrap List.#replaceUnsafe)
@@ -657,7 +647,7 @@ where
let zero = env.ptr_int().const_zero();
// allocate a stack slot for the current index
- let index_alloca = builder.new_build_alloca(env.ptr_int(), index_name);
+ let index_alloca = create_entry_block_alloca(env, env.ptr_int(), index_name);
builder.new_build_store(index_alloca, zero);
let loop_bb = ctx.append_basic_block(parent, "loop");
@@ -698,18 +688,19 @@ pub(crate) fn empty_polymorphic_list<'ctx>(env: &Env<'_, 'ctx, '_>) -> BasicValu
}
pub(crate) fn load_list_ptr<'ctx>(
- builder: &Builder<'ctx>,
+ env: &Env<'_, 'ctx, '_>,
wrapper_struct: StructValue<'ctx>,
ptr_type: PointerType<'ctx>,
) -> PointerValue<'ctx> {
// a `*mut u8` pointer
- let generic_ptr = builder
+ let generic_ptr = env
+ .builder
.build_extract_value(wrapper_struct, Builtin::WRAPPER_PTR, "read_list_ptr")
.unwrap()
.into_pointer_value();
// cast to the expected pointer type
- cast_basic_basic(builder, generic_ptr.into(), ptr_type.into()).into_pointer_value()
+ cast_basic_basic(env, generic_ptr.into(), ptr_type.into()).into_pointer_value()
}
pub(crate) fn allocate_list<'a, 'ctx>(
diff --git a/crates/compiler/gen_llvm/src/llvm/compare.rs b/crates/compiler/gen_llvm/src/llvm/compare.rs
index 3d1b5e771b..976e50aed6 100644
--- a/crates/compiler/gen_llvm/src/llvm/compare.rs
+++ b/crates/compiler/gen_llvm/src/llvm/compare.rs
@@ -14,7 +14,7 @@ use roc_mono::layout::{
Builtin, InLayout, LayoutIds, LayoutInterner, LayoutRepr, STLayoutInterner, UnionLayout,
};
-use super::build::{load_roc_value, BuilderExt};
+use super::build::{create_entry_block_alloca, load_roc_value, BuilderExt};
use super::convert::{argument_type_from_layout, argument_type_from_union_layout};
use super::lowlevel::dec_binop_with_unchecked;
use super::struct_;
@@ -529,14 +529,14 @@ fn build_list_eq_help<'a, 'ctx>(
let builder = env.builder;
let element_type = basic_type_from_layout(env, layout_interner, element_layout);
let ptr_type = element_type.ptr_type(AddressSpace::default());
- let ptr1 = load_list_ptr(env.builder, list1, ptr_type);
- let ptr2 = load_list_ptr(env.builder, list2, ptr_type);
+ let ptr1 = load_list_ptr(env, list1, ptr_type);
+ let ptr2 = load_list_ptr(env, list2, ptr_type);
// we know that len1 == len2
let end = len1;
// allocate a stack slot for the current index
- let index_alloca = builder.new_build_alloca(env.ptr_int(), "index");
+ let index_alloca = create_entry_block_alloca(env, env.ptr_int(), "index");
builder.new_build_store(index_alloca, env.ptr_int().const_zero());
let loop_bb = ctx.append_basic_block(parent, "loop");
diff --git a/crates/compiler/gen_llvm/src/llvm/expect.rs b/crates/compiler/gen_llvm/src/llvm/expect.rs
index 9923531412..a51101906c 100644
--- a/crates/compiler/gen_llvm/src/llvm/expect.rs
+++ b/crates/compiler/gen_llvm/src/llvm/expect.rs
@@ -1,6 +1,8 @@
use crate::debug_info_init;
use crate::llvm::bitcode::call_str_bitcode_fn;
-use crate::llvm::build::{get_tag_id, store_roc_value, tag_pointer_clear_tag_id, Env};
+use crate::llvm::build::{
+ create_entry_block_alloca, get_tag_id, store_roc_value, tag_pointer_clear_tag_id, Env,
+};
use crate::llvm::build_list::{self, incrementing_elem_loop};
use crate::llvm::convert::{basic_type_from_layout, RocUnion};
use inkwell::builder::Builder;
@@ -1030,7 +1032,7 @@ fn build_clone_builtin<'a, 'ctx>(
);
// if the element has any pointers, we clone them to this offset
- let rest_offset = bd.new_build_alloca(env.ptr_int(), "rest_offset");
+ let rest_offset = create_entry_block_alloca(env, env.ptr_int(), "rest_offset");
let element_stack_size = env
.ptr_int()
diff --git a/crates/compiler/gen_llvm/src/llvm/lowlevel.rs b/crates/compiler/gen_llvm/src/llvm/lowlevel.rs
index 9e5d9adefe..c1f7b583c3 100644
--- a/crates/compiler/gen_llvm/src/llvm/lowlevel.rs
+++ b/crates/compiler/gen_llvm/src/llvm/lowlevel.rs
@@ -225,12 +225,8 @@ pub(crate) fn run_low_level<'a, 'ctx>(
let return_type = zig_num_parse_result_type(env, return_type_name);
- let zig_return_alloca = create_entry_block_alloca(
- env,
- parent,
- return_type.into(),
- "str_to_num",
- );
+ let zig_return_alloca =
+ create_entry_block_alloca(env, return_type, "str_to_num");
let (a, b) =
pass_list_or_string_to_zig_32bit(env, string.into_struct_value());
@@ -324,7 +320,7 @@ pub(crate) fn run_low_level<'a, 'ctx>(
let return_type = zig_num_parse_result_type(env, return_type_name);
let zig_return_alloca =
- create_entry_block_alloca(env, parent, return_type.into(), "str_to_num");
+ create_entry_block_alloca(env, return_type, "str_to_num");
call_void_bitcode_fn(
env,
@@ -411,9 +407,8 @@ pub(crate) fn run_low_level<'a, 'ctx>(
}
StrFromUtf8 => {
let result_type = env.module.get_struct_type("str.FromUtf8Result").unwrap();
- let result_ptr = env
- .builder
- .new_build_alloca(result_type, "alloca_utf8_validate_bytes_result");
+ let result_ptr =
+ create_entry_block_alloca(env, result_type, "alloca_utf8_validate_bytes_result");
use roc_target::Architecture::*;
match env.target.architecture() {
@@ -947,7 +942,6 @@ pub(crate) fn run_low_level<'a, 'ctx>(
build_int_unary_op(
env,
layout_interner,
- parent,
arg.into_int_value(),
int_width,
int_type,
@@ -1396,9 +1390,7 @@ pub(crate) fn run_low_level<'a, 'ctx>(
layout_interner,
layout_interner.get_repr(layout),
);
- let ptr = env
- .builder
- .new_build_alloca(basic_type, "unreachable_alloca");
+ let ptr = create_entry_block_alloca(env, basic_type, "unreachable_alloca");
env.builder.new_build_store(ptr, basic_type.const_zero());
ptr.into()
@@ -1933,7 +1925,7 @@ fn throw_because_overflow(env: &Env<'_, '_, '_>, message: &str) {
env.builder.position_at_end(entry);
// ends in unreachable, so no return is needed
- throw_internal_exception(env, function_value, message);
+ throw_internal_exception(env, message);
function_value
}
@@ -1973,7 +1965,7 @@ fn dec_alloca<'ctx>(env: &Env<'_, 'ctx, '_>, value: IntValue<'ctx>) -> BasicValu
Windows => {
let dec_type = zig_dec_type(env);
- let alloca = env.builder.new_build_alloca(dec_type, "dec_alloca");
+ let alloca = create_entry_block_alloca(env, dec_type, "dec_alloca");
let instruction = alloca.as_instruction_value().unwrap();
instruction.set_alignment(16).unwrap();
@@ -2079,11 +2071,7 @@ fn dec_binary_op<'ctx>(
fn_name,
);
- let block = env.builder.get_insert_block().expect("to be in a function");
- let parent = block.get_parent().expect("to be in a function");
-
- let ptr =
- create_entry_block_alloca(env, parent, env.context.i128_type().into(), "to_i128");
+ let ptr = create_entry_block_alloca(env, env.context.i128_type(), "to_i128");
env.builder.build_store(ptr, lowr_highr).unwrap();
env.builder
@@ -2109,7 +2097,7 @@ fn dec_binop_with_overflow<'ctx>(
let rhs = rhs.into_int_value();
let return_type = zig_with_overflow_roc_dec(env);
- let return_alloca = env.builder.new_build_alloca(return_type, "return_alloca");
+ let return_alloca = create_entry_block_alloca(env, return_type, "return_alloca");
match env.target {
Target::LinuxX32 | Target::LinuxX64 | Target::MacX64 => {
@@ -2195,7 +2183,7 @@ fn change_with_overflow_to_roc_type<'a, 'ctx>(
layout_interner,
layout_interner.get_repr(return_layout),
);
- let casted = cast_basic_basic(env.builder, val.as_basic_value_enum(), return_type);
+ let casted = cast_basic_basic(env, val.as_basic_value_enum(), return_type);
use_roc_value(
env,
@@ -2341,7 +2329,6 @@ fn int_type_signed_min(int_type: IntType) -> IntValue {
fn build_int_unary_op<'a, 'ctx, 'env>(
env: &Env<'a, 'ctx, 'env>,
layout_interner: &STLayoutInterner<'a>,
- parent: FunctionValue<'ctx>,
arg: IntValue<'ctx>,
arg_width: IntWidth,
arg_int_type: IntType<'ctx>,
@@ -2477,12 +2464,8 @@ fn build_int_unary_op<'a, 'ctx, 'env>(
target_int_width.type_name(),
);
- let zig_return_alloca = create_entry_block_alloca(
- env,
- parent,
- return_type.into(),
- "num_to_int",
- );
+ let zig_return_alloca =
+ create_entry_block_alloca(env, return_type, "num_to_int");
call_void_bitcode_fn(
env,
@@ -2584,7 +2567,6 @@ fn int_neg_raise_on_overflow<'ctx>(
throw_internal_exception(
env,
- parent,
"Integer negation overflowed because its argument is the minimum value",
);
@@ -2615,7 +2597,6 @@ fn int_abs_raise_on_overflow<'ctx>(
throw_internal_exception(
env,
- parent,
"Integer absolute overflowed because its argument is the minimum value",
);
@@ -2642,7 +2623,7 @@ fn int_abs_with_overflow<'ctx>(
let bits_to_shift = int_type.get_bit_width() as u64 - 1;
let shift_val = int_type.const_int(bits_to_shift, false);
let shifted = bd.new_build_right_shift(arg, shift_val, true, shifted_name);
- let alloca = bd.new_build_alloca(int_type, "#int_abs_help");
+ let alloca = create_entry_block_alloca(env, int_type, "#int_abs_help");
// shifted = arg >>> 63
bd.new_build_store(alloca, shifted);
diff --git a/crates/compiler/gen_llvm/src/llvm/refcounting.rs b/crates/compiler/gen_llvm/src/llvm/refcounting.rs
index 204b4de83e..2ab51a3e9f 100644
--- a/crates/compiler/gen_llvm/src/llvm/refcounting.rs
+++ b/crates/compiler/gen_llvm/src/llvm/refcounting.rs
@@ -646,7 +646,7 @@ fn call_help<'ctx>(
value: BasicValueEnum<'ctx>,
) -> inkwell::values::CallSiteValue<'ctx> {
let value = cast_if_necessary_for_opaque_recursive_pointers(
- env.builder,
+ env,
value,
function.get_params()[0].get_type(),
);
@@ -1350,7 +1350,7 @@ fn build_rec_union_recursive_decrement<'a, 'ctx>(
// therefore we must cast it to our desired type
let union_layout = LayoutRepr::Union(union_layout);
let union_type = basic_type_from_layout(env, layout_interner, union_layout);
- let recursive_field_ptr = cast_basic_basic(env.builder, ptr_as_i64_ptr, union_type);
+ let recursive_field_ptr = cast_basic_basic(env, ptr_as_i64_ptr, union_type);
deferred_rec.push(recursive_field_ptr);
} else if layout_interner.contains_refcounted(*field_layout) {
@@ -1823,8 +1823,7 @@ fn modify_refcount_nonrecursive_help<'a, 'ctx>(
layout_interner,
layout_interner.get_repr(union_layout),
);
- let recursive_ptr_field_value =
- cast_basic_basic(env.builder, field_value, union_type);
+ let recursive_ptr_field_value = cast_basic_basic(env, field_value, union_type);
modify_refcount_layout_help(
env,
diff --git a/crates/compiler/gen_llvm/src/llvm/struct_.rs b/crates/compiler/gen_llvm/src/llvm/struct_.rs
index caae11494f..3f4f4013d5 100644
--- a/crates/compiler/gen_llvm/src/llvm/struct_.rs
+++ b/crates/compiler/gen_llvm/src/llvm/struct_.rs
@@ -11,7 +11,7 @@ use roc_mono::layout::{InLayout, LayoutInterner, LayoutRepr, STLayoutInterner};
use crate::llvm::build::{load_roc_value, use_roc_value};
use super::{
- build::{store_roc_value, BuilderExt, Env},
+ build::{create_entry_block_alloca, store_roc_value, BuilderExt, Env},
convert::basic_type_from_layout,
scope::Scope,
};
@@ -253,7 +253,7 @@ fn build_struct_alloca_helper<'a, 'ctx>(
// Create the struct_type
let struct_type = ctx.struct_type(field_types.into_bump_slice(), false);
- let alloca = env.builder.new_build_alloca(struct_type, "struct_alloca");
+ let alloca = create_entry_block_alloca(env, struct_type, "struct_alloca");
for (i, (field_expr, field_repr)) in field_expr_repr.into_iter().enumerate() {
let dst =
From c5a74bdc1254152f5faf9bd12ca3d10f6bf2ca8c Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht
Date: Sat, 20 Jul 2024 19:52:11 -0700
Subject: [PATCH 03/30] for referenced values, use allocas instead of phi nodes
---
crates/compiler/gen_llvm/src/llvm/build.rs | 38 ++++++++++++++-----
crates/compiler/gen_llvm/src/llvm/scope.rs | 28 ++++++++++----
.../compiler/test_gen/src/gen_primitives.rs | 37 ++++++++++++++++++
3 files changed, 87 insertions(+), 16 deletions(-)
diff --git a/crates/compiler/gen_llvm/src/llvm/build.rs b/crates/compiler/gen_llvm/src/llvm/build.rs
index f673ab828d..02cb49c6a3 100644
--- a/crates/compiler/gen_llvm/src/llvm/build.rs
+++ b/crates/compiler/gen_llvm/src/llvm/build.rs
@@ -3292,14 +3292,18 @@ pub(crate) fn build_exp_stmt<'a, 'ctx>(
layout_interner.get_repr(param.layout),
);
- let phi_type = if layout_interner.is_passed_by_reference(param.layout) {
- basic_type.ptr_type(AddressSpace::default()).into()
+ use crate::llvm::scope::JoinPointArg::*;
+ let joinpoint_arg = if layout_interner.is_passed_by_reference(param.layout) {
+ Alloca(create_entry_block_alloca(
+ env,
+ basic_type,
+ "joinpoint_arg_alloca",
+ ))
} else {
- basic_type
+ Phi(env.builder.new_build_phi(basic_type, "joinpointarg"))
};
- let phi_node = env.builder.new_build_phi(phi_type, "joinpointarg");
- joinpoint_args.push(phi_node);
+ joinpoint_args.push(joinpoint_arg);
}
builder.position_at_end(current);
@@ -3351,14 +3355,30 @@ pub(crate) fn build_exp_stmt<'a, 'ctx>(
Jump(join_point, arguments) => {
let builder = env.builder;
let context = env.context;
- let (cont_block, argument_phi_values) = scope.get_join_point(*join_point).unwrap();
+ let (cont_block, joinpoint_args) = scope.get_join_point(*join_point).unwrap();
let current_block = builder.get_insert_block().unwrap();
- for (phi_value, argument) in argument_phi_values.iter().zip(arguments.iter()) {
- let (value, _) = scope.load_symbol_and_layout(argument);
+ for (joinpoint_arg, argument) in joinpoint_args.iter().zip(arguments.iter()) {
+ let (value, layout) = scope.load_symbol_and_layout(argument);
- phi_value.add_incoming(&[(&value, current_block)]);
+ match joinpoint_arg {
+ crate::llvm::scope::JoinPointArg::Alloca(alloca) => {
+ let (size, alignment) = layout_interner.stack_size_and_alignment(layout);
+ builder
+ .build_memcpy(
+ *alloca,
+ alignment,
+ value.into_pointer_value(),
+ alignment,
+ env.ptr_int().const_int(size as _, false),
+ )
+ .unwrap();
+ }
+ crate::llvm::scope::JoinPointArg::Phi(phi) => {
+ phi.add_incoming(&[(&value, current_block)]);
+ }
+ }
}
builder.new_build_unconditional_branch(*cont_block);
diff --git a/crates/compiler/gen_llvm/src/llvm/scope.rs b/crates/compiler/gen_llvm/src/llvm/scope.rs
index a771700e66..d13be53ed9 100644
--- a/crates/compiler/gen_llvm/src/llvm/scope.rs
+++ b/crates/compiler/gen_llvm/src/llvm/scope.rs
@@ -1,6 +1,6 @@
use inkwell::{
basic_block::BasicBlock,
- values::{BasicValueEnum, FunctionValue, PhiValue},
+ values::{BasicValue, BasicValueEnum, FunctionValue, PhiValue, PointerValue},
};
use roc_collections::ImMap;
use roc_module::symbol::{ModuleId, Symbol};
@@ -13,12 +13,18 @@ use roc_mono::{
pub(crate) struct Scope<'a, 'ctx> {
symbols: ImMap, BasicValueEnum<'ctx>)>,
top_level_thunks: ImMap, FunctionValue<'ctx>)>,
- join_points: ImMap, Vec>)>,
+ join_points: ImMap, Vec>)>,
}
#[derive(Debug)]
pub(crate) struct JoinPointNotFound;
+#[derive(Debug, Clone, PartialEq, Eq)]
+pub(crate) enum JoinPointArg<'ctx> {
+ Alloca(PointerValue<'ctx>),
+ Phi(PhiValue<'ctx>),
+}
+
impl<'a, 'ctx> Scope<'a, 'ctx> {
pub fn insert(&mut self, symbol: Symbol, layout: InLayout<'a>, value: BasicValueEnum<'ctx>) {
self.symbols.insert(symbol, (layout, value));
@@ -62,7 +68,7 @@ impl<'a, 'ctx> Scope<'a, 'ctx> {
&mut self,
join_point_id: JoinPointId,
bb: BasicBlock<'ctx>,
- phis: Vec>,
+ phis: Vec>,
) {
self.join_points.insert(join_point_id, (bb, phis));
}
@@ -74,7 +80,7 @@ impl<'a, 'ctx> Scope<'a, 'ctx> {
pub fn get_join_point(
&self,
join_point_id: JoinPointId,
- ) -> Option<&(BasicBlock<'ctx>, Vec>)> {
+ ) -> Option<&(BasicBlock<'ctx>, Vec>)> {
self.join_points.get(&join_point_id)
}
@@ -89,9 +95,17 @@ impl<'a, 'ctx> Scope<'a, 'ctx> {
.ok_or(JoinPointNotFound)?
.1;
- for (phi_value, param) in ref_join_points.iter().zip(parameters.into_iter()) {
- let value = phi_value.as_basic_value();
- self.symbols.insert(param.symbol, (param.layout, value));
+ for (joinpoint_arg, param) in ref_join_points.iter().zip(parameters.into_iter()) {
+ match joinpoint_arg {
+ crate::llvm::scope::JoinPointArg::Alloca(alloca) => {
+ self.symbols
+ .insert(param.symbol, (param.layout, alloca.as_basic_value_enum()));
+ }
+ crate::llvm::scope::JoinPointArg::Phi(phi) => {
+ self.symbols
+ .insert(param.symbol, (param.layout, phi.as_basic_value()));
+ }
+ }
}
Ok(())
diff --git a/crates/compiler/test_gen/src/gen_primitives.rs b/crates/compiler/test_gen/src/gen_primitives.rs
index 77ddba776e..8ab12b2841 100644
--- a/crates/compiler/test_gen/src/gen_primitives.rs
+++ b/crates/compiler/test_gen/src/gen_primitives.rs
@@ -4664,3 +4664,40 @@ fn multiple_uses_of_bool_true_tag_union() {
bool
);
}
+
+#[test]
+#[cfg(any(feature = "gen-llvm", feature = "gen-dev", feature = "gen-wasm"))]
+fn issue_6139() {
+ assert_evals_to!(
+ indoc!(
+ r#"
+ buggy = \node, seen ->
+ if List.contains seen node then
+ seen
+ else
+ # node = "B"
+ nextNode = stepNode node
+
+ # node = "C"
+ buggy nextNode (List.append seen node)
+
+ stepNode = \node ->
+ when node is
+ "A" -> "B"
+ "B" -> "C"
+ "C" -> "D"
+ "D" -> "A"
+ _ -> crash ""
+
+ buggy "A" []
+ "#
+ ),
+ RocList::from_slice(&[
+ RocStr::from("A"),
+ RocStr::from("B"),
+ RocStr::from("C"),
+ RocStr::from("D"),
+ ]),
+ RocList
+ );
+}
From a81d4b8b16e9d293c0782384a4279aa79c98385c Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht
Date: Sat, 20 Jul 2024 20:23:07 -0700
Subject: [PATCH 04/30] add extra test case from issue
---
.../compiler/test_gen/src/gen_primitives.rs | 29 ++++++++++++++++++-
1 file changed, 28 insertions(+), 1 deletion(-)
diff --git a/crates/compiler/test_gen/src/gen_primitives.rs b/crates/compiler/test_gen/src/gen_primitives.rs
index 8ab12b2841..60bdf275f8 100644
--- a/crates/compiler/test_gen/src/gen_primitives.rs
+++ b/crates/compiler/test_gen/src/gen_primitives.rs
@@ -4667,7 +4667,7 @@ fn multiple_uses_of_bool_true_tag_union() {
#[test]
#[cfg(any(feature = "gen-llvm", feature = "gen-dev", feature = "gen-wasm"))]
-fn issue_6139() {
+fn issue_6139_contains() {
assert_evals_to!(
indoc!(
r#"
@@ -4701,3 +4701,30 @@ fn issue_6139() {
RocList
);
}
+
+#[test]
+#[cfg(any(feature = "gen-llvm", feature = "gen-dev", feature = "gen-wasm"))]
+fn issue_6139_prefixes() {
+ assert_evals_to!(
+ indoc!(
+ r#"
+ prefixes = \str, soFar ->
+ if Str.isEmpty str then
+ soFar
+
+ else
+ graphemes =
+ Str.toUtf8 str
+ |> List.map \c -> Str.fromUtf8 [c] |> Result.withDefault ""
+ remaining = List.dropFirst graphemes 1
+ next = Str.joinWith remaining ""
+
+ prefixes next (List.append soFar str)
+
+ prefixes "abc" []
+ "#
+ ),
+ RocList::from_slice(&[RocStr::from("abc"), RocStr::from("bc"), RocStr::from("c")]),
+ RocList
+ );
+}
From 703224b27584151d99e054c04199058d020bddaa Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht
Date: Sat, 20 Jul 2024 21:14:31 -0700
Subject: [PATCH 05/30] fix alloca args overwriting eachother
---
crates/compiler/gen_llvm/src/llvm/build.rs | 29 +++++++++++++++++++++-
1 file changed, 28 insertions(+), 1 deletion(-)
diff --git a/crates/compiler/gen_llvm/src/llvm/build.rs b/crates/compiler/gen_llvm/src/llvm/build.rs
index 02cb49c6a3..62a279aaeb 100644
--- a/crates/compiler/gen_llvm/src/llvm/build.rs
+++ b/crates/compiler/gen_llvm/src/llvm/build.rs
@@ -3359,27 +3359,54 @@ pub(crate) fn build_exp_stmt<'a, 'ctx>(
let current_block = builder.get_insert_block().unwrap();
+ let mut to_resolve = bumpalo::vec![in env.arena];
for (joinpoint_arg, argument) in joinpoint_args.iter().zip(arguments.iter()) {
let (value, layout) = scope.load_symbol_and_layout(argument);
match joinpoint_arg {
crate::llvm::scope::JoinPointArg::Alloca(alloca) => {
let (size, alignment) = layout_interner.stack_size_and_alignment(layout);
+ // I would like to just do a direct memcpy here, but it is not valid.
+ // Imagine the case where I just swap two referenced args.
+ // (a, b) -> jump (b, a)
+ // This would generate `a` overwriting `b` then `b` overwriting `a`.
+ // That would lead to both values being `b`
+
+ // Instead we copy to a tmp alloca here.
+ // After we have all tmp allocas, we copy those to the final output.
+ let basic_type = basic_type_from_layout(
+ env,
+ layout_interner,
+ layout_interner.get_repr(layout),
+ );
+ let tmp = create_entry_block_alloca(env, basic_type, "tmp_output_for_jmp");
builder
.build_memcpy(
- *alloca,
+ tmp,
alignment,
value.into_pointer_value(),
alignment,
env.ptr_int().const_int(size as _, false),
)
.unwrap();
+ to_resolve.push((alloca, tmp, alignment, size));
}
crate::llvm::scope::JoinPointArg::Phi(phi) => {
phi.add_incoming(&[(&value, current_block)]);
}
}
}
+ for (alloca, tmp, alignment, size) in to_resolve {
+ builder
+ .build_memcpy(
+ *alloca,
+ alignment,
+ tmp,
+ alignment,
+ env.ptr_int().const_int(size as _, false),
+ )
+ .unwrap();
+ }
builder.new_build_unconditional_branch(*cont_block);
From e804501a92e7a2226f8ca3ce7ac146170fdc821c Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht
Date: Sat, 20 Jul 2024 21:21:43 -0700
Subject: [PATCH 06/30] clippy
---
crates/compiler/gen_llvm/src/llvm/build.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/crates/compiler/gen_llvm/src/llvm/build.rs b/crates/compiler/gen_llvm/src/llvm/build.rs
index 62a279aaeb..4c2e2b1e10 100644
--- a/crates/compiler/gen_llvm/src/llvm/build.rs
+++ b/crates/compiler/gen_llvm/src/llvm/build.rs
@@ -7052,7 +7052,7 @@ fn define_global_str_literal<'ctx>(
}
}
-pub(crate) fn throw_internal_exception<'ctx>(env: &Env<'_, 'ctx, '_>, message: &str) {
+pub(crate) fn throw_internal_exception(env: &Env<'_, '_, '_>, message: &str) {
let builder = env.builder;
let str = build_string_literal(env, message);
From bccab348336586898d87091d06201c3ba7894656 Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht
Date: Sat, 20 Jul 2024 21:30:25 -0700
Subject: [PATCH 07/30] correct comment
---
crates/compiler/gen_llvm/src/llvm/build.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/crates/compiler/gen_llvm/src/llvm/build.rs b/crates/compiler/gen_llvm/src/llvm/build.rs
index 4c2e2b1e10..c941fff593 100644
--- a/crates/compiler/gen_llvm/src/llvm/build.rs
+++ b/crates/compiler/gen_llvm/src/llvm/build.rs
@@ -3369,7 +3369,7 @@ pub(crate) fn build_exp_stmt<'a, 'ctx>(
// I would like to just do a direct memcpy here, but it is not valid.
// Imagine the case where I just swap two referenced args.
// (a, b) -> jump (b, a)
- // This would generate `a` overwriting `b` then `b` overwriting `a`.
+ // This would generate `b` overwriting `a` then `a` overwriting `b`.
// That would lead to both values being `b`
// Instead we copy to a tmp alloca here.
From 7ba44a5cd0c5c0109dc457809d1dd20747693197 Mon Sep 17 00:00:00 2001
From: Luke Boswell
Date: Sun, 21 Jul 2024 19:01:40 +1000
Subject: [PATCH 08/30] remove gui and swift examples
---
crates/cli/tests/cli_run.rs | 25 -
examples/GuiFormatter.roc | 231 -------
examples/gui/Inconsolata-Regular.ttf | Bin 92124 -> 0 bytes
examples/gui/hello-guiBROKEN.roc | 17 -
examples/gui/platform/Action.roc | 15 -
examples/gui/platform/Cargo.toml | 58 --
examples/gui/platform/Elem.roc | 192 ------
examples/gui/platform/build.rs | 9 -
examples/gui/platform/host.c | 3 -
examples/gui/platform/main.roc | 15 -
examples/gui/platform/src/focus.rs | 172 -----
examples/gui/platform/src/graphics/colors.rs | 50 --
.../platform/src/graphics/lowlevel/buffer.rs | 96 ---
.../gui/platform/src/graphics/lowlevel/mod.rs | 5 -
.../platform/src/graphics/lowlevel/ortho.rs | 118 ----
.../src/graphics/lowlevel/pipelines.rs | 72 --
.../platform/src/graphics/lowlevel/quad.rs | 33 -
.../platform/src/graphics/lowlevel/vertex.rs | 35 -
examples/gui/platform/src/graphics/mod.rs | 4 -
.../platform/src/graphics/primitives/mod.rs | 2 -
.../platform/src/graphics/primitives/rect.rs | 27 -
.../platform/src/graphics/primitives/text.rs | 137 ----
.../platform/src/graphics/shaders/quad.wgsl | 60 --
examples/gui/platform/src/graphics/style.rs | 1 -
examples/gui/platform/src/gui.rs | 651 ------------------
examples/gui/platform/src/lib.rs | 21 -
examples/gui/platform/src/main.rs | 3 -
examples/gui/platform/src/rects_and_texts.rs | 70 --
examples/gui/platform/src/roc.rs | 203 ------
examples/inspect-gui.roc | 35 -
examples/platform-switching/rocLovesSwift.roc | 3 -
.../platform-switching/swift-platform/host.h | 9 -
.../swift-platform/host.swift | 62 --
.../swift-platform/main.roc | 9 -
examples/swiftui/main.roc | 3 -
examples/swiftui/platform/host.h | 9 -
examples/swiftui/platform/host.swift | 78 ---
examples/swiftui/platform/main.roc | 9 -
examples/swiftui/run.sh | 9 -
39 files changed, 2551 deletions(-)
delete mode 100644 examples/GuiFormatter.roc
delete mode 100644 examples/gui/Inconsolata-Regular.ttf
delete mode 100644 examples/gui/hello-guiBROKEN.roc
delete mode 100644 examples/gui/platform/Action.roc
delete mode 100644 examples/gui/platform/Cargo.toml
delete mode 100644 examples/gui/platform/Elem.roc
delete mode 100644 examples/gui/platform/build.rs
delete mode 100644 examples/gui/platform/host.c
delete mode 100644 examples/gui/platform/main.roc
delete mode 100644 examples/gui/platform/src/focus.rs
delete mode 100644 examples/gui/platform/src/graphics/colors.rs
delete mode 100644 examples/gui/platform/src/graphics/lowlevel/buffer.rs
delete mode 100644 examples/gui/platform/src/graphics/lowlevel/mod.rs
delete mode 100644 examples/gui/platform/src/graphics/lowlevel/ortho.rs
delete mode 100644 examples/gui/platform/src/graphics/lowlevel/pipelines.rs
delete mode 100644 examples/gui/platform/src/graphics/lowlevel/quad.rs
delete mode 100644 examples/gui/platform/src/graphics/lowlevel/vertex.rs
delete mode 100644 examples/gui/platform/src/graphics/mod.rs
delete mode 100644 examples/gui/platform/src/graphics/primitives/mod.rs
delete mode 100644 examples/gui/platform/src/graphics/primitives/rect.rs
delete mode 100644 examples/gui/platform/src/graphics/primitives/text.rs
delete mode 100644 examples/gui/platform/src/graphics/shaders/quad.wgsl
delete mode 100644 examples/gui/platform/src/graphics/style.rs
delete mode 100644 examples/gui/platform/src/gui.rs
delete mode 100644 examples/gui/platform/src/lib.rs
delete mode 100644 examples/gui/platform/src/main.rs
delete mode 100644 examples/gui/platform/src/rects_and_texts.rs
delete mode 100644 examples/gui/platform/src/roc.rs
delete mode 100644 examples/inspect-gui.roc
delete mode 100644 examples/platform-switching/rocLovesSwift.roc
delete mode 100644 examples/platform-switching/swift-platform/host.h
delete mode 100644 examples/platform-switching/swift-platform/host.swift
delete mode 100644 examples/platform-switching/swift-platform/main.roc
delete mode 100644 examples/swiftui/main.roc
delete mode 100644 examples/swiftui/platform/host.h
delete mode 100644 examples/swiftui/platform/host.swift
delete mode 100644 examples/swiftui/platform/main.roc
delete mode 100755 examples/swiftui/run.sh
diff --git a/crates/cli/tests/cli_run.rs b/crates/cli/tests/cli_run.rs
index 81a5ffcc2c..1809a5d6eb 100644
--- a/crates/cli/tests/cli_run.rs
+++ b/crates/cli/tests/cli_run.rs
@@ -542,16 +542,6 @@ mod cli_run {
)
}
- #[test]
- fn platform_switching_swift() {
- test_roc_app_slim(
- "examples/platform-switching",
- "rocLovesSwift.roc",
- "Roc <3 Swift!\n",
- UseValgrind::Yes,
- )
- }
-
#[test]
fn expects_dev_and_test() {
// these are in the same test function so we don't have to worry about race conditions
@@ -785,11 +775,6 @@ mod cli_run {
)
}
- #[test]
- fn hello_gui() {
- test_roc_app_slim("examples/gui", "hello-guiBROKEN.roc", "", UseValgrind::No)
- }
-
#[test]
#[cfg_attr(windows, ignore)]
fn quicksort() {
@@ -910,11 +895,6 @@ mod cli_run {
)
}
- #[test]
- fn swift_ui() {
- test_roc_app_slim("examples/swiftui", "main.roc", "", UseValgrind::No)
- }
-
#[test]
#[serial(cli_platform)]
#[cfg_attr(windows, ignore)]
@@ -1056,11 +1036,6 @@ mod cli_run {
)
}
- #[test]
- fn inspect_gui() {
- test_roc_app_slim("examples", "inspect-gui.roc", "", UseValgrind::No)
- }
-
// TODO not sure if this cfg should still be here: #[cfg(not(debug_assertions))]
// this is for testing the benchmarks, to perform proper benchmarks see crates/cli/benches/README.md
mod test_benchmarks {
diff --git a/examples/GuiFormatter.roc b/examples/GuiFormatter.roc
deleted file mode 100644
index 146da44008..0000000000
--- a/examples/GuiFormatter.roc
+++ /dev/null
@@ -1,231 +0,0 @@
-module [
- GuiFormatter,
- toGui,
-]
-
-## Creates GUI representations of Roc values, for use in inspect-gui.roc
-
-## This can't depend on the platform, so I just copied all of this.
-
-Rgba : { r : F32, g : F32, b : F32, a : F32 }
-ButtonStyles : { bgColor : Rgba, borderColor : Rgba, borderWidth : F32, textColor : Rgba }
-Elem : [Button Elem ButtonStyles, Col (List Elem), Row (List Elem), Text Str]
-
-GuiFormatter := { nodes : List Elem }
- implements [
- InspectFormatter {
- init: init,
- list: list,
- set: set,
- dict: dict,
- tag: tag,
- tuple: tuple,
- record: record,
- bool: bool,
- str: str,
- function: function,
- opaque: opaque,
- u8: u8,
- i8: i8,
- u16: u16,
- i16: i16,
- u32: u32,
- i32: i32,
- u64: u64,
- i64: i64,
- u128: u128,
- i128: i128,
- f32: f32,
- f64: f64,
- dec: dec,
-
- },
- ]
-
-init : {} -> GuiFormatter
-init = \{} -> @GuiFormatter { nodes: [] }
-
-list : list, ElemWalker GuiFormatter list elem, (elem -> Inspector GuiFormatter) -> Inspector GuiFormatter
-list = \content, walkFn, toInspector ->
- f0 <- Inspect.custom
- # Use a temporary buffer for the children nodes
- (@GuiFormatter { nodes }) =
- init {}
- |> \f1 ->
- f2, elem <- walkFn content f1
- elem
- |> toInspector
- |> Inspect.apply f2
-
- addNode f0 (Col nodes)
-
-set : set, ElemWalker GuiFormatter set elem, (elem -> Inspector GuiFormatter) -> Inspector GuiFormatter
-set = \content, walkFn, toInspector ->
- f0 <- Inspect.custom
- # Use a temporary buffer for the children nodes
- (@GuiFormatter { nodes }) =
- init {}
- |> \f1 ->
- f2, elem <- walkFn content f1
- elem
- |> toInspector
- |> Inspect.apply f2
-
- addNode f0 (Col nodes)
-
-dict : dict, KeyValWalker GuiFormatter dict key value, (key -> Inspector GuiFormatter), (value -> Inspector GuiFormatter) -> Inspector GuiFormatter
-dict = \d, walkFn, keyToInspector, valueToInspector ->
- f0 <- Inspect.custom
- # Use a temporary buffer for the children nodes
- (@GuiFormatter { nodes }) =
- init {}
- |> \f1 ->
- f2, key, value <- walkFn d f1
- (@GuiFormatter { nodes: innerNodes }) =
- init {}
- |> \x -> Inspect.apply (keyToInspector key) x
- |> addNode (Text ":")
- |> \x -> Inspect.apply (valueToInspector value) x
-
- addNode f2 (Row innerNodes)
-
- addNode f0 (Col nodes)
-
-tag : Str, List (Inspector GuiFormatter) -> Inspector GuiFormatter
-tag = \name, fields ->
- f0 <- Inspect.custom
- # Use a temporary buffer for the children nodes
- (@GuiFormatter { nodes }) =
- init {}
- |> addNode (Text name)
- |> \f1 ->
- f2, fieldInspector <- List.walk fields f1
- Inspect.apply fieldInspector f2
-
- addNode f0 (Row nodes)
-
-tuple : List (Inspector GuiFormatter) -> Inspector GuiFormatter
-tuple = \fields ->
- f0 <- Inspect.custom
- # Use a temporary buffer for the children nodes
- (@GuiFormatter { nodes }) =
- init {}
- |> \f1 ->
- f2, fieldInspector <- List.walk fields f1
- Inspect.apply fieldInspector f2
-
- addNode f0 (Row nodes)
-
-record : List { key : Str, value : Inspector GuiFormatter } -> Inspector GuiFormatter
-record = \fields ->
- f0 <- Inspect.custom
- # Use a temporary buffer for the children nodes
- (@GuiFormatter { nodes }) =
- init {}
- |> \f1 ->
- f2, { key, value } <- List.walk fields f1
- (@GuiFormatter { nodes: innerNodes }) =
- init {}
- |> addNode (Text key)
- |> addNode (Text ":")
- |> \x -> Inspect.apply value x
-
- addNode f2 (Row innerNodes)
-
- addNode f0 (Col nodes)
-
-bool : Bool -> Inspector GuiFormatter
-bool = \b ->
- if b then
- f0 <- Inspect.custom
- addNode f0 (Text "true")
- else
- f0 <- Inspect.custom
- addNode f0 (Text "false")
-
-str : Str -> Inspector GuiFormatter
-str = \s ->
- f0 <- Inspect.custom
- addNode f0 (Text "\"$(s)\"")
-
-opaque : * -> Inspector GuiFormatter
-opaque = \_ ->
- f0 <- Inspect.custom
- addNode f0 (Text "")
-
-function : * -> Inspector GuiFormatter
-function = \_ ->
- f0 <- Inspect.custom
- addNode f0 (Text "")
-
-u8 : U8 -> Inspector GuiFormatter
-u8 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-i8 : I8 -> Inspector GuiFormatter
-i8 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-u16 : U16 -> Inspector GuiFormatter
-u16 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-i16 : I16 -> Inspector GuiFormatter
-i16 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-u32 : U32 -> Inspector GuiFormatter
-u32 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-i32 : I32 -> Inspector GuiFormatter
-i32 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-u64 : U64 -> Inspector GuiFormatter
-u64 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-i64 : I64 -> Inspector GuiFormatter
-i64 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-u128 : U128 -> Inspector GuiFormatter
-u128 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-i128 : I128 -> Inspector GuiFormatter
-i128 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-f32 : F32 -> Inspector GuiFormatter
-f32 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-f64 : F64 -> Inspector GuiFormatter
-f64 = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-dec : Dec -> Inspector GuiFormatter
-dec = \num ->
- f0 <- Inspect.custom
- addNode f0 (num |> Num.toStr |> Text)
-
-addNode : GuiFormatter, Elem -> GuiFormatter
-addNode = \@GuiFormatter { nodes }, node ->
- @GuiFormatter { nodes: List.append nodes node }
-
-toGui : GuiFormatter -> Elem
-toGui = \@GuiFormatter { nodes } -> Col nodes
diff --git a/examples/gui/Inconsolata-Regular.ttf b/examples/gui/Inconsolata-Regular.ttf
deleted file mode 100644
index 3e547460b79225335bbc935a679a59da6dc99eae..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 92124
zcmdSCd4OD1l|TOOd$sjmdsTOJcP+2h-m9v+tM{(n*QAq>mF#501W14YVKE>e&VUFA
z3OMdMIN%mU0*-?NqhFO>0bv*wTtGmDaYRAURR2Eb-uJ4imk^!b_mAHXO?TI=`|fhi
zx#yn!NlcO?8-5rh>%{2Tc;KGUWfJRq6|HAXteQLRg1*D&O00iYlIr(PoVITG>u-PN
zYZBZ1bxA6Z&z;tq+I8Y18zolSg#J5roxStWTQ?ki0iQo8NhOwD7ak6DY*$he3$DWV
zx9vT&@9YbAUw(#bmFrC{R8LhJbO?0yzDzz5BA6Y?a;yV4{vCGVOC=5=OwAS@6dUB4s~~~
zJSefim(c%nl8m)U>?QdU$t;yhk!+~cC@Yhaf<{H!V~}OWTnwNov7m$5W;2@Ijlq~|
zRvl?aBpqWPAAERl>{pgw<-Yy-HOG(3mz=ofw{J-E^I}xRBZUBUNmAsO+0UgyyCdKJ
z8v8?0`!!m-D)V+`#&h%1LCJEr!j2t0mTshx=XbD|6nz9$ejYt&hJ_=2bIC|Av9C*?
z7bAUM8;N$V+_$9XGwjdO+oI>&#XWCX((`rp^0GY(`+lXcKeMzrxk~F9lOJWDm+rvqkIJLc9g_8KnH{?WJqcg*J5LEN?FmKx1?^nN
zBj`@25RS)ue|`T7_Vx853fU|AW5#D>1v6Uo8S_sz-cGKN**bZjg~Vev1yMDXToHZ*@S*Da4hIt*c`SxgW20?Fu9y=k2xCcXz$Eur$eRV
zaaWVyZ%y|nTeV~2%suz{HTAc!J*=||d--qq5PmzP!E7H|6pO6vkt~wQU@`3}0cfSI=;@pR
zsEu1o&9c$xGJ*{{>^3W&s&bmy>NE@
zCLbDjJp0PPop=6{%@O7E**R~l(|99J8{pc8RXr>plqvz?I;lU~V`iYaX%iFZ-yc)1cR5t*Wi@)OqV%jw-j+-4L*VM>{kUa1$Y@sv|{2pt|Tcezo0w=DuWO
z`_SPFj(y?g;qkLCy7}{a<%6roTUJ!rH?^v5vXNLaPo6xj^CgEnQh9V@AwF)*xeJ9bhh0aEB)ACE?iW=~_dGvhIt)DS1lPAtr0
z4z(wvoG6`cciNszdCW0)EW-vzUG4t0edA{jjh{6zytBHG)nsFHn_K4EE|5)T#cGmM
z2{n{XkA3LC`8Nyl_
zdim~>Qby{LzMl1FIy=HDc4so0nXFhDldHf44AV2mtgAL=W0I_Z+7C%aqhUL!qjtv3
zOeSSJkW)7UIB*CArCHz1F%P=OMR#`el>M`jd{@XSOxm^F6UywSO`*L&Q_u08iAH1Xou>r3Zz5@IXzc6iXsM1SQ$BBf>E8FUcf&w)$`mz3
zyy2w3p+0Q2&6qxY+w%AT-{9~CJ`|}#>Xinh2eb9PJ>Bt`*#roe0m4o|*uf!8e8e#M
z{~0*D33ct
zISa24%`embOZFqslq_}5=h$Q5K&7~YqFJ@Ta10E`Tw^%pWwxp^d$~OtAYqUgjmPaW
znPO@t)qz8;+B$DqaeA=dbj5Y=zw!yTW$%o9FwwN;mRmo?GVfge{+x_?>gVU#Q=HTJ
zq|R*G#F&{$1}5zR&C6TCQk*juusCHaR^U=*tyMMEUXR;Z<+J*tL7TM%SFS_tNZT|f
z2L_iB*PLL)bIIg&R~(rejm}(t+4en~w@tj~J*>HhS^niCTR-o2^jvw-W!F63^9R78
z6YF@4^NJYf6|b^qIehf>$>4VcuTIFE1ecH``suPt=lq@p?Ju&oFb)HqOY9rq5oJR1KlnQFBKEh?iBPYBzUpjrBBehPx8e4s-m6CkPCD;J)n>@CieXs
zf*(%H#QY!GmvOoRQdhPE_pRb*5O=4`n8K#;wZX^?`@je^#sC(fOBrFi&F&7Ga05p2
z;zcIb0eQ^hijqj4PT?|dH^nj@_T`}+gPWR@8@rCNSqTm}+%N~97x#3ryNafTrg
z+E%iCxffr1O+M8Bo&MYtByFgWr5=O+<(E_`N-~}rs;V>?&%)Y3-vV4
zY~8%Ne%O8P`6Wh!)hx5dKMbw>(6-BN>h5WcvF7OE_g`_H!*NUhgJvTxX-2pU)4Dmg
z80WPAnq1CtD%y#bMfE<%R!YB4JirpU=ZHQR&S0Q9*j^gjIYaZfq*+X0vq9miX@o4OjVtD$x!6N|
zbUu%KrWo3t`*nUcf^TYmHQz-@TEXG_0^KCkPP^kgRJ7|>fE0Ku?ON|ItRPHUjs7>I
zy^QFUR7CC6;Bu9WTTgQ5;3ie+)L_Z0FFnjUE`47w`*Uw^&eVey@Dce6*6@|Rtlg2K
zoiHQXUt_QF6)*1piq<|zD^rNyQh(yNw`=^i8yH={cQk%0Mk0PIX7~krwP=Qa*4kBA
z6wuB&*fY|Hgtg*Bf^#ii%P-k+F#@1RP|`=%IrHNFFR?p|W+cvxm0+f4*q;`0Rq-To
zX3^tW*t-_;UC~2>7f~|cQq%)fwHmeuT9ub@=QSA>X@cY~E(H-WYw`op8~s;H^tQnA
z5G+C@J6o6@+FEjd5I8L|JB$Z(1QU&|!k#{+tk%|UQYwEF7B@y1Pz29PfXK?;
znSex7V=;q4vT1PX{PJ|wM<{(k9gSY7VpCdFX1LhqH^bDx+!qh&0`SiNszJ=+bU>|!#_%VeyaR`x2V
z&7GV!Ux5`0n~@sk|H__&#%h!N+1jd7m@*lgCYy~DW)ps5?J=93EH@4_c!1yv%$-gv
z4)Yz!nYAYHkZNDeZ~uBa>*~zq#7TXVg^js4bDuO2%o@PQXoe8a2n_z+y4WF$_C-UhYE%);slvSoDd{e9(ZM
z8_bFka2W=0?gJ)Er0T32D}j9j9AXuiA3m!>g=rA}IYsy`xjr3=-lMK(l
zhkX|#SfpBM_wlk)nQQb`JZ18=8hrLTQkdI=rUjt~amlZN)8B(&S6FUHLs_
zJ8^NB>BR5)ZyoD4x=iKHskQ8Py(gYMbQa-_Lx5AvUXHhy*;nx!`{Ix}4BJe#G&ggs
zW!1)etC$R&`RF&OXA^JC+HeS^+8IDh*(Q_|U)F^Y&_vW#)V}Gs&E-lEjj>J$Au+NI
za(%@d5w{N@%rc%jhui0J2iE2OTZ1;c$C<1uv)QdqU$l03-81|y`g0$x9W+PS3&8@&
zX-F3bKt-U=R9+*{lb3NW~a-6P+C8^Q_gW_|WFj~fSy8*-d8-10@zhI>Xb
znao=yv)Mx^G;9OHTr-fpEZa*#YeCDb3)^DRWkw;C)qx7X9!^}!$QS|i8nUG93n%T+%i
zQ2LeZfWd7mEz1tG%X)Jw&e+D!;xM$Z;+^VRm=oIFw*VI>>9W?UvQp5hWTAtI4HnTT
zNWa!eq@OW&WS~=$>C~3#%(%>?icNKNtd=eE9WKMa(_whi)^BG6vh23x{?ciYv;9x@
z6URy5$77Ha%cYiVW0^&P(1vLgk{IQqL^ELE#4T~oFnPID4$)N;7Sj#~?q8c(joA{J
zkA0$J_yfM9^16mipH27PEN*{Q
z^KPU-nY4MkYqs+zqf5{%=6id=easT{o<|jCJ@k$%BRu9=2l~ORM65vb$muUi*
z@c@j(Jc(y5u(xHMKm-22tEdBUlnU&?D|v0sNR(ekM2ujkxRB~)5|jZAh-fzUUGwUR
z*0^e_v^ttqIrrxgfJi>5SS=^Mw0T?gfLv)AS;3ykxdps9lt6dIyWn(}haTxU0vfv2
z*@xTedHH-C5|7lBO<)IHuorSF!==Dj9h)tOU|sGhciXM}G?{Rk+(oB}c!@6N-*EVX
z{rfLCd|+~J)dW15lVx|@{*k-x`pE5f^j~w?Mb}*iGY3|~XXUuObOA0!JIN!WUH6|Y
z?ypOnXxBVg)L)fP?!oc_yU*umEYkZmY7sM#-mi}&yiH3zSfVHC{d&*e0mbC|S?s|Q
zJxTA^dx|laday)Kl0&KI-{Qd%Pmml+PZT^@qP?&W?%Cp!-S1huRC2e0-Ot)dgvw*#
zs{H!+NznSb(N{rVcfK#+2RhN`)1^}}AL&|R9lB>sw3Bp-b`G5do-yzs-b20voG>75
z&6bu!vvx9rBI8W?aHf19MKF9t;g)=&N8IF^&gr9XnS9mq-{N?=T&{r2A9saSI$jdF
z8$yC!Jp*zFc)wXLB3btQ;R6Riw$ts_N<)v+zg;6;_WfIKzk|rPQMQKTWBnyL&$2Xp
z-69$$NZo;*i}t0E675SNh4!V8%HxU7u6UB4-F!RA_X766Vvli7CSb3%W5lICN6|w&
zXB^`Te2)3C$-Y8k!y-doN%SPHOZFAb0!2Pm%_1YlT>1pZTobnN5~hXsw!?
z$+^JIR99CQu2bXjFu9o|?&=D~;9u0}FXJ&w9tY=^b`rr9cbeTBK73%NJ=)aTf5HCY
z_O^yh?gzC$2q!02y*Q^n744D@m#@D4j>M#M)0$6xn_UWuDR^c
zNbZ6LjxnsAbGTa<(IYrKw{Qt6Sx7x!(=e>cyj{caKM9TXpM=ILFnerCPvR}Sr+jQd
zPojN6HN@$NYMy5Q&AKI95!Kw!x{0%Z3QFex4Da?4^5C-GnPVk5`*t&vr5bp&s$q0<
zGLz9T4cAqj_{OsM8|rRhMcqpb)0-d~(@1a^z*eUi_E;c!NZW;=Tvh_tscAbrs8D90
z0f?cS^{$e|qW9!9c(R9r7{7DDLx4LM!?{-i;y_`RnKD*VQZ!{YeX0kyLe_Qh$IOs!
z&E`5Y+-#e&UXMqTJRwi8&IgE*iN|KMhs)vf)h=XDhvxPr_iu+u?d;6h^t*Zc`gL=y
z!B_6Q;f62#D$o{;n*+(F&P>|;sZW36bCEjk5cWs=8-i^2rX$y1`VWMiUhpK6CrV+<
zYRJZ5VUl1KWP7--g#8MkN1iP&vs=p?$X=rs%_yY0uG=&r#VM(kqZbqzUqP-1};bZ(Yq2N^Oa|8HyF0;_`vw%2TKh7
z16RlgagkWfn|98v-1f;IpPd@`DXpY#{s8#Eg^-CN&?s#<=TJswj#UHWek=mcRs+1J
znh}(%S@L!xD6CqBK3QAn!O+O$UHP7Hm1Z4YFN8lhDg*Tx-yKiDW7lYicC^S)#z-4;
zn{huur_7jDSWzKa>F8r^E89=cjPB{^+uJ8^-7E)VtL4~PBTcPik?B?Irav+`XP)`T
z9fxlm7`^epwV#G;X&n82^1x|lUXr|F-;rBrUtPfF54dFRmQvYP95d{TLzNL!VZ{~^
z23j0PRi(>O>8^6yZ0>-7tscXn6eG6l{{4FRC5
zj08Tl^rq~BJYD>x(Bq6!J8aM2lP{8*pqF$?ebOM=$C`tI5(|z9X<3TA9o&P{hAy^5
z8{-kW#`vWGi6oZkNI8?jdH^iP^e`EZId3(0dou0rGy)N#YKA%S!xM#h>Z;M^ZDSWt
zhna6(S7zGN*SBSE@5c0|V2srdCEI$dhX>bNm}0U4zq$Ve=QGn5h1k0`IcXsN`;;Kky$(iF~IVYp^>)(tH^aOojIA
z0Xu3}MLS^lOGqIX;{GtPV;741WAO;DQgmE?+=Xz6izA7IdJbl@#Qf?zHDfj4&3ZSy|567r<<}Rsw0g5$oQ>Gd@u}>VHq;1+L6Ie
zIKiOQ3v-*9oxgSOTwjaZmTkFKx3Hr?4iIeKu_+SC7m9on^V$98{LdHM8U*NX0o
zTL*{7a}oB$f!%v%&L=o=X$+c}%w;SFubsr6gcZgt!Pi8-A5HoodoCPJSRxOSMU<=u
zUO?ef`N7@n*!^;HaPY*FfS^7?74a~b^yxq`c@Lay61TSDj@NuvT-<;Ow6>A)s0Qo^
zArElt1=*ALzyJLcM~+}%Ir-D>+{?_@{nJ5OFCU%b4}K2dP3P`@oM~EjND}Sb*H8UH
zH^uEb*Y|^m7q{y?+z$?2+^$>NQm|~0RoJD&1>1lhm)p7PI9yzk(-CtJTp&AXhA8f+
z#0N6R+_rb6Ng0@!92_~YqwK=7*llEx%H6zb{rc0`M{@_xKM$+rv+&(Lz;{Rb5$#&E
zlZGYQbxX$L{<WpMILa?6D6J?3xJqGk6|S{7VTSa*Wt8yW?laj?WCz=
z9B^MfhE_HME9I~md*oYseYuaHf8GUW
zFT_Vxq=Deh*UItnT@4@j&D(eIJ%l9D{yh7o){eau^?wN-z`{5L74#>lz@Jy-8OzT^
zTDchUH|#%)Fi$dtz>BVx3pi`-7*Urs3Q-WEhek8#p+^EQ?(tP^?1ENKxL*+UAaku8
zxJ%8)I5mXnY{NAI_Z=+G!YiQjF8~S(c+l_lIKd?lOh#^FXdi{}VF)XWQN+I6k&Fs=
zo*Fb)?$XZ+Opymxo#`z&_Uig-+2X@fI3d0~oPMpvU<)V^Tm}4eeO0uRzDn&&^;K9T
zNDIZDtKn&T0i4A|Cm)<_vH2N~nJ3$hnZT#r#~
z!27E>N5Xn;g7q987qmkGQjTiAd@}nA9t-Qa&8}I``H(cKswfxi9va#0-qYQ?%Xi>x
zz-BYMDE9&Og%dZiTXXLL74ca({ZX_VNmsw&RJ6GL6~qb=)I>X-deQ$E>_kyJ-NK^%
zCH5_hCwu_U02XBu{0*gM1LXWXI6w)y@gLz{cDtQl5e_Bo$-wET#>|PkzA$su`^Gn9Jc
zy8YVeyWe6L=bmCMxevTWd*Wkp82ng+f#9Kw+jU+k+6e}tzs~s<_t!1^wPgF{98vUt
zUW<`h++XL2qMgn@`Y+{(`4!Vi6+M=oR51oov6z!nG2lkthbOU?3JHE#_$65>gToBq
zQ^*0N8xAxNHb~1EvVl&$jTsh1Gz1I6IgoY*Q>+K@dtdHRR&A{^nRC06Y<@7AlMJRw
ztd7sY;rX%#PeD_Q+h5gaYH|B7*`pdKqZ^lQ5;4y6vIFDE+{66;pSp!;~wGuj&-K(of)Bsr`h^_
zD;v(6T|e-i!R{8**l1|5M$PVOTW@G?pWV2VJ-zpmH^*0xb+=8%Oe+R!s#~(TO&ivj
zQ|TGthN1%=fQ2z6{hH(EF)b2Bw0|hy{sT?R;_XVa)~?FD9W?nE?6Fq~E8SH>%SwXE
zACUDC3LcJAjr8a;BVmoo;F39?0k64S%z3#!C-rm|^%PMrud`RAi$u?hih9al&hPID
z&F@0{`;`*SkHFh$f6yE*6C+%vk3jp=M=0#Cc%%oE-lCD-;-~jfaKD?xNH^&t{gHiN
z2^aPJBk%c)e3`Uc^xR$O`G7)qHepMZpP;yXtnPJS=X%le`l6nBysA70iTF9?AQ6uf
z_`O{lNs%AcZaa=OoF$zebZJfWFVM-O3+Uv*e1DSG3gcg$Zzt)Z(0+Eloj8>^!>bsb
z;e?cCtFzuv5V3_mW-&BbEJ)JHp^0PE{>4*EJeMoTrP+P3@UhQ-l^TPY@s(RWEuN4sHMEe;fbTR3MpMB2y?M<4kiA}@2<4+%
zyDIZ`&QV^IehZp5uw%b1rs*%{M|cX>e9*L1iZlBLXeWx8*-q(e!e8esgSu^nfXUQ4
z#BS6Jt9^E1bE#;C?oBSfXhn%EmBPX+8TLV0XYzIu9sDzuW!yerPWJgaiqL7445gA`
z9d(yVjZ*2m_1=^Xw6w$!65rC<(vfV7HOHD86Ig0QRqY51aaQT3a;}t{!PsFaCd9Z9
zT0z<$@`51k#-N%op|+bkJGd~Mo*CNzo@k=kuQpDFd#$$a`YV3W)z;!uo5rIfPFr6X
zo}x&!;qB6r*KNJrErQBu*hpC*bzi)?mp_1d&;|avd}4@oe0{
z4R^Q{5C&pP3>)Pk3|=n>
zEV+*thc#GhsvQm_BQ6bZ_^%qfqsC{q*I<=hgg^EaB-{X0EJP^=tW`3WS(KyZU*J3h
zf@&onSOkgUVL^)IIOJ5SnT1I)LxLIwQX^oI?M*d|oH2Z6Z||8ynbT{VSzUi~Y$TqT
zYKDWuXoaHQ*_E6eID2&Ttbyiu6N~yASEkczTA1IAXmV)pM1Oppoc<{K9rPz7LM7i0
z&mR-*Ps(=s9{qdyzFMU;GSt47b*I%3_GL1{-=S3EBv(MPJy~`d(dyrmop#dx*^_0b
z6+e;BPHUA~qEXmn8+djaK)ak#Ht&SdZSYHh-95d?@H)7=>)l}AS6ZBwHZ5ll44)Jg
z1_4=MLgA3@mF~~hW@1qQ)?_RJZ0&$8$_4yaj1P
zibJ@CAWSK>_Wvc6FWVDc8%#C)U67Wq{6Nh|PJFN{`FFrOPvMX%H41-1_7+k8jrsOR
zG~K5e*5-%6k$uRzI`g=4@R|!8H0n?LUF8(
z)kZ@BOi|-?LdV98}S0;lUSJ=;N>s;LyJIl82+ygr^v#UBo1Mvuw-uurQ9y&DAKGzd&tBrfD
zKDDl?`iciGxnW?->6_NY=Q16qwGd~j27X=ueyV|=v~(m}9`Iua?ow!`6j{VQxE2E}
zV7NQAq#ZvZOid3XN4g!+Qhw(Z
zVGPlI4kz%{LHHv7fEj0_vx8!9i^GtvooHyCPJ}xvSClg2q`}r#&zvq}x}nnKu|J+{
zNu=A`+e$mnnbVMHa+*)v<8hXGV$o*#b53hX#bwqeXMMooI`Q$nv#Zb8xKd!0DE1G4
zh$^*8M~-_+Am8i0>?lYSjt+!j?}aoEh*&J#M<(QYwjE%iiUPiD!$~_rz!2g%7eneO
zxX}(zNNczyg5U&4G~%?9K+M!4k}XQQhU*}WfCb1`t_84Qe;CLUa8jr0>#ql04?LvN
zvuw!?>Ljd__LbcmiME?g{2@=%IOEOGjOomVSS7#RbRDZ1o`d3c;W;4t##_*hoN<&ySx+R_lTk4?Xs|eAOO2=Lk6?;^1m`H*g*#hY;Q94lY)j
z@4C2ad+%xcxU;>;yrtJ4|SxbOG+<0cjoNwa}Jcb*RD^;##wE4W_%30;H%JnWQX)bI1!Zq?0Ez&Cl~0P%^(c>X}31j*Ed<)JyR{;$YZf(YLRrX
z=OT{gDUMsYrme}V27{`%sV(;`M{uS*UhIQqmmT8R_bk9V-A@9GPiQtf!tU?LZo=Ei
zG6DNAx0}50WOfs+=kszMr=Q}HxZOk_2^s{A^r(Ev61&M;>?yLF=sn4!i=NNO*DSG{
zfF{XqvZ&|lpv}d06QW+yd}x1UH~9)*-J|kKOFkRAKdjli1$EQ?EZQGof7bfL
zN`$kkxAWaDb9x?KaC%@*(Z+d3lYGVau%~G4&n`Gsu%~G4PZ#0i0cBKcSK+(S@PT)#z%7BKXKxO^mA1lE0{Vgd!;#bU`mr&{7!}w_1>X{NTo9Yof1tW!u2^
z_RgKz!P)77=9bOy3A-$9J=vrsKGx9CQxfV?y8``Zjg1}X@7uO^?u>|kfQ>L2Aug@L
zHbGd0WkG}DQ<}b;fxh%@zBiroGE$Y0iBIuglz=J}S1_DHH1M*VSC6s5HJl03;z`q2
zxOX?hrZv{f#=v?JV6U@Y_VhyDn|nz+g`4N+*hA2G%+jdjoIf40(Gt6V{&bj0h@%eT
z6g)3~3K9MFu$8PoUhRc@i0)X*4S+l+nYQ!m70MP07EsO{&tHLc-gViR`sJo<
zsY(ua6sCdAf@v{96xOG?-FYy9$J|Z#L}+hH7D#3eoxD_yX4ru~y;<@;fDk
zR=V-2Rgs_6vSLMVx|V
zu>M#K%3jDLm>q)4_7dcX`St8*JQI-oB1c+vlp>-99HV%49@wHurl_NY<*~i`N~UOO
zmtT&>v1b-6Mz&}IX!nf`DL`oo8Pv405Q8uRjA$9u^N18+$CM$_4#>a44oMBTCE)3A
z5VqGT$gIUr>N4wYJo!PH@X^Ode1!csZ6Eh9+S$X%q6FNrU7lj?;hCidu$<*80`SCK
zN;}_u!NL0u^sse3xpR96w_=WOXmiN&pZ`>7B{@^ftoxNjZ=x=0m*o?`rQX0g)=Bp|
zwJ!CCh^GiL;;CF=4rL(!6!($BfS0a?C;Z=k-kt01weU{(o*}ArLAT0HK%($dnxFA$_%jg9tHNj-lSGFI%N?ffp9$DQjRV;s%K&iOL*u
zdlo=WkDk>;YXzK{?Ms&k0L69JkN@
zOXMtkOTbv}x$H?E0T}KB3{+h_;~-cd98He<*0l6bK``?VCdS#rs~b{V&k#accqjp(
z3_IgH;1a+VzO%>3{*-SgDOI#TscH0+;48Faz5T~pbsjMe-SndWBbvrN3CI=qe_k%Z
zJWLuzou^|M$1fevR=OB~$B-<_jFKLiR0|3gVZZ!%l-PY{Qlvlvn@l7&aZ#MikNE+G39
zgAE00SPT}1$DxH+;kGZz314LJw^~s{y3ShbaiL@7LW93%LO`yqt~R;T5A5jd+|l39
zf5!UN+1}n+wLfO*gOT8@eliuD)z{auI=yn&u9fN4Ewnzq4o*RPurBh7zsA=s+DQ@>
z?Ybl?+DR4=?RsPoweuJw-cGi%KY&n{i!q9UrXJ_g1dXsX#)!{AF-G~3-r^%IjWH5E
z!$mz$7GorOlC4b4dGZ(|-ZKx6r82eno^EEbe?7)X%)s(9=u-95h-MSd4>%niEu0;u
zT*aj|96=rlNNRqe(wZ-e>`vZ=G8PO7GFq+|&X?Cq>2?XbEy~YV-ZWHD@wJrjf|ie@
z+`DV@Q}q%mPS=_N9;$?Mopi
z+I8JTK$>i5qMb+QdCPkYHO7xu`@(~f(DnV{$S3Lok<}CX#}8#~V|7!bhi4A<
zx~JL06-_IXv&p`Ox%M^5+|O-Bg+JjG0)(D;tz*
z$a}D53oB%}3?@YdwW5&1Z8GVi9`HhvAzloirD?U~yTR0|_ktv^|GDUaP1$-?C6~3@
zuBKa?YhhXo)RV_ub%es93f#hm7?34&5D(YGT`Jwm1qYrBMnPUcDSyYMS!=4XtAE4B
zk-kuDAUpmN^E8I~RkeM*7wLelb9G8-Nv$)UNw<_I;%8rZ>G>@!TTdStpQ(#BcCygK
z!1&-xZkwlfqFo=j^kFjDBhqJ3{MvYi7yHdEJ=XXWLXY?
z1|Y&LV2TU6fHOKAj(SI31QdzfX>N++a)xFZjmBJsFfAOmzNxC|RQrbZ&P}Prq-XlX
z%y57Aggo5M9zH#l>exTK;$T-a^vfTgwr$2_47_BD(=M2%dal
zZnrz=4q#Q3(M_u&75QBkw#w{T5u=rDOf~S8jrMns$%8%6+N;Zc6K*OjZsn$pyLOy@
zI#hNUbSYaOV`kmW&7sVJldd)c9dc>sI&7pM
z{hdKOmq~vR?N72dIG4K!`U62kZ~w6j^#eO&3AtD}GL7IZ!0Y9D9{L
zf}4t>++g);ZLTmO;Rml@kmHaz$k|3Z0(?4DYaX6&%_Rlfm&2Ke1j)E^8lwt}Vd=}+@){lwx7n2EJ
zBCC`_1weOtHxl>Wb)@X62H~1J_m+Vmd46i1AgLUND&kB|MwsWGJGFN0$%wO}`^#VM
zerXYXA}75Y9{Bq~Z&6t8TXBPRNsZZfd#a($NUIt
zegxi5BS06qS&VQqM&R)6lXcIYEbG7M0WIr45e=$pTx9((7e_)xAM~1|%VQj}ElNBrM*98Z!;9idO5TMA
z)=%^=p@KED<%!}zlamufO@H#alhOof*8-!ucHIrWOXomu=T%2_OmlC7=>JHb0(LCu
z|9o+KzCY>Spcv2|e-3sXJUI+(2tg9($9oj4mwiaf3lS2~$`DC0~w$dVJ*2pEijm(-9!hFCS%G+@vaS^Y)%{B)E>fd`ZNVvAbe
zSlba;v7$a4AIP?L4UBGI-M%5!5a}LnJ}pz~@A5{nv7X89-gJ6=&$`?O_Jt!yldD@A
zCmr^kgB=^v*upp}BK@1Z8b%>RjHB*2jIQ>|a=guks`1HNLHQ(n6cpiz&1-WNN{+*O
zoxw5(Wz@eho5B9f!o!WSg8w!=H#;bo?0JuQ71b1CWw(92M2;ltQ-Ox$mNRV)AML%Q
zf|*Jyt2X!kQ@mnTw;RE*OzPLxqmoZcWvItF4YNI>j}cdZyp0l>p;iF0{J0MSD=R6{
zxn0nY_ysS;Fa%2x1;{I+chKS%Ef9+|iBK%DM7DdMxpv=3Ma!kWwXT0EL;34l`>OHd|4`R56_hujp@Q$RMu5(
zUTa;3EV`2{K@i8;CrafI$63{DHE;@6pxJ4dco-hWD+v?wu`9*>Fb=7!_(|OgG7ed!
zxLx;03?eeLqe{DGOWN&I$
zMLU-#ex!ZBqv*N9_s?rpG*0&Xqx5c={P?t9}dLyurs-duC1ktpNh$%a}sU3Nqha=cz_>|
zg(n8(By@cJE8gj%!(Y#76nG(9sKASE;SzWu3m3I7wQ!+k1lg^?e&gW5-veGsCDe?d
zszD4HHgFpOh&-VVKTD-jn}ezuAXFNq9ny{rZq)Bt(+9imoxFa!r4l}ui*oY_SoqkT
zXRafbZiW8zbBt+~;@LMvM4_n)9*J`d+24`G=FOn0e>|<#S32Z=1n!v2XFfT1(RtIi{L7l7
z7rpxPJMVnqH(&c2AmD~){+k%H8d4526S7V9buN1;9Pm_ES)S&@a<(q*z|cIL1bwSv
z6C%SZRA940RF;>fGaMg4h*RZ7{L^OkO;fe!JkNAGoA5Jc4SOR^u5ZqKsL$;(=AMu(
z29uQ{F&|E>8qR$y+Y?JNR#n;F#~#al`2Mk}_=%Ufsf}wxe61Y5-_zjxTh2X1JHc19
zKf&HEYA5)L_J_6DVbPyFnWFs>_WMGAz(Q|-9=Y#C?ThDqRO8N~ow%MD=NZ{l)StMM
zXn%UadgyeB_NOQl7P(Z;w;1usti^7+ChwVbKKbhB}IFw|YP>bS@
zLM@8_;IR9l2D{hzTKU}EiX+-}D~@O<7*V?{3*QCRG@_M?RxO$fJBWdQ-+=c2KS%{f
zRx>u-*_;{~R?NdD#Wm4bw*SCVsQ{X95O_I`$Q#ORjqwVD*JaB+Ofok$#1Ml)_C1O$
zZUlg|$l`K()dCq++%pwrbavR*61=7n+zaoS;4u@~1O*yfOcJs;PSJN$*4NzZ^){!P
zQ^~g07D}0oYJtd=RQYT9KxB_rf0Rq7l$olwLybi>QUpz~TIQ^C1>#4JjKyNp{bTW@
z7PGPsc~^+mH6_lSlt-A;n$1KJgvf5_L4QRthnt_rr;(J__a|)31o;
z4x--JWGpr}9O|;i93D5)osW#Mnkf;g?e%ol*hK8MeEW%g;P9}8+{W&d&w=eXC`Fhl
zTUA~L%@#R4MkfNkb%nS=0t_r>%TC;8-16U-*BU247?jLbLKTeqc}$Ip?YF$!6M#xT
zf6RbTT7#jVOVVw4DkF#iO}-*q8`dr49#
z5<=vZC+GqA2L@ZZI@0z)cSf!MC$^Qb{-(onvZ*Q2C6A8$SFo|OCnNh&N&HhtCMrO^lD~6i
z_slWcyq_nY8;mqE4u+~j
zEX`E*1H2qjlp2C%ah`oV_u+mf_sRn&erqtbCuK+DiEql3@!riPYI>gl)zI$AW@@T!
zcw;amTnere*`iJ!{i@ptTrNt?ch$Ol<<4>kkAF2I{*`;_H4hvG+oNW7RJCgkQ?`E3
z?yXyQ@7dCwEqSIY9qP`Sp9u`h=hJ%zsIYhcbr%h#n7u81;;+|S*3*#t{YGqCq90AD
zVqzj04@-g_n>(ZOZ@nRgDw*)w4HqgUBBvs4`_)nF=aO=DB)0CvjToT^BitvS4`~r`
zF%dVFnM4ctE%~&#EY0g7=P%4yYm66f%IJ|WX4(pX3)UFp9xXyEj5Gq=Q>$06ZtH1l
zoGLfL%K(EwNxJ^bp;f!uVZMEpL;u5FYgTXBob2z6ddi@xDh87=-ZQvkP3PV%6JrL`
z1TZiL415u5Oh_%jE-(-bAfzqC1k9k
zm|cFhIy3_q9Wqf5m<-h7#YqRUO>28on*uG2Rd+P>^v#Txx;G6a<3q`Y{%tcGQf>Fr
zYm}-$3#@BZf9kYk7S38nWxg)3a62!4CwUPoaOZ)CTDOCooqE
zI!$F;EATiuA!H&d`~fV`n=Fa0xTOy-tH4WNAg<$mCRDc=MBKqB(p_~$(l$1b`#r1c
zU9~Fr=Lc?2v(M*t_1^Xjt0%rn`oaS^4Po57jXZ)It7vSft1T-a8*YJ+d4k+kLP@RRdl9s`1OHRt4%3
zH>?~G=ikQYJ6h)7APBb#cB*iD>o>3qF*VZM75QLE8p
zv<+bcNc(Oq_u#>Nua1fwIBkAN2uzCjZ^imE9RCC3vt
z5XtQeXu2U$hx;qh)X-EHuZyWcB8PA^LOJe&9Lz;J7}xv7g=I%wBW=fN6LAOlHIo}!
z&)IW&FRm9?Q*dUS?YerG
z+tao#)4jDLcidZh&VkvXp7F=c;0}oXkc)1d|4VPM`2_BjEx2F0v)OL?x3t6y?os`o
zi^~40H*mCG0o{qLz&FUC0E#*?{}*KBT#XCOfxr^*;cD-ao3O2L6DFlur;~0%r_Wha
z?kKm5o6xe%O^Aw7{30~tbd5|+jEqc74u>1eS2|;ngy9Njh+X}j&D;0x-M;0_%}FY^K*Wjm`gw%jqE(!bEn;>Ux7lMz|>NlzyB@4BLz|rZm5lIg(AVIjUoyd
zlVIBrjS^b{sf>KZ{MN)$J>u5<%}(q4n@U-y>YvVCO`7aMJaHqt3Vyy4Xn%?ZDTN?~
zZx7A?p54kW#kUwM_ZRwBxj*+8?c2?m^P}v&__hqs8t7a3{&|B2i>MOq*cl;_Ny*
zJlmTXapIb@hdiN#TA!?qRXzPFQ*Cq)GE+FGW@BCbvyngu{M_9FS5j@&gPj{}x5Ea+
znKVx7#aR1$K_MO-DnHKZY1vhkAf@^$*&w@6B`C&gXyJB4GQM&YQX|qS6kgznbL=*)
zo+37ZtpoztOH-gR8irJi_XD39!0wC~b^{C!n7>O66oQ<`1f@F_atY?U_1b?XE)(cM}VAw^g^mZES!t@lGTh
zY4DgU+WJ9f9|n}q174Ql%)o#wCj@843OmUcnOJq3)zKDh?tRne
zLA@uJv%2b7eNCNORvz+sL%{Bbf!(86y%!Mzjo`y$+2JVoFz#VvW5NPKjI4}?Y3TcT
zi2^!g}&@lW_7z5=)K%&HSIf){cM7(w|L-b0>b?0vw5+=?0aDo1z$${>MI%fB~
z)u^Gqsil9Ybp&ZAp+L1OT=5T3f2#C;dg7^fR@S{;GD;Up@6n2ba)Kx~#?f=%+{4Z2daL
z$(rv$ryiO854Sk!_>eWL+Y#w)Em|{*No|-xL)wF=qAC6GDSDZ
z3H>I)*g96?(oD7@?s0LOI-3E_g
zW;4Kaz@X|DRJ3I@G$?6wtk{jY*XGv5>uc(}3@F7#8d{Tgb-HIT($!v8Q}H?IXskcm
zIW&{;)YdsmRG6bkLyNa$(}C_(yu?vvFcEHbS|SN8DecYLP^CyQ#DTJ=5@HQx!O@Hh
zLPf)FV27n}y@@<~;Ha(x|Dcz1Q^kj+-_x53)MR@kVk*(zOaOKPn>qKji>s}J`!5lP
zSftL8yw-`Ujvb1{N8_h=Be+#+6xypse7?>2djPPk<{Se16Q6nz5R{XJ2&0%QNnU9v#HC_+JA
zx>zh+I2Oqkdo?BSgf3e6iX@9$O}h4{a~==kT7$Sbug=;@uBbxoZxSmKT&xfqjGa`v
z7%fN_e5Vn;Ck`Q!e&v06c|=ro#z7M-CKQ5+t|inQkK!8E1d)>b#l`O`B-BB5Bps0i
z5q#j44F3jEgtCI|c%cmmBcTw45%$g!X$0079>}&>9ueHvB6Zy>6h#35;r
z{Mo=aO
z^3dA8&@dRS3Hn;9F?}SqA<!wfpQ>p8=
zE!sri%DTt@Ph{o!aIhMrGQR3BafrRiD>V>$5`V3gbPGGOD#=seSOGq?pOl
z#7a#jls$lt-2ms0?zxc4nb9mkF*93A&FkQD!6r&ArakZum2O4KxVdyiYpW#nq6AHA
zcNZ%EwWpJ9m^Gn>UEydYOofC#JE9Dsi~vFTi#enJtz%Gojg*5>ykO(qEm7H|)I{o<
zgHfx+q*T=VLp9BHbq(33zG`Ppa5AY7w)^u?X>XA2N=+SJM#thZ^V;n7(fU*>><*a?
zvFcc-hVwkQAfFzY{~y>hE`jWhpupTaLJ!Zqqsi{4_*Ro;WqKBHE6BDUdb2s18k}H&
z5L*?tOXrof#EgAK{1M-7$g@d>&4EiU^I~G+lA2+Sr^bmtV+
zPewliG=2#u76BSgs&}cMd@_i0-<4LvWHBHrT<*$Bx2tL?7S456RXUxOm5}7&!?+Z=
z9$vV^YO)?)e-!W6BXzZ0n!v&jyBRn_CWilcVresKi$avRw)4s_*L>Ex(*CKMFCNXD
zb!pQ_JBDWOzI(F2{no}iFlKf!pEfeMATG&$x0m%a$e;J0Kq5Yq?qPP;z^!+9hdCOU
zv;h)2&@;1nYjgYl=SbVyC5)E^~7
zYBCiHC5blgfp?;TeE}nBw2AWq9wbD6IvA+uy$o#@uTU;J9M6SSuQwd_R%6xPuv*R9
zLmqD^eLjit12nc;z`n$!6@}S?Nr^10MAQV;Mo!VnjF(!g28WsCS{W;zO1y
z+DP%=anx4ys-fzewN2eZzwx;&==G?yH+^UNZ@~5ISXHC^al9wZAw{wwT?RoV5YnkA
zL<@kmSS${UJz@`0{E>q=j7w3SMXUIh&ztt8Q~^_YjT&22=G-=?mHd<*
zao=?4B>=x4Xh;O3$YAV`&a?)DZ5`o(NVp%aAsIf8QuY)1JXp5<^acP5v52E?zful_
z;>zU7n$DT3Qj*2DmYCto^UPQ)U`ZBfXuR|reU{kOr+AEXzhnhp1O=F;t
zX?XLfq7s%zMU^}-nn8%y|D#CsjA}M#5IW8OWz6Xe{+U(&FNQ`|=|1S{b?r3la-OXm
zboRT>aSk{)n>M?48F#sFJjZpg^uBx8*P6fB@Tw`o)QGmXubu234F^-P#CP(G=c|7|R-XU_S|rqC3)Dj&
z!|HLzK!ZGrLk`gkWRI;V@&-C#J0MOetMI~x<}i$n%agqRLNYSKKt3Xm60#eF>61iV
zye!VBEmb|~X5@sv&ez{{J7kUf0PK`!6At92dqMAV(+pwvDYS;rTB2i@`$pW{kx(L)
z@W=s%wVGApiY$b(?QN*tF5kX(uC=YLdDS`qf%8+&#p|R*Hd@Ez37kp!YK*U6GPr>G
zC4&N5!~hJ7t{G(s-_=?9R1yCzV&}t)S@ANrAlFuUS$AJUoqPv*iq!dI?5X+JL3B|r
z7mHi4*!crW1owb@Rp=icI9OHo)m8odfS-PU%Cesb7B~5QxXIW4zq!fpTX2(OjthW|
zy#hy{<2V|nnVw*`vq7|$OSWt!-U&I(leS4f2w|VZ1-TYE8R8u
zmG1rH=R|8SUpvy#MZ4<6s&3a;WuaG4^IEUSjOPWmaBFG0;w(duJC$Nj|~)rFpaBN{R=N{lHcw-aTG%MGc_~KQLGcGu?$MFwW-?4GyXD^QqbUb+Q(04lc2K29{TeY@N?uAl
z$w_nIl$EldvFec#dTs*GeU(4wC0i2UE}p|zY=zA#BV3&#O(xixx!c&55i~pT#LxcL
znVjq~J`+xxzCu|>6x4#5b-DIkR*d=ear70-^1%Oo9PrT*sh@odLXHV`WXrv!W?;V!
zxFo@KZ)nRoqxW}j0=jMCtbqj5x)+_
zuedmNtCxP>)*t`ig^8OzcZy%w|4n#)1ApFh4{QW&jS(>^Yvr?Q^AV(qdm5;xHp@4P
z2gZu}A!*;vC2du5WUZ=A26{ovhy8VpGPu`Ld7G|2N+ZpSq2~U&a9MdpRj{TuzW+;g
zVIhsla)JYxa{&H^&aLyX2#g^i>JcVvWZQWy>T@l0yQku-hfc
zuG&NR9;eC4H6N72AU)T^<6Kk{#22<)6yG26Ma#=7t3owjFZ!Duq(%6>0}e}7Nx8Ga
z%NJGr8S7bt^?X@dPdFRY*E1p3Q;YJAi&q3W57w^5Fj>%Yyl54_F8W(Oddd|s={Qz2
z!dK+ZI*@KAO>+EzjsX*SS(v<-*suDc0uO~<3&jY2V(3>GGsVZmeWmGF*c;cd=)PKr
zUuakYztFJQ^@PMcQlVlMYirhQ1*(spN?j`}tpc$GRj#gC$}JU6YjvnOim?n*V*VTK
zNAl<3MF_)M)htbB9SwP_?EYgnujMhPuq_Cu${GtU#fBm1r05
z$-WnPsuYYB=8P3JH#?%y7(`Y0|6%$vhuV|)Y>T=*Hc(YKiEMWYQD7^(?CrHHI=Z(U
zWEX7c?%Ck(WA66AL$iI^Nfwe#X2oifyQBXPbMFDzMv?Xp@61|~EqBYZY|EBaE!mc2
z*|IJ7UgFqE9H-f-b{wZC4(W{~5JCxrK!Br$qxXPJ2oT6o1L5es9WB7o4miqD4v75!
zJ-d>ln1u5FzxVsTz<5`?GqW?#v}b-#nJlxXP^_+vyK?6xm&6u&6m>-z%$2J+^3&Dl
z0LhEnw)keHsEUF16KYlpB=+yn8#74O`)*-APH{7v^tu!n1wthnHYgFKWgjB}D3Htn
z@7sim2y6iCHZBp^!-`@uxmn4;sup_BP8;!Bwiz@)0;EfV7gU)2V|YLUr?SX82_-O+
z0;VTf{M+FO2vyg_aji8d5s}Y!N{oyvN@$)~+E<-W5TDze;$k{irb`+3S5J-`8!{FL
zohdr!sTb!wv4yL2>pSZg*7D`6RJkT6Gh`_O*Ru_iwQQW|9OGFWI`l~~+`4(t5-k;~
zg*xHX+Dv1nUQ~(IRh7l=9EZgWje4ajAvQWPLXfn|sin=>#G$Ea-+?WNN+n4hGmc7&
za3H$A){NI;#8x@#@gqS)UJyL_(2dAVPP8W{*`i=-E%%Hdg=8|JgOqr^L?<#S3U-qa
zvCvOIvTVDUG~8Qi8ns1P6DtiFNj7a0!-_tD|CVajD7#TXIQyB}>w5N!IL1
zOIb6fdvg4#@o}493wEQz94M1}l?`JR>KQ8>r%hk6vpV0a6f4_})fvpH30RcR&9uNk
z^{llYtJyyz#ej`%3wA3G-|*K#8!;Z6PP@=r+Z-1Y30PauK-(1^Bt0b=Vrp@8tO~P+
zUdtKrrI=SaJikkT8!iCcuz6EeG#WIrIYjU!4tZJzpph#?|Udit}@gS?OuIc*vzO-kBYo91V?3Y0TsP
zH1Hhg2a=JT9&RSV>H%XQpTMWm8_2Tm&T(WVh+sr~P!lGITZdr}?h3=6lvz}0K^4Y*
zwjGmz#4CXZq*W!TDXIO}qQ*QxBn9mq?Ngd+A#|Tnng=x?bJf%_IqikzdHGWp`0{;m
zs@6)L$crQ2(zllQI@FcW{)$#)s~bvqg6N2TIJ3DjyQNTB!48Q(v|pq{a$?EWovEXMpeU8eVaMeNYIXFCI2H|w
z1v%NFVFC}aIBJLSO~MR>+rmLf|RIfWRw^=
z548xEBCOP8Ut#oktX7Okug6?vuc
z(|pnc)5q1;jfH=#2^YZ*g9#?!BhT}d=%tftJL4stDp8Tm)PkKwt0PFY8Cu1(6CmdV
z#9Bj?8wAF&M?$4%#h|G&qiN@sBj8{dlTnkHlx>E#cv39DAu?WqQ9VIJq@$1C2@Z>-
z)j){IWJhHo=_1YKpKggOk9F_}U#vIf)Q-;LG<8&LwzFbt;twgG@n>~|anlrz0EGTJIBx+N}jV+JOu$OmE$tfg%4@vM6{~o^@v_7d;qrqg6kqpd)urbC|
z0v)4A@S2gtWSDy4Z9x*SVgZuIooZGjTsfFjm~{y2$IBbQGrSY_!Bjwn<(23Z&CA@)T4L?K}dP4gFfdO}y(
zv<0l9yP(WBHMLZ!PPLmW-8EYRyPL{OTYOa!RdtCsY+iCseWb^&^yQUBCYUXXBLRi!
z!m7z15M7wxp-d#haqPa+1!1TL`zS@6o+W3L`5{lqW~qMxuhkN3}5XM0uCwwlpgNt
zG1S%3PGaz6mqf3ItW~JRye6+*Q*2?M))bt*q|)cBx@2OLQmhGFGGW3O^Q=y1+fl0jiWhtNLFknHoOgCJWP{e$p>2U}f^soo>g9mdzrCcBYE#n=+=h
zR1vL8XDnJV8tWHLH{mhjM#KocjHTowUXlv}S~m;g88(fPqA(A~_D063xhgtRMKc$l
zfzE`{4nn}~dUUjmqh(4GOZsrha6%zY6&W{$lEYce@20NxNeN@|MIZuks@S-BIPv2T
zq{PZ+j*0H<7(J@GvZN^A?Q+7r(42{r+!EuXlVXxgiKYbbVFGnnpi?k;Qpt{2v>{h4
zG7t?9EI8>|+W*oT5%jv_^A(fd$dclcqx*D;-v=m&jWg7raC#4BVO27?BdFa0Yl?4f
z(3Q0{wVvPQ%u8UCvrFB1rVO(K2&PX}SPkv1%E%HGi%X2xB*!P{wW(<=HPe+-U^jU*
z29{_@&Q3Kr=-?k1Qk;deW|eW6GS~%Ofyem3q}oLba!Q`~r!~{=(P|2cHPO>N?idw3
z{=|4D#-?PY#@LuPF*YGCPN$By8cf+KX%3c_m>QE1t)cURpyoXVLPyfNQsN#W}h?IQ$$EJAu83TBcxa@zoYVzk|$Xl!|_03?(6KKllpO
z4D58!vpI*|QC4P}&MFr?Q91&VObD=UP*D-2enfMigv%0KyyMC%M-}4V6MeILdbXWh
zUtL?X=^xd*cUPBIGsEn$V`f#Cc?;;MDR?6k*s~}N&W_rfrUstGET}pWM5VzTf*gG?
zb|OLm>U?%bVeHs3k&OlCjop6cne#P)Uzj4Yy5uZ&IWII+R=L|^V7afU9$jU3*CX%H
zd|w3p+EEFZ#uG7#<}#JCD39apcg*f+S12f9GEoZ9m5d^9Tb$r$R6OJvDYD&LV6hgF
zL-Rx}Ier3TK`m13l~7fQr6Pt3JU)s|%?Z8(8-pNMCG#IDdv$(%eUU1Eyr<3Q)aK^o
z6h@x9GS;e$*0~G@Q=-kBUR0D=k?TozwiFmzo3pFRjK<;#E-wsi>dR8{%8H$B6_{Vt
zkr_p~n%LNE^wwi%Ya`V$9pu1L5ecR_Qn4u}J~|4PMRBnaP>P^wo6MGnr)@znX3^A*
z*WU5Y^99m`)rGq$+WvHa?h{9^T%z8ThHJ*ci2gaVi
zZ8WoM%W6tz&n~Sg)3VmU&%iuLigPBUI5yBxxmS4<$vlzn#hJ%QY>@t3pj~rdeFSx`
zy%G`{(s`hbpXKT5+FX5MR*mcW%Dmi4eSStRS(12%=CVCv6zUtMSJz+2MipL`Ebb&N
z5eEc{e`Alq;#j#iAqwLmNvQ(nEy-FSD3|a9t>vNlO13C)QPjg%-?3;z*}TTVtJ&_!
z;~m#HR?lmkSLOh(<6`OXb3!u7B@(aW66UifV09ENNM7(^_c;lJ9YY=?fY?R_bdcfE
z7W#OI5-pLLL@g2%2!@Ns`#Xb!HMib6|Ng35Z>_qYS~2vE-^Tf&>`6Gki(SsrtEwp7
zB;kB^JN$V>hbV8OBXzN25Zuj9-h8ri)2955n>?p(K7ZRO&aK-LwARUAReF9L6nE06ZxL71t
z!~NK?`YyD+Qxbt?iJIk$bbVryK3#J!oBwb|MpB|aJ&E0b)OQD^;BJ-x}&P6>dv%FsWluzKE@*U=*UOv$G&2ltyrOTuo*zxZpv>z
zIN0*8hhhR#fVX!!rYt3}72C8pC;gegWOgGW&&>a?=iQdUgS3AU5;3|Ug96VMxi2ax
zk&ts1F{4}9G$gn&n(DNu{)){ldpv=6u_BC287a#`P$HW)meUseN#b6Sc3NN#k{JbBkx{y3b{>?7G`~Z!U1KVqAFdAEg``|171tFWS6{bRSbgkeQ5^?UL
zpN?G|WH^7(FWCT+3`~ufWV>4_NvaEQqAhUTNJ7^nwF&4MU~@#uHW;;%Mh_QBhYNU6eL#T0N2!HLt;v1vOB%d#?gtI_0fp6LVb@FTkjM#
zO2lY_rxHmAflE^|7JQ#B0xt4V5}^HdShJFkO^lw({>q$oLv4DkyQ04$XN;jfEwCi(
ztNcn=o0E+;edVrlwY%6em2DMsD-8OIj0)WKS7hp|GXCp)$L?%*mN?&YAPNZDI+Vcf
z;y;3KQ|^tT^(w_K+q)z}2|%Zn2$G1EXCbUs9IlJaSs7W*oN-NG#a72w*6>yL#Z*O?
zwH-O9yBm2Wqj^4&&;{k*IGQ`;Q`x}MN&Xj!(1d1UIw_W6S%3GKvb$DPwQXFsWJ7Ds
z%DWqyri|k~XKtBsk*TS{apCMMueybIt2<|3DyFFbNBHy?QiB`X=KXAh!hsZmR?-X2JNQ4rer
zCt6C_Sqj$jZ7Uy8#76w`DgWjOKwQB(Gzl}!6&Urwb)0EU8WC$|u|_P$Y;no+ud#u^
z)JGrXS5yQp3tUt&o=sqr#~@`4d~ALODny1->WJY4{~$iUsC(0_L**Z-n8g=3!Y3S&
zxRzA-SpO0pnyiFgnDkmmq*9`wGF3`kW@4!)m^`o#ss-i7)Ysz}34!ajOxI&e2CO56C?fyR#q^CMjSO
z&xa2K^^xE}VqYg5YOBxys1-ShDGOEJ4U)(lps(`d
zr6W&+fA(ACfA`OStG4KOi--9P?mMY+DxAKC1IFoaZ|vA}-R`U`jfNcOxXaw7MTJ?e
zET`Q@#~DCakrWTB0Z=eDJ6>X0g6%0wsYN)nNg}ywa60@AA3IBn3R+Ykt}U#sEh=(2GBRlWu5GIw-P~AIQ&e4E>hL-W-A*~_^2cbqVhTTu8s>;i&s&FNx>opXX!YSXH;Ik)#*AIg4SY(6~C
zCfh
zvSodED!;>DhkL9`e(4(P&RXXf7;vm3o`<~%Zm|Y77HhHgKLO97;CG%NHiron*y-)(
zP0&3I@tl&0EJT5cZ?4R{KV?thLKS=PJj>@_nsx^2u~?!1FMw5!M@kVDfpx*hRCb$A
zgh)M(b>6FFc?s@{^nm|THa^*BNeH|X;}6_{bO}iJ20U8OmjDpcdO}Ju;F3)VY;^Do
z_pnjHuS#FCv$tWFEu~yRe+(`%YaS0-d*^#zI^(1
z*Ui|;E_I4x-~zV9`N2o~_Xl<%FSXEs`g|A6D;@|d<%K#~idFJvSL4G`F~HhXAAEq+
zFT9YmfB%awvhSYOKP6`#*h*Rdx?BmdkSZfDFY>YzD3<8;0W2ZLg*_Jkl>X_3?{NQ1-fT(W0`Z^w+0x^bOA`l|hoF=N+FM%WMi#&dorJcr&t4EkO8-J&3<`Ez
zm&l~d2PkLihaqZF|AjfDL@6o+GGQ+-AmV^5GEopaL=TFsqSz2%6niCls9&JZ+(s#$
zS}-zaY`f)_lxxafmMXa5gJ8u*$T+_r#HA@0!`E6Br*oT-MFjnn99X@=R{eVAI
zmZLFL#P^a{AIu<#1t+pn%(9zqx=D(SE8^!P+t>Li;FY2fKT_tCy&@dvVrsLizCC!*
zbnsxpjveQ+T2>c$Fz`^s^M7obv4A<{X2o!ATh_J9)LvRQZsz>SxrSvahH+C{*`E1lt!SUMaq`9qyXLRH%CTbhUu0#d+7!zQEzo*M~mr{7Chn;%MpRYDahs^%RpZP=%<
z0o3K>KzqlVgAEC)Y0tJ;&B@u2VPpG#bhigACO9Gi_ee8@%(Y9(JJ_bsq)obW@2?x(
zytLBWT~cW;FKeGWD_PxIRnY0F?Ddrw=57TdPOdf;!hHTWmEpd$qYLe_5)AN7UKu%@tSWB0?QXBN-Qmt@
z%Bfytn%rcoG~@q*+1lNid6~)xSDkm7lkI9Wn_M|YPkZ3urah@0j+`(+d4hCT?)H?*RFGM}b{38uTf=~m!
z4WADhH%if9CJwP5vMaF>lBvLE6$sDpS?VG6>S5vzt9#M@PA6eLFx?^GCy8{iW%A;=
z?!IY;B9*94Gokz@uKCulI2C1KXgg63|}+d>7DIANFvVJ653YX*!vIE;fux1fX;gs4g5chs4So7F`TEJ~A*
zYAW~HQytMxZM{{~w5q9THT}P^ZFFAw?6R`iLcXfMpuD3ju2)%k8`
zO{zB22*D^xc8^lT1&^moBuT*RJQksHLZsz_3Ze*KYfws7NG6nUnGXU1MpG#x=S4H9
z*(p>J5S>Z{BB$vL(;5*d-%SMa7PyP@i?X2?Vlsx2DCUom2zm&z;s|g}u(i-0u~@Vx
zB8|Guq4Ot!-~E7ZAXEu_F%)(sKAP0O
z=<|tmBm;h^>~`(^$!||xV;R+E%B@WBA(h7Afa*iV`R4~7du=gW^cs!Bb@1PJ2H%XX
zpchIdYPzUnAyYD0rhbGA$OO?G$RwQxF3Ag}zC%(t$*D!yWGrK+M;Wz$R9kJ;Rx&BB
zwi)wqdapAti!FzJF`m+kDw{9gWGpB!8YM~E8$%0N20sVA-y?%zU`m7($(dLhNeN?u
z%I1=_pX^L5WSyu(?cZp)ShW1|Hr4ECPAZ{I&Pz8eafB`)WJEa1DtL_QuVs>?(|mlf
zBR(TapK54;qI7@Y@<2U_>}a+uK7#{q`HRprgx(>9$#6deYQhyggvkVe!;+1h
zNhxGwim(Xez>Q|Ia9Oi1sN6>_{Kic;HQaE+#oSu?=%bZK-lCf7aPs*celxUla1Pc!
zQ)UwFkfCD_CvU{47AsZ7&{+)1Z&kDsCRxl{Eu=7YHnB0Hby8bfg{3sRZB+B9=Nvf&
zb#?JTsJlius&ql>3_60}!e{_GXh8>w5}?J)l`NU4
z5%|3FWtt_ZBfSW0JsMgRR{}k>AEf*;{3F*tr%&8rApsRdIq)@ZPH
zw{1yo$Q@lI45{h|>N=JbS1fJ4G$pIRn^;!Ob|hyN0y2ft0BrIufGkWYq)T&Fyb{X$
z5#Y4QfQ?LmX;#wMHD1iaI}0yOIit9jO@Wo~P#WzKJVOt#gWx-87Xlq&_;3OdU^J@r
zlIO5yB2=)MgW8NynBxf4({G9L4#KY-n;zr6>Tv65QQpXEc}hDaYsHh)b}K)$?^s0
zxdzIUJ_Hz4>PS;X1^I6koUNShV7Y-;H+H6VhW_X3K%)Z{2>r$j%9$hQXOT12TZ^2N
zVhA4!=4{s?Yn3-F@6)ONr(MA!13xY~6qXg`F3~6K8FEiS?(ZKjci_CHMCP-DzEYWG
zO&d1zw9`Od&ypp9A8!xKiL2jvhaCtkzWeULg~wC?QwQ4ZKahW_F!+YoWRoN_^=gUK
zY|5*rT=D9ugM;kKya4!>EAy~}P@=Apz~G+()>SSv39Z6JYz|-_*ga{?=uyqJ6<$xQ
zpd?I$CT}PdN@`AoOrha|(>ZhtwLz?krg{rlSc~T9>T4RtOtdOw0OxziMcO&Yq8P+a
z@wUVG2Fg=uX*99mYte0C2oQpJu>zp~s&vJy_ME^sNoSv(
zyk$=1Q)An4Qr4YQFHhgmH9zn`@%YJw7~O}k+p==fI3inVT6x2)#DlidP~rX7nbN}f
zUE~GgY@}F-6lVTdGe#kQ>>xdz1+T;x@f|=N?&AhoMq`j=G<$~bVufTIi1`DX5zHUR
z?+s^lOZ!~{4{YQ`Ly+F1E;^x5nw{*Dk%usaM7V600)~W`b!7i9N5yL)UMhUn4o4pY
zml+_GG#HY1XJ$%QUSvp4#;z$DXKHDscgQ{P8qXQ3#`&tz$M|zNfmb70ALeLR3Vatl
zv4`h`PUWFIZ(u(U72tHI;rarA)qU6Ro5+4X!*LPC_z*D$M#lI)d!mp1oPH4wUE_i6
zTs?FEXYkS75xI}%4QgTJLvu#pKw(!+2?AFeF33Ft0eKFvp`qP;&u`E1$bshgz{QTU
zQ_prFiTRv!%&?FRti+*G*Wl!-qbmfoqa)~G6k%m@XoX-jTUqRZD
z3MDy%7Y}XYOYngprO};2-VG#HpY$$696o)TVKxn%5#Yt8~J&zu0=MSMKPN^m)
z4aOEu(p4!)Cz1wSSbJIXL+!$Qi=epO4DVq8rr+!pyB1sjEPQ)HLGn&IeK$G
z@6*P@Pm?MmIV~C%2l2-2lw^k)b3|Yf`u$(%+%x{vV>EL-)lX&G!V}PYPDAgpOJ&N4
zjRAl1>*Cm;F(P*#4t|J`MR|jLlhkdBf}Mza(Q#6xE`+@A?tVlnKjbW+~rt4r$C
zd7(~?u82t;%|S~6tr)(C!~DgFx?@}dkTv$4#j0rwOLu1_Rt0!ho%l)F!Ug#>33Q%YwR0R&CnWJK2V+^`9YtN6mlEld9=$M3^G4O#q
z%~n{bPc=k4mAN?4_pz*8gEb*>QoeMuH+}!wq0Av4>IC*c*3ec-r6=Z^+Wre~RZY1*
z+nJU1fy!-jbeI!yvSx|_h&jyatve^*v1S)7htUZiFv@JMXESvCPPvGUaLoIN=!&n$7@stx)yC#QcPl0
zY?7LQ@8*9R^U9#Mz%ZygVMC-LF#!2j*fsWJ33swHSOIX^V{$!qX@&%C#L~_FErR#T7OL!SD%r40ls=DxQD`C2u;p}gE*J90DGEP!6U7A
zHhPLh4*H3(3zPi&k$SJJZyzhfCMPC`RycW#=;TeOmWegBPNp-PbnKC8m#fBYgX>HW
zzVIl%;E}$ND}8}>g(KHcbP91CvX;Dj(aNonceg&7J2?0-a
z0njANYHfYsEu?!J7D`ss;t!-_l+N1H!u|#fmkF<DxlEntV3aPv?F+XBM=U-LyUmHic8
z^qM;@yWqrZ5fe7T>A==wc8t=VPeKKc?)k_z!K-6ax@K9|rL5)3c?%8a>_Bf@#)}{c
z`5*7wlfqW$@O}Ha($@Spx9v=Lis!&P)SuY3hkxzUUvJu(a2fj9Ig9*HS4hCp$>Kv`bNAkRqA1Cs4EL}E(l@rlI;w75EHN=
z!Q?}mHr_)n258Fx7pqLz`l}bR?F@vN)?~7sp{_~01;{-J)hhI9l@?Z=+fhF;Atp03
zGuv<07uL1uV-j?39oqYPSfNe-zukw2w?jAw@YWyLhGU-X=hd*>LqRTKsvOfwVzJrZ&jP)Lg!kt^Xa)iZTReb$A401&UnF
z{p{X9&jW|kAiU>4`1>p{6aLEwSr1D5yBu&hufsjV_k(sD!)Yh2YyHDaFpcqT
z?4^+$Zm7?n_bUb$G`XKIV$1(LXBbYC@P6_2A7BholYagXyF+ySY0eM~MmT#U!3i=h
z!|pgCYbZwlnl;3}TEf6k1~Y#i9aF`h20pMAy^S&dR`j;x#CYliF=~Q&DEZ5Yo8=rf
z%Q>73ob5_*eeySy{EMMA^7}RN`&GaIe-yLv{#h6zQyI<@Hp($J$}!d;#$K_4VnkAm
zr-W1CiBT%$`Erbt5aSimN-@AvsQAmsV~!kSjvQkxV%&gUffz6!Q}Hh_5_iZkcE~ZX
z&k^k6DTwj0M2mk4w+jp97z>AEU?+6-aEuR;$96f!_Mh!cTGx=>UcZ%$*_qIr7z4LUNw`yxeSaJbc^$PL*}(G)W~PPz#C(Itf$)
z79;^)UO0z^=uLLI6_f<9IMTg4oRzB6=_=q>EIot8;Si8)tu`$+rxym$ia9AMaq-E?
z@kjOZSZd&WTe8-g>GBy(DJ(VJU`jP6r`e5ZY5PS*MBqMcT)b8r5BL7)&4QQ#YN_Cz
z1o}OY$QHv>xgeYon*weJZ-@WM+PYmp)=$PcYBvgdVH@$f@C6nD9rNILj!|qP>u0OM
zXFtZ1`BJ`~@8^%fGx29U9n4XrQ#OF>xvH*Unzc3#wb&j
zE@hRnQ#nt$QF)Q_YULi~e&u7zSCt~N-B@*ON~}579a|pT9J@RA=Gc9)U&a0s7a5lv
zmlIbOH#V*>Zf)H8al7O8#{E6+mAJ!k-^6#u&x~IfzdHVm_zU9y8t;#PIR4G}ZxbpL
zE=#x};m(9Z32!BQpZHkf&q=jOwwD)K~(te{2q^MI;Qp_onQhHOCq^wKXm2zduEh%@W9MWa#a&*PI
zI$fu3rf#8bgYF#N^}26#fmC&BR%(6fs?<|bccfmLdVT5(sXwHNY4K_LG<%vittPD_
ztv78++F#RdO}i)U(X{8%m!z*t-+uW!_M>lf%(=}*z`
z&|j**UO$*|O~&mRk7hiVxi<4OL!x1h;aCgJXH{4et(iF5v)Ec^9b@gbF12p8o@@Qe`ipIpZHn#Q
z?DMiO&%QBxZ}wx^FJ!-M*V*UTm)TFT@33ELf6)G<{Z;#6``7kg9Epxhhs#llgU~u0
z(;as>?spu@(dL+PI&)^`oSie6^GMFKIdA5s=2~<2iW(-+r8Ai-hH}zm-|Zh
zE$+MBkGNlRf1Y2Ne|i3m`Fr!9$bUQk8_zb+hXvk(^9y-lTw!`)c40|jec`Qz_Y^+r
z?esq6ecF52`$Z8ida~%%qW6owEc&TfUA(#YP>H_8S@LqpdnI3&9Pvf@R{FO1&hcI1
zyUBN#?;+pQzSn&p`u5b;b+{VJj^2Ykc(T$yrQyXVDE^J)hxW4h!#&?@yo0c_w*<8^4*Or`?u9hc8
zO&zsp)a$L@)+bxvX#J%1tI<`X*Nomg`i!=SHg{WH+uXLZ+a7QGyxrHnu>Jb>7skvO
zvw6%rW9!DYk6k);aO@*v50CwHoMxP1T=lrK#=X>`>L~5#?pW7xQOE5aPj!w#sZhX79`kX1+DcI&1W-4YMwu<)8J;tbg_t^=#^0HM?x~#@X9vUpxE3*{{$3
zPhV_bZeK&+tiCOMSN9$2`(ln}PU)O+bNc6OoU?1r;GB=<{LmlYpVxmu|Ic&B%spf7
z6LbGNFMeL`yykgh=dGD{)%>3MFU}7vIB#Lv!pj#vvPiusf6;ekd3~v3Y0=XDrKb!i2J!|P2gVIdA6PVS%fQP6{~Y*!S^P5hvN6jxEc@F@
z{3P>9y(cX`>9Ug!p7hgl%kskIGnVgOe&6zsS14CxuV`Lz%8DCS+_U0|6^B>+vQodY
zY2}uc53l_9s>)UKR_$7~d)0we&#Zc7wQ_aQ>M^SqtUi79#j77*{plLVnwB-&*4)14
z!8Nb1`C)C%+EdnUUwir5o7X-B7X;(GIX@A}5|lh)5&
zzh?cJ>n~j|^UFZ$1Yy)QtA3dkU-=ynq)%uydFhKauoxADmzyIF1||f);BN6z{G`=K
z`X}+)xT9+@B;fkL9pdo~3Lb=<-v}jmXFv$Q(tXAMVrW6$V-YL}))Rz6JRcdx<5_s9
z8Sy*(UHE+m;uQo#F0P?akNe*X$%qr8-^lVD@3$WD|Nju8P>xU=X5zl|cR~@~|Iy$>
zT&iQ%Z-nE~X5=#$(jPC3j5qRk8qy^mCr~?O{J}6XPx>9|BmbLMHNHck5`k#=TkS%$
zaUf8A!|C+DRX%E0%A2m!5NLd5|3+xVJDSsQg-)1s73SbNGK@aXvypK^ziGY-h48UC
z4$s3wQ}DMY?0KlHqwwr_p)u^a9ryol25LtNBfqJ{GwKTzXkJKCn1=
zPxEHkp9s{R%?MS&E8UL_)Yi4X6GC+uc^#Q_XTay#9X`kLsof
zhG<-=9KRK4E~NVIMYuJ1y&hK;!d=1e1g>ep`%oL6f!{A8P+WROeU0*<{8k}6i%^U}
zJi^vsAi6C_pn0tYf!55>J^iLYbf>mCKNzSlQaf}a+>Jorqad6h(DzFb=t}KI?N^6D
z?Vp68MWC|AA=nY9UWLKmRMuDonk&2r^q%5b5h%ZN5$HMf)9`tA5`I(JL(k|veIpd;
zIlZSq{e|jG-)Ti48W<7i+w`3ngj57dn}I;@>D!dH0)fgyV}!2so7z|xyi&gO%#1+y
zC%RI86sYbLXncj9QQ4_%3Ir-kJVF!#(VOZ?*9e3x1S)SW0@0VsLxE_#4&jYppml=E
zM^_qK^t~Cud-^8Tk;+N!%n?!$=o{2d)Mkee&PJGpum`7qZbWzu;RXcYS%K{c0|+Y-
zwjc~5oP=-&!u1G?5a{`xIN$OTTn{2p9tRNiAzX_Y(QKEu7?ozBT)SL
z!7Eg~1Gge9Mx4uV-Gp+{IJpyn%DExxO)&N&Rm465&nyCKLS0YYd^|CbqIx%alZ;-4Fb`E%1q@S4oDL(
zVPMmS>WSKc2}6%__c6GaAR%OEX`C|yTJY_>3y<35E1QWiLq-vTB8vVBf{}JI$cpai
zUqg3ilkgB|bVQWCA%4yZjRL!X-bv?QP!fpLrQHu*lY_WhGENPp9zdsMK;r{%Vxfs#
z2D%ggYum(jvR&*Fb~W>}{p|1TWB3`?a~Jn=A0NZJ`38Oozl9Whv*gy#1e6pA<7VM&>1ofCWFn8XUI4B3>Ah}!vw=L!ve#AVS{0tVW;5&!^MUx
z4gWPp8xxFLW4h5`G#j&x9;4S-ZfrCzGp;jkFm5)UWxU#Wo$*HF&Bi^(JB|B{_W>Ew
zm{Lq;lhu@Ma+@wSeP-rnr8&|ZZ%#66ain^>*Ksmp#|6wWsE(@-A{G{mh4sK*B=*VnH(xw6d>aMQn7C5?A32rhC~T
z_7VGx{ls&*=NL-t=MV75`RkBTD?y1wP{JZ+OOz-EB_a(mhGavA0VWQHT!Y(CVkkG%
z8`=$14Kodk4QmZs4CfklNtC$Cr~)ODjHyN#SV)v8G?qz}SSe9r3n+1|@di-hR^uQj
zvEO*$7)qRH`UsRzNR&vFD3LZyi8(<^*oGyiL4Ud_;UQ{CV*0LGf|%Y4JtzW${(1q0&};V
zGU5{{-bbOg5%0-&;VB|OiSU0B;iVV3mFICgpTtk&w{a&gCS+8ym~Uv#D%4tsZeaziyH~+(eI-_)wQRO<0XtbZ85%$5vkmZi
zd4_NeI|nD>oGV<*b_lnyzX*4*%i*c=GT}CMiLjqthn4tRoCbLfIM)Zjq24Dv$Zi#0
zV1E;yX7>uuvjf6w>`|=Je;3{nK4LElpRkvOkJ(FD*H;OTvpd00y5Pri37Y~AwLtg_
z+k%}r11c6FT*6Kjl7t_jS9S#4CoH3xO_%%=>I!^nZLlF;m?65ix%>*HanRHe3=9MnH{`WD)v0Zz{JYI
zOP6B5Q;$93WML`m5>8^%gw?DEd&gezZGGTDP7^L?+k}hQX5m7%Nw@*)|4mr82ib1$
zI9Fnia54CiOTp{^6}-od!U5<{yu=<9o@4ie=X(r%&LiM)4hrwGr-V=0D_GZmg00gp
zSi8Oj&+#2Re0?t@3O~SV8hZ@k3uyWM8-6jqf~@^(toC1me>H;_v|=BS2VOfJdx#A1
z#+kqx48WcA!gSUQpRA4W2EAO^&Q@Z-wLmz9EfP*;i?PpGB5Yv`g>%?y@ak)Yootil2~WcR?^Em^;R$w^aF{(KyvLpv-e=DWAL4wMHt-VT
zcsuXlmArzN^D5rVTX+-S$M4}ra2eD2WIlyYu?BD8oA?&KgwN-v@Kt;ze}q2_9_31YIlq+ug1joT-6`MIrkKb&(4eSMbMdXvd7bo+${OXHnb2^xCp
zU4G{D8++!u{M>1rWAs1N;g86kdZ&Y_8=Cr>{K}>-lV7xTcTVdvSxoxvT}FRL2OiaS
z>y7?Wx-0GOHV(?Md*}Eacoh6)^n2*Nhhjd|(Pczww)YzS>W;1+JTcNcHQklaT}h9=
z2d1EUKg;Xxw)lmPuKw;?AMKreFV(QK{x%{!tLC%}}
zb9x(H{x~NpU^Mz;8b(vSaAT?O_Q%q%PW+0+FPA?a*(69LF@gepD7HVYp~twr$LNm(
z(OmunXWPWC!H7AH-By2Wzh$k@8zyxP#>Y4KS#P~R
zK9Bk=dUE|>4E>44A3sY$ONh3Pu0iU^AXfc$v@d-&*JMGm&^>wsy{9A?3iP%cHEBWl
zTk!PQraD0bVsEIifW!@cq54k7nA96IPGL~sO%uEP@s@gHlRp}rPi;Ymt2g%G^ZOEE
z%n~Qm*Kh9`Oj73g&&t!AL8fHXO_S&HYn_9Pt|_21U3Jbuk*=xE!3eshIR_PVO@}2A
zUG>gE6J#s~z>Ds{{3;
ztJ7($l!lMX39=^k7#q;GJ=7O^arHZ?uezOnSDxR6QJ9Yb(1M+$sD(M^jt`}OX5}=
zt1YF2g-lD8D*^#f;^U_2!Kmmhb@_{(Ze69zU-ElV(S!RC-G??2Qfx-Iv4uuHXxX}b
zdyAz7Gffwk2+XXQ4oYy?O)^MYiYY3^pMYo)m^E!uG=Ee>UjKHt#b~VDj{M4wjbe1m
zdHExd2r-TR9-1_2$9L`JM$xF>%d^Gw?s}R?BQYoAyZExD8ABM&dhB?_>wR1l^{{Y@GE~LW(%XS+0sHE
zrPiwqy^|^vq_8lt%WbU0l1ruM@e`#KLgixZ;2kV{wvb^o+depzRV@RKV}|JjH3kt4@kTHxnoh-Atr7bTi4h7xP{n
z?k3}oNq1A6aAzUib>U8a)=lvk#hXg;q`PSpPr92<@ua&M^vwoDn@QiKn_2Wty6K^B
z(oHYLX~xZLibFSj6o+o+P#n7Hm&#R-ySY-i=x&}=F1nj9m5c5cNadotg;KfbZjn?j
zx?3!ji|&?y#^u8exK#S(uf~f3`L+hP%ZTU{&0mXOCt(@IEyYz3^tH&RLe6rXd`l75%eNF^1L9T==eJS%CFOUrd`r+gfrz^ig1>5
zFAh8oF{|}?{>Xm6Xzf@VTBcp-OV|uO(Fx8FP7MM0O52}hgMzC5t`={WDCE-ZJ>`+v
zkx7war2MN<=}~4VrC;j$191;UJrwZ}pyepMjjcZ*)Jp$JzeS;O(8|sn4+j6tu0e55
z<6t)Zx-W7IaJAYq`@rQQ3b}m0r!vwJnH(v`ema7D&#)h#9=zvZZI=h{aR#rjC3qi!b1V-8?-f9s
z-Vfd@@%)$IeH`}VW}!hC0Cu(xxhw!SGGAB;bgd95wFjEOM)(ey59x#vUPP7xWgEcX
z75KXtnA=JOqtJnL1HwYY>622{39E3Ok7vsf^Z2Pc5qlouQ7+5zEw}VFk5GZKbOX<8
z!rk#xy6`qU?eSw7N5qIhmigajmOt8Rm#7P{)O%`3{MaX{vLs5;3Q3;l1ku`k-#^ifb2!H
z7#7RofTqO*tw~^sED3l}A4`Ug_<3-PZ$mpC0g5+=r9h846?o{UKmya59%zdLGN(*t
z0E+blGcpr111Gcs&w3JmJMF+sa6%Z%WqHiWT!ewbCsD5OBXpq)SRsx#C<6La3|!O)
zoXH7XtqfRKIk2`0;U}Pb&jD$y2G&^1>L4wx7u>7?SWZ3=$Y$08`A#e38f~l{{mla$
zumH#^kU*fToj3$!B6@S7@H~*f7uaO@TIyomKwYN^^MJh003P@fo5gxqFPqK!fMfOp
z$D9Wwa{*fjbm)Ax7+ByEwv-JBet0JR0)G06*)nz#Jk70OE8$gTHBhECz>GcwX7n>#
z&o;1)>}1HBHUs7J0SP@7nCNM28*sW(;bkC=udp+LP@V<6ixA&)*ba6sBr@l*^C6$Q
zfL#a-_%G~YppIogLN8^P;V7sp&@U^6e*s6kALsJ`j|ED64e-b+;F2G)>)8!LBe2dJ
z*-gNXZ(+Bx+kkrR0rq+aP}o7BkBfm^Eo67Gee7=FR!f0cE`cOyKeQI^L!SwtlMJx?
z*#V%LEkLOsz#94>dkB6QmH~%;1i0pMc91`3m4}klUUfy@?d-enSk^Ptb#C{gm
zVzjMezd+`Bgaz0TIyHk)FRbQp8m>ZE&tZ7YBPCQkn#b^19>?S1u{Mz>!7@lAoD5uC
z%Tus}p8)J|qA-c;cq&ih>5vL$Knh^sS;Aysb|#?sX5klZfvmvBv$-8O`4mV8av(9w
zgUrAM>1P+L&+>&W+#{R<&-~o0<1U{NP0Rv
zV`V@pFac75NfNHu1%z=b(8cKzvN((P0B4*HoN*5ChumNuFvJCXAzuUu#}e2Z3_!AR
z5@Z`IfGVzn{9p~_4C`QpumSV;e}K1s&o}aufj({q{&))H3R{81)(DRZXF!4wFOWRs
zT6hIf0+Tfh*Fe6YhJ|U8P|vsV)A#QEx(Rm&u_qb^lzZS_hN0>DVQLuxk$KBxInlObNzL~E`FnM1;2^k
zEL;W&$Mvuzyaa39dLb|e#-wm|(URYz?$M1(k_-{aAALI`K
zcYQ?I&mZLn`D2ib9^y{`JAYC_)1Tqb3KrneXTk>NY}m=11IwaW!Y9J1K-C`s%Km~-
zC*kcc^H=z*{5AeMe}lit|H0qlZ}WHfyZk+Vn7_|I;2-jT@{jn({1g5u|BU~Of6l)E
zn*VR0`dC}6|+rk@S0wlXhqDD-{@jEG^PD~Zk#B|7dGsH~M
zAZCe1(IlE7`L&9+h_RE}+m&^*m-nykSFKvQprEO)Nxs&X1h1apwJ>-slCO24YeVpN
zFn(QW@OK?uJ%yfN`nu3n$_LL2Rdq{x`<4$ZRn-m58(7-ENL{yl!P0rXeXCaXtLmEM
zt5hUUDS)2^%llR>nY*}ut-4{(z{=jfzW${vm5qJ9$N-n+1HCKd?|Ope@iZx$q-rUf
zq)77Hg5cZwU@aShrEUn8t|3^<2B~%^Ws$mR_;Yd=^}!0(hbma2Y6@0FDs4e9%Yq_R
zlU%W2I_cA%g8EWri&UcMmZO!5Y3UnSvZPn8mbzucCks6hqh|Lmm-8vCiyn0}Venaz
zvURu(QR-k33q!S(idxXrAU((XI#p}1$gOe_m8~lmES}RJJ^E