SQLite format 3@ Y.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  41t| ] HOL-Metis_Examples:threads=6elapsed=17.267cpu=68.420gc=7.5167zXZִF! ^F]ŗXiɟ{/tSݳ$Kp͇;d_ @=y=P\4& ZLxlpeEGZUUx]WNP+H=Ȥ =Or:[Ý 2ƍ.)#׋,:vx Y LmQ.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0U6T3L2I+E'D!C B:9.'!         8 T v , m , e) x7*:3 o 2 Tk-yq7V h%T ?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages8=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files6B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id5=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages4;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup3:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files2@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id1C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup0B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files/H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages):1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup(91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files'?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id&D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup%C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files$I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id#F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages"D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup!C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/filesM1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex?1;/ HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex   oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ p p1OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!AރCdg+W65Ĩ&Bs臃`QOcCٍyiS~ ^>}" /x Y1[ҬgVOv-+Ѓqdj<-[at Z^\ЈH+4Tu f/Wxog<3jfukQ0=@(1Xt-xc`lZ[ۛ:%:vIS_O=ޮѾYFTG0dYeR$UÚz w<)*ص/@M3~Pͦvl&%=+k',*QcY)-t`'nչt@p Xo<>djiJYE!gF˫7Fu,Wڱ][54N$s??=߻ʓCJYփ+RӉ_ⴲONgΝ&W#[z}(j$]HB#[ faA+鿋*jyz]~ zi*G0T"3<[ފ޾WJ7LU"8Ko4WPX/ gcª|i 65.Zj\68A5f&lD®D]$jߋo{_xa.}AɓT_lǼxC.rljT9S*%lN3њ{`X%kwO *b+UYHW* DZ,k sLj0H0TFܒݧ!cvY`F_e{`6rPÔ>?Ug|Ս54) )Zץ`-Ҹ{RC?^oFOK_mQTttǨCWSæVdȧYZ5Ũ_;*NDe˳|㍫@x26ckź8P|ߒdR"ݭ@|A;.}ǜ_dޏxi}F0vc4E_ jg R$DA0:qi*ET2QvG3vMOP^u+ix˓-LPhQ0Q BMɪyLsV7L ه˦b0I߯qs"JC p#粚>lŅce؁MҲ;I5=B ,j73mkcT`qyķuߕ5ohILrp]ৄFk-3@}dgфm~ P]yArlf;d+?[%cO.SyIR*d@}ts&~R(-w]QP=o(g:"18:յK:Нnۮ5D)F~qG+ոDU_A荾lXϊ3"De舏#&k3)B}0cGUg2g :HAm8|Rj=/gv/(N̑3.(H1Z% S+ձ$v;7|Mz@0a̯aO}| 6L?/3U 3疹٬CQ0~vDe/@\RxX.ěE6|w]-yCRt#V쟘񎿡Q.*'gØsP nUۭ`a/H 8§{r5Hlsf ]$DQZA@,+p4 ].i} Cg^yWo\A2D4f9ꪧQlqT`2Ѳ# SOg@m 0EFT_)| EMl;Ջ)$f]0P;ȮY5lb %2q&V,h=IJSe-vc!Sソ:G!5vw<%{?@:ja?nfݔr Y+.Jf*NơsJǑmd@, ~7}y14z<̡6k.߻ZVq  0"#yJ}]2Eu ,ɖhW|E&ukLg>_ak*MáFV#e\Kg)h55Z pS{E;)*59y[.۝fΖEZ_M,5vhm~SNtKK͜2o׎u[oNMIF<[F:سdPb㨕]"t ޟMGGθ n$+Uʸvp q;j^=e9jЈ9k~d˺P lזQj + %6q͘3Σ[Dٶr ./0kӓ߄3E:$ uK{<ڙUsZDvg2^#h)G, 0U;%q-Xh+}ʯRK9 Hc= (hL2=Y׼7Ɛ\`)ׯxx.v` ܜ*ҳnP4 )u̢cׁGe#fz͘@xBVW3(rTHjXH?=hI#O CWq$,?Do|J6ŸF_p7Zֳ] 6U&@8%)EQD3#]M% Wq*cr9đh-[%I ⋇P@JWeͶJ9Br{jIfOML omΝ!+{t=@Y<}^i7FdB2ϥ$^wdב𝬩A>Aw.jDajfqQ~ckg۴^S>f`[.eC&9b|jRmb}.aG]Hs G2c81Zר̬9 >uID%E/} Xw]f|VYǣ`/#~ U|%~Ӎ(k:k(-> ~wQ0T/1{@ 7A H W/|L&*\Ii PAGjb|Ec(暢u{=G3¸S@SfO#FD; QY'kNp2R?FMk|P4^aL9%+ &ΕCߐrHB{UIl@%i̒LaBpcGm5d*W|7 {8g'hAt+ $7(BN{qa>p.8(zѨ[q yJmUV%Ѣ Ġ&#0ܹpbV6\{?}26S1Oyj)~ekVz. % 10(|B92 Ur@k8"6;IWI0Dsp&6I{ZңR/vbpu}i$6 4BjQ@6.Ռ%Վ69)rO~zC1fw}?~6&{Pa,ȡ0-GBpBj@"rHF֑ ^2k<2K*ugM}ոrwV_jIRIIg2Ynv>VaKYnhu^ KBŷF>h٬ j4Ae Q@ y`|wIgXa۵JkBN sl_6IoGٛ92G m>x/˳/[r~:t gk1ٳ]"+YlԾoL&),7s1XˡǘݶOzvrN'_G#v F{J WL/fr#>TB9ZK/pI9osW삆 JՓn}i$_=Ǟ.]:V*8>{,fH˛9pMuRLbi6'ɩ֒g؄rBiMSԔZ$1v,RT/3 3E(.ampRppmݭ|\py@:\ª7*#]oYl\<6]1#DvJ3ˮ)'ǰ^Ar%5I!x Gg)?Y%rs;=' VK"K;,3W‚W šJ` YkœؓjmQ2gZ.YXIZ)n/*P˴jdwd8wبJN~sFfC=+Bȕ-G`kNdEK M&U}S¨e0OB+˩-Z2^]q<16)WYf_C^j]uZ6CVayl8B/JLUܦ %p1jSԗA/0ޘa0eR:\~XYq,6wteA~zÿXMk!j҂ށ \ *QS݆v ׄ:j?3ڮ6Ē720T]`e8ڤ7ڐwa~y 9/H G^[0nrWEj@H^fZ疃` #MmHA8Л+U^ cLwZ! F؅tªM=:[0'M15nClL/ 3 rS%uOJ)Iܬ!a;㪙s`_n4H'6RyHQUrVmk)95V?(jpG#z#T[k'Yz1^;[z.h~ $ͯh k_'WAdԫƈv[+VfEcQQh CE^@yD%j~b!C7]B$WV::p>lǝgІj7z fhʽɿnmٝ9rVTV݁>je#0ѳ/1_K0Kc(J!Uqa B= RSWALzزuk\LUC\QNsliGc8^cј.qbFv!ލnI +dU`j;Qy¤:(V: odh8Ռ|rd̔5~NPGgO$`}t&R pvIrt0ma$x ogɽ=ot0zaᣧZ8rJԣ"[D(:C튤…nq30mI4Sఓ^nw4"҅O.[Z6.mAdn do9[ +%k=bҊCf?Li-&O .ޗ6@P[ąi1N)3/ )S5qM|ypn=50G~RrnV ~G 1$4?LK%w Ws_'j2"WSܖ(PQVO# urִ[ [WikKT]b7?*'P(x>U9& }]NTHuKs3 $aJpptzkL;x䰝笮\/{| ~n+3lݝЦ-/A[o,p;iAbYJ|"1_GfHJn-Ա3%i*\W8 _OL#ȲKآp mfw$ 0XSM ͂ir3uaNfi9궞IQ=fϔ&ŭw\0gf:Fn'znmH}w"~l`m ݀zkYX4@97į6r̻%iR7 h>WS}1EȱFbB iqLG"$X*O6N/s@v#O`wU!ҟk/NKxs[WV"b0#E46~r#Llm3W_SEBtZD:1% .lj4.DJ!yV4='#r./ϛi~~HMOQO_m,}1h+k RX:M:rPhfA^^d){3[\*_\H4mc:pGlo$1c7:8nfUs~F1 1{P~5(k)f}ҭD֡;yQ[c׫^(~ PkGJu@Wq͇v:Z<fs8Ӊ}>MfHmOʥYZM=ry9TZFn$s|Qx|\EOm3={Qw5±LEa4uT׭LmoUq8I".4M1EYM1[ &Ah//I<~HY(nGP˿uL|P/^fEײcd. ^Bor ~/ءTٶ J42:,kNQ#-N蘣L}a^昈/30Ӭ 2͊QXj_ 󞯗nW)bpb䲾-BI=.Tj䎷ѡ}HUGԂ/^$AO5:?dƙZkX=tWz D6YpFew7F">kR*+!}QgE}Bb<㕎# ݢd+Z~ H(dR݇)c(*ĚfKI-2vRzN}rcpGfă~2aohFN2SsUӌNyJ]l]X|k&8VD*7EcءH V[KrDYmzԐ4j>@ E6)C  eJ^all[)HV R_)d(NX0G5B&ڂR|k!ZY/a;imEfm5,yޑ.7W4w~ӊ*m2YmJc;R#xWrT* [ׁf5CkJݥ@l4]@gmpgq ~zS7OJLVqfS7f&gi<܎*vE~ *⮝~-°HON(*eA .rM8puIi,}4/:ubvʐe0J>3r@}vQSb{wXCZ+$-A62iH]OΗGmcO]>TkE nqR.4ħ}q-jpAu$0 x'gum{0a%#;@#Elju.!ڿ>s{-c )I$EC2C{t C>p02 Y.cIѤ%6=4lvM[h[ LoItkߞNVD'azE0oXϩԃ~J &,ѕR&1=I49 E[(RDyJפod r8PtNȩj8ڔQޠʩF1$׮K*H&po~JgO6`A8RyM%jG½kfW X+&Y-[Ao;D}3 aob6aNїR)QSK1r:\Ӕo[V^4g0h@3Db(o  8 5{īZiΝd bpJD;S BڇMbXNq%B벳$EŽX1kYJK|g{+7_yU')2]1 TGYq_ @>vU7&Sӱ,_^yH~&FF2`n6q"1eAA2ތ].!^N]g39)HH7"4dJp' `Dd;2ɼK8$Bz``;h]ǤnN-;i۱UZ8ѣ&}P+GӅS`!,& GmBN&[e<2AɆ.uPn4deB\~c辔eATf x >"D^esMR_SG˰£V3 2c-tBGi%h "AsIjR[8g2j8.. wexFhPxXcjҎ4Tsl˟;^a^R/@ghIh^& :iw<8@Z86˂Bz`Jf/?OS%**Ӕ22[WQ71`p2"?}7>+xۂ_)e߷Z4:HV*3{L ?QVGݟQ(Rq>Z*yǔ*AupB6;1#U~n֫Χ7ی%h)nI[U2d6Fu|giti-#;)9 k~d YWCG]ZdcP߆]{z^=\sG \̭',(<«Е۟X(01 ɽ-+&A39TgRA&YM/O'W"$кwKSO]]KU%;)!0%N tzU*<*u`D}EPқT[YiR4撏9d(AT L_~M.F~@;lӝUnH]c]_0O51Y\1DD(~PoXQN{k`Pg'jy?}h"V9 pl _M 5*Fw§SL*NmX##ߥ0XaF|-m]FWg}Ia0!h J?R \nOUjo{+6|¾6ѷل"#:-AaѝQ!>Q\U3 f0DXű+0{nٰnPA3/f4ᩡqG.dYo\gvg~y yP (a֢/&z ؇#>aPqV{4=S%[yxL.!0sXEH@ESEc] f~mYl176A֥`Q1rI>l _lkPX6H.OL:-M hFhoT'` \n:;.9Et V\yYePKʏ\Wdz #( VNT; B{wt}Ԇr`V| p!` D{(#鿊ˆjD6,)x!ÜY Hog!((JmumS-/avt>L' :-" z"`5Qt?yE/7B!^~hԌ#HB=oDw%mVQFP{3-j8|z1ـ831h~5D?B8'FVWm̔vИu9>5djpz(,C2.파9𥺈CJlϒ-[Rz9;IX`g1L3=Woo nyD?7Gd梦Zn?v3n@n%"J+aiH@ @L37(:A>RTNn0ZFHxŭ> kfT[zW u\ <)7 MrսE-paJ *-[? SL>R~@Lhӵ'EMѥ&=u4َVt)Y}*uGd|X жID"Ki,aD̬,i׌L[w yXMvh >ikK`%Wc#f6[l>ʢt[c$6~W30YF7+F߽C&!H9ixFc/ 4gPoSZ踓p:(4yTDlIٺmw;DyJӉHz2RG&DѯC e $7$ yk&!hMc{*Ew5(^wO%rS\/}o] @C<#8ZfmhT#$u^vP"\P^D+O`-XXv><qS7~!wZlBMd7ҟ_hv0c"[Е ܆ FCb;^Jxdao%(&a[V>C2 G3YN6z;,e#y# Y3kg1`\tU#$UMU޴&tqubrlNb0x\j'O+E.Q)TH'V&͞X5Mmi+}z搙X.K:VzKy @D+k8>TM!f d3٥8_aaX>qM#} e+gՠq) U7ۉ>xl" Q+t:%ljǿKEԞt8O `aZ`/[@ptBjfDoċKQ^o>*+,x*O+= ʁv;{U 8Lq$rErAO2<3'h> X$h~%֕L4SǠgD;!  HZE7Uc + [ ]ou2?:: rHo{ UA`d营(X?D6X vS~ʒc7NC?ispA÷GɳwEBJ.+YiVuaAy5xkFG⸞k;J $)rяpy߿T>l=h$B1 VϰVr`rFz252kSlJ/WneHޭ1x]#^D]WaFN3!ݸ~ɐ4;2*N'6{. ň]I1r?5#.k($B5QJ*, 2$\`Cpcdºj5x4irf(‹㲂qez(Ѳ&4@o^2[O$ 5TMb8x:*62>XV8p~we" f.zdH"/<w 1xVjf7sMɱ̓˙"D@=K1a#MC/;xuOb5#p[9-%ZIT~N|*Rc:b4#y:J8oBJ 6q^R f ,aqPbEE'ZuBCTp3-#Y+ebs^A(fPoPZ"ш͡[{p\ҬN_B OlJ oOgr]8c cxq8ٳL@paf'/U!ښ+f*~3fULoDp x֠T1arn-$|d'hi1V:h|֔mD26/ :X?K( P8xܽ%Km$UM\ 4ކHmr6ƅ}mg|ju_HeE0δS<;P_D\uOHs ` -ɰA ߅j_J@ľS\&b@=_b"[`|o[V AÆ'%J⏑K{MlLݠGS-I ւc&Y|ǵ䏣E0Qu!ԅ} TgTq兯tRǗ[eɔOT]0O>ٍjELA6H]5!^StHp-V7]ݏnzw$&^w i۠NMF_)bw?*#1s>R8C,Lƈ'bZ+O@ !w#m^6^C5 'KbY|B62f02R, B}"޷CTC^&X>o qGHYSvT<ɲkXN Jxz28Iڒ%h1e~q-\1%84 z^&|bZpXno~D}9߄@-Y{Ա9}Әhrfq%\! G g-vZ \l O~80m;,]hllXgOP3.4Fmnvy{!馀;hka9ci{JJ鳨2X&~ Ci3O}#@Pp>k|-pPE!GV1|I%<?Ǟ `Jrp[Tpj "a xyS]*S,)֥Pi_<2MF)jH5uJ@pBG Va>OUyu muH #ԧ^yLuf,sor.Z_xu Qⷐ y*R&>ި%Q=Ӥ.#c?u.0i 7* TRdAF+l`d9:#DKPq:\-kA~ȡMi,8 3n\S: h74<!y8XڍQ /q"kea>))8i2. !WG !tMTۭi| Ω"<f`.A'&ꂓ?e&19x`\A+4KFEo 3hcn ]8: $ea[^LMք^tіa"ڽLW^hlXf}d8d&{,=lL-K3Pt@9WaIiS8w)1^|h$x!`W׻MRi=L-ʘJj'H]3SζJxOy'%!ot_~36z5 |rt=ˑfp f^QCvJ Z*yo>v8Ę/!CsW'2`7`³# !R^CL+~dE,5,YW+ ?&kF1B*+B!#k*`լm,ֹsI3c2]  @O sTT7aMgnF5(BHBxE/4G(iCUH;t0'.l yyT_ϣ7x.0_#ó9M%\ |FESQFI43j%r=El?f+ܺrv`b1ٳ(ͼz3 >‚p2LH>c7 Ak&c5>G7fMrk)NrƖS1x0RJ:\!ƫ8hBꤗ=ӨrC">8lAZ;eg Fa'Xn ܺ _zh[2ze^6-š&áߛ7C[gy~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"9n&nw1pl]%gBٚToEy  (Şh~N\OaFg8@4-BՋXŋ6s3n+uq d $|':^6WhؑS`0О]eg3̿SН;ۦCI(cu|^0]\HZ9j3 3 WЍ k:qrVŪ9_=ǂx_ddTszsdEr oz53s5N(jӏ(Ge/sI|%0>mff$M|S2*bcswT-1? 壘u d-h8?ɐ3֣BLADiptgz#/qK+y~$*:DgJJܞ['Umiqˡuْ'@PIY _ @.ۧXBF7T0XQj#71@W &~eF],?/K*5}!] EFKƑJqFNuǴ $VεľV\CVQE&Rda0 )+Ml BKl$}.ҴzbRnFU.ś(uw8>L4EQ4_ x,ǭ눢M(C=@VQͪ1hW9dGV\Mqw':;֭F99ZՙJKWt R*ayqﬖ*: sfZ~p렪8 l՚[eH2-T`$ϧ;D-ޘEMC)G= mizk-0q[aE݊N YjZP4|`hBBu5` !aw :+fxn#JԘl}S[+tl je b9rbW7YHT!PK\>> 󧃣G_&',LZ;608 | _)$뚱 78F@Mpi i?Q- i_#6& 褂k6L;@hcII]ߜS l۰%LHMԄdG%[kH_9/"UN'07,1!]r&r7 )#pE3OP)hw1uɥb,y>ˤxcf!0~-Ч9v55VS"ıbKjõ3͞~7aidhq}^l MhʟH 6]9MdqzciEXxM+hE 8H :_!b Q9S4,&n@p8_Y򨶦4\VGh~k!2ad;o|tHAcL@(Ʈy\raLPj  Q #c1W% E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxue:V@B]ހ0iw|";H)eu.FM)> K+H_fzPr$,ĖmȊQ ?(=(!-39*yک3C/Oߒ艹@p 2jX)>?QȰ|0_bߺPt˂%`u$;*H|#vDÝ!\p>1=޺H'8X$Wq.HfI4|(b-$Ci-Dh*wJ ˰_;owm;8lRs$lq&G- ӻlC^^c ^(h7Q VHZ;Y. y{s²9-cu։`.oOA.E2Dw2Wuh1kr<3*zCsrђMh_k9T!F4h2*?n>wE߂4w cwghн"S۝량sPL 88f2. )e7ɚmuߵYPU 7@Ә-/#h+v9e k.Gȟ|Aϫ\T_A:z|ۤ*X˾UHSu^d-9]\M1+W8 _{y!@ʟ]sw ه= #B |+, N:#(z)xj4˭ؐܞ1";kV{edS츭M\BvD:C W~ 飲N RckJaa 5[OR2[#U /nEK]uJ=u Q;HEHhU٪XYNM@A\hor7,)٤-(bm~c_fi_/]9WǏ#.kW8v䫫W7(;~5NKG/yt0Yq*VAXŰ SC5;hlv͸(iC"bY$Ds)h 'F,^e܏ԣvmDm>kjh̺7unMf vUH;gr$4xR9Ðpv!tDR ErNϧKdzK8>[&ʞ0 mf1Fy^h!Bƅ {|l- -y63&OZNې-Ų}emMk9y)XTmd)DuG4]UGE)SDzwn~;gjd>ZSpQPYg$OD|W;fr$2Op҆9LghL~_h rcME x`wkwg@ycmެ БMPrI VoQW s(SRܕY.!Znو\r 4, nEh![ Lº-8J2;GLoȰi=xOf!jZ!' 4$ԟrgCLbU!@1)u?&ǚ3ɵdn_tTɥNgP뒟H10vHƖ zX ۮwNjTփzi/Gm34~5"n""OFO?hnDxֈ4~K,j#jaN iS3`m:f#a60E¥x7Bajs[ȬٖBl#Y??犞r1z^*h'D0Y9Bs.5y-{ bāU/`i|LzvhÜ!ZrQ~xSI)j.]->[R8T%?'4$QAԦ`L>P?,, BOm9n JWkV, 06 I @M40KI&~ܓ0(lf>B>EΒhDask[&ʧ0y%,P|$[yrT'  R}Ѵ5_Sk{Q>ʎX0W,;#4B;vQfc:W»-]1cthtCd\OrBб 22 lZ}A"^}.T> awfc$+1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id512 1I# ,HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձw$w~FD73 ?Zh:jpQOdсʅK'YO~\bмXn;Vf ?8t놃$>3M i01T>vv$9 !6P/Q^J/&mZMGʈ-WpU)7yP CKSt~Ƿ2jJ͛sbN)vYBpbb4F@ͦqL(3 bTo),5})=FN}q:9ߥ=24s~> K7J9ITm$hPDs8 4uɺ,mZn›ܩJ #lXhcNJĤI0)d,U:s)F3U+-Z+W]>K4*dNeT;?4f`p{2/4'%{:e3<ٞE;MWMz n#R NӳUzEl0v^_AZV &G s@^M.8#XAb;'CGڦoIFQShnNيWxBo~ sz#߿%&{Z' `xBEHcC`  D7(cAp۲h%ظ*J࠙{t>WŎvCA1͔nve6Q~ ^!F,4s?@9CjZ-eRjqT$`SzޏlzD)U|&1i 1iH$F ?-h`^AVY px"j$Ao|}^a&֛^x zԠ`C'gz>E8؆Q "˼I~/"W1r?4T,Jc1mh7'-ҫsc`BUIsIeSi#؊RH'WcOP KKq˜K6I80F xA*$$!<&O]%q0frtojAZ7L,AM[ܻ%mԛ[ʫiZM߁G қJ ; 4sSa&>[e䨽jbXMB l~\ѐk/ң$V;umx[$qom2*$+.+)?L U3R2ە1#'XǛ/;2A& S> >goJy6]dy냆dy2E1*e&ldyncʊ?ֵ)^Hb;?0 B}|Rwr&٧X5T2u-ʆ\Gen=g:|TT\ufbG_zg7埃' ύY~x8Y~磆g]#2;Rc_#=+i^WXGMclv6@v'kP|0q:plc_V'\:{(L]MS(GG`鴏)6o[1oz+MI(t"u'X*L{`C.Ѐ/R?iTV/_9wxLVX05;.7ZU7!gEATlQYC`9J7yG鶨+':n|Ty]O0ֺ`8}%)_ 1)߲p-1 bJ87;^b Ŝuf|'-%DQ 趌=+&vPȶRj-A~nh묒6oV*Ը3N] Yxs!/F./p]fgBCF[Ԃ:Jmw sVƫhK=(PLO'ۗ }RIO ZʯY޶-Լ{ n3=k3QFw[ _ ;@vZRoƂ?1bV%g{1Eh5wBj r>bȥ+"[wFalxTv]]ja5\pjr0fm퐭e\P;ϦRgi!z |s;ᷓgchm h儮.di\l8 0z5`/QKVL1.ʱϢG s9idUI Ճ -qd |RRɈl9L?$z!z >Cc=)QePԇc~&~|\n|v3{JzM1}X9*YmC{bb97$"as 2Ի/)^#a/!ƏH%iru Ma:K$Bp)23D{ՉbVU @$6,(;Lr_(c:LuM69Ղ)@f P|ET4>Sul5wTL7* yG*?Ƿ6KsՇ6QʠY](7F L83)ip~- tbcMDv% Bj5dV_N\Am?X=]0I72w?ĢͰ4e/ g۲yP3d8PcYMI_p${^kFua>khSL(*pFscʸQ59bgkNJU# V4 sz WRGk]s鎀!Ycb}+yW]Tͮs|N+A;36m8b̟Źp)$9֓)$I%O7RXoat+sEWݥM 1ȝ3I<3qr&τ oFNS6MVHIR:7YZ@Ɛx8eӮG8ycjpIy-V!SHǢ(A%|LD^lN5¶Z.=&Am^ X)R˾W.1H?O[9B:/ *چU+h) G?XA<_q,!9AـH$ȅzzm>\ ެiVjQ+B<٦`ѕײA|m|ci*{A@#=ɗ.[HA3;$E=ES$E867|\$)6X4٫~Dx +$.<0i(BMn0J<n› tfGx_|v`M6RhZ^{kA}%oB8yA ~dcuPA-RaVӚ^ՆDՀDQ?XJ+3nqDPPoׯ-I<QDc3\"16h*2&;RfTCĎ8UwxKSv Gg,\#}nM!RU]Q,CYஎDB hzGU´$h+sqCR>CTE lt;:CEVr0'3o>Ϣ6I6y܆G]hK e k0_t0SQNW?я~ǻz}$6{oF_V_MfY Je($ P(!.=Xl;-Ꮩb:I\!E?M쐹^U<zB7f=OGӇV(\ѷ@~'+5qvtL{ձu@mI,mثeVC;d;9e=']ߛab@  ypoDb QYḵ'%Xs}MVQ'nnM.n -|ęSǸՀu p z&<kVjyVicc#Tӛ(vad9<eS(bl,^G 0sBiaC-"it+^aRS+G%(#M!Bw69ѡ~b`PJF-C4l>p⢔6r_Q> ?&j$ K'TǴU;=`ɟpgxq?-h8_}2mzza;rDrۄ~}<{Hu\̻$!RVo~!^;C,`#mB7XU'+U6|d7$Fe'P%b؞;JxkGU٦ЈlBCh*WT0̔J $ >_ LRE9ZW˝|!O-?|%c>lI&O$bU9cץ 8IHžnHdIhѽF_@9(Ch_[A)/uBi#q(seÌ/>Gc5PcGn|3nҠ :j{ZrH٫>D~–\&"?*, ,K*=RY2C<ώCng i" b-B>Z~4cIRAaGO<߶.MuشEYEC$:,.U[(EV3ok`_s/t͓'і^zedA5fvuW];?| :I&m@QoGT2bR'4Τw:VΊd$S\ȣ0xJ@| ef5X2gCYC`L\PeC%ț hGnCܿ-G<*Wg[P`{r3n[Ƕ'ypk|v,Ɍ)\m4oӣΦcfɳn^/Q"BlJReBftM넶E;!X7ӸA E3a%vA ʠؖh67Df|_ µ&jb.z z<b|WHpO1`gg5SĤzHeosֶg jQ` GXIR@xM֢IlD";bF-o./uͱ΃cjUkG;[;vs֡oj l)Gna~ Y5-JX p T}/,~)?4+=>4 R_(ia9N~""B-ǓoYNopUk ;)@т`5d %\|p[eɼ'~VM .slF}yVӧu|urcdb%3~L.կ(7-s] q0UTHYjrU@e&x ck1~>{dd~|A.FYϳs&Jyz^d'|faeF틀GqRg~B.309sҤЫNC~c^j|h~sY;TOv'7}xi| B8ɣ.D:BX{QJm!@ˡߜT@N'\es*2}]#ls4YLAAAypF7 Jà3!#mmH.KYRAX!wm5`))ɫ|g"kv02tYӛJoFE.S^%Vϧ>eP!y2gF,\=Py;7U]u4I7 Gq?(_8 TŧZ;P='KDJ.UDG6E\`X^e⾣NPv=gO;BPz_y VpE>{(Y@A%'V'm2uЃYvUKmwHV{89I^U~mGj00sYߓKczқJ.8YTO?ˈϮ?*2hYB(\c SLѓd;@ ΕQQ`%uc'+TncSb]<PC=S+}U L)4,z~܍r?22 P',dݓr*9^r.u7U&NEMVj<ޛ %4c)oyӂB6AR^bxsN@%6hm(+#  AT#Zv'^M2AgYZm;5=˦AK̅S}VWէ"Kafvxzd *d= NQ1ZxcP|-h׌ƤDl-h"8UFf ;X|դr`qKqLO?}s_L1m]HYMD^T2͆roe Y30V۸X8+@^2.r(4قlr ejloM|_LJ'?+|^WI:2tM(P2md88pbF=7fJKmKSڜp ~t{tz)SCjK`Z; B2uUnjGLlOI32ܮݱ DBXR5zC0b1QP'0nB~t}C"X@|0`d"] k b[z|֌pmXܩ`ZE3ҐN~ r׿# +bn.xI4̰34@yW\nH1fED%|k[QϨ Ui>uf)AH>ҪPD6 Zls0+*wb:F Ftl MyXDl:"7ؒf2IM 1Q_bqVc= or6qW:.P~8qy®ikXکE#Ɣ;~)mRY_[#S \o/h;־AȹPS V>Mm |n,"5ryɇ0^FS#зnyT"bfAW(d2OsmpkB!q~Lܿx7ԯL!^<#rK4.8 EbSkRjŁq(+] Fxb۝JkRNMfSsݢvtP^K tv+Iģer`Q`C =付kx@SeYœ3V SpZ[,qHAzm%"@`61'#gU3yzӽzT#ByŶ.RPx}l\h˿|N22OD1i@]nH!q>P J='G=" +o(swcmTme%8B7VTSR:3w,9lĚWOvY2M\fkd^g.LoQ/ͤg2#n7#Aix!c| g>N oZ0͎ߡ˚C"۫g$!kwTZ_I$V鵢 B ~}<3HW{ht&Y뚯a39tK  kSfs*y83Cy/:m_Td$.䫣-Yf/?Hk{_M$3 3f vI j9d' BPqo~ m43+C~O׀O>u)25.EV?mMށјD2a2/M]Д&`u1XS'I U4J lnva4H 4*p/BE1hD˙o x߲ y ˪yC*R=@cy2}@U+ OyS6V ťeDR _kő/ MtkVґ N.Y m܋DZመQJfv d /CW 'wϻQ,Mgs"y2 \]hh_ISn:310<|dypL1o/ZuΧzdH5M-x8vy@9D*h 8?--r,k}T)EsnSʬ6͸PdbO?ƃDc T#KhKf}K,` )]~JQ&aT&ێe==Ix9+1SC2FiNJ7J4'&PꉪM CdMGPP#"NG-5g3'5hBm.kOS}Ə@ws'% e@w,ƺ q=@J&" STͿB3C+v 5]6 IwKy1fj@ ˗~J~"B+nD 7hS%± E&l>XN!6o!thj~ L}>QJ 8 FzJN{<8̰6i?q)ˊmo]ѯ/iyZMqK6@kR%V l @vY#UH!ӄ2l?\]I.{5!s hg6(h0$tMN%إ )) LY wWy`+w"f:$ԩZ*.!'" sH*2Y H/Cu *Ъl\۫$"0 'W.~_fG!X DzߊC @?E\j3:40T9ºEK3@ Cu* 5(@d}0KE. %܊_-&RU+2 T&Dc'G1XrKlX: {tRnr|i{cgY8 (lxJsÂn(u\i~_}rrr |DzLh4?+w^3T?A<вOhgY7 >)U&w*h;%ߥ:3?]t@&iQ0Q#*nx']+{O嫆JWzrY{Bt]EJO!w< cl e'}*[y4[ޒ޽g®Va+V@POܠp8E* T#\{Q.`f}Yldu PIS>}46. GȘ7!"T"i^d=x1ȂV'`?teMo**t&g8 ]O 1~D;=[B݉(5D56WZw-G*\i`rzgZuUTRqO۩L;/f)J$ p(<ǮȚpBAyvS?U H(4Ӌs򘈋_$7 e_d(A}]߅2vu:k.B_ᄬM jpCOM!hYtະla>A;ibvž`p ~>E2넱-5J c:tnSY T:fB ig)6t3==PNZDݞܪ'Y=~7vz& z D}ժ;Y#w>&Bܶ.ّ1{ZJmx<Ȟbz5K(۲@L B|[5 Q_2pme ޞ\~c.}cr!<3q9Z8u 7/[< r 2ck0Cڢ/oTp %_@p] S(w _,^3 w9±gYZ&v-"td7p-/ҕU, ==.4ܘLf5pC""Hҙf $Ӹ Ar&T؆&Ƭ-/iz}*_OK.2 g#LJ+Km\ҕZ_sg%)vgْ^mhI :L4wy;V!\?:&Qz EsE5,r- nswi$./g6U7"8iЉ#e/IV Ny'rY퍖v؝灬cϵ. ȩ]f?@s"S!03IdbH޿ ps Zcƫ%]81]TTB ;|\־7{h1kFXTk!j ௶Fa M+1qbOj(JJѰvK.Ƨs ɚd43y,Q6MtK,4 ٘V Pc!^۱jbDL"qwr| 1t q#SI% Vm]x]Pm_W\4SU#zus(AāU‰\*fM^C(ful&FEe@aFH\ [a̕FY!6yn^H4mBH LHd^]9K Oh6MPYO 0BiPqgMC`T~3$h% QKAn#}ok5R>'|35 &N;]0J%JY#[H[4zDKʓRr϶5G38)V6>k-} u1 u!J lO,j"N:ϼT'Zx2R9"AF0Wg;~(K4Z(ػR;BxCSxe1{~soOݱ/a*Pu Y<}J Lƭ9\ERRA;>Ȟ(k.B3 tIB!x|@;^52%`k^-l^ BD\}rEpAex\p3w ( t˙%R[-dzZe:i!] 4V0M>ÚB|aր!#XRJ8i 2PTqnoCCj]axv8i XwʄQ%%'Ď2> #VIlۜMVwLfOW el@$q>v۸?<C1'p:%ŵl7BEV}g@פFR9@ZbMh.;9S>f[?G7O[VyaSg=T+lOҌq"z!&z/={o|1µ?ZO,1v:YTK׾x C:X%[}P1TH.);@HTS?pB `Yn&!.gj=rD>RqT,%[3 q+rTb!! %gqbr#̡W, iHHg0قxttֽ.' I٫NҞXJ$JN_'[wIȣn(,uEDiU E~ǼJ@[b`!t$m8$OpiZː$%ϣd:%`KMSlcMЉ0Ym/aC8ؾ_å3 #QMVp D~tV>OA6Gvw}v+mW59ܚɯbpS5IgsZ>DNwMDy_n*B6Se(_Jv)bҘƢ;-r,Mu@Yɂㅾ0KDL;DAPЇ-]m)yr>Ad[} LTn&'BBT 5s_M2 Pv̈́{Wz.܇wm<N qP>ZunVa<ʀ–ٗ@D9 СX rkyzӵ~ڑrVřR;Q뷝.vtצ_%Cpn>R()kk[04?܎R׈\PIZIR+ 3X˙&ubw&*CS~W2f=@0+/5WLJs.j8<&!SGK{{ bgd,%*#BBF$!h8E5%ר`BSjr(ѓq ]Vُ5 kEll%lo}v[n--5;:qOJh (ESӍkcS!𶞸W*њAwj+4 5 P|B.!AXEqbWU. AmMGKF:dzkJJWעNF6|5Y2w)d#kB  |5,+ 90u^ i~AyK5џb1[Q~^-.vHb>9N^  T+-{J;{'SFf{+~v|K#R$BQ=O֣;~͢F|_fR5m&5JMJDنMZ?`* C7AZfv A Q^aVS)2CֳM9h#TJ"ѾVe4sM\q0 *.h5Aú? ?hv38>wzSF;uX"<.GBo. uy%|X_|}֩O)݇%AIr|H&F[p2QnjB+.vNgNS]6o#1 ?z0. bHk&>۰IJnch=mʈ/zt>NCTPҶ7cEԸHfbrp̀&n)~veEmVPSug7!qlIթ,6הt Ig/L]܄F.aB \cU]`]( rq:Y]ے#8,(,KU?_v/kw瘱Erw51g ,tfz,}gD :gCaMY O2#z7OvOSxZ)BHO/VܵSEq͵q`45H>*[<<Υ$3p&;GHd4kCOAat !\Y~r-1ܹ دN/?BuJ>.醩it=D Q-ܙ)©ӗ(%ꔪlxmV2DL,< ;Z?["+$8-J#j6%)=|gcJxg8߹[^-XTC>2Cwg_w3@ oVFkܷO))=NC2Ui[ K!ԷV1 :+%OvAդ'kp'/w}6 "Z|3DnacA5<7;O*n'0܈lG$#L5L '@N$I 8\V{! 懯G )p/ Yig[GMPa?L>7aW);,b0C9_i@9vE3BWs_ɜ3흭ނHqK 5|wig*'Ss&+<ꊈZe_AMg]mD^,O)Pb*ؠ|fo@Yf@iX1#r/ 1ER ġa}1^4QǁPcZ=`I+]QxzъﱚعHeUt+ؖc! SHҭOrd5^.K`zj>pPJgS[ yzR) )"d{!]EphGT;u,EWy:mYWk4a:*4AE`n[8vly,.#ޡm)tj$!"1w2?QHz\@WEblYCBVp*,NHyNb]fn F>-{G4I~єus$ rZQ=ݍZL4‹/WbF|)h 8-5NG_ j+* ?+?'㏇^x~$V]iͬ$:[ }D#o?.[1"_{ hiLr%ȘATWXՒ "ulb_Y1|0 dY/ z :ݧ`%Z]#B|E~*-9J}WN5&gV?_W m=hqWЯ|#3X/ 5ZJ[yE]دxk%>wx_^4te~1$;& /˚"<s~3JeN7HH-=\5[;Ƥ{()t1F!W "m5qR>і#~bο] IpUzY B2^c`VVB:Bw"C*QV-I~4ZA:a}Q7(s괄)0%r0Nlɇd=̨s_uuOl='pۛ$nTC_ %sȤ-w3ȳה]d?i13N9T ˄(b ?3kF}P ǬH=SnqRJS1@¨[AHXs)4@EohK<"ў_ a\ߪ`noi+~QŰvBhxdwx g8jG1*e,-I L-z 9sΩasdCx3{~๏5#%{u7[5rHn$VJ3ɱщ"B(yV VUK>S|sʵDvE5@ԃ+lx;}'-@g}iۿ51~ EU*e )PZ*Fd?So>cw|gmv3:j$4j:4\R+{˙}8rG<6ٺp65xWxYIZNrA6QIēUЏfL$ďNA85y)5]&C7pM[)~L~^$K`W>4\gYZ UU( 1W% DHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4ษNqIՈSU&լڟUI_r zZG_ (Ē1YGtN굂Y;YwiCZ1߀Bf ,4!{xTw7٦˄$3 q.UO W1f@6'I!żIpycfhlz6QΩ f |ceGót^"p [rRL}r)YuVi=TOo~Ԓ;u2yF"~iG.|5Ϊu+Jo~5lgSIZrz7\BS@~b|;Gr RAyg8bbi=<QiuJ+Ⱦs*eָ&JKE,TAXnkP\ޯ/,0Di% um|( ,Sl蔤S=!otŊm5KhȮOhjU;s lճ\JϸÔ'#f%q w51uO^㚜_L]+]4.9inqtIJ3㯰-62],?Jyd ?[$PbQ:˜WxdIbL" y(c1W% E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>E(E4sD{'Ez _:[ׄ ^`?\ɶѵ;Fx;U.xGLF$w`O5.GIv ̤]Khm;52w-Ƴ,)^V_mL.3W&ɭZ%m顺2#B%!.xݑVHo/tG j|;d?kM^xCKV-PoZʵẐ;xijd` ڢ]5Fg/)5-* 9|ZfU@Rlإ3({]w&akO 񴘤MkP1LeAHϬtj\9I0&97-Di>b!U})ѿ#6!ZU?$*z7IKkg̔;hؔ7U ޔV\VNBB]q6zba@9Q9d@pѨ/>MFV:LJm\ݪ(y_@S~տ=rSIR٭\r` ˙!^$PјNƚ*SWNOX`b)Q[oxzuG-=Z^ޤv@80`&onXq9^!m\+!,/;uQO_#/[Ke߅Nv2ecl# 6Vu8Gz>V7Jؘt_~n_L@(^Z62Y2-K.U|m#pgohNeU]3*Ux:5O;>yv /V~w`xETDŽt-Z+aY[,CnU;۽.fgBadؼa[&?-kк^!2kײLÀtVU~3o8??ƟySl"Ruү԰<7d/*2`Jd!D uiՀ=Ĉ'3|EW!mf3}@eK1XJ3]bXEѨh7y g."~S=t;ZA_ɦ勊`BSB[P7dGsd 9$l qBr vK?􉷨y8*CIC3oCLaoyD#KNJ&H )1IL(+슯(ŖEEn y8Pq\JM*0>RSqD>wx/L*@ D݃2!OnxRYp̴X%{Uf0̩ڈ?$%|T׵(xnu~(kvZ/8̩aPn>G,#x2Q/tٽExRf RgcM`EcGIا#iih_.,/8i*Fh7oԥ&&æl"(P@pܠu[py3 5F%QO5C)]l$SB9 U1yK"MGq*vKd#ydu?SLZܽ>۫ͼԧdSy0g hfkx|#bǀq}xket\p6pYϹO<ђ|ء8VYB5%6U=2^aQ/$Х5 @P9;ocj)Ug-5c?FW}?1\&ʣsj1 .]f`?t^: gn+BLy:5XB]Z L„$yCaˮP &BOe x*Լ qamd<0ԥ-|PoM3 n=r26u1nl{ A#t{&954&}EPt\ eqm^"aLr'y ȵz+kTʼn'+x.$d5_2crn ،'V|~ѻZ+B^qReujTڙkA*ѷW5y(tE 8G_P,Ahh0#%kSp^V3]nZPV*0 :1vؒ}_Q# r1-96 [|)%.lm hC_!id~@)}0YN:fRDdj j)oo Ã8R/-) ~,ۜdyhɼR*e#!u2'Μ#قV &@E "KV"cKWjI='Z֗\ /5+iH~Uٱ Z~PVGpD@$KppPUߡmCf csJP[+^r +LEm$!Ʃ\i-UeH= ,=,MZmveL4Õ9;-ɞ!;$2M`,ְ+s߀z *6ӌ"qx4+{.S! Kp"ER:{Xu/chc(,"%?2%08)_0s|Iu'$25FU]ިdIjcX5m_[$ CVV9E4Ei|YyD PIP/KtssIx5.7qu2ޠ!SQz#*v0 vXf=d 3HvV"H0y% V5>Ǹo9J5m /TB8h{l9ݓ3j|[>& a_Dq=ʯH BtKGHsaطHzzrI]Xyqu]2좜D?{2qVr2& ]c \ Vȟ<| Vw*j+)=pLjD#<@  c$}aN6T0t35Ȃ}v\h9FuzpX7RQ":kqYںGȫ]}MDgp0#<8mn u8Zwpii3D!+ Kq0WeH/'/EՐ@2+ԋuܜhM\Šh) _.I :65ĚE w T~8<GRv/d(dn_y!Rx'm,XЊS9'J%rѤEEyf2.`P<By/9=+9j1˂Ń ,iV?ն=KKExK#Uڪs1u]t.F){K.(Œ/SNZj74O-g4Ƨvb.G+Qƌ_lUAXm9HJTIvܘ=E- hzJ5]3rb9Q.(?\ 0.(ԤopDW3gl'tl!Aīv]{ Hh)un_ +>=͟I/A"Rz5V?:{@Ļ1(]k*X"NB$FߕViӞ[,d3ݨ7dAwO i{@e: &-A@73/+9 TiakA2w"fs\ng%̓q NRد.b lJsq@r0!x 8CR.)h1 nY1ys̃ BnF7md$*GZnQi Y9Ƹ H%5" 5ї Unڄ,X 'zIXpᕄ3xs99`^єPc& :ӹ ONFك8/I.mNp^w\{Pf b 5woNR:mcVz$ l&I,\u7š&lԶaO "},35U|v~7WE|be^|z]5tVvûN:b|%ĪG& )5>,cɏAzkVkR);}SU&5AgE4o WB`63feL_%(P=%?Vv.7 ;pMIHl+u6HXl`BL15ds~H=ŧ#GV~z}F.p@*kԍ?Yrh8%iCb_, ;AXהB3љ%P:q\wJ/ZnLypr(_ )t#a]֑jA}m@׾]hRe<;>\k]lo1=TypXc[grK@d'Dg;xB n>3ktzon%䁁@S~c3QdWnvެ9bUWXf!`lOZrb6||kqoDp)t2*2M< MH%64)K B1q*EZgWF)C jﮊio zލ2ޣ,5*H˛(Xی~q-]0nרta }҅/ǦfxFyQ4`2==b(.Xe5o'CjTVAxsmk,uj :YNO5FDUon̴xW*fuJc 5si[~9Mһe]15Gr66yeefi"j{ȿ4Run宅( dh_u%D_rMGl0^@qwܕXA:Pཟ88%z3>RRq^ѻ2LqYk {OQkh5 Ib5:^aꈩaC!yDdu@0V`!>$ iĽ '3jgL✱*Z*$EȆ壭>b(Q~MOt^ʐ{is̳9px]8 ^ *pmJ~@ju}ٻkcg:2OIٗd]¿Wm8#})-ji XPo^rS_N1xkـɶFhv4@(- T[$;Z~J'g,dB}m>B5F͏]$C!Jސ#ۋOJy>b#f^ #1C(fWPt\IjtN!BFRGf ѕK67! <n@X<| O!*ZRV|YUD+̛wZd\ztf!¹:H0MMg}] n_cj kP=F&\uяZW⴮>ifF0f]zpQDhM./j=Q{g)@PJ׆K /b替j2Ic=<(zqm]lC " ƔA'LFKѸ@E:Lխd}s`|QNJ]Vw "5{ =%wnKw)ƏDl^ "ul:0afT 1 HR1q1!KAjPDzEH.y%ƏMDWqM@]"2Gȍ0&6 Q i꧜,_m я3uuEkT KX"M ѢFuf+o+dҺ+u SS(?-_4 ͂V$6ooUzyț= !{\2/oK3Gb!f!&@QY[ Sf@N5ŷOTm<`[CwwIJ;-]zv/fX6>S0_jKc1EyYDJ3).5'7{\mmL`H AxMk'o&WbOdDNggY!N0DW k;m Z(#|{n&"Znv ;w3R׀]1x8FMu?][$Ne}C0Րhcy뻉s޶C}͓'ft i@˳"o5jk2"hI}eA9[ SIHi{O{ UN^)'w€ e*Tӧh_{pe½G3йoC3DsU k`ԌiRAXyeR>XtljnvZՊ,SՔ yx,!9IRōMhŇ3Jʄlz1oD.3Mֱn+2xDEJ,)LVI3Ck CF lK]~D]\ia/+o6 iaB@5U&zuf?a-»zZkؓJ²㩟P9yVtwԊ1d 2Rhܐ" 1BɣHZt,`qͤ3ۉsK/;hJfgi'R- gROT(jށXͪw8k;~ Ǥvk*̀@Xu9$a2/γg* qncn ^mN&e#7fة`Ů5yTT*_Ut&>gh #m9nIPFtz2^~N%c0? ǂɰvc2^ˎ&8 cz> jӏULX5'ڇ 7}:Ɉ׭x\r$ۛEVv@B~qdG4R؝EKl-3(kx*&,$E7Ĩ\ۥЧIr K>]c%0Fnu;H utI"- ~%R@Ltm6͏nۿGph%3a'5 KLO͑]FҦ`5WǤ!tgb1|~~\ΡA FsGX=IF,@/ e[9zjlw3+ 6oԬ!{r~MBF=&i{k V?@NFb5`a{ε"'No8P^d;r TµlTs=KƮi8x]qF.{Fp$BwJ[ׇѶcr!oKQC3feG we15՘ $.B)<[MJ-Fx. G~oPnDqIKTw7cMs4^;AdO"wz}j6R.%(?>C} L] :[-)X>fF-xwcI$QDa=Հ?V 6> *1G<#.IJ%Q9t)rĨFϣ, 0<4Y7O輍Z_L9n/@ׂ&@XOҜȬc1 h2K-E{j!u K3E'laNzAwmWu s{ ٔn'Ns~YbVQ!qlp (r:j`ӅdxJjICFZ&FArH9@ۢSbP'l!l[߉E&X(kiO' ge$=R6EnmkT"35Be({éCO`v- H3D1itdxzS//!DGVG Wpze  ~30gs*ϢyO|1g*DzU :\Ǭݯl'?㱼QHrVL@$!Xh P\syolHפgYZ,C$b}< ^vA7]T+^$]'s!K+'5y lmҪ3Kqb& mc*ӻ&+`]c}~X;BĔLu4D}Fl8TO{vЂͼGOIFla*ypVlJ$*w9.GMّ,e${*bWes1wM'n/j+>!i pЊQ n+X|i8_u83N!%|0G2ӆJ[x'n9R{^ ck3}Oh2SM^ L=͡2z%= ~*ǣI.N2†ip|!7)++s-߮V{+Ŕ"qM R(/ N,-L߾^RY$LleIvVǴ G4=.t͎~ \]gqP ӑLyq~JlQW`xKh iDQ  2)گ.yStof=!?J+@?/-*1PʫVLT=";}q7K?EKaǽpTg,)o}<1+IO|!qtWHErP{pq!{ʒN rZqs2Ws;Vٍĺ-ٵ(>;hIEXHIB\HJ4J`uz=Kξڿ*Cc#l/eN'P:fdSZɃ9wBhZ5R%CuE}^!UBDr7n.^P-;Qx9ᅣb @7gGWP޼@ a'WGjy}#W!1XNUE"(z6x?)p6Ȋ_UKTA[4ݿk*NNa|e- ~2-t~jᨡ fMyBMEHGnid>UE611ÕhQ\>vgE,rѯo׬ -2ڲ'Q1Cy,)R Κ 3wYZ4hyV|8g>!*Y97(\TNmӣ?h"{j|.It9%p苒S7Pl$mN a^^| GK˘(nG\rRYWMRtGl5U6xo dx{:yXMXaڼܼޫAؗz Zqּ5i!lڟp i_vbvpCI:(8.r }$5-z877[G$-&]5h8B ,4i\φն}~Q`([Y>=Ш 5x7$CһRVW/0r'ko߳tƾii)KÈ,CdK-uaBIC2X-xf(0 Ʌ752gL{6鸁\ϟgz#x|ۃJ.Z ̐.4Ga .P͓ ҢGxP /Q{lP)ۗ"l7\.fۡd,YO)a_*,NxM'$ >@ gcȠz*)\Hzui&Mh\T;=/WgJ*[!47Ua-vҟMh_r9;5E9[gb8ѱmU-ĈVC~Gw">*҃Oʺy;W6{/PѼTCHmIYU;fvp+cL.ܴt JR`XR궞D,z0LЊ@T/Q4@.f"0j*WyP{Rt޲ES,_mK<6J]@[}#QQy8_]1k)96ĝSAb_ol$+wuudKZG&gy$lsůܷ ngk1v 7q]OjgyjhǪtq.2 l)dԾ[6˜.ܤA>:FVP)@9E?5 @'7byD& V#>Jg{{~,w8zeu#*Ďo;O#Ӊ"dU̜˵r$ t"]q>akU@*?k見U+čB^U%NƷgaOe}TEҩ/,d✈$58מּmȠ$Vbh.+^Ÿ̰K9-9+4\4VE>~=g{-Nc3\MIsWb㇬OS5M_P׉ލj9* 7`{r5&W41=F]&1~X{ViB`;]Hd֯s!ۃovqd3%A3Y\!‹H!&732 T'/m%"a kq_Tq.F]  aGEXdd2Ud(ZÔԺַ (c&njY vq 3ydՉ ?Ҏ[=Ʀ8ZI0I-\,e ]"m{,]KF4G|N#`gBkSWNqW*tM^߯JBK{] bEmTW]'[jFmuwqKFE$,n+ *:ȢR!Ah_ zzK+y$y~8cGc!37>5G ow֮}u~9z历<:xLV9 /O le՛3AbMdGԉ+:s 4OKT*T0B%-] Ջ11x]8Hs[k)q3E DKj86;96JcKXt K뢩EͼKԈ0|B3$fiw~[0:9 o&tb6g!K$҃+L+rM;)%ȴUxO^9e*!-If4`6\N-0+vrMVi}E; ][_SבIZ37-[J\-F^{k H48#B[]5 [J*4³ ENk}dPLpG/=fha5RlhVs|n>-XdF?4^-5Ci%}175ºM7Y?p SjYBSœ1.˟TīT)үFl0}c%˯"^. aQl#ZT2Q(6loeo h$~z)OӴ&- i`e$mt++9Ĵ_5"Yr7ָ9ޕC.!5WYGvea$HoG 6 #߯wϿ YR{M̸74QqY5!}7OK`g6x? |ǔkRrHȑA튃$&:'\p`a~ӕk;bPKOx&N\9ח{?Ƽt.ϝ\ <0Le}%]ub9?{P0^;XTcb;3lX_[=oYnvmcqySH4 mLv$JSF1t-a ʰV,# o~q6 3^aTYt4,<qN>K :qYȝ $ Uvx$.[yTvPFRTdr\Lh 7Fd-: j%! FL%\kQ=hd9v''dV(ǬYsʮHB7z5Vv!J/^V3`1I(W4W. E/VAE6e9|o[T; L1TR\jXZnδ/.u\m+${aL _K^ o|`vwyk+2O2h};HMNO1u ՀC)uj~%Q,'jsϵKXL^nc5yP!G+u?ES6R EVjϻW/Nڔܛc^5 ~F"qGg 畾s1R6I[1*I4o/8-oOīL P@j8=mgv|Ut;3&Ctŵhk+)oc[VQǓM-T_h@ՂvOB!ʯRUc-TuP)[K ")m`Ws!d6 ͋jB7h5wLJ0x~X ކ&hS5+a1#;=(Ʃڃ+@2؂(L?aRtɁys(g^يh@RTJ.r. yߣ)8scY(?857޲GJא&FDU Aec )*sPkɗGm|0WN.EЛ??Nߡ~ы ~%І ^"G]r,/ij s-MU:yr6&Ŕ.W|~ë*-w$m\JT+:N16(@\Vt+;1YW NVqG#:-:k[\ؗg|a `6)TTGf0LKp>p0ᕵR !1Pk 9n4kc !Bk(F;sr{f=8b9Zf%1%BoՆ?.l;AZCz_g/θ Ig߃ HFN~~" 0|̀IeĶb܊8':rX[=SҮe|JN=)#1U-cItOӕS,]*2o:> rIIGQ!'JF%CЀߛز!#}XtdÇ&hgjq$,BJDOupy,ݎr զ*(s=[c= Jv_G1~GbzcO6z0:atŘ Γt0S}۷ oğTm+οIW*8SSj,+N~)1ҠcOg/Ee+0NK *I g3DIGfOQ]``4@锋zt B ͒1&qy|6%^]-WUOx8AC9' 'I' q{G{` _M~0l2>AնE++ty7li,A] в %pXfĩb3RL xI8J' ;Dܓ4CoP5J ܤ15kfU9aOKݔ$,ċ P,<jz*-mMu [*o{"=КA쭎ܮ7HbgN&IBN?i䯉{D\H9H<"(ٿU:ê ^TUW=(Lh83(3 :Ty9*+Kۗ9R&:yaHj]KrlH~J7~\l1J.Vb,w]!+IHbG]m $~R÷Jj]"p手r_6A;4 RU{qzcsenoV6#`UGٛT-g͡>a.;LMUil|GeSyG$dh,-{[K?U4 zA5bHfbɨaĶR?}6Y >jPa](^F X/2T=<k9Y@B+o%;B yRfb{6[.ߍӟ/tsTpDŽXQڰ^:GXۂ wS:?X U5`@E ʗ<#K{ yM9Gm~PxT*l3$#YB5-^vִ۪Hg-_ZO#!' l!S $#с1,`nɿ50?&y@vаAAS䀮"rzNfoSń =n4W'Cnzz[ռוݕyKf=NFQjo/vַ4WlP^LۓP*1 ~;l2!3bq{ꄰZ}K{zu'M*Z7JwHȈ=dh?a2(fu_I֡KI?NPDh8䶯%*w=f*!Џc/ž}<B~GTŰ[`T_ʚq' l$ӁuYfOPM,WiE֠3ΐ@_@L8YF(Ia6מX۬Yے`oxZ@C*=߈T ^5K:s[z6g$ Ϊ[|7!yl,Îl+_ 3 cNy(7}NR|: `T[G=ъHRxE sd%m*2> I=熃MD*VRXGLbMa5]Enܪg   ϭV/">f\lPU@|$̉?!25# a+-uV +`5M[Hn8s߄KrĻu rd_!x$U/{ @fI9ؓCb9{Lgy 1*Aϝ\YJI. a۠C(XRhd5ϯXg#qوg~vR5f3gtA gm@Oِf} '+_?[_h;Qlp"R4,ծ)z֜Rx#MEy20jLj*LFvtO+Ti ɚ.9$4\ ܀tDO9i'Qϳ2-0*LNb{)GO*v67 YAGlU&U1ϞޞM .b%ʮ&S _W}C1O~[`*=KڰIQZ mQwb(;P;90 9-;= 5YT~>ւԓRAueY@OvS):.U*j ;Udvsy4x'D~%ad7q`V'a֛JS!ư7b'n>Eম$z4]nU+ q yt؉B܈ `@2B?T  CxQ5M*C)dqa'b%ZQ] @&NAK^5R4%` -ˠI'{c Ik18p,aq\q2=FLteCgyWDԈH\y+& zߴ$+(Q@*Y,+%:q4~qZ2Js-9W&n /lF0F5'g7f Fkx!rwxgYZ qq| 1W% lHOL-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&@^0\@`XoQZK˶"xN;@),m[JBz-"GۧB&PUٛ=C 6$ÒjWx4E6Š~~(EF_}HK^hn@YcL֒}= A5mݛ=QMK=̂(vg>+T- jWՍTG .D[a5C'A M cp7uQ9G#LQ #r"n5 )LlI87(>2:\?z/V"l8uwm?XS:|Gk Fс)Zd}C [=}DVNIopIFH0#zU iwK'?Teo6aU?U?IqES-tR K/S}H+ ῨVO3ZTBr>+7b(4LW>㧇|rub xR+3T?J@g; ,?=1F.[.!֗ޣ>`|.|R6Omv= CmR 8Q,_iGj>Ξ;!=̱rfCJs|3AYz9meIhG8I5~뜱-:P;K`W>Du"o\ dYe_94ot.Y$[ԊWvd/Ȼ35=P[hM+ Gey%=F²x!cL6 &Qɫ:{.[YcRV{x0B>/7IJx.3MnT.fVL=-hgC%_+{G{a C|cYs"$eh{FB4YOh.F!fY;p9}c>4tfmr!XڤFBjB(LZt4t/mKRfx̔ن5tKnޞ㿊Z~qV oPmM7d )sw]a%z cJQ'nl&Qp]XăВxf)g$ԉKH Xdni>:4y$LR\_,HpC[gu4c_:1,Y,˻#81=3;_2ѹd|,S4_Nf<K[}<`PCB''LuB^t4F?x8Qͮ1w>r^nw.>zb.jϪdmU9~f5 `JABA,kP"5S@)u>θLG&h Q.OLT: Q>˥c#1~E5`(Rٖ dE+  OfSLyË* rX%սO'Q1k&Z:O,;ʵ'n #.eOXBQe`ЎV¼Rn_ObёY uUsD?7@Cq;13EcJtS?b25v[jp5(??U @ضgnD(;g [fѪ7238zjAxS xdk'iWRBol0AEާv~Ao;u]Em.ӹ O1o_Trȥ;?nVxP {/' Flpͭ eT"<1K"s,r3鏡/^ zQF1C@s šz;ۊk)\@;9ˆ`L[g=b3>QJhM"Ii{Am2A]p^ RcݼDbƦSD07H4T`ô^ VqɢV8ih3 :-3WPڵ D1K3|>4<6WE,c^+.X:_6wmN6, W$ԞzWmD)`ҵwRo0fd|z ENTl$_ tH&W AIRoaU:*7 m_4h"‚r~@J Qf7U)7/ȋRefsHG;C VdNb-Uqw()YU*XxBpI<9Etpton 0+#k@ @e;o]g 4?\XJS,u(.a=OG>Y# 7HxM^pDykZ8}lF쿧4s%tq8r'( iRyl:>&Zb֠*/b m%/Tj oTDv[ҙDsttl7A&RqT<^k4z0Q/mtLD1dpR*9G&{!?TW){XW6# MC@OjgE\P/1se{$۪AVl |gTIRZը(չu/aKqDlX>̄S̾)YJrhtPV3&&.=~u8Ck ]Km8k3 T&L#Lq;$T)tH&ֳ~ '\oj"HX \xk]y±l:kzV#uo:tp$.j K#eл"=ƭ횈5BJ7% G/Ql(ɣԝh B4ܡO#_4DߩkZ$Ll^ S @>J{wyl!!cD{Ui;[!,:-ݬ>to]d6L[\ "j"ӖA*hE#7z,V,,6D4n˻PR<*}I->\Դd nKpx6sӴvi1c8+SJb,?cy1E5),lj?PGw x[T}՛Mx4CDc m ;;4/mD)-) hNkzu%Zo:'KSEW>8E(q)-eht:oMy#VGȏfmDiu> -u'0ȧPd.\:,@ݛ.%R1:6F\6K,kwI>@l\m}r)#W\w<󩡢?F tRYw~$TsJs6w!xCe]艍Mb[Sb !q~} ] j}Odzel57 rfD">3?dɯvwcYc#k \Fl7Ot,q֎<5U M@HHPBc608\G.֠\ ެxs. OVqyW \eD 0B9n>˳" w8} "IT/݃t3H9S/gGOmx;S3l "2U} zs!ϔYTwFw skK;jrL}c-Zk+U qS&+Uzj!G7nvvNc_1Qu"RW1pe"/jljP"ߘz>~Ctњ|]ӧ"\@3]R;wvcAM1Ctn&ck ޓ 쇕2wD/z,!%ӑGW؁v{tyx"o zEv hү J߇V:ބ\<}Hbf^Ei:7gzԢ@_Z9w_na1[gJ6a8o~$'[/^q˲9%G FnSDqDޱAIZwLE'7{c-.\,5\F[ Is#3CG5 tP_wZl5k(mf\1Kg}15K[YX|9Ӟ4DhX-%^b~(DGXTy1xSv mZ6g7l&~Cx3 A? , exǭartSPSz8l$7k63בuyGq<ԂypڱQnfƙ Q5KK˼E Ds|-; K8 ]ά2E#SyY;c2xゐxJnF\&s8Dxgǻi 協q+ތn04;d4U) 2鼞b,B!)uy,wseu,3͌inLl6X;خ/v-30,/(/_O7DA$ _>sW/&eGUQϛMv "hbJzG#K;瘻~S~h[[$U]qݫ(tj? ɇ;y ҫ4<ܨrJkqʇ@P xQVeENFʲ܏Lq+}C4F*ڴ&.ʎL%?7Os}6kantdykhd+~dL`6D9D*Q٘!=q/ކƴLriub9òii4 W>c:sI5&u5:*DP\-oqp~oanE}_aEla[#(=B\QU`qki|0 ZX>3S| MV2O㔑-0ҺVY}c=ۊuűs系 to`IX/pWAZėÇXv_9Շr{+H@hdkTЪD1$Sb;ٍM\h?;!j/aRJѐ %- ];{Bh{=@uI=1{|1P;Aa3r޷SDeԊQ`9|E,GzXgRW.ނ 87 $=bdK5[nDjW19Z09Jџ2Bive[V$.4OZ$cN|;y:$%cNHIw7ބid{;7?[+:i,N\zB(%8ҾazǙ Rv5iahhCH5*82wr>2w)(%t(D2a3L6}k4hxH 6|.EW2vz5$-e]#lvPF~=캫ڏslhRkm]<#njB^6tTԪ$2F1 /PFɖ((r48j&\b/*cE-` m@-_,OxRz/S)HNmZ'r۝\W.QeP?WgeHLlLz[Or^>hRac|W*ݵcUKsbTMv *zS[,# $5vE`׭^ &t Vg+\qIڐq>.sυ6{fEXd?ϙ+a|5U-ȯi /0"=v9,rwJD'E0l.ڿde8}:,h٤A-:W0&@_-5^k=`[xcB[{k\^!9?1wJ~z: ]&|dp7+߁h)ቃo$pέCu\&E(שJa8wf6 ~s2%0i)Bv6fVcܷS41C'=# >$VyUFsw C,U_X%p>5,Cę/ T9͛\Zh7m=Tq:x!uǃG#ƅ1s{CBox /5Kp&5T'hZ{Pr$&tN6`'NjmUOy0ooSa$Wit|gD$nO)'%Ep!tl,v.xymYs`Ikڨ.$rܿ[ᚲVd>,=gCJZ2ZUC33װ`_ZJ%7%զ]zzw:nBd :\T ˯^zfBu+ ֜R ;GUFIsnqP(˙[Gd@:*x.kkd%i!Ba޴UX!06|#\|]* P,"4Hۍw)y;ǡlEjNx>"JX5hB/hG* &q3ApzTO!/ftz y=oTдg[5aPڶPl\։vIL}9cfX,hU~4pWHC j&_s%/ajpB:h@鼅ĖE/.xXZDe-o&/,g@mxʮDs}%9@Tx_4qɸ5ؾT:E4Rt8>o_F1[&R_wxS桌=yzJMO:_L(A[ۧ2~ttV}4`. REÕl@jD~;6 6`hWK2L`C +a>EWOrg]Mn1ǠFwQ3ElН[ݞU NujN4 9.)EN`n Kcy-}r6=VkA&[w FCJhNKs1^HX= bwdkAêj(o2x'b: MH[Roз6@&wQ{Y9oBĂOS1d@ Rpɚ u 習Ι3wWn #U 6L^/1 /hϩ 8KUTts-3M Jllx^8//C~y9rM}AӾA`==nmVX9&2ql(5,ёmIC`bk434s? {Lixe_>`Ii s[ Pw 8n-AvLj/|#19G;IG`@)&?9dcjC@wy1"Ao.:rӬ&:=jV{gu9X x<+cP*,+Oa^ki%<UϦ!vERV6:dӭB>cB2>k{u$zו x{+@=u2 JHp2UtG:M]m/dhd˿A*a'6*y=5Ը('4s%<<-G{N{! [.X7`.E9cUtH#;- 7(ryoƒ˚|.6 f!&؛SQª&@Z _CA?g2enŌ]]VyA,igi9MzW0L#f ͟J"_2;g+Neg U+Է%n:)pf5>u0Jr掛N BZ ct`zj!|=;zzxJPm ԡYI&*S]3VjH-;2AͨU*F=xo!yt漗4a7k0{"*w{KcJ @ȝdĺN:g0[,fJYua:NTT^I僡e?n\޺hy'4v3l;]L_}|u2\* sr]Ҏ%G4hMZEXz'+EÅM؃/agsЅż$:*b@)Yu} cLv0\w2/C^tg!+S/)P6Wuned0xG<"qD=ǧZt1#3'Zp@;*/t*n^nC;BFż2􌍝P L1"{iuz~H3`̴dxorԳ6@|'d.*HD9+$(^\mYs`*Py,0ny91&`[ZFP!NorB}'*О1[= dD9nUw[QN.:Q0쮎@g%T!ͨU:$|5a~Zî2 MH(yTifu="i[y*Gtuq輽~ixmW7q'` iӵ|VS=`C$x{3<Vd7fLFo-Qi]H?OLdz~.6$ӱ6W%!T[ %r0A_{_(ՙds=j`Ұ 0I?I =ym- Qm0]~ pvUmu9{lc eL|4w^1hEK0óe$^\ e]|D5vȳL,q.*Vڋ?N 2bl]3W#2tIӻZ}4WZZr3 n3G#xsT"\Q}tcݠU@vudkkk`5QYΚ#huY8 q5UASǽ|Bo LOmӽ<]?Pz[guUۄiu Z{ ETinpżBcT03cJi8Tt[z챥ä9vc;̟^Rk`2:_^fh`ob:TQj=~I`޴rS|e ЋJ p9Z<^ʮnm]c7ggiYУC| LO'Oة˸F h'>:y~xt~.|F~-~+u(2r>SKE)3'veeYW ]/3+tK: +)@̎ÎR>/Iݳl&\m~>a~"V =y"s7LٚaZ"SD>NyPE~R4UwVw' N/vZI7.o|[ )gbvgDY^hϘ1OT i1u!Rzuuݭ>xFד!8ԁř_67};PL ltj v{9@n )[UBS޸7xī=HM4|es}I8[U@ E?HG9 eچ׊sy$Uj˥X k-N)'f?HolDŽ!J r(خȑ;q~kLl yw5FxnGٓ 椪#8U@}`Y&6o}ZQB>z Ֆ]Z>kv%)X/TG8iX+ j`_,В}xy%4t>LЕ-`FR >vvނ( #.J%W|Q 4ݺi 4rf4>)N0G TSҵW ثQ^âNRئ2aq3$>I2l|z^'2͟_PnK_q :Dq-/Qɘwz3wJyA쭶h!n[BJ}NVR& ^`S)M%>^@,3:#DAcy|!8![,b#MŊY `5r߅KNb0Q 1ԝ=?g Y_:0kQdӋPŴG lK`h>cUkjF{~U9(s^4Zr #H?TK{.m'e Vb=%v/]#ćW-!o`L) *:ӽ) JO(G5fו\yP!.p}Z׮›Y|َxs{&`s2 SlcceScWD# ֭w(M,p*jf;쯜? ;+WwJQvҳ'd_@BBJw˾h j|QoŚ'#sF@Bѷ=1-!z.8su&SJ7BVABKMB}5QdP[伥 r.jmJ!Wm=s (8JbguoiL&n͙_U4v ?:K +1npCHP|:{'G$6ܲ2W4^]GpcgLmEgwmA8^;m@,(tDV`k!qdEYnp8,Pjav<47ItOI-Us# (gU".[cc2 :pC%cc[+A1VNVd"+9´+o/ /Q̐WN]:@]%7QMU աv{ Qf*-,,^N׀0p||Gq(U n2=>4 yoBp(ȂJ kqϋ GUA^L1ds4/ᜭĜ|%_J6|L ҁM/NBn[XuOƳ^82V2p.u72LNnD3ȱ5e~ٿIZR IƊ<{T:eɘ~L-T|" |#ȌX2y:ge=Q uw(9;B,o;~G=)I&;FnD:bi^~ w!3vXUs3; F-iHT!U@)nJgPLڶ^#VKS&j(1JV.-2c6#Y䙴/lfؔEӼJuGF1] nX(ij29鶑D7c6듈cK`N#â/ MC=Y DMJ.yN)ޫQfe/ٝtpS%| `5q_*6Lݮe›cAcM8;Hr@/v#^WEax_OTEnuF)cx^=hJ<]p“ӱ-P ̝ԶZi'\X5 ?G:ϟUr5(iLǿv!1Ǘ@'LSaX.F2m ';_{e{_-(o>tHp|tR> oߘ 5$[J9<`^7^? Eް/B5ɑbA,h6v7t慢l͍o׏ T(MjiE?boВ?]*=YCB凄dv I9@4)<T "Mr30{ؕlΑeEQ?eRyq{WVaDm4[Ha%bZJVF73|VٟU2DBh.mZpCM{;&C}s3gj Sp-T&OS tJoqiX&ˠ`Db=i\XGjg"Â^~\VujڋҟLqJ1gOD~GEPjV_R8OGׅS{lMPT7.Ne*|B+' 4xtlֻP5dUf;u"o;q,"|R $0fQve2z*ӛ.s& d&!@ e]wW0>*:on<9`s\m:gOuIZA?ہqKoKo0p"寓"F%$VU*Q6 㴸$]h"4¼#~zɠu7(EU?Ersmes[=?$nZ7W8JUBz%Cx(9 e,NK<r\QBG gYTׯ8U&B,9Ѵ|^Co'PK\$OJ@ T5hPUL?[݌Y (#j^@$xM,! lmaYg-!v]Gj>w'㘫sryy9]IVǰ<̀C/%PY!dkZ}l`΍r Gdaz}I jX`]m4taNbyiRFxN›G>M+Gvz  r$_ a)ցcښsba#](9"Py[J+J{;4{ ʊ㼆BR,J qXA.Ն!l*@C~[!R(]"*/īT Æy/*n/].R7pi"5ޝ8 1}4f-p.ӃO:o. ߧnh6q!:Q|W. }"rSR2;\IBWޢ&6݁ 2zi=y2KJcj*ňPv,v%9LqT\$'.rx%3cŦP[!5 /5ExG݇CnHm00P`l[/pwg.HNz_FI=6^عZhX*3 %dAjtA.(ej9@&5;]!Sd Y% l|iQ@`9E"WvijNUT ^p-9|!Xdml5-$tuƂuX䗻2wj-ysmY Z] 6/39FJj-I!ck0Y0 D:4ZE!QG;yfNeg#|+?Oe+2RAb/?d*F2\֞,DcId t~}ߧ%&cb6BdC VRR RԁZM4 w/Z(W.t$0 {c=sp1=C1-윴N1ofNΖ$aK>.ÏО׃}C0P 9tW|7 X^֍eO<#PN>I$N9=2eiԥ-Mat/S(RUDMC;UИf|'Vh; G+),\#'Tֽyg˜ bwj-֬'Nʎnal״b,8sz2ܛnd r#U~}ea>jk$.ĕ#ҌP~ݐ 1gڲ>]ܚ1X ?aŊwU(݂m'ђD,3Aη;ĘKpPuc##@CeMK,^J+"0ѻf)K?O$IHvS6^zrrI@و@^jaўzsvB晴Rb,W؛ǶdpWLpiw*}R˿@N-\Joeb]dݨ\1nRq0})l [ꤦю^$M&RİXQ)qs$. 5or[{^j~HY,ȹw\s@Ws[;! r~ikOu Oo!*p̒Z4yaw8v5R"g2 ZZ0lX+ cz#K qT#T6-@#$ \y~HxZ+K`'_q̯M:4umQ= ״.8,uz?e >;R K_Ls/ƷFWcҕkwTF-V 'Xt:82NFQ{d$qw8ҿTdHL⚐.CSL WN\`z_o0tYb[c[[sW~" ďc'CGd\ G@ iy~]H,ͫWIk8CK1c H1/GMkfBsBP4,vJxfd{ou$ E|QIYVʊ?__ae8I]>㋳Sm\7=@βt1֒Sʄsd5DE!};MbVg^mTaW y^[A!6eSbkfsy 8lNBp칰jlDXiF#fe%̥IJPKI6fe7{~Sf kބxiJXhAdXsԣ`[`M<YnhN QKk=φ(EXzv5}"?I1=S_,Z*0Rr u=EMz3D[˯8-&5n̞>׽ͅӭ0 &!qo/_1gy"ꡢ^*}-WԹr6U,w=fDLM#/S[{Fڻ+A%:FI</ jHFcUH܍8'SS#%$`/i歑V99y7IzkR"vMϑ7k|"JJꋆsF;s*}/^͌| C4 ӂjc+`4J2E:B)cgTaKXb * 99i=vj.sbl\1kVOdWzeUT;.fż~/BM1[)AC(܁Fؓ-ЭλÞ u>I{ zHJ}>Wc}`N2(,fK?>9g؂{=2l7LL+ǚ"cuI8g^b6KrOF* PwO,6x\؋hI2IQxaR6h#g+׀mzѧ 9=w#K\-#Wѧi"I.V F^on0Q]=HmI=50%O.!"J>ݻ}oJDzT-憤åY|G~49S|aZƿݏ-e4OLpdpwaHX + ͷ =n:;ĖA{Sqɰ5DWrI5[mUiG͒:fnVHʗ]c)灹j5Ԝ bRy-֚D{/./Bkp t,)Bbp 3"Ir3 ܞAM*4 tSQ8gР8_ҳT㐺^?rwlnhN7% yjg^va†teM mVï6\B* (pL3}Neg6#b ';I[&mbAI&v#<<,OdekEFyUͦm>rEk7C3p5amQ+7Bf *PNG_엊"S(k=Sq qDP_u aq7ޒ7f[w{HqvALhIza=9FX~Xk$JdTG7a/*}u^LQE&>Ӎ']0:>*f=s̒`y?i2RY'g{D@ἓ/kͬHi _<3 '-ˑdpնۦoΠ} P8S2MciM8W 'he=1K.EXEF\+Mazi$rT]an{$i])-6t1%k 諎㝅G54¼}N?F\e E:}/np+Kl (2)4 %,-_Yə0~{܏6)tKCWpopo7,1H'Pï2ql/pų7](/d }*z3~KjHip!qc$p _AS';j}i'i;;rcEcѴXؐ:p׀'MHxSFljrR#I#h>T[d:c -mO‘PX)]mImB -f`͠|&Xx Cw.Zh7 b8 c.nKx`/S,0" g%~D&zbZn?v)ExJ|eKDh!_Ѽjsoqمu3+yReoy \ N}Qg70v {a-B윾DD lX4[ ?uaYؑ"^L(/h@՘ƒpc+*T!^dbyB]t xS{8Ȱݙ2(O yWxǝ%aGQjlb8VOA6@{6|Ѽ"4_vˠR& 犵6ZB(a'xHaT$dp6 'O=rhKM~K 5MrkC?v:aE: %֓b´>.SdbTsT![8@o|/#ȧ5eص!V=S5D$4F?BD\LJ+- ME&RÞ`KN,%f#TS%B'{_@n$Xӡ4t]_bf8H^sLYp$`Lt\f( כH]Ek,%<ʊ-b5/FuFҵѧaW-FmNV!踉gSx\Ϯa#FK4GހhLBvRcW3ngW+_ܔZSq %2Qn`Cg;biYS F|u1  YZ,F×tdRX=1lt%tb8*. ImUWS%Sw%|(<|^l"#B"b"mtb;}UUc#۶E!_V@SgsT8],m6p# ^MH/MޮBe}=kz갉)MyuO s _IdO`)tr&7A; ƢWk91Rݶ{(D`#}9f(V ^b\/0g@ΐKOœ5 SLX{U٢4@r;qattvg1wj#{8Xq qaekXbsbTO}콨$. >Æv(-p~$lTǪ6;uwY9Ii^i\$Kl2I3 xU*(1%lEtzg[c.$RCϋȁp= 7!Z9,tSe$7MG\(wV#Lr?Y! ơBs) Z +49FS'R6뛮πlx6h'q7Z[HȢZ2ζ j'p޳Obq.#x Nj IE/|{_p V7P(B̀?TNA!5LugYVHDZ B`))x,b(@2L-SY"}?dE*1hRM@#سDZ<(܇,QDAp':`/bH6O"q% 9,]7=âN:J[M=SR0?m@x2`鼽ink!yE)qgF'Xah.q"А9lSdXg04nrw8?MΪgÁ3C5ެ7ڔE!8)8oqB A _/™c: #.GkQ?;9!i-?X([gx.GU`ǭZ܎& ajp!c!>AVE~~nL.|xzo+B4B08 5gbh7&72#?%B1O||T81xw) %:&&5`(4r*u" Ƒ$z@Cy<&}}zm.k}m +A>aס5}Yrϵ`O}}5I4hxL;j)C+}yprd:g2C_!Ŕkrd03j0I+(_Fީ!14Pj\-ƈY$ޚW=oۃ;SS.'3#˧s/5(Kfud]?^~`4)J@5Eì &hK9Q.F>.8sQi⨉p3Y!o<>w5FECOcn!0H9&bdȺO%ASVYW㻆0eDҿxH[҈^G"G+^ N¢FZo5QBv20>h*:lL,"Zt%1wޭ 5nX`йv7'vl/L*6JWEnB*'ٴ/ɀ4d*&YL˸,fgr$?2aZYt-e'Inkg(f2i'/Ee5.g_A_: "!|CWpboYLxMȠ/*;^J_!%\FT j eU=)#uoz=;&n4V=K Z!}*EPnmwI <ު Uoj(&l'طM}8ҪfFgvdhk/Y#Б90 Rupjެ@o. ?{l92MaҏC":E7c45/^[x!6!r@skt^ uV\">wY9^|of]b8=-`۬35}=AmT9[ ~(-R*:wKNUhIsP-)A"Ϯ=l2Hm!qQdK4/c5}oytڈD"#og㦠Q홷!(HdlparxsuNFtj~HחyqKe v]sc]=/6j _0ӓ֋B%;j7xq`ICDd?Sz-Sxp80&#O+d#P.7ا MA$C?vܦ!qi}k pam& I猔}9/Qc^Y,5?rliU?>ei%*JcNĆ5*ؘ,Ʋvۭ ;AƔ'UvXXCq^`T1-=t 6-]Vjmh on>m KD0~ݵ4FK+e72zRl"1QNp@wUo(cS Hiԗwk['L#_]tucdڅ"etJ3qƴJe\hg)]ifsn HZYt4-ܮqŏ*c'O" .WzOs {5 RFIбևO|=<ٙf|Gz %@ 41o r P WLq" (蹬+m9ɍqvq@fEC-;P)uti֝GQo{!vvhCjZ;{h)VᆛL4 zs?ow%vjp#Gvx`_Ƌͳ̊e-e4ߒAItT98A=s2U𭋇F05LwRNm̫BXWCۥQv~+v["QM"D'sM5rƴ6()?HQPip 3Z: _!r$!%Q00^!KyϧiuiB|jx#G qó$:qbM#,i+6Ul<)-S=H\#.H%,/Zʭ.ؗ7ǔWt7T pL!hB Zf­#.R1;V [\0/hԉiZŽ*@JoMAWO kp`خ@617):=4VJTlZMewV,NCeAVx4.`=sj6= =gbdHL3OVB_+Lb>HۈoF{|m'׮FnZ>2JI'#_cҏN2oSN4؂97v@*Z m%^+j!KlsXdu@1ik$I}Ti̞_5C էA{2mbtF?>- Tk\v;lV:Xə$?#JOPxٜc>S!Cj[\[W.2X,5# 4a"x!ؑ3 5ŘMկJaKCa.P\c!K,B2{{cB.RY~3tPPHv9)̷W!_}֠Rd-|WB Л(%A\xhӰG؄Q"ϭ|&p\ 1?BK2y3DO]J`Á-TP\GÅpŮ:f"S+/XTܦ2(zyZ42)`~{ O^ОbqWSČ; } hx FYeY07")RPekjb܄Fp|l^bQ|l G|P 5RRv1m|;ޟ6b|Afx^@,%l@gr1M+M]B%yljP?8kIO fPIR1ie8{dy) A+BGBljp0 Dqfu~>25 HF\ˠX6D:2ؐW`"Ki ܛ?2eig.)@v/!Pȇ_ACGI J2, l s{s+Unv7B+ֹ M3,ܯeЂZ3A4<20[^˶R6Z&eE!082 o5Zq3uob5i*4}"w2 r`&Gt5!GY-3S⫉_&4)8KDH^_] l"?0lB-I}Knn\y-|hF0 zaeV+ԞJhrʶxr*"NS4S1la19^>d5VtU>F -1NZ~܊ZGQ(,AbDYJ\uQb~p ~.[{~y8egkjOܠ4/#[A 1_ƪ.TFMchGWퟞag[,aCEZ uW⏮]憡 t6t;UIpJEkwNjG`+ ކWj; *}MV BH6O;S{c *r^ݜkd?>U$7}R7sEg9T>Uݝ^֝ADJA;-Ψ QGݺ 12cbj"jD! fL7 :WQμPb@ʃV%ˀ,-5z RsS? Ao,sqD{&6;6P˰} ڝoG01DaTU]Gdd8G;h}ѸZkMz9<@H6yG$ר->:UM!9jC{K |8F,[|p(LE,E? f-G`M>qt詡$sQ=i:ɒkd7g^a<*|&]vB1Wր`O}fO\7`iԐs>o敡Dém+߈D|k$h^BPXdVkƁߖ*fG,hFuFHr42(MAn$V gW292 v#>FEڈil''C>qyJ^5&-PTdtzi*[W[7t>?[p '1}?&`]f5O? R%A RE4j>`K܋jVɎB"B6 =!$Eks/b5w-"BS^\'.ZaGcOh/&̤<ޘ Jc uŷ)8@UCCϿ7d̪b%F5&Z2GCC :EWE5$mr!kamza;_m5x"ڧg#hP?.Rs#d[ *דFI-!H|*e1HTڴQJj blף)r|s!.7FWl2)>]CG.L}jգlelEEdl嫨lRo ٤I7|zzE DSwn_N}߂*@ZQᒠ҆+I`Nt>+( zaSbl՟:^8ˆ$z!,6zxxB ]z]>S[??^{a<@Xj[x ˓1D< ';.ou~hbrR{,`g}Gop|`hgW. XגSvi}%\:̩W|O';Ŋ${n^"ZEtpjm?6} axE1yWϞFZksɎڻ~(t0t pИVK<V;[׍e$m:P'&jg!W2uJ\z؀P*m'P- {,3)<,ᑅ#g7=K R$wR&hXس$zh&Wįǜ]xW"ǭ_\6c0Z[y;.}>S(T z>Y fDlk4 'cn#'6f|# Ly8薋R[<(|5$Qd P4abJed.໥LmU_$'=nԓiǙ"3.YsHǗ-(l }00_7>%䬷=BSg@ɘʣ%(IMLn>y)pkUux-QG:mK^>~ho%WTcGn )cǿj,LL QѲ|7Qjl'pDZd)"t\|5^B~eLeϷ6GGˀ(L>YąmFIZ_R~*_>ABRz9ot(837!<@~@֯q!eƣ~x< d(8^u6XG5lyHREÿG}W0YNk٫=BI+{Y^gĭMLH9肃vX;]Ԅ&q G7p􇘍F(G؇ \*Ж9P*SR*#'r#v)ŏ`aZ1$Kg4Eg*%wA|xFǀ(NUJD3KBS5Nnܗ|v@6p:j3Vg~͊@.) b?Ly` 59t]/ol c!F1yR E>Vݡ1sF2.c?{Y ޓ =.C1e/k{'?5C>M8Z/B$\9N5 ~BȾE@+rj;:`\IgehH;lnҊMdq_]28Ć^ ڗ3AmF4iW 7Heiro_>J)okGmPLqj)٦M =YT(MR{ [lƏxvf}#:-yy=7l6;3|H;ì PHT:-L{*Ɖ_ʭ x=J^@]s'TF~F (=&媑#1u6@@aP93iRP% X`~|ҪoR5]LXJ7m+~ЁCrׁNBmxkcBon 5nMs&/cFޭ>D ?ܕ㘑ifH&h--a&|8HH-.CaKwy 2 }4x<M4]hJU: ;K\k=Op ^B=R=r%w[i*IS{r$.KC#S-xCN2) gK=n(f5 m/,Vn>܃Z +Ly&`S{U `'{1,>Is%1+f^^"{aP8D[_ |4\!\?Ϟp4v) \LK F̾$(VI~"F }1QDZPۿi|x>Я=Xf͠k}R.Ʈ6EBl1^"p{EMtH0 `J\|E&Ka\~_c/)/s[|aĠA j饫0&5ʤ~T ҧLjbgk iwIlI䥾G ʐ_nJu̦n'uyuhv ȃK4[.l&7w~G˳%ϥr>PX=~H5!\:¬Ո}'}ZN^ʒAR?d[CKCڂA`JU^@%Q[]әe) hi-e+#|bdD0n%:ACn7ߪ| 'nfǕv4-4~V>[ѶdJ+İkv@‰aGlw"Ս;rT1SWDa"Oq4Aa:]OG;h\zK8L5ABz,U5u g{nu˥_/A?8 r0F\y7 0ƛA53B"YM ~WNeͰh1H2cm)*=%V&T%ElHژPdq=vdprM++k(+ᅒB(ν@MT+oCf7Ksp @rs*7y\I8z$T~rl+#V`Ujv^^%_OOQZr4 s{.]R"}\]cae [IQ ^ ۗl +濨Fg,jUChU*>'Լnkṿ3l%8f̠WE3DPiLˇ[LՓ8GIl&%u1* ,{x$ `U}9sNguRKϹע^;a$"mAoԍD;7gpKRN iܻ$P.X~T-|`١nu wvle(߈"!9Y[b[i5RdQ>Ly1FT[mYr:c&wLDS>UjGiDK1d[Lw8r=y v/CY7iJh$fU<8b'j'k&)ehgTq&H(=?r֍ _ƁIU3(磵[]6)տUAF+Gk<^. :z]!.0X0NTy7ui\Eyug(/l^S ,B*&z0,9f#F #]sct/~bͥڱyHɶ6>\|g Ho&ZP|o1S6n⤏ΛA Z ii#xwMH3UH2(ąJ/ìԷ&CNj0S0+RQQT&ŕ~qc4_tS9صL#5GxeR:GA5f ݖEaC2;x.Ez^zlhBDD wń]87grYg91zK @t;lBŦ0ԪL`P?#>Hz-g>6^)J}Gdbj(kglwrA'RRi y;4ـwImkS2 (CvΘCQTmq]D2ߢ¼r+R}@2aŠ#9S,/yxݲXM X;ԮprTb<Ĵ<{V%7*C'T*|'a@C o;BB MBi _pXB6(_ rMk3w H!m4g[nvwA?v7\VS7oGsuUEBl1anw8!Vl;@Gc~XU9FEoToS=[OaGuYNftCM4 9*&k Bl-(+s3tWuxpXMn'8gYZ !!/ 1W# THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! #]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``a b\Ulؚ$pJ*(u~E,䎵WȤi bx,4(z"xO5,.xIHE%.]A_Mـ"D_.wqT!ݷzR{0YACKn ' 'N> ,Tz$pصi?oUQf3RnNz yqLhO9tV3Ux*4bmr']DD.cԱ:Pͮ@Q NR'1r,d)gj fk5hS9E>Oi} ,|NsMK'^NG O#΀S.97Tā R:~[C]РLLnzFISx5c$~q'+D_0b8,2Ex). [?B"ݨ.W/]5OQd}*&࣎uyfp}ىۯ s=#h" 2\jx\N Vf9VMRU&072^~NTՅZފwqٝڥ7ŐKcPyt S۲b~jLQsT*CZ`\ P r>iڽOɬ፭Ys2r\렲=n !&F,oVşT ٍPNj{V)Qߚj|>dغkɝ׍R%z rrƛf+)&8Ȫp=3e^$bayn< i篂ߦ/:ms|֠z8>ֺĊu" ds0HJT?-lm$>pLD$?L{6E= v;j v!:6}֠S&S;%9U'Abt{.^ZypaݿrQ[ЁZ~8z{655 f !' 싮=@! D(Rl7tU.e7hɁp1H0+I ً.OO!BFlCŦ2Q{h8y3!kC@Rwh~;%V+\pgeN0]@cT@Lߊ#soGaw !U[B ICͿ,Fvɸ5Bo4^^«~o.AҚ-ٙ'hq{E@sMgp#@ӉʴE [ZGLoQW(.n~օL.UhJZpq3Oџx4XkҊ#bēhS֎)ʔb]00`:A;{K2A><ϥG;$QPB5gi0 }[ݛIWa7:{  O#v *_)Ԡ>hھ<LoJ"&n!M/ XX`1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id522|1W' lHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g o]Άxʆ5.f-9 rq=c=RsDټQo{5 ;`I D!&,ڎ<لG%Œ+.?fL@:WzVΡ[~qғ-dtEK&BwzFAhQdu_{f#jzod[" (t$T9ju({lbίo *707jzΖ:;d4S .Ǟ9[ }x (檣Z5b3A=W9dDGG,#-) WY4=2C,F[P!z!z}}^^˯6}۳q`#(~Mjdڹ )\^ } r7Ѓۧ[f5[9VqKIJCK>JaD]t<_*,N NLb9LJM6O4b/L̋R$^\"!Sm:QRe~<&UxOs}T|{UN}{1:~B)}P*{#V<7 ֞8q;f̡nb+8v&DV[,mŦXs3kjAKʚۢq ]cv dǗٜX:I媼WZB/rYe/ 흫.ђakT[XeCi ͷNJ6+E[3V=${ҫ{;q&?H<֥P:xdM ,Ϭ'0!84uLh{7y׭poGXرR咞2χ;sOdt~:yRE+( ;N} dNM`c{=UWq&%T ~خdF̐=-EX6= &ZTZ!0s>(iH_*֍Ƒ̚t')$1!m~8,>CCȉ!0Йs8Op7ny9N`xZ-iBk#0ȜEMzKUBs/ 0dhO; Otp{Q E˘y߃?oT,|  gm4cl.N@tO.eG;=XR2ʥ\NyZFD_Rtxr%O5ȊTN(gZcx_%BܓاBcxi3J;Y{S"F?'-4Pg k+J)&,bS2%.# Dv:-ȓ&lJ 7'z_W>=@*()N1}/sBG 7<9{ͼs(4?9ʑRy9B_gPVH>:*i+kI44fqXM$-Z8o=/VcaQS-/K( -g*ŊqW18$qFݙ] O}l@H]u0ϜFj:S :zFo{}@{&(Qvt_t7|we[xj--gHO{CH37;l9P{Pؖv4ַ<ʸf= 6\!kds5[=tUi櫡 R̒,_~*M])HfV=Q @k0͚3ML$LUn&tu,Z/W̿BB.;)yb:+1Bq΅B!%uU<%{J(9Um4v&^M2ϧÜ|%MݪH U]ɕ :"h].nKԪ&O čW~lREd_ns+O}ncEMҢqaxc#fyk :K8^̽,8~P@\E2re|VYCa.mT4=&c پt?%9+ $= B8y*C's6o gYZ<&*sB^>Bђa7ţ\EhG*Მt3&i)/@>w1yO% ݕ3m;@^g \q6.? !y*1ZA">XW?y, WgFI(0>M8iD 4vNW ٴ蒭7f\?/{KUwGsp<6}vwI5A>xh*kV3k{Ø!.0HzPH$M_D3]`=Ģ t>KcVPGBP%7WA1#6Nu.CG9 $ ڪ36t7YA-|xIEgi}:k_X5d{5ÓZf%K;T}u7gUri-ʖWJ溲rЅSDq!6P짼, 8ToB6vtVEfG޳g@wD^E!,DZt\X=;$ ٕT[H[DFjX XV`4hAj{^٭9-p9.Ä~# _Cz`ot[v-v;l,+Xe:ZS.X?NKw|*0Չ&tVXsԪ#5b=JA,ߊA J\\2/\isR{%E(1JC/{fi)7>: {:jd? ҫ^m9 r8v8`*@%YPxkX̋?LōI,il|"UX{xk,}/j TQ^@k oQq3+_-~Q6*XWl XT)R|(Eͬ_c+ܪ{abю{R9e‡PT C84jcNLZMP?/'Jl\դϋrNX>ZI4mJSjw|Hfk+Z&@A1U *|ҷ5Ӈ  B}@t i!BnPY⼂b'rRUSJ;-)0¯_BV~d@-\⪴G -KP ~ fQ4 ܙZtO`Z]cymbŃII VX I1cQXbGD<86'f:aa}٣YB<Mit-})\P`I>"UTǪϫqIW%oHUxx#-8Μv)^9A *%&^Pp&UC?_VaRg5~|!A/3&Ԟ85v H3 b FY`r8^@! ^`&xth@z0~2&E>aZ1y"*JdO)g QAH2)9J ùERa"!ҖxDvD-JxRdkW(QlIDe|MٗLa[ڬ~&S,1p4[ƽΈ9cE=1#+d-2l5c-E܋^9Iϖ] /{`_T&o&IS!ub(/=H4v %:$hR^hrUȱc UMȖxpW%@;Ӗ{Q,^`qyMZ!!ZZ.rN\]_U4bw5 &?-|s{;@W)^/Ȩ4+Kڛ>Aƒ=,ZתV9x=[d4L0eݫ=(FnčHJfRgJ17w&#/d#W-ʉПRD8ԃן~LIfb!^C<ըs@(rh6G BhlH;L'S7BN:?ݳ|d P uyٷ> T_~\=lrtf,‡i%o.mi`}PK51A[ 6<43{V( Gr8",dsm6cr^U9чWtj޴&ĝxJ>+t|-6{>Tz[l0Pd)N ]͏$]dItO RSqdPbPxP@W{v$:Pnn@HJ7gt|Ǯw꾸 l;Jw,>MaNw,yx5DLaBx 8Jsf b &NoGOw +$=N9_-whmc"v:ʃHšN?anA\-q /O5Rob';Ic"1MS{OҼ); XJsExÐ/)'ź\ 0C.ZKk>/Db}  1RNezT mC:7;4SU(V"& $9WMXDJWAyOY3:6qkF4j+h}idik|<gADYXFוRB\R5t>P+7HY_z~`J[pՉֱ&+b 4n$i>]MZ 3{6>w rw.5{Yf^fm&r^x!htG! |ta7(p$~e5)nCE`_ YLnzrGղ|sǖa8A0#B *zzׂIރ pL^_3D=Ikˊm@#;tݵ (7@f+, V_Xu(%<U9hqqCfhЌConPSP- T}%~=yTQmӂ]#`*0=r]J3櫪_]yn؟D 0,>"fCS->J<ɉB]q] ͟tKл"p6))A.pda!ɜt~cyGnGĿ@w(օ_PG)uwl})|ͫ{ x]żwsim$**+䋒 `+%&=Z6usϷ)H,L܇I!gڀM [t|KNO{L߅yUE0+rK`ӵi׷$^s% ].=5c>̳!-B}7jAg@)bo?'$},$B;z^T%t(%P>: hφ(q;Q쨂xv*d?.g?Ed:WӖ4,VrZL=ƆXs3no;=#@MSb79h9z+f+w ݓ񯨤ҟ`b#$ϒe[&$K9OM=_\%~ cȳsz$@dlu"5D ?|3$aeϹ'鏭>]v RZ1(+cPτh(Eeݮ7Wp}$$:x|]5N/9ӥ9 /q dOZq 3EBߨAX2 z)@FmfNgu+eDXJPTҋE 7xF7O'GDrdo}zߖ+`,ok}4jNEבVlX"yl@|8#\$u>%8~D X\]u kb^/ 7wDC.ϝ,~`,Vw; fb45k:Sh_귏{}ƟLs+NH3n[Q (6nEzfQ\2,{R|.zSBd<$~ǯ)I~S;{G[?[$ 6]4D_'*_>B1L4(02^K#zˊ.FaoxkFD֋TI3[@DEC=>-$,87ZG@. $jlz)|WbF$[MTj`I }Aзer+Y^yנ%RG8}^T*{ ;P@ B38snۖwsF iTգN2Hy?vkEwY-7"c|g2l&xMk<3QD-+Ӵɡ˫}ػRs eJ<@YDi Rx~7}ބT!-AFi%kb#-cXnF@P&"hY, ŝfߺK[cbZtG>(06ةh>4Bᆦ̶bη؁͆ߕܒdC񦨚\2'Q#&%^aNX_Uy]Nrܟ cRGK4 `X@sBzJ([U0e}mÍk:H$ʡ7  on@J?S `W^@ \iy1NfYZC'$69^?RݴȀ4W fLOoEdFs9i m yk2gD0s%;q?72JYCs&÷yJDnE!;6cAua6!.00Y[9HBKW|Ry|~]\R-P>XJ4k2v32SPMVML7 vaw*H :: )T?7E8Me١kJ9O(OUn7]J 4 ~N΢\#EܴgՍчr6;468"V_]f6zDz!P/%鑸=yDy3dLγ3hyty"5#w]FBMf bd? +k(T ^BE(AVtBJ) Q JrIwY4Ӿ#nk A}h/ N 45rף7F1FIl`耣~$&T&IJcǼk,43&cb:k%B%8K6Bj K17IN߯d"ggHg:] ؛> iDGg ٚr+dVrcfa۔v EQ0U ATm3Z /=Oޠ ٷّd*勳ōć06ծ]3e%Z55p;lh84j'HՇz˓+~(& Ti3^(XBIyٚ4A-fßnbHf:0BK˂X5|M떦 i`hw\%:&G|-~Uǘ_0+١(1?϶WP(?e0S!1%~JvcWob>={DLZXXŨhyͰ,i껤Qײ.R&~\HNDtHE$tm= }Xĉ,JYrF@ ߮lj-W\|<`Ǣ5R|8)-jbD Y9@HW+goRW}%Ee:uIY>G$ڷm*$Iأt)HgA3EÃ7T4Y̎i2ı_\ek4&w~Z fF9^u Iqa;/M|p-9IiG{5 9vB[rbdDW"]Ē%O$bkBxOZ̋)-pǫ慡>}gw׌BVݲҧ#vΘͮgg܉2-C%'n/Ԯo; Ү+'9򵟚NCD q. Ŋ@JVLIA}itSiq_8*U .<[jsilY?\_ 8J9ps%W{Iy-wQ*{f)oi*jT@nmmh?dPy~sLwv7yB_Lۻd9LQoTžQ) !R%z%6Q[D̻ Ʒ1]U+UJ*ioeS*oNS&}k277U:IRb,(/*@iolo兽js 6^-)w ͹-;0)}*uPBqʼ?@pD. =Z;1=U2se6܀zj1Wv&Gw!zxFTZNR~Cz"ږm G{ҧ$9~7jEd )R(DƏUTe::冨HdL<>ČC xK%My3fEFy {YQ#иFgQf ]yԊ)\HnKeH.&N)&nL]=˻%eOf=G4\'r)olq+Ч *+0sw!si8#=a"wq+AM qX`95a@)`iX|Q:#Ad"$1~JPODwT !xosO_Nm_9}V3I 7bE/(VqYuZY'M DfQ/?6(KYH7+f@Y2|г >d,eTe?kG8,evd)iJ?PqM1_|ޣ` .>?$zCÂ_OZ _Ż,) k0ak+^T_T| X:Ǭkp:p,ˤgl/z) zr;u];:MKp83)CXpF^Џd _%WdǮvS7Y~O~Hmr.*X^*c9l^ڽEe.05n/5N3p&\ Z]}Ln*;le}2Ok 1}-C#xwD_;)U%SI|߈3+ om߹Lˬܭ[vrƛW*Dš/I +QNsmEȀT~7p1kZ؝od%.1̉ AJ!'\=tbs*vCu\y`)vR n\'H.goLodh/O{S;(6a۶ApN 1$ D ף+r/!n q@2Yb%rAf+P3K9RuW$!ip{ڻA}ٺղ=01Vh%H1&ig"CAϏuE>M>j/WwER 2}[oX_$Xu؁$ '}1,ڡ9D[v鍼ϿzR?:x.l\O&)V{[^5HI4e1vLm2ӈb+o/]ۭl``PAfb^1([uXTz)et„:;A*A [lU$yƼ%Qm" x1Ij"@Xѭ^쁇5(?!MKb-73[,>/NN&]R*bˀI26 a=6*.= Ztif{;i.J2Uٯzm*ocT]kOX҃2t^5U&hmcoH^ J8hNiGנ7O4wB묿 tb&ljdEki A62ZuQN"o牄q ΞsJp~V +쌪p hT`+C |bB1 (>c.S2$!2a3{ڏTg2KQ堃ެ*b@)6 ' g^րdժ)pGn%VұQ]C9&fh HNqUczo}RKmh\N+J} ́[y2>d[dE8{7k37%I QR5sBIu<96 yo|8HM@`G;CT,qhYmLcCIɜ,4^@8~';=41z0X$W[/5_6' 2@}= Δe%bΣJi/}^M= i>.`'E@_dajs)گ(p_1[]L[sBI_C4IOdHP_ #SnHhAWzĕ2R::;PEjCV1JJzDN c?ԃl+#.H> |0JL>)}2xx j5Ʃ6#SH NZ`SI!HwBk 6 Ќ5š! 4`/'z]Χ3TA6o3BN@-,6("- 2mŪ@YKd9хp2pa{t5^0 c^u^ұ-:Rb}_>=W%cU H t?c#>2UFj pV$)/-Tm~x{=^ؙF iq"`]9T"W.ib0&ҵ`t ¨g S|*@Sm[ WhL\Y-%p҇v Wv-aB#U *|uQ\~CUQh =cà6,XՕf3ٽJ.9}RޝTqDŽx0moGaq0S맙<[z p+8G.0#FAOJ3N!Gōh!j_=m[{"a%{f=83 !Dُ$zU>IPN_1]nAb!}X6?}( >( \*>;/J i(Y1oWbjD :Ս04>r[y3} lxik%  T|A&NbL\ 1nNؚ:عn>o֔E6=B[:dB3 f*Eug?l8yfJ?*ľ3lV-* 4^ 6 `4L pK2eVs]"5ߝ0snRZ}RF5 ^@@?.c.ߠoo9W,[b{A)qX^!]诐Plm%g9T_G.@M<_.Ehڶ$&* _pزןOn%* cWƧ`@D<E|=3;*b?+CkHtFUZu& jcb+zπ: M}e׺o[>΢w!2J1ej"I=MЛB'8LuU߮z5 aԌi#\DP/u[B_%y(ȇ]A**J$*>eWVV*s`P_gb /vG=OG% .6єCzsyXR F"nV}!Py#YհOjsXR~# ~˃Μ,[sz(5ς'2(5B9G! v|@{BaŠHQHEUxXCUp\et86}`5@[= hC/K|an{@MeXN!"0ܨܤn7<97SӃW;6fu-*#!(r :o 0?03kx^Pa7[!죒b8압Jր^sU(.k>pmD>e&c ăRS!|L #J޸5v ]=1_=ye5| tw 菻byfa`;\  ~|"4D&.>([J\^\ܛb,j=lnU24nnC#gbfEu`QivulY$Gp?. lvЛ,>U{+QT=m3u`6'yy* XXj>DhͨE0=p.Hu&}}).4\!x/¥7)G] GNэ#X"-[Nlf;ҝP OLjq(~4{HBUc}{GL Z= OZ,*Rbx?X6ǡ~9]}Ⱥ ^LpwZ4u&(ÀV5Uߖ("1]_s1ԪK{jfP R=1QmEwfZg'8mA`GqoTJsU[Ti$TYbA|#'`|d,ȈA؜e`Jfbn5ܮ xPMK%FYt I{hX*kqG~(ueax 9]@yFyay ꜗCkXn Y=#p7x4z$@ ?rbof.!Acc(cnGk(s6wZnxxOH#{OC[S(`>{ MTzT7|%.)TFiHV!, {-j !(VMm]Ȃđ>,W>o`Tjuf)$8h[թUarMLj_\ڟژL#~}޻tZ7z}%İ84f4.ԛ>l2@8kiStPM^_eM#{;X[Y߬Qk3sT9f`"WݙDg GTp aSLӝ)D^e?M?(Ӗf~4GsB/LB\x7WBO" ߴm֏k-RŰv´w!'vj>dgMp^fX zz(v;2B1ѷﲟ!U-6) 1g]hn'΃7Et.ū~CQLjIGs&ez#{{װ6AY܊ƒ|AyLNz\@/@Txwo?^~3 .bOq,>QaÀ6ظ-&{MɾEW;wL: =mzʭelm^nA h]}Kt@C @"' =$g@62MϊšoL숉!U"9U$d5bLIfGBPj=;.a`(gh'Gڏ>Q@ItWjPom̐T} (2IOF p9,wb_r<,'"+G-ȧi$ݴ--rX >u877alja)ǂem#/ xe]~@2׈#l <\l+lIgl c\DM>oS d3Fx/fgR`j1WќC#s!#@.vjXs/oFCVt\gj[2m<NN ۯGk\ɥs7gubo]J(yTr<.FƒZM\3>qC SIDmD[d4fvY9gtŦB-~LO2|D(+p/Oso|9>&-!\y_j5QiSiPRA 59ɷ`Z6ȮydݶQ',5_H`}k@g zÇz ٻ9<@p|pEjqfl05BpLxF4W~6"PN Dbf%wVf/h`_wo}|'[~'e#̾07^BNAm+`(͇ JVCKS˄MHWl-8c7/ipS3䐑-r> #_E?EO^|e"xFvԧ XECG“[OjJH-H N>΄gΉjO7cxm"U b_cے~3Zm[Q԰M2ZăRўhlnnKEpL Wc7doakoi mܠB eu!f'8nu v!Ι:we{*,i^>5>, @CzjynқI;I塓gEe,/Sۭã"V[ @9M-QkУtÜIM~4w9 O\w\ I\|LX 1meTkYެې'Qm uVh64݇X H¢v61"uuZVdIc|I="&8l(m5j*=+,`b"cHj@(ՠ!f3UG 0Vm&)%5>ִ@2\%WCUOd a>FT_Jh`(}D jI TSd"۽Ic3+ұ~mYe]!aX׋=6 `d8^M0=Y瓑+¿]ѬREeb<2 q ~V^Tb$1 _oWVmIqQx)<*D()wOuEuwİn kܗa{6i*$I~sф㗬!ȠL>}<#`5;M(Zd&eE -w.DQg*u0Z\7IR/ f@v fCvX;b 8?hOgQb;#lrWI2%1C\{ =wkު!b)X:54c~f,Bb vdP=c{:0." ;\5{i~6p6sRTS+!KPZ F _L<ޕ:}%,hGYs6,Ăq= F}̃]v+?vs|6ivuIg撮"0T؟( t\j}(Bnue$Z߭h~UA! )!QdL. 9>fxvWIk'%z PctwNJ21a xވ&4v!Q!O{&GPH ڔ6<5)+}WZ[fs,} {H Jju)l؝#;oK\qysHUL݄^ɅLfů5G:O=#꟤~8,{1O.+c"q%O{J.H\﶐xj΃$)v13]cnmH4fF6~nv Y@ UnK ԀЭL59haڼ3(& ^ދ7>!V2qVic}z$&ӼiQaXc ̜Tl-*r}3>^PvE68 |1JOA szj3h;ѽU}K'##I/#?M&DufRyx\8wUZ(H㛕Ņz'5'wa "9+.%n2I  0DOZMN*OǙ0Ҡ^f) ?:!+DǘnښqbEmUX蛽.veⅧ)JpAr}j1$TU Nk|M(lSyԚ'yW+VQ*p8(ֹ&V QTigM^2Cp xݚ_H`刖Gi *[JǪAs4\6Y :OT, "p?9Y:#~i2Ϸ0]hMh c:PW qn V [@C3y*6bixY͢5a&>9FRBXLۭIu]Kt:TBjִ-1 P4e (&O7 ۹@gl6Z5# &n VLc=_| B!8R!%CǜL aŋr-,A'A C$ߴ0_tFWgdttT4v5Nc? <ɴ1lcT4B b9~&L4- /c5-4Vjؗ'=X+ ;GDp*_G+FmD+]wt~&Ѳ|ۓQP]ݞW9+]h q>{Ҋ Cqq&QQ'Rd vIaT31tiRt6@ gY< ڤAYjW!r~' ƕ)em[7#k/sRiCb|G<^وrh{68:Aڢe?<uX۳ycwWSJ{Z?(@^6YPFU:="*@]lzy LJaJ!٩.C7e"$@.yrOvެA"#yqS%- X"$pv(LLH}p:n bpbci*Zhә؎$ޛ$ݘgjڠ&(mlTz~HF~ 7 .zetD5wkv[ei+D+\_ٱYbM!sCUWtM0 byj uh[,d[Tfz0?ݙ(cTGjОT*\oHzӗ+>Gw%j:uC : m K/S{cPKS JL[C!q,zjYmE<+yS}Ws=# `PjBrtkzBܾ^?~M~L* ~1>v47?p ؋hN6qpG- H_E濶ZNV8^4'U0"2oS x)>$ET;bba;?CZP Ww{Ckm^y}Oء&CA h\k&_.A* А("%[,LG ̸y"g=LtQΊCkCQJNLM7*]$0BFvK(\>ߊ`O9#KFXßJE`<+5}_xClR-Wn1Qa ǂ(& 0޹_*{Q S:~YQ(\:OgH;S <r Kp/70!GbT`t Ƈʉ\ n] aґG.ҩXSH>nG^n&꧈la92k@ѓYCh=\ Bbzr m' jsTu܎ YxhguQi|uQqRRޜBMMf;G%|E #) 88ټڑbEBBVވe cP_j7҇zM|܂^q!?}d/MlB 6`#{՘V hdԑCW5(qwPT%$[ðN9 y~b~pGJdZS)0"7l{HWqj^{ {k ,nZu,N)ozm|%%̥#(?xg]IAmGz㰖("{"1IS;+e5[ޘ#z~r*έ¼j'#1u p%wWQiQ Ɏ~E~iݠ498{ Eؘ.Q긽3; *+;[e mA4w  d`J0a|h KT߁bLmvu'l)YēeQI{^04cwx>I1T!CuJR.`@́<0_cvK= b)(-G{Ȅ芦4}:ʸһ2.Y-`}5QeKT8|`d;kGe hXY?U6#Ж kHӦyƶIs^Du F͉3u02O}n$cEݱ2D.(*w9#"O97N{tD.VƓd'Fr6 WMY) Lro)T}su6m AS˴| \hT"rV'7,׏k..R3]ΊLCIOhcѰx 9"k(9A*WrBFk/P_6k {H^Td&|RpLEW[xR- nU 㓊{ҁ= w I%cꤔXSB6HieE$d(L$Brltt|5Eq˃c0 1c?S %h]AM!Rxv{蜀E@4-CA q `JjBd(onX~S? |q|r C7"Eq>W`CCw t$}"ʢ^~X2$e%CR}ҼPy"6v<'>:[괯K3hZ( c< = Lպ٨\M~%n=/`^' }V>|G2䯐dS{M:rf3gG&tf,Dē_eD&UNrWl7jvow6i}hW4oxƽc(:@` ,hхj<˽vG0 z&R%g]W*ǁ/Pͬjk GrNjxє>T{ctNJPp ;*ImR鬚/2 cWDo< ˮC jL*>w'.xr7z#] K8k?觎<{I ">A`:5bkZJs />Af$zZ{sv اKK.o<vM|FAkE,!"ߌq}2xn1z4(, Qɲc&xd̊ ,K);":ax]Tٺ y Bx Ge &^!:SO%% g"+S;)GOKMJ,Ycv =+.kͻo*xxI㚲*A Ϻ?IwS .-Ҏ^T!X ^Ɂp‹\O)pА ˟'mZXgT@ LEt̛`Ì]9Vkn7Iińd{Q2o^WYS=5s n qo4s0:x=2tM₉qZu|[pJhtLNR mlߑ+ZJA{"^CRĮNӾgm0S (>pdLLڢeQ u1O}7ixVY  VOɂU]iKw'{&q=TF$pHNsz`?Z(L.]|*%N.=*,xhG{˄MWfBgNT[@; "9#i?N*[_{ :=5\"lLMs,WI_v!sna qhni<;tbON{MeF\E-ۈt'M}/t _,~U/ 7/3,l.q;&ksYɔ(7h#*IT&0b]%n5}"7ulg9ڟKPni8&:+Nl(/o:QQ^7iw*>ƯƠh[:ԇGܘ6', aGUGZZ]8ouy8ooC( r.)HUIExG˚F_׃ㆌx%Iqօ-s(>h>!Z8ZSL%teVA.K67{!@j!W٣]^"1;G#VD/w.18+n9_GMQTLVX[ӽMZA搳!ڂf^d*|b$B8/kOh4M?'gO| [7>)}mȀIC[o]+P^gHE0rz$ spVrD)@B+L!Gz"ଔ!6n>l| =Qs@,1)U8Q h"S8p AY0#JXo4T/e(e[[/g3yU Ou!\q}ԝ,TXP7V "j)|\=:NlΜRaf16A༕1 /6>K,E‚;5SeDΐ'ⴇGM+kbG Ua30jNgQ~ޠt^7{:G.7`I np6o|k|V;n +)~8T6X}a7Kp\ѩ(]Oj4 n3ֈya\+ϩ?qo_ Unf٩:2tݴ[:[լpް)ƥ/X/q{Ѐ:nv~\FV*HŨDy&phOձ1 5{({ʭ\r_:̼3&D4vY`R:{9 \jq:RFvt=1aî4;qNîՅDhXL`E9CRt}fg]dZZ!rP,@;cd{׫H!s[YCo`H{b&j(]Ӱ:$d~Aq7 i}@Y4D̏3PMcvScP/[~nt"78Q,eavNv pj+0DOcDusP><wK6\rL2TZ\G aIY)Qv-SЮ-5 2}MZ-6 5>^ My,,{ ( ѸKu{Y)xn^Tmޡd455wԜ8~VZPa'1H- @='y#N7/ f 乣q 0tA *O\>/Q" R@4>bSz#)Dz}n`vGE16P-0.ڵJAgFN%LM& )s:%l$PFb9U6dd5d'0f DʫȲнz^iTvW?HOUnFVly0=bcѤf+8?2ư\[kV8+Z`t);tE] eJ²Ijr($= %bVcy{x޴tM1 yf])C *>,]Cd<]\lb I..S|I5͊yՅ_5B+20-aA9Wb-F%)82H7Wv#_;4E/؞a3\J(Qte-2=k1 ˡ;fiMp_1zE2Rb)xu D{#:+U[ĕdE~Ri?(Rp T^16rzIza󢎽J}إlo!V4E90x& DN9F$R g!ٵ!P3$eV=@dʎ0{4SY10F%Y'pĘ'L2/5 N5аJYMM9 #aN7&kx ofEw~pBLyA.~?wST$K!,qZ0HlgYZ qqk 1?# dHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! ~]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥Cuum-["4KLhm hhKS|'0c`dђ+Ho+O F7Rv_ Fɇ@n4*$@*M+|HϗAhׅg`KЇⲭWЁFMSny~e)r #l.I8'zunY?2vNW}.i :_MRdչI ګ /v)!n`q]#5tU76r @˒ަjh#5)H{y-3/Z-}<XrWZY؟8~R.J1AJPܲޢi)kPE"N>L2"RmgSgA8a77_vfsemV.E*>Ҧ&9ȏ^ ( M"'$hph\n8^2(uӐf`b]ɢ!ZETIGfkŵݘd$f-AM, ƐFtn  ΄Ta5Gwt镊5w{ MFET`4L82#SWƽw#Y'tւsUbh:d@']O}8Ƣ9)G-"=l+ڰX5'p|)Ι`'IN)!hm)i09AW]l@ǔj߇y!xoz VAJyஅ&]%K[,7[P夀r;u!kQ=>vT!W}N:Ѹ1KI+?Em4bfO#/›iaGg/`EB$P'3^Y nRjm>FlPP4g O'uܡT\[R2ʟmP/zc=͐tI:-٦4J,9b3|DYt4 Yk Q+CnyR;sH#z!qՠXwd},Z }dUiH,H_;{XCIm y! ƥBfo);{pnc)NK4㴪4:eK|]TQd5TxcQeNԽߌ.?$=ࣧE׵i~]SqYGUA)C :8>y )&5:("E^$ځr(s`dc7-{XUt隼1誺A`Jo kYrX 抷gvt.c$@Q?_\8gT]1I}iT闝X BgDJA) Sߝ_&Dm!D3f}s-u:`I^-R}E 4[e{CaVreTE,T 0;>F[pR0d.79Cgzb~qhU.OE2 D {JSzN( 5 (#U6/T㕒4_UqƅաW-=5~W t`T;ڴ;UklB?o R{GlkbYф۱d|=[Ox@Tk}o޲ZzRS٠h2\iIWGNP?XEay\NZ>k V%5G;XnLH-@ j1l>qJO 3U b,UMgqת`] jbxi]0y] TZ$"KHHƞ]k&/;>v}_ !3̩`PeG!17,.O8%1ҒҚu谗L+?H1M|܍]}-@EĩwGRµ0'AFxUi4/t UASsFK9X5 YsBht+( ]z4*Q#QD\}\Avozyζ]袍#{H$"Pa=#8à@3+vp[moLX;yޓYuFnN/袖p8VAx0褻{jU%m0eW![d3?9*|xWkO nlEqu1J~nq\EP#V>j|^qrAY9[KIiN, %3CA+E=ą8=BA'BUSe^ʶ]A5K"Y4?WWVO!x8&L8wC^Zf(Ig0Ao"c;|;\2M@ H ǂҸa [y;IZL) 71uRP";ad.@5;޾|S0("dYR0[V3 "*kݦ%, yK){;n)?BQָx&Gh$b ;%XL.\kJI'n嗞Y.V? s 21ZӅ5nc'5i;wx { %-BL7F$&kϖ8@5&ƥdkLjr"{6Ҙ; ` !`p 1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id526\1?' DHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! fZ]D?7 {?:fH\y a3Þ ؑ'֤%6䎂_VمMv'2;}WnW"~2!ű~[|D_wf܃:u(Ѱ*Ȁ1{g:>P4c: ]U ۤ&eѱx]G ªCŖfI? (q(18@xv N:-^yh r|lj{B6dB[I^dRWV'n CV'aM Bw(\BKOzW.fδfjeJاZ̙X"xyIpȌg*9\Zp?.m8T5([#nl)0RThQmxĔv^/㮫#ѩ:ڣ~Ği=]XyD•qw>j7$B2O-oS !5z⌨˼H fMVF69(0S~6seskSTgp\Nďbe'l,_>pQぉzd]Uz3W+B̂^b4Ğ^uq*ptBŸS;(=l闷%Eb$Z:a>׼^LXIV;kk W@z[stOYƛl,y^dnEeץcC| Sz|jd%HV$fW7uیyx)-`&dֶVwNP{WK.]izERkR Y~fER{ ݾn*)QM3G=b'@EDkv6l8K ϱgYZ 2!1O# dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1pϭ M$Z9iC昔=ffFIVRLް?4+Kxw4+A9EY|f9ep^%vtJfdesvxa%$l `^i=h0Ȋ:܏|cPleQRr}V`}r^b|X,JVw[wB\aK;ܣLD^/<^u?#y7tK zt3]к{cjd4 I9{Jwa A~uC;j0!4Şwz&"K8?]t"Hru+OA9qQ eSM)ˣ(]4G~&D=oe”uE d.>:k]'1^Wt7ukq}^R:*X'֫f ~,}\:JL֫K FTʕ創< lʲ WWMqr2O|O|1^b5JN;gq6꩞NtChځcQ _--/,m}o|M +( n<7Xli5G-B J*>FҮq7|LX:[k'f4so+_0EALn3lcTLr7_'}R|nU=<5&j¡vRp\\*%Zw my oGw0(]OۻW!kȲNa& gr`ޯYd1UR UpBMLgxܭ&DRnqɆb}LŝF}j^["Ũj>J4k!;L+D5cNr؊d,j0&.{M7Z|FPv ´:VD] IpF˧$~ͳږ[Tj~^Q497_:}6dtUafݚ BU*~NM ,d ʿC,~Vݘ1(. Bv< Dyجo w!:gۆqU#,v+RwBq*sѹ]MkR?.Q:gAUN{hjM}ݛV~QxS6H'rb6Fml-XKAE ijsKXOVZ/Jyse ^ǯm*4aE̖I!hͰnW{Z1:6 iOmIwˍj0ݼN49u\bFeOpP@=4C=gK!Kũd/kt fy ӎ0Bbe4 ڌ[*)3͇sU)R)EVγ1Gs"UdSu;cU/XQ=K2ׂ֨&K jL15ٺ}v [WRP,H@9uIb wM8oM&SQ̂:üRn@8 7dKPQcFvoo>kU4w$oOxE3Vp(P]vmf9T9B62΁?3RVm+dcIM>yԅ8+~.2-~C! SnwN="f19DYQO3vX[yooj9?p=l]v&qa!#at 6/'k(bz%ru{~pxD))7"Qo>ں[믶GM84kqo?L/{k}b!4*NG(f u niU7IU[D@`s)Ĕz\ Mӹ 8,^ְ u#`Ė>٭JuSguEIE[` NIMKk%7(+zhZzqղ4͝_€$$'<ՠߔr7 ,gYZ | H|\'1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC&1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id520%1O# y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7KE iS?f~uSPT7挊Q6aICfnr6]=!J@܂4X#n&N!$8̰K0~9ϸ0".7k]m)ta^f٫&oloTE,yU9!{žaNrq>ιm U!c|BقN@~s%fw8Af,RpuOƕqg3 ze+ Xw4c:4n= %>p8᥌%O\9{lDS(b(1lrpcB`g'.6Ѡfb]W_" #.|98zwldp-(Z 95+$/Kq;zl fm5hu)(&gBbD]HC'|{E{@% W75]͂i`YJ9*.C0a1=W"WSX;\{ J10\:0ԫ8RPfZ7|f.$yxb J#/ A3(xi_9ܬx/~իgp*665̹;a;H,L=)#xjdsraφEZM%xd{la6pMj}TDu %&r/k4oـeMxMw~˚Ŵպp#$-᫆t_ |g[Q ăZ=@C_f@+[ #8h6pި2sS&Szw wP)7ȣ9q\Siޞ6fC6<fl{`$3A F2ϖ7|pWR^X`Pnpi -u] +kԆ嫱\ {~mօ T馌q^ZހYS$0v="c0칭 t?A?ac?[N_4 3}Z:L.'$vMS~lk D]f\U"{\B4(9>Fr ySZ*霩F aPFl-Fp$1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM#1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id530t"1O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[zKB `/Y%ÐX]u!O0V0ikZuhX| -ANVyVw(ٯg/55B*=$0E&~PlJsǁx<1j3I*NVz? rY%MU'5]IêN[ 4bNŕ*'bC=Fx =!1 Cj}CT }&tk<$eĵU89й-ԫX45>~DhMo' {Y3!&p(.:jDTiePYv ]+SM6~KC*!iy~m!D`=*[ݚ>Zϳ6F:o %}YՐ!: AT)ӡuJ=o ie}.lOңl )iPE`/Rd8deO RmcU!f? `r&pΏܛHռo[J>Y@15VdӋk3S/њyVH?~"x|n5%̻Amqٮ"^VVrzgQ#<X"|IRLc'CYg/r )-FL@ ϧhֹ'C#dwzh4K[>x<LjC}К4ٿ}R ycOKYQ_N.Q#evs&Zyv,$62Rڝ zi XYW!wq4T+ԔulXPr47FL*MWrM* X" ۵M? 7,Lʳe5a*C#ȫ8L]w%dC{eAip7G5S N:{meLszN+I@$8B`HX) =KoS5DxXs)<֧6B83dA"V\a;g/mMAܫ*]XNL!Àw e-ź PN5իֿ+E 까VbL`@؋@atfڰ2I{jUGP'nNNM D3*"&&z7VGRC;=XS\^/aLNPMo4)Fo%+Y" H;J ""$ky )j5Ӷ$ā#˱:7wk],^ԳFp#-9N%*>o1TGZLMbv@V>=f^xc%ՎzAĔdFdCzps$lh>=#&bTޡeyթgˈu!kRUxa /n̩DVz˜K*L. <[6_?rm+Vn`Z7)EBR.`J'YhخƼ0fʤ-=!@Pj+lC_ϔ0#ٶV^yڸ,E5kk N8 (,xcϭ"|W-;5j.z+|!W,G`N7|fX"bE]א"iiT~E4;zYy'7\X ,eDQ>=YItiҵ9i4b60 CqXBy|Րw8/P X!g@ύ˘*ubp_.Վ8h^TáN5[D\tvwCnܛ1q%9+&pV#9c@EjYXfҵW~Mר6_ǀ"ST>EhrG}g΅!^gf"[vp֠nX:)p=:xJ~XO +`*+Qg}ѿeX, M9;YSx52Tz2JFc=D& ~f)H z@=**?dyY7q&VhOR;FWW 4Vr{Md74MAwWF*455r Wr|vRBPyͨᭋYCzySZA[)tSL2^"5!!0U ${p^?d 땧Б(VEPBdӆ}z]X5h raQ`Y;rrK:d,HOve6>Xj,c5MU< sEinQTPTIdgLYƂ<} UGi ꈁ2DFiSce~8FBEPeJ\iɎuGjQ'c'ЄI2jl4 .JhUg l{} #@-k7n,iVO*r=I7)]e)L:1a0hN2`NQˈ:zE*OzDGfKp{q70 E /豖gYZH\;8Ťg&¿C΂hT؈ c1WpzKr9l'eD@ȈLïSMix?~|Wcs|!/kzbK}(vztaY+rJFcLU_tː06[F}ܯIޠQ.bM[qԾ(Ő^EhLgDLj&uUqR3$X4e;[tzu=^Sɝ9 )rFމ@TclQ[pxQ>Tlv:]/{MM$|-tM!v{į-D*i/d&z_\Gs9BOcjǹU*#:XnN5mB`4 QN9O~ KPŕuN4/D8QfU[ys 0"v뭏yۓlYNe?ajM^l8'я!yVX,ř/XHpiz#)kO>5*;ݶ%m !sCܤ=}(봬Qo"05. ڴCg'@`}te2\)$E;"M RLdWl<Ee'q(t&𬱑xEHh@'h cҰ>]lp. s`" VCD?-G@ɾqBdʳz,}:.{v*/D!mnKu@ѼQ36]A )|՜ƖiU[ëS)xc3=0C~ J5L e t*hB,"X6L|/iJc gpchzӭˇq9Rdhr%NO*hmK_gDJ*}K$tה @[2ּG>wT?ZZ]f.u*6;FnUl+~1Q%ةǮVA}~߀ +LbT#EøYhND%D(݁D׭(1bE] c{veLfއbCTh+Z=J0ӸZD4d~!(cXk@}4ue^ AtTv@W{ 0#ȡɥ(H=ˆ(N AXu? 3Ւd$X ın=Gh#IxihTűJVB/ [+"sA*|\k,'0`z奍EEVH9gzVK;Q,}Ga(X, M T԰UАMc H* 5pgS4b:T귶Z{(8.&0 GerZHt&lRBڻWH~D u$55BL$8xLDĀY"uR $wQL|^ *i ) i}m.(WL߈Ձ>Dӡn<@O"o9ĺ89Ch$%+ڰG 6+:KbiAtƌnG)qh5F f16j,4ۯY(/eKK?/`{7Gڥdz =㏽PtB+h5*fܰ.}u$ے&1#_s5('8H hXq2}NTg.!^zK{sh&B5,9ُmԶ{{=K թ<?W_4F]I$m 5&J5LƁlw#xSR5q2h|hk\k;`xA!:gc ƨ$`m0&|J汿}~M?`~@QiJYš,"?/w&MAp@Jк [,jQkQ'*%b!UfT;2J>&c .GkE6XiI%ʛ#|>rrSSП&݌,"R\H!U+2bi- X1uoJ>B BFN Q#ZC<+Gusv6J ձWRue<njN]f/_o#a2tM 2WP4BBۭXj!+\-WI*aqX C, L@(N2CUC?D~wR/uIjĎ".C_[Cӵ n-n $;1:yuֺK=tȾaUT|4 svtxzߙ'Hn&zS3[%V[+:Db{&*wKӻfOU3m+aڮpj?Z1=/>be/,F(#,='rvQfɅ_^GD.$A1r05p}TDIA!cW&Ιڵ .Q8^(A\MNycr팿n?v=@"{`?{c*۠G-ϛSOZ!* :XQ}^~z (9 8`@XG"vB˷I\ȑ m0t]5_NU1f(^GJfFEk`l[7˫.9F" JW$I6/\͕H 50.-5=2ZU`HTMɓޥ?OgPUOaDfV+22ҔP冭9XwgO=ܡz Uw᡿QTVv{7&ZRwbIvP3v] ^>cdлk} q@gv>IR -eWy߉* X4v;0)wC'Of-sDD@y[i!货*4 { +i4ڡ5wHX |)9\qOOηol9 (=u|PAiqn56!GmK$Ӥ5JN&pyS8۹tvgtcZmu3հ.2zl`pF".;W?\70f]}+LkpKĻ#o#P3DߎM_ 2F4N G&gc.t 8i&8dz/∱e"Lt`]~&ھS r#*H-ͥ(Qy{X;WL rU:l1i5 Oӣ6Ck 竛Oc"=je(R*'{f?ygC/zD|,B pyvȇ}+TzzYJYs}x ޝ.>i*g v՟ђ~~w4Ο*L$Y[ Ϣ KZ` x"vN%o\ʇVh[>1-Yܐapš֔"{ o'%w $U, nC=_ݗ6t#TV I*!1%"c$i6AN:| ^l}ݨLJ' gZMX8W<,V4񣧲J)ȎDbf!q*uPɯdBYaBQΒ<V._pvKԏIIT'r(#t`脁۴'8֮ʿ buFFcƁIV/n#mxh);1,};"YV"H !췓"w4R4:^*י ?JzK ՗lJЂeӿZ"UvR*aJ*{gԽg/wPU^,+Œ/ VJR,=ǭ,kuL@TF-㱝<|%mAǍlF*¸U3nIG^줃WqDG;?G;$ܟW!0py7R'f=_K1/,J,7!hģ|H/R:g\b9"`-m?#PMn{Vk}Hr x<W2~jHY畃Fk^Qr\-9xE'%6wTdOCMpNw=w?,G]cbR馕_PԡFuYŁ`zr&B$$}h5pdR+'?[b &DƿElnϵ<<)o<R$5vgiF"h.n:$DIgYCgG0p'-˕Σ[9RLP`o$pN)hGS1Lv_a7KǛ9 ;{)&]Ԙ`1XN8L0GEݨ.t»IcoXULSp_Tih`ܦ#}ߝmrT4UyOWf(@n"w ^X*xڱ!$a c4_I=chL_d_.Ɉ׼.`vw ḓԧ9/ۮL[{rIKnxj\eZZ+]9@v aH|lbZ,yj8Tp>ʧ<|tTeS!SdQ氒(f r&ǛM76)95v?1aLMҲ/s +f^j:!O*E1|I%wg\ ҿqX;m0kߨT!jevqd繖yi(iTV6ݶ.w:u"ݽG͡ )z?Du c[rُ< _tP@H.4 yA1ٞ/ȒRb=#=2w(b^yfe3uήq, i@Sގb2oU*+_h8yE*0@:g7Kw+9@?M8K X.3.92&%Y紩 mٷ7;ܷEdtf\}h:]J,Ak(VD6A@Y5Bd)v/8+Ug\/')ToάE;M%ly-_wc_W>P?=V.WWJ҄%K5/{p]&@5EO)Iy&ӦNI-;>1gESꂘ|~lBzz>UO~1wE>O0@Q5l.̃Y3YTSa 5jB|)e*RH<5Fg$ ;ţ!] !S\,/ek9 h 76CN\SmZ#+.ۿ[}ւbVєAqZpFD]1I F͏vrrdq0vJaN3XnĴKV?.RN~U yxqHc[R~z ӔǎYZēc/B*4P@\o6Jy*p-ʔkk)^~=ERKܬ+@*]wʯ~4-gf ~kv$Nc[c9wwOr.h#ir|y&6‹s(:6䫸 LYM+8ugYZ 7j+1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ*1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id516)1;' 04KGcA 2s$-YKtLؔndזn:…Y|‘SQ|[~u+_Bh Y6y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-@}H^ZgNr},b(b ,{ tk(hhw>Cmד,- d:ZWGAqѵ# M2JkysL+YX[=\ Tc(;1u_AYuWM%rd2uWYՆ4R!dBzuQ+q]gctj=;E22&}hy0(KY[ Kv{ږLBм# /¶ų~h *1pa m!e7Ɇ'㭲SŬDzWwS?ߩg u pPd!#w~;b/J@00) ?ޟ;yS> `"ՎF^G +"rm"]?+훦oQޙxfقyB=pr*^8 p-RC$. vxBOG BD#Cעdd25O-p|gjcqRv>'zFJ-gf2`ߋ4m]|Ij!}Ow/ņbv%u|damv.ntSGKEƊ/=D -ex6PӨ!i)+Mh ^^H.;¦ic=ToGy }Z;U~JlRߛSC5{v ÒH ʅ]"#Ι;Y;Y"?R+o,FEǂVg&}rR ;M1yE# t橦$.qz:*ӦZ0 sT[``_U0L!+rwq5$PFUݔ=Y2U[\V")tRk|B7GH)L/*N1ge{_B٧|-]HѾ|z2Of]y@%ND~t*c9ܥE)$,wM1WF{̉f’fB2NFj&MQg# )b1]1Fq38`EDoDwr IܨCpz Z;S(ɫjJ,]"\A%7?6 E,'KEG/#げAKU˻=|Dc`g} gK]ZB+I5KTTqG} m׆TDczn)/ϐ:"Z&c탁:5"oIW ƫ:$h o)AqV~kFhwH WHmWĔ& FE QdC3R0{5gRgPK]2V$Hk+Ob3i=9*RrG2uZ]WiM]fS)q@PFc;5{ &2\]? B4iB)$L~G"#N#[cLU:#169YQ5 -ӶP7kG/ۑ*u8Μ` Jte%wYۯ Aez,_>ɀ.([ѧUb_x,ȸ6F.kp?e4YCǒQXI1#~Y+ aE vY=pk6/C0"eQ:?d1ڜ„Y3 (%>İהmMp/ 1su r}$Z LIg //Z̓O !=$Ubd q -γ=́وM\;wf!]|MFBÙ ֍f.vC=C+ z큪5]VtdF1]Y$-p'jQ;Ш|QMg[! vT 5HMg!TƮtv 5eyP7;wmanR'X# U0L]VYb_1eh VHc~muSt OF8iw0uD `q>FB(DֳAU)^P!+KN#9¤{p̘RӮ1!#Mjj۔M1 pup<'KQ:`ЃsNXYs8cgF ; qxS,zx [$ 4Yzk?HRiBΆ=d QI]wnRJ~PqU:oc_ Pjt1+&ǝ*ju8.;`SY d~ gmwr(HCCQ@{>Z%+r}JP9q+ ` L#Q<¥ qsij~ W"f<]=DVKrSdu{;|p6$Ij8|#=GX|*FzEVEdžX1JP \ڒKz݁+(債^6.|D=F~hofX빳qsVV}ŌhI|t&GQd9˟h`OM*5 5RK.k\3aCH 5_$;*?>1vLK;xxwj=$t+k$]g2S: TOR"esmwpJٷKJ/hGɫdϡl,3z&4nM.L^7h12x'W9Sb)!̳z&_zp8a)}v:';`b}\5}\'ȩ+ae~8yk?wYmD @zNH7ŏ6v@ OkO]V+[)S$$ǡIF2{[{N'Wl8‘ITU ^>3i70x6w#m=:~,S\I#V 9N58l2(Ja"zP SCOk0_-M;;PF[|C-ݴ2Fr7 r:ozQ: n1RzOTLˣl0F`vkV)G3ۏJ|<4~4 {kZ(H^Z&(jT8,Vdn:-F "826ྵO_VZ"|qfbBuQRa۷rIqjoYJ鶩& WDVsy׷^\6rhkkOA:Ԫ J˜%LƯW\iB uo=ĝTCg+LWF7a;jjNL.4|7W9ޖq)su0)HH6&%dwSh}Kj,Aa'?W4b#I~6SBP&O`8tE}RACYG˛Wr\X;9. i{Y p,UhⓏ:'z◕YC֛1|AċㄫJ;8%!}NhI"f9 }C&ϊ2R~ ]GVţ#BT͔&I.K,YxD¥4E nÉ׻2dFQ$#8܋IqTŷYњɊa눎=Dkc yPqYeCU>FB=KW  ]qANI`uR{DV/JrmŸ0} XC o<" {|jT~~G/_s-0o? :)6xvlȹ<Ī )T4JkUZ61%!һk 8^gW\PWwr}C j.]fT4 lEX I %ې%8U ,yhUg~@D<^-;ܝc>X|{! >Fu=J[!fFޘAZ]A6D<}q=lk PjMbRm?/0zFb`G]jgfD h%\,<^غo|Lk Izc(we;27fb1S^ŧn3n'kO[>Ws&!JSid<=30)G@eө/%2 ص4.meL ENxRJl`V Sl XT14^Zz_e8ixMo*1#/>иC)~5o]>d~׊sk,k-IoGz@K|<{݅Yz#ynǿ04$7rIh>e丌9,@9?Wjr\S _uɈ 20%p@[Ǚv Ԧ>| zR+p<)qr8!qE܊Z+}V`B:>R>psV"s=V俄. -[x5v{DEX;Ћ篵pqP7JaA4@6Z8ǐOȧp{O+,E [4(ƐI+H;)oDrBpCmvQZMBYbg‘YAK{ $óqb[(L haGU[|ݴ@u@j \l嚍oIP,p[__/yq!> HQ/dB$\vn[w&|rO)`S8ǔ9qH+%ÞK 7BAj+jTLfPn 6# ;@`'넀5?N53jl}>໲ ""շE Hw:^ݖXC,*YuvqAUmwPLY/ؒ3J<[}g90o<-qu;v,|A4,Q$02$ K>5XLcRmvn ,J+ |q*cWs4eDNm|lםCj`zj|yO۪Տ s@NҖ_kD.Fſ{h$r{pR\e'[y&v!MTH+_ *8Y|- {+2 f޲`Fck/HY+J I n~L"km3V[ƓBb]Ox=/{ %2(RYz+Z|Ogv+#%XөM٥uΫqI6*b Jc;i} aJ}n JxJ"JxvotLؓ} Wst(4ڸ) QvעaHpk,݁yIA>͵%\ޣ6T`B6üOR`-gw<{ޑ7 JfYT8P+~zj~rC nj |O[OˁpЇ *in앺jϙYX(W\]1򑅼Jcyu мG"~8k3cZ. Wp޽ FWm%8ϤFDci$V_\[uC2tL21Dյ t㸹M{B(iĹ#o8#yNH$Y+F>\,(dUAK>r7+zznIW>"]q_*VS2s'JkTw~|8vre |1&B'Hx6o+ǃ"~Q)Ce\o`/ro<^jk,"!\>fsٶ˨L1s8MClȓ/NzBKHOtJ7?awVc^K{":%8RîB7WPĐr~KegYZ   K[^21=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD11=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id532e01M# LHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~؍隣߃N,ʜSnZ7ԖߤY+z-X r!\іQFڞp-~@ HgumWDySYsC16w})gL꾲2 ^A2f ;4x03$3EaK5C ܯ"GMn/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_id524i-1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (a]D?7 {?:fH\y$] xxʡ 1. u# ps 00{d{Ł|/Sʤ 0L eWdz)x cj1B;# zS>xs]Uefitp!ȣd4Zpo7x,\H5x"6H #8d9K3Qu"BEH×v*^0yH؋A!g"/ ֑CNA39@RŶ3H@zO5^XiUiy"@L~NM;iIo"5PPMo#kVk 4l܀75 Tl͝ ܑdZѮ#|2X/jDjf})Ɠ,v QvD>Mkpb{* JK-R-/Y_`_'Q=Zxϵ~ʲ5$C jR:A Fc#`Zp=iOd)7}_D-+˱.`y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rm^y4J.p$i*{9~` M~둊y.Kn3m_:IMyj[-qBnNͻRdF| WV`V-#${O#SP嚡}lϐSjR;lP\Q:=QGp V1=9q͢ ߡHW9|,${MHO?r9L͈dr8^J r -aυӬ]KsL+N\JQWc}EKPM<}$=r^p)k~$}eN !FAQuKCpZ.N-M(h [O݌ &) g:s6J$tO. BBV;j6J'0iWPL偕c^ODERG*bH\,ζ!=[m^x^ӣnWw]] EwBs7#}B/65 n!4eXό?0`wKRXB ~H <^8'T.R}QE "I߭g3rRYICgaSAa*X 0bo2s>G FF;#}oUpOod]z+" J1d)^j.Y[$M@>&bbe:u.߳sbxN6m5%+ Ì1V3k,v OpQף5V€G=aAtrO5"Y ڱ~!ZEYN掉Pd5GL;BAʄh KX cijr[r=ǁIXs;Z6*ԟ'P\ Z_. sB[r5 +F:P_Mˬ`aTqKX3  0\?UzݽH`4_VJT\܈{з.D-o nXފ}^>/Q+"-;{ιԏ( /fTw}]8VU鄺RC'YJ!\ iC\ēiT>Vv-ɷ5USm@BBfc6(W#`#*}%QiHu^6=ↁU+{&u޾hJ"m/vƇq B>E8Crr`ڨtėXG_HGȒHVZ՝)[V^$(B3HA#sf:HG +2#!<8?WzQ&@+Jf-x g IwD`lJ&hItbu:>wH=lL "1E6uA OHqU}Ja902zƀzb4+-ɏ[ bDG32 iPc6b4b֪G-J!J{.n;8A-g4`׽FN=;4I|jB֏"{IgIOP {HgY$ X_ O>%n('3 ԣ8ozqe(K+t:"bV3ɦ,43a 2on/N~ ?R x@.1SMB˲#/A4f6YWhƟ _Ko@uC@}[ T&c$scҗa]H@a}$y>ގXr}3vc$s||C4ƃ(x ̳c(q<<"p. {Q];#ΛW8m*- ʑxfgpo?\lNj,#5xhfn8Z;1#6sKX6԰t.4)7 ` bq9gIXbx㜯2gqmxX/L%7Uw(btϪe#/nt(vϩu!e0D;GCx|cqDAV=IQ$ UR |FzTm;;mש^pR;9hHf94.BßVtAx8*z*(c>\KA6x%rc.~X9f~z&[W HpY1igoO{k0y Kӌj*}LRL4cx|cfTUH>m.BЇ. i8a]%@ު̈́z9R6Pf#+=sn&p{ܢ v$qٓX٪w@XL8#Q?hE_P`OtQ ДpP;&ٟvrՒ0 裻'9gGQxFhkk|^ -_l4Opw>!pW1( KI cHe{og<BXT9~>fE@Vl&;Z5RKr(˛@FNqP;LRddy]Ds1@"族nS jӿ-ԼpV^)|(91er&~JC^[a, `1%jJ14t .%Uh7kuy(gAsA@Yp6eӊQ{^ƇzmX_‚{`3~$cK@G‘A|3 F1/GE{R+*YZ a虄s:$#+qw֥tվJAYQ6=qI{u(^0mj&Bo Sw+ڰ<_+69s$sk`}XFDvOiNe$_)uNk-gYZO ,XzHVIؤ+ ܜ-1ic>kmQ$TdpSom<*9R2^b{ah-kXzظӞA) 48x*ln.{A;?Ҿ2V)z5Od Md u`Gwd&n!}$/,8ľmg-!V_ms)#3eW$F kb4?lnX4u㊢ډ/$pBl$16M~m`j.3#r;DdO6J#Ԇ[tEb""P eǙAx BGШLw_f(5u7sx5>ٜlY,[O1})7z:(!ؤpO,Ϫ%Y7%%:GT'zWDqsk%Qy"FQ@DGԧη-a$z&+^9o(%ӎ[vYdlv[DnCMed!eoen7~Xݨ#~-a\φlf…I%.SK{?!2}!ʶ흴,p`߽Z?]`X*:.>, @Q/ [*'1;/h3U|GK6H5Z]V`yB0s)QNjANSL5f+vyA>bm~Ϳ*Ϙ*7Z;y,}i[ ۗ`0gUޫRm?4f.$A\͊9W(/:LWf9ǶY]`b@LJ|.'.DIxs(\NҲGr) qF;q1n)3Ai6J `[BNk. ߿%-uncIڷgy]x,^ǑN( # HC%p".bEJv08TL3x7"ⶁѓf/z'P>i@f[MF4\ϪьOݐ7͗ +]5|HlrDVQ z iQ+oĘ7GTzHqz*[,ÒX8򁆄KNWk  j1ۥ_NB7ow / vVz Fa ;J0 F!Ψa~焪#O)GڐHfn 7aǘ_? ar^:QTR{L1ViVAaPmP3.<g.'^ZV)l@v},NHn.>M_a4a(q>ٷPEmVTxlc9^YgV7cw2z :ka8uy]Hإ jze23V7BwUЄ#77yuD!ԌL(qTvɱF_sN/\;`s2-a8k>m{ҫ:EBd`Bw9/tlml&BP_L8JFZ&y;8Yѩ.gkb0tv7la>:еZlWcrBȒn)>44~Y{N"rYcyQɂ:^#W9LnAihW)'5I+0jUlq_$N8:OÉd)zXK3+x4=B7Oepd̫X?PH7pd3P?^?j—σamV|.eMϠ=Y2X Gো92`ΆDP\kdxIQ]"R0]*9(?2(f_甼hQz 3݃n; Șrp;1@ a1-d́)u 5A۲8etde2VC-ܴf irKi$_7oI7,M]7߫R^sӮc6%%tp170 ÂƳ<_&n&m.>Ž@}c9kǺ3˯g lPE?kI&&ͮ:"# hԵ]+MpGKe{VW*lVcFaA@ߩqݬu 6T]M X\PdK+tm 0'T_{;\^ V\( +j@ڟW]B?x̪:ݐ]_Jԅs!wwR߂s he+~8W6SŜn?^ˀ%1{&̗>jGU%7˱T 瀾0P{gxVrpXn^5IFS'hH0aHc>ZMB/b髵{ \6 [#4TB?˙XyA̡K.LM<%PdYJӋ@AaQZ8>KLYn)Ȋא T2_{4I50,/Jp ~ %KvԉNvj+qJ_H7׏z{5n9UƯz]ȁ0BNz5 lBu1Sc^Վyϖ3Ffء 2:9 ɳq9Pn:k0"L w!a (q |b#ŕlRz$EC o%cCIZ~nl[VRĜA.-a}Mdo?Z'o>y@]#s ?^ƟeʿܖAS+>!DOd"2O`۫)Sxr0v)ΐBA CA6-ܹ:@,A^`%$1\:ne5}6[ll8,Q1DcQ 4P+BY(%t\aU3D'yVaV'nFI(CۮU1]i^oFKyuMgdwO2ɲ`SVA̔kJGDD^M\oD_Dfq_ovl=ӐߩiG['3~'`\ &u OncX0ʜ8xO;XY\$_׀q PPkFHE3T#`~h+nt(UFܿkrxNj? f7ا5ͣÇhnKA&t @Ojy-8f!4?eM}s1~y@86Ǎ!G, KNǡJNw*04YR.et6:\H+PvjyTWj,þu[Sji-mArxG[_ JB1?eco>FҊ5NdY".Y}c0-KayBucHVa*S04E a-%$s7`d(R _ f/pM٢tdbwdN5#9mpt̪&@5; Nb9CZژMEȴ)1 {$礟XҰmv幁.jh:B1|E׭8` gM\ 3#v8/y{ٱ/ƌ|nekA&JmZdȎd(:Cl01m`niuVla Hnۗ!nA$h5 /ǁهKW+ig@y9!Ћ ]oB{qx+aQ:Wx}cdPUCZԤ=zodKkdr8e x3[ϚHf&-߀B`AER 2b`0ݭ ;'ք欛Fn_Q`ݖ2/8HC"U@(o~~PžT8 WK;X?j'8{[T(@eBg`"bb•±%SigM_ܤw7f2,Lay'nbSv"xn.\]h(wT{.qC1^8v`1hn\Ȍpfs;w*'Q,Q]$PSKĉč ̞WtJKJޜ b:j/Hb8=1N${gi l'DEK(dmsut n߱+/XpߑYTqOħIZ,ޟ md}lhT&TJFykFsa`_.8sBtSUDC=U`sfGl4C1eogUBQ=LtNB(H%ڣ~¡c5~0U"sOF;3OaZ#޳o FS бfmҠI_ ɻH%XmXfR>ףlgf?mQ Q5͵fɌcho*i_kq&JJr2Dr76XaY5|C ֱ#Xɮ 1;73gգX>Ɠm=Vʹtw;8&wX+/0L ,_P(DFw%~2]U4  Ԣ; O=q99 t- y/YThe۱PiSDvr%^Q>+5C\l>yۘzb/ qzrHlD-OU}7( Z Eݢ[#q |fON0HiȧjZ88d#؏3v7u}gKV`?)Xg'<>t~ڭSЛ}2P$npr$Ҷr ? g*B<&FOHaT__Gkl/̾ '[wҸ9 <<'yc$@>WdNJuqS=xh,V3e{2 rP> 0M:OѠCQ %̣\5Tus+&2pM၂f@[FTzrM!K ["^Z1͜96|sÓJEMasL/6sQaL|PUnێCь!Υ bDq (ib3^\Ѭr [)N˪*1AƠ*HtBb'4b0MJY,a9 M^pjI›r8̠"@'o& (z7NG 'ţD :ɏ~zE rwK71%#PQf c: ;k/}wLEx;=:k_9" ca* iN(!n+㰔'ơe3f;;Xu>mAL5hr+'Wd#͢ggk?#k2Z(dLҒpw(^_8n-|mc+\2={Ճndk2d;SOcTKmw =2ԋg d@0Z&+ [.<]}sj[|4&&@AN}uHOn b]rShM= 5*$g9< %z]WRc/_K AtWוEt'(Xp9ɰ7_5U4ԈʤZ:̉ՈQֺCߣ11\ &rVNB-pOl" N4 j7nORSȵ״̩EjdKraPI}S=JlӔל:.2pфU]4wnkNn-؊DHw pug%[ @=Ļ֊8?t2BM8ȄHQ.+pSW4]ƳDFgU45:5)hT[^[V1MZ-$7ns`4ֺ>*̠g\!qʝxP.Z\Ro\kqrl-é%KsH4~ECIˏɽLJ`R1g2e E'b'F~5}8wY[ANUDׯSߡSa!11U6K伵HN*Sҁ0fڳ~8ݾ!9*E-A rԚ[#F6gnEH&S>&*psF'ulN=]pC n^ރ|}yS}pBS 9 C'r=ICrh9צ%ePBӃ!$VI3H9 = /5<6c c,16ks3DS/t[?u$L/d̤^7Aǜ-Y/rv]!{ 6W/*D3_e5T`ΣuGC1\4=#唸S@ЧڋV=W'{ëȕICm^Ӆv, y0}֢)4 m*jli]֚hg^vݙ/NcYT:hPrgR{HDٺnͳ-М5n/I_UfF!G4t02|̺*=z@Uj <4"\荿01W_c GbXOR}HNX F/٥= 8if<3Hhf>e[ @t"'.2rEKK4\FIeSۭ̏\dZ˄}?GȌ"{P|Ju˺G+䁍XC3"N6f[Ykc 3h\8\Oږ>X`kShb}i~1HZ;}S36wlΡnQ;pݠ7 7, Vrm1ǯ~./8fMRT|7ߝ;yA 벡Zaܚ>=,s?&1|d`idO(}D_m7nڥ̂b,>`yp5: Q{&q#>'f}"P>c>9 SuScpr?pSgCs! ˉ# ] 8Mv8s c d( 6|,@fؖ;xivHfouf73ŝK:Ɓ}J d5=v^ ҈jsbb |plm+%d3ffKU|$7R W¸n<9$3%ƥA.}Q/t-;v ~fVm}ۺ!Ey )cv5XK6NERơB=>) a&%Y'Ċ;@KLN<$Z"]mmkFFm1Ӆ6Iy=U'%\bo{N@(F!PAE|;7,ǼgM)B?D<\W\.ޥH/$>=)EuKOR8yA*hн͛y|HyŔ75 ĭ#4cyUͣՔJyȑE"3cpVݐ '26C(ZQ:((S?OyI YK *4T2>yMj7/V}/wNXz)GˁD1=Gz~vg7du,>NV@9Vh8481vdz?$W~{G ?Wq8),N8x1JUkLFmIC\uQzzB؅GNpo,q+#w ? 8:LJ5Nr<֖C}ό{Y#>T2Y _mJCVFY(ee.oN3kbfhEyXڥXIWl#D55ɟAEx;%/C9sOU͑ O#HsAFĒ @ꉔY& 韰]]//#C?ϾC[g_~7nHT.JeLi~&"k)MQ!%)8br;qܭ!]th3S D:n -nGL#pq>{2:fjW:FK!2ZsruTOfyA3Q*^T/)h咎~l!ljrM :~u5UV1jޗX_")/ObG\m.+IZy[} ݩy'DmU^E˜ܫiT<''q>Yg p/ 3J$;5d$;15_]=Uмr%˴Ejm좂doW dEH&>Akjwdމr[zXԽygJMidE4Iue<*tc ٗFp}Z"2߶N@1Feؓ7mq<> s88rIC\ ~^x`Qqq;هnJ7^:wF3RAډ u#C6uS[}5 &-@Y{Ēkؤ Hzn!Y 4DN8Y/F?873!432 /ޟpv&X.Kr[zpTԴ$5:gXJiM=Khy3.Y~X_%0*Ӵ/4FPbS}ILLVRw4wU{ 5TЖ\(cos~;YKU:9v5հgϯRM?,)6 G\p }G+Fڌf[wό5q'5&F@pPD ,c$kF:cQ8QJ >fyx%wEAjӇ'UZsv̭pT}Aw~X86\RwO2w@[PJ* 릥Kf W#nolßƕH/KDX |(wGlߛ$GL+h/P5c 4I.%٢yAa\\\ WÉ@^T[^͑9*l*):]wFeN!`\QfS*eLiAXw5MIAj{:GdM%*_9^v;Fy x§fc0%:ZyrCҍjbR_a)1 @wm7&Σd_vQOm óOOj!eA[VX.x_V1jvf?rAێ}m,kwuswjgIx&9Yh^kL'̓uI3y%zڣq/lo̔+uk\/f7`]Qx"u4,(wR.J񁂱sL ЬkSZ ׭,L[J\n+_؀ ě* oExHR9Mf]D )e}BH[p$s{q+EcB$*YEʴឮ^HGCb2VBuEw+`P.C|m:Fx9d3ȫ,)T`a=xwdeUi͟1e"ҟ6l(z<2$|tнBim_$ж,, ^AosdbO{nI!5TIT|G4m/؏kO) o%5se'@u9jW0!OgyNʲdv6PC)&[ n/x;>, =8+3o+𶣀!"QTL۹1"G=&)s}a-I1:ۇ(kvnCR F[LsJRa:ҽ3d:%>Ч QIzo. oHϩlb|1̿6cYhhw)0(8N;A#Lx}|I\f4+faNUؾ8~x)xӥ]槦wz0XNa"}!Qи1e}ΟRf_`+iG`!@Is=p"暝oIF\~[3r+?=%&zBxI%|] MoggLd0fxe?rpƠh F6Z|Qtm"dy0e+Y @{o`~-W]/0=0Ol/Au/L|.{wolP9e9Vs\M˕6A'a'VN2bÞ؂|MzdH5á)fC4GYS>e_R,!JY7. = y\ꎻөԑ\͢_6DSo,(UH(kE\$iYެ/+BԽ$.gg%N94_[l͙֤֕z)+ng$6VF Iօ,G5Gb$w` e^ xUSj" Y̒yV@侣Wj)D,7  IElѼ~zʌy6١5 x DtXཔIp%7\k>TO%D .{zi akRFO,\@ܷ`o" Y{ů)%\wt8 gvN@wbУed~qoRV{/H}wMl΅nHD%U^ńy-£[: 9$3P>h]fpO Ϸ5I_xrY`4UduHbJgaK7a:ֱ+5`-Y|YoIWߚrsUVt 2.D [I-)G^h~6*o :,TMPwϯ#I|mhrJyee;uNqeGuE˪-h?i!T*"r}ݠpLa\Gx_@V(hP9˰Xwq-}:{}8F:Nߠ0Wzf/B3ld*Zd@Dn '7GԥTG-,?s& <%TwS_g$^PO//1H{uwG*=Kwjf.G߃Z3R9 1/G1VbVM?jeEUSѦgHMJʉ|NǦE~Jn7sx(s??݂ *Ӿ]·:geϹU6`Aĩa/F O-KHJIzm_Be2ASе3]Kbn_c؟ƃW\F"MI .*9G\8rY;Iب z8gh}!zxrf&XWM*(x',imz}4T`ɐaa%S8]*`jejҵDcS⏊0%IAwThVVd8O{`]ok›K`}|v̊Ulޯ:JXG@Ci,5;8whC gͰO%;QZ֝n_wjA˜Z!ԞYdD܌MH`]vy=Bp7G!|cTVjJ>n$oPHnMޔM$92k8# 3{Ll'gMNrrbp&N'yQ4huSw|Cf#0.`kf}C~ n[hud 0;U,fܾh2<< k}nDe-NBXa*: I|PAz,X*w.@/S@Hz:5v]PZH^ f#g7Ju?sD@m'U~b׍my FG7p%PHlL'L?Ξ1V|7^иJ,"azP=Ӫֿl'iHkQ~щ v]0Q3jۨqYoq#8 %Y.8Bqף {p"As'#1]ؕqwxK(Ư VtYTw'fimn8_y]mH\V3!dJ/Pw SWő:50u*͞a-6֬]J4 4}O'zܳ#7&hڴ}|iQ\UCZR/"5OUsҰ4ܦo7Ԝ1MV ={G 1w /AyE<(3>zKF/mRĕ<4iNJ^TXZ?]ylcބP%yS|6kln|ŝDQuc4 vïsc,j6^R;wHJJ\ K bx]P= Vܚ;c59N&p+!}LU>H7R~̣Tk+@UpltBZ"=3Ag,K/$eQ;c|q`R^W*1 49bTIO _$i XБ `"gxv5)Z@TzFv p\Rc"(Wݵ]+tH3/CcmZ^J&0X[ht̋sq,u*_9&2uĐ/DBNSXOm 1^u%X1wi D{$5#/F)/ۜ w v_/iRQM3"h{\kE¦]|Wp郯b &43^J3nH0)AR)1ׅi\ҷE^x:(+$ٟ6|E@fX]NOơՑYVeX: }E iۃ~2v^&/xdN2GY˴",&S@YsilY`PV,w(.7cPhE LF an!f>+ Oʹ4JE-i|ŋٷ`\/-kW@L3 Sf ᨾhJFѩ *썑vR&HZUUۿn٦=*Z(-;~*QO5#L\"Kv>5Z ɂ&"a~" ;@Mb s?| h-&Go7rH(ٸXNEZH~uvP,Y[iq[2-Y9 7Wnd(AQ4:/c߿N~ZBN9k,hػwJ-'r8RJmthmPS$x xC&>&ÄM'Q 6$t: XSXtǪa|v$ɪakWuP^mժdl))e*T봦qQ-`ϝ i+GUgs}*IonU䥬#Cl͒+eD i֪w6G$+վfTV%9ҳOeO 1 Pܸ3yx`X4YTipX]ujМ5)5Y[ѥDL ?26|D :XY!x5MwNM-Ny&L199؀bP=?01pQ{!X/ G?&S ssvw& yi@o{Yvw}^9$TYFj;ٌQcFj0KzYk6 !֐'BjuK+ s?1;o T?gNgEZ&yDRDu|q3OKl3Stk\~ 5݀6zEχ@gJ C1Wc[AzMA&ZgXai|H>iv $^ec fqEzfe0'a*/HsLH!)FOj;kسe?Üd3TMU!Rl.e0B;8{GBNfF6:"852Φ>#~/B @VO81?yCYm|@Y$4^tfEd)Y}j]VjW@5[z9Ӣ_D'[J^֯PgZ21šDb ]5> c&Qq>9E˛nЙNd#/s[Dov{'+mE.E Pw߇n<捶x {tBP4FtW_JaiSnNk὿uZ鱗M;?bd+IylɣzJ`%p{jĊ{Ͳ<ȿrVIuITV\ Be/+la\eu؏OxHMs 85aBu|֜tp|[ Jw)&˵z@2j`R bd=CEGnl^3fa#ZkZɪX(&^TCfg;y-BC0iYlϼ_ i\1R΂:j#NaT[+[ ŗj{Z"^߇nT9Tz3̆ uZ>Kh"k/J@Ti{H ˠXm՞!1J"p_6*DݫLi^0oHeqCC8uvM?#]x3'CbMvI^`̈Xk,ݷiq?ے(EgEG 7|&&\ϪOLJ3ӄ o,I)V@u 5 *,{%blVu+' K CluAԑҷ5J%=א!TLx-r969b/xCϐ4*QģFf w17V$5"eEAW*Pؘ \ [ʄ)ȗ/2 tCnniM~ (s&/Hp(wӚtALKd/uԭs,V H|Ϫ"︝ZAڎ_DѸK$q4,|]˘ORmX`nLINiC|fX:D׸kjB S2tBb6bG3AsQ&f }4ބpnWc!_@_~(ڨcc<awN y+rgjeK/ mC[,ĒLY}2';jwKS )p{%ur#6FSIrF~i0DEQ? Ubr&X9-"^quI(`C~:Ȃ D(K+#3W0& -rȻt7ʙ%p>F݂kKq/Q ZVݕ(ALJJz@_s BT9Big_ G8 c99-Qnٳv]w u>.oҶ͹ӼSnԾn:0b 18%t!Mu*ㅔ>c0([{ a`p)$mSӖ̟s;YKQp_ p ;D2"YrWUryV|bq[PɃy"}< GЄ,Gn߬:b7ࡲs4T|jn2# \c FKEȍa0|䴦<[qڀ=Çs{ xt3cN9(y/["jHϥJ:{,KnCR 3+KץwyRSߦ G@; p 61M%Ra3 RTi/f+GO(Eƒ=j%юל,e *4manK YV4N,2\&~lU gy=Bd]|1ehBi/ӅL2tNyVu{:U(d I6DF~b"OA*Q(^ǹuySW\tK%P4zO˩5S{/ +6-1h!I`L0y\vq^Mڐ&-"AGng1C=4ρxY DvPޜ 銈amH]j#4(fLyKt.|ה 5pf_P\h"ݸ!Vjxg:TB~鎬^ @5*HOpJ{;0VҊi sŜdӓEB)+q:Bk#򤜋̕M\)tQ^:y Tw!܄deMHblmsMID~:=?ojWr孞J`@߁@˾ `J`۴$ܜV@2rNnyC=SS1V6U܂HU&gYZ >3 1=# HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! 2i]ˠ)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 KhGS= &ʔ%zħt|Ԧ{|`/"~ 6O* 1'\RYy%zJ$p`Xs?9a.=W/^[cpl-NElQ)ӂ|4xjɼw8COOxj_O^iPS*?FE"Ÿ@Ys],yP-!*CJm3*y@ilaOEWv rė}]uBzN8}d;.FBGd0*p넛b е*fUNN>T8qknDՍ h +|sI#I w^YҺFa `ɟl9z+!tX޸68eTQiw 5+PRqmoyx tD]jʇ+c.Mx0+#i_"o$X؊ƝkM~㐨ʶJUt7uӁosÞ `Pk]"fCQWC n3G_/7nĀ֔t}R`; X^;\jI1&Jc=(b\hqP K$_U>!9_aB!I#Ajm;6.gGWr(3 3qLk(I_͏mtIx4qM,pc&zR>%52ܐ8_& Ϥ,rI! |@1Lu|擀g3QЃ6xvjy䍹B-j1(JyTY>U%_kFEY]$N^shAc|Ed~5zE [0֍N6C16^B%7Df~pZ~Dil,O٤_Ƨw p|S|N~ӡfq}`%IwkRMzK3&"hO#kZҚ }6]R2H$OlQ{3|^5W{ Nj;Uk^# :P솨mڇw kWq)Z(fF"ycɃ2C> >#"|ȿdo@|=o %hVA@z,8.U[-oz&N!j'Qtb-~L9Ml6]PKe9<'ZfK2_;05Jʿyoo{W|Ï 4dHu|3&$,3PkđoAYoUwg}߷޺Dq X јQd`)pl+t(7F 8VK&EK1ƍnW˃BP=u[> -`%mFb9E֬/3Tf^Ap{~2ESv+ 6\er?!̘*dz$Y~E8s/m2ѩ* C1@e,XLi2TLCJ$G>p੓!LM:UY d5lz +Ԣ{K:u*3:&9 ^^^ljx'YQFeHXf±-oLW'2G[^ca-m$'Ld^Է\P9NO4B"1]h@Sq yŸf)(:f2s,"4 5(ͷpԠoFg)b] ?I }x1K8AY{}[ɋ ZvXDo Q( Bh̄n˄Z:-^Qѳ_6/]ۇ/k{Pں-ˢ~K< 7 Yt18 Y:k4d *pfL ݀!$@P";}tߨ,.v0i.WwZ2ann쌟c: XQN|-wud!)jQF\e:LIKBt?F_`^]79+ f =rFZex'e@iM>۟ˡw'esh;Mjq07h!N$I9OuD -g&24x8ݏG t˯ai%@u7s-$xZr "VLjבl틡Xp e 124$d/5繄?>}zg6L,}*~"p|LmĽc̷̳aP:ezj C4kejDVˏyܳb?oˊN nnb61A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF51A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id528c41=' THOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! c]·Iq n[:|&[zuc5}]bK攰-QRmxOWF3:*5Gq4?yȃdu 7P&i^qDsF}${Q(M'%'rrNG+:N|s?րkh<[c x#uY+'?a W$aG79zP 2\d J\1/DR-^Fiu^CTCQD2zMxW/@0lOZXP-gʵS!kRưwM gҸ\X#ɽP?ޕCn;jx~O8]1] |fvoCm6*✳Nu Iz=Z*؜aQ|}GY,Jd3}TmQP/|ZZ5+ gsܘ47(k nC!f]w4n FDVƬ:g4ᇫg5W#N 1D+o0k{&BƦa;P`g i.+cD%zC[(u`g Su{v.Vvrzs{vi ,UDWP\ݚv+tXn+F?Eh͇֋*{.IW?ll]w,it:~F=KZ=mk/# 0X`{bvY?%͓zkPN"҂ ]#%G~?p%<ϳC-~6n$qgp;?m#}@ʎPۿL4 tXN9b]7jޑl%PFKCi;փ:Ѡq-((Jrkzgdܴ lh]4/}[J'.Rx^geS~GSk. ='U_>3bpD!6bkYMm @,k`DҚZxcKO G}-4*w7X|`g1[ɵjiLStt?.8|`,uۤ.hi߆R .d2#Pr= 7T+,+J60*Z{fvYZdxRUʰSeಹ;uMǕ^xFۊNOBFE֪o{n&Ř[thţgzGI@wdmb?=W8u`%N!P߹1/iu/[EdYIYʫ @ur3@qv&3+&0%vˇ1" Tqm_f@^.$`?5$Ym;B5 7;<Vx́$e)!jqL쎱XgH'7|x[OvOߌBžX jVp[O($WcgB =`KX3#>*sfdI@كQ߱3m9ߐ`&=6k.߹<1ěcD~9k0I'bgu`hWՉ>A7ܾCIq.[ttvۿn$,F^K!A'ԡCqauӟ\{6!7WVV:P3':g%e12<?f}z 0kVUs8Y)9Qk/Aɸ o+*e!D7FM?_oz311#1|%{ר'wYyRIW-ϑ8ǐO^t3ml6_=BҌrsZ%f kDAt}uJKh4RqK=;Nlw9*](ͫ)BIfh%İVA=- \KSYGdl *Mҳm"aXsB+wW:Q214EB\ 0u~/oR\ evQFǣWEU:5S{|wROHwH7.E[bZ ;X/B\dΓP\[dN{_q8 ŮEnPثrM)|}jo&x*P.q0U@%,b^6ȾxM`&>o_ ?fl;1ާ4ǿp"fs$x^D\ҝ'ŭFPŝR@gYZۺP-7a s= FH$%#ڑeJ!MÃ6ȰOT32-: {jh@./:{]fA\af] Ԩ _ZhZfzI9s B'= 3#VcXXC&ͦAW dH7td,#/3\hM!|Hy[%$0ȟE$sCmN!YRD/KEX{s̼`+@@1")GLPzvJF:3WBy|?b,v҇϶DY{(K%tCդ[o9EG_r 3zWѢt?~Y> x?Lgk#0IPd̈́,eEe^3)?I c&"I;G|YSxrYϲH|Mр7 3^M"P,x=al^XOy=c:JdMu4xaugi A x86P (G:Z!0$iBB jfܸ𽽣}㊸> ;qq;LX_"SraC@^V/`d?\MyNa34sa5SN6c=t"}u+&}5pAPAuJ3N{]6IAQ_?&@|o7z;5޿Z۔m ,ؿ>]"w6IՅWZ#iДK|D_0&KK% j|PL "k.5˪x%ޫ9%L վaQqZ+۩LFKt]^^-1Е ww$k B_6{xhSvS[%i{h5T~N68@D*$ k4ǵE~Eɶ-MM_<s3I@1"زg͘j_8d~pU~ 0^cވ;/Y۔,Ts: &~,{kz F؎uNɒ "嚴i^"a2n'ܦrKm鷝Fu99H ""j}~S/9B9M )D롘wj!.gy<7j u;]?C0-:vDs+KμF m}gtFƜH<xThr :L-^WOƪwÜבr'eGhW|PxX~=S'^uH F;]rqVEsA mn J j2;#B|QCJ HPP?6Ly+Zv&@9`>٪>pEz)3պ0GKUr$rN{IvÍ րzۡOO/^Z1%̜PPH Te܊ oͭ@0}m[|V{۽k]8nʡu@^͆]Rկ`jHX^OBZ(b-G"k~@~$tdcࡁS?L"BZP%n4O.K]fi:!IG>tt0ETV7Oi/xvOF8B!.`mu J˰^@4Ûbud\ٹAF1q ^ۺ+d|GDS6CͲ7w܁TpVAE0Pec)3{R |V0LGAHS„]3觑Ľd&'# d3'pe =!Hjɹs(KOdc !ߠB0|Dj2@9`[?Ž& ν[E;31{X>/)4?WP_/n6%z2  x_LEOQ5QJf l$MRт "%/^/ʋL,ᆨcAfe}FCVmdRZ>h_"L]]رń 4 SfJ!s ƹvsrp$8$S} Y+Dc\af) /8KNO"LFO: PIR ucC zagco߃[j<ȍd, ]^iQNx\U{&XPmVH <4 K~A@' UdE~1g+y۽J\<|t &`:]+#S wyJ !})př5H[R4d۹,kUY-̊Qf"''q8RGɲp]VGQXS%}d@Wh(J^+Ñ`(E&^܁4ۆJy}ׯȕHQ9>Õ{*n1hTx: Bo'}`MZdGMaw <Ҥrn&eU9%!#_}NBnjU$LƫR Ie=l;ӓz Jabអִt8ސZK҃o*TDI'g_!&)MZkE[R-/^ؼyh^9AH" w b1ڿ!qq{Ga) XgYZ  81A' 4HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zKn!+⥔k=b}Jwu$?s/AP]X]C͉_6-$NuđpjpצLDYxm@9x݇*gl>8"*sc0WctU4  |%el᠗ }1"j&-mk 9'{ vio$Iap[uʼm&M/㋚#3@wNMh \GHyj\Rp~M s {O4V{2t&׆Esl)os8ѳ  :<N2)eyX;71A# HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY.] vhZ[d (:.ͦ01]ČmDٝ@.3Z"I :QPKlrr¢$ӌ`*/s&&){TP#p= av<&ž4I!+ȴcA 5[*?Q7+?GH];dcaH2 -M0: ᥧ|#8Y 6`R[v c=yf=llv淨ނxO3b-{5}b]^ojY'^FpGn@vę ?­J[6v/D/J=!F-:[jrAG9SqGsjxlP$n%=jTɶ[Q0˛]D15*jEkMqZSQhϩr;.ӹ0I!{^`f,[}qPt> ' ;ټκ#T6:jDxzz&jצtb EM\{P . ]^gp-6X ( (4 RQx285HHT'8X6V7c^'LqiQ\# )T>ņk*WW#!4CoA`]k}yq̖^Yp4َK̒f \6Jᒋj?҄ف'Ʉ |A, :vYdxY⊮UD.s,K UP!4n2C!w$NѺ]#h'#I"Ɇ[Ӹ>Zc>xIdD],:acl+Qt}`'В=+1D7w+s35bǮ v `vNjʞ:]̣X$12߰*62*w& ZPk+X&0ѡi%]E"ԯe!|q2?'@'R4N{ff4k`#K3і! %`kbGM0$^ž&VT-'%I&stPiU""8Wl픏8\42ZHx{f:Qg{ Mz;M@Vg#pxOY=಻9}D^Iγ)g"l@D P\[#3A JNYĜH{)hB+Ih V"ł𸃵V M|kkqWn>Wgn5w\t9ªGr54KZ$3dk:1T7k gWyeGOWHtU'pN޳(NYB4@,Ω_Aޮԍ@9f}] {;d)1m 9B^nJ/Fܿ`9}! nv}fК5.p_".TL6t<8^ڜ"Y}ͳ.`lUH`/rF̟ "ƒ!+ϬAU7!$PuɗϼQXhF\u~ %6"`\ MN(N#EirNCѵrs䱊KO6A^ё YO}{q-Kl6L㻹Z; TP׭D8F=w^^C2qmN).;Z-# ~-UJȖ'̀ӪQ3&gI\b4 = Z *Nre{*93n9>d70Nb4 BFǦjEv)0ޔ|~bI;=J=vm>/nԀiea\#IJLr>؞|* Ez` 7e#Џ6K"|ʍvV)zJ yKHIGCjڤp&](:=:\rL'6!Ŋ/^U-,®8s5>MehV?h:ue$(Ci]}#+O9)Bk9X=VH0tZhɺP~fό err nPc ) O~5ڠ'ۿ*D{uFIaR{ YCgGh~"?OG[G rpؽ3dd;B_~#NjOl@WU9FܫKwP@r4IJ$ Y%') }Ym- J3 jy]*02cڇqޤ(f*iehVur4%oev716.]t4>o4 WaTWJ+!J vQO;܎hHDc\'/z-wa(͌q߆$F*C {>8OPؔY?ͮg4:jQKss~ƱS fOf(Q>X8$07v=Yr[ UWpWPoWRυNpKgHd(33x)_}WA/gWV]6lŮ^Qt_g:9 ?As*LӅE} L~6's5_ LD=|f7Yd{m.L/)>jl)Rt|_FCiUJ`peMVh4B y A@0r;Hi7cdF4uf(-!Wo%c6Jm%"N`I?y.`'N.ݠ|kVdڪ5&Α<_>$)(B&u1$jĀDg W l^<(m!Kr ,2@5 bo`æ9){K>8xQڻa|@Gz5%.)Um00¬#Ƅbm >AѮn,ɡ͉"}cy3͋ھx_Ǖ9b9:pޔ_d:SvKu\ %9ecEW3SR6߰^_Qrn833&'3*V+l`&j Gq@2f  v-XۚO– t&{T8Dː^mN%fgYZ>K}h?ynRJu,]1̼-"F{=6=.?K2ze)NS p>0>1Ytj0: x[O;,Qƞ\ƯR-ZokOꞙh[U^W="C2 `?W.|ݎiWxK;tY$* ᤡ@~]wX% Tg7 9N,y]BSnCoW^[ ߞP J `!u}D S`DUpj6*j1~ؤtxy=\^lGQ'M<y46[.@V56ۈ~zdxndnYLw\O}9{>SB'-Kp⌇?7 ]",H.3oXu6yh.&R7 }PFjyj#%򁎷XOVŕ"|=7?Mힰ9tBg F/ҺP:\]U%J:vC3/"#UbN.8vy2N.ֱΖ 59|I2$¸% !W#2)RCW#bwB{(P?f&1hڦUTE:.Hܲ:Ƥ_*O?EE:sM4mȹi"1O"d\ǫ0sЪkdh&"|qI\u.Zǯ_ dďt $(\~)-Z{ykk*o&!ݶAqg\nD[E#uIJ[dij HnkQ&p -I,퀨|NqBTzfe@iMը3t3, dGANK#'j =k JeW%L*^wV@9xx iyqD#lHb6BggdJecoBzx=պOw27BL MVn_5PnMDf48n|5Pn*2s/yHVdCO!<C+|Xsyj<5[VѮq_}4zoL$ nLJfUMgYZ7zXZִF! f']ŗXi%e,%\Õ㈖x&/2 E8TYsBhD5tq=:V_@?Bs)"̌>a$Tx| c!bN`M0T:OdNԻl*\$n8UWf7_r^ Iݙ1vIђUH!nz _< ˳~r=i t2)'o9̽g0P1?û.vRfʉl۾R~35:+oHqjűʟj$@H-Z eY}8+ uf.euQRz&2{Ы5/Ԣ_bcI+Nj!J[y˃ZG2'(TOG;qԥb\Ѻ S oC[Χ|aҘ2(&^B0/?i|98>: ECYxҬr'\l ҂Jg2v":Tv2\dβ)Sc>@wW`{Z3UuV*-&Ԃ'nB:x#\J8Wړd^KcLL"2o䰟5pp`TSSwG~^tϯ vz܈7o]BW~WK+p`b =؍gMTaA!LBX8F%6,-./{X9I[bn#&6 o[RKlɡY~m%__~C{ntH_^$ONGGfϸ٬E5Vi{xvx"/&x(6*񼱧M^J<#kT+VXNEYLN$t"y)Woo+q{#fڟ'v9T=Tn_$csjycgMe˄&C~ʧ%mE~+2cI^[݉h5{E} >ݫW^Ow sB>(>U&]Wghj-楥\/XR %cT EB >/пBې.ľσm"~;i"4)g=4me 7dNDuNhT/Q\r+м_ 2i s8hc%zKd|[Q,H[W%@g;1@WhdyО|]|MȞtr_K*\JRv a u;OvpoDD8簺[p>ߵAPѺM~$ eUTwA"?-2=+%is :c܌ '!^/>'5ZɩE ĸj[7/=w[>mWJOp^OQlKXOGRT9͸v@LX9Wn㔦Zh~nD _Te}B!# tltU056@<2ؿŹf:*{8fx"-?U^]]\ b aea? Y0#XkYˮ0tǕwy~}Xju0ȼn gi%s Q0Spp~Tp8)T 1S8&J[oMt\hާYO6km|<(j97(wYL*Nb+gfN4i NwrL6P5P~TY&ޢJd~(~4\C"a4id`OC3ӌ?dC{ 4h SꙒnX" mç$gNJN+tTt  BwllcNrLO^Dُ aHHDB+ RYѢ_uQނƿ " 8o;\Yivn7x-Kk](d|٦nsו_y[Im[g@MXh' ;gYZ957fde7520c64cb950816518440fa109227bf3384a4f54a92f149cb91f86d6ede33321d86d379713 9ad138bceb8124b0333eaaccb8c4fbbc943ef49a 635ce4aba79318f0565ceac72eda34ed872eb56f