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  |1tdtT ] HOL-Metis_Examples:threads=6elapsed=16.847cpu=66.680gc=7.6127zXZִF! ^%*]ŗXiɟ{R84xAmg8gI{('sJ^hRZ_A ?(@7H[ȿrI TP4sd ;eMWNG/A҅CYn$Dd$)68|s&LC`]QZcڎO/zSC nhyGw7HBweT%/ hzT8K:s7 07;84=٭{^8;% iL&%;QG82Z}#OtNK~:`C؝q陴|MW]q70yxP.m$CpL]P7XZӹC)%9`kД㓈4n'J839'|;'ϱ2ݠ frA2r=-Uq&5s2iHtU;xѝ&>7.*DhQ6F>* ,n@[ *q0+(EJH(|_+V"%ptX?gY 1 HOL-Metis_ExamplesU1;/ $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ؐR0O+N(C'?&;%9$7#6 /.&        8w-O ~ = K t3* h $ 3 { = Tj-ye*B f# Q <1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages8:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup791;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files6?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id5C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup4B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files3H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id2?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages1=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup0<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files/B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*J1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages)H1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup(I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4'I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3&I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2%I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1$G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files#M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/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_id>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_idF1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messagesD1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/filesI1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_idD1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.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^e7t'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  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /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 p p1OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ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~ޤ]#gYZl1MA 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= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[=>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/$'- 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>!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]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,> 3nVk׆ppyzn8FvZloj߻l X>cdI~f/AQPQ="U8Uhjc Ѥ+ MGEP1j20w WEˁٔ'z^.dͱdˮ'Q` Su6#H[λ6-GLaCءBـN]?ֲ20Tf!Y%cwt *`\pαYi#J?XÐ\]nH?'!آ/[F-\xRR@a-2|TKRu?Y<Y{KjMό0q0H2! ZCv}!\~;)yTȠj.ǭMh t)lhމ3u攮Faޜ*{F˗A Q9NUdY v&x3 > x)v6Izc̍R)'9CPCOgUzR)zNh&|!Pو-).}b)[} OP ϛuKLt:iU}v!Av]LZ=y.ZLhDoT|???f9~ =l>5b_U(6PhgwEPUM$Q<+uXE gґ*FQEѻMU EnRE~W՟oĥNavG7DpW<JM /EIM]!hVrٕ J2/Mo!1`L^4 .UF%/` = BѶ)PzmJ!FWMDۍx? pJ*MC\܂`jŔOOesbEɩWs s;{HDJmAWAb:*h:,-Qox< LrKoܥeV;>쁗N$24%̉o3\mw? P.`Iu -⑿G ~C͢+M[V/H} 9c ^|'ЈY]x4b^-aѽIMN?vZSx$JߠIQ[F=37ų?GZngyP 2EHf\%*!Y.HڝW܄Zr>xgJnkz3I&f Uy~s(VZYK"tYCшj$4-buI<נ5 )­5 \gPNyMe %-lELi@7>tsP*Tљ웰O&Oj&Gl{ r667*a=Bg#]E$1z^|{.>9x#[+d7OsZyk B5ؼ 8Z/?uLlZiٰN ኺ'(8':8P~yѵbיm(^XNV4c[ՌV8Nh1A&'QUݱʄ07n.51rxz ͋4s$)W 'q䃥dZd0Z+xn DmBW`$+ۅB; T16mp"'>۸|JV~Yd}ļ,h& t: ӳ+#sŹӎ̾W-.!/'黣GDXl?l%J?fSZ{429bVڦju_5(<,,X_ BMi6n싆lZٛt%#Z|xP,"$4c]4tNwZx&NCE[;~\iRb[geFH &!-V+v܋'Ʌ IxMz]8Q'D"پ78)1čpAHK>>33ܷf~AhGy1 {mK]ɒi a 5.5P"7Vp9ƟwRN;$M[87&jyӯ! @8Pܱ>,=S^v. Tݚ͠=Ճù)Wj݉,ʃKxAzD"àfQ r%9SNM<&V8 j9pb%J CqHc -@XJ` +ݱBÎ+O!h1 iVilafs) u9c['OE>8O毊ku)zڗp%mN^6;TtaauPL|0S1nʼnj >! )p1Yt\\H+ڈZ{5KRf$AwL;'2`ܵ;o;Ω>ne 4Ps愬p>p*;ƫr#g ֜ESߩ!Fr3TC!ŵc`ي?="^ߝINHoR܀N\-K~w;E´;pѩݕDlϚ`tB֌mܠ9bjAZ8W{W/xj87/z&j_d=]kyPdhVU5Z,YN#~G#} h*z|mj(WlTp hsx%e#~V P7|㾒!t{w|"oFns)"&(Ox]C?ṇT1e`F||m^^EXP.{bG:t9ƂxJ%#^0v&S*P{3)]˹ǹq$7ǰ0u^ J^*ίB(9Q5MTZ(N Y/[ﱑ.הM.\G)NNt@3B RysϏٗ im򑈦.3.흗T}+FHe,Pc(ٷ-Gn9!sflwAefFCzNKu.QbGӕKYMbx[h%^-qAWɑ8$+$ :`to6;P4p!zfD)2d8ETP2eb5\Z2e 3r"OPy~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7KE iS?f~uSPT7挊Q6F1Gz^⚯Slg /o΍Wk8:uLppr8^GqcݧrzC n{g^3Ld%x 10cEXP& rt9*bOIfd~64Zv""`^R6tD+ˤ%vͣw\D}6!77au#;4^S-~ƾ!AX?64.(I#OР VVSWV#^o0v+^OgvЧ9C;༯9ʭqISidamKo&aŸQl3Ypkͦ=.M')M1d5Q$#yϕbBM\H@oENIPB 聆 y5yZEYHO#w(3e՞Ou8㺺,WoXk2xLf^*k`^Sm͏VskZD3fxJz ٲ~6`SJa}rH|s|Bc'}g+{3}JRe$nXFN#?|܈,'V5 21O# dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1pϭ M$Z9iC昔=ffFIVRLް?4+S 7gZmxb-$hfd5 T+wd>=Bռ ѪGVZ&gՙ8N{XkK!aR5`RC<}DYclUE2dXm9 ࠙fxox?se(Iwig<|QO$wxs9{Aee4%͝la71iEu4P7nF՞ ^Jevw=JszS@azҶt#1yS\heCR^ji9:n8&Z>%!b1mnU2 +[YEO*䟏g[!?zϜEorJ* :R.kZgqI Jb^JxP}VɎ_JZbУ/cALʏ|ep.rPMպP)CnU#, )k]jCk^s-I)_DT! ;ѥE%U\+g#*}t4d&qzLwuq'Cn{Y mxsVwv sj܍}G]V6P:qA>F0k8rr87][91 fqu6ɔZ|16h*k+'nJ%֪b@X-٢i H9+9 K1ԢGP2yY΁OB8)t7˟Mv36SxglUHgƹȭTۻW8ɳ]?,9EIDAMW}. }NYMh eJӏ;gX&k3̛s9.O4 WENi;/A6^G8DS8k:Nd΢}7˽}x@W=(٭엜8o$˘~ ~ZP!]ϗ,54~ߍt&~~_X_/V\gb*w7#SՃ _+vR0;>V?\"ЫY&POg`lDkpa8hIe2<2+=“|`GxJ^ӵQq|L=uKR (I O9OӋR_v8g22vh_}fV~"ρAac=#9r,z"&)'X8zkwZHz'E V_Q])% @nT2wh䈗& \&ɭrZKҁUYt9~}k$@-~75/׀"qP0t ;糛](m:{#ؼ >CH1`<`uͿA-sl}G!$d%R>WI:$_,9JTUJ '꽼1Hbn./lke..^,t"5Wl㌶/Cz"N"mKrf*)idN-r|TPmT p\W*~>mrtvuXnT-؛N s#.w1|H>DQeFèeo|<a$e?Caw˵+*Sd$f}Ds]>DNf& &cȠżN1Ns@z.U=TU|Ybw|4&g6d /3* {F[{bjޓR{]d_q _aN<"@WecJnɭM^K53#Qu4<ꢧ{Qxf{.9A?WmiҊHoJ*wm:z #B)1,D+@BѸJO5rr;&(`Pz6&{ m뺋4Xw>d?}{)Ƅs[׾?R&?\Fdc@-3.vF?'b&M}˿B "Jm.o.G?39;~"`GB WDGb|A)~lu}g~;:YlQqTc@ɟbu#0-q>ʈɚXp&Ƙ'RB @荲ԷNPTV ! 4糌s/0烙~ycfJY6{t")bd a=b;q(+Zkтzy~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"9n&nw1pl]%gBٚToEy  (Şh~N\OaFg8@4-BՋXŋ6s3n+uq d $|':^6WhؑS`0О]eg3̿SН;ۦCI(cu|ykD] - :bpq|JqyO|"zASqwTCAν{ǽW %ҽNPܮ)\dMY,#><$jNS$!q?]t+V/¢hǏ2M, h i*~EQfϯ#َ94/_. ǻUhA4!(@iǎBP5bjJ_#Tql߳JhG<<ݿEDS`:leH'! {0V6Ë7 JȰch`|%%>I(~3w٥`,p5T&Ơ'捱3j&]+.)8#LΈ$.KX&N8< ̩#&'0Z>]#m>;$Jԩgh#ܥ(iEdc_HKucX+AYAJU?Y2ߜfbɡWڷk ( O -`Pq@| $]0T2G. _1Fo}9(r9ڡ"jcRY jp3;iIr@̫@u &ׁ-wVt[Pxoʩ@k \@F.Bf̣Q1EhXMRE1Ǔ1~T~ƐddietHK{w=?sn|7'|4P, <]N_%\ pp!LI0ZrlkSǣՓI ,_sja>~9-&!Ϫxޞar!,VS;~l2M^ adZgI|Lj{ ) _ )h󼪔( _?Ζ(*B$?RMLUj5ƛ{t4u=9{֩㾵7줁)u0X1 ưL Ys[ M Q҂j},.[E3n*di+tv"b( Ç"SW€ͩ7ڙ eWSg0ɽ)DKVhMFO,HT9g%gcklď0NI.KĻ"薎V0Ki׏l}vq#.3Ou*1x`ްJ DH`Κ_!Njzǔ4,T @(9Un u,j5菋a-Q̪;O<63K)s% ^q4o\{.w|NUHZgOikSg<$}! +zBFU|y 0UG;J'jا~/A9vwfID هţeر emOaэ 2-q?p='kb1/K]~6r-)Ɓޡ;IOZ 6ŭձquYUT-D% Ǘ2XˆFऋ傪Nw2Р)]ן,9J[!b1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id526$ 1I# LHOL-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\/ձw$)=zfЊ&Hn{;s<Wa)+pRb5Hs{ep8-oˡE x<Gߤ>W? qXvIԂ_@掍2%[QWyr^Ctlʏ>J_bտHRnIPSn49Nӳ|Qhe$j]+b(Lee؇0łS@+Hpn8Eg~N` .6~MyΆcǯ qD YJt6kPN{iT "ht} ?;y38n"#Awp"]9S|M? l@ v_LTOW@eTe os-B:V`Ԡ(`I!ґɐPҡkA̢:߱v'{yh&((,~V|kk8jɟp&%zPDT8oxAu}mA?]?SH:D<\JSޯGWnѨS|S) Tj`ۏ=s!^p|Y."sѣeM .6NW~f?7||8vEƳ-kSJS ؤ$c\ jE^My;x䛦F;BD_:J Y!b0:Z>1yN  ʄwQ2!Rg =;`o oitsH_JP- ( >PL-}(,Nh'/y2>V62/n iD>t:>Ԝï'e7]$W&MgI(K$1I._T/{Kf]w2PWvOzi2)0Yk( Sd]gKP0Չwq}I5(&};{myY byBVz f]LH0up 8%E3" 2Zjb5&kHBd@̸7nς],~'n:a|,5^ XJ("ЦF#!3#cSLe6^BA'<]k1[H) US&6=c]NhL᷐/xN~BN}!؅s~Z81Δ=qZ @Ml&˝rs)\\DuF& ȓ$UOv`S H< y=}dZ(9Xs,vRQ;J{!_ETyR1d~$LCSt~76^9F:Z42B<ÆNGDu<)rUUu,`y17VpUK;BI &{P^|mxU7 fk*JV E+;E"jQRB^9pCd݁g/6;sIU];Mt{Mζ 7E.O^'J=䟵~$`;MĚKi?v(;Zd)XN3˿0 Ԍ 46sUkX d}ৠZ)d\NӣQŸڊZ "ꁛci^ A!gp"gbsnM?5DZsIJ(q]o< ۼ_օ<:,߮:yO9mVuA5(HPP3ydPINH}U+nک<˜m{>Rۙ."|g(!?;;`Jq/o " 0K·`ܖ MO+MvBD 6Mz1suԈhTuK{?4PR[,އLb , NN Kډ;Wj1udS%쫪󤰐l)*]mCC]_7#WmC;#Ip.6x8 yqHR*k.b>I3GJ:"s՗ۗL8pp$\sf^EAxŪy7_L;Yҗ]>‚ۉb6ljVl]>ѝqZDذWwurWz 7i^` aK ~X:zwp䕏 ъYٙEU=6D>P[8*L8'P\Ŝ3}/ GXQS팟`qiRKLw4ӄxE1V(5 IRrcq2mIؠŒџ˄^H\dXy{ƛ>~ \i66cF ;/ 77OB )דּj>tCD,OӞba]GI7bs>"YXYĖU(/r^e붬BGv60ܽjE]-Cy/; 1|E]] ] QY([Y_ A~8YguwrE[}C؍ 4YOx$]Y4± %Grc$frZГoKǢS=uox%.jOAת3"@vrZIH7]6r46R4:9_6Ft>@W/qGA%'O2lĥ+ h0'BIRp#|a 9^c|`7WJX;ȚtS nWWlcε@3a*æ#T{nG3k0c94ޥdH*":qcuĭb•lt/YƟϩV aXY:'{"z_N}T ǖKNlcSN@m_g[ERdB _kh3"6qix\e ]HLA`:xiF`;_HM)6pfwqLr(N,KތK#/>OH3}*o8ʬtN_fbUWGޙy~Ew/C@ atӮ>Kr(-Y,i~4 dM|7+{&%h IK dMs?#Ch韶f]qP*0 yK&@ #)LsppF͛CK[5D5֫+;Av9@2{6GTiQ2)x|[єq1^Jk&W^Hl+?kL h)ܡv‘rʅ$ od]ir==CIOa*Z!f ԡE/O$',[ -(qyS@04-WYzCqAv1_fc%`oLQO,fUPO ~$&ixN5#P>H+y$LA.HN P{ *׷(Hhh햍ˀzs]>j-ą t}߮-Lf)hg64 qM ow TT.JjX{y jH5$W~Mh}~Wv8 ޹Pz0wQ{dlvن~ɨ\ ^(06ϭs5}57APگ+(梐eD8WVi_V큯\?'eZܙ3'U6%]>35tgKH+$Z;qrL`Pd}Կ=)GBJ{fwK<8߱q \mEqo\6ڻ=L5Aj"N7kʕce㫏/r2< Q[Z/I>ĥeqfgO|6c~ 4x?xPV&Ji'V WÄVTU>fpp:X*qSq(d|:Qy?K,^nވgdo"qkt"o[[ WK">S XPԗnӚ={XB6A.2ӽwnKd&%bP[< P=iE6zJ6so*sWVT-6%x-AXpi9RX,\|i3 I;po0e]+@ӕ{g.|,ZH/ՓJU]R7ZRO6Tm7,ZyᜒҜJ99\ <jU)!_SaͰ!z^~RМ U*Wy6qWeHggmטqH DZfYJ%l(͡pJӽlN|@@2I gMpI)kd%c&jnK|UYeE[x9"'yYE8Sa2 rjtgq.Zsl6g2c(SKB`L$`ԻMiA𓯚v3aq-rxu96ل_ \wUbSV1m{!%#|= 3ėd1+ۏ51T\'lPr)>7Q(>D U䫱%SdKb ivv:Mx]]ԦP96.Oit<97Xp,(PzUWM?pA •Nk' IHf˝0J*^/v\ى4)Gn=헺zPsQwOe6.Ϣ`GTbEs˪&HX Rה(>ыKa&K}I2ٯ7 [J:nk)*#'Gi [$/inq~ [y&X+0rΛZ6NqaRk1맿TqVfw7z ,89i^2EtRl2$ܱ ^QqWfh_ jYwsn!:ФJj~섕Yވ!߂!)*.% Tͅ6'dȏXUyz0g1޲DGELi.{Q=*b״$>ėld&KPmm"ٙ=ί@+EhP,ya~nkHx5wڮ"^nh;DʿE鍝N|ם3ХN K6֪5-l.?6Ϳ9ZY/ oܶ9Y.z8?JPOŭ9Y~ƨ?(Jtߋ7V`3KjqWԑF(E*?-443 & !ex0rL:t^v}s_ܮzPZtk&Jd}2њ3$ jqez18P}C=Q6Fr۬B/JQэ2.fSeOM,*mOȲ oTk0`Kpl4e1.ǢF lO̐yDCgn o9&CϠ.v+paPQgf\PEi-TQ UGui޽0Aɖ, 7cU?u|[fP0t0$[wsf>#~ * CҪX:U@ h b($lǷg_+  [ǭuF>!Lw9*KlZ;j уA)gYZ"{m1_4ٌÄӭOɦ )3Ay$Y9cj*:Bqfec3:( W[5pb +vijU&=HQQIVv ^q!y|$+= L\g5.XاѩFbDP<~PJhsu&NA^}NjThhL1" ]XTeKqj/|uJū4sK4o'~Mv]'ٜb9EZ9@8\%'^B9"'œAN='p3¹B KӂQ`9=n5Y@*T9 i6ow|Jm6@SDji`VKnoDu< lmL]&- 3ؑ*!lF?ag3ɊËoG^\C{+F/ H/ڜ'I58}=U i֒c@_#hS=mHX3eB#xLgWLA9VKI}ȷ4+ht0 x$:Ve dC8KGi%<39zaPt\) YpUQX ϰc,><+82˲κvP(C1/R˰b5ͣniuzJ &f.TIa(߂۹.'9JƗH_Z;3u> )NǶBs.I' #Oia~6;COX$֙)e+ A9d%b Q׀Msoes7IpI~buq%v]).&%Q0ռH oH /afu[4IŒ!.?93BSnE^JH"GL/~_['zjg`Ԓ ҿI9o8@5{jɴ_SڹFY}԰sewkOh*<*YڦKA/8KEkWƋ {:U?_9V H* Q0m*\+{<`I1䈹"LT2 ½r2QKsF^q8!2 |`}PgFt3ivJ8x݄lMLUR)t\Eb(iq헭|)}~<7gȧk+2Ɯp|;% 9jn|ƻ5ZEP  3rv'xXU\]}J'@FK!$б+#8bEج@6+uI{pL 5"ߏn*\a%}CW}nUBIX:X<ߴKT~jXw˓oϳ;VLY`jSf񯉛ٞi:l"{u^F_ۺf^{oȃvw`hqhwCǘdw UJrV?Ak8b>U*e>Twm0nz"c/ۘ1uW63iIAτ߉ Ֆa.-P06<ta{z/NI)r+GP [ʐ J/I `a1M;>6laI`:t=Soca|D:n~t! ցK-cE^O _d7 ލo$ɯ`{-z6J!"rEx DIQ-ܲO)sx!z/o=n}|E ([Yz4KCx ^6&VlbO,i1X`b(J6Bm#t#ſ}W586 rHE EE"Zp>JSEjQzǺ wG7A! H>Ѫ%6o)>i9| xN};tuzaYCtv) V$?,9}L]* !5%#v 萵;.;z_)e遱{Xz' k<. -a;]S0( aun4x WܴѭI1zteA5ߖUi ۙga}8+.#n0dr 7~[m..r;Q %DR&%nOG< `. o>ŪinщH\Ϭ_jSiMh" LS*DhqȘ{ޚMn%nndJlv!v4">3+{m2 X!u٭ں{Wf;Г/W8<~%˅]WFy430h~l$iD7{.F3H| DꩠHSI%%nc96ww9z@u+ 1VG6bcr sOrxs5))_+|>)`ylؠ7?З#g94;EA䀿OT,|-9 MFWخBڠd#DZCgwP)O3^R.Dzh.j:A#u\hL;]uWzn2ķFݹ⍇@0@nŽV?i #E4Vyx_ǃ^VEz6&8~v;ӽ;r@\pcgs*]kmnHh9H +͖M$Ԡ]&(och9=oZD>Em*xi~r:ȦE~8*!LQ-4['x~. vLمmTa{P/uw(iE+CaP?pfdEH1ǼlPw;} &Û"7x*jRk*T{YJX*e_n F"b屐\hK>ɬ&ڱ_G0؄ԝd:o?lؒFx:ȗlOgJ}IF"GKP74>g {?nx|W:U=],H}%QUÇ|K91MI/waot[=HX,sz]$3t_O-NL`)hdQAR 1}(B,N=wΙU]0|:@l0pu]J%m Lt$a\\7&KWA/fk٦rU|/qSDfB|(*7 m㕓(eaA߲+~ DoՖli`<xmu#FP-:DRķ3OheMŪf@ 9z4tQ|_:v\r][z.+:@D%Q$ӟx?W ωv[}($&yGym c7#{2*ΤߜucXQZb؉オ*1w@7a lQCuo1z0:2Ew4G.2z3@q1 XW}Әw3"9%%}]f\Ex/k'bvت?AM)aodq/Q$9M5nWL6Jl"]V"p ]a& |7ݻk8)^ [hM[%q-]= ^ % tZ%31+ĴBgOi;Wr<8YǠ _R~_YM?b ftAS7 >xyD qUr/O=PF%Adu 1Y.e0O 0ՍB݌p,`SW9@oV v=9sԈ0. ]{fW']&~ZI<eUy*|(E>[z:C-k{l|t>ݤ0CKT5 nA?gWocJ 7=pf/Cs"MY6Z|k7 ){ıp׷L)3Ճ+ ehE{|*1{"yT6 [SQweYwc\U"2jU%o3ay'e>@:ɲo9"D% RGrRûĞd2T⪶ O 5go&KYmZJFfߏF=/,-菀:[۰xmd[¯2ol{aܬ}辊v.6cd;[~F0N){irr;E{e(4.#Y ZEDw86!"bvu3#gEj&'-U`.~& ktg}aM P?2%e|Q;밣[EE';Ep|M{GI["FZVeW<A4sm$Z:ʒg55QL21pˣ~ȟ`~giU&q4Pq.J,WX1llH?MCYfۚm"UAIHӪw"Ofc+g6bh+D|>~cs*?$@KbzGӇPj'3ZroHB<OtU̗2SѫPnJFyW.8xb=OE"+[)ﯪ`h[gtkʂޭ04b/e&$AHx{E͑lE.%3N ٖAVuEbEہ\۲LYS(CTz!8 FO^Ztȁg?O]U̬zF >$M;E?_"(K+P"[>r.X ?,u a$m~$8 Ȭ^ak{yoj"t@#T](La멝+,Oɞ?&c3EpM㟸6ëvA.vNVIJ4Cf..%Fq$5n!1 .:yG$eHn$-L!B 2ll"|3۷ H\VU?_,ME$Υ>-JZL\%COX`W,ogHh2-In6"λ(3Eqz*ZV_jZЫxa>Vkfhw&-څ#R(WS`hm;y #(Xz̖\$60]{0fSz%E! _,>G.(1GC51[1qK5E@d.4<𗉾Q0sFު QDcǫsP\lp{yJ5E0u8Q ӼJiBXO@Pկ@*\_oze?WY/Cv:{aT%\EHt}`<ҬS5uncP~RMs?#c=u}<QФ` +(NN¡u8U1YBavPYW1J=ܑW'VY.fHoqo9])sd&^Þ0£lKFuhfI _ LC@=qT4(C[4EJ9Yc&f@#xYa=>Zϯo^|,C:bIȠhA[ AW^͙yD?.=;dt}?SHqA\S?ydV_H8?J̷rrHp5м(-0W*ARb׸ͨ@r־{ eRcft'|m"=OH6"bO#E "$si~tA]dw֢X-Bt`9TV@tǾyg*PyҘXޜ_2 ˽ge3EQR[,B~ZPr"TUe}=l/O.E _rc)\\Zaՠ_; ١=3Zȭ` !/r d~ig|/A7_8]Є'Xlj`5Mv]˂豵 zAGΔJx/{>&pFB3>3>kK`4fZqLUɬ-C sHѥT aڧ31[ŷ0PK2+<@>4e STx OLN? q_}ƒ/jl*׫mv{Dlrn $Z]JUF pn'z*ϨV{8][~DZΔ'(9'ɶS]fkw]7^"Fb$/Dg;6CX,N Z*F~s3q<Շ` mN)xg Mk~gaE1[yJDU3Bx!$crM{ӡ1kGyҳmcda\gڜ}( ӕ]57@ţ0tfoc'UkMD=,A4a}Pٴjmvwr %u^(k812nok]%voe/cB b.#4cسKmeU)HpT*HʾyJf%fr'q,Ƚ+# ;4]vnk}Q"L&Y8 rzoTe3,hz_N"Ը(Wӟ|(8B)өpMb?s} }(L7M6νte7`BMt "SWV[n!~PܾڦIo'WZ x 7&!"㇩1JhRUolڻzE LԶu=+_{-ع[ k7tԀXHtsLu9ըh۟L'^AVn>" =kXugMP'k5˜VFklhOGhtކrlwhD![5=. $QjL=0>=Ts 8f!/vm/ohFA]a)rTJWle`&kxf@W@Ƃ밀Xtp|0e}߮ g|ژ<7K/+_ [ǣgLٓz7o,ZzFS*L_ bbLR0Og7ڎvQ"dZaAah$':w^TzӵrBIL{:W BZq >,pj ypD E?uur6仈I~N/9MPfE9L&bAuQJ$jS+iS-p2|}¥ɹ>ګܪ wQr{IF*-hSRZt Mh_eiR%ĒQ8t[]T" ; ?acf]ˆ&+@,u [3VZiZ] RO'ʾ{.?vM-w*:hEq-egǺF:DeWgt- A"q Q) zM1C_^v 4?Qcp13XUoғ'-o*MQIN| ,tGapּdUkF[3LiQ /='rR;n[KX~Z>T89T3WR\vfK`(j+xRw*tv$oCR2va'݊ k i`t^|7}(9fSZ^Ʈ`plo(;i Z4ܮYRs\è>eFL` q3x'5 eudy#gm4"2ݖA:zֺ Z>ѳy}2ߔj?`D_o{*T-oEzM;Hl?Qr;FՖʬB{\`'y~\1ƾ[&L%z  Fd%˗3Ct[MV$ERws1d-::C駂0'o_>i,d nPO4%!߳"Am=!n12(^+vLM{8 !̐ʯʃ,2iMσ0E|s8'r:m#xkWWp?(^CJBlqWp2o2,(S,V@osX$}:)D/ԃf"gs+M`Mgʕ00;_#]9oG%L`4}0T_!@[mfw-j=Țf>Xb`)gׂ_7]43tmx€lAQ+[jJML؍sW(%1O׊.7GnH¹~ʖj}׮絓}XU,_^tgwղ Xc?볭Q et߷N%?Fb4a$H46ai˟@֢݃gvL;XYmh;JϔiU ݖylQ-ժ!}:Mw!bRe&9+Ra͞N^zrɐKr+-A`YK?E5?Q.\{l"y.|rP{Ner6l+HG7RX Etc:T'}V_rf6AgYkE_[(\Nli=R=ݵciY>˥k8ag4bao1=U|3G9U c @wpg\@|WZ /Omx> 寕'R`tnķsm3v=- [ e_.4#Q}nU1d=FLIr#P 7@C0~jAÿ^LWWlN&h8!3D2hV K A,\y. >Bg ufZ+>!qtnJ%#LN8nI ӳ+Ϭ@j'zBl t!9NRpzT[a?(S A*-'|*Ͻsx]1aD6"-#yYː;hUdΕ.. ~+DRnU]bm,,7@s)~, M1?'ziʚ[r%$y1b+Q.w>Bӓp+XfKpýMb0쭰-\~TRs"@HJ~7k'eS?kO]EI \`x%=7ӄcaf01m<[8 ;MLd G֢n,Gx>8.3:$,KmP vZ<*P@~ؾ{uܡ*Jz)<đszq=;E>ec㪽R@]A!G#'Ƿ(%N8)FeO,_oהX"Ǣ:L7ÙvSz |!K!;Y%ZQ|؛RCKPiqzZbpQJoƎl}ȵw_ )aǂA享,n@) 3ϳ h,T"2}81hJyEwۯ"CA`YO7( jrؓ N{գXƂҭx1aX (?+8ji+m+LöEL-ȴX "코B3oəV&.a/'aƴdv;w8!tTI0EC,ES.e*Q P ]:笎$iY6~L˜m]F H^4/ZC :O9syKP˿ Mٴ+,zA$ yw $lDTULA$-&Z/L;\1Nv O {Tj_DVU550GI?GNe\!4$84K\0V~Uf/(Fc6ܜ FKrlE2 C_kom7hSSK}5,p8im,[:MZ'Tހ9mz~Xȩpul|3kU14$^(; l`c>:&ӔBv>IFåM2O*id}Jٕguo/A~?]Z37G3|12+e g#5[Is6QrU*|J_k+$B%:|rk}Zij2&&]U0:U(AxːOWˉ}""gĆpE8>a)+əL yM`rɛbwӡ>A@n%q˖k@m傕jѩsd54'%MyM+m:ZRIY ?Donj) yn_na=O AMwySSƍޗPtf'|+ºhiRAKBђ֊V}ط5l+>dIWaTwv\  %qjaD г\f͡AqMrxaPw!(o{I,f5:b~6\i`'0ХㆁY{G=ye?*,`r$i? ^!Z Qfd "#-,(iZs#O[/[XN'P->Զ}p/nV a%n~syb3hjAPRA mWn<ϩmr=>1WTڐ}-4F<&6a4O zIEB'2ЅP LAKgpM_*.U%nO*.P6qCrg!lyyhh[cz#B{ʰx5((4'rPg=]ݹc:*y9?a@ %b;O> =NnpQ͐-.{ץKK2RMyq=M IDrKo30QUM):"O8$p2|ґLXB}bMc~$ J "7#CҶo^턦Yt[\71%dl@-yj2Gw\\Xj I;p7s$͏S^Oj&n_qq Zw^h=r㗫x2`(8.ƞ'Jn_=`4gXD͗(sdG8UMBH[0-2K}^oxSM߀lrFČN{d^j EZ<<2, ^&G2~yUFCrȘD51 e^ &ؒ:`Q̠HClex* |2anbm.*ޫlixVk2V^h*'7q%6 ^&ezEF;EAC/Nsp2?oCN)gXe6*N e]"'k&MqJ,֝:^ F80a&]L9$A"%,dq4pEuBU&LMNWk>? _GRGF3mm?qD; +u4}mi?5z(ѭ|K*@5l1;X;d N 6(B.md߸:Y(_4 IAo("k_7s*Tu&-7{9v, [})ۗcAl$9Ƭ7}U( c(*)^+ޗ(=]2nEqO&R=͗~|mB%DI|#x} !^MSʶb5cVl%F>v-X(fj#$?fHD-bsx>vJT@K rSz">_jx+_Lʡ_քTtQ6КϝG+u;Ŕѻ qa6^. 2zP(mb5V<YYz67No+EyUwmfPKeE: oՓ cttl eq6Pl 8Mƚ,LaG!"MK=LT-G!v)^u9b!E|&$b.vϔM/glOaD[.t+pԌʗ|HV~O;<L>@1RePg(D5"GZE^3 l&AHAnc b}JN/*;V98.3pF(A^pRWm$Zˍ:RY=Zl_&(ʬygS7*R1rk& x} % =1\)"/3 __q(A?"kz1qQNcRv P묺 tѢSUtrt*dH/mxڢ͡"Ժ:OUEh_SedM d=:׎|].ћQE4Y<a,ٴH轎, iD!(MCПb$ %3K˺ZUB}G 8&S+ke=E#: rZF5N+IsP?/T`VVk>-n12{6YYC Qc%PXT1o$"0R5My<(D>,ŒXCIƄ1ubjTWtka-IW3+fGJVʰs %B J2F@^ZF/!}"cj۶F¨GrEuV(.r| cCcxX? mÃ' \ #֊5S˰`;7WfKNGp |!3BRkbpTb*bqunG]t(Z4Trkyvy;.+{ (3-Ѧx9o(Q*JTpCHõ9NZeh.ǥA9x7Zi'>w^:QDۍ>R8 lagYZ  C C`1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5301A' ,HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z‚z Gg>lU(' /{ɛ+$@fh|n`.LXAg@XTu +I\=G1&UE7/‰i3_(0D{,$Dݙ"Y^as.*BT F oP)ۮ.yE#b*# M$8Z ngxxH[{Pe#7p΃GF)cbJi HFZP(7E92.H5XQ'![t6SgHX^3FqScC+/Ǟ"{RutlosT!(Q-CT#.OiJ#u;.=%ǰZ6^3 \zqDC 2;*D5&FR{1ᓛ5Y7ǭeԾ %96XWĠϢ D<ױgYZ(+gb 0οo!-j0rY(6W ;=:u;X-qS_c{aVoFh2l1!MEv&\ʼnΆ:Jɾ ܗ":Ղڷ PK4 mx<~"hd SPHJ]XsgmNGgkv  BY^_ v23ɱ|5aN@ԍ|a+Dv#?] ;kD<DqL"Lc+'Ȇ-#2k?cg'6a\)Jc>Gˣy*aә\,RjЊ+4Ee/d#PXC!/CY>}(%OFΕP2p -9.L |< ȿw)$6_P3XǍFz!eըe摁_0f }rL4ͩ{KGTtjm^W⤻DT; 5v>^''AZࠓN ae8 j%^vt@B #HkĜ93 nH+ld~kژ AjcM}yAC8ߨ@:t0F`.u *aaMt%þ ȀcY 5h2S9gFF#P:~][g{9NݩOUSܺN!a8#z4ӻ-+~f7ֆ)U ZLPd%X 3e^>UeW3O΋G+Ssl-_3;Pщ鵂u_bcQZ3m~l.q+ ދLSMmj$c<)T)^,0m"򨢣Wd})KϵGZZm&|A]i;^ty/¯jfpBE}4p?s6yyKIx^!Pض~b{,NUqػ|.j/2.T @@O;P\oE|nS5LJb9 }ℼaf wܟO&/-woHl,fZH9CPN{YZ"^?fhj\等x,iKBP@Ҁe&-k,&tAeunʺ͸u$ % EFLڑ-Sz֧``yE9ӂ"=EVfjgvBwːMqGQx;,U&]8-e;,'s~}? |8ΕiG4Er~`\>=7{`%pohl6.5 hTd|\V1g?aZ<}N=sQ WMN6|AB% F # :J8tۏ.6N:Tc¶.%|"L(l5GS=`I!J'Q.(#|)ւAZijٙO}2 lV(:&p5H!jI2L _Dp؋Rnm4,id6AgnK#} iMVZO~!hA k@3B(Xd/ 8J?Pf 1g7muy+$&FJ|C|Gk$W vi*uhٕ#a7_/CKoy­ M+GR9t duaA z={({.֨o 5ٵ 9]<քC#5A^p<ˤaO*B{WUz}/@B_(<;w;u stX0#-yj9o@:ymPYWG3.k3XQ@W̊qF5#Yo~c$'%JOyN륞jwE $fGM^߲ $"r(ϹT(@' 52)tTZNQ _'/9-P+ڳ4j!$RCllC|[(FŻwgٷ$ y3i#ݑ76C;1v'p02 M |(^NA$S`YI T$0u?!᎙;;{5U⇎.y-ָ{gBw%tj:54cCK#nƠ;H/J }N [$LS XFRئYlMƍXd׮\Qn-K!)DTGG\.Ɨ2blRHB˴h@sYYl*SݩH״k Hr3ڭ"ƣ; *]h~QPv7F ltxDS^}9|޽/xō!Sؿ Mu;#vA  S[ Q+n+d 7 g(ku}WVc6ktͩ ˛c1r[7r@7y|iow#y?;Y\YoJlel=AKYBrヺKm$gB L` ~hTI?!C[8ik0!S>$pø~Ic_//0pUj;=Lΐ7gjaBP*tVmsU%dvI?S;VSu>q uW|+d 0mW,ɡuDeiP*Í d_bۥ*JEH]soQvғ+l=A"u#LSj8Z{TuzChw@ܔjUKBmN@IؾՁ̗I v+jmE۔BT0\oɇ ,TGϸ `ݴGoӾpR4UӉ}F|l&L+fI Ƚׯ_t>o4X RZ{9;*êl$tMұ2olXʊR5^Cϴ m0mYYNmde7;'Q*/B"yE'w|侱7\s?(2WmV;=>['B̐v;V. mgBSS2&v/gQ;bB!=w7BىԖMҶ)|Ve[MN җ$RP>26 SٻChq&So-_GEX.?[UZQ~bzقG׸l$ 2-SRNl@9X~q@E ʜ))(haC6J I9gh y}Aqslu%Tr_AIZISB}qq)p3j1cx6@ 碑oj+Fs^ؿhw4>‹oOӅְ$ 'lL&<^h@H8R*Gaξ]Cy 7U0/RJaƎhH+ج>#٬%Al2VB ZWqTv6nj!`Ŕ+H]BvX|V 'Lã~Crr^3{. ذY]*~Q9gT7!^q4!}?8@3<8M(z Ög?vXaFؓ>vLr봞V#I`:Y5PʅvbhCL9$XK2,ZvyMbepXLVX9$02ʼ~kKz}1C`72B)AIRHrA^pe3۔ d`]s^Iy"Lt/mdCB0_o$7I WukU] xhw.}ʌ+2 BԌ E[9Ikh.4wȎQC]Lַqrmk WH76umzJr \3\9 b )TJ;Xoq4M! q?ϧeGIz$Y%v1iQUK`1Wb6Ys`#hoAk:hbTSUfO{&R ʁˆsW~  %! V &Rdu$Q+cx\'.%ߴdM_9 (_Ot)P"˨X35ZպRfҍXc,<0M=gy0 KyWl-ȏ A@z\]Rԯ# Xfe8~fh)S5ET8wgWsx {CuK;e@zO%ʸǀMe\u?PB@h̳)OW_FpbhKWBLZ_fs[Ne05 6q;?2|ui*VkfzbۧU{{pv$VرTΌӦECIdWdfWvg̞;.)o&L)[GcDნǒ XtX??UiHtxȬSqY=|Aa5&Owv:ˌU~\mwy0S@ ,VC6Y"@}Ocz1oC*&zOl;)xS,.@[7xU"5^ٳB `l{"pûe 8UɾxuL9OajO=tˣMAdKzE/p)OKpe#*I[;|uźL29hgYEI -*0́V~_o;вU<|SEf?yk''GMw=WV=E41!3˳L+}_veIݾ:GD a84bg1>=w@xȈI}X~\AQ)[ߔ+kD3F o9! f, ~2/^%2yg ``wU:u&68Zonjי*6L*{^ \H VCqa$$Qsj&\pIse?=(>Ʌ]̶lSx )C'_ء&?'ٵ LY'%Fr򃲎o\"֎yDjvO3>}Ǎ ,ZpYF!2jJm{z@/4H g G)+aSShl [3 p_[l< H 8fp W0>'cB1E\:^k[c-Lvn XiN~-G%o\h܇NyxߦuRPi!A/T(j//0a˭wa =sϐ2 P'2oyKpjϥîbH?I/zZWO4JjX\ ABs++t͢9T}S\)> /BUMZn;F̎P'g5sW|J:yj+XN;&@8.aüv^KH1v!Ul7\]i3; >D }o] +Gڃj͇Q֙eVslItb}Jlvz04yxRc.bBzc-{Q~Jimt嵢'4.ƴR|r/uަ@:"s/)t<.1G1sP1u0?{ _ܺ44"8J38^빨ןm.gtkۓkDDR.-VR6Zcz+X)Ӟ* ؆wE(눸b}i&seGoY0Zc!=w@Zcy@%{]Q?q[h[QX@ˆ%K;c6k.͈?jP"3ldaSuS/]s}sEӿ; U'WT+üxxp` Z_) %П2sQVAB3fO\g7(w26$)ˆ2 KI8[PBq%ޫwZtdqT:;8_ҢuqX19Vy`c0>g^zݦ/`zoPWBjDsnIYMoʯZ9K?;'&cvI1՟-|Wb}#+ձpx@ !l1|& :}G : L~-@{nM20WGE "ʘ `E?52 Y刑o{ Fs1ZV$lB ~5w􌻡Ch奖MrTwN$:r<9(kZnݏaMЋ2 E+3y|%3ib3Ja[,c b(` m@K-ck/ܳRdO7>Ox'/ЛTN|^0y䞈qwsBfi4NxqPa\3@*#wՙxXxf% rrް50ogm˯? `*ƽp)O?'tH!>E ;GRRF4Tf1="QʋU5sԴfT0FVmj E1&re/@Ayl;r 1Hu< eZK6ԇҀ3aws jߺ%d\so'̙K@=`ob2VnゲEz+5Ct FgU C=>n&-!iaT/z )[h܅,jAq8Ȓgdj!ui\]&5BDu2a$mD9B w]o0%)MaG]4a@+u`gRXMH$@])0d2:iK*%!D$E~:ԿCvӲBL~,UflvD;@A.DvE3w ¸FEu[Jd6nW-D!P+4F݂[H.3WKrʄMef5c<\ xX$PĜ*yŃ] Bja5\O&݁в ,i*T|YZmXݙB> }%2 S~:i_ 3lgI+u鳕" A!D,~O jX*=hܰ>/-/#EVYc&*TL9'*CX٬,.͇{o2a^/̪$.yV/ xJd::14Rc*m{/xL0s/4/U0 ɮ;eDeBkDnKD[( 7&!.; ^xG7)R67%C,,tL5`tY{7*)v%?_tb{at:/8s̡9Nfe fr ;ڛt* (/@4537r{rnJiQ2XA$67>4, *ȁ OJvґAT933J-mZ\&25;ZxV-9{Bس/F (0WrcSN=ӠmՒeGP ?:G<De} Q1O0f(B.u$UV('xT7IF=Ƃ(䐃.E?̩wW2n#X 1u#(Dt] YOA%7QA#097PG}?گ kHcOL RKEQJwƦ|b{sbՐ=L{LjȔBEX7CSh g#3; ] &AVSv=*I}6r"oa){C40"bRMM=րv0"Ad*͓LB >bE)a-;&B6mLd\· -ɻXD/>) ew[a\Z(}COVo$܁,|AU+X3C2qt&Jj0xCj#TE j+`o="O?%OfM-j]U, /jʉ>xc U2=늢V%[9vlqxT3!D\_)/d˷^v~~]Kq rQ.%(95A@7n^ u[%fd"V:EXK(W]3L#|3ڻ1w\oo&% o÷V>'B̠NYqMq UxoSGK w4cNc" Ø/1u^~m~zc[Cհ~ 4$S[dG+ ܸB էWUnЏ;U]~PS@Yx&۾1| [(*ƴ1]iMBO\9}°,eZ>o3 Vs>Nzf aXoRx$R(j3iv~e3I xML`)wc, ~Z4#=1]#w;%ޑըJV4ls5fz1I/#H |~ֵ}(6BK[%^xb31w?J& "tc.$ zzl7rW-SgGoZ2cs& ߔb!*E <32#;ʶHw Ӌ,ғ~5(Pd$ f}ɱB 3Eu #L\4jTњhɄGDmt7L$7˭2o&nٺǹr!bwqEߡ'COc\pi!d,X6(oB6rQfYvYxDW gFr~Too%9a[ECA:C{õYငLhֆgCFDʹ#U޹/u#'#%p{c=@ ~&Ss7ULuk +8oX>09vĞ`݊)''WSU|P-p b+}Ym$ʻJk0qPIۂOFAL~m9EHTnfH7)Ѱv,|[6-- rAB22ZvaH7N0f, !hΦƸĈ+\AbN@>ubeA$+#]\}G NV@Ec&Jw]꓂qo)e >Cf* r{2)iOg1퓬|ViSђ=#HgaK|ʼn=ԪC83蚂!6X> !Ыi>$p]F2XVY-ހ#eJZ:wMTIF/Me>>Wx,<+qV7ww. '1J6@;KӇ2,U#:SӈL N2dž*p7鱘`άyuHGڏs2 "/3 c=&n; 9y]x0bm'FH[!p/`PHVcR 3u.怭EжG-ቆ3zm-/<^ rEy0[B'VYכ_DUiUl}}6(L- 3gAhGf8+ H|qe!<%.~ɉVrjc[\`>v Ɩ-թ  #bk(5 _jnIN;We gd_m*"Gv>+m;ŊSuEgfz/Za5cæ\5.@g~a`vl9J6\) Rdǂb\Z'6hTu8F5ԅC*wFR.P1_!@Q&.!#SS,EAJ7y\$tAW& Hm/AkHი*Vɭ.xذб):j-96΁JW}e_^Nc"ma3NAD4}^I#+Ξl!UI Rj76,N9q&x-_ԒkH&?xNgS% oXV=PvM60;02[P37{>ܒ48 2)WjcIڟh1dk%ŦbR" R *//2v{()ʭ>E؀LeMCi! v )1 jAX}A="N?_yQj6i MUku.;Ȳl#–}uEKW XN‹ ,g+)lqx i07I,hz[fA1,ͰǬJתZv adGAjd)=hjje#W E1u&o;B.XrOG ".lK >V0.7)S .|, i:t8XsoHAɇzH[-+vCj`N{tp6mCu{,FU˥.4=3Eګ(( wǒeTˣt9ZUeJMdlD\ sQ9X1NSEt~1CkP,wR؀SEG n;%"2ec8/U3L]r!*[> eL&Uf% fl9k_ACKƃie(L~W,9vlBhWА++dݶD?zL%cQ@Kz'A4!eZ6#x~07ixLT^U(uvD=;`tCpW}1c8QN DRD_e,|;F e% 7ǥs^g^0Z^G*c9B|⦂tdK0(5r] ]eb=ia7lS#y88Mi{@/#f98aX'~IUflRfK&", M.ԖS_jo*|0qIi63˄ '2؊;]^}c\"5k%~ˊ-4'xViq`|O V=&/G0K, Gռ[cLU$P=OLVePF7UhBqVo[Cޗ{ CbP-֐sbhs C}KNߣ["c7bY{\Ϗ-JDRU|:[`Dh|( s|ڨֆP[̯jIE6ǒ.?Te ^Zqe/JKmI XT@-=nAk3@s5%*wH2t<,r4a94+.wkܡ&!?!4V#f8w1)LE;Zp `|f,Cvvpo޵%jگ5846LEժZ, @7SÎKUhϓ.\(=FS=67x,[нs$&sR?oy8!70oZ>-ioTڒZBPǦm fI@p]Օ"{lš. jwySU>Df҄7AmV`kYŨHu1hzBOd#pHFx_=(o@r˷RP\m bUjHז: yB b\roK?QAw#9u9h<5}Ѐ Z=G5{UȘjV=S<_YhHlF(o҆|d=I3K9M. &S+4OLNVb8kD _I֌Qu_h8B./&#qQ9UTmYx:* Ii_ĂA2Yd'b'- hZ?lzrg~ %׃_PjrQ"WhI禠IICZkQT2kOJ8s=Bo|oTJ{fCG NU q}ߜSTXbӧTL WD nau<=Ӫ{Y{ޫD'ȉ\ =(tv Z?z7$gaf,`ٮE!`F=)ؖȗg&,=g-aqhzS5>7](U4ICVOTu3roHWmxD*ç-`om:el/-?b:wܳSp˂jG J*|#ul+:o߇rĻDpMHlY.&>tYa;0@=Zxl%FcX?V\wq8R>StJEf&e~' ,|hq4tq AhX鴬$7ɭ/Ej*6seo6_ FXcK4h'K4S6'?"JUDW!\*p ϩhӁcZIRԌ'D߸;>%B ʗeU LFR/7Z:.&㿊=yо%f¯]|ca@nP_Υ* ,6H1Tʐ@1߅ķDIFbRyBgl#ɢ:|I:1]D _iR,2H D50L^>p+`2.AoP >oBWU37f;5B6qUZqx8?/GP^bFz1;SK+)ad<w:^1Q/C'QiՋ~xw-߲Rٍ\(TiUq%9.`Moك::_/+Q\pXYVQ`n(Vxv[TZ8aV C7$ tft1ez`v!K `O~:c1ufMU^I[SH5TCߡdg)XlV1{vG3S ̵:{5Z|h0f ! }sJt|,/7XUaœ,ʵ@藜"ک*ݒ(E/>My)o+ y^_-4;Ƽ~ Ō|y^l o 3"R.\ctR͑7Lu` qLFNč MOa5- z?{W3&nNYX?'Gr Y8ݚD(ӇZ ɱ.CK~"sޤ^vXo"_HhU W4:wj`n!8Nz484tm ,! @rC?+M=IbNNiK[I9u@ LUl [dΊ[x$?{ fISDp:Ytkma%7R1 bCI7< n!Q{BZ:,sY8tl2o}~L)!rMH|CxQhP̰!#&¬epC[,h",>R8ɉ 6bܐ K3g%jG$aF6si!Vf$l;==sypi-t.7v84g43!KdQ[q)1ʺ V6gW&bfAk)`k|} ^Z٩'7]$/NZ, ?E% eyYnjg$ :Aβ hԊ84rKncX@Ԥu݃8id^]2Fz.Vv,0Q8[~RA3~?:K)` #xSLraIoi.4$i1~J?q2۳iא﫪)Hj QQ ;xږͦM{8 ѢAl߄%{"(}|w-t\\Ɣ(--$'?ݮY_ L(p'LۚGoLN45ߐd\ēs^|XQdXAax-c'b?|xQ$:T,zM@9D'm휾bɣ8~cFܻQJC-,G/M~F=//h؟ϗq=>oP2(EgJ ݶ\b/\j|(O>Zi٢U~8}Seb|.+!V"-%1XzJr"lF S;JBp۱@tre'fPhFJr:1“̟};radHuW0TTkq3!:96Ucՠ7_q.P 6.[4| 0^Ϧwp+o;Ͼhagw6idpy 9uZ„ ~=x܉`xPZu“o/=uB?6pIk;ޞiAVnQ>n#OʟHqx}X"-!OO1ȃUa* *%~&k $dp%js9 Wت".8=39^Od˿pb$I]:Jڭ:y|j%ϼ_:W򾜳h=k'XU&dNw+u!o Iw:,geWp:0CITz]0kbn&[Sj)SF ;ۡ6Qҝ/xAU(EuLlRޚ\ t'u稒T;?^L?Je〿U՟ !nQ*>4K zuIݷ I)Ap!GP\5>e >,0&%4kn{v),mQ iI6] (X9g<|aQX븤:㡵">9( Ȳ[ijG9Wt%WAW ,áT@Ӫ:k5MQ/>|8LCog{F=]#ͩsᦌ*D6iK[ >AC?Ea$MezQu<F~)ŋa^s6'^K1Uf FL<>?w9+6*’9_n_rtVs4]g{k--\&OKq#=U}Dγ*'`CtG$ C4c-Z(PESC!j1] 3ƶ"~!v|!]%vՁ?~[Ti` R*W;6(@ןUXh#{L4f&kazvpW]OF[IOq5i͚2d\kARܣ$^#{l"m)^ g?גJ}'[ ,[mqurFީEAxKPfHTUwgH/nSCHYTwAWO#`W[C܀ֳ4!1abR%wXIЈH@!}zN=rM6\3dҳJ3}Sf.47#D@. Gb D5 D:+}꫁CVd8lc>ˬgKv L^^~X[yKȶ{|tHW-O߼Rm䐿u!7Qz6^9/LimNT!4e'Ή_'Mwl!eꊧa;>Yqc@;> dzTL8c+o}u1gk@:}:[1&"u THupJ1<$ &< 2~DRYCRͥ3- E4+?k/>e rVڜaDD]Y#ZdP2Ml_c^g$fIP?n&Odɟ;A yV9mr@/GZ~p__#e"g"D!uvsQ5q˧zЎNRm۶|Ϝ 1{dՆ Ԇ۟~Tp>U1v}YˁL:QR+sg7=( aW4e\Soht68 -[#sXjƲ-ٮ_؏`ii:ץl9*v́qp`Y/qf; VaEGyv >WoL0R N7;`&?n=pnoVރQȨߚs"t!u8 juK"}ӄ~cfo(X \l#5UNݺN/6\Z^\hC͓I#6:0' |,!ҵ]n-JZmL NcJ'|բfE~mLm$*:ǧ}t嚉q#!i(-zhK:T˗6ӕCdIPr cᗠ BR]_f N *)m*2W9;DujDkEd3r0rNYbŹ )[ÂR hOJKi͹}x~QNL&AlJM %F{qBy)u-b j~$ηը45<(^ S%_:5F(b˵Gi Y;j|"e]zI` -8ɑdxkC_N)IO+l!Jenj|ўXi:ò*"l,ϛv6kTAH|<-|G.ɥ]i_L"(d [g$7q7¼ x(`ENY*OwUs,|Y> F~Yf(8T3;u\0p!fkzq}əΝ̱SNZi-hC* 1|U-WD{5n@MDSa 4bf1p%AnkX>˻ c@ȾWaQF<۸,UˣvK*C5h8$ö[U!&Q_/<ǛƢԡt9^~᱒k^hiȐ??1y \D.@yf:m *N%4Wxgu"0F"461Z8gYZ G 1?# HOL-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 ٥V}n*>0̄^TԗPg%”qwdúY \1'}+*&wI$.XQ&X (̱:O^@m⮳ kAMatVT!P۟fȓQvnϥgӎ_Rt7QeDzup&oZOǏԠ%n47[Od2,0r(fD;.%񔁟i0qmpXEߛn֦ePd =t1 ? 9vi%DiM7=$\YC%(xGfWqLRw$g]Nt3>·<}MЄ*!4[w1HF2`K+$گy,8ĉBfEY뽻L^_XmHiU+!rE7prmRf8hyhM=][`SzgQopAh=%['(>т,Ļ%  ^"x^ް$Dһ, d"z׫; fvK7"MG명̽AΞE Keu8SZ.n/MdvV+^R,'GG\Pp3øCuޞ/aῩ-X;{`v1^B#ių@W#T/DML̥Xy"8Y(%Yvzn5HxgCkŷ]w F!؆ t(s]gN1̝YK/d~0_p(t ݼ}*/3CN@ɻrhsdEWrg?˘[rߑ栴u=?b J^J'nW ݉8lQgf^1qaXT ~q T)i= wYIԚ=m2Sc|D|4wY~aw Wl8{,AYOH6ΔIӇ8tyv ʩ@xB{Dg `-kU=6`m sF2N}2#{Eea^ZL+V8ST% DgdNYQ#Κ7o;{|~oҶ٢qnd'63m͗3E[i&=UiȏmRZ|g(uM.? Z@IaJԐ?C5ɺ\͛ucRhvcFp꿮%t! mQF}XS+6Uv ƕڷ*bKޕ!UzE- x >n"xQF.t@XW\$f:u0mw~3_C|Új&wm8OńM:>\<GR`0ɲfQVs,Czގ]7pYiMsrk*!vW[7[InDR(+"/(60ԿZP[A4ou2'z->i_Ч mq.=&3o6/@lgI''Y$K*w_ﮥLAmHN~s$bY˕3:35szf 2ڑ-)R[ZcYPoy4ɫ!4ʯ 0"卋\C-2$FCi<&^hQ/+lh z6u >>9 1EϙT5z$郳U|rnՐi?oU..zo- I,:]KkSzM} P6߽9ߚ LG4lA c=X`q遫{A%O/O&GŵJ60[8+ދG0*ݜ:w%-pФ3' { !{^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id540\1?' DHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! f[]D?7 {?:fH\ya!ĺBH 1p|]1- h#p72O|Zn_ QHyIVB|% <-HvT~WA{JPZO99^ܰ [Ha 0!8 \9@ *"`6bf80ڭR pӽ(]U"Žnd oׅMpaǘmÍu:Dwda!~u)aڋB{@"NK Pݩ4HxdQRNM?o-N}foe f<3 +c_&°D[A*.C( zZghm֛~H*7aeJ _#N?jK Rb@]kD3(N&)g2)2*2wUP _I?»r%QkR}ȹTI+}.1mp F|[`{֒=-co #/qD7 qA1nolT+sŧKCr_ ^:A]&-/am6Q.C; pq 䪖".kS "^F"Y^(&_cRR#p@0b+Mk8iSr:h]BZ~c:vץʼ5#aJ&.Ow- K$V{=*{.Em3GjEf?ث&4'JrR TwbdGlkJ6v2MlIJhvkߥyt1)Sf)ZɶY-@k rgL=Q Se,xC&]__"WMTZƚ+ﳣ>!X8ռ;erItiRmRü(g=[ BS6^^];eozw}IfsL%M:}Xܖ  1-ܜ;.1Q"A̦m1Dp/Sk4z8)?(0*O!+Q4ou?C4'F9|Ƌix@h]c04]ҘNuFa* !!s!U#9@0ZlZ,r~[۔TL97a<ȗaElYi-RT pY:џg)nRhQcd to4K2lz cWn(&I6{דӫL$bd5FxelGYg\(EvI9xT\Alt գ&2@KWέeXɉJ'\>}2*G~vP. 1PА'+pTD-3KNΤK{V @bH$QrkJteۃVE<ʻv fLNʖ\mz2*h:uu[Uݽͨ/AF DcXgB0bdPDcDv%v@$Eh:oJm,Îv2˅ZhRk滽 x_@P3o >sjW4UXx #=hB K? wL@%^3h$Ed{pF4'iRU%LTmWǍ2HrS;8Zi=Y3.%<-FQ{f<|gԴVzo<bIM:'ޒRqjd!nկΪxZ ֑)i V.Jp1ukl{" -վfU..VTʡl?`q0 \ =yQAStSS6J%ԢIue3UW^Ȇ^_=g1GDI~7d*q%\f:*/Q϶ pȠoApO2`W?aԀDrd>њ:aAmnWf |UI` AJcKjKm;_'X t,F*g*wA[)|mpij슉p8lX:*o*},l(g{G<ǘ3zO]+3\Y⢩;Hd ye vtò'ۥ-=b[BCT M5:.S4+f tm:$_oԀX?(u[W-)Y أ4,yTfS㞼d%ajkC~J2}S]maYŵl\gX,zw1tC(iZXk}OH+YԢhjz tI'?{kzeٖԻT,l6wW)Bt=ߡ| H 0}zx!X DfヤaAQ!>)X"ah=B741ewPE93Q$hBM貗D"U7l^+|T2ث+kX\EKQ5E֠<]յ+ԗ#(1ju7-HImlr)76_\'}#\ "Kߺ-ylR^S񙽌Q0P3o? ؿJ2 (M$ 󣨞;Y|::nV#۞gYf ([8Y҉(@ P*~=tFZ=CC"}_/eڿ1[iw |u5qS Ye4 ?U}UQlh"FE큠OVcu<|[|8*iHP2/f l=EK7}e)u0)2M۽K_ Vz$` 3Q[PKWuiNٺ.iNFVN8(K6ckd5E/2c&Ly;']lx9vļ>RȰIx4E;a:YT+ 5gs~NkԿe Po/!"<k bTQH(BdFRv{hLQ7mF)M_Л1KF!`*g^@fyݬ"%Dpvf+ :=@F㈟#ϵ~^iND'PG Q>E0&2 j02w|L9qf3`*C>mFOwM僋Ζk]Idl. GYֻG4* pN z6o ݕalT3 ^bIQb7)4eP"xLԜ<\l[QyrGpB:pM,5oƛSUCcv@MLOjXDXDs|62 ?G dцd LGAeՀfX@-l{osL\ WawmkX%pEImwd8|e(7T.R0ᯥ/TPњ֢0nrSS]v*Dlq +tdLZх}bxGdC>*ţ%/Sk.u4~։ቇ!G9zmt){L í8)tWÙY6`¬l&4iCPПoRBM7'r:S'U쑭M@WTdA UR>*+~ݸ܇'5=B(˪%9-|fQm/{83"+0K J]D^ȸ_1 FPv^XMh<,'.7*ݴeżc0xu8 o8ʷ:#RɺI^0/cvi\MsVX8k&.Pa_nP} )BNa^ߘ86 7Fr@G?(M6LH/sx^-Hy㿊 C"(z;Q\M^9qNW&modŔISg|i1[d5r%|1`^ #=&`Wl@!ˈtwu8˂5u&\T +8j| *$&fLb•Lܑys7拍Nʏ #W8+HA1=$8}&kQ;z5#CԔ0_lͮҮб?}^QIp5+l~w$+3pi0˴gI-.B/#r$ ش0'. *J:l1%X& Ns3fjH؆$G.ƃ#|Ԩֵ5~J; 41jCvƔ`n#Rsfe5ͻ9WXT0,?ż] 5UӢhp05dY0~E߉gU|nT++߭'FpŠ3 ^O۶FS6YLJ]&u.HYA%`j`UmXp Iɹ wj @.'%ilwl^F/n\~FrJD>B8K%(=T ܾ_]~b<mmL rhD@ y eoR]J ػJ|$>~rc#bo^;&= ¬WB5,BZ\ԆXs;/cK޲z I߻cK}q"->#0LYlf;>EEV~on1=_^;=3W^Z1Bji/eƃ+tH9[DeCDX. 3Zd%FO[^Iú Sduhl諳n ^߈K\DC}QK3:3;~-5R\/+#C[r'`tr`f!?N,!F. Nn$,AL_F3DsE =ĘW)'~ a0wu}26z#LS)xh|M5`)q[.1\IMAMPk*3>fH&ƙ¢ [!AF$ (Je~rKCjX-b’s<-' [SCh5hw%GJgYr$*%CBݮ2GDLth㑹fFcZ"nn:^>jB5-m[͹tEg$)69Ƙ ZAZFЦ(3Wob$Ӵ^݉xx4$%/k_RPF0si(>Pd@xciNd?b.?-ӏ$`uzYc=9mdރ*%;%xv{f>9# [1DSy>h/m[fBj +Y+Q9,tՈVw\g%Mݳ6IB*rcsˋ(E^iʀ^{eS`EwB~~enEn{ᗹ ~ϼ\n iKߊcK]vB{==Z<a*b]0ţkY8?0 nmS\XeزEF"wCLZ wjY~XQqKϸ I*'j1oן`f뙯C^aҕnC}HI@+kl0o|X9-N/yL(ez7!`3^[NZ^k 4voBLAG6p 4%VMR|nTF Y<;(gPlwf0Z!S aSM׫Ur]&\+]9WtZomr=W)`+mCGU[Kp+ +T%-7qIt-sVǪ4=~|m?ix&ױp%B*Grdi3 wY ~=$Ga@1ӌgt",^z,bKU ͫuA|i('=?ǩTl~ pP:'D^8Tj`AֱNI?Wzd+b: T&W[~pQ,f^77ɌfmV+5G&A j5؞Vd,/ K17X?N2Nd/7>.#u-O[BqWB=˭ W=`J~J}cL3x[rƦ,w\3"QR4\t MQsK8{kea-2VTо/j4J+?͡iL=c FUEGFfZW_-DؚM2IpV]ě d:m~Js#" e2Z܆.(R͜7v&tǩbnrnX1E.QB|rkcFↁϵ粅]3&(]]"l)9qd⾼Qi{ujgXE5{Wo;Ui\;9 -|s|%d[/+[&i|Bin8mS!XP)C(o8Ynq!G<ټ:k 9Wq}(qHKeBzުq ǰ&f۫T֐` ^UF=+!HP&0./cEG()X/N޳3VnByq@$؈!RgbxQ:g|dxL%mțC5֖A!>ܗ b=r˚kK%$fsl6~ BZ  M>wr{OѢu^pBͯ7 {R¯TtW4{[IlfΦۊa`vax)D*S-ߡȄ ?| 3g`OjǩI{שѴ!94Pѥ}`T5uTGTcpcYxֳ0뵊{Ų?Qv 2tM)ю́׶d?06WX{}+c!:{6PHߝ1 $pĨ8BɃS?B?dʽ͒Tc.Qhҽ,\(?ލN e1'hHYnw?1c%I<9mCGR>xYEAd#Qq!/I&¸HrZNX~Az0>9d{̆Ǩp#cjR4,G3BM2c1oNHlRm_&cl sCjIXzhlk3鴭ʈ99ol5sb4x7$V+L醥aI%۫l¦Hyd1ݬ]{GZr~d%Z o ݣL6>-x3,qX7ɏ?X-;I\.i%QX/fuv^=pRK_j[L')ʆT]hL\4EʾWE?JBGtW[B:̸j[)~%k,C/"F(w̱1]j8Mo)x`(4u`55Y@Pҥ1u9̙ 6,ʩs^pm) tERf.9d/'$lS-^&  𧛰!HӼ1;m`(_d)тԏ &k~;\``?DBG퀌{Ih໖(K!*`"dXw䯗5'det|4)ڶz6fJ ٪VM+GcoHgv@Վ@\ R&uflxL`;{4DS"D8Þ<"J[8M$Yr/%^Ox. y1/7Y%h_%\'Ǘwh%g'SVMDrbr^oaTXw,(s"a܌WNkK? σ枸;UTuKp2+'{(VSԦ54۪=L[l>46PIdLc2?'RɛZ:P 4]M;aH3# [40vҍ6ͨa0L@N 9.lDݧ=_m1&Uɴv+`ԽA-W@ ͕j}הSlJTO˶EY&{7,:k Cÿ\i~cY@Rp[N "*-}nlI~IJ@*c Ƕ j,`SFѼ, 45eu+ ~@V%-? Ҙ@㞐v)!jTCn ;LU|}ϗMF #$ vL3N SjN3[QIۓ[^%UVczSBk>J9bZUuMpq;i_ Tcyoc`5ר18jH\A'wy$Fh%wP}c>pb~FO±BF۴4RBUae%VN3f4d ) !QF=j摀+q7ՆȦ֣y0{ַ/6g؀w@Eၜx [yJ@F6OTЀR|'1 F2ˌu䞐zcJ(5)kE$!?N?G~AS9,7uGhNf$bj1&Qz{ɟ}=pݎU -?m 6B.ߍ r_3ܵ'U+Z&̂5:+#Q\aA,)[+'q6Uhc<4RC  YB i`@-a#ӖpϟSIis*1;Ik6n8b7>GҰӚɗ'#ihfE?ݷ":uaOidJ<-qD ٞ - k>CnڻDcB9ӷߦI#}\fwn/-opZKK%>vYNI(V&SyMKB֣g>61_GGz;>>BX&j 띹(yq\T)+ MaST!ޞ#y)Vd\ʖ<ϗysV_@ayXWp0@ enp-N̴M"G'IdȒ 'Ds^TcQl\vĉ鲕^a,J/g鱡#JJ'isr3X6a #3eR{@4YvM<Cl\W֒tCmDmMTTL7tf˷J3 +>_6J2A\;ytc.}udPD=14g! HŴo(lN'lw 6mxv]W{ ع X +i[+!*@<E j =@dqK*iT,߃`; 6HӮ&^S4U]sP+;# 3/^eZ& q{Fҡ`/KeKb)ӌqse pIa-I/_d>d M#0Hf ?D(,,B}2Nb>}0.)X[cl w驏1sUS)Em?9r}R6UCD鋿٨ղ0Ny_-1 afUP_9z12˗0z-\ |} ȥ:~aDZWւE9ݧI@?#KwE68Gy)ݲQk[t Nֺ}!Ubs8wS̱>P,́268&ج<YV ^fkmgAlw^нW8e"U0\M^4F 畷vy9MCtk4E?6d,yF.8w~T"YAḰKl=Gwd2.Hu Vٚ}~mSY}XB^4-)pS"ig7 }Z18^)%9{I RY:hTJCNs|pTz -߃yЮIW_{,-i ^网a0R=/ajUo}=W~uTҝ*P%eDEs͌N}[ tuWqfY+qJwi~,Pqy1 {Ye,d]wp+Ջ;@ݶmPpAr=س!OIR%5vcVrf96(oɳADEYOF7mZ΃{!^ VàNPf^H98kHnD]D5ںM)v%p-wxxHp:?~Z5Ԑ1 rVNot!0FDe^[<կ> d4?^"w0dZwЀ71\e1 YBoJxCkX0ܱҞWe)>̖SpjܔkFՒ["}RvZs*s>#zb:[1o"mBP/8oPWd$Z +a41/Jx,Gi Mq[=P(^NϿ4(缃  ĬDRu*ar?[3G>rV9kOq*MC\|_j.TK?VCf=;Z٠ VxaȂ\[ݭ蚔Rtt{*Iw]L"$bɐ!~I/M=]$b0buf0VE=u$aH-lHvG* &sh@&gXHHB6j!(9,ͷ*wm0%ʬ:?9Q uK9f"L$Xe*DЌL)/!ے0mzMbZISMŀAjPgߥavSM(B`@Tw*GS|q(h=\[_u x?.qE}OҢ;TqA3ϤDc|a*/n^N/Ӵ aLsjHJ"d8N֖숼~Jlz%55^ op m %D⧾#WהUӱ!odE,om#$\X;"}fKAwݞ{}LI9Dw2b]iebԒ +Y g\2\M3|):5+_?Tx.$0KPLyL zo=>d<fQؼHhV LH=Y}ҖwhMy(EF;6xX^) < tbs [)ZHj,;19o.\FW"j /q^d2֣Y5s7T=(t[BXz6RI'#ƴFyYNȅާܤz O eig-T$ 4B( `lziAw6Qhccm{1.VFڝ~BQS!#Iv9\ڮx9VhVsduAbA0@V2Խ-qhk8RX XGeD4$rcw(OMVDgx7fj{Z{m`UL,M\akP ݬ7 ;7)^܀TVʴVGs W>1nd*gSTVFh8E f Ev3AFi"r<xkSy_HD{kcg,ruHtH5I81Z_vv[kMCV K6t-7  n~N hC)&GKiH4ȏ=JaZ,F٬'_-K[B@Vj[΀&VTx ox\O| }6r>R>rB1`0S.zB$Uoa q8Qo5M|ogbjB ne8>T IUKMon p}ʥ G_^D*pT`HDž6PeObnPh@T]b 526>4ᡪ~tb٬5@HyjاAՓ*_lf'HIaP5M 9bK'iH-$L[|;Ls0i^ طgHjRRVv ٻwq+`$u7;쒑,A},nRehŌiSW1}S DjiN5.9;$Q;3SX:'gրMsmQ:q?ZNJdn(CrI_Dʼn+x'Z lSИOzsŇgt"%./!}$;/<ci5K3p5Z$ [·/$a(9:4e@lYpK ٜu eM9IcF%!xԤrvLj$-Hks ݈XZ"Vf88QHa+\#+s NTQѿz^i #—ftߴc vE~amUnCB[UA.sr&ݔVS?g^UҬ/&slX886p#geAU-vs}@Ȼ⤱[$5WS a%qE.%&!Tq*],XP< 7 m=Қr.@؂xS3cg5׈jP^ ݮ|!1 |,~x9c?eW0jK¢b)FUl X>7i$ p@eUc*pY ͐MkNU"ۦQ+)u/ɩxwu|LjI؄VGAf-'o%&RK,ky}tfz^ppOHǘճܾRRJȳPaE/2C58 V\?t:$pһ I[rch sgQ=m"A r)m_\s.I{ܮl &5(St+5P`ٚB3-S,9fHY"'BGEI@T}Ad%w#c Bsڣ@m832X N%}{z `_ +i?$my0sմ!큞rbd'Sd:OQPnktOZko89 &|&t,Gߗ$ܐXPrg~L]čBD0qtI$bBٗ ,dƼ&# gU! wEeAd„*=:}ɜ _]AeB)/\kM 6`S*@|0nP~HpԵ٤CR$"Vk߲n`PWO&3;^_&,.vGQ):eqC;M^E@ўgO}T!w9*A %Z^Gf{Kp%u-}R8sڧ>w2+#?5%jILхp;Cع#uH@j>_ܗ"-c5ֿ뚑}tr7v ^uk27$hFJ5$Hv8R{⦼!omb Qx8zLidv:E ɒzޡ|6"?Cu`j3_IcY p;ms5!GEY0[f%6 J">^ܖ<+ք0dTD9q֤8svz^3G*(L|Imz&m#tx>9ݺqn ~k]?Ǣ J)c:hKc7JT}L| zrOb||/s3Ųfs25 3b1TE^o€ Ob$y5 =N*7n?`J~ jcӔkw 0d_7`/ \KUzX5qm >7׿PgKn"W/BJOdN^"sPFT:4JtlZ*iOOZ!?]MvrX$:Y{DT+*R "G?tX3ܠ߈c%8Rfh Eըssv-_YO χ%Q5NcdK{vBHBOGH{6Oq`*w~*u70^[F8VmY9Bh 8z$jR}{m8Ó lOgX 9PjS` &P(oT'A޸eMkUnI?u*Φtw}_>lFf>= J>ѱy O:os#lF ż E@._'‚Pph '՚:4{  jHANgHX2gdor;ֽJwwk[,c'13 ˾rRUjoֺ-%u]rÝK^RD9>(Vb3 k=W=Yc\}P3#mQpifj7٦) x5QH^<2T@h}%x#1Ag!v]M]c \}k=z{0FR6]<]!VE:@C4jI.L}M<1sT07V&ĭ1+.a< E[Pņ5EDdȉ W^mRfk 6sg/s'EsGf ! ?ȹ{Y\}y`ʋQ}D9^+ 9n<ɬ"GN}^< ?U niZ9s,1JH:h, mjq4sHnxLn_lMub(Ј i׼m,k Nm90%vBaf ` nQ FN *{8F  eOd>>X/W\ؽ>ĤnG$ԕƉ׵ JOb̶)!(>kˑ t~q ۤEb$mĚPԭ c;Gׅw^&oմY%n܁U\6l tJ!(ޞlV%&kؽɃ/SFjnZx-b6E[7gn4c?(Ֆ>X=ӋWe2zYY3q&FXq'.yhX@1HF;yPv@B0R0I_IRä/ -XƆk mi  s3%pqcFРJ5M0k {M|5 (`fk@}~v(JM<&JdFɅ.Hϱ?+{=3|QOW[rnv~[r#4b'VBԳjdKO~֏8_BbC^EjpU{𑤾sA:}ȼ/B-/(.\eJ|NyP*%oMq՞~Zƨè!$_dJ0(՘U/OiEBZQ3mGwL\ZJI[z4N߈Q / Z5^;:FО}N{Xְ/G!)gOlM+ҽT׳BߋÍrpi+hT }`*&h=t}BUԚN(AF50ݦ#`T[q8BV88b6d5ڒM[H }jܔWI:kQT]PM5W1oh"ˌK !ҝgϭ*FW4FSinls4s<ዛW48oiQ,JPȾ;û33ZPy~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn KhGS= &ʔ%zħt|Ԧ{|`/"~ 6O* 1'\RYy%zJ$p`Xs?9a.=W/^[cpl-NElQ)ӂ|4xjɼw8COOxj_O^iPS*?FE"Ÿ@>z+ߝDKbCTŒ x\# ,UwZ롺ݼPʨ"KSoQ6r '^9ܜN1efnR>Εi:吆W𘾔l c<}BCfK4bG㭰? '(hx]Ji4K\df.U967)ڔS<4H]ϕd>6#lձlؗ kg@dܾnQ ?DkKDq*i!g< #8J|[rȩ}R9 4 rR1U&tBf!Z_{Kuי {aSRpZQs1>]TV X'g.hΪQ< _9} #wd$鸶 /ZZo,13+e\qSi,+&țDngnct`bKki26t]zgEdsE&8S% m0>:zK$߼YeKgF&ّQKPo|`e}96qAWExz|6ob:fQEVd=[uF'%w6/T3нG=13< ^a:@4hGM$(' +/A\Nt2ҙ:Hv~CXK/`SVj|jFFXMUOB1ia zGG 10 }}Oihc_kÞd Y[z!>_/s:-٣%:3K81y6Ej$;_-'56,d`&L!9PZ;4訏ژAe[iISUCoŲi)]ӘDkQVSs-q,<= 8J0o0߱W~CXYWEtJw4dBId0e ԣ A^h_&H)Gc,ˬU>׷ZCֺ/ohGk~k:$2(d,½`\&g0#^ulK5/ؘkGVmHra)=;U3>e&!\߅nB)<\f6 'i9^]l礰m᳢UxS߅0KLEh@Q_B1$d vR a10o//D̗Rr6=D#E,Pq9~ؘz)IUM(&IJ4b6 ?tM;bz:H-=iSVGVg[ӑE5|ܿDS ]})9XNYC4$]:I]˂M+|Lr[LnWugv0~}z;;{sXLeg^IYǐ)0r't%[2Tf%fC?hҁ-Q>Hj:owQr:wX5ޙlhH^AĐvMK"Vע4:K<̦JP |Tڍ~'MI8q !hHypn4ؘ+u>b;4u(uMv{ƽ/s环ҍQƔKqʨ''+ EJB qIޓ4]9%{N5?q!hOoU BozK{*+W6h}nZ;gف:ljܾ();flڜl\j}6lqE1"pZvg X< Ι4b¯`J28'Ez\'l]-NDt/M>qc0B'h2ؔרPi|iTu1N7` ^l5/VޟHQ* @lbigqɆ%:O {#dTHr]0k5礜VOK:qI mLݘ8,/3ym1 N'`0 uu+#1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ"1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id520!1=' HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! ]·Iq n[:|&[z %P:[䗚 lUUծ%T@KŽIˣm"lR#reZjtrU1 l[Tɞ@P9@`-|J=P^4BuU.? st%6uaH7NN=+Wg袭6a q9I+ Ȯ8'eFI?Lm< \: ~7*ػ^]GxI9:Tt&'CSU,bE{֙ЖGoTv>'9ƹZ!jVaO/* 5n֭¸#QoJk*O~R8'.˪]r}\ߓGG<򳋉]xEZ!4mFZww24p]rlEZ/)dlȾvW)iC §aB̔bvLٱX1V T1vfq?Myy*p_q"ln6D3\ ~a,@?owȴs̜Lvjk_^5[c59?NC3uwx&٪}anf@=uw lY13|SE7ŎlN:A^hM+;0`^5wC@k<%eoóI ErTOj|!͚\w3__K/%M5m xcy^ܲWP8Hjxχ.5S%a9Pkb`Lms XšwƠhE% 5(&U_D:I6 [Τ ӄ;3EZ1W%eǔB4µFN}S%;zlM-{Xw1v [L`Gq[S7su(Pmd |=kEi$nj=N% BqOYlv_fpR (1rT 3sbHA0 Ba88[-Λ( g@JCLb^½+d<UF10>KY \iTbf[7[F"NwP Gqd*mX3,L@_cVy 1UG?6|N=cSD ?I~+bi[<1Y 2Qǚ͓ʈl 9 ^!65=ԱM3?m.h{m駬u&d )Pr#͛EnFhT]+.&Wvx¼gY94f>KwFaKWik0ǑpHH5'L]]Tɵs5"wU BXfAJG!oc.afTHjgCeE#l)X& %?N/W]hw-T3+ Л/]UsB#կnp9%BO ܜL}-|DTb60Hnh|ő_Wrp=#z slv޵[k~ۯܕ)=l7gvڔݨ$Tn:B` #~(lO;'ȊpK 7; ,juS8]FdD1ƭꄕH19JXC:plL0Ze/l8K3Njآs3Q״'wH'΄ߧ{q ʼnJq(2DA1 /~Gŏ/}In򊃃fzkc7r(.(J9~q2 ʕ Xxg@%g9GsE$'%eL DPA<8c]u4\wb[{uX) 9p¼G F ̈́\~Ξo_5YzV\́ n:zdˆ–ꃥaH*GU{jd<#9:P[3(ic0Gx211S[ռγXJ8]*xOȓE5h"^I$E8r;A<^+ӧ&;a ok;N6+]=YspF'xIHLW"3+ 72n6"jOl/"4T"l?Ṳ #)RZٺW~έ뒬Uc3IHׅ|r|E441mk<{DkWdVbK~5<ўHS{=~ >(zOFyƥ/G9BCbk=iWL p;?FJn2#p4`QiS2 %Iguh[6dv+k}scb(61k.ԻSR|!jS^!y֋:op(DU"[R=~%"փB93ՙ ZKXU1WS)4֍oio. .p0CxSt29wxc|oUǛWwQIѰf~UI@ZJD6B%[iLԻ7Iz/E۷w2ŇXADU^9zRXs8 Q3EOqKk%P}*g}K 7z. ?D5ςp1-?t?{dqO~3U"8µB_ִ<()߷hш$ϲ(sjXx>2NK:.pY$ Q1 >Zᄯf('],O~|OaUL($l$]847LfA .M0h|ۢ4`K=F'[{7 |Y] jϢ*] z.!W;^a6){>#kb XCvoӿU+-:) ¨޺D/x7a|asBZΎWVjٗQ2m(ۍC:hr;˯aD]XY:i5 9p٧!Gtm#xNrR$Y=LSѧeHe6):sG{I*MϛSl6+"ߘjzfa(Rc4bd:(i`p)S^(%t-H]V NvO~+}H|M3liXxߖAnGCcn2*cbS|3D6תG`͞Oρdt>+I@Q{iHL:L$El^Hf8&PgD)@6gd÷`:Xzgqm yfvzvs%)~tNE9(3 ^-gYZ [$1W% ,HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxue=H>i4*6qQ] h2}Y2b pL*ʗbGQ˦5ufNMi j(=ɴ'mU9 xJ2A;q|uԎ_k̞A$:NU@&ئ9Jm8`ll&'Bik U+ vvMS\{`2;kσȩ%x ^dj76rc0˝.r0+»:~rT4sJG'%4-d$IFdR uڛ&G-X| BmY6X虧_36dZ,ˀ17^4_(*Hނ˝@~AJ͕&i I< {~\dbeB˳yGPSBwJ@nͳN,+>8Q\ A[>,o8 lo`0V0] c+*'~d~V>m:87GE,H@ׇnI0[-IyŚza(\Ú2'k9[)ޕ{ F\`<TgYhqز,^eΨ{7_ %#m26ReP U@)QKޢY meƋ,_@!;dx"21@'fv۾&{yA'BI_[ZܣNr2*4ӕ3%JepEӽJ10}Cy_BE_Fq >Alt )J|wHMnB0i?qG=@գ} W$K 9)Ϳ6vUPkZn GEGYN= \zhԶх4Q$V]0';.xyٴF[U =tW_m4R=ح&@OknVk}tD:Tk%$hmXI].3]FlzDX\#e}c 5=t[d&R})56ר68DB8$FxI V[l.|dG݈YCa&} jE.A vxCڞI?:>։ `T$W9d^on]oF;u3Ąf)ky*g/Zd/'RwS <=>s.m UeD`,v[#C,saxgKwdXb9G+'kKFHPQS2.3Jh7T_%_~j+ hr|Pf[E*zkoEF??dHWZ(|tT,MtVl'h)sc&Vh4@>!<#X-;;TpcE / FBoPL'Kء;\8r`t>}(J?p|:CT!d#=Dl# hqI@v+rK(\ 9 1*WՊt L3 >cDX%H1:KE 㕿2 Q!H,BnE?{{ [ 불Wo!}Wa_P>o~h~AnGob uY !.CDw|k'̡?[xr1mC Ed0Hpu_%PAP"pF.$Ѥ j!',j ψ 1:\dQ1}:FI%?ܴ]^vuG%Sdl22*Kk",Y~v{ե4Sӌ@6P"j-[VɗL3%hPUyAFMY?e1wx 7-Eu}[ةɤPƑv?0-oJBg8C ,N>))HOfKiU\ra× IJ:lo)3Uf%Zޣy*vPqS)#;`3&rN]!ʪC_K"8ZA ady:LmTߢ@I85?vCV&h/;kxJSth7^Oh /!`Ϸ&P+siHFGޚŌN;@[Myfza8zvmhS*U'ÜgO#*} UB}[_"I D[qoth}:$e5 9w?"X\hoP z["}zIVE]L' ZԊ0)E> '=6J7 KQB{J͏Nw?0;HFZz t*wjs7_(N9J!P8{`,>0|pg)FFWrouy _ rZ7v$Dk)WF#Q\v#x0N29ou:ԣ]ڼ3BR7v|u -Ѡherޔr͈~R`7w5:jWnvQu3b'|w9H>MbbRv* fB3̎UZ=iUR̺} ^ir]Ia:xy-BJCK&„2/ѭ Z%E~qJynj>QZlT'^q4IsK&FakЉzy8Ҿe6#ӧ'TJ%B@%o; P+#9`6LX:HC9e <!۸X0c=y%.у-)zz =n!h&;G8Dn('ʯqpe$7ҩgO)oskPaU(Qc\WkWPnϺOiɴw0cTq4h5~zKуKdw;A?=GMPHu7R,F݂[lmOwa߳?`3 d;/0A #Fڞʓ19 SslwcLX?JNAyYQ%g&2-'bޑ?Q5E"ޑ2./;4/yE2Qロ|cF2vScLЫ -8 EzTla0YȲtjF w pʼnZXKR(&ЅYcWlN`AGeÙS:2KBx" Qߛs2p#G%d%׶ModegtV[@,y%۬JB-K,&E \PzgŚ- ,`u`\@ b ~%,KJT MlvnԊ~h9үEU}s0^1suǾI7=' R2Yez˻+Sjd0EKq< I ^6mF`p C1#;d2th~ Gd8(+/}:'ڈ))<"ךexk 'A31B -.P2wۏ306 8!# 9r SK)Z㱴iCYz;XR6<~((*Vn+fi(4RD! RpBt]׀f$A*opqC CԙRp ՝I2ߗ& 5:5Lij- @\:T!\O\XG,7VlI͓ `3[ĕ, G.pAjfcm[ra Q Gu!yYt;_Hba6(˺MR0g̡6*4qDu.T]|o(onu˹Dw!Jtst%5 79x?`!LSFO$^-<}Z\h2ڐ04ޘݝw?rtomlA+ i؄7M{`~k|ZlّȌT\{  T8{ױ'>oyb/%v!Ys!3IJOk{F8nZ"F"B#7մڵ@ "&聱iՋb?@VD8>MsRYCt{csG$ϒ-.LG̰s)b!|mubwt+i! [gȅ#xRV)G>O݇PM:^&mݽPe8*iH_ma[| ^֨L"5cF%"_&fdkI\DoQ8`!h]}b֕"2Dv"q=D'񍜵.賺pCFn$|b_}N(Q̃(,2 ~BCA1<,U6@VcN_$+"d:fJ/x%.Dʤ&4}q, @GԀBw ^'6F;M߹!CLZǨvLGSڑN2nQ:_Wcuq'bForA."OcΰeE1اýiIp~E>Rol}N-"ڳ m+GNRky~*̊h֏ҬW?Tog )"xsrx|ҪSP`Q;Ϣ܅ĐO+Y-2vneBl +gb` ^אښ^̘b![N͈T'c~Fr6~RE2r}p24kb$?{bܢdÉxÔ;١ 2jvX? 6]pCgHɽ!'lWE gp܇:r7Hwx\:¯)lJP;bjYBg~[KMQ,,<߿^ܒPa&.7d@B$]UeWLRl$[oxXMwH\?yD7ŭ{{E{6Fv>-=}12_#EN <kP ueotζ AsB29qBܕSst‰j?v0n Q$v^2~$iB r(BzD8OihةⴜӔ})] 3s<*GP QRaR[4Ed?li0Gfړ{sG6}i_mOse |5|^kY.*,ZߵD))1ݭ|FӅNoeeQH*<*&Cdڃ*bisc0Yh7Vf9FէYJ9n$PliY6gt# fNQ{C;t8u>7$@>!3uy8+`[_mei?\5~ D#{gp\M_ɖ&jy`p(2XoDLfVNkt>gYZ ""S%1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! G]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>3\7{EgSadƀ=`.>N:KR{"PfyNċJ/v=m7E׾լVg*g׭x;ZykA.m G!EeX!%ېC6O-oP)d [<`/8_))}vt.S3R`Xp6l͏U73g7خn&+`vΆB Lyl 92{@*?3f,7uQjgEmso%ٗzLHVw\ܭgrlIo`q_i/\Ule%pj@ C'-maMmN ,gGy[N`~xOyۂs /\čy??įHO=mj/;&MaS kE^|F '[ahgEu2V{#dT&1a uPnv\TAWLD(5DjL4;$GigY݃ߞ5j߁x >"aPGP0ES>!-w[Vjm58}BDn-C4!{|:!aaK"!0?.7O_DeeZ ʫ-?.q߁ n@f?[Y0Ɨ IyVphMI6CJkU+P&9 ͓usY~rX䇛k> x|*̅141nGN8Ƃ q[(yB疐D >Bb}FX}r4 uc4A Du}un2>6MUgx@ sk{ݖxFLF O׷B%9/[`SS F;0@[' I$ȗ r&}zsmtz_UjܙD"y}x(sCM^.'/M'StU"@ɦ,ΠYe9~P1=3%ϤBFsЩb6OXt-ľ|h|k_ɲ0#օ`(lN #bMuӹEV7H{ [57{ѹO%f hmZ'ijM0 )owan( >~GF~pvR*E:`,zxv Zb*oO+4"=k@P|:D=|N2 Z,m~}U#5 >WK4nqUaVb@?m3fK"]5^ [3oePTY7ln6^p~[h9Vqџ*f-<]Z{;-S0zUǬΒkaL-(Yi[@2T!O>K!n| a0~;ƻv|3!ρcF?T*,UOї㧏%{7aMm~Xy,ݙGgb_Ӌ N|T[Ut(pwiy2@a0oiRP^{{/FEkxne 7 0*w3Bp],A?.9U f!Iʩ^cmPzhyC,!UK!m&/ःq|>e-dB2+߬$~ھ Tz<9@{?\p,o 8,ɍ:`OV^֊46~N.IT٫;Edw:++~fFjPW/n[8[ap[r>O׀ٶ1G+{8CLGJ#QԼy}s/:mnUyXdxXhV Gl|K CW@MMȡG70 B4{e>[{OC^q#q"!7 8+sr\.>O$!H59UNMNЎ[ٵ47 H%6gB4#n~bڧ)1cb ×ujp5aFM6݄,1ۍ"):c>Oe8Bײw.L\mF= 8BK 2nq}n50S'0S:!A'U/JL. Gdca-c$dO0Q.S +,8ɓ&ӌT|ro׷â(CYLdz@zSC8}qsQ(#.- 4S.詴tlj10т]?sۺ\kȉ>őIvf) ĶeQ,L{/Sdw̶|OMNai==mc˧I?՝%i>i=VhL 7<}eۃQ K rPp@/koIq'B_XfsZz]Ȟ8b<x'5dٖz0R4q~ 7 N92O󉝶9CIz60D:s=-kWa@ISbZLE] , (u``ٶX\*9Iy+ ^ˮ썌!V1~!- g:=촐SZ>`w)<|r5 i7<"ګj轂{ޔdmv`/~=Pļכ?J) k o\\撸 h)N !6PԊJya FY w,vbͨՃW!j#u$7~a6Ej<v, [(r˟u?!Uv7 &p.E8/R3Prf֜&[T{`6_&>D 9h3ͳN7_ evVJ@f ]G<k" I̐Khg/(P'zY.Po ,j_cOC; ZPAGM!ANhy,bdw9 R0M< 8 "q\1&=w\֢ Wf7^y -z1\xu%-|ԙF8S)!?[j*T;@,!F vaY!>R.X# }L%KAI㎐`_ %C13jVL?s_~C5Hdrlx 1Lg__͏] _'O8EH:rH{QrVE=%hE쨏GᑩܠfQu*!Dk9TWvXӳ՗, hk[5 ۶N+Wrg# 2AG#w`APRj;yb@ ()]#yuXӰX Nd[LQlʈ 񐁎D )*_l|)7^;FN `ŅئEBRe' >Үb'z]AI½)悛·9dp7hJW .KrtkTVa&}ѡ%]jKqw]hbcO*3\ߵ\Θ`D@N3_A-BiRwyBPr_%Xh:vLz]lbfs|8~KںCQ1H&XAn˽uʓ]).Z7;b%,B;`@E-pfBx{B2<]2VW\bz`12aiu>ScZHg) iǾMݥP":s͡J ~pGЬ أFvaCy˄z~} ںWځcl'pVS h tL}YI^4 w{ZOM-^m C= POѢ Xt8Ej=fꋠX}f_xçJܜ ^c70]Fkx!bֳ8%r \dZ/MOBx G\( A~N3Bfsi.$ =pLLL7ioŦs*|^\P 9F~npZn7cm!.[-lbAݵ$646 |pyD'S1>sl-fU wN\ dM=/0*O&3iDMoUpp _V. Dž)5 卡g=)qѕxF11Rk0W %SEx}+No4铸@!/X_(\?ZTKq=FׅFvjer&e ;jڹrXB2ΐI=2!Gɀ} 0/LUvhA*\}vs lChۂhܴZȘ9ryF/=5NoM3;#2n'p|N{p ijU 8SSv$tfGeP8hMv4bQU=8& V4kwp8WO=ŘCllnDqA"u[=nKdP}+ϊ6ofމ\8ݾYfCIηKtܑm򑑦ժRB.D׾,m" .3Nw, EYhM MMWnsV9Il.55q+\'mh&zِ_55ft~9 gF*OZ>:dSpƏ{f^m~pi{|T"B^DS,u)Z| RDE]Փ]q~Cg%OfT־nz6gwm6!.X+h4s.[w[XcNՀc ȜeI&G;;17+C5~֣:U\CxveVҎ#6lks OeWQ!thZߡ'ԇ-3>5EQ5}^[dLĄ]Az)q^u0ɋJT,iv=HcC:6w\bdIb 5u=isV=N&0KW1ԁW[Y0s+ *qCD|B]k*淕䉀6\IcANuBذC$`=>3NU>6$T+鸅s*Vdg_L nFM*N.vtIUtcf}z5y keU\C}F}}ڀ N&>g$dΡ]?L 30@o#gXB@|RgTR7wO],Q/sk+:D6eE!LP[TErLOFRk$u%B9T,})@]`.iˮ%bI.}b hO=&|u|J>/WĿ^'co~}[J>uVpBTc^b :̌|tHS&>+M:z^W Ftg0;nߜSjQ>a݆PᶅL'7ȠAY-#P"ی -关˰y'ȉJ3?=Ned,c$:?iLyZavcjp3x]Ġ'$ xĭ65}ۊc )H~fR??C0%A/(zEڋǰbMr|6"J.J6<>2u~9te1mq7źTM"*^.p7zƖ7 5 }hO1Nc=J,~+4k1h)}#fG]9Qqk p+6Nx%(:PҡQݥ/r#Z@@ÐV!d3Wq|xJL05buM7tloʤcH{yt_关J[r%*OOFR&#C,rB.=3?[5t,hfYcHj'X|d6*{70g-Ho>8vMoz&WC(x]Wz:9nPF/܍'h`y?z~cg҈]2d}c}Ҹjէ,F\!v9S.[TJѵsh`:Y1c5VKE=)ီxe b8}!D2 6O6,SYEueO$ƍw@̗yy?aR"ED8vi';o zl+k. ^<;(j{YwSn4w^fp Z,߼:k{iYK=!Tذ/N: r Z."F\IBt'# MJ4AezM ,cm"y-yqj&Ħ6;]P+$<ښQ8rRTr1is Tp&C w_TtH䢒 =H>͵4D_=ֺ>T|ءز™A$ۄ6x&DJ)RT1o Ot6,ag l-ܐ n5ܑP `!*գQ41^}rc PpsZ#A0 M#A-RUR=F )2k%e-B*4{i]G-P+]`S Ưtn+6 F@B!DwY_sLef _:|?e$??`'exBfMW-cS !.ܖ^뽚N׾AĤ"dh[$(ya:=$$^e?w ݋5E\b- gE s-yBU8M7'hk6c ^~鋫?j@ v˘Qkiϖnf@ au.\qm A&̂e:W'C4 w08&{mK<$®fL9#3E0nP8*QV8$#=0 ٙVI,u@a ]þ$f4P[2P[vڮKzg#q-rkn-{! FYx:d;NlC;w% fs&Dd 5k>m$FMLr"̱]gf~؁s"r _Fa&jqV}`rqbв3ǃf)2s2@e*R)k }:(QS&`LSf/-m2S``;AdE! ާ$^0+QZv [R*!v=Em 6:<Dyn9fƤ}F*Y\H%JO˾S%?u5p "9!vZ_HGW9WnʋGU.W&0D;-L7>[Gׂm?'Hh _3hg73#"U'C;X9 5,l~9xpVKw)\Fi ØUMXrnG]dzoYHgt0٤Ea.nf\*&9i 1%k*!dt6/ْ<{Vu@1Py퓝8yŃ]TlY@r&\*S3L%eR`ƝJ*mOd *LRK7B۹0oNH`J:Ͼ$UدI-nW%(t=ƌtGyx[T u֡=_[ \"(qMV<(<^KqWVEŘW\E;bu裠 8)Z0vY2K./'xsQiwQo%:ͼ'@y&BHh2E0ؤmdLuq$b ^ϧ  \/ cϸf <'"Ix|,p8(:p0 x(V%,GtNr(\.F ^KnF^~#5Mj`r{, b~#j Ha05~q_39#1s'8n=mP=WY} @m&u}k5>Rj1%rj#F%I㣹ylSxڗP,AepXrRmxm˜X`a8Yq`]xyW8 SgɧeewN(At|mMMFپN ٣тs .DinHyd MX(&r9C99]2)1F8χJ3&y:#>N:=&-wʛ '"_`=zW3D5;/@Ud\K< "΃Ea;atrdF cm#~m(!E3\Y cf(آ{>emL,mI>Jݹ,Y9RV@7k*@(HYiEʊI(Kw!췓"~ =S]0y5F] tm`WrzʼyzɌ E@Uf0`hk+fq,\t x$[ߢ>'dQHB8ajWT70_#^'d3PT;=}:Sp}!cʭHFgz ٝ@=j5K-ޡtc|?5Av(6Cf Ho+]0k`>W׋XCsSeI lbKef|?6=͎}Q WSlNƩ ut JG{ N) ,\A;5HN~z, DАZ'_!2.Vq?ebҰDJ+Pt6y:}V(yFbFuMܩ"ȐkC1l5RܕYU*Yt\٭̓w= $TubA3ji~Z%$1'4H[װAx(|ϗO䯮a[-؜*f$iiQ9a\S0ZO*Xw/qslck6pHzIӃNU#kǷڨM2(S킚oh!#vw8[$+Wy|#DA•oi\-DTqN,PXKmZf/fs@;dyNOA?Y2]}g=:g#OȖqHẟGSZB9Veaf0%Ss0D'kf* s9#`쨩n.z*M_GyLbTt..*Z!bжoۣ3fX.y[zl(g2'흧F/ث56NJVaիr"ĸ4862.=rsm^zbJ]J=z궨g T[M a vQz,mlpV" 7A1Jwf=C=DI֛J7s"jl'Lgl%l3x. 6 y*$V芦^«Ѭ/S9J=HRz^nw+;ڹ7 5;3A_|@|ďĪc7m|~ЙLeJI?gg葑t8xwevVdRVxC)FSC5:^:zݤR1Kv[hN?V,5Ti&barqbl٭^BT[lcKwȄW;J:րCb}=d ѧx"/< UbnwxƆ5t5-QĊ#Y=E{t|lLf|):bk l%a MMxqq(ikHC_[F +ʕ/ ?$ P|ŎѰ*]P-&)&NJШ kQU!tG*WVr"Hȃ8pnm\7*<JEEΫOF$nVPݕM'Or{7&s_Fn$*LV JIBXRVٳ*kbtז:\#I%U9Ѷ>mdLVbrNHj$C ȴ{֧Yi/y}7Pd>Qkv 4{C,$&/Ǭ`9&4'T脱脱+I3J1.rVHe}~~Cyy`!*ƿv>9=c\c=`d&dVC"ξV n~XlKtN;.$=Ȫ98JG[͜g+ _T/(4='hqTpP*@/Q1n)B (l׭AI | E"'HQ3}b IKxsa_-IXĎB͗f¯w&Հp˧@Jr㎸H )=/%$[$-uC4QD3͎=b!់#c=k>6{ Qdp 8/^ h,.^Y_3c)Bd d'S< Mf#e@]n򟟐nұmR(RM*;sbj&5d5ֱ(ç+"@cRHY y"8~}#3g*"8Oi-$H'pj~0o81 ìGkz! 0:OZO~kQ}1,ك>"Ol%8M_cml8gYZ  = =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 =7De4Du)2FqAh,Nh9D; G/ƾQ՘`t*|I\T!Ooꥡ{{ol k%Z0ۧI, :z=p=Ql@xA f뼸`8ԞQ\ߨ?[oJN_]Y*j1#IGJ77aXeEi)s2ȏzozkF7ʿT.Έdk~'ivz  yoNJ|#5ۏF0L@?O,fO^Y AU0KHsl^G; ٺ+م)e>`a'U~NCvW^/ܲq,N/}D$HB?4T&!6u!ȃql{zrӡP*^E-8 `,/lGPqV1T.ϹO I%7FDKp5bri9ףQfAx^YxcvƼb35Մ)1jzEKWiƜ}TؔQP- w :'RS%]TUDLv2>8EP# t6 +e+QCn~M$wY]V%Q͈f[__dOvW_FYQȩF'laXAMU`?+ξ+4g*S{IA c2;7_AuAGD@x*!{ "Iʡd6`/-$pF#aG^'S¶B.@nU"¥yT&.CکLM0jcZxj ~R. |;`+񴦊n qo-V㶢JvXvx881^F;RQCxGfD`M^:56SfяL%KG&ջq!ӹGm<0x\{<A<0F*4n'\*ϝͣJu]"w*M HJ:RrZe MqK9RjHuՃ_8ܓ(S&Ry.[^f3xrɛEԤ`rXjA\D\mq]XZ~( :C 7ۃe#|^HC]TIC2Z(IV 玏6)  uZ)[*8e$@=:Okdx6Yk% >ӏEbH21jj&CEX$lҦCdhݹ'Sha\>゛ F8yAb_ru|d!DTEɍ4{*d(4gTJ*f郝Ol’r˒s'Av(!PM{D):wt)Eg@7P$|9zUlA!Zc>_'"G_`-\O\)*qIS&ꮸӊ ŗUar,bT~cn Kz|$@WĖΏH y3x2fQEx8- /g#IL jʘnB/o7Mw;fټrO;CǴW1\&\% !:V%\# _h8?ALe)?;E\BG^&oc@ 9M&ZE(\r%WZ [|.F7^t|bK>.h٨*ZE9y`q e;I$B V%&@hY'xɾ?\CLxbntۤ2(g^VӺǴP6 2MȞյUǽY A hD tjFDƘ^6j74Q748ܻ#9&!Uws3ŸD/t% _WJ;.쐡'GbZAN6ԏn<82X& @^GQ`L:I#"=Spt Х ɷ'զ3%2Ǥ%51rouq hu;[<> vZ/^:lZE+"I*alyX\B]η^TʝIk}DyZ>Sk`q+/]=cHtH3]1<(aAJNkÙ'eo)q*rv} _8e,'JlV լDi7a[i@ ( !>".{.{QЊ&܁lq|TЈo+i ط)Ob< xQX&:4k hwQ28X?q?.DU‡N%GD?ǥ%LUJLz `\⊀x/7$YĠV6C{mAu#[aa܆߅E=kP EnyM9O-9dqPss[r"OA='(@fLZRR\l}mIoi?X4pTɎ & ,POQぉSҳ:\l,IS~ph;)/ebB{d``r7l}e`#^ s +OBLpִ 07 ȘI7Z}Kfc{GU#AVEe G#Ȟpm$A\[D=2 lj-]1nİ[BQiIU%)׫a&C.'\ &[㢣<.#&OӎݴƋTFE^VG]ӥ2 #xCC~I7ȦU.6+f( ^S09&-iә%mWMYL*mtƷw Ld9]6A"aBhc!ob$r ՜Fׄl>))HLu\"Ϫ|n4 kS uQK&vֈ۬<(6JHton(ar:OOe6Q\nNE ;nyy9=ۧ([=%AsG\"Նڞ!A KÊ$F#4AQB#GLv\ U[iN13uVuQ¯XHN$SQ*Hs(00bGWS}[yTӚbTa5.%f](+(Hc2W4#SuRpqpܪ,⍄"eDs.ߧ-'ES OGYy1T\X?:SF<3F' 4E[|_{oYBIu_@ g]U)HeNJMt[uRlGmXQ_ [K!kBE" 9b|) * B_¢9:Vwֿ#t $^ Hu%a%~G0{͒oFJNttlcyȝjY)ܼ?FFFDXC@c,lBR$҆ʃS5ڏ k Aɞ-OjʻUME+}&-B(!8\td9K3aw-1P* O2}}ƉHT(2XZEi B ww2hEcDkhB<]di Zm-%98yv( MV\[}4c d4BA~K2h2NѮ =]=g7z^fwC s1O#itV0/=U(z{V{kyސԔFdS-MAgtsGqGvn pqͶ(/2?4K.@2 5a$Y* Q͔ޝ>B1- Y8(_۩3rߚxf;'(KД[etfr )(q7)00狪Ar PCC2ƪqYanͨ?BkS3p 'ga>yt ٓDDCyհQI~naVmrrGu*yթOp92έjlӍA~@BLc4U ^ϋvMkpW1۽0\ 7^y_- o6 MGǏw:>pz:~KM4hF!F5 䶵׈O{/ : L*e,I`P4,X,-:^BN1:(gϞ~:]]|#="3ŠzçOtv~I&Պ&˺KA}Qֶ!*GI9Gò@M):p 1t:!)65#$z,M}i'ȂΨ/͉vxm9xBc?K% L2,HL0oxG [|= 3dk2; %1F65AlA [ =nmNoɇ|WH7c`FI*?`-T+l0B -HDxƑ |ʅ{,rC¡wФ!aO[!#Gk5rF^_~(DQogX0?j߶J~O^_"3ؽ9ː!ӟCnWbRO8-UipwVzJzW` Kġ3I<}PQ+Z, F=ö:3+8ytYRQMvc .YuM{9"8Wlؖa Ծ UH.nZ/a3M:(ٴI^"riQ+? mT,Ѹ0?V\0:R&S" S  myZ-EcG ]O&o³~J֛-F><3: H67'~d\Rx xL&þgEk̪Cl A0+Q"[ʌ8#%Mq lH”NC{OW=Ŋo--wd/0hרWÝsDPnׄȃJ@ =NfJ.S6H954.^7Wk .z-!q:(;(QVcy߀T>39e7čBiϼ:=9xLr,1T^]]eٍŶ$*ycd>DHfXZV'Ւ-g%TQ`V]}̪i0p9V`yKIⲰJNj^.qF "8=Q|22⮘i{VzO7, )Q/m~/yhF~Q 'O20 0Bu@A-tWx~r.3} egǥR9UںnaHn1#!yO0*4Յ[XpG^QER!cmwIfBF PW&QiQQ׌*$LZ;~-W&q$ZkwmRYQgLl-W+ɨh1iلP֣w[YI grm?ҫ9R)B&]kTkb3?]K9Q*1)\؆18y6tR-F#VsVZ ⏼X"F .>a߸lP\v~H˔fxF I>pd8ۢ9wV2U"xG'^>3oLr\=o^P@x31~>8)2!}Ϲf1OP "EK[V5gʍTh1GTerW2_፺ѼKI ;8ozIh*D>׾V-v=X>cWTh|@O00^$#浠D;1yw4vA/c'*KZ. "*T)V6mr&bfeY['/@=ٖ/ޗ D4v0p9ejc5o˞8pm/f4OMS["G쑍 f'r*PP |<N]R̻tfؕ_Aـ"}<JF6Hz6j؞ʸ?%JOCڼOP' THRˆ˛~tvJ~syhE|0{4Ar֝ Ggs?$=qj Ciݷz8g7kL bW."рQy-RPYX- 4 sc6vvG a>9R2oTO>q)<嵢T1uCj؝SERKS?['GM=N cMbxDUG- N ~Xol? 4qv`נ=49_+h1 1TQ"{VFC7/MT}"ߝ:9E rf2.&$|w62Q9M7w*$;ҧ>1=> Hg#6^xV>"pO̖"xsFftOnNcL0|#\:)Yն{k*P xojKEp.m}b|©QM2T30#7P΍(jKfu]>kvh+:ru j,@CCkByod8u.ɒ c5 $lUSqr j+&l/ڮ uQ){H(7 )T@9h֪Uc~dR ZsɧRTEA˵YئJn`|9QH0-͜z-Af"7 br8{0 )p8/^uPRV'%Ctݛ-7;K۾WѼu6a{}AvQ'T߯>LL)K?8h"7˷F]SUF[]b*; yCBa96< ]Va-]vqSeߕkwLjqb7ϖXF5A%u8|_N(dmQcFs,P@ycry\WKdBqR<%0u9 [R٤F/ yU郈miK=t+MjxZfBI{.Zl8gȌ?#-4^7yPS:n0[㑦Aס4s9z'?c#ħuE(*b/M%\xZ]n)}ԙOqԋdg%R 5W:El膼L;XUhSSR\E:*$L{(>21:K:dCk|k8yp}Nフ,E'&KM޻[E7*Ii(0gZ䝛 ikyIC=(8[u .mq`RVwpu1QĹ/Q  c@ق`Ϩ:p`̀h#]vyi=}aΉ/.d$bDIqk?XE'[L k wGD=j}L1gVJV^  ~I+GUDCRtN~/)7+br]V' 7/X$~~IJ%괇JZ_©ٴ[ʃR xCa2q# PK I' VR`,fn@Raly OJg1cR;Jy p4h>Ľ z>)%u:(n)0 Y֧l!1޲Y9W|gz>a$@yϸwݲxƛHk`2pƻ7b?V3O;l:%H獞fiWXoPkXƌ2QhzH/!F`v۽#?ugLy޲# {=co-ee4PvhƜQ 8_Pj%~ wjy^rf-dcܓn9%GTCPōl_-:S7W y3g e;q׭lַl}/A X9rhva+;tcGX<7T⳿o_* ;&aT|y ˆ5lx 9YaScgaM9WYF☽,ñ EmY~:nk? /0uv<3JLQcVGiPlgeW(,TĵlyۀrcBIſqSIPznw y#^PڊKZ*:&d`GZ p x/ ;#4-5C Бf ;d,r"SR/*o}]յb>[r%~;JF{;*51Y!I{ r&Wr1@_Lppj/{ 3%ˊӳGP >lva,fx",`6EۨFS=J/:U7pU0U_<e |쩌S (8y{dt(1hV: 0@vۗZCe2kD4]K>::[%[I'sr, R)1,]U(pfcR(qbY'i'n,0#fl oHSADKY{)AICafD/ $z]x5t>{#ę<>'7̿j,8t,ޝ:T<gh.bZZ*.ĺA1=a}m_W7;;kknG7׃&hvo \_WPgyZ(/{ut2BoF4#mUyo7g2 XOV"-gQW 1ݸu*zZ(E93+n"Jc9ΐwnj 5>d݂CW-G(ߴ;['²~AnO7O^^/f7؀aekB,EntIuA?f߄܊luJ,+p wTC1ˎ UDYpFܧ16(VDU37C'tr!lأR㍒v#'d NŨ=z",9q,8CWx`FE9d9ʸB8kWiusC<.2M^a3σ](1~NBKpfOJS=._< 5ɆuA73HHD˗nL2TcR>P$C [Kv`".V7Ht%E+z߾>Gp|F],jv\]Y~(xR7ckZpN^bR8s9yw3}P YQ!MfUҖ:Em*auDhtdŮ崺 ^MI -RJ n+=ʀټT* bCjpԠy` S{.@DħXޓqׂرgYZ d' 1W% 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&.6zZwOX&t*.FՏO}37@ sPƈb*C nXj {^kQ:D#:?|.lPK5xg,.?yIp~ J1kNSv6X#-0==?,Q5ظRg&hp4GXЌDw)uM4r<~R/4 (:xk.M`>TO9W12C)IslƀĠN>!#uTY`~~W/M![֮/t(ܥynNE4c @NUdQS}j`K۶%w W2wf.<L \pܸ̒ &7/SeUۓSwϬGRqL@-FڧK8`6--u8~rq')sQONkU5XcvG 𚖧DUFOtUpH9|;^0| 8ԫ-wSbf' 5 QߧGzWYڈk#:~LO؊ɽf` ]-UVyF aIە);7)ePT!x)(7P>)'u2E+gF*݋$9jF񬳮TerG =޴/''2&)GPұTK|WbFP{rR: 3|c<8 -r)GY+m/0V reyrMC/]I']DRH8 (eqd!>5y|pdPt X%Zs}Eh'{6*O ~p""KmզûHջ!D;ܴx u,RW$h$4|?kFܕ=4ezAkl`ǟ怣)ol8/ 7./j3jWEJ{-{ۼF̲<BU᪭Wܿ!a6!OiI0$gm5/B&tB:m 9]9,jt:RR{csYPqvē|пsăXtm@UZlyeCRn;3v)^!wђ2ƭ )1 fx8C#"dg#Ǣ3]Ns 2ͬ+Kl e㯽WVw./R#qS\ݐNj ;H *µ^ZQ{xaztљ`>ЂZߩCY-E]be+efm9W\OD,vE!LpgLIĞbHD-Í~JZ3;6 ڠƲn7s_śL)yϪg{ߓpN؀`MLkAlM|Ąe ZvC*[UjPgR+`ACOG(JYgIqNy+"\ 7;a0 ,Iu-M$ #0x#5~(:?3s^hRDUoCę7ʩ3y սd7^xrg~ *?̋pxŝ6z_rF 8yٓ4Mix*ELw:] {yZ3%i)0EqOqNp a\6V:5Cf;T}kWrj(NmxֳH>WI)=&EUvX^9}_bS7/ vD`|&nr' >[w4gM\?QI SoAkrV(͚^,6%w_xjګ}N/ҥz.vK%ףnauډj 9r*Q$1~Fw sq}gi;w^]t FBWw߇(t·Mh FJ'6aԺ cՒ#wM,Ygzm;*ɖ6߃uL6(5 %8Lk`Ʋ:O] ]1Ƙǀ{ZW VY[ɖ;V* x2@f ҲaMCNoiۚҢWʧlUD}H29}ޡGń+J :4 I )JB&PTֵCq@E'EK讈1SfV K*&Zmޥ.w.[IO _6}}\#X!z7,"48G'Zgc8// w W%Hj_Vy]̢L 67 ycёdTr 5G@ Q(AldWYGCܽKZ>?s+vEIC*}Wk6ik-km!k2.RK%T]4o6~Mmdī`)S GpQf8.m]}pX>OEe<+hy$\ΐ QoGKSU;hsH4X4obP3~l|gQ}i!/* ORxC z3ZH1&}lї ܣ.\m҇>ydHmdA0̩R:RIBkk|C,~Ŝ>%/[˙"'zwItOd0)q̺"N. /:>OD}#5 qI-7tֶ.C=& nrTvON@Q<PeA|q $<̴^չk[dQiPnCSw~Y}&X{4Im mEڃ(֢O|xc-|zV&e/c˽*bieIޞg k{XG\ZVDTj|7]'&؏{dkܠ履G6WDX+̿06O=ɗ54 'C8uS; h,ۊYkn +#rxKI,p?wí a U7s$k+|M3] {"b#?d3́.qՅs>twq;?&?'iJXm9'Z7p ~?e$=cXb}R׉Ab(`ou0YAǶEP~ \,2ݿ-lc& f3W}$}hFoi@a BS[F,5^^jTPuSnYX@y4:δ@>PR-\hE&èAtש8dь"􇧾^șmS>*^^A\)p6VtbV6v\_=ݟ&"Lndx}eu9j|ry¦XKo"\>orX˴i*Q ;9`~)|qWAN;aN5U}/o5cޟz2I@08$ZzuY?[j xƕUOV(oDN~G@W& Oe%1^*ܭ mU""⏨*nݒfWZCq%{6r9Zbt( kdE\kA# gw]-u?}8N`(||rlMP0ĹpI֜ݹ Nh~v zo. D `kJr G영nb8mEE 6Ljۉ*5~~do*U%,kmd}!WrDi'l4ӽ#UՈf]nKGVljK8\8p >+e-N+V /7YWM.̣%`akSZ%yx%bO;lgfa_lvEUӯJPēn/@i3oY. n߇P!PE5#FOtsЯpc~ACTƾ5+eSODRZ$/ 3"( ~R6Wh ]*'dolDS(V#P{lO+iGk?W5-?LIDV,(:M},+ӂ2UYF@{:tͰ#/kG+fM;e(=NMqty Nӊ;0l$eU} ^w $vh+-G3o'8)Op'9”pH]dX5ZrE1⻯x5qhjwq{f':xE:C wCV:P_srָpBz"k/}R\mƴT G!ye580^\e\vG{r}X{^(%WJ|prL泥ً)@S\= ̑riw ݺp7l=kj+;Lľzl&$bQΠi2BiD.塥 *bAtpNjMqgBI^8Dp3jnU(ajOӗ1s[YIyN+B(N+s`h-.[+3MlFמ!-YfYxnb^ 5Jp@ ''! L ~>+V  Dl2^,sƫΉkIOfuEYלPv.t0 $\%>d^Ҷn`!-EȞY9决T|OG[_]snV{рc ߫ãLr|]N9"v7.OD󠔵&OY{xSLlB7r-lj.GFLF?BY[B9g4vlbi@ !މv-CfFG7T3mH:&^X"ϝicLFǝP YgfeψH?7%;B, KWF7Nrps5K"}ri!8@\o3]l9kcMkl٣5yX0q%C`KvX;EIl劉c5˼<0FQ}57yPAO^Uہ,s1?)-x?@@-Ǐpsv-kd}5dUϧ -@~wHyb:)XI}A%R?e[|ōCrzp&RiBⶩ]7o a$WZSId"lE=jlVCDƄ7ȺJfSZ?K>d9rAv\{-cpt:pov}4 i*n V#@3Ց dI;N(WH2 uohGm}}zӆ"4}ݒlQ{DWPe::SQtm*휴omZ';hwrD&D;/~?UM T17 T4`,AF3DFXr>&4Pcʕd_mHzK_u0.X?ipۢ0ЗlBeZsG@/Fgr{?8vlX0bܬ FzM=]ka+ch0 _ܛzR."y~Qx0]38fH&Ty:A= r;5:CCU"%pSHw3jcH;m\+%Dyv/Q|TlzjcdnDU2??)H/}Ib߷~µω9==oѢlk$HfS@k6OBeñbŽi!Sߣ:AU2̇n!Qlտ*渽 s МWCgYB- & ؘRLzy)}%EEAZ4o:WJL饡M\0 kMb{[Bo-4m4S&Z9lF;*㶡dJFRrɎ+b9$ 5&ngSa sncO9ے3PjP7_]~uhU'ᴴy bWu- L7R@Wsw@8J~so?1e(m0.\ % 4T$;/a8F$ :)j`af&mpx+@V՘j-A_ac0~s?ab#引g1L&d8q/?] mvDD]3/RPV3wn55V,%G]~iAx)tWjpj٣q)h|3jZWWnϓ2Dߴo)(${(]yh*EdT œYtCv ;?Ci'BᧆNn UR娗𵳃t4?U1zl{+Bɗ]?Q XHD.m?ɍ#<, !I ^8|Nr3Hk F( ˁos&:Y*a_i̜\{~;1Y|%;9=pto$a7%Da S*DcR;Ho} {n}g 0}$U dֈX̮kLjҩΊ'[r6|YgZ@v@׻h؎E4ip{Y!Ge%>i6Pb]iCe']Kh@dI]i܃*Rhl(tWTՎh|+?W4Qѫ7;? .}[0Srbj8ۗfU ettʗQ]NAk7_N!r@F[44A5z `zX| Vxo OR)|GU+7j;dbnR$G݈jOnfJ=vWr:x m]S[UG Ա"]nykBr7ٍW]-Vs%9DS BXi>zp\nL;کY]9nK}4_p/=& >tkic1A9nB֫A =qP"d+CR4K]hםvZ]JZi*v.EV-M:wЁ59V3؂x1qT=tr{f _<=s}i fY0N{o]uƐTG"_f8_XYJZyR:&7ބp8fn6K@"NdO++zUҙ]NⳘV\m]ZC8t%OpFK.7ŜoKuV.&x8; P뒟È62gh߭PEM}͸aNaS'k'sqX-΄C,6 d^^ \l404r5qH.=2 :gΚdSd_:/Os>5X9%")-^olawΉlIki})@aF~Q3?b씺RN޲fԉ2;e?h .I/A*6޺"QŤ^ YO%tVa\/J훛'!(_N~ L)T^ }Z/i '>8XX&}0+VPT+{:'f3t]_%@1eZӟ4O !1a ^ʏo663T9Y7?Q]'<0H'# ^_T_.'41{1;>\elzXwwҲJ 5!4v ps߮.z9u"ؙU8Ncw"rI!XJR! 9g =O{PTxJphUy_kJuP0 ؙOւw  g+Aan}x1qEKVj$-!^ EmPvjv8 $FB?+CC/7Qp!BV{yv#6!}"˚˂P` 0_3iCJ&Օ{MZ׵@>*$Ց/><3۲>}o /3{b$$o݃YH 2(ٌ2RyDH[L (Efp#ؖqG 5a8SDřGzm} |qUR1׀ay]LjNY`h#/{|E?>$q]I#;x mXPo."?],SZsխޮLBKMy i22;$#Jޙ;"WW% 86@ϫzncKVlݤ8TbJ!%[ƟKU]G7#ѤqE _9<׷؅yՠs[e;ɗd#|E.{c^-Mo7`u@`ZUuHUݱ w4(˪eptQCZSay?!NË%SYgUR!M}G h-Q7meh: ^ 79{)G+n Amε_1c/]. `&'X{zlE CB<0!_F|;wR]$K??Q?ڄe̐_Ns\s ;ن6)Qs_ Y'qC `_2k l؆ً)oi@`U ]އF:7H}nW0$t[2@ ǵTh]lVC;zG\ѭmJ9EtkQm#;ׅ"KyʭE~d[%& Hxj C&Փ}yм&2@#[g)Z2+:TF& $lbb$P ߠffjqԚ{%Ŷ6M82?D\?/_tXU wE DԘ0V QL$Rh@;y=-'jsq_eoUź=2tR=ଇH@? |AKvŢ^!=^Arj}Q¥m ®NΊUxG5^,]^l$y0_r@bֹ2}{udڤ^`mit5#(mp&c LveEWXi "݃  "¯ĊlomĽrgv4sK%*=[,gr^s4ЮI5^KbѰh p C'BBjNpe{u[|O wS:H΍VbP [PQf2BV$vcƊySB5F}lJ<~8M;aF7uw,]$kf-΅uJ$ׂ"nrC;Ba} >tX!G=޶6<1;Sfo^ғZBq2k8ݡ!\9-NRe% BokҿrŬ%[SOefA6D2Л(ՐĚ^D=uBζW7:AGnjǸ+:F>fJ:̋#&"8 g{_$f24kTb!_Ho Gj'^uT>`uQ`43YgDޘZ(,- Eݭ{FߔX?ovLۂ]9'f&ƺ` [Zq k(u`tvhOẃD@eƱV/jvzQ4gROe:_IZLL2ptI. jG1OPyq\{SNxzMwwqs3ǨoqD/쩀Jq~HC  5>XXxd ٶ h)2ܐHF""ϵp_, o,3wX\VFT. Xl :֟^dBާE:m}l^WkE3יaޒJ{Tf:ȡ׶R$!쨌kN_oJzjPKjFrz$L xO; x9s,vr@n(2%!)W$0 oHpOz5˰P?,a|^7AOЈyY+rlC<orEGWCVcaLWŨABx Q{o~vza+ ndGϾ>fIգ ~n= PB7dcb6J){ "%@R99vGE.bt4o\Z06̚bHF "byX:[ Q<-[1 _U\pK1 V2mG0(xu2Uad, m=r0kૅ h{Ԫ0"O vxO WXߠvʤ4 d&Ċ گІc1gV_=.þ J͍x &E6ciGpd- 1/Th}Q*lkB6+r Υũ'ZC+K~Y3:V&)!0^_T &A?HR~޶g;y&-nޘ$$3@W-:ٖQղX aU -f8$1H|L*nӿ+?}R+8!i:ES1"[sSK?Qȼ/ o~SFw8ϒ]tsFH%\)u'd$m[A|i lH S Z ҳ l{ |(- ir N"θ,4^zФ nOi$1xݼ[K-e ZN9&gE D{.~9R6w/k[rgI L`%Sn 2W([Lwc+XԮ=@(߀HĮ;y줈߷|m{iy#A]iGLDfᛠ?m 8FF!HVG[&{S5^)(HU,T1ABKKiJ 9q\zRUA9_$q.i䐓D ?U\ U2ۘgdPr2G WfWU$ !Ӎ;@^0# d% knalB-dHi2WF, .Kϛ&Kah#^dA|?NI`KHXKK!kb` Z@rh8<)׸ImpAHN 1RX1Z`!x>-T2·ngiP zN3q/+o="VϫTkfx>uf5Ľ5I_ѵhZ ؞ 3xPu ^/:yZdV)RDf>BڒÝ@^PqȅwumةwԖiĄ(HJ׊U<,L9-I I^˝DfYFI)Z5(IQjVmZlMZATBv_|&XoPL~C`lrA6 LJGtJ̪.{zT҇vЛнu䥲u%{?}xÿ]JP'.6+Y"t*OTNBXƶ<l6Cvtr 0_v]P?  6_,]o*PSJ1:(KpB LLضh$ UzTY(@t"Yul6)\[C9 -Q,\jcwٌ M `P:)ُF 5 v N;Ig>rԌ@0cO R#2h*Aq6Xle>SqrqSY{E%Q!_mHhmV!MȊ>9{=S / Cr X:8֬n񛳙Q7Wt}m鶙NB!Jqm J%B^r?JZ2DڕƃA+FS (u3Bws{8V?;hȄϒcCu WDtAJ 4L8_5".WXNaP"TIr"& 1TĖP AF ގ,6aes|K`T4=Lc H!([[2rGeK" J`BWFaCTUBfec"2`CiYeKaZoEjqUlET:=IH}S\ L: 9ˠn\Zbokf~/c^+=i˥!0퍴^ %-jْWIKCTQgĹ>S $SY=yuq`oB:Vz.ZWG}[-ha^om=0v˗IYKim˹d0<Ms&z8MmQQZ.§ɠ (91}~j#~m^5G p˪$ŪV;*Gmiv]@ "ҭlVAϖJA"L'5ِ1$ުUQ0S|\N̻A@d'XSnH`bA 5z5_WzRZJ74^)˺! @ pc]*PwI`rwҥ=-n`sT~֍:_1ckI#ffvL{pkETY4.GstwRc65ЅPmd^m]+mǏT={!P˙'ԆԸ4\ #*w>@7Wa}_XIp47ˋ+g=DX;u_#~&)(+'=+cRh\w-*G@gQQ7IjSzLg˲s{\0^}ځ{ Jg;6GvR&2'E#֮=Y]rz;|lj/x0al>K'W}H9\f3?<"-EQAX.qaH_Z:(:q3n\ YJaݤ+wn1U2 Z tl>:B|U|: eƶWOv;2SqUlfӢW%̮`5N(|Hmiv TpC3҆;=8zO zk4D0>~Wl8c\h7$&T6 +@̴˃~cՊT*ȁ4-Ԁk1 M! \ռ8{7ALFJ3+b#խu*N?6q!DrĊ{H5X 3)X8G D+ToW][;75UB eώU[&n9/zq1"sR@*s%w `u ;~saMQ3Ha6=Ϸ<6HvDZsݠ藪P̖]қg*RLqYHŢq/!C";y+߇Ŗ`3Ƕ?:I2"Z ™A$bwdGkn &SuqzuaC9cТ!ʳhm9 Ufx|SA\'13_sf! f>wHW[yIvzQ"XXD%opsvrS͹4_4`;&cci/mwvKO J;#W*=7 r!eA\KK~ZQQm7ۅ]CaEYŰԐхH8! #l pKt%+r5*8nX&3;},o<mY4<%t+MٟtҼ?QJf٤4PJ, Cs#ŷVUHкyY'#D-n('p*ҿ;H_LjG3ZD(oud@Jd\kuѱmB]" J /X։XᏥڭL>%Sq~ *ٛVz/ w֙Pyy!aK鼶 ^҈с +W- sLxAm>)ZGϮl;/A-2!M /G37S4ňp?mA l吾XٙhڦXOM dIv z ʎ8çIqPgP()#/ !Xc -p-V105X;ギ?6)hm&om}vڥwy8_U/ZX$(c`?R@kwz1Dk~Z twy R1СzMjrL!-C2t>vF#2PRL#q>2kTyR Xبciu(m jidG j^*ҦW$dD:p3Y$wk+-\vXU34bCԨa;-u*wC^DJzEI 43-rOe6BF`*rj 1A٧a,8?QfOW!v[n3Z z)afKuv4z9ԭf ۴׀owJ7el$-}c(IkOkW#b(6? PRXBB<.ieƅ>v1=ѵ;!իzoR=ht8$[ vpKbjn רyiҽK!¯ Z!ȁz'n&EXD$`ލP_c@1њGsj_`GNP/xE]ZWH^%gS륊yT~O5䖫ӧGiT؅ETFPt9L'Ov6 b6dI.%N:0]ig+kE4t;5韯,뵯*bl|(YضCL3=ه7F2OBxh?W&[vXbhph];Ƣ( }|Gr2a R> r8 cdπ߄<ꕬf|Y*۝0Vh2".g[ +&4~M=icsq _vO[}iz%ơ`UJia `#EdrD/bEC-C1Eɰl77ނg'{k}kz_ ނ~%NeHoh?$k ugp?غSHsO½$o^l;HFcX*A6La*E<1>D/w`- P86-2PXzBx,v}u R vB屣E1b&tPQq-@+*suec14w}u @Pe p_2b4rڷ=tɩuao@jW1n#[ I|%2XvYŹշPq8?6`QoLy8j<"Zo Gݶ&+@gHZeuRF„M`>f}}&3o*=-hG-"6ryBr20v('Q解S{$y*)!wMrbO~eTkITSDM6f@zm)F/њMs"gwlQ=gЋCcs<9?3GI#e2VJSt ĭegY91u3,bQ=7И֍|n-m@߈yH;U}k83t>ɯB-l5% ѳ3Lx3 _f}Fohz+Mݟ/`ZWNˠJXKpr\0jRRroˑar0*و`sU񿇹PL\Mb{;uUPQNɎ1 _ցF$`9ށ;32@JN W`P8!I~^ϭi1@xhth`ݝP_&B!ZQ`Ie}f̠LfsPˮ5-ޞ:vſnc5g'-lRymsfĆu&6YY4c:3d2`qۼۅ[SV:LtA0t 6u)v*1:rNEQ[fg5R WIC# :f6y_ qQR=00ۚL S7P!uRƖNn0x E#FߜUH8 u8r>Gz_A("^TyWIu`NW<iiNf { \h4@joㄣQ@g`[#Fco-|&*Ҙ1{f3ek7Ώ>?da3&S|f\;Vb4/L@sŀ_DNؕJKI z-_+gM"ҿUWDhUUZVJ}t:]5): (];.̣ERXK+qɷK~0HwGnd[Zb'U!پD`P'5q!)o0WyeRn bV\F*xSNjBivN~b6Ბ7*85V9*>yrΆ 7yKh,~0{,,8%`u} ,TO/W8z"ʻ1-\R=g?/;YsY_=QՖlփͲ_vUs*y>(<: h7IdpoDQQpd ݷw: q"K )!@6ZNaWGRfYKXIDF?q&S.f&d3D {i@o._:Az~K-cHޭYHx&hZ `yIY9DTn6N*QlEX`Tb'C Y3TH7m}e@ ߌ:6_b+;>\J͢j_e!V9ƅ霷}S($" _BNu]b %u(K𧿄eۿ&-vլ.NoKV epEenjIZ5k刪G㳳#RAW5ǝyLGZ}ߞ_e~XQ}0`^2tAZC zRrp}"jnr8l|ի }nquZ&xqQF体a[)vz$CI%B!> ~8'M_;/AԶ)MdF^8ylyt0b-D%J˩d!1%;\Q3-6N_i!a'бU^OBhjDn^94G@xx;j^yAg]jiml8DX*-qc@pWe,|6pN.ݾ+NӔ*TGMڽ aQ^kڰiμP pH_6tRgߦYnKaS:uTB7=HHpj9m` ZJ=OgFO<-!۳H2 iwwNjTE~7.1Xv^ C2#/'8RwXaFS d Cب%rčh|\sudA![D+"C"VsKGjM6<я!"M񂧐*NUBB&OUDi z1N_0Cqb6ъqf$Bpl F78Vۄf*g13`p!=pS@*1Y \A](gs0HpOFT"nKo[Ӽ8!1JA"paPۋ110ޝ|G㬬4nm^UFrҭ-(/[KnVt=S?vղe,}5WqggdDY$ HY&ٛBi[cdI~LӺD?͑rv˱t{EkS lZnP$Þ&A)-S Ȏpko|Zuo/vvi)m8-BYDΆ((v? e-WZrMyvYnbgb 7O1kUεeXmZa3c4?ma#)ȩ1S1a[-{^}RrjQ);To dK3LZ3b;@n>JX\)p2rE i~ :y2]ozFdž߬\vJ]KNYrc[MP$WqupsJ8w4oC]CKxyIUyF+Qu _6n_$ ]2L hOH,bϔ! ])P2tއ3vD+p aHw6a0^xm .1!i%8Hjes/gdΆz\K6sy@?5c]pc! 03M㛢h  wI=5׸Z[w`\¥AqqFjVwoK5bvcv/"j ]Ur8?k&@fS{^zz|B$}8PNY9<݃.maQFj`!L3<䧢n&I&w&+fJlJV|]3iX珊Q~LGLfȪ'[:,gJ:x˼n)maQJ$:C_B|BD8@ROgBVMzECӐ@{qz9gr1s+#f6jC@'n9s{^,`KlфwN廬ƥg;4U.N \paElgvL>0Fh_ h{GVњ3oTPL8N,S3$.1/.EP'Cnj $k}M_O"hŐøؖ440};ZNR[G2{,suq74|#E>M\ XnLm9Y1@GCRl 6ѓ_=g`Og@sEG.r_&:ꌓ?do:UƅKڟ%@#VP@ZxEC⁖{RV%Kc}rt "4!0(5L(Muc]5_$CE#e 9ᡊaF;@Ö^K͈?R$FJ;UL 6 B9ٛ'i^v 8;',WH,P% re\7 UWwdy0ʆ.9eiu~'3d"O{kW+)zC`Oov&v =_Uqs!N{p/n aVH{Y=pP0*T%ii̎Pw6e0 ϺsZG&;'2A8LY@!MC䇘hcSV>Z-쟡.11('(S&68J M;vDðpyl(Bc$8K633 k'v@rs)"x^7؋x\H ±=wcd=nzJ i힩ny`;f '*ֆCb$],@Z|FlY w h" ̖KDr'EhLzKH'L҈yꣳ:l(TPo ^N~[c`?85 秵j"Ҧ,ݾ2^QzG)9 k >"U}c Zw_5{Mm^4\FA o!?j%U>GHD߃bȍoJi ݻI`0;13Lߝo_&8Y;w9f%5M9eAYm@~rPem!qм>鍉3F:7oYt8;KȖV>ӬmBaòxQ-;wG>խUo\'y;KrAfj `Hh '1ÜXx UV(*c}.* d[P ؼ-$f^ͫq.S3CX{:u_qߎ?SIts.#>]f7yR1l-p@ Rw*jۄf]t@=ϐ_qy&DL[w}ǛTźӕ]xqGnbFynHRZJo}#mn&3ɔaia26칒 }23PS:yM(?_U`cFnnD'@T/lx[)5l,3)rdrqZ>"ZVHy6#*)=srSS5GVyj"̼S 8yDm!㌢ȥX*;TTczs$55-X@?uRm-wON 0*QfCT$+ u//1}U3j2#?[v0˾]UgDq]|}r3Rԍ dkvs)T_S"iTLU _RWX5 .pnpVխ{sEnɲPSCMK0xv*CËZc,#vzk0D,4thiyh_}:5_*&0?jg=`Y˛:mѓKǑQFW>;^*gՁl ]zu~G ip  qf=\6;Nas,[$TDAtvQSuA[Pg>Up`A[E$1c-Xc%}<Veәۑil+b,L4ikHG}0^(*=R;/Xw* qwb{P4\/aojT]U:OE,!yfkNziz%m^3-ix9*W{McY$ҿ`w xk J$%$M-Vl2u.NJ=̏<,wO0HǗDi4=PihU-d@_?‘L.w9hZ0v]\Y|6E4w[ X'xF;9=3#̳{],JqVieBZ2V9r^f'i ";!K;e߇׊B>yvQs^c)+oHtHV.9^5fOUmʴ\)RΟȇCFfiy%jl"P+ư*JU?{b>||'/( WӒAXy}P:e+yo0p"_1(Z}S֝3o~,J jpJƊ56Ԍ}btab.8@I9HKڱc [1]^`,/;"\J\byHRݎoP)1t\P=RQ!kN lGA/`Ru}{!daG8#Ic{8%5S sPPX̺>L?%j᝔k; K䷱^5bƧoh.8§)Xve'wٞ涍j`H)wzJ)hRc^8yج͉te=]Y/ـ nm}-ϾC{'<ձ !))8Yb VFxK-t7 jwgڧʅ紙 P3C$)k#4 p`/EcЈgX}x|ޱ`Z٠Z =QHe]w?}PqqeJz/4kj]5MbNu-?{R`+fku/K/wncc!dp*,7e~+鞰/YM/ ] i !%O8SkU^)5(ܘ͕ݺX 'y"R' 6MwlCiBN>᮸+Ht/iWxYV[O8PvQr~@#~`ݒ`V:ZuZ 66E}\ IA#()ωY6O~}.@+L0u[?Fzp!}2-)u>1O4&Q3(M8Aʀ ^ne$Aaw` |ݗv E@px% p2MRIj`+=l 7 D x<6[\{u3o`UBˤ5F<3I,`_{x֐S"iޡdӫs: J1G2GS0 }@R}JeK#pȇҼ ?qM5 + o*"!։ MA~V=3,Eŧh~A*RԒ##u^KO>W(ki ,+,f]K[m_RH~p1C1x{fᛣu..} xqCK].w&,C5łף V(ي\R40!14ʂ~'v7jkVP%8ߟa|IxXK|ruv*>鳪r w= 5: đi瓆^nsLu)ku9: N$./ Ii/ElZ#&q^DKw p"HY٣U3kpXu@u"Jz@ZW 5U+$N)t8;D%.T2&-Α1/m} \kŮ-4=&w "`aIwy9FXԽWsM ȋ=0/?\~9<jУ3?7R=Q|R:?|') 5dk |*e|rA7ſPJ1AZe*+dƜp2,D8X rh6cA:Z'X!P)ե#v.Y~ ak3N"(:=QLFUG-Pn (?Oh0Gw9y(g.6ɽwHMy9oD r>ƦܔLF{/\! ;hRX{W?ތ^ 2B\%h{V{ؚ8fEѪ;pÿVN>;d #вTqN*G+|evf%kTRD8 \RL#J피JGxұB{tWw??me޶ InV鰌v10w~z:5Y:t*[u㫊ҕH.^Kb\Qa' ? rꥰ+~pq`L!G jDA8b%;m_#1/FFYaGB3j)7(*́}K/'~m?MSޫf.V`0j*s> &(E|{gpCt;q9/bL_/Gs!ZW HV/RxY۹.i2 Pv Six1cY؞[逜yXG|}>pYXRpN?4VlQNOsB$扭yZeb+`}/Wr["UTUi.@<8W|D{9 |WQ`TZWG#UMtv4Q* ~DžF5c}eFFLPz* u卯DtҲܚBgG+ ,"$;꫁{nNAfWvl3g Gs詄 M1 l S 86UM(qQe< QSދHɨN,Fc}Hb{mPԓ^V㉳1Y]r uO$~cr5$Z!(oTGpkOŽ)xSHc0(&Nc)XW/= J]w1dJlӜ7Ч">wHHs~1bY wH x%% z5)x}~X Ltv*$+UYϤ:Xi=X;tVZZ2Zb:PX_uUےn͔YO:K X'>CMA+~~l|XBG10U&ndj>+̋pΘ|ʩO:D]CK/w\z=ɳRmų|K }DuVG/siZco-82^Ғqǵ,UE&՚Xtjrse_kߝ@hL7*b=ݧ3B")2yѰ>9n,G_9A}jW w';#ӵMDqq޵. ##ZDFiIuc4],@p'7l#ioHgM'+|/9]NhLLD>^VNd P'_ ǧM{ A^fO} X۴CjWTplI`},a oŁU"}3_ `D#lHC!LWUcd8C-1y7ڋ :=Gr.>}eFV%!Ĥ>$Gj|FI2 3H.ƫEYZ0?<UᙆE|zNi^FIx$ qQd}wkt(#`y)앒*`I#cJIJc2yB㘶ii=<ؘ1ȩ?o*oj֔ J+o"£i)qʘzcRW:GK0X5@5~kh6>B˧꼄]2lSsۨ@Kft#x)]D7B`,J1X{Ig>HLLuME5Esi yVC'tA(YkmeSp|uw1~:iҍM|H(ugkozjնwm xn= TDWlΥ‚v?'0˙Su^jU0Dl<~`ˮLD1>H<jbn}p ?!R$imUH4@7 "w%NFP;#d(UA@?$mõ] gt pJ_!Cs{S|=XMs(DѲ ^[AI֜,oTÖ>e >(uu],ָXW-V('},tu:h|[er H!ou *zSXϼDf1Wl)?)5^!p126#D3ٛ,H~ Q !r1  Ƶh[X֜Ӳ]^m[b8mQ"aS*#YA)G/pڷa8lȅUVO?,k ,6u?TBD},^$./mV|xH$C=@[$oF0 E_~mKuUM`C^`͗cJ >M,,rw7`NAI-kw|:]5OىQ3Z,h|~Md.*i;EZKa3Fi [_Dt @;*F*Nk%*X675%a$ ^dXuMl I1)]pDJ [Ew5ڳݹ,Xmxu^%YYQCGcj/l`jR(IAsX_Bn0Ϙ(Y7 l!LO# !$v* R ٝ4`+CR Fəy/SN]x- Os&k*ݰpynubVĄ !wp_z8JFQΪ.&}QMj#Ɏ#2\f 8?0&}Sݱ&vQNs͎JE~]B xٚK圗} S7ˎ6eD[ gSU{B{ 00e$er*Nzn[u n}&])ϱ3+4掉``a b\Ulؚ$pJ*(u~E,䎵WȤi bx,4(z"xO5,.xIHE%.]A_Mـ"D_.wqT!ݷzR{0YACKn ' 'N> ,Tz$pصi?oUQf3RnNz yqLhO9tV3Ux*4bmr']DD.cԱ:PѢh-l)ݾ>f~֞gmlj{`4;G5ժrՇ)(?wwd' 򁞝Ki-F@'UMjDEx޷cc7BҬ4Ǟs=6/D~X-u4-{-TZd&,&oeA!i&y>4{q&x,~9Qy#Q-RzLGqێQCnMa+Ȕ'Fxٿt ;?s6vJGc9`#6fuv#!4+PJO/Lɳʱ6ODܐ&w?1ǙU]G&Nϟ8l~) =B, WPfy>c֧7*1K) CEulKEI0B-⭑#K"y9[2H^4BB.c.OJI-دtMǿ<./$?5cƷRvlvK:D͊hS&JA-sTx솦oR]!΀ylҧyDb mJ*,2-/6H! c[A*oD"Bv %ܱNc ;̘o*DZv?lwj҈=W]P?Bj :}Sp4a;$L, k3E;15\?S/#Bj5=lygJL?$id֑w3?:9y32[P;ބtyo=;)!\cO2ؓG':B#9ܻ@ D+>_,RxtZu 0m |NT|[fi(k^K2`cG N|+ R"(1'M]3ngnWvRC!w+x2|/qQxW6l,N(XjgIނ<&4Ź MPPIMW 5;4 q;T#A3F1m8JcX۶SSsEJ2KkiB3"ph4V\ 5̔⒤ӯė/8)geFGϚ(q7]()?. ͽ/?9Uťҹ%pٓi_g \ fp5V*{?ylkXQ=V= Q/my.ӼKf^ƒ456վ. y[lDPj;$_>= ȁ4LĪ# ҵ]>DY4jW x6l-A2-0Zʙ[HqOéYCS~ 9F @H`U 4J"| ^7FG#iom!^L]%,P QQB]4\:b 97ǷHfE u:;G$daL964EŅ>.N.jΛQiDM>LK@g!J&.RbBOvit6NFGw]oYDu[! !$_E0 vß֌%Dd:zfaf9*.v<ԝo0rW wo.%?_e Fgz9`ƣ0G<ͨd}ņY4:N>nmQe &X(t!}R_q L+hGwCIh^bEԠeoApSܠ*>>Lj.&w_l<6(DހOzgg:KZtXսt>茁:sHضh \`bDAyFv>=VڢY܏ ? pڥr#PFzH1!<)uUi0)?y*n Y"{,DZcMAmCM/u2E}\H{P 112X E%TTJ6T0.YޓJfg*'`ɦ%݋0ޠ\/~1"e!q0[aᢼ|ezqc5G~i$ΰkq!o|st$/ :l88+izsq!2V-~}y;\Y-$@ -VdS+s!;%̼ej5A**Ui6r?AUL[sNZ0S3 >VT y6)XY}Vp֚r%TWɜ Y [x$`V9QO,*D VɶKE:r`;ɋh}A$R@h1Y9G ?CgӧkI%_z01dz>D EEj+1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ*1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id524)1W' tHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g q]Άxʆ5.f-9 rq=cb%"LsxhG!4MmLj׆/1hI7ɗYz0㲉9oUqC~2mYOޟ gگ5L]v GGǚ$s0ԺZV-Ӯ8ixS[_ he&ah|Y*)<ُ:3N:⼾pS`*V?" &.Vv2Ao$xON DN*4BQ]GRNyM5֨#J¬om\(*6sR%;)Vm?֊HO .6MO0+ 7 KS"u77 Q =%U:B/_Ԟ"؍j"9)ۭ*X-ayjjyn]4Z#=Ǿ_5mv/NAZ,>Ŵ5%V.̛w]GQ5^/iҥF=)m=Wr4.8 .NUNa 7G;Nݒ-M{uTl|Yhq[<$-J4X.<H9*0`wG:N3*Ml(+ 4qtW>-[˟vG2ez{VBU]h_}Я>T2U6x/58wtJnx.VmνEiR+3Li3к!혘SETz57E`]Cmn@&yg.et{{F&0:3ҿmY2T?gsS$`wo0\TD˅釽9"~Ri٬009 ~]\krˇ7AaX$w[qU1raGj\)Ss/{a %&tx]':w0@Q=˼#8W=iy&CAFtZd"_P9zlݽ {Rtk$)w|g~04į@0B[B-0= _UoϾP 6{zwTq%O.\N|#׽"hP7uyZj"5[0g.ͼ4hA`20}Y ͱOllq)3`+u)ŷ ҷb`* (W2+taRr.7\CdWM Tl4C8hx-隖G,S\ˀX?P[SraȘk >3𥠏 |h"GϋPNJ^YKMӘ*Q&S@/3~><8䓠)Zz)<[7=AiBsL(=U߾ dO!P'O= \ +/̈́N*Sw3{v&;[W9[/Kbە4IhCtpVy$W6\ZݨU"3+ѕ\#;9dxބƢ][KT]|+KH5D(n JS9Vl6I]LC6/ڢk8FqT+sFʻ(New |ēgm^~2-kLePi徛 sQ]h}--s,LnguW\\-sXTs>ОvJ(*$J\pFn#4xDkm&c4!Ij\=޻IU tqf*񦳤u`4,p]-y`"JlZ(54఺$ӕ|:LȘz8v6ͺ?,9#lQwJlT(ĕxp fs{5@vM;uк&n8.Nnӕ2U]BZpˤ{@CPAB^2PY 1x-|2 = hxӛ^#aB\XȪꈍ^Uشu6s؈Ia(]tKr[8l77Y5. ^(* #` 8F0,$ҭe[r,ÀD I't㯍Ij"{JH=9=^"_+MZ5Q`,uz&-3۠GCnkogc7wQb a81wwNzoj}b8utu]\. ),EUmg6bBkpa+Zh0g4ag&H {ޓ5-,= 92#P[3 tL\*q*0-$ G}٫E\Vxt'' &w^]f0 lI2y\+TEΫiyMª\S(3蠄5~G2:yU$L@`EH ۆZFUg)}S%hrmȽpL D|l|:I"Ocl-(z SnhY(L7:~EGO#ɣaWU0Mo6$u‹f ]z#8KFgYZQKCik.l1ÒW\L hg3T *Hly2w 5<%P{COx& ُڍ2\R|վ O/jc : %/- c^ ]N^ǡFv?AN#˗2SX]$j !, ȕB՜[PzWLlv\ouA5ϛ^kBgtd3~h4X|_jAIa2![ּ#:ypJ[] [pgXx=J߽\ؽށjvƿI,6"+yUPt^o.EiJ,!R{ {c 8@j y89[r)"7 L[>(H/66$q^9iTdj>щD73n 07pf*uIPML喰Z0;s;4 1A^7m $c4x"”DiГ^|GB499]Kǒ!%rk« +CFعYpw { w# x Ln{7%퓪q^'[_T2?(dM}׵fe~"I>^d~?rPۇ]3q><@9;[]sQ8_E@!?AZvILgyHE,f{;neڧ-#MբIͲ䦍RֲMx,`k^,Ż[\XkjEHGcJ E0EJZ=؍f1h\|IN*k/Y%39cD&'cNҚԫQ D]MPAlH7(Wm 9]['AwiQŭdW jkxݺO3ɝcKI*kJ!Z?.'UmG!+S-d;4}K*0Ia\Ip `V`Wxɟe9 #guVܚ^q[8#")c O k2$hwU3$f#N8VNWk|srK쌏!X D9"Px'ؔ۷ XM z![E4?k3>XœQo+{vܗ 9LF_wKrN.K8"$ovw3/ƚD+wU |i7FΈ{!x5jzr'Pk , ud ݽo[0\}28~ U ףߦw!G/\B>LO.|dk9@i3LFVEd1ÄҊJs9U)UI_u|(8*ҕOt8T,=a|Vđՠ~A f84 k+~dԙcO^5y`6@6YAq4 q-? ۗoa#b{!5eg*1PF{W/5?ኀ 0>[)xx{c>xo=盜C{[Ueْ4vqub|%laӷc{l韀|Ta߶b3g쨁ƶd=D}b! \&+`d8|o~sZu:Ň;C~!N(.genMhI!Klml&?1ܣ:ŧZV 4rUhu/血ͽ|茏dۚ^.R;538U&@[ZE]P3yҭ(ep zZؗyj룀Ê:Ɂ\Qȍ$4%FJKJ[LOgcYe !8+寷Yǹ]Kލ{'dKS_X3ihAf>|KZ]/=Q}BufC3Jy!4~&2^I'&jЌ=-rN 7V*YCw!x8p3yVfaib!2mg$a/:'O[S0Ͼ~r.ܘ%D: d쉠[UM5ټ߳;n%3+*D4P7zp,-@ \z2TC="m1.P ^rZt6E@=cbxPd Z~~ itJC6ؾ[r2zOҠOx̠1a?NA}|W!AvWenm_Bۇ=i<8u=t|d碚^3x̖'<9,[2ى* ͻk:eHvwovpDܷPq.k\$"}x#`&;V[!綋% swrdj#[,`99_Cdk]YqSSl1QOA,J#Sc#bxpl (4A /P;:hhVZ=9W3x)DK2)v)U֞G"#?544[ %է|g JRҢqDHぱ0b-Lcnj/FUߜl|ݱ 3 jw?q[Ʃ0YYRN+ v xؑ?g7;.EỢLV4BsOG%\5r!5@#d&\צ7Hn9|e2+Ӭ)KW<•K ,74OXbųEpzf 5|#{06(ؠ/h {ym@[}f] sTAEk@Jh 7GaJbjO !rٙ-KFaHy%*CLHfn-t>).,8!BtQknphh5C-AzNo[=TwvL̃B7'WZ$n!Uhi&d{4E@D{acOaQ$ fE-զ(! V`|EShE W\hQȤA ^6n`ғ.p^e1뱋DX,YU>QP90\?/苯{~,9Ŧw! MgOJ Cpל2+훫 WV@*.f{d0X@,'zYzp᫔݁QF};-W܇/tRSHeٜ d9%  GHĮZ7uSQ_sqAMsJhsuL 3c2D@C7O,gylyFxlnYaoFtjFQ{WTO+L f>Z| .3`^=cAr'Yg\~&jKUBR~3QlDBF`" T[>XP( >lXOڲ`m]D_Ǧ}l#_7ǁ^|~=#,]r&|YHo!XJ,I=NLlS:D.%0IIAW&jNEI5)H7[ri4yi 8#ba:eŽ%+wXe)(:{B tpgmnidLRy쮨pTGT Ar6Lod#!n娮 G}MƄlW*NhK#$קbpH28PKMvp,{cTTْ=,;?'Rd.NMvoY7e`FEK0›G%à- (km~Yu ^-UI9cl] {>fU_ퟮFs ~%ZPXبbm\Om3I`A˰V2x8ix8x{iK"\ y%;fk" oG8-X Ă30&~ %m6;峭Ͼ}j1"{4ZUo e~͊`^Nn$\ > , ُ^?<]Cb\aqj׎K4]  P2%ڠw{]2;NIn%|0E-^˨yݺa~yeP0еCMKkfdhfGzh wrQvڤdW@Ŵ{BWXT;>8腮( {}9K-_}M[ ~}ُMuDo<Yú#7m G'6kZ%_c\ >W6NESmR˓3:= _ׄ <&_B[PM2m Yc̱2 bCQYoM+ s rP Aݏr|%uNė=R ޘo>~=`5j-P(;WNX7T־HI؎u.+GfMX',1+ {ޠ$]YѹڠB-5f̻ޟH+gWS4COC[ 7H9QƁQs~lTvC7,mhNl^,qTߐgN1Mxe)W@0%'@X,l~`q {9-?ɏQn&ȉ1F6Au!<)-:Bg.ǡ,:A70s Gp% S <1pua*)MEITk%`Tt?@uF!@>Vةʻn-_f/~P[*Q+0\FUƸ C?hwk >'nv`l"3! 6Ԅji8p}7 q*!|DÄ+]H@GG\> GA]Zy˱}ϴ8eCT8LvY[e,FSD?J`!Fa>%׮mJF]d.NZL_[_%~cOk&8l4l8Wdz>5';nP +欼Jt\Wtϯ xUos$p-?ٿ *$Y92dv'k6JGEG4m6|液V[l%Rb~9J}˘ra"1K Y~YLMk^;dUzOa$jK)j,Pެg6:jrQJynK &*=y=ϕ 㹀f!HFsD0G$FE3z| T灩1j A?۔wʖSx]Z:C䇐3J {G>`ᗰB*yB$[%m3,тc!_> N3s?AśA_xw~B0)ƒ .+ 'BU]m:* -$srs+GY6"LKKE+ #:_P *@! <ƪ0l52qխXs+3 {\ƕ"Zkɫv&ըjpAZ 9dD a m[q4qm.(3[owS8?h!r.mcv\A.P~T,hvNF@S?]sL"qz9 S|ck`oM8s;I+zi+ l&9yćAd'y:ナ¸)1BGM.x;1ۜ#eoty02J4™7$t-k*97%+$ Gpqě!F9:XȷyB 't^%5~W5Pi6ǎ'/**u-1,!yH\_T-5|H}ugQܿ9_H O܅eޕ䗒q^&ל6hŐkT?|\Du&Lfldp|( @hwu՚]?CυR;Yx$KMQ<=n v8b =/t秫 T/TY,.M$@KKϓ7 |S:*D9{KV1^uI%+E)J5{QgYZ g )=g01A# LHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY.] vhZ[d (:.ͦ01]ČmDٝ@.3Z"I :QB\Ëש:;e%Y;oZBX:&~RwtVH]mhTxA12֯A:uqB,Qzn@"YVb 3A xNYhA\hNK,ȡU kjikIŵ!TZm ;) }xɺҏ}kJپ\Y&2\h֣)I3=vc3 rpOL0Lɱ"$6E6z:x7D8C]O#38bbun0ɹbؓmA6*"R/I,T! mrd5jB7Q Dd>r%t 'JM=LdB4S Z.dwY;VlܸizϯXu2e6jto8uRY. q?dq]m35jWױCn;M59#rݚ۝a # QO?7@+^gZF&[1J{4l}SZmt7Xv;zbd_#7y|,M\S ,_8:7 ۨΙL[6ieJ=4$冉W/-"bņh?%`/vE21j!+\^ƙskAY@umhyt#(!%MKHѓrdd{Sb/1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF.1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id536i-1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (c]D?7 {?:fH\yfiz\g *0Os]Őr~4Uzbnf4#FZT`H5bgdB^kдɷܞ{CkR0];Ai{= ȣlI@Yfʸr^8<:wY;C#I1"] OKt]Gs z_V5,2x&(diİvN^xm7gKLʌU}9ZBFGڙ5%x֟&va}هfywk{ ,鼬O $̞QSU%pMry0툶 S ,ɑ~`6qYC13 0< ylX\ɉa?'exx+6[3/}G8-!N^ڂԳ=a(TM<}ЀPi)2*~%Pأ"{4F/ u(y쵵@m8NfzQf0gYZH, 1I# HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%D]ˠ)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 rm^y4J.p$i*{9~` M~둊y.Kn3m_:IMyj[-qBnNͻRdF| WV`V-#${O#SP嚡}lϐSjR;lP\Q:=Qc6>01+V(NAEbqD>h|> S:W_EZϓ#v|@8l{:\gt)tU5bs8L&p0(w62 odr^BPd$_dÔc"kDQ={`9O6^L9mZdAj*|rnjUe= R$cZXuM' ũmK|Z W)3zWĵi_2زNfW|<`ɚ]-*Â} ۩= ң~G@x6Ko毚/_hL%nw>7F>,vgz0uYIGB6Q}YYv~*N T\6YNS v(nXy1>沜Yu$=asV4#~zcʎ&&/nnO7ʻWlp)~qhȚWW@1JOVЄ7U=K#4aj/MGUzP=-&W]y6 l#Oa*)@e30?.:Ns gS\V7|݊ۢ(*腽pؑN6jik; ##Ĕ}[-cX'rvӛFV8]e 1SwGMJ yV Bk? +5)1sS\Lɕ(Zɴ2d{W|_"8PQ3eΧJ͉~ŏ~wԸbTeMf`鱞WWޝR6exqoY[ A䛄0-Vz.uFDY7NF`Giȿk!lt?3}j`, LhOm5{dO{uL#2t#7jy MPlT(2:edd`vR:,A*?3l$ѣ +iJCw+ƕ &y@#LD9j{͘~  M_ՄVKx @laaM3sԉFx rhM@[!4 Q #^*)-&t2caxD(? WL$=Y)ۦ?QI,#qgO5lb',y]!#s:F6^jf1$ˬ_t 8HiQJ_`iH?E ۩:1md1dサ||SirolTKɄ.S'ψAF.Ά`j"5tg[oyş~b{nbT~ӘM%;/ JĢ&WaY`۸)(0o`҂,{ܘ,v0%da?bU=e@a}_2 mM7U+ԸjlGU~KuPڱ@k0IY3Ԃ.|gy.SJ YJh6vy$,ta­!)I\I_c\U7k(%G+AJ⭂ ˊrFLDɤ4B2xQF b-C7CR1O<]Ox,W~Q\7.'B^7̞1+MR(mg7!4> o=Mq&EOю^C459u޽ ;a5aۤ\fV͇&Y&eN McW$7\3Ü؂8,HBdQJ!E"B;84zŭTz.r 2rTZ3qba}m]jAƗf)su aDҶԇI•J@EfL^xx/A,E$1_Y Gmij4\^ eMVd]ýVH  b>{6SުB0/*ΥGDԍ&փ4p]AEɽ"4Q4(8yXJ`(* z!IڅN2U r,}(ߒ,̮u.([rtc!([dgQ԰H VJ6 "pň?/r`=%:.댛-!)048%Hˆ^X$l17q^ruCjIHͩ[B+W"a;)cs5nIj E:/bJojfAi,,`?PGg|ZEϧoKSfY;-um0bu<ɪ[V9c|R*Cf RHSWsk :Qa-%ajyވǥ}k=ŵ׾eFVnϝ87m mX=oJiGrnnY> |8e{ȟ=T8^<Xb ġ/ THy&mDW)$Pu g-kiڝ$cv)]8L=2`vO:uCۼZ|Np3҂'LOI1Zo8O6zf#;7cœ,b^J3TYBw0D\mtfJ:G%HJ%x]jϊM-W'rZ]I˸kwNaZti߭D٢:(ȿ!g2%7;iZP][=`M3^S{?upH+,Q0ظ_6e\i$.N V؇Ÿc;֥>OxƌhE4LÁ(cil̜Qmp? U\SK֚qZqn oOezG*1eP:~'53}W@K!B)Mwt۰WT[on LLyA$Ek ǫU|l`<Ր<U0n&Yw$~LB-XV Y1"e'tx_Q2!&!)|~vMq* FHJs.}h #Q{[ÿ$b3cu~>" oX<1|R=C߃e.PחmO48[273u,hji)8i&Zt2|A F/Ńb#֑ol?Rە7+ ܉†~ՅTYv/qYI3Oq^QS^KJC~A㫠.%۲['g㹪Aғ3ͥ?0tHư4\BBډ$yג~ db \44~2d`zCwȸAxEM& vVV5i*rmZ,fA\qBmew|  v{&:}θ/t| ܗ91#TI:m҉n_ }Y(EnllYcR6)m1s2yEP򥼟aIt);V_o\TR;qFl,gC1n7!E8"/M,=Jd6<=P E0i/qZgw=l#Ǻbn 5\͉JF`?JM/9HۉoGr篝O%yrp>W*ayoҖ4\?C,tm0=#k!C֓8nf@Js OhxL>oJX$ݿ;,oTȝߞ)$lj 1=ł"(ߖ7gv,H@+;ǘ)Zԩ:$c}K| n5BKKz}W#pTpX!>CL'f{3bo^Sh=޾@ޕ_/N*W 61܍Uqd~ͤ'3u_QD|"6H+"z@dJz>&(PxvA﷕  Z@IYQlcZe|onNוЪǶCkz':T a#[} x]Bϣ }\%8GF QZ`B8Ո{liv?>T\/2 ywX9~Uق}ݙ_0vN!2\.Wi7O _XfZ}6JׅKm4Ӓ]>BnlDe%Kn! ^7"=1Uګg's-e`5uY¯v7t1N{rcJLOf3ًD,9KOB1Z]{Vݭd[μ xɇ>9 :i2o;/v2=*9ji5pkń&Y9)rםKv-RwN<, xR3e2u8/^U*fخs#1)YPI$2<CIab礦wխ+E'B&gs }$6#n!̣ԼQ6Gw@~<{cP 'EN؄xV0?N]P;R92Tm9e}ɛf&RWʍFM3(|J;Ѷ+<#ys62e =F Ɣ<ǢrnNst L4Qc”u} T_mҸ@1!zj4t=6Jy\/;.ȘK%XGj.)_rPU[2ɔP N]8>ޚKoUgYZ  R b  g81;' us6[&g\(p}huc`VV7H%(Q8mgYZI7 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-@}H^ZgNr},b(b ,{ tk(hhw>Cmד,- d:ZWGAqѵ# M2JkysL+YX[=\ Tc(;1u_AYuWM%rd2uWYՔL`"exWsC.ȩǽ{ΥTPׂ,xZ^O~ V'4pf@|kKY@$,dv-K7-A*}ϮĤA_q-xDωֻhݟ*q} ڒI 'HyAA P8cLn3İ}g6,UuKyHMkjeuAfK1NM[VfQbJr=r&8MB#2ߎY_aUH$!0n&kV92#vj}#ӗOo@E?G|PϏV ƒkLKgW I B|b>lۈ,1i˅8bX q[qBߒnDsO,l|]ok#e6&H!ܼ @:djndDN\@ mUTZ/Abj\%lWJ` G3_$~kJ5y='Fxs3QG^H Hۊ$kԔ65׏qp"†]N=^cM.@,dl)P]<#c,$1.+`Zꊍ'0"WLlyZ3 A:^M%с s(NNŬ7V؇:)_%5qG.h7~D$`Q SK6DBw)O~S>_--'$8{J%[rP,=k;b7gVf_E.iIGLrڜKͅ[LPòƽXT$ڄ"'8e#+ؠmYlTgReZW^2'hS[HfOHK3B$_ڵ]_. / d/Ř8D+;ܘwbRŋY@.:v[+O8%/O<τr"-=<{Wv3+7 u>l9Þ$E[<4Zq5ka{̰A.+EBCAS05x`{znǡs RS|D9We}I6^;l+0%&%p-hv8 b'*]Ii N uR]Q2 *|ICnpAn]ȰT6MǙ6lMyڼoTfha\c#9F ,;"uǤTaH)^z @4D3CRC(aۤs@wW\61;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC51;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id528941M# tHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~؍隣߃N,ʜSnZ7ԖߤY+z-X r!\іQFڞp-~@ HgumWDySYsC16w})gL꾲2 ^A2f ;4x03$3EaK5C ܯ"GVn31M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL21M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id532u11A' tHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! 't]·Iq n[:|&[zº PѤ;Ad>NI EL҈C~sWBi9~pb!j mYz.' C-U߭Hrhs}LuV$.ժU0 Y䑨lbFK]diw4dj۲5ev A=?zpd\uo#dl~CNތ\TBmri\-X>~n.vFw3㎅%ƆF v4kskz HY@Ű' ח!Knp(6Ё䪫V~lƥ_ b~J(ôsd]CKVNP,xD}g7zwbT1d)^j.Y[$M@>&bbe:u.߳sb(/RFP‚qZi Gw媮 w%v.,x=ki3y"%pW>nJx+Tj F룖:[uZz%91$&<.4>tU%Sy#(_9 _9S祎e3RF#KUzTqn,Ks0u*hпѧ5ak'0-̴$h!ޣ H ÛjC *Pޣ'|H)Ll'ëŐ7/ۘxQ''_ _D?lĵs38˾{H(YUzb<ػNo) l>RW jrc6'Q)HzvnoZZ c%FtqH /,?v!/A nP,=8$ot.;<7R ڛW}V*K`!,̿bUN d_ 4W"6.!PݝyzH{pm &+}¤eXNQne}Dą0BCZ<&DT?2ꛦg6n;Twz<`d='I"Tg|QL_ +YMtf5t$ /bZoA>AѬqtːBt"-1xo Of%>--b"o"7}Nf.$qm2V+.٭/57NK`(d+ߩqD`Dۦĕ(wg T TR^>Ar@N6a`)Kͅ%|Gґ6of W3Aj& 7fl.kܓxf?ɕ3D\1SpnCsaxK_-XATll;NԎ9j'N7*_!x VgX^tc`qBzgjUJ g$HC*3ݰ=)GM6w݋Tsa|ˇ]NV'+%$/iL:KQܵI\_8jjՖ9ͅѯqRRh!`CM)o2;L5;[ߛ!QNM&50(@eMp ѢO|mkwbi`и.RM,7a]k.% P!6Q=7uT=<&k bXGʲߒWFkbML;m|.'8a {ØoU\L58Q- Or0CJAܯW3,.lk@KBM-i(o+2$Xyw!'xA:xOS.D]*[u:6CKSĮCB]l:);:|Y[>Q1P F[E;?%[Lڔ>BjP먄XwJ'*$csxڌ)B\%mx-LsqOwmJ>|tJ$"sI`;¹fȥ.eq47&5׋+|mtjX"[KY@c54m<fk6e"u;Y+( qsK6V9Br!s/dsD`s֯hJ4xJ [heiGcxHњ?oR<PavK^10⎘qH5-fO:x2:Kp ܏ְ $} V%d6U·RJ˹{f@Su]2L=o*5+dӂ-צ&@sg+EyZ2Sdڼ'߆Sn3 . GzÙ[xi\f! D'is;`Tޒ :dޚGij bĵ|8 [Hᐳ~?E3J'QH=.r9_`Bb /AdG)xbw QJxXHIGe ,1!h1ݫu^4A!gϤ}fL3]\24ǔԠg(ŗ` .ßT6͏,ѫ$fzWB]#Z߰o,[blL@LřŞ;">q丶|zψStJ߅|tMTĘuA7%"G5 b@c+ Y*yyPQ[RsP: /AhO5fˈ HḖZBRߎ@xw~$ ֆJ!(TJɤO{B 3[FKN@*1nrKZcrH!ˣCgsOv)pHy L6NuQVyW8$t4UVb+/)m׹{.u'6d&|Sh HNQ7.;Pls l dp,G Hr SeD3ZG~ivYBOrڻǟ8%0sxU0!ӿ~$%A <)@~ü%_m<H1))Q/ȿրX*./e0Z|)-(z /߶ v!.ksF,ꀤA/ ÷:[F?_#""Do,iU|6t~Vj1PCw4ߠ"VrB9--ud0P2ygYZX:Khu'=|Kc=&%qs?8/Xj@V1Pqo]x2X(i(_%9݆d 7/Ti` *z{#UR796 ^M&ސyN0 |\24'E~b-'2okimax|u1x<h%b`bui|㾦==N; 鉑٧5p~^P2vl'<{4xuȷ,H6:Jٱcz;%'v sxUǘ9p':•Mqqy ]+SEz\:҉e˸$ȧAHT[Vdg ɠD <ɘL۝{jt޽`^򪳱C _PbU&{ h *GC9Oo}/KL쁌Ud3pN+' a!#d}W},*ijqRr1rhU&=nM'M+Ha"M#g^v P)QE-#$\k@eZ@>e}k Ml;/yoY՘W*ln`^V[.sBϖhT߱wĥJuZ_}SE~%i (fNasnu*G'J{;$݇>KN!w~fm7ۥd|\QP[Sd5{4a# wY5,( .p~9B`ʊ~CXSwI:}ı3+d-ݱkVEb oejhF8 /L+3wُ'p. b죄~&V7 m`N ρ$E ɬw;1#Eo:AMJDbRK" <63^tU&\OfGhkzU|tQUp~a^i<{i Ýp{;*ۼ39O$plϫ Þ@Ac`LzE<83$_ יּ%bb~᯺1N*7S9jS9d2;B9 އ*oܬnHg87T)% wuACr=i !\3kImwr?y7//AYm儑jy㋙-;U<(]V۶?g"1 >ƀN q \lZx̾ϱpȭܸC5ӱRX}˹#ԠuFI6p: GOYwVv7Z /x:[1 [/p^NBo4B{%fpWܛj8@(-0\B:,Ճt,FbKO'lJ )mov(xq>#BQxɿ"`N1o$!s)dNӱ(?1dB+1ǭ~ eXS@یT{~ϵ7 w#6hj\iT-9C&+wZV|{':"*OM DݴAVNYqrW#1X=Q?Mފ KK3Hu5PLaA6Ǟ)8f~lL_j}ZI('xm#߁TLi#Ui[Gl>RnИ?1]NۊCaUDǔG+Q3=mp; qhr-ïFD%D~Tn M.C?djʽsmF}&rHo魦̃c+b H e 0w%< *Q GZulT4=sv/x=CJ0/| l<4)H4`S4Ƴ p7u?U4ͨW+ yD_.+̺iQW1iI `>/DIr#ޒ+Qyc"ڂrN}%h%-c<—@{igZp56΢c{WGBzj"5 +x+7|K-ފȑS+<л;F׵u&Q6ajOfdO9g}}O2zG $(4}hzk9ƨUysz}!qu:arj=uFmG,(3X_16-W~)\ʙw(8hxe `ܦG"v_d-sqL0&Kax+W:VLLn\TÉb =PV 8;=ȓ~PJ*RBB'[~vȬ: E|f#>jJZ:9wlTq(nMOPnM5(y`o}C۾we~ik[+ⶱLoQ{ơQP[w%&}X?Va˻o]TY6 M@xҊѴ ZU{R3ݜ#(߷Mo؇Mz 'Z+\? c&q8*3Z! ?+-^]v=D|g+<^٩,B#>p]rZ.Rkw~tcv3w0v T?lt[ v!#Ϸr&i8saO?]ʄSIkVz5Фhپ̳=0d613tA|c|y`AE|6vV@\GF$k~O'8ZbČ^nyJ7dJi OeMwV$#[O.heƽݳ29mz*!z7Fqcov*e/hϬ/bV[?֧8zIJKk?i=) PnQ|pr:| -IDބrdXa4]S)|ܤ=JGBF I5Bn*`Ӝ aXc m\ˀPR<"N=MSV|Vj6Nb3D$-h,äۮu:NR irFZGڨLvO0ZPL(Z7)m ۪cН ~yv?%mV/D*R_nsWg# Jg!s@Vu,Uz#Q=sZX]Y5Wղ>Pީ7BRԮ~0Ma)ew>Hb/P[RT,xsTRa_@W;m }zz GŧveS>dW6riey68ID[DmHRO:_@ٻEGZI B\$ඬ60@Rp%VNGS~D5-sʂv-~ %_;*)%Zu+ G"d`Hÿ+yѠvl~=t+x] sͲ_ByeFD67naZdϢ{gcUӋ>[n% Z%ϡQY^^FȞb% 7rAYR>F@ռzj'YMFo6=%{uЌJ9EI &}Md+v$+J1 j12 {5buTOiQL|-SVوvojRekVEBT8գ/M?)ucp^g@1t2d`g/WgǡmŜo-'76vDKMtxx|_Yʏ2WÉG QtTm&YB^LNc 7[Y|u >b=- <]E{ل'ZKa^5bsO +g"5HmNA p1X"\3@B(Ek(p ]}sZ{=U0KO!iA_/D)A5-$st+64UL : -J1:ԗ2DWajcɳ:5DHĸGYHQERw$;pggr[3+.*4$^,6LYj ӫ3@C]sܝgU?e›n=1/ѿw9Q{?;S|F{ 8s /:߸t-Fi<\\jWA*@O3C+Pƕ 3vt7~e?L0Ip"q/ᜑOvrd{+~hxufĝ@n餈Yζbx$8Y4dQʢIeLά`FP9c0+.JSg.$c#@8E$ٴQ;hw!~1gVBfLs]M֑WۭIm2Eɢ֒H{};-"gu,Bxr=}40>A&MފZ&5WbDb QH3O},+F g[Y{x6VsqZs?0P)uI""9bl pp'B~>簡tU5m]0DIf;ӝwu0םq_3o.!`r>3٘sK+%5?b-cD3 Z_)+\&Ju5mh& 0?$wCg#r;o5TiΥu,-r7)fk}".8m W|mvl+^3Yp,~%{('Hz&lz>^?o&Fzusd2HvDw|fF`8CPV}Ka[gFPz+/E4aHC}EdZja X\vb0Dc=^nq6<\<(@Tw7"jͮWUp- ;l?4J5buMu] Qg 2 lΚu(B[8Q+٣bdr*P/*4)q#A^0?LeSCGٝ߃(w(%w@<] "2}yhGܢT5MkbtfiE$ɘ9hګN΄ HVnk8ZMpsG}@ E@$$9{ЯX{gd?ȷ%{(nC0 T?j@+dc] 4T]1gH ǘ`=T^Uw0z.:M:`> w{Ъ 2g?Pm8BdA$W^ R|;G]֫$V%:yc9 a!+F!u֮jot?i{ۜU6}lUxu#JcM%Ey':z?.6[f~&6k:Fi6y^69TSt$jDfRp\rXclݻ]vWI0^M:7Vyg!?Lsu!Q"?Pjb*OL% ~NnJW>rx߯[`mSi` 7짐܀9vb=gb4}CS5{Ed66;(eD3d=JW}V hf"oCi"h'8'Wb>$Ռx#eM33nއo{/vMޏ Z"Go \_uhz*ٺX!ol"45kK|fA]o fԼP@N=t#bAzRˮf ,tޕ@#%o\,1>zbq=b3˳,Jb,G\#T]Q a{5ʙPdrO 2; Jt\$@jyUrh$ ^ ҫ!95CpJmgCvZDA$!ԠM+ Qk\J9/n$P+# >:%"*?HI-IgZ bH9)~:;==qW30gq# <~G4^x׫NI:-r#",,T~Sn#d[%Bʀ _Yyf](Uen*}ϲiv~$1ٵ>ʠ;_u j~/g 3tgYZ7zXZִF! c+]ŗXi%%9̵SW0> 8 Qt 4ؚFC̩ = ӆ-;;G`:CYIxK6/TР'2&~hS$]W5`G\Uؓ!581r@gT$;b!R,w ]N7Z(}MP;&[Erg;+F04C+ɭՅSI gu8ΒNq^K1n+̡mJ6~CF1+tjז+0Ja+ tq=蚼HdjS $=MX=X߂a]lh+'n U{Ni:3s[A-SPro;p.pqn.wP:wy\NJM9jI{q* SOU֢ǕTk.fBZ_)> l?}uvOg :hDQ4f{Qjm JLlsQ[]!Lv?KoxYsHɮp`"?+z^Q?'Be ͓[e/#3YN(ȥє^ja LI%(Y4nUXg/Z&QbKԩ|*\5E}̦V},2:x4g[֧>S!Ú,{hE<'S%TܠdR5>eGi7Z}"'`D67Qv!>ۆ ԇȚj!-?}PV179ۊ#(@qz$մɖ[ӐYΜ&#&Lׂ5mZCaUjAKտ0#Lxwa0;U 7L0UpCdee! +q!(Ngaf |ٲx{((I"ါNƋ{87!OWΣQ,,=t=g"/Z7 ֔BT&W 3b>ءeL<vp(,(53/OνtX׬~ o=ht;hU(Aj8]om1x(>!`"T]pό&[z>vfRX4~ v!mw!|n>.([^d!U )DCNҤY \wڟ[JJE5hNwN,#EJ >0(ږ,b|o\՚Jۑi,Хjt@?d̩LE3]ٲïASuqHN&f Nٗ*Q"ȓpE8{Tέb=.]8q=c']uD ^ <}[NM儋C? ?{