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   tl4\ ]S]LEM:threads=2elapsed=48.616cpu=93.872gc=10.496factor=1.937zXZִF! :"]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk;>^vz+m2puύ18s,.,hWՆ/hs祮2dƫ s.gH:}a;a̸ރ"$̉-imHNSQD"`T#{h[bcʵ:+K-!;l-~@cҦXՀ|J=+;"jXJx(:{%HyNG3$HqiGpug؀"CXI`б;{ܕ-W!jbv3*WyW(-4QػƄ\KROni~PlrM8t)yZk`Y}}l}w"=fR>q)(MoY3zb PCY}IPLZ=YPk1^B>׼FnP)EAng>u~KF+ee}P{Kgbzi5s݉DQ Blp*o"߫dvnt^k߂2Eqv`[/2^<ߟϰ/cxVh!1d@|2vi5-{.u[Ռd &l}&ڏ%<{ N\H*KON4.:ׅ!X9#MhVaMDhxK6RpwG]7TF4MHHP7 )A/1t& WBvD_yCu8 ]uo<|Uc 0RRx'e"z.l A&_ V/G]*?gg!-GOыiHZ A/6U2dCv9hoi),r:M%7Scc헓B]yXUTDl2 {^r/S!^V>PPPJv4SS$832g0\K-~a<-8_=۲t^g[җ;PP &+4Rzc"~RX3Inּe;炳'A؈JEbbYyڒ. I/Psqom!FX)K ~4#R=.:rJ^Jkk~t,E4| O¸{u&6Gu?(A96,] CBٹ ALxO+Z1UO-I&.* n[.*;*iҧqa_@~Qɟkmŵ+?ԗz [}n^D0Jm+  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ᐧ60H<)('&%$     # : {= m 7 K hZ   T & ]  {(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_eitherdocument.tex!%%LEMLEM.Lem_showdocument.tex$+%LEMLEM.Lem_sortingdocument.tex&/%LEMLEM.Lem_map_extradocument.tex"'%LEMLEM.Lem_maybedocument.tex-=%LEMHOL-Library.Cancellationdocument.tex'1%LEMLEM.Lem_list_extradocument.tex1E%LEMHOL-Library.Datatype_Recordsdocument.tex)5%LEMLEM.Lem_string_extradocument.tex&/%LEMLEM.Lem_set_extradocument.tex)5%LEMHOL-Library.Multisetdocument.tex %LEMLEM.Lemdocument.tex #%LEMLEM.Lem_mapdocument.tex ,;%LEMHOL-Library.Permutationdocument.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_OgYZHڸ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 0 h05 % 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~gYZa ;% 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Ϻ*RrWUkp-S6"@7"HBc o:BiB5{Gdʨ/2>m']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~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%eukjJ[05 ū~-A}SAD뷔Mms^41Dw9D0*-kCP vԱ[NNnCHB[Ptkڈ}m;҈F檏2'w,._,96`+Z"4̎enq8f&80z >n[,˽k1L!쌈(Z/$>NHqT*޴M=;?)ÖbZ[ڴcLII4rwxVwod E+3=q` |23*5'DAʪ<ldqʹklDSM*0Q!ՙ^hoY=g۽Rl O$U[{v^ O*z:#qEg ɨ#Q*uE=>y+zD5iMqueDU+ 6F23-VCml!=_!H.F$FZjǟp>N(]P%)8cSxB_!vM{,̦.3jPPG5th}=&nI㞱΃X] +aj\pkvh1qg0&Tv/6k b V]";Msf=2[`a3I.)RuAP ŷHXߍ}ZQ74=⌗05wC*:.QҴk- m؂)ٵ*k/yKt<_S#ug5b3тkV"o*))zt|"秦'Y,je#V{.'kyq'd$q٤B!MfdWE)9QGszzA!c |si?䊷׿%#:#a9Qӕ7;')V:_ՀD'd@˟Ţ4 A='AM\c fݗ\(;NdTMTL)u4)wޘM\ o__@z\]gb]G+:\e(P؄wC& f / A%FJX Ŷ*MY÷E_W7LJDoŸכ)qeK$$=(DȠk5ݓLـ "8{ ʳ#NtECER!߫% ."St>5Q>q(pQ^q$ _`er͑*0L2}|!ɷ ߣ"W2kV &nOS}i7ؽbφvGc,>8ƅy s .Q|خY0:Aϓ_,4a+ 8JSq P m'[V,NJFsmw) !1!M3n\rS$spt]QxKݬ?h ukRoĞ𤏄mO | XARQ8XK) s]`8ú, ϷukCmXd7Rꦅ!M4h#.8:ME.Lcx&\X-g01<,搐6ʊ]]X,)Y' -߭ѕI}Y)@=[cFMmLsן7tjI;8MQeW xєՃͨE E!XrAiUjɊHqAԻLY]I=5fVi*1 N3cR22cg΢^쇜.ZD+Eu7l)66yX! $ a V9wb548.;C # vNh NL#Lg4a78]9LLtof:9_}f\\Dx?BS6eSM6}l#,afǻ[ݨ%PƮ`dsӶB7& *ك- _V5D ,"KTT K9_egDNaI`/< u=)5,3+wF1Uc$FyVht}= o". s@X81.i- N /IiDC%5O4C#|z FO m\}k.[}n!3HؠJ"]H}H7es5L toXqdQģ wnu;M5W`d1.{UФt\<;^4cx~$=8uWXMnb r"[rX9FZ/~L')(HZ3_[6]D bIqk,oS|uɦifiJפ H.RVM,gWLkrcMgu_t 1jܫZ6Iľ@"E.YHp~_׫Ȧ,Ԥ 9 u {ʄ9A[~1FFq\o_ڢ+S2`1>AH* ͖$ ^<+GZsoak_'{$"'k=ͥ1նZ\IɴI%/g}=l*Ij/OMYO͎j.,kZ8uXvP3tP1 HB|B$xwE۵ʓJC^ō{ UG-{P75UFbߩmPENiY `0 # eG:(*:ObOXs,)"j1If7Ȥ䍺%@?57c ʻ[g&JW"}vRFYoX3a5:cM3~Z> $`S83B{uE D%6eڅ|ų5%4k'QE7.R>}gԑRyɳᵈex`!{o4(u8^$* [ %u{O-!m85ozcVg5٬XW SxOM}33En7l r8 䗫 >RΙ,ܢTłlo/Qܵpx9oork/ڦ,INjhLVd&lkX/͕RIl±;-v[濧K" iN 1.+iXg.Bɻ gDL928g|#ugZ gvc}Ob%uWY|NE4o6@"#]䆃j*,10pN-܊}(UE=۵f\Rȋ*Z;Jnl0n?(Tkf'9,Y~:6=3jZr#s8,K?Lāi!fVw mym4<@^#FM nCb /7u#0Gc2#(UuY+Y=G8'r#SIh3 0H_i fΜyʏ0[\A &z>M%UofH[)& uO IܒV Ѐ 54IŖ jȇc%0ewGIã;M+MOpC}dܢ+HDr7 pn\n98/ Vj[0DC@ʜB\Mj/.;6$.v%.{z'sZ]2"_?nR很i\}4 B9{W=I'HI8yzVz:ym{Gsmĉɨ,_|;~`3gBAyGKZ)P餏 IRK˴,߷Z5rC#㴬4!|TZpٞ6g =1yZ^0Ֆ{8z# Uk"M^u=5Bt]3ь\1d7Box" ku5 8}׈U@ ;(h'ѡ9g8ɷ}Yh9jM>s3t !5~ 4&x`>Č&R6S4r$lL PN靬}p~u@+s..sQv/#0%`m|RL7qd{܊ O lRem%.M,嶽H33q.dz ʬʯ1>jR$h&#@ 1!]Vldn= =}*.*S 4|FgpL\KKD`pɬȿۆ]^Ai[tN/" y7\?#{x _jg1qclPr?GGVڈor^%쌩4wD,myeoU;$F_T!SMςWr:n/} ӊ]P:gH\/Ia]sL'Pf螏O8(Ƭgm.()-TM/VcO:֤B`4c`.Y@*7=ݺ+=fW(DJ wE! sh}w֩bb-Sjf`U0Ez2ow[e GfJ.oo̴MWy2:yJc{%=#vH{Wi"R \dN$8qwcq|2o_^MRJ _s@ Xc7ˆ0a ,S@ZO2Il:h'G ? %b +AX;Y߶~7 W#yådp K:8;>y9Yʧ>5)G&x T<}J2/!aF0LŭO癀DChV'ONk.M4MVT.@5v wv"]Q°DrDAJ\[TX'bVN =QР4Q3ׇ0Dv|hY%:Z%D?I}i"}:N }Vؕ$&t-fZ6)|DpTjf4(:/^6-H͓!ٷMmcDCȐr#caɅGu;NL_kDBiG-v8l269kP)51v _Cve a@UȘG}Lo*[$D&_X3z9W0eCHT`(:h-\x^\MV? t/B.)?NF7:qu;6X5EM$<=NqJT*ih0zÇ")VponɰUBFTE%r!ws:X+a@p*m[ Ӊy %En5%8Zv NBgVךJiXbx#}.Ysǂkk]g_ =[W RzkrvƯu3 v/aBԱW'/aA 䯀hοhn`ߣRo#(ix68$,#dž ̙CUM]P-پ&1wרepқʠ#禶)r0phe ly"%Gzn=0XBPKsuӜYMc<}3 %ymD&5i|6Ή>4G|Bk|T.pw͠*=2 +^IZB`+hlYњhC]wX±JZwg/ (ezF1`aσYۖl*B$ca[G0qͳXM8vN0<ͤ+INcXM9/-|r'2è)x-{z\uťiC\eBf~~ڟゥvbnb1!]1.;j+b(䑧s%og@D^rn;wjP>*Xuv@aS(A^+wlk^@$P, qW^^L@1`"I|vq2П tE%eICg.EFC9>P^F>Vj@#Ko|ދscevZJ1iʄXN7 ε +bΞL2[_ȫNL?M}åJftQ"sF%AuG:`Z|Ń`½{m0N!ĠiHqW:Զqd4? %b#ʶM]HGƚ_CPEdݷHNêy PR z@FT]HEfEL0(K"J(֡tHm-M^?d1u-T2QYCaW|gۓ*%z Dp?F2M[A i/,2,B XW}Zh}, "V:/>U̲ؒj\Tq0Zzh1`ш>~"|h䅋?l.¹T{̙ڇ])cU晐([ юo:d~(iM4> Sf/l]܊u ` '}brv{be.$۫@ ϔ: d44 !!lګWU*ro?ȯ 5ssphi㾬az>WlWaLL'Uq]QL"˹KsFxDcpQl{:ѕ% Ԋƶn ͣJY]jkaRʴw>7(;o/ xv$!0?d ;x8[VDo|&m:#c0[+&kY_ZX޺r`,dQb6e8wnlý] $>'jL]T؎\S u`MdKc<Ss"s׋mR/Ρ2vQ%;[>\qݗPɄhнtBѯgӮޮc}BAUP $KJ•siXvRy|UY3c{Y \ya6 "yUB P b 0r }:'L€x9tyjۿ !HNnxdcdwmlLiPJA`v NmHZφ9V,S2H̱Yjgʪ_V.J+T8JU %1ԓx<5TZdl߲ݏZL> ~ f[Xtѝ(z}2UaS6pqTEr0U"hƘcVбtyV"Fukou, ,>GZҩR<ݳf[sUB ,._$^eFvU1wsxْZNݖ{yԱn GJ$ n^%63pɞ]qkc`啕 tz XP@miXc? 8&Nn%,̪g.$y|l JQJw%QZGIfi/RaKhܟ`zG80bS(p?ˈ יxGɅo+pd*ݫxWj[.sz0IƖy@~W O5IwFs~d:s-ÝbqmeϒA g:@~&I-A uC-A2g~J{I~N2F5}qH9WҧƧ=xhs`ˑ Cu.RfPy= )Ȟ-'x1>4;a/S$-M^/}f|pmwݎXm![P(s@^ְ$]wҟ)6G9J#jgOӆ8LdkVĕ0wi_t6OzxThJkMGUL磞0 7]~k);+QS~e)O*͂]/>v#MB"CVdo OTbqdȩYUqNa'pzoӇڵ~)#kN^P*[IN*K۳Sx,T*=y34WG6r Cw̵JÔztFa6_UsXEĘXW "'Z!| g,x|`K:Q\ruk}Ͷ~#הn͏.Xuo$WAtq'Z-kSd$4ľ~H7tS iƷ|?i!rȤ7{ :]XSRa-lAƓ@x|XSgS0&5G80WJ2CO\2Os3 9z3{gpE}:%=*‡Us%ke{.1 7V2an~vmd ^l%d9)z_IuO;m0{⪽%ՠWDIJBr6Y.#Xnܛ^IR6@4q-r}Ph|ҾIY+Y A-?v=4 SFrLv scLIg^s/;)3p8'eNGoubUFXHFxs9(l_N7tN&cF uhp6I* cH\(T +dMCYpnIb,>@/nb2VwB0)\lSDGuT[N2[K$??y ?j?UhRKw'ٴ"e0yy,nƗi6wdeԕ _PyE q?6w4t&/ x: =nI,Ur]U&X~:?Ǡ#xb)Mw(d&*ѿ.F\xKPbذt\owgw+Uw'kY^\zwBe@k25<1´6|rn/[3,nA;o;&в@CO n3mrFBqk3߻nV2p%}Ycud:>fL9Dԙ4rԻRIäw@ Dk歖hc pSN#K 'aV %Tն,駍+ư[8 QgvT7z_>2Bbwa_X\Gf,]x-h5,Z.st7Yl͐f թA-kS C\m2E:SnUoO:A k=g(ԐG䃰AO{^M`r~]9l'.HZL-"25{8i&8u{f^a|@S<@H h*ހf|C>(e=a nVM>r-gta$SS3Ic'rշe/:4'nF ~U(cKI!vv,% g::Dδ:RYJ#ޘDMP78@Hwc8Qj$ ➂aD[z=!S,:lyǤp**Ff}vrFQ (`Yu';@Ф c?1{~(!kw`UYqZS!L؟yZ! b*7 T߿Y"a;jU[/O*(NT u5R<MǑX]4nvo<ÈIAu ;,_8r>hM-YT-.GdkпrjE'ϥ8_HdyGWrfGyG4bIT8. ׌1T٬&}xŹL)7,.6pZ{(6ǖ>0 d&lCRN'F] h 0()v왑 va;ֻkޫNxOnNK ^3(oĤr7@6 0ΐ*&TYT5krBekޏQ q7 zpYlVn\5n^WzW6#{XNR! \GbfPNo%Zsml}Z` ΔUoLh7#\<ᴣIKm~Ai"B_iW Rv:,oعrl4\BTr)~,'H1\ӑյA )@US:ͲUvNdh>mY g`&tHT͚ޔНt4Y] M..-6k"g-mg6 {էj Bǿy {$0)W[3G1Nď *vᥱm`&'Tt2?RQ(J9S}yEEetJ9~^h^iK3"^>pA!IsmcAo쓁/;kBGRB<H݊\ɂbGk4ahhvygƑ_W_rOfq7_!p С5;4" IƳX@t?t ؖ;]@\Cp <*5y)$6WlFř&4՞A4Iܪ+(򿑆C{i"v7C,=zN~e1I"NEyqZDU`wly:?k=; #t._8R<+{i- ?I^ yMíqi[[|ro^6MA)BVM~-he뱮-0`$oQ7c;vtĦ4@ۢ9.7 ibt*Q^#0B7iEM5EDm~]Y+aP#q_X3>ftFþ jmKHV~f@p TYx\Nǘ5*ڬ'q|'[%˱σkxsu)=;IN %E敝:*5='>z#b=_UhRϑxL܂A&n !B [+t._ #Ń>|,lW+V:N, 2"sq^Ξ *%Nw/_.y1l^HMˎk2: TFʧp  8[5 _OA?tШ,Rd</[XrX<mO{юcR~! F@ Tal+>fZGkptm/79Ecb<2Zk%h'5ru-y[NhRi9NQŬ)?ͮH7khVT&"T-_LX_0252PTG(TVuj)C|~ǁhZ-(zΧ]wcȝ]Gpϛ T(6i<9C]4tOJvJLtԌ gOa6DeߋZ1 igHз QH$K]`?ڢ;IfWo]&gH.WBZAѸi\H)KA p)q!xFoG+ F [za gb\ l&Q"H/b$"D֡ˉ2gwG \U. @^fAV6Gbze0#p-Dh>(i_{]ב=d ]~fN1E Xf; Akyq)lôZ} p.%|^M6΀zS\]gDAqpC3z;dRmň7\k:9MmENbVLP\2=å\Efh`(_|šs)w݌[lxkɨXi\ityҾb#EjIx dYiȓQKgpÐ\bs*ݍhdנ@ށҢ`aH7ybl~-2OA? 'G]jl}"xGM]O\b}vmֻꏻNTYW؏^%bLC՚Hf6\z E׏ tY?Pnzn'FW[1N^>&ɒ3g)Ԓ) 3`EFp֞2j PѓA N]˫߈x N v0?ҜYP'\OBb~g$E#fZ?ˋhɞU]oXE eQ=3-U喦 iG`+&CR[yIW[c 6|UEs|7ϫiY~׾C^iʾ:h4+߅n2`=jZTf8rBfk:V晝$q, *\QViYAײwE3szfHôPa R̯-ްD1ժ.WFqwˈD"(?ISš7!>pӆ$bIW,+S~ͼ~n)2ravXB?@jы>.U!hVK"K}F}04TB}a5xS]1z>sR%RthWM'7Gݳ 50js؍\M OP|sP ak2ё/{=ct0Yct GR@-.PAwP켴P%6P!a֣yE[Bg#e3n鲁GW3@M{ 'iUmyx5 nkr 9ż< 0Lp1$Iܥ|UW @Iem~;,s9i,:_ /,__]]yqtdhnBr9OS$szɎ }qԢ5b(ڱ1gMyY 9P͑QsL;S[c +HM$ZYNhxL+sDZh@ DMĬŷn_l3}=-7cΎ\Js@5a{ҙMlWxA'ҹܑkweu'2NKQu7eUӋޔњz&9+ڃonw{&{<)Ꮯ=Z(Ѿұ`X/0Aʙ\VfaD2w n,$eCCP-WC^߅wgW'e o{ԇh?};)n7XT^U7FqqÆi;8G(F#a1S m/|d+hw.Z 2L+|ͯA ,wh?!Ƥp4& L+3 }g1iqO,X~orي{mڗuo}d`' C˾y=adV`ȼ}4 e~ȿծ^b$V)n >nB*{ zbն3 Md%Zf-6f5cEo:$]~G}><&0v +qCc!ʻ:SeO/AF"'g@%9_ u^VIh˶!lz2eituK꟰=Rn]Dȱ%3јǔl3*=Y|y,zGkIŬ \!+.Ms9pRxǷ_qejgSul(}#)}r`Ye\_\E.ȴk{g|L2%"p{ٺk܄m:*8ϣ}c›|]Mw8W41gi ˩v[b ?֩,-?TxU1ĸ\"C02d]Wc]n-īhf*[ ,ߌ(08儻`R 9DsA^^\n _Cb.7Q#9=&O.5x8TKWN< CsU^CH'hdw~%'NNp%r9Cu_"\sB<@Վ2gkm&]泙qP"^6Y8S*,.\&G[=HVn1 6qyY%uWyWbV\_:,mh|i)\yA}zI)ymg%:'Uɠk8r]Z;8֛LxTΣ+!}QP`Qhj.)o iEӓ5iI+ JVȨ4n)o^d_N/wv,8mEQjmNW:^W:Q{]${rOe3" og%UudvLig e4|ї*nHTY;Jo:PTR#3z/V}g!_B߄FL+CqZӍi8 wF]#B$"DAwd^_Rp_yˎeZ_tQG;aF F&xFN pɇ|-YXDM\#OU+eNy4-Y>Um՜0&޿Nvi@kz [opNG `>%7x,DBLBA硷gWT\)Inr ؂8rQqˇMu&>w[ET}$Rw8yAyk&'hZӧ4{iY1( Asڗ6{65%,J@@(dW4xͩMXf}:_ݷ^穢!~>x>whF 4* $g a~|ց!f9sHcQxs0R%̷EDPF{)MVGtz'JGJԠ($`ua*{_Feid˝z-D ;<ڹmXu8rqmОI}x5d >]#]E= G֝ySG^=|[kq5o1_V`]>x.NQaC7 n 9jhV.; c~;CL,%sAUZQW$C2s0Q<=ny:Ȗ䮼vK/}k%4e2S~2ߙÂ)Vb^\3(%\;1r8ðME= z {ʪ3$(Clbi+.Y߁e>Mznֶ%!3m'*3( Wu(;2'S)M:u+>^M/B;$-0鴖DCX#3T1ЫA6'p2c~dsZRNS=sCJB/eH::߀~YLB{4ā )|gٙ,_| FI)|0X!3if KK^ F˧d9!UF#|IJP+l*-#G|Se1a%-_2EN۟8=4/:1pU@>XճZ.3c!ꋇ7XǞ 'nx !V[4gPi&w{+^s׆?yL%.%c+qh"F-ކ`997l"vēy|՞Ry*k =Ʌ|hѨ&\jll&<*JԟL <7abX1V8* ˨TzuJN#a @ ,}Qg~ dfv3 eЖU_4!DDaĽS5A9|3pxhk~{+z"Aa!I:o ގN7p5@ i8^IJQP,w~:uMeP@ P ƌY0}x3j՜M E v݀ų zwL`ӂbo2,;_AK?oosӾ"E¤q2wwSDy_WFS?%Qi :i) ߙTGa} eٕI/h~}1Svȸ j,U"o|P)jLXf,ynGslAuA0:!!:vH 0W`/&",n_7G[ QH?oWxsar:9o WO`d^ |f!ƺLH؎Jh6Yto$m]3aEhٵrm kr )ZLB5APCeJ[UEbnI.rxЀ_0g5Cƕ>b9\u5pY&Ծ)A0vqڹU嚚>"ۼuָF)`!Ewi>1q.:Uꓙ._ܝ1,Wx~T_خɊ 4f HM|hSʛ^[P'$8D"x ajA+@$>$ʭb<`T>ߵJCP1P).qHF&߳ R_\姴Cv` QW `n l-!c#T}'tK f,(é"\^Vys!S̾(-;́!oE,-<~BDrJH,ʺ ҙe  ;]ct+ӶSBlkލJMqog^zȪ_@nT"&ZH'/@iҭk~vIJY?ƂJ-sdX*s;ɚ1xP@<nB%!KXm0rJqBx:؊5Jj@j9}\iyBӤ5(ÈҮJ=mdB (Xa?2"Y2v'\IHKcFNNl˓?h>P!3K|&¸̬:8݊&Ð SAsΉ[ LJMQV$6J.7 d?l\d4UF;詌6k[Z0Oì|1.[U:M(Ϡ-3r&+[/ejYk o*0VHSy߾<ck~-7̜}g׍G›:Oŝbޟ{L.xjĴnh B-m'Ia僐&B жɟXT\ѧ3NgGXnM i17S;,.ÊL0Ë[-i m\#=m\<)1P, zyAvC%~.N:u,vϟ1Eq"R) EHnƍXs_;07K[xhn3/&sBu_.󆅿6 l֎eԸR.yzBFⷙ*mash(d@N FsrM X}Yk 9!T+.,)veaԯ2ծ֨Ҋ7[ `ĂO pI`7 d咍Zˈ[9jJJ\<(sOUϟ(Ӣ] xLsdN}Q,9j{؃`|ɝ"G@SVS!8(O|MʧZ|Գ5k6v2/}0LGf : ވ1ץriVYWJqS`S0u:a"S;ܥĞXnL Ub0\rN6~Q ٤(suX4:wqL+wն"ԣZ[(mmNPdueZ>/Z! kfGz<_ψJ=lFⶈ%+=0HɈڵ]P՘CW!t1QqƎxII7'7IAk\6pkvR,J`K]{8 Y >Z v9K]*Iɴ 9bu_N0Psrҋrw=v~59+Wua8hĪ]-OuǍ^p# cljOW{DŬA_+ƪx˟Q}-y:Fl>tl\Wrzn\=;>A}Q}O'ӿ Nc~%+EicDM2?xX#?jmq H=g)N`@g$YO%-^Рkr${ 4sTR$}( 4 WhȎ[ee:6r_rWӵe2\x/|䦼DFA$^5ȶϧ29?筚FbPO\S^BB&Z7~{|T@QKˣ[jH5D/Ʀ)&5|I^pG5tMAlA2#F0D!a]0ehM'7J!rM.c9:?:oQĄ !> Jp,uSG)}6$Fq?Rk1՟8zʏH0]Γof6=#y7 L1m>K޺&Rig4N]<(q7u{DNs?/&Q(%Qި FDOk%pEt"܌5")~u͹A0uWe3p{(Z4 8\EDu/*$j_JM]F.M+`~Anh)[5 @ӹ̧Ft㆏Mlr fٚ=:J.a,|ãvD>N(Y\E H) v"Q=_;#qv Wb"VlppJuq:Hdp&koM&| 55Q iuC?ؚt sGh=ϰʺu/Z=Fqa9x`ڧI~"u|{Ò̍Ijk"ºcW+ؒ)R%nU[k0xd @ QǍ`tf` 隲|f`A9 frw4',a.wHscO32'k#):ZS`6nbMՌ̠8h/YY`2]STv{"$UhA˕CD2Bܫ]>;髱$V]A_D  m涇=_o<@CxܰT͈hM8kMlq@rl fyKe6%~`~wA O N HqI=zBL2`GN\7 ;Yc\dFխ_4#;-aRf'i%~eUJC$[x%HLr&g\::NKn` trAL83]%4*^ a4&C%"H`%f:Dyjt\07% :1%Ym 8Sue>LcKz _OAo.5 e`,R;IhArSjI '4Q4ɰQ )muW\)w|jXH1 &{Yޖ8ϟ)] AhUn:D[4OjdDTGі:_E-`ԂjoJ!Kht=۫lyώ +)ӗnHpbvy#eM9$xy{Ԫtah(!"ޜW2Qjܾid$\vVUk(րI?f(7|v%2t:Wi5WO0qkrԯ:ؖ] ҢoP- k=ay'L\7K]d2}Q+g[cBtV%[B`u)G5?ґmW%"Hhں>ľrT( kͨRIBPsz{7VTEIM1HbT#U~|Vڦc-),@@ ]zCy )' +K4ˑRoS63.? {Icdr'a`]t,^Ml(ivd2 8H4##Ŀ#'Ct[l٠EBo._pUX&Oujڋl ޹RGopptj4Pv}x%xñ]Io5x TKRi!j8R/rY/G6ʏI?R3#P)xJEN lFjeb _Wſ2-F sGp;fS(Yel0 6i#$fuA8bfHgIRu0OQk~uOSŏe_/aԭz~J7l+fǕC.b1_3 K=-EJ,^KcizQZǗN\=T\~M;K'̍©vj*zQXp>n'Qe&cGH'= l{YwDt )J`{ O3>l 6Fv&e{4hRPg|ĺ)SjBH/mOq0P%T*H&Xe7f=>_x0lp1El89= tj .zShj8M^}slpZŗ>Q!HRjrG/74}]TL{af\և:1YmB+!rYH>սW[H={xٚ~D\|"al4ǢB!µ_/\`*<*Q>=!T.|gAGR9mpFaݪeh4I1NiDHcP/Mx5cj:%][s>fFl ;8fЋLYA ^huGBtO#jv"hb3s3*J0!k-G}lyM+"/5)T.B >y\cy0{S7?{saq%w*Rٹ$@1DHPl|;ⰇAe՟f<$lV53+L\P.\6>$<JWAO(b v%J;6.ѕޔe`Xo1'F=#vCC!"8}:")9/Un r)rg(+iFmAN14X KY;6z˒ uk8j}]B2::>~@58Ox^`aMӍoq$ys܉@>v/Ϭ1iRA]14.|A{aLf11!Op`R~B^,3ݎLބ}>rt1C3۶(>|k5UŬGf~$c7e@7ΰKvf܉g "i=" ,RIUuAP0tEd&gW8x~`mW;lTM<9 QJ*/<S %"SY,wa 91tI(D)%ԕJzYdٰ5 5U<%~;j$@b ;jP_OM˱2s9q=[R;綽zűkz<<=`׋ Y#eCT'?ׇؗ~cNg /QrZ[,]VH>iZ ^w :K *T3T3ǿ夶20񯹟7n !a#9ҸR0OdY 28p@v} Y)eij9ۘr#0$^u uV4V=,a47GU6Co֨x5@,%Ma7;=P*cY@43єO CDEz/䢸*#28ee ")\Inڧ))YiGU*;iEZy3Yꂉs[bUPzQ+ iVw@9?pQe9}=ǐ;N,m1`> x >{k=t?ڌ&~!z) c@#tt6_ӍO;d̙pLTDcͻ),uw\Q?|67HNY'f 1D,E hK(ZuJp| ga9c&vS6mX$#Fia:[rn3un/wJ27Oyxm+<:N !䟇=>71mt᥈=2L(}2ꓦw݂U-3ɵvx-qRQF83ŕaBI$b}H_ u]'$;W Nܑƙ*T\ц8~ԩy*H+c]NU&0grE]~h\ugxC*b}2kkF&KZG~yG|l忒T(E^r*̔)Iq(쯜NU6aѡ39wz4λ:'cYMO +Z$QJX&n?Yq9e~+S3 γ)HaiKUǫ Yef+ ̋|v=K>phN&aXt;&l[x֓RW,|Nӛh)Ɔ:|7)2K_Qwi ?۴>N|% G3؅<.|0=HsoBOe{S Ps{yK7 {d fMPkK@a 1hD^,pp+7d ~_1衴` &gX!tZvccD}gAkr""3=GLYn_TTy-ag`$ Pf!T϶7=:vƽ LQ,Xo."}yY^ (צhyPpB(^StsSg+SHZX;E=h66M('fUf9FlM94 r3mOT9#yC4p#TquOf1d,~ذX,X8#mV1~=P ) rܜ^(GYsXSQ=lX'6,9Ga#) qG`RLX2=4JyRշ o5z7o[LuvX D gUA/RhGSJ$ !#V+.:DHavCQ[MP5WE.',[8*Y_yTHNM[`7S)3P a\]XOS7? r|a,v=#t*?y-⪃POQE 4@$Ra҈z! 3Q3E×QPrR,յ;BQ ӓ4v]XxTCԻӶ^qj(vDq%:xspwt|wY͂D_­A!XG2ޒy8r,s N( =gE8v"xkYgkׂz X (XbȒom&`H|Xu{.};ӳ 9FvA-&/xƎv Q&vR֔5˴Ly8\"^&vN<הaAvWl!W*#OA69TQ rq<w[=tnԒTmz biUG x4D/S<ɾ->Ev0okS 7 K'Rđgw"@RQܸs;#Rȝ{R[SLs*.yvn AX670Ke+^2^,Rr{Evt}wd~U%`OQ?˿@J|Y8oCQ-ix~I<ѽ:PaK\bωۤA4*7hmey䙲Ň&UX9nח^Ή>鯵VK]zvJUw[om 9陗*x) 4?ǥ0@_4X ?%߸7kc_[GE`h4!$ {I=(< )&s"t|F)Zq蔐V7J!᧥KPD|^D^ϻ+/Cw^a2)ZI)\ TM O euЏ V.n2p꯯C즣G` vP0.8$םRn,4/-р`ɑz|qE<]hv6 gwG؏]׽/GxA`34\5׋.,7eJI{k4ae%~Kޮb!.V61^+a\:s gZ8eܳ"'OBs&`a(B` A;>NJ)@p` /E؍*,Cؠ[:z3 s'e͙}m9¶$pK/܄fQT/W"e*kׇiۑ=MlGcElXM1$,Ŕp Oa͟qjz1*a>Co} 0gePiK,y. EPGŚu FƧ[0areѹy%Ǝ Tߕh6^vVij]3MM`̍^- RF&' otB"mW T*9 UGɦwJYlI4pRLC $! gEVPto> 1>:tй}9\O!F3WWi{*1Z@*jA1d4iջSn 9LGyw2q^ 2}dC5Op,c>a25U$axlbTf" NdJthzɇى^]hУ\ xȜ:lhqe?]q%[w5Na,N%*Ɇd,z[p_ϟFǼH`oվ w8N||їES/=sM]3cG1#6e<$!k򈕁5(N :37'_[.pI]C? bAf+#$-0Dž^@+>Ix׼jt jlÔ4K(]I5y+@sɮneOŭ}ؿO=-cO\KBNB$3Ypw]=t/3b;8}oK$7Z$Z!0Pb#A0 r|DH2W9*!D}疸y#l<|[N4'vNؔه>E_@g4?Ō(\RZW0>8 Cg*h+*m6oHl Pmyr&c0NU%Op^K,azH '3TQdiye%KAC 'l4sn,|ug*Ce?5qy(PZ|MxL)b8I*q{;%&5Qhmn s~YళBh RPpTE^#ߤSǶhEӆ)OaCT#13UJ4{LAnm#cPiOor)VQ05il+̈} ju00wl~}TJ Ĕ-50my3D|7E? ]?r۱Ty):0;$v=.\fIs0HX |,A$Qs}hʅyu'/kt9c+ d< 1>``s _!ACtC©?-f\B= ZokfTg/}Xg۠<R^)^NyUa? m]CRNiaZLMU@pu <'.q\_ќ`E_?M?V'ճ-\@eU ˤ0'CXt$Yf\&0,ALh=kEB[%ijא']e!s2@{5:܌`Ern R EH8yD>Q5(d"^S٧.kQϰ *Jj-VmEY|Ayq+ (]GJT,` ޘb^_ s"X YB\!i}܀0Eڂ " b "ʭZҗ[zDTR[R|Ue,mbW1y!5z`d0Mx6d%gڳ [dw/NW+=Gp*_jy548}Xt0h|jH ZwA9-+Kܪns}_-_?$ش}3^3eQ Ca(Qf\(̚mmpt~BhcKZv>vH*d*\Ja7eaw.6jގ5oxn/[5y"5\QBnnڪt11(/ud`hpݡΟAV ኵѦR&vL08S4'HgryUii rk5C鳾w`F>7/Dq=[k-o= 1W<"v|Fz rTWt)R$m#Uno)t4;#/p*e+PZ$Y[\-{\I2Zf8&%Hb$Ecxp)D;cRc ?@ p .ȴ|S1'5~5 tOGܳu>=(~D㦎Rbʻ|0T S##ʌ{ĕT5~*ܧca\K@߄[=T u0>|~6/\:ig2$"$v$`AA|F_2'RPk~WQU 쬯"j00W", TCg;8PjEUȓ9dTux~>q+SO=a}X8{- 8ݤ'v.E?&$sKhB*ƿ fFPV4\͑[S0!՗\d7T,[dfj6{>Zu"&a ]US*NS׺8^۬u?dΘ)_ҽ JV201vVMT* f{zbr=R`sr7a[B0xDN?ܹ{.\'CgARh^n=PKmlO\О _=f,PnR/( G-II/ mʍ^Ί)xz*~DWQM\2% d(\ܧj;GXƕfI!Z~f8OGMc.b>2~FoPN!':Yxv|@#J̈́ߦO@1QG!>6wvདྷXB,Gu/1dj%'SY۰喛M&زz@j ѝ!\\q@w絒Skx״\sih圄Pyyx>fW6Cֽu[;(*:G zòda?<MLKgdI3ssJlu l͖nK?âWTQ#ǴD|>#0^2tWg%6aqMgl452M- ^#+X& urDZmRӂlX3XSlBP88MKT=f:ŧOĵIp}P:<6^,rB@i㭇\^71Q1/'yM%M .,^bLN#Ж \V=;{ ڤXk؜Ey߃&ey7183[P۵ENw[` Z0զb*.y-_A;LPx%l}=L m*g\,?>,q*$O/vVga$iPG'NavK9w9P>%q2(G6)0n~E]`! 9;`x%ĮKdR[n:<=t!nb]kSnֈa߆dVNhd(ù,S΅V_:Ĭ?F`jA[Q)9: ;,\7{OCL=h!>psǛ8Jrau^{y=s}e~;h ,Q$V-P?WFoB3iyȲɃŴeR2JXSeg}naȆsr6ő>L-#a12Y-y?(),kJ5Cff?ZmhjJk> t_*E˹ʍ ۆwf5s%gA [R0e'B|^Q*|)pE6)oy Uo6V+xcB GI(=_U6MPqb'8 '+a}W80Ol*ITFm[0C3׶Ź\,Mܲwsܟ:hS_)}bX u"3Q W*%M]ZRz;3HUBH'9@5ީN {UOa2EiUc%\~؂E:ӑSk6 W@E,)^0St'& q-yMBR zI{j۩ud+9SL 1BN3 Hqw$oPoӅV($5aS~xlݡSRH)RrjGa,!CrӸe{U$AwiXh_xb~7:`<~Oz N˸qNwom=hPW^yJ]cہ@;HG~`1h1Vۇ\hzHn1އ00SrMk QBЂoo!Fdnh3\GO4<; kd][zOԠi6u߁o殂qD Ni+h^>0>C"$$dphu$ΧOf |C/ӖQ*"/?۽ |J`sNT7oW,mb컜ߝ[<ϸ%aZgv2bEv"mgglbgąC|Ar~;V=3˪" R?4Vi9%{jX Nk=X[dD`i1ߨ˟ijfȞЋ9AK'g^*va/f~}B;p gxUS^30BBr(QzVt25 9B u| )~cyznIHQZv|I4*Y|L(Q^=::w{m.~>3az7hª<ܳ^kd7%YqǠ2|1{r0'AH5f*JF 6Ǜlq;ek^{-'WK4r~aLSEV߰LㄳB @c':*K&w^}>x F>s{GRvϼFX \/+(# a ){O{jbOXQ P}Q6e>%[tv gl\n!]|@wWw1]\d4Ҷ%W9`Σ޲w0̂U0뙹M];@[?,|<0<$Q$ [ު*B,Gh7tVv[$ޝE^Z"y Ђ>29Agc#ܲB6mw]hcY~kQ8s!4MQ at_gAw F)2-YSօ޿~6&jbӁ/a{?Pܾml7l'?Z-N"> Y{&"\A(ĝTt#tΌ2] 3xT>}:yOΎ ͞B 8:?7kZ.o?MuL,Vh?j2Y!F Õ3dR$7lB7+-A*i`cS6ȷkN>@[*ں|y8YЏT΄|Ue%`|m.ՇJN#Um؅ pzOL 5}eF5~65^o`jKK˄xrq=ay\֢"Qy⫤B߅h)zS4\G-Q6mwʬnjS!omEᏤ9 2Xmq}pGG *O R_O6xs}{|3ɓ90ԑ!:} 1+Cg- Ia8?nL҂D՗2>OH$ gs8܁euDž_/PK@ >)c1R1ׁIW3/3GnfNG TIZ)ߠ ` fo~~PX'n1% [P/MqDSy8֝<.#' ] EB^$5^>[/ i4G#\" bLOF* ek]x[ rʜ2f33Kef ;ꬎKW8zFZK5#_q5r_;hhD 5v uߏJrWh|qGQX [@FF=׾ 9;[ ] gq6d1NTXs{ L<F=h+pI<`V擂]f-u9}m[hG4\-P^.޿!F߭ԢK?]Ewx4?du1RXk\լ;/&Rگ JkJeLswn G5MqV5%6pʉ +LybxX3*1| NRko翾MDItAS1V4cinHαmbI`|Lb64O%Fh4 ){]"lkɁY"QuA%Q: :>ᨐkD-iܕe tq='(w9;*HdG~Îq:]Lb4~KH.&3KVı RO>Ghϋ0,=EBX!kujʁjΒۉ|1)j,N rii@ Lbz^avΛ4j/>TE,EЮ tS ؋ 1T `:؁9ߪ`b7\Z.~ò CYXV>{yvKX=='DT_l\}̠7E 5dxNs~wH p暊PvDϡչ(M{=:瓘3-E.8^F^W(h@ ,COd=t66?we[j[__1'Mr d۽MQ\+Xlg@2BEK=DuyҬIF6/@CHo][Q$9q5y/=bV HR =Qdlz\URwK;$m6c/LR >?t{ȶCtŐꊥ},"-=BOnnɨDuCG&b[uM4. 00ľ‡mE"ʕ\/9$G)uKI^wa%?}1rѯe'$'OԸuK1= g)#>ʹ*rW}`]HY)Uyž)" o=3.4:9bMmq$Bb>C~YTvϻ+}֬:-PoC s]銄x^s@OH$meٕ%9,οnçlpYp^ߗpu/t ~/rK2`Q $ڈ3h'xmJTp]lhѼ;-!72^Υ ul␀jY1 6[n]tRR.p>ݩ0- C}@"WCEy&m=IcS2HWU(XUU=h^1ukx׶H0m$~n`)l5 6w-~@us7oJc-jaX\`[X40wFoz͓I6УG>آ &_D6iWd=3lS-2?1*iO z֦?.=C3]2/)/{ )!@|æeRvqL(?{IA|qn%3|!&v+Vyi0e qq+2FakZ??Waj].@]> p8GLlr0k9,88-҅> +; nuw ,KO0 &nG?z奇JRߪ(%V~TDB\o`1=鲊/jݓM~ѵ +Б;Cg?h,ԁoN-Pœrg#CT׸[6\%B&~7n̓WYT/*&~i֍}Z?u5";ʃbqeQfɘԈu օWufdc 1cգX:&\ƄKAgĻXxYEO654m"b'wH58B=xeMY3CG|Xbxf}KRyrCԫ+EFl~Y-U8.dIDrot:nW̼d޷6;7bWxvOl:ԙ3ƴNLz<>5:al?W+yH}if#C˝gLy:k*ŌLٟmH+X/{aQYثؼ` y$+Ff| #bB 9kd/ԕH"Ү𿶲N}Mvΰ&ņk&Z79ܒ`AYD[*QDlA8RE<ŢiSu,BG]%! {KӠN& M#ƨٳexjwC"o&>1֝ʍ_ߍQ ~8!O]yN{vcU t%1?='.ׂ,Q/MQHXǣlv]`l Rکy|!%aMǾwī7wr}rl^59NIB ?S`h內Qų:@zL=0B1/1&Uisʡ%$& Q8md.TX«Po.ˉv{1RE2ŬcڿF!&2Nc]' b8XwXy]`c|ńx/ۂm^iVe 6@C"$r,#JV?o@D) g4c{a<_&>[쿧cO @1,''yh㣬.CJ'+!*4˿@~DiNͬ'Bha$-(_x\_L0x ٬:ڪ3(2BW@NܹցrEyRw!ZXѻ'߼ D gej}S!RNW& ~I 3ȮD iз۔k2pi>N;oѮt4yR&\^}l5N ?އ40|A"l)\?y'2܇3 5+?&-m>: Fkœ^Ӓ `0cǏ  _͠+C)?+#\bςL.M\yM欔VأDjQuyHүJi h.Aàj8T@'/}q+{CpД\$W)>u齥~ HQv!Y@y!jt-o躵JvK6Bߞ=i fGߞfʵ'NtY ;qF $! ԭ^Y2M R 5foldnM47,q=2Pb<|S@#}%Br941sB" ̉8db0kےob (TIo%> I#72!:ʧ-{jG $W3{ Ã8l*F)L3ie?*KSK--Зс Ú6xR+^PY ^f}&A6 㭝uP.H'pa{2neܝ(='WV3llzE9 xNFVOS4b|ADHЫw M#V o1} N.fdtk,OU>jCwu]>6Uw֝TU4ݟs6۩)1ٲ+So2wW̤~OVJ❓ 4H*|tP!$E}Oڑ:4~&%vm gBY4 gLA %{Ho y)aY1{`*bvkUKxe~УJH ƶKc\TF;e= O5mvHXjAʂ}-<_4箅>dǂ_ŭtk| O,uFA҆7'KG>WI 2N7$:\ gGcT}~GۚXsڕH ReV:.:#|ɗ j=clT~M+֧J@&!)U߈="%vRǠ go`Z;yFl;e럠/$xV-8jZB$eR+n\OmKcWJUZXJT+7||hŌQdzs8Cyi$([s7EYwn[Gq_R(S$!%n)5f1"&Qy{l[E p v1Ws[ca<^߁W"~00C)& g@޴!~ 5m"+*U0m ´:^$y<)7n@^1z!$:DPO¢#lal@׻-/'a)Ɖv /g" 1=. Y"Gwl9m=1f}EvF|A%2'بX@l%a68_MNj\Luk,5" ~iͧ1l5ȵ)e\(d0 <:-5Khi6R+>0$S~牁4PV3O%/Ϟă1rr}g }Z FPH|dʖ@2R^VvjMGRr*zلg/&x./{ ) 2i (˂L[{[E ɟ @ѝIy+ZY,eqt#c|yzɑ&Lγr-!xu|$PA܎ L^?@zCyX}hO8mC]{FQ'BfᤘW ?cR^R ɩg4pFz k6XիUtщVB?}Me8UjJ̪ wp= Wps.ic-Ѕ|/XN1Bp'9ޛnR)0t~-=k)l@DŽ1q L2 D_S9[v(thw&_Pdqe㲴Rhw<$VKymIA?"M [s֚\=ITȳrvR&_(5 ף L gN6-vl bzv>ز]0)(|`/\˗ABGP=&f줙xw+mv%krdбtYi dw7%,~` [k+ ?(WLH'VЍ۬Y@lqn2NR9y^W(<~?Jpu.^a/t-#˨Fmn|-;AMZB$NTܮ~UGEo卐Ĭ[LQJ's/"]DhS?5b|*4y%y2pJH 14X4r/!RkgFg4nzktv%,#s}H\nihCԫw= aثг4R'*L')kY˸)%fDr mדA=vvQkihzDM0ha) ^coyn;ഔj,MN刈'h︹48# %~%m>x TBx=_[_?U@ةs7dz%9;"@. /ux JW,S Q p9]ŻCuHW3F37Gtd!v.ۅlU5 b96hĶHkeL'iE**IV:~}F?8.)ćcnɊ OzΡ'J )@}~ 7=F$LPEǢl!ĐLj SaʆtkR&mt m.3wHi;Fr v>:J;ԉUL~B^8Ylh8v&0dYW.4Թu%T[Z/ȺzB,V“?b N>m\" *\!T z&)i9'd"3@ķkжVnmPIQg? +2 iblķdly×4aCaCW -1'/ɏ'S.݊ZCD¢iz<Ύ=12D *- 3*[&+{A9ih~<2CM'7Wy9d'wL1l=aI`Z- rH0ĕ"Ogr \^W{mOg\ãl#̀%su-jzt`ݷ*%:€ 6nc"#hGw#u _2_>~61Fω}}8@XSOp*fw8E55z/ÄmٷkЫ^E 9IZ.'>5yS팹 {R1Z]գ-_cLI?15LeR^H ^4I"%teeP՟HRYdCٺXn*dlN1@9?Im1Nij@=pjE5s"K|Bfږ$3ѠdU*Aj5ʕr*} -g:e-S#Õ\+(% 5p s4P™Q9a#alr6ƨУؒh $(tK&>+)f_Kc \5?oi朚[+s7} ]Z[#qz7E6,Sj>FpsN|h:ZUXU2YSqȖ+𑧊^ٲ\oŷa+\(xCH i SlcW LdaJ}15 \Q4><w6nXڋ"=oKeNQ f\C6F:[\zvQlb2d60$sGW8CߚVHGmFE5jR y_Aq_gtf+v&763 !h7/^2iƖwS5nnQADR>xx&ZaE2 {@m}Y ȗ z5 "w}tIylo֮$lj} BkOqൄolU){$UW&O/r=]@]Cp׋B v͹(.F8obBn)QoslVj "v0ڮ ԱoW2=fG$;38L;5?6K:a}3j ?N\o1] 0!&-jYM51Nv=RBc.݃o)ȜS2-ig)+]z PJ6LTAos7q16N|NFS/6tnXٯА-ja6dv1Ik]\VF3Y|[;ﲛ?Y!u D8r؇ oNH˒ Hjv̀r"tmO0 UIU)Zu@L?E*ur5e\ѨChIJ< &c#|ʠWàDIҚ)|R3oZjx? 4@#&le[`\b,߰ -j> $zl 4&wBVCA%~RxjN;cPǢ1Ju fC ,:bhG+wco"pJm=kvIb#u~),ڵ|A1h^`Gęt\&\dvZTG deAm'_>'G0$EkxZ?,o (聮p:΂淆ݜUoaj87α{:bö}<}@q T \뛛.#)rT90oۂ+84a5(޳rxXՍ mlP ٶҩ IEU/K4ߏ9DSpTwa8vĭ.Fn MaB>`V/_:AKȭzD; HlTO4q9w^]Iba⣏OA/T2l1!?4[Ȫ-.irnŶhŎҌxl}mel~ 7fprxFE9gA^j=X *7 X)-/S, ό+tBy \-m @B=kUp܂g\ܫ_@߁I`y؄kkJOFZt]17/yױW@ s>лL߆2feEto8,=4@V$+Uvk=q+uKPSp'e$VWUSaolHe9niqE Ah3?I2:j]ƉJUu|n;/kTD/fK<05!NzN ^E yKj|<  (Ɛٵ~TeFUjRt'\H$R؜xi]W$+4`n7Lq)gč%~gAﰲ.gẘĖnZ]li}?휯l ԫ鿥d9ZX%|7 F4wwd 493'րJv3.aD¤-ձ/\UhxЄyE6Qx dǍ`]SA6 wt(PڏdX({hLC 鹈)ZLo3z"yvJC[5b7/֫t$}1{eR DpL/9AsGL~(D ?*ƍ pbfpt@E,:z_'印R1N %0 ,Μ]\ӁZ!-7OSZ8HŶg@Q;u dvܔ= 3zpXRE?Hx0 ʅxJ'8 a_ iҕw"| DYlϾrŧ2#7!y bN4'`wIiA4>% ;^%.إ мmgI1ExCXۜKgSK 4ٱgYZ  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{ 5% ,LEMHOL-Library.Multisetdocument.tex7zXZִF! 0]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`dҟ[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N9UZWDfHYA0: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~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`ٰ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 Y BY~%% DLEMLEM.Lem_showdocument.tex7zXZִF! 7v]A-MՋhvG"uIBm5!އ N=kre2waA*ksоu I ,Z#NLs1^f $k?#I:662k%+A 8O~ ;|vJFsaYH=G|e=Jt%euu j!Nl uz)/rO+|.r6ME(]}IJ?<L˺{bs~f*[})HZgsP挸F{+Wgx\ 0D!Ϫ<"a VᨽJ9<18U܉QHX( 8\G9?QڝS .O KDVˤN8:wѕƉ"ثګ!&ċ-O[UZq/UhĈ8!ߥ0Eh 9Rgֶ19X+#Osxɑf"vۨ;x5`JqH2蕝1~85a)~Kg>&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~<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;/% 4LEMLEM.Lem_map_extradocument.tex7zXZִF!  Q]A-MՋhvG"uIBm5!އ N=krruB͏s~5Q8ꑽ =/CX>]=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  6f-% 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%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愱gYZ  % <W'% tLEMLEM.Lem_tupledocument.tex7zXZִF! <]A-MՋhvG"uIBm5!އ N=kr i~$^f:( %~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Ó( YjEgYZU֢t!2(VCgF,'^IHӰ$T#*Y:z׈ '3񆧕zqa lVJa-Ɏy(J+f t <3gYZ7zXZִF! R]ŗXiɟ1˦r?p^v3HFH1(+|7K [ qZ6`OG2vUx#q8;z~ (i(r.Et4}3N(REkXBL;A$UeL)qN);)ЄTU蠛8x65H CF v?Jӽg, QL2nN_Ni(ZeY=u8*,ĥNwje Q4x/v8m}/PQ\VRlڢRAs ]ym_3.|,) 2_Zg,*bjF<_[*Xݝ|QBwӹkvb jCpgB+fXFF`5 F%j7BVTgVbBv7j+* -1(1oP;0u̖q:uK]9, ^cٷ>ۗz~pF(7L_e26#O*nȝ^IJX۟B+3k~YU0nwNɋ~-FMu 3j!9h( \wqeߠ3jCVnS]Xj{\i~Xb_r(I\ӗK(?V[5ɣZf%]}zѣ4v/&~ܔd'5J#XH%3;3-uUAပ?Yah#돦8V bFzqO"ZTQ,6FE'sJ-b-aKșXA/U1Cll}Ozt$4&Bs+R߲|GNw.I-8 =~-8PrJYi8G<^O!ymȂT/#m.紑KPQS /g4*&i5SX"t+TN=dw1JXgatrr8jp;Izoq%l=2jU!0:[F|O ڶvU.bt)v9lroMz0/lu;\~k p(<'Tpީa@j.w:E ੏x<5(%6-GFYJoEϕ~5z:/ɐwSR9Z`+]%i H )u +~}_qч=a\V~AkDiRtlVP|Rh8G-v<(w93$@ ?+7Qz 1^D\F<n;jgyi0$$Ѱ 6C՘ޢ9]͓XlkCXSm^Zy2x|ͦ*, Qu99NH  ?W%!?@҄aD ୋee{D %6)vS7R58PjGd{,,55`B`F7:4@֑; z;+q$/A1Zѕ4˵΃( ^0 MS^^K}v)qO>vNS6W ٹPQab 7T={w{ZpYX_6+ֻ"lX>3{QXϰM?g (BP;GG0!e&_9 f$fcRutP ? #MP64Vz'q׆~NtD0CjEfR/  AlUмX1 \$/#fH" Pi/1mLM~ kCgWLXs߅P2:\%vMG؏2VP:Q<7uBwZ o-b*fY;E9Z G%u}i("C 1!Cfn23w볜ٲreXqІgYZe4e5835b88a932490f4152bfe6f222522f4e9770adf620958a483c5d99eb8b585d74e10e62aa36e9 592c3e8fc1a619dd78c917b8e580c01545553e05 4fedd7d7e8f8bd3021f67de3916f38b4e9b24f28 7245ff0d9fb34394b2dc9311e9f73d035e653d84a8f10972d5df46fb07bd6e4d5815e087c342e5ba