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 Z  ]S]Matrix:threads=2elapsed=38.986cpu=67.168gc=3.792factor=1.727zXZִF! ']ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxgP풶ږR&<3u|0udiS s&׳5=uxz{e8#]gkvcblJ-A w;”.)F%aWj s~JЮRp?D`Fcġ\m;-՘c)9[9i9

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 .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 > Lue>&)%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(-%MatrixHOL-Algebra.Ringdocument.tex,5%MatrixMatrix.Matrix_Legacydocument.tex)/%MatrixHOL-Algebra.Groupdocument.tex3E% MatrixHOL-Algebra.Complete_Latticedocument.texN,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!gYZ ;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$moOfkH=eOkFW݉:,˿'W̧;1)#|W5jC۠FB7`\ؑ& g͊=#4t]]ݹ}@ׄW5aJh&ډVT.d+@@;^_N ]:6;(Q|P0k+T5q:1#/spUYzawY=ArE`%Y an}@_Q`:ۍި O'E%V") ,Y) ң~=\#MP$wݡe(]O~Eo)Xgp 0fR!*B37'Y$ |+!xACw~k W?c;yr}bC׼lc?؀BYUŷ./|0J.HM"?Ǯ^"VYW,c`cCD60~X&IuN|PA#&i` hlzY|q &y񾪗-8`,x-W<JA+QuֶfmSld蹃\$vN4UՒ,?as S>ZV݉!+g/P#J=޶ {E>T|tukKsj8Hdzwm !x]mT.τ+@nIM et-0s3mkrPo^^u*s\4K=qj #bD/|i6X.*V;W#]$bc;X IraV'<+ A8amve up+D@ q ŨǐѰI~Mh߹:HApINl’h/׈SJ/|7J oNQnv;j+Z/8n$f--_#/ P 桺Er)dncmf[3 AONbнKHoJ8bƌٍH)jU'ofen4``5 &o*ܨ؅TXByJ*Y8!{Ϥ58HtDyu0)v綦{`٬GqKJ_^iĺϲHn_tvۯ-R.>Ivw l#ẉƲ'8ch[Y`ӟ_!蔽lm 5?I}RؤxVRlB T TWvоcu)ScÅa=@/ FX@>-wa6|g!~^d.ߔ+#_<U>K6w( B]I @5f7~[%]yVKëB?)FsK"A+3Yֿl_2ٞ6D Y ?l2;g>L\7)fMFݪ^iLop cT ]e'F(H,`L_R 0)!Ε#8 yHP5 KWʔsŰIAAIE5TAl')=Yh_5jѡ&;tMh.޿Xۇ/.u9RF0,;jx5"UEUbQ|[/h@{f^|T b 8$xHƋR?&# [8trKR7up"G,ɔ%%9Ү|* ]p~J@bX9Ky4Ȅ9ZY?P$^~'yꂳmv4'6?*c#Gb'Bqʧ8MpMu$?X٤?Me,c.s_ו`HY,( avrv*>؆ҳ#r ))</{=t,!܏WSCc 0wa|*|Inkփ|*zbꍌFpD}RP@mڟrz0b(Q5U㊟ׇr6ZE]6 #%0P-p@ѕ xODT{B:՝ ] MiZp$EwJsRP~59d]]0DdFl%;tc$u]GZDwLZ,mZ&E'* waW|_1O^swc@dM>}#ǘ|7ҥe)f n3i}ĕ*[j wn7+o8];&(nÁa ' {݂ PtXM^si;|bftzqpf9T+HDn?widVݗr]al˧P]"^^:yL9O2 ̨CH[#Gsi )8jg MC~đtYƐz6oR[ٍU<X=Sf#w#-ZcT$d$L|eӽꘐWv/ikHL&QΛ3a4+ q>kJoU MC!U't cЦJa"yϖNCz#uuEAц '1T#L0h L%2g|R͖x\b9ęZ`C ?Afd5?̰ҐY!^n}fsq9=EFwb҃abG DV':{Aëɪǭ);.mG 9~茺DOo4 {*^w”Tޝeq!FPf1XEVa}&`8#uF\hJRWC~Wk"ei\A`4@{PS؟ %x:7)yjTz~bN+).5zqIFb-V .lGX`FЗ` BO*a =.xlt>"2pN Z&sK%WT(:]ZATJrX])B1F<(Bs(JوG PWs:F У$[zc_lqv͘ԺUo@y@aؠg-KP^Օ0Bȷ؟mD u<[D:Vgf3 :Lc)_֜|EȂizB2-v+I_r.o 0:5 RvwяU‚kF|`)[zㅢhm.3@9̢?۸^0n~=YoiaEL(/A iS{gb4T y.\| t{;FgJA G2е=+OyT%yqkr<DL P.G›q&"(ő;4N;7rs+8&y{M^FnR?0Km s|+yQn*ծpܟ,`u͐p`iY=<<堜nM*\YG8:"Pp@jg*SBHF6jM'A>j+t.F(J*b7rGr%Qr:l.!r3˞Lip`l.dUOQcsJrd4UR;ɕ͓fw4H0Mʪgs][^kÊ)(빠g_L7Ǯޥc*e(4SBb<зlf*yIq}K)2,{_]4`*mҦSWnlVǶ2l)r}A ԶuҠoNhНVA4^70 Q,VRo&LcZ.Be̐-M8#E:MF>mUhwF4o|T-zVq0JFoM 벏~c^ToNd9|4]FYrǒTAfW+ -t B|c4^QjghfOz@5t,~A]u J|_n_俈﷒y z#IMhC3BrCߴt!2diJ(^B﬌IA!3;Zo x3$1 Eh߸Qayn gl%^8uW؟>HRKH[͂̑AvְեG,9[q=wZbAeVM;ގǥDO>z*ڢ>ywx*w]Z%{.w6x+6k<aseۈS҉߇(W o9Կ^FO[4tQr0tńFE py(9WJP2ABsD+KcŌ7u\p^zGZoF}\jZ(sCʾ4Jww|$}OF/L=!:*r 4avp/I%1,=\qIs5:-ƁUƽ_jЖc"\D N iys4_T KEgZIR=}A?|JJo ~l"0\ FC%󥈐I0- (> ';;|ͅASyQ eXА:۰pw2 ?)t)w=T޴|[y%|d)GQRjQgSiE0W[sZ;9(Ɠ}7jbL$@~i6Ĕ݄7hQ/=::v^I!Np!k#_6=% 0[f7ώzo?Ddq"e169$1:+=itY'/ !u  LNj5=]i)j`ii)hl/N{BP0=nK0;VB00 (Z6_q5SP4puI)\D<܋*mF1UCFB#zs+PÈ#~O(of~^ܸ9QOW5'TjZ\>IluP4s[Ӝ)BqIc4q#RRN%ڳg\Y"5#1%X]SKBdTʐq#/hCoQwkrn!ZQdr b&; k.U7"sZHEqIl(IRIce<\[7Z[2R4uG:3-!dp]"-~7_Ʋx֛QUq|垩/P7r\ߐ˴WT"M/Z[aT  ?&2!#pcJT?]+}CdP6uQ1yE9N1BS#Lr-ԺK܂f- +HQ$$]SW,'f߳%|О%Ǚ Ae#m2l(qQT͸[և;U 8iУR4t0]wOy>CQb~Gލ]?r>; GGh1#GT6n\WgYCL׎&n2D&ߧjZ+&m]9zr$Qe^l#bhGAuzoc~sɒ9&*4{4LL(4!̤ zm* IE/}*XNCt# >N8q5!-&H#k;t,ɔGA*ضUpeC%XOYH4u; l鈧-9~.O*tM?i):jxeىoD~s%j32ZB'P!d`gQ$4'J] 2-u~ ԭ]ER{қ WnN!Ae¼1s-cK li.qF5.qE,YBiqOnzqbT*9 e5L*U7mHj.93WD2(~>2)"UD -'@HI eJ>`^C#pV2g?硬(ώ.Ӳs6b+@5FN0'/'m^x|z,w#}4o GBN3>|dU5!R8ED&6r PjG"KT0Qɍ,m%5TkDz+)eMt?\Ac|Qdo؄LHw}~㍰O@"{ss,0B*vzZBHk`6•\D?V'%7{*gL"] ~4/‡W#wis(`@OKtS &5vk a 1.7+*曞Rorq6 L_b 9!/q"PY*RpMϦ J hr5U./KށYGΝCԋ'6ߖm N'ʚw=))$!~KzHo ء FS㑹=3SgZ$71 IeqTX+6:Kޘ)Q aC@owqsKʬ:u+=jT19hջ>kZ+U8{Ճ1dĤ/Zb)D7ьx~7x&FRc:L,tq[mD S%  \wVXÏx#SvlIr ] C(qU$iFO8n:7^.,iE MOm' '+slyT._^ ᢽ[A4KEܬz)\Ԑ{5~fDO0^Y4>J@o\&|zVwxRoH;[j6%OպRӔ *2#eUzf5v6)Pdz~ lmpmc1l餔& kVa -Oi,t Uַex¥(a"_aҿ·7ڵX*W&ipRAhC^`!gL竆t0imٹ-/)Du u8M2 }5vȮ)KTDs2uw,Sl5"x .e OIi* :j[:Jʍt`+K{0 T^/YwDA%pn @.Kp9:|~\p4 V3FGl^s8HgtсLGydJg -,vrjL6NQV6KXs. ^Ĝ@2o.3&6H]Y3dQKaL&tQer:yW-Ya4[\MI?&"Os_cw$jTD|Mf.^b)tbPgH=}OnoX2= jXk3ԕc-ҷZr1Vg A/ztzfbEwB5x.JG~{Zӈ\؊g‹2L{d )-v?Rg7#$ XڮQzp!Iܜ̭.f/$Vk9MtCO_Jva2GLTwuVyB@M4S]iг6ʒNf;#'atHFi\a.@{r T!{ " dXcJ,DLGtCV?\fN߷UxF+߶gǿU"L_J,ǿ%=x[,繑28~[M!J /Fyn N[UD6L=*>~NJ@|D)RY=5^pҪȗPK:ea4Z? dcayGOHg',I$E飜l9אd$#eNE={&f͹I4|2d3IuԠF`{ߖ~B@$мJECľ1A]V i#D5=uJ.Wț-nf2!rX0b;tÎ cB\#A*e5D7+PX@`WBۥqmZi {w^_쉙o!CӘN励#2t,y˛#NORF>%v*8'R92<:,o(J"XS&xU/R͉! 4 -ΚNO s޹6Zt6Y 1)‰x]L^AttDg@fdWRafnKO,:A^B{,5aFZgXH׎YƲ2JK?`b{m[;ǃHTi'x"&_JUq8,U.Tq cd S5ݙYM:zhG< KU"pG0Qا-;_#5ʝaBбyk`:ɑ iށ̏Yv)JE)R~W >)X0DѶ; pNDž=~7"@1t.YdhMIz/;z 1Ŭ\$gJĪkJF*wU#8q,wRJ'Ci#=ruS2Ac5mbUw>olJ(Y5/pH%M%\' Eݠ7cfLh|,BL'xʻ*73mwa!X0%)O[9fTѽ_OJh"QS=sX%]o2_e- }ʛQ1tǁ/[5hq];x(ӗASQWw fwu~2:laFEۉ0, @ט,A7r-݂n!DmU.(#^LQJ"(:Ne``js]$dzhB>~(4 xF{O]pAÃh[~]J{tnʽc}Fl.p08i=r@[X٭. Ю)>My̰g=ܑlwZjɗz_bg4% oKgŅحqq50qF }Rz9PLd_U@Z[ ʅ&t㒋eUG]~ [?`݂˝Xpy# tl^ gSѤ)JSX1s%/KH9Yt7cMP c-)TtV|37\$D/[bf2 #.8'Gi/tZa )Ɣ*q/jV֝bA&JdT`}^,R%g]wp=KU˓&o~媀|۝luF& YYwԃbAcڍDŽ `~Fೃ@],Rky)4og[3˒k,ˬM=i'^^9 0=1*\e5Z_|*#=VLHmlǤ4@a箿s۷)-Tbf~8V. C1&޿" ?m-Hƃ"iݭJuD#5e +Df);* iS\H! ,چq4LA[IqgBrwy3SOƑ8, /Ɵ&`8d!s$۟$TuKd:9J<=#VM^V>1B{{WX=ajp0@x}Q(+kN.qcnSj3Viv}5KqI. p.2tc) 谪1AV kGZ\1?sp|6]gqWG6hmxT_}KVrDͱj`G mXBx>pV"wM?=3uR&h^M .FrS 9籺VTItDMس5p{ElF[V/ΨrgJ5@eT#Q(\ցtu53(*̍S\1/ jDGMژte&B(ܡ lm2;+9Ē m^ FbƟ< S|M*xMWZd9 {ֵ*s}t\c:Lf? :ƾ28j6faîE1^?Ͳ`0*CPŇcBiدo( x{p #GE Ga*4:^>|5-!fܑ=ﰋi?'x'p/AFK]U D|ÎKhŝ^|qt' I KPIfoAx)'OT6GzR(Ȏ%zB`řJڅ/99^Ap` c+>TMPEsIե2"Q}΀/TCttpuloT7Ȼ| g~]^ەԮд 4Cd?( R7*J(.QmwKhi`=}fYYdmhyN!A1a]X“&"b/;蟳PO,Vϓ"=QV9bd( cn |}|N*x3g}uFfAI6mqh9t&ۢ.9`+!lF )i&3<]f#m~%=~=d!暊UTblSJZM˵1+Ԟ.2vkQr+t4386<m0jg]s#atйi͜-FϠΕ5rȡV $d,f&f2mG}^tCd8:nMd̔Br++:ۙD;t83%"t;kHP۸TKc}&A$`_O;jK _oýhsZ-O,-FX}u|EKޕ:LnGp4o\atV%lrԪԿ}}љgM%^S(E4>v|vXzd>cbӋ3VIw&1h (3F,UX,ݪfQU#]|qUxr0U #;<Xel-CZ+4 PW\_1^_|E 3$$ʘ(@ tn&S53s'߭'ߴx%sWQFm Z_ӽc(:9>LQ~J^])4 ĽYpF`M%Wtzژe^e EB&kwŢ`"5{ ٨[9 gݻr-ĉF qi1G;9&Uٯtg*W&t<M`'rzp "GA';Ռ_w-oyUSO決ZBtǗh 2"yi"Wo+I<3'҆+Z0J[?C{;~+6U;baIő( Ȋ@D}Z3"L,N6s~w14x V8 R8m.1q)G.ۚnxW4؈ڽhaj!=ΎM.XTA\Ж9,V }T~@ql'2 6Wu-֜Bo,s* T/S6cƐ1Ɏ-Ě_Wua,ZjIQLKx;čhU2U= vXGjk}?r @{CbQI(LxSWߔgxyߧ/+f1V="zaÆJ+zo:؇B&`Р\vo*k=z(Q*kH?FI49] =q78(BR\a {Y'Q9|̰(`sd a$>#X޽>7Psr@QeϤs._phҶF6  &U"*.-۬HDkV¼YтV,JAa"ZnT^-.-Y$'vhz۝&: w۷2|6!T ng#KM:FؙZ'Nqt #f5lrT×·uf$K:(B3jS/%#2?fO' rso4È/*3$i,&= m \wڬ)9!^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?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 .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 -f-I3% 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.WN-% 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$T5% 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}8tV,;!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 *UgYZO3!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$>|$+Bs/^:*Qk KnHh`2Q!ռ&AyN~\xx޾Tesx?DE"y3 - 2O-2E'X]BWkz=\ /͗ U7ZԨ/L[ܱ. &C|533-ޤV^Ipo9|ONJsByJ#G:*..|-Q|#_#tQM4j`%)ZL_8《)UؤHm;.+DiHWUB| ѩi>q]%@ i徛TǓN)v&~`Rk~ ӆ)a,OpjHg'ט+9n] f*NHO'B+ptP &hi6쉡t )B:ǓkMڬEV:.23Bkߥ^Юc0Wch sjV>9sLO… AL+}FL !#P>Gi#z΄C.#&T`ˡ[Z86ɩ,BQ7!NOzdsz^:_ﱉW j-fOJo|*9g Ū Y)rzK)Aȁ8 ۡBtB,$1!8+4r@7 @Kk.AsOLp\GYrZ*3Nn8olviw(+۝O'9A5f~jX$*'WT(+OO7o/% 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`b: O!wˆqoӕ 32=Sr7/铔^E%!vˤLR^_"\mzҞ(-G*YNyMVF5pχGYYN2r3aLߘ/tj:<=k+G ,\婂بr:au? 2LΦL~ygXׇP[hŀ4Xr9KH룵0􇒱haJư؊ނa ="Oei*r^bJMO28=cD< ? )"9=&nxG?)'RM/NL.$= p&f/&\ViK8$""0.ukUy@ofL~2=\Le̸OwKݬA+;ow^23똖9B@,&?9|7u߿m6f778 8]bejԙҞu&3 jSDRiTX@iuv-nddBVd`Yv񍦞`痄ѭmQ Zͭ:j'ų7cl?˟o$xA'$ v9mE5/? nP'2Lds-|3+&~[B_]r0:}430)^Ϳrjo3<`zoM,h\=Qe-(@7M@mH\c+?MA(Xm!EZUJ5h HvMpL#2k5<5ѩ''S8Mv#?yz4Cs'ÚSdEYm1ɴ 9lfq߷7Vfӊlo@MAo܂9i Whtb}JMh@g]r՜š`os0So6<*W1o{Bl08 X\ˆȬUF*lܘBFX<ϩx,]2F}Ļ4֧|R r꿷&qp=eX踳Nf b> E0($ZHٶ2]!Ъv]mlrrߟ`.t}A D~ђ23+pgRYE(vebCnW,/U&ސ)֨!azԟN:T[5r߀L*{/N<xi|1T -yj跊޹ vE 7y"yxxl;E|#y]{JmI^+rߨCA` /h輛`]Pd>&^ÔQDj>-Klqu!1!ײyU~U~O#*/Zӕ'nЯ #L(ikhbqhy#.8?\I M XPGkh l.-Hhhj;qL">k..~#)3>cOY']ŎH'NJ׀zO[n}M(@X7L>RiwKyv d*ŪX3,H9҈s;s) m/V8~QTx TOo'΋TEGql"I2 k!,Qө|[76]O;|R"tyaO!Os_= FyxC%znnqގ.&%Gx[,L}0h;,j?A@d=YΥ8]АE˺RG%O.&rĭxx1i)h-Z>KK ԥwO?S *+d-к..w8V0 ץSH%ZB IwaMj LyYL*g" ~܉m;Is%>Yk9/8ITd`Z¹Sh+|aف!wKHAO{5Ȁ[oAF=U7˨3s2-?yxHfpG M¶8n5,i3[jn'(yˉg^tUQɅf[f% },ݯ Z%+Hq3{%nK6fR8۠KGnOm 2[3g*u3;Xm-T$4, KG\䔜%$/d2`siJZ[d ޕkƽʈF> 2LnAĉ jsƻ$خ4$/ l.qfܮ(J)טGNgA .7\1EG,{>1.9TY*,^FWuzNC G)XvdtSG0+l M2W >57] sؚھY!aMLk</`·HrՔ#\ Z{rqh[WR sB"h_Ww2N 4M,ߟxK0E3pRu*%d#F!> 4̓3F ]LeVWX2 ѡ9زKKs{* 7wTeI0+g- =aTsݑSIJ*6@f΅`s%ٕl\+dAtn*D1A"u.TaGDl=^z5DYjO`iCO5.#-^U}N0o+AY5yR!.4yG} O`9I 6Ox" |$"><`@ ztƩH9й**cb=ҳPAVkӹ䉈j#:Zx5o7:E $#*Ժ֠o>}8V7U0bSTUȮl3 #KWGuGH;JyMG]H"pyݶ :p4}/'W)\1p?8ϻ]e^ؤ/h%oXS!tFZCC0Gj(tNvl {фGF;|$Կ\׬IwZ#c_\m%s(t}W8Sr -A c䘵Vkc6G -%='d)秕2J-kmwE|L!sKqG9L7Ɯfkܼ%kVdTv+fVt~&sg B)Jq zu}4Ss\qwyooDΥ&9L` KE.N>f cT5~Z7#m8\rRQW{_ K,JO7 !'=0ᡴD׉zBd8􌩥=~[sK݇dpg-@wctQ@5v ha!/lu $B{ Yx#!ģ~&ɠ.<?=jJyMֈ㈄IMwWdymJuѻHW迗8b)Tg _JJdvtNmg,Y؂2KX:ѢgP9_Lfnʠ s !#,f)r9yu&J[D!NT)oxSA!BxoQ2]z]SIqI1O{{V Wy`|kɴ6}R%`ZY"f PU16joHDd&S؏ {؇\0_7;>9 vt1o^hWOG) Gy|v+6ǩ A ;j\-t1jfiçY6wu"ДRy!=oӒqP[ܢxs~>JJR¹%<HQAMUa;9G4q_L `{EVejٹrWDP`bS ŶkT[5j9sPᨔul5C!ְӠ`M?P(R9v)DŽ|_ {ܷ+>(mOMWݳ`bcCb(?ߤV9=qn'SI3! F#5Y3h:PBBw`BH147En"ZLLP?>ړs0Ŝn%QXXNwYC>Qh ]T2@ :%L\’%='zl./ɭq6De $u϶$I+ɣ9 Ї@_`YPGӞ}_sTO䠏| vFz^#(Eю(Ak*2TEߒP ;]j%em3 }# FYJ&܁uGVߘQ3F!`sObs{YM[$9?i Ô=RAVC5 o!~uJڭFvs<خ!uƖ&I77O퉗dNt֥Xw"$U.|#V >E2A<7KrUOREM|Ç D3YN` r೾Ȋt48^IxL @0Ӵ. /Gލ?tXƚIrbR'˔m TD.<`P'HN' Jbr.T!{91rQHC;( 1_H_aϡTOy1/["hIGdȪ&OgG~=%gj8a Ms_w  `5IA{sv f$_+I>)jܝ'rSTm{DdN:)-}pxgj5]bڪd'!lyYC0Zv>ijC%Jչl#KRTT)w%}~v jCb4RnMJVᖘa`+-M1)׀,k+j,5 S{8gϫǏN~:- z4A̠IYBR7EʆJGBF?[mT ϕd2#lp4-dM z',R?#L}*Qh"1j]LΠ&5&hWf(؏ւn)ZvuJDڳGU";N5^绔}M#xz+VU@DRRߊǵ'LF؇V c~@gq] k Fn}]#Y FS-2J =IQ"aέ Mg'ٰ'%ftz6l#ۦqokV=r:|H}ʛ-Y$@0Cc/+2X|Nʹԁsc}סha槙?J+ k1Wآi7op&7g):\S:ҒI&9 '5cjk:c]H+g>+cn[=])Τ過{ Es:0tbЖ0CdƼ0NW"?Nܬ/˻9{!rK?JK=^{؁Iʐ`iGl3 V<ܧK#J@UR un:xY,SƒK,=CiOrU˕@H1ZH%nGvzr `^ -0y`s L04u;bտ6b^+zWً>Vy|Η6dFwԔᅱ+87Zс-a ۣj>nljߵ뺯9M4?{v_ һIJ%Ghc/[K+>T ۭm8ںC_\ ғE6Rfi#"~mW?j?xGw-168t>IUxS߻:N͙[Hn}ǟKrn`̊դ*MdE`}Ӻϙ&QTP9sa&crǮg pOKsE0ʶb9)}7Sv "|EqQ_ ҈}U^®>aWZNLOG=d1-`i?.4哮eM\cʯؔm.U^Rޤ`*vn=2f);|A_JKm囋4$>LקhOTmu9VZ> +f"N4;_@i={.-0$L7dq佐?vyjLrX4 BE*|"þLzqh0-nӰg*<ذ{1 GSciK=O#j%Cq$C N$kA|#j|ӟKB'IfñgYZw>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 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 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?OTOe_ ^mCj_nG QT=sx9\оBWT?Qf6;n\kOwL&sWUdHsE(§Ȯp~3-ܤM l-1rta7-N p(ZkJDT5V*9@ I+{a& jsqw#1At9/lO,amچBoMAdlA.N^we۵y B #\:o{夐Tɀ朂C"! D73DTb\;#)ڍs|CCr9eF/nD+\Kl"F5Hx[;8H(ayNSo:jXr@ )V{ˌ,R65m?um֔^W.,@LuiIt$̘̩`q#ǎ>_fC,=%1\R6[-GR3%-J4y7 ?ZhS!-^d*YgU`n>O)6&eq[٘ZAh~hKHϗts<{VK}Xƺ9Г>:?R61"e]W=2IHm@UlD v;uxȷ{8Vcmsz"Gq#*-EV;6]m[խVf?%FQت$tgx="wDV-R)bOcH -_I1ac\-)9929Cݑjng5~V.F؎HDiUld1@(Pґ>KybIpS~ ;Y/R&~#NZg~:)D) e}Oҫ 0T$#gz=h\{FFG;: u** e'r]˦hM},(nbۯsUsTlķ@q^]c FŜ![WJ?n|ĥSy4(CGv_ UU sM DQ0sJ#/) [.:%\J+/QE⪼t |pV 8sn<~nͭ6؉o 9pe]ni{[8LA P!BBNz *`~ض!݉H%o_ш5vHCNr`5a ҘlUƙZ)۱kX3ӮkZ*H@!Or<oA8豓+\y;Pnh={z⵹ڐA(Di E +!1/ڥB }!p@pgƬZP]N,hLBVPBk+~ƤdmABuhvbl~ݵTOmBC..fg>~5=Z)i Icv1x"4$;.F2_(w»%b໔+6zIlDk >#&\ΞYpzgEd!aߎ q:(*Mr76X׿9qٳ8.e΄Q&,)5ETWXeAt>x̓AuIeEz+OdJd&ar`5f,fRH8qj{褉?3J;Ғ-ҀO\S $Ar,'=)]ӠH z! 9UMU0W* sp,J&QS{UxVQ7^=_Rdt{)MHƊ\ai(F0]L$k/Et3/;ʯ8H]81g^915601Q"f w5HK1qCb Oj2x?$m)!|T]Dr>起>Dd~%$݌agYZ1190005bd36bfb2bf491659f71aa0b9e59ea0b6f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 c9446e126adf3872159869c1df0fc36d23bfd68270ce8502d8cd98898ab1c57af489fade8b55464d