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 Z1 l$ ]/ InfPathElimination:threads=4elapsed=97.512cpu=312.156gc=2.284factor=3.207zXZִF! @]ŗXiɟH)0%oJ]ӈ +3a>j`v7%qAd[ 8qPߙ.?&BHpnzhŢ"84 jwxརz>B:P5M@͊*.CS*$aT`A\= X.YR0PNE&+?7+Q5:KxZ{0UJ7۪aԂلq`ÐcK Ax+&d_,_EE+CR(ydޔu'^L/4d +6RoE؎kO٨t0=P>J(v6=A8|YZ`uBEBd"g]m ڝp w!1 %/\W`U,a ])b#,h`m4LG((![s*ꊣ./kLQٌ7EQ ]@3Ei}aO/>5 ޵'\h_B?yx3YٲOwLQ_pyԾZ(C?g˵!W\b'݄\N`x!G2OQT6܏p]gteX{U˻ie{azɔ(5`w%-yKDțz DxGfıCsǺ Ьs{A\u6zwH rBMH??Y7ޚMNۜ3ZCv蜨Xץ"-=b)q|AUFcЖ;C yfQ Lx |Rɘ0F^ꆑLy>=e?О'̵8So((1s>,WǍ(3Ѡ;ې(R>dͼG>H mj4ZyVh^ͽ=98N5e[P]7LqM,od&*^EZ1)DHM3"c^uM{%[;'whsowZYqaVs?ѥ@`ȨUNjI 6Je.:)w%R7g1 l=鈩|GHaTWY0FbXѣ[Oل AlQ̈́!.{ 6mlA|*5M'%41MsAY^]ܣ;H2r(`]cn ʰ< WϷihb \BG@I[N#lUH+ 1v!ܤwFڑ3J(S D5N rm(XZJ~j)}"R~bƑΩ b7 wލs`J.j4'2UQ>IJq?GdS\ j+fD,ψtLu[\ nHJ>h+jvl#ɓB8S"`1 j;+U~DưD,)h/!AA`j_?sZi0dh3poܱVְ )}x,i3Ƿg?V&5 ,MOoީVdG$n d؞  gheG&Pk+T ^[J?iuDԙvqw'ѯJ!e5o9OVXYxA(>I%3`V׮M"\:5 *Cq0uv{$\٫qs¢Bu[D @w+g5v}(1ЕN#/.!*e`@)d݁L}('\fb]Mr# T "Ρn[' jq;ۧ )LwNHY܎v x (T6hq͸~eZ?I_hַ`Z!l/t~?RnTPt%ujW'm> = v ٤ls +N)x`^u)g֡P| W8ya!"EI Ue?j[M& ct  .TsHMA`ߡ AGD/NyfϡXz(aS/ ɿb| &iBC.],x,,76?é3JQ% j1vu4 퀼 8];Ba]`ɕ[ONBYUku9i5El?sxBa@΁rMƘbf:FmUMrL 9`C HRPNFZ5`S`-9ǰh*2O>T&]1$c-ϐ0"GP{II9>y `Vh%ո-=4Xօɡ[HzyƆJK}S|P490heN^JD| ԽlКC<(Odv>&gBT=uP6{OaB["ZOtu;trhg9HVT?x,U | :d)ajk7o\mC燔(#N*fx˨88`d'?ܘ0RhZ9H1I6LtI )iy#kj%@ 5A#/6\ǼGD O". +ғՇ'J *%2airf.9Y%S՝ l}$|ArnƼPGbWBW&l1||*vُv:rVöS6P'{7yKV%]ORא--n`\Wb8tPIޡА?"p ahnhmL hޗYÏud[Vp'm滯\7q Cg{|Ag_q-ُҨ7W{"՞W?H?3{\ 9UaaF=J!j|_oF)+ Q heRSҖ\%IH,ڷ@OWFkJ t璪^FvLwo5e'"dc!}Bz~3kb^xO!$/KMHZf@ʎ&bB'bEx`L|E" A ^rfo43)rUC?QV yQo[ܤvpkZHᴘ&Hcy-k=zO.!ct>c" jx}h/QLNGu9vCdV\vs2y]k~֥>`6o0 m.8+/󖳉J vqw'Q'u=#|cWKM% ` ^Vvp> {.5#/}jkQn}zpt?͹ͅP'urI)wLSa"}g1Ho M?Zҵx4Bbljrؘ 0꧱~nx~ ~ava^Vc#vŖo3O8"'q@Vt|#TK@=OA3oȂ+=wz?ˑ=oV?]4ȺhM{)U%*v;(w]1$ZJ}b-"0$d.B+\g!2s/-(_d!|& b6!CGUekf,k@߬Eˮ[6Q%g6sQ{Al"n:mcZ2F"E`)ދ4'1<PS,ʱtڀ˦tyO4H`J;MP5=fEs'W2}7׫K $L$Kj^[&3;p`l܉,U&Rox@ he"6@YRw%M"ox/-N%EB( {Yis,8P6:."K$Czgz˺k=8+aj5yrVp./ck-燖r.6_{csC8E Ot6-ߍ4b6IM#DC :!} 1LPGM ]=a69/\5#`ei* cS"Ul -A)JtxLe d6l 0ށi7uv-e@X8(w?E40lMzYeGMZVw^˼-]ŭD<̢Z2la^4F&{cE>hLn= 4nYI; 2ԥe^\akƅlⵓqt7"Ti_uLvaXi*{^&g4)ЌtԲ*?EE iE/e%qT΂ecDޞjK4E1RbuNKH]&7yIգrR8V;~)9C^Б;-x,| >UW^j 64~fͺ=mx t|y 60b爥&fW xҔ`պ'q_ns.m40p25O;znzTA٠ji}_\[bA{xIRmḊ+q%Z\_}x_ϘW_i`ecHB#~X?sv&'!!:?̍2yWꖳHN _kv?e%DdwT` z[o;6eU[\K8G ) c/<Nj2Dp.@J4$sHV"!bF0MPF_ct4%"NO$TOf(o>7w|bh 3irÌéK̾O A,Q YZ;JV3.ޝbxKnWPp{ΥS>{©ҫ?8C =T(=H3} +I)d''>1k]5`;m8y¨yP{U^ 0ybL7m~Ng+(i/r "6u6ƝnF*RD$MKN2|~ChC$irdKz]*n$vx#(c8bV‘=Y^Xˎ[Et\gucQ][4Ht_(mBOq͝<#0ͼӶ򧇜oʭ !Mʦ_%6*Df|Ciȵ})f.ۜt%+0*:KOz񕠄S̠BjD&_~Wn(}*yBgSO.c >TדLԗ!މV=@XnOZ. c?MYvG]niQ`]p?vj~'3@n%o>#ގڰj CK@MPhLg!M]Vz*ISiͳ0<+V Ę:ҹGӡ'^̇ SYǸXΙ6#ks Z釤q/ɝRaO/?rTJ؀)ʄr~`p.N\(\U6aAtsP׻o@hNr+6 0R>-BUyI1q4( jf,Z)Ql9Ym^aKݺxYLʧ"coٯI22~g} ,ݙâƳeoGE˟I 'a`S9)7+I@j>3ŏw)"7r) :Xa\ ~"&ES' ">H<,Ѣ0+KYOnB1g׉RN/S$ D!kJ:mr ,X =Vk֝Nbx] +VYPٓ޽iu@Mv]t,Nʢc ~Z\ѧzg=g$`%&>#1@z]w *̇@cUCޖ$(ISi^'V[B\/[9jNtY|Uu=hj1ôHc 9ԥ`_j--&bî{)\l5CشҟdLL7Z8jX1 BQL2S8Z9=: ppc<Ҝ8}5sJ&*#FȂYy5Xf7ׯu `_;:;XU#*JͯHFWZcmF5߸Kl{yw?P3!urU핰pncve[Pm+spC LlBke<~( +}$w\=ܷUAy׾\Dк26جfS/( {M#c Xo *Lώ:S0fʫELhgVLzDQN/Q}#+ $@B_jۥAhepwFڦ=H(*Pn[30*Wx[3x)'P0F֫J[kC{ +b AJQS0uō '[+7p^O}7lũ3RWڳ$.GQ)~{6:B7C͘$bPC`j3pRz[?@k+ @Eao4Σ8\n#B22o'.!q2?'Ox4Z+vH-]Nyt!p(7Fs.a1*i$ hU  ;Ry0&"`@Iy=m'uJ-:*aeͧQqѼ% 3~Zǚ=ܺ7LUKn)JŪh ̭6㵅wJ3/ dEO=я x[UhiL|\tvIlձ{?*֤zbX'-B/ns+.wǵބ<5O{$oeE. fxT_e_OA"{  lRM;sˇB̆0>39!,2e E&ag)rmӎ-<*o}Еv[hl}6pŗuQ]X]Wo%Op"ZTIQM?WJppLxyg5_`gY٩YdAW(Kܙs^J&q7NpIIxi*pT `)x\ TIxU܋3`LY.4ߧ.ĭ jz̛(C)]=ȸtȚ/W7k޲3VKGC')_ĺiK_PQ]Ùo#㵛D|H7{7%}=w*CG&e۱;6mj5g 9Έ/YW!N`X)_@W&clrc\3gX#_^CN B%\]UVg[D^rY^SbI"!֠+݅鍄jςBiTZ&S3&R)-ڊrZ W .P]ԄPD:gҠk`Uoܗ3KˮlC=Z^7 i}I6Ѝp9W·Ĩ"\nrVo# 1* eKĽtDCXu)3=-Y+/a7i~Z$ Nd/` "-'ae ##]vu~MGU,3].au2 8|e7C`cPŤ4I{:g{K]؃9OcA2;/l\mjYúew35Y9 5LH1.1> {qXpCi.78Zuc̯Ìf=$pO! y >b*fW"t:AwU蕆4V*LTCU;ҿl]"0_v}{CUzg C9Zd㣡G&/nF: mOcCMA9̑9MI iF.,L}?D~+ ]F `L0kLv?~v4y}]Ke4Qy%4^9$IPX91tC27zR9~.$&fzμ*ηbEP"H_:fw>0ю_~JJ|>h,V#P)B'7Fw` p 3YtOGaF&,?;CDE, 3ISS1]wᷡϯ˸x3{ɿ¡$oɅ)] yL?ȓ=_hIqm$8*_:LooLmf;Q|G¶ Y̱Z/A%+vYp !,j!cL)>[=p\[QmэPRI`q@6 ^: JkF?ݏ ׀`{ @s+^dmt2ZHK:]Jta@y\aZ( YqHG5% aV(tBָK]65X7oh$hYB)(}gάv#Ռm:6"s1P)MiP~?!yRwz7̟ % ջ`|SKZ&>.wQ%n4Fқ',O,k -S4^z'rі/mƑrW o --!9Y{41oC<ŞV5XC}o'&L˒MII_50jt42ޮN=3<Om]7XD02IwB fAiPK)ۣଡvy]#[}a\-Bu{|%N{<%~x"[Y"ʞZ j51 `"‹ci s@Mzm l+,47xÌbӚʍL'y .01![Cϫ PozA\HGtv;@K^j7E kѷdQ k=[+۴&XGnKI_c5 ; TyXVAԾ侖Y߄ӔQ~p'S h闝,# J%Ľ%[3v5"l][ :Sޡ.ԜJ+AVv1 ƾ Z iw_ \ǘ2WAzg (y"m-!Yp0ԇr@J;d;9=̘ˏ?Ptxl߃?/dG=, :D#/}r(T3P]ӏx0XOTSlRIP3z }3iLZ O@]6z+\'QX!RD5@}piNu\SZ8 슪6&^9vu\} ,0|O:mAxBL>Ti87WZo "SC<2w蝇GD ?lGvq&{5/Yc'ɣ|KLjPj.$BW"N4-+P WihrQ,+w9[D}QQ+DTb#n=tDc5{Pa>k{KC7wlHG{Ns)UMi`{dk-̬Qax%،*Uh'ف<^ 24~U5?Ms0fzZv+eh|Hr G.((*Ĝ|61|?[s. x7|a*+ϴ}Wa}/ -w`tTtCa 窆 kKd"ݢ5A,[\VmLKKoo,W,cqئ eА45X݆/"|PlUMrt8ُP#O Z'w$^ѝ5hiy4:]Ct.Sr"a~y()30WU@<Č+h~B-: `P,R^gFV}ͬM6j$'?Tiݮ1<x /Bݛw0K7ᦦ<4^Q0kpmVڒkx/{&ˌ寁9vԵvߖM={@{b.Gqu[Hg|u˃^T`<&>ΗeGkpư6g%M bM'R&s"_Ffya$S^M$j 4Bރ您JG0..J;I Yت&%m8M7Ӿ6stF1 #dl @o, 0 }uEM,6^A<00_>ȥ/ɭx'~ݏ&tҷi>jH9nnze `"qˬߚ}Ӈ9HrGJA%e,gBdM'8L>1 &tI5$f<.5!Y'zA)׆\O9s@E5vSI8=| 'c[Nr7 }R.Ԁ!k救TaZ${ZEKJ|BZ ]\;H"8t-i/Z mU9a_hsn (0SΦWxz 3 %ۙbh QD.w=W &# 6ywyXnB0c~ɘa}W ;U$aQ|,gCPmTcX~}aK\%gdPk:B,.ů1Fy7| XEWp|n pXؾ"7nۣL手zJOK[k@![=PPWHaR+u|x]X93*!K޲:[ #em"ZF^4o>"S1M҉8<\Y|96tݣxN*гƫ(0rUyF)ݖ ÖT!-y4)cyeȐT;ށգll`7`@m7;*XqRXvu#|hC9uqV*e-dyFyxn]"N^Ax!ȟe?Rt2^yֽR3–Ar"Esw7fxҘ,fe1kզ}S'C5$i1̔ 򳺻-coIq\"kytb4hc1,1cJ,N׵X1hܻ+uըEQr"w,`*W ;(! 'W6;1yY nRћ+M 7\([V%p>Pc>UƸ*E/quP\puHbJ7i. _l L]}qc>JZ. 0.Lk,1`@X9XG&|SFڇ]dаA.Ghے}\d֗^YB誣&ˏr$_XڊKRCG7\y,%ұ] *.!s|?>hOmn2o}4q*O M }NW{H8ʔb#Z=뛂ءvLwcW#1ՕIx4@cݤ y׿iB[@ `g[|P`~3%4WM phOF!Vs|.fܤѢNo(qdQoOk˾'f(Cw/j9|Q_i/T'X?ӣE̡Ko-Lp}LNioqUV̍?X"WfIAj.ems<5rWhE#D02ܔR}~H>,UؐXc;rGqM8Z}<^MOhƿPI1?{Aw"=AnTypN&IuP- gB;5e#83BA˭}E02IO#0@"7'rVp&,"9фNF $Τ|†:>!lέJX@F\X%v}cCPB>ED\046_uD*(GFYcD/x %ۜC Г%aa%q)5NdF#>R5M=Kǽ%]k xGb椳3h`ephRs/KSO j9]/B=]ңȮC469\a;[Fd  f~mWi\;2iw{ e.3\kZξְOpt8 QJ- ΄W}fIAoz>h;?F%!V0G<;`we~ MOLzfO$̻@mQJ&/Qz /~ S2HdUx+Fs9uԯրD EB6 :>~מ+3 ,fʪ0:[vea}Bis2| KY#3t #~|52k-@HL{bHfbT&7b~<$+QYTVˣ+=_f"Z0]#,`< d/Oktǘ p|RaG#Xӡ4<FS /{luv1z+r}ja't@wU-p E@A5d >dE|ϼlFY>I'/0JIȤ_CpjYwj`9A:<5q޹D4z^٨$aF1wc](5Nj\Hj2rU H\{X3u|`+$0z}8!5VS[4z?qf^VpD}-|jg?yr"> SN"Bq!3}OrStk%m}õ_8ru$*q~%wdCoʟ ɛ˥4:X7'wMTGpil%z/x)q{Ҭ>qq _*IO]3m}.c .>~D{st|Wp$.'K "gP3X3 (2׀(Cc(9/bsP$`ΐMPCb@ΔG{oI+S3Xkt᳘> UqSͯ;-k w546rܹ-Xހ55?M5-Չr\ sqӳW4^u^>KYR/TSlrD9E!g_ҵCPpQ 'w4͔<#LSmn[nk3@NB6q]e "oQĬ-Vq'i_;w'.U6$!\65W{ FR6vB<}0`j mX>Di&hICS30%#<`jA%7;d5ϰ' H_>*ףkh0ZZbz?y%;Z.3kgdk6 w؁[Q}I0`+}\698WV*wԞiz~ya /YDjkr F@iLOGGW(zGqs#zní4Eݸ4f-~09V2VDnQ!0k&ö́+og>7Y\.}ɾufAoXW'K|]4Ey(ٱlbYSScHΞ-29DbϘҌe9g7&![=-BC×Qʡ{*܌ϼDt0gcwk[<8Cq԰+QtX_*2OF.&1O[@#^_^dBLͿ&~nۿYAvAR0MVo홫!`5Tz.f!j? i5Znsw[--E8t2F0f奤xM"*ӊ<]/5Bq%ڠ  U^]B/]O0֗Ns)I8Hx/xCTq4QbjC^H(~YTT趩fczBԁH^M@? a.VseۿpEꚧΚ[@8]C,x<%א0A<Œg4C?~fm20|87 2&䃗=ꍀTmdTp(>5rGOR54M$ /lR 0 =g?9fLbD 8.ϗζ}_t06T8| n5g8zWf%kR?g۴6TcQ i^ 1dLŜ(y,Ni){N=FNƩl\2eJc°M/ 57#Ӌ!o{]35k=; WҦua,m8xR]nc<'F/$^'z^ xf}Wך 2t"$2`\{pAZp% K_r6-X!Yb7BAzL ; }}.bq&8J0_7`ϢY}+b1+ #"HΘFnƼZꔑ{-n?‚*RSIȭZO ($f0 `ߊGh\/Oӌl51mgHCT&10Mo8XL œ1$M&&N P7SC 0H![dp#_aꇮ7Ԟ~Z.)9fV;K5T6Ms{u`0F{5zsPwvЎBOIL?a߿;HS"WpHb&X/ u/ϳWOYdJub!*gDF-jčYmܬHgLLև_EEW+VBZԀQfQ0Ph1 JaYng r=l%c\6myMW}DTlMo~x)īi+>uEvh_,&|G xܽ31:Px40tHÿ`6`KDkk +1*#Oh[z)ȯѢ$.i#3*Y9 q\D8A bX[&mb]]/MzwSzp&]um$xjuT&@Yy4Þ0'X?Kn߹QB$Yj*$3TT$C>9ߝUΗa?M!6bDcŏ]K4+bCI[{G @$%m?zL% 5 ,h~F72UYCS2U5qK8aݦc-*~,\Ae `)oo#g-ZDzVo,ÞPO)Û /~I X5^B<,A@П xfSc}[_{OKUr cR{UUKX_u0p"y%rVW'0W!OHɁ3{*hodp.3š3Pav0Ay*_I4 }A,=Ab> J?&QC+篿G1D)Ŧ[|S~)>w0s;Fc%OhOCVQ_3D; @WF\q8-7༁H]3wz-P5ļ呹lDEMr [Zl5Z sd2 ~ꋶMzdPMһU2?\B訯ԛ^̈́6ۯU(J($T]aC#K,jTj,m>$Hh"%V͘2,_#hڋsjYr2xG? # /b΍%\b{oPCPQ dN>moc,[ * ᝗ rF2x>&x:D)K`/n{jиłC"Adzit> Fo% ڡNl=v]MQ[`Ƭ_qUyq?$)Rk\+_i&vm.cSI}iG{AtcG LDprm9}l"-?A8@-ԷE:3rl{gѢ \U s"scV!YFGT[Mqn2-[W1 z o^<~)pRKr)ʜ&kgP#ı{tLf SFX B\X*}GI= .k x2(`;#˟>>!LY. i=vֳ @`oPKI'nɑH *#a[>|H8֎OڏF޻b(y3XOnz+xA+ԊuNnRlnc"69IAd5m:hQӎZh^h؟g'.6Dy~kj7E=_s_8j]쎉(j!P6 xiq`{ؼog#Vn#;lC9@[c7…rЮT=WܯLrǫ2B&ȷ~y7} Sz%0"RDv^[2[6҅X@G8r"cu%^<S<`qQE}~,e&f-ւՈY7.8ו&c]c\]ix ͓=)`~lJ%lڢxjH!N1FS4DokjJ tPj*Z\aqSk%ҘE6?8 ȏoY"E*˕vnA-`f[4; >V.dPSFPZmc()4m[Av[m9ҘewVQ?Tн 4Bag'tMݧ\hvkŊ,azuZI Ezsgō޹xgDlӲ"rwj n9L,2YJFn^{%d0>L/A+ %)Qs)< &`k sCLj5p&,C#FpuջBf}{ ܤ 9Z+](]@7f +8SjZ29d1r-4xy>l-Ӷ0xq%<d3/]vWBٜ' 5^2to2dcʇ٢L~P~v]..62 2y"Cp?c^U]$:LwPDKX͛SSi.rE*}0߫gҰYyt/ Ipx+MqGtB-CV֤I_sTxd|\!D!ppT}hd&et`/lvqfuһ MզZS9+l:qܟ.MJ3U0[OlHۄ{5i=p!M:7$5g.At*,9I_' k_;D1 )>nZ"6TO#]:tA9m'ReAwS-@yu~^kGAٿԤV/:&L2rV-Bmcgte´fSzq( dyvتM;Ɋ! hM$I]k2#催]0^H%%QxyNqapxElPXG:B'_TmKWmՠbKS*^pJ{\/\zU!VʁrF$hhߙQO+Ǔ_ڦw/, 0`پ({=?%OJ~0t5T{# )}r: XmΚ0,ɴxJ$Xg- kf6HCͻ9Dxr'(,9W{%˕-Yփ04<%N :1larRο`tt{uEy?E[b3E?gr7c1Lv`J:\ѵp2ʣXT{ rr!?LzR2tQ`~~TWY9gInOH T9ܯz`lbwSfF :FsZF`#$(n\ErsH14:]<Ȟl#h=@+,IL3?۪,*8Űa&R-;ׅIСXh{S"KG>X>u!\OT; cЃ^ лn$\xJ&Zy ::\}5^TP%\eAl @_ӆ'4 ͗\T}cd.ub_,# NI Ś=RG91 ?{A~zgq`MfN*pIP[^襷V6̠iK:E:qq jl-jU "A8J/EL 0SQ_T9Ed!)XՙM-%Q;B׆D޵0 iP bEVNbt(^Т]$;D7SsVfbN1!M'xXg&"ЬRY祉FC _^̷d>~D hiC$(lSY_4Kյ +sQiKrAV.Mrg+r~Zކj<֢}s;wK("竮c _M8hŭtgIE qJRD͞*…w'{pjZG$s8K m!AEmOKsM&Sޒʶ7D8~X* Az<_#lao{%{ːxo)1OќN i p0Tj:ڡ a^Qn()y]NY@]+ %[q̼lL3%Ŧj҇57% |RM9$uͲO:xZc&ax_W ۾"g?/^az=kI}}ES+uPץ0ZBQ,۾6rL/K3?i}7us0`kɇII o4`W^倂 +[IMەgNIg%̾5 /.`@?\3$0;錊0gGj)3ywX} MeZj~'Q 6 놷b9yAG|ޛ(vU:{U+`8^ِwwI8tڗ!Ж|{K_to>|KPE:>"ug {;r TmO;6W9O.63VU3J/G ϱl,KKy3j_M4y1^|(U# 4)6e,:>am_&e( `7^eXkZ12;NP`75C^*x}G7KOm^<>4yz$\&=S2@MMJ:Lح)l0TƱi0.FlѮXeӄ." cԈR`{;uzag>{UaZ8W\uoH( ?\Pҩt<ϖʥkw1 Wb =Ý"E 8ޓv{ yqQj|BpbޘH⸍bTнNffLm@uĦe ӈ yiux{3,>UU F'j߂WJ114]<8xo<߫#X)k)Fk`XpAcp@*;[t9أj'e[>Ȧ|lJ:S ' )s?Yஇ'֍Q1IArRqF껳-vzvzGS߅)[u ªw`UÁKqyI@9ւ!Jkf/qivA~pv!@(A q")w*M/>ZNu꫋UGyC ޥSyvX+H#7XZ9',ed\*߯[ ZYyxCu>+UV,Ig65dpl''LF:̽[9Ympsn  ƪѬXs0hZ yrOב#nEtM-:[6(ߴTf*RphDdS {$h3O'pD8 9ΆLPB @{O]o[B9{: L %/&?|Ss&!AR5T v2ϊ$q|]k\W("LHky(+Vdk#{(pHl:9Ȕs"D ~6:$W/A%fzOѥ7~65@mLR;=1C6Ow2K7] Q_|xmu՞)A$KWG,`J9W>_vgHetY;vCA4ΔŻV'D-dzQSU9`(x^~`:mWjwܡdju詒Xvnb=㷀FxY2TDߤ13o- Q Ґ'(sE{Ѕ;96u -?!Ԇ;43ċ+V(aYg&H 6PAi`zK;.9ؾ&`;ۡDKdS}j;k$rgKEs|ԓj%%݈t"/z(l~K 'LJ5ӕٌw}cQ(kWΌَ45dnX- IO[凖*r`E=ӵnqfVӬ"z:'@95Ì"b`vc(:Fݐ?F!8yvÿi$E% ޭ&OcpX(`.gasmXA9 rՠ! #I{oL]^lWr!$Pb`.\/b鎉tz6w٢S0 Th@OoCmId#%/!;⦆I$Qw]a"Wq:W+;#l f#'1TuD^n5̄ϊΏ}vb8,6B Ej6c=ܮN*-5_Y9E*>Nw($l $ʉ؜)1lHvx ́48 gggMOFAy[Ԋmx?? "45*ZSn);RӾ%BOAh91I=g$] Ȋ,6?0|(ﻌ uEoV|mˎ0_vѫ;# i[ς_iBN ^xCI1-1'|n[f Lǁ쐮ѹzGD`~/8'Ȃ%7O*S$KsZk=KyVFƺ;03R2|þϭE&C7jx 3p @nNU14._O;6zoY/S:I'E鐠7Jyuۧe1&H$$hL6ݧ{.3n0mIo͎bwOl$k a@ Yv< Θd(R+|c̲nPiou&2ذ}sLIYMC WU`zb$^|>4Bg'e8"7]-[{̉+E'i$ ]R.JEkږm]fߖI,>{vy`_FGi}r )#\'2-] _[[vτ I?J 3^Ew87i%yx"x@݌F* #&I IH9_'l}K'l_2[3ފ78X\M}w ߝ]{1)cݰ]P8C(܀VQ`vFZα180[?Bux7TTS3)_T{n7 թ- g|{^ѐGꢐ,ufq߆b?Hy\. Va0.vG\''/QcDkk}[٠@&-/Bٲ$-=f=*T蕎TA!gfԦ<2 c7{G  Y.,nt倀,8&R~,6uDܠH?K.QtIKbJ ķfK|o R=tq@c>~d`6!$Ƚ{|F\kH"T(fx-,s(F⬲ǩϡ;i(֪;C_@+6XJ ~&QlůIsg{VD{)i^K.Tm r1en:E<(?$9%ȸn D-p5ak RQ y|viQWv7QInӘ+kBd&it YG1hYoGEtgzݴ+2_C:vﳶnźk4L#O]GKLey­(g6So@߾K<`TLTWl[KKm}XN=@NަJ(SݦЄAR'?cG)kwJwQi(EpdRa\Fcx\UCw|Rbi<:YtywӪdG YcPkĤK`Up s qUnKAT^I)V{<˖_$ze6ElkƁJ`ӟS8TR<bh39)Lr6}䟾}?z*lXfhX`QԷUԠY~gTd f~r{Q4$)/e >![2@Ƞɶ4guLCĠ> x5~&*q%p+\ŕޅJr msM`쓜X^pOA2xt]Q ț-쪢4T6Mg*E6y㈺!ahYӱb';i+j`}Ptݞ)8[irڹopP"o'd )#JYtΩi TYB" G= Kk8+TTׯȖ7.v/uŚnz?$NJK˫8nZ;IfAm u3 j j ^f1,Aѥ JMr 8 !(x@Smp@u 3MM) P Oeyp|L$!RH  "r7;-C)MfE[G/Q@:"n-vjcH_*qWm7ru txX(Rt[J !8vޞ:Ya4½}8]3s>c7 jv`3jIˉ eHc`ǖ}y&ߨ#B-0G~B@!?nd::/biCTUiIS0WR_'W+Y"BKwt.j29'E"(uzVpH`/joΩEϬ ɋPh`A6oz Yȟ3ǻ-4C9XMQZb(0 xh3YS}e;nz{+K_d^F|BCCxXT8V aɥ;`KӔ8Gr+\<,œ_ Ȟ7p <r2sj0%S=Ab[ޙ$ɭ<H-{`?ҟ(#-f}b^`,"(yLt[_@JyWM*~iгJ\N0>eR8_dPpvdZw ]Xrt(ɩJ$oGi4n.y8K}N!%kiJ I~Uy%J h4l.Hvm~p@&ù@j@')Ua?{>ɑH=5{~~˿vĆ? ;o:;qe(ܻuYv:Z!/RpzprρXC@ď*l;A4kWX|FQ%J9y8ݞ=\4&h. ?ߙ3,rVB]Cc`  }Qt'\9w\B{ LF*[ Bߍ~.Ġ 9o=Kʠsfs{?=CN1>HXYQ*vBYI\;52Ҕu%7!Čs#*@bN:Jsm 2nή/a_:]^ѓdWnPcRס|*GbvKjzsf9K._j_)~]J*Ѳkj]C 0{0-#G[d uõXlp)V; :E.H)7>=Ɗ"9t ~iu 'Jn 𻄞Z&⤅Шk]Hrձ"uP_ñe> qf`Blo0;0P| MJ}^"q "^*6:!a3PAKoF񿽖=}dWhEq.7ӞP܂Z,!ۅ/eHeYf™QvWDYT9r ЗUV|2r;ޖ# Uϐͮ$I,*Fco0vK^5A>$k c&l?J/@j/1^GB[R`txAX# .. U 1ɋg7sct6n^r(pJto)ϊoA # ϋq3q'P3U)@SqNN/j}Tc,L~; l Rv z\k\ mU B)KQsO ]/gڴɆNM1F>B+Cٍ"b5!KֆR.C拵4>Mx~>%!Gz5nu#YCNթסnKc1e|jQp,);lXEomfOx^7rIt@Ev(dj-G\-Ę._}0??h DP7Stଊ4[lS)Cg[uV68RvD`,I(mUn(;~VD8p7QkqKlBpSodٌNW)xFaJx}N"~K豖Ѵ)P$![T=S2 璫F)L8f|LKh؜cTex˞;mSXpu|vLxc>Ѕ!UōȴTع֡_OsdT05OA\۶zP s8.]Q6J$>fPFgLdm-§( $ {\w%=dM 9$s_D8s_'BWtJ8E~a$՝ &}(L*iǁa?FO2i`jXmr.)H`/r|?x=J|=JХ