SQLite format 3@ %,%.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  lL$| ]S]LEM:threads=2elapsed=48.613cpu=94.336gc=10.480factor=1.947zXZִF! <]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/ CFQbo Ag9 0 _5v 2k^[2LFڔ;_9SYq|VRd۵ؤ{da*8ipx&4t/Sc~k`[*3I}l jLK6#klg9<͔J;H 8kտ E&o :{a?B0MV2$ lSQH3~|XR1r~ɿXP/%`Α5ȗF/V~ΟHЁH0|IWbPWKoY#b=;p#fN<l{O}l-%nZ-攁Aulnۣ*t- 7^gвGH /:;^F#ߑ)d&NNwI].,%᳸F*śrMkt$cK1y~>!D} ߖykQ?2xi o3⩁G⤧yfnX~&שLF%N#:7NҮml;A)cyF?dO+n 8DaE݉Zc7X9tj3g{w!!R Țd2fwW=oJx!禑CnؗKyT?Q*kq2=jr8 | ֟zn_†SFN!fȧRfزS{]+ө@w%F!Grg<7 C~9tTV:ԔvATuӻ_.g6wu1v[ @g?VJg9|SVPv7h\'v9Y\f Z^"8١f2}q`ڃdGᆉf"a#imZ6L"*$?;5BXҁXp|i**p0eg+< (Re0.QcE\pXjjF\XK&[UbOPtKǓZO1kMb8ЉpfH h^̜ c9Xߩ< +xؼiA\M[&ў"`aFz 3SԊ?]?a޽Hc(G6s?SD6N2)>jNO>>f=Ҫ.`JZx}&/Q5*Mod9ACh_ 7v#j:ADmNcX rϬ9>Thd{k2ˬL*N*9,  LEM +%% TLEMLEM.Lem_worddocument.tex7zXZִF! ~!]A-MՋhvG"uIBm5!އ N=kr˱q6G--ΐIV?1isHLkbk,Csb iVv@4C¨r-$rX >~3v6R.]h*Su%\&fAAb) yn3R `M% AgO0K2GZ(eD0 !VIᅓh7Wi~ y_$v4fHULi > 'TGYIK(MumJzCZEmUr8T/k[8 뒏4IaqR`1A"^_a}_bPy֒8m)SQh[h$P*Y#jUil#?.&q5^ V?&p?+ 5qXpXH݄[J$mOSͰ]<цK$3y2EO?Kuu@Otl˻@ӥ0]շ1<N|bV1KQ4tj\[$ 8#QRl5cfxn̘!,Cֵ*L;Y t6a_u KNk/]mQPHRG/? _uxJRbMVx|=W8jDjǔ"-i̷[ŸR=\Sf,1Xd/%jTxW˝b28IA^v7ăaOqZ+c&$M'# B UK:;¨GѢ.aE_-g+UÒu#%A.oGxz-pw(c;MNpFZ |ƯxR"VD5w%[0[щ廎}c:8o'ffOYНWL6掯mPˊ!ع&X3O,quX.N "o.Ѕ4:>9;8Ѿ6&_b[:cc<¾`(u/MF&j8Jy  bu#δ9O v|w?:~ >]f E>Grƨ| 8Qyeq F`CU~ K7NZR#%f@ 1fSvL%OZHrjKP< -cU]8ӝBs-:S]L{.C+pc*|i]tNԂ h%(W/ ŐUW-Fq[P#K.C4zX~ q8v!*2*8 {GQYoe8#ڜr<U&@OM1oK,`~K3 gJa+8TkZB5@1HY;G:c}$gE5R8.`B tGzO/ ^JT 'پ`viοc34{0 {F,*n6E' :ш1 pӉKeb+|qLz<ڈ SȐ"FZ=ƲޗTe(%3L:[ڹYS?kjO3zԊF4LkgMȃ^bұrP>\yc}@xLEa<}snq>$ε~+1 QOd:Va8lCkIiC_p"=Y #d` An `̕^x:"d $wICXOп Kx$TB46*U \&w Eu:CDB[6mQ|ݥ4'۳rm_Y?+I|`(v70G [WҾCݺo,e(d. BX}cq#:פ< 6to#~-S\Cϋ4q rY$`[Q| k-nzhK-Ze:F)m y7 YّWR5ۭau-^֝J71U@'_j~6'r9qt 8X%(ִ׳[P@xu Ll&0?;;V׻JD첬' d ~LD56ꟳ#3 x𯺢3M1/x\H(4n_B1sTX/JRrN?`' #(1+>'` ˚^CB oQ8k.=WsXlĞ/+D;mppJڋ̧KsC@z"I%\O>Kr\ZbVN6<0VfU ]0'H|{у$Yw>Q!C|iH!XeI̧kmd(s;IlIDotį՞]*(Or$ǣMᐧ6*")('&$#"     # b ~ @ m [ K :]   x J  7 #)%LEMLEM.Lem_eitherdocument.tex#(3%LEMLEM.Lem_maybe_extradocument.tex"'1%LEMLEM.Lem_pervasivesdocument.tex!+9%LEMLEM.Lem_function_extradocument.tex -=%LEMLEM.Lem_pervasives_extradocument.tex&/%LEMLEM.Lem_num_extradocument.tex"'%LEMLEM.Lem_tupledocument.tex)5%LEMLEM.Lem_assert_extradocument.tex!%%LEMLEM.Lem_booldocument.tex(3%LEMLEM.Lem_set_helpersdocument.tex#)%LEMLEM.Lem_stringdocument.tex%-%LEMLEM.Lem_functiondocument.tex'1%LEMLEM.Lem_show_extradocument.tex!%%LEMLEM.Lem_showdocument.tex$+%LEMLEM.Lem_sortingdocument.tex"'%LEMLEM.Lem_maybedocument.tex&/%LEMLEM.Lem_map_extradocument.tex'1%LEMLEM.Lem_list_extradocument.tex-=%LEMHOL-Library.Cancellationdocument.tex,;%LEMHOL-Library.Permutationdocument.tex1E%LEMHOL-Library.Datatype_Recordsdocument.tex)5%LEMLEM.Lem_string_extradocument.tex&/%LEMLEM.Lem_set_extradocument.tex %LEMLEM.Lemdocument.tex #%LEMLEM.Lem_mapdocument.tex )5%LEMHOL-Library.Multisetdocument.tex )5%LEMLEM.Lem_machine_worddocument.tex #%LEMLEM.Lem_setdocument.tex%-%LEMLEM.Lem_relationdocument.tex1E%LEMHOL-Library.While_Combinatordocument.tex!%%LEMLEM.Lem_listdocument.tex*7%LEMLEM.Lem_basic_classesdocument.tex #%LEMLEM.Lem_numdocument.tex!%%LEMLEM.Lem_worddocument.tex$-% LEMLEM.LemExtraDefsdocument.tex /",_'`ZI 2E/ / l [VW8`RNYq>ƣ@r #3)Fgߦfv{03(:Z#߄|\&pF1?7E9<#N%oQN/^N;c;&lHέE膋ܬD!*k4wm2@q+ +.>BzhtRfPY%-pHsx %xe_ۭqLi z螰rt.\)`T!e%ϫ dQlTpK+|.AKFJyQip&fEy$FPtA{,pDahzER*WE! ߲'E뫖~ў#Q|O{ rIe L#E&AF[I9pPZ+#B܈y< MiExZ^f1"c/oT\!e`ל4ϩjx.T(lt?rֳڣ:[›n^T֬!pLHݴqQnvwg~|]-wEwR‹`mX8 XܝMPIH^0G%ɬ=9J5B$jKT#jaK~ *-g1,d?ܟ3*g fѿ’j֍MU-o.3a>eHwPVUtX\ J֨ J]Q\S.98q@IeԌ*ό33/NB/g8︹xZH;F?|ƾbN9F:h92 m>C4灒ꚑ}%{:rx.}_n#v/4=/S~ٸocmP54ʷ4]% 9[` l C=_{b-;bnz8+!o#71T+RȰ9iLFEF1@?2ٵL땴 P rw^pDUTQeNo:WT,<".Iǥ羶30${ ;OB죢j*#,.Y'7\d9ٌTNLCJb%H'@kAY_ڝ2O~IIG1U)i#dIVyLoQy0As]7T$2v DJ~D3n\\jX-KuUt.nߥ" _ щL݈Gѫ\!x#ti݂Xߒ K_V0d& <~z?X`^[E)GܛFFS7l:Vy3 m8eK^Lޒx—!<L3b 6C%H0K9|$x OGت Kٺ} S ~.\6{89?齃.-CUv+@g4;+m#ru#hYi_W:îrjErxvÝ3%v#' (lФ(Pr9*L=@m()%8H *O8֞e]tx5k]=?YӒ|Oe|:R}Oj/4r6P֦`Go`le]OF&&ƨ7oepή iMOe;XmyuRXP^ s qlO6\a"E6ʦk@V#w"p!ߪm;Z*Ɓ~lS{V-Kqӏҋ=vRmCoIHuG)x'itW05Kܚ\`i( o[$,úk1֬`ҷm!Վ|4;iwNZ?\~7&Ut \]sN~{'`\Fɓ Dz|j92 ƎnW)vҪ6hG}zH[Ro>VC;&a]-ٮL x,צtYetT84}FFYJJ6N-~ݩ{[H>A$|ufAYNݞ.)Eqֶb;F ;+s4~tx*@\}:o4߅ZW@ZJ˾%PYBu2gi_[gLL ϶مiKLTڸV&98oDuu|!ūx!%B <6l!nx cTCUX8@8|OƢIN? H9x fE>  ђfW6$A+Υj`LP#owf,^3/[~$4YmsAAWLbgcM5kg!I%= *ޕXbtPVҼ4+Jzfn+VضH.y4OhPܑ4h y稛KAKt?ӄ|HrF*.Z3cfO1x &FHi{\ ,Oz8 tƝ6c=?h/HI3],sKg.WHY#(YR9'D(qie2NK-(ֳUV@6.JE>ƲN`< ə A S2[y)fp~:輂3aRrlD}خL M%u>#NVMJ )8F4jQ,{^dI/ن1Rɴ`ԁ>VhYC00ߎ͐|q~,^Ag_#5[Ÿz:`ȝzSz6m>EwxbN' 黻lrZxYo ֘UMJ<=|Ͼ[=Lt6\@yT>R&`|Sa#7J4)ϋT~^\ȑ6ϤEoZ:w&w<4n9LxcJ^#6]~WO,ID NAl.Gº'cd2I$35#aGNЋ?3bL|duA4:s~k=HxP&PG |A(;[jjkI0gvRv{CތL 7m^%/%mRc̓꾪{J"=GSFf g-;f'J.|UM.Ջ %9Asdeź ]*K NqݳPq])$Y-mZNU.c\szԡU0V͔{=͛ q̗At,tᭀ+8,"]_]yU-` 0~һ.pZLW6`:Z ]:Dq{SRVHFS"Uiq(i3`7t#vhi{djԯƲg\ˉ 7ƠHt`8":~SlU&j m ATt'}'}2DpO?=A"8g>j"Sc }7>}3*HCh1ќA2lgrz;*=SF;P4toT/f,ozf#[Pzx>4{V ̲(32{'k pf(6+EHj/Ln4`D%VN4Av_*2wreA͇H][nq/0b8Riudz?ć{9KKvQlj+*dUТ%lzhuVѼ Eu0fk=8Jf=ݫL6궻&l'?[=5ݕ:CFjŽ4:Wۉ6y3I RXcld]gY\ ]g͡k[.SM07d)Y$3]DĻ:2OGOv4^sy=WAo8=f+7_6]\ ݂fۡ|lڈwĕ/`-0zJnn3&{8 C{ݡ,_߄.3yTs~Ǔc:Okm~:T(j޸tay1=!RrG2U|s̨ƭ˅I-Zbw'Ŕ1αAs1%.F š5Xru5XgE5n>F*w%? =9΍BlAl`|@[,Ipvz٦ 1IGڵp&HזDesx6_8# "`D6ِ&2Oi*]`++2rz6d®L:EIQ 60 7PYE@liܦV1ۈ)ޝ`HdZ1J ^ -W.&>RZEiP:C;vP~9Q\%_?y2$i0z'v~ u(H~To^z0 #BSILvO(n|)?t]F1e{cH$nFDo)VwV_c?*G=CJU&T+HD<Nmك ĚWBMbuN"٧d\lLcɽM_;B#{gZKDw"$Ow4.@q:3Od<&]Y "_S_onꜶrڐ툖嚻qX\*$lS< EIc G3:ϸ="3EBг}HzGBWzkzJͅ}lD*PDpM;Ldzd#'l"0.dՓGWԹV>IT9.2WEoܐP.L;8\`93 OMW'fu#>/Qېˊi5\^+-8L=e{NB(:8`Q!ס -md*!Z_"4L޷ѯ}f{\@㦠73@}9.qh dz̘-*Qv]sBngRI] 8^p1կzx:J-@"qQP]M*}#8AږŜ^z' FEDw!\®<2#d.Z5p%hsz3\G<,s7Jj El5GxY1?5W$'Y:0@ɲO"$*:}b'x/HЉ1XJ߆XQM$ߊoΫn%wTqkփtHlܐl!n=Ԓ`;È(EXTM57U yo+ït/b8Ip%~Alۗ:UhXo T.^j:ǜhtp; v}t^"!+'FƛkxuEӿZKCUʏaRnEl(_֎|iơ_ K7BG -N5Q jn2PWKOfӦuwX5nosٶqJ>bGiUǷZcNQ~B\,G"iY8g_x ְq >@F&nueĞ} BWpk۵N7݂1)M[WpH+Dv1 "1%P59K-kAjw/ݛ͔'ߪl ;gw*ʭ6e 5Eܢ`; LӐyi.q&FΘt_ 3DP{ԇPTo ԂgE]A$f_F-xBHM9Wvl YS^) LF\O:Ihy:/vL3My>޾>. gb2a ^C}rg5/XhS)d] ɪFD}_{APGjGBO7齮Q'R%0rx'!(` ˢ#4 xYOꐨY_ܭYV&Uhd;klT$F9ٯwܬg61I-B} ij^hz^:l;&|wK }YyeHs / !W2ssCM?a$+I^+A h{`{ڻ͏Q nlbHUCX3׍EoC^B:\ݮP;9$W_ߥr_cf[:K&OCXiTOg}J8'$_.iXM5tIո!}ߛbF~B09rۿxGzF t.f$V1%9H':N&WB1ִ!⶘;C{ ,\XY(8WUU,d+Nĺ wr)HQ9j4@+Cɍ9iڽA [f|(/-M^VE){<2-st9ˠayO;QR}wni#S|G,/s/2qsG/+KA724.]ix]s v()\Ʃ,ߎN݊KuRT9Yzdw>'6dύY(t- `WqGH+h)&{YW"wݍb " +aj^]LC~&JѻTZQq H}?`9ώT~W&;XgbA-62]` ^9I bƏ(sQ"JʟHjt~7Ue[Q= rnZ2nQsl+|PσODbBY D~opS5B=eD 3fmV_scD!#hvETMFo,2n3:M ŹtDŽ4;1s5$%2?G uk@_ z8)3D`jB֕p8FMyq_~˺J~5H툵R"W1(p#1-' G.aOzl'A%c%R{IdtGcROx) OP^qz[|eG^٥|dE*9a1IgCEN 3[赈DH~?1"fx~vwZL÷[ʢ$#ɴ, /|~:=)#cйHEeëiY:?(!qo#BҠWk8w#3_9h7 iMiWB|~dbɆE(lro* f$h\D6hHߍ!;1Dބ=7 A&ɭEf3?$KeA@I: :uT|p(;Pp2h[ɽ @$-΂O[y +%am`97),ҽVElh`4M-)pZ8/ъ v4?=N'/ /So,fE<ֽY+A$'Ȁ tqsgb-Yz4QuK#VC)7>qRpn^8-K{q*ӸFPF[%Hm+h3_i'nBoZZ_G>֜osST1&,&@8Hd#'{aYb'X!O<f;ߎRVA_CUbG?@1VrVm8{NM[SiH"/'t>`Sc.`cH&w+tl)襬I!u#dl)~Ge00+t?'%4V9bSA'QJoVvv@QФY|+GS\&y-ȡ8O.ZLϦ㦪c%;~LL*Lw=ȎŦkT]7AܶU9 ZRf^^y!_@ߜUH]\ !颎kL+Tps"-H޳G5*i?D?*Μ{n+xL?e|қܕ!V9I1R͟I4|jUL݊CiW72(jw2B dEs|d `ۥ=\s1\8C%Ą25p4Ϝ&u77O:ϧB,u-3>}s0Y~clC8?jrNm*WA/!> >& 8C{7M7 ixӊsIjDEI\FpcWa7cY5 ot-lw4%uM_lgY(UA; $;]MiFGVsMv5@6D{mBdK~TMHK{N3+=>jz(3VQ/Q^QP'/`z׃-khɔ𨌹]IJ]+F*;H$YA ]6"[1_!`Ɛ"^  %Yן6@TFb5 mίûN'SCNJsD0( ~G53SYak[rբe/ҋAj F<` Wߙ{J &Nث>i}I+b?;Cc-p<ZvST0ٶiw͕5$m8,)Lc+|J`2͌*lr> 1.],YSV 3$Q‘lEVJ{ygW9=ChPyMNp˜=逤 Cg5[?%oƜ'#LY_5Ju鶬V*ғm 2hfJ=YdgZB|`C0+ vECԔi IVX U} hg~4 %ObZV-CaL-d+SllEB=:=H>86VصXT֦MlXM@V^kxє*߻JttQ'V9M_p_Qe I'fJ;:R#A*S;E6AS-0#>(7kuQQLi ⊑ ĭ2`/:¢5}׸?2+y1S>]a8=aG\Xw6.ˢuBgJ֡c_~e<C%v9:(gLI. @'BQu@ve"cJͨo6(<))~ uIQX`rmb@4F!-sx\arK+ aCzzo}%WgA:3-=(=ك ,a[Cc;]Ht;g|W~A- ? ~2` 41Kmpmb hntk!R[q`K[i./Uͅ0R#.l- VL*) <&a[B(YUl(&29 /=bmfR`Yg"^4ႭFv]ضdC}jmBiOs-Va"_VgMN"7yg*`i@]I*>3T[s0I7=F+a C&yPܮ3L$f-XԽ}ײ;v"gSW`Й$N돇85HA$l&p, +/fdCOW| N۽YG"Sym 􊞮̂4p\3LSYU["|5 A+WY8'v#XqC( q4&^z̖ӗ Pkx7Η!7*t{*QX\"~,UO@B@0;闓k?+d,9V7>Xx\;k|87U{ ~/X՟c:ޝƵE#gǽ̯]na2D :sKӠAJmЇ?MҮĶj[k[/иP"(7M=I^+JNעʹfa5LuNn%! J9mk|5ϪCF8,sceDLuQ9N:|I^*=,Jݯs@Gm}"-<9gQOCNAXeD]By3N^~B m],qgd76U ]]CD zT|KI[c!!ѡ1 <2:0u'LY= ` `4X|԰]@ݐQQ{meӗjj[릟 A5_̞ɳ H+TnL R3]<$῿-묓yX9 5̥^/(FQk5G{059XhK^E yZr V Nt\FB1=ۑoLAdlP^&O <)(r$tu,GK7A8L R7 G'#ӀJ~e[yƌٵ0P%RMbF1tɍ|T`@?]~zz^GB=T S~N&*$ Òժ!cl=8nB& 6.q\Ed$ %|^_$㾈HklR: 2<9W[.",dsڊ!&/ozE.$BR~:AzA[75btj] cNus qac,6)A_pn!uˉa(:,CºvA LTIecP֔ͷDxyy-ZٚREaB d6Zs!wDz2':indQKO%Vi9B laSgwEg.xP~YQw~x*K뫗Mpi$ZUG735m/5=/b^&\]&B,:ù>O=:GQSNN`|">\Cl:SG8Ee;V?pVVL#\F*?m@ndߖf]ڡH}y*IP'^Gf4zSrا\)>#;Ü Fp*"JzT)AߡH[aӶ;OLpϬ\~&ڨÿ%iF֣Vw,0?K_ƒVkܣZcoP Z$IhWOfA*M/Κ/^Yox<7a-8a|{pH*Yt9ũKT~l-{Zf]Ao1BD/')gœ46'Jp?BrmI&wL$ZN*a"ΏT̓Z0({zv'*")j]3゙q&Ca█J1Q1SBa2%!9Ұ/M i-Y8FD~Յ=FgYZ $j)x~daa1 |(:&ot#OE|%3;Bi$n \X H.d>G/w/8l^vnW}(*qGtRPmNvc@nL/ s NQȣSبSfViϚc.̞:ty7;-T&$)@P!nQ)HkyJ(YE,GWS*@wQ*t +\ǢZ8ΰ 7bQ!'^ncIF.Lߥ!AֳͧݟV y)pO| {k'\^#D`ض *R#V0e4>;PGJ#Q?{ G*jEM}/vn:@d^op~hxyA@Fźcv iB"kTUNdER 6vd#u{"S&d$lUԣ5-O ֏J3&_$N^8_vfu`3u&f&s':KtYC@\\A?b D \ȅT k :3<` ?ŠûCӗg:}R8HIˠ!2w!|+E0>)$  ՘LHp&2^ӦZ VvRɣ8CÑ"UaҎNf-Nm>cW@5l9?tC8X z<ĝ[5JV~T@/;+oPEQv#FA&CD0lLu>/C@Rb$-8^;YMQ` 1 I!u>Ȑ-I᭢739m.S.d/PI^f (i[]zv<k84^;'Ҍh*DNZ cavU@LiAG5YC6/Q=E9^#K9"7q;UNq^zv&d|if_Lg0Hh*'V#1.qmr&d8fDdf<DFСN-՜,GQw%re[79mya$=!vf^TC0F~&fG+]ёFP] drȚe6-Bg9%`̑E~J6 Թsg~q -{撱ZZ ^?/=R < xT6SP*%}܆)jgxMZyDS )Wg"w-h;_ar>Kj7J4&BLN{_`vXdV3N{iMMVjض3 4TBrdH ?A`jf.|LTa"̄b3e>\xyG 䧝{xaL;'ŠdD QL H+?7`+.R곭O{t|~<ȄtzGftCT&%85qe=su2wujP?(|WqhwE;|!n0{&SOPw"G&H%4]4[=*w))64cZِ6 `b*>mg՜X议' XaN ZyFk77Fl97F|ME8ؖPs-?v3=F{}3i"s:TR0:alPIߎzKw R4Ue] 6Ȉ]4jw[cyͯϼ4 oyן88gw(a,ąAZLKE?_<yFc Oa]X%>RLwrq0bg>ԳruNȼ6֦\@$Zu""<>urs419gԞ;r' }E`6##([Nޑ)eQ|Fds& iÐLY`E 0 I,SpM9E&UZb ;&Skƥ6Q;bZ&qb3M1XPO#eUW@r)ױ}gԢ0a^z9 ՘s ;7&kQs `Y+@Ar,\Mu]A$8fP;ם$G2{Hjԛ-ᵳ@zq/`迨vYVy~TZm74@[_5mo o@%Qgѯob= ,,Dni-ўTWA҇9.SP>*u;H >/.O%3t8˔4H[ƒqIn\ƀM!o1ioL؇63z@\{*XԔ@5Ӹ|uԷD1O/It H KKȵ`WzY޲((Ýe>՟4{Bxn'/WsXM3C̋G,]NGxa^#P}k˨ջI\G|\j8d-ͷHM'r 5'tLdBՠd_6YDbf?gG~EbN\3A+-Sx%MJrkFo4ǥ F$t̙6AJ)w8jPFOPz[\¶n7 A^9B F9mHK@[T G% ΓքI#K/E/ŗmH&a+t7k8{lFXwC En$Ɖkav? )zTk[DŴa@U>BfL״H C[^;5ĩ.U:IIG9,!~߳.)C^ݥEKxWd/s66Wkk^Zt`=QD߻_Hʚo\)'RhB-WC'(cE)̚W.S1v1{[JGb8jBUwunn86L6u;Rh EMydec~QdR%Q$07|qp4fG@[I~dOc235[ m`$\>c9Bjj?`lC[,*Г+jSjj㻘C]z_F{Anx ?8 TQO6%X- Q +%0ɬo" (&6IiTM`۱ɞHB ?ƈOF\0ՠ2c\Rq\~mp6s-\b>GBCgݪyʢ}7?Ù)I+݉LF+&U:wۙQ ǴxiJDÑ?T7b!rIwKe54m8他gYZAX$o}\-jJbd'eO(uC=e1ddM*ăScvB_q6;g3F<_iO_5=.Q}RHA;v:[eĔ06:`-u6. iBYIqD~ }dso|-vls"pzB<&5xi@^TL&;ؔ dw0G> IDn#q(f'$sy:ƁSyMou>tG]e Ͳ!:SyZN^o 9-ܒZC ҄]-hص:)38;CYFTU \f3zG3x0t7D>`wNwE6 p:Cނ: ߽UfJh64[FawʁDQg۩,jw;[B5\^*eaVe;xڥz^{r߀{zOb}_D4d&w3*$M'TFŢgmNIGwbXH|3>>قW{иTBTH`,*{8fĊemش)@ \.<"'d$z禌q iIW^:yF lSi[]Pmj+fKtz}K"(.^@1' qb{qTS>NOq.y(f( AНUڻf_V@PX?Rj"V՗He*(5V6ݝQ)+3EU):aKkpfr d(UDї4@T#YqaCʁn\LfTFysk{ЇnBģrY# s|[@ͿNpǝοb3ТΆxmdHuh %)+=ԅ.BW1LD{VgCFf𨰪$f`XJL IGw@⭳`4󻺕pqms ncq82bqUuN2M~kaBS>tI33!Da]DtE% n rdj|Z^Hwl$9*Ee\6TR9ݷy~ N=Y5鑈ks]87,':RJS`,#ڎڸ c Ŀ޺'ڦIƟuyknrڤ 0{:J=-DLUHAʗA ػ} y*JrEʘrF+s6¢ʓFkpͿg'\2޾5'q}~\vӊx^H ff'@-) 򧋴Hkٺ('!:DmR)N%ݥh Z=vP6e[i9tLTqtͿ62W?Z_ο]k7 ֐n/0 ./ 0~ot<>~FG.N1̧8Lpq~~K~Xzv9 `jꏙ^/`=|{#Y})n PNG7]21R#%]`!`HTz1+H$oec0w| 2-1衑d|•26ҏvyLͫ-@`9# ձ|iP&U3b$^Xۣ(Sd76 фӚѦ:_^:*e~e({3eAZhCH2x!R"btNL N1̿dxpiX~i]G8,2~my+ KܗBpwvyim&GvOϿBvW/JaEw:e#;ߙM9+f/&j/g\QgR<>7Nh*, Q$6:ܪW2;#U0 ϙb65V⽋4c '_TeRS_ҏ*EiDU{vmo;qI!$ˌGJtUa/k=p&tӄtl5nq9t]G3ecKV)^D^fUZ`s}}-w-|B]bV}~*ddg ڡ<)x݂v\6!mrAݺ9VZkրMAgIusUep+1l'wUnuk9hm4 t`މ̿H.ڤ!@h)!l.(:I|D8S$IK[Ȫs8A2E>f_m顾,pq0x "}0/qMyuƹ̂Ni_%xm[ɥ1Ny B!A+6qSm\0s9B p+PS7T8Oso/7eV=ߐwӳW)wk˴GF*E81Tz ڬ~+1#ACơ=`K ҷ<8iM & .|<ېg#{P?؄>tyw1zi#j; 'ϣ )û܇ ^Fڠ~n e's1.b@{qծʝSZԑZ8X-\W ɣ m:Ʌ#FG32~9nZtNھfej 0~Lk|7,5sf/;{;e1?XLS8dW+M[pGz; ")iU+Sp*լ”nRjqPvf)ǖ [5d*&R+lc?kTM[w0vP"H Xm!-Cm͉(hӨ4.J/܄,Pv/uȉ$Θ%~"U#T-J.pXPXn뼀Hd'gmFN9U#/Zrw Xnx]M`L^@S7 'B9.Ǥtᘇ_5Z/d I /lؤU6^6.qRlLk61O"r9@}2j$-]q.vXa^Lj]C$9!߿HO)p:Q ,p crkO=9%~ %xO-r;ؓR҂LM8 \WJmgjznCU0}qJN4"X@E`Z|gbk)p#mF];HzWݙ,0~Fk%e Ť\ 80X}E5r3zgph#}4TQqRrCM|^m`W-9ͽ$R3{E^bf.kl>>脡\/%jFrQ+x`H-]> &pa,E!x:t~'I_~ЁJ+ rǹ9rAKp"2q`CE&CZy/|f a㷀8\/)+9]38[ʑ^D+Ց:gYZ 4 4%% TLEMLEM.Lem_worddocument.tex7zXZִF! ~!]A-MՋhvG"uIBm5!އ N=kr˱q6G--ΐIV?1isHLkbk,Csb iVv@4C¨r-$rX >~3v6R.]h*Su%\&fAAb) yn3R `M% AgO0K2GZ(eD0 !VIᅓh7Wi~ y_$v4fHULi > 'TGYIK(MumJzCZEmUr8T/k[8 뒏4IaqR`1A"^_a}_bPy֒8m)SQh[h$P*Y#jUil#?.&q5^ V?&p?+ 5qXpXH݄[J$mOSͰ]<цK$3y2EO?Kuu@Otl˻@ӥ0]շ1<N|bV1KQ4tj\[$ 8#QRl5cfxn̘!,Cֵ*L;Y t6a_u KNk/]mQPHRG/? _uxJRbMVx|=W8jDjǔ"-i̷[ŸR=\Sf,1Xd/%jTxW˝b28IA^v7ăaOqZ+c&$M'# B UK:;¨GѢ.aE_-g+UÒu#%A.oGxz-pw(c;MNpFZ |ƯxR"VD5w%[0[щ廎}c:8o'ffOYНWL6掯mPˊ!ع&X3O,quX.N "o.Ѕ4:>9;8Ѿ6&_b[:cc<¾`(u/MF&j8Jy  bu#δ9O v|w?:~ >]f E>Grƨ| 8Qyeq F`CU~ K7NZR#%f@ 1fSvL%OZHrjKP< -cU]8ӝBs-:S]L{.C+pc*|i]tNԂ h%(W/ ŐUW-Fq[P#K.C4zX~ q8v!*2*8 {GQYoe8#ڜr<U&@OM1oK,`~K3 gJa+8TkZB5@1HY;G:c}$gE5R8.`B tGzO/ ^JT 'پ`viοc34{0 {F,*n6E' :ш1 pӉKeb+|qLz<ڈ SȐ"FZ=ƲޗTe(%3L:[ڹYS?kjO3zԊF4LkgMȃ^bұrP>\yc}@xLEa<}snq>$ε~+1 QOd:Va8lCkIiC_p"=Y #d` An `̕^x:"d $wICXOп Kx$TB46*U \&w Eu:CDB[6mQ|ݥ4'۳rm_Y?+I|`(v70G [WҾCݺo,e(d. BX}cq#:פ< 6to#~-S\Cϋ4q rY$`[Q| k-nzhK-Ze:F)m y7 YّWR5ۭau-^֝J71U@'_j~6'r9qt 8X%(ִ׳[P@xu Ll&0?;;V׻JD첬' d ~LD56ꟳ#3 x𯺢3M1/x\H(4n_B1sTX/JRrN?`' #(1+>'` ˚^CB oQ8k.=WsXlĞ/+D;mppJڋ̧KsC@z"I%\O>Kr\ZbVN6<0VfU ]0'H|{у$Yw>Q!C|iH!XeI̧kmd(s;IlIDotį՞]*(Or$ǣMᐧ60H<1Ja3X-%k>MiuK+:`ޞ[&tP]Olv   7% dLEMLEM.Lem_basic_classesdocument.tex7zXZִF! n*]A-MՋhvG"uIBm5!އ N=krUL?GCbyTZ)uZʦfdxIX(Yd;˿I8N-A<ޭ`i:#p`[J=Iatp&dL1f7y_Xw F uږF7ol+G8\܍dһIwcX}5 ?YyX i3.(9mגA;8*Ao-*u$ ~MKICGwׄm'Sprszre3u[lQk$b|mu4RCyLS>c@fG ;pHP95pn+a2<b]z jZ-e#% LEMLEM.Lem_numdocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=krv6L:T(x GM+H+ה@hKFm]O3j3v.4d mWXBՎ 8A7#xjJ?BLԲjSn_Cfs31~+hY&cs۞K3֙OKjZ nᵷX$dtM q(G|-:D p1$&f Z5 ~9. mtvfE;,R?tu"Y >AxS#i &9l/ߟ;OIe##`ki_~l15wLO JMg텕v ?߰?Vz,v%:od<0d5ƛ "VHUl(l-'^pBg9{. )̊c^0.PQ'nYCD!GA2ix#2;\xGh:UQA: 7jCA%,|Q[] S*iؐL)aEDaZ-sw(sr+*w F G,(]cu19Ց"IkJmorlڅ߿k-f<pi%W-ɲC}м`xx Q|zc~᭽0ICZ"9]Lr~&'Be K8d |PD4. 9)/ 8(y*_ð\뺽8#Rd +T2[lW 5Ρt6fnƃS_;ḱ91,raEI{+'K__T(dPUӡHsH=vVB $@]zYXk6RW0?R@} P-@V/lKJآWc T}L)檺븆&f 1kA쏋.+e3pHq+?Z9~Eq.f7\mGp-7P@wn~bBEg2)xjh3i~BHfmPYӥtIQnjIb)Ⱥ;OjݖeUBT2#HiEӣ(CC4g`>Mj]g;tU70`A%f::mmzoR>$$'5,v,<#%A j0ΰLlE\e=& FA'ȁBFE .߽F];A/SAK'}{NV_S/COU Ӗwj{3"ڶb QiӿrBPin7 FکRo +DT4;SK1^Z~'{G{!kq^)Xw?h d%'^f`. b`X&ii%mhJ aGa|A2:: J_'mh3 Jd<+x _'0 ?b@(T]GإN `s.Du]bg\|h'Zs3@feSZJnTտ'j$?dDݝғ6n^7nҼ:Ԏ _`5Q iw]9SگjWˡopW@NyXY4{Q&^ (d"nƈRC.h8b>D)22d1:`5A0H|\y/r>NghhyZa[z_|~4!|a =8h+Z!yr6h {p ))k]&J;ybx<*VoַC.q P^su2o} bOq@$E-ß7s[uBtJ&{+6k`0$SUL{Уvɥor;E7$+i'5f>.9F2S% chs ^oeįiT-`V'wib_SHR[>Z-qPp&샽$uU?&zN} e[5HeKf`֏. uF\*w9LcYtI#9#su[{Aw噀W-)ɏTl-4nq&\,a)A@5L- ..)]ԓU`B ÌB/|5ȯ*YU`TTӕ_2Aar Uc`XPEFqPSʭ;e 7^񓁍$Q&_C9ΝTmԴK3Xoٴp#J34eIPjS6;mNꢡ2>Dl2ENIw$S]hd%]!SǑ|Ж\5BNL @[޼ʬx(aXrҞU; vNCYe;ɉ$n"DކLƧdͤ'tI*KܗIT4,J)fY"]g/5Y>3AcBlćG{N%Œ (a^ITO q%W 2WyHVK%EqD3YvUYܬQ0(,{?Z&='HbI gTtr+BZ2&5rڄPNԎ<_&A_` /1M .z[m`DaKT7br㲻iL_[@漤G}cOފZEy'~/ vm&'r3#Qxz[Ы@i39q"J FV uF4;4B!}6o{ Ȗn;NCt}vUg}*=t]bб ))}Uxn@S{GX`rSϪ<&A@6 O!LvEXuUH\bCGƒ&k:"4dDM*_#VjרҀq6=2/2PWcHD"}^ͲM/":VAaSJ^d{t_#l"ec;|$^)eIڅenp#94h LgeΜaKd kMkygç̿D,`Ȯܛaou1|EU"sְ|G5*hEYW%=X07փf,t|1f!E2mw$Y_֍#RP֍+~\FՄـ/n v` 'gߪ!wj🳝ҼWhPewdT0~aY,D7yV\ޙpϸO)*6QbLHM$|MiʮTBBJiѽx ?kO!'ؕB[Kpk c@ɋgd \@U%jDQ̍W`TO eDzfLXAR؃ I HAӨ@Wh,oii&[hU30y:Ȫ5Rt`!GA30P‰l\3pI8ڒ8̒9=e!lymml<9(tE]w!zvsolU$b ֆ;*܆g A#=Z+/KW7kX'j1h"S_(W!r$ 3. fX7ɋ`$ A\I@2zœ񀒎 U-jK͹$8\Рo[/T o׭ dč~$lN3+`ۻ^+_k8eNnb[=DD/#uy!a~cA`W\4Fp̋X{M^mԻW˪B )<v|ebsqڽq(/ljۘe JBwzك~y@ɗV=xeB,wC¦T4s+XZN_ɰ6{ Jߔ\Ȩ4Hϋ>kyΞxcA*jb_|yC`/fwø5qsw OGy&XbWc!Ȋ)7Ru .g4(ڂzC˹r d6X6DGt6Tpmފ"X !#EhM[comR2 G w 'óvGefAq' D9 CLUWқ'QeB2ȁߜ(?F^ mu&Nٜ<9u\"?Cn`/]ʌ5fVؒ͞2,f'7I= tO9d(f3- 6ێL(?xr]]Y)as۪}yאhXmٲ:&Ut0".N9[>ۿɮ{p s2Rzˣ}S-KwUp]~z_4J[ JM%;% dWl&ߣt g؈(qU b4#<\QA$I{a?+3%q #ljdԝ6xv2RFS#G( E+)ut'/}mO:P'%)XԈ5G~I[SDFW6'\M_JT鑞'gV=EBv7:U]γ-#n8u%FgHɤV}cr,DxDd>Q#IBY6j-mm÷j3\3LP#GYToLaGRjFQE 2qpqX- }0xYw*Ccoȕ}Mp1P ѭv?z8ο6I @!T&LeNxQk=)3~rR#XgYZd뱙 DF8G~a^<"LZD^`R=*17&}"o5iÐ^JjH} Aq۱td$}Q@gk؞,Y|\QeP&0 m&ɦϞ@T,S&5x+g^2 y1XuiaiS @z(JPH,xUW  M IUs o >~gB9 z TkDr')Q{S2슲${TWSW[拾v_\j ꉹBY'Nas{(-j`5/t$?r^s~ tG>@lt4ӉNBӢ!Xb]K^K_mL45>B,CE4=CCnQN囲As#Ypc~pj^z dމ=9͡AC'X+׫0]dj} է1XZm4{_}XGM3p+oe)sE\hec7q|pҋ;Y<%- f7Kiv `h7pG*k Dh#{<1/# HZHGTᚑgyZ/nUV ^dw9xmc8 _PԺW'xdHޑ d.Sfv_Gj]뿱nj~ngNMg.*qshuT؃._o r%T{ p4kI@uzZF,5&n;cpzrܗ*xDq8>@e4h6^U_(nrhI|i 'u5$" z ;nz[~^r,$-g x:b.G< amv-+WIs+*9/G! ,, ;/\:;c۫tMw(ݝ־;jfBSI{OڊH"|quNbjxa5Js(|R6zy5(2}aiGVEH_;TOS1r#(~2)NΒU&*Nh汻w/m\ ߮%~:זnjPr+eLwjJҢ NN9UKnDr|C%=$Q$:7O}Gq&[c儕6oWD,~5"xQ콪uNPѓDLG*:( mҡ--a&ypi};ܜ`$| $t>fn/{Hu=>ugi䊞rr>1JRM{ 7 ph7e9ջK,&ʇ $* %i sC2!]I,98v[4{cQ5Լ @AM5nVOz0ܥg(7`D쪖&qH]Ԥ睱cvAYPAwR~]pc }2 6js ܢ_oOed#I!}@YCZ#6l\gN|Pc%i2h;>5|$Y( YA#.> NUW᥄?& UØs vm|Y r bxB?}vFPzS D?r#1?f=` Md87 ؃@`# 0?kR"Q k2]@"\?d`au-H ʙ6^hon0Ky"(B .Rz Fcs1G@ٛo&4QsЊtlPT?b/X"[XlG gOg|m.WTb<q<*>Zj_;_}{Ј#Ѳ+pd@fӫ "R` 3Zo)b ,`cU}\=KcKugF~‹3sGD^;G"=?SųM@Y(z {nJ_"̐EG5`X PZg%|GʲnVF+y]U5R Lf "5*/w bi&5:BNBosX-/N?E/ p,S(5L =e.-N>Nضe9>^lJod&hxtU d_6o1}"+),tMY-mt-] z%&A|46(&$f.^z'M 6tf,w|ʅۙ>4 gѩ+юПv|ir[5x3`6R=-Lv 윜3L!7"'91OҨAbGs c:hXPF{o\a&cU' "b:gjr/ qCxo ş s.I)/(0Lk ΢?ƋB/L9J l~v;`$,dvPv'M/zv|>$xJ.K8}Rz5ڷpñZ[GV߈c/ph@uXuRnr!ch/RNE`Tjd`#q&u tscN~$ 74EvTcMxȖqܦ5lY΍ېSK{hvG#fE2\퍥Hbg8[ eNTn_'!#V8:WkqrOwWUhCT&n@󨶸ZFQV97C K56 /^eTJNT/k,k^]nQu` gc|QbIC'HIGYX&@p'rG:@\4H+Jv>i{>E8z-1( rQn&7j䯲}`n+4#ZpL(?PHQkJf("*D& 8+=bFoMa&Β1rÏD \S+vəu?_\JӅ/rYXk;e ӳ͓d}/mTFGDUh1L[Gs7Ќ8Lε{8 ssGqrG#NI08Z"e>H7~<wĴHK,gsZsJM;\lg9~(ߠE%0)f 2JϩnGJ$I*$=zqM&qXD0)ܶ V[?n0d[X3(} N3Fa1Dz; GtE)3ѵf;xVV4GbbRJuX[Gvr\P^Ϛo!,aPd]Gn RMNnwhoqW7p 5r)o!Pl?'xCӍ*r м6֌/h1cGXEƆHe4^ lY}mǷʙDT (Y0UcjoͱkQc9bأRmDcoK? #"Fqp`[G^kײ` ÂBz?ޖU [(t3ӹQ#` "b m#Q~L(gF'#q7MIZC1 ̀:*dt3WIOM4r+"rdy!ʼnZVDqnB26%Z1MDEnpxYӀU<ʧvbn{QsHln25=fҶ[zb ς/jt[_tߦzӉ]L"@Q7@ŲJgYZ .-% LEMLEM.Lem_relationdocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=krPoaק1] Tw1)GYB!҈V l4zb$5 ^箓PؒQ$u/%lv?4 BWMk8X _rO$`ƪ9b5Ss^BZR֏aͅ?^h[a9/1J93ë\/胶a:1' ) v]?olEG]n]3[|ֿ@>i{ `oh0ҶOh->qwW!HɈp.q|{VٷQw=kr ӶߣJ(9TX5͉i)͒95,4V\=Wƛ8n#ɛMZwÅTJoQn4νd\tRzҏep&T \~{{4аM6Ku˸OHZrwr Y$Y^~F7+BgA^d 5|(0S." BG-Xx申&rBAG_r)R`7=Ԃķ'}fV캺qv BN?UoyXg] ʀh)}vG:>%1 ,$NJe#[H{ͅq6I] 7z߈EN۴%O2*m|Z]a::!NsMCfO- Y~SF4(Y]qi5!?lIy-@>Ftꟓ[q&۝kYIr#Ec3;7'iyLEzr1vKC2暢3% ,JUt{X?.OڑhMy*-]rY3 Q|b#mrgoxEu~~S-v\\I5ET]QeL+ڠD9w1X%ueU'e+s3,>o6~FuavkPs ; | 0f`2+iyO/'HwђmF8́: 7x0`ϐTh^{6i*ikؒrkd@-bP{c௦3F\94YLQvJYJ˒rބiD-iՄڮ8#O6jbw+)\&^DqgNA\@ޗ6*N'[%!ⷪ ޱ|3| _3^(8XsMEܰ{hTʾ?!^4B ʧ|pFEe}$ysW?Wk4ٌPi3iA83٭] z³%nXkKDg=[^:2'xü}NN֋p+2 fDI糗QSpIQz/ 0N`ɾdC)5v5 xE=5kZNL7GouaǼdmE&^!tde?ڡlA.24EXf)9SD*5=UliIW452ޤC -R>b5D. ߭H ,;_>Eɲft_ME1Ln}Zv<=“94 ܏+d<,b ga W8G %V2DaeL{c֔QU;eڡ!yJp> oL8QgBȗH)vzDI̔sU?xl BŨ/z"#]r}si}=d2&Mᢈ)b|`x#|k:_M|pT)Lm f;Zd{Fr !x8t0I o2 .`PXLD Hh݁| ZVS(P"R"3y*mhg0KHL^%g#ҋ,1^j W"HltIƁ&U(ON5.mpԈmXmO2" ry7gQtMQmxm)+ Z0_6eLj- ӵe [ZAnA]9=7z:ʄ6՚hne3fqF/&ߺb4=S=} :p, m6~ 7(0MGbR"CxM|Q W>vWMTy>z](fvLyV3TX훒}X*g4q7CTTR{T.lšz泆u}@񓪆2zWȐcm;e#:{enmbKafhL>Eg@XFƭۥxBh( v|'Mvg6[8♺jUe2؛/1jwNEIw`Lg7ivtǔ>^^+aYo2;h_'NW29߬iH˼H((H?;#z"~ɹ $--{j@k8 1c]Ծbkf -̪n ߎCDܕi5SCڣ#!VYHmurX $@\G 3 <&2NhYz<$ ty_itX̋8XLI)ˍhtqqL2q\xH!2HjĂDA7 ?,IOA9;:~>@ p@& ǭ叼o\hŻM]ţxMOx- E>J'?loϊ N]}+-?P$(&~1/_̀L35h;>6Kʚuh)%uGi[.f2 @|> لfS6gYZa#% LEMLEM.Lem_setdocument.tex7zXZִF! ?+]A-MՋhvG"uIBm5!އ N=kr4Xלdwj] ;xV.|l`9L,r9!*UPcHIP?0EΑg֙˂言3Gb-^Yal-(LOdf /_I܀%#1bC+eɪ̺Ρi6>$ &4' ,bjKRli9RQ#&o`A7#ya"l\f:X$-!e1[Thؓ4F@r?Áq4Rµku$> _ЄclHIizkN9r`C[T% )H!DU!hzgmZܭyDhPl#YsMx_3&I;*9*lqDKuG/HɳCdJ)(+KÖ.όN+~?eVkg늭tLYϷ0۷RL|@T;Q 0Fٖ͵G˿ #3ULITg:-hT(*\9W8Z NwKzS<]#h*Ic+M 8Ac@v7~gJfܬMDRInwXqa+phz!0f.j03 h~kյM:o,aZ eI#}.ө t<M{l`{]׿Ҭ^;L gg*;ҥ Ndgxͻ(%`LV?,_fh\iKxWl1|.\{*}]>;ƖPfc?A&40aޮۚkk`Ӛ!VdWP 4ӋgR%WV)S”Z6;4 / :b^[O2c~d c3"0ѵi)P<<iLkW+nZWu9/H-lupp+ޔz Gm7RŒ@HuOS)9ߓ,jj""RM,T~\})U+Ji'K tY %>4x8@,:;VEdzZem̜r n):O˳.EX R}~8N;|v"՗ڴpW)6v-շG펐u$'] MLj*?UŽAh7F^ a<ĸ"Ec9Ɔ\Rv\[䳤(mޑ1NCjd9gU^//~c_OgYZY0/2T\~HኢՃN}T᥸U "?T YS$Gso8鈸LC(a %A2RjV-Q Ppg.U):;)TZ-_Sm{$בdBA8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPaWo̮@vae^Dh/P$ SωYպċ|`ܓc@|X>_2^i ؏~'VeJǰ!eNfK~B}\ݚ@n ;Y,#*$TȘM'R1׊U[C\I5CP7[ۈf@C[3%^mUΞ-\}1/ƢZ%fP;N3y|IhBn- v¾ԀڊcI$o I k'<]gȍ!+F4<LC3sG΋$TiZ;6VIc\cQsU!n9 ^ޚKHRrCJwS飦K^h*\qk1E)NF"oq}ũ}b/-: {r8,ơ #:,?~2]Cv|*=Ugɣi0:e݌>[ d=PõGMRŗ 8eKBYMϼ`0\ ueJ|X~C IADs3Pµ;a7Cت"|Ʋ_B,+fMgҭ &6cY[Ϗ<$?tL?qu3KŶKjc@V [/hF%CBEOCb T螥ejk;pmCNua47`Ԙ9/`0mVŽRrhB ӟ -2gJFa.fo 1Ce߶$,*Dy3bH,*`fH|-D4V.ő:ܳbA~!E 璑 YWb !_;Kg pBN`}Ay'j]eY7A#F7\|u+* HC.A͂ CQaQj&c%R3rz{NZ@ R^)L۩,Ǟ0FߒQ~>+O='R8hK\!hxRi4Z-ՖMZg̀e+c?ʩa +J+NS7ڤPNf(ǟIFt3ڶ[#ǫ ڳjSkFDiwe|\EfDO<71N.Q2Y2X!6}NfGMř-:̅F]QZM !?EkکE Zr:N xՎoǼ);-32*)rDB'{l0uAӇRAT9.|<m4rl?C:-E+Le As$%]a/VlR%FT!h2+dm9``+=:PޒqaH]/ ٓ̔>VPtQc*d(Dmݶԧakuf?Q) uQ*TFu#2;Vl"4 ZLO#^ܫgDԾCU$]QzQbBټ{}-f&pPb{T< c#~A1VzocfqaAڅV6?.'&N9:C}.|-!ۍ:QЇL, UVI*F[ (x J/Y%7$lIA|㈐IDedxmTko[9ʚ~{K!a+{JoGzkҬ)j{`u8k)@R%/blܫO|B]6Ar}gR6|w+Dxzb)ú\'2ԥ@RVK1YۆܲZ5͝l8 K0r8aocL1n nQ ('Ӯ|~ـ{a^{NW-qKkF["[-JA%W¿-z$885'+"ȶfW= FDӋ@0tsx ԨvwX̨4ftK[X^¥d< ^#gZD*<>aaTF1.Ďһ~f]k<qU\t ?VROU$pX;%L.q0˟8,M1%o* n}KiuѸ"q*"TJ+=xRFo`|KTӜzc^3[xRZ5?K検PR"@S<ր„)8q8Jn:pC T/?W7.< {N8:>Zc)IMWnG6>4<˳uqlrJr<ڲҐO!lzф".)I>li/9lJX|VdGvcOK۞뎁2k_K%At>]rNq}BtJrZγDwbi9"ftB}n}T;F^i4^B!Cp=yg]Ǟ%?$rIH Io9D@N)S!0ZTp@j> 5针>l EЕsZ>,b/Aτc0ĦF- eſf3׍% T?۪6gX(^"2B pf.:q9 LMbiwqt,ؕG3iٳw r+ze=žQ)ڕ)JBGEԛ7*Qjt )iPU{!ܺv3YLkbA%a%)/*@D_]=lApM`O1xDCp'fdr1 bD jUJJ,pzH6qIWew^3촵Z~i˝OZ.p_zc0E^ƍ*YG`KaECk|;ь~vN7N7ҫhx=v`KE%7FQƴkFS\/Onʿ-)} Y™\mtdJ@X^0> } Fz(W\jD+ 7)/,so@\kБ|l3Z聤qGW}^u-U8HD!([Y_ނe0X5̒"Z)fQ!+ ¨gfEE55,/߅$^ KP "嚮Ř`| O-&ϗ߂ 4_ i}fW!ZPyvڎ:m\&_3A\rm"8=gtl5"P!թ \\uZbZC ćW.Pc\g'%a,&Gfu jKrjw|:H/0DFwXth `IVvfE%O C^;o$ҚZkϸwzbݑRi.I㕩+!F).[oeTHP`vl(Ib/;:AP ECnv\$F-L9zTe]4\&_XJT_(H#%0qO!(\q;ƌ*eE Z tZLeSh ;&DS}}":\Jᛉ?Lߏq'Ʊ[.)å>8F!7T=Bc@4voN Bڟ\43e`E\pJۻDfDW{]O5GWJY`^oo s@JL59z5C8'|liEKi81B©3jiʧO6!qWspXrIs5~ܐ]M,-56X/|~Ly;OwYߵHüJ u$jh\HUf;5=pz$93gl%JЌE?VYAC =itA1sO9́́_3SgW589Hݓ =T !Օ%@E6[$DOZbg ?<WU^jW'+R%lZlobSާmDFy[5M9 2C-6dsF| $Һ˶3=߀b aG40.%*J !)AxpFd D?8)iig{[O%U,N]L I@qr JMoНw$Ih?A-Ţ)Z^-U.au+H-+#igΓݨ(jMβfN&Lb@Q|e[+7b'c{ȌZKT*=bG~~W?sޣo9_ᆪƭnT.43pN!w#XA܂?#B 1BRX_:d2AӊI[X?znVPљ=s3;*ͬ&eN:8?V+Nf Q` qEXmkYfsO Oܠ?O7.dh m1bqӟD O3vjL~`i7tSixh[INjpoQDW--A:3dIoП;[ɿ;:6v0 cn M6ɀC!6֗$S>vhL#cbZv/bX5|(uȶ,LT(u7@)'W"2Iת02HQ` ݞ8&BkMowI}l3O5*% * ( }wdͅ@À=5k֖>d6BȿqZj0O*1U2'HUm\$fg;@ J?ܯyܳYSG-ж<++g;+A@ExvgO[Sqb9iLۓ5ij6 .}&iP>NqJdɲ\Cn0*dT7u*Z_oH Щ?Jݔ NN }aJ\f"J iP1.p>y ?}\YN߭6pRڀLaKBz2Q`#cډq7ƭ0":"ȬOMT%LGÈ_fр9Il']e־&Fyi5I;O:(0 R {H*;rW82Eam4ɯ$! {r$E"D-٦Auxvaf>[xuЎ`"~Lzrsc`eYfrXQvCE1`m oDQJGNo]F|DA:ht` wg*>2dM%{Vzj o規;g^0}v#9sD;bYquH.Jh#)JDgSw8 `UֻȇpX' `'Jm/.>v/w50kL|6~1hz j8 Mj'e'efyDwci;0B FkT=S/&9+|m.HOwmV o1Dr\E0>Y6(l'`>['f]ڻBJ|!%1!9CWC5@+AY,Z- !Gfy ۸yp¥HeA8>t-Lq\ifr FYASXcqaoӪQMIrTHC`~3\ѥ6Ok|D-X^v͘W@WsFP[c b뗵3 W}fs[bbRbGo.z0M:tACzSx'm n3r#n G[KYo%ɾ՛!!= Td ax&,4InKI5J[l]؃L'MD0˥ RʁKQ|h.q]SNEK1w[Yׂ Q'N{)N uh5TAmB* |܍N}N)zfpMS "6-VYuLn.YE?&K.w-L|L" 0i/%`<+eXU]S,PRNi)kLǹ1SCm~huLhW,Ӭ`,vr:tNpޕ'·vjX|- &Ƌ&b54pg2;/ )'(}:x*FB=I!Qh3+R)Y>Oq-sM`(B-SO#:;Ev%kIwA0X<"sǻvObO?%{߲:r(\x ')DaY0\Qчm|Tx Tk ShT=p5'2u IB<0Vξ_e1[g797Bo8U{/ 2!45+ϩ83s}D2xؽRu`(1 /З? ^m!\Z)FBg$F@;^pG?7,&i j =ݓ ; + |}_FLr|"} %^ǎ)sܑ*? DY\2 S.LҢ( YɲN&8qaצ^ft#ל2AnC2͂ i$|URA7& U:!Ȱ [a= [=v1v0E003ϑ(٩۶k-CKV'P7P/w5piy ;r''9x"D(g5KRMĹ-g-~n.~1麛>:[@D W9`ET4-ہSxỵ~%S}m??õ3Y9@OHulK~qv9ro`SqhE0snKHRV.wzNf{[cj%H K&!|&C9q 9;!{`rDr$HgqQ,,rUΨ޿Rl¢*2F32Z]wa2Ox'eD [byZ7,7+[6AqXhfx $bmA:42Va3~/Z^5K0]ٞnG=E>lw^[CD-T D? D#IPP3[>EsTQ(ujOU?p$]duzQ0ɀ·Ym3IN Iňt!WY PӜ4r2")I=Dσ%IDW }¨XH'{x $6H 5QM=ֹcʗx yqr\'W~Hjo4Η'Ddd ьT?ae :!6No &7I:1̋BaN:m& LQp8WȐtPBODà %d7az0ɩ!{gt}$h5hvr,m*83i~4{an(s}΋eZ<;a)k,/͞<u ]{:s.. $(0j/ig†הp@\SͿf\?Xi^{VKH)vOEʤ`|^K֮h-kMuBLXf'KmĩB3TخDNI|Տ@7:9#l1^5e uxji6Ł&o5?gOVY|+"9`I5FPƂI%PU{Wz>M4'ԄMi8Y>}ݠq{̸H TeP6E3e5j\*\}Z ZHMLޗ 2fcX+dK@%)hJ4 {Y! }p1Lalq4B*E U]bGpp.;6scÛmy8ٺޙ#^G;a 2 &9oHSC5P%7W\Ϧi Ãu쁞Nd%4uhuW`KTw߂ ^rZêvnۮ.ӰSr]CڠkI:RRN[Xd{rF  M4J4X_^є:/ϭجQzJ)PoI=> \2hIO`^AjsD@jc15}cS8< j5b MTDžT&& Ic Ư9wqDp7< kw6kF@1RA±]rwclL -v#Z0ַj4.xw2v͞%mތ#'!$l$+䔸ӊ4Ϟĉ? z-c2TRs)H"qF?y*WحH FFn@+B&d̜BfrnDIo0/a-m,7;yDZ[| 0fH;ޕsxp&jP;Eڐl߱9^>ϭEb~5Q+v 2yӴ'za1C mWcvy;_7gsj i_^~@Jܾvyyo>xP,[OUz(j TﳦDbZ["߽RƇϺ˃ߖ^i qn;rjNl_x3Y?Z L) Ώb,#0I!$KڳXȒ0,53tUB\_#9}.Up~Bz-Yqnk$ ژQŭ!OV5)j:KngџaZ}))K5g9\Mh{J=-0 Akme.P5*|2=<l;j_{fCP ..*ZgVцKO!Gr 3W<]Јqa,niy *.#+!-\pϕ?[Mx m!۩d]ґkI)2|3Pd{cuѶZ;/5A/12n57{"zpXY3_2mܰYVU}jrbNST-]]/J,03ש8})=Z.gȾL|"T`D+_-GS^Ll`\"P  +p$n!?^eM:@>p5 *K:s, 3&%PFIyK9{˦5ʖUfSVw?xNM2,tJA*7q0 A}9K5zQzuxU& ԔiȞ[q`3՛]@˃2bսX"xf-|ul -1ߏ7 տaq_,::@I#% 1¹kULeBԻ73zy"JRq.5?e,z(Ceyi0p֓*b^q]aٯG$|24z"[B4+.MY‰dTa56MFr}J&q0~8䓩AWCxRVڷ}qn/O}q>rD@ i{$QQI"@U^+*U"z^ F(g A_ "<,ݷ ~8(:; s?]Ss(:5&C1b>HfqܡܑJ ,u.Yqg%Dgg#8QN͕CAŠX@_5 SpBh{a GZyKXqGx EZHZjQC' \n)DTNrZ6#(/?.IH<;Hl|5_'jNu1%Q5&kXYxBTyvX(#yr 4C' 'F!ͯ ^~nVc&R=nT"A6šAJ$}#^1:)IqjECtCЋ:U w sD/۟n}դfbZ8_=:t* H}SLփ~>R-^PV#o9(óa!ya3v@,(s냧L~Idpw$LڑTnp+xb:e2#;tx%[&Qi`}eAAM#3O!7Q`'U}{>A;D +&5 H2$*AnMj4?5׺NJOv:f SC#_f%y\R^T8 d<ݏsB@R-rX~׈#[ov- 㗮DynY$&n~U*sM ]S4>(,Q-mBPSJyfyt /o5 Z$s~J9m%'XHEnJzp ۲`+In)Lh%."g.utZό%g0j^n..9l_J4L(s2| -H &N_K>o儗a= 7mD]J^3j7y0G.axFEGΈ_{oY N;gfsP !D^ ~5jOtl/&c],\m:C}t+5z+o9Ÿ!g:+gɡѽ-0HRλ`jkҩvYYT~5\]PTY蜪"]Q_α}J;5(HՇ&IM&/Tx`9 Z0.ň- gl٢s*4P4w"HW7CFfu,M"jVr`|[@bfu oNq YSڄYOYݒ@MlGEq47#19F >Hp0CY"x_AnӐ lؖ\R_a BLy0#6eVN{o(^{z; %쵲ϥD%Q xc~M(\/g[w>[OFVVU=W hCd{[Bu?3ԣ5 {eW}GQp̺uC 6Q@)2DMᵛUwYp0G2$*ju,T 򆡾}˝uRPI̟/ ܸ3tBsrE @D>j+}ygh6$#g%Ka_^),^J1"MdǺk&C3_bqv' rkb xAW5AR*d#/5\ǫa!\s):p@%j \Oo;H!}}R UJ V#H|Ю!k`򕡲j!l",#?뷲9& ;=FUd}D=~Mqi=Edm0J֑{*% N}$-g7Qh9mjUsEHn 3/ТHj蘤a0 ~5":cC;3Z|miev8yN<ļOg 2u!Y$a 0x5W:}N;OUP"b. % WDz҈DĢbrEMXm:LZ9i6T1o"C* hRJ(=JcE3"Vod&5$ft?(QEdVCslz7*naaHapE+շ甓, M^֪w?i2w2m_2nᨋhQ!QG`L u|?bI|=8lH}4*wF:%]s9?a:4l4qeQx'L2SDc?T#iN)hMhO39?܊a8%WWϡ4`;إG"I힇ak6>SW 8& ?_Knmؔ$ %q3h7="^Nʆ*;pؕ79Æ>+U~1ti}-(l;Zq&xEaCf;Ƌ1 ,SmsXYOڝ(3ْ/>_kt.)x-Qvqo-`G ijxH Hڧ]u7P2XLHM@Xvq{&$qV/2Խa:D`jv{H[yLoDo˞?Up&f)b@pknZ)h/gf1V9 D$u}J'$B?W Y⩭ |"1=BE1eLhW'Ȯ% )IV,¤ppFے7<}=]h'Mpt䀰l%vz~'RώL?_2qd֥k :%CDZH€DuswwZMYqo0c E~ѥv4;Z(]y(]tlyPnNEKc ࡥNf5dښYrCYgĬk$jp=5 *%SB)ٗZ+Cd%?և,BgR&.6x]qsl^`X //+|2;F<*Ҋ5nO]3Cc"YlCz@MHn\'PRi^:pO9 gLy"sG%d$nz~sZ]RBUPEB:so_%PIכAmd1XthKWp0VSW:ln z`r"ze A k}8{Bw5A]$ή,'LNyK)sM JnA6ąiJ^˺M"@ c]]46 ? =^,:W$(spźFIVހ@ȗ$/9~E? _\}mqha(bz]9Gͪ)q&q-;xm)Q *,’䱆 mA=s}^)G3} 5O}h hw%|`!1dɍ(U(MF6: oyW[,^E j^W mAә֛߱07ψ!/D⋹4'V=A|VV56lZO>,E-<#ʹo&zQp [V=IS j#gqzX׸FtK$c9𯿸+E>_ ;fdrF %p'tѷ*W.JXش^GH٧J2oqtܬ⎤MCtm9zeuoTմEW=m6 L(1K_s^477E;M B $uϓ }uDw.ߊ$ 9ѱCľ:$-[K/$qSkmk.d1| 7bt`F ; 7TƋ?7cZ HQ"$[TsY,wT!^ 6ַ _ZCP$i8g-[-)ۓ3]ClaB?1c~D/%4~@A`yZn+>%Ld҈IiuS/ievZ!ފbîuQE!`B8ƈ#-L$ WN~\g8Fk b)#mb08qxN %?( D,1LeATƶ.'?׸pG= [RW2ŗhQTs1胏7,t b`KOSg%UVȾ_`=!Q ^Pi:{b`XWr:J"~*[2+ Ws9a B3*L0&ko0B.o]8yaI1qH*.\wȻzUl:[#H0X\>O(uL ~&_)Ci $ֲ[[+3@6# n%vJ叝;ۼQȈiU՗+;7(͍j/N(Ai)bi3t/DX doXc4#alM\J\;Mw`sX$IZOWX1֔~`ejMITw ;nҧxxiy04c؋Sby{Fؐy \IcRJ j ~v\R)$Ƶ7=D9ܮ"栧dKds= , #gd pS_ D#3F)iw1jS;@ ȣy<3UF빁X~_L]dO IL8bV u &F!ta= k=&GW{"!?@lD_ "j7Cg6voٿa;_3eH c:Fq[쎷tƋ8DYJ3'qtr\ٌ6 U%7D ^ΒT7FaEGQ"yx$v]ӚiM<2e#.;GbTǷe]|v6Ex ɔb~1,LNrnւ2ZwɱfM0vj w4m 7Wg̯QȞA(Q*UQ,EU N,KO\҄ԃ\.纮j9!t |?<%+\'[ũ k($u,$ϰ!MϵgQSj;QZ4`_"I aֿ]VF&;_sjvK2n="͵DLaأ'v XB ()d|ˣ. "9mـc gAMqXrl4dP׶;&2gM=D*ƞԝP/)92N}۶m)#2D 6yQ߾;yphq jQ9/OLm]D:.)ar(i8Oћ֏ l ِ\'r LR[L̏*Ov¨uE&%˳3~,zEs{ռA|Yx^=:=<9=cqʼuS~(z r@ÉbVw9Y<$hEWjZpu_Igz~ԽA<O\0b ].Z~SLZG-Knm{8hQ&

c'JZh0qPe$HۃSQ @sPd-'?x8bJH& "N~@W dTPc)">-fbWpGu`Ʒ<^Q\g|v2}֣S,Rw WfJ<q{͗ :U2P]!gwֱ&g@ -1% Z\wԄ+lJ'<IhhX Ԃ,:"2ՌuÉAtj5P9NGW(hS{ug]D~3ESnp F?n?FJ>ǚw.HykUo\&zF ʶz.:-OuLlzHM:yC6m lq}bF*ɗ}al!snh۴mXBUhqhA#.E7(/Ao#ZVNw_r<ܱ\*éaWH2|/1 o.G8p0"9nZXnܠ&j``4EeSO!1HD)W&ckʼnPnMnƊЧDɦv1+ˎ_F2V !/m*3PY( %1i@u=0)7G?ʋGL,jMf~pYkpʴ/ <纴+a_Adc"0KdP)> K!Fe1\@gRYe+VzjTC}AS Q~nϲ7z$aris?iL#?I#w/Bb%ѡC7:T=mxqpXCIp1PEKxtsYPF9ⵛ)'ΆDh_\b`1},@"- ;}=45W=zS:޷ Z)읺,%/͈NՊC1/08^Jvt(tD[1I S7R K\|_֊Z?dwɸ{)cqMzEւ:aIS@Y. N :t泐pQ$O]}f}gAKj( 0a }+d:ڢԜUgBU;{]9\w)\9 ~09R_;˄W:Oj |i,zښKsڥbRj[?[GvĪ5Ǽy`OwbEޱqSb#rjrD?e|)p[;IȔRn냮[=`IxNg3%x}\YY”3nRg=FIfN2խ)䡄 rhw`( !C: J1k˄8zPr6!I=毾܄gs,v)nKLǶbԿ^&& KWnFR̒#Rޤ|v5v[4=e ^8G ._>^ xIDD <%nm&2crw9-XsPՉq\̄{&R8{VmsEۼʄ&v:Z̼]+ig*ʻ22h+`FNVYq9 ,f_|x`X}hx3F{H70@[ҜI\@T%k G{.0Npw*1B`+OJY-&Teyu]`>^{~щȷ[Q$YӢ8GLut^@d[#\<ݘQc6.,&d1a#}^ήT e aPjxJrc+8Sgs]m,_A̮w7X|i폼XK!!Fc͂f]?sÉx)xKqUB ̶?ƴd=d8ߕq1KxYoe -S6"E-Sv Pwt5C -$%V]XS bDz;F d; |=ɸEA[QG(h㎯ r7}++)WMZz*jݍNԏmz!4_ ߯ kO.E(Z^k<[IHc0cp3柟§{nÏ`zWhK&orHKߝY>_zAB3԰'(%zpP`^)6. ,d U!+0$KnVY VJN#sP.<ҕw?¹\m\=Kޕ#Ax*XKƒK@Gu yOȑ,HR&ڨ27#_Ds_#_^D+R'ag{{ L&dzx갰r?]RH(\c[4OlZe,2J5D-`IYcJ2XEZ>> IGK ޲*Lߣ'G{$yv]Y]R6kLq<]$#^+צN- IowVQ5UۃIƺt4(ml&Caj<.ĺo~?dԍ٠7xB\(\qpuFވ&85jQ7unLury|ys҄5八Uml.lRy;m<4{ahM#;7?ÅpY&ZARsKu*#xyf؊aߡa[Pu9TI,jШOTVN+rt`IJCӦ$d4*WTPo̙EN3G #DNag57ʨbh$ebiŜRhEpdz0^-剉v6^,m 뭍"D(VUPvjmLa[}0mAyDF7uQ_/Kdq0u?R&e,L-Z$ۛ&gWIsm'QH,duxcħGgu~БϼZIKu~50"8p/2zZ k.ڊkJqJr^2xȽN-^dF(v w)H;ku|5SUH0YNC816_ \lL'qH <䦮5MOSvfq+aWBN3T- $tᆏGo„" R*|cogkW|/GV@q>v0c K)}mG^s"l1pypȽ!Mqɽ#TȲx$1Dz\m%i__7^]$*V>Vpt`($͕?8T?`>YVnb b#y5@45ز+Je3ű,6= 3aoxR}@ ̱QVǣrXd5LZ4Em\w~ `}UKCtdxʠc_e$C?ld^CuaػV߬7e-eDx %'D1z-'ڮ8 ::+豙E<ާba&%H+=xG^d@3Mu齶ƈ/:&em4 5d3JXYNwWn[LKݥFvX x} =c#K gEі lW4̜ [=WLAr^)pcQ'`)hu6nH8Q",NqRw)/- D!"d?'틽hyb0VçTxI,E3FviyyG3KqS7忾{}ZZuVPn&3-`讔gWjM Rɚgt2јZRGD;izCv(HM{ MS8a y&01*v ٸb[[T}ݗKў;q%Ya:Ҍ/8^^?xoR.nƨ3𢐡 ^{:ivۂbqꢌN0`@Q[}Nj#* j&n [mc=Ihҳc-(V|BJ03!Glz y'-9{8!o޾JXܸ >mKUJJ~e#!J&'UnxbAa~ '5GbJ誗>eG5Υ3k󰃎ڒ"-\8,^oI Y1̪ؒ +Ɏ̷?ʹ53pt@|^%ƾ,>bGs`&<qAGB7dvN%yR+xO2cQqNɉ3@|pJHmbKj1dwc 9f.λZl]9WW(ØG|ڦQY^gs  9,Wdžk"8[s(ng)fhP'PJjz^~M]ضa;٣ܖfIsxEk&ځ#G :4'lrw 1uAO/I'yC482PZ$ ?+jO:FkaIi+2/[\\q$ZtA;3b{C<}s0Ėle! V|HrSl^ө^7pz] Vj x;dj-q߲3*H`sfÉ/Zb*i&JVz׼ixG-d|^$ANt-Iw5M:t'g'"Ufs176R4:0c-f%6ri`V2Fg+ ld24B[)3](@L.ytrFCSubʭrO͵k9E4,I .*'# QJj5(θx"sc'Q_BT 3DylY#OF]! 9ӑ*)끇0+zb}uDά$5;*9U'w5w>q;#[^yWW1]K?+ Q,uj]K{xy!SNTrVG}čQ߲W8|}"%dsof6pÑr=*ԡ"ZզJ3Q;]m4OHT~3Vw$zP)T;nfIC溪gSl} 1H3 \N2!/6E:2LjM= VlAZYtN3gDve&o'ZrӉ9So e[6f8KRеA D sg *cKE di!Fvc'gPd&;hf~+=Oq1<#a.4>h=voo=9߲4m TW)WKvT1 N8NYB|,k-K)mFDKț0 a p;N:e'Ñt)+)ϞٖYbXk0!:}I *yxe}7BOrEH^Lln.ŀgߡ C &PZԶ)kz%eC93PW9ARԨzb'_"x6/_!ݺ|DS0n]eIڢrg G)&mՕwEߊ, h}=w2w޺2 Quk\jLs5x{ݦFCu,y9bO 7$? J8GpOpUDVncd3W o).`u^"tcvGY?ίotE{>jbǂ|h!OEJxf,6:P{54RC( fh+lh)[)MIz-bġK*pwqYSuݷ 9B9♓n߮q\B^b17X6Qm`Ed6 A h\R*돐ZDN5ڨB@$Nݱ3_nǶ&;"zʜnU8Q,Wak:A\07pX37kj3Xͨ}@e9o>jDIXU.klш۸:wpW *MLSn')Gm Sz-^Y8z.Qe_$#aX#œ })J"^B|)*0`6YA(yZMCs "pIJe_w88i\Jr 8ؠDK/*kmXxdXm^/7S_m\!n=j:9V^I;L4{> =̊zF3q   A YOlOJ٘,"I$Д?V˄&}Р36vxb*q]`%G fs#KVWnMi+"23z(to_D*ΎR(h|)CHO &FL w|>L\Nbr[vocU(QkZrsò^G\cYSg ;֩4YXQuԯLޑ_%$v̍wWV/pP.{w6䘻TxGys4~qג]Ey0e#ij9At~pd^5}zӾ\  C.UBR|ӵ3oF/?ǗG^`8,ŕ XiLYg7bL3 rEbp$X%wLk; e^Jb MJj^K}o7%?9 λݕa+rC*6u*p'+Ԧ-E:cg[yNH7%.c`Mދ|4:Z/Ebp洫h߿~YRg6zeN96#|;QAҕz5wwy0F G ]6Li%H]K*X )+Y!=&JP "L\/Ԩ79/)rtt{} j 6@^w!ȅ] K+R)%(D hIh `h'r"Td5֭6o!:#~ ++q?ና";X}" ɒZݼ\.zn-ʹ]]5;/Ս[Ѻ?b2eg_}fł)Or9J#\]@8}S>nj #LlrI4l-r06o^Tt|6fuGz32kzDBĞylz9¾sfn&jo҉]`).{dMH е xSgiTt<)0!g9zݔltI, 6zj@cEz.-:'=g Zia<#7OY!d2h ⸨FRi;@6Gqe$D*`T̑LJ7vXm=}v.IWyÌΧ\9|׽ȵJȗS" 7'Ӽ5-eJeR1zG?j`*qm읂Wsx[sCR*qRzS&1VbZO/c)z靏mjޔ_%{gù"nyU[B>ޘIaCfR\[.9ǡQsiWA9l7X;in#9c A^>AL+5YsO f8{dW ayMWgx0Wi=lcBu6v-JK'>*砡'cю%":d-'EP]mRbY)C+*@/(ӝ[)Pֵ}$Q9Oea+OCIA pT+ic9UQ>$_,mpm֕6yJA)ibKĺh/ZCJThApr]riy'%ad/HoBZ$r(8+"1'ܟ9X(E#Q}sa7G̷WAqWyW Px-d44̯hQm %fQVLQ6<\dx>Ъ؆p*i$%Mv [7 6uT7ueR*'j"u9XdjFuw 8I̽Gc #FאoGRzR@}=-8N RRڕQү=u!-%%ұy=ZЊ>H37-,7*0 ?4ȶo^{;Ѳ[) UJ}SA4D!aն KM_wk _5фȍb/ }^嚟g!< 錒k$- cf 6| -@sܸ3cz]%ק\HU6L`o:Y=ιd-$t/ vFPp\# $HƄu&L>>?4|Mm"],F7%&SP@K_$py5*Հ[}a>_05ƔCY2۴Ho&4VeYz)(4EgK- s O !%ICߺ1Y'}{ Zʁ#fPF\ 1)5U@UmɀT2we+`J㦻2sF SN@I\bwAQ7ʺ\%\l^;MB:+ Ӻ=9p\zn+G\ޒwd#^}m8oO xR)8+֓)+7sD;zձS@l50$) 7;6b Jum!UDEz J갉x)R-QR[Lԙ>Qw-G|][s$,D9ֺ!ޝG9X~^GP }k z;a-UN͚ m[َ"v# 3wrI!)+~ӓE?YCß7Sy_4r7eJjepm_ZηpY[lYV4"~,кl;p)V jǽ0LhitkGDJ'員sv4-jq` [W/4oFV:eC%y#on7.߳~3~0710{C^ĠV 5郙in(gv̻ ]QS,4)Yf U-Ӥ=c&_Cӱ e{]d%A8Fy9 ּHMlkL/FuȌq7ʅDb*J-m}ҥwvyDcnpo&%7_2{0  rJ->'Tݷ'RJH}_0P]"1Jj ]ɢmGsgCqm{~ƔmtO)1KHsIsLyszfLn?=n\+zI$aüb 똪h@["(O"~)cJ6?ThϓLkk˼fQ1]c߳i"m1òq^*RH(:"Ϩޯ{|vWy P繍7oLŠw Tt/j#Wl).lGPv%W[o4'?:'>mt?z=W&+F&zE5kDU\DwC%}nib[S/d[̦ ) #\4~}53 c2Bcx.x6z`[;#+JMaR-EIY_)U~~.\qZ\fֽ6q, ~!4<8sW {6[ W<Y> $촜 .JeW2Om{9W; @c8ϑRD"-cS1*4o]5D'l f(H = e!TyN\hi1& ިFS&]m]`y݈JJgKoi횇Ι2v YK-OB;eg>}PuաvdQf4i4EtcK-f_E\kfyN Mja3A !}Rq^0K>nDyx-rngZlTV>Wx[ayԪ0BD 5Z."?z T_Z`B9b[ϰ遙Z1qcb+3NGTG\JmfNd\ -`!n1R5vr~S0mKV!Gߙc I3uɚ4aKs7XX8gqK8djgQKϡFL ;>W yEZTҹP˂+udKxPPTڤ'k=pXYO(nEHbaI,g0^1mF%.K/.* gT6@uyK}ڨ% 0>qVŏPC Gy-wJAiijJ cJszSgJ5 Ku2 ``4F E3(xjↅ [ ~6*Aܬj!CzN>>,Eu<",Q߱a̒@r[º1RِV+k _##!Z+ $EZ#j1 *?!*3}`EP/W'XP0eb=qn}Q6ƸĬĸ`{HO'8h5uAY,4Ÿɘc8N=ajc:Y.itqƳ+!Rh& /q1]S.Ef<T~N(8_=mI8D3nbIrtKn~h9G*< :Q$\^/sr@E$L &N63 F;<\T`c'ؿ} ow\W)i1Cn#7Ct^pb<軬6zB]AAs$]f,u8Ì(?q϶BLm:,tatnm- n$wQj18G0i[en8\q9_//j Fr ր>·EʷZ+'xNw#>,q]ڳ!7z$[> v]ۍm;;wX <U"cpx%]_␂_,7lLV:2yylژ$Bl%/#?:}Nvt l/,L{Z_LTR㊱/p9| px,f+2/XI"h"t%H2$'!3V: Mqɱ_kR5ճY( *_:;{6t KTqu2 9=)7UM!փhP^ѺW83/% [}i^1t Z$3rؔd?P{CJ5eh}+ɇ!PƊX!ኃYkͤ{2^XGYm*+#R_oQkJ5,^a"iWHfl6>mt %nGmЂGFOʡY?~Bnc(bu##2R` *ˬ+KI_ !׺L8WI"BCDtaPW73PutmSy<,B+ޭJC="ac/zL윂.JDv-~{f7wk-AgȂHήl OWbU7L{&>i}?Ӑ`^ FME`wz4ͻ m4![ Xo2#DE7(]\c[\>V ^aq(ǦzUl. Z:H `ntTKzW/[n ^_MjY )JdJo`D rF^\Rá-ywC3PՋvk^B58N:p4.LUQgcȈ?Jz 2!$A`>uR?]!+Q[E.LfW g]j9P9nfC\gɽrCo _m b-3`8 ޣzfpjzy )$5;ohxыE8A'^mӶgEo:sI%`::zK0×&:W Y`SaذD /t-FOE=KQI>x✉tEu3\y;Xf?q D RAEȦ{e.'JQqFs2k5/ d׮@E t0c+.ָnhO-C,KQA2 E9.]Xj,MSC7,nuzA(HCך48bq7CG@AZfQ>NXCs#,5@` a==Rߌ=k/weTTmgLƏAO%: yղ5,e;߹E CKFߚ`$oEeji/6H4+43i:H8M>\]պ-zB>o# ͒Y Fj~ZAԡB4>(6Oޤ Xt=R#C|iDX b[`Z̞})7VŹ=v1!@5 M(E gEyL7ۂ-y /E |8cC\(SC?unu?A|IHų(5C/!HGɭ>m7V"i6q|"%X]JUC%Ј DO|Ы\;dT_#FI<1#3Hf˛h֩Pg5Q@K<*Kӑh OԝrEN5q1D}e;%mZ„)eum} SXUq7${Y 2!?¥{նeI ƨ*cxwjdN yUm;*fej1T_W|aqXksfWh^5 RHvs*kGZ J&XNx 9}RW}{GQxE`9AtSȁ=#]cRNJ_Qdi7qu'QӐԛ@R.Q_.99YLM/3$q5\CQ{F0ȚXs*'؄,V+^Cmؒ/k03xH8-&9s+}8⫯9*Zn^dOX(};O&Pvp8ax|Hun]R|uCY2McMm֮\sB.8;IW_]cKiQPvb5#R| e.#ů#h+sX\x7JMomEټ"Q# Sȏp"M+Ed<5T-{pa$ HY] Fmu(Ai|rq %X)}2>.z4 U+t(+wxβ7G'%<\v?B/@9DjR4rhN5XA K*9JLhxZ'MF}XǦv h ߻.I':dܬ.%}-c``@]btektjv~o鬇nnmLiT0fUs=`P{ںlɖD Nd O{|J*? }%d < ݎ3g϶FvuRVUI4P'x(h@v(evK(ayίqkAydXE=38.hL& %(nO߯ݝ\쉩̊<ɉV K O y.[憫<u!8NqAdIo#J%@ݫx!8_Ox=`Au؈KaRʣHcϭ"j(H:Ò #?2oڵ@1v\,w%H2*0Tx\X=zv0ZuZ]Xbx+@>K6m6d=Vo&a.d^l[?9CrNiN8jȇ^{(E׉Ijec5YU1E1fr8eYdgoxZ֒?2#͚0S`H)õ4WHU{ LYɢ!eр _lذӼ綃 ċfc0T<3-Q_ 6׆xmȺ騋f+'CS~Nh%36l #k;8b9# I[ZH ۭ= >`xJ[!usH^}n| ׏B̛/ZKLE06, #ce4{-] hA[XÌ6/[ |M mD'!=ޟANO\D!ȐWTfFDt"%/0+&Uݘ\O<4ۥ˙?_@`=N82)?,PR^W9d-7 9yK, N(Ubjh262O)2AHRB8T1Q <8e ~9B7dH=?yYAH7R+6B# (RuouכzV.ogZ]|:"BCœ;BȥZ2; v%C ^R2GB#.eMD>P(INC}}~/з }h/LJ j-P8W U4-pL;{@.7 u] tn.3ԡ謡,SYOq2#6VgA\˰S٥[G(R?2e.J$!>buQ]wDf H"04OD|G"*1` SK;Mӽ9fljM.uN|*ngըNa_Uk?4hB8 Y^'2mxxYUx_ yR}oae-6~-AԨ跟)EplF?42g:!);t#5* %4}J:8:3J"Oi1[0 LVdGεXK!TX֗@Ž™7Ħ(rcnGrpZn;'-hu5 G59 g6=wT&'RTnpIJ%"=TQ/ _b:J7T{0s '-b.@͎=)m2<8 _U GS0p![*WS.ێג88 YIζioiv*xO` o/u!/%E!kJ,_kڻHceB⥊7iyv}B&thq?((&9|\}梁ٸ~/pܒg4L(ZvdMd:kPh櫜6D *Mxs%+Wx} h셪͌P:?=7س#,=]g*Σ!ٺ K Ia:snBd`q.c_t.?jfϱ|,+g 🍺ƈyv lFHd2Xh5Y}1+=g4Kl"8h+ہL vϳSsb"nERs(6%JNt%shl0N`ҶՉ.bhbt%9uKuRem\𖂣+ (*>"K*3'9:K,ay 883/8\c%aAd ݹIZXb`=kT(WfϱQ3vG 7 )Dk?'5xY׸oow?-!~vN9:/@<Dc'ǖ L BgLЦu ERq&;1-4:OdblYF䨂 +ZLmuƫPSJB8pF7Oa. tdhZ'GNgSUK*cF pJTCmp!ҥ 'C(TBd#|Xkw$ÝB" JWF5Jq+[XϯX ?dIa d.({jԊEX9oqA12pz˘eȇ5ڙ3)C+usvM~r־BdgVQ{NQaU] 9Qs7/éM 4ɷY-/ -g[wm?A$͓uTBK{Ƣ^><~J)H$I`+ ރ%Pfe $`ç:8u}Ov6ĔrZkJ\wGUsnoLu)Zɮ!Swq_ "K63ZBg|dbB/԰>3"hL:,NNќMzP NG\)- AT$+ew5jbocng9NU+"<u-3Hj*_AB39Id>sEi:,n[LǖE?r=# gM}"#="- ;d$RH3!6LF qBєpSyt-#n:_xCRg,?lcR?vԼĐ QtBAJ'7<>:#xKpͥFC8q Kd$VJ&++2rn4_L)dLh].vJ[~7M8gV$4:: )p2nx{e`uD| ٓ,c^V4^H8ڄ39`vSp6PHEvvl{n"x"JQUޢau͌@EZ#Xht;=ngi/q|#+G`hFCn" e:\-/qB75Έ~*--{Άr]r?Y5eP EkW\pmua@Av a 8qcmʴN#9!Ǹ>DPFcF]gkKڀ!o.G$҆N0Ej2s|,Uyc9?Cxj,2ؑŝgXgE<.0 Q{.qf5ڤz9;uJCFWljs)Le12BC>"9n W5_eB\>vN$U{wW$G6Lz{]gWFCk Ci3yC*(31U\pg26Xb4~ln0RZ|hv2J #hx5"fv^!ų 1RkIpX첀Alp+;瀟z&a&ʉ#1 B:+K,R*F>n,>*C,83ymc4Sx_NYiٻ_>iwef\` и<03ѩ0BŔc7+Ĥ 4H[F,DJ%A)^?̑Xc oey}LjkPkw#4.|mS r T`Eun=πE-LZ었!h^+WTT-u1E"By:㙞++l;4 q">L5HT猵MB)H i 0a"~Hf||HLKЕ<,>+G/xn$70O@`Yީ$EM,Xo<yzVTQ'c*k=Bb8_l %_ظaÏ`SHCՁ܉bgOi6؉3V_GӀf/Sq8ȎNzSS`S.NfXN ,y/~э<&z qb>:4Eʠ6xoZB@IRo &ػ5I +aM)E5 _ !-dpj=ΒJ/MEְ KRkk4yuY˝yz DYh_VHh3' oSUzpM T^+މd( 9I@z%vf_5CJc$Iw]*w&2awM}lg_̽4&E#o~ t>|^"Nᅲ(5_/b&~8[jw<^Q$lU$pwCfߠT{&?p{P @נݓQi(2=l( )4|˺W\nGQp UϸB7]%I+8҅AbT㩡IozNt,,EӮOvO9%ਲ਼aCfJ Пč0Jx֋X7֬_a R7:{Irޛ$'f{#s?{ ng{;<$4 g*=mmQpĔև{=Սt+FA5hDZVMi[R@5/ј}m ц(Mv"st1j6߁TIWw5֎kHssR8chq\+AZkY tR^8 a |6șTuft ΜHr/‚E!r?b- s6W: kȢESir^4@"Xa>Q.}OR!ɪ0yٛWzjF!N|d bNX+0>!sBLE|LTxfF̟Ï]bua-s$SwRAiq1s,#bc]1=Dm-@\P{΃#wt? YZNl&m,ݺMO>˸M̘OXz)ZFt +S{4HT]E_t?\,Wd^Ȅ jd{/dFVg)UTWPkй6h'cz0jMS֘8-^x,:%›K@]N/GT#nC=`>~C\Gc?=G?ɇr;/!.UgԀxT9r /?=qR̶;`ˡ󺟉}eMfZCLNW^e9 fpxvXyE]`Q>o69>WGfs }i5=C m ڌ|uԣI1OFWv`fG,,_c?@ZYGLI($̳ % .ٓ:,]x3apѼ_28:i4b~^4'KDlGE0j^"5d1ǣ:Jr@KouH'Lp*Y.٦15%Ua}c~Z@G'֫xa*c 2W{8 #uCW, 3Qwi96M+ JS(?0zhюP5 Wq8sixeK4vsHPo3ggъCHLj;l^'giTX5~'i1B< p֌+_ڪIUgɱ4¡=E[6nxNh:Q'b?5hy&Kgǚi]Um0O1΂eI,_y86RRlx7MOqCRwb蓫+cviEj?5!/{z9EtT"M)[.F fO~qcn1VУՔE6N2 V!9XP yrG3y[yԾz*v-stAĭ̏.h̹+m9f 5(ޜL,2bx%a0PBf3&IP! D*Fo 9;f r. aMF&z}Y$L7U /":/Ъ搂g} ߪټ?3(Ǵ]} nNde0Wf~`tVx29CaD~z!ΔlzZqE&nmcs1^$ B6-'fw~3l͍(/UwsDpֹ/BOPnUe ukK\`۠OĬɨlkpV +zb:Czߕ?XkEaqqakcҧ5!D_3 Bvb4!jDG U*9傺6WBp;ȭ?f /2YvqdZ?I* ƨogqF\~'O<_a;BiKw~eL^H|RJKF}Ŧ^VƲ^e·78]|B%Ϸ<.,>.ӠanT 4p#)98C\5_\+z9ľN4&Qw]Y֭!^ |SQjIYHI3;=/ON)f̃+򊊓+ؘ0U.t a)CʽBOַ](nJ3jy[ř.ʻ>=)_~q-wPFNF1{_rB ɕ&OOZTW\$g6ʏD\NKE28H-ZB ]eV to?#$ z\ɸZZc;o\K -,/bPc#td~x{eK/z8)NcfV6hEF a꿦YW;*$0Dv$@\6O*ykAӶU9~<{@]!10NR Si$8'G0LhAxPsiܸ=9@ť#wlpa7s6@u`el=nD5tCM9N׬n^) Jmg;e/I9z$S)ydĽ`pJVCï]1~xcA޽Z_{V52z}8r4ec@rSiqȥTee;M!(ǜA 31ԯ 6t;/L<*Džԡi>΅Zeee^I]~SNOS F$owd N=6&4NgYZ  %5 % h]@UL5$p1'4J`OBw L.-ifΊ@ϑK,22ʹ$q^ „S~{t٧ߗʞk"-BNWى5@^`}:! Ңl25&"v3'*9D!dZ_0D.ʑ^ đLGBQkl@Ճ Kz(?rqI2e$-3>fvz,T#$y#%H#k;F 640Mevyjm~V=a8G΀U:K *lX~ <Ӭ@l6 VKwyf] j7W@zyFjݦ3洬O!M3ʛ/ȶni'5c~h:/ ͺbn4㼨[NYil,Vx}rd̆y0g]G9ʻ&oV`MxGh~+U$y{C"u&/q5]0\f,wիͻ,;#]uJݚפfė+CDewlBv #V$| G27(lxشڶ]w12ީ Cz{azp/%-d57% N)M؅ ~*KbFx-X6C(!XqiĄ CvgYZ) #% LEMLEM.Lem_mapdocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=krrrg% 󨏈\2W.jćA WЉIZTC4Yٺ䉥bLxQonICQr͏FHH,`>ċw~%]vxPO"'LW1ԉ'B:-@wf$_%g#v_ Qvc`5Q.֨ ^2b0)!NcӁѴlU~ 6zNLn)xGHC)L)~v)ZIWTp&6Ҫt![qHru`-KR 0 OL黥eV\e9ⅼ V#/BN r)x&% ,^`ùrHQNn݉)H\5!rY7di¿0w;d;W.g-FŇ5` ¥/wa }y>ބuC8m+hФѼ@1,c@%63`k3"POiʌ.vkuHdni}ֺ=䧋c3{uKJf igfޙF{t`2 |A`Atuk):IL{PNaNw5BmxnkIs _'@u/۲83!>aZJ=p4MO(ˊA>k .Nul(|*c60_t,_y||߽Cя\-h[](ǜLaQ =H|cY& ^Bh3<1|#@OYTu{_kW:GQ=3sG~gYZ 5% lLEMHOL-Library.Multisetdocument.tex7zXZִF! ,g-]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~<  *R5% \LEMLEM.Lem_string_extradocument.tex7zXZִF! 8:]A-MՋhvG"uIBm5!އ N=kr40t@YG]-PB,VDX;j,qzEE` LYCx>e/7x E9+US|jыg3E0Au<*s،~YB"" t~vE y19;%\pXW vU o&jQً3qZ?2 Hy}r_ =r,Y0xspϔ^CR+` I)9AY&$(/cٌwg. fj',#Ϙ*Ljne8ϗk1Y(Iqt]^pY!ԧd4ߍZY47e/oC[sWL#,RR"42hH0 Z>1{*-ΣF}h0B6-ԛ`gt;E`#*/؎#9쇘 PefnWoעb06z G:g>ḑsD}ZۋC9e|q=Y?hМ,*9ӲIOug~_Gt$8މpA# c3\pXK^v3Z ;)ƖJUz_g4s;ʲA[c:(*Ee}RQ.k3F8Q+\4ҥWNa9١tVDe>h&A%)U`8;E(a4 վuO#~P_+10;V-u2kyU! c-WZ->3´ YcGx5cy@q#牶nĶ2lHUׅl;PUlDF.^ٛmF cdXfk'D;=")֒eAbyG7rs~-͠ $ƒʭ.Vtyf0$Y+YR_:QH>#(E"")Rl[*U^Ka}Cops/ zJe65`'ylmul{HԬBழzl: u.HBc&Ȉa+'ɬ OU.s8q* K0~3evQTKWjtu_L̯FyjAIE(l*nxg_ |]MLRF/Ll "%)` :qzgYZ a;% tLEMHOL-Library.Permutationdocument.tex7zXZִF! ֖]A-MՋhvG"uIBm5FU ɀ3ﻈj0_Njw8 c ejvYӻl*+0skF[,?y]Y;Z;OQ:8~~ܓE."x7^M2ҥ 'gm(L6Ѩ LړäO32RP&'he ȑt >KVx*W= Oxٯ:f4'#O:GjZrZ~vbTMG3>ڛiۑ6y0|W`,vI6 ٦Q6~O*nȬWqҊBJ$3d e? TCU Q0gDE(YSTFF9pNE^NP`'2jړ*q S&Ppޕ5{*)^+Kџ@m_U~FmP=.a{8H> fv~2BF:Gkܥv.FʊE] ri`"7ЕWe\۲<eQ`EgexQсȌbjQ+˴1X+ua*R\{'cM*1!ɠ~ixo$F ihمw@[]\GJEvD*L%`.q`!PŦ4HޒF}$ËN{at+}b[EϺ*%vE% LEMHOL-Library.Datatype_Recordsdocument.tex7zXZִF! \]A-MՋhvG"uIBm5dΏ[9Cj>HYA0:p.ɷ;s /vGb$jE٪^<%PSwgWի%lE '7zɚ'izJ&!c7RNѤN3by ]ﵐyW#v@ ù$ysfnt~cu0j@*VDb+rI]TU|b~Պ\Q@_('H󷭪 b:[yӋ%!lV7p5pi:pG|ɶ Hǹ42q0ZXļ wWGMueKAOMԀuݖډ+3#59t} ;4tiFAVޅ^EUhN0}Zk,ґG m]PT oS4z!DWYq]"$MMz5)4=J[]ƎPhp22Xnp: ˕i7/~} 4g[V]<7Ժنn]C4\zK׾:z]?XЍP?4݄JI$EQ6Q)D5x#;v0хw}'$'qPN`=3GǨ8 #M"S\T$_DZy!(t[''pzʭ[D3͗h_[ROxmCNZ_YA훮߉.3IbyH4Hw$w &9ZT3b֠U5lF 2 bN;>i45U(ħ71 0[#=I9**_۷ȹkSwĸ3G{k>jH$˾te@V*kJQ$xXK[Yb$CȂ ClVk[Qi.ߞJFYrW*Ԍ.c79>={P QWdA2<)ͣKlS:o+͍`v+) h ^ ?J.[Wmz*]rw]uNk@[!8.&񇛝%*ZIr!+W}JIT/.c- ,x%O3MGT<9fTU;Oì^4%GnFaԿqw $|zo]sT@v=K!amNQ6^Bm*#֖rd#Zej?[[֣W KZGOh=nSU>^VLC4͉șpp_S#_krjLPopA2M$j-b<CLrHƗd=[ATG𭋟rIGyL%Oq|HҧnkBi"/S)vV v7_LA=H W^Sl2%z~gYZHڸYa D 5{YMQ(I3DLX8)DNA[Ϛ99d{qȂg Q řX77nZUgobj^()Ki3rʳwC7\=I_?M{׭JpW(ھ-8qL +AI~ 7 8kz?I( +}S) c!2[~;DSxv?:82S3KP:~Ƴ|<e9T@>A=ۖwt+̞!V[TκϪvgHp7R͙m V[sRՙ }ѣ-<*؟CBI~[.U/Ӹ.%iŚB-t9hllCgBʥp )t#5P6Oupzƒ'S`hM^ծD5cGg؉6'5|p!r7TPՒ^PU]FՏwKJoYJ`YjCwxjm \C952[ɖTgr¦6K[ %>D Q9A5#mh^\ qZvE㶤).~سTqLjQDleC{ph l 6/uMIӚbONGqg?ţ=+oXJD~9> Uj+ssIm`"a}F^R6zhKUݫgAsnWrlب#RƚSˊ)aC M2HՌ.&|, ڲ3KǤ-~zA/_g _/{.q_ 3NG[<3ɲ'VT/W룮G6 Ugk'734P41C7̓(LinWm1ɩ+# 'ZƄ2E:>BD; (:VSۦ A,K}xhB9 0$V>" g%ΎO?VH3˜9wr pd0V3yʾWL}Уg&x9f"ofsjz}jrŸ/x3P kp3ezhgkL/7yLe?UW<8Uʤ!-8m w /{qm>6`U&۹G `h5 q%M`/3N> hlb#F^}o 'I6Cv50ΰ?IɵΑůLk}jfqǹ¥īi˷HH]::4>B0/5Իu\8l yK$8K!s9_QV4?M£-kJV=]vdh~' {Ymh.c*Ztfƭ~++PtEXaLVȰ!f)-/xK/=|\~TWFyaO"@_w) ^1\~4P:IտRto ٹM ,Bc]Da^Iݸ.עxH0|XԵP2V}RO?_,J)?t5d35vp~&-bco|EC"L#J|sSqӝӃx̽-ȧooTj^WYy-28* CyE*EyI0UisvUSEVM]GG_50FKw)Tѐq(QY i K$qQ>Tc1[PɘޘS@)9sOV(BIac`} ᒀz t n=8IblԡlllpzDIȋ;!"a9Ki~#y Yv8݆Fj-r䋐5\#i0[o@kt6aqWpбHy8?)է}~q-v"pѼDj_Q 2 T]SAtaZ⌠-cseD1!?(a#V,hq  XGrwp]7],:>7KZXy}/?|E3(&\JgYZ _D1% DLEMLEM.Lem_list_extradocument.tex7zXZִF! &[]A-MՋhvG"uIBm5!އ N=krr_sh!ҟ[k͟ضt0C/Lf`ȸz~N,ZXE?u3pҵq"g,(s*F\~FmB.lY. ^9Ȟ v:nV;5Q+5IX`uqKlꢄ,b(r(4I4;M6ܾwM _/lϵ9î<: *"Y I:R[^:.AbʑSG`4-. 9IU-0M;}'M#/fI T$.|ems|VH C$~zڗS7KHD|/&ǘOd(6p5"cbwM%Oe4ы'ߠ[@BĬ&VVFN#OQ(Qق vy iǾ sMvi .MP/s}D3^Q\v4#;rvhiBT۳@:-6Jظmu{|g8{c't6)^ܥ?(ql wR>NN<B0mi!ó"O9%̀8Τܗ wѡڔW㶕n̑)\!4Fe_]놝bShX[(z>;wi%)6B/bzn0-+lug2^RKP1&bM]^}Z!yWsN9UZWDf`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ  B@e+% LEMLEM.Lem_sortingdocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=krfM4AuR#~HUK#2IoK'ZXW 6NgO4wPW)m"g)_(g?$jǥSMCͮh}?NK*A$03x~gʎ-9ŹgϒVXeNX+S<^ /JCbΫz鑑ōh.>z!pί'P:B[bET:9‡3*YRQVf7m w}fFny~.S0ZUY:3XcS84 62$adSfr Gn .:Xmr]yG[|mEjl_c}3Y4a|JF{Ir(w_oF!'&P9rH1#g:vp m춎+0M9AX#wM~N8#a`H5.#ƇS'k4Qi8nNn X\V ť\sr,.gw'cEv3ؘ`]^&L,u(Hy^?93lхLXusw{iWp̀O|bx=NM]մ,i`߈ל\O҅ʂLF@~_W!w"|#2E-رgYZ'% DLEMLEM.Lem_maybedocument.tex7zXZִF! &h]A-MՋhvG"uIBm5!އ N=krr$TphɂPB#D5>Ћ?4(xY Ik Cz+P'$,撩3`zJ94vmknAd;["u,WylAP3S4lkl$MPg]Iʒw|d9(F,0Mu{hb E<Э3n?.%65)>IJYU$ilv_%.~qޖHʨG{-7۹=@SyL3 WoH]p8}x (H`IN_ PU E9"7jԻCz.ﯝf} m5 sKBWjz1 7y/iUi(I.>%dxM~#̶.ET`iҍ{,Kj|卬WsH^&+ Y$# @_Xpɍ8l;+B.6 kHA)J!# .&n o,GLoaYh=C[YoE&e ;Y7aw `(s6sm5?ʎ˕h' aaY"/d_@F-_&w?Bffq W>MfXЬ5εT^)TDQTV&=X}/ARr*e)cggeEٰP[nV!#& w=[/Yf X1j!z_&' +T)͓wr! %op@])=R+i<]gӽyvAaX೪M'GE 4eP uQA& : # | ;^j]UVk3eQ/6w 78yYuEZ9iO6-x#slu7]=F#oy fN--!.g1=^ IƔ`㙌]_u 2-=Ɉ+. (P2pJ]`?Oܧ۔!e;&Lo0Yc;=!-4ѝ:KY<j o-].rVB*KFkO|c|=_/&W@*4p] ]K 壥`4Re,Yі>1hމ {r^Fs_-:Aw@!_b|&\BVeq?\2~WiH˻S5wd;AtWJQ "Ϟw5o1t&p󅾛ڿ:Ӓ\,ϽԽD1GQ1daGPhda#܄J 7?uX>⌋M'|_:b4@Eެ%@x~5wq%8 k>uc}9㣡'J`$A2}!RH4|D,azZ~q 3"B -aCx*/L-M 57dvL vqț]5J31o(&yEdOA,qS9-44;۸7W5c5ܐVnu(NIV/N2rp;T#r5";jCO܆_&(GՇ۪ bϩ C ޙl;ǐG&r[_< žc8j:e3w)ju)T ȼq}-}6CEң O$91*ݳ?Yo^!i3`}"=7qmBئcn7f,m @IP=]wd6pΌgYZ  f-% LEMLEM.Lem_functiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=krb"CAp7^ۊ, @Ng@)q^UHua+'˪L3")>g#T:E'(J]„VvɭeOZVX+*+~!t9U=s"{L*?2#Th3gmzE2ծeG}^{MuG %fY.GS}O"3&P i[xv6檱ĞQ1W-Z/0ϜFġB!5S  0PaΑB/|f]x9Ls"DrXx>ZVjip<^>.c8eu1OTd}*Zd@Lt  'ϪiF(L  NdbFZ!RqM͕p4D87ʩ5u2+ƠD5rUA7>Qo4o.݆F%4W]vO hnH>0„ar3_[2ર!2uH0d14~)4UQۥ23*]ՉXBJ8t b8y~2;GFkͬAR>d :e4 +De-w )<Z [^!rLF]sCmZAsN"^OfB+L'l %w=OV-;BꄺOSTKw:kp||fy63x9 9xs})KRG?]w8r'qCY4පe)i`ri@LA&o",fZ̵IѾDS$j7 -0LJe$$$lOŠ6'##E C/ha39]qLE*Ci Vly ,.ݵOl.m'Ƹ(Yhx= ݺhuRhҲZV:Uvp>}BaB M H6 0mzCΗƷ̨<2]c-Z f ! ɍ- ~KJ:#0@넀LO(dPr}˒.Kow15fՆ뒿m(T8ȅ-j9e ~Ovߪ$&W57Wc268DZKfW2u%99aSVR&V>'@HUyׯZiQlRl`I&b4(!2j5˂n7R]Cf-0LG?ҳGS-b(XVySmcz I:zS%xVTʏpAAiB;EG8su0,Q qq6} F:e1ޜ.94P?#.,XRfCo9Tށ!i51-ps , G WPApYMC[JLs[qLNaD^-j ;2I1A-'UDêhUw|8LH=TՅeB`gcH!C,bZBt O;KTT }ҭ,aIYp2R>&AG*,\u =< @8bZ{3cAR) W08FU>Ӊᆏu.@֑/PD$Y?UBܔ] 4)wNۇ.MbĚ.8^9@+!9[)A-2΂f=.s5͖0vnf˛|ﶇWV8N? n$Wŵ1_$b辊€EEUsaku5;&dttJ?u'1uY^XNBIgx'O fEԅo J&J/1Ijh YejS<8h ݩ(s";Q ?,ǂeJ~< %~2]aw.C'^ՠ"\S*`SԝlYZ8h@Dx$ jL%cH!#j-S#yE^h>$* sJ6'M̨݆F60Z9A^im.tD£RM;#)ض^!ò$9}߄I<~&RVR힢kfؑ3>o>h0åflgh~=w!'rGV,#mًii^97BZ & (3}yoGA}!i _*Hon73;߉U'pzy~7C"',>v N+ /\Z2>1+A~$]xj$ ފꈈS >w OKƒmGĿR VopgYZj%% LEMLEM.Lem_booldocument.tex7zXZִF! 2]A-MՋhvG"uIBm5!އ N=krysX|ҿ/0:L~ $>)"Eu~.q2Vem q({u*'w,BgwFQL2C7y#ji;9I}F7sht촏RЈe]dfe/Rb|@ٯY=rvn+3v 'h{E͹Sil/Ogyas^$u\OHL- 9LW}wtɑT|7uCJ@EReYJfw~L䌇VR>4{j՝* `&Mp4M0;4zGNkeGvf=~`8N5*,=c2iF}*9 by*@O٢NtX3/O&2^^%jv:^ݤX7wJݵPuθ:Ò{RtgYZy3% ,LEMLEM.Lem_set_helpersdocument.tex7zXZִF! U ]A-MՋhvG"uIBm5!އ N=kr4aÌ\`*wGۖ8uݼ9(1Uf~l▶ _@ G6p:!* o1XMȴW]@&ǎ:/.'6Q:CA>ۨS2OS{轨j;E5Kwq< q 8+,p$X4[2:Oׁ8s%ݼ*XRgNv"H(=iJ_2zɼ@VJ ^-i>2*բG .f i //G8p[a|}1M[G_n=cpc@Vmmcj < O;=2 B/0MANa.w=qbCsJwߩG\w=V(;YtEDmBZDqd;'U]ՀsX|9Q$Nu5?a }{#o>?#~P536Q6fK9r4a%9kj0| '\:Y ;ޥ5B['40F uU,jX' {(F؊0^=g6&'Tl h*^fXٽ ë%6S&c-د6C9^;gcfy_&KMK ч&ߒPp!xL@vKK̑:Ns5f4E`@UKu&86]L Rj󃨊iy[->!wgYZ  AW="3% 4LEMLEM.Lem_maybe_extradocument.tex7zXZִF! s]A-MՋhvG"uIBm5!އ N=krr,k=3I%s]F73&c>Œ/SoV5ׇ5QPb0Zet8޸+i}Ri¤fy <Wofi}XN_9ZTb4ڧG1iYS!'%aSKx5{ [rhPOߣ֚Aw܆IzŽ Q(D1xF4lRaYξWy yh`}"ABd?9UʷyG`ވ„v "Iʤ!db90n|F1p%Ba '{dP.[?r.rcw;!юv8`  kgYZ !1% TLEMLEM.Lem_pervasivesdocument.tex7zXZִF! "]A-MՋhvG"uIBm5!އ N=kr|L3UGF\tIʭF22bc: ,%m'U"ިq)mQ bXM럁]Ӓ"e"clh/zWRI&~)֗sG5)تkx3X0P4PIuGtC+?va1Q*HE4>0iY^;\z") OM-D# " eAKs;@MV(#mi£hAՑ+WBܲ œ>ȵ1 W!VUϹAe=M<;b%1P!RɨfӵR>&*Ą8[:zv ;[ռU,3Cѝ{fkkzϹ({[qx10 u3/c[+j[iC(C'b@1'] ]d cUD MCzg ±gYZX 9% dLEMLEM.Lem_function_extradocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=krb&kz`p|=۴զ"'Ü&ٓ턲WĐKAcHժ8[1K!"ncA'/{.fbk|t=n/ҏ?tV¢MS@oskH&I!(R v-hY@0Ś6k ե7 %5*B@*fj:KbD5_<ȫS+"3{b '$ ;-oyfN^:AR8NppˢfzG78u<*¢%Ye_6'Ufh_j$'sy8쯯lCB3 o/a6h*9q. To7r,FP/eK=QKui,91}s.uj,"?f..gYZ~=% ,LEMLEM.Lem_pervasives_extradocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=kr|L3Uԅ8%"HIO9 Qt$^X68뽀!ňhw|!@lN@id 8Zh &]4poJ{QbT2GySNL`d)i[tC9Y<7 R%\18oV΋w; {)ĩ g)T^F룂: |$h"1~maG9<ቊH4:cgFWfvXE(FbDW yB/XS!(VK:VJ(W饞TaMj> X'#eE-4ֳ^֨lł2x;ͽ1>őJ9=^yΩmRAa)efx.xP{) VPTbocQ#Ǭ-DWt$7Jk( 8v;'gYZ;/% 4LEMLEM.Lem_num_extradocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=krv?kپR*^%<*tiEjni+cQne\noU4ItWk(.ԣ +"S3'QINr!^/:,̴i"'G7g ~(L]?]GO&qՉoE|j~:Qsx+z,ErfaÓ( YjEgYZ  P#)% dLEMLEM.Lem_eitherdocument.tex7zXZִF! ]A-MՋhvG"uIBm5!އ N=kr^7k$ 0;}eӨxh MxhΕo<؋(ɣd$9 ӐoK/7?r1$ΰ}ba[t+|X|s:tQ-$ZcYέAqRvTQ)~5c8.J zfJR@ č/|Q u7s2Ң̎;!K(Ρ0*#1:NsC;@}\o!v\Cc:QK)gEONJ>%hGFt_ 4BPDwG(we´v[AD:81f0I.Tgwnc2#q.yB'y0 .9o%y,sRVviҪAM#Sv"K[}#PRGL+n+s:uQF5MGȠ=OLR bc y*t<4fp,u|m1vJ\M(9fe`?8=2/3愱gYZMwnDA!B3 uV=r3$*OGYVJ!R yׇx4gYZ7zXZִF! L]ŗXiɟ1˦r?p^v3HFH5̒ @hLݙ;QyZB%!0v2@OTCG'4B-]G^|[#x7X,*x!P)Iٻ`]mkEJLѯW$O 97?Q?7{G qC}Mn%E%Y;AhMȴ?Q[SJla_LMԬb 6*z5x`IWQ0RF+ؐQ~q]֫5 þȇAa}vHp$?g>w۱-qhsAa<hE? 뾓1@U۳VB[G*wQQ*"L/ҭB9 q=fPO C;#k[Qq4O)|Lg!Sx4 ZH55)aӪ뢛=xX^?ͳEG}?QqٯrC* E;k܈V^KloOXu;MncbRl Ilㆈ Rbj_mq5"z S^2zz]K>:\ߪ_?VL|vAXX}cʱO3:6Nm1(bZ\wQH_|+'RXL3|NbN*8N)3rD!XkD=L0|^ƾtej`<{hLVL{vS6\&q` @^#{s$NA9'k|f_SB9R^0.6gUdž?nI;XueBcIazlvw'Œotm4juw;)`o/$[`w5ӣ4 :IpUwC&!x܇a6X)ܡ]4w9>,80ĸ2tK e\ ۪Lʍ<0Q5MK?5khz+*Hg".QלTYuC!&ys\`Gxq]fʉߺr_D򮿱բ"y!=W'[>@T,'o |1];ѵl$ .c$dGkG-,qΏ!Ħm=&㸔țKCHiUL]́ƃW=- Lw(j?Jd9H@ )녭*y C&q5hhNLj8}2׻Gh`$bgPnz3: DL z.Vh%"{9T}-.{۞I0WOW$c[u:GuG؈"x#rTsOC낺i1aYƃt1tb?s kfm%,"c6Ф?%*k'0ejkY?"SЁ!~n^^ Dj*\BhU9eK`f&e>*ckg7/XmD~O<4xh!mEh> XS? ([ 9-ۮx,||OWҭu?VOCqp+ڛ-N`Rh,+oyӰ㒜(}i^PiC2[Qu?V?ur/`pƀo[[e],Lp }^@z2g3;s웠T}sndquCTؗ! !Dzpt/bphEPhF,uIC?H> l'+;$_d ~V:]Azځ1H`#D?g\bCe5I8/Or3 q*ƅw ۝tM"I:owݧZ\wa}b eOOR-%1jܸ> &c?]rK ˏ/7q<'g7PqѮt!*ߟX߽6NӺ$uR'DLSVa_b%< jHؕ|7Qb5jbpeu,q0[wvp{^ce?<[NڛrO&r$pDVG=iXz*5Ț|_LИTuvg7MDp2lȘeAz`aACh^ER/}D1LK[\8ĜC${9Fqb/ort\a ' G{n n+ H/H*V:v oTRX;UK<#7oڞE~⯜5AB}#v'S`B x-H>M̱QZU8GǡUәIma ͬ@r\H-QSm& "?̭|n]G7 86,5igYZ9b6922732531913bd63da84efeba04a22569d4710a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 d6eb13e4ff6aaa8ef44fb02e2f473957fa623823 5eb4fde4c5d27ba27886ddd8bd70279fac723f96e17cadeeb6fd427d8b2b3c0bc5a912f2a52a8b0e