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 |# || ]% VectorSpace:threads=2elapsed=43.383cpu=75.396gc=7.072factor=1.747zXZִF! &]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nWtH@EQlo Fן$5 ЏoV5SК"f,ּg=h=NxxT)ųc,hɐ!*/0]ХRK48n"Wl"r^rūBe3%ރS86Ћ]}Gu9[waX56#nfdJ~:q|-oK ]oN)E,?O׭Hej"N2Pg#50,ꀶX I|pǐ # VectorSpaceM#I% ,VectorSpaceVectorSpace.LinearCombinationsdocument.tex7zXZִF! :]A-MՋhvG"uIBm5hztIL1qsgՁ}Kzo8OAc̕oz# -9MLJXA~蘽F|0 RRZc_![.~aI_/eH2I.L7E%s8d P T́CiLQ_rsA+/*]ފl1m ^ ^*;!Bsf˗@tnzw""`;1+q,ʞlj9 nc&6 Ү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::!\     %Y4#;%VectorSpaceVectorSpace.VectorSpacedocument.tex7#A%VectorSpaceVectorSpace.FunctionLemmasdocument.tex3#9%VectorSpaceVectorSpace.MonoidSumsdocument.tex8#C%VectorSpaceVectorSpace.RingModuleFactsdocument.tex2#7%VectorSpaceVectorSpace.SumSpacesdocument.tex:#I% VectorSpaceVectorSpace.LinearCombinationsdocument.tex3H|m/q(M } y45}C֯PBl҄I }`2f/yzݰA𣴱vD.j^2}c`ݗPkE_^~=8R\ŗ{t Ny.r¬j<С&35\~IY,Jɖ])$\i/#Vjj}Me9f-Xiit/a} hvǘbڮ8N^ésx0t4ym!E`;tM΅#)Ȭ@%E|q|I-cښ[SW:i`GяG .?^ES^;IZfb& φ;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! ,啁][y:֫W'N' u`R;>;*{-~Q-+S}f8SīV乄-n+nsV%AM^jmT4vV*ԋ{B h&9. tڴ)yw[y O?K}@kg[0crNA+ǻ`'%)A2~9<@dq"AX*o@/~R$,x]Uq?0fQ^S&Ij9$ &CSiAq;fcy .4!' \Arz HI=VvxА S;`Z+#x?񬘆-F?ÝtZC&[i1E *,+u=:ug\< 7ͺ*zGJ)lyeG~AςM+;@?M}C1Q_,!mpl -kuCU(IOR%UF$OGj޵˦(UQ0> !in\2VmRv7;S{t!/WTi_P&2STK rk*_|n % dmkܔ /l>ʥ4NY3skS~HG&{^zgI+N;5P!q=D8~ /=i(BVKwmʦw^>Ef!{P(T&Tl,BBޮ{YwzJ$к?}뀤%_tBwNgi@[qVR=%496ai@5wt ӵuM]\4\n߅}C k0z-XF(F4{8 m2,V!wFLEά(P{PW~m,&/o pHӂ` ~32&['°H@_e(xm;2>U]JR쿴's Ob-O}yc%@J|,jon5B!E BvB]bAJ_Y$C9|&A7MӰoln5L@87&*ߞ!nϊnbjo"G ML-cC#!N+ʱLV{],b3("azdܬ!a.SnaU?Q:/+D+ Q$%l̿ u\ejg!Qg A\Քb6 yL吪&/xU!ҬԂ~r.Fx G}+L1\1i)]$2 Rl_1Ga崌,k7RSA+pFYH&ML1ʡ${,PSIh!|QcV̦>"g+(bZ$xP Eǜ fJE Lpl8D:]Z }OIQPlJ{8bJBLxIѼ&A8Q\ 0a LK'zUZ!ڞQ#CH)^ }er4R\%ͣ?nQA'!E[!aQS(v࿨@mPKX+ ΞH8Q|"QP>W*^G3`ٳcx- yu tQa)~ҶlQKGnr-̙1˯*32.iëop>=AB%/a)xd_cG2.;fP&#+Z΅PѦ6;eQ'&\q,P4=NxP<w!mu$#:_nhZo7YUw^}B«^ށN,q#/ln%"I@鷌'CR fc6|Hn7Ej#jfM͒.CBtM )iNs> ?3޺ه` `UL;-#i*7jEDo ͒㊰lR;<8uv}rpj"O!G<:³yShKD '3_E열cal]<`]clkTO&!veYuUQ9șlU*ד 4S|s-sn D5͸@u!siv$! A5XJOZ4Qރ0wnP^ np}dVא=tXO>9%<L:<-wtm]CIpXYuR](YS]gVoC;-b|eFKf/.m>tU5r\:=|X IrljOqNhY5M#z59V;s䑮[51kE qK Ѳ;(zlT3%* Z:0˻e`H oTKDNW6}l 1 II=?֠F8ˆB)! Yr6jTQ}8+MAO-!ΕQu"'q]Tcn}GPRnGF/ћcŬ)h>;Q2}t ȯ^t(pOP.}BZt<ȀS6_W-t(l{aoWg)ПJ؅-{ZS>j& fG:dJ4ԴHEV>|hAớxr柂Z|uE]É&w=G^(2aYa{_羋9"6P:76PSU62 8HuRh\^>}&FEDѭZU#!UAVҷZ@7] +grkޛZ$&RX)ߖBg1RE><#mTxHrǮR}X_-F+#yx-_AM`Gkw/,m75ݝ|GډQ7H9RT l 扏xIDfatIk6WH1-XIv&T9d,.}#9X^v*^PԲֱC߫P[^QM0a7k]O1)3z]^=o^$&װmϙm p3tϻY3*f 4_Yv8"dMLXbĕiXHZ^6Ʊ5 CST v63CRE8%*N^O ˝Hw !#&Rak m2x U qhV#HLɴ¿vE2=k'#Šg P(4TCԹ nxaߔCJN.bK+<pUi);rxbeˠ jXQO]f0wcdZ1X>6[@KaiPV/gFDyIRҎ^%) XQ-a"|P8s o3H3J|vn t9|?7<=qm4IaDZ -#t? ==& i 昩Ȫ i:y gz8*e1QS[tq `.ByCCzy>r/fY*EGʩk_m ͞ pCHB9Wan D{?vFD-z@`QdbM*{.Xت+ ".XP2r)Io19aJ$[**&թV0)W@rqGXӆ6쐷žH{c`qBR> ^=k2@+m e\Wi!N I3rbܞ]]^tβuiJi:"ī+?=qxuTÑ2Ux7?JZMG M$Ru gYZ M#I% ,VectorSpaceVectorSpace.LinearCombinationsdocument.tex7zXZִF! :]A-MՋhvG"uIBm5hztIL1qsgՁ}Kzo8OAc̕oz# -9MLJXA~蘽F|0 RRZc_![.~aI_/eH2I.L7E%s8d P T́CiLQ_rsA+/*]ފl1m ^ ^*;!Bsf˗@tnzw""`;1+q,ʞlj9 nc&6 Ү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 !#C% \VectorSpaceVectorSpace.RingModuleFactsdocument.tex7zXZִF! ` ]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~E*J$~& -ߗ<6 oZn\EF=GGBO4"fm/ϔ'{WBE(&iE?U寓 J5S ΐvвl2,BeJ1?=-s<&6JqL-*Al'&ַX}f$ք.9nYT-XZIATSAcyDm&ڣzR($ &"2L:KZB\BήtsB$D^IG˨UxI5l+ZSE*Sׯ_[ƊY֏)~Th mɿ*46R4縘+`$;1>d=l/%Uf7?|!Oam=n CVLN = {;}dp8D{k#9*E D㎄Sw7ÔK[,W>jy *P&sW>.=L?vHهS< 4b<*_݆3t,;F€WS^ Cpa;a9NPk7jW)I)OLDWP7!iN"! :H"dipE;< .0,W$Jj*}e" =S\8Fn F~:fR4}u{(VO"Fιl,!d\jʓ&D-n5!xؔ(2_}Ԑ_Eʠ}@@m, swlw4(g7!f ME ;t GpKp+)*ToXd87| f~WIAY4w$.ř1Bz 1.C,؂1Nx 8ޣy1vu3XQmT#/RΣA;bŜ!A:,x"7*p<3uBɿwCPrNhMe:$ɼnD %*iMGIRI:Κ:fShT#IfgC6NLwwYw_` _ ,sSY n,mu־Laj$J0$ 2t+Cʥ^E9K~pks :T)'~BV6mOj;Fm*͉WX@@^d sc>3D!*9;iMpmB:pjꎈdXYC#c\8Eyz!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|SVڦzvUfρNeiSj69(ĺHNP )b+ m_)1~0{?R>ZsZctdSr p>{iQO\_=IdǕ^[z^ƃD֣r{SEG7 0vXE l'B)?]Vpg)9lݳMЃ2۠XƿVA oB -. -e[-I*қrB:u{Opfr5LN C>ݮR4Z€~M6V.l߮,7M"0gYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({XWBsʗܹdyIs2t҈r/RW/3$S:}Ǖ5:zJ-+3*5W֘驓(ɬٻ/l %ɔإTއmr^:.U֪)Ήbsגߟ/ gYZ7zXZִF! ]ŗXi%; }{;zȺ1`ihkdJCa9nÊqDA-@ 23565 s?&q㖳S!hޓLEFeL$aʅ+}c_- a}U٤$55NyrHY&%9]0zz6d*;m˙Nx{ hN6O}$,L@C^/G)iN_"ET~#FڠTO'"lIkh7W)%N\LU Xb+uolJ|7å~=gcy5(P.`xuNL0!iL5S$RP%҂w#O3vjF"@\]L"''YD-XAќ֞ܟaZ'H ^crQ_M5@embA&i~#-VynĤ-V*>c$\ ۜceVϓ["< . )ca= DwtW+@3k}v v.2EPV^Z2BeI{ca7Rl]DbCo'*ΣR-e=|m)FD[Ŏ~:O!̞6@]6;<@Q;([^>}!*R}pZ;9eaٖ{$ɐjnIe=ޠZ=Yd|i't uwm5C Q;mw`8Wƽ&efۭ$zۂwN|Ӫ7P(HCJw,#dߪ&kvT_q!vJu6_k2O7ֻHKdw|zzrqJ<5O[R͍1J54å>{P/͕M?jBs٦,wJ/̘@|}ӳPJ,zݘoGޣo" ژ>⩤Bnd {ގX\c+&0b96dfĊcHH-5lFNc[>ߎ^1;lM7KFUU2@xۖLHPLJX{*}fI as2D]}5pv:Moo> *N-k7ͥ h4i:bRdEe 75¹\ ޥfMK*YI mٶcưUFͫqR)es@Um@Xayzip` E,!KiBSs;kFhh"֑N%Z9QDAL eR.66dJ#]1kk}`9?pu%OPB&@CZ\u2+Ń;4j s 2rP37%ߟ[VK(&׫pgYZ27f7ee2d3cb4f220b21fe8df659c66f31743ba1e0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c a7626789f44c0a63d83655b5bea14ed71df45b53