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 \# tD ]% VectorSpace:threads=2elapsed=42.023cpu=71.472gc=3.592factor=1.707zXZִF! %]]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nWtHDhҞ.̀ݠs& U*2ҮsZjY{b< F|(=Fm܎س[>.j-QJN(YJAc(|?;֜go$Lp{c"`m FxS6a%+Y?$hZϴE8lf7HҮAv3iGW*=97aBF<[مbEtЂNp_ؓuva+#!qdu_c9=Wx YYm1%`yX$X[{ Ik7Lq|qp27N)ŒG%+HZKn'G諳'-+PNbuE\.!P}@pnYLfT.ftȂʼn N_Q}o,JC# ]REݳoR m SyXW6Pe 2J~-V)-n`/o\,%172ߙ׵~\!a -tF2P"/4y#7lmLezb2>iyCK:ѫLiE$s ØTY.%!B'˪S@9X5-RU+ :H3S 7::!\H& φ;vJОfǫ(hծ&EDDS'Kղ7{9@4)VA:}< ,K8E&B\LӘ+SR1S ЋjJt.Ĩ״N.sѸȀ&?͠M+RDuw11S+fP#ۗX :k}rkL{Ggoa8 t#t;wF2c}79ˆe̙zdy+1o6:dT@l'SɁ ya[$>$ 9u!ƠKQK'Ǡ$ l5':XH(F_K9ma\ Nd\҄B9,gpD :Ў͹yf9臿8,nCeP>/ &^HfS\.b儽 ԐdEnYr(L^b$v챖vo1ϯ6 ?_Wvȃ~{nZ\x>8[0CGƐd^%g׳ * g6LR?ӕͲ0w*D*%a8W/#kG[P"@?}E(*v@1DTMp(e3& w"4Jih 'ce+Ᾱz f9#F&3OlU^)Lhq/k!qqt _sQ(ε>e95>ugJssUYhJaN4˵Rq {+*`q@Gg _}c+bCX)y0 `14(w46:wɞrvsEd.B|a w%D&]3S K74D+{m gs'm (^(tj_UH̖uӾV"{ACtH̋\a"SڊSJ+p{w" 3dqkP,d쐛`Q:%;0ҘtDgWfau57K>$~=hu>v2v|8܅/wr` )x82.z]Մ0Hl,T̅'(j7dÁ봄'R?.},V YJq;5v99 䓡@ [;++yJWLߖ0D/ E^}xaNG0yn4rwJ[dmr fcB&\ :A؟p(G /T6׹=A>(~¯]gS0kS76vU G!KgOr3Onmtś'KB[Eܢ Ѯ}V61C/b~~ᾈW:u"åz4qI+lҌ.2_ZD0[.6IDk}4p%-Xhh`ѮN"9^~oLiNzQ vszMm3O 9E Oʣ6v~&8RDá-C4EMfɐO 1&-]!)`ӚD2=y[jRNa [{L2k?3ŝ~*<=/P4$eO{W28U-F υ|Q8.̲E) qt+ݻNW) ]-ި'07 D*wU0np}b1*IoHZ^d_IO͐3\p ^,Z5pt}6x1_MVMDZ} (FEԜ.%6jE1zTyBCv6nQ-un1Ȣ"ۄs-m!HŸ="Ǿ93P NBٷ}Fh̅ߎ GJ!o8 76k}/ ?& ~/i(n%ϧ.mC76[W7çrÙI M4ϒ?+EeLeuvGU*\;4T /x?3Q.,ؘ]n֣Qqx{*LbOgvAQr"6]d!ET _z wg.,Ŏ~{;Jܖ5]ü+2}3r8 ཱྀ_ŝmI4;WdUaN+YgR;_gs-i;KT۬g[9v C;'Y-uݰO4 ǹg$9ԑam%qtAx"ou`^+5F"kf$_h䎀Rط?noS0I TZL y|K3%JKə FdUB? TU5UKH-*k/ǽw'1ju\H?B|D.|hb<:G~a>< w2+Mph'=$r3m8ǕN~UfΡq| ^F¯}Ҙϲ(h",! >2샸+V;aT$K\VJT vOW+9U=l 0UP+xȼr1av~qk*[ ׍sƽ MhbWθt x)ŷO]-J1+43{?m|)7K8?fςYl7n1#fQIU]ƭU)>dۘ _&nQA:ahٌ/*s8/<{K`$wjЭj8]:.G) vuH&\ۿ@ DńnȞR׵JqMP7E#,qȍaP ⣅(8c8;eW\Ԫ2Fx$N:ɡI) UCEo2'xo0mZQӼ'{av(!W~$Klv!e9R#|̟̞\, 6]KIv <0A;D/KJxe2.x\Lb0裤)PJf6Z&*AV_xU1%&=#2 dijqT:<0>!W`DVft=r ^D_zՉV\$g(v€9d6(7X%:fw_ohr?.gG |"Z9-'uC5W9:!F '=17l t9{l#z﩮ĀhM.yC&^}YΘ&GV O11L 3-ܜ6I?$"")p$aŢb !'pBݚ[?: YNIJ d&!XWiazerPfϽ12rJL$n.P*}芧},]-d^Z1O"G|CcZ0?Ak"!d:K?)(w!-'.rWt *n 6S붼Wsc5-ZZpZ`eESS~́\M0P2e$)9k`h?UyrKq'w\LG}9۷S!>47ҽtn"ƹu$_8QpT4L! ,۶P(=<$@?O{Rgc2>L=A zȎU%.#:oW3i;zABB/߮DLMr0 8:$Z&7](f\EQkaZIWB4%+Z1_%m//^OrТGdrJEa һ"=;V-e3ii-aT"Nzʭ0E|T+3ugʫg+&S:}4OLdOn9 5*s˶ה0/ h@`Tf*iAy5}xLaPRpezSЏR.qhS޽&/E]PZEMG^>qԋ\78?ߺ~2p' اu 8Žl%J~ƛ*83p Us|_7:iwQBFZMvQg1| [JF/ (S쭁&v{ձ}%MDSgYc}@;˴9IHl,J9`l3M-Zaۛnk꺳+p%9Qzl/ؑ6(<; UF U-XbLZEV5o舳˺FoU.s䢲_8 4Zw|?6czh(cqg5>80Vx.v3KouZ咨r,&2ȻDw&Nw4BktfL;r>Ӧħ𨭄,$62?A%l=M(B*XѽY8 ~ S[ h:8'< l3,DvpEߏB]8X=119NduW6FJ@QA>F _4xsJmloa@~vWD=ʣ6>BM5 @)ŋKR1YqkOԜxFfr$!xҮݶeH/f ?! g e e4(fe(YF,a># 8{>5zzX  {lF$b "2cAW P{O}Ǐ%L|qiuS"HLIZ0X3'&!9u/ | =o-KX85arRɯ.ܖqqD=e 1lҊMP  ւ{p-M5P^w|قZ&5E$ 1yf"˭svU2DkWz:G"w/ n[рsRCgE>Cޔ,'C_u(MGLe\ Zo`.Rꅞ8KQ䳸K7RBe4FF|#aL}fK%vbh5a-(n}ftv[q ]zAQWC#]iᮗ$ۑ,G1YSTiLdAquU`-K ޽8nl#.n˰R }@G%a<8%r̜֔k+mmwþyDENBq.V-oZ)R{Y덕|Mrx?oiecj%u |ɂ:=Kő&|E-JQjg:,6!hٜX`eu6\n#NFt^ߒv=Y-usbsFuW' {X,#blYn//d<rtHBlM-~B:Z1v`.!Zԅk;"cY:z|6#g~۝#0[إOW.itH)y`/S0+0C bGN_^ :W]&VѭlĬ3",7ۘ}ѳ*h6 "Qe ab=kDn*_ v7uʎ#<#BkN>g+&v Rrcٟ>IkY@yMqRH%n|F--謢=>Jbr'(?ӲV}_8ˊ >z>lZA!LOvJ crYڛ0 O}2Ȳ_ ͞lT aY?ugM嫥cfz^ƲmKLR?+oKVY>4ZnY]v{Y9Z m|laW3EP1=#e8Ie#:H!ERZ&` )~b6n)e0wΩ*9ƉeNcgam?qHuwɁ>ZO=ܭ%ڻ3zV@;FAUJt8"|: 8y3Gf@37hc韣B:'cx)=hwKDD:@7i* s/!zX^@򚆐y*ҟрSgǧ/ >8Myߣ1ڬ,jPKmDaHl\nH|#dF=[:-[#q~-(r+f #+{vNbXLOуmU)!߱| 0vW`XmV?~z4{M4 *3IH@%pLzA^4Vx*  F OOb]K""t4q` GΐZK6 N,nuĴ F, hƇQeX$ˊc1XV.UmΠڢ\}-%%CIO]ۺՖ(k⻊۴^oȈÊip }zar9L0МxhGa [{߾ӴB|$GVoy_αД6JY]p%<|Dc]"7E܆d"|:!ҜOis:q|NڎN' QVV`'8mcB-o*QuJ&m|9HրE/]6 +L)hf{M @- rh%x*U؅2P6[ofRlWW6Lz<AS.إҨ9.[Nt0> Njs/ݞ?Ơ8r.ZD'7~.nK@ III4nWQrµWbh>86c=>N7r4oNtHQ_XJrU].{Fu @$gYZ U#I% ҮsZjY{b< F|(=Fm܎س[>.j-QJN(YJAc(|?;֜go$Lp{c"`m FxS6a%+Y?$hZϴE8lf7HҮAv3iGW*=97aBF<[مbEtЂNp_ؓuva+#!qdu_c9=Wx YYm1%`yX$X[{ Ik7Lq|qp27N)ŒG%+HZKn'G諳'-+PNbuE\.!P}@pnYLfT.ftȂʼn N_Q}o,JC# ]REݳoR m SyXW6Pe 2J~-V)-n`/o\,%172ߙ׵~\!a -tF2P"/4y#7lmLezb2>iyCK:ѫLiE$s ØTY.%!B'˪S@9X5-RU+ :H3S 7::!\HIaŮ[zBdE'M;x@/6BJ?Zv&BV{T޷zaF/n<0CMpL.bl|€+yzӆYxFΣ=B %){x<#kz.oKs`@fk%uE#Y8)A cFc>][z+c\+؎ePD{n?ߙ+SXrQ`ﴅwE/tQ:|=6ݷr~MVÒeSũ.Wp8s.h% _BS:f(;S[8>1 (U'nM`FaInw}!SK%} Btǩ6YgXuvbfFx s0oh1AO`w4̞\ ~-r^Cmz+@F)OpZ]96HR~1Oj48C+. TjO*`\2A3)M켐p5i;Rh_װG{F@xZՌ3D1U"NAxU fxE1 ϲCF %1Mؽ1Waj qN2"`Ÿ?<-UV@FS̢ib J؃Ӆ]HL¾5~ͪ^~Rϋf .;TʃhLŎP_{nUc>F㒏,;]Õ"Lf_U#ߑV4Q-|?WwƒrNRRHpr CdGrYp0E`B~SN8rIV5εJ۲%mX)$>RmޏմT@CY~89xL 귬XpzAQLmIK8ʘ^tIC\N3`]]N]V$?C3-RLJ̶/& lU1θ?%/!F&7C?* P* #"kJVWJt>kZ8(1 d俢W 9u6gp^&)&3'f\UPa3"& Gɾm!ҟKTBGv+FA#a>IT~A1HP!™Y<`bmC6Pdާ֘X,$"47W*fWz(xCVyR$DG )@5uxɷ950 Inh\/_H cE:wEMtݴMÕ(a 3U?Rwdl:ߒ9\"Ul^S6K 6i_SS&0߳__4 4N`vb+Ú8v&]6pU\ߊwq6IjHb{ZtDd r2q>wt!ӧ{pT!B4t-JoST\NJ@'+F .&jiXz'&h+u3|\הnOo 1C|b'?[MTBU]pPPKTa

-J7 A ?y_=v׶R0ARjw,5(;€Ks Zֵ@yL y8Qp_ aҿ7*\ݷU2 jb8n.FFϯVI6zeT酃Rfw ,^B,:>ûxIպ?wY_/stiu䙽NљXsvbqù/j܈QoubqE٠1?aPj/{Ps(. 5[h5A %E%m-i$rԖ`l+]^ԺDUH1:q~gYZ PP-#C% tVectorSpaceVectorSpace.RingModuleFactsdocument.tex7zXZִF! h 3]A-MՋhvG"uIBm5􊲂N>Dc2 G`/|Dʅ (LG6 1@Stա#!xoeJb&3(hl2SdOss:Y'ߕ5)M>Û` 43<'p&Q g^pU[@ r;"W`K+ .Qk\1Ngг6)+9LGq!CK;D ZLz|YAϡ5XrONw .%y⪾=H>ޒ{ 2"K?xrB4+M` ˄6'sWaKw>&ՓY8֚cqYF*w<.bm6Go@F=V'enJ5TA@.׮1T-#ӗPD_PTMF ѾL]ھ6}ɟGĪ eeu;H bǓ|Dj-@EI:Sg*)Lt"5z "R܁!Q.Ծ1Z!C`o[KN#[J?Ǖa>ocNw4\ S2ؙx.#~^b#d%]vĻNÆwVf"j c\K/Y$^C CnzO9V*R6ιޣEQ:eǂǠľ9N;#si9{>y8n$(,6tԬ^IxV/ N[{KL+xakbmt:~ڮr/w|}zn&zΧxu iO!z40Obup#(޶[V 7R;ɖtE.z:݆$ a$mXs>$MIxlu+3%t0I~lM,_S<7W:z}*芷 JqiCo,)?rJ%iz އhe==Q?`ĤC[,kH`9aЬHj&6S A@q0x8>KFc)xtQ\L"# (wy:LȻ:XH\!Bh9<>qR>̓Ocv%S9A=vX[k.ݭ|㪄8.BGarBʠ= &d^gMp_u_C7Y2GVzKzdZ ":{6qh> ‰}ha}ƐbP`q #dJj65 #UkS ĭ6|੊mPv)"EQv+-C`S`W1^Sdد9~t{y;e@cN* =L5!"0ǖ+˄z+ySk;g\-38f8[YB̴2JQnd H:戭ۘ8T|em3E2:qS:C6Qxa(vh Dy] -L՚Q87f>  דR hPy_*)ωT0yW5eШc6K)tې=$>0s8iٻ*p{Y۔:w[Z/s]κ?a V9hGe%< ƂAkqdkwjP[PnNwa;f]' (nfPm‚@1ʘ;ЛnTdH0Tqь,MCFm7 ;%xxj+ҙET{#_M0:=ZC͘bYIjVt뉸U_]NT g5zR͑exgX3߯}n3+J0аcz)uX.`'$H**%.+h01}?2T \ %VmRdbQVS|-*( sw`X;dy5.l>2;L~Ωѝ#X JqdVc$u%tA8 >nJDЅxjE|Us*OG(K#}VngqR(Yz. ۩A|Yswv3@ !$rN }r;et?LG iúI&Rp&\(0ZYCNQӂgYZ "m"H#A% ,VectorSpaceVectorSpace.FunctionLemmasdocument.tex7zXZִF! ]A-MՋhvG"uIBm5q\:Kݘ)lG3f :0f-+:hUgFxgal4HݤUDhgAv xi!hJ 2+OcU~b,Iع=20B\!)ֆ4w<1Z{`ac]ۅ5 o"T").{#׊ ҙys!. J*e7 g#[э&xVHbg<)gtVa9$Rgwu|n* ucB/*SE`@Ue9x֋U.hSi_i,m NOn1ѽUiW!ts:rCz̃ºa1N8wp8ˋzf|_?W>бwބΈ>uOoCX;0VʑXP: -0W/Ƌq‚ԵwuA%zyl%ۓ6"G`GĞ' k㭖1\bf%V B^=E MII\e];rtMҿh$EdFly4A\gO" `M>FCI+W&7eOn|C$^FuU΅|:x̡f|UW%==GQV;uW^V_MrJ smV9~gYZ#9% DVectorSpaceVectorSpace.MonoidSumsdocument.tex7zXZִF! Y ]A-MՋhvG"uIBm51#pA Zy9~c_%;Uiq<MGouvdu5!e>I%\dF{e/"+zy\|{4fIVe&LA>WqeIT& "&ӷdC& 8I:B6S θrP7;ca>Li#dzJTFy9REk)snqu@u:}{ØDmNz0ˡUaQ''";yf:Ab <1U#[\` ] tu4l 8,2~? /I.|^SFbﻴV !S2/p րZeiׁcX "]U]n#40O4/tZ|@C_YX[GvS h?~|POCqޓDޭ5t݉/߀NX4㭉w29a'||Kkl6Ti:)B*?Uּ\?Y s\S,΀4]k՟̡W xQS` (6'6Ʋw}eRCdO9I[{c)Y*\:V-R/ qiW$76,WL3  D1?r<3SRb\jw D_LOG!s"|6gHщAui0"ܵm\!b ('$yc5Z\Z,;H&lOimƮ\u+]5cRj=)NOڪ)OMc _B}p(sEoNkܪM֠g%9.$^&ZrAjbV!,Ck$^ $ѥ[_Jyt%7pOr4ៗ3Ɩ=>R A%^l;ѲDv=wV5xEz uahF%uq.)?df(-f5"{C3dI]kC-zNm{XY-_#6ɈPjWk)lZ 3 x={>Lg57+(]d E6moJKxA; d32qySf9:}}lٍ̾.ZBlVG)114@k N}bAЕa<}ѻ⣜tOH mmvՆv =]GZ5`7\bZ8܉]BlE|t$!0-X {qdCC| wL}DIo(E-eA|;1:Zbun[|옸G Tf!F|}0N'svG(ZجDe# -Ta/+-S4/JW,̒@P=5^iUa -=> φ|a!{cyKX4KnpVtʅit)}eF^:(qfsc矝$}y[=}(FKj5@eb>{+ `Aj_.Ep\i5_bYW]gUẻ 0f#GKq[j7|~{ ⅃;%0A*'SzpV[ O{!R, U 1۷w yC,U*Xx4rZSI]IZr*;,+܆1#&H5+7z߷xZmE ԶCx1!Rg3.#-v}ʿΓfy[IPgM\@>UH}tFpJ#;sX:J9Hb,dt(n:n2} kmWpBFX|Ӽ)d!Вeˤ4.9ÑD :egYZfZxƤ3&PN'0}z7+T7Uqۓ_0~"(_2z!ԣAij\ \$Y %x-/jVuct>r8瓆Q಻wb"oӦ@XCLyo*s~5zb g)ffH**x(|`1~<\2N*s$Q C^u] 6p; (*y̧ F}`ᑝEIHcÇW?OS6Tf0FOLg\9zBMaXkLNl+lǽy;<հ ^*fgQW>&6s4H2QYʲ= nΫá,,ȧGOu9TF@iᔍ~y<\Kco ˁqȎ#[z+-1ZMiM ]bSR:ogVP!;Md-<ʼ 6$r/@-EI;P ^+{429qlHՇ>\E\OTݣ_sTݺ!އV*/E1C3/T"xb`ep,t'kg{OrȀy]J_SFcwy.lRFK2>#%?,%q| ~ΩQW#R@ dQh1NEJyar(uAu8i!4(eQR9HH4W|u:71% B:5`Vh$T]祆08 ӂ}~ZAC(/ 5P"$lJVEIE\9CR@b[&R@o-oZKGS+vPyJ#KW{G%K0Mlmf@ |`w<>L">%x= z.!{4B6? `uQҌ[ygT1I i[!$-A:X 'ћiD]RYѢݟ}0[q"l 5 фWEeM VKtY P&ҡZ|뷴;of Ӭ`B1u?]S{VW`=t rKvͮ,q\ 3AhI?8U 0AMb5Ɔ7s x0l8SęOݫe[R3[J(A+jc Ɂ`*f^鑚>THݐyL2UWƘ.{,-|Ţ89q1~жZu $Vv5ai Wqȏo2){U[?k< o/\l֎uIN 2~6G07m(K 6ze,9XJA:@IA6|{U^+߱JMXٰadO)Z'pn\QoI k/H"<9ޮ`,s7Mra0!|1A"7gX4$ IEG/iLW@7A=0ۜ -,|׫?o)5o{fr%Eצ{Q/`xg]Ҙ &@$vF) ?r.Cm\K獫 'j7ќzz{WW^c3]ya'L[:$!\O[_[hFwJx8sfEGNZ:apL)t245QdQ{ _$aN/X>(a 0aǛSយ3YVŝڳdIyAu!"r 6M_y Ư<]?:SOO34"'k h+XLt5a2VueLѡ1X9@[:6NbPe|8TQ34 oc!Kȧ.ˊvh^dY|g(}lqc|;?AȀf%C{X3=-{u(g`G;qn/{5:,?~nkVbZybn޾kҰh>Dp{$! ED9t$[-Ē]w؛&c@D|@B?&YȰOb(q]H!> zB>L8sX! IĆiG8p'/5a /˘Y BÅ?Tj6[w?Ԏ28J//pVEEoUBsGw\]!] }]a0R~Y@`ƚQnA.sտx&qf l  L1$wn'yΖ2w aiYYP:_f uts" y ettnVS-'tϺod/wWי3mkVPz9EgNp~fT X(Axz.<7t;uFa=R Y3hx0t?eIo&T{E7_4"u@{0꛺Q㐵d.`n wYEː?szV)^;AGެ }Ш%SG FO,{0FNx :8;Y=Cal36 A2f`21] 41EI|"y|y{ i#WӾ7"1-"0C,ԫkg ΄ţ[n%; 4-A4f,ɜL8SEԿ>M \xG:q2L'.!gD(_C,Z-DyPѯ~6~whߜ}*LCXi-h-h6E5v>ykC`~4m"Ar m~]FMs[P[fEC;&Ü,8r+%ﯜ?$Ycg4/W# ?h YFD`{%'wMLgX"/.8>NU' ̒!W[i"F7p+9}5R޸3ah v.]3 7&^7 P5an{\ ID*MB"[pN͛5وhX"_Gtףp(f"Z?`)+t949瑍A% <Ϗ Ţ_+ѱynj8=F%/졘@BD4-&G.*ojᢏےmÎkim/6 5D߄;ؚ'ؖ6mWW?uIVxmQg+!dR0LZM4C{6]M":.Vߣ u@Pns[żVYhcW\?EKEX41zwV5 !Q>r֋7v&"gp6l6DVm->BuqW%')`57Wd92k#. eǻM/ n_`ݯ'SqIM.=WתU^;VN۞odrag -+DROF$ͺ]d?qQҌw. KXNxבuY~LNDur|r4ժ9B98mbʌDQW'|E\K:qǕ”}GѵޟR/KX а{ʾoPOyEF-)2`깞k՘)8nl&V(7Hkj9,*^O`%RdVArqp05N-=VIHjlapM f2>M84Rݩ_m2/3 XtE !]CL+t"'Yu&hL:dG[fʈL#VD"AgIh&]tʖG3[h#L5<SIv^jZvMzy "4쪥k1󬾦gXcAFA&{w3cOwG"nT 97(T~1Ynyqߕ!hk!"o ~[kat$^^4Q]!/E~GkrWI*EEtˀ¹k9lRk4Q)$1BØK:ڃ!B~O/!濵@ ^vdw64@hNߝ:*BX}7LIYM>tG,4R sկC8FtiIi6K!ɟk?H:@t?As-$4ʏ><60hS޵X~2NQdH)3 ~M RM<>N9sU!&lL(ZEJ$x/{R,㊪P=`/7z}<п &A'hn炠 aWo?f\9#uf(+)m/A݄y-\&%FIpq-Kظ={g=<]xC|=^m 'ʮ0|oɬ*c%M!k]*4S[C YvM_*Mk2ӿT6؛Uڤm'1{Ez l.|qQnɏc/,:\.)c z-*%).Mp NAӇiLJT>jp?t/} oZ-blt2\ 6F{7";I?-!͑U&'WNIo i{_G휕Khr %wLvS)%~6"({u3ayCD\ZvD~ PI^Ymx0˅:W]AyS l=;u*͘a&Hѷ_W?UF-bU*"va,Z&LE@Ԁ(}QocvuwE}eERHhާ~үi[5f?w&HcTh ]3!zUZpx_YVʵ%Hq''lo߇6_sn$E~1kvWS G}p :g,7Ub|LsՑ| Fj=RY2@m}ރ\6{R $t^6KvBiWצtj]cTbé᫯G 0t{󻊾fuhU7F=yF.ii]M m%Il@4>E-*\ÿͧ:/S yPu :`;ӆGA@NHSJfѽa1LV&~sXlX| =|Ey:*geN^ MAREY W8ѽE er}[$2E铱 M [5U6ɏd*QMu]} _HZ=*oFc9/:|[RGrXjҗИ)텬Z7+܉ dTa->2/>Gc4"ŶnX:1 V9v.5iAӠ_5%[JoOLZJ^xֲc:o@`Z֡[yN?@_R&C[f8<)DqRa-gt?Uʼn~8BCS1+ n_RB®%۠ ̪:=욒CX&c!ϿNę= CL6: 6Z/!d[""u d龨OȴX MϫT: 60~'W394XO9aSQPԺ9;0,<4B*߫",}%N qOE'&t^.+4b{jNjؼKjϣڈ/ՅpFTIBqNZ\3&Lf9:SMLTF꣬I4SUk?Չ."s{tLc/V&#a%@M#Jn%"efk}YktR"! +cU&˾tz6n?v> 1>3 pH8_:LMeG@drʠɅ@LCAŬ_A9Y$M=HV$gs j$/0)_v40#(dhײq@(]55Yޣ\ZbQϝaao׀R)FwJk)0er7N%)WTx1r> |S5#?TIT=HD!TC 㢠)mUFr"qUjU#] Nv₴0c;R"}`Ё"Ъ.sȀB_,:sq;>"< V-+@ ~ä!2걛zڱ>ATrp&ULy\~cz@L(3Kv/;-O̕Vz)FsSp6FN8,A< 7ʲrQSڲWw)(bR:3Zu"QnK_sڎ/%RxI*`{xDmfF%*Љ "~RGQh;%11u6!Wso7USl .]0Ys 8 <>Óy;@+M5Y#11!eNXaf66+:ǠT2@F'[{,:n)H-!j8ʝ䣄Dp<Sґӥ:nC Nŕ"_X,#BX y/E7틠;`~+> sH7Ә7xzS}aJ8#&z1`Mda!MݼȷZ-K{ѺFԐG. ^r!._~0\7d!!,uWmlW9Rn~_O;B3f{2bY#" fƍ}zp6k#̯w{]9zhσX1lVg}WR&RfsXRzCM$8%ogd}hu 50\WP >*$9LG>w* EpUC=tgƀQls/gBX0G+*Liݕ6P(`گy>O:$-`˚ ~뼢|lؒ-ʖD[_ lBp<Ci`;9p8S:xls#P!dYUxnEVߚ#snuJV^?gBv\bo1@l{_1~=jF:H*$8A }}ONH/f^vDVjc 'y }qΑ ZݼM~ζD$IkCy0ڣܯ{.u=-^5" +B[akI~pU9^04c9u?)0ƅ~e{pRH{H^FW7h1HHHS; ג5Sd1fri?X<$q`@\W@kAg3 x7@7q*i{QY]ɦP/cNO^ku! @|׷{jK:+`i&t%,_K?RDrb q!QnW  ,|ZӉ8 -Ǚ &[0<] JInsE%DB=V}sKȤ;XbQP+wD-g|5}4?.KX!ȼIcDdV<)5Qmxq&:n%$[F ֡qp,;ׇ͙E3 { ct0X-]7 D-Ii-e}w;p'yl଍]Anfndrik}fhI:#txOcFno -Y3(aS!;3X2[Z {Ѿ+[HLךz*C>h`ބ *^Tpk*P@D:qZUʃ>[x{2Zed~wVĺ>:<@cc.ud}V|gLdW hXL',M"J5]^t+בa6b{&d-=:oQxAPGӢ345ڣ'QLw#y*`f#SYa;,i%Ғ<MwT=VƦ֘DtR"GkQP [1h%8'͍XobѾ>SoCHڏ 0(=EҵS*+[<ڂ> ]^H90HR(Z{ō(T~N cY6KwT7zcj+#2Q *H7 i6G6g/"/e5U>c&'f/9L-f5A`u2X'za7O^2֯ Dw&_J!v)PP!2O ,`lK<_DAJ|N7⡯ ~~XTt6ѾMF2 Vv3 sQa )Zjǂw`P3?2d.9i=%JÝb_~)6 Zgő.#P եǩNi]'TlƯ6(KgH&ZxA'd.B w\x]h)?.dS$nUt͕ &v VA1hRٞkb{3 C=މ"BNix C{AQ~=UGhpKi B[C-+ßŦuJ&Y0}Ck0 ueJqmw5D8኱Zg6X /tn?8p5&[~ҒqXu*1jO6Z~h|r9O w@ k$CWǘJL_\ m[_j|Q?~y(|) sۆ#Û")uhZ_e >$!`<9H,:8?yNJ7(.IS6Kg4ppP7*G[/of4^4Xsn؋t}sGo0, ADW qmM*OpUFb!0_%΁ĈAZѳfU#((W sRpul2F czV$;ϋQ*-Wmc'9 Wz,%G`ҮI %t_IGbn_s> ʏPJf`cѲ0̶MupqB7 [oY =1EsCӨem"|i9-ÛY!X!c-eYjI"W1"=r%؉oXF;W] ?'"+~BĥO×$1'SVfc5{6_b#4!SɁ[>rv7]~֚8(/A{k?`S+z  Ik::oZn6̾|"Vcaqv0(DvhLEVB _(% T,82a߆"P(P%YC ^mndct|e)noWR%Q-OOK MVāϪA|ƛEZMh[} :ƍ( Z W5(4ɒ]}8h߽!b J֢wߍG}J*=i.hէ`7:5_9;K h m֮hOʤ{O\*=iQG?G!v,?I 3]5 D{ /Ź "uB- t +y=6>uv{J-L% B3?szVK]AinsrKVdb!ɭiO'*"fB: ֫EH)lz0^O@Ɂ(i ;,T>jpI+Qy|5ɥ<䢞L؈tEPĖ9yXwsU N\ڶlZHwu.7^vNj.IbtZҔ&'1K ?KR䪡Kڣ=Xdr5fS{7|_7q@t~$ \vӦOy\qH^HT&Kz]6:J=G3z镈I~ !6ouz(b97ϐ$Q϶>]26%,}3Z bقv߭+9磰kϦ$ѹ&^iLpSa଴ 6-<vs֜?NC:u -EM<ɍz=CU0\w][XA9Lk<$,u"+ _a9Av=obvO&Usv<nṲޞob됉 Y(j vuӋd4YJFtG2\fF,n_첞IL KSͳ]0M޼ vPΊF?\;/ν2KS7SD+M QXa 92X&N̛>Bݓ*%+?9T'$g%(ܣHN3,=qr9i}ǡ[_r, NHK,v[ͭ<2.j>\`.z8R6Uf#9l, a_N8WH6>vW're[zJ$&q1 %V/`};6z=:mm)$^nQ$ 7/g)7$t##|Dȡ;8(p`/o]2ldKHf|0-%y֯qykwkJNY ɥ&/~"Cg9`yL$XoХe3M<@Oq&/5Yh^۬Q\az > QԅQL[ `o16UIO*-}6iqΧ<Ϝla|g IS‹ehCRW*aYL<zU>5Fw]jWD\ځz~r9n7| ;צ+WmUJ'otaTXq9;AYF6ui}sLd|ƺث!zTcʻ#S¹hZ7KvUh)71҆6SL- R.8e; ^IսsU =p;\uMll[ן`8 3QUۊB&L xd. ԥTУ2p4<Ú9u^/[Py<_5N`¼Eށ뱱ZB^rTR-MUC,ti/>-t)^lN՝/󩶛 `D! Ğ";AuBL>N3Ԋq{jvbqi53bl' U{26 ҏFkjBٴu(XsNx-@MP2iM2O*c^l.->H啟S\hruC.7!ʅ0+ieI8dmGNZ>9|>˚ȿJQ1jfh(DWʆ(~EF+55^"˼ddt3e@T[[`@Qx;vؘ,a خ7fiF|e0@C'-.}?|)ُl`ZʷzV܇g7D8,U?6^IS8lO_U\§^Sb39y1dGz-&],$.3A79]&vX'Np$,VHr]gUiGt՚!vÍZ 4Yo"wm~V(5n}lIn;s #*iًa8+` -X1dVO7xki(/.,lA %(t.)|_D((B?|%+<1w9O6bdV5l^\ٞ[9OJnW DzjvkRm_5$FrBL- \xPA̅c@ C]b {M? +Ǿ݉ ;K@aΧÙ8Fb]wm4ܺ %)Y[X[2UyC&eT૴6th[}}BN.!k1k{}K+ cȑv2v!Ȋ2j-v)oʜa4hspU 1} *G"حxrVFrK]jRqfs\K>XARZ3c.ҋr9-Ca ӫTB4ߤ?^Z~R:c=Fٞpri& % 6t׺|t?}%9" z 2q eYc'J%V=j#s(a]wƛdŘ-3Bm{}AV~@blE7#[38+kߞ|1;ݢCxOcALb$=⢯J@qv̈́Fj\FۢqriI=Cos^ue?ʆBoIJTePQ/)QmUp+w>$." Ifi"aqP+$\/~\qlR$ ^!Z?9 %ŞFCUQ~^烱`7+488Mw=0'pjq݅Qtxxd gII;,BEexUZJ[BuDνBkUJ|+}aJٝ07+y/UeIJ6b !^oDDޥW3"]u[RԧڦKo"ln-RK Ypo 06)@Iֺ$c:^3əᣪ| 0ecG3 bعh12=p1?[6'1 bIw_WΙmOd :%cr?xec3g/OS`Z3Q|Ȅ]TJIR+; e[W9$I!R`08Ұ3<*?&)c*+=Q[UQ>)-鳫 EbJmhb]oNV5G HO;U8 pnc5q:4Q`pٔ@VѪC;JY$_iX*(~!YY.]æHEd4GDr9{5~5Sa>kl̕:qpFr ngFq\WNkL4}ŧh+▒XbzEkaq?;?z2gPfOC0z&h g1}NSdyd!O[]lQ9M+BҕX5-5`>(\&U6 p@w\Xҙ!M݋z_I-ɔe*U###B`hWZ9xc1Byz<ΐbpHCv$£$n=N7ܩCgYZ  6#;% VectorSpaceVectorSpace.VectorSpacedocument.tex7zXZִF! 4T]A-MՋhvG"uIBm5ESZAO~euKr 1;ݙ\!P@jˍ:j҉G.'Gܩ9'<(3 |6"OBF$gd[TV?!%C4kzӔ2̜OGUV Kƍ ,7\ENQo?"Ucgތ#eO3[^@f6Deu5 qO#4󰞂\h<νU[PD?U d2]EO7w.~इĊ|`9v#u+#oaB0x8֡R9Kl1BV%ޓJޭgȲlAj.V`e8lV z%; ]>ֳXebߞ͞!%fF 9e4K`iŦڟ^E{[ւ,۫ٝzmjqѻ2#W/k8B/*ꮭW%c#rZ;kp&x.!hʵVyialGR0-'Qq)Su! (Mj /'Z~4Ty{EG|8VL˜ dAN~n:Dh'y8ph[5^VL;8@HW15h.TzGe\ 8>db^zZ+Oܯ SPGQX!LTՊvv.v_f'PFibmغ@,*$?ϟq@ү^;)}(*L:>U0c3fZN*hm7qÅ-a|SVQktd'M{+ίvA5:"#ffWwԬbu A$FVH.El7!Mi+LV~H>e߶Rtu禠MEC>lj"(rAa6şNh]p5 Uec:Iv"*I89 YJר>%![褍*XV[n~ @u Ns5'̨Gdҁĕ̮P@4tǮ$)Dt~*gkgީMvhZ"2x߈h57#=70^o!dKXnofpEO%p84|(^?Q˙cź.RJgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({xS+sl$I 1LΑ\ojZh,{*qB:%'gdR7}%4h$X:TH7S$B덂R*?U#|lF>TFfn˃`a])"oZ&gYZ7zXZִF! []ŗXi%;nl# _>Ư'|+dߍ&NgDj@ J߬0]!S[2n4 YD,\2otybHYP<Щ;h}zۘ$P3Pl? {ϐr!` Y}@i)S~ EHM@z^֝:\ZڮON>ܼ"g%) ދ/䶹U[דmK9ޚ yn!E.@ŽwIlL-K||[#F]9NhoI %`C ="8 Lph4Ny&o:D@K}&]Bbk &L I ?+,t^|4ZWM<,~ " Q,9I@>BdSE8dAa٧;7l:F7_~(|aPNw.QPv۳1bmw_VIrʨV./1P'.#x Ix#?YZU,C<0|Ta7ZZ@dLypYP+bF3_.J2 n^[v7-l]>ė\Ǝ `ߨl_(YT-]R03!V,̗Bf#Q0+SRcP{QpXD$(;_byTHnjcNc9QފR weu&oloA kh<6#τFcƿvjt`9ϩɇ[Mb.h(&NZҸ]拒T?3cUr6o;G# 0򁸟ͦ0Y<0G\|*jdEw5hpI1Yِxn#:W4$9)5xGms5<]IA/ 9$ ^Ϲ;p[8bȅ*r Mli}̗WX$ݻ8EP v垾nءœ} cjWZ2?zI B';:jܬ!nYہQ٩}[q(p3P3˕hQx"s 0| lx,[X@n) (eTȿ2!Vw|6R-f&+-a9hA'T&D;}] u@J4f6+nfq)87A,x Ҋ<]\LGYq- AJƻZq]K7_flibTsqE&W ah)8p^Pjc>݀f9=_&BEk ؃U#0oNGFӌLWdb(gQ[`x&(NHˑ٩ 2Oz69\V@.ه |:-Ɔ1i`@y5`w=׵]uum g ;R3hWNph?TouYs}Nt[sz@N$HaFvyJ?W"jlTeW>NhpEݧ88ΡJ(X:KS{ŕm8AE>zުREv<}f֛/i(14عUBu ^nQ}ȯUM/IO`Qx>C0eǹ`S]$ ^QΪDjLFwZۭ糋k#*NwD./Ϸp^oDh*̦>؎iNws 1$|E:amg>(՜E0f# E@hSYgJr"WZ'<ʣMˊ?}ިQ yĞ2‘&Q iRg;X W- JE!0sx|T>s4y[!4s˷fGAFoXT~qjM&>I@޺ϲrj+ΧAg?aZ^=$s~Y5=\ `ћ;8G+E4C+{/j)c ^ |(u]kB,^]0ddGQܭWȱgYZc6a742a6a68d1cd9f1643bb2e9bacb4454723e420a2434114e0f5ff2a700b4a6f5d894a41f7c1240 c67dcdc5c11e2f7c6ff9235a1567c44a85eaeb0c 23e748acade6391bd1dba09531f17737089a440a ce29112f880af2d8667bd8a47bc436480ba6b437 7d24c844f74d4d4198ab660b9f788ab9f5146b41