SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   F5d ] HOL-Nominal-Examples:threads=4elapsed=427.954cpu=1552.336gc=108.752factor=3.637zXZִF! +']ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aϋe& so-L0TzDUHm| M%JHsoR}ԌƳۖRҲ-XȀ[&Wu6P*a%S S N3kXcojeVA#UN٠T ^?*n o Ws筟PKn2G] J@+"으\yXOȦ@WB#27mqMA\WOM1NaK0MeccT ͵} 7:Q=tcO~fA3s8JhH]%F "벎cmA1G^NKS !h]ӼgWL?4Pg$֞(`1g.ΎCA۷?r o6 _5y>`eN+/-s-Bʋ  n'{_J ۖOk~8ץ nUG ը'"k ΁6;;M@Bn@ϞW*iO&<(J*a'[#k ,%8[Sү 4.eAc8ϻ/ȪO.0^pU>ý7TyֆdT^6 gjt%ǻ5hCVJwѵ?v:8O#5AbC]S?7tNJ.zqV&f[K逬 7]?߭҅q'D7ce5;gi_r.cCY `mJLD;h[4[$f9<{4¥Zc+,f!F`g9( Sh)Ac#l f#OH3Ot6 z1?vm0MYL|dBBW 䆲h2]%Ur*Zc 4G{r>+`PD낅x"b/VxD~<NrhF'wYNޔ+מLD<~2Б:DNP3FiڊWI&^aR^mLԊg4 F] "d_Zb%oxGp֟Ninh-pimdb:B=_xr ;`d}W])CĤX20 Ǻ1m2꘿cȀq{؂"_Y }fJ :OFC|ESrOusUE٨;%l[@p䱏* mmdFegq٪8,Ѝo NM@j8WxM}W]PHP d.j:2H6K#}r+^Է>2:x\N^ {IV`ʎxjv;$.鱳lk ""L,[Q (l{::HzL{8 ؈SaN4t2t+g*8T(zO["bt:J&j5ig6|TO *K8q,BBQڥűulYPm?ـ>yƨ!.sԣK-Pi Bfɻ@`Jn o<^Z} o#x*՜l1+@lrjb|Zs!6flDE~M(+:@cB&2h6D  Vxڻl/]صCV%3ѬᆪvU'+P(WbܵuzoA-Hdl)sѫ[*! dcB]eWSKI8P'#/=5fYv&*<$yg6 ԝB0UR!Ȉvi(K C4rRr\x:#P$W:GaΔ"{yLP|;L8SFbzЦ ʕK;[k 5{TD DXDP9 T3r"!rYVsI!chjxƤcp/t쎾/#>34q̓>3ZlDgU>Znj':w~WoQ=:^b"@SD*ց,:D!F0>g\Vާ{ܹrziܣ8Z*jҔz.6w+Y5}mϟoHpkk` ˗F>e`̞%l6^DuNu=tjoazl?i!Vi:ݲ(A$~q0rZa}1#E#Q5IDvW~;g%!YPI\͠]ip{UߠWYĽ8O3)g](ߙIfZ2˪Kz /_ޏ ) ~(QH[9߃er_Nו0DfyHV< OaAL"=dǪ'[-ax+bcaP;Rp:Xuhڔ\}E4-'GՔW-J%X"Eٴ/JlvCO Wf iIk!7b Ov&XC%Q]b#S9emgɚN7G=sNkil8ܰh P%^ݢ3& (e:: ioI4fi (g ҫ%cL%V~W94|ِBFԷ@ d&1(d%.wo[I>fg=֓5o`Y FKn;odwD~岲$"BGQqh \. }q;Poe dÂFLR^/t-l SQJ Gjѝm% t>blru2=Y}:_"ˢ8B!H h9ئqy϶Xյ/O)6c<0T3[ t_覛1AtpߚI|5zBd :@0kF'R_]>݂@k\p(HD>ac t|^bjo&\{9>7I` F_N N}+U]D&Ѐy!A_HswC^1 4t>ƛEރ(^%4N39̿'Ҽ|6} Ouu*̔Mh:]ovԄuӎVvEqV2[k0ٓp!5YzdwlmG{!MбbH ;eq)p$<;<3'}Ӧ-;*(9@`VlsTD§U)PQ;[#h&iyRD>Ǧ4&è8Q 9_@jt懌tCGj}W7sYܝnoc Vx]./Z~ŷx7$\b~˗gĪգ;O3ފ@Z]~tKM ^_22tg9!^+ O붾.$M"wZC_milOQ4ro_rL%\}Jl^G/Ogjk|G.%3#^‹6W25{6!]“ObB?-n\]MqQcHŽ6pӸfjM#mdiSLf`wb,bˌ5'+BօJӷM0mXDwcBC& dl{_ iʔi~I)`).֔6FQ:d)u!SM6! 0q=#` #!> `S7 1.Mzsl@/2am?^HH z/+X (DCPqgXT:;3aS!AḪ&+pHAFQ&*S'ٌvX9*;?M SP GjMrށ0I5^XeTKQ:7td$#hx@`Ta$"އ+p?;?}t/H$&hM1eB?VZ2e dj4 5-@ U٫s ۯ̺GKi^,p=dA)K.!Wbr{ و" cc1>F!~e^OV aY9,q{M1RlqQA44~( ; aMin:XayOʶSU/$Bs:;fE,{,UEY?xrCb|J%b:b-$I~t8-!j$Dz8tpڔYjn.q(Tcő7!1YMCxg _HOtx.CՖxM{/lϱ<|ܓ{=5]7āW2[0)ܘ"BZ9g5ҥ2m7?PvNU,4^4Ɲjg|g:s5$ʲjKC+ʢ[;~FqYTj7oօM:6tlՓoNSd[Y͢w@%b ֨Q(Vӌ[ [ĂXvX3/O6'f4wƈ:fXICYԹ_CoOa' ^1B+HN.ן^߼dw (kMdek }m#g^?A!F|6s:1gSՏ":";sPmsǶ褜dNoRO7ׇ8p񍳦l'@wh'LC0-vSvd9|qY7^ >,,UAt&>~ok7 FVL90̝ш21֮bo|I`Tse<}x$cϡVH_-E.{Z.Q6?X\NA42 &`@E"rsFO\YM.A зxb|đNCaxLV1|[% zjuB&N/9L-L "gr;uH7$jx2>#u-"z]F&ϥ(Ľc0fs\̜jA<? (u"Uqt"DtQzֺ_3Gj1m6Sf^F5sJ<+]e|.ͩ% k7<Ǩg:=$jVѮ9gI Z܌~ 5ZVN.KK#%D匢ֲↁxtT!i_?xCGn5k*˂F V9;)GJ:ښ^MAnμI)jyqNFu/хj`rHfn'3_4^RcK)\=IFI:/M]ƹ;ש8Qq}A0^WJ_݈<8I.705ؑP9_fyU6ph֯qa:m"Pp7A=VR ky` L#N­^KsZ^sϒA[1"'#'Mf:h˔! by0A-c9%[,nw~CBP7z09Mxz6>唺KlFzaEnO NB謦ϫɳbM/;ee9/^ Tyކ mߋc[g`IWzS:YmgFu2J%JR 7/A@o+\BFkW& 7oϰ<)KB%XT aFv%l .a%۪{OOpA2btߎqq5v^R8#ZO`Q'$1`LTY)w'F:9K#@" IX)%-QZ{ftb1v/r%*Grp09LGr+H 86}@N>zCZB|]ڹ>~3P@gZs ސo;q`>J[j5D= C@o[۹ͲrAM!Ǔ[nhD 0 !qKIK!!)J˜X;<nb˘tbKd(VTj1v kd O ^V4--BAcr$2ѹgtw_RGZ񩿅s?_G{MΉ R\W7)̻e]|SWX_+[Q\Q`&QrBPPRsʶ_?Aъ^ (>Hѡk [ij"̸RjqZ$KĘJTb#'2[~I?B?&%fWmﶡ'8Չr2. +FZaԴ,*^ɩOqzfTKgc GpYT~q8P/F5$hH#ɴ[ X\C/ b5ÕPsHm+܀;6!lL*[[EUė+GL-Vk6!*S <mm^6T'U8rzD¨'X2590)Oʆ/BOc͒7[m4!BHE㯑 "GcM4鑾703ѾE>?8"m )k阪]o}ۙ j fpz)N޳ؐ&B""WY#tc$;J!$ˆ_;Z1C}{nY>F>Pι \ ~mAs3\Ig~38"+dn)cgh]dL"8 ZTj;a&x+}C\h 8KʁF \V`` <.䴜j)&:6byp~8T5#œlWD+9-ճ9rj7oWI ;dsJ<2 &ڔ"nf_]辑}\4S#mHJUNG.?3lD]rE)MܼhFuXW̓SqHdPm8賜^B Z0)^ZbVHN~LТy0kQLò:K1PG%"~>m*  ҭ؎X OgYZ7zXZִF! v+]ŗXiɟ1ʹ l93攀Lx3 aiciH1􌔥ĿָU#;%w5p9y&~>t b(祻@rАC.@v`ƀ]wHD`}D;M zzF+>9 صK\ - B ᑎKHOZL&9 R1VgX (G z}ur"`k@A2be.jڴj;dq"޳sӉN4s'l9H/uWKؽD*(j#tiq <}nu cfsxC{9xna)Ex@޴% >'DIbjCY2dh=_Gyv?VzkQzrn } eF_K|& KWG?scs c?;1g \aU hin$(ay &?S_+gYZ7zXZִF! vC]ŗXi%L I K7rȉj-{iҥ %+t`?zy^ lF BAiZ&hK{p^@|;1,`Jǟ14.GfdRCӍs{ޛ@sh8ȶ̖ !<[</-t(frbtrτ@3V߲ |rXU,V)o%2_lӘ;yv'༚H||; LxJ%dz<"<^jgoۇ]-xڤ?(a=B䳥m> ǯ4 hzXy$d|0erH=hP{ 3Ź?6ڝ<U+#xUh^jF@vC;"hSGgYw-IJ#1C;I0YDԮa"_ #N2M o(RL@>>?LVm(G:'3Ahod;twU΋̲y[9yB2f5hs7Z( M>m\\ǵM[ZATJIxs;KKT X _ 6]BLM j]7_J}aͽc8)I'AKKUj]O5kb۔Fk9?_O&hT׶ӠCz2;:8j[_>2b1!!MSI3-&MENWDuWZY|Hb}/x~±6`\=@xp E?ZI)1u8c+R^"5aO[kSD+w/5t23 :ᵢR故z|*z!\qY,nZȟ7@(!,0g}j,U[_tK}Y;/wZʔ8ukMrV*2s9x7ĒU׆g̩(7702i W=rqݹI?(.&Zj PÐyK3`wVoO`vKp.CLrͺ^Vp{Y]SˣREuk*xy[' rͤէ{[ ?&=TD ӫAF{JĐq~j= =VY޴FDLTK)M{!Q`,-XwoDfrYp~|gͲdcD^.7!l.>,] Nlmc9h%].-X| CЈj$fݍXr ]b7>񷜰a3>G|`ƥ4&Yk`Ri^~pMߘ,sjow %jciFiqZ1(/la:$ @DgGF~d>"ظn+9(:c+ٔM#_vT7lᗑ3*lF^Jj/9M&C1ld62|,KP:)1ATG@9Ϳ. *.*_f'o E*=] *Z]Oc}JgI&Y^w:r!⊏\ue˰9sթcXVJ&:E<L|Edr=!1\ӊQ0]?Q"@ Fe%Cj` (I|jTHWQZE&E&/e1vƺ_ Z-EvS̈́|uF'e`Ͻ*-Oo|p3cZ)mJ`Q0%& .ꁄds*J C`2H7Gzs[HB%JjlM ae/@wxNp+bD0~3L^:慠 $/c:H@x:EFm}\}Q3O00YEʾ'R*C4/Fv#`?, J.!}}٤X|5*f8>E<16Y,~D t"k0ŝKc%~L)v/ez3,w糱Ռ j3x)Q 궊Dٕyt(ַ/yAUBc[/C`hPD%T QhoŘ!4Vt^fa 5٘4}cjw}ʶL~أz)Ƈ>cO!|\x2MC=*# Z_lk[ Tr$  <M۲E91/ jO A) (X}ss-遥#&AA( 홧R;9>TRRHM;%Z¨Zlg. cMe gѯRΔ FCѮ_8ef1TQ34؟찣,Öt XLyЗVz+F"p`8gXD@+Iy?MVZ-n30xobz\X] WqߖѲy|<ç~DJjcHtx͗`+|ni ;MK\T?.M[-Bu vk[}([gk#L=_#{}%#ɼZzRc&u]I@&Z4HN<"D-Б+$.8j]kmydKthX;b+s Uj|[OC]^nEUG\%5);ōyyԥ`laVa r3KT7p j ϧS7dcD8nMm5 fb) g_8KQwY%#MN H ;P>ȭyNl4  V t(|^ˣa9(rvLgs 2K'h>P@ dӿS5@l?Ӟkk&Fzjӓx``*8U 겸4nb8Ym3awP)a\K>R_;S\Dͽ%M*М,81 2n*tOQC MM1~/[Ko7\Bt|PN\E2aIZR5 )#q RˑZyGy{qgⒿK2w8nFTl+yBmU蒰k"U210XSW1K2N; Hά4iQo V'9_szK~S_:ͦ[7%+i+ #wu*xFT-C5bݞSD^1e;m:r$ѬBxpK@@Cĭ*xrN8x!d2^XF؍rZLĻl^Vڑw`{FϞ>|P@S֦i!ZoT0 eO{@ ~B~5 LfzkEvL)# m4[VIS4ơVXUu@U} ȸ-$7n4o YZQ6Kʼny&"ׄ!U*idW-}jOTm6,Tb~nW |z|Yqy{P%8]Ku l+}]uBǸbY F|b sF傹qv?!俺Lgl^jBqQ[A 'q6:y5߉^Ю#z@c2"%@j#a퐥,qqkI\&cc 3>;v5;.6sV`}v(}3GOdgiQwSL"Q%$ӷ7{UbO`3ӲR/oq/[`nh,Y 3X"qO%kɣ=Q|HH:(~BrG!oH1Si.iATR>ۿCY/r]5>2Z]mh KOiYNRs3(!Oto>vOV'TDiXU-9}'@Jx&bӊdBYJ 8{ T3Q;Y*i8RB.#@@%~)$M"n=ISVP*},[8t(8X2F/>vȉv2 '{̝8-I"kAp.0h0u6WW z4:~E.P3\S6SEN:lK L*Ò|xXoIo-i D;A q/c# t1S_Q=HZOY-F y7_:WAtPe>}/ɔۄ;>&q [|w ȕ{=߽z̰ ϐ dF$:6GcMpoZ 1[0 ZIFMi8)| +ŃC!n@q 6Ю18 2 'U0ڢ~w ?u1FR6TX b/f@ً?b(-)Dxm7 ɚhv[GKP %:l#_\ R{zvwZ+o.0ά/&.q^hL/޼ TcRLS(JPkm$$u[)B  GWU9;p؀R< a&[P7TKCa(IJliHGy yƦ6TQp([DyO,غd# CǵZXq'rHhwY`OZ(c*sqR1.Պ>[:)9k[0Ծg?˫7E;F2L>_hP􇺩 A8I`9O~J`͜9`\m-ǥJYGF2=z*BѽS7՚]Ye7&a5NgD (lfHEo>`#jT՞Aǯզdr!dr39N:= 榧&='8L.a(PBu5)?P?Z쩌Gk݄5m=܈ J} \ aȷE6OpLg);O]R]ɌP W@hu+Jü"ƞ;QvA 2[sS'A67ǝ7`zAڝ"2rWofXig~#Ͷ:5wLE9):dEs>9cDrz],*r=Kӥ)00WĠ`Za/): Bs1IɌv;GT~n[o2~rd>V(&䳙s4wOUxۖ$d.;1f{kQZQQ%"L ԐkVabc4O}lL7j[C伲BIǚ@ZgsS͟LOO2>zr9iTm~,+\J7Yyx);Vni%x?zzʒ@`7BГU:!iݻߍ@9=f<a-q.!f_:mXzHdHm(fU?P5+^qM ȦS< AZi sDFfEޅW{37k2;ƣ_|USrD`I5Ʉh( [_;#ޓ72D שwb HNTf5"P̊^(Q"? ^o"}hJac_ϻK,eP/M^G 3mˎ&´KA;$ {g wR78 :E0R+P&0TAYe^pf 9W NJ,~es deB4qȲ(elA 3+'4]'ȟ?kxFt[Du>7ٝh.hwۮs!y1E-ckzߝ*peڒF{C/QH0='PX/I#Tr|WYعJ fX/nr6*Aj.S.6f ^,$*?ly -ڸ9X&U{׫$ ޭQ P[b$#gި@ N>4F7ᱪ-R!ۜ:Pq$ko;=̒:>H.f R]'8(L-OofO'>.w4=nH_#k M#sm4]_,AM,N'ͧ*onX/+J ȭbŽXJӐq.<|{FgDSXJLMZZsuW0d-f8.4@ K[]ӕ[Z>,V2{~ⷐ`jĦ>~E ^oT) h9ikzo]T&A=cOPem=j1NRV`>8kl!3 .ƨg(g0XjH<XYD1G̺ 2'D1a,6!uɀaDkG ; әBٟ&/\"+;*5mX&*$C^Dx P 'cUT\T @Uy-:&*cO t~`&C'w#iZlij,![xw%\]BIټFilZT2a&C:Xc~$hTE7 Ԏ<ԓu;Bd^dN ZpYEzXDXVQ@1Tи#fdKc\':P&)DfmLJqɺwF &L`G_41,4P$PciWlq:K04=r}ݎ"௲Oe A<Ǜ\)W&&kzrj^TMqJ+8DZd^%&bx=D 'Q-$Y:^ۿG[ўԩn>7o]Xt]Y l+BֻrW.i ONvkIOV6haTc>ֈWơv[AdVFFZq0Rk$/T \ =ZBgјZE䍼Fֽ~X;pyVHY.;%#ºY7"³/Q $MĖ!T_j,kn`Kȱ10z$G_9L#ҘþƷ>٤ ]#w%#`q}nNEw xsؘ? 6=s =zP4zo+&d^~k(%g I bAWs&3ydBĚQz54ЮzzCr6~vߨO:_Fg›8Amez[ lpDϱi-w'2/a[pl'' {L"6J%OB5j4`H%SA;ÉC o8#O^\1quJ TTS ڼM2fOHC64ۘY> O԰$`du7EG˘Is-dvtpir\[uy U)ژ)P{L|)KmaFd) lr(`}tG_XwGI *(wΏ S<>ncr|B*NEVUX5t /Bl{x674UWUo,c^TT,*`9͓(* ƝUA9j@K*,ɸXQ ~DbGB}x6!5=jlZˈm؟U 8 |_6$7#'clkK&&(#q _;8)ܗM :F_lR^{m៴gj?+g>쯎vo X!W/#}L->jĒ}ŀROh= ehC}E spVE[S1XjT L W9c?A_ dŐGH!ภ uS#3MgX+/M1Ď(x:kDbr[uC̞ZIUc+j@GY)b`NJ*VcUGۼ]8+& ~}U=l=*\1fY~] ||i9d&gSr;[ܯ[c̼E>~;TwT{ǟQWޮ׳h&m}_w4Ֆa\_*rTrb#x%J[9$t'~@q#m[ڴ $[D_w|z2F:ƒ:+A ,3cz}C:;i/K OK&7'I:xVD"#ʢ̘ůw6ehm$m°U7pQq_0=9Z^Ōz0Y2aW @~iorh,oo#Sf G63a {ֲ9BEӓp{cH` bf顫H whTB^.r ;jQ9.X ;`EX} 5˛S?r@y3>C+?GPjQ//3n2$-iފUOX-M: Am2]U ;zzSR3d$jcyQ{mM5#`F\УC_a/MU{4={KiMLLsey$TT&73o=2aEIAVZMKCU" 4 Ĵ5-E0ĉh?cS>T@mlsC:?U;itfmSw3A۞]^wqG8iaz7gsmB (>Nl5 sV 1Y'1LxI^"SS2l12*7N8='h+bf!eņw8-tz Ill[|,bZ,HGݻq' "j#+Ti#j@eL$ktɗ,62&RnZ Vi}[緤_7 k.x;XN|c4fs vI7Fw$0ggL Xv~ﻯ]R9:a>p:1۷7 b%#xuᙳT"~;?㐊b/Džo{Q¿>T0 x a-Ӽ@g vDJCi!SeFbb:Enz$4ը5L|i3ObKC:/o]$AѾ䀮ل’^~WQ\k{t4K ӁGR4k9dmӷrf,`8"CndȝT9$k0?soWV}VU @Ut<~_5wtz2ZKP=ab*T5S+SU5I 19GFŐ>NI5|w `&fCKC4vl}6e nCY%tg=/8E"l'nQ_vʿ~s_VS{! Y.w gFVҥ?|?_oc~?I=yqx\@ _oXaÚ]$GEn~ P&U2qPIvM_"蹏[Xf#)W۳}IP?:g֕jaʒsw-mT?}] ;.Yg,VQ#.oYw+6(JqщhOr=+ijrwTH!4%jC0 o8㥚+$2Ġqd`^^;j]g+0AUP{vQaEɝX|yTCMa6]7 K',GvlѦ=1)Uu2HYJ< z)4dEQ#>zUԛ?>1.n|a o?N~++9o]]r7ݸD(NOk0X*`H׏{8Zҷp|'Bhѿ UCJ)^bfˡPIМd1.szuPJtKKNMdۀ-:$(D?1xf Vq`X6@R?g'(Ԇ# AEPo8IvJ\ֿ"^L9v;.8IY5 lx.aKeV9'hF'w=ixJ %>LtL2+0w:>St332s J\et0N ^CdJ[rMu-!N5>Pv_rEaHᑴ}ګg)DHɜɈ$+XӠuR&z=1t%P9,}N,GS7FK9,|Q{L+;l%J`#ֽL6+2]Iooɶ+†g`!P.`|$.^c7yb C%^ &RJ> Y<'h61&(V?YPR@'ǒDo>! 1up;rέ.K=oH#7$Ψs)ݕs q;=d{ȑRm;d;'E3p$vh4WGs;;•馐ajsjP|BX|'59v&y~!ϱl@_8M<s^p"g-aH܎&E#ާhٯL7tA_ѵ @~;OY/WX j1! N-,["^_i Y|QIPnWv+7RFq us < hZ<4xzBGyz&wj~]8r n?s6@j1 x&y2A=H9F|GEvr R4]% @|AiFWEgWBk[_GRﲧ[vtۦDJ4-ې¶9R˨BU H_WhX#L+ ]~q9٠3J TP%!';!j9+*di|3ihVRPg4 ٳH_cҜ]1hLyH@\qV@?n|JXY:7H"荵 N6Kל,2hbQ-c #rex}v_ kc96ם6$Ki#ֈQOwN9?I'.m#tt(UΘ"G@LoLt-O"謳5*]Vy[2F |p|mvN n~-̟)L!VF6ڛLlkB݂?]G&kGa&@L4a-+#wpع Nyӟj.;z5QO l~K,15uxut֊!a+~P쟲s\ asq*$L4 Xq'[iAg8q,$:SK+춤WeozfŔE Guzb@^~y:@)o\Mغ^ooeKkE.,򜈮lGIܻvRxd@zpCp_Ǚx"'JWQ'ԉWIh/=[H|R ĆUAM}qoò7%fU%.BVi!dPѾɉV!0?XnclKFMV?o~QHmg6ħ 4,2 'C2-. hs.P]\ٓxz \S dcL^3[ŦD~Oohyǀł8c3 Co]Œ %99}_ᛛMds'+߬~+5}4UsInhՉ7B 7E6Y 59? 5._IWr|KP& rh  HXAНKhMcf^iD.7NhP7f/MD` rҔ3Xf-0cWK unozRI!GH—=p: ~XdTw܌!, 6#;n_H) _֚j BWXPBr(Nנ[͒[AۯJ;d0X,}%GM$l&W/Yl6㴐s*kfm(B*v7D4bL[ -95bH?b1HqR~kd~bqm#h"q|' 65= ft䐂e!)-#JQ,)}hQԸ;̝_dc軵6Aˢf nT5I:])qC^72%Q8 Nӵu1_Dpۦ_^@\//<,X fzY#`Ni?nuL9 塗-R=ݿ,櫐<ؾ!bK VM䨮%ӧ,/Q0Jռa)o邅[`k}:X$^ۻp.J-/ϝ*@)Լ5!խ=Ks۲F:U%方pCrløT>IHB"{. 5r,cMNU@Oۉ9fiƒ=jX RkLJvNՎ+ /#UZ1Vi}5B\ĥG/w ֐@k|Eݭ}G߲p;Iy5&WN,Mg0*AMAz+ 2Ű ´ٮU"cvv5Fa1: R6Tu\rj`_#oR]eڪ* Hr%ηe J%-X#Y=P㝽`fM ǡt=dW[ sB@lρ>[O J1%*+>&Z 2 F0(;EܢZP#̨USL-uЋ}Y0诹kf;ؤ>f(X6 9<4e,Mx:/kOg-fNW+UO0S.p9,`].b[N|ӱD $,$#(@ euvdp#`έHdN? , x 0W\~_Pܚ\sR82 *D҂\zgׂ'7ϐ/fp>pT?NVBF_={Lt&R9pv*Σ:" nslCu} Ҡt=;\I Q|C+*e[bn5hsr@, }X<^w0fFe|V|.?67@^d'Gcc'DwZ;>+ΝP,/x[Ze\H1t_B#~I!>(I0xpF KFAnh]pʉsO~"5MEj7Z~Gܢ%1/j(3Jt8 g9UQM+5dCмzAPMAM"?H[&yp` 9ܥdUf&Iİ p8m ;yA"YKEOA0gҧ\=q_޾St>66&9 ]zCY%{'Eݞj dpd¹?Rؕзkpbmd=1c7M[HPT; |C,}zʸRu܈JEt@5%SsT Gx>+^(dS6VH]XF^+]<KE2/xѽGRk6̈@vj+Tv)vQ> [E SD&dO/Qhn:Hվmq)9γÉ[W~0zjfìVCw@o1Yĭb(2ΦƗq~5,~t+4SVR,&1}5ʦ5ٔP+Aښ;G.AVrxt\/ ` ׁo4=lX4;3uz-Hl|EG3=Tӿא!1˭>^XHxt@Wlܶ&BA]XL#P# A4煆 8U3%wqAlJ@&GÔ'H)vnOʤ vՔe(u3(k+D(,73du0!Bv}7<]W{ؒ2uQf >QŐF"SvMn7|>>FI8mIs;{P/OLW4 .jm0GF̈= &?nܜf_&'Z"(l)A2/^r+ƨ2z em7H20Ha AS~MjGFǻX#!TzlR?jbqaozuge`W6<)1r~Vu N-lo X!’mN}@Tu 罖'C)ok;'CS1Mj"R-cs0ŲpFK 5b=);Z}X/Ds77(=+;6{4Ul[%hP0 A^[ Bȸ\Veҕanqx=m D^F([WA}Gl* b u1A&./uU3l qhޜ{Fv3ZJlK.΂,˳Ft!Dvcc$\^w6!rX#> V|ׂ}o7Th;yzȝei( Q_:e#1% >(/)F}FyqZ|} nʴ8?緬`\`LM>[jV\^.P+i\0tsI3Nږ-f/IThm8kO|X-;܂efg♇8ߙ?zB 566䠀*0DozbCuu^U5Bg>"+8GNE*dW 8rHH8—b\e\0cW9,"S1TY?sg8HK@`<N:C_\7Cu_'CGR0;:. :}$5a w6/~n6m?&REod|b GPױy?rJ^VX`Z8XsDyG)"ˤ̭E5ɩ )$:u/7F>}7E?L?%Flu`w]qoY"O1mF{Vfe ǤL6r?_`D;g&,],S,1//K)V.=+O9y-[F1.nE_rC0L?u" s{Xקܡ~;4-k%ք4\a"W!4u{1ȑ{ @X_Y%@9&RַsJsz%xZO0^.J/P&0:_.8\^+nh@F3`62O[/zIf'xӂFɇ ZcV)S^Z!V ~ 2!v%ю߻JԼBEj a'x$s 9ʣ]tTd)j+_;ʆliMꇉlA;XR  /f?Z֩O5o HW!xfDAעTeG.5T!H}mP 9q2kaYTOd*% &HĂ ͳ:'|D=zNzYhGXbƘpkǯH,zZؾ◣o/ !67>tkCeI ԩ#!/sB "Okx-3,;'BNye,3B ](X=]|ll6dK!)3SMr8x^,0 þ\s#5݌ F֕ƖӁ:GhF>G JV$Z}i;۔Db!Â<05+yxn;h824Gۦ"F/>hӄp~<1t<ۇnfzTiAM]O_pH 5Is#"1ƖVtBҙ3m@0'!Tl0.zqԙ`B]Fzs7 Frw7)wi$'I|Wk5[Lr(%Z_39Ja5`UgZQۻ'{iyW;zYyَ]y +BἑV#*g|eT+= EFN{ttB'A)BG$yzݕ59˧_;K>nvUC@_z=\eh~0`; }P0LH>L'dC_3e+JgO!$}I76 Skh4$ #4'raR/AR[N];hff6`#Yר!3I(%IDllҾai>Lk*/t/ɕ#yFdXҎ}p1G ,[({+"k1qZ 8KHxj@?,n[&iSd4}Kq(zHYÇ.# =C+X5|S>;UVAfo@M_D8ҨNt)cfM7:mތvB2{SMKU XlD0*(<,Yߙ!AgTzJ`Ӗseoӧ\)zJǓ!h[qWab+T%_m%j7G3eEGunk< U3놃A k|[DBn2j'txaJdܯ#q'G,olYsk ϷjoîbÀhi×&Yi(m.͈\Uh @X;E $Pi, \pW;0p9|fb@Q+|'TєvpЌ| h\)ŝE乺mMP6*Ta DjZy1znHYa 5XtE!|씌i+}2Nfx eIj1 3UeD/%'0mS(vsF iXD\latkA\I{A 8^DŽh3?PPW}o?qAbXƛt+k>S/1BWݞğDv J(;SeD#²V C) ؏'X{)/Z=ٔed Ʒz2)t"\I7^aqjݻo'w+Ĩ5=HAc:NL_m}fBlpkBS ~9q;LIuX`+قp׈9 9=X!L__=u_ xS^ϥT+]cLG{SH1O6[ӵA>tYy 6r]j/c 9i'4[V-؃*[?Uwi?ļcFwuG2ݛ+"g }~$Z냧kЕc} y Jj3a=z J UXb-:&i Wߥ{񣩑PƜ7g{Czdc<|Ӑ  NۛRhG>Z@;b0U{y#=ǟMگM\KfIf!-^2$8C4F\ڀH#RA*ǨkT2o$OAIo%TѡQ,$O(b]vw Ul#4M[f*GȊpOp,H-oe6.w\.ȥt*6B;)v37(ht_;.;霒RfB$UVy&)Ab31ٰ; )I +'#v9@"$x+(U]|ѧ1 8&5heiQ EvGC' 2>cKdcD= W5s&Ʀ|P:-3/@<>}e!IWa)֩GPt z) 3_ʡ+z6<R_>l+tQEeWG#; ljЗrwq ߘ۲qaF_=AX%׎)`G^|]M@ǓElfD8% \k vCUʼnjx-=K{O+f"b?quػ;Anr}87Dè#p~^^m4V_۸i.R,, @lC6vn7 hc#hVHEr;'Z\a';5gBs L4}`-P c$*z4N8ޙW/FP4̆v>U•TxAu;KhGΝ٭z`zC^U9}^{Z0 {|ْ݇|={ wizVs;m NR `CPQvjk4 ?gfºdƌ%`y55`zû^TQ}]0aIc{{i}xrI%>XV fYCj]sDdBYC*2UXu+DVZʺگܗAQ ϡ{EK/u2.xSh&t$gZ-1МKNVeidV>A}%k[P)Dk5sKw^=K##qIvELN5k /ҥt`on}@$vЌ0;79ݴoHP^L8cǘ&{ U|yۆng~ ̻v$b|#p2t#xx~ӧgл/Yljy@#JIl!Pׂ0cAJWX:1/ l(@=Kb\hEH{F8EyG|sN_˦jP)_2֛)dp+z-qV^~q??  }VrLGq!_U BEź7Ә{ㄚ9l%h?6[e8]Yu?Gb9 'BGe3g1[Y銠X+BݹT= vQEGh &dam&Oۺh$vGnF/BdJO2F]A !u$%_bva'DɜAڳbH RRn!BDh"[J)19@dm,ky&%79Ar1u.;wTLP8mT- 0zV\?՜IR-.e2Xl־bQyYs2cg~]TrpIhT\ht"\Dqjo.cVW9I պ| [ֳ-27.ǺZZBviS',,f>hSQ[uEuw z 1WxNr˩U4GGU2W\wjȈ% igL>`QU՝#旸ٵ瑆H=z|>\+ +(rr+;%Y燜w4~:+p :\n(j_  ;9DOt1 pb{/Kwq\7,]%\exCQ 5r͠ F Kf?Bό6? 2Øԥ T4Dl9$mL'MW4]ItׅwR։%مFA@+V9 5?!ts*m-kh viAgslYT{\j$B{p8P<.o*ۛp< vp\yfk !}ܑA<<lE&UaQAI0̏-t`<icٜ C9mICSuf%@q\~;Rnqvq@Y]ñ}t/?jCeUKqn xƼh]aC`:&YI Q:Ԩ vEfE  Dx^|i7M$uR,Td:BCvЇ2ܘx ~'a)cAƍfg=}砡3[y`cH;c}ĶwbYh@11nik.ZmHC:5)i?Ѩ۝dݾj(#l_ \7+y/!&Z~PvY |3Yf[ɰDIN?->@3H |ƍSPD1aV R*-Xמs 9v7 mph'Ū@ĝа~i3A7DLWR5ԛU6rE Gy!4(ECߠR?`AL]55ND‡\ #2v㲀~^2[ Ŀ:ôHTK3C7tSKVgZz/_EkpN/c<XU_6zDԐ4jAnP@'%>͢yAGǠҳ+_Oɞatɼ| iMyJ6E9.@vܳ1tNcń8D 5KKL ,/IONɁH =9pzХ {S9cw{ xRR *).c '3ISv8-T6*ӕEpg_*6]F s-|^_]z46}-Ld:QL+,Y|/=s{`XG2UEfaWaR{OCG(p'2K GRR[zʲ/1ZGH|y3VszJY1P pr@l 5 BeWR5o.׃iHitv&a8 4m;lb*qe&;;#MAaP>sN@ްK$Yܠ&ϴ`~&.U UuZ2$#rAgyПP[F>N#8G1$]l:*u^1&/jT \ G}ԿP~ER;~hb !K QnFY XWoiNoGk1HM5Qz+T«IX9ۨdl`GͶ \%#"t;0/ ͋7G)hjICK5  !#\z?hڠ 8=fv°Y EaIp2( G]^ q"7ʓ$gYZ5105df9625c43e424887062f3b1ff3baf8180169d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 09a66b644486a04c3a7db7825536049fe54411b3