SQLite format 3@ X.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   `1t|t ] HOL-Metis_Examples:threads=6elapsed=17.079cpu=67.328gc=7.8647zXZִF! ]6]ŗXiɟ{=@Oht7NF힃! `G EEi}`{WE!y|\"}czέK,z H]lĦ}gE 8-^4Q$D:Bl#w\f1Jn٤I<<9yisJ"Q}5M=ln8y<"אS kEI[1Hb _ 6ŖfINlF#@ N14-.;flC772ܓaӥG1< AbS>s*d~0,ԋ]@lpe!>,\Eu~G,KV]DU͓JɰIM%Jr ޳/L ZM523-]q2 0EڝRSzMc ]AX 1 HOL-Metis_ExamplesO1;/ $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ƏN3L2D,@%<:921&"        8 d  > ` U  j %^*FR T 'lyli, # s.1>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id.?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages-=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup,<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files+B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id$<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages#:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup"91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files!?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.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 1OC 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~ޤ]#gYZ LLl1MA 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[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=s 1WK 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex7zXZִF! Wx7R]A-MՋhvG"uIBm5̛֑ 0I8M\:{V5f43%]D[S^EhQG`U)" 6H@xp׼ρSg8Rg*lu+]b_;8zV#sq̊N8ϜKY>^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!AhsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ!oz!rL~"A쇽0VʿPBv1XAv7G\ k/J\+(Ĉ"%˜\vT=BAYcTsGn6b~092=$Ir5ϐ5E1oXť7[Ui Q.-op[n\r^2s t-VLlxTD,Jg^H!< |=-;Qt =иm>uN E/3}'Y!Tt=f Aw[ЯP>fu=)](,QJOhY_*5I^Y_GK^Hj,ѨIDHM> )\?@"{1d{DEKΝJ Çm䧒PiZzq?kCvԿŠQ"s3l>7= `grtez"[>LyќTj_MLf4 P.ik`yj:}a&(bC"Kvu9U"_ft \zH58LU?3QJ"9RS/SlCQ Q62GndYh5B-D.䠺SDfG+%pkoFJhύ‒`#0=2O2ƂP Z.vྰ4Z7A9%DџTMBPPtW0{3ި+j kjA^QSI ly}2w֘ hEw[j_EV 6>JNDceU8o& g6:FUe7$l[:'.|r+ Y\lC[<;2ٙ ZRL&>Z s pC⒱,-!ϖK֎%a`Kk8Kng&TR/X(4RR[Zg@Em=†1|$Ee BOuW鯤}#YEIa|)Ab}?' 9~"W2AJY Z7UgHJ P Q%Zs{L?4SڰlZ6]=zA8|&;Gikv)r!,>Opy|Иس@-Lݵ"1mAO\ͮf(SsUG.̡FgCD}iw(mLDs^'{A๸g(bmZ*&Pꩋ?ŰӖJ% ea2j0§0j?x`!E5][5/fjW%Z5 ?*;SN9@LDp/ u5cSo^UNke }DOdH^t(.onAD. WEX'4w] WC9=FUat2jG8$ ׎ތTT_:G,\duۂ&\ZL* <5fPH')%|7DEFF]* Y/At&5\ŇԼb1/uY;"Nή?C/K@'1߯{yp)ddբ 2hw=c,L*P%?y7(beBK_cW fO aZ]W_39FF2[G+j,RȮ{i @$ b WPqNZ#}w'g1)APbsKָ?: I}E(;X.&\M&4[^s=Ias}IbB΂&IM L-9I<[/[l_F'rgXγ\DI*3i`$.}ZiZ,>ʬB62&rG"NY%kÆj{ ŚTom-D$x'7\׊gff )#)Uxe; }3XQXtf$"]*ώ? ~6pCMev92#5o#yf ĽLÐg4 d)d('\iղ2>=o`\$lZNef[ƽwrUaxV.||~\* ]v c =}}^I@CxḠg])9{֞o& OJ% `HJ+z=ߨ6 N.#$3L ^>E<˛Z}b>*v'Tee*/ǿ-u'66=#P!{ (VLۭɵ&Z*!<9)r{ü6y UBu%'v{HJ¦m6K&"zrN1,hQ5@AɕY)Xr5=Jt}'Wb]u,Jf>4<mW91,.M2D/}r[H~of#޻0{R xK-0VW'wuR਩Cz.DHNCiq%wƱ &_B$bЃj/Ճɵ?e0;SYZфAjh s@ũ^1PO=k(w dB.:f &"vmqs!ABj jѭK_?Guaxqw8aEE|(Ҹ5@Lë*^O[o~2H̰IN_?Sxle۳~ͧIq b)u^?ߞf<]q> i@r۶7$Gj4xvR:AO@{Y0vjUр6SL+ }~ƱEcC{0J7F`|6WSJ-@dZn^Qc`ҔqU&q@<,0jnrqꪬۣ_*]ԥ|ƌ:l.Љ'X23}ÔlG o AY_Ӓ`6)"6XVLE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>,(n":2ep)¥ٙ s1W% \HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxueՊLe|߻9 ̄ nXp~ #6+yiўԅRSiX2^;eZ)t&&jWѕdi& _rѦ1&sWk}QlU[LQ % oHB-+$dKl (F4 i.}pӋ|L36:AV!QT{W&H.n-i^5XJMYD8x0 c_LB8[&!FIN>-GJ &SuMFR:ՓE=*$; M"'/LoC J^E)Bk#Gl^zOڎ9\T8Lls9Dh# HNQDR{]ks;Ptj֍6 @۔Yq0H{ּP1㽡%碪`=3 G[5W ?TUH<-MKY6k\sWҷEc>jh! O1e}yyӧA.ֻؾݹ~Xg#/Vk9\J5+qJ91QW&2kda_r5;}+N#lJuu;V Ӣ/PHvQҪg}vj])0HLL-4Q\KtK X[ {V M/!OF!]C؋GGaozV>//D0*\'LfL$_ّ/H,FZ|a{G3Kv?u#tsȹO~r59w~f3͈/lݒ6Ah>H=JoaoUT*Tvc>Ժm;@+LBEwoeGݳx;5@/BЀ.^p@Y_K'xʌmA`f2Nq 0 $)XWaRiRG,l|5唆8cCH'􈔲EvXXC5RDbQb2r쫕28l0O[iհ?I~s,.WYm[!?s8ߗrr>ר='5s Wcj5OO!L3sl|jj 6ZW,;U@x@eDN)3ӎv "?]Hyr*pȿ)A#4HRҪ. vG4wIʛ:g,?#vf&'sk~14pi9:=MbUZyW6(b=e1*66xKbDE1HV jRY'NRBt z ?7_Y֩3.w0μE]KNkj`=4=&ܭB׺+NSӲAnEhc$<^Vt8wkrBvL.cY*|rKkgjx™je ̅EY}ʟI̺I>@lwME4 Bv+ʐ ["EjLq#ȘoEl@]RDj!='F^5̌Y ¹IA[M9'Y.h)!FGD[畾RrQ}c8`@&O{KQ{wN 1~6%Knj0\O065 ^} Φ1y:oO6{7՝7ĶAL |md$C"Ɉ=N^[KO*Qi/߰Պz-fWm,O>-s -dlGUG&B+RŠKKj<ƯU+=0HaYB5^ЀM$9(uy .~sF{ b0?~Eo6}EkU[~xr}o("ig 2O/Jlib%Y B-!ۊ`v7g(䉯,@H%AFVp 診ڣ(^9EqnzȥSgn& OZ[P)y ]| 45'h+,Z&˦4|1\ K 7ë-p,@gPj>?ĩoqi}1Fn`?T\,_ "WuTHԫz^]Pp.2FS̷ӔQ3+INM$>IA+LlQeg:'v] 1i&V :HsNNϓIݘ3p s{k8JCWD=b ChX4mkBݽ#}>|éFH6lɞjh}ͥ`l8߈"lpAa[.`{d(Ɓ\G'q85B= 2v azĶ=YdAwPyFKSqKwvq1 dR̼f{>fcYKv(ciS8̧TU\W5m$oTCGdzno?LT*?DlCςWLD{u*F2Iȁc<4?M-ú-ΧRM7 OTkp 8R.!^<]9ݮ,θy.}T '{$yul{>R[m$iBuJ:I[ j2mL%M{D"UQ}GC8pEċh!MX# 8B/,5xI0l Ƌ􃅣a/5WnkPeFkfp>IoJsUK7n2ّ'9}Fs{R^vYV0 k72FxvlZg4_~4P $隄"+}{{Inژw Q?a|sr n<NU\χ (ReEpj{˞zP/ fCWo>W^F?ȃ<ף˞%˦ =TD٤O0Uw(*TJKj׈'":4E*BUC샾;wPݯA=VUCWƻB V9:-= i#m?ދ-zea?w2W Y{F Ÿ\R@wt =TMYuEQd'zW3dȱE1o-X9&g+"L ͧj%gI3]̱)ࠃr~ʞ [iڄνTzYD =^,2~H^)aSrj]Fbnt?n/U,aEޚ< ^<(X8JT随 Vc*➳v,t1K~EanO> 4kf=?0`o e.y'VşL ȌuX; w3χlUTi|+ j#DAE/fzE݅em2yd8ԧ&3z2JdR7Gw~ iwXӗ.&z >Ju!}I`R:={g~;*qOnI^ўH@yX;3(;-T- 䍝) :@>UdL0(you FGDoyXmjM#jVlcn[a,) 99 in9I+3q$m% FCI5EA.dנM.)g7ٮ J%>6  Gٺwt=0zYI܋\!ci|HM{$L4!-gg= }-684*X":cPoyaVD,Y +6c"6B^04r\X^~PqZo$VV`A"a`&YrZư/ 8su2 9b(wZuH.w]Pv[ _6Y89PmYsˌa|@l:@cH{6BpI5bHwaG#=i/6};V*_ tAC‚B'wՑ-:; OMcԊ ̃ƩU B芚穅tꆬօ!$ؗ糊 $pF)!._]#%Ajm<{d Ll&W&H,k@"ACC12kR*W[$ɍRB|zOoi^b-}y)FyZDZ}#j0mC'K4XJ6f: (9{FP"~ly 5Nϭ_׻X1q7d%A:x;;bM\m{N7=oU"*7gwaF^n^vu~bW^-)"Hi ޗ.T7wdjE:i/Co.蒀٘MˡGﰳПS!'@ 984v.T2xֱ/dCm#j$Op9j aЙza-XvpglD_<71p6.GQ9~&/mp7QWzsꌱQ2Ho%bx_HveRA?#8Yhm3җbmۯ5^)H ql [mMa/ .3!W ]\@K+´3kÖSKz/?Q|zFh(^Fr+*դAVMFPo|c 0OpE>Gdz/tJR" "lLJɃWAV܀ZwA/rYӵIeTBG/9{"ps paޢ=/8?Pb)>Ts86LˑHp2: LJ\,e֛!,kENb؁d޿)6m;H0xKIR8P1ȇ Q+ vn%lpTdWP#0K:_m^;d"taߟ:4U84?>>AvanKz@fq3|ާu]T|TĢf+M&>EuyY|j=U E_[PfJY2*']Qy{ o:,2*A/eTr,P;֟ l3nq ?G+)JA}{SuvFDz/&f<ňIL'eC93IuD64WŬ4Y5wG4y ft܍Se_wQ AUP.;֝~=:µKν9oFS4?yjhs{DDթu{kl{I>wue&Pؚ/MhC )[/c'XNs#pi| Hgd}p풢ǰe.85//6yn)LP!5`CwĻzuJN0qka1ܝ\Oǻ= 5_T ,(NNrW$W^'ĿzXr\'JOݜQ pޑ1C] 3 GrXqYh3x=?︻gٟf¶iI8QK&gc)[%-qAwb?Y iA'< ā&pBL4=L3={l43+U Gj.~jxZ3}*ABp >d`,m)z%[F_{NH-:* Zޥƃ&>UAS~`uY6j<+(뿰 /נmOGBg9w5XQE7/=BxB6:"7+Zh Yp2!T.wqQnO0 Z kȴu]؎)&ZuK~@@sjwytY,6PR#֨S?X 6C»aLޡܷ#BڋO;,%06eq؎ 'G#:s7-$)8̇`5XHS+ ڶD;)V̄LwydK`wpI>KbgYZ k*W9l;wX+/ՄE* PTyjg{y rYūs`DW KUa"TkgͧrV&E Ū+0?N6'R4'{;T!31.-8"c݊ա\Da걦|geܘ[mؠq!M7(h;eܵjkRV7VTzz}mNNcih-ְ)ү99H6Qxt{8Yo"m*b+d_E굖v^`6msglZ{N` յ ;Tån /hO\8=H0,EǹyONFEE66yĞ:@wo pb JCs{rg *4Ǯ ߬JJHomGNU ʩހ6w[c;IE|4*a$%/D`CÎ7?bDո'hZy@q3aw릚l>drw2Ik.IzOm\`}ܦ6WO;4Wa`9)kpUh|-'(t Tbf5I,<6@`F~N$Y! xd+p)dyDnY (G,YHcD#-zˆ/$5$v/#k!?+>XcC`DٖYqBhfVjU#:~n|']8,RU3S.0)/3\Rb&ČzԆYŸ4eڊ6SC\t TD>>\iP xiׄK13h)T0Ff@fC/} a4NqӍXSld?k&^"\&7T$lYlP63P6^}'G<8G -(>GHQ'~w/7-(#+d;͊.>\,CaL!ku P4N 07O}bg`!U dv9/Od1Κ h|(olWSR5qzzXed9o-))-y1]K t,(XzS $y2=.8Q$Z^!(YSMf3xi$tlRiKpCf7ZHf|t7<: !T\4sB},94?pJCfE E?Z v%E}NQ6!l|xwtBG'Tf4WMBHzND+VDWMCZ9rEm|7H;{Rw-Ez@dvm0t-K49F3M\\0JNBʸDNШgu ,I^ fF&(ff °5pzA@ҟf[mlW/;B;)]zQN#F]u.^'7f/ة+F sFZfu։z{>Okf!YBm)n)4X*9Z@ZNpgG!_Mw y@HݗA@&(s_Rt 6:]LU~1yg*)ǜR7G]aha kD^(S:L OZr`NV LDϚfggې l; wce-ӇQ`0_iQ3s3s*?^sExlbҘ&a?$BL.[gZr^dZ * nUNCH#l=bG6oGĮy A:E8<͋De _{EW%ܘeR5 ~3~% ~~ vP.$v,[_sGs}{:_ÛүO^SCXŶC/qG4w_ TQQ%:M9\( ;@bh0ǿ'oC7|lk{Q8Q:r>۠WS dnR5pUFҰyKE:;y{[$ HO.g Uޙd,r"zsEʫ#שk8a ~aRo yƢs[}32\I#}K_XrPQmKN7WU!6'I ǥT$u>)*IUpvKa]p1:uZY}*ږk8>ŚkC6{]}l] BrGU+]0J["'Tb]dQvxkj!|! ʢ쩩.6}M`՘^X'|cTg+{̮QN nYk%#JJ,74k0%jA HuJAptBs\)e? 3Kg}cZ;2¹ I 60 BϻmO.rTL{}lEjsY&өׄ\U`eDyjY%TIHonȟKiZ@-&1Wی):ڿ"`=rѪrA>PeG$]A$~_ -pn2K# OВق,qS ehU} *w4vsDd$joFӻA!@``ktgpXvb`}'/e"fK9{]ee!G^Wf}"hB^{<=)-@l(m{O J5h5ǽfھBAl*ʠzEuw" 7)!ZJ0ꉭ0ӦY,M>%op%peC|b(rVC,R4e#Xoa|R({X.櫄j/ ~TxzCX\lXPh ,rK+B:sW`( fJdzɱtx)lGAr ]Q6{yG"K<:eTuXf^o/2ve^ B 90QPxΗy,d<4xεzU%>#W<9 5~]W|sVw3x?ɡc0:XVHߖa'&?snZEV~uZwPP-!)fB\HsbnY<"7  ]'b)UTqF' ,W} r0sc#5.W\ђXb#XVQ˧Q$jiGߗ?0R ײ|aCwZ23kzěN;洛nPdA [n 畍Vw%]Bb9e>dwS q), NUߪI&rm2œA5hWN+=?R?JLRq=!!dka'wX?&> *M0IO7@A s,dԥ U3&jC+Piii3Tϰ:{gy*(T Cef:(Q&5=]z{`Bbw_*µ$"+*y ܈ ! YIo]nbeuxE ly&5kPY6W[3O(0ڰu03yQ[=FDFA cߑL\?T+ `(^p)zv%Z*Nv)723ސY3 K7֝&',"WcG52V;avGpT!um6i,sDyvD[3Ԫǁ>}W&rWqe῎'1btw&3B7&vE8nh#$Z:r JR#FSsE<:KǮp> [!W-9^ɡzb~2UXL_`{&`{L᎚\JV%Es(Nng#r $~`n b|9U)r/K̓r-_\(5͝$bրpx ?/m~3b'mL6&U> ל'*zxciyAI 3V V>^~Tj)3W]P5/tq(E($fbyƿ¯ 3΋wLA WWE6zDvS,=Kf^cNQ>^>Y$(Ө협,W ]%9wljZq]ИU ''Vm(Ɠaiu79xa!C]݊Қ9S:"HP-FL4Ӓ IM`+$(njGYM ?b<8TǠWbЇ9}AUC 9e\tp#d[G-{jHJz.ٹBTN,:;_vpA O0^yөWk5GɠBqp:?dr/gwF9d(y U᧕S|=-º޼TkI~AӼ kptے <*0/NX |Z|.8!g;e M|.KNaIjasAԖIOӎSmqcD)`&* Y2 4G ey\'T,Hu@OB0!Fx&[rwᑐAjkf |ݥFWWj7bt*>k0n;RPmz@@rqReB#j1qMw!#~ڑ+{hWpSF3 aDx52=9>Ӎ,bnYj ,&5o@K#H4n>Z)}7cR &!Re >ր|<5Fb^nl+RF(+`| ӓecM&<$嚎M,qBRV*&h/qP|'gac^5w~k~<żfzQ=y_~ 2׉۱cϦC*"xsLJp7Fg?spidVe^U9F);p̬{](`ws*ͲYVO.|ӗxE!0I&~a(=ئsَ~RtI:3omVf=gi.YEOr3M󋾪n`ͨ&G٥_ƝvE[F ap{Of=z,ICcͭ:)G0WeyAaYMж*Y<@CgƧG"/5 A4jƊ$ xի&w㡲g|;H2zKsˣ)a\(#XXE6 d6%U ]I0sM6F{" Af.6#[F"dAvͯ. td08/n dkb,M){M5~ۯGܐ;P8uhxu/Wߏ!rI6l1:8,' &9L۠#F (T)2 cYoG9CFhk`Tb?I׮`|]:PO,1o.֫%8P*yA\CM,@y9pI(R'Ccz~i*ѬyYoHܭz#^B춍n :S{vwB/ u}FV8uW4QqjP2䄇 A8ܨ˱9[2 YG^3;Ɔ}Tw&"myA5) 0RFB''~yUXO-Y@'-]4.@P$g6#^.y@5X|mS1fC{\!YYaLc`6/Be)AmAېɳ_20s#)] {@Gz˝:Oc@ MH[iE$6y#TN}CSs7tá-K;hS>:2>cb"8fW5?X *7 Z9Ւps֮pVpFJ$f4VshnV.]GEc& {Nx4S̻Ȯ"ol =eK\~RղaH'S8RaTTȟ =/sMp=߬XazE\ˋJ: Fhy-Z @0CqaEhNDeOo3"z(W- ?9yjHҟ8׻Ot` ) vUu#"W3\R-%y[jw.`)mLu^>Sˋmఌ;ݢڱTY=K+K!v%#n IᲹp.AF9˱knMkҢ+ފ@ s6i@bWbTOUߧ>nx[1eLG6ؾ\0 W"jC - !,67ʉf"9*xzq<(bGd]K{gwwi]~貗[VWlZ"maA~apN%c~VY&-J7[<Փ̴v beO?X9AƑx I ;Rtэϵʆ5+xh4^}xm\d=_c\^%ABU5Q5*,+oF>oM.-a8իR$;7Mèlm}3uO(G*mvʕDBXs"ڧ1vdP<~9u 5@kMՏ剆ɷx){˞@,%GX)~؀y[r'm)l^̞uL1A:U߰J}2-tx EI+E9fb} Q_P2=z閡9$#*pogWvE~i C^N&Hd!}ܼQon# wnG+{;E²[eWKl\~&(:xnѶ(b[l&U3%VR=aV-yzW'Mݼ/#g sGYn^MF#2V3#ƹx`蔺۰:DaC2UD"6W\@Ka5{a$D{쒄7!z'6$?S居|Ve5ɣZa_%0niCIbԆۅrpk]hom}1 +jӤJSo4o w 5ǯQk^42XoT9x,XPFW>[(1jy?~4#> 94Ё9z}2/C'mdhnwW`A\!%Moj7Hw A,J$\錀֡DnG]WYT8$<٦9CZK,[0,  FvMmnI?I7c2T@W '{!%܃2xZͽ~eLVh}1ެ;L+A6K4OÏ[R>e0A" ͢|D,de }@L ~=v6sp}:OW-`mt(* yEXy_v5iob4-4ksmqt*?fҌ29g=iQAp)ɞhtH9QNK=kCbG*z}F瑄ݡGQeV|*ً2B@ {3Lϐumt{pnlrgYZ  I I$ 1W% E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4钖A~Sb{vY/)S`EzAW_zbJ2[3X=w'wfTT]@pVR?*=Lz$q13x_~wtn"<PXHg)#ZtH1"_ d1E"M?ד~^{:6+ l$)F0SP,{ƙOpO0}mnXƔbxlTo8ԗT7ŽSC8u 35+);u*c3)C*7g6PW聘9?waV Wew'-kiw#77hAN-4)/CΚ 4|8Sr:BZJ!JyevvK/q$mXn, )xo4-|=sB{<:~Y +λ vTYזC+', 9Eو90ׇWP"+9?!*6ZL;{uhp͗+V=*D Wd&rjlO y`T A=Ն# ^E<`%ym.Vi tQziajGkh!݌>l[7235דGA ˳H?Fwϩdž/ЪJ!J@S/f}?UnSrOOw%U2*ߥ/WΦ`pRyפn6Mq`s#}$OBr<5ݓAOzXy#]=qnQx10PԾy^^oMΈ/ȋZ*ONw!fkL`sr/ATps~Ɔ"XM9~? ԮPCw7հS(Bx;Klj՗xZXϭp0K>HsH FԁQsgC\xZ4|ՇsCAفLcP:D|qgnhq10zFC:g# ʨYiQ ܯFܜS2ӪGG WhpIhIp¿ءl1^$^ wsr<5'bDz^c)iJ6f1nBiۀ*6Fyr')~M(=aL`M@w|iC>n10(ۭYi d\HŲUd]PtFc'۳"&ICνf->`o 6xzt-n{(y?RhVIDe(Ï,5j֦xc4ELFfRC-/;:ʊs^se0;6irT^vfYG rsޝ ]C:Ev7kOj5c&Gos(j2;rj+ccf5G0X!$o̩:1_7Lg]/S>nҲj܋m8]S N96{iLT*6zn2"QJ=ORA!=S_JV&Gqd _>U 1Ҋ9߽M6.]rY'+Y5\w"j".Xqk_&T7oN 0b'CL:MÕnIP5즂83^38('CeF+:U{i}FV'}#㓪N gT{Etb;XGdP"JjāOEIa ݬ&>W2sI@w_QGG܉iN˜y_}A5N],1}Lc/3KWm.؟3&EU@ѝk5w2a7"' GO /qbzB=C|:dmd 6˦!Z[Ϳ`MRz:Iڱ[z!ckƚm[h[lݠk2X9LD+E2eG۷Z 8I. eBR=/0x뀞T=jւkµ E !q٨yὈҕvz*w#=A㯟Al4 GH襞s{3Oĝ13րc|8k"bbX+^y_Z[ilk ]&,l% 8oF-YعO,3nrG#VZ*Jw/N*>p\w$gfÃy +=~EPfu^c&e,){]7:?~;=\{.:/ڎ9jWe+տV:G>gt伺H~@5]tE|dT-pO3\[B|U7}?L8Z G(o}{ưwCxDMG@nT-CVqMW)5r4&L1gh/cZc53 TEӝu4Ig$"[jQ,DV5#փdqp1AY{A9 *ĬavNkuWM# Eoz0L ?*>̕z:99ˮTϚ69x}nOd+P4n>i o%7TZDpV6Ƨ/S7Xo0ܤlE>u -1=k#?B6.6)4Gf;OEVAF1uLWM^S13,9Mh#K +yQťv=i 3jtx@tP`]"ѧs =49ǾeP>O(:tYP LڏF>b3丞Ċ1tiM ʐ#ͥ +wf !YZt3+EB*;Kt ŋ(:cK(R. X ǝG($aA|#dL>}~ge$MXFPBEyK:Ar"T;o+þ1RYفES u@w4z._ҥBVNz벱Ɂ*^ pWinHXs Ƒ~ՍVNنjHly2rAR FW7 lƶѠRSp/_vy,[QS"cno$,Z|p6RQCozqkU {,`\mT Y:XG RޘyS<'o!ar35p C>'b"z'$@ڮ|҂"ۺXE56TO(-~`2f!/EG1m[^%F3IeDQQ2!e+S{+?b i8{&cj<ؙgῄ}/1aR%YO3eY(Fy~; KeƬ+ L /G?--/<6ZEvq~%J4xy]z}湚(ǥ-oPߡ@BA1#D KYtEu,# =HhĢ@EV x?45jOC͂朞7#C98骤z9%S}5e!P1$-kdJtSH?l %\F)(TsNB!4m"vʗx0=*Vaf c(ᨔm_V*W@S2HU)TTӱ} r;|qeCڂ ^2<ިpy<\IAZXP\O*xFڞB$9o/IɟҗӠǔ eP=&JևHj:#ZVHtF!^eQ7bgu';9I~3_lNhx-ǎb!e=r[߹ =T8fCVx:0ҹL#n[q ٌE:b1ȓql,@r//Eez1Lmh+YZR˴ F\/'{B6~g]}iVwUέqn6n䄄 "D=f--| A=gR/!TJusQPq 1c rpS@¦ù!F'w皁-{l+&=K4TL@>쫌9D_=f{Ajyrcw [h:ӝ3n/oB0Oh ynk|QJ^՞[@<|yn#x#se[&8;ZcK@C-Rϧq[jV dAG'I/4t-Kɫ|0D;k9k 5;tC*juyZz17\D\#L0K?*$ڴZdӺJMUX/_Β{V(Tvud3Ɏj?o_գ'HWJ".]IJN~j_o;z`KIJwVprXP2F'Y8 ;x&+RiHPl 阡dDT&z)rm&@.&8i:*SYI6fМ%1 q5wb _ŽkWi/.juVEtNk!%b'5yف[r ;ꇬw6iN0{]~:jC'!eZZHKGc+zJ&9:S7\ȡRkމN< U@%<I0eVZs%Sw)a@TLL:Rk35Y"tBJ| q0zSVF"Ċrj`j:W0} Y1͛"pHBf?&,i >sVV'C=boovQ@]_|s?QZ6l(/>L)JIWWLd]88iulj[v 'cQ39+-D \T`'s{!i=N˰GCmX>S{2(h4c%ѽf6 ^ o87Lr6d|AboRs(=z 4: ftS\ULɢo\$2/fb)9MZ5 ,q%IGc`~w.kMh4lV76an4e<[ſD *bMf%yxKPS% 棲o*I][l~mś♙'ݬ?2Y阹FjRP8lL^_ YnASrT` q|&nDr,҉E,WAa_zcv4?FYJ3I`ʕCQ|e(`dש-%SՇ\qts#6p$56 _U + g>oVƆ&zmnXiU ;|^$fBS=.pĢ^5)8/)JP/ܜ[-uJ,v禲mE8$%8=.vVw$Jyv#Fm ;0szJeIԾXJ^ty&1Xg[vu'0iȒl =|8jHg8~'Kyw?$ -_&^%m֎nJWәշC5o_CYTzhW~?N}LrTVG\,]s)ȐѺLU IG;?fRه4Bn<'izȏQ [CjE>YaxAwGARC})C|@cĐbrK^^#?OÊzCK~R|4 47J z_Y4Lid[W5_Yuk\~h=)S; IjFCK#St5\M Ke|`r%lR80# }Aq!nRQyCTR-0\1 L1NfK-aaŻM;ȳټ{<ޑՅՠ?ֹ7uo,CϬi#`d-ċMlioF^Q%@1Hͧ4V Gnl}kV ;Qp<16"Kfb<| 0~ 8xKΖr:vk c N`nI"etJVo" e[Yaokc%{5jHCd2￾? Hu5RM5-:[k8j+5")yaXPs]8 ^R;]_;0 *t Fm+`4JQGQ394*t z`Y)Q)=Y7?2SOzY$fVSó=hH*`?űDut͹7{YtK֙˥>0hxC6%CikRМLӗ2VjeZB`iw&)8h 2^S~ô̳xYD\(J#1l4ө1h5#P7Sg;Kz֝7—rkŬ ^ %C8 Uq)tW ɮ;Bu5lZ2m]~Y44n|tZ0-oIď1)DOÇ/aAE\زSe=nV1B fP绞wA\6nbwҜl T*ĢN/* a!}TT}vvM2|+UhĦPq͡txMC v/x:Mݜ 2vғxY{7nV?>?81^( .O?NߪX%x!!yxrֵU؀K/TZC~ClSa3ȺjVr'ZznmiTsixHvMYQ!?⥻I5gc 1u| GF̣!.N4NtݼEjC]$Z: ; ">*F5HA(]NtcOlqdT޻ؘot#l: s~}εV2PBi51,3P`cz3u/nŒ7*T{mAڰ mYMCL_Q[8t6PLpa 퍶@yU-I0u&Fj*ՏsIπiGsT]Vl)Thq"U!bw DY.K l/YѼHx `%E1IRp:OM/2Zy-"fvqȴcmvc/:_> i *MW%]M `{]{e[8 |uv%;#(Fqùwt8z#)ѩǥad)YnSDA6r o#Ox^=5/b4<& o@e1_ey b_`л u&wLL:s:vw$ w#rj!LmK#QM&yomd8yc~p!ɏ5{R Br(NAruhqi%-ka;/@ t lO9hhH:lHN_Q3|^/Ddͬ,MpBED^ߪR /aVj7GVl| zC] (:L_oM*0243D~9"LF2N|Y6Y||Jj-ML~'?K K$6 ӧ0ԌJ X gMb2M&FEUM\iI إOWPZx<w=!. 6yU`?T#B#a.4g_UTeҹr$= ?YP|| 9ޱI|6%#.Jm`vaPHVirԍZغu]ԁ?FГ/2}Nꐜxd0i[#~lO qT G&<(@-ܮlCƠǸ<|ZkyeLck>2. /[g~oىkRLfF+  UcbF1FxLJ+nqa/9R0-.v`WB|-/GxxQ֔V@ ߚu7 {iQ>4rtѵ U,z¾z-jz@oLwI^D] 09V#a`FB#ZzX.c{ E$4c\u T uK[OfVMčõ([~DU\:oqJE=ɂmT]<u *&|3yp5*' yq3z'BXx @d etZM=M[#jKmɨ#:_vԆv"EmÎ1b!fLj*a1=%ܠo`cYRnsS6(U񜖻Zx':3x]]S`̰>ꐭݧh\k`#=y(ޘ_  xWR4g_І9AټsdL/|<(A_0K2_w&8:A|{!@ Ks3b1Nu8q|7ʌ$7Q*iPŰ^{vIgדug/"'ԎGYqO9hL\ MU7El 8Ѵ8zpb䨷Oe0$slLfcQr.gYZ ee 1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&qs"itC5kY2x30zm(X=:dVZ2L.":9<}g׺_53 Bq(|.z@%Fkp0_X Qiu %S|d "<u-,VrzxNG2mˤ}& ;b]<{!{N_n7}T|n=e]s_Y+\tcv@@Lb+#aO~I pBe V,ot/cT=^Fn?{CsYk_L#?5z8K]wBM!tKOV*Z DFaYoK+JLvK90x@I_o (?()R\nsuoL(}+F,AG܅"sؼC`H%̗M SG",NKvFFRte5~a@I ِOU B~Kw{~g=y7RA8ɪ~ꢃKYvPPiOda.fΑEyO&ұ1[K'rxKS[x?PKuo(י ζlWzlxcћM]Gݨ=_QZ'%}H*(Zh'`Kg~4J%;I9~Es,mY+>*d~8Am\,1Օx?,)]8Wց:14JHpe:D#bޟ6xx$]Fȷ9@\EXusҨS/-Av,'0yJÂ&OJES ^.ҋk$Z}jz`B2Xy7$%Uiky̨ҏߪ4 |žv5n@"nڠ }oXm29Xޜ|{9gv!TH< A"?/tu? : 9D͢ à/If \#(Ȼui!6[~X'lųQ65`Cza&rTOq-|{+s4+ ה\`hh>^uIy:")#_FdK#{D+`#'YY0n`]?*62c6.mO؎m fRsLEbbC H 0iTn< ,sIȢ4Wznkk7:OQ)Їئ@ xaU,az1{(yna3])نu;挖HQ9Z$Ӣ9fqVQОH&`); S$(tCdpVbVL\iDeJY:KȎXLm e*cS6&Dj݁;q> /P; &f4M6';L +-We"Mx@)I_*yҊج;w9 K+o(>\s Rt8K v;r/>4-2ž000{JܢiChb e 9ٰFJh5ؘCסԢn"Ɂt?uhyx%/cڻao6/dsbg1$|wnvUZZb`APp.`g ?G2PA~aAV{56yH~4Q"rOiHӮRP`bya7aYuGxCC^p\0ARS:5?_ ~]ݯ\!^vTΟ;w.)&7Y֘!ggE; :T$lVKGvO<5{2M6^"?~+]8W*o>'Y?ͶGFfot.rDyPnQȾ#(fv<7h\#{/ !Ҿ 7=!׸n:Y[A~:{4+@vl#lH"xM2?I̢r^(u Qengܖ<^v5 P):*Q7jLe8_%*G\Zu/18yf`e~UEH2ʵ<ѣ^ׅwr7CEe ; ƘcHg[u T{y>ͺ$vy:$'9}a˄JQy=6.m=-)*vVW/ܰ+)-{hHJ!]vjΈ"t3265eUKwj{\sAxlB'}k(Z""*UD@$A  LSʎc'I8kuEU2ڈryfW,ogm$6*q%~N<$zDh -:lD\u _@ ƈM[d&" >`[i2ҤuKjv00[V},Sa"6**m<rF(f~sQd%~3p9,nɴ.D!ÇQqCll_dx'GXt'B}M/ƙw ~tܱX5O@ ݡh"{c7g%$XBְJJo̪7Hڹg֮ctn^!?PPI-Z?J\>ڼh.UW.~k EUuQ':y U qq{,yqBV7{q>xzџؓ/5t]Nb31T.WsNC]5,n>Nm'xh>xrV뗃Í%\"Rr5q򹡙CJ  O+ɄxDH7 G0h<ߟ!(U;8IknuE|noC#ƌ$m9S6w>6MGb[kL05D& ŀͷ>DgXgm 50)`ѝp_ B10AH >ո@gb1 8-## Qv7LZ".'BO Y 48YfX:un3- `5@8F"ari%3kډ͵݀Ə[[d7`S;k #B h ^0MdiØ/50C&h|HeдU7*e4~wU- iXj1ucs?tg#ըȱ@Խ6)st#f)=*x -`7ҥ`)ߕg*Ǥy~#3Hw8C\YGG*|s^iԷɳ)Ēx/Sϫ }>t~DoEp`6YCިFaaɓi'\!@=Y-} G"ڕ`ZTPYetN O߬yRy&# A6,Ty8+<^0qPomb2Fn`KPb[I֏2{ 1ui1)Y=k 1)o{ dphԑy>ɼm=XVN j!TZhIGwH}~+2~?Z?3x::ko kS57".Ot.ՀL?եf$!_IE}OEVq@?g?~~ehg=z~ׇ{0;L[c ?X-ϗm)ˆTؤLN[S}oWc ƺȔO!15 ԓÁڢUFß\"_AڮaMKª:j=uHK=mL̓TfJ֗ٷurq@qX*:cP_VmkF]>u3*5oJJ 8|Y3^S@D,W&; Iݫ;iRuZ|3CYR*ؚTb6HmZrv LhIZ"k<8= B'0ҫri$,'r!"8H{k3} Rr?򤋕G&?T OECO›vIP~(dQ1&1*<9Ajs,$B<&N~|DPT@sj +qX_4<2[EؽA!^4&$e<+(n]{p pPPpaPpMRgS]3 jS-JA2z2%a?`}}\sQ[[{%~lZe.2|B7TO6el}~Շ0<֊!b]E_qxp2 pw4p{ʽh3?7]qw?9T+'w Y c3hLj ^iօBFYN.az/?թuW6-'mLU+:{ r8n]_PF,gQ2[+K_iVm Z,OYIzظ%7cdaY| \<`0wlP)i`b/o6X|-)Bz\{P)euQ eȔ3=P^%9sWey<*_djx0|H[\+=|>eݑ3 DwK#lnO#ĦfWsʹ!O#mK&Jrwg 4(y9znR)޻Nꥎ[u.Ju;F͢}^`_{j/݇>E^0G 86 D?i ن^BDQW7ac(Dee#[nO"}+6/@%Rr-U~#`flGkCWZytNH.D!j]c.Ne`+kDZQk$]x@1Idkmb޲^z&6627sbB-(0 /fhȻ}7 YH??I5 fKvA+kFFR7kIwʿk GN"4*>J%vQ{l)5*yKUJĘ"=%B*3('yV#D'zxv-CR%{@ڋB4S^B4s A?F#w_qdWPJR^6v:+yE-HAA4s̼4ZuLK$X=XnE0> I pRn:e2mv1F`cbaoNvouN& +Ht*:-gV`,=|[A죇ė&:%ru5 b*|* 1vUB!%sRtp E˶ ul#v iuX,d"q1Y#|=M.O\X/ӔWtzj#;K_ͫ_7F?;%׳MWY'sdZ]6_׸g\jn:7ڳ63(q3L{5Sg!PWC\Dt !z2wtd a{`*PP~;Ň7f&?N/ v$ԿʸIRՊl\%&qGY!S7/ܥ?ATNpT^s.vs_^-睸/љR%,&&8_GatZ(KNG i ".z$È,u4%&:CզtbΒacPq]Vj PUϤ^oAn5-snwXP+[- ŽڏYV_hς|Ù QCk5L7Vz}Nӄ_V羐hU;,ઞ#¤{`+]e`>$"!Z͹kE0@GܯՓ|qܪ'4iZ?wtl116rC6ZZ\"F nФ،eNu=U3pҍѫԕ-jߕ'/T\'̴}se1fBv6@m48iEdp eLN~quɵ՘ W w}Ob`C=r8zCPpCW'CS2=B~19kذP-,]"Cwp|Hf\6˭!BZN3Q,kZtYxLáZwdr9.O%DZ2_[vd/##BȗMs/5JoU Őuywr+MDziÄ&PUEabam8okL˿JMK͑AAƒfPh>>Ƚ׳-Y']J48ԩbj0ԤF]l[F6 l_2ۚWk'~PE4ٿ@mRwJ?cK/fm!K$YEljӱ!ף%G^?33rLXUhk 5t0~-n.,t/}Aױ,+hdO 뛦#}:yESG,bܣ& Р\k[ y٬1{ބV\\{ՏQ|E@4061-r|#MFQ1ؐ/ͱ+ʃ p1&HqŶF>7(ohC^] . \HevtᏹPw]'w?ڊ~}#U\>UÌgCy`\_6vj?H7iq@;`A@J8wE wȰI8%mf[5r4d47[IĊ쨗&=Ck=ՍǷ5}lhx7' Rj4HЍjRlH K'-ڼZw_WSK7Y:  AR+*5r;l8 \E Ř*HQN; վYC/nM* >ef#LQ" Ye1⧘7kqg._xIB ˅>zџTВ&A!" :OJNE;axFw+P41Bw* ܿ`A<`-S1AOfr~&.Q8>P4iȓdXM[s(E?D-ꕘ]-)"sظ8;))xg(aC ߳@G2#$ʧDD8'Yh-.^fƷxhDךW(?ηvۺy/ȅYv<} jGᴅt?{0 :H3,y:< O}؞#DU@bBvg hlyJm/EY_R0s ؎T3G$%{)F 䎥ƻ*#9#T"qԮʙVI"F2 vYUzX]}ƅ^o64*+31U/z]Vz[h# {a#\>Hҥ*븪W*_މ7u";Eqq%لLQȥ=Kq7C#cx Uޢ|w"qX1|`qm hf= 2s Vhjʈ]}K736<5Qrz'W7N^Yewgx@˅nZNrcTvIęQќOժ0 ˺gJ׵M2+IPaq_O,WN' tnJ`';A>w#Nshg8[Pwy5QK_{f̻ taҺ%ڕ0;b6 Euj`>I'YG0gȜ+HbVq6K%arDNoN9X+b^ \tF!g_dS`hޡ' {zyw6ij#P +CPdxiV㼥a+ "A >uVxI"HI.C |﷖e&u+^ul'ZkW9Fʭ7VL曟8cjLINdX3+`}F]bm@z65otCJ&P6{9&*#*r  @ޔw$=MR)2O3r$7GjRn;p1]/ӸQQuŠ܇!=1y)jX++>k*-#;'"ȳ *Ak O<;衷WkFq/T&jsic"am(ҢO;u^Cwp,Ee]3j.OKp$Ki&g(f_~äo8uZC zU4\ i,0~2TnHLL+$ Q6E*_U8{$ ȑ|v06ttZOq@ K 2*9t!dRVk0!N恦 N w{޿V㺦ji .zoT::P"0d]RX'F s8TX e4+B,jqJIMڰx94eym8_SmIlJOy)5#|Qv+XK(& /ww``e`_[HN ; u3bX5UOyDh6}C`zL$\^8#ZXJQ\^b%n:К3j_:s1ʏS

E!;a㓂[1\1blsczݪcvC~f$\tZO͂>c(xיdu_X  dp\hrt{c6n`V):tYH5gWIrGr_[)}! ^ 'Ȑ/·c !u!/kG^ldzh͢m'@'ҩ]<f , :`YXsfK:U[38Q6/xM9eݰshSM[^nM'"w2"OT+`DאZsОh}p28܅Zn@3x4UURQa:\g.WBJO ~ ~L]k>;_ D]C: J ;/F%,^T_]_8V"tZ:> L/lf8V@6iƒE!nM@cc谬dC'|bN]qGZh L,5- F27$`h \AM#l`/?r+!`RkI:GPIF|?\8JdcȌ:0$ nW|sJ檪Bbw'*[AbYmCdʯTMf1^A-.,AQꂀw5"OۦLLUW6Ԓu6,Lp0;Z uZG.݈{!-x ɏ|&@eŃ+ 1ntA)Gq%!L"T6a ekj; "@bA}Sz::i)cCL^M5v֠8Mca#8!\gbwtA ;WO#AA [ mEnKQ4ǰ < ;mNw/O-EH4'gzZ=p o,0\ KL=rZ5h\ɶ^gnL-Vʡ6ґ"-)X'#o5IME F@c,ٲkUw{{ ˾bCM]sc}|>~)-!ڎ14Qveʰ o \ 4-'L}\ͬ+ב :oÞZ{xv5[ ]JgqR& Nh+mZXR).ծ@?(Njy:aKyHvd!cغ>3 PJR"A ΚR"eRbs{87h۪CM9Dk~(ބ"jROQj4̔3KhYGVִpUAl~=z99N>DWhl-B'dw2jr3V49%ZUO}J$́Cx.&G|z0ofSC4hsmy5!f Q!IYNWEN{4M9+TI2&*(Pv"D%[?z'#G03#\Zٹ1ꥐK}grOAVY=4}bj%00[.DN\񸃭B,FW1z B(:nӈž7iXa /*1h⼐ Q+,!IrlrFiKe-<\`"7vr4lV\T:7$(R%+v5P~5m!~T&@eW+oTy| nA*v:-$Xw~!5~yMKdʹ8ki lC! 2[wA,) )U:j[V#QGCM5{иoɶ2]oXj\3C)UMٵ?M  SZAQe;sw!^k2T5Ĭ> E{Q IYenGiڥ5@ld˂j,ծ^ak2Vg2KN[ӗ6vP/ xmceqmpҍMO>3pA)[i@Sv@oǼQo*u G,iW{5ROrF~x A᳻j1\t;pyS#WUau/pBFmm9TΙ8L&:K@cdD/?:ɡ-*!DɀRkwFs9aރiz͢=H1 ޔז2!ZH5 p*o,,uV*W[Y#7{*]pO&oi$'`GPMcۈ} K%a/J-UuROBCk"x(Oc1U74FDpIHJHtnԢ~Fkc-N*![ƀ\P$NT>~.˂=ǀy~ `C&'^v0u-a$Pⴳ}vnV]S(@NRHw)(Z7a͛F,‘ !1UC-wݯ%4UdcYup~W`/,,R9mD ltvÍP'2Sa ;$p luͯ7X^tuCǘYpv4*ڂ\U-57il0D/ˋyTnD'ȴ=zV"OC3 cb9]h9l#CQ @\R e=c[jocou;r9&a]DD -C3Rd"M:v3,L9٩7[=;<ŏ@nMB/bYܯO*zl|YvLP, l 'BQ$Z.0yt=+5gcpc^SipH>@t؈*!\HmBJ|PUn@(V; O ]]tㅭjl?]Rίj2FXEnRu bIJm0Mq(W% .ړGy0;l@X &l9f)P]s9+erՃvp!73qnpI\Lw@׸IdYgR髛0DP%7wQ3 ~[m<@Rܴ=\1n>U-j/d `̕@|hׅe\x!qö0+z?݀[\{GA o >oO7dZNM Eg#%$~k5GgL̶;d~ {aVW!IJO& lP Z^wI[Zyec*OY:MMsHNo ԅV ړ%Ke.)WnSYGChN!OH~5c9-04kh=ƔX% >5I`@@h:VX|suNk FRZ ԇEDn4@TtEp{쟥bU5/hf?;f^*bߠWA>?R(AvD9@xprnlKϥ{> Xiǖ>.)1͹,.dHzA&I@ر+`0NAġ%uE>d@C7*QB mޯO^8+RvIVoJI>Fa\lEdmfR2c |:C鉁By^xv^A˽ӏ Ql2kF|gK2+p)SaA'@Pk6vq՚MPi 3(X,^ ^2BO*$! sMeHWվI?Ģ _$@X5+X挛itI~S|0?ꔏ8;~"Xnx H |J7j"w -ʼRV]ΤIݪl;Y9S|Z9j_ y?^}YfB<(pe{U@CQ#>vtZ텷̞l> I('$ T}k?1܄4}f %ͩWv Q i}UOw-/̻Zrc Қoph2!h!jxw_^IRie==kOYN] K#jȨ$9J\'xdaYO"}MD [;)5].Т)Uo.W OdB}{{uĝWQNH<} ך6GnJb*ɞ D ^g#DVSqv骷G< B{2e"THZ5 zBO<t"DmN(N "r5Ig*~Puv%lj|Fki*j%EkM[x7v:zUfV!k9Φc[dMp  BIZ.TƄiŷ ~Z2ULNAL&nS.|da9po0" jMJAܓ:Q}#L#^ ױ؍ZnJ\ކ6_ ySH*$d,P"S-V^ݹ4g ^]J4ivRtc"rc޸|[/0 :gcڡ(iM@vtj)2%+sv)lG["/LvbN?| xRmU7BZ+o<*Y@ޗ;;ԧЄYH i]#Ń5= 4J䑘PO}a"yr.S rtnۙ'}gJ`cؖU/`=Z(EQ9:X[4ByXl.v۞TmޘnX^ph.Veץ`/~<H#tyoh7^ U\^L)TD73qdH q0Joo;p`chT,]MWzImP}WΛ銌2V"M-8qvIX% `2y~^"QmdG/Ş?0*LQ mWsRaR1ybfFcĥs&P#gV# ƏB ;,=poIkӸcT~ociymݷ'^{!%KBwͯbw?4nB[r‘]q$.kLk22=2tf[GS#^MqכU"z0RfWT0mXOtÉ!\_?$kڭ=KD4wTj+5#:TMQrt uX jPgS^PwL&D ZQTg]VtX?NQ%ޟ(:O[uVrx!ra[HJ{LahM8-Y62>/v3e4@M{}aXa\vaR؃@$<A}2č51+`/Ռ;)O2@̹L@#q:I_$}nTylgOjc$>2ʐ;U/i{ֽN@&:yZn60U"e/' ܒaMBg{a{Adi82|Λp&$j$eAN#=NPWXqxǡ"|:FkVC ]rh.\fk^y'ު|&i3km\ imŸy-CY Rg$ ;ש(Y[ /qYl}.W^V?E+3]]5{RZopYPĴ"=q/\`NLd2&7PQ'?|Vl˚P~MR<]m#*Pf\Vוn^Nn>;;]Uxomqھ &MhKdEX%L|F@BPaXnV ST*mS~;,۩ @`eOiZXI>i5!5QZx`TrR MfR4PF|pĵDӱPoz$,j m$D114 ^Z n&' ,d$ltxo~,PDkVʔ;"@t9eR*ԮlRP3u-_aR%)g\y:k9^g2OA J ܈`)@DFcڞ:qlUM#=rsv,44ۏw3(Cjoq`>NZOT=KH0"ҲV W~B^ۼhh{7z(,,G3!txѺ)ĻxhĻ<0Nz Ynӯ^E0l@Mv^gVi%*_䛶I@YB+VaN]8ûHT"Qh5$;&7[wՀ}#$6d-ׅ1(`x ;O_fF*a3xW=%tX(XݕhInIjކnJk]l>cX3Ia=@8oʤX80O#Ks:,_3_#eTH0vnS #x/,9x^5 b1Ζ! Fų =:58[&{ P 8 hoAϲ;D:*܆Y 2l[.w*T˺:9z%$]̩^L:V]caOygJ͟mJ#֦O˓DYCSQ*8gp"g$#k2 k (85k^̒D"  p hh>zlu|uo3a[y$]h: U6 g 1KL !zv8(9:5#7uH}%o|K.=y^ٯ /۹v KL.MlϠ~L7e¬D$3♖|!HV$)sάt9tafJ`a-Gě Dy%v|rF _ V ,]hF:/d Qg!XG@F:*;=6}`uay[h3YX0hXN~4A`9ƓᒃԻSS(H:\ydFc\&d媓tH }#4J:R1j)[K,Ѿt9gWI ;%߲knx$/j{m x/*g[g!R"II+3_ ԁ+ԬN;bUb|̸.ccMİ:gHeUtd%8JF(ϖVCq|Ʌ%8z| OW`m*@]C&Il_S3>dM`|W]&Xxmmjxw^ڨR;pn^qgtIlhWMr p7Cxv:H%B?9Y|T|CfBRWDɘm+nND@j-C MPWP`5Nx>*29妬O9I'IRbF+'<͑:R^~K oam$.MXpoaAy触 U ,0># 5^K3>cX «;(@( UxqJp2`U$bn:wǮ2>}Im̰H֔!wد5$8i _:eK,<ɍv3 -.`{8jō*NyEͯ!?AUv[^Sb-eKS2J-h6Ώ^5 y'#w۷:'TA٤.E;>1LFfX1$@[du\-_)q['d܉/NIYaK(1Qi>|uz=|YKTZ߂98 W^´z= sۃ?/CvSWgDSϰȧ)7zoHAF 7[o(k- 'Б:.nn`  }5<*%VDsF -ɍjTI>ۚV᎚ MX3),#}YNhoGrTXJM*3o+ݓ-E~ϏjxPn[8a SML&ðY"_6_ !/2\pUYPf\4~Kԗݡ>e.MJhH7҉b 9C9 ]KoFx'Cֲ|mh-O~w+b͹X|йrZ ԓ pK[BܻTI'%62^4e)zOmd=|5{(Sz7a?<ʧoKXPG 5z!]٦4QFՙ0S y9t @xL5qJa2T=IR:d(s7}):ژ:s",F}ɓ\Vվ׻iA۽5 ##O<)m_Ժ) Qǁ])iI읨ȸY2 #2F,)"p(2!vdRPNbydx ݑ/558d^ X?P$@X] λYE%^bgVU4.|O֠TGfŽWL\(NߣD . L}J; ?8wpgrfzc0cCA {p? l.쒔hWbn.71f5a=g ώ.Oie1,bi&޴ؽ\J#>}po5jt #(i$|IH̀"AXqj́vInz /MW:Sα&_ZblEnk҈ྨ{e)~r-9ZʋDW=o[oW lBk Q[%WsWllh1 cM$Đ8m5FNZa|ydž=N$|f #O)źp6y.c D Sgmh44ř$ٻMZl:2fRC~+̖F)-I7yfEҶb03G!M‹r$y <8}j H ^x[mGTEV,')-9XMc'砍uzbc<<ř|(/W꽖.D :蝏0ۍ M҂+q)z+TV3 ,?C/4"<$YuNCXPȬ}1C^h$d[{+ !lPqܜ;jJ[D}%Eom-idكOJdv1JlB*gx6 &8İ,7w 9t6 hyW`o g; W-oyc2iUH7F8q<<.o++kr2p,UUUL9q|mSLn&.WV#4Pe+N\%/G.J#% EN5}ܳhl2j,: ]T`]U9GҷG;ha;&IꞀ!AIŅE._9yx!>YYT8˼,i S"s+ɝT1c-wPO#_4F+5&Yh0ƗT:YK#a55^Xvh˭0a_ eGܸ} w]܎=fl$yLy^}! gkW4Lwa(4gL&h&"NŠ ǒ|ve$RLi]*v׷^3fv*L]S]?p޺ =\^Y~$"5(&|c.jk讷Œ< t]V_;»[RMO) B gwk"ݗVĨ\-?˄ɡv? E8SjH#8mZH9'PlߜfG5 [ٙ&5MYÚ>l.V$3~  S}gbֱ݅8u _ūQ3.sr^71 *5 sۑ&3ZȇuW5Q~EX~lb_dNSe݆$ROӫ*t4y!A̒$֤${>[b v1}or(o/7earhؗ;k7Tq͟B*4D˘1A*OS>3_q׀mX`F0Ri9cы_,mGi*U{y? N+qy]gA?u{6W)CڦfIe%t3uSQS<ZʀW0NFRr~'Z5!g?ݣ=kă_aN!:kXrQz"ҡ jҋ+*me78?V~;lPOVޅx./gg`$: %P@<))O^rvu}5hr%X%WS}7ހbe =OIa0 y܆CkԹ7#Țo ڈTnOxsm I1F)XQwǍ;QnXg`N]zaXňM9fXbkW35jn=wLQtFL ? =h_L4s@j֬HzTÑYblbۯBc[-}p5#Z^1X 0ndW"OrK"c(R\˘@S6^uG`RGW G'%);eB H˩̈́Ea' e5eg3H~F:_IJ5;O"15t*v̪3LingK<=eT$>(o* 7sB-=Y)'L ɢ I#4l@160Rb[pNvXC ĐB*nqVa( BE8#]$Ue@On IAnG릠u!JU:!vcuH8[,k)#\wqy` bCLooe!W$O~qɱʹZE{ue JPqPlc5W'gRQz&Sfc_Ftdۯ&@܄\TےS ~֢ZƄ8b+۰ #Ͳ~)-⥏Vm^ 1/i p ݦVHƛJ= GX/\ Oc cZsq6O,a2HY-)ZIL Yl&MIaぴ^߸/9PZ+t2QIxRTCפIg~PpS1\#y܉x#Gr;vg(0#Fn*/at o\~{5f,t/jy8Wa8e?ػ41@ |qk,*LX(:E}EK1P(/rWZ^;9Q3Ͳ<[EdlI)\d 9NeTinXT#!Q8i3Qs,Ue66еOFg4 = :H;<E#ɑKkaw}Ҷ®m4GtaIYxۓVnK%RKZ[s FO7_@e؍wa`C|el(QX.1f]_ ]`фpN]J4h~W"bARQgN`LG- ؛Vl( `Ҩ wtCi`ъo?ZB S5oWT_$0>zB~Nb  [At>' |.~1\,%y5u !/ESk|VN5?VC%GTsX55``=-٦r+-(Ɔ@ EG|?PwlvF#za $Ng5lȷ9:Lb{oCQa~4q1iOxBHX<-ĀHB.Q& 1qCY8k%{;4Dt5.7pޱid08`,KGxKRBVM_`iRvZrn4kmԊ< Ԇυ5gU:WρLĠ mzim~:"buƴA\[=yGܖJ;`t?׀6Gkځ2Ίuh$ݢaoX>.ꫭuĔ i.h ;k͂n5L mCKaы],T tmD|,йSaJNQKX?"i\My : 4#vs/Vk!~Jd6^ǹVmZN%AiO!R>S2!Ֆ('mRR~Wxc.G>Y~.)4C޶Y\̌ \W;8Kkwo%%>IHbH`:E7,K38f_e|ίy"6SqfQWuԒNI<*VC_RI2],O1SmхL- G!Ӵbٲ4T\TZ}LN;t垭cA,deԍEOT2pHAHG蘳g"vO!$ yˉjJ2jⷲ"B}h)ݪ/'#kwxbr`t[\bL!@7vۯOwMŬ"1 #ȅ'bϵC|!nK*񎬼b~\:O] Vׯ[:mn/-ԕm^59.l1PѬTj.m˖0|8gԈB{&^0|(ހkxeycS-he ua6Ms;V Ie<!(ފ_ 1lfkЃD(GLt!N>!h-.l=b?Lh|ǨbE3},8RY&GXtX,)}#ejn[]E;`iصyԷ92nPB^ՒKHRZ;Nqww[ja$!ک%*Ăs4",ZYea3zEdDdGafY8N~qq/fh#U-_:N<1=_\Բ x/0tOݼvfII i;Y 7{ 2:1_Bm| u+X5#5C"'/ArXِyIaWBjx\ڤ:y@7f V V7P^w5f4PYN-ލhQoJ |L(}+ (6wgVbu{Iꢕ̯KgY` 2FC]gڬ9qqa=d$BKKꭷ]Q}: f~[_Gv,%]Ǖ 74i"7[|fT'wr#XM j{[н}Io>lȻO᮫6HKk*kџ=hY tt~  1׸-I NZYEh6"!kd$Mm릯VZjQ,hB[Gֳ>b&Q0'>& >eC3Lb:,M׆,'fbLYWnΈczg^\?cAa1@OcC{fTӒ{r1|z_QύM$MjN-- jy.rWҩ+s1SQ Ńߊ'%:h׭aܲg{]8Jwj\V^М]@}y H>ml_7ă3|te Z|Q]vn= :Q.PV=k=UIp 4Pq!ЮlRЈL@-ӇLM#9nL"sa?f nv8zsR ^e/Xտ`t ሂ<zHjWa*GdႍuU1=g*`J;ҧ\.kJѰ?^k14v] -CC*IXcBs%,O6pS;`0ciuܡS& z9A`zĈ۾$ 6FK/sa&J!#s7=vv(!2A#~+dLBt:<{AH nufabGۚl*LX49~hU)DGqmS_rlKˋiahEoRʥ.K'bQ&"뾄 % B8歫}GLqI1V/u ebm`5u HȻ}-@#~7p2o\vw$gLE\:_лhQыxkEU8l^)[]-/A]d3v[UL+d53 eJ%'"p EzdPXсn~ݬ~h`4nyNͪYP&A{߁Ci dty6݉hGy^H!a@\KV0'rIݚeo{QOhIL"opyla-ԞH,9Ō"m5^XϟoԨ<0mJ' H ޗkӉ5O@L<4ZK(!C~#wZ(7%ؾ=̦ He<2c2 I3.恊Ed1[RL!Ȩ:[d}M[~f˃Rmz{Yb@6Sue,)N=(Eeа,EUq 3)YB[>䇓U91SmߞStOu(Ul9Ĵv rm!|\~z9Ƿևd4wN570۳nEJ#ǃ}O{UnsyI1mo渋+)~Ǜ >V~W.'_%\p-TZx:bZٳ>$(oQLOn0@ӄ/GxA|OLS r7p;P5n]AHےBt;o8ޣe:ۙkw sj?STx,ʈO ;A3`¶dm Mh̀&pW_ʟDqlUu#NpO`#?v |y2@2w0'B_. im9Rɢ[ rCn`6cxx4#S JQ>5t)0S|?[pK0_z S2WX4{T1-FEH-yF 3Uj 1587N4ᨫ$:f[$HGN zEb˧H/꺌),~] tjw(޿9z;= \tI!$?V+v(-W|CmUM%/09\Mي|) mOG^t*#Ǿ`j

, IX}^/vT*L'l= f~ L SK˅ʙ*2OaI|-e ~ #rJźuIF!Y˂/byF /ɦ(~HAӊ>~pڽ1UlxlQǗ ZL2ϔ CJ8:&{btH#ģtk)9V3B9N5Z\ Cp(|.j^^nIe02?3xN`5Fx.3ѠQT6oUg[.BdZ\V6/Frz"OK-QŜ.Ǹ$rzV{]‰R _\`>ukub,0zJ N"Ͳ+ lzJo0P])tّ|SgL6 Q/;z:[3n]tg\'%~D68C: q$CZqZc?pf X+<̰Ecg[AA .vf|?? I7𷏩cs@\`[X b@RtJ&CPE#S07 2k$XwLԆ*Hf, 8q yjdp7.A8^Ѻg~{e]MvzrߵD@ޘQ̥A(~Q Qw PO4h XY=څN,rpM4zGUeK̢X3u= n xi(Xr:N#fBO:bꥩa2 Til+A\4@L湷Z>nj1q}1iNJ,^>yT66p4iCax.90D1) 9mT2`$Nu y9ݟ6H,"+Lh,(2$r S7h:؟eƺ..LmEls_r̅;.8MRW "X\3a09sL;'T汣prB:4@K8!!F Y #)|y0.[\)[S"*ϮSӜj<:[!hňgpco#wi 6gSñ 6So0)Gu˸ڞdSe:E`{ i=$g[\](9xm㫭٣|rm}hr {}+dV(XPcS-G!Gq ck3ՆֆzN+!8V<+&%Yz,Tpv riHqLf\Ԭb 00iG4'Ma;}c5#=?X }u<K/tPd'R'>\Zb@+]8BmNt[ۜ8kaLԠNVeGeX g?V1P}lO0Yv4&?pɌO?ʢK C%l6T%7=)lNO[=m/mQD5q]_o-){ QΞNp~^wť8w?t աM{ T3No=Zh[4'OLkU\aD>x2oBz!&.R#  *} u; u#wDX7s.s_YX&iR= L%npjNF_V ס+4F2h#Ə>)s ez:z{oYK%jH #+hg?S2asѯ5-a7^%.TgyDHϧwh8\e+up~@Zp7^pW=!}DP}S!/BqpPm=H6FtQjCD ML#wgxg~uS @_:ywfɴfUzcՃ9sMǠSNTyhh,~3Z !>do=מnQ OwE'|W/"0"":}̘gq;q;{uE"On) vzi,v Q?_PJ ˡ~Y,F1"G#?PP/̛TO^:7YJ+-U{]8sizo֙nj wYIL"(6>0Mdd虽P#7)BF9~Vܢ׵;ud2+ꓟ][D'er7@K> g!V:v42ݕu_+ ޺u)7rd%T Őzpp[_$ <8Sg A&/aHU 2s1hUb ~PKC[')EƓ]ؙ)mn1'%fJUljO. ~{"֨ vz6䫊vq6wf/Zor#O7/j-SmVah@} g<'_Jb␕LGٽ ?~·]򂚅!Xs8*U{e}g"_C K|R@sI0:oibn"_'wU};-RpDf7+ehZ߭'S@4E}Io .? x6.+fתXiê{AVB1%/5toĖҐ (.=! >TiEL< MN!.h·~LQ){42IINR,%o$b{.(lJr~("G8dj2$m[8 Tv$*{X<A/VjLy*,B]ZR9)vC^*q{L-5hثFŤlhF ϖ1 KOFHC 8 {C8FDjx+h?ml=2W!@]|]q)q3 SdR#q.< 㵬淅|Q+,d8xO|p=EnbmU fAG.#NrUZ{yPX݀2'b7/lO|DѪ?N<l 7}X'q'W*y/,Ǚ6NaX3b6u@({^Q/7#+JӎA($=۟>A)9a-Ȯ8Yh=3=fŭNfRa@yyi_*AHܸ'`*+JQ!uİ)%*b>KsfjM{!q|\| DvZKd~n|ؿ@&"eW@оţ:yh -1 +`1Pqs 8K)?0͵4-eCš$l/NЧQSQV qJn&.Ɣ!hy)d~ZN{-oZK7Xw4OpsjK<-:WK㏧-mww3r7XےnxPm0*W3rW5,*Ğ%+O!~6y,7OX-qII*Th$]m {PXHN +pXnl~|[yõ 玲K\' y*I} (*+޾(x@7&YBQ<^׽Rn0n e88]&ͻ/WX$8zixR+誙F8`1|ir' 058+r"+/ I@Av!=L;V(5ɆJR%4׸n^gYZ ; 1W# lHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! 0]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``ay:8 Qw~aSMZWmrdKvP)w)u{Wf>X(ObI*ӛJE`Zg.!V:%^Q}5aξRܟ6b(lqN?p7Jvo‘ݞjR+^T-a9y0ϒZ=}&ٿ hwrUAR6te p',!UC  n>81V@w+%XG0"a_ňovhlo.N# H I#RRk+I>uĎ*4=kd2>ȻH!^jQ7ʉ`0&9@kmr/y3ݵJ!k_|k!3#dZija`;#m7XXf`E(zoVۣW[iPMTg6o \ Taf,tG_v|kExK[:t.b&p8pC#ң&LVQGMK sE%0FACwXk1˓H5 Jl摈bȭ, ;ɲ4?j.GshV.: %=+0<(8n:^^rLߑO7 _w*mp!jk)d)6ozi2c>->]! Wsݒ~Tò,pOl"D}F9qy@Vs& )gȈJ_y)KHRr_y_qb6 4{_j3dB u!LGo yc\&rZ }7|Z ̲~ ߚndiE {6ɛ4OX2@ȍw ϾUOv#LTٚ($>.ɋFe}<r/ 8°jL?>xvx'%@%sĐ-}?0Ϗi?l ki_"^}, dj1{VR1cK(sM#}U[78bc [9j"He pQ!Du^ΰV#ɦE)y 9W  zc-ⴃY~8 .oK+%i\c&YYmZȓ/[|M 3=>_˱C@C=_# ?-UdBbFoKC&> kh*I:2j#1&3XVtzju1Ju}bd;(]X&9Rw51>'qߦ3N(iVnJXlX6ߘV* 3+Vx4{&RQ{۔NaU#Gϧ8$Q \qaV׈yiSr/Nʈ^ZhM>76d{D: |d-]gd\%5#O`d6ur͆Rv8Jbdlpr`+" +2極 h D _Uh;֩pDB[aϚ-sPiH?9O>0g;6+qo #x a`X8H'MYP5>ېɦ,xop:r{R{‘X^mMѰs_.,z7TEkNpJ saK\Ί|k,cS͑QT򫄵=| A{QH|W<-5Z%# mF\!y`}IFDd!`"j%bΝg\\lGѽSә|(sΠ|%pąNSLQ܉4 #R; enT&@%S\ OG>ȣ9K s1SE/$ N_GԔ׷2R2G3[) >J:q>اz[KC3#=J_o'|7W{sP1̢fʥ5oءg@n1+lk?uq$w#8ߗ'lh4Mr0#®OpCS+c}#`:>MZO-u.yI#L\V kW]4W$O*2u@3P5<:OgN G<2Ǝ,`t\٩ JwA6`Oᇳk U_ jW\TE]nu m=@4᳞D;Twxh{Yԉ/W9jF)niCs}~cSK޸@j*GFX]ٵГ[-DC?N\>Ër!a֤XL`VuUٰi'0>H@}lfջq E}56=U,j[g$ߥE&L^uʯ,'rPnr#ةZ,do4iX\Ĩ'#dWTkr6 IV[Nl1HB$2%hk_ kVy!T6>֌ռʿK.0Y26İ[ى' WW^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id5381W' tHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! c r]Άxʆ5.f-9 rq=bq4җ`"Sxg\o1hvUI_YAY8 PNIߎ [:)#OsX9t5lda 'pHjpĆFI̛9)~2dޔsEXD'wRHnN‹ P;'FF БXKh8ďMrҴMLɦӚ^ (NQsrE> g1V| i*("r /o0炆F1PcTK4U:p:#dxG|{nD-IƙH 9XeT *S[#u+"][3O(/+~?$|JW{xN?飢m\EO`+yk[δ7z,m /D~ɍ[% D1}qj9h>ڃK`;аȋfI C "̯t09oMY#9'i&uUMYt̨m$k&,_l4Ժ$Ua#\AW/A$QB|M S8x1X'g˖Æh9 *2owCstvѹf|QIrX!,[d`UA~p->?֠NhZx4ceAv ^:o ؜-5N-l,A+̝;5-ˌ Af76aP LFs3ՕrFS}Y:NޙHGӎkpra`қ@Tه+K{zM/ IN:J!dAPv,ތ8求K8Ú Ng?{xY|qy̾C-kK,b=+y xdW*Ό-{HAxU)@Ex1H!aml37gJ閖s·OwJlxsӥ|znapM `(1C/fQc$ȃ਄̨]`T>Q+WvHf!" d wB;(F*$*r /e`J;K+$IGvtl%'-1Pef3GU ['ay¹yEvΈr&n`l8JTL/Kfe8?2pQ=G,(Fa@F 7[Uj[=tkA$1r4nv]!Mc,T)1yոYgEu:Kj{rЪ!D*Ċi\tE:N_y&]9*_98A`|;kVΏ-ʶEk0e[7/>jjKYУmXn)"!H:"6Kd17$ ~ؒ<|Y(!Nݜ -dOuo'PWU mFǮ`SiJ~ߜw@*rvlLkz/q&sL C*Qװ@}>H]uF/0 qǵ,Vm8i] #@V+pLAԟmeP?ͭؖL1!-ˆ1/Rؖn@/;0u|⓰uЂ[6))#4οX8qtuylѾ,XLDl ;ם _-S`Ena 3/D}爪eryp_Zjςb &Es h+gD=t:<JUO-Qa=_ݏR}|i BO76 n F c!d/M=e$ŕp&yOviH-hFݯՈV5mVرjj/C6bmlPKY49 ,Uҋzғ%/3烇늱gYZ4_ѽ(;SF6Bhk4eXuz\'OFLL{Ru1*1ƽdV^)_9 6;z|),n{`7SLij EJ^Gچ34I^ipܿG+jG.Ղ-5|/IPuVWa&AG5VE1+W278:͛ZARvc Zܽ̕;<-!k`y'.k )MWM52d4"*K0Ho([ +qR5|?ʣL{'p#.8sʜLHaZTQԅ;o[lQ0KDTwLkZr?{*<~ 02;;[hH:vDSO^{!O=IIJvﰜܛבkFV$R`Zy#i}Ӑ럥pW-=>W-Y2 ,ȅW'j Gd% 0xj4<s,z$qVuF@_# n/x)91l@!Yla{mjL^oml6b+>"p_%JB{LdV$x_n#{uF/U(=|ԧD-T&;:鋴*y ,;2Zsj ;sT7YWC٢#'.M+ b\;yX#~α,O "g¾12-M}Wazb,B!?ʒ:)VCBGY\+uսg5K8%%]y<(cOmaCY+H\صe{B {Lfg=h6?E 3)o gdm<56ԡ"7٦1`"I|~אxתNnjsTtfi],7뎵4t2*OGDwT}t* qAB: =yc4 oVڭ(Tlq*Ce͠@?>ФD:n=׫T c 0NQI%RyLxܷg{4w)I ,ޜ[6WV3\}G@(c}Nr1't_ 󥦁Y`"$JCHJ`9Yz:bxg#kuˊ ԑ%1^5l]%7l6]3\Q/"E6o||֚Ve0E8xۂPZ[͒Aer)HwqCe)K3}NN'5zxpj1o GWD![b ZLq 2f"a8ƾOjh,%P☐w NGaxyQm,3 }4Dh?N4W㓀a?XLyz.rLHFê %8hf9zB&ES8ݰhyt /=~񄞼^uaƧEҨPB}؋yY!J3 QO>c$+3YY L|] H2M8KH)a;Ui02Gl *]~3 V"r#[;[.ŠS8g|FӅ0kKA%IdcXjςS]e4]1-2 IrpuaUM\[DZiAÄewX M( C%өL{67Ϊiz_. \׳McBTMDڱ^qx3މ*lBZgUN㰹#]£+u}GJe/|~lr`ȸlܨS6,{or$ޗR&Ăs݆9yk\-] {=}}~޵y0oԑ'\OBAdul.lbY(B}85@`캿ɊdUaDVg-dN86ȴ@h8OBjhEb{v+ڂOf7_nQYj6WJꨰ~s^72`U#Mtьq5Bym4+A?'SzyQq/#U-H߉՗!11Iր2$N%Pn(99:00IVCfwޙɲ+`kޚ(_oM:^ܸWg(핸<.;Dj|'\sƟcV6s;y^E(,{kE*-]I5E^YכS )(];\WIWg 43k?܅Wsi8);87|zNv2F7»>J s=7ڰM#Pz|k|l ~cqX >6E?ǁ}nlʩ(\Ζqh"]B25ha e\DyKIOD:8B{TC":a=,}Nᅳ{+5l'/-,=hajyXe5zGLoХ}:m| 3$'^#ru\)~@pj"ܳ _Q%uO 9.kN>(PVD.@z U/۫5GbrB&n)[ߏmm_b%n2Zu@5$;jbɫ$p7UV+W[_µQdwq]Q -OO ܯ W0 ^q`As)jCI3pݬ-`Ia PbfYʢdl$30+dT3[t6vDr=v<5` xu:9޷` qsV'?]Af.w N&:!= ]bS6vWY;:OCW%&&zAX:3+vZK8Jt8[`ǧ^ Oq G3 +.QNYc. IQg!l7S[ ,a?ejDXM5ů%Ry̕A9a#mR[qp6qNﰎ Qw_u]~Qc7*'vѤذLQDMtTcQ, ue鲠LvȄ-71k]eWﹶM3H?Hޯt9fuŠpty)&pΰ'_<*kwv>Tɤxcܣi ]=uq!$zPgsE]`AFybisKЩ%cHC:H.K޻DXH%+%ĢVgH`ǫKzH@swR ݽMOڢmӏj՗,SaB9O'yYȋ3;`/3 uGug/tkYIQUG1DJ"-ٺ7@ȺOrrϾ>OIեj-kZ:UNN]|y !a큖aۯn>UmiT5`-yg xȝ*u^r.N=8ei9zX˼D0)*òJ|o]|zsó_2χ0 mFԱ,gA"0@;=ݙuVhQ 4vM wtລ6r%*)_cΜw*VE=ğ3Zȍ2Qywg2nOzOi@aP'+-L 87e'A"L~#w)`%Ys3I*;MRϡe3}Qq{QTmU~آȍf4itb-0 j.%,裇Mx.n3ڌ@/Y*m#fOhg< <{`Պ;;PS]Ja@lt Sͬ- Q{%/JHyiTA76Rɑmq8\"R{:$;U2ʷ:E O ˝XRwnҿj NtJH6-N ?D/h%qX?>ܢOoUuyu%&jzdeG+2_|p(8 ?=jL~`ώB{3nJکfeaz<='&K0JwPZ?8eZua2l=<72QtK?lBj$keaT`2:b#dT-Octgb!yCW|wxؤ6-Wpi~؄$ECs! ̕kFF>؅y\(~y-ӝd؞9IaGv[nɵVֱA[+y"?NcV0T$SlnIjIr(.{ߓ]gG;>??A,ftĥDZ9}3jl/AhT ;WHx=/DK#c{H[B, cr@ܽ峞OkN5e ]n^< FpsHTx2Zg9L[S ?uR* Y%:pقmmwGs+LnC&OB*Z0E;(ؘ1kCAW2WJ"ܲ@e5O:i Iécξ&7y d͙>KoIPJWT2ۗOĻ2n5)ٴl;*c 7^AS 9*yX^_JY4*%9ip9^Ȇ]9u$CN'Va*1D3_J}kʍLvUA9$Bc)FO"40% E;6$Kfg6KEUn~eK$ I64- /FI hǰ*;?х@|@[pDiU'|HNjkIi1Aˈ2ڭ[MaB.ڑ.̿gнfǣ:~!xF&*n$vh\}o3ӇRR9\n[Da%еܑjpΎ떶 c<γ?(2( x9ԗ[=5%8k >axx'hDvO> iSG hi^ l!>p:U&xm>ẁME/U _V%ON .v K̑bm"#FD,9]n,x )aw=sbZ"RdZ;*ʸo9S%yг\gb],2dzo#T\Z(mG T^V>(mJ X fL)`MWaq"62ذ&`6gfGXpB^$h_`FCIh/vXx"F j ^(4}m߷%-lj 1Mna"X lćl"~3b!ЙDVR{LdNAc`"dX{G2cj{Kq^!&z+cݲ4VC8\G rNG܀yFk)Q&+6"k]g mMCᅭ\ y)ZMΰwhS27Uk'hn(h}3)$eT*78; o÷vP%a^8yCo~e+4I7Z66\Nw r=@PAqm!ӫ_`tY~16p@46!_S FtHWssVο4`.+ 8$I y p6|XI{$|g;X:Zǰ *ac'w|Æj^™3ósQ0A6܄,v "¼ /Ya;Vв 5DMQ!W6B2"ԯtvF3T G8#l#O EXL-%X7YPr*q)<- xL5\#eڨ1Gx,py]t 6YJ3bFl]e8ʆ=)%,`浯DD2":zvr]6&yo088aJd&Bfj[sHN% ȬD)`@fi:N"c)PgX9Zc{f8v&Q#h{mIBM1*gYF; `-gF#]P\!0۴F {xb7hI ^^+9Dbʥ_:9[dj, ԋ:8'C M.K´%ҤD]Hs\Bǒ࿂hn k2|dh &W'uq>!)p.Oo!^آ1 F HE"GHOس3R/#EOdhyi3D HfIƍ㣨K@Ϩn) ѿL...lӍ}lnRhWiŸۼlW@״bW3KbC )DP6gH㠇 z6':##~X>T9۾},/KEm30ٱssDo:l"PEe;ϙvpog@kS=^+&oDs8JTDg'6k<?pzl/=ikZ1mf8\T`wI_72=!~鈮lcF" P4=Psgb9}pʯS/أMew|"yW}p(io*>Y*+K IQ)jfbjQa5Kv&nndzݙ(><į ôSQfKD9Qј$={aVYޖ{.ɒ7^6,|O)|HnFzolC7jڥ|XR@2ٔ} {?K]xQ9UbֺdpbҪ}wIzTxN {J)fN|@o"j`ʢ8.dz{#oQ1^;~L3N>F#޾5δeu?}/ O`k<(٤mw pIrwny+TD2m09]`KU)Fk*Ib!qr7+v +q&DՊ[9k9PcbIQ[ooBj-zB0V݁/gEs>)pWfl,F2T$MKk&#j/PAAd4m{,/xٻe?B ŀN+Ӣ` :p5AypXWFat]~Kx9vi&8YM27 qzڊ9y㽦(9l}GQ/cHi^tOqK5{N0Ì3E=(mwnɢ0nYgFh "% рvq-Z~bHUqJ._?,Ħ?NKśw{}i6bm\ģRefQhk)(?m Rc|VJrʧ8G!zMG}ju32 esz58Gb:3() Y}ZSRX'*LWy=8{oӿ>.)sJZ0"pZ)=UVZ .i#/io,>fw.Jg]L١nD{].c:& frGNv8Z+5¢şTi@"k߽} Vql-eMW1Ag :t G1QDj& P5L3P9'$a -,*gohEKgrs=?yVteGpZ* Dr+4X6e"] !TR:I4KSp;K4ʌxۇt;L" nJstbĸ]lze+<L'К͑~:q#侕%?AYpm*| =Yy+̿lGaufl٭F-A`>.R$ҷs +`Vhe?eb7W*,ɇ_?8f|OY32C>5cCf`̏t ;805=˚XS7١e4T`\Ho]]0Bbryd&OB>z 5Ö⚽d1{;B%a6=Ow3n}  qU#m*ԱΏuGi}l3g#6}\/]v}enn.hBж.I\gC4Ow8bdP. SIDW%frw$(@֊p0wDY.i 5@>jJ#TNbaL#αbsOcD J_dd}`Ȼ~vҰ^D;~H~x x%&qIN?,U"mGu_v| b9-jKt7S_di~}nhRGf\E@}9.f SR O-1U?1fMQ&^bK@͑aWԨcHTxj@Rի#ضo b}w䑱Alg/Yb }}7P.:Ĩ ѣZ8nFE^W 1jnT5yy{'ތ[ _J bIb:а֊ k[[*u1~)C;-'3%(K MLr8JetE!վ y􃑍 t v,#8:JTeB!G@Гj3bhG ,8-Y.>3" ),鎌 vˏd"bO}_Wg@?` Ҡn<&D2f}mSͶ٥QR d.] ]jHƩY_8H=s٫b%ԉjKܠ"%Usɦ<" Q.*X0r4'9 :~غ7S̈*'VB;i|.i}B?*ijBV ȸ48F)"K3w_ cVjM 613,3H̒p?ei.^Vw_:C? eMad )ξ]p:Iu~||ޑki;+rFOH:xlO1?ĭ7wN:(dޞ46!Irq8iF1ӂJ}-47#prb:`f2;ϙl'h9;R>fӄS=}xLOȁ Lh$"WݞZL"G<kakTTH8Bڢ,c3*b}kg1 xBAمa 9;xiqDAõ$W,f/ 2PL$]TP7hJ 1]8l!uZ}xe´I@-,NE~m z{,-Ga-28bXʷSIe A.oW ЂxN#rx.BZq䩟*ӘNJѸƞ~wthiOՋD?(gc RG5W=\8 ~\6sy[g H+@*RtGs-isC Mg{];:CpJ!1B%Җ^%ο3EBꗁ@(,AptʀtX̳ br`V6?>zY 8(?*!UcƝL/#?e1Yg+[\w`mtCN'?`L ʤA?^?ڵXunBm̿NyYWst֊-Lٰ' l)ޟl]pw9t ?Y> ]00{ۄ__8|X_h$gCTE҂팾{3QfPRG'Έbs}Rɟ`]“I }bjFGs06ItNĒ—h2=q('y6@SS?J Ȋ\HAhP{l9>BDr9*Efo8b#>MɇqO٘)?5c `k("D ?NE_#]}Տ?jn,O%=u`!a$`c[Z'2YD j7J\K;qE rԳF3DQ1Kb PY9Qxo jpCQg$VbN]ކݧVx|J;\Ծx$ n:#Zf҅׌QHJkm$EIO&\Sæ-4b0R q͢Fb2kLЫibVAEŬ"CK=.ՐP\d`Kk3dϰɦ&@)\]Rjf#~Փu [p?ShRnZ!JrDf $-@3 .UPb slg !Tt' ́U/YIAr6D jg2Z8A1ިPܪcx`ErC0F(|lK-~J"ۇ~d<,"s\]w@gKz/R(vc,uTo'P^io}`B Iz7xHG^PUt襞Y{QϪq(`D xi` ,WG;`\7 f\~Q~k.! 6|nUɼc7Π7aBwޜ>W&͢S.$>V;;jJ3s$%N-`,S<$\/K履 PB{ƦL #AcwnAd~7f<3@uPW ҩE)L~>6dƷ 0blGRm1fJ NGЌ!%!Aw|wһ!e[גau ܽ.z~X4;pwPu]zw˸0lxk, |] >hǂ>nzw=<j⍮fĝKVfH:"_@v|壖bq,*VorҦ$5jtY d&x2l~ղr3Oh0{Qмw7ϳm:'<&uh!c4E[hڦϲg`0aaϏôY!e08'tE(8xZ}}ʭ a& ر9 xtVktQ,FnR`W'G-L &tȾVOWa1_$ aIgp"emMgmaN|Yp%8ӕ pZbW(P7<7Bz_igd0p )l_Hm~7))T6`\ʼn@ils=vO3;N!?]*syO'QBk 's3IlGyvqsnS?ىEO`eSŕXp^?!urW<B- vAx?~T(}1{h-JIrU[0T[8Hz\Blk)/ɀLXe1oL=wJqE*.an?A/z*=Ev>%A0m#Ca8NF"GeXsA6 qV%mkGuzNƴIs(nl;7sM/ [Y59QV]'VĘ -aؿg ]eBia=?%$x|6zOvu@73]8F\Vrv|'~d׻ :9tH3^gW &q?ݚ HRC#,~U%&v8)K7Th:iz\D . 19vpy$z>IMfs JlYo%֚֘5*Wp,J^3a@Ȇ2CZor\ T36S8U*.HDBGiO]ElY@k[y.xx&7*1%7d( lslk4W[¼5<ʶTqEe7cH&[8A6:]A -DRƗ F,i-zVe5ZȾC+n,>xbPG>X=L7Lb s5(`!w謹d˄-)˹ ٥:O^ O wJ"($rݎ[Ẃ"uH>EGH"P 3J$ljd2rp RvӽeaOE^daxtj' [ZY•'"@3&YE<S:ԷNAZib"3ֶDAeVV]%)!(oh >LXED 6D>*HdK9]%\nͲFcX Y"tCecq '\ySVP695<W6*v6(8;1uq͡pvr#ֹeKsҗe F=P'H-B(czj (8X:xXԭσ4¡5Ʊƣc_}IU~E+Uָuz9| ]ଲ jVg=&1vM|a&0*^as#1%5bӴ4p8LC[ ;/N!98VBH ru q+|ěAx|v:h"WYNCtuT15 󭠖1 P)sj`aYKr^ţmR;,80h] 앀YJvs \LF̼H!Ĭ!y$pd= $?K ͓O d׀ ŷ\)[-Yh,"vq$DoFf+Q,hc?m[Ӥ[mWo_dP* y,Aq ޞ~k#lh:YQy(&Ii+87ivW ƪuH#t_WuUR& $nޘVf"N:qsb ǣX ۙؽ׺0 jJ+-P8>j`Ym+1CS:N&NJK[1C8β Sk6WC'Wj[c!FDh|ޘ[p- jBauHȿ&Џ5-lkD=g:yu~DI_8T/:jW*&6b} ez&-X|Gp EC|WVLuSb_6m/``AN Q$YĺY}{]/dpa4#RDH (I9?n7 5m@dB77jppuM1k *bXDy=JX>0gj/~f!N6(Sr#[ֆDulPB^ wWsB0`"uرB mw> *97>~KO<7~c.Έ/Q. >gaR.&aq8rV(3\7a+(Tqm SC[0ԙ++*ð wrA5"bZEGO M_F/7mQFu I[b `(v̈dR\פ?bob+2KF7yHK`NL'"~9ԃO{~F_ƯMThfYA]^\-06} @T'X}G@P9[W Yp*F 3CkXבܐޱZZ`(B+eԔ{AJsQ-}k&Ã.  IyY!g %buNgNE/ X1:F8C`2z?`xe`ZԲ?AӎJ"Cl=WXS}c~=X?2c .)eN5%O\5&i3~jӺ-#&Jx=7$ d"_ll|yυ<NͽJUBƋ '5(]J yⲼU1PFuq0~5@:­NP',?[sK#S7 =q4Qp^@Ҋ`JeGOvJtqҥpƤ%To+6\ xͬ|dpΟslɪgcYqw29^'> HtYd3V,I`c07DJx˿|pqe)Y9O揰ѓu.|+jy]q@rU0%9/xVirvͫ,%YRs%0P/-UA/䣄(xfFD֓P& =:f~{c'Oyƃ BH tXܡͲ8Ir>y?7H~ݩpEf@ CL|uTmt+`W\E8f^uB/Gbt  {-qR а!Kة KPBP; f0fD镵@28a99m +_ -\5+5IQjá0vz(&0 a'?B3k6 zxs^ m5bP+.@YDrbP?Wm (Dz[#{_Ǘ w є&{q( #n8w}kȍ$lQ%ӮRNPBrac_.y%e'_RqVWa6 Ƌ>FOD1@Dȳc};z>kL1DZ\s1PI-]V<`Dڗi{&%s*t}p}|ZW#ف!Nj퐥})UH:uh"Od:ިj%Kun3ӗz6$\RX'>0_iEk0[W6/8KSd+.c32-B|؄_ yyTJ%ɓH†,޴ְ$iحӽ]y\= ] ?8*1J(nѷSsoOY(П4\r + z 7R_z*e=_0>pӾ*gch dW߂#bRB[.3 ݝD]i`gJY_\iWm,jEda8Vv(ˤRa'n$Tc hۈ'|' f|;7)d\)"=85-3W+NR| CWU4U\ -M0u:~e6d{Φڌۿh] rf9Sᵥ4w}Ѓ$h~7/(vo l?˽zhNP>XW*vX-"yB@1BYKԠ#5اk/ P /!gi =wwI߸0+wyfWZ"ORlڡ4~씺UO>R?/^dtG s }{:/^8|+ le] `F)lo1` KQl2iq(_v =y!9K %aӘkO^x) t-c+FŸI铙LIʙ;wU3IDĈt9ЅXo-~ȑJ9\yYGyt1dgƈ'9yVCe\?3CX2K۽BJ\^iEWE Fӣ[Řv2Y ͿcP{*õuX$,#AS61MyVA&HR^[ث7Y(1 cMJ V@22 ne`utO3 bk>S+wE4[ơ ttqu"IKJ{B1'!NBA$6s]CLIll(E8dŭ?RKV'Yw 8ܝEd)-VUK5AzԳrAm" #1##p{)|TލiӴicXtGdTxV=P1*0xZT@UGEaE0>m5Sy)Sm(a-c}˷{Z8̒IXrPY;..~L`,@X ?C0ԍoޒvIҕo,/peٯsWx{Kؖn8//\61͡_j3]M?bٰSپ@vi{ dz4B;tV@\b՝[Y >no3h:-hcTFn# ݄#>bT\(h?CEm8DQ54V4l!Paou!܆;Yb{(l6ȔMy%Mn[W<$))Z=/gƢ#: Rz ;o.أg\ㅹY^w2oX|ӶoIT(Mut|@@dã((%x%c]]X|+._fm+rM:S2ƙϜGwޗRzmnkKbN<|0#>?,a$SA'$x,ͤ8Kh-;ۑHl |`*33!۾Ժ]޼MƸ7EC)bH%=43Z{P l C-j+jph24k+ .|:W]뙌m=#B)%Bd$MS\ 80]Y6SRNYoo߇z#ur(19j!0]}B~Yd’UՆ9ŧ!Ӫ^ _G6V3=B%GkYU&ݘcɽoИkG!S2W(lW@/I:amoȔ" +ETs)_8b}l+๧kRY((V99&~ N^9݋Nxq-Y`tZJD-%@ VPѐh.6xg\N?cbcsER޽b!K[ʷVlylυ^kb,fowQCvpc-^q4 *,|~hpbGcV; X Ɯ-a5iY7 ·xkLNNdhӱK*Fwg ;&9CT32tN; GV |jvȞ[VMgwy Z<|y>N1:ڷcR&`MKN"|ơ^˫7ף>=Ek% j ն2&5zz8`8i~_O.{(b(@~a $ԈZsO @ݏ$9P@)]INZtKkT=rA idƩغ6+?tmFf`ODuPTS&vi[ɿLԨ /.>WN!k&\3fcUQ"r`V0^ NGx H`˺gYZ : 1=# HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! %i]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn +(%ځ+z =ALb\@HDE,-hzĸ2CA<:BGjxhA҃8(R5ް{0S5d.|`.sF94qGar配ȖJB)Y%w#Ugq՗rG~,$ܓdEaqw&x&coXʦ+Za3 .my, i%.[@utcnM 3GR;.o( HQsomcK Nfʖ수4?5 nmɇgfN^{-a4Mo!ĖN1)-lj&,ǧ阠bW=X"]>%7^(!Ŀlz{نK>8{*j S^=>K  Pu Zق*FDVvlPs5bH;ĉ:0͗wpv@hXQ?nM;>MYˆlur+-(uQB>R;'%T'l~./ g9'ꤨT0N[72+cwOCskxi7gF{sλ7'}^kY[9z;O @иj@CDU DUn=OWXr~o%? 1 +?Qo>T,lƣaiK~. T5ij>uR)cńLQAN]M-JR"MR'ej$M]z6/OƿxYs ~q2'HM-27XΧ1oi;ϦXX2`ϊHY!q,3 Ȇ.S%sPI-Yv )I[ߓCR* |Mk(Xh| RmGebA8eQgYI1VG1ٺ_D7 4>-\d>nl:@r h @֒syr|ÃUIzeݟKd_ݺ0//v,LK@+4lb]Us'}F6fb ~weoo KFs/I3Vqi79 GO:t =- jGY%!"V:[ȣΏ!SWG J5 8 c>lТ>Y\#r.< C<Ůlbh֟᝼l+*'bqf֭ +Y11\wy n MI hlJBd]J,ߣ]g~]AdZy.L9T:F~~x%ۇh|C>Y(ADdXw\ Z Kw=l|OγlU`JB\؃-gd֨L򭃅c'43 ZZb1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id534w1=' |HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! w]·Iq n[:|&[z‚@{R1񨾷OJnnoK?γxi2MDQCrPTx*u| Gy_gY+"xbnBݙypIAArrBK`ǿ9UwҲy"hYtF!;w fϥ;źǏ>:*kDk?>1jgkql|6BR(xr{ٍ!붰MĽ>8U;I*u$]Qn2aQP,YdPVR ۏѭ /86rX jS b QمoYn⽞4j6v(i\b,U OރXj0{(Pux ppf,^ Sj1vqZcXsɹ5) lO"0b6%`UG@.zX 1 dycfXSj2Z4"CLp(֛h1AǰԄZ&Qj} QlcIX t]Tҁɾ;wr5ёg+P2̣zỒ;!F'5/YirV5&L2ZOi|:W7tofC%mtQv8Ai; QWP7}MT٬{ٷd#\F}F.hbި+xg ,ҖxIo"k6F`/x37j_;υ&4iFLg xB}5D-/i?@7 :.b͢-W@H^6= ]>-!Uw h2;ߛL^$9GU.Nc"<4FCʵc@ #L rf/ޜڼS2/(P i f17&aY>+qǷp2{ "u>XM{<7P񋔋pQk@Н y0d|!0s"oN^\t hӾݒ(]? $;wx4gO~mɓFӵ_y($"2/pCpQNد/ {D|ō0]́n %u}2!R+Itl,!ac6f_{wқD%#cD\Jo]lF*Zd6WTY$8Xx NFfz1l=Ia $ un[vULD2lF|@h1vKg>>vh^3/O_¤ͬ AB1DX]#!P%@eEd@>2C@=5_֒-ki65[{ 0f&hpqw#\\[JܚE e{9̨*}z9brǬWg!@ue*߻JK2?39`UoH4}O\')ZBt0|첢Nr64\M=SY죴tce)5zBVQp@"{S4]wqPFxu/^>LZK) ☒_@'}Bmfqs?d>ӻ-mf+e{R"Q>\r6K^~b%~Q {J qO1 M@#jP!Dh!A㌅0,΅AǨr=a @"*$$:>F+_8P(42a47ÇB BL#Ix:3X6xA R# ݄l1`=Nl5AiJ Ү8nK:}۱8TO"ҥ%fч7M^˸9BCRW)Rad4DSc]-Ydpz8PB>`Wl_mO&eQ\Nٍ/'L7 Z .2h3,'~\pf#yj+NhuMlx{bch|3^H%sgYZrXQCQP6^n,'3xUN%i\VGM8sEĄ Js:2؋M֧Z SK72w76G.++<9I{:+UHrL}p!q$8z)[t$>s(XrJ"U >r~M dE;# _cA}ݺOOkP×斟J,H^.;] 춴nSY'XScxI莼ΟbU3GVw&06BB$DWDe٬Q`PUu답 ^THݗQb^q=48r7_h@Ն ;K{clJVR%ډL`i} ˀW״8 A7E8\|[jUEz_we1XuPH&'sC嘁x+3]OpꃨpoxÏֶ[x+VkvLa{7|#ERД%$_e57Hl2kFxO 7b}as}O,25/ù85Y`:Rĥ ZiE ئ\n9ŶQ_iɋd|w'Kc.F0q (FʞFF>_W=hZvuHxg(tC{뛦 *x7SVM$3ʋ,xȬZJ)5|rX9( Iޘ<[,yEiFK. |D% .g[4/øCW1%aH&|75x0 T}\@4.vTP32k #CIDgL WqT]rs+B_l¢/(EE( [f'2cP(2WfmǬᢦK:\Sqm24sׄwYg<:}!אUhxK#t(zrqj@&q'?{'l5)ښ-Nh0%ݠpX1;|pq ' `MfJQ Řc&p$p'ޝv6'n4[c"*l ڰ7 ;anj,Y'0r:fXB-|||$C1~t@imDn5z 6 P]駲aS5D!iȓj$w桿 XB79"e z߇&q,F-_1l@%bgp`"er[/Ƴ)dϑFU.(ٔ*pLŭva +s QgOhIs[0bHknqBjPoVm!` Hg8oƫ h3``29(_=FsIvn7HVSk0|׌?nhEyeZÅ@а2i:qAhOQNI '9"z,G=I+mdhdӃ`Y6[pafDJg"r, I)O BzoCyZ=b3 *io2i,~ZMx}%lzɖ9A>gK:f0LkZlzu$Z8O v;6"SsȭI̩ !tn*`1ŎxslhY^3&Dz.SW$ -˟(RHzwq#y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rmQ?e gA?䕕bt. wMH*\zrAP)4B۟]_;Ɔ0os?t?@HW]جI^!a/+2N&0k&(:sHQX);RďtA0FE|e(Zup(_I^~BJT o V!흸f1muB27Bre ^. s]J ItҕS}d^ .(zR}iZ+0G vܔXڕ*찱e&#mܯDx1|,G%blTQW#$A#D +vaZXN{bPц zóȮ}N 2tWfJQk 9ZYeM% [BWab=[#z$ۊ\ҜtN_A0KubB]<@nK!˶#\[K9`'hvZvYn(̩K&_?WI LB6C)?\ja*p,kT41QLq<"-L w6=F"zR&aߧK|$bo F8*k?GNRoWic)&B{!i-)Ŧ(E1]y.Y`Ѳp af15M2Vh4’_Ysp; /*Vp% .쮙{hV3d|+_ƛyYIMƶyNLq jzy N.5r ͥ^_2vUGWyJtʮQj1/LI@&.ZE?D3YsB^ՅP$o*}ڄa|mEX[x8jJ  >|cqvޜ{niGK(o8)Ot]0F2[oK3w\͋N_X]w,bJn>j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id52211A' lHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[z ofmبzשJ,v߇Cm1՜][N'^xP|Z4RBst̖IR \%< 7dp䪅Dٹvb e'"e ]&orK3A&<[gxo1ɦ.E> =]9jh࿅g׻RO^BZWraC~ 3w$C0YND;|ih?=1A# 4HOL-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-lWq3oN}'##Ʃ;?g'?ww+!`kQ ݮOX }>'`t}S ٱJigJT&x5󸞿 4rN*U[<)ƺ{&kAuG.Һ,2tT9췵>7@$P6&ptGlgi$-߷ЀJBMC S7_٠рV&UOMž! @>i1_J6eflQ(WlEi1{,t/Mj;,-0"ȶTǟ|ctTL4Im5΂ hY1^}W=y֊LIԐeftO39cL@Ps-h(_Λ+/)r^`&! &s8TxOҰhwA'嵍rPY(Ň02U}ڄZ:BrdIh RȭDk/?YZǙ5;LK5R u˚!f,zg_UE ]ƭ+|m9 EW:郝։\&S!o|'ɑ_@ uٝxh,o 0Wt@QuDސu+6~rrO9=Ob^{A.L\WOoO#T?}oU V*ZPcy]S( k!'0=v򚕮ޖ@Y=ӪA]l9\Nj.vj]S'0;+Uٟ%BQnyxH 4M}* k2(eǟ+QH;ӄMh- @j,oVܾΝ&8pC@,-YFet^鹿#  ^㦚4Z֓].9y|b'_<1!jzݸ$O+v۞.۔NZAlyzRaCM$$|+Gj \m$- )KK 9;yL(Y_3XU=8!-9?@gHaV 8Gs F{!?T)r%͸$:AQ ҟAf2򉦽2 KXӺ׳?0;aJV X~r|KJ q\=nXEגO+omrDzm(~߲߅x {KI U4U %VN/W/vhQ e&5L%AdHW_zhx@i6uGtzmC ɶDtB&xrOomm#:Kg5Ȋ09䭿\!8z[{rf$L=w.i,[68OKYϭRAdBB!oEWc.9^ Lm U!!{3ݵ1v]>-(k#I992!saڢ5AǸ^bgTaJM?Ӄn>`DZhxHNIzib&قR[Ak)[BV#aAb Y@Z} 6<3Ja7u:+1 ?SY1 գioc> &/l:NSеҢSo;9]޲,R ErDo JEwW3Ch&rPuwA4BUXq>}*DڟAJ/=.Fby*\sXCƒ.'8ߡ~rOs1,0q5x!Nx)mnsQ~5v:6ս(ܶ l \Zn3 NQvr*33Wђ'a%D>Α"bg;s:?V'ҦR#%}_}/|c'{Wׁ1^<59{M*%3cU.YN'gcAOQ@g Q$n04{D~Dhw^N W}螆u*rB^3߹Zsndt/wE7G- <GCJB!I~pk=jeBC=u}ɨ:6`LJȗÀUWp)Hbk)wKf`/F5J@L&Zi6;3qt.v/0pq쾥& T-α(\5!ш8?:qm ߞgX@aMm唆@z Xƫ|̣1 B,ۀˋԇ";k?3ESXscxH]]k4gw@AmPQ_k+{ȉe/`Or@ V B(_}R$$}.'p01;,0nCDZW,$Q;zLZ *7[^15W5?yR@KA$%,Y@RFM~CYF]+)oFV8X$sgQl PBtj!a3'{穢~ȽOyĚN/GO$zvZUdBL\rlK(o=Ҹ<iSe k)D"1QM{SMѣ]xeWv 85bIBxͭZ쬱KsmS邻ITuHD/hՠRTOY+W櫉?&D'VS t#z}p'Xs_vG@ūrm_qQZ ;NDah}jyVڎ{gr&0]m٘#< Qn ai`6=qaY<v:^c4aŹJP=o'9漩هuzE]H͐c&"gVOHw_kfؤɮ<ò 8$AqmmiV `l#m<&|OۚxYhmP'[x OSn\fW7H_#,q{AL'$Ԫ>R+Ex?dɚr-vp^ɫ(^)W.,@x rw,p3!1,`]sEf<ڲt c!=h^3Kf4lX⻓Bޣ$8z8$Z?gهi\CWxn2G:nj6jI qJ0'p}W%rL',(%TIر]{̏ld4gE@O8a͠Y^a q`7/{aq<1{-omLQϧZ?B*d?4^}diaȿf4`\FF]4ߊ-Ѕ]f5i>[fЙ?nI hQ>5EW  "V\;2Z*83oU#1{ߓ!x#mCEq(T{?:.B_ *) 98x5MAI~D6F8aq\!];SDm0]Imt8BH:w%1IN!IsݤdMp`]~71VŬQ),{ Ӊ+~*}&9^e7/!/qa,E@ ~WVrw-Nu,%CCN>4Y K'A>GHe$ըYVr@F=*bm^r]u VRE,~NSavËMɷg/rN^ Sscx:xH=#/''O@B"53xD[{yB; 4I^wwFբo/p0prQ=Ht 6zn,{x4Hjn#pX$sNZ,<)8On. Ȑ)RѺ3 Bk)4_TVoծ+*0ihr}#98C>eկq*=B'VwͮhP]c0*CK'R*8 3gYZ?j¾(iֵ_~s)>٬?+ Nnn1]r5 eA$33R^]1#Oڢ\?ݟRվ8 VoIEH=wg:Cmi4Ip'N!;7Wj]P.=y)S5$Kmrs.V>[T`0\ *3pY7Qcoe`H2Ca`0' OX^EJc-ݰT=H s*7ցQ^vckZȺF?o^i(0?RٛWW[$~aG &Ci&wU>`HeELXD!:H>Nr-[c6|kCM5Lש=0MTfv@e58R~"6%S0\{Zh=~씢H;L?-1Zmr%ztP@ckPežʗvA_Y,mk*S YP}BR ;I eln\S=rlI9>_J{ʴP| xՖSSlE}h hhj!CX= ;E!W}"een9EGXI]sA>ö 1 o16ق83zhL:?9ΒTUIXbKR(}OlykP3DSѝyNTܯhuxFrNĨ)NTNE?;{D\"E);fOr#ؒsr n# ĤapEn+ΰp&BwS}ļW8T@]~5ՉrTI@avh~rzh&-w(FSKE0 y_<\mAK)M j ). 6C7#LGVnU?§P=F5w HZsguێ Aq Ӛi[:’+C%;o/u.%RL**ba9+(#pLy(^Ќmن@첰 :+_TGa^q@N')V٦x%lB<0JfߞFa.}m왏R%Y ;#Ntj:iks]x|z rT]g]Ieފgؽhqah[wTnVdB<7=hqBtJvąGGS]SPF%!W'd֬TRj !ID3A E,_Fŵב?97h>z ,c#1gA )b?2/?6hqzKM6 ~U7x̀E!*+H" a,јC2f9qGx7T (ݡuPyq.<R#с8Ì[WNWbI",X 1A O:EO/ C?YA0Xn7)b-ݶx!U_+& KPtH]vXaUV+:x/+Q֐Tf59w?GІ?R3vK]%+ٔ2ldPnfn_Ô̇Xm`h>.LQF9 !S 5d~?jvtgubK>ubM7ϣmH9"9Bm1#> eÿjP@A0V ⡨=y C}&R!s.o܂zbR3 焂z¨j:\/[HFF"h/4صQܠ;I"ڏ{ v=) ҽqs.4`jö ? JDSj`:HYU`0CcpwܑDڢ; 1*ʶ|tm.4hNLXh󍑣Yc5|3pt"4bQ1$87tp%Qa<bvdNipyIikbh]>38W %, <*P.elJwZk6TƱ~k %*M~ |rtwrJU,ĊT Oi߬2ԣBV5CXo>ti1Y CxmUxƺ׭hd TW4.%#:9ռVhlFy,TDvA"dOG}·n1Ε!Bnr=WΩw XP=skUy~7S%N_Y>=Mt;zFl SB K<8wL5X0΂NZ@U 0Ӈߐ)~s:j8-&QKSLE%_|5&Ѯ,ɇޚ=`H%Re:WS"Z.>j>^vlx,h~BQLLo!vYFvGwH;JȖ-JwCqZ Z3Rקa_7IN;׆d!՘`H ԑȺKy)Prw>y%%:<͡}&Z愧\qπ#drh ӹ~–t,R(W*iP(kiCs"[WG&#T@LӼ%EE%%.w_+x-aFN'd)xyѭ,x GALҁ?/e 5k "V[]I?o5GIʤIkX5ZܟK_q+jܵXd% Th3eN7 卩QW<(@d = a7oj_+!؏Hi:|J%ot4%/xqAyPSf$P[=dԳ֬ωZw7ov'xiV+~]PA7! 1n }yS78:B{l@~7fqsqt@Xx=<ɻA(ˍ RBO vIk3 z( -I%ZKtʭ #8>j}oZ|,q,}&5ylLptڪ̈a8iz' JJ^P^1#rFJ:>-> dzzJ(nzmVBq~IK!V/ %pW) ?*ͤe$;%~T1CG;C,نIaX;D#)wEK'1eW Уa:!X&j=FNBCgg"/Ti%~h$pz+J'tᛸ+P 8(=Ҥ+D'5a+&$%;[φ}LUbOn~eo 60& ee;|NmjX8j@^DծnC> .&GvT!#@{8T@R]QyM®ҋ3\WP=YCNtBO$ `1v; F?9˗6t2ŻEh(ۆOg<\@P 9?ɯ$ӵhh5"Fpa#& Nq9@"['O:q V(at Pi_U\YW[sOAjqX22[/=o t?BP|\+S`VO.üܶ@zc'>\`W9~ 8ısy.o"zy^VgC@ƃ-ջNEU"4}]QٱAR|D< -"'7 Am- 5ߊGwb.1?Ȧj&{dpfHXu5y\J1VP9\QܢചuqEl{$  p7`pp"#>/c !7$dJw߈,j/=1L!fVOӢ,?Vխ՚p[eHL\ej#kgxmWS9z?[KP"GoV$jMtNU!urpDmm0ҺJ:v.jw T>{0j>1$$ecZc鷨I8&-S+" =4[O*Zh>)͂/ {0^2^y)lyf$ dYR1mz yG 6.dyL"m3?Hí7!%?GIxN+OMHZ^ф6q \hYX?VVJNNOgרE^tl:&0y/F,+]`On[ril`6[+b3;+| >'<~bHGyWu\YP,ʈ<."kp5ahV[ۧJewBLKvwixOm?>ಪ.V[ OɂݡZ&!zC^9.T(1+l2W G3`{Y Xb#AW6}+=dtJq]lQ-î٤˧!/jҔ[ h-9 nO!ەv,!;R"yKr%ROH3-Z(reoQ65Iآ|\lz& ϤR Р8l] qoGLܵ ;SZYbq6jƞa܇5dʰ}f*n.yT*ώ@H20hCXcVtg *a܍/3m||<6P]LKB*V=<`".lKΡ{3RAL gb676]16RAHYd ^灈D;jN!E%EmYFb UpKʢ-MAj!KNLX[lwH*"ΣZc[B9&8cusT2q͂i:͠by)K}'p)'p>*6Q,q }hS*`SۀCK-W11iRNb ߝ L8K}0KmEnP(?!m=p~ރd^t UuFŚIQ^"Vlgy0aYXm ?8YYB3 Gy |AFL)<+uj?Vл2>f2p[%uuN,Z/|׆i6 Θ~^L0 ̜zX~V౛Ҟ2Z~MI_#g*>A%pBNuRȎ|v?Ke5f[3en<_TwqAعUL\ciJI=.mkz2YiN]9{=MXx 336[k.lad!0A>)YO\RDPlQ5x2 +{ӑ_ to-0J3͕[haI}g ۈzZnE :aojknsb!v>Nt~Ƀp&1;^rȪzTMI _~J`!Tٖ[oIݤd ƥ*T7_ ,ퟆ$g RfH8W@_v1a:KTv}jT%xb2BKéJQxؗ6.LLT-ɫO8D,^lI |*XEK)asԞ\R_ nadCW.]Wduw?"NSUO9kZȱKogYZ   u!:n%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1;' y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-?=7'3cm;MJ? ܙyvo&.6y" & AM_']BM _3_NP:'J]Ez=zԔ198ȃޤJeoD|j}IVO;[2䟓3)j]PjLO¹V,GÅӝP4}k+ <] ߨՂ$r;kuy5JȁD"b"W-m^ C@Fyn,oNb\Vy9'cS a* nٴg&h\{B,k-lTt^8A }ViF~ h ?EJ/*ĩx궙C!i+m%)J?S}=[pkV a-X k9RGGޛdΙѧ_z$Q!BdDE3r['[9o2H9X"ƜnyY vm \kӉE֣1[&8}M}XPzq!!vՍ (*É [kd]9=9ȓaFYB6>$>8 \QCP"vH.ֱñAsmuՑ _ݸ&t7!LŭtB1;'KB{M@o3%58ղg:`]whok.@3å B5ȴg#G=,F M(}BG.k>#ϖ!+14nN[w*Zzvj~aiFp*dnd^S5mTjl "Ѷ3`w\ϘW6 $%4ىME6{{ D@02D>9 ʡiWulPHmVSX-`o< h5[1WPKl #BE! 5ɅWQ!M_Kf|4C .TOxd79|Ch& R?#xOuGi]i\X *So~74'Jt#j+9j:^~TCu6t%ޤ-rkECtsEޔru6ɟZ.(JFwg%]lҪmF\'l pay]xo&-=w(LA@JtQ&-A\!1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC 1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526e1I' LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (`]D?7 {?:fH\xj$!nڴZ[! Gu4_Jǥ k.?fԋ`v(29?)@¼\ \eU,䆫%h^1VFA QmE]E&'U / &n2>mS9L|{5:BMaɭv]C|t}pɩT{!27jP 3²xUP_ՀT|UHHm4Th*R-4d]wlVĿ p*@P_7N8ץ p86d6S׬OКG񾳝.lφ4ch1bQ, D&ÛY pz_Wڒˎ R#T/1m~X`>|}|LExs7j:c331\oYENV|u eOwSm?TH /r0fErnp(jtp8@_d$_ b'`fN-(!]x տt{kKpY&"t"q c@~Y*L/P^K<@ė,*Lߔ"\̸ Z[uک1I!$۹__YU3RU%--AOPQBmgYZBotX; `D}ԱD֣AB}G3+"Ʈ®m}ŬO{~yY/&~g |XᎩO-箌0.Yo?2"ڊl#GZbN`պ棒I;k/g- vӱg^TR5`1zE5S* Y4FC}7jl.nP ȕ 3̸}V@C睔nR],ɇapҲaI`{fHg: 70+[w@4MSvFtjia$ai)2 MI^Pg [F\2q|!;TܗVvRmU4`]Яw2Mc5t ԑL<Cw t5_ItHNyj =ըLXp^ҵ{jUrVn# 챚+}z|#gTt"y6 ~PsO']niC  {}g6!7Җ(DDֱ7id;BP Ε?|28㫾1* |H e$aK1uL M3orXdF-"`b|UT]2Za0gK$2t_3ZB__# t_MVK!TUf|1VGդ:frGu/7,x!!N LzVd JOSqwka7>A%eqޓ`Vj1\CHVz-K28[&lpqyBz9[@X+F K?]u˖H^0:zy 㙰\Di499mjIRӍc\ozi*yw'bUb 5 б3ht3w7v.E Wl 8g[іEu,eWAy~-FޣLo]IV31 wEn.ԙ8jnV#H2S~gljҨBL>;WSysZ>lc?UUɲ:\^1M$,]UZ[T#4׷):]x%|'@Sx{n(\DF+d-cj¾1%p`DKK sBAK&*y ߿Ehjg=u&Ma-V݆;n_m]EA%=jj(ƨE.bdjDăX>}>ħ4@,u,gv C:ӗ傰bVt=e==k@<[+npz&,(:&ný'DNZ$Djg#"`ӊWBF[stpJVW1 l"#\ao,3S30WK4{S؛gxZX(w^6<>;- o.jvH?IaPl؛`$2w w: 惆j8*̉X&.44jx8k^!, EٮWDN$jL09Y؛J;ꃲY0*☑,! BB C9}E> }C`L1:j/\e6{t~xvgoc%R,.DXy$ +81}#8jrdzT?sYO'H־գex_A CܠxA`ΘڦW@"_C;>#8إktp]|H]ݪF?>-['Mn'/ra<1$G;-ZTP\y<m)`ɞ Azw`"HM$5bmp]zd%,tcsݣ2}x]>TՓQw݀Nguy(X~s /qcT U`BeG75\i_0x${Mj囷=фEchnVH*9VFs F[\T'_hv`T1^5)~H$4+RQނF[2]ES?T=7IEE~rbI>5) J\.l˜6w؂1\ ՀԎpN$ ~F _˝3EN~V@3Olu+YikaQJJN"),ZVD[ojV,Bl(HRC,%I/[:ǧ24hoL(xp< J ,cl4gf:좔!K['x2xBUO>a25:h~ǔ''2BGJ^Ʒ,MzA1$ ׷ |\.&~lXS;Bg'MkYOIH9]$1}"VQl~f=ӣT>WTxSuׄodIsJ 4-Γ'mͤ81$PqЙy_23 NA9Φ{F/6RIǡhH$ GEzbi/'@ÛDijt$t<HR~hOT Y`ͫTW4!]OnhOH 5os ? |6WxG6W-+r-{dV_-yofnsFJ=btwO|9vt>Dj`ҋ8 t;BeKOAIm+v71n 7}'ƿ1Wi[[7O$m~3HԼ)zɯ+Lf0N OcI<іPmnJsPv% 6Z_uQM U3LNqpʽ#*Gr4V"^*xCð2G= ܑ Yf@1zhO:ؘr$U^}.@cRxp;ԜRDߟ \K9XBޑR>_ j&1A9Bj*`9O@r}Lf6gw.HMXp6+?o"Z @Oc=K.b=J14&~4x9* {hv8W$`|-B9%< {)N^#ޑ< 8m)`9ѠVdb?ե* 1c@4 5ؖw7^(jq0~= bgA~ 4 -{nyEe3.2$TpqthGG-3qN?G$&lhQʅi`q濟NMNdZi% v[1'l:) Hw6p: U8 MǬ04ir#r_kh=i̥N@TbcJ}!s%)['53I:~ 5-Y0Gf’VM8bdȘEf֖kkbY%HX[СKwØbM|0ބxHEv?&`.Zb*IlZ[Q9K9!?`\y@#˴G ixWN}hv!,wz-'Cպij.|or  jQ4jofbqωcANI.;B<(vPkB%{x͞ܞ_0!R)ݛ%JG7ƆEr8qՓľ>;SѓG|! ixXg1jYdU I^;z+3H wb5ȫ8񋱒 zOOF+&(3E2>lcb%}c饮ސ{݌U֟K԰d|Qf gj$e5%c6\/򡂌u>i$d)H0:mfΌ>]̦J= Ⳕ%]rz[ Bhdk{З)+_SC#xwו"D%j<_ΞK>Hp2.ht`?Bk}v 9L;3yNA'K,ռ_}G[)ƾd!=y9 Ӫ/Y5:NQQ&ã$Q1MOp|,T lTkgyI8Y>q0v8^v"aք|DmylZ<̪ZȚlɳoxPyaJJCyr!q"!Y&чt1"wWc]F(,4xUng$< շSj]=.6JJRqΰ!ÞׯJ j#Px`Wp/SjzK1 ~ٸ"_NtL˸;ARtt{̷R y4t|  }ɖ`p#֧GT/7.J^=()8^$CZ{7B~6`#w;-6jLU}є'ĨjkZ)e|$rTAk]y-RL;ֆg ?:<Ōw@gYe :G;{|IEjg57ksjZ4ɾGZCX}[:0Za #j*\FèҊ>x{>87@&ߩXV4!NcI" TgLxKR{/uNq|jJ'9# $0Gl05AZD٠{A?]c;"}0"fUBU~FaWCī>1Gڈ*6We f.UVkwH0r[w/,lm%uKvzu`#N'- WA'Hr %}lz-e-W<CG؊G@(4 Zjyo7p' &h~_8MM@Km}55v0(>F1|#1o X%g5XSKg욹m*XK:'v)bz"?kci;dljEpdnx:bo+AHpPGO0 }eKFeНPͽmT8΄<;Ř }EM@́MILeðZENv,zM7:%1sT]f(qR$J!`x7 } NGCWk3 rp !#+heA|AV[_,QhULD3䔡{ȮtG(65C"&\b̕a5}yC5u=Ą}J̬$@ULD^b|9$)¯Vw&% l>@9+rN4+ksJ_(RO7B-! oO+# .6@h23hV^n웮 ܀Vϴay$LnĹO?S~$ E˜-ˑ^{|}]Yy=Kdpr8{7=-ɟ1b6y&2Y-.׊0*(lS4"L+37I/5RbO14={W rk !oWmB ,F ʗ$Bf9i謤y)tM+gYZۯ}ul$NCu;C^,ѣuQ̎{x~#st9˪/3ﲱGif<~k }!:%6eF8(Ǒ?(oD4ILvN_G_zo^B+")[:Z>Abvi5sX^~ һ{se_Ҫ)>5G0T+\W&t$h>Pxt poS^Y={?-dPT_K!sva/llU;MyE F,j ~F yH7UqLF3Ȁl5uAB]: !O]-QI>xJ ǖݭzw4s}KǏVӏePTx\fo[`#.F,Z-;N`Lb;_YQj$1Eg@2D3-N:}񕎕}ܭmtkAw\Ǚn/%k'\kXVl#-GGN}\ߦy0QfK1쳃U}hh:sX-ۚe!*nX/YvDq^*Z8ډMGcri>Gf{o]<@"-*;yY(ltԾp-3#9`cH$~&g'( ȣ(pؤW Pˆibfg:*Y>6BQhOv<ΘA€Ju;K= _,g u@N,^֗$h!kIU'`:Ff a^n8xxCvҜIp609h_D~mE(z\ŀ_u5KKYû!_UY2%3Bu*Mhghv Lw$Q$}KnvV:,A2u%(6c35ӚRUvʓuaGX yE ELc]OD8_x`uYy6~>E%;;oSpO?;ai&й Ώ=\ja"7|DwiEB|YX ĝRa!EQ,/F;#,<}֌ʲ&f4eVȢh^{^lYO(}k5y^i_[e*UֿT_E4bi.4Zfs{! zLu3}e#y9e.y3!K&弽- Kgz!hGDLa=f5np;_O}ɮg6ɹZ :v'tAڶ-c\ PpNa ZBMZC|[EP6\Q'a`zWgwWEωحM4kHZQNļ@h.^osy2T^@J ^Ʉt( pTȀ~Zt0^KB"tCmpPB(mZr#g9 ;-78'g[)c2&AM1 g27-h9s~FLnY`9^Ɉb9~(c>{F& \fǐSyN3y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"3AeN/xl Eq[Un"u2cVEQn,0G9uK]\&2{Ҁ2iEq`3O)>Z<vF@ tz6(vpp!f$[ D[պvԁ y8vjmG, 0: >jDQp+Śm|6Rú~&4cn;%yfɮ k2M) K:\Xj;U\K>@9rvIRS _SOg[ _ G>HÂ?\bDIFihw”&klj+40&!E _6_6O h* 2r61~L:Xvekr\&keUP ⤹Ua63(i5eFPVfa'_S-mzg+sj0H<&94/f}ycyjH~x49vSkDɵż Z1rxSkll(sXUlX $ ו!~-aR Sřr|C%lFH;:&T8A˯.' xT}&b<E8Fx)7.wZM/i\80EDg=Ra77(3}*?>,#:(7 Toy%"E+ۛqiHX^#\ 7²^Q?Nz(EFj]wIe`T2V] ;+P'K]/ gURMLUTvޘ0F).* V0xkH]ўQ ߣ :;IA&g:B%f%t <`ԉ:/AHKq\Jm=!:O[SD=PW*W wǿy~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy}v_(B HyB^!kb17(sEOan$GÄõb;|sހw'_Tkͭ{lXɴJ@ZXex% A>,]G]ci'iئbyɔ `s JCF3C@ƃ۟#5}eqG@^OHP,/x;L[kXg02,Fñ,X$~P˚F&[*zب(XYhKv{T>P!fCuSk'-Ӝ\lw髂Giߔ*/κHݶ&4ttXGeQBT2@ ?ҮƏO~1ߕ@+: ]' ֆ#,tf1'N+V`M˩%|Fh X{HQPTB+{Ѽ_׵n88Σ1 O` ;}{2-Q]b͉4 ^h7*2߬^Gގ5ow3x|.2k9"B Z-CtA^`p["u7]0SN㱟QdK-tk͠q PP|z4n|ɜ{ytnhT+`]_L4V6i.X{Wѽ7uUE.7UX& O2LJ~gПD&/^ơ Jp+ .F_+ߒvgW~Q@{%+Kf34߉'NT-cK\UK2Q$BS!sdU_߮t>_0?6kѿ醋x;0 ۍJS|X>o'CsQ> _'X{1Mw;i=?!9WB@.R,6w ї);I}dH莟'-#PІ"x>iI#~-hV2ƠLͤrmBʫkPeT{QygDMT%'"h?+@JzF+[r3ڲ>dp58?ثDf`m(2+ѹ!r{F'aSs[&~>Ǔ5k.i͋ ߟGJ)w6߄C{=TkN8 94XFXͯcQP^L|Za{EH$lDiVX 3XJ<9Ft,+gqG|˚ݶ3 Y0xL{Zl~DH$,5.iyζLP?ud/#L4 u1 mzUlaݩ~7~9[Ao8;[DNbb_Әv+-]O\9fq1qepԵJKH[),4&q-d}a47#4LF9<'sm^N*i?2!6izv;QAk]+ȌG(\*1dy |Z&fbX f$%gyXO zW'sn#j҃!bRK[ [}P}?pKq?lۉkG.l:In_>ZL8)p;JB !t9* s򺠐7[m!J>D==Cfl#O0žQʤ-EaG 8uwN*s~[zI&َ/,ĹxEy@uE?h"e<:A})/Q1BtfĮUs({6t Y<ٮ:Tsa2.}p+NfVl ̡V'Gצ!d8 C$n/< -FߛR(*qyJ.Zd[hӂ?3Bf ʕKdT}`n$퀧0]8DćDO\d;xPk eXXd3_ŕa@0>/25Tn F؇q>uXaIImb4fAl0|o˜~@gsE lQ*D٧mLՐ'[2DeqU&ulUx:c[+q[,OQ{~ 7pͪgCQN*90Jo;%{WA~ন*ZLVVqH7S2ECOj.jNIC`]8z1Xx6PxUQ4 ʄH\[b/ Y>{1ŁuJc\3ZءgCw39 )Uqv;0f>kOU@`IT5$av=2'"A:qyjDgfqai/!0鳛X)Y;!*> څdvHRuWt!#S  tlSJ2 Auʾ<`JKXg<;Rن9 9c=hX -6I Q\s~Χ04rsN +xKHNsJ{EQG;AdIM}jua4~W7`b Ef1'6!49(S'E&B,=C Fl},2M6R Q-O*E[۪S[ `дik3Բ2BXV!vyC?$5tȱeCA;wa/4m+p|_Q{T_N;EgJ2 l4@Ё]G=ϥr 1G/_ojAyV.")S9>EѶY߶3@ S!$lUXPI,54ANP-:m6XԖY@' ڨ!%D]H@o_Aa#KtZa2 ϱY 1.z\Ҡbw b>Ž s]8יu"%,E?W ͸9Kܫ3.+h>g hˇ.jGj*0b*LYoLf =CSd%ݰtCHMo&H*9tNFpM(.^#MvIGܛ9$ !s}1w}ŕaoፒ0JtN祽%3z04s6V6iЋʋԐm=ïŏY\#:%?;03npK˓Il<rm,aڐvlsz}f|F*;)KJd 7N ߧXCNIYhpaq@kW 3`p RcF%~؏ɮ>DD0nT:'XGv0ug< Kw;N%ew|D?tf{>';ֹ LD¡~ݺ 5(y^[:=*\;ׇ.z܀1fdpQl3:gw9 "uM c]/J`}F3Vrx\J́tQ6ŹS݅oR̗ɴYqAE8ݣw~=>e2}ĈsN͌lj\m|շ@gr9|42) F o7ps74Hcg@+0٢:= b`I?֧/nl<&XoHm~[}1}/т1oZVϸyQ+s^v+&ķ3"4;/zu|&Pnbz$ <ǣbӠB^Xtr'qe"YW*Њ\O!VK7< 2Fqtl{#((1WjkFdh ž̏>\gMJrdj@paAE6L>lIxZX`0O=-wA]t`j8̹c{gmvz8}^8J1H V ON34,'FT')eeZFp 2){:M ѮK IGolNq4w#nG/zI\>9Fzt26wAD.0Qnr qXeŧCXA JrO1j^)&aZЭ?{pjcF&yRNn7bg?Ґ'U6/m2)f{%A>T1Ԑ`B;qO.-a /y3G##;G=ד1;ln=r*y;i>,O8Y ﲊY Fѵ?EUh } lcܣseU$cPAs*L *!@ĠoVٻ7[+G]j= 0 =u>Ej_Q"2%/!+4Nhm6n!WO@ô>4Nv&jXGϢRF! 0ZU7v[W8Mem*S!Z d345ULhR5Q+%JNy}w->@6s.xkk33.Ծ>qX ǎWTWUr/=Lߡ(21XZ#eUV[Fiqq')J≆נ)_e hEqdA}XޱgYZHoЊTL@퇏>DWVpz#u9K((kv\;1[@]oZAtIĕ8~:찹f@زv2<U≫dVYe,~x lv/m6ļa醵gånB06Nt UUZm_m #54kBla@,[PRmِyV尠4?}K4zφ`DMzV]mo:OFg޾I[[&ѿB>PXN2{GNd+GKB.W-iw1A᪙Ӈ3x\IX"|g/_5 k?zMD'93Z g&Vw5]=>siK$ӹnp-(nfHc-?j7J'tǣbDLĝnt C!Q!q$s+g#[0*Y sĐMUф7X@+M~iqG Nl:\ʳ9 7}=2ŵHaU <]]lbM V6kvڠ9k冂2B%c eBI搂4K _`>Ln\SIVauPT He"؟`i-'ByoX%sI*Loֆү"f` hCg-g vH_yK̿t"e-}R1=;_NBAԬ*?[jqi;9q4 aۈ!I15H}k~7b[&4NL^Xs' n>6Okt07|P:BPjNvLI}d;kECo MiI(0!XP4||@JXvTWK',1vƏYp1O v \Wa @z_ս|PָH?B\{t^ s۰ n~/otSFLB@3jn( x5R@iTjgRG\O#Ui:I:ʼn/zONC߭a!فrDC@*00~(O+ID47 <5B>(䀮xX"=g4lo`~TuDa"yV|T| NsAp7i]x4'fS<ۍNEz5gpQQMV<1 ` S hxGrVS(xvihh0zؗ WG_obi8xR1JBRFuF7<7 y+{0,o< 5!_^VP3Wjc`T(yPe;THB o4',9L{\Z#T<l6:b fȬmڭ,mfp}Ç E?0LfFh Dhu-t.SI淋hi/4LyvTleHn|47^4DQ^-wZ8kGcideB.yQR*۷.j[aGpU.ɈU)3ȷ2Ns{SSU}\zY2`eȶt߈ATٵHo%{/JG 㚦bGw5-{ x%4֟L͜ӖwIH?x]~3|(vW$!?% K\P=f{5vj^"YL>O7L% Pe ]QbF0E8W3  -5oXqx/ժ| I rAHx`G )RKgaXï&Ki^H}!Pw@6ϐUUƬ*[MnZzSx_j`sg%y^JKjE(H.yեQ +f]1JNg=FwqD1"EGk$kg]\+~ Tf@jܓߞ}&sU#.fQ< )RIW:YIT$z dpQ'x7 $F]xn <-}`v%tƒ$BZ/}}3/νoEaީ?SJljj5}>CW޸Fj7-ەOKB2@_fEzmVJv' 7mjV8:m v-2 #7կ2ed3uU<1Ȋ&w}eq' Hg1?IH%ԹW`-yjIv?I c]#53_3H{o4^};|Q. pwQ2zR/q±9y0۱pI GqU^== *\nicM㳙숴`|]fU&6Q'a^I)MXJE9)uۻ-o[X^0R,B"ܲl'c-+>"%EHNb/z3Tu hsDN󲗙|ÎgߴD$&ݹ41Z?hbSK;(== ^,&;yn 7]vokjö! GgY2,kQ6e)JxfiObe>[mM_<`c͝} jnݺug9SYCxN8'0A-%u4f"&:G.F@>ݹqL;QҗiKn}X`{Cd_@{dwr/w=<;UreB {˞.pGqgW&oRMU5QT#hDLcwEtjBaV Y 9] ڨb&|Snخ%k9 olyJёcO FOIaD|l o|9tɰBܝ, c/+D1X8fJfdFf@NJSl2n݇}vؗka#L1rGАG[|U'̍% J43n 'z B,ߓ.+o["za9D:o+" eʚͪvʕti,D⃂wP 7&?x U|2x͟1Lcfa &7?#eH -Dɴ1OG'-tf8@j`iEO6%鄥]. km*r |ON>0PSIP3ϭG!kfjK)̱fGb:JN!PuPdH֚imdG ="qMs*pO)ʷ˳X浿}v(P*d٫nSC=kufˈKS⾟TserR󳺣iN- a@jyg&XB־~_B;^ޯv\(1}Emv+fRja JAT?jvR>2X]X6zȲ %ppFzr.vfS %lG0:\~4ExBҋh<σ5snN|5tBY1s%ჹLM4kA}FʖV0!c?! *:ꪸvzsIz7=Mjk!MZh~=|E-45谝k3Kse;]d(>.:K+*6AU[ E`vMz=CnX!0ߨa$gZ6RWrB ߸f_Wyw+M1 kϜڞZ)jt aulQNUC;Y+6 jSuƙ <Ra6\r&=yDqRE24ٟ춞3;iSqԢ`Wu+f_:(Oxڽ/%V2K =2,ro5 _EқlQc.jB77OT@ - =VYr>#y)X ҉.1k7Msߟ/C{: q+?1R5cg$*AӲ_#ʿ )4i++o몑EM˚5uH֦hީؼTK1~dTL?0D$2)lq1& 5j#löIj骏v RB6uȀR1&%ǧ: XR8[6:|ACנ4Nӓcz`v[!Á D +T~ BRa;7WÝǙ>9;` dxk(rt`,j`HڥnS·wxDrrIFPm 7BFN}qHipp(ӵB~.fA!/\j{!7h~f4?Mn&ytO$;$dݕ8x-3u 3 ◀l;}4|k)\! s28oĉySBl KsPV y 7v06xEu=5%}>4jwE4*Py)*8ݷ>b>c"# /6Nn˲ Ei_"oD3l ZOq=Ќ܋x0vcO:|H6gx3b Ij RTC[FndI*{LT +46%tGDHԚ d2bQ8j--՘c~1 k@53[vùFOHr$2=6iTLO^uP)шIHnѰ']9\H[CD_ . ͧ]GŝD.ij_Z ٛhh2iJ׵C̲B*![y>$8w,ﱝ= a,,um~@Ƈ0B`ްӓd!V'hdžo=&؃$ z[}'z_($Pc.PPvSP+ Hj:%v3xUJFYV8XlvB/h0k%q3'7;L ,L5Tx5)h6Kh+mVym51CFN//_*8nkAt|xPo\?!?uejs(v> tykK q"[GW 7++<щәKWЏaq8k8pϡoȺ>VSK#Ӯ|W>Pو.aaX1R$ #y+Ġ#|wx<Jj0M8bGFHZx]3*:j`]~>gAÇ~Kg>ay^[6P8R%c5M-kLKjȦԤ&4|W3?tvpq$6ءM,'e`r)wÜ)Z7GJw`r"RP#UV]ew, 8 Бx!.E >钣(onCnc ' yqIgX\ex͕WIѓLoeGjWv&͢ѴYU(P ր&`WpwY@BHTV6 qyP8S`r\dEsLjQ=feTգ D38M5y0]1.YKEdKS8U\תU|nܼmK^zRe_Ǟ=\ĵlqbi:g)Ik2(CYm5P-r+QWx:;ue ^{5,0(T8Ya t==w]/etEsgD>dtGn@HRW@gUlf=ŠMU85듥W\53 tqߨ.?_S5ڌDIKf'sG~!BK^N꽻6!x >10N>ӷ?<ǺsF|PAue_ް7Yư%7AOIb6w,=l5f^ThD)Bxlu~)T ĩXTc3[Lro4SGiep`ܲ#y}SoD"3BbtmO]3(Nmg)WcDP>}ɚ4ґ(f緹앵r'5' ^͊t21xN/7Gx`!XYa#0nŌ%YS.#k}~)K(= 3rJ0_q:׃*z7*q/y;'0~72ݻaTʉzvkjGsV3s Yr1 f k$fDg:lR) J3Hl)(bw n)M:/KznV6ܭ1N:ꐅJLj:f032JlҮQJ9 4R,P+ڃ%ݰ+% 'jT0RAO`Vlqh5GT/4rl- *+9g"?ȳy!KQ!%JF+ zb-X_g;KXve| \4?ѨRWU ǣnL*$~˕{:S-}\ܣ}MqJDU&@Q@IUd#qftgZx124z{́4 fv۷^e{2͟D1MM_`1H~~|jWN=UtwK|Ga=‡aZ:^ k3/s;:os>WoPdbyA[jh6r4O`p?Ug 1w\GM2WXJ&[qnx=T*/u:N13M0NmK~i݆Ǥ% Gsrv&M۹Wez7̖.lDVTdzZcc1k̀K/yr0?t;ze2+b)P>ZuLɮtўԑ7j1憎GJƮI(xhRBb]1%Nf8( KൣQN0(a C3ih}= %)w;z\'㤼MBHѽROP(Ia{3A V#V RD;[?Yҫlwq&-eAf-%//&\-{1vl+Oya]7Dəp-9@oV1)uH!7~l2g X6@|7E .B3$ÊV[V~᭥^%`AFc\ړ!%[)\^(U̥{ezX.e[GNXCeNL `?%D)!pzډm̢@iYlpkjSMhK8oudCdI0ksNi6q-qXq&KRrR/m9}\sFy^{d4 Jܭ:/K ޵IC/ƀ[])ߌٛG6V.$l.xe;A gW衖ȩ2wH(JD"?B> Xț/%*R^.,$@./TtfuΊU]B@`6ƈ,y'1 q+fZIm4g2~hBuxfS:e(5yF]sk0nk؀j4 -(XMi(8uBm%d}ة>(ԯIt9^ƎR`nPAܸcBP- 5/]8Nr9zb|֢kM|@d,l1P,''wܨdG1ZɄBi=D*>1i6#XmTY B}+SO06eO 5X$Rbl#*S`pf@N[ ך`kAs@,X.Ao5oxoDPzcAN([:L8jRP\p\-J?2-%q-#)lY@ؑ&W tMvv@?Ёۄ:"ΤHL3#j`xS4ׁx*⌫tV?:L"kE7 k?d]w.] 6A:ϳO[[$"\q^[QG;$<$:G<ۺdᶥ[?ZD>9դAE\sAiG|vɄWb\X W隗eMzygIG _W!^t ׬Ͼ s%f g,.G{uB(tب((KYA, 1^k)3 2hW_ưS\Y65 T OݽV: |{8N@h`1z( r!L ? 0PfǶcl24n}>I͍<{7Cy|w⬘L?&Ckoġ)œ9hF+&'Īƒ\ʄhتǻ8]K{t^Ep zjk9%}"w,+Z4-w,Z2Y"0^~: vM;c>vSZ7B$B*ey\q /+q-clpdܸ]xBh}n UeyC \T(38ճ,AE)g_'3H_$5p X:}{g™?OEʿ oud/-W6% Frf=:VS} ȜHɢ+`,Z5[6ZT/udQ _Sŵh{X^5 8y=z4gH8q!)f$FM!b +/%~*jr6!A%G4>,GXL"Illѻ!DfOOK [ɌsߧmӲ;%d0#.9fFѯmwxnDt·RD,eMc4ϺϊiY՟B75\W4cZH`2}}76`,3_9Z#\p/RPQ&Q&qQ{6KH)$Ǖ`&"#CAXˍKVj T7@ ~ yduԂ'o?Q. (v =^S׏*z4ko Iü⯟gzڽ m!C.Ȭs9>luc75( v-F5Jڱ+yp|HՊmʄz:|́Oy'ܿZyUū:zn7uH2>N:r=Y5 LRIEO!pl݆%?cYpwNJ|C)+iO}/fv#6tàK$g]ĺS݂0(,jL!Sv-%m]g@֌APW? UI7kX'|% awQg4hQ[oJG#??e%ȬR~PSG,l`򣾳QxFӸ[yDn۰pͅУ AмrUk S&y8qSK^ ߣD0<1a\uhw207`sx@/Xٌ!D(`TC2bTvH شA[R0۠1ֵܰS=E=RTH"qBkʷW}b3_Hʷ@FgvP]IӔz !UAZÕ:0p̯tO )ϥ^*kx_8smni/p|u& [=nbh՛avݶs kEgwtآPzFaНF)Hˍq]\[Q~Y]s5 yR&ļU!*h(4yԋI0HGS"dk :T,^bkmw2|% .2nwFq`쾜3& [[6~[zCc?9Od6!7+\ĺOI# Z].$uVt%JN=,8EB#ZL]GL4G>,s 48qq Wm/:oweg(ɪefFqK9#=tW xgR?$FOqN RCj?yJ$Q̀oel5;j%UJbo/PdY=XvTvYeF! 7@&"(XQKxU`Ɇ(|T9kß~5w#Ȥ1y)5ЮAc Kpx٧CEف&si肿f"[4 -¿,x5`̋v)Q$Usc'GPOfU™= ڬ3oqY'Zl1mTtI;OOah-ܮg ja-"F@ӆȔN\9yo5*Re2"< K\sl Y4SF>b!^sC_e=Vw`ynÀOI죆A_c>ma1k-Mⱈ@Ji>hN}xwdz p}BhX%3{'W"U)h!^vW@s V,pkrr,5{K!}XQ%{tpz8d83;] @{%Q\ `-1lfg*9RjN4é%- :1JbKx0Y;cID.*}v,o4:JJ.ʾ] 6eZd#τQoe̔V/ޝ&^ QIt6p~$艢׷WCĹ:?-<6'o'i4G2[MMqfŌE:9Atj\EPڭ "NԽ;PcLkȏ6X$\ E;zYaA kD_ι#V$?M$b/c9xS㚊Qk?YJ!2ojX۶jlޑf8'S¾$azG P{A2Mo>2zdžV+S*2' ,2ݽ;imW,f9yVtbxܣŗPeP=e ="S;.w.T Kks#*F2R =I6$FX$*9oː% F6e$Of}d\~ReaDJ u\,cW0P[h8%s;E'M7lKeHN!Mi;هUmɿ4) Kwj󺋼dAx@8]: 2ؼY*UZ^2%6UN\%|HL,gjvCs}=)&R;\Mkrf;]UIYa{3/P=.{XFȝO$ttfnX=񫍚sLd+.&&C 'Q>y̬mM 6*R/M#GzxV4T/YGhXJ`chEMqеѪwA aBe$ UD{Si.~u6J#su($8m.O0qAw/ L[Nx{7u&!;C 7xuAƂ6.P YAF`q">NE {rǴ6X 5iUea|B,,>kuӢn8-?FZ11gС,vpHk<֏7,6o!.'f3  >'X97ZF S10fd=j/@.Ն?|N\7x2&dr3jwƘH1Sϫ+ `o}s_ÿqj"DxblʫD}֦L-ߍ4+ W"i{ߩe?\vg[+ CۉDNbC%$m ~䁪^{e.[rPPuѕ*l UGYzؓFDUc ̶v~^\mxAHnCoH Ƌ5)8gVS6ն_0ְv5|B#òѮ1S0`;}W $鮳bw/0FCTɏXq4F~W?"=_?Wdn]LӔ Eλ/gh=?0o~/9j6"z1 pu6ernRҙ6$B!•U%}2nc O]ĈCGlͭ3De_W:OFaRFYM[^%ef_'yRh?՟"'.Jn%:`qn޵a'YjwħCҭStI'W>T98+ouU;T?PF<_ ΗAex;LHs *ꅏǐNx.U*:Xf36gc,@;?O$^ YAwaoWv`!7 f0QBG"=:-:7+= m CQ$ * 7h _mI=(lSgٙ\XkZHT|DҾו^QLȥLT!w }_Z366 'zaۣΑ?/ zT!S;>K~K"XEM1BZe>c:ۋn$s؆{ZTθ=&'g6 G/7H%1L޻~@s5@lw2TGJfYla0BŚQϺˋ"BP|Եxx $GgWAx#'HF@$wd0!8^a4>vz!E\$m-)Hd`؎ᾙsRry\<̖ YuPn-# s[X=Ad(Cy>vf]^ߺP%{4|sSHA2[19pwl w]i$AGJdBpdko6d(A6YE@J ly\܎A t ~ɀ۞$dfq̨fEA=ƄG 㤁kp>xw/dXr=h)x͘mPNK({TbJjNQ~,ARnFs s:c 3Qocz;BH tH(y8BUOƏ@zj(4*gn% g!PiiH_B5)^%86º*R*M7b4FR CSb͹̊Ðv&UT K=#uWoE@Dn>N 35NΞkو99=bXgsEO&7(m!\~eQ#cI!h5nQX6 oqD7dD2Ǫ¶.IglM0BucDbǜ`҈e9v懠O` &!ʙ̋8_}XND=r ԲbRZo;":xS#zʹew~v;f=IvtE+„ }rbEYƝУ"H'*5܂$4Z3L] ޖ,хTMZE.'ܽK!Pyuw\s+R g_plx`,3) Ztwj崿ԁxh뽰^۶zK`rʺ p"XM`{[ָF@=b kCcڪ>m4E KP&au87f-􅈟Х3q,k :KV;@qwUHB(}LG'HhT<ñFv:4}r9$拸4n- Xg\Hd}uxa4uetdȯXnf0pG"B6"l, g֛A?Y Ƞ;g1O荐Sfv;Z7~& "mq#0+ 'V$uYI#w];M4CܒHJZuq/,c Gh}O=SNV-(|7yN~xux(S'#Im['oܗ-O%f+m.Əg`+v`z6Syt !?N6hۅ)bޠ?|R(۩}@y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7J28;)e @:$썿A kw^mb^ Z?Q ?w*Kɞ!9<ߟ3̖=Ɗa4? a󔙊0ES ]d?*lls-mC'~EWzxjW8F⏼+ c3& "4%t<`[ JL꾴=7[.fVf@EZ]]UBv 0b¿4x"(d3;<6K~o)@q/{v"qiޤ"["88z9h΂/FxV]iqv"e`OFր[πyB5ϒ5A}PIcnٚ5'Eopq˨VȾgYz쵕b!ׯ{#WOgfmv13('Q& "14uOQ0d\&uΗ>(.y%Hȓ[Q7mDcne*3೼;27ʩ뿸 zsh \cK#(.3{*RTCB(熢Wcu zwHd !(|T!֑Dp_0{Wq h/y bү%7f¿ R4!*$jsƤvdyABbYYe;1\*N"涐"Qs,HF qMucX'T%}1ZÕߨVDc=.\`N%IZv*>z{Ս,)K8PZ)o>a@Q2 8Bwyu8>B>`Fm< 9텈f@:B@K{>A0,scƵ6ucξDuBB DtS8CaCTHzgJyzd Xƒ&m?ljzPƜD*,6lTܟL'h5\E- mt.gnЎ\a0ǎwn}ly53ꜽP V'{j2|= ! Ռ (udruMP-j@*g||Ĕv!k}Ĭq5H8ˮ\r Qk@d8yȖ0c9)A=wO9fEUe5:<^cɵ>h2(fχ伴alVw"g)atlz~$Pb]5 ThMp/1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM.1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id536-1A' ,HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[zcf?!yǃzlL54n9N=PX-pG/N=oW+8:^fz|Ue}:h1$H<>q5B!aASP%k^ͨAw'MuKDn4ћX-= TNĈ_7 "T v!M z%?HmPEi6h>M=csOxmub9)FN=Qf>IUyoI~Ec]^ ~t!a{S pQ@gl0Wej53گeHc ;>#Mfѯ0M ]X΃x.x1ddEȪWaŤ"+D|s]6Xg=g[.QuyLɥv2^%/N 䥥eUʤ:]KEi1!pKqmĊt~[# 0d PkhDJ[Vs "$ X>79`/+v!ĆYP/S['ϠvfP|qlY= lu'coKMW7NAermu;Y. ]bGE? ہ7ޣaQi:Uvy2{ۖs(9e찠/U^\2ݟD6b3Wiwf]q@ (g:<Ǯ+ߜn(d,KUbr[F& M|.Ë.rY'uһ:?CwǙ*;DτIpXv Ȏb[2]8jgC*Ӧ[*ܱټ0dXV?`؜4ubheH#]h SGV& $Ǿ9ZOs=]_ WD;χhn?KdP.D`Xʱ D zʱgYZy{/)\pI/:sO] 86cg x7'W 5|+=u?6'0Zs:gBg/Mo,81Yl7)"!lQq3(Ϭ/"ݡeqolP(BsnZ`y.>dy,﵅0jptF}gte I#)IUoWp!.]Fjȑy}i?ߞm% (a"ڷyw8D*S#8©٭S~B*d ,Nf<T]a$N\ʑ&?n*s.N)EphKq˯3<]gMϠ⛡X H )FFABln$6Mv 8V_mZrn}]0R/on#W @ƕ`Xl(kܦEZcenZhfE!}*^hM v (h \I0I(zot4! QBVN6Ҟʣ R\fzu-+|?=ey3Q!zZdSܨo<+V,F&lS.m۷"6^:^I}@ڬa- HNS||5Luk9ّ^WbاQ\PX w տ?ZvВd}[RsKYėua8{ÅH0ǻyb@(hT7X q g3Vk/1dmYxM*+טeI\^'.!R6o dOZ LR:W*R#y+Xⷤ@fulx`}A:X%8ͼdJΓPvgsZfNm_Q{ ˲ڿ='ߡ~c3RC=K l:*(1Dc&US~ 'Ʈ416~wU(w6q*& C"@%KNU<J !> 9>Hx dnN0R$j*ΙU֑h!3䜝ZVe˾gVvVyIkb0ZHիJdK1A$IbNi՜a5'r:s.z0n7d6 >`H z\|.+3/CRM87Nj d9.{1I]^1 `:X@ \VD3$ҠV`oŹ.tU4|2g j1VS?nW;;eIfm'0\:rFWq YÚ|W9ɂx(]EqKLktЈp6B:CJa^AxIItk*9XoC,TKP4冈[5 d ri ?et\8Qm$xK.NSQǂ+ѰS%ua*E2MO39ʪwU4umFLD@б9 k:s|fQi @Ƽ T- RiT#]&&qDKt Ι,ߒIB*Xm {}#>`7l>]!H mx4[䧄tr?k(10]IJQN 6gʧo,d1}q!|Iΰվ54x2 8hցbsޓ(O:}Q_=-[N]בz%N3X_%!$[6)Qٙ#1'Az8 #2r(Zk_[x]&V3!1˲҆z|qn%$E!P?:@AR8XYg@)PpMH% H1 Mi 1X RF=[+;+#V|NRf+TR} %'8?Y#8\N~bԧq̣ʑ*Fݶ <7Yчj@`ftjf-)&S%Ut[fd۬D(sm)Ų["[et\0BIinFbcAՍqrx!\$%S3_X6j@H%I9Ā/&v̄Uɺ dIf4o\lp3ίh$vv!t4 ~n ˆP)E= DA&=R Q5Ohr2\TL%>eKw?5R*VҟxKv`xk4Jw gpH`ƀ53 F\.>XUSMV*Ճ\B+iXďRh?[mg)X:ϛqi%{6 Wg{@Usğb1vuLCxk<”.+R?8$-tTj) P֠A??l5amql3{x-BӎF-7WJH{g4o"ZCdmز w͗!iI8}d_FS/p,QPaQކBc0%%63C"Lݮ PH_FiI\֓6`l}#;y.&)66d3\4HGplh7>;:NO.Sk3Cs'nm-NFJZl벷ۅ˗^Wa&j~{ TaD>C)'Dt\Z3PS9#۷=]՚w0b(U>/9dh;fBqrF/0zaR#a#. A1O^\[ ~-4T ˿vWv7D=35t$;(Cqu''4Z=sc56.52hblaSOn& ߭֯'G]%Q|ЖV `~NL~ 9{T؀:żI iAT`\;*5Q S &=s9u7QV_ FIEײZLMHZ_7x#Cj wbE/% .zT!hɯTP5b, &\gKu g9RͶ.H,y;M<|΍_y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1DX+FԺ5n1z">L#FVv@Uaf`a5#H{FlƵr+DSvt.ijY)KnShIh'OA`A@. vƩ"E#3Hc[ĮecG5)0D#6fZ=g*@r)W)+m|;r }+@)^=O9Io^AUuy}a9v0HgoF^DKҼ+UpX%.S]o$AF`WC;mpVX5a:[+~l㟆V#Eа0 ȸw\A` AiexO S.{. uJ4+_, 5Y- iKhZOѲ:Y,@U/R#`tVS-XuX0dK'D+u,Wt~5,j@?bט.VT6䕻˯DZQB90&܇6yDQt* Lx.,`vN!I|Ѳ0su$%T <"v:X%|KBGaa (o!cHz4 0ʮ{$sg{lN5DÔ[ZOH*}Jd'oW)qrz5"Z4_#c\e}ҏn&P u)a?ɘ0(|Ba8xӾc HS|:˼9'_*pK/Jx?ioxa="JQT-GHSսGr#{]@pe*u6 ^0勱j[|vOJu^nXyݻuyx{̉i4 v 0޺)^/bOa2k MXtV/䋄^)@Y b;V@PN ʢr?GIBEzVAB='v)xAo  <JYX sK6 0# Uly~3Jn1h^5wbt⾧=nĔ&Ϥ,UGs$]m#m3gqrEFY>*̏h$Eˣkgj7Mg xJ3wS ]爕7ejȺz$ܯV+ -m39zYP*\{2EJ!R,iXE'X 9Tx1X0aZ2+(pcY[\Chjr]c|O^i`S.aຄ%!+'ݒ5VE9 k4Y?W@'O;z6B,}@{|#z`*bq`m‹-+B`;_xfJ%Gυ,|!Ds' l$#4"aP;0N f/ tů(mŔijm?5`k%GDKL 2 tWm`r3h/ud=E/'zie@0χPoPԌb:VH~Jh&ivX2GxonS4.;"{ߟϓW^E8,oJ(Bov#EnQ4'SXXd/*rzh;/} n=JD[29b"!lkhÏ^'Q@eC=*Pσ& Ɲ^9҄)oax|"֭0@CN?V$M.13?V.>ü,-/apf"*:]T=7@:/!ֹJxFoIup`F1s=ρ܋فTC8.RZfp[M N6̀[w2QA!C>o gS Nu64BW7>2T&ܹCfdWN˚gţWwd=74H6ј}3%݈rSbp:NᓽݹUWI_,` Dj8DBFd0PRBfdP̔0B\s6 P oNg$^ @t0: ׁh[x}ۿ֠KX=dҿqXEK?%kЃԆl cI_%}nxBfM1Ca(A j.} \YIfk]SIj lkwr8 ѻUDBOwwZ^A+( ݀&.[]er,-UWM-G?7Hh[|fx0p>X #op?ߌEӣV4% z+/=Eŵܼ2,R;?@&+=]#_Wzũ:Dբy" Ki(vxKHRJ 1}c֖8ʺ18 Į^˳1J`5UG}, jO*.ߌ_܊jml[óx~X#9tG58K% AT?‹9|Md|avSI|(ho9 mJqO.z@ mhq,DSزw֚k#bї }tuXTl9ZgYZ  ` o$81?' THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u!]D?7 {?:fH\x`i6qHw[UD h 4Z-()d2"h7~(8d.έۆ>ɉԮDuK=мx;%(L.ՖRt*r"pǿڷd0wI#%j'ت^Wc.&!k"2^b2 ͍ML\4fK#xcDo 骡ZRT)L,:ȹ hAxl6pLl']ٺ3F?/Sfx<xdkpBGq M5#RsINBEi+~Sń~#Rin-}vPեLt?8j_ RsѝLܕUk s5}"UqKITV3-أ8+'|j(hט@oqvv]^Jyb u$t3BS0rkOtulO5 7j~ bM_XB \+|[e^C?KaITPI%|^"6 J1oEC#ߖGLs]CoF!7^PC@ N:Q\.N G'W͂c &^.7z%?~TULohV$z1!#vP8y&0{ e*7{ <9n*WɸS\˥A˰Ix=|.7ȕzʇUЯzGG6.JTD+ā؏9@n? ˬ#Es8غ>|N n'v1mJˡjTj/Y|/Ę7&n7fK+ hLn "P]:,w#X h?|ߴk7T"ƹt^ rR SH.L/;l@9YA"\lIȦmI{\>0:Vk9jki8 0ȭ[EӐmKI"_:̽OIhZـW'-ȤI0>$7A)X!W[ Ӝ N+VauH_l UHزITƍFm17&|1qKR[o⚟P7].q%]32)7s u,5 ZHl>$_D"!?T ߇[,4e;:Z9oUn[|b*= ̓)N aQz6. ҬڰSZY׫k'1GjC%DS__ w !/<ؔ93M@T5"1=_g={vGE6+kp̸tĖʏԟZlފ7"w\{'zuX5)ާ Aŀ9J%qUKqSj7%.6,cz$]/]f3[Wj~{CJ4" a)|w3/ s;}ln; TþeSc@ !6ayYʩ0Uq8Bxa>ŸXbvO EB[(eX&>*,A|<8}Vn_8M%['|1=-gZ *|!rC|97c%egYZ_7 1?# LHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! ^]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥A4at[bN9t\- 0,JmP`61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[z"@PˌJ; uC-Yh={"*eHa>Tz?BSSt>שlqW(w_@Yd E RBXZN/5NVv.`=@\*|MN؈cE7Aj<(J,؅wi5u>0'a JWz<]цo i5/X?6g(:v$eTw~=b&0wjx ).M,5HyMI \ˣѲaZeq+ woD*N#Ut+IeDfX gYZQl@ 6TlN^+&S`?bcl?Ԟ**HJ}{MVV=kLBAa*C?tN߄grZ#sLX!S>ݞq Hbg}}5[xej eeyd"ZKgŚKŊh<[!>hѶhOz 3UJڭ,I9=1d&dl$Qg8&J縢tGX_Cr}p 1ް'na0F*/-LRjS 7KX`'Eb/N&(WI :.?L֋2aP1O(;Dk}ߟ8$lfnc~hp>璜V}wřg/7>ҥ %`RuKބO,_?EK=G~LܚDcd3eiWk0v8g[*SZ\nvgf(hKIhҲݝYɀs %NJmݡ_]3SEn1J~V|ē/mWifw.A $WVDU4u{mHWGM.K8 3O YGCؾ5_Ka4}ajh]uv`^Ʋ8irba(Ԫ'kDDl?w \PY\afz቟)^3ly5P<"t5_:@[g|F} CN(5aXyi]@WNN,+Dd nmkE|=c8 shdn[Q~3Ɋj_0 ɷκ-׉9H=\3#FH5zpB łS@2|'L}yП,#$ <.6ŠlL>_b;iǍZ[ G5Z} ڣG>0$=\_= 'T&M|0 8!ms2N}CHȳJVh=i7m^ ز EJ  0d5,w&C/+(:3|RPL=29SBJC2l )Z(>OJ|1٨mOa>Iz{fL˗逍&)0ITsEV2?yvO/jс6\퀧vߥYSRbc%/@/f;*&nLjQC.bihjĨmXIPҙv6>.ca0%nF172[ " dbI _c5azo햎.rw5_DsSKiEP*Vj9~coB(Rj+C3y#tti`r8igXR3:.kЕA-<5-3d1} \Ŵj9zI|H9 qWϯz0h8olthCUtmt*yAN!uhQ`xcT}~n#=8}~+18U;}´"B,mʍ8bS'ѷ9!\ @ѝڰ^,oz4cGu_Z]NyI5yp>3 N@ EY|SDr<` !lR?U;ѹBShZ@/uS^ؑs~UJ/2f?띰ja\_AW%+6baßRJs 48 šy?8jm=j!$63/n+GM_Bw+q _ "D-܊/7CTN?$%-KRO‰jHRE2Āޟ6HK@b/ot2F7RT#7՟~WvWu-rKN*47:.Vuu }5`ұ'aUMA0ծ@ggs<\˘u|, AZ {(LRF&0Y$w$<{Zfn+0SNJ,$bP>ZV z/Se-oA^[X3hAqMqڼ J!3>VtgŜ?2{640wiۭ(ms?kȩt+,>rߜA|iwVOK6s_zè̂nǨTCr|&ͲPF*]×LM7mOYjq'HeEnźāP8V3 %}̻YO'!eGd*,K88@+Mk5\)_ͥet>˻,Ib?`$]V)5/Lk0U6m> en,I@#;6#QY|djQ[A_ip"%VҺL'CkRr&a&ǠBx euoDk` cD|72?PI ˪:F}«˳c|80_VO#(5{nn% 8Je82rBF lFDb4#T5?+_]3TTe{}U1H0PZԏGa蟞4yB~A*@܀4Qsy Z% #P_J+n(!(}B>e|{t!C*"S~F> *֠On8@}# !BtvR_+#t-+1 sӎ"g=4i<~i{.UH C= Z Qbd@]..U:{ ,7IFj(O곟BkY:*(e D 'I63ڱ8R_ӛIbCQT$dI)[b qduaKnȬז:LRZ1K\:;@brwP§ BHZBqWl 74pkԉ]=M0Sӌ4Luc*"iޓ% `Ajo؅J`[ k0 b*v4dZWCS2/B2sS>Huk7枂%`+lhz"'^R۝fT>nI&9TnPglң6{\'M[0V$7ؿ/-g'SGcyz+kɖ%%2/l"@?n*?0nvGJV(@(~S4TJ ʠ'><ŰIdrIg'I4e_P kM6J2 !|yqRәHO Qq䶽2-Z8lߗ|ku=l% ܣ'n^2ܬ᫐Aipk=<́5]k%rt=u.AVEv6p''A]h@5Miu 8? z!zYzoQgٵiIA/:?Y3 Zk8oÞJ-j bm5/QaZA"E#-R[z'㣃OqgI[^%7{,pXo5Hhzkӿ:.n(7m}\,fҥH-3 6S8 kx|8T嶍lzA\K7[JՌY [/0r3MFyB{@S*JX[R{7ېTM1vYϔ%[eJTg#C!ilxͅ BA} jA#y^2ouEVI^igYNX iטOb@[Cyp% բ dpܒ#F@h5o{E`CT[nE/q)G`t\뀬c's)0|4G-}ߕY@܏gGݫ_/I'}ρ@y1UTqJbS$$+# sD$vM %ix)=v {>5%N!'\#JS] "tWDpYx „C_"ǁT7ـ3,T:}bHtAʁoRQ3_)CPxҼvXzg$' TO69u' ꭣRZ;rW;QPdQO~We+A;|`&?b31C镨յAWܐO6#y]Թ+g8eXM1/ j7Yzea/M+Yf'|2LZIMGxvj%4KQ15T7-^7"Ì8dwұZ7zPfid揯ARYctd&ᅐ\"oW+^skEg`9_p(ww7|$/,w"QHϕ1OsY&h^$aSJ=}[ OVD'b]6$Z'4¡Ŗ줙I;鎥?1;ī EYY_ %!94MцQrpbc8k2^G9@I4X&Rʧ3dP57wL =IS%CNAST=ƻ_i-dIߛ YJDŬX">sELϡn ΑM3r[2Hp٩BqCW}6 e9c=-|fEnܧ~/6 䩗 ~=JJ 96Xn"yF% .Jm sDNE{ +;!]kaJBGoJBDʃo-F{6iTQQW]E@20 d9xCG Gr ?+}<;*`# ~i=!.[ZSdo/e'*5bjY.pIyFfD)f0]5nm'OS˖l(ћ/Cݑ_%/+O./C4yf-2b*;@r]&h^ t%-ފ5^?嶯:SR) R[r$ͼi_e_cDs˨Z ifM=l Br*u*yjUz p0+c$CdLJ!z}pUKOjvx 0K"G噊JC@A"t&2$%.z[ma,ayu<ۘ% Fs'Ho>X }ZR7K2) ]!!3Q/2'x>E ->b[ OƹZñ2"tk/`iѽ*؆#ZȒiYLjrnMi껓}ЫvovI4O(8eW>Ўwo qd9)Rˣ}jgznE6BY8 w sˀb+bT?i|OxZѓF]fHȑr6yǤuLJ(Vԥ9Qtb[;kAF;F@F$mܐYZ:Iw4G*Ԫk~sa].CXYc s@ɭt\TBw Ns}"'m92ş>-+Dpb2 IAf̌1:u{Id/ t֙Ń:(_2JϯU@/u6r?J-$Yd%p~tJ3Pr}$$=*#v!⌯vyr~ =Q&ֈy$Je (XX#7QaA4Gm?-˄ZԒ_NG|O'loc&lǶfSez!Ml-B򞛨2t/AF9G  )9g.f5{<(ĢNt&؍Z}HQ1p._4L1mJMSt ?0m6y^4^+=x.`0m\(U${>Vɇ'_Uˣ*\ͮDfczGDgXޠގ<7SVV;a+ֺ])[^Q-ݳE+Rwv3i'4EމËɢp>AuϽ5 ^* 8#s0"Ԯ5"abܖaG7LUq(/C Ie-z,]s0.06}Hlf+]J8kN1ll:x=?x#R8484kcF=dԸ2\!3tuELITu( e{5hoLnT,j5)vVՀ ]rû ןP]&Q?,}0с@2ŇG$itlPѪ5z--&;kǗSCd/ IrJ']hiG9uBnna\$}%L:n;ĉBdYQXt > )n-$1in2r˙pb/leòу>~v<ljp%阋vT=SV~cS*\HSR5zw xKp:]"QB2:Id?”N, L7ga˵deST57otԅY!qz(!Z5ʷ#q2:sݲ=3X*F#S].2)v1ܹ/5`=Pkkcw].t{Kֽ QKJ: &֢*x >Vv)ᔲPA.<&TExH6-_,X| X`Dț>,Sjyc'#uy3EPc1 d4ygRO{VbZR-$[EDg񥩚*'UX#J'OJ}͈fP29iDBbF, E]D٬?O$ׁ^_NH64^`f@*2Y\rJ.?&E Ѹ2:s.^|dOEsBZި-j%AdDz_V7BX=爗!,VW!鎩Ε]rc0cQJZAku!Б (6zX0=Ԟ/P7VQ6v$ s3UMRGy{fp!}:[^)BzhkL)uxwCnR.R'}6ћ\A>\{jR[wjߘR@%9 SKO:YnRݏߵГl i){alAjkf' 3W2]<4,Uv4JxCGeף.*W^q h|e*۲Abk̎bPMjJ)NރySFHBXC-7}6}U:*fP334eFT/m\'&-8I&g/{2Bbp,JL!^+`NOKÃ**`0vA BE z6K6tnA:?.*Kt +H^ABܾdy=tn)V^O6}VY,D1*;'r!:1t9%q?-߬L2NwᑭV֡vzf, .œÿ X,L{(9%媲h)ٗ~XUR- DqtNUDιPMB -ܚyj{,M5Z:%5z9SMd7b@ 9'|k3Z}orԆ#Ļ7$S N_OuXgs1sVH(Ov:EoeB7/r'+JN5Qz"U>u`X@ Wm"4I6^z֡?55<f ='}˳r9VBieAUh^V BQIQ5@/,ۢ,*z vήKב*ŅH-E)˯yEZ7AC:m 0 5r]b>k+S+U?ʫTʓp<,,d({)29rM[z@QMdtܞ@%]%8E-f\Qw)aAIDO4H&&]iѠ!DrawLluO% >3fdԘU<tx\ 6rݠI =zzsdH*A2eSͿl;b<'(Re{@_89P[/^˕R"<=KMX:+!f-OǫtįS-"Kqcr"Hf#ۅ"*.^;!Ge뼟P^ >&NdEĺ3H>np W+|f⎾ nNTӼp$ՂyGj! =ߤd㗓=ީ>Re241*Kirq2k>Go1kV䪾HPB2ƝL@KeQ!죬㖅xI%?0 8 v E31޳%I&m:2!%qhlrً qCFRZ/`0:1}ZȰ+7"hpF<},m7<>*l7Arg/6q0ɄKkL ($@=y5lweG~*Ds:o-yt]ѻj S>_ oc "pUFB4i |B~i$(O3J,.q; :Ib5m(.BB℡MoOBnrUMh-?DX,Fs7 #FNό~C˯iu=qBz>6QV>imEݬU\ۛɵGuO 6Va 4ܪXEi\@i4r7nrx"S$ø: ݼ oű+jŒΜD1T.{ @zG:iQ[ ޵#{CRݍIXLrͪ'HX46Vw -µI3!x5ijrAcd qFJXj5}.Q)M[Pٴf(rq%?=~!  eUܒ×NYEؿ {R(BT?.N-4Iv\Dd \9kza,_\h4];7vI-}\vW[E]vڿ<=_[D|mE t9n:?Z,R#{U} XGD1.&mU ̃߱B4Wَ5:kڼr[f5, lD)SSZiaDJ@r= //;ü]$ ]t>rhuvhK.u:c`2w$.WJvYvx`,tJ״vH0k% TړT.!u^e|7nQfV|21wapab~'5 ֫xڷҶz&3A]e6qҀ /"\٩<¦(X<\Nհ]]W b"yBK ?&=%oPD G <=wy{6ǫcqtXeóau7l@1CUE6 ~郳K`9Ym.Sw!?Y}ܰ/AFk!ٺG[:y=cp_m,ᠶBul=?A3Gр٩=p6=>.y\ SfI?zcvs٪=gB듃뵿߉N 쒘ʜh3"nq]oEw^3.ag?m1\ w]M H)ힺ3=Dab#,! %UNQM{w82$w af(e;~,|UIi|Ok{+Q*^"㤠 ]=WwcnzIj=.'4dMc *Rxp71y sp9ì͝}]|@g,p^MU;VEvZdԇ}(UհGdO|>c |]nQK8"hDB);ytnuC&&?ƟQEJ‡b tGiTL羖]m躛~O!Ž;6YMQE/Nqf@#zWX@v[uA$+YtJo8mnW۹%^ЌYiWK'_0QeoBޯ=R"rn9%Bp=֥+J9&JG>2Pq]vn[͑>djϘP8\{ ?n"W5-pYQ$1&NZuBeq]L%*--:V;E8t3tRaowkǽ}.;fJ_D~6mAPjcCEg9`cwrT ޫ:wӏ2_>C6]ߵq4VLԬClɆ& oԎ%/sۢ7}x|ta&6N'?O`RB^W-2_\d3݌$D {3E, $ꗖNAۚ\v9FBzb?9,Eى{`& )n{r|rePa| fI&P/C-8G2R.+Fv)po 2@)itsk1 DJ[(?NF_Yy;wO!B Ha0X,@W Ra)_ObTH#\ \'o\J LANV'&I[/BTfS$g} ?\ЍJ#& A6ɸ?͠S/V~zhP H}Ԇ%H5~Pvf0ϵZEmÃW ]uZJxD>J J^U"vkFW- ^7?~9lDIPL:sկ /qm hEyz>E-Mƞ;dV9iyTjv|ɇazT EVz٨W>b`eW66;o_<xIDa@֝k pk99:N -Yg$vin+`U*x#gE@,giA;H``nl 5 GUZ}(Vu4-&o0~N-FQ@gQ\yur 'ӄ5>0)aDzZVQ7|=A8 [N=q{aotgWI\ ]e.2QW>:#ƾ^( o@xV1~ƄJ_@N<јs̃~c7YՈΝf"-5xFZ!{oN"VGk\Cy!-SjDLdSG,$Vb7%&:^i RD8F7A}J+۬J y,n^]C)䔷O"58)6VOx /~Zb9:@\gΐ}l4$i v  \{F,S됎q֥-Nz8-%t\e;:;=v[7DumA]J~a dz€5t աt*b_ tiӦE+c61MԘLMŤGr7vcDVq!)КQ4H(HLV]%4`aMƣ|ה{Y7j3gYGE. y‚(ӵvJ]%p{$Ѹ>Pbjg~=T]DZ~A2/Rm~J%S`{ObrN}7-H+t9wբRiP兛%ݐCIcQeT]!lP j!!ns#q0xn'ӚٌS׌ͣ#r\g. F+xwt&+vƎ&! Im[WݪlU\;ҐqJ#HL:/{}mvQy ?MPŀp #zǁ=rODkp Uw"-~t]z[[ػVt2F/zʄǤBg *$prB6 P9qPD$eW[O+Y Fl U M(K<,9Zϧ4'}o'MMJcQ^?z)}"܂m[4- (ȧmd3)%bibVAfI5,Ogpam[#5DB8.l{</ѥda:1-Ҕ>!y5| A ,|( I#=,HN wXl C;ө3Q S:V^Թ ΫU嫳_i{LQ!l%$3L$ԭ՜3?AE'yM&'ݫla%Olͨ<>G%fR5̺=}l?&)Wg3pT簾S$,o vAqQW]gK%v]! "$I& 3ٌ%DGD J@f@cN2l5z.j^/<'߳"y~My Hs\Gzf2ÑXfYtI| a9.óɡp~/geykGKecoO81g4 D2Vvy;2rtn,VjN_K`vbj ?0-s(-ȯ{hcZk*mLb-o!鵕0|y+Gf_IdX8yFamUJ;\TC^,?1{Ca`F7P' }4dGiqz%$ٕ-N5t3EP.N̼ _rVqrhiǰY+hېQ}9&nh"Έa ɼǴU])Ƅ+/}r0>8L g\0lЧقRm &.d{Ȣ#Hgd -;L=ǓoxUpij0(4p!f2"֛M&{i5ujA p$}F4Iq2'&N!\ K/5!U@ZMD|m4girY9ʔ .Lo^_B)KV 'Z.'lUϣ)6<=wX97XCWG{E׍̶{z^o"kZ6iVQMH`TZ+TS;Q-Ԁ\戉 :LZ (&uѝI#q~G7vïR@=E* fׇ$"{ .i:=2ZJ~غ 'zMGwtk V`+PAQɒ;Xͬ,ZW/4V~SP9؆ľqD1v#-NeD]F삒:Fkr8,~u%I݇SĵK} _p0- +TevS2fxx9#,vO!vqj ԂpĽϞazl𣏩)@ g[5:YcҌN+9E.eV4sQZL[n֘m"'obeǒ^bS5 , 9PkvcM9<Gg$Tڮc G0ԇ\+hA ;BU XD`<ߪUJY^S>0_ٍdIoF% {$mNݸk8ް!˃lz_ |i˰ZhukL&g_6a*Ԑ ;977n\ӝJJ $W ;؟ЩSB#Y(:,pT [$ jGto@F eׄFƯT,MqLWT@u PԕmXy6 7(>5 3h<\A eƓRYTVNcRJd*몧҈VH/I""k[/Fr ;> _14q%ipPJ`Q-k3:e:Pidm *O˥PbG$6!WRc|8]*&(ȶ ÚdV [zXKΘ+vr`({jԝC;F0p7HNwM$Yo;XR*F3Zw¼p T9ӛNmvaLW z cJ_ =9g-t-$"ezHy e]YlаJ#Yg{Nj ̦fIpĴ`cO4< .*1; -lg}ܐ,Wlb|Bd(w}]*;p "%%kY63 j<MioB%9AI8Ge|.@ P$B`S"%~1?ScejvAj q:bio l ;k;c d ]‡Y:QfD] [Wz!neпסбjh˱O#>BK+P4֖ty+JOGio]jW[1ޡrPwWkca/I]kTsi0gtM"CRݦauu:POOy jTtN "s#{(H=ʭoR/M) !*/j.]lA/ fC'M]_84oRنjl"VǶ0Dɇ}m}AR3I#˼ϺD@W"O,CXkޒ]g]IrכIZKAM`!9g0%Z|v63'6jʁ@wBv,ӮL&MVP%|k/{"/]4^,9>$O}.&Tssv|F6m`f )HH3*aX+O 3(έT tr `F;ɐMƩ\~{y9g5\2 i(!rV?W`3 O˰BO5fHPT Ij2:)C=HCKM?:,E[*\7@ӌG.9j2.}f'b">dL¬8H U_@5Aǃ-5$V3f󤶪Yie~R HH 9p&:Y{PGTgRbL*ҧ`' /]Ü: )HA5K yR& . G&7ʘU9 k_kĆr|$u__vqH׬~V(| ]>+Ygk1NؠHIuչ$D-e">鸢kg-w\ -vPKVBxMADVVy4q\@4IhVdAӖB:V τ 5‹Ai-: M!.8(M!k]B*QI3v^wQ5Ed@;3ҟ$/n Gа а%'x:צU0Ml-xn$o(PH|Qhэz+4@d[S[K p/XK俙%}l1,ېVׇRQm}ֵP4>E῿5|9]-;(`R;o[a"nErh? F^vCT fG WH1^ts \ȸw~0|@*\2z)/; \E| [@q6NAb1WῄVZ 0n~hx!rPA =g|=YQf)x& Xl!yʞl}-Zr9zkbHW \5Uݺ}1XAkV”Pr|3o^GKz1z7؎W"g>Ržyز.x JWG_a\[]AFsAr"&rilHm"НwsaO+3cu>Ptd})0$s}q]mxs`W̤ԳQiM;gRme{"4$kv҈ A F{ 쟵NQ$'~mjk)JG NjJVtfR_c신7ѐ}Q0<\\_> gj`́Pq=\%3Nm;I~/Uф[(*6kOΧmbp;\Q$UbS| d[mܼ \f Ȭ'~fڴaf(- {F=2N!g'MOnQ).x[/7OeO,%;$V~g=u9U0,DNߢ Al_o *gB?_Bؤfc=&" OA<#u k Z}k!sđ+p$a,-x>{T ђ*?#{ 5FK%:+ j=fe?~!9x5#M-`BAkѥt!UJ2hȚ$ah,I1HR%/g\E3ߥIn!6<3 SʄTDNgOU *UnDB|+/VTښ^8Y-Z3)%BAPɐOgfd/z:ä́Ss8݅/ ;sK)bTPVׯi}f-ڍ`nnz"Oz+%b,\IJ36Xh'@b.NwXUÎzyu!׼@Am\6}^yNaE_yfb'cbNYNq9>Zq4{AMKF4̩T2vF#Ԁi"f{b> m6)aY9m e̢SѬ^٬M=o-KQ"ӨMv(ոw:k}[>4^@m:]ip#H*]~~paAB]X1]qWbgI_1&A: :8`%ÍYWxm~vzIM3NC `7寱Ō&d"h0ͷ$ݎDayb2b 8X e /¡Q3=I@օTwIpr]Zz72n_*t`!x42^k̷ ׇ&֌q̹Fvȼ Sw:X]GWnj?}Yx`ZhG\t듸_Sl4>W?x=H4oqnF5$ _( ĠI3[ ~g\9>ĸ|2^pfl,f23޺/ijA<}-縺&Ϸ{q]Z|ۻB&'G:5x/YXqLKr97}#QUa9*!V&/gyYu[cY{k.jf|M;L9ӃAzZ='#e 3TSYc\c-tp$~检^ltlsPJ jEa{:#(Z"/X>gE-IE(b^A@cU@g =eOdzQGdz+C{CV|}"ÿ8է3lߥ~8@[\6g t-Oo<^ek_"^/T2Lki6EWmA7!h˜ٮ6gVVj\&>qh;0^)@[Iql=Ռ'%#-ֲ{+UYq%mLחW<{eJ=12L Onr ߧg/fL:xkT!s%| o/^Wcg>HCCki!.E(CӀ9 kO Ӷ*r#؇,XRM Eb9=wS`~Qz54%5ΐ!+EW+:^{:2 Tԏ2FHϙh<7Q H+v"5(u鳕 J+kD ipByJ T0x\cwLJ4bN8:nb3"JJGGPvWjYpIj+K3c|/&Y ,MGYE38 FY-ċ&F.z3YXjj(r31UH8-Et5fY B+,p.sINyVC4`BGV1>Z!گ1#-Mo 'ƘI,a7{˦SLwi$$RFA\ wݮYVXE@t7--7o(?$S4H(XQ;MWpM$g[F$Uk$t3^o7u-m1jvf&'O$9p%5%;?1UtB[C'}Fr 6"◣=#r$\3;2n8 r,[)onLҵ-n%Ǻ ab2|RQ;:ЯpjO5RPcuP3`"aHZӭC&ו+ڝ% (D)xShN_Kp#N~fR:!udN~I&nÞޭ(p>!lbi~cKPO1X!2sWeMHn 3F%)! {N`+|چBN*]N~SqOsXP9Q[*btk |R0ko;kBxn Hu5ίyGu6M8W |>訙&a͑Kù,nU%跥$ηAfdDq2-:[ұt9Kq}H?v"rHA8&YD͠P+s\#Mj^v7妷`GyDGy5KhrϔlkxD+<'VbWD\hGj8 }'7Tf>,diYz{x3!Ԡ$Gt&x,*G]ڛmx]6ool / ԑQ(' Qx`%äHN3l0%#~.zY_p&rt*WeMh{ٌYlņn MQjщJɁaǻ~h> ϰQ7gts`b&eJp䀔)њ~ϱ_ ;O>gX-|G俦/eޚ?k$RXun2ҶOR?Ғ.?-뽋./K]|N, whµGܕy ! pa倈@. I7($[p>]x't-zJm8jԔ Pr(1$[2xP6X;oՀtߗ?xG?ōu_wYsk7ad(q ߲rq}~nANٔ6CFIUזe",y@v0@i=1i88KlI>mn"7j~A{^|\q$4P0S{Z"/dkCfrPz/X"t1t[em49r7XVT1)ڬ{_|-x;\E?R,'9h/2~RC6irS*xȯ? gVE3>ru?Te]%X]=MF8 ys-;'Mbϋ~1  ЊߚC}R=GQlu)@N8>bzdUjEY2)bY ].,&F*JbMl%JhKۣARfBv給zOT {C2~6D7nH7иzF9@6xX*n[I?@j@"_Oo8FkL!WqUn^t"g$CțBju 2sx"5#+Mo={b,V2O D1Lȼ(C {GRtxhԲM@ 1'Xw r=nCct|Z<*) t8rdW*Ckpum*a2XZq`R,[!cî?ݲIwQP\>=$aa&&zmtOS1OtixdU@߳S]PL|Ir*yՏeUQpʱ?^YaeNZ4yp~.3:k(w7qs.jרpU5$ :`]~QMQ Y{©>zz" uZoBOO D DadZH*#Z;Z,~4 @rR{k<=J#.K6D(QpXꀂ<@tJtlͥ,/8v\[rZI##;qKE_Tw֢PF?=yh~^y(opDtyk1 ef1}T˪|cc0݉3ჸ=\l73G؞؀O3'5K@!Q]'`Z!:1EQ5*ͣ1F'%%$90F0>eyET<~Ѻn :UR[_,@Td2KsV%KٱE{|nqUkA̬oD h,Z[HLjr 7&SO~sOIdlKoGʯFr@F5C 7)CN.U^^ [y{ m7nF!'˽R5IYfXMv'ZB، s`IESD L& e&jXąd+:u6-m  3 t}ԑi(\! _q)WFLڞ0ppbIz:.y^ SB~5SQ"1Op_crÐA܌` T>]R=&C>8/B92 s,ZH+ 4$*8vpQ$QKvDˊj`0a9a*jkSyqtf30TR;,a/Ŷ\&c;|^K.bݚd<^_R$v^- AKW#t2Z"N[i цm3QMcrG=k*$,8Z*gYZLbYoB# ˓dj}NI8d+v|öKhE?PV$XXorgՔW\{ kG8GRi|@vsÒ=w؟ I/)Z1Wf jq |੅&O[7;znu6Kpogo;9_tyI$l۴^Oz,Ԭ]V%#i8 ]9H$U2>ރvośOK9KoԀPoB+(F>Dyn;)SR$1FHV?9F{X tKuѕ00t܃  z 1?нͥKP]Ҏ8Co#وFYǟ `[lRnPٜ*BHĠ^YR <#]r6ayUްEN㌇K~p4#m|/(/=Ѩ $a|e~,w5qb#ar;0ĀFͼ$T Z26~es146Mm8HB?OGi͕[^u;,ERR"Ϋqrv5 *ۆſ65+Q嘵"n_jlW!Y膁ȁq s-fS"$,qay )S&*ԍAs>CهN/$J{B fN0DZɲ&m'\1]|gkcoTVBogr[9$Q@m? vǺ+V XMʼQ>^IJ0Wh<04,{bm8,Dj|![y1< jVߴ'feBXd+Unr4V[uOA߽i \/4 5sGE?b$ϰ/B7%RL b b7=1Qޯ`NP":di8ͩFucct՘)w+pB ;=0Z40WW~zjgFӊR}Ό[ώnw&jg I[pH5C;e{'9v%~P.΅gYZ7zXZִF! 2]ŗXiɟ1$Cܨ }X 6^vWn p^k8ht9/jAC֖t :P fb\ q˱-Sٔ?rdŅSi=JѯeZvs2&gDrd)\Ӳ#MݽϺL8A"^V„r,9&| &|#WD / 'fr"^!fȎҥP+Ck'O6}hōWE"I@IBF;\veяQYj*+JEuXf\F(pտgYZ7zXZִF! cR]ŗXi%L4gUv I2pzMLb܁;#-UϜ23xsHG< 쐣j;5:NoST}A ;lT.(Pgc\١^ҷC  aL3l=D\R;YVo|:wF^BvLHpOz;}:7?{Fg$+#uN0ݸef g*=W$ o!yXt BݘR5›_@Wr'u5~u Uu˘GHo"8EHo&l>(J/OSK_ԔSWy9( 9+招灦 Ϯ͢Ѕ~a}, }mfB6>KiQy08Z}N ǭt۝{#hbXj] עj@o \⋝g\@NolpmOyr!<0Q& 6Y}0>-K-8$u "Fn>)=nl7L">HN Rm>kI!<۞hx@gRy{Oqo{c HН3|r7D̛.$Qg*=?,^7 K-?6 d^ߠ#^\E^9uj~jS؅>%7|Å%/4jI];TiTC:W 5 Gޗ-SuFBEx{U]BAE/F! h6hw0j''$e1uP6l|.Kؼbwcb#{Ұ'޽0Q<>? ]:ԣE1x2Y٤{ !cw4r kTGg֊Zі}e\a0Ҵ$&_]"-jOg)5t/G2Zϔ)ZLA`IȏFv_=kW䓽/GYN54*:*c6K qG $imRA0s`tM7Ost;͒&%TE1v~YRM({@BXiWۙTp秧:IF{bҢ6׼*zZO+sڋBU+ \/e#q״e\%ړyGs/ueLES j_WswŌS`s0-9u? 8MQ,kt\,Siw{D.AmFdetJ+j5ai\H^e'S$kk%rLCFAu#ųթpNZ b8Sr'D:ع7 3bY S#ƻ&+ aT [ _v29 ,8D ΨNgD UK04d) oM$ˊfdsmyQ N>/ĈkXH@vl?p&掀=ݳ™s)Hoԃ<2TU-(*# #ՑfS#pZGff#9֞BSɄ_ޱ,5 g :[k%r CT(;4m)'9٥E"_n⏦X*NAϵ%ȸ:1Um\xu+ѯ%o."m0q'\_G!*^VRƉҽk DbH|q!e!eArMg_54à,$f%>y }4QQJSvWFu 30w?ӚP˗aғ8? ':6>2+_؇@ފGÐ; cn!:3ye7 fUm4$X:*;#/5XjgYZb1b78f270be316e872ad96091fefb8e7e3b1ad6527f83cb75cdd20c60083d6072d302ef3062f314e dd918606b85bd653685a072b9f3f02b489037476 af429f23c024d82741fb51a0825b8f6183de7528