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  i'tt ]%]Matrix_Tensor:threads=4elapsed=39.072cpu=71.340gc=5.0247zXZִF! m]ŗXiɟH)0!h]f|o,6쎒4(@}_3 ..b 3Z<< *f"17迈yt,`% Mj8Z?h9v;VX(1gTCy#=1jd~l/[|B\;*/نʩq{6 ,|Q5s.-h{BP̫"-:Whq?{9y>Wg89؎P `.Q]w) :46@fBc5r'YGIjc&G¢؃M4[+۪pԈ;% BHjR6Xp5Sf{.ImxNKpU 5WqB'i1Uv^lмYd@Zw &]7?\~k goK%t%`Qۀ){Zfn.GMldQ݊y Y4 Pd(vsd,va@zLԯz_ұʴ^l/I_ޢY`m(#C^ }^aEHىڝjJEn "lnت\2\ ~K)[urh"5 otx|d|)C}9srՏK"MqZ"- *IQn`(Lw_77UQ྆ MpI Ku86ڦz5 ΪB0jU(ԑ^+nx0x%K.i^IiuEό( <$ TyW~2ucNb._% @=#(Rm̡ĚFm3[h15͘ΆVkL%AITZl kR෽qH`p|3.^d}XOsTi+pngqV!f9nCN 8lb\E"DreO1(yY˟aLaC607Ët(%rb~O򛉹;w\6Y\}* 5EݣŦ׼@ƫ ž|3^6_'FO(*63ߊi>ޠ^Q6:Bѥ5dH^݃y&xwV&u][Nh뚡N75u6c! ' Matrix_Tensor  y 'C% Matrix_TensorMatrix_Tensor.Matrix_Tensordocument.tex7zXZִF! {]A-MՋhvG"uIBm54L&H *IjpjwFߙ8@M$O,ONAcko/CO7kz8<(5QZF ?4㲍k=j A'}z7ڮq R[Atz6,E*NebgRْ(`]DpVJH.ggПύ._Bqo%l._nTA#v.#$TU s^P쟟1I, %wn!^!Uv OgT4B}[񵺿h['睺7BՅGk+}ZAS6x $sd7P{"][; ؼG 7] @pGl d$4Y'-t[]7 &T|(8.7IBPlcMTX LyC'ҶR¬[1t8.;\-dRyc.*@6nNKiҖY9q6LLFvDKPEmB8ˈjDFil6@UU6jYʅp (X 6pLtQ01mNQ2hH+;KV^Q]ꨶ7{J%)ldzEުI(qO mW6G`{*៩sqе\Męm.Fs{BXP0oiFd8t}%QuLJi<6\u|A4 S,~պ"6w]"k Ia5ޞ́9VtD_&3wD.9J@^X?v-Ob*d) \ViE}7Eյ+D^q Rjz}`45)2=7c|©'I'WBGqp 9x7J]W*#Z"9;~ds@C@Ϸ{ q?R3HvbWW—p^ȰOGI$!LVm`a: u ?泂 @;?{x BxsG@o`1P"W4"%=Z'~c>q)[Czhl\#zY9t1D`wqGB3 nyPtN+֜N)~.tvI,B8c@N51}.֕$u (Of-יѡ4IѻD.e9rR DYeS֩;B EJ8gW[.dq+6ɈW%fp~䐍lFM  ^L!xe-Iջ ,´cMw~UǙUhM4f)wBe[*mRԍ^Aޛ^ACh|!<Õ ر%z,]dyO37wo!~\o0$ų򓤠% 6Po0$~(_\[Lp*՜J5ub.Rv2((끰ITtʝw9}іB/][:#]C~]0BV#-O *枽*abdtUl c[_7s؈FB&>l pUo@fyc}h67^N!ô< 2DGoe\Dˌf8IpaΤHS\ IR}XW`ꇕQ= i a=I^Ը(PrŰ8~^9JLij9+FxXГS"*u\\nct)N/^~.#vf ؋Ea"ZI\?A%jfod *:#>K7:;JL6-٬66Sϔ2+0idu؁JHo]T3m]ӂPGBPJh!ϑS|+L b[eS,ZR]쳥4"S ɧ :m4N+2x"n^iU}߅NVk6ۤSGV}H{u뼗Pԛ7%,\ dm-B.NLj.Bt?X24:ĝgÓ&Up1_ob 5M?u{S׾л7|ASY?anJ}G$3w :t)(|7cM%<6/JS4Q%8e?BF8kԂ$T,~=ċ\|eVUGdv.Ir-i*jRGw6>pֿN:nE=| Wh?FYJ:zM 9 h`M6Sc!IxS_ґ-@DXNWseJ_J&ZCo?M>Bp:hyλ\@ ]4А3>!ԾS?Nm3rL}#< +ä:Jm%Ҏ=sjj1W,RW҇@#K4Ksc;TT&EN:S1"ƂxU%SbI\Y&iT2lƊf2y뒬Ʊad#,[')*,8 #[`v],~N[3\PEqiÁGz9mߧ=+ Fs怳"7򚽻5I3n+$OgTj;wL)HC|P(RjtC>]´}$s 3/Dr9H ?Q <@ŒPi 0(".j#zqGHJܤwB(%{3VFA $J$ӒbOABHAvMQ1"sۭ-!3 EgVYiwpR17tHN9jے/Ȉgc;"t'(X þ;NΊ[HmJ9{/ X~# w.^qc%ZbSI>OQ`g=ߤQfY*t #'U|aP y^v%q.L6}J@8s/$c1V< ?JBhBl(Z6?+_O)z3=!܄*{LN~G#bHP4yZuv:V{ # {W*_ XNԿ1z' K ]ۋl81Q"%\lYrpI%ϓh̺'.gM:&y^fw]"*~x/y2: XN'.Ҽ¯PQ8TEPSyT!cEg;' xrxbM6"*D5^acc{@TX*&8ng9O%+}nz0'wPPXxd˒,IkX0 mFI@a@Fqj%0S@Nϊ9Iƭ6U7voiu Dmm[\rYV FԃE5,>'ԩAYS10A91pUSşegF1La>ts1X#DpαGyEmH '(>y,fTGq&ߕQ-п7L^ }NaX(ol2dhmF3ko`/u&W;g䅦~,!0pZSsێ,àFVj`V5ؚ8_Wog O-Ai Gˆ֮) c0ueuFےqi %.ۃh{4z]l+(k_ yS%ͽ߿ڥŝ=V\ͬ+LsV|4|*W~{|i bp_jQ12w'<7ʸŽv}~~ 9;cIs`i殹yYE& ;^OR\G&ߏLR5hmqq2qHڎ3>՞m(F2žVx0O=ڸUommXeoTwg:#Gݥ0lk?g G3g(c+ ipNXrYa-A({N#@K6,.5N ]L& 7fF _9{&Un%,9؏[*θc˿9`xJ-s:N:ou G@v& MWd#贘ވ~aj!A$Jrdwt6~ yVAϾ#nڂB !IjCQ }#߈[CD=73.yc:mg LԖe =mp5w$~i͓@c2dB LvK_v4f%W.1U>l!0r6%ZJ&NwqL@)g{{,4m8|sVyB6)L,r##V.azC 1Lz,[ZG.ĺb('*J*ud 7b&GOoZ7Bځv_vy->uʦ.4kqM8kt-Ju$q]*ny:>p0FDS6$mw*7W(&*rARL9Q$Qmmwm Ysmoh:~d &nٳ%)U3rD.GLE3i>V,YQ2Gj!7{!" 7'HJMEcZ۶W=>uv㙒,p}2&2eM;gzbUB\׼!UNiB_8nl}UHG\8kG9-v|lljݢ-)@ںu2Wn) ^/NF[w/[{ eUx\2s8]:~ Vٷw1J:OGW1RYŸPdZYP{&*|pc*J1myIߌt1f-\x &,+[/Qk767HQR %-(3zL$H.2##Thu ݺ M౒VD}b0fyETqUqa( Ō¢|y W6pƅ 1U dϭAKD g)͏PXD6,4᧦t] ixq:&G!1V>xJk/ޛZRPώ՜V2h욟21Ux+\ڂ.Dz6[$8b[a:HX@:xHb?A%[{BjVU <ɼaT4dQktbJƺ(/6D{p3B#~Rq2Bni\mn (ʧHN!-+Aja诮6t2FmIr"Fly]?mES:څtSU'yP3d%,d',-גxʹMfu6Hb.fmvuB6 ;vgqbI9iBYVGr TY= Wd _hY rwqak?zKtFxqir#"q?cGvQ$+ ?AKQiOa „4LFs'a"pӵIEoTV [&`53I&g>FÔU}J~9p,JD?L,ZE5qZ{9 ONV x1:77r'Z+anFʨ{ ]pǦPUL}nsT:/tҚ.:EUӄy 6nFʸko,wg"Y^:W.>ǜ2Gj^2FQ /OqG6Uh]7{w'֌KE$#, 2ivQH.g$ `^~@kT"(AGoCQx,,!ļ_3ǠcoO{LJgWmwz~"yk }4GsSbZ r'-OoX8"Kw|0G:u,GQx+Վ Ӊ4%.ҟ60Yaxf'O&9agoa+yC, )|Nw ϼwb 9iЉͤt3=Y!{&gC4l^nڧG6O'bnQ:g}@F& QQ=B^>oPWtK).!>;UCU"Tjڱ3 x5ʸAKYZ`9$^\p_Fi^d>` ۖcxݾ k(Tɮf8 ]ȡ{ʛS$be^wUGQ.F% ($G?{;UWuCMmOQ\|(tJ΍T&\!*+&#Zۍф¤Tv`fR ƫP/iA lɠXLmuD)»\AQEZK-e"޹N>4Dq^LfYYŢQs.XdU?U;qlOD.-Iq_>:W|gkE-ci^3!R挝s l1X 4{0 ꑁI=g9xϹ0k@o$-t㎮ȉqjr !.9ўSIQz5X4U =9ӲCz}z鱇7z)~R@SbO?Q"Ƣ@ VB0;f3Tj_8R|m 8s}9BXCxd)a5QZfaX/ҤweڤAjl+ζ5.5h*epZ|J?IH"qFC.[GȒ5C,Ivґ j * DZ񮹇Ƭ{MT )fV\k ^s\|:!"f>Aѱ`0V%)6,b&I. B y;Mٸk#Iҳ~}da2/ȹ^hS'bLwR6֨_ Oe=ROlQaMoU%aoe*2^|3 ;\1{Ż:[`?,$:ʎ ʽ@ ZqsR:Kk{|wj)xMlKʌ1F}i1FO'=ϧI*,IDpMʊ ]!@xz5 <Ԥ1%ӣj&e+w(; =rA8'|"Ï,H.Ғ댵B9?[^ svH-w|Au,_„J}>3dA~Kx wx.l ;٨o5ۿ[Hy$mm y@|xI :]}Ńᚊ4moXo:)c3>٩ny+ەb׏ )R//X*2a/ ?W"`;wi¨Eoo!g|b]Qy)X 383<Y1WBy6c1BƏY)Z0Q'[T92GZʅ-x9VGG&CWDhchcpSۺoB[47 osFk *RLBIܔ̏]PTp\EQbs<&H Z\`2ݍ5 `S, =|%\9N"sH4Ia?ҡ՝7eD>Җǽ{"|aOc:~g >hfc؈PE=6Ӿth?y3Uz\{E>K0u{h;? _:w+cI7+ﱴHr„3 y|r t4?`cm7x̲чN$G0[^'&1."z)yܕ.Mn)gwX$f%9-1 _~߲(#Sa<,I@C8Ӹ` bby$9Kӣ+2܉vndNTlXCE64ر6dP {gսE@O $"c9^>5YR㪲Ѳ=r@|z# ]Ƅƅ̯ C:.!A}$IwHNb]E2C!Jg*!ɤ"#eBx"Qϴ^AB0 )S Tjpg.矛⇼dpNΌaD#Q̣b7fL>`UPLR1%@.S.čFbi~pp؋'&z9fi)L^ox?To5푾PChnCy׻ 8=?8q}sTb#DtC@lNj̻w0${iL~BvVg~MRv3/T 龿R潄SB=u_c>gV#,?hdBr1YK}J?Zɤc ?w_1eyzRbF^]/wwG\-iF~ O+uk. URsǏÎKM (ʞFF=#hWQNMf6Oh-[q{ϜU,mM,~ a>\4I k R9wq=nP+F3v\x6^6<6u-c.W9WU%s_Sm뼤#Д (-SAueʨIg=Sn#B鼄}z>?d]W7oLen<=\1L /yE5;ͱl)o )KR_"$qs{[Ha stѭOV ]e|ɗÃׁrմWS׏"h "|u,G:O*nX Ǧ0*dPhN(ap}[lU8bp J8/v~R;SJ-Bʜ&IHȹi8DlmaD&k78!&'Ly}"? \?=o@ *ƢNi>t8m@^ɛ(hGJsA t)q[Z#{:YJ_E:\-辈vBl~ ѳd-;KpYQI`~!kW|]X5bb+*iCtUu%B#V`A$ J@KO,e!\AV¢,)N@#GG΅HX[C_s]-=l6ϴюn/ҬSذhSV-2r5~;0L f abz}^,}}jV(c]M宥k~a_vNKfeZb 4}EvH. k-1Z;Ir\~^uqQ $>ih2>56+YSJ^A& B,3 ߞ!FLMCO/G[쿈ef+v7FeP6UUf9+[U;Y,bl4EDEfL=+T[`qwNN>37gi>*zOs״16v~ -/Ŋ:RA֨-A^$vtNnwAAmӛ}O-C*߳TPo&dy^0%WӼYMP2xlE,SVܮgqeow ٓ4qPf65 BYUxwe̬%zebM4 S4DcVGy-]$THe%IQJv 5v IG< 3߆Tdo'"dSC{o5[v Onc=偞7%dsb2~ DI]Rȶ]4*TȀEZDo%cHѮX= k~_[ç)s'%JdZz/nDȣ]=ZB[~ՏyNkx{+؆'QWdW~K'đ ;TǙ'jj^H B>.k+`R8$q^]9r!GYt~)nffn(acΈb.24}"7݋yم|tN$?8".޸~'JEt~hq5>q3vSEU5GS.._>uV}ŰuibN}C9D] 0/y;h"65[t{ZCɩ$^VqC.;Er=P114HYtJa.۫9Y8@Â}L*e!%izN{u%LFC k<ϯ{)p٫lMİcw2)9yykJ%! (Mcv2r] v"-׆2U@FLDBG̹C[1d֠(7%IAJ?_(}8ɤ*[ dd#~<<`+rwR/P*`i3@SUXB_)ʁ.lPK_0bmy @(S6]L#)}$^];{h@d7Xܾq9UԢǚTP>Ynqdz# 4!3j:d`U|v8mFަKcanBA fJ瞈3,EԒ k \@$^Y oGJ{E} Cɓ>ޏKU4eZ0PjU0\h]c8jY[z*4N`rӎЂ;Hf\;WǨR{#e Փ7DO^xڂ{ʰS)5mBy`f:ߴJϵL?W jBGAOo z3qhϊUC5Dcqz&|U2k2_Pȁ@<OAY~\<~inkLՌQv5Y9M]t_Ybt%B[Q? ܜsK64vD}Da3Z0[{fGE`#>r'|=$Pc}KDt>YEXkl^*6b8{e[, Ptdafh "cwFi1 E>u<1Eq3LpD,na4.,oL,Z7)ʎTgshb_L?x;Bܒփ>[stdaBH_- iMtV/t޷J2YgJ@"(IjN"[0#qKc2.1-zAZAE1C޶vd e4,VWeSsC~r9u9E@Z\YWq1XژnUe /:S!n,6N wFk,wV1Gt! r[2NoˡVECkb֘ihb83x5& FM9urH4@eBPbyl kK~u a<"CM D3ٔGZu:^ *0lJ~"/!NJtfd̕9/e/o¸ $5ZIP2 q=qjOz890.dF{ "7POUxXM62%<nP qנ+_\\BcV DKN;SՐ{je@v[ xU* y>!tSy8cI ]Z_=K ~oN.A^:^ {,!Bu~ 5[>>7}6}14%Dig DXq#@ʔ KVEcCdll~#&Uopٚvt ab_דv,EX ,tV傿b>zDd ):s̮#4.q4/Y̤ ֛ff4kfd, :*%Ŋi]HohM/#Lj<6'w'_HD#.8XNtA-v7kTX1H+yR ,#V'xϾ}Dsn ݴ~xjbN#]BgWY`lu[@f8eݥGB_I4E}]B8$"-ZFAlcdq>:(yC/rn " oCB9C[ҪҪRc.l78T+PP+UGe3ϕ# (U(f6g.վ /n˨<.'Jz3ho}39 h9KJDu<^׫k9Ƈk-zID4pUN\MO5joɥuۄy&(2'ڥrЫ' Ǒe >[?:~%A=00IgF׎Phcƶ[%܆>R=)Fc"D=}%R@lwqBc `bc}?f}f,(1T-PZDUxO?7c1`s\>esޡ/QҕB,V HMɅ5%eW\3k@}$^++B mij1@4}'Х=+cvBm6[/N 7k 4t-)Ox"7 <jx"Q^sNFJKh =sľuvk=Ѓ+$8[MUA%OJ_v$|R Kd?GS"\,ub.h@GryGL]0>̉I-T4$JA1QW[:^ H9w{AqO WtZs+ ^mz7[tUٔs '5[K:5OIa#e?)FJPeP+|DB!ITW\+|!)1P#dCxjsjځ,p57yh2#n9 ?>aKkp-OWBc+hLfm*ӳHpGRwi D7hs06\jJ$9R+}j5{ZRCz JđU"`ygL]cC5U@R=Σ]?`X<LQ5K \ 4;Nbv ]ZkYߋZxL aŵcͿZ)\C|+{<ZGn2&rFςmAQCy_TtIn޹Mo%״rd+ )rw.}~br>\ ؄=u瘶_tYDi ,Ձ6I>ض3ϥuh uql"`;Zvb^NPT4<Ӎaӿ]9XyT͒'A9xoߨ!:| !uلD`:/v#KcMHN=4D[?E ^8PE-ѠF9|ݺ_6U{eˈx;_W =)Tt7YJaA »1g(_Ȇul)롹o跒`xd--sBKTm'|ײmx?QTUD-yl8oQ9 W7A?0^e/5Ls@avN[/O 3>?8rb->M^f@/W+=P?`h;vŠйGbkLpb@rvj\TbxLXtm( *U[UYTrbȚ#sݧ.`[5b谪/Z Qo1` fA&B MKj?jEWdΐa%2 3>RRψ)κƒ( Ո.$:.+O!bEI%#Y&mfd3X"Sޤ oeSċM<'ӆAVa$W7dд m 19魁gM>9I9s*2( 8*u[]]k"ƛyt0<4gYa$kw?61AT=D _!\{+Otz+M[ã[gdJTx_װRJRQy'Žsk5k\$bڠPkgw4\I>Q!Et"{'ekB-i~I>7mTgelWwĠ7A8 rN47ژqLrW}'%Mgs85B0¢ T}Oʋ3 s%ZY|ST9P̱ -j)d" :nm BjtHσ:3Ɋ´@/[Z5xjQ"%Y߮p NE+OرWWNu mOj;V Ggdޖu*SIvцAi6S,O. ,Z->E>uX+Fg?T CK@)r,c-_^Ҿ-⑝6 )ֹ1*E-Xgٳ l Y籪e6#ϰdeR V%qOC'T:U׍vS&ۚZua^nP45+kPAign=|s 8s _"XY*^tn^3/.:?EI|T"+镧`+4vz%& 2 E'Ws T>KbJkVFu)瀸3%XA⧍v<1,fN"U`^)7^H|3-DsP=gMyJ(RCTl.%2QINR9>no[s|mK݀]H~al|:R ۨ E"2[P!^,E/%xK|#% :FR#qJ!KKgқJ=Pn@*>F^~ĚN37A'–57u=ә 둱<ޞM\zΤ2Q;=1wyHuNըh^|.gwEu)jO6r/B !(nc Q$ O DC̥ULi'dO2,ʃ%,f;_qo~@| _z*>!rj~/Ѥ t 7Cy'@Bặʵ%_lzREtġrLSc: {-*gvwkAz{'ڌץPyIGgQrl)xKH L&r˾^bWnj'=e* N7qD$磚j<zmKDWK׵L 嫆j+񄹨J)գkMHJx)^N҂ 9ʼn {HKh-gsۮR|FkNBn |+(VM OӓVRi?BjA}Vݪl$*́.\fNj]kXj i.d村kkPN?{6 y}/[U+9lRpn8B!kODZOc+ {ՠ RSz0wg_01:<ӯIZtw?]O] >S#{BjOORY_.H}cݦ//Ga`/rNi*9 }֕BEʩøFܫ*NV̙qz225XT#άKzē ȈZB^=i4uiox?毫'6HINN!RhubS8d򝫇6ҋU}N 'WR Ķ)$6ЬӔ[Y8&}0չum@llxP^5KCiėjbf86f8+3¥MN]/{'ͅ_Yˠ;Mgj{j4aJhLd8Gִ'Zb<-`N.!ºedҝ-c*FH+ʻͶWEa߂A7Mmk;- ~ rY}le3z7+ GOK q nM\|"~BÔ71pxM4xcl.[mW\o#y`t<"kmqi}!enCօVmޒLx#/JO]C,6:)5ݘ[YBɀdDnTE.rG}XnjՈҵuטwW(5<|Edn|"{k_̺6Kp5".Fa{ F9s}Kcs@{jC4RᏖK]8QoELu&QB3yϛ'E~edAeJ#p/-?-9nX;pK yrulVL}J[~ 2t7M!/8 J\vHt2vOO s~/}i(,|'V9.!EQz,\;ZKe1h ˦y<6}}1\nLVmdlqΊrfJSЮ".c#)4IP Y; F~5h7t\SPHNE:L< .ݻ0x1eYK9ǹgs ή_e1-}'G(Wޙ ˁա_ČJyFɝh -̛PҰ,-':`SwzР f4/0:lbGȫGƔaW.yE0NH_7T :Q##+:iAv,ELJe)--L/6/`ʔA%s8rK;q%ȇID;6ʔac' [^.BJxnu}UXV냣,7;^KI,7(0)o. } ZBWëezl \ysYEaZ]Cލ۹RrP^[~Vx adU{< ;`8X;1zVxG(ѻoP粔Q\H ^K1xn28e 8j)Lf%.c؊p}k\Os/*PLb"Ahn؏ͱ]4mļ0nTo]ߑyn~}w$NF Q|<B wS(<_mZ{?..re{I8Iu\õӴDKôdPxj:1fM0&S>֎u|*}3 Pg%՞Mps:kӘi97d:%t$|_+WCg~ѱQ0=O<] yZ̚SWnBG$%r{/OG sͦ n"vƒVV)7C)48k;4}\W.SdAcp*%HZHْ{Er88vV Fޮ@/D 5MՓ'˦Ϸ{hB$}6"㐡a2uoy3qNگB!&=Zh.\hT vr@aCskP٩ZD8M$ٲ NS,K 8P0r4' Êsx˟tcVoS(%ŷT@Vձy +|`P ,X @r46\W* uVp x/90F<ݎLԒh(-PJՕ=CټB|7 "id(+/:fq0䝯cA9J_9ҟ|ګ&A$"NE^%ڃbҊM@=3p "j`.n~p_; }LR1:q#/ ^g gbYƻtcD^TQf[m!fMlh=0zsa:pgBۼS~^~BP9R6_Cq>D:?3Y:&-Ag>^G_R&"m^C{7 +=yBKf@gP[ ` +_;}kr+HW&t#w z>.ÆIXpa-R>ƨ%i'ST]3y<_2d:He3q!+QuF}<Sn>w$T|U8#|ݽX7&X0pjYGD'*eV Z2)l[`U"Xߦ:Ҡ(u@b9XH&քm`sNᬑx'OIq34O" Q"BY)CpO:?@"|fs<g(w">s̡HU(thK7(pPpVUә}&UaCXHWJq#^{QwDRf%)6W#ė7ec:Wq@U77INV7 ؍Sif}7-K=KuUfP^zbhs'.:0:Q6eHO돺`:ijGʲ{7.Ma ~E%fE Ø=JZN4K7>:O,ryDTs4*{CoOs8q^l=j8?@Ӗ0jJed4֞h#{-=fV n6-z煥v١k|zԺᧇA6l>T 6Nk_κ[wz"fmLbjUB)d+JBf%:_KukkU^' VQvAcb7~-fzk8:W n_Qs3`m7+hJzԯ&+K2 ͚ʗ0͟+" _TEUci=HAu|? !!fBf G D_ ]QNCqWcƤ2]ID"T'4tzv3}A=mX[x#uP ]\gc%.߭5ix+Ģ9^1nn`b}-U|qa~.9 {wVF(A+a[9u7 &kC O,6 7K|mKaKgc< :AS]ɰ ߆dp֦ǠB>Ԫ ˿68 QڠC߮fF7I^{^bKbeHWf]@ICه\Ǿ(4ݨ.vBR7mRBPÂn xii?Vq (P׊q{7&(=A^DnA5P;@< -GƁK^$arTRHT6! ’9U+uK/jY -Ua3)C|)|׶Njpwt<KDk2B=CdlvRspxr{tz0UfFЀ/tA)VI(/iTܵw\K>Z"V%bZlt6Q66Eu %O԰D ȍJ.;0DKc=뒜tW Ѿ|bFNQO (y&ejEF_PIJR=Ao?#p+hq4l_4Qj+it[Nʼn1%1m(̲)" jFdv_ BڹFe.IF@:Vy,rDtALJF:Wg OfrH@t@c3W'c7O#w,x\'/E;.}(U_5_"o jɣ{rFUa;B<@Hy*6OFϿFYXPhF,%QYPŒQ”ܴ\Lj1NP[8WGW]'$fpz( HllPff vq9[M >Ж3ǣ퇦ɼ$& 7Sk2LuAS.{t#hw[O>G8E7XATQLb~;vO{IW^L5R,b >f7}.{ObU&}4-W&sEg2Xf0*H=pi:| _zh)UOO*P.* ԜYAZozT$ҧX*kiNI4cs}>Gak2s "1m=yO{Opn\dnf7Ek. `H5nbxZ(\u~ݗ(]QhLb7dqV$Pɢ!Mv3vP4fE"q PzsO۶| U&YhI#/Bf^]A49Ĩ>-g-}m*n-=O8pOJ+ Iԥf}q~Qd?1?xTkdaO~xl>^`zz&Gn,ar>LCmLCRnu)coC4)sl6xY2ċ}>fH Ecf~x$nL^Z+~m&5!Αvc>%#<FK); [s8|*xK tL ˲j <l;Ϻ܁P܊V5!PQĹ1I} x,1#Ҡc cdW( _FحxkrN=tϕ.Wޘ^@ŭ 29ލ*!#GdJ7@$=(}>Y⤟3y({e[f#QTE+ -4c|%ˌ7(rAi \úN@zLJ8#1#Y򋦸`氟e-;Xx7RF =+ QGqDB 7:xBu ŀbZ]å#BgR%?L5 lxiVD'ꘌ< Q>0Yɭdx  ]`b%ᇍxp!Δ3k(7hGwk卼:! StMBQ4#rp(sZ?:2咐t҂nӄf)MYKwnM@rn('z \ݭQHXm%w7!tI {'.-%HyF#b>![;c etJvdoi(Z AK&kj_fM(Ǎsc%OTnO 蹻- \xRPݺa=8"w V@e3~dkʞ#E;obМ&eNBԻzWi:6`'PJ7yT-#8eI"M3VNCTl߫|#z~񢋹Ɗ6u^<>9<e%`eK"_!򰆞{YP^L"$Dj/EceK'43DËPg^\qܐf*=`lL'S]E\E*\?}b}C oM0YϢ:ȾX1uhfTmkud1:J)r޾IW^v?oXdN_>S#J3"&mw5k% ?W!Mi绤,eL4_eytѭSPRQM!mP\ ڔWOݴ໔}6g d-`]ČUސ@CVOH76[ײD{ > &`]Bw[$ Ac<n+sU~Y~Q:F0ΛNRcY8ѺDwZ߷# -)F ZkO2D: "Fa9)d/ߪWvxx-/ 7`mI$")n饱 [:v0P*-x=#?!*,ge3݂q\w*@KK[w+ )SQ[i8)c&RJE|qa1A?~C@>AYA]rbnJ-sSrFZL6MEM?}{̍ so:Ý֣mob[ywXpC ~'`4_w9ƠϞbmF:M[!F5e~ȟ„MNю|=GL޼QWN*#B{ʩC\@j]k։{z5]IJbO Luty؋j,{F;~'O ៤$hی)B&an1u 7 Ƚq!?G ^}\1\ =sjP`rn7EohN^wSm|O>4 Z56nT;s${f h=";߰זЦ :lc]gCLO $t˝egt GVA(o2Uwzc,ZZr5*psЊ5kIV=@"Zւ1v[w-㉎N Ia̝˞μ/AZ<'Zvh!&rM%[ |n@RRdP,N.nur jn E,Nw 4/+HH"!bZsL A-ycռwyͼC:ғ6+ ɢՙFexXB,y4mE@hL:oo pK7&O7ş~5s8  2|jĄ%lF)EN;*1K+e`%P\10VAv(1?UPJZW5):?=t*?tݖ-a !m8D :dBmAO|@9lsUҎ#Ф2׫-DSWayj`e)weΞaCfx&Ly3oկ`ەPk7Мl_OF,C;eǏ?-p0I hGC+5Y0^;S(-ާ7ÁIzP=F~dO1-stAwt|uϺ֮!y@s{}5(tҀ.9*1FL-ʰD'&U6=MRy;:>tF13D'26%22!-.}ԊtJoh1El!x߲(`[@J\Dg/PI%*>^xXkm-}4\L+5MEtBS'rvbhM[!e4)2ydg=CTdȉmտE5%Zl?2tþR`]ޥ(?y1r쒜 b(e3gA_wRol0J.'ndW Jy8KT`)@_>YiQ{ 0#MJܒm0ܕz%̒g|)%K? Ms|n*^"щi*enp8ݬGNh! ݯ=@#]d*H#,{VI_nY4oʷJhlY[.p}vn/2l)aH[2X26[tBvÑE&ۡb֕ q{GT7E#{Vg.xL[y;q&-f8* B AG4('%a 7W6.05jxW8mPlA eƚ=vӾ̀*'rںG\lKl^oZ~TŔKW,#{0m 4b4.)">v:#ADPtjrU"L煱ǬGp;tIoGMiePmF{L^_9*t3:xv}ڣ^l##84r5Pk.j;&qe|eY:`c]&pr?|$j.ŔVJ~ɎMIوk^K+Z>KЅG\#Ea:#Q_xm&-gnK-h3w]_3Ԛ Ẇ) nށ+SVp:u w1ݍ1Vq̽x".mazb=P4kJc(ܦj.p8 \Mr |_)yW,k p?)an60iARުȈTC`2d9'Eeo4"1m␲9N;J+&9(p]jZ\5 )ʪn *#trc3 Xz*cEbW;@~ +fy'ޤYK䇶\cX1`ly*řeU"xBSYFRͥQ2 N:wX=C ;NC|~7 32yb2bԫ)de* k @K()˭;V|Gr=XOi<1}lI*߁ Ǽu|R^:93Ctv?f3]Q j{Ea?+Ix,7Tȼ-LR'E7pں5zA4NK=\MN'qU)=>%(FM/lj\JiTwm :ӳT ɬ['q2aYg+.ÐU|' g5[fg1Hڃ>x[EIkyDh#T(DT0XVĒFJ1{Gx_EÐ- g\P.adm=K/n W;L~l&cR>N{F /3ӻe r!U퉌: 7=vPnec[BDr_yqSS#{=s{ɞ5,q?KR5|)Өʍ.5gp!`tCed,& TۤOԋQѕK3Z8 ;fG(_y$)}L .G-4 Y3Cl:<]n v܁T{R,$@Ma]Y8P'T3I7,Cm}k:Ƣ|a#QF{S,(< (LCEb E(ǿD ")vLzXJ˪S^Yj,GmS$by;`%N&wUr}WvIap=.OZjv@"3l#$Kkm}w(R9C64$D/*] %UN1V^y rVZ'c:gq=;!1 $m ck|uE su-(ҕ^3凉-^rp'T}yIYE34ݥP/kt|WGGv.b򊧫-I\+'ʭ6-%\/i2fEũX3"FQje3D| Ns7a}58ƆK-b)$a D,ư~"41 Ah;lRf=ww__ k7Mtk^QxbK^GWFкMB֊Dd4x!뾯'HcP;ɢ@Vh*j2[2 r^ )4bJe=q鿧S Bwd~oMdL9M.^.\9LZt,滸V*D>VٛK"l? B~ )q]$/-(f` q,~ ͐CCZ_ebrYX,/"ӈ_\63Iؚ=a")7lmNjqSHmf'>N]A㵨VpOSEze..\1X!hdGw|BHcMsK*iҔƂy"2{Vu14u?+`٩KE6n>yAifDZlp~iZ=jC)UZWsuRqo>9u `W!}d rn #&*V|°/k_JQ h %-ȵL5עH:NǺ߉b_#E\&r'-m~$kWǕU|/h gاFZza .$hGLRYm'FC̡c$ԖV1ʖUO C@ Rٽub-wQLhF3f'3,Z6 jՖF}B~e &3^MqRq 6z[ ƈscːM$)\Jk"Eݻ\*C(oē@9 cEQuG-]F~V&D> OH'0'U,=iyR f866溃/>Z`HD:msrv3 pH+j%z1Y#|D+IDG6#NCҞ@CEvRH#vAhz5`ߞ!)?3"}Tol~&' /Lv+uS!ßcB"CfB cדN$3su!7;ĿDbz"nX\hf- dx2̿T .R+Jt'T)X=]m)8 P1P?d?+P1N\$bcʷC19C Yg$ V<x-Am g9!^RXvx(r9ŹͨȥoV͘N& yIN}/΋2m  ;>:}B՝'IԋX~ֶ8i0g%;ѣ$,/fQbX+2)t{fJz`{@|fz(yQ܎z $CklqPRho$ύpE%ɠFo[Qp+ 7l13R@fI "<|5JI G($p{\ Kzt6&9+ۖ>Ws$zD%ap'hT{D'«@&kv'7q`kR1%ie&~SF󁚔0M(Θz~z;)d#Կlu&4JB ߋlr͚s'K]<3*{^qEK﫩iRfiDvA,ibKMT|Ȱx0W f'0ϭ-H}YG ;5RR-˓Զ+ZgB ׁrpӲ\ܺ{VrrZ\ЊFU{b-xͣIhEj XHx[(_%z#dXoqaKAXV]#[/~Ftc|:?d`[>uKډ< l?4d;4(K^\`V'.7NIàA~q 8T6o\ N|=y]3s=Vne"JOyf݀)f㨧󼿏q4Bnu;Fğ :`Jc%NM;P>hItJ BP@;{Ó GL=%t釀(φQ j31_8%_B-ap=aT2ylF#jJgV̞6g Ӿ^5wGhm&8̩a?2߃7}3,F?nPi \Q%}9lgxQ Wj?ďuUfLEq _4[Bg/DGj/E $,pg!Y E]dWwN'Q]  pL5 2N2~Bsq=Bh2|lb"/qioLSsSzFgIQ1?'n#HSqRzHU + NK˛Aij,dFG'%vr&_ , d{ 𰴈o3DVP)\gEkH}08DZEՊ֑)$hdE6V/<{Ih_Pe <^#ըgT nOy;V8c+w˷eh6U2p]BNe.AJ23S$*j`*t[;R2J.R!ReJ ۂ27bv­ݜ9*@٧ۭz¨ ںۍNiyUQEu Q>o;(cWCB{7(Ak:US3y8Dnw (=T! p/4nk+#Wt2'ݍFN-ŒV" YT/ó5W9ss5[X[5-GWp8Lݩ9TN`P&RR r alМre'1Ug[r#7 U|a&fWv iaOIIx䭬7 "JL&VT@G"nؽJu )lO"Œ=2m4ZĵdPh fcoM;vw&w]Ԟ؄aժU= Vvn,b07\ލ !z`a_MYnJ4u^1g5p}yu G?+o6Uh1ST% :*{{lmɝ\mĘ΍lNo!^/E_s|E4lhIn`K;f'v rhm[;bqLgl4wg(o@y%Y |/k3*4%&{==J1_WKKVMmq eQm6.1K@-&r$>=!{튔kύ)ˣ*jlfh73cGecsnɓ%S cpk. 4&:= aDIH,T(>$@_aϕI|oe-frlb.@ .`2,d{k)_JU\`n2+y1cyIcx;9*Ltj.@jOm ͪS`] GG8Syr]v~+EeH_Y2խƊd40113|0cu|׽E&RrT]!jh~$ƒ(TyzCc-5h0xO$ԝ눶u Ηgf9=W4GF.(4+W? ']("-MHhШS7ģ:H˴r#AR1(WU*<̓Qs`zѬ'ȑk7毴{n%țs|dAl- 4sTg*єxN3`t6,c]>ˇ,kPp^,!02aAGfʤ6UR.C,4#r1K88>lt+v=S3䦏"AѦOA6 :rO|#P5SL䌦 q[-*M~Q@N_I&i$D8Ȓ<, T#*8wS 87^Y/ُ9U&ղ> &sAT3L)U޿x ^xAmk= .k)L*͋է97k{cvp#L>,?ݑK`AӀ"AGUt% ñJ~7jYid6ȲKwzu $8 ߬OWy@SIL0huc )fwLny+)@"5>5z0jcLh[%_ 1E+OITUEtnN[tZGLNɰO%๖-ٷ.3oȄ*ѿa]r#3~g~/KdHIlo۵& 喌֩Mcuo7yD:Jm>UM`$pH.u${d`>BADWfGXch!:y~C928CΐE߭ӳV-_2׿ޓg|ސI1lX otȒm&X}U1 dz"4'aE7i7h_RNs$5CHJ/́2yӦLR(C eD!Bd$׆G 4RtoKG͗-1߲aIM dp*G<,c0z<^DUGylN i3(e5d>:QZUO\<Y#qڇcoTaoPlSłZT!a4 +4!8~=VN\QD?dA--^p1AX:\:Hj**|("s*DVhcAZBu\ GvJ: <Rd8gF3ϕjM\Ob֣ WIG;?\5j&:d,kM( X$G=/9.=-H!व+מA:^-ST:UB3gc樈j8!.eJOJ_H!CedA@`Zɝ5h:}ƯL.a7<QR4 7C.^ *x5yNG"61{ȅ6^y-YCసKqrEuzosX?.<WBu96N zEW <ӎ*j=[4*N! r -MT F-"YpcIT΂9,/Zvtd8'uiuU{m^<XM߭w{|sEO,D}5@ݛ8]_ES 0]Qw%\2-oe0Ŀk8GOSāx Aیr)h&UANyM@ N(d3zLZ&4`[Ff?hS vsW%kFlo{fbݛIeVP#8CIHU0,1U,;#tvg7C1K`TЈ t5PKt,_‰@(s|"Gl}|#-х p5)m>9m˛;ge7DeV`lfNK.J>{_FGہBU57=zuH~[<4HuˤsuJV1eĘXp2-"o$E3ΒfE.~T`@j⁀: )S(2$ {ɿd.gS+g\Ok bB~&<0*__EߓAeIZlxEN4 09-P ފ0'JŬ şآ(+gHwB~ ۜO[ ؽg.-Iu{kW}t!wؔ,wLvz(6 ;xOAIp8! &; 0>S%?t"lvVi7:c̲W,%Qa /lZ3 G4r_D6MN-)W'kŊ2udTdյV[XșS/?:gYZ{W3+UUp,tyN؜q ٴ?Q@8#NpiR [BIRS̚x(3TQE^Eや6N BENol f?@SjED}ˊ͒)D΃ɍЛtԨ4 Bc9Qj*:PH/~P6/u=3r2K%.m [j=( pko>wCcG 4?=80s@x" ﭕq8cnZ Y6yP|{XI#A'Z*z}PյհN,jɺLo`z回t^mڌ)&V}֧v1CląYzbWt${)@n <{؞C-46Z'%܏YT7?KR8eŎ6s~S}B/C7\{ VQ%4AMsLb#1Ɔi[Bk!R>^+NȟETXp;ࡢw;7xB:{ 2_5NX"_ 6O k\ MW(ky %~A|RK B)@'J y}|l["*KVȿ.ޫFU!) |O-R/G%/6ls}OGz"٫U A5Eke mn`ɇO>!bT e^zSoZM;4d@kXzr2HLz,p{pJkZ{lq&k; TޙQeny`r1ۍZ`{\8èm϶'rXk0TNu8ߨtff@L.]DApc|:HXmSlqO\iȪw)$>9 1㺺e=8@n.8 tWH3`0Qt{V+P˓c{-bȭYҏ{£]5 \L˪WYW/g/5gd"R f~e>r>u_kwYatq ^:MY)޽5E `OG~6Ҩ;4;E>",{h |` ODTp * q3@3-P츔~c7^.O#6)uD6p4K۱Φ~$[ x=(I orqP4`@%-w"D^ X+ٝԖ%o.x$Y斈Oa#yή( ݵ m W?97nUJ)Pmb`(}g)-! Hk3`YPྑ@/26j%^/ ˡ  2=ߛ)0}GW"}?Xf.]/fD!pg͡XIZfEGv>p\o:3JT[&'sթk#x}I!mKFծK(V3O#pzMȕ/W O3G]z,n:]k³}ŷBI* 3gS9ܫK!bP7A: @jC!6LKjda&r7l> H:^L*:0FTUEm|w:PR5a9fG(W6}OߟUdr0Ӽ$aKaP ^(q6gW7_7䫠tw,ew?ΦdNE 2n *H0AS q{*Vm?KPQhY=57XbsJ@ !M1/ ŒБF96\j Q4k$Y|L*o>/nx9k ^w)JK!l`xH^2&p<족͙'Q ΄)g<'+ޒWU@s S3S$ &&@^z-:cā8xol+L6T9px I\n-qZ5 qMGER?2.mwʵ2.{"Lb!Ct-Ժey!M{ׯ\V\(x}HDZ\hJ7R](۩tXZ0ݚ -*1Sv_@ a0N:i?01mu#vAizԏ5-`QW x[ombxEc StVUrF[|,_{6B!kF[@o90y&w[ShD1̷'[bb;1h%l޳U"Z`ynUQB/$ ˔(ݚ L_uuYqVڃc CN;~! P*(8e8?A>-=K.ws?9RVQ,HՓɽM[R8dkwqI`W &t\9T4w1:'n"J=Ҥq?>IF*/=UJ}e[n Sfb;#hQ޾iE4q00#y"0D)`N%b\MH4ه3,\SjD&[E]dk-R٫k{ڔe|#tNAJA=(vy,/abzjQ)L\%cCjy :"ب˩f NI"ѝBYJas̡S# St[gYZfeeba408e31380138b96b4b106663f55a244c257c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 50cbd62b6cd1752dd5a269fe724c3aa9c7ec177c 20e179df95a435cc273a1c0225e985df4f87ea3a0c7dbf55cf5ffbb61b5b4403530453f46c432be3