SQLite format 3@ 7- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 MM[#T\ {/]HOL-Library:threads=2elapsed=267.567cpu=502.008gc=35.448factor=1.887zXZִF! b{]ŗXf1-q恈͐7ӺV7V?A.k% # HOL-Libraryz mo\Ցs=eKƔD)Y [ͅY \M2\ _7_z~E`WG}Uz&Fne:9)9;+|g2rRdTW:J?HTΦ8п.oYwY^~s g\I}i]l^z]WNR5S{kM\z|y]\(@bXM=uɀ_ ftG]~QWP5d_9yF> ?HaB#_0f%]P*Zx.M\z y?\t`f 5?+H1`-@ Am0GQqEE#4iZ̞IȤMK3φ=D6cU+&%{?HiSZ_flC m]Gʆ<XTH_ !$_S!#c`V}ΩJZSeH3BЎsN]*p쭆DdΘXH 49%D}+ڥ^l87c0bQڻDvE{`rd)5RbI3l`934ω)zIFHi`uVLWf?)WOyu6f||dLGN$$5kXz#.Ȕ fxT*,УZ_vϜ SVx0MŖsFԡRUrDŽ%%L̓PۆW0|U aYx!M}t̃Y^PPjVZT A _+t bR11:_/Č j: ^N92$,yeƁooU\`<S<{mciv`@\pj| E鋋ȿN4rE`M;FD16:+J9aEkcLUH\g Űzn-Jq#r{?om fXX|F]T?gYy)7qB=K3i sx]6N!,$M̉WOQ ˁ~`Ų>-&7-jzQFEޯz \;:/TY!5?9m*2g5׆H|rxE`Mt &V.BҬu>@`q\. iuf{( YPR#dixfd_'_B0HH$ r |&!lIOJ,qiB-)'Kiȵ\=ԐR5~tap dL7[ rM-~6F E+̡Kٍuina˿G@>P'p]r -U Qx-/?ahvweKNj1潍L] 5E;KQȫYF+7,-jaG:ùŔUrc4^n/qGpk2XZ.hfe^ W8k.b H߹4\ʛ>?nNUUUza{Xf/ƃ_ܦvHŠ/i qz`0Z_ɼP@4po6 f+"4M3Ń(Z}61K%Y10c=/AquVe&e*TO](m !04!].w _'H/ 1 ο1Z^ 30H܇c9xa{.\k2ZLXϚc\ őqE􂳰V1iezgfKr(y^BǵSXAf;!x&7;OuQȥDj9OF@b4r-< jqin/jNI%'#W H3 H>3ԍbiR4O)G{xahM\N*`r=go74#"vϽ:?ߢP{~Na qH گD-O먶0Y fYtke.YnL.)8gTA;V; _S'-+ oDm|Snc­RfkN& [=n-c^YjYhFq8 ͥ:Ä;j)2ɇYc D^?tBhQ9}ɖuf><+ u*Ϩ7 j%h◹);34CYrDHi|YPfh^km*vEҩQ5K7u|ʯ$[PĭQ_NMkRY <(X'$K:#Th|QZ*&켿i݈}-joOwNeOqMȉ6q@̠hAہ]wĉE)ExVz`-?X!6Rv=dRGԤ}Sh÷h]. 7:H4B/)ԁ-%Ub0ax!A#miͮ)^y . x?Tf0ER</?>@^xLb@?I}bzj9c !GBtp .F:hÇ((D[m%D LcyhY/;-(Ds0\wO@ _-ȁ+Ѕ:xx"5:ih΅k'Q*U[xvwܞx}Vgfz)YIb%< Vɾ~XQR7b cFSTCQb~Q9Ģczqׯ+I䡎}9;) }I)ô4"KqoȬ ϪP-–LJ7rko@pU7vB#6`x\h-bBUkS[wW $f)τK꾤{}O%.`o2{c68 l_V\jOٸ5|,S{ m'p~DO̞3 sPGc0)mܶ38ʧʹ4Lewx1mJ)wwޭ=(bf 2m_EaheddKI6U 3qmV]+O)UJ $Bif_`Yfs씘H"PʥʩY9gEJ;4v"< ײG e+*WU2_3_}F?O]xRC\l4 ö&N]}+ lIOV+X\ڜ8J$N.oW k4@V .jwnN.yV5Kj i@} A*;h 1ʹg$ξ{)~%M*\,J6}J1(y]g@5RTWAglwe;[2ES@XXQ7aq%=PACZn|gqXϐ4r)]tjt 4oz^ZޗRE`z1|=եe)KM$yo;<[&4T>bQV[kl5d`NQ3w1D `VV[1vv` |;Ѵ vWH[ -9+/ruUC}\ۦ(t|_G"thLGnL9wc^0fi@9].Z'i<s"B -X~3 3B>f,JsUu1lBOZg&&3 7g*d@mo4,A ;ȰhFti!T]0_aʽ8K !v"Ge^ "32α*yhpF;j4iLxpYR~7!0C:jix-E|G c!:`7pm /`4}ge”Yﺷ%WC;GEʡ{L )Nlr9sW !-}BE$1oSC+/M)#Ѭ18 #iQuQvU2l _DJ56!XGP^=A9'T>[|i>o9r-L&ү߂&hy'A9 c!\r$vсD|$}\F :K ,y)G O.voC'V9ܹa۬"Qj1\9Hc69oZ L$`ut܀n"BH9d0j4߿UG|(%lj}0:4 my$PScyR[:a9oY2ǐnqqxmSȩ'^-z9sΆt'rܖ8^˟"/9Lgo}{KY6 /.r]0rá6xµ׀slC4#VuB2YbRGZ.^=e3hDϣSIߺ{j H0iԂCvJC,5gG\t8]1tau !l x&VRh4$vsw|]} b(8Hd862CpH~Fs֚lz:e?7\ ʛҨ;O069aY?NC(":$E#C.w#AIMWe5 SQtlZS؁., =3P" +%,kⓝz2'2 |jIh?*(godIbδ rѡ>BC{mf\Ώ G&'Հ{N:M5d_J Ҵy4A!'32'f3kzdOa-ak *VYuY3bF Y+j;#?q8HqcX7*ZHR["zRT G:@?n]!o#~e}~۵. :T gjo9lnqEb^Qi@0}^Q=LFixi4P ſ|A$&i8j=yә!k_M-' \``kZ~?5v/d,vi/%7,p(II!^ -E+{7Cpwsڶ _QnD-!ɪ-IsNӲXRҜ;4/ϦG2]q43K5n #sZ`(;$p 2=?Bf"m-f;RP *4A7sRCqV_]$l[C(,#>uϊPNB&.Dn.OPKYWX.+{t&D94#_[6TAzG 0Nf 4N =@Tl'+[ϖF#v.徎DKw}2 ߞ2JuG] O!21$&su {nD)FD -9Amĺcn3߻TJi{<`8U`E5-`0 ܅UGBNyV@܇(2dl / 6r`qm6Ĕz܍LZl z"YX#"xLK e6Rn,ޛ"{fO+~e}S-/?E+Oks'"0\xi=ISOFo Y;x(jKcV?0j3Ja1e94,{\y׭.pk7SOl-,ZLY !8غKG暐+݇] můFxGpgxi75n='2(wNrA>%[X&L<v/;X`V"&m0p2Q#z@ha鳐]/UNot>xnZ"ENb 8ԭWtSruLٚf@Mf0}KWU121| tWiG3mO{$N,LIL+Zryt1Ѻs؈:|5׃2H~&iW]KVĘ cq|[?RҌijcxؔ-_[ 6gˡ I)+<wԴ+x6֬oP =Xo=) Cc f]>@P^,Tǚ ԋm A3'o,]/xK; ijSYo F&,GmJβ1A*58yC1Q@v v_jOCP]S*}aq9XN =i0l'GzY5 H,-,̏B㓚+-%|uB]}~A(GJ& k@[0NԦ.H/ YC`2E6 >I}f;TW,݌ ӽP Icn)GnB=,*˿v(A[7mUfCUS -@a+҉LIھ7B >9ĢS@^ o*_}JYE&K8[$']TJ%=ѺG>wq(λt6} ] i[.w WbB spAr,B>B*[7`)E8RQt,=\$lBП6"νO"6j Gur edhD?{gڝ +`QBiG!)LJ,x]5ƻ{ AN޾hRr΋<,_i?#zƮ~Pϵ2|*r`.dt9FR~>E/"=}rZe^&M0A1eW0櫣M#&~>8)az{9tbb&Kt *\-.y6wYo_z ItZj/߳ (Di+33XH&];nթȮg. (C(>YyCB]W.E3y&I. Tu~=3JM@f_v\g*AtlUҜ1SuoQ˚[J+ɑ@ BOߢ '4Ȕw-5=4H},N'R7V x;Cz0-r/L ZrNOJSVP4;+W{i0cpq'5-XOVm "PtVI+퍻7r9%;YX#B/?9bwٵ+f革~kBl"OjUk\w|Bȅ%RD+pGޔubMukջv8ˑyKEKm܃9`k%[59j_ZVTɧ5#Sf[Bsި8&[^[[BGGЅMQW-*Nn. "K^Vop 5soR,H[*9(3βx0S#6xd  -Z2/*mIp .KJ/17P3Ӌ}rơ&0bqS ;"a6 cXf 6%ԣ\ |سId.ܧ|Z``LdG5nj9/_g J5²_PiOz<* B[ɀP6}{Lзk<^F*Ҟ9E CU,^Gq2?kh+Vr^ ѿD~]Da#y%uxQC/+&!j5t pꔗ$2<>opVe c}.,S%YWA1)?NkTLtX]ކ)Ϡ6%N-“{f%К:&!4S %?4?םg(qj8M<_m _GFs^଎|?b^x6/@+TV1Kc}p챶FSW9R,J%'{ o`O_ HrJA=MwfP?6q6bxy{l *Ĩ;|kVIyNgOsVi?"TZjvؠxzy(W 8U/R#2%ްB|kܪ*sD1fY?Upg4vhOoOzt<4UՆU{6.pj0^.0CaZL M$.:b?n#] e$jS0q)vIjru5fRbVnpP6>Rļ 9@tI=ZH<܁4"b .*!Ai#V;_*?v$j%zypd>Kw0(asFٹ?.Nuܾչ҉}$451W~< |C8( [s7 f 7tD.mz&u3)yۯ8ZӟvWkb8B_J^@@xqmhEzxsp{2kAd q⨔bW.((w`L?9OzSN$)R#U $)K`OǫC"ןڿh+l{#Չ>\+_,|9]P ŝ_:P-Pkb7uruʄcwGυzh#7Ǿ&%po|`0[* { 4zK1L T׈Tnib+朐T< #Í\ t|;0AOCXM&0O]B+e QߙT-VĠU~-c!-h$}_9PR7"7:;"e܏}=&F<9 ߒ;5WmB iև&oȢAThW!i" 80# ױEH\K)خbKt5ijI'=TӨEĪV-490;,ː*{^eQw/t&K9G6wi1"cW*njuřD8JO֣Wfxur<\M$&Ń} C~+X_3j|pza-7G]L{~b&SLb`O"֨pE۱za >%/Ndc[Z"qax\@}Gd'&]jpu}#>="Z=ᤚ43x3[\b7 M#{[D4o} пqЯ0;Vs x:OAkǥT#ߛGٽ""~aAaFL$$b/){'%JɹRꋖV[}Ƚ<.Qý{ SףPlU_\Y͞l ׇt.;b$]0Jpۋ)$%8b3e@˿7:2al[o+ߕ?;pR^(HTn]Tw M` ϲ\"t9B++>,"ccȊX2krO-VB$-̨Hh kO%kRq!{_ρW=O։W/]LGm;+؛brC?/uM,[t#z &aac:E4E,cI^(غ;=# ]_ζ|e"o}u67Μ4 ʷпwXԑc ǏI D1j-xJzl<2ܧ@9dk{ݬ64i[tj:cz!$"ڊB}MXpy}NsM,'t=8k#*6۬JCb 6Z`/wXɓuMU+Cda=UPr<&/WOiC[m$Җ&Q}X׻(3r_} 9.dx_?I3em7z(+Wm;)Xm3߹4.tT-&*(Q֌{9Dwi:cb O]~I?Sf6bj}_gY])4k?&78A- '|Vr 7MwũF`(l }JWodiQ`+':<=kBƏd9ԶSg]7 ߖbJUޑ 7 u0W_ :Dm21]T:[n1c-KC~uܦXSy5,2_}܎@=683@G&xihMJ(wlH=3f$~7 N"8lʶTy {.j \RFmmqE+Q0k7)YRѳ'W)/ D*A_拞&&!A\Ŧ;qcEsV'[; ͍EF3HZ_+9d "Bk5"}R׺ d#Ufmr 5/ Ǒ|űH.WtqArfr]8u c/&>JVn:?T+Z:@!v`ģf6]t]t!,IskĬx3ju;#pFaAxrIeAا3S"!Z- ͍ۗk~p ڋJ<'e9Hw6A3x­qaAB'zar#`Y_",[L(o]tSo NWvO%^J8&j bcN,QF"FAȝC>dsH!rMTpNnq 9=b<Ö׹j~"kOMVI)H2օ"qRG@Yq>C< #z{K*5`k~c[֓4Vruw[8!#RkHU@~OezSr ?ort!%P#-=to/V5) : )o r/4z@<_>%'NIBc YO:7jhc6TKdBkF,P( 4(e%GKlKkL6CBR!p`O]*29HUyC0"] fBt$ļ۳d0*P-Ĝʹp#OvaA^"'~ъzƤ(umb3&u@ &?ᡫg轾_aR*YsM/K,1aI>aEs'z;wٯX3jh$_W?DVCv{x]+^|Va93 ne [<#aLTaUNys~ʴYc1ߏ[XE <^MRjnZ rpdoMo6cJ`QOXE۰E[Y^1ؘh=^s+fz*aro\ nVwjըkylU627w/P^ѻ+`pi PS!e(T 몝̀f]q5R-eks 5-ʱ`?N j`SrTpAsAhb1YOpuּ7;.Uħg̉܄Vu^L~`D+\.r>LJ{洙IcSd%+AayH!l .1jZqR1Pitxx9g䗋=Lֺa~aRib'|%\C,=8Pvo!:ESZJ)bny1I?`p8g_"t\cD$uvOVyWX?RWqoD)'Py!ba?.w,{8ӊ1<=ޣgTY}랯 @K%ފYθbb4Zz͜Pn !A2C!<|oMVN(d/ )9E_L7~>8kLney_WM]imྦྷ*-'B gCm G>O M76zKu~W@ s5ףP=r]NDsr,TW t{vbEGt{ j ׂy[hE,S:/,@1-CbJ_w Ǝ(j$mnw-۔dR%ީM6ӶC'PpKQ/BL4HXY!LRk{؍iϔDoH4.,xM5z9ØJDUJCtQNǤ3z-{k<*}Ǡxb`Gᗵ#D恙MwUh"7H7$^L͡YSOoEj]3F׷dб O8.NH: ?m&iQ(Wz X]vP:[U8~jڶ4d谴4!}?Ib-n9~p5 KpGm_[n~ M*ښOUT. xn{f0z0@wO)\"C0[,oJx̓ѧRL8Q%@OR2 2`&7? ))[^X|n1; WsdTCvP'd@H5]öl9ljUOa^*M[ (l:2tHjNj0< &-E0gMbMr)%. >*P!JwP2׳mPcozףxUˁ%zsm1 WMS=GS. [c,O(3>6NgIk,}Nrf40'cfmMyq Mc;=Qޘ4/Aᜍ?WD7u:}^z(Ee5{žrًy;b |+D?.7'F`[P!IƑI }gA _4p0nݓ/]֥Dz̥5fMdhہE9yW]_m_p>fDc&={m[$jmi͘ȉ;m#\:RvDbY 62]B >Ȏ6dlY 6-OK86\oF |(XB:钃ΡF'("T AS5n"z$=ХH <] SAZCkA`ƄcԺ6UH~xk4_d1.CN <%"_G2ajC@~@iˠS7U.P8_T(#&^r]=EFwAԦ7 )m[x4Pel2tﰙ~%%%\2mf2_AR>TP/w?  XWSXio.b!ɗ(-o1`x15wh5މ2 3aAQ/v2[d\NKDMWm3%̡sL9D] Gģx8^3)? 2f)qJ֢|ȣ+ch{s ~>#ң'˔:blL^l]eJX]ƸGAs[nQ#y!߻g$JdB#߅;;W ?4i}@ pvRJ5-*Cz.lcuc6E%".Dv< /%;2Dvmst̿u)M*cHn֓/W:;2%CxԲ1D,e5:b\*.cAH~ 2"Jv=e#*؅Ed1yMm _Fz`0W SLp.>ɞfnےR{'9#&qhw#^;Ӏo{UnߝUbiNxbeX0uz&TIkک䴇):t,r]+>í7nj/)LϭtDlm'%@@ B-]^@ :jZ9 C%spimcVatN:_iJMt @;FItxcFC\@OچOҗP8h S0%;ZEȢڀ]{:bGP\kn[ eըձDW[넜9AU&gmFs# 0tRemRZ-]lO盚Rxn{ZK٭9Xw;̽ "[`q:aB:w+P8O& ѽ+soM1w9̖YWZ@ cq(ݢeTrKc- H74,}Յ\& 5xrTh2E&#>b8Zh^I&vI{Jo}Y4tK%87Qr};Ҭ=Ue:h yTts>;E8ƴ5c%YLxn c_xj],wT}FClƟ.d;L6"_ )PStɌx]0toǞ  yWE.'zkuZp>Ǚ:iTageUO섣11@Z DFƾd;([+3[kZtE^t 눮qR ľRE^(WHVqm}7J:u.9~P+kiC G17$/^:s\AX~|2qLMe^?|h0xnY&IB~WnRy!`n`̱s/A?ӏ"=")Gb@ dW΅fgt)yR2O[!шĚA:y1fTH%f%ɪ'748b>8OwC討8Z^C~Ri1Dv' CôZ;X'ataE{}4S{ZK1/lU,qA&o s:N6bo '|a`6I04wPO88 (W2-(EHpޖߟ2s׷ A3zuR6֑9 #`F*BOأ60=1󍈼% ŦkX+T%dQ5XţmGH&A6ASBמe%FEF[sxoM@=/Ta93V qU=[C\];ps 5 z/י,⟍[SS%nvQ=HA"S:˸Md6Oo9PWc7C*P1P{ZXP%E XKzE2Gtsfn0F޴5Ss "Nu/qL8WyXFĝB0F- \oalk7GALB)R|ޱv\RC|`R.2^ɷ;&받ɞzA+$ eBbm-GX@Lߦ87Dmޑ a $ނ4]I>9~ESjqZqsetJ \+aC{-O”ߗ>/PXU)ooEU'aNk6{mֺf:23V@Em]i% hMP2xFϹҊ\24":P(ܪyBhػgHZ7/xC7_[8*tm](OENMDm/\~єll}@+]ZULi[$B㭿ѰoP\\&+ٰ`y1Ơ`B"VtuXEyDΨw PfoQ> ݅PU&CfB5xCjؾIm($`VVLb =Tmd3s#DQ":**Y@U@yT̵ʪbU{wn/A9=,`rBWڵԽZ| i<9YOKb/y ?sLG(d/RܽNlJ!,umUD5)h>tZ~SUF!DҞ&fYBgY͌y'c{N˟cQp,-l}TBd"/P}d4!IH;D5DˁیД$:zy=^JV%WC1C!7h`$ 臧QzJ{LRIt|b̴SN(02BWE&E,()H/053GYY!G͎{iwW`| 7j[k*<@#kd"wDӠ]ҝQ_~O8RMtE;o7S:拎f RjxM՟(eb8*3sk4<&/ryMK1((r}u";JN\TUFnX#ZL@罹U6o>8|X)ΰZnYRС\2_}Qº'i:d,tqR#X};ItMe31ERQ~6_7^Zѣ73*$U@ TWL,QjZ8х5h<Oj{$6b"MJy.V۠'#0 %3E~kebBFQ M0_iJ˛Vh9U$knR~k'.sK1<ܯRw&L}P<}-x~$->m:Dv\FcDq%C;>%u?X`g9b7%60B|96Hsz92et$Mz;ˑ́sc &e)kǩТJe6$FOZ,mTpz}R` #1 bޥ[?:elȾA>#`josSFߛg"fLTS+(i57KSI UN KcuΥ-KϙFS΄UmA†&'|Z֕ojf$sx2V'ʢ*|Vu<ӂ5쁡 nM׺J,D̮+su|F2H .]j.D->8z^rp`t@Edn|)R Mf>TNA3g**Qp&7|@ⶾmhR>#rM\0#'i2|u8!|%myT Rh.؏ܡw~ih_`LGW2~-ZA?l`3(12>]yߑd8fhvt"Zn-a?h7iʝ.|8s!9wuFLI[>]) n5mJYLN-9`@aP5`U98 Pr?NmCA~FۥO H$HůoiSygx+ˣ.y'?)56[U-'xAzvوȊNGS{H:71R +;[[7Af]<]#)5)秛1Yn4zӶ9}`ά+7 F7Ԅ'Y1X>j ; ~Us)H8jk{=z/he.PkT^OyLk@oJ8 @!QB](hh˽;>iӡ&u]!C ;a%QI㇈s;H@A<%v=w,)6io+9)M3|ﭞ7J _,Syٸ`t}6!*XWMXOwdxNu2"EH-_v*@tK[tdY'z"b&I|7 HREPT+K<Ř4Ͽ>!,SܹR;oޱ>̈́`i04̉jlY*y?esxu&햔tۑq6r|{3QO#ԳO"A%I 6vT2 ܦ*hL´) QR7e_-)0i *WIi:Ǿc| d M,&9o,g q0B` ʥ}*nQ/FK x=*Uuc_9FNgi22 A# Um|pg؀zNtm$"Zzި|-,8+'"B}i7s{>-  čV.KIkfKze%Oc3pl >A+{?)A|i ;V[*̢9[Bz4qqfk^YE]F5|/p=|+oψgbG*jp( 3ʈCMmRD FZŪ${"ӷxofjtQ iJ8)3~GF˼JmP6I4̍>;KKxKƩy1h6?">>nQ;ه=y\kWբB*^X\ț!3~< +AH[ʎ +׿\k?^%}JäfFLrFvxhyU4ϪQ$d\д Q SN~\T /D/aJ@yl[҈lH}9[ÉGt鏽5Ï l)<MLhO[P;82f'Z$#@N#,!e%ez jv+GFE>S1e3<~nm}:$5 A^.(IlðG f\T"k#&QE{9轒(qUPJ9zwAn\Wiss{nnɧKZPPL#GG XT<83ˠ f+Y"@#=/I΃,r\;A4v2`;SPgg9< F4)ZD,5>,R$A 5@:1=׍lHv:z7Veq V o鋢G&87x̫ȯ>ļ^ݙjWm?/6cP-w~Vِ/$p" V#f]Մ'Pud&:?A&m'%k2%K Rp-\,̖z28"yomSJh7IƢjݽ]`/$--)2*$6 _(w>zJESIԾG{rA\(&0۟Óm=>|Z"Ѹ%yxTe ޫO :d'mQ Ҕ@>ɽ>e^0qsQ+0e3(:B Fa}{"P^_э-z&ELu#^++ڜbZJ#slGmCq^l;_.gs~KK#|- @3*$zπ[#,"[WsգhoRN^-?Rrll.gK/"]]WcdPo9QrbSY`[ځTOaC)7 "s򕙠[ EwͿX\wß=޽hT\;} u( > kKwjZ iWm MtVM:ODL}dZ"hV KSrQK,P[&u^>)^r04WꬉIly;qykG8Hj 7ݎq7>BZb9:̂FJ"zKbd@L \mq?ʛOɴN3svɳ2*X콓*ylFm]DM+Yo QehЁ?hk^- Id0(3Nϝ"uUP*k?L55&^ W _ Y`V^K-wwPT8ȫx;%ȼ$&Dra@slr5\|V3ƺ+8SU:EƟ_|}O%;Ws]Z=Z=\1U<9.|! G ߇W^PtFR|iqլ5,[5 ti"~;P|UfޡAF zfT uج^٢-nO rRK/qRKO+#MT`DL-&ﭟ"['9 5Y{u8(ROJ=N{VWiKCC_rj ^Qغ |W*6mDE=9a=_l!Xr6oU:wHP %ƓB>!81cmzrfLxuo - % !o_:6$ݍZHRf1<]ߩA{+:%.lݺU밇F|({6{ӀΛhI2^- l+-#^- 9.)Ho9 !s{mG$ԥ6PRTO8^~yP#P'LL`NJ5/zR`O4n>{}EJ1~XäzWIkߌ"W 'Gȭ5 Vtq8D3P[ƨ_oJ"ER|F?Kɚ`r TQPG,Sb?K vz_0CQ/4gfliw ].'3 Y3a3ʏM$1~\q)^ {}A KöSJb')1xbPxծ gYZ7zXZִF! 5%]ŗXi%BMԈ-.&,){p?SҚ4'¢5`/.>oWڻvNo^( "X):$LˑEY m˓.;/ejBO2StnAyK*ץV}(S%ԐO{@^',Ut:P>u$Ik9Gp-/?ruLĿFȌ5w(ߴ<(@V#_VNسߡo:!)C?SƳ{I&MŇs8hZob!LםXs'g_ J*Y#TO*~J2~&\)i[]S,Z9v=PxAi0^5 n7-9Њi޻N !^j^,f<6e(w7= I#g^tpSvP.Gސ|>,t++V@P<'K$OOR.*z 4#CTSb_UYN J KF ɩ YO>yv),Y$kM 2Ӡ)Ul!+rSUDoLKJ1\FP]R_B=U׏9 AҰ7 Mۿwe/'ϾϿSpH-%]|l 5/IhuƪΔ3QpOvCwțV%Pp xVB6g!AaxR-!+丅BD4310}guU 3 ]ds ޖQZa7$R:TjsP0ZZpr aIs{'1Mp5-CM38;bnڎLkY&ư62ZAmYg&e|R9n\@n{1CeS`<I>!7M,Bǁ %a+pN NKNW KO zwD÷r|qscS: BS;V( jz_rkZCJUw~cǘ7lZC|b㩉W%ٳ j*^v_fECέ;6#An̲ "3Xʜ̳NRM ~^h+NeN ?˗`Q; >,Vc!_V RK\WK}b*|q:F[ib!Aq;]5@MaSqf|Rq=H-h]#uO/Tz EW08nIg!嵢,$yACueWB0eNڇ@Ӥb$)em\yp8m !E;^TL^I@u D?ٞ3P{uf\{)9&zjeL"{nBʲ ',eGS3Uݓb)J3{>mZZ٨*t!z'@137ۢ ZA4ÚHߪx5]O9{9<\1;QTn&tL^U/Εfq=}p?%ˊ =cYuNVԬ!6<,cHp\p=~0@)vrJ ]W%,j P<֒ H^ y!`4z1A#3ASU2ۂ A2 7m[7 vN8>=we8JƻIe/}Ո gޙԄt,kp?Tڼ? 1TĐ*Z;".b d2v|;TT(M\[bwr7xQjN]H[či+O@t`N|+GjT'"h\]&=Ɛ=kTvQc>0onf| _uhDY)8̎RB\Zj0QZ->hڔ oӭ$t>aw~YYJX`( G/qܫJbw/um)yFsݢF$qO]huES:G#j]&S}(P/,(fϠNiWV 0=ޒgMl7 y5K2/:8YTCSsۄI(e +oVwg08]JeZ O{Ϣ:muv3o,.E⭕8(]xO4 CdZl.Po':;g.c[|KIMDsge"2l\7(M6R}]2. !7]wXȖSH1@w/rfD@C J™"s܍LCvw9l8$9 I{ˤLF `cE&0g:y(" 7TYrƣ˪cZ3@3VTZi.Yyy͎ Wbά2(%SiiR`$Wf)>-۵p&Yuu<L[U[3rm脑C ,!ay,g@ZoCj͊rFuCƽs-?tEM蛇 a<.|Tt8å5+|»FR_X]>2C:*%,IolgvNT]~u%~8ǬNJN28<+75j.9 "gRjpN6liQ}!cb CJ&\ h0&(\A:X@>N!##w꼃 ƌ/!,cY伇1yM咹uI+{!~hD'%I=+ۚ\D"g ~M,K#5^.xETv&$( Rq>"/cߦp'hz\~eP~xv0Au.R,a˴! )_"a˰;`jF"P,zP\uevoe~Ϸ qGN)70"Wt*ɵ֩{\CbӇg#>`|w%Ro%sO5/q8qy& 55sdhIWEVwoost[)?hD woLb{1?M 3{dY:|- ߑ0CDx@p(eua,c@nkBXPы\0kU obIBZbH(M(oZٹt(Z=6N.oƲBTpVaXRPq>͵ŋ.\dŤ$2{ 9 \<']c%`=pf&Jg|i]3vZ SG I +srh#ߟ$ //[ jz8&؇2/FNa6Jr~UgnJJ@'zǼ49 ]$5-[bl"S_.#Y|¨n^U$( ]#c bă<*otr_NWPqƩ>@Uw,`>v2NTq)͓͌X-/H[I"$m&$]ĕd=@[zu~ υX.bd>?cʓS>K;B(%!A.q Bopw^kk NXǂ5S\T GQ_cZ\zQ!+y>tqS0GւErJ\1"~Xjq 0§Ek.TRN&s4b>5l ul9qS%;_4+<*EAѠOьBB=ˀ좴yhjFռ z=/&Cw3NMˁm9qq@FqTOյ![ QT .cD<+` 'g uRd)!3@e:}检zfTԸ\%*LhZ #Mx/ØXrǺIУD#Cno{`R+eڬuxWb҃ǗO*b|w|Z@$S"NM>=ʢaŘ.ޗ /09tЪuˇ$JfuZum; ^i]>ӺdH&y bm5EG8S)փ8fX B>PŎlmLjĄ~irA2 nqQM1~r:ă3)?a Gzr-P:W`g69*gZ pk'4XЙ|үr ~g[?܉ͿΉ a0yX9vz#"IH>Zd.C^ҹJf\/:LUQAvdg+@̐fʉ-,@N&p>I{Yre٬tEU|n6T\({4ꮼ 3C(!G;ZPq.Nޔ1Hrc-;+"`s(zaqaZp=V;y$v ޽:Un`*2l_䐞,'mHt*.#YBͅ.O xcֵ+f91xS/\-'{"G@mEcO,};x!C]ӹDB$OW#{@I=JtbIQfjITg ^~@Z  ,lJRCe>qj㶴e@C9 ަ.7sj/ȼx4(l6[jnj9 "!Pu$QYWj4MEag+l^ .NlxCDU8xR&Z{WN챶\_I-o *߇'ߕrM8 OC c9HK9*Y,_X&b:&3̌w)s(+5U XD¨*vH(;TGq'"zt?.*0Nv婦Uj Y[7.P*aQDܐLx2ric4U M{g sd:a 4?VӬϋ`c0eLbꈑS裧ӀuQv#qa.SaL6ٿlqQ4[.2+J`&pѭy t= mWQ0`h3'`%.k3>f_O9ٮ TGdB eT$"J5ۜ7Rmys"L^?o>"v)QGivVo|F^u$t?u;}i~UM񄅐W4feid`@\ UBw-}͛'L ہ,CsZa*%'Qb@LCUWb gfq]\ cS;Kslv!/\ޝ~ۡW-gԀRNo\tOn.dgTC_Pg)"ݵ`Peɘl]61LY} <#.pHʽ(-d AsJxm˽e@$pݖ Kޯ>{8^B23kn Ywzz;-_.Ʌ_"-!#iy"q }#j0 {5|]j-TlG2j a5-6?MyPHfc>TXu.ͮ.aj{nZh8xL jf#jnh1maAXXPnw_tՋ9%w9 =wH%Db6R-L,!&RpĻ.Ǝicm QYj7FWB$~!5%[az.us{ٶ|"T`ęf+pکcKG*tIHf*@o;j֬{vwL}I7F.XƙG*E&J}@l+\#;9bS$ꆾ{KocaCV@FeǠCg!xfVBрI/cmw{\d 1)'ՉЏJhخ략,ƞn3Gs'²Bӭ>UB98w3c<]-I-Y2{ԡ|vaC g'v*/V8bx^686 '9&g´||TDIc[ǚK8)܅&n3DǾф4έBT5fC$pq4pm|34G5XbN6o}mҏ;)M0}uv[|]-z뱨gA 72TۉinVVgQ`Tn**.2B_-Oh.<j$øLZ,40$nJ 8{M'YNc6980:y0G]710%\Lrn@*l 8W⚩`a,#xbڙrS՝7Ћ g=LmW~)$V3ZWZPrmWٻMT`OdT" /0X0` s{y @H@T`ᚵ͟mS\0*ɉn&/|Ǜ)CqCA }s$q?bl{h0Cb {K]FQY_W@3dCAkLs=]G JSC+B FLl҇ )^i)(;|)v~jjMF` `LlaqSۜ2nؒZ6˱ӒO.#? rt}O9zdvU"VU*, vޫ}(ߡ՞ݪ\q2N, <<>T_/T0(G!*dz2G=l/)] ʃe%6.jk?"Q1o $.]qHVSkXb3ě %T%rGX>@@ :5Q6z,@uKYaM}jڶj>DG6}GPr!3iޡ﮷NTUV88I2#s5Tа? Hh#n{IلQqrIЀ5홡~ȫ41!FM^vGF=OIX!ZzJ}R Cu10})]c|Ѷ70I?>#!sjLm"z 5DNCᇕI7* D|`\)b>L/t$[O6?|[fHfSNx z.or5WD{yGh`MHq/Cͨ sC^4Ccx~I -(v6Zu&_xT!*} gɹM; z; '>yCM׻嚁=1L D'ё8|cQ[ĈޟFVXGߌF,i]N#ρi<ɍ4wtK6PA5`@pr;˔]5 iR q?>T^/j&hWMẻ.~4 fo#05BpPܕ,7?.@tAj!*/u9y$WX\@oB;ctBSNFG"JhV`כeA`PUQ9d h3kNJ{l\:S2 Q S__q9G|Z~W{Y@np ZyfUA4ÆZPBvhCeſUK˿0q>ϋ'< i- _7|[xRw2l*䵾yZ-/ Tlxs00hC HtBbnM:-/T%=p[l/Bѡo gt|K$/Y9yXr룚J|r([QpAZy8/4ƟR8"W-(^ͦ% nWm(/,z>WtCӛMF[XYEUvyt SѺSqx|ldQWzӈ#*aH\RYQ@1 cwFҏ V6lYC5n羜@ZۣQV[F'Yd@@uWwAlG=y.)$.Kd. iKy[aO:u6ZBKk`_A^ecx!+uՃb7~$646 $|n5r#Odf k>C@C'&I Օ.]s?e~ /.]}]*Vx8 ܋ygnj7d`CfDƁlw:S۹L|]W0?wD)J Oޤ<(P]695!pDQl1Pj pdzbznWҡ2TeXC|wyldŰȾ7"I.i;e ,(Z,A,>J,7!: 7uR7'X}ϋPiڝ,}hRU2f.\!ֺ@PA~LE>!jԂEdaۤ z?9͝{)NtYxMJ6"D ~ooVUA9fG,HN(0l>LX8B/~4~|{-qGs-7$9GzA02sb)y,TghP_(Pa,ڱ_5X)7@QHg$K}D,;m!/83 [XO`_(>r2H긴q}"g:iif++ )1V8$H7hi<.f [ÊW N[ruj`Xk &6.dFRXc]kDb \5 ͵H|6-d 8ʚyRʒ9tět m;|rtMun,&qcФA8#5ƉNlVz=@"c<`6& Shʢ(J 6؃T(~Q#+ߙmVlh `8aCG6c9nw+UCOVLxb2O(HzM nu _+[i鬰 pn>KBg?7t JOÞ@w2c fӋN%!lQMm