SQLite format 3@  . BBh77otableisabelle_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 p! L| ]]]HOL-Proofs:threads=6elapsed=544.324cpu=1234.884gc=179.460factor=2.277zXZִF! F~]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\+jtzaiGOK$mY|~06*4H"T{0#!cfѼS8WcZSJոIG[W=2 ȉ*1ӆC9f$ir-G# E3!@{Z*9\|^h2ZVjC"=)@,M9C>>SY-_\K#MZQl%(Y\:Op|?/H}&55pvi^&?3#Er@Z'ɀ L{ahDxPssL 2SK)d( //06HCI4uY#{3N\n -JPWi7- {2+O3-\ѧU0Sמ2*QV`+,8*V,;Ovcu)=~V5q=O.7(pIkfˑlYҰՌ9 YN(@޼N ܘy-EhQ4iyiSRwRLJ<1:9A) glzx/fz#ՋDA~ QJ٥o$| 7Dhi`@|aA=Cu(Tbb6~؎yD]}#ĭ&TDÇ+|Aw/ZSk ` ̨ךp/@V`)J\OTRHy?oK\dFZemMsT4nm~íjhx $[rDTϓꬩ5c TKĊ;@4gS՘ҕO/d,,Ȩѡ+uqp^U/JVΎ%b? ([H_ ] QCVqFpWž-Rb}%Lvl:s5+罙We@ ʌt`$f/D#HMPs.(|yK~$(oԏ)P "4CAظDA  )768g ǀ'pbuMnM^{*H3p=DS{̛{¡p^" OA9_1@ȗYHG"zA[3{N;:PI&oTz.wnZks-CVe{URE@C,=Piʅ7K?MvrGfgts_Xd}S9B-UD \`~ aOV 4p$RPQ=jlB7G .&&$duiqҷi"3Q'g#u|B9ť酥(/󆠗V}m}4H2nӻiVf;7$ 2ԋJ=x@( ?COa H}}yGBBDf@咫iV`U"b= m"ã kx4zk~wֿ8d+NHA=kj9|l-> ᛘunH?͍*" w#(]"Z, 7%jÏ)s_MJF~C>AxI6xKF:n0oLB >YŗR( .e}e'AR/XB@O9qZ2BKFm 臻O !k >m&CJ q~?᳍?14W!9MgtYپ(}ˉHNOwJ$:N0X]4tKcMowv3g;OA؞!REWwkpTFתvxA0X 7jM\౪=t&0y 0@pofWw7Z['~ F&aMhدBvmnu'L zPzwn0U,ΧͶb^a&|uKh1ߍyޟ  ! HOL-Proofs%25_Cܮ5SP䬉+ւbڃ&PM{P(m6imKķU44dhG<\n3k}a)-I}@eʧ"dSM-Lຕ `3?Уq\-[8sDK!: #tYY#9&֝bz BBm',2jik 'dj3zSl1 l7hNMC\\KCieL?4i!ߔ+,=ڭړ?7czPdT'Lw)D=Xuc1vB_,OVN-o4 @w VETکRc1{A-ؑ̎΀>-1$P'}(ٵ7gJ`H`|HR;ܫQҀ _|emB=u)q9atVLKV(yfޢ\e6KlO ?~jw_\Vٚ9<+먨 ڶq,%1ۑ‰J]+yc;a<'ӧeonfHagnU"Z5%E}'6 (9/"M*vݶJ&×ÏǐU] =׆ܲ|;u/bD0!Д R&Dd.ZVE-HxU@EY͖r(sz0""LÕ_ -"txU?kbKG] ܽe9˧HLY.{1QB&&j9 <# *wb|aQPr;{Br+1=TDNu-\u]^$z u͝q?e(<$-MbDز"T@ԸڒGb-CBS>":b#Q 58:pQVv`bЛHceMG(fZH)^{ 6Fm.tƵ4'-c &=\1 kp+2B7>{XNjA0.3QwWd3ײi^o2$jqifĶ;lٶyэ'xL~f44&< %vr5ǦLZY X ȣV,S|F&,=zV ߊJ$^ hVse .E.n PҔp=r4 g[A 9Mh!~b)*|ڧ[B't8xCz]JL < 芼aqY@N&W=VByKF[Nf-masERU4|6!`Ԃs/~]&|;>T\n>pfGSFZ9en&j39 0+Єx?.XU(n>OIJQd1;';mġۓ5 1S#€.FbѽX9("EeV%x sB vZ;`a3} kpfkOb9wSI{@\ nuf&7AI)yavr511^rm:;DZs3+CP͙gN[lM84woʟddL=!V7jybZ'L4צxSulaB?Ag3ٖ&*ʘʑи$v9Mg,e>ؿ]YƓ% Oqt&2&PaTnFw(q.%CO]Z ?)h,`/:4 Wxv/uy'3&ĪN?&+>CPSb"\e]ftLl»)$:Mc$e6-OFɍ.bN?6v]G#r\hOTSKԓÝQʬk 4 , Qχ 4UJ}8;/+!(C}}/U5-3F 1acFVӂoNl_9yx~UHfѢ[%9P'u9f*ޖ0S嘪Z'סq+~V\waFeփ+<-wzK5N^{fA,܆A]jZ/7?E ')f- y$h늰GQ\w#4j w'6@@a!bp{<=dx/Bb8gI1ҫ:ҩR+f!c6ޝw,m|}@ \# S#l}e}aQ"U6= A*14BIS̈́2{NTÄ' ^B[C#,df7nt@F[JN`>˦ߔ"V:G84t5\IڔN(]tM^bJlH%cLYyi@.磠f!^b]5z0!8ᓛ9ޅ[ΝPPc6=h}eIEo C=ЄBףcꩩw'eH"ֶ?}W?Y\4葽Ei:'v,*:2c{w߰(zʐzCZ7p^_&β/P M+UF}md %?2:1g :Z_Ok@9 7aZjڇK2I⤅m(7ژ{?Q(T61VAܦ *6|]}z<3O2Nk&jLN7b" #":uL|Z2#r-i=^ѱyqycGcjZpV$vp)L1 pCDz*Y٢,Xcb0WYk2?}m[(L|o / 5X5AzZi8zGJFǩJeק6'Ү$WBIN0{ yu.rfr2-?~OE*\J[HI?(e%`t&r#NGV؀aG*'{%4]dzLý ٔ%qnwIL*o܂NnqȬD4P/ǬUx,gYZ7zXZִF! _]ŗXiɟ29aoʼz[%U>EM!!BLM,ƻKtQ*JۗTFxdnj𶬜ֹƬ)Щy.Ux)[GQ-3aT @/ =wʝVhna\8''  · }ێ[g5L+m T4btߣ+ WۛN@эm\6Z| H "% [RhDZAC;Nx }YSzԽ RgE)3O U:>l;9kpP5)Pd*Y褕o gƊ?^M`@yޑDDYE*\Ry$KI=&!InBEn&샯5Q9,5~%n=6KeH&$?^\; +g? eaHzu j$ݘ^zco$8Iz&9[BU 0 :Q2SJ' k;w7Iwl˚73C _seK?ևp+ڍJ3QvT[1xXb#U=CWxiYispP F>1rP p)z,+67oE|v lgtE~Z3lP? Pf>J7M b 6(5c$'\'@Yd@xW2\T XFa@JoC=P*V)uXz|CR]%px\Lu T"Ʀ puћOyZͶ̨pl.KS)J7^ڗHfuggb|j1g?ͬR=+F҆sC8W 2pgYZ7zXZִF! ^h]ŗXi%;ŵ x$Iګ*^1UЇMe޼D4vd}/K}:VGF\nV-bu&ZKBlBmi #>}n4;Nx] { `XM/[!%lJc&Ue&] O/tyZG}(-Qv,5D:;O CY R1Xj7=U$/l>zr&!Ñ]FHiiŜB4[7"]cn=a$~r>fanj?{x R%5H#F^0͝*J3)n;l3bm1) '5pt {PqYwF;#f qx+6^$s]d:fLX \{QRQz$i1i0SJbh)=Z +~"UN }Zo=.ͧm" 7XbF&%E3'V.Ccyװ,YXP*%eģιkH ep+.%L.У '_v_^E$.S;|x{y<,I<;VGi4Gkkjn=[%2~!g[}i3l˿ja]hTRg[Wӊ?9rc# CߺN+!RQ:bI2k=V⽇-y^^pArG4#lΈҴp8u'D:"-=[܉ՓS mN6N/P˂itvYwo%2ҋ[-Hr& г:B+IcX4*?`";~x]u84S%s/v`> hp}hd¢1i|OUz EI8AHcKd_Wyu.leJ3k:-u%kUFE9qe8F\c C4^H^0} joex TPSkh1@x>h}ޅ{ >;?}nAŃ;q><)+|8[qӫR>y{{#}aR"J#Nw6W ߎLIPDqR/CdTbߝnDں:ODŽHc-d)uYѕ\mG+6Q@P2J:}Q nވMt١xq"DG$UO^6"lѱ[,dmBE 3#m\>>S]g떋tcz4pfqˡΐf?h&/QVDLgK$H a Coy+%ca?YS}>pu]N' jYT3¡[LX ? KR@T.|]B 2F/,NK,քs3o1dH씮1OO܈x)j'"BL]I{͓_,Ų@O$HZH[; %W|LCCI71W"dP3MьfE3+b6{MЮ0'Y^rf:]~BKz0V@veHuE#SfW ꤽXu[6#Cu fYse:LӬ= 2F=-Ffowwˤz;FEd1Wy$WډZ`بyfN_N& n[g߬12aN2^msSd9舢Pc@ga٬{(I+VPZC,swM3<W iY9Y[³L:`Ym}.i[t-[;OI :3Ͳ9ZvYzшEs 'rzhX}{1ƅFkmi6wVnYO89DҳqC%:R#547F=0l^%mwIOb8-l2RCQ؜`!S8%՝z`7_q1-VV>\6޳^ ?A,tܮ޳(:IG.fI-Tf$Ld|L@6E.9 6uBnHf's00Q'I:B CܞWW=p12Z@N ttRa+Q+&<ÑsYZfȶv'茸qM6q!B2$&Ҿ[8'ZyĦF} ӆc]I03ڕgP <:e/̼Pz(f5q?ucsVi%S?+#y!P`ŚYIpJY3ME F.u_y0 nUk&p1_876nq$28q, wbaIczͅz%c$NnpD]`c&\"F(mROC=2nį,Gֳ$2UiK䘩~,m@>7[Tw(q's0%F7#!ƞN8\,t< T$񔂟3A uVjD[t쏤2RaI s5I\2{BiAs;yFD0p|Acj漖bS,wFV&j/ʴe4_6g=Ԭ+i#.&mR'ZTLZ7az2WtFVg=;1> hwtn?Gs Dي~<ϙ}8c[")T7?ᝍ 8_N!'ɪ@:5Oaw;DR !tX Azۃ\I8L1A Ni =>* h,HbztT3{jitCt.2N)(nAEɘ_~="phqnw<<ۣ'&in "XۙLYe"^HFLq?|G7F4CMR!R*G3$p\TC[ajϕ "T?& _Ea.H}jk< =h[0CtCQ<e7T;F (Oev)>4L*) mQyuZ#JURY}q?"Ziay҂eY5z]Y~ $E ~3raJ`[1gNTAOXqyrUJyAJ- XG /E &NpxQA%1U(O3!;/`8oDBYoۂs>LgpB'D]T|ZnhPս"X!;0a/}V/<\+JQ6KN`EC!d$8S9pIݐ_f 6H/YoB u,Am`sԞn{$cV!52:tѳTg݃ci,6ƕH|Y^ӺU+GU!ޕKOK*).Yf6uqyqg.\q,ԋ!3fkw.$LM}6Eڙb;bBdDM~guT4:"yqA&ЊЍۇD_bW " >+w%@ro`K;a o1QۖSS;7~5#\ݏ !ą`h>Qe6 p)F[OĒ: E{uPsW^p QRHϰe|B)no|ߌORI`$e]*|+u@Ziyو*͠4\n)" >޴p|w>*fkQ-x,3INؖ;ܽ@\pJv㻉O?TNUND6`nDN0wϛ,F,Ua:ÒV^S)l&`F*!=}_XK[]!,-iVjXϾ7jKC4'pR}6?K nj#&l5\32دˇqJr3]}W0+ɝ;PȐJJ 4P#v Y#dG" _-7Ժ,SQ}Bsl&=^9KfbG^sCw -h}j8R}zČY&-l1!Œ.˵@gG+Z {QP3:aK6AJwU6FbڹCAOP兖_!w~jCu|9%%zؗGmOŸx$v|Fޮ(4˜Tm{$X';X$'#VD$Z7q>BÎmY35~eSm78G +I#6QON7@][G>|b;u`\{ zR};3b . T]]@A~Ey@(+.c \ )ʹKd9 ML/% Ns0&f.~ߙ6!?cr~ʾv|MY-2jn--ݒh X[2ߦkOt5Jtn: V`ɚVr2Qۿ9)m.$_Jj4bt !fel ڕtuLaa ־ɾi\soZ,ـ5*Wjzfׁ$0?觶eaXB9^{}R]gfwe{V/qg u԰XZMZC#ϧ?3#ݚ۶#eCMH0gcPFhIrJ\BBf"A8ͨK&\Se~2p#H~lAgqIb,Жf{RE9Φjs,F}w] lXzxf3fpn Ş~M 1u# P`~ڜԝ7<cHdEom`y[i/D) DgGI!_w/S&5 gc`FSdy*"բ> | l"O.71,/OfSH 6;t&:Hhyf`R+A.`%PMCdGrID[v=wn &o5nxv{l:i3Ʀʇ*$@@K[nAU6Ѽy T;ؠ Ȳ|wݠǁ`jG-bU&%cHWO*R7LqÞ:%?=3's̋|ZUgyk1 C ;9j{*ϝ8]c;KPIJ QϯR@f8n%BYQdߥ3~'ì.#9 | m Y"=с8`t@܁Ẑ%ւ*\n.]_DɱtZ8m”4;u>U{y4XdjA@ /l!i{mLXj)#z jeQ ~枹`/U|x4Tcy:e)WStNfhh :c?1MJ/{jrC3Hh1a@Z^s|R7W98 f0}=0a84Bք3+Jyaa{[q՟?`L)I =ͫeq  m(R놨 Nsn3tkՐCF)s;e+S^ {3:%,hXȎ;raB;w4Ky}VUP3ukiv]Z̉B͋-_ Gwk:8i(ŇUA]9\>yFvהJz0~Z'y\,[=JDUQ%JJ]; N(~jEoaB RaH%@s;5gJ SUȦn! u{ I7'dHQyߵsl!R b6`"n:jW?Di׊h{=_-dh<& -9Z,^z;ޓWU73eY1"0 2d |b&9C1ί*r&=3TjNTָEG}xCN7gi.ݺG|],w5\ &o(Ł|*^'zl̈tVu0k59[!Y,pמ@8Ms.@t+ /հsǍȉa C[BO<.I+FmQ:e _k$ % +NA 7rj?tyޭjzRxՊ2B+&@V=j7fcIiT;M&FowkUK⠐6er4>aU9X*u\'%-^zzuZ|LBM?jG;6%|W3I] 4^Oxg}s-:Qia' b@mIy @Xyؼc*֛p䃃@B D~_n|G1;|bJoˬa y4*9bgtAog_HJlFt5^b,W1`[>`h:` =+~*Dx6Ě`Y A]ZsM%XLm,I)d̓a`'L6Dtx1f^ \$2I>g|q7F"!˦d_խc]FF*"!UŅѸ=CQUm:\r0t_Xb"bøՃa_=2}(s iY-+E_jqSS2ܤZ`R@_]2L EAB~qCAu.,F5(-Qu`,ޙNqH0Wg9×IP].1{)=w嶴ΙgR:kP۽oY B WrZD NF3ohܴ_7|Eted ?79ƭ~Xy^3zߞ'Hfnj*fa'&`zOKd DP75N5`}؆;/ ~XT[(uoûi6 Fh.KwO?qTkHRv`z-nʁi ZvCIϙ6AVZY~YLR<4u﹔ /b NfeL14)0@=aH.5;fT{+Һ vǟJz,ps qWQۘUN8XgJ|UĮJKtZ `zR:ۧް6 z5[ Ic5{XO=xl+8nY;w:0{L HweCo2ifyą\n.09j[-.ILO:u|JazN-yAoF8Ti YLSֶ]29J (N ;a. }hYx]zebADT%g !jB,*5dS!)anY5^)(5R]:Wҗ#}Z^Lw Is/+ißB/@Ϥ h# ԋz,>ߏOUXdK6|MֆĀYF/~f%Z3ނjJ'(icy̑A 4mKT% 0GQ{= V]Nɯr/a: 6ם@Vej&x f^o7(M /1t`E0 s~(+ζ%Vdl;caN>=i qb<΀e#S/?2.J$NܥGF=ZY0S+ S{/)s2n"@]*VmZYP䕹nBeG?y9#n,)o9`a0סFB6~ڃԅG/bf4{f/讛 nrtd /PsAYtYOfG:^ F.)4F=@v;BAw|t;r8;+y(4{$910TUo3EXh3Җmb4Va41>(e{G++ ׻Di\ME׋jt;h[C–EFה–Ifn $p]^ͿoXM 7eV uQN }d)B~;/WH?T+ճcoy#X>] W$E7ËD–ԽM;׆>qĶ%> E[N4H|2~$>bIT;]W-H~_nq̹,)]ʳR: J+8Nr7gۣ|*LB0<p0CWZ͔iV%6ǔC8#Z Gd_XQ@F4}0gȸZid/Hl)`Q;e`gq-@N>g~99%C^z1Vwb{[yW'FFٯE=qu5 e+ Յ(%-`ĆЁG&B%T󯧦.ȹI(@st) uՒ4#XV#QK۳&'`-}j2LPzf}ȭ1?=UN s~Fݙ>veRP,.ڗoa/r9wS~U`}j0]X%8,(dݣ8oU\YY CY65;U꧄N`Ш_SAu^5*s z]wpL"1dv=@m!DH%\a=Rq 9:8I[jϐPb#0uYPV [[c߂V,&Pr#ȓ=CzGY BU)"Ġ>Gj4WͅA Q)n^TTc숳ȼFpIe=aY߰V:[lupcD@vТ՘fC W21,4_ô{qc%h>!)Q8Yipc"f4"XmF ]għhjB) tyypy5elQ"k@!g/2h"ppu&B1z ٜݪAVz V~1edmXߠn[kna_n:a{b AkhAȳIJtg L̝uX5\<\+焙HccLNeFyAd)j HSAa)oCUpLp"W z(K_eEД_ekp@I-:ۿCVda1E_sg6gpq;I Ob܎gݦ5ne7)\ъPgpgbaS@eQԗy%JyW.OK&$a"9fB%%iO Wܽˎs/F\(k]bF,ED #k&S%/%O @3+Mb0qt99: -{Ria(H}6AbW{jYd6_Gʄ'#Jo3sT=)WF1ԓ\ _Q6=Q]tzP}-ؑLAn25pʥuD*O~L.4٬6vQJs4jqʸn2D21 q9U%A)MmaB0M0a&'+0gTyǣdtSB[ȯoBpmW QT>tZ[Hcj%lݘy!rߺێeJ%ju ; "]rc W66(ٝ{|M) sya䄩=fL!Ai[>W\vMwqKC @'vwCDx'jmcg LVIѯ}f~(t#p?9S=e4{`c&8R3ޖL6Q JY?u;zCh{fHI-+qtg_ '46P@K 剩ts7.#%Q߁\Y= %*/pk!U<~$d%țkce'k r}hpno~8 olfЎ|g}*Fr ciejeqc::Ae:Q\h=|/]N4{+i+vzW[ü"8lϗF]TRzZBLz0~)cQB&§\pЬ(uEM#EdN&Nv~|~d&n+ȿI q.Y.Bd x:0;^2+MԁlCs|Cv3!kɜu@M@?]Hx 硁i0_:}]/Uj/1A~i'- =5i+H+%ak}LI_(g;ur+i9GfqX>1qJ #4n.:"?tHP*O4Tz1;?3 Ko5r:@%|i^%Ư`賄# 8sLH`=UAuВ ٓmd 9Hq&a!#/z<׀{Hs\Tr:- 3ϔ}Jddu&gN?e&l /+$)@ঽռ3ָ t6[:x`Q1+-UZ pgJ>ӨbWLwSN<a7|`8k={eXK@< ߐ3)z!)^s9F9yX@JR;>ɱ8 %С$z] ͂SM :<[R/cͿm38Q>SD+' gu2.1c,BѶ1 ߆cXu.5HzhJRFA3 9;*dp0&< {QvPݡehK=#j2F$6ELt *oʬ瞩p`+&AyAjC&b=Q NAHȟqh햄3%x&0 a(4} IJ+ -mHC_. kJ\2quS_Iƛ88wH ]| u XBVJ(p 0UYGwnȊ鯲\DR@cBP"[΍LJf:?{(`N!Scw異um[z8X'>zN[ދahG4ks~RpByDT.WR'QftL0MorPMLoC~X$^?#2Tn Պ1oU0ɐN֪XotQي~TQF5ݴ'ޫ6.WAMSM ĕu!5 ~=Xث;cI* M!+4/?l:ܗQ0tw&wT F4xg鸿O7 I?r@q%|e޼=:1O\O,ʣAs4-Nf%wY"~ƾ͊_UV]$6?bjd̩.+c?(B%rd΃Iw5PjAՔ8Y9ĞC}p2b _4%Z[bgRf ^u 5"#xעC-A0zs%;UQOu.DQY76ѩvst>$&m[ezKq>Llw؀_1Hɘͻ mwk6򆨺d\UR>9vG޳h~дG]H鮻ޛ ci`DFUI c I~9^u&1|pܙR a>{ZlCAf/Oɱ379SYeΉz"QvVQ[H\W}ƛj,ǚǮyKƅҊ1OX XAxGy׈>ٱfq)ɨ{8+:-} iw8qvT*f[W7fs^tja+>Ⱥd+Y;NaO@=vĢog˻1NhٰJ2~_ Vyd&%R}X;H |eB/Y6=sШR*eG)Ob'4 ݻRrѯfx^N3c?^'+_,g: nqlpF.] Nhߙ/8#۬UW[xdd:! Ӂ@zw4p"7Ducgȇ<4`ªo^3.EGCtޯx[C v5r4ۯ_kz@?JPh6Bfʮޣ֗ne00'gr g>'x!"kl?䡠 gG\ug熌x J[c>*p f6jy]π|y۰vN0[Q%|SoPՑ`YgC,M.SH`FrB)J3}v/*9(YC+B"ɀsV;O}$Ę 8r3Q%T_MM6vwe@ fꋈ^e=m4 [śگՐAxmW4çd׉;QU&J c3x|W2]B*ȵ,IAd}i7gZ($Y3":XC I}/'9)dKz]xJ;vB]D͋)a'*acY3p<:/Mϴyom N걥I,[[ۚjyD7tP8Bߴxx5O`ɛxo s\p4O1a9 W[YYtuwӧ|=:&7jI")o࠴ ;J;NvYWAfZAuZO-#%X#~З\ ڗ*ڿO{ UxZعZff.ϮA:_qA}Oret.uiүi>(本ƨ4T="mV{J; %>{c쾄oL~hwW̻HCJłz^fNO,{jΨ0)]prr4XiL.s᝜yn$6:ʅ[9nAdYoh=ZBSRee~`ɦr>`P L3.^$k5mqgHD=B$Op]qg=,GzEXQ.cZOjJW?OH<{8^9觘 o2|Z`/5}A&s3Ql2g=p%N5vǂ6)Oh2mX lBksEePecQ Qˡ_9؅A;ݑ3ԝ߇h%d}60=A;a#8 VAe8T0^;s'%.^N&rX5Y(2k\ ] fq`؀Gu!A/6}z{̈ ؀P 4;TptC֦yj/^';6"ՋxNn+!JAwa>X+7S9wRmIzb[> GxAKq_Zxȶ-~s8캪+DvYiCUQ!O) "C<^+ѰO!x7{X;LkilFW?>PV;POXh5MSz-74 4y\PXV3:RT8olJ[)ȏ<10m hox^XOPND7ሗ׷ >ȫ\;=P4S#4X:jtGN (^H1D  񽌡Xm "V 3(#a p׈ 8F.9A{9\?:!ao<]ur\ U1f;P|0 9*|]o@MPm (s5X.WHMF*{3q^\n 2Z< (xX8%#9]NF8?ުL͍pʹ|β*͒DDxzN` Qmi(4r*M$])5̨oD6Q-Iȏr-sdLZ۸eGUm]J54wEYL-xt NP 1BGhļn~ Ѻ݄4: |gMGULa0Q zk42'T]TE,F i`@/~FWi\NTXL|"{4!4&1 #4[+<]3_Ot\[ !3uH~VL4#Ifza#u(Km!<ҨnScoGOߏΩs-/1Ί>w5raL7Q<15Q>si13hRHnLiorR),\@sY 2ɋTM,z֢g"njRaqWTs6b:tsyM~F he6D'>ɵZLL>k: W8훈{q`SQ 3 :#Yk<?oWRbdaI6gyL)A[uXP<@/[127}z[N5L'ސOn˚׻o~ic~Y7=COrVBi&GEÖF:~O?Vx%^(clbt5rNyk}DLtGȌ?7PN݅1gH@fǔϓ%uL5FuYWtd5'>`Ë_}zfu*]e 9^MvSrpe?炛nЂ_q,߬ VDW&5\/zh\,[aOFcigqDb[m3,6^2eon1륾rqR|6f7yA~RCBZuȴ+&c(kҁ ^~H|<7C[Y4b-H)}X[lyj ^(F )3Y%T#…?!DXp.`{Ud:6}s6%D_OJR jTt6b x)+ ɝ5V:CHjm^{5> 3j5*>—4_8:BzZԠMtTkK3kGY 0_v 锤糹0f5_PIƲ+jݙk>uq0.`5MsO~dl۱=K|'A?=Ωog(]%0yT` lҦDHJRjܨ .II|䗽)߮yЅ&kTO[uJ[%OVc3<,`8(-)'9 B/}ק1sY/c ݆[c aqU1$}F02MǏA=վ(PHS^ +o݄S_(45;m6ySϚkW,/jH46"cu2^c(jjwpCh `ӑ)0Dm#s~UcUS̟(^I.\ lhvV̄n*|:V7Y Wf6bMWfK9[/0H?0Xb\W>Ihf)~ @9 *K3bVTxvt O-JX sx_cnb*3%v8iڕ`fXɉGRy!G-gVjEr%Ksi{b$U(nv2CfI@ )Q1nkT}%%f 9]ρ1KO++#݌=;񩭥]_hznFL(!u;R p-"/b, CmA?huh()A2u]IUFfp6|Lܪ7u(cv͕ί鸾J>.)ž{d}qd竎?E EmCB\LȶIjW uҁLTV^&8>QGm+AB/ % Q[:p *J.S? 7fM3ڈ &S8fƫhlt'LS/~{CJ:O:MW:5; -8iDo=&EEU0-.k66wjfHplA0y:}0aPF޻>mܛx<96gPj{8eaHMv*ALݔ;9b#-`__A{sps3JĔ¤8V; nAE9ޜhc@pc @։ڢVz dBAGΗMzNy yJ)|U)-5hQ 7ggFLh@8mcEݽ[[+bmt< yz|qjQ_NGŴV J1эP6#Y}b͐U2łЈ9!*X93}]kBɇ[ HE+pb2^J)cM*wOcE“~Ph)7Q?2 gg3v04 j:R~K|<╨7gCM HyFOWqewn}Rj=>cꖟ X`P V,ZƽY'G(xvԑ-[BD-,/ɯ4BG*xMvcg 㝶MV{#DQT^J+@hŒ9T<1˄Q7Qy U0j =)f䓼S C|gҪPî ՊXp%?<$)iVOi/Y ?xΒ9Pv ΞV+ H'D*pj 1^ޓ=# hWOkm#IcbK`K0I:>n~%Z%LZBRSƽ (>TtjrI6qT˧Ոǁ".yeձ[%#aw|ҞtCrz`ݜAѠ7/͠.'*O]钲B3̬YYj9#&ٶeҮp38gn-KwJjTBQd)(ϔeY[_A*#gp2NS_~/8ʇֿ&tYEU <: YqػM,SB0sPtK.BB7=!nL̒*KpC%ۃT S?~Pe(MqCS:P_"C7uH61+ Zcղd-'4W7 h;8.q,AWy<I|dc )[N a r.WQ-I- W k˺l_\ i?̆o@VZ Ɲk_+Bg3$It2iG*Kީa Vׅ)+S<2/0t">;}nVV]D[A.t0pd#v$k`J[amoSDYo!m}/؆R<{,a[X3cu1q EAhiρUcXR pC5l̏U1 OU4hq*a97/@"6 |߅Zsmm|xa|1P5 Jڿ)D^bqy^xmO0þşKc)[N?Bksk\N[3֟B0>{(߬yI|_hg> *(ƛ#t~$چDv fo 5|>53WbiaiU낕μ[^@=,Q3 Mw9JZ)eYtG#c!enru^Rlx[FyD3eлRnbaŘQǩgAg>Z=R7캁q? T[ 1''UnʓǔCmݍI{Lt79)p)燹2,ޟLV@6/"5$Jtat|`uY5DUBq],C(=z}FtgM 3N>wAh%(ehrR״i\ O'pCT%|]_NJ̯:>uR|}S7DkJD$Iͩs@EO<.t8"f2i]jgCqBj~.liTj`a) e&/lV>1'LF|;spk N*=Y/a pKD=nZ*i]K#y&26{"]:,v>%ΥgYZadeb735325af1d4aac31a135bc8e293a404147176c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855eded4ca62cb7c5ce160e0185a535e24952575d7f