From 32473b67bc79fb67dd0565129c149a8b304d0676 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Mon, 2 Dec 2024 22:56:33 +0100
Subject: [PATCH] added process scheduling algorithms

---
 process-scheduling/algorithms.typ       |   4 +
 process-scheduling/algorithms/fcfs.typ  |  20 +++
 process-scheduling/algorithms/pr.typ    | 149 +++++++++++++++++++++++
 process-scheduling/algorithms/rr.typ    |  81 +++++++++++++
 process-scheduling/algorithms/srtf.typ  | 155 ++++++++++++++++++++++++
 process-scheduling/algorithms/utils.typ |  30 +++++
 process-scheduling/main.pdf             | Bin 0 -> 41056 bytes
 process-scheduling/main.typ             |  40 ++++++
 process-scheduling/utils.typ            | 155 ++++++++++++++++++++++++
 9 files changed, 634 insertions(+)
 create mode 100644 process-scheduling/algorithms.typ
 create mode 100644 process-scheduling/algorithms/fcfs.typ
 create mode 100644 process-scheduling/algorithms/pr.typ
 create mode 100644 process-scheduling/algorithms/rr.typ
 create mode 100644 process-scheduling/algorithms/srtf.typ
 create mode 100644 process-scheduling/algorithms/utils.typ
 create mode 100644 process-scheduling/main.pdf
 create mode 100644 process-scheduling/main.typ
 create mode 100644 process-scheduling/utils.typ

diff --git a/process-scheduling/algorithms.typ b/process-scheduling/algorithms.typ
new file mode 100644
index 0000000..2db3ef0
--- /dev/null
+++ b/process-scheduling/algorithms.typ
@@ -0,0 +1,4 @@
+#import "algorithms/fcfs.typ": FCFS
+#import "algorithms/pr.typ": Pr
+#import "algorithms/srtf.typ": SRTF
+#import "algorithms/rr.typ": RR
\ No newline at end of file
diff --git a/process-scheduling/algorithms/fcfs.typ b/process-scheduling/algorithms/fcfs.typ
new file mode 100644
index 0000000..8dc0ecb
--- /dev/null
+++ b/process-scheduling/algorithms/fcfs.typ
@@ -0,0 +1,20 @@
+#import "utils.typ": *
+
+#let FCFS(tasks) = {
+  let (processes, tasks) = _prepare-tasks(tasks)
+
+  let cur-time = 0
+  for task in tasks {
+    let proc = processes.at(task.id)
+    if task.arrival < cur-time {
+      proc.events.push((READY, task.arrival))
+    }
+    let wait-time = calc.max(0, cur-time - task.arrival)
+    proc.events.push((RUNNING, task.arrival + wait-time))
+    cur-time = task.arrival + task.duration + wait-time
+    proc.events.push((TERMINATED, cur-time))
+    processes.at(task.id) = proc
+  }
+
+  return _prepare-output(processes)
+}
\ No newline at end of file
diff --git a/process-scheduling/algorithms/pr.typ b/process-scheduling/algorithms/pr.typ
new file mode 100644
index 0000000..2b4597c
--- /dev/null
+++ b/process-scheduling/algorithms/pr.typ
@@ -0,0 +1,149 @@
+#import "utils.typ": *
+
+#let prio-add(list, task) = {
+  let left-i = list.rev()
+                   .position(t => t.priority > task.priority)
+  
+  if left-i == none {
+    left-i = list.rev()
+                 .position(t => t.arrival > task.arrival)
+  }
+
+  let i = if left-i == none {
+    0
+  } else {
+    list.len() - left-i
+  }
+  if task.pid == 7 {
+    let dbg = (list, task, i)
+  }
+  list.insert(i, task)
+  return list
+}
+
+#let Pr(tasks, ctx-switch: 1) = {
+  let (processes, tasks) = _prepare-tasks(tasks)
+  tasks = tasks.rev()
+
+  let n-tasks = tasks.len()
+  let cur-time = 0
+  let current = none
+  let finished = 0
+  let prio-list = ()
+  let logs = ()
+  while finished != n-tasks {
+    let log = "Current time: " + str(cur-time) + " / "
+    if (current != none) {
+        log += "Current: " + str(current.pid) + " / "
+    } else {
+        log += "Current: none / "
+    }
+    if (tasks.len() != 0) {
+        log += "Next: " + str(tasks.last().pid)
+    } else {
+        log += "Next: none"
+    }
+    logs.push(log)
+
+    if current == none {
+      current = tasks.pop()
+      logs.push("No running process: running " + str(current.pid))
+      current.state = RUNNING
+      processes.at(current.id).events.push((RUNNING, current.arrival))
+
+    } else if tasks.len() != 0 {
+      logs.push(log-list(prio-list))
+      logs.push("Processing next process (" + str(tasks.last().pid) + ")")
+      tasks.last().state = READY
+
+      while current != none and cur-time + current.remaining <= tasks.last().arrival {
+        logs.push("  Process " + str(current.pid) + " finished before next")
+        if current.state != RUNNING {
+          processes.at(current.id).events.push((RUNNING, cur-time))
+        }
+        current.state = TERMINATED
+        cur-time += current.remaining
+        current.remaining = 0
+        processes.at(current.id).events.push((TERMINATED, cur-time))
+        finished += 1
+        if prio-list.len() != 0 {
+          current = prio-list.pop()
+        } else {
+          current = none
+        }
+      }
+
+      if current != none {
+        logs.push("Removing time from current process")
+        if current.state != RUNNING and tasks.last().arrival > cur-time {
+          processes.at(current.id).events.push((RUNNING, cur-time))
+          current.state = RUNNING
+          //processes.at(current.id).events.push((READY, tasks.last().arrival))
+        }
+        current.remaining -= tasks.last().arrival - cur-time
+      }
+      if tasks.last().arrival > cur-time {
+        cur-time = tasks.last().arrival
+      }
+      tasks.last().state = READY
+
+      if current == none {
+        current = tasks.pop()
+        logs.push("Queue is empty, running next process " + str(current.pid))
+        current.state = RUNNING
+        processes.at(current.id).events.push((RUNNING, cur-time))
+      } else if tasks.last().priority < current.priority {
+        logs.push("Next process (" + str(tasks.last().pid) + ") has higher priority")
+        if current.state != READY {
+          processes.at(current.id).events.push((READY, cur-time))
+        }
+        if current.state == RUNNING {
+          logs.push("  Preempting current process (" + str(current.pid) +")")
+          processes.at(tasks.last().id).events.push((READY, cur-time))
+          cur-time += ctx-switch
+        }
+        if current.state == RUNNING {
+          current.state = READY
+          prio-list = prio-add(prio-list, current)
+        } else {
+          prio-list.push(current)
+        }
+
+        current = tasks.pop()
+
+        current.state = RUNNING
+        processes.at(current.id).events.push((RUNNING, cur-time))
+      } else {
+        logs.push("Adding next process (" + str(tasks.last().pid) + ") to list")
+        processes.at(tasks.last().id).events.push((READY, cur-time))
+        prio-list = prio-add(prio-list, tasks.pop())
+      }
+      if current != none {
+        if current.state != RUNNING {
+          processes.at(current.id).events.push((RUNNING, cur-time))
+        }
+        current.state = RUNNING
+      }
+    } else {
+      logs.push("No new processes, emptying queue")
+      logs.push(log-list(prio-list))
+      while current != none {
+        logs.push("Completing process " + str(current.pid))
+        current.state = TERMINATED
+        cur-time += current.remaining
+        current.remaining = 0
+        processes.at(current.id).events.push((TERMINATED, cur-time))
+        finished += 1
+        if prio-list.len() != 0 {
+          current = prio-list.pop()
+          current.state = RUNNING
+          processes.at(current.id).events.push((RUNNING, cur-time))
+        } else {
+          current = none
+        }
+      }
+    }
+  }
+
+  return _prepare-output(processes)
+}
\ No newline at end of file
diff --git a/process-scheduling/algorithms/rr.typ b/process-scheduling/algorithms/rr.typ
new file mode 100644
index 0000000..c9feb1d
--- /dev/null
+++ b/process-scheduling/algorithms/rr.typ
@@ -0,0 +1,81 @@
+#import "utils.typ": *
+
+#let RR(tasks, quantum: 2, ctx-switch: 1) = {
+  let (processes, tasks) = _prepare-tasks(tasks)
+
+  let n-tasks = tasks.len()
+  let cur-time = 0
+  let current = none
+  let finished = 0
+  let running = 0
+  let last-running = none
+  let logs = ()
+  let failsafe = 0
+
+  while (failsafe < 160 and finished < n-tasks) {
+    failsafe += 1
+    for (i, p) in tasks.enumerate() {
+      if p.state == TERMINATED {
+        continue
+      }
+      logs.push("Current time: " + str(cur-time) + ", pid: " + str(p.pid))
+
+      if p.state == UNBORN {
+        if p.arrival <= cur-time {
+          p.state = READY
+          if running == 0 {
+            processes.at(p.id).events.push((RUNNING, p.arrival))
+          } else {
+            processes.at(p.id).events.push((READY, p.arrival))
+          }
+          running += 1
+          if last-running != none {
+            logs.push("Preempting last running process (current time: " + str(cur-time) + ", pid: " + str(last-running.pid) + ")")
+            processes.at(last-running.id).events.push((READY, cur-time))
+            cur-time += ctx-switch
+          }
+          logs.push("Process " + str(p.pid) + " is now ready")
+          logs.push("Running processes: " + str(running))
+        }
+      }
+
+      if p.state == READY {
+        //if running > 1 {
+        if last-running == none or last-running.pid != p.pid {
+          processes.at(p.id).events.push((RUNNING, cur-time))
+        }
+        p.remaining -= quantum
+        cur-time += quantum
+        last-running = p
+        logs.push("Executing quantum for process " + str(p.pid) + ", remaining time " + str(p.remaining))
+
+        if p.remaining <= 0 {
+          logs.push("  Process has finished")
+          processes.at(p.id).events.push((TERMINATED, cur-time + p.remaining))
+          p.remaining = 0
+          p.state = TERMINATED
+          last-running = none
+          finished += 1
+          running -= 1
+        
+        } else if running > 1 {
+          logs.push("  Preempting process (current time: " + str(cur-time) + ", pid: " + str(p.pid) + ")")
+          last-running = none
+          processes.at(p.id).events.push((READY, cur-time))
+          cur-time += ctx-switch
+        }
+      }
+
+      tasks.at(i) = p
+    }
+    if finished < n-tasks and running == 0 {
+      cur-time += 1
+    }
+  }
+
+  let f = failsafe
+
+  //let logs2 = logs.slice(-60)
+
+  return _prepare-output(processes)
+}
\ No newline at end of file
diff --git a/process-scheduling/algorithms/srtf.typ b/process-scheduling/algorithms/srtf.typ
new file mode 100644
index 0000000..69c75d2
--- /dev/null
+++ b/process-scheduling/algorithms/srtf.typ
@@ -0,0 +1,155 @@
+#import "utils.typ": *
+
+#let remtime-add(list, task) = {
+  let left-i = list.rev()
+                   .position(t => t.remaining > task.remaining)
+  
+  if left-i == none {
+    left-i = list.rev()
+                 .position(t => t.arrival > task.arrival)
+  }
+
+  let i = if left-i == none {
+    0
+  } else {
+    list.len() - left-i
+  }
+  if task.pid == 7 {
+    let dbg = (list, task, i)
+  }
+  list.insert(i, task)
+  return list
+}
+
+#let SRTF(tasks, ctx-switch: 1) = {
+  let (processes, tasks) = _prepare-tasks(tasks)
+  tasks = tasks.rev()
+
+  let n-tasks = tasks.len()
+  let cur-time = 0
+  let current = none
+  let finished = 0
+  let remtime-list = ()
+  let logs = ()
+
+  while finished != n-tasks {
+    let log = "Current time: " + str(cur-time) + " / "
+    if (current != none) {
+        log += "Current: " + str(current.pid) + " / "
+    } else {
+        log += "Current: none / "
+    }
+    if (tasks.len() != 0) {
+        log += "Next: " + str(tasks.last().pid)
+    } else {
+        log += "Next: none"
+    }
+    logs.push(log)
+
+    if current == none {
+      current = tasks.pop()
+      logs.push("No running process: running " + str(current.pid))
+      current.state = RUNNING
+      processes.at(current.id).events.push((RUNNING, current.arrival))
+
+    } else if tasks.len() != 0 {
+      logs.push(log-list(remtime-list))
+      logs.push("Processing next process (" + str(tasks.last().pid) + ")")
+      tasks.last().state = READY
+      let delta = tasks.last().arrival - cur-time
+
+      while current != none and current.remaining <= delta {
+        logs.push("  Process " + str(current.pid) + " finished before next")
+        if current.state != RUNNING {
+          processes.at(current.id).events.push((RUNNING, cur-time))
+        }
+        current.state = TERMINATED
+        cur-time += current.remaining
+        delta = tasks.last().arrival - cur-time
+        current.remaining = 0
+        processes.at(current.id).events.push((TERMINATED, cur-time))
+        finished += 1
+        if remtime-list.len() != 0 {
+          current = remtime-list.pop()
+        } else {
+          current = none
+        }
+      }
+
+      if current != none {
+        logs.push("Removing time from current process")
+        if current.state != RUNNING and tasks.last().arrival > cur-time {
+          processes.at(current.id).events.push((RUNNING, cur-time))
+          current.state = RUNNING
+          //processes.at(current.id).events.push((READY, tasks.last().arrival))
+        }
+        current.remaining -= delta
+        logs.push("  New remaining time " + str(current.remaining))
+      }
+      if tasks.last().arrival > cur-time {
+        cur-time = tasks.last().arrival
+      }
+      tasks.last().state = READY
+
+      if current == none {
+        current = tasks.pop()
+        logs.push("Queue is empty, running next process " + str(current.pid))
+        current.state = RUNNING
+        processes.at(current.id).events.push((RUNNING, cur-time))
+      
+      } else if tasks.last().remaining < current.remaining {
+        logs.push("Next process (" + str(tasks.last().pid) + ") has shorter remaining time")
+        if current.state != READY {
+          processes.at(current.id).events.push((READY, cur-time))
+        }
+        if current.state == RUNNING {
+          logs.push("  Preempting current process (" + str(current.pid) +")")
+          current.remaining -= tasks.last().arrival - cur-time
+          processes.at(tasks.last().id).events.push((READY, cur-time))
+          cur-time += ctx-switch
+        }
+        if current.state == RUNNING {
+          current.state = READY
+          remtime-list = remtime-add(remtime-list, current)
+        } else {
+          remtime-list.push(current)
+        }
+
+        current = tasks.pop()
+
+        current.state = RUNNING
+        processes.at(current.id).events.push((RUNNING, cur-time))
+      } else {
+        logs.push("Adding next process (" + str(tasks.last().pid) + ") to list")
+        processes.at(tasks.last().id).events.push((READY, cur-time))
+        remtime-list = remtime-add(remtime-list, tasks.pop())
+      }
+      if current != none {
+        if current.state != RUNNING {
+          processes.at(current.id).events.push((RUNNING, cur-time))
+        }
+        current.state = RUNNING
+      }
+    } else {
+      logs.push("No new processes, emptying queue")
+      logs.push(log-list(remtime-list))
+      while current != none {
+        logs.push("Completing process " + str(current.pid))
+        current.state = TERMINATED
+        cur-time += current.remaining
+        current.remaining = 0
+        processes.at(current.id).events.push((TERMINATED, cur-time))
+        finished += 1
+        if remtime-list.len() != 0 {
+          current = remtime-list.pop()
+          current.state = RUNNING
+          processes.at(current.id).events.push((RUNNING, cur-time))
+        } else {
+          current = none
+        }
+      }
+    }
+  }
+
+  return _prepare-output(processes)
+}
\ No newline at end of file
diff --git a/process-scheduling/algorithms/utils.typ b/process-scheduling/algorithms/utils.typ
new file mode 100644
index 0000000..d1054ce
--- /dev/null
+++ b/process-scheduling/algorithms/utils.typ
@@ -0,0 +1,30 @@
+#import "../utils.typ": UNBORN, READY, RUNNING, TERMINATED
+
+#let _prepare-tasks(tasks) = {
+  let processes = (:)
+  for (i, task) in tasks.enumerate() {
+    let id = str(i)
+    task.insert("id", id)
+    task.insert("state", UNBORN)
+    processes.insert(id, (task: task, events: ()))
+    tasks.at(i) = task
+  }
+  return (processes, tasks)
+}
+
+#let _prepare-output(processes) = {
+  return processes.values()
+                  .map(p => (
+                    pid: p.task.pid,
+                    priority: p.task.priority,
+                    events: p.events
+                  ))
+                  .sorted(key: t => t.pid)
+}
+
+#let log-list(list) = {
+  if list == none or list.len() == 0 {
+    return "queue:"
+  }
+  return "queue: " + list.map(t => str(t.pid)).join(", ")
+}
\ No newline at end of file
diff --git a/process-scheduling/main.pdf b/process-scheduling/main.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..96f8202fa02ea629e10542ee72a1eb0c30ccda4d
GIT binary patch
literal 41056
zcmce;1yG$!*02j9NCE^2?iMt-LvVN3jk~*RfCP7U_l>&*3l`kngS)%k4d<MhZ~i)W
zX8yWgUAn6_?Q3=S`?8+Zz4;_7C`?UH!}|WySJ2P<_iO}o1lD?H@4tL`Pe4Gc=xSp~
zKr3u*<?xbHaMW{n&3MVCd&%L~wKsezC7_j6QWOxDqEfJSw9_|K(6zE>q~^D_FnFmX
zWTkIyU}|MdKr3coXyst);7Tp}k}qgzuWx8&pljvu(uF+%fE_fpyyi=hqP3EhDX5hp
z0X_Xo=6i1L_n@jTg1vvK^&ce^5EFdq^hHpH|5{K`BL!D`2SZCSD<f-y*BJoGB5!DH
zYVTm@N<hvB62OoG)Ey{S#?HXd?nNo`zm)p3K*7<*#=_7Nq$t756oCW>)qauXMO`~n
z8wYDU0(!bvr9cIODzCL@K|?EAi--wI>Dv5rnqFF}5CC2(v#`?<(1QXqI|~5=C@`|K
z5io)RGcz**(@S7sBVc|B^lStypuoh$NWcmT40Ln^Y@oo*N>9KJ3e2pGFQbDZGpGe<
zazT-SjfH@o;UzM#f_?*40QJiX%3ykl%#5H9=9kFKz)C<5s=z|P$OfteO0W{JF@rwX
z2pC>U*);#>GQBR`Ki5gp(8}1sgn)^e`9-Tg_LTrg+gBZ>URL^bLkXK&I2hW2Cd@+D
z!BEifWedD?3YvdIUCZ|_sg^M^*1zcxyN^AB=OB=|DuQf%<dsA%!6*Wr<cgd|2=Qh`
zyTVg9+UvC!MzWNYBqAS-dc3SHj34$bc{~-j+7)g&^PH`utR>QoMuZr#B3Sbe%%_)N
ztM!--7TnEBC;&&~1FVf@94g8CXNy#LW?q!8zZLR$V1GavdM+f*f8r@VI`IAYmfR&<
zgZ;F)S=Mb`{Hel{D(6^?ZPqL<X+FhVL~Js1V<_k-ZKra)U-%P;%TiQgRB=Cz{0*)7
zOkT#1wi?`-MsBR=LV3@RRDEF^OD%P2Eu$nD&4k?|23n<hfZdN$P}SPe_pPSG2U7A_
z*(FLYq^-9J*+$}eoiio}(Ot$n>*F>W1h@AVlVESqB+yM$vJC(`A0zPOS*I^5?DY>(
z+cu5uB{^{hyuZV5N~omgS3BT}zD*XHhg63dr55#7&IF9&FhN`LNsQv|e2Dc?&LopX
z6Xo@+<g<d9_a!lbPKHz;=7mK}4MIUl<MLgVY%dV>euFD^L6%8Sng7){)I1wHh#Ar?
z0T$6oHk${W)(*9f=ct+o#(SlVO#5oODFvwvz-Hu~AGfvNVkx<9{9U`@q_ci~*YO(P
zZ3I^B<x&1~MgMxJL7VS?KGlEj76v93rq{>kKkSO{Dy|kd#;D#a2QD+ccZo}BbLLK0
ziAia5wJldi2fFT_Jy$(Wzi%XQ$fP~GizaS}oXqM;ASo$}qtPPoMMw}cM~T$s1Yt$<
z@*W_3iQdPFb}MDq$-@d=L=?(S@+31`8_k4Id`+CX9=b1cepq&2Nr8L=W_Y4T$2Y_!
zah>70aa+FFl~lgAag2s;H1dr$007=UV?)yt_|fn<A$0YIlPw-CfweBWEsJ*bMhT~!
zx^#FXnAP|Cjp8b%iCX%Sx*t=P&5!Tv?fnO5{KruWBDNl=Umsj89X;38U9W_`_QPvr
z0GcZ*>P%YC=)#`^^<iV%>A;vpxP0d0_?TzELaG}3hL%tSoAj9^h3+sJqWo0#rvN<l
z6)47q3+|{tD?LL@Oc<OnU3Qh`#rWCVKc^2HoohdzhTQi4;t0;sL2MS@d#?(MQ~S2J
z@<X*6idybOk%1}-^vYgy;(+Bv_(iQDC&0ass(*5Ht<fLbfGJH>_$x2^{K=;?db2!x
z8?#-eDqHoRy7UHhbee$8n(N4)XPZCbfNKjl8(V@zTJm;t2J*EJfI`2TbJ~92ZD0q&
zDE9jR1u?(xSwYdF`(`^o221?bVP-1F7n;Y%%B~OjyVe3>yr$M<OD)kwL}=?!?}lWJ
zEiH`;M|0eo;LaHOPnHO?3UfO!hKAUNjDBu&Pfa;%%ap8405A=@a|ukqozq&nd8{l~
zFmRVlt{bJ56;at1ilt9Fh_36Snq3l};xn^9!DCAM%%iUHxUBJB%U`YTVn}UjXKTUE
zH0r$}6gMADIAiKBaO5M##>JIba%%itlI_ZolETp<dHF6vrvAH-=?br@+}9vk)jo`-
zeGCfv_d+Xm60ES@dvsb6wEc%!R^GBF({6dnw~J#J2AQ2HS2r#qUHC_lSkkJU<B185
z^O)fj<%%h>i*ix;QzA+qQf1YNE<I}@trd7%;68LNlyuX@848lBU0m0F=ZVEQT)2XC
znG$MwSQ2wSyj8eW5u+<@O1s^@Sbwj6LVs2vFj}EIgDWnsFDS&6!WgJ%Ho}T8S!z@e
z6Gd9@itX1IlcPbYA5ld!wPf=6`!NvZnB(E1^r%5((XPSU5{NvHb?5Gwt1dSzvXNf~
zr1?IE5wK>QPrh|c{J6m14y;-Lpprg+y?mgE9&Afe=HebtDBq3ScW`&+CSlnllhr?&
z?S0F2D^9dOXVh;RGG`P=MHGOncru-#0Y^CS32k=H2hQjiey@ogPK!8#>x8_W#(#&e
z_bGHPf-rfPrwW>=ac-@=`J=$cZ%%t*C1O9pF{t+9nPi(E8F;5uqo|FTg+ss#^Fun{
zDG)XWXX(*~U)6bzGNeTbI9a!EDgmSmRKMSjsk*w_F=$fI85(B&I+?T>$pa72QSjjI
zrn&J;&J<7X)mBrQb6QF%Iwv~-{dqa*!JMB~NWoPe+B$d0TUnl@jf;()R-8YWv$7-+
z_A*RxLB-dq+O9Wu=~1#|P)k$#Arn9m%<ZxCOXIRGj$XW1%(NhsX#t&43FB~4X1_Ua
z#QG!Y#;J3EAFoW?I6IPnC<J>5r-e*i<D+sd8OIm7p<B%GG}{}q-{*d}&dgdG+Xw4t
z!`99mV-j#~UU6=3Q-zfa<n<_H##C{KTfhkDm=`@0U3KggF4QzpY259*Z*$5&r<7}H
zJ_{-4@4AbZ3VEk^m<a5IW1q!n(IP?~!$PkYLDa4CdKiG|x8phL;)h42q&?lKGo!4)
zLltm7r#@Lt>idEPsJ4iCg73kK9yVijO{N2>`wtg_s24vxPxf%6akZvmnQz_O4?+Jx
zVvj|F+S^iZ+8Q$|`ZVgeyr<Yw;35`v15^L&`x0T_HWyM^7#vHtJ&q=lX@o)V#XUG<
z@((|b6BF~|v?hsswKjStWxQ683VN*m1}OdNrNfD$I!387<)hOWXxb&f45G@HfSA6n
zpt`NiJW_?ePfK;FS`<Yx`g#1ViETv=964){vF;9xbNCwbizGm@0oUHr2-eHOD5N0o
zOf*!ttxGIcNy4q;VzNAAT5WD1YyF->u~kkzxBVeNhTHLQo)LXxSO23z*63tcrK#Es
z(KnChU=Qr8l@@2Z&%*u<D$ovrz(Qxv{09*;hGiS&3uYI!r1hUP&e63E;cv%#e^WCK
z!S^;1*Lo^UC)zA-g$+j_NcC%^;e^gUoP}ZpNju;tj^%cytj8dPiCjF)od4#U?21^n
zYSDDQGHeBR8tcsG`s9ck;;JoaAFj%Qmh5TE7fe=A)jPu8nHq_hjONnZN!sKg$F22S
zzCkCY|7_XKd?_-YX=ZBFLz{>TB@GW*KFX{qzm+%{!;ApIj=mnCXV^!4dfP^qosi%e
z%C)(!q%1NLz9h0E@I%5FQ&N9WJ>=6bC<Ui5!Zl=m0GHDGhRgE(GD2T59i@x>LykG@
zMh5_4zkt}}^d9oSUBIn~as2rsv&YQfBa+Bsr9PKgjkWlGA~IAG6K!o!t1tqYZR&wt
zfojNoAb#5D7yTv3hGp-CcbD>_weQw2)hO7&e+^eFGKR{{&^PHAXj}AECWeNYg$L^?
zT6Zr7%v3@pg)a7<iCS%$hf;pkD#3|gk2#!}D#iEhyTBW62SALpX11+Z$$HuB%Rd?C
z4dk=hlw;~QovgBBo!#K7yP?kPizmQK-{Ysd;rSQYVvs}#pew;5yW*1chaM-KP#vR6
zMtmNw_u*&eqe99IVIvTz{fz@nSd5ju!PuTiYO4W(Q%6vT!-5Hb0idMdV*9TRSAS#v
zT;fMu@n+@QOkmQ*?_<0(rH5rVzlSi&92x~$dF$kZ{G9xeq_Si$>4dTK3xNyTUF?gM
z5Vn&O!@+&jhq{&tG<6a9{jGN%ADiHIsW{A_q$-lND8^A@f7XZ8yc<7hA(HZYdyKM+
z%qA@!QiJ)%04m)dj3g5&#a|IU)ki7O4>DIt^&9*{DIcsb0Kx*R4P)@=FsS2;{6GU5
z-vUH~+lOmfBIaP={wz(q=WIqt63&rE#}t?zQ;4xFfBSc4cT}3+Wv;3)4c8GiD;P%r
zJ{s`J1F*8sg!u4=Ed1|lg^u|Uh7kyBpBIlP;H|$cDLkiG>sXJ_3oJO+@Xj#W1mp^(
zF3?$M^0~i3?5%C6Oc#<cTKked<(%4m9ZyK?12om|eV%}K(s$dgciC&>QWZGqlIvoE
z_AD%T_o0K2Ej%9I9|?mOh4dr?DM0S9z4?1@^YS~Zhm1?;f$li_Fm+-t?-pJsyeIBQ
zj0b464-rd$XYRc)%|GGb4;=VcNP4yVK-eU$YY9Toe}k7GR4}#&F$+B%E6ZPv`1!3}
z2msV9OiTpSj37*5pa*dZI~(gOT#7m9TA1qdSs7dW2_1Yd9O?jqB8FFM^A9d{AfRTV
zdu0*<T^mtDQ)3ec0v49n3<VG(DuXzPjpiQ%g1E)-6`}qQSOuZf-z)ke>A&M?RX!;-
zHPL_JX%L7yTIkxnwEVA;8U%2E!_+J<ng0T7FV+5TJ^n?^|97bV_tO6V$JNZQih(BR
zzvgOY5XrvaFcUinWM6TZi5&#If8a3FKX91tm4#n$7__DSz+pzFzi^ld1m%C=@C$B(
zaQKCYnb-;FUn4UM2-)dgA~O>Ru|d2|55izj9w@;;zyzwq!1xkhdS-ZyFHjF6>emSR
z099oHm4bHhYkWa@2G9T?s0X1r1E@I&>si<d80lUjGb78tV))Bi|8r&k!f;l$mzDkh
zfZ>1_4FA4zi@FR=a@XF|p)p^~pADY-<sw`DkUPLdhZu>|E*kpjai05QlR7hU!U$tJ
zV{dw>_YeGhY|98HC7!&S%;~GLT+=Igrkqn3^MO{<i56tjae*37l(1?;iL_s5mR7~X
z1zY()E|UFIkLA;MHImA|WfE4k9$FmwWhgnHhJ5@SI2-e;7QMU)80pNtiQZUOwI!E}
z=Ok=g_hG0u=Nq%&*^v-})`cSGp{f{;-w}D*JIy#;g$Ek*V+IRujfL>N#ncknU*n#g
zNk4h|0-hI~jwnehD><`vzx_&?*r2pWi^-bv_6=w?r9nwXVJM3pJ7s;hr5%zi_|xAS
zcp#svEs-(f-@toz-@OMeU!!^#S4Sak_nm!WN9@j+I{oTN4Z8dJx47QIsp1obhNz4}
z2F<2$88MegGEg+yG$=8+W_6I-1gf8RHsOfZew1iDTK}3LTx|4>TVbOHVcnZ0VyN$%
z5PAria5dnEpbB{RS5eA~+sIu{quaq#azY&$U5$k(Ob}VYU1H>AZ@3^ukgZT>zNP<s
zC(b5+LS~B`{MZqt=Uq}Cl<=z_wTw~n(9)}anVm=5)?~fnTVEmEQhr;d)GR8`X)We*
zJFoS9+iz7&@V|Rqv;N&CVqj%tf7wO<$!8O$;%)($!h9ZXVRgc{LMC&12-Kco^=k9<
zEKj>ZC98|!Kp>M&CiNkKmr7Q&jHZFNq<E9hmzB)BM_T8I9mByQr3hmg_-=F*Lox?;
zLMNrmpLb&NRD_wOhF&q9Xt>q9Sq+Q#=k)30FxSd0UfZ#4xDQyn)eYt7XoJl|IC0~}
zz46HqF_=4Q$a%H>mB_)H@rX4}TO{oRxyhmR2g>0Ew1ny5u8f372;Pp>hlkU+&g!2U
zH!5u2h}*Y$bBtsJeB`NZ{`LcB2jd>cX^d^{w~k<E%RzB5<`Hhlj$oJM5b-i4!x^fv
zTrM9nb#b=s3jN-JiD%*o?>h-VF!^Au=0+>cs|NVRh}@dQPK?Sy%k`7}(jGvEnZwr=
zjC$wTGU3_Fbsc%yTok|>?z~uEaWa0fJFyv1)}r|#isuLX+u*`y%sngF%r8DFcE04o
zuAj<jyzGZ2@?=&LK6xWKnPRb)8AKsj+?-?Y?dwD~D8wRG+AAk55(axT<O!8V_ic!t
znQae3+zO5-G2f)sldS7MEhh1KN?!B3++i2om@E(6dFbgd#dEknBT8M1+Fhp1^qrH>
zK--L()pKT3Q+ucio;pdxg#0$X_%%f;E`R+&`@qB&8+xAeeR$B5#TeGM9B_sOGbHRg
z2XS~TwUcO;vzbs#n?glBU>vOj3vnS7Y1sHU%mGDl&`Ktu-g7pDg?ucMhZs2wthzrC
zV{;Un9cTpklS(X-FqB{WnYv0*8ga99!*<ClttZE`T7m?fwbj4bai=4sVZkj18W7J~
zZ6^KXo%qy;;8epF_DC->uO+JHD_owO%cE%a(6f^p`9mtpzAg|-8_+YOB+HBqvvMvW
z)Z$K*kOD7Z0x35$5U31BV0@{MB9HQZ`qyDJO_F+To|~~lAQ2r(Jx4XPUsS8IxBcJ-
z_DOXbH>35WNb1((XG@yK>`&STlDhb8>^3_-as{2g%+<S_!%-td8fzBf3^cPs8CP*f
zNUXy$KWQ;-*Y7xTZ3zU2SG@t26>LT@a%j^idPRA(wT$HGk+#_%rI+EgUN7E;OeD6^
z)Og{Rvg+4-RI2#~W0WTAnOzzuSS*ydY$tdYQg*vp*mNtVC%lnODh>BRMA!&kI?kv5
zL_vJI7{PwI0hm(R{kfy#YnrtLg@=HyGwI~79k<RbU-SHkFlekqVe9da7$-48`eepi
zLx*1OiB#J3CnZ#R=F^)k8k4?S9Am%Hi(PVR7x<fTj|+uK*GpJEB16jywAStckHv+3
zEBF=pk6RT*%)jZ-KiAlz=w6-ad+4wY>#?DH5D?T4BpU41<J3w2O_jyQv)2v<rd6}?
zsm6e|M%jYTQ0WH_C*0l5==gY6QeGY=V9+9b?qIz9caQ{+$H7^igp5PCw3Jl&yPxwH
zlSLSJtU+=fVNGAtg!U-Rl!t)qn<VT2uk{$2LfG53%>ipGt2ZoQF41o4M$l*!n5su_
zL-VaC_?HQf`QC!)gDSaJ$10=<%CH!y7D%qN-aDfwWsMqa;AU@G*L}tJfVMo$vfDr!
z7K8t;X#Pqw-Fp0Oz)vZsyzDu&WNsUR%5h^D3}if+pNKYh_8++E)JItA%<jsPITyFC
z(4df5?yu>KOGGdn2KL7#^&`VB8l8^kfhy*bW4Yx#yy;za1U>6S==AX;*bf}Qblv17
zvjFYlMlZo9B|CUUrNy`(@=8G*$f*#3?kS)2Xfl%!`@E7=BWRRr1rm8Lt`vucK0&pW
zW4P>4<oC(KCCMbIuJGEB`Ra9cc{Oqi`&N^b$yY3_iOr51^9|Yt2Cm5;3i|gORsvWa
zK3v<&FIf`;b^}yhqtfO?nUeI2h8tD)G80BOMS@u7hMk(eK++~mCVdtXI-~0Bo>IJz
zTI4PziaD;1t16O<5T~fapqoz`+CTa1s<7400cnS_9wsx$JBVsVyA_=6_GW44Gfsh`
zGAB!~6t{}1^rr;3h!qwVI~$ASCLQd<A*q}GjOgVu4H?Dg-y$;0LNZt+MVubDk~A^?
zH~bteh%z{01ra2RY0BmW3u#*oHAIyhit17%$`S&=APXHPEKWoioIoKF2>C7&Tpl6Z
zo)o5oooLk5WX6zp-zXC&8k6~rWQI*g?n-d?Sk85%{DgX0i%z@v``nafe`Ps9h_|8V
zHP>H%6E}~>I%AQFCX%X6coa+2J&aGK#V`=?ucMg}9Ah=9*cX~U9)p&=O6^rroSn^F
zUS-@@9ZL61T@6Jan&*w_w=|)zJ1E-D)-vu<8_1n0a-_hfhuYig%T~7Q7o|=RXJSQ+
zmuD~tStz{J9;x)1D>^$4qDrV)=ugPScsuIHDl1&AI5MRrPrpDoDUY>IfNBF@8eydw
zj34Y8jb`-r<J4$*HK}C&hmUwVuHB8C!DI?O(^1<jdWTRd!~OB_$?c*CtGW~)@`e!j
z#wS$wKLGOlMzvWMQp7LaF&ZT+0o4HX--V4~)<7&6u`x%RP8mV9+7`XK`=ERqKR|f2
zxvNz`##^G4849jTm_)0Mj_tJgxGxwKOMnwNT&dmyIBw5+Dt6R&G6j$KQd+%)-6!4p
z-OXeVeDSP_j0FKA!v<{TztH(_t-4Nm$X8UN+PFRz7gaE#oAvQxotrO%v10dKU<quQ
zN{mxTenPfa&S+c>a{{<L#uE3vJAdCnHoth9Ib~YtJk`wDVKcV9*`>_#o0;?SeZlww
zYA6njK3P2Fggj7k34Mw*D`zOC+<~@dJ!Hu^0a`rI$1vOLOSQD-s(-bne)?J4FTtj2
zg;|$imzK?5l82Kr5pJPIJ2BD#vM&W5`|lgwzR#~rRG)@+$?c+61Q(1;8INnu*Rhli
zn<?3p3Wqb+=`9eY&?-O%%F9Un=v;8AHL6B~R-!YlB{iMQM&Rj5mr(i9kxM$$?-qHq
zd(oQ3jPY!ePk72bTH|2s5ByG+9+&Qoz?MFLqjejmNp*1^XCLgl2YpR1%MD(!PgLf7
zpk5?8|5PcD(DC+`7R7efX2+J?cE{$et&44g4I9-(8`3EPfduy(d_x~EJJ{G?&54lv
z<h%O6WQio@Nl#)Nad_T9oW+tOEEBSv_N@g9d@}=QoeK9*7sR{<vuK6GSAMwSXDw-u
zIT0Zu_B6n=?q%96U{K__d~=B=HAeqnv<rFHe8E9%tTBjUPj(Km6~|$yS!GpWRd!^t
z^r)0^DonZA#gKl)dOslApr=T7Du(gpp6{+)KJQdGyqZ#K?eK_<Ik^XWVZ@xtujP0N
zOA~rsP&>y^hYV<g`5Dol-~(O}++Y@KeaDw^Y1MDc59wb&2oi%8P-*iFTAkjk(aB3R
zZ1LlKZg4}nMUSFf+Y`e9+PwGPK9Ry>Pq3YO<43M5Hm)=FTgm{^N~Ell&U(x;gK!1r
zj5-GeR-LpD&|bTKV}-iyRinzAvTkCFX3Zp&TX)=Anb6C&^5Z(hQPs&NT<L%(h+8Zk
zU^U(pcsxzHOq&yc2D7GKScNCDVzh>F6vr06dM+uXfT7a;zBi%zqt#^R7O>&^ocjg=
z>b?|9ofks=fW+;GIo3(64IdAR4$cQ&TH$$BKH7-o3qFM3OmI#$0$<6M;ULQgthKqZ
zHvC*>c_dgy9z$JWo}f8fAKm}X0)8ROe`3^sc3Av-BK~(i3lL;dGq8iWkDeKHV#^FV
zRR!7D|4Tj#c4nGC4%9%7l|Nk;FQ)y!_yYdUV<D?+Z1^IEtghXwr{v|9fc#5_l%avC
z?yIxq#iPRv>YsrX#I}sg%rq=?^bD`E3xEa#wF3EQUJv+Rn#mj5zg`ru2OUxW*%P0Y
zmG#RdfPbaee?9E~>sXMP;q?^xKY>R}>Ok2d3$p*UN3d2ndcG@JtrVTw+eC0EZcZ6A
zeaJq7uW(%-5H}7L<m<bLZd2q3Jm-7ZmmV97H6Db}ieLfSD36}N-GoamsJtP=)UM_X
zzvs*I=clGn?QcyUm^?wwJcS{3;~H9CNGmNcEq6kn6kz5xe-n60UThg6<3F8h=b=3A
zEC5~Y$M&k^-Q69nX-F+6SF{8!v4A61u8*oNkChKk4u*GF&k38?+t|SDUDes~HU<Bp
zzR?QNe)1=tlv>NRA(?~({B9oYu47iUL`uH|=@?2YW#;F5Kxr;))UthLn>TGN+zd~`
z^~!U~;4{gscW%Z?SAdNzPgLi~PtB)Kq0xSh=)gRL<;Y-#5G!604hw;ce8?OZT8qqe
zqqI{YIzh$(B*c^)H{vjsBDnXf{#Bg3_FagEL<y>bZ*2tTa5LHUs>b1);AX4h3|8U?
z$Nc%sfTlMmHegod%@9l?lk<HTan4zR@96#5VZKQiNG!>~3(PqQGV1Gs1G1Y4;;{R*
z-mUtp{z9Wh@{1?T%N>aPYSiQVrcN+SPCcd=FT%v=Go_BiWXCVUE?Lv}uPJ-Q9AwnZ
zLVvTudL~BhRY08}vosdE$DA6{P^b{3MUWYEQgk^7Sawon;a6%oQ}wf+1v^B7WXzEF
zv&hV5MSc>7qi9xv-z~<F=^>M18SCKQfx0Evk#JNN<}en(L>(Jcb%e4ADvnX?E3PUh
z`lI2LI%bi*q8#`iL+nAB`q4mxeZ|%z1URIf{>aS}WA+5q%s5rA6O>|d=0pX$qKpoz
zDz?WL3Ph4pXgVo^RF(rz$>Av7%nXnX_kNvMKz1^D3%(*M>Yr7I#kq3LkOi3-(NHTs
z70WQpsa{cnv3Bv-nFL{^Inc*Lpti$T22v*zZ*694qlGXXju$hs1Ij*4S)$%T4B0nn
zr7L)6Zz__bZ!Y*=@?2amC5*IrX-wbBlNmzm)6}@+;jd5eelk^i1X{A+tu;Zl=s)iM
z2xVc%2hasWZ9*Dmgk@U?#g`_9+4$VoqS>^0Vy|9!pW^oIi%ptj6Kk4o(n7B<RTK``
z1&ynU^m_A0)+RRbW0;`%mW&$Z0BHBK<t`5D6xDy?@cras3f6ZTb&RjWBOe}1yr#tZ
zBHP}0IF_X!oHc<>zn~_0l={&Z`wRkA30I!i1O=>W^YH^tce<rC%ugaP(bf=Q+rbY_
zM{u~yG*ZT&qKro0$q#Q`QkAk&`{$`+FE=@(SL%K}n6^;=i7PkE#S)woKZ^}dl)Pzj
zYl6@H&4T^@M0BAxg8jGCc>4YRw^e^puDG49MPjD+U`ZI96^Iz~>DWFkS2o)(GIG}i
zY`G+^)&SV0DeKcuoX5!BoIa<a(a+2jB{qX!QO+derODg~2KZ=yo>L_aq9M7vl`JDH
zDZ*Yb6AP#ahA5eaQ~&um|D{b@*tYBaZPp!1*hTF5I&3VbYNk$Gx)ZFBIMd$N{zf3`
z5)Gg%+5zTceJuz5FFaK&X9yfxIm>K?dcj4iS*Pxb0O7G(eN(WWG<?7ZXN~KAxnZ-&
zF-`>y6HQEWHh3PlbtKBS>TAl39N(1Ur_F}4zz2at=lcdIA|;Xdlp+p~;brf7PEPDL
zBI0xMS!G(HGq)xDlot>Q^fki(TU2|Tks+{_$M`xc>TjF9dL?92<|fOb$@27Oj+|G?
zoh<5e!F~@%l=^wjq}j#BV0~WO(Xd_6_k)APgz&tGJT)?EnhK-QyM&x8Evos(>HCe-
z1f};NlZsMCT~39?O-qWaf%|*TWzp_NB?fyELw->)B|0Ld|Iqt6-knUncCcpZk6oiC
zAqi<tbjP6Oy0=N=7n9a2h;lZMKb~_OCBJiG|JeS1`^bmgt0LU}ScxKDJ({V9pZv(h
zs2?@49Kjt(NL8zD+R8U7P_jtSOpX4vfvUf8K-hK?*}c;(Z<huzD$Mgkt2^hCa%Efl
z{@@#dfP)`tPvU2T9Nt)pal`LDzs{CVXRO~*RRtVm?w_hp<+C16hJMtmT$t8m3C0~@
z#{K$!rB}JHY=0R(KQ%TBoDY2_;J24|eyS^0*6v*(<X0gD#$m_Y5tnYCcynPe)K>Cy
zJnU{ci350G943k8B{1Xce#`9gRHsx=X2Sy4$v2k1NrJ^is#L%NC6Ga=sbmyGEgj=4
zXX%>XbLOWjZjD;m=n1VuHe!I+YVLq=rGC;mc*%*E$I#;GatmL&0_=FBsGqTKY&BnU
z?lze<7*$I1xQ4P@U;@5D{ni`VwP3rWN;#a`uH_0lcB;~ei=)c8{RqFf5Uwnz{i;@%
zR%(Tw9h#7QPT;#LIo^R1(F9a1;(=5I9TOO|B<DHuaCN=o^*C4(_MkN3^r*utS-`w*
z&TQr2Ets;4Gr|aNz(K{e)@J|6rK_89>}9utPm-NcUJe)pXg-+|;_!ZNLeG^pf+;p+
zr@C99h)`ELt2HiDa(p<)KXj<+8Kr2B7&ni87$Xar;lj%ZN2`8-*`E#}6OG^jgQZ5`
z;ce2N3uQ(S$?N@xDBW;>h!T0YW1ph=vcSPe)0}k9I3=CSoQ9u`(RM!2XsS`-Sq(*I
ziRQ3k`XO3VR6&d>|M8}=+R(%<Ah~SZQ@GVR`av9SHC7pI@DQ2mdSTgK^(Jku%J9IB
z%aV6z!@pE0;?BM(Vj|j2!OhcWy3{RC*7+E7fyA^g30FUaXsTD9pcu)F#<RRU0^)A5
z#n@6I=hI4!zNK9Lrzsr;X?1nP2C_obuj<B5LzZV?4t67pO29pP&G;?jg28>*OQb#r
zy$P-OBBAa21I@T%zE7w_2=jvx9j#sk;}!{ad2>NSernZdX)7EqDQA?jrYy&1${h$Y
z6L1OFj0+g7L0}whL8ry)@ZwXUSp%1SoY#U=vSU2eSq#AG?3e|L@@S<Ds_vZ{E0|$!
zIXcDbk%NOl-`bsr)?uL>D8=kgO(g6qZC=S{Cdh2nolLZH00%GcU8QQQ*km>Jb@!Zr
zn;(vp;|I%WWoi}vsVm!VQ$VOVEiHut<vuPc+ArX#bM`4h=3}?G^(s?lvPHtiZzw+y
za>+3>fl3~m#omtIwzP$a!WYUAnoh|SL~aEYXQ{0Ya&MHVhe#jsw~8x!mZ8{dL1AaG
zvW>m9xpvwqQ4%Nv&h>h%N%`T~Y9cTNSU*Fapw?rxWt7Wx5*KP_r+C^f6Y_?<1$MS0
z7#*9(IBaOII@}ZGKA?)$tLTeceZFw2S9#vjbNI-pSl)E!ai2{7QGy59A6mMly<`Ay
zt&~<!_l3utkvXZ#lFu80s0&l}Z%p*RJHq<Ewp$tLY3P{P{|~zrbaeBlk^0}-t*<Tq
zi3@+(t*q?-mBYL{RVo6z5y}7f0hOZ%dg9@!;fRR+b0iq-$k3d?V#pG~SF}J}f?sVi
zj^=`BDaW#k<t4TB@fQun`Awo|z`pzov9Xow<flqyiOni@YU5MutorBCf<lA$e9d?H
zx5wA&V(3IIWDjfGtKN@i5zlF@&*ZUi2|NW6E6-tF&s3AU(08{9Hz?9aWb!v^4HMem
z<ro0Y*(-;BtfXnfTyBsY>ZW!V`OqOZ<Q9=y+mToRFf_#}aCK@o;@UHo#2%9DI3?J?
zQe}ZyLh~st#;=e{j$f5Sg1Ea7rA#D=)YWRg&YCfknc1v6h5wmSGAB!uD7GXOqynNL
zE|jQ$imRosQwA>$RfDvs-unT^!MUOiS;Jt2S}|lcI!<1`p!MCvaF9|bWeUS!@V?@z
zg21RsB&FLTH>~4O@{Kws<NH~&sX}slI*ucM4;iX;h&JOCCH*{S`daEg8!Dyb)lDx<
zQ)b4|1HW1-x5PyK%mDzuD)*GUsZ+~)u%Pg)7j{=gWSq+x(mP`?+*~N}1&v6q1Bh2v
zZ^CeDd_UH&nhj-9U7VxHG&@iKSFh#<nc6d0hq`=&1`#YFG-CRe3t3>F1Jw@345zCZ
zc4ODA=J!nvJ${2ONiiFVHF6%%;EwhuDz&o!=lW8op3eSIxpuGc?J0d>-62wGi8`-E
zwV7|OMl%%|;-B+T6G}6mro>C7uMECWaz|cdTv&%dppIGne%6Q?E6Fj~(wy)$WmX#>
z?nQ+&Q#7-)VF6Gn))Z>=$eTaiKTEkeLGSmtyEqHEIoec8E>`JZ6qZ+ZVGoh<zH62b
z_PS`!kf!Ac<Y^1U-#rc}*Y<k+krc&2krKu($0xzl157QHR0{*jmv}WP7CI{yFfAwy
z$kMr21b&DMwhu(3kB0bUDFjRDxpI~UT#5%5e@0oU>|u<(3yOgWQ$3DJu>wHOE2sS~
zGYvCMj)$VF)n^)$Qy4D|9ApyP8qx~`pQ{MJTg9xvGS~}M)PW8_v<`ivnd{3W47%D@
z7g%X<3Q175aQ}rMBr%HL&C*><xY%CaxIEkSMs$gFdjX<mSz+qb#=nLkg91s8@<Sx`
zo3VXQ;nof``uLJ3f}Yx_ZBQ?2VkJv;w%J&b{)j;v?kTQzqw{lo0PC|aO74`xD~p6^
zzanFL<XS8V0dKP%CBrcBJ!Q}KKJbRo*tma1qbGw_8aufR3idd^F|D(l?vYn}qfQ-P
z8^R$y41*>ZrO;=1h@}4ZD>IsYkA4WreN^gdqRg*DLiMgx9K|L0SwYnN0?Zph<{$8V
z8*dk`oWsV8ir;--|J<|oWs=vB&u|bVs=*UjPi-%*Zma#EdAa2m@v!dN)w}}N9L-3|
z$Sjhys}7<r+S+#W9;~S3naIhhpmZCq)jcq3J?Rg{*$$%hWa&8G9^4Kww}_V~=V4uf
z`pY+h<|kmM=_)#E^O%uBaJj|kVDv-1WNUzV%bam6s7tD9H{{*0>mD8=?Bx4uLYO|a
z(BH1s6B=mKKLbDO5p-+pAWh(~JX%;MDz!vi@0k%%QwtqSRwKI_#*ttxQGALRB?9~G
zYRap6wU<}M?eNv~(yLVpjh^`Xg>0RKk23K`Y7uUZh1*>~eR7gS!WZISbyBfW!)DlT
z{5_;ss}j-zQY?@J`u1c+5=m{`zrD_}GbZiZqN<^_SW_k0<{f;`&aHgw*?ujVx^Fr5
zL&9=CaAV;LbY@Go;1)=M@w!Zc77c`rKq{`a;Py4}*SQwTQKG`)7H*RpeNJD)G75=l
z8o1$L(yJCxqtH)|hAX`zu7M#@sfU3M6hZG(k^wW1jT#Yn-5f306*V8y<wY-~<))?S
z3j!v|kJ@puVfxh;VfI=q9hQ_F1!@8-HBR4F3cJoC9qr&u%-5U6Hvvm_w9=roO|EjO
z3?<9W_m|Cnq4}7I0R+0nv7@P4!Mc?G8UX%0=W5@J`p}1mgQsWiK@~5l!D)_BCvKER
zC6r$68yYyl0yjQ`7Ab!pL$2H8&J}mtACu{HFX)ekP`J}i!f#G6*EW_d(_p#}VT-m-
zj%N~oC)*A~tw-+cm`A2zJ9<#frK{{{IZ-bnemt%gO0#wJi|r%DGi8hwUB8}wACMM|
zxyhQfT_a|2*HSKRx2e6l8bf<Jif!zQFPlrk-7o4&wW?tvN7#83s~VmO=%$ZnERC5=
zXY%~nT1Mp}mQjXLHJghSE=9ty%CLS1ZG%(7`WIR`nE6!HGx6&r!f!hW+=mmgU$3%1
zo?pCy1oDXYatZV&0y1nyDfy=-xs|HESh4b3FvIsLX}kS%Zdy{-`W%xZXOQQcE_dH-
zgYMTGqQ&y=_eGUtAQ_NL#5i2QF!QzkR40o-EH8*!oI?7FrL=nT$L9Zuv~RL9X6kl5
zi*%pShn30&d&j}+aZX~I7dobul285cc8&<qklo@}a!DXb2u~pM{I7FDKvxOLwAI4Q
zI9_lNd-;B(>1fYND~$*}dk8i?*SNSN3r>~MvS9QSemm&ZZk>2ccs^g>pBk<DC5$oW
z0BskK!61+LFceWnQS^gqbGFc6AKz3Rahr;~rFTuv6staY(JgsPzJ%A!ME=6Qb#)_9
z@geVH8d9of6;A)yHwhrgE)*axAbKz<oq4_;^yYYdO&ESI=6#rM?XXyQ@*e$3`Mw9V
z^|pMrbg$_JrWer(`;t4s%xeOcR@2Mqfu2;_N;AGW-%0ls+}8o*#!(DH3{X{Dc0dEE
zIe}>sXL7X%@RBLv^oUs^qfeDrSbNPM^u+g`n`I6=ACvE}4nI`GS$Iefe{q9ul4@|q
z2hRf}Iuf!&*gb&lpoM>^Iki=XO8G1`w!*<Lj)_>*jF1)IaItZNG)YZ|YeI|~mg|8x
z^zqFmZ)SL^FLf07&JE@)H4E-6Jf{%nfY`*t^<fSwZ%ue=Cv_I6jABuu=1M0c*JN!F
z`}%NV(ijB@vHjJ&#LeLZ<>ZrW^GGurr21~(9%kcSZK&`XhYe1nKTxC>fw)cDi?ae&
zEq{)=gcWpq9&`9y<b!YmBDlkY>cuBB_fg@YQE{hy^<{2)GxA-0_H50Z=^Q`k8d|~y
z&t;*|BV$trCmA@5{(F((;F+(NJ2zsd)WW#4kd~f>G;U2f9?FxlPds);Ez>|Q4i~*g
z<cg(j7Oi-v?U}gM?WtmNjcdHL^2)tmr+()NCWjp~8vAas(lp%ET5Q+&>|NS^(>d!R
zH?(pKewvff@${Pp85qp5_Yodxyzh{Bd)p*+VCA8&uA}_>5iQd(m|~wJJj(gt)g!{a
zfgPVr+$&(`-D2m)CvR&CvmU%R?orJK-5e-P@XsyPaf?F^iMtYx+}XYOaP^91Zd-jL
z%&YqxndM4h8-@2TZJ(Sh(@{Paby<FxlK-@iSwlMUS;uZR-E!1_OC<cDNmB3P3J&q-
zc?I)opQ%jRb(cnVH`RK~whXdTPr_Vpw6$q7^_M!-JSiRZRfkd$RJ&uO^ng+y^V}qb
zJia@BfUNm&)<E%2#Dt%=!ki3Hb>Fo%HgAgX{7dHH)!o3=ae@k(mi9WQdIP&=J?`Yb
zxjR5)p@5nd&8&Gw<@rd^nZP|o_qy0Q<8j~I;<Chyt1ekHtjb?|s(mE-@d=^e3o-xS
zSn_}8YyV%e<p20K+5d$H8gyCfe>(pEwB#8X82`BX_aDBP(w#a~wpj=N_1Z1C+5%nf
z;<;LCl;%whFI}}nwFwT15ID4neCEzV!WlaYMUaY!({PIvT~gypB%D+d%BO{KR>)_s
ztTmo#vmy<adPCG_WVd@*&k*r^#F|bXMeoP&%H!W*yrCX8BRZZR_E(<W@9$z{85W-#
zJ@4+y37+t?tXA5~y@QW`4tXNH=XvjZA3`T?v~P9teAR&+V`UzJ$16f56~26-gOu?N
ze%#c2^-UptIFSG>4wZ6CJOy?JzhPX?uhBQX!BdENVH|n=<PZqo_TVVdVxs!Yaj8P!
zz91Ge7OD=4sRK1EqkN$G9idP|)B#C~;f|l#gW;%cK$dG269uq`QXmQm2)9teL8dQS
zSJ^LX&_&tF0^}20*E^|I@+Trz#;j8d(-Qt@mnMuOBwWH^QJq}NM49+!J1S+LzQ`Z-
zQvKH`m{JevmdasK91WAIhU5%-ak?o=*oHRJGpOHleg!J|gADn&dDQ}QAlx6_U`50A
zPtNtXLm<U)&3`5(Q!*=S(dQ)G;;2#^z*MX$lE4#*LP~*KFl)V{GiELtX@`jNUC9~B
zRvO<=-Q%@G!KCl67%Dzz*e=-zZoiIqjVU969&<hvI-_9V(DP!(LnV1y6f=SPdC|~_
zI4!KWjPzBD5>-da{t~}Z;&wR$6CeE-02$(*oci{sq?XYXP5I*XD43NmV>pky8Sj1B
z{6nXyNW-eSqVYd_>8=~ImLetzVc=i~T*nsgk|wNVT0dCc3VGZb7rNbD-IAS7Z3i$p
zl+n2fC)?cr2tIx~Va-E%825g7y1K<aEg1O?xVau!@p`-s7z&*f>u52s8Xf#eyRIZ{
zqky`;XQJ5F>|8*`q3~<OgfK=A0d0)Xg1OfMNnfliOQ^1*^cbMRdzn5!C;p769Yy%<
z9Wx|8jv_4dW;+=xS648mo@2-m4EFWSk_s{W6uLii@{W#yt`bq!t&?lDWHxwDW^S^Z
zV}$^+eFGQ7By?|;nZt*@Y`<)*QqP|tJNL_?F5;BoB3>5guV!WOCE|(##+^o5OYqhv
zg+;QDC#St_)OWS2DwL!V*;_|)Z@pO}Hn)-={w7Go>=)np1mn(KLDn)=pE+v|tT{CV
zBj#cZ=G{=q?_Lrc!;@Kla{r{!5<Qfe^PIO*M#1m4j>ulra`4wzba&w#Tqdk8HvCqQ
z&p+Iz6k2{P-en`iV-$iRk<EjXGrt~{gkS1<$WdBT#lV?2-khhDC`m>`3dHEW7$@h8
zfxahT=h4mNiY0lX3pI;4_P^yc&~oRfWFu3dZ~Y~q3tRElb~*xS=fg%IEf-Pox(_?O
z>cqU1IQy)Lc+aA7v3<)g1L-->{^Ubu`m%~HW%@hIm~unW)X$*XDmd9W4!jm%y`go%
zB^yVuew0hg+x2}!M!9TUWt|rl32*`@XHVnlhn#dG)4Cz(16K(H^Y(#~tAaE>QK=Ug
zK6||3Y~#e)ck@nHL3<9m28)31o%vyr_XXSZIUl*nT=T|mxpJ6_)C;5~$2+x`#KY6X
z(qkZP-A=>!-f6id@+nNo;zee@r5ddY>LI||fH>+l6RgO!m2dvYmE{%+gs2H*XIGA+
z3K$bb2ybh}YnlinHtOw{H=y9FBXe;YB$)R=Vn?`-rr#i>EQVm;6B{XH*gj9B)>Dq2
zNw>zte4U|ldiM)8)4&RA{mno!xSW2_1Tm^s&r1yy>bq{ireM?aE4y1iJbSt$1C|mE
zzfs?s=~gh3oQy6P#C{1d@$+oY@r8#evTvC@5`Yd=KHgq1Kw^|n#Zy85_yxo1UDd&q
zqpg$od;DAc#!9=$A6S|F0@RirV6f;N14b&Oj*p=}ccRF+doW`Le{H>U=E`#`RKNWu
z6f%hBvoWJz<Hm@1iJ^uF5g3AT(8LVv!U}FfF<7OB-$?v~B{Bvx`{YfA<M~5H{g)Ub
z$=3&Xecvof3G>zd#t5Sy&oP2WDzZ#nJQ9~FBwBwpO~aKo#dDM+`GphW&$?@E-Kvqa
zHQY!<OSIhi#S{I5%QRL;iBubV{eOOqEPW>&>@r4J+~>+^5Rw?TQM*m0f4olVkM6>t
zERyGuGU_%jkp;`8M``=u*~wTi?+`F1o~QW+$(zA?+5A@WXEaH!J&Z$-fan|T^ig*p
zyCVGP2itP%!JRS!Dp$77O7RriSHkKou5zsW0glEb+S)|ZGuISYu62}DWfw_c5}+Tt
z01V~=ycLlOmha5?`4Q^lh^n1)0AC!<`qhh}9j=sC78>df#L!-d(^+#522m4PbO0w;
zu>-UK1E+X(vD8Z9K*;klI=&7z!~I87CN)yy>cDrsls%O{=-AK(Z#+95N!7b#t(^17
z6m98lCaybk_Z*%smP_><G`Ia?bsn?&hqn@a&Q#A%@<if}7WC;^IqcmWr+N3mIc4PH
zjz3KH^%>Kcm&~Vx?xL^Lkw6(SxC|x_%re9>ASjrhv7A)AXZo!#cJVE$`y*|mdsn7-
z!nsG+>#L&L(%)x$9E2smS=IyQ&H}YradxY!V(C=07A7gHERae_j(p+NYPElgW%IxR
zYuHBuERd?Be_VMqcd#`ElcBqQvS3p{P-8x~k5)-eTVXW-J=g1NS-=2Mzd+6;mE$^H
zA>WU=_DD~xR1y?aD`|W(163TWoZUZJ_-nxI?3!ueiWS*2L|!{(0dQ)nmF**HYj8e$
zw$^%(gq6Dw_#tl%06oi|qIY$a>YZePOoMiLv7wlQGWva;_~A<PsoSrRs^#7~Wss`T
z9TV~cxh_W&n{fV)-fl-CqHxbfXA9a~tJ(BR9JO|{<rGhvWRded5ybj?HISEoD*5-<
zw`#k*oc4uS1-N?b*o5j=Y>i7uP)fz2oqs&rwRlUkI@FbqIk*Q}SP(HeAU8kE#Xwuh
zyw|f~l~?pJVZ@@E8pkv9C#s;On@FWcF0!B}x{~p&FZfkLgW_lN=a(_IcBnEmXZ*7#
z!}x^BgrSRTuztlGSnz{E9m&&WjDvAP>C`fce(VXVF#}GXb#8hlZ@x$bSl%4M4&foA
zWO<P2vk3|e_0dl|y}oQ}1#c&j2#~GrwhHbh<l(OqeK8TuvrpOC&-Yjb_K;mRPmuKM
zaWe<A_C+Er2zPmLi3{==E1a=cxWvUVN!1G?c-ViB$AkoASjd@rm*t>@)%5LNfb-c&
zMoMS2*?r3;n~~9;`#tVMx~Zs^mjn~@bRR%Tm(^tVb`S|0N|Og{3$F~V2DSK0=H%6*
z`6Ply2@MXPU*+D|C4|XQr5WExAj48JSjv}UZ(}ZX0F4oP_|J~S%bhzuwus$waH&Ct
z65VK(t4_Thm0PNSGaN#_(Mw|2BRO+ETxR`DE?bsFgitJ%t8yHKZ*u!%-JL#1gyvpW
zL|eKsAL=A{=yWtrd7Pz@{EH!HWGI??iy@^d<Re)M6S+UDgGxNLkgp1H8@<%W(b7Lm
zo>qP5|8(Du78f$}-9ClRfUC*NY=X;(+C&cu;7;0e!1LM2W3A237e%;KWM(9yNu(4~
zYLe)}o5khYM{fQ7b6j;vI3oSdotQEpl4F#HQ0aDFec?sA$MV$T?;z<e8Eanz|H!QB
z+9|BSgpbB-h1Ou#gx*ska_w}*yxrimgW4Rr;p---$g`1JB4apfFxRVKcs<?z1W{7(
zt6-}!)gZFkmpZwM`nT>be8kUp-yW;&5E`q7^nLq%5NF4}wyYlJCWa3o7DLzD`R<zE
z?_3^1ICyjzpPV|~1e+kir3zfjWaxH;k{4H*oy9l!z_c9B!DYFLz#Zd7(p`5}+UPR{
z9J#06ON*EEs3sgZ+C(5WwP@hBu<Q`>xe$Vy$L%5MJ3t1!Ny{hh8B@EuNoSn5(*cY6
zjDN}(R`S4(;rPSPzEHlq;;3wN=X$-SB8PPV&wc4y$#-e_SpspZp_EqVY<LXOq<==3
zH1?RcpMO?RlaNYaT6jhK$>8Km3A{_8#B%Z(%(KnAbnc(hRXkb*wXxK`In@WJq1a}+
z-%A<tF3H{bcaXk!xucDA&bJefPg3ASTCJj4F>Q}N8r?X#dC?*quGwnewz3<lqJNhx
zaPxf5+$cC~YvWdRdBA&yxv#E&Bz$~w+G)+K8{(8{dJ@bV>k)Zi&EZVRy47Umxqoaq
zQn&Wjcf7tiB|j+WmGRe7+Ar{QG3X$6VXNnnTqsZb0ddbWF^skLH~96h-x&Ghs?+}x
ze!YCl|MlL`e|?bh_x~4wj*fx;<sQ+0yaCiAQ-0KBx6Hm>Fx%;(qlQcoluRlL1>WS-
z?!0AyI8fmSWsrFYg>`#XH15`2EI&mPuZ5rCZhJg;?_At~H{JP3F84{YP59<mTjs=@
zU8Ym@>UPF9|Cv>4rY+ISa$R=Dk@5oiwEWpkJ-{%vPGhzF#QJFqe|j_HY18}ZSo?X`
zdV;Nl=lS-s{(1M=KlGU=tnG>F;rLn1yZ(vt83Or<Fi!hfCAn8Oz~kn0plQ(l(b4Pz
z{KU`SbtPWSkNDBD|C}x%nrti{96Q?qLO0|S!hrm=DUy_WEJm#ky@ex%ti)$#>&dV1
za!o!J-Hy1VH|L)ROyu+?eY-2BEV0Ek<3GDw|Cv+|u+%n-D*dY|R<ABrhP2vCN0q=S
zQ>^})c%?csS-lb^Kh4tN^NOMUE0d|rE>$2@v-*%B#yJbOIx{)_ba6+S@&Lm|)g~q2
zuVjLwYJ#O_&0lTH7AndYS_hQj#Y1b&Du7d#_*<pJ5&uYf;>4?~xK>oX_Ej<En(E&)
z<LQPY&HSkcp*UHyRQjaeHUqyDD;C3iN=F4~j~Q>OU1jkPNd~~C%Kq6|6}$pwL9c25
zpK@yM$;MZH`G=e{p0m@o?*9->IT6od;^rSpEo~Fd?Akh1{-Km>dt!iN2A&9d2(rEc
zIA{u_2k62lp8l+TpHy8UkiPYhSWP~Qm{CpcP@7n<n`Z2aMW-WBA{17JCh>i4dL7K9
z-Cs2XOOv{cc(A@I6&$mIa5`I9B?OzK!(d%b)DKxd4C}zGc9?FZKO!ecD5z2y-l?_;
zJ<%p^cdVH2H94fz3rVW6Y0Cr>i$#Tbc8YTFq`u`#I4Rnv9(7Q1PeZr0_8-X+3(tVt
z>9dB!3UYdGz|4V}Bj*1sp4#K+^e}hDk^20{QYhU3{Jn4gRH;*W*A1cPS5pU)9maN1
z{AXII-d^U_({h{I>+)Wng0@>)o1+Y`$4&eR?}q_0EE;y*GI(^&{qnZd-Q%ZDZ~R`6
zh4VP|d~=!bocwgIJ?`!I{4~_|G{E!tI5kK&MSpz$09(et=6%j^gnH21)9d7V>&!C~
zOIt>!>-64!qRIjbXV;m&81;?FUN45&Gu30SH_y~z|Fn?E+3!#Z<Fb{n&t<i~jmNYP
zrSq!^<}0fa_djAEvEWGzv9~mIz%rn6T7Qc6*n3tYmW%n>e8%ptGsMU33o++l(hX8C
z6$nQOsyeI49ML{`W1Q%TS$~W044KhQ+i>kJ6+*^DAQOWOxYEtg*{VxE5cSHPB6@}o
z5}uz^-R1$xSjPQ&5kfS?M|F?2_NHD%KD485G;qBK(TTKNMSIdDU?AM{vv~kt6?R`2
zMyPSKk>F!czSd<}s++ZE)g%^6ZitR@NQa|uT)OFA74dBpNsr!_g~-Ef;_lyrir(aa
z?BNaPJs?BvrFI5xUxa}hTu-$p=Wn#`>Q29TWLMI*80|QCW$QC2l^z;j4YF|4vB12$
zo*#5nsY{r%>a$5dv|7r?SUUBN6iHt+CMJZ^D=LH6HTEr9^Rf8F88cH)OIZuYI7rNj
z&sY4h_nS$Vye4Dzlc2)mnz;!_%uE(-KLoJC5TN-cs4Yy72qo)F{gp1KZ_%j_a58Q8
z`q2$Qs2YRa>v@<->}s3)llSwKJ>iZ7`3QcQe=4J^=WRB_entCl+e@Te4qM4U;m=dl
zUXu|fW-g;xXTuwphauv%rPi;C>46l}l=w*lsle$si}?RA_SSJxZrvZKiXbiB4bnXb
zNGjba-7z5D9V*@3DJ>n+4MVrm(xFI~lz`r620fnl{k`{d?_ZoVJnU!XcYW8|<K8Z`
z9jYq{7Qyhl4AG_0QJcN7cyQG(S3>Z=27G`(<|o`~EBy@;P+WuR!D&7Zixo()b1`LI
zNJG<b<j)?}<ZR372QMd^6KTx#XFIV9y65XNBXQ=u>U5#DR$_lDkRbooeCO<VVQ3#x
z+o}HPv;W*1@?kKc64ylacBGpf(NS=7@u6HBtFIRC95cPud?C8OGf$i}C&Bo^<>^?h
zJKXWxU&@T(l}4h?BxXxui#}{=<58QEjvQ&n)}r;{Q8?isRes0<ObdfVr23ehj4d*M
zYo54m4ubLXeRmUOE`Fi+XtCxe{8xJOC+ss%6iI{T^=W4F2!UUF7-{jgfLhVO<|kg~
zYUOymZHm|Ge5f@`Qic770t*+Lk%}MpE|0jyvIY+~HNgIAC&dcWk}<nI94thDjZ*N<
z0zdG>T~qIIRH4bpxxMDxrJ*t+ESmuza16Lor;_;}Tgx_$M*+<C!v@>}1~i6N63fw5
z=Qpbt4O8~T9R&e3R<iJufMp;HO0KjW<_6Q2*}=^bR?#o&fp7N%VSJs{dd!eUO1>O4
z0J_S&sjwbqmp|opBQW!d)r~e2SZLS^1h4Il9sQ&qj+U{Kk<*|^uUmHxDy>9*)J6um
zo@<r*WWteU!*DSln;Yxu>h7*XHNNR~Qd%Qlh1fA|amfBh(v_@6@Uiu4cb%cJ&5ONK
z?Jt;zR0cpg{gva0A>&_ifcCys8q?ZxjGR+7k&U|7+l`|Pch6_8+0gUHuY9PqtlKoo
zo)vH-Fl~vIi|%r-KO7{^&YeGAvk4K1Ul}|cs`m@i_6}(3h~Ch~F)nWBU>iX;cRLU$
zQjixVY_MsPxiJ+RVo!c{I4{yFhE`7u(d)6LXjr!;O*;}RKfl<Nilt{7Z$2eq-8$v{
zb^JKV^vY2B*MSjHT9H>e*OYY`xPPJYsd2+vO(S^j0zO;!jF1KpBmxkGazXrO<XYy`
z<q{;Q9dvbjU1E&uYfZYQDD+R@WO}Tr^R_t2w&v`~`Hr_2Pa`v3yYwXox_^_>C$Zqb
zkUd*+UsK}c_kDC6-N!s^qikG)<xwp|OPy@Q40c5_{mC7+trT#=Tqne@!u4tFV3EJf
z8OUKlPrY;>&6zZQM9xg!LJ{huooV53QuJ&>_H{KNk0nood>bN5GN-eTv8}vV#uQ0A
zKQQWPQ$9DDXj<I?#0PW_hT%<WDVOyWj7ZIr-RDyYuPkrcjaUxl^jF&7za*Wp2pqnT
z{}*4ne?A2A<3e(hk*U;3v}B=FjSStYPa|J9vJn7Sn$T*3ac<L=Z&KB~pr^j%)j5Z9
zzQ5W_2z2ctPwOuc9RVrD0V%z(E*P?wnvyk902nJ}v#i}f7FqKC2MlZw`LX39ADhCY
zSk^#xjW(3Ozk;#);Sb2x(d?<P*Ex|_Q|`$57PT{Aw-Jq-OP)|mNB078Be|ICeje@>
zTK7A^Ph&J1xpvt9i7Um$8h6*jWutPKFG{8#qR)!!KGgnyNmDm)dN6!a`tB$Hl*4{U
zc?2A^OWHPeRsf_olWIX{o)_TJuL4uxg>!U>jz^mm?VzDRi^(W|$2wYT<BOkpFBR(L
zN8TwXOjl$_1d_&BR0;-d>(eCX6OMEDx~;~pS9e&vbDL~Ua-;3=GQchCJeaKwgI5h-
z%WTu9nKWU~+9y8kD|>Ywp8oZ<*icihc<8n<&IfBw$3W7a&o5H0uX!uPDU&QM&hN6(
z9PUz`dyR_OntV@~O-4N?Cyb3m_d{TmX=lCYE=GN{mDmy$*P2Jr%SWUPc;<!L>7B%6
zGr&JvT!Clp(lhjQPeS-+p<;aYnaeMe0q(fpm3Z+qrpRYS-~m2&N3^kq6H&FCZ24~h
ziYEN^N>@A+ZEoTNa;Y*CSs<JZnR)c{<-@#`hmo3vl+)spVZEuvnSuAqp`flmV@7nU
zbne5-+HHkL7iCal(HF1xsJrl?ssZ!ES3c$^*B9bVNk)(bNm4(cV68La7^k)qI|Q%K
zw}rocvL~lsxs3N}2-2)J2X~C2AI9r&!zc&J+WU;*Mw|3w-T0Sewt$jmLJA|qI#ITV
z1)|?q(2S^>$y*@?%Ci1rp2G*fB<Je|!mJGu)X?gC8IwXXc$^z%&>>dnJaGorgi4#~
z>-<Mj$8#%ON9zw(Vmu4=?K&7&g_w_C_ll?N_Ba4#Vlzs*GQ;cR^TSX2!vHX~T}(Gu
z{vzqFz;c<wPcHl=;h#It#=3Qg!l3-hA4@ebrOY#wH{~<F_f=Ui`*i4r4A;hBl36w>
z1CfQf8{1ZTt<Rjj-US!I?rns@W^s6+SfcG5YXfOF>yXP-`HTBW1uj3cNEoodU$pR#
zT}WqC8qOYfgc$hYAAdh9=Vn(#si}01yiDm$n4J!i{2{*=MBdO9&EZ19z1qjAjC^b=
z+8PY2X$EriiLIa}pX+A*>li2f2G$;gMNL{6%B(#?><h-E&*>_R^5%~G-)&+!Z&u?R
z)+*p~?h7Z0S@gsU@~k8Ds%${C0c{r=DtDhgzHVGMx8cJewl_(o4|K0Fmzyg!v^3YW
z`n|yCtI|hTR}&FF!W=&u2ykS5I6_~ZD7@ypuxU%OAn3pPF;w{YxQ@-1IrLKq-LL9+
zP2oCFnQ&Uo`<kGDh$!<GDNfhSV-x#2XUg`I-pD7)M1QsTD}`DRn91c(#JV#QoQtzQ
zn8jgK=~vvQLC^48h;OIGr0)3&uy=Ub_Mn9ow7dJn#ktWo*saWzDpXzZef<<T@rGPB
zm+Q}8XByppq!|w-!s6s>|12I?eH}(#z4!ye;CQ_+jy}@8hH_aH7SL?^>G_+PgZm4!
zXC;sa{0~*}jp1yWu?sL1&m)k$aOL*fIHfK4;umt*!h3|y7T-$l^l&R90B<37@HZ|#
z#<zXtVeWW+?$TyhZR0=v<KLb*V@&((rS>Vhkg>Fkf--Monl&zB)I)Q|W>?g^Ae<N`
zY>@k7SnjsF%YTX%aH!=59z-bBtCZXuH=o;L6;Po|3RMZABVHGD&ezOH{p=<F=@!jX
z84N$)u;bGIL63&et0TSuGDoamCWV!cILu}01%vCe-tgG0ow3dDyTg3b_g#}^$c@{H
zhjAEs;z=d_$O2FJAezI^;un(bc0ZJ}!|7cJ1t8pLVijNlT8DUH%SJvn1K`?rrM*If
zbf?h`gZ3A9RH(;2nbQ%(YizlF)GtN3pxb)t6&!f8@7ImYf(V29G}6ie;GgX$985o?
zkMEaqWe#qSCQr`?TLjwdu=aTKBryPb@C!Z6MEc?qRF>pK+rVZpLkEd)B%y1H2X|Au
z7^l<29h;7aH1bqW9T{@}cFN}<4;GW{e}#r}Wp44$DsEu?{fP$gG^UD~uYZMK3?aq=
zgtxjAz8v40aJJQzFyAYdMhY`&TMNsTA>}jSgv_VZj4^MG3}EaW%j2erTGJ+_l7~3#
zjEbm@H5C4MHJaVwsm*f{iIop}g_72ULz-W@qmiob^ZchP2>Y}rQy0;Fbn?N3^%mKl
zsGr(kF8J;pq64+ytAYbLg^u>JN$x$DG#UK=vOmvlTo$Rp{kFvH9matPKI>h9nO@V@
zV6lazCRSs&V{L~99C`O#%DES?D4mh-y!@KXw}EpQ-HzfOxeUK3#N+l@@hVm*H$r~5
zO5csc!kLDNHQ8un;Tv^p<#0Il69jAknUZ11)X}J=5-y-x6n|)ip!4opXq2`4C0i83
zM>(37yAGvA?L<<`cS=*WFAIJ^J;#0VLHwJH<Y{qt#bkU*8C2RhmQhw1Rq;KR7GgP(
z%T#Eu)FM1-U-daa|L>*bRhalyi_9xg>bkuRb<gL;-GzTIqQ|q$i!<u$5Wg8c(2v>k
zE<(^Mwmc2MQ<}1c_7+6dHr_%pP^`6u>s|Fb#FGYUdS+G|>&whwm-L$GBYjr3s00E)
zYTH%^dVutP0!Xh5-&MOAc+RQsR`QWi34VXVE7~|c6a5t2v4bVDtGqo2S}uB%@dssq
zRwT@j%B!t2+YU*0^8eP$!6_flqfmivWyYGUDCfW>TQ^{(^>jTAD?HS6_KwM4n+DZ@
zTs+U4m1fDm?oqb}|F&`ktgNxwModwSPi=2rr>WhrD(mY76zh|y=B7%yMtT?lY|%|8
zU){A(VO$>{xuW>orA(;1rLmP)#h5*Iulcwy2g(Vk0Ez=s=bC*S)Ir06QRwL)7ivZ|
z|MY91*4o}OORVtFNnT$X=Q;E9dgR`XB%e;T^&P6#<p1MtmOFP>TGe-_=5H1>BC0Ii
zy^83xyUgCzT#9&TY-)RcSHy<DUD#rTwfnmDA6dF{>;YM*?__B<vzLDweY%M$<(w-O
zC?POew;3o8^b>|N-D8{QJ9=+9t*J-7^h&}FFNPwmIGJhV1c|%H9;$8-cL3zs<;O+4
z?rBxohPLiM)({N6#u-1bxd*avd9y$4(iT?6P<gL520tZVM{Z`P&?b0B+?sAS%t{-z
zNA*wCaX0uK+jhA4ef%Y92XFVW+^{X)-L>8ngc@%H={G~Ab-mKuMDVxC@I?KvBo&tz
zGw{@u|9u0}eqs9@f;!ONUhJ0|clkX=OyT?UfD3bI3y$o*&3z_$p!fSOAD9Hz{EGX!
zNiXPH-PSZdFLuBMmc>5Rx7XB)=wLKLl_#2`#)AVkbCyem=n$ZV+@z;*M4LzFQ(+zh
z&S<#>3NCD+86ScRpFNJnN=NE+l1Q<N4bjCk&7E)?gC_uaUTJ5T;YRbw>??;H36lMO
z5i?Q?4ir*>I<ZqqDO$2JT^18k#w3?7v(2$s^m`e~g*zZ%tM>vb|CP^miKffIX>-Cq
zqL9K`b}yYanaR`}bRXp$j}Zv(p;z?U&jjN6By29Mrl`jbRzSrnU;w}okc4sOfd&M7
zS$~al#Fbh)N`z{*nr26ZtFECpJk3mN>5=8?$Bp^-5g}=Y)z---+SH5Tj_YZN;_kU|
zKXmN#eIsJO8)IJ-16<H<IoT}8>ITdN9j=hi*S?~0e0}(QB3?<~JjL=Ezywd^9fo*2
z89yzX#OzCQKO+j&?f0u<>YBQ|H}l&$qnDKK96a>|W-YNal9aK#ns-1w1OP0ci)xMw
znX6`ZIcboW+`pX@`563L6}$|VlQ08DXTtwnV4+Yg4Vc<|OGloLV50{RnkQ{>fL4+^
zcJ~safi{VVd`Npa^`_lNjaf72b8@lkf4zSp|L)Jjk*m=tlS5f(nNE_hmwaz{w6JA;
zs?|z2Gc#ExE5p=+_{P(t*=Iwk85Fy*NkQ#%WUi|GkJFf>%}@AF+c{Nx>8$z+AV+7!
zwx*N0u>-el_myR-JlK{^PV?kQo}doI?D#wdMg!(mF7t(-j4r>T@ze}{l-eY!A-${l
zgq?rvAg~7ED(F9gC;4LrL>*{r^~VhAgkL=jfTmf2MA`!@>st!uIbF(UFRM}2PpPeA
zt(9_bClAj&NFJ}D@MJU=iehG6UVoAt4cTmSHyBj~CRD6G%GoyWH(n;ALri(%YJvEE
zZ6`XBqNIO#%O&hc23Cuqoc>~oCn@HuA71T3&}O#56DuDjK{Xo#44r@}*%ba^k;S3E
zQNc_MrJA2Ho~&2}bvyj)bIeUo2l+56fsYt_ch8McsK<?Mx_k{En!2x^8x{>PX=+ly
zcCQV7yd%tMy?l3zI9yYY%$eVuHA)mZU_&w_z$WCU%T@tU3_2peKW3=~>Uiszw=!Xh
z|CY}wW+9(L{)V*s`k^d27j*(Yd94gor?yH(c(#5E9X`~!+X0|mjlK3F&g~OB;e%5L
z2+&G$Wti$CO})=ve~|&P1q-n0YP7&Jrb(zGmVhD$M@4*tlZjmv3(?k&KrRJY-?dz>
zK{YeZv>l=bYOf%Qx+6^x_Jv5AXUIT=2Uk4>B3$WDgzsP0g*W{>z}y&;J`)f9N!ABU
zMOCwU-p({U2T8d|iq0e<=~%L8kB!R@<n%k*>9J}#SisxtazLVni%?x$==Us!ez_98
zNKyrB;hIXhG^O=o#!hm{ogm=Ay{N#S&8P3iM(eu6rpU*701<(%qCz&r8;ZsoZd5}o
zt&M}#)Nw)eO@Y1=<Xo2lAj(w<FR{>DhOhm2f6$E-Wxb+D#Q=4c+~b5k2SBEW)677R
zr3_J*1?E2F^P51X|AT<2V4yGb4Q?+{0?5$6%<27~AvzPr<J9yJ^qN?llk5%n8Fx=+
zXu)~VVZp1BnnGmG?|a87<wFBfbI8nIxJ>(a{?@|(kqSiQ?Y}d&Ou%}V_ZrbDlQ-^!
zM&Kg{^`0Vo9VjF*ALNk<%sO3CtOkX;U(!W63m_@p_-yByiJj=9ekM0MxqJsGvg;Zt
zW=eRx;L!_=>w2FugdK^AR{7tJ3;orlfoV!A8{-Gm4O&}j5XS$GD<D_U)PHRi^s~=L
z(y$<hF0L$KJf)4B^#~p<FVZJ>N@>u&D6L9!tVf;HOm6*rB;~rdMG9&{+4kY;h_op|
zrJZECC4+G)?iF*;#?}KS-yfTgeX>VafCCdm4~K23&$$>(3Q(^d1-b0lk1K4$7R`9a
z$0?S~FBcn#r9Dw;YgoSAk+LXZSKAOMy#prD6&Oi=7nhCDXfBil#qNJT?XIzRJ=8-M
z9@@$Kl*U=es5Gh_I?((WUOmtgH5=Xyn6h+<)fX&+CBuMGI@@x|JMpaI$w9lJdc{jH
zYX)~C>dNiDL>!rasP*jMQ6xZQ+TTy3mhOPZ+!^*bz0DRQtv#7(YxETLFLB0vj|<^p
zEYVl3p0CV>@B&t)wm-_5ww(8{gqvS1H@!>DES~&eXZaM^&(Q`1Vfrn|?%y#WOd%V>
z8L+NQun~03_zGCxOJ5Uj?4Yf5O>+Ln``W^YV&pQjaxv4lPjVdF0zQH-%bNbvHonI*
zLFBO~2^PwIFFC@rxCxukHyRa%x}g(#<&YxnG(Fe+SNWMsUQUqcs%>Qxc|z5t1^|p_
zT?TgRfl&h8_!2N7WskLCaD%bZ^Kdubn-E>ok7z?FjD5yQ@)F(K;AI|iqYCW)TKd0~
z<)E#9O>)j;$6TrJ<;4drI!rB%8}FS(lS`83{}xc<(Lc7@s~f9>LWrp+7xsLGAR99Z
zV5|K*Td`Rt_QU^7XaFk2yJq6~@0x%$VZ-0sb(Y84o2h)6Hzn3p7Ef8GC4t!n2MhA?
z%h{Aht>eArYqEqYP*a<yL7qpq+m3>4@S5nZElns#%E0+Z$ThT8*@|wLEC)0y5q-);
zOFhian#b#>^CyP>sP1}5ilIH9$|rbTsP6GL^i$(^0->3M-=PuDBP9O8pcPF7)@K+b
z+W0@4Z2bYv&q8s^terdFdDw;lVDcic6Qcaq$u-N3d@b)lfduJeNRcND2-@9617J=4
zAyb_kq&C@So85bEDUyZ*0ee2{iBYm&apsE~%roA{L<t<zSC&cAVilA3;&VK9*}ZuI
z+!X{KOLF|(^0?poCAn$BY6I9G=J(WN;;#9BEF=427&dqJI*e9=F<GC;dJD~@)=Nb4
zCD(PS5D9_l50nRT%xAr#SHdS`YTWcDC5ZE7Nf9G(y0QaIg#Ld5@=p#Pv}uXJ`ks}k
zl5SMtangWj2Y!cqaq6s{-}FBCEU^#NM0%5}>oIqsA{z{#@L&%R(t-xv>hP*whnW+(
z04JZ~0e>zs%KqvAsJ=OOr&9%~9dnpjhr2aYqnE@99BL7kK;R`AeI82S|G!=uPLuo0
zmr&E?I&Yyec5YO0>4_OWc(9xx<h4!t(?gEwV8)mt7ML;4K_~w89(0`6-@kHpW&fPx
zkNwrLnmGVs9$}swE2JBC;Rz^=V7X==g^!BC<Bub4S|{d9YWpWX|1ovryyPFRllR3P
zC-Eo$v5ubCvL@c>!O~vd?{rtIH)7nFGI2NXyUPMS#pO$AOZXug)_rv_E(j$!WC6oh
z=pGFWFIuaZGnQJuY^iVyBbQU;m|vKeDp1)j9S`=|?6S9VblpWqkoE5|O5?{Z$rTeN
zsF8w=)#b!&Pw!EcMpMj&Q?n2qzx?BNe#jNDD?`Wuc=dX|EIwqhYujSn30l<t6IdVb
zMN4Tpp&=E^q&&fPIK8Ja-FUFY36$Yff>AMGr{Hdcl=<QoQ;i&c<}N5hCj}1dpHzpv
zwdH7~?7D-+KT+cA;PqQkh6OIPT}>bZ=om71KjmU7x<rPi<BlJcBP$gd4vd?$Tb5CZ
zdeFzT=}6&h2RYXrQ2MIb^)88^(y06??1@(QUkjpdoMjiwRecZ9$r?t`NKyJG?5cIo
zxBG1TbrkDkg2{sqZfI~;)2Hn$9|n5@QmAscWXIfJhYSNe29_?bZ|ZdD_<bdSJuCq9
zD~GrrFSM_|a)R<`xo9)0g}S@#qo#Q!Xz$uyjC+F=C0FN6pzvc+ihF+g4+P!q`vASG
z+Pq=tnKtVQ##dmMF<eAo`giM^n1JO<+n{l1Rcp>GI@&AAyWzAxC!hf!!~EUEcSw2=
zI*<hRKs(9g83cm{ZE3LcQU}iOnj^hu7Ru&3&O70pA0Lj2dN-T*v}OJJr8638)^X|i
z?vwiud{%=5rpGSC7oUt$_9Qqt(n9xy&s9bh_ZMjlL-<sSfIUp4m5G;M9D0o1FY15C
z9{;i?5PQdl0e@l-;kxx1j8ps@vtmQYjjsL{1}D<`FU>9EV0Whfs=~g<Qok2s&`Ax#
zRHyb1XmI`w0l(pI*#9^DVd~0)z0*1=-Kj6^@}vT&n8!gBd(!M@y|W0}u%Vqx;84}e
z8!aJ-E>9dVr!nQ%f4GG7<&5m@geL$J<2<<9DAq?dCx|xetuDWjuL9d{5wM5*!@m&R
zCiHA+^1m?{6A>7{+g2{mBA!1uuc;8~UZ~IH#R4Mm%sPZ0Xl#xV?=aZlr6uv#>UE~)
zy8q=2!OJ7+5+UR=29uK0Y3BHlGWO`~Ucbz@NBTB&QMIrB)<ECmRsT=!v<<)pv6X-3
zjy#zp>OV_)Bk2IMRl&=5;s6gQwi^=TdD$Yjm}?_`$26jN@PKk60Q~wcF6+^sRDOW=
zSSH#y>%|qY-N1`>t@i=I6mWW%DA9rB++{?lTe0eygM7$a_Y!l_#Z;i{w!`~55Dzz>
z8&OO(HysyyROIom`uYdIF4|4r!{7<nltk0P#O8+kQ_O!4tT?J*$n9-Vfpkb%BD>9g
z!<<emZ459lL4$SmUKOtu?kN~{Yk>XK?rZvL!Nv@C^y|1g7Z|5hlKc$uCJ{viID^E~
zVOr|h`(Gt=w%LKkJCzIol0WRLZLRzdEm9QCvee^4?O6Ky9|hL?>IkR-?*G&PGffMU
zi$$Z9eF;v%v`}C>`FB}c5uJifcr@xtAY7~_e_wUSuh@bb?qZ%nhwK=>BR={l-A;i7
z_{u_2b6+b5Q`*wCL@q304W{0sx@4P?8$rL40MMJe>5hRn%dzCL2?bP)0AqDo30wCC
z@Hyt6od2{}LoH6dzqkBc{da9O+;v~tbQYt&xlG5F6yaJg&O&oAH!fyte|JfJs0{Y!
zEDVbowHzD}*sDTN{~sj{^zM#$l&J5+1+ZdgbJbG84ENvK5c}wS0<SYAsMBl%?8bH9
z!$ga#<>KSSIU=!b>7hpxV>zYhCDtV0INo}6kCuak6%TBD)2lExQLgLz#X@ri+%6Fz
zLeBmo=ltrpf%=xkOV{>6a=(L7^laCGI?L&gN5X1!*@eSLc580tSZ%-;iP)>jXDyb|
z{BGYGK)?*UwIK*BGJC4%@TNYTH!00skAJvTPVkON6yT+#mVvXy`%&kVO2cXAKDY$>
zkPXDZ4dnI+1u8#Rx6}%<DRcUXjjR?S(nafDJR1)3=x3HGQ|o&^*Q9++S)py3j`!re
zIPyV_rVi<euGJNGSRGMsn&E3xqU;VfyeBh^CKP*%T=H;bY>8_17D~q1pXrZyCDv>e
z=7&!XU#I-=D%CuVAZMN@BL&fOFeXW8RIi4aj9iLyek^<uy436GCt1Dv%HXuw`gQlj
z4*`0c=`v<f;9#7Z*9cD}o=$!%nXf^gs62x`{M5@&auitzvqSz&u{71Es;H7DoDBHx
zmzsQDspW#uh)yQC4N=0JULBqLOEd+<je48wY|W>;1H${%%gN0{^8w<a%F|rk`ePdp
znI2Tp9;KLD$drxNldUR0<pq@~<!>vNrMV!dRHm*7346X$GA<WGXfByqzM}igMeoJG
zT4bq6QOd2@7}OqprC6HgLYs2R*;y&-^L_kX&wDc>y{A@eA{c-G9XRVnW{OAewc1$~
zW>2={^~%#&aHGmiJpT3I7#8qgoAIvd2RipDR0W)2zOmQ(qkEt(T{_-+g^j#mKzlVn
zdu=a+m{*hU_C`grO9Z>}EbVjOs6}c2>M7AO_Y*J!9*rjS6A%5ESRgSsEWk2RVDY*Z
z>H{i<qsH1EZ1|h=pQ&m(qv6NE`<;AsBbeqeS_odpl^S1c8HjlieKI!|`r>(WtIWdt
zBEci;XRWao-JA0!+>cMuh;vmK91|@A;k)9#Ot;-9Zk9c}yv}=RuTOC7Pyg#@!BB_b
z!6e;du@zLAh?0VjY88BtGzs5~*FY3j%wY@2AQT0<^wP=yDodO1_i28t@qGd?k|mK|
zxXH$YQsOTT2=(;UUJiRmWNQAC-MVZ2KSR|%L|r@Ugn!F<5n6{u2&lfWhzA(S?)cZs
zeI(QABiAAy=HYCur@M^?CsB5;9%WB-e!Cu}qJu3OR3#p|qy|LD^y*&K$Z)n}WY%l1
z2lTtB;cUYu+=j}=FF}zNX*QR>*Dk(L8@Y{Uttx|f<vWds)PJ=;)v{u}HiN7$JFBcp
zA%DaR4ZaKtkJ{)}3n^eMM(0%#?vwgq(5UUSkCEilvoF&4t+(<`-s9|EZ-QGexht>d
z$R*Vv{35wziaV%zm4Mhhrd4kBV`C*rmox@9#jz*}LIh>3_G-<&mtEOuICGCQlS%O>
zrMRl8wYY{TyaKf-D&VS~r*I!!KOml$L+2>efe>I7mzOkPse3^RAm3SseCu!2=f(|a
zTi<OQK-excU*Hzmx9L^}I>*f;?nWA8cAskJNIxVLacpwJi{u;_yWC#Uia?kn2-Hir
zS#u<!nobi(9B;9brh31g#1p)&ncyQ3oEY6YdJQ>sd9Rc7;2qfpvw(SsizM{LFSm7&
zPV=Pk#t6BFqH5Pdt=3Ul(Z1UFp*he7aj4jI0*|=K+fkMs1&Ic4>m=OrcCbJMAWt*c
z$;Naiexd3Zit*?s6yxHRN<E>RAx1Ni%2%mQ$1xi!*K#j1LVdyL+i$9K`OS}I(xI50
z&`5^JI1D!&BWu>u!^#kMc7`O$faALfk8VoT(T2K_8)@)^>r8L^RicIZ2wg+!GU6~m
z6RT+(q5=QHL@#hBf!~w>v(9qk1@4$%!BMd|b-sFzkfF5O?PtXzDq=H|BvFp<9F0rJ
z6eP<*&maK_4ON{8%UqzhJcgO>xxj-jC$Eb>bn~QkQ~FEH#~M1JRk*o2yq{Z3NbXm;
z8VvZOFN-uXQ{&o*(GOg(aMWSdOaqIOz3pXt7yN0@MEm*y8rfx9pM<6c4xosn+E3-q
zvPKu=ajuA*jpnzeZ-<qH$_lL#y;d5RB4Q2U`eLNoWTjO!yXshizo?<!Y6?c$uj(2;
z6(j2?!c=EkWsJ%eD8$qlb`#1m4Y`o$0_<Hj*MMUyqsnp%vL_LN!!BEsb0HLG-dpPS
zy&TxWh~PLQ0v5HYd&05^2dRL#a-a)~<}B?{OLPmMO(MseFAvl{#&sR1tEi`3W`c)0
z<Rjn^1#A{?u2%_0u5ZCf)wWcQZxf@WBi;t3Socx|Y}NU3W0oD<dDtg|%{}>B9No6}
z+ulsVu(1XDS<+P|{%@e3A9+Top)VO-;=4&Kas%BEA~{D`;h2qZ93IfKU#Fbw?N~&h
zXs`!~F(#fRb(dE9@X1}|?rjL`_9>oK^9J)2RaU)eIHfg&hp)I#>x)eBXFa$0ZtJF}
zD8INODCGiIqH6YxV>+>h5P#9tVwmJU1#;=L%;)^7A**oo;Rb>qbLg`Xs&7U8zLQoE
zC#TUle0x(WJV$RZznDciLkJ7M@^qZ9(%3AEpjQc`vr7RB0S&=bQjOk=yR|5SJt_9E
zXSD1XT7P^lf;h7c3H>~TexHqY>k7NQw_}wwuncXHeyL*mm^J}pHztUKMx}UJ9{IE&
z6c3$<Ylz*8bhTBp*ND7=+fd_aI7EnpRTt{BmoqxZmF?%->`UP_<MF&zDBQN}KLdV&
zM)>i0kxnsrA!QD%vvKn*36wiA_W_^Od&c9O1d2I5Vj%+eyUc#m?g6hvq%ThDhQ~}2
zOqK(No>HIIK`L!q`()&a4<^4jjW|5}y!qfZLsAnzTO-GC+2J;0^gOg`nI4Z)AR2i|
zj9oNMcP-;Z9_j}aTc%lYG1f*`R&TqIVs&N_cl}Z@b{C_qyHiS(_<ZyhdqY|>a%n#M
zcFIhvetMOC=lrPxqUC*Rj1vb?!R84_x%ne9i-^1-NWK~o(*w7{<16Q_CDv*hn*l$)
z{FZ!FzE;3<vKxo2<F!i!BN46x5VH$6yjYq-;Ey+Sb)P;)+rg`|k_3S;Pv$Lkf~pfz
z(~<do3ZmT4<|yPC*9cmeQ)@ZI1eKUY#PpdMLtiC!6vPQ5pLM;x4%tNniQ?6EQRb~%
z(%yQD(5OP+U+yU{%5*##BI-5yC|i$96KlkzVo_}l;$Q88R+)r`;>ExBz+Nvvs@)iq
z>g1q=6Vq*9n&}xJBT1uj%7w~Ym!Ut(nhT*hZB8uh%N(Iq;Fh#+MJw<#LL@;vm?y_|
z-381-%Y8mehKII&)zdY}MlGzUQd-nBze1tvSk`ARGcI#+8sLP-z_~qG<1`18&05f-
zRD9tARF;FPyrh-~JX5;!njlMTz}(Hci*3vf<pP`gt7U~1Eke50uy#`wam?kT?b}Rn
zEnj{1g5}Z_ha`X=1ODW#6^XaY5cE$OJOU0p@R2b?bUScaQ^+&Eo~6YlH%5(^l-YWf
zgncr-EuT{o`F+P5Ub?zh@LTsJrpj6cd>2+GKgw^(_&#|U2a4T{xNm}}0`ld2l&zG@
z%S+kC<zmwB9h9a$N+q_r1aC@pz<39d&WA3eqWZhcg&mC_)%!VXM1Qt#Xqe%1hf<3y
z0Wb*|2s|I%u{&-WrwEiXx!$dBtGRFbyVMY^i&=D~MCB{YpoT^U44sO`k3O77@Iw<d
zxkYwf2Djg2Q3ej|vB9#+N38D!3Pr2V63_|=X;nAG`e<!vnQ8#Vj38EpDq~hEBOBb3
zr>AfG2?l4_gG?<;=_fxS+wnT5w2RNTc{O#9f4)LmZ*@IM0?*Io7^a=xqmEa^BFH@e
z!kwy8ElrF|REpV20YcC{W%K4KBs034u<!t-gM_MkN=S+Ph=$Sd`uL?8xZlVFM>HFo
zYcF=jqxB%&A3h+=ZT+y(t7c!7vT@@8solp25?D|!7l<)}K{ux}Bup3o2tf5muiuzF
zt6k=LsXO#Gv&2B&l3MZ;vj}?Yu^D6OtG4xB2}Afm8m{gDMm$R9=;_0x=i=)6BtgQM
zj@jvJ&8C?rJ)@Zt1ox^K8?bw*g;}f0<VZPYP++BCS5_tsDL=&nsAYT=I<_aMr@~~9
zI$HS2gi>RI8V%u1LW)j2mt{2P69t36XrV4`S<ZcD-B1bqVm~ynpzT}HD8$m4%UkOQ
z;-ihDIE;FcCui2+7f*3gz_9hxf<QE-8EsfoU8uQ`&-${Su_B+6RjZ3&y|@+1E_}d~
zMjrU07lWStY=MX3n!+2ln&o?QZ;Jd}L`9J8dc1Nq1CCnNHwxcoywYwmA?m}(H}h_}
z-~KCP-LOk2Ig;Ft$jA~X-bwvob6iy_OtR?1MFh>SA!}jh+B?DVUpXTuoo|Ee>;>kI
z`}QP?EJ%l<6eHIPD46GPqK<52-jfGs`T=NaL<^c}zFn6wjK2AyiOujchS~y;Qd6L@
zcA=qMWePR9kcpKr9zjH|6bijMPoy7B>kv9=+V)QLTN9XFH%5u4puwRPhIpBwb$(qA
z;WwnI!kl>wD`Lp;0SgE!GG+{Tl>KKzA8H~eyK`5)H6(ZgIFZmC3Xp-SSwO^1`tlWc
zz^DmFlsw*O!I5MOj7JOMHW{pA=f!=GK%&j0Div}j2BTzSG@IQ1-{Zgl3HiF_x!YWG
zzk1bgm)l0}0VS;(?1`BCyhNP^M@{|S2_IDo-TLmtbJnsT!8XjV!Kmx|V0MCI+S9@q
zjNMR}E}7B;HVE5KhJnl<@t2(#G2zw(^#!w~ya{Slg4Jn4VaE4ULvfH3h9Dtsh@26F
ziGJWHyV@Mj+@=XyXOj<ca%6TcQnl|Z0#T|uwbXz`^%(sc*=octfsDiC?y(76^Xu@G
zCm6;mu&RkH&8OXT$2yiSuDj~UglOo?`l9esm}(H7?>Eb@r-=R!O_%i%PW@cWKiu;k
zH)_vfx5Of#DuxnTPyD#;caBUt=)<K1&360#b<Z^4;DPK~o2<zzod(g4&)GGN{8>a*
z{-^b9F4M4FFSFKUcpxsfBTu+`3K#(u5|QVfm6{S^ylCm-__j4!S#I#Cu*Rbey`cPl
z#^nBRPoXJlbrwwBX+T{wKwUYgy52UZ?VX{yhS|O>>kVlb$t8wRVq!Y^;){AcNs<P~
z_v+?0g*ctIGSNW!*UR^o$9P#5w<R=%p^R;oQ4Y(NSc)OFKoh89?Rh4QD49*>DUZ8p
zQCcEsyPbiY7N}H<#!(7Q#0~zUi0ZQ!c%?{M`2^XF&6kw)P%8HZO?|pP?&^}d=SL2#
zPOlYiaKD|3Qv>2;a~kujSgOL@CGtd_Zu+tOJxbb_ut<rJN0`>ua?}(8;`pmiKgz6l
zR=QC*nAFK=_7LPO2+=1KF2FD*{Rq$}OC}IfQyWE_X^JtXV?OF6IX!!hz`E5VGuk(Z
z+fzU_U)Fnp^&G73N|GcAkY|pYd%U~2O?W|-s)4C1V+dkdM+NV^%p@&?G=%|575kY{
zPQ(^picJg9*N`m2>+*|nIpo16;&l^K{PPg$X((aCt@+2dKQuEd4{;Ni%d(C~PeCSx
z+@q3nPs|?K1i4G%0ISJ>+g*UL)8>Twp_Ndbxi1hN-1?q){zdv<RV7O6>Nl&r!*ZfW
z;e8|fhVVZgk2ZnY;{q!K&AnBwJcAjKXnOc^Va7AVa`bxPImq5i_3+f5oBfa(aqB^o
z{e7M_zHC5MGPNVTKdL(08J5A3d^|2q*$BJ%@FpPJF0C_babWvlUR7D6zQ4|w>$u9N
zzQ&EDLF6@^UtHz$<V+Q-WWq06IG)+-W#W5Fg(2DPNdX<x$nud7#0fLj9ys=^o07JO
zGDl~UK7Rh?5^ZqPyIVdv{Jg#8jW_VkK3a6o(2potd7T`?thR>3vMo(y2u*xAUnPX@
zsk_IC{*19d$cGZHH4VG@<1cy4SS#&ZV<HNoA`OMgv>%F_<<Xs9T)U*OO3b(2cYGZq
z5do)}5ZpVx+m|%c*Ss1silQ+@up19xxM@RoJjqFLfD;`W5jZ8Xfpy%t)7pLa#Cv~w
z#S+nB9w?is^1W@-?2l`8g13zlmaeJ6b8D62Q4ch$$9K>83@qVR-qmY3s8ICq<r|?M
zPpLa#iS)&o9=wB!cYGddqa{wWEUZjd@s(Dj7K*~f`SOURt>@p^GsA1HRTKABrAEAT
zyMu+*IDV|kV3;wUX!a89#z93}d1~&M29o1Foyb)Vn&%}PG{KAIB_0HLD#oPEN5F1w
zE~yz`{l3f^H4}g@Y-M^ih_}?D;JnSBm9g6MDekg&V-1ZYa`yc&ouJ2_FF&FQzM))O
zl=hb(6si>N_7h>bi2#jbSI|f3qEl8ZyaNoU<0AdnaMKTxCqb;qp$>0We6&h<$wt^)
z0^(0b6cIA2g@Be-%#}%Ckn*(@uiK}0$_Vq|o{Qn3jr+R6-3aZxWEktsfIT@|)RH&Z
z@oNo&w~Z5g`tI*xOvT|pqwCc3BV>&hCq^NuTtn81fa}xDMkNAMwcuuL#t747@LNpK
zL#%l*q8GN-GWcs&BkLxIzHs%p5OWQgx|XsIQsSd_pilPFUq|?du?eP-Pr}WKX`a^G
zwT9Y|9|e-6qJSe@1_5nqbe5#i=O>+=$N^B63rtKq+p2d#)-}BF`XcEk(P#{9N9xn!
zFiP6Ex2rP3bG(XQ1!H6Sj_x)$xpr-JI}{_%^qYA<;!)N$doLW!*a~u6rhQwXSl=~x
z^T9sHo@59i>AtH4sQot7Li-qw3)g&1&eva((}9F+mYCXzjn^C#<&hNurrMBkj9XW?
z13hu$@TgcU)8`I|^V6Y&0_sNnw`UXmjc@jkJy=U$!6lKN7ewgN1J{P)MTySeBkbgg
zRg)8HnC^CP*R6~T$P-E2FzyXrIQGzF4S%r=kJ6uG{Vp;6?}9um3ii5LeT@C^zQaxi
zZVGhXy4Yh@fk<E}=fO_k?S=?3v^8OaTlLz!=+*bVCu~!}^g<TFio=d-s3&Bayy##!
zw>oLn(;oXncEQLRFN<Py5B+2+NqA;^>s?*m%%e=)>snB%nEPv}v(g#Ir(z`KcpE0W
z9YWAnWwZNTaI5*-&j@F?QyGnQJ7B3r6i?zP;^ms60Hop6!%T?Az3}Qc;Uo*KY6?ao
ze&k-`C`eyI&IWn_>0Z@srKL&h3W272pzCFrB~B)L^gJ7F7Ba=e(PM{NTf0dbrz!WA
zUrr-$55&3}JZAq!`%B{+VMwmsSLZC(n@(#mTnhE_6R2h0pc<wPFwz2qe~q^X;pE;d
zj%;EzO1qDp=K$3}i{Tn?0@~siv)nYMpx43MmOyO6%Q<VLOb?`fMRi(oNOk4lG^$6Q
z9q`_PU>?Q=ZYXg-M_`vX#f=}gsk0|BhJ!b_d<rIPSw&0U6~+7Qj8#@1>}g$&8<>3h
zX?|q-ZVTZK)$2AOM|Du8`^w0f%OPz7<^PgzHAXOMVIx@0TOCJZq>0%t7X<+bf#*y-
zp;Q{RFaeij)lk~EfHMmyKtg_5MZ2G>>fS!isoXdlxB(j5|FvfQeb$FxF#M#oQ_1}k
zQzj}cpwPKh7_>OiPFk3*eBP9eRzI~P5MJ%}VDvIf%eQ%u+BdcEBoH}D^R*mFaLrqF
z58C2qJ-r~1JW24}y@SHCx&h5aMGrZ@XE=g){-~42NzGm2ms14%!Dx@(U>)B|HOjt3
zd?66VZP<YMncn)lV^51I)Yvii<*>DSH=T4?po_^t3`-gY<{~tP(|Nt@|A#-8c%I>3
zYF(f3YHt#*WHY68CbR4XR(3e{c)?avx|PNv?Co(<g|625Ko;!bb5n(8H<7aW(eK4a
zI5=o(r~#?L@VO20oond8D|ZdwDWfDqb+cx@MTf@$>n-6Cdc2@(b<h9wZX;5|p7Dct
z{KcSnS-gm2bOIRIaSc)m*E$7nn<w~4JUn=Y&#O6zS^Y9)J3RbT>*@kJ;|kt}l=A>A
z(+ce32B>JW7A&B_ceER|K+Uy*l2StQ81)4GF43x`RX_9`9k7!|){Ljj9U+i9r1??a
z*AR6n)<PX}Ax>(Z9sy%vk#a)gUh_&Cn^1hGsQ}u-^?4lBk&TEtWO?nA#!?yUw!#X9
zxS3-b{^weVBWI8h-2Fo_f}(wg<~c*EWS;5)bV<ub*2T-uM3T8Y(6G8!%5OpCpW<y>
z7`TB!+{xq0(t<jA36Ed>sE=UQ4q7SPGNt96AV>S`OA$5W?sLac<rdz$)}4hYAq%}Y
z`Rh7YGb3!=1b?L4md5tz*>vKEdA7a6E_L&*>G<WyEhF&Erd}0Pg9As9@+dCk4)`42
zW{=Eo^*b0>UQ&fhlN20Xft<rpp3pR#t^$F=4kv~EA#4*x2aP0HlJSx=Rd9GxmGIb;
zE}TWDPxBEo06o{LuULa`CdNn$vz5<5RLIM|Pg%sHLLQ`>RaH}PcMZ7<f(CfHc(DZU
zthX<X4GP^v5d{{U>pT<qdP0E7e;_QUqGpl{mnM-qU>ivLY%|#Pfc+NGHYDYUb=+cU
z6Zo0OztA160^dQ|XiH6wiF!<?1%=3$UWK7@#wSfV07zTkWAnxL$kd^2y-bv3?Gt;%
z70DU9ge>nk@OXdG=m#M<8<S(B$hTgbj5>GS$H2Jw!>T`)Y!)NFjMVqLK&hjXH^qt{
zM}vXNWL4KeDT(hphn|*S0n7*<_{`8WY+00h>C}64$PS#+=cQYA$(XLpDxE+m{D9`5
zf!?XBf#t-<F-j~N6?pc(`Y+m0Lh<#$V!+SV@6cr{CQV*;Ub&SyMuv(0-?R|QquPjE
z-(beCHM%uUadpVH9i(1HAHXl+T^Fo@y6yc>n$QU2^`>H|u7-psXJ6qlQC=^G>lUvo
zeeZ-u`m1SLWz#TMSiu;7PjCN#ZFd7Fj)^&X<O45SS2urqTU_=o!5>fDN@G6*;<y+#
zia3zJM3BWyGm=ypV<%q!1eEA3&*Wqz3)WXH=)(|#=EEsgdrQVy*{fqw@bww^fhH*Z
z+(8#<U9XKlqsw<WJGLM55xvP}bC^m+e+-ms5Zg7E&a!-xSLpIOuqRA6UHK*jouLFO
z$j>?j;sje2;#Rt)U>WOvfHA}xd33^e5q!)S#@~Eju#U*CzS0S}s#4-$8UE6_^gJ-p
zSU@VaQ$iCuE6SQ3lEX?Prb%onG(t6E^ld<{P<1B(eso9<Bx0C^!HCXu{AO*gl@t1K
zH6VI(P_esSUna3oG%<-&Md}>d@lRburbWlG_aJ}-r}`vk3^rvN)eOFX>%&+c4^QW5
zY@P33Ey1Pzc4_z!$tXga`&Gi=p88y2&`_l{AM>H{xAtlx;VU85bvII0)u3wq=$=}H
zRn&)0Dnh)3#)7ccrSvJ1MN*96*Nh;JfMQ~1%Vd`?4lZv7XPE=Idf=I$Js+?$r}Q!L
zS@0K4)Fn5$N(k@4>@3TGy*HtzktAV?MK={*`(iSZX~bC%j0%?9ag08W8}XiG4`Rnv
zC|{_PmUX}-w_VOhH`c9&*|0($J<%Z5S#u2N!DYEB8gvgMjQc9xcSpMW7sK4fnDdkd
z2zJ8(fHG?c<9RxYk2QJ&EOs<#pCYo?bn+2ib@=2o3k9p2Al`ZcV6){_G{HN6^xY+_
zjPGeZZaugP#7znHGSEmd{E|5S^_fW~2h28(ag!O8^CK_NOb}PhP&D|5Gv;w#2Qgsk
zJ`Zz3r!3TjwSI*(0Wy`$e9S9=0h<WVzZ4dXExNWwpPN@6n0fRl&M07$r(`H=0HDHo
z&B|TeL~4{f_zdt#;Q^%n*utcbheN<DIfJ7Y)&#h;O)H%xN(X<@MP0gJ!@n8)z&o`O
zSyNE4*BWDVOL%hpf&~lEHw>n)AD}ND*61S4cq`+NQGx}~4JHgq2;N3G3<9V#QrOM?
z?B(m<b0L-?;taU2YP^rB`U>!V@<$&kmM@G&f6u6H2TBjXd3gsd`naY?grS|9>l~bx
z$L>+E-^#Kf5h6!5bVs7VahdP^H$^*iNG0Nxdz&1)7kvwF`G!vg6A7WakR0DBpIJ^6
z$1)nwn3<{Oqyx7c4w_X!XI6X=zL~MdPh`8Y!VR26<f>r966y3Pb$6Qyqb5Aji?&|E
zL+i1V{Pr=3`_kUh$t<Rwg8mg(7H9_BAJD?K&ek%Gk|ym6mKn@V(bNX`1D6PMHjBMl
znH;QIu;y-#_ODw5c{d&mQoUZ`@#gkqytyE)U_9p=^5-`x13_)PB%=T{JT&Rg-a`{@
zgu0T)Lz!TVO44DG@^=i&c<#RIX7WcLt^-CP_+#$<dbs=??p}<0@wSW3H&e&su4D|R
z5iY&32(Fe^_z++U+JbIx=&i;TAFNB3x#wkE2GaH5!ZO10bAZxzqImEZ9n_`Wnrrr-
zi}9%D6COR1H)B@SHJv3$MeH1Jgx3}zM#z5Iqh_W*7ds+LgA{==1>5Tb12dvk63vEZ
z8(|iz3v;nR5MAQIx0?L$)C{Ep>B<_6GsTdI$koA2DkzOq+I+snt`}b8<$>3C!n?5$
z+<18TUb%w0sBxm9Y?jm|KY?TB3CyPAbb^~`3|p+gp2v|-mVJ=ctiZ9<1ou`QvS0+q
z7nq%PWIa<Jf3Ajn=NLK|e>dt5A&3$a!aAys`*Iq)rHIX>|LUc#7-ddGH7n4lnYuE0
z#{(_1?On?ZvJR>=?(95p(W|Elx^E)a01Mb1?q{ZcYcockKqsm3$xN3E@`&S-{tdhs
zyD^?*e)C2fi94E%2%(7{(1Qce<o-z%A=dGC5ALj0A&LpldZ`qK;e<`AU5&WrQJydV
zKyCTxuF2(32HD20e&W!@dXwwXB;<@#YEe}`z(6K`?$Wb>c&yjCI>t(n0V%3J$lmxA
z4}{gSAtkn*_m<~TS^aaH#*=i?L1+UE9vD8ubwt*+hisgJPjt{ZXcu8__K;R^>N?tG
z*NdpRma9SqcSrApIlR$8o#mH*kHj0nj4K>9?9AEc33R~#$Q;lV%|o0)<N#`?w5>ng
zq7Ujq*j=rfWs!JdqT2|=wbuM#>j_`d!f<8RY!t&`=azQ=-u^CqCCURP6=Hk2d5|w(
zG6Oi`4BBLV(D{;@^%X;PtQFYeBb_Z0acV#4Gmfo-<6FlfiJ!!nEr$-sN|+faAJu9E
zZyP2oWlsedeAxeifJY2RxWXf(?=&q@xnGnG&M!;=?Zk-#DY_!Q<!Niz=;-({SJ_o}
z1&hUlPy@3GeZf8Tg(J~=GcI%(l=$Sy=9}{!cG8F%FR#ZHow9uz9;Y1lh~=s#yB`xb
z%GO5Bl08HMgdBhgISSY)Xxoeoh^eSu?7R(k`Edr$4Lb7r%<RX!Cf(2ymOdowIe@T#
zH%tgOU*)mWCJTO`i>gC2dU<}$w+2T+lfbe31co7N(u$yv01(|%VCVJ6z3m4~)tnex
z)GEl7g<3G+Es>KhZLi<1Y6ZIL-OAOawGGHMd^X2$3ojzeWsDZ<I#(yb?(Y#gNN^Ot
zFyq-PXw%=C{jFKSB-ULxHYJy{#|4(8jIuHV_xGob_<+b%SPf$86Gy*47sj~D8BVM2
z-R3pl^Zc)tsaa-dNakdg1fu<Cc$whwb)0*zORO+OY`fuwwE~U=7|r9Kt7)8*B$;zK
zAKtUA5>e9dfPX`*TxCT0HJdQ0eD!tSWu1A1OCQW=#lUiis$&_zcBYYQU^eeC#Fx|o
ztcUtSM6Lmv*2OjX0VEUpq=o*<u6Bss(-KQr9T!zBYFoO!-z(R#pAg!i(iB7-vsyr{
z8>ZknK&&#R3)=}MHT-Cb0}|Ja%-GV>f56_C0G(}cPbYtm`IFT=J!O}lshXG*F08;W
zvqaCWY@9Jglm6QOG2zs2`+G8s@e1|bD=V<gBZv!VG=<HxmD7Q-1}AK+aV^eH_((sg
z=)O1ZX!BHRHUhFQZk_G=)HvZ;UoH^9hn`M?4J^9PuFO9|J<xBjCq}Vs+=#@%vz7}R
z1SZx>zZ<fOMxSh=Z!x&yT&F`%F1o;F#gdI(wu97u@xc=bJw}J=I3(|x#vu31Y5W}!
zx0TIW+#D^;Rp&3mHKU9}pnFZgfR!1^;*2MQPwrRl9@+h>9}g$3pWT1+#N<Y<l~;S!
z%Gj_)f+UxBL+}&K9vR<bp5|wGy|(}|tJH>5mjaC0wBakSA4q1b+XPG1_WWS)i73*-
zXl2)qDfo+=O5&qSsT8AMj#wZ`Z?+M2bq?&!yJ^q|oi%BN)8K701y~NKajP~ROqj$n
z*%pL^QkehW%<t#}_Z(&_j5{a=^9|wE-~YNTp3zM3N3vV>$wi}*)MzM`%`z0V#PX+r
z6gy{dw-b#J#@oPvrje$|!_eI&1zloZ5aB3~Fk0}wx7CQsg>*)eV^^|NnX$|O!C@>+
zi-Y{&8;kCyXym>Lhqm`->6@u=Gw<9Q1F&R>*5hF5E^Z_8{(LAO;>a3w&~RqD=<l<K
zyb*3}NJ@*cW%Sg8NEUYt)aPjed-1ZI;)g&6^Pd3pvlC0CEP4lN(c2a(h{%iT*24yn
zRq}|_2K+85KgH+A5ijkw?S2~R{oFSAx%KO(%Z(M$>)YMqao|G~-}E1|20uA&`#bWt
zXAyth?rt|rBm1%)ixeCjEi@f;{B$hrxPJVLlvVrJHSd?*>|gG;zdF3<eq3#xYjhMI
z&(b-P3IEFQ{rN0ue8qfl%i3(^<FLVP8r}5QAD3I-FRxFowrEdJ=yA6~&&)<ZhtsO&
z`UkIn{`>r@YvHCzVdwvGARY(wy34<}`TRW*&k1@4ov59QtuqDeT1{CCQ{V<m=mnZ8
z6wvF4R4AZFnX6DhPt;TSkBcoi|K74GBm{jWba`aXzjqk@`_sSYq5tbs=*5|TWztkM
zwgj6vQ^3}Rov^25<m?P~w55Qp3HwCc-C0uA*~l48!3h)VPIzlOM^$?x6W~Lbl(19v
zfD1b*1O$NpgdVZSPVwiqPw4+~P;kKX1AYkz^DlW|fBsh>Cr5K*3LQ3SQBe^iC$K36
z?BI3Sb)cr)z@*v8<KMr89Sis$_W6G~b)6k5o&p63`a{LY)*MWs!wy>-`aB10`TwsY
z0excHWFbm8y^3Ypi6#D|BshL}bnqX0rE?Npv2w^i%`kXu2gmfJ;4_SU?vi%EkaWT9
zX^L_^dW`Y#kunC)EHdA#(2J)cCGRdAn}pFXy4UV~iXTH=W`GOYo*NW<IrjC$@rdw#
zz{l|W5sVQ!vc>L1FLjIUzs~XbPA!nqRNEB|g%#Vh>6UM96?{H-e+v9NMWOy*(?z(v
zc|gNzl(c^@PEJ7Gfw?QZ$4FhBYn}NxUmhXUEkOU|QmSg_IM9$kGXirq^ot5{sg3ow
z^t}atdveB<RGfXXG)#M%*yrD)(+_6kBRq*PJZ{I{;+vbdR!%&aIQ!OIiT&K3{1sW_
zL4W8jx8mDQIHi@NU$fC~n-I3W+6&1ZB)4=PwN;9Lv#mm&s$l6=*H(E`nAeEFHTLEw
z3A?lC#|q#38|wzu|06s8_X&;Mu=DX1C}77l{&m&=KNm&6kbR(x6FAP5h^HQ|ON5G9
zj-2cJJRrvA^ZOU7rL)8~`Kd;pb|O0(V!z(u)!X227AEaK>`JulDJO>Kp&IAkk$7>q
zVc*`{6zz0>)U}Z*8Lji|L99%6>g?A@ObZc7605l$^o>s)BN^r|sI`<&p7W-p>7!|X
zn-)#?P`}z@)n@gvx$VGdKa|}UX3oN8qI-75W)Xc&MPV1~8va(XOgwaB(G1VQ?{bwg
zT>;AggSg_fhwfJZn(?zkMp3c@8j4uI&eM#M9s2luxBsWHt9g-}h~lgWVuSbx2vS5=
zyAR!|e04e@omD5!?!aUndYb)EJY<sU?l}3fQf>D%dsFbw@S+C~vflTgH^GaimAxo}
z7ZJgO>{Wb~^z`IoXS5GP^6K}h-uva%uV2HEdj3=W$6tiM-}wHwub=cDN8QIizaTvP
z?pOD#e;!RfdHKzU$4_s5{^Ib5Kfd_#!L{EXJon1$-+XZGr}VQYuO9sQEVAp{ej2if
zpzaY(eUj%W_ZK8sMqx5XUNlc>$QE(l<C|rV5|5=6bwRvxhVVd=2l!$nOcRF-L)S57
zEUOayf#Zi&ZS-D&ans<^;i?4Gb#i-Ff`pA?zm~G;5_luI$2=a?@$!V7Wdw=$+(RxU
zIfE$Uj&)-Vf^<q4IwA8g84G_s`c^<;Fc$7=E_Sm$vIuW&C^_ETp8A_p-w1>owzW3b
zaTdeuXdOpMZm!3I2dYX;xaMY2Km~-Ijs-yWSHKRTf^E@YW=@>_tsC5pg#}}oDT=Gr
zYOqoUDV>XwVHhHoMOp3xqMx57%v<-9{I%@_4#|BQW(<f#d_wOeU9zzNYZk!-{%+E2
zNuy%Qz!ynGVtz8RC=Dct?>zE2+o6+uP-HRi(^y=486a^D>AF{A<G2Q&9?h@DGclWA
zcw`keYN5aYgrWe_wgTT|yben$--=jy5rsS-GXj|g#`^)8dCQ0i_LaqIiJZMCw9AWP
zGVx*ocyQ*nl&5JL+0|;c#OA042G=#6)L(L%4;<V1_@fWiwXwK4-=E~0;NIO^u6%z!
z9v8lK=+^ll$(fh<<bOC<pq!IgN@I`NUY13n@A1kIfi;U~vmLVF-aK;l?+}{9F#M09
zZgEW2#%JObF5v|3lGnGr`8mNhNg9L|gM5h#A0Ppqx_O(w!Z)|oBGrmvo96_2kdOzt
z7kPPZXEaSA){?-+822cj0^zD)bH(UOav#f6Su!=%1lg!Oj1p8hfsTZ;v;T0afXd`5
zduv-3uwCJ5x8v;##egiv0tG#ImUh+;6EF2>540#s=Uk2of>6=y75&nkkgNzjqGU!W
zffC4fJ&_YqXtwxX7Y}8Q1@VFj&b1B6=N*%H2#*eRNz$vfN^6+1gOP$ec=tg=O;a>9
zd#SW3BdkEU{DYF6O&vmyR<q%eEWzoNH5&-7290FhrWiVWQP*v{D#O=F&8Fxhsc8d%
z)LIuyIwV>1#fpxbYhVn=z&CLcKiR(NYe4o5n<};E(+$0i)AUw+nxr-JQ1s!j6*Ihz
zu*Dw`*y2x>q-JgsoOIt_L)V)5D!Q&i&s^gQY(_H=MK^{m-_b~E+l)~&4;7wA1;?lt
zMuc{XCSE)aH-uLkl;|W);YR}B2t|n>B(oIpBG}$K=>6_x8rg&H;1c=l6}>wMC1piz
Pt60IK&h_i>yu1G|YaJ7^

literal 0
HcmV?d00001

diff --git a/process-scheduling/main.typ b/process-scheduling/main.typ
new file mode 100644
index 0000000..01db75b
--- /dev/null
+++ b/process-scheduling/main.typ
@@ -0,0 +1,40 @@
+#import "utils.typ": task, display-processes, RUNNING
+#import "algorithms.typ": FCFS, Pr, SRTF, RR
+
+#set document(title: "Process scheduling algorithms")
+#set page(height: auto)
+#set text(font: "Source Sans 3")
+
+#let tasks = {
+  task(1, 0, 10, 3)
+  task(2, 20, 40, 2)
+  task(3, 30, 20, 2)
+  task(4, 60, 10, 3)
+  task(5, 80, 30, 1)
+  task(6, 90, 20, 1)
+  task(7, 100, 50, 3)
+  task(8, 130, 30, 2)
+  task(9, 180, 10, 3)
+  task(10, 200, 60, 1)
+}
+
+#text(size: 1.2em)[*Process scheduling algorithms*]
+#figure(
+  display-processes(..FCFS(tasks)),
+  caption: [Process scheduling: FCFS]
+)
+#pagebreak()
+#figure(
+  display-processes(..Pr(tasks), display-priorities: true),
+  caption: [Process scheduling: Pr]
+)
+#pagebreak()
+#figure(
+  display-processes(..SRTF(tasks), display-durations: (RUNNING,)),
+  caption: [Process scheduling: SRTF]
+)
+#pagebreak()
+#figure(
+  display-processes(..RR(tasks)),
+  caption: [Process scheduling: RR]
+)
\ No newline at end of file
diff --git a/process-scheduling/utils.typ b/process-scheduling/utils.typ
new file mode 100644
index 0000000..3482354
--- /dev/null
+++ b/process-scheduling/utils.typ
@@ -0,0 +1,155 @@
+#import "@preview/cetz:0.3.1": canvas, draw
+
+
+#let UNBORN = 0
+#let READY = 1
+#let RUNNING = 2
+#let TERMINATED = 3
+
+#let colors = (
+  none,
+  gray,
+  green,
+  blue.lighten(50%)
+)
+
+#let task(pid, arrival, duration, priority) = {
+  return ((
+    pid: pid,
+    arrival: arrival,
+    duration: duration,
+    remaining: duration,
+    priority: priority
+  ),)
+}
+
+#let display-processes(width: auto, display-durations: none, display-priorities: false, ..args) = layout(size => {
+  let processes = args.pos()
+  processes = processes.map(p => if type(p) == dictionary {p} else {(
+    pid: p.first(),
+    priority: if display-priorities {p.at(1)} else {0},
+    events: p.slice(if display-priorities {2} else {1})
+  )})
+  let max-t = calc.max(
+    ..processes.map(
+      p => calc.max(
+        ..p.events.map(
+          e => e.last()
+        )
+      )
+    )
+  )
+
+  let display-durations = if display-durations == none {
+    ()
+  } else if type(display-durations) == array {
+    display-durations
+  } else {
+    (display-durations,)
+  }
+
+  let shapes = ()
+  let width = width
+  if (width == auto) {
+    width = size.width
+  }
+  let y = 0
+  for proc in processes {
+    proc.events.push((TERMINATED, max-t))
+    shapes += draw.content(
+      (0, y - .25),
+      str(proc.pid),
+      anchor: "east",
+      padding: 5pt
+    )
+    
+    for i in range(proc.events.len() - 1) {
+      let (state1, t1) = proc.events.at(i)
+      let (state2, t2) = proc.events.at(i+1)
+      let x1 = t1 / max-t * width
+      let x2 = t2 / max-t * width
+      let y1 = y
+      let y2 = y - .5
+      if (state1 == TERMINATED) {
+        y1 = y - .2
+        y2 = y - .3
+      }
+      
+      shapes += draw.rect(
+        (x1, y1),
+        (x2, y2),
+        fill: colors.at(state1)
+      )
+
+      if i == 0 and display-priorities {
+        shapes += draw.content(
+          ((x1 + x2) / 2, (y1 + y2) / 2),
+          strong(str(proc.priority)),
+          anchor: "center"
+        )
+      }
+      if state1 in display-durations {
+        shapes += draw.content(
+          ((x1 + x2) / 2, (y1 + y2) / 2),
+          strong(str(t2 - t1)),
+          anchor: "center"
+        )
+      }
+
+      if state1 == RUNNING and state2 == READY {
+        shapes += draw.on-layer(1, draw.circle(
+          (x2, (y1 + y2)/2),
+          radius: .1,
+          fill: red
+        ))
+      }
+    }
+    y -= 0.5
+  }
+
+  let step = calc.pow(
+    10,
+    calc.max(
+      0,
+      calc.floor(
+        calc.log(
+          base: 10,
+          max-t
+        ) - 1
+      )
+    )
+  )
+  let n-steps = calc.floor(max-t / step) + 1
+  for i in range(n-steps) {
+    let t = i * step
+    let x = t / max-t * width
+    shapes += draw.line(
+      (x, 0),
+      (x, if calc.rem(i, 2) == 0 {.5} else {.3}),
+      stroke: black
+    )
+    shapes += draw.on-layer(-1, draw.line(
+      (x, 0),
+      (x, -processes.len() * .5),
+      stroke: (
+        dash: (6pt, 4pt),
+        thickness: 1pt,
+        paint: gray
+      )
+    ))
+    if calc.rem(i, 2) == 0 {
+      shapes += draw.content(
+        (x, .5),
+        str(t),
+        anchor: "south",
+        padding: 5pt
+      )
+    }
+  }
+  shapes += draw.rect(
+    (0, 0),
+    (width, -processes.len() * .5)
+  )
+
+  canvas(shapes)
+})
\ No newline at end of file