From dedb202eeeac7293c51dbf31a302d0d3dd24af95 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 23 Jun 2003 15:58:50 +0000 Subject: [PATCH] Branch V7_3_new_exportation merged. --- helm/searchEngine/html/aliaslist.html | 89 +++ helm/searchEngine/html/almost_blank.html | 5 + helm/searchEngine/html/blank.html | 4 + helm/searchEngine/html/boole.html | 77 +++ .../html/constraints_choice_template.html | 18 + helm/searchEngine/html/editor.html | 122 ++++ helm/searchEngine/html/editorpdq.html | 90 +++ helm/searchEngine/html/expnamedsubst.html | 78 +++ helm/searchEngine/html/expr.html | 60 ++ helm/searchEngine/html/genid.html | 27 + helm/searchEngine/html/grammar.html | 76 +++ helm/searchEngine/html/grammarpdq.html | 38 ++ helm/searchEngine/html/index.html | 636 ++++++++++++++++++ helm/searchEngine/html/loc_obj.html | 29 + helm/searchEngine/html/manual/alias.jpg | Bin 0 -> 29673 bytes helm/searchEngine/html/manual/ex1.jpg | Bin 0 -> 23989 bytes helm/searchEngine/html/manual/frames.jpg | Bin 0 -> 44022 bytes helm/searchEngine/html/manual/index.html | 40 ++ helm/searchEngine/html/mat_con.html | 10 + helm/searchEngine/html/paginacollink.html | 13 + helm/searchEngine/html/pdq.html | 75 +++ helm/searchEngine/html/query_choice.html | 33 + helm/searchEngine/html/set.html | 178 +++++ helm/searchEngine/html/start.html | 15 + helm/searchEngine/html/summary.html | 23 + helm/searchEngine/html/templateambigpdq1.html | 22 + helm/searchEngine/html/templateambigpdq2.html | 19 + helm/searchEngine/html/templateambigpdq3.html | 11 + helm/searchEngine/html/val.html | 115 ++++ 29 files changed, 1903 insertions(+) create mode 100644 helm/searchEngine/html/aliaslist.html create mode 100644 helm/searchEngine/html/almost_blank.html create mode 100644 helm/searchEngine/html/blank.html create mode 100644 helm/searchEngine/html/boole.html create mode 100644 helm/searchEngine/html/constraints_choice_template.html create mode 100644 helm/searchEngine/html/editor.html create mode 100644 helm/searchEngine/html/editorpdq.html create mode 100644 helm/searchEngine/html/expnamedsubst.html create mode 100644 helm/searchEngine/html/expr.html create mode 100644 helm/searchEngine/html/genid.html create mode 100644 helm/searchEngine/html/grammar.html create mode 100644 helm/searchEngine/html/grammarpdq.html create mode 100644 helm/searchEngine/html/index.html create mode 100644 helm/searchEngine/html/loc_obj.html create mode 100644 helm/searchEngine/html/manual/alias.jpg create mode 100644 helm/searchEngine/html/manual/ex1.jpg create mode 100644 helm/searchEngine/html/manual/frames.jpg create mode 100644 helm/searchEngine/html/manual/index.html create mode 100644 helm/searchEngine/html/mat_con.html create mode 100644 helm/searchEngine/html/paginacollink.html create mode 100644 helm/searchEngine/html/pdq.html create mode 100644 helm/searchEngine/html/query_choice.html create mode 100644 helm/searchEngine/html/set.html create mode 100644 helm/searchEngine/html/start.html create mode 100644 helm/searchEngine/html/summary.html create mode 100644 helm/searchEngine/html/templateambigpdq1.html create mode 100644 helm/searchEngine/html/templateambigpdq2.html create mode 100644 helm/searchEngine/html/templateambigpdq3.html create mode 100644 helm/searchEngine/html/val.html diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html new file mode 100644 index 000000000..d030ea41e --- /dev/null +++ b/helm/searchEngine/html/aliaslist.html @@ -0,0 +1,89 @@ + + + + + +
+alias + +
+
+ +
+
+
+ + diff --git a/helm/searchEngine/html/almost_blank.html b/helm/searchEngine/html/almost_blank.html new file mode 100644 index 000000000..05204a549 --- /dev/null +++ b/helm/searchEngine/html/almost_blank.html @@ -0,0 +1,5 @@ + + +Are you lost? Consult the on-line manual + + diff --git a/helm/searchEngine/html/blank.html b/helm/searchEngine/html/blank.html new file mode 100644 index 000000000..3334d0b61 --- /dev/null +++ b/helm/searchEngine/html/blank.html @@ -0,0 +1,4 @@ + + + + diff --git a/helm/searchEngine/html/boole.html b/helm/searchEngine/html/boole.html new file mode 100644 index 000000000..67024321b --- /dev/null +++ b/helm/searchEngine/html/boole.html @@ -0,0 +1,77 @@ + + + + + +

+ +

+

Select one of the following:

+
+
+ ( [boole] )
+ [boole]
+ [boole] [boole]
+ [val] +[val]
+
+ +
+ + \ No newline at end of file diff --git a/helm/searchEngine/html/constraints_choice_template.html b/helm/searchEngine/html/constraints_choice_template.html new file mode 100644 index 000000000..c81a8d74d --- /dev/null +++ b/helm/searchEngine/html/constraints_choice_template.html @@ -0,0 +1,18 @@ + + + Refine the Constraints + + + +
+ You can now proceed using the default generated constraints or you + can refine them by hand before going on.

+ + + @FORM@ +
+
+ + diff --git a/helm/searchEngine/html/editor.html b/helm/searchEngine/html/editor.html new file mode 100644 index 000000000..1e6afe7d0 --- /dev/null +++ b/helm/searchEngine/html/editor.html @@ -0,0 +1,122 @@ + + + + + + + +
+
+ +
+
+
+
+
+ + + + + + diff --git a/helm/searchEngine/html/editorpdq.html b/helm/searchEngine/html/editorpdq.html new file mode 100644 index 000000000..21e803906 --- /dev/null +++ b/helm/searchEngine/html/editorpdq.html @@ -0,0 +1,90 @@ + + + + + +
+ Your list of alias. + +
+
Your expression.
+ + + +
+ + + diff --git a/helm/searchEngine/html/expnamedsubst.html b/helm/searchEngine/html/expnamedsubst.html new file mode 100644 index 000000000..3db7acaba --- /dev/null +++ b/helm/searchEngine/html/expnamedsubst.html @@ -0,0 +1,78 @@ + + + + + +You must now enter a list of named_subst. A named_subst is an Id or a Varuri followed by ":=" followed by an expression. +You may enter as many of them as you want (even none), after each one click the button "add" or press enter and it will be added. When you are done, click "done". +
+
+ Insert here the Id or the Uri you want to add. + +
+ +
+ +
+ + diff --git a/helm/searchEngine/html/expr.html b/helm/searchEngine/html/expr.html new file mode 100644 index 000000000..3e302b8b2 --- /dev/null +++ b/helm/searchEngine/html/expr.html @@ -0,0 +1,60 @@ + + + + + +You are entering an expression. Select one of the following. +
+\[Genid][Expr].[Expr]
+![Genid]:[Expr].[Expr]
+[Expr]->[Expr]
+([Expr])->[Expr]
+
+ ( [Expr list] )
+
+ +
+ + \ No newline at end of file diff --git a/helm/searchEngine/html/genid.html b/helm/searchEngine/html/genid.html new file mode 100644 index 000000000..1ca94c4cf --- /dev/null +++ b/helm/searchEngine/html/genid.html @@ -0,0 +1,27 @@ + + + + + +You are now entering a Genid. It may be a simple Id, or an Uri followed by nothing or by an Exp_Named_Subst. +
+ Insert here the Id +
+ Or insert here the Uri. The uri may not be a Conuri.
+ +
+ + diff --git a/helm/searchEngine/html/grammar.html b/helm/searchEngine/html/grammar.html new file mode 100644 index 000000000..a18b27cd7 --- /dev/null +++ b/helm/searchEngine/html/grammar.html @@ -0,0 +1,76 @@ + + + + + +

<string>::= '"' [ "\" . | '^ " \' ] * '"' + +

<path>::= <string> [ "/" <string> ] * + +

<string_list>::= <string> [ "," <string> ] * + +

<alpha>::= [ 'A - Z' | 'a - z' |' :_' ] + + +

<number>::= [ '0 - 9' ] + + +

<id>::= <alpha> [ <alpha> | <number> ] * + +

<rvar>::= "@" <id> + +

<svar>::= "%" <id> + +

<vvar>::= "$" <id> + +

<refine>::= [ "sub" | "super" ] ? + +

<qualifier>::= [ "inverse" ] ? <refine> <path> + +

<assign>::= <vvar> "<-" <path> + +

<attr_list>::= [ "attr" <assign> [ "," <assign>] * ] ? + +

<set>::= "ref" <val>
+                 +| "pattern" <val>
+                 +| <svar>
+                 +| <rvar>
+                 +| "(" <set> ")"
+                 +| "relation" <qualifier> <val> <attr_list>
+                 +| "select" <rvar> "in" <set> "where" <boole>
+                 +| <set> [ "union" | "intersect" | "diff" ] <set>
+                 +| "let" <svar> "be" <set> "in" <set>
+                 +| "let" <vvar> "be" <val> "in" <set>
+ +

<boole>::= [ "false" | "true" ]
+                    +| "(" <boole> ")"
+                    +| [ "not" | "ex" ] <boole>
+                    +| <boole> [ "and" | "or" ] <boole>
+                    +| <val> [ "sub" | "meet" | "eq" ] <val>
+ +

<val>::= "{" [ <string_list> ] ? "}"
+                 +| <string>
+                 +| "refof" <set>
+                 +| <rvar> "." <vvar>
+                 +| <vvar>
+                 +| "(" <val> ")"
+                 +| "property" <qualifier> <val> + + \ No newline at end of file diff --git a/helm/searchEngine/html/grammarpdq.html b/helm/searchEngine/html/grammarpdq.html new file mode 100644 index 000000000..bd3835bf9 --- /dev/null +++ b/helm/searchEngine/html/grammarpdq.html @@ -0,0 +1,38 @@ + + + + + + +

<Id>::= [ 'A-Z' | 'a-z' ][ 'A-Z' | 'a-z' | '0-9' | \- | _ | \' ]* + +

<Uri>::= <Conuri> | <Varuri> | <Indtyuri> | <Indconuri> + +

<Conuri>::= "cic:/" [<Id> "/" ]*<Id> ".con" + +

<Varuri>::= "cic:/" [<Id> "/" ]*<Id> ".var" + +

<Indtyuri>::= "cic:/" [<Id> "/" ]*<Id> ".ind#1/" ['0-9']+ + +

<Indconuri>::= "cic:/" [<Id> "/" ]*<Id> ".ind#1/" ['0-9']+ "/" ['0-9']+ + +

<Exp_Named_Subst>::= "{" [ [ [<Id> | <Varuri> ] ":=" <Expression> ";" ]* [ [<Id> | <Varuri> ] ":=" <Expression> ] ]? "}" + +

<Alias>::= "alias" <Id> <Uri> + +

<Genid>::= [ <Id> | <Varuri> | <Indtyuri> | <Indconuri> ] <Exp_Named_Subst> + +

<Expr>::= "\" <Genid> [ ":" | ":=" ] <Expr>"."<Expr> +
            +::= "!" <Genid> ":" <Expr>"."<Expr> +
            +::= <Expr>"->"<Expr> +
            +::= "(" <Expr> ")" "->"<Expr> +
            +::= "(" <Expr> [ " " <Expr>]* ")" +
            +::= "Prop" | "Set" | "Type" | "?" | <Uri> | <Id> + + \ No newline at end of file diff --git a/helm/searchEngine/html/index.html b/helm/searchEngine/html/index.html new file mode 100644 index 000000000..e7b73b5d2 --- /dev/null +++ b/helm/searchEngine/html/index.html @@ -0,0 +1,636 @@ + + + + + + diff --git a/helm/searchEngine/html/loc_obj.html b/helm/searchEngine/html/loc_obj.html new file mode 100644 index 000000000..b6b5222e3 --- /dev/null +++ b/helm/searchEngine/html/loc_obj.html @@ -0,0 +1,29 @@ + + + + + +

+ +Insert here the name of the object you want to search. +
+ +
+ + diff --git a/helm/searchEngine/html/manual/alias.jpg b/helm/searchEngine/html/manual/alias.jpg new file mode 100644 index 0000000000000000000000000000000000000000..0f57638e26c7d3d5e5c872696d4de009c131567f GIT binary patch literal 29673 zcmeFZ2UJwevM4;{C^_de!jP08IU{L6!Z2hI5m3?qLyn3FA{mAmP;we_5{Drpc?beZ zmLxC)0YSikg5hz(r{8_Yd(OH4ee3_l)|+ z2nYxOH_rb6KNbPn01_f%Vqzka^B)ot5>hg1a4+`2dD#1lBG)cJ$xQWHgneQU*cTuDa^bL!T`w;>kNc? zmH_7YcXl^V?aYF*cW(nX60f}e5WVx&xoJkXC>nNjv2(m(sg=ShYL(p<=}X?DLPK%9 z3dQO^!HIY1gm=OccVIdTp57(Gn|l9_w6wIw*b(A`>1RKj&`igW~@*aFZ4hh?V^=zB^>F?o_ z%zfXC+D+YG!47=D7Vlq~`UAj7BxdQEFXu|?2Eu@d?+CL!h;Jv zLu7)(_Z>JWh5w;feL!JxaP5;wiHi1X0Y9020{-8)~VC2^&d1 z5(Z3E0hMqyZZJCeA0|oliVndT3F9Ag=I6w=YBM!c{s)Z1(f_yUf13lQ6X%mGxp%L^ zSmCHuvhIj3v$%1AfdR=6(&ynL@p6p1Q`M&~klH9BYX2x=EO_k)V3(@=C}mm(UB2vf zSUiTP5Q%4>MZD0pnBXB;e&fi5KW!n4ALf!$M!ft1=sCds0JKOJ3@TfWHAxS;ZqB9V zNUDAQ68d3`%s)rc<+0VghkXMPnq?BAjp?h1Wwqy^8F7Q}hA4>Gt;U-=%(R}M&|+i**W1C1(a&6(I~k!% z`9{Qp_m}9_8%l|RG$6`I!v!P)l0IGvCrW{*_s@gCB>&`&(EmcFHvG-v#F0TwbE5IC z1+g;OnA`WGi51b-w#J^r<-w7?eOv}5ag*9ttEpDW?-cG@4IvCD5jt90UTfybhKSkJ zcU<4rt6E3$Yf$J~FGWg)AnnbmRwIek1rAs5T1||Tu^4%`253BNP(<99PpjE3FO^}X zKcv65kNW`viKr8OlSBwL5FWV(30Qw;8jx#f(QINb;S_BFa(7DGVnW}Ljs`<(_LtiM zLb)!h7UjD3lB_Uc8oZQvv#24#bXs3BHHcqd)ICy2jM$YJk&&K}Gy{=))?)BvF|>u= zJUAo3h@D&%lI>37MzX3j1PaV&XOkqzNJ%ru60>XO*eVwsgEsX0_L;uGT}G5Pa6ytt6;kIdw{ zKDPxdGZQo!`C{UxPp6neoUZxXfCr^1wlh+=!rF!^S(a^hEGvVaf4GhJfuZ}&lavr^ z5PJxsbC`gVYjVgqBxdXW^`h9e(~VZF#Y#~pJyuW_$sf^I`SM)e$pIDO;uqYyZ!VgZ4#l}+wARBOmV!pUF5p)BmgLS@>tt^k+f)Cz6#lj7RC<3=$ojchuqwYM zNVA8X_#+qN%%<#5f#NA_SDGXYG`fcsh4+Nx)y%KM4q0kgTrMtC>f{+v%i`T4<6Mg{=w4g* zx8?pIxV~Vnsiooy8_0l)+So)Ese_X8K_G0+^#Xgf+JuDY2m02v?$lNaRzR_s@%-el zSj-{2$J%0E`15JOd zu!=<*iZJ5^n2B7FIC*p?0OQFV%rslH%-weNrqx=8s3N!&B(Yiw(s*Erx!)XjKN^`r zN#*q*;PLdj%=?>EPYYr$Qy(k#rBdUTo503}Low^*mCukXWBi&YY<+{$YY5 z=lWCA{NEPLXwvk&w^i@(KS`+kNcgk(ff9oJ@7!!ZkrosCDf=Ymh}VznUYD|(;JK?| z&{l~r+54xO0pFz-urEMh(|_j{Th|*>{A99Q-}X8Em?kpgw1R(L%~S6r<<60XO1k|S z#Xv2W%x67yn8oI`-F*`o^FEa1fWH=}nJdL-o||@dlKL^h5-N}^I--6tp$l;%I%JI> zKU#1n2m9tkwA=1;Xsy95o_u%Rrk7N{ab!wNQp3d%OM6@wgq&4s+);bYFpS>d@H)R=)8)ga@dpfwo!0a&_QOXiQiSoJk; zSy`92vwZNH#TVtapd|Hh%LP+tm$XOy@bVPK>1-jwWyUe1z1*$uqzQ&5G5mMB@H0O=WJ04Rc$Q|8E(0HzFI$+X>52#;Alb03A~2BdLunI zRBX4)_KQ$tx+CMT)!gaN@82JW&ASZ zxemVXEc;m(yjYU=)A2Lgy&k(wlME!kh$W^mI*s55AmJJb4j=F>r5cZ4wDFbQd9K3m zg7I`CZ%2Wu5!Nqlu2;bRExy_f3OLYj1anK%)G0-)-ZYrLv ziga?$8HtAMYC3+JY1)=9nblX5l=fvqMYRZU0 z-66X-@o+BvY1l?(lZ)q`Qbg{ME%yugp4X!5Z2f8}a3}>E6Av1R*96?H zHGZ-1)DZU~%suWSH@e)eu~+LwYjP}5OZi5$O!s}wT^f(!eQY_Gkq|#03Umzs;C9L0 z*4gBa7h9O#GY}1a?8DC%Xa}i_4>y*S33aVHddh&>Bo=4QCJ!ot0x&GFdr~c~LRptxn&j%de8+fs#Oe zcbN4;aqb39+7Ezj9$uE%; zO$os?W@_J4#@>ITW^|+i??o>-zLfjiOx|Z>SK#f;J+AobjicQB>zF7s{Wt$^fch0O zbaKR~1co!~cHfYBO%VZcn*xdn5O!TA-R3q@ZrR8d2<)3DdJE11Ix=B8{FiVJFKX3!Vw;Wy?HrBonF37Hj?FD_9+H`Vcd&@$xre^H8U zzZ*fGHzf3L?YP?Bue@E$4Xgw~AT(iDV}%YU9Ovxto-@NO z?SwK7JdwzQ0J#N=rzw|xLwLuoo5{KjBb1Bw{fTnnhSGAzFiablp}RE*9My9{FuIwh zWBba>rw+1_*!8zPHLy$GUYG^yGTnY3$Z5~8qS@XLfN@7$WrTZcXiI^g*wf+Iaf{FQ(OyVUsr*iKi$gts1uoO8u7QT#(#Y*c7WvN`fFG7zrj62li~i_mFaJAyLL2> z{?_$xaO>Ot0AMXHvz5M^@Cpn7Q2*3y=Y@YmxtX>qb=o;CzN6m&yEil5ZAGBO31uXv z@K8Kg&phf`CO_>nh_g6{VI9ltB`HM1%w;zH#Zg_@g>AVuLPBI-2@#iy#XgHG z$$YR-G{S)|m2IV}!q379v(&2gWHjf(C6xsh!e)`%o}&;yg5CxLLB$?LHd$t6D37tD z$K+!c!{hw?vK%=4fYEZ=qNO2*j8-*`sS(1QqM$e^_SAFoYtE7c;nocH@PX0b+P=lQ znKj%~%RDV>d_~Myvp1ukj$EMrF4Kp@tsvW1K9Bhd<-mGG$PFT#`?^dnk05EYe7Sf9 zRuy)wvxxbGs7@Y7X}Wkncl*IKeux1uNJ54RCc9{iK@UFlV0NNbNLm8s2PiJ#Jjm1s ztTTu3eWFLJv!kUn2DR@6arWUky;{N8^-B;!u$CPpAy}Wpg)B$el&PfS29Lsr&!--J z?BeJ|s3l@Z!wtwrPQHc3?{2ZA5}a47`{KI-(0T1|jkESB3k!=n1%vJ$CHfM~hqJe5u65(o2_jVpu4zWg?|yUe@8kglDqPEs;q2T*GA0DkY-y?Sd|Vh-)h37{&vpy?kf6$clex z_M2)@q=!@Q!cqrV%k;CV`D3zpr0S9!tJ`QLicYH98-kb;ZH{btCKM%DbrNB z2XLWG2uE*$@^tYjK+uOS1irRgH94!cn+R;VAiLpC3J#(s5ij>K98myTf1jian-rtR zpjlI?_-h-op_n1f(PorLbI2(^wLlGDCZjQ^zdkaE**i z28#*hwJ!Njax*1yB?(dAp#1W=@}_idM33gSO=y;>fru^lVhde_wK0GV0J7#5)ZFr4 z^MlhH74Cd9#ityAdnF+W*1k$uNE{PyFE|gTPxf$v3!fYb#`=X*G8vfH%za?LTrw(t zB`C8=n#=vfqSgL8IoP>1H&o#^pH;bfnYc+;)-o1@M!QB(5P&5?&nt*x1E$f`+r)^= zo}yEhKv@olrr1JRb^?uDKK_26zSjTWnRz5octf(B$# zVdHia`it7jlSp~5ws!9p+17@Iw9<@zmmU>UdV}Cg6ccj@hnVrsm!$Eg0c70hLm&UC z*AW0HMX$YWl!{XK#A!Bm+ORwd_pR?PM$~~2iT=-SQr1=8s)mW7lD7#XKm8$^TMLZ3 z?o|DrW4-%mFDnXf#{(yyk!H+ZLVvTy2ohloAgpmX2vz;6GsTU-9nW?dcHL^fljfkF z6jc2w@tuhL1zsX^&ay10_$2<-VN6$(9P_lyGLdRz2osC(iAw%=ft{3L=P&Ln+ZnI> z9i(1~-<7af-Q%`iDSKkKZTtkB>X+@T@aWTAwymBt{xPNbF7NTt48Hp9zFzsNDu4Xk zqP>+fG3$#D*cWBd<8)ApHwP-DVPBzKb-#yg>!)-q2CbA@Z*WBMmvImiHnT9K835pF zkn;$k66Ndge3QHM0XUZ@Uor3ehu^JBK6;y}o>{Z6v{(zA%>^%-Qi2hFOW`o=M% zhJkZ*i*5#xSu}uw%tp9hL`?M;C#E_lgr7ZZb8fW$Zrh+!Knf-BO_Y;490A8XSO(|t z1?F|*iO9Z*x!6dd8?)Aj+&`fP#9&Sa>Sj#LUBAcOCg04^5Mn}y&K-Rc%j1?hUPn3#?KBv90`8XH=}?kx+F(hl}4C7tw-B-NgD zdsBfS`fSAT)2fMK-?2ZOe09gJ#h7o48E4$%tIGpl{EFoE#yM+>TCcj~k^y)(HFY*l zOmv^_s*1rH+!H^rnbp;SBZn=&kb^Z-j)OrsGL(V-@NReg&CbQ^8MQD*M$f>{wX)l4 zrw(8UD>5@7qlI~2d1%$wDt*?|D!f+sO*74G);sr=J%dw;z9#h90*%GUOf58S`KDoA zg@kjC(d26tH0GG_h2C%>t6*N|4NMcjV&J*_#vJ*K@ zRVDzP9s^;D!bi%z;I_#-iN5>pcRuAEUMoO>-abZkydob{Ju|9||PSW8g+T}k-aueF=QF>MS={03`-~;=> z?Sk|UVw8k61c|0^QW%F8%0!`^udK2LzVXbPc{O>(NQ1`>i#NzjE*F8w!*`XTp3Cja z?&>-%L6~RZ#wWHWFTJ^IFRi=?F}&n<(mi;-@@6yHUcW1+ zdOt0m+HlIsM(VoubLEi8Yb~*^qMT;^^m7j0KcP%@&SreDi}N%*!LW>2nEa}}3oQM{ zvbHe!ZJ(qOW&W$C{1X*TFEsS*XYEgj*?}z7{ud1pT84eO;QiA3YMH>2%roK$kd)2Z zI>Azg#XiGyP^iJw$b;#jv7uB6W4RBNRLe~igOJ^60(KQ0GOX3#-SCb#Zv0WyoWOh? ztgn5&XyMz+`aS9G4}k0ImAZCp!TENq{mi3|Rp1BUWnRJC_OqE6_W#mp{!7yTJ2n@( z(Y)o^yhAee8RtIq`h!*3-M;K^*}npKm<^v(u_^Vnu{&cV*ng#m&b1MVHnLjzXmZU$G)9pP`!&03Pvy!$ygxQS$I<84qLtQ5RO$k?f3vbta} zL4dE$FQ53TroQ_F;1TD7>xJQ~(Wl8I*oc>;>;m@GAAqbgsNuysj6Q<>_0w+RO@B{FvReMby3k2bh&8_D_AoCD+pVh0 zXziWKz9W&|3W}7{$`}VV5f($CVR6W8?9U*}+UauHQo6Uaz;FgLBeML(sHbntd*dju zS%30?`gQ`X_2*^QGuUb3Cv$v&<9_q*rB~Nk@TXN`U=K0B1VkJ&JxZD-I=Y-vJCQF9 zQ=Sd*W>-9{cAorr-^%()G*x=vjzM@1#Wn;CJ^{o60HQdiK)9%4;fa`KmG^d-Loo-W zl{|S_RERDuc`sXAYqqm{+gcsPjs ze_iKOS(;1K?3YHO`)krl*7>GS|5^C_Uk1znBx{PlLTG;S-hsMtveX9=2$Ts_;p}$zjhRs66tQnDTUBgvDf2aHk&$GOv(!{zgbyA zA8)p)ga;}>8e;aB`|&lockamYl>cK$k#dL$1_0U_*tIC^?o?G8Zj9T`S_TemF!;e) zF11xR-QU984cUIjZ2m@NyECaCmoxW0Tez(}oZT^1zW$r6W8n2LJoOd zCT(gToY;c3VSN1jb}jyHCR|@U*8aVC;cwOBf3~do?)vwALf40+TIE}fi?W;TkVTh= zuMeq7^kK#d_#583ge^6M6#DG!Jhq=Vo^9FvO(lBbSF0aQpM3G?I{py-Dy{>6r|8oZZRp@P?frV?_JxnDNnBXPOJe3uWhgko&>O=c zv!xPbOJhm^4KZBbOj%Rr01GqSihZgT2XDIq2j}>$uLA|!Sc)f`ojgV~XpkcJUM?U2 zg2h^U{}HxG+u+QTE8?m@0Bq?D_8+kiUIrRa`naHAW+PZcox7$3*M*94T?;jbR0nnL z_06p}k8iENgq-i=8?5Oex!3{{k%Qz><$GrOJ(P#~VVbnGd(FGNun0_3$0WD=C(DIN zCKOPSlC0u>zCeW^EPE`NmCG>WORU56Aw_mtXiPPzdpSz(kYZQWQ1>o{*>~zq3QOx9 zKbL7E>V5{M=b6nQzNT@0eh0c$P$by#BLWj;0+;n+gN&YaacF0c(-}69(rG>O8rn1R*lq^-1!aw(MqRbUC*VWAL1<)0e7K zq*9*d9^! zJ{F|@t>-Th{Nm;Pg{tsI({15qtCEf;?yARR#Ej`b0P4GiYq(iy_LOyDgTP^lN)Qk` zJI5?Ru5a#X2BFzz>=Op{-s_F3m1;fT?%s2H1+S}BspvJVE%(66V?^qsPg@RoSgD;A zNP`EIXJ;XylDT!R;ftau0J55I8~DBB9_~Hma~LQrspqCT@M(^xlg~|;?!id_=*yiN zg1+il(nr|?J64~ugSL5}U20m;HNvgau}TQ$SnmExG);;g^~U|)vEu8Y!Fg^?ZR^M! zFYeL`gu-y0vgHNvbULu>nzu-ZNOdklA&Cnr16Od|^7IEFy>2$WY4@S~Ocq79r9X{P z9Q~toqemm~O}@@{VkJ|+HbWSgN99&@Yh@G3Byo#W@hH6O4GqXpiU+B?+#x4d7;><; z%l7pn4Xudyke!iOdwY?Qf1hxY;_&Rns` z*ZvZ;5+1hsB>W;a<1c#S`3k;O1(sOX?FHZBk}E%vsZrW>m2d)?X}ZBE#_`7`@kG^o zxP=eseJ_5LpQEpcUbJ!@jUF>k*P97j)E+OWl3rXXQ&@hfBYVkat2bKCFiI}gnePrS zu1Wokh%$%Nb{2fr(|jCc5KAtE;!3$R+qH{SKh5g&x5J?8&HECownrzQJ`QrGw@suQ zPAcaXk@V(^0|PjFc0@vsvbRrIFkdy>e*pGwoSl-(@9QYd$uUUpJz1ua)cP_>rLSRZ zNtQ&tk$Uk?)yBXkiz3KF8}a1@3N$0z0EuF-G$65Spp*9=RI!<$Y>=F*o;~Jq6wb0x znCGXI;oBfe`T>|YT7_N=s6EP}!=6v2S6Wo=6es`yLEcU9HIPBAj){YFE{z*A+$JMx zmtKMts`u50WUj&Zm_=xW$%O93Qs;Mga(ov>ywL0Q44p>1xhjZ)%!>*OgJFWX{EB3$ z)L(wclD;Y}E6>Q^W&z?o?CtDX67Dv;PG^#WQ_f%?QWrgA28MaRuW*a5{@LaVmfQ*}2z05)jeL@8HSnIbnP`fXPO%764VA3%UK)sU z71<|9fqK6a#ra~nG*lGoDOZ)$B&jYeFNZ9RVR-CIsv*i3@eBo4-*Qt@oe}u~_;@L7 zt0p(0*4up)v1FTB5|VYU zy0>P6VK@Zpf~NnF`bo-6^&0v0v;+!h#WQlP4>9KdXVonJ&QZ(M82&IVv9+DU>5)kx zJ_Le90;a9*5!&JdeBN z!&>c2jP0{7o$wXUj2nX1B)XMEe1&{@_#F;Dwq1I0kk>4~GM!==V)OU3z1q{)whJF> z5wMqA1uZ8Grmgfv62-@KXyRD9rc!62koTHIo!*Hbl*?gbCzyA3#ouUl7X2gljr<+v zU(M9)Jobdzq}XLCdctR0v2wMgpmK5>kpCsVk1#=nD@!>+O+BtA*IN3M7BtN4CV&)x zZ8D+HpQ^vnBBJY8nsrXOr?6XR3&FK7@5BY{w|0GMX9#pa+VZyAp`V6mOUk{xO122s z@s^a7L5Oc*s8AZ5)=R(8Ho;iP0xF^Q^sPG8zf;Q27Cn z83&-a1cNMa#6paz%w)7b@%+;Vv#ymNVpWbEq_z<6^a+stw6V&Sw5ev6R{G6dO`P$0 ztH%`S{zbwMn>*7DQ}zD){3xIstabyfvUNshqC(4TZ)8^BodRQnCA8!cNbO&Fy@qk>_U z{2g;|#8$w}4+a-~GN-#V(}yvY=I>6!6iF8tjFezr(i<-1daiZ9-jG>S6K-J}eqk&K=R;j?d^X}1L}y$(12$>Bi~zdKK65y>p5C!2s#2)AaP2giVM^+PB5pfHd?m$ z*aaOc!pBq!LMd?xtI)rINQWGB50c9=fBy;OPm?xJXGAB%q;|vM=7iI=r8~6x6fnD4 z)5+dJ)}9WPq)KZFe7g_zQjRqoQ>zMQXJQ)v9gsjYiP-NbcW~DPzq9#6Jt+Sq$I8|e z(*CpdC*o$2Om#m8nDIeMa2E#*#E-T=pSYzAsN8G~&DGFn-=*0o;NuRhx2bXzZ73bR zNB1-&%Ns@`7Lqb*D9J!7GcJVZ3hTh|sF#&ld&_vuIVdh0#LICFh$u@N#(_MeAUtq8 zDD4($CsoFZ@rR}qJt0`3+h6zQ6eVqZ5RszmcIFA!64=R&rAwX*Mhz3G+c43c{f4+Xt$~`G z4pgHSZC>O@CGQ(I4DCSP(!EHg(HI5a^&p0#zxayb4rK?K+pfWa=IeF3>-p}NgzEW0 zW^Chr448sSjn4xlR=?x3bykI!#QToT-GvmF3dJ@E=~#*A1P>dRaagQp+itR=$HTYP z$p^35%kHCf{1^**A_|EVfohi(5@=|DDn<8S`UjJU#&oi$`^Jxt=tBeihnEid(oAJ0 z*@zF1h|D%U#E7qwjC9$t8Hf=WgS9k8Ou?rU9}NIsD0&L(e$@Can%d-R?Ik$X;t$5`MZ3DA=Q;P0Qut*j4q7 z8glEDQ+C>@y!I|oFic}fAKy>Vj~~!9|78My;pz~nS}h@;NUb~%zg#qKYfkTX-Oc~( zNwYh6nnKmiznw3d#0%pQZqX~~$8_w(>L|77VOWdy2o^2`nCJxv@WE{W#~Nv*c0-#b4nYiqMaE&s5wVhlE_&>|T(lvkQx zmxiBBNS7nugQ*O(G=-v-PE#%X*FAC~vi7g>m%otoJ$n+{ z`UJFyB+NkF_T6UezKzoy`YncTC)Fw$OnPmaAWJe!x;Lx;Lu-2*u- zJKyo^n{c6o8j5w567+|zy!`AvwnV+8#&U1TM_g{|e4fEPg$Y2GzQ&qtJW7;vznke# zu1>SCyDzhR^p5a`v3o<9Cw*Os?(LcG9)GS<-Gjc8ux!m(%I=Tp2TIEJ4N3X{5K)wI zh6H--6GWN=za`y(^^ue}Rh(206ObC&af*1bWL{+pS%8`_Z$3SDlt3bySY|5s%}aor z9glSUESN8h1Y&B9V?oLQN>u@fuhLNA`pM6g&z~$RXYi>1)92Rj&>xCuSqt3V&5c0C z^XA?nJPAJloj%jPVkXRbh9`t4`44Qp!W<~4@l1Y&|bl0tO4G#7|} zNzk8c!1BFHnDmWc=VQAlK%}9!-9xPxnf4MbPbUT41nU*p+4pL`x=mU8e!YQND=gmr z>Kq9`5XR&CNDL-21V=S{e#-}Tt2flwS8e6rH{L>nHDCtH3=B}FqTHyUYGOhP(vroG zt_e^Q!=Q)|O@=Ib*hnNsf))ri?wjOeY)F$qD7=9G);^T1g*#rMe;rfw-XFe{uss!b zEG@_Np#{E{ovd!E;cW7}^Qvhp?%_hN^#i=8kdUheLt*Yc9Pvw+<*9qW^xH2Xs1biH zPi!vnj`<2T- z0N4?0=?H!8jn=@C=u2O^tW9Di2*{p5mQ6WNU zN-0w7mG*x+BOi z`LU$aIjWtaaWLNFM{roZP(?)?Ltz8>q0qJpZDu>Pu=cv_an97lRSf&3A!)%bM!D7Z zMfQtBHU!2XS49fJSfd%1;QHBs#iXb7&D=0QIYKA~sHxLXsA=p=y4FvPCwutzJhg(% zK#^uyK#=wEkZF*1nuFmu5myH|-g-rQ19UZdD`b1b)Vc3{v~yQV|nBjIk^v)99|C-|OY8~37E z?y=uXo+ByAnij>6AXfsaND~o%O()LAV)-a0GBeV;b64vw)wO|rBBfzwBXIUtl76jO zq6?euBI69?`haaf$P+tE2UQHG*x?2`)A69v(A~{SL9TYDmQs)?g-Kdn-XR#Id9BgS z36?Ptap_7Qe{8ew!rntDI*Vx)E=n~j1oBky0lagh5oElvvzTOu&*e% z{;Gp!K)ZgsN!odOM50@u7fY{0V80NElDO1=lthhU6`qT-+tKWu3{niT+$_@>kO?oE zJRu);i)Cgo;6sEkm4-x{rU3>#F!Q;VQ5frOhWR?+zAmJemTLPTffOVy& zqmR+$vCdfz6ko@C@1mKuCJA(wy?KgAgT)vEE#Ww`N~82Z%;=lklA5uk(ygIxt_=$D zhKwfVCAgSSE`R_sZLmsu&8AXwsCC}i-do~%<5GH$tGF2`qJR~PDD!5; zZ8vmZ9ZgH;0*0SbIA!*xX!JI|RKTZjc{csWAdu*jkxOIe(bVwoGq7?t<~Rp?c^>c^oiXfBOeunE(44^QQj~z?Z6-9{_jd6M=fmpv}%7fVIh$ znT}ybRy2o^Kf7XZt`xxd<$avOk!jHUl*vOzwmUoH3Ln0|bL#HackM1Ljn2*Mrc)`{ z@YPMUOicA^@5^D>0g3C{1Pp>SXwoC3#Ht<1nU^$w&tYWo>{i%{O1q9&kcr2d=3^w(t=UTUW;ARsGq zxl{z0a=r}il9?n0;r&!i_ygMch9>LJ7LY=iP3J~~n|22t4+6F$Rc0nTQ{eGzdIRdxe+ z4_66)cegYZF4F0{n6gO|0E3vX!)#`!plh=(;_Oo6A|1m*2__D@n=Mg+rXmaXs?WK; z8fHMll}4a?2l9?%WDZn@c@FZ!YTF`LV<(D?nG_h)(h*vduK}g_yU~RPUP>pCoP=v- z`=8ut9tXo1Ez_9qRY{*j+9m{u|WDclyU48D~B3N!q1d zZ&$wwRe*0dU9@(;j6kcb+qp^{Oy5ViMFSs{fs2^Nq5T!;nTh@-dVg{&iTf>rLgyk_m8qL9!5OE;y7;&byXWq931qNMWw_0$Ceh-^*vuJ6)J<*a!y4%|i)F*-+9+inM@ z%mwq9Lf|j^JXRr>>(I#q4g1$+MGtI6m&;fqBFokWrI7Evq8#+(OmoW>Rxd}KAB_ui z&dfJl0)>iAr+nuyL#}!YKv=d+b=TTU31BKTcZW4ajfUQT49GXO3UI|Owu~ZBO`S1n z8*T&rrARa;YHgnB$xGoI=GiM3jK-^ zoNQ}(J>ipBop~owk=#m&%7IHH4Qcrl6krWirkL^`E>d4Y2%*lco#EaCdUTx6IJ@~G za(d4GMoXOCU2jMxvh(2rT@syikgy_-H&5o0{ZOaI%_IKVlD6`tOr-6IwxPb)1EM(4 zD?|h9{gx0h;fHgTK4C9&zAZ?!Q6G^@GqO+jzK$b&#ZA=k*}yK>qQjLa+EY7d)^FK`0_mgI2Qo=`^ z-SZqxG!wPdi}5qI$lXHk4xiR0cF0LoBbEa7Tsp@V4RK+wwY?dhAd_n=Jt=r+HH46x zqV>v^ikf$z#815o*vlU$ETQWrn;zss9!XXR15y%7;Xv&|CD5BJ!r?Mm;qK-Kbr(N; zMa0<$8kpZ;Wx~LEQ3xo3sOfS>#@v7o#LHI2_T6iWvUO;RpZ2{NX(XXT=v>%Uo=mDy z9Ca!^XD0LL%Vt$G`1ErbIcUm;_oaYgEj;$MT(Kgi5rd44Wd?d546*UupuQ!C_V@t^ zDxhJW6@Ti*>hf6PDTQRo4VoB15~`J#CbCT;DG9^tQcVP+j>6SkUu=+linQEH$ogfKBN#=`k%C$g`#d6*UF+20aw z4KUhv2KM*OuX!mH#>rI*-6$1InN)I|Sufo-T)Lt<$-K5#wSuWMeJnNmR$~#KXYL`! zFUGEHV4$23N6Tu!r=)adm}hnS+7m1JRcvq^(*l7QrB=rMf_gP$ZVOv0;CL;={p|D? zuKLip(3W@&$Vhaf?m-%f;Ju;lgQ52Vg}oOl`#qoz`qj6#ZCi z2kHg`7;?9vmF02Rq<2m`_Pu$@GFt-9uLWzP5u|0ybxfb0jP9@SHeH+?F)+SB5@$3& zma-@y<_|s13pGC9DNy);&c#g+qM^U45P0uil-TmYi)u;<&yEhT6I;g{Cq>bNKt1qL z0i&Uyx39%yx8ekc!vr$3CZkM10@sFI_2BY$Lgl96i}XAcga}84atRANkhjB34^Agt zS7tXhud_WAZuy#WbJiMcO^Jx%w_i7g=v_v;9N^QFOs)6ZSj0rRU&~H_mjib$R3c+k znkuKJ{bQoeqRJ}{&+}*kE{4iBm#uttm$zw_cQ7|5^R{zw>IaEJu({L!}`13 zgqGN@m2~$elgY!aVWTvmyeCWsJ`|P%rKOdM;P}NDv63}HLRQ@=-zHQsy+zU9lqd4J zt6`8sC0UL??K>+uPOZ!)2??R>ek9aesFZt;%4`tcjelU#cGbqV zDNOC1l(B@B_nXL;u_{`*Ok2YdFbk5a@^(&d+YACgRKp`aI@^_ck&%AgFq8R$K`7p5 z9wmZZPup5@6&s-=7ox6+UNB%{;dUyqdnWIGOXWQ*)e8b$3VH<2Hq%a4ml5>>%T?wq1#$#VL+&3~4iC^X8l> z{aL)&%Fa~*$o(olCsDQ(1VEp2rj>71;M(`Knw&>xri<{*8Huuymt^@{+0vZ)<}M*u z8y##D?vX<@a6EDj4mEA<5xot&F0XA`i5LWjv?eVrvrM6DUTyjdOqyFg6qIZ#GD!q? z&bLy$TK0jFy&t$ci-umz5Fi9a33K{77Ii$tRP}N%mEY!}Fj$+d9oHuit=p_ab@Vi+HDvnF_;T*gT@BDE@p*=YK zLiRonG(5RcJaZGnk>2?vi;hM^xc*)b516vJsSn$!BR3l24k>`5ntXJ+IN~98DWl`e zh(>9}qjmjWlP|_oVFxb*nr*I+u8sCz-0c2JLtI)}xMeCGbf{{`H{JgxPwBDLCb>`5 z)jQ!iq2`X}k3$J)7>YY8kZ3_61fhA-4d^Io?o(^ng@u|!&RBXZq?ch5$wZgl1bUsf zL`Hy%B4R7tx*oWkJr(>}(gV7bltP)oO%~s+41Hrs>u6!r=Hb@h^V}vpZ@?gwYZbDj z?Y7vT*ZvSP6O&I4?y%u=Nm;yx#=s2B)=dm_^x}nUzC~V_Eb8q7HePqtH}0-+1?n#` z6b%UTsL;`VF|~ABsq1;v9A8F`F}$Iaxd7ArG~Jmy6}qGyYxkrFgujQo63=luz>VXu z6-G%92fqI7>cmEa5){5?y2UfZKG>^tNE72WTxq^5A5uk2h(Ps15K+eZFyN9rf#9LKq`|1CA2rD3|-=ia~KahsmRT^-l}kE>)G7b+wG;bFi$^^ zHR62)1DwOC2I4~U<7${%k#28xG6YLAwkJkyma+_LDVH1z-^ z5*|b~ABFuo;;)P*-|ggVlt}ILk#+{BRStU#<_i3e_Rce?$*$e^R3lvw5Tpo_2%#xO z3{^TQ)X=LUMJa*Miw)_$h9(Ij5{eWlA%r4IfIvV%kRlKe2t}$$QBfbC!|d7n-Orgb zXZCx(pPBo^HTSH!XU&>fv+nC!|Nrlj1S9#g$l}Et7sYjC?YWuU^6qn&x)cP}p+Zlw(FieH$CsKy2SAx}&oBx0hrC`dU?c^9C|n zO0z@vc4o6Ii;e{@*{dL6H^G#RN8s94YO3vPIhHPTW4UdYyK{;JiZHA zA+x_CIETsS*7mWgiNG1YE9d!EhSItv(UiH^`ThC= zvrgPP;`98QfZZ;=t-%AE8viSXUd>&hNlYfO(LFzVdV~(_Q}CJ=+mXuz<2PCu#QNlR zmI^P*ME@qIi2&G9(*eCN-SgG1sH<%EjoA~8VQu2m$9KdKw?lj+(?g!XSwc%!Oc<^` zsBG-b%RD>%h7SVYm#fC!gYFu4YAn0Vxb(V59{=ouVeTeK zoBzmMcMi*)Jm8mAHH|ml?y}Rt zTqUkxnD0KW;CpR{<>mY;?D|k{l?~>HhlmaGfk(Y&ds3dEq6S?v$bH>z!V&43xpnZ7 zT|~n|Jj={QD~diT*NP`(z5OtkyVD2byjJOG-k zs*}4ED-J(4H}^JaJJ77$7!E1P5V7cwnp(nDn}+71A;-)v(mT`1*Sv4CPn}U&c(=46 zoEb02DxIi1D))w3!a1~>hM?q5h+O*5?ZJJ3`Rulixz|Iqj%-27LGN zqKh-8GpRpWJ%i+^)S#$8)AUaDGCF+5b)@bY0ZN2ATJ`1s8BT27m|ZB3G^=r6gmp^_j+b4c|$ZU*`q^W`d+qkvM93y=oVkLd8K zc>Z0a;P8GAS1k7ww~)^p`@^Rr<>IA}#3&1a{x=1DgS9HZE11Rgv)>ay!%cXbAZ%ln zBP_x{r^ke^YOI1^=J3ia&U#5wCRe_(h?cTczc_UFQJ2c_Z8=B?JayV1Dim^{Gm$pp zaGR)Z_qKu!L#!lQm}bgB6(tB+^x>)gch>xJ5tWbb#}$w&yXGpV`xSQO!L1<5m;hfe z4`#Z^&Xt=M$(C{P=8f==r1l`PXM9s{-D(9PGh2&aOFpj;r1Yq53o;`^{NeY=R42qE z#Dibb4^F!$DwnBFDZuV;HK4mU-8F3ScEk&z8BMa8G@Bap`coq<_suCQdS>!MKjiu+ z!sajAO1}>h&4+YDFCjCp$UC0=8=H|+1;f-Q2Z&t*heyJN!Gdmw* zXH#0h`$6{9Ds5A)1@hi&*a=bn(-OWqorfYNbGu&jA4NJlpb{D`R-BozK$3vVF5%UY zKU=C#^q-trUlrQwN&GpEM$TF%R77Yc@e%OS(iN1mkk4PYByH#7UL37nDAVR17fW!C z;bl_hn?C2vA`Mw+GSW;Q)q22c@Qk{bj{}|Xp}rK}vQ9;pKS=x@xN(CMH|C$TwJ5id30<1Np%vyj{LjZGXkfNOOqNI_m)2ZuiDaOTd&KPox7MSjE zDq9diwSUe2X;~KoyW{}bhKaIUFhR~40TeX4Kgu68ydDeQgC1(8MFhPH$vmX>oHf3| zJBl7vqF3js>opk%z^AAB_2ta!e;Ywih$vHh7nZ4ci$9%7S1N@$!?e@KA(%j)hSa)v zi(`rrvPj%e`~Jai&|P**b$V}5Kgt}_6tDAyw=ZcP)tUo(4@LO~u>->O$&>gmLUt?W zA(U7a+(S>Vq|)`Odiepb<2&jA?o+{pOf0{Ck{hE$3=GC(_hMS`KIgaR=6kIgboOim z-pRc_pg0hCzAyF+;}-o1rMqI2gC+a(Blc-AeGyA#SIT63)xFJ7y|YkDA&$8lcLfx8 z-HEPZ8&^z_Q}1eWEf3~tai#2Y#yg%l*j;HUKn82jA7tH5$8s?1h`cJiQNN&a zV%`h55!_qPyUHQl!@@n4X5;+jj?;4`G*`bqM}sCWD#m6)jEx~?M_{H>wJCS`Dg|)h?`#ym` z`{-quOrcXmH}caIM2VW*cX=aRB$Vt?KX`{ z^5~2C#np&6b}Ar15(lj;()qfZCbi_xl>trOM|-7kWYfT+^h~wwlB({q*5`UKS=LA^ z8l(ECc?kAtZidwD0RGP?=M&;a%^8@%9w@+n|IB{}2`HC7t0Vbpklw#&%UP35;SF0gKD)RDifMzctZSsL-`1@_rKKkKH z8J)U9OmT5iZu54>#UEK378Lrwd*&0%k_S!gpY=$^+*+DIN1|@x)Sa&%8Ql^m(8}Q% zlGJrAyS}ghuEZj{4K18>%;0jmc$rz)#c>VyrgI#c?1swaWI?Ok!Ei$yo2L z6*F_fL-NGMNBm8S3Y{f6qldLnqUVW||xdJ(! z@$IccU8sGMz;!-%{k{IPRAR1$+I**;rLZJ-*$HHZRxf!cUwd<`{~=P`3G381kOWPn zEHUlpsuv_niNN`c&yM)V;p^TvKuMI$1K@KbJ!9vW<_I7E+}!%AvN-_n3gA@+Ku58Q z0Nr3n3(|j&wsc^1WPMw41lt6vw(?G&(HM%+7E!DuF03WL@9nF(s=$FXo=U{6PwD}N z^u#U89<;tx#1OB@V-W7`R}mO*Sg3S~q6YFDlue6KU;peFOr3pn&D&I4^KMdv>zu;t z%1VV+RTq{c%kq3MSeUGb)K6ycTs_Xc2SEkrS1uTA2XO_H_S*f37{SP&E6+XqvxhzzO)(1EeR|&18Bqyp_2H(t z*q>_;gd`9vp0l&cS^>Z)!iF%JPbEg~O+eziv(;&$@@nby`>8>Oxu>*2V0A8x3Vh1O zkC(ajhT$*U#79P#JnjBl@X22F51cA3wIr%4tbB8^*1*r%lUoyPW2=D^gm1K7io56O@lt2x!C6jcviWN;kN+$&+!(1f3h9Ez? z6-ITcl$I>B3u(x9;p3TM|G9-R(lC|8m;I6Sk`JfN%@8VjfU>`3RrYPpK5niZUHG8! z@>U6|0T{kIn`pdq2F`YzKQ3cn)ZAy*J1Y%tcQ1mPC(#R9N2d0n|<=(<8H^5)N%{f=qSSQ%c-L<@>T3d$*vy+RZG4eEL+cwF;7FvR1 zZ!j1yY`xWvTDBs*^Q$L+?xYvCGx3CK%%kCq`q}A(3)sII94bgU?;GI6RXaA}SDK{x zW6ZCSe%y^3vu-VsQ8&}9UI9XN-PIBp(#HBjkYNzmJczL0Yv&qZ*8kwsGuup!0A8oe zN}N2tPgeh2%NTyNz!|s;)?>(vYXeUUg{>+5Wm3-U_)5*Zs&jbqaJCI%kYQ+|#HR3F zKQ^uwo>nuYCQ}7SE27ZuLTsB2o%^R3e8Q-H%|qS@q*pVQ8^DL%yImX8Ge{MtoFa2x zNsG}tY7`e}$d}gFpLnkYXAWOm2)KOC*&?(wtgl9)`X&Lm{A4t=FfSwREu=q)yYtaz zxH0YwD{0L0+9YLtFN~X1tj8_MDgg$xw*fa~xh0nDR9`{y#;qpNpk{eTDcO0i z2?Tmdz~0Yk`V)&iN2ht&rTmsB^!1n_G*>iUMy~B+#Ql+Cg_k1o8nk|}l}kZIxd9j% z8v%*W#Zl+FZZGZsKDNDUyoFh8;1hKLNb39wxN?&m%n%CH(s1Q|GF-1b5;QcwbnZVpislqU@;S z%LDGd)^dwWE}=rTo~nr-;%|eUzkBkw>v}NX=&+2c!->31-}{`RU9?IVM%`JHsN^$f zxWG53w)~JahCe(nJych~`~5d{J2_1yJj-jT==OmNz^;n2uVlMZwXA_AI{Surv$FsH z3nTY`G_U>dfZR&Mow=sw{t>P=273K2_DhNGI+>T&PshT zKf4|K#93BdKJ=OBZFO-cRylSgG8ZoclJLxpWFOF2eA^wQX@P8c`~IPgA68~YE;Q`{ zg zCpsM`h@BcZ+zn+UOk+wi5qBCK4`?%rsgX-hz$2e2iz641L({tE!R1gPxGrN~B|%Cg8rnG`f0RlidpE@pr5 zL+_&G99ZuTYQ4TwM|&MF;*~4beylA_-Ezt!q+9@eGS{gR)Ya1Xxm^ihKjF{=vR350 zO+U6WSIft){w`8A>Yix+NJ-bsTTeK-lSb_zj5nn*ICPq7R0j{d@|Gp$LV#ye9W@ zEFPw5!-o7V-bBa!Hw|El7&q{WSKU0J+=I5GMx32KpAx=apowiOm_N1Lx`;`RLqF#% z%dCb8T{sS&Q{Aa4NZLy!3EO)Yr&mgNs;YkoJniO?wWLov3DyeR<1hRA(ExLD;l4}p zuB%ICp!NH0?(3}0?-YF&*U<{#(^REk0>**`IRd0_d{jDC37>gNqD9U6$*x}zATWF! zVv4ANk(23tl2ShQhS^+>K6-Y|j;+iY<|!`~pPeP=i zP?NxGRi0|xQ!IEriLX*Vnvq|te`=ccHj(#cX8m13%K0v(+%nGx&>TrwoC2O3%sMy4 z95-DA)}t+qX1{Q>ZGAj+L;YwlGt}8wA7*7Qz=Mo5q3BTK3D`Wg%7^aMdiK7>U}MQn zGIE0>F6(k=&25Psu~YV^sO5UzC}dW~PlCJQ`7aFFpGn)y}3Yxalbi+_>1R!qGHae?f65q#xm^L!H zMrUpEVtsq!S8khz6@z7BpLankNa74hPGM(%D2s=8G$6FW_g@CQe+Kp!tdCDSiVXi% z+v<*JNIt}mZV?t_E)wKZN~OQ|H^X>fc?!- zJ_7o~#`FDbS<64a`0vO6;|USg>Rr*Y>8H|`HksrYKdRo}DmE|_jAldlAe(Z}1Z7^Y z?75rom8GcarFiZ8_0a30)ZK`#nXPJi^Q6Zev$5F^!EJ zFU{9D(;4cPEZvG9ws|~1N@5a>X%w8xt>Y~POG*5>qvEowQX}7yyGYxXU!{6cdSm#( z9Bi^qj7a`d`LtS79}mkEw+S#q^OWHiu&sELtVmi-EPm|Ee*u&<1d&dC%wUzZ)3Nl2 z=&R6~qv>)+Y%hw%bbX~#o{V%&t^U$=U>Dayag)?t<;P2;^0*8hOk=1%NPAHMz&S>B zJ%$Z!!*uZm$kx{xjQJ{jRzj=5tDToynMiCV#N<{77$cJm$XXlf&vu_n_owcftj-oS z2k;m~@piTo`Ci8d_?Uq_uqY!Iyzi%e*9WYC=bknqBkS{bO^sYULoT~u`aR0<0b#n? zr3~~~i}PesM8=g8T)B4pk+CF>^l3Ns8O(AKLoSXG>3Q$O!A1ox^zjh!3{qdj#B4sw=c%M z`;c}P##P^&Mv8<;}^9N(|8HRLqOy7rg3&sc3&oeF9R0-|HFw23tHiYFU z<9U;8EK8G*)9v!zgb1ymK=?xrC-nk5`faIz-BBPvFoU`T)s|cn;G??-FUwjt&%2|B z5+ys{NBOY69+FNLrgw^kvAzZ?ajFj8&3Q+8q=L{x_`=1keJwvrN=cP0>5iSpmR_#| zw$U{Aud2Y{ROkwjQ~ zW5MY^H@lk`nNYna*@j$#X+Geyj@63)08Sq|`XQ9{atEnOk4{Jl=tKqSNv;})KH~_0 z>qjt_HXE}(bP6*|+*V%ZX6C6nV%^NXlg-lLfOY z@_|Qrm~6DJmS6mOLG~}IOWV`z++KODxn%ey1DCz`Wf;cv&fGI+EK7w3U#00}yLOnh z9;^UGJniTP91fy$$dAVGQ$ru0N_M%4ID@@uQ*Tws*e{Px?i2rF*=0fb1dYGmh)u*3 zx?X5D0=RQNm)0HI%mzEA@orjF<0~zzL?uCnK+aO;l;srx>gzer1^L7JTGR0JO8Kg7 zjzKVoK`FFESo%hW{fmP~^Gev1G4Nn!dKY;W3=4al(3=YMtP80jrwpz;4aCY7HMQ03 zWa>Bs+$s2+vEaZG@0(<4haK;8?tLkdpz39*AM8{o-6?)7PaK^J@UIP+?pZS73&|nJZ92`EmoL`T z=7G7M7hVctkNpuwkSbZUn>9XK(wgmISa#f^Hqez{bp6^<-Lj*zvxQ03v&59~oSb_+ z`f_KJX{6x0pZ@pDUq%l{JHZ1kCXfjyNm&PJMj3O)1G{1Ie8IGL!xgSu(MU2zjHI(- z9nbPZ7I+CTfQ_tHu&FLS#ch{%yvB?SkMtc+?UWV5Q%VX;QnqVnO=(>;3s<)xw$OiP zP?+tS?B`mA6nj;2xX*2{%P^GI%IUdlZfwC__qE|qfLnlc!z(ZQ-fvXR3I`KUKf~z=k20&^{ONeGooAapr%#E;;2gc>Z*1A2U zvo2JcZToH6?nJrw+WJcL);H@LS8tr3v2TubmA&$xQ&b5)4AKs}F9Z7jgZ{lG_;2`^ gP)Ux^?D?#}e81Tg#O6*g#jvw6EUkLS{XP4?0Ovx)H~;_u literal 0 HcmV?d00001 diff --git a/helm/searchEngine/html/manual/ex1.jpg b/helm/searchEngine/html/manual/ex1.jpg new file mode 100644 index 0000000000000000000000000000000000000000..8e75c08e255feec980d69f5eb89f9442c7f747eb GIT binary patch literal 23989 zcmeFYXIN9swg4OqRl0yu5NG}OJf*?W=1f=&az1KiO6QoI%-V=~6 zMS_3=f+8R9d(KhMz3(~q+~@he=lgRvJTtShXRn#PX7-v@&u7n<095ytRFwdDczA$^ z7k_|rEI=MW0K~_~2NGNq1OxnwI&0eVw-hsEP56F2R9#Y=BGD zctC2r^KJm>Vyb{kz>DJNMMyw|2gJWbd~w%;3V;U$Ui_1hT_(PC89)U1qcc7MHQ^PS z>qNAIbl2GAwDk=V5|hRzt_q1N=vjHdlk4g`*v0PY=(>9c#l;hI2#bj4){c8la>^?j zKC<@8M=sw`vaz*8bY0-5zo63}r26f`yTE^OhlBc$dHs0-|9%(m5;gG3bwPX@Ic-`t zcHxe541f%H(TN&J4Y&(fWHeP8-L|*bP2tYkRG%97DsNTo@8Zm$byQCn4FnLReKdXe zDLeObL3Yx|wd(ndnPKi%m;z&nw|OMyM$?pGuOj}X#{;*`=#PXLz@TW}VK>mk5A!x+ z0U2i(@aM@pUJ2t_KU>J=6r)k&@`}W$!t%zpy{!j?;gtz{?%g(?r%I!9JwT7uY(T}T z^X3E3{*haQj&*O~dyja?vZ{yLSKs14Ho+44A5vyw{ygHB8}UukF8O2^ z0}f=y1E7l0yAtg3l^XX4iUJ7EmZ_Rs%5pj!{LA>ttN>{;yU=N#ler)pl9f*6PA1()FZD2bR|x zyI*J22R?!6ylCyR%N`HnPkgva^0=9REc3XG?#aHRR`qk@&NfkIQ=?N9@hx5%W|r_%D0 zh-^Z4|M=IUm1j14q$6~g8D3x&^?b>q(mR}<7(BH{(qm^CKjkk7SZ*R&<}?7G)X`Ja zCT&EkWP>J7!D_zNN% zboxB#q2?y5bZ~$8*amNt+) ztfDFopZ~8WUh!Ox^yk<0+jq7__1AM(plbbJU@!PT zRw`BZ*_(*V)d?kQr3eQYk3(=qv)G{8>z$Pno2BeNfKWTY0oJ!14*(WT^=I5HHP`r9 zXG=(28bqt^xPS%^z6>2BSPvw8!vKTeF3HV01e>e&r_CnQ!@O!bPi|Yzj#3@imAJee zc1u9I&CL;gU9({%moL2DGNU~y>CU{8_N7`X*5Z+8zVEDC4-Ts>js&dM<8{!MAcPW> z#YSuS`Br&STec}2<8APow>c=2m}pKtjMgM_m_Hhahci3mF8 znzzAf(uUTPCGS#5b#KZpisn{1Bv1@%Ub2-I>;e{AR0%ZrLbJ{J?-!ko`LgC{kd}!ra_QK+85FEOA^p5&c$go7P?JUPp zp2RBFfYnN%X>bFkvyH2QNqTIUVSFs@<8QJTr!(MtQ{&z|0g+%he)vkuN#LR-zSYg~ z!w0fGHSHoK$fZ{N*u0=to>{Rw*Jy&UOvW;!5Z)KhO}{x8FC^E;P8fXazD6p1y98hF z=%Y=dM#__M3)L4kp^>Z4m8Jcx3`5#k7}p;yG_9vtQPav%Q&Cgn{k^#Qi?JToB>w`w z(8p{Ab)AYkvz&=oS~BiWZ<_EL_MHQ`4)w)fMwMk~j%%C0(-W+Z2&N^252nkFxYFaY z5y-{yGOSz6IY9Z$5Q@^$H=G{Pq>9K+zoy3XT%F;1r31$v{@yM>EUR9$6KOP3_E&(ynvQ@n~TC~`69v1jJzr~&NQ zyUOHUeK&z_F!4GhFLK(>cv3>Bh<7f3;l{?#{X9Pk%7!JX+|KjD|dnR$1VQpo1V$B7k zxLuvVtjaa|J$KvOnz;z--<<3z)0y>!iJSuC7mDk=XNvedf$I8NIz*@F@#@ri8>hf4 zu2OkrtFiP^Wp=1hZoEMoxCr&hfkK*6*)3-_v)t@7&MBhxvnH(o(wI}=#Wk1uOFrV^ zCe6#GPB1j1c)0V5@TArd@?b;QYD(~-D^u!1tTJKam&)7$Yku8`n>fiQXj~oI#*0R` zMi|mAHAk=Mn$K-9xz%c_t*Qzw9QCfJ5<{ln^PQrKzJY|x^pd4!hbFXN3AXb{GB{=8 z(I=0G6AsS7Og11<38PHiKXU5dS4`Cz8j13j*3GkJXJg;&%rAjyBc(WwW<5Y+X23=- z>xg;jLa~p$ZSmad(N!O>CpO^_4(tnok{U-!_7XT-r!)DY!>Ff-Eji`>v!~Ki`!ZFr zQ(E;B>n+!Z+5EEsWcv_e@oiQGd<9vB|D*s1oUpKeQaJ8AVR^!uxK{oTeL;U)KEB$+ z)e=(m%qh+=hmGwL8|%L>c>M;HSF0kClsT#QxPMnbx64>l2A!j;uc(U`^)9w&W(l4tX7Rqi zAQ;0*XiIyPJ2hR-Ts(35q*3p3%Xeg#!UrW#=hr#((rRXOH^@zo0XzxHJ6M2;7?j(p z53lNiMZr88$-dcc(}MXNujX5giHXxlBcrz|wB75a%3rirSoviFW&3a5iBsE@@wA<; z8PT=2_1jz}_tN(mZ-(49Q45{alm-cPQo6YHtz3JHwb=URt&ZTDRMQ5ZE`9T+9Tkui zmQo9Hj`kpW_yfXTduDvO-VE3kZsAwx&5Ok9yH{n^=!|!sY{V^)S(}(`u!I5bQ{KOY zBQJ+yI;UaqX1_?iVyn@9!~2^G`)y)<{p=%XE9amQl@(%qD{I%xd?S~cmc#7Yr1|Z) z_S-{7HnR2O`-8Kd-BBrUE~1O!NJWg!B;W;ajCf}Th@{8n9ofnQTU+=9``VAz;L*fO zttWqwr1w3n2J@C7{c?YZzMfYF?U&sYs}TrAK;Mp$6ik{3>UTip@iH=`kM+y{u+Sg> z+$>ye%6;F)@QZ&t`*lD`ehE)b-g`==QwB{x?Hqf4c~6bXEJcKFczi3*J;$NK?s-})xZy!W$`n4_3vb_!(J%Pm^wOD zic;l_?naH>z`z#uZU{YuY6l}AJ}x+-D; z-Z-hw=?(F!cN?V1ps`tqO2wuCrW2AI7Wvi9k63v8vjFKuVTo4Pb zGUo6sU2{G#JEp*EWdgFUva*bo1b?NyK4V02(v>S(mWZm`wng6_crphf*H@s7 z?E5-v!^_7CNeLwVJboV|U8w7%)_Z-%1WF>WYx8i*36r)riU%=QGwK#HoGPIeM$r9`~dYo%KA zAXp8$eq*s<%bV5<)`s22?Q7V&Bjojr6aMW94PGWF{GN732~bL;H*|<8C2j(-@fGD3zC8^qYo8Bk(!(PUK3Ly z$4n^qi3#1eU}q+6eI9HIG5QFPP!^ZXo)ftdYS4E<)y?{%>cX+)X0f>{@*;b#xG_^l z)}XPr=&$s^0yp}FKJ&=?ZV)NtYA^Dn=rH(@ur_|xxpBr|>cC`BZ9BIhZfwd-j0N2T zA-iI>=a(749y3lH{5fbMecqArvM;njxo248Q3K}IN)+xX-Fhuy3dC*U&Gp9ECBQ^) z3`><(6Zf=XMu>>OJF*lU?~p6X#r->ZXI6#3u5dA-@_I3SA5qM`GsdvH(w6l<$}{8- z+`UR`rg}@jWjN8})RNLnb9Hr6I0xk%!yLJ@Dp5hgM2L)G;f3&XQ~z-@w^C7r(m{%v zF4Iax&OKhm#u6Wg9W{^=xIG?#W4>EP6`Aurb?_*mzE~*Jh zCZu6<0Hdz1*FqlxU$X{M03*)0^Q;O(7fmoy`U99=Gbgjnj|F`GF+$){rj!=y#v^qG z5T)#<89BJ9JH`zy3_ppIFMSsy@(^mDkzHXxapl%#=KS#j-FL~ZAQ z@_f|doDJfwPxCaRw%)QlNI^*GU@ZQGsh9POt?yat%vXYPX>^oi!OJSq53ntaoK%8pMFHc-@zjdjnfyRlf;T z?~xk#G+SC^zvKRXX)2p9Wu~lKj%%m$O*^mg%GT2-em{GZQ{%s?yL=7+pzL239&Y{W zQlW4q;OEmh)1q@sCN%o>G~?EV?dO0+{g)pscNR_~D2#ALqOW>tc`~c^8$ce!6BQw@a!gp8lLE;E5UJ`uanLeZ`vY~@I!uV7 z&(}|md9o>=od{ieBPzaov%tZVnbd4th*;*jFR#IXsX01%QHdF2qLM*N-Gnveb!cah z*0@BO-fO&7ZYpDz=r(nK2y4lmKGRf*f%kER1Cfw3+ehYQ6@^Da{!HkAT0l-(u|ncAP70YY+5@f((EfV(TmBd%&ot7+F)Sp=*%zD zNn*dvD_mUVuOtquWj=n`;Oxwq%DQTgLS>WQ#zvtc-+Co}p+UdO9Msend8CrR$p;6? z0`@TYkw=pjnMmFFFU)y%nT>azNVW3R*T1VM@W1kw`}&7&=@ud;?R_R7$j``V!E(~% z<=JrdChYZ*$rH!o{9NRuK`-!mTwfP=o+AbRM9>L-J(X&g*uD4FdPa}ZMkiDTPS`4n z3re8evm3h29vw{Cq(O61J?^ll4a&gCy$JrXhOfL3SaORuiwH{FN#bGlx@$?ia1r-) z8}ec=Cfmm68@z#l_w=054D#uS6Z^sz(*pm*B<=9)o~cG^nsU5u_yK#tGfgkQK!1?@ zS(4(Y{9%vIn4Tg2R(?}pVM=|Yw78V8@Y zS1RWpwu&Y$R*oBgn&OMmGE zsj8D4piz;6VU$WD%%7N|He+Zl_N=6IUITf~Hs?sOzObQ=l^eN7sv&P<&kP{aIl zzyZ^Rd+ZN&_su`l-A8;$4Ns!1O4tHw8s{pfPaGa1Bu(gV>}&wYQo4`b{nCX;g%g6_ z680!of6Ndisi5<(o|fIFkDP+~8!TYwf4FbI=xH`H> z<+vhb&lJm^hJXh@km$i%-RGB%S-`&S)G#ixWy-3#4dTrc+OcOc&9nzS(;*LyxcW)n zyIu?3ygJ~$d)ZzMWIExR$4e2n9NAC10cdK6G6SVmEXj(?{1a>Ik}$n(HFimr(en>h zn>(6z-oUji@}kO-mN&O-$|}~yKB?ndJE__hlZ0&0c#+&oma{NwoN$TOgoKpm29%4h&O@!v4*ekk3SF&_W zGC5G9rasW-Zs5{GBH&RvAU13|#mn6D7LJ?1dCwjpI-g2PN{pui4jsE@9oDE%6WCM)=KEgQ6 zkCmAHh1)TeW!?<>GjC@^Hu^=Fzn;<#eaXabirbIo&s#r}Cqg`WMbs zN7e+XD+0B%5C}UdxR{r1=uv|Sd+H!LJ{dy1DMz9sYL20oA`nRji%T58Lw_8PDyU8C znW$~IuP^Z81Rva2gKmE+sj4&3m!0G0{VY#&J$x4i2g(C8YJBXSkv$q7!P_70$}4A* z4u#~-?&Wo21iAAmVW0gkq@031*0b$rY95bu9nu#xWrk3+lVace`LZT$hS;~Z?OxeN za|zb*Tf4!L^U>M;X43|GQU=@yP^r$yqTFp<5C#wZw&joX*z*fBtBB5f~z;whNl|GW{z_52;TyAAudu%*%wGbfIN!-8bGC zV(W4%Ygy052V0MW0S|G)`S}#ml2pD{qm%Q8Gndng+G;;5-trQ;Atr$IS?7(svNGMM zG#yv}MD=S5IdaM|>zXkPt*!sQFj;4FsmS^fucNgQKv)$4aNy#{#f}2VuUY3(1$e~B zzrW>ZUr>8sZSLs(wDWRVn!+U1(bLX4bHnAGhQLHSc7%- zR;Cz*7{$IvO?&ZImgPH?G^o8Up2ZHbQMxubhl&NtfUBpGWwIIA5-l*@`^l&*(wU^IjqDgph$q8=_*hrk7(kQFB6z3E)PLCrmcbK9` zS?%V70k#O<(1yUJo(3+CwRp`cs333?<|R1Ky;Rib3eUGrRk&ez?Y?pS#M@!da15qL z1=hDz*N1?nE2W{dCYh2tc4OchMD(>hwe_g@7P6yu>%cAzNd5jWhliEj2f@+iWw-dG zxVKD?;u1gMRfN|@+VP;Uyx`cbpkd;HW(E36dF$d6l%Nb!Je=qt zeQ~Mg-P(@*%{L2Mi)GDZ^DVVcPRn-+gA)*sjPMl_!W zH)a)GgWASrXTpJ@q(R%`jCLsx#?@36_4P%BU^R1SDeyecb8FkmEf<%O9w{}+Fs|Kn z4XnAQIS?$$#63SViKOaPX79q_>OfJRV$s7Sb2~v2{Tv1~j*){DR$!#t9&B86mdv`JxUWl2Mi34=OEjuN{=*Q4t>*90De z<3A1XE!FMU#?{vLOxH%yJDUgqb_oXlu(i@EFvjR&L=|Cql_gF>Cjl}!AkO! zp^k~!bqZf#L+A#vutPy>#>CMk=MT5nDSTQvMI!3a3+xNJZiV@)H<_fi=B~~tJG(+~ z%LJV>uL}YsH>|Ni6V@%eyd<#+~KiUWdlDglvuktXxuA zUQu>gc9qIGfbxNPb6gcKD+I3Ix8>N*SscXc*dyDkST!RLb$M49wOpsyulJ!%S%rxs zn$H(DCdJy=xb)CnnzpSt{v5#fCO;RYuP=6|m;nt;pJj`^Pk10#mx35S+IiuXyqu41 zD4KGaj>F)JOfVY;kftfZqC6q%6c?)zvK=t<4#Y+HAd`e)aFz~r)!D2?L0g_Sr0SB9 zX-iy&albS6g~-0N+z8!Uy7UF50YW)EvIbe!0_W@v;#5XP0TP+yzMdHk5{4Des-61N z_qhDLY^JDDq@j4gD$k=Te~G1Lo?R?`&(78OVcq~KVs&FG6Z4Obc`dN;9_8-YD9Aj}9ew8rV( z;d21Tm2cAdKQdImmc<<37`b_2^BoWP14X_c%f_>KSL^Se4&=b@CF@rr(x$Gc7mAsX z+(ne^+J8=*ny_#tb)nW9*?~D^>Ect^XiXA5QZ;5)(ttqikGZ2Bn}Wr%vc6-G<<2$K zI^%7RGZ8Z7c#yBBR}r}rddZl_V_P`h(nrb7AJw$Ei_udq^d4^H3LY0jG3+jzlGpEPk)x>WHA^$WX+5pT|)1JZZr)>*z_G~enyYvSG0ymq^x zdG2~#{rFr7TeQvuaszFW_aS%zZ;0zKM7u5K^P7JBwqGwe*bA>*r&xI4bR*-w3q_{9 z_5$#8o2cWT{ZtQfbpaC|y8UwI76Y$3ByXGCx=ljFfFW~iZUfZ?;!03vqSG;%*8D7HZB`n-ek>_;7KyLx+Hbk35 z+mn7j!fj8sC{oHMZUF##O!d@s8-?qPOY+jk+{+`1XJThBVO@%S#@$S85tXfd4p1-n zuCM$piH^fd&kI*v5X$Idnw7c|DVop41t9Z^fA(beeecQQ8p6^(@!5pqT{`U_Yrm+e z_vgB+?>x);p~89Ot9&Mwu&>XutNt5erK3N0&;N@^oLC{YE zC31w^0c~0wY`Yt&)?8Z3AKB>EK|#)bH<^+m@oK`PoF;X$Z+?V;EWcl{EXR`jT?RaV zt?99uPP^Q4L>cQr=T{p_2R8^iJDO6(r0URWrd?N?zKpLvu8YiDqC9HlabQ1Lu+N8Y z#wNSTF91w)5OC^ly;OJY`x_4fcGW6|tvuD>p^QSpn7*4gwSUGd{0~-6n)}bfFca&e zXZLeR*C;h-egkQ}+@;@_xpIWSQSi{lVK}zQpN)#^XfP zXGz|0rpOmpiBjqz?l5I4<$EJDL#pHw8%RYE{|?2Mz!@7a_piuWcxlDe!Kb_goIP2I z^>Jv3weSl<(R_eS<{o&GreV;t+N@M^PTTwS_*j>Xt^A|h#-Rrj*RybZQVnF807ymn zD17&9`%M8|K&=}&llNM4P{Vy75a*Id{V5PWn)HdQDH6i7Xn`~))+QKUw_}oQ-futW&v@m6kd8MIkQDgUeTAvR^)<*^-gdnu^uYNry6J+Xl zaxu`vu96rHb?!1C97NYepyb8Zu&G<>K$Ng_sq|OYzP*ggOQYb|Q1SCIHy_n@f zbzQu-Rr%xO?sw&9Wrtl~8$8beAs2$vrC^15wsHNcGOwfwk;z6WCgg`6d2|+XMxcSh zjlzxf1v95N*1E>jrheR{{6>b;2{i7T`%Wk-$-SvJ*krn%EPDyhZ+R*nshV4w$M;Ms zJw3CRwQGJ3OC!g?`357*@!g)j$NzEp{EV9DQPyafv8E~mFBjhx*AG#vGWd4X(ZE8Y zt)$<)RR8Rm4Dm%@%{+nuBBO)GA#rb^ z=I(Ya?{TB!CRHMOls4GjwxYO+7i3fb^0?Hkt$rP_D=H=g&M!204iE}9)7#FduzUJe zl-G3C(V5km!#Pu2>XCnD9K&O)sO)$t_EDeGscR92ieP;i5Sz)1_S;}k1{qo0j*vvt zrWDgd`@pTo>*O)h-;BN*KKjh_<}>#SOheSBN0_g;M!M$=4K?PJ;_F~wnSSDSpZu9- zX;u6Xsc+&X<@!g7s1;SE%{TrtWXl=mp<-s9ST4lok-7IdARja6$GO;uI15D~WB0^N zzv|$144c?)Zh}c|58I~i(9OOcqSKT}jpPHO>)9EeS$)Hl0O*gkq;SkLs zy9m|#8tZI)m^2g}FE*~*)KS~IUU7HwC^F3^=##UVQkN2Z?(J&e5_mget7N-kN}nKZ zLSM2uP`CTh-QWm$&DZ_?SeW_EzFs+oLHw&om1jkM&-O72lB_ z!{XoO?KFThewt0P9E#a?1jGC*ujjN@eJIjq_rT==&jCbH2q77?A6@1|%656y`=X@% z_D9k8i@;bjFvW+bSa|=^gJ3>-AQKUjIoskdtcGTwOs772V~XM$rST2v&^b;(Q+HGE zw-Hs2g#ARY^s93~#C||$>FKFAI`L}wnD|Sva&c_sL1+uDkdDx8XTPPM`MB4ODfhph z1MDLodX-Q92j12{yZoytBK2E8*qt>~mV;^8mkVM*nODbK&^k z8A5)s%KvJXKKqABWV1$VYTOyBZ7Cx)r*3p=;d(>3p_T$X)*H0^*7t<_AI{UOd>>0b z37Fqrim0=LZ1|aoKY-wMQ;d@bwYs{W1Nxql{JkbMQ7`)xr*J}Uok>5w!bC~}*(G!5 zrgT^rTDBxfI5iY^|OFmtl-%xjZ!zp`aEZfdGdbs91wd-^Y{8{X3@IBK>z&5 zdABedPw?yTKsO&d&q#O9H_RYOp*Cj;-4ByO(}&OmdEy)D^E{rR^vBt~_8cqXkrap- zU?hle{e45@IbiM1^S{?2MccmG$>~Q>;RP1jA(+|mM7@BU^NTA|(IajTH|Q<4pZXbU zbL_wMjZDQ8qM-o*KoEo}0&j~w5SN3&P9L*;e=(Zzw+aOU72JUjSih0~dR5|pNMX7u z$^k!~)B_?>def?Zur=bs(0+;cVl zvziukW~x9o->h=+!}Rnmv0HVSXC;hbJARNh%qf0eUi|jp3+vn^JLZW$Xmd^K@8b{0 zOp2!u+Eta7R(T=E%&a3)lf|iPCfZj3J(3oy-=>)l2gtXv#%ijs<9(gj^_uHgzx_=X-XVV?kC&b+pQE50XEY#RSm*uzHmSx%;XmmeQu1hB@Uz)12ggt9CFvzAg0#GD zEWz(DtuO^8?=x%}XK|Ofihj@UfR$HyC1xp=z4D@;4raG2c5rWBk@b8NE?3)7xqJ77 zGFSX>m9wkuwUHOkaKfX_&WA~uh-jzgm!a>p1)63bkQ7iB#q4j{oT)CwgDi zG+ZI}wHSjF{frn_=MZ{rXSvJ1_Ii8$Moy$xRsO)sm!;1Qi|%8>pUdIGGk6D?_f}Lk zFT}LS{pE#rn9N7Nm>=?+>VKVhJW#;XVc(>UDR#0hRUWYAa5^LfU#&G*)`gT_F!RTK&-OFkGh>x*wgHU8uhWvi*` zv&tzUgSY*M?@_TTk7*dTfR;glxD*W%a1BT*4Sf4$T)Fwmf@_0G|Wu zNA8g)s}Sc%K-$bwFi%EYT$rD6)WMULL}OKPl#jy;b^3M_nX?Jpej!VHm94nH#hMVg}jaVSGEy z9(XK8+C(3G9C)bPgrj7S6mOrd+y8KTfbpTCwd~N>oud$V0^kM{nK`c1=46C_I>#;+*Akxju}a zd8GI@AWeZKOJwZ`tB4m8YxXW)y6qmXw-Fex0%qJ%>EJB8OR>exHHG01UhtpM-Jbrc zz-X^HE%r*)`Tj|1c|IcVBlQcXh=(Uc;>C`?C9w z6HVmB)=M1N)5p?b;Nfe8iPrJ`cB?#1P4iKi3vy6VL>+%fL-xXlq2e4(#7qFQk;^@8 zQ9LEBPTziNvcFKaGh<>mJ~L*vQGA7{`5LB-l!HBtg76M2ND4f9ZBs$+B!b&Eg0x^_ zLfNM0tjR7Gccvd??z&(<$ zbjwAQNvSX$@%S}(bx}^Y{=hm}$VW-A(|(U07zzLooN7}A*cCO*UXLC4V962t20AQO zYD9|8g}e2c+}&me5y{FR@Ar1up$2(y)!P-ZB646-$pn#%u;urmWOuGi%)a|@r0%|) znSi*fmq$4)Hf@AECN$8QSXkvLhDsUn>V}4j03_M)_Z*fqh(LJp$OZGfuQD@3-ghcp zpUahpE$>S1qe}}k`6k4w@ke+H9{Sk8W3;O?a2=8Zq{n}ZU>y#IC;`xtQadt)xPq~$jqK4wJy2Fpi8g;CO=Xh7YYDC`@L*8Vr zK6tSN)=bfP(!G5SxEX*qdE(7gA?F`KRQ^5pE0ON{WOl9On*o+U?>pwIAE_+af`02} z!59Ut*jg9V%;$_+Es$JQqMXi|3q#5Ks<$*pJ4yy~Nk(kZRp^i`duEA5g%5QFqXom$ zPRys$82`lr|0i#H5eW5@9^t?C#vjZ0iypry@XtHw{|5NEW&Xb)(Z@gIeTxJsHyiyRF$3^Yr;yy6nc*VC%Fz^HJl82jzFr(G$ z;wcNX)8J#jK|$da4{ky{|3ot_v0%a&2$rHp7p zg{~d-UH7H|vccSI(HpgAvA9NYuuOR8TmA8ECn#?T_-Vxkb%x7|;P7e+k=5MNfRX!m z&27V*2&eRZt5(O402i&cXoL~BgKu4zwM!&8oJpE^#m9@+*HHXcic#63z$AP}d&(28 zgHDCCz6*Kh9PWArG#AK9L>80+MB_#QKmfiRO~DQ-1qSt<;;V{Zm($n5h-re{QuBnt z2nBzTS&x!xKLZG``pP0F;!xhB^mY1}OfxYH`>o?|L3l3q1=ciBmSIo%08xYImjqz z;Vl#P`cvUd#u+_(M;t&Rr}LQ&?{0a;uIHT{Uve2nHV43iDU2N#P=JCR6mWLjzY~FsU(|)VuOW~cos-kND z$95!TH$visly~iBrKC+LribrHTN$Gv7>{Yu;uX@(z$dcYLqpjT8y-E5)`yz>@06|`QrBK6Ux&pluCY{`?n%Z-7+%*5cbyglGv`imqEpQq`p z{31w=)BD9L{hS57o=42=&KXz&EWN`VJKBb!XVc5YeK2)AK%jBH>rXPY-3gF(k6-2% zv&5*pR>ZApYXU)pvdbqNZp+;^prV|@hS5b4PNpp2cIn5$ zh_rE0gf5eV6L3%#2n-fR0ydW*+yDSQ5RVu?I4ExP^>#MO_L| zd<(H3+`lLE7E51RbkbQp`{9mx&wRI)Ft0BB{n6B*qNy5Kqai1rT3?-m!cX1-ThF*h zA(pvSkrZ?i1ZVhHKh!J$ov>IzKCIjT#| z&~YAqtWE2sxAP)Xrwc#2ZmM+)wPeRTQ2+x? zFhsp`EcN5{rm2TY3p*C^?8D$MDM1uT6ONN6q2(%5Q)ZP&&#$*{DfQ}=^i>=kVa4*T)4=BX>Qxs)HOw(nU?BxuF({>$Dep;ng`~5|dV0&F zw{pTMZw3yQtFnKknGr%R?D+BKYDuNcgR=1b)^=Ps)11py>!N!LmAR42E;ln-m@I@} zknQ8MEIqku{PaIkF#oGs`7`Zf{D>&@ng|3TJ349wG)xl`KB{SLOE(UyFwe(RlGXRhyzS+U~7I*2Rvi#DBJQAZh_IU9Z zqC;*Jj`;8})|jwLP3W4{-VEj=H;S~(T-n7I6ln_y3BfJe;+%=eDHp-$FH%+o(Lh>8 z_Jk*XSjk=3o(&1!>>G79Uc z6!3;<%)_i!EIg~5jErKt%R)q^?2yCLjIAhYU$C}bP7#<9IC}RZyD#qH!=OMSM?X=q zOxr>EX~zL$_UA+Qwjs9hcc|AhuFu+y$l}N-=YzSu8g)%?S{fT1i-|Q=>|7)kN(_@b z%Ysz-+yIYNEX>89p%=I8OBx;=BS|8!gtK|UY=SD?9Vq}C6qj#*?hlbMA8$sdC8HzK zZkhGjBMjd%UH7M0fE^=b5D&R98$wbs8nE4~&D=?4ezs64OEqnVXa|fMFldXx5kFuh zxH-Bx0xir-XDjo-3d=dB!VGLl1EV&oTTLCf9~D-V+e)p6d`2C>1w#cdP9WbMWd?cy z4GkYJI;K*Qe8u4zZfFB{x7RDoUGMv9t5?L7depKQnD`^5ayA?g_q!aPa+TiVAAaiT zv~}wuWowZ8*47;II1C+j$q_KT7NEQi+TV#OrXb_H#+{PzbM5wGsAr+2Vqw$73 zHROnL5N#=lF2_8i>05FjXf}9(9i3@rb_{CjJ&e~NBw_~eKlv=ew#pr=`|#hSC0+iL zrDQX8^&Xd@Zn^(B2S9MHl&3j~GZu^LZs&l{1e6$dQ&T*rEN|SGnc>SU^-5?Y;iZR< zsi_36DMIPM-omBMj#i~XUop`JM5tK_2BH@#1D_O_NxhRtph@G{N<9$|nHD}TD$(cB z%dB4fa3Xh)Fw;6<A;>5A!_1tR6@ohgEaq8FFLma!-H}jK_Z4W}<9m{ltidl8H$NCWcp?1C}MWs2>-5SP#;6?;3i0+<}@&XL3lU9jj;vbVUTD2loxH7Nc*!|d2= z2R|XR_6z&ch?1L|;gyds*&XtlL{YA2ncb)2tx~b z?<=(k>|uX{T9l%#^ikOhh1unZ`%j(}wGn3JgVOlOg_@d1&@s}IMB+`NiFA)|M<{h3 zDUvS8_RY?8?}%To6G`r~&=_T+AYYk3n(|X&zwR|Xt}~;1CmEg2nC=U?bIXXi*L{S_ zhnZVwdr+x#TC!RnJ$%ZAy-j&Huf*M(lR%9#q?(4HTGwve?*{2c@v-{pVFg>OkkOME{Yy6`mW8x`zAL?>SLzh_xZyn^{C^~CuO zmDX9FD9WI8hJ!(5b~&!ZLGJ4t$}5<@-*@6a60`ozZ~vRkO8?SUTHA?fNd9(y+-G{R z6=n>NFz{}5p^rC3n(b3_o}&%ZQWkaXVG9;b_TcqCUccuaJs_pKH>Hl@8sA=U#ZOO2W;?aWTl*si_USnFY=>h32Wn11666kF1L-?+ z$4>*K)M;r^(gRf{_f|Eztpetuz8q1d9C6<@d~lD69G!jhCTk|J5|!Q`oKm+H4y(K# ztIY1P&{NmYTh2D$kdoN+3`S*!TS6ikIy|v!2+lUG)&HEX=4jMP;Ht{oe zQhQ*MTt+mgWl0+8I-8%?4xx#Q9jDxt6PM>nFe~;)-ck0GY&g=8xH~smJzD;`FkVhN zb1UxMto;lvW%zja<{*YaX+Cg?d@9eoaVH+5GwX@W;Nq3U!W8W+isbDzw%~$LQc6B>TY*X8s|C~ z4ksn1aEw9CEw2)xBEut?|DSHIG@1={Yn!!13{`Vf8$*pPHAK-?YgSW(kaCKsDWc|R z4Q=%_)DXl$r9{n2YpNiqd7g(#1aVA7LJX&h4o*Mc{d4ZQ-@5DG-`~IYU2DHoEKlsS@hM1kk&l!F2dL7jHLC%TC$eZSYjI*nX+!FjQsFIX*PebMOdJZis>FNR-OHTzgd5A74wtD>1Zv-kToE`TyBTzOYJ>;)_lHe z1vIZV@4UCt`q?-9gy5QJN89js=)~bGc^FQ4P8&|n!a#6s$o-IJeS~CnSNHcQwh!M5 z^oZ}K@v+Ju$1q^YrH1Wx1lDPCcwM%wmOYMJUmDV}mTm_x$j?u-zUq35ceAiK(*j;- z&j@d6*69Dk#ZtnMBfYDzt`>cD({ekso`GpCFV}Te_P{C(G@(IRZJz#hfK|~&PtPFM z;4#JE`bXe48(WGk)Cv?$woG4r**|bj%pDO9*S>t385^?q7T0;*fnK&sQ21Sy8O1u9 zQ4;>?X?}P5d^;lLgy(Q5ia&nqe^4udR4h_`*<-t6+pFOEGO57R$4F?R zUKsgRnpuL$ROLG@qQkNU{^}z?bCC4j7t|#+e{2%dbaLFK>scSTF__DIwzBiC@|$hI zJAZyanI=k0GS*NxW=m*-rf`BE`6%b5)`|ObkVFtHk~lfHSe03WjV)wjKXV)7VR8cj zKm8C~$ErNCRbdmiUD5=d8XMp64)0FVt2vLvN5pXnY)M0$U(PWAlZyRc!m7#krtj_K zH0^F(ERVgS8Q_mGBy`EW<5FOAVF9&-zRf^wQ_KxH{fVehEwOnqyk{s?oHf};ZWRk* zDRG()DC;lia0x@j(yZwf+k#WNZ(ShRipcLx8T?mt=VPiDuneR7mc z{&yp!-#ch!<8`a3rT@Jk|AW88{~1#MvKIWM2LE#YpBl&bKaz6y@f`tuJG`g4d&*0o zd2Y|mGeV9wy2Ef9A|$?FSSDDMlNi~sK-35}#4Ro9v5o*s`^JzZI!aGwrB7y^6KyvM zr7-v$ZaE8N67o}xRXkIr`feIZLH2lABZx?ehZP%jn+&>Yss^4%M6>gj2hvFjj3n^p zc640|Q9t46$UND3w@Mxfe)(bt?R%HwkNyk%PwGVnzsg3OiyaD<52OzSjD|chZ8G5Z zD>)0DrUhI{h!b_VR$%r7ccFg<5kABMxF8}ehGy^McpgiHYZ0|eJZnzVRsWb5H*iNN zj_K+pI2vrT9w)jW@?M|80lCfg$DN30qr(a-wwkQCwceDH`s7?LC`#|~drFMTYdFjI zA9R7wlMIcE>Zau~P03JKB=VJkW?-E4Mxv#pY^_#%P4Y^1USFZuF%le9H&1vG zIrKw=#{7gf?*+%td!#rTqbgz>J2+*tc!Hz?#n?6G0ZTZcrG_|x1u&NX7qxTsM{ff1 zf;V`NjqXg1j3nz8Cg1?B@i?)WffXuntx={HtrI^6SWWM${4~(RSb{;JDkoxN?po8t zX3HE3Hy_T`#GJ*T-E$QvzNo&Mb;tG7$K^cg#f0H+uPK(G&iEFi$u*{Dvz{6!b_*_b z*;Gh_nNs?8dLL%dG?@4zOyw(WLVeO84Y$QanXOB$U?jvA2tARyBvPY4jo^&4mx3#O zf*)#IB=Dvo^T5t>lZq03O)#@{{{$83LDRrM8C0kzo8mq>4^dFn@Qd%eFSei4pp9pn zcl$)RxJa+c+I;{^L}H&odktj>bU-cJplcGf$oM|BVPeZ5+>Lj4cj*YxfYWjA18BNE z%bBF#y;VR=Ouny}-{x|0NmN%1?%Ik32C{}gbVqwNAP1DJ^wsqNE%?j+LD*f?bR8R} z9D^^&Zlq$&IuJnmtVr#Rd|Dae6ETcsHD*bTn`5V!TnqD04ejXIpsWa(08DKBGGt>bdo_UGFE$DZ1;m>mpFeoHq}a42wdw3@Vi-VlV{wh4Hmp za(BI+Ke^@$gv-Rci4!7Kt7y;f!yXV_m~Tr6I9z24U#NeG!~q~w1e@~lW-nFq$Aq&o z3SIGRJJli1WP{dFJ2Owqx~#hs6{o9jIc5V;OkBt#|3<+~_~Pk`Z{3qUACo0O*5}0I zF`9L&CU9yb80TUt<^J%i?j?Dc$_H|3oa=WZN0%LJquo`V9swG(krs$R!X@tZX0N&r zb0oi~vPF8H3x75B4L1;4Q58$ThTH)Wg%8mpI)1Rh@E{BR`ZSvCuEBybr@1%fqi}}E zcY7F*k`CF*7U(OzG4lMVD;;EzP_t*!^rqZOP#kXq@R+xaa`YZP0PqwJA9kQTKn38LW@Zuk+a zcf8sO;W>cgzozd7O761Q6v!x6K-~$kjvF+nYxeVLsGNtB1r*V|FZQyoI5i zXwsT`bA&45#YXRynN8qr(&N6(j;bMVXcwQRV26!xV3#C2I60XQDZ$0U63D{2PZgts z#L|kHy;FwE^ZWOa&P1a%_;Id{zj{^zmb~NAUHz=d>LzYcFC_vVf?!g_jIkhQRuOh?1y$%LlP^#2$ zd2f1c0*lo#J79B7JuYorT&Zg(@9Fbf~QFn}6}M{=3uPzD4m9nnZ25Ual5OzvuIUa`{U{Qlr?X+#UB(ygh;x6bmRDwAP>E)`FGHrUZ@jc zCPxk!Rf+aEv4d!rf^VPr_JNe~&CmZRwIZMLk!_$2+xT-n8Iin)?V+lOi*Gj&$K#1% zNBDC(&O0?DCq|A#ngS+&qJ=*m;fiV4UMb1isgAFU+=3mEkKQECF&sy(13Tq92OP*=T*{5lt`&9S8LJ@ zS7pEO&%}Bz-tdT+IwO#V&6}cn_^-j*67}{q6gCD-WZ;wn>g`fTH-a6luNtTIbN z5GTf5Z8hx!G7#WWpnlNv7fm*UAmdS|4P#@F+Gw{>X7`qdd?tyhE@YnNqv!dw=6x;e zfRW)Xm4?yc*=JsPi1_3M_CI0f@|Wri}--OH(|nI&<(iqZ<<p`-F; T{Rv*~d0FBQP=W%Fe^UPk8K0H| literal 0 HcmV?d00001 diff --git a/helm/searchEngine/html/manual/frames.jpg b/helm/searchEngine/html/manual/frames.jpg new file mode 100644 index 0000000000000000000000000000000000000000..994b7ae5e32a68ea7171071c4fb13adc1a13d222 GIT binary patch literal 44022 zcmeFZcU03$w>KVo73tDz5CQ^<(m|R+5_;$XR0KtO?^UGN5CSN@cMvHFMY?q9O(66p zU63Lm_;Q|epL5QA?|Ig9?{BT&{p$^r?^=_Y*?Z6I`OeJV^V$6R@@o-52~~zD18{I~ z0MD-f0KaAdN&o^pe0+R7g6jtX0RbTqIWf`o=O!5$2|3kGYHF&RR8%zdEVpQAndqpf z7&sZ2SXtTG*=cTZ0lC99$|q zPHLKa+6wqwzh(gBc-O*H;ZXtP0DCEx%GD*T&8EBy@5?23R!^w0ULZy4;DPO>#(1ow1`=;MdBR4K#TmANRZJERa5rWAp1a-0ebf`5_zNd2W5Und( z+7<%$7Kvl=G3{f}V#U-3Tfw>Y!+f}?P+s-s`UFpfknFz z?N&Ap$;@GaK6b^qrF`Q`5+JS$chLR0wAj6KQsKXCe#Qo$NOlaP*9E`twZg1R6s(~0 z-P2)O`3RyORM9U0DXGEVw!0EKkE-7yd;DQ^d~;W%5=Jb!s!I!_kd7eMzM`em{JZ`d zj+DBdAN@@I1*nSQnxpH)a86O@(WgPt^y5L|1beMB%FAGY3mtz1pNV@W*u}gN>O2}$ zS+P^dsM()p-mReWXRk9zcm18V913!`^!oN)!fc}1-)@c4mKQ16fu`tvzM(ki_!en; zSOA)iqFW=*Z`=bTPB!`C8Li>4WuFLWq^{%{EmAIoK=@BhdJ5E@br(0M#1$JX`zF4( z&7|1CDINx5Zr^WBnzLQwXY5iqIMssr(#`x_8DCIW887@}SQ34digltKYG|WrPzcGh zn@(4B<-QHGJ7`RW2SmLyba0-#bdaWAfxB^yBY=t2;g5!YQDfQZuIh^ql&NLI?R~V1 z@^&`bPz4@&AWa~3j&C51ahYc9alJTT$yy|JIq_rAd;{=nZN6d+jC!)3Ygt4#L79BlgukG zt+=vj)@5~YA|T|YQ)>u1p>d9`#titqP3B+@>y}^Hii=`V zfxgN!sh!WQ?i+6i@5FQlZ{vs{h;>R3bP3g&Csw5af9NYQPTrsHxNt{o=vcKPOhNu{ z=i?QM_U7NpwD~U@`~qSlg7h{U3uu{;u-c}HN^Cyz>iDUgXGOq-P}UB-V*8fi7NG;pgpicbW*EJIAX+PQ zvZx$gBaEyHd5Bl6t&ROq10d%7P;qp5=oY8RHDdc}An07LUI#iC*S~b@GDk$(O5ejw zCiXr&1-?+cj`47o*^ECBF^B3#IPig4pP@Kw%6x(pagp@Vi-JH)2IiIfftelV)3D19Te zh~iS!Kb`kGzMI+~DIC)0)`~(p_w})8Ks9CG0_}l@V->KPWZCy~sg~0eS;?$-vgr0e z{OcPpxRaaPBwHER44+Qg&po)E`*Av36Vr%GGx*8hRg?!4X$(Ww;3^-jJ>*_tgA=Q` zo;1AFEz}XREi~+a>&t^O}sZw}Xzd2iaZmv`Pc*3f5TXS z!HdaO06R(S18`Md(XitgwlJ3})*I(bbK2&A`>F%!=U0j%Gk671G@i);XngOFFQcl} znJN~!#pIIoR!~L3!_~F;s7#_JJ$Mfq+4PyBuZpA#`uf)KX5mD>{Zg)|TI1t^czd&& z!FVB^c&R=ghvF&SzSC24^A*P~7gmN<4QFfVTM!zdYMu^i^KPWx-ko_=U^JgCckdVe z!BIk|{wmtirYbk=6Gr=$Mwg^P>3A)a83m6#Yhg=99j7((_J(7pDr5&2Glx{WK3i?nB~Ls+ zAUOLD%bQLj2O;=@>tuZl9Vj{k^T}OlThT$lA(W2wWON1qO+eN@__zXyUQC-vn)YqP zj@f1em+-Hm@a#EB`y_&;wvt5TNxHC9GpjCj&n;DY61m1VOpx_LwIVt!dik7CRfoFZ zRUl4!F>9-VkZlHbQYb)o)<1nxo%1B!U%}FbNAN=EM7ODwK*6FILZYnz>LqR42jF1} zYbL%u1?FmJ&DkNNvw^CK-Bx2wiFflV%klwsuDf{Ebsmf6**J#=GbsL)9Ga;)agQa# z)Dtz)+blfbFSO;oI=+v}R`Y?NCyL6xk6zYvrA$=q!=5Gqm7};+7#>`HZXWaHq_g7= zOT$lQ@?@=(HmS&d4JC~kA9biVPSNXWrXsOocj*xCcchIwotDK%|ncHCYO3qhKG zQ-uwB4cytTvnNxT3}j9j4H4sdfTUb-d7;VKfeKXK*=TOaAVR)ngHq@Pj4?HwKU;3X^{Mb*0DdwoEW^ zhl3+eVuc^T$@^gj3#0Y6|DC3pxTeiL#}E$STpLT z1v&#Ja@1?X&m%jSrX1`act(0{DBZvp3r>mztm1khB`JJA22Nz4So)uS5l!sZ>4|^o zZR6OGwfJqX-;Bkz8i@CSw=o=jv%hjfwDJ8NIP$w=^l`m&7McSe>Qcq&&aEIp&1%&|Z~{kOVLqe0=dYXj8UfnQ&+p zm{D%ox7Kx-J;cxI;zsqg0TglyxnlDsI}@h<1?ZC{lxyHx7?lATG#)X3Kd2e^xusY0 z>9yqgS}HOLFIPaD1+iiXKy=;bk~%a z9dGBtP<-b`-h>T~;~1XmX8((&;5k@hOH$!H0RjwjXr&R zsxFe3r3PAQbuu03k>?>gVzZLtiop-f-lXU#)RUY&n`Nh*zJdWc5;p*ViG}UH9iIBREUM5CQIvqGkF8aKVppDtFxn>+2s6EZ;9*&|$4Vv=A~r zU|>FET;>ZdTH=1l0om_V_Zx_sLhq%zUA=C$E-fe;OA6Jga-GsGq`nBL<>Y*Xr05jp zV8M-#*7ZiG(8cs~&MR;PDJy&79GX7dNOa95 zU0=)9J#y@NhX!F@_SaXeVvBE)Si@8to=5az^DP;00OaJP={?O#t-P4615o9-oK z%~Xs`2Y#Ne=%E_+JcCL^0x6V!5+NJ(n_BullvCswYv<-8S4tgut>yQD8B39CEiRB> zfZd@&;VTd3Ux4ouV+BR-jis+@P3Z$Wc3cPsBJl+{ArHBT@!9#ZhLg)3U<5Hv_H0XH zn*>#PHStY_Z1UWV+#rd=@1=va^`FuA8MWq!g+K~MV98cC_)7YdS*Dfe_vT-m**_`I zK4Xm)SQE~&e=>|CmxVJ_XP~iZNBIQ(DbA5xFpNGcPd28c>!#EGftF6KI9S}gP#B6a zP2JW)6kxy1cvOAFz26_-hVPHCsi9D85!o`f%b-L40z7<>*Cb?NfthjQ4V@vR90lN! zF!FXeYd{YCQ?g*F|8eU2$Ei|0B_5m_-Lmykl~WzNHK`n{+*(*Jnj_fua5EuG8AUiemDboxD8CDNyqHKDlLjaC}& zu}_Yn>{*$DP{isb>CCl%K>R zB!-M$Qu+9^zID*&n@mt8_QA!WFtw2Od)QLRBlnfM8D=ZUwU*e90T2E4`g)KPyO4vUXdQFSID!OkFIPhd};{OJPV@IJVm8DD+*;!~T>0 z2jJKbjll(DK{35h3OT4&@KtaekLGB>taiESlZhv{li$&0^)n?cqKMMGI4axPlk!1N zBi7)h+U11(>JLVRhIq*9JLM@?4h@6?rhfq%GQY7Y7)a^)9<^Ygic&J+5rVysdsn4q zka?hc+|jgU<-GGQ?GfBP>V`*arC&VBB45hgsZe^K%nDVkTJ9T{<{*Ee(g{OVn9iQB zW6HhX2Q`l-@`0dQ|24S`;QTO{%&eT1n-D6jjSU_>Z(ey-x3D`1dH2%Ees;m$__L7I z6vi284Aao~bb7{5^q(x$wSv(xD@ABHR8e`2j^!puW@uA%s~PvEo8OSkZ`=g>izvhj z#&vODKH@HO-POeA48ePhTD&Yn!b$m73M4dOD+%Y+L>e_C?j9?J>vI<& zqJ|2qK++>x?OAEKFJR~4Big)J@cPC(ZN#R$><=sjKlEKzpmO9$dAWcC#89gS0n3|B zxn2gOt^J$r>5f>Uhe6P@l$$m0Q$uhF-|T`Eovt^n|7KE%i9MAw8IAU+KVL`DJ^agy zL#O$*@DCr}(tm@T{IG$?HQfA~+4}82@^eCijDFG{R&<%a+9&)wR z9Wt^OPp?nX;X$$_4CW?!Ym@p)lKW$s^O+;wsUQeS@Q*~{l_f`dK6b)vd7eLEP_XOd zJ<`OX;D40**_3>(R>448)n|gj%xJe607O$065fSK60wxS@xHw;moq~Ll$b&m9#}-o zL~eUV`MFCp7{9~xgdSNmv1F4v?$0=SAhtqXVwE^`>BJkJj5R1}7%t5VhqqwWLmJZ} zoRR{8cabR2QIPU6$T(b4d8O8nr9_sMtDt*yzB%2isksScJyt1XC%%siTHisDTk^L% z$`q~@zhWhsDMLQ^na*1zgk}`;F{%NrBWFtzs5EZTCOSacPm7_Xte;NxJAVPPw_p4M zXj@O8`lP;B7)OWNIdrNT8iQ<7SX4t)_=$K^d``|Nl(0|U)l^TOIZ$uFD-Jc|M07^B^K!hoHX&=b{aA16 zeyS;W6jCiRFJP$OEiU+WF5roiF^S1|w zr7z!3CK+D^I~a8$;I(h}9&XKPkSTmTz-`gZH=WnedmJ|GLT(sOYwe{z$F;>(G#kO` zHjh7d`>F3bkQ4BU!3f98g34HS2MGyYMhzbkJ`-j22z%m8k>;WSpEGf~8lbZx;nyOX zV`;^6oVhFA*jr=8%GMc|3zlL$i+aZ-SYsTu#3CwK856j|OFH`tz~1Nu# zFnp5tA|gguOVzgz-Qk9>W?Pw`&6-0k`8o*PEra0SW-nv~p2Uw$t@5lV2bd%+eL|wA z4NdH@&+?0n2}jfG2T4HPem3w12KQN_M~`d_dJ!?~f)4H5ln4)w+|Z=K30?q4h9$6Q zqcQP$wJSqsq1t8MMc#j-y zrkhF8HT+PfNo43wRZ7vUYpDE}0b43|OQ1L06 zIN{^;+5m%DzV|TTHViCiR``df79_g(StsN4*u3N9?4~%PEw;Fkm0_{?EPz4}igA^u zUa+mHr9Z0Cd{Zz{V46Iku+j#knx30>H0Lzp<}pQ501PZ`tde7sJ>8jCa|`WFSz0_} zXXt7<_avaKY!8Zn%NTE-P0`LHo1C`|6{h>JxjXhI^H8Ybcs~@!o-YmHoCP?@JSYyI zqwK(JNnliEr%F`9@(l`dADfsi-AS~kpd*Mbx^}2bB3Pje}{d@;HMF(p%a<1rRes$wlLkm8=+1W`|7v8v`#xlvrB;-w&?l!!O2jpyKXfH%Z^ zK3hO0madVb>tnlJG^TA1ZTu#d8yEpd3dAZe!^A12!}|MjMHdwNCK8U->fxECJ{Gl) z(Y>l#_d8U{pzTQ2^wkh&+19w*>cUSq=aI~tLfiafg-4x(xH)YvsvR*yTmb}GIX4Zo zUj;7dOI#hTFyaBFyE2-38v5KYcfOldg^w)Qt2U}?Cc|`LK@yUs+OUDnoF4^TeK zqe7>}LRC9ov?F&V6jLxCsrHH$Tl)@k=OL#b8@K#lLt+0myJh!3)7x!T zS2QBWi`;|S@uuVLH@UF-9lytA7SKnArxbA+er5zW#GTw!wcz4~0A60u?oGapIhgUe z#?Mr+AD8BMRvoPP;ET|=Kzqck}6nF_G3*pcF zGv}}=eQ3vi6d?x-T7nkt|B*}mgXnK8)&>()eC;^nF3#j&r;gjqMaI-E+{zl<(zo{cqNOot|7yW|POzyg=r$YH7&7 zC)Sd{Dj_jDCu)-ncM=k7QgMXQCm^yc>J*5&1kMvnkJ2;sD*JDR%+;wA0KyHtw2)0- z2ETQLFYGIeTe2KPr+s%g7jmUp7ykv&PdyoDjZbFw%99$4aH`D%kwJR2WZJIjOz63a ztIU``3eHu>xJS1eEppwTDn^=Tvu1ja4HlDdzXAjY5z0#d^-6x9cyBUZ-E42JxeT4Y zDt3E5bs}DSBfiwd_ZHLkhdE@&{Gk$`8^5vjsu!h9+Cdzvf$Lwq9q6sn6(;|2%O=({ zex35l&+Y&rnXPf^U|t|O($})__8ZZPXde_r!3U^Yq+Yn?O+Q#dZBnhk z;P?vr<;7m_x!Z1&j1b#hGI&m@b@ySU8>;nlR4GE zAESBfx8kmE1p9Aqn1yebgX?C^8>Tg>gk*w?c`QkKc#||eP{aDi6q&WNG$f_8gv*~3 z#i*gPcB(j3->7w^D}!+*;|-o=#~$c4-Y%*(UGIM>VR4@gzQl9*okyrSgtojAk&{)H z{|J{*zGn^Y_i0 zs5G|cAG?16N-^heeipaeERKAC>;u4g-SanQ(tkCa1oZcvUR%~e8|HYbDae&kM`3gN z<6^D-sL2 zw^2^@r9nBa!wr)dTo@UA0@ZaCK^0m_u1mKVH|AX%4yJHZcV?$5PzFvA1K8%}TpbDP zT!zv9`!(z?$99vf>hO%|R8T^(DSCGPRU(K)4H+y!5kLzl+vrUD@l~$$+Frk28Sj1g z?KRf^hg}m?_}68)`0}qy^na|PzpthL_W9Sv*1&k6gmqq8Z9oBLVUJ-}kIA3u2Pg7dc!v9}_szz2I`IkJ!4(0>PO}^g26^$#ly^RU zbhu&S0!zn#VOl=Ls&4rb+#)Hv9#i{**eI@5$3D0eU0%ZLt|B6Wlw`{+$ew=|wlcS$ z@!11ZNJm9p_j-kNdfMRO4$ypUzho~=+RXZx;*m9@#4iBhS5W)+?1t*-zA5x!ueVXZ zBa4C(HQS0HMy5X2%b=-~+4#Ti}+x zP~yg8++VvDbyAglQ?IoF{z%%Gl8vh1_Ijb(M|8l>$&EVJGug{&mhEOMMcL9BWv}Dg z0mFQfV%bboy%>gM^`~}17+0@uZb=6xJJH6-M09rD+LNscFXAEDcd%1S2jf@UeuJa0 zOSpT3JD2T7rU@#TxY66rvY%J?wC8^TJQ-RgyE*Kn7+1 z-aVVV`<_0p4c(1temffPqSIw4n2?@IIPzwQw*@ieN34#a(VQ}Xh~Kfi}GXM zdVwc!&V)dZoF9UwSk zH7u%hMLL-tS(X7200G?P0lWx0yWd9PKl$2jDW8_Q@+E&c1fs)eiYguj)x@3&9H!Lz zSX5sbPUUG<6wS~)+9Vqlo+4|0TRoK2q~t{A|LBoKEe_8!T<{PFfA8X0?vRM<>ETI} zE_L(tonL??(M_7|LbR&fT8#Ij^DTk4LX`}Q&Hc4q@8bVg_y3K<|H6DIUHUqfyFec? zw$MLwtfl1YzRbF*X(TZdgeaoNQhKqCH++p!)W4fWe8{ws&c=D;sIV;64x~uqfX2_~ z1^|kELkt^~&{&~K`o%V#MwWN%6`X}pswR$Gs>RUP_|$1Xy6?oX;$N8D&2%Q7z1sKq zDUhffpxwh%GFz}?f9&BPoIgF^S2LD9R?S0V3|>4U z=g4mAkQt3#{aJ@6yCK@=_PAifYZU%E>JbFCR$bn)6sq~cOu$A)V^pIpeVT|PxU`Px z2FQ=i#!CB156%#oBe}%%*t%6P^7s_n|cEp z7dd}yD^x_2Xgk}3H`fyc!O02tUTPE_oFY>T4_X0D+xVrf@Jxz|zv+MY z&`mFMWU?lm;0Nq&vqZ;kaUr$CaMxVv6Z%qqj3Db*GjS+y(F71&DC6i z*PGI-IQHG*-5JZbQY~K(u4ZyyV%=8L)!o8KrJV$~!&}VLP2A`l?zJOwpzb^hqskKk z^)lTu6NM0P%4I}|iCR9C5sHmx5y{VF{30C|^_H>ACmhHn+o<-P$l#JqZdPZuX6UY4 zz{tvFt^CtHgMo+ZRZR^?MMX9xZUzNDWq$diNM>7Mt5rv*506l*)VR^n#uYVs?ek$~ z4NOK3&1`r*A}r9!;?`@|4E*!g|)Y{9MM2QzufN{AUsB=wMajeaw9uFl-7ch}WU4IC)p?v8-E0LH&IMB*0vkGOQK0xAHowmOeFL8 z^w}<%0mdrh+14*WZufyMSs#L{0n8wXi)aw>RB;}+5H7fpI z!TMXKutD6(M6Pr`L*;Wx5&O6a?c4|A65H`#NaPPQ-Al!4lj-Tx61gmr%ta^_j7y2Z zKuSVQA1WfK_AZv%AmPsg{4T0v6$@?5o^7)pfaeNq2H> zU;iiL+I~X3uEBrYo;tD#QcToU`Ibzq=6SHQX~eMb!% zX@nS0iqwVW)y=dc71;TH0mz4KtQyObI-Jn~816I(Qt?c}$E60PlZntA)> z%nJ*=q(&PL7vIUij8vB6)q=@Pd^INAJwJR7ojc~+_6}U#v5XyK6+lU$G_dFS7mWd|}sPS9$1hDiP#V4`ioWRcK@R_=u*d)#f7epeUF0QOvWs zfpNl>j^Ndo8VW+i6X@E~WJeYtP8v(1a~H{MgY>ONfI~m^IyPMJCdR^18~e z?#&%t#(tY&Zk*x3YRzCcMc%4r^Y-DsZY!673#+sxjn~2TdzqA=*x7P8+{AR2_t z2F8wg!|u&llpH)`&eb6ueRKWJr8UX9E)mA`&w?7uKMQE2`oS_=jFx(aX-?K8id2rT z5^1o2xzCfGV=$`=-FT)=U$ndzg!D#l(yTRie+Z@1f`R}v@MJsJcegU&p5?aAY(>m> zblcC)%yI>}>w?`}ncoWx3XU`4+&uj7Lh(_t8S(0+B#FuN@H;50;5`Cxluf@OQ$NQ7||9XMIlLaZ(c7C4Lq)&C* zgWZOXf}{t|-0|g+zu)`)*XRGWx9R+`w=tAPB@M>cst!CzW^ogH)l0UDFm;80cS)A%2EUQ-CEI4)~Mxo`<+?OHqG;P_%>-@I9skn2d6A`w(^oA@Sli+5#a zH=^oO@b*{K_q@9N?DAGxJgmO_fitwRQL@8%?qYj?1sH>>jCbP>)i0Reg-}ub>m4R`<&)yy3z3UUjHAIE_q(lB0 z^;5sYLC_k9c&Hi3$Gw0vj}(!d95=3rP;Y0EIJE6e(y#5bl(>WTc67@jV~>#L#ah(P(%MjyjNmo7f;HJg+26o+XW)XO|R%(&G*sIA10&PaGPcj(lqy@q9YtTR(_kihQdR;p@L-&?{ zT(05p^3xBs)=t)NF?1|x4;WhsXk*qDso0?!N_Q|0P4M@6K} z`yDS9<(~lbvEQd#IQS;aw&yWn`S5hFDDzruvSS2uSfb3dQs0YO0ZyxR7AFgrbyV!K zGjD~?(OTpt*NWtigO_r&j5h^HX`DBAT(a@5Kjh-QgFVH!YDj8>Ypg z^37^d1QsC_ripJdDYXuVRn(@6t=AmUTwk`Gxupu=Zc|!tBh_e5RcQ!JE1sv84?&FM zui-UT`Xq!)hGe%Zo!bWzf15PONRtWr#l~7UC&xMC3;r(0>E!m1RUO7S-1|$12$x8N z2>VuqG~x_KT7`fNkti4)@bV@?lwVtV6~VaMf(ll0?_!m}oOwkQb_hw_dvgm41|g%| zB3NAuqkJy2fZ%=szcR@XFhqZ`3>Z+=7=3!;Q{AUsuEIH+Um+1aO7n2|=ePEB#dPR! zfn&_(b!?NASCFy}0$gsH|4NKg-C31hpX(l<@hYf`nOJD`j+mFno)!n&F-z<>wN+1d zFZ-^>d(>ougn==j8^9tlg|1F>P6_S3!%RT}5lv_%m8JU<{e+N_6&TyE!Kn(>V=X+) zLPF&!@_`8In_i3>mbbS?NH^TVj}*OADUZ-BPa7=d-OtWCVJmrKC0YS~Da*gs!^`QVlA zRWtkL4c)U2K^a|4{G^HIE6)gv2U$cbccNLIV}{eY1s$J<>rYAS1boQXhEbzOJ!o@5 z-CXIN+>P;_3a%kVZsbvsN3o$}liLGpcevCdZW-v#H3Rrhxi+D?g)ICUi!+Yyg-)P8 z4M~#My#48%1JNg*X^&M25K@w0Pm+4Id4DhGYo^wt z2DHg9@S^9N(!qREza%QhgMKc z$1ae(_(aJDbwY&%7fZ;^aRas7zc}Qmz04DXC>4=G9x93m2zr_oe0f1$b&a~1D6&1@hmXf8Sho|g9 zOOX|^S5G@0!pYwFfAfz#)@@D@>aXsI;H{9Q%cA>;)=Ol`!U_J)%L^b!Y7l5!*tE7X z@14pdwI8$xR3jB(6{aE7#3cG8GJyj`_C13jlfoS1)zZD1M8RGimgwV1U}&lzv`@Tl zb3Fm;6nz!BHO}(=PuxPH2csEp@|St)iGtxyh{HbSWvNB5fEIpmbV85k2fgw? zQBm(lS5%Uw2vr3?&aakQkJ5@Di6tK1mFHfgrAo22zTL57%}C#?0Sp@Z_Rg5|*#@V2 zF?2?yCpR;pp~liC{T`J8)oq`0GHX->zpe^8gohIf)vG4cf{?a5I}Oz_eIOi-j?eHr zljQwrgH%tV25u*u&!Ut8xwSBQJ&S({HB)rD2J9?XUcUfga9Tsd1xE-o*=szB|#=UVYF} z)^~DSlf-O8!Y=yT*^5Wy873EJOd~C-wOi`yS-c`s@YlE1I?=!`mutjz&4gs9ThG zThYCo5FMVZG?WG4W%c?HMdGynR?l4v$f*4n+QD3m2&%^{xNd#AoPhS* z_vxWK8$_LbjpW3XFOS-a8&)L_-Hpn9Jj)4o`>S1|Pd#pat9S{o1t*diP#{KsdXAa* z>!@$O6D)p_3|rLLNwdfzU!2&w{b6LJ)^GGGYIf`XQfDMwtXDR$JwxB6I>U2gefWuA zP?fK`{ke#&?g?q{foS8`o?|_i_LoRr+^_qGn{t-=CzIPT`JYgBTKE=}0qsHcrMvWR zPsB5x4>&AyypY=&I9*wz>v+8PcyBz}Vw2aFQ1*}vv`v0DvEflyP^7BY&d>U`p*vIl z6DOs$%fn{I6;9=Y#m|a2xRSfDEP?5pZF?J;ORKrkBX(ED@d6`bfX8R@X79{!fHGdSUasYYsne z5GMbj(2PH3!Q82XK)|Ba-n{-VKr^&Z^GCAZT~z&2@^)$c|^EzpC2COUFL>Ovg{`0jpSbV&KK9nuF!s60Pl`bSbo zv=_CehZJJ`q}M|LYW~PCG*4VaCa-v$j^kT~QYsjq%}nA-wAgV(jB!uZscThir&zGZ z%T6XQ5rku`(j#pn^U=De4G$;ZX2OMcZYflUzd%2!L2B;XCM~_jh3A)x=$g1exB6m(^GyQ55H{|8e|X(BT=H-3O3nY_Jj?wD zqJu#5&rAQJH8^v#&76&`x9-~kS<)H$x;0LVfEwq%*9>wwdES4)3Rn%bSG>QBoV|ka z-RD&_yv$7Wfz$33$I!2V>_qE#YMA&1h$(Qj5O))C`Wp)Goa~#M-R4W?*B{FOhJ*+( zw6X+VM`pL;^*KX$y-{?huIV3o4J^m&AI(vJaRnU2OV$^B~m~BF6PlwL;P~MctWJ zk{#MSN>UiLOIqBh%d$pLm2|*6Z#(`tA#F=hrgWV}jA{$~y@6r++dqATtvR?CYQaO;)8@CPec0 zNXmX%N%R^?c{q}niWo?5rV+MfmJsB9uAQFiOqnPEI4vvsS#ZhbKY#w-l?9Dg?>&0VoM8`8CYnIK;)GQxV+Vpt&TR6NX95c*auPE7je(ajwqqk@R;64*KV`j}3Cl!D* z>*`gY??Z3WCNL0us2Kh>0?uuHuZrGrFv({V_cF?pGk}fxCyaZ6*JSja6^g6Td{_WT{$?`MNl=bq*FTmJZR>)?>(o6dX(srZPhTG(Iq$;9z z(#lRj_YSGv1QBy{)vMlfrP0YzqoFj7o-u|9k{1DsVtqu?=xBmzn8&4Y!b$m+?|`>g!)2 z2iH)73J(F(YbXI~7MAxpj!L*;+No}73Kq1S5Rbq)jJ447`O8u9#riJ*?kwM9R2Zr% zu(?lxq4&%mdQ-~!#^geGj7y8Om*xv~sU!DUH`X&!!N5e{^!T{s<{T-J)AQ2PNP{zR zW2=c1S8~o`5S#p$<8eFWfq4z%I{yY+)4kr0jx^y z5_rD7fgy7^&G)7~|9a=Br2C(l&E59d%grYt4;#p2`9J)Txv-vy7xIp$m&j3})54L0tQcqh29Kap*RX5m4h{3WGT1aZQv zVfU;H`!HkYCui1*U3XzmV0})3%F=Q71{>6`;c)o=Sr^ycarBd&gSd^+i zZGAy(NBoF)IHqVl5O$ZY<~t)1Q6t?*gKNfRMJI&~vj=)v z3C#l*+gT>k$gFp7kzi$0!B}>4%mDEFbU!V9M(9(Eqt~+NCDovX%CcJ4;ya*xkf2og ztYSSPgWFtgpLECVlQ(P9(WT#ucfb&tlXs|E#9fi65h=U>$?SS>%H?;dva|UMAZieU zmq|J^#*Q$)4m-gdha#F6gb8icRq5wj?f8`V(N4Pe=Am`DGQ9^kFJDQfZ(c-syd9|7 zSX=BN&ZJh&rtrhknT<=(MSPUwa7E?f zBj@1v@iX(MEDBm(xXSv(Sa%Dx@w4T@6<`w}-jhF#EE z*0&6!-%+n~8B~*b+2iM%&_|K21}ZS)XyHj$YRat8vHVQ8a(q;DnA0$08iwqnR8%&C z>}0U>IFT?c7p)w~n3sEsk2iaNx>CJn^wgKd`l;;m0G?lf`K*l@p(T$@PJ2~n)iPA$ zr{!+dS9S_mF=j11PrhDW{x&>m&6gGF?EZAufY+YPUx1v1zO*bBP7bpAFEzH(Sj!#e#+usE6@WbgLyQL4mdGQJVTOitht?;h^Z(|z%bZ!AV z`U{8g8h-}%q_})5E&T;}j{XHeMUsX5Hx@+VONG&xuc=G-B{iwD+WHXh{sUZ}=8^U&o%d*eA?}rF!mA3w|h*^Nvkhci-O0 zpZ^yi&ASxN4%YXI{Wvbh4R#8#^SS|6jIzw+0Z6i`wDi0ZHe%COi{mSK?pDJ?$0Igg zl(i%;k>OjYMrxmhmrZn4Hn z&5KXbnY=0&h?c0xvuNJ=DDBiJkR^TR*?U}FaKN7`Dgl1yBPfbopYt~7vSUcn}Yl|CSPCt z`ZpP{eZ=bLqTt52nMYMqWmcomJ_yYKC295w&8+}3bCWxaU019(DaOH)v06w<i$*7|bi`XwnB5?{^eM}Hgb7XD5mXGwZIeK>H9uy0XR zCDI8KkMOLWJ8RNdy!s=HP#HYZ-jYi!I3Pr{#_JfB$S`^Xo}x!pmA~(?$PCKKj_SXV zcOe11SIa(BB6W2NpXmD=n1jt#twrkRm<#3JXo z-KX4HCPdKLMnvh~@umhZ<|nXu;agI^EuuU%#{&b8+iD~6xj}nxb#EWIt<>=6{4AZ+ zyketK+qcAC7hr1QkQU#!2K#o+KMi5gU~c-T&^Uo^0_D<3r=~dpH-VPY2@pL8VK9nt z;-B?;JvH3y_<7SKI_Uw=(9iQ7j32(W8;7|51#r~==jg}%-_ZLfZSEBKH^9bCaga@E z;}(ubq3((buYw1B7QZA(Gs)I}7mC|{UVirZPk%0OE%-}Cn8b_vyjr&xJ5fV;}vC~k3&{j?mw z;O6-X%ckR+IO(nv>nf@0B-0UDRL(ONoI4SIVha6yU(`xXYqu>=_9L#}b5X3sl%5q< z-FI{dmbNin%pI<8IU#rYJKyF1j=S=R@JUVmu}(9uHr?#K-HE^|^zg%1Oi{#g_z2yc zF16OpK2fHG#01Wn;iV?ogO{+G$K@YLBai9rSRqyuOmrWS1i8NeOl@!fZP4y1|67)7 z%g$EN3ql|34(awkE6-(ULX~{qgNS+?d`WMHD1Lw0E*H9Q>&U#ITOpny6jd-rhCY!3 z5Pl9J?KOk>8W`&iuixGq3iLv6|I;P^c@D^UwCwY1hp3guuBos<)Hu=+l6LLkbsgxZ zZV!%sAb+~GR$K7le5f8`qP?grEW;NAH?RWREWex`+x^-<{ij*_w`a&6YyP$wn|iQm z_9ylQDdE9ifYj?EG^no16`zk%o+cE%9K33JQD2#xgVU%ths~I~`x;iCSjG?eY&uit zL1g$?rAg$YZ~TVB|1{k@#`kkv`Dv4}xZLw%nU~0Zy$5VIPq^eB z-25`izzQ}0e(+2Dg|t!fSg+K#=o@fT#eZ1V8^3<~wW^H9ru@Sq{qKhvI2Ako!=m^9 zUtslr;sc=<(gy#|d=%R7V_-rkleuI{ySu-FOMT% zsMELOLskfr#FNuN684wVh`FVAxgpOX$SC3Q}*|Z2fVvj1*a9 z+oy8VAqU8yx>)#^T{cJ!RP`rB-dm_GV?|G<_*%iQNR3xZE{-2v*q+O!rL7HCH~)Ol zijS)11n-$Zlo(L49Rmdwe7{L;9=#Odc!R6a3RwsWA6`z>j=ysw!2`(+Koi~=^!VIu zObjx4r{c!A6Iy)w!>3tAaZq-^#C?o);O3Lq!{)U>(wh*tlW^*?$=F*lHm&;Vkb=i= zG_?rbW)w)x;EfWnA8KLqeYDrjbyhdKw@fmZ@n~#8QD1Pn(^+8|o9}7fgeh-iXI{Da zr6?`wlt#gLOQ+!kpX?~PQPNF0Bu{Jpj8l=CHM(YW)avID=kG!ClU8>(+n5@r;6StN zRL3x;p^0Txy*^Q-+ZHR5v}^^xW;`T^9Rso&LLt{s$IyUZ>wDgs%mXxQu0<^gLd?l@1A+v$6$T#Z@35PoPZO%lTI7@F zxCWFxz7XGXE88(YJ`pS-nqEYQNy@&Xxw#(FP*f)QD+pnV%Kc1~K^LjdPXkouefeo! z?~2jR=E4llhBZB7Al}#Q^Whw!VCl8Kf)h7y>;Mdk@AY(+o@bTqn;LoKjU+M*=oMA zXltD!eq^&)0s8IHt`OGNIc*yNQh9CgkU7$(x4K-=l%3}(g*kgm^6aJF=g4F4R`M?y z-pwD4+R^OuKvf;+iu6nnaY)`+W9WN_i*8qlPM43F9|W zzPz{KWB&IGeabOa z^R>`MrMI+@P%@0qSk6#1hd&B?kMV;0A#%##M&a7s-DZkTQ{K04pL0Fp=sOSD7K6nm z6&hALouyUI;i{YPSP^05CXgFq_0*z!kZL2AURm(pgm(R zs7RItYizjc)+DHtIp&h<&Ys>J2+ml5B21%5%V9wTW)ak*S$;YyZZM?kuRi4E$6Z@2^wSxivtxIzgyVmEHcd7H6d17S!_Xqdyy(L(+H6n&YAW>|I^cL3Tm7^s zXYX?L^;pPRC*OVMi>iuUdeb;jb?cJp_es47+9rr<5Y-prHJM;)Hw({$WziNY&UeL} z#)mxwrOct&VI9(Nqj$p8?GeNNNxcvmKvv5_^-aQgKss6T&6w(O;Zp(?4;)G6tudFh zcWlaT(H~6oQ_zbnX2?7HU`I0ZUa?$z=%>4wsw3{oOfE4ZMTD3KbIzyvI<3IL_6k|0 z8Rw=!V}~*0q&^Wy&%E9;^X03ZlPPSYnqI4w!=n8ewmdrtijg1wZWyy6Kn7mHZSa;H z+HGg@H4Z5^C*ILM0T9x(mq5 z|1Q`5-1l6nFyX@ZYf#|-Rm$=ZFW>$TEV+Dzp=c%?Uy*_ax)Dn|WnldLk>9rMFV3ZR z(m&sP?zcJ4|0+534XyOJsUE)HjAHhT-&Yp z70bp^UfRx}wojini!*=|x%`$sfPx!7O!78oOn(8$gIu59FSEd*46y_v#dz@0)zYHFPVBY*IBn9Em=4u1?xEhmf4n{4jZ&7oqC zb&@AX`Tf|f!l9~uMyOk2Qc%9LvRf>*&jLdR%+{s)=ij};do5(UaDE?4j(qj^`9|GK z3;$6sD;Fjl8}^0Uu5|G~<1JLuiG0G1RWuXBDL2E)pohl+mHI z_|76J9tafHG>^Ck%+eA-V#dXGx7L+a{`>L&hQpNwxdCF@3e#)i2il2KnPZaQX!2k! z>;?!^v={@$hBC)DW!3-oWHY6*{iL4*NK9D^`=>UJr~%_*iC;yMb;DubqChm=FR?*D z;H&>WFuvga*Nm-(;QPFC$5_MK%!7sI>X*}A4yN!_ zSN+R~n<*9li(D{M8a$o&7xTa3;vn--eng~e(yI$@sgh2d%?(n~Oaai3d=L^*|Cbl6 zdN`E)b6HiiX)p5;^+vv3`fQVsd;OwMQTA;*@&RSFe-V}{L#KfZP7v>)+l8svD|T~) zv7(9$8<79MjYZoH&2$XMUx2?evGnibY)JS<;50A(PFRDpprC)NcCW8r-0~2SQo2fk z^KM>LlN;6?Zfb%L!%^$m-_n|hPW`w9O~3sYU`l1Q(NDp@l`2}G{S!_3I$D49^6k&cx@9t7q7|5PtvCIy;Zq@{&l#F*#S@3GJH+^q$mxlj+M)}5 z?Ou&?{#lFP<9i_(e0nOR)cR1mDbc>`;G10V(>{@~MsvbB^@K)N{ZiqFw?S&rEv$1| zuFdQTouS4nTR5H-{Vw@2;Yg$n*nKGEF<${SZU~`}^!h#x=E$w4CaNsDh_*0ivH4qZ zZxNNm9Y^R)3Aqz=X2DH2sxp2a3d_!Q7wid@A>j)gSLP{Xt#+7+ZL3Dwm<3x;wX!z+ z@;iOAIHNQ?;;P+qDi!2(t>^{qKdd$SwDT9hNHr@VAFu5@NqxgeJ3yO|lTRi@m;-aE zn{VkmaZtL+t}Ow3-P^76tsSY-fMLQhRMAC{F5cm(>|$P@Kho23SLQi-ubPES z%kR~%fTo5~a=qrN?YB}Kh7q+q(s^5{Fw38uxE-cJsZ8nzyhcYyX^cJL<;89~<^lYE zZ!D*-IX&4ZB}VsYpYza}P%6{bM$nbL;-K`f#ag*N3Gf;OeXkv&#CYq{SO{E$s=nzv zJyqk?Jekt+0f|}l@bKCw6(lV?davIF<}z7(pcT05Z>JvN(biRNB-_xUxe9GML_K|D zstjFXomyu-Kof1EYTZ5bT7t~)D}v<;3q=O})PfCB6OJNI0f2BES&9!bwEktMeEW~@ z_2xK?u9Vju&KZS)I1pd?epUHYpBq~5QVK=R>cvqSQilK4(W6EWH)eC4*EC=EnPx35Z$I|*60e~Cgmm|;wvM3bA3ZFJ%2nH7m|MD2Jby&G z?4)S0_j>P?r$EN{o&_wbSO-X5p~?IuFcu(`y6vI&uAXunHg?Cu|M7$OD-|+8H{0#V z`emZE=4Vc1iR-}rqTeq#UkAD@Bwp5Eg7K_0;;)L!Vn!f|WyA~&g)cu6jd@YuXpU@l zH+du~F8a~dkur6}vz6CT5K63i1-M>lz7xX5&OQ&J;%y>GQZF#;coE^)er)dcoWvdfHuByfKN-gqaQo{ z$nY!)LUYS5)6-|h;G6$iH8>n>?}{*sF3Q{oBwIJ8!@=u+W>Wvt6qalFGmxp_@y@T`*X`sPDRD+|#MeuQNJLdO@hC7D zM6;%GWCE!@Jmnv5i19oe zu(0#HeCfC7iuq%-Ekg(Rv*a6m>UFf7iU)Ld@3$L%@{-_9^LYdfv4Ezp|qt3O42Gh zKi5LO2Qj&@zo}d)F}kBtz$%D9V51MI5x1wyo)tpN8-eWuh4XQ<~on*1_O}cjeLCU;{owey_Fa7H*v(xqycBHNeaF@5f^wHpji zKL+T?{zeY^8gSUQT2?q;{q?a{fOp%-J`q4uKu-lD1NWR zeHlQdk~L6iGKj0;;0eK-+SXw=)Weth(>XbDjo|*x5=#RE90yEIlEVM7j}M4}ey#TI z{mmK&g<56B^XV) zXQo7ug<1^}xd^vG)a4Hny$^z@g?`~7T}zoTdF|aadBQISe&{D}64TSWqpTzfpiv3? z%n`dp;AsC!N2nO8(7;aWs;Kve?S1JF+Z7&k39-4yMFjCGm(dPz)fc7Rjxc}7g>tfH zY84apY`nAag$}e$!z@V$W7M1D1A0ZY?@WtRy?^WRAj~t^~ z=tr7B4M3x`#9CJt@T&Yi`_G=41X7`OE%X^{8DhbbR!;7EC!s17IanZ=a&w(=9(K-& zUKmWCfKR1YCcWRI_sfjS0DP2)k|>ghEY&h6teSqxzFQTwk`lV?u6W`&t<|}wZk{11 z+5oruq4d&2jraGsaAO@ZaU|+1AF2aXpG9qr+=Hl6aje8?**Ko zG$nVX)!McUstyLhiq~1*Ix%xur6R6?D)9L=bTq$QgEV|p{%rzEu&eV0v%J-x`%kJk z^|rM@HJ71bGs4WY`@R!rTj^2U<$_uW+QuDUMPS9?!;4t-IC8vEC$4iz=kN)EGw;n1tuqXe$akZKqawdW4Es zlN-l<;>)ze^sl5mF+y&;$*e(v6#YSd16_K~g0{H{6PP%C-i?G03?=fV4jE1#jFdN} zI2vBTO>t%9q=_q}C{1n}vP^U~qet%j;lqv9+%&GDI7w9ewc;-+=_iH-EzxE2GI-8lDLM@<>n5Q9Pa88eSe? zvqudB)1ZE!qNs>Z%Aw3j`F2i;pscL%-;9mU6Eh)*2&C1S2}{op3^+%D;q_qauOqq#jP?%*4Oq zf+*eKPTJ3kpx0XFrS3{vB>Z@nVcmyjvMpa~etzhD?4>IE+?|m}D+FBA1UC=!okk%N ziSrn)JHFB8=O+E%XgoFSJ_tmujC?cVMCiCEev67^5EFZv{eB@bE!Cplyz!B^^-r&^ zw{)%hX>L*TvD>6CWo%lc+UH4|$vZrr>+`hd0`AmX;O-we`HFpH4ip{niA}Iu;XdRJ z2v=d7V+a-yDB~x2{mJHJUe59nQ=_8E=iNtuffr$6Wsed6wJnN0>C10|4lrPNxUo=8 z0MWX{ZMR2BIL)PdWwn0+p44Pdw1JLB*p$uirrV2Zj~AsFs?Q+PUY6SM;Bx4kG9ND2 z@pgmjKX5FJC(lnF6?Dz^UG+VW2YSa}f9PO1v(*b8zHSGHl*+%|Ht>H33=vJ28Q%O0 z5PnY9YhodBl!xkTJCnX<*ABU19{RpwnrJRwB!xn>x57i;4_0f+DooU9`KhdaG)h*y zZ6O5(L+yKZq}LqLQw8Kci}{OMRhAdi0T}_fMVL0mCUGhT?I<5J72Vn^fEXSeQPvs` zACe|kbr`%FoJDqZ3lQh%3 z!dTUq-b68ii()oU|A+_Bz+4CdPAo%Kpd{0w>g;`JZkg&W(lK%`!(VMY zj;4ITN#|P47r!(?Q@QHh*xw+m?LrN|m!V9L?bLRwq%z+Ee|RG)593KI2gW;oB*TuUC` zcxH#YYm-K|MZ64E>CqnUR}n*XlmZn7%{PeMmgqkJVoiJ>tUr(@5IG{$IYi~Fy&7Ib zd=vy2arD`aipVxWUzP~ZX5@yfa-LUzFA?gH(QD#xjZUhdFd*kpU&(d!?PjewD#h8_ z%phtc=YoitJ(GtYc{vz-p6787sEb_bjc!meYavn#j1f{qN0b|tgSEQe`QEdNnsDIp zV~3Gta4k|O52v#WlR=dt^9pi}L8(syB8C5SjnI?kO0nQ8qoNsw-02C!qZ_LwSNwcX za@K9ju1SfCUe~>2Ot+v4NJR9|(a#_-;vFR=5gFgfU0~qlwDvX*fh#ny4qS7}FMb%p z=0(jTX238Y=9InVoqm*g$)W2FS5sSl6T zs){1D&85d&$)>Nk-b@901XX}Uq6QS%+ZoLZ|81c1xhYh*k&8`&E|9VCXABFRs% z-80!~Krc&s{0_AZL;}-HFvXO*bC95XpPi)Px4Q~|3N-Ht>BiBDra~H_w3*1_jB&@N zbOIbSjua7c?*KH&o+d7!& zl(?y_q2T(mvc{5WNdZv-* zJF}>oC^P?5Cm3isV?cpuIWmV(Cshh^Vs6n^(VhinddH01)HX<9y{kgqcOJ#f#fwn3 zI3&)?DCrR%eB9AVTC*yRI1?6KV^16Lh zLU*`U_HvP$RL3+>9l>KmaOM3<&(D_Xb5*+Gae7VrT2>(Twn5Vk=e}aCNAv>&L7DOs zt6XPmO=ljKC9o}*#+x>e;&(E)c0~s)wf6;Acqmn_6xTFkZyj?)80XvVlFdnuIHtcT zG~KDo6Wgb@&ho^HPn*Jlwg=x-cQ=SeX*S6K;d|v17ZP7sJMXYX%>WbNw?rL)X*f8= z=%+sUxPHAGq0!3AO(oHdgQkUTvYV~isFuW1ZxAa|M7p@_F93lw+;}~TAJ13`c%08; z5zyTU*2{T*H@5?Z0DWvmMD@*cUw0h8ztPxPH78URp~SK5zc)*^cXuCZwP>MVWg^Vz zsNgoHnw`K!5aWhi%q{tGrMV}6;-qfSyRLNJ>1k?W_X2Mz3|Z+5zRF5BkV#9Vu@yD}PBRz98Wu=zAeBW_eHL_fpFevjeG+@g z5Xl^Iv?fhXdJ{x`|LBK9bmd}~73@+jy01lgPb_PHkLocmbD!I%vH-{Cyb`^0s2WK$ zZO#-k)7d6^$tCOja0XN^_VEWAUC79D4(9XIGPPp&$@Y>VjnrFzP0?oB%k@2Bf$8hi z*0@15q%Vq_frp%W+wMRzYUAcAD(&LR7;UGZ6NDDov8fPTPqbwqe zLUYdNjvmm!p>jseQ=FcTA1$OvGhAew(dEcj=~Vm{ z?crc2A23M7Oi4lE>*gy6r8K7`mEGovz|tpvtEH8Y%nG--$1~*iFgsr*bkn?tNE;H2 z(5EIX+5m|u%kPO6$!Sz&O)-0d(!nuIQj-bxQM%|A3MX6*K8u;`_qi#tme~z8bC$D&nxbHqW)=UX0&OcZ=>wG-4Kl}c4>eh z`!|Z#Sq6``++_}VDC;FdFDq{h3i;RI_nevL5ola(?9C2h#LuCn@7Kbs&p z!)TfoqI)xhC96T3W+iP7oVaQ}tn0pC5)hRnS7Cq88y{2SrC4HN)0f86 zSHVXuS<0N#akpfN42%xqPro7fXX!71W!Tl9sw3Cn8m6h%i)mP09+TsU5JVj)D7bGS zID$kKq9yrB9ZDd(TFjxsIsv}~UCeaiZpaR>t-0 zG;MuMp6e?$=fnlSD&^gHwLp5#x`h!X3N0Q$R4O_@k*-juMUv2P{?vrG8RNL&R%Tao#CD8^FAw=^37Rq>R*FC4<&sLGSS>3y|^wbm8B+w)$a^03mlay4f9 zq*j$16sAPSB*3OK-TOZ-UQZOKV|nHUjE0dHHb5UuXCWCkxYjVbFxfhG)8yH+oPFJ= zT{1rc0*av)_5X?n{cqi-|HO61{|AFwO=c<#FQFY;d&SjRcp`1B=JFTdX!Jph2WjBh zRaTehR*Bg8H2zZ~Pu-s*Vvw;RW_xjHt@bUivcig43*WoL!?4)HM3R;

=j}`V0PnNllE>W%V&MMA3mfe{yrIJREeuf-3!y+v z=`BSTv+v(dcYW`K&a|CuxpY2ZK~*2L&NzHXT!`1^&{)s{)2DrW8nkXdvoBKK!{K zih+jj!H4fjQ9^IdoF`u_p5&kHwtSd%Pn9$pdF`KlSYaRH*+R3;Wr-&N=N_q&5WhUp zRDKZioBV3X>rZjppN82}se;fVs@w1o_~nxqmG4`YSK*kWKB1UN?|dCo5T&#hKY)It zc5gIpS`y|~!t0I{m#ZZ__TD>{*71JcR}MU=BD)C{M>phNB}bjpW-?9#`mjmQWQ<~ z8zYsrUc7D`o3~M93%k*gI8LOzA+K(3bd#v%9gAEH<#tk%KHK17C&IfgN-gOqAz=2Y zo6-??8QnZzs`f^nk1{!fi@qhDE8fzGH4MH|iiH%*uSMcp*8uPalwUA7TzrIqw$|fD z$u86J#beAG>4l^0Fgk-FNHGS3!3gAK3-KtcD-1}NGo35c516|_7TXZmoa{_Qwvjgc zR}>!0mmXa7C#(Mg6Vn%?Tl2X=%t;GmZH$%wV?787UMsc_MKj_BIOolR?-cguwA~ls zHB#*1bS7<3NC?f;9@W3nca0X3G1U^}@5t)-6?|CpoLO-s9T#`I;-M=>d9f6n!3J?p znO+W{X?eL=L)ovPcZ&x>th;!uDj-A`x=`y!p#?)Ax1{Mx~np3Ceo%`My*A~G7z_Abg<()(nHfF z3kBZ!!Vdwnc}s{>4&eeRBFKO>m63-^sFk+Lc%8O^HX#s8699QKDQnZilEHZMyeFMq z)w?=pSnErarvah5IuWyi$s^VR82dL<-|WtT4M7?yC#EvO(!=hE*GO~m$?N-DVs>O$ zOgRSp>Ma@^u@mYQawE>B?G@?7Q&9{}(QPD1d`_8FggRWOoRCchVz^7ei-RqJ)g6XQ zz3*;StSq7jZb;aAUls1c-)I|d#*S`-U1EH*OP`#1+(~I&GLw{-d-i&q(+=voRl@pUkV8}DLz;cINf^(iEDup zLx0yb5bfK8>6{NlgJ>egI*FX9I&(T(>I%f>DQ1VKFHw{{P=#W{K#pZI{xWEy*{XU? zVc7$bI5WMWkvg)l!ZlLb!O&v0p z-XZWBxF$KJ z2N4%A5U1n798p+-QqnAHm`-(dAoG&@L$^~Bd9}8Uz(^F~Gbe(|34ON)1nkIuKdQwT zuh-Ey&{;6Pp;J)wn#$R}tazDg0$?$x4K?IrAx-J01guNue-7No9Wjo_j5ilShjgW} z_$f?A^nbULjtJkfCH||4ERlHQ>QknKxHR)O+hpj0^yxvonl{xxp$jSG)>=GY7ZG2;# zU^yq?dzr=)UEk?dOqcr%0$fI+b>#f~@q2Q zxZoulL)x;GJCag-@3k9QXSFYh6LTzL5V+8ky^c4IKToO#(e@OMz%zL6O$740V+T~J zx|crk%+f|X;&UxH_T>*@Kx202YBhFia)Yn-hhx$>$-I)z&+cG=rs8Sv%?Q+Uk&zM? z{Z@7Ah7Fw0ER?z{Zyj72!XQ}*0~L{NUaQ5awD-FLr|Qj0^KDpCz%{FL3G7h}d)b8I z>mBaxP#Bmda0}$4-T$QNajnA%va!Sf@%Up*&ypoO)TK&9_K^{E2rT5#vhqhX5vA^> z-LM<#90|$U;!|#J`pF*ug#m}_t93_26H_2C4cR1PzMLQ8?-y3lac4H~RJIV^su0^S zGmfsy$-Z0U-(yYro~r)`jOTGtDGThqljX7aS$L1fM`l{ZomFS`WQ7^ zha>sQlVH=&(dx5+ZmK3iHWW8=P?x)co${hdlJMLhhQOJ=UIe^JJI)KQX7}ke&s4+O zTOGO!Urai}w2|PGmxn15*bvI_5o1yia%g}>Tdvkf+viQtUN;QwsPok!YS7S7xk14J z;dQJ|2Z75CDH~OdD=OAD7&K5=i3djgK^=T%+T)1x_bG7CU(H-~R_B<>Lsie|$wU$- zYk>U3quDMUVS}$7pNnzi++kzge^{fF&77c)Y+}qH7e=9t@7AaROu(Z#6Ah0?l82u* z%%=`un;oO4pzlrU)kJ-iNpo2bXv2;KZKqvYEZe#xScNN8kF)|T1O+XpObgN4TLpS@ zF~LA;hr>gB68@VneDeOXw2E=z%?a|(6#7yA{cm7nY>^5kw4dMQwDL#Ua)by2Lv`X$k1~I|v94qAi$lD5u(`Kh< z`!-3-Q9-D*1Gv8Xk0O|4;;3#Ero9NGejh(U&!snCLyrCi_iWz2(Boc((~uI=P_S-V z?oG1YSuF=0_0{YUro|ojyY6Km3gE;Shax?qCe9vSFmru}vOet=EuDkVO-{f^{# zE6>Nmn5d|-()Q`(}5?}#kw)YtXgv?$V+zqb}-W5dM9%-Rnl-GFhJ0b zKV4i|&D%!626o)Znc@IZ$>15_#lPkN^d=VJ*W=`fHR-Mepf$udDVI9;rX-8RJs0|! znfSI;T^tY3o7dmED9g};h^k`9O&m|UH zaAHn3giO~DoT`EEC8An!L~m!lPOE!#l@t%!{{}e0F`xa;->5Dk9s9p z3UupQQP|;JEE8_34R`1o|36$0smMT1YBJ;cADNld4^RakV95=L1~N#epKBCP)h#PL z|H36#^U+=S>1gDFYRJX$KA=iAY?qSKb5)I2Yt!jTH(Pi1tG2%Y2DX#mvqgCQfBC0; zpLXA_d~&${up8gW_U%2YMv%?LU%wf&;t|qZMthBoeK(NpCw&zB#eGcfuv*mChUcDw zKdkv;mTr`i(^(0&G#ZF7Mm=cs6a}Y*o%)YZnc0e(x`?F5R@sAIK5Xh?yxSq^#q*Kj zMk`eQ(vIubrRlE`+f0XvPs5u}-qHx=(~ymH$j^~RByN86+9K1ou$w>F3HEiCkAgz2 z;?nN*9g^cwYsuG(D&V9UQ%Ejh-&RiM^`R)zwP(Wm6hQ)7ZoH6*l$G1*a3-n37x zv+Tfk*+_KBzM-jedW>#7weP*0Sg;rO27kx50pF^SmxdaR52#-`JVbBwSJIVLr zPv`U3#pI{A3$4I5IujyUlWEz(_zbHKbNy;GNt|je1PBGwGDdSa(Y>Xs-OEsK6P*6M z9M$5w4~}c#w))<|e+MQQV6ADoyNJM~JZnrO8o6Cko-W$jo1egWN_I3`7}9a|EPYcw zXkNyBwe5N@iYn*?4Fgd(X|PAtf2foRt^HoTMmBb|i4nrVPFxNz)0P#lbp8T#J^GPV z`^4q)o9c^iRAYZU30XmE()*PGpX|$xab@M2akpQ~|GCj+aqzi{ZCll{pzG>Ta${RM z1!Y<+y%=4V4Ny2u@nK-%$~ZfpxFB%gy0Ne?4o9>TEZHoCmIW1qVln}UV?(gOZASYh z%YfADE;4XINiM-%yuVcBwgZHvcdb!ep^evMzDY%!4VA8T5KT1U8)75#gomC zWj5$e^onw-aeRU8h3_>odQ~;P6QS&&L1j(VQUTRSju+Vw+2Du+w{kLec%|`!>7QUKS6U(-xZxHGuDX@f zXyYJW_IOX(rfzvLt76 zzbD<4m_2!yCa13e1M_g*z{)L+K+$m%NoZ@y;ug1e1#(Gp+_DECLP)!t3g(Zoh9T~K zeqz~5xRf1h=uu6=<4$q+RAlbjGIjcrCY3`ECa(Zh94!<>-x{h+K;KG^WSV?Dt#a%K zGCJ}UyR1iSeiV&Tv_)B(d!l_fGjX~Q=TQA6K72Of!c+#j`={eD2{!>m(>2Ap#-7Fn<)XM;W zpARmULPB4#e0~#wPDvg0-*Hm*2^9_&H5!)LA&<;1Z!Ds*&>0NE1~U?ii6?@5i0&sCKDkzaT-;dLvJz3> zl0tz>hytKa?VXfH`Ec!SCFySSg)hnv8>MQjrgi5xAGS(1}JY0KHS ziX+qK&ewUg7J(w3Y;;Mftd)fujf>2hu?6bHS?y#K-l8!he8NId9dl<0X`one^5IBo zXpzkEVpfWGowbfDnqX^Gjr-vLEKZmSl*>JrcfHs7CYX%AB~|X{7puXR-4YQ=q0oj& z+0S=2K42k`o5dyQwV-BWtdNhHpP%vx8wIDb=Pvk@+g-+BBZ|ZiLAH-WIW&D@Fr{~K zq+ZJzL_CxVHR{SrQqL{$51jA|2Ztlkf_EI%Q}3(WPtc+{fQAT6?#$9K=@Go)R&a7k zEetL4_1b644>M+p&D@pSUZ+V9ng< zmzZ(UMS|PX#uiEoY~Z@PZ(GP#A$LhGa!9a@T`R2H*r<|hXo})l!(!W3^!_-Nv+!kM zq>Ob>Cu^lA9J_V92fw3H-+~@ON5M_9<8b%{f_5T3vU<>5Hlo#s zL{S6>>wImm1+L|c+}8Yy76|BcFEYIV!QmTugE5@u^YSgD&gD0_R>s^?5vxaTcu99Awid0@zY&$CMuLh;)QX}@Lw;QFWhbU#PKTuP zejJc(9;Hy@2E1<#sm*}%#UahD5zR%CyGlL+rNI=Yi&fvC*WIdmvwfNtESWE>*cY{a zf-iJFvDevBQ~foY?yqo}P)32`h-Z%BV^LlmHl%YaGcT z4a}Y(5nZ}H6eX1%XVcrgbt1936~ zg#lj^kpddwAKUI#7q}cJyv)oSS}qj8ArNQZZ>5|Z%`*jkK_F9PP94mP6!W3*`jWS2 zGGASPc#H?%zwOu|W0TM4uIdHt16U&kfr5Hsb;{k{+LNE_&ecK}b~-`@@wMj@`wft$ zBLB3^)u#N=)EG=?_zAHdeWEGsxx&k4_TuK1-!m3Eu3i#OMOuc7QhAK46pN8!xSM|b zsX)a$Pu>t|#T+(I24o(f$AB_OYG(F;xgDJd9Ro^f6qd9sGI-lNjO>xVTbQqFi3T2K|1-mjH>8o%@rs*U6Z`+?I& zz$)%Em^UxI-A&#-wBbKNb`2s$>Sks>265^6HI6M#r6sPDCM`BFd{XB#4wz@V{)hNJ zdjF1m;Ou>@^iP{W&6}PgR|O1&Ie2yt-X7<#$D}?9H?KYPNUt$kT_P1YSx)XnA1SK~ zAXv=YD14Qj@Lc^GpnHj=`Sd~gsxOUIw1)iDTzoGG4#+o zQIH}i1e9hd0tXZj(c{gzcf2!q=AC!u&b(jV&uh+0IhFW%(FM=mcSGEqV)%4^{>6z&!fOwQqg4h9d<-2$^+gkRrZJg ziv!G(G>W2`uoJB=#!A=U8@J~^N&T|dhY&Q!Fhk3LNAS^7yJ5VJsz9U72i20*5tGh! zb|fFtib4WfoU$4|4fwwK*z@bfFE5j*2Cmip4MmxeL?T{T0;15*V_@yof*l(-oWAv! zVk=dH_dIn94K08ALBacxL{B0H&M(~)g%>D(kFa*IKuk8a-ps2t@3=|kBEI7*KRho4 z4im`0VM)w82li>ETNL@M{^jsrfUh|ncl6OOXVfJkc%F@zQnl}+9Z&+GSNiEB>Hf)v zgW?SiuPj3%T0#)uB1BwZX9)j?Pm_p2FO!p=t~YVZ8@A_3O25qFXo*kXYOlM z4qv$7edq39>i=Zs{CD8wXyL)pf`Hx;!S78CT4Vka(X?k$5AsO*UM8vD{T z#4%5_BbCa@S`-K;6_Qws!EsqAxu&I>1bg?(>|}LnG)h3X{yvVezF6s!y#lqeeL!7f zH>=&tK6pFhtO6ZUUC97XNFN}1a3LVB8E#7(jYI9uo9Br)Y=cAtcaKmq1kqht>QlP+ z{q9=hgw#L%w5ie0H0NM`1ixmb_gjL3Ums1y3p_g6#|1aHDVByvF|@=vFz>gY(X!xM zcDlG0lLx%p*<*#){OxhYqK3oBdodKWsf!b%gZO>^ML-gm7S}IPZe#nzjq&C&7m-vC zB+){O%EsvU*ka&|?Zk2Z`R`TRi&XRy-E8f(lBa|W;D1ymta_zV{#3uy&g}C?&3;Sxy$&u?8ky-jW z&A#jzt*yNiT9>~*4n+<_UQ zpMC1lEGG6gC2MoFXG0?W8(wBMCi_FFNoz>p-hQ*stdq&q-^-7ki`Yk({*lhxY-o=32Ukog{vKaq-%5#$o+0{~5%;ar#Qd zht#D4WckT*X(xDfo^OzYoY0RBLWtZ_cFJxJWDp=iVMQ(Lbp?b`zMqcAO-T|+oC_DiQM z0Ftva2YVt?|7{&#(S}=j=K3MnEf!7zw|zooFZkHJxgSGi($`IZu^;)iY(rkAZUyrF z0-W{yPX})1A$PIkS_D(Y7ylJ$6@Kgcp(20Kg2lDn0hnXQpOWQWi@THmdifh-Ksx?f zSm&KPu$X<0?!yLWwaefegnFm56)fR!+vakeKTU>q6w<^-c=-u0Z%h#!>~QZ5?|QNf zJ-;L{!y1h&*w8YehskDP`t^EO6x7c-6km^sCmZ=NMCZCukFZ;CL`ScnqN-6wZF|$O zqvol%cAk$=^fDw~x{NI)r5q{7gD}Sw8WvcfqAB~2CX@%(*CSUwVwYIBvUl}7JJX*Y zDq%0gMiwqJ&Ae^C<_U$^uG-pNI}yk+m3`OBnTUT;@2v=v!|xkoS#10ZQD2K9b4mjy zY2L*58brs$MLfB|x=H|rvdU+;Pf%p%V?P1_tS<*Aut9X(QU?E;Qr+-Al@eQAVm;N# zFMupD0e5j`!^#tp#wK+RuJ*GHx}wUE8}AC%={Ox1ySYLSc^C{fVrC3H_4HWByZueR zm!~QMFH9&}c^>zfjiMw2+Y08E{YGGaB;p0`ebYfR;1QH>0J`@>vYUnTQVGSDrL+44ZUsI8M1;wPkG-E%yLf8{uS6Fk?75e4{P zmR_zrrXaPjW-13Sz+~6Ne;bZq5=H)K^U`kp=QP7Rh6VR5U^5{d%fmSNm>XxOvf1>V& z7JJJlz2)llL72KbnO*m#*^JN2(B*TIZo6ed_1wzoZ5yb!O~NitQ{-f@j_meH@E8}&{P*Vi>Ug6W%&+y zJIQVcxpWN@z(NWj5h+})X5`tNev-qdy7`_oLhkY+T^T)NaS|cd#BIPYVsTOGfUH%E zie_IE=LXA&Cn%)LNi~8dg%r>;f(B6tjujU+?qgS%&QXkwLrtK(B8;@-q>HgRqj<6c z7Z(dCSahM36S&6NUX3qGA>3(z=l4#Rkf@yq%Q!GtT3&(2MBA2vvuXm8aQT8}S6j#a zN)JRsX+mz`$gR6-dF{}Et!U_9+3(6p}EO|9C)J~=??MY zMl6SFw+gpJF5|u{bf{f+V&2=5JsN7o2rqm<9=O^pPPaQ*7q}%7bo*ltJm?<|w7ORx zS~&)?wcu}kLL|u4mIC_MR~30~{jBItY$z>c5xs2XwAi8flX)dIxF#KU_or>zy*Js5 zjbN^B57m5DGRu%MU-AK4ezL#tcjiC(+g>{6zbvGrCpc%r;0j^S_m1H!i6f^^!p@d4 zIpHZT6S=tAa7s^8gGAi4;DVRV8{#}tU)m|Z@Uur&LgN0i?MRcmFSnDE#`GEG;J@py zhmltnEbV)Y3a&p_@&$1pKiNSS z(}ryfSz|+4h~O)p9xTNksZtpBLf`qtt&ej)yUNm83opgG{uV8gyQ; z>ktM0&&gldgJK+lL@kvs0ApZyYEStL1wssepzO?a zjQ?~T^*q;AJ@A+YEoD)r`nlmTM|r1vmq<9R(MyDM4IB&4!2k~%z{a(4W(Pzqw`+({ z3215rZNzNBm!M`G&rcMAJmEYu_$Gj~A`IZixl(P#X1urWthl3AbxC*VWjIbNf3Q1Z znxZe!IVACNUa>4-d^#s%sqSsvC*1qROJ%qFZi#iT*(XN3$%CafXR1E(8|S>HS*&H( z*h9_eiwNI$`{JG_MQSIs^L_y+P>p&i24DeUb3wbAVHTw7Zx%#nOy#1OkTCU2_l~7p zbrpR~=s#^IT~HCA-iQgt?)o@{vw{Ct?wmNdaB$48C4WcuCK6UEX zzLUXzGCwhQYF|_RScb^{%>-IPmL$UVocs+V`#@#qQopeMI~`5AsjEwHU6ON!AfpG@ znI=pelRTL!Xn$9Oe6km*oiIle-C}&O`?2@aZ6D3-;~F|0=IRimF=* zzh32j3tKsm6EWMD_--U6M^)8jeua88WV-XFax$M<_$P^MjvWZr8eG=@#8qCVu3KMi zutKyDQF~@0eGrWt9-55>UHxJ?54+PFP7ospw3^LS^R%9GsB>oO`Dnw(8)hpuaG@2_m^>H!8?ob|RoWQ+kcAwx{+-@;9KIY&w_W-BmA=ceC zozZV`Mc7vEt5wp&KjMRv3HRMu?*wpwvLQ+rU;4+9`EE0R2iK3Iy6JvlmL`drnI8Z)m4HY*DS>b~nKJH8X4ue(Hc zW#;9Yy8>@WgEx{fcM$J?V7UYC|YDXQmEoHOsDSiOTJAGz6T> z^fql&QHUse6_>0fj6c?{t;S|>hoMHDoD7c|A zpgE18B{SeipiJ>58W_R32VWzhQ>MwH$NSxT{OR3xhHO!%qESq_!;Zs-ZoR+)$WDy8 znatiqYl!0$lzVTFMffNt-Y`v*fz%ue^y^2o3=V4)%)+pTj6VB_knIhNO5L9UV$-eG zB2J->-#$}@qb2Q$8Waocmv7Cx`9Wz4)q~?=xZ$&@>p;)0W?qA6T=5FKpUkrs2lFda zTLzBWBo_5PoyKtr)8+quRcV-SwVs=?xB-k$Fg(b?sU29yhIFna%2K!tSmedzGBaP{ z;BtkoxuYo4L0U)-HKhVY0RNk7^Sho-4eR-?0B%>_x`~K+@`R~*l9Tl7*p+iK%r(S8Zaz z#~Vj8ZnX$2Edl#vbCyF~5GS%^D{k@#Oo&|ZAu}ab=j-?#;RpKLFCvXpGUvV3Yu802 zBh+w@lTU4l8i-?L<#7pih~_)lh!6$=>{LG+nxp}#poCUMV7DgAL?j%)UI%Sl_tP_RH$3z>5C1962JoxUYH)iIKt^6Zx|GCUenih|(ggfH70t!#RxZ(>k zN8dDh9Vw8}QRk;d%NjI?r?qu(9Q#~iDaP6LUIlYR2{ zBq!k@L@{tq6u)}>S`!Jiv zRpwpr`s3E9Gm~dZ=M3KY_5y*tlV5$~Gry1}zYgJ=z0i)U5@@k-cpS%QT%+fu+hBDxlCNrFgrX9q&SdWJ_Sq6OraM%MG#u@ON~|J=~r_Hm<=J z{SKD>9*v6n9W3}g8o~KH_^tVrbsP)&hMXTQVc?L-0O+O6d~j)z=)s1WSzr7B(r&saK5Fj$eQyVaC5RlHTuhW&S&Vk=cF+f9J3NF}a00KGs{% pI1swPAN+WGASfc__e2P!`y)q`P??<-LQ&pR>KA|jMx6Nd{vTfKe}e!3 literal 0 HcmV?d00001 diff --git a/helm/searchEngine/html/manual/index.html b/helm/searchEngine/html/manual/index.html new file mode 100644 index 000000000..8efa276fc --- /dev/null +++ b/helm/searchEngine/html/manual/index.html @@ -0,0 +1,40 @@ + + +Search Engine Interface Online Manual + + +

Search Engine Interface Online Manual

+

Index

+1. Roles of the frames
+2. How to compose a low-level query
+3. How to compose a pre-defined query
+

1. Roles of the frames

+

+The interface is composed by five frames, as you can see below.

+

+Each frame has its own role, in particular:

    +
  • frame 1 contains the query as it is, the frame is refreshed whenever you modify the query.
    +
  • frame 2 contains all the available options for the composition of the query, it's where most of the interaction happens.
    +
  • frame 3 contains the form used for the submission of the query and various buttons to modify it.
    +
  • frame 4 contains the grammar.
    +
  • frame 5 contains online help.
    +
+

+

2. How to compose a low-level query

+

+In order to compose a low-level query, you must click the "compose a query" button in the main page. Here's what you'll get:

  • In frame 1, you have the query in its actual state, so at the beginning the frame is empty. Later, the frame will be updated automatically on every change of the query and will contain hypertextual links in this form: [?<production name><production number>]. Possible names are "set","val" and "bol" and they represent the main productions of MathQL grammar. By clicking on each of these links you'll obtain the visualization of possible options for the corresponding production in frame 2, allowing the sobstitution of the link with what will be selected.
  • Frame 2 contains, in order: the identifier of the production you are choosing (e.g. [?set1] or [?bol3]), an "undo" button, a "redo" button, the options list, a "compose" button to confirm your choice, a "get help" button to know the semantic meaning of the selected option. The options list is composed by various radio buttons, sometimes you'll have only to select one of them while sometimes you'll have to fill input areas with identifiers, paths or other things: anyway, whenever an input area gets the focus, a help about what you can write there will appear in frame 5.
    +
  • Frame 3 contains a textarea with the query, a "submit the query" button, a "restart" button (it will bring you to the main page, erasing you query) and an "apply changes" button to modify the query.
  • Frame 4 contains the MathQL grammar.
  • Frame 5 contains various help messages, whenever an object gets the focus a message will appear there.
+Being "set" the main production of MathQL, at the beginning frame 1 is empty and frame 2 contains the menu for "set". You should choose one option by clicking on its radio button and then press "compose". The interface will perform a syntax check of what you entered and should something be wrong a message will appear, otherwise the query will be updated. Afterwards, the query will appear in frame 1 and in frame 3, and frame 2 will display the menu of the first production found in the new query string. For example, in the picture below you see the interface after the selection of the 10th production inserting "positions" as the requested identifier. As you can see, frame 2 now displays the "val" menu.

+

+Now your options include following the instructions in frame 2, choosing a different production by clicking on a link in frame 1, or manually modifying the query by writing the changes in the textarea in frame 3 and then clicking "apply changes". Obviously "undo" and "redo" buttons will allow you to recover from mistakes; just DON'T use "back","forward" and "refresh" buttons on your browser since they will cause unpredictable errors. Once the query is completed, the "submit the query" button will display the results in frame 2.

+

3. How to compose a pre-defined query

+

+There are actually three pre-defined queries, Locate Object, Search Pattern and Match Conclusion. By clicking on "submit a pre-defined query" in the main page, a small menu with the three options will appear in frame 2.
+Locate Object is very simple, you must enter the name of the object to search in the text box and click "display results".
+Search Pattern, which takes a CIC term and finds theorems which have it as thesis, and Match Conclusion which takes a CIC term and finds theorems which have it as conclusion, have an identical interface, being the only difference in the output. +First thing to do is to insert a list of aliases (you may skip this step since the search engine will ask you later about ambiguous interpretations of your query if you don't know objects names, for example), then you must compose the CIC term. Composing a CIC term is pretty much the same thing as composing a MathQL query, except that the term is usually so short that there is no need for links, undo buttons and the like. While composing the term, you may modify your list of aliases (i.e. add or remove them) anytime by clicking "edit" in the frame 3. When the query is completed, the "submit" button will display the results in frame 2, and the server will ask you to solve ambiguities, thus adding aliases to your list. Once a result is displayed, you may want to submit a different query but keep your aliases; in this case, just click "new expression" in frame 3. The "edit" button will work even in this phase.

+

+

+ + + diff --git a/helm/searchEngine/html/mat_con.html b/helm/searchEngine/html/mat_con.html new file mode 100644 index 000000000..5fab87356 --- /dev/null +++ b/helm/searchEngine/html/mat_con.html @@ -0,0 +1,10 @@ + + + + + + + diff --git a/helm/searchEngine/html/paginacollink.html b/helm/searchEngine/html/paginacollink.html new file mode 100644 index 000000000..83f41bcf9 --- /dev/null +++ b/helm/searchEngine/html/paginacollink.html @@ -0,0 +1,13 @@ + + + + + +Query composer + + diff --git a/helm/searchEngine/html/pdq.html b/helm/searchEngine/html/pdq.html new file mode 100644 index 000000000..b4f5fe6c7 --- /dev/null +++ b/helm/searchEngine/html/pdq.html @@ -0,0 +1,75 @@ + + + + + + diff --git a/helm/searchEngine/html/query_choice.html b/helm/searchEngine/html/query_choice.html new file mode 100644 index 000000000..3e1932ad2 --- /dev/null +++ b/helm/searchEngine/html/query_choice.html @@ -0,0 +1,33 @@ + + + + + +
+ +
+ Locate Object
+ Match Conclusion
+ Search Pattern
+ Locate Inductive Principle +
+
+ + + diff --git a/helm/searchEngine/html/set.html b/helm/searchEngine/html/set.html new file mode 100644 index 000000000..a07088957 --- /dev/null +++ b/helm/searchEngine/html/set.html @@ -0,0 +1,178 @@ + + + + + +

+ +

+

Select one of the following:

+
+ ref [val]
+ pattern [val]
+ +
+ +
+ ( [set] )
+ relation + + + +[val] +
+ select @ +in [set] where [boole]
[set] + +[set]
+ let % be [set] in [set]
+ let $ be [val] in [set]
+
+ +