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 j' \ ]%]Matrix_Tensor:threads=2elapsed=40.596cpu=60.256gc=2.156factor=1.487zXZִF! h]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]{AKʾnitZPފy % =( _x+ߙtH)rbǽMy%K[>T*em+I3{M.i+XB^B^c9S)رSU<=~H>Ț7I) Q5^7koK r k,Kf8582J;?Dyڊ{~E|LC)z0 􃾖0v[ƫޘk;.vnHg u ^FC:8kʸ]Ap]Q=G6BՓP2F3v8Eɻ~ Ђ e^&:MMi7mR1/^%{(Lǭ'}͕dNNSbn涵es`+LTCBa& lLmoײhFQ({qV *83ha$wxr -˚x )'$Ƞs-b4gYZ7zXZִF! OE]ŗXiɟRepE@$a qc!ޕ=0#_ȜBrQ.X'@xHRaP9 7}YZ7zXZִF! < ]ŗXi%; GM8CJ!_1sǎ P6Q[g~)vfu@U>fI6yqhknK±\%0[tZT+ :&Gզ=vbOMsUME23.OaB0AnK_ْ^%'=|4Wb=4eôMhhv*}}=w/t opV '21WUtG\%&;QݹƼbyо"MK3)#~7`$q0, uZ4R(MAGK-r 4K.kPH*. /!(Cr.r' Y+/ /H7VL*6!n8p>1Zh&nH3lw/)֙1d7h\Fz KRE{o:N9 a*m;[I'U!r]dS%LW0\땭FSyPľv$d\2.kL!@l+ 8x&Y6vS ͋֔ϧ[Lz &`j6|/zK֌U->vnF;1f?Ƥ %^](DYOE-F1yF[ʃ>|kc7Kja[^L9۵ObGr/ĬWX<@Ib?gCA[)')b>.?bעH85?F1x}oө|{i)xk9JQ?/fj(W0Hp sBRe4k@v^t嵉`JѩګS(Hv30Sнۉ|}|s;_KcŽA:h=H;ԞmĘ fk0Wp.=dk'\B *PoAg)w F珃x+q"K}KP7=D4c ZoAt/_2hUp#Kbx`ЖEyw#j&'xj}o%T<Һa@^˾rݞ Yhoꐈ)"̝!=?q#ݿZؖ 2a2A5?Wckq3O=Uw/rha_/֏ &83P6L?HrDG4cVW@rVXWg *Ǖ+@ϧ+ѩ5cjԣuiDh +Z$65 MK$MUxL#@Ȁ J2Q*qd}274yUEE I3d(wc}8lb8R?kQZ Y~ ʵ9:hv J ٜگiNLPa}2 )blyI׻8'#zo4!Q]RYv*љS4ЌD26b5HVz6i;^؁" |U;ZѰvBRwᩌ̄ X!skݠҁնc7qAœWYd ҭrGߛ?0 |Co <Nj).0K j0cǫ+5 ZyXˈӓ2|$Z =ޢbsHR!iPw}ԥ*yg!c?U[d8d4fI4KF2D\b-qT͆?S4CH,>%ccB!1ܗUKU󑾗\N2d`-2f靯4ĊBʷf5UlWG\0.0x.cʩ#Z&Ka)񥭅x\LpfBϣQj MU>Vpz׺S2VpD~OT.GYqÚ\/n!)s_Z(P /+xJ M\gtL] ]YqW9}נ V$8WпC`bJǯGq9oV"B2Ua~S,9o|iD|GW[H*al7/>vUr[ ߛAɘ{X04z>*a0*aŠjcE X`MjUΝ믅DhJ[=4Tg%}ܵ>)dz+rw7Dək=ET{gYZf70a365fb43e6ee416d7cd95a34375ef38cb4c4e0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 c9446e126adf3872159869c1df0fc36d23bfd682 70ce8502d8cd98898ab1c57af489fade8b55464d100e894619433d94930cb23ae64a1807bea3b0d9 ' Matrix_Tensor  '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 뱬|wOB>3n$:fۉ%\o]8#/G;|qSuce_j1 yIu= Ċe/ a4E.zPYXHQ^   3#y:?+iD窔CAd%so_2ǭ?r 5o'bh8t3gqe8w3ǐp\^yG<]ry%2# uX69,w'ȞIQ]C?jS[8pG1WpТ!P!'~c'qf}E,Tƺ9+nbj FwՐP,<ip벩-`($գ/vD#r"G[ c) d()(!Q7qB[&Ʃ4Jif~}1t## !ߒ8Ռp+#ƴ%Y{ SK0r\G[B4:~E6D, ErW.<ʜI7$Ca fVq@SmOD$!5&kR5# V'e]$=8=9;|EFOKt8dAfLǪu;;IC : P)Bh%W,IU5WcokRCJp J0zAo#LQ5s`8_6.;NiW=h<S[SuR[-JoY8Hbg{f:sj7o% \05MMK>2kQqWXҵ&ԃʵK3Zu0+>x!Ԯ r{^*߰XǟcgR E`V/無 xFǙkW#[ohR E*/(0;gBi@6b:+ɧOFrVEo=. ϣqvSjZSgn1//G ISw!`Qي -MUx,6%9Ej'iVl{0x0e]u`(l !v$wdoGLC~|{ }6lMuQWD|^GG|Ze1 ,nON/*rJErWMI"w9ٽq('lwQZMҧC**G5 R(pZQ'|hrT8at)j$Qlzy2Ď_tpL1;K^8,rΪ\(a-˨)Æ ` *M,F^TӛsFߊUyx,r%wZj\= K8.Bd]v߭M!lೋK5MF05K'Ku*>?u"v]30AXz4'4A. ۲_vD -2jS8Xa rג!e^[1TSNk3[g>~Q @_E RP=UŊO4%8od "_qCjmW9P+Je-:i >~>(JۛZ4HŔ'--R)xb.yF}p_ iPkB1Ykح`i }iwV#w,#rh 52:bwƄ;89nTC3: ?G95߄r 9p ^oZz 5ɣ1qvǞ[-\7w 6 xFB%Kʲ[xhz:/neC .R7e&="l͒jSOSj`b@FHĆ~C \W9a Ş^SxP?m4qK2d_%`0͋6hF0 ¢ ٝd9XJ7T&W~igm`f= 777B4ʘ.߾8'&iAc)m ۜNVYJl_@ pz6}vRl[: 8o=9t䜧#*afpXzļ9MV&)#0G`0vZAxz@5LIQ^zr6O79&F<交gGl%^U77 XLVz!ƞ=řHhOxwd4mkXP_Gzj`1jm LrdDno*cF]a(̓qyS@N_5׿zт*Z3|pl``-: aMU1kNrC+K7cHf Q|nfFr4CKfT Y9ί !`V7)Q6 ѽs%ھ>?is /Hq֏7C x͊to1#mRNghNUo[cشxxTSHdO؅R?z;/@0IU|&Sqc7Slr%Qƻ)H7crC^I@YA"sN]Ky [jS*HkK@wG|tBDLA6HZM3[ 91j^>nb>< JL DԖl@`)Kr?!̨q6X5X/:sw #6@%3 #}=JL2@^hN& UYtWVɶKdc""PNmA(e=:Ga.+vA<_پKH`dМN%gԐm7Q&yCbcKJn8T:3@DG.>!f+pz9"J塾-'U':;{܃t|'gEG%AZoREX2ќ(jɟ>ġ } X+DwpQZ(T 93ٴf3|wZ2g՚6B8 _2}łgeDkkr:8E卌psǢ*C!b}G)Ȧ2k; nw %z^YLŧoHz:K9"tO=b__lDOx&I2f;ָ NaڠYn?}_ɻڟ12:8I<6-0pVV[ʅFeB\bu5 `*9fljGOt ` ԳI'7YmF!:g717eiUCo:~'&Tv3au[pY==G 0hgD۩4fl1P^,zg_zj-6\WZʓ}uّ/**A0vtt[IG_Sx Za't+j‘\,$ g`hWCȮ\0PB?p\P[Wt ֬l `ƪ)TCR^[-vbrENuPd)yDXl.V+q{nc3^gNF﷫WdcE2K{^R_lx"_ǽY %I<a{Us9}X~Ze_ny1<i9s?#ڣNGVyH"-5Ig!TQۢuۖ$Lld?^Fgo i~)">KcU_ @` 5,&7ցn HrxR>)}[pU2 [/ŷvPFYsu{ۿR"]MMl<}// `UD:Uy7Wć. Y:}!fdg_^k6S9~=j^(_xZ7W^"EmL{K,oMB_@y  eYaJo 89T﫿h#J6$Cxo;/aL~ RA Zs@] x]xL!9Vęxsx;c6!@~.Iҟ1ݬИQc6 Pa=2(g%1\!|O;5A_::F(;< p 1?g7x`%\1LA4#; ka}J9qf5B; # i݀PG:(K,$l}c3h 큉T&$'vvlE{ xS +e}נ ,2,oT&5J֥j7j=,%K:L+&#<)Am3t9vyw[] -LוcEұhR:S|ȌZC%SG%HQ7/ '7ҧ5>v\~cinrNx_ %5xόu1K6~=]Twr x hL] ,0%u׏xQ'g+N ?,\?U݊ƒ_b l.WԟaaѭߛBLꐓ~I!V.>CtQ_b>y?q*^hoTa6F{ja0zӄd㜵Ѿy#'Db@p-3#dfT_A~z )m9-0zC?S5eњgp#,-D/UخCHszG}5QNTO@!ӧ=/wǐT}Ő@o[goqW0[+@@ 3uXks-O;QyOݛ~Ѥ%E%ogrsqj-%vכ7|U%n9L5Ѣׯ؄LOEІfs<([8 3jGfn=Dzs1vR¥ ӯ/>ͅ 7Ľ>ܕliqm~l|GI%vGrj}Ti8Z,]m5 3miXCǚU%Z>GA/v[ 1ux$*B9s`!i1:i_wƍ/a}m,[;z9Pyc‘! P`5~jI|A ӜE|>_ёA\qz/wpRpn4nVtb1&V~ԗ{W9+.ĸv2ܾ~|B-y˰57gJ"w$$" ąijRZ)5hǑ= {K,nc"J+5Y쾷_Ҝ`,jwM 2oL}"Ė%)g8;CzrY_KTw i` 'NfxXO*UQtBQ~4PZ>HĠt>v|,!ՠbhpb8!{ug(=Tǂr#MI;O(˯Ww{81k5X6 0C75, ϴQb9CštkrVMm̕> =AȞO ?OI|4 (SY{̓AW|oEqwbFdst2zTAaۥZK0:`0O@ $x_N@KJ-=~FI+YAmx\wCS{KQ8]elv2^_#p'M~- MtX짵-K H }@Dd>l֡֔K2T %M,7`c;0Ŋ*#@Չ,{8P%?9^>\(V1}"^iܤɦk^$Mvdd wGOVL1HyJvMDre &̰e=tFDV4Ф\xuG1 g# MJ'H&·Ǫ} AUYwNe#M)JyLI _"]=nY=%ck3'OӍ`^l59ZdJYYljAuMp4KW"p#)&y!vI50}7,5_gP./q$r6HE|\Qt4aꄖ8B|۟x|'3Ldh<̄bomvA(yCW% }Ċjw:3*:x_ i/Ⴣȍ gr7]8=Z{e\ T̥ECIqdTR ?'9mV/ b Ґqt);iJ7VWC,뀶l50EPK;M(mqtrځԎM" cG pRNjxp]_&hC5 ˕B 8F1&{\+ߟU"U @qՐOd# q_PZHAY4m8WUNH7I_$:hIDč nP *a7C(ɇoHH?}FsY(0`A[nFCQα.Mr/5вԁsذ";@={!4X CtiSI =3` ܾc!.iia*OD HbȄ'og^q6+}`Xߎ[Pz~Ffmx8=! ]{=]̊ A[6.Esς1kJ( // ~BP)?Mfun2|j^M:z->OH@TlPvO|B-@E=Dauv?Iy i:I^~2+^A3n~N ǃ04V6 (Ԧ1LWÞ+ﶬsE왥GA)S}-9EZGč_:A4M#k8UIJu9*@/s Ͻwx遝MS4^n-⢩Fr''t9KK|@B/m>0:L KcV$<c Aj"G/a{w 854 /CKW{eq]9ˮAO2 ͐fC$}w%O8Z*,`dYϽV1;7gJ 046ng[aRkԎJscϻX$6Ia;:@ U6R :G5x*EH8Έ+Iz2VA萍5 Z׉,o-]ސ٥, 9#/[nҝ88$nEM)$W%26.u~kc4dqg [@ёi/Wh#/&[Iȿg4w5j䊂!oebr䭼UK{tffevKi↣'/e3`܋)mG#y'$j6 :nC]ρ hlmAI#PV/!|lDQ+d^1VJ9,t<r,\]#38 Էl6kCI.mj>T=AM>?nׯ8"5 {,R M5q"tizmJ/S!b- مqˢ5U˝$*r_{slq-2VJsfL`")DCW*]ĐY娇zAۑMABiYgt[S3)P_yּnB*(?j7dx g3BpbYvͼKvۙqըưPJ:(aom`MHLJIJB ՝m`yT = ܌ /8VAG{3°if`t;j.G+QR7@}jv t*ro8&0Ԯ< Ex=ZLQzvd%Hj?Kc(&&-N;Q4pKa6[IelcŢ)*(g:+ZAE k ,;܍姣HRZ&*zFoLjحvgACAs؊A'Xa # F39q'E.F ;A:Ekl@2|$k#M$:\-[;%]yP([ &JThv+Pzn+u|ՉQU~Ʈ!i5e#Y6ȁrk\'P/Tzm>@Qs39)7/u%_6N M͌ i0&.-ԣ^(O &A8-WW9kܸolZ0ɰy? L{DC=$9-wœ'2T@]CLp( WRLϜgD>[Y 5#7V̬Vh!kSJ񑢕Lz/~S;B S#@sy`1 ?b-17` E<Ѳ9kO Sz GjӾ lϢEUkCf{rvR#Yn/vULi mwy dp\Xj VPJDjͶ hIkۊOlvaƼzBAKn] gWo F}|0\^98٫&S5M'Yp¨Fmlsr2> Ի 2xYPszh j?bE>)Xr?Щwg`Șbw-Q{V坿.yo_|2O\t!"o?;w*ͬQ $}-pRŽzoe%wiƴGss/WSO$x-K|ĸO^B#cSĺ |j̧'e^HA U_ɥ} Rd K@}ezޓŷZAIK6|9$Gj$b fN8FD~?Tk*slq}E$bJ(i=Y h]kE+qpGFmrv)^B$@bpP jLj)MnUT@jf} UlOG`+ %{ p}fcPsbUN<ZJ *4ZI3Li|81<+0y#-k7ϺYD&,OJO_>$}(L_#` s[g Oc4'bQF&/;xF+ru _ヨpZxTvn!WWtB&ὢoK`mmAJp(Mazɋo R.\e(ôьN L;`v~l>aR+.,q[ٍb}0gʹIX7%' eH `t{dm`PE$ dOAX+2-5\O%Klîg7rgF8~=>5.%Px~_P<njk<Ԍ;ƒEW?BTtL Kpz;0|L=}IWJTƦPrdB? x1*7|K;^݌t"r)*c @ cd:dö.=`R`nTՏ.a:N3kT#W5s_(k;!bȚ\wld)NK Իr Yr'VSnUlx;=dP^X_Ybm>XO@g#>muXU Uϗ0GOW8 ݁lemTrE`B!E\kLGC\ԕ+)AI V>ר+c\=f 2ݒ}RfRk)ӜBxF+SLG*;W| \ųhÁ{-}VoNO+|;OÔ{ԩAwFr|>=ND$O8!mS֥%EuꝨ )A5ŕB 9jH OAuZc/%>7%Lr7߇bt_!IkLC>dmslISzF̏0p *TÀ c/zrx/>׭3$b*y" A81=bYb?y4{zPLp*s'n1PzǓϨܤ`0K,=6秣"6;ЉdH2`) j[#CkjJG~@oӺS#LOd<4r qE'jnc4ݱPp |qؖdWRה:ښQ (?> O!vچiۿ- wлʟ8[a FWFUܛxN_:ۋ=|ƪhZ4]Qd7VQڭ %gbjVY71Pv5?,6=؛4xFG|IYV=-izmAr6 o 3MY#ABpVl42Sc:z3sguP=<僗N*{\"J)WZN^5H7v,!@q؄V1RӪ *vIq2P1As`n2tSKh{qXena+_)Rw. xO/%/OE0i[tg48e]obpMc*[w/.:̘x\(kMD [Y,7vl_ S,M7+K"_]cKCBͥDŵOPx1. vQV{X*D*xuUg Oi"EPdn/K=ܐV@awXIb9;?Ap5%sEgC*5&VcUda5gkbVIK-@kFkaxmk2a5hF/T)wC!@Es n0|Q)c *]}*l:sX58V[x:%2F[+T:Ȏ|ߏ>lr l@HF\3.x%6yc7dZ]@̊#AV\n_apM _N)oLD,לհp\e e»GkָboUڞWȓKKGpP?aa(]t<$҄M< ]=;b=xUVg%GJd1SSVޏq6:;,4#f OpNխS]8M6V4zq)S:nOflX,ɽ&Pw6 OCaSr7\_QX`Us]o UE)tf,)j@hxƲFfW|,n vcH І9Ô;; ] 'z_Rv6x"l)psTID+Q?{?2 AxW/I֌o]>A4A@1./(l6j-=Ht]8 `<χ_tg'chmAɼ;xȼo7m68X&}2zr|1lᚏA*}vp(nRr+#/}&S'P@jzMdxMCO9TWKqy`[1ƈC;˒,]xf"Y@ n=}ЗaY^p!U}F^C3]2?nH.E OR&ͬi5v ;(-#PqC #3Gu#JC7 cvBƓjZ]߰=JȲ 8†C_#ѻ͞ o@]GĴ(&zE=z k5u&LpÁ"n=jB Ӂtڥ>=mXieHO#~jz&+AD a2PArz:[O3hH f:CB>4xݬx$bcf~߸ިK% C GfM=+ۙ0,o4iu9{gqԷzR]uO!5؏8G!^d9@_w2j+hTκC k9bqcsk*5Ʈy{?ZѐG8ΈL1BnnD KDyHӻ)VnZZ|.f~1ȃsqG%Y~pՙ ?zXc*`x(/-F{ #hwpKك0m+46f{?]t *ʺ&::݈I.mAKaTx].I+wḢS[ɟOXspҜa2!G%Bc`,lIXΥ^j覄LYփp̭7q1 ~u}kt/0G{TXrpdK"&޿hp 0ySTߚBOS4$if U &.ز$pM C:&)n9%.'mPyeP9%%;+R ^E|!sOm(X0VO>xYBzf 4JJni!SÞÃT$|V|/ٮsl{6x~eam &_/`7M0%gN?dCn  o?Q{N&zr qPPu1B_mU wYےP縑tIA.^a\bɂdn F57v$cԫ 7TEfQʂQp8Ѡ @lC4C _`Ќy -;|ׅCLtAsŷЛҝT"2}hN^A)@k$l\b.mƈt0m%J p9B! kj~T)+~O>aW`#4Gzb}ƴ5oQl\~]8tL"]9Lgj9AҺ#\O M!be4HՁK[0׿7*.(ff[gt}Q7@.آ`5Ɓ&^!i.%d8fgJcrn,I_*Ǽ9aV&,WaFX>JigSrAA%}^pdtjtʃxu pF/VK]͓olZE #UKA1G~Iwd,WEmjz\sNT {jNv=BNGp^ Ύy5*M:VЄ;Kϟ]7M{s|0+[`|enG*wOyPa!Ċimsjֲ2PQ5Fn冈|D_gBS/l3`"#e#_U 3Q?<{CW2 4NϊqL?Bٖ܄ۛ\)h޷z/@h1gx~M?y \h"ܔăŏcJHٷ&س78 "bV. C]* oS.+>rȼGU\I"Q2qqV} ǓlPJm=Ia#ESWo:Mҧ1A樽6#.n~Q1հ.sӄEgchς %ϛ1˱Fzd0{#[aYY!sm.SN2T. }Wh)PJW% H-Du~P!* Y EV2s=Bܷ0xK61\}hJ1@C}Ji'S'e#Zi%z ueV6)!>$dz,:'Dk? |Pc* C9N33anm2V.̔S/ |ipAq?$dۺ^%iK^zȔ-e"Wq-JXV=-E{$cܘ2V7]bF/>|QlHIT MFj͎/-rdM&o="sIINfл`}@ɴ5{m5(moѨf\T.CTU S[Z*:ڲ*zIO!Jh(^S<%qDF;PiK~'n1N^%&l5Es7Vk;tR awClТ[FWX,T %HAqQ#0%B(tXE{ qѶ0c ,P+쀼S5YrL-qg[=Pg)WoQf]j,4L4;aB޹0ɖ2,.EO*7:\ٶ) cSeF\r(aڽjR7Z:"]MCDbMfxy!qp$KKcIr4őг4BfyjEHkȁfH%h`Ը{SRq`JE~kg¼rzu>L)GЪUR׭ia7un|N4L$J>c9 +bK26%/uhTl=혣QữJ3+AOː6*6*7ǑՇhTUokI/l~#Hhiޞ{+N֦t,09a:wR(OKJA gҌ~c,GLnkH z*?:9:iRT=*s[@.|ЙQ#kTc+׮-~}6[gghN|uD0LiWMxxHL#}?OV8ۙvAaźQ>k=Gנ=Ya5p++˾SbސE  aA*> WWq > HR^rrA c KmBxvM J\XL,3*kt$~bm^R-%(p`3ݱ8u=Kwx*uC[gm!VOŜ%`3L#V{;U,?eqr}))R=,{"eP wZ 2P$ú.M^Z5v8Hhcg6Qm]d yb I3, ^RIHTAW|zQ0#v7,8uN0Ϯ o+tX1۷n5IyixNL< %>3O. N}(#S shReP7*=ˀQvRkʙ2($͛.?'ׯ 1,l A2;#_ -OQ.D [cR1ҿpq̓hJnn=~^\j4+~N# | 1TXeD"L Z LPb "_0W-׮,Gl'u H9~SOt;D,nrGvKC Dg<)bU5[!3$X4{qDl-S&ʃB]ȫi6Q!>Y¨Ѵe&]MW^,眐i/%>}qjN3P6ܶɊ)jӭb,05A@&K(`a) Ǜ̗;/`H(;1?(wu|FzW֜Rp'.FFkzY2#j.=a; @@ژ%;d,y {c=yŵ˟> MyƢnT>$8JR)ˁXLWr` l Vy}.U.pόnU'1[xnFeMU/@}3/b,*z-QYBVěy ٧xr1'rVp3^eꓝFQZIV6̸on뾨^xFOG%Yz=6s&aXo<ѹ֢6)_kl{8څ8?~n-`R ha HoOofleHlwȈAܤtʸ=}DvouLx)x(R""i]7>{Ji@xRGcv&eE!fB7T}Deu3ko.}.*S%ɍӵXJ jo Ox^Ep9ȤF2 "Rh@A&mp?߂6[8Km @)6fJlLXG堘mAr'_"\k'UugṞ\B"*E&=䖏cY;?J9r3c6G.\L$4-o2oy;uiKU[7,'H-2{>^~@7@;q ӪAX@;{ )l;ZWP m$aP/.$;oU t˿2ZUũ_\MT7@Qt}|Cp/5?zHW}^9Fa\tTakI_JZ' |I0M׮i=CIUmLL%^+K5!Yr&r}U`b̎A;o[5myAѲR)@HAB3im[\I}55MAE~uA=E F81O*`bW&[C\̳ԏ(l]. ~-Q,4eE\ '?]Vr~Wk}Z*6^Lߊَ4EJ@$34O_w%5ބJ?WK 3 V2cl2 ֙Fu$IHQl$Xå mÞŰ#e.tl~ȋDwvL OcRI ω#x>UdkiG?#r`%bGɋ-xņ.F:?.҃ uȁİ_{ DƛHyF4:2ZգZ Slne.u," tGG=Qɮl`#l{ @4 6OR'Фnf~fa7=O k$v*UI@ Ϋċ ,uObV^]ň\/J#' Kآ,T)uBlIע)uB{w]I#-M9Gjya"erg9"07=7W o9,aF<_{{2-[-Wb>Vav2ARbr tvҫw k49zU]\ugB%Yw"EHxR~UE~pW;N4X E DC ͗?]ۃ˦@*+f57E]K!QԁcXu]uwPlzls+{@됌=Hqk4@A< O7_g؉oӘDSϤCGZ#:-](.`?)5 5[@ AR 0^pmlu-f =N׃8ZrD^`(\,՞=kZo v// 'FC l1'Y`vY,},G h2% 8i BkG 5#ؼOᔹhgOR`iyC_Qp2HȐ6m6 7d󀉹ʆ2Zm橤1Nt@1$3>Z^ɬxj;4TI}ͨ,;< v4\{1㰚 H0p6\5Gi*M =xCȿ:,Q7E(=͍ t7aWu?|Y)Phqo ON!ZլFst 2R{FkG/@^[Q*3!i`7NYK+Cs42;P~kzl. h(<zr(r5~'q]=5s[E`@?Aq8^Y|+ RWz7W7g>C/z:ق7y q ~U P`$þFzn48e$?!uE6w)hwlI6Do%ZRj.|g3Y/C:LWcK`[:_.Q=+U4+ī;MB伄Sy!"ψqxpkZsp-Oi%?w}!Usmer0,(vgK)]$\ r95$Rg{wo9c VW ŵlX7p "]?mzxDx\4 Jj3tFd4QGGT= rH}5}Dɸ29mv.& gTؾIŖR-,Nxb,ZlfzKTeU;'b4ٜqי됔H-%v8@x+]\Χ8ߧ*l0l2|C;e#2ƀE700|T0|hsjT|}@51ıA24| uTj% \VtHN )803^_!ޜr*_"r Sw@ I3ByU2~6&Kfs3ŇUC3;;y[Rp 6b|w[\BKvC$aYsV<'dkpj1[4e3KI/ǪUul %MN2xz0ӦtԊl3>Q v΋|d%)ιbĕ&OV#1կ}fyw;"?1-?̨^Z݂ zWVz!?k } TMgxW[ m[Ж!Hp gsT0Ҿce[=[ XN0t@5R&fE졓{.S yV}$ 60Akm[>yLK^L_3 Wr;U1څ69yfgi[>_py/C4%⠠aePb(jϩ$#\SZ45tV5vOgUDZw6ptwɢ\A7{Ӯh[v괷m^mWSv /|0 sj+PH OtR$UImH֢~y:zcgM} zdt8yl3kP;2f"twLlJzF%UֺlSP b?Rar 7 |AW͵u"o¢KE=ڝb͚ʞA(gi̮|C!N#u(6%6tY6qXě뭬8nM+3fab3{,oP&"ˈ^ͅUxGvU(m@z;X DŽ7`2zj:-YN8:xR|ΫOtI+DGݑbj*9ԕd`D#Id#sH=}r{aKJYQc^n[1§14!c͓EJJP:u&-Ay'JHTF g hmc{:Sz9ڥ{a]<" z_;P߳ãr#tanK+Gr֡PY5c4}o vəo4G-B<ɀ/ٯB2t_]bOA%Ƣ+78ѦGD,D)kxh&%R9F x%69iڤ |bݧ }vt "MΌ= 9gmwC3,hNZw]}^PS`~;L}m!TyG(͑!z/bk۶X>s7,;G,u `5 fߪ]-ΙOPmL]6i(XZ~oe" YDE"5sc90b1Tbc.jgBkNS)JGk[,j #sexJ+V~v. Zc/{!CG۬fˮi5qEɅ&L-g=Ureg&i2UT{C8 xC߻`Dnd(,JQ*k=xȦ}c uEx;Sض|J`vfb2y kb" #i_pcn]^K he&1[[׳zFl﹝L<{ I"<+x*+wsxDv"n9n.VvI /EFE fh[e&,9$;vdjXDy=J.?TZafnh-w= ڞ^}$ y[pϡ1.]zZ})K酊!X^RF,ضNqN嗆cgc!R%DPP Lo08<*ڲ+TLxD%vSfH_-zOEf) 3캄5V9(SUծڀz鳝3T$&eB|L|lѼR1Mfn[rTNgpr=}0ːTD!RdyH̥B?A^#A "݇;1@2byI%VWޜT=͐ T ;Z:ϠμpF. *=, UaL| R$22V5J7b?>~%qpPϵg$}!T)H>znGNyM!l'1gC K"[qa'Ƃmyj+˚{m$ұMP_זw´U>+/z7#6&7vheQ=$mf!{Sh=7RpW7 yC~/&>1TG XO"4:ka8 vdZ"y=kM te<[!ebR&iun>c]~Ŕs.8lKrey[}H ,S[фAU':gƆbh~ڔg1`Ck! .Z;+X@d\!sl{Ψ<-#2Y28Mx%78VĦU?dM/SRfwuE Q= ATMCns)\H(LaağF#HPQыy;Fs_ob5~9(KmKyeFjjWW[0ۼ;|>6Nrfپ5qV\<6qn@vEmssݩBXGT>5n!pvG#{>DU5z}r|+پ,Q4Yv& HOz gb?)o掤ĆfЙ B$;fBM!pյ|EQ4^ٕrA Qpl}D6bV.dj&R7ƄOuA|8E[$lnleha|b4k> Ɯ㦱OAѽef7Bt#>"C"׌a#Zv ,=!ϊ1H:DM {-o"n9Po9&}VڥRU %êx:oW$NxWys25 ;OlϜ΂{t/9%&Ѕ)eq$\1X;'OL7.0z2 9szWʅ!}B9/ bǧeQrjc u+!B׉~Ibi)R{ŗ +LMR<L?ŷTzV`D2AwQnMAzmw{T=dtB̜y rΎo4;h \ᚖA;^&jGBLf2iTx_D*Jvqh' wG9 y2VV!"!G[SnLŎ=)@p+y#[?}:\O~|U4ߎdfiaJCA z$/l-eԮIȚOvTlZ.Eg`VZN|+ U,S ֑%q2Z`2j[\/?qA|-ZϤ:u'y. Ss`Z2wn̜‚QOQ#&Vr^|1Vn+T+y eU.(ıBJGp-@:enKvwRڦeDo^[|&Ͳ8 q'J󣬢+bB)G4τ7d֨?gqmgy2Z٤9e~lp& UOBӺt~VRG7A3y"6vY/d7 HKl`[ӢsWhdY, iQ2"q؀kЕBj! {*w,0 /gkV+I{7Y0e^Xvzl PFO|TnsaxKKqr(Z%P׌l]MH5.h+o$`i63ip? S"'Z|~8=>eWVMx2$ƌW@9X2K#PQ;F 6wMr&L `_J Fh1nX:.Ɖ-WyV |X~\c"ZX\\ᒏNqA:j8KmUCkF@8 RACt)cz]Y3Ue#"ͻ=>Sbfoh@5A :`Y^ v^ӷ3Tr1|vž`F G;ag!s*cuE¤]̻`~h?hr "lxG3HNq5O:qG)} Ů!Ā'rξIO+L]F&w+*A 7Ix897.Yz #z hŻYܮ\džt?3,G* =2߮I2'Um.C!е&m%ȾzYzHrpPƒ@a(q;.qrԟFm6i&ٽ ` (ryM'lu!x"a*ZFSb 2*:UX M=HmÅ/@m3KYFt76K>ݤT9{waCr( ҅H_#ܬ ,G]fBRCAolT9w-Ij]!*F[lK LLgf0M 03P/͆)t`3L="o}X-ɦm 0]jQ2wL+ߜ"1rn+p u]_+6ؒ {LfUƴM>vUq cwv$x,fb hM%2`Lix`ld{VzQ w!Xӭg%$r@&dVJ1-,#XO"Hz:2qzl\s 2r7l9TO P٥EC{oPPB*Y4xG >~<7|vjήZ20p )'c~&Ka?{:hZhF @GD`M8xЕQL{+>5O'.] ౔ٟ>,hƜ~ToM?X뀘_&bNlpRWē1:İcê)9A}ZRSe{iN~$[4dV{ld&uM~B\iGH^,)[Oh\'gQq`Il:tӐr|/y&QFsUa}L╡9;V ^>#-O]A6明jy. |\k[^":%iW?3X FQ&2|R<7[Gř1䶿+3s #\\:.>7S}(($whz(5W80/ͭcSĸq93 Pӗ I)kq|zQb BwHdBD^MӶ+fTR zN{Mre>W>/Ѓ5 beJpU[8[5Ӕ ZxS̞f^ۖO;A* zs>Na272W"0 jQ!'vj*V$[B KGZeqݩ8/u/&6ǬYCj}a`+Stq/ݏXf꾾]k5jfjm"U0+ܙi]-rI(e0u&a.C 2Hg uIyf?ο8ЅaMuac,C$>(-U={m_ptF(UWpoOZP̶ךQ֙žd)g኶KˡEe8\g'W[F!vPpAm-"05p8a+Dp2 imAGQFpƮLLF끁{Z=ىvb`UqwYZD̬b[(XR$ K7Nj9L(gjBc}bPX? =+B?m7x(vAvOrH&z'LJ4\maVz_:}뱤XOUsFZ`,f4tbgl!~t"'ư }$3oT;_M[wjc!iNo֎mNY\4m mẁۘ-nfd8,1h54w`8b^3]snX;ڃPepR.m*ǥ̾G}Ŋv[K,?>˜RE?WM2/mq=[tZ}MlU3kh?rTZz \q2')#5?:}ZO,s{ٷABQ){WX8]7׻ā"/2ٗ8cLƀ ƺ:aELr M LTa&_$EzSbF:­cA{e .KDa~o#O.+kܕ6BJI׾v,.։šOGٲM# %StbBDrM1eB#:Zz֐Z8_y$& <lCTY쾑S7e_A@H{_iEեa^/ ɭԱ [[qi4q7SYGx$+6=_~ :/:P\02d_fjAIo:N7 5}j@/*A5U*77A S1u31/(]6 6 35\whM+F/a|Z U: GGi-C πT'2BٓDyFHU# +8BIN|*gP01s!1u@,]U\ȩ]p*A0W2 TN h㫹ʏ _gz{׌~>5K{rؒ6y鴎mp8`4%QlJWw,UM3 H?+y`bCN@п;I:R8Z8ƱIw#GlK+pBV6h7a4׼j需۫Ä)_V *Cf- ߀"dG ?kwuAB NkHITcy469&t Ph (4칤GK.n܈V$hEiyCj(Ovfq u5΢obݟ~+!Շnm^0&zNkS :StԗȚ-f)I| iYIT U"yEELQ *vNNl?GE|_!78oD<\><6oW-!1I8e+^\~1tB{1gg1m& CZ=H9(x8k@p޲+Ԥ6Hk^ Kʶ2Y>f %,NAlm]rqp@ WɁWk``rĦZ32'1߆K{ j{8/Z 1R׉И21rWV>R&^abW˔5.InQ^g<) HzCc.Iw d Fp.|J%ҧY䪇3太pb[cKfQ ]vR}%׮V]Ձ0m7QNd96]|RSA2loKW@ym'{OMT2$)Es˪1Vꀨ:w (i?-2)ܣò%7H˸^(Bg,yG0qd:+v|5YEh[m?h8-}M*AH_voY:_pcm|-bl"ⵟ6re#X\Y,2ELlr/mڈq J qZO *RM@!Rw WL̪L%Po2Ež.rb$&;?BS=i\PI5 6itW O]DHe:!ͱ1_VdqWzYVȔH@~XZ7:Fp#mҌrȠn#k2Bm[zp뙉1\eIK0+\N6 'L5Q3 YϚ<ʖr=rY?.];~Ռ:b!ԱbɱOŻ8NSoZ;]xPr,{GNy (,\,x~vxHr^ZLa)~xw[K 2e+.<:7D[&UK܀tW148EB{#<\Z/K8 6떏g k#u$hf)qF š[MBNJL͑opY(;f!@¨)iPļ3#JGiu%ʓЋ~ ~\bQꃀB~GP2Jbyqloa\koFE05 B tL 5"v0S"򩨫m*H?;^tI8uV_2JK)q7IGxPn;;&rh +rPA&^f%Ftlp DhVL[޾ %F_Y 1-/|hY vS2}@HӰY)B>b -|vQEY p!/ePi3jl86rӁMgcvpxC^iWL3u>TKW_#2 0H/ Jkh!'m ?hX/`!̈́=p9L-+zR޲ع2ONA(1DtoH T<`r : vn<2$&\(S5GAb;qCl9mvfi "# a"ZmDFfOS:i`V:|FuH8<ԜG҄.?n "U2U#i8 tC_5>;!uQ$G ZBcyޭRQNeJlݲ:ȜZDՖO@9^L[. > Ve*p#䈀͡ocEqM\m3]Z#/Yz҄kE:|y܇s` ~خ =5 7cAaSm`W8=.^m{e*@5UWcN͗#GY^t)_d즄 ɒhb[gm$Խ_&^L&'V ,'ɚ'1ϕo+_gM%Hh8 OB/Ej«c ~|MR+ɨC({\:.yqG*-zDm[s[n&e,eB cy!^G$/,ljxnǥݾaћ<= ]{R ,Mg߄?S2Xuט~<:p0ңOޓ!gD_ݔOBRjr5֟c*ur: R l(1ҏ!<6C&uǬ_G1{ԭ!<y~jZD0/!KTܶs宂6 , {vsVquYowh 7[_Λ<9Lg*>`!ah8m& {ƫM B.x -p qVNmmhS&mڦFdƲ|Ӌo௰9Esx[a\ԝ1; yubTC M  >2 *bP~"ޏ´Z*IO\!"Hw=4'}xl;jd)UZM >pq#6 /0lQtRbX1 FLq}42#{x.A8T|[ۑ; %~ÌCi? o6z-aTyxDgFy7>KFzH7~F_PՊ^4?-H e0_3F轑 f@x &~vDQ67$D? p-KJvhׂڄou:Т/d&G* cwT#(&~WrvnDž{%+ӧ,$UMi D1 ;\TM@?FZktdEb0) K:5袨p`1xl |{J3rkѝ]-洫t_+74%[/6[⧺X2A%zQT(N.^ZSJ4ZKwAL0X̻OXFL+IMEYj6]g Byn/XJkIxp.wBk6,MR,+Bik#iNm&ZB;`x +vio<^9Œc -EgSފ*F٪ib0gW{w>LU0$_2{kuq36A!!? ʓrĽoa|9O=Gv!YNiA_+9ncEEO.lk ^]KK|7Xy1trcQf^ g.$m9A=hl ξIg.T{Y+i©ETUl|rN7;J*~Rd¨)(BRu3?z# nس*!S0y[nʀ ?vͽ-<*aMc.XZ7GN8V'֦0Zٖ\̖y;0PJTd9++W=Nl? YMo򫚹KO%Ч߻E1MQz{82-G{<*[ꥡI#*G ].gFT`_.}iѩ:)`gYZ