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 )/dt ]Group-Ring-Module:threads=2elapsed=268.185cpu=501.444gc=34.092factor=1.877zXZִF! 6]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: lMToeSڠolܿٞ=teb-.( P8iAeZ:Jpg~# ܣ&+d[uҚ]n|X=EEHcyht?\gg}q@ /Ѿ"+>)2-ʧX)}?rC$@@\w2 ᯜ)W.Id^kH~z[=f'gqSGW+ֆ8˥wIEs}d>w.ka.^wnp:ٓiz_Cn2.b\%yP:Q.yigר{29eT@}eU](qV0]U}x,אBYE hAlGY3"FT. zËfӇ|F k0>\B7Ӛ9eH{MnN6^yr`G^(ofW5b9XfCB]Xs(l$^2dj;n愒!9o4anMc+:Ϻ4!u- uS#n6PKV 2WT"ehJqn-V #*fV~Cog!+9ﶄ M9wgtq7ѵn|V?KM%Kr~q50%\%䧁e yb7yx)~!2ƯAd - CYW*B,eH 9hk_ P+&')D۾!09dofY{,lUخB1Ug~⤡Xd3\ԕq~ nUjNr>b@b%C$[kzC[ͭ./\C tv;3i<=<؂#VB4L'$W t̬AX;`:i?!RT3ejJgYu012&q\´CY(xU|^5J#ٗ \DO*P,`Ùx1ܿ<\'orGahl\:po!e,KTq[ dkhζUrXs4g$dDr opWfAk2w ; ILoq623ogT՗7Ы@H0!ұ@8gqUφ)3Q.gm$!KY~_s K!vgTvVqX?/e2#B{&h`]cK&YfזRQIq뿟´Mm!Icv:ZI6,ۛiQUPn\#5f嬀rͯo#Aa@WZ݄GlmuyJ)kd_pڨ#Df-ž Niv9tLVX#`o b7LOmtÖ!GMFU?ANu)w50,1E0p6IDfd+@?y9mipogUdM#TPJ  L[b=xlȧkee -BPI-%:bPEVe8YZ`&ȸ`/|4zY@Vѯ=?۳:9zSi5Y҆/>}枞w&fǨ~-~д)SõETG^8ׇZu1QnIYƅ^X<6r-4<@[1]XЍm8 ^ވù8jV)vT4+qRq[)YMw$ǂj2.)M [ l ߌh.6:&cR {L~xW\A_x}"oEB'I2my.}Cdܸ`rZ~+r{*UD΃  =!;| `§ҞfK<N?:nEX{%bm|#@ >oFo@ V}&}Ѩ@p+>p)E'&9MbdStUC<.+jd zD=gN ЊXq_Zu4N*Cw`hrl`bka8McD{ornuOgb#%<'W3zU :_i>꟟|QIWEbwJC2ڼR|2&C1,d%"adE8>]l\'L&sxhXzsP?LcwcwKIWמGs1 l|ao|6@'f ic׊1PfX%}0c {1 4}JG$se'P`x6¹C{rLog0~ISYKC+<[3<#f U]K(aՄ S$3``Yrq^&W0/xg1u"K[mmQ¥ix\qx_OLn`p߱ bJ}C. ~Nâ##c﬋Z~ؓݻthu?^ q !&:Mڈ& e[y%_H%̃mqV˲Ml878[>~:Feّ3MĴőтukA΋b.GYP#r"~`h85h!ML{['(е6U0D ^-dr{Ol7%0̋||.k7®jbs#4LMа~7._ne󾭪Zj#`Ӑ;wYeRJLX,1'g0386-BV+X=?՗ҪձF)_GGㄙgѿ | N%sTь? s?OҔ~Ax4;j~.:G.Fq&uVS;/?׮@;Еl`=vXKh+o3Eq*ܱkE.7 xgB fD{,B:8>cqFxǒRqdVZXL1Pi+naPGT[5/S?\p 0{u`.hbꁪ\0SC jR]]DpUyRˡvJ F[8ڄ(H& >l}lǔSa#'GWfv.=k" EM'GwGx5TICExtVUM (àFiFh}SġNՏ9le[Gi/ō \w"bDXCS6IF;]쵮I\ۭ]7Y1jV͵RѫdV(nH;Szʰj2T~6:n}zdTɲ$zqsw!t&_4 1y+b}!R$ڤIt9fF}n`w>KOr0Yv4SD_ZaKԚl.NEaxȸ,Bε .gvxpTJo\Cha/U/\L|$5[}yKt1|&qB'﵀'oxb[ɁuԄ{X\dV#N28ɂ=(.o8 J;Ggg>$N[xUgC%r4z7%Gh4-Va}ul7uҨ4[/%}TP+IJijxV$0RYªi%t}*MZ:[PoLX!ΈsΠ$Fv {QUnn* E$! wca21v΁g4W$\z5FVNS_l$ 9-{L W)L`Q5}(.c]] =[,)[Gh'EzldhSMU68_[Ґn!WD}Wz:׼5,K-C4ZߡΈ5y$h "Ի([i FJ)ÉrD$!bIMk.fdOfqNΔ˯}8KUN0r2k KHaFXۯ 4#e}AgGfgx^7P)]w8;&,;fu_yg b7' Orﵬ΄+Ndr 3y0;;} TSNy+.BKHSyJ,V;n{Nڼ] [lq"'ġ>ߋ19Cҷ%qmXZ,E.h3RiQ.Mm+;wFMaBQR)V3 M~DtIMC4s5KCSI1~|ķDx3Sxp[ۛKژyBe8kOVB;ûPw`nGJP/lEi0\B~*[2v%v:B3qB&^#TsnzlM&Bs{09X!R8ݸaŁGp%=/J0nse?yW$}ká1]#ra Zh0K$IrUpǝABEP#O!Axtb0Ohe_uqa <鰓T+云p][ɗ9+[e$vwk&[ , ˙?/PЙ]qqC^1-r渥"F 4m8,^x )4#RӹӘ~ ؈wQ(I{Xy}"^.,=|&ɩLa w5JN1лoz}}"Mʖ3X' 6e#׆-!}y[ť^UpsxyֻG͠R-3'4`-T6!#&Оv#ˮEcCC ,̾o6<(*ҐQ͂"C=ƇK}MK5uoiOh5gB!6љ [Z9fPbxZx,78d K;zm׀c`Ŧ:ZFEaEsnTES(WWZ`K˪S)^ruϯfQF"3,{c YjjdAE phFTa5qPt8󓌩.~ȖhB35#DRS #=;ڵ.#͕1_PU{ajv q(! ^]뀲{7Qed;C{(Չ]nnZv'Ͼ)TdgqtItdCkfP:@ װ(sЫHYT*q"0kkz\@!q,K6 ) ҋ } HЋ,q+EƌVZKshonhj ޢOkbIwL k#c4"+3jwK،Oaj@'bXJ"wgײ=9ϱelrjyD C7''}췂EQ_:|\vgʯ! nz}3v/|lg;>Cb c9ެEe 3{p(oqYkŕҒF{`= uhL5QF]U d'F tjuƼL !)'"R(!gBeHIt<&0e(;9m(:Ld^u?Zj|ɟoQs dP: 56g} 8JUڃ@̤\]g .yv^V6{츥t#LE}#1c I5*X.୭ Y qF3 4p.*0\LUGl۪ZBPֳ՗ 绘+ fE11 kIP9񼖵zs]i AnGm+gB qdGA6Z[U)zpLɿ,0XzLBt {WAK=7^*ݏv`NJ";u~Y>LGC8TD!O9CA>͈mSU.`GXj])1gDoc)ڛ`OrͳB-}6ñOjE.rڔK? qBTlK6*G)J>NYh]+ϒ"'0켙l-d|$Tߒa\ Q!׸II5WZˑG8>27ԑTi&X'/m U42}.gwSjd)2yR9a>.HcJD].52W#c(cĆr/ˆ=$f127N烺峮{21f^i!̻n5 &J*{Ά0S iDge4zFȣKNU5vҪ•1Oڭ 2e u%PK̭җ%( c);=N!{ >W)>6%ΛDL=Ex)/>n|3p3/=lUqntM;Ǡ޲bx2@G[H9 klL}Ehy"]z854frXOfz\9${R4K_XvR ,HAԾ?h ,mԖ} 6ϿU2d`S:r-@+:-&]و{3DSAK8S3NRܙU7Ra.;3iNJu,nkV^46+gW|a%࡬{LtC]9V=7!*nOXOe#_jfKS,FwE1mqAxK K=A?ARyYPb߯Im a4@;^p;:{؄y ZVcz,klv8E>': *{wA)]Am7D1om IM`Nڬ; 9Z"ӿD6&R Ili$S#* NoZ F!8JcPuڱM@{}6hRJ' Vq=HUOq_jRMRByYR?zlM ,檑)|4 ]C*)Nύ 3G~MBNsXEN&N.=kE{D=3NB㒿>LU+(7Hz%vrs[ {tHV²b:l>+ͧP J$H1ѾN Ga&%jd*blŅE|F^i-w֭FAIߓ=5p|O2hF{mD)k)8a5[9\eq -"nN5WgEp( *O4*6kjEM ޠъZ'=P&N%3eN9͹iԤ}Qf%>7)=*2j*1 <\ŋ5ɰ /.vP%g_T!C7"nU!%yqʁgK)PC,k&o "Lmb;d҅"`[^4L_j5_UI M=ck\x׫k1%8U[,+؍;8&JaQFYvO:ፒh4BZ +'Fv+(#1_F+|S1%"+pe~zŒ˭E&1~scJ5]^Yۃں-Ƅ  jBOg(b鋢46LzثdAB:ฒ>:߼FFgEV2b)rah2jx?o_f} gn&=8GAEWBBYi̬6[Ź })\\+$ ":4 yUPUaۉH=ieo2c_mԤ@ncA>.K 7)h6ƕ+IŽ)L5xF%i4fwSϴrq]*^֑ǩ,#<:ien3Jo 5ab4VhTw vxn݃Y}x~j=z͖㇜:C/(jWz]s/jҗX$p? M_GPWYZ(+uBmCE"ֻ̓gBMWQ$2do&GKnOJfNrJm0sva]RA jI$^yVfiR,^~e GIƃEaZXAz<VSo1>yG E#k7[2\-XB}(CGVb{NJ5nC9;|eO+=1  1Ijk_> l{֚"{@SWSd1Zߡ1mnxxI:.UeVf+Yh^i: oHRuu]74"V˗K5#bQWv"IQo֭qxKÝ05X8EYuJ~/@ɤ~d5>9j֋R~Ě>;^SAp*2ӛT6}S6!隦0Z=IG#Ok`[6e'UǟaG5hr+<4SP]w3cUq^ ]dǦj_N2邖p^Yw'W< <,:bj.I \80ާ:-RLb._HOuw n{5Nmmrҽ@VvOZrrٺT}pඋToA0 YhAzbhj!CD گPSDi: ٘Jh%2Û91٪Q ѕR[|>Fkqh\WBy7FPV25lhsTݟ_; _Y,D!+?eRd쐢nH-cthlDocAfE^C7H)t[N1ΉUӐL'~WC*{cu1ϝj#s}3`r Gub)H{L4 m0[p'kz٠T kd\VYȋ?JN?hf2=4j]@`®5< +t<1ؼYD\i;aQبZWRY2HtՈx\.m{ ab 4eӷNp(~x C#tNN#"VY>t6 +npRqV#Z u ]GwIQPE3JV?YʚB/̒ i@rwT>//d6reͶ'q\J5k̚"J v Z>zZSnwKdHEG^6R"DFL+DtFP? #ص榃_.qK";ONS9VhÙkKI~&2?z E: ]Ƙ5} u胟= TN rF]߶N[5;/"Ph/nˏQU&O W!Y4alQ۝'ҽ{kS kkGYxR$bS7{Z)sdjx*hhOH/0I%aCK./y()3}(ӻ(-vϰ&!OH?Wl '45P՗aµQ'y<1BX-㛴mB"C}] (IoLuHœ>sg*8CxuL8E:锟"V%Ain.%B[N;0edjj宇J*xN39nA9z&q*|?_{C~aA(8ϚAW6s7M-cP?aA?ڵ9HaH<Bl-v l݅|Ռӫ,?PLQ4Ht%P:Ht&rwZWJV9RG)S֤u] =XvX!C/03R1^?$yFdרK(UO{7q8P˄OKA(6 =1D9>)v)BEފtRbMPhxr_0-h9~zi]HjP+]-.g,!Azm?BC5%n0DѾ$'䫰5h?@GckOW%(h<Ef?T>Ɏ9לM'|I//!A$vBGg0ھݜ1xWP=%5x$ y,M+4UCu{ -ѧγ?'wx3{{ٮ.QQCWR8ч~Cⱺ%V2H"Y~[+^T!h#Md̮+bK)t\ ]-m=}]nO&֨hj PWr,ގ5b::Mrٗ첽C7{}+'w+C+xT4` jv|_:M@زۿ͢/z.ZG /BfZ}:Ts LyצcG+0+o/髵ه"{s垕5Dz1ߣJ{]}=W Rl|baRCDp221%gskj{tP{\º I˖#Y>س_Z-/zEЈh,Tr{F6A׀fB0M28H`,1;}"\f?#$oDP6ɑRɢ %1҈swI}S)Lm#H lqI:։T@%q^MWwËIcfU͟W|  FWK5ܓjTrҐe%3vX+t Mb8ɳŸ"g$+׆ Nxn4[ v["Ǐ^ pYVwT|빂5ۖ.jpC-a&V)Nu{ zf^i"#d*[KN19`€wB`ek VW>j,{۲ ¨#q:s'MA"-"o:2hQhJCZ!t@YʨK\lV*85:5 zRW`(o65*KĶ 5>M<|ƙp2rx>ҵ^ҽ3]O>'I54 As#hg@&ϫ˦ `Wx!x68X8V 6K,a~j6t[h5_>He/)ڟBn7?nn5?8DmR]jnFt )7M!œUI3YD,9C*ݒG2S3 ?L8zhg0mL܎ؚ[b;FU梉uZ (,v.YۛyĿ %Ϧ۸I^ba=ZWbbpL(`IF|k{uטT֣`hm##5kSokrpW+>9 T$+j{ 8&>Z<,^~<bXɫd~{qy?}AAr_}'L|(*P ՜#϶KD3Kۇ@.NC/ګ֬*-XB u hC9gi?^lx"RĵX})4 Jך?|,,ap.RGuy1.ދz{mϞ{H7sOh_WyOq~s5۹X7y!:A"jхڞn$Wota#$z#(w(i<)FCQ)luA^wS^M?C.#.5+gFW@? [nH?LjJ92Ȉ]PJpC0fJ&eL YdG[x*cçʜKÑK;'W<"-(TLj ^[%\uo۷T-L1(i&6biZL&KzVXcy."3$&+ـNz݈N]>INkPCJܹ:x-9 lܺ/%*~uļEgK{uP咶mg¶jĕjV* 7N k rD(sIz6[LX߉Lzt$KE &8.æ[ܪ>RDx%eEef~Ѕ SDRE qod 7:N]ff'BzUߠg[w4yP  `k*^lسW7]`2˔9 m:P6}q1 i NJ4B'GBt/=<=;x*$23>(NӘJ[p ]0Hq)P?"Kn}Bg&-\#*$ DM|ı|'0C O?ћg|[4N&߷ j{B:~OCFJG^̀; C x]4T=s 錄`v|F7KXu: 80R&ԣ^1ɬ&qM7#ާD,*Xr6'TG_+s|ZvIBW$qߤ~4RTAP%ibuIP*a4D}cЧR%dbŷ53JyL5^-dq#|Cl"Em"_lD9>CIo{1'sˋ Y kc:d%f&I[C[2/Iӱҕkt&x ZuEd~|tʕ~i슈Tχ/`%zs[ػ43(NH%c$*S;ZGIGIklfVx>@)Lߩr2y%tS!貚JMpa{zp>.ThbD i.Oi"NI ů:7ǍܥWxlْR3sƇVτ+>dْ6 99Uƹm#V{m) L]V~bh gf!bSa6H%umAdfxi< #U>Vju|s}krs= o-f`VV -vF,3ImO tORa[ |cKl5KNew.kHߑ`{=S `yww2*Qk ֘ gldTr*x✅n/H?+&Iygm'Uw7-tmARG1תʜ)0s, E_{ njT6ON >GHE~ @V=<yt._I{2*\\ed\rc 9u'HقebKi('ŗrvLA}IBkKxƢCT`)TtS;QrЯAG֕pA2U\*P9X,*I3cAH7Wg}| eFz$MۀUAr)EK|~P,kϒvҠ, b9hW%_+#^PoRd?Z4 㭼%Pj+[s?05>~ |} 䛾pLG4, E柺 Bc$U6àD0u#խd)[!3rKccDACZtt[^!:ሸGUω jc2֤by3Q[Xi'H4PNq-0]tYw6Ij&Fy6kR4H#䆴\IXыWe;/|ZIb¾2%:`i\_ it)ZkFK(łqS;Hx-q̔:i3G~Kx&0")ڣ-@ OFĶ<]hUKڲ3Z.MÃ9"XŹ8`12"{?+ũ*7[Z]}#vR$I}7َnA`2r/|Ƿ㤵,DGDfC(w"6DDŽqq8G< nqF@RJ 2M%߁C [rWf`l6 'yH.NbD[RĘ~#t Z6WŬrsJ櫼׵RN)OwAʳl| h:~d- !ǂPI'rkԴ/EbǑ@K%ut2q6y5cQ ` "2IT&ze7̍{EBijF<- xJk몗7gÔ93Q1e"ׇD} %u"ƕK5:>{SzOm|a 0%qR7& jd+xj$L|')$(YPZۅ&]bJ@w]X)Wڿt]#UA PbٽPfKX\Qnkim u89ڄwӒCIY}a$Py8Y2$t:!/\:556C>ZAxi@Ag~%L%ylPHY?\&bGژւhl>R`I5Pj.s)?ogNJv80;~, Z8ObUL촓 &is wU\J>Zo_HUTL\*xz AֺY546V&j ƒxqXԡUļΗ*ɳ v]5D4JK;l[ oDpoB42NԹnݥ^Jq_Mh"wWGt-6X\[ 4ذt_ | ?n Lr&BOp:eZM->DKB%ΖAOenJpY-)VݿW)0___%nJ7yj/LD?zMij>?]`V@ߑ(=Sz2>ww 5ꉠ1\o9*ǔ&Nf(̀N 8%Q @PugZg92HWưV1hoǍ6O/ϭ-2;NvY;d6W$eF{}~1݁2G"81Op@:9/|{@&h X硯UwQ @_WzS͒"dB\*bk~}P>6v $dji[=:#J~I tT8wRPhr!ablJ!#ۂQ ! i_jZTۨq% e.Bwtߗ^l4_!f9WR5߾84t2n`Іrغ"Bь4c>1\33.y}&Op˴; /@4Vk֏]JG:P9Trsa#KQ'GNjqx 6\>|fx-w:EmMTZSܻ@Ȃ؀v݃YùE9/YH;oE#{Pb"ՙ4~6m,0We 5Jr}Չ@/e)Zq1y|NjˍUt4xÒ՝DS>TNc,2.M*OPn!Km톅qw7Rj=`BXgyQf/;@׷FWt!\<(uuh=37<}3Խv5NMb;WU?_.d&؆U=ej\lk4Z.-7/Ԥ(n$/ Q_R 6W7lESJLWFC]nްE. ]SZa65PQ |oi%YV ^\8_m/dS ikyEl@IoU%gGk} 5͈h\os xrwGhhfݵĘAUKyskb+בRF(c|wsCיQ IcnE–}lMa7U;/q3<2^ '/FX)Ic=&Yj491Z/eN>v@˺fx\ɳMjvkTˇdJ=^vny(jbpmg7 ׾..6|+4Or`e͞euwZ %b#v:񋆏(sT c݌XȼǀH/LjdVZJR4ݨFd^@^ X~ZQR*2 ŷon ;ݣnlhs'|o: |hnC $“"3rZxZ̎I%}/RٹbeftWџn(`ypS{VMpAJe Zdc!w]Z_p p BƏd:CA仪ۮo@&^63 ,盕8+`*gSo|9+bQtOMۗɜg*Pǿ9=k(S pgl֯ 6,hCOt|hqD $n@Xἲ/-x^HcC@_.F | ,).rk 7;҂+>fbLZ=~b'}kؚi/,Gb'z}OM {y0#C^hNJGڞ%HFrՉrSI+~}2a*Uʙ_lpT{<^x:nX ` ='dQ] .*Lrԍ. 3Fl 1amu?J!qY&A4o To[5QXP%@8Gd~??yAH"> iH%+ZO840L.@ӸY:Bzܫ[6Ye'd22E+ 9S/|db?OR/=vh`5[ c9!wN%{ĉbJJuU5)S] gXjI.Gш*c"a*jF^81} wۊs1͆?C17$g]mW>zKۺ/=2'KiO[$BXK+1< *^dHL0̨¬݊ke]Pmך|#i{(ݝ>pJmֵk)Ok}7Gzfo,l5Q+S3؀hk*Hh̊G^SP_cf7KN-dzz~P_0BGjYbUF !?[aCE3d2y H?%-_-PlrT~*&#? 5 $AvBk.oœctNSo3E%!OOɢ2s L xΣLԉE59LBUL :E&Cg."<4XH\ʷ3 BkEՍ97 tuG20~L;AP>u:']:CxI%Xw'L^IIOo1fF ,^i`r)w(aI,gZQl˶c}Ƣn@Mc>wY[۱6RAWQo&]' j#ů]Rj*ODG(/`ѵjϴFvQ_αF0Fh ?DB¾h4ac|KAad :}w3 LI{d$pZxb# Qs=VW gv؞2H !߱:+ 苦Aڸ0=)%?SI?jhЫ(Zvad]LJB(CGoX]h=kVxVK/xD&6Ei4@׽Es *|P2%蕇_e{f 8qZ첞`Z8TEEJ,jg/pI*I[v z>XxzDQIN^47|܍ũ$E`sm0QFT6tR"iJ"ӫt O%F5|ܽ*iE,Wx*к49Xx帶)7Q< 'Q|^}3x6)SxPP,"lꪗGYl/u 4⇆;+Y\?쁒R#so^Nd o7@͜6X)K}ӧqcZ 6}i5ف]MߗS{d:z ck1NG?)WC dh{"5Y;kR(ѻ fp7- $YZo1$oo%X)M[ѼdEL"y B-}7WWzM3xH#&x͊/~)8מ,e:ܝ2Ei{kuyP_eO`5>U4>y5S/锤~jK,%{ʔxI[Y(].șo?InԸ+>@W{OUt(dS |O )!֕y\U,Xi_ @`Pz@wlT5X#BcecҪ"UNjI^8N-#j6}hȯ^4Fr ɣ$:òh:<=&vE6/pIXӕr0[NhB0Ξ(j:!.=_Tg t):]aI}ғm ϸ]7VmBI4#9KJiU+:Ԅm݊uns.g-RMkf4c$o/f? r?+Z}Bހ8R'D7 .]5z [#zdoNeY9}uDEź,? C)!}QI$7~b^S5XasWOtI_!f5ZX|cѐr#u]&א B4{NL@qk:7<q}*@ќN 3kT 9AX .xp\^ cwk-Nݚ)O͑vO?ooS}Cv8qɲ.RACL8W`4j(VIqQv>*[}e2sQDnxt5)a6e!%لEzv`c's8.ˌcI J{ `2͇'u G&+'R~o zӺ44&l~RClD| e(4($t{LEe^-WvBg)E"&q0T.a׼*3G;cJjylzMJ0K$Ydy T,'sS_Xm[z@pM2Yۦ悎h󓽷|Or;xF^Lђِl1˳VHF/ֿv7_kmO\_ӣ@?K>\h[|b&ۘB5ќl]CpBtVi_,˯f[cQ1O-e35fa ӿhljSC3~Uy|3;AtQ.$j>fex{Np|6׾| ??QazՙB#*Ш/obЕ:51\AhӴ.V }^ѤW(IaADu~rt%n%LVqE-N_ܺ=a爭еC1z-ծm9jwMV:]_&yQV,PK(|B,=G;qa[%_}iXF,$q[% 샜gz([n3%"e@W}d&[yvӹ?] \ZCɰtW~>L眹,O҂J7fsjc{AZ ̈y\[ibѪgCt;4m+C~b..H^gWl&@bxdKޔں_B]ݪ:b**m,.Ti$=$m"[VW8ƁF.X{>5빰%j|$~Jӎ0x\1)iEQdpUϘT*=/S JBC.z:]@V H#(D# XL L^N^3:KUaRI[ڦ"xGca1ZTMs=?MdKo->2% ZX=X YRd+*H,/ԉ{NJ,]RZ߮fiS%JJn`lڃ[@;rcI8͒3=& hTU!H.) InDŽ*aV 4˹w*z—󖒘:-eDdQd(LKd5 jQj@ZE&Q[pM}aY5tcr9v8CY'1sW\  -,O̪đ*Nʗk9Sb1bz³f#AU몐#iw_97j`YzN{, yeH%}W^C͈WZ"nݒjEۛj_m)LJZG1|~LwvS6qzHf"(aﴌL( r -<,&U\]F>:!.ƗP*g`<98\jU4z IfA>3FkD[Đ/8t*i<4Hф@Fɜt)lVqlqUUC_HN3 1clH|,+n\mI{m.Mp8!҆ƹ_4tI[]¾U[EwspǺdB @YD<<иOq Bv %h{ѐ(5H&/^Mld`HB~yTo͏"#b6(5t97ZLaƆ '.Dhxs$Q=&gy1~iZԶc룦'T ȅ2>f(J?O#$l%~݃=g8B>8h/F;vh6Y~Lۼv{prOLj;ɥϋN@LGR=K즓@IL8Y6έ.d}E9./vnv̀{{ܺ|V8=g{ J\Uqa}^?T5C7*ax,Ȱ=0琢%4lqpI8'=d qaFfpK؅@-tԣ?>/>oZObq]= .PZY "}8rNⴂ#o[Bf0pkj3J23BT^.%`a(|u3sͱ4Z5 7lcIl<-ypUeJgwlk,Ž&lbz1rբzf4Py^9Di :;6I5mE0HE-o-`R'^Tw'7+wjyhS>9X > p܋Gaqw@}!S.P2/ͷAr]zy^H'rco'jT <|`RkBn9kRq?mpW)bz(](rÙ/a[vVBFiFlz˭xCv\g# UR=6ZBPuD!ـ1M+6ӽ XK`ֺiOx9[ 0 iwݳҵ' x UH;"D 0⏭*q͸DE eݢu+~VH՚o2CA^dxcٵKg5j,8Hkm&-6ܾw'#B83mmO)  燬 M?QI۹e,9f`}3"?Бc#P<"R3)CMcF 0Ժ t7NĒ`bP񿿋Ztxk)REn 4+*͠)8#oP[y1rUG4nXx7 0q*`ľAw4ʹF!هf5BtIvI.mHY?b{ &8M]Uʿ 1$O'0Q@tT#Jm\M!tg=Ԡ>2~G_΄,kHC mI(ZcCb95Savc?&= ~wzJL7{ݐ#Ũݞ\xDp`'r"*,b׳)h-ABaJ~+\#y[٘.ܻe+6Y WcmQ「E\浚(bn o< 0Gz)y%Q u!n|u]UR;bֈw6Dw%|3uܦ ?}u;C !g>$ &r?ENxLj(5g$˻{`Ew|'AQ2os./xRp<ri<ȭ3ib1H?WE ",x {H #[s-е3 Ȝ:*C%qF IɇH~VeLTM~z:$nmJzٓ;pHY ]Yऱ.y(IXi zn|=E>%AXHdz~]Pb)7܀SP5uN)deR 9 Z>JjUt\Swr*e`2I~yT[B=|z w ]}Y O85FAuڞ&KojԢȭЄFǵ])X4j[@V>U["#HY-.\Ah=!A;kM\fzl);7葒0fwLN _c8ׁ Ѵ=41@bDnDf W(h8džQ pz+#>V3 NVv7ω9]&T-hzF% "pF)hpT2w=|V :9,|J͈|(WKA-񦦶{:(!QnRZ?~8 .p=ZǩVdf)o. F@ SDNn"{1O9 %ވz/%&`πSTcu6p8,98 r*ن) o-@ƅdEiV ,|R |;!3S_=•g^ɸZ)WTK3XGr <vahMAcYd g(ͿEsk,ب%JA0HA֧%9{>*r~'l`PgzsstY8vOeC㼎*hs[uogF۽W=~s Љkt-"|[1!g~B9kHn FŰWL6ǟc' .T$19pN.9ts~i[$P3 .AcY SͿ;l)odvfۀ&곌JQ' X IvQ6H -Tҩ]_` /5Gʎ%W^0iץޕҕy2_@Deh.k<~'2 *xG.S "N\]~Ӕ8h!ONJZ0Jm̤nppR?2 :pȌK%1c 0z:ʋcZ9Xs*{vygd-~ ( Wr<*4ky/Q8zV#ے:hZ,n?jzUƓm!4ޟ0'y̥ g͓̒(tJEj]_?Q|йqW{U)/.ĩfV6+u>HDFX8![ {e_( imv< Zlg['̯D,NmݴjOXQwc|NOb^:-ן. O #oX2%QK*5`ϼ/'{Nx23߆HB U-:M_FGU2ݑ]dJ6w'NB~]OT]i5a*9r{W\t!c [1*umM#iPz *e$r2%Aq<(*̕@%VJ&MB.,;>1 GeAs>Tk$pm(o-ZD?6d Y .D6/T|@`j7F#/ѥ4 -p]xL,݌aelg.:^wm4ة<[V\,@dN-Qq_U. tIU%,8ե,,,dD8ћ L3-@-E9VņcCvbybB,2.0 ?O-rK!#ݡ ?{!>XCr,,g ]SIu)a!bYeG\ 1“ʉLd`ewG4r; M@j1,-] t?ٞn>du!5$ uK8&dTMmp{!/EܷȌ\Vaa!۟76lc I4 `bX`%Np¹F_M(7ds(Y3tkKV* 5i-Ow5|r,Alz)S^ v3XޥΈ!u0F2j8' X<B(p2csX6(~Ū><`1C15 '5EIdd?pv1]aKLQ?G>9f7$el%)=t0 M(#X7of)ru>9?WhXӉ~sx _EsLȮlVJOĨn> )L@[UfaQ)5"lVM6A3fs!Wo0O!د\yT/|;?԰W&)1bF'ԙ>nx(p8L0-m,ϴR' D'@"N*.!)+A'koDz usP*;c>L4wh avH1Gd(8*_|SF?d.`-{N2^#pbw] y{3Ew^EUccjPai`j(BUýh'cmq5"II.Y V&4+;'f\=U,~-CdܦQ<.Ez;g2Lç9V { LlktNq䔹B8 mصW3uF5!"fD&9INZ؅i}nGR֟om}+t޵ܑ ')6](nT¯켋[0/;w1%O9ATk x K\veo'(~bר*ק3o:k{6PaT;[N\v8WfAcј~hsmPby"n@іdM_/J6<›?hqkH`nfX/ oS:dp#Ӵ W@O=M dibF7/t@*X}9 |k/ ֕<,A= Qa?*j˃[fܪ Ӫ2YÜsBvK3}X1A ڛhl`Z+pkcʘk R0ׅ`WkE(CI*;^DW(VekYzto\Ց7LE, p Iчv\]rDm,؍a0;֋3U <ϽY ;8V: CB`ѕ uZr*[kY{#ԯM:u ;TYH/t{|}ju*m鍮(i}*n&az}WQcW=X'AײǙ~eT|Nr@.++>yt 1_,T [ʚz XińJXH$h9.r|$W\HN  }nY i b܋c(?SPoʤ߲se96r6e`I.<$KOg^bĔ)lu_=qs  bFvނbsKW Lth(m:06 WtէCR|-9DTBMKgO6Q5T7f<Ո%v!}=lu`Y%s8}#u فDo<~g}  Ӫ8u ꬏qW1֋;6nJ_`E|-C />6U)hĆf)P#Ɇq@|a/T*S0 r,㔻4󣛦H,/DNS!~,Jps{1^T2%on+vx+sZ+F6[= :~h+Ոy]V_w2DuLSk ՟ﳌ|MjsH%R͓)L>[;oh$~U[62J7K8^]'s gtPW~t0)k*W<%oa"c{y.Ѝm 02e%IklHWjs:4Ĥ lXKa4$gpQcr<Q)]CE֭._Aф٬D)WF>"^t}:?8u?5eZ>xn|zt$ knY*<0d1!ΥYՂFw@Uk)[aSI_:^0?8 d/K#Y«Ɋ4tHAL\b@u|>Pjmq;Ɔ`tՉK?^DH bAi* {e\'4<`Q;2bzzN )}ɌBwȖiklQ o@$O0aɭ9P&cH KSͶd (` P"Lvkk"Age>|Ϯqv@xkK(>ĨZn9OSLboPBE4 6/Iz ԣKϞ?vz<ð.pI2gt8IR>/D_CdT%%nE1K@d%--tRTo U9'ˇ* *QsZ Hb2rM]tg`0\P6B#ڹ0>SYZk0VYscbt2TE&@wڢ -DCE&7.:CֻDexy'(\86Ը^Ic 8?M K 1uA p]re`gO5faE铄B_' `53_q}=H9& kdRtu&fHl27 zZqه8(@9z&4׆JUePl`n;=&xZ}sMKJ7/ `} 4JA´@};I+.7J3XZ|R?*l>hYdYH SW?Ne}^5>[l ,M I H tSn)f-9`H7P0?=,T3^ߐ݁rfǫ'[A;ܶpyOĥ\IlyTtPKf -{QpU ȨL_oT.|FEӣ mA9 HKݚAW||vMЩ}Wm z0(#%sZW.{8YMCU˒+t mB'"!Yp7rMptLۦ\v4J:O )CKˊ ::8&w[ z2mN ZJH?"S"y!1@<#-TPV eSZC6oݥne>(;8i=@F00pDY2heI h]Hf)@ !:A+{~ c֝CFďc)Oq>bOyڣ}hG o<_K[Yx JTwk VP]sGH+o3 ƤÎpwV3A>"HK͢A&tDXo.t%h8a!4iKzb jVe!spฅB/HPezvS.}`H5sgc)IW3٭YcF 3#fl ã}Vnv`Yg͑DRv*N5'b1s۟.t-ʵ5NRbJi~@9TU<`igdQb)<5X1djqFH\RЅ;vBwǂVZh| L)v^\9R ^[扚=. RR< _z<tY@]1|Qbn"zp Hbپ?Syw^t#u 2p)+DQq#xd3]ރQ'b2+V{'GĥLǻ %CtQaxQ+ WQ*on3ᑿ~^ݥHxڋ8Fj\3tnAɜ7OѠ=PJ [e _ 7HBIWri!~ɟ t:T0V:LGє#HQ^q?tR\jRm!NC2 .+m{6 -%E&嗯ma gAogPn~?g3fClz-Nt['p' 6Daga[KX-P]QWfbveF"&[4^_b !ӉSWaڪʅkvfpblVymk(궯E=wawBdjz_R^7ZiE]&I+wBLz^D- 'styTX(%cM"I ɽeJZJ/fA%t 3[Fݶ2#_!e\s$wZ1t ?YeuOJcO8q﮼ oCb)i8g X۸93=|vRz͙ƧVىQ!+5qnc\tYaY26o6J 9L)47ٺRe$@)VR{й,ϡ;WˏE!"S'MҼ5 K>L>o1HyЗ]5vC"xQ6=!;ԝle[uqGOC|L,{ĉ#K-LٙOJ9̺zmW&5dٖ<È<۬Nd}Wl+PEcfZm꓈E5sP,ɄV|| Rd}h>&] 4L:La`pη0!È*Т;F&g]bFhakW%.:?FТS[BzD1E>Y,[3sL'[u ʙeK1vRtωq8>@ؼ~.0=ٝ3*#ys; $-s-}kR62 S[t PY.MxCRx<22ހ bRHE XrFʪu~KCy4rm?):_:z)X> (p'~~Qgkټ;y ά @5i̜H{8g64z6 W>kNY~n- lݓ[!9/ wrgB mC'(5uyp<]iFf8DNoaPD{$E_uiPGJr /bΤĭnQcچ9YZWFpKբfh(eJ^_G N sFI?l9m7;|g;1ocn\uco}hz_K.DfS~9+ ]12"'x6s.iF5&s',~癋 ңDҦC]fU'pٰ]b9b73m|N e ':PdD6lA3Q+ O XOV'tU<#MG/c;},1}롎B遤tr d`~rNtjD)K٣GGC]'r vO Mkus'byCWo83C'~IW2 Hq[Cro0gt\#G#nK(=P/r("ϩUkx3iÄ >6j`7lHmKϣ_-Mi&Ԧނ_VoHRa=VUL< (l]r iˮHu] Bw~BӉ{\,2o1Z9JjǏ;j~.=ꖛ]nq|=9 Y>lwFk (a4nKzk{)h9R' WPSr(ȺB5(wPW*_u|Ѷ)0ð({3QgS H, J|Yױ26j/POR]:B/'S#d? ItkNv~6BƃA9 KorW,)awP9$\(ns .8peVm)PN' ކ[?!u%T+w˝8~Ha/Ɏ揁Mѭlށ}t9U:l UO<1%tO᥇z\Ҥ Ol\ ѧ5r0:-Js.-xAS plX|熉ƬVi/U i]IH͏Űg *,9F"î0A^وV?|a_‰sPZh3NP#(r,:g+Wm^>@LNqyof\ RC|gиhS̟ڙFɟ;C4a7h 2 )XYF=弙Ì24m#h^cY@p4'<@k;7}LPG3+(Y3fȓ.<;BCڻдY7&";8_yԈc 雟f9BzKI(Ը*@KV%Z oשGT3*颶%xC^FI@P6 pjמasu[[y5Ő\Jg`W i[9 y2}\/Af]gq3F08UN0u{ʐ_IF6)aQt=X[=.r] 6vI]"jo.HlUFDMF 2]egS},@ISh+ϋ{wa0CUg^:z/۰ߚpۺQ 6/gmlbKH-nN8t0l"$\.VeH=XA dwŊrY8TЅ[;.%}mc)!Z.KL78sX+^)e 鲀._˿dpD\MIl&őNꀧw "zֈqoyGo=Y \d, `'"k\<+Re0$DhbI/lu*2\6A8Wd#Le?nr#T臙c?a̔\g{q˙Q,aC%\C"rѰ)W]|Ѝ _X#&Us< "eW O=70CqÌi'vaYԨ|0x/CI/j.sk}¹PD"|k/*aˋjk|1L.bsm -m ~ 8˿*KC24:?tA؍:ϛJk@XȧY) ^ q*x;[oYMf{į`{i8D4H>D=}EWx/V(Lm0-ݗOL >ΊB[1_M*E[hew=Ib3&oķlvOh`ْ0Vk8 ĆjycV,qT (qh}1a{r&<6xr9S j?wmL0p$ּq}۱{# h\[xJ ǣXU=hFN`cJt1DZTkŎJ܍cu y@L&;'ޭS-d:'DؠFնq\++_uE1J=zFf ?m!5b>,5Mz߯xKrP,N˫ ?oհ]ieC1OnEk0߾)d_>rYx!dF&o>N1ۗTd4fd 7=mPg&򛊎2`Z{;LR40w!4~5փHцyː zĕV,Z„W-O.n̷\\CY{uB꠮fum@v,xAٻsd#Z7jEn[a^ݮE1sxakn21g&Sae6(qm^2CSe:Lq:U8Y#Fb&Ђ7n'ٗm[ {1C}phFL8'0 %{g @cX'X.Ylĝ`]x}n78QHz$5 M,KTzEOI f/db~7Z-G[S{ZeObN8YfϽdǟ~gYZ138608abf9943e1a6e1765caebec65775a98bd1b 2fb4f5659af620ff9a649ae8dc4b62dfcf00cb1d 59d11795e9d7b1324c7e54654d2428a123ed7e87 726c14bcebd8c9086d6ffeae50f834f88cd0b12f 86b5085e9bc0ce6a65c2c83d9dc47a18a0690f24 8964e51f080924e514a838cb18b9faa55c5b3946 915e94606ccfb7d9869acdc7496174916d1344d4 acccd458ddcee0280ba1d1e5fbd95f3c47c9d04a bb2e71e367f701bf235e7af64211aed91a1d3ea1 e3f54a6c594a12fa4d3060c52e77f45c6a52b37c f310cff088d0fd2457c434114a12cfb40609df4370d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff916b314e925d6b30d59d013f168c6f17d7df67936d