From 3b97e73b0ee1b4b0de6a3edb4cdd479dec3b7570 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Wed, 30 Nov 2022 13:33:16 -0500
Subject: [PATCH 01/12] In this pull request, the Signature class becomes
 immutable. The reason being is because signature type lookups have become a
 big bottleneck for libraries that have a lot of type signatures. We can
 uniquely identify these signatures by calculating their string representation
 using signature.toString(). This causes a lot of not so very straightforward
 problems within the compiler, the program, and the resolver.  For instance,
 the compiler now has to call the `newStub` function with the maximum
 arguments, and when resolving a type in the resolver, we are not allowed to
 simply modify the return type of signatures, and instead we create a new one
 to obtain the proper function type id at instantiation time.

Changes involved:
- compiler tests fixtures updated
- Signatures are now immutable
- Some changes involving signatureReference equality have changed
---
 src/compiler.ts                     |  7 +--
 src/program.ts                      |  6 +-
 src/resolver.ts                     | 16 ++++--
 src/types.ts                        | 85 +++++++++++++++++++----------
 tests/compiler/builtins.debug.wat   |  8 +--
 tests/compiler/builtins.release.wat |  6 +-
 6 files changed, 78 insertions(+), 50 deletions(-)

diff --git a/src/compiler.ts b/src/compiler.ts
index 0ee4365ecb..dba51c522a 100644
--- a/src/compiler.ts
+++ b/src/compiler.ts
@@ -6430,8 +6430,8 @@ export class Compiler extends DiagnosticEmitter {
     assert(operandIndex == minOperands);
 
     // create the varargs stub
-    stub = original.newStub("varargs");
-    stub.signature.requiredParameters = maxArguments;
+    stub = original.newStub("varargs", maxArguments);
+
     original.varargsStub = stub;
 
     // compile initializers of omitted arguments in the scope of the stub,
@@ -7102,8 +7102,7 @@ export class Compiler extends DiagnosticEmitter {
         }
       }
 
-      let signature = new Signature(this.program, parameterTypes, returnType, thisType);
-      signature.requiredParameters = numParameters; // !
+      let signature = new Signature(this.program, parameterTypes, returnType, thisType, numParameters);
       instance = new Function(
         prototype.name,
         prototype,
diff --git a/src/program.ts b/src/program.ts
index 63360df1be..8d7948c833 100644
--- a/src/program.ts
+++ b/src/program.ts
@@ -472,7 +472,7 @@ export class Program extends DiagnosticEmitter {
   /** Managed classes contained in the program, by id. */
   managedClasses: Map<i32,Class> = new Map();
   /** A set of unique function signatures contained in the program, by id. */
-  uniqueSignatures: Signature[] = new Array<Signature>(0);
+  uniqueSignatures: Map<string, Signature> = new Map<string, Signature>();
   /** Module exports. */
   moduleExports: Map<string,Element> = new Map();
   /** Module imports. */
@@ -3826,12 +3826,12 @@ export class Function extends TypedElement {
   }
 
   /** Creates a stub for use with this function, i.e. for varargs or override calls. */
-  newStub(postfix: string): Function {
+  newStub(postfix: string, requiredParameters: i32 = this.signature.requiredParameters): Function {
     let stub = new Function(
       this.original.name + STUB_DELIMITER + postfix,
       this.prototype,
       this.typeArguments,
-      this.signature.clone(),
+      this.signature.clone(requiredParameters),
       this.contextualTypeArguments
     );
     stub.original = this.original;
diff --git a/src/resolver.ts b/src/resolver.ts
index f9baff992d..dc57e3110e 100644
--- a/src/resolver.ts
+++ b/src/resolver.ts
@@ -422,9 +422,7 @@ export class Resolver extends DiagnosticEmitter {
       );
       if (!returnType) return null;
     }
-    let signature = new Signature(this.program, parameterTypes, returnType, thisType);
-    signature.requiredParameters = requiredParameters;
-    signature.hasRest = hasRest;
+    let signature = new Signature(this.program, parameterTypes, returnType, thisType, requiredParameters, hasRest);
     return node.isNullable ? signature.type.asNullable() : signature.type;
   }
 
@@ -2706,7 +2704,14 @@ export class Resolver extends DiagnosticEmitter {
       }
       const type = this.resolveExpression(expr, tempFlow, ctxType, reportMode);
       if (type) {
-        signatureReference.returnType = type;
+        functionType.signatureReference = new Signature(
+          this.program,
+          signatureReference.parameterTypes,
+          type,
+          signatureReference.thisType,
+          signatureReference.requiredParameters,
+          signatureReference.hasRest,
+        );
       }
     }
     return functionType;
@@ -2853,8 +2858,7 @@ export class Resolver extends DiagnosticEmitter {
       returnType = type;
     }
 
-    let signature = new Signature(this.program, parameterTypes, returnType, thisType);
-    signature.requiredParameters = requiredParameters;
+    let signature = new Signature(this.program, parameterTypes, returnType, thisType, requiredParameters);
 
     let nameInclTypeParameters = prototype.name;
     if (instanceKey.length) nameInclTypeParameters += `<${instanceKey}>`;
diff --git a/src/types.ts b/src/types.ts
index a0074edc70..ee972e41f6 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -421,13 +421,20 @@ export class Type {
 
   /** Tests if this type equals the specified. */
   equals(other: Type): bool {
-    if (this.kind != other.kind) return false;
+    if (this.kind != other.kind) {
+      return false;
+    }
     if (this.isReference) {
-      return (
-        this.classReference == other.classReference &&
-        this.signatureReference == other.signatureReference &&
-        this.isNullableReference == other.isNullableReference
-      );
+      if (this.classReference != other.classReference) return false;
+      let selfSignatureReference = this.signatureReference;
+      let otherSignatureReference = other.signatureReference;
+      if (selfSignatureReference && otherSignatureReference) {
+        if (!selfSignatureReference.equals(otherSignatureReference)) return false;
+      } else {
+        if (selfSignatureReference != otherSignatureReference) return false;
+      }
+
+      return this.isNullableReference == other.isNullableReference;
     }
     return true;
   }
@@ -886,14 +893,10 @@ export class Signature {
   id: u32 = 0;
   /** Parameter types, if any, excluding `this`. */
   parameterTypes: Type[];
-  /** Number of required parameters excluding `this`. Other parameters are considered optional. */
-  requiredParameters: i32;
   /** Return type. */
   returnType: Type;
   /** This type, if an instance signature. */
   thisType: Type | null;
-  /** Whether the last parameter is a rest parameter. */
-  hasRest: bool;
   /** Respective function type. */
   type: Type;
   /** The program that created this signature. */
@@ -904,14 +907,16 @@ export class Signature {
     program: Program,
     parameterTypes: Type[] | null = null,
     returnType: Type | null = null,
-    thisType: Type | null = null
+    thisType: Type | null = null,
+    /** Number of required parameters excluding `this`. Other parameters are considered optional. */
+    public readonly requiredParameters: i32 = parameterTypes ? parameterTypes.length : 0,
+    /** Whether the last parameter is a rest parameter. */
+    public readonly hasRest: bool = false,
   ) {
     this.parameterTypes = parameterTypes ? parameterTypes : [];
-    this.requiredParameters = 0;
     this.returnType = returnType ? returnType : Type.void;
     this.thisType = thisType;
     this.program = program;
-    this.hasRest = false;
     let usizeType = program.options.usizeType;
     let type = new Type(
       usizeType.kind,
@@ -922,16 +927,20 @@ export class Signature {
     type.signatureReference = this;
 
     let signatureTypes = program.uniqueSignatures;
-    let length = signatureTypes.length;
-    for (let i = 0; i < length; i++) {
-      let compare = unchecked(signatureTypes[i]);
-      if (this.equals(compare)) {
-        this.id = compare.id;
-        return this;
+    let compareString = this.toString();
+    if (signatureTypes.has(compareString)) {
+      let existing = signatureTypes.get(compareString)!;
+      if (!this.equals(existing)) {
+        trace(compareString);
+        trace(existing.toString());
       }
+      assert(this.equals(existing), "Types don't match");
+      this.id = existing.id;
+      return this;
     }
+
     this.id = program.nextSignatureId++;
-    signatureTypes.push(this);
+    signatureTypes.set(compareString, this);
   }
 
   get paramRefs(): TypeRef {
@@ -965,25 +974,38 @@ export class Signature {
     if (thisThisType) {
       if (!otherThisType || !thisThisType.equals(otherThisType)) return false;
     } else if (otherThisType) {
+      trace("failed on thisThisType");
       return false;
     }
 
     // check rest parameter
-    if (this.hasRest != other.hasRest) return false;
+    if (this.hasRest != other.hasRest) {
+      trace("failed on hasRest");
+      return false;
+    }
 
     // check return type
-    if (!this.returnType.equals(other.returnType)) return false;
+    if (!this.returnType.equals(other.returnType)) {
+      trace("failed on returnType");
+      return false;
+    }
 
     // check parameter types
-    let thisParameterTypes = this.parameterTypes;
+    let selfParameterTypes = this.parameterTypes;
     let otherParameterTypes = other.parameterTypes;
-    let numParameters = thisParameterTypes.length;
-    if (numParameters != otherParameterTypes.length) return false;
+    let numParameters = selfParameterTypes.length;
+    if (numParameters != otherParameterTypes.length) {
+      trace("failed on numParameters");
+      return false;
+    }
 
     for (let i = 0; i < numParameters; ++i) {
-      let thisParameterType = unchecked(thisParameterTypes[i]);
+      let selfParameterType = unchecked(selfParameterTypes[i]);
       let otherParameterType = unchecked(otherParameterTypes[i]);
-      if (!thisParameterType.equals(otherParameterType)) return false;
+      if (!selfParameterType.equals(otherParameterType)) {
+        trace("failed on selfParameterType");
+        return false;
+      }
     }
     return true;
   }
@@ -1105,7 +1127,8 @@ export class Signature {
     let thisType = this.thisType;
     if (thisType) {
       sb.push(validWat ? "this:" : "this: ");
-      assert(!thisType.signatureReference);
+      // sometimes "this" can be a function type
+      // assert(!thisType.signatureReference);
       sb.push(thisType.toString(validWat));
       index = 1;
     }
@@ -1127,7 +1150,7 @@ export class Signature {
   }
 
   /** Creates a clone of this signature that is safe to modify. */
-  clone(): Signature {
+  clone(requieredParameters: i32 = this.requiredParameters, hasRest: bool = this.hasRest): Signature {
     let parameterTypes = this.parameterTypes;
     let numParameterTypes = parameterTypes.length;
     let cloneParameterTypes = new Array<Type>(numParameterTypes);
@@ -1138,7 +1161,9 @@ export class Signature {
       this.program,
       cloneParameterTypes,
       this.returnType,
-      this.thisType
+      this.thisType,
+      requieredParameters,
+      hasRest
     );
   }
 }
diff --git a/tests/compiler/builtins.debug.wat b/tests/compiler/builtins.debug.wat
index 9986eafa4e..22e152bde3 100644
--- a/tests/compiler/builtins.debug.wat
+++ b/tests/compiler/builtins.debug.wat
@@ -3213,11 +3213,11 @@
   local.set $48
   i32.const 0
   local.set $49
-  i32.const 46
+  i32.const 51
   local.set $50
-  i32.const 47
+  i32.const 52
   local.set $51
-  i32.const 47
+  i32.const 52
   local.set $52
   i32.const 256
   local.set $63
@@ -3262,7 +3262,7 @@
    unreachable
   end
   local.get $50
-  i32.const 46
+  i32.const 51
   i32.eq
   i32.eqz
   if
diff --git a/tests/compiler/builtins.release.wat b/tests/compiler/builtins.release.wat
index de997e4994..7ef85acda2 100644
--- a/tests/compiler/builtins.release.wat
+++ b/tests/compiler/builtins.release.wat
@@ -735,9 +735,9 @@
   i32.const 5
   f64.const 0
   f64.const 0
-  f64.const 46
-  f64.const 47
-  f64.const 47
+  f64.const 51
+  f64.const 52
+  f64.const 52
   call $~lib/builtins/trace
   global.get $~lib/memory/__stack_pointer
   local.tee $0

From 10506ac96bd91fba148d903353397fafc9710901 Mon Sep 17 00:00:00 2001
From: jtenner <tenner.joshua@gmail.com>
Date: Thu, 1 Dec 2022 07:10:19 -0500
Subject: [PATCH 02/12] Update src/types.ts

Remove comments

Co-authored-by: dcode <dcode@dcode.io>
---
 src/types.ts | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/types.ts b/src/types.ts
index ee972e41f6..1ce70cbacc 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -1127,8 +1127,6 @@ export class Signature {
     let thisType = this.thisType;
     if (thisType) {
       sb.push(validWat ? "this:" : "this: ");
-      // sometimes "this" can be a function type
-      // assert(!thisType.signatureReference);
       sb.push(thisType.toString(validWat));
       index = 1;
     }

From 0ce4b53cd2c04027da87861db313a32711af985e Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Thu, 1 Dec 2022 12:37:16 -0500
Subject: [PATCH 03/12] nits

---
 package-lock.json | 1 +
 src/types.ts      | 8 ++------
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index 59edf5a86b..5a5574e1f4 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -5,6 +5,7 @@
   "requires": true,
   "packages": {
     "": {
+      "name": "assemblyscript",
       "version": "0.0.0",
       "license": "Apache-2.0",
       "dependencies": {
diff --git a/src/types.ts b/src/types.ts
index 1ce70cbacc..feafe76d1a 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -929,12 +929,8 @@ export class Signature {
     let signatureTypes = program.uniqueSignatures;
     let compareString = this.toString();
     if (signatureTypes.has(compareString)) {
-      let existing = signatureTypes.get(compareString)!;
-      if (!this.equals(existing)) {
-        trace(compareString);
-        trace(existing.toString());
-      }
-      assert(this.equals(existing), "Types don't match");
+      let existing = assert(signatureTypes.get(compareString));
+      assert(this.equals(existing));
       this.id = existing.id;
       return this;
     }

From 19b9fd66d15747f5bb2218d8c2d01a43f22e2b12 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Thu, 1 Dec 2022 12:37:51 -0500
Subject: [PATCH 04/12] type

---
 src/types.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/types.ts b/src/types.ts
index feafe76d1a..b45701e3bd 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -1144,7 +1144,7 @@ export class Signature {
   }
 
   /** Creates a clone of this signature that is safe to modify. */
-  clone(requieredParameters: i32 = this.requiredParameters, hasRest: bool = this.hasRest): Signature {
+  clone(requiredParameters: i32 = this.requiredParameters, hasRest: bool = this.hasRest): Signature {
     let parameterTypes = this.parameterTypes;
     let numParameterTypes = parameterTypes.length;
     let cloneParameterTypes = new Array<Type>(numParameterTypes);
@@ -1156,7 +1156,7 @@ export class Signature {
       cloneParameterTypes,
       this.returnType,
       this.thisType,
-      requieredParameters,
+      requiredParameters,
       hasRest
     );
   }

From 671e17a0bab642dfeae2e3f5b44b870111c77481 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Thu, 1 Dec 2022 15:24:38 -0500
Subject: [PATCH 05/12] rename refactor

---
 output.txt      | Bin 0 -> 3346 bytes
 src/compiler.ts |   2 +-
 src/program.ts  |   2 +-
 src/types.ts    |  64 +++++++++++++++++-------------------------------
 4 files changed, 25 insertions(+), 43 deletions(-)
 create mode 100644 output.txt

diff --git a/output.txt b/output.txt
new file mode 100644
index 0000000000000000000000000000000000000000..9d2c6c60be4ebfad71da87bef586dbc2adaf6ba4
GIT binary patch
literal 3346
zcmd6p+fEZv6oyygor&*Iuf!;AXsLyoXb5270#9Iwv0juOpg<4K3<5X4gzxDKn5f^s
zhUsijMva1IGBf+Q_P_ph*z4<;kxgu9C2R5~7FpXm*7IJU_P`G5b(tI6h;K~q(E9eA
zIjtSiPk1BSvQs4W?3UfMCB{mu8?Z;R=IC{7&-bWT_f_{8%}$T($mQ?w*O^^=IGvOH
z*d<o&5qrk0NjOX2GVckmPL;f(=Y#$FBYBxD$z2A!aO`q=gr@7D>(kEGgnu#ll)1z<
zoskY2^?Ajk=4P1rbDo<>mmG1tYj=_R#@^a}{x3Oc=;!xr6?SCL32O(8jhv|rtu%WA
zkB2;`_JUU1t(Ku(MSjGt2z})Psb*qgVDFK-%-oQtjodD0Wvf&6^ws<E#%KG)?rl6^
z%rn87!kN(T@n51ZzZ%+(<JbhT^b%(Ijn0_RmnTMy$d6*55sR@)5xOq;Gd?cv6ZTn{
z5AlTUHJ2?k1DBm)liw*K4w%WUCJf?TJc#`gYlJo1H37%iwUJiRRgn=na%rzq61(HA
zBfdTSLsocvDZY%O$j_7=bGBs_@gO<*d<mI({D!(_)=x3NCWgY@^3P@1YT2tZi7{>Y
z{)neXdxdWdBZ=FxMJ|xG`;2xNYfYtP_KX92w%D0qsTPdLuf(pbF1g~eOX~zg`>a!@
zShNNI&*9;h>#)JDtH&LohnPt7T<p0=C>N~?(xx>EF|MFp8I8r=7>yM_ioKDumd56F
z>2MxJG}WXE+Yek9X;j4cHky<{9>(SdJ;k7`sl1a}_`0+@k0#e@0Sh&-&pg`wEu9p@
zR~;v*zg@0X<19Aje_N}6jlJ%Xt@tj+9(q*S*0_bP3wfT4X6@KB+He{rHR_it{#4^z
z<WJAYY*|(;lTB4WU9Hb_h`qrNGid{?^NzVVu5}ZfdQK`4;mS^1p0RYh&3F}~=x$oY
zAKep`;GU?E9kY9)a^aq+T(~DHh4(}%Nq0re3E#&+em~T}P{kHSmI$>{ZSz0rP{*5e
z$JL02@P-T9>o8x!E~<Rf8eI3?u~$CI<$2|y3Lvf6(n?0PN1qj{+SStPbiHa<RSddw
zOUPA5YxAnERy`>D_v{_LwE8YHlHwSFBcZAZ5l);_@hs`$S00l}J>ZNnXjP}|F|OKO
t_ojSk*DIktR_;vilS*Ml_%pvz{T8304iSd!Ew98zUe%?n-ga%Y<{N0~T}A)^

literal 0
HcmV?d00001

diff --git a/src/compiler.ts b/src/compiler.ts
index dba51c522a..f21b4325ad 100644
--- a/src/compiler.ts
+++ b/src/compiler.ts
@@ -8668,7 +8668,7 @@ export class Compiler extends DiagnosticEmitter {
             )
           ),
           null,
-          new Signature(this.program, null, classInstance.type, classInstance.type),
+          new Signature(this.program, [], classInstance.type, classInstance.type),
           contextualTypeArguments
         );
       }
diff --git a/src/program.ts b/src/program.ts
index 8d7948c833..7ab84021a4 100644
--- a/src/program.ts
+++ b/src/program.ts
@@ -3217,7 +3217,7 @@ export class File extends Element {
     program.filesByName.set(this.internalName, this);
     let startFunction = this.program.makeNativeFunction(
       `start:${this.internalName}`,
-      new Signature(program, null, Type.void),
+      new Signature(program, [], Type.void),
       this
     );
     startFunction.internalName = startFunction.name;
diff --git a/src/types.ts b/src/types.ts
index b45701e3bd..3a45931cbd 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -425,16 +425,18 @@ export class Type {
       return false;
     }
     if (this.isReference) {
-      if (this.classReference != other.classReference) return false;
       let selfSignatureReference = this.signatureReference;
       let otherSignatureReference = other.signatureReference;
-      if (selfSignatureReference && otherSignatureReference) {
-        if (!selfSignatureReference.equals(otherSignatureReference)) return false;
-      } else {
-        if (selfSignatureReference != otherSignatureReference) return false;
-      }
 
-      return this.isNullableReference == other.isNullableReference;
+      return (
+        this.classReference == other.classReference
+        && (
+          selfSignatureReference && otherSignatureReference
+            ? selfSignatureReference.equals(otherSignatureReference)
+            : selfSignatureReference == otherSignatureReference
+        )
+        && this.isNullableReference == other.isNullableReference
+      );
     }
     return true;
   }
@@ -890,33 +892,26 @@ export function typesToString(types: Type[]): string {
 /** Represents a fully resolved function signature. */
 export class Signature {
   /** Unique id representing this signature. */
-  id: u32 = 0;
-  /** Parameter types, if any, excluding `this`. */
-  parameterTypes: Type[];
-  /** Return type. */
-  returnType: Type;
-  /** This type, if an instance signature. */
-  thisType: Type | null;
+  public readonly id: u32 = 0;
   /** Respective function type. */
-  type: Type;
-  /** The program that created this signature. */
-  program: Program;
+  public readonly type: Type;
 
   /** Constructs a new signature. */
   constructor(
-    program: Program,
-    parameterTypes: Type[] | null = null,
-    returnType: Type | null = null,
-    thisType: Type | null = null,
+    /** The program that created this signature. */
+    public readonly program: Program,
+    /** Parameter types, if any, excluding `this`. */
+    public readonly parameterTypes: Type[] = [],
+    /** Return type. */
+    public readonly returnType: Type = Type.void,
+    /** This type, if an instance signature. */
+    public readonly thisType: Type | null = null,
     /** Number of required parameters excluding `this`. Other parameters are considered optional. */
     public readonly requiredParameters: i32 = parameterTypes ? parameterTypes.length : 0,
     /** Whether the last parameter is a rest parameter. */
     public readonly hasRest: bool = false,
   ) {
-    this.parameterTypes = parameterTypes ? parameterTypes : [];
-    this.returnType = returnType ? returnType : Type.void;
     this.thisType = thisType;
-    this.program = program;
     let usizeType = program.options.usizeType;
     let type = new Type(
       usizeType.kind,
@@ -970,38 +965,25 @@ export class Signature {
     if (thisThisType) {
       if (!otherThisType || !thisThisType.equals(otherThisType)) return false;
     } else if (otherThisType) {
-      trace("failed on thisThisType");
       return false;
     }
 
     // check rest parameter
-    if (this.hasRest != other.hasRest) {
-      trace("failed on hasRest");
-      return false;
-    }
+    if (this.hasRest != other.hasRest) return false;
 
     // check return type
-    if (!this.returnType.equals(other.returnType)) {
-      trace("failed on returnType");
-      return false;
-    }
+    if (!this.returnType.equals(other.returnType)) return false;
 
     // check parameter types
     let selfParameterTypes = this.parameterTypes;
     let otherParameterTypes = other.parameterTypes;
     let numParameters = selfParameterTypes.length;
-    if (numParameters != otherParameterTypes.length) {
-      trace("failed on numParameters");
-      return false;
-    }
+    if (numParameters != otherParameterTypes.length)  return false;
 
     for (let i = 0; i < numParameters; ++i) {
       let selfParameterType = unchecked(selfParameterTypes[i]);
       let otherParameterType = unchecked(otherParameterTypes[i]);
-      if (!selfParameterType.equals(otherParameterType)) {
-        trace("failed on selfParameterType");
-        return false;
-      }
+      if (!selfParameterType.equals(otherParameterType)) return false;
     }
     return true;
   }

From 0196ec172e418583dade22521e8c6c1a26a55ee7 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Thu, 1 Dec 2022 15:34:32 -0500
Subject: [PATCH 06/12] rename uniqueKey

---
 src/types.ts | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/types.ts b/src/types.ts
index 3a45931cbd..2ddb236ac2 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -922,16 +922,16 @@ export class Signature {
     type.signatureReference = this;
 
     let signatureTypes = program.uniqueSignatures;
-    let compareString = this.toString();
-    if (signatureTypes.has(compareString)) {
-      let existing = assert(signatureTypes.get(compareString));
+    let uniqueKey = this.toString();
+    if (signatureTypes.has(uniqueKey)) {
+      let existing = assert(signatureTypes.get(uniqueKey));
       assert(this.equals(existing));
       this.id = existing.id;
       return this;
     }
 
     this.id = program.nextSignatureId++;
-    signatureTypes.set(compareString, this);
+    signatureTypes.set(uniqueKey, this);
   }
 
   get paramRefs(): TypeRef {

From 9ab2beaafbea235ffd881a78b9a0a5294e67de9f Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Thu, 1 Dec 2022 17:51:45 -0500
Subject: [PATCH 07/12] fix types

---
 output.txt   | Bin 3346 -> 0 bytes
 src/types.ts |   8 ++------
 2 files changed, 2 insertions(+), 6 deletions(-)
 delete mode 100644 output.txt

diff --git a/output.txt b/output.txt
deleted file mode 100644
index 9d2c6c60be4ebfad71da87bef586dbc2adaf6ba4..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 3346
zcmd6p+fEZv6oyygor&*Iuf!;AXsLyoXb5270#9Iwv0juOpg<4K3<5X4gzxDKn5f^s
zhUsijMva1IGBf+Q_P_ph*z4<;kxgu9C2R5~7FpXm*7IJU_P`G5b(tI6h;K~q(E9eA
zIjtSiPk1BSvQs4W?3UfMCB{mu8?Z;R=IC{7&-bWT_f_{8%}$T($mQ?w*O^^=IGvOH
z*d<o&5qrk0NjOX2GVckmPL;f(=Y#$FBYBxD$z2A!aO`q=gr@7D>(kEGgnu#ll)1z<
zoskY2^?Ajk=4P1rbDo<>mmG1tYj=_R#@^a}{x3Oc=;!xr6?SCL32O(8jhv|rtu%WA
zkB2;`_JUU1t(Ku(MSjGt2z})Psb*qgVDFK-%-oQtjodD0Wvf&6^ws<E#%KG)?rl6^
z%rn87!kN(T@n51ZzZ%+(<JbhT^b%(Ijn0_RmnTMy$d6*55sR@)5xOq;Gd?cv6ZTn{
z5AlTUHJ2?k1DBm)liw*K4w%WUCJf?TJc#`gYlJo1H37%iwUJiRRgn=na%rzq61(HA
zBfdTSLsocvDZY%O$j_7=bGBs_@gO<*d<mI({D!(_)=x3NCWgY@^3P@1YT2tZi7{>Y
z{)neXdxdWdBZ=FxMJ|xG`;2xNYfYtP_KX92w%D0qsTPdLuf(pbF1g~eOX~zg`>a!@
zShNNI&*9;h>#)JDtH&LohnPt7T<p0=C>N~?(xx>EF|MFp8I8r=7>yM_ioKDumd56F
z>2MxJG}WXE+Yek9X;j4cHky<{9>(SdJ;k7`sl1a}_`0+@k0#e@0Sh&-&pg`wEu9p@
zR~;v*zg@0X<19Aje_N}6jlJ%Xt@tj+9(q*S*0_bP3wfT4X6@KB+He{rHR_it{#4^z
z<WJAYY*|(;lTB4WU9Hb_h`qrNGid{?^NzVVu5}ZfdQK`4;mS^1p0RYh&3F}~=x$oY
zAKep`;GU?E9kY9)a^aq+T(~DHh4(}%Nq0re3E#&+em~T}P{kHSmI$>{ZSz0rP{*5e
z$JL02@P-T9>o8x!E~<Rf8eI3?u~$CI<$2|y3Lvf6(n?0PN1qj{+SStPbiHa<RSddw
zOUPA5YxAnERy`>D_v{_LwE8YHlHwSFBcZAZ5l);_@hs`$S00l}J>ZNnXjP}|F|OKO
t_ojSk*DIktR_;vilS*Ml_%pvz{T8304iSd!Ew98zUe%?n-ga%Y<{N0~T}A)^

diff --git a/src/types.ts b/src/types.ts
index 2ddb236ac2..a18d596a1f 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -430,11 +430,7 @@ export class Type {
 
       return (
         this.classReference == other.classReference
-        && (
-          selfSignatureReference && otherSignatureReference
-            ? selfSignatureReference.equals(otherSignatureReference)
-            : selfSignatureReference == otherSignatureReference
-        )
+        && selfSignatureReference == otherSignatureReference
         && this.isNullableReference == other.isNullableReference
       );
     }
@@ -927,7 +923,7 @@ export class Signature {
       let existing = assert(signatureTypes.get(uniqueKey));
       assert(this.equals(existing));
       this.id = existing.id;
-      return this;
+      return existing;
     }
 
     this.id = program.nextSignatureId++;

From c934d886c1bd0f180ce94938f06431c7febfc832 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Mon, 5 Dec 2022 00:35:28 -0500
Subject: [PATCH 08/12] refactor to private constructor for signature

---
 output.txt      | Bin 0 -> 137702 bytes
 src/compiler.ts |   6 ++---
 src/program.ts  |   2 +-
 src/resolver.ts |   6 ++---
 src/types.ts    |  67 ++++++++++++++++++++++++++++++++----------------
 5 files changed, 52 insertions(+), 29 deletions(-)
 create mode 100644 output.txt

diff --git a/output.txt b/output.txt
new file mode 100644
index 0000000000000000000000000000000000000000..d963126ab11ee5c05a14b4069e56295d8f53e755
GIT binary patch
literal 137702
zcmeI5>2e&`m7ptP{yAcvVE#bzbc0$zkN~(@w7O+VbZDZR@@Q%QP}mA?pkRZf8YH#Z
zt(TaGnrE38=$|ulzC1WM=VsoURhgAlnE)yfWEBdTS@)iOzyI(5zL<SCdp_Hm{YL)r
z^WSD)&+g1_%4eU>9?b5~KC3>tR$cSa?2Fmn?E36lb@eB+ALZVY+0)r8`8k@soV}3y
zkL3N9yn8zPUjCiP`)&E{&Folywr5vo|8@4O*+;Y2^7*k`%XPnzCvMFi&%T{Kl<WEJ
zMs?MD)pK-pC-MZI{zzVr<jyCv59D|K+v{otJaKRKq5S_+u6Zqg<NvGj???IPSNoG*
z%9XEWwXfw{AIkNtjPGpw`DM2F56`n_@!WgzEv)sKeDBHZCxP#a*`d6*YvL=|cu=kH
z3t8DyfzFX!dnE6kRItBN-BrfbRoVH~Ihgp3V3WOrg=e#O<cVL;{xo}EUO$)bd0u_{
z(-~NPEWdvz*D8+d`?@cX2D?Aa{-?ZqSmD*y`iVUMq}uPNvT~)e2NfKSD*Cu5e|s)J
z4`mHc<h$%@{f_ueK<76VjucM&71jK&|MH)+|092a3SY~&pU88zDyY7ky(K?i3$6aC
zdUsW52m0dE59FF%`PrK7%kH*>9--?!p*!H-hpy`@wRJ_D8gE^f{Tda4L3k^7|9{SS
z%Kw%XfuSu~J$wdFy`JsJC-9qb7Igk<c18AcT`&lTzEeHZo?E6A+x_xf9rt?iFl89~
z<xCzLY;E6QYlE{XahKyPzT5B|nr|Z=e|08xH`3AUvz$yrzotJ5uc*hIzc$=;UbxF~
z7T>KGf6&k;VsCyfe#Yl#n$>KQc8lzBWi?_4Vf#N4%Si1&^GTkHb%ec*-T6qYQ!J=0
z`Q)d{qE=7D={j00_#<Y)9aom6-uv6?8ER90a3($U8FsxtQQt*g$-_2pH+(PqI+C^T
zRJQFa`R%x}n0MqA3j40|ZLs;U`0ixwy%Kc4tnA%`*}?2~W%2%7Wf>pI|BvM9z;RpN
z&tJi=T)Qn-zp3m}h4a(O`o<o|ZpA9yl3n1z99Q3h52SuX8wU2}E`z9HfG2{1r((aS
za>}k;KkWB=!hXN<H}E#TJf%lqZV(5i=0_`atL=Xze%gzGrPo3SPSHH!uKX3h_oaBk
z=50GvB8^{M2ruHztxk3v2u6$^P1d{=p1`|)D!%A+X!oF%cJGT<{ORmpW?zY1{zO)9
zvWxva7W#TF5{O6)T!~MrUj7x~clA7>x}ECBc(wnXE<?+@;+jaaIzJtWKfG5-s2sk{
zcQ&clCXb><_`Z^3Xav4bzhi6mcX@A5Tnxv)E7iXSVS|_QZB9E7$spqPxQYX)?dH4C
zNB~;lb|<X>-w*}ZtM>I(CDTvj8<5__bBNVx^yzJ(h|eT8_;yVWm*k6M?TXxE_r4S2
zFhqb(W`C_{iAWI8)mOCmt17Ysr5(!WP+b#7SgCc0M!RMeFh=@cFT%LQL3^^&ejL>Q
zPKS)+!srbhMEq-CqP`jd`>e8%h>D^~G=_V($VbFZzZ0BjbP|0OwG#S&TkHzx2OR$-
z6y@?_SENkJJLo>c{kGh7dyXE9^7fJ3dsqHF4wQA?_GY@nG3Hck7;930J?>P3x5WvO
z{bkDSOC#7EKp*_2cKNt8azj>SaD_(55_F}JDecYnvRWFsu@V}&D>nQzspMvjN?2)k
zI+@n~+9;(I$>yG}^5o`9XywDn(#owGt+3MWv@)&zt&3J}t%O#7J6T$}U85CN+MQOW
zwZC=I%I%fV%3G7Al{+<BVWr(^Wm@}N7p>e`39Y=hl(nM%OY~^2h`&f26C2dyef8Kw
zTI+CKY<0I_AIp2{NvMIbI)+8OoUwM&hX1@rqkHXYg8-#fcr`ndpa6V-gCrEN(}M!W
z+KH`uaet*R1?;Va0^Xej1;mIw6!2~j3K(lA>!X17m|Wk;#=8RTWxUp*^gxVuDGl_a
zg0XhfMh7K-w682!O^j=I5_AwFTF?Qtj9u-4v3Al%1H;+_tBGL!!z3smMysHJf9OF0
zW9?*p6wo&=bs)KrJE!@?ZzW$r4&%crr%ru271=R6(mmqM^ZI!LG4e#7j8$!k<y-d!
zrnG}Ld=D-4`$m^?@VYD6B((mx7?1HIFwUwL#rRk|SSQB&#)xtlhnqChGcL|!9LTu5
z8=sG}i*~#Z&Fia)`26Ei`aLhzV+6>mQrcrads2zv9zQhjj|+3X?qJ;%+=lxh?K&W{
zia5{TCxZ7F>jUpp7A>aVbq5z0@2iRL{dppIj}bob{^y19t~<E6cyEvDmFldnOYIQ3
zlRmYI%iQ~g)Uh2^HBnl7ZWX>?$Xe*Oq?3}0bSk2rRR2Gd->*~^GimqgmRw5>*0-Ui
zvi|h{Ay-h5ILy;ELc1^3oqv?dtk0zfl`i1lpH+WqW&RzJz_%*zXj}gJQ2t>hKM_dN
z3rroPRxKOssr%A8(SMgpJ~~9LN{mV&D)YG>KZ{y3c5^J(aR)G>a{Ntzlvb5Ll}`_)
z27XH_ROyP;ifLWV73u0E%fj9C_db;;K9OtFx+&@_W5wcuRKP{MEB0GnIo;=$^i7eG
z)9;~zvH48XgI;&dyIkyhUS${e@w8?pM7yA=q-Td-)x{1<b)OroQX_iNu-e|^aYHPJ
z>lLTolbw529+C*IfH%}Ob#CE0I=<mb>el(4{~uMnMBL-C+=pbPql2F0I%h?$it!36
zh<}hf@5_^4R`HK|)MA|V);YG$t9k1+$C(b3od(2W-K+B~@roP88sc)k0!V4K?gN44
z3&{tzVTgFs;%nQT{Z5|tb3v*fRki<A{y&$0^jInFsQgActKMs_hwGmU9jTnBDj3ax
z?l_cJ^z>FGPrI#Esj0o&CCYV&!`A6O>0n?=1iN`6^lTKmHTzplzSk)wC)rm?ElBrU
z!5UB<6ZtJ#kxdLJ#PLz-U9kFtx)#grQom`PoS|0V-X-OYha0{SPHalGycC_!7cqO@
z<cnv*`^d3}l~(e;p2ays`6IRSRw)TI&waB8cVHu0uhh3<K_c&7iY!1X(_4zIyd|Gn
zx1r8eF$+6q-D8JZ=jade9$OxrpxvKMec?Tzx$mi46RDMcUF4s~#Zq}@y;yar?bp}k
zms{Yx%i}9=gS!@4ltx+k`{HAGf1J@wl;2D-^7S?;HQjMZg8LKfJN&gB2CIfbAE~~4
zXIe@_dx@XtHdehmt?t{IUYrNP)x)qo@?DCEP&HsadAHup{&za89L~mP)_HbA;t4lT
z;|XTXAwQ5z_$h~#Y{ELjFF`sHH{maMB21n_f)P8gm`eILK6QEYQhX48hm$mNfc0ln
z18kC6T?$1WjS*Ux18y~rZ%w8v*g2KO7Ble<QL`nD(j8kR8e;GLXsG|4zN#DznRL*p
zba+GRk<g(Wy%g(Sy;o^D>nVLzv+yIHqs;(C`Gm3mUOj`n|8WwVhZ<fARWXSSjd{KH
zbdw-1jd|z$TSOo6jCw>U{a%X)sg2Ohf*ux{soYKLn9C5o7OEN2ouM6#Rt<(jz_hI6
z9h(MKt23SwT%&*653c(YfU9b?>A-bQw31s=k>{_8pK!hEnT}oTby__r!n7O5ccD(!
z+%=+PJm0_bKjrguHlxez@$9Q67u%%7+?+&WswMr`-xBJ7r&Ei=lFxK1tM-1}5T8yp
zU>fPw2(9{ZmUSV%M$C}h2+>{UNyh7TgLb=jcI7W(F%hdHeuw7MsXuC0nYG4*rTVkY
zHsf!|Cj85t>ZxkEVR>2Zl8Gs8mRHosbaIo6*>7ZF>Keh}SF+6WI<*Z(rVY@sWh-h-
ze0?gIwHdp=2-L^MUDQ#~0=U~76?ZXeWLAaK%9yzONO*!w%TE%O7>DapiB7J;HKB3d
z*A)i0GE<HGTC>s|u5RO+3^Ul<wf(t~bxxHZ9j8;^%oM*&^>&;YcTNw#taA$Z9Y>nh
zaTX(?hO?$bb-WsXMP3}92luKtXSbZ@&=%;T5kBjmeJ--L|NJS3aD=SOx%h4s@a`84
z#JA}e$?1Qm!>6oW_r;>yKaB>GNgxi0?Sjqe6%0P_vl$)Kc%R#$%={-(s4+q?{Y*Zw
z>~(wn!a<OWoGCz_gUM^y!Ja2lYsOZ4RaVLzeVs9Hz1i$4)pT_`)%dgi>QFOE%2QFh
z-i%PlXVK`GL&BDPqVs~YXse_+d)$IE&SKE2l=Fu<te*3Vxm2rNPhu`9_Bbm9Pm`&R
zb&h+o5XZTsuJc&^_eFV5pV*AYn(sKD>)7$d!CtgUQtTbJV9&Ff^LcNYI3%~*p93xX
zMdm=e3)idhQXWj>cPSRXZD7&Yd{y*nPVe2U>AhtzSc>2*&xaZjyf`?Fbp$C6k6LjE
zFaBKB!8CdCykL?lgNuSm>e8KKQcV7(6_e+g8`<?m!eQBu_-iW;&p$VE&Omoe4jmD=
zQQ3^<ak(cmR!(Yh`;e8l^*fd_Rm9u-`S<<rbgS7RY`&^h`|L|!md%--Uv)?g&~veh
z$W>9F$w_mXgQ7di{c-FLGD(~(XMGLo?`wXE>TY5HRDskpOsVz5B<zyBwQu-C_08^$
z)ayk3{?xB<_?RcJuLh$uK9IL*o>VrXMj>>kJ5nLV^li>X%zO6i2^z9<;o_=d#mkoP
zs;}L4Yw)z+`|iGLrOR;p*I7XQA{*1DR`rEVt~F`hxa1GQ8&pPhr&*<yu_%}QLAmql
zX1O9#u1kjHAu!h7*;C|NlMcR~vXng#n5kE(m{+fo{5rir#6F2uz7&apr>PNBJFkQ*
zx=0!Nh4d*%YwP}u6$R8W>scXoI)F~qc_p%%wW#clRRFdouhR6@0f(+D{7CL-m;0Q5
zP@<p+ukIY=_=-}WPZvG=vkNx7GC`*w&6D|QMSa|9y-$dKsQ)PX^5g6>t*Y<FAqOH`
zz~-0274Qet%PGWIC3Gfm>Mhv<(|`GMthmcMC7U*gO5~LL_zXJ*&g69-W#Y+3%1o`C
z`qR48XIU?Ii?;NkQuc<7Gu>RaOwxG9#ezYEKo=TDJE|=WEv52v`^+BJzr7AJ+Gxfo
zds+F9bj2#?>@n8>%RUvY(k`<(wK?SsY#g`rogWPbeYgXf%u6@q`KskOdtAf<q7p8J
zMf8OX<IBKdJQ%1QWHMqE9D=>*HjF{*{PRaj6RA~fT8K}(^F@goR?iQqRb18>8(%i9
z5uUFtke)~gwMwk2cW7=<Z((R{G2g<cGO1lc#{GBah;g-qPQEl5S>}p3PZG@LH0H8!
z7*}KJL`aJm45=-Uloy#l>a>ws5OMcIa>wd5hEl|Q-iS5oF}fUMNWi4~?#I%WS{rCF
zfG)g1-bUvHK=DoA!l(gRky=i5i86#A;NC@wm-@5W;VNQ7^ZkqnkM8uL@_H;P*+f}A
zH`0Yi&i5>hO~jLla6?BtV~lql@qzvk(DO~bX<ZC+8?-k2g;b#-f9ZoH8kL^RZ8c3~
z#`PrcBe~8d-s#MVH}d-{`8%&qI>x(K9}m*X7_)9mc0S#p?&~z6^O5Y0$virZGlh{!
zKzp`j7st|0?8PVN*y?;WeY0RGRMduHGKgoIx>^!Sb8ZbyH5cZ%pBG`>aGBAYaYL+^
zxJ+DDsxx8^Lf=ZGW$s;s|Mx|5XjlBljj9=<TV(X;e?K~{pgED9Y>P~6az(^?^aWIh
zP??0zIg}WDvjflMr%{lvyreC-qux`H%dX{iVEJFN2G)gV-<(!D#jIkw5ACt2S2c~Z
z5AuVy5939LU|II}!#!Dmdd?~0KGq0m)Vv+%zS33VnoNJwB8cmbJyC7Ze#7y4)=l4%
zt$X#jeLM%ZG5V#mF^~+8E9tg4cPp>02YwpYvgl5p%VW$tx2wf?eVx0~NVe^2^>jfE
zRGsJRk}~Geyt9-^bWR!Clg3#cwr0bKah3hf>wF4P`+ZqGpjBjd=FFW`O>FCI?l5-U
zF`sK%J4Dyn4sB%)-=THH(*@`y$`aG9+P|3B7w)SWjrjUYnqw&XK#JH58~b)%qy9*%
z#L^w*CCHdNLW0<iR!<LybLk<i;Gz<e$b@!8PK_S4BFng`L=Vh1bPRtjRy5HTawF8v
zAwRIK|5TI{k-F;<Gy9!u7Ojx{Me0k50PQ9#F<ZF%$w5Q+pQO2Gmq_*g6N^txb0S4|
zA4GL|X`(>Mr^IG~hM3{mZBlLjJDnmOJ4S)tyK?O`Cq|^lr%}*<L9CG4H>+sgo_$>L
zL{3|zlGXXh?zk$?VNNX-xOH7?I@;IU&M#bFw;?!(fpds{l711L<2ELzL})}i%kfa>
z5|imFoyrg~$k?mlvw8pG5Yp<St`yxrM$-RIrx1svK|oJ(;w(Lz8c0W)_G8%$<ajPe
zjESngC(5bS{G8;$?2Kd4gF54nbDnfU^DFrTPSG<qn8=Gq#cX&uoF0MK4cj}?L-e=P
z$)>-PyHDg^UVkofNz`Ad&22Qnt3hQEx_BXbdoFwvSF<C!j)`q_oEayj)%W(~`8XjH
zIn*T1bmFd4K|4RWJo42>XvOz=$mtWBJhdq7Y{u^S;j($BYteycU60IVqz^}}X!1|m
z9rH@8R(OuQ6TON@LQiC(l!MSNL@S{_KGQjz=twNCKg$1)<jgkCW71Q0^gEu*Gtk=F
zeWR1kp;BgmxBI-Q#S-syE%&PGkkHejbfteQT6`%d=6*}5ts7-A!Cm)d{HJrsILR+Z
zMH_r=@U?FKD(SU<7VbocArn$QtIL9|vn%hPN{O#3i2%<(IXk<?P6f&JYniQ-<G<2p
zDPKnEAK&NsHE(@7w{pgh?cO+7=ON|e!WV&WBOSyz(Q<S!HVq7if8tT-%Zn<vBmSd(
zyBz+p492Db<iT)su#p3O^ugFPFdY6bx*VuS*keRBwF4}w6zy#ygnH82a5i_De@h-+
z)a0hW&3n5%mUrwln~yo-Ay#{bCpRqq)F#VwVHYg!Nu-m$)60TIDtA2ckz$dPU38v>
z)|H<0#2Q$+BQSj~dU6<Ev&#L03u`T<Qj(bsB`oEnBoR$!NP|J0@URMQD_K2V_>G-i
zCVu0@nl6~69-H3&zPxANZJh^);X`(FnXq?L{Ie4F$b~7U4n=BebnsJ&Yufv^DKdto
z^6P5w$9^so{?g1qs_k-ebYpGSV{zlf<-5tvjkP(&?8?U4JP$drjkWn;_UY`w?DuC;
zJ*yiyZ`sU^wW+5?QrC9=a?u-W(<b?xPyD6Yj@XxF>$hg_iXTC2C5?4!rvkp-VO3Z2
zT;9Dc6$`uK0mhgkCzzhdUq0wucaZZVG%C~8Bcu{2uFB$|7Mr=anXEK6v%xY|UTLM*
zMaWmDSl-kHZR)tn(HZ`dN>+Ybw2D6`MceDRh^2d7qkWgvYu}J>wzHLZHc=_+w5d8F
zPkJocWmhIe5FuuIzIW~;)0-y?K9TGA3)Ok*zvvkQTK!%Bo6aVp))nnWJvVi*KG9lt
z%k!w((`ux8O<t@Oh>`C!BVp@T9qPN>l4)h=N9}SZ)3nu?;GC-nN-?Nf(O_%xO=+N1
z-{Wg=NSj_H&fTp$XZdc72*(&daoTCGi8UzYAmdg;*>dOuCyglQs$kkqsE11W^-lD^
z)1l(<G<s2wk*a1r)$_hkBbn<r6<yMA5A8osxX<QhK(|&M+dQ`;;xy*YtvgM7^1qjS
z+n!`GKM=U+iJV@`p8uXEg)=88{qY?e_HDn-yX$q($Q6gctEy*-nQ3qe=f9b4tY?)V
zJ+8<e-Y;ZgOA^p{W|dHn63L)$r-K{ZugdzV`)9{@1=CoGA67e}x5aRRti<NG^Ac4W
z`Yh>`5}Gh>VyLc%3{R!k)#9&vhw3`;7jrm<KRqM$Bf*58Kz~>2)Rlui4ES0N52d(S
zEk?-q<ZBzo<fvE=Xc)Oja%`Edm{m%$I3>a0zL8`(O_a_VHc9OIaGe%F>Y1iz09lvy
zFx=z0?tXSaz7nLLC7_w=y==wLx@A`#1JSlN46L7zO4u64CKwWzYUAf4gyZ6p`ag#w
z{v7t%zF2N%542f!L)mt|g2;C+ZBmON|6AUU7!HeCDcR4X9a^WQ{78SVLok(uW_fqB
z<oszR9IPJN-KRmW%9gG}J9?q-RFi>>S2Xt0$NzMQD+e^;zIuq`eda4n$CgpiZcFLg
zeapTSJ|4WWv2IRKzY|Asdek{`!+MJT^b+(_8NYhkrwe5oxG2TD7M;Gccnq^t&zy^5
z4n2A2%c?@*hQPdh`al=Ed3SbSV(%|!zm~{5@qJGCBOXuePfwX7LQfYyvnhTSJLg0`
zr)rLldz}bvaYF3@IFbp|FXTG?yG{(&^DKRCn#Hj+KR~bkp?n{a_^m2KxGmpF)c#e-
zIavQ5xdPU})fy+&Z>#49>e^?0ycu=SdN|N5<Y)y(e%Kew)Mdw&3O_%{CyIOK=)5D<
z1CLwl1mdnzDO2JH{l+2UyR4tC*HW~9Jg<6BI#wLA&nlWE!{DcbYIJZo3n${ZiIdgS
zo1U4{4;MpCZlS);q3+mk&r<mvO}MR}qM7b$XYMrPM5WnZoLk&CgSE`P4l#$e(VFLz
z+qIIP!cIOT)hpybG^-J(1(E&vywVQ87M*jk^iwLIoi^1@cf0X-lJz<~&9=MM9_;|5
z9+eC^JH{~8ys{~s`(Vj(*GTE6E{Z#i5q$JET1YY6ZJL|&>$>(vY~J=}a2%T}zLDw-
zri`74{Wczd0FBg!8{U3PJ93ug5$86?U{@<<89vb-aHFQE(Ic;@yf%JLxy3P`<D2~c
zoM-Cq@;szZ8CF8Drz!H$r=pSYaDehUc?#ZH%r6?Ar_#B*=bfi?GOzK}^d$5*GK-O#
z0jAe|yB2vpCT;DDZR=9#yweuDaj8|3*9Xa-OY%CUgDaxHiH1BC-?m((AGK6ncF+5L
zeX^bXJCwR|pw<oNPSa$5Fx99}qz0_J=ir+1o7q<qQF=Q2M!L4t|1hh`PBzo&Ksr6r
zBU0EleD5=%=z5H+J?eCjM1(D-byc2{v*d4_RmU5JneNZyf1Q{m&THq)*y?zV_R2x!
zo7$S&dEThQo@IB%ovw3#)3i#=5-C&eD&w_d>W_;;OGe*KUWxJOiy|3}tDTF-i55kf
ze@~?CvHUcp{zc`T8;RCAPjZ-*y9H6=otsJBhVu>@`(+h*?`uh|Pvfu$*QitE8?(eN
z58vEM?DzA;H>`X<-`q;FfOWp<!!zsS7uG&)elb1sgZK)-_VVz}?W7j+Jn;=HpU*e9
z6Te2Y6*&u|iTSHlT?0DFxUJ30kNR%$_ik%hBw&4931om@w`_3CU2#63X&P!vs79mf
zZ8)F*qbjb8-+p;G@{V+nE*gC^+rubsTu+>p&*#WHN!3NYBgJ^FtkG<*_BtjHu@@=<
zrX0EcNVtbSR4ThJHW#H4E&6g}eNQ*t<{TL5t0bLQlWk-Dd48(zG(F?gx>Cx#<h$$6
zMXT8>JLq@P>AZT%q2kY<O72Ia5lvgcV$rLJN+9FGq@6yQb`$5SFo(%D)@f`{FywS|
z{<w+tFUC!2e^AqAY@>v4#QJ$L$7XaW8uxX3jS@-i#`Vf2?FyQb<w#Bl4mqj(H?nlt
zj889Qrnb(PX+32-Us`8WwBqYFq*G_4v-MIKds>WF50ZGI<!w`X$XD6q_i27u{dK+j
zXIH*|!;s@67n!$Cux09W>$G){M4kLw=hf<Vf$h2>t3Af0YV>mLE<L0Drq5ijVl4gc
zRh-|DDKdYMX;2@}K9ZTGUrG-AUTtpa9ibSV2gSK*@B!1wvHY2mgkR37)q0vQF)pl$
zm=EWyMP{4VbK)^a9QzO+&fcoJ0P`oLFYbqOW&bL*AFAC^4?u>Wb02l4Osr*1xo457
zb=tYQTx6rZGOLA-u_vSyxG?KcD;cmcx%(&CPl_Y$%So#>V|{~l+0=1Z=jyb&NAai=
zY7~xT-`ge7swyt)a5IdiRhKDF=XGi>BM~G0r!{wrOT!#D)b&fd9k&`T(W<*XeGL62
zVc$EQ@*M7_IkblX3c=?mD*2^w&v%uK(@AtX*G{KS8SSXe9q}9Go7Z)2iR^_liJ>56
z@CU4S&Ax~4d{f0zw`RYU_gAV+ChtF#-<Y*cj~4eMg@0^Riy4J<^8@l%JEZ=6rX$il
z=cy?@o0m=wrqQ0rtIzO@{T;@cDr>F2$iB%}k;B*Wwo1fXpMD~PxUVzMktI1dEDZbg
z6XB2dvnu-E>F~<oRsD*6;X>uZkE^L~dNMj)LRcL~6%Sx*9Gzwg=m^~wjkn#fK2pt<
zTBG$-E3j~wF&Dp0XGA^}4rbDv`bKK8a2|F1-DVoRtky@z-+vS<`tp3&<x_`ZiN4f=
zZdyhuml_WO8T^IvB!jYD+n0v0BKlFE@4k(O=*~p0VkN26+^S?SacrM4XnoA7jMnbw
zEuk^f1KV;c8I<uzy3&wobbBJ-)Gm7_wl%*sDKN^JXgBT3%66;yuYW2^bKhs1cF#!?
z*A%LAc9Jz4)~OpfPuhFF?Y(#E!zeaV-J@OOucS)oSmyMgmB25Z?(hV*?;D|u<LXn#
zI-hIrdlR>H=@P5@Y{C=X(}_S?^*ZwiIC1`X*2KE|yd_Ccr-yF54<#@i;6y5^byfHX
zMhjFcLk)R7JZ;F|sNicFIfXo$3X94ikK~>z7TC!K3(&t|v&0MW^HuVNVgyeo7x9@o
zU&M~vlrLN&L2=7*gyLegSfJLV|B0*D<X&undm`^&RMP*XlI#2y&(VnbK1zPm6x*T;
z$Xn2jP8JVIu6pI)MXu|VbL>K%s`i0elSFB-c8Hkq?uRPdz*VoR=e(A`G4n+GOo++6
zmd`mmgKPN4UD0d@BDo*QRm~_{s)@*GItN{5ypL%Q+(@biQY_@P()Gz%1?*uNeRSFQ
zF4l`&PK=MqacRe03V+vkQ?>mz7P#4T^K8G>S{fS*T=6gu3x+LTSC5g61)e*{A>v@w
zSlC$L8w<Sq8E#|R0~-sRDc6_F^W9kB*QJYsSjT;dNHA~4X6un7Bf>yL!YW=gFYs8d
z)OZMS@m+}$(@RT?gNOyyK%Bv(lQA?iqR;R-uNp@uGGS-O)oVy%9wg>l%YD0Me>822
zQrw$6>KU&^c5E^5STmUBq36f>mWMj0-~Bu=)YG_7y~>~O%hxt`hkZWZ*aiAp!JqGh
zSr`0IRt*2xnFYR2CI$c4eYJl2-$<SA*40MpEGzRjQpbJBaio4(>ddRl)Ec1&r`Cy{
zolexxYLT%|tOA7Ep%bxe9*Rvv6%pB%Cskbt85Tb?mbw6weF~Xqxe&KED8&jtm0fCe
zVLNHgnHr#aEv((`P%php?H+z>o)w&@e(LR*D#rw6Jb>Gh)i)c59;Q+rZ63V)*TF^@
z#wtm#-)Zj%FsP+4$yMA91*d*h{?JFinx_7DI!qjz1_eK1c2QorFMNS7z?rMg71;jd
zH;=2&vFh5mB-S|{3ANoUa)GbCdxcX<<<R-w8I`wJHcbUiQJO5?2LYrEzp12JL>i=U
zQfZK@Y?vnt)=5uMVjNX@@RC$r6+N{}gQ?IH9Y!W8--y&-3`#@MQu~?QQ-M*8J-iu3
zHnrDkPX$h~f<!wL7Ne%&WRvC_rY@VJNB?FN*@XR^uTGni43D+3kHkWz3U^V88jhy4
z#&zm66=T?kRrS}RkQz#sYt_#b;Z%=k##1~Gv;5~eaWU(l6v=G2H|e*YCKuKr7OitT
zgR@RwWtf$Cu^-f?Yp2(tmfGsKrQ0Lt*R;WHSjbJ+a<4-!wcdf+j~Ux^eUO{3EnkOR
zwCB}7{84IvyYT9;G&fxfzYe)*<*Uc|qeKVBgWPm&{yOBM-LJOCxHLCiFQ5*&=n1GL
zGA_;a_Y3;RdFwEVR=<0;?Xli=O_0WX^Y(5(Tcq7LDEGgz$9^$i;_!X%Ra<s`UYtot
z<Rw0nnC-Fj`)x`03wdWw^?f9tkR_o1r``=scch*4OBc$Uss~zYKy<fcQT{0RKa!a;
z*v8~tcp~5NT>Lw_sd>J2!Z2x$`jEEDkZ7A~|BT+%Tpt}dto`-uu1sste2ePH4<)Dm
zy4v#}<r^PLS1ywrPO9rZlrAoy@x82%{7<e=+ahSCyo`Nb_a;iZc9Ezo9X|B<Xos=o
zYScQu)wA>Ld|^J?*D2;>79xjHaM+B4w^z$Hakp&#A&)_|((_&Q8{XaU?gN=l@L=})
zvwV)`>-Hq(bDpI3<>TE_WR>|POmjXs#otGwIZgl7rxCmqotsXWFs)Royflrcb(ho}
zoK#QX3^|?E%iK0}ahr~fUZs8GeOV`!fLpVFl7DDnwB)sh$7H&(BtMtYfd^8zx__3z
z?e1%y2iQj+f$23&daC09EHtOb805>=hgrtpreCE<iUItG{4|L3M*VfKB*u*2YQVo7
zCCGKyv_pL{Pb7sqGsxZ-Yp`qdoy@*Y9{lXo;`MXYsr|-QMq)fI*0`#zj18(1MytAG
zPrT9Uyjdt|rLlkW-7{!orQ>nAEp9Ss(Ni*-GAK{^{cwQgmbbi1)Xz+^c{n&03_KLS
zqa@*n#6XO@+V|GszZk4n3u)r9HwUM7+i`zL<ArF|;ERfD4h3s<y;_$nQMcL(?g}^6
zpQO~^7y2f1O4_y`#iMbjhzFt&KP`-b82NP!#AhrI`yu5Fk>T!8M@I}7rHfX{)S`5C
z-Pj)0EJf-1$JzSd=~B~SYLw%Cp3YqU7ty&YYjgtHwp3r<5e(xA?u#B$y>e4D<_+;J
zZpja)C33z8^6iOe73_Yd_-LmVbDCev?^J547N_@%{#CA5zhPUv2K&Txe7olm{k%oj
zSGT6zj&=CBJZpPruxrM8>OEgrFb>UE0!!k5C)K{$q0V?l!}qbW_62HqM>(8bt8$x6
zuPpssUn|C<4X`6?BJ)~W8J}M-dVFoRZw_liV+$)`cx=6t9k;<F{%yUOi<ShK>$cM2
zxXy7qG)A#Ex?^-X%@_L+Vy4q2bbD^fq}P1eH8ix^^PnZY2Nm_pP4&OiVdGFWXm~$@
z#y9^}=-Tr{_@+KbO*2qvF|tTDIc;0?Av)|k`Ggs)T&0mTbRBY^%obDG=mH`S#pwlV
zx0~izY=tW2hg{)vS=o=WzUNgoZLt-WFpDnkhuQvjE(SO4KL0{GtjIHJBq8FWJ}(ap
zwn4^b?=clGo<hNs`{4C<rM<hYkGZLFX0V=+#qRLtUsV*Tc9yP^jH%^U%d0#;xV5?5
zSftoKUkXp@eEe<MsZO-D{q9z?keQjyENyW1cll>m!Ml1+h1sg{6cKxd;oR&};#c+r
zyQcm<P47HP`{)<yH$SMY`^wojH2rdu`xbqzzdC1_zBGwvGDq*=IdyBbzAv*+wPq;a
z58oDp8csv@@e2)7O^6s|>~(nv_45V$%fJ42Dm3P0d^v+hrRTO}1s}@4ymx1EU*#+L
zCA6l^uBQ7`;~i*5J^AlMKBMmASgwO3(Us)Y--z_${j=(`IK5+Q_Layrz4q1VYOaX(
zB0Iqy#B^2qwa3KpT{Rv>MqYUxZ|t?if8UaS*F}aCkN<5orCE3Vj(khqg7s(Ad2gO)
zlBctLj0|3+iiH&#AF=~#yRT(ql$R5y(XVXcRIz9{y)PCUotdk^ZM!V#f@7@;-r)FG
z!i)Uel30=RTocFltJslY)o`ucJS_hXhhxntZ*c55jv7A2vB~AP61lvnRBqS)%S&W5
z|Lu)DKI2uQ)Mk05cr;n8c&y9fVemN|hmsNA;MMsvb^@k&)e3W$zlvXzzf;32{e=DT
zsvi42v1aipwR)LzT&S(Gv$VG)%75+DmQ?@J&a5|k6`!2Xh!8R7?yB5vHtuI)^Zi9W
zV_F{PtZ~}YkFsWes@lC;v888e`}2ujyp|uV#%2a3%@N;jv4`I~UBBAGJJoNCTf(cA
zxvYDGL$!@=i$z<Kw~Dnb@ohMDW@<RZ%H8lGSiIe0-x>~;50xvY!-rV08yqSQV^puM
zAMrY`%nW<xp=eLrl{3y93a@4Z#n)x+T(bQeT${{|`MNx=P1>6DJzuyc!?)pU<?FIv
zTE}UfuZ`cQ&DUlBwG`PW19KozNSpZiWi`Q2b7$IlhxJKLkl3%~R>;9&>)M%A+hR5I
zJJm3Hjw%sm?beH@sS*L@Nt}VDF<|nrY2Jo2HMKX(vV6pa$=s-Y%zRtDJ9cnwOSfQq
zrY8Eb_0?+5ly4w!{LSf3$nny>(7&^<-F8N%=Vf^=pHp9RtUj`svi6#ms~<|4K{_)m
z`p+~zaHH5%7`!@-iNHlW)sN+$`roOrxhYgauhM<#BsExA6&tZ}VE>8uO!X6=oob$*
zQeMpEH7S9W$Gjbt<f)c_OL7C8oyrNSwjx^z*ABT7i>XBVu-zMERX_26jvBrbN~I%*
zlVj<P-4Pzqe5uib?y%Hrv4Q&?k$KOH9JngD&&%tahaSC@ldy-~Yc2QK-V?cvCiz>f
ztJd#zim$(md{UO0c}|Hd@+wVMP4?~L_RywS+LO$SLps8Q8Vaf^sCgm^rgMymY4yXE
z;V#8lNxJ1^TU?z<Gu98j`dPB)ovU;PHM$sk>0SAU4P+gl`Z<|%<*-A!j+o}w>}`ql
z?FwempXpU^cgln-PE(9VkF+aKV%f!28J3MJ^VKOAQFcZfq=e;968w>QsdH;P#)rps
z#C;deF5|teD(NEPeWNp{I5TFWGwJX)uV?zxB2s*%mS{<uM!mDqndi|m+UQL3$Z#hX
z@#V3VqR!lK_t(;;dC@JS4VJ-jTkIbBo$H>^d`ADS2%F&CjHJdWYLvuw$5ru9I05Od
z%%Ndz^u<3ENyUu6X7<D)p%yhLzeevf?{nm02}DSr%W7h@+@nB9P<o)d%tUGHS<y*>
ztAKiH>7;W|9P*sc^hhA@6AR0b_h?WV=4lOl9_sn1TRYrYKf0^?B$Va4Q0h>O^y^)P
z?Y)`~w@8uEBlh=0LQJ)NiBe0M9V&|YWp?`Csc@O6o5(q8*B9}P$5me+9V6tPwDWRX
zGCN#zyXsf*J`*BeY0eP3XC9}<xU@I$kz_@PlO4+skuvSSKr(4(O8ulM<$@^Pptai~
ze;wn|cgW2St;aWze40JfeONA0f6K*JS;gWqv5j->Z%ryKQKfx%y_3v%*`jm?m-j`!
z=Vy#u1l(U2`#MhaN^wt)lvpfT@5c#_sT_bl(S6LgzFNiAkA)KGP2wzvW)-bLo?fPT
zKdZo}?zJqDF9JR{yi66vhL_>7%goF3ya|i?G1(8TN*xFmtyTb`n{DE^_N1fp=ws)V
z?oZXeTC?*|?xUWEsvsmKld-*Or{3WibuZS3=|NwIo+@rt8fJ-)w_;miQzmz*>>&#I
zMDlbmL$^TQU!l&r`|M17#C@@2utfe)<pve2biq?KgDnMyoAaLF6aI>()4qt<IX{2h
zyHZJ`{rX3OcX}lLSpEO4RGm3(wb4P$TF-x$^;j_BoO!e8+9tJ}A4nK|&9e#kdrE_O
z8;|ETt-D33Pc!g$dU?yt7K8riw$UzcrVG;-gUyabZ*zys@<OMwFy%xk62In!JmI0x
z6uJ#*lapF_0CgIxdxFu@)93OXag931m<hUdikjZujBZkzaKE(qE>ABigZonqo&sJ%
z$!m3=+rHl?`3yIQ@IWwT5b<vu%gbMs+o(;#A}_(N<ngoHejb1SJDtuPzK&7T)44e1
zFT$JDFz!}7jh#RYU{~}5+^4?{HR)xM?`n^C#v0;>B2yj-tlyJ=ynme0HS9R8=QKKW
zh$$}`w3=6!xlgq?ekC$=NB-9uY@1K2(92sAS}9zjt&5Gt7|~J8ITjyv!eZ3RV`G$F
z*s<fO@thr}p|K_HGJHamvX2z*A3g1Vr&8d&SPe2sJD=~1C56XE=dxP&(R$jcq%YE$
z(;s%FLZ8!he=V}k^BdpGU#Us7DM9pz;N#Ift#McD7*Su5XW0{Nep%$9=m7$G*V|Z!
zFGb2etU5B>s@Li0>?oC-erKI8&GyMl+>*s(-bxA;kBFA3WP=aIa7pv68y}_k2b6@p
zsy!zUgxc_WH3Lnwmzqnw4Wbx$GM~%4XF~ZzcByOEm=aMC?aNR<C#A}izMV$RtJb^+
z9VokvD6zpW@=M+8>k@T{-?<|@U^lu4r|MGYATTW1pZz<6`rqk1?pnwA+pF0QD!hGC
zRnw+;%EdnFHnh%R#K-hZ6qX-Uf}aR&KrKvwC}TawGu+Qq-<7<<l~XzUp4gSmOhKLo
zj3OKgU2RHM4;9l#<b7YBCs)tE+*g)^x?26r6~A7=oz6mXds?LqtpPcuc=QG^P|kTK
zzZtjDnP>jK>JY;K-hs_*<T>ylf1^|E<!RhfBV6<}5SN^Hg3;x{jcQHKlR}b>%MsD1
ziX4G&r5ph-sP)m6BjAkHafSL&`3|CzmN|c1ak=m_HfPl1lF<f^+<}!H^#xtIP3~|D
z!*oRYx)^WdZQ^-4!#t;ps5LG-mZrufu`)Pv3HF9^3H(vgA@jIoaV^r9Q`&k_&$lM2
zbIN7J)YP~oRy{^;d3MGvzpK1~ybm&uTUM)6v<mVv=#<NbrKxdAoC_7X<l8eYfj^W}
zx?5hW*C~3k%SH4~>N@2zVrpvK5_4*iTmEv!Ey^iV^i#;3QIXv}8#?vqR-IEW8<wWU
zC3G6O^%S|}uV-8We@s=Uuzon@;_H;li7B{+4A@YWSJa(4y?c(JUJrmRlx9r)uDUm2
z*+PHiisrfW`h<Gz%)FQtEAEr+r<1L3)zvchI&>Vm1`kft`a*EIFVN9AKNGloh9hUW
zYPO!-5BV0VCxOsk<=;!m;lGech~&Dc|8C1^#TX^i9?4?y+1)Dkl7Av|&#9$M@m|hv
z`A!}4@ty6u`Mewr_zriZhKtIAW0AW$xsp6y%z(lXT`Ys;xhQ6dW4y$1T<4(XuIX}^
z2eU5O;uMSRP}68u31+3dF*`*kQZL?Z24(*{9YPLUqa@24+u2!P2|qBAA8sLgnf5Yh
zZL;=ASj`LBbm|3^%jVr{wKLSzkgeP~t>$|r-`B={kwX5t;@|Q&aWX-D7aA4S`UP7p
z_1OQK>=m0tr>@2dXtl3^P@V$QY(wrh$3W!fKJN{0&6VUNKnkOL)?4W~KXI-Um34@a
zS#3f)_P>lrGigqb3KnwXb)1(dqq(a{9abIhkZ5A0-sd=FDj>@{c3oxUahFu>T40qn
z)FRx2N8QJk>R<oZ|4yerhpx#J(*x`Wp8i;5GkWSoxJE0lv71!#BCF|z^9o7R1zIzN
zg|SuD!BBtHCe_)CSwrcwwf^Wt{%-O5YoTVj?fde4=zCA4uI;~hS5BVV&dqXax1&o?
z#@5nmq0de$c!050r)tmt8_{6?ZRzTw<rHPyp*&T42h-~f!c7<~xBKqZ^=36Lv-^6q
zC(_WNP;U+bPGyV2pzK*WRygq!A7C6RNa3(w`67mC^=Gu(j1x`C4pZO!gS@J~Yll)-
z8zxUji^GuBBSp)7K&#@VIu!F!_FRV?UFKFVt<c<RczRBEIf%y3nsljhYI(?NhNN3R
z<M4cXkVHvR`h<g_P&{?|5%Cd_he*Yz;$JJpGGVEE2C4+tR14T|%R-x7LdV^r?5luw
ztnyU&(Z@xUqaBKE@LC=^T47uAnb*VPHv~V<mxoncWPI4Lsx~`vU9gGyc;nI+6~y3B
zqa=k|bHa=1pD5Y%eTlA?rKuaI^CA01uZFWjZpe%vr>YcAD&4L(dL8`w)j>z4|JWRt
zlSWEIR2P)#XmxOzh9rvCd!1(9t90TxR5Jz3{-$VA=Ma}ge2Oem`nh`gTBf1($s$&a
z3?Ew--Art)6i(yGB33oNhPx?QBB!bpHsi=5Rx|~;M9rVVg}!k(ZVXv;^Hjf&tHEw2
z^ATMZndfppSdl-s=(BaoBCYosTNd3CY3Tfx!f8BN#Hz;Uxm%T8Z8mcXn{i|jE1Cja
zqUKNGGNvrLb*kUTl|{D_Ps3#qdM(;Tc>B|kMXVUA8ebMgKjbix*<;G0Dfl9{WVVFM
z=@d3&$)YKEA-59EpTcEaS)}^Ck1QIh^6hq_zdS-!&)8b7oP6qu)Ll`9q17T*4Z`n4
z)5#a&*)i+xxK?f9)LDuOSQNKZ@uN>zB(KNL+Vo(#x(6$|Z+%bydmSQ<1wPYrj<iDV
zK>Q4yi1Tk19^za9W{`s$|7=Ho_jv+34@UoIz9rW&;pS(-*NIH=&}lh(-Z8mfW*ERL
zicju%C7;GKk3HkrmLHChTGMn)KS0khbzI-!KW&M3Np`?!E$%s=4Q;o@4SLOc>-4h>
z<SdV@)YeTu#vPKeA0DfZs|^3}SdG@5O&EWCipw~!1x~8Rb<A3BVlRH;{7{kwJZBY{
z)Cf?1UVN#VYW0{Tk49$g7vW5*HipM(j2;+HeYS<YJO7;8r!&*?d;RrptoVrCEiUcr
zI=3mehOU(zLhiNOFeNREr_)cz_PcZE^!u6<eStE6r5*|%JCVuL=uv7&4Fk4P<qG{g
dz2{T0e(GAa`Q&?|PrYi`{?608uWOj^|Nrkwk{bX3

literal 0
HcmV?d00001

diff --git a/src/compiler.ts b/src/compiler.ts
index f21b4325ad..993ac353e5 100644
--- a/src/compiler.ts
+++ b/src/compiler.ts
@@ -474,7 +474,7 @@ export class Compiler extends DiagnosticEmitter {
     module.setFeatures(featureFlags);
 
     // set up the main start function
-    let startFunctionInstance = program.makeNativeFunction(BuiltinNames.start, new Signature(program, [], Type.void));
+    let startFunctionInstance = program.makeNativeFunction(BuiltinNames.start, Signature.new(program, [], Type.void));
     startFunctionInstance.internalName = BuiltinNames.start;
     this.currentFlow = startFunctionInstance.flow;
     this.currentBody = new Array<ExpressionRef>();
@@ -7102,7 +7102,7 @@ export class Compiler extends DiagnosticEmitter {
         }
       }
 
-      let signature = new Signature(this.program, parameterTypes, returnType, thisType, numParameters);
+      let signature = Signature.new(this.program, parameterTypes, returnType, thisType, numParameters);
       instance = new Function(
         prototype.name,
         prototype,
@@ -8668,7 +8668,7 @@ export class Compiler extends DiagnosticEmitter {
             )
           ),
           null,
-          new Signature(this.program, [], classInstance.type, classInstance.type),
+          Signature.new(this.program, [], classInstance.type, classInstance.type),
           contextualTypeArguments
         );
       }
diff --git a/src/program.ts b/src/program.ts
index 7ab84021a4..d7c43ed400 100644
--- a/src/program.ts
+++ b/src/program.ts
@@ -3217,7 +3217,7 @@ export class File extends Element {
     program.filesByName.set(this.internalName, this);
     let startFunction = this.program.makeNativeFunction(
       `start:${this.internalName}`,
-      new Signature(program, [], Type.void),
+      Signature.new(program, [], Type.void),
       this
     );
     startFunction.internalName = startFunction.name;
diff --git a/src/resolver.ts b/src/resolver.ts
index dc57e3110e..1e94a31051 100644
--- a/src/resolver.ts
+++ b/src/resolver.ts
@@ -422,7 +422,7 @@ export class Resolver extends DiagnosticEmitter {
       );
       if (!returnType) return null;
     }
-    let signature = new Signature(this.program, parameterTypes, returnType, thisType, requiredParameters, hasRest);
+    let signature = Signature.new(this.program, parameterTypes, returnType, thisType, requiredParameters, hasRest);
     return node.isNullable ? signature.type.asNullable() : signature.type;
   }
 
@@ -2704,7 +2704,7 @@ export class Resolver extends DiagnosticEmitter {
       }
       const type = this.resolveExpression(expr, tempFlow, ctxType, reportMode);
       if (type) {
-        functionType.signatureReference = new Signature(
+        functionType.signatureReference = Signature.new(
           this.program,
           signatureReference.parameterTypes,
           type,
@@ -2858,7 +2858,7 @@ export class Resolver extends DiagnosticEmitter {
       returnType = type;
     }
 
-    let signature = new Signature(this.program, parameterTypes, returnType, thisType, requiredParameters);
+    let signature = Signature.new(this.program, parameterTypes, returnType, thisType, requiredParameters);
 
     let nameInclTypeParameters = prototype.name;
     if (instanceKey.length) nameInclTypeParameters += `<${instanceKey}>`;
diff --git a/src/types.ts b/src/types.ts
index a18d596a1f..25d9526ae0 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -887,49 +887,72 @@ export function typesToString(types: Type[]): string {
 
 /** Represents a fully resolved function signature. */
 export class Signature {
-  /** Unique id representing this signature. */
-  public readonly id: u32 = 0;
-  /** Respective function type. */
-  public readonly type: Type;
+  
 
-  /** Constructs a new signature. */
-  constructor(
+  public static new(
     /** The program that created this signature. */
-    public readonly program: Program,
+    program: Program,
     /** Parameter types, if any, excluding `this`. */
-    public readonly parameterTypes: Type[] = [],
+    parameterTypes: Type[] = [],
     /** Return type. */
-    public readonly returnType: Type = Type.void,
+    returnType: Type = Type.void,
     /** This type, if an instance signature. */
-    public readonly thisType: Type | null = null,
+    thisType: Type | null = null,
     /** Number of required parameters excluding `this`. Other parameters are considered optional. */
-    public readonly requiredParameters: i32 = parameterTypes ? parameterTypes.length : 0,
+    requiredParameters: i32 = parameterTypes ? parameterTypes.length : 0,
     /** Whether the last parameter is a rest parameter. */
-    public readonly hasRest: bool = false,
-  ) {
-    this.thisType = thisType;
+    hasRest: bool = false,
+  ): Signature {
+    // get the usize type, and the type of the signature
     let usizeType = program.options.usizeType;
     let type = new Type(
       usizeType.kind,
       usizeType.flags & ~TypeFlags.Value | TypeFlags.Reference,
       usizeType.size
     );
-    this.type = type;
-    type.signatureReference = this;
 
+    // calculate the properties
     let signatureTypes = program.uniqueSignatures;
-    let uniqueKey = this.toString();
+    let nextId = program.nextSignatureId;
+    
+    // construct the signature and calculate it's unique key
+    let signature = new Signature(program, parameterTypes, returnType, thisType, requiredParameters, hasRest, nextId, type);;
+    let uniqueKey = signature.toString();
+
+    // check if it exists, and return it
     if (signatureTypes.has(uniqueKey)) {
       let existing = assert(signatureTypes.get(uniqueKey));
-      assert(this.equals(existing));
-      this.id = existing.id;
+      assert(signature.equals(existing));
       return existing;
     }
 
-    this.id = program.nextSignatureId++;
-    signatureTypes.set(uniqueKey, this);
+    // otherwise increment the program's signature id, set the signature reference of the type, and memoize the signature
+    program.nextSignatureId = nextId + 1;
+    type.signatureReference = signature;
+    signatureTypes.set(uniqueKey, signature);
+    return signature;
   }
 
+  /** Constructs a new signature. */
+  private constructor(
+    /** The program that created this signature. */
+    public readonly program: Program,
+    /** Parameter types, if any, excluding `this`. */
+    public readonly parameterTypes: Type[],
+    /** Return type. */
+    public readonly returnType: Type,
+    /** This type, if an instance signature. */
+    public readonly thisType: Type | null,
+    /** Number of required parameters excluding `this`. Other parameters are considered optional. */
+    public readonly requiredParameters: i32,
+    /** Whether the last parameter is a rest parameter. */
+    public readonly hasRest: bool,
+    /** Unique id representing this signature. */
+    public readonly id: u32,
+    /** Respective function type. */
+    public readonly type: Type,
+  ) {}
+
   get paramRefs(): TypeRef {
     let thisType = this.thisType;
     let parameterTypes = this.parameterTypes;
@@ -1129,7 +1152,7 @@ export class Signature {
     for (let i = 0; i < numParameterTypes; ++i) {
       unchecked(cloneParameterTypes[i] = parameterTypes[i]);
     }
-    return new Signature(
+    return Signature.new(
       this.program,
       cloneParameterTypes,
       this.returnType,

From de15573dcdbad8837e1784357e9e6d518998fa35 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Mon, 5 Dec 2022 00:38:59 -0500
Subject: [PATCH 09/12] how did this get here?

---
 src/types.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/types.ts b/src/types.ts
index 25d9526ae0..df7acb80eb 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -916,7 +916,7 @@ export class Signature {
     let nextId = program.nextSignatureId;
     
     // construct the signature and calculate it's unique key
-    let signature = new Signature(program, parameterTypes, returnType, thisType, requiredParameters, hasRest, nextId, type);;
+    let signature = new Signature(program, parameterTypes, returnType, thisType, requiredParameters, hasRest, nextId, type);
     let uniqueKey = signature.toString();
 
     // check if it exists, and return it

From b3a6e27fdd7e028ba3ba0fff11d3648c35d90f4e Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Mon, 5 Dec 2022 08:22:25 -0500
Subject: [PATCH 10/12] refactor to create

---
 src/compiler.ts | 6 +++---
 src/program.ts  | 2 +-
 src/resolver.ts | 6 +++---
 src/types.ts    | 5 ++---
 4 files changed, 9 insertions(+), 10 deletions(-)

diff --git a/src/compiler.ts b/src/compiler.ts
index 993ac353e5..c01ef852cc 100644
--- a/src/compiler.ts
+++ b/src/compiler.ts
@@ -474,7 +474,7 @@ export class Compiler extends DiagnosticEmitter {
     module.setFeatures(featureFlags);
 
     // set up the main start function
-    let startFunctionInstance = program.makeNativeFunction(BuiltinNames.start, Signature.new(program, [], Type.void));
+    let startFunctionInstance = program.makeNativeFunction(BuiltinNames.start, Signature.create(program, [], Type.void));
     startFunctionInstance.internalName = BuiltinNames.start;
     this.currentFlow = startFunctionInstance.flow;
     this.currentBody = new Array<ExpressionRef>();
@@ -7102,7 +7102,7 @@ export class Compiler extends DiagnosticEmitter {
         }
       }
 
-      let signature = Signature.new(this.program, parameterTypes, returnType, thisType, numParameters);
+      let signature = Signature.create(this.program, parameterTypes, returnType, thisType, numParameters);
       instance = new Function(
         prototype.name,
         prototype,
@@ -8668,7 +8668,7 @@ export class Compiler extends DiagnosticEmitter {
             )
           ),
           null,
-          Signature.new(this.program, [], classInstance.type, classInstance.type),
+          Signature.create(this.program, [], classInstance.type, classInstance.type),
           contextualTypeArguments
         );
       }
diff --git a/src/program.ts b/src/program.ts
index d7c43ed400..abfcfe6162 100644
--- a/src/program.ts
+++ b/src/program.ts
@@ -3217,7 +3217,7 @@ export class File extends Element {
     program.filesByName.set(this.internalName, this);
     let startFunction = this.program.makeNativeFunction(
       `start:${this.internalName}`,
-      Signature.new(program, [], Type.void),
+      Signature.create(program, [], Type.void),
       this
     );
     startFunction.internalName = startFunction.name;
diff --git a/src/resolver.ts b/src/resolver.ts
index 1e94a31051..20005b954d 100644
--- a/src/resolver.ts
+++ b/src/resolver.ts
@@ -422,7 +422,7 @@ export class Resolver extends DiagnosticEmitter {
       );
       if (!returnType) return null;
     }
-    let signature = Signature.new(this.program, parameterTypes, returnType, thisType, requiredParameters, hasRest);
+    let signature = Signature.create(this.program, parameterTypes, returnType, thisType, requiredParameters, hasRest);
     return node.isNullable ? signature.type.asNullable() : signature.type;
   }
 
@@ -2704,7 +2704,7 @@ export class Resolver extends DiagnosticEmitter {
       }
       const type = this.resolveExpression(expr, tempFlow, ctxType, reportMode);
       if (type) {
-        functionType.signatureReference = Signature.new(
+        functionType.signatureReference = Signature.create(
           this.program,
           signatureReference.parameterTypes,
           type,
@@ -2858,7 +2858,7 @@ export class Resolver extends DiagnosticEmitter {
       returnType = type;
     }
 
-    let signature = Signature.new(this.program, parameterTypes, returnType, thisType, requiredParameters);
+    let signature = Signature.create(this.program, parameterTypes, returnType, thisType, requiredParameters);
 
     let nameInclTypeParameters = prototype.name;
     if (instanceKey.length) nameInclTypeParameters += `<${instanceKey}>`;
diff --git a/src/types.ts b/src/types.ts
index df7acb80eb..bdf2f64ba2 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -887,9 +887,8 @@ export function typesToString(types: Type[]): string {
 
 /** Represents a fully resolved function signature. */
 export class Signature {
-  
 
-  public static new(
+  public static create(
     /** The program that created this signature. */
     program: Program,
     /** Parameter types, if any, excluding `this`. */
@@ -1152,7 +1151,7 @@ export class Signature {
     for (let i = 0; i < numParameterTypes; ++i) {
       unchecked(cloneParameterTypes[i] = parameterTypes[i]);
     }
-    return Signature.new(
+    return Signature.create(
       this.program,
       cloneParameterTypes,
       this.returnType,

From 212264e8786b85ae815a7f11873083bceb1bb945 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Mon, 5 Dec 2022 08:22:58 -0500
Subject: [PATCH 11/12] comment

---
 src/types.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/types.ts b/src/types.ts
index bdf2f64ba2..baad2a89f5 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -887,7 +887,7 @@ export function typesToString(types: Type[]): string {
 
 /** Represents a fully resolved function signature. */
 export class Signature {
-
+  /** Construct a new signature. */
   public static create(
     /** The program that created this signature. */
     program: Program,

From e47b1c60a56ecd948e09680ab7b5df54154f1a92 Mon Sep 17 00:00:00 2001
From: Joshua Tenner <tenner.joshua@gmail.com>
Date: Mon, 5 Dec 2022 08:23:25 -0500
Subject: [PATCH 12/12] remove output.txt. artifact of debugging.

---
 output.txt | Bin 137702 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 output.txt

diff --git a/output.txt b/output.txt
deleted file mode 100644
index d963126ab11ee5c05a14b4069e56295d8f53e755..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 137702
zcmeI5>2e&`m7ptP{yAcvVE#bzbc0$zkN~(@w7O+VbZDZR@@Q%QP}mA?pkRZf8YH#Z
zt(TaGnrE38=$|ulzC1WM=VsoURhgAlnE)yfWEBdTS@)iOzyI(5zL<SCdp_Hm{YL)r
z^WSD)&+g1_%4eU>9?b5~KC3>tR$cSa?2Fmn?E36lb@eB+ALZVY+0)r8`8k@soV}3y
zkL3N9yn8zPUjCiP`)&E{&Folywr5vo|8@4O*+;Y2^7*k`%XPnzCvMFi&%T{Kl<WEJ
zMs?MD)pK-pC-MZI{zzVr<jyCv59D|K+v{otJaKRKq5S_+u6Zqg<NvGj???IPSNoG*
z%9XEWwXfw{AIkNtjPGpw`DM2F56`n_@!WgzEv)sKeDBHZCxP#a*`d6*YvL=|cu=kH
z3t8DyfzFX!dnE6kRItBN-BrfbRoVH~Ihgp3V3WOrg=e#O<cVL;{xo}EUO$)bd0u_{
z(-~NPEWdvz*D8+d`?@cX2D?Aa{-?ZqSmD*y`iVUMq}uPNvT~)e2NfKSD*Cu5e|s)J
z4`mHc<h$%@{f_ueK<76VjucM&71jK&|MH)+|092a3SY~&pU88zDyY7ky(K?i3$6aC
zdUsW52m0dE59FF%`PrK7%kH*>9--?!p*!H-hpy`@wRJ_D8gE^f{Tda4L3k^7|9{SS
z%Kw%XfuSu~J$wdFy`JsJC-9qb7Igk<c18AcT`&lTzEeHZo?E6A+x_xf9rt?iFl89~
z<xCzLY;E6QYlE{XahKyPzT5B|nr|Z=e|08xH`3AUvz$yrzotJ5uc*hIzc$=;UbxF~
z7T>KGf6&k;VsCyfe#Yl#n$>KQc8lzBWi?_4Vf#N4%Si1&^GTkHb%ec*-T6qYQ!J=0
z`Q)d{qE=7D={j00_#<Y)9aom6-uv6?8ER90a3($U8FsxtQQt*g$-_2pH+(PqI+C^T
zRJQFa`R%x}n0MqA3j40|ZLs;U`0ixwy%Kc4tnA%`*}?2~W%2%7Wf>pI|BvM9z;RpN
z&tJi=T)Qn-zp3m}h4a(O`o<o|ZpA9yl3n1z99Q3h52SuX8wU2}E`z9HfG2{1r((aS
za>}k;KkWB=!hXN<H}E#TJf%lqZV(5i=0_`atL=Xze%gzGrPo3SPSHH!uKX3h_oaBk
z=50GvB8^{M2ruHztxk3v2u6$^P1d{=p1`|)D!%A+X!oF%cJGT<{ORmpW?zY1{zO)9
zvWxva7W#TF5{O6)T!~MrUj7x~clA7>x}ECBc(wnXE<?+@;+jaaIzJtWKfG5-s2sk{
zcQ&clCXb><_`Z^3Xav4bzhi6mcX@A5Tnxv)E7iXSVS|_QZB9E7$spqPxQYX)?dH4C
zNB~;lb|<X>-w*}ZtM>I(CDTvj8<5__bBNVx^yzJ(h|eT8_;yVWm*k6M?TXxE_r4S2
zFhqb(W`C_{iAWI8)mOCmt17Ysr5(!WP+b#7SgCc0M!RMeFh=@cFT%LQL3^^&ejL>Q
zPKS)+!srbhMEq-CqP`jd`>e8%h>D^~G=_V($VbFZzZ0BjbP|0OwG#S&TkHzx2OR$-
z6y@?_SENkJJLo>c{kGh7dyXE9^7fJ3dsqHF4wQA?_GY@nG3Hck7;930J?>P3x5WvO
z{bkDSOC#7EKp*_2cKNt8azj>SaD_(55_F}JDecYnvRWFsu@V}&D>nQzspMvjN?2)k
zI+@n~+9;(I$>yG}^5o`9XywDn(#owGt+3MWv@)&zt&3J}t%O#7J6T$}U85CN+MQOW
zwZC=I%I%fV%3G7Al{+<BVWr(^Wm@}N7p>e`39Y=hl(nM%OY~^2h`&f26C2dyef8Kw
zTI+CKY<0I_AIp2{NvMIbI)+8OoUwM&hX1@rqkHXYg8-#fcr`ndpa6V-gCrEN(}M!W
z+KH`uaet*R1?;Va0^Xej1;mIw6!2~j3K(lA>!X17m|Wk;#=8RTWxUp*^gxVuDGl_a
zg0XhfMh7K-w682!O^j=I5_AwFTF?Qtj9u-4v3Al%1H;+_tBGL!!z3smMysHJf9OF0
zW9?*p6wo&=bs)KrJE!@?ZzW$r4&%crr%ru271=R6(mmqM^ZI!LG4e#7j8$!k<y-d!
zrnG}Ld=D-4`$m^?@VYD6B((mx7?1HIFwUwL#rRk|SSQB&#)xtlhnqChGcL|!9LTu5
z8=sG}i*~#Z&Fia)`26Ei`aLhzV+6>mQrcrads2zv9zQhjj|+3X?qJ;%+=lxh?K&W{
zia5{TCxZ7F>jUpp7A>aVbq5z0@2iRL{dppIj}bob{^y19t~<E6cyEvDmFldnOYIQ3
zlRmYI%iQ~g)Uh2^HBnl7ZWX>?$Xe*Oq?3}0bSk2rRR2Gd->*~^GimqgmRw5>*0-Ui
zvi|h{Ay-h5ILy;ELc1^3oqv?dtk0zfl`i1lpH+WqW&RzJz_%*zXj}gJQ2t>hKM_dN
z3rroPRxKOssr%A8(SMgpJ~~9LN{mV&D)YG>KZ{y3c5^J(aR)G>a{Ntzlvb5Ll}`_)
z27XH_ROyP;ifLWV73u0E%fj9C_db;;K9OtFx+&@_W5wcuRKP{MEB0GnIo;=$^i7eG
z)9;~zvH48XgI;&dyIkyhUS${e@w8?pM7yA=q-Td-)x{1<b)OroQX_iNu-e|^aYHPJ
z>lLTolbw529+C*IfH%}Ob#CE0I=<mb>el(4{~uMnMBL-C+=pbPql2F0I%h?$it!36
zh<}hf@5_^4R`HK|)MA|V);YG$t9k1+$C(b3od(2W-K+B~@roP88sc)k0!V4K?gN44
z3&{tzVTgFs;%nQT{Z5|tb3v*fRki<A{y&$0^jInFsQgActKMs_hwGmU9jTnBDj3ax
z?l_cJ^z>FGPrI#Esj0o&CCYV&!`A6O>0n?=1iN`6^lTKmHTzplzSk)wC)rm?ElBrU
z!5UB<6ZtJ#kxdLJ#PLz-U9kFtx)#grQom`PoS|0V-X-OYha0{SPHalGycC_!7cqO@
z<cnv*`^d3}l~(e;p2ays`6IRSRw)TI&waB8cVHu0uhh3<K_c&7iY!1X(_4zIyd|Gn
zx1r8eF$+6q-D8JZ=jade9$OxrpxvKMec?Tzx$mi46RDMcUF4s~#Zq}@y;yar?bp}k
zms{Yx%i}9=gS!@4ltx+k`{HAGf1J@wl;2D-^7S?;HQjMZg8LKfJN&gB2CIfbAE~~4
zXIe@_dx@XtHdehmt?t{IUYrNP)x)qo@?DCEP&HsadAHup{&za89L~mP)_HbA;t4lT
z;|XTXAwQ5z_$h~#Y{ELjFF`sHH{maMB21n_f)P8gm`eILK6QEYQhX48hm$mNfc0ln
z18kC6T?$1WjS*Ux18y~rZ%w8v*g2KO7Ble<QL`nD(j8kR8e;GLXsG|4zN#DznRL*p
zba+GRk<g(Wy%g(Sy;o^D>nVLzv+yIHqs;(C`Gm3mUOj`n|8WwVhZ<fARWXSSjd{KH
zbdw-1jd|z$TSOo6jCw>U{a%X)sg2Ohf*ux{soYKLn9C5o7OEN2ouM6#Rt<(jz_hI6
z9h(MKt23SwT%&*653c(YfU9b?>A-bQw31s=k>{_8pK!hEnT}oTby__r!n7O5ccD(!
z+%=+PJm0_bKjrguHlxez@$9Q67u%%7+?+&WswMr`-xBJ7r&Ei=lFxK1tM-1}5T8yp
zU>fPw2(9{ZmUSV%M$C}h2+>{UNyh7TgLb=jcI7W(F%hdHeuw7MsXuC0nYG4*rTVkY
zHsf!|Cj85t>ZxkEVR>2Zl8Gs8mRHosbaIo6*>7ZF>Keh}SF+6WI<*Z(rVY@sWh-h-
ze0?gIwHdp=2-L^MUDQ#~0=U~76?ZXeWLAaK%9yzONO*!w%TE%O7>DapiB7J;HKB3d
z*A)i0GE<HGTC>s|u5RO+3^Ul<wf(t~bxxHZ9j8;^%oM*&^>&;YcTNw#taA$Z9Y>nh
zaTX(?hO?$bb-WsXMP3}92luKtXSbZ@&=%;T5kBjmeJ--L|NJS3aD=SOx%h4s@a`84
z#JA}e$?1Qm!>6oW_r;>yKaB>GNgxi0?Sjqe6%0P_vl$)Kc%R#$%={-(s4+q?{Y*Zw
z>~(wn!a<OWoGCz_gUM^y!Ja2lYsOZ4RaVLzeVs9Hz1i$4)pT_`)%dgi>QFOE%2QFh
z-i%PlXVK`GL&BDPqVs~YXse_+d)$IE&SKE2l=Fu<te*3Vxm2rNPhu`9_Bbm9Pm`&R
zb&h+o5XZTsuJc&^_eFV5pV*AYn(sKD>)7$d!CtgUQtTbJV9&Ff^LcNYI3%~*p93xX
zMdm=e3)idhQXWj>cPSRXZD7&Yd{y*nPVe2U>AhtzSc>2*&xaZjyf`?Fbp$C6k6LjE
zFaBKB!8CdCykL?lgNuSm>e8KKQcV7(6_e+g8`<?m!eQBu_-iW;&p$VE&Omoe4jmD=
zQQ3^<ak(cmR!(Yh`;e8l^*fd_Rm9u-`S<<rbgS7RY`&^h`|L|!md%--Uv)?g&~veh
z$W>9F$w_mXgQ7di{c-FLGD(~(XMGLo?`wXE>TY5HRDskpOsVz5B<zyBwQu-C_08^$
z)ayk3{?xB<_?RcJuLh$uK9IL*o>VrXMj>>kJ5nLV^li>X%zO6i2^z9<;o_=d#mkoP
zs;}L4Yw)z+`|iGLrOR;p*I7XQA{*1DR`rEVt~F`hxa1GQ8&pPhr&*<yu_%}QLAmql
zX1O9#u1kjHAu!h7*;C|NlMcR~vXng#n5kE(m{+fo{5rir#6F2uz7&apr>PNBJFkQ*
zx=0!Nh4d*%YwP}u6$R8W>scXoI)F~qc_p%%wW#clRRFdouhR6@0f(+D{7CL-m;0Q5
zP@<p+ukIY=_=-}WPZvG=vkNx7GC`*w&6D|QMSa|9y-$dKsQ)PX^5g6>t*Y<FAqOH`
zz~-0274Qet%PGWIC3Gfm>Mhv<(|`GMthmcMC7U*gO5~LL_zXJ*&g69-W#Y+3%1o`C
z`qR48XIU?Ii?;NkQuc<7Gu>RaOwxG9#ezYEKo=TDJE|=WEv52v`^+BJzr7AJ+Gxfo
zds+F9bj2#?>@n8>%RUvY(k`<(wK?SsY#g`rogWPbeYgXf%u6@q`KskOdtAf<q7p8J
zMf8OX<IBKdJQ%1QWHMqE9D=>*HjF{*{PRaj6RA~fT8K}(^F@goR?iQqRb18>8(%i9
z5uUFtke)~gwMwk2cW7=<Z((R{G2g<cGO1lc#{GBah;g-qPQEl5S>}p3PZG@LH0H8!
z7*}KJL`aJm45=-Uloy#l>a>ws5OMcIa>wd5hEl|Q-iS5oF}fUMNWi4~?#I%WS{rCF
zfG)g1-bUvHK=DoA!l(gRky=i5i86#A;NC@wm-@5W;VNQ7^ZkqnkM8uL@_H;P*+f}A
zH`0Yi&i5>hO~jLla6?BtV~lql@qzvk(DO~bX<ZC+8?-k2g;b#-f9ZoH8kL^RZ8c3~
z#`PrcBe~8d-s#MVH}d-{`8%&qI>x(K9}m*X7_)9mc0S#p?&~z6^O5Y0$virZGlh{!
zKzp`j7st|0?8PVN*y?;WeY0RGRMduHGKgoIx>^!Sb8ZbyH5cZ%pBG`>aGBAYaYL+^
zxJ+DDsxx8^Lf=ZGW$s;s|Mx|5XjlBljj9=<TV(X;e?K~{pgED9Y>P~6az(^?^aWIh
zP??0zIg}WDvjflMr%{lvyreC-qux`H%dX{iVEJFN2G)gV-<(!D#jIkw5ACt2S2c~Z
z5AuVy5939LU|II}!#!Dmdd?~0KGq0m)Vv+%zS33VnoNJwB8cmbJyC7Ze#7y4)=l4%
zt$X#jeLM%ZG5V#mF^~+8E9tg4cPp>02YwpYvgl5p%VW$tx2wf?eVx0~NVe^2^>jfE
zRGsJRk}~Geyt9-^bWR!Clg3#cwr0bKah3hf>wF4P`+ZqGpjBjd=FFW`O>FCI?l5-U
zF`sK%J4Dyn4sB%)-=THH(*@`y$`aG9+P|3B7w)SWjrjUYnqw&XK#JH58~b)%qy9*%
z#L^w*CCHdNLW0<iR!<LybLk<i;Gz<e$b@!8PK_S4BFng`L=Vh1bPRtjRy5HTawF8v
zAwRIK|5TI{k-F;<Gy9!u7Ojx{Me0k50PQ9#F<ZF%$w5Q+pQO2Gmq_*g6N^txb0S4|
zA4GL|X`(>Mr^IG~hM3{mZBlLjJDnmOJ4S)tyK?O`Cq|^lr%}*<L9CG4H>+sgo_$>L
zL{3|zlGXXh?zk$?VNNX-xOH7?I@;IU&M#bFw;?!(fpds{l711L<2ELzL})}i%kfa>
z5|imFoyrg~$k?mlvw8pG5Yp<St`yxrM$-RIrx1svK|oJ(;w(Lz8c0W)_G8%$<ajPe
zjESngC(5bS{G8;$?2Kd4gF54nbDnfU^DFrTPSG<qn8=Gq#cX&uoF0MK4cj}?L-e=P
z$)>-PyHDg^UVkofNz`Ad&22Qnt3hQEx_BXbdoFwvSF<C!j)`q_oEayj)%W(~`8XjH
zIn*T1bmFd4K|4RWJo42>XvOz=$mtWBJhdq7Y{u^S;j($BYteycU60IVqz^}}X!1|m
z9rH@8R(OuQ6TON@LQiC(l!MSNL@S{_KGQjz=twNCKg$1)<jgkCW71Q0^gEu*Gtk=F
zeWR1kp;BgmxBI-Q#S-syE%&PGkkHejbfteQT6`%d=6*}5ts7-A!Cm)d{HJrsILR+Z
zMH_r=@U?FKD(SU<7VbocArn$QtIL9|vn%hPN{O#3i2%<(IXk<?P6f&JYniQ-<G<2p
zDPKnEAK&NsHE(@7w{pgh?cO+7=ON|e!WV&WBOSyz(Q<S!HVq7if8tT-%Zn<vBmSd(
zyBz+p492Db<iT)su#p3O^ugFPFdY6bx*VuS*keRBwF4}w6zy#ygnH82a5i_De@h-+
z)a0hW&3n5%mUrwln~yo-Ay#{bCpRqq)F#VwVHYg!Nu-m$)60TIDtA2ckz$dPU38v>
z)|H<0#2Q$+BQSj~dU6<Ev&#L03u`T<Qj(bsB`oEnBoR$!NP|J0@URMQD_K2V_>G-i
zCVu0@nl6~69-H3&zPxANZJh^);X`(FnXq?L{Ie4F$b~7U4n=BebnsJ&Yufv^DKdto
z^6P5w$9^so{?g1qs_k-ebYpGSV{zlf<-5tvjkP(&?8?U4JP$drjkWn;_UY`w?DuC;
zJ*yiyZ`sU^wW+5?QrC9=a?u-W(<b?xPyD6Yj@XxF>$hg_iXTC2C5?4!rvkp-VO3Z2
zT;9Dc6$`uK0mhgkCzzhdUq0wucaZZVG%C~8Bcu{2uFB$|7Mr=anXEK6v%xY|UTLM*
zMaWmDSl-kHZR)tn(HZ`dN>+Ybw2D6`MceDRh^2d7qkWgvYu}J>wzHLZHc=_+w5d8F
zPkJocWmhIe5FuuIzIW~;)0-y?K9TGA3)Ok*zvvkQTK!%Bo6aVp))nnWJvVi*KG9lt
z%k!w((`ux8O<t@Oh>`C!BVp@T9qPN>l4)h=N9}SZ)3nu?;GC-nN-?Nf(O_%xO=+N1
z-{Wg=NSj_H&fTp$XZdc72*(&daoTCGi8UzYAmdg;*>dOuCyglQs$kkqsE11W^-lD^
z)1l(<G<s2wk*a1r)$_hkBbn<r6<yMA5A8osxX<QhK(|&M+dQ`;;xy*YtvgM7^1qjS
z+n!`GKM=U+iJV@`p8uXEg)=88{qY?e_HDn-yX$q($Q6gctEy*-nQ3qe=f9b4tY?)V
zJ+8<e-Y;ZgOA^p{W|dHn63L)$r-K{ZugdzV`)9{@1=CoGA67e}x5aRRti<NG^Ac4W
z`Yh>`5}Gh>VyLc%3{R!k)#9&vhw3`;7jrm<KRqM$Bf*58Kz~>2)Rlui4ES0N52d(S
zEk?-q<ZBzo<fvE=Xc)Oja%`Edm{m%$I3>a0zL8`(O_a_VHc9OIaGe%F>Y1iz09lvy
zFx=z0?tXSaz7nLLC7_w=y==wLx@A`#1JSlN46L7zO4u64CKwWzYUAf4gyZ6p`ag#w
z{v7t%zF2N%542f!L)mt|g2;C+ZBmON|6AUU7!HeCDcR4X9a^WQ{78SVLok(uW_fqB
z<oszR9IPJN-KRmW%9gG}J9?q-RFi>>S2Xt0$NzMQD+e^;zIuq`eda4n$CgpiZcFLg
zeapTSJ|4WWv2IRKzY|Asdek{`!+MJT^b+(_8NYhkrwe5oxG2TD7M;Gccnq^t&zy^5
z4n2A2%c?@*hQPdh`al=Ed3SbSV(%|!zm~{5@qJGCBOXuePfwX7LQfYyvnhTSJLg0`
zr)rLldz}bvaYF3@IFbp|FXTG?yG{(&^DKRCn#Hj+KR~bkp?n{a_^m2KxGmpF)c#e-
zIavQ5xdPU})fy+&Z>#49>e^?0ycu=SdN|N5<Y)y(e%Kew)Mdw&3O_%{CyIOK=)5D<
z1CLwl1mdnzDO2JH{l+2UyR4tC*HW~9Jg<6BI#wLA&nlWE!{DcbYIJZo3n${ZiIdgS
zo1U4{4;MpCZlS);q3+mk&r<mvO}MR}qM7b$XYMrPM5WnZoLk&CgSE`P4l#$e(VFLz
z+qIIP!cIOT)hpybG^-J(1(E&vywVQ87M*jk^iwLIoi^1@cf0X-lJz<~&9=MM9_;|5
z9+eC^JH{~8ys{~s`(Vj(*GTE6E{Z#i5q$JET1YY6ZJL|&>$>(vY~J=}a2%T}zLDw-
zri`74{Wczd0FBg!8{U3PJ93ug5$86?U{@<<89vb-aHFQE(Ic;@yf%JLxy3P`<D2~c
zoM-Cq@;szZ8CF8Drz!H$r=pSYaDehUc?#ZH%r6?Ar_#B*=bfi?GOzK}^d$5*GK-O#
z0jAe|yB2vpCT;DDZR=9#yweuDaj8|3*9Xa-OY%CUgDaxHiH1BC-?m((AGK6ncF+5L
zeX^bXJCwR|pw<oNPSa$5Fx99}qz0_J=ir+1o7q<qQF=Q2M!L4t|1hh`PBzo&Ksr6r
zBU0EleD5=%=z5H+J?eCjM1(D-byc2{v*d4_RmU5JneNZyf1Q{m&THq)*y?zV_R2x!
zo7$S&dEThQo@IB%ovw3#)3i#=5-C&eD&w_d>W_;;OGe*KUWxJOiy|3}tDTF-i55kf
ze@~?CvHUcp{zc`T8;RCAPjZ-*y9H6=otsJBhVu>@`(+h*?`uh|Pvfu$*QitE8?(eN
z58vEM?DzA;H>`X<-`q;FfOWp<!!zsS7uG&)elb1sgZK)-_VVz}?W7j+Jn;=HpU*e9
z6Te2Y6*&u|iTSHlT?0DFxUJ30kNR%$_ik%hBw&4931om@w`_3CU2#63X&P!vs79mf
zZ8)F*qbjb8-+p;G@{V+nE*gC^+rubsTu+>p&*#WHN!3NYBgJ^FtkG<*_BtjHu@@=<
zrX0EcNVtbSR4ThJHW#H4E&6g}eNQ*t<{TL5t0bLQlWk-Dd48(zG(F?gx>Cx#<h$$6
zMXT8>JLq@P>AZT%q2kY<O72Ia5lvgcV$rLJN+9FGq@6yQb`$5SFo(%D)@f`{FywS|
z{<w+tFUC!2e^AqAY@>v4#QJ$L$7XaW8uxX3jS@-i#`Vf2?FyQb<w#Bl4mqj(H?nlt
zj889Qrnb(PX+32-Us`8WwBqYFq*G_4v-MIKds>WF50ZGI<!w`X$XD6q_i27u{dK+j
zXIH*|!;s@67n!$Cux09W>$G){M4kLw=hf<Vf$h2>t3Af0YV>mLE<L0Drq5ijVl4gc
zRh-|DDKdYMX;2@}K9ZTGUrG-AUTtpa9ibSV2gSK*@B!1wvHY2mgkR37)q0vQF)pl$
zm=EWyMP{4VbK)^a9QzO+&fcoJ0P`oLFYbqOW&bL*AFAC^4?u>Wb02l4Osr*1xo457
zb=tYQTx6rZGOLA-u_vSyxG?KcD;cmcx%(&CPl_Y$%So#>V|{~l+0=1Z=jyb&NAai=
zY7~xT-`ge7swyt)a5IdiRhKDF=XGi>BM~G0r!{wrOT!#D)b&fd9k&`T(W<*XeGL62
zVc$EQ@*M7_IkblX3c=?mD*2^w&v%uK(@AtX*G{KS8SSXe9q}9Go7Z)2iR^_liJ>56
z@CU4S&Ax~4d{f0zw`RYU_gAV+ChtF#-<Y*cj~4eMg@0^Riy4J<^8@l%JEZ=6rX$il
z=cy?@o0m=wrqQ0rtIzO@{T;@cDr>F2$iB%}k;B*Wwo1fXpMD~PxUVzMktI1dEDZbg
z6XB2dvnu-E>F~<oRsD*6;X>uZkE^L~dNMj)LRcL~6%Sx*9Gzwg=m^~wjkn#fK2pt<
zTBG$-E3j~wF&Dp0XGA^}4rbDv`bKK8a2|F1-DVoRtky@z-+vS<`tp3&<x_`ZiN4f=
zZdyhuml_WO8T^IvB!jYD+n0v0BKlFE@4k(O=*~p0VkN26+^S?SacrM4XnoA7jMnbw
zEuk^f1KV;c8I<uzy3&wobbBJ-)Gm7_wl%*sDKN^JXgBT3%66;yuYW2^bKhs1cF#!?
z*A%LAc9Jz4)~OpfPuhFF?Y(#E!zeaV-J@OOucS)oSmyMgmB25Z?(hV*?;D|u<LXn#
zI-hIrdlR>H=@P5@Y{C=X(}_S?^*ZwiIC1`X*2KE|yd_Ccr-yF54<#@i;6y5^byfHX
zMhjFcLk)R7JZ;F|sNicFIfXo$3X94ikK~>z7TC!K3(&t|v&0MW^HuVNVgyeo7x9@o
zU&M~vlrLN&L2=7*gyLegSfJLV|B0*D<X&undm`^&RMP*XlI#2y&(VnbK1zPm6x*T;
z$Xn2jP8JVIu6pI)MXu|VbL>K%s`i0elSFB-c8Hkq?uRPdz*VoR=e(A`G4n+GOo++6
zmd`mmgKPN4UD0d@BDo*QRm~_{s)@*GItN{5ypL%Q+(@biQY_@P()Gz%1?*uNeRSFQ
zF4l`&PK=MqacRe03V+vkQ?>mz7P#4T^K8G>S{fS*T=6gu3x+LTSC5g61)e*{A>v@w
zSlC$L8w<Sq8E#|R0~-sRDc6_F^W9kB*QJYsSjT;dNHA~4X6un7Bf>yL!YW=gFYs8d
z)OZMS@m+}$(@RT?gNOyyK%Bv(lQA?iqR;R-uNp@uGGS-O)oVy%9wg>l%YD0Me>822
zQrw$6>KU&^c5E^5STmUBq36f>mWMj0-~Bu=)YG_7y~>~O%hxt`hkZWZ*aiAp!JqGh
zSr`0IRt*2xnFYR2CI$c4eYJl2-$<SA*40MpEGzRjQpbJBaio4(>ddRl)Ec1&r`Cy{
zolexxYLT%|tOA7Ep%bxe9*Rvv6%pB%Cskbt85Tb?mbw6weF~Xqxe&KED8&jtm0fCe
zVLNHgnHr#aEv((`P%php?H+z>o)w&@e(LR*D#rw6Jb>Gh)i)c59;Q+rZ63V)*TF^@
z#wtm#-)Zj%FsP+4$yMA91*d*h{?JFinx_7DI!qjz1_eK1c2QorFMNS7z?rMg71;jd
zH;=2&vFh5mB-S|{3ANoUa)GbCdxcX<<<R-w8I`wJHcbUiQJO5?2LYrEzp12JL>i=U
zQfZK@Y?vnt)=5uMVjNX@@RC$r6+N{}gQ?IH9Y!W8--y&-3`#@MQu~?QQ-M*8J-iu3
zHnrDkPX$h~f<!wL7Ne%&WRvC_rY@VJNB?FN*@XR^uTGni43D+3kHkWz3U^V88jhy4
z#&zm66=T?kRrS}RkQz#sYt_#b;Z%=k##1~Gv;5~eaWU(l6v=G2H|e*YCKuKr7OitT
zgR@RwWtf$Cu^-f?Yp2(tmfGsKrQ0Lt*R;WHSjbJ+a<4-!wcdf+j~Ux^eUO{3EnkOR
zwCB}7{84IvyYT9;G&fxfzYe)*<*Uc|qeKVBgWPm&{yOBM-LJOCxHLCiFQ5*&=n1GL
zGA_;a_Y3;RdFwEVR=<0;?Xli=O_0WX^Y(5(Tcq7LDEGgz$9^$i;_!X%Ra<s`UYtot
z<Rw0nnC-Fj`)x`03wdWw^?f9tkR_o1r``=scch*4OBc$Uss~zYKy<fcQT{0RKa!a;
z*v8~tcp~5NT>Lw_sd>J2!Z2x$`jEEDkZ7A~|BT+%Tpt}dto`-uu1sste2ePH4<)Dm
zy4v#}<r^PLS1ywrPO9rZlrAoy@x82%{7<e=+ahSCyo`Nb_a;iZc9Ezo9X|B<Xos=o
zYScQu)wA>Ld|^J?*D2;>79xjHaM+B4w^z$Hakp&#A&)_|((_&Q8{XaU?gN=l@L=})
zvwV)`>-Hq(bDpI3<>TE_WR>|POmjXs#otGwIZgl7rxCmqotsXWFs)Royflrcb(ho}
zoK#QX3^|?E%iK0}ahr~fUZs8GeOV`!fLpVFl7DDnwB)sh$7H&(BtMtYfd^8zx__3z
z?e1%y2iQj+f$23&daC09EHtOb805>=hgrtpreCE<iUItG{4|L3M*VfKB*u*2YQVo7
zCCGKyv_pL{Pb7sqGsxZ-Yp`qdoy@*Y9{lXo;`MXYsr|-QMq)fI*0`#zj18(1MytAG
zPrT9Uyjdt|rLlkW-7{!orQ>nAEp9Ss(Ni*-GAK{^{cwQgmbbi1)Xz+^c{n&03_KLS
zqa@*n#6XO@+V|GszZk4n3u)r9HwUM7+i`zL<ArF|;ERfD4h3s<y;_$nQMcL(?g}^6
zpQO~^7y2f1O4_y`#iMbjhzFt&KP`-b82NP!#AhrI`yu5Fk>T!8M@I}7rHfX{)S`5C
z-Pj)0EJf-1$JzSd=~B~SYLw%Cp3YqU7ty&YYjgtHwp3r<5e(xA?u#B$y>e4D<_+;J
zZpja)C33z8^6iOe73_Yd_-LmVbDCev?^J547N_@%{#CA5zhPUv2K&Txe7olm{k%oj
zSGT6zj&=CBJZpPruxrM8>OEgrFb>UE0!!k5C)K{$q0V?l!}qbW_62HqM>(8bt8$x6
zuPpssUn|C<4X`6?BJ)~W8J}M-dVFoRZw_liV+$)`cx=6t9k;<F{%yUOi<ShK>$cM2
zxXy7qG)A#Ex?^-X%@_L+Vy4q2bbD^fq}P1eH8ix^^PnZY2Nm_pP4&OiVdGFWXm~$@
z#y9^}=-Tr{_@+KbO*2qvF|tTDIc;0?Av)|k`Ggs)T&0mTbRBY^%obDG=mH`S#pwlV
zx0~izY=tW2hg{)vS=o=WzUNgoZLt-WFpDnkhuQvjE(SO4KL0{GtjIHJBq8FWJ}(ap
zwn4^b?=clGo<hNs`{4C<rM<hYkGZLFX0V=+#qRLtUsV*Tc9yP^jH%^U%d0#;xV5?5
zSftoKUkXp@eEe<MsZO-D{q9z?keQjyENyW1cll>m!Ml1+h1sg{6cKxd;oR&};#c+r
zyQcm<P47HP`{)<yH$SMY`^wojH2rdu`xbqzzdC1_zBGwvGDq*=IdyBbzAv*+wPq;a
z58oDp8csv@@e2)7O^6s|>~(nv_45V$%fJ42Dm3P0d^v+hrRTO}1s}@4ymx1EU*#+L
zCA6l^uBQ7`;~i*5J^AlMKBMmASgwO3(Us)Y--z_${j=(`IK5+Q_Layrz4q1VYOaX(
zB0Iqy#B^2qwa3KpT{Rv>MqYUxZ|t?if8UaS*F}aCkN<5orCE3Vj(khqg7s(Ad2gO)
zlBctLj0|3+iiH&#AF=~#yRT(ql$R5y(XVXcRIz9{y)PCUotdk^ZM!V#f@7@;-r)FG
z!i)Uel30=RTocFltJslY)o`ucJS_hXhhxntZ*c55jv7A2vB~AP61lvnRBqS)%S&W5
z|Lu)DKI2uQ)Mk05cr;n8c&y9fVemN|hmsNA;MMsvb^@k&)e3W$zlvXzzf;32{e=DT
zsvi42v1aipwR)LzT&S(Gv$VG)%75+DmQ?@J&a5|k6`!2Xh!8R7?yB5vHtuI)^Zi9W
zV_F{PtZ~}YkFsWes@lC;v888e`}2ujyp|uV#%2a3%@N;jv4`I~UBBAGJJoNCTf(cA
zxvYDGL$!@=i$z<Kw~Dnb@ohMDW@<RZ%H8lGSiIe0-x>~;50xvY!-rV08yqSQV^puM
zAMrY`%nW<xp=eLrl{3y93a@4Z#n)x+T(bQeT${{|`MNx=P1>6DJzuyc!?)pU<?FIv
zTE}UfuZ`cQ&DUlBwG`PW19KozNSpZiWi`Q2b7$IlhxJKLkl3%~R>;9&>)M%A+hR5I
zJJm3Hjw%sm?beH@sS*L@Nt}VDF<|nrY2Jo2HMKX(vV6pa$=s-Y%zRtDJ9cnwOSfQq
zrY8Eb_0?+5ly4w!{LSf3$nny>(7&^<-F8N%=Vf^=pHp9RtUj`svi6#ms~<|4K{_)m
z`p+~zaHH5%7`!@-iNHlW)sN+$`roOrxhYgauhM<#BsExA6&tZ}VE>8uO!X6=oob$*
zQeMpEH7S9W$Gjbt<f)c_OL7C8oyrNSwjx^z*ABT7i>XBVu-zMERX_26jvBrbN~I%*
zlVj<P-4Pzqe5uib?y%Hrv4Q&?k$KOH9JngD&&%tahaSC@ldy-~Yc2QK-V?cvCiz>f
ztJd#zim$(md{UO0c}|Hd@+wVMP4?~L_RywS+LO$SLps8Q8Vaf^sCgm^rgMymY4yXE
z;V#8lNxJ1^TU?z<Gu98j`dPB)ovU;PHM$sk>0SAU4P+gl`Z<|%<*-A!j+o}w>}`ql
z?FwempXpU^cgln-PE(9VkF+aKV%f!28J3MJ^VKOAQFcZfq=e;968w>QsdH;P#)rps
z#C;deF5|teD(NEPeWNp{I5TFWGwJX)uV?zxB2s*%mS{<uM!mDqndi|m+UQL3$Z#hX
z@#V3VqR!lK_t(;;dC@JS4VJ-jTkIbBo$H>^d`ADS2%F&CjHJdWYLvuw$5ru9I05Od
z%%Ndz^u<3ENyUu6X7<D)p%yhLzeevf?{nm02}DSr%W7h@+@nB9P<o)d%tUGHS<y*>
ztAKiH>7;W|9P*sc^hhA@6AR0b_h?WV=4lOl9_sn1TRYrYKf0^?B$Va4Q0h>O^y^)P
z?Y)`~w@8uEBlh=0LQJ)NiBe0M9V&|YWp?`Csc@O6o5(q8*B9}P$5me+9V6tPwDWRX
zGCN#zyXsf*J`*BeY0eP3XC9}<xU@I$kz_@PlO4+skuvSSKr(4(O8ulM<$@^Pptai~
ze;wn|cgW2St;aWze40JfeONA0f6K*JS;gWqv5j->Z%ryKQKfx%y_3v%*`jm?m-j`!
z=Vy#u1l(U2`#MhaN^wt)lvpfT@5c#_sT_bl(S6LgzFNiAkA)KGP2wzvW)-bLo?fPT
zKdZo}?zJqDF9JR{yi66vhL_>7%goF3ya|i?G1(8TN*xFmtyTb`n{DE^_N1fp=ws)V
z?oZXeTC?*|?xUWEsvsmKld-*Or{3WibuZS3=|NwIo+@rt8fJ-)w_;miQzmz*>>&#I
zMDlbmL$^TQU!l&r`|M17#C@@2utfe)<pve2biq?KgDnMyoAaLF6aI>()4qt<IX{2h
zyHZJ`{rX3OcX}lLSpEO4RGm3(wb4P$TF-x$^;j_BoO!e8+9tJ}A4nK|&9e#kdrE_O
z8;|ETt-D33Pc!g$dU?yt7K8riw$UzcrVG;-gUyabZ*zys@<OMwFy%xk62In!JmI0x
z6uJ#*lapF_0CgIxdxFu@)93OXag931m<hUdikjZujBZkzaKE(qE>ABigZonqo&sJ%
z$!m3=+rHl?`3yIQ@IWwT5b<vu%gbMs+o(;#A}_(N<ngoHejb1SJDtuPzK&7T)44e1
zFT$JDFz!}7jh#RYU{~}5+^4?{HR)xM?`n^C#v0;>B2yj-tlyJ=ynme0HS9R8=QKKW
zh$$}`w3=6!xlgq?ekC$=NB-9uY@1K2(92sAS}9zjt&5Gt7|~J8ITjyv!eZ3RV`G$F
z*s<fO@thr}p|K_HGJHamvX2z*A3g1Vr&8d&SPe2sJD=~1C56XE=dxP&(R$jcq%YE$
z(;s%FLZ8!he=V}k^BdpGU#Us7DM9pz;N#Ift#McD7*Su5XW0{Nep%$9=m7$G*V|Z!
zFGb2etU5B>s@Li0>?oC-erKI8&GyMl+>*s(-bxA;kBFA3WP=aIa7pv68y}_k2b6@p
zsy!zUgxc_WH3Lnwmzqnw4Wbx$GM~%4XF~ZzcByOEm=aMC?aNR<C#A}izMV$RtJb^+
z9VokvD6zpW@=M+8>k@T{-?<|@U^lu4r|MGYATTW1pZz<6`rqk1?pnwA+pF0QD!hGC
zRnw+;%EdnFHnh%R#K-hZ6qX-Uf}aR&KrKvwC}TawGu+Qq-<7<<l~XzUp4gSmOhKLo
zj3OKgU2RHM4;9l#<b7YBCs)tE+*g)^x?26r6~A7=oz6mXds?LqtpPcuc=QG^P|kTK
zzZtjDnP>jK>JY;K-hs_*<T>ylf1^|E<!RhfBV6<}5SN^Hg3;x{jcQHKlR}b>%MsD1
ziX4G&r5ph-sP)m6BjAkHafSL&`3|CzmN|c1ak=m_HfPl1lF<f^+<}!H^#xtIP3~|D
z!*oRYx)^WdZQ^-4!#t;ps5LG-mZrufu`)Pv3HF9^3H(vgA@jIoaV^r9Q`&k_&$lM2
zbIN7J)YP~oRy{^;d3MGvzpK1~ybm&uTUM)6v<mVv=#<NbrKxdAoC_7X<l8eYfj^W}
zx?5hW*C~3k%SH4~>N@2zVrpvK5_4*iTmEv!Ey^iV^i#;3QIXv}8#?vqR-IEW8<wWU
zC3G6O^%S|}uV-8We@s=Uuzon@;_H;li7B{+4A@YWSJa(4y?c(JUJrmRlx9r)uDUm2
z*+PHiisrfW`h<Gz%)FQtEAEr+r<1L3)zvchI&>Vm1`kft`a*EIFVN9AKNGloh9hUW
zYPO!-5BV0VCxOsk<=;!m;lGech~&Dc|8C1^#TX^i9?4?y+1)Dkl7Av|&#9$M@m|hv
z`A!}4@ty6u`Mewr_zriZhKtIAW0AW$xsp6y%z(lXT`Ys;xhQ6dW4y$1T<4(XuIX}^
z2eU5O;uMSRP}68u31+3dF*`*kQZL?Z24(*{9YPLUqa@24+u2!P2|qBAA8sLgnf5Yh
zZL;=ASj`LBbm|3^%jVr{wKLSzkgeP~t>$|r-`B={kwX5t;@|Q&aWX-D7aA4S`UP7p
z_1OQK>=m0tr>@2dXtl3^P@V$QY(wrh$3W!fKJN{0&6VUNKnkOL)?4W~KXI-Um34@a
zS#3f)_P>lrGigqb3KnwXb)1(dqq(a{9abIhkZ5A0-sd=FDj>@{c3oxUahFu>T40qn
z)FRx2N8QJk>R<oZ|4yerhpx#J(*x`Wp8i;5GkWSoxJE0lv71!#BCF|z^9o7R1zIzN
zg|SuD!BBtHCe_)CSwrcwwf^Wt{%-O5YoTVj?fde4=zCA4uI;~hS5BVV&dqXax1&o?
z#@5nmq0de$c!050r)tmt8_{6?ZRzTw<rHPyp*&T42h-~f!c7<~xBKqZ^=36Lv-^6q
zC(_WNP;U+bPGyV2pzK*WRygq!A7C6RNa3(w`67mC^=Gu(j1x`C4pZO!gS@J~Yll)-
z8zxUji^GuBBSp)7K&#@VIu!F!_FRV?UFKFVt<c<RczRBEIf%y3nsljhYI(?NhNN3R
z<M4cXkVHvR`h<g_P&{?|5%Cd_he*Yz;$JJpGGVEE2C4+tR14T|%R-x7LdV^r?5luw
ztnyU&(Z@xUqaBKE@LC=^T47uAnb*VPHv~V<mxoncWPI4Lsx~`vU9gGyc;nI+6~y3B
zqa=k|bHa=1pD5Y%eTlA?rKuaI^CA01uZFWjZpe%vr>YcAD&4L(dL8`w)j>z4|JWRt
zlSWEIR2P)#XmxOzh9rvCd!1(9t90TxR5Jz3{-$VA=Ma}ge2Oem`nh`gTBf1($s$&a
z3?Ew--Art)6i(yGB33oNhPx?QBB!bpHsi=5Rx|~;M9rVVg}!k(ZVXv;^Hjf&tHEw2
z^ATMZndfppSdl-s=(BaoBCYosTNd3CY3Tfx!f8BN#Hz;Uxm%T8Z8mcXn{i|jE1Cja
zqUKNGGNvrLb*kUTl|{D_Ps3#qdM(;Tc>B|kMXVUA8ebMgKjbix*<;G0Dfl9{WVVFM
z=@d3&$)YKEA-59EpTcEaS)}^Ck1QIh^6hq_zdS-!&)8b7oP6qu)Ll`9q17T*4Z`n4
z)5#a&*)i+xxK?f9)LDuOSQNKZ@uN>zB(KNL+Vo(#x(6$|Z+%bydmSQ<1wPYrj<iDV
zK>Q4yi1Tk19^za9W{`s$|7=Ho_jv+34@UoIz9rW&;pS(-*NIH=&}lh(-Z8mfW*ERL
zicju%C7;GKk3HkrmLHChTGMn)KS0khbzI-!KW&M3Np`?!E$%s=4Q;o@4SLOc>-4h>
z<SdV@)YeTu#vPKeA0DfZs|^3}SdG@5O&EWCipw~!1x~8Rb<A3BVlRH;{7{kwJZBY{
z)Cf?1UVN#VYW0{Tk49$g7vW5*HipM(j2;+HeYS<YJO7;8r!&*?d;RrptoVrCEiUcr
zI=3mehOU(zLhiNOFeNREr_)cz_PcZE^!u6<eStE6r5*|%JCVuL=uv7&4Fk4P<qG{g
dz2{T0e(GAa`Q&?|PrYi`{?608uWOj^|Nrkwk{bX3