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  n ,$ ]S]Matrix:threads=2elapsed=41.948cpu=70.684gc=3.852factor=1.697zXZִF! )C]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxgP풶ږR&<3u|0udiS i"\r<C|ߊ 'DyKx[]6]٣^Kd:\C hoJB2..~Elɶ$"~!|s7.rqDeV/SSY>d }O_/5K#vXP\E!,Y#*ǽe ae~H[(r<:p-5\T]®.y \(͉yUwYϕWb }Hу@ng3R8$(|x)]Qų•}ߑF-#(QjYP+/؀M2`]6Pp?8ÚR˛jAHhN1~/ x* yX !   MatrixN-% TMatrixHOL-Algebra.Ringdocument.tex7zXZִF! 1]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 ?Xv.NHR D.%'1!,#Ro<=%< \yg[s0|xB&cJв7֛Q'Ao0EW~cE:4J:GPQK$T.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 /% DMatrixHOL-Algebra.Groupdocument.tex7zXZִF! ݽP]A-MՋhvG"uIBm59o'7| )(S 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 > yLe>&)%MatrixMatrix.Utilitydocument.tex /;%MatrixMatrix.Ordered_Semiringdocument.tex .9%MatrixHOL-Algebra.Congruencedocument.tex1?%MatrixHOL-Algebra.FiniteProductdocument.tex)/%MatrixHOL-Algebra.Orderdocument.tex+3%MatrixHOL-Algebra.Latticedocument.tex,5%MatrixMatrix.Matrix_Legacydocument.tex(-%MatrixHOL-Algebra.Ringdocument.tex4E%MatrixHOL-Algebra.Complete_Latticedocument.tex(/% MatrixHOL-Algebra.Groupdocument.tex;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:߹QM0hŝ--ԍtyv ᜶Ě Ac}-5Ա=Cq_? $:ҥgYBz {8fʾF«_VpF]&ܹObٯo{`ؼ^#$ږgRbUaxlQ/플{?|uJ/%Ca! ą- R6Ŧ ]}x+q߹=$mQ&C"įPu]'@ÛK3Do lY⦸ɷAMd|\<~z8yvKt uWE}wiԘys\][{~θZKYn$mo a}bWE9`vƢN/_7 ؐ'xYW(p$UI,9؆VM!ֵSO`&).;@oBEЁDUtޣ;ہ"y|GBXsbd;YJFĪmQ5^!OE/;xoDFXT@3MjE(LSgKrˢ,)sc@{YYp5/݀kJV%SǯEK BGH}`KVX]:0ٛ ڽ +“U`7z`A~r*(֡;J?- ޺i=/@cFul+U\єHx q#Pa-lN/is8ƀخ{$Fr{V}fV)K:{"t,eprT_Q-WG?g2kli23)6^Eyul7𾿣-{z?hsZ4vi@>\FJgN ǷCᨓ۾6G&\vUi+TDC79lL0I$Ξg)<9mtԁvx҈ <=u[O(rUy|曏S筴P໤iR|;z@4@EmnHԑ|#P6'l3IM)ي4 pW;1 _lF=b*:)詽3jT>ӄ h^[ <ɡ|pkۄv5 >?^b0\p$9{so~Ϭ~D=G/Bw*܏=]7;asL%Wq;Xr^:$2Fˁ-ͩÙKSHlanM/_43|~u˻?'˂89P`@̄Cwt.3$zH _A̞ܩAC-\.$xǙKdbщY;|đE {`u~U7lxNqBy: r^2쵩gAZ;-&\&@TI XyTV깎g?*( hGZFWE-V[`y.ֻ4 |vHE*lȞ ۝G:U.h\AN SEӱ,.&zT}m ը_Øy,y:ͷ.ڞzX<7Z9B:Tv~GȍG>;$JU/Z}w(QzOD{XSq?ޫGh6Ȣ'S nhCo[F8rJoAEsaL;Ҙv5v\$%yCwɛ6zU]lV7cw؊ЯbM:񌋄uɥ%o3ZN.%N1? (`a| JpcRrH&\;?s2q(=F/w;N$PH癷Q+ L`ʚv~&K7Xh(5+Q;!<^.MxOQNΈժ}S .2;`m^_:N۔Ol2X%Ӗm/-aO}nXm,d&˪Cdhomm$:j-:TӱrW{.KtIWSAT~փO6iV6TObGQR^-qw[4tPKQ & wlsM*60T+iT5.Y#prStPºoV>Rk}.I},q3]8]ö]@H;b# Gnq?_6^qu Cp~G葕Έ[i ,&R! ^/y$!">& *X„<$sFTX_3%,Ú;ήhqIUqe q%P, Li~;-.`IfKZF:5^uKsdG'u4g1-àt0L|J<,ļ9"b&tۊ/t UW9l*~N&I/ki9.:5mO6V62 F38@ g2^!*x#π"t,W6 pB/tH*y1tvlkW?ú0C`-J2̬)HV2%uѨ1r%8}+Q΍F^1)Jb놗/8 /7Vhl# Eb1,%EWNǰ7"GH-!iy39cUtНu2ˢXD 3&^ҖA}2ZoXݤCV}ƣ: TC%U3ka6DLݮt ᒇEQ`:0^ӥۣYGEDU^!J\ă_B&bIQ2Z{AbB2dl[o&pvShkį١=j Z͊6Zy4CtѶb~4V#~iM2 ߳'9 Jۯ.Țrv*.w~(ӈVAڻ/h" ƅn`swq;vA1ା^tA]KvfAN |9 A5u:3Hzu[pɽSW8 Nxމ9E]tB"E9bUDO7NF(Eع pشYt1:x FmAa+PgT^}g=&ԺՐ,rf#2bs九W\J0I 5KOi\G׶cC"8$p8i_-6HY,a<d=ʻKPgZwGPYhi`R0.? ⒄˟A E])'n҈L+r u7@5i5qm~d6c.tJJ@Ӑ'buw&\&: At}F+VJmCKIk [ "*hJ1OW̪>E6\pA/@H2 ZAlkAEg?ax }he0+0!;앗W/<tMh0rWVyͶK/2LᾼZrJL2UfDV faѭhj{Х6_^a61I\uE;:.>}g՟_ǿҪ{Js4~sEGH)q#P8l8X{XhA V)j-H4cQ&;#bSpIּuN^,Q ܪBn nJ9S`d;16q@vFJ'aE/ `,rbٮaDh[ھ%3+;k*C-HCg! TRhg_HmMb$&{V[Cߞ~E*ԳΑ*?6/fGeㅕf*n-{#>OJ <.bzh42n@dP^$vEt/ڀ\AzӬL$**U$q9CuRhЇ8CZ@^gR`4ە^VnVY_ 7h);[<4I$!Ṣn])faїK */AW."ID ^ԅR V["juQC[ҵ&ؐ q1WZR2mbIdkc"lbUU12RfR/a>a [xlE̼9@_ dVIM1k[9-֢Kq? K#h1aGf$ad{jDO3xC=a7SP'bz* 83 mDއbU_cBgW ~^Tz }!AEnВ%7pN6/?dK:U sajƻ\Q M J幈c-7Èʱ@zڋO;V%WJݢ#H 5W.Nl8ݘTkL3,p9WS|B6wqsMpU#6CD*ja}k'XJ):f VDv~[rp4nE&(;p\ox]_n|Nڛ3qDY^`9O)6KAHe>~|cPvBsj3}EiE:vI bfih\1GG)92 6u@`ȞSaRsBI5.>,HenDk qcu4ŹW>j#(ǯeMm´[fLbSՈwMk3 UPq9/-Ev 5:+/ȷ[. °9^ATo@nhAdߊs5˼(֘-&aqi2*HFwFc4m_7󃃐lHָrsbŒza: l[q3/U%iԋqXS+,4.?7U (hMot/ۊAiUҕҲxa//0U, Y}yx HZIiB426ZoD,-8{݇#YCYfO,H)QBtLw; sju^@=&CXՠSKjY\Z+ԩkr 5UA]v{mt r"6o\Ż,irc茤7Q+fuqO_.@B1f>(^?,d< j>7L yW;V؍6?Q̘nmR,K9L˿E#z"m Feot4<8ǨxM=-L4e>԰N k7e>s_g) Y ^V0x\O ǜt{WO861ge 78Ѷɍnr=Pq=VԯבԞ? NY U}M1e3!H3FS.xU%](qj5}1ṪtEѰ9|WᢖXZ+&'j ?zy/9p]uUMw~+knH};b1 B8[7%у Иjݢ'xO^S* c5bJerD[&DV_6!  R}JfJ&GߠC#Q37GO"ьF%w <Luoy񄱀&̆2aePL=RpAi3OF/?`sREaH%uUs>]xd#Ab]2 qbl5􈉪.kN8‰V5b6q(fb@ }۵+>dV1Sc-^Rn:-f*]Z]O }&M'/﬍HUlUP &rj6Cunu.n3?ӝgq>wy,ÄN.6$c,ZHHsp\r{,0U ԰Jr+>D.@l]oT"K{x.re(m14T&4A6yi7}^R bLAl[;Tl Iqަ7ά\Uǐ,O*qb{Fw,%~tINa -ܙUy^tE#>~^G I VXTdA|1tN;#hvn'Xugr2WG]Wlf#MHg~5=а ABTkط?†H|[uG5JU'wI}T)%Cڼ|>"`8N`vnA\2Z:R'R$Yj̑eu[^xrgQc 1܍?7n5V`` "oM"8θYF>)%Hc^ck>R6_Iw<7̣d<Ȁkr d.@qheXr;Ơ;&C:]7fߧT O!EOQMUղ٫ ZEB)?+XD^ IcD*YOȷ,-|c1;_njbГa\L%}^g[E {ݫӘƒİTfT+츙2/]g8G mw.Y*H_5ߨWw(a# MGRT|ÆfEGe+E(l/8BGX'QKA;B*Om $\< bH-Vt7p=Mp^'~mJ$tx已=M ˉp#՚fu(1a%>a7_ITO ]І zZ3hWZ5q "9Dx[h릃-Y ٰ!z3dVMyZunwP]^ky) Twb"=yoKK +0$"G^5,}`)z Is,'7 qd'I:P üB]]ɷ8e*öAs<ݬ7??`úq); y(:,oOn/DrgR(W] 뙸~jl7fTZ7驿>vFp95?I07Yp'aw*SL8 C1dVB ˅&px;;%69\/-k| K1WƼDQ,QYLfr0Y[,ge,ZNA1apvEgJ$ !_5 !`Srh}$2(@p;c?CJR}DEqXml$ aAlϬ cǾͶ#s"gb/W&R}?Hj=ȷ9CR\8^[p9ַԥL1[]/X -My,9Y}83RYq~aZ3BPb3~3; ]cS)rXQh;(*++Ox~68/՘z Qށk3@ły&sݽ5U1:0?Yl_5X?wBt'Q/k}]{(5f1\4ƹ7Id 9LfTc(@<Uƞ?>!hӹ; CϠ4"24j%083+!5Y섻4w1#"_/Z383!J]HsN )B kƓ:I,g1KteP"a}aޣ":b]ڠӯ48P.s{ ;¥1(x/1$)V(,pZ7&ܤ0<+hVW*HX%VkAlT:(L0 E\EEɖhkJdc!~k2! IiBqI3o\'30&QTBW9@ON2qU)tho|\[Gha t,4Cp?L \ܤNGHyMwT&aMJuCÊ^kaPM'Uu;Ymtmg:7<'gtBcBP'Cyb'l9)mҊ6/nHU'L~`7^৲V㨢~#2Jx>E kA="A>?aN`#ݾ(>dgv+ꃎ (Aٵe97arGY ^j.pr׋.\סŚ6(ʢtr"EZE#]GÕQmX`H~MEoؾ@soas^7{t#EW%h4:96ΛDA!8"YJH?]^Z,;J4+H ܍mW秓 XAO_uKTlͯkR{ݎB,NG]A<`I-φcA_(*(IA9"Ej@˜?i]j b]d6N7wVD6-281Tw/jZThKxpAb^/#M@ua^ϟlc&eiԌ9@z@o A;0޸9n Zg٬N1uUoj ĪsC9);TuzCwEI=4izCyP0P- W/%?NH2ɴL{@ĦX3íB_zOK!\KOV#9 fw#M@rö`1*O5Jts+-Z.Ѱ\~T3Gp{0pa> sɴoR5%-c Ù2BE::N*̂ >zQMcSvWI^_2`Q",݂{ 94q?t褽1PRK)8OHCڼcwM}V^^ߪޚ]= y"31K.nyr' KQGrGb-5t7LbQK ьL/Lf}sL Co,}d۶ja1sͱ :csdRa8 IJhu46c(BIGlR+q07: wGEcoqek!WJ9G+<," \`!Syn(*ʞ42 `KFx:J9jh5ZZ&&W@tvt/tvBňl¶`X_wbHHrBK^ck%Ǩ.GNiz|]1a4$n=0oc[͝^k ":iF>zaۍ2X_\'pFTL 륷+z#kjxj:`!b B5 Hi\.̟ =bZ. T vH|F U[0 ea]lI+VA` w&۱@@pKV;"%^$]aވs#c2]׾"?\⍙%c.<̥7CtJj0<-\mLk= pa$,R؟yNڲp/bWtSCXH3s:!NQU##wH9E*A\>xXC`is?q? IcZެX!ܔ` =}Rƒ'uM< Ek|?x{J SWl:IV\h3#ԔdZv ٔW*g||QER A1^ˎ t䃾_eoF|t7.d^gB״!4~8Z+K%.  9bdXvL;OT`}ʳjvL@=/BKYDoog )\lPXuF#z5so8USLs,wW轷v&g40ס1 1zsIҍz[WX{%:>LoosrX0"O(F~\tfNSOg)s[o x/pm@IUKqk6#]l kZb MJ0G3̇3; ?7»8٫/NHH9ݨO9 ݩ{C_,VK7MJFXH&.NK0<1I=sSt3Oz $5nCNî%C(iQσTcoPm7xeoh1>BRvL| H-T56a6g{罫u>Hܚo˗Nj.$h=O[,9=/ʩrk$f߁u,B$nK\a M.7?@RyՅq 4mX,_lN$2|yA)G)ꋿ?F׳"ZO+*k4jDw8!GI$:ef8V:է5uU~ k%eOR3N2(HV@uRq}g֠[慦btD!c?$*je΂veG" gǎE y2?{XMPD-0}U.8!eC&fJ!{.*/+*fdGObc;QVG0Nhto: ds6Uuh"ܻ@SZ -#^o r&8 (%=Ez}KIG6+O6PEk\aQ _6@ ?|gc1609xP)ؗ[ mᬟ6P`%Fؤ>d-2](خhgfқ{a0Ǝi^d8R>y$!zZy)Bh24p P8$so LݑDl^6mGprXnZLxo.s֞|L`<Jۏ( +H>8m,i[F&k% /Eѻ|1Kz)x: =Fo쓷_ P܅*2 IpO˰h],޶`.R7@$b ~K:M_=A J>V >NtҚ~L%ֱʌ,Eo-&ɤE#ᑷ.N{{jT*jraD=ýimI>ǚՙI!59٫G(5;>;Cvz⯨>ޗ풜R]Sg{t0=yKlEzlKm5] ےinMMݎEM{&=@aJ3j-AH$F^}DʔwRۡ3A8 x iFsL~`I?īKO[nww?PgG`ez~&A5]c =/v\(h\'y0%VYYhOzp]aЫG0iG#8f^C헲eyiZҳ F1](> XTת}"Cݓp$b&8Y1I7xS|Zt^y!-k"|鼮< [U]<+"we>(5\tg6&Э84hM0<0x^(Jқoj2&Gg_.٧AæPao4쌽 2sݧ \b fvzej!Lf<, j_ t?|I] |(ь>KEA {pS5o%$gC>_6ʇ#B ÌYU1q, m/ea_EӼCtk+)z2t#~Pk-!$b=X:n%f! }tz&J"n6P7cec#.  ʁ]+P1HCflnhfLZjPDRvw; `3}&~̃MCQΩBFlw'" AO LФ9p,RuNH=6S_O]v4x#aOs?&C'aľܡHTbv\qsWh>ݬLWnž0"Al7  Durfl-ja!@_jeqlj'*^+wj #[d9-MFLɣMCɼ&Dq̠9KL K;F|LMڂh-b[/\c}c~Žp;սB[+<ښ RAc E(+KC@^nj JC2S*Ħ[>Z2,@D^V]fPƷvnӈ)lhå*x}h%=L!Ldrz o"  -D@ہgC#J7IJ*~F5V2IA]@d_oh-_WZ^R tYE=f4m)pM~;,C=hd^/YDoݯm=m(:X~\PE.F E\8u}HKXbobZ-9A4H5 m\c<4w0W"=R>b0gYZ N,1)>|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!gYZtV,;!6,I'Q28@)mV]K\yeQ[ \[ ȊD{HCA !$X]:g{ض, n5%?9\dTrHW,`fdno 3)}dk%t$i2i^/yI6jGFE,,{AwdllMm[= /e>+k}jxN"–l%1T$bUCc`|1~㷬HFiŽ*FybOH3|`p%$&'%x$Qj^ x"NewZ4X?)xC9y`ե%#N7) 5\*f@ۋ&} (ab}ԝ l zCt)J_qE_0P 0Q 1CI7 _&g"%$=1FCY=j?ӮC6b/ޫq&a-JdŌ&BY;P](hcwfYiw\u E@.WpEHjDnDvMuݏX*aϲ2On}ۓsd9Lrt ̒~TV>V2o*~JR93u wB0C71X\ T߳5cR"Q$rz.N9T0=s|I~۝Am帤U֯ CTu(Z$ܣe4:pܻ(uUwuZ+l"ĞyЧhH@fgT1uqEd1 $* ;B^Kz3TXNUx{ b*r ^Qn&'KVȨs^㙂Rb5xխmCuֹBv:gXUp1BS0#Txð$ʝf~作R ="j֫fe4\Jp|VLyyTGX/ V+`plZaۚ党쳙-y%A(.oay^ٱoJ)>\ӤRס&CA,+WJe(EJFeI M81%%BC,s/^ kz[,2 +V~yn§4_;vkSm;y OԘ}^\qR]ի/N-jƛ/aS,I~\>0g2j{Jezr]Hrw,2}<riksH֧V^oE%fHw^Uc,i*f}5 p : =nX^ ߲0ĘTJN.2%/m~iuؗoSMjuWCEĎbP0G;֙˺&W#r~`VCjZ2mɪbEKa >Pi Go_pgY~Wh<y2%B~Ms5p0βѸ_3r|tfƑ/.ZlzR_Moȗcũj8m Ȼa'oVġ6^Y"\D绯Cqt5Ɨ8 Kb nYRH#cW"C< 3Lbz l9]kI[pBAH`'^8l1ʧW ~3=Ws#yqbٵiA%׮Uƾ-sW-L'$w>D{ {,+\"nZ<& IK J8+1ao$1sե\}žfvQ5U'y©> %hvpڹhW rh7ȭ@w?U}o8l~ջ"W  xG5 tji3AH-Vx!=bd9p E, 3W& O: m=Ԃ_ǩ)i3} ȗ*ԋ*mDcPע-5]uPbzoE?dH[N;'ܔcT\ܗHRK&=yus̔h\T5[-,Nu֓w& lfeMh;n7tC D!ߌ.^ 92:< Az EmC6ME\{& lvi(x©=/2 Z 'z6bW+]HЖ.**CR\Vfsʝowr>O-XKE10R̯6[L)g>sYld.| }EV(@u3m45 d1K>DDB {/\>mm#3$`Q8K"-rqdhĠ>bdOvzs&L.Iv%|6I#<C|n5`+H~m hƖ̄Gw؝)K *K("AaO~aqi8U>chN,lִ~GgyD ;b͘x)0; Ll@d=7VkVK>ƺDwTd,, /4s\],9E2C 2* mHZq0JeWQ$P6B&QF"9Ri˩^~>i f-P.v1Bn>jiL]yM QNx;+eX^8jX8-ךAk0j3a4n@@vBd.e`<OA ur 01@Fva) Q*.&&vdai =6U$XG(41H=}<e(M BqYu"@{XY"UoG;_NX8,K$@g4L8 M {E:϶IEבb8 2dlAw)՟&cy&&]&VR$bDi&\3_f]kծa"{PN m?Hd_"? -ng;l'y-( lDZѩEƴ'yt)LշȌpTv\@i ŗܰ|4NLmyӳň+aC~#o;\+I[Pڃn^tp<-Sg{c]7q`qpm͖lFok+hdS0,/ %mP<Ǽ97:H̥a$<) #^-Б t2)wNUhyVE?].b~ b(đxp;) ^AP`VA4>baz,,Bu$2V:&,(*f XR +?LLX֡Bq/$t"ξfϑl|p꤅ nR /⵴ٹ5[ޯ Vm\ T«1 A^ST%=hb>MζΓk`4vl[W*F$+U-aŕJѭEawHb6 x Ӭ\]YzO PIK9`hg)u[;6 ok !=C9nfn`SSqҪ_t]y裒i.:=_(3-LoVļ^Yx ފr[9}TQDg/31F|nsmoNYL LQi(.:бTvrygwn_U=#njġO$laߡ<Ȇ 6Oig8B6 [ky61 Ԡ_.+eDqJ<&r=(RǭH?T~$[@sp~fmR-=^2}WEs.hK4+8e9TU1kf1<j(M/|'Ȫ'd~4<>0B٦f+nEDp'[A0&`&}(N3G,{{xTO̪Cݽ!(XG P۹sfŽI=4mF0]-[L^fJ8 %sA Z|G_ N)Ⰹ/7aDm2Ct񩐹  }0Z_6)$}d&PwAqmGPՉeK\LNᦫ }7 ! ZeU˳AzQ HXj\h Eu:LHt-$b@_J 3P+BǝCMƏAZʖ&NTZOU$f>DA^!LKV҈䮸?mDbxLy@20 j"f0G{uBL x`";i3],o}Hҙ gnR>8[ eL0PϕJScγ"ccqER!w @vRt:kmD>B\gyi0*%9);rdp9i@{凎m5)IGeTmvczaJX?ZD!-Y{EX5!Y]yA&8x` L+pѬSdYk!JOpcT Ű&2g/ <Σ!դ_ϼn6fjĹG&s'H 3vQ̮/&(9\`?:cms.V3C-1Wk>N6>a sPXy OhIj]L&Gƨt,,}k6l`Z Uebiⴅa0;Q M;l,22Ǟ/USDîqq g~,ad q'V{O_w鱫@r (jr/gie[pD%aRqp66wƩ6ȟ:#fH*x!]5>oHr=v&(m;"oR@DPvaPRNѡ3tnQ; oL}aMCYb*4X]Û)S\81q<^#+G=VUZKfe8cn)? SyS-vl^/bJ`;y |cܸ5@]4ݚ; PN-]^XI2-ċj]w*zlO6y6Q@­s:l@v#!ҰQ&7D#]N=3y:?&[ՌJ!>G&m=dNC㥯Ӹ򕮀2HLp׸Ն y!(k`eQ(kryV~v!eEMQݯܧAEyiL&mXZ t0#Ԃ638H}TDQԐ%!--dT=WiMbL$1Q))>7aR@TRO֓ɸ&c Su:]+ЮwUU=tKYQI0+u`SiyT6Pu3pX6U@7k61BP#q xѤjlĿkXV1D:KY ڲu`rˆKTuڦDJ .1Y ~o 5Fr^{3¦8B8,Rӣ-;e=2lŶ 7'bO\k/$ț@ݮKmM_ SG1 vp#kjrAmVլ|߻^ 3fy*/ZP1xy-$S +dR kEj!‰bAi3CGnzjA.+#֩U.Ꮸ^vPB4,v^C3-uOS h9HIF@ \dS"?“ě$h2=A{^nFE,ڎ ꁒ״ܳE4G9NB*:pSc4S}ZN)XsXx4̥w=9B;Ae13qExkhc* iw'HGM҅Oӟr=uo]T/{DR ce>f£R3GA]yO]8s#nf$rTT)GX'oKQ3jm$|j-hNuRpAz,yO ZXO!"xr=@f64qu Bwq5+$RU:0cBܐkΰ" ;zuR˃R|S+ cK'bq jܟj.۔bwLϑx񖤈Rq|`'6UZRi8ܳ~>Tyg鞋Q5\. N1qLz]@ۚZSץ>mU<9d;lՊݹiN'Ԟ=sG=C-BMTX/d|tuL7-_O#1Y?SleZ3/m0_M'_9o* J5xaՍKtfC!ۂl4 Bf׆ۨ {®}_4(`_PlD7 СuGZ ;!/}D驡hQz}xeZaECUOH}5fW[/} 'B\d)Г(w\71<*"+>@60(<" SH5,TMAMƴsE&,SRN*$+Q/h!VDY` !g<6ƐdN5/Nlx XljI94MgxRs":ta_lgŠi1gǐ075iWz\9^O|i֫M] 4i'dZ\N$$ !Y@~n,Hx܅%s x6-h#͞M6B魯E#5yDZW[)DPcK-(ͻYn8 :֙$h<Ș.&WE\?|? Zʾʢq]ۦ҂$m-3!qFkz3" !M X{W*g̓f aPR!ࡖ _2Rd{gոGI)d;}NnڨqJ4?F- QiaIAvL-q|:uS f7Z"6m7},2(3-??bct6t;hRE|XoʼH˕YNY tXjq@B\4p /ij]= ,Rj zG)榉._]HH_q]^Lg,9,jRX;'̱GH C榳VuXe/6Azvd *UgYZ? 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!.WKtOMqpܼ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~RjŨC,g':LF ur97MWCTd14 #i+4i'u|b#@ʑX.E1TPQ5P>=vkw]„ɈZĀ- uo{jo:cr*֙Nk7}3\72'30O7###  e eL*hw*rw1ti[=7Ӻu=Dh'yԫ*x:75ſbV{ MRL THW+3cՠYb@N>*_ɸ AIcђofs<"(f2ާ Dc@ʵS˂:"WoC!#mpJY?ZE)>P|~*iP0 ],:} ՛/Y5%5.Wȸ;C2zkl<ɵpB;Bv-Dží(P"SB] {LG-냰&w~DÝRku10׆ q E9ΥONDBwgXk^50SL)|y# ] Acˏx#0Tǡ{h %ƶ80cK3Cb ,N5h@otD\y_|qfxmJџ!?Zuq"Ns O=6ŋ LHZ6s@T/cn7+㱱/^xo]>zLؗVQ`m@eY5NlHAN1#tgb=!6MEeЪ>hߵ T[v6i}e^A&@E)Ntuǟ pp]H/G:>UALsyk7d)q[*/5evY6fvT5CD1K=sS%U f{ڒu!?RSzy0TC.nR^ylmnem?|*R2z$ϧ o)xn\>_'׷kwaN!%y<&Lȏp#WaXat{z+I_׽YW=VQtq&?_k##Խ̳cqqs@"+ Ѕ¸WƯ'/똒10B S^(Jϯu_ v #Og jڙ)샫FW7؇B#oT'制ln[TQE lp!o Ma< lfWG% ub9^[ ~Dzkp[ !K/'‹j3 uw"Z{U:Qny҆:< 'wcHRY5{vGq1tn'rhZκL̜c`<.P鄠$6n 1.%Nx;Qy O-"_=kP|Tn=^iuPh#`^ if6l%',;]=d@—>Jb1Cʂ K?ڨ&B< ۹ݽ𼼠A)ڑY{_~;3|eZ[j6xcOiuU.&9ZӉ Kf`L d[%فtvR9)$f9:o Ov*6rʛB$ޗ;A{ Z7/^LDl(*3쪩л`~ z[6OG!Fn`:@b1#k!ȳ!{v+zmdB8.?u;&YQj*\tg=i6y<@giuoq|X4|LWr`GI|m|ؖ'HtػJbr?Jَ8Ϩ9JSq= =:Lr dOlSij^]PA[TX|cI:TF/ڟ+ڥs#V: ւgLdӴ;+ENBem ``J--XP9)zZ/pJR#SBIe9*[O1bjɰ8ٲ=[ i{>L4mȖU6tq}*08-uSP2C2DdϘv &~_ra(֓@4|a.q3p9ζs)&r#S {TX>cE2gn<||JiC RɮNeu|&?v),v|+EYkD!b`%5:_%T!{Q͘y9J2ǫ.ZlЈ')6_4^ >ہΌ]_p✧I{ԥp޼mܾ;JΠ9 )?Y6 tB=Po9>cQ.3I'0:QՈP\@g~u!5\or*tS&Η} p1 u+Ceh*Xh ܄[W[}4uë(2Key$!> Ï39MUfXPp`kҽJC A)u+^C?S~*v|Z wN=P&^ܑI ƽ=gl$)-k9GjA!˝ 75yS V6w3dMMXNi>}a#ch!H/%8oC2qM+u0Fw;mӗ$@T?I,`}=1AV ){Z/wD[ƽ; ) >+#u0M`~%zL ?'n!Vx75+z F?6J\&9Ă yͳxo`' fUfS gC[mu)unT|'%L/v۹,GjZm2/J/G_$X1~/Vqު a${Dٴ Z__n%lH"9Ja]ȗM=ɧj%v)`=n#] "DŖpl-*1fG{kɏnjxr&.;1R#8%k8X$gP6rv gO۪B7CdB[vsWdO9D;u ˡb5.i?,`ch=-$75؎"1NYv٬5O:'GQl݌¥dbVna}ش\)&jy[Iyi-M F2/b{X*GZNK+AYqAraõ~CcN8f=]U:^n#H* /_pBX8?%)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 /% DMatrixHOL-Algebra.Groupdocument.tex7zXZִF! ݽP]A-MՋhvG"uIBm59o'7| )(S 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 fo/% 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`bgvV4ZFZ[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.W5% 4MatrixMatrix.Matrix_Legacydocument.tex7zXZִF! CG]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^/Ɓ}'nP~, )J-n t%tr W6*wtw0}8O3!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+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$>|$+Gk@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{RdV3/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$NTEHLh W#*kֵrv?[Jߨl? ROymX~aG(m,g^O_開qٍ@ C&R-AQ|"8R%w",,$3N_ԩw>BS_?bTVV H){LpN-"tn9ionFG%NرlIaJpFrM>F9<>,W׋qoE '[KJx%@k:i <_oc@x(e4LVOR =qXY[2\97 /4TxUJ =94Iq]J$C|y҈sε83ҥoD?r}+̟EW$ (uj`@GJu'2+\D .D34F / g0,V|ґm3KLVҌB)r7ٖ9`O"dѢ.Q=,Rj%V8Av3闊\8(_ u]㎷/~"Eɰl[i S[bҤy(MXeאָ3-CW>ZfČ~qiN(of)`Œ%W(>/DR^׌ǒ+ZZoںeNDnN ̀wA7$vMun s9r>,6~ "J=L4BNC8kخ[| Ǿ s0IFmwa)ed%bEˌ"퐌E iix0IO\{ }MlBĝK=(`[WƎ)[g&әe|F#nJY_&Fu߻$" oꜞ4#8gtc?:_s*?x)5J?'" ֛Cl@wU @_0r]avD~BYD+%Oa־bƈqspµOS6Γ]>}Bz4)4cF?"nٛ;aӹY ƯgpPtX(eϗq4dq6mKcyLۤTr(eqYJk&E* ݇<|)`t'_wB+ޫ&-ʰ  4JZF#PKXʠ6ʷ(0J]ds.م%8ͫU sڱ.ǧHp uᄂ[K4BRn*\jR5TfMUy`ubG{^4ʃvM&4l렆)q"oͦɐᑔD~&AȟS:ئZ?|>EiNەB):REu2}`/>djz:޳Nai0@etѫCtJrnhDԢ?|i[O7pUaTp̖`iuZ0OOxE~GЩrErv)#n…ƣ:#N:6yO SD1*1\eLSp ;GgwYpe1te~z^|GM)bRV?UԣFv+/@@_ ?T%du._§͜Uf_uC*m+u\ϡQ!ÔdޠeO[d&$2LNX 䟵fS'7kTp'R:a8a)HaQA {[V |(xfrf˖saLSj$p\/٢4%B(P>1f?z^h*k0!{+h;Zǟo0@UPfBIy(8x&^8"R#W\h[&`3Z̼RM҆v?Ք g\%1J|oQ&n } qAFlYnkt.<U-iX!,_˱qa-зaf~{pگ/@XOXUi9Cj|V]"nw縟sk+W2DzDJ`5%+v6kv/bL` LTܾ%>љN[.,:kvhq"Pw|@'@(cxN5t' Jx^!Z}w:EWx g{.ķI agP 2KÓ8* wF(x#[E[G/6԰;z5i\mR$`u }!aEVc { Ad(ƿQ^5_@I[x!Ϟּ#aظ1j4YG>{MJ/2r(߻DY+wd%nVgI Kxyp ?;"oVO%XA{9͡.ڹMo?v/`?.p3+68BvB'.H~[כ3^0FEnŶz1C;2g>"MC̿q Mp^ML@߲? v2(1O["nxS86 {dRډE ȁB67Ƴ *xLzF"~E?`Ϸ!t]3'C\jOFz?̤o=8QÆRG@Vt\geKIKQd貀`=^JH]V61杺9qآc גat m W4 7B^jU!M˕.3ʧ&UK>c#a+b;rn!YzsUq~< R unȖxu ã}VI'bxy!)S+_S1-\%@sz2 ಂ|’?A ݜK]۟_ j*Q|~aHCct:ӊjl0;.C+|ͶgU- DƏs-AoHV_y"@FNe޵}>_z)f#0C5mT$Bk$6|2?5Kf/DH-Vbߟ+ڹf+ RjՌ*ket9W21xl89ezp5ՃEW(M֭.`kJ4(_S}κ@$FV ЇWEҰdW ?+{GfV#TϕNb&|Z.[?yA]-aS1TLXZw[`T=c 0҃= \@/ w5T w;1ŏx⟖RMzEAF&ZE&ҜKȚ=%=$g1j[pzԞy+_GvC,h̚dq@2lx*,KYRۦH\ٯZb!B0(X.=GY  `c7/&F+P%<<@mصo+*ŗ |ڔA%W>en5e8ߑ9e  } Oip휎*y%$HcD>#mX>ˡ&Z@:QD/ \"H^;`6RѸ#.`_2_P+k \2,78{h/ <51ބ)%\EE+]u@9ӵvLhYuWjPcz{2E zgYZ  9% \MatrixHOL-Algebra.Congruencedocument.tex7zXZִF! n]A-MՋhvG"uIBm5T҅JR`)<qW/ZUb ?b|v%SX0߆)cl[zH]'&Cu}C!'Q4-Jf/t \F!^O9ѬwPX֔o.#ZbUxBmS ֭кW2\o4,dMɀ ͹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Ú:yo^vËbj`!̳8@>|qxq۵ޔb:iɄ+ٸ%#R O$`c78YzdYܡiH^11cj{sς=!6Eߗg$^g`{+E2Qặ23YɅN9Y_UNwlĠ>Sq5{0L"S]hi뀚lGD{W=JB 0V*G8 >G4Zt* epMKJZ-~afIWC X;oHP\+xItŻXV|H^&Bf3 6tȸz$/ڸƒRI\{ HNs 8o{;f_G bDܠƨװ!O\׽5BIRKO Y=`rdkRy`[Yr1m/Ǧ)zk 6WPBDO7E'VxZR ڀڃ|F׻Ye1q\(pB$V/2i]-x%Xq? %= CQ/%KGTL("@"+v|G3,YУz+ 9#M\/r js=TdׇȤ#bWD€EHQ3˛ 6= H^C!9mQR-Eptj~}M\fתna.Gxùxa \zgQz_`Z5xx'X7NN8ms,T(X%Mbk}9{L`Ri+:?Ƕ:EX iKrA[UE5@A+?xL!ܗvdi$-qJʒ!*Gի!<` ͛wVƞBxK̉Ziz=Y3SˮczSeЩBu =(+þ݈EqGXԖTKr0O'SÉWLCAk|-h"w>2qR{. eu9N8c\1U&;|+c W88í控?c';1ew}LE 4^CsK记ԗW=DbǤ~Sn·6L^jyK{B2vُF/awS й?:Eɣc#{9reD#oY3[?% \MatrixHOL-Algebra.FiniteProductdocument.tex7zXZִF! "h]A-MՋhvG"uIBm54h l@zgѥv#j"tG%r`^AkMn;@)b]ys& hko/|V gmr8ҦgGVbd+fdkI8CʋZA;dCC-tC s}ł҄h|E<9 hkg%.V7T &h}rA.\}ƾ7J*LKS[ZluT0VӔc_ZO6<3B^`(eى`7nә+ico'f1LCRc#iq_[E+:>Bs/^:*4_xǾ5w>c7v(6Er> N9xfpd;]y͕yXJұs(8rX8 Lb6k—* $ Hi)`O!1hH \>J8T]=!V?Bߧ$K\얳.LLSuٞVCy. 7HB/mU3Q_r2f6|L:LnbTYۏ mRZ[4x PiJf-]ҷOoLõ'\dann(Pc^~!PSSW]s/x4;{Cp[w<"٩xX4ku'\U jrA/XF_* K frP*S"Ns; vZJ ]unXki[³8.i)HQz1t v|D)%q틟pI4ƮD+G ^9hu'}`4$*NX#9PUw=eL#mk)ͺ&Vll3y4mQ1J? K).NWPl(T|jP^.ο'Ȟܩjk%` u76Le2o@ ^,)L8+Ŝ#g%5ޭե*}pyh i-n>DLٛ˜nG>lzF)/ֹ2 k)k`n~WaJGg IE̠>pp-3^CLJg|cAEdj[XϚ .T7PkN[ 3So]h?V{y:@Ei{6ng r&!)غBUv}P)n:u03nJV%{t@Dݰ-.BPJÖXDhZIa[¬nC}V.+DmW%F\gnXf%aSt8\_Oڵ*?ЯQ+ %v(qp9|wt"K;/9E"dyOmB /\pu3eUIk;UU%s$ouS}d#m 1&7 *6н$CI| uh\_uFu: JG1(#${V&ֵ LP[,ULóSхWQU#Id!20`iM ?ʆ4R8Mc3(ܤN~.MU =onHg8lB3Ē1I U{@=~?^ b4At@ ;Ad7LV>"_=) z$xQ%jY0qqKVE fc԰ѥk:mG4ascsJ*+T60}\F'=j&4i֕J {N;#YHXƗ\= "?GZtݐyqbVpt<WԦN}FEFW:+h {dSxF򷸼+kڢsYci"dZ~c5\"J z&ۏWA $~WAȟ>!/.gsFq(z캐7TU_]wI'T(Ϣeݡ`ϵ3{A$P,ѱ|,P<+Ga`}}Lk{f"2rs{rS@*{Mamvp#?RM"vߦV[(EctPix)вP IiV,R5-z^V :a'8ޘ7g!rNsc'9!k"@ɞ+Z \|?L,޾gڄjXH'F01&9k)mٶ~jy(3$1Ų ֽ?5ǖ985(j1=碫h9AbhJzXw;;>`yyP+;&ZM$8*!Io6xw(٬t#?O? Ɨ R{ާkb 堯DU)J{N)AOP`A:J )qh5ڋ L'JU --l, LxA iwyYz C>O E{JE< R3UdpEJWM)ӄ4"mF6w'w3uev*0,UkN<֊8S`X!VmF"׈+ .JQM`eB 7f{ҏj*jD]klUoKy#lnMٲ3Λ|Mh^x#yw\Wy{7tJVV.@C68$6n@Yu2:~zMe\F(Jt򁦖|?=D_ԐX&z}1&_ä@z[l({3t@u)\5`̱̚e+GLc7?t9&"TT[A[:ϵ-B@6ᠰUoC+@Г`T[9s;S,θ~5݊9{utQs'˹am ^ke ;?ySS;`ޚ zd@Eqr1%g䶠Y ëKx2JɃ}r0W=VL8 sg+ȟݤ^fyuހEMLnHK/]`C+<|`.yVYC;g"I:6<-|] 4pz6L\9Z (SҒpNSGdx O)JJU{߬{{A r^ ^tDPe'7l QmNJV1{৊@ѽn}9utyzLfTڻk<`Zm,1baEe50ELwW. @5cڝgYZ KK+ )% MatrixMatrix.Utilitydocument.tex7zXZִF! ˔]A-MՋhvG"uIBm5{σ& N9؞k%[Ufsdeۼ}J[1Bi ~z7Gg^4&{B49ע̨ΡF'YBsX4Z ]axh{l=#/_{ (MO{9gm"ƥ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?Qr5Gݵ[qCcgN2;5 _~ny\/٫[0'tw}Gjltcrtk O|e6[ke+J;*Pyw&mf*K ~&3$NKK87)}i÷}U?5̧eh`: c6y~&Ǥhi"S:TkGb'hl6vhE.onYrm.&8`}OmCzעi[I2q1 wqℶۊ<7^ɵ`6(O*{j3@YopҌPmSMv dԒul Ï1ڡ]i+xrVƏڑuy- `mCɓEpJ?^ŲITg#R?:w4q#pC8yKX F+v*qJƃl~Hj1N/~(gsyay%yǾ%DWKL7/CeHڟ nlF=uS_M6iJ:"W{A(}3a7.ryʊLnPYFXMwtKp3s0>xT2V9X5򒘞wg-5 z3+W`>-׬*BQYa@~ޖKvfE"YJ?'|ƺo +ٓD/yzۗ_'mX oI,ԧk({4q÷I&b=tb\myP~.f,[k9:O3gt5<.!;W`DhdL*LϸF'J ŭ 4sDKHaTdzbp1&nx "Q{JP/ЅS爱i6)4?E@';V|V St(Ӌ=g8jp׀!je494twUH ];Ys#0P_Vzl/%|29n|և0=-LRp?Wza͚;`og[ |Pabl?O/}s2X+ {K :J4{Maש&vV0gQ&Cec*}fl6-Xx!XqwqԸa#\5eJm@V i9{x)Včp"`W< VWAWL0(W"z)/D>3^}jc.Cr;C W1KYW8QʇCן2uR"=7~Oo'4K,I,;Rucmz"cں1 Ie3wwTSw('Q|rttǪc n#3!:eZK?@IC6*ĈTdϪ+!БxL1¹ZX\IS+R͉;y"$?JnaL)EG&` %$(&{&샯^6}ہ5 T"t2B`ͪTM2\ON .sgqwJu1zFS3ox$ gYZ52388f3357ee946ca011f0dfa434fa8eed58dbeb6b223331e017a1273774b77ffd0c2fd583138aba bd202fc155acc97a2913afab427799291ff8d096 a294d67f9d12107a73b7bcbda85ab15d7c6d43dc 69082ab19fe721a09c1374dc6f09f61fd316a5cc617730bd9e325cf23e95763a1f3f28b024d697d8