From fad9bd731cd353889c3cd7a8d9164e6f6d4a410d Mon Sep 17 00:00:00 2001 From: kyhn7 <50511514+kyhn7@users.noreply.github.com> Date: Mon, 13 May 2019 19:42:55 +0800 Subject: [PATCH 1/7] Add files via upload --- 5g-aka-modelling.md | 388 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 388 insertions(+) create mode 100644 5g-aka-modelling.md diff --git a/5g-aka-modelling.md b/5g-aka-modelling.md new file mode 100644 index 0000000..c5ed880 --- /dev/null +++ b/5g-aka-modelling.md @@ -0,0 +1,388 @@ +# 5G-AKA Modelling + +**1. Rules (model the protocol):** + +**1.1 Three main entities: ** + +| Entity | Contain | +| ---------------- | ------------------------------------------------------------ | +| Subscriber | UE/ USIM(Universal Subscriber Identity Module)/ SUPI/ K(Long-term Key shared with Serving Network)/ SQN(Sequence Number used to prevent replay attack) | +| Home Networks | HNID(Home Network ID)/ pkHN(Publickey)/ K(Long-term Key shared with Subscriber)/ SQN(Sequence Number used to prevent replay attack) | +| Serving Networks | SNID(Serving Network ID) | + +**Model the entities(Not Compromised):** + +```c++ +/************************************/ +/* Initialization */ +/************************************/ +// Initialize a serving network +rule init_servNet: + let + SNID = <'5G', ~idSN> + in + [ Fr(~idSN) ] // idSN denotes VPLMNID + --[ ServNet(~idSN) ]-> + [!SEAF(~idSN, SNID) + , Out(SNID)] + +// Initialize a home network +rule init_homeNet: + [Fr(~sk_HN), + Fr(~idHN)] + --[ HomeNet(~idHN) ]-> + [!HSS(~idHN, ~sk_HN), + !Pk(~idHN, pk(~sk_HN)), + Out(<~idHN, pk(~sk_HN)>)] + +// Initialize the subscription +rule add_subscription: + [Fr(~supi), + Fr(~k), + Fr(~sqn_root), + !HSS(~idHN, ~sk_HN)] + --[ + // Restriction + Subscribe(~supi, ~idHN), + + // Helper lemmas + Sqn_Create(~supi, ~idHN, ~sqn_root) + ]-> + [!Ltk_Sym(~supi, ~idHN, ~k, ~sqn_root), //These terms are persistent and shared by UE and HN + Sqn_UE(~supi, ~idHN, ~sqn_root+'1', ~sqn_root, '1'), + Sqn_HSS(~supi, ~idHN, ~sqn_root+'1', ~sqn_root, '1')] +``` + +**Model the entities(Compromised):** + +```C +// Compromised subscriptions (symmetric key k) +rule reveal_Ltk_Sym: + [!Ltk_Sym(~supi, ~idHN, ~k, ~sqn_root)] + --[ + // Security properties + Rev(~supi, <'k', ~k>), + Rev(~idHN, <'k', ~k>) + ]-> + [Out(~k)] + +// Compromised subscriptions ("initial" counter sqn_root) +rule reveal_Ltk_Sqn: + [!Ltk_Sym(~supi, ~idHN, ~k, ~sqn_root)] + --[ + // Security properties + Rev(~supi, <'sqn', ~sqn_root>), + Rev(~idHN, <'sqn', ~sqn_root>) + ]-> + [Out(~sqn_root)] + +// Compromised subscriptions (identifier supi) +rule reveal_Ltk_supi: + [!Ltk_Sym(~supi, ~idHN, ~k, ~sqn_root)] + --[ + // Security properties + Rev(~supi, <'supi', ~supi>), + Rev(~idHN, <'supi', ~supi>) + ]-> + [Out(~supi)] + +// Compromised home network (private asymmetric key sqn_HN) +rule reveal_sk_HN: + [!HSS(~idHN, ~sk_HN)] + --[ + // Security properties + Rev(~idHN, <'skHN', ~sk_HN>) + ]-> + [Out(~sk_HN)] + +``` + + + +**1.2 Channels between entities:** + +| Channels | Descriptions | +| -------------------------------- | ------------------------------------------------------------ | +| Subscriber <-> Serving Network | Not Secure(can be modeled using Facts In() and Out()) | +| Serving Network <-> Home Network | Secure(In this version, however, the channel can be compromised) | + +**Model the Channels** + +* Serving Network <-> Home Network(HSS) + +```c +/************************************/ +/* Channel: SEAF .<->. HSS */ +/************************************/ +// This is a standard, secure channel abstraction, as previously used in work +// by Basin, Radomirovic and Schmid: Modeling Human Errors in Security Protocols +// (CSF 2016) +// This version does provide replay protection but is not order-preserving. +rule send_secure: + [SndS(A,B,m)] + --> + [Sec(A,B,m)] + +rule receive_secure: + [Sec(A,B,m)] + --> + [RcvS(A,B,m)] + +rule secureChannel_compromised_in: + [In()] + --[ + Rev(A,'secureChannel'), + Injected(x) + ]-> + [Sec(A,B,x)] + +rule secureChannel_compromised_out: + [Sec(A,B,m)] + --[Rev(B,'secureChannel')]-> + [Out(m)] +``` + +**1.3 AKA Process** + +The whole process will be shown below: + +![](C:\Users\asus\Desktop\IoT\IoT\img\5gaka-process1.png) + +![](C:\Users\asus\Desktop\IoT\IoT\img\5g-aka-process2.jpg) + +Because the whole process is complicated, we only take a part of the process(Figure 2) as example + +```C +/************************************/ +/* Protocol Rules */ +/************************************/ + +// Attach Request +rule ue_send_attachReq: + let + suci = < aenc{<~supi, ~R>}pk_HN, ~idHN> + msg = suci + in + [!Ltk_Sym(~supi, ~idHN, ~k, ~sqn_root), + !Pk(~idHN, pk_HN), + Fr(~R), + Fr(~tid)] + --[ + // Executability + Start_UE_Session(~supi) + ]-> + [St_1_UE(~tid, ~supi, ~idHN, ~k, ~sqn_root), + Out(msg)] + +// Attach Request + Authentication Initiation Request (AIR) +// NOTE: The AIR message is in fact the initial authentication request of the service "Nausf_UEAuthentication_Authenticate" (see TS 33.501 9.6.2). +rule seaf_receive_attachReq_send_air: + let + suci = + msg = + + in + [!SEAF(~idSN, SNID), + Fr(~tid), + In(suci)] + --[ + // Executability + Start_SEAF_Session(~idSN) + ]-> + [St_1_SEAF(~tid, ~idSN, SNID, conc_supi, idHN), + SndS(~idSN, idHN, <'air', msg>)] + +// Authentication Initiation Request (AIR) + 5G Authentication Initiation Answer (5G-AIA) +// For key derivarion, see [5G] clause 6.1.3.2 and annex A6 +// NOTE: The AIR message is in fact the initial authentication request to the service "Nausf_UEAuthentication_Authenticate" (see TS 33.501 9.6.2). +// NOTE: The 5G-AIA is the corresponding Nausf_UEAuthentication_Authenticate Response. +rule hss_receive_air_send_aia: + let + // 1. Receive + conc_supi = aenc{<~supi, ~R>}pk(~sk_HN) + suci = + SNID = <'5G', idSN> // HSS checks that the received SNID matches the authenticated channel with idSN + msgIn = + SqnNext = SqnHSS + '1' + + // 2. Send + // a. ARPF part + MAC = f1(~k, ) + XRES = f2(~k, ~RAND) + CK = f3(~k, ~RAND) + IK = f4(~k, ~RAND) + AK = f5(~k, ~RAND) + AUTN = + K_seaf = KDF(KDF(, ), SNID) + XRES_star = KDF(, ) + + // b. AUSF part + HXRES_star = SHA256(XRES_star, ~RAND) + 5G_AV = < ~RAND, HXRES_star, K_seaf, AUTN > + + msgOut = 5G_AV + in + [!HSS(~idHN, ~sk_HN), + RcvS(idSN, ~idHN, <'air', msgIn>), + !Ltk_Sym(~supi, ~idHN, ~k, ~sqn_root), + Sqn_HSS(~supi, ~idHN, SqnHSS, ~sqn_root, count), + Fr(~RAND), + Fr(~tid), + In(count)] + --[ + // Open chains + Sqn_HSS_Invariance(~idHN, ~supi, SqnNext, ~sqn_root, count+'1'), + Src(~RAND, AUTN), + + // Executability + Start_HSS_Session(~idHN), + HSS_Send_Aia(), + + // Security properties + Running(~idHN, idSN,<'SEAF','HSS',<'K_seaf', K_seaf>>), + Running(~idHN, idSN,<'SEAF','HSS',<'supi', ~supi>>), + Running(~idHN, idSN,<'SEAF','HSS',<'RES_star', XRES_star>>), + Running(~idHN, ~supi,<'UE','HSS', <'K_seaf', K_seaf>>), + Running(~idHN, ~supi,<'UE','HSS', <'snname', idSN>>), + Running(~idHN, ~supi,<'UE','HSS',<'supi', ~supi>>), + Running(~idHN, ~supi,<'UE','HSS',<'AUTN', AUTN>>), + Honest(~supi), + Honest(~idHN), + Honest(idSN) + ]-> + [St_1_HSS(~tid, ~idHN, ~supi, suci, idSN, SNID, ~k, SqnNext, XRES_star, ~RAND, ~sqn_root, ~sk_HN), + Sqn_HSS(~supi, ~idHN, SqnNext, ~sqn_root, count+'1'), + SndS(~idHN, idSN, <'aia', msgOut>)] +``` + +**2. Lemmas (Model Secure Properties)** + +There are a lot of properties which need to be checked. We only take several of them as example. + +**2.1 Restrictions** + +Restrictions restrict the set of traces to be considered in the protocol analysis. + +The first restriction means that the action Subscribe(supi, HN1) must be unique. If it appears on the trace twice, it actually is only once, as the two time points are identified. + +The second restriction means that for all the instances of action Greater_Or_Equal_Than(x,y) on the trances, y >=x. + +```C +/************************************/ +/* Restrictions / Axioms */ +/************************************/ + +restriction subscribe_once: + " All HN1 HN2 supi #i #j. Subscribe(supi, HN1)@i & Subscribe(supi, HN2)@j ==> (#i = #j & HN1 = HN2)" + +restriction greater_or_equal_than: + " All x y #i. Greater_Or_Equal_Than(x,y)@i ==> not (Ex z. x + z = y) " +``` + +**2.2 Lemmas with [reuse]** + +A lemma marked `reuse` will be used in the proofs of all lemmas syntactically following it (except `sources`lemmas as above). This includes other `reuse` lemmas that can transitively depend on each other. + +```C +//lemmas with [reuse] +/************************************/ +/* Helper lemmas */ +/************************************/ + +// proof (automatic) (~1 sec) +// If you know that a lemma will require induction, you just annotate it with use_induction +lemma sqn_ue_src [use_induction, reuse]: + " All supi HN Sqn sqn_root count #i. + Sqn_UE_Invariance(supi, HN, Sqn, sqn_root, count)@i + ==> (Ex #j. Sqn_Create(supi, HN, sqn_root)@j & j < i) " + +// proof (automatic) (~1 sec) +lemma sqn_hss_src [reuse]: + " All HN supi Sqn sqn_root count #i. + Sqn_HSS_Invariance(HN, supi, Sqn, sqn_root, count)@i + ==> (Ex #j. Sqn_Create(supi, HN, sqn_root)@j & j < i) " + +// proof (automatic) (~2 min) +lemma sqn_ue_nodecrease [use_induction, reuse]: + " (All supi HN Sqni Sqnj #i #j. + (Sqn_UE_Change(supi, HN, Sqnj)@j & + Sqn_UE_Change(supi, HN, Sqni)@i & + i < j) ==> (Ex dif. Sqnj = Sqni + dif)) & + (All supi HN Sqni Sqnj #i #j. + (Sqn_UE_Change(supi, HN, Sqnj)@j & + Sqn_UE_Nochange(supi, HN, Sqni)@i & + i < j) ==> (Ex dif. Sqnj = Sqni + dif)) & + (All supi HN Sqni Sqnj #i #j. + (Sqn_UE_Nochange(supi, HN, Sqnj)@j & + Sqn_UE_Change(supi, HN, Sqni)@i & + i < j) ==> ((Sqnj = Sqni) | (Ex dif. Sqnj = Sqni + dif))) & + (All supi HN Sqni Sqnj #i #j. + (Sqn_UE_Nochange(supi, HN, Sqnj)@j & + Sqn_UE_Nochange(supi, HN, Sqni)@i & + i < j) ==> ((Sqnj = Sqni) | (Ex dif. Sqnj = Sqni + dif))) " + +// proof (automatic) (~1 sec) +lemma sqn_ue_unique [reuse, hide_lemma=sqn_ue_src, hide_lemma=sqn_hss_src]: + " All supi HN Sqn #i #j. + Sqn_UE_Use(supi, HN, Sqn)@i & Sqn_UE_Use(supi, HN, Sqn)@j + ==> #i = #j " + +``` + +**2.3 Secrecy (SEAF)** + +```C +/********************************/ +/* Secrecy SEAF */ +/********************************/ + +// proof (automatic) (~1 sec) +lemma secrecy_seaf_kseaf_noChanRev_noKeyRev [hide_lemma=sqn_ue_nodecrease, hide_lemma=sqn_ue_src, hide_lemma=sqn_hss_src]: + " All idSN t #i. Secret(<'SEAF', idSN>, 'key', t)@i + ==> not (Ex #j. K(t)@j) + | (Ex X #r. Rev(X, 'secureChannel')@r & Honest(X)@i) + | (Ex X key #r. Rev(X, <'k',key>)@r & Honest(X)@i) " + +// attack (stored) +lemma secrecy_seaf_kseaf_noChanRev_noSupiRev_noSqnRev_noAsyKeyRev [hide_lemma=sqn_ue_nodecrease, hide_lemma=sqn_ue_src, hide_lemma=sqn_hss_src]: + " All idSN t #i. Secret(<'SEAF', idSN>, 'key', t)@i + ==> not (Ex #j. K(t)@j) + | (Ex X #r. Rev(X, 'secureChannel')@r & Honest(X)@i) + | (Ex X k #r. Rev(X, <'skHN',k>)@r & Honest(X)@i) + | (Ex X s #r. Rev(X, <'sqn',s>)@r & Honest(X)@i) + | (Ex X s #r. Rev(X, <'supi',s>)@r & Honest(X)@i) " + +// attack (stored) +lemma secrecy_seaf_kseaf_noKeyRev_noSupiRev_noSqnRev_noAsyKeyRev [hide_lemma=sqn_ue_nodecrease, hide_lemma=sqn_ue_src, hide_lemma=sqn_hss_src]: + " All idSN t #i. Secret(<'SEAF', idSN>, 'key', t)@i + ==> not (Ex #j. K(t)@j) + | (Ex X key #r. Rev(X, <'k',key>)@r & Honest(X)@i) + | (Ex X k #r. Rev(X, <'skHN',k>)@r & Honest(X)@i) + | (Ex X s #r. Rev(X, <'sqn',s>)@r & Honest(X)@i) + | (Ex X s #r. Rev(X, <'supi',s>)@r & Honest(X)@i) " +``` + +**2.4 Agreement (UE->SEAF) ** + +```C +/********************************************/ +/* Agreement UE -> SEAF (before KC) */ +/********************************************/ + +// attack (stored) +lemma weakagreement_ue_seaf_noRev [hide_lemma=sqn_ue_nodecrease, hide_lemma=sqn_ue_src, hide_lemma=sqn_hss_src]: + " All a b t #i. Commit(a,b,<'UE','SEAF',t>)@i + ==> (Ex t2 #j. Running(b, a, t2)@j) + | (Ex X data #r. Rev(X,data)@r & Honest(X)@i) " + +/********************************************/ +/* Agreement UE -> SEAF (after KC) */ +/********************************************/ + +// attack (stored) +lemma weakagreement_ue_seaf_keyConf_noRev [hide_lemma=sqn_ue_nodecrease, hide_lemma=sqn_ue_src, hide_lemma=sqn_hss_src]: + " All a b t #i. CommitConf(a,b,<'UE','SEAF',t>)@i + ==> (Ex t2 #j. Running(b, a, t2)@j) + | (Ex X data #r. Rev(X,data)@r & Honest(X)@i) " +``` + From 17aed07cdfdaf976a14c782346c8ae5ff75d0364 Mon Sep 17 00:00:00 2001 From: kyhn7 <50511514+kyhn7@users.noreply.github.com> Date: Mon, 13 May 2019 19:43:49 +0800 Subject: [PATCH 2/7] Update 5g-aka-modelling.md --- 5g-aka-modelling.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/5g-aka-modelling.md b/5g-aka-modelling.md index c5ed880..802ee8e 100644 --- a/5g-aka-modelling.md +++ b/5g-aka-modelling.md @@ -2,7 +2,7 @@ **1. Rules (model the protocol):** -**1.1 Three main entities: ** +** 1.1 Three main entities: ** | Entity | Contain | | ---------------- | ------------------------------------------------------------ | From 677f566ec46ec0ccc8e708a79c09f720e24edbdc Mon Sep 17 00:00:00 2001 From: kyhn7 <50511514+kyhn7@users.noreply.github.com> Date: Mon, 13 May 2019 19:45:40 +0800 Subject: [PATCH 3/7] Update README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 3b9a062..3c2efa6 100644 --- a/README.md +++ b/README.md @@ -4,4 +4,5 @@ ### Tamarin - [Doc](Tamarin.md) +- [5g-aka-modelling]() From 111a5fc3dcc924ad3db8dd5f85cc0d4fb7935bb9 Mon Sep 17 00:00:00 2001 From: kyhn7 <50511514+kyhn7@users.noreply.github.com> Date: Mon, 13 May 2019 19:46:18 +0800 Subject: [PATCH 4/7] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3c2efa6..a7a8e75 100644 --- a/README.md +++ b/README.md @@ -4,5 +4,5 @@ ### Tamarin - [Doc](Tamarin.md) -- [5g-aka-modelling]() +- [5g-aka-modelling](5g-aka-modelling.md) From 017a79d5d3e918df5b2a7620a2927056a969b22e Mon Sep 17 00:00:00 2001 From: kyhn7 <50511514+kyhn7@users.noreply.github.com> Date: Mon, 13 May 2019 19:46:50 +0800 Subject: [PATCH 5/7] Update 5g-aka-modelling.md --- 5g-aka-modelling.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/5g-aka-modelling.md b/5g-aka-modelling.md index 802ee8e..ae556f9 100644 --- a/5g-aka-modelling.md +++ b/5g-aka-modelling.md @@ -2,7 +2,7 @@ **1. Rules (model the protocol):** -** 1.1 Three main entities: ** +**1.1 Three main entities:** | Entity | Contain | | ---------------- | ------------------------------------------------------------ | @@ -362,7 +362,7 @@ lemma secrecy_seaf_kseaf_noKeyRev_noSupiRev_noSqnRev_noAsyKeyRev [hide_lemma=sqn | (Ex X s #r. Rev(X, <'supi',s>)@r & Honest(X)@i) " ``` -**2.4 Agreement (UE->SEAF) ** +**2.4 Agreement (UE->SEAF)** ```C /********************************************/ From aaa99b304fe5b215ff582127d86369cfbbbbbccf Mon Sep 17 00:00:00 2001 From: kyhn7 <50511514+kyhn7@users.noreply.github.com> Date: Mon, 13 May 2019 19:49:50 +0800 Subject: [PATCH 6/7] Add files via upload --- img/5g-aka-process2.jpg | Bin 0 -> 50380 bytes img/5gaka-entities.jpg | Bin 0 -> 12735 bytes img/5gaka-process1.png | Bin 0 -> 20868 bytes 3 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 img/5g-aka-process2.jpg create mode 100644 img/5gaka-entities.jpg create mode 100644 img/5gaka-process1.png diff --git a/img/5g-aka-process2.jpg b/img/5g-aka-process2.jpg new file mode 100644 index 0000000000000000000000000000000000000000..acf61dcb1fd92252b29ecaef47b8920b3767650b GIT binary patch literal 50380 zcmcG$1zc52*EoC*-O}CN(v5V7bfa{GGzg-ApmcW%9J;$xx*J45=~h8NMTKvJ7}x7_ z-}gS>|J{54X4b4(v!>RXS+nNA#r(x<5W2jyoHPgw27`=%7j*FwBmqKzgM){IMSzEg zM?^$GLcvBwK}JR)z{I+NO+rXUN~PG?8aXo@WlcM1sW)W4vh{1fj_*y%0~LqeN0*>C$?E98x!XHtppf~ zu85~t(~@HeE$O(ZOlq=OeB!p_w>%JeYY;c&P+K4@i5 z@kNB80Bc?CYA2e}w>;=bV|YOs-tc)#dw2sE65>;V;p;-^n^KelL0Se}+@o$huZZ&L z?u4>^=Lcg|l^vnk6zi1llBxGK)ZDJiV4KtTIyab5(WJVhRG9;cQRP)$GcNfzJQ&kJ zTo8N0dXP+SC;fF#q*q3~`7CkQ_r`;Ee*bFd`GFc77~nkxKLZZH5`A_##x$G3gsn+=43YrgyzE^y(y7&T^1_l zO;qzwJ|LkB(6jej&%R-x+PYej3C%EtmW5FuN94y_-PMu#ruI-kSN>gdl>G!Ci8V|T z5l)5WEc^)q9ji*QXlioHd1^xoX$B^FPSpRhRf(!@dJ=C<*lfhzFe-1VvwP2D?AbY5 zrwb&YlHMrw5A$f!O>w~Fa*s%4aT9jPybdDR_OwiaZG;Qa4jM zd*<6&h{0n@TBFKEP*t%)dI3>_^$GOx{Z<|H*x8L+Uf%JtX`g8yssE0z>g{ym z;PlfVpX4e@>mYV7ko>EJn~!^vvr9cG*rVabR2W1c(l z`-aGu#>K{^ZkgaY<8s!kPFx1qAFjI$j0e5K>+1v%0W-vMxsE&*K;*P{2Z4}2BYnOK zpfWQJyW50EvW{1sdZ|+uruOx@%b3Uc6RZe=M}6q8=)SRm&pal5aQu@c2uYzy0T3!M zoGYfq0x)e?({UNV+BH-T1quh(5WGWMFjYr!rS49~KOj|9Z{}ptA%;j-WS!; zVb181-LH$>75i(6gdrH0O9iGGbSY7w@49uRQV#?Np*#Uve!aO+SkK~-q~SAQHNIMs zzX!%*c^e2y{@>nQ*MGYX)5 zL(mR0JRRS7UCR{|$~N^#Eif&YQhJr6W;lsw^o<5+FD|#1Nqu-nUe9>Znmc({GkR?X zd0!p2Fl(R(k(26dznWYX&a7J^2ZUqU@gV)10o;wS9}TV zGCwpC5Dp4JCVo7>t`I0<2eBa*5RDRySQsG%Qmm;*^jSW-5wXXZ|lV(T*98VphB_XPP4nBxKC;YM; zq&es2WqkeI5ZrDdc#HEx+^-nh zY6<_Zq69277&$F5?ePUyYvX?iJ`j^ER=K)7(V^5KZa9?evHQ#`wOO6=oQ^NHs-t!f ze5V5EPl2Hw>?1)%0!=;NUzP3CrXqnUd1n+pPI|tT)TBLyNgQP^LZLXLO2}_Ob9zCs z9@2=t)NNa^ZtvDuj7JTQP8|-Dv395`4!x8-hFX9|*6#qzURi$&vpe@IXma*wI9Di# zOMN6}?-Rer_q^Ro{O&ENJL6A%au8c`f^j$t$E5PX>?j_~^r?fll)svwogHDGgb5sn z(HyP|9tR2T^()M>?ak814@E_{h%NYUh8>^Dka+cAHacUv2MHW>C~S4O9iYo?^~)`g z@3lDHOvHFuB1WYwu0{`}4DU%ey6>TT%ta-Z7|%hBS#KpV1JkFuF@2DCI3V=N7BhK6 z*Lk2`M?c+L0*kzs*43Y;(S&yo8ApJ}S=r1u`iV3F{;v_eFns3C7k@$hN+9E*;C@}m z1p8Vk8E8sw2-XH1`B^c}5ygcX%J;-o1zQ*D!%v;k<6|Hp1>pTxrA>5 zhK+arKdx}F54JgF`PS^5=Q8?)>jPwE%Vbz+cw2sM2r=b{cj8CgnQ~*A}g1X^*#qWQ$0K-1`s6(@fpIQUH z$<{sG1?WS!KVDY{U@byE#^8rh7Q>2?ObK3)yw!SIN;$YVNqsD-pb=8&je$8aI*61{9^6mqjF2ui z3Eqv8T*nZMGuE#e8TH)DB7+2I%f=L(ve#1DGm9qIAr+T-hMXT&8`xhJxj`xXD(=Jx zP}0Axv8u~zc#2^hZ2ixvQ2ri;s%~2$Z~i7d1o(~tdgL}b#TB|tfsuSB?c+0Vbc)~U z6bFX1!-mw;gpu&l+Lv{J02|>hQ0J8m@}Dhd5JugcsgnB>(}0#VubuI&+)PY7Id(*L zuOadSX2%r=rY0qv&$g96x7bULKdj2j#BV19P*^lVd^wm(S)#OPRVzvs1Ab<@HBR!kqWJBEM;No~u%(4>n3U4MW6cq~EP zSc&6u9KJojSf5P$RIg*U`eT9@w^xP})?$lj*Pq^^E<)DJ_L6=|T@p>=L6zsk*X&LK zv2s@E#F@(?;Pe}KRfzgZJ;oxy@(x6!jgC6vY381-sNu*4ur+^wu6Nb%Nf7wxQHd7O zymbSBaavr2hLi11WX&pjsxIL{`lJIYw)ZP3g~>)^1zcWlUI(8W52!QY>L>+1%&gLU z`Gd_h0N&*H>Ob84bQX-WdG;!Z`&Lv2BAMnU zBX4Hj9)AC>HAD#V$fBJ3B&TnrJxsOd)QM{B-u7qRt@~#t(=T0slg7V#$bj=c8#)LK z1BQl%fdaz-J^|qD4+R24!(d}zV!?8YlCyDep>tB>P*Ac{NvVh#!2zxS1b_$(3v~fH z)x8npE)gQAn)cw3xnMxMh6DOVU~;C`pqWU?wJnqOU4;%42?u-!*gzC-m=Nv)Gj$$Xd1B<0} zR(T5SvBqDKGT0wRu=BnSKoLjB3xPK+#luGJZ74qEa;$U`s}DhA4*~P-_F#A>P%xzE z1yYx*q%HfQOW>gkvvhFP1y60@mh4YxctVO*itlp>RxR$iwRUf2fs+)Z3nxlb9v85{x6;mM0lDN5%1 z=@aHTnIn1+qc>XD`W7B`vA*KysfSd%*&`9$yRp@RPX3;zZoP;(a0W&VofjbJqeJsg zkKTXDp^XrG0O>uF>0zAhuU>x>`mh7w#Mv~j5SB>5Y$16-uuoHw(4~(E62uF=IW&Qt z#q}uqlV=rj^FB?l+^UD2`^=)La6ldAyn-<~yvcj}4`fWzZZ%pH`cn2d6M^k{_BfXb z{f^;Cg9=@vs!ntNA=m_DW?UU+Aeo=&v-o#xH8=`OmXy0~ZR_~X+{*MXOKu_O9pb=g7i^X40h{JJr zn=djsHd$JJ5%TS6%$)zNOhPkM%dpH!D%tJ*mm( z#Cb}P@$zwPP!i01Tmpiu{p04v@Yn@B=&za&^TY2oeEN!4`_WBAcc=F@c647wgun_x za)7O?b3Xn358VUV!7o+=IYk|P!9Cq5mLMW7^5;Q}0xLv^a4qb4{uBln+rKr*eQ`{) zUO~g)PDx4y&jn7+kCR3&5yeO_K2k zJV5DLA}C3$dMUDv3^k6EEV*1M^pHhPghSacn7x8j9|UgNo-ENQK7DfkRh%oe1d$S= z(}48}FU!Obc@q?xmDoC~=vpD&NA6O^1B4dy7Gd}1#B-cU<93{WT7!u)t2r*)6z&ni z&2Sg##+++J0`&%%RVR^}DS>7Pb2IptoZmrqHJf5R~=JP>T8Fo9n)on#o@-i#_sOwv49d_2-3s9h^4S%EWgBY?Uu4f@Ig;Bx@qm@uV`Y)7-8PaF&!`ym3`d_2upTWnH4in<8b0p^ zRDQH}vBmpt@P<_qol7RAuzCE8ob>*^d4}bgr-5rMliq=gLdt;N>=_RA)qZ3T9#2C_ z@mx#~NW?a&TpjRq4HRvO?b0OM+zVnEtmz z?DS!|`jCwjIXJZxWBs~rTsj(^QHc}0Ukc@kPb}DvjeW7K`b=5d;%^lFNk1yrh^=Zf zWp^vmvl;zNp}{j9ulCbyb7G|Jq1DIig8RzG(#%27&AB`mVZt6sLrA%ejj~~lnI@sY1}u@>fKwte?uY-EslOiQO~WS+L!(pZ&}o-NZy{k?SK91dXr6a*VX>*%}tnA<^6Ea zfXqB>5ZVKaAb9$;!Q9sJS^sT~5`p`&rUWD<7R?bh-jeW9TO$0Zb@h#~bF@UwL9A~X zgj zF(+x)$Hm?UqyiDv?_W<;t;^1hzB%~$F9ZGVA88G+SP>IphWyPtIbJ6_DmDNJDu^ZB zUoqDtOt%p}rjwlPWB>|uU~ndJc+z<)B65n5%M(B9{vh8fY$O|#_dc!g0eeHhq+j@m z&roL0^%S-iXUaaj)o`nC>%3FW^h=7mnLV}>xc7-V7asg$ay^e~M7|+IoO)b)_n8Xy zmg*?{MLa173SG*5*fx=ov58gJJ9ArlZ|=;DK}5(5$V}e@KBo59_u=?@UP+aO2J!N6 z6?V1FTA7EL`r|L{)fiFkWT2T^CH3!d;6F29&!-4S4H~IOT4o$zpZ%^8Hd~Wqk!3e3 zKV5(-bed$x1o13zm{pWgre-nBNw*HPi*W=qCe3gDTh275U z@B(ztJIB3UV9xop%!lIR+3U}wC#x^K8D`Z>@^zJ~(#-`1-QxECl8pIl@-Ml!AjU3$ z5%L#yZEGuWzQ`FgW0+gPF5Qi*28XPki9!mOi1o*JBAHF6_1yx|(bbcG0ZlxzTYWmbg5ZxprIrg%?n z8@~y%qfeyQE2noa8>k2nOQgR%aISjE#xo!V&-%iYpC)-w7DTNoRb%q1?UrSQDOLaB zNWEFgyI8GBciO?1##@VH=DtrXpN!4EJMg&qeLmj;Mih}Cugc<(3(Igl$7R%2k8~B) z;xr~~>L)vx|BSRr8Vrx^3QphqM~KDAi(y*#^z1{kB^;jq#*v^CJNK!f@tls^EQ#B1 zz?{54f0O&)&{u@qvIJWu^z3Hl&nX1kx?-sKdl5++19DZ{tG$6;{<|uEDE)9l1d{fA zs?n}YpDAH*qw2o}3OB3RU}k9>zpJP4-lf^PRNn1jY&W>a0h}MfbO|Bco+>dMS zX3}l`=r^PpG6yVi7X9Kk_5N1AwY|RNL~yIcYr( zdy*RS92NqrA!$v`YZYC-HYXLx^vI_8q9rk``L&Y=o;mY(4041oH;ZvL%q8B#;!?UJ zIkRt{L`#RyjNnMrLu5skQgp4EmoxbY*sk{{9eX)36cW5TsfO@2`({Iih4|T+lW-N0 zX<=ib2K>xAs*H61guvl7vAte)S}(0i;sAl$O(yG4ilOj%;#3c%wpYWQq#JS!RLkh+ zux&%Qdk9yq5VLzDk~GW!`@-+x!K(hvuO>atq(qC3skLsM%7K_JKPy-B-# z`k-F-Ubnj$)F7*PQVEuhOGx=N;uy;t0`a2(;zmie@J1BE2~hguF!|wtjO8$%@bx3Z zTAR@W-tRMZ5Y?(S>}TGQabWSF0oMST6*duS2uN4G)&=gP{|OOd^JHBk{KKUFj`hH8 z!{gf7h*ECp;Pt#!_^BmZse6#_9!Yg!T>XNbQWD!?XTK{xbCeCVvoFT zZFTw9-O=`R{rAsGVf8J}vw+BoNlXuET+6=(=UHj?W$+88<`R7s{6K3Q^El z%l@y$t{MHpt>*bx1)!Sqk&kol%Qx39KqwDywc#)5l1FII3sU*>rS0`l;G;Yy7Q-@? z8lV02XG6!}Zzw`_5@Sei-C;o5MqG-(U%h>Yk~543J&Y2!6g@4fj}aXMRE}*< zjUoRAYK54+JETS062G6l8-s^Se?5rC2plHfq8b+^!?aHl-ASzMwi*=#)5YgceUj}G z!xrz)9wuEQ?kquE=qm};qKYTy&){Y28zqC{L|KkO(94116rdE2MH~%NASw#v|AkK& zoLB^TaAo$ZKeiUZSC;AtU+i2^*czfF6+&{cBpo&TV2L!<1EwAVIT*FJPDh|KQg^60 z!_4qk5mE_RjwCTFK)ozlaHq=a7#Tk1nYxy!tp)Nk#i{tCE8gZ5?yp5mnG2vq^`xEO7tK@s((f!Z}{bNVin`NdQ-R{whQYZ9|xRz+_oC!sYcY4ar= z=e8DCQm7T+NAsrSK*@eRRzxJYL79>>AcN>H85hT^|P;?BvXOJBsA3qz9 zK5Zy8Fe^g*6;`meHEc0w@Qeq-nv9(fh&*wB*)vXi6|!kd@=J|@h3B=3q#826Bx zy2>j429(T&-89zL(VWF`3pD%*Tv{$ym^o2sd|DqLfvQEOyOzM@-_ts=8FIOKT5GRW zQfpr9^;5PgFE`*$Xrc>{d&QIzM~Epu%dL-gvThxyRavQKD#TMbE(z{;$sc&(&Quz+_yFw6rx;1m!{a`G@p zkyoWHO->YA%e@N_+av3}p!GBRAF^Hf_6~c*skvLSp@p_?{OnJ_RjU{awWy0feoD81 ziKA(_teU9=Fm9TLO3Qu{{k53X3{${Y%3=27#Y@5;B?P$@U6@LmMxTtR{#t{fJ%Ihr z(RFr@^S1`L(QLyB_1iE1G|=1DzL`II91{s)-)*6PP6*w;DP?h<_%F-x^@^sjg%~hwcY;CwMp5%s1PdH&H6$yD zRhIR9218m19u15cQqeD`flH5Vu<4$}nPpT?_(22uf(Jv1kaK)26p?8!W>}D&gLST> zWtBH&O>a(;x$02=yVU;WknhIBmAMCaKWQRM5qXgt1RwRbubD{@RD_w_yn`o-(fc{@ z(c`QLayo>?9E4T95c@E|s%LU6?JD|yw7jzMfUZO=)RDLaLv{O^h*py8L@~?aQX^x+ znjrL^U&epUK;rA7xat5t<7jz1oj!!JVU+RO~MJot+H|F`_O;cwhusW!c3k3XebSFw(AFuZ8Wo5k zZ?sSo`5R;eN8d-+Bzv{+yb5Ezr%n`4*3-6j5Z@UNn>3IUM~xc{~jRGFZalK^f1w7hxhC~i^omWXW@A<2pc}(eZ*j_bgOkvaFl5frJdC$>L7EY zFjMqWeBvmWLcbKgy*{jgJN)w7?1mBO!NOL9a#RG;e7zJl6Jaspm|0--h!!X8__eq+ zg0%=xFp1UhC_BK&9xI^VCdRhax+S{4__CdO zU$LI2J;Lh5#N^m!A(*|s$%iBE=>;g2liw}b4jZfHD9qHx88@TXLmihsi;jvs@~nT@ zaYV2C=w)lZkj1;a)QA9q>H4X4PwBnr)))QsayA`(LZ>D!305UIjh&DTRj*0nbZI%W z;L-cAM+X8C;xX$y7LLd+d=eHCG03rHne1cKrtL)={ZQ|R2$8V{UAHoT(1C13E(yr3JL}Z0Tu=d z3JMGh+}i^`wZ_1tVCRIPa*mG4!eSFuHIA*ULKk=O^Czd0P*F3Zg$Vi~!94s6kpjtY~dE1;;#a0Z0lrGHi zxhNa$*op{)OTxsTc4{}>U`TQudnl;L%|F~-(**Sfc2FTlf-Y7RNjX7RkfUQ!MeZaL z-v#LACuU2oWVjd47>;Z5U>PMEB`jqZb>faR;U$X+)kt>YpTm|z%!a)AXkAEpWidiT zE-71QmbVonSfRBvCXjdS`6u5R z5Bl&_r+g~uO0JF%It#2(HT05_eHJk+Vx6lR<|Zvkl$ETLIJtTnn_5gErMpraihRZL zHCcD>k)+I6YsJYqMQQRCEoEjQJQb zc?&y3#4hFY^f6&jM!=Nx^u9KLXs7;GscqiP%;LzF)EV*q&i;bexi6Kuvvf; z>?81kh@(j=a20J6UE0p|g{vf_DAV7a;WLAuPO%<`Lotq)$IZn-iJD+0oRA)OEQ*x0 zFHt30Kw@-GnIKg;b6k*HzQ-imUVfieoSXjzh0bMWdNXL@QGM-v2~r2}Wlghq6jd-m zRWJ#H!IdasMaH@q52~stKbf0J9S!z}Zp2694KY#POwf|N%UlxFru#kHs1k<0Mpr(8 z;ydDhpufz%VgICU%-3GzuH~+Ek6JG^IwX%D;F;vf*}<&2rX4982_zcc}TFA3b|oy4)Il0n$8Q z4J#Fw)IgSUXI$T$g?&hm+s$HEf;f_AAUm1Lf&zML$gNhO&`Ah+v!Rq-ROvkt#ICIV z04XP2mD0$QLAZ_Vd`{L}+5|$Q{pNOodoHq>`vYj}^HWzm9xzG6^);BpD!=+HICra3*mR_H#`Zdw*(+iN;4gFSc zs`KKnJ^WjuN)F6RcXIVb(*xmWM1!9>0o_y!)FfdjvjykTLQ&5%RhlFhaoN08#7rAq z-=m&lE&O9gAu8bN-W(IM8vFDhSEYi84b9+cyG0u$wDWt^I5v*sul>sVtZd{g-t zY~McYVg%KvGLjoJf@*~bfv=Fh^{dIt}?~1eDo1 z3x!T3Nk!|-kTQz2$gx}@c!A}wNYwnp4Iu;LDScdIrzx&#;4&8=9pePo2;O480|guoYve1oNb~xokF7QQntLou_a3o ziG3zON^=2v^yeuFek1laYJ$O9`2wVGBlc{8&g7XTzjF7-@QGzC3&dO_t7^S8o|LMh zN}aV;D0|%IuX#eW$!JQwSk>|_5q?|>kS2b8%aGFSAZpCV>Dn&{tdzmkR5D)gcyLVX zDfI;cM&$k|3F)$m^4+`4xJr|6l&x4xXGYX=`4JJfMH~DC;t7>J0%k~q)Kgeofiaz1 zt|Brling_x41F%KtIK_>3JF4_N2!((1rZf7V~>buKYgd3OoLy5bDjJcvt2Am2u%PR6o> zC-dOkpS0fVR7NF|HW5!g(rXkR>K{Homcfj8u||hVqnahNO}RIsUnVGJ@7)d=TnUrm=58ag1JEcR0OTEKWQ}c7H(^yYQCO-P5&Ou6ogG zUj6s{KNVBa`w$|T%&Sy%*!*|)2_w7lJh%0REKU+e_E=J9?p*`3`qvdfNJn-xUbNnZ zV7(N@i{SQL`n5Sfs`H(2g}Ge#+zjFB*CA)gsKmbG_#OcPxKtR|O*r^v$Un2^1%LIzP7Rq_hMVte8;~XWe0C z1^(axOLl(dO*)#i?)B>|)1?4O$Z#s|KT`n=6pcf+YKLjt>&-7WrgmWZ1to73-9otl z5f0k3=`p4Gf7*evEQIUMrBLgYK z;+l)q9`y26H_0W9m6;8w1`Da)d!&lI(>(3218kr#-;s??)rg+uyk5xHd%(`Dmd4b> zF`$_9zDZVs18qt(=!NP=78j4^2yTNZ7xZk`nZpT5!lf#Hfq#E|fPSmsBcZG9TaAS= zLVt37wt#iBd~)mputwAkP(yvpO}ll;%}V)#;SaF+jab$bD4bnWi2UIFsXgK0^R^$Xh|9v`E{laGf!{0G=&@UBiO%Y{JE5CT*j8X z&S>V(d8gJAGh<}y$M5U1c>{M;_WB;<|2krVhV*mg?Q(x)Y9JbH_G>8yqMNRKn4~mj zUAk-uiZro^{|$iVYfg~rR+6MZi#ZTbWz78F10966)M9#( zu=-Se*V^4RJ8Xe4WAR$obo zOcIc=3Yd2mDJ+#&kOe#tbf+4`N7K7-UEiQr=Q{?b3kFvN(({L< zHpkn6Y?V!I-f+m!3t@!5PMVLsCA_T^lb&vL7WM({hd#JD)gh5cu_;3sb|^@!8_t6uQcp+sxu&S9>M2+Cj@VPuBPASg~`raW?Mwz{2cA+#7M`S zS`t|MU9O~J_5zf6&I)5RhgrN|O$mKV)Gqg~)Tmvr^6@I6Z6Shj3=0QQ6lBq)kiTw@ zpH9wCWBi7fEiViLH%=U`%CaBXmw)OPyd)Y|*w$)_83HL|qih4;oQaj=K&4V?jBADz z73Z44IOQ{<5w(ou`GTiD>jhZB@(DE)%0{U4t&x44rKZ>dcN4N!u^yxJU|1h&5+Hps zQ=ysF3Ad=#A8xLHv;!?WlLdZ-lYee{EN^0y539Pj0-T5LbvzPLF5~HxDCnx|t9cla zfMKCTZ2m=P?%n&l&qp5J;Qk#{F_y=B6Z>kh{b|ZMsqM%6f%j2jwE$0Gvyw@nrKYRj?Tcr|c-eRexw-`^-9B)?%Da2{jBCo52m^|+V+cOFB=W(odHA1eQEHZIsSi%UZ2DV?-0D% zPXadHA9@$jet9~t64~LM{z6p)j~GpvgpWui?eEvyN*n1PtQ2^BSoBuMZz@Mu#2nK^ zIVU7VZ))O+Z|X$Na60`+d6j6$zW9E)}OCGLOh@^R{}W|kh#KYm!Y=hEK( zG|H{Sv*~K;_91$jj2i-sZbPl`sKOS&4*7FMD8D?F?8jwv$TuNvGd(Nw|20bb7!KJ< z8Lf528P^swg#8(b9*aXxtLcLoIUo$s0-8gOoVb4XMij(t^#;T98{z$=g9p>IT%`+@ z8+WA9jo{R3(W(La?^kgpQa(QS^NX_PaVSfxDVe_?%0p^0@-(U1c$4}6bs~7{Sq_Cg zw{J7TJ5?2z8a46RpvVs2Bo`4i|QB?(zj=cqJ4(tVI{ zmnL!G7eFIvCy>Y}YuZ@fbV1zSp`P>71t)0yfwrm z3RK^t^e}k72|yTNur79@GrW z`9a^(tJUGeYiakSd1lX}c=oM!>2kS#>z(?4Ml-;fLKwfVdT!V54pt50d*oayh0?;t@k(o07Kazi=Qi=Js zD{pUalS^Y5AR9PYY8IXG61GM5mggK6Z-22l6ZwCis9^SJzDYkOqy1yHMxUVF9e#VL zeb^BH#eur7iCJyaEJcgykhLAUZ)6qZL8#WBWQQv3DeYT^zA*k#t)}Onoal)Y;cvUVF4X3(#P91kL(m(Vo zKPan7<;HNNMa09_%C-C zvL=oZ>VhreElBUk1yngrfS9SH9O{3F7#cfLu}83XUxwR2nG|DhPNTeJv%o&omL{gx zrS6c8<#>QYn_!KwK1=^Ko*{TXpkQ?xeV{;L-#4jH0aq>OR6SLDC|=>s|5(peQxMSN z6pMj2Wg!fb4PSuH5V*5NAO6_8XXkPJjJQ$qy)IqW|KfYfulH8dNDKCV|M^Y>f9qqU zg_d`zy6jeK>5TX6W)MvV)pWvRAe)LstXN2jcJTuEQ)$x~v;`Hij7nx9eRk^w3b+Fd zl~s(fFE}c2`AjC=?wVQgsA~+dH_zY&2ht+KDsmDa*{8*W*fnW6q?8VlHE2Q?!{G*P zVv{)v8Wb7W*-~!$QV^A`4WUL3WXFInK6-) zEI6=V@-u==iWKcao@~`wIGiy0;TMeC}A?Oyi}L5oWFcJime6YbVSuEO53!M z*;SO71?fXf>w5Wpre*m*0~K@#@mx)Ap1%_mg$~?t)=rDxqPhQX0MxPvVWW{a|EkQN ziFJq`?_zJMwXB!(GmXl>kNFKSRL0XD70!ZBa&HPk^bdC!&t)uB{rrrCTt1z4fQLqu zPq}6`7*i!`kQ!!Afqp<)6ctI`#;Qo>wljBKE<>FSjM_UC{wTp+wW2}!s_AWCc<^E| zh>;^+^sTOvhGa>Kpu-2!iSLK?Z>9)Aop2Tx-e_o{PFAymyj5Dq{RcCY?+dwVk67Z0 zl%B>B(&%9jtchHJ+6HmC&e$IA;^Wp%#}=n9G46jZoJ>%TSf8C5fYGVigP?4zP*Z=V z$!X+n<#vuL#63>%XMQWGF5v1>5Vftp#cnK;7QDT7LbJ8&xb zp#G9Yk0Ii6I`BzK^G`Gg_`{*-$S{y<&rsf=pFt|RjyLvq7tjw&H1cs9aA~5%+f!4^ zEGqX#d7Q{5$#FT9hMy zVs~E!xZl5ulCtovlPHAW+Y#8#_!}#T)uk#gf0ToW93O-TG z9niLMVmA!)o)$PF5tzvIk!WO(%ax4frcaEOTj@3y`czwLJ6|BMEI& zkUbs)m#o|Pi97vw&)^T6j||>N`*TQgr2-wP<_CG}hOP>wkkk~pGze5Y9;&g(S2Nxs zn3@o-e44N&EV5H9CE5u>kko$k8&w6#{sA(xT{P73tU8x;L)ZV@_hKzr9WsKi@qRiu zYGTh2VU09Fh1Ppnf1CxF@tV<@=;4wGb2Aqvs$^Z_!TwDx8ICIc_@77}B0>b)p+Y3- zri9;euF1cI0JluhKN6@$u~L~x?Mg)xGna!}^=ihZ<^hceV274|)%p7gr_fr2A;r@e zvLfx%HK+A|&XJ`wQz}1>AsPMPuo#8I2L7dL6$&9m7Oi<#5)~W%vVz^}a>ChB+pzJBva0kOUuE3fwjO6sE<_N4TNl@yU%1kh&B253rbixfJp-c_@KMMsj?@ z$7asvS>h<BlmZ70m7B4uW<=nBnRcp7nfUP(=!> z3==nOmH8y41mBQ7MSf^k^D#ejjUAM`L~TG8vRepy1A+;az&6?LoHrPyYBfJjD5CY- z8OLCaocOJj7tXeJ)}6rb5q6juH6idn=UR|)h6(*!k&c)YP44XEzzvS59z~` zIqpN*{C)-i1a1h=D9=XCC^_kNkn4O3eg9Lf^W)c2W=P{f1d+z~>F4YJxy18Qh?fo1d z@tjMq-{nGct5-OWRWZPOb^!jIF(%h;=A4dR>PGAwv;;)2033?0q1tk!}S-| zO3ZPujNT|GaU)ZQ<*PYnOGZSc^J}a!er0dVQvL2ByE+eF4^uNNN2N)0H1ft>M)HZW z8HUHD=GN(jJ^4&MdN{7CYqhC7Hx)fRFx_O2JQ$%+FhI=J1exrds#1 znT2L;n*+lV48Ml5T=wPf>Eg>QTplrLz~y%%gmm9lKTA={o12jbaYy&I{TfkHYS`eU*ke8NSX>% z77}#3oD>;y_W4KMzZax-ll71>QStrjfNcJhctXjKg-K%`e(D%^M&!e(ZXH`9wY+!6h-jIpgRmkm-U6#c?A3YLlq=={AkV2TrwUCy!ut_Kdes-#R4iT&vjQ zeNq?%^g+WKV>N7*|7?aed971csJ{D0tHf1_M-)Kz9L{^68UCUF^^KQhkJ3Z(8&l#! zLtErs3<=&?Vbj~1|TLXNY2{d2)7vj_&-JJ?kEHH#R*PK2~NyNjxYI}be54e z(&Yc|J`x0bO3T|Jt`e|SRvFq3mmbQ2Cx8Q6G5b@ZWHh}T-~x8Fpnt++VFLr~8`TVz zbfJoqq`36io*R?*0_8OdOrSrgq|6Z;*=anGvi6%v(>uv~xU6YIeJo&b&IkOoq19AC zI$_eDdT`xS3MZ;1I zxE=6HM z*jh1AC=>~G5BSAOQDlY6K?AVuz4+$xfx_RVjV+ElW?sK<%TKB|Dw9why;1Uik+@-j zLF*T0_44#`$(EU?cV7e?nEOxY@i!Nymqe-|1rMs?3&t}SN7P)mYBce5OXaFRCl`56 z=L=;+cD{zievL}LKyz3;*rHahI%7iJ^?Z~ShW-!IUiqg(40?GlzAkagO#!q@DHB-&pND6JtVi!l$xVGGU}Q_{X zbUZ*cDOTa?4uNt%k42-hW?R7FV|#4KpycWr$geCPw)Yha&UA%g?l7L6TQze#ZhFB& zU`zNNp}`u*qq11~v8;I09%Bj!Xna5;OLC`BnK?aAOq_%Pb|S6IJPTi%99y;^tRl$z z>kAFRsZI}f<`N})44JI>3`VA;9q2&WU@J-f4!LgphlJ?fR&C_j0vxY!o*WOu(NKzd z3}cz#PH@@Sgd$NF^qAjl@|)suj1WtZyZcFHT@pU{(ZWuafRt#e zw&15)dR@y48rxh?&I)SeT-i3)hQw;QTN$3|tWwHPW;Kz=j^4P_Si(V$zj8pBlI4e; z4y&>KAWyRItrM`9sw^Jjq&C7PHQepJ(xnE}Hw-=jJFAFKNYDHy|qFJ6FP~ zQLLZ1K4+&&~x?wdBGSU3U)D7<9CNn(GzT=lJ8;lY6nvPz)(AA+er|4XuvFNhU&Nu{syeln_XpL4hm{kl< z18QfA^6D+#&5O~o-Zx2Na>$l#^mm zP>L_TrC(%_EO=IeVVqKmiz1onByI$&)a}2t%4(eSu?Eb?F)!~+ky=Eas8js}t@gE< zAL{N+gRcc(c}>DkK?ZC%{(ddE#YW=(+My%bh4;IjVfNq98wA7QY7)W2On^ij1cvrg z0vmeY@zX}Xm9<0X=6mTeizVu{F|3ub8AYwE=R6)12hD~wgx1ULD3&_O3jP%6g*c?F zhYKaM^-^bN`)i~fN06HHRKgP|&~UGwAiks@&RbOS8~-0`?*SIY(lm_DE=yiu$x&FM zOI|V}$g%{HoRfe{juI3R46x*!gG41~kf?}A4oVV9qJm^aM4||iyo>30-gDmne*bsx zZa*{CRn^@!UEMv?HQhA>s+bA~!848~#MgH-Uk)mid>n7%81S3Fs~ossj&r(1^-$67 zl*9-JIuLTyS2IGz>4PTpDWq;c>;k|`2zQ*D7>m+%% z5+h5$$Th^?`;4MWCntN<#V4wicAou4Ae*E8j)BR&Y`AIP2)_1hnZ{DPj4%ZTJUuJg z2Qp^hK##Brh!{#3_QhA;Qs~LJ( zDUXtx6m)vmhKdMX+y4z%4i_=W7 zm)SA(Dnu}S@AYSDaCJV`KnqFyAsLCMMutu3cP4XHrdUPH1Nh)iyr2nM1jQC@ z#g^NhhAB$B)xm8dTFQ(U`#sbz>{MU?gVQboOmCAHCGAP23vm^+mAuZ_$gtx%NkkJJ zc>E2xP0^V7<b35J4l-B1o_h~Tu`jG&S&~$t@{KZF@a*7T3_wm`p_b*HDa`}n{(y%LU!DLc zq@zM|WTX-8Jf*Hl0Dcd0IkY6ILX7GW4GbP0ut<;&(^ef|8m8fTKJX}B=X3=;#iE{i zuK=piiU4vo~;(wE)1Uf_EaQ{ljS=%*mP*X1Fk6DVdmqb>FP<#1J8kEyO$n zL5UJw=?yY!!#Q|&_6{Oi?Y??Qt{%V4Rg8c?1#eWGlBeyDbJQ9Fk{>!^h=UhdbMB2f zvMx{c;o19~&$0#BUq52ttAqm=Vnw>(RQ6JBUegfTq!b-`IWO4C<~%pq7x zlTD}-N_9Zz6*CN-JAgqCe_og_4|)Q}6u}x!v%e(^$HN*Ho4W8Q4U^22qPy-X!v|41 zaK42L8mmc1tyjhaHl)!v7*ok-^Z8t=+deAWu(YoeC=3F5l?RLwvtL1HX@`tkc_j2+W>9-#K!{)Bj+$I(5CE1mn70gaRDj{MwVu3C5XgV)mTK; zWgDr%dAl4N)eE3P@kZ)(`(HH>#7o7htft0IwAs`xrV0g96BC^ccMeAA&fg0H1R#|< zbm)mGV*b;5X+j1bV0^(KHN{8;I*|ZKYA352%x?eE@4n7RDT>vXU!A88*J76r{_CXT z^~@FTPsDdJtQmr?#WYI#2Lo-P&phL~N@mJCV9FQI8%6{$NUjqEA0M+rlJN}{XW2D0 z&kD)}O_dhhEq8mq%tFbaiXzr2h%+dmc8^jAzd&$w$#7DQ0p3=;ArwA)!Oo8#Pf$qu zDKf^!ZP&Vwsv-&tfqd_1ko|?w;kpym+2d68ijaeU; z0-=GX!t6|L{fj;1ZC4I3sffwW6X^lCt;GsWG$TSXxQ38%`WM9=ojal7?g+&&< zqtej-;QEoqk{&y5K6mx6^h_3RY2Zk%2|a@w9R2r4g>Bx3lQGHI8DA^{U91h?C?>&j z;ctdw6$D0kxs}?2fJA7=e)AFnuJX`)7DPVek>24zoP~3miaXu;TEieuKsT>MgN)x8 zYj;}TsdO=$X!zTK(le_3;NajN_=$4&OoBKMpVEtwb^dcw$JGCFfb~4PAOPhIp4r1W zU;nR1Q3eG!iaQN`_fOA!62BSs0O3E^$!%`09JXFhPC1py>MjZqA8 zk0OXn&!~-R;1zZ-U2G5R5b|4qC)2;;3qxNp5ub|c0K*_FWXQ)6K4g=QNH&{#k}tepDZ5Bx4w4VrFYfA-BmlE9unM}!eh)2e}`u|S++?b$!!+AFhY`efrAPw8{vpq zOOX!5Lvt9CKf9ekLRu}cuwm%Eio0z%)mQxlEfEA|1!fY9qL>a!2u+&S7@232%Qov-K6?x9Ma-#Du(mmVe+gV148#*N; z)DD{#E~V)P!Z>Tn53gg@x~Lu%kC7zM1cD6H^y=~fA}@!ok86FM)&yWUc@74TTny7x zyd#iW9psl-P=b}1j~lm{HBbb|O#W8jvC}sH2ef}YKcBZsXoA1Jy{?kKE_tgC92`9Z z7ba5WvdkP}G6>y6IK^`nV7LI=S$ixZjBS}?DmJnEj2(O2bz`^Z>t8bDy5G>qzbk1X zAgMnKirgx~vt>-LN-Lo1H6?9fH)63OlSN~&3A)Un^boBg1)qxa99r^?tjRt=Cx_t^ zjZ(74LDOSzfB*UyYcwN}k{~+K9+Q4X8v(oMnpDvq-BE+~;6LIf{S3s&?r@R~xu3d6 zuOlfF758_>bd_m-1ifgQS=9yqIc1t6ltfywxC8S4{*Qrv7O>b(6Z_x)b7{Fvv@k>e z_;(P+qo|1qMV4(MV=2m9@QvBRk%`00L`tDB^4!BPaCPWTa7ZL%SoLMSTzInIX#t*V zFTMdcmA|-*;eDR#wOU>h+92BmbYTI{^k5okmbX+8-Iq)sJIb_X*PB};$Mt}?>MZ4vu^WxO5jWnm-=P)r-J)$F zi(&Uu-lo{X*UO5%MbM~!IfHiG%WwNfvye;T{rp7Rw#Y`!)YeAw8?bd5_kjN98}RJm zHy{bO(Vu7LShMvo)Bo!)ngdd+K%nS9vHwVM=LJ3r!Xojd>J8gWBDsI(=qu5C>SJGU z&UL;4tXPpY&{AAul6tPeMVbEOy-)*uJf4Xmj`xvE{BT;sGwx>sI8ro&lXhPdGxZ~2 zy|zmECKkiBcV?Y0|5YKStGBh^9LokIDQ+GWkoZX~zl}dv-A2BSTzP^=WC&7iN&u+P zb!6dPSO_T+Z&#Qhx5;MTgC!pLBDIF;qb2jBm`ol_52Pm%=z+Xh0p$B0`Q=*yC~Qe? z(3DExtgXzwxez%Q)Z!3SGi1#W_XKt_F#dTNO8!FA@N!AA&lP-Hy?qA}Mt|Fi^N zE+=72W1*IAY)}GR1X*HDhc{5(R>+UCqr~sjjcZpR^zzr8B#k%e23e0L|{gd#Eo3P|=j3VxH1PnWHW=v2nmd2o6hB-froOyEi#z&Qz z(UURkdt+^Vj4G)}pS|k<*_J+?-Yz>t{LVvLEYLTLdf;D>`u~Rf2d4<}fu(X0u7;1k z0WZE^&|WKsO63ZW#phAlQB3mJsRUxZ)Yp%~P{#fTp|m3hP|XC+js9#Tn|^KiBf&dt zj+VQ@!ak;!cXyx6@xR>-%`m__U;oDR*~^ReKb62dE{T;Qq_0E7jF z!HzTx;h-_cgKYXr{#`yQRm;`;rRsr H1j_ABQ2S{a74br?j^zY($4fxRs;{iEM zz9=JOC8rCDYox5hmMH&KX~^Zk>fleqV$Q97(d-!fAkg>;&MSPb&_==vg)pE-6R?%m|E^7Pf({2^9i@|>GFQx_>qQ(V zKN9h@kA%zIL3~?764q_{vsO}i9Rw5P9x*}5dJK*v=ZH^XoCgqfaF<5WWH z*1OM=_b=VqOQ?wY-O`hSOnv4b%niRGMn5&j!| zPfi+JtMDoae%k6lp9cF3+a6bY`A)Ls;cLuK}<4g@Uk5ha_oWj3Xv$JPRCjP%8>2@56hZQW&6Q`Uq2cg#OxDI z8}0{ir~*u7Ym^&G7_=l{+Pdj=fE#A~E=`i2x7u%qBZyA1BGG}ltm5I7ugIKr90_P@ zzX8lzIy!Xs>(um;3wg~>4r&VK$_bJu&APQ3Ot7fcYT`pQPwnw30a=B&4d&>k=_rMq zqQ#kbqJkX=vsgWR+u#2>1woO{3?+ZZWwAogP;4enkemMAGgy1OIMWBZ4yJU<3AX<) z2as=E`;W1rxR&z>g!4bCip~wZ3dGG4p<%)7e?P#*J_pT&{}a!DAQANq7@=;4QCq;_ zp`>ieApj*LphG(sSn}c1zTn??FAtcjLb#BU^9Ib-TD*&kG>u3yx(khZ zL>W?m|Ii-x7CuU#5j5FKRTe>efMlAEFjR^?N>|@QUG%m(bs!qF50{JDq^7-81N!tT z#XxoaRqR7+$rqfh_B#GbgeU0{8>pM~^M<+{t@d~qYrX+Axa1d(V06=IG(24&li6N? zRxicv6&SCgT)gcJsm^|}X@=4Ll>yJD;Q@?wI^9qy@+ghWt;-cx#7Ux0uY#pk``9}0 zeu@TTI^n_Pje_H5RithMI1wPaAP_+pLl7kcJvPXOvWOjS-t!4CI)6<40rwp(j(4}< z2zxMX>}DV}W%?5<$L{WQgJL3cSVnqa9i9)6WuSFefDR^IM-nK@*OeU?NE3<4jO^&N zmu*+hsc>u}m5FYFj5@Hl&G^bJT_?CG6`!K_brGKJCPKVu~isVy0nQ(x^pJCee=a&<$>r2C*6%0wMx| zK9Y`#A~ZJ*Ns>LjSg3)gt1?0s%=YePv|? zKa)`4V4ZM~gm9(=Ez15?GHnR0D=!-nj*d~CCvG&a5DGU4i!pg3W|~bhiONc~Coh|8 zhNub3NFj4Ma#V^;ZZH^kiT5}@Zq}r~9+9`UDQ@wWC+cz6i|alaLhIDZ)ARpE3c^}s zB>fj=lmNt0A5+w>8JLMLN#aT~$y@z@iX!4Q>7M@&`2IB)6`wK*1kXQ<3bsnX(+kYq z2NUb0FWFMtL%s2a4^SvY>UNH55fBJT>sT8Kp*HdwW%r)~DztL6yBy(;;2yFP63&SJ z3JBm?oxRLlzM`Wg8Nx?qBpYH{wXTwuIGd>S~-MJSGaH8J9 zqtMojM4@Q*_;6c}|2cpa-1^@n`_D3fhH52IN@%bmJM8J-0gyxBZDB<+xtB6L(I0lH zq|VQV(4UPoz4HzZ0oNgdQE)*ZZdG`hMwkj8bIpl5VrVM0wCZ!4)iFfR8grA*u$d_XooxNkOt8k z>p|aQ2+}dh`649FQw{w{AYFhtPs#77=a1)fqTsUd9l7d4q@lIy@e|Xc45#nG3IXFv z^0~Km602h14SH_cMD4}1tT~*SD}{z6f?u@Oz7jjJYiOU`aaft zo%b7XkLnxHdh5+!&+H!#T&V<^^o-JsQmI}?1apfjM+qN@SOv;t<(SZPMRe$t4czJ` z!8du&SKXFd+edgyqM6_F#cZKdy1IAjooAqyF#|c5RJNXv9(R|5A9n%RgPCxQK3rJ`W(8UYhVSy0`U+%9tlWd z_6DkD_AU=-ekKrFFA#(P!GpyBhe09qu=M!Lr{dV#S=EZTu#=y&u$@()qfU&$Du zmH6DF$JQpCue(T`ZOF)eJ*f4`zSz4?|FLQ5bj6>9HU&~Zy63<0xqanXPy9iRoIGl` z#0NS=vU5PV7gopay6O`~m%IR11Kpga5?2D+Ac#y*HuU(uKgkESJ4ons& z4Y*W!n-)R(4EKWZj6fTCvqFk7pDmt_C2!}An(&FB`bs6>I`?Q|7A&5PE z7EK-f$`J^L5gv^m1a~1sJhLPt0`2%j`U~z)Dd5R~jY{^g`KnN+xHaglBq%9GVlhqWLxch$PqBl}TO+Ihe^2rXgGj0i{!iN=$g{Zppc9=xY%>pcb!s)%HQuH_5xZgk zdGJH#s8o@=hOn%0bABYC;_;5r?yAynVup$)H8x)ZpKCOAmu=h zjsr^3b?y~Nq67Z?=DGW_73GT~O{L=?flJBnMTfY{D>xd@d8B*dNv6Mn4^@uCMKULG2^1IP=6;e+qY+yMxs z-G&$fR#;X}P#`$v)%__UY9;<2(ro*ZK<&vWtRX%}F5!Tbp^{+^0cp6i#=S{w7eGG6 zUUNoHd0~ls**_8wT+N|+o6X101wgOjo*x;)hrNxwL&@Tbne`HLG#Mg(&7@9VI6qiA zcb6C@6+J+}1^1^wmH}lk>6~9dSOU~3vnpd)PqJo?@oXAtKFkQUkZ2oB8d&74lwQNH z78mZ~NP3oq*D<2)`5KYP3UOFp4Y^?p#D8$~#P;(0;)Zt_y3zw8s4j)$hkTN6C?hkY zW_N6>7HAV8AqDJh5`*KZI0Q5pNHVxi^L|bgyk#|TAr(eGJ*nwUrF}foT*v znOfkcemH@h@gm}tlrA>gXFkesd*}2xy=d(Z(7Iu|r;TRxx|rtFpww0I>4Cq2BJ5{! zPv(N3g)l*BD1Uecs&*)ev8mIhf-e54x`JYodmUyXG`e=}nhaX=7sg&4J z;#k+Yc%aG7K$jRN`IUXr$6fBcpap!xG*)`kJ&`6WJQWE6`iIY6qP51E)~QZr;Cjgk z+(iw-2Ml*nA-68!-h4;fF#P=h>!wR=Tqv|c;0NqJ)?^)(Esh+g)F>h(CMSCL=FYhFU03gp-iCxNS01=2Aa_A__izklhFm^ZZA z?B2!$WMwL#!`j2Bd>DW{kT-{fngB8GJAhZ6!Z#q76uuXNRyV^c-CLFQRd5|@QZsv3 zN++-PCJKh)O=8HWB;eMEKarAL-M-m(+x;f)Ev7sMpygI9a<#PYe)s>+0W{wSdK=t6 zdG(}-8{dG_%U^;`gmAvc_JXWDXthVqt>wHlaV3;;|3n5^4cJF64JJ^G$&fIm9*^QL z<1NoN>d@hS7^0g z^FM+6MGM_rL=yu8?w=Sr^CP03`ub+RNVR zTwM@Y^~>#lXNBaUe$^T6x)3>vEJOHn6?7*`~yP{?x?7fX)G9%Gw%k0t`Z>XalY3Ylys^%r33N@_UwESCI!lJq#ywte-}e%?4bBt7~ax&2&vfgJe@FFSW`tW*1h85bz~Sww#F$OftMcm9GmFR0ex|K!=E z0K|Ub^JitODSqO&`vowazu+!pC-fKGD*)@2-5&fI-HQ8#|CI@@ToEPIZ-x^|`u>Gy z%M~(mUf_iKGa!BezcDy~fj#O^9@+fA_>YO>+^GryyM0w*H< z2z7lkG||n!qkjVWzj(I$Wj(@J{v`c|e~Co1T~XcntT9*n&r*KDC+a^@%tog`Z6^Zx zJKMhje~A>Pz_LJb?%;3KpIQADX|o%k3Wv;v(`^5v#9t!GZsKzIuDPqd=S~Fvtxg<_ zYm~U-&+xM`ZM6{rsFSZAgS3B;{t^kt`Li(%Ap@a6Clp3VAUpbW)IZMW`^Z1cYhbM-l{ zP$;YuD)x(%_zT#M6Yn_uJo>A3;%etdVdA4P$ZdQ835EdeL@)|2jIy*|6aYspeInCe$p?^~_*J6_h6r2@Mk9kjVu~8j!(im^ z;qioX=%jXkhTm`i6s9fSIe1b{-@~7(`<=hEEr7svqhCC~TGO8bJm+c$U^p+wcsOJ~ zi)b&@DoWO)A6nBX;L!`M>xNc;M|$+jUQvhEoMa_%GYp>hy@9u!&RW2w8U%jlzx}J4 zIyIz6$&d>%$OUro&KTqsA+|Dk0t3GWQ{tV@=6I&lW$q>p{zUDma;`8k1S8#N zysE)B$svYP{iS$?qan>2TQ8s<{f=dUPBdgz=J#>-(^fYaxru1ufpydeDDSHLDp8X6~pkJX*4M9B5*w#Gi_nKzWa! z(p_6j*IjGAPT9k3o|;GFBZ|M3q*u=7@BZA>5I8$yyK5x?;Z8mX{Fx^P7!va>@W`WeKMP2 z{E$_*YNg-{;ZM!r;Z$?7)8V&faEgJ6=)BOySb63mYue}FsDywY8y!x(Z^J$lW0pe& zR}#x6XIlCyKkB}SGsh0Ny`r+zS3G^xPFlnvXMb%R!X>{hLH%f{{Vt8+hhn3HTXS7P zBptSJjX{XtYm;EOXkICA zNyK$ihf=D2Ia9-=c3En53n}f@m5SgTb9rHCAnDopQ0)*?Vy$rN*Qz-Noq10V`Esux z>J&AVV5bw_nLQbG<@*>}HW#3x$SE38m8aO@=LlooV1IGv#Xz2=mx9!>P0!xyUDl7a z9N&NmLEY^mH+wyh>oJ@gk z`gUHn$Jn+oh^K$B-Qc@OSTIlMI}txAlvFJvkMUz}f!pA+ z=^2oa+m74fQlkTd|GB>fhT99FLhjQ}7^rUOz**p$QB9j)6mh{u;2{SWi)r#z!|Qql zOZ@Z$Jwi3tJT8hEa5s_Xb()Fcfu9xPOQ8e>&6ix0Q}Xz_MX%1WIop=i9N7-le9(|o zFGg@2AV@?6ymZDxR7ySv6q^KL@h$NDG;-3?`=upGPn}XFg>4vt*^BgLA1SF@@>!V0 zh$P9bCtHbFwri0Tm)?bXYI%n6jhoV5zup<0hiyc($q*FAsAyy@4HHPelm410Sn4}k z=pt|*{?VMMieG9!$FKFy)+Xz;2q<@$+SNCaJY?*i$4iG{U0Iw> zhu|FIIXM5O_4CKmUx`zi#an46>h*XC@+DJiJZpTl{9**KDOWjS5kZwEX*$ET4Xq4q z*FDVeqo7o9Udm*X;ozf24WTzRx(*R~Yxmj8zMmKA10$+Ru<1=_Zk;+2@} z*1N;rO_kk_FG)bcVWx(;n~juw76QuPt;(^M(rya7(?BznO_6Y>g9#lOj@!!}CKa zb9r_0#*C%>clYJ*;mYiSS0gOU@$XofF_30a4Q0&|F-O1@lRjPvnJ%zETw;l-Hsi;) z$a=b-P_09Fu~^ZbH*86REN9w*!BC?sVAlML|N2L_{nj1xs!hBqfjJn9&P~N2-}C7O zUC`vuYGg~uW~(5+{M3xvO+WZS;*I8`MUhUP26%Uij}7vsj1gCo^X(B z>6jJsT$DSXT)mg0ZbA;76iy~|zG*hxV1{0oC`ugDqzl34t{1qC))z$2ei$_$fB%VS zX(+Go;SIw4Br2DZptg>rA6L~WluSwm3V|Dgnr!7M3gA9W$(0 zYNm0X)yK0*?sROaa0Wnwx%>R+=<WpMzG?)6wQ7TU(-VcS;n-v*gu-1!981DY z$J373a#a)F8=?4Tw5IQ`&OOTMfI3(|N5m3#vhUg2J`RjN{IYF(||;b?l(&3;Y@M4bdC zqOGMWdjcfGsaP0Bs&z7k9*$+Zm&(lOU27@G_jv5ObkHmG(eI5>ulS=$>gv-Nt+u#@ z`P?|%IXi%m$SHrHOx=DQi_TEW+?{uyiD>oXIokUN=++xxRb8=Y|1YFp2^dw)mhUEX z5tOQNrybos$UHLf1}je^&y>?B8z59*1Fq6o;>Q9DUC)F2do0pZtZvK@Ub&;ba=>0N`tL)t`7_E0`sdp zQ-|{$6T^7V&K4gP&c1+ zvh7^o1B+=U>m|R|vg>oIS|n$_pe0aE9tmD{EzV>{l*wdJfr~ZC4Ram=Z)t`f%)7?Y zk}7}vdi~D}#D3gKJ=G`sS=|q z)>8B;#8TAXGsN^20{DZn5j{*@tfDMhjk0;p%Er7XRyx8Znee_MR{HGYgp9{&R-wtoY zI1v)8Qzp0@rGf_X=sYihtMDIe)?#j~H29QPC{;l%22HLQzT|4eIFJm*avR>I3`a$G zWA9tAS3HuiExSg}O4X*REm?09@|KnN`KJ3+`r|8pEk}dL6=$L7a*Bj2N6}!E1=_xE zJC2CyL+Hd8^MXAnbBH+8C59uQfd3;N0S~;8VquBwU3nA(x!Blyq8HZ`Pjj%Sw~f)e zy;3s@+;(ROP&Y)3)DK;~E0V5LVXG{mV!XgIERPXITrJ|XdR=2@Y&e(R(PRplKb$w0 zsPg}OhC1RK5Oa_u<)-~|=27c-7>2f<@%FoTeGSAbVTB8^1q9*N0YTRN6J`ayN}LxqC$&dcYxRd~BRZd3Q}w_f!xCvRJ=HWVKwxE6dJ znRe4Q<$@x=GD)=$XHUnT6@Lk3fEUE0XhLj`d8$BXBP7gNr?hlwH-%H=MKv{eLV_mB zO(WdNyE)A`fp?pcoteZ0x@oCH?V+Fxm<}$tl)5_6E>Xl+%Qp45Ucp{XZfong1-&W+ zf>+A~$ViaiG0V>pLvN9Jl+B4?N=v<>i1UX`Vbv}CT{QRaX&?Pfxx<2%fcdpmAG>M% z#)^!$%{Cn^Xi#^DNHGmr^0aOlvw^|B>>viRt4W}57@r?xM4k2G(CHIb9P9qRn z;1sK9xS~r-$eqgN8+~>n^!R*&X)N6HFK;{>JSDpFBJDwX<1^CY-!#`V1mehd*PS z6cUs*v07eHnEgONc9%?2jZ;}}^miYZ@!6J0Y@Bi=s;x*mjm|)3>5dzWY)m|Bmv}EM zlT)IKPank!bM`S8*l6{=2KwSJ#c#?z%8!j_fACwAu{iwCdf7A-xgRxsHrxl)dCz`+v;hd&YLY zsY^_oZ7VPE@z32mD*De7;is7di<|R9v-7W;ZD*q`Y+7!#kB}NXJfM3f`@9$FL&~2lgT1_T-WM?%M@HNUjpro=qt${KJvmBE+ofZSFXyLc> zx?Ttiann*X@s38UYc_04z8rXSN$m2i!Ji~0n4b7 zrmpS$=Rd}KWlW#D{grM2-GT5ux2pAUaVPV30=RMuH4m!8AFC^Ra5+PCeaGC(2{F(Uh zV5*c6o1lJB4g3? zw#(DG+uC4VJ%2&nLpw#`Rsd$2C%r#mq^UnkuOob-h+d4^W>;kicD%qJX{*15c z3!d&FL0SYu1?EL1v^hoM4-QTCCKJW%A3Zz_Oui_&CSfeP??lag1se!0Ex1$$-OH_g!CkYO~UsM zu6|d5#khh4ovv|=rLIA;?u*&tzf(-($o^hMY3==cp_N(y_fH`h!?jk*w`wrlqr*Bs|fVc6%K~ML`gl{140SIET#KW;kK5hNAtDRG|i>gAcI)GXxhSvQ+A6K=L4HPq=iwf$dN6G`QI8m+LqcKn3?$pDEM5dizj4$pKV2Px3$zTNMGl*&7JM; zpIaMsm8r%;om0PvSIO^1A`(imPZG8Q@yZW;aW|a*48eA3sr|(lkN%5+TRpAb#O2b$ zPYd^fsS^`^gUAz|m$OCKfoX#@^-CBgtY^SSwiL|k$iN+Kdpq4FYf-PkBi{~MURwN| zn9qxy5mg~1{TJFcI0k!%Q=JjSgaO?mdw*T*&a^PO^xEIgJN@mV!_PBDuF z^Q>fR?n=r-qx`7ZLwy5}M0jspnw9@c06&MU#ke}R&UO}L^vZ@1ZHpj<)lSyNg=z%BiB{lFvIY~#BL z0mmr;k4S4{;V(8Ua|`F~n)jZc)`Bsiy?EFhrR5rlpPnH%pK$zBE`^8Q_Jh)jZHLwn zA{ZPM0ETeLAc3hmBetIJF&t7Mp7sl<;z87oyXbw|ne|3eRNf zbtO9dhWnWwQ%VqAR2(w5TM~0Ms}6OE^*;oa`0Z{^_h#H=+ukMBi^6&d}QH1E#|9HS9%!gxEXB?SBd;)H8u#cAoYc>wo+yqVfY};DdNQ5%9Dz znm^0f($MHu5v-fX40WHO`U4Y(0BJ@?W5cbyjx&|fzRY=dN7`>jU@euG%x807=H@@R zCG`9l9b`iW$t5>vC+Joihsv<#>s2$&PgTw`xHW;h8lNCuwx{GmmZAJ3$>At5Oq?EI=4&hHbqVO*k*m-(f15PK(pY+(+HQCWg+=A#d zr<=9Z$^f$oiGC@8eRRO(%ILx~-1RhH;rO-{vfS1USJ16dta&L8hcV5avvtJA9g^QYnj!N%g=yl48u8>9XRSkrZ0-LT;i2N7%fY8B7SsOBKYDQEIHO6^D3bT+=!@&C zI{U#)$&=GS_V?4z*kC;guh@7_7`X)UXk#36k;PBS^WELv!z0ha2alhR;dYVNoLR~| z|L!tddcB|hi?9C)rpX(wtY^3FS7FSS>l_aU^S34A242gH{U>+|PmkLd|2Wr6`q%i< zIDL@00|qJxsw|RtKX|nVuy{G03y+nsY#arSNxJVAVnr_idetPBH_Rl`J(}S~gRkZSR;%VT?Slt<}j?|6rYauQu zwsky3w^Nb!@zf@M)ySLNRGF?+!AXwTic)_n2`uVXcwPA=QN)wT0zt8{^3SHWULQK{ zN2!z#v8j6T>M~YH%P6tA#@IE@**kDHWK85&`s?IFbMt$ag=2g*f~ic+>SQ>Ymo~V) zI!$j(3a6jCA`pP`ey=QWEil!#H}N5E7ki$qT_1fA+7L0>a0lv$9VV`#X02VblqJc1 z9v#q396&BHew?R8V8UPaasTeG5oM=mZEB`8eyiNzz}ma(Q^XtU2d7;%?%c_S0}yGj zx6-HZoXFThxaOU`)2>>R*)?bX;?kOoB&Y{MDqkBujdBCH(|NiY4R}Jop!IZstf0J0y$!7t*f;jf{mi%*f&@I(34H)LW&)YcIRFrp$g$p%EOf zj%~2r4G?P6z>o2K2s2NUzVTL!=ZO_*=U#voQ(BHwC0|yMN%z261KO{0>p#czk1^GA zZuit@_P}iBocf9P-$qbzsU~nJ{qq!;9R+h57~+qv(BUm!Vv+M_T^N*$`?|lN=zw=1 z-zLd>WJ=|F7DZ|TM=WX_&jhWv9IUq}sA|;+6jW-`)^xLV@6O!Dg>7B&c7(IN+mAu2 zO6t3blXdgCT*aEw$1WI$f+S7P#||#Y2jNokM#m~0>+UlzWO`8$t*QN|kAsL538ht< zwxX13@fF5VLXU>}B2q`Z6xxh{f(TmVINIA_we*#KZ4Ll9v5Nidi;s7u_N#ZveV=S` zTQRCMf#0{;=#?m5N%rhS-W>-R_(R>>-|2-0$3I1MUVhZEJLb4t{b7WDAZv56xs+F$ zku0#r-Ceo9KDItnI@7A(>R0S{q;<5PeenMYoyS-lOESE4zh-au`|V(i$qOm? z|CDy!VNGqzJ_JH9p@bSDy@f7a(9n?ph90UE>Afi+N(cl(6O~@23xr-oQITE+=~YyE z(<9Y_pfAT$ZhP;$@1FbRkG0n9Su?ZO&i?kE-CEuKjyLh$(Cy^Eq#9r6>rNna=QRD-lK$BigMvjjgees9)4<~J z6Y4LiiJM)dvaI|uKLBrjySC1jIO*zw3figa)J2&PBltJ1h1T=S0fhk*wr>)&ruJE4 zOx649tp@!%_$XZjLLz$AKg!;b@1n6MhW%7dUVujTf|h?@Mm?iXTJ#vx`FiaTmSy#ATRX)+KxUxcrnKhX}Q< zzcCB3iq9xTmX_xSN39tLo4i)a!q|{|%4Qn6Q#Q3;DEX`ofN&Za^7ND!fvD~nBc-|I zsK#@q$0sjbz0VGj1F0hpi&ge~*2Y(5%Nry-L)jZ@jt#sY&L!IKhUcAe+;Y$;5{~Za z^Q4%_)!tqC>$Ve5IfD0bi+r`=^1fnR4>5lhV2NKHSq3Dah~d4@f8JGlv+6SUax^6K|Xe@lTk5VI>gZF|Uez z0h>zHfwV@$VaDVQ&~fsXd@>j=%vcVxLa7#~jFr#}1M(xnym`{toR51_3^}!AAUh5y9{jF`gOzis)at zn&AUfg(-{_MWexqCNS((@n&2v7ku+_hvr=;AHIWPI%nl#22T~L+a*Ksg+$5dO=;~) z2I3Y!1EaF=XsR&`C|Rg_H@@0U&d~g)e!N;@k9v)pwEEOpX)sw7~plAhyf2oEqMTF2NIXb`Imo z493cve+Q;m*g_)NV@Elxk8@IF(arBqUzva$a25a$7)AY^Okg4DotLZ!1b z(EBjlz+JYZKNYx*lk|9a046IJTk;^VswO*)a66LVsSGmnLK~toI%*@{X~rn^TiVx0 zrMZ^b*{5hwa8SZas)xH#SrJy6U=xv+YBeiepRk;VlzRY5!`VcbGIh5Br4#_ zhM~Emrrp0Rq;Tk?HD20V%yg}r7*^1>K0~Y0CR&#WKuj3xrcxU#b)(ILqNm<7yXAt5 z0EM0Jx>EEPGOa!65!KXh3F05@i*!Ds#kZ*RBg#VU$7&;1gS6>EvnlA6AzAIK(Lkuh z4c!>`#=8cA!xPtt$!yy)ykqb-PMy@WUPWuqW2fWNE2zn&hl#^1gUg^~4BR*K0hQ(M zabmy>l!Ukoy64!v0IY4>U6m2PA77U!vE!%>Gq6~F#rdw*KZcH1A*{hi?h&U)2@6PU zfw$mm4*Rohs_Iuj)MVh}x?h!GRh%y97>zhe(}{@%(L_YICF&hB-yS zxpR#+Oj`M_VIXHDFDYfGO&zOvD0FXp1`Nie4KA;;=ZjNsj*=;9CPgd*kgjF+ZE8I3 z4lTX&XRa_V4aa>KT7+JSJ%g3`hp?Qj6aXM*DYRjA1WqS6o-W}(Z>Y+1R!+1CGdH)xLk}o1_+Nlm~x&p*~cjeXo6qsu0{?BGLb^=Kc z{Q)5PIl8GfFCmx}YLpUrdHmzHirSg5?u*i`&qw*N@2MqkCxUOD{Dnh6GoOSOIpy5}`$K1(cYfpb!A0SJ z*9^pHPNe)hrvFWjg=ih^&1)Z09~sSG_*-M33acbKxgBQd5_BH$H4jkcTnk(5Tw773 z?hqe|7Dx-$cA|OBl?IpzQ>0!UWomv?l4isc9c77FrtMR>sHwynIEDwwRcC7c2V(at?=HKrr1WhLvHzyiw&geSVQfk zibR9#EK=jJjdv2wA*3tfon0rI+@$>62>1RA7PY9l{Kj@%9Axb4g2e6QT#22DKztxy zS|DT0b$kG>-w zQ9c9OIC@Dey>;I2bmYY$u|n7HgO1L{jlIG^CHvIIvxhFw>C4J(emnfzU+`nqt%|aif#!#7gRt`-)Vl z&LV1CDOehCfnigma|414=?|ELB%Q3kB8TL-l>j?^N~NkJNG1Yu5Ve1~?u?|nM$Jna zZjsRFEbzE&)uY3Pft)I#X%rBicA9HncOrfEhm*C+1u-RcF*PRO^akFfFdJ#jYBf-a zIIG)NE1}4}HKGn&+Aut#@1U=5>QCg7NBK#FrF(ZKHWfvfJTH^pFR)&BEb+}g_ zX|^B71-r*G;)|!2Qc2uo7mS31q=F>d+8#fvrnlA~6db+gQ#i5AqGz(Id-l>AX_G&XBSxwxCjR==S)_10D#Rp`qC_CPO zCp#0p<@S||j+T{0O6PHAX?eE#6{oNVx&O4XnwJAZ8yJLlHDm$>#FC0Mw>evC{3BpY zae-BpW8p*FWPw&L1?>&~qGL`@)fz2EDkr0fcoJILs^a9=v{=gK=8*5O`yC4epom^& zojTz=bLnxuaP_vD+vQ!AD^?TXqp35&1x^1zY$XP1mHZ8O=4~+y;?OoT6>E=7`vcKM zM3Fl>VKRc1PkDhqVc&G~>du^+$Rje!oEhkxBz0Fkl+V(k?8#WvLNoH*mu8!XrznEP ziippe%&Iam9aqkjjH~Vy{V?HW!}#R)!e$B!$_xcVGk`S%I~9nPKkmB-Yjfl>lE$N-t$0^2N~C;d2TXKmjVw^d&< zm4b#~eOoP*N99w{tNDx9LZRRZe?4=JHU~AQIe%&&d~n@b7qY%$F(z3@&3oq$=7KLMP&-$J#@q+YMt`*x8HN7J}C{fY!*9IKF-p`)C=e^+-JOb z#zrB8M>U*1FGu!9tB>%$yPV;g_N-ZDuj2h|+7JO63RP)2{ z0(+*$AZX@J=W9tg7hRCr{o+qOO*JFbrXtOEmAZCLW{H)>4PM%W_+9Dy9p0^#!@XIe zar|Yp^C&-h`vS$pb%xUS=Pu7(Os&5q>~Lb#d4zRxXL%tVb*BOayLZdRO=LQ)d{8z1 z?-+>lr1#CPQAqs8PaKL&j{Q3GUjz!?>d>nhx79JNS)2FtU;h_v+In#Rx25zb5n9;T zj<$%_QNA70XUpKhKUl@XBhNwJy!_kbrmYi%RXGLU9ZsUYsHk9uVsD0jvW>{-Xyn_& ziOZR?bh^;Yd-Nydgy1n0?!6%PJJ|Ek#b_u${r^4G_eNyVlWOpa?+V=fOCriiN0dZ+ z+8gBU^v)&!@i+D*#&!YCc261?D3Y~;`wwI)O3OG#zVU%<#7FCBu(Io==!^BPP&V!9 zU5a|;_(O@wO0AN*uWtsO++`+j@z0+v9!!Wn_WIN=Q&fY zmjDvtZbW~7mKtpVHUm|9zMH>N*e=gWWn)S?K6`P%$8<)kMOz-^Rr==1$nS8`R z${U{t@Pj1)pv2dn<~{PAme1J|No@N4(6^mA{#59~nn5=cw#S?%8>BCTIYN~TW)h(l zahOh9K3i|?_#4_6dE5}m^^ai!%`j9OLV-Y|vLv8IN0mBum4#{@0Cj&iP<+$S;dt!Q zS)!X}TGac<&G1ddpRmy^*RO$P4E~!1Z(i`7pXtJXl`*?#W!_u2ha&-2Rhp-s3_Ahu zMsFPO`mZ!9Otl;5iak}pPwLz12$K}o5-8~XxhV$atH3OK@#k~KTIL6z>6N$YxVC9pgopLX6!-$0Am*ipSHXH z@-_GAhVRGhzjd<|9#|9LZrG+95hF{7iZ@;^y*>XA-5$N|05*%?Ayo_p_Yw`6IFdF? zlhP$Pv-BK@?+*IcYv3LltFytYkBq1A#^w2HPR}4|Z`IY=dIH21BiM`;GUOM>8)9Q2 zy?%P~bnA_$l&3seZdHBgnc-cP16vD?xT0CI?oTwTFYl)Kn_EZhXE}6xZrm|r4AE?f z%g97+?{z$SJXn6K#B$f+p#gZCv(?W~vM5gKX%4}L8~%n-M(4s?m~lw8_@T7AmTYj~ zrqByxaPg$o;d;Q92H=%88Cp=*Sl2Wu$eUhjN9canQxz7(Arwh>WT%aSd$h;)0W8C> zx0b>z!`>h9xZ~hP<$a{*D=k9o*g!srBb79rVT_e-B{-_8IDM5PDaLE7FzuM>6W3N- zw7w1Zb6JBFm(I0L@&=1xzt~K!DXu3w4Kb21Sj1Obr=x1)a(}OsFdH75sYaPxk*+#> zOU_Vk+wpLe*FLN|cEKw)Q(BOoK}hd02r{26?IE!!Q46!S({YryKB;y9@E3XQWmU!B z*yE9?uurk*6OCUBo4xhk8D-KjdYF1JIX_HNloz=b(kXq0eRW>IX^J+aR(gblP>?`*P_)=RjI1#G z;$UNYZ9?_-BN`QlIJ`L_+#`fm*{6DXw2zm(MOj|$R`D*%YQq6LaBXYT_Kp+3dU@04 z(DFW>^hktHUG#p!zEZCOYV~`uk2t)kNQ*(HXYZ}{lzH)^+%0bh;M2*LFWN4O6F7ff zu0qm1wEd7AXPfKsv0`22^IL|yJAPM9!%uQ&r{1)e|4u{%plSk@RXR!L4st1`YV8f< zZnnk>bsj4)RMy`zjNb7+XXMThW7Sx4XgVYv7j$K{TONT?cF*L z1)Na~3r(pO;z#lunpebClJcYc$-WLVGH^VmI11O0R@XEj*0fF>g*t9i!m3zLIusc_ zYaGsxXzemn*LG1N_X8lSw#nFW9gI0PL8uP29g=;G)JA=LTt%zg5~NQ`;Fhjh;G9*7e&!s3W@D%0 zzoSJu&T)0D$HM}%@%kzSTL*SWD$=$!nnVqH%# zX0cKpdM$pSl5&*popynQJF2R=b-<%r`YDV6%t1#IGFr)X2wY2Z<~l zb8#zIcLac66*V>_b?UKoavb#WSz;?_Q^4!f+j2huxt|r+c(=9GHA3;)Qkc7C+c(tp zw<*(o07eou6Lw${2cYPUy_}?zoT5huRqT|LU40-jNJNin7Ol#gJsv0Uyss=-GmLLP z2{>X+UDe{pwjYJkmf!vX;Qa`lT)gyvcrm(5yoPqDFFNffyScsk%fA8lURIrK$vaBx z=S);ZeiPnSnN0V1>P!R6Ysf<4V~J>6W(jXhXc=dGo+pg4guJzR97cLoNS+NwFzk~9 z(n#Pq`pu-xE%ElQQjzTYiEEbn6;0_GnJaj`cr%VyX2dMHQiD}(#w_pyAvV!ZAuRQ^ z@WaPsvn-HzsWHv@tO|E9>g#zDqy}8eqcGAq-q4&G@yoe5=i-8~1q|1s_%s9iX|KzN zFJ*BFB5Y|+;gSwYx+QzW5xbFgk6S00bYx~vXEd04oJivqC`ULMwfYb zl(>4P(7_O95IaeijKX+%z%(t#@Gx@U03PAkCw0$GthlP?6tAweq^ay@Rv)^tt*FML zJq05T!&{6pcfb=q*1Tri9TM9!xVA`Q*pJ}(wADZx!Wh%V`<1b>WTDcxX)cWHD5a_eByAG%EquITy9hT zg4NLB725}Ud>I%Tr7=$+5XdT&)NRF>^E^zSu|H>x+qtC5HN95(2VfFFCL{V2m`|RzMOCoKBRTuDg)>xTt$#z@;#MqY;6hYkN{%wp7l`{ zLsNQ5!r`;mR{-_*?2?r2l=Sa(KG|qOG0pF$KF~6?bNXnX8e`&>c#s}H z16HW5!o|LSqLFvh)g7djVC~vaawioPo@KbOX_62v=6fw^dfHaPvV)y^^HB6AQ~jH@ zS{geC(3f#{b&3l;HzvU?mTGJQ7wU*ERxc>v+3ONkoTs}T1DR9bTSQiY+vpF#Qq^q@ zttMmU66uXK)~>`tIc0r8*B^j=lQOoDY+b3ZCT05OK2+w}x_Av`1kKdYrFDpTysp$2 zvkETEe8ld>#)PW=(_&+hb&;Go8Pm&#s={m??9*8^W3!p31CQ>Omf`W+Wb9)b8STW+ W6Ab+TU=Jp2D;DY?k;D=n^Zx_nr#w6W literal 0 HcmV?d00001 diff --git a/img/5gaka-entities.jpg b/img/5gaka-entities.jpg new file mode 100644 index 0000000000000000000000000000000000000000..4e6ccf6ff4fc4a953fb1dcb0ce014aa0e69ad6a2 GIT binary patch literal 12735 zcmb8V1z26b(=NJkcPZ`;#l2A6-QA1Z#@)5JLveR^cXx_=ad$0x=}-ROckVs+NOqni zE6L1clASegChL9a{TBdPQdB||00II6(Es=W-d6!a0BA@^C`brsC@3fx7-(2{bOd-f zICyMSG$eF<96|zo96UTCGI~lP5;{^mJSq-qIz}c|R#rkvE?!P%9(op5=08k8U|?Y2 z;oz|l5U`ku@rarKufuyU00kOQ02%@YLIMCq0Rck+dG80{0zd$uU>~FXuK*4K3I+)R z_0fp+p~fFg{#yV61p|Ly0l@g?5GffBax0)cm589vdn8`NBCid>`LVst? zcG})X#qg{Ekhspnnlws|PIzm_jr0K|l=aMKt){W-i#x_T6(;Sgev!Ulsx!DYPJ3Z^ z-2ed9QA6f@_tA!T=-Z^~lpZy3xQo^N8knFm02_|u=h`eq~Xa=~CE z@jfn!wnxvhx>p!jGQJgE`;-Gu4tM7MSF#k0c~XC&;a z%WZU;7v*fsjoDvAA|NAj;TafPrc?@@Pi+*O(v_|z}qEdzz~S3BdlS)@Mk7LV{|wcFvp6#wR`+nNB7 z@}-ImDOGDq6d1E+G?f-ic*i(^k-BF4Ex_=b;kVglzf2&oGqgb0$YL0osEaJzUuQDs)bx)Yt2?G#5QB*=KmiB|5fzg zobY3dGa&;&K|w&lA;7@E{{CBkybZts5Gcr~Xy_P3j7Oj@K_uh!_H>Ds+b~m6 z56S~{vM0Q>e(7RSW>#=sl&6(JWQe9`)jnO*ccBKB#v~0h?tz43b!3j9Dt3RMXCV!< zq$t+u*N#GsPQ3H4Ec@bb7V?ldUaAZ&EmMto(o6IL2xBmr3)@R`5TZeOS{TKRZ5~qo zgGUWP^H~S&MVt)~+yjDAZH3C_WU=}YM=e9TgeX9qe(e(WY2`I80wD={z?Lt{+e?i&SjnX z`CPdorpMx8z{4G!XIjj!i!#;7%WI4}PT`y1w}^uitarfE&g!n0*oD@aYt^;Qmy2Dh z{b0p|;aLhYn(KbincYp#EQ83L*=PBb2+Gg)`g9n=6)8;hPhZ?Rnl*i_D@0Z*M~;$E zFO#u!hzDztNdFrzOoKYz>ZP;$rZlaIiv5KfOSgvhl?`iK_J1m_6Zk5+hdiS#r-f`{ zQs!dU9$B)Aw^cU%tCi6>o}7$wjb9`tPiJim{`H4FgTmtjS9} z1*s4`drcA4CGiq>%WK{NSJAeycZ410QH!nnN5&KecF<@vEFKWdrMW7ttR zUdGTNs}Wtl0~{DJp#l}Bpb9dPq<9FDNNO#S9#!cpHOIyv+@uHe)%al+K(IGywAP`d z=rmxnZ87p%5W=nnpzNezs8FPWdmp9Gz>10d`P8qayDxwE1(^BS89@jTmIJ^0N0U8M z`%nL}hWLe5ZN~ry)*m7C$-vqaidDYL_4+27ue618zFduF#gS>WYpo*zwl8Yay`P+} zX3YZaY4uHX14(T_nyYx`TVqt!i&IyPJ^qwQzxq!b3c3=+G!@pao#uR9cc4Zs0%l5+DK~vxJ)^V#E(bn#GCG8w{!;))MxXMxF(JSpIKV|fl#Ag*?#y*;G zTxBR&_hk%NGupfVy8GYNnZ@yjdd8~kM_K5!);$lZ_l(+ff2pyBBcIL9vk^1Y#=2t`9Z z{k(%oHOoIMcXF1R4EX0^%U{-|*+n;{@<*-+8S>}}H8pB-@i~3Gr+jCc3(|*JT9gl5 z4FLrP4)(9$KiCz8h!GqW?L)ExGK(NOzrG!b{NK_+|44uAR%hT87@I_g~73Mw%ZI2sAF z0Fi=095N{*zo4BTi+wd?7spvaKnXeV zdf?3O==Vu?JhRvu^>=$tm~?wt{91E%Ao4ukT~dRA+FKbQh0wiGBiOy3K#7Br2ZO&{ z7_W}76JHY2lT0?H9&PHlE7sV))5PrjF&8UFz?{_S+`(f0w8_XxC>DeeZykIAXk@*=+PWQxkTuioiFuE$y`y6+eeh{$6h&I_bH33VqoQ9CNb#o!X%-vW@ z9>#q8CNhpWhY6~UO*)t}ud^X)I>$t+gH=po!<@Ri-g+>jreFm4Iq_fW*KMxzE{r9OEi1c0`p^$o~}p6YVB zBo$>O3f4j_O3Fm>=h*fyUUjg=3V|K(K{3)u7=el;!1-GnX|ejDhhBt-cjhE2>+=h2 zUsM$0elB$8tjcCXuP$v?e=yd}Q;q~d#0q~2XBu*X z45gZu?mQ;+^69TMg)GxiD^BsZEroG|jiI*gZVMXTaV+2{Az&d+eQ{BADM9`nFhqsG zuz~TyuXs2TxLRNxD7sW+72leO`l;VK*$L~CrT0akwQ6cfs8xj+kE>1fm<=nkfm_)_ zv3MW=tl-3wi2mBM!i(03^V7V8o$3-6gobag?Ybm+7?ZU+z9qOMO!M4INDuRVQEQ_H z8XS*QP{Lgie`u6Ak%B15w|P$l;m4ri`VC%-&xN$8c`!~ju}(mn1Z#;W8kUc7<2sl?BIbLwMf$bi02 zXm}&O(BfOjeGaI347tCzSHSf4UOv9K@S;$xLw$?eZ9z|t9cMUrhVmRnaS|kVPLP)wY_2L zQ_}y?WT80V!ZAkQ;iqVHZ1Yvw@9vcS)c1b$)-{Ihv6B1$h{ZqLiw3U@8a*k3Uk+yX z6umZ|&}|9#G%ztH=SwQ6|GSE34K1PVRB7dEdu+Hb{OZqT=LqQ_&niXB7uV%8L7pmc zslTEEI6AD}0h;0Gh(p_itLwT-x#82v7R$Ry6gwbtK3;O@8f5AEC^;wRmFi0vAJceI zDfhF5Pjatx%B+zu)=<*^+isfJ6$>X>u20nvwB&Q~T`q zoT)Yk*>mZz+IPpV{^j%t5DNONZ^a68%$dQRqn%@SRkg2{r(K%$;-6kIU3*);?PLCo zQ)$a<#Er_xJ+*=mt*pe6Rj|+&Xs*RXpV{)XEbfz{cZF$q?!emZBm~h~KnU5Bibq`z zYIHQ_tPU_rN{D())Lzn7Fv`v$(SwvUc6MOD)lO5Sp1;QTKP!N*IBMoN zGt`qq)2tzGzD2{HUb=@Qfw)FLEc(uN`-3pSxz`XY%K3iP1biUQsexwglX)Lu#*ty1 zw8f#840U6_{%3pCbqK2yT;F)HaHaxlkG{wpPa2O4No@5&HD-}=OOxolQ3frfi7tzP z*BLF7!_SwM^@rWsMV}^foaZX|CVbq}Uh5RjaKF%BDZ!{7(^}lQk|~+$;e>%*>D?D^ z+jwhyP5k8BWMrn^o5;*Nq+@By^c8x^%R&O(FqRN8lU3*2#x^iK$>=~tN6RVXM^Ihy z=qAMD65L9o$tGm`PAC$N^2Tb2mWhlIG5ePu&vwgiI(vN$X*B8mj~rGiA`J~z_M(Cp zT5xd6)#8uc^4%+qoSmoxUBt5Bepboy5F>0g;t`OK%R%il))~74-{5gp6w)y1CX&`| z1+11}_Xn(vWa=+OrjJ6jkFjRDHIOq{D@x!>%u;*OXx6p|3z)zxRTl~SdN;H3t(hq9 zfLpW+5zov~-sCpHdBJ0Tb7^-KmEygL8YwaEa{`RTu}qNOo#;gJxzbo^&8kzb$>@=R zVarV=*q_NeRT|HMn;~g?@{E|~9#5J@F+}Y;vJuox$Dr)KIO?Jht!tmA9~F~^SGk$H z!;~<}o!CgX-A-)3nF`-b;N8a+0wug9E!_J5f?o*fU{TukHgfcBbj58orL@$Pd$YT zr5RbN5`vnUn^+J}fY00@!MTD+&9;R>0>v!FG&e^R;Ub3pXsD==A^G<6EwOD-U9YN$)JO*B48epfy%Y^DVI2;!zQ@#R zlOU1GnKPfb2EJUxZd~t3a*P63??ei<1=G{D-AtN-xO$7rQm^kqv!{l-@y8sUDM#q0 zjD={JVA`aCJdL=50SD;Zs_5kvoI!&KGhDrlhf7rb4PAjtnF(ewn)gEBx_#jaM@Xna zpM_UOdcAe_c^Q6AYHuHnb+YG@`o?{6Aq(!{XG`U+LR)Pc`=7znv#2V-^j77%>N-is z%cCPxQN_s1CdnioZF_cRPYdi7;a`~57(A|v;N=p$4tc1*nDl$W5U9z61wttxhZeFq ze_l0`CJHLV*sNkY@q`|oSXW5~03UVnVNT>w9N~YP7f^Xo0QNvl$%{QSn@w9u&La?AtjE99&|0#>jSi04~EJkwvy}5Z@VTFkTwb}X| zQ1%Y^0Hk!tA9xxB3pyNFKH?8z zs=6nAU(i4o;=*B7bY7y(>e?9LJ%miXbl#Zb*JN{VssNbD@KX6W8{X82{iG6c?Qpmn zF0~bH0RVW-?4`dnSYB~FET-1NxX^qh*iTFJnaMG>eiV?L)HU33_DugOp-x16Gc(_r zq~=e_3sU$UG(o2#m?cA8+SzpuiYIuZoO8??Q!82uVrhB3hT=)3t@%A4sF+!}#{#VK zbvlq1K%fzNmRD~#4KwZ(mtSQPI*vXuw8{p75Q5(T@M@HzkkX)T7BL`N0-|G{G9wC~ z?6h3mnCK-trh{d{X8x3zB%e?dO-0=loPn1;dp$410#8T;Y5OEx8n@tI3OeoD#65aU zKt0zq3R;a2TU~r;Hu{UmA$H8!eW+uE;(P}~a894gW9JKC-91xYehjKk+f5Ri%hKp2 zNwHnUs9ZmINKN>JZK0s}*emEdLZNU)#Q7MQU<0Qh(0D%R!lXqkYVb*KZ-EJ7KETlp zrMIx69jm_?G0j5kCDeqCL+w*PV9}$eQvV9jPMV}jtZx&^!fQkMR;Z3JT8l6v>|0?n z5&g+KuH(Dy_B6H)R$5hEr*|;l16Xy2>B>7`ZiFC5(JMsC&(RhMF^V&V6f&sw>ntx{ zraX8FY!%qK4jLHYm2p$XkhYWxiX55E+Tmz!v(c`}eu<6JJ$xCg#Kl$59=sFV?&hXA z5gO^e$XIsN^p}Dfk;Gf9dtvG`H&%Z*+^++MjzrktW;1jV_! z+n_4NTl<369ytsdjAH5Pl{$$K>nMN0#NpgMg|w|8TO~2w$r5>M^@Fs0=KSTqMp@Yn z5&GcFnDiz09YCBE-mYKPBhd;H3GdAR8RjQ$G*)D|D;s-#M~<3xl2Uh6gi23QwLgdW zLYHB9&Wbz@VBR|c6$C6ykb%V;q@;~D}5sgjI&*c!7}?4wE~Ac5GbzauW3hx}HES+A=7z6=pZUWf0VTTb9nV?pcmF3bq*_m>;=!MP z6@MaNfrzZO+7qM$81UAQH&8YtV#Z&Z%DWl=q_^*Jfgf!&|JW*8;s;pk;_~9yW>(u) z+s>;*(?MysacQ+8km&r1ym{xRRMzu9=ym0k=wLIF4@HYx10k%$sTZam3UMxq4(N75 z>E*}quF)p$v3WuhYrFQ5dYPcOaF_LWM9U7ly07ZX&ljp!Su=hIkOS7xVUI_r5?h?< z`b&F^K;N*&K;}?x!sdV*TMAu+K(D8$eQl;^OfiAqqFN-JtyR0w*-^J*<;je;po)pM z!JfI`{f_K}ea1j8j@wF2l&hbN)M7&Z$R9A3yebrwe)D0;#8eDlN$o9Z4AoyiA5p@R zw-n)vx(@6$JrxU1u&W>J;R@0I{9&1n>Cho&M(JsZbhcJAMJi%a2($0ndFv=TstwN| zWY}WeHx7tco@& zAUeX~m4S$uDK6|v1_@CbKrN926ejkhv%BPMk{~mc-~IIkKESZE=W>=0i~mfp)^FW4 zW$cA5^iAtIRaGlDX{)!K5&=uTuiS%Edpi7CzEHpZugpci9Lm4LIsdl zC^dwR+DlbN#%!7TT~Dw^@oJ&~@xiI-WU8?FpMwW$M!)_8& z)oe1{{)c;PjpLJ0R=}RlHVaO8S->*@WgEaPsbC14$e{{@Wp7T)hg>W7(K>8)8dtP- z$4VUUvowy~KFkaPSVd zz*JdToqm5JG+#R_FIAk$v%%(A4mu#1p^S$-eMKeSL&B!ZS5^Sf)0bL_z1T49-!C5^ z5D=ugB$~uQt-Qn`q1wd(t(Rc+1xpj@S_?0;d3*AZz|0x)$Tds{q<`Szv&`yiyMXw9 zO}-{_HLeUvmHx4qIt7WQxqCo=`F;{jfiefQQmv4{XK(_~-qv9*nf8JgGhX$;GE#n? z9u)ux&Ck(mXrlJ0ok4;|^nO5_Zxp5;4x41fe!5Rk*SFE{`o|HVWx6V#)V^h_ zG~H2iLe{6^0ByO)gw-&G%3;^oQ(QuQV>n^ctP|8pD!-{{*mxGCvK>v{Mo(7dNp(SE zvlD5K4MNL6a!I>o_;T%TD?mfD-z7nc%qW|)S6e!OjjAd0h{;kykQoQXDy!f~vE2oI zTgx>iVcHz0&VZ2F>pE?Tib@qz{|sP)!|@^Kvrx^Dw<#B?8Jctd)xG!AfGf%_@wcH` ztXgOUPs*j41^J7DO-l>9{5Lv^Xiqb?@!BgI-^wU;f^IVo#lj+7)iFz8g{WW-CYf?8 zNs=07)d;gmMOuGFovRbHt5fZRSSyiWWYU~6Rgk=OhXEe*OuZqko>Q{f&(a;6%6GtT zpMP)20e{?j$Tw3w|C=~SwjIs+(dQlTmG!3cwlA9JW|;M=>2k~GAIf6B`noBs*)g6g zsR@>c$D1iShrV;*!^_`%uNR0mr+B_p@!T{P+sg4=BYjY{99;ZIsu_qL&-Iw&O*h5C z`UeTZ%@kB_%s;d@Q@q&_Ri3)X#D z>%$P`SWoXFH!aJ0X0+%vOG_g8Z-@Uk!~fLteZW=f4|gyaDA*sg`cL=+R|PJa3}%pt z7!^K{D!=>(ZvER;`o|TGe7^%d@Oqk84nxQbN82?qjnAv3WGRj}O;7Oq6s=9D_8q_u z*d@~b+QUidYm<6eBbM=NB#0%|rG4GB9^1Om<~O}tUXkG8#J;4P#*131M6fpcb=_^gd*kAc3PhWNJLza_pcP=;(-Qu=$4kTWd80k;D8dHMpD=uf<1rFzTo0mKSz3aZ{-L{DxaP>7H{P*Rbn z47?P;AAaE0tY4`%uX`5)2TwbTTqqVEy2BplJcU~*oqo5;Z&nrSt(hQqHFv*=EWO=Y zEAyQ`nGHxo{1!bI`Tkk#Ybujg4{XSq7yoqTikC7#yTXx%(C!Y()Gy&MXDFR;JBjx| z?wGx{6vYpLLrV}WUrKQ8(|&V!&3;QxFe1cCzi>o{oVN5mML zbBWAfGb7(~wFUg=GUBf#-V4e84ckHgNi|o2aRF=oOe3j_i>yG zi_g=XDIwtETDlP(RL%u<_h-P2Tc0*G>equ_8eVbpE4w383b6HwdoDodCR%}bK0PD| zEO%DzjuSxXmr8w4LDfJui4}=!%E5KDYzP8yyIqPr2iE<^Br#J9N?V8!3e-d@EVl*H z4lG?qIXT;`k5wW}4iKl$i{pUIMG{;GH~2Sm-a}YB`MeH6Gnqg8<6uYgQM6wI!Oy67 z0ChP2lpxRjz#@RG`1=-#9%tMnjcvE}nh{4(eSY@NRG&9+szrOL$UdmggE^pz|8%XJ zR-e|8JYL6?b7;tB&%Ax+WEQ+SVX#24-jvh*$rl0`LJ=X-vMb_QL}A~QmY1kYJLLkP zkev~ND@kJ#M^5VGbU1{t^`S9=9$TKIz5_xZ?AGIP=Y%h) z*lfRF!?Pw(gL*daux=L|Mx8g5ixG3*C=Vt2rD4j0OXbwCTe1dC8_yt6YF?!Sd(ik9 zSNkubk>HD!WtE_yzuPPG4AG8;%&GHm|B42fLnuYbsSJ7(f1gLmHti(%on2OYC%>3s zP^b?I9#S1_OCp>j1r-yYPE{dJ;g1l?fQ3`Phh4$;WqTn;QcT#&MsL~rTrgW+wPG`! zzon5mu?2ybF`AxN0yp*`i<4D-BMU%s*dop4rv;!T_~bYVbHCd?_&vBb6(dNH$Nhqu zubR>7RQ7qW553H&&+ed7C3cgh+vO}IhHF7!_#qgi9{SX|!yAL&x3B{1fz3-UnA9Hg zI#nT5YJz!7`D+yns%+SSJ}Li(eV^hg&_Z_nNIas+CFVVVhs~H`?__Q zNcodC4Usc1z3OZXieUcqrl+Cm7sU0FcAJS3RMMZ}<>KjrA^>XH^k3gIK({g789J#H zq$>tIi@4kej#UZdY7C)IMf{m0E2-ODkY5XHgLx~E4%n>a$sC<;!xVjGkT zoTn>aw&RLVz=0c-(rSQPF+l>cK@RZV$mz%q*ONd-bzZqjmyzUC<=}vX_WivqkicB_ z>lXgOYQ&Y*LQa#VC+9rN5H=K8EV^J4=h1eM11yk6US=&zRWElJt_(Z#;GEg%r)V+K zlvUVzBNRqL{Cr7F_A}Sv;-+Y5$c-opI}67^2#TYTNtR1dNAwx}17oA?$i+ySK-#(mHiPOU>T$O!xNr!eZjl+8iSA z5c>c)uHXL6KX}29US9bIQc^NNP`}PU?RVgf2)Mfq!UifZtg`1>!MvEh9NZ=Tn$hYY z%(?vykbrc;r@%xxMuwtHsS;s6b|TPv>i_s^N}no2F78q`nxV_;o6NMn7rEby!R(Na ziIv!m&kp<#cG99<60G@eqv!??JqnaT3l2k%(UT8TTVK2p<>DZxzh7f^i09tJM^R7) z6qSseI}IS_wsjp5#*pgZp8B{R9W~tB?`9~dZITgxN2^ch?sahCEC2Sz@Xm!1hAP2Z zkSLn9n{MOT1QJ&%yY0!xho}k$A$cI}e&SGD7|D7ktmw--z-^xP@ghly64%FdrpGus z&yN^P!IQ5XM=5&k&85=^X7$qEGe&+7{vFVgMq=aVV-mjVbtzngG_a$DqSL4Q#xnS+ z+A#GiTiGm%L!#LAe(G!V4&*Uj`j36_YoqXjt~hFBRC3LPdyNHYHHax}TONj`4#CCMCmo4z zj2n)#U+15*{#}VVOtr$g%)KRLKBISJ%{G_|NHq#a@Nxx|{ha!=PUnsbl3>7W3xtNgT7j{6qaGW5d+M zR8McPFDL;yADaYMl$Ye9i)alw3a!fB(8y9B>pb3R`;@drbyh3;^urnf!xcd?>F`!Fe@;#WJZau}(Xl&3=g zaL}7i+cSw@5Cfh zZAGj1W$7yZ53lLKAc^({(>f>z?H@;}s5=?=ck65@v`fmdsta> z@CBkmt~6_Fxd3SPN}Y$#U0-Ex>To*XEk3cp_v^;?bQ42KT!vy{g*7Ab70w+BWBlqy zkWrRzll=-oBqpF-4W(ibwgh2axmh{)B%EMWw-wMrE_pxXRR9VT#!dRvzvM{G#lJ!S zRp3sP6R{a~@7|4SpY-HXJaySMntMov#B6zr$GfZ-&aAxpC<-5zcPbPWwF5HYtJ8xj zSdOC&KT1QKQBNL);U#6gtoU88ZYB-Lu6)`ixeA^*20@ikIdLsmNwzbvPC5A6?9?S9 zG073mR{2}l6&)Nxd9;8}x!1Oo%yB%-2++6G)nW&|tf>_Bd3?_idj#|7ZPLuVrKLB$ zO1pZH6nNGloU+Xiw*-=rz{iZJ@oQ4FF zt@PK)=NL@H7naCHK_42+J6`ur=tifuxtO=duzRY&c-aQzBW^G#BB zmbkT-x=V=v4?xGHxQZWH0%<9J1YGqnD%zM1b2WIXowxR?;wUT#yHw~&pua7BGVB@I zu}r25k~F=nes6nr)7=>JS&(mXW-y3FED{w*v2ilH@OhNR?zFkfxx|IvEZeXt(hQzO z<}3&+mtp2P#aAUjw^H`6%2dS>#%Z{-WS`%xvG~qkQ>smO2)5m@cAM1`@W9L~9{Nue z+D(ZuZH==L-&E?`{XABaqe8idN-Ukw8 zAV`%SgEA1OURnL`;} zkm0!(7aaQCsQ<~xvLZtq7ZMpI)i7U7*bBJfi%(39kK1ELt7wb6sn^IY5ePOY`{+>} zb3$?aw3UBERoLJX0oV<u+>V7 pO=BigCt8HjVOQy^2ZTwELx)__)k6bwAeSwlW%)dY9&O*3{~vR+$p!!b literal 0 HcmV?d00001 diff --git a/img/5gaka-process1.png b/img/5gaka-process1.png new file mode 100644 index 0000000000000000000000000000000000000000..51cc89bede2eeeb5443e0bfa928261c1e1bdae8b GIT binary patch literal 20868 zcmbq)RX|)#(Rzg-Q9I3@Av(? zd$D(Wb!N`#K3&~a{d7H5bs)-$(ircE-@(DbVaR}hs&H_KP&hbva+EiJ?+0$}Jw4&!;OFP(Z*T87IXQ)eg-1t6 zS65e+m6a_lEOd2spI%?@UtZ5nPuttu_xJZdefk9Jef|7;e0Q&Z#Z z?fv}nEGQ`W`f~jq@BQ5TY)5Cu<^A*K#pC7W<;lbA-t|+}&!6v*kUoF@Jh*%H`g}Nb zaC3a~R8ms%`n0lqbo=@+I6XTzIz5-2o&9*Z@_2pt5$L+Kyu7o!i;s$Mw%C!DmiBV} z3l~pv{_M_Ah@_@#Y<+!`mxmXJ&!;Cq{OvoI{@RS@g`?D*k}x@1A`aW1UwE@8_lZ8r z_e{*nQsP7=WKK?wx9?n9`X!gx-tEReC%<5HtvT)!UlJLt)4|?)l{sX1F(@V=PI5yQp>YqSZSs9$7_05 z&t`_J1Ih;Sn#Y6UbMJPBW(V8-LX+hKn;vH47TOZpJ$O=zn*#j4pI2JW&2(kx&^b9c zGnf?%`}aKWlnOf(X?~<(LChqx^$rrk8gppIP!;h3nbDrU-zmZ)iZ-If6wk_)G2T`Ob8*uSxIk>azwHYuC`& z`ICg`P%1J$m9P1(QcSi9P10uH>mu}6bYfxyTt0IVJEZsg8sDan4h+`#G+6^7!e#ne zw`^3nCc^~SJ-@!VzD;wHGpBzqLQdHqr~k0szR_2)H`VSMlY7(^EgLmi?xkqq=pm|L z^IjoAno06|aHOLuu(GBhNJG-o$nIydYgYFdzxr1@HX<`)UyZayJ(I|$#(F1Xt+8Bt zmJfIykm9+aGz}yB7)#mnLIXAlqk6FY_Wp&Ys@|WvG80+ZpA8){K*{pXZZj)Kc0tAa zt4nEdU2QRW>rdR0aB!4xGC(nP&xPZ3Wc~NOguSPr7pt5e0leGru0elfa?c-z>Y`oX zD@I8~oMHk|Q87uJeGMEm$vg<|?|=ZH*n8|T@LQF@)}A@86ssJ%`_ZEnmGHN*Nm;)# zzkP{Xw$|HeIc-f(&m9+~#703x@c;k6fTcF=Djl`^0yg0guDz{^PUYiuMl9P>K9rLK z9tL^v%2T{;o93#SOS|cmweFK8X#+6TU|!s+_AxXE*mwMl~U*>hI%<>fMWT@^JA`#QKZ~Jn-^$EH6qt;os+RZQ7u& z5z!s?S&lEe{umm8H}D4fQav>^lJ!O@t<3LwoQ}J=ZJ}I^gvY`g$?Kg~oWg-CT`Y%I zDFXDR8LWw{pwPOFB;QXc<-sAvZ&g7nWbZ*A_bK7FAUz1w^r{m4Q_H>l&e`XP=j-A; z-9iS(^^mO?$MGhON&{|yp%|`~96_~Hj~ui>k)xk%gpS+?PpPCbPTdFzgXN)G1;GsB z+;jP%s~}U`^_}XbWB{BH9wT|Vrthf5tKe5U&A4--Eejk&n#D3rbG$|xZdR~Np|A?s zrXRpwPn}%tk)CcH0tOZY#?Jph>tzc;uW-^d2e^;6r(y!i?;XaTgvV z7SmPh8CKt95kW;cBT<8?fhN-;JAFMOQ8ebz=>&LbX@a*sze{+N9s&r(cX z=uR3`D?g*4f%29M1lr;evQwY3xeK|S$aM5UC7%j(sFm)W)P6~8ru?k^WoBlf@!(|L zYlBQDnfrkG89>HFanFe~VnMil7`bQ^g)#MX=7e`>WLoU*mUkFOyri9UpP}P*K{hTZ zrdB1>KyEuCGA97Z<30(8Cws&&0CN_S05`67KRJpw2EPV(l9(sXFcao5J!{uLv*F(= z={Zvy^ysq)zpjO9Enm@4>G6Piy(C7a=EIVpV%1t<_GE`;1V61#LTsJ!7G|`T!6u;) zS7V<=DHk(`&j1{T%sZ^xcMR*jyYkbYTC=_!1+TS}?9!zHI z-wvu7gjo1BRS@AZw4IAB>Efgfv#RRwxzp{BmLNtLoY6&=r_3kq({6E0;cF@IL*=`F zaEAGV*yv-LNbnvp|wM!F(B%-hlmFObSTs#0+vj6{n+{sOrHLmiXy>gg_7<#BqB=>}8TN zJS&b=Xr2MTxz$1A)x0({J}oZwaEs@$h_Ne21t7B_CLT2X&2Wzg{fJ%Xw{Azgd~$}n zwcmI!O?*nWl$jTbxrg})`ms=-wr@ISFj^dw9j|3fpZ~zgH-FDyAb#RS zCX@!3L||fQWjYp-pxUGzp6Gb?KHTvXDk=Do#(?LJ*#bHC*7ZDYTF{vbn7EEVPv2&v zh(v$ZG}|jQ6Um^@agzlLqHek0Icc!2mQ}IdHG#-0PEJ5f>(1$R^LeJin(@WOgtOEW z@~O=!=&FSj)=6FRZILH6d-YY(GI~`w_Ib~Z=g2q@4`fl?yM09cmniZyIn$PY@z{9Q zz3S;xQ&Z6f9Ma(I_!l8Y>oyGWxEESEf?g|;w&Oy-D0H?urx_77D3ou#kI>S9kt%(uWA_`rgA zQw|>->TjbP92a0v&7Zc9LsL~|C5`&S2XUZyX1^MCZA?}1q!LZF) zuCLPew*xWIk{Ra+S1xT^e{IE;9Y)1unabksYxC{Lg?wSZA@Tu?Q9qn*An{DaTl9i! zQ%1gAOGLWP6*ey6obYjL7FNRyA__udb#G&PLISK@!D^?9xguFQOZU8?L9&Nn$mF5+ zo!l<*N*KQO%_1GeUhDh+m_{IQI=p>5bVY4?$n%vkZlTHv$(kC1XVMTTGZg>q&*TVY zsZyLnPP{$DSL*Rc95nOe<#R(Y3O}<}n^o4juFd7h(OUm!FB6<+az13p_Sl@dbs~cc zDOhHoKKS|uFk#{Ze;m2|HFbKt8($bta6m$`F?L=0`Gb5qSl!L@c|}H^mzIq(2AwX3 zO(rikSw=iK>&gl>vvmtx+WwE<$#Ls9KzzJrLRlzxsvcLD*{`)*txs2cts=@&$}fMUuw+Ice{Q}YI_ixYddFS@o%l7}(Pq0nR8!lUJ< z6|dMaMLu>XxjnulgW^z7Eg?eg%MU|UYco@ z5zJkgiyZqQ2;?U)k4?2;gSk)NzVO=}=Iz zVE0m-^FTKc;7&S(ouO|&Y3zLD_pNMXJ4fK{x0#?L-Pzv5-Qt_(u?*I29__wwgU@)- z9nua~9apjC7xch;wNbD`78@n5;v5tX#~L2HSWgzyOVj#r&)0?}5&WzDrDIY9LbqTz zZCZ9zOk(eCfQlIxoVc2y?b2PU+h5nl_tuYGw({HARV-8qZy8h*8td$rdr0<`hgR`{ zGfQpeef8m0$?H8D(Zih$4FKulcONe<-NaKdhv#~>emR^g zwL&KQ4T+#~xTGIE)UlIRt%ucE7L3TP>Op1!^90Q&o&m1u?gL3Do6b38S62uOrUq-0 z!d>AW;o?`VuEWyclOxibF{SG7IKjE z!qp-iMo)}~5aE4Ks&4D1FUx*kUuy?biwDz|p+6=Q^>G6+RUGm@f_p=uv`!1FMwCcU zqyF$B?`niA`g_y^yMrXi>RoOd&1`arGbENurX-wJnhyA>&zMW$dm5`safC*=pdL?y z&XKJ8D0QxXvzRG1RGpbS;hySZ^W)vz+r{#xIk=VhypnBpFSa&Rn%O4RZQ_5feEZ;u zYOT4AE|(YS5|gf~+v3t>9x!H~v^jIG_5!na-50dym2_k7hYUwau#}VQy-F>PDO$Go z*KcPtGp?^N+po_yAbJuyX$3u>G(GOfP$7L`hkhbImLl&ENNCCYP(Z(izpzKX(`LIj zh3D0APy>qItGj+eOTHU)y^?I%7u-Kf`T6sY9)A1;Zx5G+&q&<9mPCVy;N8(m$%f#C zIr0{0)x9pN6Fzsw21o-@JL%c}Q0^xhxr(RV7#v9{%M-hXo8^pG>^xX#BAsGouWzTZ zN^02p>MHM28A@v{l=FmyZo*#RY>OcY?Q<>?s97dNyE{ zE$6ry1HRB&|K_+bZycRicM3lkx~H zC@Z4c27{|2cp0-Fi2-gxFD~oq{It+4fXn3```W9e^9%Dnc7tCw&O0(pwg+j;n*A*; z{+r)epZM8j^^Fyc>Ki?jh3_0TfN2s|Lg)TlQ0rZ1D7Aw3zLnUw08yc(>InCLp3hut zakN4I;lbYN!ai~_0TO5k{wvzK55LIZp)hKUjf#i>5B(0xS|LdEr0z&ErkoI{q{3c5 z9M|G?MW$3eRef!6wRq^n#{?n({J(=lX<%Kzh_F8$_W^2fu&bB{9N_O8L}_@99N+!D z?qQ13P~u|mQ?zz&|N5ns9;R`7!RkJdZK=2_ zud}=Ek_Eo`4R&#Zx4pF(f7M?7a+3hiXVI|H?sY$-43GQ()&9mmq-Gg&~bbIYDB$p7DrW=7-7Ev)f(<(O?^H4v6#`6pUy|)(f;{nq3*zM}{dH9;#fZ zEn@5|r8Pwp_v*c{%HQ0Ka*yM|gmD@?H8-QVvw|^i|L?r@N4mKh7r2yKZEIVejDzc- znAK@p3no)?i5be8+`uqFw}0mxllJ4Vsi!Qd;&wNv^8k5-!EcHhfeYU&E<*^X=n0s+ zfBON0aw64Wo%d(DOKl$B*>-U0tqh9Ind5vI=9jB{rh^RrJ176N!bmEZsp4W6E2Sil z;8hM)k6?}CmQC~2GDq}xAjbIYIV|T$2sab3eFr%>{#Z?Cm!LjAt5`W}`U^ZiJoQ)gl4hGC|HgA%uzDC53a1D^)9w zce#vTr=>&erWfzqwXf5Rm;yZp$`qK&Y#lXE0}1Pl433eP*Np^>#v?o0;)4x&#^c#6 z)9fiqF@XoDKylxl`p6n7+4N~Ltd@GV{;@j!#nvuk2fxF;u-lR2IGr}y9L)T^*kA(h z-OOpdH_&FKym!4*yb{-(y)J|0+wVpbjRE<53pR|@rXN|vd(`hC-YKzcvg62Xq}4Uw zL9Ywk~cq$T&wVG~kmn2e@Y3fFIEc|Mz0X*i^(*U5!1Tr;{{Xucvc z@(bmOQ4_r;bIKIUbnYo`f~lgNfFT0&>o7_mr=$d!`q>9qB1{%sv0X4ARr(>KCH_w< z>yP`DtJ&Wp`tDFSaWV6t+d5I{TB(t_nemryOC-gPMKHD7w@&vCiDxduJ~m=(>4z|2 zjM{4pYL>uL;I6I2$fo5DxpRZNkNF7~Gs{AZORZD^>mUAd!B0P{x~PY{ORC*nBEpq| zrGMu)3Sm{iL0`}St!;8egB>;8#6waShG~_Ym0@y+T;x4hwtCHvpIdv%^Cj`8WoGya zO(%(C%Xk_E&m0!?ue+H0y+>M*`SPT>mSV8|SBau$_V`QGnP*n?tr zwbi1CwZYPNCcd@@{V)M}FxNMReAxq|Mv;%i)KXv-4bwZ?O|(#n=TiIf=Ql2811|KQz>&VK-SWYa-!X{4Z$5|tt6U2nw^qc=;gaf@QQWO zNqmy+t{dynVOk9md-epW>2$=nmg#C&qJsY0!ZmvwNJ{pw?oz6tqr-(LQ)`$h*LTn| z&BU_YXNr^J36!%)v|lQBo()oy?`H+w1g}nLFKO2xi*1eVtQ~fMPHk~L8CLB5)z-kZ z#qu;#uA8?i{fd!atEnxeF+-pdB*#<5mO}0aFh$t|pd7UtUWlIbNZ+*Y8v7O+N8VwX zwazX3mxR`VY}^4mbQvwARacq~Er8`=G!HG!7txu~W@S26v;TAkbN zJGSLt)5-=FSIm6>EcRW??q9>K{yOeZkMTV|#v{!~#ua5?v+?q$U2%epMwSQF`v;nc z+9Rf(dC4F18Z*A!z_}U2mKbG6q0YyJx2vhwQz$}Me@|jVU|vCuo+;N>$_u3tj&;BD zmy#|Ct`kk-oRzCEq!&-u4&7FzPQuWCMsEfy&h{?YlzQiM6ZrZ*>s7pu9K0XW`cWZyxjEYLopg@?NRHR*TGQaU4iEv@1M=yG9#jMbF_wpmfz zKcaBTao-)8ejfTOOwb?|zfuoWEzC~4X*QRor@~(AnH=$E$U8!q1atPb=Huh`WB_Ju zA5o&i$WK<5i9WuRadmTF9+yMBu+|xds6(#s8*e*p>yxG0CYwf`7%9COzEgpjzml|q zLB6=}BwQ1C64oCdkrJ!vu}tfabebR6zZ?chZH4A#M@e*4=ia^t{0nn^0+jF$o)AB$dx2lurxi=mo1a4IYSXT zB#ayjJb?pxD?w$uD^zvG7V7hmfk`tzMMtZe5Be%lIpzx2DM%Z z|M2uq#IV=&a%X}fH+(D2hEA8*)ruCV>bk`Q7fz?MueSR7nm~mDI6W*^J!LEqMhzyYu63Qn zVtK0)y5lL?iW)U0r=X9i^y&|4g@6oWh!(J8I5VwifNPlz@f?^n3ARk1j;JlwO~7Tj zwe@930LlruN=KVCAJ>k1%bQ?lJd zYMbYrMdzOG%f$bkYY((b;tZEm#lhR8p}V4$C;zR6*VX)*>bBGD%17Sp&OWnrm0WH!^2Y(GZOAA+KDfKF#6?ui}#1le4%;aKg zm!btyF!qY5LHZVl*dBS6!X((C%L=3JGd~B>FY5>VXPl$HZpM+h8>(o9z-$1)EewP@ zbAZ~&Q+J!pNx%9JmcW%0H9}>?3`dZW^aGj}?=>U1OW?1$Ah<<=*!JX{)r$gCtRA70#sGnW&s}Rt*r!jls}{II9NX6aI|P(R=6VFqyWR3p9@0VrjoL-`aaB6$wV;4)m!?ETheM_n8a9J%9qezAo$?;dX z1EL36T`BlT1nm81+{ZURW>I>f??r`_jbsYH-K5Z955NIhO+_ctuKR8CXr2%0vob#F z>{m*)(e;;&K6XmJoZ7}8m5r`_eBz?S$avcB&AQdBrdWled45cxeMH6HXG7Sh9##@N ztqh=l6Z6~Fr|^3o%Ix7|8P?Uzo0#t)I2vq9m=p+<{%|s)G;p{m(TE6uX9Y@zH__f0 zF_gbBfd74j4Tp*dg1PL`F9~1;_ls~vKU;@2j@Na@S{{^FRp|X9m(jA)(*DM&Xej?3joc%q%#?OLl{>;Uz)FEe8DX6S(b^7cSgfKNi1qNL|?8ojsV z1#2A|E=|$?-A#a|*RnqS15=sZaNCHbYXeLARY{MaM_xDWTI){h&lke?d8I{Vq=Tke zKQ#bGeIjklWJgNWe)3!9Hvt4&m z`yW_LT%A(v(ZQ>rGN(yKvzrG$UE*W+1`ZLnfngcF6=J5GUcwhA6VK0m`@H78nF1VS z(TG6rQT=-Bc0Kkwy`9!@(0TzISEkju#iShFC#y8;!etuYppU+F*JCfHc^7R0XG{Y(Mts>wm)K{9M#ng{-Plan=Udl}~$z1!aC zact3ws9?yHu}~qIjR%>%ZG0ibhSZom3wrTKfc!`qWksqzRxx zY`Ka}F4DL9J?vBEjwg}0RzdYBmXv4(rhx3aAw}Q-MZjUcwVxC#uSAMK!StT0K=!aH z_TZ38L-#5TQGxwRFroUU(+w*yXTo&>-l-|@o48-L`&q~?QXyp^wqZ+Xl?ISA1ALBv3KP;jO4CEz{y1!Fk4;urk6z#gViG^%V-;Yy zY{NO%Hl$~dAM=_A%*H&jx#7H-lce5(1O_cA{25z4_8qq_yd`@R42Pd?)tT2Voy5Na zMU;(nD>2C1<~oGqsUAN7o>)C87?*`}G@k0T<0q4=ZxW?xs%-}p9|Lg(b0*$bFdYhl|bk#7$!Wd(D@UlpuCZ?bCET`;)ucDJ}guM z8e&G&WHQfDanyE;RhOhtUiet;N}=n2)N#RA6$p@m>$6SE_$t9>pQhKsM8Ae9HzHdj zJx<2n9dx5HXD-cIlOrBomWGBDeopSQd4X^46(|$^$3LMK^_nf@YXCr%QiZOeQ+tq~ zpp|>lXWhjYuf^M?jL+Dsnj3^h-%J`O?->I<-&BttXjIP7}$*_Au(7ee1xz0xhv{9mF z6`wdsC|62(;r%W2#X=Z@E&$EvCefiyF%)hLrf)QV4LiU08iu(~jrJV)s*!PTPbBPh zevA9?30kqe(lFkd#4zgI7Nr%hW;4e(;fE;c<#4GhY>-j!{()l;8TQJf|dL(e;NNCMuVsL0#>9Up><&kzl}dtxf4>8L7*%c@#K$ zAek?x^zpRm`OR(b^C92gzG^e)9l*|7KrcrjOZvXKZRgRM)(xu} z9mR73$%#Xj`KQmgi+zF)R|z*Ex<&2@dG0%D)T@vpW2_gtk>5$}UUXrUBz{*R3Isks z!W9iuX@+rAiHcCPWd1-3eo3r<#CQLs;#{J>RoAo=q5MgYCG(_anltCbHhVypjAtii z$U#zl&a!*Lp;liu=xAmeX~Q|W=mf{ibfVM`dpw3Cb}P}$VlAZ&n)GR3Smt71S`+Op zmPAt{BEjE1jLN}xsizV$OQ-bbI!yVwWPiHxg#-7*gGx2fx-0+fGOC_G46zPA6JM3O z+VE8N9rwU8@67s%tB&v7O<%y+LHx&&!yHlgmqaE2-@*K6u;Zq68+dd6i;Xd$3b7$F zVX2jMN<`IpJy_yHCLqQ*c_c4(x19OU>4&x7Sb+&&-)BcMdoDbvQKggLl}1S1CB@#e zXkllS9hnG2ye^(jZ@wKHVBUW2LR4>=<{8D2!H(cy?o>B+D(ZRM_Y(=6<*R0q2@L(< z9~SM{N#;))GnPBEV3pB4%TMoX&q zT0}_+ohMq4kq;_RY5ebB0(FiH2l*nbQ9h{jQDs<^(q-jy>T&`g{PY9w*yo%SeL-s5uom+ zI6wgasWo|SNPn*08ah3D$urvJ=kEYY)I16uZ;?Iyx&U=;C++RSuf!$Idd*!A2Rf@xeqdTKeKjFj_#+?xboU6t~aBd68=k2r|;mZ+Pm2)2rT>JG}CQha9l)OS`#6c*{>~? zv=ky?{WQInPj)!e*5@l>h7^l0XL4|`h>HO*=662bkqf=qT@a52?ZMj%y+Arm=;sXD zWSI+Bz=XNUbb=7cE$b9Uigs6~&ono$XVVs6a)Q?Kigr-mSq~DG3bFIFCWlsrkVm2~ zbClv!;}x98i`Y>{6Ga zCmRqFp9)z7VJPck|AK<+IAP168j1Mh#s$xoynUm%`Ns{m{xa0f5Tl{$S+wvNMxhps zQKwKv^6eX^F6)IbY^->3-=(RJ-lgP*%_B`Uc0NX~*+y?WUl-YQ+o1v>Bm27PtI01Z z8!3hH9CbrVw%dV?zKtwssp2+vf$6Cc)qT$N>o6*9VZHir-}PfK{>yn09ZxkKsxt(C z4@6_R!F%nbk1&!WcH)M{s3T8+pNQ=A4W8`U4|15;SdmuH8(%Qs&HknA4pw}$$$4Ep zNcYJQEiVcl1aoL{Wq_rISvfgWQ5_K1S`5zjWKq$dXra_+fL>GSzMyND7}T)PsA!!p z%HC{TZgazj8<^SVza|N88FHqRrDvu55CL)f{K4g9{wJFSNa*;;cJFYSG5skFv8#&% zR6dPdocyS_Wk3^syS)%H_zB|5*?QLJ!M8ehg%(nWdzmG7?5y~)eCm_>i~H3umSxeI z0qfL7^)Oc!anuma=9=gq@k!r}l`^^fs@V5bm;^4WW(a=gvf+M&3(i%<0@eFDen0G?(6;ZF@x` zfEgp1`_cun3L@nhwlp{HbZVbUxLwtUyFWq#4pVn3J$|4xM(%V4ObePm#tST{-&ReZ zXUzMDI9x2ZCyYcT{BV)|yV#jx6lb{?O1fvBIIRidh0D5Fz+hpU47=mQL~&2-{8&m` zxMEB2WGx{TL(<(bcIw@Ce-}t>m|VV^+t>vyOTmKFl{p9#J!DBv|BJ8&k6z4MhdVWe zJJ8Q==>SG}o(9uOT1XeZYjL{-=|K{hK zCqoI_m8dXQMG4DweW!uZC@_pi!AFaV(um@se23+|X#C+ol#~;Gp?Ray*T}66s=@wH zn5m)5P+%dpwiBa^!nlnoi1>`3LB@{@ZVHcp=(ZpQ!y{FAj84wgAq?>3p;b@Jf9oTCgWq9u?G4}dbuatX;)p2ho`D4Oosh! zU(?B=%p}gQm72yA{XX3HOo;c-(p(&UJ`J4$0u&BdbgE_t7cBUXRxg90uC1 zZ!B7aOw%`s>x#FT!%NYoxi!BwLo_;zr%FzIxKlPMaHnnfZQG;JfC#N2z)%lW_p|HQ ztZ63=lM2B=yfwXWzr2qtGHNcCHfbcy9#|2VK3X1?ySOslfH!2@WY@!t78qNn>-$E| zrl`&tJw-V!qIa9g)G=5iv8SMAIz@$4Za423c!0_SSFDG3irL?3&^oh$IhLxWE&H6p zo;7T}&=tkUR`fNx^1FVoM-5<&EWTee-F83#J{0Dk1`=(Occ))Iqig&E-1BGpUPO6& z$3Z(-y0CTd?jiK%jK z@UY&;DyJz7+x->5zEEKwJPNb*cq{nWG>=FJ*((y z-(W&fb}wrEV|hS8(DHUF0fWJR5b;9V zW198bAO4vnvFGZW{x?fk)V7|SloKK>iq-|wnj)+(pRbeW2mpe!=Q|$GQ|hqP-KUqh zl!6#C;(b$m{(wpM?}XOeH)--W_K2MRTIUy`PIv_DZh`I^8B8K6I8`;o@DZ`q1FtG> z!HjKLEzrvNE0TzF!G$GB|^w1YT|Odj^v0$x|hesz)yf$6>rEi%j zCl-Ik0I*h92BqtxX@0WQ+1d4GD~=q=;xckkH_7(#T5#Wp-qrn(_oYZzX63G03Y5JI zcMT`!;+PdwakfZaL?+-zOJ<7vGJUDQxeqPGf@NX6b$U_ygdfTbGd|frbF<21dHuTQ zCW|DtOuoMd|1qxA_7=^vNXQOFFTfj6QundI#{N5K@dn%CP`%kO z855=*#oEc-U3!sF#%K4PWemGpZ2(R=n$F!^!ufSOJ%q;d!yoFM3M1(iRNiN=Aj`tv z?mh<}iwV*?m(5>$ZMPszeS)eSi-VS<2F=Dm&$=d(uzJ%=ZXCad8biaMxQXM0 z8Flc`6Irml?p-U9fBTda0n=8szlu;{&6l8ps1Mq!V<+9m0+g1UE+O`;0@r_ycO z7Vc~RCcc|xoaD~Ze!OhW=ge}+N{W9xzqk$KE6{Bhh>R}HFV!F ziFl^{C$A>W*}&#_67<{7>~5j=u(AuviLg4;V&64FoZY3Q+Ox~TztP$a zrX=uCTVl~sR`D+j+UQq7d^khNkN@oNu{l3yNeFQvq5Qk->jI<6NQS>}4HQdH`P80H{n?*EWRkkjg1426?saq3|9o!@{tjrU$fg+OoqftvYY zzJMMEH5@s;V~|V${g}~2Sy$s9DSH<$7vk_A0=y%o{BnZ4@>s9qT@NfBdA*~9pOgqL zi;RrG)M92Ww;)FCge@FF+e2#;TSYoA#L)#<8cK%e8yV;V1w1ubYYx{<4YRyrLhI;^ zjOM$qFn$^LKJJ<(u-+f$_^wFgy&PM<0Z-L{Ib|*~2-hNdC+3mthy>I^&LzHId z-7?Ce=r+pfatW?LNKLDbc%f&AXm>!)I6R?k8b;CrL*i3;#OQ1izvn6WkA#tuB+$ur zOYY#MXJtj|q)o|Qv~O1Xtm$JN!27FWevN-z#T(t-M^0CX5sDjI*y{f~>qBiX+JLSb zAuR=(5BxjFJOK}Mp4wfObc?Sr)TRPnCA$m<<)6mpl^iFV7aOGqX^mT5`eBh(J$EB% z7RpweZt*qD^pA?PVAj}5L!-f0k&C_CKtp}{_RS-Ba!>pJ3?gAUYAs@y)p)88E{YkI zj7y$TM5#OQy5Ph=l-Q@D0mX!=@AvO9ed4hdW3LO9dP*|y&%t@8uV}+BQ zRp8Ek@_ua8HS7+KBE=J81gNI>E8_uF`!spFgd$alb~3VlUyQN53#vUXxgWfd`t%e4Iov@c>$Ej zCI+b??^}d+trU*A+S4|+6>lqB?4{rC;ggnCP1{a6l^Wm$IvCS{OeSYkX>l2;-prNpDuPQ1OcFZ;h7j4xn z_WgEmwQ;r(2%Op2eo9>;z3ky*H4I!8kfq6$)z)p^@DYAb=RZ%MpAmw$lvr-{U+ z_??Gf0XRHx4+D^|?u4*-L_{x2)=siMp+zp4BuuKyk9EjM^F|Y4@h|z=C!@h-X-~pEsjG==4R+KcTY8BFgiU{`m8tGBG#IPM zDLUqp9yE~*NXy(5Zr9(hZ{2o>$dpFeuH4i=Yb3cNB$f|~xXE&U{u?#9`H_>636{!R zs>M=QckPSkxEb%qgBA7s3t2#!LG972&X9p%fYjH|B`hXT&Gn}3t>|8m(c*75L7;0& zOJaEOg|1gH<-$2>aJ(5rVk5G+9<9MApROm=N>|Z)0Bm()SnNax-?nSwMy>iR1K{dU zGHk@|&d2E`v;TDYb9t(yu+ZA3&xPkkL4WYge_;y(Ud4p;>TfzlfC=>LJp&Q8+v*CV zO=|Mz(i1p|TMT%q_{3wDCCy5n#6pVL(!`eBAEM21V_?N7|H^$uj`lxD{9h*de~|d! zbN1h1P6eP~h1{*z88y$50+rX1qxz!!VLuy&?B(`DW`%#XkWLdrz}Lde)^?V%z3SBw z4lb+PZ8zEB?g%CvJ-n&DW+SvIUd_}k*>)>F>~i=Y#nDfUYtDb(Ela}iaeuznGOX(j zn}bH+$tSTb4rDbY?m`T!Gj65uKW(VUy~as0?e2M8v_e7NzUvDo$v|R$l*mpaN>$JL zXJJ<9TSrK=H`Yz%yfnj&ihL(%7gq4!FtJ4a1YFj8Z4NzSPW1b-pSEkkwNC~lW`6ER zcC^0*VkkdcbMU@%P^5{kFZJZ+*1aQ(0c}*xr-|wJYumFM$0}je?U35gE52aI1+dUc z(&y#PaUxRl5PY6821wG+f`7G0Lq-W?$QeXRGa&8v z5j1YyuJWesaP;e8B#6H89k;A(pT~Esi3ql&1lCz{hXn0OXEfwgW5e&r6gO#4fXRN>G2L8C#taE z%ku4gf|X*&3kA;4P(5jq+2By{9Tq-ynnw4$KxHr2dGfK2BW?4K7gWWz&+bvAqxVkM zQ*kZ5{h>Q@x+NOtKdN_xS#7FvHnwvwz4K=aP!094t`}aA4Hu0larug&TZc1i=~T4h zQjH#SA#X)?AxmhuZ106v?6W2;U|(`%*m&9`O?ERnvoD;54WA#E=m)uXkYYxxp78buCdq`vQRtSESJPw+in%7ga$RoFgFT8BQzo2 zA&Coz$LRgo&M6}-Y+p%Zzt{AQuKt=PsEZr5W;8sB^IeX>KOwta&oGpw0o&cG1H{Z8 zE3vJ+AMDA1vbfISuJVY3FiK`>LHk739#V}crIT$Fp?AA~vN+|=breSFGSC~gY10J?Ys8ykn75*Eh75@R=*1*=5NaPq@N2emjg_)WfGm>R`5;lc2ku9J4C&jWU*q<) zD&Z^pFlq!VVoHvf`mD3&`6(bMl{nyCdd<+%FpAPryXj>!6<^fp57cYl0r_~c%|7I( zfFP`P6q|pb>^A>=F7Uuc^)*go9t>5B6m28T7*e1GiPQLIdJPXcvU8^oRhR;3b=cU7 zA@u#?I5NF4KQ^bks;i5vQ;*+}eKk#C06_HkFfjvV$d}Q?EB{cljk=b9Y;#N!d2QVM`A^`}cVji=rz=>zPTh+ybN|HZAj`7ze-(0_(Qs~SIEa>n zqqiX#y^Vv2HVMXPqZ1LL6O0N9HpZ}&V_{ZiN;ptR87vu$< z_Xa@Ga$;0t3*WIIv7^7PTwqygiTm!>&^a^R9WKnt{OF9`m5bFD-RO?S_l!JbxfqZ% z-_yJAkVxdSU7cMqidNucAv(dZ*O@@}tG}&6XI~Wl+H5BiZ&B(-)~a~I_MG(Ek)=Ty*>Um;a#q{|d+in=kLo z*N-lxY8jcjcV|b3YoZ6|Qm_JEy^WZaZqiRglZDXL_5! zHgmE^Z1-MFR(xBZc1#q+H0-n~Fs$YCX~PaH>>fo(%a0vz6Eyqru`4giTVwLIKe6xo z5^^m#UC)ocWyzlke7pZgN!osn%8io)E6npD--yAyY?tfAHjivBZ&mM%jBmGMnw}kMisI%roJHr z@-H)mZ?De1_kf2Eh!39a1?aP@sJ{s)+ucR4>hr~vsWBKgHF16gHh7lyq~L}$cgwOZJ#WTOs5(3; zQ=9kf=QO`lo0R2cF@D8|0pIIP<+Dgt#A|Y7mHAf6eJI2BmN|T}mN5#ZxQ@aHgZ=XD z^aN8!wD2oHtJv`*+gH%mba(HFPCxUlDK%8obDdY0`7?&E8+G~A9H-5*EGXVsspi*+ zPvkgU`^f;PxIX0MaUK^g>-zbZi*DLo88fSnLhOWSvsRu~hGT#*(`2DS$|_!|Fv@YH zcZfje*NM~L9I7%x(w&nKQWwNf9-w6 zvesbnnX^aJ&0xEO98y73qXGI?q@?=e!UIX?H9l9UaNt^-CAFM*L;_thBTq2*&3?N) z9>PMCcnuCUk)pY#)q`eJNnR(+tLO7kVrJ5KT02$|>IKE@elEL6Jk+4(VPL=hgFc*{e=X=WW<`2Ec&s&Z0 z-H4Eq+?I~PZ)LKV$r9KLBYb&4ufvzX%gDhX4K-vyXA|oC%cLN6`x!;8BlpU4eton^ zT7>K5u|u_C9|tQ7`;&du_9lFsyF^FxJ45(lsekBnZcvy7(C4W?7}5pUlq>i?IyX~_ zzk42T;-8kBb3B?q6en@*a+nzq3&4GKFs+6SvJ??i6BP{t-})x7H`)4HO@~DxcR9^% zM!$+|O&W~B@InXdg)Hd@SyNd?I1-giVS*g^LkoE7L|&KY0lEj5gM^=b(f|}8_HnB| z5~MRiCo7uo_#^R7<$c&52YlI+r>V8CC5YH5PC+6g-4A3r4J1T9%UA9%oMF994MgGD zn**_!Ql>wM6JHB0Vyk`bud`iw4_b^steXfQLnZ~=RCf>LT_D##|Yu?_Zs*FDw*60v7nuYg@=^SHU^t~j^ry9$d z9a+hrCgQIx#~I`#B|`0FDH#z3>kap&zNeh`nor zfOh7jWZN!TN5iy`BeiO*iEbG19Y9Jf_*TuUpn!d#RJBYs$)AUA(OINK-%dcc(B z9Cg!)x#0=wx~FE!fj?sYK(ZC$YpHQ{nc8NSx;GIz=eD#`vo>83QlknPHUg^Ws5eDl zV7~sDEo`O(nw*A)CQJ$znAsR)vtm^PMA_PrZy3M?_ju^VL&V213Nt}^-9vYyj~`Xh zX|-`b)2ZR1;iIxzvLx+BfIbgVnK}XINB_m1S8R^of{Ba0JDnz3MzQl`$&nxr<}xQE z83<6mI26=LJv;)SK(~Eej;Um`6RVN^h{jV-y_M8yyqvK{s;B{j)6+2P_=ak$%x&)U zXL1!&R03~k%qTX=flPy(W7#^Qa^2(>WiB^ee$YPXcVw(AZ^rI00SjtElm@82#(#cJ z>=w%T4w26SGC9~{GIE;=K1u3Z~t1^gmt7YoGb zBnChsf}RQvSJtlSv(~Fu~MSe0YBU(d9$a`E6S@^uDVXi)8wqbD;RxaYo4_ zYngNmUvrYBE3hE)%<#wK^Z_Ae;bg=z0uhHd8~Av26vat82CPXlBeZr|Gwd(>R(Y34 z9P{<_t^E09*Q%U*!`Gev{?5VKe=*TxOr1ouWJgs2TH)xz2|!Stc8XIZRHUM`}u zz*BJ9<%u6W?(Ne1bPx5z;PBAnHfiql zQtj!O`!_$o0Y%(Xd=L*F@p~7!EBi^=S2(N7mp@$TH3#sDIT?HcJhI^MGyrQvsPH)h41QuT#Lb@Mz-EchFrQ0Tc-*+I} zb{XaHV9k;drHmXrfK}%nf1A)5Y5}(YIWSRW1j|R>z1p+DXh>p|8q}M{peLeL*s_4- z_lD*3KxbkG6dICq@4-v9^b&g+m!LH&_8DtNZ~95=ex;ciTJQP>AxuME>56!^bWHa- zpYeev_q?3BRimfU#*kIlZ5Te>DJ{jUifij&S5G8n5)fJM^4kix0-_a3?6%@!UF| zOr`BO+Oh7AOJ<}Wux?-M?VsoHc_ASw=}3&CGnTIGxH#E~`|CKG0J`Z7_>{4F6JYgsB8?JgIgW zQ2wUc=(V%3mm!jtUJH3hE6p1s?yYzDdGXH{cG%%A{lGXlIMQry|qi$4Y?&4WTs{Dr7j#s(;()qFsytB$fi%BxKGRT#PH8EAI% zVfHdzGiiF`-q;o*m5C+k6R-9Qn1-+&&irnWWKgVSj~d@_l(!(|FZ$DYrTZ@vx&EI; f8>+SRoFe?;XZkA-x_^;u6))*(8baSf>|_1~JPb#F literal 0 HcmV?d00001 From 4fb9694aae883a44cb5d9f560e5d746f8c4ea501 Mon Sep 17 00:00:00 2001 From: kyhn7 <50511514+kyhn7@users.noreply.github.com> Date: Mon, 13 May 2019 19:51:07 +0800 Subject: [PATCH 7/7] Update 5g-aka-modelling.md --- 5g-aka-modelling.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/5g-aka-modelling.md b/5g-aka-modelling.md index ae556f9..1491c74 100644 --- a/5g-aka-modelling.md +++ b/5g-aka-modelling.md @@ -146,9 +146,9 @@ rule secureChannel_compromised_out: The whole process will be shown below: -![](C:\Users\asus\Desktop\IoT\IoT\img\5gaka-process1.png) +![](https://github.com/kyhn7/IoT/blob/master/img/5gaka-process1.png) -![](C:\Users\asus\Desktop\IoT\IoT\img\5g-aka-process2.jpg) +![](https://github.com/kyhn7/IoT/blob/master/img/5g-aka-process2.jpg) Because the whole process is complicated, we only take a part of the process(Figure 2) as example