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 N'tl, ]/ HOL-Matrix_LP:threads=4elapsed=13.727cpu=38.168gc=1.2447zXZִF! ]ŗXiɟ{€^՟BW܂c9M ]~>pׂ?!-]峲'I^=6R,-qje{.oU~ʲJ?=Z&ɂnxp~Ӎz;R-`wqט.iz2CJU 8jo Ds!@Ekw)eA|9ǩE{OŰ^W1M4/-*4Ki/]h,:ؽ;pj8ҷJaVu*ah}ne(e嬵GUԼ[g7|#k.ǾӪAw+Ws̙71eU%n;,3l52]t 9㎇G ,WJnMcoެ. ?J##sBO){Qԛ kF;mͬ#`Cr 9 9#R}Ȧ1q " RsUY#Jg؍QqC2q"k=V· Ğj?H06+2P!Σ `-"%;d-P `V _00_"OR))gM( O4 2z6p➞.$>PIiy n ?pRu-t=O4pșnZx󖴱lj" hvCI6pL[/d$nQϛOy;͢<+] cN&{ZA'WlchUݙWj$P<2CN6f}x_&*f܈쑵Q+fA/'-SJШ.rv!m{lR3]jf]PnxX]ǠHN*gŠ%oEgOOniVvғC3!tkKEެ!69h<#m48Pڴ-!f4[ !#5%gsg9ފ;jn }%nمu>B!uS4 kD\{2 [.. @hIC宔 gZs>J]*AO5<.=*ZH!O/_frj8(tHY,@4 z^,OIbtO/|:5T=x?8Пɝ)FdR뱦f<=~LDG ]I)sºW6 8!C"ch@Ci8w'bbrN cL˗ ** 0iNeG+wUKs)KQ}L ;lV>`+꘻<$ǍCs|GD ?!J+PMGt/"b5*J^ţ VO$Z9$ť~0mJ /vuA%XÇuPE@cMsHCZ)8hتyEV9uNp4G*g#WX}pZPEbf4bw0;^J O9+*G0L8ċg *ɏϔ <9W70p^)ؽƄ\]JwbThձgYZ5a9c1d4d9bca73a48ed5ffe114ef539c46017763c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 ' HOL-Matrix_LP'=% HOL-Matrix_LPHOL-Matrix_LP.ComputeHOLdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5XJ@^Zoփ C&E~NNr~ t6+b1nQMDLA/z03\RJ&C{mM.]$O湩XQ֗12[tS}[u'3!ʁ:ի9Bk w58VOjytq bV'/L`GhC7Kk"(BF#7oz<=\pE\v@УA}Wp#ֲ*>IYt{$9SPtk|P2 X%+]_DS6JG1g4G莿v.X}=l՜23թI]wphQ-w~|@9Je x ~e -(vmB B"bGPL^?ei2A;=YӈЍN1'ߵ Gggᰙ*ׄuoԪ|#Tq J!U-n[5~8VFLfD)I AL6N>8+Ko>!$@;$J,+BBZSh8zsÑeLڄ^b9@.@ {UKvwY-ejH(y :# G'6.wl+b B3bO&2jbmw!1oE%+~B% f\xq' ;ڎh÷j tcZ599~6)Ytٍur,4-*"|r;ǽDЈ,}BpmRAutjmb鿭jXk0kW#g魬n%;_/@Lq*"&n3w#ݯԮÃ^bkIƻŕ?z.Bri9U jI~y6?Awm~jCQǀWfqZy/צ~ sOa1571VUu@ExE55ݰsc%´[ߛѣCSm}ѰPy;E٠uKedw'bҌv+"by=}7j=⥺5FC1(AنgiuS=:` 0ď$xTQ z8z XHU+zp-β!NWyoz B(4jUMjKJZɁ~YnOI4[jg잚RSzmlp(u_@CgW?l" TfDe!.PIAʦ]p>_+u|dc/-hsV&%CjҚQƢ+ΒL"Ą#02znb#2ӓzjbJ@K"wnװbZ>f<^J#r#Xal٭ =2dbyjz@W4)mk-ihzoH%y?+%&JR"n@`EzG 7XRHuV$!"Ke>f'ia9vL [o66N6Mټ@4e{EIDbM}ÈD'*7Ebz\2PBrGXi@ {buZ:Mwo! AZҷ?!w@)|5}IroqK)4?}Ρi`kFᫀ.RvV}d +tS u kIAKU7uS@akKXrx+p4XJmp}h‚w?L;7_{a\Ff T+ߠ`G *Dl7~vM~Al5{ټw2eS /|1)~iO>ls^2.d]P #M+_rb d^d2X|"J5Q]S6=]mCzCc $<҂qEVOvVlfs5vD ET'Ϳ. [YֿBi>FjKHp`orVguYV #jSgd)j  @xZ))({0?fRA/WjwYj[r,Ȼ)+ ?XPwݠi70tKWd XBpErWz:. x[I$Paay8lMyˀ1x>&0 bA y.F q"l%+Cq$;O*rZ?yt/Ĝe}|݋bȏ3Z &i< 䆔+;8r֢k*9sKl#JƢgYZ 'A% ,HOL-Matrix_LPHOL-Matrix_LP.ComputeFloatdocument.tex7zXZִF! q]A-MՋhvG"uIBm5XJ@OF!xFї'}GtoehA/">A_DK̈5js|2QFt8춐#v/D<9?\J,Y+^<.ύ:>o?a)M*ήRWe^> Ѵ?\ˠ&$y8n}#U5yi 8aW-)c6o3҃&%JS1gz'ձy*+eG2 5ӑ2ܡPXRkMnUr։JfboW"Y; Vȓnv|N*ɐ"Mch)o]u'h9    x#_ >3'5%HOL-Matrix_LPHOL-Matrix_LP.Matrixdocument.tex 9'A%HOL-Matrix_LPHOL-Matrix_LP.SparseMatrixdocument.tex;'E%HOL-Matrix_LPHOL-Library.Lattice_Algebrasdocument.tex;'E%HOL-Matrix_LPHOL-Matrix_LP.Compute_Oracledocument.tex2'3%HOL-Matrix_LPHOL-Matrix_LP.Cplexdocument.tex;'E%HOL-Matrix_LPHOL-Matrix_LP.ComputeNumeraldocument.tex/'-%HOL-Matrix_LPHOL-Matrix_LP.LPdocument.tex7'=%HOL-Matrix_LPHOL-Matrix_LP.ComputeHOLdocument.tex8'A% HOL-Matrix_LPHOL-Matrix_LP.ComputeFloatdocument.texŁTxG UV?eGҮa4J?xQ.2~1BuקwnTT~1}G=ġN?Ș`aLMOe7сnd32L3%LSTZ!% >]ĤtpXXat{nq}k8gBB pAMg`iVř<)gOJ5Y >8XԠ޿lX/u i01n^Us{g'/K|P?fSOIlݸ%{ӡ&ah/Hf1hw ([VzbN_a~ȁStb wCY+u8 ~tJ0bkt&U_6F9c t1s>̹Vrohjr,1h9-4W90wDІ4WZbq(dm8n&4fÔ>uQbd⽲ _ɷO!HRHµ]Fv T̼õOg5_1`d@*")JCjDrUG ɼ^B?o1Ïk+·Qpykv5_~MUn ϶pDSբG0^NC:#6mxPb6Vs[ s6iwqx(2l{c/QuOy9~$)pnHM &ћrC*-Un߹[/C K.&173@&v3g{J+iWF/ @a鴧Օ<&B.sUv"_io ǥ+ e06И[^9Mah. ͤ ,bU֪w' (@u{7N9>; AmgyFrطy\֍;:y<.)).8F9y1d[reUڢ}3,QakFv _R%uk7OAo$y_ {v1:2& WM &>{E@20V\$3t%iהxB.2Vr! oGws_e}{.=SK*"2AD["lFvZݔ9:j >, A3H(ډlL=f;7u! աpnkb)J6W͓R7MZUM}MdN6 c:|H&^`HWզޏ_^U^<;k3ow-VbNY\RUEws4x>[jC,&SheHX9j o5C~񦻆Y |UE8d'rQΝcK(WFBo]VHg5hD~QK]Di$;8]pcW?;+2Ĺ@a^hWvX :J,f,RQ _ښٳ4} \+< %W)ڇ@ QmF歷Vn}cOfH W Ȑ(}9^" p6ot!V|=,% ~XqRJǀQzff1T (Wb&s @ d61 ^GL,Xq ftI w>'b$ YngUFGgGфl^D!DHqZ($]U;׼Ŧ}cS*V0S`}N陪l!REA\0_ښpw s4):&q{h 8#4|/nB'ͷXh,s߿J!ZSE\CW<>gJ6NMwTd068MY9)UdrM#iʲj#Y9r1 riygv#*(#MM&UÕu *`u0>LI&3Q]{ V&48{3LȌ`vHPFo``0RQF>W+k"2{kl'+E&~g<y1GY7!YrbU Vx%"0Q o9)L&\/ k8=:h*.Lmc̾M 1LD9]ynm" /{:Pl-3 ]q+" f%n< dS CXZXj&בKK16WMd =),ӋLig0UexUEa/g.7 U̪\iVLXhT (8mV<Z0m%˒!E~,rC8pgfɊMrr^'IEgb]`\A~V#+U*wn0尉ҭ]Bu?sEGިD$+Z+~3KddZmxƞx3=QY/WfBHKZH:  '~y,B=ϊ[WH<"uq# I6zy%o[$T;KKPp;+|P9b 5o-hgSPjMQh>AG(`?+.Mc` $Hqpcz}OMnOC,@_^<;Zx<;/K`Gt'st\7CogQ]]xEYk8v Ri6L(8};Xݥ2K,i:8Jgq۝zx[6NV% :G7Ȭʴc=iaҀ]wV*;u.:gYZ y'=% HOL-Matrix_LPHOL-Matrix_LP.ComputeHOLdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5XJ@^Zoփ C&E~NNr~ t6+b1nQMDLA/z03\RJ&C{mM.]$O湩XQ֗12[tS}[u'3!ʁ:ի9Bk w58VOjytq bV'/L`GhC7Kk"(BF#7oz<=\pE\v@УA}Wp#ֲ*>IYt{$9SPtk|P2 X%+]_DS6JG1g4G莿v.X}=l՜23թI]wphQ-w~|@9Je x ~e -(vmB B"bGPL^?ei2A;=YӈЍN1'ߵ Gggᰙ*ׄuoԪ|#Tq J!U-n[5~8VFLfD)I AL6N>8+Ko>!$@;$J,+BBZSh8zsÑeLڄ^b9@.@ {UKvwY-ejH(y :# G'6.wl+b B3bO&2jbmw!1oE%+~B% f\xq' ;ڎh÷j tcZ599~6)Ytٍur,4-*"|r;ǽDЈ,}BpmRAutjmb鿭jXk0kW#g魬n%;_/@Lq*"&n3w#ݯԮÃ^bkIƻŕ?z.Bri9U jI~y6?Awm~jCQǀWfqZy/צ~ sOa1571VUu@ExE55ݰsc%´[ߛѣCSm}ѰPy;E٠uKedw'bҌv+"by=}7j=⥺5FC1(AنgiuS=:` 0ď$xTQ z8z XHU+zp-β!NWyoz B(4jUMjKJZɁ~YnOI4[jg잚RSzmlp(u_@CgW?l" TfDe!.PIAʦ]p>_+u|dc/-hsV&%CjҚQƢ+ΒL"Ą#02znb#2ӓzjbJ@K"wnװbZ>f<^J#r#Xal٭ =2dbyjz@W4)mk-ihzoH%y?+%&JR"n@`EzG 7XRHuV$!"Ke>f'ia9vL [o66N6Mټ@4e{EIDbM}ÈD'*7Ebz\2PBrGXi@ {buZ:Mwo! AZҷ?!w@)|5}IroqK)4?}Ρi`kFᫀ.RvV}d +tS u kIAKU7uS@akKXrx+p4XJmp}h‚w?L;7_{a\Ff T+ߠ`G *Dl7~vM~Al5{ټw2eS /|1)~iO>ls^2.d]P #M+_rb d^d2X|"J5Q]S6=]mCzCc $<҂qEVOvVlfs5vD ET'Ϳ. [YֿBi>FjKHp`orVguYV #jSgd)j  @xZ))({0?fRA/WjwYj[r,Ȼ)+ ?XPwݠi70tKWd XBpErWz:. x[I$Paay8lMyˀ1x>&0 bA y.F q"l%+Cq$;O*rZ?yt/Ĝe}|݋bȏ3Z &i< 䆔+;8r֢k*9sKl#JƢgYZ 'A% ,HOL-Matrix_LPHOL-Matrix_LP.ComputeFloatdocument.tex7zXZִF! q]A-MՋhvG"uIBm5XJ@OF!xFї'}GtoehA/">A_DK̈5js|2QFt8춐#v/D<9?\J,Y+^<.ύ:>o?a)M*ήRWe^> Ѵ?\ˠ&$y8n}#U5yi 8aW-)c6o3҃&%JS1gz'ձy*+eG2 5ӑ2ܡPXRkMnUr։JfboW"Y; Vȓnv|N*ɐ"Mch)o]u'h9,''!yWV< Q  ||'-% ,HOL-Matrix_LPHOL-Matrix_LP.LPdocument.tex7zXZִF! ]A-MՋhvG"uIBm5י=D xO*g(>[m`A͈{*z37I d;m!WQ].#%,@ U6ɯ?cj3)B| ^ O֑ D~$땝C$ؓ'?TK,19OѫRZ>Gp v#V$~k[N0O 3dnaee T63S +0B;x2H-QPݪK)o3m^Бo%x՞&v-Y{LzY 5VL =ƘrA%0 v_ZR?,lq6,AnNA5DM PĎE]m]<mr.K_$RIt rwlw(4lP~vuۖzL}`(EhmS~=ĄfʫYʮ*TΣE3H7jWKDmzWՇ|cv|fb7z`I&ػ@*^_9|Dy"dwLqo=,rI q46Xm^e)5Xr^jIfWR !li,Ռ<}-!08X K.ҸVŅ!t)AzQК6ُ겤@][=%|.jVo 'Hٳg3D%so^׎ta fz.>U5Y{b=^\)pY)O [w;:o[9 ?Zb{Uŧϸi!jHr8C]{P`<78ҀWpu!{1t3E{Q֍/K֨LdH}t>͙;q*;0p4衔7pm62"L|'K͍T|Dh=Mo@\kG ~ۀ-5qiATt4==?nZfH{F} -2-EE7]6;ZJRjPy`Oң'F ܃x4mҴOmUz X')bD:d lܰ͋lt0(0 IBn#3l _Wnن( ̄ $,='\aOK% EETmS>FhFU8ݏ/EHpsfϐ(b%-R PX+%6 ˲̦+ ֥ћR}SХըw)b}|UA nJ@f Rձ˥[kmů 7£<ـ@2K)%or߹cVxdl{A*MÒoMH#0,AMסmg1gfNa ~47Mϩdm2։M#-C-ܘ^>w_Ps 7բo,2WZμ@l%O?M" ,9ҖkO[ߵ9iWP܁:X'w䍎YwClc,9\AbzߢH:9_DnKAːpBL`͒' n4Vw8L&Eϸ" OU2S ½q;&E}2h0x7VY*ʫgxCq}4aܫhO#nl6Bnbgqܘ'ư2>2h{4>;+E4bv\W>AZDZ(: (@g@ Kpv(2XU< q++0U@!YR^ۜ ,1h0) dwS+j:[ІeUN~[=sZh:R>v]LAv(%j"[|V pmK!l>6@+Z?S, {<AINJС<ƱgYZ  lE'E% HOL-Matrix_LPHOL-Matrix_LP.Compute_Oracledocument.tex7zXZִF! ]A-MՋhvG"uIBm5XJB6 -]J]<oucP5NAvr7/#Z,PC!ڞ_)Smb`\Lv;8cw Abb 0ȌS t`f~C rOV7}\֢V em8\}1 ck!Dz{Tm$butٔ1&^y X&NsFʟ WB!V} JE 76tOA*W0CMRC'Ud?SĉD>BdSp̱nί7 xi(ZR^*9C:) -!V+ahD ,1}&.%kA4OlUm_/(wuF4d >5m'F8LLb2z'pVA=f t hT '+>ϯp] u']( p(8vZ#rtci|!9UCUʕД/ :pzJj؇}nz@(/;ْ)g3 %Vh3Cu*X>N8% P6&>#fPYmQlahυlj aF*SgYZ'E% 4HOL-Matrix_LPHOL-Matrix_LP.ComputeNumeraldocument.tex7zXZִF! -]A-MՋhvG"uIBm5XJ@N#/9d'D@ 3[e۔Q?^*}g뺑EFI-,3>674L*:p?,"-Ȅ/xhSҋu*#clw6o+j)$t ~S٧֗b˪F\Δu#ae&0QhzcPWTIL ^$SCK\n#:`>Xٯ |f@5R`G"schzeeE 8#喿nnWy)3y|s0%@W:?|LcJIjaG 4RqJ .͝>ɳB:ϱ HSsJx\&!C7,-udF2?I{oc;0۟Dө@o$/,f;W4Y2gȜc %kW d1&.(t23P<^Xli5-r4lY۾#7@l SO`n|u1<]s2,rȚaP$f*Rw#v[&u"CYji/l-^5U4HwŇUtUQ!u8`d-aI"'YcЃ;-w`ntAґe{zvl0s6(A N*L]årqc#Pq>`ɃrX$֏ʂNK<NDϗ))A38.{ }֩@uN 2fS/»ayuaOjey qM+,H1x1(;/-Fk0I8)n`eT(8snbty&. Otˇ֚dh%4m}Ma?9!-Cc>XS5Hf Zt@;yZs6.M(N1`FSLFHmFM "~j7x˹;(z}]C7{YNȳ7J`+hDio{쀄lHcZľR_WkfUzt}Oƺ·DUɽmҞgRgF Re'( *g-GB%@[ H(LKү|:&Gj?,jt9>}ӧOS2p& # &a.d/R#iC[]p b/Qj]0MJL9@Ӷ2Ζmm@k kYN+īoC¤Q D `ihOrD8bD>(j6rꘑv ,ӗ* A>LIi܂'ŻWUSB!΁ s`u7;a2iC'辵wD  gCoYTOAVQ[W Tŏྨ6H~]sB#GO!pG [>s1Pn$<:oՓpz[_TQ"(.X^](?_6%zi5+3q3dũ.v ;Lp|e8;>sky[:[{mŔ5jDq UBBW~k5سwTOc 5_X֧:@(2GŕtGkl;FLWH ~1/R}&+_oЫ$=9zՐ7Ɂ4֐DRAm2a4^hqcрy̑:O 3{~0*18W-aù\2t{(3G4Jxx\U7J&eAHS.jǨ[69xs pmChWPd(?v]!Iy 6.4y#"G:Ԕ^w>iCkLT Vj7C[c!OoOp̕(xU`Xcn~CISlSKGq&HbtZa^~ܭGP69aqT?L" }9ιe,I SbYQ(KVb2ǸS <[zá*Ix\Bnb&JFxFR i3mJseYU0wM<,mb"9,ca|Ж-p6sw[R6cc)B4U aUVпD=:pWӘE5 aoV%)7}t:Y!7{X~ǮIջUxTn>^eI\xӥNT`.i[)BxN3 9"&FCL%*ЍIQ0x]]&+r&# 압甼HxAJ6\=a"Bh!´E[>|s}|ҼP~(]O[R?{2 ܾt+cV=+?HVs>Us te} V9 z2]{>Eem5 8(Yo X|q79`u ̌2Ý*mb`]`S4t+k,;Z3!\ʵo:GA`҂ xLċ,_ U\_ ! UY(QҋZŝm+=VNaWlvg? {&=e:EmH9:@KHɉ s f51Vd%he5zxo{F5$uQKϬRQ jJhx=Na;hbnѶ &;2R*Cm9vn)Jd`DrHtVZqר( x4\}~A)}yVPT,:.۠Խo_IJ6v(L]6WFW"y\mec_<|N`?Gb[JPp00x}%5WBJ i0LWcߚjbb@/ I<.{2{_ j-8㴩[zD xMlA_#YW5,F3QGLZٰb5VdaВ8ؒJ:XK9WjE 7Ni8#+Y|k YBfG;Ze]aQ?fgYZ 88='E% HOL-Matrix_LPHOL-Library.Lattice_Algebrasdocument.tex7zXZִF! ͸@]A-MՋhvG"uIBm5gbP\8(iQ3$1r÷t& slb/$u_!=#2og.}]Enq]vY8+ g*FѥH*IG d]nOOxJ- &Ss__v0gi; gg66-܌2A9^=S0ζ^}cG3;n@gW1.e0f"D6Lb{[T?=QzӭTsJHG|&_,?! zlx6-MJry[&?}!H\vQ$f0M̄fJ& Bk\m<:[[ wri6CZ];MzN~/Y*%Kb˟]\䈃 4XP{$l sAD!9Zf25.cY65Q&+k%h+C:XKB-2#NAdAb5A'6S aĞE<:D``zY= fP;e΁ 4X4(&4I9 ?:9?~?C0#ѦxqǤIB@]u[AN{s`4#esߡJs%'J"ۃNm;hwK#A:6<-9[N^N3m 7p:'ugemzpE b"js_ŷb_\d,3ckDc@e-B:q?\F%pa涴郳6/"',@8gQN ykvS8x1ƞk{э5.lfq+0-x?3_qL?s ch+K?G F4&$zG_AE3S1RR5 R c bceqqG՝ He‰Qo"O8ǃ9i3U``׵xI_+GL+~?0ygNC^1+2p[-ipڛSV4!DD, ū}gOra@H h  V1ȷ>į~挃n.Tj~P?0|avY3bg R{s[ Q̈ \̵M$UO4gᖲp.gs30 j= b&aч )|<_|?*a iɺP4䪞*̼rB4ln|`ɐYƺ" *|T hR(E⾧%fV@!߫5Sf5ͰGHd]Ԉ {/a*y2TJ 0ίҊp3jZNcqq ٱ1}vC=Th9`}_w|K-F`vVIш9TjYڽ>4>ӦrܳhY) =|\'=yf]\ hv@~9q:!Wvz%DhPm t##@M{Tؗg9Ɖר nTN+.5CqViD KH_U8?mbYA MQ.v%KYs/l-Z6MPk*_M'k;r"QDNIo3Ig{ƃ”j dĆX(q6Knje1A05: ۶:jk05EOg"Я 09fYT% xD<}>#^c"hyYza#Ԉ}g(54vAD+Cz!vUړ'RO;Gx>гʘ#C qAq J=lOFa@{ġGxs|+5"~|e3t0)0FV揨PUqHEv sX9P/|TXx3 mW<;y@QDlϺ$89f%F9ns]}h)P8O,5aa 7BDAgP7RPFdgֶkA+ηQ1vhr/ M,Lq| V@Oܡ \q8l1&bWDbɩWvZ[z1ҸFC#RIwT's8A?@i8mϘTX>bB20HpVm:%?W'L4ACl2-`[۵BEޗӖ"V-ZJ,r+aZcV1"iIV})w/X\Ţ؞}nòEm1\[7c3m;NOѼCɋCfRiS°PCEE^ Æ?svK!xy)͔|a*ToG259J4nJw騎AA?L$;PQW#Hh!in7 uQsG,ՔYVb{K*gQȯ9OQR*hi첆":Z3}6Aʆ 55d$7בhM8^&.B+Y<7F.i T@~{NU5nR HgXE[M-ʕ 3;"`ǃLfrm-.OWeQ`.^`] R&cg[akPkhx+ HET`ۿna u#)^4(xm,3.&>*E oeQATT0ZQ2]vގj3wh@ē_>k˅t%6 ˅&*4\ r{Aw8z'MQmlH:^P:<tJru9##ToQs>O{SM< ..^Y&%h)v a;RGS2 *P@ް_55)IŻO[(ǸͤAX1iZcWo[횘e?f@>}Zvg<-5J% oD?ٙ"Uħͬ |妓*;=ҹ^.b@i ih&cx VUI 3WtRnVnrBJfRh(_}EigUY.5dWkԯ~k22Cؙ4"ۄLn>F89D0Xy !i3"!F-glamU`Va>6~*\sc 4e^o!i }0%PU 4VEm=?@bT^x~blRdl1Y`pGLDAkl2@1fIg vyZ#ب (5H0?{j"[, 2jA͊vd.g29UZi3F >Q a{>s"9:(RR{|dcC?pK]1ksp!Ԅkq{!qL͉amr_V&{(fzȑZ,QyIkcݡYo7ѲϘ7rw[:&ɱaaRhGP=B\{e-^vS b[BOU|r]JKɆv8$⽏^`N/)y;r]s>Ξ A3S .2qA>+<.ep5Lr/g lxn0Z2AT~stbɢtv4B[P!p+*/8s r5-e`FDZߌYnraxЪ >K#6Z(Bx?%7bfwz@5ut3rܾUj0@IQq%3(xVuhaH(TWH!i'eOTs磐c4=V6W<"ZJā{&0!\hM+ot"\ʹ"(H?Ⳓ<לcyPdscL S12o.,G [eh舽9GE "׆j{^T7Uq+[N5^؟BX\ė# 1ʜT#Fk~9sȻ igZ=$AZ/k= n<_W /wRO8=7m'[}2֡,UA$EW- ޣ?bشw>CAs"d!tW2y@8c7cߍ+n[mښb G s.j[y]g760=Y\\=6kNqk֕}|L)uVd4@zĻΫıI.{OiJJ|Byjm,!tHrGzvϕsIa/śA kR/x_G*'[Õ|xf9!s.ydn]q}0`pve$=S78uH]v >o=uP KFa&NTeVOv$tE o[!=W=6w"qA*\}v !!VV_?&~|Tͭ:eY`C((;9Q8FJmUgOwQw7,bbsOM΁Gݳa|'N%gcS 胚_S5;%%C#6Gn Wn&ef&ue,k.>j6tW&Cu!TrM& m3a !笑w^!aݕdbbs+D @.NսU01}ҟ(XLH̭E!vE8>rӳ a×(AAL R23QNYC<4))G|Cˆtȃsک&EN*1F*BEA-TzW#(?Fi@$T>Qz\uY#E\Y+fJoU=r8 B޽(۪ alL@6f+;)C)T(Nڥ XlW3SeNڠ9c)9?˭OΡ.@ΗOL)5!.Ɂ)qF |ӤSPrIcm\B0]Žp ( ܻȒخ[P呮YҞ|&BUc)}yGCA,У{H͍ ^CV2kPS׭ È*./CQħsR!o'!R￘u5]Ǚk#n| fu{b+D뇠^=m2@]VWҗ[’ToP$OVEI՚]߇vN V. kq Y7 v17C F-ƊL(Lkmv"˪q0~S~T8]s3%4z̥ĪGsLTk7~$-# |"IK˩{LnmH,i'( \vuq~ߡfd5﨔ӏ@HKeRpE7H؞<%Y>2~r f]yb-.CE}S}Q1iǨ< 'WC-c&5T%.hG*ŴS/m3ٹYg !_onWaW;ùÖ+QZ6g?ɤKMFB+uy(5D(1)W-Csܛyt dU?/"-Ba_i3 "DC2sV=-B2 h6zWkb&d90GJzZF0,̄ȟ1g/Rh:]= W Hk%?4pjs#.^C/">,f$ބY)w2OW #IAe VT&fY1p*݀g_kTPA1R_`1>2ǖ)]h&Vݏca  !z팗6GVL4. S/Rcy|edbЭѶuq+guB`RmU\nÙYU󋌕nl3w;4]j`ih)xJb-OJ%b槹o=H=հ Dl[gYSbђ$*U. ,L%vO"dR.\?MJ&PHCqJZ.T$: #tzʹѫ"EG#Tg-Mp-`H96 ح~9Xc]f'/Pځw-d #-wtL^jJO['pbho.z@LPeL:nt{/Gn"e IMC!Ou0QGg%=#؀#vrpU˨%t&.,9LS 9BE`+NtlU"Րl07NV,l Pj0 nV3z #c؄cFU:Qy[SK_˜`X^װ^H%ΑuR=ɀ @a2"s 'h`%4Q7+/=¯. בd FO OvJEtN0vΝ|ެbvd`"B~?K YJ$} 8neGM0 EvU;5^I˵7gT`D:h1Gire^NT3*;unvu>j#?=)2WfXgjcH`Lz_:oEd`rc@6aLA5tˏ2?q{ ƅ;^(Yb :g(h 08=>] JrX`(:؄䥜7"|=`>d{|QHrQ"ubR_ b,r&mg?d?41c2YWZq+c՚!sv홼ers&*0ެ q'UȐ8-s'* b<[8y޿My.gDz7S>aWv+> ǔy#1bR@9G%/1)v+S PR]N]u4NSLVfMW=1] *NrAnYc-e*=ŰgEQ;b]kt)Yg1" MԗuΙr9`U1͕J f&A=WV%D⾖4D U ƍ^9[S/h2˃kn%'=grrϨi#$r'HG޶&/D̑ vjLpoqNe&vw;CZpKSH3d{utQi?Po/r2H՗~6IBwX^nDI`&q.J}ML͟]JF[#/N9s8 Us $A]jjP di4(bڂX|qS*Шh7O\ NN cp(ψGUʑş%oEb2rފz.oi_tzE򼤭>0^ fռ~yfJhY? /|9<<6|e3 .*VS1>a vn0^v@ ?yB!8 0iWוʦ4:OX]a6eFxkF-3 hml[{Z(x$:9  CWEo Uc,MB/ľwzN}P!N]@\G5y59oںJ0zg!Si`Ty2p[d?XL 'ބ\.h9Pˉ73?DsX#sm/N^>1 VbRq35{^iHC8ke}5 %i^i'ڽT]ъ9O_vQ5^0 _I/c+,aakѳDZjd?i{DzO F >B.ju.Q 0TnWo TkrH:*K2) JPY ]?q&c>'Ub= pp{:ޅnqohll[؎ 17 Ij)A32wL!?ִ|XIO}N)w?^$h#U\Xx59LuR+cs )D>**etX)bh}R}xyiCF]_\ƓCvIS /ka6Юu%c/§G3LQ1bz 7$|Ò̧d0ϾgBAOled3]HkT}s ޓx(n9 *+N4Gj&DN-itceʕ 7xrT-s\}]|ݴ.afvR;Rlce:UeA79uJb黐qZ&=1%K3}*o+G~V$tNZa狤BQDk4,җҷgwU>mACQ dΰ)SrlO9ڎM󡂢IJh:$($zB}Q%4H8:쐢ʋ!Hݞ==ȲjMpQnW*}!q-|bvrjUDĊM6~7ʋ?ʀ;UTG!\Xzi8=6xNH*#0h{<if_[P<I/yx}B\O_*n }1-ۙYQO#V)sGPۉh J+@('N9D)\;ԡ_1A`f@K@z|'kS6,^ BrPJi LeO +`ʂ0nl5bi8L>̒K\x]ٗc ʟb/&|5rWm+hkebP$'FF>NUAIjJg؏CډK:T* WD_ ڕʎ.W꺧h" I::SV?f˜[,TC-G; PsdjGojN<ϟj6y 43;`DJ/gTs?WcR|) Q[w5A]p/b6Ї!ƉE4Qf\VJks7c0e'/6n3Puꪯۧ _"3.t_*iI 9'S|1pqf=.+}.s%aF.&"$>ɹ.(}< .<62'>5}[)1/nc%ӱQ H\x+!"Qd{cEJx\r MNo*X>Go]MNE-!J,c4o{Nz3nq^XwM5rƽ$8r82- 50G;ޣX1-h .K5! &'̰2cѡPw|ӷ1QCDuך穄 rN @&1=S gqXoSbx3 pZc9L͞Fd3^a,73hKBAXc9 뵡x^ -ݦYW+7c #0JM^W y̵N4.JE1}.B%6#O2> dD*ک؏;X${SU?T pm&"4 ­P+BGFO3u ջ*6?p.YmyAOcH,(07zq#qr@{?\$}SZm'5}Ƣ{α%vXZ0נ3pu[?Q`z4tJesvh x'H أhYs$5r]4Ej-(\ؾНq?Zw2]" &dHnƤiG3:7IHϠ Na_U.掷z<@o9713l_4y QdހP>Q_&j`{SMʚe8Dsv@J}2/;,63/ u|Ddr㾯 3=|ՙ`=On_ǖq>hr V qTVQS _HBȞ1s{9R2F:h}T]5NmyS OVQf3s)($I39^ہ H$#(P]DV䟣x^Y$<L:8*G:3Bx6.Yu'Ng#1yݸn"G?IRO0֢7vk)a4&!f!c3@ݴķSQUb 4#*ydQ)&퍛 kb1FKVV&TL&ўuo OZ/>wٙ@( sH J/Nhjkgƞ4I)ޣkNP6SxCMtˈCpX Mō?O@ &tIR1.![ p[2k _"/y}yN+{=K;SOLUp?3t(@46{D}Dy_=p6=hmHunnZgdǗTu03dxڒ~?04+&XXѩS2J '9KO-W񛌛$m:%I~|iW̘Dݺz>>&𳃮 u^ ɋIBn)$z!:F`u'@Z;Eq^KǜCuQ4lw \tSs/+ܱ"Wy͍ˍ vF hNU?qmǂJEV 7Pn,Rf鉆O-m;:K> CNČ0|pv9bd9 zmFg.k2nsMڔVQTn+5-- ښ1ߴqLNyTgH]uvdIgYZ  u ux 'A% HOL-Matrix_LPHOL-Matrix_LP.SparseMatrixdocument.tex7zXZִF! v1]A-MՋhvG"uIBm5ȧHqʼnWD~35Q=chT5Վk\$M؈|(do4y3><ʾݬJG JmPܷ[Hߠč4wcv7ͧF 1V= (; Deckyn\/6%N7$&ɋDf~>ľԨulpJJjgP)Nl͡]  ocIyjM:O`/m]tD+HԪKC N`+h zEÓujT{.#`a \ n )ኝX]쫥*`sCdǢwg{[R={b|t(յ>-f:PjXXtV:?@@ZhM#W耥u@FJgr VGˈ)*UC樸"bk@{NLŠl,T@f v3]n' ]C䫰06/i"hE@$b~;soMy/m9M/%ȔN,>zLFzq}iS#FxOvyQFl}dt}XPׁگ[(38 'h%f *]g<׀pif@R"O ^}jq F趬ߨ8JތffR8N3:)' tGgFeGO63;Ƞ9Zw1p'|'rLK^({@'Mb Iq2g񪻉Uf}';f_]$Xh50# O‰[޽a5$ԞE#[rQ0W <:^SPDzJ >EU..7-|EKP `v+vNX>m^=)eaUy#G5lĸ/PtbJRb(m u-HY3^oK0T<|'1y3@Itq6EJaKR@׳8S80 ڸWUy'ukQ>{ncjsz\ .0.94rEu W<q`gqQ? {/Z>Tcd{8X3eBf׎)E8OXS.{}\`4KFD|Xf N>Zw^sG!;1}`eGt:, Cmp =g7}A8Y#7"BBU60O>6 ET?$yȉo zwh2hzA>&R ᱴDUx"Wmb|\GU|V2J NA^f:>׺+ОUOkdLL{Qs[ѥ2[{@h%3Tivl\20.t6yZ'9ޖj%@Ej߄ez ] =\XңН2@ӉDtV/#+Q(L,^ĥV ./ z_1Masyv.mQ?'̻$ ML`5iL J ->y}oa76=}"O5+ER f&v[<^ij֛*`GZ҃h-:7}1[0V|;P7m6lh#ka߬R6usC| \}*AS`Ŋi+aD@wx'+o8v e 57J\hoڄD ϜU!i3MyG!@<N78 Iukac "*YYD+E(jw%HU7FOz|XMsq8eOZ@XkXm'}Tv7Pk~t-2K:sN:)Jm#'WkÐ&ؔvVeS9Nw#Jtݳ&DKƙPϤɄ ,m[ڣ8ʥI]?mȻ[x UyKk}a1<%a1̀dɃe(A/C@4MK,_p,8(,TDŀ2,e,|Lk"KDw6]LsWc@?Cu\Q:/̿~^ eZ.zǼQ2u{w=[̂k+ħb--zR,uXy!p1.H#7٩҇0Nn:)pEt Sc }AW_8CԾ>gzJZD4(C^+E 1섆fغi>y(hdbU(|n^1ܗK*lo%/xW,E:F 3r*%?)\ܧo>LlNB1;M BpU+ox5`ID@@cq %FWӚsȗ%grU@VuM: fLv#P? N/ks@̙^qٴqsToY} 8YX,҇J5׶{ӪePʮݰk 'Ck7%r),(|6Xmjv4D?'ncMlEum{hî騙A96~gJr ̥=,MxZZАkS-w/'oZR$u;~3O`KuU-f^ׂ E!m.Uaӆã ׁ _'KP1.,ݰO:5yC%1.K|j):p(@i#ꓚI3_8XRU}. nOfЛ ? MU; Nϐ_BR4( c+E;9K5J+G'Lz7/K"[PIύ[%3Z(]lGSeX>6L9xg."(uDVBDm<,.iUQ'ϲib¤ED1Ozl/ #MKQ!Fg߹pWGZT1řp}mM+rHěhͲr[$RZ|usBRm./%yѳŃ/J'aphPycKKb]芑dq Gb;(;-֚)& ,I5@J|HfZlqEbIK16`0]|U๽Pa$%(ݙ^6'uAe^EVe@0k7x[luocḆ*Bx5#, UFW@:r`ѸBV@^ ^Nx.t%D]cL$vsuSӡ7|ZL_@ L; g䟏"+-js71K$A@PST V+0C`yr0i_~DmLmLъYvAss^(G5H^΂%q/4ZxV1[֥?nj)!$F#'S(O+k湓ֶ`6PS\w1I|;8{YC?MGzeRBTo{n0\]/PtT%Ezɟ (# t<~)бcL+I|CQ&Y{cI8P@R ںY4j~=E'az&Ğ:iѥVYTT.2{x~ ۩wŮxpCY$|LU'AV0oRVcF;LDB }Hh_()@;ljo1iq&$9. VŌ̯pO#_q'[faI*'} h 8d:[l"ڒl=s)1;ʨjf@o7ν>GݍN5:7nFr-dG0涧 J}4>8/BIz3<7]=Fyčl567Y>0ʰ9E챺.= }E ;/;TynGw>〾_X:?0 l•+cp:Ơq\\Cax$+0 EutFJ.*ʒl!tӼ:;ckoCLQIMܺ226VnlK.g9?kx &jW0*/K%8>+~GES`PO<2&3{ U#3m`sCZBI# L |8{#ǴS#ts-QC)+oبBAŅ5[R8`.}sn\%q; Q0)ӜyWq/K)9δ]}^!uAh=N"Ȋ;f|QZ*Sz5%(iy=?d|99.kPKu#ii\"L~魴g!(`e2ۖ:.`RWr2IM`1%0ŻA҂PU= -Y2g#/@lTb0*0E71b+6rͮ Y8/wl[%uB3慢??:N&ôܵZ2pla4p56T[hX^/7XԷƸc Ȧ1qi<-\1r._X,GJ%SB031(UV"妼P*s_׃k Bu*y\ݐ2_,UR>xl.! U键2Ht=R پ7uwBE^[Y2 X&^zim>?=p\_̳l 4*!ŨoV硠LrZs9M-wQ5h@aTnoxi2&h @H(ř2T{=]k)\QW a3"f|ԝ8Q_WX](k9+"3֣GR.bQw\IZ::(JԳ(V9"BoB=dyפPm qY!F/{m٬%Q*wpPՙ8*%L:Pj,(ln.wi23D=**;hBUuv!l8M-/3.]`7Zp 2G4gm9Z_L,j)X*%nHDa;c>=CרKiN+i]FiK4eTe,LkZDlB{YPn*klSigB!r5=aлMq괺rkT G+LT" *qߨ)\^>> ["\!ܷ= ʢvЭ`nY,[mi&hGkp LB0~Q.h?%0`p}B%=ΌXhB%[X9ݥ#܋r Zի%39Vuܟ[.lEh?`b{)Fx1u]t;1o o bF#ݹ @iHKm\qʰEOzCa9EMb6)G@ p}y^{c)A;;rMrj /_/চZ!Qr XGv/:ZᇊE𻔳xAߊpaH-kwbۗ@o״Q?sMS8}j .m=< 4uNcLnj.P-s=3:mܨ }Ukgg F1`P$/+&3#F E16ESb,^}Z 30JQ3?Ǧ |YKCJ4H+PC#ͨfh#}zSnD_ X'lk,E)O^uSb_ҫ(mzEɼNDiv3P( G n䱍j MrhhWZBuaG2/Ze~ܣ asm%U{>@ J:>?7+j~)BrdvꥦRU& 9#GG1CovFE?༛Q _VԵ=>0Ψ+-4H4~GxjUTgg plu?'aD-k,kܞED͓<`fοM ntYς̄'?NC)QZYb0J&˼%C9VѬ&5yIykB#],~V LdSǙӺoStr:?L?Roo.!`Yg>y`5QJzzĨK{V};?hl#qնbWcM`5SAkxpאZ$0閟(͵Fc?x%#U u;?.D)p,poop`1IADK%)gv ՖH4g T|6{mɸW0oV5ѴY,n. oHi_\+=~y[HM<r"l/6WMݞljoTi+Wͨ>wqKI5oED꺗R :k֦swP@S./Sᶽ?Hqޏ]^.7=b ObJt-v֙4ijD $[ަxk0/?ʉ>/!P{ rU)>hƆkY +' 9ēi@x Nk +>ܑ\`}T8]wm7_cKYj\ 飇o: ?,^s95JUH3"յEH"fmsVAϫtbZ7.xķ# &XKPQJyHQCQ x{Vwh}R .yrW2ބ2o| Y(ʔ6FѸklu;QMO;͔Ҫ1RbS)z_/m\-藋ܬnoSʄ;NqYE3ao ?[-#:8%&B}ɢd7spJ>xȗRYzEt!`*.δm-a³2š>B3AX 2f|ďdU > گqs3Doqd, ݯ/a56AxB8hŔw:a|IΧ$Ӓ蕨H2Uۙ=lP){7ӥJY;$fRζ=k2"^wU`)ar|3׃vzmݛ5V/Tj2RÎ,#:K%^$/*2Kʜ5ϴK';ex;hٓX Ȫlt_^A(Ppp%VeLtI#D$j0ߐf(%kVca)oZjTVaڣzJ>j`ysO9Ed+3:kD;T:Y"@3 3Zb+Kæ :1;!,KY%4Vbäp?j~#77WQ"x! -[F0MVA1ex4b4X$_./5`GqO>wmD}b}PILȅ dYTއ8ӕ{f7]j,s.5T8S,m؂ҽx*@Ws)n*v", ETp)>v^X@AMOD!-J*rNF$ FI6p_JCucz&jvLXx7D.>e>C `~12ݾjiIuWdN)qhqbx'|AljfZ>ƔTRb[TgcP"~? 0j+|'[t+] 0v*;aV﯋:Xz[XNu\eEjՃy3['^H"mHл&9;& rqbLrNvc7dy3X`JG~Rq>V.:Ac&D!'ț=4s~ Ej>bqFŻwɽZ\Z3eО5\!RH"٫]-xim'T\s+_H3H7Qhcr4U{'FsSsWBQ~0LUFͫ׳k%qcx͑^/pr2z)WNa@X][Ks`(|н)j{,nأfoόn_[a EXP x+_H^ ~RŪ~Q3ɗu""[@:?E=xZ>h8I'; Z7_;obL2q:CxPgAb)p+()xP"`_X+vPxݰ{B"M\C.2 0E5LH 56oƾ Z#XBszBR.XB.CamZEa`U߳1^`:M^+jL-{{SSDr_gfajY[*wSֻvL9/ۡX[2G=b/=/;0w5A]o#ghhiȩ2Q[abʮekgR)2bxdfdž'.$Z/_ N홡H jH"\dn!~@?+`T`>7hKS|W铑Em8ۂ9OP Fi#68X@Q{_.$D{S2YenmE$i A㈜'sB" @+CkKeL(s-Հhu.>Xt,PgpxiR0U=Ͱh(O%R, w@B/'ޘfGtM2ܽ\5N>`-[Q=ry,%nxR{ q$74s| 1FնY^6cQ #hj]e 5Y_-P>:?zDQ0q[V׀uD ^ 3q͎GF$@_rwrU6,/J N ~+iN>qFSjp,7-m}!?׀5r}쓦4F-5<*[1Qfd6'yb8Q9 +Ul K^B$Vk}c]ʕXAfb&' 0)kx X6 F5-u-9L@OZ:Au@`o/XE,A匈;dGVp4Xcf gfr修c brlUk/4fMԹQpl ZƤ`(BH71CAo6FC{%wRޤhgJ@TKSՏGޥ#%By$Mw&FT߇?Vmyu?]ݰY?=dm>Ѧz yqz00VlX_^@MFXFun^f:޶"9,uWtјNbƒIUazI%kb RDc^Eg`5h⩝ܣd78Xi!LpB\9-*('͸wy]vvƿaOnrPBH3 јIt:7pYxVi==:g@`TrDxID̓98A*29+MdAIx~rw%T\lQϓ9Uvt\eO vo1N'UpAZ/{٨p<z|*`<;KDV?{u%2.~K5bq/Y޵PemJut o!( /#W|% ߮Ω Y4{Vu|3GrE 6^So9\ Kύ0\8G`CDlӓcU9 0~)¡~QP@Ufc9-|* Ԛbl| Zy24n,6VrI!i!4t+%۟Hg?:C'w0i\z  ~xuoO3]> #QD5k5jB[K3%#ߙb@q1Nxʺ'6z|m4ZctoO@(V= =p"mo^y2MA|IÅǺ-=I|۹yѫ7 hn,**FA"$]r[2{8|p<w:R 3u=GK-Xc%cU;ۥ$fԋ>2dD\vjtvkrI61E]FXNYMuаJѐ1sP \|T`{Xʴ^⠭[;0љ>yyI 48* jO |%\ Ԏ *tF) I__|7_&yfW_zشrRn02♨VwL8Rp5FP~k?r;=J_sQEӔ?yyRA^" WJ3<ť$w<ŨwA 唬h=K |"XK\ ZX':Ft:]snϾC'w#%J'jN%NL-0N:& XT U.)"J LSX&me)7 {d06u~zbhh‡2Qpfe}*$dvLɥf(ƃ5#Kϱ:.{ 6ʕ2_]U<찗Z$JYlOFN~ il 8*kp۰\PMyN/]{w R:QJ-S?\q-3TMh|e~B%rT'JSOuAŗ:n+y&&T"l7)ҽn KK]ps3TQPIYYoliFdK|֑*$jxɁh̵%" zP0cA@F3ѶBk-'D֔ 1ZzCo<Ρ&| D_:kj6b֐ !頹2[Xoy\@ukL',],-! 1wbqTũUU_7&c$]1]j+gk r>MSps3E)(49JOt4"_ UZ a)4L2>և|-\{ nQb 8@Z57W @"9-'!h3ykH!2Q"UY,j9xY#o>K;ܺkM#WѲ 7xxC):}G@d̙&D*\KQ|Yn;MHGF/k&Fp#D޼P$F,^I^"@ATuFDt Znr^ +_>nΝ,[sEcY Ep֞/6ag9MH+΄Xo{ZV9kA}̓Ej}e-'k2MТƵ?س!."ߝhz¡,!@ǥ`w@ &RVmc&Z|↘`JO꾟}(#ThxP8 pi d9w:j<'8εW#"\.ՀSpqBGXI?5GP}L,PTC >i@Őb\}tt)c4dKp`w{̧eޟHx0"y^V' !.Ge6LW=v`#ZIy'qG6;e3k˰ pO Aئ8!ڦA. j/eSp|hBG*EUH 5C_YafaQ4"צTSsI"Vz&Z9FVU˽&*.y?QqI޺`V d' ʐ&ahz[#F dS*;2Znt7".7 >ya 'Eŀ[fD1>Ⱥ:Va)&nބ2MƦKWw Y=ҡ<%,K~;L: =QJsm@T[8#2bN%1_ܹaRJR=w>ўtrf\CGJ0>ESPo>߫^B31ԎJGM[m3f>CEG&ɀ5UL, }B(4{07gL;%6[=l2|'㞩W15Bo@4>\/AZ"bpV [9n!@p=8Ȧ-vLM7dp *Q" {P14yrW}pi!﷑| \^ O9ݠ,PXQ??J a\hvu1PЭ!P>0D+l[Wɫky* Tdver2/,b}".5!O@tVc=r`j %S;Kwd~i(&eK"snx]N$w/8OCRE܄64%EX8^TQ.얹ȴ!G\SX&"*._Iʈ׭l; `ILET\>=^E0ݻ>[j"8+ߨ:.BD $4C?ik POO?$8.'n!lJC {ʶ՟^o)ٮ%C-YQ,nvY6J}:|jPz응u-?EqndXUhX et@' yPԾdEY_Ih[Fgё9Ѹ۪.3;u!'jJuu~*X$D`V3oOLtI=(P GcVf~,_QІ.&Iy{lӬm*tl LiO3o+ѳ=uIP?h\SSs%d[eZ/!IQ/wdjFr-]޷̕pcωc`$6<~95. Ϋ(;m W l/7 +4]Pv>j秵όAY*ﮖ71ĎE^<gJު cښ}';2M]?_h$I&J[~MK>/O6WtijQ#|i~֙D, oGٞ*ʞMo F<%;mjqh/k}JdV#i\cPcAGstt] h. 7ARF5K);M6y[w饨c \AIo=-d[M۷Y]#5贇s2z"1ᑜA.iX2kͳ_x<f#S݌8e@KT;B:pnW8$R8n)z!9*)LXt@йߖfŮ`e \ E򉳜H4YTnxDDFFN@aJP!/WM!FČ* j/}Q8ݺ2|̧N} U"J?RC}"%D-62UN0r5M(u_>זV#6#Ħͣ3 ߪ*ggR 1_=ΆEa`.(D258%q  UIo:tY`);;SHWb8rdiWCEĢX)c;mLP(Qs5S{{o]O3d7Axb,p8A⨯0Q ) &s#V#HvE33YyTO\<ޛ Q#:ic?/7@"7#0`uj%B980d$B"o\fL؝ )6ܢ'# 9 ANi{^[:%ueSckM5uy *e O_l9ias\|b$O(Qi|NfKuYs$|q s?oԔ /wcBzZ@5 XDžO PFL Muk br$݂%ZdWef?Z M Z""ex q):ya N8;,ypN2'*Fj<(OmF;hӕSn!yTv'Σ6hHTi 9۟ZE-\ N>J /M7!ZjqnG&/+8c h%D<ȋ}u1&L*+dW2îQhXau]٪k{|CT'}ȾagYZ BB" '5% dHOL-Matrix_LPHOL-Matrix_LP.Matrixdocument.tex7zXZִF! X9_,]A-MՋhvG"uIBm54􄉜|C9T!Z2c.}N5Bm$ ITܘOƅyam-vEzoqr<\"ۃ%J>ч4VрHs!2SqSB_P'\|b7f^ Ck8= Z x\<੃%zt8 mP;9sש0W2deF]:RjzoՈ93kTL֮+q R)th_Xƙ=΄O/YV=Xsb *y!MC:f %&#Ͻc$r{.꬘)yXM>m.rL\GF]]bHuZ1r9PAP'i]hLJ zq ̟<{JeuQi bä#V!;ؼ)u94i&DSL%8:@}aß*h4ic٥qlFL\ڏv#3@ nֶM2 y$;xRr۳ԁ; #6q FB]͐At4~2_O5Ry4aYt÷qj\hzې6-"@\[D6lF/vӎ8DB̠yy8x% O E{Ա(QoѹK- k&  Z״ w)7?Zv1ғacps4x=E} $@R?g!Yד4 Т7Évj[39/`Ktp`oɹ58,q"Qrj# &|;E$P`L8`98Eklml}9z)իi04Bjfk W\H%9aV^{EQd_`_(c.@om 8Likxgh^BJ+eP_qTGqŇ\*C`(aOC~&yypĸ-Nқ')#_#Iy\|̰)ҧemG e[!B[fʔ'n]o| _{8rP6.޾M$1]/xC8@J<>n b F ڮFJ0͢W؊.`hWLG= DT`8;ZȦJ$B/k\Ӆ!?g*^bz,"; Yc(|1JF{gbU0()JFWE Ϳ'9din.\iCxBD 4F@1й" "bgQxo$CQ18 N>^=ٌW %ʤlJ!UфR _ Ѐ,w0 t9ð#|ױ~y h:/qG7t 7D2ʚ@C(,ph6yv•<[&n\8U$XZ\ ՀQIǂtPgTnljZ,)y8x}Y]&ڄEuD9̓C[t<$['E0SZFS3X`j;9`d&d>u`Q3l0Bho.'%Wf>l6f0,i˽{.`m`7{̹\AAqt /+('l *6D5o2zCN (Y|H;0J4NUTڭ@Q)5s늷_cPvlLw>73ɉ[P'#Sܴ catMC&gh/!7 yR*jCUs N̵rKQ?]Z֓n߽i\9 DX?C֮^L{y&0aVdfwboMc7~)w[BZiپLAd:C<ӞFȒU`{DX#X۬>*Q~\L{PHŁ1<(;`:䖲PG!XY _V8&*ߟ̎O$<uqzy*?8+ݰ 37'vֲwMUz.PWjBA9ɹ8JY3h{p{QUzkJ'!K&"Q* 3jFl|8Y>W h oRIiq~q:N`|-ݮ[s'1Ύ5MR4~H&0QI.x0 wwq+q]93Ç镧ۛ'Kf #y kb&텅8|׉5.oo8'.<=g7=O]|=w7'DhbrV`l