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$d ]/]HOL-Analysis:threads=6elapsed=317.637cpu=1545.072gc=65.184factor=4.867zXZִF! L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm %Ѧ.Fǡ߰}ݫgKz ^oj?"6,RJ]1ubH KV/,]2 kHV`aU͘F͈a68 $H+:1OO7h?7 3L: :Q߇o5+ ٢qzO\u%={:[V wTz*%ywVI,Gw {jʰNmR!Gz!l(Ird~[ eJ5h˙hZ0X~-6c`Pʜz afBI;0Mvqn~T6KpQ9Mݟ(K Cqq d*xk=Ŗ)EBU(($Y#r ͧsɼZ.y m~>*CɔN 7 #M]Жns FNS#OØ oڗ L851A|)Ugk+6-ne%;txiaxÂ9s~a9Xb-,]X:@]fJ.gYK2围;LSؾgzD`y jgXiYǫ rzAҜڋ& }@eY/skf,VU8ڤ- |IS.t0҂玺(HVH=3:o;)VYM'H(~7 9 HTSϦ|kQ^ќ*Jd$MvRn>B*NkZȫuMEam/¶JKFJp#eM]uv[(j`"T)O_v&~ ; Po[FU P l0zPLܕ˻F,TLҼ]:}NA&>!2%x5a˓nmi#0Om¶PH@ A#YƂeJ;s:|H.-'%Cc-HpslVJ'"ո ?؟o.HFX* "LQDU稈n˴ 7a5QUyoHlnGL6 85gpi8 5ѣoƍLl6Y{RѴF~X}qۗ 0ce 1GGYz:n ˄Vr3rFXwJ3^ȱUrvxKǎNpD!~UC:keCȮ=>K) >9gEomMՄHLlu2%bb3y\x#$aŰv@IMwFq'Zd@vגqFkb1 BOEK(wvq>ٗ<9Gm V -64V}Sޤ˰ ba.A QR[DŽH[]gvDTa2F{nok,|8^[]͈z)oӂH%o%/ѯrq~Ei#9 NBbq/y, Ypo(;3?՜] 9]of!IVV&1n1ɋwgO"WDG^!kϥo\ .u}xζg(3vW_^%Cuj'o@nq{m~r2"1?+ɫ0JmݰʮP7%DL4G z}"j hd`$[ >iEGZ0 {/6^m9n7&wslݝt7fhAYRV,婱a5ʇL^@@,\9 PZQ", %c`^&) Ni@.Xc$+8da1L5JpjeP k4(O?Ty??g/(_΁+a1eJc |( , x^vkBB,NF C1}NZq  2I`OM}lx4jC# jKR"'R_SOX73o SSj5ܘ۝"rړwﵚz? ]F3^69e\< a Q 0)WLi  (n(B[RS8<0|}QfAMj Rd~OQ@!QD+ ӭrIO3wW7h_HjާqxyFyPxU:S:.s ed9O4ފ\1j_F5ݠf0U: Zh=>rL QEA 3pDq}iXjR;aXNÖSي]dm*G޾7OV=os)Mlblc7 J>*wg1zTֈm>2"4t8 jj~mhVU#O\sXťL;n^ IOmg-TÌqY:LЇ)HxN6l8 %TAy.`}RRP1X`lXK \ sfV" *K$qcAqQԔjw7]Gr㈯crf)aW;|>5XeWܪ錹RL1:J7}Csc7Ȗ`>z 10mI:%ww~^gb N)Oo_3(|+bjҤU? U޼y=8*EAAXMW̓[8ltLȤl+t<8r;uxIcOSsFj9W5VCl@L:$E9g![_`OD 2`S2gSy z'cI[3J-0}kj`5O:ɴLK7 8cB ͓HCl6ɼ" )UUb &a_D>y^~rFgR T57&xŻ|RvTnr/) j[]Rxs?lndx6˿`sP.r{W[liIa/q 8J5ߍ+m!k"lA Jf[F;c6nU4%%4=(:A_ܓS\hZ󛖺&HSL:@ö^J`h9PkSi;t272:{ybmsQGrxWj" \a8iJciG+omf( z=Xly ZrO #TJp}c%\C;9/JP4X6K~ $.:nf. xR"p[cv)?^Oǒ,8N(Jm58 )D=dI^7Ej4jq nL՞sj 5Y5h<ᦰ7>E&q4'e;@N1s/ȓ gs%=xyfy]6pr:%s5Qj*`@K̎L풀4#An<.[چ,$AF^׆eK +4肣Eiwӏֳ=P4v÷wPD @Rvh|Cd(i\BﭳOjjaB_g׋#RZpka#]fy7"R-ku79Nya.I4w)!7zr&x"J4=lp++N~qQ뺝7̾ ? z'oR+?|gO4\ +)*6!gab TR5oSAj~u`5TR,vj53O~Z#hw+kH/e*ɏ.G' 'Aa'{afBs\ nk*|m'ohJ%A D1`=#p+Uz*9*&x V\6J3z{鴗8F@&K4]l8Rgb!DD߁ۏ.fMBw]CGX bH6U)"^'5B3.+i,0 &>Y8xTE6Wl0.m&pYd^b}t2Xϰ!F9VH266/!Rmp" p3a&xf< ;F(5-̉4' HxSʂ~'\'O:-(2Xh` SRXfQ58+&]׵\lb)uoPHoS{>͕'}eۊ:ޭ*::YVϴăK-g#솥FFX. Mr+a+T$vTbYiցX_m9)TvDJX._ H4څ;B8|qڲ)I`Ը(շ"wglQkWCac|#H8bG'Iɲϫ~ =인Sk~)Ǫ-GLsM˙Gf:ՆLA7vea }k鄊\Vݧ *lN\0OUsrw+;@ޭ'||2^1]bQ 5Ѩ&4c5M3$g w?R?`,n 몝{?UgF ?F5r2$6'%G'S33"I-:HgQ"N}_lxlS=b8rTTF{o!m^'b: 듽ɛݟ55 aJ?Er܂lm?zĢk4Բ=¾M#`86WY&2*r0 IUwlO$H7Z~.O]n^iiXAe& +x}5( @딯IEPr=x6B}9ݷR9٨oHP1{67d@K\_hR_/e {GPJ}9J li.UkV0a"2Vg[?GFa+LUdf"EܫT8N%m6^azWټ )~lc qzVCFRQ_QvB|@lVLDӝcČ_WrzȂSx^u,K (60CM^=Jj!1e81$B݄gfnDzk-{F(sbC$ɪXyi] K~^R3L.|΢=XԜx8^CbbEC{2iەB0tMۊy3ATōɸ$W -9=b/fR0%o-A ߟ ]axswEϲ'CFp&,=d!wf9Y]!M4=7[Oso|Q*kl)HHOQ |lIl 3K(24]nQU)հo"hW?&$ܺC7 [;#]ZFx A-IotV2+`m$ --]#u;~q@ ` ˨~*N=HʴW<Z^ˇe%A^-3Muvx oq X.y,1j$B G2as_YІ7[%eXa3;egEf|CJ"nO_⨰ oyc aC5D?ڀ4)''x᪷,s,`JJnObl Zo6nU>ŕb-wD'`dzNJ/;7{ّbF/]E"D7۷{Fqb:{5_DTV&@dyOp1thtDԸe5NS7%eOىZqWSv2Go)Za~Vq`r TvgAC} V(gF\ ^Lj^0VS< Ӧpe -҉ǟJP#;{0 %b`9Y#\J!N"Ul]#j\j^_V!!uj/}}`8Io4w@f?:67V0!>2kWumHfT6.)M!tp2?<'nЙy,;SGe8zx!q+>3׼?|R~ }ZNչEBC)T`A/2pCeBԮoɴuBmR:YM')cP\i$ؑ3dh%]PfɃф -3&K9y3DMOvPIևe2 ^K$Iw~4gjES8nX53z"{C_O37Kl IY!tX ׵` [ zH^C3@1klEᘩӁDhq"K%RH7E V/ҀZbf8r~Kuu?aArDWP*XٻC'B+4كb7 vL%=rKntg(h~U:$M1G!"*j̜Oۆ^|cUhgO]FW7)gr'fA¼>ibMR9kE:RPaO5 䪠gA ⴆ'5 mh}EEvbZ&_ҜWtWzYsFJ?걮+~]u]5NAL)NHԁ/gOf/@m Z땿PFv\ӈEw1l5 |.ǫvug(r{< 7nq8鑃ZҠ=([Đ Tf@==u >d:n~Wn<8,7Ag@O ǜ?)zX{Ѡ+`#6HOw,a-=15 iSkH}&(/a79B%Ie-Xb(I̥L.ۈt_&o ҁ:Uu%#)Wll le:bܱY83) ɟj{՝-H&Դ}k‚x4Y3T aA@XK"(㚎ޜme_\΋:&1hD"%tZ 3W? }.˲`8shA`vMwTU^ CauW#OY|[3krR%ەeF֢}O6tz>uqTN#TN) yGgM Aܴt[CcdTëD-T-WಧyLW] ,(:܅Rm}7q4ư5Jkbj< zKN7gK@:|§bo0OxB`(G/H[-~`G]j5 1:T-߽O#rYjZf{^F}mX.Rdp/tX&Qr+Mn'q-6@vؤ,HS?w>ɾASx'iC8ֵx%B}/T7BJЋLJZgrIe !-]sz nVcEDTA Hq^_B@m6*k&d΁F(Lg)ǢQ&JK< ˜?{DM5gd;6 J)3RKΆH c!ͤ Fe)F+V;]iCMS~sT婭te*#3JY%=5}c`NTa#=2 A4?aYmZ5 @5':'NnDb89Ib! :R> Ut/D`G5AͲC9ہ?Q DD{up/ v.~Ōcވ5vT@ `nSNCHw'3Iz%Lz|TSdRj<)ѩf^->) 9 0 6c]{ga"* A*ixA#e:lF5&.6.V'ja!X7"uL=xğ]$Jz1џ6rYmm,>-A-4Cb[D<,n&d@Qq 7&;y^ Yet Kmjm ~HR~IB;h$v Mbj:uPr߳R2T3l1c8`۹M< /R6+8Ʌ Vfr#W{d 0I$O Cƚ8&LT@5:uk{t5p ʩ ;V^P03'edtŷ'AH!":؃7N(M%-zsST e)>Pr_#Nʩ6=Js:X O\44O8 oL+8/BGP_ހH =S@9IܾPLJ(.|UP_ 4/PCdlAB"O`QL鶻]iޖ(Ƅ)my9OyR>Aެ׊t=@eCUNU$M?/㠙kW!,;_)!c{1{h1"vJ9E_jo+G2O>G6Be=H?߯+E&x|yt 흶\4w'j<ۨ6Cefj\D utr4=VnFtz݄LThe3^3@) FN{Un")~y ҽQ(c[O' gx`@ p*4N;Omaٌ@$ԩuQsN7X˜)q;e^1ފ ʷ{FWFmDI[_-M*}H^Y($^Aԝ1К[z?yXJHYs"7%O8Ϟk4X;v8,sO .? Fn?%CWωltc ˪_Fi@`ڤ"1,lHK4.tt37ETۜصJnړ9kwB g;b%2UOl*+ka &msv3=9e&3. 2R̨@wF_80ϋP8sWzl ̀D^s+\ LtІI9 O^~kpFY޿0Sl[!iuulf#;3*m[ ~jC _&mIΘo:bѷֳ%ÕZ@GVnnJnfW9|o>'PS`"*'8zK[rYe޶˳4z8SKŃrn ǹe9m+B;Fgp>|TƏ1Alsu]xQ<\nnd/E;96v=㣭;tn*^@$Zȵ;g| .&Lj6ޏCÃ[l6U%ca^y&;z d%|+W1JݡdfouFȣ{K Zf ]OGU . +WV=M][woWxl[I\xm $sheqV4 : oƖWk{Y()ݗ ѻl65TUu0,<xJ5mrPwˢGʅ]{ZӕmV3`ч %|rE,1?RFk叡cK#bVhppoӆ[[HZ$YJEO48 rMpV\d| ᗯ2:eM&ZG'N43zv !_vN&'~zRR{n-k.ZdeĔOc%aވ@E@@j&hK7&h'֥q[,-ѝ|Vwe׏EWr!U x`N%Mc1&NE+QQ{^T/Ngi /8\3czBU.: Jөh]P >k%KUuRZ65:c4#r<UI)y/I W敏pœ\IMK:~Pz-%Qt 0EиʃF}1FXz Ӊi*m8qcELDe0=Zx0-&<".q-H˜;rd| 6=ˍMr0;Kܼ`ѱ묣؆=w7Non7RD&s,)JO n\chO o[4SRaG4gRIңP ɶ4ne ni H33rpi](<0Ä E:M"Hj9YRht/oKz݊L\Qyrb'P֝ b](0w#;cY9jJ(/k\vm|[ 3fb<37[oפqrDY~+2v%@( aYCSxF[vW?X@ (\aB ^8;+n\q 7ӲH+^QNLZ唻Ե 4 J̜_QsFvIT<+Àz݂$ͺكP3<@8O+Q,|&>|lIZ]3`!#H)(0BGܵMxR1AByÁuQ!OEYfdT_ oW V跸gPR{.zŀcCM উƖ2V` =~O9 HH&JƤo9~[B:,|]K۶VIu5 ,9(TϳUy"C[vl.5Nzý||ۂDܟ%؊gu !A:nm@B2?{1SH?y٪U :P,=s a QDVzngL#@hzd1eU&wGy|- I^60I|sL9ݷ}}VIQ|vg;'4͵3]'=߬;?R^n36nYi`HW-"&` vc0=%Gn"`O-i4# |d"jhoTa2إrQ+-F蝡Wmbq \!`DdbjCճ uқv{Xͭ犂D2I~)Z?^U3feXprӺp} kHڝΝAT0jW|-Ι&?bg'\T7^'.O &,%z ;O2&$ow8L)bW ӰM/AS^cR,;#PQaX%=C*4&q1ߵ# gD-xpj]0sАqAߌOm^_šǣ:W%BA>>2IJZV\/r0޺~CVHв6Z-d’4>%e'-43tS~U*7PU>?*WU u N˿cވ sI՗!+IT&Ϟ&*ɃA)5:3'2(˦+1Mnr}Tյ)穕>i%0$;i?q7Y0U/gqhH4Q':c0_.&B"Jg`/n+DvZ L^2H놖)ƙJagYZ7zXZִF! $V]ŗXiɟ1˦r!cHkMeBd4gQػR}.3m+(ʖ" t[0}] e4I6&8,˳BO::aK5քÅpqx.53K|,P џ@/4^u 66z?Id9pn:c/! ZN~`1gdBjR""9UN*47v[ymrс6 ::SŨl-^? Eh ]5"nT"ӨY[(\#BJi;~NBi,$] %Kj5H*xǕaCs5cP}ȵLaR'bIVm`N=C=Cꞩj(G9uhc="$_>B;o:ݴ[bCC쟜=RT.{PTLzO~wxo4_J~HQ`ckNcTNHNJq#(s|,lb"I#{l̥R @fR,Vw.n6UVV^%Uuv#%' 5Fћm>%o`XUYFb/ :~,! ?]a Jȶy 9a@C#}.K.6#F7nZQ'@ΊUfXAӧ'5nv U]<}IN)< qO>4UCcG )؀TTZc-ބ;[gWk0!nwv zBhMbMϲsND3Ns2{.S^Pٛu<:0YJm;bB:2hwgG1"Ӕg#4&Шuq.Y]\0hϟb0x?&nNB^j11Ά71mߪ 2=F2M[K0Ț"]g.=t#xf3y!ĕE7Fs.'GK,(:v]Z)@ {Iergj?ґJ#98O{J*LF*nյRum?3#|RpMv=gnYEqO.Г \.[ >R6D$ȴRA:W_/;Wo1U!@pGڰa,(rkoNy(3_n=X =UO5=i[K^]L+{ G*)N!NB*ғl_ nRO|Ŝ )+M+:9 IpϲE7VI><_ Jp.1e{~. Zk^VRW#[ JKy֪ŝSD]BV[ SB,n<HI;b,0H_gYZ7zXZִF! #d]ŗXi%@fMM`ҳ z 2wq0tp:xL ӹNHn&k!+{E1HЄ2vCa2ikYiHKN~:ІHYhEAMYbb9ȡ-7Dv9>Ppt9Cہ'dWxVN1kYnl+jLX~a[`}Qy!渶ohWg;a]2='+q?]o7h`MK|Nmt|P~fV+Sr||&ÆReb˪S'*1i^{?%UضzAʐN[ }&w|Dg==ogҽ/[{#D;D,5 _T[K "&t  )65Rnjk*CDžN]?#+ܱ+j)ŁNC˛#2%gt887^mSPwld%EhSq `siI]_vZ¨Kh4J~a[?Q{kęjh V,lAd;7_yЅ = TXj;o/w0TBS 03r+']x3GX YѸpj^5U{nrq|r8EJ  AH 8() M) y31C'+>:E8)X!U]xMEmORҸuaa} wdҵ)RM45ˁWxM8ըZA6ONAyAhGq #NzávB \: 1lư? Ă B|) l ۞՜paK%HS|5K# ӫ`t/^W(5Syw8 d}t:`pљ|>iY` ul]K Ԡ{3J.Д#6,֯?g ee[naȭn@§H-xnwp"G`p匚Lm {m~qJdZUIS: 7 X,PFBQhE&Md/{z{GÍL2udg6_ rhp*T kPqupi_Wo=|lv?,ԜuyFvMn[YR!ݗӇ"=B^LQuR!pz:)9 pޡ Al"<h*8+ Pr`Mn`{* ڱ"rBc7<3$jA8 < SPr7/V0xQ̀ ۡ !I|"潈uG,"S룉4 + rlkk϶(B*_RzoLR\ɰ lpiprɰLJNRfP@#b}/mO<<z:pݐ\o _76!=w`&Vbz>  "4nٱy ZŜ ~x>Af􃾙{eK鸔&ۜ-E+N49y_2iPjOٜ+E~W/L1QEu8WU`\{ڌ[(Z$xq{4F!DmD(\Z̋䙸p}vWɎRv^#̺uPRsIRYR!( Wa 5E:O(UOF[ n6HRsrLjE@5n! L_aP4Sk|jgu_-;U)sB:_LPtjѱ$|${$lK|=}.~)#':)|dyDR93^8e Nx+sO](}h DDcKK  пZ W iЌǗa'sѬf70)!JwNBkxg %H_NOdT]t/|{Sdo^ahV} -%A&a>!꠯&p$'(LvΧ% z/lqNѧKHKw@-Z5B1_00 ]yF<"ʫ~+a$Sթ r?!8-/̀k~tstR}{劗z \l8@;_M>9R,@OY3q5 8n)`]o'D(/WuD4A]8DAqGm?> 8qG#+=`ØpǏP׽qrXђHRˊ\4}L, iT/]GCy$,α0P'T,e`Wb+l~mVqLk9/C#aF _g1k44J:#$M'N} 9-UJ9E Pw%;>W_',_ D!4uD[D$y÷K Xv3۫ qUnG^ j%O{f֏q7(oRpei8Nr~zӆĉJ#bSNaiP\fA`6t$ C`G:'Q=uIA9?`f'_3nvy^lF(@~04zedH/^[,6Y]c6BƇf)r",{㡥/ N!|{j/gŹu;ԁB6p[qALļ*`w@ȩ~X<[]k & 0`Jsyb~[TSv̡>eڃHZ*(}_aw^. JͱyD#I}r 6\Uye}kK)ޞ!A}7iѽ1KjH Eͽ!PKRV~DhH5F SH/c[Q"g޺0{dX5U6 E/m.Q(D ; h'9AP^FZxZEDg{rUj-+IlC:a *$9=lZ󬰾%ND1( 0$|q h,,m|6lsI #=w\Bc6!muBMo *L 8$3[3H% ] ʁb 0yY2J>S rv ;񀃩T Sq㽲0[ {\c{1T9 <rOzVXѮ /gs8&1vZ VɌۙmNsxNAfL Lb,@Vv݋NG R}7!3CnĠ-ETsq(f1O68ţ+U3-q8pvؕܞPe2Jg P!2wq;Ŕ&B5). 6}-Z*E3VҶєpJɍ4o;mce ?4L!PpaNxռb t,%. $.muП< {Oqm7A]rY7N<_KZuRle .NY 32=Ae6AyƢvr0sYB !{NI;S $/xG3_H`$]p*] 0w϶5zaH%w;jS_H*i=O\/M:N\]qfoտZ6|ՂM5VLՃ RȊ̦sڱLaŐI,ުH(86&׻LX6g:\٢`R{1 ځ)5H{5δo.(eNI&bv~tQ=VSoB;rD$"f*2W΋Y&g?.bYBͪB"7 ! ,eCMK]G 6WDg*W:ECgE2eb eg ׂ]: yshe106SC~<4G?)}rA['gLY{L}ImO}錀 ٪\ICk؎Hp>_K'Gݮ,Bf]e"IOAB(O9~H<m':cq%Vi)/Kلts+^U w?Az:& 6GplR]u6E6]5*؆]-u02 ܙif);8 4˸5Rb'W$x\r_BZn䫒37BXA/vWGK˭P[ ӧTh{SuJ 0e~LS$x,g2k0^osH\it%mdH}8_O$ kc:5 N:ֿstA g78>nYQJr*C:-bHѽ`߽=žsCsδ1 P%l7A7ѡNF@`6ݑ`2ψ=Z`/$Px,]biv1aj`1]S-L!pjnY6yAѵӲLra$o80X¹AUnr#zvC<]k&qV|'#楥\z7f [[?B}Wgl4u,w2F3܉稜siHpdlޤ!: فϏDAGU7emW~g`3;Kk9kgI|ZeYAf1 _%-g|/.62FȐ@`6[(kYüqZ*OIԛ* k7!LVvrg9}i(@T>b*-`J~ҧ Jox.$äm>/PnXb=02#R7uK/!$~; zvŒBWKl#M5e&]j;ZF7PH ,B^l~mqzBH9+h-,|z,_$#T|&>Yb^|q|f/v?$%;K޹4DLR1tGAwX*@Y}J* Y+(-v_0>Vk5:{DNK/je8߄5Ly})C(]8A90ҙ >{@Whjcf 2soͦ8K36R 66+=x5x N A/Bii5-6=9cK!/*f\#HʔQl0 "xz zR2'?1uyUKZ_*E_kq)Hu''JPr@{؇ ~b֡nU6FA!e۴ߺDӊdUTqdb9GQwh!\v6б=E`y",rBA$P4uDL%G[ڿI6‡dC:⡄)\!%&'|Lme[l?$WA}c=yb;n$L"FK?_xu3ܽ?%I+H',x?竳 >7zV@)fzb2#:Ch~0D~Lq/;_F3;{siLkcϞ+~Q(o,G,ee^Z,G0܉wjbҕ 2S]#-Wԩ)U*]ij? l.qwcl:]ȄbU~.KZYW2 SZa~:r[ޢY_*y)۩ W4g_,}z:J9p8yU#ҧ F~voqr=kfH/|=@x6eМp!>t^-2;_=@Ye1T?M?-uSS6բF)&qhz4Zcv{N1=ә:kfKT@*.4٦2X]+O!$?Pq=z"Z'ݤ ;) vTXs&F'vW>hfXVa 9MvE#QV]x}<7D~,B|6WlR#]F0t{f^ԠE0M*Z%3]A!uU}=BlpHGw5voшǵ|ygSλG ʘ(éYI w#geƊQ*AˎS`76 1JCa ux:upg;sh?M B2WdT;M#qvbq]P]D \CIN΅,{'igpWB?QHG P{ $}јjAc5fU+l_/`Q[[*2 FH\i8}e^x0mjUB7>-%w=p?c喕Wf;%,1s+ӑMEb!4#"`u\WՋ<e)-Ndd0|ľpUۛj!I˴s ˼ӘѐzѺ[?|V{?F[ZɝV ]U\>h :N 괵UZ׳rku0: uBTR:fk` *@X6VR0sY/p@Q#b`푖b7x{\{'U_99Jߺ:'U&"@聄( u+_6$#H$5Έ(:ήrGg{S0,:^YE.>A``Fbi"KGϛ.%6|p_3&3#$g^VFW=FF3Kԫ&w (Ӧ.o"hb~Y;X?7Kbo8y6 !>X`aZG=YOۓnGBպ}^8s:yUs>ED؍<6mI_ZI[ gм< N:'W&d2UG.^xMq 7Ԙ8@jE)9mQ;h P#Ou?P-njs)2s@\V +a)E'k~ڕxyNT2H3ݮLp>o[uNRu89]EW 5ve jAsؼ 5p_}ͺ)fɿFPq.n1[oU%}EfnrRR?<1k&DCO+o/=xh!> P/yx^97iu>ޥEMXyvN$ DoKK θ7}ByC"Эʢz)AﴋK8Zf|9B,3ʹ拌 ul;&Ο");խO)ClG^s9R=< 1v&6K䟜\dn~|.m `NoorU賌\lݼp9CR6KiݠyWX^1N 8ۡŦ!_`}q(8ŴO$Tf s̰>)vk#F҃n)=ޫ BN~s1|Q1ȗ Y=Epa @$^|B2xQ.ܽ>.M>KTGuu?{Q]돑 er O%98k{OX":L<H{-NY5շ_:c9`fR{ !ҀZ˜rzj\< /]4mXG|YRu^- me#~ ZHf"m!:sFf5\CH"LXrS7 89hy2-(e߰Q+ o4P ʛEZ51JK&2C_]I*x~>3e~OP2RF/bB8 5+æQuęѷ`n;TXQ=ML2ɔe-_aƁHj=i2.t1~]i~Abm)}]v{qvO]Idkh j{!ZZ*?!I\KmDbu&(#NFy _bᝃO_ՄSMc_y ̷%S&$ S xlQ1q7R+d ʠgUv"ĦnSzV1:b&N;os*%[ dاȱ?17"{,W+-Sr'ko*(9 ެD [j ^O* dUi\n2_` (kUNrs"d>ܼj B_>Ps436?bS~&g 9$zO!:e&jIsHx"ff-gH :@dnB-δCfo'\m :w2.u7Mj pTJcDŹH˝ 6.\W\ z#h12QHƿ\*~okoR:mzʬEN7O组/<@TJ1zl1t`n`{>ЙP_rE@z}PMMҰHsQPE '&$!cafi#J+=I#yXߥb6혼g vkRR'1a`?smP.ALleǢ>sx=,SgnSIA8k(*)H vx% ?:omy\sHĦZp(KPЮi*Y(9SJ;f zp`:pj EbvIf+kmҴH/XS*66 rqѹ2asʙH{?U\%@yҏ)H[cъ!1g^@bg*{zz.Բ?)BԴƍ+}`1a1L#\ $oq/c>(`"U6tUA3A-c۳bs}v^|ri+y Htj Pb`f 'qTX)]ѪMVō9Әy@6G˧`~[cy!b8ぃ}m`{U5V4yÇp jI/|FPIx?-m /K.?I…C%|lxz0=4T}]ZRiw> 4/5@4U>O&aJ-Ge[h )4"4 jDB[aYmzR/Bb1N&~䵨#E=VD{ڍ*G0-+Ytv[%ZN^\ Ԍ|hpSEгsoV7ΚW7V^2TA5ekuq8q/J +`N>kkjė,,Qx&?}1#ROEٽ/֤|i@C+# I;R{lykudu)kĜCR@&V?oWOڸ}uiWmxwΒSz"*-KeՍLyN6Ϲ=McS#[G߃6<{lHc:KN PyuZƵwϼ%hV=L9enHI|D*֢a`:h,k݈F27m04چ(k!aU3#RO X荒:Q6f &D07cMA7`wϥwzu".5ْ#DYQ|rm {4Rt ˔2߶/^z{>,F]3,ϯ{RYdqEoml4tq X|7Ov906Œ/,w ,) ^ʦp!? rW2qg[០;@[ѭQ}]#SJݜɱ-NPҮvr/p.\p`C`n陝]ۦ4ڄ"ٳF/,*֤ɩ"\@$׌NPqޅB7Õ t7MMmY3~ѭeaǾַf~^)9hn/YRJqNK\=&ZHHQE 4L)kKU;Vhe#$`28kgeq{g ̸(~d@Ɵ*(Q>Cȸj~ ]`tlm@ 1ýI3:ŀ q4\ MgQ% ]wՏz '8:u QJ]`U<|5JTRPjt9Iiߺ(ٲX`.AM[yԭIf}^qc&/n R< ' -cC*RNVu5<1>@ bz3)&2*W`1Q) ]r)?'J0*AzS{pl:]$Rl߃xvLEf[]UZ`IM2UgdY#רZpڢR_2Tos[˳L諄;@n}2L$;6 d|БD茊3yrۆPmUY۰zE| G1ib֟{,xW_.m}45'6\%F@J?,s#뤁YsRDB cTS[SETyӑXyX8XwIr(cz렩Zro]@l% (`D$p ;9D4\we'N{^3ݽ>QĩJT̘|~RTbA ~xԣ:qrһu ՞(ȥl,zCН|v307l3¨`YID_6y;_Lz~}PصghkrzIЌfk4K De2(19-yH:Cz 9>cW {8ArAIR^/0N#_~}fR[kݏckY P8; _M%FQ#!cfGfS[u4'JL =4.G5CT nZBQGkLxzKLq%ǀ@+@[dk됼 fes')&0w33IUP>éZ~ 9/t"ɇɺ[?|wA fo,~^T6 |@Va;+5?bZ=($Y]L[:b`4{ZB ެb;@_ Kq3)tR`v*I  qIA?ϝ <@c0 wu%eb֫Ku z~Z.sk fŮbxi6 6s+ .p\4D˻IFe$u/qZ~Zg5),mxҧVCetlÈyX2J,^\-#ZXߞAᅭ}R-⚰js鮅b!lp5ϯovBF~4P_`aͦDx0IBpkaCHF(jXBg̤ctZTs҇dsJtux,T 2pbo}կHh2~=7eEE<[仅oOuMv9r1vٙ٣ m6%8uus(3X nDSF0_s97/0P]ȈD|J% D˓6XNE >yǔG'qYyŖ_%,E UOylWzYT8rJWsj~4$V[6>yo}7OYӠ#'^g~".7r8BE lG8(cB3\>Fײu{-S)AI2al\4uXvb:5"h- VH_ٻu _5;qǙIᄛNCͭb1W:t~3Cd)pIAgT80wa YZvlζ4T| A~!8S\AwZnHo]|WW ~j[JϿYF|uud'< o`Qr!xg&K?ifA~_՜]VokÃXd,E:$ʠXӏ :E'i_XWz v9} RFq )j'Fm@H;mҵBskele%7g62rwYO2:$+n Ըⷽ? TLhRg(bݒj86y[%eZAZ}&9n)ԏB|1_]qWJϕ(=ݞbQ5M2fca?P\ ! 5@6ߵ"V:ee~_@zFd/,1Hb..s>nد\/AJZOT[y!PN(reG B(3]݉Q| v@竪.lӽ;9 nd3T 崐*Cu*`Hbǐ朡'A91?pvao%-@.=VwG \-!XLR6a>]*?$pE!#&BzZ*7:iUɲ׼8J=7ѮMXw2 Yyڻ[_jf @Up{aC1j"sx#Se╋*=_~+dlV!YAai9WY ԸKbZk׷ch{Fꪧ k1m}Ȝ虫IR#QS ^מJDA͛Óˁ]*a9MxR?8+vVeI fnɛs^ތ;Dh -/HP?q g1svf+[_۬*X}W(SBeJ̧^Rœ8th8Sf\6|dk-䵬ڎR@X\ x:dcJ8"\.2]Qr8hWٸ^7gmK& o9eaW RiJU]&jf%'=oYao7dYꖢ=cP囱z^oJ>L:,';FhEᙗA8|xݫC{])]'YbеE T{j0';jL<"U#}g=g5v~'tP:DSG iDh,4j!-ny=KYW{m UrO.$&`&oףf;wqqV>8*?IR|  tۈ‰vMO2. ZWkէm[qE?pӣ Ll%lӊyd>\~V̏Uxn, BUxT >E_ o/IjG4g١Oj3&izCmi|pIK*cpɬcyN%\REŔqB#fd:W Rc.`a|]hW&}ޯ!*Bhnne-۝Y)Zx{5b97Te2]rt5 (p\įj*A ,]yK8Mm}>ȻqL8i箺SX&uhVYӝmAH9,rċ$x''D*]f"b#ro4'v%y_M 㬯t!VXFhk3`wcJL!F3 .#r]'}*S @:PAyv E{|å;F aM9>p 2V8$[_: CwػJWӫaXQ3K=ZnlpMgȴ.ܷtgFbM_zQDW:Bxԏ}kN" / >{Å=3T:,׭ >} cg. Gї)!CD4Suo[inIpXI "@Pe(PV?_}h !d$U;Uå3 g's6XE16[,Dm+(o¸#&}qQZ9Ċm [Gqʄ6kcPs!l;S c͆KR䄖O .yJ9Sn^bGG7Vy (Ã0JtH۬?.=ҥ[\z, K(1RcMҔ8 DLri+4 9_ӵ#FO3f}y53+A*թe=/Z,+,\RY ¿9)gfk!mh1VӒ/&9fFIe"'+FwWF;r?FH!.ˠI[è-,-Ntc6HMujVRaı o m9F}+,64O2-ȹn \CL9.QD/lXԚgsKjV-O I;M1\\@ӓDk  셸Skx:Sd.)š8W$Yz4rZ{Kۣ( L:>Ϛd?0G}OfH7GKɀ/؋:Ҷg]bhm*֓P= tPeyvjl B;rHac Q* MI7cmY$>VCF}TV`~]Ľ?~ [*ʵ֭ 9 YBkbAo, PA Y Xy2cc$d lG,RG?19LGۺ7DHb2l-d"knIY|zO!| |h,'mJ7BY#(Ař^[@ߎI2DB+Ui\ɬsy7K|A 5Tce+X\i%Eb./=}ӌ4mĬ)!nO$d]8"ndF}Q#Z UcySyRvĽMOJG]jē%sı:8eڊhM5PyA ,"*l ]r^ZD<2Rr"X'O4={L+HD9]LO*%T$4N$^jZ(Arp')` nQS?7X @$8kë59=9š]UW`B⠲Umi/|b*!?iB R(tRhSO3Z{O ^O""'>X1\˽+3d 4&%(T20 <ύ,0sFDl$NZ4M2seKjNј*̹vcRo_M5 U=rFN/¼˅<|<%oT;q5Rboh!ָ?6D]HǢ5x[c$u;~7Ыӓ7͹ü|OUWҖ`BC<^#-QðlȫR#QwQ_ 0.6#͗$<|auO*q|[NTI+|U}'l A lшbÍ%nG2QW6DaBĸєm7\hk޵!Ogϥld5q? g@&lieP~%羙`R:05⸹N?B!ٺ]AbQ(r$ jjhgꪛ<(uÌh 0k(S@Fӵ)NAчJ$-K`,Τ- 0˧V uHƴ+9%f`vu1|nd2|iT@&$r,ٹ$dow:8K`9R]}%wYVa4hEPe7tg{a# 2`o;[\md9LMxQ:_v#Sp>ǵe+53(1ZqiR,PzRθÃmf3HXgJ;.p]:A?ų)C™TW"+J[t ~,Evk><@#pԔinjdL]DL~;f+"I?fp;9.%3'wQ$s|<.|+2CZ;:WD$C#bXn7or[/~1KEpP9רI JʷI*l)`5 I;I876а*De⠧T<rki4QXoq.AX""]0i%%͋$YzNErbϻu4Z󗁖dY6r9`92)PS(glD! c*.'ާ> !vW"KY4dwR 4<$^JR"g|}fFjQ;+D Mj2lC_'.I:yTrBB8uץX yP&#XL1~1/< t;2aB ~㝐 ;_X3Y܀uyW򷰀5N!JY{;2^7C%OmUE?n}|L+fROj'43߾}!@DX 89A6qC[b}ѱPq $ U_v)'oP2EXm?{pg*MAR\6}?k(u T+6e4-d@wNˀܯVo]e=(-E!_aUv:8+Ư^QO aeBI >ʎJ<%pO 5JZ9w>ЃjpKk ӳ*_cIlad Ϻ༫ywMASRBSUaǽS7"#Ģys-QYAڒ~ä9T]۩ܚ_ͳgq6.0.4" Ek=U{}GoJB(MiV8kOHX>:7 dgTqE2PfPZR$$~]߉bEbػzÔ}̎KbyOAB.cS+Ϭoı/cLGUJ;Fdy9=zd }j嵺eU {tr+ BS:7@_4(ۿٵIFpf,R ϷDwn~]Eh(gRN^yP}h*̑W< v&j}tZِ(pFR,*i0*Z̟9܏Oթ{7]h8I* GiG(#6ngkK%Ep2?0abǼ'N>AQk"/fՏ/K;@@w)!Ւ%62#ϼpxcЋZu{b*ViE/rēZC^}@q?1 I БGMV<6fr޽Xu2\޿@mV[s1wsoZG.avLِ>k̨$QM}.ls 扬y A8ЗlVt5mQ6S\bIϢ_CO'JUո?rf.'?jE|$Jr&?}@?Ka샾]Wot;b–JY.BtPCKv.` oEI_&d)د.$Kd})~Ak\J#ySո/D>$V2<0u$g1b6⽌XdM"/7ڬ/Kuӊ 2'*^%WMV_]h~ +I3gCrUz]V|j& B|lO6)0P_G;2zNpWPtl%j2`mFOe~\zl_^~ Ec;'w(ۄLG6C%DBA~ {ŀ/j$|-Q71 f,l\\ 4Q]JA:Jd{vJMVv6;jђ O>՜*Fr! ˁ"TFj^χSL)ܧ)ur3)ӹ.Cxsd;{ Y[(}Ir2R]L}gFCA[)~ *?:gg+~J mujt̉zS"b8^YdGKhŴ+NSþqU?O&WY=v_q~1˹?Ty-u!T)w?>-+i;&5ړcnY{k|Ju{ mtxgjY:UeCD?\=(|"+&0r͜d3zt";&qBGc&sFjP|‚" o¥Ɂb[*ͱ&2nq֤&iA:_ '1O>yCxQn n2VO=հ sLd#{A.X<^ v Ia6~{Y,f_0Y(>qgkJ=:p /CTY ېh]}`+iaI}nqg49&i??U3(@ὪkNatxܡu?mVLIoz6\C.mk5QH''Wu`"'yV+9p/nɪ;Ї>:̷+kgxy&\L5R yWSFZ +Bw5t\i {Kf۫VWZk܊|z<ϲ.Fl:ai]\)35i f2w2S1&w^M{xkacԽL[ٛVc9!䍸*"xL}{\ ],+>}.[H) LϤPQ8Zg\FiȬ "X^}y{qS }clyh[q*3na6 PyU>IOIJ K#ϓy8\:ioO*s\(=92 }A*B~[ K VV@7[j|X91Gj+a|sٚ+6<f Y(*n݋X׎_'^vrZ# ,9?͏zts,ߩiv$ )kwVL~f;qzZ-vӏ`k,uMׅ%|VPU"vxe, ~I38_qӕN[ZG2 Փҗ4m/S-s/=KxE.sti /F t{[-5 46')GZ _=4E-ttv`*|Q `x!Z}+i{M79psyΑAqk7Z:] T gYZc214af73317a7fe33f3ee95600695c47eb98492edc9a9988939d5185ce4d58109b3c7ffc48063b65 00b3fd39e96e18bf037b747e64925783ae796195f24da9bbf527b7a3b5f69cd27bcca0c85c2f438c