SQLite format 3@ $.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  zv$D4 ]S]Matrix:threads=4elapsed=45.841cpu=107.724gc=4.2567zXZִF! L]ŗXiɟH)0!h]GdQU\Qubbck7v=DQdU$z> f4}#tf, !~P&7?Px$, o䔢Ape>IMǁLjdyY5Gx&[Yg4*ĉ@RSH[2WW&D:n&i ݕ%=hœΨXkzQ=~r_7u.j|%a(b;[m -|S'2ajF::6]j>y̏ҪhH>^ irĉt`jL$: ͥ! tWDF)&Jj%vi Q R6Q6$myA R.ᅨO j=rc#/ĦeWME>^Yr()qqdSHZbu}v4_DDӪRx` Ϫ_$3-* !溏h<{*4 <^uZuqxp?KmzAJ#RHSȩ?,vfI֤!yp"ۛ%-\x{:CFXmҒYVS|-CxԥBrdbyh=pe8|Ge|j#/OE͚{Ww8-T;zqB@O*XюK؇h$cVc>,<2H`8%6B|4)B~O 3Zi?OF|{1|)1 ĨF{xYUNZ4SQ֒p: aqJ2k *;iR2P\hr=6R{ L~ vFC%4>nf70jԏ]AW/ FXr\Υj07=BԩI8kCxT!? r Y+ڄ=kve3Fx&.񀬿J2 H%vpդ\dz`jIFajXʊ'8.x^%E=? 4SUO.juelqr?sHnC]#$E#   Matrix!w E% MatrixHOL-Algebra.Complete_Latticedocument.tex7zXZִF! 09]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$yۊYe_u\r"Qqw1h!dbjB G?:6jW_+\eԉ0STݥ Y -(Tsu nU+} Qf7FŮE$, tQ]ȂHEzڢ46J\W~.d ,V @cO`sd|KmB g`g^Vm2-cuEn‚;r[=O_V5+408S蚇^[ɖK'5esӝ.&雩q);"`g#UhL ڤְOT2;b ʍu r8.ZZ l򕝅^2whH,{j3 ri0}@єq%&JIEė ?Qx wUZ].P9;9Բ́ r[dc#yPl򚞜~Fy:R%NXJqHҰ +ᾩ_:ЧrXBB=m8@xof_(M' "8o scsv*٫!5ՉY%od_YHLeʞ QQ3( OəNţ@Bqj-&z+qxU[A QtIq02N 5ڿbRYq»Q{o˨pi8A{3ٞ ?L<Ɩl;[gg_*P*_b@H8o]ξ& ]t>”=-u%ڦD5YsLW@ls@P %f$" z^,6SvTڨEN^ `Q8iW:m%t"Wb⏺ uox Ye e 왑 k t(9zVXo.C҄*x1Gc߆١~y[L'Q*>ύ|J7V؟ԻnwЅ%2VL (yO"j͑% rv`N_Y/o!}[oLwI$!Pֈ tG$*GTfs˥pܴ*5b.|3"=AIp.A`͈6'f93P< eA/1`FGrtK&[i]'N* DfE7WIkvU>fXChef]9> zE;o5$ӽ{@` bMY1CzpB% &،3H"Y2nUx7-' NBNc:''(߫GD\6(?C_sa/ݡe)h۠> "R3hS@=1LBO|3S&hJzb'G. Wv!sSxs:X Зy'L#`yf p]e#@W.#SB"s14g\(2zkQ/Ǻ3!N 0Rz$?F,i$L?#l O(X C -% e Jv>&)%MatrixMatrix.Utilitydocument.tex .9%MatrixHOL-Algebra.Congruencedocument.tex /;%MatrixMatrix.Ordered_Semiringdocument.tex)/%MatrixHOL-Algebra.Orderdocument.tex1?%MatrixHOL-Algebra.FiniteProductdocument.tex)/%MatrixHOL-Algebra.Groupdocument.tex+3%MatrixHOL-Algebra.Latticedocument.tex,5%MatrixMatrix.Matrix_Legacydocument.tex4E%MatrixHOL-Algebra.Complete_Latticedocument.tex'-% MatrixHOL-Algebra.Ringdocument.texͳl_\V6WUR"ˊf_~)\eos\G&ϜsQO 55-{V3*⎟~vVAZw$_VcmSg"ՎhެvF*KP]ٸ""")cbR/o'@D@ P a5% K6 z<,wU4pP/t^#F")P8LTr)aࡆH?Ǻuy̔qf GR.ߦ_p 9)}d[%Vb:v3c_7(n`| HuJIJ{gKMd?tG-_ְ' TP9E2A(} @"[t{lUY mŃ9FV*w:߱l[bQ«E(jm̵F2)1\o5ϗ8+qNJ! Wx𾿳}uNyp%nޟ չ}[]Fb-o&bDC]: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_r[[o;)5fIxIIJ@_O4;—Tv2T~j4@:+R%g@hQ6|*JI~YIɖ2I}`u/zz^G2˾!^\>zg^#s9W̺; ( @}㚵G0fml5ɺ5%^Qux"2r<3ÎL0:s6[)t|=&A!=R2OK ^3PP*ᄵǔB3P3 Ȟ 0;rCp- SYg%L^TDþ,C|CEPLwGcmYj62,jXP ;Jlp~jX>NݫkK,~sGn{IdΈOIiM|h]l ] ]keHUyUo'R+],&7Pt94i~DMdMGPvee@v0zPlDY#o6dK [UH0Yl6րs0Ţ&WqnT+<'*V^;+m0oz"e\!aբ5* Z]?jEv`AuX@q6YFŶ_\6vfyv+'2JF# >O Q;҈pk*ZN`TV*82Hiq̸iP"nlj1*+LF_~^oxBpg8IXk壀(-njݺcJj{b2 mȕ JV6%Gi׫+;[ދiO$@ƣ2o^rURf*Em W O}:51J(1$Q HbaPɫ+s1}Eހ&QVSz-F63F5ׇ:2&M ZRwt.H L>$B,>6<m(jYsU!t6 ңVFօ__CJ{Qc'ql.P;B~n7gKKUMG#4959cW-fl?LAFU+<Rf>!Wy2&t,0޶`YSjX$3t'5Fl%x*z*w=A8Ng1d6:T哣ԍOߒ6aq4DJud&X|>cJ WP&@p |` J t6w` mWdL߿Z? ؉ -]-=,6W?y(Ҳˆ?D{*Th ܖФvv 9UioK(~PRu2fztYxK*.OFM+Wϑ#ʝ!ρGO/b(j[]4k.K] "un_tLD n}썙{#.Ft- k/:O_4_]RA}sKsVùq۳ r\6ZQNUH2wG\g/5bƭ.Zl>ph"wY2iHs)ܥ1/,E Iѿ mR[c #@,~UiAg0 SY_W}RƁc\<{ Hų>݂rH?-`]/ݍ1L!0oM^I~0ŵu<+/al% 7 JQ[l+u500*z )Z[zr㣾F' b@g&Yjukn4 Iӫ Ȁ78ӛhe0ߐ0=6" s߈h4.z1)) F k=.'3cuy3Ǚը3rԟ0 ͞\c4Dj l !aa[溨,tgNj^p0b<ѷ!aw:{ OYïV p C#0bٜ[z& jdd+'goQX\>5fgҏ#G@GP^X) ߢ^{ }DmTZNlu—E~-XP$9~Oh-6xA5 OZAy:+O>kl/@gh5W ^]e:=9hs1o-M bF9+@QWFjb!OUoBNF! Y,# 7lw#HgHM0ΆCQݎd&?eC$ڋ_7V?_fz )ɧT/ iZOoS}B wDQJv5P[ތHIE,a 9jCKތB׫¨5{3I+cc'M}!tBa7 M}|ɁĈxYc?z.~XfUHk!yݻcyCՖrڼzOl? rsFcl~v)o^ٹtׇ+{\[h,i'r@K`9j9|fI1Dd1.N jئngKEABBP\9w_|"[ip"gj[oA* *u"֍!;I8UIDt@6cTHGf2tpm )6op<꛽(_dAEbE |KBvF'l7dS~rV) jek귏wzyfIoxۢor (chK'^,+{~n 3D]5ǛM6+33L2~~#O9<7aTFK̇SdȮe: E P({>4қGߔ+.jXV$#!(g R!VpБ˖lasUIhM"N`Qh$DRi"iku&wQJ( ɰZ4v8ơQz62)d@+v]3>2p(50[xX_>ő׺_K >Wbr`.{(-E\ҳ$f}kjUӣ.H%BO!W7&'ʑ"&cy7,C}zt][ (4O]2E#Rs$׮!_*W \K ~}3"6Gb=B+QN-|Ż4.vSWo<[QdwvE/l?)gNKΏsmBj`;x ]DKQ.'bJmApnp ko #<Π,#Dc2ȍl%\=cԽZYaM/oz'gA}QYٟBo@]]_+Z#XhF_:;'M!NZ}#pn^r#ԓ,lpckXMԮ&8Z5リR!r+M%]@$c?O(,8}Pjb:IN[&F[07O>ѣ'Pv0݂\UOj@W; dmjxm&԰:b)x~%WJM$BŢ!3N!$!s)H1sUtÿq.?ٽ@uv3Hُ%(vX7ر_\~$w<(n2ދv*:;,nSofa?L\hlgY:N;5~7ng?q'LۘSI|BD9L6gd|ȟV,||`ZR%->oUG]Bg_ڄ&pm˜h|i_u уqeX9>dwU;-U$ᚅr-8fy%m :N djI 57_-+uʬ!K%յv<&4?wmr $ yr-!ê-h4<ԙ^/ B2-NCL" ΃ NF/Np‹$943HHj@Yx8=}!l9l7n Hdj .uDI9{&k 8 ahj%Sp'vƴ ՜%{o@Ї|:hQyqpH z;#4S'pY|P J+W_,vmO9G)Bz ܍XKXWK6Ą')ǚmI}O!]iVE;Z9Ί:>yj  sfWqAC]65B N٭g|m+\Keq/n 1s ̓ȥ}Ŭ)ϊ8$!j`"vW&'hSy!bbI(XvEl1;4b~03y, }vӞ4)9%@lgFyZc7OT&PT.ڮĶ y@ّXdɄGPv YN事vU |?tRଢ଼1ǻϑsvCNTDq$URJ[ P+6ya$[1o&D(]*%n&cSjn4$FY[8ь/;ճ5_*--1:-ٜ{$PLxb*fi;5L:)ȊG/|MatJ^m%R./sM[Gs\J)̿H&.m/tIy㥗Җ+iǵ H#t7qjYo@%K.<>{>WF`sC\Pv?1ukkJRDdj@&{  $Y-Zv"[CVtX̣[b2Pz~$'Eg*)g/qE}ITɱFzVnoȗF DiI*2 Z""E&]\yUxgT8Yu 2'JMLBӐ< Uv2j9[bDoBҁՕ+vF܏D`: V`m"Д[Lp%26sJ#l`.)Z{^O$ DPrք~Iſ.`nU &mš(EN_秙HEK G_HdPrV\vJ}LM&hutRlt"1rVidVDbpy%*"!ef8ͦS+Iu'<_yTiuLы笅2zZ-;x > <~W:@l ºRƴSW,ȋ3H~NiIhd̪TW^*&9 ȗ(lԥ|kN|IAF'{Hݭ0k 9 %F~l O(fL/Me6Nq3glxp@vr0\*ꊖ7)QXKɫZJDƍ&V_(f8C\n2/BKcO,Ommm |׸F5ڋ:₯^Pfn+v4I+@ LOzS׶״W0[5g {i"}{ApxD ߠVTvӆ=U͢a@m'pn :aϦT[%i6sPzGy,`"ttAP dz ]AUtqʎW/{3"|D;ڨ]򴧮ȕaJzhcf;%i fi>y+T]z3B -PM&,}cK4HPMW˙ucCC}}k;qsml"kw2gtR K+ivJT#6=L.OM(X|j(lP{Vw_m ΩC$*hajm(S;Clx9 y/,.g:Fٌ[eŁ5v"%M;Yc=Fu~=(R9*DE,CIGD=e)d#i.WQ r{q|,4pEڊ';¯TAu#Т81n#&٦i{{jسVOqbl:NCsU׸mYf4\3ǶdV!"wРhwDt9I5?Ku߅l$m.B]tD]ġqz> M"SbVj hb)+R&*!gM+=Kɮ n" uf7SADVUT"p^и4PQuqSh;*%@_9Ic.d7[XP .H胉kKAţ-[\^*(37,5d|_0ѱj^[dGJu2TV CnB@6~)=֜O7'ER:%S\x$r(# ;$BR4te9;ms r.dN_DOJΠ^GⲹR7[D*Z,,'6zz?_*QTGmۡѣ܍.0 >x`9^2"bbpY Gm0)gaY/u@XɊ_тNQ ÎҔr8O{85-ok,,,J{pW`OQeNASϾLAC,bݿH会ZUL9 Xs7Ϻ(lı}jj9q?#hۢ̆ZeXg]%b{GHiQȩf&CISn?S}݉n!kc/3fnfNV,& V/ir."^M ,\(mSwJ~#)(ɴ?)ܕyM9 5hl5ݎ,$* pmeZ),STO }hL4mTF8*E徣BE|k}|`ij~L3Jek-AOf]vJ1D 8,wK_O9 DeO|:z0?sUBho^W;NCQvMصM<EwWUgn陾{@3wsOT6nA |y N;JF@u cВ1yZj=t[DAuhtAUƫb}4d4?.{+n"=<݉8z~mL. (E$6Vk eUXN jݡG/?Δ$>EQXõ{&~4# _bov[V@b0v<﹫͓ъ Ӂ؞UpOPNNKU7G|ĂVzk;Sy>GUV/m*9싇:j}zK:"Y+:ʰ ,F\whWUA!f7_M`Q*.q)EDҩd 0ܱgYZ nFK^ף.SɫO#fbT RT"fg, k /ʉ)+80FcuLRe2xЗ'dToc iFOY6N6D X⸶;>Y%`9L 7B;B8GHAhJpuC֗@8jP 6xS)3S{r2_hր|t$lY.fU±YH]S*2m2Dq}7F'^D@C|u'rޫguqD"-&v:h9{K-Qf2xTe5?F)J&l2V 鏺!v\¢zu@Glw:[ YB|gg M㲣=&Us>LXa?RN '?P $p~5SBbzcxn ?C)mcG$~ʞ',$]of|ޡU>:#l5 b'JQh'Ua%Sp$]%b#͖LiFK*u]_m~2P"cT_ӊ%·w-mTE@9Y}2qfZnJ34Y#\waB~m6D:pfލEk0Y<¦J}RCXn%'¢:kB6"V͌"nPr]< 섑\ @jEUI.xIXW3>c*eY3c7^y5Z euGk^G 륐>4G8Q"pd iMLol m?)3A8 ] 젱v \_H&&>L!ȌɦZ\lK@%zqwoXCZHUoPH Bh:9(ՓcTG]a(;r2m󡺂ra(/[Yq>ug W6@^OUMuGm䀉EEBČr G} -6&03'⺢ճVfq(i"Is8(لԝ"wAGɌ] {_Sz&ieM7kvVx=:1@ڻO))-kKC-)7%ivBM002omkN,%X't%#--o^I>쾩O5.N%5\/Z#fզ#ݝbTo ṳ7YB^oEe?|1 rf6rU-""ޝ elM~2HT[ٗUܚ]gs|gO =6`} kbTmmP*kuT?gH ~F4~M[*U}Uкϱg ^AHin'֓Ejao Y߳$͜"HAR2/!=fL5ml?NkGuYxT7:~*uH׻|O;gmB<= 5ZԖ͇h›lQè(]7sDYbIPu PS):~~Ev魏76sԤ"^ o 6dϚ8JQ?+=[JAF)?6MGJ֗?c> _EgM'OyrgB$`inKdWv9B|/CMytJzShp{9Xgo\I ":.Iz >=SvzD[ ?74Q秢KTt@%NL H4:~sNj?'#@g2GUl³ 5un#/>JAopގּОw̕512Eً>9XW/֦,-"z"]>X0}o3r/Pq؜/݁}/GS^!GMc-Y6ʒұw=Ah/R P'A}YR&.aw_AédMnO}(4/Ay3~6hF(.]Hrr$G<0~AdIFg[l( &{ Qǽ`\n+o*H% oδuR>~E4e[lJ.ޝB$'1[S9:Ѽ0xBd&IISӑdK5k gʱ7JrOxkpяxU^d r "fy>&oEa'iJ}o5A>͙GQO pY e8 2?]ƣ2$3Kj55 ߿hY+}8&L@XcR눈uZ1)$5N7qJ'H,^s6):gԐêtI JV쬻dm\b-^M`ѹU_1Q[`<"&g3FUg∻C"(`b0κǬw農޻13Rӝ'LFA 7c*z/+I25(;1RSN;^ Cnƀb/]֯I:Os'l3X /q CP p5;KgNC~HD#v; آ&LstY&{GFN:5^puE X3 .,?CkYafpLlQIMSLJ.ǡ@8#r4Ƃm!qRXW: "&h-N~V d/)S `Ewwa{O`M.6J`GΝ=,V!WK'^BajlZ*v%,RڼT:;82&"2w&$ OM_+U?}ڗe/65b잀=y mI(͋ivXWu~B/JF)x\(FҐ+ Kn,lU4U5էo9Cۜ! Chr))CC\O4H6os쫮g-Wsc[ # —2{F7mFdUãDk.FS7NEh3s-#s7Xg3}M3s&a`x:e_QsHQ ]x֣T $ c^O\,QxP'4.Ru+GJ &X LE߹OdrLN|gDBSKuY{0Tl~PC\R>&+Jy4E$[80p+10_V$B )i'Zf1q&\1TK,019-l0|hgpϷ!KaV[+k;L]TCC3Cp=VZσ <Z5W Lx䚪UIH A/gVǠbe^1xW<ò$_W@2h>o9\X#Ԗʜ<-جv’e_GRVS¶4|hsy Pr]J@4fZU7O xy) [mJmT>UCidtUy.̂yKV7|Gs~|ot<V!'xd~$Ju3[7:G㸟z\faD ͧɐ} lg'gl^Khu!x%?í؆lt|n \񵰺OҎKJg+% TpDʒAj6靺r9janN$sOy1#٨SP9XߒGޟo0r|6[rntGӝdN~ v=DA=idgTgzUv-7֮hؿrjluP8HOpUHMNp*Ɣ=tbN#K?[Œ=I(|idĔk|{CDރuᵞH6R%o/ga%<ɸiЇ5rݛE>;70N8B0))nr_">I-zlqx$%&C*$4:nى{SFY7>ehk{`i[{%VLKz|~J]@c$lKFBi 7yOTiơl6 ID9ea܇mᆳ#xy/j|fՍ5{^z'Hɖ'ʏ={Eå*D`BTղS6s.*ّ1rN[=%e2И+;34eE v]z~u0B Cf?]+I15ZI^Dȯed)=7戉Dֳ w8Ko+b5"~Q$iGEd}Oح+ /NaE7"a ?]Ae1c@u1C@fT]8wLϗx!w0ЕzWv?CPY}jQ?<$;C i ,LֽP^7=L.lᑳl+û 4͗1zy_@E TH}ٳwa>ZHj[;}2dxCeE< fr 'D<$xw6<Wg[\A)()Pqlc%X 5Ӫ,;n%:.Ɗ"gT aŹ*PkW/Bbyu#5NX|K3Ӑ/90holgܧdnA?%joDϟo kiCcܷޢD%^TdqlS'xtn<}Σ=SވWmmcN 9!Ӻ"  w_CT DwAtGa/y2 {FXs?` )juRJ3+@*M&D=ϜܚE [sB /0$KBxO`lj )l(rQ'p>/4j) i<5k9}EӏqF' >CyLsC>B)D{7r[Na`bcX6I0<7mto F[]}s[W/}_ئ?Q$ p s%2W{ Fs>cʪCV/4\>D9X1N 03Ugٸ x(̛]ۙsvWPc!x\͙@`#oY- `[y@ 9IX ,@wQ PMj\OY`[.>\00Zs> 9>Xc]VlTpz8'QK㤑֥\@*O>-*]Y14_ ɚܰ{mA8++tc/"@Vm30"iDpnm3[A1(z3fePK:ml&2Q ~ 3f՝BVv.+wGo?zb=~`~1, uE,(W"f8l؊ IƘNDjzmNL%3,>pL*-RDR/[yŶ ٽimvRY0A{R=z^~!+HSRQzSVf Ow}]% s˻2c>ܳް9*3!K鍞 C%&{9Q, DY=IW%3.Q~57;^3BH=O$8td0D7!f/̌Rx Bڝjrb9J+X&J?=~:> όT8nqCkOgtҬ֜Xl1oGbydeC+ bXV^HZWس}y<s>or" z/(Pek c)S̶ 7qC",+?f4F%w`J5=\Ol)l#dd E6:Ts/JOs @Mt:Kmܑž\Lܷ/ΠMhgm}BNjTt? <?+Mtvrh5>%_ H+ъ$_^?,?+0'ߑEixe@0tNP4&92%l%s4tL|,tT ^gJ)Z[6=n2HI0,`Ѽ T ފiG ?sk-=amH8Tm?4QWʜidSե'J  8X͛W!qTY/#_~~fDZ,CӶg2"+vwhsna5R }R-Tb}N ?@CI27ׂ ͲlD3~8tqC) 9mNayo2 9XmwݺЏ7 {>x~"!qk #{wȂ~.{c];e1Z)6^TG&OA oP )30޻  pK%D[rZPX/hO2!qBf|4 8~\mU^|zUVv$|́G0.*/eEQpRK, j tЇ./fbKc] eղVCFF3&?8o;!<֦w +&tSHT %9lbz<С)q.fq9¿O`UNH(& iۖ~?EW@;zV)7$pH$L540S!댆A>%HSARgEo?XяhsĮH7Υc1%%_x茑OȶxhMLM/f]FB3ê_cda\MU1X< EhkÜ~c3SRTlHiî;LxӃ_39QFCnIPuGRz*ؤK\t02ڑ^0۪Q ^Jbot1QL3 dQEŎrcwg8iV&sNPR{ΙT&TtA7dbAE{8j1\a8Έ7SzTL:?.riʳӄ19(iNՈ.v$փ [D707`_h;e"7/W>Y^ EH0;K{T5BKmH̨!7D_cT Woiy}xĚr˙ @3I_7n#VDe"`DVkn6-2m]NJUnIL=yZpz[h?i K\}Gbϼb KYEЧ"9;n'Jȁb̮܅oR_[,6?~/V3/Nǂ$h't#!   ;=_"f\iffE.Ԡrt6i>-"3G=Dac^;?}0w*Ù2,HC5NƵfa8xO\/厠dt# ude~RSQ1qIg{Bc+`NVxNY[*7*Τ!q{7KzBzR?z(0nr5Oj$:'Je+l{s+iRRu1a$vlӲ%K* eȜQާDȮĽkdÃida҉yp}^eoXqbUh?e ʠ;CeY__ -Ei&?e%v2ffGfeսЉo콣:wa[SbC-;kl}2<=s I4o-2Wpˀi3?Ou矈&\K*K&JEB@ANp'%űUMw;eɢ98yPa:.Hh.x爪=x:D< 1^',3171ǟǹD(WKdL?Rb9jαEc D]! x[\}΀Yb->ڏ(&SELfWRoʪPD'i=s"A/FOp$k^U,jq&qK la,۵MhaD{TP7t3W[,پ4S5z`5׌wKœIe;x?Lw+8vrI̪vշV3zM@p?fޱ?gR}HAٚy^=mlK4]ER^-G3X~73sDשύ]&Ckj367Ug eܤ vb!T諾Vg6;[p8]qX!xH#׈w(OKyj M0F(]PNyǑ7:#%F z:0a޹/!tҪhÒGeE>{h\*8@+[^YZ3˂5`7kۼMng:a)UlaRBMJ-D+3[O JʓL)/u~&q0)mSG# DŬeE~sb綸,[NbQ=]ݰǏ"u$A<$ϾIZxFxv(dq4Gp9 B{Z!ޛmޝJQa=7ӻ|af\TbSr%R0o8ޢ=vD-TȐi<% L'yP8-ΡQG 4,9c*RsiFҌf k05oyx3ס^yS+K;eRVcXZ %y:#`g^rE!1bV-ZCuu8)ۓh]d򆈶}:]>[,G'r^^$vI?[)7gE*NLeFnv^*?^ 5CAIuRD"r;X>.TcS`+jҫZ#L{Z[-DT`ܯ pcfʉs(֭5+=Nw9PIBTMf`b04- B*p,!o Ѫ>&K{`Ϳ||6` C][=_!a顚hs`Pq9$ jaY>4` 2g;1H7EX&B+#Q$ "6U.W`5t >lGQ:+X>fbwŎ i+E`lSQ8‚j[n/(+RI.E m[2l__?6PbyyToϵŠ"Ѣ7 MȕJ!~iNNIb!HٷM=_(cyld2Z9`t0~4Fj՚S(e;@'5'4[wֹ̼ [< &@ SE9|1gU{Y)LK%e'xJF6S.i4y8"[>BoWU((gENl#hr~XyAed/td1֝KJ0tς]RW0T@ln,,t8'0뜄BS& "lg=,6K'Upr˝ggkYLŝp:Kn}ي/bb:芧\3d9n|puevQRkvdvu^i75&t!̗%76>1/Źj}swZG^+]zK&d$p##"ۗq́=ly\yf(T-cX^Z'N8tkDtBC?uY蘨CQyfl{L7i۶n)fͧjğ㙯h20'm 7n>PK苜NgAư V#Fu/LFYYE]ڪXAÎ Ҋ7{Q1ǒaXrmN~ZyoR73C\!0R8PiDF5NcO6rEoTqF'm:K0 >دJ\kj!־{`6>k&53U Z6l,/y u/O\h e i9MWf5! 9!{8 G嫅M?Ădw"zWfnm8jj*agJK(\'LYjo#%lb *Pctjb%6;˄~D,_o}m-;21rr-9/RSFT`j3,M#r1 hw4]>94rPmEsc9Ssꟗ{2@>U)7p )W>L.rl:Fn^X4!kRBɶn, %O-i~ dKj@߁(;爵ȸ OIv [j ) xO- kuF8)545_4`:DB(P!ϕ%z[AYTxK۳Kuq4RhMRحH=؊^H< #kYнۺwԺ\A"\"p,T9xWR9 l 0`e։b<'mmKGs5z~x S[gkq< װ̔&a6\V7x&F;@(5rg|O/H K`.9Vy,0}RsS|s;u}.M؍Q]׆X,+nv5 fwx9%2UU?jOM-S5eI=Ӏ'|6r4243p]Qz3g`4H@gKp;%*Iej QA>o?{;iqqU63\H N^C]ܫdL=u+ɬv>j{%EU`b[R#&t5x#W6\ɱ31uOбbJ7a|-whQ'e DE(g5NwL˽74ɚQW_& 0Qqz2R5ǫGEOͱUӦaOw30WG'窕;nem+qDiiWi!}QE%- 4FEͣGNw.*+Cݯ4%)= zLRN@ЩrKN|g;ĕTsK"}`t@=N6WmZWq:(Z 2ppM߾Bi( p i >y]+;UG˦}xcߟ:0vmCyya9F-bIURl$3{/0@AhEӖiy! 9ղmb7,+|ojx*Jxkn6~;mOQׇ&"Q.\E޿"{aB> <.\ybCh} CG3&m~R60l֫#8,b| MseK=iD2=-mW4I| ZG8ED#+B='5`3 VH9CT=_MӃ ar7ӎqLK'5HvMkP$ŭS|yX`QٹюGs& ]~P]`g%PQkObޜŭ"c m6[P {[c&t2F.`0~4-ʍu1Y-MZoGuOwo=#>SeW0S=;zioDu>dޟ,gߘN%/Ჿ-J6s4/0zD o^7WD5g d\ oY/>|ݒq6ov HHD//p tNXB|l]&`?p ծ9X=Ow ު̊1>h V_d=Z$z/!.AZC\jl+K_T-a3Z.6|o/ D("5$DoVp%, 㰘60YhLZpC}9SOfzռ[t>NXN Mܻ oj' DZg6ﭻm_r J³n+{e aQY-'ksa"p";;Q}Gp^tI+t4_׈$WR 7,r ^pF=F$5}H3u)_|̨ܾl=Re|Ì_H n0lB{"Z_?ЏyP8y!6ȿW҄>S;>~qFhs73 NYP^OMG&}.A8̵ۯ9QPPؖ?=N2`cB$e"Q ;cV|d +3Wc5't+ϐ?mh UC)E-T>A.Υ~/LDkI9ryk(M"ġY]hC1xDh&e5HU]KwR@տ6zVu n co+XS]? ?Z'Xۼb=KUn):ܼFyt$*G/%Ѷ`=? qdC yݗH|V>ҕ>Yч6c % nJSԄj"gU^r"Σ1I,S/%@=xqA!5܏ha2FU_@W& u>[92W4Lk9dQe3־vJۓ_V7_j*m_{0[pliރ6-:v|𑢃 gD 1vx.I$FO;xj(/7czE렧mcWnLlB8f3sZOYk9f%PK3Ժ0 TE<nF5CqWY?V, OZO^Zy`#Qh#ִ#˞흟\E[F^D1%x)JQG$Ѡ4=lh#-'@:$/lݝ)EnаF2Hv)d"o^q&JbP-!pZGG"$A$݅/v k\kZe<BSxۨr… l/%ᙗ K4;$V|b532c 5dbcMtӞIt.bDw$2L'ihm`ag`ppUVt*dD$7-B3Rڹu5gqTNI zrvRg|}̶5L.,Ѿf ƀja$e[nԸm`bU "K1cS)5-ɹs 6]^$ޞxm{޷CVðYO )֕' q.UK1[ Esc 1)+(w`2 ZOSN+ lUkac-eD+HEZXxhCRqgCFk8M)y&[hi5?ޚ\ ]v# QQH[$xX ,(َ.A+{bo884ܴHy:ʏvwUn,VN^|YXkjd?*X2C }0ۅ8HIBVU2A | ѵ@pAt.yXM<]=K Itc('ĹzKM5JagSOнɜp8 z9?7, 'ܚԩ< u^sÝ Tp^Oiتcax1z'nDiki\E"J o0hIh>myӡMEF[Hv'[,^ kc6Z`/nwHbqC.Fv''Y?mY$OFa߭87ޖX<O)4=D⸘!̅R_ܡ UԐDW=l"$ 4G)BxшxIٝJ5} Zbe0ޝ!O$F7 7[߄. tw ji UjiV-3z \Fx8M#j֞kV).3X['qS?dTPG簎qS<ʓcp/!>n~> e{N-g2k fU9[nn+eN&LnD^i醪(x 9q{zun6@658]h(tY xe S#+dq@G"]RknH4 D.B^X!Kc'v< tmkx3?4uY.#8n2}6 WkD!93q}0k5c6`|{~y98MukO0&snSsB$c@džĞC gᗬZէ}ek2\Y_hQ#jÙRB5"v}@vj*h }}A$z%:"508&n }Aڷ(GtK9ґ-*;7y;Vs+ `nGf k-&4o= yBr@1A(9!>WBc --t.V倯)D\9WLD#-mc!hIO Q_%1%O 3MqW×Uۯ80}RЕ"QOqgYĞX#7,-civ"}ŁG9F(#ԝA /ɑZj0`[C6"[gN KSv:/A` s8w/TTj<J)g]kyI`ScϿYDX|&SZjO5;E?p%XLV(c̭RX2:8h$ٺnU_.{Mh!>3p2|F8?~Bd{i$wj.®/_jϴvGf?W1~$j[ΒT!*;5bl &yq+!MDcve٤ca(gڐ˹8@[{MƆq ]:&up $%73IA-wz+L&m=?Xv:@y}ob!"͒wܬݘ+,Oކ yB8!Ѿ=fqt4ϱu=d΃[)-FD4i``YE~BF+N:tg{Hqe01| jWBl,Mn\.H kaz$/{yܟ>,pS R۩jBp.b,ys9$̱fƀ9a9gnn/sPXK2=s&ݒ0vW^|ZeTnVgd2,p㮍\T^<amSQQUk50Se㓷J J8kأE`⯑KJkvr¦te{ şضnrsKSʬqǤ{dEu'>pq8תgD=:GvAN%EQN-鐹y-};+xzVyj}*{ q~4˞%m{C^5-f2΃=gj0/L$<<(k)&lث^-b,,v/x?| !_/-,lq`ԷcT❬?wa>l7ک5Ә>۪΍ v6>NS͒(Rh|P'C˃1xdk$$6?w# CZ`ۨz;z˲N !f7f:~`R*.=B=M#(Ԓ LPet)ӌ \9n_pNGd`0nF敦wg=\we}%쟦J,y6 ;)>g14#o*4.nHzop+03\᏶ڠq#LI}wf.IpO"cƻF)]J>QBl|!Kr{#,b8,^d}wL%"kbt[9@a#.z؞>ﵐ~:&xGE :'%Zi!@b+s ~)0̅JUd}LX$:4/-4<\KZ(┮v2Ȥ?Ö{*zD:'{Kn^]sGuڲ #d9t1]U[(Dn2|^zKzS$JiO5aj }rR&ܚݳL#PN`|I|yjb Ss£~D{ek/Byhu"\% f0l0)A:Z]`rh_&*7)4s,ӌ3AeqU&$@ov%T] eʚʃwb?=ӥe"w9ar^^қ!GM7-S\\Fw^ݡLJ_F?yf4z4LAEcdZ͉B`v{)U84K Qnrhm( w*z)P77뢁{MG#ܽlcU' s BoRה *8l晵lA6QcMЍ.[Q5P?gg S^/%,;b9ZRacJѹe,\f|}Z1dy/dN!MGGWW{gJuJ2<<{д'n! A@z\'S:}suwLljKGNzK*4uKwww*Q,!$:C6ƌcJ*aer']:oO6r ~)C82Ϙ ( \ٗ3 ˰/ELM|"zUͫSC1qN.lePz ^a*)BmNt޷PNL&:[ ,{>%["7 ܺCZPJr΍k f4`S:jF ~zׯP6iUa'X>w|#"MԜkYAc.JL*B -G6PPtwe(0o]O|=]?jB: QfsO?\Jʧ|}hr =׮toc hn?iqL':Dْ jvF>.t(/x63X-qUFtn#c 2nPq &[lˍYĬv-maBI1 !i(Af>KȎgyM@qRX=L9DG} U9\u52{zH.mxooB{|69g&DGLO1Qv }!r.z˲s =:5LĽ=n]ĕc[|\`93k_vΗ&HJg;5ζY( ከ"{Y_;vϋQ(6(y=˿oId =FSpP`1cYU6%ruX-C\{l# rxxF:W2 ׍²&c5Չ@ Q<\Vz φmf>,sλ#U]J8]A,05p/0;0 0riZ6t,0V'h)_/?bt*Quk׋t$%EP>" IY< Grfgl99jdUP"SJv;/Mމmsg\y+@'+ d2xQfBz!X@^~-n c٤Yf < ͑j569P_>BPjAj6˸4 1B C1O&o5|>>," 0m 7M1Q%h1b="Sttlc@d8JfLO}VƨQR&I[g^1Ľ@&`7vVK]aD.>fUceƑw!vF}^~3dѭ]bH9{Dޒ|_9-,ZN>M{ RHm!w&Y?W)7baX,Ld^1rfR2h9gW4t~qh+sÞ@ImeJ#J}͊kZp<$hT2V _O#iriRΰAh] Ķ?fUS2Щ60m nșO uBsƚvtF \Щ{]ԏ%r;4 M04J@FƕF3]~y 8جVKJxTN_R^4E*CuDcp76yGY߈FH! { T",wA!([~5u1w1"rc,Qٔ!~yA7x]ւde^Y1fq~独'tz5E(]KQ/ctڟ!W8sS߳@Y_|zޗ/Q?EmFCs)%)TOª);T ȯ7x:td,Jh5$yۊYe_u\r"Qqw1h!dbjB G?:6jW_+\eԉ0STݥ Y -(Tsu nU+} Qf7FŮE$, tQ]ȂHEzڢ46J\W~.d ,V @cO`sd|KmB g`g^Vm2-cuEn‚;r[=O_V5+408S蚇^[ɖK'5esӝ.&雩q);"`g#UhL ڤְOT2;b ʍu r8.ZZ l򕝅^2whH,{j3 ri0}@єq%&JIEė ?Qx wUZ].P9;9Բ́ r[dc#yPl򚞜~Fy:R%NXJqHҰ +ᾩ_:ЧrXBB=m8@xof_(M' "8o scsv*٫!5ՉY%od_YHLeʞ QQ3( OəNţ@Bqj-&z+qxU[A QtIq02N 5ڿbRYq»Q{o˨pi8A{3ٞ ?L<Ɩl;[gg_*P*_b@H8o]ξ& ]t>”=-u%ڦD5YsLW@ls@P %f$" z^,6SvTڨEN^ `Q8iW:m%t"Wb⏺ uox Ye e 왑 k t(9zVXo.C҄*x1Gc߆١~y[L'Q*>ύ|J7V؟ԻnwЅ%2VL (yO"j͑% rv`N_Y/o!}[oLwI$!Pֈ tG$*GTfs˥pܴ*5b.|3"=AIp.A`͈6'f93P< eA/1`FGrtK&[i]'N* DfE7WIkvU>fXChef]9> zE;o5$ӽ{@` bMY1CzpB% &،3H"Y2nUx7-' NBNc:''(߫GD\6(?C_sa/ݡe)h۠> "R3hS@=1LBO|3S&hJzb'G. Wv!sSxs:X Зy'L#`yf p]e#@W.#SB"s14g\(2zkQ/Ǻ3!N 0Rz$?F,i$L?#l O(X C -% 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.WO3!D4XI}oTZbX2&rgE 5% lMatrixMatrix.Matrix_Legacydocument.tex7zXZִF! ?E]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%獉VN CP`AH[GOg0SAH .:i\A(=3lHe+V陼#(gjk<*8ns0\,*&nȲ>sp+:fCaPLY}K;0'v3ktюIaj Q“F] U!Dߌ.߲gbpwEd7SH6Xc-5$M=rWЏpgAFԠ,GFm8Q] 1NV=\nJVyO[䡘>`mW.& VǬBbf4_rjrrIyCdaNS5s?#,#T2q\:Nb`yhB;=dFZ:+&\kݹ Wg6wٚ7A1miEy2@N8IOPܧ #o0@#Y%oV1+Ї u}]<` tȀѱ"/-a_k{d{w|NyՓ|/9R5%yҘCKXZ$n1jmBvf, w E`" AXi{EX2л/&9ץu-g ~n_{ y$[&;f08>Kޟ]DZOH _B&ڪ$DXNYV|;]!8x:_? j ! h4Z {.l5" TBKK<(@fDUl:'|7?3\5!œ3IJ :::ZU&nw$uGc3'޻֡D}$^e;-Ȟ,SF6nFgZaz6 Cp.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ȣmy\\~@rv|T-CDThj+il0PͿF_!i|]Ls'%ZNt¶?/%x3D_mdӄ_Eӂ!/`^LeJY4tTT*յ_6j~Hƒ bX6LsƾZxqSKoA=[VAk"@YĒ 4qsWs g? rt "$D #sݎc5<ђ{L>\aK +ޱ14qQ5;ǣSq# ʂ(|:+ߊ0Gt}PQA|մetEs#;i.c_vQsFR뿦]:=^ ^U%U_ +9,rJ%(B %LL[<\ؒA9@5M+ϊ Wܴ6Cũl1FCظ='`ǓA㬂/4LjyIQhѻI>I)HhQ@P#8pO[VOܴUXBWer'o>*ELj2% M$P! Xu\jV"9J.ا '|Y:&^yv"ux-!/--?7!c1v;ݰXA˃Abc)P/N?cs賫G'^\:&c<^6l^\^0d,G <^de%d],)y)J/$U A"2֦4;g!ri z#FK=?QKw%wQ%:氃Yd2pVy'=O[Fabzhī>!F e3k 0eShRy~DYb;,x YLײ(fٍ>= U[ssُ ),}B~e٥ o:}r*t웬dž1Iy2i8H. ۽-K0[=oVyw=DP$0sk Pi( FQ*.hO9߼85gboPUOAah8(2u>.DaO׵ɋx/?,Grꌒ~ZM9[Lc{.;#-<ίk&R]-ٌEE5;a1/3zoK[[W!ϛÚ+Ok6HWfZvQM8GEO!.,^mX `.e꘧IyVZ,R ~UEzŷ^%R0y bhzgDodz$j3NXtUewew<2g+:)Def:IlD$[1WHɄ(BU4Ci6_F;mK_Wl.V`YK![ 'y HY9;M\@(DžZ5e= C_┭j4݆SUK}XFo{CqO=^%Ê a[W:n F$Qq;oo[Q+nDoE֏{-io騴*E@uSWN(_iʫ݂zhK7K$/.ŮUlZ #S k /.,C2n C\ =8)Xȕыs:ñtܴma%*{]~Ӻ_OP/;S`$[m f󙒏h#mHhFQOX\s}iaFZssD*X$WD?OEt5j@KlUVdh;"s޾$~e p^]{M{;&%u\e;~6[oYfƎ, Jlhw}r xR,Ixހ4K ֙|0gYZHJjpBf!-2mLUuD'q!;6{4s w([zs,:PkN{" u ֹq< )cXC!** Yi@QY"=c5+"n#wtԼ|XS;9%ybac/?͋H%6/HB~@#S*zB&Cߝbޟ>\v疥e^pj{Tإӳ҉3,ύX ]t7D?ÂG][S2&`h5Րyn\ fjP4,dt4T C,8=`={Q ֮HfGl8f =b*i/ȉjn)I0KE,>܄y]oGc}Y?F_(cp PDuWVBTh^| 'xRH="s>M$vσܴDR6<iuT)d @|lb4.B.Ric^KYµ~k;uC˟F)h_҆R.lT\g]3u雂zVW%MMsPluz2jwTZyX齡8T|YH4 5ХQ?"> @Tf6Kc]uߣV0nmk=@ ְo*- #\$QkK(ͅ򫏥WQ4 }h2 } .؞&/$MN_KPr/]; !q?6D2eٚ@XheTD yҏqԟQNE sʁ"zV$R}dx/zL.iVY2< Pא"dvk@/š#ނuk,SN6D.`.=0y%Y$R1ٺ}/:d{xPV%U`=BHC>O)Ii>w]?֯7||tfe%*8cYL:I6%7%)ApܭlY_ "{BgXQ1]1U^` +FZ6;+9 ګ \ehm a"İp {<{x tR hKS$<~Tq9[>X|%$˦ʃW* ^`5nLukЗPZljEVq ܞqWKj\&5ͺ븒YNO98V` ,:1sU FJ ΆvޗzCgauPږ%eo{6l}z._p]DÔ񦘥MR֝8K'Y񼟒c3'7t@ YU嶘9uxG~rl`{l.qoE"_S> գTz5p4#TI>~̓ɳ1jb i{I >,0po?~CR 2rkl)&̢D}{3 "Fu4-3qylWs$m%yۥP@ a׬)nYUv񘦣Xv?$y^&U+ hFC;QnpڻceLG`t_;S[5 }8xw`_`23p^G'N /P .CDv >Gu@CR~"WNJZDfJG(A0UߎrDv~u+6ᣁ Q0EJ yE#Ic-@M?udVNǢCt&,I$u=P-8p(^CL+^5IGzz%`ل#uLVy`YmJDBުFubhRdÊqS ۏk?L}nGzΧT ҡV/2o7@vAoH o"}`g~/n3dE,]DGiC}J@.E +C>GeᰰhڨInzuUrh}1v.*ݣ!:= k'Hw~v1L'P$B׹`5]x fz/@8[Yq +lY%n H&ZR K#fzvmѩԟZB36 ,9yxh|}ܫ\YBQft#6znFkyJФ#fM!'4 Ȣ&;.].+KP쨘=dd=s/4\?cQcLYWvs_H1M>] d ӻ* 8;owдMk?w /ۼi#]D&;5Qq}wu'0A 7|C}n} qңb$d @B$Nr=04(&ϣEey YU^|&KClcVvjTO3ND~{hjJIzͼZF&p0$Ų@%U8,J댰*D:D61ے+W_j?L vK?\2[ on}Yi P0fK}7;!6l-бmFM*M7 Óୣ݈=x[rޱ)"6Y&AӂR>a T \l;/\Fz?)7h6I8=r.h\ܞ>;>8FͰZӝUE+:𽹛Uu1;W=keb}P(µ3H7 z.x̬wP{\f.zsĦ9YC.BԸ v$ԺHvs~)* bȔ:Yه0Ego'5A/n"G3 %׶oh,?o&Z~V+.S^b[|ECBΠih[A 6k#ǣn5"ƌq⁋ˑJח8ʓ-mpuJK]džڊPnQ !DW4\BKgWġ( H$U4;IfvdCQoD6 dy}ڳta%*.X Pσqgb}ﮖ_IDSMl -_qz+u!lp~9c"Y5 vt>*sU1N` VD`4U&xl Ї|S!v]ӢO"f›{xc>9]|7m?̧ z>4<M޹OֳpBWaQF81wt%ڜ7ʜP-2b)nɌ?틷F.:>pÙuR&u)6[' {@ %peBuˬVC)%J1̂Z`* ">_W۷HBUXqYkm1iYu+pz0CVBkY&{ik^c4%[I.FKt\UͥViں?Me8JH+ə jRGu%,:Y\D]eCKvuB)ʯ($;@!og *X '=4 Ʌn[9T0$quMEϨOJAS\wSl׊^fʳOMv5Q3^6!y"la\BwS<.#l"Fw8 8B,z"7΋Z ߻լOԞg eNqAG$YI*:OFt'wIe6x8<`p|1(LulYOL0IE]%֞2FRm\qB-*GeK?;)5ry#4Zݧf35fzr &_pI 7u'/n@7ޙ:D* C.C C9?k s37 H@9,%?n+]`4`윹RHgB&0:zgP%r+HOj"[\Ƹ A=c~'^.]L}[Ssj{.epX»3-ʡ{݉py[d!9>%>%%λQX;c *0n5c䧽uQG(;3!"̈́P"k)KtHAWTMaa 7D-h&JTGV=gUh!i9 ~P=F,"?;R#iziyxMv-" I7 Vɻqf"fpJacƩCx1-?2fjL$40mYc e` tZ \)4(k/BX͝1g"hEW#c6 `QoNb!P%ٻd6:x(/݌ Q T5(k>ZvAx`gF$\ߤN;te|I{ /6;bn `8|]D' {MuʳI)1$B%}c }Z> >Y KJSJD."-@TT ,gX7ߎ8wZW*`Ŷ \kzjΐy)!#{j5d`ol+J>} ?;$Ldf /Iv"2K*8M1Y:] *Sp]TujOŽYX^fR2]v&FZ5B"OB!CI`Z!#Y :o;|Xˮ;ZV<[q!'J ^pښ)IѢd66xlp<>fp~a}VX%$pڝ[Ԗ 9m mͿ=F'%;3#Ump"\ r.j`?c"ca UbM1Nqa~"B!) ꠂ4^ #X )Q #t< $'\ui;6fe#vCe.ƿ(.*Rre:dG.IɃ&JkKƏ9 2!ou"d~0DR TCDP:5-!)#0AoI|og-]xOAfl;@?bv4qKe{Uc\-OUj@5LG-9]4\z;ysvY+p}@ǗӃᖮxr*dXi %*b51Ixe9Q8 І1EUUL{A{ ¬/4uX2EҦHypؿ;n{ a $k}uEW; ZIҒb4;4"w]t`xTIhqs=ly3f9|`i:L eWk[?6D+}P/oT^ʣoV%<Z!H\3%hw o*؇_U\QJ0eˢs>)~r= [K~St ׮/e180|8[Cq7քB7+z<@v7#6y묐j@W.-g @ Hi%;oF$<'_@&J?<|Heڃmfܐ;׿d{TnSYpl7_(Cjp$uZDL`V^Csgxomb- OQb~tYo!<'O<*<�5Cú\I^|{Ndg'a"Fp$?0ar؀ :4r'ە֥fTxl=b3=+3=״ AJbJ N}W?FKsb{o3$MVmWԹ~Ƨ=-C[lylBY6MP=bR{077u:dCѥ3['}oh*1X%\mAGUS/P[ kXWqPvlk ;20m:MP'`w&'6w`YTOIpGy&F+ᒚ3j"94=Nf u\4}.RֺmR\!/cv*L%ʄr܅NQŝcI0D>¸@)o0nOmvUӟ?Fn..p8 Tn/Hr/_!vܶgPzCnq@v ']ҷJo)IHri0D {/tROL!*Ign.@zUHxK+/pLa@aE%5jJ85oS ƚSFl:;\p>m73Ζ_{~( Qzwt*ڤAن*U40}rEd,Ar!ʑ ngش|EW#GKDx)ܰbb+Sbe80)aZ*4P<(Rp%DZě]- ӼP6 1R F|(lֽm!ǯ%Rȕng+U}rul)(+vbh d+\uFtݠΑ`fԼZK,wg18T{P⃁`4#8D(imJVahK='Kt#hui7jcXEιwIfuϨ88:g _泎=y\XlEgWOG>wv4BG_* TMPN ps<ޮĺOk;\anH S\"GeG2 v듖U],°V5c B)jjq<:G隦6vi8kί /`TO_禎'K'RP(\M3WS>8c>Ʃqf1sh/c[7h$9o/>|!K j5HCRp`9hC6_Aϓ z}ܷ03 E}{{,cjYvzY`=dHAFPX;To@øR.0,cPfuu83#Q?.:)TN.}޼nVM%׼YBeɿXPΐ9ډ `/N{| AdZqs{(P9ͳ*: mEKMEՕ[*2 툰GoR4Uxf0O. Ys{8}I D_Ḑi#X-ۑS*,[q<~ -;eY7Kx @e'<[WWofVsU\޸GA/Wq04&h͔+с?Mꁹ"6_0\Wă0jW3}ʑ7ΎO;j D0Z5тDe/+ ΰi Mj lCܡcvwCtRa{:wllg.zVTm)}8shm>2}lf2'~ #-4$=uVzQԓ]@";gG^8MWТ5[˹EQj}[$t^">xn[Ź9 Ov@Z.|OZ=LYO]ԁ.tC^DsV2.ձʠ#j/爀))e{Ip3+X2e&[J x$T=ā-荓關hϷ9!5w?.1\v7 6/ sLbp`,0fn4%~"E!#4vKZhH[/',;˚P7KI7(zNyqm7x95"+_\ʄʛve1߆bճbъl>x BLpn {ÏjBB"G;((+eY=e8R%A^>E1J,='wWfMQ=#Rn?tPu3W_NLwsC]sZݟ"l0ɥDrf#V*F1? G f{}þ{ mM[ גaU'ӏ4 OcrSj.ʒtŔSW,G${lj,G-rXﱇIAɯ<%iȨB1jj3Bh,Y @Q:Q_ysնߵz,rIбt!r=L/ _2>,š84=7ZZ45g7xG 3`)+ dafb$!zGp \֛s Wr|NgvMMa@Ռ  xp,]x#L.I G/)i~C --: 8nY6|>+@\arW=ވ܀h[wyyO0`ir[Q$I W)M/`o[rLoJWs?(0AO0E<(t"7fHX|ϊu*iNML{СeOJ'Z/'bGaQO'&\C\ҎBțXHauh4;A1x$>r#-9Ex![w6P[5ǃ=&Un^6s!Gݯ@(_MD>$#-0&]]YerȂ$;G"#*<[d<16^,N-a2[rf$4Q \ ;4hi3ZXY IcҊĽPn? ;BeP&mC8ѫN[7y䤆C VIqZ=UZ?Znhz_|̶͡x2ر.omnYElկ)Z;0l֝JŠx۸BrdBP La x I' ,-ê]A{R>UM.Jy,C*M'I7@HPJBN!#a, |iDK%}߳H7"РLis8 viVqo=SVuPFՐOۦ~jnj2T )vʓgn~__Ƀӛ!}-ܺnŞ"g6,(NlOǯ>tt^48l3@/mlzfȅ8R aciQ2CiqPKȴDEM#'reȪ)X.f=zF0 A_`voW-)ķdqBaPtbjn1U/U{b`1aeb'(=?_ZؔoZqwV/R"1cQ#FH;6v̵[t.W#cZTR=Ԅe`pNY|;uw,~6`q\XvbF45)dRz&kUh@M\LQ`:;2ui&$U^`:_\h*>[Do[Z%U{U4}yg$,zysB_FH5Jt+žeco(-ibpj/4Uq~= \IS㧦摞Bu z0 FJn~1/*}Zdt6&VXEPY3'\A!Cb h=c}3$;]S]*uNV y]?m"1gas/t"]G}|p7FK5iH+5JP,{hsgK3r Y&sGy\ #͢(W`nɚ6Ig%__WuLfpVkof#"2[ح~Owڋ5Z B)H‚OjCհtH/W$f{eӦ b ! &'\@x' >eǮ]=GB]gGi"DOfv_}_{SaV^'QDJZ ib.P4TDq" ]#d,']!xI< R08j:q,:r9|BQ9I7=:|רXe KjɿbYCWgݦHŴ9e@(N:Z!m4S+^-.$G{^j Z~y(Ld'ڢjU,t:Z/[v✋hQzT>TJն))ͮRdI#ˁE[U۔HU&ײ;G50}X.g/:tJD:g*.kS=L6c};-А칇ba]v#bKf&pA^P*lЄҗ^R[T(>u e.h!V #fOڅmn8\e8- QbN8g`v8K *%bh@#޸#/A&\&`Z6Kv!m;@t6kIr,Il)ح ~ *ݫJjNԐ}F{(i>$-e_uT.i\sNA]EBlmt^XgOcSvG'-^ؤ9D;RO )?襺kK5z>!]>X ?'F 'NdW dLk;2ֿ]ÄrFơnrŴ&=gȮ'Xfx^˂F/Ƣ[Sڸť!"RZg:#̤` Z0;T@@*aMjx,T9_sêC _ ['g9 -uDyesPaYR⊓ e/kxN*xXӀtDc.ZMwpz f]ܻ ˚ü$WA@ @=}r}O#8h})-f*(! Xchݍ^(*hxS6< ^E`~@1S5:4"TAlfWcW_9^͟c׾`]kp G*cRl^JH? 1u |V!]ZSmQe(a&.U![_0q(!@`6zтπeKt ^JB{qo׍AI:pTD}9:Y FEaRVmIG5z'`ȸ~-fWAsQU~H'zی O9 x7B"Iު>Wc 7~mZZ[>({Tm>Yn[`'wgIׂ甲k&*>Z2oNt&fI^h^E-05 [Xu2P=7 |- |O0Rm;P'0ܩr4MWyWbwq2ƚzYi}F֯~>b>w bшTJ_Mv / 2IfhKl)$i,LjO)^A~$Q5`Jjh9[G ~' ɤD`;"9Q u, > XufRhC#V&;LR>Cޞ,B{TM,Ab-˸7k]L Y5& z+5+pd$G[}`;4x,PU&2 }社) J(D/qG,0y)R2(_-ݨϰUwQ.7+`GvR |=PhW Rs mm)(k΄4| a{Xye]OUxگG[Xqc6ZKބ}N1MhޣWEm&Si5'.ˀ0VqBM.Slyܺ6LkvG5lR͡?[%b^[DBcjz]fCP,wH5s U"q 꼝^;B4a^nNj4BFz8>c/'&9ū*EdtΆE)9f6;sЂ_l 4.HTCXʭa3ʹMxfZz)΀)N9A:`sԪUcF,|sSqH88V} "5NZ>"Ud8o4熘c)'w_uH( ʋ5nQϚ 0}!:V%Tۘ~ wd悮Rk^>v^w\ 33ZWUe vQ$BU.zK#λO(NҠ3-$/ .8ԍ p]P XQ1ۖ*ǂ&jig;rmzt^f!uHIIoSK@ /|mz|Z,4aufG7RՙU;Sw;O<$ 94=SmÔ}[Dc%clQ ¹R?(A#$ +p`6 e~[<_h?e'dXڲ`%5!l\ Q(Rlj/1IX,S[ Q{,I]iiH{eo9 ~PG6wz 8La/N9Kxs<7 xBg[% Z KpUтm2 b%*P?[bԶzt}]k p)m0W))Ȼ%bFģ#[حꟌ͹_;vg *yœէ%SQu <%mA 766ڨ<'bU4. ?uM|{lvKo1Or h55Վk\[7oAqß {sOcz { ~)>fҔyyPS(Wv'ԩnsT]mM?Q7t#)45\:P bOpOچ <%,1K9I^|M 6tm- B򃀵IY_.I_]ңX<ڳũ1qUcXrc CMtu/ y\=#&_j@0M bP;o_ݣhMӰ,"Pt[&1 ~C;ȗڝyG #SKTY)DW~sτxsg9oj۷\JϖEB`X\10Y^GW!;A^yz{~x%յ[_^qUFջ\x'`հ+&1HTu#%# IBU`'we)? $9b?Qd'BN7+m}%L謁vM ӊOGZ\'C:,ܩc<9UկP{3K*,nQB1s)[hHA*LR1&{?U2HU^854Nm's6]'=MB)#Z2fq!BS[whJ4`?224c SYFhugYZ  4p /% 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`bBs/^:*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'K,}_ ~'3 3+7W)giףvM/zd/"~lL*,6CͶHs.Vp[3(5-%)X33,Fj|R'郀ecLQo̫yy庨{Z]Lp1:(Nm\T5)XI 3  'Ɏܬ"O:8SkšeW2*pbҊZfBe1q!nc$HܼR**(49B&-֤cYO@i!|<~v],tʿ'Fgf;-ڟ QDJ'#i]N`Lʆ-hS{_=}TJS78\#!m(㞣wcEJ[PDAQFU:W mwcFLiVWщ >NU&ID3YƚE*STtnjŠ|pS Ҫbq_讷sՁjOn͠(q up1&C`ڕq*u/ J$8cG(OEh8I~}򙡄Bb> ћ@UfȧUވ*7=Ay:34GbBc/uDL)KB xrP  ?F=!=A")HsQd1b7kSJR1I~AI3 '!SnspnIy@NCJ9uJXnP2f-k<<vemR4D4|8!.O \ VkbŖ~`S%bh~_HF=KY W-MLs $Nw3ݦf/TN]؇BTQ $hRooL 6et*bcHp1W?OcfA>^F4sa+}kUS_bEygWgXd+i9:;B1i6QxGO%qЍһ>;7 g$` l\6v! 'x?t1*lNj_j2~IrOEPځbjA+'G~|(jIdacY~h" @p4w||o聾td _%VR _{6T}Iĥ^8)[=P4lh#5HI KzMz 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;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 4EA">&?z7\*X*K>g%:9HQE]@'uaԂ:aǛo}}~'"h/]ngfqsݔYyW]ae5\mkdF Ma)S ɨ96E{R+skdE'r/Isn5I%ZȧEuگ1Sc fȣD#lADFlujA?aBcR|Ē,Z-Ȟmo;ctG({©!Ci džh?W>c,U% iU,!13 @8+`O*1!|P!Zy; JG?^ HF(/ ࿽7М?*x)_tjuxp_&'*̋02Arpe^y$ʨU;Y5$[ZWԅJEU\[~232lrԝk,cO+mi<ת9SGw_N-K"Sڱ$\Y*cQ:O}LǬ,+2ʓ~ :MU$Bf8& Yȓ[lOœy79C;,ԿǵOE$u^nȵD)ǖeTuq7I=LRd@os5bA?vݧ–%-d_r>أgäo }*b&lCqQ=TKV|9@vQT'y*|״c6񏲽E_`MoZ)$YmPFK_!{"2V -\y%c#rj-fm! m;2 ߰~DžwQ( TPPzQ6-CXG OQ8TvM8BS6 ΊJk|T.+UnIX%w9LQe5 %^/\ cg#`sh-/zv*' G +Z=A*F}偖%1MȣsZvzVh'cj'#krN21'(.oTi69U.Cf_ÿٿ|L7pÆ wɌuB6$7YFdIjEVy\ҲT tIXl$U_Oᗟj,kIѨA hISɥ&VJj(:ᑄו4cR߱ Bm;|zTWxr(W/DugccOj UQ`xe_PFPTggԪǒtH=R?\tZ^ |>ϱJݣJ0KッY:NMw{J>+a=貌7PIuVĴ؀pNuA#>Y%+TjrXc'_O%-P0L|2TFχ t'CSܭI0\%5jrF.Sş_Ob:^AVlf:[J;;4B*Ϝp3삹]XVfVɖ6>$ۃ#C`[ D*Ȍ@iBG0ΠZu2OҌ'>7J1=p\J95t:b 4;ZyBϢN{__w*G䆤 F2j}1? S,{LPlʪU4kl'ѐ+^{f`.EΫ;-2Ha, Q7QX0"-s4M,=IrV,q}iޭARw%v.;O̯F00UsGUzvM۵Cfhy/'`-¡DD dk4ŘV.0PF{ھGY3rYVnRXUVMoϪMAJ0Y}kD->GMnE"/'ɝ̅SPp"Å f:%`} z_qO9[}] =:X/Vd5T}M&oNOˊSCۺM(k C. F$ vr#%,ӑ䩏v%gY7νR78_8 r Iv;[q6tf=@k_ZHǜ6wCj[XۏzVdi87!k'R.ԈtG.hwK JDsaCqKYam畗-Ԭ:ၗ;U>g߼Y>AJmvyT_~0r"yC:ڋGӉk{ VܦPvBJy\fQ R1޶j2Uc TLp7VD^%̊ME`YP"$ט`$M+d t 2ítB|^ԯ֯8NTk9/Y*Hfe_e"{"Q{Yq\*NL4"GujFUPk\KSsG E*xAyEvcH{=yW%J NnS ewe^;82̩!y@a`{ّFK3gbHxcV*DNĀH)a ^(&=`Vk!:s`-k>PwYv^B.ʍ.dNhy}Rހ w0 T\gLk^h5Քڻمͧ"5Z%Y8zfĮh/1˽ӷ'#r" +ӕ.W,qҗD]L%>C.1q0qv#ڋ,:LӘ(M__W(!fQ؉yIyvsOp]-ViZVv j&:H)Ug9-AeiÛQD}";-Qn m[ex~2Trڑ|cZ(?!`̡0`iq,J2gMR/sc٪n@)m8S <Dz0"*67#퐃 .Ǣ9+1ig-' _0 }x 8 uJ0)pɁR veIuOO=}cNȖd@ ݞ Kvhʉڃ<3i oFgGq Ա!>Flpu]Qy{1dCڒX@7e`,%bI@b#lHV'z+ Y儁=bZI@)9W~! n8PìL25ON-g mKHFm пd8\d!j3ۼr|?ZQ5|QXg cqgm㉵w(Y7~ P4"h+y~]t83`1D2PYk2;VmG  旘P\:f@y-еBP2`-XJ%2nI]m!]eZ]ĥSH ;v6J(L=١z3ݟdJD$Cw{mm5u.uvliLFZ Ȉa*٫H̵7,Zm8xo(^фv}.j@gO(x& .j* bl$ gD=D^!{(o F9^[4,kLk^'7sŮ c9Z_.3C lIS8s n /x˴mU*>!c6aٍhz/,bRDgYZ+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$>|$+֯Z'@:pKz-5қ {s3sL\YVH; 'N3 N#L˲JAYNx@џ^/$/al_C' spc9A~ݼ l"FOj{> ]]㇟!"Bdʫ SSȰ,-o~hvQ{Sw U!HAqQ TPIj~ҕ̿\khFT#,9.>ۿsk'˻TlcICF}$lx[?8t|-IEYTaor)'D<[v+NMoeSq&t, 1 oZ;-fayƚʁ@PBu&BwY'qfn -4]VNWeOcjK`6t? \bcx:9$`mY5.J.%%ؓfe5nhUɂP{'34Fε5ݽEt}<*DQ큇JHbrA~7Jk4&j{ 6YimdҼtGA6|%<`ݵT]ĊBS%F%tŖ*Ɔh·}sI[Y)0Ow]A~vC1}? TnM*l89%#|*f`-Lf^k9D_& WEEWc/ _nz7I ګd hg'?-Ch)'jKk$%Zܰ*,6fK zGT)-p"L9|7XgM Ȳх$=*NA)..!{Wb 0;WN})8d)1y&!ڡMLYpQŋݲe.B97`&_w ʱ*41CM: 9w"P%^$a4/ ^Ye<[\igYZpd;]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]s3Ycs.hzȌr_yn6ZsAB?Eìi]8(Ĝzgeq6f~)PUX JateUkq)m(OGP)Vg 1(zJ0sLa0,\EоEbY4=@rGAT:QL[-'H(H˲ m-=+⿳Ay/K2M9HAZ.W^Dm%)tT7b! pr^YfmY{Л$ru;w}eu:g ܒSdN4Smzsv9eNЦfؑI@[(zSėOQJQ臘ީ M]Ua(NitU?6`?5WPe?g ӭ/tlMl\jYe{܀y+p*~BZNo0E*ZD{2d; !Ok|.>Ǫ^]zF}'~R(;u>Ċ 0VLw rfS.+]\b.H j0nH5`}f/h~GOt0fQ9[jqf,DŽ@/7`Lqh9 K LmNx%7pkwQPY &澡>=mAhQ(w{҇+7vVEZ/#h\"d`|Vz4&LJU92π~ӏ}-`dh֙oi}Gq 1` }4'm ;yo:]HU= u8hHj-U'&ʶ 8`NX8qO04i7F8 lz6D6[OwK 4 َ$J`]wߛs\Zl-]ߙl+cDޱJ7dNB$v<K~_/lFJ D?}`8kL2b7gX%g+2OL v0'#X57}=9ץƧah9!؊{nbџ-Su{DuzZm邸oGq.ԳF*fQ3NʂюrmbSj?̻= q39",hu0w[9,lfK:vJI#?7g ԸnŻQnuW=MHAY,$࠙2=Bh̗o[JGqE" bE)\z OzOuyֺLΰԜ4˃0sԖ*X:%j'wև״ͣ Ϳdb"FQ/5"n4="\:8C٢ihA36UzCo4=f񥸜2j f_\;\- ~Z:,#,=zqZ>[UdƊk hb^& WrKB'xt tMMS2cȜ0VtL Rnx\bO0j/kOѦ$/}SlvH Td<%*+xb1ΆZ)Yx.=g! tl쇧TvL"Ts$AϚ&Տ'[}4;3āfNۘGu,v< ]zؓ2.lKPF!A܍Nٍ |opw҉P`|-g4"G*6s" ğSw;A| 4 JRͲ; ^e$y6Ma}}ş aYt̾^Fǖ#0qgu[~7,c_B7/Zvޠ@RAq5\tMLI&}H@!0`⳨=S`͢e-(v#TDk.KN>şw}:½-P )Ɇs"w@'[cE.c\v>R9h TB5'nᠭ0q?h4y0rQp"4e빱&c)), T֡+zP8i\ut%nHn%1 n}뻴|=ĴſU1:Q YjdQq"3c/K魽m7Clm) Ixq#Dפ6(̽NQx1[lkY8 g8S*  hqK'&FH`@ jWY#RZYHWT@*NnElcWyO0vt ÝIӖcE2HKn*  tK-[>({;UCuo1-i{(:>e{kR)}fN3U"vK?pLjIP.;*/@iȺ͗0X.5!6cVsi[P7FM~sAf,ܺm"ٕ%mxGLnHLܤʌ+W:\/oCZVJ+\*,oh=2--'0.4b ʫ/d-RU-۶ƯBGowF5kN#/?_V?s^pk~a0=lm۶-jQsqRC?ʑbF9G5k3c&9d}KZT~ީ㴪RR-hPpel>b].H8휘^{ 5j#nk:NB&oj:|j%P5*(=-Rz.ЛT[ 8dC3ή|GHykEt^  gVeev[4&+µk QG.Խ)q~K\Ec) !o.ULar~BT k51gYZ  )% lMatrixMatrix.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;cFF"D 9% 4MatrixHOL-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#oY3w>c7v(6Er> N9xf t4i27r3#46~gygV^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@&M{C `B#%&Y-5W?QLJo?&oG_}?7peGfbɷO1!῞ϒqƵy'FrߨV}Jl5ON)"&׷O|w {RG3sGG&S'pO3[P1ia|ukMqmq}`/ǴdDu:S KxRRx{O5;i0G`X^DC"a0| .7###?k, .:.cg|poCu?VI :eܣռ| e_#>àw\l0vG$"P p#I'/yQ`ޤk + X Ɩ֑M_i;SVxD#$y2;!]scF!y`L60kg@D#؆ N/aaKu  pQQpJ?cKBxH|lrȠge;4S,!4Glwj:_|6rTW@MT97FR3-N(^0G\ƖSj)C_=&l܀sI"8D{D R8 1#N ޜ$$uCAZf6G^GB\oAE$2Z5uz4kKJ#OMvLRbsgS7(Ϯz?OJå4zin1+'EB,o?/ί޸NSޱƬBE#`s/yv)Mb1b ɦY!-d% [B5)8 Prb< h>-?-.Ib3%9 [rD?7DQ" xtIºm cr j*dCH"ҬͱL!wNtm!pX?<'Ma. K 6jYu1W(igp*MheM-QJN٦yc]%XkK0NZ~w7 $sh]: +lz̔WovittqO7>73oP犯&eDntg;V]-Pe91ꆐ<}=,=07$P=dUn@V8BOucAB]HV =wܘo`mNEvGce[| & nNyfEtJ[ qZWQPJ]pp!g3D>G _]d4,N>R.1 jq~DL i.U38\КN}rɸ0lSg"*qԆjx!Fi)z$M0・g`6Q+кW8OϚ V:Ym L AF6Ǵiq  Ϗt%G0L,P-Zd 8X*>νFӽjiA<@K̿@԰a9:gvZڷ)\1 'бgYZ$JYx֬ of&j]Hov5-5։s2W1\dB,5M~91sp@1c)i_A,$1*[c7͊:)oe+I1J/mg!y+סK OUJ$C?":4q KQi.C@=#UXvgm(Ss&%˻?ЁxV+LM_w?&x_m|SlNk3g^΍r_sKK`? {LNUѲ[m+Tp#s+mJv$7HEݨqտ:}"PС+z͞p(NV;u#H Ǭ]c|ٺ,\pt5~l٘U~(u1m2˦Q59!DalW+H)T<%AG+ZxtLd7mVWbqr8UMA{"uSll]k-H}E3H62Ǟ|#vyI`r8TCWMhE>цh<1#I{i]lRdV1?t/=QgєA/n^]7)zFPr;rXFlyM]͌ڹA yfvlRO>^ nitWo*g/AR&քu;%UKю3#"gYZ7zXZִF! ]ŗXiɟReDH$ 3gE,{{"캀Awފ#^s~Wjn,r!cTxa޷dce80=nDY*#Ui [(ìdAwI4%2~[@= |mrfؘYAw5Γz7U<a"`swDSHJ#rJ} )@52H)P}{jhlQ6+x$B̖GX#>1~gYZ7zXZִF! ]ŗXi%D65B" Ӫi)iZH#/CTӶGx,Ar){(CNf*{HT9Ig{{hv^CT6S^:ν#Kw4Cm,+5AWC SGv')o珅ɰpYr+gcqnrH;I=$m .%;'D #t~Nz% ).z֍Id8Qp`!cpF_ݡ&!tbln * m3 *4`R68y4:6 $Cޯ*:'Q(DMsm|ݓj1OK2 rw@@VΌAڻPG`Ѻ+"w;U2\jrǫF:^<UT" rB)X,Gۜ2MH>0hY픗EOZ~f¢Qoi /k@NA%Vsۚםx_Xjsvd:mg5JiJ'+#j[š#y2i$A*ً]%ĐJ0Z&x;cYbQ`9&)FP197(kkC ۲sy*٪ 9wL m)%`x{,!$[o'MP#C0BA0;Z*FBvs,h|s&wr9W0,C=Lu[LF%sO|e5q=4K6hLfBNj>E.7倎cdC;JB1jf:'[/9xqP4[skI,DjXBXLΫ.v`Op>W%wRHN_l `쌽w@ql3*M1VǗ;Rl-H"Чn;[2+$q(}@ahJjHv*GfJnY@0A%-;KV:@";cgkIW9%@7A&⎣Gy;ŦZ8AUeT Yuaj݌:\c+ݳd2Ұ y_UE kpTUMU-~v&lL7Q! P$vI~?4ԾeAؕX gؠ36 ./yFӎ]FmXu@M&/s&}*ɚA]C\蕺X3ST(~L ak{%D0P:glEM\`}ް8HW1`pK>GeN }s 6v"y LQke^I(߳W)}>aɨhb϶:<7 5va4z1K$"sLH̫pE6td㰿'..t4|M?!ctX x hwTSKħ ٝ=y ʾY nd^}Bގ(x׻jJ"UDZS|[a|># &uyc;1V4tR|)GXH8 igQԼ&i7y|4X5 a1>@r]J@~a\PBӀp<2A,Y;Q/[b\" \u˂@hk̴WJ.y* FnUƎʄcM)1&ȝ+:@uܼš}hzФ R>rl6t|$P-DUz*V 뜀xVz6?~o6~y}/Fb=/ʏM Y֞g4{AblJ51r6ȚLؤc 摤\9'\߿“+|Nuh-;,g+"w1PW8R%MѨ:p؂akh2dNgѷD |JHoOuUBWY{8AڔmB̡B|[) !}4?͏齵-mJ>W-hxkSӋ\l#{F,͕y1n |~SWI0M5飜'd(0v!fdD_$rrF0LWwi+[ Xh+#]~W7tN5fdkpb'BjP<j-j3S [?gUs+xFbD3a•;j[Z^྆s99%UR w1l@g sRϙo,?xe>8<ЩXu:M,GYRe\}taV`+9)@} I-9.iB%1p2ɡfs#L"|q2*,:{ P7r˖55֕a٨{}*؃@S:9L,cu޷l ;k\xq)0M%)!Anޥ1̶Y*V0 mT>>mu -Gn3=BEXB wCTEH&O]rp@@ Ǡ.[sR9Uo z<\`Msk#@jX\B`|DT*:Y rЌo9L嚋/bJpPcxP0 R-$n\3So:T_Hϰ5g0|q'Q?\kN:AQbcFþd(MWwq-ˍVHz(S)~]PB2B} 8gw 7Vu&F.ŋަX1\tzlwέ&F`z/*]sIw 3nBry;/f^Qbp8k WDooocK³#Z?*.4Ջ_Ie^]l (SyE^/^Zd9\SYZ1XŰp1K76+D^-[Q!ϹZ!u y'/2c'sT>KS7zoY.(:'@ Ϣq!n&'َd֏NYv$k9C^Ԥc%OyQq"t &=KΪG-`{uhXʆ,|7 fKNԭP7XZ T=IEzоY Shѩ#E'eg",_Rt LPu !l@%2վcťΙk9Z]akω2/\#E[AP<ް̆qVIccD*h&\Lk_˱OzTKch-`BfVAx:eɚ.cx9m^ ƹ=4`ˉabQ~A sGI,¦a2H7>4tb$2&ybvmyjSW :CBD$a`d5+Ky.?@Z61ЪkӁJI1 k^^`#ຐ]z,Fm5A5l^_y8ob` $c/Lɩ&ʑ5ŹfcN&v˅p~`v4+ # `CYi֑#pNkPB(W \lҾӾssrR68@8^pL1.=Q0Hh_6 XLA[yT4H IgorRm®H&: