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  Ct,4< ]/ Median_Of_Medians_Selection:threads=4elapsed=13.735cpu=34.216gc=1.2967zXZִF! 眧 ]ŗXiɟH)0%oagpP7LڵS4,+WT#\<V^2;ѧh_Yȑ$X8qpYbH"U o7īe*q/6& nv['1?_C &X2iH^C|>FyRlj&CW_s1T_jc 4s)@U֞I5+anD5+Mn ۚ[P:9;mGTftfUĭLA>u*u?e1x[MECE5ҙz"̹5.S`ҊUy=' ڮagrva$'DءOzF=} .9%^Hy;^AX"ѥֈp=?ox'(wuZJz|յG;!y~D$=.w3cR. +-ږNse͂vt\ Z [0ڞcbb!Wn堅dz) C Median_Of_Medians_Selection  j7ɏ\@a)} B98G5Ѽu,qeHXQ!| 5AEi~,͓$q.ҙ׋,>}+Zv&c+E-yp@]C.V̯Ʋ]v;QRʜ5/CAɸ_7CYغ.رdQQם|ӷ"rGm_$c2'e@~63( jKZOt398D=Nioj`10lvه@19WUٍT^(l;I%o/'XXUd;h7mq*%x4+F=FOh4}}>c"+mm$MM>2Κ{"X.Gv)B}oOX*t|sѷq)}x=sZHwc+0E@V块dv_t[hn)g ޯhK诶x01XVY/PC^~y*_@*:z8%|USFœȅd?%βwaZѨ /jPyd~Sثb61K is9a$=7^PSdcj nkMҟܮdd(bP\$FZaz9:[:ي esw1j.2>B~n1B w]rwYwL!aBڶ Q;s:L؋ּrx߷b$zƩg|V"v\!tq0'0cщ ^ȢUn`0rzU٪'R)bvm|g 0[x;ghW٥Lvxz"-IsG㥹}|{LJ^5NcdLbY&jє^ Kz5}8W%{qf=/dqGJ'F"װFߍ۲0F.ñEe+S? ).~jO4\I|iڢbQ[[*'gVnA\O#8P"hY f$4x#!**}dQc [ݠsp:yH7AB)+yD5+K$^sl:=ypFK2zWt*ۙ~;a2KY\:?Ru+:jHi%S[:U|5 [ߐ/^) & [ p@#}zٻ033,z.YC}"! #b>ʶalU@A+8.B3 6m_X\S3˽KU1nӘ|;oZ_N&D$h/5e+R F[h"ZBJ{r\vw^ȵc*IjtHd K׵b+~p~+];Ϫ>Nk| yfgcuԘV +DTgFBBqMS=^3=xL~L$=65>Z}mQdbչ$vE;651EP$_]&UvnMKC S6 iEND k_FYC=y}!w%Pb~Olu :&W91&.~]&>GUɫ<==uz>?@Ėrd8<[ .Xě;`z6^8ll ?ZEឬ曝:,~ qF K $z}J ɹc_N̹U fRBGXunoĀU|N:T$SL5U abnk,!&@jFZ*}LhƱsJ+(X+6ITjو{9n j&U v6c5: @d'"1%^_ieRHSH 3nBYPv`3W@Kq G.jh$3)m$vtGz\Nmi)zv;"dO:_({< !י W"ғBdt,w/,S-pO3`w%IA} 0uUz7㗥ɉK.ɮ.3a ޤ=IPKK*yf4+C5IjYƞ F#[_=h`KOxD 4^h~/{SFL{D<[m] Ϳb&rx#ZE W5#jҖ7 f ;l2iiXzSUPknvp7vm /vՇgXPG(B2\0, \u}ANɐ*_b&q}j||+rY@NɑZ\ b$9d$mx.E޵dtܼ{nPxE䃐F[TCg&%_ZFi,1|FUfWF$'S+cz"ueWRjSf1*oR"O|^!8 \ƇHaew#)%f&/do KJ@ÝHG$A@^@(&͂bG?Oz{lAzx4)JgwǀCz-E2۵iEL +p]> 9#)u0~rYy&󘝍5+M[sCLUBF݌Ȕ&e\щ!}īmacjV%Pj DsY lI#d 09 okS{5\/crN~ A+L)اNI},tnC+D峽ጲ\ a4囯XlIYiezѤ=M 9_ سY})rvص ~#+VA>]m8G1;S;'.׈ϡL {J ͂ѱ_~&YwV<3law_d-^.V!f= = ,^ |DtU% VZWo i9+[ºw5Qe?pᐋ͎_έ_NH]'S෠|0yL/u͜PrSB%C-0 4l]ѽV,X$j{P.w*+`v(S@2YЁS!m'N"jbƌVߖaݪ& ;h,nvUA4_ qG| y. ufL ttZ Vw t=10 bhTdmw9( -_“`x>?"Bn1e8_Fq-c^vC()-hQiΆֶ# uz*>Gke'Tbe qOv#WEuUc@x/;w`Ԫ \Q> _۪'þ1ء18 %eA3udnjyOͅ=s3Dζc]!Ԟ[Su_ZD]g2use}\E®h9GXXTj`9x:Ś`*E,Kk^j<O/-.$Gu)Γ6Yxeo>Fa = ћ4CeNF\: q! Jzǐ^Pߩ;/xmB? Q<S,p5'Ǖl#u+uWdfdaGtP8e,B&aTAQ6"qc@SL kId:`|X}( L0in{$X(Va)tDXX1!~sԦJNDFtE?-7:1E~aܯF޸,AUDG _g&xBn\NhWkڃg:[' Bǯ0> 9j-B EUgQp}55nEl Siи?k-YmJi7 EteL0xsaA;tc'RpR#1M:<1fI*NuT2RqP$Oy`Q װٟtɣ21 !N+-%\Ŕt'O}K0xˑq48oK.uJ5q՜ת3.\(vw8`<35h\:8OLEԽIurɰ2BB ܿ5?c E: Ŝ;~h?meKpיִlK:eMĊ=C(1(>2rGtP,fB:Q2k/2n$TwJW56,Hתq uBULo]@5'bUHT%}{z2=vFP֩HnO0%\ Ib}#%Bc+֜9МJْt mTZ/e0,H\ovCq] cWOW~Dm%& Q2+DA]IVQ&Ae_+7A$ϺQ GCѸg3dͨ_P0Ri\:t[ 8zz<cN Ft{5YgԸx\ۑ鍙NסhA+MT}-9K(t9jG]`mgW;M 0Ymj4zіeWa#S3Hl5ݥӰ-MrH7G 1R/c@D~B_szFӽw<4Eiw5nB-]@#EYD%ҖZF/SDZE@7Wh6\l1q@@9nMѳ~`ñYUi5'XP~Z=,)8yMLT5R6OM!>zdLSt?a]]S;|h%݃B^w@8 $ cYS{FWc3!<|P R驓މ{M%x0"'|)#'ip~q$[G{/8 qFIBɌs@5 9_- BFq4 g{bi" ]u}W*tӱg?lpZu"~MPiaI`ԣ@9c런yH[^³V0>΅AfpAb`žw[3[~U^Kg5JrIU s,OPbU: ]{wWd#E8JnQxw'r?1[$A(\EB_QZJ7֎NpJ3y戏-";,5͌K͙s| [p-?W G6 ]z yW=s5(? 4#"5Fp͐P,okq ;ZGMIٷnMBBIYep4CY$Y6ٓڌ1 iݭ1P(McTq): &2K>aЦhPmY7,-9|]LXtOcdӂ8ښ̾ f]O&?LLn$+:?'`§4T@_'_iP+ M'{'TߕC6#7Es0S2f /ˉba=#1o;-]xL:>oN *|>vl3OH9K$ UPZ\8D ^~2? ;bP>K/>)4:oW靰;s(*zݝG] +D0NEb4ʁی;+ 40I:kbggYVʊV9n}I<:yn1% @[AH=qBq()瘒"W]B)ŤZٍA[RkGzG}afIށ?`ijh$"h1na7\]e&\F~<㕣_=PYɱl*$_Q;>8BiZu|B518,4!T7a(L%.e.Xz6)D4!3۹ܱP` 3nH~?YcU  a17ҩ'G?갟VBM3:En0J1[G]?H*bC??*uy]uKdv)_ꀴ()'O̚c V%21RZuk{  |.ZVȹMO1#X5Mz>gޥOs @bn+#ۭuU9eHB䴯>25y,w>lM9QugKz;*WX(*Qe !qڧ1GZv=Edrߞnf(+w#z'lX+AVk~hƴ3-tF0Td>` ykH3.RBkǢ'a7g KkuU(_`Iب(Rb='1j΋Gat県(_m۶3Yrme+>cylXu$o mKi @v9t./b+]M Yp#3ı29K[A pX晖 h~L3"YYu|8]غdԑ0TG#@$Q1=Qvݲ"`L6E<`LXk7x_p#5N;j t/Km0hPhx\Ajek {Ĭ[Z1o|psVHJbj(;tTw"ׇٮ %kVxG#G$>|$1Z?R/ OxJۡL|&aH8vfU_CJ̤b=#-e?]9m`m~<㺛'G'aT/=$x8tu ZVt#A/-^ @Lx?_yVqe)$\bpB5imy]åDd(5K`Ea5A78[MF}i%O!%8Y?$|a0cXʠ" HGISoH2a׻Z{4 qf[?N4oM_Uzg{y\Eek e'p͒O,*k.SmuaPTwQb;*,رjdDBN6}=mktJ % gmD맸Ƴ=xj`'w1-c/Jh- |@F )Bgzu/:c0?̿H2'&|qA`y[ 1`}J'=u{@yv@C)Zv yh\8:)Hb[^_x5W1WAHƗڒ@5kqP C̠;xE 2@K*SAsvcNdyKD??ÿ%'Ajj<؜kd2k$K#>mNkF_ -yWIN[z>Eöξ-jH 5:5B%,HZ dMdvm"쯲52'!Z,.>0'/LvPD|2h+ :SКrI!&ֱK" Gy7HV#R4Cut+P,SkȳK~1~(ٷ?4:UE n<44'sJ↪70)~L3ŖOr+){B'kZCO)$ιSJCEC׷ș@ ee6q eTX(p2`@HBŁC2aH1"GQ[IM#PT*fyd`ۆQo6pt^,i7A3FۦI`BefPAy) qLqd0<\hDFD'$_Y)ٴK, ( ?P_]3I9j^a#1w~ MjM9`DO;pˑ U1ٱ}mdzztq3cypxQ^^AZ? 3.h<ٚ_ĜDׂ"/#*%YHIY< ϝhA)krL2suة:e N |+v@jedGXEkg3eXŇ81QZ@U$t-dR6gA ƠPېy' `%[i'Y$Z+٘e?(Ƹ-W23F-ke,f8mPFAa\PZ YQU>wͭ\:I^ kL/,鲘~|̥pH3F!4<\ڶChzy7ߴ iGcu$,,R:_tWRsc%uR4.u ]Kd rLj{U;6'0) ;^SUr 3N+Q~\d\܎g/8fdFc9]՟)+UwNjs!b÷|%L idA!6S$}z$ۆc3ŖIa0oym<4N_kkۙ'Y,4E% T98gJvRZPBmBDL m:!sϹ%gMd+V]I9;T:y|x{2h-|Ԭ1|{8&jo ,7)B"\96lfin2l 1W/Br' a+ $S xt~X4% K(D 3pS0^ˆubS9F &B\'xE+ -)VBrհ$`3@z  X j4!iR췵I i룀['0N7E&ۚ@۰W(YW/kȉVm _^l^rȤ#Ca"uM 2@$qn64lM#m|LYڝvFͭ6fչ[Bj*irrрoT^` 柨c"gvŎAAc/=הK9&W*Xv!  v֚ScC; .֡wiE1j>nָ\$x"lj,T嘦s2s=e#fRo4;IEw,TO⡲>azW) WzyȬ{; P2|tHj8G: tZo4PjEu^ K xa/)+eE£yScY'1}:1bV#)8ìňdR&X`[rJ&2 pwfU2esf]'~D&-B5q!N C:Jd+]4Kٔ: w=lkݓ@euV*4c4jQes KDHMnLA^jr 1\kA&)CUh1$`q GܨhF /Uѫf}!qM.Iţm|;E{"HP8Nj*ehK'2z++-=5EwK0+嬑½2x9tp0Frlx8@v=^  O}ލdjg\ %~ &2,g6Ð.l뾋`\mqC&z,ϋ嵿)uezpKvJ21u0jU-ssL7ߝQ?X-Ը?&$>pC ca5X<mgx T 0Id%7A{E\3?G{>Y ϴM )KNkv(5sBQ @K灻>|Lӷ遂h4)U)ަӞF%A1 x C3PܳrUʱP;5_"(ՈဎcȰC|s0V P]uM%k0gf"KK B2F ߅pztqR ǟGXڴZj4a:jׁZJ̴w"G=R?3Pk` d%IBk$]*r%{fD`.ó<|cjz>M@N *pV@lEd#5*l˔ uEq/Ϳmxh`QÜ`{i&cBg.a$'cf:E\v';ٗ/"=-NxvXOXҷg"y ,@/>㼌x6wa%2f. OMtw*P>FU%1$,:"fka唚^&I+|b/@~xadeQO)rk}(ڂXG.3_s[|If=X;UZ#j70sJܝ53>s >Hxu^C/L$lJj1l bbWGqPMNű V ThZ!afsLG{Rpg.^(%|jOI"3Q, RMsi 쬫>%.%n?u#~'UYB+)$^.2`*s5 'AM ]5K!8um{k ?J<'T&J)7$NMԎa$UqDIGF4n5D\ >N0(N;oiRpRف2|ڈOr1NçgInW_7=?!a6! aJA4%pR׽MĺA8eߝZAjv6ѯKs(/M@ⶳfy6 q>y:œ̓]Δvsfo?M#lf;jS^P ?ǯ:Kz,к?~xm^rO"2?L^ Pds3G*( $eȋEziRy@!G֮ZlTyUErK=⍃9dQ pzD7/}Dp8?)NAp-Br+:z9`BR@Xwg9.B;Ii2_(ٸ!aCC<'=fKJ".tq#)< @L/q$ aP[^vX[(g2$z..ΐkl7wFm)G;ۉ{v6/u8zt2BH8dӪw䑌BIQHom)B% KpZLJ\n[GS) mt'S_Ω1iunH4m$'IF/%~fwaX eoB #zߊ&2UPlē=I[Rѕ9N +p5H4Ag ft>4T<`֙Lꠛ ygE1(]]A6+ٌJ렭%Q,?'a~"t`l &1I7˺SPjH,Wq΅gUbȞ[A{TF$v𗯍ǂ$ =!3}J"7AR*,p@( 8t* T,hkƾFBtl9b#tEr+[g$ jMYH/Rj 3ӭ #U(*]I[|Ԍ_&K1ў{pA7Q};6`{uzj(nFcAxc7LT3˫ -o&;ZI?'GKhGp!6ZEڔ9g:Z,ܓgTᣊA71W:A8l \L^ʚ,!k,AA]UJ2ۺg@c<"I0Jdn|ńnu4zFu㫊 i(8Cݺ}7"<^{=C'g7mwԏZQfBGA+A$n."L`ժb2&J;J-#v:,0j52KjU'fXvew~B.G1n'\J<#&])Z&G>~a'lg1X֮T)*e 1.M1=eFwd/G 9d-oh'F?l4hޣȍpyRy+I+4hײZXk46~4zG pD^|o~cT4l#΃gK/4ENh:d+cVaUA{ ll+Ӊ}KMA2io+*'S e9\0waI,&0wBM5:1(cypB >rClMrjV0L1EK F$5(~p͹Go rPw{+Ź,KR!> A;qU +a Fjk&@Ri@0,l#S,nݑF:zHMJv8S=%CJ=_>5Cu"tb4HA3в:`ԗIx9G-4BL۫q:Vuu{<9 pr&ޖ~YDBO$PGk'Ru ucd8kcr2*Td4š&/8pZ/vĎג?`BڄZ\r:β'_?vJ!j>p #mm27gݹFa8M4eD?g_KD*^ U|r 6xd-i=lOڰjSkўyH6:d 5\xhi*Y/o +IJޚmȷz8nOr; .AHeôpur[S/rۄg\FE@Cm?8Ɓ$gߒWtk!5]\0mӐ Ut4'_\iY \c c6wd-spMs3DŽrK]^Lm7@'?qoE\LX'՛ &cjкTڼ ^(?%H-өǂ_!oZ9<ր(ܬDKIJnaWha>z7CCҀb` /TӣuS䜈р`rQJBuf(iVp8o3O#PX3sΣ}pNEY3- u\};S3MS's9BW{A0l?2~Ov >~e*Wk#sL$N=cJ^Ǵ(&0Z :D"عv$ 6^+%»qB̓Ӄ)b~+3ܾm3UzDo,N욏+ǃhxOa)fM3UPܰ P׻^GQ7mآg*|i1BT*65ZebJޡ1$AB| Ob |n@b;Y>h<ʔA]}/ Q33E:0K)5Q9*TaD`zv˨GCv1{Ȉ5(ԑ/caJ_rΣߧ!Ƿ=7uqw]ĝ}YR-!(J)Ch'?F"`T_?ꔐs^:ζ0 ]!H!O{eu`+o1:lj^P1"\}k(jFmKRMӏf8zc*!;madC@1Q-yK|xԒg9kÊ5Md Y QXujW5 x 6I_ ' )Luo(%uh( Q}xWYec7h,;>LI^R/1Z ) s N}V h ٜM*YH)HȯI ׇ tvp=\J٬}g2Yσ`0(xvXp5D7Ɇ`iEy`n ֠ւr9E&,t+r\ 29Zә_~vv )Fxb3v *TerT_sw ƈٷwnΙ1=ַ KPqj&lsGjjɖDaqsN pY2/kT6*ƪs^pl2hS3IҖTe%aomEeMW@%=q$E3)H{뮏N"j%UcE#~_fg)YP9?qp$9qc:Q, 7E9չ'P˯ 1kg_.5ݘY :='h57`XrJLDh>3lbE/ FΫ Thu\C>zٙ/P-ʭǸaC->&a2iRL#^LI?{zJ҂-wmNCZW׀0DwH)lgX oQj2x)fغ3(fM҈I%MslrA3"7ӍݿL#MÐ݊FQz66l[);IYtzUV<=^dpZ'+ ߴ *4L$.ߞ$λvwiѫtS=ҞXvb'Г=pMW@jqU@1/4&fW)P? D~p|R) ,7VdZq"1])_6y<عB~̀yj1`aST /_i$]PDŗ2B71r.ѻ}Sp'̢q14u;mNZ8 _ax[]Rj+ZW$j+yAI]熗*Jٱۇ+r,' NQ48ϲgԩiQ=$F h%YyX3^vd^7ªjGS):5ez^+Pxń{nw(]HJt'_rKMisΦ|<~59XI`-5DkQm=rj1 @tFu*xo]i5aVV"!=`9^1 1t 罾! ^3YMmS28,(>'hT +?0py4sJ|Sb*87VG%*xT$C&8]a+7]XDlv O FӞ `7L (9WRna -BpCA 3]3*eRDs tpKoBJfv!8ѽ!bƪd5sKO<}1Ҕ MgW:u̘\̧먋d!.c& iK@)`i*ՁaZx>G vmɠGX;Z蚱 NX}?K_~U Z-O5օƖEu94݊;^#uQpF$ыEBOu{]y*c*Jj.+b{sR&.[UEF0U-7ـ&rJka&W_Ddžj9m!]GXFQsb/RD"H׷-i'8S5O7IDmܪh.aVDB/4Q A!>#mo'Gdf /=ίtiA^A̯a KU)4J-e2Hj3:a\v>WHGK!uVJyНjiQ\׍|~o`x$>Dj,wS= ;0F>-;Md@B^A_z<%$)b DlqdE]Hus63~) 2bǮie D>A%$җHA4Y`r*Iemι~䝜Tgaqck*̾zDƁe1TyYD̏Aл߅wsmyuF@E/y|EH )-(p[Wg9_titf,kLnYڞ$ ӑHjCKMtOw|zSN̯b6յ@@r Htq9eiU15.4yuք Yc'=I/aR:jǦF X鬔x iIm\ d[1$M="fp4wp7/U(p)F jb ޓǀe7-ҕ,c<?k1iE[m)f5ʐQ5IC_ӱ>#wŴآ.!}4{ Rx\ vf=a=@k't$0E4t Fս/UayQQ`hfA,=.6h#zVR扈/JX;dxO}SjBDX{}-J… Hʹ3ģSwY'Te:R5&% \$ڔFmg:[w0b0Q̱V1)CCj7by B JI@Q(4Y}e Dco@!}c$' F@E3ⲪuʡKmlrCS FZl@M_xnC(W6c~DkGbYb9R%YGc ݯē9U^}ŧcEih~$BvcXs~1clNp.>zd< (O՚(n_B2b05WDc.,ERgSmAttaͿ_L.&gO_nMF^R>G+^j#?gO0kۢ( (ekbjo";DAE`%1>NWT\%򒝗HBhH`O*oXE>;+5f0|~PFG6S`!ptV=`y]z.ʖCb[ܒubUѬ^[ /*<\/umJ-{c a'rs􍌺G7֑7%mVsJv.fFE ʼn(l"!"*'R܍ s0I^I\S n ȖCCN}!+k񗅟zN- ܟSY,s58zvbjw0Xh7igY;jv5hU(-3+nY19"`S Ue Zi uwhE>\갬dPc1 \ 2 N>nT]y4i4nZNM B%Qʫ KK:D>]qm,x/39Бt,u;!ZnDV2J0nkFXk|,ϑjFoB+9MO xkMvB_z֟x0xky{(jgb-3Cw{45yi_ѰMi-Å.jC 3X+k1^m+S4( u`ή#@c@K0E:v|˗ē8RhW?1}fGpG1)rc0ƁCzg:@ (L +-ˢ*s[q2TX'c^ _ tϛ“kߪ͋ ydZ5]jy j{`;V2죾?u,YlxxO ]~?6D:x 6wU^hi3%nXOZF$迹#R +'Isw ecGR/>!O\J1.w1~*|PG]4{K۔dA(r6w+,Np1dd>\M/ 0u.  |.xPsU=qCb` t*c 9o{WB)0 +ߥ&1ee$%\c"o [U7#!N&Y5nh6&,*[nj ySSv D'~qSR#lLZP\N%Ji$ G,+e* '$l_κ0 Co{T1߷ \f3MSXX\P9&qf69B|Q|Bb\DZE&DzykGX9Y<*[`TX rsFtWm7gg^AM |z2@y0{|; צ) 9%4 ٜ?96xI*20-R\nb[!)DYuw"8,37-q1>ecVHJnۢźvXNTJĭ$Bǚ/X[DoR@}nO[ RNT9m+黊c@-r$^#._dLd32+VՍaNPcxs':`WWRۘ?M4c sY[fKdO: M6wsPfFfi٧/A6ρϩmȅ Fٌz?G_켥z:R7S6m0ea$Tԅs0#RY sC<>kWF"k3C ޟe@BĿY[N Um5n'u77 Q+{l(fyfȻn3eA"8_E#9=DBI!i|:qeZ.(h41֑/EMQ1_}l=N 򆯳(nWpp0 47%wh.r?@tՂ#kKؾ+T(P=,_7 b@ jaӌ$PN{*]Rt?tlC,KO6Iy_N+jة:*E%z%{QhY'_T)(uSUWJtδBݡIDSTES- lW3foL_?8Ṛi.'ov">[7#N¢\Xwt+cNWE&&|lz;TItc*v| 5@KdoFspyu?G)Vf7sDQDM uƜ9fوA=Nѓ= Sv&S_:)P6O%r -;x;*E"AI8Lc9CP N[i1KO/17 R|,BOC>T*k?c (ƌoŷ_Sܝ ,~-?ɒ en&TqwfnhQ/!= ꇜI<" ٦w9Hi \E l⽭$dI[1 UJVaeJΑK,#f zZ5 }+((ZSPP*2gV%nA>[LVx:TchziFe$/)@^.=B ?z`Q2YEȆD%@guo7 cB6LO?=W0:OUYo@]cX>YDu`ɰiqgB:u-dFIP_j*H˵uI~}lO;t2@sgyM Hh,K]gX]s-WT5GŰ:G2K--e=+fbSlGyVBrQڥxhQ⩺{PM߶+Im.&s,tΑ[nܪI#̙1vT 6N]"Wx8E5 ^|NY"v74t*ЯW<,a8:Z|t&u{N: !&B]9P"Cƒ۩T)oI3 l>+ du7:Z9⸷kK-T&9ͪ-zM"-$(C~ҙ7ftnqVN,⢾mi 3Ƹ[*(ULOgL*E++ݥ|@+#r- dm-gzb?Ĩ >4rW@%R lړhlcXƶ\y;{~Ib%Hq(+kPyn϶L%H@c䔝V.QyIJԟ}b\O/m4B8?Lv |\̅Ƹf֡a nu\qFj`0r9\T Wt*2Y]xaB05C9y(-?؁(b$}.cW%ot;O}'N=Ϫ’w8$ܽVҚ ʵx=VEF Nem⻝L"Iwݜ{IɃY75A{-B!b7O!n @DU*K:~ *w)`iVI',-{i]$A p5[ v %I_OI[D4Y{$.wmrX["EJֵ/LɁZn;)сERWwu:y+]y?ibf~xTpr-ƿ2l 덑}K7c\xA" V ͳMq D'bCA.ÆYb5"X]o[x* MCpy4vf"a soSoBukך2ձ(*2sxb Zݶ\oMSh!$\nujp@WDU cIϾe`P@[@iJfc?W2Xh R:SUE(7[Taa{رHZv=7t"9J^L>Jgegfw4^Ub yQJ7C= >@?fD)T  .^&^8z4~ׅ׵|6ܽC']̉xְJ  $Oybح}3U6-B m!,"'FԒ<_ǸTǗ]ֻ K*71l)8nre߷vPakg[24Ek.wGw-%Y 99*d\% rANvd?s-urY"yS9V|xŝg]xvOiZ ӒY ۢRZX5[3 X  e\!dB dGjA #kl[YRi[l%`L`_eBҕ.QC8ger-߱ $pĩ݂j|BA<8ni=4.&6b$7qpT},dQhh &eH?%LOPQ*XDx:5W?r7:ڂÔpiclH. -BH e\&xn_mM]6OKvǢ3VxBywJNDy[ .VX(<>D>2d2j#b_k7–IP^; R"}W"\/o#{\l- 6`|Ӎ.VəؑbB8T`LؠV۹I %B%+mLNtvgᱺۼVөgLdCBQYA:߄JlGJkҨpJx:.}*Oyt^>h!@C*8.Or\VDuG54ӣ,aL.,񍄜{SH5>ϔH|C=1A˸%{1)43pNSHڸ 8Z̭ܬe,@v;'!Em>a)B%`CESHN~iwU@L*%IG/ـ:ӻJ9DxdtS\'ch–:R1Ү(GWL*FXYx{ 榈ZA]&:fP(EWz֊,,jRܛUGX'RDt?Td %_\ )1)U := <5KӎPu&>'| %ȜaYQ }͡5iKB!.L2p82FX17Kܤ0bJʃ>/jJѷ"k}5[ȃA1gzai441@s,X:r/6a].SgȪh\z .`% zD8Y5w:6S۲Stg6)N^>P@zSZjSoa0baTXsT%B(V.i19zk`S)]$ mO4/ŵʻ~VvDWXrZ[í}M{Fbގ$n?o_: jʑaSܪϪAg\'&=fBύb #0y3Z6"#^`}E_@T nv|bZdbNnG>[v2?2@aذ'ٕNlGToarI~T9`? [=-TOdc=.ƾ=Q g>xlй?g9e:`/f ךÆ,ج) JE λozCg0ۉ.ͻԿV{ik!=rW;&tEO8A! ?42v'73L1,"rYs/ @:'UafNKrz?{ gs|M](д ] 0.;温%ͩR46797Աu #ʘu'u܈5fgx\"p+Jv^ $YO-̐O/pӛaJ?Ŭ $$_5vֹL ߼w(.5 *sx̀s`N#8H-ϑVΠA7'l׹G\^ [GMGNߨ_DSg UU4Iۉe+) ?(Cu =Q.s4pⱡӕbQ}v6 O޻ra?iLp w8ӕϹ#w%_#:q5b>A_@K(6'SUZ{(oF=\HC)3VYڕHԬr崇,^@|eټӳ7`=ܜroA~2|ƶך V4JrM0!IJyw`!H=Ȇz89C&L(; #J$nK}4m/L:%E W,~~NG_mf}+!MlM9wz0}bxzSQ\,Hx}qn1LV=Z]s챿!3o*@Y %K"eYߋ>槯nf;[UA_8>X ]/}ieca`G~oDV‚gue]Kߺj 9WJyl)^ њ`t B@ 6E6a'"Inl 2Uؘ1./qncL?UMWRMkFm̐3)y>\'4W dA]ǹ~+ M<:zi-4S9rWM_zd=tHK'[#zPAFbMzCc +>mܬ^e(S >e^  $Vͺ8ilQC\"nvjNwƲH7KV<$NF t6hkwěO`j˛]o.zT;; 2اJI WRfH pˆRwgtv TpK𔊉͍B~Ƹ/ $i4]OUFZDE`Bи/ѬpjQ"8ʩ9~4%)"|l_<X&eqPM՘`3J'_niޞ2 $!`e׸l:s ]џ.y悺hC5ާ:̺|L?lVCCAePzdxp_nr/INܦM&`W^ۯ?1 $R5m{!؜m,& }dHV=/z\2) $vț_R|6irLUi}IsVY*tC/-eG*=v 홷?NTŀrN$A4lқqUQ90QE<,3k$6 6Y;GPnJ\}GV~6QA4\*L ~]8h8m#P[$\;-dA^B=5}duꡧ܃WoE2tDm0æL9IhYv1YV!wn]m_IRR:@lA8ٗpQ݄\2rXIt7w<?a,:h꼻me92S+Xj/`\6$]fSBcF*k@"@j@vӋGNX/'{$DGmcYqsxX%ƒ΍6 HC4RuU{ڋY;rVRF)- E8bZ5 &CWwUTZPY)y𻿣j&4{xwtqƧۍ)2<<=z<̑Oc`)Do=!}: {yMI,$V& h[熱$Ӌ@J^bb\g-coR-ң0K|/H6s'/Li{J-:XJuwʾa }_瀦:(WmK;H;=F͐QXǚ0^2F Hd>D%05SQ2s`L6 qu_1cWm H$ y#]/dZ:+J4GrA3yȠPЛ1tt7@Ezswh&EJ5"G, QE$}l7W*6n\=o@tvv߅d6Kld@ nюܱo0*6VoIh%7V[<Lem#$xY?"ҹ%ZJ]ʷKWԒ5P#\nҭ90FnUPrXJrwr-z(|yӾxy3!RuSˊp<[eR%Zz۶ ws$|$Krˀ8IydC8)Z:2 S6 G7k#z i_;B8:!5B~PG{ReX6tؙpu<ExƋ (yagFn~S,\f%:xCbA`M6 GHcu>@?>0V.jAüo2Bsjl&(/M0xnaن bnj bK6[fS#>H5=_ET>[@wrW˰l\L +.r=b3_9N~4 Mֆz=<8Y{"+KޯI^/x70MD)jGXrZIfo% Sao}Wa}=ԑrSU-]wLCp!'l T$%@VbL%y$?FnuzjqvYʆj o(UIuDM4 x3U՞1ŗ dT?(oP)}Q?Z7Zݣ\'JMdTH沷:X]? Bi^LJ^x)|?|~cN 4š;R qvO/O:Ho Ho,Xs z`D`lǏc&%b(ZJ6J6X}G Ld/,ա+sADc+ Z'?E9%ԁHJ$jgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷Wݨ*#=nWj?& D9o%Hj•iSEznO[ XlWhFzZ,v[в\(CfI;tgYZ7zXZִF! M]ŗXi%L&ATaEHXh SᏛ|Zӈ?AV~5Ĥ&jRH3!2ŪP7za{y`{]Łg#F܆Cz4x0Y5­%  ')4ıbA\OEآ* zT6]6cL 2: xIL뒵XZ#m ȤYO?#C gMo)޴Z)]AR&@?m  g.6ۧҿ!Lʴ+bORv|"4sDJ7 &iWuLr4^[Py9TM2%U͡Uܑ?!2Ľ8}H5žR0Eo"3슨|dHz'$s1 K%BNq{՚x;zZ_1~l)` 8um,+]|O 3gc}-$Z!;̡ IT1R,u2Ox\OuCRf~qgr HԷq{L+ =dFr~pYtky٫-P(}t۟}<[K*O$"u):GGoBA&Qziucp P.q0{6XV= [/8@ܪz]fbql4 N9I<4Gh=ۢ&i]0> )z0!SǯeICB SP!2x:p4f}6|4L1\ k)O$Vɭ)ᆓ ^ ޚ]㤋$l&2B276-5 VD'ՏBOJGmUDByZjvNb__2>jIJ^FSpnxq4A~Sbm28% N-:6y]>E}QXc jNݽ}5ދ`OwԈ̆d( nexq"/QT*?KfOy$1 3tλ˅fatAC$̴_r2ps,@-g_=5]tf[> J1(fEK1:c , !ysMLU3ZRX?M~wNf)# U >%CvDZ$Jtwvrs5DU)PE {IgYZ5acbb4d7c6170d5790708147959aa20a2fb8f8899aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535