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 YY$' dt ] HOL-Matrix_LP:threads=2elapsed=14.851cpu=28.484gc=1.376factor=1.927zXZִF! n]ŗXf1-q恈{RI $ϭ N/Xt ^UX=97Qw HQNf+!7T)lYDZW{kN`ɣ@SLʖGw7)AH'W{٧mz>9KϧO\ IR.RME[[,W?GH끿rw/@B.x j60=|%wۿӥXkhV/,K$J %SeQt-/qx-)G0|@VH 'ECŬ#l+QD ~{qg@qfAZfgYZ7zXZִF! b]ŗXiɟ1#vX@;- ̕^EĿзSrݵFx?ژ%PeNP*6хggcK(2 },W'd#\|9$Æ -cM8 0uĵʴY"UL@D9XagO#>qƊޝBuE snoޱgYZ7zXZִF! V2]ŗXi%; ?n`X9%0b0Bww1 Y`eeO,3lb2frCZ^o%#DꞮW( ,مQ 5zqBAB=v b+畹uW`Ś9ᯫFܯw0N쀢fPh"4_ H >z3) [FhϊuHI!SX%J{bPXciOpRGge O ̷3yC%r4T &Z.h(mxcNjc NiyDk! x=nT[W[)*_n<023^{%Jq7RZ|uR-b+aهg} PTLF=vכFHx)L"aZAs@"p֘6.8?MkN=: 6#%B24Ga/a]Rr7*Cd)_x}5ߦÝ2G/oɚXvBfrVj 5;]Q'뵞_E,WqsL3/4Bǎ8p3A_DK̈5js|2QFt8춐#v/D<9?\J,Y+^<.ύ:>o?a)M*ήRWe^> Ѵ?\ˠ&$y8n}#U5yi 8aW-)c6o3҃&%JS1gz'ձy*+eG2 5ӑ2ܡPXRkMnUr։JfboW"Y; Vrx'ʅy#$ADD]o3^i]ɛaFf8]V &A w'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(յ>05EOg"Я 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]uvdIgYZO Y]6T˼e9dIxQ}bm-nv/bI\ Lhok@O`pnJu4/uVK/oF/"3t+Ⓐt`|jF ͧ!!UGlհ ' G $SVԣ$m~YpV{igYΞeZQ,JCn_j)Ȱhwƶ\ d%8.HsFu %2qdפO`=Y@9x/es=DUtK E oʩK+$DН mFqtJ`K2qVV݃;-?-vejh̔X@ gűEyv=D"W+ǿX&]υ?g]r}#r=,#X*.!,ʸ%%yzHO3Wa6<$3cdpUQfsYH1M/_pw,Mǰ3D][qR?b

{ݩw<<ϔǗ;ٔ!@R9K^ҳ$gm`F eC;r6 =c i!L/#J B9=!LH\n%n`L<h ,3c0;%ޔ'S;C2H OH*Zi%]o}ެÌV(K-`f0*,|YwNWMx#t'WHoҏ{b]5Cwj3Jɗ=vyM[KLJGvK#_}[W+$\KzwA3mM?{Dgo>[D*辉nd\7Ez+dqlLM'ce" DJaI),=aQ:fe'  H1K/Ѫ՜K@L-vp>m%{ʏb@ղd3rk @`:(++w(7`>E(46ТN x*|2ۮ@l`=:n ~$U!M.k2i rK{I3}3T\-u#2% R:ju:M9Vd5Ibn{Si4?~rۣ\4Ha.hm d-?f59J=7[~zrq xVҲ('WgŒ9C^(3^0 "Y3!]fx_;M 8;"ƞ/%y[Z>ġ{kء}4I@ guWk[߯cw 2_R{6 %{dd vS>bNVwCAxRd46 :_{!plv=PlĜ]Nݣ.LDdCJ0 ZOCѦtyi9{{k{J7c9G|ٓc>ɀ[7Сu0J g> I&S505Y,uq?Wu/j5v"Γ5./Rjj{PD V!sz|BM"pqA٨h'W9! _iG8PNTM},]j31z|hEAX2r/w]'tFU-Ǣ˼yxm97U鴜U5YeLAAc&V碟,ki^Jd,"Z<؎ki1if$.>5K R K|HAZwj543زhlK$&Ct{1*'YĕJg ȉ^y" U &-ªaow"lt셔کꂣ8K9>[?+E'[Bgt\u6 P/ j=$ 9o<33V(<f5Hg%[sbUMHpVRlnub z}Zp-3ޚv6=0̔Z*ZHzl&@/?*BS5Qr,8 yبПFl^&wh#r (EwX$6n݌tF,\ǫn k4ȿPB}#ٙ(kB`>W yZ.Ԁ$^s9L[xzFABZǷS鮽v㫟An^2 MRڵt_s[C`i5x t/:Dɩ$J 6&'<C]_`G{ڢV\aК|M*n:s PE9?e8)E6 c>E8plLM`ZױgYZ  v 'A% HOL-Matrix_LPHOL-Matrix_LP.ComputeFloatdocument.tex7zXZִF! ۉ]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; Vrx'ʅy#$ADD]o3^i]ɛaFf8]V &A w'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(յ>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 }}'-% ,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  mH'E% $HOL-Matrix_LPHOL-Matrix_LP.Compute_Oracledocument.tex7zXZִF! ]A-MՋhvG"uIBm5XJB6 -]J]<oucM;z;$ 5GZp7 k ƪ-M*4G5j1ѱLG$p6"nk#u^8ԓMB]e NyȍKKբ?BIE̶qIyZf_eCȐU/+uIG4 z^ØPH@B;|gYZc'3% lHOL-Matrix_LPHOL-Matrix_LP.Cplexdocument.tex7zXZִF! 1*]A-MՋhvG"uIBm5)ѯ n "RyٙG\x&Iˑ~.]Y@Cvf?XIPȖF5?EH,f&˨īDfG86L @vU_jU2x+%ګ̊'~Tm n9 )х~/LPhtom\e/V߽Ho Y`Xؑ_`6ڳo}۲rMT֝r H̀5h2|d]7aZ1ƄwJEpY#idt d~ Dg{ niyC&pgOrCVԙ|FQԑ]{zlY̿* =Xӟ;{j-(;zP ~DlUlvL!nG>/%:E4NF%˥5ϙ8oM;]EazX?lq:^Q>hh^6o29QJo{iO \Sϋ A*z/{c98uGy)^w63Kw0-*!W'?ڥFOJñ77laL )ڄ9 e]4mv2HklT#y/wksD&j֑f ,Y<6\ط!@_ 9u]qsND+j >Hdeq*L:|e&Q6c[k\Q#w_ZCI)Sαz9O)U:;'"G}W3X"&`2!=.ic2DӚU0i>)g@tЋ[]fGyXȜjkmSz||tĐ/ l9RAt"LcX+t#%mb*Hk70֘~߀3U y <BфOZDLN>_|Qmi4\!/:}3킰^ A+DUboHHB+C W2OF-|s^97o b&cagYZ'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-^5U4H-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#DPg^4jyP5|Q7lb T-whF%bB7 ~~}`Xp ~ciOL搞bye>A`W O~^'}Mѣ~5ѡ82nvF kLKewQYә"$ bXK`д ;E97z4D&3a+0cp PھԘA/d Z#l}-@':r>|8Q'ՇՌ[O)ۖ4q'5"( PNP܌\>^%叚{-"C7c./`UIg%ToX.?fd,he qu{Sw >4H}G*P06ΛckJ5-fOT螬n6JIˍT$udL.qڝ~'Ԩȃ=( ;k%UMb)_/]B-ΪM80 &JjLCapț-BoS#"cw Sƀ=''i-S;7Оiβ3kWҸ:Od;(> I)J9nQ7H:K5GQ}iM-|ތJf !%hdeFt~LK(|Y,%r;$G{he=,.h^gk>vnUĬ\QXHy=E%es4]~N.d1M)3C]YC[1퍐kU$J3ԛ.2,nhswQN]k|"Mym\}\=mdɕ rxu.[+j;E rTPU14oYkr:V| 7@ t!aqnޝ:cxE&dn4G.ixZ2dZ 8u?tQ6'+KYDb*p{Α(g,[aL#נ/ɉaųF> e^7!+zܻKӐbVR8Zk/^ل~CN5_2awb\^'YDzo4J,Q8_3|*6Wh{C$uB|BUAٻR QRn!NAȬ9gijw (^AV}hgqzqXd=]~lg h2C4QV뷘s߲ .=&+3L 9k׬`s@Q[?+PEC_iy707X2rhfQ)5<7w> j!4Gzǧux_XvGǕ7$iM !_Q-IXh_2Kڏ˳OoEK J]rE "Vu'8yy 8rYaT8nl`h F%/rD"^@KPɢiC?9m\U֣=TjAM^z v2^y?vdW!OJ‡TX,¥f,'q1 Ԯ|UutV4IJ$G KSGM1I`?ZS!sIyjRln) GWQzۿN+V>Nk;-k=U Rq!{b9~Fi52u+Q!!ܑpi >7On~25 ŸqéXxFBt(_?iӸ y'͑rP(V2Zn-Yur3C3,@ZwuSC~, Sإ@=2b@3a_#;'Z%7174ZQ(5Wjw7T G;P\jRؗb(kW|UsR׳,ѵsy4/wuu I_uhJ2!rat-{>^ƽ?,n_7iԘ ]}o.;2d׽#*렟]@aw8󌋋Ԅ΍a"Cd0T:uM$l"InRj$i7~RK羥fk}uhcEQhGK 'QO3T4u#L K#V3`=Ik1p<RNAsјr2n!⠩>#ĒdtXێOloǔh2!sFHtMjJycӮ>RYd[\_$=CoeZa]Z'5u nnYxI숪Ҥ VI27&Tt W|54 w]Pӑ0` g-N7ġ5t,Wj\lhrlpld* {+{V'RkM1NPBO}NĖwyRgLA}rL1КD{\qfD\^/#Q,1T8 [QVի^dVq@:@wA6?dDZhSAdp6gNdގS4fVTM5W־}ԁ=e\a}V"_S|DED.E_W 2g]tso:NEs[^r$nWɺwN(ML& KJa#S>|ZoTrꆫ!S<:A!ƫ!'ⰶڕr |w>SAx!ᡅ{~-GpaC" Ҫ63cHg!,8g'1\bn.tN_I'|ja`In˞YCr:GHb?dسE'^j']MabztSl?ÚuܕڊA:v/aWر9z~Y6Pjk_8'j1Q2HX%{x׬Fc :u\IzXσ*'ɫ0&u$ ٤!&p<7N}R> vy% ]4@{]a਀KȧHtj~ 0n]B|K6s_+lH.CxmQsK\ZPkfUk'q,a7Wl.tZ ;h*`h7EYzܿo=Q#C-vm5,d?ۀוIߖh{0FC\68vY)U=a6LR=LVn Vء48 uX27yIK}}䷤T3MO{JqaSxY%4~@g8N.P'g[Kio|DNV Tq ׵S(_ >y^-cH, Lrv?9[EneHbֵ&-ğ#h^wB؊,\)%{oS65=wqy6aD+ Tozk rXUe2]q(TcUNRmY\x6;!5. CЦ[VP&.tB[AB6_hKwG'eJY5G=#!K~D,{Xpp{dw7{>ǎ"vn̐6BE: @DW~NSniD-u>QϨM ċц7}XYShUPJ1Dt>&}*>%MǼ57atH4@-+(I{WF׷CٖgI}ȉvX4#젪ԨO(~ŜC3 T-`dvN76pUcV"!E`3A`:I*V"Jo[ uX cċ;%:P4tgLԻh12+(Rc^H |2vV XbP >pV9io}~1deams6L[mJ+!_b-% {$[3&?d*8Iӊ2>T]>!x\p'Anj0CL_rµr\Xrde8-MQ]5hߒGC\i(΍=2YOu!o+ ؟HU k=gz$>팈gEbC ?ޫKLodQj0s\Eܩ3@ sA(+V4*7 '[-'=OȫEJW5V] g0uҳ)ZQ MPXS lzfk)f\}?R@ݏߎ9Ohp^u-!zr$Nn2woEGj*(Qz;*Vxj\qq=гX2!Na)^eG%,?pg$@lgo¸)yDS7p]OWygJi3;LK}[K `#A)uX~:U2=-'*FzԵy7Ec#>BI/Qnx%23 4 mk^hujSD$C2UW!Qæ/zpy~x[s, y2p5Kr8Gxq']$yL%q" #T >/藲$f_xad86# pB=qKψ vh5L1J YXǝe->$CE?9[m=3QR̝iQOf@:)CCɳq|ÜX׌g~ 涧>h6~1d6)!{#֡b0J Kf>@L@#gfUp+B$buP' |hCADj9rShEig6Lnf!o&a9jCTf}PÃ9VEG{LG}Au0 6̓JIމFQ +d@Lwljb_9O)TqIM2 -z5Bx簩\Qh6rœ-goĜIg6W"𠁠| xuhCu3o_vyg;n ՀFꌗ* vX wA8Eqc><iyq%qZmzCY+=A*;Odi7oTi-y%-jCɾMc9jțEՓ:~L-)hR+[*VJ=tXy"ucÿAr]VD[㋃FCV=yt,99t$<{2?h I'hڸk-Td~u ي85&mt6Т^'~ 3`!vN)ub&\M[.'^~ *qLsյ;J :+c͟7bOy)҉ I~iӘ2IbnkX/NJjKM˨";B@9\k뺄bd"1;9JW K-Ȗ%6hy+10gP\ JcvuEPa7S޸4'ȷ)SŰա!ĸ?ވuK y y=gɴb&{ʊ ^w)Pw4ɢt1Q/%P~ͪbuSlW}Ӿ~'2U6w*\2@Oc֫v_Sp}lzhnUꔄbJIșe4M`#Xg.)U;It W/-1 +$D䈚wɘ2.McՕr8osBOr4j%fQ*[ߌR,-/i̐ ND)(\\y%dKcbCp״oL/i.)BeSf[wG$ث0Q7]r>U7s[~ZڞQ(|ٽ{1u+t+?GXrUcюnԓըf!YT5xc?ػ<)x_ }lhJT Ȥy2_Mؾwgzvd~6@RF8:ZսC~]I\<37 u}l!clxy9dpy9F&= ڑcC1i[7$PEYB7HUCU˾°쯴gYZ ??%'5% lHOL-Matrix_LPHOL-Matrix_LP.Matrixdocument.tex7zXZִF! XA_/]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