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  \$ ]S]Matrix:threads=2elapsed=42.622cpu=71.876gc=3.280factor=1.697zXZִF! B]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxm`jpH@ ?4=1d|yǛt'5$,oo< je%" @si|CG\_,?f3&u֏2}3R%PlQ-2IlZ?&YǙ.g"+W ̯(3'A뱳rƊdϵrx.b}ϠbƓ/~'2 o'N׊feh@ {z QKF?A.@׈nF.ױA D ۠Ti6]v/4w|   MatrixV5% \MatrixMatrix.Matrix_Legacydocument.tex7zXZִF! CF]A-MՋhvG"uIBm54L&H *Ijp I<"şn p9<*BmBK?l/57rE[Cznj@|a\y0e~?~n=J+"A*fk>ƶlͫ S,.IÔ~<> $ p⣈nttKԴ(1DQLk]cE4ͷJ8{?$r dSC٪ůemxGMO[&vuʶDj-)oUsx+>3'cĂq1 aQR(ſL{Q]UIsZ m5"kΥ@G3jb&s ν~u qbӽ%b0+#m%獇 o~qRtfzÐs SX'ʇd|r=X]΍aU~dS_g wLA/ SȞlPYMXi.3 L~c8 yÝ4oyCӕeg.wngHUiX^ `tl >͵z;W ǎOgkVc.~,sc lUh;]7L(o5u=Pְ_Nd3$~sׄGLzD{ͶD^Nu~ 2S{vpcuNAIU~B']σж/-^xv[Ilթq tm-tuEpZږPpWP_~.HAl!z̡vLuj&> /+gjAWl,y֭&l@ ,;_j 9LD=LJJ:rOa!/C &@M=L ; kei8 Q8Ri*1^>*/T.[ꗋt‰qN'Jhm'3n ܜxсǺp)ڋؐ+W[4||ž&=_q|PJ$ΕZt]ZoY7Ͱ< kPu;kqlήŮF.KQapȳ]TP 2dKيqX|fk,>/My9Yx:O~VN]n!  >uI e>&)%MatrixMatrix.Utilitydocument.tex /;%MatrixMatrix.Ordered_Semiringdocument.tex .9%MatrixHOL-Algebra.Congruencedocument.tex)/%MatrixHOL-Algebra.Orderdocument.tex1?%MatrixHOL-Algebra.FiniteProductdocument.tex(-%MatrixHOL-Algebra.Ringdocument.tex+3%MatrixHOL-Algebra.Latticedocument.tex)/%MatrixHOL-Algebra.Groupdocument.tex4E%MatrixHOL-Algebra.Complete_Latticedocument.tex+5% MatrixMatrix.Matrix_Legacydocument.tex^/Ɓ}'nP~, )J-n t%tr W6*wtw0}8? J5мߗ'@:Wc`uLH&:#fX@kuZUi~mV E(P1p|ݚ(NJZxS-@tͺ5[>!^onv_g%ct{r[%P~ϵK \'^V4z' /)RvxQb @{tkJCO@GS&U_RVѴO`ct&9?4ZD3߁K,zя,͖2Tr (**ț".f3Ȕh Y[dr(s˜;ljű`d(&Lgۉx"pn Q\O(1?G_WlIlkYZ'0A7ڞJSDOl h<*:Ney}Y2A=KxFsI? |ޒgbT+R3xZ-~\ʨmfaԀB%lBeP[|^75BmA.J2gќE{ P;K EP B4vr1C ؝S鬾:4j,% #| r.BІ0ҶQ_ JPV.h:YSF/jƝ%+(lDUTs~@u@+Td><%(Yd/V3c:xxXy(Р2_Rv<ٷda ~L#i0\:P g=]q>V96a':hQ /&^^ڝ(yBk8>YZ;7S2*M@Ngk夛ت YaHrxX>"H«,2u#;}R6ܨtXN"8-,kIPzCmLqlؐ&r @xN8ct,ZAݱ 2I1$I UsxOym~M Dl ܚ)@kS V=yoG l0^MU]Oh Y2osFL]2#2~]D$B]\Nb^6<fRkд^~mҜi7ӯ$\dҤNʣ e~ˑP0|EMSд %kD>.a ]]̃6u,DhW\8QzsL #,il?D䤙gy۶ uz2DYlxexrC'Iƺ V$+ʊUzdӺbozw"ܫ$baR&ļ0ŠdfkX[C+cLezsOu}LX@-amg#X4WAK,2)X†agۜ#LD%πn6k$ۛo8G䁟AGqS=s.ف*Mzb+0UЉ믨D#lw3`,ʼn9ݎMӽ60[uðbA9 ʧQA>?Zo0O1LjWW ͹/61tz [2˹SjFR6a,K6;@ԙ/EN`0`bS_ cE{M v<-nХj+gkRG|k|ܩ52NQ@f֟%fÍGk*>t^Ά~ь:Wvds2R'XoyrXY嶖Jy"HD= ~>"Vr)2Į{oS]\Tc6~>iYHJH𒜾YrP,Q/HSL1ul$ VI˪1 ~I߮Avx, ϖB@d$Hz4lL3xf5E;|{*f:(9٢U\c[T+=O4􇺅jf'îGBXFDS&OL=EoK Рj gt32{quG8)VN(4> ; Z.h3WQ:܄4&-Կ+OgXWc|\e'ƭdo®tܵUqh»O t@1 oeo;oQ[Դp rMTɢ0o^՟gpXa2Tx3Һe#^'nI"~p^Y|?Zܨ^@ym:gOf,mENu6R=+0wWq=[S?jg}_@4+Κ>N |ᦦbQǑ$/c9H2ghV pyE9gYo_Ǩ*ߞ@s@s?ݨ?x.]A~2ƙcyqIP(ⷘ2)Ft岴4|~a;?0buȍKj:JwXV O!`3[<'FζY + >  R`"x|Fɐ?H zt4e 8x$!4e2T+,JP?b>oR2|ig%uahtjtwl0N嬂e}si  ap^PVs7lD%)sPu})۲K޴"IZ Hok(9CXO+<,Sj4Z_'X^ADClvrI:(QϚטr xm>Ӈ 3ZpScx*lƬQ{RwRH@|}-/~u8܃lXo wbz^1a U9Ͻ>sj6;ߑ ~p\YnNDw^zB^PUStzi@zegON.B;,$tZ&}8%7S ==b^}>+>&="V$$6zs0/>]WW ± նCX JQ,m,+JG\"Z=!XV= "*?ra~*d+p2̚*TIP. cvSpeNF4rծk7YyݺUfT% `V|ak("OIVi`<0Voqu/0d;%(D3 LV-AbO=ҫvw-+ŴRgZT>U'\nW yN/.(XhP_a<]|Vǃ! }I`Й|}V2y?sOxR邘e'dN0& E*Wu^c,ڨJj!/2涶U;ZLJ %UR abZbB_ݲ24pW?EjH,EU|:艾 I_&+3%߻x ?;eMъ<fhBiwsh$Oj&}!}ש71;~9R2Gva6v{60@J)oOYug1jܐL{G}o}xg/]: B湦VSkTŠ~xjDsQ\ qQR v{s/ RrlHm()<A^ufg۱EUWzQ"oZR8K7SftPiM#}h_P:a%ʂ{."\FJӷK8pi6̻ #7]yԙp5OC"f>pa#6ZO}PGCD ,SyFX C M%eܾ(! N^|EU#,Ea6f`jd@nXPx)%s^u s@ _6AP5hVccANlYHX$;MͲwmr-Ւ=ҵ=A6y⾊a=.rTI,VJsK4=`G6J |+E7ODՇt HrcBt,z[I;A6 uz/yQv䮭4`P)t&T@kNe%nEȋjO)՛5@J -RFLmuv)"XzJ#YTAIsAmyiSḦ7|ЕIb24 #i7LJ^WH$ Ќ36GY8E;xkAVށbG#J+:O}-)-D:?/27%OU%"b/"dڈ# C8c{hcTetdUWL۲+/{Rgz^_f>qPLKx heiz j+ jut>c;q.'|ЍOPIEI/BXd6V6M[7 g0w5Cď7z 3>is^F7~K-Ydq{/ZriH: $͗d9_S\+ ;d||]pLf7NǨK( WZ?4,gr-[cݔXOV6hBb/'|6]#!Gc=Y55|*S qIX*9vBJhӁNU]wT2jM4rr<=B2ni$WP+#smjl焢lڸ8@uV%{Eh+50ɐ88# 3xv6hDD.؎J418Qݸ[:@|(獇x,9=cZro|WJ|LpWqM&űQH?.%\Wmt6T;H}nԙmW s3,s.ؗʥI˪(?!*op* tmy/)t4Or9 su 2壇Ku:"У6'` 3ZV.O&&< am^=6&-T5|U^% )̼"bkdT mweͳixƁ(FUa/`\a=Z(yn-ZAq^6,-?9Ry[oh!.W KtOMqpܼg3<>1N}R*1Ap,\衱Nl4!V<Ż*8^P/h" @ame]'miqqeelT`"Ӣllb=?;)j 1)-h>xBq3#*`֫DA+w[2j˵á )avl8 _J\[U08f`޵1ʆ0AVÍK`u-\ZyG?r@Ihwӹ^/_]<G^"s p!:C z~3<gƏ"~4A74SR4T)d$N$u&لvYT\w?"e$1fvla"1FmC-s0tz[YW* /(PCPjLqj7ibZpL^jXeaqGMq./ ŞBHF|TkJ-DD󳢜ͥ0]L0j`LdzkDglW׌hxZ3hq?}*R )W6b= 'W"8-_yUp-QӔOt841X)iְFju {JNZ]ZZKjrC')V00 YY*x%e蕤 &͞`${ePOn7y1gxa}TUM)%ja4=!eTj~{1i1U%N,wC]An'U˯vYנvK7N{QrT_d*Ž2Q|cM!#972J:WK0a;yg~5B㎰P[ hrA1#L qؑV#:ceg8qM8N絈b!?Ϥ!~<u/XLVU$Y{ё)£bUfUp\E!EY:U;bCrC0OY0@,]&C7 L2zER99%ᄢIb̕W2Q15!,7 Lkt[O~NK] wS'c6q,^MfIxڿW|pE>t0LL7=3XGQir ]sͧ04͈A0I!̓>K{{)'ר2VQ 'J!11V\Sn|v~o2m1B|f~ -y=S38;Y%ypp*I8m hIw x׉VBTm)AS2Vp_@]a>6lCXdXYq3;_QdGG>qwϚZT*TtiZHi?{$=IϹ‹P9Z ~^hdKVc0Ug 㻍c>}kŔq70YYSKplQK֦).:)4b~˟UPc x!BMŻK }}xBhDj26LX8Jhh\:.sa/Sۧ[S ;49; efsޖ#LHT@}1 6ėjG)C5 k z 2+Lm':/zB0qd.Cz\v7=ڽLwk~=n/KLj  ɤ!oM DfL- 3GJx*:BBA~ڇL 5J]\On/nyK5l7DpŽ`?x8 xI:i2v͈u?* => ea41 "@k2$ݷ/pϛ5|Jͅ?Z{_Ff8L0g8^T߬怂>v+zl?HZd#G c曒+r̶Cĭ%UW{ 2XbïjBYWk\ dt}>pgX4A=Y~1B/lҋo%D'4:2AYx/|xWKjzɣ9+qB-bˆ;Cogq{qEΏL~{guڊw)ruSj*hE3;nU hL.ZJ]!{6{Q1U̜Eix,xC'&#_5R4,kyb:rU;ȋ<l^K̤WxΑ _+CaK*!螆=S[Cƛ)=08,:.g)bx9R9AuEq];վF75;*KK6w)eժK|7.2oNEu?wې2{g;s|l 6%M$A<s&塎 %mL rvռ3MgSI͇m 0}6ME>&: 1DA\)8Z@0c aN%bt`A`t跃Cl?Ȕۚ_eɎ"yJ zF1W3 ; #_)L!:bq>Y|xnQb1vAfq(`(?2>.yDq7i}8oy&3!Pt&t.U7)F1#HNs*M C$7ƶ}: nu6Dʯ{ФY" %搗ǧxL Q绯bEr'Rՠ$FЍ\ VSl*90=Nd fr E#;Q ==V?ubEF1n Z0m52o r'+h!h=)DOYđ (y`b{!K sTB_n3{\:N8 GúU5ӏfÏ Y;%C %@ g+j#/yhB]>#F}Ԗ)lb2e?!Ǘ˞pynXj9K)? V)[HD+FYq*5wHU LcoGFT\۴&}0uݸXMM"1ڤ-|b9rueȭn23L%οX_ڭvcQp21V+,"/q_Y+\ k A~RjIve9\](vJg,] 7d*Lm8=;%5M!kCFc*R&\X4^ηna啮Wmfȷg9_ԃH,o8erEN.7Ef]%Y'ByX9Tۅy@CȺR-\kָɘ KTcTS)(s*'v vme]@l/˟z~\ Z~}xJ1| $ "\l)! >iή|$^ơŮ]D6@InRy [2?_\(GWIb,PUt--Vw=$E66e#[',ȋ7D?I 51nvzpx_fM5w2pB)Mf W& g01H!:uL⢫sUhW=%1*{_\L9:; b7 Mi&?ӱif/N^R Q ډF C+=*%idbDЊ6aXM=dK"mHtxc,PL#kV:ԤqD5 _94\0#]f&^InrY4 ,DRجMJ &2$?!@VGUqEgqX@АJt5A4aBQbVk,]s-x82BqdBLA:^p`r顎XA?kPR ,#(@keps} L,27vĐ$un=ćė0a'#AHt ^wzv 3frPQu)نxp9 7U5uz:aRu ^5.6%_(d9 mpNc4 u|0-xHܹ'MjP--hIׯ=FAMY Fg| M^#yz^wN,eӝWV`d}!bT݆,hGhVި=>ƪӃ3W(Iw^dʜ^En@!;6az Bp- <᫈{G<{aRz+r[Peh^v^Rs:68BEXSddjw[6\ݠV|b֨Svk6 I;jj07]zt MiT? "ǩ"1Lb,<}Z)9? /Ʈ? yt!wVhcd5?Z]nhOט'& F"thN~8(%'DJoMu׺]9Z\Vj|&z ԭG XH ziu3Sw䟯tI-?1[scM?Y[OeRjoRY"fw9MU !=~vz'nÁ?ۼJ~Bgxzնi 0{$gMe"d,JȊm6$;>YSqx9R)rF<]H^tw TG ux_H;F<`.@S1e%:ֽe- 㟫։o|:w_$vAJ,Ӳ?F2^IUB_%r9rm_򒐈387_ׂś4OY @^r7KeM VsG^Q)|~ Y%8ioB*KrjGLC]ܞ)4nA&Ћ#(R3U*ϩ ha-2Ev shmSǦ?%Kb 9r#|z-"]YK}Y%ѸX70f{&x<|]/Ü^!Q"]" PJ1\5d ClH-yj0.rIL7{N aeEe,VR!_R y86^2Ϫ> CHoTpO!p[f5v /kA1@lU*o#D&-ooWȈvBĴ"0:"rɅJ/ } +9qMo#eu8K-gmaB9OфfrL8ioG&Ul3RA U8 uEzH$,NA+FB^DPXb7M-B,3cQ3X#ӏ ƿa(뢊X;;t&m0ts,BȊ8F^c(nF.=#pAATOC`jE' ,w.fa|ILLq# b {;^QRѵ{N/G!?s@;om6z;O )mfړ\+!bfϧღlVh-U\,tP% W`2t*CT 37cvnx U)P=&}@C sS ">̧d8(ET$h\6-`Lj cE2bE84$3}TI-`$I7ʰF! _:pC`6bKu9z$|a]#t<~54p*ēHXJ* HOM h(݆R6.>%22P`n%,=t3o[ưU (ǚ*0 MW-Ц3 ]+`>$%6idG7ܲj본eJxJL )čv(?Қ,sd`=7 < (c7U,pu]]I=KH΄ËP1sH}4Y90/=850iIVD-[DϨTvl$F3{.P>^Pr9 H8e"Ԗq/$?[ϟa`YS,mdgiѱ TDhno|U[bԾCM5R qK [̯DLO:-bQ@kIX1;&ujQ="Z, &REb~[n/!W!_Wb .W4"NCsƑren/dS #|*t# S4 ZJ L|\1{JRp*Bm_Ӎ>te!@F><{N]vDș5d*+W[Xe\WHKhq`:'Lw~O͡5lѼI@eQ^{jFߙz\.sɫBlRuTz\%;x[F%(`k9.!x$ۃNֲ5Saֽ?wBD#J+sKR2E-8hP(M6@k2ː*-d=ИVӍ&Q~R`ǁ~u~n5-[pT;p{` !B88*R' a#Alυ^P.*pR[7~&4(ñp=ä8Tvc䤦jt%cE+E QvV$d+T"f硤YWe6D͎0Jy[p`fVIŒo~@ڠ:=l/j׊18]I`${ywtX:V%gNBv=yqMLbOԡu_&0~˟E%W+3}8 O:铸P^d9Mq]q8'5Cs;j x(h2Ϝvk(5,0(՛pDdKIF k=PuE)J|}L jxap;!'7A׎Tg*[qb5Y;7g̘,]bkƻ ha ]C rwG9Ŏ)ܬKi#Qcdi.h^qFj8Q?ecxS.z"hC:eW ɥ еZ@$"M-IiE9s6QaͶi.7p,~ьsYe3WBK3a1=2Q"oPoC-wIƨ2SZΌ(4WtQ|̞y c9s1Cq>7$3 KXp klm[vl!%tG1i=@(26og( DoZ%di-th>|=7S!/?J{jq9: /B N|Bbpp|wф+xp:;gFz= 40Hu1#)glY١(QjNK .ʱ#+t"(R\}# Bj7 ^h'q?rw]Mgܖm,o|R4hwkWI"}]hM'ڠuֈ{d;O?}oO<ٰp5@ h$5Fx"c8T|>Bm*>2Uh 0 5YlyILەM!ߺv\g-}[mq߭s@FoLѱeуIKaJ8a>Y7T59Kv /~^4$Ff)lj*ve< WŔ%4C߸byXw 8qX6.rYvzED:AđB K&D!wl(jz@fZpxf_n^ϕ!ct kx[qJWg|gY50q}ia(KkY-츪hzӢ{z{*KMvmkk1 Qj;g#EIJsRI0h.K7nV)jĢ?Sۿ>`ն+9k[Zc9L¸K׬ȱ 'LOAUwZ7U ʭ8ĸyphN\z{kLq}3$_k-btU&F+{Ew+cadԤEʈF""ćmh,hg,!=ķ*['ӹvCQW/[g~kLm~ۦٔ5?O'0.q*KŸS߼ wH_Aگ2Ej…"N!^?G `$yp0*eDyb=qVf Ի٘8j{HbӈQM~"vΆr,h: ]6c^O9rG5B\-.Il}'o8{Qdy<(X-b\P(Ep̀;OU1hDuR`iD詩mY𱶟۴颥ȉh,TXCIjqZP>&xF+{Łw\b;AR8ҟ$vA92V.*9RGV;]+` h%/.X#`tBzvPPif@DxBWaG jz_l< (7-V|.">z=,OXl~Yɹ ԼЎ{|Mx7)@FX'U5hh="5vu6 Xo} 50;svw^jr FZWUyԚ ޟkOmJ[%v|; #bX6CW҆}[ 3k]r 9y}##9E:"Q^q[7&*CƛMd/qڍBFŊbIv[joE]/""wPk*AvdTA(:,Q nOF ןG &ωA\yRi?z:v0Wrrd3N8DzƲE9&fK JctöywKߑz>#lbm@ Lv/mw߽7Hz| mL*^ Tn~v(A*Gl8T\la`Hr9m-' i*ٷM~F41$3 6úİGdTJ&L*/iE=}=sUp[63VX]\z4zz/ TYӭnΉ!LHX(" M6/|M'@sv\MMK@HK*<=϶1G> Yw[NlO Coak;t8)6(z9ye Y㘑y\>W/3_xA{<"|Ʀm՗o/=$^AZe? `I|~ @"4bF5iEp^&/ߒU'qFh4 hU1NOl Nke:6w1!%2@h+*o@ D@ɕC4UeoMsO;ySS!$F0Ȍ\D,u9U>6s{wMG{UHj'v s'f$c3tj}ޥ;? WS'3Z mv٢5@w=0OY\M/bM4[R@kna^*hT^<$m!*?EgF5ݨFx<úCR+0t$Na.N+ 7 >`6=M%h$Y)¥}qE7hsP;I<+QP QOtp QCh^sB'enJ \Swr]aj=An@8S./FY|F9 _b b\654vlzE~lBO"؂VFo~/ s+0h_t'}hr7O-R2k7C(_*sxi= 8WurƽDXA]Xz5nuUxx$1t#ODwx x譇h9¦ѓ+p|U+< dPp˺F̩GPsbƇ:D& Z\@{O.N̝?]P uLtJ@B^?S}n˯aQXY_*Rڳ>2q:g:сnqC=dމ=aG;t Յr2hUQ d+lu'{#ƟuXt~kcDrzgg6Q&Pr`j&:_\ DT vq|wI9郤%\uBi3)h\Ef`۱grcqgvϠ(hq#==Z$:|;&`$YaWz@֜)g5[pN˪j"fɊJTvVi8ʆK]?oZeT˞=Rv ['f+G(۶`~kUN8ƹCoB4+ (ݾ,23lq7gd,a_H3?6n󔺌ZKgA9y7A-jOuyK@sp?="4Qʓs=kE)Spy>\qShi\=:\xtRWW;抽7T(|AeH)] p4˗1T~ A Ot&*&XeLW5dE,Ԍ۠/ի7͹o &zZSݐ!6#ZgK!!*P2T7Nt*Asn i&:Ą- BP3_%8t7DX!y](5Cێ5dQ7ZFCv,ll8EB;|D:cbS„FeAv29mi•ĉ\0[I !%lB }=r@mz[RQ0;)yW@uRF#Q?/W>E6iWvM8W'?h`{!+aZ\QsG]ʸM~*3 5EHRgf^Vx ;V`VSYns vupWKq ¢->|s6&qYeXm2-f#@@3N+7>V*e󝳹fqTwrt=RJTKz~^aq1RvEI.Oi B̦'W@]lysW;@d8 m*HՃfVrʭܝ ? VEw  ? Naa ˸o[:?&aY ?2Vfg'Xұ}\sETw{<?uo/N]Beo䋁yN""HylNmZ3-NJ Y.gAc25p1#ȉ5zD flם?2BmLx!wפqƓ؄V{,^ۺB"> gAĥdCWէB2`(ie$z&5Q b&\ĴD8WEDwC 'a1X\T,@E] ʿ.6Q ae~T97a~KlNx] B3[\Z0o5/#}khQ834M`0s ~+;"u`=84 e)Ls ܇#{?U Ss sְq NLsu;4'NJ2(đ>0ԛG6w ?=_,VXm|3Z2H-.y#]q3I:峫_Ng@iH!i=W w@poU YH#Zsz\]"-DgТE6{0.Vɯt/IC@\G_68j%^;YwjH85ًǎg#Se< 4^@2 ~.OjM|li;*μLboZrp፣A\oIkӄ`?C)PkY^njp2 K`Q1*~%DQig5Ea ;T' {X|o;w-xwi8Y)*>[ԺCWBuڠCsfm%Nl/@ VpY{1Ź<usj !yLS)k?YB 6F3Ӎm;8[imF^B_:z޽⢘K~~PT‡[C{:W68~Kż\`EB9v- L TaD)쿼qBqz% d˳J DO]DfPʗ_'}  5«s%ջ"oVkWCˊ9F:y~gO_@oSJ[ -J,ӊ[L P{mA [UqC3qF`nCCAU$X]'s .I1(ѳ TU4t@FLM eK([^glpLTP^8㏞mҕ^'D xe={ʓ6^k 7;?aU26P&?e\u!nXƍL b%<ߟu,fP:[mDαR@S9xeN⊘3)|2>;8da~dnfqqa!gYZ V5% \MatrixMatrix.Matrix_Legacydocument.tex7zXZִF! CF]A-MՋhvG"uIBm54L&H *Ijp I<"şn p9<*BmBK?l/57rE[Cznj@|a\y0e~?~n=J+"A*fk>ƶlͫ S,.IÔ~<> $ p⣈nttKԴ(1DQLk]cE4ͷJ8{?$r dSC٪ůemxGMO[&vuʶDj-)oUsx+>3'cĂq1 aQR(ſL{Q]UIsZ m5"kΥ@G3jb&s ν~u qbӽ%b0+#m%獇 o~qRtfzÐs SX'ʇd|r=X]΍aU~dS_g wLA/ SȞlPYMXi.3 L~c8 yÝ4oyCӕeg.wngHUiX^ `tl >͵z;W ǎOgkVc.~,sc lUh;]7L(o5u=Pְ_Nd3$~sׄGLzD{ͶD^Nu~ 2S{vpcuNAIU~B']σж/-^xv[Ilթq tm-tuEpZږPpWP_~.HAl!z̡vLuj&> /+gjAWl,y֭&l@ ,;_j 9LD=LJJ:rOa!/C &@M=L ; kei8 Q8Ri*1^>*/T.[ꗋt‰qN'Jhm'3n ܜxсǺp)ڋؐ+W[4||ž&=_q|PJ$ΕZt]ZoY7Ͱ< kPu;kqlήŮF.KQapȳ]TP 2dKيqX|fk,>/My9Yx:O~VN]n!vz?IYYwY=J+5d .E% |MatrixHOL-Algebra.Complete_Latticedocument.tex7zXZִF! n8]A-MՋhvG"uIBm5XKjFщ*1WBx#.~kلt1 ;"-J; 2U4#k+irW'},*,C0 H\ׯ^BcL" omt$DW99Ͳ(C+2ڍS{$Hv~9JqY4:tt-ŀ`BR_g [,{PSK(vֹjć*6@"^ܰ![ "XGKzT-BWV$rq/)ұ~R<#v -Kü& m!ՇP7'MW8fYX{( ІC1mS ɝ!pw&4biCQ*I"Έ5G7jfzP7 x7:= нs0٦ya+]lUDHZb햅.,=l3Tk|`kfAZZ'SFav72pL8h*KvOI u{[QJUrpE~=)9ƴ[@ Las-͝B jڂn]Bh\'8spt>%)TOª);T ȯ7x:td,Jh5*`iy?GzC-Pݕ"bp3;Ti Ⱥ7ъdo;(^B1~iD,?Aւ׶OBewPz]y uLeYp}5(i> {&\"͚I8:NpdY_=,)EO nt~BY`j[SHN+6>SyyԜǰ&p9YPrMOҝ1C<2>b|1@?f1^ĕCVomB$=K5/VQss2tۥ@/ս0de#?'uS6tHN2ԡiaL:!F>T}ϊ?~U齱+fXy)t IO@ޤVKQaoR q&iG W doqV {cGO)YT]p\<5X(Z~֔&!wIeLyPHIZaK,;9ϮMMDgaOǝv윺쒵/7N(G/cb0|L "6Mbx`|scMg5-΄ / S,> XE2?]6.l:7O&Kz=AP8 rhExF xX姰F2P6M&}JHpmQK~lU˿{2N`\W+ 8xCk3Xnw#Wi){X[: Dm5)mqg<Y':hiQFYN@Ͳgq3]։lt4tʄv{*T0:, eH3õ k`gs}rbC21wuѮ#rgEdmKbN䌇,h|}͢ e5&sw9ځTH ^VαʣУ`|P{⁊va-jp=WjՐnJe",oF |9ƕUwmeEHx}Yaǡ %%we{2 "`g?h/ڍZl^c|`*-^֎1xX{_eF[5p!8^Zk+gD[>ZZ@D1у X>0=$BR@0ie}R׋3PQ{7SqOՙdl %- C''-\[ 2C@&pmݲq'q*]e_/$_iJ\4p(ƣP_Wm ČKX>!Clff,D)(Hh[=Rr<(in夫=@XƟR:jEdاt3Ʉc?5W#}scvbyGæC)1.NbDp*v"%tt1y@t;*\1|Olá ;Zɛ}{y\|T*\mNݎ6()Id|S)ˎv#AۊH""$c'Þ'09tKyk&hry( O.݃L;#yg"5ӑU!ŀ6*cOA+ޅmf vQ']>;_ $0Up'qqd`0U3du^&6VbQNf" f6K mW>A?NUmّ[RtjP%a!_O14Mo2l! kP}AckZ Mhas[%$ܿ[P{w)kṺWaJ:o<+lm&m/ AԝP?#g{_r%B@xw ^A@+aR`Gvv~R?]#f,9Xx[ȧED)ؑAxˋ}^ۘ&בqsDII亝oyFD_̑X!oXjOjx?gݿGhk?*uwC#*4s:I%>O3TYN)*1asȘ5QYG{rP.wǫ؏P(;=>ˠԽت^%~<Ɇ/Ճ,fhS܇o>[9 X/ZѪ0O"oQwCu *p:t($e7O\*(c2q/^K4FRA(dOG/2|Nd`+ht:>xž3m$7t |OY:?];mݡ',1dփӝf4{7pDsm &:ZPrxƪbV}Pk<Ε\-[8hJ( Xj'd t\e(z'΢d;ݑ q E|38!aSD;Z8mKXT.뛜'b:]&$l(57.t;4F(Rхӟj]ܵ/nۀCdn /M[Zv*n=pfkɎIT'ܜRvzǍy2d+!^S(b/+EЎsy/uFElp^!5ڃx!|Q ~>eກW!nCJuY&.pS&Sg Q`Mu/$0L 03s-×0C*|Ҥwy@COE $܍D- ?:d֛a/> @ve|~`[ j:/ArhUY;v*wxvA(O#$Z\i<aI38{Mi2sO96T6#E T=?Lhg[ֈx,܋Mo*'1tح+7QWjNC. .RNQUbZM 'zL[Fޣ3GzY)`Ɖ6{E]-f$1הԸBֽoFbshy\[C{hRC@ͼH3 Rz-CImn_lFlCeLJ}z"lqRWIh@G٬G0??SYe?ȻsѸ>QDR+縶k֙bt9UVm. 5֏]M2k/" T[uc7D>O4G/.?H_h~u%@o(ԡey""ҨaM [䄱om:<[rx[)D/) t7^::]}CÿØo;8V^rook4T%#G ?W}DŠ:>ЎBȫ4c$/e<[~o&p(ag'<2"qob4~qz$e] |цu3=H q2A'v8r%u2QWa Ln*oA fK}$( cSZJ%H3ʪVEzF-bx ů{6זp>LNe r-`ng=f&KrI C1Vu|uXHTᔋ* vBLjye6T7v%JW) qu wzjx' } uL\^rw80 F0OҘM ?#a0njQ~."vAJt0V57QA #<]hei\ `@ yq$!tοpVF9'7ZTo@e-uXt vX6 +/dI} Ȼ'>]Ex㐩CCHYT !2ấ`=EUGFVA8׹*g(0/PONN+3ᒸy|ǧ:?þyM|@$i<ΝQE!7 䡪Ά7L56Nσ |7WD/] O S6W] ]Rͯ* ̨}rhCgH#&s¶  SK"s@R2Sbo&Vv )$C~׮{S_˟D> S1GȐfU* Vq;ȁP.C} X B { ]4{04N8fαLa$JaY_q;H}Gn=eM{p+;$cvڼA[Yn(ȈTli-w=Eg·tڇ3*X퇓 `}6<αBC<4f&JnUŽ922A`:p s}=~pAI߹ypbYx':Nn^BJmstW]N{$GQ܁X%dD\+8(F2_^E Y oP ,PI#7~%&42Vq&7lD-SA!Q!Z*ϰmtdn@/0KZxb,RRi!%c;=MȻIVK:?N~{T"U TɟVc;mS[scN57 ߰`Z}U [YO9V>c)}v&ʹ/dq=} IśW)7U5JqVDY^'P~ff-mlh?Q.5986n[,úFsn0Vxe1%ܺ5*+П`2!x&t,33UOs"/*f !4|Jl!hZ>q5q9߮Ň]+D'#G4W+ju&4[(ћz+d+L1{Hz-+?ڽ?R/B-XAWSV hI wA?gbmHOmVa^;?ߒaDm HvkU?XJTL3ϼ*=hb=[C~u `Woz"0/A{)=)cђa,QcGncSsƟ7|bm pQ(Aol*X%M8ִv*ikͩu~ͳra˾9BqP hwEm`Nbjyfb25G冢5nX]Hggՙ[d[w2:懖؂he>,`Q"j=OC;}BW.ݽ}K36?Yɝ%`Ԧ+C!ѪB`^b0[eZnK|L\ҔZ<.yuiR>,d^'ozof{9r*si.Xvϰ#|Xicx۾-vDܾx%Uql{ڙ Yk?c ˔RuU<`X#m+?`U:~qQXko-48a~n8' O_9/?Q&c^z}w{_FI$Ĵ`)+=}fb~iB2W+>-nbx %3kk&#{h^M<6XT?Ό•@e_8eoq䁜'/7XLǐ #ȋ 9ry0yYQm4tm#[zĺVhbcuBE9[# NlӭɵȳA"v+7[#-syTTEF{DYH ]틵P_{KٶOW/O0֍M5 +:1~ ]xyaNyl˜ GdQ9>c*}5>IMO!({{K7k:GEn sKs:$%O#^7+Dpٖix$Ct[&~D' `&}oLd'bJkQ{r(Y{SAme`Zu %><ӚyȫNh/`A85ۦȴ{%T^Z5VnrUd#GHKA[!(3[)~WSCWS 5ZO6XBO_*~p 6 S.%yԣEw/=)HwQf oVxZ;rCm~p1woT _raA$^JTʀM S~'Q#/5s*v=[Qhu r40=މ1O8wZPk~k)7i$; O{"eqάoHJ>0}5}eh yc|tW01DE(zA=H}xSu5yK0܍w4Gc;Q60Ʈ*^ =YW>rJĒa2ƶIĭX}:124z=lTm5])dqN3H+/5a /B akK% b:`ze#mC"s>y?1ԭa~+#BԎ\zٞ[Z!g4t9(?h/ cGt>RGf7|:?~쥸ZOݡ&][WQ)o9?#e⠎tU=GG:kNu 7Vzzvou\P 4EAI?ǯd- дH6c ˎA YETa5NY 0ꃛۃ-+>aG$"-E^!$$0 Qq8?fS*Dd.3W?OIQ9ׅv0+ܠž!۬F+q\3sɐ!\;!ɈMI`>4l3 rb!r\D1Y8p7*฾- /pV5SWN>@٪b! 6z(eşGJ+3E=@Lvu4hy_w9!L*1WbvI]֣h~9yH$t~ tc ,5]Mt=tӸĆo:߹PzasS<l:J\Gah/]0ݎ?"=CuJF-z~Abۼtzrg3ļF4sbXzbzT]`=Vrز⯔&l9;]*VPNS$2 `OE:l7e$ѡ0pI# !^7bi t QIdi';&nFgBϗAZ\c GJ4z9J hͣ_p?9vjPʥ Ѳ~XKX#2>3QCe La)%y 95^"B$N!sZ!ol_xvȠu!KT;sb{/;D1|aw[e1&Rϡ@Y~!3wzFqT8O!⎜JZ&Q8JCVς|>kwmU1w2A|3^t{^q3={?<ʗdk WtlM ocNjV.4ȪabKJ/- fr0m6ƻk~ ac?Vp0yҤ5 17aABXG1 ~.Hh~#n#G |_\W}[X `md#-{\ْt`ŢYAT/K 5 cM dkMɌUHFu1>'98uf3W7`@Y2|ܰrV~gH.VOȉȍR ոPz1(D{@'ߢ1(N- 8rTLWvķ(>yI/ "!g,hL~enj0x:v1m)3t q)Y3ƢIQT͎mRZnf-m%58d #ʛ|ro:2ݰ%`̉@SU;kP(P\|~ԺgͿh(IR$h O1tC @\gLګwXł]7}2ԴǃeVP 䚶WRk~@ nwK"LJj(GѺ.AN+91cv9oeJPʑhbV1 `[%]qPۗy @ hssLB/̀\y-psoB0{JBc l$ltٿ{=bDBּ<6xr?׹GZi5O>ΕŒsPl;"KP3`؅ib}pÊIsC]f@ ዀ4T]^9 O6u`z]((S> 4 Sr~sEFL0BuԄ.8nfRUE_x8\Kԡ$^W{usd)t݄ո4O3!D4XI}oTZbX2&rgECp.vTIJ9(!"Zy!lOL2JyEb[96&aW“r}uoh)>/c (gP`*l70z22ɕߑNXOTBᚫ`E{6wHRp>aZm)P}trm Dc7< 8Ax;8RiSC˪J"U#2Q&1ޒQ*VvBַIfp"-IBi4IF/7J|SlNS ! l*p?4g)jJ|,7}U[\d6kW)m1(45v@+/eHΛ ij.>Ʌ b7[EmV.-!W.K#yH{.Fb:lŁ#uu)Ϡ+}xG-%dyԡ$NCGֿ$̏| L:[B:Gc%tBHx+߼吵h>@*?ul/ SJ"i8$ j&9+Ut _@<=$_xpPH{/H6X䥨J ?蔼OG^@o4(lBwϭ&Sɺ 0zESY/ӝ́Lb Q]MfCҏWA䊭9躷eZ"~"81' 7n< X@xe9\J-TK^7l:$9繜S&)bM# w;*?' ߓ |SqѮ ΞAfY PKZhh!]T}T:tat c>Ix: j5K~84 zVV>cd6`XY(B\A0Pfq|z?qA+-/I 8&x}藕fx0W$0אLo0 ՍߊC^ޝv\ g+Dn3gjngNG񦴯2u'䟰~G̬Xb$XE)V1EwN ~kWǣ9 `0z,ω ' *i3ב~+$pWM DǼ/[0Lm v/upL0JQS_༩c11ʇU1I02*Ꜭ~Jm(PQl-f@k!8nqh7x YBldFq1Hb^#39uf# k{t 2G-EM?L(K_ 0Ⱦ]_N!BjbIPe8-B7~PQ`m遑i(neۻqsV%["/3e<}[[ym'L8[` mTIls}SE\d$QJn  *}"0pSdR5g#>WTȼ#hyN2"ؖGQKg\B_L;IZbpR4wc"8l[Ayr ȤzPvCM>/>5mZq {/ V2ZJpD܀Y݊e7;&ăc_X X>u)xsZs25-<%KI?Ha߶,y)KL{.N^g:%ſy(,HQ/N]M%3:-] ;B_n/,(Amr^'9Gk&h#NסJT+lE~k#t=3B+>W9ʺV%  uFiZf"l_`:ss!C}oKya&:CnUiW`M?+EcE]* 4hY2k8[#k^nz q_CVDq`j%cQc3W .|V/ѨLf>Dam\_ }*ga7G4'3؜*Z-.HȃE)W$hٯ <j}꦳mr 7Q,#/ {KED@4ބʊ4"^耐RNpur_` OP`{HӜ%4M6yz<>ؼ ;f4aOT%im(.oz|cקZN(+;O| oO [rzNuWHAy.LAWB {فVB렼ǎz9=\_\E#ʡHL(zN \jˆ-di%Uʸ.G> YJ2>VTw`K2C*oI! FAΙ߼Q }}A./*/{6oCdWzZt^O'VLwp"}H+(jru bkcLyrt^T9+R \ |ǩ0Q<Ƨyζ4?HO7H Sn "'ylo}2!~,4vN:ؒ٭Ɠ'Vy;KF_T>܊u zBB& c R߸_f(C[Rwu؆i ILKIo,?`~ɧH(NQk倌7e1ElVqY@b7f%IR*{51R1 ODܲLcA^?=k0Urb"I0?YgEf|"+&Xt*BfV\2ު[HنUv{l!|28$^1!Rr^6ukGźG~!9_,2i|2/5`8Rt~ֆdrNp)e$ݸd]AeF,Oۡo֕0á1%9#ٳցʅОWYSK4-mzU,[]QNQ*y58ƄGj|hsjvOm(^A ^-(sXS)BBéܚG (j*g _6ƌa5EoF57\M,q.n$'°3,ޜ!t-$dzodNII1'3CIEm{L&*EZCSREΎudhu?\A7fS'IuxqPs %$@7ιfu%s[_#q,80ha\5+e/5! -.vh'lVUs4D_2yo(uڳI!. [{VXsΨ$)0E0-J!š!-W኷Ϡ1<'A?Gbi3';(6M/æVӋes u?1_ a6Aҏ8Lxc†~dj/g^Bm}~)~^Bw:Ƙbว,|5h8LͰs.=f٧= h'C5І:~b#hcM*H; vdҵ!J3ǿ ]\ WhSI0vz <:w3H:d/L2Qrx@~hsyrWywHEwKf}|(xùA z]^QkJver_`1ov G 3- Sʤ 4\&79Y2f .H, pSTQIx>_G"],PʚhJp qȣmy2"ϻ؆!`t[EXĶ˵;-+ rt56Ʀ>-aĺ#41/N~>g,Nᠠ2~07A kƕ3m`/{z|v,8P8?yf\܀멷@\z(PecLx87&O;еkHV<2Npmc+28!dVlp@@  % _7FD2ҒZA$(WL]}BQϐ?ViM1VxzZNQB d6iQM1 D&?M%O $'L1Po8kS8[5dGe$["Hۮ9]B,G(Ȥ~4beM&/'&^bLWddzEݾՌum乛UDA| G|heI`;azb 1KɅr"; hvx`'Qݼza&#)^l" =& p;A[@f )h=BM'Pݷty4}lc0u&/q4 ˱%y{n{c){@]մ_5~M9N^.^|hVu(w@n]]dP$@ {Ą_A׬j@+8DD zT8>5 ?%G9s"`w|Sm(19eśٿ0w3z& W[YyZ6ƨ߼h>*75td̼#;8A.őfWD`ѡ û nx< (.@2~;Ŏ2V-*La%6@yj FRS?(9/Bf=bZpƜWȩ=E 5TT)ؖ sep}V׷8WM)w 299 -cH+KAD3vbip"W$_&`=yv\ kϪe "KńǢKEzNbGLBGIc(ACS~6tsQiW5>D]YK}tK C]BS-t/ ~C.<ׁajqP$&pX WT\S,:J$;C jģ_2- cȁ^$K>4`k. :?&~ZϱSAQ:}}RKKuUXMl^,+ذ,,0gHO sRIlNG8{DTH-o6MPT+H.,C]js& 2SQ)^0Ao*, gy!?qaCHǨ1 C)' K"NiR۴#,㐛;Afyѷ,Hn[[O\Й+ [C Q92$~G2^#Vqss[KXj0,.D@Zt$c,\ďw6aj&VTbp2w e:hX$oMl.X:t]_e؂J :QgYZ  (&-% MatrixHOL-Algebra.Ringdocument.tex7zXZִF! %]A-MՋhvG"uIBm5/sj!?"CI;F6gtqCˡ#L`jY6Hm7︓%!ک#o/ $jjrEAk@p2ts+ V/b,}֌FfD&g4?el= `22ccsP-?y)_􈚳 ʛ8nY)p5Y_*<;6oMF*!xuT{ +JV<` 6iO!<jltk$FMeb^N+,\!U0N^GLj *4EsTH]9Y 1mI-FgB\ L Wg>yK(/( cZ0@уS*L6'_Ն5r<{A'J0#ғ_YuzkIKb~%%EÇyЀ\}z`Y)_l wէ>,Rzt@%o9kra 9{%/-#ۘTu gܵi/nQ)iJ%W>#%Y7V#\>kJg7R~SN51 4gWI&o{w|e&$5I6Vc"]ƅ,JŠSAƧꐻ &FFbjGϣe*[>X'릱wiWT<ڀBʾIJ%3K\ul `]r98`{gcѲ6k{e KY H% WGV={)".' K8L#0fO" CFn &7< ?4}>`: .~ӱaX6yTWj2%Dc 2c?Wq^.l b79X\>j@V:WT &< 5oK؜ +K)pq [vOJSJB.FC!YMSTڈyN}1yl-Pf6΄M0fN$+ ۫y/'ړDD9]Ykt)l85=uY94"[V̴?3j[GL3Бy":9AExK_i ѕ\2P%덒jl T픏gm<9S!>NKz$_VU/׃dAR~cԂHY;=IQEcJ'ѧ+A~tkѐu\Qn4~$4*G$#zU%mic &Qם]a:0tNS+0BW[,5F*vZCI3% DMatrixHOL-Algebra.Latticedocument.tex7zXZִF! m%\]A-MՋhvG"uIBm5gbkG%sddS`͗_T1k|8@?f 5˰h0vBrکyvŅvB&/g xn&jP>gvV4ZFZ[7&my?Hi,SWXXCc&|@{*&$vG }AhJbUz,4^ms5y̔9S#R= _(UI}~n K@IL5)P>` HF '\l$ -LX|O:7w&7gVhI4PVYdФ@yz}*qkeGiok U1OE,_=qߞݦI)]s⏅2KL{.&HL/$Nm,O Ww/mU s7!3vW.ԁ!^fuh_nucW7![o v+u9wī_LGtЫbfG iDT={j= r*\tEwO5˗;fE@A *Ÿ%AΧqj{MOVxul01u/Y]qq_j`DCn&cpβx^^o+ZMgඌLBiiHzm} a(\NxKxϜD̆fی5Pـ*| IZ`D CGVRMͅC5U*~Xڞk:>MEX%D&-q)ᣡCǜp6`D^ӓ_knh2J 1݉dg< ~|- Nb4H'HGPHq+J +C7 [HȒoAp-+`oe#6RȻ kE{N]uDo@̬pLPlgF.^r*OEGA+hx*T(Jsذ#xO7.W?yv-nRM0-\~ͳFoSƢ&:.v*xWk`FPIw$ӺA4Y8PG)ktbIA% <u1NhDp(N':Wa\N+ey9jϘdmg48NٕlNn N2v{swld8JIp]0/#aV:΃=˦Z¹s:Cߚ@|-5$ =# ) ~e5p!~L26p?W"CQFnp)BQԋgwDZB^"U,9(?5ʘONE8O6wi^ДQ ?n?/qsի* >p~Mڤ(C7*?| D`*M^}B,:+3ݛ@:d5[wZij=^&o/7Z쉎i!ȍmd"0S2xap;L/&{ef)3\ ,@ƃ*&,t!D,i#Xȵ~d\oL؆?Hy/+cm "@ &ȧ|'л)GROu7ʬXikahnNl^ڸDs-DL]p0֦0>~+0w{Y{ cMWئƷ|?//;[Pvؽ32X/q` -]{wf{VALllgiE,A7r#C]OLTAôYY4.BB2 @|/{4~swZ||%.+%0C-sx =Zg.ɢYNqV^!̐JsWŸ=E= #/ OWx?H~LJU(7 "s/)%dTޢQm0N7h#WqCcߠB7D 'qG $Emjܨ8o[ZoQ>.N@4e8pQ{d9%,yuq7o\đN!q%K"̇O"b;MSf(5qWd;)|`вFGҖf 10B9]#stTkBL NT1o% ΐI*Q:a /"d\ q}ߢP:f""OF؜Fc/l+?Y; ÀZQWiVx틡Bϯba>IG^i{LbTj/"c3ۊ4> 4hW ޥ: Uiw,嚍V=O"ϼ!eCS#ܴ_Q[y";gV_X/fl5VHr +xT#ŏs~މ޴ Ӡ i? 'u$+qBy7`sS|z6 /,`*ATI S]l`%1SF.f'n,+n3elVm߿PnQ+y6|U -l!\لgf'眆9x$ j$Ly ͞5ʔ+%޺R0ЛŪ|c=iQU*ї ,.1b疻ތ-kfi#,kaJU1:9aWY}[rDPa9Vv [2K Tfc5?u]vnkT'rѠk$DP|xn iAAĥ /oX6Y g9hWU@8Ø*1Źi¸v](;qGi'.FZm9mAւkQ)ͩMv3}l@LtmE *6 Y覿]Ö?IݧU֝xYBoȖY/?-g ibx)$jGn1cۤdqK+:&-sʭ\0f NG#q-`BLXx;3f4 ȫX{_0L֬ F=\mĄ%MY5YPlihV iYSE.t{=Ucd5cH5ڕڿ7@.v) (zc=Vǖ_'kAaEA/7&nI <(],%eDFz&IM!E9@H+urQ͗5iz}M-sDhQ }D@ƶx+jSt'j1aHn,Ns0bL!niRo~fz(!b<2}=XUTljwOjJs򁴤|*rӺ:hzœSOCU'Jvdzn_۶]\Ѳ/#TgCp[_MH,i!$yY^RR8*&[]uDm? iuP%%XfF,Fpb NkZ_^طY#To91ICemѩg޾p V/Y}+lH B&8PV1%l&0$cyom)V$E2y_/y@2A;k,|Gp7`:Wdйg`'9(?D{ʅ~ӗVpPnT.ܩi кe@FSo>T_WO8-I$1Q1]JQu-Ųr$˜{cn۰Z nmx9>A~ P<6ؒ@Lx, pmoydmk}[#[oPT3,ާHHʭ2WNrlQX{klxHg5[v1ȶ:<{Me`6p*xhh%EnS#+X^cL5{:>jBB1KԿe/J?3J'ː$lBITsOl. I+$)QThlw,Ck{㋑aqת)ų?7F'nn[\شgZh$ipmuhj(1yG[K37 Ղ= Lv{XfV!O4@i3d~cdG"S ܥ Ȣ06I0 Cb)w ,6XʙpSqUP .W@ ,PΝ3w'ժ{LpW);$lazfC pNX|n'-L,* f]7`;ZQl،g 3s[Uϟ{= `KlͪdMW箰AW'CZVi)&@j,?c=E?b⊚(C∮0v ZBwHg%™|a )d;~TU` \`\Z%^eʰR/,k)eKd{s$T^d_2Hu05eLM!DV uL(b ,eřՁ zoL;̇7ׯsIMMgبo.®9:  U-tNoi9a&0TAOwALaMvXGNT7U=HD> 5Vf IH=NsVIA$=D 7G!ɕNQrYj_Ӷ2+dTЮ+_̌&:7jDړPE\h40JNSEtg];"+ʽka/$ -p|%vߛFjYi$X$ .Rvҧ >^ L2?PZB_Cu%֩(.l0z'EQSk_vxT-048Z^Csvȗ\f|x0v*GdM嘡CA@MF5~A\׷h4$\CY8#`Is4 7Y8^) &zŷ['fV18K'@*93kL' b]`MS#ae!sIOb!~9TWd;Wt]O<$A%ԊNz7[T5t]:pL"i:9 ͔݄ۨs[qR`)2 ,*G"E%=;J;9w`2aVHǙaAkmsM^}bB|CBaW'Hp2*ː8!p\i5at1zNP7Gh- ~洀_JIf)[Sޣ7j§ uTL\M,$ V,+)OeǀV'@QT/4E3]lx<3*@4"I }0 f7Q:}Ӈk;c`=c #*4 !yN?ݸ4xnzƔ,زWGi(X$GPC3c/;c[[ȥ:t\(]qׅT],--Oy(B4h`Ps\~&*W; *5J)Đk9Բ<`$lkf_)$Zq"4;?4tp(K{8rSyb極cpJ樞~*D̔dhi2nZWe=qxn5ur7} mT 6QjPZjDL1¶F ˃iK/?SikBp葩iƔֻBgp"-; Qa1H%'A R׽0teh/8[?zaah=?uH:is!Sh(GZ ͷ1EB_Ā >2Mb$ԝ*ǵNo'fd3lT^?s_y;٩m+ƞɱ4?mV [npXjm&}ҘD'\U×rmbBH6dͭ`ޖt_ > 8*?|hT^Y7C)$ f^NKEe/^"8k ̳j`Rv5Thgxw\&*"h_FtET1PFGd67^+΋#7;?L 8v̹ JИ 5rU!%|M Rw,ԇ Yغ1J)r12ǹ6f/T,W'vv4XzadZ|м<B ̟RJjJ+\(i3"?Az0껄N\an0  Ri-L&װ?qlD@="wJ@3Һ ;75/ep$3)s<|M$t# ׍E}9jќKx0*rۖM/tO\M/:K۵>9 7bޱs)w[&/epHWZKx``c'4nj^.awr'B G!lfIR&Y;0R^'IuL+".Ms).ṱ8&\=g%t􊢎_QPf,h;:Ry$n4j%ܨm@xP$۝VqdIm4O`D? |OoH[䛣?OB`m_0u}\f00cُ)'rU8N 0!IY80 vtà3Nѳbp~Cu2QYm#M[WjK gYZRdV3/hK@EލEGy0"Š~n¢*$1+7afT8 90 :$2l$0.Y*:u  hm+$c٫-$Eiَ-H)RnXTހs1G?&|^XOٝ"XIK lIF Ҿ6d"M<]Z)2ɲ(6>%ۜVn ʖ6;㺡au  ʺ1&D7=!3}PTdzA#O$NTEHLwkvUp,6k."tqp^]B3FՉ!T!ilT N^IӴ^-2P2s3ql Q H)&j!#_Ǣ)h~SҰ8Rml ?=LD ?+2!uȅ)BpZv#3e%8"]ØR)$kᥚg .:F}5jcw jV}#9A'ņ8a~%q! H՘Yj&yn#dt#i W%j@Ö^7Cx4 JɔG1dJc\(+=j5bL>{}M O6 9|%q7⃃Ou_87k4,m:H&f%:,E>s>?Vu|Z-# F^ +Ŧit8ȁ fKYIKu[{A"T"ެp7ʾFBq'>]j8)G[v$MDr%ݩd_#ǿ 𦒵Y<k8uYVa'+` bV.,p۽$F (pYl]rD$ ZF#-"?t&oJնP)3< H ->0.Gçyr\t,SRd+! MG5=byϒvw]vIw(s֟1E쮶-}C<[<+ĭ1#Q?{oW4nƟ=Ic-Kf9?ʆ0a逘6z(^~ =~q7zk끩;_{en $~GV(mlc喈Txh+i7;p:"p 5IZgB*#,"r_#<0Fx ?hGZ@AġzgsD+$R qV˻#HRrRr1 hUUF b#~YJGWS"F=!hIzZpp~O{6G{vk1 ޝ@ Gn >  U>ᴞiz2^ɴT0̺lIT6xDio\q.t\GR9$g* vn)~WuXkbw`ۡkaRd^>ƻTv7a݃v^6cݪ\GnzWbIYpX/Pؐ`GUc"(bIF)rʹu%ezFͤS|1MD|v`<3Bc=Wp 7 GYTZ6"y̱Llޏ;Ԫ:.I5%rrGMʨMtb;*cqWF CQh!:_ >dz'Kj1Yx apJEwI>Ծ]b9 JT<]Jqu4Wv5QrJH0I^7_v^vKj0vRs XE8)$I^ͷ7e.-n"+s6z1O݊&<20H( 50WLl@X=&c?n@Aj M;[;HH .(I7߅n%YOPGn`ͰBJkyW;U(zKHH}} Cr$NIPܛcUAb)>ai͒ңDc=8[Q OEA۴){;uWRJsS/)38.SznܴԖer Ts,+۳2˅B x1XDJH gYZ ++J?% Bs/^:*4_xǾ5}1ڊCuF&;ngY8"TuGk@13L9kV@<Sߏu Ǘ>"*ލN D A[P+r\ bՇWK)Po"tc>8u2Æd1t@Fn %bsxӋhrQGxdE (х| b%2jʚOdAbD`ҤBq/Z5Quyqsy9$@on cn~KykڭyҜ&̍K.$n߯Yv(T1`%Fv.>ypmF݄1.CͿip;tA?b0nI}ݳ0h#g&S"B}&GBVWLT`X6V})VMMMBLgLr.!h~M'\Jd``[L=iUyz,$w^zUS0B=nH3Mk2,X0~fzknC2eF]&VTπt}6U_ǭbM:D*.qE"#ǸZL4vV -'7Y->A]~!&N0BUC,.vw}FrGY! OuUZLmGJ [xS@(O3 vE\ ~wN4tq!~8ڈg=~Ɏ{ĢJ*CP 8 %yK9dtyh\R×-[k|.<=pQáXB'Oyqzaԣj@sP;+%>/sSp&DZYDG?pݹzf/ݔE["JV {#F)ȿւe\#U`y!cUOnGťl#Jnahj*Y QwuSG/ۙDJmĂ6hJ6p\=+r+ 'i-m]0`Ōbx: \-B}+T"pxR*Ut1ɠ[\"g5,N#i&mrwq]oMi<hIv_!g~pZB(#Se5*D]șG!XDR Hޡl*]| x~B,f;H~l,VdmYi´Rӄߤฉ!f,=.ٜ|YjRgY t^[1<7l4YI?ΥN| 0=ݨpfuEQsz)OGm"|ĤZ:~V r|щx4s/ѩ=d@޳ȯ00"z?e#W2 1X,I^9NLoj )rY\$-ƞ^/bםֽ uOJ8кqjha%GK-p8L&z!& ) #Md+D[<7ƶant{ևH8JeJ% t ڢ rDŽOmP<1(r.}RT4#7_/ ,\͊"KC/j]pqD^9ȴ^3[tD3[SQ$uUրHRD9JRJnv%ϝ}AJZOIXvv1nƀZ;I9f!vSR-݊*t߇ϼՋSq\ $TS)Xy=nLz[򧮐šGjdlSq8'޴9l.fGBe#/ +ESh\Ƈ? 71(NJNk(=&J\R [7?`00_﫽Mh- 9'I3W@xPWg`anHG%p85*#`>pUNMEwyu4v!V5$[6⚼E'%{KZR`Kŋ#L#A_R]fe?jWQOi!ęiOo,pjZ&Gd]6>E;pw86MlQ*ߛD??>(~C\#]2|IC,ɞ,Oo>phUQD۱ʏ"R!gv>~DV,Ǯ_qL,. oI)v J/ৈoL$}_HR{+p(]i93%u3EfQy\"mA3'xKUﭶE1S}dW'-Nm6YBhJl#uOIZ]d㺫ӺM&O)|xƛȎ]oY{ZKȬd Qh40bS+^QԬ (1OE5 0:+mc-1)" :|"~sZH+9"3:"$D*QNgݫEN nP5XOgEW9#ܛp~1 #& g/ !D s 8t`Õ'^i\]!*F/T ⌯c86rlz)rF(/2v:& ń隷 wI~CӋr/A54.)XR`δuDOǓܫÉV) z0j"n ~P{8La@$Ua0| ;5j1L؞ ޸8:bbtcC2y(QXWyL PX곊OYNxmHXjCYڼ mᴀXceCKPImkM+F|`bLgy^]AS'Z=3}~h׀JEzM{Q:K.Fg Snb ,@|ebE .ZKHrc~Br`}—Lr+c4_)|`Z^L61Ccj[>̲&EQ@8l\CpOϠDϒkQ)_P'fsߩiQ2wSKŧ, 5wG?^S4|n:LX2Xv;_l}́ޠ5_ F.vuUBٱ</vy\~D?ش9K.]p}}z6w;'mV7TɊO#pө]^M}z %Gc%MUL7^̴(윾lpȬhG@b#z` sPv;HD?mրn^KِNc@~MĿzzGv/&Ads=UmGu8kp f.^ ƿJ`Ylr'6 D7+Z)#7pƘ!{KHP#ؖTgk@o; &"~[Lnر$j3ؓG9Y|PK46<@J9g.pzyho>z$r4 (RF#yM~h&>2L/]c̅%w޷dF$Px2-~ y7v~iF!W̴M³"96j׭y} i֫O"m9^dPo׼sU ׉(;NPՇR}P2R| hu_䂴Q77t ėorKaǻBL@/4m͢)=6Zδ;e#1+Х |:<~=;;VLB^a}Ȳ_ĜhLx>2~v^d)I+@;CȃH)Dn|ÐMD`;U/X"3^?S/393okI,Qc5jS@ on3 9n"C,8qymax)|DisgciAV%k%W/\\Xid֪g_.ۜo`L;IK`TK|rZ sdal֫q i9+/#aߚDP3H)L%2JPx#y$ =cY5EexʀZ=lY@(M{t`G!Smoq U 찰6M "YCԨ̍4B?ĬSUVcM'4S0qؽu]B8Sr漴Wʔp2>I{k ^z%>DKvç)-|k˞95E㭡G&N׬FtӭפDiTɚWRosFa ;bv}c^oo8CjNRȫ|8N+I l;sDTS]4:oʥ-yb1G|%\{ngQ;cmcAv_nnebוhn Q/K K6e2IӚ{WEo#Cvwϱdw#΃##Q8衦L DBW9n61o3Ċ9T`$ȁ}$=A$ 9 QU ׭ wa37OѺ E]xC_5qj}2,ŅsbV.;C6_LO\ˣx*eصJRL}1'v ~e]kI/!mrynss6C~;ݱ +}rgXԧ}?,q36Rܹ #UI9کnH>=po:< c9P6r~!e4z ')F)w[oG'cJ_`s`uGɩ6P52vs"|y*?NDo^rjՇDq{7cJ|8+/?ACiF@?YG I? si#(aT։vr}ŌU幙{{LI<iHljLXW8½ǰTBoD5-0.󂰩8vBϩnL ~#~P!9qb.8.W91N|VeAx:wgLl~OWJ}Z:#'I+5XEr AVkxAs@GOq?;ih8`Ji g9[6RI7;QāH@'Hڙ.Ф3*;܇~ KW:A_fX=ؒ ~H^.e}bal Y90uN?)<$ %~ U!,P' r;fէZoןemSMJւo6RH߿**/$K?)afBP@F }bH ڿz<=.ZOȵaT-Ga tKĖoedOd'"k߸'`(ʾy|?dY4/m~LWD-1JYvEMh6#J1:˔f2n0tN(7m53$R9vkyV,(ќ@#c.AJyt8To;0HqFZVp6awkZN+,DK@* 2CqCT@'Pf!LꋾܱcX&YۨdzVQ~,vdv]gӡQl̠Y](]@^P-d^"#l)/WΕ7ղL@6޻ݝs:{Įu<].l "gu1qkI?sd4֊X;1AW׃_ɊUsK%W`V`E1 _.}Nwk< f><(8O(Z">;Β1v 4 Uc$3:{o/!yGbA+HNjT0H(?4h>j36.|60DG5-n$CAX*VB"+(F`sS׬U@qGj)zUҤ L^##l 6{l >|Wf>a"+IB1w{e%L!dmٖ^W0[ɾr[_S_d3~GDJY3,%bGs| B?+hxge覕|3ڍ>bNR*3zGށf@ B7b )Sءs{ P v-@k ~dsܚ_@ }JX(@wP-I _űfivp 47 U,GUNh\d|)J$UKkMC㱛 ٱn>껾g8gg/q`iִڧ~qOijmB+3#Dmsn^8i_)tm~|R+F}I% #m?76.Iez\<$4EKK9:d+c cx~1݊78{qHX QQ#7)_;P:j]m;4嬑:㼻p=DbQeh!|CK8Ʀ6(D=j*\1C$<ȳ㝘h1ʙP7$n ?3kdY?rZXSxE{~cz6T<ifSIN(b1Wȁpu6Y˯dx*4Z! ,6AJVuiJ%}1Y C|ҘӸwt|X G)In-Qj#S> ^;1 &aF]AK`jYɤ = d"%B#8wՄdܦW:@)V.^~xk5$F5XKZ=с7c|_*632|R+m}YL.3.)"HV);}In?Eˢ W׸rѢ,+3oW_nJ'|Xͫҗf ^M=y9`) cF5CUa'FX1vvR>Ez7d) _1CGO!xq={M5q{i{I@SWɫ! }oc:S']!Z҉.d͆,?*#F?bEyZ|)ֹL ӟ}L?2Z1ZϯP뾚 Y{1* 584{Ng{M[$55w}2" "YzTOcQQqBqڶUSJ!ۢ)Q'9+8G?ZB b1P=q?lzR t&]óuW|02C gaQUlGn6g%K紥3aW!]|WS,`J iks^?~D 7bH59t:aOVt<w%X/ 0 /tP-Fw!<@~eTAo# W!SRCoiϭ(PrkN@q.!Y \Ѿb7VF~֙"eٓA|jFRuю8OKɐQy:#צt -;s{"gp3!zKxH͙]iYynK~|멐#"4 ;Jk/ȶPk/C3^bnE0'u>{ZMϜxSXPKp6La&kbn#vC%ITI;L^ue&r XPL! sO7l8 ,PYFv'P:;08RĵkN=-dWZܜ~{%b6'D%! 6C'ɫKqKp83WOŖTYr_dmme(@`ʁ F=-G;]t!G95 'p z_ݥ($(r)ǟM7g_y&螖x꣩q=B`sլR1]Xzɟ}˒v$>|$+͹fI{Tg5+A0@L'liK&'o{?j&Q_)p]6].{bG/(:76XԪIEm[ug1''Vw ABE-r ŭYs:6o#[LRuMHo-z#sz۟jYeq.NJRۭ?$r/x\'>BVN]6~]s&ٟ{$6C ;~74zN6Zp F5BO$}@ J*c4%:>ocOKYsÚ9X`cjl.ٹtXbCma<\)ɬ E%4s7y6 ą|HF qȋWR&JsuL\OǗ22?p-8Fyc|FD * ҇) , [Vyvg\9N rl8N3~#z%yeC/i ]VׯV7-b$JQ~*Jm)?"1~p0$Oď@*7*2 =ԕM̙Bzq+XCXN8=ކ1VGhϕ()}Q̭EF%&Y)Cےz`Z9vN5 =1}aW>d.~Ik mv>#3[W!X<|Mo/% MatrixHOL-Algebra.Orderdocument.tex7zXZִF! !]A-MՋhvG"uIBm5Ń!7!lP_Bur7s#yZ   7#^7_ϳeUx5-Gj4GוaL(@ >7i ]tu%ʲtyB⿭5HSP8# #ElX|Go4&[k"XT:DÊ}z^ 2[*tIyȸ{EW$A&D}􏉚)r}ѠϲFؠ<]6ځ@y%|*]^fh+N76`bW \/ևb!-&a o߳5"&d:y܂d13{/)[%U87cSG)hwt9ʌ_i&s uNB']ftY%SM$WbN(ksh~ĸt:7,WD'ƿV{snN}Jqͼz5b9NaGUڟ)6 Df|OhyØr|8-D5 V-\B.b^kYM,;3ă~q뚺$arQ~["g@@WM;Fn@ݚw^^![K]y,HcxpMN;صe Qf/f  hf¿,1=ִyTڵ`p>k:2-x~~ v\+r^y3!m* Y @rQN&EulQd,LԶ$l &/""r0˨ >n, ~.L,tC0aqaU` wIQ-.@&,\ic;9U,t%Q٧:ҴqAg3@Ƨ<۴rؗM? xc a GZ> Tcn@{ôCQ `ZzT E}63`&Varg_}[wƜ+u9(.5Teu#5"h ؎ޕ΍U\v2sFm!  Ak ;7OvUعr:`B)z0($)垌;Wz?7%A'tqL.wӬ1ش W{6OQv6a` ܌/S 5q҂4C7~bhCT) 6vGj)C{8@-F)csbW= A1Ȓ,x8RWFJ(w7{=1ʯ%&å)Y,a{Pڠn6ܤ. H6W $ Dghwǩ[pi5LYz!w@8TYF];޽e `[/@Oq @ QbM/$`ގM]`Wp%NA-u?Zr5^A@e##r-5$yCP(su)Wш@"{QU qq"n1_"CѓDJHK7$xZplB>#8q0lr|"bt9|Q~pU-j͙qGS@*9'K iۂ]{C~ 0zd 02zY(٣ MF/ٜ4,-" 5:)Īncn4-M,-tƥHb[C ri7JX ]C |ub"zOAl_#w{\Y=Q=~l YJAl2 i%rc4y8! Q_RE}/wFB +LRw(4֜x?VģJ]& aT,>3,fW7헽ȇWB,E}#%J}#r3Ą Oqnw!0T 8Iʭ5ljl.%pﲖd-!EK?:[ޮ& EFVk~?9-u%cK(:qX ZzjUk)#B}ZY>[YÄw~yY%i1C:7j/&H$,F-_E~03&6 P Eڈ`5^DT@wU8aʓ|k3 -?́9rVͨ!lJpgCH*VHV.N!,b!Xnx;?ovyS8 1^V > (u[#gwej7ˡHUMr=#fvOg#M/{j;dyO<cf#N\8Kđwt [I¾s9W<[Z)Qʻ3e zG\f2c-C b*N// %;i7iSbؗڈTEdU;cFFt4i27r3#46~| ;% $MatrixMatrix.Ordered_Semiringdocument.tex7zXZִF! P ]A-MՋhvG"uIBm5Ń!kAB}iI,{d0X :ZdK$ŭo z"_hX}f@AUM*FOUg9αI|CFXŒCqZOK%׮Id2 D9ovmr~|X}PZV5fƄk||C\JyV* pJkM6FkҷT=2Kit[Kp(%[V R ϶ 0Bh%!i$dnsH5fex..,QJocrsA ;:V<LK0JAA - L_$S,uK:n&{1_} QH-JpqᅤQ3rV=ksˌ Q8_\78A5e).N@fG u,TÖQGuWY@A&g; ^ն>֯Z'@:pKz-5қ {s3sL\YVH; 'N3 N#L˲JAYNx@џ^/$/al_C' spc9A~ݼ l"FOj{> ]Fj/uZ%ӡ ]Ad<8ypĨ"?mGץyM (2@.wh(Z 0ⷆ3ГtDOcbB7[__ SWa\y=%M,싔4ޗ}ie/8oRIʫ6m`U>(>e碛S%~{ۺb-=ybI$HE1@}yr] pp];UJ[O[!warlg`ㅬad?e+BmF)@3aP.v w%f2b}8$)D éǯdʐ37&NA׾85h4) k\  Kag;nc]p[<(sI?sJ&]{7\ũ߫!/fae& u]=|'DB&5'pA_D5{X0: Z,j%}[*8L8:rX^MRua@t<uO؇w9e.a ~XRnRm/<+7AP_[uis,ÎTMyVWR8ZuG.y ;!AZ;8{5{DN(Y$GrYĠWP{UQgx7O*[]T(TieL`e)GC`WtBaP>?oZTļan4#!IW]RE}ЂgYZgygV^poz9Kly,B?I_J~PCߦzcJc i%`&'mw{Bj=!JˑzM=EA t#,PomD8l˞Phμhj"3klO/pԑMPav+7V݅/As[[|VW#ʫ o#nˈE}H+:;+3:LwVj ̏g6_2?22F,vjqs޺, c 9,baFM&l@ +Cэ̌ޫNԂпIMq#q{@4/Jٸ5dv(} gd?$Hrڕ9.?T 5hWЪ6s,&[. )uyS?7oyؼknCOPz[2h1>p6Ab? -'!K3t<1B!na uCȧl%F,OhY[z9DX ӯA%2WmǂW` Yۤ^UJ@&K4xklʛrA$-4_)[Œ:1+hy}L/V,。N_Sh[UyI;w:?spW]39HIeJ(Sp<` UZ?Ut ,~DݽTrYIFml09 ANE v+ջ-ΗY+hp 3Q<:F%5t(f% Rd[`g z(ؼJ k@k"ʘ QY/Y*ѵȿؾ)tcFmݕD-J [qʓ!*SΎww@L*M-::6 o3z`Ss)YO3]amjwuSר4]d?oGVLi 1:G3THEh{#H!Ե I?Dz& 򳔎àNTbV&H OdvCU˪շ~F/Q-QeY|Q؆`Y/ʼH7V r~OQFQ)z]F˵|̸_LiXz+lsYNzMhx2ΑqԠT'߽ 3S$6oP,M9Fһ ;>F!!Yg`Yyba6G*Ἔ>mI cRt%9F%ީYŦG0"fO^nԾ+FQa34̸5Qg.]S|#2K4TpBRs >CjHdMa_^Zp:pL nO>]͎!P1^"^\R,Km B:AVoѽ^ڱ|K ts'(.DLoW YVj/);gxos%+9(는\ΈPX6?V ? =_GcFIu!+uy @|ÇU QeFGT[xlr.}ːM%h)!G_/ Pe~$ˁlV?.F I*~k+Mx  #֟b>b@}Xësxf5D( N/djVth %eQ~EPN^;ޔ^\QlB51lIZ B5.ߒm^w;|2J+ V XˣR8BL|̄-=͛b !l (PѿnZAqg'5#Ğ8r`iL A ͻDi(h?}|-jnX۱ʕOEȓK iKi`(mZzEv2fl& ,&o5N7!S̓KiE}NX*^g-O+k:%(*'EaZ;"nj* sZz&EG'1<='h)q/xAxXCv+.:K|GS_k?]&ĤI.s3C! 7SbieBo_hY׆RHԲ a4v: F"6Xw_wؾT,Ȕv=JCUoEygh"㔻/f%}pŀu]$Wy)l&N%"T&fsT'c]XP=k>[r@;V4t8W&C d2twb>x2Dd ߾1 ~֔.13JbLf,9[AqDL*E<=нD<\ny"łfxZ\z˜!^W}Io =U PpKŤbMyPG{L48{\'$t3]n58BSq*;i7_U]\r`KUb~Yʼn\0]/:3[:@ ǝR OϜB=轓w3 k$Đ_d!,a ; g%o搿 lR ~blݽF/:.wsTz-F(kS'cLT,قNkPtvIiC\{Bh`|8# 52 W&2j;gt]AA{ 6,\#q1꧛< HG+"lt8zkU4Ȉq (HbHi~{sh Mty+90+D kPkr:mb0QECIZ~tqt0rٝ+IjD;3qp˵g?+Nau>ɾBMDE!S# ?6,[oaPp?9W3?LgYZ7zXZִF!  ]ŗXiɟReDH$ 3gE= K0[ k+ GqP -chnȨp)0bLjާ"lKym.5aD my衁\<)/clrkGvvԉzBw/#!?aݐQ8a`*4"}oqj{v+yn ᆾ{~DV&O; / ZJgYZ7zXZִF! j ]ŗXi%;?%(( ='3v?4W(O8 <.zVW🙢UYawwy ީ685$ t'ԋo),AWj Ǐ3Y9N Lh 0 =qtypK}f?j8S F9 KK" C .u+ TNWD` @Ot 1B)C(RLbeᢊ.YKɃ_<$9c=pl.[蕎s; uSfRr:' u6~&W@%KQ%c+?qoq??H IRW@ j=\{j$@w¾2&&WxZ($|6A7 ,V"giug%J/2Դ!tskz'6kW^ ͿݧyGmBLÚ۔$q(}];ZVݧXpUyy9Y96$nBk E!ה!)#aFkPv(%Xqz +K` *m^8X,< -5p|uxaڣtw3d=tHGkd٨db3NElB75wf ވm1C ,XYgt@`np$I(&wٚam?yZR64w #=oϤiUݔD!q8*4$Si'B5D +ߩhVOP 7'fV;mlNLT<2,xo>[rxMrHNK5†{yuD0;E/_^v?^OeJ2P*¿EcYVa(jBkMr PwX.i~ Wi< g!beIwT1L7L{YFzp>9[܃ݜk3dtIڀ F]AوpGX=yl+{1P/w9»G'pi ;L0X(o31d.p4LA\`* ^r!C}WiM ˆ[YTIkQu8}*DPjs:ԖlqнȺxC_erS睾ks "6$v}߮d PdW0"8}= h޳ )\5,2L_no_4`G.+l1x8.r lmӲR|) C{ۦdΔqvO#T3*{"T.8j;?&3D]IgQzʳ4|gb5A~U@q+SΘsYrPQ/wgu# nzV8.>m7Ք֒#4%qv%=M2Җ]>cAT:jGލ9"~T6^}0{G <? ]d~O$TlEG(*_J!0o'#(TIa2Θq4`~'dYێpW:Kp1.Рvt( ɷb滋r-%,)EBii&oůh b-M޻[*:QS濸2Ddətpz4 &)os-QH,SE,?2ӹMINL?HӉVn}kMT NK7-JԗI9i!6{ZEU:wFEFX@'mյӝ ^LEVude9hnj\ǔBypI_E 3C$vc VƱd?^regu%~s=LhM`NU.S?^b'5j\rjKMD=@a[`/v 3\\Jd7!!d㨼*+nV2a*~WyBak*\JʚI˭.b~żL-MCagq4 ^\VBMEջPuZTԺgYZe458a2c283fa181998f9e6b3de5b61920efcd1469ca5f92a14099d9d0578aa86393b807a3c2738ce 5d409056603c26099742d14e8f0a43cb37242805 f25b7aa9bfcf042befc4f0b5d99c36328c0d769c 04fba68eaa9907a9e01bf8822288437342a2278cd2f4293adc9db9eaeddb978c33fedb028ddb057b