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  @!d\4 ]]]HOL-Proofs:threads=6elapsed=562.205cpu=1416.228gc=225.056factor=2.527zXZִF! j]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZWӗ0Bdh{򿒜c]s5n)c s&y?帝rpP|g\J=tw=:+Yղ{;Vw+A{e/^L`\18 BzCypI[aU߁nr/!"QY2yjb13FO_;ZuH-|*_HbpΓY~b#òܯ艔l2d0Op EKG[R߾ Q3@jA}^@n##Mkj{˟jGDUO ܖFu;HŚ~!a+I"O=%W".Tlt9UeQ$>TP* /^k nD-AP>MӪ.}0_ i'F|ǐs>t8["IB* b! *mʝhQ aQݧMK]w6rP!ӒlKEP$B &X' E_>0>smt!̅T>ށɵgr<-Ʒ)\]Q^]/v]\5VډHK-j$DmD@$*&S鉐4LK[Sya}bݥ{emrpB:eZ TD?~A5ȴ sr'r,4IGVɪ<˚7i!Xy^"J";6ϰZA|Ɍ&ᣙ; g6  ! HOL-Proofs  f{F%ß9K;m ,:]B;UG?|2Q)x>o˥W̬ŀ Ͻػo)Gáxtv{O.Z#)1!:w4AS[ %oRd(̏I_Q1o:W1kCur}z0KPP_Pjs?^fLa"&pNVv>}*e H oyt`=_D\7#x; ,)qok= bP- CǽAZLqX[VLfQ701a*.Zʝu6Í$# ]Ĭ*CBmnU7Kw1$Svi}ϋyߗƏ5د M.^5!ۑ 7(q+Ƣ FB(?Rjc-ث_UMhu|0SDOkHJTR:ƘzkF2WpH` pλ'RzOevr,[kybntG(v=o&y"(9SP>=oXttɋ-5B$/Abҙ΃d #Aa j} Z ?:ԫݣ,iK$ ^ *& ޷lByGa"L@bZtMf,X$ YwՍ~v:xI(j34q>Q/cOy "ҝQ#[+}v-(tiF"։BcꡝbPm`IHDHX xpWL+eS☟3GgN+Pլґg^O7` Sc[MKpR(rS*ՐSwQIDh7.W sPN^rr,sLűV 9/.u3,W(EiO VeXdv6:;ې!дzJRM~SCe"wq,Ն~:oLz[EVȆ5~ZL )EqXe9"w]2i9>iМ{ .!HRǞ >WY*. =st3pǁnbQ9( -#8Wr/Ms3(`Il!ՄMk}/@G^L^= $]>2ڏ /IC6).wXo![Y"|>b|yF3=ܯJ-m XɰBآ>|dJ`g$ͪo*F:8Waᳵ,B࠙3?nj&ľM$uCoqo/vFe%F+ t@ Nc*0= Dn/Z Ө ›Gτ/:s6|6IFaãۇ@7h 7p}o>mMfeߎaG`&% 6_#вbTm +)V7k:CDCӸЁW"B:3\͛56E8g!~bWR03%iZ.tXa)K8r,.E#Y2dܔ4}5[vb 9s8os(ʷ`#B|^E95\|[WdS"C0ģhAs ¾PPWl͸@XxuPXt#`옉͖ fF^4r | ΢D&t_8̒aY[ۉ[=q9N'ehg/g:P]%pRBϭsjAˋ GSRLOaO`됙xL>KBSDFыK\I5=5nlXy0)OzQg?7>R{|SDSkJ bͮo_R:ϫPv6D3"/)e tS}hΞ>^BV׷sC֕,XO&.IG[pebBx~vdCK&:ۼyꋘڃ.CW9yjԧpATEܘ"%>xR쇫1;{eZŌe^_znm]ܑrpr~)# O_{ g0N@Q GL5Ox _&TnsgwN=KLE\soK޹lڣNq*ZɬuE2yqP- Q#L&VkeFVuCzjΉZ(nGGrm!C0J| 6vuep=ԯp7;rRP9HT'ٲy &y$* 03ۛL_J\ge*8ƾG I$N_S= ;ʄ^`I}-;+w3 [l!D &` DrN?r|s6tԚvNqƹ/ڝں&xB'֩AxԶB\'JPQEZRqH >(@Np`W9Y a%A hǵD>s" k$f(Yb g* lb;&oW Kb+g'lx#Ƕ6PICVz{3Bpo;q@Jp%"XbPΓD}91oj_wHK_gNVc gFʚ="mi~|ge 6|7.D=D$hos*F)x?"Pᯈ_iE/>dٽ x,+Y![E^uyjN@UGwiyh =c~S65 EbYnIҺՌgJ( nj?C{yJoM5m=5s5@auSSH.9j\9lZx'LFA62Жt>~DUd4鬈*K0V99ȰKvl'uSj4U )[b/b 5nDp%YV@>n.9[nM`4j x9m I@w Adq k/=,kٱ`@q\'fW77 el;rtizyԓKbx}r پSNzi3cYSdczC}ʤ}k#>IxLGh IM!4'۹5Z%&x}pc GFh'l2؄g\%wZxE@뵾I{Men#9sNr[u6olЭL^1qMh=VX.bWNdom*h괘NkDx}uk}?˧r?$c!7BEgXNc" 5Q٬ƀq3T9fVdfzw"tm\?|?0\nO$$x%pzICjyH_8Ď.eȘF͐™ <]I3KYq{ `̔5"fKj 4LSsV[z|[GA G^Y ',^zVoV\kR)T4>:fJGB~[isЂSAeI5{?ٌ73QDJdR9`r8`Ӫufl7IaHAȁpֱ3MF?3$V3B=kY9;`ॷa R(4w/ײ{!*_XcjTffQ*S%Q{H:>%,fp ot}Ol}?Q_uSBRLǯE\c w4m0!~CG!_)4~.n~SUb:ڬp`bCz }* | >ǩr,/ jYJnaWSk)bgM+I x }FY/1GZAG%{@t0F$5<jrԀIa9T TT c[L2402Ey[M/<&` G|xRcGI)Sf#nUY'FØOtPW#1 3?Ig? iƶT`uCnZtN=:Q6/΂ ژ5mtӥgLX)Mi) `MnmX]C[U9Ў/+_YqzF R[Bp 4"/gYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!B0%K4Mj1 )BaUs"'-ݑF"ܜp32p6Vmw3v9^ ō>S7-`q fJuJ0/Z0h̦8?J{t]%ȸ&u.@uBq9'OxĎ TA55YMEԲqoԀʺA d Jr42H=Lṏ+KER6ziݐ}#NbPRs}}&fACsl"~T[KT{;hr5sfKUj 7RiDeYd&~2nk4,Y)* P Moj ghKb7Z }N$銌@xTDMW*|_ Ո,15zh;^`)CFz'3$[.uTD=:axtG`|j6MEr2ݤVܹCU59Գ|> $OfM/\ @#&RI? #wZ/0-tb[栮ZM'LN VIŜQT pd<I/Mf|o:) 8:;<8I{+ab=9A{gAA~lY=x2z?^͌XӫhLyPғn=G!?O*h[Y *z2IK0?hԏM'){R{HPLV50]&mFoȿ%[zb80-ɢub&A&uemuqlTkd9p?w: (S5Xj2ceupCne|l&xz9gM`BIe䮖aXS\|NK&3bAK!lV" 0}t4)#Jc탸 Tw6St&\wFkƘN%!?b@z3fv+f߰k-J87p#ɯcHz=gkYe 3܍|ЮO|^_TdMǟNi V%A4-x8iYke>O)׈*qYB6Ԋʿ̄V"v~9xl{&{(릘tԅ:I.xd`i&|BQVt1@hګ/'P / 5pgܱͦYl-1R>P>\&*ե0A167_;D&TOB_ ua=@ (_EJїޭ Q HS~"}_'7"~~3Q\Rpt%cvb-'|u:lh_4 gDe4&8籖o.HtC AD6ӛ"\MR9?sᐍ59.2۝rsm_1nh'$i;].$:E׬ea` `#+SQ;'-zpw`(9s#r7yg."uދ?wR.33ivl 6| W]>'G3 ] T1 úy^a` n?d%Mnel%d"p7F AD^5 a=kXJ* Zk \X1#7i}"Eh>lxR ?|~%.h[ ߼A6m&?cX?arftx3Z]C($ʩ#1;Ry{HPiCM2hxop0LwfTXosL_@6/S*r|çd[Dy$i磀"\`lJ]PAn< ( z],) 손RJOVVGP0'ј-"AP@(A5 ?G@̡@C fxoWg]y 0[)߯䔜1-x$Ȟ3ƖK!8 ^~ɚo{4tuꬃz)|ȮfJ{ø[K@mTX{/o`#98YR|j07]VW(zk^SYZPW~>UhDFl ._ct&kvF]XqǟH;o`P5)i^2s d6AEVvjl̴^\f+[60ЏFu{, 7IL٘hΫ\,3BFV (,4޾5hI -.n8j/gp㝌$oIB J+#Ӡ֮q?ETK Ďt:3r-^aN# rqL$Ih$$ W8a.LꝫXN1ZmN o՚_Sm0HM+>MaKˤ`z;FMc&"؇NEUMVjĉ 䩨_#onB$-s 󩄱JòX%_Ք  '|Y_*ejqhaP8W([ڥ" ߂56+[tv\$OGH˛C8W7{cs„y3gke# a<+!XMCF5 R$)LXq Z]b Nl18tz}4̀hO1^UGthbj߅/pѕ=sudEӬ$ P܅:; 7q&(З96ggeph' xrC,6MYF̍pl'N#jiv8+7(|li9^c9fJۼ/WDB 3=[YT! 76,3e|;A%%E {lZyZhۑ 8PaTuj"rivM>Ox|5 'g+4* !P>P[z?pfJ'D0 k9\{=ȡޛcp`&WT:R rĭT&hn2UU-]_e^B9b~KVl*Cu^lb]6(HT698z'}iF^P23g4lЁZGe\ ÃBCp(FWW?A!M9Z}W=D~\]J.n9CopG1t<끁6c_ndOkziW * 338^qϏՏhB[(4%YY!r?:VrcQP'r#L%'z<)vf\6G/V@#1#,&".;6khwvl]Vw6{qK557{:AH#XI.v5j' _=JSlˢ c+v%SxxMw{ht7޹na3l'cҔ_ 2Gkʙ]['D^@i+D cyhwځW#OSH@iWcrF9_{|3_bc,>ÄSx*,r?=Ց=]*,!Z$ϔ`SlshfJmL-D[Eo ]zTKxq֐D3u:{ a/#Vk 뵳dH(u{&FO?v[gR*2۠"w*pA6[.y-uK3[,ZDO&а3xƅ9+B4r/Ǡ q39Q42wqc^RE){Wq %9z6Eb]rM\$pENeb{Ib%Д? ^\.gص{?)3jrfUhQ}MT{i'-WR[Z+dU4UW9w KuꩤƂhp`糗IlI(!*o:& IGaPKڌZq"e\PW@1ngy771BR(b.K̠qĵp~R|Y)Pi\r ~H.a+4gpwf:0j 9( ,OumW0e ]Jnf`=(R{%B#U͑8j)+R[ X c]Vń ѝRQK)ɟݢ%kc = ܺ:kۈ].psxo>z{ic]72k&e' bṋu2pu!*lBPpv;szV7H&AC [KIWѫTNSjA/OQV~ОKJSȤkO N[USw߶ԖNnPG2P,aTܭTV(.'l<. L3ۇpj~ʡ HJ"""'8P"˧F&/ӭ@4tDu?Pr=ߐAJi8L^z5ju'@gq<4I9*yR nKB6CT ј_ռ\O`n:`O9&bMIk*3P ;T)Ӷz4w wQُY @`Q~T9sd"V ]Ȥf7+t9-Ib.45p=.DJ~1t@('q2Q:gd/x[Q g gx8ɻw{_MA`qH']HR@ƞ]*6ݛ\yӺ[(,&,R<'1rffmn'r+ {Qi}iY|}’I>w6 E7v$;SVD3o`?{&^ RT9ɻ-q$V܁ːś ݱ*ݧWZ]5 1*?V"p!0g ϼLV5I|ԑc=˲%m\̹Ox}iK':w¬R %_ |1*I W>g,-˹j~OK#\f\Shp-#lC)qgy);FYY-yrwCyۿr( Y(VU潙xHq0oR9Usϩ)d1txob%хT;ԛdsl0Vz֠}J1әr˙`ҍ vXwK`l(-Pe6_G<oW^|4a5 ϶-DXh3-q&^`)n,~HbJo0]™Se"Ϸu+߀:jTQ0y$ߨ݇x,#J[QHLtOQ fN>.ίV01uhlk6uV'ZXD&#щ of0G/ Aŝj\|ウӴ9Ac3a,zqBU{: onjK ;+Yxԋc];ii-U4 ꠏѴn8C~Kd NRӚ_MŒ}%>9xӷ6q)w\C9nULY( ܄˃ ^!\JuLLʘ5#.+!(s2ۙv&6}$$ڲb m4L#Yiq#B`Ӽ?/9kTFH%]}UUUt #a[IgrN~`M|< N`KbL{$ _GSbn#xn3ψ 0DhGmΛ+~ra fF=Nlkm8-WɻoN3ib^EfSO)D_eM1&|u"kyxL9' 0j&=?a⼵_RƆW{X?җ,RcK^\фmy\ol#BdfRN(\!i+ @{H3xMK c5&[H%RDU2q" C \ Z1PJtj2T LX&KetY4`e3RYz)KR)7e=#PzX'2G :Uϴ]=!%Rt$+9o/ =vX%^x %+%SH9;^X2IG9k:`Nf 0֫F2]5MCf,o'6+VoMSwEI3$1C:KGQ9Ԇ2. tLhݏ8O?K bMT{Αkͩ&vcJFFWʌi *Ijkcc*-Is,߅\f#w* Gﹷύ)qr"}K2,i-"x68ΤQM>UoUGD#,xg-1*@y?O]0%O ZP=]K: d88䜪dqEEQ+.&XoT 1ʩ~m! ڽT˜ȰOr7"Mx I/XU3glŝƦFepMtyFnqaj;o?tK* 1kY:N)&W"LoD~ }wOHqc8!`̼Qe&/g㙜"n vfyi]ގ}: Z?:d(f VMU"4){䩟3KNxWP%)*cGv--xK;S@Nx)jkar: t!bhS|DV}i0sEϠ'DޞN[ QFW'W؜/e pꯟZf!`O:)pz;W ^[oؔqwQ  lA3ָw,YfT@BA /f UŪ,h!9b#*Iq`O jh6k(j+H7DoEŸ'h$HX 3uvb-p0ZF̋d+r6V)RTP{kG8BP/GR݃Ef᲌~ӵT9Q>xQo딓=g,vJgG`+הxeMe`\TAl.0>HN{iwP2qQ@% P8S5/{Lwi:ȟn0$;NP : 3.m*=vQd^G (󜭊(B%]6/ 7N߷v޷v nj8.&;BoU/Ơc=~=?H^Q#u0ZꇘKV׊Qm"fADteacQv@ wo,"x9SNh㷨4;FRdD<ނy+yd~|S+֨C . Z %jv=+,KĮIQx2$sm@A]0p֞Vڬ#]Ò8ᯃNb+H2C/z9IL?10QAg07VKQEXu/'%[6xJ -R*V.<M-w럤wrς zP+݂<${%LN4zZ-T; rjU:jU>cr* h:2J?c;,慫hl AEt〇5/YA h'=F9XC4t4+-Amc᜘(*8 #Bw0Wymuku#%x:XL<(_ve+IG.~:}~MdbNW92rsL;q=^) f}/zn񻘼c&K88Kl4^;IWo6 b-mtW'ط4!zz2sݛ@JUBBgd.P ?ѿaEGȢɷܜ}X0)RHEZO .<޳rYZ7 GP.x}^ s\*an\(>hǨ@Q2}Lă,E>hk'){hWoOݽV*GC؋sעt22Rhȳ;lk4Ã?7}k pخuP >WT vZ^nhx7꓇P:w͟u`m룤 1s ca$%DʅΚO}8KI{ ^rLSXACV橡`1+ +Kga s)/c̉>,^oрt;$͛ IDQ(AOcN׼fBɾ;4{M<*3Zc=G\uYBׄ~qXtߵl[u&ڋGBxٜ cI׈(U_O+|BVBl#Nln ̘g9xC44?phyU"< 4_fHP]=dQ4cXvp|G 'xyI0H]:x9ށʿacs8w-e5䊺牪dd,]͕+=wd7*luV')^Сw: o+LיUd^!q%LOjwc-a~#OA~Yɏ1B2E/'\L޴ήHm G4mUjrAg:G9vXU)Fys ΍[aI (\y;aZN~O乗dƜ8=]9S k<$ Ccnm>m ~62s0@yPmɓM|ٴS꧌5wqWp4BRB g}ά8'8טVagj mՙݚ/Q΢!T۩̺f=|~Z*EnX:(,jեTuq[N3kkaM KBFhj>|H:'34Š֊6wԞݐ%ewONUPE y;|{v$7-2ZXLEk7ePwbr}8%fNr͂ǪpdCw<;M 2kl,dSy؃cOC}qOuŹsvv`cݏbtR봱v&>uj<4&jJz;֜4}7qao+a{=DU/>bއs$p>G:7TdUs5\sG怜Aa G$v@^)]XHe7~,{J6uq;"XJGR9>]p `Ԗq< V@^bz½ru艒4eQn_mk)}AGQN,g6 [{۪D1OV,fe/_|dLcywZCʿbKQXmq" [LkT֜1ZcAhVBslTO˸bb:c[oغ i9;_ y}M3.[h-378[kRġ\OD{5fą;^B+*'4hh#@R?u[5~$;}:NwD=q#dzg9eւդPyT(\hToRdOPQ;KX&QZxh&ߜ~N/W0C<@>8`C.z(~"D-ℿs$ F4+:Sb\ LR'cY,kcL*p3 ҊƿnD"B EnWC[I+fm/4]>@(xjxTn&" - 2=1V(hibLcrgc70w΢!Kn^uQ/ wŽaPXϤec % i']_l?ce} ԶH3D t13\LW1ֹ/ٿ&˩ͰGc 76Ke@f*jkw\ "G="EG~ 3Q[5^ʏ@}-Lnfjwr̭C3:"2eȺIGb;VeӹAf 0&IX %Rs10NNf:J53 /?N=GըAcr| |ZҪ箜T^[*5>4I)V^|sҗO(`uy Ud <<Z5JbpxQ;"{c}BRz]?-om&4#̓HAN@XmLsJ8z^[PB?I}!{% mq 0 I{[ff׍>Vx[>ﳁm]0pFՠsqGt$kCy2ӝݝ9S>U+_zRb !9zn+^YҨ9f?{["oа1/"FJ7{&A% Հ;(F8-g)\x꣇d:oY$[4@1eC럩ˣ՝a|>q_1g 5&&8AT+{Bo5WY'>6;8gre3j(9IY^}q]~R¨WQڸI3$GCoʔ ʔZcxt_qCЬ/[Yu8?37n[l$=;5g,"nSQoȢ{є5 M[_*^pͱ u@XVgprJ' mH]c議^^6I.B>vU <'%'jwgJmG#խMJ|ͫ#`|w>;":~`wvǑ4ӲRg-jx7<\!$.EX5#I.(L&I1L &x7ж2BBG=,0L[N.!0y*SI3k횥ӞذO%ሢ0څz 7tZ܁yLb~d05f+=L|r%¿#!#W˨|=quϷ7vF̎޿FETAпEH"٤֪LlW^Z Nvq?{fVz8srM`Z<1=vR۫.H^j\7;w WxH5F3W҅[JnÉ${fud_hr E$9l!lH x&{UcngKl`*5PKyD~RO-aKZ@;{Ĭ׋7;÷aPngxPTwiNk1dG"saQ$`ڐzF6r2UB~T;χMRYn^uU%Ȗ@#<./q"rԦPֳkwKR%0%?YPYCY\,B۫{C.XSN /m P@:OQ"%oC^>5:z /!\Jㅀc䶤7XдQ+Q~u8I&Jy?Op8XakDEeK4VݫaFzčqB> rN&] ɦ>@`!d"mX9?u=]-cƾjz8 nU$6?嘇=%/mdG+U7YKP#- Ң଼N[b JoqJ$w&Q @E= oѬ϶hkj6Wt=V gwdpHI2L5HNyU-lv} +pݍ6k[U{x^n.=*>[|q JavibodDbxKel4#/Yl8|hP6fA@)m\?fߣA {{7+J(te;,?q 2,F&x8>j;/7ȫLkD^.tDop[ܩi~_KE?G/@;Ϥ Sm;` *Z+_E |T[NSFJQg8-SC"#D|;`+Yϖez a f>}M T8OI oξ!yWE7ȇ2*=j5v6eZ(}$`CUC4`h+ư ]pKAۥ 4F@pEi C wUČL\6̨҃+ eeƊ*:8] (4- OJAno֣RsnBa3^>ݩnt6fkEKwL_1J͹d#(g~@fEi?K4~p@o21Ÿ`1zGOM_E/ sMqaX!1[!FESz(pz}Bh': DK?[QE6? 88?I.̚´rIp{mIc^4驈LWDYB>V] ;d(rxyz+ h&t#\a5Xյq>"`*w P415{S!c_n%߱3/P9Bp gVkA@KFVS1ő9V-c#']d艠B.] _"NM_[NAi{S*!dn)o'bR3 N?'2pCxvCcr<|Ƒ `]GwgiY{ ahJKnz9{g,CDUڿ(DNm.[~#*Codo̱K1,K鋅,RH1Pp*4܎V&=;#/{cع)ˠñp2fr:a_OmzV(c> kճcZsNU,I-s4>ꟲs'88먝ְ8 ^H~a lPtV:֗}g&Qpc 01Cbϋ4πǑ\bUVcqAXA被$ @-*䍅[]Jh3a+JWVa͋M%gLe>UZiJXP +Iً4 ڰ=:;Rǖ.X&~ EDߗS&6f Y6ꢬ7xIŢ6yGIOW#uf{qyXoc,|Y y]ȗsc+1{UPUQQgG( 8߫X/$Xshk٦KAJ>SߨF^pZ7[oGj\o8`IK=|u2u5`[EXaou F,z4^;3&D5s=蘊ZO|ͭDlBnybsqOs**p ) 0E{;@]b'S^`T"x!rtaHɉِC!1%hC3TcLMyP@(o]aӷ|P?&QThGlw˨K&Ov(eGey!\|iHp}dua4tS6?%lXO*"4,<:S9X5feS^Þy2rXe‚Wlog (3)/ưa{ aj6U=d㰓p|:fڍ4*,>Fef~Op-4]nccb1G"Md%8}" ;w"4ƓPGG)kh.rL4|WjK @ճHEӦ 8tΪw~aE㤫Fƺp"[F5d3|, z.V0KfLpyf=\U}k9WpqanqiNꇫN-te{}`3tB'vO (\1F*,Q /#:RbEajy#zAU 40]@olrQ1ǽ,HW*H O̭1u:lN(mlqaaMhhҸ2v{Œ]DKפ d5p4՞6󷐧x =+Hh~>Blon1>㚋3yqp1Kf@1قR< 1 01ыr5@\ǘ4>>O<8}IP ϊdDBp"^tVj¢mj)e}H4q_s""[ -<>PLhH|=qr) Y#["UEwmڈGA_uzU;@bpfX\!h n7qڽWOd55kߧga@|XeA\4\! ` wѵWt+-?j˟ɍs4XOMmFw2չJrkC̬FsBb$1Ur6+c kOnwMG{$Ŏ?}PFV =_Fe+ORE nd ::IhMTS(;J#]A!|ٝaHXxOIEשQ.]x?š rץ>QiяiC T&q=g%/?x4}ΦA}´[I];}5N)2B HQw6dY’6a[)nj nA@!w6߁m|ϗ>GǗ,_SCCIS%g+bS |I;eш AgF)ᒶ0SB"M{Ӝ(vϺ&{2PS#ʛ_wX0"PvUY:嶘 =<O5xDŽj/J{~CG,t:W|Ñ(:)D?Sv&ʊ2N<"ĥNF9xu~~užnۚ\W :~G~Nbn>&q*)rR䰠*1Ls^:h4H3\2="-W;֍!I hedI7He^yƁ|F)*0ÒPKzX&iM Pu"'@oaT?PpjFܳS&gfjc+dRo鴚}`65c9E!=\BZ3Hf =NVNď!1ˮX|Fa[nDNHʈM+N=Fj_B:6 .۪Q16V"n3x'C !O&} B BAg_RU*FZufAmB>UM*!)~\A%;OA[Ȣ// =.\}A64/ swߐcaWcj Fu; ^ݤsFRfx!3(o2 'cPf=U/8.-m!1uW]zhRXS`8#t )NYpM b#|U%=+3ߺt:Y@V(`.e[ ;IPA.Z>t0Ub;|xqw?am}3mߏA b_`YDIJΗ!]St g\6Ӽptl 52 l.v68"Pna{h N9ZDrb,8Ĺj˼ᬙ7f&Le_w}Y/yHPn^>|'Ն`9=tμ=s+BDѪW8{J7tg+g=-g2o* byd Ly9f&b&5, _sbE=<#ݯU"* i+e˫7;]w=cwE2bKȍWZћHJ> ,a%*i}߀TB*322W5w)"Ք/O .A[b Mw#9FG+avKpp!!yjIPplۧ*k?і=o6 ='(yIZꛦ(>U/G #/p~C鰙Ψ&)bf W d;qq&iVGT!d0nvPCF.Be*IZl6`J?|d M{N~v X} c~@.:OSVfZh=Hl*U4h˜8(]ۼ]Vy{K^rWLBCBLp66eS3Kkn T0v֊ef4A޹ SN nO ;z^fh|mRZCs"Piҡ&rrRZY(Ig{9A`D)љW*sPnr jE:o`! ey+%^O W:2AT,+Vw$eXgO@“< ƀս·*&ggJG1 _gIyI Ydha.sawz `|a]/iR7 ԕs⠕^XfA+Ymx >\᛽6mg'W{d?yFhbgI{J,eaD.yIjb{D-9dP%&L _H\hlU8N:q35*Uev"B'Dz{fBԺ~R~ Y*@KURI]˘]Ƅ~! Rdğpdo{wwR S j n%2Gv` i.\h_NA)"mg>}Ѐ_/@~/T%9Sp5[+694x^r6ez+{PVoHA@w}7"E*35I)yCVS&1C<8i&hJkJ91t@ADV3_\H "_VN ZނEDۿ|2+wI2}K9VV\fk'c]Y"/Mj]?R+v3f/{lZ9s:h a)!ΙutrZ)HqW6]=gʣy-.X=ymdۅHjvU*ecʍ^/'] L U t9."ekj,x]~I7u u7YK1 ĩO+LRƂ݄'F[]-kyf.e8A7WN~߭ G $pg-S~M DL`XEuM]XH v=m{);6jYk2Bj>CpIn19 ګ}IҐp1\,Q2_yBq|n{:.E=4fx ͒vvnD m)!r,b: [~<-sWoyMHq+9=Ey"X};ZK*04~8b+ڇ"j ! p` 2riĦ򋎁fȃlHܵ_{*s lc|;_L=6Zf٪8U{Nq4x>/'Z >b)X~I呂yz{"Ro+ tLSei/R47Shm̍g*/#۴ݺ$w۲.pHE|,|| 8hט o"JɈH'N7 5av= >{1;3Gπ(X\}#0nl_]7@kPQqt/PфO-xiw.K+%}{"ܺ 9icbK Q<Ô<*:)xmWW[Ѡ\F 0 \s<ېSmOa?NHl˗|U3~%Qߛ :eͪs!xs<1.ܸiƩ;.8yţ雟+ߟ=4}CM~ō<^* Af83}g20UYⓞZwcH[]p<,K/?AN/Y<fwC8UYcVjRT>ɬwy}xwst  P`p$!A8BЂaB0 zRpT|}B290tGc<ۙN`Wu4'45vf p{8V2}@~JAy+vk`2v\ɏG頴 J>;39u)lˈzr,负\(1-GR߃{`fRgrJ w)?Wo@:v#Qf ԧAP&{c{pd2=e1>U&CQ^p]q;=@. nfug?#U"9g٠(ڌͪrq8A߯R\ȔZӑG$ΛEI`{h:uA$9RR$MǒzRڲ"YaAƫ%kȴ|VXt 緮S+b /[; }EZThĭ1iHKޫ~G]v3 I36,F!4,{M AuT#i# SI ԹȋǴ0ZeEvYo,Hr{R#db%Q_}Hwݶy}Eǻc?jVAFM`֣-4OSVYy>=K-g~ߏ<>*hpgqAtG9SfY{tg 0I]m˗g#0Ξe 0/\vx?-. B " <|p{s ] OӾpSق"4?JMj~Z ˡ/e>ض\Q_~%|9q(=sbLl @}Ť1ZMޅMnN祪x9ԗU:оS8fKaÃz Vg7M'#%{=a("O ј^<1P2yvMsն3}9@jtSt_QUeK"!Y9P jplFs63bɒOVc(fH%K[usR[vL!!xV\~P`fv rbJrF^d'BR%0'x,cd-pCG yppW#F\X}K+uFy]i%? 7Xk~]lܐ',<%_d=ķ9K'ϷVo{' urOޗg `3$'&'Gh!GRgnWO``*F7ҨPD8S z05͉@%l_bD5 A5LИaу,1TCSJR»=TXF<.S v%M?i;T [w9ZHyVgLTD~Г35CXw[rN6*^ o->Tp"W;1Aa&* *]6h1;w. ObʒN@d++|h+}ӥ_S*ˬL[mtML+ڥ@>MشH#Jzϟ\Yfؓ<~{ᴷxza5c!:2"}VVdd4 ޻¶e;ඪgJj>:eĜucJlCc9SgXH ^zA6mcSEЋ~Ne@J8ֶ̎tǍEiI|Mh?tq bi)kA6Y5"Ar< BƮϸcIp`mט]W3)df:I3OM+ldm'3'^GiBK/r/~} d\O6Uƙ?Q~u-Yqf9j$rXLmxXQ0<2xJE=l{VZ8ޡ";~/5V_Gk4D[vjely=-׾%D1ӱOC Ab=3sd6):0/*W]܌кC-=p]KeCsx8g̓7jo_VXط>&rߛȀ>îK-֎>3Nnl~@+點Aʙgad(je!Rǂ^ \[sz3?1DJ ;OQRk#t~؎v qT'}VkP75u4m"|n&O_7wF&W z2HkMsܮM(u`#>!4O1LGC$b`7؜Cs&hkpAZ[tkcz=Oh$ʑ k/b|?&u'X:Π5QQSh0ٿ@PՏ )$ L&`