SQLite format 3@ .0:  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  !T,4 ]]]HOL-Proofs:threads=6elapsed=546.629cpu=1311.136gc=127.672factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ ~33|H$QxK;u )FE9Id#RVj#~ SZ貽t5)* ,=5*Ǒ9_["_H;A0-.7 զW"\FPJΘ.Dk(9\IzWdcm{Cyde SD4 H*~ UaՖUa `IM+/DO*eT~_]rDk/I^ʩD6a:"8 ;uo$m@@CJhd`|\tA qY *ӈA ̓ |4`}͕˨d# Va ҕRuť?:d!k}vL&VHY_#ηCZ$A[ }<:WI҈1V-f#&v+ ן) EfiϜ (ARjWrvN1ǎDQķF-yؗRM3iO *sjJCOD&64W* a*G=?1\JYҾ弓Eo$>5xY3m2@mlLd Zӂc`㈲k>oLוIiE rM6 m~-%J1nگ٫`l% o+UapzXO CktמS @lp>DΤK8ھ":F!40q]Daex &N9r >KT'^ $a|L,K32qSJ h!{CBqiMkp *6>RN;wKI%oU{cvRYaa=QDVDr/ڏϤ?|Ȇ-*;-e?^͆t.#y#29tD E%'y/}BT&k~k6QH-G̠Å]vo1,6AS${w%W!^Wff=ZEa2*e-ަ+ފ[!ePn\bD -a&*3$T3l=4?9}?$)0Hoۘc<m Q 6B3-@ 6dR@ SN`:e K=FοEWt+46X1SZ‰>o ix߰砢)KpQZ+-/!J X&WBIхӑw˙cHIpJD"`K#_$ng ΂M1븧ql0DHAP=>Dtꈘԡ Ϡ8ǧ?Q[6=v6Vt@}5;=Gf3 cij:!f.V&5T#eY%Hn|zwM_F>*ܳExz7UצLpFV;}v<~w7a7Y7z8-XmLf[~^p8K>CCYӌT\N  HYq|%y\RY,sx[S]BbY֩256jŧGKeFԴZ^ & EĔs`23s[afr&tFgTCb Kt,)O<<{QG+LLi=  5>%ERL"Ձ;W#6eF2sq!vEέ6šBҸɞR%<9 . D=4y}؋MWn\1*c'ƛ:Q[)*D%(ʈ& %%| VуdS[3Ck(&:&RՃy643*Z@  w3%j!`duKو߹,Mɿ#81}gx{PX\fyfVX`.N`3,,_9qh0Ji;² =Zs =R<XOVջuVjrֈNWGlyБbdrx S{Z=>euR,D54$[tzIaӏ@+C}lu5J̼)dU"?hN 9D]ӯfWOsdlYP&J5ETv> ^6UBq~)Ab+uJ.? 異EF揭B}{w0Fd_FG妍)LC\Xjzyjr9 Y>x^Me=7^󷤹#_%N*=L9C\H"IZZĹ3I?ױT+)YWz%PXc1r=5jPN]14A0.;9BwcYHȣr֩AWI-p'n vbyM#ϧHI]9SWrN|s+(ߒ~#ȡ;<AE^Պn3:po@*bavIGQsPT N/WX_z>~[\D39(X G~nl#&ēV>lv8#\dA|`xyȜy32:CW⻤E~U'=luhE}jddxTr{$原r1#Dže36 Xb fuE*#瑇K`l*BȨFclzAK< rV劌  ! HOL-Proofs  ;-sԖ3+gf\Wgg9z5}@^òNBUrޞF4n~Vo`.wRB.ʾZK)ni*ci11Ĥzp^(yiv$doM((+}g[tZo h̐3}v|]{AL {~V U%j-zխ"| or(Gi,7)$`&~m\(M]<9@2$0R>M'&)pM}#nih>>Z4'rcn$*fȠ~TUrƩ4p*rһeWV4aA[݄nq0-A9b UͣgH33pe C@A}{9,y@fav1nrʻ?*/K%Rk/ =ٸci!r+IuIaSyFy^w5y*!}E䮠B*Iv{-8Ry~t^]Q07c;_'nk6C!>֫Z9">#FYPuS;WX4ey`# 7HE5bfrQ`1L;f$ fEgohN,;FG<0Rje73pz;Pd=\ ~4 r_G CPK UTU<" 7_,dVE;UꆰYnWdZo[S%'HOʛ2|#GpznF<ڞ Sq7MQJNeϿ,3<؎3HNq5g_.<KU ,^f7h} ][.2z*YD pnzҶHZ3v~T3ٯHs@0'(`Ҧ nEILJ͒!YTVg83z աJ\koM}*S1P?̶ǀرH"?I,y uQzvʀ&Fb<T9o*zܗʞuԮrwr;k`yf*o8̈́;&kQiI)rbd[pdv0GgwčeC=@ذ<v/oأ۰,#x0`<mEM!!*X0bB\:2^. סOK߅&Kfh^]T?=l^ |Ѡ~" Wtd&aK 䋉i;b]jā=}nr 3:$+J)jf, )'ybɊ5(ۚQMHR~›;_^E.8BMmCEB0;+GjWD?'ӴN|Ԋv9VX-!IMv_2m#T\#ED$m-ևŒ{/S>gW6eL[x:dMoe!+p oWCJ-.[b"(yxTkk`4חu?)U뒀cI/VYuTaIvߋ"5J& du79P 2 _gYZ7zXZִF! ]ŗXi%B?J<3ІA|q%vv0Y_|G}~-gS Bkc"C3E4?\qNG `Qf6'(eol( %i)XQI#m v/pLAb˲LJ%PFKqtΰ,)/TKƈ(( G$0J1`SqZc+{׷eVX{P_%wTؖe"K]4Bj 2F]|-dK2 $5Rt}v9.N2`pjLEF}Sى#}n]S$ܢԉ"8f@`K ?lgrfOgd0'0|k+fa^.&ژ[A6p&my:rE>F- YlGm1I( p/FGZx73VW9/fG [s+JfzNkyVBDUM9/!:P[I"@ 5+ D[>jiҡY{qIi T ޘӘ>R4{}] 4+E7+,ݤl~N–ɧh^& Wz>yV1Û+q%%`.|TB6^HAF0jʹi`Pź2WOaФ,v xdb CT* sy2h00QkO$>2oaPd8Mlm',ϻAo싐Z Z98 ;aO fw\ƊDK "=Lq* W$ƏͮKHkj(E.=>rB4V纎;'P)[K,R'8Ti[BJé*[X.}_i㜛pR{{Uٝz;LŞQ_S8*4˗(0v^dXR<4nmnG!E) L|qDVPd f Pwι2+ $y %d^u{G -\p7d| )qzS[A 2F3y߷DNC4y=?{7eMO4mu W+ EAՄdj|*"#&wpV?D 3kイtW* bf~񘽠!cV,G "U@}%VC\8wb2,!)o ,f SuM.$GCF4 |på}iA! a2"ZnL =$se_r ܺ ȧ8Q`B %ctdt$1"3Gʶ&ꦴ :+*ҏ[0_.0ζm^ TEUGcBnwmjA')Znh 3쓡NH#8fقnfRqE'}TMoΕ֟PuJ =W8bh YYxZp㤍 (,e?b.dB|X&6* (|q#EvG,18]݂M]7I-9䏱| D4t[/,IG"`J꼻'Z.NL}uFRAnlanKF񬧛Oclj}Ѱoőύnː 3H"Rfyi+nc_I=^S9\3ij̪^NTfHw 3\(""iʀפ׾G°^^YfN#9pݡovu+{G7o  aA_1xv~?icb9\6MFhbf}3{CzjdB<9i}lf6%`{Ҽpݜ.9MID8jBx .;<jּGʾ$=p|4 M|z>vw<é4Q9tq.GzmnWפQ))"R0J|G݁TGS&U~WXݑ6qdLŋMZTh6m]4q! "2R;22%\=\I"RT(1j$^ьsI?뀻^,{0Bt\in8 z.10G4R)ڀ^xd?ې)ѱ'VT6:9%m5hqyTF(e)𹰾6=I$2[uqDeNsZX"T٩N^{v?ny#M3@4]rNfCZȦ 19hP*5W>L鐎9*$ OyiU/ ʊtp0i}5F$5MZ᜿5y~Oma nѝEKk eP/ˇbj H )Z7$ ]lkR Ӯ@ n $G=+cS杫"-̴ =`Y9~ :O4 W^+ %;u9n 9P˜0hbG~ ՟`e8kYnD)r|桇w)lx&gqwܒt2cjՌg$t˺8 @d͉󈌥'Rqạ1G?L" DC 3cks)O!dAF;#ӯBGc̿"Z/Lws=zL&#V=|+wwc/2gH(QH1P-M;M7<&e\1dR+@4W~S6} j)Ts>!%\M"ѵ Uf 8cˆoSBG5s]5GvFeyt wj `۷:PETLR5]En $ze j^{mw{rNw$( k`:0%{_s/ϙт\B{ux(bq>f 9gҠ&zrtqaU>9<[{\^|WL@z<ϫ⏜\NYL,4 ؅|vt=0)[Hzυ_]iT5[LE^U.~^UP_Z+м١̏u}~ۭ;y'Mz" . GnNYh \?*d,~7Н ˽4EW /ɡ-0\ׁmSa-,%VЮ⹵ e6|Ő0s&$6bGzhMUFT+!3^8p?%^y$  #1)a8WqX僐:X)?5[q7k %?I do" g⇘W~ F9XS׊*cä]?A+%=Ð[lARKB=y uҞOߚ[=/ւ`{] N!Ѓ &:ǎѺ9J,< %7Ev3YXOȦ +P@f@ٻytPXJ25:^>(0”^^V \ہP1WcųPL)0G:X*JMV~=6PR^ ًfg$\{NFv-1YqR込y3T 7Rݞ+ÔQ/zVILycd-W\I%2M C~CŸ)3a)\ZUbx%D,gi1݃;o}iԸ} y>67tHϘV{=HzҰu:;{dojw]n5hkjJK[\ Yp< )X4ںB2K s\ڕɐ;ma[nĢoXIK'W=@COkwe:Y\yo]!K7 [9rsĜ*caRotJ i:% Hg=W-.~8 j&]`oL9Hvz5dԂJ ]qoDfi.il%l3[ PY!vxK6ZdXnXR-H.ZٕT9 eܫp$02v]Zx|wk-[A/cc9-#jH8u-^Med@>VU_oM>67p]Z 3Вg Io "كNy=ݜ\ݏIW+ٿ$7yCZ>BV.ˆz y哦zXr@˜CJi=`v Lܷ9d -/A_#hL#Wa՟XGE`ƊNa1[ ת4+ KeHLu,@åГ$fG~06Jz2a9[9Gqo#|$]gyJ?E0 £VPOma˺<ӻ̀cߥb.2=lbDIX>GH5(_noYh(?el= {^ӏ kܯ6l du^f(@u;fhHšӽ)HAu&"t)Ӣw ng_*"9NsgdK/O4)D "kO,,ANli-7ճLcƋ)g10O*IJϼ)|gA7;ӒNժ咪692X`W~:h]Mǁ*gmƌ6RJr>7Oͷ$LYF+rF_zawk" & jbQ썦ӳ3M _a#]YؠpOEB0tY7s:"%+ؒq7oF^ j+тhm._pZ@oJd] ²̶@,-ZU&Y[[#_YD įNZ) 9vI Pu:Q \tyY.ҪzeΚF*rj A]A-e_}84Z!kAS=B?iy5ZXcsoڽ\N)Ԝ*tU*$fYg2l /p?i mBt@ zI;Bޥv]n؝^z<4Vd_`BKk'DE7t2 F-E@MtyXXԅz&bضrL<}>8yx~iEnNh%76ҹ_?6>K4_m|V6Qx/ߐR>QH2*ܬCHGdwZӂ$EH`l e|)7F>lX ak`S*k)JuktpUʒ/Բ;RxXW{,n.Aأ6] w"qCCBfTh:+hM&0 w{dur;O6@Y!Rۏ(/(bb85,{Ⱶľ32!C&K"펕dN[-&l?cr26EҲyRh+Z.r~y_j, wtH,Չ1.O !eK$} Vlz0vE?@{S~-KW!)Ra ڟ2ouE㧢1}bu{du 8QzUO 0\PLW7}H.T_)-ǥ.۬]Ǟ/9 @X䟄O` %$0",꒛@ifA~za.b>Q7Hnhh)޴ :kB,H־ SPL/{63EA5l [l lʤSd/e|S-S(=qn:܋2UDdN$nBQ8DnEMQ6YYѿwIb8eo婏 ^=j%~4qf1]p і!ێɚ1a>;ػ4@0žepYM2naML,>n~^a&/ 4΁?el}&3Cp{-ҷ hY1鿆E2u\8. n4WZ|1\#SAzvT ͚sU'f EI3KF9˿q#WzsʚcjiƦ\^iD/̼ՐP42TAo5^f*v% q{?IgEu/0@V|[K ayz=ʳ+w4oދgQ+0D8qV`#M}ϲrm-r_puN/5<,Үi=QqP@=j("Nye0U}Cؘӌxe'|2AeZ@\)lHճ>\ nК~zߊr\A6L;_ by ;L t*LP2=LEZ+s^_3vy|rk#](!\Ҵzݐ.d2DcLE?u[Ϲ0hHʕ"΃R[u *\!)?]Vʙ؎=:y҅<}jT9τ8cM1$c=D9)QcܹLXN\wF'?WṊ+6 ;7$WZb,i fV_!ڗw}J ]du e7lPf`iv#6Z4ш-ܽ1څg"Sh$gw~I4 @ :QVlvW"BW6: $8.^(o`A'?XQ (uM Cwc{ftM՛}N̋4#og_a~_ ÜYWqg$$h}Η V`q^YU%D*!DMSaoMlsiʩN|ƹ~Ix7ErїM.,JN%ʳx*Kh(B!jkϝRvF'54a[EOq$zmi!׿C?s V5 r_w ݅lJZՕ}NLpa L0>TP3ZI?oﷁި-܈g" LN#qd7;ꀆY N9 3l(64#T8qh]"ս)ӎ!֢ ?j@3> B/9iށImUMj;t:oi툥e5ΈAodlʃS #z=jr!g4Rň%ľgyjQ XR,ghn tm;*u!z-9H)@\[GZt[2EdAB;JtI~'CE_ˬWh"(cމJMhG%(S7 F0SޡK*YgO9 6KR*݃Šn/7jW w~}=Bm-: qPH3W"]EP7J[Í}hT!X> ^)1Njg((zUnb"Tp(UZ.w*D2^ZԧS طR}_7ELi˿iE PFq|vϨM>-DN|t( &CgEc-L*a;>Ue+&TodLLkL^  t%}zXR<z8>JtrҳĜ8~܃;!E|})Â>JC Q.vT;tӵ TW͏¼V(*ܧAƋnd8!<ƛj( 3i~ xJRȧ A`gˈ5J{:6VQpJ.ϴٳBT%Alv*'fz83<9oðmmB9oC 椎9\X.*|<f O/z (u|Y9p+FoB QXSɪ ( FhQ[M%9hz!Pnv\ 41 N~7sanWT#162[(*mm~S;f2`"Mcy3ul`>8e!>ZCXDjJW\}~M!STg'ABqP4`hEm3k5[޶ʪ"z J%)Zya A'@FOL"BIJ /)GПOV38w`Ap2l40+'exSF \9HR|]Q.XTۣ&^a`fh B¼Gmt/i ʜ8nxz5ζR|7 1wsմAm%/2`P: nHް2c.I@Z^B }prRk#L#xzf9 A "jfok }Vѐai ^P#F!9Bٌt%.ƲC8a,{̣ h3Q_"ŀ˖= bW=hˤrh-¶&Ki,8 8,Փj @I2@ \A]:! р.Eo{-^-E|;8~'b&puI'w~&e jZ [e&z9BAo,|-qvJu _EuKi?K$D,d&۫PP(dPqDG3 H@&CSĂ˼ii]d(P#.# ހS %l<7M~_ut#{%6\'۝ pi5ran|'HT#~z bc!Sκ9 {#.7^Y ~ J'6Tg/玲{w{b1m)?/S\8tpIBt f[U82> ,H11*/q̠[tXMYb򢥅YF)mWF:H|pLfg_1o>2beR``}}Vva7~]t犉%QQ4+`ݱƩX柯Th!l,: \(((X$tmO7y)X!!NWvˆ37%Dfm[X.2|utٞ*l(&bz`}ZdN}ӖNE'Xd(7~+YW^`?=RÑC0MolD \gE=NP+KDDPWΚέ_~GPcph Txgrɱ迤` +akjөE+'=WY8*Pz)ZpIIR:gy7\nLy5x7TxS<6$ UXͣ44KG $%,HOv EbY6AO6-d?cs8FH4,aExp`!QOU?7Eeߖ$ij=ή<ĉ( pdNq)Hk(UW&;eR/trEP[l>\"Hľ#)*'&:o# Vn)1ƥ*/PN$x^rEȲ?Opj?{(PāM{"-w2[^vC^S\D5㏩0pJ0RVINJơA~ TU}y%z!fڲ)]ᦪ>=͠)Kgj+&-'F,ֵ',M70,P Lj5eи (ZXN2~MYN7# L0bߜeh=!I>2L_#t]XbeO$Aot*`kt5 Auhcԥ9'Z::p甤ܮlj {_S 4F0ͅ+pp7&kb Txbs7(hn@/]k2u|^Uei1ol=/re;5 ̑)<֮Ma >O.TceliXgp}Jq^ǹiXEY^r QR+94ʹڐAW0E!)xi1\F-PɕǁК?*sN+g:c3\gaTYf>\gQ,l]kSdN3'O˼K6J5,ۂľMQ?0`$p4] Ǫӷxvdr`+V0a1_ :@BsB b9j6lW i-xv \+D,ǐNdT`J]{`?cߟU 8 Zf#fud);׷&tcG_k!E =K6v4+[ SNmUgνq0Uӿ_:ny'h-Y ra''Xb?4,L_h}?OR*pY+IjFԷJK?P>[q`$#N&T+| ƪQ2vrg=A$\D),V2G0UXrB{od 1U <_Pm?[A?E ̼h|Oy]D8i.rdUg.sh٭sne@0c )qK`udѯxGUƢ7#Úڨ7r}~=TIx8lz[ؒl(~L͇<;8[;t7#8F΁^,|b~ [_hj—zq^\mQcL pWd;?'9 12,2Uc"IyJ* `@D T0p2۹ ьYnĊOres[Ǚ~ODO}O12b+8ŢR,Ƕ`дOPN=bYl- 6J+ƫ:%-`.IFZ&SWG39s3MS֩E5!UzFPt5ج~,y>:#>4Q>KNbky1dbԽ4"<cc (Hԭ]>9"tODϝCcZ2 XKvW!GD,{o#/ q4HUgoTm|*QAzkP@V02榖ᄆw\1D7Hfh.:mr@bqAhq#9P|s[JTo! +[G)z2ߔSIi3UB՟qB> d{~%/tAR}"(="wuYwc9/F6mlޘ?CP/ hj ۓCl[K,*#@ofߺ0gwPA&"ff9I k>C\[tܒdyD̊'F%L!oS>9CXH~3EH [YeaM1?%j<߇]hJot:⯽xs9COx!ikN/qIݣ)t:N)ZYO*y@%ol;ߺ`*f][ I# + &mH*~J|%YM':N Iq!9G"cL97>1x7>n!hیZ? Ҿfdr,|'RUUBC[Ư@;D\f胧;daKo4Z,q"FhvN|к@ߙt[:Vo<@X2Rs8r~^i:C*l;ÇpK[쟰Eӌ)i ZR5I;o 7O.C|d_ Qilq;. ! &a(@jOԹ$glYn3׬ՙϟ0C`F'Üat-\1:es}xg,F8nH^F53P8%WMIqhnUP*gAVyaLO !f-7+lHobĻ}iSO[1ڙ-ZGU Q;=]AMѴƺhA],\T}ZWy_Nh&H#BDpfFoP!-;hVu2nF%c-޺0g@Ŋ4B+S5&:zG]J'%4 ɨw*ۥl5oїV熆o]h]5ȝ,cQI5fGvrkԈJ䗁)jm+kNKIjZvjl3-ЎL$x/9#>78h/:#<%O{A=UǽmREax;!kQ_i_ Lȍmĭѝ&X+rI9.@'-ѤV*(21 k m̛H]HĨIc>`ܩsl( caO󱡏`ſZ,atfžEO*xvI}JW&Nr8#!I! @aKNb׋)B !gN>ʙ#vk9Jh9.]&3a G;ʚ^D Z&lCh31iO=ˉUm-81~6ZUD#i [؜<0sG+ZNkdy`H/_h0iF>?m]: A]-KWjJ.el`?ÅH.ѐ#B>BF̨tz#FK?K,o- bE0ϙWN8wWϾg7V+od*Kԫ2B |z2ƐE:sz`] ns5Fx/)8zq}K?`½t^٤el]=)X_Ϻt2nNǷ;@x,ql[#U9L;y)jL(7&2$ifC;oa]cS'iuuaK4:MeM]c!a?RY7#8 p{F$w i-$@婒rl|sE{[.707R;?Z-(v \L K"JU Χ"F`m,6#4s/Cjh!2l9P*Uw8ut߄g"s@iIH( &hG*C|9(4:\PCߥ5Y{'z?k$)E[4u-.kqy 抈 ^34LJҞS#$$, |fe1~CyBQ#Y̱.yc K & l_0`es+u yi7I7@Y$@znXK@`u 3t1zONJ .bƽ?K嗭 0hzɞBqbxmj3woe-q)ȷܳ?j/*ݥFpC||"qZM}򀲯Ƣ.uv-fHA+I5 72[h0֤̽yKijAzx]ߵ lߑH#p,/2sIS * ÓAe'\uh7 L ƌfk9:W\{N(;z3pv/Jz'nx &ꄮ"aFy=KN',|-gV]>=xfDlKc8dj#˒x_vj,ܸW4Cv$xzu~N&`U;>u>o,`sup/j>Y콇lݙWL)!;x +z+)=Hbdm1 ~s=l`C]A³eby }| Ks [w*1V? Qm5LF3KQ@泽 d@::Yw2.*vC iM|o[T86%!d` ܠy;\=,26E^iBiH'>ؖUإL< dȔ>`pУ׷UyKnI= VcjaUQdQշPxfo b_ARA_|+0T>!O : OuHʏ}Z˛sƿGB4J*oZ,>+汶D$^C6{i1$1ߒ ,y9E**Z`&@(>{GLuP9#D >9l <'QJZ)4Bu'/V.l4ɹcF IxAMj,EP3Z؟=6PᐳTJ9璫,H)Ojx_zbMqh݌23M=}3&ߨvy9$ i ozF6=FÑYB@[Ό۵f Ed3̗ۑG_.G* ѯm/"+pmܶ"QV',VH-~gM$,۶y*:FM*IX6sALQ 8@!RTΕWDq[&c61&!FкbS4xi̾[3lN5Dj0,A zsCmn cs:o WR ! >XgƘRpD$4*yEiFi@|rV,Rg}7X@Q')5xm&9R:9cΆCN VJ*J@'~*ﭔ{ip/x"S\wW Bv rc֙k^u@l0x>*]/L<W t^vaâtQKBR0茺6[3*MF;=.PH1:\_ٜuuKϑY ΣuYËDd $"mE! v>/hŧ䊠4@/°/~ ԌMg6J_c} 3~+v%:*( @R,(,YoҸ? Iՙa,(ۧL} ϲn&_w+,`j1KIbAd1.Ir5)7X}r+wVM[|w'w9uF_7UlOWv<Π;}y#'/ e(^G_ wtɳL!ڻ:Eo$Ň? K?1Sɳ e%bMh/,GuC0W?%7kweԑ"ʁ҇ ֎d7a4>A?Î7OYO!m)LQaQ /Iotwyz,IIlsWp)C5_nͿQ><Ɏ1Cek5a$(澚BQ:I4N󥶑b|QBH /ZyB)݊&5O0ʦRhy˝U~4JꛊcpC*R ǭxi6q''Byp2vș-oŤBH2t SaUTAK`0BI®4yQyZz x`:0*؁Nm:=hgq<5THVB٠TVЊeM\xj~L eʦ /Jf:l3mu/Mi'#Y!t'#ɹ&M]!7%Pv[Nq5i;ݮ(a_=qAR,Kw3K [mE< da1ĉ:aFZa])Pꫵ(VoaM2?0&^)ٶ\`AyҸ3/f>pL)E)Ta<8(=j pf@k"nb( ŮKEs?[΁*H<1ۢbAnJOg~ĸV>/7Ͽʅ3]I4W2;tv7PTusàa GN;TB3|vFBUMz`{˷',Bsl8/'bR`3S!S>jp@wAvIjrC=[*ȠU'ECx20h-Á&&0 mKYߐ9UJjs6v@j)B0X}"Z6Å<|ѪJ`?mf<}0v5k?yS7fĄgMj>3Cܲ}~x}7̔;HҀѫf{M0" VGnmEy{->LCh>(JUXl`f/kog?*1^Tڈ{ּp(Fqe1*pI݉ a<V/%s1)( xa |qP1ۏ#=u1>wF)C/SSyƼ|VžzHb]pΠ-(B7mcoATW9`L<cV.!Q4DzRg6}qfj6a>"hcQfOKOo>rQ:q3O @>x>ó~bzZ!3IO<؆4]c96`}}>[dI4Ð qe5-c7"ofeI(Fہ>_Wx IbݕdisslbRbjO~TCe{oJW|w1ix'Ӭ.ϴ2wً&{E2O֮n`H[FxTZܶ $ɽb;r0{3{"xk>>5We}T6T8zlktWb)'o3*VT&32P%HJӝn.-zk+ Nq=to~*w(SsU=׶er3xqa.ze'yPy_ք",;埲Ix\yEXgI]^3/ hj_րw4rt r|]n[wJtW # 93ܳ)hqW mFBd,-ȁ6ySɩ"q_!mJ""P}`1~&)m1i: յwSCϹhzݏ{hx<+[UjdԶb ;b rxM<3g 0#^e=9MKkdZˇVtPm2dD퉵ܮܜc.^{Дc'=g |,L$cԿǸmRc YkU VVɼ @."&KBFmxճ/%Vn.iJE<-Nz/g"NxuoU5IBOU/dHtFOAN!kdEӔ,hD@xpT GGS.C#I>[[*Sߞ|`; OX5X5R ?-ރ |+<;N$Lj |jor8kȊ1ey+\LD6HD'OItZِ1 !(IZm@@hc Ia"Nc+IGm L90x7*#^Uy" #jw@tٞ +&zЀ6Jgx$mB' N(~%oe!՗Pꊃ_b︰۠)٦Z0:&ϋt»ST)M+;.`Sb.Zҙ}{K߷tݻhI&AȈ/Ҹ+rW,E1ˎUӜΊ-RԹI#c\k#%G:FoD+N{Xh fiÅx{mM/ByZ 棄C6ig=A;z~]P27;yh #UQv,>8&?:TeU=UΐQW  i7E>yCѡ<[ѱtO4AnҤ D|CӁrk:tk,UpŢ_4 ڡy4?x$۸Q# 6FCgCϵĺB^+oCJ`%XuA)t?&F"Î;sOF4p3GV\L%j89m&CF\].3d)M#-ȹh+. [6^F{ɱo6XLAƉ(=nr)cR92%2dC{hLb< ,Fs,=bTL{~rqU7|r {C8u^%oKvZ5z2(aqZù#H"72٪FY$ ֲB"$;O6şMf먈~Wx c|:6z}C,"2rP2upBQ k/9SV:#m(ɬLOU{l҈BF=1sZ:n[%Lްs'Ua:Cg \S1GǭDxOmp{d FvNՃ[c\UjИkie`Z\Obh,C#H>q9YX.[@VE@u_J9VE=BUCkaI &U`ut۫K~)2LǚoגFcLXi։KK^J|,[}ȴ눈wc}g \ƍł\1ρT8skr%/tƳu?gԂ> -AgNR} !eci]qٳDtF&E5}PZS-ocUJaj ~P:dr5Ɇ|gPwFLJh 5_ӸNӱA:'/}[5 ӌh{&w+vPTba'р*UDEʹ" 6e$Q:)^s {YK_SX=&s>eLHfiΙ2 r^c4sZ_飓CRye/֛f4|Rf9*doI8&ɍhP_S2MTц@GAuh~s&}&w7$vaY M-Ҝu&V_Pl]Hž򆣳sl$D"!^ ʖJ>Gy g6.țtD"5Hj}ܕ{P#˿P?'ٝy. HW/D Ϡecx^ir)HGeX` T쿯JP")%OCW x(-f:) ̩p35`DN vPu'< )sx]<\ї9,X{@ =a)ʄ! ʏѺ!-Č)BFvF 4-,%g2HYc{dk$H:Q!Y<>dC Ԥ;:lxM#j~ xt[M"YFݛguEt4v< N4zDBB&7'{xyAXYyrfp%ʅ ժQ=H.R`MWroʗ}I-~Iq<}؄ Z5 ],$\3߀R^/0l'EWG`ghMs)5 l2nV_ ۋm!tcm\[z;oB4QL"_).oyRu F);AݛԴ˾}]V6ݑDW Z'&:'zǚ8!:6n/O&b$Z}<(aGnf;9-80b<=Gj%꾲Rr6q\zEN Z%ěL3qٳ9svvn&DqdȜP^Vuv.dfw/Nły}' a蚫!qaH%#*nrD23[t#mA(ۗ;v7 I9#qroMΙKDM8҆ŁM _gL7/n*/?bĄKMlnNo+4t-5[ iFo&7H -E߄\3N,YWybJfc<@PA}ZNK&Tysy L$wMga q7W0 S g/fA+[ǑIAA'C "_KKkD=9Ғ[hIWAdky E T˟{7ʓZ鈚*Um2 ;~ilsrTF Zώ8V1InO1.PM 6j|(x6ŀ/Xo|+ lKU/88u9b#]-z`VnkoRf35z-Ma7Qe~N6Jŧ"i0 [:^ALƥz7Eu_&*)c{2?-}R{bTsxb(DV\uэ׽q`LQ6MA `%zYP'ft.iY:9@cVK Kُ^Z \#MбAQ>_Q;6>;e n| d12ĕ4NY7T Iҽum <Ӵ^W'R6Op 8I˰;~xW=/~jq]`N9\F$NZt0qԤ$!0A~n䄈T+ |FPŭBZ3 _ބ|nZ(o#9CD@C;$n+'ǚh xם?J#aTGVD,oCϦ+ۦ-éf]FRCs)fIх~lG~YH ʠb-PV)U~~ӷ,7يQ]ptu"퍵1(]Y;$鎽 ~\R`u?91m)T!Y@ՊĸHBC's6oPj")<0}c@wnFpavaL6P$\[ʓ>f!$ˏ 18ቦ`[ePw?zɝE>k !}愓"sj/i\j@)AIU[yTGe5!"(x YC~ g,M2;aWm®dx,,3jN_'%^Á&!%9F׏QQb$tOyh[ʳoJgb [o?Ǡ?C ֣1cb˖ ?oJ~F:K¸lBgxLQ5Z8k#UXlܸ18QyUVO:Q0<}vWQU0/ypg=1#$0BB!~~@E4ʹuBL-+>#F76pu\,1n7W// t}M@L:stB5k#lgMLlnw 09();;͢iK_G~ɀk ;q:[Czzk:4o!I+3aSTJPW;qW(S%!&}%i 0ǬeYcvloyߩ2㺲^9fa҉du}9`<2xT 婀?5G%^3%6 @xuߐV? ,V' RחIj'‘=!Jf %7!#`?nz^A|áz?^JZo$b(gF/8L$)Q&Sh, SgcpBAT w|TmZͱЁ࣢b7A[2I#idsC!PHqi1 շR9EXGчéwmEPTj@R'r۟0S[GK'1CN|ֵZ. v 50膝dD_x}WaN!k\H&([-U40uºϵk)}\QG٧6jTW%:Ln BmtS%y4!Z/' 7ڜt;rT&q~]BP&Olpj4`c(j^l>0U k0ƣeO%yZuH VuA5|FE(Q#>4~z酎N@H2&wnKĬ(Ka a$?/:=6=ן, 0XËJӛ79ÈtD*PFŜWWNuQApݜpDPn e!=v HW# O)m`:?t7q` 0X^!+.v\[!MҔ*֓~ޣ/$ޥ{CfF&t_QhsQ iSDn ymN\fb{^[ qz] c}wiMPqFI>gczȺ*|P@@ml oAtJnn@f=<~ 'XCCkh߱&N*θzFxCJhKy"?$fK|P?XNҬ3!T%.U;de A2oowL>VWTM=du_.cio 'Q9Z5ӯX![}!9_x(9r:<=5u/ب\?Ɉp? p̞j z !X^X* ]/+Y8Z&izBmZ|X Ц&Uorf-.OhgYZae86c683203e1914945f7dd0eece6f74402f46b099ecf617d9791e97e2694500834b58fe8bc0930eeabe4a79836f32e418b35502d1015d7428f7e5f9