From d58da5d92f600ca59b4debce3407dcdfc8500061 Mon Sep 17 00:00:00 2001
From: wunder957 <wakedwunder957@gmail.com>
Date: Tue, 26 Sep 2023 16:27:33 +0800
Subject: [PATCH] Draft of CORE

---
 docs/draft/src/CO-RE.drawio => CORE/README.md |   0
 docs/draft/CO-RE.md                           | 116 +++++++++++++---
 docs/draft/src/spm-arch.drawio                |  57 ++++++++
 docs/draft/src/spm-arch.png                   | Bin 0 -> 18262 bytes
 docs/draft/src/spm-state-flow.drawio          | 125 ++++++++++++++++++
 docs/draft/src/spm-state-flow.png             | Bin 0 -> 27274 bytes
 6 files changed, 278 insertions(+), 20 deletions(-)
 rename docs/draft/src/CO-RE.drawio => CORE/README.md (100%)
 create mode 100644 docs/draft/src/spm-arch.drawio
 create mode 100644 docs/draft/src/spm-arch.png
 create mode 100644 docs/draft/src/spm-state-flow.drawio
 create mode 100644 docs/draft/src/spm-state-flow.png

diff --git a/docs/draft/src/CO-RE.drawio b/CORE/README.md
similarity index 100%
rename from docs/draft/src/CO-RE.drawio
rename to CORE/README.md
diff --git a/docs/draft/CO-RE.md b/docs/draft/CO-RE.md
index dd5d600..5d258cb 100644
--- a/docs/draft/CO-RE.md
+++ b/docs/draft/CO-RE.md
@@ -12,17 +12,13 @@ A BPF program is a piece of user-provided code which is injected straight into a
 
 All this means that you can no longer compile your BPF program locally using kernel headers of your dev server and distribute it in compiled form to other systems, while expecting it to work and produce correct results. **This is because kernel headers for different kernel versions will specify a different memory layout of data your program relies on.**
 
-
 ### 1.2 Status quo
 
 One possible solution is to compile the BPF program in real-time on the actual running machine. This is what [BCC](https://github.com/iovisor/bcc/) did and our `BccTracer` is based on it. However, this approach has a few drawbacks:
 
 - Clang/LLVM combo is a big library, resulting in big fat binaries that need to be distributed with your application.(We do suffer from this problem.)
-
 - Clang/LLVM combo is resource-heavy, so when you are compiling BPF code at start up, you'll use a significant amount of resources, potentially tipping over a carefully balanced production workfload. And vice versa, on a busy host, compiling a small BPF program might take minutes in some cases.(Yes, it's slowing down our startup and causes a large performance impact when popping containers at scale.)
-
 - You are making a big bet that the target system will have kernel headers present, which most of the time is not a problem, but sometimes can cause a lot of headaches. (Yes, see [how-to/run-with-docker](../how-to/run-with-docker.md))
-
 - BPF program testing and development iteration is quite painful as well. (Yes, we haven't found a good way to test BPF programs:[#47](https://github.com/hitsz-ids/duetector/issues/47).)
 
 ### 1.3 BPF CO-RE helps
@@ -32,9 +28,7 @@ BPF CO-RE, by making the kernel self-contained information, together with a BPF
 BPF CO-RE requires the following parts:
 
 - BTF type information, which allows to capture crucial pieces of information about kernel and BPF program types and code, enabling all the other parts of BPF CO-RE puzzle;
-
 - BPF loader ([libbpf](https://github.com/libbpf/libbpf)) ties BTFs from kernel and BPF program together to adjust compiled BPF code to specific kernel on target hosts;
-
 - kernel, while staying completely BPF CO-RE-agnostic, provides advanced BPF features to enable some of the more advanced scenarios.
 
 There are three language have its own CO-RE implementation:
@@ -53,38 +47,120 @@ There are three language have its own CO-RE implementation:
 >
 > - If one `SubprocessTracer` not based on `CO-RE`, it will not require BTF.
 
-## 1.5 Introduction of SubprocessMonitor
+## 2 Introduction of SubprocessMonitor
 
 `SubprocessMonitor` will provide support for subprocess-based tracer.Its primary goal is to support the CO-RE program. This is because CO-RE programs are often written through the underlying language(C/Rust). It's hard to write a CO-RE program in Python(CPython may support, but it's not a good idea). And It's hard for C/Rust to write a `duetector`-like program. So `SubprocessMonitor` will provide a way to write a CO-RE program in C/Rust and use it in Python. Instead of writing cumbersome programs in userspace, C/Rust users simply communicate with `SubprocessMonitor` through a protocol.
 
 Furthermore, `SubprocessMonitor` also support non-BPF program, as long as it can be run in a subprocess and obey the protocol.
 
-## 2. Protocol
+## 3. Protocol
+
+**This is a very early experimental Protocol with a high probability of extreme variability, and at the same time, many of the fields are undefined**
 
-### 2.1 Protocol Definition
+### 3.1 Protocol Definition
 
-#### 2.1.1 Message Format
+#### 3.1.1 Message Format
 
-```json
+```python
 {
+    "proto": "duetector", // or opentelemetry if type is event
+    "type": "" // init, event, stop, stopped
+    "version": "0.1", // protocol version
+    "payload":{}
 }
 ```
 
-#### 2.1.2 Init Message
+#### 3.1.2 Init Message
+
+##### From host(reqeust)
+
+type: init
+
+payload:
+- poll_time: unit: seconds
+- kill_timeout: unit, seconds
+- config: object, config of tracer
+
+##### From subprocess(response)
+
+type: init
+
+payload:
+- name: string, name of tracer
+- version: string, version of tracer
+
+#### 3.1.3 Event Message
+
+##### From host
+
+type: event
+
+payload:
+
+##### From subprocess
+
+type: event
+
+payload: object of tracking data or OpenTelemetry OTLP things
+
+#### 3.1.3 Stop Message
+
+##### From host
+
+type: stop
+
+payload:
+
+##### From subprocess
+
+type: stopped
+
+payload:
+
+### 3.2 Intergation with OpenTelemetry
+
+After we intro OpenTelemetry in [#25](https://github.com/hitsz-ids/duetector/issues/25), we can support OpenTelemetry protocol to passthrough the `Event` message.
+
+## 4. Design
+
+### 4.1 Architecture
+
+![SubprocessMonitorArch](./src/spm-arch.png)
+
+### 4.2 State Transfer & Failure Handling
+
+![SubrpocessMonitorFailureHandling](./src/spm-state-flow.png)
+
+- When a `SubprocessTracer` `attatch` to the `SubprocessHost`, host will `Popen` a subprocess and send `init` message to subprocess.
+- After the subprocess is started, subprocess will send a `init` message to host.
+- Subprocess will send `Event` message to host when it has something to report.
+- Host will poll the subprocess's stdout and stderr periodically and send `Event` message to subprocess.
+- When `detach` is called, host will send SIGTERM and `stop` message to subprocess and wait for subprocess to exit, if subprocess doesn't exit in `kill_timeout` seconds, host will send SIGKILL to subprocess.
+- When subprocess stops, it will send a `stopped` message to host.
+
+#### When Host Process Crashes
+
+In this case, subprocess becomes an orphan process. It will be adopted by `init` process and continue to run. Subprocess will no longer receive `Event` message from host. No message is received within twice or more `poll time``, subprocess can be assumed that the host process has crashed. Subprocess will send a `stopped` message to host and exit.
+
+#### When Subprocess Crashes
 
-#### 2.1.3 Event Message
+In this case, host can check subprocess is alive or not. If subprocess is not alive, host should log an `warming` for every poll.
 
-#### 2.1.3 Stop Message
+Host can be configured to restart subprocess when subprocess crashes for a certain number of times.
 
-### 2.2 Intergation with OpenTelemetry
+## 5. Migration
 
-## 3. Design
+### 5.1 Migration from BccTracer
 
-### 3.1 Architecture
+1. Reimplement `Tracer` in C/Rust/Go
+2. Commit code to [/CORE](../../CORE/)
+3. Implement `SubprocessTracer` in `duetector`
 
-### 3.2 Failure Handling
+Note:
 
+- Need to add the corresponding Github Action to compile the code and upload the binary to Github Release.
+- Need to change our docker image to include the binary.
 
-## 4. Migration
+## 6. Others
 
-### 4.1 Migration from BccTracer
+- Support `SubprocessTracer` template in `TracerManager`
diff --git a/docs/draft/src/spm-arch.drawio b/docs/draft/src/spm-arch.drawio
new file mode 100644
index 0000000..055017b
--- /dev/null
+++ b/docs/draft/src/spm-arch.drawio
@@ -0,0 +1,57 @@
+<mxfile host="65bd71144e">
+    <diagram id="dXxiTgUmU1QF2fdEp4YM" name="第 1 页">
+        <mxGraphModel dx="544" dy="1383" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
+            <root>
+                <mxCell id="0"/>
+                <mxCell id="1" parent="0"/>
+                <mxCell id="7" style="edgeStyle=none;html=1;exitX=0.25;exitY=1;exitDx=0;exitDy=0;entryX=0.1;entryY=0.016;entryDx=0;entryDy=0;entryPerimeter=0;" edge="1" parent="1" source="3" target="4">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="11" value="data_t" style="edgeStyle=none;html=1;" edge="1" parent="1" source="3" target="10">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="3" value="SubprocessTracer" style="rounded=0;whiteSpace=wrap;html=1;fillColor=#d5e8d4;strokeColor=#82b366;" vertex="1" parent="1">
+                    <mxGeometry x="130" y="420" width="120" height="60" as="geometry"/>
+                </mxCell>
+                <mxCell id="8" style="edgeStyle=none;html=1;exitX=0.25;exitY=0;exitDx=0;exitDy=0;entryX=0.625;entryY=1;entryDx=0;entryDy=0;entryPerimeter=0;" edge="1" parent="1" source="4" target="3">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="4" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=#f5f5f5;fontColor=#333333;strokeColor=#666666;" vertex="1" parent="1">
+                    <mxGeometry x="130" y="554.5" width="300" height="115.5" as="geometry"/>
+                </mxCell>
+                <mxCell id="5" value="User space prog" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="150" y="570" width="120" height="60" as="geometry"/>
+                </mxCell>
+                <mxCell id="9" value="Proto" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;" vertex="1" parent="1">
+                    <mxGeometry x="210" y="500" width="50" height="30" as="geometry"/>
+                </mxCell>
+                <mxCell id="10" value="Filter" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="330" y="420" width="120" height="60" as="geometry"/>
+                </mxCell>
+                <mxCell id="6" value="BPF prog" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="294" y="570" width="120" height="60" as="geometry"/>
+                </mxCell>
+                <mxCell id="14" value="CO-RE prog" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;opacity=0;" vertex="1" parent="1">
+                    <mxGeometry x="130" y="640" width="90" height="30" as="geometry"/>
+                </mxCell>
+                <mxCell id="15" value="" style="rounded=0;whiteSpace=wrap;html=1;opacity=0;" vertex="1" parent="1">
+                    <mxGeometry x="220" y="660" width="120" height="60" as="geometry"/>
+                </mxCell>
+                <mxCell id="16" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=#dae8fc;strokeColor=#6c8ebf;" vertex="1" parent="1">
+                    <mxGeometry x="125" y="300" width="130" height="80" as="geometry"/>
+                </mxCell>
+                <mxCell id="17" value="SubprocessHost" style="rounded=0;whiteSpace=wrap;html=1;fillColor=#fff2cc;strokeColor=#d6b656;" vertex="1" parent="1">
+                    <mxGeometry x="130" y="330" width="120" height="40" as="geometry"/>
+                </mxCell>
+                <mxCell id="21" value="&lt;span style=&quot;color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: center; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(251, 251, 251); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial; float: none; display: inline !important;&quot;&gt;SubprocessMonitor&lt;/span&gt;" style="text;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="125" y="300" width="140" height="40" as="geometry"/>
+                </mxCell>
+                <mxCell id="20" style="edgeStyle=none;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0.5;entryY=1;entryDx=0;entryDy=0;" edge="1" parent="1" source="3" target="17">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="190" y="380" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+            </root>
+        </mxGraphModel>
+    </diagram>
+</mxfile>
diff --git a/docs/draft/src/spm-arch.png b/docs/draft/src/spm-arch.png
new file mode 100644
index 0000000000000000000000000000000000000000..bba70802bd6d7d3cd69c30d5ffb4c7118d1258b0
GIT binary patch
literal 18262
zcmeHv2|Uzm-#1dJPBA)VD0_%VL&z@1WLHS`IcALAOvW&FQOPn0MY455l&z%fv@l2#
z*^;Fq`;sh!G3Nab;~eKc=RD7OpU!>1_vd-<%Ey1M>vwIx>-+oumid1QKWlJi?{2Q$
z3=9l=wY8u|3=E7g;3tb^2hb9_6W$B_V)QUNqs~z9=I|H;0~mwTG{d=h+dH|U7=)xX
zHlBo}HGyY4CtC-st(%b42`4)tX{eBtl%1KklZnH5xATy5Fe!UG&5I|^^?_zU0&VMt
z+K>^_loL9wLHj3l0s{O9Y03+oh6t(4&;-}#b@M)hwY})5kFi6!0s?m48v~^wCpYG@
z^Vw*CNS~74XmP-9?f{sPwj8a&*vXf^B;*9W)ziri<v}03(S*ZbTyahpf7^(}pwTEK
z?l*$ASS$wrTQPf#EB)N`RWI5)Y_7O5JFUSOY3us?)(cK{ILD0zPD#oADy@Zba&X*S
z86qpc(c@;jDNH|!hoh|>2EQ?Wy=h%>SPTXjs=0nm8Yowq@;3FdF%I@8y}#@qi$c>E
z|E~wockF@l**qJ{4mc|PBN~GSPOR>Tb8`i@2mu~Z-cC3(;Q7RHDH-}l^DSLa+7+Lm
zcR*>^yZ!-<!}@HDTAzdVkv8hY@e>ePnlP>5*P-j5elzwg3hU&C!lAJA2{+aJ>nZ66
z_rQ2!k@QQVLkee$bwJT|LB}2Kh`>z1EbGHIv5LX~YhZl<Wn)pUwm2uRtwK^KZ0VqJ
z_(cu?DE%UU2RHBaoBHEhgV6WqW$WrmpViJ5XA8$|oa8U7|9^V$O~d)upPYURTMlmQ
ziMWWxAW<G3CRke}aHs2rzC{ICj3?R-MYBj6c<_!+IF#{4KoV%c1AGFsZ2=^}XRaC;
zR}2jrLQ>LpGN@B_Cjk);92Vn(+R}4M3Lz~^L))L~&<lmdq39g-C&1Y3m8P374W+<*
zCjs_bKL!3*Hh^rlIc{MBS-RZ!VCmHF6!t$d*<Y;mzcX3c4NKoN+FvaAZ#P)Fb#66S
zI(q)~u%+*13v7R<_3weHy$tOy07iQZ8n*?c((8Zz2)?rGfBre}m617leBEnHo!A0k
z=@WFYZUry|BC{#_Js761wne??J!njD!eiagrA`10;qZML-xz(-_IEzw|H8~=erx73
za{odzr$-E1RCE@L!C`)<6o9e-@3xf^ZC#xl&;T(Z0l!Lfnd-C?I|0$lX?lm7lbs#S
z-K%3!9!|cth;`Rb<AaMBCp2!|&B>?>$v}Y?TTdJYkfCue&G3KAs`T(+D+SY={s!es
zZTc)a$I5KNaSKE@?`JDQH>vr1;JLZ<7Ujd7TxrVuE?@OGXhnMSc>gavkL<<)wrEBD
zEDSK(e+y%klBaX_CSLxP#=4o&Y*CGdp@fm<pDE|}M*CMS>#rO49|cao^;sBzY@Kj4
zebJ2nZ$KyHAJ8d#^7n)({|8=WbJ%y;?C*Wb_gU-Tt{th(h>(s@+0AHh3#0whqDCOm
zTIa4U2>m|wY-N2~;BAXKWsm%wivW6Lk*81y`@acbKrFg`47v(`iBYzya1%{iy}~Iv
z>b?tM^kjL93V+RIv@jmOPv(AWZhvHuf1b(M+uKVa|4^ZJvItq3e^Ms%i+|aw&`sQK
zRp_Q=e~&^p(r>8~TNElJCF@EHXMi{mO$!HqsY}SZd(vtm>d1{;?=;YfbwC^iu9a4Q
z+WaND4zm-qs9M6_*3HQkzzI!M3+3vCqQyX4`ZvNFS}#QEB9H_D1h_Gfz9_8+jlsIv
z0=17{`n+thPPV}0KqO_0^916jjrspn4rxm(N&VqeczRw)>pTgZV0{r+6b=Y8Bxqr<
z6WZbTBQe;Ej<#s}lt7t{wlSJBk)Znp+GM}PeVctwKsrq;2hloDY#w!e6b=haW)B>4
zbEWlq4<H6y|9X{-HiW(m9)q>}?Z$qYO9GEVxH#b?*5};tWD;}${bo&sEz-qd-6$mf
z;U1-AfQ*}VlUpC?x4Ay69SVuT0!0}NS_0?jgmggz^@EK~JE5I$PMeqXkFs0t^1qbZ
zvYp?^*}GzF>6-f`v^`<x<Z;o}mJTf^w5t=KHK`N)PHq=5SR8<k^=sJ#EP!YSTFb9g
zp^pJ}3=}NrPzP#98))B<`yDIOjs%SVZ`fmF*!QJ7e}!B(?f!4)0y;teYVlHkwXCtV
z5c!v@8ta4pYE9!$mHXe+8zFR$@%Pm)=;g(;v_uWS+-5y$GpO2hi~s2EHfk#LQBuDx
zTb|jhXRgov50y;d<FCc&^}aK|mh?9VY<_>R`T3Xc7RpMD?HL&O7__0MO}uTUQunr>
z@9?<;H<F%x83HqFW)0_@G_tVNfM&ohqKb%@q-D*u^VzrSQ8cz|E}#368N?K}`)J5+
zkUsRRo{K3$@w|xf1iRkJ2rfla!XW&`5sQawpB(OKCoQBsEF>%Tl2iR^NNFC6Dx@+O
z)b?q4{0vEH#xIRL9Z=9Svx;J!X18Hui@o`-x}BAc?b0PJ)dPb!jAO29UfXZ>=#y=2
z_a~WWUxL&aAVzz4G1hAF)1J18GKIy)U1C6F?qCy?VF(UoHq$XaES`0rktLIb52nKe
zh_E>xA^v=Msly<rW40}NHAwR%4>ISyNP!efy8^7%Y{%O0FqF{j{#l%*I8u!jGTr@1
z!$5KBq|e9TopG~gVt6D<1_CR7;5wPpwanu)1S%VhR<s*y%WCWB=qTvkeJH!4!t$PB
z`tcZ*m7HFmkyPy0=R3QG`ybj~_Mb~0xG@t*s=$ul&t4Q2PH!RAPy>9%vJ&kUC*SMG
zTm>h?>cZI^_XOVt?|iigjTj_G<?d3;dKgGq(UUjTBw(r*5>hU{*!5)Mf~}3umz&=n
zr&IKZF}wo~kd-8(dtr|xo;2~XHAJcD6R6e5Tq|6wCbrMBt3yG!>$Edo+WYHINvc8B
zRzZ{n?VV#yUmHcz^%RJ~+ja_DXH1+VlV;L!2tgR(dNR6P6hxS)Obc3Dwo?gMnCOy>
zEqsH2C7OL?B&*`Q@&LCYdGfJK-+kh2on#<{GrN_%X12Dx@Y(;<RgR&EV+C3Y@YK0Z
zON>5oZPGzCIjq$)abRt+B%Z|UJIXIVd<z-paWh6ri`OI1Kw&I%sC-@q(_fkC;`$@?
z#nnAu-aDk<teB~`EU@;h@L#B{_RMWI-RDPWj{96`z;|~4U_H4eQA-cwjDJjK=#3iC
zB8Z8IC|BKIka6oNwtIcS#wSZyMFg%~aJS-9=ppt;r*>6DpRezJ>SihMjMVREc)aqf
zdXgd@E#RgsiyJ*F|2a(1S&BNJt(y8;#;$=)p498%mr`hbyP8PgG$v6BgD4Y?4l$~0
zOHe49ha^As6{m6_gEujd-|FJ??Tz0)SjR*g&nT62e3Z;eoxJ(n_8PZoB>d`F%iIKM
zWyB^j41%xKV*>>%^HeW!>s3YP#DW)KUgTJVySfSD+UT$6GGHAEKQCn7E7FbZ^1RXW
z96eB7HO+G`!sXpPedY2q2d+n;hF>SiJTLRl@eg=jPO|36Y5KC0*Z)N9omWPQtqv*f
zq5d;|1G!b%pWn@y3{QLb22^J*_>OzFi}}C_V-hTsib3zWW;u~hV^1E|gIl>Zb8hmz
zoiKKS8~8pk*L5O&6_S97uyeoUK>8}d3#w~*f>vjFm~caVmqDug(LR%sO%x%oDxtE#
z{#}ODJZw9vFw#&ctEfHNm}Gn2RE(H6;ck8RgR@p7M8b>O^t}0gp9mtawu-0;h29Y+
z!rl5(Se^%2jN^^Qlws6+oreYzZ%_Dl=9$0CK<eSms=?$Qi0m9+M(Z|KQnlr`+-KMJ
z9uoE#eyzPm?ZXe~d!I_G5W;6fKT48}HdTO?_@5zw`p#Xk*u~_hbaSzS|A3V*Yx4lB
zF;ma>`(V$Q)+zmaBygWk%~GADvtP*AzTy&KRS$H`In_ezRO+*asirZW!Hx@XYrnHY
zi@QC`CYqY6X7;p9EiC)x8xYL>2>B5ZmlzPl^fS+(fWVQr6Eoli?L2CQN(rum)S@_}
z^u7qCt4~-nb}GSn>Y4=b-8HoJ`|!9Oxh5q?F)8oJZdsH10N3gA8-VLfu**}Vh2R8p
z!z@2P=b51JlXE6q5SaHF5LSp~XvMI4N!PtZ<ialJ?Qmw@v5;VC>-zm_1keoz1c6Wc
zikT==S;QlwOr1(_t(k!Ty=g6`RhN1NsVP63ld50uvGILn1ZYp@2s4}DRR-W`?*_vG
z1jwaEXlG#NV*g20-~Hi@dpr293tR$=?gB*CIdXyJVZD~M+9hR}Gwp|gX%b+?s{MD6
znd*GkTOn&+y46&!0QR#g!Bw!;wE^d8o3KZ#DQu@tF^{YGpM$K8<><Z$kJIYW`3RS_
zmI!;4uf>^%U}i(svG=_G!bh|}>TVzcoP+yTKy7!h_DGy1u)5`o^HK32q|CR5^FwDC
zAj9>t-LW9#!~6UX)mZq5YV7Ciz+sQHdR`w8WUK`vI|&d$n4p@9jSo}Uqi>@9b4(!Q
zPT^EtbT|XTb=L(M0~n#BLGVH>FJtX3-VZ;Wff1hH3w_4Ke+j%z8yaiNM-*_9zCZxB
zL@<{o62MUm%idph@eyBT-?}EreG75?y%qz6i;=kGu0RAohP~EgZ_p<w_Iv9RQ+>*M
zsWpKqRxP)vE8ER$7A>V5sR4df)y=9t7M*<yq$2-W+}QYvR;+lBY*&a-$q{68l8>p|
z>wMK9&0z@}iDQMSNsV`G_&Qt2NCD#0tlPn2I(!@u1yO@jUuv34<EfS*Xi6WIZ(@3t
zHwg<REF9YlF`eHxR1|XLdL(#3I1Sq<Q}lT}64iY=UHf=%qftf9^UI49t;)+%z2D|N
zwChh@e8&4qrfa|kU~K%9gt4Thm|!S1yw|&Fpy6GMk|e&jh!0elY&bF|LSbJ<56s>p
zP$rt<=Gyumq|HR9dJy5A<;GFS_EG70??Y8HF<;VWY6kS`N9#WZJ*^<iHF_3QFQgsW
zS4A9*QM}g~AoszCWa@?^obHcgKEM`iRXaM+o6KW&OfZJ0e=zP{pP|J%{fZ=U8VetJ
z;k|ql-cdU;lzTaM)Knrh>GjQNGf#qBjjuB3qhH@l)3S6zLuJz&?aci8eTNmG(WfS_
z-+s-y)LtK77V7^w#;)zX$igYOB0S)J-l}^qS!`S!GCty&{M@rW(4W*xj`{Xk_d^`2
z)TVxNIoIw}Z)5nVgsyu+8)Kj66?P@s=77K<XI@#PQ5^E%Xm4PqBB=*sePmBTwPv*P
z@WY;Om1*rJUSqSAeWu%uF|5XQi(dr|7e{#(D&-SXgrtwx6bKvP-NYo|gur_;1!a3M
z{esH{A9Qu!#LUc!r00jX@?OfqeI>Conue(rAoK>h1FwzXRTmQ4ra$Rg5cXHQtLJZ9
zsJq3}l9($AIS?bM#*q=>zH08_o7u@>UX_K<5b`mtU+SHc6tT{V53(q#HairMWafN5
ztN1EU`V=!$S=c#EQVc7lxZc>jq|)?J770v2>yy9%PNQZkq$jz<^P}KC@1E1+Qr#R#
zxFW3N%9O+`mrK>$D(P`;w`Kk4qMghR_^lOuLR;!ZU2GITTZ1NH?ef8rnw*eirGRkP
z)i<Aq%KOspsOYs)lmeU*a}e#yur5(xoj#w!wQpTdl%E%$^!<RGR~=adFU*Nhza;u8
zoxqX<M^b&_te&hs?P+oCwLw@Ar+Sc;UUlVmEyg6V_sAbU9pn!+paIyrWRM!|zV!1>
z5hEOTtY!H)IsVN`E;P)5Mwld=Sv`&w+Ph|rX?hJa4Dd`bO;;f|xl)}xGf0mWU=#_5
zjHR|3Dz0m^ziTOZS=kX&_u8m@KgP45>;O|)_@kSAx8=Lw5!vZjxjCOV%d{|$i|?%>
zBS13;LcoeA#;mZq%y&UZ-3xV%RqSenA6b~i+8}Waiy$?^6tYpP<A_?lS#xC@#Oo)U
zvZ0Mu&Sotfp*1r?O&4G(T_*T&ao8ihmDk+c03Omv=s7HiaFsqAntPbB)~xJ?J)8~k
z+P;=ERi6QvW9@GuCGVC!P=GCQ$IFBOx)ZYMIK>Gu6^yac3}ohtfYgX`$}=<hMRmUw
zBpf)zlR%4yC9iacF*2d{=NuyzT^7TxrOs3f&N=AEmPML2s05w5({TUt?LCkkH}{2z
zCaKj&&W5^-G)d$Z+<YwDa($2eYYBPoFZwayCS=R&PoPmph;xbee0q?2;M^MdTWnRu
zkO*}(Nb#u)l<=u91!}?*9DOjuE3%}&*vf0#|IFfhhf68${q50HTp*;69KZCnGk1`6
zqxi_<61?yIFw2dq)CYnUuv&0`vo`b#Xw(d{(s%deK%=!FLVQNpZulz;E))F3Qfd5p
zOyf0``JLZBu~J2VIJv~GCT3c429Ix=SsTQE>waA5Y1I`5epw+Oo}<LXElRY+*c@*<
z2tUpNuQsdpS^QCcY0$56u4XMiuhc%Rx5)Xv6>jV%mRR=gRg=yxX+a|U9ck1<W(6a{
znCmIXj^r#RCJn-NHTwuhmLmv)a8C-8wfvMWcCBcq2bXf1?Xn2`bK`;7VcknX%#$Sl
zg(k*>%bi>q8hl(#4Ga*NaUS#T;JZKyQEO(B4`F4#3-}rk@?@RP9k!zp3<xMevx93+
z4G<0k{YUu!oi@&1Ak59AmL9u(%u(YGE81JV8aMvQ4J?|*KOBhK3y%meyl|$EH=zE<
z8IeN~v$ZXT;iLy)l^2+T$nO9K(bp_;={nx)C;<L?jl3`+5(fFm{N(@_;$*xg!T!pp
zeV4#5oAnD~`C-yFwT>|GG(#Aqw|9t(6LE6zKLUS;9?U@q@pp$Q#YJ-gH+_7TZ8$S@
zE$h7Jiju#C=3eN0*gyNy6WbkoZ6RVgi#k`->)kAtROS72lGIAMs~b*K4fu?Ezfw~&
z4I;;#zt9LzS>iZtvmbFXTgU=}?khh}jOIROs7k@HvdoRNB*q)6m=8B6iyXU9aAPFR
z&!98kQlu$SGSQ{5%5<O7S2a#KbPA`{58I0M31W3!ft2#sDXPYc{ba$<S0E0vU#ea~
zydW#uYZWyVMW4^D5;8mZIn+22RyBcDl}n!^r5xU*ggV}q&u+c85Q>*u`1t&CKKCFF
zWG*N$bMls?GsGZCO4BsYjQ?fmUYA>u&B=0t#FMGZB!gbh&m-9<Jux-ZHH=+juMl?W
zoS-jGOH4O_vXJ>Meh^N{Ej$wEKR3{S<7%SB4Q&oXgJ_p}?@`-pui}msB-jSY>LnDI
zi)m1oR3ihcsVWrIJ5{%YW>$2<p5yZHH>q9)rOW+36K>1bczZ>9lGer?Sha^s$%_^7
z5DNPINQGV7Ydb<LoJ;h=K<SY&0}8sZl^m$Fw!B8(XQT`nm#KWXaP^466km+urzYjk
zO3TIZeqrr1<$W@x6Z-HE@iEGxauOBVPpK38I0KiyCR{oE0L&q7cKzd|ep*z75yp;E
z`Rd7Dgntl8NiMvhS0N-X6HJlh=z{Qgwx7ciIUQEls>=tXGhIwNGhk6V{fZ+g9&rUm
zaN}%)n{osG#<J+%qsg*vaj}ADWWQX0Yv62IpJQ}Oe!1;-<?0?!IWIxTxDjrC7u+Co
zr0I*IT)!~uDut>CU2dh2bcek9+dW*^SG((}N0$lJtI-Saz{NcA(n-t45f#YLe&x)(
zLF%`g@K<sMRG6F6%_rnl&Bw>%CJtI(h%bFL(yAXb&5tKlC&Q7BM_@JaUhsn}@*=KP
z!coub?$xgvtQ35h)+snQ(B;$jq^fLiz&WT>GS1XSGrYA=?d3Jr#MX>6O_vzAv5zgw
zB@pxFVyk<b?*;KHd0&hXO0N)|upWu#R*XBexJI7gux5Xgs@T;7u{kObsX0_4@Xc1@
z(G5OD7-1}{_|-ell%0n!stLU0*9dJOa7sG|O*e5^9$QEzmAUQD*fEZ`Um@YHb!ibI
z9VFwL4!+STht?!lQg@O%u6(S`F!JEenK=9I^MYcxD!DhktM8>=dHxqU(kRapk5u=%
zAIf}|$8UqJnc6(sb@c=x3iq>A2V=$*Z0Z|QlM}M3oXYhzp{5a8ED)eh5s>&w2NMSp
zgw2;anGgz+zb3W>)-Sai8w%-G6%-UeGto7=RGXQO;b@4c6X-pjWL2KouM0JuIXLv8
z!fVQTyU&S{&JReO^+0Z6_3g6yoMqpoPuJp)x3)Cj)r_<QY6RHHNA<88j`yaJ&I$JO
zHt6N<4@N!8{@RhV#_7u@Za&ir4}5h!y7bGhDfc9eIb8Gi)w1@<0oMn4s>dKan~+_p
z_Y(V~5{A&%VTk#{pZi~OSxd1hJ37Yfla+u))dh_eSrtxQ3-Z9|>N?61(U4)^$Ie|N
z2~RKY*sGIJy2g_+Amf~v&7?1xMM>`NtJIHx6uOY{pfY2qL8Lh$Y7smkk@b!{W7vIl
zX;yhDno}CqSzw(!gn4mgSL^Yg`!t_u62u4-9EI2SNG7)pHev;1?;o~G%n4rN&Il6k
zgUI$go^+}2CYYGqS$LC63QPdM^Ly0nML?^{R#~Bcw3LP&y^HKEc6wLfi@@m~k21!T
z`%RZ+3+urND-Jia`@`1uw+YudTI*yh!YF<vVd9`zlmNSDz2gC7)iuYyzP`o>3=m)Z
zof>?CN&ECpo*tp{=+>!S57f|Avrp|<&%(>=y@>#;yg5--U-~86P`JrDfR=Qi95R$)
zL729w!Lj&3kL<K#9`~BH7sdO?V$a@3+Bd!uIu^fELrkC~F~={i`i{kWB#s+tK`3zX
zWHt8>jjHBb&8ED{<Sgsjj{+fFi*I-#+7BJAsx^pgr9hzr13)RxZQ1mhQO^`)yu6R&
zuAfdb&){@+&v7}lXcXAEBWaC0gQ}<!v`c>OmF`fINcw%UNl%bM-r$r!KHD{LG<FCd
zg0A!>2SlayI)~+}1S}@L4^)ck$Dl-~Vt)2}xS|s&O_`SuaEsO$<<7XB(fX33<nX&|
zQt`t2aT1nK+sn^b-^=19=GjzP@c4gyK1A{?7cV4Xo2K_0Dm~(6g$F+Ni`J}AtetQ1
zQqUpvbhy}zE8pxy6%RiSqORcx&Ej2oBc%Z^&ITQEtE!e#g+uGj?#cIjHLNyS#1l}R
z*5V!|s2E6Lq$a^9_CWY~Lb+?Q;)Nj7?zx+RC*JLV*guziM>c=t-mAsu2;nM>iXo}<
znL=cfO=`QvMc?EC)e$d8>mT`v5gA#?yo(_q<kk2OAF}vi9-l!OoVKOg_=p!h;$7^*
zS_vGG+n`WI2E-3?a%HekaI^P+1iniTYK4F*T?Jfr2A9Fj-xUJ>dK6rtFkh}XT%=JU
zU;I%$@_q>d%qMV6bI2d$lZ|{3y637|-L5ObKX=!9Uk$So5V#Q8aPvUnf#a-9+!_p!
zMdgkjiE3d1Yk@Wi0p1LkNku)CUBTCZf>*VJMn&D2z}=8`)VxtSvHImuJR1v8+?uqM
zH3=<@Z0PT=ALAku;|x#podR+~jOc8IrW}(sa=`4HC<`+Hk*8_wQwOQ%p=%n@we+yb
zV*-lM%$l&(;IJR;3m<vr_%ku_14(bbg9hmUM?`}jsLTf18;=VR3wRXv`hC?v_eujG
z!p0K9fGE!9f0_<{Uw8||ch;RLtTpYYT1STl7B&_jttrml2I=9HVqy*flH;i{HG)?t
zfg$(~kOuiFuw|t33##!Qr48Blzi3FbSJ*jfQ^=h0&%KfYgI?5Z^W-S(t+3boW9KYa
ztsW10@GvW^tF6o$(XMsS`%})3ta??62P6=$1!~<{PM&6f$TEr!-l(iSWds!tYY+#S
z9}ysjH<*Dqg#;|2c4c8Hj}>JDX5>NUk^)F*t!MH~hdkynC61GksY4i0^K!E;p}exQ
z>q*6zr_B>Q3*Bs>BryR&s9guzX?%IjsJzw3aw@Tzg)QeeW36M0TSe`yexy~Er9aot
zUe{P>rdcYyr~#>Aj--*bf_h$3?Pz(O?}(E_;~pk9N1*=Oqnkn7_^L9D!`$M^Wv@L(
zEuKw?sUP5a;XsX?DG$$sC>}`#iRl5N@s`ElG4PZ;l9^>*2l%`v6DStcPC|O-h%9W5
zKoPYkGUEqGc|mKCSbmdp$?MMCwsi7Wlb$p<Y*dW~jCrrHR-WyGY79(ng22&^g8r9+
z=HJEuZb%R*nnODUq->xzAdpB>OIQO5I^+%V5j=|U+i@AZ&5-TW={x6{P?7G0u+_8B
zMfTX60#cgLYC(bQ@P--a&@lmQP%g*$ughVNe)_1lGq`fs4GCBk@Rir@uM(i;>tR21
z2egtR8ZON3cpEwkLLTCiVrEtsU<(1ON(xYq2vC$y%!D@tfnw7`nR8Ezhe1M)fCQK=
z_yGY*L2Dh4Zb{Cp0MS$|+Jm2sG5BolC_W0}34BQwA|L`~Db~4D02VPw@z%`UX5JD6
zRGJLOrl)y2J35{$T-VrF_D;d(Tzb&waFJo|z@<-f5w{DO=B|80Sux(Q3K4v0-+cRN
z|K+IKQkU1@fS+FPVVV+pTgYqUDtQhDe4R+PYrZYxCXpA4u&VZ#ujOZ8WMMY^X}tY@
z7-UHt#K+8c_9#%|JBk**%)pG`y97oyutU@tn63h4#H*j}rC8MXb})rOLd8LX|2)xP
z$GXxM74na}BN`(_9(s(t=@rfj#A+OR{VZW6+=5WyH5SBp>B50sqczA@qi%CO6GFS;
z!7T3>%ZZ&3Vlr9h3|eAR{8Shu@@#K?{=#MO;F};+M#(|1gW%d*nn$MxJ6BE<+(&AP
zS}pe|?)d@Ws~<`3E)+gu=^Xt1X#UmI?Lcq>iXfLh31ma|I+zE~GcfE6r@afXT<ALA
z`Qi=JW$<H`x`18_)iB8P>IGR}7h8wm(**M?pH<NLytQEb+Ob1bPaZyg#zz!acjqnX
zWJM4ZsW+qgExOHrVnZJMxpZTzsnl0646xM`f74d~mu}CnKEk~|np+Cpdn!rVA)0Vl
zzQ}a@L|0)V2izaxlYYU6Iqz!f0Us?yZ@FhKfm_iuEpTPbq8mvhfb#23U*4fzHR$`9
z8{Zq-elcSZD0$3uD?A0R1WGX9C;FunxTlbP`UK;9da(zNnKnGMeHr(bmZ`7S1fI@a
zYO7y}q^!=hB>Kz^3yoyOI9LaDtY6-u0C9R6eNHX+LZQKULx9Fax*Vood_7lJ1#)$}
z<!@ga(-&5^<m%(CQL<cy^%f=Q)E^F?I$KaS%r#rFz3Y8{5S7xn6v*+B*QMQdX@)F!
zx!={-nA>M4R?4mCB&UkMH~ZuMTU;@3=6YNT8(YutrdoYSkg!}V?Jp=eK8rlN4|pBI
zRH~rjIoWrc#U4eM{<n3b&g$=LR>pJv!dg1ouI$=x_x0m*{qWWR``R!Nb}&j#nESzi
z=L4&StjQ;qeboVe`SJQ)u{^x0f&NBv8E0Y=7`N?U?nt!&%xO^o7G$2!bW7Rqskl|?
z2~jX<Z@@Fgokye&OWB3Jz6Hrx9P!nig$*hLuM33ZtYXX2&!g}_vf7!TH|DcIe4Ec8
zx0tCN@9PQ_z&|{7(;d1e;2~MEsxVu-KR%?hMRoP-OPO5;X-Z|nI{4`a=X0SLF?`jE
ze9hxlh{>eELv!r-6zztF_gNEOEj-)C+ABCSy{CRgAbAR$3Wf(Rf4RM6r91{MPw6`B
zqFg4alrL#rK=vGpw8+Y<Uy$Z^Q#A(;Au9@_!sdkT7P${hM;?@jGk<I!zTbRh*tIz5
zetOr7Ins^d35zl;s;GX*X6%b`mB(%FV^vCX^`^7r*`>b73LE9XmwV+JddoaqxbLd&
z;6^6gRy}2diFuo^egmJO3@s68T&YZM3~wzo6!|C^ed_L+t})Xe3wBU^eO71d{U%>t
zE0v4^Cl}W6ILMN}YVJ9M2@EJx$2GA8saZScSy#w{A|^hMUp2*47JIMW#r0(#YLf7I
z_YGT55ei(9uFh+_ntm|j_>^^G(we}<^s3Rjk?gW)%ny*oeDK5+{|fx#+U~4=4uh(e
zuE<(=V8zbpYM_?XGtZHi{sCZoMb3WDu&_sEm84vJPi^>qd|5#0aOfCCe8MQlCU%st
z*7i2$nIvIe&VJ=knH*4HSR40rED)^t7_!IN@C~5ofcr9cZ&fF)*0?CGfpLVXoNgl0
zjJKdz4Auo%;m-6TR0F|L_N&`6F5~5Sg&k~H!Kus?id>MSe$6>bKpM=Cu(Ef05#DQ5
z9t%DcHBzqL6{{ehP1-|IRw^kO3`7r=D^SQu4r%7`_p1xzJeqKcCir~7w%v=)+~`Nn
z*ER4U;h3w#Di?6|Ip?x?$4C9D!S9iiKS31a%d?7VtU6V*(^<%dNfe=6KSWne5OwG|
zR1iY5wYI9m0l<qt)=#o~%WH-tKP-%us&IP^lKpg}(sam%$&?T6p3LOw3e30mKB|AY
zMte(#-|qB4u`1X1Qa%8Ry~X-cSX~@CJ_ydwC3Jx7xeW^)=TF=E`W@}#A9vvDNaXSG
zyziMo^&|D+eU{>4NsbD{gA;Nk?<T^JmNa^?TFt;7zDep&EFw7cDYe}GP<|j@CNQl2
zkQ=W#BA=vIFJ)7q;*y^p9U#_Mz+8+>F{`_^W^JD_T`WleC{0ELvHCH6@fG5xN?PDE
zj?b#LNWi;vJD<N8$iGf`b|MjwNbQ@^G{0whpGyoU0XQf1;Qu(M|ACwTck!K231X@7
znR#<&uj$?-Po4CbT(Hmi<V#tBcMl++7{BT`&A@~LVlh;k0~(0Mw18Nwp_uJQAQlq_
z!ZzW6;ZO$VkRzACm-Y6X{x=p4{#ds($V)YgR-7*7%CN*#(Y}=UaM@gXq?EOCmUsxe
zGM3#G6F8s2gG})mPAal%WFH$Jk4vYnj!4<QU<R5Td{Z*qd%Zrm6;ap7iAmD5gJXr+
zioxf-xjvSAP7K|-ye|&$&`I(h_h=D=aDCJvxmTfk4>`ZUj`)9zPrsonS%qWuHz4><
z?tw3<W0jN(BHUNz$BJ-cZFV*`Y?ss=KrE(&g(Erl&pAn0m7WEBZi1b2PqCAf-{K?>
zlkswgAH1bd1Qr0_PHxkc6q0h&BpgqB$*QWfJo)oA9*g~D5dpKG>%Of_6gI`4;Yq?}
z8Y(ZC<ZoN7FsX^}APoePr<4nFAM3>DURCp94mp67#v0Ai-jsYI^zdc3)`O^8$1!kU
z5!nS!wh(|Fm;}D0abcfVw82k*`_lBqBb{v3Mk#-@_#n4H=LH@)DqmoHyin;DCsV36
zP){p=^RP9|MiAmGcK)QswS9d^)uL9O!4!E9XWbcqkk{l3tlF4J6&+I_N<`dC0~&Fa
zD|qFCzL}8idz`ru7;cP1g6M_4!H8YV62!cKYWv!pCgjcNY7^J}A_jUq)uqZr-&7~*
zz6X*p_(vze3*-*~wP&T3_l@x)B9L-r{aUk0{b#OhTKfSNMkTxyi=xF(RF^Iu<O-uf
zE@FQBbdaec3{JoidM~ksT~>RDF!5jK<dmjBv8jZ<-9|yMP4Yi1xBZ+ta3%%$l^SGT
zNlRDa0AxkAOIz0rD5~QLYx_s$jeI{o3oi1S>KO|6$WX4EUpVP2mQRj0RGMWr%qmmm
zKg$jv&Wt_rUiLzeN_zosV8u15)mxQgCoc*x_W&6^m-|x<pxS(1(IB8>LNChpn>&lz
zo$WxyX}ej<ZblZ|4&dDiPM={heum(KK-ucxPwryOd~Z2{H>(_ml5(#wFk1krlI5kk
z`!v|FsS#3R9SYciIzuq<o)+W5Y#@P31?nMQu(UFrf0#H}y{?;6YrT0lGwp4_!ql$T
z&gVUxU?gC_Y)2y*5aN+abHEJG0kfyQ-o?idTm<Z)s6kqinU75zct69{ndOK7i2nbf
dfh8)mNYbJ0+1h*HKgway)--??sQ(o5e*mH~JUIXW

literal 0
HcmV?d00001

diff --git a/docs/draft/src/spm-state-flow.drawio b/docs/draft/src/spm-state-flow.drawio
new file mode 100644
index 0000000..0d02299
--- /dev/null
+++ b/docs/draft/src/spm-state-flow.drawio
@@ -0,0 +1,125 @@
+<mxfile host="65bd71144e">
+    <diagram id="RsjJzwHML_ZkzlEyLgvg" name="第 1 页">
+        <mxGraphModel dx="554" dy="593" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
+            <root>
+                <mxCell id="0"/>
+                <mxCell id="1" parent="0"/>
+                <mxCell id="2" value="SubprocessHost" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+                    <mxGeometry x="190" y="270" width="120" height="30" as="geometry"/>
+                </mxCell>
+                <mxCell id="3" value="" style="endArrow=none;dashed=1;html=1;dashPattern=1 3;strokeWidth=2;entryX=0.5;entryY=1;entryDx=0;entryDy=0;" parent="1" target="2" edge="1">
+                    <mxGeometry width="50" height="50" relative="1" as="geometry">
+                        <mxPoint x="250" y="570" as="sourcePoint"/>
+                        <mxPoint x="430" y="680" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="4" value="Subprocess" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+                    <mxGeometry x="430" y="345" width="120" height="20" as="geometry"/>
+                </mxCell>
+                <mxCell id="5" value="" style="endArrow=none;dashed=1;html=1;dashPattern=1 3;strokeWidth=2;entryX=0.5;entryY=1;entryDx=0;entryDy=0;" parent="1" target="4" edge="1">
+                    <mxGeometry width="50" height="50" relative="1" as="geometry">
+                        <mxPoint x="490" y="570" as="sourcePoint"/>
+                        <mxPoint x="490" y="380" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="23" value="Subprocess.Popen" style="edgeStyle=none;html=1;dashed=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;exitX=1;exitY=0.5;exitDx=0;exitDy=0;" parent="1" source="6" target="4" edge="1">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="440" y="370" as="targetPoint"/>
+                        <mxPoint x="290" y="360" as="sourcePoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="6" value="attatch" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+                    <mxGeometry x="220" y="340" width="60" height="30" as="geometry"/>
+                </mxCell>
+                <mxCell id="15" value="init" style="edgeStyle=none;html=1;exitX=0;exitY=0;exitDx=0;exitDy=0;entryX=0.145;entryY=0;entryDx=0;entryDy=4.35;entryPerimeter=0;" parent="1" source="7" target="13" edge="1">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="16" value="event" style="edgeStyle=none;html=1;exitX=0.167;exitY=0.556;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;entryPerimeter=0;exitPerimeter=0;" parent="1" source="7" target="13" edge="1">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="17" value="stopped" style="edgeStyle=none;html=1;exitX=0;exitY=1;exitDx=0;exitDy=0;entryX=0.855;entryY=0;entryDx=0;entryDy=4.35;entryPerimeter=0;" parent="1" source="7" target="13" edge="1">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="7" value="" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+                    <mxGeometry x="475" y="390" width="30" height="140" as="geometry"/>
+                </mxCell>
+                <mxCell id="22" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;exitPerimeter=0;entryX=1.006;entryY=0.561;entryDx=0;entryDy=0;entryPerimeter=0;" parent="1" source="13" target="20" edge="1">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="13" value="" style="shape=cylinder3;whiteSpace=wrap;html=1;boundedLbl=1;backgroundOutline=1;size=15;rotation=90;" parent="1" vertex="1">
+                    <mxGeometry x="340" y="400" width="60" height="80" as="geometry"/>
+                </mxCell>
+                <mxCell id="14" value="&lt;span style=&quot;color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: center; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial; float: none; display: inline !important;&quot;&gt;PIPE&lt;/span&gt;" style="text;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+                    <mxGeometry x="340" y="430" width="60" height="40" as="geometry"/>
+                </mxCell>
+                <mxCell id="18" value="event" style="edgeStyle=none;html=1;entryX=0.679;entryY=0.006;entryDx=0;entryDy=0;entryPerimeter=0;exitX=0.002;exitY=0.665;exitDx=0;exitDy=0;exitPerimeter=0;" parent="1" source="7" target="13" edge="1">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="470" y="450" as="sourcePoint"/>
+                        <mxPoint x="420" y="450" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="19" value="event" style="edgeStyle=none;html=1;entryX=0.679;entryY=0.006;entryDx=0;entryDy=0;entryPerimeter=0;exitX=0.002;exitY=0.665;exitDx=0;exitDy=0;exitPerimeter=0;" parent="1" edge="1">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="475.00000000000006" y="430" as="sourcePoint"/>
+                        <mxPoint x="409.46" y="430.8899999999999" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="28" value="event" style="edgeStyle=none;rounded=0;html=1;exitX=1.029;exitY=0.302;exitDx=0;exitDy=0;entryX=0.145;entryY=1;entryDx=0;entryDy=-4.35;entryPerimeter=0;exitPerimeter=0;" parent="1" source="20" target="13" edge="1">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="20" value="Pool" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+                    <mxGeometry x="220" y="395" width="60" height="80" as="geometry"/>
+                </mxCell>
+                <mxCell id="21" style="edgeStyle=none;html=1;exitX=0;exitY=0.25;exitDx=0;exitDy=0;entryX=0;entryY=0.75;entryDx=0;entryDy=0;rounded=0;" parent="1" source="20" target="20" edge="1">
+                    <mxGeometry relative="1" as="geometry">
+                        <Array as="points">
+                            <mxPoint x="190" y="415"/>
+                            <mxPoint x="190" y="455"/>
+                        </Array>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="26" value="detach" style="rounded=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+                    <mxGeometry x="220" y="500" width="60" height="30" as="geometry"/>
+                </mxCell>
+                <mxCell id="29" value="event" style="edgeStyle=none;rounded=0;html=1;exitX=1.029;exitY=0.302;exitDx=0;exitDy=0;entryX=0.145;entryY=1;entryDx=0;entryDy=-4.35;entryPerimeter=0;exitPerimeter=0;" parent="1" edge="1">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="280" y="430.4600000000001" as="sourcePoint"/>
+                        <mxPoint x="332.6100000000001" y="430.00000000000006" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="30" value="event" style="edgeStyle=none;rounded=0;html=1;exitX=1.029;exitY=0.302;exitDx=0;exitDy=0;entryX=0.145;entryY=1;entryDx=0;entryDy=-4.35;entryPerimeter=0;exitPerimeter=0;" parent="1" edge="1">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="280" y="450.1700000000001" as="sourcePoint"/>
+                        <mxPoint x="332.6100000000001" y="449.71000000000004" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="31" value="event" style="edgeStyle=none;rounded=0;html=1;exitX=1.029;exitY=0.302;exitDx=0;exitDy=0;entryX=0.145;entryY=1;entryDx=0;entryDy=-4.35;entryPerimeter=0;exitPerimeter=0;" parent="1" edge="1">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="280" y="460.4600000000001" as="sourcePoint"/>
+                        <mxPoint x="332.6100000000001" y="460.00000000000006" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="32" value="SIGTERM/SIGKILL" style="edgeStyle=none;rounded=0;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0.75;entryY=1;entryDx=0;entryDy=0;dashed=1;" parent="1" source="26" target="4" edge="1">
+                    <mxGeometry x="-0.52" relative="1" as="geometry">
+                        <Array as="points">
+                            <mxPoint x="520" y="515"/>
+                        </Array>
+                        <mxPoint as="offset"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="34" value="init" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0;entryY=1;entryDx=0;entryDy=-15;entryPerimeter=0;" edge="1" parent="1" source="6" target="13">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="485" y="400" as="sourcePoint"/>
+                        <mxPoint x="415.65" y="428.70000000000005" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="35" value="stop" style="edgeStyle=none;html=1;exitX=1;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=1;entryDx=0;entryDy=0;" edge="1" parent="1" source="26" target="14">
+                    <mxGeometry relative="1" as="geometry">
+                        <mxPoint x="485" y="540" as="sourcePoint"/>
+                        <mxPoint x="415.65" y="471.29999999999995" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+            </root>
+        </mxGraphModel>
+    </diagram>
+</mxfile>
diff --git a/docs/draft/src/spm-state-flow.png b/docs/draft/src/spm-state-flow.png
new file mode 100644
index 0000000000000000000000000000000000000000..5dc51d9ad56e835ccf6f9db0375a572d1cf9c66c
GIT binary patch
literal 27274
zcmeIa2{@Ho`#+9^L}q2kux)eZIYWjmWXv2QA<3}W<}s3C%Pdjmka?b`DBBQ)iVPuk
zREA825dLc$PMy<vhwpiZ@9+Bke_ijn?B{vby4PCwy4U9(*NfEBP$DLzCB(wQB34m`
zX=7nwJAwcB2=Kt0iX+P`;19O5wvs$naS#0r78ZAwi=v^6y~i~hJ1Z<!A%*>4tU`+5
zx227_HNxDURgmAtl2r)CDk!M!eB*+byRy2PnUSrRoua3jwVO3~4O%#u+gt6oVO11k
zl~cg{Pmo^#{Ku*&!73-fDldX*xJTFCLkVH-cwHTCX=Mi*SbFSt6crKLr)BB6|3X0E
z@QpR%a0Y-PW;o0X9UHHMAqDsk-n!aYS~(wd-hbr+hugW>IR5^n1>C{G%EIM$4b2e<
zxcl#$U4z>ltovY8M|11L5%;NMUg%hu+x`01z{b+$`u+gof?_{fD_hxEUq2jKKvZJ?
zi@o__<AaqrUpKdeyYKhkd$q?n1RM^!D(-EQf|VVHd53)2?|1%heEn_y2rGw!!T){-
zz+()X-OTM=57wsRdespDx3F?{R)#yf?0<H4@jP5Q0`BTyX@y}IKdX?u`*j-^D;-C3
z3ruHsu-V|<br*X(@FW0!9uT)exL6(R{hv&5@71BaSi$YBTo9gMN{1aJ4mfonD}rJN
z&+b1MF93vZZyDErV!F`5JM)9Rw*HMYSnvV=zz=(mJqG_dvk&C-C+_^h4=V>tIgCVs
z6+6Hk02|~j&7H6BF$lwfpO}GpuVwDyVuf(nV~-%e5NP1+f`Hpv9ZC^6IPzfU5T1sh
z2|usM;p3$PhVFfXVOWFV{{9n&F_@?QsaaY6BDz0h;eh)t<_K%61M%1sfM2=)6L&@a
zgt>?B5LR~PE;eolqH{q0&p3WCf)?Bc$mMUFD|krfU~@$dH}{Z)Gu#znVRg{!$G+Kn
z{DF}0;cg!g5*7c$?(Z-87eadipmZo1dz1V}G9i2*)PHtjevyv<_G$SeAB2SW&{&ZF
zr~UlX({gx%4jKPfPRqei|2LnOz0LpMIxWI~fWp6iTK+&t=s$N_1b>Cl9}0$73+`y;
z@XMjWK$y;f#yP;$Kfvg3@cIKQ58)7lls^II-@r;M4;vQ@#9|;C^ZTb>;OR#v%mW5e
z{%82Qk6NG`Seoem@_vTgzad2bB9;mZA3)v#1Pc8TOaBH0{(_}~f0Pc<KVa$K0Oh}c
zr3cLU2{C|vG<UJM{)<ffw}Djf5D*W!dC1+Lfb@_r|8A>8;8!5Eaj*eu6Jx3UWQzU$
zb8;x+dxpZHh#!dip9}bp!^A59^u~dGv3E2MAAWSi7%6*4Lzq|Sx3*eV2peF(St0(V
zBXeLy|9oTw_F&{!;Qgo1%s*@K3H&OOR&IbXf0g;X0-|ES#~2aOe|8goW9vWKg5PYx
zKk^?V1AlzCzmk8(O#B(f{#W<pVDO({!r2Ax=m@mHzkVbRHNX$a{u%RsIuha{|MY(R
z-*qH@<^C^h|8JwSu-E}a9-{N1%K8bN4?TjP(OKXS#s3vE7bA0j4T<;txdSZz2ZHw}
zC-*mD6yW9O-$M}$2=9RduZZX#y**U^bN6ts_rC`W_R(07|7V2W*O&hdg#Oi{{AE8t
zRK*eFlUjJ%*??#T0^?}^gHXlQ{kVqO)x+4uRdWkl>pj8Nbaeq_F!V4ycHWOh0VORY
zkAMSf#RiV?=Ya$sy5MgAO1wkpP(%+zTbTdA`ua(<|IG0CqY3|495{hJ%k+2AAXY(9
zI}j<5cXl)fhWby|hp3Y)CPpQ10k?w#buR}#BCM}+fXQOwfro!M_n5+e4esE=bIsh|
z#ty6s(^T2Y&dtij#=`uk@B56!d=(IM1TqW)8v7j&OdiY^2ROps9PH3<-`va*Hs*l1
zosG4*iz@;X6#TpGEX*+>!ar@|eh@sue8g~lZxA~xOu&W*EZ@S$!TQ&paD?M^bB6<x
znCK1Y41!%QJmz3VKrS%EEWpvjm_)yQ!^k8iJcs$nf4J1WUM>hg>>60);YfQCCD07)
z{$A7))8$|ocR0fG_Y?b#7LU8tRa+Yuo;{lT5hk7k`T5<LKV+Qe5Bn$xwB6oL{`})$
zH}|MoT3Nsmd&1A-a^1$l)&T?z_a}|9Rc#J8>5pxH+RMM&?x*SeuH7{|xcLF+4qQXP
z5K9|pM?3Qa(Xw&aJFJ5I%r^FpaD)qxjy={N3M`OlYs?!h6)nX>=?1RLzJTw4`UOug
zs{md80fg*#`}dyyLoN0XPX8fj{407*K>T0<KO$Ry$@KjZz7!Rc09@NsJeM#Y!Ov>z
zhrRWiC-Ha9Sd6!hA%GG7A0E4?=$=uAG1-38dcU*Z{zQ%Luk!x{1NcB&{xOz$=(q!c
z#zYW=4}+wKoBKEX?_V5w;XnAWzYzKx5rMzp$O|0gH-0kF|9>qz|AHO#w}e6j2>(z2
z4*b+Z89Bs>|FMklOYjQ+LW@^iT;j*S{R4AI`QIlrg8u^G{NCgEDLi->_5e1r;2!z_
z1lR{3q2I9MZ(zj_;QB-O<L{Z)Jb%yG`}g_Zhe!Emll#9G6geFHr_-$k(yjY)@l!zR
z_nY#c*OtEo=_C%^!hfJG{~fln;6bwMr{({JcpR_bKhR&l$>i@9De!*}6zdOJ{+%BE
z{Z{-nm3O%9Kg-<yyMGnlK*ki9Yl8fTnBs^@3p!(F`RC{-aOmG3!reiL^tUwlA5`cs
z?J?HukMto>aQidZ8|^QsyThpdPY1%%%EkQuz__)@Kj}XHQGfgu_YvUjUSQ-WuKd$R
z!0+Yt|3*CjSI^8Z=AGanj2#{dA%39Bf0zh=$j1M(R-=%RAg`#vFJyii<i|Jg>%ew6
zJjwq)>)=o#|DQAgpma3<LlMV+UYbPsc?HCNZ1sOenuH~I#eR}C{(}J2e?XcJ=Kues
z>3>I>ME@Ju1P1vbu>VnPI!FQhBuzRhO1g^L>cE%)zf@J!)b@4Z-!~8cvDW)twBw((
z6?uP{hZxuA@3}9Sn9J`9*7m3UKaGwY8bm*vihF1ISDeDcX}};nph)9@i~n>IcaPZr
z)OHj(G-D4mn8@#K$KTt6Ka}ht1i`OebGF(~|NdMw_;+i@0L>p2ocreGk2=`BMSz!w
zMYo5~zZK-3>d95W!eYWwfywE5n11#puGQ14Tc|mDQ#PhKVy2BCkHV#>k0<-|#1OWo
z#|z$T1Z)%1=S^?Q5|S`Tk|&)jqr_$H%kAVoqn56~cAEUSZ~zOZ`CZo*!Wguahl#N$
zsW&6cWZje9xllUsdDWZmY0ibKkspV9$GwXLI=;7W`Myti_r3kpyWF^yY^_OeKYJM*
z*AMOi(o8s2cVx4%O*kk!-w)hiaCN=6$vrGv<(9S$!O;r<U)0D;2t^v)Z$VAlx~v9o
z;9<vlyvW_0ii}0s8g9&c4KT@)m(c2ME)uAWp1am~i@=f?w0I*Nn=S=i#(nakC{$LB
zAR1+X^XB$76*Sv*q#${~3V2~VB(IDXDfDq`x<Sf>G>G8ZcE1f>U=%Wy!z~ZSQjxNy
zRncOI^|*EAi$08r4fiVh@}oy=G}2y`g~l~KvrkLSTP-(Mre8IAua{pQY4of(V_dEF
zp*M~1^jVkCysc$XN!vGP=J0fKG<e3Zf9y#S^xbs1RO@K2NHm&t+`DO<O-0IdyTTO`
zjf+zjTMJn#v*<8_MdIM#OBg^9v9%4GDrgm=<Kuw@iGi|(&=XJZi#t6$V^}J?x%SyM
z<6-FOaT{OX?PI2S8l!Kk?JGKW<|}&dNjQI?l>QcZTCyukB`zx?Lyp07ifs6?Z^INq
zVvaduA!Mti8x;si>+R0Hm|5u6Q-jrS@NNvz&7)Yth#;aB?u@PJ|LA4x<-6_7ms-mk
z=x1+hTQJbucITuqB0b8$)YEFYsC|x3T|y^|-JwS|I}4UhiJ83yEJ@TpHsA<;DpSbo
z0+(3vP+hW02<llJyYW=D_xb`vr2zjZEj}loQDtX+!WVTc`}whkLCD;_d(`*&&2O!e
zJ~@K-Zgu9h5+2bhEuW>Yvjg4r2ED1$(`#?x=Q3m%NI97Fn@+DvFmS~y(+_5*dg;8J
zHg58&njfj^CTvS*)On;9GhAV9Op?t%c`8^(84s3TPZ}DJqSCF;3G1cIFn~BkKOk(#
zt#|&|Q`PCTH1VX3G=dI0Ffrxx92}2Hp(assp~mTbJ4GX+|Hyqb_CsZ}Rbt$NxLOB>
z=z_AcW$2xYrj>Egt{c@3V@6P?ChTCHd|Rw?F&NVs9AtED+-;ZMOY2-?PdRT~eXW9C
zGL5$`iL0%U-j++J;8oUUw`FBf_IaKtz&?>5S8V((Ti5VWEc;`NjuUeMSq!>8__uaQ
zIaVi*TVN68+?I<PBoDA-BIQN~-W9VOa(p^VM0FMWn4|@|{$zM!t%l?E<GXy9%BOHO
zO{(yF=`%=EP=Q`(uJDT*iqQi_sXLym<a{5I1roTO>2Z=f*5a&mfg#$Y0cS82=i(B(
zZ1HHK7|)sN7aE$cnzfY*Ttt2oB5Z_5i(f@|9dT_(=`~4vuTfeIY24yINikTWBj99m
z4l&h9!DgYCyjlI$Ar9{MC8;etfNSluk0XqVLTQLVzzg-9hNAbWRt6D_DTx4e0o`?{
ze-OF8`0gFVaoQ$->8MP{6mzF>Ozq>dibdpdNjJ(bwk353(OxLpk(Kl_$oP~&?K^NG
zub0~sZOCnQLFVJ8*MQQh#8gS8T1D(Lfn@Dt%zm1<<x#TpPzDiPFY)%e5!P96J#TO5
z@{K|MEra8j(=6A`x~WWFVm@6lrx)n&1T_`uv`%M%E)#JCKu80kK@$a>>nqbxr?@Jm
zVPuOFE;#&l$Dqr!`Z5isBH(ku`S=}4dGhrrni3|QOA7wbRFMcM2Z@T5T&X8Fgp>jY
zx}4}Ql5r`v_L$Mba9Fw&ctKlD8tXyKop!l|7SPknys&$k8M)OFZa^AP$Sh0V``|qJ
z-4JLh(@-N7S?IBVFet-o-(fp9(p<|U!!dVbNwFc0<T&&#!h{f6+))1~U>3ys42tYH
zFn{pV<_P#hiXBMCgskCQd=0sk_VF`g;J}5KNG!5kDlne?gH&F~YnUaThHL@Vkt^rG
zdwx3XSaE5m3ZBGQ6alnK{!r8Rcr6PQ*pMrtI8djGRiznB=e@-{V9m>rG2vWektG*1
zzIiv5fb`c6#To){Z*fZR_prxnaYc*BoEq|lT!8>;UTC%v9xFB+Sj%~TsD=&`X4a>|
zu~bH{OkZ@tEC@>_Srqe!jQ<pNZ0(b-%ujm@iWRrVtP6659}oc}4Eb=L1rvcTi_%S;
zb&A9XUBdzUH8e-XGqYPjmrB6O91+k%7MBPN<xsl9f$0DPZRjw6{?4f4205qf9#f`(
z@nSuah#gbJJC1;^?HG#e4#_XIuK=PW0RLapf_XCG;9<C7=(*Pc0@@J&gHe+UbcjUF
z!Za|8ZG3@OtC9RZ0F3n>Ly<zP=Q<}pAZm}<Oya$@2a<JiAx{#u3+H~iG@#hGvvd}W
zPcF+;fV#**c_XA_ZuX3brQXS7iOg_0+)!C9-0}<b(B*X6X;;v_pAs;MC^sq91MjXZ
zS*U*opevLv9{cN~RtluQ2c_*g+pAg<*_&%s%FmW6m#qbTPnw(OWSQ(HPgt0IF4jYt
zDYG^?)q|3wocJV0e(k6Mea-}EDzlYt0ta+?_SMH@P0UDZ<vN>aaV7T^JS}VPvri;-
zUL3oX^0nwjFv@*ll=F3tW<t>MlSZdB6ZxNPHpAaNW)*<nxRGyIQdOnLrv3nG(GeLB
zbVKkfMinVapLP=yZm0~<jW%|6XJ)NlKT@aa2$j)ja9?x?*LY2N7pg(dXE)w>36Gdo
zx3cxVkabsoo{s8>)m@Te;c&BO%^u5W3WvoY%ZJfoc;vh6WE+v8^jyql=u~k6pT+Se
z!J9iiGkqC>{>e%aw5)fidAL-kpiaBg`mWFgD3s{A-}dISPcJjA#_C-WZBz!z7%j8h
z!I-eKz11B?#hvx|@#AmOOt?t(RH@;WQh`1_X^+qK?g7<ww6uj@-?lqhqB_?;zhzD6
zzVvy6$HoJ_;qw^llH7<#T+3VhosJ~MJQ>~NND>CA+99POVwVP=4FvM-k?;W2?%V1r
zB}LrglDOv-tWH*pXCFtCe0!K%mOXB|DrV{vB{rq$w-Sf=nBtzwzm}e9)qU^Tuyq=b
z^M~g#=B>e(HfM**GDYx`l9Gy+3!_w5)88=mb+tdi&nNz5B7L1dc(pf$#8>38s_%mP
zXh@Nn9`ppOTC(^>>NAE{f>hEcBIv}7##>UQy-iv<o4i)biDYS#$MHHZlQg6^U2br@
zbUQ~XxX$?_bp*xwaJ79>IODl-!AFP;TCuilIkcqPJjbWR83d<=0dC1=2_7>;@T_ZH
z{}FX!hU`0I4erJyp|&MWZ&sP}NV1F_>assQo7@zzXg5UXi5>OjM>}tu<`<6#&nD45
z`viMv_jCg*gy_@+J_$o5!@?%rogGJmK$Arw0)>I708}#s@{TmdU2#g6Y@<35!>NhF
zuhVP#A6;;gp(moYkDGnFCDQX%AiOL{?0itkmkca#U3m0nlD`aFyu-i|*zniSHSZjx
z`{Ik{21`tv>ctnB=k9XqSgy?vuRIs(t@UH5p_rJ8%!fExf9#KIphrp~^~E?+P$^w}
ziUg+UPuZ!BK+@0GXhd%s!&u3c&h-Z#Ki_QmEH;kedRIfxlh!-hsl~MZr-ZwX>kk&-
zbIpDQMvK?_g8k(?-Wj<P1X85^3VJiNpC_4*z<UaM`W`JH-$xKCCJ-YsNtUoyYsC6r
zPWP=gyUxA2n)YSG=jD@6gC%D4s$NNoSrzuiOQ^SZ2+)d4&q*G|DEDkc>)kd*qFi(2
zJ19=g!c{etE(}Lh_-<!NUup4wD3lXd^hI5bWbTt?QPkzJyyJ7~A$5;ul}9D+Ka?ud
zP8C-krMdO8^-LFq0rSb#EVtO&w*}_1nkFLBN8tC?&b_W|X4y7zfB97|CnV#7C;CQT
zZopbqiLW|?@7I@TXh~dOzj2HPitF}~<mSzRk}d@jX_r^GD|VtUPWY3akEFM0yEJ)v
zuB5vQZ?w_T#Eh4%_^E}%CN5_|2;Rs=5*nXJniG?fQbZSZ(~OOb!r-n1i^H3@c`v$b
z%YT%UG2?-xxko>_NVX9WI+}=woGbqX%O8K*6{J&&g$<p9I<4{>IJrp`4!kWLPhHTP
ztG}f%K`rWxz$)fEd0y|%spQFl(mQmwqCNFuYQNabwo$mpI%{c4$&*L5s&d=VIV=um
zn+l{%-i4}|uxnad_hX%*>Tv0~csFc#7I!fLwcI|Dtk9=`eS$nnp`)JN!Br8qa5BbI
z#T)I_DYx#HvX;sJMj?^ZWF57-n4DVsg;=BNWIx3qBWX6CTAtWve)xo3sB!b78!9I1
zZs`@%PdPQnLo#Mco_nd8kYIDX_nHX6zu=XIExjy`=b<7wTxp~8gr*fAkE6>1=Tbp4
znY*rlQxMP9NH1~4Hn!CeE>o3w146zoTk)gorvxpPol@n}TD4MeJo5+5JU)@gd`qXQ
zzzyJlUt%9ZK#Lnizq=jJ$&Ds`Y%tF7lrvj~ZxX3gWI;u-IKc!Ld2-)F&18_T^cDMa
zS7U7_xX1^slW+s~G1r8k5@R)!CfE1}9C~MU3oO1S*1q)!iDc@ib$TBr;52G5Lpdq3
z8vTY*D_h1|?K`Y~*~(|rR?sx)+VezaO_>c#C;M93POi0jt8QxU$H+lT5whT8+#IJh
zT~}`u&CXDmlIo;A7aFE;59a>*jAQlm()Z`qGAt=)UAbb#^^Zwy%~!NJ20v9TBG)=K
zNu|RW&g7I++z)fii$CH(k<?QfN;|q)P)3;7LZMHgJ&V0)BAuaDa@Q`}eCAd5%7-Ml
zk?-2svSaL!YntCfdA5A3Kc>viQU+xTRpvF5%}@+|`S2nx!PM&+VP?js0-dil+@JJ5
ze`%@JuWu9SX`;=xJL0NZB>(c<paN$$Tc4^g!<&jVZ(lu6w4Y>J)uxTQ-T5E|RuZxN
zt*n8_FLIQ+k*D-?EFDrjwCuVr=Y%Lt5|q*dLn@V7l?iA<8s3MNi70ODk8=^#+7>px
zn&j?EsnFDWiuI#|F66zWckffP;%PQ&-z>O=;&v_9Z)OLbzSu;21lMa`L<6&ifw4NT
zMvYwa@=<#npuV%hXUT)0rk6LRGQ|F<eA!i`3O1ogYdxX%?lvLO2m|xB6HDPQ!bn-Q
z0-&i_osCDyLh%DMAh%ix+3u<wqwh`mte-h9M;%`(vP!E=9@S+xbb?Ho9($^J!<x)f
zw%a!@mlV1Tn{;cYQIR@wA)Vk6%aRS*lin|Dn&jI7CwCr&=2qe_s<zUxBiS=%3D?1T
zWsgxlaltKhXEZHK{VcQ~GwC-Za$HcUD-i$nQoE2U+9@;b$y!DJ9U^(fn9vp#0_bOC
zVC}9dtfvnuhxZKC<V23IgfX~aE$49RPZk$zv;pE<1`NQ&hNV}N`Jddm7uv`USq$x@
zCZl13oL0<A3GHX60gVQ$1<Kcf(eq6S%V}vCf~X0VD!d%&@%^&03cRCZyM}&(FxCUB
z&*K<|x~u|LT>h+b8!CVq$$mltt_*CacxL~UvOFi78)7}_<Z-EEJxsWiNP<&$WFNc-
z77kg3ibaae`Fah3Q2%9uED1jvjc1`7SsTz^0$j>KOtTk}X2Ck)RhI}c#vPfmz$wio
zU^_G6=-t9<<<xtq>=p<t<`I}bMN(Cs``QEWz$FLlZPqYLG0;9&9rqNVIBx6aCdu+m
zhX_K77x3V8vq{RUYoa#ALc|u0jrTy8_ixAJde~EsjjEvSZ{!ZMd$OI0ktYps+@I00
z97$94z0s+#HS8V{o`dhrg&+ikC+Phe_r{c;V1cYK2Cs%pQnpf_cLGxkr4DdboYGk%
zIiaUqa7seydRCu}P2xH$4va|~m-kg?LttoQD1{T@Q5btHkE<&+745T-^Mt44yj~}d
zMdqp6-6OC(5l|t5-Z3T{wuuuX`0h%^c}f{glw*l{e!~qgZ7Ju}KtxN3$ckUH`sl91
zuERjR0|e=ORfwfpRa1&3Ed7*TU`rmY6U&FOEYGoK?w6{uwVJEeBFV8nTF==X1$2A!
zd9QxrN-9L)PS_M6yLLcROB@KFfg02)SjR;8K^WvUts$FcepV38Vv-6jUMK;2l*v*2
zDwF+pyH#d;E{k_l0*QKyd{l~?{FTZD5A0-PaGtcQ!O|Nn9<B@;HE!`?pS{~PB<4vJ
zi#lR>sXrmnPWGb3lQpy)6OquHVZ7PsdHIM&xv8$X_QgzQFS7IfEj7dvcr+U3;%%cM
z`2kAAd}@>d{Lgb^Jd`?M(`jI(JP%I<k%^QNFslHQUl|QuZpn-~=_Q|@ot@2Z^9o8M
z=~hTYFW$HM;6;*Hcez!!<<9qwa<A1J!&SBkYAI*+W@l$*a%0xti8n3;rs6J{BB2YX
zxeM4@Ic2c#WO^y{F`bARx)#qokw9bp;(-<OmAG#tinz9QWL!^17Cs9+eQ(gO3_FII
zVg|d0rc`W9=lKhebZ>NSrQ@W0!9tv-3}?+K;?A@${B8A%6_ipWJ*Ps*iK@r%DsAFG
zVCR!jQp-9kRv8k&#+humoTilCx2ShgStp|d7_@E|vP?jim*00B7{I3IqZsTxM>)8X
z1>F}+#wavn*_F{U5u7U1-^h3X%gOk=>Y>XVFD;E72*g$BCu66(6I44QPb;={sh|T|
zyNPo6lb<>g=82gCpJIBMct+XDl~5%a%D@*?<{B%mA~kcd#qq+c&@X-iVgB(QS=rfE
zK@6gKlp0USTY=q}i+llXEzS$yj!qSC<@}18K^kxeJ{l^~yl&ed7j8zxrHVYAB$rg+
zl7fVq=4qDsrA<-1(NxmDn8k>lSxEQlc&IjIwUsE&s;HCMHTH+{3>4hf?ipGw3th57
zPzHi(6fXqHj^{c<H^711B_XTJ13@7cBV*&O6O1z76AJW;<Tc#iciZHoycx+*2uZ;|
zLEpl5zXLXP&SF8gO^VID5fba6_*nof@xqHBoyVpI24Y{@>ENU1+~$WIh>3|`RoM=P
zv9Q`wEi|p0-WRohFzPi|g!o)F7&hAhyo`bN`!xx?mq)6!IE2GGo5;G;U<`4gifjEQ
zi60|!=xX%{_xaU$P5Jxtik`D`N`U4zqxXE7^XAtX3Xi^Q&&kQwkm+DLhf+}+AZ?mm
zt4B7J9O`Et?T%F2zg=tISuIIB8PiH-xmy@Ir8t$qI*TprIw3#msrJhMK6HV?HCV?7
zhgxZs-&8i1nsKFS^J`CvB%EH_%jKQo9qP$a6PE567Nx2Dg5uaay!FZqK1*`FzNgOl
zeSZQrngu0j2#dU1TN)So-4r&0BzUTxe<hg<-42%`(48F=|B~pjV0N1-PIyMtzct0J
z*O5?qc_P&V3>1uNaG5E;h6*K1xVhf&?&w7t<KpHWubG#bAwF})?^eb_lHiXw`bchm
zYc&%V6T4ZAYNLZqEh<h~Lsn?WBnIWiy?Pd)D~aD0EO1XkZC+iB@xUEBF%DzZ{4PPJ
zVpX1}m78KAS}~6l6A^iK`xu2KVArb>vvWC3;gn=*`RWB%Zn>Me4O{JgN8jOdJMNG_
zW9GTLz23dKIyVhmE#foJb7WTYYHI9;SNuaq7q3sLkjZgOpGiX9w50IBSDGDcSr?s>
z2S}!<2U)JfS<B;i#qJiP*DHuz9Iew~(@5qxPJPCaWjP+Q(yW-J2;=v3ml7FAPNUsE
zk2HNBu`Q_*62XgHXk6*yM$BX<bYa4@?Je9iN3TvX?kt5wotAVXnyWP{o9m^FIR<%n
z&HWv947>1(Uz2u&-dA5Pi*wIUQO2l+0Pr~$9?6e~dq)YvGGDB4U&8rOe2j+X(z^@=
z{Fh%8-Y>SFcPv)sO{gdz%7_4tU)RD|1IFFemyBcAtd3>jF>M^WU{LR|e6=uC*3?FC
zf^{e1v-GV_r!#{@WS*Te949ZWq&9p^^_GcnQ{x>pagH$Y+nA<iFhBn4@wodt-`<a3
zJa20_P?2R3N$J?GpC$`n_wya{rtxS3=t8Y&G@H$yip@=;fCe#PuH3H~pTb6r#!AeZ
zub#>>C^3Db4NT7VXK#v(@32>Y${_cNbd&u6oaj%!nd&bn;HB(i8f0XvLZ-0NS)ALE
zw^VA@qw|emej^}0&|!LWd$otgU!s)2_Dx|7r_Q5JOfa&=UYxIS;@0sK^W#n4k)PWp
zCv%o`^mdJ5jtZ#W<@CaM5Yx-E0sGd1&Ml4+|G>n5|L83g;n9>c1Mk><QoE<?IrvPT
zJ!*9F7*z-+DnpzH;Z+#M?(L)~YIM|N92X~)a`Hg(@bI+Z`v;<yH%V^ET-$Abmzawx
z7aNPi#XenBQnK6HN^)-0f7*lXBz?3${*}Ai9%v-{6t~$%SGAAK?rBN-pbebwU#Vkw
zA&AuN^{sy6h-arZqsL(6*5Yl7Pk=0iWGEWxu`EYjpCY)`f71nh#t%$wt)PN5MV>jU
z9K-;w5}h=sAeFrO`kOHySF&~hYK&p?Tp9aRAH6)6p^TU!%niiN=kmnHJz9sRZ-44@
z?v-YDA9V_8+?*|lnWc~LojAfMUTfW(YU`NPNhenGM7P~9v1YO|;}LsmHJ*Ixe4u04
z+3cg{6t{KoNEqy5DhU&=WRo;5J@(x)nk1(Zl^Yz$;|&e+UP7g;-FjAc(ysUWWp9Kt
z_Q>b)rmY9<?d=6*VFGnnjB3~0Uy`U%_a;kxVOLjI&%Q_hfatQ;unJlxh6TBWdnR($
zywP8qBI$z0SZg~j`-M8BdJcPW<l^jDL(N;%hihbYFxUcFj3=$Aw1&j=UEdckUgWsU
zS}v3?)r@<odacddNE5yP)B&(LOErOav1xtWn;@f!D#V^<=n)dy<4D-bc^<wdF=mC2
zzCBmmut3LcP>gzDZE^erg&#O~mcXYdTQ#5RjJbKa>c&9xUBgtGx4uH7rJ(NsCv^D=
zG_|tId#vn|nOXCy_q(le*47Y`UVZ~z>d#@^#ii&;r?vMT=XT0`HoDDr^kmW)wJt$!
zio{lulvGb<;H!jPreuHqwp4oAgfo9KW9~`5ZoQL{W}+@74bjsjgQFtpS#m4lS`9Vu
zcYf~x%8sNV2&wxMFOkYi?0)}p^jR@_zQcR5i9ILHZ?j?X@fNQ<m-@wr@manemBf5w
zs@n6p%E^<IUg+VkC~mvDW(C+Nd1yGjpk=4~n-Vkl*O8@oZUZB_j8wl(8$J|8eotS9
z0*T#F>Ev!0fm_RYee|_f!Zor=MyETUxeT<FxUREjHb$m;+`W!x$DNDaX8+l$dbIas
z%v%^Pdxu(;v#((jz_u^3U~~D#JU^yjzwB(c>O2{kov8Bl$c&wJPx8k05&RS3+%LVK
zpV*a!o%d9>GPZ*#ZV_anYTMY5Aul7NY;`VXk!(PUXoFEYqlhRUhM~k)XCOB#<E|8a
z9;upR94x-P^`x7(^_cmGd#b#3FlrtnsLEH1?t47S@U5Kft@WFo0YiBZM8bAD%#Lt;
z^S$XsbqUr$1A&xPZJI5)j&vTWR!-g#4aFF_BHnpdIbx1Up7oxZ>YJ4bRI@5cJ0=DO
z>&ux+QE#ejLn5-TQBM(dAfAKg3*_74Zu5!BUbA_no`u+Yb?v*)#$!wLzu8fd6?U(i
zXjhZ;BF=I>5?l+6lrvtd{BWY^t%0lfQ2|N2H?s2VO}X|na)pIeRaJ>;mJ=-jau393
zXy5ur<L33dc@Oe@t20>$#;qCMZDS?Ia<fSNFy9BX8|TMlXAS63)=Pqw&QYH)FZ4e=
z&FTt~`I>R$=H~0PV$v8nQO}w|Z5sNP6~C=YMxPVjEm3dZwe=$EM%O7Sqds<b>R!|@
z;>*d234Q=&Xv$Vv5!Q!B7W#!bw#GUR&5fm(6JIayzUN(2w6@oY;+R9-&1MA|(w?i5
zfz0(mKAc<lM5p?urxVQF*qp=0<*(Y2Q9Q66ET)<gQ_1()`I2_-Yrl@BuO2K~wQYm;
z$Ra)aH>L(=xAv!aOPM=vTl0pz2@RZbTe9cRUw)*0v!N@0b-I~&&uGWHU<Zx#p4m{~
z_Y}L)&w)ug648l1AGrrW*<BSn#XuuW5E)~bXIPd*rf5YNK15OSRo{hNjT2tC8z0J4
zz^wfmt)@Ib^1Tm)d+C5=%{1_-#AGLIO<)nl=eMYCbIb~hic(*D@gS%XZJ4p*N=CyB
z2}Neom%rX(=w+NQ%d%r+$d<}8f?B*=e4*fl_Jg0a*}f3SQ)H+K4RiT|TJ4Q4rkcEm
zNwYS~Er6tCRi_sS{!-UjAdcrG2G*7xHJ%=77qN-+2s2(-tTtOL)1$xr<y2w0ag77_
z$LIH*#}XcY%~p;Oo@ocR7901jTI}|>o%Lou5MCL~uX*Q3m&2Oj)0f)U`0|7|<T6js
z80yGt9hH|dQqK$?YJ*voU_qUlL-mRokr353)PNkp($h&-b8nGGxUb4-#Ek-}vBarc
z1}9>bE*O08Aw(Jk3qGLbO_F$Q&v;#{Q4S<~`JC%U*_Y2-AOgM{8YNnu<A)0YHI=Zk
z@jd&*d`}I<9p6hZ{o!sR=_hp0m{wfa$sE?oG}cwJ`;*y=GYdm61!*ORKywTIn4A>9
zwI@=7|5q=DP)sdAXNNkud(A-c<%We3kkvjaer$XSvD|jD+agN(TFUh_-Hp|fn-Qan
zC5!Kx8S93}y4psZ98ysbr1!07`IN6HG`X)jnXD0xsj1c~&-d~qKU^PV(xkTy+>O#P
zi1D9#+0*1<1VTYw%|H>2#gGq9-3pK3Yh1bo9VWTGD6{!8N))8bb7i>Z%dasqY{h2{
zDaI(H8LHlA8bQMfVd&W{q7GC{IGwfr)v6Gou>unDxIC}TnH<LP8n{^p?`22+h`MaB
zNpHy9RMs-<>Mr$2uaDkiQHuP;4!wW;s^c>jnk_##V=SufY}?T#Wy(uPl+(NLVvQ%-
zLZ|Tb*(V&)2{055_o{79*&s+>Y`+9}UvutrW!$~U4!=bXxMMqwb?1{neAZ`vjbC~s
z5g+bbL&)wK#gJPisNLX>EnBQ<WmXwo{0u2F8<@PS91~V1@WS8m?%7Vdx!dtdZhhkp
z+sBP@Z`UpbqSxNeS<h~E&JGR?0BdhPF`@Ggt55a|!%h058mzBKDzs+%5`yY|qr7fF
z-WCv+seT!Af2Zf9U6K%#AHo^|;POa7UAEtC=_~8HBwOpf3S(#9o{U5J&V~T1zEnK_
zEp*46Y@;Z2BKm046&sp+@tl`un#W{XtG<oeZY#fCs<@c>>e`tz*oqLYLMCl!WRLlm
zdt8Zk_34ac(LIaXv&UChRtwYozBMW3ZC0P2z$GLVy+?7Yk}T<LtA@`}!FLdd!ozxN
zyte`|C>jkXfh=9h`}gE*Q^nVo12beeAzbXo$kifF#!OX{;Nd<jE?#J2O09jINnN9#
zR8|bk-Y{q+)%hEo9Qr4MSe;DLg4rX#bLOPD(MI0zz62{h)4svq@hG1Pg3ys&O+;J*
z2Ct<!Ytd1rdm1xH>z2yPMAu8zKZrM%)5)(xUhy4yc#rA{Ty3=bTH%G%+67;wNn~cA
z4GIOq&HOQ&Jufqr<i>4bQwXw)_;(@MPkLdv5~J@r>rdal8wHppyKfGfwjXbiZIA41
zrXaI>mU_BlJM+ft#o4<TlFAxUD7~||h12eLFnMe<Ou9VCqVb-ve$Ir}2NIu&BO$<J
zjL{{siVMvpvRy=W#<`W3nT;@0-PVf^$r=eeFhr;{*Pd`!R#jc*Q!#2t7{1UvhvF_`
zK(IJ{HH$*ddBCQTIb|B(fy)y}bc+AVJ0NAf6<fD)Wti;jnw4<Q+%}YfK$QC<<1dIu
zAAv=l?fh)Y!>UrjdzD%+IhJefD@rG5_uGp=TCLbO3qh#ug`wwMfS?5hzJiJG>VV{f
z2M=WX^CwoZVG*RqmA{K@9jDJH66_#ZBTbKlxLBSQu7ldVfi9ooVWm=RA4)4%w~j}3
zCuf9K%_Um4^1iCk`}qBX#xp=NMshkYCsqE$mycgIq_pd2kJ<>AWi9EGZQP7p9M6f7
zAUIu+M47R8p*vM!Tr9qf(S>Nl*9zFRGkF|>S<6QsO99)0So^+^sN8s`cZA3bL-LjA
z(8d|DJLdGz@gWaHwSIGme^yKzsmjn};JqfCwXVnsoiDm_MfrGPqqABlmtY6n)ky0K
zo%+(#+7}~L+(7M*oifOYMsc^JE)$pN=3n$3PI<7Ta3qv<F7D<H3ZgegEW?Aq@hQ@Y
zmi6MAUO>0qDKeS8bCNH3J;KT%zeSRs3o;ar`zjG%JMFCNtigTF(R0)44}@n@LKwUV
z;)a~RoB2MaGPEd0fB3e&C7;31Y?+kGw@&U>(058@RA{7wTaaz<%;B%%kjp5LUHbaf
z0zI+u<T!p^rlI9{fkBCT+RdE}9lqL$TjJ>#vR(*ltkIlx`4m7*Cwc{EONq>l{A@#^
z7KaqMd6HF9{zc#h1f|xlp4o2drn#5hGg>LrJB_$ZE~P+*uW>amX(#ZQsPv%Hapmor
z=4~Fq71lPon0M?ELZZEri;W6fYoA-$N={#N=WrOTem<%aU5w%>E>M#@oyT-KeDgu2
zlvDClL?TyY3W6JK$PLG)YHK=D!`{zo>WUB8eG|H;$2FFS6myEMyniNUui1D?JFlRi
zAueakd*J)B7l?mEGe~>oM#zXq(>A!I<WVe5$QZ!RZrNUrmY1FGSoY4#*|hqgA$55%
zm$If7y3AzcREH<or^QgE$>S93$rTo!3xAw+Z1!lDPcUSqjwuKKDQDsk?E3V%2Di_f
z9Uxlbw^ZIu8Yxm^f_TRI=B1Cy*Y_XK?bi7$-!U6a?fn??HdWlwmHN4o6c1!@OHpLH
zE{+Mk*~I3uoo><h*hxKD=P}3{mbxcTy3#B8nqLZlILFrFSDX<MAIQG(l-xS_>Me@w
zQ54&(`Bu%ytf`q9JViR}1z#jmeM-CoN`JM8X%Vfz1VSKuAS3;qJW@=k4l7W`chj(=
zvh6Z|jL$pY^%v5h1m-dX5fM5;N?PSiQPc5u$bRi@0o;i^RWk3Zo0-ZEaHc@@$?yQD
zhm~$gFw^21q<o0&OQ1kAw!UB%teND7EI@$n+f;0#HFa1bh|Xx{cbA&|nidClU~(mn
z6&SOf(=N@Awg=ugO_BBu_62yzN_RSqwlqAHHLBksCIWUZ!gkbQ(UGUlZE|IVJ)K6>
z$=`Bjhc1WFBCF+DThb_EG?l!&%Zr#l&yv8V&c}LK_3N-LYvZ_Kl-gsU4=aIXp>v#V
zuIJpYkA%;+()b6W#fVRR%+Sa3Yx1|VzpjoNK1JeQKb7hJ_5=xHrZGQe!<-KhfYM2p
zT!uU}We31BE|$w;B^Ev77-n|#TV9Dby7t6)+xD85g%_G3I{fVjcj4I<)Q6f;RAEWU
zyUnIW-^JL;Rx&i$TBkNDM8|1&<>c*ePe}ZjDA+Z8nA3U#(^qe)s9Bbv%6kf6Q%5Bg
z1!kF<M{ZuX+!;i0<Vd-r2eHtiwg#Rc?D9_Lyis#3JHyP2%645f`T(PpMjDFs0FTi(
zrq>3Z_(-0=16Aw187Z9Sb>9(KWWE;DUGdf%pEN$?Up+ak%GU%{O+Y6HdvsZ!+Zql8
zCT|;3<DGk5>ux!_5ZR4OdA?EEDNN4anbN`tE3U-%sj#*IF-vc=2l$8)=<`jY<JR8e
zCMnvU@8dr{x!)J5ZrL+u&ljTb-0cDN>(5SIoH_Hh4h}NeI_&Y}l8|ndQktxg&%+ft
zuHh#1+p-PPUSF|nCciQm;84djQ^nlmdue~$cp^UVc?`E=jKnzN4y%g()U`BR;{L~a
zMycY1NZa}on_LMi`GGep8Czy?A<(BI7HMRg?*XWl06}f^LZgt+j9qWLqh^!A@+g_3
z2#lr2`x`yKV6xr2o1k<qieOmW?HX6FPtExcTQ41+LL*f!#n(*V4ncOvuyHzE%mN3<
zf$4RDjue`~vkJJVo_tcG*Xc;_&Bl*p<iXvQPS3F?bdN<(<R7t<=Nx~#L)Sf#tn}7G
zhrB1Gu@nSzG@F*&={B_`qCzcmMnJs5x~<L3m+A}h<-PUh-EI8cm4s#!9ta)Fjk@OZ
zANmre@1G<*S~#Pb)ju%6+!(Bm1HWMzIUi=K%4LxTUC@&rpUZxzyogpbel5y$hSS->
z*8T01OW)5VbW6uf<Oi-xPBlC=CC^8X548lXq6rF^)QkED2X|*DLl_-uCxhu89z8Sp
zCiui@uJ`Q`aU5Ibn%8%@(t24QpLX5w$j};MaLvpfaXyy8L{i_C8>+zbH9V}Xzm0W7
z)oMNjy8PgBigr)C_C-tW^NWp|T1PH;4m>G=;o7zd2oP&7GLSu!*j%dvz6_uD_Ud4S
zsnFwVFKF)zT7`Z8Al8h04g)m+zDp5e<A$Nrl@Jg={62I-Nf8kR#n-woE`CoPD6mDg
zh(1+m%UH^$P}e?zQ^<08(O7-8#@L}ej`CP7Ctt>Xe{B<2f7k8`*c6ZV#}6t>9h`-;
zb8~5Xp*U$9a_TFI#>I6XXzRYObhC!}jo#ed76g7$nuv%9^W`U8Tg3S0oM-4z4(g;{
zxeBMz46@j<roM)%F?X6*Ux$8m)Es@-Kx^J7ka+YC8_4S&2ad9et^0CyG#7Tx3tg_0
zHMWBb(}SkoMW?IFl8j6}r>SgjIfJPF8@KQ2N6S`0<l4fyw`2Z!JeOzU4RY?P=rHuT
z&jT`sQHu>IdphP=Q}at@3n>;WdSqws6}Izu(SuM-*ztT2*;-dde!@{u8P!}|d^}&?
zy|dAF(ro_2$A^UjLHJF6+g_e)!`4Uctd&Li7H$j}n6*tY%5!pbE21Q9uzD#^P*;z<
zr(}KC7M*3l_=@1P^_^SK7ga23-1-Era|dHmF;6ttmZj^Dn3B3}!$DyEP53DR^va^&
zdcy}^dL_aqb0r-k4jXT3OvDQADY}E`a|no(?7BERe>qizww{kB)L*``i>r^gvJ1;?
zW!5(Jn;q<OB&}TOX;vX$$7gKi+*u0Cb^{3->ibu(fBjvkoTg!ZsWXNJF`#GgO!4Gp
zC?;8Nop?Tic6AV_dAnyHzwAyR$m9u!mI8@&J8Oe>(@0~^c{~otd}yvx;xeP-d7NZF
zqr>o=g5+$APUFHK0{%}?_jKk1<0+4K6ALVrndg|CE4AMR`EUo|sqcQD2YaFvA5FKl
z*%8*+9NLLTw(+oug8JD+Y0<d5z?qr&8R&xXxr?T<no<{pk5p5=I!@p*sLQwIb@}qx
zb2@mV)9z52MT3a2u<~H>jrZ31h>iLU5KZF-C0TLC@Fu<DrZuCB+e0<*G`rz)MTVQ-
zmlfvT6cyOo+bgCzs^KPZDZngKLVZR}GggjCYWTJE%pzfik1up}Yx+K$&9!^T&hV%?
zql6V163p*&L_`^lMci-}J`3VWp>N*2c?`U)-RXS2f><?gdQ&G>qfdPqtr?hnhdaD!
zmHN#KJ~A@bSiL&$tFP~-Mvx}?^G_lNxRyG7Q=0ChS6-LaKEPxoYp+XFDF#<PP9GfP
zK;j1#+$&bN#Z4-)63lXb;eKZvy{tKVQ$Y*G$5~2HGmb*pBK<RGx!u}sb(RTH!y<|0
zsE(^NLSXE=1T)GpC>1o+>83*QhZ`)a%%SwEq;gZuCAVb(YO0$lS5I%KXM}%O2{WZ+
zfg**H<;mHR1`t+1zLUeSoygNHyO;6!B{aJqgtEqRrPbxs1d*>KDWmi9Ar%x!c@JZI
zUVt3AOW(xhF;c7;i;c+!(HNyPMzK>1i?2HyO<BG$k<bE<<aD&S4^I0mjL8Z&T8KV_
zDht}4Pj#-Y{yp_JeZ=$Snw96<Qg(YeQgrp1YE9gHBJ4tT{1^*)Vu6)2WD@DYV#OM?
zPqnobKbRsm0DqE)3d^zE7f1u3q_Wg7Qi<_La#N-Rg2(E<db`v-qyOlS)`~f4C$Cif
zR67W|prcBZ^9?tA04W<x`Yjh2M~_KhsY5n0G6F4bCe!!dJK9g*Z$`h0#JDzLnt`DO
zXWfpYKYDJl7jKnbhLE!2oE(8g(oZq1AWR+Zt`ona*6`4_j1;a6d+v1ME*D#@2k99|
zLvX4G-Cd6dXdmU|HxbR3Lj5@j{5#8T9L+gmUjF(;>kDnO=r-*b35|`5mX8Pe6qvQ!
z?m@@#&NVuoq9!677e7wMe=K0vhGK(8GzKmt>oIlbqUDJVfi(tx{xpy*#5+Z&2*qJz
z@_+5bKa6DQn~0e+4?EL+^N}dFS4{vWzI&;fx9dDEkwSW!`V`Z7RHr&Kq9r^;^SH`r
zTAM&JnuPBS8|dFR$cCT~!iOjo4&S|sMu9BtBg2!^P#ipF|6>Zb^-CeRu$^+|a?B3P
zgN(P{H&15>DL2kd3kr!hHi4aHVXF==g*C|6kt`~W#Qen+>o!t_4!Af>h%@KruW7pN
z2)@?_eK863+**yjgn2xfa?lLd9jgHX&sUmUmyh4q1Zifek@KSipn=2fVLwZPtfwvv
z+3ZMfT&{;Vh;m@K&?IIY6^K?CDuK_87nstqc{(|4oRO8))tKsk%lV-)!RvkL{Ee|)
zUpTYadmJx3eAAvp7QiK&PWk%91Cj38(_qoD3bD1#Ns1<t&nbkiUL2wa^$n(Eogcph
z0SCIf-gT}}Rn&gOa+^W;y4Lb;a4=rCq-mo^+1GuSm>E+_DAVd5CAAW2_wMmny&DLG
z;_xx-GD>;$)nEJY{C-;qHp7XChzR|+btW2)aLUz<)j>1(_Br#Xw~fA{n(}$>c|n&A
zuUKWmm`rgIbtZB_>Z0)RGa&dIxAEm;_h_B-9pK!@XP($GE4M_h(j8r`v44AQn*`@3
zh{9O*Buh{a4-O6*!-%8&))&UwNY!<8;uQNa6{$WlW{uQ0qi97gfPk{@9U!w88b9>B
zLCUT&mx6*+9A%yLta$72cOWOm+nzgV#l5mUGWeJ+N@g>cs^QH!d`|dS{pxLxvz<+v
zX)<rDyN(+uKc(yV$icKp8-;Xsy>LGG)F9FtMn;(_h{MHpf`pFwE~ZX%Tv#6J6fNFq
z5~Ow4r9MZKyhg+DLUxwhdtEQ%oku3@dsVpZxTG3S#F*ZsNV*$MMu6H`Y8Co%r#i<A
zARfs>Via^qSNy0s&G(`a{YlE2-uRDEn?yNT?s(WLjrQT7f|=&^DO@8XBf=Z6$mQqa
z;w;+3%Xaw0%7#Zr?b;rv4Dw#C*B$ryqRy?>ic}YR9sqR+PUT=F6UPonzmumoWC3nJ
zum>qkT!fF-zI?DW--mt4JTRVibe@7JH?+8m3u#;uCZb=Se}`5lkY<b(sZ@{?J%@>%
zDV~<I7dCpq)^DVI<bv{raW+)~OHcp)baqVI#HssO4tpx=y{t1Ihi&YfrsyKQjMGS=
zc~WWeXSJbDn5;kZtqJ?@%#OwCQzu6@I^&oS6e=K<0lthf)|9&4B53SoTZsZ_`XzDE
z9)j#3QrY-Wu}PQ)YC&GXIt}V7Q6GG5@dKRgAd7H{joz#CUVCLApv>tdZIh^dIkx9#
zmN}XzS(2nqzG~$6;Y2S>2moqOh|tO@K!%ePK^@=)@?P`LdfszVX7aGbinEIX#9zMd
z>0i_qiWN$4?RKIR`Tc(Aq9XbFF^>JhjQYIEySnF%=?VEuUqsuMwXW4Re2%&Klx-y~
z*j}qahN^-Pqrj0P6oYY_E{i9;o%y&19tlY%oeb=+sAkT#P9%Tj|8(?he^p+1wHCQS
zZyRTvxc~e$ij8cya49Z`W?P}!=|C-*o)?&iWhY@Kv1k4&#Wmdvx>8apN<qwTQ@a9)
zkLitpR57(?y3>Wo#sP5Mh&R<R^X8)3O4iMsSg}0aA}>MqeuY%hc#aFwxAoQ@bC)!h
zTc#yfXES^dKc++#AKt~IiHyZ}6}20>avA-cEmx8u+fL#L^u)`C5!eoAQs?0LE1poN
zG$wsw<Q#4Q_VM=}=_r4#Bltt3;AW8it+asx1LMF`il@c0@kC{GIxek#emj_-$*7qf
z7vlFk-p?+cQ95z<=#@$dB<=3vSi^dj&b7OKjw^RG9`xK+^)k{^yf)3y<p4v99^}YN
zwX>cw0BpIIeM2$n?DFhwN&69D8Zn3DLX*03<>CwL`I?(5;<J;Puj(Hb`@vl)A6yWf
zo)0n3H?*qg@)OiRlUCeOpYk~ED-YXw5%syDUj!46JXWAQO^mK2_Xs*gABGYL9q`u=
zyg+<bI$7Jne}+AjJNAiyVUI;|dlVx)dtDc`IFP8$>J)!sfQKa&a&FqDKBzdo29r{r
zAFkj*=s|N47Wk}A()~fAF~{l7GD;w_vgtmNlB|Gqm!VQb9)*KrI*yA+uk^Zdp3IC}
zIe-*&*>$fs=f1iE*S<}+^!jl)#q25Jff6oeC)v?qwv{KMF}tXO&mpI`m=~O%W;1s%
z8RXp7%X;nodbgu4puXm#R8-$*6nST6=v&X{@v#Fl*t6CoZwQgCR<GXq_Zvq-gcY^3
z`CaJzv!$F|u}bUPJ(o%}>NPa!p^;*bgnFf3dvz+*gpe>+_ax|c+<n4JIxc%X(<Ci9
zgd^9PcWm>a9c+3*-?Ta3SP@zrN?)MA(~~-HLJ@sM{VOnh%vDBb6eU$mg4Fwczh)Lv
zA{*L7mudaBKG&Qi2_InRPoYR6i>@Vy2P-e%C3PJkecV0zF-YG0L9rwiLVNk6Hgq98
zb8d=SIQd~m7IPe-eO|~~QO!7)rquH7QQ!431g6e{SZtK(-OgIg9Z<z;{SjJKp*gK=
zLQ;o)WOeDOT&supgwSn|ucRqnI-FFZoD>?*lBGjCrMx#LamhAv?dklc@5)blu+7p4
zT{C2-&X^E;dfCa>p*#O+w_N*}lbjBR9vMZ+6f$Au-d6)3Yk8lN)Y`WJ6;)G6N&D*2
zi{?Ew3^i0Taw;aC;2zZpX%2FwPP{4N*mi3s=i7+%W^gMYh4RhIt?cgGq+x`2?h@vR
z+bcc$P+7+H1x00<GT+zr?k&Scl<&#|WNK|M?|I`UE>K@R!a+sRk?y9^$a(c8zM-lr
zD8I63k?iHt1=V3kNbX9BH0mo$rS+clk9%;(-v%d*RrQ{sDdh*^yE!wWWtV0vN(Gj+
zoov;vm0YSg&)c~4ltLr0q@;wetI)+PUo)OfG@b{7S0d%4h~9M1?r9Nry!tvKrl%a~
zlY5$FT>;!`NTWBSf);lw@R%iu!BZ94Zah^pOL@o_pi^*hX|{-uTOsAGLxZ{>NG%#s
zT;b^XLNu@uRJDLiFcSS#jq0O0k6qj&UN)F0UOb>c-GfwKW$MUUd#!oSe#QwXqBrD9
zh0!lpLmctLM)<UfH6132rNbXi;ixneCBI~!Tn^4<K-5R%3xw~O-|ClO^zWskqpLXU
z7XQr}pbCj-%(>|pVB;_ZXb+U%AULR%A(0SbxKHm#m(R(%ag_bTCe0;w)4YV!_7Fw@
ziBVjanQldUtmFtiIExp+t}+^^*LJy0_s9jS%C;gRg%Ppar~oz%lgDzf;!2CD0&dyl
zuuJ#P;;Eo%Xi6W^YH?-qu$)yjCJIzGA(ObrXlg~V(R}X-A612*E2si|&466nRu@eV
zmsJ)hk7}W*R@%9g)OpiT-V)f|mj#p2nEXi`>b-2d{Wa2n*Y=Rz<kKwfEZ`!hW?Kx(
z7nDo6#(L1_mcIyxI6hFHYPE-$O-IK8quB{;gMZt_6et6JzMW7jLGlfXjgR(_bE!`A
z9^fjNF1^Yq`xPf$c4S8Y*W2gfIG+LOTk2EXz;6{kPfikSoMjM$VhM_ixF0AhnbfH?
z6qlm;iekM)Dz^6Kb4c?oD1$_nT^~KJ?3AIO_$#&*_S)f&v=wDE#w!(7k)k#n2G<Uf
zuX;~q!lrJ-)}Cv#x`*0!&E&dat#?unn^!W%6ZgvQ(C~fLi`pz5=`r#-xt8OYx={}@
zEOyp3Db{hBwvn?cQu-dl;=uO9m|@E3WpwwOy;9dQa0M!g%2af(>NNBuxI)$Vt=ttN
z3#w}i!QG>`6Wf)c6Brjje`2qD3`DB}6xWVlQ<}YPyX~@|TofKbh7BR5!x546Q$c@4
zS<va(B@#eGv80x}6{k*Ct+A<-YxZ?{aPQIV2Q)L!-~9}_fJ;%}de{ENIn1<ffN5Q1
z=~~;nq;(8TOOw=YJPdP-j8p_%iV}s{g2L4P^KEOPvV;Wv^WRvJHJ6NE6bq@Fw=Cbo
zbid*DJr<?;6=jP6?J|*{$pR=zC(bTY%6{b8TPlnRit`m*5$x>Vd$hp}LE$@|v^NAf
zSh+Hmr^FtI)WKA29`<^JOLeli@}M33Na?k~`@xmWrW&~A{+PO9aMf&MVE*juGvTsb
zm^OP{0cD$0LzB}mCJF+_6c4t3S?0aPz*<g%fqkE}b%A1M(f~WmwZVHb9K@Khz$d7a
znPZvY-oVCyJr&s`7ZflR!An8l!WnV#gUi;l-B%6o6IfDU%8LOf0t<&-9}UyT-3=r7
zCZB$-gHPo<Ofz`{<r_h#&xUhf&VLRilu1Y^k0HW@lS-D(zCgpJ55-)gvm^oQTyv2}
z9(-a#dIyJ5?eSw6b01PVMGFGf9O`ckSYWROR;bha=4lv=so{X-G**D+FBWREEMYA|
zhkGs^MGnZ*ocB-l2#!~HxxeUiT(D>xTFjEc1;=l@g_lb_Rm!V;vA{nSMGaW7{FPh(
EA4`hI8UO$Q

literal 0
HcmV?d00001