SQLite format 3@ .  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!\tL ]]]HOL-Proofs:threads=6elapsed=659.247cpu=1600.264gc=260.732factor=2.437zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb咬Oj#9yJܸKH*>]WUtZ7:Pnы @;Xhobt'7<\=6\'Y WD=ƞ|\^0I4+d纱 9@rt*ww|TP{.()|wu>!ʣ͈[͝@ûZ 7Ea M8sG EL)RD5|VT1_˼KzGk;U@Ό>[gGx,<yOW-ċL72*  ! HOL-Proofs  {CsR<||WD\;fR㼊"cT[&ԍQ1 |%GI}YfeZ9N*M0C=aaߌy/H鶬ʾ+{Ɇ7EB?拲x ]]1_O.kU"Ѵ.a[$#.ޤ?AS4==AџzaB]ƕY̹~SU,@.7t$G:{XjsqV{):\+joP͇&*Fh RyY-2oL` ֥SwfWc%yq@Za̖>n >fƹ`bA<C-D|a1YsEUgPttwa3ee"X+b˩-zF# U~X2(rjҨu0e8GJ ƕ=${a oGƻMۗ5P :s77>u޺SjF,^iR7+\nƃҘ܌?BC ㏿]z>y9ŸaQp3)ZMHz'7M:0Fӝ#lI@H(ȸlsB!7`8FD!y$ԄʤV׮ qɑ(^Dݒk(4s5@ *;wC};CO+Rn&p4bB5#6ʑːg?4\% s\STJiY[k.g6sZ YJ<{TGRXh멣SϞn`}*4 Ԣ#O ˷ںnE¸SƵRB(`eTߑ~R\ofWYw\qUyr|ޥ'%AKxiS.n]Lj.P0'#¦IbaDcv7Q_I>g= `-˕_"f \CF.d'4oLyf m u$e"YG(D\S^otw`Z4@AR5ҁ+1$X-3và i>1)Q~x;T[E#c ,ajn{~ps_d88A> k)4STBdz-1|؇a^o~ms꜎=s_]_+57g%#DV% wa') .DWO, 6/WR`2&JΪ,9fɂFS{8sJLQoF1 ͈*yN _:S%svH*ndֳ (^k jwT&5.;$2C;ݴ<̤iƿ(ۯܨٛGɔpbT DS͙eCjqG4fL8DwykRK{Bgr jp3"eK3e&5[{RPk9c1/c|@`Q޾]*?j#)3'8}SP;cq[XhXJEU%^5@Fnog|jM/cz8>k0xA.D Psxbs̠$YxO&_.%ކϴt}ƽfζMPRI9>M uwS;9 )@jsh*ks!]+^;m՗]T?u5'~0VbJ?`)-#W .w6)S%4\@u4깴l[ 4}TU8>Z$SCFI/0 ]\Lqx'sIyb`4pӲy6MX {4r$LѤ/H ;l݋sg9+ȳ6pLcZSua{4F{5^?Muh9-{iNa~9B6A@CyND!*4T//:SÂhy{IrNٓ~Dp$53pk9k/! uM=C(e0\Iia1-EKoӁ"P[fQ2 =?u4ary6nXw8dҋ,r`=HҦ]~[f @8r~$iYkb9RQ;{=![0hy-8 94|[>W}*'7᪃+5OetU05IT> c۝-_: |#k/b3RAחfLNg̢j6 }{! +:dg1IVRhh6"ٷB VQHfo7hi&d\FzT7B^2s,e.E\DL&t=$' r`oq;LC'9A!ttߑ86!Uş%IJ 9ʯ{U:ニ'o-,c:nhZ@qBݼ6|_kpN2G,:^nJ@ 3`Bv KNGqE9l:K:/%1ٗq{^ŬMgjMNȁܺ#F3}!8hK{;2̱f+Sq<{.+ZE:=Q@M3f9O?NT+![$NُhP"χɻd"MORk'VߙJ 5oSlN5+t.0,QAZy m.U}I=Fi'8e42nD|cو:`Ϩ7pC/{EiXP}(}UjY:?Yy8WU8UFN{!>,9]0PSUK Ճz)2_x+5-eR{ 1AeLB /3^orM#OqF2/Zf~j=/3ů\^i5DVrjgDFbҺKklC/$BXؔJun^=*kdcG,YW0ӭMvk}v‰u-GAbHX1& n66-6 (/cv 7E/Q,*yKax'ߟ') fnݲ6*-hy"!`Ʋ jβ;ghJ_*M /szDFyE #}Q %,)idOX\mhvFk8'6T![ c_O-f^NB6-%z<\UدkY[h㓌k Z{24 ETZ:I]XerFYxNۓՐ?%]O~Ȱv!{0g:ItW;r|$I^5POIU=Iqˈ@Yجngʅ!1O ?PȦ|Z7rb:D5VOvZS(UAA[/:˦v8 u^H%Jjn1r&4M,G>jD<6[z45`تsɇs$$ӖY5o'fFvS;RQ~/V2Gqn[u]>"d5nd_<'Ǜ^aoO)q7VkAqD_T(Dh0~t R S _R4q}܏S㧒n*>iQ5>˃UU6(%T[*_t_NgMX(̀j;lZgk>."fCeInGK l6p}y5'RZIjqɪ1iWfѰǜiBFߌyCɾФyt|] XP)0V-VGKgQmxҭ_aH+4 ;DhOV +qB'+!|I-I37<dsoC|Dȵ Y\g2#Av P%,ҵ22G>\XSc}̴ y^Qx.z>ٹc53  {/wq_/c,Yi(Y 8H~;oe 6գiÔ*}KbQ8uL}AL0DnIw U޿KG_Xh۠+ m[ Ҡ*cVf?dt/$އwdۖ?xcy-w| 4!!6~shWDdOnxE2HH8Ft:I~?E']fa(2>bжȯN`77Sr v1g7k2n1t]_ { /Oiv?18J)e%kna*]9zIb;PҴVĔd2tsmַ@$eQg}DF*A򥃑v>KY+ ^A)|]S1tAsWQ_i~  m'9mtלAJ)0< BʗE눀G b':(ޣ,iI-}G'2!W$@[&+9roR~na!v _o(@\^v ADA">+[o#Ae_w ^v+=.c#5t<Ԓ(zJ~ya`Heb҇&-wq6pluS$:Ybt1W#$Ƿ=3ȄHR{lCc@*P=i7PeIPS(Oeׁq%\r\Bg$C*Ed5h=,R=Ga=#J!ULў%+ F`„]bjahhQMO.藛 + a᧼&T{ C(q\.eJ6oP n˃oY^#)WL7#\*Xtq؉etA8µy.WPc0F==Ѯ|q[c26ECw5_>bC2.>r7(}KK#-Qf* z_ 7>WҿgYZ7zXZִF! m]ŗXiɟ29aoʼz[%U>EM!!*Xg yFxp8۶BBӪ@@b)u]ljB, @WXiru*::S H{3쿂i@6vDW|1F f'DZ=6Ar-CcV˻P'ݰYQY>RIb9 ?oZn1yؖ{KNLZ-S!׊4^>.VLMPM҄y>l[h 8f8 ghx6NWGmZ |) y%YAJz Օmc>,ퟭZ}Z{$}Aլ{ ?dHW:>&a ڕx֬|cwϤZ.X-6qed?Qtss~wGp! ĥ y gAM^Gh/rp[H.m0MKat= /sH b]:R[uPxscBmz=M*6=Wf㧭BUDgw@TJ  &2*żfШu,wF#.>[ [Nu^=g~|g%KK9uϺAmǣ#] 5D* n q.1ƤʆI満ŷY}`&U -<*) cS sycΟŞJ&'Xz)L3eBbUW(Nz(vL,[,+bU~8&G5DajܬVAK='>v;ZjWp 91Čt+mRP}"JswRHdi 6*c8YɱδZx񐾏m تCc EI]v%;ZrnCǬq>a_MbB' +9%K&^ILnS˖UC+,~@r 4EN]b6mbʡ r=P+"h :eBCE<50&U׬i:SW 2IgYZ7zXZִF! ]ŗXi%B %*ruI^m'smַ~TBXU߲o,l05lVW|bSm1f΁]KvWRdgQjD~o.[C H$Iώ،Ǎ"2VR; bpuLgTAh+s~ .!C%hɼA%zl=m2 PEg 5d>؟t ؋K]/Fҡ'n2scDxn}KZP睊qq(aM(%dxZ)48G+4+x@BՓ_BK+*6t ͢ظW8vQI XHKx1!gXS'2ڽ޼u~\؋?mM$%еF~=ȶxȒ!(J־`l [ 0Vԑ%Vv[Jx8?ɵ|8`xn 0qnS"0AD0؃'9-~b)HebSº/>{aql^@ ޽˽q/7ѩ.meŢdGKgvhW:}Hpվ O|34W1oED2]2cjS6UȝTZ(~$UvWƪӄ_ AHkYncHyq<WS]>nut砛y-bv.َ2AW2X+YR\\?-{UV(-0Rte3ZL@JK e‰,J1 _?{ؽ3j?A.DA'lu;/0;<ē]q _>Ox'4"De?ZTΕ&+#D5˯M4t+ŕ rIIn.p;A Jl'd0Aիqviq5'Qm"Y7ouH)v.os#Fs"5y'ޅӞ,\'ǶlG<ݘw[/35H~@Tm{Y}OcUj#fz[eIW X zSkUw @{ܘI#ֆ~XyWSžS|Kg/(&[*̕2e[5lUgW)R&6"蠨L}DbTVɶ(asD';SYR0Zuv>oˁW<Ѯed}tE\Lhy7tS[;3t$p08}aG)9ۺZ&g"~U=LWoQ\kzSCR=j?6;g٬ ˋk;xh[*+QAN2 Fѐl˦]\60B)˖ aH!o&}h6(<,V36kOf ?ا #F"|2TRG-Z4iɻ$ OC&^wd._!{ x}H/Gw\^ -} ~y-0B ߠ՗AJm:C2QD,dUdRD}11 B Fd#"=6 U>6*ZpH3URR9xBuD+w hcyH@;ܞgo ͟8D'{ˬwkymwN'ΔJփ 3MɡpbW⠴  #j"aEb//XDi}t\@uM8d<;ȅ"Bc@` 0IzEA_(<,Va8˥}&2.ű@@E.+}9]e1xBuKAߞNñ?$PE,")ayX8.nҫCתk,YEa0cV<($Fv#pQ g߷~fi%AȈϫgm?<42MPt03k37(4G vm ήDkO-tBܮH2t&4+ʈS}Bޅ8I39RkS \nf4VRd1߅4IrDe%|[hlgǑ͘=cjW*~[YbZbdC-4uL-) xЇ 7 mXIMsӞA?R%g/؞qeUڍg٣YWsw XB} خDzYZZ; 8pR.SoÚU؉><XR(؋?z/VG#;btI{X!wfgLRVtW~Ȭ.!<;HGWP rÉ5hR=s7 _ɧ̷&o ;FPI_R0`ʡ=/+Gd^)Si2 [ȒCxfgzh$Q؀a$ :_2,M7iod[_-O=mZMuK ti= Fル\S"l :}}.ڡ~#sIu9ϲN*UqCE JUaa +]ؠ9U7NƣѪt|[qhfH$ѕtԧ:qULr}^Qpݯx-4Ɉc9^lGm%*,Q1mQ́#Tpy" T[P;6д-Ip3!]"ŎȐ-7TdcW#|E"&U{*X8֊'^hԱǽ3%˞Բ Y؇Tn 3ԽH`رpk3^Ã6N'k |Zݹ4&FPq54w2cmAnD% = jV=VYmv<]gsO1p wRjyl`SԀ6x[rxuy!yԲܵ R߾˭g5*LЏNA;ANc_]a[ p9m*WXJ}LVxKCjڳC'p<7  eo#ıcڌ!7ѓgЫ'?cv!׀pOKG+Fa[aןHM_8F0F5 k^[b1֣y;^M.>T{qHCpW{ͯ\I˹EpF݁gwz^>g-7[HW{& ۩/RgC1w&!w\_L,J=T% 6:,Y#g`.;)P3)`3|-Gn(V{f['MMY<@/uZSM_J}*z/v "f P|P0i6B߄;ZN|ddV*8[umEjMfj96o%s%zatzED2ʫ;8@lBM@T8|5Ytc`Dwzv6܁KWb-\ЀMQ"=hڥtmP,V IJ8J.zj,lfǍY*5DNH7Dэ!h=8W 00VGs3%B}D#դ,Z8v`ya7bW%U`oRdAw*"dkrN}spwi&8[X^@cf WzB\r憆<(*BOLTj<`L܏ygBi V^)FUr |_0 )FDnAI{sDKW{EFEY7.5kNS{ ղ85hwӉX`%`c77k,kQoVmm*#]f ټ77BF> Dx-ϔ&V.=I0ChP䆘#8[Bq13izǏh:( Ȅ|5|))T >&0ү+ï0hcC>M*xju_BbF_5OPȌ 2#oN*\DG-=y}lwҤ~$sn=NOEG\&.$1ZI Dڝh Y)Qn2A1'OƋ<'N-h*I Ts3{zF߬OOkg|N}IO.fV6/ v4qOwu%u%0+ ͂.L-+!%F4Q}$vr%tOk t(#nN@)vVN#\GbCn2_m+}֊?)܈431t@ԭ60ԝO"\#G.ݻ40KQhՉy"Jucuߖ~TZQeqS5;24g`|d5قkb\QXcxP;f)"͑JC;LQFi <01"URq̝ڹszV؉ehmBnp4N0e;&;D):4:9NßBGNRd-u VfQ#X b7`2}Lbk?ZZ4BZe/% p a[U"ߤX{d],are>T9|$mpPckR u zͩ)MM:`;;+OFbޣEV(}4xV6ټ9D6pkZ7ONFLiY?^@Fi]ރ~M(uXܓ.OF UvN,ƍ79QX HuQNIz_6XwRKo#Tt<(1zfCR"d62yo8Noe'S3αU ۫? () :/A#8_cMփe lZN 5_C+>$mw/_+H.PǶ>͂K) o5ALg!Ka&6cƻ.#Qݺ)##&zPZ{/SL#JeZoCuI: ̙3ut;-cgОG$Н3v{΃ءtbw+R }rxG) hI$hУIc?bzSzq]k+wLoK@uAʂ%V/էc` o#@%uyd^K(hPj~8?\=#zJ\J|"Rʊ d5 Sŝ4TNR\/JҨX#5{dvg0mO*¨=tAmOXZE;l<=D(CI## }>vCN7XR 2~0XD)~9-6@AWѽB5J10^iZV?C4 XaENS c(wHnb?*;YIOH.^Œ:ʅJPG>r0BawۊDݨ"d'X%I] tgBKemEoa/Cq|HQarɋL?|ϴY;۬[~ Gs~>uk?Dܳ&EL=HH9#z8`<{ Ǻ#?B6z'r&sVtb7<6/Ә0ধyq:[3]A.z$p0ˢO''v9[6T 9dq]Yx]x${]WoRlxLD_2r&0' !bLjz0.Z'8[YP1[_^t={GYanɞ,[ &%`[Jw([̭Xq@1arR\bG9ٚ:;i{v!*n2S'26KȨ DivM\vN,CWIh>ߨy5%\QZ֌H,`mǏr>] yeqm1pOKA+13>\v?/D< &E*6B>"Gxɒ̳VLGI@i s@lGtԞ%z ! ?JvEdQh6ưVm(|.>>X,<%_T?5mѦ]/L+VЧRt7mrm<%BAv#݀^o (X"PD@FqsgEjG;K=K [Y{x:y߉ڣJ|o\uBI|Nkhju8{rYV יex4b"`؅)!Հ D`\TT(e4UF=E ;6Ĭl#JA= vq"0.j SRX]Cw6Ovݍ1T;Mڽx>T̘]DmLR@mLh*Kg/7*ee)ȐPIbUDSU~E!%7:M?+oBPYٟ- ö9:1{7V;Ԣ^oƕTWL)&5X`eC{8 z)̔3rI>և=3 ]8{&E@B$g;Y;s_U7X CDoɨhalݼW@xڅUܮ<ځCRٹI Ԋ65"\206LԄ &.ZVՔcDzuDIđ͵Y}(LBy&ΛV!6?EKhҕ}ωG B:| 8[,/Y"P5( nj8F{Z / .Z퉜d}ܣ#vD,ΎnZoS7=*4NcF[c¹(;e ٘%gܣ9QMn0&LDڰѤe4Fu&1850:[Ѳ|h4gs'CЪOIJ -1;Ƃj9KqlZf}wh3/=!gߎأvp 2I{{ט=p5^v$vh9=`_m/9Z_}]w%$M9y}|V2+$@1 ^;8MsZ&Ƙe~+bP t.޸;m jrM2lwGEȧN/[-QGpZfʌ6N9ͥ:E=\aMWc,c˪p2m%,f)< Zko|H{Q#{`)*s/{A]lҙs三)-s%jZ{DealT)Lϥ*|'OT8kP zlm jT:MiwcVUz9 /qhdcA U@Ҏ38yzܕ{eZv?e Bz% !O,A G6ّїBrLFZVa7J p {e.!܋J-SF8mf%$ݔ#2?/Jsię’Q^ᔆnENpP3}R>,-)`} eŽ{BN*R= 52b'D dV =HZH렀Qdz(~' %GV4~dQ&kGOfRvgiӭ-BTaL'0jcdܵ^|* ~JHZdX5 4 ̲&|$s2AQx[_]*I&,89=|_zVCIs?=O!&S<$LbrŶS븼gKz8d0um_K Z^yo%Yzy78_ɔPQIZMӁ](izO/C뮁݂`zJ2\BHA~ h;wj7 W;Nufa&jR`>nQ5|S|'XBT-Τ抪't {NhuN}d|C#=`;Gx#4~_' b]kz]$O&.ڂMj$m{g+2?ʝ!81)iC&)%шD$ A,TIc1Pa'ۘѣ[<6Xh ًvzDg&DgnͯCˀ3s᫡Sh ybIB~.7_pCHCB,P=}qi>~h_ʪ-ze PT^~;ms+#`1urYA:W9?SҿH\?_d1'?tNp|Q i:!|X dfO'XyeZ⧄`Svc 9d<V|*Y_qAYTeeY>|1I^O4C'-D>IXq~BQ@q$Яdu y{ v~Za/cvF&ц̂|&"β} U}7xѭz+%{Ntv(čf(Yּ}#YP@e҈ƀ9HaZ1|2CL 7z/6Í3S,Kq" i*[hXp@;и> ~T?bt^P|}fr?A}>{ t8Kbv3-'0_NQոdʍ$aG)L]J$ 34$Āg(_ ǿ-ʰ`c4Af f8ӫ8Y*v'ݳ Cfڅ+RqXW9?y-BiF+nާhvӛW=YCbH4ƻGՈoO4 6@>,50|3 [ZYdFo՝ɇQߊeg䂘hȄiVŸPaqjw[x?n!!$0bY#d 1= kU+[=0Ϭ_ DYTZF>lku q$Ze2Cԭ+#A14vҎ49hn$,"Jxu{8 {s 5p)8@ŸݠkUq•tuK`wVo|X3 >f.&[iVeD^"KhFDsw)R1w^7-(M 6XLW>:FZxqZhأu3\%^eNéKz q%|Trւal'rsQ'O$dXD\ub4Y^jst#F Ob}4j]EN3M, @?Tv:aəʛV&4hD]kTyBoR8+s)ؗJgR Zk俞*Iy, `ueF[3|U ϵ2+qnP#4 )!z%[Z IW Y*50=ii6a%<ϫQ=)&O.>=z6}rb}$PNfr2O ^c24b' #EDRУȝt`y \HXib2W>S&}dٴ~8[ %;D!z.a{bVSztɑO4g-yl)X: ``MSf$//YuYbJ:pp:$ շa~$qlTu 2A9ӥ>[q i5O%ӗk:cK/ |΅~l c$zny?ƚ?~i#NJN5 <=⏦\z ?Vɳ02ܫq~_)#,Z,L\ҚS0{whv;g_ǫTpR'NSiՑH GUx)>X5g+aiPuvB%.i p6'ݚ&\4sb.޼A*q-&bVe=N"g0e^%'1n`XXOf ^.}Bb޻Lޓ q@miK,Sļȍ#w̆XZ4-췄^)TE_lIUR>,l96?zM\QĥAԫz+^f_<E/gm+o'R$aK /)}ͅbOX +tdUƐg.c@AKP CpL,b<#zEts= $db6~76ւIC,%K;qפ5jĶ<{"9 g D,&gGHګ;wM`1?OU XdCMۘSBt<U1ގrtqJ$?bݯ+r")ډMR[\{D MWiЂC֢2c٫iCfGab4ZFgN o2pâӇ;1C/gY4:>8.cGNAw(i* \Upub03-GFjxx/R 3 E`OSR6kcR`UyЗٲW)p)`ChVOh/,Œd  EWG)XZ$)gOiUOxP$ÇR ?lY/;Zh)pB#nV~?Nu.XHW`{X35\3zdNX+j'Cƣ@*3 :.[^ d{6lXedBIl*/}8s&68w~*k9a ɐ -]fnd{k_J9h MH9@55z+ǦwMfλ/.ըt+nút8xVWRM{)gW3=B!FڵT1;{¸ cOw@$6F2d^0`5ӕ[~яvGfV~ ,R͊g:R_y-R2,e1'/2T/> fst'n ة5B9+ciRHN¹{-z[1i)uM!?ut$UѤA3wI)mIjѩ(Bj+=c%㢸v/^ x%:H`P=K ˡIօ 1~xnCSlv^4߇iGԓ`A$^hJuܕٍ9dx%GgVevQD֑09xTΦ( bbl\d{?i?2'In e޿*W 88pG,( -=ǫ: )&Ei?0. "G&AĒQlx b\)Sz tVw5G^b &۱gPt; Ϭ 7] 6EcuA5gI"9e?V;hL"a6V<k~w5P:Ғgɏ.%xdJ>"S8V8^MF 2)[;TuC;o lhl/-zֹF g1KGS]G"]$DIЄ& ̏9O)mJK&OS,?AGNcO7RVR I51Z`o3xFxg?eޝv!Tcn kzQUAϼ@٭U K_8.BRP[-L'W|cDعHR%M]PP٨GED7x iUVqkт^WpMb]}?=xveR[DyByp̟%H GrTZKf*y?C,n\]Y,#l#źaYo 4X#P݇ɒ)8@تB,CiuƶĆި5W5PCfJt]'kM_`(#%X֪Ⳛ&J41h+"'@As}>L1&B C8s߰R^+hE͕eUɦGlfN+NpBM 7;K` *#\.D #FL-p 0}&#yT/wA=xeI:f!ك/Fp{(>Τ PC3Ad!b:Ux-+>i_^z{"h~mVKO9OşR=vϚkMkncu>0:Ko<)FA`| v'}_wY܁dTd{?ˣDXǍqrGZ=}T+E7\,faT0!jj/$?RVzx@}m[U1Vkft֮qQF0YyVcHI߸7}*aV7NY5.%8@=i/@'06yZ(i6(b閠gmԅ<_e;araw'd;#l~/;oK)j9~-vHipأJyo< <{ 'e!a~cCeRf.'޽8WkFU<^4sD$~"X:;-t:XqN{5*F]jr89%x 苰.㢡ӓ6PR189Ǫ50h#:l y Fœ]BJ+J8B͚U,#z;R|$`JNf5HORT3>|T.$E^ù^Q_E{iɬUB]?.PUv=d18BYJ/)9mlNaܦoa⡆h_ަr&)6oata^{ p)yĈZ㗰Ɂic̠i=gYv(5zEL4m: 9ڱ)Y$FE3 p|͟ .kRJcOkk:&S0CAm3T8CSaJH]_Z}X]IxFt-w^ Ular K5^D$.rV,>K5*Ĕ5e5fF[ %B /|+`pZ 9,==p` zN4. @@W/6Kԍg]G:pP# U ffCg׊_S;Sux! 8t}Iu%7lic+ 0ϼ7eJVAX`JnFFQGXgieău[7VK|88׷{Pp '!xLa+ -zicأB(ImCi3 C7݈\̅NCR3W]U'@tq϶a n=G|oO^X)>S(GH^vvK= %&( 3O"6dڌ:Rܞ.V@1VdPŐ/TpiH8Sd[-o߶vlw93lhG-F"n9&a盀b<[]Tf/5:e. /  33b3gy櫣17;Ĺ[ Ņ})/y+ء/w/vTjF i ſv:Wo=>,7\-` 1CɱsĶ a*a [J0tq9=Y$ℽ0ghhn9w5"eX.mPNȸvƉ㉿9u~R hYOEAIw j_Qe5+ ĨӒH8^?;Y=Tcf(/#޿VAK^ y,}g-xKCȦ'm\S 0jhFDđ7T`#iS oIҢzse|^cw^%3J&4 IĜw¥J YC;WiVSꩨi&!=4ŽA2CWP^(WX̪v?ga=Y'YU!RRukQ R=zkr]͆^f,Iwzswx^A#9ND "l+\3hM7m߫5J^m2qP ǏU47^ؔ>mu)7䖈;/: +bm2ԤX|*V~+\{[/8o\kI+%':t7 ̌}mx*گ?Z qsکi@ֺƝ񩃦,6d\m;Lyn/:XobۿݮccZ$yJ#LIwm$@j#m`o0ۍde7#pӸg(jOkfIk/SN5s:Fjz TO lƌIiD̥ ֬$T(QH+<ml9U=Qs}2I7ܹt;&D2B kpd@V€ tu4;ao"vt!50Mڋcdf*-ޙPo*̈A%r^2&.1m:otH j6<5aCz*[K稍]S䄋̜& vtbjH û4CK-3B8h\;v :8uGWB5R+%z 4R.?^є2^+_&!s'B} P1$Y]>& PŢz![H#A3/8Xk}*[ L w8Hlp@XuHL N^LYr.t{w.i> C5uӐ:УTڞ{LT˘çkke. g^LdѻSH%fb#>*4Pj,_WwAKDB#kF".YJM\. %xVKcbbD~\!3R쎈005l8i~mBҥePR%A]K.BGnVu!) q"1ܠx}iGm(Kv3 wU:Mۡ$L~ƒ42eZ~5O:x݅G;6t=E؍{ }rOb)!uE=OB]_2~'Am_bpzKg$Րw D#jiDNr5ͅQX1\D#OF`e|=ƭ<(qyd׭ė5jiiIVIYU= y ~zsrgs)2c\ wq+i/K6$[v=WȠ8/s\_0G茇Xä(Xu!MAs벾f>$Aqpn dǁ=,;m=Q,EÁ?z+#etk >6OS͡ N\y7PCtD חb"VBl!Zj)'E<ޒDZECP{?*v+n4|[. iR|uThom?( n A8p`gH`ӃtK`> D ڎݪw]710 8-,W1i $^=WI?,xlRkX)dܳ1wQJQ*RkCԇ0eQ!a!LpYwF%Ũd&b,!-2@)Dz HU[?^O)MJ?l^ct1Syh/ ) $ {USg{ҳ⟵PFSRQFe ,6509QLb5+_DL7C$ EaWbtI0*F'L"F5?bx >+VOXͻӤ2A%=\)n tA)ƧQg8ڱ C3b[CEQYCTˑDX?6m Chn5yNIgU"fڨV|2uHEuFcKjXpLIdsu^'y5To:Kʭ2:_ $q, X^ :.`e,"+-\JrY};$x{QAmCȱM^,q]~ג޽fQ@dGts t-{!`*{ǐݜZ& qYkdAT2.dbЈ= s†TF'V]d}{gƚr {kĠ'ݿ*l(~WX@nnsF.Vc~4Y"2g,@mh[JvJ&2/C^i[XBm?+jե;P'$PmT685vxEV늒1}z4WHu7 (0!M[CSMՔsuQ 8THgĜ'|+kz.׷H&ĆM)p oǐ?p8Ceze7{}0U"27SE'weM4ą$z)>|̓A-W~~lV=UU=\}Z+)eOD![[}v:ڐ5xOX놇\; qImJ}ؗ[a6?Hn`"._fP!~qM/sc'ﴭ:~2o\,MX?܀,BI(@Л %@g7naIk̞ҕ,86Vk$m+ű]ӈLJ}I1:Y&=l]"6eT"#'8-ZQwU|.̯jZUkf5*j -wx$&B˼utlٸ =Z5n׶v˂mMg4uBIN܊˄L4'SzIkQ\j4 K CXqi'bW y*L]x~j5u泮pLN}S#Ɯ-iΧZ"7-h"kMK7_Y4qtuJj*, ͆, ^`')ɿbS|@Q0|`d6m=[/mt)P8 v[9mʋӪb"D>(5w"p4k-r#L@D;W __2oQ}lSa'8D;8Ϝ ~ K =H }?(~aL3?(D6̳|w.F6ƴ >mN"NVGq`O&<Vw'IF/k"C[hV|)yD@{P*A)6rr7SE8-H^m+@~2_.tMXw;eU׶ӛE5jx x4ʤ֪^C8qk\"zp(D7?:rPC08Z}s$ey'}Z;H-0VeD@|`i+g:"` d3<;YslVp9[tC9)\}bghw[u6- nO;5l`-*Vf)C|L_KON|Zh8BF6s[X~5x`94>r2HTyhu-@PE>طOO,coPe,x1b6ZgDݯȐM#&*c!RjmXq4YyBO:^޿ RL)/b;:3Ļj K0 _"#50 iRωz t2#bj87G ucsǗFx$."Uaf!Y]MɽsPr&@ڃqSI N] HRl2boy*e'3qX|s&? vEW8(]PU2Npe{P-y(95~,%Yl.mAbh=m?7VszYUQLl̙H%%R%@6kNxM)gy'x\\GjgȭA7帮t-{)l?Ntx/L/(揍#3B4/{x;bKa\Lvrp|Y×9j&\Ѩ20{u  8h[9?hRH3?_X}ZwmuW-8GOZҤu@gBq%,oyLЖWǞ`VR+hFt 3Ad!NADs9zMHo*i6̲Pv{voSbyBotuQy!$; K-d'fc=$=쿰h7fq+:yխie/dQawR3Q r">$Jɤ"cu @8ˬo*u#p1(i-p1^w}q_2Xp&w1Aec'wz؜"8U3ri6p*&zVn)gp:VtM'Nxw͆{ryޮo&^?zfZ:< 6A*YL>NQ 5$aAG-yLpm@kךYO8$dx;(9F&l$X@Xzdk6Pކ|SI3l5ELtb_xE-{q\s}UޕD3Hf)@ead^~}#1'׀#zPdg?\Vp#3 {H!DW>β'~NgesS5x7r քߕ)?oVn-)# fSaݖ=n!&u8#)o9` 3SZqI~+$d3WpwNQ4AiȈJ}]̆P0*ku%Etj(7P +g5!,pm4Q1CPjH%hShﰢ~>JV9#F4|R~9>R5m*&͊%A=;7ܫ:Fkޟ>AjC_Pab)7%|n޷nLCGLс:!k}ŁG>!Sj3Sw Kikd0d߬= 2df)Q6ܣRޛMXӱjcf@PE풓Qw>0'bL^g{;P2;~9Iiz?k_6YŅ;SXA~[/7n戽UbƼ9w%9q9Uӓ1د{{#F)_X̹>""=+NI\c+$IsƵ$Q6ImuAro"^ܸZٵB' x|'l^ M☟`5>A>ə`LY+2ȧ3 EIn94,Gwsܚʢаs #ͬ8?ZU UEW Ǵ1, Ub59#%yy/9rB\Ћ|Q|͟G݁WO+&Ai)A?BkbLQ)Q7["?aj3\H'p2%9k:l9FѠPk`.ZZӗ| ^en -lխRr磚ӥ|{ #=+=<+0#պJ((\ewx u1>#3p4h^^Tq}PV\rdju:c!GH@OEe3 zB@{`}S|P(+Aut+"ai9=_g/NP%]-.Q1XTg5^Ix7 rhM{R.US)nG8/~ơ+7䳚>W5&dqa_?-tU}8c*Y r4ڨl1k"d1mu*Q2|#)}N(\@?g*Se#P1+H-lt͗˹<*{y6dg]ͣRq̉.ka 4!? IR_diл^0F oH aߌ5Ik$뜯w6Ա*G1+KCKkH7ѱ!gў51avU̎_P q?N*h'pV Ev!"kf@,QY`7^HjN{|J/IY{_>|=o}4Bz7r[3o*ekz|B֪9'Tfo3`p1E7>r` ƱЅ3pcWO8QZ(n272;^z W5.a%pDB"96T|?ª|DIIs;pM(Ț[Ҕ{ Iu=H#vIV(Uߑ‡8'Tl\4E- KwaQp[9RmoE/90᚛o9 ɸx⦖rWClP)l4T_Äʞņx(!Ӣ x 5-Y _Ov FKJV"*c%+kyri'۸L\0AOF|VKA3t2I#+/eߨHuz21Ţ`}6yr>5Kҵwˌ"7'p9evYh558@h|?c;:#we]}Y@ƍjq3tʰVso45,OES-YH!S r8grK.Z cFVkE+T*~ ~{~<`b, 8)&%E9OqeC끂"w{uF,7g|BQM5_hAeeD&CrDZRi"fZ'1t4emfmK{:N:#+*l <ĄVK(=ac'ML9֔yخGW1 Ql뽔]I5鋕Ydx'`aH(?`*V*maUCf', 95чSk v0=*oZJwO~ 3uyG_hCY @hM>h1CbKETeַַ.\Hs&]OP{!4&̠EZ%%u8|N˛<"PlN8! hJG5,"Qd#qmT ~%].MB !5gHli|Ž,lٺU挔RM/ilڢ(09UPo*_O4&^QyңVaf.Qf'񷧦*gB߾ B[e㻨Liкh‘HTgv(z7Y45LQ.#tbT)_t87erk=jJB ACzVK4EUjpђbBh*^ k [M:3InY,i>OauH2%2,c6\SG@UeM)$IN% =d6=?EcRvrx#U (d$P€ Va̎}?IK̬rLl #&fuYJ(_Fƽ o:I ܄ p΀ߚ:CXPԖF| ^Hp4svLu`\w{( jIa[w l51hm|P SiT1SeD͞!dP!{A87۰{k1֏gQRh'NgmTyP/靱@HR>(mբ5 k =Z,2LݯJ*}2l.Lp6G r sl\]Jid*z!*= C @lAd'`vFo S"fH7D]FOt:CWz4gУj92]h pWޓke>.P*P~=g3GҖ?߰~G`|mwz`QKI]`w@':K5NgO5ˋ&`@9"l>kija-V޼?MΤT @ՌqnĞMIМH{(Y[{4Eh'^ /Q~`ɀEd/zЉ.Ĭ%ҠYU"k Рv_c)PT5M@؀'n^fh@jc_1tzuSŒjJ\֗BFmRι?- ŠUF|!P)YeũfVpe=>"c^qsTKDv[`' ^ _%YlG0)5:o  KYD'gDZ>ep*~^KGHx#̡GoĪʯ ui0klWFkgQ iȮ'Q*A"-ՙAlMlKu565Qq5ܮK;+IL5ϥ14.F|Km}6[ܓOG%u;mGu!E17ڌav4.c{U+Q0VG(NQ&s R:g=-R |TxEaЯqkB]QKu¹6[V5ʹ^sASΆ.enR_ߙJ*IEEf7-̭u F/Qɇ2"[NN* 834:d^M%3s_蓅R 轄@l-ضF01XMK[ /`E5]@xڠћf7Ҟ4 f-40*\/" 3e 2G1M|Ӻ2.4^UiUBD&nBȷ '^~sym؂7~sK/RhOc3آGS@霅!d? ?sb9[D.VDˢ~[:=+"AqX1 D4/ Et" v|cԭl8Zzյj̳5I;9w^y{4ɮWI:& aUn3d09$֨l]u -px 7H1@(Pjl 3+ DP>I$|jv!B_Jq<$Lұ{Exi&&͟LRMYr2Y"vh{=CNfrXcte<dZWk 2Դ[%;+U!S}# 4eua@@Z B((!4JM*r{*̸P]#=O)9Y7kо}:kim}+-` KW%R/03${) @HT0#_ɛ,E-Hbu+%L( CVuÞ8b-m'` /L#'D4`ëZW:ydi/TKd?Hp]~#S3ٻٓjF`\CP˛ɤo6zxU"@{\9ZѤB$Mt24VJi~^XiE2c,xx7㣧$3 NL]ZvW;#ï@' .wnTVX_6]}u8.YsW#.Ղ<>wz2Z2g2c7p@a69 J<՟,Kz|\bYf=BjMJо$ef9q)S>2?dS"{so,SWϫ⤠r>;f`s:O1i/*LAj-RL=amI=% N+zFu/8] x3gGUd)=Bá? ~!N_ws;+ȉb_;s! h5V\zΒ1CswvK4-q;LBR{GDFXEB^ 9I!oeuuB!rn]w*`W$ ];M4b)b0g/22q$`}yHD.9g;p5i_ȌƊD͎2Qc=:/:ѮJ,/Tua2ip1Ҿ[agak ]0U'տDwZK2>09/P\:,{_/J<]5}5Oڳ۲bLy֗)138p&R~ 5P fD\6?Ik(LOƙ8Yz}#k]*,Ү{cٴΙ؄|n+Y43 =)ș VU3I/ÝD|*_kX2+%B|R:BI6%Vec|}A9~^0MBSlE0k*U1)NW"(QY=Ewީ"~~!@{Bа;쎝ڀ ecߕNΓY軱LANǃ֌]`RGCy/,%d_(G۵5Z =Zʻ,sv=gI[o H: OԊ`OFԚl^u>AQFH19Ô2"\j=fMhS%Z^V|]##un^7)7:W,4dxfsP3`3F7ҔIsafX~U"j $CV=9!jTM;M]h$U|p h \j`p< >gZXΪ5{p]`8l@ )3`Is*UZ$q9zs${Yl^?N D{?^O#:4$ %Ⱥw`Te ׌km\ OqQg>1(\wxDanΧYؚê\8 SdϋzQ tV"$*U8*cHU[}0 4jqL-V^抴SVq]J492cm=Y {ǸWjy/4;+*`,f*Hቿ.g/wޅQ2fEέ4\x΅#'aX/j|&\m {>J=7aU@\.SDB,PJ j+̇i|X w"]jd[_]a09]?v1Qc HuÌ(;_kpk&]W-W=kgaaRQ#ɳ& %bŗߵy\?fNׅs SFh}>]-b"ؼ5.cð*_\:6C%.3ECnt'sj<y.$ah`_4uSgjHG5u\0(8X"\G=-T@Q=,vǶDaB$ nӻ͑n!"k#8B!Bm>{16Uc!}>,Em ]F>жCøu# ψ7<;c:$ƞIBP._XO5vA. QS.*.,Ƨ- .=4ܥ4݋Ѥ0U4s.$*RBEr-{X%VxV맾U@~n[#ˈ#s)xQx?wBa< ְ ͯ% L;LbV✗&O#fצV(#kLd 3orٕ:Ek^|oѢk$|'L fw1F:5ThpCU0kI:"fW]^8sgr!b}wd\֢ٝξ?o͗T-T/yUe doz[+ 9*qvMӾL?H2־O(LKԐݱ'?t;=|XY ,(Ũu1 FsL$y%(3;.RM3%"M`O႐m{CZxa}v ?!›ӲY]֌]8ݬ>P"t'}=7n1v űݖtQZ{8'#iJcߩb˔ ډSSiLtځGEgCMc`AGdf6,o4/0Br,<- _Gs` P6TQEmHn~y?Гl!eg(1) T SAE:^r~>?x"/5..+UA;+Sf$nh7Fz\ԅ(eH⢾:-3,JuncI }]/kkOh.4y`G*H⏮]l{"c{#G5H6H`LSTp͖)7F^L XMa}17,q1E`&'[(cNu"ݖ1=ɨNǒrAiY T* V@(.R VTyf92%$1F c =pB)H(cDO_2͖9w? tle5 O.cz_C=߁&HU?\:^9'x' Y$<+XlϢ *UĤsA#'LsKLBzi4JܺAKqy: bNe>`'Gʘ_v$Z'OoJ=8αc:Ӹ:LOn:by1%_m@>!ig4"HQמ 6>h+.s^i5rN> l#cېi*D41v~;.Qw6.smOWʘYzpmP> T`fD'cѲ~\%~X{)j̵D#_G BQlPI"$~DVa+kr~KÛhI_ Ln!bYE&wh ŽIkP$%%嗗?*qg0݀>/^- '}g9"笢yM=[(ku5{R6\+g:f\3^f),Dh4K.?1ZUVݸXuŠ򿓻hJ2<Y x%.{ZPcO~[l&UTd:ExMJ<{df} 5 AՋLn&gKޠ=@V\Mo U++~ޏ.Į[!lo4 c-/`x]@b,OQQ~r]ڹ aENt=@w$xϗI>$%sxV%`?JN4/ V2Cp h5F1L٘A9^ʵmĹ;i7)euS*̿tP60Q?Iz gfAmnxВRRx(*pNQ"^4Cy= ?ItP|\i uo7oH^[=&x*Ow_980?ΤcOy`(j RuoE PfwoK* vbDg,7{,rf5n9XlmZht 9+\'HBgP{,(+ӓhp3ƾw;UL#MukOTȍ{řx;}weSʉgK :n*RIXXWjj:WV RHz˧)3?x"Sˢ}b/0aFrM&,-%DBL:׿9w'1[u=}9c~XZ'K; ˡ3l,ov~+kk~D#z7u T(|uC_lgN(-&SI+Dy9]Lh»go͐z4` u2tNj[e "s;wYuyuZn 5hT*@}0"D|70l!3̉5~[zXa[NlF(@5'!@N+V5M'PkjD3< $6(0Cpk :)<Go)fޕ9c|t!q5[weMVO*" ~V!(8d Y#p3{bX}:Y7pVtR{f)|~ "+Fكh*e(KH}t̬?Lae?e|&& $݈BZղ;I<9(r`ߌ=dV\+TgQ(!p7ҾG}=l9vKӷR=:3|s*[4!a| "KSG`dLge'G9\allz'5Uqq838+F8BIR60AAf-{> 0O>ZUPֶ h\=ʑVz{`V~DZsˀ7qGZĖw8+p(Cd['7.,^n:Yz4* 3mlcM)]Auuy/g*:"nTz3\swQ*YvOMT?eyP94'SCul2وIX0 Qxr/%zܵu[àS pnݭ|="8Kڂq *tW:4l[ZQʹsi+uˇډ+@.޼Mw#FNHQ;VDByʼnYŦVdÃ6gG$9U.έ7i jU,nP'-;zP 5m5xe_X;!Cgù&DYM8!,3Hu vL({s`q)FFjl4T I Ӏm^iyGQJ>M4ӌ +jmĬP_%X.k={,Z aAnqPx z%ŠPLzbϸ}8?fH,߹2EvK.fK./Xk 4L>3E>P8:;̨#K2c(/_}2? 3btO׾^ºҘ6"mᣦ'%V]AkY+B莵$_yhMhL'\~ǷETC;ְ2M꞊ xez'UqI?w64XDǂb 2 =DŌV`2-S Mi猛: I_O+ndePֈ~SK1c7:s[2Sp7/1Wг0 G3bD4,$.;2^ `$͵nrbJB]&󓙥m/N_u r|+? 8څ7;. r,%{S,u|{`|&r=nJIK,$hjʐ逾c@ 3S&z$QJN%HI[s80x*BAOGЅZ+Kx/)g31HQ5bVzŻe~,^Oa ;qiN P W[/BԄ>!K^Uɵb/mZpi(rWafÍ+("*gr 95ʼnlfF F BkW2X@>eB's^+ K8IJ8֏ ~CLSKKj1-0ͯ֨18Z֭~IxA8Ҳb{9%!mIΗ q],܄?ȹ Zػ/xMb?5^1?14cJ[H)7t08z[) &7 < aPh~zպoƁ}ZpC8c5n ʬ bP HFYu'ta6~CLgnetNSRT5Vqt່7Iw6c8}5߁٪rɪTDvZ ݃_ғX=Z$g]0RQzI˦w z%HSf];iH;>se)޴p_]_}#znPww$ `8Hy׬=uF0~Qw= Hgq^Yz7+{%7I #k#}o17mފ '0 89A.Eku{J!Cأ&u:Tt:=YJʡ٦J0"~D޺\5,Lx0,:qokLhD$0+I#s$@ r+ycn.ڑE9vyd6(!p^Gr0g)*|;˾Hz Ջ΍r)Y;*\z2;ol&ipE,6FȮ/%}ZΪz8Co>A-~|sߔy˯?B ;L#O@'6 z`hrhr78ẊP3^ogYZcf7096cd31879fab3238bba51ab1519823b8e8392de776be54086cd6f5d576144c34608108120821563f80dc032209056ae1d5e234f8e3c88b691190