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 l#vlt ]% VectorSpace:threads=4elapsed=54.119cpu=115.416gc=4.6327zXZִF! T]ŗXiɟH)0!h^]$Uy0ʯ%N4|t9B S3,u:ȶ|lQ/O-b)'gNbRUHrO/sO H_dGҪ:z PmN}CHOiXlkr97BSt@!VvpoZ.QwM}OdStbÒ[N[v,fK- @ ]`m^c#VH#"ܷn'caࢍRf10 <8Z .!lTqDc2 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'J!SNع(i}Vb.գU/ yY];:IP-M)Yk@ ȣI;iIN3>wf$>  ])4#;%VectorSpaceVectorSpace.VectorSpacedocument.tex;#I%VectorSpaceVectorSpace.LinearCombinationsdocument.tex3#9%VectorSpaceVectorSpace.MonoidSumsdocument.tex7#A%VectorSpaceVectorSpace.FunctionLemmasdocument.tex2#7%VectorSpaceVectorSpace.SumSpacesdocument.tex7#C% VectorSpaceVectorSpace.RingModuleFactsdocument.tex #C% TVectorSpaceVectorSpace.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'J!SNع(i}Vb.գU/ yY];:IP-M)Yk@ ȣI;iIN3>wf$>mgYZ II4#7% VectorSpaceVectorSpace.SumSpacesdocument.tex7zXZִF! =]A-MՋhvG"uIBm5Ȫk IaŮ[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

<~0lgx,r>EYuj]e.Е*(s*Wp*(ULG%+:aGt'V%)(<; i&X赪L,qEsz7IY=pCa' 82.@:Tt0X}`BiCv.BSrLaMBih{徇 tn ޮP GPq }.D;+0SXb,QuG ӟ\ϭ Er 5r$y泑JrEh^Nm౤Uڤ zH%8 y t%Ke nٛ 'MMmfe`HQsŗ2Iɶo#k 3W&$zI2B`HC8T5 í? Y3#E./QtZa %  '97b&' H?E3 Ca*M S(|QgYZ ( ( #9% 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_~YE4qb-q L_w\6ՒBpck1HB9T[on#>y{HnxPqM6bXC}6nTs +5ӓį^2ܴPh­aYĪ:a?DFj$f)$1?ʦ:׉`Q/zZ 6z#qQ۲@ѐ -z3uG1  z/x xetcߡp81 |#C}a_~a8Z| dd@5oJEI|kz@mjW+1 h"K]G/`^(GGq6_X\#r]C ]X”  yos$U? >}k^wF WYW0^l nbRBzqg\k!\`M7nFArB$|L2wk:(m'Ws>рgYZE#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ΨD4GԳ`.DSZdeK)wr^_L/1ŷlUշO),'("d?2YKkYG1Akݤ<}UMX=l sQRCG.Eoty,uugYZ !\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.,Ŏ~{ p3v*&2"u@=y2:]Wjv}[Syڛ+CT t7|hN61UuCr2s Uւk_,g ^;Wю@n;v-Ih'$2e݌_0ٕq"ũ7=Hp2a.XEC bݰCe¡yGF99R'-@^ub{,mh8h0*Z$Z( D=M{yߚS-)}QR>)v\W{{{e8<R_U[gS*TJbA?hB]C7͔ڸEŜglQRl\L 4&/H8" с"$/@3X*CHfA,4vo4B~mR$|~a@W/Ra?СqmR3!]:lNQ΂P-ʘdT=tvfR;(s4I7 +^IQ6'9Am6/$m6>ȿWTp5;~% A@Bwx41DC&W`_قumrrp_Ը wI~ZˣnAv7ibTCP'c㴬 b^] !u_,qb+]L{{_ %l ~A=r!psJ[4)Gtc%d"RLn ~N`/7_/1>yX<?$g>*LR@b uSI9Ɍ9VM"O1W2|V$Wot2 #Xnpqqܑ`Bzai J *B a4܃@BToY 7ǡxBfjk -c,{P_t41`B-}+nY uh[+f4R _8]pp^/6ZҪ+bgཪ f4vӘksb|UtlHZlM 49-^^LT 1'cM#{ܵ#qo #043;o~Zm(IzƗx*3mZ"$5fy [ikUQpjN✓Px7{mf޵rY,zPi}xäO䯙gCA'/E(] D$qg6y f05q6>ɥ ƘH.0{UN[SXYi: ݢp[ST oh@at>oSϾ W%N vx7hR_ ow^#]k\mLN{t=~7rZ}W3LZXce9!E{\(<]BF6#;:,V$Uw[n;ȍI#N=uEW.͹&.,BK ?ӧ9UIUݷ-" xxR28)4 D%)~s/z<, mU }/1b6y3#)m:qYYr(OC-E菖oVLfMQK&py8fyVPn`1jL'tSĭ݂XA@u> H2Sgf|S481mK/n! 6\AV9vH{vBU YWLtruIi.fqJJM$qGIX|^QaC.t=?P_5Mh dzt(}a\s`[ }tQxm(+hsP&:B<{WrϣϦ I_w!^Gk_XDQ"dž=7VJ*X7cj~HW,o _|^{ͫ_@%Tx[\ÑC0_lCsgB +G?§!kFZf `u#|>>ĢoS|Xrܢ'/Hp ce5)趾:}H:dANZcpK]yT<6$&k45Ej:-EDm(ʦ3Jg*#Lcy{DGIH`6&?{$-2[XxPW'jgJI؅XGiӾ(puu/nGq翕G>š%aN5te4I'?*Y7jǽY9+ZwV8<IkT[!%Y4hl<}DEnxyަW'DŽpXI\@Y.e@ ӥ+S&FLV>EĻzx7; 1h˽$cl"t,/7,Rx=zR.`ij?QIV o,%I/! ~$ OO5+Hc>_\`>acV@nD%=MďD"k&[(YN׭g1btm稾lS)xEK?7}ML0,&ih4anr^`ϰ(Н|JtoV?);I1b̫^NE#થK0_OҪ p^9GpR1L5#|KZy  2#oP#z{0%q&I(m!\i$LK Q$V ?Dy%Id '싸Fo)D,!x )YK?PԹŶy N ;pηUýszBy(ǩ pw%]~,^ۄ 6jsO\ 9fu $hгŋR,l*AAPrSq^`'eJWX) Sjs:NA*B1"m1d~GT%uk^>h`pKj/Gi 1 Rd|al %K46fpnxcKF`J EiySTAng~`u c\Ǹ2dbY-+lknAgZ=P\׏.} JV7Z=& SThYnF &plH^KEƒ*̋\16%ZSu_c6\Z\Qu&ݩ^u[7Vѝd[,\]d@7\8YV^>ja_Ӫb?]2WE9'S'r ~v M,d,O EtjŅy]?{9v%- =ݲBTWJWHOE]6aaBT*()0A_)Ec aU9pւ8O'F=~ 6\EPJ&yOג#qC`R47h՘,F@6꬘p)1؞d{@ e=?VRlf#unn~N8>*.-Ґ_|I_7ab Pr"04)eJ4iƺz9%uɾͭ@q@E:\O]bqVrsƅ 6YAg 2cKjDψt)O{{яAРgҮ%K̟uGi\~ 5Ę̦P]c*۵NDt1FdV.I|$:l2ϴ?e.M+}l # fn[lؒ'AQ=fd0f1U{.g|| css5Ό ^C{}j,|2)􊩔iN' V΅1f}i@OGx%oյvB8 SD`d@?Vsaim֕LTWF"0 0H*${\X=zP5b .GH$J9(,E$)g+o}GC╥,/塣*ޣP'[0O RM3Q `&QwU#2'ҘDa.ݦ bmr7$D)ވl4::`&kuq<5i(a~Uw8]"pY@Ӣ{J(Lu&5p ͮ%Q[ȧ>KUl0[-a_f̯q32z-Oeࢵ҈@ xhF>\@SZԽ|+N#`I@5Q+`~ `vΖ + 䖉F7/R 寓Mw慟Ҫ*<ϜU:Ϛp~閅$Sw-,mp0&h=ZP  Sη'BuW6= UIte:8BA5 H"G:e :KU=#B?1lCKՃgSwDƾFmkʩ$X :/3pؠ(4:dE=ORuy<Y!?F;6{Vi*8$IqOiSJڣ6Zynl"K})x<`+S: yM]_q"c$mՆĴuEC5th܂uvYe)W5W)_qeNhظ"> q>B~bu sJQ[|0EL1$ccS>ݼQ lV!loA+n7b $0TKaO^(=܋8 ]ɔֹc$\80$wÕD* OZmB{&MR_x-[XlNCtM{lI>TTh9>0&mPt Fzp75Gb\f~|^ U%`/dP$F3Pts#g5+9G7A˗hjWCIq͟z tju MW<>r")ֶC=^$P(W4wL5}n֕Je*TpF-8O_vR҇ IQ'yE6Vg#E{!, hPs>g@Pm@9zKQHB[pe[ˊoF`-e_3prC%o}(=W4c1WL-?c(3X_(D=Bd:GWOErO10gM ڔR4Ɗi0˙׿-كfNvm!u OggYZ : #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:: /ffZxƤ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֯qykq 6,NO?>c'wQ; FoM=(J6N':J7ڵpͼjKOk9 D3W0V e4 uk.`>)/HuBpޯߛm@mV59S;[d(b՞8/k[#kM( .b ɡ$vK E͆_FɡQjx̤j@oRo!g4Hҏ'_Փ*q1S+-k"8o;{W>ۡI도o~6s|mxmU3P b&j1zS8e>EZ>^~\h.uye B,D@'!'݉~䱢:\m]%Z1bK;m LV|? BݕXtUEh֎N B^bq؁o!+؂ E*\7,D]m:x9NPmTƅHCᔒq~4e7h r\&H?`)@ub-GH  ͥ9i22~;~EJ͡)%la;ܴs!QԤ)t_WlmҷgYT {lS t4e:#f 'I>>>d둀sS7H·e+˞ k#ɹ,9LWʶoYW3y_?>iYum:A7(n-c qޕ {t*z-)WZi*3g&UDh}~P[|4; &׀c1G)i֚ABf٭xBoW}WB =t"pl)fK#{-Tt)Y󷲏6sbkU河F yXzfpa=7~cTmɵvdPB**noA{fwW1vUE| rW1̍@"a޿0q~5i氭 7玿ۢoAo&,Էхwem^YszuwCؗ1{r4Rf:Aÿ>N8ǝrS8bCctAkqgMqIUԺjiZDFUBf?0J!&h~ѭx9}\o9K?h :8zL#M7j֚E2)?lVhy &^eG? V)՜PO$eْ{ \YoB.F-dAV=dE=k9D߷hlp[h,gwd:D$7N-mHRbݐfLKޙZMnr=OhUDUWJfwy.6&AB'`LՌDKӪ l%]j/ gFl%M-ѹ) G-jn>HZJC?_1M_<*רv;^ƭwk-GApV|FO1\iOP({ϰuΓ$Jwe*ESL~1U 0S )"`I]tf-y ?RV`lL;ꔮQ.6jH1>* 5{i$pY>{id711Pn38uZBjA5[PҌę(Gu;nq(V Z'1G/kԨ.V7INYչD&JmNKj¢r,A DwYda3Bo!k9S i ߸":KN{!J4pP}Le-ʃX>j/H²\K6\ο %4a΂K^^U8dA/7/Lh_:es @W]i//yC>DKއ;^oLhVRe[ n%۵F:Y.0x;R:N 8Am84RɷH^.c B%ʑ#hթwgYZ  3 #;% 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|SVQk\MuYʸ-~=Y}zv|oݧ'!cPގshp8 *(1ThQX"WD|xnև5շG~:#?ݕ*z+ O>`K~KfYf0uBYZ{UjPfg6*P7ү<6_f`}{0_IA R*2pƞ S&k֤qDrM&'A:L&m$odpU)/8멶7& MBWT Jr]x:e[M3k!^P.&7&M(*!bKL\lOѩNj8wMH1{^Ӧ{55;EdxeTO#nSfOD3^TjK5 \j0-4- q([_=͍ 8 ݷWe2x?&bpaS|'~*4%whWiz883r )_ tĭ(E2BAAcIRJ_?ֺ8ddJ4řJrw~Քzγ_gXIDrsCbm:AiZ[9#h຃,0܄=Ih-x?$lXdPeyK@ݒn^P|H ëQ^ƥȏ;Mʀx cB^[c||/8# 0@S‰=Bq>V*Ǘ}R0BJiM@Q UvId~*YIςXB  w9?CػW5iW8c2'}^'MW{o4x*NA[#7O[h+ְ!uD )lxvVnM/{e^b -RxN XRA{׺_b@p ӡ>ҏһsb6 z|(!ˊ_yjB9;,Q'/u(6)2:Y5Z"կw}nК+s3^%XġKGX =FN> dIdoK@ߟ_}P1rx v!jo5K3Ou7_ +H%Z/(L7lu.n[k̇_& OCCn!~⻻=wqМIUNZ`L'<+gm\xxI0[e7nf7ygR筀BT='3$owub--o&ѦD؈dm WїKogYZ7zXZִF! as]ŗXi%D8W;:M;8@3Tj GS rYg"d^vX* >+^/>:ѭ> ^adrW{҉PUp2b{x|Dn8Z\ 8&H{emjÜ< ~r](ߘS%#N21cKu!8ޔ+,l̞xϖE"<Z"rqHqqG}.Fwmckycb6hcY7b[plj >cDLgWKT9JNi<7}U5xv$5k3xHjC²zH#(z>idE\3,q\ohgZ: ="oCmS'ܷ *#*j=9]$F4A^NJ1_y]"6 cN0< Ha*7H?h~d˯}} E,;)YG^B1a1`~~x{㋳b\}\$\&"MTV{ ց 7VhԚ)Ayuҭ1db,)Y RHjOBy8۲izt i /U~((Tv':sBPb#/V;pKl3&lm`" ;( q:~ȼ#98>%HW45-[sfGta&:"b?ESie3JʎRj-Z(r{| <d9%d8Ga#7FNW))S1 BW0T5u\hV$<8*Xpo8s~-xj7_DUj K(J__.f-, 'Yg26t6~a]9n1y7a)V=S&RG#L*>gAlb+?>manf@߻B5+kޅaDlޙ_h!]wg9@@4+e_\wXZG1y(7.^k=f+[R;vgs7z,3ḟ@R2A/C2).3?~f`.<pW}i{$6;sz/f%L(^yՉ9R'\k[Ե Q,T( *J/R'p ]pAbM?&x&n8hUDr+i}[iT)4^WZe\ Cef{``I_cuG,)iivO/fn14/>P`fS`4 \IN2hDbM"fb-Y[ ]kT-T%Ɖ6mT1lIyT6:՘yŮ}<)nE;Y#W8fѦΩ/l~XZⵁWQ?Cg+AL@ GKmW0 W3rMq:]7 6S-ĴĮӶGm1 i.g-\*mbi$a'ݝ@jæ}sMaHo>f3I2X`:| *NY#W=_4q:Mjj"C<;Fch_I{?/"OLW)!,L9o[^= 6LqoFq5$uŠ_KֲMn9tt:.]\C12m:f֝U^~qH/MM X bHٍrv8-!|w#TE%@1gځU"C$$ݶa? )tPE9[r~3:nPLFB]TQ ).l1]Gi5^VG_`0 }lA jGPcHdBaǛ`LT=L+!-=:v $Qu w]| R?rp?@KߪA31o L_Іl~l#jGvȭc| >nmy쮜sSh 4O}r`SOIhQas7Z,ȏ tqk}H<<Ĉ,j݄vLẇBN&_`돉)vUnZm8QSS@\m&w _zfDCY& |r֢Ǎ7PЛ*-X - `I;#ȉ$j?PE??Is+&w?[ KѦi6AQp;(GP*9pRߡciaWhÿ]8j9PrRfrWa)=u|ݺUp-͝~٢4:9,7c- NLֵƒv"H늂:S2(tވ{j㝬QX*؋ڼ8y;O@XPf'Ķڲ81NJ^_aٸ+|NoQ6>4vK+Q&AWw6#QJTe3 ZEɡs7@t\YmiH3H9\]Emڕ-$ /ɾ< [|v 1Ls4zpSUW//m /D.ggR+PVCgpԶ=%R=Ku}^=nݬC'Wڈ^g3t5BO,k4_ZkP03 w"\nCP̖Š.mF/TKN/"aBkQiH_Wa.PpH5jzb%B'?/ FCt6|\ٶ/Ps) R[/tr+CXH?n8VdS4M6iWF/dFY7hkYkRuh>07H0N<#QP| BSx +PY(Ae!{py IŐR0=SW]&]a.!b Ϊdj_a;51\x7HvR6.O;'u(pDmT1kIVnp?ᖦY9 4^dz8 wniem F󍰃Ta@Gأ͘|AXԧͥ,OafDV)_(ʉ,iFڨ $)6~#qd6z">^2Cp~^?yE7M۠$ x}r]uSXz֫ͣxP(1)Jΐ-ȠKwMtÕ 5*wks] D