SQLite format 3@ .  YYQ77Atableisabelle_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, "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 #| oS]HRB-Slicing:threads=2elapsed=519.600cpu=978.744gc=31.272factor=1.887zXZִF! s]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺ[cyс=ݨ ,en@ϳd*).R)DOocQ[+u|%TbIuFU2uAlglyI|%4";ֽ^(&Scenvo^UVrEs\о 9H`f%eg-tNd`}}8腎KZ.lFbM I%X* }ރW^ ra\N*r9̠+1H362Y*CXtp@oe B^ Q"W"@׿kg"mv"iՈuYv sz4)ЫNzF`I/ k^5FE`}{% <Y;S[@Ll-BQgvk:<[k?fKU&F Q=lĥǃŻyP'K_ DlKDT@}61'vz;R-0[t_ lK rL X9"S;Z?sv =8آBJxe=Xh,~% }%bShE []P~d! }.Z,p5תֹF4n/]E&ݸ_|h:E-S ZXM3P`Fy:Tyq$AIT}=')pU6qz .unWFަe%RyTr {A 0JA=g =u6Yd'L^2|WZ.fviO(.{$*.tQew>Ww,z\ h؛w:1zżQID U.>c3 wdZTD[T?*,o,Y!,}3䐘m 8HS([0]޴Z;F"uz`꘴b}⣏%,9bvZu eů~ys~aH"1Iaefb :K-[‹+mwcW3ar .3l~fR>[|%k{o?]8#6*qy@Ӹ>Ctzgx$xTn}"?jOC  D;6Yucij>Dsp MTKփg6N9<26 zmc= >ĊIrVkR\,Χ_Q y5Ek%;;DbsPhM +1+% K(咆Ri4sq:N%EAZnd?FL,TUq0e8,*5!sQe`))ȹ%8 mZ7qՆ԰kxum25O-j&a@S\"}'Ӡ\8ND[P\v7~>C)ŭ}P+ԅlW K ;!BBü E#H ֗`_o):2?Uw=ώ"^A=R(@42{ZohXGauۋҍrf8XīQ?=gV^-S_}kO޹ޗg"}A0zi[(]L d*ѹ(%"j]vgP+壀c2S`ԁD'I|cjܔ-E'[B}|0ȱ6$Z@dΈ[/17:x#<'-ErAaXRYT<#rN.waf]&BuU 㻜c;4W@ߣ&`Y ҩabXGǓݩ(% BsȴrL$xJG Bi}R U5IXqbh ZtZYR%!/? # HRB-Slicing5aAj )7w)X&#Clu`VU6p76Ks8V$ T>dM'J{Yٞ㸃]_ӍEvsjXG~#r)O+d"žJOm")U"u$`xG(l$BR@(hgU6oUlcqߘ%%F DλQ(MiU!\jo0D d62Ts@ epBjuu +"a+`o!&rZ>F?d R S>ꄛN+HI'65&I`=$EVɃv#^] ':vICޭCTt˝/d@Y W{Z :cuPfRyޓ /DŽ_7Koo*ShI1FD0J|<9ls:`ƞ8r,ԧ{#pr8'}W1 i[H sx#UnM~{_8N%×kޭi#JH@ JE :Hi><X5r/Pk:.c_}UInK5U3:dYz4_n݉ AmJ viҴA*Ȝ@08r=9i՗pGsrWɛVcLd4j36l}^In[D6)Gf0W(d~goڦx*e-o5*׼jyڄǵ0`, :4愗=30[E7mot25k%WM%q>t2`@vW4_Ӓ{YIν:uKTt CޤhʒУJ yb >"3%ZEa| Yʖ(ә5^{{D@*LjPᙂ̯1`,sV&=QȲ; `u]]y8t N鈪ȑW@`(m LqmA8+HsbÓD줎-ķd\+ 4#]|!S3"@8s'3ҷ=(X:SixIWZXe5"XܫQ&*)u9kUA;겓`m6cߘNY9ՐՄa>fk,*G㨫^ iaU"["溗usyL sZ{It3?qCsč"AJd{l$plo]sڳˤ%,ފ8@/@UN_iM GSЭooeoQ oD]<]՟Py/+V][~ЋPFJUn'5d)D/U^: wwԀԙ'jMӍЩo0ɩBZQP'gxDzJBFN򥷓 Sd~%ˎW g. de?݃bsWomU&VZOWZB.YX$9C]o(ӞyK٣89^@},~B™mEg|C"2,Be+-BƘ7+'l6 3-"얐Y5NZ͟zt{kEt!d1kݠQ,>ݷ._ByRQSxur`l 5{] >?q)xur~nƹj47Lo>,6juhskPy ]B#Eº@Xn]rl.n!lL] WCZ|j]ަ9j""ս8sgvtC, +莻 `Q8ӟWZK.aphnJFPaъ76;F;)ˢA}Qx{:9#\Kg˭l˛U+OzbGxpg]C"_3c?wB3MD`w^'uTZe]2а JÖ dTj+k5QuYJ@Bq7ҐM W2Ɓoʽ4.ab$k>^"9ZΫBgSIﭰ;Z;gi .}B]hO:?l$8~®kYEu[<|M+J7c42bqf 믏0F WnKX qx͈zH/dq!||d+udEvr;Xz4 J6'+ϳ1MIGx& gw~ͮJm-Ӟg/;6vPBF8߲CmvgX;q $h1Z/F/QɜP\!a6v:tl6]-p`уOGH@ m MOU9? hYc47[dL;WO™m(ij[5@@F j rN!9F8w|1mBeW[\[}˛5ߚd!g髢݁dSg9cW>_ɗ¦9]VAokDDhBk+aq#Sy$2Oa/FBcJ^"Wk@nza S`CX@C WUv'vC^4hU?B]o_ín4A?8ְ aC"PIYY=>5@]#Ҡ_7ϰwDb8 .-qN hUri+Is ܬr6D2mVnU|[$VrRm"*=:N`eKy^pU&8qU"8/urUJɐG9 eM5a ;W6Nx1xu a򾬽CN 8rWΞTi6LZ'|Z n@ Uvj@Ad3&=/â;O |RIiU-[p#!2-i_V`+.:³,eȋ||d}T DiJ*91W5LH© ֠eSX,ʕj$ۏo[ESs$!,ic>8cPL&CcyI6w0_s~M${ة^&J@- ѿ ''XKd!YOFW^1%PEbNCb$}1moCg(o3cǀpV7WHv$CCBF.P ]+,k_hӖ =ޮl eAD rBV[=gǖVc\ >%D'ǝf a[ṕ5 k>^RK[~NAa:hPH$>JTrmz=7֛#ͦ HJ_ĦQ֟μHTD>*&íCں2a# Cxf7ɄL<*7kV).!2/yu6> @"BO?rDoAR8Eut+^v·cawD!Е?WINQn2N?q" mեɨ H-{&M"W$8Syx.c)0Wɂy4o4pc+׫Sfߊv&:?e r )6/k]{Tfy'5TCt=] !,V2}$}Q-%Bqoڴ4"F@?6\0^d-Y=p %G5(DGcmhZO+:t`P848T Oœ2+ί/ :ۛWW"㩴Ϲ~9xT\MGx$^^l:Z5Ea{@1a8xu` C)"VaϱT40;)VOl.ًt ěPG Ḏ²᱘-l,Z5 o\d!8_ vpLU0 ](tfm0pŕZx)Agfvk7Owg,27^^0Wˬ 띖OzDQ_w} RT?'7l~@S9MV;8~Ϟg믈{ y3bpעڻ{ NY}DR%=x$/^)4B&bMdQY@sHȱZ@l<^ QAmo @%%QPהoKKю{vxf"z)%NNfQouK_RK} qUzAV~*>ve9T=+Ul SK%CĸmHْf:oҺa G+1hpRDYޡoyUM%Ѷ'3q|$ȋIё]҅FOhz^!w ;6sŠ,Au@ɂe@|C8_䪈 (6 .VA'zDxew>{TnSZ:vԡ-) *l$?r, >dܺxkĵ:K=orW5 w^ӿSPIN`eCI\Ja{vY@Tb6hyNIp4gDk~Ib7P[XѥIbQ uF(Uѡ|JLjSJtTl8G4#| )۷kuUQwʯxwƫg'`Gh(W\1 tl {EHlRݙDB70kZ J#2(M'*8\9u>#S`6uKPA;B{2E(j!iƇp!⛟L͒~'w,$F%\ [U dRxÖZ,ZzK9g|,M7z!"oKgsv(c`t-M>Ň7J w@0i4lBPn;|Y1@ݝԪ$ۚ7td *ϴ ڣg8rrG<9d< dqre1ʪi뾈Ձ15ݲ0'Msг$J eLX{q Y$LQ3JUwH)Z&-wL /I93Qxuعtv3F%cwޣͲ.XޟfOAO_b\Qdk0ʊjZ'_,m9]،;cH8K;>R@cl(+׽gydcNv1D9G, YgS[Ép:mbU} La?-aN#a4W0E(iŜ|"C*zD5moZn:tSpX<G`qVL]fqVItY`q:Q],Ne d ֆ?Wi F׭6h3wLbMZl]n piQ(?IwR^׽deBVK$>.pQȣ-3c[>wڑ0fkd[lD<O~'h145V^R"A9}Rf)K3u|ӊe>PpsW܎=:#عѨ cA ޜe:'^鯃nѣzMiӅ*Riy rB޻̿ǀ nad5Ol\jr]QCIEX? 3z>k C=׶%^ԞۿQ^?jN>\/t}̦(rqUy=m#?{Dγl>m'.b _ mf71 rBzU ѰdZ~F"׏;<;XK>,Mі4=۫i#eÀD:UԔ }^6Gt2ƜGGBy4߀sΊ03:.+گ/Ѣ8Dgr!S7Z) ]S/M=Q6 I8_hPN~p_xҢڷ<Dl+->o1?gmH_<&R]2ӗ0lۣ" wy qQJ@%+y6çLψF~]ȦgfZnXGܨ,(pܬ1or71&Qpa{.r (߇Api'~DBU[P~hM|܊car}zt_./UBaJLxlx挩̞5mQH3^[S4ʆS%5[)bX-| [[b3;,G[4GiJP!rȉN8U?FѷU/RN PWOjF2B7rodžۚp=(H=R6/9daSc^s9aAIK, FÈu'~\n{%@[g`?2a8] t_Q3"; @]9U /DI>Z: ۠˖L҄}_`4Y{o^:\)Ył=5wrt^p3%3ºc5(/l2KnAs.+bG'ci=rXE:u,@dDӅt_{a [żMg.X 짂ZWNpw!PliaP|89UvH`h=?#BqM>7*qaI'3ȫO,XzD/8b jnÓ҈&PBG2TQ~Pu1-ǂ'wm6&1-zAI%2SAWL^c'=ڍRm ,`}g'E-]pl5+nx"sK dI\2Pn NL4VX Hʃzo%NI 2 )GN{j08z԰w@@8po_׳eY;NTL`W#^Ʌ.L|fy-GF͏uEEٳ!Jb aNH|X{Dj[qlH6b1-PR%7y62ea#~7p)fC[oo-OLq/Ĵˑ]6&UJ}VGOŰvحli{%,A0mY`f4vaylS_C$3OEzpǸ<Z+%`ДJTur\40VX\sbd`Y:3zZFZkz h{|z7G? 8 gv~#G.Ewwӹ.|fv_D'[!d(dʈzqАou5'EDJ*K+M~i.^3}7Gze]3;X_CqX⌾ZНl Op8nEI9$,K>.ҵKj4 O:nm|b,氧&PI`XC`+wz[QY%x0SPzD y@Gq863 h8iJ[0#kVj\^ޜ ^nP`1VҼ-jOt)VS1dc$fʠP =ۏ{X{>|A؊΍"rC Xjk`XjnC&'T,;Ic:7Ւ S5i͍7jqu1=x}V7FCq 6UdCv3*(nDff ;UF*-pM? tf94S\đj{.{8 f},Fʇ6뒮8UBeIvvsc5}~V 0 Mc}s"⁷Z 4lc>\\MH?9\u6d1)[l#-8QgkeՐyx\9,/Y8,0F'J%!rRel?^FL3`(^ǂ^ |e_x`Bj|] [9a=_"1DEI7Jv>XH/b{0> kݪn?_dU~eLL$=)&,AX>-vG;/iY(Q_ EȧB0]*Jܛd -Pe1Z!{8{<16Lt?1/Z/.3eݿ v H^4 +<+0>DjSw}qmRƙt<t@ KdChM /E\1?7v(EnrzTh~<͜52ݱc ܄V] 6HP<i:[[Sw FkJ_xx;[w3sI}g dMq"hyxc.bOh? pPyzFJ~.DaoS S"f'Ɵ.F rp '^ HP=*#0(u>PL%PO* RTV#&l8eҖ<k2ؘ@ 57MFSNڮibyPB6X[ӛQq׉*rXuSqEFޘB_s.XR7.٪!)B|Jew[Rdi&z&!Ԓy $ wl*L\(~Ch ,R".dc \*xJe |Xd`}=** ADk𙖸 j rQۢ Rʟ>JJl^'ۗtCW=Qtn+ Hv?=#dBmEV']`uCE(D]n.Äɮ>LKȾcM$h*2.Dq|~ww>~@>r`D'mBCPdD¿KEQ'a hSh=3)Ty?*i8‘OdoGMfJQV@W͓Vot1"Ilx0awuS.>5O'7#hkN9AG8d@&q(?5MJJ"O :C%[+CAhڇ?Os& >QC3 mЗko͞x٭4ۂuFFcfNj8UR&郞QVsǶ=2X<j˰4lѦpN#t1x3xo3k~pS/&^G^`j>O=hYʑlepL;/k|YI&z.o}0΄7b\GkVW]@C75͕/ G~P:\U$B7V)Ikmָ gzS#p/,$;Zxc`$BJ5os L. iʙs!'!qQ01i}1MSo3% *shoyA0"Äg-q_Wm7T5{*-KtП|/MԏbrpI+u7), 8!oR?ķ~;y2idg@C~Ћ^ 퇪ڜy#y$'Zfk5ƶʖ˙~rʖ*PSUmj7s%Tםd簽خwдG>8 QNx e`6DCF$T O 렂6+>bx(9#|l7Z,x3뇵O`|!HH|hKA~EЯT [K~$Dg-}.=*#;_m<ϣ& yK~wPӦ ~-*޺[2_n 0>UJW6f!Nz Fà`NGV?B,{VhiZў+CU'qwl;;'CuHD'9A;ׇvd{ix'l4󗐾pجŬQqr2L5| X]e5 o('%Ct4,RK~npi>#ܰg Du=,lV'7y.ZJFT>S؎vgB١')W>O򪊤#kTB(πP\x0"yƙSMR&}1.H}Ϯяvsç}5O)S\9)jOBk&AX5qlh *VMB[[ϵv$u<9+ U:bC~Mqbʈ|.*[5y_~Pka}U~IJSB7-lWesfRL!iJrgW < q|T)qK#a Y hYrn;?S9N:([ؒ|iݫq?mĎ9Yn2H.nqh,*ydFP%KEҀaډԈ[.;͊;8em{7hovog'_/YBa0!]>>) )i0u>QKzn p9OBB-43@oUblyvEMU;GVC) 6eKB;x߾d>o\y {以|Mx|i1:<諀tq C'y3w/M 88.N.(BӷFЎ} RAXd 0{sqdi'H[~wv; K%l(?U 1F?Y:&{ۢBRG嗈jH)X+(Oa'0j 5eA2/a/ֺ3K:Oēb³ `>;SxfQ6hvW3mE~ͪB !,'#-hbmćX"y +X܇\̲Jz:yL/^4U?#ł O ZBm/CRte @`mPC$aYfN8fc;Z ?LɭXg4blF9Gp(.;cGHPM~9+ 1M*1sV`ݒKԾ]`B@hV v0Agćʞ([Y[͠U;0TF/ɲH~s4v^z p nW <^H|$K ~/ꏓT-D4466*ms!e3e7 sF=ޣʖ6;vC1B|`rjUXwOe83mrTy[`N_[T_EQBt CKv`4+(H*M3K(|(תܙI^v̹y'7w KaQ6UIS\,X4Z ӆv荤gg8N ]BGK} 1`4C0K$ w3ylBCFbv]fy:pXRMo1W'Vn&)^vOpB+#8Q ,=CTo.%rtˆB l,rk~ό 8N]8 q1G#7k+/UXXڪQiVo\]ȷO9e.sQ 9&iC f5oHx +pesSE% [-ك A<鉛y!2ȖwMvb%siW3P' sOY=ǿ+S[IxxD3%~9BpO#cX7jj y a#8k.6"֘VeENįR+4^FW`/pHi>*N1b33RNe#s|hX5DWGHZUdC 830ːiRpst/f/s] Py9Mwq5I7db^-3x{'9kf)\{ϷĒSR] G8-bdn. Ev#+:2|Tłwʔ(qUL:hܕ' C8X$]YV xkV_K@ʕVRs}\(ÿdeTuљ&ѩC^ɜ˦O'gb )\> ! K)J菊N@&Wa-kHʎÚdRۭb>>J ƹ. űĥlmY멨דIa ȇh7z]gM-BQ\A!J U%i0ShymROl&w`SK.Q.@k P ߮Qu"4 oXSz]~=/ <º+ekJyU3=d]q|bK@)4gz$_g=pnb>I(YHlhƣlU+4㠄yb]H8e=-Hd8W &7Nza5ÅU4U@4kvL ot1LO؈[7'Xׇ3'XI8EN`I eX, )rjj{Њ _y~\VC|'ΈeـL=`e6BnV!E,FXgBHAŏa>>HV>a,*h 0"L*_o(ZooZa|!D e=CdΤWmδ̍IՋ7 rz, MqgZͤ>)wOrnتS->WCĦE`4.j4Emu>.NUWkhCN;OsNfb8GX\'ښf!9I[LwE4CS phEe5~#.$Hʑ݆Wlosg*#aN~d ;m@`ʞl0h"eជͪT䴅HJ}(maS \?v5Ӯڣ[4. ܘoL$ LW nkʓ"Py0YV%Z74̐Z3s48EŐGl'D5:$:j$mPs>>LXN7!JE.:y-Iue5 j](d m;m]H=Y%7KI07D@ ,Y}N:4ԩg.6$BTz65wmL])=wBrce%y:>v*MJ"5He̗U!i֡L6vK9j7\uT{j`*4V{9 NLPF_Wd%D*[U?>g26RX\/TiY^)jSあ)[i"i7Heke^ߨigπJm[8~;_@Ar""q\%9-MGZ|gLTjo\*82O$aBL9=rsZ-Wv+MȼOnny:]m\Odo*<\g} Bm(tQLԿz8 H^imF]mJMJRURYud>O:58d?#Ig5U23nzTy:\6.ꢝ2Fi{Z9p{=f8/# ϭt7+vS`y=,e@r)5$.Wؾ &z 3vHZ s ʃC[/ gu6Շ5  +b}NX˭]RT8VF$3:ЀCHZW~ TFC@=;:s?"I|n1sZD!&VXhzE!1 ƑFT9Ȋi#àqei-uE耘5ul8+ۈ`UQKN!L/J¬S1ē.<KڝCuqZ^I m,BMJqoD7l5k|9jCיҀ dec-Ō#g] ݰƭ1A"BEK#UG2/yBǣ]` 48CN܉ ͹Xpoq$C-;=]e{ƪ^mi2+t^b`Cј{Y yX$ېsO~)qp\O)0\KxB]y BQhW8P.g\ EidVFgjOhd35ip^&A;S=COI}`i [uu*pj3OG#-c\A^]$#S5nmd$XR_A C"@XSrƋ":2~ѦLGc},蚎h?#I,n2dFThGhONC3z4r{]$djW?m3v㻁vj͇fZHѠ21MF佗4Q>7zd;>"طw C6{;' b'Ks3MSI73v577/Yr:X"Qd KS瞸'\tDئvugBQ<^nU|P~/⟶}31;04ZL$':kZջݏ鋮&zI' @ydB=bHP~÷_ #gyeȹ&$|ѰtV'A[-db$_ )]6gL'P. lv [rHF/rkI#:&tZ=%12D#4O?O.iŤDʒCHbn_wK} yO NѠlT?3݀ ^;̨J*2"ÇrlYxP)/|'*V2t2Rg63`b''6t@/ jPtx{VR2 z#WCv"?%wBlHi%׉ChfdcZ]1q`bU&WScXV5f_3O , cijc(12ɒ \$z+3㟢kp 1YP_{GM.l(e觯ƿ]JAo\_r9?yW56yތ^@t4ft$mKi`.!5:,Q<sBRR7z|a^jC2s- "jQ!~hyE :"Pu.43*M|p@)vFpdғpm'7WɄ-NKHBԒ%׫{6Tdgq]fՕϴd2ZڑRWwSD HfJo'p@F.EΧXľ, ,IO_;.QF>$5 :1z MG~9!12sh-%RU SYKbqs%pM!F8IW0,v$5ͳ$dW5c:n C"OTru_>p#YpF™~)#f "Bt[/ ,o@ڲgܮ"#MqjK3Qf6rw :t|=XRe1 enAF,!utr.f!'(?b#jF$5pȍtů[Ƅqiƺ_\bzʊN mUf)kçZySͥP)dyJp㾥ù A3΀ cGgjKPhSw' FdP5QԌ%mAbr6Rs_cTXb׹h j-I1! d*Ûz416Jg jX1 w-gL*>TF4rG1g4~?cԘ=Яr͘N*PLR}9PT;&ӒUD.bp)Y#}!EuOƂRezfȓ;O6*ɏ;UkMr'sj-`"AԂE ^x@wriLڨ۽%3DIyTUmHͯ#@5$)l-'Z XyφXo'г>}ѥ_2|e) _#M E<)xD[ì>Q\@>ފA&6BeiEs'C\%2{NC zli5c |GE97]+ľ WOzNb2Fub\I6rt*>3[a}J{)JWO9CBpv,Qtx{vVZW^QMps \Ok&`D?A'~`adZԌsLM#)%(f#l)s ">K-lj#B[bn-Ԣp+]A(T<=c:j׈Նy]Rzd m]6 8\iqO6HcMN\J__*QEQVGBU]ȱ, prr@?5i^b.BM0q CapĎV"HV%fϝֲ%ߞkoMB%S?]oa\[:u phqz#]ypU0rDm9GP&͠˝j>/,SVE-cbI} er$= adCKÊl-SK q~`u '-97WYo4va)cy'  #K*16k;3H[U3Bj`R5/J<88SQNd!uy>_)!II4#G6Rg-E֎8DQIˬ-]ѐe2vWC z( kڝBRl^:Fn:HZЇzcmXogDlt²epƆ~㍞v?g+]";rpFs[U·,RwĻz[c:а??+y/9!`yLtZT;13&~|{S }1]p}j6uT}Ok)*sGHH6<:URس:@{ɕq qU]wҍllJmD\Vej Â;Iq(lD|w)PjE7;[Ma:n-3O)S -AVkKE=v06J o/+[.;1i !~W,bsa^4 8MGsؠS'@߁1H)_G}8 SF&3n_~[,v‹Paz4C3g={EE&Z e8&jyπ654r@Bu"6(5t9L(ŭ&ޣ)vv K`Х gxakUuh_7-3m,:]1ڤQ hT8)pePDb7[/*UOSxSejZ>R~BD d?*cz hI[VZ$\.YA/ȗIᨙjS:s#L>)Z@HԪ1H+=z@J^TRVK( 1ϕڰve΅Dz3:ΟW6}ZctśJB-+ﳋIzkf=`N=^?&@dLEGapwYɮТ#>q;,/w@CxKzO^m9pl#<zܷ$b/s_*F9SL5[zT*[O$N< tClmPQgĂ^¾y-βË# $9$`bM;{׏y *Z1ATiAh{/ ~ + FlnF^GR$/g|kwϼ{d_$tƋ<m/qhhXc[p6/ >7N V؄0,-z\"0:q gգD^Q k'?Jჲ\GꌺjLyT"0SB(gzg~ӦgHyM\}HS2; U=U\SidoN>gYZ7zXZִF! s^]ŗXi%s 0E ̖ Gd;^lmZ;rJ,:Fthz5> V-q0f}S/RղLN*ٟFIg->bvyVOTknԊB~:b&Ҕ:E?շd(gX>w18hlWH6`a}FT:MR蚺 2$Tn:wrz0N%hA@/g6`iDm+9J"oxKn4< f'n;::ǿ^qK֌'\ obcF53Zz顢<g܌* ׄg$V' #JSNu PÉ\: {cbwlcLHtqRm>ݶtR0~be\wׯlրBfy38$k~9>d qGJ#X%$EP AnRhޞy|v`"yΤZئiںE7cF]dxCBXfw[<" h?(z^H_Js?/C@" {пEʘ&=.Uu9 :g =tœ]F X):de8km@xdr; CT{(p{NX#L~XZtsAg_Bߨ,UcELxIq'oe>eXcT G|bSvotAr[|ag ;FJ^_7{%:zƨWlɕ?_M 2y=-j<|L[lbeLgb9񒑑LV]!7/'KSX mO[8m/|lV긊E8uu8TBݷ"O#&[l̃vަH w Ԃa'L5ekР?ue!M gRIߥ/ rŻ)>;{teRG>*r_}t_]6@]O D矰OAQlA(-lB}*tu/O()}ks%<=B#HkSԂrb8*CF1M^6qN`mjG}m[+ҨĖzU'Gbk*7˽ȦVa1/_fY/r\5tTOCl7=~IoIbOE|;5^,~wΰ =z[{+STygn=DER'I'G7[rl:Il(VK/*7DHm-n5 M`ZxH<2zղ$g!xyu qaQ#TUTLI*Aߚ=RrEU4K{I(Y koˇ%?thPDSl1s*mzI? 򕲍( uXw܇5m]ag2,Ђcx9TZ ~HO'b۩S3 e3d (JE#]|P[H9EoL\J_E TGaΒ4 gC eߪiWڬϠb BvDn3&pvemY" bAcG^m+bZG(xUpe= }kMc ML3RZ^ q7 $n tfǚ?ݼJU8I~fQG\S?%=ߕ](Ρ`',MJjd|wxdÇOUxk2 Ky6I{y45mB1Oz5ɣʩd<6НBt]dCYޥvXo$ PD`Uf:q2\V)ۣ_^|=i 򦄱-B}y#.9S!ƫ'svwzpVƈYu x9*퀕5,EwVl Pc'vm^Z`j7~|jTBHynwb,z%'R =>XIvC+Hr$^r+HJg ,v|ѨYS"lھuX9G4Hc4l߼7|؈z wW(gy7%.PXa_nF2x6c/8blH{CHI$xCN˖P&x~8NM_[6CtiԘ,1.827@ doDWi"͈FU;`'TƞR'Q"jW7)>lٸ3`U&~d#Pq/nW2w@)g.Yn%$4iqʂ jcQQP|hԟ+s fqd}ސN fVlZƗG/?VJ/:ky eCllpaH̍O^*`?I f7HN§CWߠ8e{'"+:Rղ$d͍ǻcɚ^%XP1fs Szu45gv|wA^|Ѽi_&|њ!';L?wQl'pbowq&7F gԞo*`ڰ"+ i&n/\ X `^5Ɗ&Ҫ!|ǭ"( V ">Ȧ|?I$Ts\@, J`KCņ0StXV}VŶU1maM$0ڤ"iWdFgR P5tԑ2+H'5OK?6ǻGOqΡ cYI*až= -/bo o!.`N邌Lf;yOv8ξS];sԉSo<˜yz,vI4ߧx=473Au?pd,;K9e~~%{V]O'ݗIxzkKZOMP̃3Ync?ƒ)fMDXIH0*iĠ }tGhv|g7|*a-( 4E_Gwaѭ?{]Z r-mC0#^>=v!38 ~\<0 je\^՜,iL>4ijB?e]U*/j6bf&d{2AւrQb G'%;$=Ɵ*p W{%O3-8 LLs:G`0hB'gb5r\WCUWYC~ޕ/G+* ~vO:kk p؎ 4 _,h@I 2^L 3|Jy$%\ 跸SX2% *RAl\ 2Wiw7\7ٛ[ UrJ65⇕͙*ց ^Ru6܄8ϴDf=@ޫזh|LH͹$@zh=A jXc*c)(tE>E3%a~@J+ /_vj+dN _vfܤ+.,:Dsӡx^JsCT^e`$<@Vw.:3%K&z#&b딶TQ;o\:UI\oD"cb@a\?tUNjox5+mqKSZsQ5 mZez5e-] IڴT.Q^ BϱW7~rW X__d&x"0a2Ɠ2$GJ7ɚabeQ4Y/Kxbtzu} Y{fgwilx-gMwP51kDRL?@8;N¤e|dLPi[yj^=k(3{z :XG\htyt !HiyIy5Ͱ'Mb5y9웱lbX-4(MmVY^AۡH8]R+ƔQ\H\O-b*TԸY*e ߃Wey~6+ Uwo߇Xk|Z҂\Lwmv'Wqu&ҧsh EsEDHA]6}ql H0Fo,BNHHgcs0+syBBޢj#-QHxR/ŠiW*+rߞ&BBēv ̡3W?O^BH8A4UX^A!v!CdUC(.dɷ'pjL='8)yj*@SO{F/yG%ǀAꇱ=A `lTJz)M=vXioT3R 2o'$6GK7  Om YK,OgzڊTUy9HUӅn\ g;#:9/ H/wiYY߅`~Ilo5+FYy%n%16\7 ϭR w<5I= +羏g6͌G $YB+l[Jxrb pظ|%936>S[3MIԘMCNM;߅]]U@3 R5}ʔm\c Gĩ,8(5]H>lRCFqJ|;GU#m n}j;)Vߕ:** U0\Bǻ>|GaX 䯉pR݇L8i:1% +`nŭ(:!<┯¯x{T'+F Hrc}Lr;?]CN_jIp++ĨjUtjpN*;lpQns*U*6ywVNOA>9wo|I:iM8sMI+Qy,Л>yϺ#a=9 ˟߷?E ._N孰{l}iEu/ob|_'z%4ҲYuו nH]eyLn!~páK)Ͻ)XԒf[7\ oetݲആx}D#Ɏ1D^?.D#T OeA)+eƜ<&V$s}7UK tͨKQܾ6ڴ\=@+'6`)^2{jx]\tH˺Tc&9ʛ6aRQ=_y4V~1MPٔ ra)Ah"J]@/5b>MIW&G7%<7W1Aqrt+ɭolhxF&9E¡d6HS1:#xU0|/ߓB@6-; ڥ[=Q׻p~LkaMV1;m M5E?ҸSYw\Å ETM5 ^H(bmD+߱ 1<݅y P :Y;GMR v./_q)CHu%+]Ar%_fދ2Yp_phWOŸ^ڱ\̯/5F*Ra Dl`(BMJ;l0҅F{e/^Ft1[ά53Knr qDrh550*Nv28 pD.%z_1U2 +N!! 4 yUj1jWAֱdži|P_ZZ4@}![ 1G8VjM|wYjZa47nX9EW{Ҩ nL˽4w Ü طd}>SG`]̭;)ƞIKs-S77B);qrYO }I,?'N,mb6w:>;zX&gR5\F`ad!dsox݃eQxVΕBBTKBnj9k/']\ k5kmǖEt Dd^ 5XuzT壅l4޸sL[W#z#"_ "K;gRUÄoI,Gz jDh,m|,Sb twDZ}H {̸5PdxA*ropשY>.Պ{&O+vaE3_d=SxŬAUpbZU遊e/SiT+#MV0xɲG[$]c[PN1lo7Mhy 8F,48bh hh~+*'H5 ={LIfO6@_~S[J7ș. vJp%}L p{^3pV יmv|pv{[p4;Y 1jEv,]B~o*p>/cS]|jq0Vj?`#PNpkL!>kl^*hVgL[ 95Dφ|/iXը+9xyvJ:p*@@o\PԓWpɦ$wdPYAak"CqC 9Vџ 4nPŚπŎgC?W0n@EU'kVw+UO^E9ۃr//0KAL}5et7*-$6M\}ޑg.@'_FRB{ $P\׏XtRef89k$iiN6qkVG7;3rx1_}bY`\Ns:XAYe  e貞B#IkB,aD;kRsUZ^1#&39,86 ^aλ1cF#kV,(5x\!6cAMrCܠBb #BKgEUjn/HÉDJc\pX!8"N|eo?EQp7CƜ[<+[JS0twƭ$mrKzWm=O]CCh?eN޹Uoyq̱M'#&d]L^-Mn9r qb6ZxKr@hy9a&]$)jyNw*v596S!9pO[z4Ml,B0pPЁhDq(2uzxjd8L{W8jnvR)ˬ]#GX6: Y)р]N KG1 ͡T.jWkv,f6T+xC 67];mJfaoDb E6"!nd|;R4҈^wlD|:&l `Epz~`@2bh,G%N<98k&H?SA,ng\7o, GΔacfCTs}?W#c/o#"Y1HTjqcLh?к`E4 G=ΐ H] t<@;g9ĥ|vKz Z4C E40jlё uveК _%D;7-Dsrv/؎CR[LD\0tT<3I휡*uy5c gZyDw#B]B҇/~b fCCrDC'uء)Y]ɤ˳Vu}3 23R@k@Cbt%TgR؂ ~e.ZW/I%) tR!Žq~Gy\ #0G3SeW27X)G$ ӏG08R*}xlcd*WF_#>+I4C |'y6%l|mT%0=jq g<,p[7ܟE_dŶZͶj+s9[+Njd9p6LB9t=vE<lxO[~'?Iz}ϦB sbN]6Y Gh B%[ e*SW\<ї9t52L_Em&ڧj_=HLL$I3?U;! \1~=&y҉Ku&d4b%4/R3 3W][ Wvۅl2#XR#H0Aջ&y7&L%ôVGђ,T@ſZ1&UFHxesmU|z'"ֱ'M+-Rf!s1XG*bmX_} C;"1δS#63TUk,sLq`uܗt8Ԅ"Y`>缸O2Hqq [@G:y: gc׶2_+xN]Uolj۟2Vulcأ<;__ ?*ZM#"K:Y:CS_lS}uBg]yNB>St6Qcg>r7wb,`Ľ3_/|]*<+b fuM(O}DdMm_2IN,Ɂ_ hsjv@P OvbOaL'uWxQK[&_3Baä EXYE]og1_s2F@(M0)EӷEk-C ,2!qhk3'D?*ʯ8:aYE G9ݔ=JTR5 χ,[RMbx# vQ9wYl_I rq8Х ѣh Ӻ G2X.Pdx^ᡜ:.>^]|zg) TJ{Ɔc9TUI!uB|Ns/w9֒9 4a jdͫ-5#v c\G2Y1J*{pg;x7(Rj륋?Ty&DFq(FC>ҋrJ"K8\yO;obeN^yaAF[tRFMd\qxnܘ1X`ЬKA)uf.(1y{|FƓ7iݪG'!ý#sȫZꝩpsh 5"Ƭ7KI'͙=4pj͏kCk5\ꍂ>,DH8hTDoȚ᪂N0Sqq.s1 dRh:P?꣮:ͱ-nwO0lź>B5X ^I!m68+Af;;W׌Um^|RZ&meUdjcBydi<G B$!XSɬP+n8~ tdV}?ˏ !HYnNjǭz=!bE֥]z䫦-l ~abFRD f%Չ\蚓ϣo5 ֋Z'$5֑zn<*gkkusZ-'* W& xNprN%Qu^~(:6Fl%"ViVi43RIwc2g覮9o&cӿ @TFoQ(اM Is "9g8^_Ayg4]8er.VVYi;I;k8t(Xs/ ! .}ETUѣTuşS fk'~DG(h);xCpao[ gGcBQO$jvv0ކU>^ FWndXE[;6hECMwf f ~[:\Q {p)zXY3Ouytg(>u,1wMnц΄oػi 9wgksZtPhLVHc{c4 % oA-I^Q9lFڐ߂$+oV{ NB{y!d|UM=']?6OQMu5?̎@wˑ a#M襍s3OV.B"fzJa_rx_R ^X x89̈́\%P k|FmMI -4 1 bês,<+Ѭ$Jd9g' +gKq"&@2s؄Ǟ8.A] U/ZlGOpg%TLomH_wZA> 'Vz:ry (N=.و%!*Ziz0dVdV@6Oz 32WcHH=Gӛ#e 'Qj=B9X[b^4?f!OHZu毮LU[1L~SXZ"YD%TeQKjɸ?W{Xțp(Zm^nD7jAbB-N]H]l*/ljz-Y8 0m֘o #V@ _ `o-2Z.%iB+MS TW;+=[5c9\\M۟/sBOI)z 9ge7YTG( FNDw;%SgMĺօf=ٛ4&:fg=z7%bK"!.Ö"+]yḉ9"%miCǂHzx p 4ۿsX{k,61&au^$;=q'J752SN`hw=)'X =rtnPQO>^QGbrsT*?rj ɰloŸҊ;O|pkZPWk0,84-pIyӨ#e*mM7mA4h\(h;㇢dΨ7ѣ tN-X_τLP,5[8Є'`lL\O3Ҿ9Osڷ``p<@ Cnb-/PH@^-ךpagj1d22UT!+F}%8'4W8?~\ EFPk{,CQcHP8boHTh=0.ac)neTN|!n歡̓M$x"gVis6Kŋ _&<88Lj\/\yZqLBkP@ܪ%GCGh6Ɔ=1J& -G%fk[biLXv7u4ԈDu4Ү+Vv:%s'w^'udF8Wl},jUisUJv~y'TgI#c'1y$o^ T_.#!Gf.oHP`NM ϳA acƖi._[YGR.. {WIgeο}d Ya7[AN 1M޺t6N8izE낙@s$ZV 5Wп9@×0>3*73 1_VhrmX^%$=T/R]IH#M:%>{gKd3^YL@}3t`3]Y $EV6ܙr.ru.I >Fu5G@u_I+%szV^40vP.U42AlEu Ѿ0G/[o `+Ex, q~D* $O#|mYW F$xQt| Q(6wz9G|X6Ze*Wl=)J`b6hrEFh +r.pdh*6?/vcoQrshߪJG> ex:%F.xbOz[#yXW;r_ FRjwsQ " Si-V/ջ"Ǘ]K+K)ޮDnEiBWL7wBԈٮ[b_ 8g\kt߮#g)R9?eZ.Ve${[,DKv!z*s#R| ay hp$y "9<$/`q( cJ%4IݕZxۡHVe;3hOx{k#|2 mf- ЮhYuw$4*9׮?۳qff!FҧK Ev=;eho3c>CI5mZDs)]u"նd xتAOK(xuTЂ}-wf ]P͂)į,tJE5mH*/}ak)K^sƒqnmt;@繻FkE+j\Sc`̯r?".vgРdmH7Vùt@unhWΠ?k"[7$ԕLDot="Llz$h!^7_P;&ly<>4`]P0_0h{nnJnG#$raClbח!\OTOCN"@/oO ?{& T1G6j*C>Ůr^bVTҺG\UpԠg5-jG(7>$^\5v:(P8,)ᳱ>_e_+CeEF.TΏM>%ܕx[-TRLD=ftXY+3EV3!M2vF!NV6ᗍ\R*n?;?fb0{9; ө1;S?8hGT]Ę$QK{Sl3Abͅo/fglnlPvPeҷgGOBȲ ta>g:O +Ϟ+H,Vm 2ѳIA MSƉb1>|ݲ}I|bM h^. ϚL,/S2K_W&)-:6I}Ɋ#{M%(+;9";D Nh}a|C@kµK^ iq8@w glGW 6\Ȕ5YQb5qLpH(nI"f%Q6\#ҚW(&VM/t=_cʡRRjl4T .H,X\߷>6f0TmIa\Z3W\}RA^NI;xqT+]4<,*'jc%;Tn{XBYh*PT ~0YI%7cM/Z{ .8Ebud6)D1کv]mpobsI 2xN q7gQR.3 [P dGuS ϐF["|,́FZ?@T?Q5?pB͡cc.كE[h&׽v d|ο2sNHWoj_@gξ٘G*^Fcn I%@g> ] `?W9`Sg5Q1/4Ezzw4ל߰K"'sb-@aa&W#Ora˓_X蚔i/(4k{0( Vî0 BMqz@TVy:XEK:ghoηkULU㋝[-p0Z(w:FF;mk8 X[en|x~ZxP9yTiW )f[?\g"7w,YA.(B"b'{ 4!9ú?'6C(eLn#Df3~[%EFoQpoȬU7F[kqڒ繽*˒t8=?nMVޜlCZ%u*-ˠ@u<)Ij"b'A:4CHC,z kIQ_XBɉQ5' ~a'Kz^ӗ=ldm j˨ɍz(UX>h9ٺ{rq.Ưy/- &=oXEuZ! e\9~a~3vǢAX|3ZEi[sn'tm\DepPq_Ѡ3mn lȫ\Bɜ6a$1tqғ1~y?_+HlIPlcBXF!]GjS @7LOd+{W&s?S`e;= b ŭU+fw 氈oE@` P qMbgY6bůG'0B,ŁV )Ҥ+S&'蕵0"uYJ/i#jqQѶHx"0z)jJ=)=4gzG'wV%ƈMW|]0hp!Eh)o ] rk6*qّM>KnU+C8HRF(z"=K7LAE]9D:~}WgD7O$ -bT*!O h<ݘEFRE[sx>a}IG 0,x%VBke@>~v(Vfu `uӟJH7ӝ0:ݡXU(R܏JP=SvvW'(o|o gP=s)LKDlփ4hcySm$~i1MVUh5]m*Ke@%'yWIB5j on 6 [0+4eTӝ6+؅={-Xz8a傣kRUٔ~cR8mmdpx"cp棪aðYWˣa7DsysDEo, 5ML[vO!]u8&xkgO:P|^,(,1`fR/S R-4J>"gJf '7,%\W1k ,)nyv9R{;:ߴ ɉ{wKe[f!Mke}$em 'p3$&k [[\5^q1ph<Խ== -Kˑ#,nmvA)M3 -X$jmDCHw4:t}ȧ 'D}FwcW 㴁t7-,B'qUnwiU}0rsa<]F8Dž觬uʎeϥ,YۊwF'S,;T GbI 岰\S wxj#^Nw~`mp_rSD{H)Syg]294؂6 dAYtpt(A*uEt=,PΫ^Qƒ+oL4^kE+\%`=++a^ѫ.2n+|jC`VI_Z]\}9 PQ'8Pی" ױ->w +:ZD>+7Pz Z` ۧHSg%e(Q!_#f{(}?ǫu:=MH eqi\slɱpaG;ٍG`Lu?2IP Qo"Fr丷%ZCͬTc }yQ}[7'Yb6wL mP.۳;Oo7N?ԫ'@5gYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 513af589af52c683c28b030e58f615348f41b1da 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 ff6fceeee2cef000778dc32616369d237996ca439711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 812d2768b7b729b2249837ad32414d77177290a31667a6b022bfda045b172f4c0851988011bc93dd