SQLite format 3@ Y.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  1tLt ] HOL-Metis_Examples:threads=6elapsed=16.857cpu=66.288gc=7.2407zXZִF! \ ]ŗXiɟ{w |nLss!ՖRu臶$A97F'"+FDJ=L$6Y 1 HOL-Metis_ExamplesW1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0U6T3L2I+E'D!C B:9.*#         8 T v , m , e) x7q: o 2 Tk-*q7V h%3T ?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages8=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files6B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id5=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages4;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup3:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files2@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id1C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup0B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files/H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages):1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup(91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files'?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id&D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup%C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files$I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id#F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages"D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup!C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/filesM1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex?1;/ HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex   oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ MM01I= LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex7zXZִF! a]A-MՋhvG"uIBm5fa1MI[ta'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7tV /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ ppl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ B1OC dHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex7zXZִF! <]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI"&Nc?TՉčNi(lm&=ț#0i!1Z\&Vུ ]Hmэ8qs-s2T]ZV١% ?6=<-ܢCΝ'ɖ"iG߯p$ $ QB﮶5] 6FrB{S[#ʉQF`^P,Xh{N٫xV'Rie.qÆ[$Hn␓С(B 1ޓbI+; @=>= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'s 1WK 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex7zXZִF! Wx7R]A-MՋhvG"uIBm5̛֑ 0I8M\:{V5f43%]D[S^EhQG`U)" 6H@xp׼ρSg8Rg*lu+]b_;8zV#sq̊N8ϜKY>^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZcy5CPcENzL0$L@FiR\WDt81F‚X^A sA\- $ [ 57L|Ӏn{]^⦅!I'0֣vKE6{.j[ް=7ĬLlt°7^@^xaf6".#RqA"\Ws LvAςm"'5 Ns} 68{[FM7d& dCkfm]FD_0OuRoK$9+E;(Mxt=HE#*֧7(%6 j:J0S*E*Xe_6;w]jJ #8 %ڂ[PaXttۊ؇EׅR4(7p_*xKSmY, .?ƕ%6խ'tIpUq@ZtxԽ0W jSk܀zOƵQ:-rZ"M,+ ~O_t9Ug?* }g/QΟa ^'Wϧg[S#@-_ :@DKW#;CSy޶}4blퟎO$t&sGAA'vBQLȗ:[i>p{]x ocmD0K[M.̈́f-al8;R7'` cK6(Ų[pY#Bnz9 ^#ΣY QK,[@eIv|1֩B oW 2s ȡhInT0/ÕDFW'L>EOMFDg0yL>rƛ/2?2y,yj*QxL!P5?}3`֋[H2)E|H>T`Yϵ#Lj6l,1ʖ~0PfH5^%4(@L$5E:ŒmGשDHcI_O/vB{viqhS.7CN/>U@1ϟfV1QE_ # Yn} VLǒJx(á4KM/ N1JL |x @^F"f \fYO ;B̎*Ż  2%_WFM3jkli徜>5ml!@A :.:MA*J'^PCnOf/aO[-|RW M =@qu/cVNhn ZdH\3I݃&5F_m♻S%2 ՙi0A¹y9LQ[pnYSPv&Bc a,ʅ:~ߕ+ȣ=DsA1YH.Jꓷ6yO@)E{wX 8"*50fSJOYkÑRϨGS+=BTO`/) ΠHEP7C 4L2[| aQY|㼐Vg>`A#q 2"dYC|?g?.`bVOףcǖ!nVPjoy=dA/62v9EBCwm ĔahoyJMFKepuB@4$x֩zPE://Lۢm303~@y?170 +@,nkc٧UJ`~(B"az5s5N )f4d++ 特Nd W%l`Cxd^+kHÝ<; Bߑn!F'benyfVc<ILkvv41ϵ\<愔: 0n_~y8_Y 2heɊ;Dwk̔vÂ沅Dn?aSP+1E/Ͱ3Е~ ݜnh.j6%if\0c UKd>JT=A{Xs!!j(cXn#W.HW ";4#1H'Jax""}x<".3 Qșȵ3ڏ 7t%㎅E1%PvZò8g:/:?L{G`2%%#Ёq)Kbĺ4#-+#݃U}=FCFr3L =񆬺:FG R~{31bf5h29&]%Ue뱶5fq+KP;|jCdO*)5p;Nn}h2P5ODb\Rh:Q;Og݇ч}9XI{@G,i)9J6Bfa߭,^2Ш2>Jr=@ J΋˓6T|FW(UbO| z֯+1)v_w N㡸|T}q_; D5;zEPX70na S8gkΰ7?tWFe߂ o fF)HbޘjEjQȱ/L r ]]ً2SIWzK0NnqS,ZmԦ )p$q-qAdrz%JCi^VT?^iȆlU70Qh Jү\En].=u n-}/4몰!LZlh Ԍ|?x׌ 4;GlB *VU@K.rFԘ |~O%&VgWR cAs7sm<2zhe]N6]mqQSwC8dFmŅ{Ѧ 6 BGD0“GcRUȨ h]`$6+B z0Xg]N<:GDpoJn4zDꦊLA.y 0AӀ@;]F/Ra54W<U{p(3j3m+YjZ;,]hqiPǐ-RG2jzߧ(_"-uHb#oL7l}iy K3tJ>\GكZ~sB0;o N!|Ѧp5-eB wy >;A7s}lYSL>S{+%QxႲ_}ӝ1D=$2.%"?~6C}ȢljȻ!XU6,&_0,O e.-IumbQ3#7-1H& ] ,В:l6iY`BEZ1E<.lT8?!olErrl2 D =59I H<2)d%B6S[RnRZ8i:aCL9i5rFC%Rnc>R-y6r %=SdK\ʹWzuS+ES kg9'j; R0&C;h&->݅MDcl;?9oR۞LֳBf(΋@hqtmci''xٰ.8DMI0qePaP7,ݽ7 Ic&lξm<R)H vSPGNW?81MpY=PH&H M_J#H>6ܭFcstEf£p~S~SQ Sp_ S]Vw>ߣ$kpxxc.3:/&1v 2|)%H ,V.gAq#ٶ6 B*{`>Z7pܰ$2EU^<0puG`@ju\=5Eoy9B,zߕs'ZϐtGBGH ~rSڭIG#݉'r& G W^_5\1^áθ*x|=#hbBiȃЀ1c>\n ߵ7`c";gľtVnXFm%ߜg`BBbRO5}EauvKEh0Z,,HiotC ~3lHi:1ƃHm1N Ǣ:BfnBۉ ,Gkq'> Optr)#Jo^AHгvh{d-($C%,L͵H<l{R~M\ۮ<Oqг2;Hܜ#naonOz( PZR1Pc}#sJm}ƞ&@sݛ5F22D)'H#v|C0E&T"Zei="!M;4 WZsFItKp7'[C.lJ;Bz ţs.@:Q B *s\ۏ|\ghMHC`G܉ 9/ǾG=& A}|4 WH޸Qcl/Lo]f+3 bXC8o7A{% 8ˁp#I67N.=K8?)O5ؑYk@_a'A`}Yӵ7A1:[]3ٮ~dJIS"n+w!?ōjxf<\N6%qg0_O.iO= ‚'1;HO8$Zc&е;'c3UZKmG,ٻM $%.̣z/9}+31?O*Tн?_,*ѢZ>Z=8y[+5nPZ퉽l6`(?1ql.X} )|˛&lq_cnQHݧ0O7hwPFȱX2#q t|Yd+q[;k7~R+]E㉮Cw T&kh.|RDw+L:)L&ҔwzPqB)uB٣ ʟV`Rrmq"<(|,Ȫ*8jiaMUܗCMjΘ=A*6;Sć :3+ߔ?fdca<ͅ؝i+/4ѷr?.}k k Yt3Auj5ϕփ[)Z 4/Z@, s%6Amwܗ P'׾CjE0祮}tw] 3z""Zr\ }m~} tRrʙ896X^.hp|;nI{v?4Ki#t# {V3:-?:o#F"ZИ,՜SZ ??'7܇֟ұs"N-W@TFF&~Z ~S4x 閩]фhd>>0G7?|Ü$K\_sFv~9RQp[h|5Wp>.Z,U7ڻ{,71VZBۜ;$81 ;I̐;#0T}bce(nVۆޱ8Ɇ%);o2E+"m $cG]pĸ56p/JU7ܲb)#]V2 Ug2[;ŀ7] 'GV^zպa6 {eV`C^~iqsŹ?S޾@v'p ؍j@*N_.5q^4isc"L zVUj3.yg /Cw X7o;kHmOmOj`p,"}P ;Q؆ߴSr|=+սaK5"< ,YL`}Qpܖl|QtXe5jq 0U"sOܓ++mK66g*'w%/Iy)O b2t{gy,t襀1x*! :,V?ŝ0o!(4Rcfu_چ/m!`hHZYf2΅wǘQTɸ$7F{Ǝ$YBc@+Gud12?Iډ0N~W*d-k8cr@+iS]PfbH wZZhq:uWNC~y7h]x y_ b if^_YqJ-*͌Qiw@jLCoyI Q۰"T1ѡB nE.c,KsL[ցP>96JbYR3g2߁HAv"G~bY 3*[SbfUٕj^n-3x,;.o֌)v$3]!>$Jd$IV3`*73a]* |OA?Q}70glҊ8kM~R ^psP\ՠ@ǹ҂LI Eh&tSxy適suM4Iɣ짻NTn9j\|(X)# <йneYޞ * X5"Ќ͓(%Yk1 ֭e1XT>NGt1> @U7IcfRʅN.UURpL?fda4K-[auϸX>xx.iqxsk͑9P_7VCY6r̉=n;b ػǿ⸶T9f`zAa~BN\8.1k|Jz8=IEWR)+-cx:Mn۲.㇧: (~zF%ΦNUـH΀kWxai?N{+-RR*Q%W!E$9$\#WWBvF‰}~X#Mk]4@ϴЀG1$Պv \(,ԋx` Ѥ5?8Ok\O~<oz!V"W 8oŐ_3M.\B34]JڔGH)N*T7gZ(, K^ɢɀg ع@`ebWs&-?ׂFr /wҁC=[6IIl8s]5o>l`x9q`S x_, @CZ'R(Z:#!~*kJ8Sx.PDMBH^q:^)zƣ7:s+bU<\ޖȇ.2]ޔ֒xr? .D ұU j^ ;,WA["_!)^26. JC;$;b,-$_ c[e!9jI}m 9֩{{ĵ "'sji5Nk9bSa$.`RcBpm_B/=r<^UҌ!0_S !و$VLjaJm[e\ h)zW n|51q/T۫ɸxF?.763'@H&So1͸XAHMc tԈezZ?'ģoOD2Ͱ/t ewڻYtm`q߬-` d潸DK?lAM?nZ@Kؓ}<2o8F{{zSQ;^qY&|/ߛէ~%>n5rp֮vmCd0wL%6XG$hn[B.D:I eV󕡧 _N?pNQcZ5؀Ud@ m̔y-=-" rm|EKZ4X>3c휑@zé@aKq؋~7xN^GīW 'vl.*4 .7YAjVҿ:Ĥj0͓Eջ㊏#xT2#`~*5Qopz? j9gg?E7F`hn$@8gFEɂ&霱a> r; oxv"5p3k~\jnN(c/ ̴]K_4!mUf7A)xP 5Z({b:{1oD򙩉|:y"CՒB߄'L~,SS5f%})[iIw U zhÃƫeqNIZ8\M)|U Gt6 <ăl0wҚjD8)ީ?I_Yg-bKM0B`e揙;r{y{Hd{RAsa?]o c!~ {b|뺭&3N!܃XB °V /^"d%[jVsd M9!.3L>PqBʑyJ*菬I @|B 3!9h8|X^/БDn{s+|DiG&'ӣ.΍RTW{wLwI7, 4+_ukǪB2+IL+ bÉ>M~:yPw(M̒)\v9̐])Vv}Ș%Ub!M-e5|}j_2q?Rɚ^aS;_U~աpv{:YkALM[5Mqm9X(׾^dP-zfKvGALRD_QBZ=).##:9 sw&J% km%>X(6qH<V#q7?? j+CXPҿRe&>7٫ڥ,Ir-?}asD{J}5$hrep\,% K|(*|ۗӒXWH37־u'\|+fӏwdVVݴ{Lrb!řb"ԄCJvF^ 3$@̖Ua7O-Vo3&]";aDs6HIz0,v@UVTlTfg".H=bk2oo<)_Vu2>b{ Gm5 sqI-s#Psވh)GRe0EaVjY\XQAo&p%wiB?IHx]"RZϠxM<1cS&>RNNͲWޞ!fp]F/Tln^.8w%H1ogB 6á T `,dkT# :ݹX7!f8+5zƊ`0P;؍"jUT2vkGqu'HƆ$NՁs~#9@wPlfP3TF\֠A=pg>AhKElW6m|~7_GN?V=WoŁq\L[|LbVG=\3/~$iiedCUܰ4JO8Oȭ0ٍox^ĩbτhszDNN1~FyZϭc>pU  9bn6@p~B}|_eNW< /kPtt..^3I#:éF.g`+$=/cģ+bԍ^!ר\?@bAg\ꬸsrUލ 7ԠE$/zx@]Htz#4ͻ/jH":|@ƳrS lL|SAcwrqoZ5*_ 7Nn-Aqa$ՅSjR{i?d+LiVG8h&G|N&J/HQRt)G܁#Qp/b" w np L=S] v.Ie#%V OACN=|Ƚ%o}p^}Y7_6(iހHFA#urN<,0~VPVN!CSPcwͅ#3_Y]*QNg@/ )ФFWQ| pZfk]'=mQ:r|Z ..1]f!7۩M](۫ij4TlhnnEydĢS_0FuqIn'$y_A06{*]8"%%?AKqٜ޾~B^W0˜)rɼ8Haj 9f گؕw e2[9q$U's']YFS:je%CKr7ㄥ}<16N1 ϑ:ϰU_o fw)V& t ~9T9Kw=@0Rq' ydVWStEm 7TKj#za6(9Fj u'Aq7d$YÌ)Ї|ѻ3!9bm7pU=<Ѓ R8ü[CWHS՝CyUvp4b)},T4g2к ,6Cs*zLدrf7]] ȃ-BV)GќPfpxQgHsO;i`ȸiٞ$[+0FY@YVVw/A q&Nuю+7FK&[ !=WǂhE UJyr좰!-]>;/kROj/%YMzL8,s9|՛?fn=!L `65R35rWlNyE[Hb:hᬺhޜ$;20 +^+ᅮ:TUM=Gԗ%T3fFm8yPgqS:&cCt>'A!Dr#0,Py.g7UXj- &cEwn< p}'ŀ!ˀW?ܜUD9b}jp.ȧpoTٌ$Hΰd6jfZ]TKsY {'&-m!)on^pf|$:]FCSIbJ8􈚎Rķ%r)'̤ 9=RuU7)1.+M5 2S솨F/0 XtXh%r1fhM+y2P#WJ,3T2VT,'Ķ͕/xMi7 0virINQdivb50}K'fj.4N3-^Ԋc{.`/*y Պ 6*Ur)[L݅!— FaC.T1*uH6srd[ N)7?#?sGgVq"3\BK".1'!^4JPFW$t{d~q[8bqeLbeRx(D<ƢbJȧd  Tk5ڀkwC ɛ߬Wƈچ1!i~_v'bQ'G. " "$[[sN VvP@"_VǺU<L3 _+U${e)'Md)a!Θ*[ўh5h'ix0I?};LɢMʋ`ǖ䵍?CȖłޒfkWP Iϝ_- EidV2BtdѺ@3kL LdPZhw(jp]3ΎG9ytr9{_*`tRɵiDĶ˒lWq7I7S+nB![ɘZlO|翓$˒Vūf,TfI(ZUƶܙBHSs2іQ-8ZswUCHSfc`DK?T b͏;Q+'n/q8Ƅ񿕫 pywՃj/7ow8рgvжW97VEX۩UA\d͢+lA%Dka]x^s,ƅaXzV ;̗^lqtu,p9^R@yh]ɨ̆0B84=mDLX+ϭ؄@`=@SW P:j |,y-$o4 3% eW_0ajqT0qq~Y.ඊ2{][x&> 1U)dpf&$vmsĄh:)tx:-7<-k r*(0H8.ysiS=\X[5 ]љNMܑS9&oEf/._){2@FmKf4?߯ƟG>tIN)d%Te`5VBUJw. :օw-&"&#*Ьga>#ؓnu~STSeJ:p )X b*Ίi\z.@z%iH|hSEF<5eE Kd!xn^~tjuoNU6 ,uqz]af9a"xPUcbG% :Pn-$ >6>GV [C.FL*Z?p{4pt#BY6p>.AT|sCnrn9 vƁ8{2c>gIoU Q4k+ꎹ1mk -x0e{#>k &[>_e0 cnŻmx(\qhrl15UmyD7gHB|&C fl]琾k2$/y-S]P%!i突4 IOHNj[B*{eqe{#:6÷ζaogFЀ*u "o N/An/͏C>-q"_BIf'LzFcqtʙHL3FbQB0BZXi&4U>T׍}I3Hs(mĘGËH( ~lK/yd[UѴCw4=ZyFKRz-'אQd'vm\TITZV><ҳXH |3ŭazq&΢d|[Q#˲aY^@Euzi0Yh^z`N#Km;Xn;}L#/p<BtÇґ+}\5t _`'$nNt[iЛ(ryL!t}dT7Tpނ@Hꖕ|^H "TCj!sJշ{L& Y߹u\ſ}:"?oj qy5hjCtot44i".4Fy]J`" m Khr M45!w7P'T^FoDa:\V) R%L<; SoGK>^b+^ʀ}݊CAjʽ#Yc^-u (rr1 ?ɒy?-O]k+%a?冾ՠ V/aUa<ј2p_R aB:B?HDŽJ\H]df>*p@3\lg}?D0'>[܆C bL^Leqs@_G"z_rq'dWԊ-=d?Pɖ{66n,#uUϟ;8@3##䎜sqUn@3Q)(S c+ޏPc$tbBUM?BHaR9(G˿ëmQ־,gRM>Cv'!ɕ܄ẵL{ weoiR'&7$0^(M8huS.C͘Z_}H0f+|_>.&cԙƇ+EdMIDNߨcC JMpj=a[ȣ8Hr"5T ֯ D!ꏭyf~F="7x9$9NY۴엀5y̒R?rgYZ ((j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files~~/src/HOL/Metis_Examples/Abstraction.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id5141A' rjziu=}x@Nb/OYIkc,$Z e,(0'@EI$Gc.MW%̉ҕ T~4S iX@cΉU+ξV(9t,||t7CV녉,I ]zwkn]ów1\rcٗ*Wτ^1X]_BАkFSئS)&a3fޝ!e܇fz!9W?Ih[9Kw6{|se};/ ..l9!6(K~+6o?ثI>OP}<̠l)zeqb,@v G4MWl18>~ԠT:|DSD<,$s\Im*upr+qؑ•ב: %e7om U^+S8\Ju,3 zf̕ll9d"*,qsR]A"t'y6hjAb3+e1z_g u3 b5pLvKzlqؔ +ɺnf TyRJO=nJA5=ZFx)J* x(:sfR[Wiuڛwp+̅d~$I_yi.a4T^f0/4T^<\|,![ Kt`Ko-4K^ċ*/FO*~4#Ŷ(uzFdgSvlmz);?Z 'Uas'!)ų }*Y}c(8F8F 삒 L]LQ^3%imAR= (uP=1zɶZ~f?t4vΛՃB&٘ӜѽHG3S%$`CdE<ćZk&_\|^ E ;/׮m %3 @AyA3+m DI%gYZh 1A# \HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Yg]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj" Mά#@-yWIJռgY@#]-g2G/jp6h[`AQ }UfKZ͜[ħcv=Eܿ2y.a-+#(W4* f=0e}sI1P鹬ϙd`whU@ G!qzKn+`B{@6NUOXQK>r5NJbPQW@0hX/^v'#_)} lkN2^ VQd.JZP_1ԘRPI<"ZTΆhMo;5[%ϰmS2XtV$ @؉~hdJTvZHf7\ݦ̣0YR&Msj=r~=o^ƒ{;MUƺ(g-Fkj ڂgm`Zu83(崈o'"ϥ $qPN/xBkӴڟV/< vJrJK+ :UnƼEU61spofXuEɠ]>\P<\-ĺw8YU7EbmI׬\5:L$=:7ݷZy MgXo8ʑaf|ǕJ}* 7[9/CN`J SU>:NډC*${`s1V 1B՞xՋu!u4E#8'eeM\l\#0Hf>>Ay9.pEY=¬r. o*\vArܹGPC9!eWGZ]5= 3EPpp"bf=rneŅ!Tuvo2[lG,<@}(eMaTSI!~(IM q`p i odjc' :8pʎoN7;dk'd?T$4;s Xc8Y^f/ K]F֌+%ޑ-Ӛ1hCbф~ُ AV~dTTVNM72&:EmtDb r s#Ƣ-?mdĥu07(||6| C',vmm -Y*ΤS'Kn'%#$DX\t:@ G9je».w;'֡B jtfaI>7:V.sE-I{.KWF"5(ϥ,- WWP@;:E|91 ђqu*2[ ?8 ٟy;O0A@{<ϰIJp̲ڝ(Vc_9=! Fq6"D/ײܫxYxdq&d0q$+‰'aƱSTWl<{n kgmA|pdu# b挔y,wz-XY °-Z b3),:z^ Qy$&"?iߕt]8vanoҘK JkeW!qQ4jxvK_l#dD57 .,}j4K&* ]`cKE ϖ(A aa[R:8h6*xe^ժ?N/[,;4 slfpzAcCWf_C_`VjQMۺFL"Ee(Pe҄`y[5P62^mw%0|?|Yo@-b6-2kKiַm䈏~L-xA@5/\x?xKF&Kv!ѢOgj+y?MOz.Zw &Mjhiԩ޸" ^Ѣ/7F&( ubƲa_)nǾD"j:M< ߌ`w({G\9IJMg!鏅U\KTf/JW5cHǒܮM=HOJFcOdkLNZ{}#x'nA'9pX:uv]5:w~X#(ʑjDwצl;`m##SCFZ=_oc,6JZK9H!f1etVLVU6GDo{߲' j 6UT\й9ia+8#y,S7QގɔN+pY>`zr'8rʮ|e gSV7l'I¨ WܭS žGY#Ql U4DpNSB|ʡǗce_pc ƀ pJb'ue2?\R`<訾b`'B`u_y0M^ TeL&Me Я˦+ʚrMy-NMf1<=.(? w ubg gbD'Q~'YtUڵss^taMU[jˆ'\WGQ,o,&y6B1; !MBSZPSvvڳhzzՆ}/(~Ech1]3$vx٠佶/qB{9hS$hIσuW-V \wي`%ΰ#buŒnu,?S[:_zǸ#wʒ/V?-ExPygJX<`Sg)"L~Z)O;FJtm%␞ @koRĬqlj9)E:Jf 7Ђ2̮)>t(鼤,Fm˭ לoP$)'<:}ۍ+aev9W̝ H(Q',;!dwd_;<[ ױ6D*hFLtgNKeVxYŹOG^ )Xu=9# N, lv>2'DɥɎ5`\Qf>gv)UFζ%%m*MxM [J$.zzHXil5v8 7jY@fg+eNuQ-xvJj4Z鮡6@\z=㈑?4l6!Gфy܀6{-}@h6:Իɨ,aY>Y$s{O'[j z Y=P$My-U`u;ʺ,fk.tdW_mǐ2*w"#lw :FKru |*y Fg?ٞV>)VuD )uihq;]ۖ+x A<*cDm A7c@jMQQ/Ju8.tcvIBH~{'[s~I|C?/Thշ)p$<8N$ߟRSbjQ@P&b,C 1Φ}^A2+^w&%co]rXğ4vm_s<$h<tcP >vɔF3,Z G]O34phI gSŲ`4 3*->kg}$*?eۢ؁Yս Bo(̿;sPͶWIP%ȐʺR|;1yDQ_UURʹpglvRFIetS<;5iˇF W|go*,A.RjEn#^O$K!C[Du 5P) .9geM4?z Lvt(i \'sF0XMJY-ya8cv>4 ]]!JۯY {=#x&Uڀҫ?Y3SZ3]Qu W jRl[THasVdiʯ0T_?%RF[E-mڞ-5G~%<ј@-,B+$BazRQsߔXVxоc˷X6U7.(uE#g-˚tLg=bE}sf7J?.I@$0%!^'\1)&88T6j0PB%4d\ˆKK )Y\ q:>ۄc3]'쒖JcPWފ)p<YLp#'L|@Σ:@tk w&ndr «G圁"Cn.M ߦ F8jtCwUo{d 1$!t9]}< r`jjt?UFn N$6^^sתN{~< 7UQĬԛ}h\ЅuspÆz碰m<kBOp uSpeLa`drGv?!CVIc~;dvݪ_IK6,2ʌHEB ]R[?j ||Rcw4LhI6Z`VUpCG 5s5}5Uwd uy8HT,t_鋵};'$nX8";N&5>Z̪ -/+^L ӊ AхYzMS!''F{@ S' R)+zAq.Mo>m}dд71il9qt*@X ]xS2`ܸo<?wvPP@>"?b˚+ܬwDoC0.('i5p86p,t|ck3J>M3y5.C`^l8PfLP4U!&5*\2NżAmhdJ,g{Tc?/rʧ3A #7,Ojx𳃵Ik:t ;&`_H¿d^tδUdYՇPE7-k|lٗ~rjq@daM-VoD`MsH_5Bvk~${"%XiڪM8.yOw2|<^}aS<!Cb;Y S2 >XK5~W'ޘO#*8zsXwi˭o9"\R~\ٽ.0+]14XDLXǀEOÆYz-~g\PQ?&) k4ko!L'jy_-SFgFG9H{^p+5Τ,8 P73:c3wWH !psLKIU  d6cz=1v2;}O>I]w9.ٚFf3;n2&+(RvHzoLC%7@k)g@~Q).2E=J+}8A&YTt+ ;nf qZ|"ͨ ntrQ. а:aaOBS?Yސ0imOy)=nA'zĘːꮨ-<^-܁KY?bU gs!dI,V1B؈tɑ"gN Oq K|{>s(X0+AxaЄ] G+-(~.sSZ>ץ *yN_Lg2~OY2`exϋr9>;\Ӿw/}@0ECB1DUosR,> hBwzAKԤcb~]k1j,[y/wc m\~{ /h<g̠`mGԟV9jzrkhL |2/[HVNEfH짆wٌKjP vH[q11B&F";2}(Zl7n)5>CeJ^hp$LjF 1M;׺sK~i~1+uѶ'zR.vb $1gH9^ˣPRNT?W F]YvKIʹ΂ZĀY쓐84C?,+nF% ƒpuAg/:4hy ivs >x{ܒt;%|((O4`C3Q E+j Qfl^ѩ?F\ږ@?׎ҳG_KJ D36q޿ڃ⌫[E)/*j_+⿜O2B1nYT-12ǥAQ3(Az %~rF/hA[RpV[|ѳ*vPZ3\͸$_@ͺO=kǗ,o$f3;"K C7SS@;b›WCAD'8Z9PxĤ&" `C "#8C"S`:0؍CODo#jb$d@`)_ҙF qΗ{7)jj2i?,6øUh:I!D0yܱT,(sx^$!:}.I%[N/`EY0hM`J{D.V6eMTc3 l`(#QT*' @풲MM SHrzԧts7:'Axa\Ɩ򥚩$ %F9l+{6pGRyj`)Щ:(Tǡ O l]^w"=-5K >^߫xY 7vCƲ#) Q 6R7+qlGZ >fݹ[D p$Dop]$"fE(AܐgYZ - -o1W% THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! c]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>"(OBfB5aPnb ߿ \mu xno5KwDes %g1W% DHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxufJRe xl:ӥ^Zz${%sb0"d})7LlP 6*[ e[ Ξ/xoZwE)g>V =/`2x)G7 }ck",zg$d/Q0cV1eRZ&@ FSUp &eVeD<1 PQ:p;FAgё+&z誕YHzŶ z} & i,Cu{!8Gz ۬B̛V4Ko5J"$X%CDy F*QR<}@HLUA(wwHIz{CdHnc l󩓰Ԉ$PCң@Hj)rX#ce؇FVz<=P<_Wԭ)@3 6r/!(,&?ikE<6ZJ II!O~sC8j GU3X:Y cB֖UyZYy88Ilc^qxKƷWŹ0C?qF)BRqXumyl./d t0Š+^xX^zgd6qhM|ܣBTM|i cWWO]M*X^ԛXL`lQ& :&0((́oelZ%f{O6Z2.c܆; 0 #ߔ+Oias ` yr`gn_A!߄<5Wtx޻)椽y !èl[]'2s[#5xV@JZ爀X43|)Rؼ)L#  IM~]@gN` *yڃ6rH2p}hhYg*?,C!HX պ la}( c$Kv9"s| 8Fξw`)W1+mS’ LKEGQc6B!jM*hNSIԿj?vٵs.>Ab|=lh@Q;ύP\8':Af̞4"oy^2,>U#I0 wxwcq{ :Ux0L*io%2H)uuVxc=i*BCҨy?5= lt`5^.XFYךn!\i # mNL{4Y蓹q4a`i*2ǛRX65f!Q~5 E.b#>O ^Jl\~bJWȄQ{| Ғy%r&Oʩ~,? @"ޚ09ِD! :ϯcIzm"U2PrNfcOzI J+RWfnqw yt"b膁6,ѭ2E4Qo+y<$+1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id5128 1I# tHOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձw9 &k+aL0 ۉ.{ ?˛p*tI-!.όj%)?QScYDZIc9MCEl]Du=yU8_'Mk3<цhmý7‘o 9' \)$aVȧ:]D_ԍ bcZ4ndo9TN>–thOҕ||mkN[@bL 5XwE/KWSrzv%3oL&RKD2yk3ɮ_vg Hn.z&/|<ߖo0eǼm2S*:1j1pa^.j\ԬI,m]lcIr9f>`V_phKI2h)xz/æ_S,8 @pF}b$:~ֲ=,d Ee)VbX!! HGh ,7X@cBJ̛@˻$.EMdbPɿ;qB]_ Dh/9O5Η|i居bd2D ӐHѲ=X,C"{G(I#\[\p؏}f ~})/{ =ӐzUben D{'}+(]17[JUH>X$1&lqD]a69twu!MN *Ryxս &qN0fa0bznbe:)uy,b4?M“JcYp]K-{PN۟c^xﷅ%0v2RM";aH[ F&GnΝ{XoS0#L|R٠FhG~9t+&NX;#PN9 -B6a}XGf!r%9^93`yO6k#D?2`"<{}S2Q+rҽkF*W>NN{c<('J$=;%@a1(@hy6Lgč g޻R)-hF&ͺwO#T4Z[r^h4--仈9{qQ(vy"w ovt ujfG7U \}fc\DPB,ݑ۩KU*6um]+1olr>}!_vꕣgSTD_c>ɤ`oOSr=X=5:^p)A՟E=q{%}=DgukW 6Nx{iiGJ&N' ,#hD:A ž>N#k~G5!u3!30z _#s 4TMrxՅ~ Q!o7*#m,q8k$'ߓVµ04:|7 [\jX [`Jzf\-8v|>=j4KbTSOej~-f9 uIbBB~gY'#r7ӮݹJ]g'pD0L]qCdQD(LUBtnFӶ*?aXadHbh0C]t{} -(϶dP3o4\=yPυS"6Wux0=qSХ_:ƨ΀Dt Ԃ8E!R5y%Q)m$P]#_c~BI } PH&2mOf$}FqWg©k;R\5>!9ڪ| =9|vL53\Lh]v('F<֐%?%.`UdPn)%7$RY(sWiT_}Mjv=W9Uͺh3/uiّ%7p%&b7#W y>çhp 12wY`<[} =ɽXj4j2jÿ& ^At{|- Q;?BY/J8ǣWiwY_!L7E?ޘato,3i%_J \ug}m]0֯M.%cpk|_c(V;n;~pmkJpհ{VIWTvYaJf~ D0 o"W /!}1&PYz(:~]fQڙpUmȅ5:䡱z~𑍖,JEh˿7t/&a\>%E|eK~~Uqs1V%ڴ_LNaDڴE[kܩZM瘷Hi2xo8 PuKa "D8i1y UwގcuOqBPS9~ TtT .Q4NOne<4EXA-;pL j Hv厩"lƑ1?F5Q\{Bw~K=+*IOhxvsLށ);}v]cK)EZet>8$Öl3tPi'CIG+\t.K"hX!jquL"P}}EGTURDժ) < Xx$X #_J+Ɲ;aڨ&[&%a-cT!vYo-yCS\c6Cy;pg[kWfh6M޻GWc-ex1 ۙLX͚.lMaIe쟞b127{WL!`/APe"HD@W%0b@ )3k 4һk|0 NANŋvC]W W{P'R]Hg,3B ORTzD̞fd 0>JW,Z⏔=cКQ1yIW|4+Tny뷞״ˆwtRXNJRp+`-r{NBFY-݌17Y>>p!BC4tZ0 2O>gA.Գg6YOϢRˎrUKV]PuAcLz8&=#hШVDP\FxMhZU{!,zqReCv+a HnThda.7_ 1M05xmPiY9E&\*Ltr#X5V{\9 J(Gq@C9>P8yufxW{/$Gl"ݨNxR۳R@OpdET:ygO歧[FԫD|VDccgDF VF8IS3` "OJ2)HAJ~w od/^ lS}$gK& X!DRWpR-la"'c%H伩 [9 )b=U%7 5Ťg1S\?P<0Yn$ &RiC=_ C<,\Pt3;`=5?%," x;lG; uu5wQ SuThJ yNK  b>"0rŇV\Rl<ۼu^5nQ3 G<߱gYZ&蘔+DY ݟtD_*24$[90Fҁ-CM_YP˰B [;cq,]]$c1qxE_*PB̍ Xf8ܘ&%L3B{q3qjp9Aʟu4@:q׻PH>YU#x[r C'S-n^V4dqZG2 Fzp`vZ!%Ԟ%0vsʅj'V0BY )|Q  {Gm"eӕ )v#n1R(2-ad(TI73e[G$6m_X)B 6٩"yFe1h`i$_y% 1ґk N˙z|E{D[@+zxϬқ3W߸ߌ5}/@Wgiքs7PXis ܎wSե$ZPsQ4r_Yg.Ϸd:z&z"@>*Y-t? F쮁oݸL9٢/ε!F_lR/Sf]^c*ei,?_lb[)=?D[۫oS0XK VȅFBM 74g)Zh`)W#*ЯyuzˮZ%4$??LTg" uCI7gs,Zf5^[}:OekL{#lyѽse-fi,v*zLS #unTyŒW}b/[31E5'6.&{b71tp6ADDJIHkޔsu(f)٠RD@M«sqQw;JH[?9. aw/D9^ĩQD mO)hՉ>g>ĐsFw~qW'NS:yl1 CTPT_,Yd֋A`iCF{WZU1鑊l͛ -wog]nOq4-6X :q-0Q,}AQ UPm%EJ g ctx9}a.M3 P+e*rйM:iYb*hqdqs%h(/y4Dfo#ֆQ12Ja9M2O]2mt7S 'ŌKC2e㍯Q9t mva#'Em:]iFyL:P8܈>GHn^(m54uRH~A4l7U8=^>cC#lBOK:Ltu8T~k 4|-3MxDḴ v.xxSPoƋ3ېl`.D$g9oo[飘Q?B3/$Xfȡ}h唟1_dUsQgMNH#ÍHt?:O3m{@*ZׂVAuAr s+j*pGZܬC{4Q2Btfo.N|r׼>r쉠Ɨ0N!W>@0D.5~8!Vt"i:Yf;*`\J:̢hpR#0AJL3;C3EޞR+Kb:"/m.Qܓ/E;_{%_۩uacgj+'=N,'@{GiI"]V@eu-Vޣǟmm25VC#AG9Q=_gB*AS|`@5) FZpuխ͎U0DC`;Roێ?q8bezIt2@A3ȧNa|߈BP"Ԡ?AY/SH+1qwO8QԬ{vo0C^O)M?> hDGg6(usyy"[= * D4uB5.C|wY0?\QF_߿mxsfbMa|> 3ZbNF}R1P%i/W!m^jw-;yܵLQ$èJ{1 aEfBhv!5=M~G{|K\zS,.멯[63Cuq\ifb'xY2Cqn0{lK)npGsΕFpQ; >ܕ3zg+>OiMT[) s-#PW_ @X[4|VQw a⼗܍n~&1~VN+%Y@H}tyhiľ0C6Rk]Gkn?39kv pԻț󋬓.]yкE &F!I7A Mgh.̌1 ] ?o!ѿᨺVi:yD_1pƂԐ4bG,lLϊ[<7;KO0w+tW %@”去q#8 9r*`Y0$JgӐq)n`@smTZo~ZXoNh(?r; \b?^iCgaQ\yJkiY.q CWryIgixP`4!Dzw!EcSj{ F/nffXc>=EOhoFIW*R\8!/BAܻzԋ+~6b'$y}a i%k^L5DFLvbj^;{ebb ŭc rk|\*~EEug0|\qd3{i͇i?$bش8H]`*CQ9   Gy h=Bq Uw-,Vag3׽&辱M.w=׭9ğ"ޅ*Da? $,.!yLM| |Ar' YQc~jGJpW6C3Gpz0-z*4#AO.SQG%6 9J0fg}x}W*X:xлa}V U4#ҭQnP;ퟏ/Ci1Oy8QC!izGNy^&FL3z9]hۈdZ|S7IloӁbuTp|S>'-LRgl {)2Ea؆d0,z Y7fȚXy]Vͳ5:F ʖN"EJ =n*03q9 s~‡#B⥋y&0L;9O(?DI2O(ֿHG {!qZ@v f&(M'U{*OF?[#-x>ЏH陟;mTagJ{MNBThXYpx,CCsNֆZ]AK̉L ȣPtTXJ7L![OwDŽq y9L7]ڭI?q'p.r^z]eTI! b'iWwK8GW7< w!&{e\hɖ'+[w)_dSca.֫\V>Y2"V11v|:zW!EDJi nn'm-E#tdjCb!%#TZzIև̀phi]}0Ղ 9Wɱ)|`Yj?õW5!w-Gcɚ L8QI[#H?Hח_WhL9au"Z8Lfc#.۞N-!}`o!d_dX?nߔlqp9PWôNph7q^ģ P9J@cf>Cǐ1ڟ\EKMVEix,%e&6F"hT>).'pf\ Y}:+⺚ "D@= aWй`v餖%9-X4e8#4Bd1-`7JVpz^kFD!.>z\+F~nLìsOIIlerVݙ@K8?ƢuQgu 1oހi?88C'K,JE7wb;L~rsLtv4NUFn@OEXzW *9֮n9%Bl &0EBO@6';h8} m,p9~"y*^j/視@C{E8 _ Su>WpA!@<,f>)= {׊4 oso\Fb#[-@C\C1CmKs'ǻмRSO~Q ]'e^Q=lx&tb_ZZ4~D=߯n]ԋ@2(f~S#7;Tw^-'u{z hoO\h-'P)49vmKD =$#*F6QSRJM6^㉪ReZnH&b`bՋ-OyxX]BG\OPpsBIs}-{4RYlEH5ԡU3=g~j '3? gSk%wa 9 +2c+*J;- 9vZTe˪$֒S~5bᑊekjL&TfZFO6,=j<=bn*>@gYZ(z uQbu OcSHꋈ!?.i0ӆ| (ɘ!ۇCnʫ.{kIFg _&fY\Į78~#d'!kU) 1,"*AI *z)1i[jȨ>Jq! hAό]m22+}6Z;&tes-pߓ ,Za*Sp]Ӂb;U4 aMC] ܽVY{\ vݳUwG h`$'k@* "2H riN:N&2ocf``$}`8 %~_}Wbt_ !X|eK-QӐ1~+8xiXћi?螼JDDP=CDoո=Tw)֡a{o;?x[s-}g_Ⱦ@.o2}|+rٸEfi@aEƧn:{Hc JH+ni (ăɣM{)$>we# -}{ͬzq~Ysl(zޠ'nKsuxQO[swOmRH yʾT 3-\ZNtG1~f݇js aԎgAtCMۖlt$U!kj;0F)_[)i[eA@r"ğ ˊ{bu[IE6H7:v^VUu05KNV?I|BȿYh%h& ǘA4 TYxmLI̔fsWx9QeQQpE ,X4x@ gJ)ۡz91GBġBEؠ{+>Rjz:@#S~ b7;yP9^cYBg/^xM2 0e]&*_FuیyY5ttH~9y 'v+mPmgD ~B,i9UA_kmKYɇC}~pDѹTCCEX)dW5,3P H/X<K{Nn }_f(9-/^x k(,!cbLt۷f&?xV")%Db9֝⒪q>>"pMz4soJg:FAZVgjZi1 F= tC# ZT[iq((_Xaްr/Y9ȑdO 1b^:ZNNj^3>垧lV'(Qd%-Kor'N^HZbv>S[ rL r ؾYS<ؘCP/EX.Xvx2Ou. cET«)3%ױvQV"(܎4&.pf\4M⑖`˧-k0к3-}d1QM а_V:S]l5H~(mo1m<\]h}rkmxޯL@Jj60<H$#|B7&01^I!voꥧO>TA%qn݈9? [JO*ZlTiQ)224goPYĺݰ-nqI+r#bP\>9 _%1l){˙TvRI%"_T=M./zYT,le8u-l'1WItqD <0mIx9$n"ƞlt۟R`ZS_(s;/[r嶸e v<%gq{NSv:}ȨH6mڇ-Z0×}-yd=q9xu_,dK.hC%ޫ<õ$SNt K&xB$ߑT<\.IO9xN9i~nejC eq\Zշ-w';M$J@ @ib]GC)P~ c( |4ؚ~'_-"D{‚A5_ŵH(Du$o`#o2td)j!Tbޓ(ߚ67ܘum#tT~X܄6.SD %kRu# @I>ߺL]3wڧe~$v>P8uٻqʀQQA~6h(l[W ;q+t{rҏ&- Gp&H6(|TzDLPL9j]FmA9Hݎԃd)BNYP:O߉'ɖ^NNG+LE*pLL,;wؐ>Eg"|7B I{i*QNZLh8gpS=q\$ĦyrՓc ǁ. ~psw-Tsg-)^ҳ}j ͽpfg/!`|EJ$r-^ReϊjF'vz0* mu z+b[\hٲGK<7= 6O{kNlgPw/H8Z_!J9(?BcD)Neu躩H?\iz}h5wda\W@qH)% j_CxHx3bx },f$h$V.ڂiExN㚆yl ܜhu a!ÛeȱK ꗛ2YψF0,=S]%7_eb-jg `rG=/oHVMֱ$߲5bXG(&Whۜ[°a,zEV~@Bî!m@% ՗yGMb`2??ugk'#?^郈^|JGسHBnsN'OoE",5{b;vw;}+u霨 7bm.m1gf(z&trF5S<؍R S?ƶ+1*`ku潚/9B`QB,&S%jdZ\nh>f~Ƌ?#7۱1"=IYUw.!Cm%%cio&hwlH"j yyU8^@M\gK@'>fmaлe%NM sJ" xDO?6VH8`4ɵ;,ZdZn\%LC#(YeiV N<+|b5\yG'&jpI?xI$CYW8Q۹ qq, 4|:Jڳ3Ȁ"%ş~%E[e%GUM(ӵC[|Ɲ\zk%Ep; c?&8θ`ajFޏn6Q$:诸Yָ;#{!*-!bWtU#iKO9v4ϘǁمI'‚]gM"oSMTkJm\ց"_@k,8Z"pOe7n9+6۟4 )]({{`$Pޱ~TʯIr7Ei(9)Any8]ġ =.nˠe䷽ܴ7BP8F3i'0n^rp\_|+RfM\;נtB`>n`y QS4'89h\^gC23ԑ8^}莖=M*.!^DjUuo;)V]~I$ޚYSͪ]TH..ֺzboM:},%Wz @]kzQ@5bNF;\H'ȩJvقRM\Jڡ>G&Bv:S uɧCKddSôE9K=4WmOR0xBH>o XXgcŞUKɁ`Pacjspfi!(U&)mL8=p,U #TS<.[N`TƄ;F 8CVLɒN0 &kcTwBs-wd) Q +osE %׹{ $HK(A5IlpbcwӀdiKR \3>C;Ns$ЊoUZ_U* v捿idH2 oHX<=:'_h'[-Gi>`CpM1;7DwF>.""jP9=UΣjOb[Sw !$L`J%X.חWrkڷdiPXګ}=g,}xvGt^z)V,atΤ Rc48e Yxʡ0{?xZG]p n8Ą5ӛCyfҥJuHE`Ck<~yV/N-:nH8~nˡ=R:*] ;KFN4Ld/fh%^|ZVUjr0&3Ӕ,ȷIbv* etkrcq] 5nCjFUzH# GK"h}2 F\"px88gw)HI_ ;cXs<2S~ͣ WjXW+yiק޷gp *rq$k4gX`Rl8T _ɷ7T{yە %r.P:$gawǡ3O߭ %yLZWvQlOdfUzKz#F%ء@4-(~@rr}<"J__mW{ o42oP"I gX(^2c걊Q(fD GXBoK=)>u'ϚE* iKԕ?NP)5)x"k#C =y &ӫuҫk`0]2̮ ^ ,  dXۓJ9yzmX?__PG:[\ =Q\alOS{8(KЍGi>{l5@QpRt &!?SG[,H]CͦqV+H7;vl@yu2M8-RNm6<;Q7m\Tk;4^5F`K5>mTξ; 4{tqw:DmtTkW09p =S; ~ZT^ mf[  S+F=Ԅ'GrGfZٸ~~i5\Hʶ^s,cuG>i/( xdW^ICe$wCem`=Wi 1['$[$߿wKm77;3\ʉDf!CpߊߨX?MXX[\AG9_`.hRd1._&?Y-euyE^-BeLoҟA"<4Ts8Y- =P{rVAKl@]`?c|5="arTVU!MC`[(0d$0_'KaO/ys|0|E ='gʪqYU,/v$; 9o۽Q]T,,o5)#XmeM+]ݗi[t|[eimZ"JC(2)I4?"Zƈax* X&OzF$ wNI:gzUvdR~*o׆JMg4/GՁ"UQ!3)Z) K*fiZO<^b(w}'˺Ӝ6tA O4Faj˞.kV_6kj=x(t"IdGk,qHK<ț^*_X7stú̷c 1L[ʌ<(ssgk{%k'Y(FsZ _ iyiFcTlցkE!]űE{m7 ޖ`w sT tEMϙ5m6=6\礊o[H {C$ʹ؛Ը^е+ G2wg_ M즿(-;/I8R $ob26Od4ԧ *G'b~L3Ryu>|v]u2qhaq&G5-/'36a錢켟 }K,%K$97DzI!|[сU=跞4@[L!GwEp vh|~m5?/ 4λy3(4GOkd;iZoִ ZfvI G2o$Y ͓>s)[󂂂QݑpM~eV;jO!t> teVH ;}kdMinT|MbP=ӏ=(Y1'c(l uRK0{e6U h^ccXb;a]Y,filMdӾ]T-R=x$Z2K }ޑrMGۨ[Ç,3yM2gT4&>,:@FFLWHdJwja]bL M/nSFt500P -0To f2X0V"!2H"_ǐ09 %-DZ8Z[r1Fu[bӈ%3S}? 3we |-zsvϿ*EakMr1:@W{q>PV0?8$BԾ<Ŝ pB9tn!O!.T<H,EO#"$k%w,][[_E^UG &TuU ֿ$H&KAwR;K  ;UI=T=tw-F :/˸|.wж%׼ L\̂W!Qj:9"k tHMua6%dK>tЕvf7⛍,Q7dkD.|# LVfN#JёPI ؤ%:ˇM7sp.,WB Z]j(rϖ\E |Q+ z *xJACOFLe8Tz GIoux i (Zҥ}.3Ѭog:f,|]d؄?crG:7<;F,BO6ZB"R#C/CzUJga/p9Xw}L~NM>KtZVP6 gU9݄m3~pR|٥[ f}~b.*X9tݎ;`soШ s /"SvoQ[٭J8B|.$'&-z ӌӊ*K'I~s.fĚ`bf8$Q*G-E'5vB*TO#OS~ O?D6/8>Tx`#){~93nQ'Qld !IM;g @gP)k8gsM@Q2`NVz[ȡDz6\˱buw_c9CcBJvjG &=NZE]` (+`rXkF3w0_U篋su!\\ C_gz^X<5h)xfE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4PtpbO8}vz4МbsU[G}UoX@B|Ėo=K=qy_YHO tQ$ɠ;4(*N ?9;^ZcD#Svj䎻vV@dߜĦsB 4 MȈΘ) ܜRn27[Py[rZr\>.깲xŏR_+ZHr54G >7TaJ "H@λRZ>LJ/Ojh!-{8h$Gql-=VUWWF~Cn8Ұ?]g^)sEF&xLMgv EKpU *$R!qUp %[ E|pZS 'ɴ7dT!>SziC˒owGIgHGvgz[5|&]30H#PD4mDr3‹tS7c?rSܜltܡN?ˆP2D24P1*bLpw]عsN'0X$Fr FOv 2xྑ2 JǛ)r`$0zi8O{3<+VRkzCx-͠vk88Qˁnmg-1l3kyQfawߐ7ag!'c=<< dmQ!>qy7ol0f)/dD8aDL$?b.2fBy dZ&b>} M>aawԌӓym&ZZUz`0:5硦S FO͇fuh"} !$u:]pN}kYw f\Q~G +3ٕkXc}f !c؍o3-# @}*IӘE!7s7v.Ӯ:ߘ|% 3:sژ6ȃ*kf\GػBZْg}iȪ._m', 3 ~VmPWERHt 1I,(39H?{ 4:<8ZFqɐ쯬ʂ9e֒Ę!=J{$!_M_ޱ>e+swBe?vkꚚEF t!#'R0? 8+s\zxj2mf |V'fz:LtwM'->ogd<] >V)d*cԣ/-j\ri$|~qG؍Li{>eOѰ4/bcq:<KrwF!+Nѽݰy W294 ϶PQ*u.r^r A'=W1[Q{we nN}FY{\BĆ)gW,9_?xw!SkWZ2zf%rbq[ B.6ApqS}mƭ.Tw W6Q HN 5X94{z3OYռ+'ʎ7 .G=Z Ӝ-Y (SXg00L΋f(oӝsX7Jo%\\P-5'@c1:؝T/۝$ޱ!D<9GHj9t^wq*jŃnvљgtzVJ,t̘_qڣ),萔)QHl!#FR>UMnl? o–l)I? 9L~7bۧAE.m< Y8M~A&QC41 ntlZKpzlÃ8:2?h@%z6i'{a^CtZ18@$@P*hӸ=p)2t-(.'d$ "q7d #x0wPI.ްUlqmIWhA 6G( ~ꏣ K4ne2 ,?%˨`C,i2PW#hHC)B!(* W1c~P$.Ikӽre{isP#&4kJ /ɆCPY`ϗAuyb\xD[B*1P}aܬ$daDs2xTJ}0[&KƲBSmh̸T%$ $A;A7&W}CpVDtmh-lxQu  ]ЎuA3lS! ,}B))=y:^*1gM0 ٣:5Ԭ nڅ0C*rg{&/ An_m>!*'Q:8/P_!C*Sٙ" {"U>0e]̠sTӦ]nA7Wwّ |ree3<&u^0.x eQKL؂ׯ:557^jFc-kߟ~۟quʢ*"fFَO,fٓ ¹6ՠIQ.V<8]Vg2eG?vFuoFrIQhqA,uU'>3)~PbT ,$iOb0 @.4EfADdeyVi5_lirNJ"(tb!b(3.F@}m12w&Bg_PDI#+fW5}U8">4R\=Vff˄dKiQ x EDsG`| E+dbe۽ ɡᏗC&˷b1;[̅92U|;m>Y/LhwH+y?2PlRi0Qf(qP㺑 XRc9 ;y?Pj/O3C>-)YI7MPu|R<8!\zW=F^ʿ 4bgllINs\s=C4υ櫹;1ӈYEkwdOk]&7fKUg';g8PJ:Cd-D#ݽm'EGaEg/._Ys=FY 5e WoGbrl8ƻ"Bz¹HI3:rk.+=GOWi9hI}2 g94 xUs+]M)y;C'dNs"*! hMzD!`AJ;X s)E0 h@ -49ܮR J{*ohnv2g^UDq_J2J9XI첌_pWWA?ʼ 'Oy뭠oiСHrzW%z!BEC&U gvBssN((X"#MEb U/!Ш\ebmuYE`2f͖)/xaQ~V|$gw6qDD*uqZ}Lx8Y)&FP˪tO>w˟SF-{"KJ{H6?mc5خrhX>T<ۙj^P}4kBcX,VUD0*~X?k_W/B,|=+mG2Bhx_!Tmڛ&4X'PU~! _"=mrpA!k ^ʐ" kTLyDX?:TDwLj8TmaHS]-.ups3NG9@6M5)&0v! (s|kDD#sv;t@N,hYk4n)I+ S05vc. RQ ,惢Lۨ3,E4q=$DC.,1ӳ#,RN#]*[R(2a˾i|,}RݟNk~#qC`{ᥰ!kQF !+4GcL\B]ի~ep!qPuv|&wq3g•V*L:} n `BVz yD S?p#*-5Dpx2C~K$]1j\Jg=8F( =QH2tixJhdHYpqNH9OKb]#N<.BtK.C@#E[w̓m!'-¼aF_te-QVSCTS8DTbwWZluP7hrAHҍeI a*ȁgBG'/Gw ]n&~GΖֹ&΀-S Q赲_3K8Σ/ЅuE~mﰂ3bG:-l%]qz!DyM;Z2sv"C3谘Op Ԉ[F 7e0)Ff\(ɻnD038}@}<$`t?GVbd+]򹿚5ٸG两m(k{¡krK[9ҼF" C#@0Sgm>cy6t݋4@ߐ[qT;mlp_=b vW\rPbE߁󶝡0*Ln"87+hz0+U>(p<#Yъj wp$VHw*/Lst؊WMƂk5Oz_ W@)D~3׈s -x;MLTl\, 2n [ЊZX VC{Yѣ1]܌61|1ǸD:zIA ,UUѷ~ y 7RPcO [\%/j\tunL8B)=9*NVU__d!/G$;.GXAFp#Yzi9ftPbu&+Q{f_2NQ0kxVm1$mo3ۀ gUZ^`k_CeZ,SߞbM8Ngb \Xߧ_zDj>^oFVn*r{ֿ 4P)[ Ay2 EqTCx/M`㓠ȟosk) }F %\=;M+GYk1bA= l48~ e Y*A7K)57gd=N$.U6_11eAƘ]={HH.+8ZՒq t8qPSOTJAř1kfJgI:|R~s JJXH[Q1˶WprRq)7Led&4VrRci daB<tSdF:q*9 y!|UK@KY[;ԓgxEb8cШYm 7A- cU'oMWB \WXQ_B1] l'ˋh^j5V<~C)pyYiPK'R@{iIZ̐/t=9E~1p "\ZOy9 ~uJXͥY N¦"hKtWqIAG ;/b޸B9\¯n MA϶;)b,X~GN<]/⾵ָ#Dth g!D@ɩ%SQ 9)e~ G4L,kofF/G-TDX(00ŨcHsv\<h\3/+yYZrE=P]rxiinsR2sJBJ5 ÏQ*65J{`Y;(| F /GMCԄ0d 72'Zh ,w8{V Xb]j8GE v5"]wsHYRp69Dg{NIjIoIkfG~!n<%=zwcW}&l܀0 qkk,E2׶k]B~쌢B[ڨ3];4=O\T1]2uhHч..Om:ٞP&|(g5qb ݹɀ_דh"G9z}rڄ,EO{tr츔HŖ47j2vBg^ P!\tӯvrP BuU3!l'WK\`ٹTq#Z!iP`|bܸ[|POŶ,gԎ#wanq1d E: dǒ*{;d: XTDeMesܒ]™ XFx9Ʋ鍎FtFoj6) 5N%ڠF @W 7Ȧ<Y~eE֠F ƫ !,a;a LUֲ2ya6qY4WWW*bH.+tk-"m^'YT>O ޾PwƇɾPSH$Vb+K[Ir쎟5* hM\@]A@K/`UB1T Lx#>T|#d06L)ٶi[WGeιx2:m:^=Rm[ /[xUC X[L{0 m2,yH5ICP6FƭҕX)XB hhH/\G!i!g9`\~GnëMƱ*N# Y k ) z\m }k ZJQa<๽6!Mpm{ (Cs}Z;uIGa*IV\bZ -6ZMpz*v*0LbcCyߛcB0߬ CJ׏ݳqjY Pm m/?M4$Z(#Û-ÿÀ;T¡@ZtZުK=Bd[IW@S'b+:kʘL€")z`.E+\]ڦeuvt$f43ݎjZ΋cQwѱIdu YY:s薺4 W^ȉCb*^\hI_/yF iӃ_FV\Aۖį N4 Q=c14{B`=]I͇Ms!vƶ{2ʦPxM(tΈ|-T}D1;5-[ӯl}aZvshI8bp[)%/W8G+L.`Ot#VTcF[/_ OtkP()wT57n}HChs;Nnb qg74a6Z]7Hj63DF{y_0cݥhЄ Զ%V]ZU @k('W\vN?X?meO!ȩ˴ԛJ׎E>\M̕tmAԽ5z՞3nYy3kn7O=2su[2 qi+0r!) \g{ 8' PLb27@$߫0 o.Zv2|_Ǡ̮K* c::8H_fl_CCXբudcmp# Dn 洍%C GtKj/=yo77FXHydP2!IrPJw Krd G+V8Bh-@¼YIؔpLQp3it $7MbL`JT \G|IVf'>7tT))3*9U%{d-# _MOy]Tqd?<3E!>]ՈjRW.!kjsP(\x@{Jy,6@U. KeW%yamLW&\p.C>G^$B237-gQ:%/OyFgtG;@z_Ux'?2Mb&+UVZ >aZHl ^!BnCi_492;@nyWdt)w߸el'!1zAΛnHΣ%QPSc[P0|L៪IaxY,6X26aK5\--j/EE<&hsBKg(]&L,"HHD:Bo,HsIܷG7+R GyfK0]В+g.Z9*i "+o^>m$R^ 鞫Mh8 fPӎla#mؠ )!9.ia"}~Lk+S*Q@.pvF_e`lg 51?ـ # m2j)]srݫԽwRЃP z*1m-U>WHbQ rՈW,g[6՞>{ :y^^[5dN;8Pbg{-ρyH^+I!tjt\j&2g.t֭vx "[ry!|Li;?Ӆ>qϤ!XJ?Wl,l\WO KPFVڢ2\|tmWSkɜ4eөK36R``J ոhIH tgE8y|_[LG4^a^RCQJP?X7Ӿ}n W_ۯm\P)x޷ |榁RSxڲ4!Aw_!'W5UȮ" lbc3=:} xK ?HwW~[.r c{lwOQa8O2ǣ*'r&^2Y<T2՘4sA7,^TVkn՝Å]7WUbG={rѪB+p%5saȳ}TZ70~AGCx_- XWAi܁Oi0{|B)'~jVrZfBRDNTt$صS'p!cHvVڥ:!׮6Av> %GSZwև8lM.G|r9QZ64m>jOC*q&++~AeGyo~xo <B|s*-{1EXJ<*__B]g֠}>T\v=5ž"oO[ӘgO^_}"!OKFgە!PĶӧ("ǾL_-`-Q`X }@2,[%֛A_r/7+b-#EUY)e:5t0f2;NRZBq dgYZ }}p 1W% THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwdLu{]c-wz7֧4fZf hDw* hȏяSH8rV!س+pzim%{,q;jΩbJuZmgͶY[NskҴ :$j%h.D>B[r*J5^Ȥ*fa ] YCGi"l3~Uy30K NdZ빢 L( @KA\{>ăq2H){giD ТpDlJ4U/o< " C.tqe``>ywD \$ kgvOa%ey6;)xKRtQS kz" A/FLTqyOOdr\&/dŰ%l+_TWpTZ9%J݆ AyJy .QTuy U5P9ۊ9saI.S2kGԝTy;M v(@gt`V_ȃ@ap8!WDd7m@7adtxeܶ$}2A-mp#ĎG˨xmu/Zw(TY48ҥx;ɦ +'t *6oS?a5? ئ 4&@2/1?%2@!it}G >YRs캻-78"wO#[NSabQ{u܅%1^pyר]@PQ,ƫs|1=xDX/J#Ůq$AL[\5zzW-4>A=lqJx1EsQlccH)PCA$:_֠vԆ/z<:wF `8ji@( 1P=as@druDnh͌u\D0AHFSόZ KJzБ{1f,Nm4l "ˡz.}*2CˆS( wNu9Q*;_*+w&QNO)Z-0]$c\t,b3>yK50bQycmXzE9!(,_&S~cpV*Gy1r-[l"!Cz76v$rVԿ"'p|l rϼ*ݗ 6f RE%hV[ߩg*`U_Ei*]zAG6EE Xgm]l'-E Lm1צY}$~{xh9#g19R]b,mpZ A)Zɾ_fEStrx<fX<܂׳\#((n2i%QT-2E 8 x;:k%ה2"=nq 1נNG'L]IT7|CE w!R4jK45q#9 1?T4JzڝcMH/hk4^ܬA]qvbN (ocy3.w9B?}ҸM0OڅB6XĽ:jz2nȸyk77y&]@M_%1ܡD ocQ1]Qp2ڼbq2? =+0 @ ! duEOSd=\{1ݮQnZ0nօU"߽Lɐܫ5/=aY&ᦽHm6};wJ&|~EUzMKs |n}y$ 1X tl})۲=Fse:L4Na "zxF{~&sW< 6cH:ElE8K櫥]OiKU8x#ȖWT9i9-Fa)&j:\s2=^h%Ag9;RiYW:-E+}ܿ IqwkYIj=` <{kCk|Üjk,ߊ Iw3"c3̸S4=8/3JJcqݲSAP liC'7FMͤ_TҊ;%prGAy _.jc'-Sb-C ΌN_el:/$ϧ5#f"q&λq4o&Tws,;pvLvFy/D6<{&&':NSM9߇cY-ֈ g<'C ֺa=ňXD:'NjH s@z? mL>]f|)CͬqEr֬ֈv3|Єw00x7PKN'K[vL#_pp U!nŠ$,5·j sIh'|Lcx~( 4dl`wLwʪo kPI&yq[$h/ O>๤}]Ond_<+)Ur^6y-(]=ivު!1ܫci_[M^ $ж.nRE9;giAFʰr FFc⡯EsnLϐY[ .q$Wk5l(':KfgavQki粍YN`>F `8fNy"B{<+/367mքJ|ոX8gd&ҫWcsc|b߭Zi闾iȝ|~HW2TWA,+x!۷݌M}3%V#Z}Kb][?'ׯ_B9O 믱YJg 1xyRbx^fPJ5];, W]ҲSBLXַSw 8>8z fm`t?Vfsk 7"x57g戮FfKBw5 XZ'g3nTk#w-.1D2u&%W6EH]/LSO!컲S$K<@;~aP$"}LWW)lNfDO߭1Ì~k:huKE{̬mH E-O%Y[Z]'ĴA9^`|k072YIsw%2_U umaDC WOWą9}UIOJ1jRPQw#CniHEU,ЛL,q}O=gX4';>e,na.8g~f<~u}_0jexΕĨ.bgbT6|KCT]b6RWJ͕E?jtJ+? x^lny5=`D~Җ>\edDkTeYYOxUocϒp43[jUGhoYQ6TҾCE+MxODZ~u Sr]R^YJw AdC%xyH!6ϟt_ʭTsZj4>_E胘_ܻ^GeXܶ]7\~mvN;kYkDx[Qɳкtˬy\6>6ý&c$F -]ڂA#w辺ONKjy5mS$\1 ѴNeb|pP`\pKA ,Н35Oװ!t"cF)4ɊHW2jRUSX[ ]Yet֞ Ã0͏hۚ07n]nݛ(3(D\.2W3ih.v T(s. _hj~'Kwrkp zێ穳pyu;Q>c"j:9 髶E8V!vܿ30Ä$ڠx gҜΜ(Gl/p k0BS:ƙLAP2GmND$Zx? V~SB ꙸ‡VGVRR*.Y>tA@8 $M=l rhp! R I:#y`}/,Џ8DɊz9HAgÂ9ichX~_eS7l|Pm(\·2rNza n'(#!N/E*sgAEGқL A- Kȸ *3ͳ_t H"?IV%Dt˖tIIlK\*p.;*\ * s{6' vZky!fxoO_R!χA Mˋ]d,ˇx$Ndh4 3b L~A>QŘ>t%ey+ ר 4]ڼ9]bM|x;; ( A[TNE U<2-3XPDx>1ݡȁ.-&3qapMQHJ^Jrek!0"ѧ^nks[g0 _‰3zxP dRyQWv5~1J~TVY]~b `~/_d^q /c4S#fޖ88KLm$lv7cf?-%;NSku%RD|k(\wNRkA'-z!<t7"SzI1L?'ST`- D=Ϩ4ޝhq$vFc Tў9',a8*Cg)6F*h5x[ mq {̖"Iީ/Ԕ3c\5PHL"/g M[C`ʅ(LήWWt!Q05ғ~..B۪ ?WWxLpToxCJtUJm ]f^ҕRXBb0L>@DH#)g;U7}@m/y]%9RѽS7-l$V_}W-lRUKP#P':W!nfrD9]W$aNP M\R*kHq7VXFSE'n%y}9z}6ʖ9P+Ra(X8?h*P9廀=%#^ivPp5 kEg{g3=\MEZu^3 LR$O 2zJŕjc:~p9+.&CNtgVPR*6Hpw[`6.`Vş.ۏ4G9/驿 <`B,;N4 US{3~I#Y>'kdIJH@ֳX~1vƃܧݐ*(^ ,d ߂)XTα2e@4V5SDdVʳ{Xw W\{ <|9ƺJrRN}PK}BN"R-xNʌoZy||@Nk{;nzٺ{zY-Z_9) *.̣, c|FsbNy#Wiq+~ (OdG49 Gu雉syp&?iX`=t4cw]lzrED|},'y3Gp^^;z\"J^|x[mkbCڔ'd>a獻-ep_'!rj([:Ue&_\X>aYf{xhPd\'!ƍ@FC-Ѱg9p .)f[IWma$؀&-t[Ρi5h} ]+}Ȍ$Jk#d$*EY?@)X02u`QNPy $F`Ed.SqH2r.筒jE EGmp#[4#JE?2`ot6eFmKJI`ZG®+MHvMŸ[KÈ,.VS($|{4/&i]J|F^˲~ˏYB5bt$bV}6 ,/ WKԞp.8a’\~IG.O aKX9TgȄ^y8J7P=GZjߥp2l9w*C.%0 \QQv "kWh rd>0|sVDzRպ tS+AmJ\Tok$K7\{غY pm`*64MM}q>^68B)%qlɐϛK{3v]6 >%~l5JSM+nty H󔴈"oMuDTK.4t Tr_54kV;U&sR4t Lh/L!dzLN9[C0YrahK2]]xP% wX1| #9Y\T Zose,ѽP 3i wI\QIDv-!K˱0KHAAsHP^ DkKy#yeIey%DY﮷|ǢO[ʳcgq$TK݌{ϋeEYȯE뾶ܻdX&ֻx2&=p~>Uy"p=bG!)M0-i6. NQi!Jc֍ҧXkgz&A,lIߌ 9Z%q˛ hpj4bQ;7zsPs+g08$3A  /"|D%؟q3f Azq9'[U_xeF^!6ny9Vtvbu_`;KyH=&N$2Fat?֢PhE?R%,ǭſ% O3#k+AXWj½OϘfsU1~8I1#p7+}C8Fإj=Un2L%Z_aob~]`N\&ImyZ`bYաTф{=EnASLy")m{.Ih>8Kj^K_}?1κtD4Dܭ;m5"t!AtJB5T!?h^"ni[O_;oMƯM<5`>zPhU~DPqqܕ@P*ߡ4s4, _;! \iPPr+] #pOWYr|W=ǭppF Oצ<> yzPNN2^ϋ!W\gT$3. 3_>to(j΄9*.OdzF%l%:9w>^piE .|,a&C\ȴm5S`y׳`%#R\$vTj*7 Ua̾4ΩğY Kk @sk@@.PpZ܏PjQ%6HT7Gշ 7+c¼A}C!)!WPQ>b -Dߴ^" ;s<4‘6Z !$հV|u;jZ#^|fQ ??uUEFHZ_ojM v+79JS9UP"XNkiOÖ &A׎4Y@=` '`MUf݅LGI7NmقS|QR~9xOAEDV1o'HnWj_{x>z f`t=G{Cu"𰡎S;ڵJ |:0rH(% yOѤkBo?\qc. HV0F4568È{,ŵT,2:&,n=jA,xb|t1~ֆ\3^ Pm(%Jdh_-\(+^- {@,J6d<<|d0֧v;Ħ8S-y]}DHԂ؁ JD8czgeRf] 9ڟ}(Ql^Ɏ8dMscM=?/<~ĎCȸ ѧ[L$63 gƣ @y\rld$1%`69,ƉHU< (7Kf>Rbz:6/ _m6KXI6tkNZ ̝!\Ox7Op Y_=m{ մ(:vthU3s?93h'<ܐ2,؋~QH1^yn.oתBqA!@O8Oe K#Q4,iAz7rmCsDud"@ '⏳9# YMYpT-')A:uVF?K,qWކŌS#;l$uWw| n4.AHj6%[DFzr/zmxQj1 `ྐྵqqZ.D55euGؙfZS kSFlP=GPl+ .]太`ELb\`hIZc٢QDtFٸmy蛗%)sgQ Җ-cfZ-#c}(ҿVc))l "˅f mGc6\OJJf\k=96J̐#/P;WP+M3P|B1^>2`ʟ| y Sg}ZMǨS6?T˼炻|is7ބS(eʨak}۝ <].{Ƅ79,=5AL ݣ*hl^r(2Y 7Ʈwyxxk3P,E%}Iie|5&g8~iҷqBx +?ٿ4p9))l|ͣ4ڼXk#bt5LOA9F/%OwUNr *d>%Rvކʚsc"6mgt(z٫ |Sjc *9Xy}y [_{;\|4Tf7ʬ[[#G"C2=A07˸6(`a&q"~qc""Aթ{C/5/wഽlrGcyl}eēEEF  {-|HJ\~[Jg>]8li6$h< yŝ)ЄȨYw lWQ5 1(A,è\ZI-s{͐{~a >9 Z`#!E.N/;lQǼ7o6Jpkf[14McϘּ^f,tm]//aC z$:ƑkXf<2ձh[Mh@L[A.zD~L  Sj0G|dQ8dw\SMNin ?']?&GjsTw'4rCa Gׂ@\[:v_48$E]WSܩGRĘ<&LfϾJ/?'ɶ վ=Z f]uc3F'gtwe!ĿRŃޭR\+icwD"'*lgՖ$_Ӥ#P뗖f'OK s:Qkfr&EΘr7R4tλd\Nӯ#=C&8M$((_Z{ئ¼3WyPŻtk/Yp zqgfZ5qQ%d!bLKB>5\q '~_ (jAQ"@~G*XZF+B:_T;5Y@<@IyQ#ܟ BcЫ+x(WlH~58.EXQQ\Ľ3d_~?\tڂ,=a%ǓV5BWw( Y-AV3]-چe5T7&ۼP`uCɾ(307v0 :bl|!'AN|KFH:=PjU1lLAȖx|!K˿NC&cy~p7ҬtiL.v+M2ʧ F̧0e9 L0ZӴCAB !L!{q'&ղ׾gZ9>00Lg͜T'F: SdT$5bN(t1r[.6S[m"q*l-qZ>C) P-objKoz{ ѮX~jdȺpw$63nROVWLlz9uJ7TӫcxCկ8C탖ӹ9M%+o1Udy; +딯ӌY5ha+1&Nk4鮑Ӏ/nL-8T"PŮc&-v⇻(pmjRS{*`ͪ.|TL>ϾR3.0W# 9UQ ʿzc(l2۾t|w>JCTgS&+¾DQxCiLQɵYY{^ezRD)}GTD~Ugtk-ӴyU%X$RlhF J7j+3ku&x^[~ 10#-?:2Mu%EbM &4wlrGA'W yCޘXt8em̀˂djU m}1ɸ k^ ia"2_3.]K@y{n}$Qz\\ v #*Dvz)4|Tm"èx/U=%HJ$S|agC/T/jg阐XVXGMFcL@HU ɠL̐Z V2(`vЖ1{CFs!l=JR6!YYt}[8J7 [a׃/fHf7f4R[rhxFj56Gwni%dk^e~5 d$1/[mް(yXem^;a~dFO5#FElƜا?' iX5Z~" sQ?_Xr))5"GC\VuN3`k)Sฎ>xj~hR;GCe8[6:#eu `qH3 ԂO4@+/zQ!a^RԾZ4eB*!3zadOM!'c"L7[/|:.eƄ (o-K=8P@lQc)/ ~!t8']NL2t?f]4c8_ӿZ=9kuL_fu a,%Fb\?Yg[:J3[Q5Hhݦ34" 3fA3OJc)(pwU# ˔+L%?weI3,܎u2{Yド1(5reI)x&^ܲŪW4Ԏ*5υ_ZHŸt$C F QŭcxHp&3^M [yXjW'SdLxlXYjRdH[K^t!U5kvOxSsO=1HźN,l?`ԫ)n/ ;{uܝ&{L/[@LZj 7^JݲJ—'3t(j $sj&[w&PNX ־:GM*,Ȗ~!$Z2A50,GPuȏw;#])`PC4f`g>Val T#Kl+qڌB?V>ĉ["o%{Hnيr!cG@co쎉ѨDEغZLx&BǪ8w gbMrQ5Ɠضr+VG tUR`//hRkQu==rh?&%W%};ͧRM 3pC`C46[ 0rg!:gk<DŽƑ..^3U{euo b/ tf( bΰx'M5` k-9Ryt3XQo`L/7@:2V)w~F>s*J@'"7p@`A`۰6MqZ~=5<ȗĤե|+eɕxUϒm9Gf9dQmɿ:9NPvH~˥)w784ems eEk`ygW3pXcÂI=Ӌ VX8E#/=s}#U=Q0#c(sOԈBlaϫ/ANg3F>]J%昼=hQ~jp%zLrSvϾ5BW~zObDN>I񸚪k>T'ui0 AMaD0.-/?Z5`1Y=7Xݺ7-4so^ x۱/‰(]M["Ft/2iEž~$}:k$vJ|ڣdlYھ2N@M״oP˕y4iV$ \-q]j5Ծ1xv\,CpqDaJbl"u,'RZo'v6E'ói& AGg{y'<>uVZ:Lj߭;jwϢehJ79*goj+Tr? 3kcj;uW[P(Lc3Ւ51Ce-8_=)Ăw ~}ӑ.`flttY`MU,70=v,ݜqQi9+ HŽ%QR XpA-BBVL?cjkqc.H}xZHvMt tSUDvTd]&;'aX2255_Qb b%;?&\꺇lRG,h]3-M@"4:~b/)/[;z@ hY}>փG]ijYHFͺ n͐/0ܞԕOZMiSdnMZբ k^D T)gm ahswYCs ŒBvy6IvdJTC\n;^ۼRt8nQGfZV"Oi<{a>XW$jsbC׼v59_[ 0Ϳ:hўSb xkX `R0嶘w*y~q r!pJفMvryE#sPOғKgʺ딴`+U?9Xg\RU(#Pw,g8ȩ}yIv.OBFtr*4fRgR&33|.T*8aC?3wF3ED6ln# =^zXW]gDiYqC JKfE= :}A#b=~h>W ӸZHd-SsؾP8e\ܐTnJ`^d7 #3s2yc5.Y4tnemRD!ʯ &<Y]5@~tnS-w|1?e,xm9F9ѥi/^m˂>zŦ: ہ z2zԙ)2Lj0WXMDAM/;M(/JzRKg .#RU_,q!!2opT'zLQ_+o TH*t޽c=up<ϴW7V45Q4ѡ Fr %+ =ڻG&["xLiq! K7v- 4=G:GBymMiJ%k-t,eУ>pߋg=$]au[]ױTeC`q0F; {)b`զۇ_%dL_dOA`>Fղ's@ٍ3׏첓V(*s"ӫݿ/HເJE\.0ʬ?ZCdXy.L4Q"e7+7ܝt7=輸:M0(fA͖?)KV2G)"s%on߻ .cQ( E#tq@Sw7Jen/( 1mOۆY יj᜗ɞ2}ɬl3LȟT}g $V@1tr.KY7*'\iF%s%IտO -ٔQ7cD} c\^J2v) <.ݒvxUFA>p Jarw竒xENh8EEi.ύ$]|W6/It){Дrit,dA!r+NɹcW]3HF['J ,v#<+wc<[+l@CY؁:NE Vʦh<4iTf?"LB'tGwOET&"LdڼXqrr0j w+Sh9 AL \>G*lt\) b?f\ ;|$SFqfAߡ f_ܿt|`֘d?272"3tt^ D\z뇶zQjgPC m$:НRReSvO.JCQ̏Q *3Z?SC)%R/`RIRCjιVHOsnq$mn^ dl+#r{56ߢUܽ*ռqpìs>\ ek #/ #͢EW2+#H)O-S8 ; `2?fT;NOgNP.6BSa_pzu:mZH״g75L?j;ރFUtd8@"ÿ>3Z|؞ Te8oR胰tr=3ɻr4߰_HU8Q?/8 W{ ՒU6/BшmHQDOٲt{}v1O1te²5gV~*]xl7g>mj82Jz*?*]N/7=*/dˊC_PUDfHG%u.-.I}ycpW: qk9mֺiCB"KÙMHh%&T)05r.Kq 2XS\{[] egl, -4C55Sttȗab%[ߎYql2A0d |q7>%Tm+=,NJ ~סS2+T`L@ؖ$$ t+:XКi 5[ߘNGsH'_qO+baLwS}E#I䦲bң5l;Bn,ĄiRui {ٛsV5q|o?uX7dF @ % =3'7-NG͛*~8&(:A^!6b͎fRsp`|X:e$2 (urvMNm1XR}%{).yKвɎvUGHoܛ}o^ץCAP0pG@?BO![}XD߭sxq HJW'*<_+n$V⢐&!"#s J ;uTIRJ=/?,(i ;sQZ Mϑ7Edke,2m;=0tx%@>7 c]+UJݘ fnI[zHjuO)4M3WYSǥߓK3 ;<xcBӿ g6$GDxfK١dIQΩS/RDt `>\oWV _wcw@$*,- ~stx(z?]H30? Ž)աdiԚ#>C/@d#Uv/ rmI>\MNӺ 0v-qA*P &L7s318lZ ?u cJbf!i`/4(g:Œ^"cb)*Ey4L%~"'VJe#GCp1:r~ ڄ W9j{jIJv.0]˴Zh-zKfj '1Ѭ55j N; /nshٻĖ}22h,bu#H0AmN- -N^,ge) U$J~V$,]wYDA!Jʕ&3^YJ7qh,{*խ+JpdtkTu#_چ_]ID"[f!M ’c8GjmRHC>?;MpTig!IQσP:" T1s~<9dc "_) ݘu1;iNڴ(.$"15(;,%@8E{Kx>NqQ$5`=K+rh0iJzZzAtXJS}zʽ?аQf[n)Vu$G~_\ִB!0{g-A@rǨyq 0yL:Y);i>|yÍAŭͮ~[VBO`BFe#t$ѭflɺD5Dz< `v}0-.@_:OӋIBrG*Azk,R"Gɺscri؟yc_l"FjoR̴dߵ}NS}{zWLzGfImZ$$Y8j΃7a/FNn!26~H}&0=?=5#9-g"ڴey2Q6X ~knڑWx?8\T壀Gaƨm\\edٖW$\(j9.Z+~"tRbq gs w"^ i&֫oKxzW3TYmζ€iP~}vcOPÎ_Z ed*ZVx#Z$o3v&n4'͂ b0B2KK;k*:AwEB蓒Qo0c+̻ZkU0LȌ1nY s9Vb%9T]ࠥa/HmƢ*;̔q,@PX9_pbh%mퟫ;`ܨL]W0 RS$>J`Iok$Q|6ݢI 78;M r@Lǧ.=:]E5)B*:.e̦ XN˭(>L,|[7\&cFrUϫ>]ȤUktzAwىnæc"  CR㻂i?[ۗALN -pOKwKWgcJ~ܻ:MKz0x8>X57RXP:6nT2ٵ eo/Dxv69=P9ejBcsĸ_`J/qo+66K|P vܗi#AF1}-:ц'e_([Q泪G*[ duH?0E&b<p$3zv@'hu8^=zaϿA{BeGN,oixfgZ ƬX) % G,ceI揪4]\w ;d1:Ÿ (/땹(P35`L蔴)󼭼cqh&GX1 UzpgLHBw9saxNmǙȄDyظ;%] /ޫ^8R;l =P {| @fHs9j ?li l;M.b΄PCӋjUJ<ȂptMpSKmm1h@P Q SD:srg?rwݑŝQV2_7ҀmuWٕyUS|z-Cv%`獄!k0řpہMGS w윾J5!G_0GXK#yiyf;ZҪYۋb'F1e]ahvz`؏sx輮_U'ߝeSfL"ΥAsmwAוZ.4鐹? 0xMK됪i]f>#}*P7a P0O4TPfeЁO BEjT3dcG+&dlW!Uޛ3 tt׽A]:UϞ`]dpML<ϟ7:;6Cj+8 R8Ug|_1煃;I2p|D5<hlN *F~8?3C*,/ZyRzގA$] }QۋFܴN8`0'Fc xtu#1*XeNr̶}'Z.T VGB.yAʃ 56 oyj KE8zڧ1ͨcm\YYckpTu#Kb3g{ͨ$/40O 1bDHZN3̃s .ѳ EJ[;V?z>!vR ~& bl)Ҥ4 ZPؐ@!hGDqèwD{x BXMܭBX.Aw CЏ!?wvFj_{ C8pS$:!wQd(Lv2VGZq{-Pډ:jRKPMc%N- QB3?vA8!Y2tH7ZԔd_b!q)X~aObI/|tL?5}=.$n.C7 hq(5u` fdi8r̘gx@K1[gߌ.U3]k9عa#5U7RF}+@²\"+QŦS4Q0b1%%! bB1R fo<7 5UF& /Ww}{t!Ute"6w5?WnZ)b KT_Z{D#b6t-{OG]JB0LO~_KA:𜊒\b?R:w <^ڛ?~fUS ✤3KsdDGX;i+owa )1A؝bnz2S})X 9KݑD=EƵo# ^ i Rz]<`%=L R$Ī ۔yZz଺WEM+ӭDir= <_97-Wv?8VT[Xs rcwS1|o֢7jDIR&Ni{kUfg*A#a~f?̇EEd6%Xf֤*24]vբ\Nc:,c,&MB7~\T:'{ (3Kq.v^L,1!Gd{`t¹敒7&W>}vأݝލe:7c Lj~u/cZdQVoVRC ;|s,Y٘_NAyn* ojrj]:Pu}t9rA6]-U,Uݩdk-S%ã!tKf>'me 11MLz\ 3FŤj7$oЯR MOZ_D^%/ ݴ1%w~գ1 H A(jsS>0BEG_y ؽҹQc\;‚RT`4uOd^ˌifVW4.H:'l{v+Iy|c Mkx\D[WeU <9M*'KPwpsӧ F^7K{a„tCը^'H˥ix͂'̬ۈmυGf~Km;>"Z'mhU@+-N:x9f忺X/,KxV Ugrt@J O4%"/[o@o$y5p#gJ_,Xɭ"r,%(a~v :g~[̀xl] M@xV'.k`GURhfxCүц<$]9f_Q6ª?wF!jML䪜dUT L5yO剝Ĉڠ̴- j,S*{<ĐT&f5y|85`Θb!JoY~kT6|R iP #} hǰ 3 GMgd$8DoI',vѹNg@-ࠆF-098|$51mxF<2xg)W}FaOTS~P*jt[p\_$5'<~+QC_Pbal ^ϯY=77"'$B{]=̹FnWa2:@a X 1[wr5pymR ##B3z~Xa#X0q朙q-_A%əX + 5gTם\&mcr>05G. N%<ĴOҪje[7i_7Rx6!͍ǏS9޵%g\mG9y7řC{pW3|wh' Y߰D2zavdG.#D`FYQ`0u5|Njh0\@ZVa_Ҙפv7@ oc~yxŢV[CB&HCL̷oiwctx?[Du5w!^[{)#$9, I1` DEcVӭrT(IxF3/!+yfr@QfڡxqAnc"8+Vi\CWRFT1{MHG:.E&J[+}gr D,H4;Yߛ^S+&H4fhm>"l5G+LЫuÓ{hj38weg]p!Ju'$|Ӽ X̲ݟ LWl6ExHU?a1{tL';_T>` žj>l.Mȯ[N6K( ^SGf7ҡ?^v6l0O DvƱHpV %td.5Hɥs0h<$Y,0xUNaQ.G,FqB~-=kҝs[ 70s`ښNhQh0AEdrH0̽ңOؕ}̪%Rrf>Š]eeèeEqR"KIVֵ4jL4Rqog(b xJFKnݝw!P<;}gS驦RQ,МH^~2${Tv;E"\2>.v0r) 8'_ZAw;]fD16! ' _j#H?dm|Őp;HUpOA#.OB;hKl祾@j P~MI$@`+_a"Fmk,1Ij"EwqLpv  (RK"gSUp+_qάӒZMsK]văU@1c 2 +,])^A@=k;nAMq_&IEydlģo #a??Y}ĭ/Eҥy~#[Qx8|{rd)XA?ԟ`KneHiM.\V_w*KY 'Q6 lP=Ih/sd""NӶ\tdYcp/x8WF)l%`Slt8L126#ܒ숰h@cLJ!PZm.͞G"!GTt?]јL)mPm}oswZr`Qz3P}viRoS6)_F <"|26Nb|H@8\0 P!WR3 09ω`r2'dX7Z"E t/RG<)%PKv2smLnhq.}w<;yh 6&+Mͥ`μL+ fKșKs•밵ˉT})A.Bn.:RKj 9&4 1ydeHLj-ظ3(v}~6oJ8I |[Nu9|64DMm2Vh1+FE*i yaw>0FW5nhKt?l+4]TU .= 2*3q ]l9gWf3Ҳh*1q򸧨mmYJ Ma$&^#;L 7FǛ0WDPDV邈4$FDۙPeLE~_+_UjJX<ĆsԱtj%i_gzszN=N>ݤ }X4 Lx诮I,W)wep)p(&)D~H #(|_, i$W^oid!`#0?C3Z2 3}!̛~qYѝ!\#a1M6bt)i$h綷[5иz!׫Γs-^ʱy g(75KۥU܋3VuE,G9\B#tޭ#_*C;igi0$9GX*.(E#xIu. (yJ h@4wpiE~97-!?&#}P$=k08v^n]1s+\~,}#D-+IIj (6].i۞祟xUl7RM.Lݥ0j|AP .=o]-uQ %,:0-|%O4WP QLeu[ܻ{rn( Nlw~vޞr2Jja.۽3m=x|[:Ac6Nuoݽ=v]&iPKAKM*6%ڎ\LgA?? C!'q]1DI\Ï{{j5F ū#'i %aG4&60~jxzn`(.|5 "cl3Ufg_(8ڞAI=KN?:7^4drPvL=EyEC͑u{wDU@u?<ľ\<1| ϳCƝMp TLNLw>$ L_8{R e ;KVYVbQV&ĵ} hD{- An:\}\f:@-E[,*bRy˘F!KpÍCͥcscټqifQy1h_ؓ$W2DH 4Ȅ;Aצ~` Nw foٮ6rٛ%d|OU GzǬ'ORD eesƗ0)sxx3ÏܗNAzW!S'xqYt$F.$/Yzk8"Zy8po'xűSض)ܝN9ۤKdΣj}h@i7$zUڽ3#ϕ}W0S_/V-R]PpA LFc{8GGUݗX[]nzJRindKԭ[s b tPP:NkJΣSX*k $ =1'Q\cǨ\5"YoV8W.dC^0rp߆F@TW!/R[ЕI҄Ӕ N׸?KKJ,z_TiGYg*rzlJ[{B 郋S#Xj5 etcNe!ߏIӭ\P,{7T*u-XX4{Z^\T Vl++pML-Ekþ]Z0YZ#2&Nx0F0ed]\Fp?f||4I6x" [W3.Qy<1Ñ:f@ "N9v`Q͟3W*P_=͈\H[Zqg-*m$T֯䧳3W~,&M@?GWy;HeфhAf"TM)oç݅?Yݵ!" /GG6KC)X8-"Zi `D jzk |hKL D,Kߦ" 3-LiPiTܐ2*y   Wr#[CY<[a/tsH)Q2O%^p_̖H-G*WT Ё#`o5f]_ƚ9)efU2Yh;9?ͭ%. W2D+ʘɗP,}U ]?}, /"(BUg߭l/nރ^t>^)4@3vA<(T%/(,{} ރ%u]ɑzUAiw6%]kV秘D.f[Q*]^l{u"ڴ*[6T<[9ԡSumqE,wy-?&$ruN)-M=EApMzIYkǤ{lՉPcϸ4_1LĊE5^-2[XPј28ٶ`N‰  6p"bù a&&MFa@Ń$07'%T-V-xDgsZh)%?^4Po3+>Ȁ_,nA]A{.|5k;nk\d_/<,ɢ&(6|^Ќq)XCH>u^_Q wwOt8ёPEQb%SeD~[8&79"Fnpu~7 ǁ-+#n $v^p~M!a?[j[wȔם1@qyEZʾ:RҐi?18΀":Í.:쭅=%f4i ff*~Jqv'R%|`lޮD}>+|8A'tyG>gn-/o>f7l\ZJ'L ֤A'U.a !ȓ,jhң<$?} K^+{#hm`R! Qp2xb5T Bcu"&u7 one A?mVB& Ųc WL[+G3(-A΄<1ֿWGIDA=$x0!%vԏ,,'bHT:SG7CXY? |0>8e\TB2,DQww'/n&}sMA𑷑 (>.E@qqvT7?uimAp4Ml96LAciCY=(f]\zZa6aB껤(^YbU)B|YjppI-ZA+=&g34_Y&E%$ƅ~+}ƒ+i%B( 4Pڷ  .d.4sf1o+{l]`ͨY侫_jMܠJ0)Ңwy++Ԅ[nL…+iNcBRm".N cǻ8QUDR'Kf5@%0u  rVV뀕b bcXU~O~صiƺ7V4r4s9}?Bܷ `fqE]xhasRsK5Xxjj0Tk(BʭOFU#ꑢ &t'?6-:)xP~ts.(fp"ƴz\0r2 Yb$3^{YzME%:w]iF~*XzuwMCWsh2GTxP51BTUoOs~OW?n9^Ǭu=el1bey% [c^I~ ~fk\SZc釈Pn`;ѳjV*;x'qvF"~9"flBK$Oߌ8*cۚ;R@sTGLM҆CZfϛ#KC\@hH6,e~yjdE"cTil_ᚗΦ_YZGDN)mnbbD=B9 MPk)ǵj/3 @1J;/ȧ¼LKߦTodwRC %&O(O,YP9hkC#paAaS<3Kiu+WV&]Po쥼!("7~yʉ(gDnKKuFi op<)qGahe*Srޑ1vPwP 3y~Q }f '1c!od7ĩ=C w`4"A;ylh p}؍)M|sL޽Yɚ3xicqua;`4E?5|欖f dM +jU%$9$iif3Ã_^}~[$/ϽIB=zblWϘF%ꤊO qO4ZQ\#p>rC_`S@ a&QBCoHoDrD vkSHE%ovcF\s=qd<'%a)9c\d4sp}=St]hEx"\ pWVibPmm3J[*{@!zhD"T8dp\M_9N7P؝5G6''Ꮎ4tkW[~/Ҟ΅%l4m>ppN/󆍑Sw;R% w^_sO 4ϡnc +a`'!i48~(@k! BoE0yx(~ڹn|h#?t 6dhuDc!C݄_C}عLX^"_zpXvO{IP=٤ɽfG ozHE?`M&2@! (riC+btVr'~sdwRArea??::J?Ȍ6?Iwf|eRǾEŃ6 מ;zIZjĆuٿ10lZsZ3v!4I Y-2Fp2W;{Z Z\-ls_Qۍ!ītM痠K0f\!]= ]\j,%9Uj \zq*gd@۞K.SԳ3 4[7>LTC~L@Nf6^Ag/>b]vfiޞ$GLʈg;^zl$e-{J_CŠ?O6=gXɑҸ54 d 4MZcŢ{+m=alb`WdugN2ơSL⻵'s3yN3`(W3>76( YP=KO[8Oؐ F%FO_y'hJaWI/+)u@ †ֽ"RDf&'ȺVpe7}kOzڑ3 HҚ6pfBss|aCQTtZ`>9ݐZ /&#~gko[{e]9xݶgQ x)&5)HxQKHmr@8 r@~|-[մd(tepE+f\yLAKl82Zo/8/rf34:$~/8;4;6㛉K;i)nIU&㽟hJhBbW+}|P M1,%3 'H$1T6~F.7Na)<>9#Owwss94j e>Kzs$ DL5,s 46u 3刌g ܣ'+,}iIhؕ]6ko9eoEV@9X*vt d;bSJ)ңΈ;Ibuڟ˩<ܳ]O'o$ӷ?}q@ګ&U/P> >HN#uujf&%|ֿSlYkէB$ ƍ'\IA~5n9 Ρ-&hݰl J[ 'MI^O 4ʥ(%ݦ@nEAD,C/ce`g/T4R|bƑ3\ɹ k\45)wum7f3m%(LuîCƦ5X$_3 R© G[ӏf\Mz|ds2b%*NׇiE+OHb$i&]N'䰧j +̩[m)J?~'ӀE H,bm1 s5ɱ cݺ F 8+{)YBJT8Q:޲U9gHvFHl0 Qe? ^oo /Sۤ:´\]"wE'PE\ˠa.ނ-R I0n GNVh'v<(GstwW]^R0!b h3@ρHJ6(@8T.X.v>˓{QE+l3fYkq5w%$dAu,`t& ̥t0X`)=oH}`]ʷ@"W} q]Qo\n6(cuY,>R6TyF4ܔe_'xh$g೟.hԤ|]oZ#Wm@~?k !۠l'[]N u_p]_}hg=fl!3g,f2dQH9$n7 Ԋ,j{CRkoԳ, q?ݛ mXg!0w(WmK 6^.Ⱥ/WP_Rca`NtT̢evw`P!]6EeQEHȴ&1!MXb-lfϰ\0ZsEnnšsFmW?Y2<ʘ&\/s<;\i3"S:t,p@gs4~;jx^W*ߠD=k%G00e$er*Nzn[u n}&])ϱ3+4掉``aB/`XFbcFbUŲٴ/XaG*m0' YYOIuvHc<eRDGG!^O@J-):ht-'L ߍNc .OKVU2}M~g D%%8AqQ>'ޮcKĠ"rӲຖg&g Y}>mp*Za}凿4٤T? "ֽX[vP*$2O#}-Ѐ4V{Վмz:7]'GbϟΦ\lM/\*]atz52-Y24 NA?+p &f}zm9di= ou{P-ÏsghTod\ZZf1j=(l BL naz*[,9P"Ek|@ta,ȥEQjL7a0D:YFNiy DxݮYCNHV2*|5n|PƎ|z;^ոR::/ȑ"l^bwu,HRz<5pTT< f4*!{5&On (䭙v^Qv hvjܺOM|`Wtѣl5 py-Dqb\7vN{ĒRKB)v#pesbVR|W..۹ ú>,iUH"X8,? RoaISǥÓu:J܄hQoe φl9 ~0[IukoC4c㼰Ǫ =OgAchTV >s:6tȷ$YkKmyy!2 f e&/+ Z^E78EMLr<P+z?*V)5'} r0aD+gf!9冄ㄽt]rЎ`vV92ȥpQ}g(J5dֿ> WfZ{Vhۍ}4C >뺰_#Fl xVf ;fu&MI,H&)RJ#P` Ԯ˚Q֧=N4~ m` ~ul҇Z4J@="SeFߠ])vⴜ+(P@MtBH\b pLU|$uR}wd=[(*/ 5g8R[ 2c4t@ N ӭ8YsŒ-1Q逐Co~c+/S-mۀS^7KNK#%Waz.bm(P]5IҔl7Fk;6X4aymݧ;-l:b'&li%4J|d ,{:-l=!6 v sƁqЁ]Nn1xK@[Tb3 )[wiByMrxΒ3PgU! W֪C}يEu{4s?^dC NОdokyC]Tg  = VWmh; cS+q \oJ=pl.%"CʅECz@'fQ`&I2{lUx5zЊ!Q.)GbyIhG'PBk :ϲH5E]e@RQZ#RPXvP||a*|R.2zצeo\G&i44giW@Y:^#|!s&j5ېڐ6Ճ](AbKQC`q_2dWek519%joK~3<|x^5Ro31z:P&91IıҶYʰEo ӹ"Oc7Kjֲߋ 0gvԱ~ ܰypӎr=0oSϳ׃7rOyV^ ܓ2cr5+U}wq!C \*W^vyN2 Gh~Ivph~ez$Q:D]߮2dMo2Im\)V.(آj=H&J`w\"đC&-8Ct!$/N*qQ]uh 2Eq${thPW%hemIEdu4U$r,~^RbTBm(ÄIV> ƧdôbFyaApӎbܾ[B"=ĝPτ`Y9Ƞub096$::Q8菣9TJg7I{ ˍY8a&d 0_s}-E9Wf.U8B}_1>B`unwf\{k.)*G%gV +'SauGRS?&9[X&7QvQ全{~p`ӖGcn5(ܒc! jhDĔibGlYQ,N1J+᥸T7Sn #[IX(`">ҝ{:mBhŀQC8#'/ \\`1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id522x1W' dHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g j]Άxʆ5.f-9 rq? Uv\/D5"}oZJD=sڌ<ARP)}oQt~#~5,/F $w2o\DQKOm6jT ġg)bE^"]FYVě26}E0} o^[.iܷ0FG(#~tRcbCStjS|VLf7Ŝl(,J4hvCޑ^@3@dp#aVPj``ZVHNΣ?vVtj*W {!D~{)Dz7 mY[vAe}2ѧWGnB00mE8p1aBCt؁hTYe&+y@)яϰUE}ڼb`TaLPYS⩿6g`4~T4ݢp6{ ^[' #}@_mY,2H.q^r%FjC5GCd޾ aI 2!pE8NOKތa;z+e*mx-}74I}иX&Ͱ]pD)&3 ; R'aܽyt=.c9H[88Pwb*!(uyֺAȧ8 pA:&LDKNKfy$,MBz~' jI/g[ iK$$(9K*\XJdO&p&_8_X"dLje//i^Mu5Rh V|j bFMn\H4I/y{~m<tpB=:w&6ϑάcDuM}t -[0%~}Mpa4K7y[#{f^M4Zx[Ul/cW%,VtUnD̗gu)h-%mtU%|V Ա||aRFkqWq|GsQr\MqFg;ڃJt W0̘WͦԨpFW1( G%lO"\}|G\|OB`i t^%F!t׎^tyPzB! zo&׼G-*q70a '!9:ԌfNv_Z)Uff8 ?eaG95PX?G-U+÷?丹G_ߥ"V \ɭ]j/'|cc 4n.#2ͷbq-ybYLY!Y?s̗nAnzuP:yH5E|x%}#:#$a?MH"R\D[΅pW|x[g]~cXȠ6ӵq/M(2vb@;SŊĚ:%qH`@}E8h8U {{AZTճ]+Y既Gѿ}^ZBf;P޿O6r)\ (win,gYZMW A5 _ّ,rXRhp3D-%Ҋ6vG 6X9#ԞAL^6-78ڋG`:a 9`IJ|U:'ilF)_O5B[,`3c@ AZ~rH7.[?|̹$p8eiL&@q7I]tR]i+% ]'$#t0!֋7 ~!oVUav{*3fKu LH9CڂW[o!㓎͡>BDc ʹoE:;κl)=,Ln}Vt:4wa_o[Exh|,{nªNiOդ+3. 1)e[SDÒôȴU6%ώX8z%g-+7L0Jt$˼5pȽR^][GM&muWc4z=V\߻"UxjáK/Dx 5A3.8bn\qc>wfuѣ=q#վ0]5r2mRIxRkG~{8l8"N8tQ0^--:*ne˓p0˘*tdi5kE{f82RU`y\E6(%=YҒP˯H lM2J>q_)|I*E]NtIг}p@kV(SqO0'/X֐]I`Bzά/Uk6M6+m.[@5} 슳s2|SPl@J6BWspS>h',a 5T+M-1?]DPDnug/ُ'[;1p@%?ZK@~i .=1LO{Ak3$Q+:TA3$ҋ:u_MCapTyjjJfCDZ>nY[K^>X( ~dKdMUC&j_|}@,˼ Vh9E( }S;:mijGCdGHaMB~K~gο4N5z0{y$q+$_*lbGh3CiK 'I|3P6:/0W(KWd1Ѩa5J'dQY=q7 }hH[}(➆cV5*5[̟y,J\|jĺȌǮG(6q^$ >+ɒ{;29ivRe 'wpڷCWZ)8kwƚ10sljpZL̩ gc0U~<}}̴GpEx!ȪY>ɒ"͢[J"LGw]aouIHt(SM1٩ u{3f{8E}o%vjYيE7, %Eb&}soCrLۿ>4Gq&7U l<`;H+0 1"AYSN57j2*Nh$(tpCDGbTWN"׬zsvso/@Es50)Е.%uw6 ż3ڳ[J|po3muޝ"NW0-=ϥ  O`GV_A B}w}h:Yܚ)Hj2rjDžm=($3w~ ̗%jW̋I>RF=@H`[p_0^_TlrXn.ҟOH=479Qr ƬY&bӡ%V~k!O~,*2Ike/3E.DسW(݈Tۈ-C E /h8)Lvmr+t7 q7ҝt{$r.YkMzc@K AF>m~B­0 -ߛCic)%edkqlz=ꞟBumx6v9_~DڰYy^YEBbR%iIj<3(<t% D.eo-Zx 7#\$\N#uqS'ᲂ,9a௒a$>q(g[;$,8tk eˠ;ýItv"<*a%Wj@ wXc`<ìqը9}~1yr|8XB@Qтe#,G,R3/Kr1Jb$h@RQ D_qţNمo۹@ih/aC*xfЍ*DMrS"0ܟGd@q8&^%VCRQ&Nf WLZ>|cMti3ÙD^8Cpy <»zN_BC%7& U-@H6#TGYca$Ftz%),@kI'% 1vLd$ !pH6M[1 RI|'sd(~l?@ܠ(@BNes,vXo)rXgS{@OBIh`g}+BI3su~ҡD|w,aR=j` .#Ê˖hًSrs ydl})xMFDs/c;Ԓ G[B+j`x[TwH7kx'nprAAU!GJZPAO]5ɧ/gb)r<,3zR <# 6'R}"!'b=C3 ]09$w@:hYLvO$}U$j~~%bv0,lZ;ph[ă@ݝ۳,S[u3< ڞڈqqGz@XȈL}0xQpRFH{څKPth9< 3Oox%&Zb2.nmLո0Íuci,;0jz&ѵIeCܥdsQކŠEFTĺW"܊~0Pjc=4Aw q6whGt $V""W؄vTzMv_xiĢ!et4.S,~L`+l5zp+ŢoiAx5l~Q]M! ]YOyd2Rx[n146|$]:Q|< JB^[A.R$.X֬݊v,T I Qי'iƛ+UI*/ *F Q·!h?4S !Uub[Rk_R'5H7+0ń0V5X|x$q7Gg(U|}%YU]Bڄ,G zp6m˻߷>$1"i)h[up] _JItscp,7չŔiy+C YvY*ɕG~Ho@WV<zlPpo>~&̑NvVa&mȟSx^neG&^TץxgH 3CXtSc2T{10<ΞB ӂ]+# 1|K;qIr=@\i+΄^u§CSblUV$lC&z:9G2Go52uV }=j6T ]4;2'CL{}bczxH V>Dɍү~ߨm T>"^NF˰tr? tKƷ/v &y!qz Q"mX*5NиZIdN1)TI"B[2aI/w *t"n'NLymUkgF~)mσ\fac c.J>zAEKhM2[Yα$i|idGj CLQC50(&e0=\\flu"b@}m/+ ڛ/[, MQmԞ]n;12N&)鮹9B]5|*ثo,9H)JqŎߥ߰s;tn~ڼ3\8vPP|MrB"|a G MgBLЅ$@lzݦe~UzWRiv #O?ӗVp jr6 KUӒٖ۟(1%F8}?V0f4ƥeCX_0k|g`9琺/_94`M39V Uo :;ߪ7"Ҡ|wƺC<.bNuTNk'cܩ< } OĢzk*5-NȺf<9 /PцOCk$?1⑫>사HZ+*M-@ћy `|z{OНE8% S:Hљ䒖x7E\~xGjHR\km@;T5>s-_^iO0jwVs*hcaJeQEIJbĽO`dZvuPрWig.t 5JJmhu^a˹@K[@ _b(y4RG\6syz@VJ>W,p[;`0gp ɛOS"y캧FSߵf V[t̲r~cPkM:* z_K mw|MZm;r SK{V#t=!1wx+9X8E96EcXּV|K$s2DC <ڗqۤS31"8uP6/x(Sx58xT 6uDx~58 jSmdԟ_tp)dOń-a,.S&g}2%EH.~֓bb\~c ql[VIТdV8=f.i3˿DDoҏw5ؘpvqX,NNj.ڌ\!K#@mEkN H] = ixuZ)[]́Ș7 [+Uvzml'Ĭx.7&P `4J743m"`_jߜZAk"0Xl#(z; +'pvMa\AB=} Pl~'J<FOyCs 9*E"A7*o5]ZZ'}^ն8v'wi`DD7$Td1Go!b |O:\׌:)lHۗJDw j$$]gטiS,@Q&Q|֞n;~|IHd?_C̠kn6-;gQe(< ʹsuQ+ˮan>>˰qyӅكhܥbWwpW,Ewbx:+זl'&!wu3 D3+Ugz[LaQ'=A6XWóׇ+L n( 9.ş9PH,]ϘHa|Vr(|pVߏi/ +Maf3dw3‚9Dt{ ,OΰafA &Wt.th:$.&y&Hf<DuGfQnwiUd=*|ml)b0K=PAKo_4^=i<􁝿JB,i~]ՙB6Ux}PƒK${&"/ڰaֿ$ǨiӋ 45CK=YDd`.>:W(kU xފ MguyuJo$̀ޏb| &s dcjdd+o{|+Jh㈋lpʈ|005`֙ ,p(\X:7UE,@@%|sYb(;oy|? ײ7'dޘ_;oX,/~ޟ =HkS%ӢmPԋ\,VK<=Lf pO_S3{pXM>Cܖ/$> yU>^i_3ӽ)8Y5oi,"u@O \5V3Fc;!0pW,&ց][y6>{}5X`g95`/Y.lڻAZZ+=:֦;w#zuTPj_yykL֭q@a7QyV]ly*n_P(kZ}mo7w$rdݔY8HPlkvq3[A]dQzѱ;]֏n8HKZU9l-/8aO 2쵓Y2r Mt)JV E ͞z [{4 IC<9\"*HvZ*fk.)-̳O |R-{YhT,kperA~+b t(c}#'(6z+=w,9#j r5N̐l舂vB@?S + iyMcsT:Tz7sv43(vZtq.0e$u{굈&@r )!yͪiA}z{Ot)i=1f ΋~.9AUȳj/3II4vL|odfjz3 B]4?VNקH̹>?:\ clQ^U_ӭ#+}!yM}wLwVSWoMgo|m(Xu:lMSB-?&lI!v8j h!Oc{q9=ɏ ʃr 5\B=[ C"`=ѩ\lSCȦM_Aؙ:l(֕;V[Ը輻I;aqAXZ6 cϚ9 YyğqRL9 hs @'0E DI G*oޗJUeEI1m7 h^qH{0nT}t$M?gUe\XޅOHD]]@M0YXk:5h'UYw٘8ٜ}˜8򅎙c Z)=;1e0nx"-wɭtvRq>[ jJY !̗hE81m戤 Nbǯ@4j;+n]P Œ~%8+Gp I.,sdլq,1cq "vهl. QDl zC1BqR|rn`mr7am(#ì{ e.>Tzd^π)JؓjC/u5zN`8 Ve sVUV K8s+A߈!hcYəM{9yݴ].[A4E^קI}{y,tAv`x0o2~C3[85RPz 3!c+ L2(G6t'V-VefODY0d3}2;8WGa - ϸ^ %'*VqEfr0`ՀoavE~Fo/i|kᯏEP*H !:hD XiB=Ȼ@[˦ s48 ץ~uٸ y'3ĸ -t"&Mvl;رԸ$OB`(/vg@/_L&)"f+HA=(w&new'=EKpQe Qv(.nމǡ%~E*WkE鲴F ˫AuǾv%qD^~_#/n"F/S `_(pU7h>g;^ w7OYTKGz@,ÙH £;9H- vD<`~; kHpݯ{$AN k8=Z0݀D5ۭc3^Q 'w|O'MaEŒC2*V/[i3M}[\ɨH+ >+Dy -[&Qɸڣ)4InxĘxa{(NCQ&Lc1Ol=bBGȂ-gZi ?AW Z!ߗ-&Df4)ޚ^2!$`V͖٪LT:x!ߛ؊eM%wxn?eh6e^LE<rp,s7z @a; Pd˴"OHIu [@#'F&δϡMcTrE- [%=rl_EAM cYC~^\I* [$w59̆.SXҡ`5gJP;qy*!ӧb=hM6Wyg̈gC`ϓqM![X3m﮹'+,ϖ.+(O2ր_o$Khu'=b&NCCNeaRXOSJTqJ©#@a X3C儹Xџ 4A\cX72l*$(FF}IKKՄ(= bBUXJJ]vJ 4A] l ?# [J&*re>9 rT1I~!BRTqAI'hm)Y R~:- )b[eE͇o@cGߕ=T VnQS+ׇY"SN}8< i^+$6jI/ |OPS>͡Aywv&K6`5:Y@"!*g.lw˫\B:ۉeI'5wx3娬ajfI>h<ɪ+ ?eӬn| 68{mdLsQo2ڷcvr%40S'oA4*62T5RI{xvt`b9;%f6^.[ Ƅrx] 睁??tb&0K6ev\*^ Ճ3ib⥑L?h[,ciw7\=W#,;qE&$=9hƠ ԕ"AWK]Y;ϫSY":<)ԻJr2uKPEd5SY/.1]wWiY|d8"Ag!hYP(K}8?K=]aNZE' PAAщw9֟ (rLO{ "wk*jTm`6 K'T7bY›u|q? Q(b#<o,[~r]Sv4`4CٶDfگ'tȏ~9@ @o˩Mӊ+T$f\;&)C݋tMw]<[URgf[ĎcIWP!}e-WCo{/G+ARdR ǻab BShru I_(^5]cVr?^;1g[3J:q=CJ0|2vr2ST9N _2_ꭖdXLG9:bK+ڛ:Sg\Qo`%+$_=Zz(^yfYNgT0-Sll[7p/kAﵤ8mߚlPw`߅1= ye$`IȖU?A2ȔRaIbd=E3SQ<_~$q|bN'Ϯb>~sw"M1`]Qi8ODqc#ߙp5K,-L_Z8b iyv[,"Rbs .z d4|_@Aڟ08pC4OT8~݂Z**leA.^sUZi "@Q1x`ϓ=Q*6ehQʤė 6h2O*sF-]{.4IŬs0RQ6~RvctV- FJ.R= 1dR@>1{ h`{HHFrsB=}Ztź40#$TC$ws"R27ׅ9|̬{FۖQ3|$%zض0(u/O ~N(6zvsGN#x,V_l H"2e$Dd>(0KO΋1#"|7= %IY嚖g/BPH5&nki]@NB#W w ե_cK QR~]Ezz!Wu~s;2Dvk(hw̎vͱb #a4?e{%«Tր\=C]rKAkcOF ^ @װKJXwP0WG)68c<>wRV?:3)xpi  L(3َ9S!, - t9t2jEh( r{4QaLflD7cHs*=|xwNI9OZbF8^Q[<8@7I!"gutrs0F1Y n &^rVgk\3VnjȷeBg>x&n̴Wq>bZw-ꕥ#hifOQEЈO`-Z؂=EaX#ɋKs$lW^$uWb6KPOs;4݄$VFYT*Y^i==!F[td+zvu59 yP zڟ#+!{ʢ SCe?)NĠFu:%ߞu37WgMκ 2YyxjXQyۢL؇to~pV䦀tU 6f, aA9rrWIa2ڃ̄ kG$Yţ${~ѪL>IPX+u9bfӣ۞\EHKPڹ #ZoԍQD'-̦2*tRa} MWD~ a=baKrI 馪=<'lIT-ȧm% x0 Zz^,Bb-K%נv_#w_X]wm3RȡMe0 렁U).a14u$tz: G0y_MD~V#V:s;|P4\\%DpK,goa@~fQ,c α]`kMfx0^`9R]Ҡb"n?n>"m9- ]Ø]{#WcRSO"_xfeD+,ZDS FUZܾ#$]ߏDf1mn[OQc;4"OPʝjvrE%4®lLBF%gdFe[\8RŦ]ֈT6  fXKj45CJRhHlhDmt8lr>z9\0jl4a+0,6(4kIy+'5i4ǑZ-16-evO@Uhޝ|\pAuu!SMw\[zK5!ZPLT\e&ݛ/5RÃYcIQĚ~a] %jI(4+Y.;Wۀ2,A)O߫_"ekڪj?6 QL<6@`m(nJض6Ȉcb8m.zxlmo&X*}mJ6NzSTeE׻zR>SF抺&BVvm/X"im?ul8^3B  uԌk@`pԮ;KS.,UksY txtin-:ˏ3/1a&>} Ci);IS0TTj5QICrz_i@9j4\(}%$&_6ǒTUoDŽ㳷x l(ζp;7K.~h)w~9~:s^,3_.]c=WG3 \:>&RO y%jYKmK=5ʍg_o_ֲ=88*.p3r04ckDe9-Gլ/ЇnU@4砻\,?;z+cس&fW2ߪ-G+# w@L.S5L|y,OÕUMyydFTn02lv'k Nm+)EN.Ų9QH|D@#+GaQ ."$>&vVE__QkqTnV|_ЯHSwD`G5%HS'Sx }2m:p 40{eo!(S&q g]Ց{Tc)'/ݶ35O,]..S{^1 X6zW 7yj΄7窕"&y+4ך7.08s|ϯ4q.8r/ N" ֎~.TH&hC֑bd9g,pKs՟YV7Ӊj ||s>RQ x>3@xG-ѾS>^!VOR4m|j\hT--O אZ XFkbEUppj , OH&6xm$o8iѫIj1{}VJttqbR;.| %cs+jך_~.pjEfJ.֏m8,HF< o)%ik ;3.=6t"0$LtLT ԝs|߲75p0E ƮQ9v Z 4tl/M nX-IΕQRP9ʂ^${ ZǍrB!Ef["GGgֈp ; -ӮN8)NFw&nDPHX DymyiIK>2x!Qȵ. N][Ljn 'PyXߦ͙⸶k(Qޔq{J2eL(3Fm@ҧdZJi9+;]3iz& h>ʢ.5=su{?s=1$,@?ppsq](D  v휏$ YN Fy~@o1)~ɚiEkH :AȉL-N۱_+._HLAIr$AwhO3<By@WeU 1[,Sm?B$tB:Шz; Y U|B5p+Mjo/ 2VLfhD&޾U˙YU8):}6h!nSiem:MUnsmOKC *(CR (}o pr6`#dwdwhf_och![OmAVw]CU.+,e~䴼Ә4r8v$n"L͞ q % 3|c;h<x. _'C "lPeYoe05aԔ A,9IfKue2UpГhk-I;v%ýU^Y'_]M9>M\/iY|Dd8 3}Uc X0i!O JdQFqg_iSLTh9sTgMA~& BXZ@ ZGcY=vQI*A Yq[uY2sxw&w6.6¾[[/]ZܛٷCӾ<=35.kH,qÄOgs`#!`^.F˩;7u&Y$_}4ʫ„ !f GG3ej>@)=41aǛ -nMpSQ: zPF5"~>/Ul$8ۧ@A m|cC@=*2)t #`vbd8J@Bϻy`-܉"2:;N%-M \Ϸfjax 3ՖCufPw8"t d: vTB~Z4{"Gn mg"VpLL n LHI]%"ꠑQ :Lnk;0j&ۀcBLS5[WSEPs;|LwH-s<ذX%,lܥyԅOh=T5kG1oIrǍVjqv~QNc6U/5X5&VF+p&Tb\Y580qx ÛE9~)<%' ~,paaa0\T#nU4_M( ;ӍdqBByPyl6@܋Y\b6bTf9+yɫbOgl'cfR8x @0̆'4gVPh4"VD.GI&G ]OV:ywMI7|TKCZtgN8fLߥ] X [)jq";)?,,<w?}S{PoµI58.a]sf{fi45JoV6/Q\FP\6dVfxQUiEowt~[T4U!ri*@Dv_lLzⰍ1n \__2i8nN~HE go`\@z ڧ{9flԄ(kY)"Ҹ8|R Apĉ#],P$Kug|W *_՟|--pًeUaIR(<&Tpo;y=ovh Gw}Vf|T?=:~nt&'ce twzhZv ߣOg52Q_^OƤl\&-wR^X˨(_rc*RQuuܞ!%;csʾX=< RsPC:tl]u՗yh D/LYk\7'y ,ӑڢ iBt-"y$eq3Ml/uqdxXk)X9ZiU;F$W~IEK\}Ƿ+٭ % l Ӊ GYKrs*VKyNuk-1yh (ճX6ЦÜB"(A԰IyzP C낍0Ɣl:0RF,W{I=`,ZwzRm hZmZ-d/aٶպ "wQQ{8S \Պ \h\78̹$0zb+7q4=K0R}IfoQfL0.+Hz:#:mjߏc7ɰbw\(rP~ʪ^-4l&4=zhEX V>ªrq@oYp !҈ 5Ny k6>ɏx_ݝL(9GX:-d{m`H-vIepm&lyF 1_NkIBݦ7 lsµwHhrlѬ&/{>FD81؟ř*mb0MAvhSIoKSK535'5k Fnчsfޅ]&rւIN #y\bЀ8V/]hJ\Z[fΜ|2GvU^Mh@53E$X)O |DizMpULX#VqeӶ7-5}?ZRf"/:g~\D#O ^.'iTRVHmC–Fz\z,ϿB݌ń,$j}L&!:4RRH8EE1/ZH5%sHt{l偋F4`_3 w+iQ_me w1*~i0bJd޴9 -S M2=Y{Ժk02z!Y΄܆F8A^F>g>!e6֩EtBfd~~i+Q?B$U*+[MyHZ$|0K@vv,l.-xeM~ޢ3']Xjh%=' q?һ͝qIX_* V[ ɫ?e*j'Ie,>ƀbAynP@]f!:nrCv6<<֢,Ke9Au;&;T7!K򮢓y=Yۧ"a߇w y%\uYp KWzR0J0O]m vuָ!sD$U4u4Z9^ĜQO3n3G|PӀPvZM*!ftn39:k mC5ΙȱWsѵ>[#.{*4EfuMd8lʰՋ; w iI޿@BnT *(L69xfjsHCw!氬7;uZOOΌ|pZk-ʹHfoaQz\ρǷ;F"I"[6"V+NS]3Rbj_j,l{N)pj Z퓻!['Lu )3?YHMS|LC-TW^y+.5:C \KB}5aNg>zOTm up(y$6ͬX#E{MQ lMm>jKXBSwnrE8TPAx;Sro}gQ .Efmθl~郸^&'cM6Y Je[u"z9 4o(Emfg?B[$Q^hoU,Xq!(}j)O#, +m4E5owqC\Kgj7m|%Q P @c/T}^DyjT4 ~=YZj婖_-tnGp7lOcuy9_%/&$NMkRI#Fm0kNZR#|LVdvC@f=lO6_e`#5)tmč#@Ӝ{ {Y^?jC1,<ߠW+=1h`# U.]{{DB^RCtGB?Ȏ˰| saӋ`QPtn#bAcHfE:*}RrNzmh#o4}a$UID.p2EF[ u$6{$&p@+24)̩6x*q1*PdRImboo0Py3@Ea^B:+f X4%^Ji,/A6`Nȁe(H'FăQ70|J'Ğ,<7o_/`ЎJ{ 8dgd*"MAW>iB i0'OiA-6?{4;& zD { f([tٽU$bSq&G1F7Z6Eno5;:A_/'Q~`pjwȴ1.i]~}yR :Iʑ'lv.ޤ gvwsԚL/!:U* JRu0 xA=7RS\wQ|C9?! CpZ-8Y.R?is)yJ?47Q^ d"LU$0 HWEkhp\]}o-4)EeڍΒ)X|eK29?tk1<} $<^EUsgۢp$I9X.:@y 7pIL*hqEQ'nؕ^HH7 \F\Vt瓌~xM_ Ohs|v}+SjsS46*#(S2v-UDI5k/lX. DI96ȶɹ&T TĤ)ICn"b- .2Jd+8 hi 1VB5\QApgH;!F2q"Y+s1^?MtHnt2dvvZޱgYZ  1?# LHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! ~]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥$D(1z8jqéaNf6 ?F{F UΝkW$o"d#bQ@#{I#!izv+E=lOM |'빳RSƙ曰uB#OrBq__`/¦r0&}>X{H:΃ͼ͞` OSobynÔtȘg=o;9B)ؗwl9.mqs]%(Uv{@!.>T=jisiTw_3uJ-<I3"L-,y %kq >,V/4޻oZ@aTeMkFCAuE dՄm_U Z a=}&3g]ڒG,Wtl4|0=$iqzen?ϹVe{l?'8vʟ>;; k'+y ]GN% dUs/Rz@F GѶ\j` E_9qq ugiГ[/D^¤aHt]{l"׹9NhӐu)4D9MKr|$!-%Cg Is?;!t,SKXs|9>J,TC߾Oe2dK{ˌtm9 Cjz;/*`:ݰLU+ }a۽F_ r6&!t6_mYTKZMW} 9ycCa 2: vgX [ C]ڷ'U}c|2+1oEKJ+Rw_v \UK9|SNrl q&_K#^W`z{Qy7K"o cD[=<2:{lݣ>hӻ~SQpw)w۴{5#2=aJ)=+O**/(~G(fq iISTTg\sa<N <Ϳ9EOE%x%jb`;mNcɏC ,lK3R(wi4*w)wIQ{00 P_C&_vUd1L`=$i ~bRl1pGP%\5lcqR;@V;*BBx'y}DYPxXw}ߜ;\Xow:oJJMhD"E"P@boN:J6w]J# Ii ܺH='-BM{/=R2 ) wb4yBًo) J'JQOF5囹ښ5䆜TOEOI-1 ӝ5 eoFV6 09%nvqIq 8LB2>q"ApB? ,p4v|\DAZ_:.w7 xl}ih?)t$N?aqӽzۮtY-`ҌWn̒.XHja笣G/٫O*+0Z bJ\}~֤Hkj _dO ̽ $je;IݚRnRA<@ezHz[ ,x=K.nZoFQeV?6Tk!# 0mFȅϸj'֥j)mA(ZwRTi?׋-Eg: US7Ѿ_F+.y 1nƘ`*+|DaSŜ^==py!o.<.3ypjAksWwaSt㳌đH.d rpU{>$5s'Oh[3jǫ\Ӭ8li<;IK"@Ik6x 2h}:܇!HT7e1#:/ okClW&.#jGRJ^V[vUb5ty՘/K2(~(tx8qNE\@ݰr u^,}(!Zuhݻ3g旨~eqcTY" LA'@TW oB}HD4QbQs .+=ZtB M<+r@_,&= {]o}W%x}o:E gLkQ|T~n՝)i6 D`{ :\Xץph@`OR1gj; d %dp 1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id526X1?' h1p2(/Lh3,NJ$ #j2=Sީwj|LRd}4!I=~@= 8ϙ I)n>fj+[/^t] [ε}PYhCv4=gcƃØgW(U&`JǗ&#'I-0МTSg`2lGҽYa yoMy SnmF,3,g@LGWO uLLU(XA'h%J14wX [=%y`|C9[h^k `]o^I6l潪2oS _$ifvY S\۔PFQmb~CPN?^E( }'0A C]p&0H˖#6NڃޢajA쏆ߵw Y ¸^"\AX%ԈJ7WDxP`'[Ya+E7tbtHd|DPc~Ǣ9U?-4@snEIMr{}A{@%:cƠRni"S?0 L52:\ngdR#lju/gRvtTleaCFksV]Q _]2TaF:RBbOg~E+84:/-YѓA|o[@Ix r"3H@vi08. %F{?Iݧn-ĹCDhϫ׉'2N-FWmZZh^ Z9V${ˣs޹:X,M1N(};܈u> ' HW8h53U›H}eҿuKd͡W]s]`i.tefa"8um8E[99d 8!g#%/oPxA8z>v (;oE/ߊٳKjAk =JgXSK8y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 10/|L18k*>PF%R2JlVnP5{Nɩ? ЭvDw . O\ckT$m6)k)0n^ #D@}j(0?,bcsZ#wLT]# []ϠQELD6AO$,(+22@$nc:7}_!M*vjppq=%&ٔL s1A>>KVk)2ξB9=Bt8 M|>߹fC#;vᇱ0n"I"O9 VσPl MK-/Ө|t| e4M?d NCʺk߶n]Y[ !EOu m69.>v 7Jd >ハtBD"jƯhMFu 'O;ࢣ P)A;gSbqԒaO(:{8ItR?wũ4ϱz?G&PdOX$s> ;R]1Ӡ&`!89L*hmwC(n|$,~0P)ѿ%րVoWH~z(9mTZ";Q`mIhM4H_9@rQIWǓť9FoY+:9U 1,I'ny3ty59]}y>qbi\! [ImYAR;1r%ߔn4 o\/ږd΅b)V Fq ΖJRI~(PA G d[ LPI;s'$Ck84@P;:h6H{8S<^kQFmPcr8R}BHԶf"v(6=0EgI٬JNkY!`$|VţGtN*R6% m9#E@sDVL*zTƣSeekFuAM13jo7E t=/?)Q\2%h 2Iupc]5dk#zzjGxYKZnN]m9v+;hvLއ\zhI V 1XkizS;m!awL*thYI}y,):AauGvƧD L̋77k 1R|.漵ϝseIV{uKnf5}žTDQQCo%ޔ^d};|}e7g{S@܇Kdwj=Cx*(]xGSZK]`R&(0\wu" *Жze%.( E_AmGJn%SE1NÆڀ-jΆ77WFaYZÕI=CX1yar6NUyc^T4(̃J/C'.n_7NnБ9K#܏vV|rJ?DmʩE47 X.c&OkYjMQQѩZ3r{3_FU;y_Y)Ȥ~9 bE dɶH wߓ|!dKv6Jy\[ێ|9u1hE`ANGYiX-7ގ21\k KRT,BUkI:}G5:@ctJʌ$mm7l8ǨDJ8}S \2vUwP,ò &` ~h.na7`_rCߑ$ۨ@m93d߿*w Њ? ^ἈĜM2mj>;T&QY%ʯpk3k*%Oܱy/Loӄ?喝yٱse?kr#k\b7gZg I1z($`@[4!2 ݋>شi0!YO0+åP#Nr;[U#xTڗ;͚pvB!l̓Fn-bsk\\gܢ-l"(czt`mt\Ɲ`Bt{5 c6օزֵ"im&f1Ө HV؎7)yOfɛ$ xD}b9L=p϶(E2*d$KTtWdR#+܈ N?S*?߭"ٙUgQ9VB4m#y|gQZmd> ŗM8@˦~]Uس^тx[ZȊadM'Vz,يMX4-*ūmd' [Mfo[y oyNb41G"/=0UY^rS| kj+r-Hw#HD/ ;y'ž)r%tr3=wD_\Cz jޟ1ДSQ\:~K͠M7eA"_fNh.(p:il㠟pN/4X7MgYZ | H|\'1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC&1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id520%1O# y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7G}! MS'0&\3̤,#U׷||IWD^' ,^́4:"%0TnNȄ2ꐜtqIM\# 8q&Ttֲa_tȟ¦P_^ԗ!NvFTBmb uY/3 J$fp1ܭ\ t;y'/X(F;R:*užKZ<fGwn1s b*+IU$䈂~@ UIEm vm Tӑ7 \k kf>9WT}R[ `N< ?.y|GJ]߯w*ĹUe#\ 91 ch5֐T#kU)#!QN,'H«lJg S]&b]OD"w/UXܻrI>}yH䥏-F{.շQ ]<&އju\78EUKpSpL<35pL!ͦȍ+k"2C>x(:?#4}74H%»W}<(Crt: Snf=[׹o,]j6(ĕmut$;/aoeI roםhqY*E]q8,e:ljM'YM~yyɗ07kT_iܧ=A7 {j$! ]{{.E2qZ1B zV k<?*G)l,Ešc9e(4~'sA74ۂ@YO 5Oތ5 ͓ <|ER;JtIm.bQ,6(AzUkb>rlܳqkF:Cγ p*Us6㞋 aSfJozI,H^98zzG4Gm. !Se۷r0\3R|إ?Au6,=_٫ m$F{4v8J7C>)|hۚXLU1TW1L%vm0R[@DKy?f|ə 59$]}?ap<(Uo"ZۂǥP㔌ѝ̤L=.X0 ܰi9@kĊfz 3RӜo|.CUwh6Ï=3I;襫;Qj*)$'^Ax_4T6^5䯙uu򲥱zo˶qѩ0iZ"UTmiZCW%X>+> FLB\FBFl0kQzyꈜoeLBԺFTzHsS}ܲ kTȺB&SfUWL_},5?+ \U( P(π_U}6 ZH@N!a3l2ew>~ݸ?Kю Iy.A0vD5`nH';3A{S>b1>^V!QׇዔC~AҹmwjP޵3B\ Q2YE  * gs-&'7e$]ŬĈY+zEwY -Q~9A$mlL1|.Vиf}$71WdKtYcg4Fp$1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM#1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id530t"1O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! i]·Iq n[:|&[zkl48B.:,' /55HUOyXvE$lun #2R]K-`v+gK|{dj.n#%MA(%{ Z- 3E454}+PDBk'XH06b&H |L`pXƤf|qn6Lz*_'X+p W*NjHZ0cHeʟ5iR)'$xZHt=` n;̽FZZ͢{Z@ݭG#B\YnGrڒ6z7lK.  ;agYZJy34sW-xC"@©ƊȽ]*& D m~ ,n8㷹_ OBtE!s/{S33$ojڳ?7_6GB!3DsQ8iDϓ''K@(/橃X9{P2鏱例l_s~Չ m/EaxV9`jPCʬ)|y$`h8_wΐ0T5)oԠ-8O.eZB; GYޱV(0t"*9Dk>1̍BJ.7W-=̛/eRM:sg瘝f2^L [lKt+g >>  5ӽZ˖jVHF#'T3*̝A쑟'f=\{[!2h/۔_.Z2>ƥtIt؞BBd'x:p߼΄ ɛSި4ۯЃZHɛrpr\u1ƛtxkK=e^l.6%8"Ѝ<]"GT,7]t2 wH , #k+TqCځa }HȂW g.ȘOɥAdN^8Ua%4#>g z賗a،rM4 =@+P٪8"P3 *7C˅Vf~:oZ{sP ix0[h WpH@͇^[?ٓrqDRU^蹑ټCN rq'I4)?qM,ITBipf n'lkdVB_S!y'X V:jbbRReHЮGqLQ#* *kOߘ&lpeK2p|EZq͠/?k ѭHb: u_:>tc*א^]]rZESI0fg }ƑYSU.D&SԷOpĔmJ K|qVA/4hW1%r@hRsVJ]zz'-Pe·2L'^ !Ja#LɢOS+ N$Sm|Hzd$$5;@Ls}瑛(ʫ)8co;J l=%:w@vGۆuc#0PgNyц|NJ\[`}"* qC܀K0(^(gyՉ+UM.Ds.YWId`+k,+Qъ: BC_&ޞ~l6x!Pɸf55܁}]:G6}5tx|Xô':kkkb iNɕܡmukҐhQų:|d&*!%>٢c]Ht!b"23VdhwJ_ }ZXC롥*D-H1M"MJa: IOG؍Ȃr 3Bi9zsu_vr4@s?c 0HR|{W)~鐡v nc)x ,@7.@6)! ƦPc2e\$QЎ ޖVslqŲͅl+*-xk@w ZnZ&œj2E_>s I AI;?Xt<$lcȱ6\§ rLҖJ e¥ 6 -.O-d>wUPOh'd,'p߈Cvԫݲ|*y=bdmB>{?pmSű*b?߸9Eh Y}0:3)_ }݋ |\:j!8仫&Y-y?E2xUH?6kғ.(S d#jc-`[XKxUTSs&1%L*S8K)6^QE  )='YRg[Qٵ?6/_Ms?j{Ye}P?@f| B ҪW?(gE5 %#Ϟv ⁲ZЦ/?>Kӏ%RDS7S !7h@P;S!%wy3)-B\DKHo$i^]us$XT):Pq_]CFЈ haB)w N乱qRZ޹q1+^fT\uV\Mu[~Gʲc&)EI-%a?bϚ9hRo=YmEI2wY `t'=23W5xLï [VG^a *g[=-d81PcieԻRƜ\ͯ!7ВSfؓD/HsZ~'sXs_ɳtVVD2W˿̙>h;X&܂TW"y7GJSo:>Gk XWͳDa ~ ^- TQ%C|[`E8c$\gDk3f=inU'  4:JY]P«f\EE[_,xhd+ 'fm ai2_zfyc[񏻿vӖGZgk*<"v$fN[Hbo6qJ#XS?R~jLcmBSZ&!V0PD3쏧2520$@6'㘠 hˋZn! &W4{"̪Xӝ2iՕtB)hk51n*א2kqo $ios? EuWgm# X/\@Ƈ Jwp=L] އmm4e7]5jjβu5BhNf$G%nhK]LrT~ůq3{l2,AH3FצP%f`ߤDPGE#@fط\mtW1fj6Q͖ cE&,OP>2rx3{4>۲3S1cy yGz}7q<[ ZjM[ .߷1dh~m|93 pT2ªNbѧ"?uv [h77'_;"1C&Uذz 51?!``2ZA:gG35w{ndO悫ɷ!r@ ,nYj IZ-7CI*t`6&[G2ݶoᥩ:2EtbV/]L{Br3,H|vg滳to,]|wxlr~N8 SP1fOd)tAh*N12EX)ly]k@V~C CL8nk 'S\)3} h$'ӪZ"W[.SJ{fd%4.0Ľ vsk>ظ;/Q׶١lBeVR\gu%Vs*E6TI{GcgXu,y눾# ~t|k&+'ݪNV gX}qS8+]5 =6HBJrfuc#b#D[˹dӝ.sugBfJ}`5n*~NlbBђɐnʲ'r썙*5S*Ŧ*3q<$qdÊZ"8W##:Le#%kKؗek.X=<&'T՘%gsU\ md6>NEPE<>n aDTߥ=nc.P,utvpNKHQ;ӷs]bnl.^ m3wǙ`|GÒT+y;~̦2 ֗%ȝ3C\⃏HTԅ vf3/ve K;ET|5nQ>#CÎ~4r|0.F!9gZۄ6=Zҿ,GL i}KP{Q-X<+Xݿ%~ a)4M۪UAHǖhM.Noؽ.eG˸LSX+W.5b~9:}IL /1w0I0߄1UI-/okgM'Eه]Z3Wzg+Ǐi=|BT_вL9I|]QϮp ?]q$c,E 2\쏲Z +L^"EnҔRQWU8VApG|=gV5'*3C&Nm ?sl4OsSFKڿ?f!VԔ(i=!˾5;#>pШ Z=TN $;)55qDrpѴR[V L|Aj-vB-L0w?L>-<3|Q0@;QࢪocH)߀h,dMy.Qy*=N7;zOBlZGsc 'z qucl揫|ͬ+xYqT+x]M:5Sv}k00jȿ1~`+;&^ak>{Ryuf=6 N]VWG7KcH\R}B^랂pBdP mr÷+O'o'^dD! y1. oטHnPU%S=S(eGɠ51dJݪ[pS;G -K ^CnleڏDq`Zdd4hQ?j[T fJY+X}m^GS D3;8-p1˺d;$KT֐,*յ YA sÇȐ綳L8@#S ja,4SNRD-bP>3cyغZ!=ѰwވrmJ6}S0V$4G-e;rigHׇWk)  [y Y`+ӵ [\ JS;8p &YoTK6HO0^Fk#P{٠|:x)&>}%L3>+,,% +OɄ[qo8֗:YDaعHƐZ5#ʓ ?oQr@há|[}%t[]7[*ٛ񪙝)?,9xdh>+"uLC#icrɈ {":}܀G~HBJ=>Jdgz䋟 ʓfIW/HbBc95#p'h]0'fLbxoeAJ?34<[d1pqk1F<¼z0-zd8|4Vߥ$>)]5cTd HCgڱrOǚ`~A hXO3d,r8˴JUZb~acMq]F9p֥BǢ<^|USFI;˧ň2_ΐTJ+!9M3sXrkUUcĬgn]2+A$4!;G~lBp:ymd;AXâh .N 3]Bj7Zlzܮc6۳s]oT1?T\3+ud8~z),FF^WB. 5"lC$gV{{@FK산~͊8M=x492 Qkezs!lnZEf>5`@Jh43Td>ֈ jE)mnO%7KhH=f#NYmpeo~L:=/SoÌc *V)׬X`jo-E4}|>>o h!#7ez|!RcS=5.-1,w5Ub2|)FN@6c'2kU dOsȊz0cvUoW}oD|P#z,uwg0S]U#pF-zWj6,th f#dEFPZgŷwgq/4B#$6N{m~^[YC;^!0;iq9Sז9&b}M3(ou '$%1 Sͅ$Ig@R Eޒ( ˄plRR?=?]OY09y.),Ӊt ;Y3(e 4=7=ASk'B>+{U3_˵f#N_'sR ro2vtSH3 ~gm ݳHי tDHGFСY(0Voʈ*Qc:Qh4::.ږx,'<Ǹ=%QJ\5S1ЧfL8(}Fi5]wXW5,KmD0FEhh-R|K7-tUlxK?o{EekܸۊR@.hS) )%=pz!r|KW4dT=^Y\JX@r>uf0j7c.5ߌ< >\n*HzCtȐӟչ`&4i4>-Un#]rvGL邶p.gC~)VвPA'OpX&uil%q|Cqq_~ζ_B T~ +^e=KP k2QB 0gw1H4Z(xtSFƊ9֐:ꏩ6Yd̼e,rGȐoc-.oXc`r֌^:dFK;W*x8Mx&̒6Yi|"A4ؘC_ܼU ʹQkq*߼ )m=ӜZ aW!!98҉@LfJ ,Ւ=ɌCHجoY#Sv=(0zf`1c<إg? ^՛_.s}:;z +F NUva0 Qz\\;;ugXdV`~ErfVFΆvrwHB9<))[2ڳETԖ7XDpOp= {k +þeNcu[۱zRw}~G35 +52N>r4#=/ <Ԡ̎kwKJߒPZ4$L&o =;.qciaGXLJ3g,(}sOsHzcAqU$ M4U%i5|RPpU[osݔa+mhPg2[iv7' > tMv%&/>(Q?*l|ǒ&!0\H1tPa _mH7z1~yN+n>&a,푦sLue}=2x2<$w=vH O77F/:.]-6cSR5eG<|*UuM>z[TƄUp-zM=DZ.}K^@ p5i>PkYbf=bU"KKۏ}*; d r-[r?h93>ǙXx~y{W JȏClHDaX;*y\uU>L7_nYB~ dAy~\j;YPu07hզgYZa( 1;# THOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-azjetGBi)_9֭:5)zVgi CY\H, %Uo\ |LK-'- V#OZ׏Pd'q1 3KGmX§G1w P2s7¼z ١#`^QMBXC2 Y@=Α9|K{ú|a*L+K$ce'wv|Rm xmo&$?ٍQL", {Qg 0lҭ<Ԃ"K,$qܧ@TbRa$yaiO?ĕiq b,/Nێ*sB@EO@w04k29H;΀^m,᥻,^aNQK\XMu9?*pxRX:e\ :%D X5L$9krDQXL֠2g6Jkխ傟+ }, + FZF7z'͘lĈ{8lIcr a B4'm7Y3ΉRyq0dzu(#Ǣ]>s2[@'p}_JSݢ]x.jÑ21.,8O? w/Jf({fd\S zLm-w6?~5,`" c?]Lrm} soR v;Xغe{wr WeVS+l+Z{SG4*P<!4X4qA8te>flH}! dBzKs +FRbSz}v0Ѳ02f?Kv=g':UsEm5;,"/~OF ="?-#8M] `ԼUSRBcc}gL>PL紦;׏4+fl{}Uy;aE@|nԀYM/7yსu ̬n) t /D 5~M GICBa鎎>Abה?V%'nZTw X˪<8ia&\Eܱ,]2 s_;=&+3 nmO ,3ݒvnX$N#šb(6`s\vV0FϛoDbi܌NgL&Ty5t+tkNE~3TyJ>DTfcDKlՉ]ӇQF@S&:ڥՀRYvoQMAٹ85!jluHol7WԢaGu!Ao>XLCЋXnhg~T0$H4n)rcf#~BE*Μ|2%SP?aNscyݒ5Avq蓞ˎQJ'`yUxb?ec|!:Fk`UU/o v $W  ,nј jՀOS.L2PZn.?3Y=~.;`DWܤ if{p !2t2gf-l^b- &Dn' O_˛ʦyeKq\rΐ.Ide#K hꮳ_ Ǡe7s$qԞrhxԵj&)M0Jpr;nIm;(ykteG+e +rv;ry5b1q=Op3MH.'i%'R@0kboE{;imB&40789?ʶ1Ⱦ2ϫ-/TָUWp3hҘ¤FeAj9e{Z4k}!*7 ;8)$G"v{ƂsZZKxwo> eaGám9mAr3Da!?y Ab#)em| *%LzQPk02!@ sڜE:EҔ߾ZBbϱ 󿑘hEtlfcqAh-xg\ |J32q_b0& ZK PJC:߳.ؗGCqt{t4Qi]դl3UrSRIiVzٝZ,>K̏7fpRO@oȴ~\׾BASŨZЂ&N^LeԳz}'v'a+)3؎~V5OpՈf'fOjK%'i}ziN< ]aQ0ݺ۲[~%N4ўӸݓd ~Ș",bk ޵9 D`6P#Ȟ?q^Q6;pRe U 3?ѻOR?Ep"d=%n4@ kU'Cy-u@(%12Wie1Ji-}Qd\`sOBY87qAN $gͼEmGGaFk v  &'0{ۂ:x':] h *0/S>(-`qB$N]#˵sorW-/OE9z5)O}]K "_!-@6ȯ}1v J" d^ƂO($)#fJĚʝA7 %оLQ3dh\}i5|H54tڻݟ,iZ7W AvCC!gh?} ibAH%F:tQ6GBU[-n[FJVI8L_{m l ZIpC8gpkΆRIj;PϤhY !CPT ᛮEpaZCfV\- 7A=lY->U㉯!c{<- N)7mV@7 > Ǿsm ⓹m%;hltn7d W"C5共1ïCpoLF-_\i1!36/3f0]78IT WMs${b,d0M<f?z4?p 8Q[U`3;٪TL~W<*jΪyyDg䳐 %`eZ{-aN8O! xXj+P|Ž*i G-41sS°gM'7lR\Q8f+iu+jT5RώO\2\_Q:M%] Md)d##={b:Z1,rz#M|IQh{pǺU+HukmˢlĭaE_nŘ&5;9u9YC-mB2 n:3+X|ʎJφ=eCf%[("V:WQ,Q^ݍLC>!,Kڃ?Ի"V ufza'3l8MgI>ѯ׀5) C4(KVT"^ )O'簇}N)aP8޲#FqB^, 0b1(n}0'SMz+0P\1+ɖO-`cZ%srl.J={śFUE;?\x۾ú<V @y-jja+G`cj={x! ۑ0 #d?M&}z3HY?dzgiL9Lq7NC /岠2~-C,,C]ʳ'v<`֒1c? 0/-E\qDd_:$A=1y]Mx+ ){̋cQ~m] sa@ s)>h?I&09,Od$_$%j516Bxm,Ûj$eQY7,(rT5=ќ^zo"aaQ! kӱֺ[@쑗~ >^Nz1Ip{We^&v0jMr=[ ww --oKEp$+zm~LApg_b#rzE֔0h1èT]d#[oVъ.jc6#^ǝ ^ggA51J40dYj?4p7 baލ*кO5e x0$1J@@` 6Y65L2k& $pSXr m|=IQ V b!?˱8kh~#Æ u]O`q(>iU> sx'.EѠpJ=W϶ ,&Q[߂n!N/ +n]saN]GLMn!,^R.S(:W Twr<,pI`0i`SX71}n'Sn{nO4nݣM(fk3ds2^J(|Ce[ hc^sOA KZn Q4U^Cȏ"[om|}R5hC@/eLD ,jc;tUĆ~X|/I6B=7J*"p5 X OSxDw z,A(aO*,tGNnZ^{'St3"??XYD4l87ANҠm9əxܰZC(.O"hVw&pU 1u^'Ek }QNBɅUxZ<!d!XLsMl,#>o3D# 樌jb+}'ݑ0EKک Vy6|fSsb`zÁՖ.=eP)ƟwT~ޕ?f6@' yDrg^ƿ^2̀XL"[x dNK ١#ZN Ka%a3#hX;Pwʓ>0S itW~o2,+ÝbI;;y|HgK-p^2Q7rŢk؀*8+B=Jd!0z*:ә+b/[8E˃a  FW6iƉ8jdi<3F4N5ѳ Md|aP:0v~/y_Q(SH+"cpW_+ A)*W`7X+*L63Z@Pz"gIrE d.m\5[.l~fBbEXI,V}/ˈN[]go{O=ke|\i"cu 7Fn:(SBWB[d;B/ @;gx*@ ؐ_'=ӟAQx5&@yAE_t=69[p_ynA;5cT~x]j%mkn^,lyBprBXU Q>/|`CHw`p2[ڨL;iG^J#mddXmKT;\WQҎ0[-E 됣[ WxHquxUIƈ0kː4-RJ7\ 5}%^,j͂ƒJ!Mƫ%C{H# lh9ic+%R=_>gImb/oNE_/ |'沺sw9Ks"!ؐu?ޕ.͛{hR j,g&Tٵ'pՏ,Mі:(jgkKԅ/hH ߜX\L'/0&y G*P8_:zǀq -pNd|aBpF@> '[!+UD{R7S7w~?m^g3HnH+O%= M" r ɹS**m$wƨwWG,P+!FW{e@o3΁uvqG谈k9`nn $z é|'.zl zc~V] L`tP }&ŔE\|V!f +ä́vK"hVO8#Q!7]M ]}[ճ=' aXd6{ 3^]ir"a= #Ү;= j !{rzsYR Q)mI+Y:ɐh-A0V$}8c jq{GA"sp;Pkdhhe5Tq(" 5`H(#T :-w=ڲ7q»RMҟ"ú9Q?>oe"~կ} U6M'_$=AH?m{VNj^Rys(#4Eepw⁠ aiRj- TֳI?x 7H3n'@^E}i-\D.aP೐8:.dYk,xR@C#-Vs⊼t܊5]ܽk%zKժ*`-3߲n3㞞+ZlYnZG{ ~)l ,* ƞ*.ЈYX*=K:Z$kI !"k٧iW7X Jf@gYZ  5wA^21=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD11=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id532i01M# THOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! M]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy5+ ?k4I:j[q]mVڑː <6ݻ!brPm$)_Da"l%{x ) w؜Ch<햕2! d Ӷ)up/aPܹ]gK5MBYMn/1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL.1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id524a-1I' DHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (\]D?7 {?:fH\6/nTSn\3,84!<%8G`҇ld|%67o&<zL ҅z$a'+̔F ltR*%wTa ggb&FRǮ.Ὥ~L/qM:u0 wRrvQse[ uKF,cHm_rs_SqJOM(܉xSDc5ɋ/?,[.̩kĽ o>56+Wvh.*&1e95Qy +?X SQgYZX, 1I# 4HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! -%T]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rt ~K3v}&.itҶ=EǩSp]?[B{; a[O`g8O.sJgp' \ X\Jwz23X,Oni`ȸ?%o!ˑMUlC}!wnp=Lu*b][9jnįXG ^D>ð8DG1T[Pߩ/֓xKΫn"xe&3=l6_ʀ7j[JٜL'MH!kD> 5`,FE #gUuXjg!T; |!6D] ₻soW~<3>{W }U~%`0(3Ycf{>X㢏'ܟg%^}bFmt:pqܝ#R2 fm6jY"s&~VD~W^uu] œ=3Wͱ|hTN Nד4YWO=kOٲÎ>W mu3tp98\;ʰk ~Du Mfq+e=˓z]e )8'RCl,n-=2)e`zwТmkח1NY@̒8˄ 9ii<XFV޿&=Q|^^.Ij^J|'ϭ;`!P7Tձ|8nQ0~:g6 .LPN1{^xsP$u~F4.6gd;q]#PT,zzuCܹ4܋8s `hC; ?\Ң kX90O@YKfy=Nj^ߌ2|y>~ W3y}2njm,iJ킕j{\| %0<p$!#h#)b՝r窇@M ?Oʲ{ېv;ab)=I=}JF*V|ݩcO (2j;$+@~V ݁Rj߅0t $6{,/|KO %mw+ "/;m1;V1BqzJ͵3];.  'RIKUC ̊YMX3$jJ& FOŸljeKFA)hIͤBy ۅ:`'L)5,ϠKܻJiR9P<˅7O֐/5(K>p-ZS^j<-H^U=6AqOs.+ǓR6ueǗ*Ŵ>@-fLxZWĻܔ۾<6U`SY+j5G- sure(q8斣`;dd$H07}$ \\5X#oYvç,StE뇸Ӷ~ ķC{ԡ+'n|qnTJ zNEձќI6P߅* i7knrgN(E¹fYuŔ+}QH>~E5QM0#3:w:}#,ɩ}ݶ: Ys+l'Iǿh vW /= >[ʋOZuжIۑ~Ă(tw" j)$ɇO#jȼE9Y .R>Ò̙})lEDXBϟ*:=I~۽>a<a9?|AȢED mD.'Fugb445GՃC;e?iFr739_^XLwʥ8/5Nkb@se g`rX\-e1WF' ӃXcvެ<|TvgV6ʶx^0~VdTi 8Hz9mNj-P<݁D ױ1Q"fV#> ]?hC fo>ZXwR0 @ |1<k͝&RtVp-PO6&UB@S;Ðh[Ox&0$q CDy+sJX؀cͤcH-lvMU`"7h=cm~/[kY[x`2ĢFWZX>gm5[SZoǢyg}eUwa͸jC*(J{Q/9_? w#  "P1HHu0; &4F!j4a ktNtM?;O/,I2Ej$D&{DA'0W B.8yPdb SwQ0S$D@TM--{>Վp ȣ9lo)of Ěl(T; +}h$ħy$T('d~:ѳ!ӥp,0pD%,kTp +RUqͿRA$]'r`z![ cC."!;_Io0t3.jzR`tE YC.J+=OGwx#ɲ-GzI<'v0) ;sUzϚ} y9w RBggއuu9k3Czy %cGhMM8[ lW,%5Qz\E*UEr2pб05L+SkߜntTi.v*tJр"k$/%i)U,@|~jb%K'ҫ:1#ߓe.ckGr>]KBsh>JMUBvl?}]bgmӉPBE#&m(9µ,`?F eQ_{MVJ9 sXCs:GOEA=m$wP,I"zw'c-f8")W]YΜ *XN\/1hP-UA46X5 UA,>ۺ {cݔ>1rve%w"uuȏVQt8zTZ*tN]ń'1 :yo|#"ɵG9;:A*5fl#szM݅j, 3;RhY5 YX[p幁;y]UogYZOq{lƄs- ljXF\OvԾm봍TkZozg;̫rYI2Eţqa!ğbj\fZP1]Eſ͉3<2o7\*A1W5orK&z.B`RN;MVr[^&s ˺ -^tl`BoWC0- Uiw86[,JgO*䪰G'1k>_DMi436m,r xX:7!OVFF|Fahll҅ ˎ{%e PZ(ΔdGk: ~?Vi5\negd7VrkFy}uEYv~0i(䷚qey 8KL ADKo4>3]>c,*oN߄]v`(ӵAh^I!:f0$${ҙOr%r)" Y5Dm6<* ѫ,>MPA04pE^ʮãPQEHrlKf51rZ Oɲ yjm*an_"6m.9+=J '.?@3m+bWEIb6f vkI ҍؤH[oweNymoCN[ ]IEWY?>g%$ކ,!@>sZu "&i䳼q\e[ti o77?@; _m0M"4wx"ohC;$`nnb=~Pʚ4IM7@O PvED>mk4ފ/~6 oQOeϿ_j} L^=U ljH3aɀGZyјTw;$,rLT(s9٪,B༊jFR"+vntR ?SN@ͻi@Mh]@8~*J-CEɡw^lzvW)Cm nC,&Vsږ1^ a?toAQm'׏Қp^ri=۝~ ,Y]{8o_d?GK73b=o HW'}3rk=RX11Q1dN$[ J  #_iڱYg|B]%lqǟ, :PJ$f$JՐa[uwY~TD aҎjlǰ _qү]ix> e[J:9]vS=H[CPrzvؑfp^ne2Ry"v/S[ۆ!@9k<5- WuDx-X`_0D'M3Mӻko X hzZyGC\%քQ@ְ|XQtB=By2Z2?Y} d+3wjZfwώ;?M5Ta9ǢI Ey#"ڒ/ UBS}Ƅf|YLFвkhK>X^FU;͞jcQr.ʵ6pX-2H\]8&Jp@jD4wnށ2ڞ֖3{nh((NR` 3U/큑*Q<)N͛|$PTgNq^>6G5)=HxiN[cAb8tаum6%rixqU5$j_W{$ c'pNC 9i-PBn IJx+#Ե2,mʥVu gp> GJ14Ŀ2mpАIf%^;;kdJ`7 7mOk[@')|A rfBF;Xdvӡ0v#8%TbQ@6X\@ekSg0gxԂsŨ{,J'p׊t&y!:@\dx`u@&%X~!mL-`JYlduNAzҽc @+հC4}16zݪax*TCɔKs-n`#+}Nb4no9XX퇐f^Yy%y}HEi "NMKg~W4S~t-{*fo4I6TD;e[dt،d"-j`r;"ћ" v*e`Nܠ۰a5?a-υzK̤ۃ9`WR&1WJD-E'SM#ۋ(e(5Tz8 ݁c%% E $kr߄M7͕qb*,w iqٕظ Ⱥ4v[~-Z!iv3q"3#uC:6rfh:%'P/뛍$aL}j}h*o5fAH|H[d#skz`a fVs*gzխ]Y>E}09(80X KPhX99V/`uswҍ #f%'pBm^cyے65HeOכEΈQn4c ȦL}bۂzQ3Ʃx%EUjF^s\ vkH\zz*7zy=ED\5^fARIVN%I>梠X&gr\NmVu f5>l]ѫxVv[.[Ԯi vV>! %{nqQk\d<%("$hC+9nG[>@p`[~ZM.yc:UȜD?QwX[ pWxCp'L<5#r[Y[%@@ @]\S޲23geB%qЮꇊY45xab+fI%~FC'Qwd%M atƯhg懬yh"͜gn Ō6Jɳn.;?PC3xo'4 GS J>O 6}IIuM 4rx6%\BυJmɋu砏PJ4\{+C%$P$^Pn#ܰmft ?,;, u ;mܒV;x3ɉEtA?\%|ayY_\,}}6P=x/gU x *,CLP--ڝd*1](\=8/:1K_}=O3}N", #Ƶ)AS/ˀn2<:K(do4D2v+[!R+N:XPmu,`^h8qz:~FԶqXlO UUBnGBv1jp%y>M< 9q!F'$:Tʦ1{洽_tH}QT.O H"'As qB\N+4 x Yi*3%ux~Rq/u[>5^ {R@vSr[ {yvyxW_./եNdʽi8A7)}MBiHBeŢ4o %#N[4!bֹ4p]NIq)TH3NwHe2 b_} &1-[+k^w{̖{Dvޜ7nJ[ v%/|lRҭYra,wչx13J&t W,B*~ 샟iwu6_}\hX6 (˼]AʕJ {ʛ g5P]SjG%x7ZT5 R4[c⃻WL3̝ե$oo%QXY0S脍 %q[6$ 'Vq&8]hŬkaQ34.,5KB)I^A_heLiI|>Fr9-AX8 T򏡤)/lve#Lp*&wrTP Tl[>>/ZAJs׋g"0+`@7!Z㠔_08[EMelԌA$ZSAW-:Ax ஔ~H2x|§9d5?~!G<#!0l>|os`~o(e @L!$>K9oIj&:3}鲯mу>fAM@vib]Κ`|5?,͂Alռ.;=z33$R@3}l;ɌݎN3OgaPDZ6$\{> WF- G]'u5dgDC ve;THkWES/HG0>eةVfTë^%: 1P{Dy~g}o(L ۘfxdΞ>_7i*CtKlŚBlՓ%BxѶ6%a˗Fӡ~Y.;gʿђ20v ԺϵŬq읩ׇBX (VԞ˿𽗌Ep/ sN_6 v>” @zE( (ݲס f缎V?g%%1tn~IqoӁ!؆>XkYⱙ{z m͕D4OA7j]m9(&GD^9mWoq3pii` Ru% b'oR|b)|5#3|Puljx/΢6B#r"Os`y,M;$vPs~ۚgz@cg#o+vd̔v&w[!ɤ7|&P r>>"v<~ 2ɜWw*>xxaJx$t-͠kd͞΂N=L39.·۴E״jQWJ,-, 痢<*|)W9# ?pM8>{:w921j0<EnL$ 5RDCD8]Y9ᴄbz~J~hfnQtsϠ؇AKB2S1$S8(;bEJ<ɣg\ B7;-TꄸOB]ЭAF3#ϚJ3Yuu@p|:y)Bye{Պh!m)8!(N0ٸG\sb &,Av1W&Ϝa-HnMH\H䇯K*u5qz<.w'JS ӵq9`:B-H`V8|HgRͮ&NzZ xn>9}zn-zrkf&K^G m>,+] ƞ7n$wh#&;BVur{~o b$}9d|"jg}Ϥ?r&&~ˮJ( (|XR!Jt_L_'G925/体 *15n>9PPy7fuF;Fj@j~wx}!X/=R|d5X`r/ttdgU`ٞzl0a`s$"Epq`Iz>y|3dp<m.[C9D]0^#b;R酬wuR"o4yA ҚPc[%SIi-] 75b/Ҥ RZ 9 +ctE$?G QmTw/ORkVJ|5Nk*8ُ'It,tDd,:Ňz]9w{As.+!u~My\E bUc]8#Yi.I5\;®Kc'^|ѶME4RWY6;=蝹 S:)\UGє*`uB` *gƠz }F0 M~U&CϮeY2'VC(?:nc10,i2iN u:&n/AA&]Dw$P\TeY7f1 @Hʘ~\H7V?i`\;A:~p FWkj I᧛y@z^?'8$s;c\ &`|d⍩O*Gq # & WD2Z Y oǙd YO蜓z-Y|/0uyհ~}j/Ba ^;4;ܖܠ6Cos/Ik#O1F}܉ νR37+N@ w621 so[91i޲>·k7F7M?K=P=rQ1jt!㔼 ]tfIDxn Fy֊x|4|?""{Y8 N^l­% P^+gH[ܙ pHoj#1]3No WD0JSn̝:&SW 4y^>UG5# +H@+TCnf^}g'F 2a=4[vU`rQl60D9]w^pTC\ D|JpS%..C HΞG7$6̓YF.[!1nsߟ%Z㶆 .1@CUel!-"Ȳ`0V@Q'mź`e}eKвpv3qTOZNm_/]K`[L8'>4#'FK[^gP%<+ϳtơ-MY+d j:b4_=WƁVP`:w cv"4 tD.Z/@ҁ(OUu AfYl1\VVNKY=QvG-i` qAmlG#fdEK&_G{C?p1$z#3P}s6' Xg|òjyLNeAeo WQk~TexXt)r#P`yàhΧOO=2PÔSTN&#tBUBɐ{'4Ֆ!뵣hgU/&DLa?Dsa[IVzv$:tKD?nd#q'AfU*y|/) #Ij)ӶqgSrdαTItuY%9dD,ڠyG}ƉGBVB*|%Z[iH=|aZeLsPSŽk#js #n;됷k Rb'))!_yIJc TSY)La=x5mUIND{ˆmLk+E VXVjE(5<6N־ъfO8($jY~}jʅNWr!U-Cy1]4oe}I71ND@p@pB`Na;dy=DEp.6[mK87^QUG`=υ3!ʔ&5.yA;j$Wm|#-4VYT)=WHY&(q|H'l=V~J^zRPޫ6Hcd90`Feֵ#/wr AH:-TD,C1X IU/6XZž':ccZ:nv! 7F2fv ҝ lf֑0۩'+BtӑYX]ZEooz|ڑ_a x??뭣a>@ TIԥDtҵ^|9 x>h݈­x &ջ? 'm,z]_}R0@oa 3՛JqC}H |Fԍ׸xƢf܍? ʟLo#ylI0Ơz`ˠY|uۓ=#A&0Xi2?*>76bK ׫Br^7g)dKٰM=;I+)scmYGd)$έTWyș[c2noCܹsHtԥ4`ەz1@$r [1?G2<&2s]gA /Gl͐^NpSKp:Ch'; }\-sm3ȁFtXVMOi`V1[ I['kD^Ң#> ^OU܍M{bu_1!v' N|d$f¥T J[ QR9-45\\5-Fftz*; G(RF"<< :Oϖ(Sw"/G#KmyqJk;-FQexgZͤ'HA˜#)'u^Xocę͆}*9h4 ] aI 4nks%(z|mmU컦&٤PI]D?#<?FY⍠AwGI#t/ʒ@Fx8QEy*Bm$%܍a1P{#dOF<0prȥO64m0tB?^؄myl\^8mffK& BS~)<細7 /=Do?,j|[}py,̍Zˎ9-˫ I?{G"#Pzvx| O T0HmD0)uDfT;b߻[uvy<+T+/UuQ ,rWnAZRBMD>Wt.ztY&I/~VF[u.B}wʾ Gh35jR=.ѵ6Fͷc ,čhu vG<ܲ}FGsj.]vl\=je?E zw 4Z*{ P&‡;8pAstdË;V.q${2B`NJ40 Ip$aBW^): MwD{pb e7ڰ}euqA^U͵}}S̴w' [9 g{P. ߬l(ͦ'),6L]uH o/n5m>P ۞:+EIme!LLCWS ʲ`OLc.ZhO[$`6hO1>u T/%eܪ Z [ЭE%|a "j w cBƘ'I6rQxg'@ 7־xfF,UgvbڷG%5\="l-ڢ#O UbtDƂScr%D!88,RH=5'̽U-BH*Hq] k^HbioǴghuFB5Qv暌hݱ/~V%v8KPэoYweW/©I m 𳨛a$ /*TRڛ> >][kwrA{i۴,^@OI'~$(I@{'*a7gWT򝥕#je 햱Z!o{d=cW'ܣ82^# %ĩdS!Qec s:a \ǡ#U~ ,Znt?1s99@phu2Ӟ7[b%bP?`a"\-.(65庙0 zHewnNYN fU{rL 8i ˗4?jUqΔb].JT 1,}u'na>`:oj;S]Q-Du'S{#nI9IXΌ ՠ_^>?F2Zs@Zs0@`^0'B!MN\ALB$$DmOҴk PȾm!Ld{ Ab A0'9h:%PD5JsO!k>;`x`}\1|ɣ}4-{*^M~VYBJ - '0-ь9|XkH#JW텁24noggXQUeEL! 52Hsf;\uӘX7owbځs8{M4pZnc͌cxݹHR ODi4^SA R7Llƙn]U5[~V9N]% M.:F d&!3BZIh'тUV˽XTJ;Ic*d(b*K8ST/~W#Jvrz>(?ɔ- %tׇ~_R0] 6]=#5QV!hD7PSǠ-bx`}eOCYl@j_uWD65$}! wV  /u !_Ŀ]ޡ "TI_X0_eSdiEǽVQ{=Mp^8!^O"8|MU:!((ly*:7--qK{ }[]cd:|w fE::Pm_?آ=ek?q-Re}-h.Lvݼҩs X30ߔ JCLPFFϗrodJ}whe5uq|`IG (_YEMz/ԩ==Vc)*wg`)ɌXnegJKjLδ1y3=t \xČ15kթP >zTr3508< bb-l4?-j$R/hWiA}tc;$}IRQ`F - TȵjxWԫbƓ(0O) YϻR{az7,y;HBΝ䷟q {^VJQyX-4 WGnULT ?59%g1hQg䳘k--q_T PCat DZgEf/YސEEe{CyLOfʒykm秥&/rg, A0W;f3s4yhj0WvH< mj؎1%;lVC^fFYwf3qx?9uU(6U& Qop'ײ Eސ.EtgiNf;[E]L.wk-!QO mPM;u(񄜣?NW6xzN-tͤ%otMX&B"o!hñ_f٨kE#!ۅ&M[yEHg2AK[x5.2_ŭA8#I;)N{VtN;=/Z} ź{Ƹƃ!e6#1C(f#ۃ03i,{oeRz+Q+mqFcx^ӓ 4*Lwۋm!kQj5Gؼ0]pҎ1g㹘S +2 QW.*m Iq0o"-e{@ꓯ3Ӳ9F|W dA?WEŢQme?1vIyvpoe`;5Ok S7YJk2{-Ww.Q[-dii@dUi T !63 es$ji>bؐ dޥ/YXRM |4:f0hI5*f5Qڳ!?쓫 PSzՏS戴mWh`C\Ko0zfqR81j2Ʒ9(Pb/h?Hcz:A>|P҉Um#¾e8KRQp{EE7"* U\䛎F ~KҀ/_ϲg%g '^wA*NSe|yK)etɥH ~Xa±$ 'ٰ);KIhyD݋3xe=q&]K#xf(vSӮՉ*t\[ň$nlRk_iu4X){/!B쇏TtS>XMJ`nJUi 4Z򋡝l%h!ת˰pzc%C07xu_KԐfE*N)vᣗp\jJ@rDV)V195LdeyKa%Uiy\3Qnk@G?tHLʅM\(P}=HOfpTtοT3-ڣNA2X5gCcw= |} wy@Wn1= y?Ow]>ý"ws L5mrrh]>\ܕ4*'D!Ov屿hJP"2:lP@ >)<U.B Lѹjv[ @RDŽy,U@wΓ؈X =o; P%42guS±M/ :IaVl3!f 9bD9^eX:wZ+0ƺ8Ea!دSpɎs*,*NEʈ/PeǨuBy^]okײtS_k ʺOt|%) ~Wbx*j&A:۶V] E_e)2=AWÅB+dهCX?Qo+F+ = :xF'5τ3AFw]r^32.pZJȿj!wΗ(d% x/GA}K"!grnHƷdVsVt-|k5*K*wN8QV w]79-R y@Z0YP)=A7H] 72.q5 ͭ=C6ǘC U#hbMɗS*f:vqmLw)n. q<?H/q{ èhe BoC8z̍$T%ʿIڭk [ zڗ-= OQ a0cSp^)za<xͷ݄/ Q9lPr$,2N@V: g0MVM_&*`6,r `܊TwjcO)V)/k?G;A#F? 8,ROۊyX)rRpa:(Ɋ g_1mtbJuQJ7ȤEwm!ȷ'2+%r"oCv߃}eQ05f@Ϫ'9~=ɆɑD (b#o34P8\8 W挰-W$:6iecB~(_I~+{E[jL+ro]Z/:'%Cw^Džpu[[q,1es{KKwl`?݇2.{%R\`D PK^@n(# v-=':/\#-_@dZ0df2W$`򔡻7 Q>m{Oy%CCW/ ^(lЫM/4=NhAF~iy Pc LmA"V D@utV?}3@*ߵ5g! TKodF\ˊLV*oNY?ř3DyWW9v7WYT}(XK^c)/-e:K7:g㞆LX6\EZysIxoإ߾!(w8i]3f)OyQ/TnTSs_qZH9 [)K">yT^jl-vW`gudʜzFņNeDRj"8 +3FmHՄdZ @V va0xCvk-ktd6/3'uOżi^982]nè8}%X(sUD/LeJNi8r‘^ޒ.лOD*йAuMxCao49-PqOJO%PO˜xvڐ!nigZGNXG߻S-*].-Xpw" o/Wy(sӯ EMI߼:+c{- 5< p) p&Y\.1$Q$S>{ѻ>rYl|

%#=4 k;dHwmV)\":z #?lj4Kɛ 3}:va*&p~,P}+\vv~?#nUewzIF#ze{3?^9wm/x hz^'5!Q'o ɏuɪvĝ,tޕ NA5@E-܄hdvfRz=P*@zAD4@dm.HFGpurODk%?3J^V<ۢN헔>P7aZHR0 ;ʉrQTl jͰ檲?G@/dDry8c?+'ߐ_]5eMhW8X] 1RIy2 `xO:!4AY:pܶf [>o,8`ˍQN0sV+ܤ2DoblbYT݊"~Dml(ՋW ~:{ i^ǹ0Q)'VI3lT(1@9%ߊrϗ_ 5ER]6[w0!x[M#r`;ӂO<+/)5 3$p!dub5Ko? T("](J*ۣ+G090\tCIY/q)IzF )-ӓZD0+;)]I(?R<..Dat,7N9{o,5J\t#jxp80Ie_rӶBj`Ul>eC6.f-$xq%dڟ8= v{y@gn48WrL\y=2KF1YB]4YBj E@F`۲ ">)&xQϝyaTAGǵԻSG w[R@/hSwH3OA>'lIl ?Ȃ] d2HCM^Bմ˕^V!~ͩPb&0zCo@\/Żƪ|>>6\ _v^h|DܨE6=s"uz㻔:c;y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn bc>,ުC0,%H61<^p{+mk| :C>BZ.#;:d  bg:숑Q9t&Z.%omՀk;{>I@xփeA/:)* t5WOͱ&z${{9=>gR0MF1BPf_>MT 2 t0\LMéRaܶS|[F:7(n8NUx.,i_gٮ=/hT5!*:j!?fe4iZ:yeARCm7 cC#Aig:N=  /\CEeLa#O F;8i1"58j՚=@3TwRE 'fO V{)b8%l, fҫѝSo暙WW j-8Y io~ΦMw vہKu1kѢ˂ھJLÛgŊI}~h$ߚݥܼM<@0(>e'VSML$^^l81O.Y%9rJ$T  )*˥)hlciZeٳ)ʁ ETwr$ױm+xA8ϳ"Oyð lA##=V3nuk@&Q(lQƫS^&g}گG;$zz gVR~?!R3sB@]+VP2E^0HwxțMIߍc ͩ%t_PK{XQЀ1S/ Ң81?oZ*{UF|yHttFzRy#知>-t?]rTw0][uPؓ&8 gd|iNE 6y.e@43 (k/bځ]ap.R#]|mj'Nۖs43 d2lI0:"1$\_ɢ0WV ]')eEQ7t`1"b_5bM'u14.:L+~@bd#/ P {tq 5()e$oRSS?fR5!'9*"S4 R6_ WMa|.MYLPz&(g d 7y@N:RQCl"wuJ}eOI藀/B. _bnq=V!h("I٦~F[W jT¾RBtח[=[-_/~"*O։ j@.s:HU%ї~Kh981x0) UBe)@63#\D 2 .:ܡv>*bϕ)iꤸӇ6|+qIXq* }cE1n2둼f9Z zP `]v~i{}^Ipro1_S,@O44.jŪ ,·h6uhx'֒#rʩ ?4MgS $l Uϋuľ:D0\-wvOI8rj9 *2wpy>Mhj{VEc*8q}!L<5_K yj{ ŕaƂxgYZb8j&g*vIն&e>quWEXm8c-/%g J3u:jAFĶQ 4u'h?yko_O^aPuވ>H:,r`㷧Yar:7vy8|^Tm#wդopR}s3L3As(xZ>( M-Zt;[ ΂s u Q){'YYI覵WՋJU.9YG8bL*QHYzJf;?heXBaL=a5e$kT vJ$K0}#rxZ) a.Z*Jp^J9xl-FDHLhmO𙚙hHufSggIf1-ʖƒ&>"|KqcHW5XNS$f^'-sjP0ye6z*@P֫_ -!Y= fN^aD|ѶZݘ,:oݴcbUTC YRnҶLiu u|X=̇/W 2-?<}xW[y9 &usGf牦gi7df:!#׍vVmGq[鑻wm%JRC랍HSQp"FkNXG7OEVڿ`;FcZZEE2LC2O \ gBhv&PkimՔ0w}3]u\ ,|Yt9݉"dֿVJ[@+y }#, #3q KxG܁^WK?c Zf0jivR _#֭\uH~hh2{wqa)+ %`z\UROospr16?c-TղäATC8Tbbq Yxܪ^|ui4 G5,m$)Q1 D9b&2?,X83De^2)uiYHފr#L# Ne*(}/ZZn/nؿVtic"wݳ~k-Fcj"Y8n|*iF=ha"S[ؾNZB2eͪ5F4eN{)ek;׉`;pcʞ%%Gb<M\!- Bj==ʧ=}#Uj~APlڴ1ة_"똜 [neqGGh 5 fC-V^?Io=tj+fNxq%hlDr$Т6޸HIҶ  .wLk dma%}rxjaQ>hu'0d >n0E\OPRS o q$1\ x9BMe+Z-ڻG[)Y6 I kKݍj&Z:NI} '6ŨW";Q+]^O2 ~8m0[oHy989_CA*;ߔ 6Y[|IXE$q>G}e {Oa&l 8w+2 tsu<~M"zXuOjan=h&vm{U Z>Z <ƒ̚PoHMEVAZQC+j l"R@~H^oKs 5CahɉW]N]m'H)iv+i_%[EF{=̵4RC:m7A2:>bqh:3|f7i/afv@/gaWЎ}Σ,')㨭zV!oH_ dǷf_A 'xɫZ 5L8fFuɻC-:HC|v(.Ǝy5Z=03poOXTk/g64OWkk̵$7T}!?]V>˒]ӛ ])îPm| .?si0*ݓrUDxegBi @:%۵<2+c8 9.uy+pkudZ9?pF樏.Ŝ`qFuF.Xxv,+f-G擨CL!LqƵn3ȯjB"3 qՙg1Bim÷'O9lAL6ryo_i=QP.(rRC/hݟhaߒa~n-Re#2ج:.hC=oK}<,),et؈7,jg}i|ǵb+o15A vV?\43%V+)<*3?]} \."YFƋ]kzpw`H4G`1Khxk"XÕޞ '?LD̰HR؈:C6;M@T2{h6wQe3hlmFdČuNX.SkT28>w2m( Jănx6xEdKMY'MBsR0 K. JC=ᦘ]ƋK%2NN pHk$ \ #p ߟc:BXBo,$sqo> Ȓwqb,Q8bxSCö|;:t:8$u; ,ss,nxGu{iYЫͪ73@˨qE, pjM7D`XTs ; ۩ k9 9z|\mYq cb {wUPhJd^Ay|cNZ=ػ 5xQdIߝ/ cvB}U*4 Xic% hNڤZ|=-6O\K4p8w+k8Qq((^﷋pE?IY f\_322a ua9vפJq}%0W ۲x V62EcfLeZN )_z<sLV^ylQCᛱ Q^_Q5MSQ (FuAƩ!Эũx{mMKGsGجRwʄ-&R4`R2xjY]m<1JREpx5Γ CIP.g E'QlZu?jf@"(L}%eKt D8(7N,~.*ev?l:^nw1J~p<>On/f'?w[Fz+/#-ȫٯ~GZ?ļՂ|aT>ߢ,:XX)f ^R"^]&ϔO(_*'pԂtdD?N\D:"EmStpB1pg0r\4d{כ|&evJ69/猲K%$O㮵:%sId?p엀ٺa pȭ\Y8ˋ|PD8E*߉JD{i0Vx,C~,\B#:a&V[L^C0H0o{OcfSwƪy؈9ID\ܬ;-lj*OyA~xo>DKdRbN42$ax((.xğP/8E(i`b@56@,SY~`b(l,{n6ҹ3Eۉu8|Z/'n+ $9&}zsa!%ąr,mLW 6?vnpb,ZH;jr8}[n˅tW +Hv5g$bI*h11cXxt.v'([͡kE {{PCuƤBQ.n嬌:z鮶/VlAlE%M|W@⊶.9 [گ:H5a"F ^՛X)mώr;'>(]19  c 5#=Û0꟯E3&l8b(E)#+K$$žN$9@1ݣ'l.!|lZIƪ%3M58nh1׊30㿴(R_΀Lr,#OW:\ڒI)#SqawOTŘ0\!ECh7(]c)Bo 9Z=Q/D[ƈε4D d۸kFb3'Qf. DH*S?Dy{*=z9"Ina_¾g㢿o#Tթ׸ʔ%]C@ȟSml%מ/S tn] c/^BQ,sg~Iei%1Z):ZY@6up10F&(ԫT՗3[Sf z\|f^*OoׂK"gN*(~c\xöT5.WV 4+J_~:O!Gs2Fj7pr*qKPJ J-S^QRꌁjc$Mf7ou}PuKvK Ք.?jQ8'N8z+W 6/!6eSvB"`OTK'!T#kN դYq^ៗnᔙ JQZJ :""S 4=eJIֆ?p@HEÉ*B~-be -Ū}mdu2&x\V]n'\-}aNIv|aP>0$?,tb }ܣ:lS;&XÃ=*aJI@n"IovXsq$2țuYDb}Hp]^nܯdoz,]jo]FCQiۆ /7qE*l #C!S46cO8[SaM`JWqr;16hc]s(X܁EKT2,&0m['.lJ?:N*@%?,*)WCXRv}:9pmN56sI4ͳ9ՠ Eq93Ki$6l Bk`1 G]Ze"0,yfܷ8AIr 1vDZ"E&gHGC1iy2C(y N@[mCx b $蓊:b:US-lxGਪ9VմkI7 ny?hZXGbmC$#sLW޺rr@+GMnOCj'x!w*Rrp_FiVq.ӢM&ߌ3ٲ⟗o^;p;@ޡJ.ato[\r?=24q6I|r"աq0Xc !R+;cdj^%~#f3͞]DvcF]4?׿^X9ل JTM )BYDiNdZo#>bZUk\v]gBt]?t؁Ǚ @j ADRC=/w: #d?}8(IJCn40?iqfwR.:@1*$JE$5lp_%5̓gn9@:AweZ}sBP؆ޣ!F?n0/*UqnqcPn΅&Suxa٪=Z}_L 1$Uh:ỬD}9Ǽ7\CiYom-ocыWm(#@S4YS#' 0fkBb }nՍɆ{5[kr)No6ӇΛ .o--sDLcfr2}[9H)TUMKۀG}+WRۦP  y4\F:#bsDMұHoZ9pxEchf'I|QM$i[n ęP F#w݋|( |( )?ُd  QAQEpCϦAy9c;EЗKMYԢFceC]^\oLUK%}_b@=ȜTm(cQGs;R? VOgMjYG7w!7$D|Qyd.jU2._ѪI\ǭ)/jҎ%nߍ^aq#V9zЩ+6#^~_qPTK`Wr 5߹/%DuDfPjFlf1J`Adw6ؐ2>$ݝ؁]CC!ң|ۤi[-R] ) a9gڒ[;ZCh -޸v/^!׀=5F\Rb95~4<#~?xg!rgGJ_;V[ l-F-ZO!LhK%MO]| ޓ[6W&@xw#JMqI4MU H9t&*1geq ?̭s$P|3AHGCX\[Nlu郠:Ęu$2\JdƮ >G /W֓AGĶ%PTlkm>0S%`Ǡ"ٜ HLVTZ#ӡ?cVAn˭p"B)M&'8q?RqkZxؽis{o,ũӹgҫZ}(+CPI ~kaHƻ˓832yGmYT)Ó(W2c:YirQ,v zs(#-rXkQfhd~{Y|72D W:˸H|s},3"yb7T*؈듀MoDI|zPCo)$f[*\gYZ7zXZִF! 3]ŗXiɟ1$Cܨ }X 6^vWn p^k8hu1bɆ>2UMK!:[nDݥlګwCk^&nՏP!7'Q1m WPĆ( u]Q _77}9V{@) E Oj'O\5ak%6^x3iI+@;%$^ї [iLW֢Γ3wvN6KH%Z3.˷O+Wc(ImQp𮣟`!L2Ig5OX_ItgYZ7zXZִF! c ]ŗXi%6US %S{3dӖ 6N'`[$Bl&5j|pc6fUwڻEF%y%{J4CZ!O4RbueƸgSj&Ij9 e ±N/i5:.\1u?}JWKs<-n@wWmT٩@H͂+dO#'S#xhgM ޶sH ;㣉4H1R`xS" .cWHUPK9 kgvunR={cwj"Yn'4U:ksr:+o2;݊&J?AȮA3΋$C:dhיoR09mQ"tnn׋ÖHj>Sr^xe:zzwf R ;GA_R`Չր؄fԩڈ&,$|\4aJ-4 `&Xn\为:@yT(9H8K7ײ2pA$C:/$^Nm|c(;m=q}L+Q א|C _OF h6ncaXqݨ|M[|73?#(.nIwjrUeZIG0;Cfed2d;2"xg6R(,c!@pϻ&>CXf⥷XE?~wPqꀑHYQ5XUMK.QLVQaa8Աܼ?,{N--VrQ.d<)*Hgd׈8k[,iOz*v8m_Zd 6'g+OFҳX QCed%˪im~1 By:՝nvP9EgYݾ%uY,? aqg.{GB=*2quDGrrkrB \ b.×<6aHZ 2x}5Kk/ăK59W_R9 - xwB tD$nBx> #hf^/ ˍ;:ZK{M=Fa"&L16U@ϔl0Z[ҵM7F-e> BmЌc1Ĥ˼N57(*S,a0RcAL^O70B ,)#0b'=rq ZҒ=2ba+e[TRš>6mhJ^*\j+d\=SFpIi4>)^ r?3JB!xbJ]&:z<+LٱB ,E$r@_h;Ȯatp+Bkqi3Q7uݍ|7X|H*M.gL~GMf+|1zH5H>m?cч B"'L(Iح; ?pT %+Q\ YHu)@;6+3Ա* m=켵g} ;a.1KͨL_vŽaLjϵIaD)#-K]ԃkr:)nD,9>Dẙ{~6\v 2q9b?`aU،7iLmILMBc$;}~ԩyݹYlGKE4sTZ=&aBgWij|VsV0 s|*)ԙ~'a(q̐yP?b͢?$˳@=EDjkοXbW:$vQ9xg jc|SPV+&+98ݡfћb9ۓ>k' 2N34$ <+5Gl xmn G8!VogrÝNkU,dz#[\