SQLite format 3@ =- 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 k< ]]]HOL:threads=2elapsed=208.471cpu=397.972gc=33.756factor=1.917zXZִF!  HOL XWt]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eEj?Qa7J @K_f (&Pˀ֙ qoݡB?  M Y*x_`a @nl-3Κ-{^ٿ?qJQ#Of0`J$V}`j2%'z,oV jBVoG, 8\%}ȦMل´Uz3Ch;(;/.DޟZ7-?1%Ůgt7?Kh§u}EV֥:M=<G3"g;wKykv)&3*x5FR`yR%*ܽa)̮3M|Urc#$t HIdQƘ}ď \rtZmU꓄bw (_V++U<qZͿ%Xr)} Yn"|/MV(V?l/ %0xTߵf(~x:0QL]]Jm{HYR4B|Xi_QSM E'z_|Wd8c\!Flе}cCJ\vqu5]/wS`/ J]ݙ/AL%Ex܀iݷ|&3jPbe7zvXg`_c\ǣ׸B*ucN`#%p -zh=|xi u0Jj_kfnM:NSEYwC)͸i[l8%:lAc{F .DjO^]:qZVH?9Rn$D}Ӵ GE:v8l^liͦ+# ݁{F `ߖ_?̰?,m6=>H{ʹ/]#Pt-&," :Ȱ1WE5Zy)(R\8}m* oޖp56D?c P^zzH> Ƕ 6ؚL/t|u)t0fCkpM=[>}^fdչ2Uɥ^O,cSFl_[ZU4}VdYMALsV'n2QIx,BNt6 vB{T1;HYEѰQ"6oPR{ AHn +Sd8U}NJ ,Wֽ<&. dkwݶķhMsT7Tѝf";:@3aB JKռzTc2rDcPIA\= \:z,n ʴku5.qMi)@ gꘞP y)N $wJy>h߅5EpmQ>NsH[ Lqe'v(CŽ!H#cx// pX"ߑ2 "6zb۰\%JTptuKZt5D 9ZqW Xt@yJ#i8^w ߄R$"{#a/sYk'.0BP4ƼϨ $Pk%CPW7݌7+ X_O 8B"\nWZ;%2pm`/w_w&XAڞ_ x9 ^M LB>s'[ p8ű.A={e[pd bcz)S0׈ISO%ASyJ%ਊaRΥJEvOaYUWQE{L< /rXܿdntJ-EDY*B,^MF[wKd kKYw-XzFo.AW=-E(8~^nImX ފB"fNuL{^Rǎ7\**Lvb bTrS 8)pSƙ؜%i tpR5Ვ;f*E~{36 )ʹ24Yc**| ۴+9a1թ].r {@#턕B&%❑g$95_;ܞe3üfϤ\s[D9Oa,qLfJxAG1i"}_f^i!O,WƸ2rEۈf/:bfsglI_cjqh:D睒l jzYU-zSE.x=s3 lTl-D^Zq ˤds1Vq,5sH.Zn%ITnG n^[aG΂O%dUwjJ6?9r2),q:z 8ԅM=Udʅso͛em,-ЏoG#md yHb!j~j9>2q"Cx(}BxZ\88V cZ9͢r9+=CTc@ 7_[ lKIY,V@iȚ&_)9mD[Y 6*>c \.,- cN Vٱ!CYE]*_zX)^PXE`W\o||;];ȖUeC~m&+i 3ݯs,lը{" wr2EP,ˣV[Vp~\A^jbj3HK,ewbu^mɄ/|P!Gf) B{i" ^XcŃHW Yw`&p[9]lt4~c$<[y];#*#Vn|yL ܺ}0"T5;&.Ȗ4/L_?a^/ʄIH֊8ԛ r9c; / )xdQm3#&K5JF$K%r8[2R#a0mڑRujCԯYpXzg㫐'c$Web׌΍,>cb ɵSP+CaTzS4޾^)1Iv(.D=TI¡՜ɫG[ M̀}#UyQk%Σ[dƹڧ'\>CKcY  u'B-<6EÈdU%~z'~z84 &ЛƉiij⎮#TbJjp'EĬ?Q: }Yd.W/y2ji2u)(6)oT J`UgYl [0 b~fc8Ͳ3| {@l+j;C1TSڽLkzܐ q^{/•1e3jVuOyQ% 6բQf GxE'g.u54ydRɅ՝MxXk5BbRų'+&2v=e>pH) 9@RzuQ1瘉}nUSn6vMy}JAy=]ȺvJmss2 -=d90Q)&2# A폋Lo'B>R!UŤIHAl+[w7/~1A>B_(lwIG?-~M:< wp~/m P<8!,<| \K^,⸮*0 ha)g, hW,}׮`."_St FcL&=vk0sARi2–/3YwB] `9d#o[=an2u_%Ib5{_GXkX>lvj^yC忐ҍgSƀAeL#ϴj~IIMX{rE/>a{Y}9BCi {R6#m4ApS/;>Z5BpA76,\$e/4{?o$ūo K# Ђĉ/6kRHGhUšU:f} le`"B,53 v簁tkvh{IN:>ˮ_7]WeP顶(S_Q>5q w [Y.}jZC4dn<nE(pw&,+jM;=FWݴj1ӘehrīGSKԧo2΅-WýiӴ:7xVr!{&C[JarS] yR/}տd Y*xz+C r0ѳ954Dr'|9*iBH_A܎+qLx[ t2^9ʬ T7WK~wX)1n|vƎ˄5csf.?k^&ҮpDy:{%9i'M6f  q@Z,3!S("N6fӂV&[!.oF^cOBxO_S K1XhERpN'lnBdiN@ὦM/3[Gjin< b&AvQ0{)RqQX =!=(IɱtwXfqD~i3򝼁@lqg[kB-]6`@x2\*\oMW!I2Էg|e 0qC3!֢;རeK bT\,*'UrǢyg]z"Ql&W<g j{OG)6dSͶ̶¥,7gY{ C[GТE ^;z+qaߛ89@+N?~v}H-N$d 4JXuM/EB='[|-xeZ85|e5dMb`~FY.+pE}2fD9w/uHar7"[Sr|5Lf|֘O$ g6^vOoW6Ub`:D簬'pUqbj\C64o}P/(R# hk&-~{1 x k>fJPb`N]<: T&t[krM0X5^6p#!Az)s$ PJĸvn)3/:hi5-Kt0;* ̣tB[k2mgC˷UNE<Ժi; GHFS0l|>-MnE@TErKxYg&^9$ _jxb&m  R3k#R 8GFɬ!h|-K`[p+ߵ痏w_..l #IPEgX -' 1nhcnH\Y[b@WGe-W3W%/Xl@y0V2 I9+>*L~DeMDJ ܌S*d_\x/OP$  Dž[cBNm?Gt‘hָ^K8(^BO9: WR!UKO(0$>ZݑaxЧ }zOϚNRMrXzQoCmOj٬F٫R$܆0*̗+uׂ2kZ,k\>3F۔$A-~4GٞH:Ȥm(>F|(*f5]Lv Ҍ RG\@:=Z@t5EL"R2 ePVޡ!sٚ; 8,d~{bFl{ax-;uQw~ ۖmXG I6XL5Zg!3G+Ezp7|]|$x? :JUCPD3zS TCs }ztM p_yC5(Ð+5i sCy E{LιKAb*ȋtaqQsit|M2^NH-vX7>R/M3m\OKÀg𓈥`VuCqiͥ]C?Ěi_!cOH;s{Iȑ̊MDGb]hPMpv mN-ʕuL,޺z@ŜJ 蘎YjʨUH-S4f?alB%-sѵ82;dmWr YN\;d 2-{ cY-cZ(t8AAG3Fx==jwaxU-l -6-G6E1XSt ˙C,>)*cz斈'N@Ri ѯjs=8K9*ܳڿzY ՓziZuA"Er`07~>O]N1iN[Fb|T&g~w3@a}cM܋ߓ'B|r-<(, 7c7$ZkQptɑHMK0R+X+KL3$:kŠgE}"imĀ kgr]8 R' }NL]*nLa/{@d-z1k7k?HW0ҘV2UsA暠52=WlV1ͥ *tFPp=N876(d[wy(W wtW*_˿FxVTL }Gj> .H֔^sԩ$@ b!U"PQx!\څ.b'Yc.tڞ `FlM4:m(Ǣj 6d֭ʱ}XVWUb'ZaAĻj;cR bZ/L>]j~k bA76|b}n : xVXp GHm@ N0-xҰYIEs%Kb<]GUL z!Zrp}{_O+2;X:ࡺACIRz팇@Q2hSNgByUQ\9!JFۧq8~e|޷_Es9w +ԮQxQ}uŞceNu%3xfn@=T}ɻg߰Im)xQ@/LX` pC;l/,[q Aq1W$ 0R@SAm2LxjAV7F3yz{M`ݦfwjO}x4'(.{"?me 1;ҥOyؤq9u)Q~'Lrɍ/N.H(/uH'9Qg 6ˉ|wS+A7ZFru:rԕ`@3mK g`7Nޜ˼c=t`J&jeyƳåc횺Úh^ ̦'jy{n/phMlײ SL&/M`\?6ؙ7{ 2:sw;hx:əme!Jk77&Pv$ ~%NFMs f$ܶ6yBƎi<|ct0$y !!~ )!QÀ~u5C/gnrHYOzxlP0k%1g[@Z"$BD8mpe<5\_[8,mwYg#&f%v|@spH9-De: :e;֋w:Nk$Y%VJ.: 677e*oMX{4 MtI};ѥ[GyL@7Y;|듂|vVP/p/u'C=_y-1I (vY2PvַIY[}O4$Y!J/MT-8r$|MGZN8E=H sZ1֟h*țұ+{/i ֛MѠIڵ{8Bj*yȑ<3:)1wM5^N<>Ɇ3jB#ЛCˋtmÃŀδfhpdaQnƝX ve0i/!u Cc%mMn !\N 0(e퇞ƪhwQj6S̄ ~tl0r|9N4n [Q2bQw?dhrnZat譯N";ŪE%DH:s[խ}Oi2c b6BVPyBg7f?NC e:(~*jmu&HgX[I_T <>*e= _=Ks4~<~J$K& .*fi*?´evW_!>ԘFn;%>"N|}[; 4x[2ӜQBŶM+NUӶ\;dJ]xkp/2 Ȍ%ME0eC|f50 l~ r"rfG$ G1ON h5I׍jJ jZҲhqחBG;?#rT"GwFg< kkx'M"uqC7KV+x,=ҧRVPoB|D|Y-+Ow6W+F+Ԙj'RTٌu>T~ܷe$'Ud3w hD`hT9M/S5.P3S#ѯ$Xw\.܉+}eL'lVKP߀.CnXN3/䅽~D*i9k74"sUV?EW|о(@df%<=;# Rwg_`H<{,6:%Bݑ/\Th6,UcUp1'WnLDb2C?3HJXE'Knmw;Uֳ19`j-gLnS&ckA-$z7yl`2d8՝3ryqVY2*W6p1ds\d6Do>2b@o1e( X,]gU}ABe@hg9 JQ[-1d&Cе}Z`:aql-:M[-n0 9r3]͓97 CW鋻~nPƸkI4_M]?L sⱑ4.bU'\HK5kF^jn|Gu{;S&kYP:\̬{XF24yKk en?Tgu&Ф_$E~9PBgSu'|tumi?9An DDI-n]~QA}.2RlC sgsb#\z.ljIDT yӸl#F*%+T_[ _'̯g7nGFnQk؎.b1(2Xe@*Xu't =-#q(-˝'k,qN8itN` `ኴŦҬ q4el8"5łG5<;nݴ'#;PhaB$;42YZe5a7E} =]#fNg3䄔,%|Lkі,dg>U|e**b[ YKșmQ;<n{`^ʦY~0A< ^#fUkˏ@G~W#µFLޱ}ޱ /33zW%.Xp{@:KIHi$!yĜ@w TXUG؆4wF]_؃=CA{@4 {1FS8$oCC&ToyaR j`Cۧq>'/r}a+;>%8LN!Lá1>:ۛ_Okc6=V-[iKF s(wJaTb%w t>o`&,TMLle)2"%7ؖ 5PݵH!85Z=;>θWQCdtE֚6<0gJ+|3i9'2M m/H>|.m*r3U5jLo):89ઁlv}kkŎ8uWLJZIEBYG;Y]?*1^ v7u$e 5-q:oKT}ٛQf+qmQ\ v61a+)-luУh, o,|U/rKXȡS &Ѩ[ŀЅ-03vjmH2^mV.k)RBFv '!oWIJ>Eqx@.6t[!ڢwUu?y AH3oc[O_;&xa%mM)x,v7WUY&54 <8)ѩzCg̢6@%x1F P2̺ XyЧ~J"̀^jd ;BJDA"0^|) SIҭbq}Emffi9mBX7kuwssNKBΨq~)T&p8 1yuT25}4P0Ӥ쯠yu>oq)Gnjk bԩAO& e4B}C˝iS_T Lh`CQh%!vqφK>ǣL CWEIz&` $/$ XS_m~MEjQ+3o ʝs,)87HYRoQ +y*LUeC|pk:RwaA)yƱ[@tG"6\˞Jt}Lg,RR8dN}ZT= Bdi3  ]?UKBre:cHHɡ$Otx*4*!zFԷGcc01U>:4AW:$YZ]1R"#=gvs$mqwYc*Ze|q~Uhӡ3j>7s&ihp0tsε6(YEgq)܆ sURʝSt5ypbHc %-CyӢ dCq́ Cp)֨g)359Wu=bmH[;{1 ֌] Gm#lF ouxJȱA-bNWE ^EH5G9߷ۆϏhoA\4 ,zS -M9`(ȳv6Fg+~نuXxg'0pWUuJ !}N J Z04q&"rC{"O,_x?GrRk}JkE[ (hi7C0U5p߷6"aG=ѩyf̬(-"u9O6=.|rBR`@I7Wo8):Fz)hi69~U8дS8 % ߯A,q^@WC `u1h+r2*.T!]_ӻ7%Y߼07@OkWϊ干YVSnŠ=ÊQs}\3,\ƹD<&? 7 : =I~X tMzE AF{`hP o"0kDePeȂUr~YQSWcݿ*olwk Uƈ[UVUC>VL;v3X& |5syj^h!anuS$ Qzw(hӥ?.F# M*'ѹJ+e6@f1r"T8›4ɕ^W$Ve]R?) 6: $ 3c(=@ƛ{?VyvF~ŭ}wtpqō~3c?ܶY5[Sͼ);^莥$@,ϳ81Wz}Q$:ѣ*j._J 4&ea3zp1EH,zqQx{$R W8JҚ#.q=ߢ3-vK]@` +"k]D6dIT&%!fk;yуiN:WIn@!Ջ3"H}VsڻsZV s YD80b\5:r0**48 BA:lO{Uc~֨\oAB'Sb[A>|xrxd~(a-Ɗx@p 2~0\}(sV5]#֪Pڥ+XL򁝤qe'҅&j3kL4$EvSQ"AVz@N^EqĊװ9b'QsJ&/{bPH=m= (ƌ^i9tD" Rx&g4qx4 tv!ОEfTVFDgL+7+%|Ņ 0·U{OaR/U!g/pT5BI#3 _;dǧZz2"WMBw!U-Y=A.Z}!%*ҭĚ=D%Əډ( H-gbK&mu!(pzZT ,q\'I))((::4ҊBk{?c٩)\ăˈ>ݼ"Է3u,pNJM'Ֆb:Sh ٧gțP†9,MXx2_Jot;c<NaHVd<(aE,1xYED85~" ^^3_;_7o:N6ZjUFuWYoW:9$pCCR_cBIޛԿKR}\v2QxfpM촺y,8-݌&<]3AY>ʿ.@~cLH xPSN$$u{!՘ywI>pdNA,5LIcI!UguU21XW{kK3w K9gk݌!N#4LՠPS{䙙#@l(s  *M'z@ c49 27C@ .9+]p?P3; gB=0Nؿ\ӠdpƍoA,ωq.tMw*X\D"n˰V%'/QC[)%M@=6ȴ$QsD`kqZ]*l2.G=]?9VlDRQ&L## b)*3nht؅-@2UăTV9nui[9?:pq 'YQ*fEL: 6r[G V,Zg8 J-ɶ?f\;$$ 7-C1{]tP>.nGg9""ZAD,UCmG@.Y/eh OcZG$cugjsE|!}ΥBGP0n[qabE Ja?jlS-81 ;4HHa{hʣ&<Y']_pEL?ے/̺)4~G3yX 9k!AkRnxBP ߿@%N*}*eGg]hL4͐M%5]YCT}{6)Ps&g ɤ⵺9$B5p2Vx_f9Cllu@?V5&|wjnN۝>$iS`$ Xꬑx0"4yO%14>AqŰ hЖamo#_ )%l gvCmۃLݏ X>͢hfVDX{N{}A+%p'.u%nu睒Sra ֋7vIlub3F+,~g,<;"~U Vd"۴YfLǵҮ}HmHK6͈aE*(435cb zn_8A(:'K;hݦÒm]e"3m^n=}:^ { ~ ̚mʊ^_3;"_kSUC7\uVw3r9B;&8'2d:Q2BK /-,wɎ/sh3بONdƶ/`Yx[;WMt#*fI G \9`Yt.IAia~_0\uoM,/yI뜋 I"K/ǾoblE.M)2gCF<Rj~= GGpۓewW{YUO(2U [ER0 5g9($ԕ׌/4 O;`jg?ߋH Ԥks"؟srvk>ZI}M">Q 2hN-FƑL8ӷY Z[ղv<̑ ඨ ;h+4P]5aj)L׶A}76ZJ o14j&;O_tE#7cĜlS9@WoJm!mW 4zKiD)EAa!/nXTuFl %vRNo&c{x Gl满2h}t7AYKAeP[w.l 27)׍ +:zv^tH-΂#dCn?~XÍ߷g^i=[ Ypa`}w׷Gdb)qDOC̑Aһ{?Jr^os+( շ r7QF *3њEly6Y2E2rۥ_ ȷ2v0G#=Nkx\M㏃ag#*y jZBtJtD~̝Jb -;ot`5Rg5Wᧁ T=Px.6y^Se^9@wvBOސVInN)+.x;rgng"}B%[6^;eg=7L7'`l@l*0.*$5{t1Uq EbRYS& ([hTxr߄~O|m7TBMU: \#x zK(ߟd&@x6=%z-RwtrJE /FvYJ©ݏ=]9O 2Sy "og+I}oTl8rCϦySΕQTX! Pwr{P7xl=$%"@AGڣ;cy]pYӃ''tl~gJ:VCY.fMso Ub+Xa_P+}$e Պ-E8Ǔ7趙Mx&=FK?y$Ts~a5r!jB+-OnS16RPS77_(dI ߃pcw57|*iKb (Dza<=1P'cAߺ:Mb1L.mC{*;Jq!;BqtL4`9'_m;'FE˕*a,7dOZtM FI25mh#$"s?Qe4td_!V?m .Q'O=PEq򏕑т_[4%Lrx[{DnO,,`"l %4#a.x "`\03Qqg :@l4/kCp.#L{5"nV3Vh vMI!_/n5 lQCxgeTfsGኺO }"*>,Wiy35hwH/xǩ%ݦn},#8~E.(j߉ݖl-`&Fw+BqDC)!ZtjR0 9$u}pTGT_y-m~L1KƢC =VIB0X2Ia|sѹ%Q2j6@đ0MTk;<]^>!xwäSz-mT2, TDB嵰-e[oԙa+9ǯ݄Uڿf<=N -_x\c~6P~D)Gag+nr"uw.<}.%c6ͱE證fGF1,c(8:Oh-V1靖[xbg/LJ-7qiDayo0} |!T zU`G2vhbw#A6t֜dm3s1럲ۙMC%\" XOz/Kc*x/*֮Og{&JLuQ\4P;%!$s3B?Ϳ2t$h^ķT XVGj؜vW е m Oܗ1Rsz2]^}IuO6:2|cl b )5ig@O+JFFz;->'A]Nndp$5̭2x[YOxjѪ_eQ[l 'MZ=buwIi94B-YBG)ra v?CrA'{븜!sq]l kj(ǿ:֋-a&qJiW\&pۿ6KL>}X&&Lhs0Tѽ'HX\ /oYǭ`v]E[( (W;c R|JrLPi1Ŵ Ƿ3;9uӭJk'` .V?7жzXaA⟫qlNʥ#niz5:))TE>:fOpD;n |H+^rM4qE@(1"\3y NlwU%FEXbznO2a^?M9nKdC g8i5RkPvk,|ei,+b fNߔ:J9u2=PO+[n+:^s@<=ޚ~S {.j O">xud/USb𦿣=- iհ8Ұ =M-ԭ5?h< qZFF+|:%)[|]p `|`8tD'bsew(Byl kWtkN "BY+iwdcՇQ>q{ijـduS,S4ʨBVVF:U;wLq,/ͷ $1#bKJ3f7Zx.!AN]BG۾_)*,3fJ JaS^󎢧@1ؠaiRk= d^&9o ^jX hDK(_sHMm^Vc1| Puξ71k/ eXT RM#v [`$s6ꤐ9_u _tqgZ$oKFe#k1z'P)'7J8=hܾ0P!Yo^ӏ]%>4wBM :CGKh! 7R M nGDnX3s̈́ >@jȃx"\ 9 GqnVPJnjv"NsQ2!+_r|&ŕ+5@Mfj4. *JW\k;%&גđ-8&iD)jRc\o2R/BvgWbz' {5xJ|/`/r*1ܐxO |]OAU8nf=1D yQڙxV!VvLgӦA `s!@G1`  o͵J~9xFD}]EuzfuOrObT+6GVRF,w,+ \FeM?S* l_ɒ\q|s CgҒ=5vh }0xT; \s˷*D.n5$[0tX]T=Bvb7y 5?|UԔcP1,j`&-"_N#$ȚThD>_C)4Rx ʡhp!SylC {J"ȄFDƸ|WwxW"N[dd=q򰡛Mafmu+|3,GX,+W@5XixI$e R%7y#N-צnתd0(dZ@_hJȼ0: Q*΁ò*˷Uy!fe<+ pBK|M͖OĈ ~_G85lZJlPd"fIדٵxcg} v&YT=Iu0sC@H%1+{) 7-p+T+ '-(GI pqPuzB%U!@@`1>VQz &uԡ8lC=K[thvF Kkz)nxk1BԻZОgIc?a F]77',({U?>|1zYC#}QH\Hٰ(ZdvZ"#ue"W7MpC0Kr\s ?Z:\yY9C#fNtZ`gp0s&qe6;3Od)\c'ߗ`~bq4oP53shbnT5zNT2ṑKuHYp[B(h璲w2h"%AaN5TP?) SPv`;L{pq$XyzJIjQL"0B+z^6l eptav_0bj_W FR/VW\] ̌ToDgCdBxʜpK=7e\zmBI,>\;:G| S'BԎo@~)8GL"]c@ȷrdx.OS OXŬ?^I:R] m|ߒS^j6S XUؽX۳IKXlƆkC1H :1^ZBUZ?΀O(j7T9!NG$S3{%f|HsM=6;yCCCGG)ܿfS}N`,vZq0)QVhdSt6!Z"G0qȹ),uD^P}G:;αodBXoy}LFl8 QhB]a-O˝d[j == º{IFGL Ź+IDx~gQ;-2zJ 64I8"k/?k/qX Iap7Q'io*#`Ej'镳Ffva5Vˎ&Mbdid܀FU3z\!=nm5?ol.&xWN9$XL28->F9HCF$]w ;? SNM@ݴ 0JdQ4Z.f4pu2QeA żT9 ծiG?eȴaByk]^^ Wq-G-fzun+eRdyz5{B=xq)K.E6"pK8O!)5}T^;Z:8IeͫEG1sQfM7H)F. c:Mm #rkabC5] Bgr7\F,!xX \BD{mYۄ/vJMre;?v prK3yS:eg24,t0!/\BHz!MZIiH%,[ܑ^A5휃+f4lh@0o6ذj7o1bn+u!PQ5dkqRJ!Pv"|w` xc_QReYtτj{-͗O"DedTz+ FtD[tΘ|I";lǘ0qSXiiV_ Qjyd}x#̜0%%E"×>*|Rf^Z{TلsKR@h3 ќC Sbw),h! )ǡW'h~Ox\֋m:i$r("yDL?튮jvbBŜ:.^J 5bR-5=Lݼ@q6Kkn _ʱy^ȸ#ЅIv!jRMǹZcrC@HY,!x5AL|ІЁהfذcڱgYZ7zXZִF! 13]ŗXi% ,xƱv&L{-P?X;&w6 V+6fLԴxY$;~Noc igxe"é(t<'p{NA|M*F17\Ϙ {_fJn Qe whY]Rͬ#gt ::Ãb+K6SQ;1ΓnKaGk"Cumf[Nqbdaw[\BhY5A0\-܎ ^E'zٿl^Ϳ#:/{宓rcD6E[AI`%򋤐-{$9VFfn3yhe!W;M*}_ >ݶ"ImGH cdR#rhflφ%2E{[q¤zRC['AT AKo[+ w7me%@1O "1V3KjR+Tz%0ke=ͽ$` #p h̚椈kv,"9#^ [):C lͣ{e`$ټ_ZΡ{c~455j-N/nd'67yr2]OGj[Ik*120=lT ^ ){6s;q8F|.- zhV_W9 ̝Ph _tV̖UY?ʴ$I]E7L|J^@yXPA )!i\-xA<U% h8C_I]12u͸2 ^r55w>M| ;T>(El)ھu?3r4C EUe'TR2G<bP|p4brv ҿPo,7v7'1_Ea$]_Y> vJL/x)^PpIIFT^t4Cb7[oח:KU68td%`mHBɁsdg! [cDBseCG\UO*4{t*sc6=ګĞkDڥ&!0Y|$2 Y5re|$6"օd'slkة%[P^_~;[[=-uXݘg|W7Ě{_oK <;d4A)l}?"$'*\ ! 2Gz$J[GGζw(mSr LHHxM$PHByZPT%\+B`oK}P%wݥ:Q6\ˌ0hۛ(>`PE+箣˧1U2ha`-J'ϫ/7me;{#s?4ɚzqcI$ *s=6@2KV(45=C)3}6{!4/=IrG JZ\-1d$Sγ+PURr,R,NrVFϤ\lAvkՊC#ħ;>eRW\G߯kMprQZ _*l\yNOz0Au/ٚ} @Z aN+E!>Q{$n0eN2Sg)Z*L(RWi5Ƌ;w~JY"_ݗ7  h#O-DEp~w} 7\ZU_9l7 ~π]KvOG3obZVEsAv/Vu"]M@)bQ ~*ǡ'_ہK{%ٗ+`\ Y4g4c <%iWشl U-Y Qepc=PސK<*Ï&"Vgؖg$NF3u]\g-v߳/\yHCm7y K']*ρ>2@1ff0d FQ p}M'.We xLa+K{]f0]uɱJQo4==ZUl?6ۙ ɔܟ֣֔՗,; =|=+PLz"O.m8jD%.NfQO)29 yz1{o\i @Miy$! vw48F: yh2&oQ~* I@lU.iL_MAPZDw=5ouIڞ0]rɩ@Yܫp+\cW+ur8jWnm\H%,G5 J[K+"]F/5p8X3s)qIokF8&47D|}X}0PǛam䃘6;{Et0 %z fmA @ +DׄeǷmԳk QnWj`강8AQuSm}2.fYI9u? O"q!x걥iݩz=HNMͽ,ȻHj!urr pQiL88yuMs6du58CFI#':Z1šj SґDks`c'>>r-#~# {M*s涐j 30cՔmw3/tGjoPąkPV(]ĂfQdL]d"ȍY!f3Kxb$t^=\7&U1/| 91ດp #7Ar)UALQ iq1Ы$;Ht1.1 ֙>L!ш? h8+,@p"qÇ|c{Sۢ ɴMǍ_k'r%Jbg/d$W{m캃.Ԁ3p]r ֗3 |.,gvFdPQro_9TY(a[hW,jEo7k5+ !@=7܃|Zc0wڈ {+G7ߗz~Uҁ oޯfM_%FTl6EU $ W f?eRPII2Z Π,cw%S̭EvOֆ:d;}0q՜ƶ#&呫`΍s&!ouxVCU IR-Jde>^o#˂m4QdLB}B3nf왐C̪!Glz`: J4sىд{one6\0SoDZ8Z;s80i1|ڵ~_HVUi _8fZuR$RFx)( #vIC q`X\"~ct#Ѽ #+= f7|z -Fv7`H'F̗nvbfŃ-dXw992ŀ lL-&%GWb5܋Yr}Ь,,,q|f1fL2\ZȹMYH_.:zykr$H ػ[ y0COW/@0~6D ߖ5W,y.oɇav )ya*ˏKktrsc|#Q ДEq}h:E0:'TSk4\U`5 5=PKpy'ur=vbsE=q'H=[ A}v5=G]z 2=}Q^\*'wiAZX [{8l, gףꫛԯlZ:W$;I̙`}u AGyৎ_EGfJ6`$ rA{#[sIx̲-Z^ Q@` W1ˊ7Rq %XZ^HU` f3Wr,%_@S#V[xԅK%@2FzV.obC8⿷$B@WWY+Ɵ Gj:edǘȡ2Gk={Og+aWKC0S#pGhR73"^xʨꨴsXS?{9se($o7 ph?3³8G]?C^K~1G"3:j.0@V aib[_FDQ Ml)[+`SWfeanި1l2yaY}TiN;AjhdmM-D}[)@j&jafWF`Q,{rJfڦ]|dśد;s1bi>|d<l*[> 7IGЈ0[r#> N(y;~~E|Y&iBIˏ6wG]@~ku^4;[hBaK> ( 9x#4܉IX>یlpP|=dþίE3_lW93:e/D֋2 vŅMn@D>,J1n1ޱ7!Ö6"=f)M%tW2^~ap>bƔY4W&χd^iJEqC0n|+nq#72jp\jCny&6xnHr=2/RiȔUoǣ7ֺRHV?"{;X7d]T]{mKZel'vM=:cfJ_Lhڟm#)K,Xc~-Ͳ1T- hS?LERaNDgSoX|vK:+U Sb9Pe샒[Ұ+r[6}ʿIy=/#;:<Wk*J$s=Bě@i5u`auwH)g*bN{I lҞfCvș η.F3-$ w^ښ5vIh.#yO Z&|s. ʏ>`'|zXk:b4Q>htEL`Y=ZgDȿV<?#xit&a!Lph Jx D@ |;ʡ_P.q7kKCمoLz(ҜDPL0uaE{z'~#$Чh3pV#Nk@Lvɣ|]s3+ۑ;ӰB- y_~zk{TggoY5V_[*SVʕ+UAL_ﮰgF& vHrݯ"0sƨ߯9ۚӊ;B43(p$+{]І/Zc%[$J8|z-1U]sGO][d':Apn}q |ۜ{.[d3է"~K}r.ZOv8؛M#@Kq~مLd 4/!@8Ci ll[Y2x䪨:6uDwՉDa|r;M|ze. Xzz#l"FV{얰଑[:8\@|[06 MlT tQe4̟$iJL\}VB3cQ5qNZdHhgAĕ9g.1j@ޕ t f0h&r .b-@ȷpeFH]ޚ$bgweIVRwL$ΥJ.)Vv"C ۣ!#10A+̠AmǙ&QBMpA N%>!).bxTŃfcfvY3zXck*2MƗ.d-k-\u! %^1ʚc}n~u?M:$/%}sJ'7JP&) zzpp[Y~r5?ul󑝼.1|~vN8 n/2a35zE:*دGksiih?=I6r@<dq(1q >mp}fbk'|lF`hX!yg;@~3 3d]6TSDj8ܴQ6IqH4q1,CAuUگqd{U~b ,dy2}n6?Ai;X2ElssEz'f;Q` _i|Mu5^@!kҩi , ] [A)/mXsV/@ eآɑH;׉-à Ǝ;yAcZN[3TB/:д6vF]j'at{Wle0K4Z+(M.koZRtS\^rF ;.jͩt M緄/\fa6c3ߎQV VkmR'[y+>}5IJ<ҾeK ز.}R6'?[OY.ۮj9LI79i+lrކ؏ ;-,8me ÀE"q3-68KW$29c'BY40_MfbH=Ì|1&%R$-Fle'A S)\G:?3^jZUzY5:Kuy-+,3nd3ooL9S3xy*gm wzE_)={4c Fo1Y 94YZ GB{&04SVgmM1|:>)B;8E^[y\{++ʜ >i#ӏ= vX{bsK)w4~aӞuӔW֑MwQhnǜm@h ' *̂<_ۈG D,˚)V2*Ӗ|i%_l)JȇUۙ v"ATA&GuęhZ-4{% o|)Ky+\f'Ul>f^F/ߖ44`lIH7j;w0@')LU;ʼ|>as1>ۊ {n˖ $Utq)+$6)bz5)VO+bw!Ao&"x*)0;@n@T3!E~ a7~Ć]Id^d=|1:F/ {\91'nuܡsBG iAL+ OՏ[}OMJ#$TMԧ+OP\}0fc p/mrKžQ7Nz=lg< }YY˜W~LGYMk!?%XED'B̝C gTwkwG.̤uXG&;6fgFAH~ǁRRvTlE P"HUڈlsNĹKZݤ?g(p:fV—K%S"K2}@bT%35cqdUtFYq5Ǻ'R+)\9Ojl%mpYw)j [yG-Or4$GYsʣ.1%REaqN1Czѝ(Ek%t[8? ߺ þmHHJ]䦠$tYU6 "WkEr<6 VbtV0PRa]ҮV[O8%%yI'31b'Fjs' Uq^"aZ7?5uSs 7ʯG9yP[vSˏZ:nh24Eu$R2+͟2GaHo#@UĐku_FmhCe#[ .C=0L%۟YO DaޤK0#m}E":a^I2pQs셲'繸ZGcQ .ˤ*hjoꩁ|n #T]*}/uU^2wK-w+Lޙץ&*2O=|٣,c5z./ے HyՀIe$cJ8@9?~ٷ!Q|Pt4 ޷MC_2:DjtǾ \)A!1dQ9~PDSpP8qU%:Ks~ &^\7ڷdC|kj|u)6,d4O9 ( %(&mV*;*[!x^#pF:`K>+-MZ5!fIa~?j_NJ6W+OYKOZ&~y0"Bo7 1=6)zt,,>7[ϡȏkbZɣU4s+`/eHCqҶ|ȤI geCUF%lUlS$̱EbVoRUFq;|Ns'RyT!^ b)¾BPyE#6NEtˢ,BF&kS/K!;.0ዎ;F.Tx]#5p!8s`gG Np!N)ǜ"1*bn6`<t5$Aߔ#{9Zqߏ ZK4Bm!Dh'~<($+W*V s˩9ևK/_W&V37| 0:tBj-3}q\1~B!#Ybgc=by=NllJ;$u"+J0%%QA\fC`fK cn{v#KZ6N.5ʠ;y,Vw*bӆvJRMr5!&G= )򑍸]t_+oixwƔ7F7{dWWj`1v_srAO}nS֫U ZիV :2Аt̵J& u( t&IwC`$Zc1MqI6v!ݶiAۊ}2ѨW[N|1)M?