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   t1tlt< ] HOL-Metis_Examples:threads=6elapsed=16.974cpu=66.936gc=7.5887zXZִF! ]f/]ŗXiɟ{OȀdKY 1 HOL-Metis_ExamplesX1;/ $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ؐjl0W7O6N3L2D,@%<:921&"        8 d  > ` >U*  j %^FR 'lyli, #3s. >1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/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*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/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 C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/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/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.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.Binary_Treedocument/Binary_Tree.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.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 ))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 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 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|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^|]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%u/)>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[=>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/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>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>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?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ %%k1W% LHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! ^]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>m%؄8Zq &~)]bγ, o.f0pt_1W% 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxueՊNxАx4"4ݻp s;Ymϖ SN C;~ rò2^VneM3\H=W 4 '\zdީM?vƱB{{zPms{CԹ'(VuZsIot H($Jxk2mcX=s5"w*geP{1IثJ[;zѓ6)ޗnkW@X#xYl-h7H hTY6m1UOM F 6m{܍xN9ب'tiT'{b5}n7ҬAjWuGoŝco5t(ȟji zސـ!YjטJc@ >JP!lp_v>J*n tYI}{(EG)~!kWF`>`ى>>}P vZU?qh̭:"B|g" mdMXMGX/=ն:Uŏ e9a<>*Vv4; BϿJihȩ:o2։,H\q"hn(McTT _җEȾ%S@2YVPc f:4L0% C\|`7# |..|}:mzn'wv vTǓdaJ}#;pi ; tE0> dVיprHU>rNl2QE-yww-/Zuo:G;=&eFEABB1lF`?v1NjX K-O6EzPXübaT K" 'iwѷQ}Bp 113ɧZ,,=|7Y5lTR,DX lw:g`50e"Onʽq>s Ը]i, C;<}9lD[8"h#_:MW^WrƋx U,*h/r?NΕE\l0ًc |^c߽hy.=\KZ2nr-$!B%*UT$8yIqSTcPjXUUyYـ&nD|.ثd e/K˂o)˽H>b Oo 0Z_*Cp ]=J>]nWZjLuc܅Eiv+[{?"] 0z,࿞r:+zOi VJRf{ T5iOiiOeVJt#G4J? -O s{rtq xKd1ijsPH*X2{)1,qV]$MaRyG A*\*5؝9D/Ws]缇b$:%jka+\)]V?]3}j4ѶW=mGqN?iQe!𹬓i >wg{!Ꞣ%uk9`4O| M:N !t(:hXxri6J>Wg ɸ?=g]5c:pZ[{O=誆%6R'͑6ṭrEY2Dڟdx#2WE%k&g$r|ד2HuDxqݑK3ПRzv!.Zt{QPm;|9C!%y6L#Y(e- Q1 yOә#:a$6vGhGφqh>|HAF𵸧ؘ=7`QhS^}1ӧbqoI{'RDTj6y1<#W#ӑoZH݋-\$h]E6rWzT!y x|2u`| x,EgVGdk*hI>p9KDb.nR^IW4PDq ?} HhL)>#~K>2gۏ>ju[(ykӉ;O.lkyn_uQ7aG8e3=*}AOh鋗a4 ;Ig^,>oacO{8mNn4ږ1#u*;K,HP_s毠͔,JxI'[o4ƸɯZ*3R|u; v^Tq_ClI{s ^Z+(=iݽ' `gʹSȕTy %_5hMq%48қ,PH^,<Υ_!ZuMofkTKs/V}Jژ)GR.R>a=p6lM) GjWJ\Pvofapcҷ/-Qt0([cXA~#"nFQt~27w`4E'Rr.vvwP})H1ڇ41ߢ1d}u;"bibM'~!ۿHM!%"~9}k=sci^Zp;_"RaL?̆,2k4 J$^ϡ@bܠ3{,si0AAֶcZرõΥ![ (v9LrwcY}I3!#6:${!B"xS%̟M3Z9 fٰ$ERh~9Fys-^X!Rf<%^)'MȰ+7B2, R#:QvYxGvȅ=O>ykE$KT[֋QFW_׬%O"<ԟ1^|G&xa`x_öp.Y;Ȑd~Z̗O$: [Yk >˨UoEe읿w21GwU;#]J'釿 |]Hs`l x]Dk Q+vHOȽy(t'l{+SMm_৞h8lLs@j$Oe@%^0G붴]tgC4G=eau.4ŗ&]4Ӭ^Mwc|ߋfӐG{*n̎f>(%<ޗ؈26Dj%rV$388]XvcdԒK"M[)4H`#M?BonMøoImS"Gh (vgq &Zg=n~9qm>|316Vl7 [ă|0ii}n#N(5ǥ*@)UFxA!|IrphVPi4L}y YcyAƛjJ\$1\,M)NWܐ *Alyqh| )6F}RB5U9M^p l,Z)#+kܧ U A{RM#V~5ңZiieJoF9N؋m'APֿÏfe$,,29Et?#d~tlƒ_S9`=5l]q0 `9ΊyjE@M:FWUi\륕V%e`-t3 H-gYZ@_8[`(N%; Qm:YcU,q62ќ/nL2v+AKk:e'zAiSH (rPK$Ttݣ{F?k%<z|->{'3WrR;O!s$${WBv's!񷄳sQEg Vuc:=j *v1'.pG%Qqƍ<Π1Ѩ 'ĴKd 1k_X0Z,rG 0Vs fy1!p}-ٻU f*:}/GuAyB0O,J{ +ϋEUpw<tT* =@l]^?$KP0ɊPi _ SF1Ywޑk۸AbzJ8_sC̤bIh$U@5.|ۓN x9yj>BjHw wU?@yx:Mgטė-M0eblu7mf Vl+scb ':*g]O_#CftQ{ie Uw|w9J9di,3Hu;L"yQp|ÎQIh\ 6Q2$d~v54%E|gQN ιRwh8\/MGI̒"P I̋_89$6_ qݓsMޞwMK#W)\޵Cn(2WQl t칲 =ۧ+B`kVA+Q EY &"Ch}Ry*NlܒHg˺<"PD1[ H{ o[ڭТ a=, fmؑ[W*dx-FlXW(rlF}آM&c/@{T&LZԚqMCАb`Q Onk܉4HAS[C!Fɝ̴#jP7/3+i:J.KYJMXS#$ Dfju說  ^_K2ҁ` K;. $˘Aw:ehHp͛UB@Q ْ8mo!L߉ǿv5)Y|F\^(릿g"%cp/EfRևPM/L- E۩rwUdzpx$ p!|ݯ9)k+փ_~K@)1Y-u 6>Cը.%m;X, #d1PGd.xG 6HεTJZ69\5U3/;|g#)ԫU_OR[84Jd|Ro>4Z3 5|u݇0cc9vu8;s1T(:rm\_3Cm{([tǡ]cς,fX.[ޛ*%%1ABfKVS.BX8IġD8ׅ<-v8eU\̭cزOuZGH +Y,<hӠyjNl?$&@QT*f A-6;$Otv*,bеY?B;uq.̠Fmu6x]];R-¸D:;#ǀvT"*EqB Vۻ7}\YO9^V#2mp l3rOεqL6U+7'->!h:Ct&\O޴y}Oja!ܼ?ż!Vmӑ1&]I;l-bJM-4UYyn7ngWf9RtsJwMeJy%7L,+ sxkr[7Sc,ҿ?_ˀWQA*w+EKfrvz`rM% #ժ"9h^cJ%m*>PV*#31QO撠?$pR^CÙ_Qrȸl v<>~­LPJ 3b,F!l=%Y\k2$֨#C;%fyОj`&;L4Ss,Tz9NDՙ<$sY+/b2Y!,zb$/ R&[JLhXfvӄG md: Y=(_+ qE=h4fL9b&nS☉[YL0:& 1eUbD6x+eo%]#3a-<;;[FYںW+@hsL۟۝xI J\TecVu ԔI<'T)}W+\tN(*oI5 #O޴1!MW&O28*r#W YjP04OS~ B*GE' JBV=KARpORH bSΗW=z  *y#g4O32vEoLjXҰS&~i-GS"v7G\~vmb>Ƹ"; ЁhaSQj7WdobӐd_Z/i b\A; [ JQDZIvRѳ *SW`&pqg&%줢,h 0!bJGUPk GXB2S)aC= h-v8xY <{}uxkh&#̺52Y491Yl6yyL'`^9ԁ/vIlhb %>Vwe+HEތ1}M}v`+@,nZ6$rLZb0 (;Krې-4޿;,DL 96Fs/lA!'fvdg4BP×g\˃; #+tTuDd_HoC*io}#ÓWM/S ҌoK|dž*|?Όh7" Qhr уzbK< ZSQhP酫I݉KW%7$ :HW{Y5I"j7WuKX\/DY{W8*-1OMy}vPFV73}@?7%n9}IR_ޗ = ",JHN09 G 2AoK~ȳ`+@é^с&'{  ~#MYb8w)}c)5D3NJg%ӵ =>܍XB n@5K)-փQ-nV>aeIpVqPS`\[/MJɨS*0G  vALGV6j2ȑj#ÔQqm&v'cު]x"bS<"u7FjֿMw-Dx|ɥ>Ifg9c 5VRb)Pj ?:P}Y9D=!|{1(D]NO. Z8&uYBp*p]p, TwF#R9XnsBE eb^DϮO\a^m3n(_XtwbC$CzBa~$X&QpX? 57RǕ8)#gk~MO ,H~/Y$.ITBIy1SȓN,P֊&<9`1_60TJBXa^L^HQQU.Eԭ7MqC*b1f=u,]7BJ2U=RƳd4߱L˹KCfQ63tti%} OcKg۱w%`Q*EC&rB'+rBY*;Wѱ9TI 5S%違t/ǵl%!ڣ cٲ<%Ό)֑S ;cOc@|O!5Sށ(#7JIz_ڸ~^"_IJ!d]7}/Afs,`~Y"\iH "#Ļwt8ׯ<)YxYRbݏr{!1}>t04Ѽ0!I >84e=`uڼ3 @N1jbL[Bnj͒I[)a=vO9I0]cl sը{$I!׶:V]N)P}xv>sR&RWJ(qb*V~VϦ1b ^NX{XnwGK1W)$xWi&@>ȃwU U f93ie $`;=Rd3Yn'mQ@ؑT}ƀ7k&{[<@fIr>:(4 ?)GΛ[ӆ} eK=(Z5; Zv'TF̊A u7Vfs&zȵH2^2k&&8#H@O1D)m^֩}D6[M Og((v!Cdn% ˾r |Vv=U(U Mdr̩%EBw`WedxuΥ6ɓS< v<ܺS&(& 9ڟ~qb@0Hy"h"/:f5BehW)_ߝ&,C&kg@O- 3Xi[+ /ZfK y1r"W`d,>U-i-eδYJ'H'v$8jdP$a:t~aY>7<7rPSBvp˙i|sM{  e]$ey˰ssp@Pѓq? VM}&@FQ=ۮ"0  LdS h7L+V>ggYZ ygT~.xJOl?€<pigZS+d%Ml]{ϽB f5D,5W\~N֟hNIutuL@vjgal?726v@ t (Ϥjm %ТWI8]:JWhT0fi?Mb2H|[0DOo%+Z" Gzٿ0T>_&as7fJ"H3q;u+;(6ح4C:ݒqW?,ǻ]OfdJ@$g}km?AF&RϦ[\:Kae1ENTa`Aˡ/7=҂jp׭o8ѝL[8x-`btu{_ae4[E$^y5Z3Sɟ.[Adq&GHi6SQLvtm } !bv!3\;٠`*|@gp+AD$1$7WͧnKZ@.>vb"@* Ηz(1zWU 2TNST)},%ǖU<=v2L|Q!L{Ҹ?&H/LotfXnqԀ@;*–ySu2 F(eڀIJ{CE\_/y62 #\aoqU~|!zc'sկįNbSc !ffM/X_e"0y0}ſ]g+ _5)< Fab<[Y9^Ær,DrZм$OiDlWߥrڝQd?MT;ʎmp,+䇙UMw~NI<ϼˡuI}OdtM4'6~dEkPa[U ;`3#*F(a}R7S:F_ grrŗ=," t/ٓ +}! 8M(<ە[;E: im]Uo8+gY >ƤƲf@BRH6Q$m=u=zq;љa 2UP]J1sA6}A-6aVY-37n?$Tk8W4*e{wkcap0ϰE8xhTM.B ,lwtA!38x4m{I?ozYaEl NHik6_呹v@[4[F1I8z,]x9^`  vh[&y`>%v3.z9dDag#!´=L" 1X[:VZ?-"EYTQ< Qc[vM7==Uj2ֱEϤЖ)=Bo5?+;ë!_\?< YVAœQҾx: a"!4kI(,x|G'Н^&6}\E aIvϡ-8:s7gPbA<<ј#/fk(bcW:@K?/A|WW鞊݊BϝQq"*ΤQHhpl $!; nzq~: ֕2O(ʡ~. kN**<|g\!N(E3凿ZpŎ6b*G\ne}*?ѭG`aᗅd֋ 59TK؇4>\ނY>Kq@C#vKƌq@0+UCCDU;˄uuzWG$Bf$*f J:V(L,';Su>wVpdDc 2z:)Fq*Z5Lpi$sK1U MoqpKKԞ%ld8 i濆bZj!MIگ'o}EH 7HU0^Z5vu4Ȃ]Vxb h#]rg5uג?p f\F@XO4"!xΞ.ȜA!:YF5,>ʆ2{ Ēpƪpqx{CV$ M!A,"j^ r6Vk5ӮN4s1]B̴3i m0=@}o֚[VMl۬xxgiw`w'S#vI}0sWϣ3lէBԍi #ĀL8ɠX:R7$6jɷtz. ɮ֢ ˂' S8Elq[cxhتn븨d8S\% +u5CNq} ?GưނBGOrW>6#L5mͻi/Cz^J.I_o>npgm @vr" 2'gp j3(C uAΎ/Kw3A`_ \ĵ K ld􇃿BQ=&Bv46%Lϙf[qFͅ ItŃ`@<)4| Hu鲯U8\(guY yf]) }C^G}v1W}dmVPxDaf5ҏ>fg$Ҥcx!LDž/_=Ve"efZБ K&,ODRrO+ @ ;xx3^@-,-i zjHB4\w*ΎG /?@?i4/-ُCO rZJ]evNk#DjF Vcb /Ln2׿-ŵI}#dpuPV"L$,;ޅ5.wC G2T:bըV2@۳m뙡H:M%A܇찉*!\9#~ ѣ;.L-rܢdPDoO8 6R%|&g)P݋1hDC 2sȠehPk_CQaV=.Ax) 4x+|AOġ 6EAn7}L}K~Pr43OAs N*atT6~Oo+_$,ߺ5݃"o-<|O](y0zHa t z3}zv&]ΨU'ӐΝS~Xk(aLBE ƾN)oeJǑK~ଘ{v3O 34\䒑+ *IGQRNڨ[83 er͢p}[ŀW򏁍ֳ8$/[Y$}ս^ǪU~$vcq^Wvt,J]ny߫aE7ᰠ'}oR)~A,,J@Zp[֏J[ZUcq+!gvhnZ٣,}Xvhy$v[IGY@_xrVvEF\z'LF:3%ܙ`֣zы exn;3dr\e=W}RA XlLSO)n<@T$ʙG8:#bU;$?C?Z+5A?eqnv)S8 W6{]{m[n.oЉ%fk0Pn1Lvt?xP1|ett)o#>Yp6M,sG(rEI]${'w!,P,[PIFIz"V76S)n046@ $7LiR *:))?SXa11XpCД.*s]\B?dzN]|qeUu0!9ླྀGyw؟VVX-HfBO2F M[VO#jYΛ/ Lz؛uGaKݗ)cO?m Go˕s?$ pNȥB0G.kdX B2}}Pf K7S=R=4<'" J}K:=qV.@`]V$t:I套%R[=$fWs<}jq__( O6KY`/Z1gG3c:!U#-LR%^OZ?żm_ڗ/ P<Kolw~Iz] 6Wňq|O@)TM[B5|/%. yr+κp7h5OW=R(Wgc6QH%rNh}2&d|-~ڣWca#N&ک_Ëjg,ӱ6lfL]8 X}:{1!+e7-5){P*8x'?IWQ_uW`zUCW:C=Waj3Ip);^=pUT`I$Ʈ6PR 3j#ߡMI4QfL냼D#jf0W{d拱 z;p@u-mmҐrS HiC\firF#πy=%mA@͚/R{KNDj\m:L v~͓;*0>ۇ1, l޾ְŜ;f;yxTc%m=6Fz4 9 r,#]@'O]ej :rL(@l{:/39Tn^uqp~S^lgPyT9h=܀d٭@Ջ+1Zݲa#,IE~_Կ-&O(LQ` lM;z5޻ ;`)h0@eUtY͡I_wEz%N.;FG1SE4?q㾉n,,H̅HeY,fx0u:]Il?}G]'~Ѕ i/F^?%=|4|PWȪeoBBT+E\=BאNK-gaMKy+Ӿc;q-uH|?yP&st }c[-K"*RbGR,^;(4F.wu=n񶛯UK~a~ ?<Ѐl.{ D"+ ٤jzFGضB+90|V"H̻<Op&ԓfk-=O@P `4}j$Jy>>o8^ Եa+[&35u^aK{]({IncҳY` x cHXaw6c7+݌pⳳvNmgs J~w[L|XP@hfУpT'fmƝuJ^B~_~~In￲ڗ<ԊiMADg]7TfT_HbOYM KQv&7Y%+(,g328){-z#]u2&<8G`afybjL YSH{xdPC;\8sTj;}mKe T b\}<]B!Cs‰,WȽb $ v7]J ׉ jH6 T! iܢK`Cvvк`:5)LיQX_ =AnS %_ҁe{rW3&ɥ yЪ=d y1S3R8T-r<ŮS)2{r{%b GcK\xKEyjm}^Rh@,6wqيL,(toܵ4h fZA- 2(vk%a?TY5waYBYזļO+E/O7<@(xiw>:A@/3A>tݘZo2H̡$}jYFz$ʾFXt<8eBL!⪟/LrJa9N< !)lNm$=Ӹ*J"=g[/=zLo!DAo\ޢ$鲎!y]dɤ|cTC-=qFZ4}} | _Q0TarS!6\т)jY஛ k~&;"Ngpk!Ke.JV[=vF|KKCO22QmL sW\H$T6Q }y%:9j)syӯECfIP1L6" !;n/B(S*Y=DGLdF>EW n`F6"E#.iGѼpʣK)}$Y"׏dU0RŝA8 n׽Gj6 _8 VE^)(矔 $ȡD*7fF¶>oiLZ3TH jdE˸r?boYD_y9򻖞y*Yg]=R &~"J_84Ztf0*j=A?5b΍9kw%K%i([w¤1 (O+*ʊy?,cE;Rsߌ @$ن|Ѕ9Eߛ&֔YY$ 0 w (ӌ2.GO\*|Uј434t]6[aoX퐉d)}]៪z XF_lii`:>M;rT^a; f3R"| $0e5ض0 s ne~82 8JC>NV i}Ȅ#|2_=1?/`a mY~nOCdO^1~Do)fUD+ijfoWOHƅefTz#7d7תd>\V7VEd~>$ȅ“^# ʘ}H#$+qZ5Szy 0qa$#VrDĽsG}u?.54 MصZW9UCtZ&4 *ĵm8D%(Od1 KLZR w b١AskbwHr c1UoR(5Y$rhȯgo%~7V,sTT⽻ʾC_k4^褈W+j \Uq3/t>Ǜb!ZDcq钡\fb0c޽7?1 %%F< `%kqgR<^vd+ZZXZ`nj{&ոzd(ط ͷ:xT<5Fk(6G/龤ZhجI)Wn݊zƒJDIz:_MŸqhKx.Tܙ뛁CJ|R1iF`Kz];UKsx8©۔)(a--f Nw]D֕/)r/S={IK.1 y6n詏 =MwOq20@MlEQf/ dEӅ~8q@)5x9GMX6m1 IH1c##OL^fZFVwcD.4i䲍Z@yÐLl8gYZ  = =0 1W% THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6$]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4?MU)Zq$Cn(>c3\4]bIS`su(Wy#_|'&Zs3,,kXց FZG[;8aܓ_ϙGFgadԤ/lHqGÖܘSHWa9>r<%RЇ]yꮓ3}(1|-MhsA/y~iZTF(.$V3Ud (  Qt p|lՓН< BT-H3\۴5FNx-gN̽%4񭃎 I! b8dΏ,Xpۗd!=qZ|/Z~;$bq7W )eL;XnhÕn 6l]TC\iV2QE]rrE/'ZZR'#^0!~<@~qloS>XJR`0a_ *avA3@:*WłHe`|`DyU\pj,ec VΝe E0$J@{ 71>@5@E-qUZĊ.(Wꮼ71zďgu J(4i W@1fPPY+,~mMLگM/(7l1f2zA7Et 8$PdJg9 n'|1LdP&5ەUC ui$"T:"И&` bFRy|Xk%䭳!?ΉYC$"RUH 1LtV} 1˓4*=-t;+@LDLHnNv3%l+ 6=ap>jv[NWO0|4?WF?rz) EionNviGamJ!b/qFCE5Np@P?.vk/2{OrG ?$-^oEҎ-p+o%V 2QS8, |/QMP (RYqj&߹DDVR<ă̰oul2hBve* T-k,%!3ȡ,#?h!0i>8Z噵w ZD: Eڜk[#T2xjMԙwϞvtwU31%(:Xc(" ٳ8j2Mg{v]ǬIMk,1Nޝ8?`CxqIΌ?U3A {4Mf22 S q'Sw22AK&ew pڄHC W-;L, %k#Dad/#8OZ[Kwyym ~`+nQ;UrS;oc,yƂQYWyϷrd_!Q+ 2En+ NS3l$[%ka!P(JUE57 ΍c' x~w1~ !{i1nQ! Q{}S;:=0XG6Be)+jX#r1t#H.+|Y bHAd!0:cL8 Llĥ^MScǐ<r'F+2V?;Uc tP.w(N}GI5a0Huk i侟oτԚo o]K۞daʆqfDҩ^Wo7ӬyfJJfq.XGw-I.lz)[ ʜćO&sa$xBYE %3?c73q󂭺W/W KR9;tv;j8 $|åԹA[EҶ4>[]$\i(nKcY'M|賴-C0Q3tnm*d 8.TKdz VXN  ғN= Y5O_dN?ƓOFҕBjU~53/HyZ1,׻bCt 2yqx|OmyeTޏt޳[UT)76pǏы{t:55 nT/HQ((4醳Pmc'k-Ӥ'J i+f$H~GJj[z[7!rT]I|]yV\kbj ,XOnm2A O,nd:W94-613 Bl|4"hc2/Nd" "| 1Lp![-+Pm?%n.UJ o/3+=33`5g}j EaX8Qatj+E2.ayy{pr2Rf9ѐr^R,dj:5ǎ‰mRGstBgxY||F}z D_ QCp?;L(U# Mt Pmqu=ӊyՓ^DkaeA""ݴ0tѵH$Nc̵B). qqr=xk8qZG\Mݱvb:ZCEQ|k_By_ ÐE=?-)ɥWSs'E7eÏ5$y3V-<0*+Tlw&,&e/Ě'y zhydi (2C0|B 3e ` 5EP*/?E1GUdɪ0Chcd &*pbBwFXΕx|R |Q O(łc1)mI3i2)C_R~jjsC_oW\!~KHU*.qcāIzyqwe7ƴ~gg@"_(lX5 !wIJR1$ :pD-XuBB<|mr6_8۞($yQNAxsi.4 >Y*P/%٤^>"L 72мl\YAv: 4x A%%`Mu`KJ)`܆,)ًG@NcPKi_ 3Sj%\jm>]v JQCݦ A!B-2N|l+ܪ?ъ5Ȧ/2MSR܍T":~UDZSo kUlab۫':D"9fnivWRd*ӱAR`F.-5*FFsq.b%aCd6y;7%6"HB:Z&d.~^-j+B(*)I2+K^kjqx||"l|vfƦCyDqeC}Px+9ߗ+!ڍ8V1-{ k>1jhJ·=Mp=ʤ'%S mE;-0[xT| $Uw]S60'ʗ*@X1i<&N_|Q: Nk ߷!|tϻ(pyr.WArX(sJ;e~l0%`=UBSDAh a"Tw;,%[\v;lKFnv6 'І* n1jx&|d|zA, |.ǯ+vS|K#c% cP~ARMŘ-۳NkPêYXg\ќ -n6*:֜1I w9CZr{IHHmD6OlVY7sD6n>s}[ANI䈻r5є"rK:I_YNcbvPѾZaC/ONS[Fnlv z;vTN0yV ʕ('ϲtSyHʬ"ݫ1( ^q1-3DF.wP%N} xkX7z&=׾1+i$o ghNTIa -PfYk& О0K LBwu v %d&@zɡ1XN>ϲ+|?uXB!ۈϟ#o`vɏM*q,zY g~b٨pc//Kмp\'G'=&P\orc/{콑[O0VhzZ$rnڠFƱ | !^NeĴUj@M0CtI: zR(`v`BA?>^d&|<|@7~Pc&=yYBh#ъXH:>-öHX_ e=ix2zXYSȖeϫE Կ%]vx^BIfLg88HONE8A V{ЉȆGqexqVUɸ}㴫һ<ھ|{vE?#pM ohwLl %;Yơ-g -1ƼY\j#Jpdq$.Od)yam^9W.);GCخJwX +HRdg1͐y*adDkD~oзp񚍍"Ka0; n59.oq Y..#T*&NqEu&wtzU]kK&O7v*0M%~(OqW_RmD®GM5ơ\KY032FXF!Р2;3p`$}bߝpP@Uɐ:~:>TlqQ,Tar#.ПUH0VmPR^τPT Gɟ:#?ڨs6s2PIxOE1\AzQ ,<תUiJ1cbj+h٣ UPג?Y.Ȟ}Dd0\P{k3!YЬeg2LpQre:v8~?Pݱl7Hf7BtV/"2<gP@-W.lٜ4+5}mm^zIMvSSz2e _^gb'ԹE5 )g O)~>!.Pq7ŵr`۪4-&T͙ٞ\dLнXxgZb Yhs)mb61!!rB;LRzU 7AK62+;2[]%6;'sNwo~EūedxZݭ%>-[N}`v;E\g&rgp[Jlnϖv"@7p(lg䟑uwgӏ ,a4lN/&UW7 IwV+HRs,!znogzc' cjz-&L݅Sm<L*m=Rg{$tT|<,j0u ~ĭ'6TނI!"S={e݌-Y_=\\;L0}S:cOP: T&]eI鱙TeDCYX Ϳږ$ʟ z-ʃwk=)&"↗iѱnӕbԐ­_,ylj0Vob%M)|#%SK[:>_v:Z'36Aa4'`iZ {@M#3ʈā\=i=|ڍX(M]li=YlC֤']+k[ged=Eg/Dxl+I|6&ӭk:BgGpAޡoY+=N·(vbfPԅ^Qu%j,7w}BaD#Xf4!Qgf=}%zUR0zqWj''pxҠPj#p;i$\IRH1ޭkcjpA^X(fDVvRsNO5uBCC:Bʱ~$S& s*}?:2[VLe6%ė:Y w11 Ek"^* W@ASE+ajuOKy4m9!'vT1ܤXȸ "4v\fo"RЇ 'м @8 EjP5!*wM-U*,0NmNJ @B)֬IAeҷ8E6&XPk-r=u\ aͭc3wHNHPS6n/^րnT[2I.Ƨb$Q+,嗌xtO35G -Usva* Dxaθ[,p/~L{x\%:="(ʡ*P., Y%n^zQoՂ]fRѤkr "+г#AS.<\8'Rh Te+Ysg,T9sMH 4Jt #1֥ަ͗ AN]rhSs2dN&Q>ah7̭"f)g(g1@V"mAMB_U;tDxK;.b`GV- I&RMW]Nne9B ZFZm଒N5D{^4`P\II.tfb[rҀXER5;7Jۥ9WOW^bL#9FFNh]dWl_ OUKg I9zӺ]o>pJ܋%Yp|, #ce3\A 7uշ;S4t5~&c6FvIj ;qYQJrٜ!`W"H||q^]DHT9b Z 1w]G?.s3jvfя,vS:wBԱ~a"ܳ˅D)zZPz!!z\*R.*RI3ΰ9(vWvǢF `%:Mw$C Cjʻ<-Zf)fuɉr#}:|$ؤq&逧b-B*V *N *lbPJXEk(7 iP핣.'\sȯD n5&ﷃiXx0Tn@T0SoJ,N0? 2yd"vycX5g j~YQyl; q#;uwZ#E+_K4<*I Za"d˝8ԬNRgAI@g^0G8)%8 +Yx1).\-R(Nw@$x2FyvOқ$ƟTY2l'H&FHL1C3K@Z#A(džE2bx*5+ FRj7 g|~D#0rvccmGǍ:xvpo½9Jmo1ajZC{יN[{ޱ< # JH9\toK蠋RCCNre6mX-S*Ŭ~oXͬJi pFCnqeXozT{*?eT?@8`sWOaAo;&8E7:n!5_`J۟8l W̓V~\Hex;Zq!pxμ32:VvuC~7 S,Q- 5Wp0,0T+lݭIG񵆍E/E}WB$@T&(CL{owqO^g?Oxf؜dU6vD|K{|gkZ DO.UyW۲ڶ7>n1&vۋJgZCzJ!yЧG-"Kۻ?؅2 H-1Εlr '\Ç~ KKg2̚/U9irV\rsA๹%BL|'zqMu5S~tbM s%B1rQ]cƩJ\Fr߈y pWtWIW&~+*3˥eA_~~>IdQ= 3wJ>g 宁눛.kSdWza1<[^Ԯ wc)gUFcRh 4A0 xVkҬST%GÃs"V4tQl0פY04~:A7(R&U3H{% ̈́Yo^~D&~Di(x "9RHoS-C]|Kúx'.Ȯmr=(||vm6w]$3 f_gZn3@=% Q}JKaރmo \L۷>6đܧO.dsed*ܑ{ťt"sS^4gϯ5WY7CngRc*>, uO~ȰXꐒcr65,.dF̟{P*|E\B'aJMYn9 M87SS2KTfA2Dpx\7W> R}"-vi.3Ưw2-zfrժ彐#t$sz'ˌPx֒:W+19b <*_8[\,th1"tyr9v/1[ ioxKi@nP"O>G_ GM*DU-jχE퇒u)^6i)uoD`R~?vEyYH a 8sI>Bώy*\0fѹ ;0$`0^2iՌCm{3laJ>.9<9T <0KgSzQ ߔ@#bֵUbH*,5&[WOIWD[hHe%ReLZkП@S )aX?x(v yBmi<PnJ#d3GDMꈬ"mҤ>zip%αg?zGI*ʏhfyI4&}oOi)H݀dOd. =꿃ګK+ұณ9qmzJ=*TBHT>SaȔKkuZ_#vc\R8Z-C]`r_S'R^ZL8Np8y%bOI-*P`{AqI%Z5_(fV+l7nēboo*D{ofEI9>xRp*mc) sm7w @:^HrG)=g߱Tq)g3u3#ӄ<>at>?$Х{yp{*խy&֎+)z&C;HU"XjLqB;]%_5D1L>jP4[^E>'FuRy ZQhU>6 sk/ 'I`vjS#ЋRVA_ax OBT&4ՠZ?rKu\MӁR A`#ԣ:lk͊t1vCY7EN,DI'E2-Sk,+\E0wM_s٫Y+!\7DEdĢÞZyܯ'4biBr{͞iLa6"yQJG` A.[  $pPZoQqrnV @+x'ZLHڰsҗ-D{0 jV9o|Z!7yPeXf5AoJB.P(zDK x\-=ibc;Tse,u왋Rw K1";jL^b+?c QPcwBY!Ջƴ8&KaZSr7A V>$"s}jX2 TeYԣ<ɛ6ebm. r2EgYZ ==0 1W% THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 9"]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_qgAwd&qtjt$>Y|su%&,濙؏K. ?@!;^,8 PqO\Xs0.Cآ4ܔeiv(ev5 r'F0!^S[nB,R=~x"`َjJH}Hk%6i1K C"-Ow̠+5`Z 9<*BS٦nZT!KEĶ*AanQdjqdMk( L%ӅWiP(}z˓bÎib.@R"udR)zdLKBf 7 ͽA1#ž 0C/P z1z<6f %XDk4s,Zm*9,>O!Vь~!;[PڒTh~1c}TlA8vL.,擾x,P9'pGc!f^V8u|azөf(e{q(Ub2);eELcV'*DN} 4"55 ~5VַVw$=X&%G.4c[H2e5dcViZ`P OȐm'T?#"QrdăJ7L1P-@Fud/UB`UHfa>8imIrU)w}vZfrfh|+Jj%y_IyGTp]6dOi+ЗH7?BCULjJ}: ÏȒRK%A+QtSUG~,F\:6GY7W$xjEzӁt A')} ,˳X1-S>s8׾%8-&eQj:]uFCљ1k*?4St A̙fIb C^n u 4mX[B@C^kBfF4R,hED8BBLb30o9OT%g,aQ=,ɍA*gXȓ'-aBWɠYCXbK)G#)RRT_sƞw ^DWILm5ţXS+S5p" j5ug!Ydsir6 {FL}tMAX]MuOe:|6Y3'i1w&D##w?S9\Dw?*@Iixwn\W5}ZŻ?sFX6'8{gDC ,),^ c,rTα=6oIBUy|Wp9v*.}o5sđ%LY[jM<^ S,CWM p5Y/#(̓x7w4&AjY)$QKԧIg.+vs#&@&L C=,jVJlNW(U$qCP2Q'gvNK&,y儫%3@Ep1%6JCmnS3(WS>Cy`ӄTM󝠡^ (C[3Tl2I/O;"ۀhOdi5iF1=M v3^5g~ έܶ!KrA==~Dw Yof0,m@3dOdN,\雌+p6 |pei:NNY`\G:YZr]Z0ZLaE]1Nebl#{DԒt\"!XhrtBii/qH] |xŕ4O$n Eߞa@N?iޑۈ/nI3ewg=@5~pkOU]cGK0BwrC \p \2hW͓tx9yI*{$[=Y,(h;.M[^ebb ⺙Y.)x shR5T o3X`5sGy2cz_?p>|r{a^kNFxpyO W1RS9[cC:QEjX|E4U 2ے9{]L _3AԚ-.uoҢ]1ci m o|"v^ߍZ tS2̺Arb$Kje.*ΘOI1ik߿o|TԠǪDOً9A0/",r8p|I9RjAE!9 3~;2BպcZ$9Ȝ`etl%5rBh*F净dL'KL@[F]NZUVsTFo.EGKB~㭴uJX4vw=B|fLcڕ?*zgbXcd_kNYΉ umUѸ̄S?wTjβ!rceO3"=gq~k؄Ϡ%3츉iQ+VHQ_ ݻe^"+FL8׾='ڒIe ?:iP\c7 I$3D\4ϩR~7ѯqYF{A_ƺ,{e'/EO!@WQ76R֮( 7É{}% $oJ}i=RSzphiq{p#P Rg ?D䨜SgŨ܌-O昷S5B0*8ܞL!LwmTvG3{+v

zKwωĮb |#ȅw04 S'υ` EV,8 ,3_ Sfv*P΄Ns$WG%`FJ1cOLpA_)Ԩ5j[-@O<Z^̷;|(V R%77b&эdm9^eǯBM-7ƣfz%\TQ 3d!%qк'LjįDn^V#p!S\`7Ě+P$v";8WѺh-OFWA'j.agʿ-݅aL$iaDZ.8'`_3o3ΛyDv9lTBӑQB;B{0MGr]!W'? ͲTYl\MqVN^f62b`Qޟ 3gbMV0)+ԅRS~akdA%4`n(lpz#;{"2Fw{E\h5n"v+g%CL*+?EȎ/Iܖ:毩T#ȊIھAۍ+fJ{wWaveAwzE hpt8cߊӯzTsGG PЦs5!YjV:'ւ+ѪهJΜ:@V׈x y#[BI0ƓpI"2DQ3+5}3f2А -ºp^>^C$\DRK;g,z,A9` `Z¯X>LvcRs4?0$JYm7Cq(h]"g@&DGNHf+ŃʂwN*ѧER t"&_A!\% a;T˚"՜cShp5%^UX͘ (K} 1 ANg#@sv!S9ђ vI!-[<̵{ cEGwI/_f7S"}^5 uv@2lA e^{e*C1"2: 8oc}MRP"SQρopjq/L_.tbV~f Qa"1 m06{J|'D^~v%DG.Y-0Z4)M^Ҳ}]!j^bC0+VI1S7abvgE5_?L/7،PVNh_d|2[-N_VtM)Jj Lm:N}Ul4=yU{&\垣qJƄQ|$à1G\A]mU8> Ȯ rÉْޝVL1?~nrk^{'c XYM VYox>9+{b&fW1#UnW;] -ows+on/]$yhB{ ydAU#S.PxR^ucT*=Qmrw^IJ RAcF$:o[c$ q^X&A!㣫6Ybs[:}:1*$lit/~۪bHz|ۂ* &PZ$:-ę] )3a90\Z^'풷Q;YC6;)\Wpv[db4rsن~'\#U݋-5NXQfBCqr9"2^.p!eO;lЏĝ `W Rͫa՝f? [,ɡH߽hlmK mGFzOF&E㣀HI63͚P ;+.odIe=E OiwlVc"gk4룞s;qRU *Qڋrj\! -Z8y§?b Ÿ|x*pm~RB"2iƗ$I'Ҝkg計aX7st;=Hř́1ÿ7yr0<,C&X`3(Ξu3<2ٴܱiєɊ.;Q$K j,HIjkБRooMs _1Άi.x8Q=k& Ry+2oDglM.Ä<|![ˀu)xuQ4&zJ`S]5=׷;4n`1crVSWJ%)>j:~xJ߄A;iuAƑOLGd鱴 *3S/ynao Hz:(UyDݥWȀ$`c΀1{Kȷ>H(QUqTG1B5.7͂Ȗ_ ir|WIVhlTKo tܛ'~\8w#W"VF֣kxsޡ%΄UFx$\QgofdZPȇ8vmW?8O{ZֱA c~R5O @ܽESPG!ΎwcGkp/IM7 *){~`f1 ^j|+^pA3JFQN(t89@ЪKO]hÜgxExϋѧ?btLэކ+HQ!{zφ ML9iQsJ,'?.'Ԧ&iKXYG#V!%1w|8 ⑱Gu|m%P')). o\L!֯ЋFx wK9߽fhav֛tf]kmy]r >H rKvfϚ2`@f'nrNO>CZޓcr!.E`:o7o|̍sӪũ\c[{m]#L?@՘TIY3 mT4FǢhZGrF.Ùm5Z+oQFl;&$xzj~8ҽ^ u IϴšZplEi)}7,Kd9d=t*p=NcƶfG0 WzL,f'\S9+~ax#fZ=nns&pOB,K*U@%tZ6{HӍ{C7@T_BS.vO.&D{?YaȦiY4I8ܫe-`B4<\]7DUyr#H`峳st.Q}:%^,MD;^txMcNmf4Rxn>{!I {8ɘj[W5E12'=z1r_\O+{s<[1d`*5%({GMC2Ӆ1u͋E".G'u_BA-PK Cxܮ .\$ BLюTGxQ.'йa IOAgz\*_yyE0T>TS(SM o%ѻ5C(J,֝1 vjMKь`GPnu=58t أs.kD'QvxLFۼYH(+YQ(-n{hΕh"a ZJ^3-;Rܥ>eap5z?zU\;<xJ@Ȧ!fPѯ-|) o3q wa1FRgGBߐ%˽Eiu?lC-]ͅp2p;9ێHzeGfG|_6߯@+2ɀ(e*:4#"* -ha߿KÀFMSi"ԭN`7Bi)xKLS8<ƥiXBSa# r]sU~Ẑz/BSV-JcEHz\DŽVJf #MATZU@PYշѹ~T}cGv0cUdN,nc(8͟p'ewt<(Hhw, og>"erXqӣ9AhmyI!1'$*=5)}~C*3b&>XwoNU4/b0%KjwڇK$-M[Ӟ=9B`2^k{mcH$zP_ 8ȀR"tX4vo/HϽe-$sܘޤѪ:o)Qi2`h3 }+~ƾ8 g~"pEX1UsoӪ*@0sȳb_  ˏG(ۏ'mKkGRCTFkah:M@38Yȃ]g!2hT Uh7y$ {nABNPywŤ{} L߱V|E(y=/@XB6b`ÓEhTCBJvjw ъvns$Hb&up&{o$[ mu^f\(J :n]codȇG^Hߎ:)ցY7()^ibs1Xe*(3NN&Uon!ȋ=L U^ нIl*/'Dc5KVӎsu_7}KS;< }%cypsiD,VfV=Vl݀gwY;DvyrBHfF %P>?U9%CWץr٩XNylgQVVAg1 ~+zP;Ni. ҟ LU<yj,\c1ıo51 G;ߪX4 b+M]!K; <ʛ+Any/bNʽ݅azéGQd6M &8z &PԈ&Fwş|Y 4ޝF5zv 0wԢBtT*2_ZIDhMsyS$ʣ$Ud?-@+ Α)G{f鹊XsM&]B^Mr$+euP̽/ Qs:ElmX9iDMsY{g71fg*hW ?ߥnyYttQ|V$¿z;E@{ kr6G_:u,7RFA^,~RKׅ9Rl ܵf6`5ʶ4-bE%azx-B/E^9w':@ƤY3RV^1"9rvXGhu ?>`at闝JN?|[!*T-u?S^i$Nv q;w 8Dvг]b\-L*[0k?5l{j -rP5|<2iLahk.º4s[iLjM[)xsd/# RŜo)-hk 3Qv1Kдϸ}f5 ~bS1] 'd*劸.P.9K "VZto)w+Qă؉-/=4"X *Z<'juR 6bJXka=L~dI-4ùUIGY9DuuB;T_2s՘(J-W8U)Sxom |gf͢5"ᡭ* !y7 "aKDW@댑4e:y`s)q Zů^T,@j!-6 3[*T^Z9 J^4n'*-( 4;k̊ o4L @H ee6r);Z6ߴx?7w C9"j`ThU]5S$ېygjƗ *?]!pν@G^ EE7 Wo n_VI* w[_]yҫkG@Pfs9p\!GxN>X4K0DΔ-$I Ʉ;|M<<.?YC-iu@]iVgtpjW.E2Iɬ 28k(2\$FvGc#Ѻ͹,I&J x@2wzUH|Þ̲ +76 +8 5(|>p^DXPuqڸ̽xchF#?U.aP5yxQ}kd tLrFçMD/Kׂ^+:ڔq8m`:y# r{ɧR*8{J>0>:-0ѣI3?0l^i꾧WbR/ t;xHV_U VނS 6|u1u5яoxf\(#v fXO(H~Uo2HaEюyFAKG:2܅V0n:ElE?]\f F|=֠8fܐ]-I)!nCCA F!DD O"dH$h ]r৬ =>MIep̱ 2f`*D`5:12yϘE5/Ai ::-*ϴ8 w&Ӄ Q T^EVl'=aZQCl$@x&{f`M~[%"}a~zE֩Roz+*'o@X x}V[\M&6Qbr u*j:nf9_*1;3l3S7{支a6`n|0D_d; P~vPwsV`-\] wpWeciR{2gnٵ,ѧ0}%$$|c& Y{WV4a]X$E¼H*DP݅ٚJnHu2 |3?% vα"MJBv mvYG!V+ j.(I[Jt\AgJ-7U;m(~*U;I@`V%xik )"1֧XȕSVlv߅,eW=J  _=ٯ^ݓH'?S^gyPg+RwjԺ3 B? >Sq7+dwxcqnan' lxGaz1O"G3ݐ-`zx D9ә,M0skTT-Ĥr hbcͽN؃x'ǗwvuuڦԒwTfl>>#iȹq%dRP܀Gpz]wV73{K4{~tWˉ ӉGFMQF!%aIq JG;i񌩗,.iAvLk O:V ǎ3BV0t%H06dg}J6Dž&x&<ݜ!sZlrνa!KZ}mA/vPDͭ(: zU lVMO~9.U}>D?=f[Ū^ k_%o&W4SbΊO`f'"jJR-"&9hOJ5lBlVq;,d~9fnP5GG'( _Ob d޼WCls-MKU&Pzw&kd#3ԿS@=YK>Lȉq6ALSEؗt17Bx2Ow8Jr9YˀHM5TM4M V@(lИ 43S>3%HsbVü yN?a EoMAloEwUɟqCllYrjV{dBέ[!q٫~ %9C9A0J`0l<%bG2%XX!DA>SA z@L|U=S Uˁ ]׶f"3#N#Jyq=n9r({SXbg%vg?GZ_ O켃>* }nɆ]Ýh3[Y?jLbj/nd[2-]s>:u7Ee@a<ߖW6b5.xzƌϯen*rm5s#} A!C'uzնA7eB.m\*c^1wzHcG]TWw8 %++4 i < *7.t3WұeѪkU`"DGZ/ ^fqat(+rA [Qs>qT,ዛ5&i`J/Ү_D|JW}_QP5ʀ8̝(i#eFΔZ5Jߘ~R&,t]nV} ?nImna䃻[2hE5bG_!ҫX!68{\DO t #O?Gp,z ]m>Y}*!K99P|UyQ>qpmC&[2JeG ǚ]8ePpLyEG6 kzWQpS0bAb!G[ھ rJ)%?N}AX|WJ>N;K`|*ɉfojXe ĬF׏4)Q1Feu3{F(\xdL¹ۂdFB-h gY V(+rw}xhV6U"N mJ-]oK ̘!+ p-) @MCF$oܨq,rn\wt4.IM%7+b#7'@uBa۩R`l΅vL,wuuS .#*}jzSy7-(҅דH®}1{Q?%*={$J±pdNpn9 :$+5Fec48[Bfa郥 R22#rXw1bVڼX =Y5)NjݧAJqrW`R.ǭCCWԤ# ,XR:!1I`D.6f(c/&wDC ,Qzhj})2T%ߌpr+uX'RpsNΦ')  |mE\ǀa \U9i@'o+~7JS5Mb=m\|Dr/2uI4Crb!AnYq`l$/?/犾l L>K]fC R7d->6`|{k-K;g@ն9XQa>b%k-9%S9s/ K>yμ (0--n{cOKOҿ$+NQ淧b y?-2AᏉ]-7x:?7J_]U+Y(0y:7e\ OOC + :ϖ|Hd]x#_3_43Ȇ $+{02cߨս?m2Q涐]t(,dmK@pݒشϏg_PN81rֿ(L=q{ՄlN◕7fSB'+1GDžh>Xzٹ0A٢'pڅ 8IK yVYߏHC(T&+@.:p3AQK]|bN1'wpl`gu? 7sqj#OC`kL#k{Ml!>HSO0ơ_Viۑ54}h)O*}4'+N&;C&3<}j Hx~t[ bsV$~ [sDkdlHxm2}CRgrJ%坶1ن>%SO6k%$D6ڢ_g0}dz]r4ؠ4i"%%"D8#m4$CKFbdkWނ<lK@F#Vtl fO==&dMt!cJMr^[K Pu qCTMq=\?g&/qK2F>]EVjMCWs3DRl\~uMR:n&),0Ln"c^ ubpsS,g,Erie57X R^WoFyeY  IkV> ъ$|͓&<%3&MX-v坔xU ]"y-~lCpω&z #{Ta_|Y!)^&6vu@US sO?}*g66bR#δL1٬/Ƭqn mI'w+QO:P1&쑄vZ咥dXx)Mk*h71O`2^y(Ď P߆Q9ќE81Y/峬aDnmIɋx"T߿+l`Ps>{%R`Xy 3"j. ?g7jFC쫓O {W,QSJO'xO`<[ы }Z ![%IuH7([B#-o2 KeeIɮ׸ؼa8os)q-&_O)3\Zޮ9p>,y^W~X'uWeރ%p0/en*m+4ӶW x6t%aop/P5X,;R"=J4/\bԬ) +Q&^Uv?XY^v 7?Е _O'1dX9L",%OLF4\w6ͬ?(*=+ڎ 2{T# v,#Sz҃OX Pܭu 8uj `(JdxK>u=4afjcteܥ/TAܖBQp1zGtFxԡi!#v;ZM]0w.fD'L|krYΥo^}I#rDBh"(P}&zbQYSC㉾MwΡ?3_@ct밳Ұ0XbaW&^)$cn9%:o9aTEu?兩C-p|by#l\N?`* ;[0oK A.ڈ X;?&E ՠO#-EmdsQtB>t,'?Oxoy$bz|+:ͫe&CShW$ob,i#Ɓ,oĸ)8!s?lkb"y>+y-[#QX7{;_ހʎ}qB@daU}"(lO-Sz=SIH١dy2PBHTty-i)cf=-\c+|U,PJXeUNdžJd]|ݖⓌk^yy n5J"U @36Uo%ݖȂVG$ w5݃lಏܸqk&Ue 75ʉ.,?{6+Fr Q7;_ 5oxx#©d8q-ҰL^ zvlDU{76Mr#90NL%A=hh$yphg$v$Rk&P[wFCκi.&JNy@ 2;+BGhq(d7Fgys3{t»{rԾt6 a !Ռ\{$d;600+>6IyF=y5eW3yɥˆh.]AHy?Jǫ6yA?rq>EV+1 џ]B8e8A)V}2`l\˚9c N DGU8~4?Oe.}[&Zz1CCq}L絀 Kխ{"$/-."˄vѬP¨J:C X)fϦ|T ؐX:7H ct.h,Fd«HBY%w>\UԵoˎc s΢C?@gjkg)jnE0xJȹN9 [ sھMb}S_egUR0[[jY[d!uC,K&jT!xi xSC=f%\t[!szE;{??ziK7xlM4Xc~E7b򪭹fxS?rVx9UkJXޑ7&YPz0ܪEm8 :X7, ӋUw3+3CҦmY$O{F\CsJ"\zWMҊpAm=}2~%Udm 1<"VquP {+07+WJFŒ)0naFgb UG&*36EI'$7ssuvQ&f33@sLu UgɾJ ;↡]708-R#>s@Ky޽IN̫<DV{a=kyI܎}|EC]i2_9K4D_,7U~g/3g~~/ :c%*5?1ƿ8+р$9)NDD/K~T%2BAs-BYq[FRB-S8[w_IgnDΎ<{TOkLQMu>^f}4:"tpc]{ŷ8T!#|96#hЄvT8fJgJeU#F{&ܗW)0-zc> "K_Ј|!I<=&:$%Jyyj|NW&ٙأ@T}^d4)?N&8n;@t;$% `j íF‘."[Xps~N-#ڳλ 4]_,9Kk|$9j z+1^o#YΓmfXe 6Cu7δΕlw߹>5g+3V, YU B >l5Ȼȃp陥T갯&L~mr\ĝ }DuY㣿y%g(RO{k}N#bc,ItH7,ƈ4 r,蕵Nq'ppJ&`DyE&=KJ}&L(smS:Ӕur*,mezdAS(S#˂nI11?^O[uvQ4uS+gN1Ro,g],"R6~FA#0#zu`KOcϏӦq&ݱm0!L~Qtз Go^n.=s06ocN i4jz^@P ?*AH7 9CR(Sj!ZJuaME1ȷ2=:~|XP<^A#3f.pjlE &qxh"-O8K>P~|/n&D(F#::H&Ks4$u;r𮤄U#g_Yz TMè?[5Z:0wG.)bJtu&~|1ᒏmxF 2k-b92h/WaY!IڂׂiW8 o 5b;u/!CMbiȠĶHǑBkϴ_i749)qzؽʧXӱPEs~^3/H"@jv#t; m|clL>ܾZ/L"%LJ :n`ёCMTV*8JvOsQ)\W/G6(v];Ll!+L ?Li >μެ_!m_𯅡wvR\hbsS;2h6:oygY1b /9VW| s|=`[C?ܪ:ɦۼt k:¿1oe M\ ~*vǜ6)L QslMgܴځC&?8tٙw|y]a]w~U'vN@&@:x+O.xL$ ШG-hy48_r:gGWTb6d;ƕڗlnnY'@ϟLb%Q/B/V4 3DZ}36Qr(ߎfK{;7ZFJdbWQ $J.88vL뤼vۍBj{Z>͈Wi5:ͷZtx DY0BP`bTL# ={κ})͒XW&F/MD\ov {2YHe) LGƈeL?l#w7h7[gȝYS>olْ6~HgԲbLE 2%|[u L⾒snA֎vMQ^Rgz4 Oy7}D?ajNt3N."QoIC1W)Po]|ۘh}4/4cr=bu鼂84k.CvPE5;V"1FDž'Y;Hrk3mqʹKK mzUot3T0w={UΎbDbCXb%^2M} V2(._ߵl0ph;%o7gOF"-b!Xux*J&pgMN؞'^HD$->nvp;2J<źwt 7i;=2L݁c}t+l΢ e'1WԭzgTXVq)D/bn̷ Y ;CTrNąaӏR+ [ PB1S,аyy=\s$56Azh=C_U% `D#[#` I:_$>4 HunY'•udݱe/HLoZu,YfН?s>D"Nm\7vLo~ ߻$~R#3eV-D[M &c?BXoTz6?OX)$Cn "T;t:Qed:Ce$L.Bf{\? PGq¡mA2c 70u8mƴe-.z,u` 4aPF,l c5NzݷVCVAP8Zx+ju?RA|ORaˍx//7ignE$T ^G;{=&Uw%JWF)W 67_Dlsvo$N'P|:w8#fI_A++k4^Ы!#xфŵ anLERB۝Yo2xaݭ`ʰ5ϑWAŽ L_uĤM\"Z'i 9ʭVUJ9d _Q/G>B΃-4ٿlrD%PARo$lv'LTF 9Psщ޶KVrtX5螕7dffVXC֙M7G%.a?~,(< _Qv}$ļCȦ5Ȟ9Ln| .^v#ƪ|a`iEX*,:"^-)fYEv2·p%.1JOkh䱜@*,LZYLVuuZ0ҡHHP@"M+19#C?cA+O_^94azPl,-2mnnX|xx$7dpdZ%i BLݔqF阘#Q'd/v`i|Ί^TlT QKP4 G ꩾqko[!} H=M#ܙk۽:WkVŴ(Z^"TlCHobB d Z{wriIGVml |<RH(,dU4Q؏<F4'9)™W>]P|> M_m ڈLk\Rb g%Fy=JYbUq ,e0J2U&ڊ_R{|[tEz$LYK]( G3FR$[r=njf )< tK}kn"H6PT =)W_,&$P:lMw0ebRr"/Ƒ >QH{G峳oИr/I* .Q 15]+~p4ׁuL"ghƪSxΧ}p#F(@f Xci G0<]B |zI)̛EmN\Pu[W7QO8>KJ*+jKd>|Նilmn6(`n>@!ٲV4za/DPǡ)@":@`6.^|QrfD VW-+'DJڲ57?^ 5ޤ:a Zf]=emtnqK#- :&c;Wy,x_>FidY )C5 %42ʰ^n ri3$ ӶMl8:rCY;ŪǪ 1z}% fVPYfSNMz)2dO9ewsxZjL) 4FBOp\ ;ic+"ALz,e -{"UQɈ㙮cplh%  jG9F=(B2x9* /⹱&UC Ws> ?ԭB4Oo!Fe{LJ7[d~9F`k$n&=mS_[-leVE5[b.3=TXB >A.3>^>>eQwvj_@c&];:4O1$XїÐƦCjJ 1lAh8jK@-C}㒣܁P{NC h}*p@aːS6"@I-Z |n~:ҐV o!}fN,,e*''.]4QyEF x*߼w1wDN$9ϕ) T~c`6wT5 M􊲓-JmY>[ԫ[@B G:]lZÒO,Z5 GI=`Z~&)rpGނ"tQM#H1ۋ( ħޜn3 4xV(_"3U}M<圤]E ښ=ĺ 09|Usu-%@`M l4ў6>U).lA3(2"Q i~ӧ;[|.{JH帢ڦ~U`#N!?.:&qp2SC1hHx<6~0FB+ @}g@ko#5g+JphĜTo襘?^pNI0tߑAPc:TǺR4R0eK*\4DHn iJ#zF ˑnaܴqW;zK՝/ S{h5(Z8[ѯЮ*AHK'`OW@?Bnh aSjOtCk(-fo ]]Gqn 8[~E*nD%IOE8[DQFɛDdp H)'' >> .S'1 USfgpctջ#i|L-rA9T00FT؇c13 Un⭭\ + 7^tT[tȔau1o%8P'>ڝe r7o[-5˸U`_\/N'sΕ;wzNZ7b|o _@|tz oOrY3;fA +l;d?]|\ obPt2Cbz;13y֨"w+-TwrwLMmِUD^P__  \{-Xrs}IQX=>xedd8|mZ>R,S& ¬RNBzS:Mrw=sλ\/$E=3-e-p?r-]du(Cݸ%~b&i6}d bcR{юoZT =vTeƞNfQ͊PTkߛ{ ;: 2[4ikP7srjXt@2ų HHNJ aEj iI@ qXYG+ݠ=[sy%-QdۋG"h&4-r{8 ľ#z' f LquLj4ѧMRj`?y,TQ|z LbI4Cߺ>2eq/hTu Ƒ5 vܖS֨I.tgg Yph@FM[ı>z_ύZ`T 96GD_UDbCisQ~Q^&LX*^Y"́r/^dK5,"PLumm:os[!,P5!jե$CC}w%aL~)f^@QaEY1t]ꯔ7vyb>6}߽<*Ϙ`d\KOd7ܳ[K S\}"gX.S7q?LΛWX!n^w+.}EߥAg>#&4$ROrrkD~yQ][9؉h&;d 5 HuI<:HǏʲj%QC4V _OJxD@M%x#V Mzpe0>5nъi2~K9bSrD$Mԏƅ`M$τpJ(DcU|#=PöJx" pCm1ä]u8XoetShSj/y cU 8Nm7 * `l!.U'~ZY~4-ig ~t 6Ց +Jؘ:zJtڿķ2 64NdjHnBqKupd4>u!C?=d2J@܆XԩSO6)t2ZHԑsx?prgf%8|%oZI2^I!률 jEzK脸 Ɂx5釖-pojs;z~ +ϥ?%eE c#N7HyihfkcJS|{E8̠@ M Rrʝ_MP{8fazun82:@4{Bra-mL; 0p-pP`y< l)$^ͥ&Yԁ0VT5q"@e"KN{=[5 *;I׍^u1O6*i &V% b+MB& %\FQWBrÝLh̭WJHOx//JEspD S|( {@{٭ ߒg_%~:?i~}B-[BiǤtEN:JȣE@L,ovN=;mIju##!`UKW!E0Dx1m_]ʈfdJGrUG bCB&-]Or1ӓ]❜v> Hv߅RN-T^t2CGho> g1t2agF!wIjl2G]dG{E<3h5O+j]O[*X`@,8%Z8`QrQ /Yǀ]MoIܗt) ÿx';X}tP`mJmHqZwp {6%&] }BTv$2\ƌ2OD3,N.i >Lx_kX !"~[0-4`n8b{GIQxFo0Z=r>0g_kYp*אw9҈T$fCr%Kl$B̧rW1FƑ? =J(]owaz 7x$ j4qOUE3#EflZBz9ډ=R .X#HoϬPy Ə'`ShJaWP>F Lpu},S:F7pLPt-In^doMd//)khD,GmCR֤^}C+֥@޷<ʪ4]XYrkfH`ټCc&e޷׾qa얤9CBuޱCX@J@z:myylR:/[Ώ( v^j[qe RFüjxs7Thɇh4c-ǧG]BۻsaAc')|*;!xJ *'avl^fO&57вY-Qdi{t_tt 5}ۓNqb 27;L%[>gdEqz|fW/i!gpO}~CbH2u+fdAxNרbRD@G`H~ߏ>I1h>܎/č218^6 _A5s4O(`n"(5ּ}w)̎-8n½@Vq۫Zifը%ogoD-Єt;#فچu6f?X ~іzQڭj)S2NP{;,r'+upQWՃ?h$;Z΃v)Ë2H^f8c/ңE:,? 3zm {+j@s^Ϛ+Ad"_4:}Wgieޓ*Y|&a6eh}4NY,メ(''wO vU&n^zMb`-}S.̎+E`H)#heMM$܍g3%_jzAɥ6O$Ag0)HIg>/5;V }B!L"g ꅻ+*mtnǨ!ت޳^;8H؀9Bne^>Ȼ<3/Dyyd0jX'N*l_u)gbEpOg)?-"U6q@?UYy$n)˙|#JÏSbMQ*i8lTB/#h] o޾IBt16x냠tߺ]9@Ä((6F(<-x'எl ݢ5^ٖ^jQ cTZL}dxj]9ۘI1D^bGXtTE#!ܷWb[|r{7f@RP P.%d?3(: ?b&qR%Jx NqaA({{7 fi֛H+0A}~ތRk, :Rpz}@Xy#f!Cg_{Rhu3fr0$*aQ#Ly`_o\p*W*F*A"vʠq/{:6ȥ`? [5}vNmqtk m0!qsd&1uնȀʆ&ڱj(j'UX=Vn|Jd\8܂ILoRb>&Х+%ѮLTۉ:Bs݌qX^3.Ǟ A3,h֖|E^9USd 4zYB `uX e<{󈱒ІK~ȭkv#H>bS O ̺ڕ>8l%P̂<* Ġ0LAbo=#F7Gkov%L|R[cYWhY)Yyuv;9 UT [2s y$m=4Wls,H.I)Wm@)a"ݦA\|^?ÝO"(U% YӋGr!JU&RTY4II6jR=H2[zaOTwfGՙwة>jr^/mNģţנk"ǯJIڼUiIҵ}G~ArF;ח@Pg 4t:A#Ll ufk)O ;q~y;[ATQN5bv=G~\?$]Q؈5&,z r-rρU]h&Bs0Lj7M4<>EniܽrI$9 Ž>dG֋t(͉il}Jʈ>"L(ULeݜ;JWWԐ6AGkhNsUEوg>ht.hrwȿem)ȾO.Vo߭˜0oE2L^T?֛Z\6g)3kʋx, dvd$`qO6r 0*&6LjJA/ x[J0$[.M$t:TRrOs"X©ؾd0*ho< (Խ$!&lsڳG82R\ʈJ?6 2G)tEHH~TI*<锯<`oיXbXo"3;]X ,vjesˇ͵nK`1Y`Qq~5/a?$fPhSt賭\}3% :)-޴Uei˿2W}E01SB:P<}Ҏ@Ȫf0jZ^0HPx|(ۨbֳ%  e#j ꦞU6́끕"gCE,c^̢c ^MVU޲.tLS4;] ssWrx *n<2@`bnJmOJͼrƭ &4!lb 4־ EB!3 G8[Al2Hlb2_qIuwΝB?Q Y&wZa=\xJG)h!6ѳm{OCv:7plGy\HdKJЪ:e-YI9[!|x^0xM KUirqv'?:4wvr[1䢰kX15AvI([c O:VhÇ9C mN箓1Hu]V 4F%U/,y㉄Aq6 r4Em N co[ӅfW_]w4j,pU iwf"p0̌"ͪ1W.y0+ywRG`dm8!0H =)ŵ\,ص;{- ec: U$5o5 aOR]=IS4,~;ijF%tRswv()fӶ)̈$l%?%'l_ܷm7„в 1׿ ʀW-Rsmf mpz u/ 験i˪"5=*a@LyNu(* l1;Nu9/df$X0*Y"Ji5'Pq_#oؔcaOY)/ 5aue&„LE+ڰEH7al^&SCRd02󟃋sY6 Ni`I ?䎭nKx[?oJ&@,pyO~$ BN\:n(h5-1>[RNJk3y%Z|\:fT%'#1̙)+SGQwB鸶0%<2k0΀EKEi%|;M$$in[cZ*\VU3:9jNR.JLQbߛVHcHISl~*_Vb.>\O@LɅL3hVV<_\ aU'} z>Uly^ޗ=ipp KM}(陾G<h*X^tl=WqҕB-jbbyo:)n UĊ^Q܈N 3۝PyBUKENLN۴ F0q]ՌB6Aܱ\G18uD .wD'oGsp5/Ջ@J4PzKrȵ[ýJ2ofAK7-9c#=iE^_G\ ##+L67A,!$_mۢĪP;xL}bj>$&6VG 1@k#yTvàQMNϱ@^+OydNG'"Q0w}m8B3z]4pL{’E)$m'sd@q!Wo8cdym??6뽛JT6&ydzmCpc&e4rԵ%8|{vH&BW:įYqtWp'FN_PBp1*&`=F?ȓ-|(vIq0C;apgi-Go>tL:%9#Fϊ5~V*#U s~}\+DʤD[p"UV &+w@ېsߚVy&MIZJ"-Gp&FҲ8M@7Go6ӎE/ψ (lԐ HBZmr!cE C {PR'^5S&E7.4DUTN adcf3;ÂjWy15RdSҢ07#?vjD0CS#iJ!v.J,48 e>T P4;ᐍmΜnj@d0>Ž@ؙ;==峞`|߯0@s#hbI!K=HuKYKI,h%EmE2/-1B)6u ]!)ղ\?Xn72{st"Z%#2Tdj_޳kpgĨci ?|QqYvcWW4d_ eewVfw^j t.ÇFqCxUgBⱂ@$*޳(4]VN-J.kUOSm6w ,]xoHvk Q0cQEM`Ma=ɼ~J%`@DQAL$펶<.'s;xz뉍lӗʓ])D;})B]u],#~*j ni6;>BNF gRk׋FF;7||hc%gT#Z%*ȤB;3c9Ѭz*zc\Ԯ<җl JRdngYZ ? 1W# tHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! הּ]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``ay:8 Qw~aSMZWmrdKvP)w)u{Wf>X(ObI*ӛJE`Zg.!V:%^Q}5aξRܟ6b(lqN?p7Jvo‘ݞjR+^T-a9y0ϒZ=}&ٿ hwrUAR6te p',!UC  n>81V@w+%XG0"a_ňoYǪ$W h٧`-=)TMNuq,7w"iϴ5;8lhTvڭvjf;=BÎ'KaIF@pn}9r-ok#\9i3MS]6;39 krgS*h" ]^e'HQ7g&*lJX;f */xbOw6)G`'lc bFN6 뛂[僡<{:A_|cj{{>Ue\?1xԌ{wcy?m@Qe=VaqK9>CvZ95`i )L Hk]e%ó'}K`*WJJ\tBϊ㷯Df5T Yz-e~ OvcXH>NFճ-|9uD{'ºN0;-C!זvvv,=kKg enlF3n@'/0@d#S^_a7Rt& b3xLOB71?-p^; b܆kBKHƏ_K+ `ÿ*Qav 8])Rhn)lѺ?fz!CM;#14;ϐDf)Yum ˝+*(UԝN0<4 >;LOUv*}mၝ:8|@ CX=>ipP]n46 BadADVOrV۹8 Bw72VH3Nt>L $ 60yWM.(-lދu^ĜJ]K{ ʠo?`I xh'fyCag=쵊^(hTA꒰[('n˵=9\C#;iQd7zx7ŷmM%pRʮr"&rhɊT9Aނ[L9xڬ\lrs&ك/fvƺ2U׀!TxrbDzؓm7Nz'0MI: 95sߘ)RRsDLD{4j$oPbؚS5dgyy `LjqT>Kc;ނpwB`ŔU3⬰xU/yƹDb $% @b|^-WytZBWPHhm݇q 8oSV㘯FlD-MzІro5pرLZ5o2aе~%HGHRQ U,fP*!7Pϩ֚E޼օ&h,FuX?P6˩p&qE<֎$ܮ rf:! GWރ&;BP[9xLI4g:4"C~m>UZv0xD:J?SpZ,`S؇J7Yl E6_W7$-؀nFSt.1 l)Hv} r%[Mx17$Җ35Lr!"1WoFS0~IcBڜJYhtJ L䆪",orD)w HMX >lAZt?tMh;6V+3@Nh\1˟N"@a>`HtCq yNg@fq dG uJ^Ğτ>)WE{G^UrG/_r EFfg&oU1V^aonŦb9ʻ C9 :3! 0m Q=|NeE 5ܥc2{Jz$ Ԙ zSAۯJ+w=V/d lXgs쐸j'dP Kc8)VŞݧ1/R 3^1HDRݟRBQ "Df87"rDS:ʰh*O*]b#BV}0M Z2!$W2(_-A5>+a9(Eh< Ǻkj=dė ^o=Vu3Z+0RՑjbFSC>#wҬc͘Rq)n*FW׼KXUSČ͸&9nR_V1'aݬ2't]OC;3պӔOyOGשI-]ײQt:3-{؈<Kk Қ+Zk^%**Ufu9qQ`ZdVI}$3j|oV(Ƴ҈K4϶{$O.-]=, - 79 VE#dиK \x:6JO5BؓyXAk?!ZA8&-ٌipȫ*7~AcT@C4%g~# f<جԐ' [[^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id538|1W' lHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! c o]Άxʆ5.f-9 rq=b./,L!h1/|/Xy ɚ kj.җ Vvb LAI4+sťÚ=5ņA EVKP(?obV55TJ^ >2_n}`|KYaA͌Oت'd6$B+4歎XtmmJ980xhx}Wn޺:N?ym0h72ZRd.O*fxE&DGHA..6(r`t\077U7@MDU]1b?g$_b9Ljg0̓f v 3H6uI$3S*/ Z.EJwCE"9$J}ތy!0s{הꟊIzYi\8Gf*_̭=ebN\9f߫fQ<"TTV*dxnʦwD0 V"MPq'{zPb>t-_A&{]^Ah8S̮ C* XVێ0H>*2%J=Ḣc u4M 2%3+Tm cpv48xU@FtEv'Ɓ䥇/?&)yHى*E qMedLK9@8a7[ i՝qy=Dޮhzxoix8Kdc~unߪ [fQv83;lt)؏V**Gz1BKs$r|]]ci !KE H'lak(CFmEW|Rϙ^=Q7ʇ(2sr SZ™>Sdf(h#vR6Q@Bar$nQ*V#Ҝd~_H﯎ &By4OD"qs!Si'^ths.1ڬ#F"BZO o8jGmS^hƘncw!uL@@6.i} Q˯\{HAN#ȓϐ@>^Y1,Z2bUɷU*BFH>r?vUջސo8 uvE e~;}xC8_n}"ߣ*E(Tģ"`&pQ)7UK0\&_YYYj 's+r~#ŜxIT`  MQhwO;D~%&X2DyK@ N@ZF (kAVT,uь'{TJǂ.%uZ)  *t.>ΝgOKܹ:xF@J/[VdF#CZ}d6AjO01GWq"ły׏Mf ]:MԴJZ 4"5J=T2;6)&&Hx,2࿦  _uP'CF =7 daf\W&,0SYՠP zebүn?p _ZZ%a Og˶TX !I'{ \ǏE`k7[ -X܍<||4<:*A/Uaq{:N6SvE\: JyjmX&~J%0_8ϠTe!?>ڋAʙ)9 ycLy i=%9p@3ښPk\HyE`7q@//P( [_q j\[򟾰ĨT1lMif:c9 -~L$c+݈7@"Gֹ;Vr#:)^hAL!Q,0k"k$cTY:fLo q1S p9WD(6OhU}SX^@yܟB%KLtĂogQKгIC*CdGZ%oD4ȇHZ= ѡ-jڥۓ;[9W/OJ4AΓpN4Ձ0(Rq²?6HjlFG!v ߠ*.55ָ5G._Qn5dG-Eɖ] 6%yOFʉsy3֮"2,я|O.>$ĺNx( WuȾmog|61yh bVC*.փ-L, Ey- ($U@xB[HׇEFB4__:5 ^T8#LÛ$ي2#Yx}D90+OAA٫{#4T ND{2??N`rLb]sTNIQ` !I4Wp4Ix,n 3P{FJY=f99ƐP(b;ti&U`` o6k2 v{"UgǤTm{38~] Hib~*`lyh GsK5t e9}"huKNCAWHWg}OxfP|BP)gO=CD/`p J&{yuQ*P/fc 32fB'y4zI@rLa2W&!LH3g Y5F cE7c#4)ԡW]<C84_F'!&kGvGreMQ)_(7k^RClF'儀 ᧷I1"S=swZkXDdaY-)}QEx J6D##YW(_#NPB϶խ2ڪqfVK ,r؎pli!& uf&T*Q86Λ\#,FktS8b{ij"Z0i|%:ce4 I 70]6"V{ 8bT jpߠh~M&sAOyIqWE8YssQ_:owX/ ݲ/c9Uڕ2Eo?B2$&{vwh8PdӒ.~ȂfπO8Zou#DǻAbK:%sW-}y|yʬLaJ)`߯}MK?ʔ8O!d̛4^C4{u9+;[SּqTudC33 aC+>Q@*ks &<̊qt}8yFu@\ܩbc_UG6ƈ@? 'Βyb.H/<\f<-޺ IFsu@zn.'-1^``5X`Smˎ XXN?그Q~`9dУB#q_]Pr&#kxrH.uR"B+w1qI~Pq64;\xBs<~GQ_;$}|&=cf8NJ4oEvaNwrdk!U7. pZ7lML lu%L{2+(H~UדFEJ^D5QR2ikjM"^ aN٪BVlmET aݩ Sl@'?.ގឯɶ$9O<1]YUOqd+rŲ2v Sr*׸2]$PynAv=XaVdlxgM{ur뗻6Ŝ1ZO;IJ1^FжhD ~Q̖9MZSJ`Ϙ/lie H7khN82zyqJD^]~'[g<y31w nm \8vِb%Q&$ Ds*h !BBCn%jQ\k{<̝ BÚ5M꟰V,߶ݺ7|~8p2Ի9a#=𒨮?:`쨅hˍ|>WS4HxB᥍}mb6|ӆ87Z~RFV ΒCujR٠6 ߌ8x`zvWqTJPgP@ ejB;Q @cD넉_2iKmb)a䏂i`ۀA mKG~^Q[fsa'W53Nk和'x"y NǭwnuUdtz:UJSviDXy[aDc8~i}6i$89DX>MxZq: +WJ[c?t%F6[ }lqb|!a*v\Uv֦_1/q9Bܳ cc/xOP@*zA aUkʁCKHtlξ6<޽=IC 'ŠA#5]~Cꝏ@H?9(ep^vܩ{ ֯=HqVOΛ ;\3ZNq4 T22 f -GlDXƀ,$Ȋo:&]9~M%T {k5ȱ!g/+DGpvcS[H󆏗X0Ξڜ#o1ԑNcU_<v%2W)sho6lVSˈa׉.$*;w&;·EDϘAC3pU@|ΕÂPQ&;MA(t٩K\vgHQ>I$G_b(lyD *SeY| ݿgFȁAtfv>UA YC_sn5R)"4r3Q zV&:t18 sXrO+'cam&cփ:fjKAjJ Nza<*8*~e^#U RΈm)1U.*_^ o&n;_đd ,*}2fSԒMOĀDA}p®P*wɃ Xa'Lơ'\V8ߺ+!ޢD@r曦˽i154;Ș򁕵m4s ]?`,)&*3A-p~zd&Vm TӜ EE2e߲lyFɚlh%Q2kC ,Ix@JI10-nrpB&kG g ٭MDy)k#6n`{h?ƿUw[.t.u˔'uȺ/eFh;EJcQ{sз/092-/n.HkN"^٭mO /@`TH0 3)esV438݄GuGW!R[3Z+5%ՂG/: "wD>|s-.lI@j9wL/2GD#0\~2!V?!xL׋dD[aLZj#޵JΉ.sITÞ>0MuVcߙbu$FAe %E8W❟3@Tq07fz %*Q\+C/0-+4~+QE+MR5g < \#\3yD1= skO[r DvIs;[#2hMLfϨW b}E#I*#~3p͙Q hݛ~G}Y8wwqۧo'` P+i tYRW ($4_HkΖej"ǎ!dH$drY?YHҷ)Ԇ `uִ 7#(uR^M1Ve7qtiEwX`.QA3ёhjoc*%/i(aU@qdBV/xdE+]@JI tv;)[ ^%d_:{QB f!G\5H\Az9M ,,=熕WkWQQA^6ByRm/,synˌEU5b |:yV"~koO0EY&Jʾ}#1wfHVzY{RS؁f>}A,С{2+RG'ZǏ}X)䎈Ĥ ƕ>8XWk |ɢ}e2,!8{e%>XzEo[S P̀4`M,}=c8ٰzVB06p|G悿ԥMѝTbvaQBD7. Ҵv fj^K4\*7щ}Υ]*G>j9{a62yBrru8ګ\JEq/DlֺؚO~=$DjvrMD7ވ_]H;|_]C.[DW}!faAi'։?i( 4_=YPK-M} ntue=N(Cĸ_ R{w$#:{W>AR M y,s} FTX{uJkGP\Hc3:R_a?*/ ?`̄ =unk,Tzs5lVR,IΕ'MZ+Յ@Ƹ( -OD/ND U >se/]wIF2MĕZA%ÿvNN!y կ6$ئa a4*7!. }V7~6rmsm^K i=܊!3XyFn9jBZto…_y0˛Hh\L"+FDo >ټaxXzełFd.KRϞCSŇWhUѧ/NtWȧ ^k:l\,jrQT[ QvQ[1Ry2lr67*4gcEx٥d7a/LHXܕO pH87.W4mق诗spJ-'5,*f G|=P`&,e]1T;|}7|EE, xdlQU|L7~*`OZu[/C$ξ-v h: (I%3d_/ }b[BtFpajLw8'$s*#ݥ0}k',H.D&.¶*oD:вv V+rQ KrsE lvR(ƚXp.K})o 0|wUonMZG#+DE& 13, .^qU @ WRS.`[KL',9*U!eI,:Ȏ(ʝa+Fܣj?S+I9t`Su-먑?t/{$f'Co/?H}:k7\"1ב(*TJÚ̖anٺ}jx_`!/gȣc bGuM qӻ";tA2: - 6{![o. W(ӞаK,Ө*m`,u- d܀"fٟ-UX0GYŠ EqG{Vt-OUlmwk2mwmC8Ն->Zo){Eۦ?~ Zh'6 U@@X^c!;܍vnHIS)ls/Ioaj Z԰Vl \chAXյA:[Ss) sɠ(fɝD6.^W̬zu]ּ.ɡ r dQpdVڞj^8įT:` ZVQ僱@m4 ^̂c->ID$m=-<֋ApdglM*I>"(k?>@l d< 79PE4ȟqb&j6jY 4CnՆE/"?ࡧ }zJyrc{[=3O"GÍ g&MVȂ(p`?gc1R ,(_`Q{@qv(rd'ֶg 4Y1EyoTs$7/#6K{cmcHL6&JPGgK+؄MիzyCX⮋j z14e%^V{>}h`+ulW: ^ȔeSL4- M* F%9<$KtޢRnڮ-"&OƱ.Z1vjwoaPx͹a{+L=?'A# GC֕? }N苯ۊvF-xJޟ@g^ 0mZ9B!u.9ib߽ZxH` p /tζPBj¼㫡9eŬF~WY#Fo͙3L{YZ*[QH$NZH-i Z#yӉICW[2yCY~f,A$ayz`vD#[E_F7ㅑCg pficKO@NKm#x,|5V 4G"oJ|_N]v5 ~t{y$_t?n~."#L 0rTȷblQo& RqkwR<5T=y5K/*udؠh7}}I/mO~2[)q7m܄V(̞o:qO"$e;d' em!E>[!ݶAp0hvyVOqz2>DOC" 8bPlO;$o@IVgҫ@lķ8;I\ƧsV€5zzbW,E7`A!Ԋդ0 v|6S.fFiQ셡t& >VaSrubP57[˃҈'~'3<1l#Tk F#|8w?%հ%)8petg;iUIeMXCg̔L9t\މ%8Jnc D]uLjsj}gҹS zBϧ[ό]Fl sgu[7']VH n\I3qu SO@0,R/J`l+ѾC4 ts͟I=@>xOb9yuR[󩫭L4_]M%/V\"E[d5;N-dX|#kP;jG{UyM\B2ļc$```yZmw涣0CC~;Rt Hw}ǫ5W6qCaqUWΘMT^Rjl=b# r|ΝP  ,~;j0h*AB&zG=#m\бUd!$ Y`cNzL̮|v^jXz`uыM89} ¥tӆk[+!)9M|K*%5֎.,:g?՗5I۱ƛ)) DRkIqeMJbA4O"7eӵ\hls;Y/ c<~cFQຄ{"KKXd_x霒~@=fk/s966[RUne`:%}]u\C]Fkz( !ޯ7dIճ㵀^Wӫ:Z7I~~+<5V,yd?@I.瑳!:5\)LR`70P6}InQΚPV^+b OaRA*I9\9;םnIv!v]a7wK>ӳwnyBǷTP$x.ZXx:_ 0%P1D-? 'uuˣz_>!±,g;};Ok6B:Tb;/5v "x࢕ͥLf'M`)`?HMS94tKuӴl|A6锌L=Ia-xwzWG2,".7sMJ”]Yn6!q @9ĝè_SHe,kAR'|pf1Ҍ01n0cd{9G6&46O쀹8:25:L6{EŽYssT)Y$k{Ŗp$eu87yj33KѕY2!Pgb{NuOAC,l$/6Ή82g>{:1bj@ c{77W.&£S蓹mb()`8q6631r!WHk《ƛJ?)눥Ci' [5zaGT& r`+_De\_|8GŅԢ/N '$j~kEޑ-/$Й)6 \!Ն FX$zRcV3n<ӫc]%*dߚFl !SF ˂c !Nmf#b= )n5P)cK{Xm~f jH{/l/ l@p<\06n2!e6a.c>5OG <ǰ$ ifKIps':{)@yaMLVX6<=)3|؍Q̲EFj9N:@#Q J% ~.]~_?Jl:ۤb~~dȎ-`vu!2?65@aߦ#G7NIXG[60y;_FCi$I}@ m[yZ<=Xdb[S2Yxĺ/ϴQӈ0[E&Z 9Lh jfNe::;4tZ=?4ZNJo3%tumXv%<^8f= лյ6UE2 3.Z<ò)m?`A$Xic3N~-7W-J7 G{/Z!Ci&EUc~m3@:r'?=dORoZ4d,ԃgU^7EG;rR`!;a2ok]M(Z- Fx0_"5ӧH#Yk*3 g̋gchɷ jZyȱїir`'b-̸Yӧ$nտ^D!}F it== Ep/[aVNqkw"QhVlNw H$DmbA@NHƫBs2E`V{ɺUbO7szE}9jAsԐMY 5Ngp\YZ;v% Ơy!]$c٠ [LR-}\B] SX3 i$M|-7,_ekm$Dʬm5~|x+̦d]!r7 |nl­sL7$Mn_ NS7HNWy> p3Uȅ&j{1zRH7BB?[L.>vh;۶ ؿHޯZ@Wc@NjC*/;mA0DXn.ẽv{5\в5?՛6d*kbNۣ}#M)| I \owXtJUVLлԉtSJ gy?cy>HSQTUs 9L;>)^.qHqk:m8aUŠDHk/ZۋW YUY]wƔv@3t)琾Gߙ6rKGdNU+1aXvAVARY6*}>5nbuZ%4lH;{,jy2;QQsb U|Ji0Խ;16pGƄ#MΔF`5lGW^޻wP'=ԯGksgd:ۛ'Ί8n9sf Wk <?ZwD͡ĖL,we{ƖB܂vU4ȸwubXjg3́&sT8U쏹ۧd(Mb%O=+"%%ƀb aW)L2@&ʟ7TM/ɯ9zɟdʪWh6 ѿKe;8ԇGfPHUWVCCoV^`Lqӵ[.\x5]s/}~) (uFvbB})M@2%R)F`p>$RCs e5J0>a_,i9ӻ/؃VM ≥˧Zu#*8~z\d&oJzhLF`лh!a5uw ,t6$F" vD67򞂉I>"T+&Ah,{6<8.C7E;L^"%=e}z}\ᕯ%7@ ~Vbs_0 Z^|-<.la8\ICBdUՂh+;hMP7o9)A >Z.'/nl%91KH6CԊ\B;}(ըtiZ|F* ~)b])X6ts1t+Aqj#~84ƵM*BZ;JZ9j36wCtuvGr󤾴]dD^ĸ" ȱ2Hn&!S-iÈԗD-cqTVfC"imCR7o[\uxt/L!eEvphu.8YA:+ia`%@jH~jktȪ3LDH,RsHdy#[uԥ%g? pQ d7Q|v(J=UGNeދB%@÷+bg{&>(oqDz,65nB?>8ή+Y"5Byh/jkxjƋO.f8;*#KߣA2.P:Hhl=$[H7 8xQ).6J=dh]!J$(V:#{BWq&z~&xoⵘAe`󗒼 *ZR:ff~99 w3SԩsOR;;UD0֨6?S֬B%xDd8-;oP}U2&Y=:3H`m402b2 DCn`j<E}+{mJS$7k;^2)5T 8;|ڬs8K.4p;#C˶{}>_$5}׊Ɯd;F$H"<܃M4M ltVX0 t[+hL$Ƙ%Fq?)bgZ&IG|S2xLgeʝy,!hdB_/?hkFF$ď4w{M) 5(L;*;?6L^=&{I!p?ۻX -=RuE`=aT=j,^7RQ#F*#,Te(!ξ}eW[,8c~xUh"7]IG?qC%AO>sO`_ʄ4E$͟pDV.fî50h2yK_Z~}9XљsҘ,2Hua8C'NY>9M&X$XU#ùUO^P qk^ zR? !Bׅ6 8}xAgomZ RȪ^d uȫz.NDww[Bqlq7 ˭M=Gׅ}h: b0&dZrf~ 3V.^,i-USYQa) A56u? v>T5ZUzBU6-5_ƒA ub6y E/D[^cMY=7?Xy  .K^Jt]1S1 d5GFyzh֫jKܜA|=~IߠYB+$xV;y4̍|F+<-(hO6!E:Aӡ֥OqB3C~s  eb֙A=Q91f֩suwXFߛLt:)/޸{/z/m1D Px猴K^HՕUL?#q S4 >H#b}2ڭz=߯ f%)z`~JwXM 2pz:F|'/1Xѡ43Io78AzvWdPp 5Zf{\0IzQ׈mK12XIo:q+F:J30͇́Q#ƄH{'-u U" r n*d:'&d#76h1e~5Bf]l3W6ҨF8&מ[*yFv0 "EJqCw X:IM]Qc6gw%ѕ )E ]0I,662ho S MLF.Egek_U.xfe'^`$6X?TI\f}>%x#6_f@H=r%@f8ʭ3Mi_UU!"_b~iE kׄ.9Nl`G/{E]%|f2 %2:Q}3 .OTo͖$XM4lo]'9P׼~ `YW)G*!t#y{)7hs2W?Wtv:pz*WIEkl%\+d PΙλyW8n,' ygѡbD\p)ވY?a/0>a?Jl)H˜K*ift4°=Hi~BH'bn=Jf{+#P3n)0n ={y圙e=KZbwx_Odx-F_ ;7s '?>p^𛲂S[JR^5E$M|ҵ*x?X.hVz3ZM?{IRj|o`a#7Scꩆ>rGfL_OM}b%P$gv®=*["5p䯍30L7-&hFNd ''Puo!޵ނ]jUN_Px rY$r.ziV䙦B νuԙ%tqO1b׌t& x}G:r_\5@)1ޤ]?G(I9vs%z3_ALE , kM^ZfRy˙h^^6'" Q[>!^i`U_Ua__aѕ\HՋ4}hGD8v/jF'/n>47((]Sau{ (KQ5jJ#Uy6F*1Uߟ[14$А<İ?@.$kx3ͤl&*XNH2M^&Rɳ[Gc _ z0}7^9's3Q pJ֣oX5RF]lm{&:Z*y$Bw m3qӯ/y25 '0jaLхhuVdĂ]I]jҕ'dh-OF0 ޜ#3va_?j"$р6XN|!Wl1GzӜ&A~B!#CKM #9AS0EαޢT7+9Mm]+c\SpŧrLgfm| Ea%:ѱ*QT=)}!{bTɼͽ523Ȏ=k"vN uğy3cO5y < ^WJ#XMOu[rLb9u~冻%W3,\'.]kp`~ 9 #;,v %iͺƕSʡ} pn ֗71=doWҒxaLLGV4P+6@/&gɝTU!GRL:kU•09AjuOx~TS7CH.7{L`{~TK"EK.W_ϐ9/EK%E^)ҬskbAz%SrKzݩx+y%Ѹ[W\2y?%Vt.x3y}G+;~II1%|yaOXfYtuȬ3W^Eo'y=Zc,Mr%͊dPP{`ɪ5Ym^fp)'NKx#Kˀ[#ғZ}>@eQ Ggd '&ۖlj3D,9LG;Ԭf\Hs1AV,QI}ĮuL?_1$ww t5GES5ҊXz/暉/-)HܺM鉣Fec]̞XtݡI̳_$q?]IFfwDWA uAM8&>շ,6B=D(۳dJFZ,$+-?r֪MXR*ǒlKgxVZSc% Gbl"-̴͓K~!́*'x';v?XQrG:l@?½|u7Y'Fc!8E42lط~Li&;:##оK&w3_#=ns9OAzHh.';zA -}qf_^.5ZF~nL*NpCF̠i@ȡEc4rc+5>r"΍] ů&^ YcuT~tf3L/Qz?EI AR. 7ȽgHP$N 頍j_fUQ0E:mb]@4b n&9d('XLѺQ  G!La;C4D~n #ߟX&]PBUB]LA[\z,1z}.|CYWQS3 %\EC|ݥ0k-s> .mK7T=/UNCIX9:WaJFwNk7th`e\H(!(O hQrok .GF*eg8w-򅮜C%k*!iWtl` Uk KJfm%MfH^tݵHlLf c,ܭMSÓvy] r)y4@ $3ZtR/%d,Yr`4Gc m݊ 2D',ԆgXS=ܤ#?śZ:yuk0@%_hY-@?V֡>AAtGd= =rv> {l[|C?Wr_a$W:ҾAGj*r%l{ 7խ~6 ֭+=jfG;Ipq(s-A*`gPvU/t}MnQ#b'yU0{`fxS mnESv9}n2\٥x!p[fRּ\&8n`j+пhRh%p̯ skwvhފ3,ڮ- }pKɴ݈WΥd[!u_9f ]҂3hG1zװkﮀɏ4gU<boǪ-cvq%/#ϕ\e>`8$#Q7@O”sNnXO {XGdin/[Y;3USE*l.BdUPV X?`fDz,5q:r> q҂xF3l;צ{H򻄱gYZ J 1=# $HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! %i]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn +(%ځ+z =ALb\@HDE,-hzĸ2CA<:BGjxhA҃8(R5ް{0S5d.|`F(,ZE{$iEӉrM2w:q:1I/g<s\G PAD%?  NZ)\Ӂ&?;[EG:Ug?ۮPpuK8CZf@c9Oӄ^ {+u`a /UǧW6@ 6;_뭰l:,- K F0% J[I"2T2=_{B/R@oKqAņ ]">8kt̹[zDGq8 1Mr(?uʻy Tt*>iY;UCbkS?jptOg8#eįIk4.!)7hp΄'zT珇b3Ij3WS>^Q~|"c@uW(+g*Q{P?!kT'T2WUmڽ2zH1m$V3\T.;8Ҕ=%R'0k(_Ζym<: o{WڣlWLiF*mʎD(O(w祎QE(M{i"L -xpx,Nnjv\"  !]~gO G i51=m]gpCd+)C] +ֱ$YRq{|k&F/}[f=)ņڅ/K9'_~ Rhve W+,iwM8lbF7w/tDWe2Tpߍ#|2BS3`t$wCk7[*T[QPj\畅J s8N{x IA"Ins+ZXV ?V BBO༶TPuA#_w rsJA o y)J٦ݿ!CgZ򞞆m{R֪qvBΖg=3we4`NJ`i"L ϛǎ&:0R;ޭ?lfYF-hdʰnԱ %*,/UӃm$~E:VPC_ ph͵kiѠR&}HJV˴DhlN$^#rkQn Nt/ faoo|Z`c~>tmD.ׄ,yq5I=w3 ZZb1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id534w1=' |HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! w]·Iq n[:|&[z‚N 4`WM*lWHގ4+iN+Ms6=nuάxk%%u~ƙe%?$v~] `FZ/KZ W+3cA^/UHBs_= L氒[r#@.X K>0qh7囍잆 )j(~m+?&=X ŚA${gQQr^.:q:Z F-zN(4CJ!IJNDa#fxjU`hr;+^V= rZ}Y5 !g3;2_y Qz{_ '"`&{88i째;s>ikeܘM[.ʎy%8,7ɮO ͱc42L[\1֭Pr.daj41rg#kqPÇbu/(C`H0Pl^\%bϧ1' H4 yqfuLc83ғD~j5c~6񓷐rUŵ;m%*Udr+)[1W]h{|h}<9bZ+0pKN(XŔ`KWz)xI?ѴPOJ;X> 4S%lrclS%&W?\i؍C((zndCƲP]3"{=0:.Iq<ʰ`iSվ)hx 9Ԙkc:ՏǤ j&hbo b8?u|'H*v̡EzN% H.~A _.yX!um_@}B G 5%PЮB閑ew }O䟒T粄\~ylYb6VqTȟzVS\|h4\F\g}匵a]T&DƚRdyڤ!EH MF[WJSݨnQ> DxriB]|r=_nA%ųO ZN>kLMu}u-5gGUa&WG9Ys26x~[}fi DdHĿ}~H KbZ45-to9>djb ` 7wnd9ϑ<"5e ڐ"qȎt'[t;pͰvZSPI4UTNrà-=]#F$a2TKjgq\wDCT`p$D #=uJv] +k3o|ETgB^ފh]A;!( 9* E?<-ӝTNf8="5t4߰50e}3a;gL nK_09^l1ҙˆóİarE]t]$cogz6NhIXMi|p25dح;r,>;@~Ffw}#ę.I:O1sLa(8qTU#VЦSV͠.ljGD1x-^ZC+ {+!A2*sgYZ,B難5iRVa?,#j$e>#\0'dOlsH;2uͪ^xDny-⎨+kYp2 1_b) 0; J:)ZP`Dt'y5<)oG[Á)YW+w[F~ה:,o=TyN)yvg(~KD\jV5xm7?,,]]ecmw(dE2MX#hإmc<+uR0nge |DíMjk%0\jP[/*ޑUj COu7uwtEb_)>m 6.EL7r#@y))]W_Ec|m͖qGhOW ~(ʘJ6+e~D5Nfͱl `@k/[sP2=&'sJ"z+vƢOGLtWITH  AMpՌbTsU*] $w#T[O&;)tǥ@؋%L%QәSqu݊$&ïkf]JQʳ<`޳m5Q>]}B6 5Q7\c#<M^MOYuˢFL(ܭKEsS(D{ BeAR y)8!rLufHyRs4ygη=B[d[/̦xpG rF2`#fL9\L# yZ;Y5Vj47-|ޚ+Ȍ!9&NoiZ>A%ENOE3uD8mzCH#Ÿs Ae@$f{\U%nݷ^zr| 2qlP ^w) bTY8ÆU{4ᴮϮÉ,^MA -ZrZv^o5iYp|J$~sN xˢ-3!|8h-wt5X liIW#Gx{P6m$(#{~o^q(?u%,r'&0%ӄ:ʈ\{#>-č=;ܥgX\(!v A8]{KVJ}?!Z աj*l_=#Rb/.sv\v'^:bʃ 2~Ze)tv"Ed}} n1x s{aA3ݍk؉:5YT)PO) yDO45Z5zRb8M Uר2C_[ƞ)5*:n}KJֽD)-Fǧ#v%,"MW`YIx&p$OS}n>ljXgn 8.m+Oz:MԶ}{%gu˴ΰTCODr@50P8^=L5bRb6]俺k͡/A Qr(& Az*I''W&[lB?+[69Pv Y K֕ߺk_3L!'煌4 >p^oaug3 6#{T!C 4<^-ˑ_dG]d ~wi}U÷2rۊ 2`09PizyYpavNC@mA28nV ?h/V<i(0Ror`%lٜM &r*YkC~`(?eqyXI]& Z$PGodͯjl,Cjen-*PD$G3z9 T)kg.*-bXkѓn k}K2gO5K SlQ4-0''ݞDhf3_WlUQM/ˏV鞐.vJܒ } R˭67G8RSj'&kܔ\ٜ l9DͨBmR =x{+3(X)")L*͕cD HMDAtcHu7Sa26hXGVcޏ(Gy4B;~<=)|*C&>]1.oLܛuXβF ѹv1]9+R)鋾3CPb@r'q<[4z0ާ \)FP *X8f//ևۢB5`D =^SmnVcyUaZ>Fe 9kV%©\l㛷^ϫ6ͫW ^$eK AkNTSs˱, `_eϊ{jRWDO$Hk{Q|+Nge;3yu6Hy) +'ıgYZ  bd 1I# LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%_]ˠ)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 rmQ?e gA?䕕bt. wMH*\zrAP)4B۟]_;Ɔ0os?t?@HW]جI^!a/+2N&0k&(:sHQX);RďtA0FE|e(ZunwWRw_}o1 H pQ)'cg]>$0aV:+ɿ-oάv)7:\p\Cn ԶD5JyxTNRUXY|.u>WlO&I:W['MwN cʃrYaUgAYi:x0]aG*1]'mObC"b}8\QBqV_~գg8 \VV`*Cm sZF4]!TFANvtVa7r?4g]\dMbJg\A;oqv둔~l}T4y{=n^ք{~ ]vl&j|*lRNh53m(?of惱I :b7IZ,d[HK$isYdzQe"hfOP,7_$.sc@5jҕhV[a;9j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id522)1A' \HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zΝaKR*c_1*'^/l[Iy6՜I3(d04w@;tzo!)Ox֘NADuhddQCBz}DŽE 7ղNƽCR1ZL;j3LQ&<{Gx?~Oȗ|yʽq)u#WYo/Gז*3B\QAam:ɥF)DQRs{,Z'_{xZ_d{x魙'|C֊ Y ")qDܘlf!1)!=ak >Bxъb)%&eCrՇR8 w_.WH=W1A# y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY-lWq3oN}'##Ʃ;?g'?ww+!`kQ ݮOX }>'`t}S ٱJigJT&x5󸞿 4rN*U[<)ƺ{&kAuG.Һ,2tT9췵>7@$P6&ptGlgi$-߷ЀJBMC S7_/CZ!T\[.Jtx>~W\{:j>: $a3~J7CK}e@oQewS+7>n$!SkE]iReOxGCj$1>T*x) kPth08QܸYQ"xGc#pU-ˠJ&*K,ΪIg)KP XB^'*;<)m`?5wd  l3~ǞQg~~'a`;C/$p#gav3Țm\T@/mcExz!oա.:6iz@D)eDL8N =tQ ^Qz'٦(N-dXiC+`-7rtaƟOq(Q Wf'8[F0x@u4ԑ1ԑuK.| t!_5|rξC "2[TX ލw.o΂fȇ~/Ap3yIֽi3t_QQ\Eb)m8:]AxJ# !)n[_D1ߤ˵`{[' w>_M4dfhk3{t|9| "Ջ.eEhZ=J${"Ѕ 9C@UP,Ӑ-.|<}7T\vkS` r]#8i$7s'4Rf.G.}̸w.2~-k䪿uh m4P%fޠ^؛_ygVt9k)72+?hAAL& *L\SZ!}q'Sv5?J#d)KAq-_Qx2%>C,pfļUЃ͋˸A_Mr')3q:]5 6iWXM 7jKW2oW,֚7n5%*M[_;,Lֲ/, JGj{\>N{EfmoC{ +17A($tT{V'N,1b'n ga9kcAʼq9<8k~*HHOG#x98.Ag{2 "rBC[ @rQk-l_Z@2BsY `7c F4' d@oԪLȶ)Wg'EASwtu 8@L`g_2)(AUPz;$j`@!Oy6o]cb҉,zO?@O0do6"G ^Dbx.}eNh4rAt{FH ո֘6(8AJQMT$q|'P[wg^ z̈hk,+aUnA_Ejb-~Z:Y1;]Ю]M_u%OAj^!j?QM]cB9O )N';ؾ!}5#;mȘy,{LՆ(\M8lbHRЖ0z% X]CD53blQNDBJ UYe@l{xAlUM8{ezZ 䣅7 8"j^]+]F.,ĺX bE*1>; "1SpcQV~ mKW'NW۔oWw5c6 0!hIs{9>^t$L05וl^ .ks⥐/ Qy`>ʚÍq5{cn;s틵?7,я8'eoAėDQY5%;<0K-Gg WAj?ҸBs?(F?&VWNȀynPz ,n\›Y0SW#n^6=nM=I]~W~Lv SM0;w {hҨpw{%@~^ f,-mC>[iriw-}]O|9|BH|9>4%ziԯ2dW8sJqCAMt*ٗx ͝jfO&^nے=:.0'/C(@/'{2 2q9 Xm'P6#MKx1C| `5rABʉrol[JFh5@K4 LXfq l\*Hg&Ś25G)vh 77%LGO C3Ө7R[`B'YҡɻiSB (6?J*}AoR" ဗ<uWzUQ%͒v,b<WEt6QDCa,]SJރ9 6*܊򈂝#Z3cL߲$S|Z!u;3EidBV{fmMki&k&l(3#?^q4rTsL1X-wPV\uLD 2w8\J#"k氉bW%^uy'Fw}yzLOǦ/REųgZjif(gćJV:)|7VbueŝAL!1c'H>?Lgh RE ~/GƜGIvmuP)ӍF߭g2<b=MQn rwwd9Di%p p' "Q 'h龘,ē{B˿T-0*<(e:oj22M1R44v?f YԒ}G]z(dOڪ/Rlndh&iM>zVf-lBO D#kr$N,2&@੃_`3ʘ${{ M%Al5^f^FZoف I%s{Q&}S)C>kJ4 \FXbvnjfJ/'(v29ZLS|_e<o) K̹)2R3i@͢#5 lR6?n[15N$odEJhW!{>f1kR>'^B٩f'(,`ye_Ct&/5Wtw*9 aV4L<"s8US?7_p+܁t V5N22v)Zz7PgJ S#{=tll׸rb1A|Պwf]QRY!l$ e_71ro"9b}oS֧e#=Aݖ˿΋:aqV@HG"ǝUDb=X W-mrgTٜL2.9/g*U(hhtYG K9B <گap>\ <C?oNlrӷ Yar| g߽m_.L㐆Got g+:eBF`9UE+8QiLTecbo{sC"q}ΟޛKX"š0q|hG36kTx0v1;cZNwj3BT`Ëc2G :WKE&?wL<Qި$]FC0UPwx3:t}FJt2qທ8_O8l8`b'GRfk6v*h+JR{Gaq'jwZs2D8N-6.~v<(tVE#)M$6(6ptuwU>VPRVy/'M"@{ Sq'1a h0"]ao%ѐEdJlo!ؽ?m~7]ثBRˑT^"1qA9SӍ'p즶h .ha>>1b."1?eWm^ (‹4k%Æ1lPH9eDa+͹D]Sé|}veqST'B{~fLr9VADJ-Q<[5B<y9;{?D*jW8I:8yyh/̐5K}?f67C^3f+U%ՓkxhynwՌ*a6??#"8dkd sS*P1ɔWY}*rf9[o: "yth\]d!kjYPeP>=5qr*gKmriLtD-T',R>/e*7Dr,[Ht|#䌵K8|eEzz58.VwmbEG],v)$ Naz6Z}CD+]ӻ0dvlQ&@8SPwM6(h8堺,t<l~<@$7v͘ 2]OpNHIK(G6ud^Xχ|(Ҳ\\>nhzM :uWX=&=9sɍ]FX:$8JŞ$Uзz6y#+(4-^EvwFɻ4b/_S-_(,H;V\?=$:t4EBb/]@˴+uT9IMDh-taC-sИNl:MFS= >J=d]Jc&*8$<%0HρP ,=G,9#0>˔I TqN3lZsy Tcقar7ALf+IevSuXB4\?sF@z=ԧ0}O^gw.8^Zr |Xgh>]. C,kO1P@X: < p|Ü̠@>a\448N7kb &Vm1]Q2M/Җ *+bBxI꙱\pRA.t.1E̟d,N \_l)cؔs56w7B(xP皧pFBp1{.R-:F(Q88C i= :Ib6 cUjI#ؾ"e)hA&:* (f4Iy*M+T؍G9[B1}[dNOKdݎHLRɦGncP,\?) ?yv ő0ӣzsz{TzDjh!չ9Zsl.&I跊SҊ܃Hh63SZrZiUʑ]WI7KSgd}KNf4qA)J(tLiEj6&UfPqh]|УXk0TtF`fخ;z9Pq6`+r6Sٔے~K1Wth̉ UT`MZ3c2PE&d>?j ֬OZ1iqP_ѱrS yzhގIO_P]oh!3ݹeB+ Ty08D^sѤ;b+,ʤ3{838A@;. Px=dYF~ ~iE{G;;T0?3j֏Sv4?fv9~2+§tbӏЉ t|x$n5a$O,ױG>A;=%?AZbjڷV`S䈎בIh /*0"WẦ`"p-]QP&j#w۬Ŕ2=f %Q>]HM' ^sѣ"p|879sqHu_ xqM@N,ӫfmwKlרeaK\y8r13 Ql]ˢXHp0Y 6!sdCkG-/qh݅>>R^l7w phTE4,h2Ǎ?Eq쀤xD%^e>T/|&3@Wy_uzkl|ȋJ?]EC}V> Cg~F L/#fz 3.0Um\Cso eyn\ } #JxJfZ-?4zhUYf.Qj (xLR N,L!AA]q['TEpڹ$/{6Rov+SRl}ZA,1h0~?q'd峅zc,گu W&ZGz7d?KpэD*v1uV)~2B;\_&moHHM' @Ip/K J1~^xLo3(jpv]#~`VC/t(&HL'}}u5_#ׯeT@*~|'wa/cqV "}a]2Z^8<77RQK ;q AEyؽ٭mdžrjx@1Wr|n'r|~5Σh{k\0)HkL_^ ( 5FC` nJ۰ z+hOMmAߗLqnd (ž$Nχ\( pдM&XMިn [2$gEBrY޼9ˆu.}/=8pN̚:XB`d%͆с1%,4eq\iB5_k.1(. urx*bʜDݪܔ$$ŷթЕcI͸Zh2uaF6|.w>h9UhR$x \fUUi31#9G'渰wovD2k@d&')Gd]N!y`(!w&i]VM9|{ H{\D ƓdWl$a Yr>k7<Mys8iTaځp@c+eHh⬮|?JY*6=l-Aո_ g&y6Mo?wrM-[ c/аjsPəwASr"d9tYf'cV.N O>0L0.<Ŭ{ތl ]k')ta'<z*_ZLQ(&ۏd]qn ,cb%Gw(6ar3sȄG=Q ߽6]hQH(02ǘ4q5)ntI+os!c:q|0 Vp++n@ S8-Z+Zh%۩tI9BV ֍+ט4qֿdw&Kg 7d,33)60yĪmXTa(?h${_ub斘`kIBs0E>ʗԼW{/1_RhʰO Z֨|^c&/V !=`}MX0=b ȝi8 z&=qwۧڳч$jGH(WH LY7MT^fԺ= .I|0kxK#K+ls˫-8'%v0a(g e?˚ Wϭ@jwl¦45nHo%^HT9`c&_C$Ce=UFq`V͘{cP]"cr;s"S]wI{|G}tsRWo=Qš Hrx&aa4`XV2ynl#<d nwSd[=!zk⹈.m{\5k%{W@#̤()uch"`A%;LлgYZA" 1;# HOL-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-?=7'3cm;MJ? ܙyvo&.6y" & AM_']BM _3_NP:'J]Ez=zԔ198ȃޤJeoD|j}IVO;[2䟓3)j]PjLO¹V,GÅӝP4}k+ <] ߨՂ$r;kuy5JȁD"b"W-m^ C@Fyn,oNb\Vy9'cS a* nٴg&h\{B,k-lTt^8A }ViF~ h1}axɋ2؟v> '߿!G@-UJNn$V0H2K/Cfˮ 1? $zK|S Dº23ܤY#P .2T?DWU-T ;Fw"2Y؊#OÝ8Á~}֩} t+j.ĕ JQNWpXoe;c X`&W[ Y<>]um׾mJnٙL}ER<:{C72t}Zf35† ~=\Itz?UysLUrc#|I'w>VBKwm2g jM_{"uO##•g ,ktrH&&}.`ɪC$ѐͷOhMG \ʫ2Dqa `(ëZ#9R-#X#(AkZC`9б{萍aA`<]0,ꪹ*Ƞo=<˺BKzy 5Cv.]{!f=|Q:j ?~5rSX_E+XLd=s1ߊNwN1Dv ?ud;t255ڗoO=C=5 T^n zb!x!wBcWA!4)0p٣  4 ez\j ԫaiZiJT |aYMRŵ@M"i :z$Tȁt%K-~u-?qcf {)?HX VmVu0()k/oXARiKf,Fm-.VU .jxӑxJOoٞCɧb̛/Qlf$PHb=s11cXp9Ѷl;h_/Ju?qLx? !- 76;ŷ).E 9m|?v9 NLΐϣD )Sk$ w,u2TSXA\!1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC 1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526i1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (c]D?7 {?:fH\x?@ĵzP#GVP[Y3H؍s)}7Zwiåڹ<4yt 蕕USR OB0Sb\,wTPv].6wՓ|29ʇ5?2>AlE4ߓNA%+!R0Š$ yľi dn6 _/AlgCo[Iic:T 3ߗ.0; ް! Q`fy7ǒ ꣠JJE2/Hw0}BK(a6-AҷL,!E xkcNe oW 'y{ـlP9zm:DO}S5 _oR&QY*ܪ|%mdR+1p;(~6U}Xd"yd/ \C xy<~WG|7iS7,S l!8[ԖH$`!#5~f*ݶH^2£!n]a?bpQf0gYZBOYD-KwqNQ`CE_M(*72sp%7ap` #ol%M8m| ,X]TLpp "|c,?Ŋ %4{~{18͍jܠ Q\(V6OēpݍTghF{FaH>zRO#tpjw?wSZo,hd }=jf_lUo{o#H e7Pk,4<[쁊˝5%Q^Z_\-I3.wM7gP0CB|nhu`K3LTE@"mtNуc #F])$DPy9 jRx42 E/3ak ,UQ ։ڱsWW[NzQ.ײ_"Y0#Ќ88_J~,'nP$tzӘ Ou]]O'_:vwuoJ9_s/|QO|Bd.xKlЍS$r8QVbyȆI m9i_Hduo+I pXqb *r|楺n<w[:i˟Sj ¹:M|ѓy "h^<⩡R8 ԫq́bHKD#*%ٸ1@x`k+y&4og,^DzA_ȄsuJ*yͺnR-yoq.s3+Qwzyo,mF/_x8rcߡ2d= ^LG'1)|A6p7zB.XIB 3u@Lmy_@Wí;|z~%Ȍ@}r{r<޹k*ŞR:yR7"9*ήn\س ;Svֵ1o^`% C0g7t$\al#axǿsTt hR*1EVB?P].@Z q%Z+l;Wxtiﱗ! %mS9C p` U󁆆0d9Ia"9$ QN f_s.j~n̻d=b9}z= ({Uƈk" > <ҳK.I2xAZ F#'684sTӇРIًdz遯Gp\ƈR˲:v.}ڷw&.;2jQcm}< rU+l58j&~%5VO|Gf_}RR8Sk'I$'mG2Y!f+3J,,ܰb`@$+z~'p<ʎd0_5\O#W }, MbL'_*7FHD|F d2\|$DLk Ů7xEt(D~ӹ3M_L%[UɮƍDf*ٙQ/$l`p) U. |l8jQfh)kؗ˜n/6|IApUaH/iY1JxV(% TlAEL@GNXS5;I|3D{]$Tr1|< BoX'SKCd-azz=m^-dmƁw<hĜaҵ&A ^`=Mjtĺ~H-0% p2ӳ}kd#iޗu~{Cki)j&o!b[k&WF2[QlL\&v 0g)6rZ㸲ѡcRJgsi3#3sze{Yޯ-w 2YKd*cd.qsب3A.,:kz6t#z񹛃ؑzlr<< lȟ]bPvmɮ!JR1ԥSةU6X蕴涣ece7h`Hn˚BN}XIQ\~ X iQ܆!Pg{S0E&[P5Y6Z$A $: i@YaCVE {ExIҵ u kЏ|bmt j UB Hw>)\uɻ".k70 63i'B}@vڲYm~7GƆw.4;61#!5T (xzX)l /љG,w)av3n9jy|P9S= $oBmRcs ۻWl]FpKK :0gAwW&$n%yzaH(ۙI6#}Ma2NM/aK01PRpaJ೵wPݣ &CYoGUaʾnҲSd)`dO֍z0/|T\W& pN}atT8/96®7J -RkS^[MT V -''g%Xܒ8e9%$4t3lD˒lo+S@Ye }oD^_;>CU-Ra`e=dÙG3[d<{x0cwYvl 'x^tuyɟ}0<&2v%D/ >nVoH p,8m5sښ zjbX8[=x,PTFoR~mRz&:>}0 y ކ>b?ќr\w&odnE>OPoU&=t>HdƶB1嗸è/On}(~Pu+%ֵ`kǫ9﩮)MfCb~ &t3-:d/=DxǻWSY3¸ymEj㓍jmbԶYQFХE]?ނ1MOkϪNjdg9%Y}϶4.r;S08}ʁ7%{|̲\NE,AZ^g5 _ =Dz6۲dG:Ύ~]LQAR _^]1a`:3X*(a/{VSAhf? 1EgP"&+창 PEi #hcYn 6i ; L^?1>0mTbzN;j QM$>G"ڪYbt"?ݠ%%J}u-Ɵ){%-hI&ѡL@&윪>ޝjO|4weiZ c*xf|0TEg慎W/oNTxʙ]}&j̶lZAuqFEϜꬤZ$}p'.𔕦e +8֕@1>,V^}b`Wk: Wl5.&P3l3nun87=WqNv|P=rFv|K޹<1Bmtvk|J`ɽdaCAPAdѨv?)[:Y_qN:8ITƈrbm03 !}ah i]\IW2կיa;vta}A"ܺb$2Vx܍(vU0⍗K7^8e3+nԋKw@Ppiv4MKz JW.&1NPpqIv>E@3|Q5wCYw-5l$:^%xAs#{R(?[aP[pSɅs!J3k7>1xS &EWemHE[}mؐ^в,A~YL#h(zw݂"l߶t_*Y-+,,1aTR;`VJݮ%٫ˬ8MqQ|-#0i75(.$![!S 3Ngg_SU0g|!ԢK@ 䱒r3!ƥt>AA&‚k%xb  R_c#)@^t՞TLJ|\< KJ2Ԝt洹cEޓKiĖٸ EnIl666ym)My/f  b_;fCB1RͅպS_./k4/,ଂȩ>yF"H([_, )+aLMuO-R6픉ɫJImgw1 [v?z΂o'_of1ڎz#Po'Ql0>JkˬjH[vRLp?q¹^88h^ܷ3 %@zF?jȷvrK؏b|nj=фTze':OۗVoօX1V94Kl URL`,za!0UV2Nڅ T4,*G3 /=_J)N12Dzqp16<8ik|!TlPnĵɮoyuK.b)o-d|y2$. =9<զfp2/#qJ58M9~+Q˿_B gĿ",;*.ki ^͜]pa /aw=Z-,Ϛ}UfjzdO'H . {j;am7!̓ͯ7Wێ=,*?l7MKE{h44B W0\k<n˃D_$w'̐\"AP \uma-ð+&,t:]l5$FF% w;_Z 5l/} 1g%Y7rBT44XA[GN!0+&35"UHQUkzs/.kٌM ZZ܏+xU| K'61nr߼hL:'iR֤uSKb[o}mRiX$-&0)֔sn~w(b*K8N$ڪ́GQRƇ!e*(z~Ō\wAvf-ՎfȆ!~c?hXd=ZKl7 Č!%e1`U(Ozb<;su2dq]]Xya̋cgb ]pi.D|Ҹ E "?L:BR\BDZk|"jta|PrP"Va>:qe k~) _ U }f8Xk{&oQ$MdELȖoզXD]$bБ+0j:ÇB$P?ܔ Cbo&(xRVE.5%@-;#c|. "=qݥF)pv6⇁b)EU`CIWd=YBG8Jȥ`ime2n[Ž~t.W|*Ѱq"Ά N'2{?8kWb|UQwL,AnHXzrT 풰},C:s\G`]l=336ޫ6+$~£L'aF̝[Pr7#b48_zo!"Z ݧw0쭓֤k}DvRS1>z%! F1R,U9_;7K%Kahh|i705.៉ Q#@2}/3?!K!+xbJ]c>cg$\۽ARYFD(CI^cOn\@V49= 9eHH?Z"a65ڳxUiFa+ZhAϠ*;«CY",lP#| UVsZFQC]1ACC _ڤzXv%8<'ѨӘ/xzL*YVrY' xbwG:b>fY ]loR} ;!?}N4NfϬ(Jw+VέpVp7ű{+dT,kq |iSi JL%v tw0ZrƪHu ȈfW⳵#Y߈K֌-\BA+~K=N TYfL)l hܖ<.bx%<9ڢ8 -eJ .Ak#_ic1/W꣈bRU-Dnhܟk GuK7v6[*){[6pV&{`8*90 8\8?b\IYSy3ub1&ڿ2ܩyZ-9e14՚ho]OLṽc23%% A`ܩԒuE8D{GIfj)J j(0XoMbn$}޵ )!8jmu;bRN0>(-bTȦԿJxD b:=/Lf!aۍ$ٵ}K7+CjT׮ognc/h f.\*t=LCQ'3HT.#~|Q`RW0m@_ GC6!t{(z6.p\?Ncўθi1Ǿg1 B2h9[*NE@k&vh qx5Q^y! aX41=]TlAQ{ESr6Hp7Zd?Q^*ɰÄPBه2RNNCԙwڳ^ĹmZ4tDݒ\Tj3"f<+ͯ?&/Q;d5n _ڂ^-jMtɌ \Ni//6XOoϤU(}JL.~4"gb Ahxh|,bCYK&OLkMV_<7[p}9YPmj BM/Ҧ@4ϥՑ\H zChZ;+wJ)W_4OpƷ-;[ LҚVDyMҬjgwhNOFZ|r+UU. q>Ls$3Q.xXT,] %hJ4/\+_1ylK 0k c8b^3^|ofjn?lg&1#-7J-)ȎH$!<~++0\\`ɷ8,T1jkڂJф^E &vO'JW/í|y&~N ۈ^{L2ruq.1Uf Rસ$ۛ[[ jI\Q6Y^aLأv="b{\04~JWV:>mG]TBpKLa  цGq rY iFZK-Bέ~(KoɔaNь*Un5[.IM9uWBX_gwr}^CX(;[t qք}GTo}R1ڹ":'`0A›)~kSݿi#I3x$n#X!Sg9<)ѭZ}=Μk&^f3kw@'(hV2,.*,ԈKGwYC^HTa=[@^<: 3N'nmΣc PHG:3ȯ{LAncP,D, #gƲڒ%wwgy:]px_r F |, #\-EBy/},.htsٔp U!"0zU*@"/Z-uCJ ;a0`:vL g}e9+dCI/;qp-a[ Ij9xG{9ǙlVDe;I 60Tpgܳ1[!k[lqI2Xu3uhy,Z؟GyhRbi(w2q@\?RB8d5YpYEӒd=qz^QVf(Ux{DqPҌnR>|g PѳȝNkg#Q2BS. t k ʙ2+qTOpU_xۓ_s{$`h0+q1v.c9IBƱ mxP?/{q"RtVk`H)>|Քw$ $ݽugYZ \ X h \D, 1A# HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"3AeN/xl Eq[Un"u2cVEQn,0G9uK]\&2{Ҁ2iEq`3O)>Z<vF@ tz6(vpp!f$[ D[պvԁ y8vjmG, 0: >jDQp+Śm|6Rú~&4cn;%yfɮ k2M) K:\Xj;U\K>@9rvIRS _SOg[ _ G>HÂ?\bDIFihw”&klj+40&!E _6_6O h*rlN2w—g]׻"EV|x?qNPOռvuzڅB&QЃqP9X4aW5C[ݴկΰ΍r Kbn53w[iITӷ/Zc[N?W*34>O;^։;E!:J%9@wEƐ1Jɾ_IDL\PTH||2^<eT60s.@^DY+d.*$q7QH#FnH&䘃b o&vϒl|E5*b1ouF(GltڋaMA4ˋer=~s@ER2htc^vk>G%g j" &(1oTׇ\Fopzˏi.rj-ع5_jTRKXjHs %/FOu=mȟ,m2v(2[XNUZy3Te0Gx٣O ֛H5fdf7Âsx+w{Ӫ4\5P7)6zKdߕ$` fZ^@Ŝӏ&bHl}v3C߲aړK2l]h0jDn(:-7zYKmnތlkp"CXiDDRe}|{ڳ]Yo)?. U D'%[P]n˸jr $Xn6Qj{v4;I@hE>|CKJ[/Aa_vќ'4_vN*nӓn}?1)GJ;6{J@ӦH7D^N0*%Nnt,dU6;y if_|N^& Zޮ†䫗4 lߐD_du b4u+Lп/@⭨ޱHM"DJHñA)wssMfJ5A[)͌3g.H^WzM NzKFQ;LA` F^n૗HIrl#rJ(fO Ϟ`$lHkKxY% :*]n=:WCdB؞NdFw2JQbtG4fT^ $8XNpGb+1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF*1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id524() 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\/ձwy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy}v_(B HyB^!kb17(sEOan$GÄõb;|sހw'_Tkͭ{lXɴJ@ZXex% A>,]G]ci'iئbyɔ `s JCF3C@ƃ۟#5}eqG@^OHP,=Pz]0imiwf_Zt<T-֏ 8 X7n2&Zi%1tF33>v# "eTRT3ik*9B$Bו4fQf@cb>o9 J!K)R;:ݽ31SF qtmWl(?Z4aƚBf(2_bN s)DN Ґ 7'@jѬMڈ^:>.z̞Ƣi7m~3ZEH%nhWc*hFssMwݩ:։SLFM b[B[_CwzLbê{g?؉8TM.SGmZ,3`^ʚiލ!i&U5RlU'(avg#?& ݣTnMP7`G;\!c ~T-nV Br/5BG,;,Y)I`y&Smb ҋE>Nԁ ;.P0Ca3>d&1)y×Md4ԅ"ڷ\0Ȇ}V^]sQl@;z+^M7.o;3T XMm5Ejx,ba$wuZ5Eh灐@Gy1[CsM*?UWyʳ里iUB30FE!oric/K2AEYd*mBpI47;h`.eMRX4 :>0ġ"+X,4pNW?39RW3 S|;[ۿt+1VC b5FW̽ ̧ŏt\TմrWC(;1 4 3Sf91lLMᦖȬmv:^pL,D{dY>5ci`!Jm*PWʵB? PU{ VrOn8@^:T7@P3x8,(uBӌpφ[gJN8f? n4Ա"[IJYur.tΞ*o ҃PxO}]jOxxޑ׊"[UIiԮhNU^Xy3kUt]pxRY3RWt1*59'p]z<\(jzů^NTvC„=;"R7~;jW"Jt 'tewuG²@ȒmI 9:ݤHcL%/[cDPez{/ЇSgvVΞ~Fѻ`E]ꐼT 5ig%#&TkHbf`U6KjQv}r z:Zl3k Mf4a2'YomV>W\BN8KCu07UΗ9vt>"'-iidt.=vER&4Ƕ؁̕f% !mJ!QeT;"[h!ktk]S (#J#YMW~l1/΁]8;h vCGVQu!y;`HWKT[_/5 RtdZiQ!r`c/QrguFJkUϕ?6 }ws#-YD#&HvQZc*"> )`\hԟhYg<*I,5пol۩ moHx=-JƷeq<P\WDH?çD NN[ۙneXgGs;#=:#.}c劉 s88wo䅱M7F)Bx/?0J^74t{6]dj'7 [ӹq_&ܢ2J[1*S8=0vgNV#L:,q)8) ^Q/U=#v gjr{gz!"*nay|a =5=&r CWC#VQlyR\^>@ZQ^xd&KAW~BJI^]k,M8~"N=jU{!O,PJAk91FW3ya5y2M4Fl Sn| lʂ/* m~ &n[!CMTu4'IܣG]CKUP#S sv8?W2u&G\ `ƻ-X$U( hњaY5W5TtvƗ{@:+"͇}$ۅ?p+ՕIIMH/UVY1|axMԔwDCf~\Ow;zx4X &} K+ |WY;'50t:9H?O4L9?۞%_d,IUh*872RAJ2M;Fk'r%y0dT]+Ӓ.$8nzܱ{?c=LpguRNt?vE<Ď+EF,-)edգk VNG$~BY򇓗׳Otgv<y{*6PS`A iz8_j`>LfmrQ{R՞ SAۚhiiW[4mbf2,8vYMJQ liՐQ /PϣiЊ#ΩUpf73N+5^''U@dS$I54N|;+ӚMKp'lf⯪BW&  _ Y_U'8h9I `6z[d[x)Y洛(ln37zxq~q2:m>?z <@ 1k,Y.#R8B `  Ll*R:d5 W{4᧜CfΨ]yJ4|l ̤ `lZL`̢^IE~x\i nȊkB;8U-U^e9U3#h߃,tr̈́E\w:9m1H X(Ĺ#mM[1[}ԾϘsIGk5e]c8&l,5M2͸02LE:ܩcbWxB;9da t DJi@X[\DU`T9jE,$#[i@8vAL7P}+T (OU Ve"[BUzyɰ೪BrD~э'͖듎 NYEgY_j]Z G g?l :4'cB Ct,}1K29(uy`-t2 BmS \$fOQu</3>R&*fJb~"qDL/ .qX.#/Kc h7!G2>8"]4I9H XJYAGnj ~̍1>آ !~prK7}(68P2P0h?[įķlڃQu`3=`nNnc~ҝY`wH(nWTR^~ yc5FHk:h뉼lv0@?: c}nn[| =jQf)&Z, ^1S'4J+#q * =ObqP҈^Bp3<̴.Zz {h & I1@tC,"a /K{KyeePJo%BE:|)氪7呑{ǞIRംF.ԑZ**N28:-OSimmķ!8^UCj -CibJ8Ɓn+0F>c|NeÏKn@6+ي&0Y~܎XӮVI##-S# i)+p>ZWZa 7Z§l XH:Mc3k3C]r\޻l~V!M4/OWmG41Lf|c<A'gYZHN(ݻSt,PPDzUhol1>t%: n'UWˊ:5\.9 V:ab$׳ͨ.2:% m`*nx1XL.$'ґ90Zome|& fa&WJ&dgYfƩX[G-ni̳ Kq[ kĪ>.Up}OXdlZdq6['?uperV.+3.x?[0JPrn j9Y](Ó~byAMgoAa;l5q4I<]PYglGg&{eLk/7с ,Jd%D@tjMFbōhye(8xe=wM sBfh8u"c^'裓 mRH;%,e% v舓2;^z${Y4h,(BW3P4~&Z1Zw 'FH }nC7! mAdz??$ JaJZ5H qjl"(К2iuy%.8nl].|L;n[i8[zVk.# ?zmMXt*Nk8~W8: ń#L7Q %SISެg|p($" .),=(^g7,]hN5QǻQco݋^H:$KO*-#ƴjb!$tw4r&Em>Rg[Ou/2~G_g2c%xe@?q3fHOT @v,ׇFxȨDO[#i&Q>w8?>:yH;#&kV=nJ#r=DI,ˆjf.5:2h:7 3|lgVCe'3VZk?y1!kRY)^Cpm; rG: s6b2w]snuOQ9QA="v+؎mCy -q`mVfFm yAw*o1i$CPH`ajYrP$|ⴡXBLCcƁLqp+ GՋKaq1}eA~u=۳ˏ*%o7-x|v嶇?W6{Gm lgEsYZA8C'8l <%+6Pw/i]plǰ zV]ߒ>iaE](YM`ŤDgiIz؞ȡE<)[?3A,Χ/[k2s#ܭ^/MCrȻ\MU1#`3?>,@HL(}PŠ{&C&r&ʫaH?.x1XA FR+ P\t<ڔ`s@v cwِvcԦu4#@Lfy#C[D8q UGW:|8%a.blbwl:$f,A&&}$8Le^;Лv>,CVN'.۟Ӯ_H^7ݦB+U^ja ضeDdAE؄Ӧj#: IRSsC?̚.#B ~428wi\R5OL@j%7D䋐z(1@ӎ)~%Hᜋ6ir~b +D͈U.8Mm !ߴmWs?J۵]H͍1O:V @%/l1]#?Io^c͕PD^誊?̧O!~1?rאz5Mv12աeG3 1NK <]xk$ٗ _G͖`p6~/ ӰHv0ﲁ=meq!ww?ay?y1Ơv b;+4vCPעnK^eEߪ" s:Y|Q-(׎/^eo <6*xRwq>@Q[d.WM2뛖!5H2JÚ}–=VpM/[uk)́eY+i ?_!iRx nAtO*2+#z 1!zVB ^W+oq=9x#'k(7cœc$3LʜF!3ӷk/q gf8Q Rlڛr2mY:Cb d=ɓ6IT3? PljYoX4ʼn ~?8ǹ f,I[MWa4DZ2{s3|}:,v.>pR+Fpł NVYҥK)@'8|x >'*BmrZFW?7As/K"ϵCVA1Q_~tqȃîpUO) [P u%lY[qSꔨ9CsEu}d)Nx9<-a>Õ2+jIW;e $'c+k&:r51\"/!T2TJ?FÜ`Nmb=v})_rHp{TMLcwjsFj>%oD"{Z\&3& Zk{uY檊o&bhMS4&Y,t]HZ Ďjz\6%w \/ξيx0)%XwCޯ.lw;a')795D-Uլ;  }՟ڏ"|E}qb.k} h3& рh@2ޭ7Ml}+~/9a$ELE^ʍ5TA 򕀢~=!n}0 f?7>z]$,/$GTk'\:jI2vmAxÜ98r|PTuF]cp ]3A?]ڈo^ X 4}RDmm%zT삄F"|.1BǺ-M_K<|޵!ׅT{na};3tIkLݓ? S&Qx3d\'KL,$Q((֚ A vt?My8E;3_$CҤYs7?Xc;[b3r-/]Oc4&lǂ.Z\E&j*a]x.ToHiGŊFyTmx%Gc='_g iN[Ѝ@wy1x.*ž ⭰Ʀek)EV6Vhipca[OlxJ LM:^~/ i]^9B],OӍIl/L*N(dT*5QJ^>VԲϊ1IdS݃$V nnP$AJDͦ调dбg^u-ӈ+1 L݁@u08nx}gC"tyߜcB!Nf~0ORIjWISFiJ曱N_x&}k"&ˠO(.6=v`3;X)6"0%]YI:nY(kĦi/s\!eg9s`;02F}zAa/7]r2k4+ubKd×OFɭ2O]{z* C傆;jBJj] xrJX铼Kã_ڰVM#>xWWjeiQGi`Yy1~}u> plFcA;8n?]! PIY:Q~f`1߸ nnH%! qnE)iUpڴmwLg٫|ỳ}D3x}~1RZ!k(ɇsvCja< +g}г*P/RKA5 KDk!QAoωfm}(7T+f5ۤ_FaD2a&K H(K,3#^-]GF_|YQiW @<(k48_ 5RRMA@q&Eԫ*w|̅m[=wfKg㲰IͶtz郙^F4iHiB&Gרg7{eF&yCmJgd=64;mZcxK1bt2N27ϰDŽvڪ"$HD M &j1mk#yb65\THbڦ+@mG!ِ#߼biLUࡸ𔦅dQJ+--ůH"9GO'TY ܗiBί!|ipq(VeFۯMn'cl'm#bJJ6LT$ϊpNte?fQQ;@^K *(jv('bSY+ Y/ 0v pסhA+4 2|*k(٧j],$I7g('E|/R7dD%+oFl$dMSabPpjȢ!Pf,SQv]DqN _ɍ؁I90I;ԉWkbĤ:uM f B۬#t ƊOvnm4N;S= +Vv3|6|@~"%U6)]՚ބ d)9vMWzGDx>^L+EA{\,%gA\f {5JVK߂S%R0rFG 'MRoq#^2zg1E\S>Ym$DR$kMKCI$.£Nva=vd-[>sumgya͝G[pLLO.D 4ă_B'/Qk^.s--^K̎0NBèc23k=J_&d?SJ2 +򸥥^iG.w1+ B}@p,fՈL+PvfA$aAޫתilqua"ٝkDiLK)xB A1gd] `y:FTSC "r}B<]P=K'̹k dE{28qMBݔ6YM J*/`5+x*|d-`lbFjD  zi/$ 4T,RɭqP O׺딴CGFށIu0h.Q:UZ vSji;S*N|b?XPLmȣ|Q]Ҍ- ό?oZ[&՜4`WT>̔z#b} 7bv6[sZs/NcsDñΔyjXS3JWzJiՍ^pA`q8mQ0jZv>vݫJrfdKeUVnH[Umy]b0̽Rc&hq)tʤu!"YG F^צ8f˶ 7%lݔ^Ҹ|X[Nc&Ghxve"FQm;k$9G¿@LoZ鷀 ]YEww'*qcRh4ұxs$h_<}=ܔXzhT'(;R#-0IŘOѨ7(4j9h ж! zbXuq_fdUп!6;J4t& 3nYGE%pA\&&JUJ w“s-m/;<E"k^ٱ̗v}nܶr4@>ᑱhW~ C\bG#uFc検i_RmIS 0)2gw36ᡚzC;+)VW6!p{?=2+`Pf6o*=s;2]<̬ ~Yӊ W.*. {ϔ۴u{gXx`fO7-WC;yf3JDJKH2\ҫƻء7rTNs[𒒦{㲀*c5,YJ 1+xj8DL.6=Xj3Bb+85Q@_bmZw=+x J/>Dׄ-va0CPQJ+nN9߽:0XɆr`Wc6% 2Ӻhq6QJCՎ!*@6Ќ &{o$}XǷ=6Ja–"/tTOw'Z0 峝Vk1#16n S ).>8k}Zl7.t:WYyX財4VʅGY#PMOIhlzSJC!cc 5/PvX @: H[kfTGT k S_{ؙ3!-MI"nO ۾'ߨ5s߸2Y4=FY.#0YH8׉Ko]J@187\`ѕ̏#B/wQ @Tq {+0؈I}T=m᪓-1}LǕ=s(~]"hU7[hGoS&&=ޙyu~ytC jD+6P!]0_T_:;LdP?Mz4WaN_]9B0)oTFꞺ3qr\t6s 8|_ HSà2*/.+(Qy@hi6;pIn@UacRa5ox(w}`?& 6lϽɞx  ;XែM11d.y8ꉃe C^ 'yL;WEʭJ\NpݠtkP,*KlcEȜ+JK2}"ay|)۵ %&"s@uP^)E` WxQX: 2\^KQhu`n^;}Z,:Tn܉DY!!Xb;(pX޶ee\ 7YbY=ru{]!$e?9 TVN`'x8LB{ا/RVڗB<:}\ DԦ[y^܈{Msrڕ#] ?(ۢ?G("uSJ|u<9ӅY6O0kʘƴDAEjiQ+fV3EQ#KHq >}Yjc6dffLJ傫  *^)i`#:T%5/u:V1ToW3|y!Gg[0L ˰bz71fsEYy8bql;7{F=UHkYkLOz̚zhlI{;C%1 =m?5 drX 4DNZLtE3o'6i y83,]\8SLPeZ*NUB3^^Xrl&!2kYCCK2G:k8l~Κb Zq䅥dʋq~a\Mx %oK7^8& adFe҄@Đ tO5c^g 툄|x/4h`m}uu£fNZN)%Y/3>-GJqt^`/`Si GD˲[Pf ~(L0Yy_qKC-w9oE< ^oL B*j>עE И%7O릤oYm?v4 8 cIϯ8 ?4:NtkĴnh_ Z+l#s@SF>24t)+RXý n(7? ^#Ӄy0r1s4 w\l)bO7| *˅&UJC|RRǚ4NЅhPO@:\aRfIƌ~Nhø㴦]}.[ Q.IK!(THÆ?;/<9r8i>uKsЋu*;5]R5zB#۠H| DIG#Q2>y ,e$:]:Fs2l O@{j@*m$pU9 <ØaHKPP5bIZNǂMN'A}%Y ɨ65!fx{w@#3^1Qoh% UfZ+dlVl 뎉B'Q;HW8fs+` 86xG@`4 9ԝ`M5S#"RcY$܅Ƥ$'"hOdhxkhyD{4 vB9e^fNr\f7 {C7j&#øX}5DEpIծ XQ׺^:E*WbKi: L~I VKeY6I[>ԣWxt4nf!LMY)JM*\}oioʝN΄WD4{"A ž5ʲ|9q$}Ȋ6H'$2/g5D; Yi|'G?eB=LW&B_i!btyDz7MC?2鍐!``z8aBŠk["U|p:o%3Oo 7OlSu"^]h KE1Qh+/""IJx>|S+ֱYMF3|G@O.֮3<ԩH䚣ў_ LkXE!Ⱦa-Zi_.T~Lk$C _=$T5VB2sRE>]m֢dSLU6:D p<6:D3Kۆt] n{ėt claSn+!ԦZCٳ KO jf۸t7u$$sAM(}+LV w'U{ӱ&pV;03&>{-z<ieN?l#s;*7CՅ-+5MK)x[扤`uf0cQ3T0SWM8h֒q{Mon۟I% 2Afi;,Lnt_Đ)ЅFxQijZd6F4D8^KWчv>81H D.ٷ (SQy誔dxVGnQtxpOgL"G:>o$"FsЙM;YXG-ϑ4ܮIНPw, py˫RS\td$a'>kY͙P>!\7t0Do{w龜s<|Yi,-Y3%\GekY8f"uq83omJl4u;$?ڕeuCPtš .HRP֭+r `򴊩͈T}}r /(8 VCs2< ;XY(0Ӑ Vi< A|IH`ثhh3'r7!Q))J{nqU> nuU.$:,KcލswͪL#k=:܊ Y1M.Zsn hNVg/K#yU US%ȝ?py Ca53PsߟsP8Ba|q"Ka$K?1R4'C},!K^Fr`D㇧`lF ]Db+ 2WX! /2>R^^ JyVԆ9/I kBo箝FFA|Am:ڲm2DăI;Te&y" \LG9}WY+K<)<:b! | ư#\!KtC~Gs|}ۮdC6R|EiALbb;艁G)^4>"6]RS$,UoV9A>hVc%s`3.(]-Oօȵ퇓*F)O } {Ҽ%/QX@|2 B6y?T40TYJ,P8gw 6q'薊C;1Ob-[r^L֚n3P2oM_ϫ80ffUx4UGJ"%rD=k[|C Zub"#eT,4u0CN0UQNutI8n!]@{~]5L{mWfr$-#)w/ S[a烼 0k _Fƻ4'N)3(=ϓB%*5X,Q/A6:/¿7xE_GcVy.Րޝ 4o&"ʸ<X Q܎q tSX6L6>`|7Ir.?Z^rjox(Dm1/:-վ3XJ) #~8PZ^"Z‡#yL6c2YDXt!>..d )ȍigo*<^t5=u8WgVsKFnȓz&)D17JLfeԜl8kSèܲR,G`g=i FO["ٯx7]'8&a`Rt܊&a;nw> Lb~[!rA\ =d޾\iLpcwwSoSKK}>hߊN$ٔU۝>̆.Vgb^k5#7[(^+D!T/EF:z| HQv95615Oz.I[o':cL:d$<)pBMVGo \6׉ReN* 7/C:#ha>r竵𒌣AWu$1]0=;plIB[D^~#SE-mR?qCWrkjB ގZ#ʈZ(s`nBԪk 'ijRw] uX*DbФt7yL"V.fRe qZGk\iק" oTUZډdjVc}Z+D}lw@Twb#RC}\:)!E*cBc5:{>Kf9=2lr)v GH #ۤҼÞc:lvlܔ BO}t&A|i? /kdW.<-)FLbM-$5- kv.&Ro8,=(2 g0E!^Xe9 $M/ QbFsH߿nf"?iJ:U}E^;X%,$t<鞻Y&wpJA'"e~P!kP-q͎STc~՟.UbYoERl#P$4Io4q_s˱αd>NP>Y+Yp64H)Dǯ\(oJ#@ȐqY5#Gr(m6Ml(-x~c.8|tߦQ[u;4:<^pFeo41Ty-ὙjUs}`3q0㮠ZvXZ~e K`+ Xaz_6ro\xt %aYQQNin=\"2#ɐm<4"'mlq}A1jzqЧ=N>(cʾ;NS?v4z[:h/CYuN5,TXz_P)|ۯø+feB)/X4IG ~d*D܉εk]s7dWt$80J Zz#E"|qagab}xRէpq ,4+`g ^Jwrz>2  pFFqFKcGJT1j QrJDd-i哋Z 6M-mX>!7YI_, FO׍kCֱHjlL$ T-Q[WMKZ9+#e6QS% %@n} rvY=(cH#? 5o4 ظ e2yi76;y%͈K@.԰xrZghh._c[_0`|0.G^{u|Ÿ,[C.xI0P>4wK6FC>1GŲ#hPDG㢉J:wuŭRAGn6琚1o5Go ?$؀0IC .(yGY(WhBeTnBfn*݄e%U4;!m9zm{:'6XKl]?dj\*}*5þ5R }RAg-4 Ws"XKZO`\[k2In$0 |ٿS}dy+".;ߪk'%\^c{4ذSu,,W<а8 d%h|=Y3ܻОѠAëxu(6:j9Yٮa;YO-UAbSK|"a| IoaJ!fChQ7g !Ϩaܹ(hb3(T5 CAhh^ԡ-!h ҌLOX,ةk#S G2ZNG8/.:;V>î㥕W Y Gڼ5WUnn( n5'Nkƫ}g4u֮gq"pg|7}Y%> HC]1I}a7ߗS]7miwg{;F}("3lDP";A ӑU=8bk8m؄4j 欔j'q[:#Tu׾-ZyRs 1A T!O:ۻ8 LtmA%#Ӡc\Zrey7d3$ [-j%|d?cq,֠{Vlف'ql)ps*'WqYf@T⇮"6,IsI4Jx[P!FCQλ <%[rp4tMͺ_wmEt8fv-8鏴e'G~)jݬy(lȕ/,4Tj>gFyVF͠b_[ q.\㦆Eآ8](rT!j+ }zS_,D"r>g3m2|UA?@u^u*MAinUsӏw ſx+Q}ԚfKy_? w7 S.)߶5HܳwxOmZo'@s\9[83U&tiKh)z$g!p|?;σiaXԙkTWcjSO(z(N/iE-0-G7|A<_~o V{VoBi"d6@l@DY_ACui;%ƽ-",Fpo r(~@ y<4W)Y;6V4 CL2=T~50:l%n/Spt^L` X\ NB_"{%+ft')2 zi↧RW$1<3ib$PM)12PH(QnX׶i#Lr3$՜ͅn*J0C%${0}{-&nJ5)BPM O!AH"(\,E:r5C "wCIe,n4FpK'r k%wWF2f{b'6Fa~I fr[({kjӶǝ4qjz yx{yφyд7WBb1>{9o;05[gh4kM{䎮k"F?--}`l6FxO^^'s.21QHe5< XEN{;ǹp_  R(-G*@|W˘!{_%u?7EI DJ`*j6L@g@>KQ]}_HXp̮xH@:>v'ow >%&qb1(l*ŭ޿OZTB*d;߷ Kfd)s*ns^ JfrqcV dJ;6VwS};-)-S2džO VҶ L*~"Ѯ]Qp{<#Z`ݗaUn7e_.dƪou[8b'x۟ia_a<@X8a{Njۏ>#GvwX>?6+x/|v7柴L!ҥ T}L)<zksgD^|Ge6`iu'Aq2V~ VvPZ4X'EɩϏ4֙'cr"c?:Ř}G1w~f֦W[=G{ 9靂wx;]fCUoӮ@9G[ @l6 u"lEDnW[ECO5x\Ǩ.`h@$/lKj67N",~fK-\dZz AWns(uӺGýqiIB1KUiߖ i˴kr*x@"޼&1ImΑ]Fqap J4+*[-d V7,=AEt> ##Xǐ2i&=Q](تտAlxN7 {25m#s,,ѯPQz̭'dRHu@N19qEcĬʀ}5\fRpcC@] b͑D侚کvO%uDfIF8Jz, ؎_0o~xX@ݴp#浼Jj_Km+P4F_T{SPA*Va 4p+$?"|hvzQ_LF׳\Y^nLQ]@o![ml"v<M%-ؐ9(_$KAW.ْf|?@# 8eٻ]&{Ơ!R(Q^YhFv:(tc[!8\TI]rbY-͂àKNs~9.zj LSYyĴd83h_=M"(=ظyF%R=ڒl`9k9V([ \7,-LR0f6EF@ﮚ{/Ù~#waV,uK}>oKǾB$bTx$2^y1BkeMz h޼rlqS9NfĄ+P g4 @ :Çr1Um'j_@*PXHxetӍsrgzw:{&vP}&˃WNA>HHIfXrЩ\>a "-\#U=Ey;342G mrRE3 \ ͛ݔ̭w%b 2-JB\f$(=;SWElўŒ\k( 3Eʹ Ò}RhjZ=נ};y5(l\y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7J28;)e @:$썿A kw^mb^ Z?Q ?w*Kɞ!9<ߟ3̖=Ɗa4? a󔙊0cǐ^X_K/^8dj,\#52i-VÕzLϿS@h ǁW=GpU%\ds!C*t棡#E0ĶŇq5ed<`p^׼ZU~ƈgsz!±i8~v6)Jeo3pP p y Dz[P 4?luk$ERژ'g,`KF % PWG )]'NZq~۶7= u UXhȔܰhG9<a~j2~Z{2rMwวwmemjL)IDl:oۛ@ߙ%&qHtZC.C4&\ ˗(|lakq*hsu{uwt)z(482٘p%&w}H)A?ьt a"y KTI%fҙ"nXy/_Fu5=RF9' *$$7m%}}ڇyM ΰzSn U08zߪ_m*) JmYi0ވT /CsuOK1Emhpw%17$p]B}]̉1_*3QGP&\vx屵/VERz-e[ZbקLZ8npH3WN fYSُhN/"t,討M&?C@tϣWz&VJz8n%n1_٘q-KҮwr+}'`k έL>MGfc~aTKK#bEq =3؄lKTru021QuKtu#{'1x{m5=Hx+KDTadF𷿴#{ Outb&71kVN8#6Erk(7Zh:-)4cP2K[9{sr-qة\q[c֝{0[^¿$F^ _QSuccXJ%^|4P9r3D-#^}rc9e5!!*=_q>rkLkXֶf-][ك$4?eZ-@*+#"4q@?)2u1طF}ӜErզ9IF#d?2!7@Ժ)lz:Bc7Mha͓PҔEԚR΁>3,0d&Cxu :e'j?9;֛ZV "a~ >h (^os2C;8 aW҆lߙ60S0oM  )hwb4r7`vYHL0mLIVt,UB4- `IQk0A FFnT 6U`y; D8gYZQh(:mQSIS:{GVeyVEXEo?cH79 "v~<1pN!=<Jy&>NXA Oiik!F%AACR[_gу^JwzϩWVPf1@qnOqSI#mm^5vz_N$pO$Oǵ,hJEIbn4+K6au*= G|jN) 1y?YXc5B+y"p)glEMtkRLcœ[uo#ԃ``c;; ba笝d y*o>" }Q|;^r,L3b ڨD {)1q;߭i;|;xD-;Q_H;l s-żGxf'DiCXڽ "lzfFV)#VveHNdzRyա5f޹ZkZ5Y>z0UY1Ggq PgiM_t?UN!_Vxl'ѡ]b{`ܠUk|kGր ^,<}J,!=69^A(nqKoEbԈ$*|wlB`} JY02E/7أBGz -#Kf5z)De9 \w~=ܓإNKEK IB9k;irJDp[qF4L'. eE<3LmDN2MrM n $qm\ncY|0k,mRƝS#"EF9b!)`iWHUf 掄c =ʞQtWjS|NGR/fx M,ޭDG$ؙZ z X>sNɴ ϗ B8~N쑄 H<[zt/j1Ռ?EFY TڍS"މcPdVf@$a9g/B?0-4 x^"C]>#T{Ԭ,ska\L}F\p ^x8~ɏrOr`E%IJx.?Y No)1R e?O[Axud ]_:v#| Fɟilh9gW@5 d(FCw[\ IDf߻]wZ9w[,~Ko*G~$Ŏay[ǜ[J(b\(&~C@$b8>NNra, J&<.fhsPKGhKd3d_܋G?CK#4+?߬ϵp)<RSɎ͘gCQ-[,0 5tMh!Pp2<-*-~Ť$Bp3řJd=)4"MIɚX!T=3(Vm[MsdRa7^$[JUvɲ$R߶78@ڡ#i;G[QBf8 ( ١-5n^+ RnA؛XZ^)rjBîub]t]JbKrz&6=`ԎS:0 mdhoq=@x`i`/+U(t#` 'LH ]F"Sxfg'yهrǭO1IӷY)wG~6'[Dkrȴ4,WYȥe$XVyn^oG;?ۊBH)s\ԻKGV7|ɛdء4|&yD}4ې%14}1 %{$o‚ ;D fApIH۔?h⠤dbK¥ꦁ9Y)WUᕔˑ TsB?dKbv z{AY)no@+n_B96'+5BY@2pB֦Uf-B GQíe=*5ЎրCR.bOX5=&I- y`2Gu?:LES5*!2rT-͑ LC$B0IV;QW٦x>_:\5j!ZATHGft}Kw`YÃ+z69Ú^1tJ'Ogn-Q&$ěܚ$F}8Np=ZvMzS 뤣Q6\ت~膴Gܤb4}x-vCgjAglCudWzB9ikn{73,q܊NA>T $rÄI߱W3_PCanB 8*DG,4hm)4V%.j^kM y IE;tJ:WΠ}oUeB 3P Diկ<1f|ܒk3F[Bw?21938҆2Ni"+p,LH{ |`9'NSCbYA +~;hWwX"q&tG c $9(({y"cֿ Be 8;v=03]I]'4/f}dEu=|h\֦zf4}F,?x*S:yD9TL? (upG(:0 YdɽM{SIgbR+ sc}~P ]OW,c bWk1\DzF04R(֋;#kc: .-Bwx>m [J;?:]$E~WK ?%`<>* ;Y f¤CǝpTwM"V;d#U}l`撧{i9:~-(lE ۚDS%;01'ATV"2aH -)+~٘c]-gSg2[*+p<ǜDQ u>ҏRfĪ[E@%M(mB>^i 4M5[6dv4y1C#GY瓹xEE|bUkV%++ƌD&}2[%*j>]3e3B_ݞx~ﮕܣFs}de0% :-=-o(=i*gHkz+6~hŲl^΋50Hli V$q!A{y*׈Meͻ\#.1W n~ {Elu/^ -mVyd}Z~ti 7֧y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1DX+FԺ5n1z">L#FVv@Uaf`a5#H{FlƵr+DSvt.ijY)KnShIh'OA`A@. vƩ"E#3Hc[ĮecG5)0D#6fZ=g*@r)W)+m|;r }+@)^=O9Io^D8Th]:'N$>䤒t14Α靿[EВA9~jsAh-׎"1tQOI̖{^ً>fnH5e[Zm"r&EbT&ݼ2>ԩ,!f5)ޱžv\?N#X'u@n"8w8:ל^yT29q$+IW(eӏʝ:슼luF#, MQ];x`S tS E~zG OB2WB-OĀg'&/4Rw+ܴz|3SD*/eoC!-G$4xzʑ>ρB\Eeʳ ox"EmnѮ|;-~{u(G@!l\KhzP@ RQ &2h A:(;M9W*-Z yBA?R)`'I}=1fE[ås:˗Fѐ63{\PPϗ+RQ\Uy1]ٱѕt2/HM&j(Ѝ%_')MTCzϥ'Z Fmdꘅ++;;>2J(:Mp~4;X4j2_:ی҉̹$4v9[ 4A >B=5Btl@E๸Z]vݟ~WC + I#w)v/@f-D`|kndNR h,y\_ċi :?NuS\$!ľ5jZ)8NoZZ2Dž*Ђ0k$t?f^.C&_H֎n߱R )aٟx #Ԇ1." օD=TqW0XOdGO($Lds~8򩞴Aɽׯs.Yq<.b|)iDpub]gZi Zu5ѕKK}hе3%g t`v>B-'GԷ +.MomLɓsJ. gS2m9JXJn=%W~Hʬy6 WB*YA,&a) /ͽ #PW'q@bF102[5ws+!?{&`K\qf<b|6ll}YC_v_>+"1C-Q&5ǧġIa{"o>lf F A|%LXՒN 9}]l~JrPe}x[rˇLUsVgnr߮A[leS.ʑw ,^}l>,u W/f$пUJ\,w3G( $tϠWjBdž)\ke` Qg魜 p;}K]3IڇS~P4]>vX 7yw˥SLP+uTYa` JPcCrxRH2~@kjAn6~П`"=AE,(o@K {x{Ԡ׷1EٍGb(k+Wv1Ƌd,q|4]Q2l̒xs ,Bt;Mn쓙P2(MQIvJD'4>Jv۷{<>)iq y F7-8V7~K. ByJb.4ګ-1qDοy65hc|q0MW*[wTވjliY"5B_[(hT@ -_ԆqyT; ľ^/>lKP|0Qѱ8Qαd#=!VB4jZvs8M?8'h2J ٬EjHd{޶z[0/-,p~:w-A;{¨RE˱gYZ  ` ``61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[z:..2+!W[|]p0y@S}^e~JgeX8ת;Zũe|2+ODthKJ!]_E_ENݠ?:t|p"afLSc8Z/-C r=X&d@MfyMl/ p/>SwzCђ+K~v'P;s? gYZQcO h^e"+XudlET@̰eL+ʹ>kS_4,fiZ뤤ߚ g +Ȣ5^~d 센zQveYPý\<;e/Evx8ՐBMu >ŷ'{PԺ}U\N3KǶI2<efW%w7ǵN~K,:f< eX0;  rKM ٻ~i}фԂbq7zOa5~g[) ZZ4:U 70pqZÏG4YBET ''{kX~G?V}N3&t`;w%r|ωNG!~;?: ^a!n+h9xLؔ;5~QC hxT%zl+طpG/K$6p<aXQq%3fp:~&R'Fengiӹ}]Žk&S? Չ6#0åZңf 瞿BnŰR!Z̾ ,p=Q_m_{vTd@EDP0*LD*kQYn6Z~I=K4F/yCdViyo%u96G2P@(n k`Udžht$iתN{O|bѱ4;gĉf{5-Ẍ[rE %UZ@A(&[Ccʔ{Ga#U͚n{ T/^T2CtSlGj Zk8L<{/+f1l>&P3ВP.!ߙsdBX`|/ŝ@_9CaCC4A191aTyf F"\Lwmm~n(wpH&nж,=B 'hOJUY9,x YJ)[AXC>Wz*p 0%ރ]_Gc߰-udtRb]=L]-z ŧab>~SzTg:IMӓcy).F.lȇE !ERaȫ/$!kmdn-¾ÆJRP\(CD݈A)歇 fTm|(;x+UX̚)1چub_OLu(Ri*Ntf'i4+a +FX+PglrtS*x !_*u%QE⏜f,U͇\X-pp*ʚ=GlD#8[!HUYZj3-m^=]- l2] D 0) UskC:?#(1cl^IxBO.0:AՕ'H@a@߸h%3)dj䝨gRXa ۱ K%/^GGcԟY"&*,<[~+ASbrad-*l <t;& (.xI` L#r`b\ʗ FIUb;vkPO1j6H Ap ;g KsDƒԧ^Zn=h3ۮ-A6Q0ֆj(u-YDYQ)bp(Q.ۼS}Q2h=0<»&߬G L pPadud)Zꄆ;.x=AE[<5R0k_QaZ 5;~mu4y .Ω]k[OT Df|oI|]A6|Ɉ+Gl+Bv.%Camv& c# ( dQL^{f|Os@xao!x9喎v~' tnmJrxm|Z xDGFeMx)iTNѣFX)j#vA.F $(G㎔c8ȃsybM\5u&+E ]&_MV\iNOARx*\$9U񺘸)ҏE1:/ub;`+67 +vk=&O TqZ0^M9fY_+9o!}-A\dF>iOif gZH#A{,'O|q[c$rd,)=!T/Ν a\Yb0֊{?sY6SKjZ]:g[W?F+?¢կ?-H1}Zo ZH { |]Oeb:v'riU=YO؀rGwC<0OQT AQ{ްDDKj4GZ&pƷˊrH+yZ}1V];sa#/!!ߢy-MP`*ڴp:4 ߍp $_ώ>8•T7(eGpbszoSoXPp`Rv9YJ O+ 78NF43eZG^-,l^w>,tCWZq,B/!-j!Avɢ*{]Ԓc5{e@M-`fKFE!0R|J%[܅޽c~塠JOZjYR|H]^J jIgw$*}bsk^>xzl@j%'Y QYKFy$yPW-4LW}[Te$sa ٘(6'7J_l P,w5F_“rn`,o"$)^J)K0Gr37}nUe{XIeޕU{i鸞twE0Y!8{)GD<䓻Sn H`4t JOe-[դ$+I+(K~-sJ(I#"t/Pj# ՗aw(P ; )zg|evǿl5 ? 4Dk?{BJOq `lJ?Yj?#:ʼn*AZ+yßΒ] Pt¯o 6 0^m 9U^mTZej%,^&* 5w8+!Wq*|%$WȺGO6 `ȟ`1xm6%.Ю`A 1uM hCu7"9ҙaU ݨO%  MU;P͖BB&+d]Y.clLIT& VlRzO K"!&uWJ`}70SB zS<)jNm׹6luESv#х:dċ–#Oyjݸ3OHA{[xɧsCx$}gA}W5L)K+^N\q]r`-kR3肹4p61ؘ}TsҖ<65dd,Fe,@1F'}"opvaPջ.2w7/xZ`E+yk>Ù_C͏B_m+IK#ܡo`j+Jw?͉$r/}LW8Ƈ(rv+X/gy mtSKD1Q|a(:(iW_ (jKL2ddss׸N]"?)]?QbT.DgP44 K(8 lsF,'` J'%7JK02Zi/H>C.Dg3NsCI?KV O3WTNe4 L"hg(ز+v`_ycZ-yϥ_(g /rm9?ÓNs&":yŏǡ Hv%&-Ȧ_#TVV+^WFzh<c8@% Uɵ=*qmaY)5}+iIn`)+t]_&rNlE(MuģgafK(`~eX9YKh0]ic14Ҏ*sML61Td,e3JmPA6٪q*!t2aYw*q@C B̒||Dqqa"qƢ,I"R-WZ\wٲKcb0+q%~3c5>kлX]uR L%s !1/RO鷉\f&]hp^#g~(biևTK3 iz$%W2|-/pb\ $5?ݢjGS)j [uϑ4YD4PtMD@G1QÿT5aeWϲCI 4̸u)bN"}JERb>"=vir0DxMw\ҽ r/Eݐ7=qI7+A~_݋ Ϯofg Gԇ45ر!Q2;wVqο'ܕ=rJw 9tA@ D% )ZR|M1 P5^a[>.+u=2sL֜J0w i`dB4l =VđYFi'8W5]ښyl v-[Yfs&ʁ<0M Srs˾kI} #(c 'Gd,a?ė0sh܀ r UxFWVl g3x@MbRA"3g i yhpdv/e BQBRD^_`j`2ƌ7Y}Ojť-2⤤/\;?+n^51ƽ*Дj3,8 alhv%FAw]&ET?x+@^0>:΋<1b; 1w>Cboڠ=ʆ!W m6,Ŗ'i(.x5b:^6Nnq fb|RDN–6Yc 3y9^¡n}ߧ %,1/@9^k0LVbIE/]o"2~Ki;ҁiZƊ(`8:fވKbKZǚPm5Ujz>+g.;"ԫQ :` s/DqAɣ4s e7r˘-]8QUV(U z~h~̗ H94g{%YYZ&4^MM 1MuQV4iTN}q+x5W޺u<%TlEbI^Q46<^M(,N엡(yg(qf,C8tmHmEВ8ۈԀPlR3>~Q*0>V5lyspH"(TO>IT]UN#ևIV<l|_:P%il+ ,?/Yۑqh1k"E2[6ϙ >mUIhx(FTxIY0)~LBoSre_qL6u< Ae k7Jyr 8n?8m10M>!- %G_a{{,Zc[DJ񨪺=:bA'K='Ht9vGr FA g*$k,#\^Àp ^ p"f#rH%RuMzPsKzPs.߁+e] =~2Rkd|7|X -L/u`Ky%CV}!f@STS4n[WZVh|Xd;(s<٭ˇs{O?xaSA֐K7Ȉ"lٞOgV~#/@Yn!C,>оie1u}_:G90L金12\]]GVCQe9|^8+B+n5bRj &+.o]7^>:*Ʌ߫!u6}߹nc'0E#. "\`.9dK-yJ  #=m>\3QJyևLX( e9; 'V@XbȎ'DxۥRn^S_7R.E6nI^~xf1 *fFOWO<V ,1:vi7PpO,GgֽO+%ג.i*OB7|r(?7гp.WP{~#ג'QN90Qx{wػ}XsT0u>ns.m$(;>\d ZnyAr|VKcmi{+zr(-2p2H9>)kq%/j(.pJbDǍUE5x0G ׍$ Ќ} 3՝0K{M[z }=Hַb96J00] u 골n\el|/Rg/f]Wx8*91fOzBqNưw`f9btI.kK]: y'ӸZ0b1u#tپ {0?a:h&}aL pBDuY=k I?~Oю?,},S2)jLfCe/ܸؽ+M'^f W+a4EPIٔ/VyD^3㢆z;N7a{k'9hF{!Kʹ*t2}fb0[OS)HGJʏyHN p92h`K67!R&;ǘtRǡj- KP偍?5.p6|kGA¦~ /7jVGf^嬄`zs+-ЈH>OG=˰^{A輥{O GsMՙaֵ֪H"ɜw^T2*zTsL l3U %/H^۝鼘C.1:P < 'Eɯ8)f&^)MչC0LnX4MS66f[[ Hyku[{>AD瞙ۺo^naU!ҝ7p9ft+KY #7 yWilnh@w+q _r ZVIԱ2܎^мֈ&D)P<9M;uө>~H +L. 5Jp9v .r0n1]ުDSD&r;\' 2(Z |G0v /@xM zi>ɖTiaE'F&HdǾhMg޿yR 2O ͤ՜>G=d09 \c $Q"4|gݫ ]wĉI2) [~ bCwFʋ$gK0o3^ Z8D vJ32 `z0hEaG:Ǻ9GDQSʮjp*ByNBQoBȈ4WKX _tQF68T]Ǧi]!=#9Nb\`rrODGkSL`rs'"D&5QZe%EBX̀~ms.*luU W2gʙ~nL4nNk 0{ݚ/{~ ;NZlb]W 88GhVQ9L\A-OFx4I4)4+ my4Xa<߂RY5mbWg\I%vW?7r'M`bzч }fi6=zZ+,EOuJP=v,+t얀sPD$.[N׵ͯ@јPm/yY%/9]3PL[@P d^5e<\IfzO5ЅKךWF&MbLưi0~HQ 80zcGWTiWx rݻDID /\ϕ+|'WE*' n/V>OI`=0]B#PzqZ5&˄2}' gv;VtXВ1 Lh 2Cd%\wr9q<5Q=$V7ף#Nq /ˋzǬ=_THc!X:m,>\-lfMgfn'Amϙ &;D֣ FNU>\z8 AE+ᗆsu Q%7,@E(:CN5̫Hkh?{?*$ ib&kHGZЗQ@|jSv?V|2Z PzGY]Yb ke.tM!aS7z694@ l.D 94Ea|DXbUŽA.+^o[%urkG΋/ya5D @C;Rivֶ9aEq(* -1V;S4Jx}8P|]/Ɵ4#-|o7H|LTfz騚EȈ7݅xdtrG Bʻ\W 6bѳ=LnD[~(FIZ[vT{UHIUw:V Kф*e`KnaROl<G]㰈J<8x#b(n" `̙#fL. _Hmki=[xB*A i|m "VƇѢ4 x6[d6y&j+c6jڅ9.'< Ն">Ʌ{\ӧ-<2emd ٷbk8%rR` s!u~X P2`&=(^oNr Ixr3H _c+Xͼ&>ČDh@n64DP^\.YG$UG*QB)hn t#dZ軘]|De *~Mz XVe";33ZR}T҇<%ںZ"a.{ <`.JW[gq3  Kv6dzGXF>;Y jRXZ1)ԅ0vt-ڵlBY*G3kK:ˁ8zW{ȴpԊ4wkېVsN _֡-re<D)u9ĵ},nLX0ԳK@%]$td3*pLדN\"Xl3@vahfsY FԐRBKKBj/#Z 䑐 m h|_ew^zY ?_bw5vk8]9'OsZg$Ǩ :%G:ߝ)۲MeT%Yq 2fx>5@Q>rQ8R6bf0룊&Zy5}'TuJ(3iwW.@+危RuORbڐ4S@K`2"\ /+]V79{1܂ S`-vOrf{Z{){q)c-d:bKBdsAt#Ixi4vu%\%i/15WȬ<8 >Z͌E\x|AQt}M^֡ նH prN,2I4(x27J6$G8P9T`Oek+a[-@@acM%Y̮o^X9_MIQ/܌54R/;E9l.E_U&g xmRw%6ɮQ>\*q'5f17_9|}`A>>}(vY\fyuiKȫ6QGX4&);=PxMoRt-%rp=!tg$KwԮd͗pEb[h/b.Rl+KL@7=Ɵ^L6W{-HlD(ơs?hba$KDvٮ4bkTBH].J׎kI=tg!q aGdKԨ qX2㢐*b 6iЖ:?$nH%oIvv]Me 3N٫(DWn.4^?mѥrUa#fqy*RI-( T3Vǁ$RξRqCWI` 4cS@eX:mO5_݆` Z/U^I ?ETwnf@cFkz3Ƣ**|АÙSOk$(y 9 9K|* Y0| o~9 57w7\JVn&PW0|I ;)KS:PۥxJOvnA{s<+Ϸ]$Cf[מ=a\ `FntI2!@zPX; uiEUIVo,™JSRbq^ftbp>3SHwR|Q |47n=!2d~l* OFej~NEeEx:¤ 87Hb#WJH蕀|bJ􆋙k5đqj Kr.x7>Ģf;[r? Jn=j9[ȫd0Uj?;z`̉BvjFTf8ҥqLʘc.[eNJ d <(Ԇ)"(Bt0%k,"I2J:[0'㆘7l@UE;EH1 ">'_:0jd(JR& fpʜ# )<$6z`Y_ ÞǜHʽoQWb:3Lo6h R\ DI-f> mAt)tfqEDUW-C03ޮLnB6\qiƧ<B[4wzј<g uٍ;޹{o0܀,:5cN1e$~Q10`NK <AQ=f;GM:˽S2 fCy.xAa>-ց{8qlf|$u Oi\CN餐7/929YacpM]o6 A=m@l'/(C2ɧ%oC'% _A+;YTvr&%T֬d5Qz|^MB u@kzw̹;1*z]|9Ev忌Xc}{kre_l^P}sSy<>#㘀3:@z( +O. `>tgzGcXr1xDtҚ?%;loX:+3ڙaieOڝV3 ૸GY)1n>/S'.>󼗱`$ !yAI10,d,p+uYp0<Ӭ<.: <Xrw]OjPu>@I؆b+ H>-<ՁN8fQey̻)˃*Hpʣsj KsKYE\ 0\㚜C[|6Ĕ]-!]sL8W&RfWXF vqю3l%!"1%(s$S*VGܟl)n=4] ˽)mk\a?Z, r}Yb)&o鍮s5'Eu=`_ !eWhFc/ԭ+UDz6N[nD[n-B:$[~`emΜp)" Kd>=YMihaCA/Z `ztϵջj/̧rroxJ{!j^1}COسpt6| [_.Urm~ '́|\9K}YE`ȡY!lr^\_Enl3}f`3Yz$٦6uPy3OnNUėY*[?s(<퍒*22LpL6f DlOmֺP+h!n&Ӥ9hܲw)PD4>;V7p1. d71T:coCqf]Z(z8!G6WֱU[Xϑ wV|j3>N<ۤpw1.s+]ye$G:lD.઴FaW%0iUf+HYG8tN:gG 0WzuJ5/{Ki>VRtppRDl4̟;JaX-^~ ,`-oGpPC3Nq2%A\q8ZFyDy@.7Cs/H2F̴ѩɄ0# jdޜPGo[S/FUIv U1]tǴKu.7b೙V$`hSI8,%MwUT,(JW_,q>Yz 1i)J=F2ĥX0nEf_`nNPbZBaۿxI5^4[ ĺ!4ɹ­ѻ)0*n"~j:&b%u8i"2]H΍e|NP4B>^KS }IԻBhNnmCF_{icamjL&e6.NF-qq=ə c,{iws"qa .B$ifM%Zf(, b'7s7ЁᣟRլ#R7..L;(KA" 1)Aw>tL%eL5 HpVIWŖ%-tG 3M=aoqp]ݐdŁO#dGCo즊 j#r .XP&7^}TIOM2F A4'K !(⫫Hص6h.iufun>~g>[qHqH@ @>w4ԑψTţ\Yn{UNZE[Ԑ>g.Q2ۥ5Ԉo?W}>IZ,w:F`SXcy莓sBy]F#ޝP@ٍqـ|AnaЂp 9ë|5)mU5њ*hn=m,r>QgYF;␪]L $kT~Gb21V$RsA޶m}c<0:{n O*k(.ڤxS !~ݜQ2֝,פ˦-\N7AYL:٩?pf^L7lU?SO31*A\Dc OXh\..Uԃ )!kCUCiC#H)Ms/Wg" K+vj@QUǃP%S:؝sbuR%ŵ1crE˶ Ry:W_$qF'S`Y-nTnD:0|(K\'HJ!G s=+|)USlEȩ?}Z/;-X=ku ƨE5U4=2 K0>/=1s~QO*$1U{N%-7OBJy0 Mpϣ9^67϶`o͸F?@uppAE_ HVըNJpNB܌Տ{ݻ}qjؘ`SFOD1jpǕ3DO TZr@|sdW*X7{,mTuTk}>؏7;ީZEx(WN"և'w@SqI`Mf*lY i&om2YnWh܁H5 R4q|#Z޵gb gt:J F1j{1 p$fO:o)q~@%f1vN&%u֙Pd &w3!EJyycK}p:BEۻ j(EĶ|ȲلYݗ{C0Črʀ} B@5djb0=®jwKFUu0n+ݭq1!ռӤGs k@yI˅3OW EгDI Be6p =BUĽRe.35f툕OvXUISV;HϷfO%oNBK߲K\g^AfPp^*:BUofɇmhk;T |$z@Sd2 _3]%T>O!3̷}/jyYrJL<mFO,C!IxI\Ah'ȫc]0OKrI-\yFdZS*^kewo 'kCU\_交w >hqw  Sm-: ~_6e6hwST.iÂ@л67E>3\q?ҫ$bfzȃiGKJNdס9cud[m谪@!jD]SuRIѻ=F?[|!ײBd>Je}ॄ.y(#h}elZGJͼ/e4ao^~s$'xpAun% dC`=ス = CdIiV $%3$n]6/g{sji,G.f_c{&!}1NւsvoZw!`3SO:Nj̴4-*noCB͌(I>#/笀 }Pe=ңOy(1ҞsR'ÉRֵI9H@)wsdq:cSɜHҵQP5n/ q>VhӠdK]\m |C(~5x e,)_W*tzoo/Oo#;{zF3~ȧ pMK/c{W+OE.Ȼ>.anC7%bQ3U4g/|wd?X'e*it3p1IQ/p}Gkhc{ Dc72U˝,\NJ>%>C\5#ۙz 9KN2ymw<.d-Z=YGcw,6U*,o9̞HYYSXGοvpyYg3︗Y 7- a&c:"9.ߵa<C= mdvI%xIt@ʆkδʮߎԂǦ;.(Ni@v=rO{k->ƴzibO C7n?u(5qxԳ0 S6,( ,+yەrW[ eQq]ȄX ,ndFgo5A+_͕3,ʍ9yĒg7ݎ{ GyfkR*'`aƾ}($] PߪFؙK<tAtҙ,i2 r4OQ#{2} ]R[쌄(BW)~וhhbmRl+NcoJvBvp卵Zp ]kNRf#U-u{=DXS̵gn n&x7SqZh:Jl$Пo j9g+rvH#~_\pwxN;zk^̷-X/9xW Q͎ʌt"S^@F1s-x˂ӧJ҇}{Y$IvtΆp8d̳*Gؽ,F C[\KCBL"ħ:,(CM7(QT~F8&|i(4p`3xH}#kVz2awj@<Ao\l@HW`k1U*Q;A%`}C`i(:9Bρ>ɜjVq,Patֲ}>T7\(Hj 'e,X~r@!gq?!;#YH /v-Zof,iYu 'ϻ2uy.YDx={;#,=!`-"D˨iԄR.kRO =f2p \oSGl˟J1|CmyYO"Xm>k%t]^yUХlN Ӈyj |F<>ZwΗ+Hm].Y>HLgH=:&']IrC뷟Ca~ `!y-BSqڨֈM{ܤXqC(!,\i"`1-xU0?Hys#8d%rDvج_u˷h+ 3ڧq Lugp?bՇSV~t&;4ȦyP&+MF$y0ixi\vzCof&j؇0<Jxǎоa<^d*{x6z}s2i2s=b@bA Okm #!O_` >1 s?('z*@/R5ٳw 0ғAߔoY[w  #qDNK=tQk9Qgצ~_ݜ]mYjգJj]",}W5@eC8XD+c2\Mwg lafUӮ( ٸta]9 {CX.0=n,zeTQ?~U:)w6YL%e8oS{;R t]Olz ͎1COſc\kb?.ĉ WXNE]86WJP9x$,ɕ`_J},"]ZMk?a}e~cf^g1Y\&Ĉg1.:aԈ!]BxCHZ]UN5 ^g StCN}vZ@( >MlH,KaZzFtIy2/J A%?Nr+īpnDfEo?9_G @Oac{Svqlҕ Q+2hpyQ.BF$bqo@MOR:˿T;GްK k?v;v+)Ւ=A&'ܛ%!v~čǫmao(K0]vxr̔ 4߁)_ yv:d"!,‡a]`U7${BXV$TE3e!ާ}]qԥzRN"[NwVh5$T#UhK%]JlNWEq+Ks<^RU(UݧqF훘Qc0>ց"pg+ Yk ̼zA7 a{"~#t"a{c"92GHp FʍbC,PaI9K:L34WI/LBmsP%5%IxP`C3nbB۹/RV({^X㕅ƉJ =KY[{R\Aeⰴ&!/^)ea f9cQ_eBSX|U_3"^#߉11!1W/*wOSGZBɺ Հ[8 x1kT:@z994R`lnQi:Sh,݀-u2,wд#kVI7>U/߲[I 9jLyT̻&xٙ lNLu ڠ^ASLEFy=7g$@[lOWWTpGDۑ>2v? ;ר&TjIRt Z97EפnOq RrHKvMT[aH:5'^Wg.ᨒؘC J灕8 ?mӃ6uܢ?鍃%EQvΟkw{Cx0/'?`?Qz9&Eh?{܇qwmYK}U^rb*J<o/8T꣤f;%Tq*w.0ub>1wDI>Ϩ%bPOokr4Q'HrEq9gi.B$w;6Msp|1"モiLn"ytXi ŨzǨMM86D+)<)͸ [j[0II* ])#R!ds5%j_BJ>:㇞ݬ 53U!!GVlOp`:Ǎ/"If;7Po V>~3=8sV]bH>F# Q D8vH_tuj XsB NrU-aCzM&Qkla/v<^ΒU6w(_*pZm^AjpZRC~5 SUGZ]*K[- E'[Ԣ3CSQbNK`5G."ͳ ٩#vgT9#|D\)xLSJO'ɣ֌QRA"51vv/K9 FkJ$A!45Rw+hWdxa*LZ#ZiMhմboG#ݪ>zOÔU *gШ¶ U A$ yy_Chp"f+Ky/C{svq7_1Ip? .vg+Y~ lgI?[7cH!Pp V!]јyO(Kxp6CVCa3~*jk=VCst(rz0>neFD@%Lpe5+m5:X *>RBOEr)͚1pǬLC*g|֡ZjgYZ 11+7 1?# dHOL-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 ٥A4at[bN9t\- 0,Jml@ 6TlN^+&S`?bcl?Ԟ**HJ}{MVV=kLBAa*C?tN߄grZ#sLX!S>ݠ&A͗0Wbh^-RaRd5ƖIJho0` 0!Ҩ_XcU!26 ^ ԛk;.w1h/'0_gQ,_>Mbrۜ/ Jܘ` ӟ'p ^)\Sg)le{FMRyP`G4QO0Xy.*ydlfIY"R+3 [M t|`F+c4lA^~~P5☸NIQ; 7͡L Qsr hI08X[_XvoR&&͂:֗Ǵ@b{tј*͙&ؼ>QNA^<˫V`B-;UuHgҮc=[ "[#C~^N2G"uí-Ui[q LͯXHZ.U%6E십lxI ( 9";;zvB$~&'N`rI6柬 1*Ut=y!NK@8[/c:EԁzˣگV:J!o(8bɕ8r3ua'?!A a|$4q.GU_3f*=?i@TW oNAucYKMD9rsx/!\ Yv%&g fW˽LZD rHgh"s.+*4(`ZK 2sJ^+3 gVsV!Gr_|8m^ \BK&uFy[XVtZrL$Ȟ4Q2WV9~dYk÷H1Q+ =e}jqw^Xx>·#o&c7eG2>qH*hdrÐCj>|昿u&{"#DH4;ު=(}}WLbԢn70 m\=e柵rQt .VqQ ʶts O8aQc1xN).fO6H. P&Ks[?$QgX7os*6a7&?uHQ>;k0:\g RzGhr4mc=@9S,P޸uXjII#Kؑi, yL#s=?U;uɅ;3-C CrԧvYXmTSghL7+?v8ƚd=;ۏ T -U|Wd:d#yPM]cD*C2s!~yۓ.6dH]-j}N"*Û2{ȾIY20wưV4UgoKw`C Fbyڧ4R]S= \?vG64?Y_+_?9eOCSQOHb^@(yoJ"1m\)DWzʎBEJk-vu Bd+ցZT l$ذaH.r,fyJo3~[&f0`(|V">?6Eal\??\ "w@tJ]V=Kh*WYG Npk hfMNڠiw?%DvƟ&4o<#əIu&MQ+QyF8:*Iяl *G nnNLE*07 }oP%Ֆk,m@ܩ\A RHC/ԑ#64y {Ǹy# JU$i׀b{w,!se5.<>=bʌWmby"o}B0#qB6G3V[$ Jvw4_`J2$ ENN&H˙DCՑYʴho{|#gj_m*kk/h*Bm'B812E~ONw/T 9]9ǯƸs=}qo]&`aݍuP+c?c}Pi.q8|-˅*f!v{ xM2ez̷#TgCB?׍F( "،6"ZhQ[7]* M)2r'R @ຽ~P*-wdϓذ^%{K)wYNN՟,jЁ*N)ĖrXs~~3lDװmd;F 7}X ÁQJcEi^r*3֭i:'%@8.ǎm鉗pZ=BeH:o;$ԄEUbǣމ{q0\ #ΕH0#U@j*D1 ,)~[)q4fGZV@$C b2agzD|;\iKNfJng+n~l;;)"$&" 55yKktq ao2anYjZkQ?@yvbp?d=Cs<(Hda(I"ߍ%|^fRd/\ a ŞO'f;Tt꓃WR5K-,Q2qfqYq _U:E6EVS)hqs;`%4Hls\9ruW ɕTJ%..RёEtt$/y ~DQ_ZgRi4AQ|[Wl䞖ж)J2߃vmHOn*at+\1 α#H#:X1H)~H=3\V}DMwUԥf:op ⋝b|~DouC9v.F^M,8Ylˀ 3j UNg2VXme"K|Q۴gZoГZTlͺ]bzq;| L8P MM081?' lHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u.]D?7 {?:fH\xN ,\l`msC:: "n=]ȇ'~[Mj5]\NgwP|8Fip4@ӻ8:B9jU ol%5 z7_ aic0rB&It /#M1!KO.ܦz |*nSJNW$@Aj D]9=c ]t Cƙ)[T P^=EѤ&GI}%hZֹ"ל2op@-1^;9qkڠNd 5n9akn )~RCKW>=3Mnnr}դ lnSxR2$Y4L_4=pO*L[mh܂7dW48?Ԅt_pviSɰw@NP\a:KP@է:k_0׺+%=oˤ`) ⭬鷇*KCFyg%/T09p/BD>p5/tV')C3 Y݋$kˌwa;a渨}҇ =Y0lg⃝%Nx^W?VWkV;QZϨ]PMs%GY '^B[{4[t`ڳ.lWdSH_0UrU@yF(ZppHę"!7Bs#7uwr)!lWPwPe$_K {ܫ{;#eh>3cR'$puQ}Lg42$=?,Ya+A4UofJh)5ɓOB;{si>`,C3% .l\ב'ڒܠ!S4oW,Hyݖ1%B4:lÊӫA&26wxDt!XtH+B3?Y|6p> F#^yȑJx2߆']X<5@1J%P .~JYŢXz<\4С !1@&z0@%6e&Amp3Feg)*VMM4~cA:X ٍOD) :Iۮ1B.GL{D [>t iü2!)>&ЕY",oII>=(Cǜ#q\4aۇS  yZՐŴyMJTG, c?8uHФ;G|юU,l43A1L, 9(V-ՇĐ>s'Rܶt?Z >3gOe{Շp>uzP6NF"S??z[GORe3nP;_Bq RPP/jVcH.2$L.d@ӛA:fc)l b#=EZLJ"B!ClDC}0]c8|oET&:?H$u R_5yt/u߄5r!\KցD:,$[)ځR>3jh4`UFƌ 3QF5oӌt߫Bzޥlm{36"BgYZ`4侰H`"V5&"$|^ue;/NE{ZlWe-4tWLek! T ӶQˑhZm(|0 "͠`Yւ̃HX :ްaGkps&ڨيO.`c}qϺcYb xe+^%W86U=9S-I\ Ke`+bF 4\˫^"^,1?(GIDwU-c_/j-oBFޛJ1bD 9? F˹>jRmb 8iS{Džn3<|DŴ`ͷ0gYZ7zXZִF! 4]ŗXiɟ1$Cܨ }X 6^vWn p^k8huJm~YZU;K 5A\>vSࣿK&$t8$!]PrJ3 $iKK2{<^UH 'vrnjonvz8ԭ^ E u&.\Ѽɑ+QjR;h$B ~4}1-҆Hj"-&LGބmy"`u4I5Q`UE,q a2vlZʲ4?@E2!Z/9]b<7v3 aNFM\:9!<(WH3j7ngf;sIBn|;:._HޱdQ m΋܂蔠X UbSJRDݳ0& ϝy&,SɊ"KїDSɥm*ϕ/ɞy-?+ўRek&lI@=M=F%% *QG >95昬Qd^+awK2!VeTtrR`5?̥+1~Fv,AQT?^#2̕hKȥA Vj)7J3K cU.6!cWqdit*9 _SLJQMykȜ!*,Pf(a6æ9'UrwX;9ߜlNYX!]/P.a;@y3t`qY酝tlݲI`#zgm\tjp3(J 78* uѸiC쁵I1MҪmb>֓V4X`zΉui{?׍y5P.$5\3an?5(d)T .T]Ϣ=lԊ !{,7y=? ڼݟ?a7hPy 9Ȭ#uS:C˨r=b:0F"leKSc^Eq63. ޣJv:p{MwѿӋ\q#Eƕ?b?sVHvJ*k!gc2T=@e:,>2+yJW!ܗJCID`0˳5C/AxHMiPWZi+|ӫ'7:BagYZe13f5d3a83daa6d285c19ea593efb2592df4360972c151fc6d7155c0917f3fea895a6bda7ed6705b 0f8162896999212dc09d4754b77ac490ae4b56e9 8862aec4bb019a8bbfb0d8606a595e3a503a24cd