From 3ad99735ba351bac0be1241c738d09226e76a477 Mon Sep 17 00:00:00 2001 From: Kamil Patryk Kozakowski Date: Sat, 5 Jul 2025 21:25:53 +0200 Subject: [PATCH] initial --- .gitattributes | 3 + .gitignore | 37 +++ README.md | 18 ++ build.gradle | 45 +++ gradle/wrapper/gradle-wrapper.jar | Bin 0 -> 43764 bytes gradle/wrapper/gradle-wrapper.properties | 7 + gradlew | 251 ++++++++++++++++ gradlew.bat | 94 ++++++ settings.gradle | 1 + .../StatemachinedemoApplication.java | 274 ++++++++++++++++++ src/main/resources/application.properties | 1 + .../StatemachinedemoApplicationTests.java | 13 + stateMachine.scxml | 1 + statemachine.dot | 14 + statemachine.png | Bin 0 -> 35991 bytes statemachine.uml.dot | 11 + statemachine.uml.png | Bin 0 -> 20544 bytes 17 files changed, 770 insertions(+) create mode 100644 .gitattributes create mode 100644 .gitignore create mode 100644 README.md create mode 100644 build.gradle create mode 100644 gradle/wrapper/gradle-wrapper.jar create mode 100644 gradle/wrapper/gradle-wrapper.properties create mode 100755 gradlew create mode 100644 gradlew.bat create mode 100644 settings.gradle create mode 100644 src/main/java/com/example/statemachinedemo/StatemachinedemoApplication.java create mode 100644 src/main/resources/application.properties create mode 100644 src/test/java/com/example/statemachinedemo/StatemachinedemoApplicationTests.java create mode 100644 stateMachine.scxml create mode 100644 statemachine.dot create mode 100644 statemachine.png create mode 100644 statemachine.uml.dot create mode 100644 statemachine.uml.png diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..8af972c --- /dev/null +++ b/.gitattributes @@ -0,0 +1,3 @@ +/gradlew text eol=lf +*.bat text eol=crlf +*.jar binary diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c2065bc --- /dev/null +++ b/.gitignore @@ -0,0 +1,37 @@ +HELP.md +.gradle +build/ +!gradle/wrapper/gradle-wrapper.jar +!**/src/main/**/build/ +!**/src/test/**/build/ + +### STS ### +.apt_generated +.classpath +.factorypath +.project +.settings +.springBeans +.sts4-cache +bin/ +!**/src/main/**/bin/ +!**/src/test/**/bin/ + +### IntelliJ IDEA ### +.idea +*.iws +*.iml +*.ipr +out/ +!**/src/main/**/out/ +!**/src/test/**/out/ + +### NetBeans ### +/nbproject/private/ +/nbbuild/ +/dist/ +/nbdist/ +/.nb-gradle/ + +### VS Code ### +.vscode/ diff --git a/README.md b/README.md new file mode 100644 index 0000000..2b6820c --- /dev/null +++ b/README.md @@ -0,0 +1,18 @@ + +```shell +brew install graphviz +``` + +```shell +dot -Tpng statemachine.dot -o statemachine.png +``` + + +```shell +brew install plantuml +``` +```shell +plantuml statemachine.uml.dot +``` + +plantuml statemachine.scxml \ No newline at end of file diff --git a/build.gradle b/build.gradle new file mode 100644 index 0000000..c3207f2 --- /dev/null +++ b/build.gradle @@ -0,0 +1,45 @@ +plugins { + id 'java' + id 'org.springframework.boot' version '3.5.3' + id 'io.spring.dependency-management' version '1.1.7' +} + +group = 'com.example' +version = '0.0.1-SNAPSHOT' + +java { + toolchain { + languageVersion = JavaLanguageVersion.of(21) + } +} + +configurations { + compileOnly { + extendsFrom annotationProcessor + } +} + +repositories { + mavenCentral() +} + +dependencies { + implementation 'org.springframework.boot:spring-boot-starter' + implementation 'org.springframework.statemachine:spring-statemachine-starter:3.2.0' + + // uml model parsing +// implementation 'org.springframework.statemachine:spring-statemachine-uml:3.2.0' + + // deps for SCXMLWriter +// implementation "org.apache.commons:scxml4j:1.0.0" + + + compileOnly 'org.projectlombok:lombok' + annotationProcessor 'org.projectlombok:lombok' + testImplementation 'org.springframework.boot:spring-boot-starter-test' + testRuntimeOnly 'org.junit.platform:junit-platform-launcher' +} + +tasks.named('test') { + useJUnitPlatform() +} diff --git a/gradle/wrapper/gradle-wrapper.jar b/gradle/wrapper/gradle-wrapper.jar new file mode 100644 index 0000000000000000000000000000000000000000..1b33c55baabb587c669f562ae36f953de2481846 GIT binary patch literal 43764 zcma&OWmKeVvL#I6?i3D%6z=Zs?ofE*?rw#G$eqJB ziT4y8-Y@s9rkH0Tz>ll(^xkcTl)CY?rS&9VNd66Yc)g^6)JcWaY(5$5gt z8gr3SBXUTN;~cBgz&})qX%#!Fxom2Yau_`&8)+6aSN7YY+pS410rRUU*>J}qL0TnJ zRxt*7QeUqTh8j)Q&iavh<}L+$Jqz))<`IfKussVk%%Ah-Ti?Eo0hQH!rK%K=#EAw0 zwq@@~XNUXRnv8$;zv<6rCRJ6fPD^hfrh;0K?n z=p!u^3xOgWZ%f3+?+>H)9+w^$Tn1e;?UpVMJb!!;f)`6f&4|8mr+g)^@x>_rvnL0< zvD0Hu_N>$(Li7|Jgu0mRh&MV+<}`~Wi*+avM01E)Jtg=)-vViQKax!GeDc!xv$^mL z{#OVBA$U{(Zr8~Xm|cP@odkHC*1R8z6hcLY#N@3E-A8XEvpt066+3t9L_6Zg6j@9Q zj$$%~yO-OS6PUVrM2s)(T4#6=JpI_@Uz+!6=GdyVU?`!F=d;8#ZB@(5g7$A0(`eqY z8_i@3w$0*es5mrSjhW*qzrl!_LQWs4?VfLmo1Sd@Ztt53+etwzAT^8ow_*7Jp`Y|l z*UgSEwvxq+FYO!O*aLf-PinZYne7Ib6ny3u>MjQz=((r3NTEeU4=-i0LBq3H-VJH< z^>1RE3_JwrclUn9vb7HcGUaFRA0QHcnE;6)hnkp%lY1UII#WPAv?-;c?YH}LWB8Nl z{sx-@Z;QxWh9fX8SxLZk8;kMFlGD3Jc^QZVL4nO)1I$zQwvwM&_!kW+LMf&lApv#< zur|EyC|U@5OQuph$TC_ZU`{!vJp`13e9alaR0Dbn5ikLFH7>eIz4QbV|C=%7)F=qo z_>M&5N)d)7G(A%c>}UCrW!Ql_6_A{?R7&CL`;!KOb3 z8Z=$YkV-IF;c7zs{3-WDEFJzuakFbd*4LWd<_kBE8~BFcv}js_2OowRNzWCtCQ6&k z{&~Me92$m*@e0ANcWKuz)?YjB*VoSTx??-3Cc0l2U!X^;Bv@m87eKHukAljrD54R+ zE;@_w4NPe1>3`i5Qy*3^E9x#VB6?}v=~qIprrrd5|DFkg;v5ixo0IsBmik8=Y;zv2 z%Bcf%NE$a44bk^`i4VwDLTbX=q@j9;JWT9JncQ!+Y%2&HHk@1~*L8-{ZpY?(-a9J-1~<1ltr9i~D9`P{XTIFWA6IG8c4;6bFw*lzU-{+?b&%OcIoCiw00n>A1ra zFPE$y@>ebbZlf(sN_iWBzQKDV zmmaLX#zK!@ZdvCANfwV}9@2O&w)!5gSgQzHdk2Q`jG6KD7S+1R5&F)j6QTD^=hq&7 zHUW+r^da^%V(h(wonR(j?BOiC!;y=%nJvz?*aW&5E87qq;2z`EI(f zBJNNSMFF9U{sR-af5{IY&AtoGcoG)Iq-S^v{7+t0>7N(KRoPj;+2N5;9o_nxIGjJ@ z7bYQK)bX)vEhy~VL%N6g^NE@D5VtV+Q8U2%{ji_=6+i^G%xeskEhH>Sqr194PJ$fB zu1y^){?9Vkg(FY2h)3ZHrw0Z<@;(gd_dtF#6y_;Iwi{yX$?asr?0N0_B*CifEi7<6 zq`?OdQjCYbhVcg+7MSgIM|pJRu~`g?g3x?Tl+V}#$It`iD1j+!x+!;wS0+2e>#g?Z z*EA^k7W{jO1r^K~cD#5pamp+o@8&yw6;%b|uiT?{Wa=4+9<}aXWUuL#ZwN1a;lQod zW{pxWCYGXdEq9qAmvAB904}?97=re$>!I%wxPV#|f#@A*Y=qa%zHlDv^yWbR03%V0 zprLP+b(#fBqxI%FiF*-n8HtH6$8f(P6!H3V^ysgd8de-N(@|K!A< z^qP}jp(RaM9kQ(^K(U8O84?D)aU(g?1S8iWwe)gqpHCaFlJxb*ilr{KTnu4_@5{K- z)n=CCeCrPHO0WHz)dDtkbZfUfVBd?53}K>C5*-wC4hpDN8cGk3lu-ypq+EYpb_2H; z%vP4@&+c2p;thaTs$dc^1CDGlPG@A;yGR5@$UEqk6p58qpw#7lc<+W(WR;(vr(D>W z#(K$vE#uBkT=*q&uaZwzz=P5mjiee6>!lV?c}QIX%ZdkO1dHg>Fa#xcGT6~}1*2m9 zkc7l3ItD6Ie~o_aFjI$Ri=C!8uF4!Ky7iG9QTrxVbsQroi|r)SAon#*B*{}TB-?=@ z8~jJs;_R2iDd!$+n$%X6FO&PYS{YhDAS+U2o4su9x~1+U3z7YN5o0qUK&|g^klZ6X zj_vrM5SUTnz5`*}Hyts9ADwLu#x_L=nv$Z0`HqN`Zo=V>OQI)fh01n~*a%01%cx%0 z4LTFVjmW+ipVQv5rYcn3;d2o4qunWUY!p+?s~X~(ost@WR@r@EuDOSs8*MT4fiP>! zkfo^!PWJJ1MHgKS2D_hc?Bs?isSDO61>ebl$U*9*QY(b=i&rp3@3GV@z>KzcZOxip z^dzA~44;R~cnhWz7s$$v?_8y-k!DZys}Q?4IkSyR!)C0j$(Gm|t#e3|QAOFaV2}36 z?dPNY;@I=FaCwylc_;~kXlZsk$_eLkNb~TIl8QQ`mmH&$*zwwR8zHU*sId)rxHu*K z;yZWa8UmCwju%aSNLwD5fBl^b0Ux1%q8YR*uG`53Mi<`5uA^Dc6Ync)J3N7;zQ*75)hf%a@{$H+%S?SGT)ks60)?6j$ zspl|4Ad6@%-r1t*$tT(en!gIXTUDcsj?28ZEzz)dH)SV3bZ+pjMaW0oc~rOPZP@g! zb9E+ndeVO_Ib9c_>{)`01^`ZS198 z)(t=+{Azi11$eu%aU7jbwuQrO`vLOixuh~%4z@mKr_Oc;F%Uq01fA)^W&y+g16e?rkLhTxV!EqC%2}sx_1u7IBq|}Be&7WI z4I<;1-9tJsI&pQIhj>FPkQV9{(m!wYYV@i5h?A0#BN2wqlEwNDIq06|^2oYVa7<~h zI_OLan0Do*4R5P=a3H9`s5*>xU}_PSztg`+2mv)|3nIy=5#Z$%+@tZnr> zLcTI!Mxa`PY7%{;KW~!=;*t)R_sl<^b>eNO@w#fEt(tPMg_jpJpW$q_DoUlkY|uo> z0-1{ouA#;t%spf*7VjkK&$QrvwUERKt^Sdo)5@?qAP)>}Y!h4(JQ!7{wIdkA+|)bv z&8hBwoX4v|+fie}iTslaBX^i*TjwO}f{V)8*!dMmRPi%XAWc8<_IqK1jUsApk)+~R zNFTCD-h>M5Y{qTQ&0#j@I@tmXGj%rzhTW5%Bkh&sSc=$Fv;M@1y!zvYG5P2(2|(&W zlcbR1{--rJ&s!rB{G-sX5^PaM@3EqWVz_y9cwLR9xMig&9gq(voeI)W&{d6j1jh&< zARXi&APWE1FQWh7eoZjuP z;vdgX>zep^{{2%hem;e*gDJhK1Hj12nBLIJoL<=0+8SVEBx7!4Ea+hBY;A1gBwvY<)tj~T=H`^?3>zeWWm|LAwo*S4Z%bDVUe z6r)CH1H!(>OH#MXFJ2V(U(qxD{4Px2`8qfFLG+=a;B^~Te_Z!r3RO%Oc#ZAHKQxV5 zRYXxZ9T2A%NVJIu5Pu7!Mj>t%YDO$T@M=RR(~mi%sv(YXVl`yMLD;+WZ{vG9(@P#e zMo}ZiK^7^h6TV%cG+;jhJ0s>h&VERs=tuZz^Tlu~%d{ZHtq6hX$V9h)Bw|jVCMudd zwZ5l7In8NT)qEPGF$VSKg&fb0%R2RnUnqa){)V(X(s0U zkCdVZe6wy{+_WhZh3qLp245Y2RR$@g-!9PjJ&4~0cFSHMUn=>dapv)hy}|y91ZWTV zCh=z*!S3_?`$&-eZ6xIXUq8RGl9oK0BJw*TdU6A`LJqX9eS3X@F)g$jLkBWFscPhR zpCv8#KeAc^y>>Y$k^=r|K(DTC}T$0#jQBOwB#@`P6~*IuW_8JxCG}J4va{ zsZzt}tt+cv7=l&CEuVtjD6G2~_Meh%p4RGuY?hSt?(sreO_F}8r7Kp$qQdvCdZnDQ zxzc*qchE*E2=WK)^oRNa>Ttj`fpvF-JZ5tu5>X1xw)J@1!IqWjq)ESBG?J|ez`-Tc zi5a}GZx|w-h%5lNDE_3ho0hEXMoaofo#Z;$8|2;EDF&*L+e$u}K=u?pb;dv$SXeQM zD-~7P0i_`Wk$#YP$=hw3UVU+=^@Kuy$>6?~gIXx636jh{PHly_a2xNYe1l60`|y!7 z(u%;ILuW0DDJ)2%y`Zc~hOALnj1~txJtcdD#o4BCT68+8gZe`=^te6H_egxY#nZH&P*)hgYaoJ^qtmpeea`35Fw)cy!w@c#v6E29co8&D9CTCl%^GV|X;SpneSXzV~LXyRn-@K0Df z{tK-nDWA!q38M1~`xUIt_(MO^R(yNY#9@es9RQbY@Ia*xHhD&=k^T+ zJi@j2I|WcgW=PuAc>hs`(&CvgjL2a9Rx zCbZyUpi8NWUOi@S%t+Su4|r&UoU|ze9SVe7p@f1GBkrjkkq)T}X%Qo1g!SQ{O{P?m z-OfGyyWta+UCXH+-+(D^%kw#A1-U;?9129at7MeCCzC{DNgO zeSqsV>W^NIfTO~4({c}KUiuoH8A*J!Cb0*sp*w-Bg@YfBIPZFH!M}C=S=S7PLLcIG zs7K77g~W)~^|+mx9onzMm0qh(f~OsDTzVmRtz=aZTllgR zGUn~_5hw_k&rll<4G=G+`^Xlnw;jNYDJz@bE?|r866F2hA9v0-8=JO3g}IHB#b`hy zA42a0>{0L7CcabSD+F7?pGbS1KMvT{@1_@k!_+Ki|5~EMGt7T%u=79F)8xEiL5!EJ zzuxQ`NBliCoJMJdwu|);zRCD<5Sf?Y>U$trQ-;xj6!s5&w=9E7)%pZ+1Nh&8nCCwM zv5>Ket%I?cxr3vVva`YeR?dGxbG@pi{H#8@kFEf0Jq6~K4>kt26*bxv=P&jyE#e$| zDJB_~imk^-z|o!2njF2hL*|7sHCnzluhJjwLQGDmC)Y9 zr9ZN`s)uCd^XDvn)VirMgW~qfn1~SaN^7vcX#K1G`==UGaDVVx$0BQnubhX|{e z^i0}>k-;BP#Szk{cFjO{2x~LjK{^Upqd&<+03_iMLp0$!6_$@TbX>8U-f*-w-ew1?`CtD_0y_Lo|PfKi52p?`5$Jzx0E8`M0 zNIb?#!K$mM4X%`Ry_yhG5k@*+n4||2!~*+&pYLh~{`~o(W|o64^NrjP?-1Lgu?iK^ zTX6u3?#$?R?N!{599vg>G8RGHw)Hx&=|g4599y}mXNpM{EPKKXB&+m?==R3GsIq?G zL5fH={=zawB(sMlDBJ+{dgb)Vx3pu>L=mDV0{r1Qs{0Pn%TpopH{m(By4;{FBvi{I z$}x!Iw~MJOL~&)p93SDIfP3x%ROjg}X{Sme#hiJ&Yk&a;iR}V|n%PriZBY8SX2*;6 z4hdb^&h;Xz%)BDACY5AUsV!($lib4>11UmcgXKWpzRL8r2Srl*9Y(1uBQsY&hO&uv znDNff0tpHlLISam?o(lOp#CmFdH<6HmA0{UwfU#Y{8M+7od8b8|B|7ZYR9f<#+V|ZSaCQvI$~es~g(Pv{2&m_rKSB2QQ zMvT}$?Ll>V+!9Xh5^iy3?UG;dF-zh~RL#++roOCsW^cZ&({6q|?Jt6`?S8=16Y{oH zp50I7r1AC1(#{b`Aq5cw>ypNggHKM9vBx!W$eYIzD!4KbLsZGr2o8>g<@inmS3*>J zx8oG((8f!ei|M@JZB`p7+n<Q}?>h249<`7xJ?u}_n;Gq(&km#1ULN87CeTO~FY zS_Ty}0TgQhV zOh3T7{{x&LSYGQfKR1PDIkP!WnfC1$l+fs@Di+d4O=eVKeF~2fq#1<8hEvpwuqcaH z4A8u~r^gnY3u6}zj*RHjk{AHhrrDqaj?|6GaVJbV%o-nATw}ASFr!f`Oz|u_QPkR# z0mDudY1dZRlk@TyQ?%Eti=$_WNFtLpSx9=S^be{wXINp%MU?a`F66LNU<c;0&ngifmP9i;bj6&hdGMW^Kf8e6ZDXbQD&$QAAMo;OQ)G zW(qlHh;}!ZP)JKEjm$VZjTs@hk&4{?@+NADuYrr!R^cJzU{kGc1yB?;7mIyAWwhbeA_l_lw-iDVi7wcFurf5 z#Uw)A@a9fOf{D}AWE%<`s1L_AwpZ?F!Vac$LYkp<#A!!`XKaDC{A%)~K#5z6>Hv@V zBEqF(D5?@6r3Pwj$^krpPDCjB+UOszqUS;b2n>&iAFcw<*im2(b3|5u6SK!n9Sg4I z0KLcwA6{Mq?p%t>aW0W!PQ>iUeYvNjdKYqII!CE7SsS&Rj)eIw-K4jtI?II+0IdGq z2WT|L3RL?;GtGgt1LWfI4Ka`9dbZXc$TMJ~8#Juv@K^1RJN@yzdLS8$AJ(>g!U9`# zx}qr7JWlU+&m)VG*Se;rGisutS%!6yybi%B`bv|9rjS(xOUIvbNz5qtvC$_JYY+c& za*3*2$RUH8p%pSq>48xR)4qsp!Q7BEiJ*`^>^6INRbC@>+2q9?x(h0bpc>GaNFi$K zPH$6!#(~{8@0QZk=)QnM#I=bDx5vTvjm$f4K}%*s+((H2>tUTf==$wqyoI`oxI7>C z&>5fe)Yg)SmT)eA(|j@JYR1M%KixxC-Eceknf-;N=jJTwKvk#@|J^&5H0c+%KxHUI z6dQbwwVx3p?X<_VRVb2fStH?HH zFR@Mp=qX%#L3XL)+$PXKV|o|#DpHAoqvj6uQKe@M-mnhCSou7Dj4YuO6^*V`m)1lf z;)@e%1!Qg$10w8uEmz{ENb$^%u}B;J7sDd zump}onoD#!l=agcBR)iG!3AF0-63%@`K9G(CzKrm$VJ{v7^O9Ps7Zej|3m= zVXlR&yW6=Y%mD30G@|tf=yC7-#L!16Q=dq&@beWgaIL40k0n% z)QHrp2Jck#evLMM1RGt3WvQ936ZC9vEje0nFMfvmOHVI+&okB_K|l-;|4vW;qk>n~ z+|kk8#`K?x`q>`(f6A${wfw9Cx(^)~tX7<#TpxR#zYG2P+FY~mG{tnEkv~d6oUQA+ z&hNTL=~Y@rF`v-RZlts$nb$3(OL1&@Y11hhL9+zUb6)SP!;CD)^GUtUpCHBE`j1te zAGud@miCVFLk$fjsrcpjsadP__yj9iEZUW{Ll7PPi<$R;m1o!&Xdl~R_v0;oDX2z^!&8}zNGA}iYG|k zmehMd1%?R)u6R#<)B)1oe9TgYH5-CqUT8N7K-A-dm3hbm_W21p%8)H{O)xUlBVb+iUR}-v5dFaCyfSd zC6Bd7=N4A@+Bna=!-l|*_(nWGDpoyU>nH=}IOrLfS+-d40&(Wo*dDB9nQiA2Tse$R z;uq{`X7LLzP)%Y9aHa4YQ%H?htkWd3Owv&UYbr5NUDAH^<l@Z0Cx%`N+B*i!!1u>D8%;Qt1$ zE5O0{-`9gdDxZ!`0m}ywH!;c{oBfL-(BH<&SQ~smbcobU!j49O^f4&IIYh~f+hK*M zZwTp%{ZSAhMFj1qFaOA+3)p^gnXH^=)`NTYgTu!CLpEV2NF=~-`(}7p^Eof=@VUbd z_9U|8qF7Rueg&$qpSSkN%%%DpbV?8E8ivu@ensI0toJ7Eas^jyFReQ1JeY9plb^{m z&eQO)qPLZQ6O;FTr*aJq=$cMN)QlQO@G&%z?BKUs1&I^`lq>=QLODwa`(mFGC`0H< zOlc*|N?B5&!U6BuJvkL?s1&nsi$*5cCv7^j_*l&$-sBmRS85UIrE--7eD8Gr3^+o? zqG-Yl4S&E;>H>k^a0GdUI(|n1`ws@)1%sq2XBdK`mqrNq_b4N{#VpouCXLzNvjoFv zo9wMQ6l0+FT+?%N(ka*;%m~(?338bu32v26!{r)|w8J`EL|t$}TA4q_FJRX5 zCPa{hc_I(7TGE#@rO-(!$1H3N-C0{R$J=yPCXCtGk{4>=*B56JdXU9cQVwB`6~cQZ zf^qK21x_d>X%dT!!)CJQ3mlHA@ z{Prkgfs6=Tz%63$6Zr8CO0Ak3A)Cv#@BVKr&aiKG7RYxY$Yx>Bj#3gJk*~Ps-jc1l z;4nltQwwT4@Z)}Pb!3xM?+EW0qEKA)sqzw~!C6wd^{03-9aGf3Jmt=}w-*!yXupLf z;)>-7uvWN4Unn8b4kfIza-X=x*e4n5pU`HtgpFFd))s$C@#d>aUl3helLom+RYb&g zI7A9GXLRZPl}iQS*d$Azxg-VgcUr*lpLnbPKUV{QI|bsG{8bLG<%CF( zMoS4pRDtLVYOWG^@ox^h8xL~afW_9DcE#^1eEC1SVSb1BfDi^@g?#f6e%v~Aw>@w- zIY0k+2lGWNV|aA*e#`U3=+oBDmGeInfcL)>*!w|*;mWiKNG6wP6AW4-4imN!W)!hE zA02~S1*@Q`fD*+qX@f3!2yJX&6FsEfPditB%TWo3=HA;T3o2IrjS@9SSxv%{{7&4_ zdS#r4OU41~GYMiib#z#O;zohNbhJknrPPZS6sN$%HB=jUnlCO_w5Gw5EeE@KV>soy z2EZ?Y|4RQDDjt5y!WBlZ(8M)|HP<0YyG|D%RqD+K#e7-##o3IZxS^wQ5{Kbzb6h(i z#(wZ|^ei>8`%ta*!2tJzwMv+IFHLF`zTU8E^Mu!R*45_=ccqI};Zbyxw@U%a#2}%f zF>q?SrUa_a4H9l+uW8JHh2Oob>NyUwG=QH~-^ZebU*R@67DcXdz2{HVB4#@edz?B< z5!rQH3O0>A&ylROO%G^fimV*LX7>!%re{_Sm6N>S{+GW1LCnGImHRoF@csnFzn@P0 zM=jld0z%oz;j=>c7mMwzq$B^2mae7NiG}%>(wtmsDXkWk{?BeMpTrIt3Mizq?vRsf zi_WjNp+61uV(%gEU-Vf0;>~vcDhe(dzWdaf#4mH3o^v{0EWhj?E?$5v02sV@xL0l4 zX0_IMFtQ44PfWBbPYN#}qxa%=J%dlR{O!KyZvk^g5s?sTNycWYPJ^FK(nl3k?z-5t z39#hKrdO7V(@!TU)LAPY&ngnZ1MzLEeEiZznn7e-jLCy8LO zu^7_#z*%I-BjS#Pg-;zKWWqX-+Ly$T!4`vTe5ZOV0j?TJVA*2?*=82^GVlZIuH%9s zXiV&(T(QGHHah=s&7e|6y?g+XxZGmK55`wGV>@1U)Th&=JTgJq>4mI&Av2C z)w+kRoj_dA!;SfTfkgMPO>7Dw6&1*Hi1q?54Yng`JO&q->^CX21^PrU^JU#CJ_qhV zSG>afB%>2fx<~g8p=P8Yzxqc}s@>>{g7}F!;lCXvF#RV)^fyYb_)iKVCz1xEq=fJ| z0a7DMCK*FuP=NM*5h;*D`R4y$6cpW-E&-i{v`x=Jbk_xSn@2T3q!3HoAOB`@5Vg6) z{PW|@9o!e;v1jZ2{=Uw6S6o{g82x6g=k!)cFSC*oemHaVjg?VpEmtUuD2_J^A~$4* z3O7HsbA6wxw{TP5Kk)(Vm?gKo+_}11vbo{Tp_5x79P~#F)ahQXT)tSH5;;14?s)On zel1J>1x>+7;g1Iz2FRpnYz;sD0wG9Q!vuzE9yKi3@4a9Nh1!GGN?hA)!mZEnnHh&i zf?#ZEN2sFbf~kV;>K3UNj1&vFhc^sxgj8FCL4v>EOYL?2uuT`0eDH}R zmtUJMxVrV5H{L53hu3#qaWLUa#5zY?f5ozIn|PkMWNP%n zWB5!B0LZB0kLw$k39=!akkE9Q>F4j+q434jB4VmslQ;$ zKiO#FZ`p|dKS716jpcvR{QJkSNfDVhr2%~eHrW;fU45>>snr*S8Vik-5eN5k*c2Mp zyxvX&_cFbB6lODXznHHT|rsURe2!swomtrqc~w5 zymTM8!w`1{04CBprR!_F{5LB+2_SOuZN{b*!J~1ZiPpP-M;);!ce!rOPDLtgR@Ie1 zPreuqm4!H)hYePcW1WZ0Fyaqe%l}F~Orr)~+;mkS&pOhP5Ebb`cnUt!X_QhP4_4p( z8YKQCDKGIy>?WIFm3-}Br2-N`T&FOi?t)$hjphB9wOhBXU#Hb+zm&We_-O)s(wc`2 z8?VsvU;J>Ju7n}uUb3s1yPx_F*|FlAi=Ge=-kN?1;`~6szP%$3B0|8Sqp%ebM)F8v zADFrbeT0cgE>M0DMV@_Ze*GHM>q}wWMzt|GYC%}r{OXRG3Ij&<+nx9;4jE${Fj_r* z`{z1AW_6Myd)i6e0E-h&m{{CvzH=Xg!&(bLYgRMO_YVd8JU7W+7MuGWNE=4@OvP9+ zxi^vqS@5%+#gf*Z@RVyU9N1sO-(rY$24LGsg1>w>s6ST^@)|D9>cT50maXLUD{Fzf zt~tp{OSTEKg3ZSQyQQ5r51){%=?xlZ54*t1;Ow)zLe3i?8tD8YyY^k%M)e`V*r+vL zPqUf&m)U+zxps+NprxMHF{QSxv}>lE{JZETNk1&F+R~bp{_T$dbXL2UGnB|hgh*p4h$clt#6;NO~>zuyY@C-MD@)JCc5XrYOt`wW7! z_ti2hhZBMJNbn0O-uTxl_b6Hm313^fG@e;RrhIUK9@# z+DHGv_Ow$%S8D%RB}`doJjJy*aOa5mGHVHz0e0>>O_%+^56?IkA5eN+L1BVCp4~m=1eeL zb;#G!#^5G%6Mw}r1KnaKsLvJB%HZL)!3OxT{k$Yo-XrJ?|7{s4!H+S2o?N|^Z z)+?IE9H7h~Vxn5hTis^3wHYuOU84+bWd)cUKuHapq=&}WV#OxHpLab`NpwHm8LmOo zjri+!k;7j_?FP##CpM+pOVx*0wExEex z@`#)K<-ZrGyArK;a%Km`^+We|eT+#MygHOT6lXBmz`8|lyZOwL1+b+?Z$0OhMEp3R z&J=iRERpv~TC=p2-BYLC*?4 zxvPs9V@g=JT0>zky5Poj=fW_M!c)Xxz1<=&_ZcL=LMZJqlnO1P^xwGGW*Z+yTBvbV z-IFe6;(k1@$1;tS>{%pXZ_7w+i?N4A2=TXnGf=YhePg8bH8M|Lk-->+w8Y+FjZ;L=wSGwxfA`gqSn)f(XNuSm>6Y z@|#e-)I(PQ^G@N`%|_DZSb4_pkaEF0!-nqY+t#pyA>{9^*I-zw4SYA1_z2Bs$XGUZbGA;VeMo%CezHK0lO={L%G)dI-+8w?r9iexdoB{?l zbJ}C?huIhWXBVs7oo{!$lOTlvCLZ_KN1N+XJGuG$rh<^eUQIqcI7^pmqhBSaOKNRq zrx~w^?9C?*&rNwP_SPYmo;J-#!G|{`$JZK7DxsM3N^8iR4vvn>E4MU&Oe1DKJvLc~ zCT>KLZ1;t@My zRj_2hI^61T&LIz)S!+AQIV23n1>ng+LUvzv;xu!4;wpqb#EZz;F)BLUzT;8UA1x*6vJ zicB!3Mj03s*kGV{g`fpC?V^s(=JG-k1EMHbkdP4P*1^8p_TqO|;!Zr%GuP$8KLxuf z=pv*H;kzd;P|2`JmBt~h6|GxdU~@weK5O=X&5~w$HpfO}@l-T7@vTCxVOwCkoPQv8 z@aV_)I5HQtfs7^X=C03zYmH4m0S!V@JINm6#(JmZRHBD?T!m^DdiZJrhKpBcur2u1 zf9e4%k$$vcFopK5!CC`;ww(CKL~}mlxK_Pv!cOsFgVkNIghA2Au@)t6;Y3*2gK=5d z?|@1a)-(sQ%uFOmJ7v2iG&l&m^u&^6DJM#XzCrF%r>{2XKyxLD2rgWBD;i(!e4InDQBDg==^z;AzT2z~OmV0!?Z z0S9pX$+E;w3WN;v&NYT=+G8hf=6w0E1$0AOr61}eOvE8W1jX%>&Mjo7&!ulawgzLH zbcb+IF(s^3aj12WSi#pzIpijJJzkP?JzRawnxmNDSUR#7!29vHULCE<3Aa#be}ie~d|!V+ z%l~s9Odo$G&fH!t!+`rUT0T9DulF!Yq&BfQWFZV1L9D($r4H(}Gnf6k3^wa7g5|Ws zj7%d`!3(0bb55yhC6@Q{?H|2os{_F%o=;-h{@Yyyn*V7?{s%Grvpe!H^kl6tF4Zf5 z{Jv1~yZ*iIWL_9C*8pBMQArfJJ0d9Df6Kl#wa}7Xa#Ef_5B7=X}DzbQXVPfCwTO@9+@;A^Ti6il_C>g?A-GFwA0#U;t4;wOm-4oS})h z5&on>NAu67O?YCQr%7XIzY%LS4bha9*e*4bU4{lGCUmO2UQ2U)QOqClLo61Kx~3dI zmV3*(P6F_Tr-oP%x!0kTnnT?Ep5j;_IQ^pTRp=e8dmJtI4YgWd0}+b2=ATkOhgpXe z;jmw+FBLE}UIs4!&HflFr4)vMFOJ19W4f2^W(=2)F%TAL)+=F>IE$=e=@j-*bFLSg z)wf|uFQu+!=N-UzSef62u0-C8Zc7 zo6@F)c+nZA{H|+~7i$DCU0pL{0Ye|fKLuV^w!0Y^tT$isu%i1Iw&N|tX3kwFKJN(M zXS`k9js66o$r)x?TWL}Kxl`wUDUpwFx(w4Yk%49;$sgVvT~n8AgfG~HUcDt1TRo^s zdla@6heJB@JV z!vK;BUMznhzGK6PVtj0)GB=zTv6)Q9Yt@l#fv7>wKovLobMV-+(8)NJmyF8R zcB|_K7=FJGGn^X@JdFaat0uhKjp3>k#^&xE_}6NYNG?kgTp>2Iu?ElUjt4~E-?`Du z?mDCS9wbuS%fU?5BU@Ijx>1HG*N?gIP+<~xE4u=>H`8o((cS5M6@_OK%jSjFHirQK zN9@~NXFx*jS{<|bgSpC|SAnA@I)+GB=2W|JJChLI_mx+-J(mSJ!b)uUom6nH0#2^(L@JBlV#t zLl?j54s`Y3vE^c_3^Hl0TGu*tw_n?@HyO@ZrENxA+^!)OvUX28gDSF*xFtQzM$A+O zCG=n#6~r|3zt=8%GuG} z<#VCZ%2?3Q(Ad#Y7GMJ~{U3>E{5e@z6+rgZLX{Cxk^p-7dip^d29;2N1_mm4QkASo z-L`GWWPCq$uCo;X_BmGIpJFBlhl<8~EG{vOD1o|X$aB9KPhWO_cKiU*$HWEgtf=fn zsO%9bp~D2c@?*K9jVN@_vhR03>M_8h!_~%aN!Cnr?s-!;U3SVfmhRwk11A^8Ns`@KeE}+ zN$H}a1U6E;*j5&~Og!xHdfK5M<~xka)x-0N)K_&e7AjMz`toDzasH+^1bZlC!n()crk9kg@$(Y{wdKvbuUd04N^8}t1iOgsKF zGa%%XWx@WoVaNC1!|&{5ZbkopFre-Lu(LCE5HWZBoE#W@er9W<>R=^oYxBvypN#x3 zq#LC8&q)GFP=5^-bpHj?LW=)-g+3_)Ylps!3^YQ{9~O9&K)xgy zMkCWaApU-MI~e^cV{Je75Qr7eF%&_H)BvfyKL=gIA>;OSq(y z052BFz3E(Prg~09>|_Z@!qj}@;8yxnw+#Ej0?Rk<y}4ghbD569B{9hSFr*^ygZ zr6j7P#gtZh6tMk6?4V$*Jgz+#&ug;yOr>=qdI#9U&^am2qoh4Jy}H2%a|#Fs{E(5r z%!ijh;VuGA6)W)cJZx+;9Bp1LMUzN~x_8lQ#D3+sL{be-Jyeo@@dv7XguJ&S5vrH` z>QxOMWn7N-T!D@1(@4>ZlL^y5>m#0!HKovs12GRav4z!>p(1~xok8+_{| z#Ae4{9#NLh#Vj2&JuIn5$d6t@__`o}umFo(n0QxUtd2GKCyE+erwXY?`cm*h&^9*8 zJ+8x6fRZI-e$CRygofIQN^dWysCxgkyr{(_oBwwSRxZora1(%(aC!5BTtj^+YuevI zx?)H#(xlALUp6QJ!=l9N__$cxBZ5p&7;qD3PsXRFVd<({Kh+mShFWJNpy`N@ab7?9 zv5=klvCJ4bx|-pvOO2-+G)6O?$&)ncA#Urze2rlBfp#htudhx-NeRnJ@u%^_bfw4o z4|{b8SkPV3b>Wera1W(+N@p9H>dc6{cnkh-sgr?e%(YkWvK+0YXVwk0=d`)}*47*B z5JGkEdVix!w7-<%r0JF~`ZMMPe;f0EQHuYHxya`puazyph*ZSb1mJAt^k4549BfS; zK7~T&lRb=W{s&t`DJ$B}s-eH1&&-wEOH1KWsKn0a(ZI+G!v&W4A*cl>qAvUv6pbUR z#(f#EKV8~hk&8oayBz4vaswc(?qw1vn`yC zZQDl2PCB-&Uu@g9ZQHhO+v(W0bNig{-k0;;`+wM@#@J)8r?qOYs#&vUna8ILxN7S{ zp1s41KnR8miQJtJtOr|+qk}wrLt+N*z#5o`TmD1)E&QD(Vh&pjZJ_J*0!8dy_ z>^=@v=J)C`x&gjqAYu`}t^S=DFCtc0MkBU2zf|69?xW`Ck~(6zLD)gSE{7n~6w8j_ zoH&~$ED2k5-yRa0!r8fMRy z;QjBYUaUnpd}mf%iVFPR%Dg9!d>g`01m~>2s))`W|5!kc+_&Y>wD@@C9%>-lE`WB0 zOIf%FVD^cj#2hCkFgi-fgzIfOi+ya)MZK@IZhHT5FVEaSbv-oDDs0W)pA0&^nM0TW zmgJmd7b1R7b0a`UwWJYZXp4AJPteYLH>@M|xZFKwm!t3D3&q~av?i)WvAKHE{RqpD{{%OhYkK?47}+}` zrR2(Iv9bhVa;cDzJ%6ntcSbx7v7J@Y4x&+eWSKZ*eR7_=CVIUSB$^lfYe@g+p|LD{ zPSpQmxx@b$%d!05|H}WzBT4_cq?@~dvy<7s&QWtieJ9)hd4)$SZz}#H2UTi$CkFWW|I)v_-NjuH!VypONC=1`A=rm_jfzQ8Fu~1r8i{q-+S_j$ z#u^t&Xnfi5tZtl@^!fUJhx@~Cg0*vXMK}D{>|$#T*+mj(J_@c{jXBF|rm4-8%Z2o! z2z0o(4%8KljCm^>6HDK!{jI7p+RAPcty_~GZ~R_+=+UzZ0qzOwD=;YeZt*?3%UGdr z`c|BPE;yUbnyARUl&XWSNJ<+uRt%!xPF&K;(l$^JcA_CMH6)FZt{>6ah$|(9$2fc~ z=CD00uHM{qv;{Zk9FR0~u|3|Eiqv9?z2#^GqylT5>6JNZwKqKBzzQpKU2_pmtD;CT zi%Ktau!Y2Tldfu&b0UgmF(SSBID)15*r08eoUe#bT_K-G4VecJL2Pa=6D1K6({zj6 za(2Z{r!FY5W^y{qZ}08+h9f>EKd&PN90f}Sc0ejf%kB4+f#T8Q1=Pj=~#pi$U zp#5rMR%W25>k?<$;$x72pkLibu1N|jX4cWjD3q^Pk3js!uK6h7!dlvw24crL|MZs_ zb%Y%?Fyp0bY0HkG^XyS76Ts*|Giw{31LR~+WU5NejqfPr73Rp!xQ1mLgq@mdWncLy z%8}|nzS4P&`^;zAR-&nm5f;D-%yNQPwq4N7&yULM8bkttkD)hVU>h>t47`{8?n2&4 zjEfL}UEagLUYwdx0sB2QXGeRmL?sZ%J!XM`$@ODc2!y|2#7hys=b$LrGbvvjx`Iqi z&RDDm3YBrlKhl`O@%%&rhLWZ*ABFz2nHu7k~3@e4)kO3%$=?GEFUcCF=6-1n!x^vmu+Ai*amgXH+Rknl6U>#9w;A} zn2xanZSDu`4%%x}+~FG{Wbi1jo@wqBc5(5Xl~d0KW(^Iu(U3>WB@-(&vn_PJt9{1`e9Iic@+{VPc`vP776L*viP{wYB2Iff8hB%E3|o zGMOu)tJX!`qJ}ZPzq7>=`*9TmETN7xwU;^AmFZ-ckZjV5B2T09pYliaqGFY|X#E-8 z20b>y?(r-Fn5*WZ-GsK}4WM>@TTqsxvSYWL6>18q8Q`~JO1{vLND2wg@58OaU!EvT z1|o+f1mVXz2EKAbL!Q=QWQKDZpV|jznuJ}@-)1&cdo z^&~b4Mx{*1gurlH;Vhk5g_cM&6LOHS2 zRkLfO#HabR1JD4Vc2t828dCUG#DL}f5QDSBg?o)IYYi@_xVwR2w_ntlpAW0NWk$F1 z$If?*lP&Ka1oWfl!)1c3fl`g*lMW3JOn#)R1+tfwrs`aiFUgz3;XIJ>{QFxLCkK30 zNS-)#DON3yb!7LBHQJ$)4y%TN82DC2-9tOIqzhZ27@WY^<6}vXCWcR5iN{LN8{0u9 zNXayqD=G|e?O^*ms*4P?G%o@J1tN9_76e}E#66mr89%W_&w4n66~R;X_vWD(oArwj z4CpY`)_mH2FvDuxgT+akffhX0b_slJJ*?Jn3O3~moqu2Fs1oL*>7m=oVek2bnprnW zixkaIFU%+3XhNA@@9hyhFwqsH2bM|`P?G>i<-gy>NflhrN{$9?LZ1ynSE_Mj0rADF zhOz4FnK}wpLmQuV zgO4_Oz9GBu_NN>cPLA=`SP^$gxAnj;WjJnBi%Q1zg`*^cG;Q)#3Gv@c^j6L{arv>- zAW%8WrSAVY1sj$=umcAf#ZgC8UGZGoamK}hR7j6}i8#np8ruUlvgQ$j+AQglFsQQq zOjyHf22pxh9+h#n$21&$h?2uq0>C9P?P=Juw0|;oE~c$H{#RGfa>| zj)Iv&uOnaf@foiBJ}_;zyPHcZt1U~nOcNB{)og8Btv+;f@PIT*xz$x!G?u0Di$lo7 zOugtQ$Wx|C($fyJTZE1JvR~i7LP{ zbdIwqYghQAJi9p}V&$=*2Azev$6K@pyblphgpv8^9bN!?V}{BkC!o#bl&AP!3DAjM zmWFsvn2fKWCfjcAQmE+=c3Y7j@#7|{;;0f~PIodmq*;W9Fiak|gil6$w3%b_Pr6K_ zJEG@&!J%DgBZJDCMn^7mk`JV0&l07Bt`1ymM|;a)MOWz*bh2#d{i?SDe9IcHs7 zjCrnyQ*Y5GzIt}>`bD91o#~5H?4_nckAgotN{2%!?wsSl|LVmJht$uhGa+HiH>;av z8c?mcMYM7;mvWr6noUR{)gE!=i7cZUY7e;HXa221KkRoc2UB>s$Y(k%NzTSEr>W(u z<(4mcc)4rB_&bPzX*1?*ra%VF}P1nwiP5cykJ&W{!OTlz&Td0pOkVp+wc z@k=-Hg=()hNg=Q!Ub%`BONH{ z_=ZFgetj@)NvppAK2>8r!KAgi>#%*7;O-o9MOOfQjV-n@BX6;Xw;I`%HBkk20v`qoVd0)}L6_49y1IhR z_OS}+eto}OPVRn*?UHC{eGyFU7JkPz!+gX4P>?h3QOwGS63fv4D1*no^6PveUeE5% zlehjv_3_^j^C({a2&RSoVlOn71D8WwMu9@Nb@=E_>1R*ve3`#TF(NA0?d9IR_tm=P zOP-x;gS*vtyE1Cm zG0L?2nRUFj#aLr-R1fX*$sXhad)~xdA*=hF3zPZhha<2O$Ps+F07w*3#MTe?)T8|A!P!v+a|ot{|^$q(TX`35O{WI0RbU zCj?hgOv=Z)xV?F`@HKI11IKtT^ocP78cqHU!YS@cHI@{fPD?YXL)?sD~9thOAv4JM|K8OlQhPXgnevF=F7GKD2#sZW*d za}ma31wLm81IZxX(W#A9mBvLZr|PoLnP>S4BhpK8{YV_}C|p<)4#yO{#ISbco92^3 zv&kCE(q9Wi;9%7>>PQ!zSkM%qqqLZW7O`VXvcj;WcJ`2~v?ZTYB@$Q&^CTfvy?1r^ z;Cdi+PTtmQwHX_7Kz?r#1>D zS5lWU(Mw_$B&`ZPmqxpIvK<~fbXq?x20k1~9az-Q!uR78mCgRj*eQ>zh3c$W}>^+w^dIr-u{@s30J=)1zF8?Wn|H`GS<=>Om|DjzC{}Jt?{!fSJe*@$H zg>wFnlT)k#T?LslW zu$^7Uy~$SQ21cE?3Ijl+bLfuH^U5P^$@~*UY#|_`uvAIe(+wD2eF}z_y!pvomuVO; zS^9fbdv)pcm-B@CW|Upm<7s|0+$@@<&*>$a{aW+oJ%f+VMO<#wa)7n|JL5egEgoBv zl$BY(NQjE0#*nv=!kMnp&{2Le#30b)Ql2e!VkPLK*+{jv77H7)xG7&=aPHL7LK9ER z5lfHxBI5O{-3S?GU4X6$yVk>lFn;ApnwZybdC-GAvaznGW-lScIls-P?Km2mF>%B2 zkcrXTk+__hj-3f48U%|jX9*|Ps41U_cd>2QW81Lz9}%`mTDIhE)jYI$q$ma7Y-`>% z8=u+Oftgcj%~TU}3nP8&h7k+}$D-CCgS~wtWvM|UU77r^pUw3YCV80Ou*+bH0!mf0 zxzUq4ed6y>oYFz7+l18PGGzhB^pqSt)si=9M>~0(Bx9*5r~W7sa#w+_1TSj3Jn9mW zMuG9BxN=}4645Cpa#SVKjFst;9UUY@O<|wpnZk$kE+to^4!?0@?Cwr3(>!NjYbu?x z1!U-?0_O?k!NdM^-rIQ8p)%?M+2xkhltt*|l=%z2WFJhme7*2xD~@zk#`dQR$6Lmd zb3LOD4fdt$Cq>?1<%&Y^wTWX=eHQ49Xl_lFUA(YQYHGHhd}@!VpYHHm=(1-O=yfK#kKe|2Xc*9}?BDFN zD7FJM-AjVi)T~OG)hpSWqH>vlb41V#^G2B_EvYlWhDB{Z;Q9-0)ja(O+By`31=biA zG&Fs#5!%_mHi|E4Nm$;vVQ!*>=_F;ZC=1DTPB#CICS5fL2T3XmzyHu?bI;m7D4@#; ztr~;dGYwb?m^VebuULtS4lkC_7>KCS)F@)0OdxZIFZp@FM_pHnJes8YOvwB|++#G( z&dm*OP^cz95Wi15vh`Q+yB>R{8zqEhz5of>Po$9LNE{xS<)lg2*roP*sQ}3r3t<}; zPbDl{lk{pox~2(XY5=qg0z!W-x^PJ`VVtz$git7?)!h>`91&&hESZy1KCJ2nS^yMH z!=Q$eTyRi68rKxdDsdt+%J_&lapa{ds^HV9Ngp^YDvtq&-Xp}60B_w@Ma>_1TTC;^ zpbe!#gH}#fFLkNo#|`jcn?5LeUYto%==XBk6Ik0kc4$6Z+L3x^4=M6OI1=z5u#M%0 z0E`kevJEpJjvvN>+g`?gtnbo$@p4VumliZV3Z%CfXXB&wPS^5C+7of2tyVkMwNWBiTE2 z8CdPu3i{*vR-I(NY5syRR}I1TJOV@DJy-Xmvxn^IInF>Tx2e)eE9jVSz69$6T`M9-&om!T+I znia!ZWJRB28o_srWlAxtz4VVft8)cYloIoVF=pL zugnk@vFLXQ_^7;%hn9x;Vq?lzg7%CQR^c#S)Oc-8d=q_!2ZVH764V z!wDKSgP}BrVV6SfCLZnYe-7f;igDs9t+K*rbMAKsp9L$Kh<6Z;e7;xxced zn=FGY<}CUz31a2G}$Q(`_r~75PzM4l_({Hg&b@d8&jC}B?2<+ed`f#qMEWi z`gm!STV9E4sLaQX+sp5Nu9*;9g12naf5?=P9p@H@f}dxYprH+3ju)uDFt^V{G0APn zS;16Dk{*fm6&BCg#2vo?7cbkkI4R`S9SSEJ=#KBk3rl69SxnCnS#{*$!^T9UUmO#&XXKjHKBqLdt^3yVvu8yn|{ zZ#%1CP)8t-PAz(+_g?xyq;C2<9<5Yy<~C74Iw(y>uUL$+$mp(DRcCWbCKiGCZw@?_ zdomfp+C5xt;j5L@VfhF*xvZdXwA5pcdsG>G<8II-|1dhAgzS&KArcb0BD4ZZ#WfiEY{hkCq5%z9@f|!EwTm;UEjKJsUo696V>h zy##eXYX}GUu%t{Gql8vVZKkNhQeQ4C%n|RmxL4ee5$cgwlU+?V7a?(jI#&3wid+Kz5+x^G!bb#$q>QpR#BZ}Xo5UW^ zD&I`;?(a}Oys7-`I^|AkN?{XLZNa{@27Dv^s4pGowuyhHuXc zuctKG2x0{WCvg_sGN^n9myJ}&FXyGmUQnW7fR$=bj$AHR88-q$D!*8MNB{YvTTEyS zn22f@WMdvg5~o_2wkjItJN@?mDZ9UUlat2zCh(zVE=dGi$rjXF7&}*sxac^%HFD`Y zTM5D3u5x**{bW!68DL1A!s&$2XG@ytB~dX-?BF9U@XZABO`a|LM1X3HWCllgl0+uL z04S*PX$%|^WAq%jkzp~%9HyYIF{Ym?k)j3nMwPZ=hlCg9!G+t>tf0o|J2%t1 ztC+`((dUplgm3`+0JN~}&FRRJ3?l*>Y&TfjS>!ShS`*MwO{WIbAZR#<%M|4c4^dY8 z{Rh;-!qhY=dz5JthbWoovLY~jNaw>%tS4gHVlt5epV8ekXm#==Po$)}mh^u*cE>q7*kvX&gq)(AHoItMYH6^s6f(deNw%}1=7O~bTHSj1rm2|Cq+3M z93djjdomWCTCYu!3Slx2bZVy#CWDozNedIHbqa|otsUl+ut?>a;}OqPfQA05Yim_2 zs@^BjPoFHOYNc6VbNaR5QZfSMh2S*`BGwcHMM(1@w{-4jVqE8Eu0Bi%d!E*^Rj?cR z7qgxkINXZR)K^=fh{pc0DCKtrydVbVILI>@Y0!Jm>x-xM!gu%dehm?cC6ok_msDVA*J#{75%4IZt}X|tIVPReZS#aCvuHkZxc zHVMtUhT(wp09+w9j9eRqz~LtuSNi2rQx_QgQ(}jBt7NqyT&ma61ldD(s9x%@q~PQl zp6N*?=N$BtvjQ_xIT{+vhb1>{pM0Arde0!X-y))A4znDrVx8yrP3B1(7bKPE5jR@5 zwpzwT4cu~_qUG#zYMZ_!2Tkl9zP>M%cy>9Y(@&VoB84#%>amTAH{(hL4cDYt!^{8L z645F>BWO6QaFJ-{C-i|-d%j7#&7)$X7pv#%9J6da#9FB5KyDhkA+~)G0^87!^}AP>XaCSScr;kL;Z%RSPD2CgoJ;gpYT5&6NUK$86$T?jRH=w8nI9Z534O?5fk{kd z`(-t$8W|#$3>xoMfXvV^-A(Q~$8SKDE^!T;J+rQXP71XZ(kCCbP%bAQ1|%$%Ov9_a zyC`QP3uPvFoBqr_+$HenHklqyIr>PU_Fk5$2C+0eYy^~7U&(!B&&P2%7#mBUhM!z> z_B$Ko?{Pf6?)gpYs~N*y%-3!1>o-4;@1Zz9VQHh)j5U1aL-Hyu@1d?X;jtDBNk*vMXPn@ z+u@wxHN*{uHR!*g*4Xo&w;5A+=Pf9w#PeZ^x@UD?iQ&${K2c}UQgLRik-rKM#Y5rdDphdcNTF~cCX&9ViRP}`>L)QA4zNXeG)KXFzSDa6 zd^St;inY6J_i=5mcGTx4_^Ys`M3l%Q==f>{8S1LEHn{y(kbxn5g1ezt4CELqy)~TV6{;VW>O9?5^ ztcoxHRa0jQY7>wwHWcxA-BCwzsP>63Kt&3fy*n#Cha687CQurXaRQnf5wc9o8v7Rw zNwGr2fac;Wr-Ldehn7tF^(-gPJwPt@VR1f;AmKgxN&YPL;j=0^xKM{!wuU|^mh3NE zy35quf}MeL!PU;|{OW_x$TBothLylT-J>_x6p}B_jW1L>k)ps6n%7Rh z96mPkJIM0QFNYUM2H}YF5bs%@Chs6#pEnloQhEl?J-)es!(SoJpEPoMTdgA14-#mC zghayD-DJWtUu`TD8?4mR)w5E`^EHbsz2EjH5aQLYRcF{l7_Q5?CEEvzDo(zjh|BKg z3aJl_n#j&eFHsUw4~lxqnr!6NL*se)6H=A+T1e3xUJGQrd}oSPwSy5+$tt{2t5J5@(lFxl43amsARG74iyNC}uuS zd2$=(r6RdamdGx^eatX@F2D8?U23tDpR+Os?0Gq2&^dF+$9wiWf?=mDWfjo4LfRwL zI#SRV9iSz>XCSgEj!cW&9H-njJopYiYuq|2w<5R2!nZ27DyvU4UDrHpoNQZiGPkp@ z1$h4H46Zn~eqdj$pWrv;*t!rTYTfZ1_bdkZmVVIRC21YeU$iS-*XMNK`#p8Z_DJx| zk3Jssf^XP7v0X?MWFO{rACltn$^~q(M9rMYoVxG$15N;nP)A98k^m3CJx8>6}NrUd@wp-E#$Q0uUDQT5GoiK_R{ z<{`g;8s>UFLpbga#DAf%qbfi`WN1J@6IA~R!YBT}qp%V-j!ybkR{uY0X|x)gmzE0J z&)=eHPjBxJvrZSOmt|)hC+kIMI;qgOnuL3mbNR0g^<%|>9x7>{}>a2qYSZAGPt4it?8 zNcLc!Gy0>$jaU?}ZWxK78hbhzE+etM`67*-*x4DN>1_&{@5t7_c*n(qz>&K{Y?10s zXsw2&nQev#SUSd|D8w7ZD2>E<%g^; zV{yE_O}gq?Q|zL|jdqB^zcx7vo(^})QW?QKacx$yR zhG|XH|8$vDZNIfuxr-sYFR{^csEI*IM#_gd;9*C+SysUFejP0{{z7@P?1+&_o6=7V|EJLQun^XEMS)w(=@eMi5&bbH*a0f;iC~2J74V2DZIlLUHD&>mlug5+v z6xBN~8-ovZylyH&gG#ptYsNlT?-tzOh%V#Y33zlsJ{AIju`CjIgf$@gr8}JugRq^c zAVQ3;&uGaVlVw}SUSWnTkH_6DISN&k2QLMBe9YU=sA+WiX@z)FoSYX`^k@B!j;ZeC zf&**P?HQG6Rk98hZ*ozn6iS-dG}V>jQhb3?4NJB*2F?6N7Nd;EOOo;xR7acylLaLy z9)^lykX39d@8@I~iEVar4jmjjLWhR0d=EB@%I;FZM$rykBNN~jf>#WbH4U{MqhhF6 zU??@fSO~4EbU4MaeQ_UXQcFyO*Rae|VAPLYMJEU`Q_Q_%s2*>$#S^)&7er+&`9L=1 z4q4ao07Z2Vsa%(nP!kJ590YmvrWg+YrgXYs_lv&B5EcoD`%uL79WyYA$0>>qi6ov7 z%`ia~J^_l{p39EY zv>>b}Qs8vxsu&WcXEt8B#FD%L%ZpcVtY!rqVTHe;$p9rbb5O{^rFMB>auLn-^;s+-&P1#h~mf~YLg$8M9 zZ4#87;e-Y6x6QO<{McUzhy(%*6| z)`D~A(TJ$>+0H+mct(jfgL4x%^oC^T#u(bL)`E2tBI#V1kSikAWmOOYrO~#-cc_8! zCe|@1&mN2{*ceeiBldHCdrURk4>V}79_*TVP3aCyV*5n@jiNbOm+~EQ_}1#->_tI@ zqXv+jj2#8xJtW508rzFrYcJxoek@iW6SR@1%a%Bux&;>25%`j3UI`0DaUr7l79`B1 zqqUARhW1^h6=)6?;@v>xrZNM;t}{yY3P@|L}ey@gG( z9r{}WoYN(9TW&dE2dEJIXkyHA4&pU6ki=rx&l2{DLGbVmg4%3Dlfvn!GB>EVaY_%3+Df{fBiqJV>~Xf8A0aqUjgpa} zoF8YXO&^_x*Ej}nw-$-F@(ddB>%RWoPUj?p8U{t0=n>gAI83y<9Ce@Q#3&(soJ{64 z37@Vij1}5fmzAuIUnXX`EYe;!H-yTVTmhAy;y8VZeB#vD{vw9~P#DiFiKQ|kWwGFZ z=jK;JX*A;Jr{#x?n8XUOLS;C%f|zj-7vXtlf_DtP7bpurBeX%Hjwr z4lI-2TdFpzkjgiv!8Vfv`=SP+s=^i3+N~1ELNWUbH|ytVu>EyPN_3(4TM^QE1swRo zoV7Y_g)a>28+hZG0e7g%@2^s>pzR4^fzR-El}ARTmtu!zjZLuX%>#OoU3}|rFjJg} zQ2TmaygxJ#sbHVyiA5KE+yH0LREWr%^C*yR|@gM$nK2P zo}M}PV0v))uJh&33N>#aU376@ZH79u(Yw`EQ2hM3SJs9f99+cO6_pNW$j$L-CtAfe zYfM)ccwD!P%LiBk!eCD?fHCGvgMQ%Q2oT_gmf?OY=A>&PaZQOq4eT=lwbaf}33LCH zFD|)lu{K7$8n9gX#w4~URjZxWm@wlH%oL#G|I~Fb-v^0L0TWu+`B+ZG!yII)w05DU z>GO?n(TN+B=>HdxVDSlIH76pta$_LhbBg;eZ`M7OGcqt||qi zogS72W1IN%=)5JCyOHWoFP7pOFK0L*OAh=i%&VW&4^LF@R;+K)t^S!96?}^+5QBIs zjJNTCh)?)4k^H^g1&jc>gysM`y^8Rm3qsvkr$9AeWwYpa$b22=yAd1t<*{ zaowSEFP+{y?Ob}8&cwfqoy4Pb9IA~VnM3u!trIK$&&0Op#Ql4j>(EW?UNUv#*iH1$ z^j>+W{afcd`{e&`-A{g}{JnIzYib)!T56IT@YEs{4|`sMpW3c8@UCoIJv`XsAw!XC z34|Il$LpW}CIHFC5e*)}00I5{%OL*WZRGzC0?_}-9{#ue?-ug^ zLE|uv-~6xnSs_2_&CN9{9vyc!Xgtn36_g^wI0C4s0s^;8+p?|mm;Odt3`2ZjwtK;l zfd6j)*Fr#53>C6Y8(N5?$H0ma;BCF3HCjUs7rpb2Kf*x3Xcj#O8mvs#&33i+McX zQpBxD8!O{5Y8D&0*QjD=Yhl9%M0)&_vk}bmN_Ud^BPN;H=U^bn&(csl-pkA+GyY0Z zKV7sU_4n;}uR78ouo8O%g*V;79KY?3d>k6%gpcmQsKk&@Vkw9yna_3asGt`0Hmj59 z%0yiF*`jXhByBI9QsD=+>big5{)BGe&+U2gAARGe3ID)xrid~QN_{I>k}@tzL!Md_ z&=7>TWciblF@EMC3t4-WX{?!m!G6$M$1S?NzF*2KHMP3Go4=#ZHkeIv{eEd;s-yD# z_jU^Ba06TZqvV|Yd;Z_sN%$X=!T+&?#p+OQIHS%!LO`Hx0q_Y0MyGYFNoM{W;&@0@ zLM^!X4KhdtsET5G<0+|q0oqVXMW~-7LW9Bg}=E$YtNh1#1D^6Mz(V9?2g~I1( zoz9Cz=8Hw98zVLwC2AQvp@pBeKyidn6Xu0-1SY1((^Hu*-!HxFUPs)yJ+i`^BC>PC zjwd0mygOVK#d2pRC9LxqGc6;Ui>f{YW9Bvb>33bp^NcnZoH~w9(lM5@JiIlfa-6|k ziy31UoMN%fvQfhi8^T+=yrP{QEyb-jK~>$A4SZT-N56NYEbpvO&yUme&pWKs3^94D zH{oXnUTb3T@H+RgzML*lejx`WAyw*?K7B-I(VJx($2!NXYm%3`=F~TbLv3H<{>D?A zJo-FDYdSA-(Y%;4KUP2SpHKAIcv9-ld(UEJE7=TKp|Gryn;72?0LHqAN^fk6%8PCW z{g_-t)G5uCIf0I`*F0ZNl)Z>))MaLMpXgqWgj-y;R+@A+AzDjsTqw2Mo9ULKA3c70 z!7SOkMtZb+MStH>9MnvNV0G;pwSW9HgP+`tg}e{ij0H6Zt5zJ7iw`hEnvye!XbA@!~#%vIkzowCOvq5I5@$3wtc*w2R$7!$*?}vg4;eDyJ_1=ixJuEp3pUS27W?qq(P^8$_lU!mRChT}ctvZz4p!X^ zOSp|JOAi~f?UkwH#9k{0smZ7-#=lK6X3OFEMl7%)WIcHb=#ZN$L=aD`#DZKOG4p4r zwlQ~XDZ`R-RbF&hZZhu3(67kggsM-F4Y_tI^PH8PMJRcs7NS9ogF+?bZB*fcpJ z=LTM4W=N9yepVvTj&Hu~0?*vR1HgtEvf8w%Q;U0^`2@e8{SwgX5d(cQ|1(!|i$km! zvY03MK}j`sff;*-%mN~ST>xU$6Bu?*Hm%l@0dk;j@%>}jsgDcQ)Hn*UfuThz9(ww_ zasV`rSrp_^bp-0sx>i35FzJwA!d6cZ5#5#nr@GcPEjNnFHIrtUYm1^Z$;{d&{hQV9 z6EfFHaIS}46p^5I-D_EcwwzUUuO}mqRh&T7r9sfw`)G^Q%oHxEs~+XoM?8e*{-&!7 z7$m$lg9t9KP9282eke608^Q2E%H-xm|oJ8=*SyEo} z@&;TQ3K)jgspgKHyGiKVMCz>xmC=H5Fy3!=TP)-R3|&1S-B)!6q50wfLHKM@7Bq6E z44CY%G;GY>tC`~yh!qv~YdXw! zSkquvYNs6k1r7>Eza?Vkkxo6XRS$W7EzL&A`o>=$HXgBp{L(i^$}t`NcnAxzbH8Ht z2!;`bhKIh`f1hIFcI5bHI=ueKdzmB9)!z$s-BT4ItyY|NaA_+o=jO%MU5as9 zc2)aLP>N%u>wlaXTK!p)r?+~)L+0eCGb5{8WIk7K52$nufnQ+m8YF+GQc&{^(zh-$ z#wyWV*Zh@d!b(WwXqvfhQX)^aoHTBkc;4ossV3&Ut*k>AI|m+{#kh4B!`3*<)EJVj zwrxK>99v^k4&Y&`Awm>|exo}NvewV%E+@vOc>5>%H#BK9uaE2$vje zWYM5fKuOTtn96B_2~~!xJPIcXF>E_;yO8AwpJ4)V`Hht#wbO3Ung~@c%%=FX4)q+9 z99#>VC2!4l`~0WHs9FI$Nz+abUq# zz`Of97})Su=^rGp2S$)7N3rQCj#0%2YO<R&p>$<#lgXcUj=4H_{oAYiT3 z44*xDn-$wEzRw7#@6aD)EGO$0{!C5Z^7#yl1o;k0PhN=aVUQu~eTQ^Xy{z8Ow6tk83 z4{5xe%(hx)%nD&|e*6sTWH`4W&U!Jae#U4TnICheJmsw{l|CH?UA{a6?2GNgpZLyzU2UlFu1ZVwlALmh_DOs03J^Cjh1im`E3?9&zvNmg(MuMw&0^Lu$(#CJ*q6DjlKsY-RMJ^8yIY|{SQZ*9~CH|u9L z`R78^r=EbbR*_>5?-)I+$6i}G)%mN(`!X72KaV(MNUP7Nv3MS9S|Pe!%N2AeOt5zG zVJ;jI4HZ$W->Ai_4X+`9c(~m=@ek*m`ZQbv3ryI-AD#AH=`x$~WeW~M{Js57(K7(v ze5`};LG|%C_tmd>bkufMWmAo&B+DT9ZV~h(4jg0>^aeAqL`PEUzJJtI8W1M!bQWpv zvN(d}E1@nlYa!L!!A*RN!(Q3F%J?5PvQ0udu?q-T)j3JKV~NL>KRb~w-lWc685uS6 z=S#aR&B8Sc8>cGJ!!--?kwsJTUUm`Jk?7`H z7PrO~xgBrSW2_tTlCq1LH8*!o?pj?qxy8}(=r_;G18POrFh#;buWR0qU24+XUaVZ0 z?(sXcr@-YqvkCmHr{U2oPogHL{r#3r49TeR<{SJX1pcUqyWPrkYz^X8#QW~?F)R5i z>p^!i<;qM8Nf{-fd6!_&V*e_9qP6q(s<--&1Ttj01j0w>bXY7y1W*%Auu&p|XSOH=)V7Bd4fUKh&T1)@cvqhuD-d=?w}O zjI%i(f|thk0Go*!d7D%0^ztBfE*V=(ZIN84f5HU}T9?ulmEYzT5usi=DeuI*d|;M~ zp_=Cx^!4k#=m_qSPBr5EK~E?3J{dWWPH&oCcNepYVqL?nh4D5ynfWip$m*YlZ8r^Z zuFEUL-nW!3qjRCLIWPT0x)FDL7>Yt7@8dA?R2kF@WE>ysMY+)lTsgNM#3VbXVGL}F z1O(>q>2a+_`6r5Xv$NZAnp=Kgnr3)cL(^=8ypEeOf3q8(HGe@7Tt59;yFl||w|mnO zHDxg2G3z8=(6wjj9kbcEY@Z0iOd7Gq5GiPS5% z*sF1J<#daxDV2Z8H>wxOF<;yKzMeTaSOp_|XkS9Sfn6Mpe9UBi1cSTieGG5$O;ZLIIJ60Y>SN4vC?=yE_CWlo(EEE$e4j?z&^FM%kNmRtlbEL^dPPgvs9sbK5fGw*r@ z+!EU@u$T8!nZh?Fdf_qk$VuHk^yVw`h`_#KoS*N%epIIOfQUy_&V}VWDGp3tplMbf z5Se1sJUC$7N0F1-9jdV2mmGK{-}fu|Nv;12jDy0<-kf^AmkDnu6j~TPWOgy1MT68|D z=4=50jVbUKdKaQgD`eWGr3I&^<6uhkjz$YwItY8%Yp9{z4-{6g{73<_b*@XJ4Nm3-3z z?BW3{aY_ccRjb@W1)i5nLg|7BnWS!B`_Uo9CWaE`Ij327QH?i)9A}4Ug4wmxVVa^b z-4+m%-wwOl7cKH7+=x&nrCrbEC)Q$fpg&V83#uEH;C=GNMz`ps@^RxK%T*8%OPnC` z{WO~J%nxYJ`x|N%?&i7?;{_8t^jM&=50HlaOQj8fS}_`moH$c;vI<|cruPFnpT8yU zS%rPOCUSd5Zdb(zwk`hqwTQn)*&n)uYsP*F_(~xEWq}C= zv30kFmZFwJZ@ELVX3?$dXQh|icO7UrL*_5G=I^xXjImz`ZPp>?g#tf(ej~KaIU0algsG!IS09;>?MvqGg#c{i+}qY|{P8W~O%#>|gFd z<1dr$-oxyRGN17yZo1OwLnzwYs0|;IS_nymNB0IlSzPQ%-r`?T=;_XQ^~&#}b|AB} zkNbN5uB?-sUB-T5QLlg%Uk3)uHB;>VIzGe9_J9 zaeISkQm!v(9d(0ML^b9fR^sfHFlH?7Mvddt37OuR{|O0{uv)(&-6<87W4 zyO>s!=cPgP3O&7xxU5DlIPw_o3O>6o6Qb?JWs3qw#p3sBc3g$?Dx zi(6D+DYgV;GrUis-CL%Qe{nvZnwaVXmbhH(|GFh|Q)k=1uvA$I@1DXI7bKlQ@8D6P zS?(*?><>)G49q0wr;NajpxP4W2G)kHl6^=Z>hrNEI4Mwd_$O6$1dXF;Q#hE(-eeW6 zz03GJF%Wl?HO=_ztv5*zRlcU~{+{k%#N59mgm~eK>P!QZ6E?#Cu^2)+K8m@ySvZ*5 z|HDT}BkF@3!l(0%75G=1u2hETXEj!^1Z$!)!lyGXlWD!_vqGE$Z)#cUVBqlORW>0^ zDjyVTxwKHKG|0}j-`;!R-p>}qQfBl(?($7pP<+Y8QE#M8SCDq~k<+>Q^Zf@cT_WdX3~BSe z+|KK|7OL5Hm5(NFP~j>Ct3*$wi0n0!xl=(C61`q&cec@mFlH(sy%+RH<=s)8aAPN`SfJdkAQjdv82G5iRdv8 zh{9wHUZaniSEpslXl^_ODh}mypC?b*9FzLjb~H@3DFSe;D(A-K3t3eOTB(m~I6C;(-lKAvit(70k`%@+O*Ztdz;}|_TS~B?Tpmi=QKC^m_ z2YpEaT3iiz*;T~ap1yiA)a`dKMwu`^UhIUeltNQ1Yjo=q@bI@&3zH?rVUg=IxLy-ni zyxDu%-Fr{H6owTjZU2O5>nDb=q&Jz_TjeSq%!2m40x&U6w~GQ({quPL73IsJS;f`$ zsuhioqCBj(gJ>2hoo)Gou7(WP*pX)f=Y=!=k!&1K?EYY%jJ~X&DnK{^saPQK<1BJ z_A`_{%ZozcB(3w$z^To^6d|XuT@=X~wtW!+{4ID@N{AB~J6AL5vuY>JwvWCNFKsKh zd}@>q@_WV#QZ&UJ0#?X(pXR!oyXOEG3rqzHbCzGLONDb042i$})fM@XF)uSP(DHUc z^&{|$*xe{cs?Gp8=B%RY3L7#$ve$?TWh>MZdxF1zH1v}1z+$Ov#G7?%D)bBCyDe*% zSeKSpETC2V1){II>@UwJi>4uBN+iAx+82E~gb|Cr&8E^i&)A!uv-g?jzH99wU}8+# z$nh>yvb;TwZmS@7LrvuCu_d0-WxFNI&C7%sWuTL%YU!l|I1{|->=dlOeHOCtUO#zkS3ESO8LHV4hTdQL5EdV zuWD33fFPH}HPrW^s$Qn1Xgp&AT6<-He{{4%eIu3rN=iK|9mURdKXfB&Q?qGok%!cs ze53UP{Z!TO-Y@q2;;k2avA3`lm4OoN4@S*k=UA)7H;qZ`d8`XaYFCv?Ba+uGW@r5v z&&{nf(24WSBOhc7!qF^@0cz;XcUynNaj6w2349;s!K{KVqs5yS{ z7VubS`2OzT^5#1~6Tt^RTvt9-J|D2F>y~>2;jeF>g`hx5l%B3H=aLExQihuYngzlnBTYOTHJQMzl>kwqN5JYs)Ej zblA@ntkUS~xi+}y6|(81helS}Q~&VB37qyV|S3Y=><^1wh%msQM?fz z<58MX(=|PSUKCF#)dbhR%D&xgCD?$aR0qen+wpp6 zst}vX18!Be96TD??j1HsHTUx(a&@F?=gT`Q$oJFFyrh^;zgz!(NlAHGn0cJy@us=w zNhC#l5G;H}+>49Nsh12=ZPO2r*2OBQe5kpb&1?*PIBFitK8}FUfb~S-#hKfF0o#&d z#3aPkB$9scYku&kA6{0xHnBV#&Wei5J>5T-XX-gUXEPo+9b7WL=*XESc(3BshL`aj zXp}QIp*40}oWJt*l043e8_5;H5PI5c)U&IEw5dF(4zjX0y_lk9 zAp@!mK>WUqHo)-jop=DoK>&no>kAD=^qIE7qis&_*4~ z6q^EF$D@R~3_xseCG>Ikb6Gfofb$g|75PPyyZN&tiRxqovo_k zO|HA|sgy#B<32gyU9x^&)H$1jvw@qp+1b(eGAb)O%O!&pyX@^nQd^9BQ4{(F8<}|A zhF&)xusQhtoXOOhic=8#Xtt5&slLia3c*a?dIeczyTbC#>FTfiLST57nc3@Y#v_Eg#VUv zT8cKH#f3=1PNj!Oroz_MAR*pow%Y0*6YCYmUy^7`^r|j23Q~^*TW#cU7CHf0eAD_0 zEWEVddxFgQ7=!nEBQ|ibaScslvhuUk^*%b#QUNrEB{3PG@uTxNwW}Bs4$nS9wc(~O zG7Iq>aMsYkcr!9#A;HNsJrwTDYkK8ikdj{M;N$sN6BqJ<8~z>T20{J8Z2rRUuH7~3 z=tgS`AgxbBOMg87UT4Lwge`*Y=01Dvk>)^{Iu+n6fuVX4%}>?3czOGR$0 zpp*wp>bsFFSV`V;r_m+TZns$ZprIi`OUMhe^cLE$2O+pP3nP!YB$ry}2THx2QJs3< za1;>d-AggCarrQ>&Z!d@;mW+!q6eXhb&`GbzUDSxpl8AJ#Cm#tuc)_xh(2NV=5XMs zrf_ozRYO$NkC=pKFX5OH8v1>0i9Z$ec`~Mf+_jQ68spn(CJwclDhEEkH2Qw;${J$clv__nUjn5jA0wCLEnu1j;v!0vB>Ri6m9`;R{JMS%^)4FC zU0Z44+u$I$w=Bj|iu4DT5h~sS`C*zbmX?@-crY}E+hy>}2~C0Nn(EKk@5^qO4@l@! z6O0lr%tzGC`D^)8xU3FnMZVm0kX1sBWhaQyzVoXFWwr%Ny?=2M{5s#5i7fTu3gEkG zc{(Pr$v=;`Y#&`y*J}#M9ux>0?xu!`$9cUKm#Bdd_&S#LPTS?ZPV6zN6>W6JTS~-LfjL{mB=b(KMk3 z2HjBSlJeyUVqDd=Mt!=hpYsvby2GL&3~zm;0{^nZJq+4vb?5HH4wufvr}IX42sHeK zm@x?HN$8TsTavXs)tLDFJtY9b)y~Tl@7z4^I8oUQq4JckH@~CVQ;FoK(+e0XAM>1O z(ei}h?)JQp>)d=6ng-BZF1Z5hsAKW@mXq+hU?r8I(*%`tnIIOXw7V6ZK(T9RFJJe@ zZS!aC+p)Gf2Ujc=a6hx4!A1Th%YH!Lb^xpI!Eu` zmJO{9rw){B1Ql18d%F%da+Tbu1()?o(zT7StYqK6_w`e+fjXq5L^y(0 z09QA6H4oFj59c2wR~{~>jUoDzDdKz}5#onYPJRwa`SUO)Pd4)?(ENBaFVLJr6Kvz= zhTtXqbx09C1z~~iZt;g^9_2nCZ{};-b4dQJbv8HsWHXPVg^@(*!@xycp#R?a|L!+` zY5w))JWV`Gls(=}shH0#r*;~>_+-P5Qc978+QUd>J%`fyn{*TsiG-dWMiJXNgwBaT zJ=wgYFt+1ACW)XwtNx)Q9tA2LPoB&DkL16P)ERWQlY4%Y`-5aM9mZ{eKPUgI!~J3Z zkMd5A_p&v?V-o-6TUa8BndiX?ooviev(DKw=*bBVOW|=zps9=Yl|-R5@yJe*BPzN}a0mUsLn{4LfjB_oxpv(mwq# zSY*%E{iB)sNvWfzg-B!R!|+x(Q|b@>{-~cFvdDHA{F2sFGA5QGiIWy#3?P2JIpPKg6ncI^)dvqe`_|N=8 '} + case $link in #( + /*) app_path=$link ;; #( + *) app_path=$APP_HOME$link ;; + esac +done + +# This is normally unused +# shellcheck disable=SC2034 +APP_BASE_NAME=${0##*/} +# Discard cd standard output in case $CDPATH is set (https://github.com/gradle/gradle/issues/25036) +APP_HOME=$( cd -P "${APP_HOME:-./}" > /dev/null && printf '%s\n' "$PWD" ) || exit + +# Use the maximum available, or set MAX_FD != -1 to use that value. +MAX_FD=maximum + +warn () { + echo "$*" +} >&2 + +die () { + echo + echo "$*" + echo + exit 1 +} >&2 + +# OS specific support (must be 'true' or 'false'). +cygwin=false +msys=false +darwin=false +nonstop=false +case "$( uname )" in #( + CYGWIN* ) cygwin=true ;; #( + Darwin* ) darwin=true ;; #( + MSYS* | MINGW* ) msys=true ;; #( + NONSTOP* ) nonstop=true ;; +esac + +CLASSPATH="\\\"\\\"" + + +# Determine the Java command to use to start the JVM. +if [ -n "$JAVA_HOME" ] ; then + if [ -x "$JAVA_HOME/jre/sh/java" ] ; then + # IBM's JDK on AIX uses strange locations for the executables + JAVACMD=$JAVA_HOME/jre/sh/java + else + JAVACMD=$JAVA_HOME/bin/java + fi + if [ ! -x "$JAVACMD" ] ; then + die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +else + JAVACMD=java + if ! command -v java >/dev/null 2>&1 + then + die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +fi + +# Increase the maximum file descriptors if we can. +if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then + case $MAX_FD in #( + max*) + # In POSIX sh, ulimit -H is undefined. That's why the result is checked to see if it worked. + # shellcheck disable=SC2039,SC3045 + MAX_FD=$( ulimit -H -n ) || + warn "Could not query maximum file descriptor limit" + esac + case $MAX_FD in #( + '' | soft) :;; #( + *) + # In POSIX sh, ulimit -n is undefined. That's why the result is checked to see if it worked. + # shellcheck disable=SC2039,SC3045 + ulimit -n "$MAX_FD" || + warn "Could not set maximum file descriptor limit to $MAX_FD" + esac +fi + +# Collect all arguments for the java command, stacking in reverse order: +# * args from the command line +# * the main class name +# * -classpath +# * -D...appname settings +# * --module-path (only if needed) +# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables. + +# For Cygwin or MSYS, switch paths to Windows format before running java +if "$cygwin" || "$msys" ; then + APP_HOME=$( cygpath --path --mixed "$APP_HOME" ) + CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" ) + + JAVACMD=$( cygpath --unix "$JAVACMD" ) + + # Now convert the arguments - kludge to limit ourselves to /bin/sh + for arg do + if + case $arg in #( + -*) false ;; # don't mess with options #( + /?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath + [ -e "$t" ] ;; #( + *) false ;; + esac + then + arg=$( cygpath --path --ignore --mixed "$arg" ) + fi + # Roll the args list around exactly as many times as the number of + # args, so each arg winds up back in the position where it started, but + # possibly modified. + # + # NB: a `for` loop captures its iteration list before it begins, so + # changing the positional parameters here affects neither the number of + # iterations, nor the values presented in `arg`. + shift # remove old arg + set -- "$@" "$arg" # push replacement arg + done +fi + + +# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"' + +# Collect all arguments for the java command: +# * DEFAULT_JVM_OPTS, JAVA_OPTS, and optsEnvironmentVar are not allowed to contain shell fragments, +# and any embedded shellness will be escaped. +# * For example: A user cannot expect ${Hostname} to be expanded, as it is an environment variable and will be +# treated as '${Hostname}' itself on the command line. + +set -- \ + "-Dorg.gradle.appname=$APP_BASE_NAME" \ + -classpath "$CLASSPATH" \ + -jar "$APP_HOME/gradle/wrapper/gradle-wrapper.jar" \ + "$@" + +# Stop when "xargs" is not available. +if ! command -v xargs >/dev/null 2>&1 +then + die "xargs is not available" +fi + +# Use "xargs" to parse quoted args. +# +# With -n1 it outputs one arg per line, with the quotes and backslashes removed. +# +# In Bash we could simply go: +# +# readarray ARGS < <( xargs -n1 <<<"$var" ) && +# set -- "${ARGS[@]}" "$@" +# +# but POSIX shell has neither arrays nor command substitution, so instead we +# post-process each arg (as a line of input to sed) to backslash-escape any +# character that might be a shell metacharacter, then use eval to reverse +# that process (while maintaining the separation between arguments), and wrap +# the whole thing up as a single "set" statement. +# +# This will of course break if any of these variables contains a newline or +# an unmatched quote. +# + +eval "set -- $( + printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" | + xargs -n1 | + sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' | + tr '\n' ' ' + )" '"$@"' + +exec "$JAVACMD" "$@" diff --git a/gradlew.bat b/gradlew.bat new file mode 100644 index 0000000..db3a6ac --- /dev/null +++ b/gradlew.bat @@ -0,0 +1,94 @@ +@rem +@rem Copyright 2015 the original author or authors. +@rem +@rem Licensed under the Apache License, Version 2.0 (the "License"); +@rem you may not use this file except in compliance with the License. +@rem You may obtain a copy of the License at +@rem +@rem https://www.apache.org/licenses/LICENSE-2.0 +@rem +@rem Unless required by applicable law or agreed to in writing, software +@rem distributed under the License is distributed on an "AS IS" BASIS, +@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +@rem See the License for the specific language governing permissions and +@rem limitations under the License. +@rem +@rem SPDX-License-Identifier: Apache-2.0 +@rem + +@if "%DEBUG%"=="" @echo off +@rem ########################################################################## +@rem +@rem Gradle startup script for Windows +@rem +@rem ########################################################################## + +@rem Set local scope for the variables with windows NT shell +if "%OS%"=="Windows_NT" setlocal + +set DIRNAME=%~dp0 +if "%DIRNAME%"=="" set DIRNAME=. +@rem This is normally unused +set APP_BASE_NAME=%~n0 +set APP_HOME=%DIRNAME% + +@rem Resolve any "." and ".." in APP_HOME to make it shorter. +for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi + +@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m" + +@rem Find java.exe +if defined JAVA_HOME goto findJavaFromJavaHome + +set JAVA_EXE=java.exe +%JAVA_EXE% -version >NUL 2>&1 +if %ERRORLEVEL% equ 0 goto execute + +echo. 1>&2 +echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. 1>&2 +echo. 1>&2 +echo Please set the JAVA_HOME variable in your environment to match the 1>&2 +echo location of your Java installation. 1>&2 + +goto fail + +:findJavaFromJavaHome +set JAVA_HOME=%JAVA_HOME:"=% +set JAVA_EXE=%JAVA_HOME%/bin/java.exe + +if exist "%JAVA_EXE%" goto execute + +echo. 1>&2 +echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% 1>&2 +echo. 1>&2 +echo Please set the JAVA_HOME variable in your environment to match the 1>&2 +echo location of your Java installation. 1>&2 + +goto fail + +:execute +@rem Setup the command line + +set CLASSPATH= + + +@rem Execute Gradle +"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" -jar "%APP_HOME%\gradle\wrapper\gradle-wrapper.jar" %* + +:end +@rem End local scope for the variables with windows NT shell +if %ERRORLEVEL% equ 0 goto mainEnd + +:fail +rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of +rem the _cmd.exe /c_ return code! +set EXIT_CODE=%ERRORLEVEL% +if %EXIT_CODE% equ 0 set EXIT_CODE=1 +if not ""=="%GRADLE_EXIT_CONSOLE%" exit %EXIT_CODE% +exit /b %EXIT_CODE% + +:mainEnd +if "%OS%"=="Windows_NT" endlocal + +:omega diff --git a/settings.gradle b/settings.gradle new file mode 100644 index 0000000..fbc3e52 --- /dev/null +++ b/settings.gradle @@ -0,0 +1 @@ +rootProject.name = 'statemachinedemo' diff --git a/src/main/java/com/example/statemachinedemo/StatemachinedemoApplication.java b/src/main/java/com/example/statemachinedemo/StatemachinedemoApplication.java new file mode 100644 index 0000000..8ba4326 --- /dev/null +++ b/src/main/java/com/example/statemachinedemo/StatemachinedemoApplication.java @@ -0,0 +1,274 @@ +package com.example.statemachinedemo; + +import lombok.RequiredArgsConstructor; +import lombok.extern.slf4j.Slf4j; +import org.springframework.boot.ApplicationArguments; +import org.springframework.boot.ApplicationRunner; +import org.springframework.boot.SpringApplication; +import org.springframework.boot.autoconfigure.SpringBootApplication; +import org.springframework.context.annotation.Configuration; +import org.springframework.statemachine.StateContext; +import org.springframework.statemachine.StateMachine; +import org.springframework.statemachine.config.EnableStateMachineFactory; +import org.springframework.statemachine.config.StateMachineConfigurerAdapter; +import org.springframework.statemachine.config.StateMachineFactory; +import org.springframework.statemachine.config.builders.StateMachineConfigurationConfigurer; +import org.springframework.statemachine.config.builders.StateMachineStateConfigurer; +import org.springframework.statemachine.config.builders.StateMachineTransitionConfigurer; +import org.springframework.statemachine.guard.Guard; +import org.springframework.statemachine.listener.StateMachineListenerAdapter; +import org.springframework.statemachine.state.PseudoStateKind; +import org.springframework.statemachine.state.State; +import org.springframework.statemachine.transition.Transition; +import org.springframework.stereotype.Component; +import org.w3c.dom.Document; +import org.w3c.dom.Element; + +import javax.xml.parsers.DocumentBuilder; +import javax.xml.parsers.DocumentBuilderFactory; +import java.io.File; +import java.io.FileNotFoundException; +import java.io.PrintWriter; +import java.util.Collection; + +@SpringBootApplication +public class StatemachinedemoApplication { + public static void main(String[] args) { + SpringApplication.run(StatemachinedemoApplication.class, args); + } +} + +enum OrderEvents { + FULFILL, PAY, CANCEL +} + +enum OrderStates { + SUBMITTED, PAID, FULFILLED, CANCELED +// ,PAID2, PAID3 +} + +@Component +@Slf4j +@RequiredArgsConstructor +class Runner implements ApplicationRunner { + private final StateMachineFactory factory; +// +// @Override +// public void run(ApplicationArguments args) throws Exception { +// StateMachine stateMachine = factory.getStateMachine("order"); +// stateMachine.start(); +// log.info("Current state is {}", stateMachine.getState().getId()); +// +// } + private final Config1 c; + private final Config2 c2; + private final Config3 c3; + + @Override + public void run(ApplicationArguments args) throws Exception { + c.a(); + c2.a(); +// c3.exportToSCXML(); + } +} + +class StateMachineDotExporter { + public static void export(StateMachine stateMachine, PrintWriter writer) { + writer.println("digraph stateMachine {"); + + for (State state : stateMachine.getStates()) { + writer.printf(" %s;%n", state.getId()); + } + + for (Transition transition : stateMachine.getTransitions()) { + if (transition.getSource() != null && transition.getTarget() != null) { + writer.printf(" %s -> %s [label=\"%s\"];%n", + transition.getSource().getId(), + transition.getTarget().getId(), + transition.getTrigger() != null ? transition.getTrigger().getEvent() : ""); + } + } + + writer.println("}"); + } +} + +class StateMachinePlantUMLExporter { + + public static void export(StateMachine stateMachine, PrintWriter writer) { + writer.println("@startuml"); + writer.println("[*] --> " + stateMachine.getInitialState().getId()); + + for (Transition transition : stateMachine.getTransitions()) { + if (transition.getSource() != null && transition.getTarget() != null) { + String source = transition.getSource().getId().toString(); + String target = transition.getTarget().getId().toString(); + String event = transition.getTrigger() != null && transition.getTrigger().getEvent() != null + ? transition.getTrigger().getEvent().toString() + : ""; + writer.printf("%s --> %s : %s%n", source, target, event); + } + } + + for (State state : stateMachine.getStates()) { + if (state.getPseudoState() != null && + state.getPseudoState().getKind() == PseudoStateKind.END) { + writer.printf("%s --> [*]%n", state.getId()); + } + } + writer.println("@enduml"); + } +} + +@Component +@RequiredArgsConstructor +class Config1 { + private final StateMachineFactory factory; + public void a() throws FileNotFoundException { + StateMachine stateMachine = factory.getStateMachine("order"); + + StateMachineDotExporter exporter = new StateMachineDotExporter(); + try (PrintWriter out = new PrintWriter("statemachine.dot")) { + StateMachineDotExporter.export(stateMachine, out); + } + } +} + +@Component +@RequiredArgsConstructor +class Config2 { + private final StateMachineFactory factory; + public void a() throws FileNotFoundException { + StateMachine stateMachine = factory.getStateMachine("order"); + + try (PrintWriter out = new PrintWriter("statemachine.uml.dot")) { + StateMachinePlantUMLExporter.export(stateMachine, out); + } + } +} + +@Component +class SCXMLExporter { + + // This method assumes you already have a state machine + public void exportToSCXML(StateMachine stateMachine) throws Exception { + // Create a document to represent the SCXML structure + DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance(); + DocumentBuilder builder = factory.newDocumentBuilder(); + Document doc = builder.newDocument(); + + // Root SCXML element + Element scxmlElement = doc.createElement("scxml"); + scxmlElement.setAttribute("version", "1.0"); + doc.appendChild(scxmlElement); + + // Define the states + Element statesElement = doc.createElement("states"); + scxmlElement.appendChild(statesElement); + + // Iterate over the states of the state machine + Collection> states = stateMachine.getStates(); + for (State state : states) { + Element stateElement = doc.createElement("state"); + stateElement.setAttribute("id", state.getId().toString()); + statesElement.appendChild(stateElement); + } + + // Define the transitions + Element transitionsElement = doc.createElement("transitions"); + scxmlElement.appendChild(transitionsElement); + + Collection> transitions = stateMachine.getTransitions(); + for (Transition transition : transitions) { + Element transitionElement = doc.createElement("transition"); + transitionElement.setAttribute("from", transition.getSource().getId().toString()); + transitionElement.setAttribute("to", transition.getTarget().getId().toString()); + transitionElement.setAttribute("event", String.valueOf(transition.getTrigger())); + transitionsElement.appendChild(transitionElement); + } + + // Write to file + File file = new File("stateMachine.scxml"); + saveDocumentToFile(doc, file); + } + + private void saveDocumentToFile(Document doc, File file) throws Exception { + // Serialize the document to a file (you can use your preferred XML writer) + javax.xml.transform.Transformer transformer = javax.xml.transform.TransformerFactory.newInstance().newTransformer(); + javax.xml.transform.stream.StreamResult result = new javax.xml.transform.stream.StreamResult(file); + javax.xml.transform.dom.DOMSource source = new javax.xml.transform.dom.DOMSource(doc); + transformer.transform(source, result); + } +} +@Component +@RequiredArgsConstructor +class Config3 { + private final StateMachineFactory factory; + public void exportToSCXML() throws Exception { + StateMachine stateMachine = factory.getStateMachine("order"); + + SCXMLExporter exporter = new SCXMLExporter(); + File file = new File("statemachine.scxml"); + exporter.exportToSCXML(stateMachine); + } +} + +@Configuration +@EnableStateMachineFactory +@Slf4j +class SimpleEnumStateMachineConfiguration extends StateMachineConfigurerAdapter { + @Override + public void configure(StateMachineTransitionConfigurer transitions) throws Exception { + transitions + .withExternal().source(OrderStates.SUBMITTED).target(OrderStates.PAID).event(OrderEvents.PAY) + .and() + .withExternal().source(OrderStates.PAID).target(OrderStates.FULFILLED).event(OrderEvents.FULFILL) + .and() + .withExternal().source(OrderStates.SUBMITTED).target(OrderStates.CANCELED).event(OrderEvents.CANCEL).guard(new Guard() { + @Override + public boolean evaluate(StateContext context) { + return false; + } + }) + .and() + .withExternal().source(OrderStates.PAID).target(OrderStates.CANCELED).event(OrderEvents.CANCEL); + +// +// .and() +// .withChoice() +// .source(OrderStates.SUBMITTED) +// .first(OrderStates.PAID2, new Guard() { +// @Override +// public boolean evaluate(StateContext context) { +// return false; +// } +// }) +// .last(OrderStates.PAID3) +// .and().withExternal().source(OrderStates.PAID2).target(OrderStates.CANCELED) +// .and().withExternal().source(OrderStates.PAID3).target(OrderStates.CANCELED); + } + + @Override + public void configure(StateMachineStateConfigurer states) throws Exception { + states.withStates() + .initial(OrderStates.SUBMITTED) + .state(OrderStates.PAID) +// .state(OrderStates.PAID2) +// .state(OrderStates.PAID3) + .end(OrderStates.FULFILLED) + .end(OrderStates.CANCELED); + + } + @Override + public void configure(StateMachineConfigurationConfigurer config) throws Exception { + StateMachineListenerAdapter listenerAdapter = new StateMachineListenerAdapter<>() { + @Override + public void stateChanged(State from, State to) { + log.info("state changed from {} to {}", from, to); + } + }; + config.withConfiguration() + .autoStartup(false) + .listener(listenerAdapter); + } +} \ No newline at end of file diff --git a/src/main/resources/application.properties b/src/main/resources/application.properties new file mode 100644 index 0000000..1cd01ff --- /dev/null +++ b/src/main/resources/application.properties @@ -0,0 +1 @@ +spring.application.name=statemachinedemo diff --git a/src/test/java/com/example/statemachinedemo/StatemachinedemoApplicationTests.java b/src/test/java/com/example/statemachinedemo/StatemachinedemoApplicationTests.java new file mode 100644 index 0000000..570c043 --- /dev/null +++ b/src/test/java/com/example/statemachinedemo/StatemachinedemoApplicationTests.java @@ -0,0 +1,13 @@ +package com.example.statemachinedemo; + +import org.junit.jupiter.api.Test; +import org.springframework.boot.test.context.SpringBootTest; + +@SpringBootTest +class StatemachinedemoApplicationTests { + + @Test + void contextLoads() { + } + +} diff --git a/stateMachine.scxml b/stateMachine.scxml new file mode 100644 index 0000000..b8022bd --- /dev/null +++ b/stateMachine.scxml @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/statemachine.dot b/statemachine.dot new file mode 100644 index 0000000..ccfa158 --- /dev/null +++ b/statemachine.dot @@ -0,0 +1,14 @@ +digraph stateMachine { + PAID2; + SUBMITTED; + PAID; + PAID3; + CANCELED; + FULFILLED; + SUBMITTED -> PAID [label="PAY"]; + PAID -> FULFILLED [label="FULFILL"]; + SUBMITTED -> CANCELED [label="CANCEL"]; + PAID -> CANCELED [label="CANCEL"]; + PAID2 -> CANCELED [label=""]; + PAID3 -> CANCELED [label=""]; +} diff --git a/statemachine.png b/statemachine.png new file mode 100644 index 0000000000000000000000000000000000000000..dc48df7a911c866df4bf3f26f540c781b138ccd8 GIT binary patch literal 35991 zcmZsD2VBl?`}Q3nNs1&*lFCR!NNGq*N@cY-Dw?!3RMOHCq9I9xw3SL4T9Rll(w4>@ zX=$N#K0JE5#VStkE^T=MiTg|dxuT;b>$*N5ZXo(3O(EzAC_dG)+y z*6Eh!ZdL6hP3v2o;{HQsZ<{~V80^h0Ws6O-k?DM^ogXcl*T|$V)}g&N;=R+W-3rO; zPIh!S)ldHlup1WGoN%>gxRrYSwNv7+Yh}GzHHRnaua)*rOuLo!9O2~^VW<>gXwi!s zx*F$g%I0s%R&7@Oi2NVD!{^4g;@?vuH(lYvUwu<&W~N`aPD@ue=+-TI7FO09ftu&e z`Hzi_xlJEDsLr?XsJ3=Nt(B6J5>s$>V{`M3goN#`M;@8QGgan^kdM;Znw*^c?%g{% zTibn)j$B(2q=5h4`2G90o9xCQ+M%H#!QH#%uU$L*{Q2{HF{h6mTPZ0i+1Sw$5EjN5 z5*kYV6BQNpZrRS(Hq80^=koXO>D}DiR6o{=IJu@DlBpDVuX*;Y-_oy%!JZQLLYE0{ zvHkleN1Aq=zi?r@loZF-ty=|!gfa?3A|fJ+?Pc`kLPJ9n($dy>dU{%3zI^QT>D->C z0v{imc@G)!0|yc^G7RnFoTiVY{RnxJyLUrOAyjlSf*c%k{r!TjPy|1d78C!R}lBaI2Z#Ur{pI*-k3!Yn&7 zxjuaO@Mbv8rGS^WVz4GWA~rTSB!uDX*RR|5@89(4)2Dau-&Z6mhu@Bl4*K%NfI0wzfrA!R&vucWxF#JP9bM?LAa?51Df>T*PG1TgRvxnb zBIo3EfOZ8$%8t?AoSM=_xw^VOHZHq9 z(w4Smaqj!N{rmT4n(u$^x7pp_l>L2O-7z&a1~W4=CJv6^t^zyXz{b?m0QJ9EqfgM!Ly?+QfRxwFDYj-sKVF~7K2QCGL_(W6IXTROC& zx48bE7u~pN6EhD__+0@F-tF6I4jedO@920lD@%AaBWGZ_@0w%A#_`l=Ay;y60&Lo_ zfes^$+sAv$c-Cy-R!~%2#mULpSmxz5zp!BXv#(r4T>Psf|MY6Sp2LqXhaXD2vpP69 zNO&%aC!N}bMFw_DYGE5uA!j@&%(^b6?F&M&+2~dlKAWy z-Sz9&>FDVz@Z+Cm|7NTskED0u;zhIXpI>&qxUg<%n}yLc+W?UxM>qpE@c3tD?&DXF zx%nyAqVn_S7^>@sSaNLiV(;B!N!NQx@AYSPi<-K+=+$p(w5wOYIGv}Ki?eRhm2WdY z+hI(?I)vj8H$9}pE)RcNtJJ7|6sW6+sHlI_I+c-5oAS>4Poxaho)@$JoVRw}mVLD0HI-Rqe{W$! z?YV-jxSiSKOhsBm=lJ@tLpFgMX@9!^ko82wxIO6^H&r%}7 zPr`Ye&3^+=*vN?Gy?giG4G&McA|e$!G7V{tc<$5E(z>mhOnLN(w;iVo$GgNCsTXP9 z)YR1HNB8Rvsy!QG8cB}gou7YDX1>pN%f(Wp_4+s|0pp3rgkwnLK9@T(+hQAR8t zG9ps1jZ#gltr-p-D!ABi`O>9ZQZ7G`>vMEMni7?F?Av$px<$F9d;-(z)vHAg9`r}* z%6s|J_;cnHlpfQ*H$F`Ceu2Tk<}Ola)GdxOR6g^=@w|&7)?Mlu+rqhO)vDGKcbCPP z7LCygzjcl?BU+0iiQy{Sm>S1Fld;a_utFVz8re6%rAzyqMw|V3ckCFd(>{B)Dbw&Z z9fjuc&6_v3eB(ZRg^%Vj7WK4}lE25|$Jj%)Z{B!Q8rw7UQ}grh<9BMSs&29h=_!=` zo?0iQmlsHB)VC{9q_$@y@_7A@@MqX6kLAe{7iMnqTen5!*fHObkPw_z)xWt{hfnGi zyNX6fMKLi)sPQKvFKi00*@3i6{uqznB6uI@gEE%a#rK9l~(w8S5#CKhRNq%{K%`Utc^yuPhxk~@_ zm#-LNXVME8m?Ls>M4j-U<;A%c4g3_A&6{_|pVQahBiu?uL!+L5b!pC~xv6P8CGULg zoz>yL#@d2ik8mGPKE=!X89Al;?c4V}W!I+pX&#TZJgs|*xT2@0cT2uT?dliM*dpGRJ#X=f>!m~5lS0TY!En&q(JXFUG4gewRL2+U0MmeqcF z(~`xH{4l3F-Oe1OpkB|hapQ_;HU8z2)DH8;$45JhukGKxXAd(IlQ#l$%SFvRB#AdI zEt~Mk-^ACnNT7}@RWmcsP4tEzzsr9>Fxvn%rwU1liIdY{;zioYILZEQm)^5FuMyuA zcH!&O-#+@P@mD@So5p_R{(}br!CQnYdV9-0+06dv);F3rPSS{%$r7KadnnKU~$xv0&T$0C1$ZxcK7c zbr*E9O=yt0C#hLw71hH5~JS(Zjv2ZQN!7&rMojT zwO>Da#9edz(Tm*NN)+n;u`v?%CIC=BfBmwXVp*iR{_LaiU(ey6V_s9y-Oa@%<*a~& zj*2a6+4xxLLG&RzZmjUn=?2-lr;!gH?2wdX=kc7;3chf87h;}G%6aeGFs@)^<2O}R zv_L0W#gB^iaE@iF^_}Y0KG1=InCER8#gVW1SKRwx5<|PXl>xb%Tj*#e^bY(+$<=b|D9uYHt8{+fw<$?Ar zV`1Tg`uW!7RY9B1PI1!!SqFxMD4ajf_are95OCdw4dL2G8oIh$DQ`Y}NKf8T`r^X} zHHwB^O64=we^0cPjqOcs?ONc3K}l6bWy#-VM8->)z$U9ll0iU*BV>o)hr84}DtuE$OTy;n<|_fcRFY5e z@$rdEHhitUYieyB(%7gu{^ivsAP?bUcDc6VUp?-WM?Yu}CjIjr8 zy_2mq;_1vvu7%Q4VQB9{iS~wFC&FgD1hbcp3)>bh8`FXblH_v z-&nOS8|dl5w^K>v=mOp8 zP=~?;1GnLrt&sEg_s_#ix>bHJeP6s~pTX^L+Q4OwqC?xZdE;$H;#_(XK#p$9ZF~Ii zA*ZD0qGL%%B3@A(aEYFd?y+g5e^Z`S%g8`=aMsK9`pu}_$4{TWd+}pTwG&HJ_Y(oAbIyG(_@qp~DVreE;xp zfK69^d1q%7@E!-~-VF`eKP(9T`ERjy*{+jj=SI$Qkm8*QN+fde0~>R#~`YX+8!tD00X-?9nx7j0Er(?ZmxWm5~&ymE}EI$2<14$D=NxN=^GslLi`Vc zopB17>ji)PdLE#kr0ShJcS^YY;6zrugt6?$zIFsRy|z8^or_FL4OAg>jo{D0~0 z7Db8Sl)e6tY8eu9D>Sq^+qAL|l>kq+eeYg|$;rvteHrIl*AP~s`qTAD2$vM=17YL0 z{gnaRBUMFRf0`5)6`6gEIq!`{lo$SSZe>rX~sGH3WFy_wS(~dptl~Q`_C5&jlel zTGavHJAm9MC@T+w(m^`$i;Ub1HcJPZ3<~@N+{>WmywS0X7x_;JO(uiV6At4_~+c`}-PJ?9JP^tBs6|M!H`gLWXV1 zwa~D%vU1>ha7_vP5*YeMRh0r#{x%sIZYwLR#@1Ga-crwgDmB<=@$>?mtO(&>K_xs4%$%(nB}=RQ%;nDp`mK$4{Y8%oNS_SV3jBo z8ylOMk*1Z<5vFqYrI)R0q5UV!cq-hSnQ=@?N_w~Ml&UJdZBKC!UW?)l8dBsqx&mc+ zK?BcAL?%#nNLN>X?=2*?JUx9cXvF}i6A{0D^pxyb-X$nVp;%tJRMFIw(-U?N1BuRnD~GbjkaO2J+TAVbP88(80rk6YuRc?AU4XgoS{6iZSvM7zSLc%C{k z^5)GO3ZNp909#r}ot~MUO-M}K!6S}m&N9mRI=!&onf+F9Famg}45AdvmMtqO&(qSh zpv~R6vk?F?p|Fq*)DDbQ0kR#`ln6X$b93|RYkuF3*LiaZa z{?mS*W#TQr4i6vWjgaGwc()uMA0PhWg&62b!iyIhFI>1l5(0==LTc(-nfP!V8p`c> z#;nt)Pw$wp&>a30=PQX40!#-+NuC~R2cnw1Kt{&;932Lf{I5ep{ir}ys1qUxl?7co zfSgF#P33u8Ek3>4?r(bLerc%;e#O+r=1=oAqKAPwC@3lMZrdg|+5gBC^w#+L!YY({ zu zl3fDw&I*Wks0&9d zwt_%r+x5zj!weKPxOYvZxIc-IR=txa84+kiKM7ReJ((*ZA+Zhk9`(0+ah7`cV}(e= zKXv)#T#JTmIkxzpKtWG2sS0G)d2xPi>HNStB$8WH35J#4PL1ZMlgIfs>geka0(>Z{ zsL*vdd<~@Ixjw)By$`LYLh`=1~wCGkE; z_L|f)x1#r3T;WPS4kQanaLwG0?%=a&=Nz~KtSbMrIA_kC8-Q5$7FpNy{P`-Uhg*<8 zE0G^Wz5aS|9&x=*l~CiTMv@k}WHI+@30pWC{@rV0p0@#BFWEH zNsfpzB%VWRHnFq&rvd?G8Pr(iBM~sLiBPJms{_NsEe_S1-V6G-L?t%^0tT^TyPZ-E zuLf3|jd#D^f**I$ZW|An0Pkzx;je0(P{s#QhK>k4y+e zh%oZ?6}Ap_A|anUUtZpVWD>A)4Wm8R(93J??t`cjHGtktNO35j_X(hQQ<{szA;iS| z<;$18fq@%=fpnRJ#W|qk<~VDlcpDfP6oysi*;>;|V~;8!&QF%F;prP|OUrm7(cao> z0>P6oH1IK;>Gw{2DYO4h$SkQ#sQTM?@4iJ96yiU0XbW=XNP7kcQWR~%ZO`2Ig0$4o z29c04DYqHH`gqxJP!R{NWW|@4I~eihm9MT2i(vUP2Sqa2q+Z}LhZg4N<$CI@br9vPH5&%LM>F=V><&bVzh#XlkoTdVlR=2X!oi z;ok=)FDxx3BE=6k#1G>Gp+7M2$Z!H!D4jaB@pFM)19=-0t{FCeEko^010Sf-jGPkQ z3C9Aia4Gjgs~{g26&pK*3<@ZU zz<_Ut3rYs>B%gR-wlFnBbh_0HY;T-6l}d72NOU{`W~r#J|3^unVRSf1993XDWXpLn zUM3VF=Q!ROK~)J^{I^YQ`vHG(!kJK?nSvAyYWmfztagF3Z)2fn-m+zljm`Iq!tQh9 zx`@g;FKB=whYkgVhOU=%`SH7=!wHHmGKz;U^B=M>H*VZ;YXQFR>+7RXo;`c^rq^rP zFiYLb%ZqL6)&o+95}AlDC$gJQN-7otx8Yy-qE{;B>g`kFQVgE3VjM&`L zl1N}KN`=v`{fQzL|AIUjYTRu|$dCxGaw%TmlyVNaDZf2K@8wwJgSL(iWM_eeiH$)w z$H&J5YX+N!>K<@>D6?weUm=GOvUcuZI^zd{ZQ=X!396DJbEAv8@*`}bH}VELxj zMV+k>33(63+X?6noqC;+kWl8}GX_~%*>vPys5g~(LL)2P_3K03wD$w1m?Qsg<3;|? zE&t7N$hHb_#eVAR@h`>Ka?1yi^zcP!!&QKWXkpVQCK2IePjC46lE-zsJ&WadDC2jqa0M3*?ve5cKxy<oMD=Jv9nI?yD(?#>WK5kU5Jt_3AoomjXH*is#RtSHNyccW9kChla;B zH@7>!zAHCx-hANlR_xssXXngA83;^TZwR8N>=wanNAcha3SUP?RM6-*Tnb8(xT_vDLz6ceg!DvzXwc|KBRodZVD=5QL`St@|$$;e~Dg#SiO-JKEcoGrn!5zwB3h1kx%QW~jG6=bm(%9$buJn@bK7#Nbm5HG;PaU#h z)qNrTZ1WmMbeiqCl!Zpe#wu!R)?h<~05l0rq-bPC$4j~Fv;9)&LonjdQ2CcHoY3)a z3oikoZ0F;nh1z<%_WaMOspl>M;N3dE=eq1j(;FoL=c}*3pGI0*n(~Hl!p(cmZ3FfN zA9$9L;TIPd_uE0~!jbcbDlST2^!aZu09x^z6lf0}I#gI#xQ&L4e=qfMjYvo{m$VxTDqIbu|H825=XA6y zP&wsJpWc+H6e0lH0QVxAtlBXk=!)U4t0px`Av<~~^%D4R*V{r7>pk@_Jx_aWl&fwTAb z>fXSb^#O#jiI`A29N2z5yg*KC@+*WBWB@{08Mq|xQ6)0CnN7z#b0n^QV*s*f$}v~Q zD}DKQw1>9-PjPK~J;jusfIzGVYAD#G=76>^vy*G$-5_s!Y1v);u3EI4d zhKA!^1slM$&-Zp0nEnHaED$!7(bgi}GQ7~?g9i^1l;}L(>2u(6yFFJx|9@!D7j##0 z&~e$Tll{1-lNvI`zE!1st(@dI?#AfsQs7pBER2&onuEE=G% zX3(BcOa>$wr@bVd#%`j0wFb@WsuvgPzP5n8t<~1nzUk-J50uZze_rn&jS^J*-?c@g zVYDNQr#)TQcjt-wCPm-6 zs3X_JczJo*zie+n$iee4J{HvOUvfs>$;FZ?Mjp!i?h`fKD>9$?9me_C5#a-DOUu#K*u|U|P8vRu?lo zw}G-LJLK+*1cRe7@GLde%JC7nA0bc>m{m{K2(BQdAnzIeFkLryHDrFY&{lOgL=7`B zgMKC?Buq9>4A#AWZ~wFJ=+2$yEJSND)jI>-ms{HH=Iz@|nTaBy;Ei;Qj7so`pzpAb zqR#5+Bj*h`w|hT#;GA7WsdNS+5>1Xg|>-{UP>HI8{(>|H9%T@8QE+fgEqD@LjT>SixI?8vRjA zG9@{C2YE7D=5n;Q(aH!64D7?!v!6PBnjnR$w{KUt7O5|I$Phb1VWC7=i>RG98qf?a zVx%|m@L|Zp^zcNT-Jz2Ej_va_{lh;2jwoTS396qC67^N>ohD z?(u~@hv)9WU1MXH2n|k6O(iS_&~Xw){!5t`4}!u+f!E5h^{KY0i3tV2291FxPRhj} z@RwL@(A0o3)xKTvIGDg~EE#Ivc4=wDzjq@e{UGx~ZYXJ5T(yFRNEMeZ(F6P}XbjiK znSvF9nGw&D-y`)d(ugjeu9qTY3%Hw*t;gWCq}>ldK5H9x7wQEOLJu6+43Ms(u3inf zinNb{6sGiS*80guMMoz8y~MHv69eDQo&Cte zq|2XaTowk_LD~@>GCa_VvVLv1v9)E~v}x1An!<<(W=AKdA+8fMGc#Y6zc+9XVS^L$ z@>n(oDO^ti-3caeQfiZvuL?|3<>(RudHnqOQw~VT#LBAnV{oe~3hVZL`xv2P6gq!r z$M@}%l@??TZhCdqV!=88#fuxSULD4^nwpudfNp~Asc39ulKYdmU=corbpqbKQBfhk z5SD;50*F`=7lfQ}ba$k@Aj=axxxIsf58@rm1@U<;bSGOQz60n=tc1mbQ`+qwRWM`) z1SC_E^qQK=iR=eM1@?!=)$MI-ef`P5=FpDd^1?}|`0#-ND(w`n4bC@rcmNIrd|@;c z(qTDs<|a1s>$h(MkZK7CKu`l#+yDAu2=FS;x3T=wr>)%F+#_8D!mH5^g}LGCT+Fkr zwzoWq!3ISVZLq59>V81sXPKEw$dTar8z5F!w6$$UT#kHxxkp@F{9cUk{{5S3YiqGu zF~!@Glal0+A==wn!H_C}OV*=~p8IXg3lbf`$R%%Wy%*mU0Kg-+jpjBfVv^2&72n zp_iy3L?j08lW?E=_i_+R2o&wiHg#S8^Q-^Ik9sGyNc-8bv!s5*Ca4TNhLwZ9>jzQ2 z5;74!5pKg_$%}V^)9k-}*!ob)h0&t^VfiezBOy824}I|3f&&~|e=JY``lWpIC=E1+ z1}Bzp>o;%NLZCi+vuM-`JWfcU0SZ-wFvy0$R-+EQ!Ez zq~EaNDZB)?@%@tv9%CrVHl5i%IIe|ZHL1WOaDXHNd|W~HUU|r_CkbB^0R_|Q(xqm! zRRoV5F|g@*4L>D$CY-Mw+~LYd0Z+3^7jHp8dlidpCiSG4>1krM}|7a+7MV?zW|&%AdM_ltl_=Ic9Vw_n{ZK@G!qk@VH$ zW#R?~22}X(I&f(~>DVnOCUytTqLY9|NHkWT^Q_Pj6Ut0HN- zy_xcjM4NcGpkSY5I|mdYMnAB4WGM1BFt3bY?+t1O^y*lbkTaW~X(a~YOOc>6j7nnA z_||)|Hd5QrP#uAn=+f)?!1V|>{3@Yn&1<0K8z^5E1>?vAC;)-wr;sZ}G8vY*MN)MhLi%Un;u4aThfbLY zO()ZQ*B96T)nF9LSR6ll`R?7j$9#NzK(yc0)C55I0VMWI%gh7^JQx9724>WZMxp}o zp4FVnKeT5KoJt&ogY0L2KRKY6Q%y2d&z)mckCTjqP=dct9iloe&RC5#C9YXZy8=b; z2@s?`*YTY&^4vilnRGqEF6C^U_NV?Qe2RP8oBqJ3VNj!0 zg!o*emVW-U7dv>6pM!(rGgQhnsZ~jI1$MnD5Pmk|R0G(i zRlAr&8x=Qy%K-P!*NF)YI64fJPpw08--#ZXn25+@z}@_!Uo}9}&j8_UCh3lUM=frG z9Yw`MCjQ%p=wl!Z2Fe3xkj>Y#iw7c&2#Sm6wUr!-{W(@`#2e8__8LEmj&IwyWqYF< zlg)NT1L>7rhjJ42pb*}QPhDN70b@o8$*R%XdMfoENUM^3!fn!MhqgskxixpG`Y#05 z*5ngg$dbiLyPwla_)Ht5Ade;=9}B$|h&=@5K4>=rIAH9ce)x8%j2VW7_CBB!^6+g~ zZ+^;nOkN&twkJX!a?f8TCGjD=6Ju#|zXkw!ULdIe>HXf-8(bUvhv6ZiL8?Ri?rf+%j3nkYVImJ{{&?~)zV z<9sa9Z6q8Lg0L8^LmCbPlo)}T>4Jr^G4IZuerV;tYioTQT4W z5H18I&%|B@6(nvi7M3cj@&~o&#i3I+BNb3@Bt5@$`LY$Z5htuQ-?tUi4i37cj~n=t z-lI5^q}k)O?AiYGNi^VG?fdt)JUl$~s5`5Kh3D{Sd^tMlV#<#)+JInj`dV63Pam!$ z{s>5SPo6y!tQX637K;v%S^j+$`TNqLF#|0vW~9p|tTxI;%35eqtuHTYPyPI9+2$Ly zs{%IZ(N#%U|)!zXLve{J0BBDOK>&C}90g$|d)2-&e)# zn}ZT5Zt{jQ_W5Pn=aBF(>>kq}50SJ14trWJ7V*Llg(Bv_<@?Q_t*PKGwI4r*qR*ef z`c!Yv?%l-R$hueO4S5xWIZ6MpVnT<#9Pcr;7BXvIe%$B%>OHfzh~9a)C5fZ}W`ChO z`sqjH9am~b!Q<3a(lSoYJM1xUPuiB)gK^dfRY!Qh3tzo5g-wG9?i~(Bmgs#%$$H8B z=tY-q{^=9aCNA}KhspsFHe)j@>l1iDqYm1zmoEK~${ftQ_twrq|McmVYu2nGZfb~1 zLcL?3a!H?axqfgG;DZs#!STlzhK z`&j4+atFYK^dhIP|GLTPeq>}n)>09;1v>RlSk!jU91LH(b}d10VVs9=AaU(U=em&h z(sRjqVfn15lq?7tA{@qoV-Ue0QQzEh(RwXBRGqJ`3gEcKe5ig2zS#Nclj+xY5jwA( zZE_!gAyyz|M8w3<15(e=&%c4=9OeHeC=O5)hhb)_&GP)DIp^Uk3V)ZNb`!&>+cfG< zKV&7JGrLz&elB4vXaH*g>E21J+dI&}xD``V`KU~_BhnNIbU=q_=g zxkb61n!4)`b~?{-^wbqcM?M%WC9ix{NvuO9Lj|8a;eM;P_}X0%C_0KwcTptb?>PV6 zCInDW&0qu=nvhX(6d2-2+43LZP|m}5&@EjL83zKAuAL#M{=azn_3J^_ehG=fYNOy3 z;`JhF(yw4Yx~J?SCf*h8S^K&UBR4oYI$|0Eq>Y(o8xX7CFUf|wx*cdpM{+;@MhZ!U ziUJh3k46{K{D6T=5t?Qa{%M35Ir6i=l7t2l-Q^dXM(XlCF{(le7)2A1jH9Id3}D}? z)vNCm6u9^{WPkfs1b>{Br6oZW2``ZNx+u7NfsNLv5t^d}W zXSIpuF{}@zj@>10v%K8l9gocufRO%KXn+4d7FXf;((|<&uf_XKOv?B8>v1q0;mzRXegEM@5}+wFB}UfkdT#tM z6{UIa`mJIL{ojkj;LUnbQ1Eou=@fDIXoy_!dtGwu%K%FpYk9iC=F^MhrVFvJzrS{( zDp6v_50@Yq^k60A7A`LpqO-Wi90m$cI|aPC0`XmfA=Cypi zL`tXB(nt{`jFW~;(_jP6dTrPv56x^V2S>sEJx%pL<7IP}At!)OCcs8=YvEhpPGoo* z3ar<&DTq{dh^IPvmdq3rNbW*C`DJCYppksbCpS>g)1iKxMw0mONSeber?9%q>pqGq zCl{B)^fz_Cm)P6&#HfNuHnkB~jLgqP9AbFltlcB5vZwMEF>3w(?EyW;FWvYPJIfNRBosLy?nv&{ z6jVAI3Y)m4X2~eAw*yfT9##(V3m>2e|5b3o#L&_o)yytl^}l(L+>}!u3EKSP*6oiLrG~hu_+-_ zQQm}X-LDDd0*1Ypu8)w?-*=^-*3-KM1;3Bzxo6I>Ko8Y4H0&O*k!^r^0x5@H-wUD_ z;1NsyUyIaA=j-iI+`*B*^aUC-BeH=_S&A}@Ye?UpSeUD;lXa&%WG$*So7TSZB zDg{C%kk~f3`i}WCloKyHE9<$5=6o>dj@OLW(7VAbQMFy!pZ0-k;PMp8#fulGtl+-T zDX`@N%UCZgEPT`7pI1!mMRnJ8BWLG)`S4;y@V)$w=ZsyiPC}SCm#*Ujl<#L`rYj&T z%Y$9W&dWRFs{hdmI@m*5FK#qSFVBgo8=AFo+P(OWq!ve{t2POoq?L9#Fd6$5 z{9Ya|YK%^hVJHmDVaTj_Zjq%NhNo~I*>kQ^V>8^gYp-3qMxj8z_;)Oe*TGJR%|hck z{U-&a3r;@EsY%cf>)ui>oR~M*u&*uDxonL%$yGc&@vL=Ze1T$Vzg{G~#y22f4e>3& zzeUEr@F>k;^_knRhG{_d3=)c%EHA^rSD==$tx zWsaj8X&ysyI#l$9I`cFA`Ey<=DXES0e)sO&X+EE_L1x|?8DqBMi`^J_G_5y0ISJVZ z(Q{Z!F)X`oXllch+TqN&e*M|`>mO z!Vf1t)wLU0biIE4`cM?i=n6<~wBBz+ww}%!{zLuhrn_NjYHI3YL)VwItwze-7K+x^ z=@p+fpZ>Bxu`rgF6=Q9@{=oIPKTzJm4bJvw#70H6zIM(Pg_AD>1+IBfBL`IEc-8M#!UQh8=v_%;6N7{$mntr1`7<{MdDpKq7mxrsSB zCFM>;gqCmJxRF3dFuf~uX6O*Du^k{+P1ll7?fMueRnSzUcMJNf=bzaQdi}DZ;sE_q zP?aLZykqW&8;w)v#y4L(qkHzOBFKOw(&E=6@Nf!qTAv?!A4%(tw)3YxQHZuHH0@~f zu+ykc>;HPgTWSU4IpNafH&#ti4`M7zkeByK5052`n6u-bPAB|20&K^RgPHv0$3Z^6 zo5+ir6N1S*kxck`3GqZ2XzA#%0V6blX^xV!>772l7aat@xqk9XRoxq zM5n6Pp zTh6>&Y%`S#@bjzPFS87uk$C%;TpR%2spY?aHs}A<-VE=%wA+m9;Bc`;12@r_AO-;K zQa(OBeE08k{BmP+@`)j-_gT5$3G;?IAtL^{-6ertkRzIC9AoZML9E2x=d2fc1k`}7@4#-?<; zn*jopG1EftIk88#rTQ-*YSr-cS+@_i7tsH{7ZdYOuvB$NG!d19SnX8Z6%^2H;#;|L zC59})H9xetYhuVsDZp;10)9#&lc5`_XB`KDg}_k1@aE2_EiY>?>{DFJz`%z?dh+cz zJ9Tt)k7Mi(IOSDX^PQN|Y9Y#A-50d5NUX%436$C1(Rv7o%D^c>dSK96Pklb{6P4oU z+#Eb`iXI-t70PSQKbm8h_%9>%KR4eR3KJV!AjB}ZZ@nAr?9c8?9Kci&k;UJg zJNg|t`wj$G^@kEUFGE&kynwd&uDsj_X@cc5&GcEc?YtFuBjhKl-v}BZ*dWXz4w>MW zXs&T?_WN%yz!qbVqmWk|(LX?^IWI+Humc01J1i_L@SvyXf1R|6#1{iE-1hfhtq6{M zpSZXASc72&4&3aq3ROA*#PT$l{w^}6Byk1y&C@z-gq2=FegH`hhv~Y)iRI-KkT??* zGw49}T#C#_WO&c{%+)JbNCEIOZ0S6QE-KLzgA|_dPfTX0p{>B1qoYQgnM*&i{JLLV z4FJ@v?ddT}c7B+fn|u7kiL{Tu8mxri(6z#NTPyJWgC2*lYnNaF10AufzO@+|!o6>s z-Jd*NRfdUg7{)sKoF9Ln)`E!u-QPvmnoGjo8xKvG4j2}Ay+C)FS3J7?6$qMljg7Y< z51btfd^9pT^Z;We^kwgFYCS?DXbhbK3^@wUJetTThq3{K)&aM)o^weH)%e-j`&b2{ zV;Fl(D*9eN8~v>-*J1-~gkgAv&2Btn9ZqPPUb%X82fmcZ*bu++p^I3dJ%l4~1z2-N zORL-|$qh(O9%v@dZT1p6xk8YsLNF$!ge_xXW=5Mf^0cn*@$&L=P&&)D=Vzhcljz zaQob32?r9bH?CqBfo>?YHN6eTBN6!R4oHEnzJ3b?)WWb)Y4c52?fmf;tm^9k~Hc6J)bqeGI67O=LGNt~p# zv=bOXN2-AB^TM@1X2upsQeOuK=8Uj$8kJi*Li;5*y|n? za^#y@>^ORfL?cRH*?Se=X!##m?_E=q*3eS^-v20KyJThK(b3xoo$Q@*C7g1c(g-)I zit1(#juR+;h!3mL=45(~OWKMh*RURv=N!?J$9vy}atZiz8Yb2g>3TLpU%!%0%eyaM z9)ez3!4sg~!zUjH<^mkSh~{cUP|#W-oou-w$%ni2F;Wo9Bl`$K1O&Y%BIsiT!l1?t z9&$0ULx-MXP73nB)(hAJi9jEuz#AiKu9U`eZ0EjxVXHTAt5L|Lk<|(1>4reW@3&sQxD9!TouJ8&aQupJ<B5dVtT(Xe*{5ff-5X&ZD zNc;B~2I|%Tdp-xPzp3s8}e?;n#zhFe?>Jrsr{+Y&fGKbLw+9hQ{bNNH|w zPa#8fah+)i_XR2<^01P>G1E)NVE_J})<6&CDBRcB2{sIrgQZ}!VLfIStrXo7i;5(X z?{}buORi-AG$p+NXr|`SL^ZXwl^q?$K`v-EY}k-8_#V>-4CH2W+Hq@>JYuSCyPO?mSkVPR#A`u^8N6%d>;BLdsRCNyD*kzEuQC}2EBjO%4L8dOlr z(IpN8ju+($XhSqI6IVRMt;Z<&5SdY+_Vh?JorSBa{*iPrM($v{hj3g`UQPpNI=O8G zHe+b8$us-d>;7{y2{cXO#l{&pimxT!QS`!bRl@euy?exX^`2M%b%IX^J2S9?{Xb09 zUV@X2oxK9L+Z+pE^aE0bo4%XP-$;l6^3YML1*~CjmzA!lc762ZO!;W2BUq6R1NQ^6JNfuuJBZ=uhO)V`N znfMJ5Zzs!MB9Y;~3sYDcU^hNlE3bgfsKmNW;+r7_ZO1p`vB}jZfpl21YQT(YS%{V0 z-+Cc1Ct~nS5p%|Hu0(}Zj`2YNCoWMUzj*vCU(*R86C;`}-^hf<04mNvMGS6Z+4q2$ zYcMs&0O?6&|9)Rco2YGkdgmcKkn0|>@5EVy4#ivep>E&3yAoYR^2(6M;qtI|cJ>FL zs><(PFRDErJ2f+U8nl?)2LuRMK};O*G2j*#3MS*og%{*L8Q^J*oRQr@gb}|6G)#&d zMyinmw(;WeR#1>$wTz6yuwFPmxavgZHw-#EjTk8a@nnPu{RDUp&lrTvdtA@`1Zx*RrS`q_wHT0h+kb9(uV6+9DX)7Hgpy^@Z|%`&r?$| zWqG#PoM`-XOe)qo5Kmp8IYEsu}-Hf9;i5(5V|*$;{-hW4s5UXroFNmp34i2oCjVpQr8gsO)A zH<{uFQ-lJ)(Tm6al>s@-2oUsPHZ2zbdTewzmiD&Zyp)3RAoyZ#H5A1kxkkJ?lUrQ> zJa{FyjjX-5SLryltdZKl1cw>E@$vKLyJa+=32%cLePF-pv166a4a3&~f`M9A3LBSJ zp_9=6{ku@~hJ*kt)mu=t>g9T*XWVkJaajs3E8KRIUS4L0*bP+qJ+Y30k!JD&xXT3j z6Z?pU6tMw0?9uW(q2+Se+%6QtKp#4eim-{`cX5jEJjS}C!Mc`G&cOtq#epm(v(q==qKShLv<_%V43|u)!KaB_@n5zV^E}uC_W^R)M_Hu!c`go zss?2+Dy-rT6C^kcRd2>W2Ot~w6 z@lMg-C<^mvVG=hCN=1tKti-Kbw@8`>--{08-2`=n$j0et$&L!{U3=K;?-At79NTWm zy+*}sKt4aGr|&MvZ}{CZusBe?F2#IC&^l*=56XF9SeOzhwY7~6Gb`&`$0Y6=%wZxQ zm~dnfQzMzrf{#f}+0>~K<&1b}Nxut6hD3>+oVQwc^$dSZObl**FqKpauV7s|2_zYg z%bv`!`(#c5jv?5NqQctDUESOUu=*+|PhOOyPehBIY3tS?Fn&=kzcv~i2V^BbOhF=` znQ?awGB{4B7+1zeh@_on!WZzw=dml$5+s}_dO{&nvLZw<<7gpyF5JYzf()~8_ugAZ zZ*>iPJ@zgx7LxR7T zE7ub=+e#Jh@8q)1dB6)WP6qygqRC)hSGw>jJTZ(&EWOV=TFA%(2r2oS7A+kcR3b*O zx4pQ50LGYkK!Y5}>9$wb>HQIEvKEjYH4QGgmztKg1G@B=bg1gp2dOT+c6N5Ks__Dn zjtZW7aR0tPG@NwfveLTvwR0@kc+$=##|FNDJ_JT5m=h3HR2aY3?6H%%>I==4tnU73 z#ct>4Uk%Js4hs=(jr!=AWDE4pguEsFVwV>>#e`AAkb^Vq=8HfhBQNM8y!-fZ^9HTU za0NQ%ozyZO|Fqv7k16d7R^^WiNyrr=q)i?>D;4zgsYN(-$0TWs;?fCxA~kP;PlrnY zV;8WDn8RX4e5eqffF@}}xTRx8E#q!U=RS~`)Au%={kVw4C|&wzP9GLG%yfB=>U7@% zTtZ!B|KQcw4Q#v~cS+Si2EZd;TER^2eSmsxct!JJ7=V#C(x3i#a-h(hn0IBr3BUrm zISfV#5$jHos;VjxuCy+A94XA(VP3*YM!=MbvONHvecocl-J=jd?XO;~#K)6gK#v4o zCUX6Pn)2Prut?X?+{3}hS}Na_L5 z4RX@q`N#bRWOxK89a_lkQOgh{kMmidPB80_Ur>V=4_C$PwQc`3Ie8S-r6s56h=xW3 zx9E8ol0?anqj2f`3i!g*YD{Sag@psqU4rM5+;ax~x)1Uh9HZuv?1`O|lgYt&@n@yF zvba12fg2DP$JLeIdlX8E%83)l5dSS&l5GIz#N>;Crj*1PR}{a_*Dk^!Iw9!V;3gU# z019$TR!h_Q6AwIo*_S)^r5n83h+M8# zGunhqMVzr3G7Gd5#nUGXI9QZ7BC5&9IH0^rAY~CAWZhk~8Gq0C+BeS^ES0o8GJ^j= zyN9tj2mNb2nhwmoWOx!-!UQAH=#W8^UjxY>n{gN)w=cibg(m9|wfD8l2Fy2;!5XX` zC%`Ej@J@BR>;P8)x*7Kx7M(f5vg?E!a%q+C0Mhz4F|mzglmgH?I*dQJ^YUDCHS5y8 z^YcIZ|Gj2dyuZfcdFT#E<#R2$00#HCr(Y01n9@WBIXQLBO(ga+9 z|Lg*oOou2b%BB7-r{#<47X9(pY^Z4jDU-8((7N-@L27{yBxaD;*WH$G(5&W>_;Y{{ zajQxAsD!lqpT`o=O$a_CzQM`I661k>8HsRf0L$m|+_{(S6=|sHnR^`#j z7s;JyD_4GMzvpaLQ}b_&9I#{H9#0B&z2Jqme)@nF_2CJwy~A}7YRVCTy)@1 zXwfRl0Glv@kbpd-2w9rF@wK0U%9@w zhn=6FA6NE`vvzzBqJzOI>hM+mf55lpJ09L_qNfB{wh|4J9PAgg#cbaJ6*~8evY2y&nN3`k)At{VQD@+d~{6%r1k(`?P4- z1u8t*Cp`rBvmpE$wMJk#Gyqle)hA#|1Y%;M%>= zQA_C+QXeyBvbQ`gBDW5Z3%TZhyq@^^$s!)9c4OJ{Unz93KRSvlVdiiEqLEsSk(`(H8fsBzcoDE3+C%1o{M?a7cw$3NKpfr3*s5H zmms5eKmZiNN@3PmF9Qc(s8Y+#L%)plVpmcy!o_hU6JrVo4!k_)W!t+3H{s>YIAdLG8bMTa$AFno2zj|{NZ4K-uj3rRn#EeqCy zJ)=}Akp_11^Phs7&9KxX8d3#uWB_)?co@R0P7JkZ=*4)HqId$a!j~*1bsEPr@q$sY z>ro&(8?BoA4tR}itFK^gBMhQ;)t2y=g*#5&JMTg zO_coN#_Tp+CQoquR>&a(3>ZL0%|ntEJ8&QwBwZ6s$mUC71Vs~51cIWXIZcxIxY~}6 z2f(SLaAn!J31@sfszCY@#5+SF7xUriZ2o>pn%ue^PsI^81?PL$)fGzwC^*|t_SA5E zA)RYt3c5w>^H<=Ts($+sL>P|E6(Ug(WrT)Y8iW*dsf9}JdcxB`MI0(MfXYPxZT`W< zOX{W0P&U!b4CCq=I7n{fql`d#vzuB#jI>~8O6uNah~f}LyS^@x#u;yf%J0_+38ua) zDaUaG*jBVLg1od(o#KUIMyYP-+qY(zOacQ1G3iHXgp?6$H~~M86ddtSch_s8$?JAa*} zKA-pdzOVbbUh4+AMLO{aVSX0mG2W*g7|Hu(Cw zAnDbIZ$Bov&A9Y3=~8c#pKvJa_P!eLl$Bsut9LG=eQg)kt)%#1kROl70l)r!B7-;R zoQV$qm=GJnz%9CvLXEM%L$J zUN{X(c=Tm4)pabD4kY7gdHKWV9u=M*9yl=))AS(ST`K0`ArZ3|p&>Q_rP;}} z;N~_=st zmZ`jkwop9GX%2>|w{j}$W6zxv4|r?0D|WkMUc70{2V6t*D?w5?19vaWjZz-6I1TRs z2K=Dc&U;=UJoIflnWExnpH6s67b0a4MJxl6FT`&17P~)z2`Rke?xYhEcYuPuK6b z)Y3~G-%?)}=4LgmLr74Nc9*uNNGlbP5%P)yFYlR)oBgg*8JSTex2iWHF#=q}mUZF0 z>Ah$%T;E#?=tK=#6nQ*uWS|)sCZbyjyX76tq(MVvdfC%UE3<*VX4fsu8UKa!u{w2; zng923+j|B-LeF;K(4k!*!?)3|ndnz|y1PpsJ%r;EthYJM6Yl5>Y4_%io;h*i4)+Xg^E1RDh5i(9|yTpRklrv%)B z6Q-m3JkK=h_hLCavk7I{@KQj{>8^buu5NWZ=BH5OZceUARIJ!eddDvx z`R76YhQ}{rrb+VL!ke2cN@K=2myH4+*3*j4&6~c_6Td}Nr2Yy-T9VyFT5ZmTwuhO* zVNe@02+QP2$fHIVqfHVR<>$62j~JYjCwtMx0ZUshtWjR9q6&z^U6w3fp+D*vff{^x z72uIPCT!V0%@N`plAlAJ*SeP&6SGr`X3Zu-tui_mI9)pZulTkwQ0^~U z^o>6zqlkphus#QCne@itEEt5)nIdlo)=7ri`pa=$eGN``g<@XZqQ{jQ4x~qrThXn~ zi;m6w*npCvA~AH~85-;ATGKg^%@#n=3aEGF*m!5>bHTI?GCQZ(Woz{X0Kf})M$pa4DN$6RvQE2BsI@*G! z?utuAdxq_&FJ9!WI;wQo_)iIZt?}5gTMzV}XYmQWIi*KKfN2tRB|8q;f_^8<1U-Tp z+lk~04V2OMH`*X<`tEfsW(gFPD1uC8tl#OZ_y5Tp`nDT3BU zs;awuXU4ig5p^1DtJLI9cHYn%%a2`+^rWBG6|Bc>hm3bTO!kdn#1D z8G%gkdYq&^ddRSd4{#R*PhVI`ASx$bOu2(nsmy%v;DETA2pMAhpQPE`q(`cG=Z+ok zyyL6c}bTW z`wt@g2|^~Xy}GcWF>CVV{rmTatui|jJ~%%0<%QxNIy!rR!_8>04~B-`-Jt20nUm9p zW74VBvVX9^n_63k(c%DoG=>Bl=~@{fj6BPVjP%Hv&+MlV+mDN97U5rciH{!+JA5}E z^`7fzFvWz5%VYuz8AYWdgiQOH{o^Jh7Y>Y8Le{UPkbu9ZWM-P$76u+FpxzL|{?DA* zn`tSWh=b6LQ@1+BryVSL6T40%_wdfCybua*y@ z9d@0*9_mN-5sFGR)>p`y3;*sIP!lukL1AGA#Qu2*dI2u!O3fG5S1f1JwqL#`42=63 zZVXwkxie3^<9l}magehPU_pe9Y=N}3_bseTj!t@DXR2mZX|XE(c{S+YKIARsyeP8P zA9Z&AdB8<>Cpm05R1ODhLyIDrilWq|*UQ+Tc?MrkIvg!KcRT-4G8+Kh)`bNv7y^*; zFr~fcyzA!2Mrq)Gl>`@tg?PxzDDBH7fIr<~bXi%tT8*~+s8&Z3cYb+(KiafwRQRv8 zwW)|01y1CYk$^kq<85!9bp8O`+i*VZSbleEUQ2_DLCk0J?aK^%RP04?BqWdyx3j&t{ruQfj2fj?O3mwd~IXu9Rh;g3@GC~?#qecQ zP3$uF7fjum`ffOfm0>oPT}fJ!_(^(Z>9TVVl>H5G4gj=cM&Fg6HC@)&?g>UJTaH%l zak=H_|BFY8kd_qkJ%ro?x@O*u7_L+FATP8=CsPiM+0Bqd;ZT&QHCW~TpR&L6h-v@R zfZ}n{|H4Ef_Zdk-1ZKq2XG%v0hb1U<`u6X?;=@<^Qc}5^b?6Y%+}X$UKgg2Iv%x@? zU`4;+O1sRy1mr1_@tBK&IF!o^Xkd~>f6TPIGuK7?Zu7z{HgxES@w{yN6)VgnO~Y`S zHhXyk0Wz~-P#K?F`=)ju7-B{frRoj6RP=0>46zE*wL8h2M?2GZ*sx&5eRgxt4+9TX zGn5}8$$9N?%}#ntn~MJE?PMK|mpC#xhE7CAj%TzKo#1id}~dMl0~(2xmg zo*Qc_4}bkVhSr{*(Ea0!-$2p^)38CQySaCM2!ZYk`+1v<47ax(7?(lTmy9+&KFM>M zw-)W%{n7BuDfxIVg5K`Hd-O5PK11F2>;g;`>pG}jYGGjqc75xjMUKS0_<}x4*cu!UFxdHG zu|;D%8gT4#VSau}Nr~0&GuOuO5IQ2#uM!!?f9tk8I-JR?VRfpVDL^tJn^zJjLEKkcodcyDb%t7~DWY8o+B*IN75jASE|svJ-G2Z3^$y^^fR9AAD2U8nem};>+IlaNkPbZH#=reGmW6Q2et$@a z2>|iMob|&s$t;@RqXernn` z5+Yeun}Qs_P{Q50AwpwveiEfB?aKG1Kbg{>^U#HX!;2J8fu|=RykJ}Evt(T5=<~w@ zQ_|Dbm|I+evcHY$GTqiO4v-+*DC6Zi2_2-htlAsW&hRX;R3di(=sap2#puIkP6d9J z^qtDGq|R(&>kHc5&1yi>FJ#U;2Sw?=apU0qr;plwbyc*F-bxl+AnGKr0fTE=Ca6WY z38Qpb$+_5AQGx+>IG?xX;~*6F@-4JMo~+sYRHoHlHU&Z`@9pD`tCpE&QHY&T$*FoX z!kr=EIOP-i6cmRd+2izaVrGYADtLQ!!RUR54_icfZOeK&3yu^BvU5$r$l#Tz6jB&{ zv5<69ZjOtMP2(m5!}r0XDZd;J2E_wgnV#@j1augb{YvTh8OXfqvz~`SfYO0BH=8OL z5AINc`feVG#DpxUI}j~TU%lGNFr})hYRo*9yFT9In5>54CnV_IiF_B|(|16P&f!_S zcv@qh)Mxq@9Y<(3m*UDCHLd6-;tcqr5;YsH&2ee{M-2qy-Y!9|$Lkq$B@uY->(e|< znZy!TKi-B;i6IVReHYZFHW{7h1jCN`<*)x)J8TpoqSS{Whfdep`j0k?67owxlbQv6 zdhlFqQA33VF9F=?IM{akl~3Sc+Y%C7eG89r|4>B4`l}165mRFCcSYo32sQ< zLKFyeFv5Efn?sIt$=i(!bQ~OBswFBDa?aJm8z!AUwy})uOqt4{zm4?vYP>_w4Dk zFe`Y1^ACOr5mVI~Ntc@Z#~>*Q!^;}| z?=04U)f9>kxN$2+U&_SfO_P3B-JU*yf&MmD$4ARHa!tl|sF{ZQ?>6>8Khda_sj`!J z{AfjI&Yhd@^x|e=enCMG;uHzlefN2)PQfh_{+cM{u9clZ8*DU}|2rc*EwBM^T&8^B zBto{Ue|%dH}7W?q14?oz<-eJwi8f#rjMOO=hH5D0tpLSruz? zs##uQ4TI8PauAk_GVqk*i)e^p+zJr<3nnTF;C%t zovS}?KOr0iLLhkh)fetl$)FRel^$$qLeS*$09qKkTWjdhKE5;qc#s6#L5prEKICkD zQ<3_z$&PWbo5>(GKRU8xIHNknL~kAwL~aM74G-nJM$A{dd9&Bq8z4L!U99ojQ$bT0 zhJ;+BZ{8i=pFC7@tdOqFT)1!#?5|9Zg!gjHl-I*BWROZh*V16CakoE9l{RyD0!Sx( zf`i+G88M`)Kyy`BfzV4L2x^XE{b6HTrEu_2yxKd*Z9cn*h1NhtEtzYuZ*!`#UppEN|hMk=JhaVD%Hd4>=ZYvm4EYlcArM2hQjF8ZnQ$jO0NW zB8oiguXA?b*Q%c}jPQgAGz&iSBu6?Wo++H6EEoTuSOD6*;yG8O&sN&kR0JMi~JAC1ZRu8S^*`(4Q(abx| zX{toGgGk)LWDBpW<(6kle_i!e+)vfyxbXeBL(#rvzqvD9&0~yCoNU!jg1o2BMFrM zO9Z4&<%K|PR)Q=!eSNj`X z08^T{{af0qYC85pW|*;{?CztwP+mxkDvmgW8O4s9jrg#3hDLU1?~&0xc>1CTgcgrg zHl6pDs2d6K@mv23r9$Px;;^{cHl4HKGvQDSTF(G|Q8SE1gh^LCb^@Zd9fWtHbY(DV zKo>xpm-TU4&x>r}wRqkHuto%s!6u30y2q$s99U{{=<{y53A1CWmF4sPso4+nqQK4EpypDm?RCg@ND zoLb<1B%>_K`_c0Ufd`}l!ZA0=MRTyPhXaaZp?sRq>IhXYvLGHbi<7bh-_ZyomoSZc z_nL>SjCwC&T(}l@a)MAxQ5<&wdlwZAznBH9@6dCM!Q#q8|BiVr-g8^78};L7aD(%audu_leEaGMxJ$u;F0%CD0jwXaKd^MZ$s zWQZ570-e^KFK=P`?EtypwwKPY49#<3Wx)LRKm-F8jzr3rh2)(uQi+I>gm(PT=!7U@Qosmj(C(XqLT1LQJiXG z?_vzJ#6>K-IQz6tRg%?7?2LLI zZ^%&6okt=pFUJn`xe>>qaOqt)eP{qLV`z7gr*e5ZidB)lpuVE4Eg|PrLMY_%-y9Q` zpF}4nA3%VAV08lGwqw_C;opA1ZJfqvu3!F%n3ca3C>gj*_z_9drRAw~`LcTVu9pA1 zAg~+=NA!Uhfkk;S^@zS{pxeX=J_}-oUExN?tJkl$QLyR%VsFgi1?R>um{miAAu?;Z zr%QpG|0LxfkD0BZWymLtoSZG%%-k@u$9Y+^P%p?I>W#-Amz=}|EgTpkhBHx?Q%6i= z>I`}KvFqSc7_WOM^q1ULy~eNRokrQkckJET4~yWovdy)t;19*N0ieCae{+A1id=?L zk&KHy0sU1JK+_N{|6VE#DQ}Srbp!1c891N)A)Sulg(+-POVYHbL#YXM8k<;Vn=^bt z_BG@h=7)#uKvYmvTs(`)l6$~jsO13*uk5FQ9X@j8p*SW$d8cOBW<~%Va1B@7WMD{f zUck=InLoeq*j(nNe9@VI=h_V+t=Uy?v4BlAv2|%hMbxKl<2#5mVy27}2kaT%|Dvl5 zM9QkHdJ@i@m{&Gv^}H6dXU!T%o_;T6?(5d95kLNAmv$_Qp*5KMXF^K}*)0N--WKz& z%S|IP$GEmpR?F=g@iA?}mGJq=MN#U0ksBkZ zNduZ)xzqe?s)#n_YBS-tM8KzS#!*BoeE=Cal5FI8ohab$HI*9M$1S<|+_WqAXL0DR zo@0#XsG3*ew}r8JoP=`du$O%(D@gGhD(FZEb#7s9o;~k%KN?4dL#s{BG+Yu9BU-)z zSidy z{MDNw`OmDb1<7?M&B{MZZYO|z=QL?ECjHqO2~XrBDeCtGXtZwqaPcjWb_pc*aT)q0 zv7}ftc}yFJq-pc#cc4qsDxU7~j}ca={y5O(EJvDz41d}3!LBpHjt%VIeJfw+eOc1c zw|y^xFFh4V^Mq(`Ecf6>eNtG*xNaD+X@rfo@lE@T)Lo#MAeSxq^ zTrztBf*HMw|LkvMbPS?|*peBOC-3_DnnH95j*zw3I!=$YeQY?tDaecp=0H92bD`z+ zMI@%M(R;&s&;v&ikM)q&(g}smXHc5`d=wNU$A_A44(q3@yPqvB{@DkbVYr@m!a{>v z`Wz^$QQCD?bVD6q{ltu1ICuje#DtPWC3Fk=*q(|!q~?6Lm6s&2=A%;C3&7t4yr$LV zI_Jd8BX;fj&%UPW%|=WMx3a1UI(B0^q?Xt$#le+5;C4-V)m!0PP+l&*k?~V9%79nQ z%Z^$DO<>je%!V-dRtzW5Mj>Hi{v~p4UxNt9vRj$2>4~OtzgN|abA(I~dbc{L!X{y* zg-=e={rl%r8W@`uUsy!?NT(t8lOtauI6NahMH~UV-q_;Rj)xHqf&vUaa{S^C9F!+W zyCY6uslG4A5^gdBk5QBfF(plyKnsYq7$~LEgOrSE;Q1>*EU>C`wF>gtCB{(rz{r$q z#TR1vhGN;l$Y27DWAf^DlGp&$@FMr7Qkq1*7JdEPxg!snEn0N5=soh4Q*8ET2^pfnsB>9m z?L3>R_JM)_IC3L6EDQ(c(Fu<=Zhm{!nX8LCU_syG@J0t%@eU7GI_F92fl-HjyF%6o zSbGyi`5Aw!Ya_jLUK<>-h#RowdTi#*TL?22MlOph`StD4U9Fk2G=DgaubT5y%5YTJDJ1rP?{6QXWwgmXGDGgh0zOIwq<=-;r^VMJ zxh!WP27oYOEha#%oqFM6jZO)>XF>Up_YcaH*REXQD)2=~{oYPqH3SeHp+WeArh)UG zT+rvAb_VIs1G+_A<2SNY`B~HaZS&eWV6Z_0nm(>A>oCtBA=%N2tA7kdS4~I?p)uFK z#R7u0r{2L>wNMDmFIo~2sbvQC%D#CIcw1T}zOV`zm2_~!jsz!aUlquNZc6d>bryFB z|20$3$#e4ZBxO=8at_1LGukX3z|IUOHB)%CU-YgJI1MFWvTb51Zc2$F8Eu$x%O%n4 zY~2uhA_F3CjTP|=70R6emPif5b#Y4Mam5j*bI@?gQH#d@v2DD%H^Y-O^021vh%6*{ z)9)ooZN@WZ?Em@&z`{?zV#@NQ|2bj4IL-pCp%G2xv*bQ_FqR|*zHJ1V-5WGzI-==R zNDK)akMfOXeZk|JGqBO5VUbI&?-8&ny()#(C#@KeMfwmh4!*Rdgto9aBmiH+b_pZudtjkChuYTga2wx(?wQIuL|uyem4_NV z?AEd|GWTZ8oasY0>_j2LXdO`fsx*p^f>-^-SoJI4@2zjRHKM4H-#xS>bK0yC_7mrq zol=M(1R8NcPkpv8piN za=rfEgI2Lc(~B>xWa9uiwd7J8sKH_1Mp;#Q>H@cmUqvpR`v8uVzD_dd6y9_&23*Am z@r18(*On)Q{|A{o1uetMmCm2$VyU0$t1wSJN2ba->Xa9hF#4)x52V_ge|}fnH`Fbn zTWdeABD(1smpFo+15i?pjQ`9>7Ly^6A!EI1)ot-!?y-L}RYXoqSZnBeqatrq8z0Ph zoywtyoosc&6>4%a_hjW)tbXU5I8^ZsmRru^{pE5z-bmF^D5Ul zvE*~2)r|D^_I7=J_6gP?k4WY3JH}a}Mt)y=7PN>cMjRRZ(pBAjdn~@A%+qG+0B$>1EpncVo9(jIs{d3h^^wwu?Yi9 z!fMXYe?iI}2R+wM{M#kLXHkn&2*XkFz}s|Y#vQTw>ofI9>*OX7G4DY$NdygEb=+}n z@v?D?$5)_np|2qa{nZ;3C#>pB%*H3R?5%8D*;0zdO#R~E!U-aUfLZn_TS{_)L1;U# ze8R)k z@}Pe8Y8XQy3yv0eLZ*q{nTxupW!qt=5UR-X1}^pT@}lGRt6H@9Hoe|jWELW&$4_jh zW8x^6)eh#nO+BRB08)09Zq7JIZmYfnvj#~a7oy2wMBQKcu~HN1;sX}=Q|`P<6EJ{m zkO<&SswAlJDqY{Pa_}FOB8Z@>jmTmd(hGIB0AKB(%(%EGgLC$}@^A+;4>q`H+r;n$ zne_PF>_ujPKZ6ON7Y7_2CB(d~Ve9D5-Fj>y$@dp4jRc^+?#rzK&Fg>fcI16TM(fTD z`$QO|spRX9_^ci6DJuZ+F)mHQArEz#`=&tz(mjb)=Jo?!C_wCImYb#z^Uv=BTq)Ks z+2HasaUJCxZ8BPsU|>{XL(3_b^fA{g=A6UGF)Q+0s6~tcNuIY^S5Jxg2A~lf4$yneVsS};pdO4SBqu3abO0{Q3vxM< z+-D&(AjjMc1hc>fO|LU=dND9FVT_aHBrXj)_rP5><`sOa&5L*MrYM}af=VKqYr38B z&C1C+g-yn#lTAD5Tl@cDo0}lKtJY?=(jg6K1MPlwh8}x$@-tbWFW=V~Q z+Ew)iM_k5Oo85fD9gmBw#rxnCW>iv;$BE&azyCq-#b7XoUQmYksh!X{_8c^5I*|0G zbuXvDxE{>w{m80n!Fx9ftK9X2+j^q4wH5_~=%)=Z&6Dk?%nz;HudgEnRQ8 zLT=ae6(opS8CbedUvRA&&bUzG`Q(4%ck<)8Z$&Onkl{JW=9a%l-H#FCsbqjeU#S7i z!9CM4?!hThQ4j1*cXAU62h|<*`7j_L_P?+!vZjd3k5^w{En0VOSy;=_BA56;`<_34 zK3VWC*m1B}w}Pl5v?(!6Q6j&P4}tCxPyow^z>_d40O4azP5s^;is?;Blq;`+as@9$ zsLcE~*tK%OT7PpZ$1!#;p)?=#K6fq}wufur*b|%(w+L7#*CAwWm^x37qSvSF6gvXc zUnc14u@?{a&cUY_{Rwur8*G}Ow9T5Ou^z=*OkNGkU(9>hC|5RE@;CTH%MKlUA>hT5 zPPK!PZ6}FmM#DR!=3pru4*2K$7;s7yQT!m$apLM1?3ljDmXH8MLtF8R{PNutYs2Bm zO_)HcgoNqv!RTJq!4;UYrJ(`wg(iu(6e-G}(MTHQN5TdH4S!$|gzH^Qh5$XtPCRrt zR|n&e<~lN6twgIcTqX&o3KJqdBp(=Fe%r3a+(W=zwWrh2Ciu{&ZfX@@e5TIZut$%E zTwpAr&CL43Q^^;sk_~Ia3&&tai0+(Z05=F|w zfsuBPL>dqZHzu$vS0l)gK&3%ot%h$NbXCF}i;Fw)gINvUcn6|)?x@TJM3t}rKBe6B zAtV9B1M3!z1W#2Aa~wvyavE}>^`U_5K#|wbE12Avo|ciJjU`+m9~*}|=rLE0BJBl# z9UN*|gRn-Mq(sQP@}K<(0|29^jg)hrw}7dx0bi9tYeK>IIjGKhjoj6kNm#DMqv;V7 z0idniiNLfee@tJ0JAniL-E%<>7Owck&=!IJCiT0BzE>PKqdaSx!q70W38({36u`QU zfONtrFJ$nRctn7y1qJQ-2ixyWeR?^-0F`^4y*Y!3Ae&KP>%od}ZTBmSgB_EroS=BV z98yW43`>{6MrW>TSv6ldMmhU6uWQ)w#e|h^1=I&W*VwG?d3G&IW9`#x0~Z$VSXFXrWoOfrSN(q5rdZO^_F~ZwrSs&!7nCGCdhbdBeN^>j*Yl31fm4SB zI~?v8ppvRP=b1rMl|6&k+&f-j*wOC1&hI;y80YFM;xszhsC21qwL0;rVb!(fF4ijU zFU+R+UC?=;-|WP}(`TEwSVu1FG`BS4i^{%NX)e~PVn+a literal 0 HcmV?d00001 diff --git a/statemachine.uml.dot b/statemachine.uml.dot new file mode 100644 index 0000000..ecd41d4 --- /dev/null +++ b/statemachine.uml.dot @@ -0,0 +1,11 @@ +@startuml +[*] --> SUBMITTED +SUBMITTED --> PAID : PAY +PAID --> FULFILLED : FULFILL +SUBMITTED --> CANCELED : CANCEL +PAID --> CANCELED : CANCEL +PAID2 --> CANCELED +PAID3 --> CANCELED +CANCELED --> [*] +FULFILLED --> [*] +@enduml diff --git a/statemachine.uml.png b/statemachine.uml.png new file mode 100644 index 0000000000000000000000000000000000000000..574191c806c906f68f994ceafac3f26588a3a56e GIT binary patch literal 20544 zcmeIaWmuGL7dAS8f`S-?2ndMMEg&N$p_Fu|pdhUvFw!Ndgdia?bccu%;=lj`f^?&T z14xG;-L=;|@AH0f>>qpo*x$eX<2|0^9f!H^`?{{R)_I=mT=y#tH3f1~I#L7zL9V2D zPYZz{sD=NHpCN=#l%Ktkh5vA&kz&=pmO7O}C_gIJPL))j~ z)g}?&OS8gLRd^#lhQG6-=)G-zeQBJ3q_Y2G@zu1Aw5GOCx;k7B^yioVGVuJl)Q@}B z#IqrZ(j`)N%_R9LQEC${N#;xu6tr8rR(z6!8*SL?A+Z(>IjLHrca-ihMs;lszLTE{ zBO4af-1L)Gk_&FPAY_Q;bv(smwT(0F(Tk1adRc++A_`|slX~by{yyER_dr{CnElj< zdzTyak+IyvY zGCJ<2%cE`vRMx*lo>{b0Qc|X~e?xoQz2gW#kp&oh2$wgHVlDVdVJ|!Qv*tR-Pw|4E z$~>2pHL`zRyhzVwE~k0joJi(L!Rmtx8)7S-%VkTAeBwf0$H%J%@4c*Wwbt7yUar>G zVKWGX|DCWk*i@Tf+$luw1!qcxv{b7q0&#Q=Nr2c4#Kk3f?fgA``tvsXtO3p1j;(JOB)#(O|?XN$j>%>|9<(~5<)&07x$vh=U^Q*Smb-O zkJ9K#AVd%c;Nq$+zP(;E8EgnRO|~0=_#z#R*7{Mb&(9bpR$y2@i$*%`mLa}ej7G=2 zee>p#rDgM7O{Au#rneK~;h9!drSMm;CY%b&GcvB#-9`wUn$F8v9xf04mf4-Bp59GE zf(Y@)#R*Td`JZA&vXXyWKu`q1|M%uUbxo#KwXn%U5upW(AeORo{@SfpRoX8rJOnJK zF`Pu7-;?;~Ttm(f{CGnYeSSLc$?xiB1jP$n94(HW=*x68T2QYVWot@^n7ZrGe#M#c z3k!S{f;%N}b~-PD8A+f*h~cz=g^rc}|Nr^_$g;F;{rRDL@)*-*MDRs18tq*6WVo!g zRdG#y2$v&P8RkdmzXsbk-IuK}RIE>vt=*|wq>*ZL;;4lXpqtL?JjWnbAsb98iz3A+ zMRDuB`&r}Wc!v{lg~VCg>ivTnc_+g{E!Hq)Pw5jQ1A|_oq75a2FSn!7>jQ9t1uffk z3bleK``gv7a9jV|3My!TdDpWV5HxI*r%{no_9 zC3xo$Ssjaji(}nlX`o58N^*z(+D*< zrt^HSU%%eDC#1@2)tUGvIl29SO!`$cdY@Lx_b`@S-QB9-v)hX42 zR#w)o3_#+jSGy8j701P6`$WP zI>#uH$oRRs`f`tM+2b~mrz2NyKa)*THGB%LNjbx~#fW_SR>V$LtYdfw;k@kxKi@lzb(HLd%Y~ zCA!6W?(VxEExr+x(^dGL_-3{>HfBLCEuz%6{Qc#{W`DH@^Y1S z&E`ePs9y-ETwa7F-~8%(yl3sHCtP}Q(~^qqTViFaMIsdzD}){0_1$PZe#m4cWf%^3ds1r&j;{6>lFO4>fF0TidI~ zT)08~_a>Sp_C2cYbsKX%2L}f<`g_u`i>9WggE|;z%gp{-uN}{=#Y)HVu@4v}qBfxw z7IyaV=Wo%d!{avg^bh)(=P_qz5tzbIZx&O(okSt|8(zvDgFrRM5wT&LvKlTx^m zJKnn*iPEiIO0jI3sq$qP7$tVsJNW0i(AKLssuMSgt5q4R!3(GwYyPmGap5~l&mAl_!zP(QyP#36ov+5o$heu` z;G!+bbnAO|R+h~+0TFS*{L$8$YDIrf=Q7fU&r z&yJeyOo~1BbqEO#))YC*7DB`2N94y>7Ts^4F6GEZ(WC-#N=V z;<&4<0EVWEGsW6#%DlpaRX@1aKR z?eDK26KY(Cgntb2P*A{;MjM^RNJWL3Y9SvpL);I-4feo!l8<8S5^7p{Q18nye&)p< zJpM97#crJT(9yw;t=T$0^=czXgK<1BfB*h{H}w44p@1?~GHi#clG23FsSK0WE8Gt4mT{PYo}QJzqcsw0onNNDMcMW;T)gPt zS()tIxs+S>dMFgi%4&8XU)|#i)d-wrcTUGBM#)Lmrnc7Bj34e0Hli-GyZifWEG(;k z5ds%lRf*iU7Ih5_3^FchNaz-7S;AMaGL&H}kU94b4mOAb;dYwamLJXncD+nNA^7aK zv}qSQKYtEVs0TIT94Us=me;7_w&x~C>Fm>%2-?rrFZq9DM&@!u`gL6%ftZ>h_Yn8q zeFlfv{Xc*3fRat6*KKuob725bL!IYV7!u(>aSh4J#m(LE{rh%zsyLQe3K9gw@3byL z0Fw5-<+0it2o!8lAg6X-CmI>0Pw?egG@4=v66^A>s*R%a+biSaxym%Arx8su4)-;k zot?K9hs?0<4fLqh={8Db<&GbvW*fu^fs505RDCbDTi@L9(6v@g7Jd~OIRjULkEb77 zTi0MPsp4+0k@HXBKy|$3o%;8m?kOlB?FL`!Z+&!`Q*(55gzFH&bzVnBsWU5tLtK@A z{Fv#)?TA3!m3FwVY-N=fA3xL-dch+w&E&y@Qq$V@;(x%t?Qn%{tjzh3w!PJ^%SP}k z|9t(|r>F23--`FM4;h4QE|wDdGsAkYFf&7$Y`B(h+Mkt@nu=d<0t_d!udlCmp31~f zKv`vFt=kG?DWP;GtoURX8hOiZP~dlh=-Aj;W@aXq6cG$SD{OUj^?Ql&h8;5x6oA9s zwf}ye?z?XbfCOuFCSNVpt}pBKe}0ISnU}W&iuuCA0ygtvSy@?;PGL+^QX4%Y16Dld zgWV99MT*Gar>DR0q=ySZ1p!7e@4pWViZ!wsfE+9C#s@zIJF3cm=T4noiIL~1pQ?i2 z(H0~Nnt%Vr5wh^{@iEr!3@0b2h=>UOrUG%oAK$&>5f`rkI<`hkl=>n* z!#~jjsmf<-NZ-iUDK0)8K+re7o0@^)sDXsZd##zKF+q8xxw-k)lb_N5 zc|N(w_4lx;MesvzZurDf9KyM_zMl1N2_guB94%}s8%1*NN`@FgqJv!&!P2?>`OfR*<+aRSK##9sMS3N6KaDGh64|G%`qp-K(gBp0Ue1J2 zm%n#!6)t=hV|Z_@&d0b|uLN-Tm_`trO5z7#F_6b3;WCf{6pTJSX)BhqhoiBS#f;EE zw02#Gs__L6;_dpXou)#Hi@71cK~T#vOG?&4q5)(&K`zG)G%qd0{Q)b2gFGIkf|2|!ToZOq}G=7SU>Al)f=9>tC{if@q_Qn zUX!&GP*FG!ynM^|U~y`ysW|U46VrHx3=u3%Dl;;&b#zoxOe|Snbs0!MNK{2TzYvJp zYsko%rQ!0JTD1?Mp$aN0=iqt{a6Lii=~mzXYem8lS8g^=)6fz`^H1k#0%6Po8UY7! zioE{=lvki=kb&okF}7EhTsqb3%U8Y_2Q6}xZ7W>*N($b zSWfS=&(1ULdDR1#{Bg`k@@z;elTkD)IE;n8J@=Z99q#j5b2tr@8x$nW2#6<=)2Giy z5fKu?Zm;^*OoQ+M;3pE+R}9vdcqT7ATv_e!(GLJt3^X(fQMRY5fiK0yQQfILrO_V6 zApRDX3lL^g2JRiiB?`3(l7?}Gjnn#cTSFj;v9Ym&y!^US?u)d<{Csw}>GRR(5E%@h z|6zbU+BRahZ}(2Y9m69fsk75UVS>{X-#QdWFnt=HJl93HKqJ$8Z~gV_*Kz3nlg$qf zqt#IC=X4RR7n}zKf^bx=*M*f%j*kG%HxwhHnWpm|wektK9qw&FWI`JG?1DDW?CmLSW8Gu`f8hgw;9X1A?1tkZz=YI8@2fz>}8iN7uCCr{(g+r1Twd*2^wZF+O$&lC7n%c<2JS;%8(si^K*sEjGe%>xdL8`OFd5j*nfsj-d@ zm0uQ{pjGFUwf4-17lHI>9dz>XZ%RDhqx<@Ss#mJLrz=UwnvIop?O1@5?r`Avt&}FE zVZHBBY5j3~vBnu#>wMkLAD(^H5N2($>?`B-J@jJ=JubMU29<6&4gc&PvXNoC9qFY{C3i>AOHC$#H7#MhTc!-x} zj3|YVKqc4B*LPc+lzVkp_tKU3vjUo+Z}-80$4jG6Rj9j9oOP1K-5ku#Cm~AV)Ea=i zu$<1)U;d!RmDi6}-eUbYlU@3z=kmxc(oo1EzkdEa9M=-=`zb}*)8+4v7$dhUNU)7! zk$__<^899G=YUJ-e8q6zaTphhrC5y2SP8Uxb8T3(crIO=x0LK^FXbXZ#cE4`|LSv1 z4Hf_!F z89*Z>rLr%2uY{H^?95cwzVf4c7MuNoedxl~+g}zVJo&Cfg z`sZSOnFL!aknV!N;pH4)D+M*-wSFHmd|3My52s_*=|r9s80oO5;!LpaA5nGrG2)(4 zYqyT-u%D0<>O>CCI`7Qtk3kuDvtk=lS66pvc_or+pIt=66?W@EHHy=)j3x4lPX3@` ztzR_yWZ81WjhtSjv!x|OPaZAuv>-7iM%HJf*2~TFDkG!X7RbV3oRM5Es180vO|+(V(IvO@spJ(ZHl1DCQ9n~XM1~*VYwCR;@axOT`po0678yPG;#&?9(LVtd)T@no6@SyjkVA8 z&D)l+2$b{2@zFs=ryC_uVOY=ywZA38d=MYH^&&r`Jfxs z1Hg5xKiY;M;i9z57?W!4+IdZOFOnX4d0Vjv5D#C4otYB!Q-s(235ayU7jt6KL7x61 zGNz}G7GlU2e;HTHAVtH_7w+s{bg$(hfIHNvbCV&7bs-U2-?*g)_@;JtIIr+0n zB>pK>#-u=~J4a5Qo6Vh^0jwR595pT{6u$91xrQ7+$bIppr6mvK!lL+1+<;}_PH=iP zK<#kuS5`FVX>HieAU9ZbCHEO=rrzX_Y43u1(WiM1o@>49^cKWb1{!yA*mH8GBnyK2 zRSDg{4+q?pYrFG@nP08LsMtqN{>3Axm$XVVR^Hy;fyCtQ)SC&8e2UTdz<|@r%sjC= z(S-WR=ev-TioY*ac`Zy*e7r7fFb%)yYKRFfEo}wHZJ|FGz&AiyAdxj58+kuH|Kc#0 zZpeRaX({Sl8&41BF{)6k6!hADGGY+?&4V|3mM+tLWvo`#35YtEa*QzNbU+<`RpR=f zK^Xf+#~}vTXxS2_Nu4(a064H7Ix&>Z!-o$63qUs_d;j2in3UKwAbhPPPK8~|UvMs) zNg3qN@*8##+Va^gZg;~E1mUmIJfoN*==?u^+Q{J;gjafzC%=bMQr_|!`|iyoK<%U8 z2El_`ArFBvikA2|%$TTf4E%Kx(zb{Gsq zBUH=sNl?$jW_)Sd7O&F@9RD#pAw7FGvrXqhC+8Ay00p@)i%gKAwoltdC`QV)Y01Ot z3ht9&Yz4JCx`2y6pYMG^jR$}{JB=6L@s)l0biDSBX&mbT1wfRYo&BTQBP7s5DC@B3 zCZ9>lqR}HXiY^!orlgbgY7UtkAWZ!Ja%4j)VY^X@^WL1l6nu?a%U82A^^Q;S&}kr3 zyl=gRPkTz(_OlFe2IIVeuE8mIYGJXlIK<72tmKcLHrJL!ryAa&Fi-=v*PIhnm%?Io0Mwuq9|O>Vli2%FwD~&gwcPyMGf=c_+MzEuhfPPv#W&WH1|_8YAPmNc zxh}bHq(V#=(coLmYkqOpET{j+qBh`iEEZo7k(5pTs&WLVc`%b;cDY0Df`o)bcbeoM zPzFIt&Eqkv!-5u}=J2ynesz2Km+e>*ri!@D{zapStfmI&>swjCIzAhm{a?-iMQ7LN z&!6QZ>DKJtFD*TxW9&Z_=ZP(mK36CGO5=YX6^c&Pi63u4H<={Q5c=P4j0F;EOD!+i zU0TdTiS~H_$!&^4NGHb*+5hD#{heLGWHk82(U-CQUk-6H#$&!WlkY+GD%ZTq|Mmm1 zv9Syc3?9^|yompvg#qLa-F`ny7mh_wPY*9p>h?zd8(U#rU66%gDSq|$uR}Cq>2qYt zFvC!{UcNkIdU|wsZ*T1uuSc9Ez7PuTD>oK zy`YTQ2Z;}~pO*X;9ewdwFhZX8C_4q$+1Z%_ibhEZZ)Ch_y)Q3Sx}?|TixSjvy%n1_OL=KTw-EkrDQwzgUZV{RO7{u0!%+SjM9P7@S~cgZ-b{SJ@l;E z5Y!MCct*g_9&@v>vR4@xY(uY^a3lFq1-<~*##r-&Kx+UUXw{mNRnlww@K0&IJ2mPq zw;O1p-X+TY(0B{C($48p+AZ3KVA7O6X}yKi*3trUF*-WhlOo#mYq0mV!(f3Xg(x#8 zv`0#7{wRi~r!$d5X+X&ryF+KidsMkIjGEir+B(x-g-E(vVosAm260{| zt%67pVCH`R7JyzNsDfi}N!krZnv*2N0Ipm z1ub`eMI0wU(HkBf*3^G#HWc=FR7$Wzl}=Rau+P69aaSZvjqdr_XQ#j&4b9!`Q4 zm^q<8P-s?vr!*ifARxeXWvr`;=s?+5p@%`A#ZYPM^owaRZg z4h@GjukZNF3nC#wL3gwRhbyq;0)?<$de^Wgetst)C9kuy=r*2?D6DZOnt!ENot{1p zAaGaY(RIkwxpNkSs%szsfZn>kxhdgyEa9kqW8nCWssr%J_V3?ap|D|P{LY>|3)s(P zwlh=a52*W`!5(wATOewiYTfO~VU_aQ<^gFTMod6JfR{H?>VmEPe;NFyLUG!5G9cfq zNM<3SSdnvem@BkLQJW|ICu%(n1?WitdOqIXDJdy%PTGI1%lCw)#bfssh%rjE)62`F zfK!^%XzymqXRk?1YW9F0r#5f)ASgJvZSxZ)6#9PqKcQG?sk9FdC%INt++1DGK12Il z+Z%#xeWt_qu@G>eFy^s$M4k?Ui%f-cY?0*j!Zre~O9rF$go2-dWId?$jMt~O2F+`e z@waX-p#7BE+9S}B+yeuyin~UP<$$!B?Z)k>&7m}h4;&yXB2RvPp;sw_1q6X?LbrLi z-p>y-5fAE38Btl164EgvzzwiYOaQ1xjG*(bghVFr7|Q-KF`ZLSiiRz~VO%_Po#uHp z%dJ#RPp1MCADGw!Rna5xI%q7{uU!MwWCe7*U-UAMpjIb7C!MDi%mEfvF|#Ie_Gk6; zKN&KC?z&E8<>kD*yaNLR9z^rM0p^3aWA^C@t)oWJXpI{vxL#lU3HrT5FB7!Q%!0lL zB7t1PJ#pbNHu8@jKSGL`(q-NMTeAWQwXHZhJtE@V$RFkH{i0weXkI|i{T9?&F0Qbu zBud+vS&*6^Ja}Mx*h8N)4W|}Fq{VtajWk%3Qb3vdGTbBMRrWs|mVSQ3%FNEUT7Z_| z>gozoUH@+E)AH+?I5=NeV0b*fngek6AmEwmUNxezXo;B6ZKYpUt;J%&c>z?t>(}FO z(+*gUg<4VbuP>pUI`-skP7E6O^iYwmP^;~-+(TeR&K_`|aJBOcVyj%!6TsbxNX{<} z6(_`mSXg(bT=G2(WRfX}x#s}g%)$2d`|>n=#?`2W-L)xLd%Qw#VbN3^9SVExy7W`? zrj%N4rI|m|N#faoxmnQs=DU>o+UQw$u3yi>OL9f`fDMAAJEyBLH8(dmF`@Y(yxMXJ@B2zCLnS2MwB1vms6O%>9*MYtv?+{L5o2_r$$ELY}r_X zKZa}J$-TRxKKm8mYB*Jzo>2pZ<2f8}$ZoJ5Sn>+4MO;p{KY#@FRIzwuYjkRAs_0Ud z{b0eHxVW#yv%Giij5Rdi@i$h6t>49wOpSgOI8{9AlkFSMMcmap-tOadKJhnw7e;G# zAeXllhYbJ>g|oU|M60Z#f^v4ocO=Q3Gd$;*EK?8##P&!o7iU)gpNc$R1X|lT3Y&@Uc{)8 z);LYcL+*ozg;n3};ICgTGQ6*>40qoLO>2+9X-V(h)v9sd>__WNeuoXer2XXL&_EWR zFAkn1Bby=@RN%kAw$pjrWmYBpGOzp4p@i3V1hIWtjaw^Jl!Y&?kU~KL*+Y+gj!(!uZ+beMzasFZrzc9EI;aILSWRf!paRq$GA7oJ5kNzKo+>@&DsNvN{?tNG zZvl33;_1WNEnWDa=zSCLc!lcmMF7&-K18Kl9k7m%&R1n=D|m%NgiCp>2O$-EAZ^)d z;J~Q^BFn0Xfbfl3HU|E|5@V!s}zN$8c@W$+H46Cx|&fl)$`}iM9I`+J$P@!J{NXzi(8Xo#W zuM*Tm5y$A5rKKfa<4?CmMM1h)0wRQ^jc75zB&DS}SX(Q6JCBulW%Fx!Apb%s7xdq7#LVYZ{Jot+%JMOIzE#{f+dgWG{7wU`NLfkJ4zbiN`WePzZ4q=^}&|Sx&k0s z@68nuK|KN=_x8q&nSfGU(WKXs%lP;k2WAi84Dc)N-=sgQH@3IOpfyv<)e5i-d^O*S z!(0~nS;0kxZ$S{-xy3$Cytts#>;Pb-@0RzTc%y1TCy1w0w8 z)?G6zgyYfC)@BRU2`fXVmU6of)|kn6w?XC3ag1Qo+$=076trpIIfPHG&%yWRX1RuR zVa{Xj=bUEq^B}7MkBKcWFQ4q8dP@dh4=qq`T2{Hfrm#&3I*U0>`4_@ zD1A+Cv=IDZX9JFFGk4@%rSujfWmxb6Wv(y&er&*9g>4vwkWla$t8z3maWu0#mxA7` zb4Hkv#FogE#@mU$<27rBc5hQX2IAaJSR z)2RIxWd3OX-W#(*c{7_R%5G$Gs)*=3%K3a<$xSB40u*|_fuA#H!F z5Cvg<%lpbKAt4>EgN9{31NnS1N`ndfSO4((-bdNDBcst&0h7_#5eCP@fQ{xQia+~}C=P#D zQu0r4l^~v5|Mi%Jd8%nEls4!Mf&S<;;aei>U}tu%Yi4%#lVF0oxh?a-y+>w+10UW) z?V`XC{|54B)7b~M4dCTK&7?h1>vYcWyc%&W5f)z!OF3ygK zLSHem8JcDj(|TFZ$2cnc>qRj;GTNzHtzF=+^gi190nLA)qZIhZw0#e2?m3-x`*Jv( zq_8WCt_xTDFSmfJn#DQu2Hn$MFR(+raCL-yZgNEs2~ss7A)$fhl-Cvr+jJ7{A9mRp zQnYwTqi(5{n#MUhXuTB`7cXa?12n-g3ra(t5tWCBho(KWEUE!L<|t8m@|dF4T0s~H zyj?_ARhx$!tdow!?EqxC1vYfigz@CVX*>J*% zjg7Lm>~3{uneyBRQA_ve9Fl#9B@UoG!`gLl#%|o~NU}xpq*RL$Bteopps{qOGb9=scr^f#_B-F{tDP%vO z`8U~MfUIHOj#mE7JX?Mg>h~7{I;P&gCwSu$`E(2XlJQ-r6COj@z83}%=R@CquWxNG zXwy}+J4huYCMuHLg?{`bx!iST=1jnun}09fktH}SVBla1O#tZoV(qr^Iu-2GdQl3T zI^{{XsE1lwS}M;ovq6A>LN@SX4?-ob;^0)^%q&!IU{zm=t)fCE03_e9erOKh1cGC}@2mQ++!xZif9VgW#hd!Ph#3!T6t zise!Q&FlcE2?(Gq^btIKe1E}nxU;${FyW^0P=~k!@3ItQ1m-YQ?{@-4d!tCA&q4Zf z0`0A~;MX?p;!qDsNJ62aQ#JfRJ>-Hv01~BFr1MIjSs(CudAW;eJ!=B2#ud7+YeiqF zjv&PROlmzVQ&Sn1udPinHN!p5PN!)XE_sPvCT=Dtzx#DSXXX!d5A*X4u8>q71fxn){E&ID7wCW6PHDTNL9|3UzEF(Ci zr1p>^q_Yc7Z8?)A(cP7gkR;ZNaHz$>wjlOsd;P~WVp$DKkQ<*qc>)Ug*5RJZ*tsyP zR-DO4^JYK{9@IMcc09B_ASYpE^q~2BqbmVg&tm%eKdyi7?Ss7d08Te}#XM5mNkhzA zaS;&_hoB>RP>&_V#Z5!D$kx6#6dV*3aaA-%U-cFyx&jsW8~tPGQQ&2Ha4SqqOn?al7I>CCBsM7taF8;|ELc%^ z%N$drlOg6M?WzkcX7}9JtbT;-&4) z5fA!ACZf4nIA*>lM{cI4RRN;UPflK+;m@o5P*w&2;bv*F>_2?Hc8xEI`EWNMtmM0E z7hXcO6ZQuKUd-s0vr4e5kb{GRbA+0@de8j4jVZ4)s2LTt_$D0k3Zd^Ik;lzv4l&?6 zPm%IV(`UXQ7}e-B;X++DL6xjQiMn>;v#=|sBjTsj&IF`p_co2wQ*4Z(#C;u0u-U+HreK_gn+ z@#Yf*lgLx>voB|Q+@0t}xZ;n7{g0OaT#0P~^k~za{9x?TSS|Yexf|E7y9ct2VqEg! zG+>QbY!XxgWtxr~Ww9GQV7z@c$JCmj=_~{u_Eba^I(6|n7gzh(m@i}`tc)jKCg9-_ z6cX|XoB)AuRZFcK_=(pR04-S}U(Fk1dn8iF1PrvSNRaFADx?;%Gfz#kF!Y^o85)A) zTsRntRW(mWIx^DJ7aQGN>ZusIV94YjXH!e^`XgbGsg5(6`rO|@! zw$6JK!+n`+m%v{GofTzB3AcP>y+Gi*n;TM>cE_hEIYM~;SM~GaU27OqF!MWNJvMX~ ze*ZWg#M27Lano;8HjAu_+@?OErX3JwPo6$?nq%TXSj@21?mM)_ zvK3KD5*~sK5@3-2$VS)9Z&dM;I{cg@_u37bkz3t~H}AS*p&Y=ph^<5!-xVXBU{Y!w zZfKf=d9?SaKEt&Ak97jo4pa&7Q2p~P4bIv}KW>265oR~CNKhR2Ft1|8wkpAW3I0IP z-HR{VK6`9yYg?o~Ie!9EU6<4Pp^||D>Ei77{&=}+yy(IOvb#Tjg!%OsM8D1(s``lS z-N?DB&!lMj`B}rjKsgj4`6Ep>jpE-+D1#eoq{$A%l=2=KQb3)fQ5zXV(9 z$??_bdLVev4aNGM92ZUTfMsfgx==+o2PRPzUu{oCN%g<}07DQccZWxhG{Hu<6?KDb z3fh?$U0fjlgKrxE+lqRYDgY0gdxb`sC3qbXNC@z_#+BiW=yPw;0YHHa3=ILFq)K?i z9H$6c-iIAyxO&y@`#an9^n}(yNYIdErY0vTC@F8~%sV9sTFTzNJD&dGCD!*Sc`_yq zu}rq0k*wzitzp|A1qYWNtlTYu-#shXKu8 zb4sBFu`l=xlCAFz6KF1s%-ent1@Auaoc@|{E^wWAYxUAbez$!$y|SXtDP6%4ud4bq*r_F&TBW*tFcmb+$=btqc{@EN|Ej&>ZJ7&%L~KV;7YX1;<>& z99R{M`MjvEfE?5K?Hk(~R3mMP_-@_Y`_xU0IpFNkG!Tpwh8!vm+V$Vj8Zh!2!q}5u zjwAsnoHl|Z)}cW`hv3MAc)Gb%b%+p^Z&xLF`dOIq(ij3I`~w2%&gpqa(A|Xld5#?3 zSr>()`#!vWJpi3&V^21e#G{{qC^7jck@I&*3OJTPi#kw{{5;Zu}5@~BfIIZCnE*9MWi!ooVY6&;6) zs2#aa(N*{RYr4MxSv-5!7>2H3t9Ma$1x&E_oSljaq7@U*mq(t%zRvZe|FCpLjM5?j zT}KUzqvoZ5-DD`*5b0e6*aK{Gr9U@Z;2mYJ#YFan7sbWJXVvF&9^zYakLuST03R&i z7@mS2yjkt`1w1A5Z7(IW!`7<+Pr*?HHyd+0xwM~rk19d!2?&Q_>F1~oAdx?LvIIRV zP(Y+Wi-+CQc-Q-^)R~Vmt=o2WVAS@*FfhDjCi9|fYgtWuTU#aZ7y#RNwFM+p;p?wo zy?XQG^uF}v%??%1o&MkE@_c5J^8wODhnst(noC^NQFBmJ3A|DuBz2vKtUEGJfht5Dfu%e<`*L;*A!OTT`%s)a`RJM0DlNdyEHonw_RvcuhX9PBw=x zw1aB^KNZ&d>p4KYy#05*AFkiH!Rb$hDbwjI&i4S!PSo5gg|sEgRdoUHwRgF0 z%KZF1G@oDPCv;pQudyL{c%ECCy4G~$9{H{lfxqkC^el*2PzZN`Dy^#OVr-UZuU_pG zmp$(=UZ;w2)ZO|_N7$pVoSy6Xp0Q=yA_$_(;5j1`Tf5o$AF$ye?PJU6DPC|ny zg{+EdOQaRD%E`-H_kEKClL$g)hSwKE@tVzfLV*Ga7radgmC{{x-z6q4PT2lC&lrEq zy+ED^dV2To--o(mVsdr)g1hm=700&yEZ-|qz7i|f5P|(EXh=_ZzY#iz6u`^mO19hi zA&|A{Z`tLDvFZ|EVC3mEcXTWrVd?$MK|@1BLPFvcfVI*owKt(F#``;jr+}jU#4dt4 zhx3T(wv_woL%@)Sh4oP(4hBeM;{jK9YM;P}6WhhI@n-^%uUFxCIn^Vzcx035(idf0^=??s!O zLGf}>;eB~4ik+aTRFu90=a=7l8#@RPIqtPEHC$T&S_d9_KTn2ZakfFBNq$Idi=G+? z3$Gr2F0H5+8c@b%EzdKZN^FxpBkUtRn?6V#oq8xdH;Z>5wd{h2=Qv;{&$CtlQ)sGF zI&jGnB#(JjMaSpyg~Dgfotv(`aZ{LMR(;=R+-HZO7C$2fI>7wTPvFNC&d6@_J=)SA zVq-?O0UTu3(Q(l}h`IHiEV3E9c-quHt{jU-oKtXd*oXNP-ZdY(s&&-fG#hxpC~Juh zw*KUUspzPK7wqR7>?M;xe^3{f|NiZ!*U?zj)bC7}I*~frQ-=x?bg9~ZzpJnB&FeaD z-69kiBT(_UPPev2pEUiOrPZFA-zwS01kQiCLY0UXW)a;`14w3IO{p!`dy~!U(_+ra z(8b7--B>-R`CewyWRQT@h^Zw#H+K&=dR9hj6g=)xf}v0QNtW-%`uh6XTIN33wEA_O zg~nO!O=uRmWizI}ioL%z&2~i>hQV%oQ=S5==@zWoeimsgx=5Mq{Q1j&7AXPQj*W~Y zQ`2JRtP~Z`Y&Ai5$)iae#7EdLz-Qu;=Pz8ye-&(8MHYn1v7MJb9#EH(gmy~X93{-1{7+Al@HUlEFfNA#A~vH9+V@}atA;Ku{WskJ@n;^;$i6a9K8sSAVw7&& z^Gt$%*A)4RFmxd-Q+DdVYUU)ObHG79I0!t;9D_+(i5WVOC^a{IzLoXbo*Z*l-tspN z)W+u^qXqF_>~~RT`0t2Z+71uhpO)_b&ciwUI}ZnI2xhm)Nb=f#_}#Tno14I)!4iV| z_HC|T{L-aMAW$*~7Ye+vbATS{6yTq#i|>SUw^{Rxw=i$bO}7Y3@f#NZ!bOOKtR znAxEKjDtOEf#B(kuz*reYVhlCZpEL$rlg^7M%B@U&lSZqloS*??0HjNU%p5~W6m?} zA9k;PD+WL7=Nr3$_vFI>1Bj6|&n9G5R5~H21T_T!-_v#=Wv6}x#&V@*ZvFQ;_37xx z;EOeP$g_V?CQ!Oxt-(KADWc2%-K_-12Mb6O(R_S-i;oi0#H(p zcQg*CL%}+e2UBDLn#{-znAwMM!YkCyLQJiyqA*DJ|MX$}EN&CxE!YIiR9H8bJn+mM zDxoD8DaTY1A=#oxpPOUeBvY!Qjqa2Yq?jb|!(YWO9Zc!Ltp6qF|6?CU;ccJd6jLiJ zJ?Rz0ci};7yH!V)cHi3I2gE%f8v}~jixu$_CY~ET_3(DGix7;eekOmHBo43*b_t)b zA-jJp)6sN<(dT40O8*I)?yi5w_?G()dmnB9MTTddg*He-yOvz76O4KP``B%OIrp}0 ztYFKg|NQAVkc)w?MQ3^~EzEUL;7eh<5VGpYFa;PUkV-BT|IYaF$5eoP0^IeOu#@6x z1>Ow$?{|T$34!UaPB%Fc=$!HiJ@ciKcX&DX$HTV()$i6eh@bhAvEHc)_{JiQDP`&IGd#f-%+}aZc6PA?Dxtz%K1R4q@A+w=pq|2eRun z>~6cOkB&V%<=x$HZy{Ew5I0)ckxCjG8a6f@1ME+w6s6=e9ur{`})pK{`_32MrKTGEay}vEZ0;dIie7sdDeQzfBp8T>0N?F+ z%l^o+?~cFTcK~xJGsDyKcVjd3?{U92Wq2CBd4FMRoev?v_P|AZ6|~9^A3jJgWM0w( zL8c`NghSLtIy$bS*k5GQfUgi`Ia{Lr>6d|Ui<`4tX{d0I2l*=fj z^w_*c6^JKbHJlgBX>Te z9Dk3Pm$Stvb*D>#>bncd!x&*gG6nTpf`cgB~}FxDkutAQZC?-E7Q|Ke{=|` z{00AUi-RI^yO@n1*h+b2W$p`@)Iu9tcrQudFf?Dk7A7NtGk@Y(U}G6? znnSCwYH)B6ToWbG@Q3H^j!QuU5H5k|xOeZAqkuk~tj*2MxQ;F<1dDPTMyau>2`mHY zQhwd^ojtHJ01S{YpO8{?Rzne-bAm7!f-B%=-;wu%_ZoDzw@;EIGT8s)s?W}zfJ z6g^8y>g?tQ1J!fzk5V&pY-h>IpF(?i_87p)1tdf#t0Osz2Wxa{jut-4G z=wUJM3X}q!tR>g{_L?Ey=kE@@?O_bQ_U{Dfsqzlh=J604XraPtci`LDh=+qV35UV^mB4F#ApHGArM9@Fx5EaG10L=Xna)e^i-Yi>^ux)=d z^IdmchyH;9$U)|8bGd|yFAV?b3&O@VH8ptzdOxV&AEWgDfcJ zvmb|Sm2q|528+SL=EBDIvhf%(Lf!(91fW_Gn1e8l4+O^G?&(?Qz7_x{<|Z@pSrhf>C$p4g6IF>(Ai z@ERS=@`0yvjTpfp3r21f@LDM5ST1tt2f*}bq{$r>goeQMtQU0AL2`ne;vQIt?~VTY zKAx#KwR?v?+#aHW{YUl?9(@&S+?n`-h)8rCclAmW2N;VV#xijMIf7Z7@(+G$mu zL1=~G2Gt?o&UGf;kO0lY8AQsh>PdMkD=QEOze<_adJe&#!E8o>3L!!(6gPMwHwVHU zv_BW;(m^GR$MK=Z9nCSk_rCm06zIe-n7Imjs=REJj>upDu!OpDjCUuGR&T)r$XY^A z29^vY*{5K6;XDOqB9Qh*HeuMKvkTZ><PoMsR9Cg}8US1xo z6)Pc^i@g*!k_vC#z3e0dR)$J*K&czLwy;@J={;S~z*kmeX{$ecL) zkJek_K7inrYseu?!)JoGxrp_K?xaT37l;$`GNe}27xAP&a}Tr>L#jM~AAjkfYK zGBSAK>T3l|z<-g1u?Vy4h}Kii(ueVbQo2{{nX<^DD~N|}XT=lkP?Yxm>l5z?;kHXxuhePEGw z9moWVEn?fB1M36sIXJo{FkAzfQinZb!Im#sA5LW%yc@^Z)%6p+;sCDwl{AtSRC>I~ zNOns&cQG+;Hj9*Rn&6s!t7I98w}4!z(DNKq@O5dtCx`T!M25ue+zD&E~Sc zgttE}!Efk+WDJv(YdtVJy_%?F0mFuB>KpwOU!@4}&*qt(?YwsR?!8^Y2ja@g%1)li z32(0*pZ(`C=;ANi)jA!?2T7hoEvg4e zFnu0gf3&qS0Ci_UF=cK>94K&(?bn4hAF+S_5Z-?=3;4MZB;2MO1C5QNqp3!^>@9m} zgfqk@x@DY9^LBrqC)_Uw2PYrc&=wwIVQX~0tpp>eh%ts2>HN~wNTxvFZ?sO`u@>R^v8IPt<8NCKT2s@*gAHTmDKaKx>A316iS52RbTa< z(jcC;dL(!6-WlYjeqTRkc!gW*W#<6|3X=|#!^Ho$m&3su<9bd=4741`SJPPV?+QdH N$*J9YFZ(dy{{k@YEOr0@ literal 0 HcmV?d00001