SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 Y1$T$ ]% HOL-Decision_Procs:threads=2elapsed=610.622cpu=1150.928gc=104.096factor=1.887zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH‘ B/f&h2˕HHQϣ 0*i:N$L u3BGI? dB2bf?{35]k ge;Hﺜ(9AMi.*𖱠v3WTvb{& ⥗"VV,CMz6ۄh'uq{DAA VJc , pJ-# p3om<1xdrjK3|`+7/t{Zƀ?D?3TxR~MG+ӸҊހ7I 2|?/A,XGnmE…IPcC$d3/.}۲ڿ7D P rzu\a3Z*1r2ND1_ 5,B$B,=%55aHU.hֳpSr>_JsFڢX8:9űr/`;V6`4>c2EcWVdXe #L'@|WyHɿu<ʈ67b7VJ!VګHMY=eZ}|RS mN)_ubth9}QYl3NT 4^vu.Qra9rW^bH_st}C_'ʏJ<ܾdh9v l 2c+ƣuqT Og "띋Orr7eSlvKNN"͗FM bU'Vt\`y[6 Doy: zO nqiV%`%f8rQ8h,ځ|[b3U|Vq4\v <ſZR+OPU,OSl El)>y]@ޘiVqZ*1I:Y#lh+G8qB=D>_H- [7sTkf;0^rKa5 /HTI,a(UnZ[s@U,2a6ZWMό=lurwd1 BŚpO#O`+Yy^jڶXC¯JR:`B>#`u$zv9C.\dj֠N71~D6^eȅؾT[q <h]!f0z#ut EI3xf*ޑ0xb6qzrz2e"j~YM̞.biH]@wmvh"5}3^mdJ\$81Cν)zw5Zv.\@vkR*PHUjί5m7mD0P4yF 4BX6^fnu vlo閪|7 @j+B0D-+ӇJ\ DlMVtWi$͒2L裥JZk= 1 HOL-Decision_Procs  - Up.iwza+ 5尚oMnktu1 EXCZp,qocI3/"="\exJn-p:c|2|rSomŎ]XKZ~SSUwvggLלϢH={ 9uv^@`( ,bTKu * vEPHqpEi ;d~MHżű-;2-;&T7iڰ)8g{yS,W6G8]#mfc³`̝DU2ȁ`.>3fasGΰmbGӰsr~["ş4paDUm peUUn5ݖ/*vJ̃ǔQq#a:qC9w%S0יN/*DS[&q˲ޅjfotS\6z  aGEc}I=糖kUu2ҡbPio{+Oo-`ucA@?tȼgR}q1ĔWnb"zk%1FŇVVS(Ւh= LUz I΅5h JDki**[hjBD"Dی)e*<|76&'1Tq&·|aU[X- GaOmA~n9L݊yWU? /t@20 ) %=%|tQ'ܦY`SaE(h?9 ;HyYݕw=Ȳ~h!r>'N`{`̙zr!-rY"dKݠHji5^<=W+</3o•0?ǔbT ZP!ҸǞ@#c,Vb|_i@Ns)711v!VfrcAԶCލ5X EW"E5^gt\ܡD2S'iX56d F9B:)ʐ&6G]Z: ^_N@6V7m!'ab S1ZW XPv`eܕ_P]SQZW1B>D%+s+[5 Vm#([J=5Cb!@& *8),աcaL2:?B۴F)_Oi k@;YA&Ū͞ln7܍_}Pxz'˔qQ;Cb1p Y6GWcxW# B麢XL$p8.WtbceP- DžfDηpxXy&,tg'j }k/AB0ȁLh&F=x[2IFcS-N!Ѕ[^ BxhViLJjLF+ugzc ^/TBI%F#5Pn`wGQO= hCXPiC"ȩ֫cNM5W^/[;T9卬`#P؁N$h pSLV\on8a`Uܒk`۶, eCۚ\^Ufrc(Gh-!uVFulzTՂ]tU6#tg*;챚=sa}"^BvG!y4 $X N#|D&&yyE:3.'o_b}xz,1u}04}; -h9BPCmSm,}`!:>,]4Oʪe늚6s^f Sα09w;ѮsQw+1s//Ο"I),})ڝrOBI<(g6)%Jf5OLFkHQT[P,Aʆidz뙴-s&yûfON$*%{1p]3ر](, Ox kYRhSoY+>zwd#Dr7a,wݺ`ا5uvoFЂnZ}\ }cE\0]-\hm)a lYYN @7?;S-k5t#{ =ԣpdӺq# l([TzFՍAȆ}1tH6g*0Xh\ %lP%ʼnz:ӕStpDv7G/AW 2gRaweIcYξ&眽aMxw(ij{-Y(7kZYISvDW#*ݜ4-*-`K{ ތE=)7&gYZ7zXZִF! V#]ŗXiɟ17L? KxlWP8SաM~>fٺdPQ-2J`>0VE8xEkeO$i!l)'P8DZ24NQkR:9zy^Xr6.=R☲DTQ;}"譶߽+^}e]_T%4k|jz Ks~Wx85myYq4dp-i }GTwZ`Y7h ּ鮆,cl2e_3|b/O/:NN)鋕kGk B1c«\7ޡkޡݠW+.UΑ>R{9+>uC&΍vP1Wܛ9R;xQk}kYyd9OUb;E4b>QߐڬMpJaTlgYZ7zXZִF! !~]ŗXi%>gcb=}'mtD5SJ"-s:bC&4<8)f c6KO`AMXסp I&k[?ЅUH䎘X#: Mai4MW^0Zy!JՓQ˾D91r`DzFV׃+ 戈D^7&ʣ V_i{ Q#)j߉< {e30F}33!Tp]`/ᅯI!uʺ/#X^|̭:5_`.j&h|X&(I髅"AD_YqcX~[]H `1Îє몲4B{7B, o"o5-;o.5;0=S+1 MS(b;>4'ÄO^^=? $͑(G6JLEpɠYФ6HaDŒkc 戵 T_ݜ.n&N7dn˭Y zȁ{ I_¦U\ ;0F/naJט(-o3+=ňiMf#(w7=]FMEڑŽ_+bk@V6֪ϺZ U3) hաΙ,QUo:!Q(Fǘ~lqI]zDW.e}K9t!s+ڻDYkb .=ᩀRh'omǰYVzL؀l6\~ "IvLRh Ћl :=,T/ ldLvڤ<ér([C2<ΨTH FMeeEr1eIG_FvI&@%lQw7^ mrAvh&8X!3Rv3^ark6 zy!gg.=0#KO'6b/E:SC!$kk=xD=X_ti"' q8Z{^&Ju<%k֠٬=Ea*+[>}(>Zi79a^`o L`E!|x+DB[ ?1%X֘d3J_WiccMCMh/ޛܢSvNs}|.qd?nzCKsh܄XGo;}|Oqϳ+zw'&X }H;ŠʉE:J ̃kwC8-bZ}g~p t:C@m3칊PDJ D %jd|. 3Y[r2D<.g̰jzkdG&VS;6^A٫ ^dB_>iSqgHDJuzp1ՋX;*âl5ޞm.EB;%18f,t_H+o*Cusm1ܷZ #}׍G_hs@S_T=VDq\XMwi;ޝ͞E P:-(*&^}JV=ݎ&hzX)k*,M̈[;bkԄZ8WX 'L5_( g·o~=<]Xk4v"H#~KZMS[+F$@T;$@pN {^^LY4z"M5n {@m૾Ic2'LԱ̈́Ull?KȨAg c]S,P5:lP oczn_”szԃ(UBݥ*}_t< SiVVAEE^ {vov-ձYWgJ>+zogф]Vc5HťVt^eCD ^6O MO m`F'J=$}"H.M? @;h]0@,ks0QwRp`¬4K` 6Dke׾ jRIHUDyBnD!mG7%R|:N^{s2X8qyY+y O>gO]@$wXm#dfV7Lo_?AXU0D/d7ҭ]0  dXwaoQ)V;<{᫊8C_`F?״VC]HsPO?pӉunR\xGRR -S;~& 3J.#E$Csoqe"]}Qpoh5q%4J+ErY[D; uQGC2r|v*,BE2;LC=u 'Yc=Zcr@g zV?>̒.8\%D#ׂxsԸEkR+o)W<-d詅8:\' `"RKޗ鰲zBرiAXl[٨+kВYz,s׸TjC议KWT68鲱=dDx'}r Mv͘Nc Tu[\P=^HGq;dRF-f 8V_ΗL)1釟P,ˋ;+%bERɮ8 fR&0.i+ax}ŢN@ڮ[O܍8to*^QA{l/B FU! T=pZvRDGf ]x#Ut"\/G3l7-v*"~~[=}{|5ԹmDblsf,[OaоDLsҁOmo9;?;psWR 2OC⚟LβxI~0ӶZQo|@p ,F\T^_w |mQg@z>ؓQ.5nl*.Ёu;m"tUlvJ; dP/ ܲf{WBnJO|;r4ds Ss-IBdQaWfY EQj[٧otM!,f0$sT'5*lJFP`4]&`sZVb,7d}ftޗFNH zJnt/;zMk@[.*fFШGm4~/O.D7fV$m2]љO!>cQ^$琏LZq汐Bp|Wk#lE $3"{@ӟMÏ@`r_`tq݂E=' JOZyi}7,)5tfȼkerzhLgO$/Lᆨ^ҩk9 gkbJ){OypO(O>^R o7\yB"{E5D ^ǽI>օy4J\pXUGs{PƱ`8ZVbRi9RJGb(!Dڋ3csCHQXQN)APֵbjwG`tc}5(W (D e>y8`=]o[ED`ԃ_yk~b8~C;/RL%="w!`73n&I S)b({Kβi.>T Ǚna{"y)co`l|ZG ̳@AdM]A $>r{܄iC [p1e=JN<]9 ϭڨNj|u3>C!`2dOh,iT\=$^pv9gdʬN6_C9_"6iZdliۨx; Z+|idR{z`]rr'z5SK'֢hhWX6g+wU>061Jfhw~|͒8%[^k؅]Y# Y!#wq7KO,l1Ŏk C$g޹FVdt1o)UKXc=;a 68í<BTI;wQOm_11q^>A#p9ށOp#׊!h<ȴQp TT',tb<Vc2+hu _io$t2 DT' fNGvSRHd>Rix@Y!jYH!N5x|t3T 5~lk@ 2*;{-ctk)Jcg;Kf!H-e-7N :a{kA__N7L:Nc?DG Kb)˧!i%#v-d\yTRb"ɉ^I$n"En/M>YT&HeyfE9bwȭy_LC ;Vu%YfMZ8o }or ^/ r !!fwWz},&q%SsSߋE<&IkhdCnkL|jX5p1+eӤFW#懝X(^_ofۀH,\(EǕO@rܓ肜:ޡ?I-W+pCOD( x-%E'rT|+ 6T",)GZ|S&bz$5nm4]xEĭ3ԽqYMhr[$D.=hτgD*t؜{3b:DWUϔ9I5$ݾnTˈS r<;Iaƿ娟lB g|NZX ŚOî$F96DYT_y$ U4e-{ŇM^TCs dbZ%;`1RWb{7@2,OXiRnXTGoph6G#\cݥ![Y"k<}ry~]p1|+& Y˙˜cP!VuX&A2' (r7$xWx߂& .PGb{yӟQ7m.;,@aRbH6^z(6s|CJ}qСjC <;;L+ab~ JKnY7fMen8lR2PqU]1}j Qߥі8yNM2+і 4iy댵3,Xouؿ890޷m#Pb% /ٮ O;B8g; zp9 Զ3`qV6K]0 pow @p˪B$0)s[[8$2zq/ok*s7(eP`Q鯫1[ƤExb"k#AaŦ guON_Ε-8 .݁٫*oOǀdlM 1$d2WQl"y@42g )hZ .\luK@em<7'yMQfr^6ř&=Հ'̼FD3UpsL%+ķ3 |N ::Az*XK/5K(4mN字Q;=oCln%5I [V-JAy`xWk iN]0}Gj1!khc)vv4ˋڙmXMvCqU3Z_v+"^~g6bln¡SS'\ l6z o$ pEϾ;D%Ch=\VQV9̘S7l+]Q%|//KVaQiwVN EGb.}=ӣ"HxQ*6\GjSKㆴ2mΕ)l.<)0L(V"cGHCȈ0!Ϲ]`\;ڱhovX55XE . v'l!HzC7lpf}"mEeE\]̿˕'-3Zj3[K#yWlaP6Mp>!Mh~F@\?~l7hpΜ`ߦv7Iޓ~HԞWrY$ {YںaX'o‰k®3-'tNJsfu2qF| sC릊$x 0Jj{U ʵz}(,>Y sAՃ_-=@<)2H H#pFRXzd (xLv)#,Ql©_͜#ͲWfrjn?2[&5El@p^rj'yR!iCjr;|~I]y"eEMze9a.t8`$"yq"`N]gGoU9+gT9SƧPꅘVF1{/=ᰀKWc $ <KAn*M38b_t#ZlU9N' 4tLafZVi6u/fpPPg4 nɸ]v P37.=yW x޻5EPW$ xG]Oki~E&H/.zkU2'.2B Qicx]z&Xw j#;hUZ uOKccwM ߄Л %j{@@ā1lR,iЅx\Cq|86c>ϭ*=c}KtuoERR f:_4JSpf!vY%tj*Lguy+zh N Du59.ɮu2W^2S TVHS&(SbTl‘#.u%^7{x}FgX#p ;G;ϰm.uCl>V{UKXFnqqN3@ڑs}J/+Ċ'/u|;6nAT/V З( L nD9B؀+aҋjecaZ OXrJ.j^""$|[wzɤ :a5˙ќeg^HR~V:]:/ΟyLsMlCsnxx g^(pvg%~4SaVBͶs R% w{'\숽 B|` u4%tK&'R Nr"p袅W,XΊ\l gPtJqXu ¾LVsQa~XKA"E$zWE O~\ oY#{Qɲ'՜ ՛udbׂy+1oJ$@ƍ+l ,U\~5a9D:ch(}1Z+j F7Tv|?SutVG3UYeKfnZw/ůd`hyO#yuQYfzg [&wP'Ƿ?,ÎMއebL;Y)X;kVU }{F5 T(3Y rRuz$~pkPoWp*׻BU+pwDh-fI p(U1ŶmLf ~ȧt{?]Q? sÀ?4lUdu,?b}lߗZrEq=_j(2:l1Ʋ.kB{rpoyv =,/ ;\[O0NO}A3C?be"3]ctոEaӃcQ]9A[mz& 7@1[7pb]?b3o:uaFwghMzBf N)Zai[郬ӨOƄ=]jh i4|7AxU_@h<{gCϪ4q(8;'fix?ԍ-X 9VԲGanG?bCa\M>!$޸Hs[QW=0$૕lG@.Ęm<:/\NfsI&~2`GFf* ̤gN@Pz5WDVB$M]? H_-ň#VvsWnw\j6ЮG/x M2 O `,n%4[R\8q)*h86w&.zą"&z KЦb3vjnA."\xNqİV uh9NP~65{[ J%$j.@xLN*E*pZir䷶xƏrW>!;D8 q+=jM9'eFŬ._k.}d4RUk L9Ĥ(g/F U erCď3&.XE;t U9fցP\B8<,uE#Vc)3~C@xXTѝ hMV>yKTCؔg%c MQAi2۟Q[@F,U0K~-L7q)Bpi>@#SDF()aF1l+Œwƙjj* QWYPO#1(!5"TՇwBrVڢԮ.&t%;itYG!5()ɉGy*mή~.)+T@ ;%͢bpm1ʄgY9Sd=Zޅ`R/xsů@<<{S%:޸^W({fI2рz}HFZ[fARɏOe? 39 *۴Rv:kD a!,hov'q_17ezk FJ'}* 5I?O;%rkN=N&l=GLƴi,<+XA/}T3M(Ʒuh`ĂTEP>mp-2^7~ C5LjCKȱ3w 3DWZnwXK; dG˃{Ӊ8nHž͈h]9%[]-jqNG?nӈ[[4KV^1bC}̓x4 F|amRM=k"jM?KZ*U`_V 9w$7!7#[Q2~-E(dc|~'gD&% m 2־@D*`@'JV^IGRjm"ۡ`f~JЎVY>}6Uvm_@pp/dP lg&Q\3 ž45ٽ hR9YV" r$t41 ]3w#>]XԀ+BQ<^IIE)S5' g68zU_}!׳^ x'V3-)GjjIʖ(Le W.uܾh[ZI7*T$TJT iW$v Vq4;r(_W|jھe"sA^S[mD` ^gu 3ɸvTMbZ l#r9t"촺[ 92Sǚ,H~pڀIW%nf_&5I|.dKl9Γ t~٭6ފb*r7% &x |LC+f۰0@oq>H5Vae"ͺ^q7: xwqs>,Q@(*okbH;rs0/CG ɷ4m7EdQmR)uxyDGuMaⳢ錚zx$wε@r`GHƆٗeH?͈+<;5lAe^C`"Ȏ>+v{⌱[d5uz;|П%S-?hZ 3s@ꟹK] uߗ\P.N2*͑8 D@g&p/!kIwttǮ$<@䚷WW O1]R+[#h[t4 aчPJϤ$\fHr Ѱ.+m>$o3!p׎ep@w^d_(;#:jM7p1ta3y &T C%B}J|b ϝ{mDs~*grpLŰO^˹aXWˊG 2 Dٍ!%a޶oA n'Djd4mZHaz-qɦA7} &{8^|T{]sbMJ[?uL֣8亹zKd=[B{e KڰU슁S? ) 2;6 _wDw=ڰ-խ+{ę-nN5?ܥn!;bGk+8($L"B-TfN:a@JSb|0M Fpޔ _Q"WD[CAs;]MQeQ+b^;=6!5-(X3|gݱ٩@(n78( dV^Lj9c}rTsp\ jZ& sbi~{aO8!Do\? 0MS8>3'2 cHh(ߵ%~h-xw}^;05M2hN9m PS6$w֥? n!oMSj%)+bͯ*!4D֫}5i!pp2 )N Fժ A&:WMAneU)وu;8n[[$%zN,ٝ:x8UWAoٚ%cnU}ExfHlmBHsѲʖi{E!^;;3Zůh2\&r]V>\HgOg;gzʝu扄qzVXx`nIAKDߪ=w9kӅ4֭nC>gzT,XAj8U:z#L@FZwYD纙.JJ ʎ' 9m<)Ѕuޕ\wpS cDS`> Vw^Na C dpU@,A%_h$mBMpYhxg6ߩ7<xymJNmX\EA D=O FbvK0g`dB釞NGI7A)?YP :^$l@@$B1[fܡ rWq?!×y#n׹'8Jn|j=S*KmC@c;tvs!Cj7$俙Mpw|p5%(q85 1k 6p;wo}fY1>DvIg"5g#|MKP?M;oQ1's).XdGZK<7Ѫ$h~h7bJ]L+4+Mb}xhYԵRt0(*l08Bn&;X d=T6P(^0H"p1Mη_~39BsY&gK ȩ"wd('Mox= }(:倥]_IE#e2 x1E y]]k]8 ipLDe* * {Ss[|qk3@foMp8JԳY?vyb%@{* hsa)m)U3~愆q1v٧IR9_u(rS Jh/ZRI`O7'SP~kVZ0vOS ~IorӋ0dDON5Liʏ WV@ (e&ёi#јp*@'+=V a/UKbO0\1}v?+O^F_WTƎ/`qd08qHQn5uNF7~)7 (**ʏ=l-zot<୘hfUgHuc݋8a)^DwUuJsx7`eȰ;=#ǁpnfdHT"=S"CERמ.R+3/{8UQn0iG7HPUFAz|' YJbjf!jwKs<w}ub $\e_i(n ٕvpdZgpV}dFtGHdbA$E@ѧW"n7tyEy&(R96]%E-4ϱd4RIn–v/vf,r'tDMNۨ,uBd*t@Gpﰧr\ LjWi/Ug ƤZ^ȬC-*(H@^͚.ċu`*J1׮܋(v8j}@C$L*i}Un236 Kx=^邵r:% k :epy| li]\-xSϬH $@P+ude3e7c1`l%dJrR-G2YwΕ)T"mMO/Gh/L8 t%f~|qtc0wͷ>Y6FQ'ګI 0|ETψNT08ҁ͘h]8c_'ЁrNS>ot4W 449 U+b4H|cwbvtAqG^89Mɮ?JeLsn Rw*qZ>!8h["+l= [קܙ# eU϶guݏ9%iSǫwqY&5ʄ{ & M68XVlX. 0G<,\hN 4uB `U=]˞G\~zz8*!l#I;@-~Ga+Dtȸ: #Q;NHv(^Q\B 8'+g80]@M#10NDuWO9A3.Ž^_W#vД<%x%b?$sWt/m%TJkIc" bVsP`_k# ;)ȨR|#\z5OfHO [r&K->52)wwRDfwf-g07(_z2eq莇knUhZk/} ji%JIGkOnIR~rJJ#=Wb ѷ%׉?&k&Sy}qAfuiC? ]]i//g I!$~9UJbj3@9uFT06G{>V!~k~H~% :rB]*̓V) ԖPwynӍ983i{zF!y4Ye+Rw;t6iD8I@e&` #\ yH_5uWn|/=BjGLGz4,uvʉr%Ok tG70 P4`e(U1/BT&wRN-էM 2VO l ڂ נwM\D՜]ZH ]2վG ʘ>eYn%{,9`B 彏"@?,y.5ROklj.jkz 9t~T65cx=Y>V%'W"z@> cMyr1_P|o9"ʰRܨu_e tB:Dڿ`퇋W>'.݁FǀWebWw$`# V)Sa!^ǂOf% '8;5{6?S'>7ÁxO_pD$B|84͂"^|X k(9/o,Wr:E{W1ޤ-rGE0D0P! \oFuM8 ᛑ1% T=BI;[d@2D:Dtϙż߮N^LN'CSK[!y$~ӯBS7\]O9QtQAquISpȮ9%v3 Hض0e i'H9IsP Y|{0=ogUx>UX,_r1i5je+yčşztKn* KatkGKDP,z B?)]yCkBVJ Q)6*k<|6Ff1R?Ox{5qtDSEKA~XpX5>,Ԝ1SQA(ĩ,F$_39Ȓf1 6 9T(bAԜ) 2h9^obuU^Lb=f_ϛ dbTwKz(gD<^aiA3A`iAʦ9I/;NsB1IJss̘?Lνʚ명gkNf/4Ehj ~w[W7pY|I: v9 jA 6chsD!n4H:ip!A[.$ITm_j\Fe&7Y5f7p#g};"r2$xlOͮ1[ 뺦HmrhT3qeoOq5S}6k5.2bsu k<U'<n#NLKmւ]zVBĖTaB| kE_-Ir!g4Y~FM?Ah:7Uu a ;M*U{N)No '܏R`QeN< 4[*i"d?F@kXEaUQڠA͔#|w. [N-z?IuWTpP$G.*qKӦVB 2:dzF 耐{lނ3BWJe,K7՗F] |FT`xR[>ܢfăigzDmJq`L"5iŁ5ZO m[!`EHOa+QB0n@M|h) ۏōʯ 2ZeX7q_0(1z͋dO\HݹغN/Xʸt|A^gP7s.[v3txX:"Ŗk.Dl[[CQfF0ImRbIiM>W B#2IK6DqŴvz-@0CT ].[A&]?mD?-GC>QGg+C{(p@͛j%l(h)qŤ.r(4ׂ ƩFZ kh'eeLThS?mlh-]V/h#8Ν\3X1pim|3=k/D-nmwN) @4rxI'tK+JKtx (`>z:b!`23 GԪOlֽ"/0N&@W]lK~ $aƜɁ%^SU"(WwkU0/|)5q V&&W3˛U 6/YWv\NC0UB%w}:wZ$J+QyY[!liA_ٮ@[#{L?\YĚɮpW`nCv z`dw҈o9sy wDoU M` F]_p_g#C╦i8*P 14w%Gnصe^ 4?oFJHv =jd}@[a`i6Xi xK5qw7!Sx Mw8U`H\/$2TٻyM6[|r;ԫ4X=@;, y$#(XM+x`rucX?8 K\9OtIBt#^n#sGw1\LU(J!3VZ1BfdUP]sQ$ 噭? $EQ$lPtrv.gݣ|AK9BtYSޏ>̚۾@|YF[@0?O:U k!=hn&ӥ5S>m -j$2[13`L0*U=a6E8c`nh2Qmg_\_5HCs.~2XO_uF8,*x! r7mV+D<ü0?V 0wk>ʡZos]JSy =?nNds 39 Y=6ߞDm(t;@:(Jh mmE^? ܯ쌱=`ADj˂x#DbPβCv)Lvu^c>V^>CQ! H4hW/ycDvJ>3ܵЀ/U6bAtb)SgqQ~81Um`i]\Q*7V@6NJ^Mr4"ޡfҨGaD"aI 1o^t^zK"d <,)cwi"Cbmt'Eӆ.a )\tB-]0m:z.1ҁ[W61v*2.|G b+ȶxJYq(E=HI.[muwG[OD"dߘ:~r~Aq7MH:Зlk0|@oK D>#pxnNjM_,uGQ[p_c[sѹרla6#:̎F"q)c\ZBjW`dF8U'zm"SJGD1Dr W$e"AYطjȖW0Yvy߸5Ww^d~"gVfcB4TELB-gRm=J;֎-Qw+!Di:;ļ1W%> 8\B0x;[6xh ih ?~9=i2w5hsRAS&(e XLY?K["kY` GHzU罺=ϲU!øk2Ÿ~< H+lwS70wړA;R2&'m}QҥĜ9  1@CؖZF ;[^~Ö]2Žq> 1V tL, Cm>'թPL]b8Pk"K/ӘnU?F5d@i_gHʪV&?ɳ \dŶXTp32T9:9f*QdchņNJ6]lďc^1䗖GZןU,N?"SC@0ӥK4. /7xR!i/W4+k`alY=m0Y)k*:`{G\$/3H3ޱG+^]bWÄAEWA|2^;ws娙,Ş-uh}HK 9e rl'?;Q"e]^V8=Ouk¦'N8é`3\hA̿X8TѬ1x?vb`7nc_!Od;؋o] E]5s(a5yP̈́T]m(Iڢ2<&,z_Lw[2jƈ0`a7镂]Yჭ $v|9h߃^^'yDη;7"RePФCrl>Uաb$ڡUd~u ug8Pyb zUlem\ؑڄ# &B֙µ::THh#%oWo;a}}:/}.<٦\d6tp,7Pdxz8'ۭDH&Aka:"NW€ۆ͹#ڬeXM?_NX|tzMWpx* /WocOUՒ%$j=H`8jg|5zowhmjQ?xe\;%*CamŸ\z1ƉEho]aЂb9-"M owBU_=4 3hz?Fr+bIE.$5g\/W5q(/鴧' ]N!_hr!̂xT]%83||["ŊO sUwCܿ $@[̦%50֪oI(+ĩ؆W߁ d2E_0.*!\WEz~?KcVG.;w8fXry-K?(Gls;Qs{M$Rv[ڋ.f)-w[}tӄ iW]cH1kq$Tj&F%=lɲ۪Y?o,[x'Dޠ`3[qeߍ8>,4O BW57Ʌe`=ǃZ\LlspC#x\jPٗ鎶Uf^ƽGRgSiZk #0pĝɶAnX#Jc"|h8&6pEY;ya'q4vBx@lV㡑:>ȷ8ćmǗN+?ζ h?.9kh^+zfW@74|-n6Ѿ4 Ln1;D ›kR59 15\|=#pPcv ۶ Bf-G\JyPT) 2]^6x4ㆎG46,9kQ}cw6Omd|k=Wԩ?[ uHx:8xK3&>ivg OTHz>RaMC*Ut u}%%7(('ES $L$>?(в=og osXs QeIˌuJeʁ7οɫ+C69FzuB f>#+2rr) \*~%RUY{S9݋!_]4"<8DuyO'2Xv;%DForl[dB&nMaP:Tl:ɣ: (9_,,I!9sH|'Vm-\koC~*mxsյ#,%At}WN/'zsT)4E*g\O@Lw=#Pf׃鶏>|.jRj2m;聚cB,ckT T֯l'0{,ФenљxT6؈êORLQ"dLYc.[r6;(sS}D׫(~d Kbk2^ݝN>րeŽg$ڗ9@⟳fy5m鬺CC$Z9">O1 57"Qn1g4a Px +R*krw($4X@<WQCԋo\!@k$ 3n'ćQ}^}80ҏ-ؤRYlLͻ p 'h7+2 OyhwcyiyfG} P\IE@ƿc5ƊB*mVںXq>"QfI[DX@\ΫfӶ|uu:j@FLw-DUŸ[aY,Ӹ!}k+A)5, i^=P-z@Fhk&A#vu1.~p|'iJ] ۏHd{2W!bA7#xGugC0AJxo D|*5Og%$XUawxäpV`xnڕ[y,b3VI }l\ڌ VgBŤgf1Rz%/=BUd oS _L`N8ؚKǐ`eD 6>\iݲ@kV -eeUQMʮ/2 =22Rr 11Vj~^x /w:!5&wk+_ٝAg72$+b@좌%^?5qjU /4P#žf{MD#hpxʹŔ{QgM` **,yϝ*bֻ1#^()!y@NPij+'P~ ŤtdbI.P4$X6VmzC!-& A~1%Qo׌D _.LL[D ڡVf@E H[.f8/IA槏dk!~A剭'&Fr\9-0G1&v{im(3q eĕgM؎΅8opz?hylr[ICFXt.r=4}BDdBZY_Ii !r1#A<_ٮߔ@'ܡ"xu*dPhݩQ?wz>*& 1tS6Gr+~v}8}:srpe]i#t fMҫ/} _ 1iX3uLiR;j~>|^cAz]{sIn_ mA%/'>e亞w.=40 P^XCuN^%glԸWO3U8 J1\ N"Q41~Un,fQ+VOiaA@Ԧ]S3kYmVr̿)< Qs(沶CT70 S'h 䊺vudcM摷gCr$)qЮyČhf\119y ,ۡʹdѠGJ yp…tY}y>bD.N^- u'rpJpx_~-GLL5A*+"n#w{^虴FY0h,9-$d7==TIoq헰! 2&A|Pe&Zu O]}WIjx{DU c9?W=|)e5ɚѼw3I%YG0J XuXJ8|sn :QKk!BE!u2i1t KMzDfz7RX%eH=Í)Q׊94՞FW޵/ǗڔLq yZwsŇ4"LzJ^RCA 5 EfjwY]{@G̊(T]sv[U0J0|Ӱf>xHR +;qmPǷF|)^c<p1$Ɍrrin^cF^/]²q,V.ɓ5[e`B!