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  ] ]1t$|D ] HOL-Metis_Examples:threads=6elapsed=16.691cpu=65.420gc=7.5407zXZִF! \M ]ŗXiɟ{V[ā͚i"8oʿF1ݿԻsY 1 HOL-Metis_ExamplesX1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0W7O6N3L2D,@%<:921&"        8 d  > ` U"  j %^qFR : 'lli, # s.1>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id.?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages-=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup,<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files+B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id$<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages#:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup"91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files!?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex?1;/ HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex   oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ MM01I= LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex7zXZִF! a]A-MՋhvG"uIBm5fa1MI[ta'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  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 ))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>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ LLl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ)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%u/)>Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[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> :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 | Q 1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id518_ 1?3 =>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=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|9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ `P`k1W% LHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! `]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxuev/O乓_ɨ/|/j@-xFDf~Zg2Ur>mnڑuDľ،[4ӓP ϸدQ;hgp p17:v02O_Ho& p~H\ʉ7e %k"=4V_1mHf5tľ?C&7TK5uVЂtH.(8zP{5cm۹~E.PWA *RMON&mdԶ8m(Pt94gaO#>S!wË́`[T2is9vշΫ#o+ɾHp͒iU8|SsWpɍIGA <5>lMD(db (TWBH(80iϛ)aE* Vr}p.; T'j[UZjA݀=~] 9I9avIFeΗ''@Tu7Ȅ,pbN0EFϨC"5XtYb'fؙRL\{> Pș:/ݟ7xBRzD$2r-ux\f{kmX LPXU>(, m>ZGUF Is?xq C˧(ӡ4$]@4$jtďܾXۀCЂ?FR 9v)*wk$DVYOP<3 3pDZ$b1w^LX]NaU4dC&t3hܤ{m.W|cDLv&zu.%X]dUa!@8a|4T_/ݿ7ujhݟRM[|B;T gV`Vp:g7N\ot5G^^IK^9)lo] rUW,#fyJ֧yAgPHnqbV`%­lbI˧}zg7s*fTQ-ÁQq`sW'1jgL⻒8X~ [\|` "DjG~;wf}0![]2X|FywNYo+ F!/8wΘIa|4͠=.®ܵDa}qH C~r <76FZ{{ޏݖ0S\ R߹)>pbMKL'f.#QgXa8i]ƨ]Q^$Qi+ڀMmĆ@96(t2}P~TAAkf%vҵSK|L/|| l7]{dŴe ]i/FCxN5 ]Q UQ*:ݟˏlEJ`΍× Yf*>I .AOPS,pR(k(v=>CÚ*YnQdZ?'5f~<_[Ur>]1wzԖS1Y|j+HIVє:sn})6Q+<qu=đi?ԨPQ/`r`_gn"lam)Թ+(v yo֪L<]EkuޜVwGۺW/Cd@(~V,X40a}VBAhcr09AY 1yrMY 9?Cb'=Ql5#|^IΖ{BvDPh_6b薺%8tzr`r=؁~ӆnZ`GM{*p8)aS2䛝L֯Ot<4(qRm;Q{' <5Xzh(05+5$x/M]Jr8(vHF?ϟ'%&/=usYàgqS p-7KO%}/]R#R|"MpNxgYTbS:Os_;;lSilT-V)`Q0{#%a=K(}1 q2LS4Cy.)RHA1XX k]݋ 0W[)o]yLee?MM4Eu H\E+0=ix"\}XX 1rU%5<[L{w+?_;lvVZk6FuP1ko-ާnjAG(Q޹6ж)x\GX6(}{i\xBp؈ _01ðVbM'L:^% <`Ƅ!4ލtMK:bB&dA<~KCmYATK*p[ypJ^ҔpsŴ¼05>~ui;馽͐-IGۆZ9"^U3U~@!,?g("rre/ݪB`]KW^-mj![+[qծcy D G(1I>3s[0%{9a LZ"sf5Q4up<'e$.Vї;Wl76k7q >n15T&8] i,Q%I=;l})4`z{pi'"NᏈaz0 R6rX9p}%RTAme:c:C|By"R?&@ad;HcO> cx ;[+ttL|3O21ٞg'jCS> I+"jn<DZXY>wѓyE f2얼/$s"fj9oM_t]E +CO*%XC{i]tw<-IU-4np(C0*"4{4$ʿRsY66ݢ@7iIu gs-Rc㙔Vwen\NzcDrfū!~jWM`<>Zsda@ܿYdŒ? ],H7/{cy96-3e+sUvqzT-ںnENLqbY<>2c& n'VKьߙo@w⼔E5 h###`ou~ WA`ɐwNJ8PG4THˮG0<OԅyAlwFUu,B~De!l@Χ@hI‚ЈO2^'qQ\>+ymh7n:ݨ)QX90ƚߙ>`j.ՄQ3mIJtH}F %l߳zk/_Zu--ΘVu5ŮTj4"~,kk\9'0BІQr{( ـ %>|jfs죧 s,< rғ>ļ- Mg;=PHi[UB |b}Blwݗ(OjXa "ʼ6Ԫfr3v?G)kN<^q@o oV2pC\rTj=F!K%EA1o&Hmڪj4?MsL^#~Dd92ʭA ,k/~ML2LnAPEo&{Ueׅ٫Pi_cp\_]q(ZU)fFjF{҉?tl0'tTUkʦ?Fڞo6E#)t1 .u~P)yĘEOO 5Ay2,lUl,r0^xzֹi5Jlq%"1š/TJ;!.a96ƱBϒ 9O[MNi.2X)="lcc]"duDro wcݝSiZMZ_{ȚxjW* Ӵ1%\4gbCDH'֯t¾L`WLtrh8Y2ފ!l{`_sɚ݁ AR3cǛf"WjZ8AI׷QM00OA#v58YВwJ^=x۠yt9fZ}wjTN1j :N`d8Ɨ?Krs][Apw tW%cui+#,y0~ :P%s-= Y`L#([7>ycXqu1DC0&XIBߊ_|LI 4%r.'wV ]VTtb!ݬRBj6)Pۄ፱)f7brҟ0D^o@:de.qAKm+TRIkîӱD&Ч /X;T<^[K="qW0(=:iq= G,/o %w[+^.ç _cF^\SV9E ~,  t^EK+~+~`'ilwVpTvG-~gD=& ~hl"rGC)7kxRvrv%Wp>`c|=ψ7$kJ(gޖz^)2h\>ٞb5b$wөj8Ey[o=OLL] s.>t="ah)EK:8qvѷy'MnGX/PǗ,8lpP,kv D)@z?pT*O3AhkbPiqsk~ԎFX^p-νCpcuIWDxFCk f-iݠ!6Ưk0pX>2Zc_`@}cO@n@/"{7d򘯺dwc9:Kۗ2P>)Uة.NNn₢7@¶Է 9<$WK3ꖔ[Z+dY6+'/&*pȡD@zEm@9CȢ"؃OfhQMѭo#FŊt+Whb.*i^ kiI HJi+R3?`mDzBVsӛ~!f.Ĭ{o]蚔fa}wjv%zV"0^d4O/{A&)!WD2jm $@ʏ2M|3. UӶF9g& |BPQ#pXlMYr3xH\mc0q/4OGY-*_#DLX-w\O[M?NC[]v}/s+YdIH8ak [$aa}Y'3:Lj STc6[hՃM ta&~(L>´G8:iA*hA-VcwO5ׅpb,n%#@]}[`, }2͆<Àa6⥁~y#rEfߓ/᩺dOp#nq'ėr\sйF=)m'`&lKuӱܻ^e2 SP rdB,6'R"C|^w_KJ}c%$n|ZB|TϵBD)Q0B畣Ÿc m]g4^G$9 b֩]lȴ< do~u[]B|6szf+7 at<<1HfpJs+tMӾ),zvF$68zM\ 2z^noXFx)$ [@ETygRY=O&x.rnҎvKckl?HZŖ,\'|劓_0 .h\AUůY%!V6IM'p j) ^QD ֌.}%`m/Ih Qj vR@ö̑^ףv)|G `T/UJ0J(@y)`E} g̻ Ie"%Λ7y!4~ν]Ddu2Na@ )x [4Yp7 4eE3,j(pZ As

P-m>ڮA8nKFGwMqy1\Љvvgdԟd@MVJR1сLcsUi@S(2CfUjfq}V&#䊸 _tQ Q<]{*0Om`n1&Ib@MK9E+~͞`Eg{ 6ٱIFP׼}ȰɄ0JFÑ˥S.'ܚn6X<  l?i238 CǻRܒ]OBzCj6JIk} LۢlDHR]GI$܏V)Il|H^ծxTA&uDH `a{'ݔ +`P!/ŪmmKʾav>/_PVCCQmrw OI4&ʙaQbUpho7˔1Hܿ*h{S۾IDrpQ.F kV0]{>1c( J/!΅hÝƔHغD8%_wls9оCєVLnЈȲ^e@܏N6q@8EcV] ͦVsK$W<u8ch *Ǒ_DDpq CD6N 8ڱrDG*EK*%(l^v"/}['lKPg;^`\T9q%2xU|D p(tѧI܌'WLgR …ַ6.*4 OMs}mUXIrILV]ȧXU%[ѯ%+C3269yӑF|J^na=>Qk2#~; N*siyXC4 d(1O2o=Ks6.1^hҜ'&ڸ#-o}Â|" (mlIKCS&8^C|1c@ְ xI|<8Z8Vֿ*ň)酨 IG3{JQ#GON68!nhbuF(0y@B5Hk/fS1+S)G?|_ #ݞp%"t7v/ PX=o^)/w/O3;c(suީN)>9+y_~Q<n~>4&uia VXz 5wPM`oƊ j T޹g3re(jV#(.0wDd3'?sG з(A˛O+2G_̭n.] GnuuFZDtPW-tC{TimcleC; IL]YfC4NzYFHlɖ8MV޺OrLU<3!ѿ-(I^ N'79*Mʵ9G![F#WJ< dSqpC.}2'ć zK:h![XxGw]aMyR,, BePߥf?vLD@1UaeP& XvqNsd y.T0 W}LG7}":Ւڒznz6'<vG郻=y{bu-ѐ%݆$uzΨç(.gœrnY}6\;v r Bń^'='27V`S/Xygv,e!Z-a14jTiC}C:^E+?GwQtP4ul k 9bwx#  }ՁA ˺Z9u 刨Y#?4l4@&ctiI𲚁)'\sî+ˎB\z|VX7mܶO< 'N7 ׽Eh'X-uv+ɁsGɫ~Dlx0 F3׭uGi.(^!u-g=pFle{asgSHe̻j"qV'̆,.A{ C;/G[JɫK`'sɳY"kRc0rРi.EZEK@ FKr[դfo_d<5OU k6p2l@A]m$~bSfwN z&-,qΡ]ٰz] taЧw \O0@eAl iSM\ݩXSyF Fl. 5%F[ui {AeCs09E9kmM*ۆP+ ~?W$ud䦖R "svtDљ7 N h~XVŘS ~XV& Tr'&@~& I$hWCiez݁r\sx"[[`]DylgļD>蝈U W=hj׀˂U 3dӐXY"1M3 hʕ^)%GCEeokFFwG0-j^gU:3_R + s zn:5g\iOSΟ;Թ6۪ci1Q@e %ԭ)͚V-~o)>_t'to\Oq.`ȟ}6+x(a =cOAKaBtQXv '*U#n%]n,e2;B?Qp ~G#&8FoHWr9tKV@c z'am8q긓k317a;c9JxvNE3r9cqnϡK dd7g?t&'?vwycuG,%\6XL;@VP-jzY@U>0 p5N~ݛ۸S8h`nӝ@ݦ5D9Ǎ1W~ƌxXyiuɥ>U\@Q$4&IY9ڒcsTrB.v&qr?V*5HG=1*LaO.9_{/}anIPw84#T?bWh]Kh6Rlat}һ|)X%^qRv;9/8i_,nEq ^4R81ޛ3_2'Q2tcZڕ|ӛC)1YuEx_(X l7D* S`5TqaͲ΃/d{"9ƌ/_8~HJoheOj3q6/QSGd*8\Ć/2-EjL"m*c ƜMܷ4 'tRkLJfgvMWDi3.+>p>fgYZ IR<݆Gceَa>S1$J";Ӓ3@#y=h>oEe{04 =SZ˟eut` +&t㾉^NsIݥUrE0J[8MƝzKIN>t!/ qڠc5*L4) ƀ;.nL*=Rd,VdxTOs4 E'&*A?+IJ7DNCKO  ?BH tr2 .WmO=]`6WN $/(*NŞ0oByrH_X"s>=q^.ƲeW9]jg6*)Y؉JDK|qX>gCԉኀHprYN;n#'qv[<[ ̔jb: n#K詩n >xr ^a\Asݙ)y=s<5["BC଩"ZsJDwz5Q}6KLjEeM>"xY'p`4ZYehRi m@y~wH79 /^UCw/@Smn@!>&=BG'|torX!@QONud} ñ >-PbvْϼruS};\0\Jy[ڰVon=TmJ\M_Cb.s@2Ijg%ȁpǫ8L q QOl$c=P.XZdv5wl/$q8;Pv,Ny7|`nޝ ؔ}4!dA(r<8-W'dJ 10J<}gE-,X '375qӏq;P6Ļ?TCX|*,b5-u$"[X\~ܱ#y_r JZYk+Pti:]\䖪pZ)ź[NkM# xBaө$oSy|[:Z]ac9_Ӌ" (o37\9Us"b]>,Ow 8y[ iw"AZ` 0ae Wr'F&  <Lїܗc8t:\y Jn[3ӭ..nb^_HIV1we΋>HJ}; S lG‰Ve5͌Dw- z֍YR <=g{ߴt+H9NW@nhZY뱎5x‡Ћ%hЛGp×J~yCbA%cMڻx.0OhвȆSr1&>ڣg =U#b &x7jҰ  )^q4BK6W\\/$4H4z*%ux۰ @+ʮ6}} C f>?Mq3 ZIS+Ͱ!žp _w8X!{R'2j4iAlg&+^-\,ȱ|\F"f w~ԺILq[7miG$urӪqjɰ"DAiHmYIL>u-X|!>@O"@;f?ΚO1qVg7#K5Ơlbs7-;E#pF^I2WV^`cgRM0hfUt@}@F8!XNM^r|W}KvFHZ&* p֘rPm cGz|u{ZSGbV)Kx~H_imDgh2۫\m}hT2Hl@e*zg&*ңQ~%oc5W</[7 %#530P7J_ \]e[onE rtD!Ltɠţ wގ8K5z6>:?I#\kT*mix"eBoY67lMf󰎖.pFNeX[sUSC"e*N9/w [5kE8Rez[Ш {3MW[V W%2FNEAh7c5Zqb8iE~}ƸALLF? _vT Ww^.|| it-/C[yN;mɥE^i"|Ǩ ΃ JS$fau$<0ef:Jӡ/:'a~/2$TMtx`aÑlPBpClIgY(12J{yJzle!&\L@ygRRfVAEv.1p8 Hzݿkm?%Tu;FYDXx_@ɥYuTօtp[rOYQ˝`@%.u=v:f!Za󭢽sEL;+I@H{YEခu6^TZ&w{ 0 ^+2%I͐a>&e4:37(w}!Yzc~0@&feىQB > FQ$"05VOPԜNCbx'tgjKZMf]Ae!+3s\s} Mz}a+Q0 z*{#f R: aV\5 %8}UeP[++҈-1#镜\D{_1g*SLR2&Cbg5 T"%0$(|E`\ 6E) _n$&D[)d_s0N,{Qh[bxJй*dπxrO5s`^޷ Z崔IYɭRt蟪Xr'p~M™(KQf\ad0^ЏqzXg,xx|% V܆ {w˥ .Gԡ^ L r|m 8u#ZO{:hh()7D [G~ Z-7\c.yQ l"Ū ~? nI6\#T VY{Y{ñf ˟(]pY@:̃H C(t[nG:597.c&dd0uP=2#y#fIYIGZ}0~ـC?kkس0<`@Y[I:HU]$GL9+J^m% %V<>bKZm ߥoI,hUu٤i|LwڥA5S)$ZC€/U.>/؟y1x؀48/TW\DG.0 n.Ǽy YRkb$bheah/P݈R) Ze;PƇ)?K.Ē\gQEqU_'+n.zic& U7ı ilcM[RLȟdVO'&e^6 V$6![u멎kܫbM{m|Yd*g'zBί5(*4oBxȨ.5dn66ڟ~ Oked͟,> ŽQ@ +ֲAƢPȹ+ ~(zwu$m _c# Ŧ7o8h\0HRXBlfnݯ5P.&.9 {maf(xmV璩v-2{/呁3tʲl9D}g&x:ڽ6'X>JLqsIXŜ>Tlqwxh8bɿǷfoͿ4iq Ii $0C,4w _uL8!' ܅)..A#*ܧ y^< _C]vN5IH2uh敄稌=z+䮟y.@_%> g3oV?[^:L{tS+SߗNpx 撥~לBcK5r7'u[}rBGzT oVL[ UaG)x9ug֡-^=bӌ%>u?kHD/A;3y @;|8$jfu9Gߑ\v3-y%@bMIĤkIsH5p^t2.&:1Pʬcb%SᦵVOQP>[ ,=}6`Ĉ*̤Wu&xj"5,Q>b~Wj73 cԤY#?xP".z2Ӓ8ËovsvER\:* *ӷ܅ῚK .AZYGpCXo*`SN2Fb ![ݤ,&jBCx& )UK\-_c᠘<{DMn*Xkx*h5~%DCc$I޿uI2h{hd d|ʌ֯?4i^7_N`᭡Β9GKSttc3bl_\C~U75OT#n-@?OO`]݃al>lFmH{|~2A6 ;L&QJt2pc4ReNS!^Hyjjyc23ɵ.DV'KYV='ޱjPpeƒ*{{`Y!g$6X$F₶3FyҕHD*_'q8(Z5M]ހ!57AFc؂~bAbx, T6%|ٚE BN-( f 'Oԧ"IY ֊RpGe3MuU5[Gb)D) BN:5C"0Pg7w2R確z Ri̷{)t{pA7F) P:Zd q'lk\=$vZMjx5&҅7ު+}#'P giH/d 5,!D9M x}2 u{L`._~ `Y!M[:X$xmW|,]V'A*FUgk7U O3<~<xJZA Ǽ`wxQ \v|%2}beGrgjՅ8OC1`h Y Cp0agܡw4}җm|>a u!+.aQlz%|cIO 3ڽDPuJa X8f#V5gLЫJLS͈M)gb,' ɬYN@m4`N6$"l~W_©5DOoae?. ?ɀ4vSو36U:뒶D&ݵS{ěD! >>W;11\˩}]ҝ#ڭ"| mج'56> ڐ za(.d/F<[ }K/"(Ѱ-ꥏW=:NQ:֬c?Io{)܅^gڛ03+w>@+Ii9_ 2t.qًd PJ_F=7Z}(͒FHlB2HqX!jw([o3@6tn R-iul:.@Cm9 Qa_*4S~9Sh/B1^Xcq ZY*bp([%d(H3?[WB&2\.8V D'kxC^u>JI$CmS2I-"IO!91x$],*o< O*`2G} ^>L+\3 gVCSkMI3䟭NM\F-]#;Dp/@w-E^8QO 'X>:Hm+mmP[hmL" G!}55<A'AMT:mpθB}$'n"y:Z tVȬC2\-G5`)t;}G~P2Ioc:v-si] Ƒ`3'XW^7d? =NGJ)n^GHg蓐XJSÉ(BjxĨ׻_T0ߥg(}N LO3u"ZO0* z }B?Ԛ39-{i74l-QE%*RaJT79%;<͍E^fl FT͙j(2$ Kc%^k /h_ ص!?.g!Yle Бz%OP[*ie?x0 ZtU_G~?|賒 \A Ppeyuyd?8/mQ2@:԰Z Ye.IOB0r=-lJag|9n?Ofx9$ rd%>8{ `=Ѧ X0;w&H0D rcPss"fėoKf?˕F~} Xw*e'YW.+]T:2B0(+s\̩PKjH6.!iXDE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4.&b쇿O7f2#=D7ވKWʌ`4ī}k2:  !<s؆ẞ IxzLGe?U!N3vL8\H(ir |[i`$CbmgƷ܉>YR$͑1!2^s\a"W5ʳ{+4`*md4O[9S6=Ll"On0a"dz]E%v7*2m7t">oXIJ[o 6IǐL L=nTL-=(uӲa e H8sl]=}gy1rm^GSej9w ><=Ɨu@޵xn* {v[m!. rJTT+=o/ޟ,x)u„i&-Ǜ߱]kArO dn96tps0#g+@9UD/6QP4f(rA`.kTp#4I2lKeauֈ۷.O _v&dj?K(E7D޳4x[$ `Rݛ)rRd&Ut<+U\F>,ܚsfRi!0W g{i CX}i wk>i\^֬)#P}ep<)( 7V9V~K4x;!lx H aV63v^<}l': Ctɑ abfAkaʍ(꧜ת_{h AL#<;:RhM6rA0K7pCc0;>?9nSVnl8 X5`H]f)C+)u0z!q\0jldvm(cU2 yD/Miz*h<} ^h:X9TAD|axUw$ϸlwjkS|%}nhEfSS gqέ3"u*3^pt$(EϞBQapKgE_fw ]2$.Nǜ8:O\ؿ +J2gE'%eBJ^$:̷+#v3bdHqj1~Mvjϵe>T/UC]XD\=a QAĊ7Dto6y tE4"G;lŃ1#G#YBzϪj^1N3*6#%􁅲\j(5x"^R49n)YJ&ԋo+ΪiƖl2Yŭij%;DL-O9̸Ȍ}0]\B+"QB6fHb\??$g_$[vaK,c~f-9=^phɤ5"Z¹!@Ő.g=ÂփXMf&IcT~:YIqP,ژ ]a[ZcU@;7| .];G_̸uRz w0a@#U6``heŷQ@@77b J{VENwN0f6jJ<)CO:BvR0R&ŋN/N<Vy3|XfBDAŦ ڶw@,N877M_ 8WQaDT}ޔ>ZJABsH2HKQzn ҼRow K /Id:^C5:a2>SBmٱQc 7H+gNZm]J#x O[Baj١O `Mu2L%sm;:S˷~ոLr;! Iup8 NR2 %ev0hn1հb/ woss D&-i],NIsj3N||$A[Zg<+Ç|Ļ>Kp[FLݎ;& Gk]}X-Yk QWT`\LJɤTe`hR9|mDI]mWW(Ng&jM?.2)YEu1"\Ɓ/K򤥘cWw!VXeD!܁{ܣD)#`|ddۺY6#d5 (UJQCSD/(<@7.{QuSwv B&Kj3ptkP b͉VypKz 0"F,m! /(,W~7*o-t.$c Ncs|Q A.94.#dD-[)Q\vMtJ~]SV̩"T v!40FHZ6"T?԰Hv5u' !LܸyxVkV=˚dfcW_ (!Եݎf,JzB屎B9?dg|>Xosьj{2pF,2M"dppCJM N1^4Y{a{,^.Uo&d~F xhj5 a_On0Tno[^U7o21LI\гP1GKr.Ϡ) ¶gW/dH V88mA>' 4m =wQV͕=U-"3wIq ^xK'$MQSM!e_xx{'i~p4 "ŕZB\< )S|-Uݰ1_GCR}Lo4ucmWG'Ս J߂vX8Դˤqn&,zք!,_Niz5vUoUaGvv/E,ޞ_˒)CwY#IxO" {1~h8-}7a)S}+Ԉz;a K"M|efjN_vɒ>Erg%z <ٗvM{u>Q?`&E|A+#5qA9l@ ZWS'b}M-u0 ]qz+>0}5Pd yTiݻ랆) L7b)O ʞqgLPEdzRM*qeU\=m,g[MA!$@ʿ pb㜲ov_~R<9˱NZ;`i>qU'癚CDƕ &mg]ݲ_/)S?b@&Ebl dJQzi#y'q6 *zy䥼_s+QǂiIПU9'|8d}ZS^ouMt51]cLwh}u+N#bAȓN^4cd|@rUeAT<2]6@:\VB<[M,Ba<7PX!z~C#f.Gb7$_E,sE!F1 'cރak-Fo,3E4x=V/]0`gݘI吂qDuTBP-K51k[pL#LԁS.KM _iӐ)2f6RM)R)/D,ӎa\BPΔkYx5PzW#Jc SM%He_U~ VàgziV ighEPWU{BbGh_Q 9^78%H!pgv/WFLWŻ65@pl*D(Q:%KVn Ƕ;uF*l}|w}3QC# Uwkm$~uН<xÙ)&D(bϘ/dxYL 240X"E0ufTI)0tyۛd5ԒfuI[E"vE-7Dvqbvl"( d;' }NۢAګmؕ#ab:Ss%ƛ<@K.@#nb^(Oy"-amR]\uVf^/GҚr/LQ":ű"Fe=dEob3Ԧ6`I ]8}l0hKZJj2Vh7gN g:2&s8q8pզC=5.m{p|o3o\[-񦃹y€CsHapfDBLDOFWQ%Ök}kyx[xu3pdwz"+\$Ю¼]%Cv˨k).{^E9}+  7CCnEMv' C-v{FɂPn "oQO.XoH?񢶝x&轢@gcK)XuJUNr#% .R,U@7+̗f Y2ZixaIm@uU>'yO;Ώ/^\wQ}Ϛ t{Nv*xmS)鈛b(ȀJU;TuZucTZUD|!&ڂ.X{vH(1*TS}g1VC4ĴvlM[Ģ^B`Б B)mT:;j1X PdEn򜘩%%cGxp|rn/FKB۫1a}:γ "i:`rs{dUTsĊuLt_cφa J/q:!˙,ǯ淖EرR *:J&5h.Jxc%iN[e4 PLIf瓗POF=g`y6=*t|eZ_6DW>Ϛr4wqf{ L>CHq8 @*In煫 kP3[(lsRqA$ o92})S\ݦh iLop‘ing9Vr\u y_PUnJJɉ㹴Da ٖ@/w֎,_aU>?S[">vcxh!*f SnsB;:Lr$Z nf׎;޻ouZj|߄,G/0uYE-I!ܾNiZJX7!0I8.^5{aI'E!W|`S QI!W~0cʜ.󽕾aHAoB;V.HeDǸ Ֆp3)e[%%JG|*XoN9 iA=%"A:9;r4^>Cdp zW{F"AC$ G0lHnW{-Hu~N 5H`  Rsnŷ@ϱC(aEVL)֣~ZU`ef哬MC.%zR?)!x~6e|%87ڡ<ߤgqtk&u]fʦ=:=o&_lOl7`_h?38%N]d%67.+.`<(k>䱬jJS,Rb9Yt-y^{)FeGt]H%FZ&/ڨ)8 0pf#5bi {P;ac 2j4lJ-9X N{ :鄫mG׫L|qIGYMg` k2SxbGG+ !f1Zd!QVͽqm6M !Э &jKmӹz+:j0y戄X*9 rx-Q\i8!H!4V#Kիg<`E  _&^NUGb=UMO8vbbvmzxNFitk44WOz9<-MN9*5 OHxqYz21bQMGԲ"}~`z1F?adhډ5dKAsiR-sqbķª9"I o ݾx9g _m vEj T|.wV]}Qj$=P|#H'oL$$ hI{7Ĵһ;>:B̫ܢ C&g nQ#+J!IXҽHyEC҇_ ZyLXғJ<h7T 8ΈxO`˷t)prW:Hc{`\L9m^_Q/S:ۼ蝗=Nc'S"s;"7ֺ7ZZI>+َ.CUƻUYJ Iprg`qt0BTJ k[ ҁaޕA)c%_`M׌]FgVߺT_-QgTӹ^Ή({y6!$q|y? vlܒylejCW$JP pdSo-槔Aso$8l&h;w} fS,%lǃ_Gя+>28.-+څE4O wa'?2K\njze`[ϺVcH Rham<# F{Qڠk8q8"pʇ0~aps]63>903Rt*ĩ|fNA&ïʁpԋśQ0&`*6NCqeAJ/?1ZC$S_BH܂N,ćvv(O=]6;|T9PX1Q9bi^oN-޽uNI>ʑbê *gȧ%Ǻ }h{8b7ֲ OivQr`H2Д]c``+1do:&j/s%]E5̶X[~(ٌ RAMs1 L"k=4l 'Z[~~ jRjq#Gsh` >9,l:pfQŲh|JQ-*3`Ҷ6G'M5̖N Zgb_J?RBz70sV_/jַ7ls"tמ#ݥ8L z%(h6hZ^pE<z6AĂnl|ʛm蕑myO2EIs}o"o\$voV`f˙s:*LS_2[_Às!PQV.X  _9ԗϖƟ1|jaIdnV]]pu7)!`Zq>Ţs7kY&]yk.;cԩEauydu"Q썶[/ku.p|PT/]O_#inJ7h#ki!BT-I3F2ͼxPcU ٺtƇVa䊠h{1Y?8:)0L?6\tVZGD*S^Tһa6tHuf6Gm+Ug=4cJ1`)]R]>ۡn{"X {[cz$8"@Yyή"bwSA#a1lELL'G-.6p}EO[jkY2x54 g 2!e.VG#3fE Op'ekʓ Hk 6ev?M>x\14/o rdst; Z LMn511Ek{(? lL,^ 97l8Nw(V)Ũfi>NSUJ+Te"tÙLV1I1M*'!d!'&aX(5+Yty F0SbY{&9S^mJ>@P#{ [6[6orsw?Сa(뤀+%o`j496$^&=Eڂ [l89&ȱsKkn揗K:J3kN|MNE/ijjnqbyI3MS9mڽIiFal(wI-}|i fn~7AuqaE/:/ @X\n8 oD0Qc@V;kgDHi_f M? QjT!߇6'/_۸^B#N!zdfLh<D!" lEc c*U|ny/ᎌ'pdjK@medkαDŽ[E'[7<Ȯ^g׹cxK(K-d)a~b CNw6=#:jJ"STof<ւTXԐzyj3/gܞ K bUx-Pm26ђLdlSV΋yE5WfO9S0ESl5QZy噺T͡AyܥN躗=i{2RA{4>+ Z4YZ54:uPyX@!w$jki2 q5ne{$Ζ!oaic\EIIHYD;}~UiAkTeS:;IZHIfq^ /jBc ދ0s_iG>dS!G)f(.e3ȋ~ +0.Hi-|v5Bil2W` c-їf.&vا3Եk:dE UgUhPrx\z r'A %6 Ab%}ΌW5ʹnE9pc]Ηo0ȎE())ruн&T4ZăXe1nN aDFY!{t#?H\}ie(K.D{l^c|K9鬷8*gцw#+< (;<w:e])AufX Na.\Ԗ;cE; _}>09KO4޽cA33Mw1MHNJ|6mǥ[}pZ8,!ە{VC0#7j~P_S_OZ]+,(GeAy7(*rUxz_zҩ& H9 Wa`\BC䥏iԔץx2׭Eic懫v& z>82lfPs|CDmD70ʑf$|7D'Yf" /04ZU`SZcO/2gShEsoО-ZkF1ʥbs/Mm.E;4;l5^}ta;Zc,ԏ 9r+O[ %^r*~$m)*-nd8nXkvWC>]Ge_!ܐRvfu|vUٹ6%7?]J#F|=r!t*9킽=/ka)iGѓ5wrU,y]bԈ=SY( ̎5Ƥ[IEL/f\@_ED̜s\ qV(7lWU`qySdQㇼ(-yo҉ՑDxYZ w*r~6^@5*fpSn.ϿQЬ2گqVvp$qSB$_ Rn"O2bL'SGsLإ=ՁD `~u/X}M1 UDn&(t${ބ+KB"nS25v`+4P<”׷FX)&t~ 0u;;ܽA/EW{G(3ύKSp'Y3 rG!PҐ9`E'y穴-5>Jj!~_B `+Yن @V#6'HL13qȑ,Gh18-dg**/Ǟ: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&>_Wh_iry&@>JF847n'bcj#w*<=oir]qgck}kIvTfN=CPion3͑6k5cOh\pS"{Ԃs(㵬Lpګ>PwR~#+ DЭMadX"He bN=Ғ 3cVG0bdکs" >f(ê9B$"SjRg7^Rk4؁xTQr@b딕qcp9Dc#{;iQ gR۵zŲba,S`.'iٚM)1d$0[J/mmFUgOm.86u;b:WJ4 LTHw UEb ʭ[S %,(Ogx>,)(!ׯ%F H0z4r?{ba\W17a{i #">yrC,L`L7湲74D{Ȥ֠<䶎X9‘~M V 8,iÅ.ƯwR*,yLTf/dӷ37Dh:/?h}z`I#VnD>džǚѨ4AswN,F5Ɍbi1َ*!tS{Bq-%VU&-aNFMXr3̽6 םv8! +uOu9]ko̠۵С6U^S%F^ o8㐹b <!k*FRC󥩹{T2?X(r=Jp̵9#;&QDVZ`.Ţ"y K&pMƌ7 MG}{?0qFOlr+1ziO*&G:q,N˷Xd삪okaUVbVZaoh:h%'#BӦ8uFbT)Q9EV *ԭ?8rʷ~j}M׫>ㅪjME~#(Sj={Ӏ;nH8^6Ԧ \>-Abr4bfsQRD$LS}xbI)dVŞ@dʨǼ9+RPy?zq+L%7q*LQއl霸*pv)CP/N;Yu'J۴Z= =9ӫ#Z)og9Z;EL@mvn\j `SB&b =R{tGvĸGxx1&SWogTi׆uX~MuNx)`88b#vt}I2tYw@!^̳dQ%@JΣ9 zt=BT? MmqzQr%;Ps6>jkw}2N unxث o ̛0*QIs[3vL^brfb^h^+5iCMO\SE +)HcSIfe`p ^sg5并!c {":)'?.<vy8Կrب+9)> K5`ڛmE(.$_~РB<☩H\%*wPRѥyv0*.zq;}#lBY-Bwk'gH2!I[|d@cƈk{ *"MApQ`i/ ,"|La0 ϥJyj:Ѕ (tm& M?xKG9 dy>CVt _O&~U~㝫C"#vOE^ xc ri^Yig t$j[P @hE7y,5~kx8^ ST*ڭMxTecCyD#\EHɌA(%{E!#Uek,`JP}jN (hsNsZN*9=0$ 9uTzEw\CFVϷ,8$HκfbOvلRo׍cSя#Jmp@4Zd# S&xUcNEhrfP^a3h#/YMg'< if6Dpad,>vHԒO|rA٪ͯ 0 aלx6|d>$h??4daƑ|.7^%Eϭs31kvOq&gqŰ"eM6R.C0Ș2r_Q.h-OGH4*PW-skA.nO %#Dh,gj"G!ő шS9N7?k vbpXjؠy(lRX71uM{>ی&m0V4v S*<8\-CϞE e'9 yTά&7IL㍎PG kpg >zSO rk2XhR9eC KMa+ҁ]sB- hx'ߥe; lA-jvX=K&(W6ˑ;S~ߵ ͺʻ֢VD'X z%2j4Z6Wo{,UN~., 8\msvxe~Ap2;{.9J%:DM}v5tcBAf,PMj5 }C0 a.7ߋ3DϦX/-"^dK9CsQd (7'wJ4gb*Ul~Ts nCT'e0Q%dys,;-#jĿyxiDx'9W=*eY?MLӚg YI{\lM0e}UR3<:_oE2Nǫ1-[;"H?Mw;w۵ UMY)$xZ Q9nT;ZL0\JU&$+45Ku[ _9![u/Rʽ-tMƂq a5VDlECC^,%Gps>P?W"w0t`W2BY1^ƥ O8RGP.$/E{~?e\0uz^|˝SP?`KO&-dk_Alv m-&A4$bJL-lsi"cDif~WiW;gć)mtХ‰`L>k,d ;[k,}w{"{Bp/93c i#f}Vh+_R;9ws'@]ƵtUh6i4e}Bz,l8xmD~H0r5(AZ.m*E+s}jBUFk'Wbi3T^ALB]/(&lCTI"Q_՛mȸߏsMU 6u4zFi\9f*LӀ&y N֟ Ekl Ж\[~i^G׿Sykq5FUvO ܅ds cq5yu$ ƥhʶcY%t'hZ^YN]{@pʪg_FFLSb]?=1)#,nRkCAJk>b0GwfWʱGi$/XQfMf9 s325[t)jzV3dv t6у!5V5ݝmF,}.9c'sK"g* d9Y̕ɟ acmZgIK@Rk1wfl4Elհ39v}}1lv~_SNaT,J=-7(#whQ]9]gg9V }j$x9bkHYr\y@zgdTlAWF[Oy^#c-vD{﫜>Wi7#R~t,Y9 UHi1!zX޷b\#GeM!Uqk;mQk__aPcۅ7vip6HP. =h7)?w\5 y,xBܒ;g[xDao'n߾8T]zvkP"XumT ^w@9H(ʍ`IE d& r$҃c.zq]fCKοu`AZJvט-ߨ$' >]I31k$G*;?I\ڈ{[ e׮{  !2Њu׆L%q8AeЬ s Ѱ3^R9.ء I% &# {6"r)W)A#KGnNч*u){+b=)P"97RYe' )hɿ{;DU/DDa.AX^- |ɹs {**kc]٬abZ@n2iPw:KE 2h6o]KS_j8>7G<^~ryhC><զ7zU,ug(\0 6VAjw?iwY|S)N_Pc6~.tٯ9jj5|NDž6K,D-)㜄F̹xbw[,fJxMj }V 7_y_&Rꞥ/>cHvq $‹Lt[KYiXM9$IPQggb.dV3VHItR_ ͳ#x{f) `fOB^%L*hw_'`yS;Qkb f\@8$vCv>@-~/xEnW<})d7J3@ .JgPOWУx g]AnA]㍄oάH5j=5=l~AyFDD"dr=%0IN1)M- *GWЯ}jkM,*5sKFa^Q*h]=dw(07f=|m]}K&+npA}kbG?) Oh4C^!97swSiy+-U[wO^\{[R_2Eb(ͰjD Q{,Bkr493h=8 P$]w4Y.{Vh nk G7)J~[3pTǞyJʺ9sq˔4yfևte\p.FEZI@'?#4Vr2fxjj*=#Ko^semb8.K3?y~&>2Ig4G&;BfE{0R\ѹddV{OIJH9ן{bD2ȒbIZ`MpedcJ=<'aLG6UomX$6E5D—.ivn]gH wqBUٍm96bd[&Ibrt%^فXلJ|p$;lc?F&vdn,BpU@,+~d2\h]FJM+hJ7P3fM0r|V#exנxk(ַ b9&*坰ިcqXeO: ókÉ\~tx. KTy lL[ _ N ,)z ࠌ"g1MΜJC8wml ^fq`O^qnԚmi)k6XfiC._YIU^/~8ʁwMOEs*h]cLlZHc6`Cȝ%B"w3M ;SMJ'̓8XJBfŐUvnˀ,@r`>MxTzWiæ3ڌU&1QnfPMKe7n<&5gwF]5A ˺/qD¦$އ"~kjє$G# r[ڼng97S ]vRߨ8{.'")Q}H"PUfF.-MlE>8"AOU56Qsǹ'P(XN>4 >Sq {X)_K[BMS?< Z''%_2l(uKhcd_`|N|=n1^Sx?;/7k*cwH>k M.foigc%M".iл }pV܉lsɴs%cE; [mu{Vªoḛ[QZB+op!.r}!4o1I\_vъNP&2 Z@hcyH]f\!Uio,1ԣE'e-+!Qi01OMXE) 3_N_H *aދ Ԛ)G{K8t`[ot=c+.3? &c.NW5pdl%+z`xf)QL_% P>XxMWŞ/glfC~暕'zEbH6cøF8 ŔjQ'tX?sQ?~H&.kRLnNZ]n6IcdR|NJ>%qi_3@n Lxƿ甙Ө07h0(,9W_aQB =%51w'^- $REZO:%+ǝ3)Vf&:~؂v |(\i;] X^wS\AOG0将uI8xqmqzH?֍јl~hli4Z.3%O__ã@NƂ=N ҅f3ZTPVeoTc ۺ:fQhyl=lHseFaWK?Q.^y)KaʹT V@(b1-u\K#Mc#gttU?7=)rG>=:ąFZֵ`4%6ƦT:߶ tQp!Z%^%,kl^~[kʲj~CT=.c) ~u *Gb",ia76CPx Сyͨr֛!] =\b|V*ZD02 >O*]dkM%Cֹ~| *5&rX`vaB/4o×;KH zs,Q^a[*Y"}|{IW?PC0x`^& u~} ϏS=΂J26?IӨp%@Mztݎ]C"lJD,3pX)?bv$(Q͞S1 0ڌ>HT֗ B@q0s]䉒x9 <[T|2O刊hL9U%h(Rk0nX"ǗmX74?d-q|%`c6R?ޛoh'y =)Bc Ry^Fz2o&@5 93 0qMb`V=+(`ѧc iG,{\k\C%AnZ2Ä́y,J\Bw FT.|-8nY7CTy~LI/Swq|RVx;CB6pezO;G%jTo{:Յ.%u?R3.8s{yoxx?<*, 688l{Z?ysܑ{ +=~q"BƐX=;zP7 lz;)w׉z$E* Q󋴫Hw 57kBg\[S3 [E&q/EaS-72!oauOj'}錕R=9L Fz4t<Gg>ViC;t_`ri YjSI-J C`['oHA8OwY)4jUVΫJXe'=tޑ go)c^E`ZNigLlfXL!-ĖR$9jdWTUATDXDN^`ƑYiB+k 7~(:1HQ|VʫY@1Z&’ݱ%PROob2Χk-8|D֢\`LWJ/ SU{"NV@Jl[b[e5\O A8ʥx(,]Q'4-J8@vH,FjO.VL>kSH:E/wk1i[Շr+n*"!ONEmA>[pQR^ N( AlMqݜKFz4iv8*e5s `(:&87 h{1 KF눥 V, @(CIr =Gjo5ZwɵyHLoH#*~Z+&WQOOk-9nqz}g2X !?";1Dh(`#P A5{R(urwV|mDFAR2!dM:-F&2f+ԯl[_:9ʝ@᪄9V;P`Kߜn zzkAz) %83} H3kQe~@} 3v:9d`ݽ4fSPdvᦟ<~jeX\K1 wj(ի~i/)l{ַ2)q}̗uȥ *{L^g|lFmؿʫu7&QwեJ\H򙹼@`Oy{r0Ű]"u.`fѱ 9lڇk$|;NU _),Dv7;{yJ5&H֑qLZ-Z{zG" n稅xO=oIl>o&|hL'J("۶`_A|]KӶ魏pF-WPm•V9 jcm}|{(+FFD΋9 nDr 09Յ>v6p@[TYGND;^Ľ%ӮA5`"V\N5fҠʗK7q#YE4sj X&b[Ǖo[G&c)7E&Y '8n7%vzf$P2P/5S.R_D PFCULtX}¿ӼrZzhn[ɿ; N96ҙG-1RRvUͫeͰOIm OƭR{EC?y\!d}Y@ G bUeO.pme9>HBΑ شM2{O%@Da+!ՖNDxSxru|a_n2΍!GYv!/yomMV?gL]SF11%_3/FF 4|8d_a3a).Yhv'i.3^p&h8* Ũ炳lWR!i~, `>XKU gwG7_Qټ-<"a9A `iL#|Q4Gޯ1vW_N7**@-Ј9=?v ] kMi۞~1n HK? RMnגtzDkӴyI>uRTgmu" Y|d <8Lo3tW00a1BJJ4q.ȋZT Xt tRD2]az;Rę}W"af?|C:7 j6(\P}Ug C{q!1yk˧ctέLjPt u3VKm;Gy~Us"h ^NP~"3["L%YCkh >hB]YYjqG/&WўX?vW0 |Z{(C#N>,o:mtk8zf)D^ 3l sLMCTB%i&֒)TܳzHu3 vS`QoEk)!Bw?OJHQzسpFOzCij_;^Ct;vFmVt11Eh  fcE7"{6 #K2`f@5)qIm;˛2 [SFN MB/Ŧ2ҵ~j-<m^i/D<ѳa`=uxmNipPҫfƃ'i6!(ŁPc`F90kRqiT‚;_D>J"ԵhaXCE{=vȔ\wn! ]%o%m㳒4HBxh 8= @%/TF*t||]S0:˟(ݧF6mnMlj ,SUinӎ.(:39ƒY P ۀ>p88TpW7Qk hbN;߯5JA .dnkwDyKdFGxybo1̛I<<1ʡ-\ںoYXWZL)3pA7[/*  uY Bz+߁BZD/pV6}TsaXmBeo֯KV?{ 3χWl1F g| }SN`Q[bKgS00csZFȇy3|+yJrH6(y}ns(uR0d/|bN٧!-ޠC(dSOiE~z84V `!FWoCnPwh# =/8d>Y@ǒ,Ú q_%ÂQ|K\Cxd\VV_L?Ҫ1PDؒ(b!3A6ԬtZ /Au([Y5QC]˶OwލD%u0I9#{F`#HՈd6$W,BGmƾaԅy̾O+]L/vw#>.Є| gNW?6دn<$CE> ~ |IN9< Lˤ2bfRuSª]>!rxAۿ~JšFU愱 RSD s)K ii M6>߀;{h b`wtc!,=r&K(x|nxy /Nb@`na= Fkk"!jǿ4Ry;2¿TiW HjE4VwO䒱VTv̤#\ڲO; Ϊ]WʓoZf{**Y5'yruey5},h=| ]3^ngXk1?BwF^u4[2][ S3=B)5Y@.tɦCzƕ;'CE4U?Gr-IGK<ʭ879zbe|%dQTĎgE"qꀓoRKB[Bm f=y^<=t gqBMvNgg@&&e&7w9P>V~ {Zb=)<>!R t|>~J6dpE!hmBŁe;}i vʡsxm6ǍZkű, 6;%e4LP,^ s^ꮬ4*FUt8c `U L~NMSzjufB~!g*V.}Mk ΉumHbMy=9ώ(Qzz(gI_ > US-KO> 5p18n9r^Rw`H0]ה/xR sQSI^[_V_ >q'&⮂x w95KEM /h`x^3QrleI r_`Ŧ>9; 2piVx9{M qSY͛w=rOyG>g zZhr  J? ymbSGhn3:3x#*Ī= >GBqҾj/D [z0hx&m+ia|mL`Cvns5[rMҋՀ4fPJlR#9Ru$Bì&Yh+~FBoJngmhWL˭[Sz~RFBi\01VgnbBʇ1bk4%G`lh&v9+`ΒhK4=3nOz]SΫM1a1MI$iŒ,ڸxdZnO8FelgձN˞?;*=kE$nWFy9OOJ2m< xAY16dꌳq|z.Z@ _'R+Y&j_S@27 $Y=8a4@]iF,V2^: tCz˙솣V.c Voۃ;НKp$$_RPZ׷E =_Tc)gPM3_$Y52 L 8HrA`*sV@Cp7=C p|"ĢP1 <)i*=v5P>2?QLscǡ:#/Dn(;mQ5/}l1EK4SQf<5&#X>wcSA(ÜVAɋ Sw[2;#CW+{.(.ޓ܎UkLP\w龖P@·rj{iv5r|=5IHÊ!<`QՐlЫ6. HA SHݔR|HY^Ga5Z AwI_u;'\ % 8KQ]k4fӌw<$+E(wy%Fml;uTbp:̠_n$fn&}N4a Ph@ig$ßkh H+"`)P0>ՄS!9mXMc${0E O-8ɭ媒^T ~;M: ūd쮷,ƫI@mCi8ޭ,^erj0Pfj]vdڧ!DFw;Wq'mUм㒦wH\lBw!쮭?c 0Vqdz(0;xDrob|hL65;?1ډ@cwh{J# w٢gQn8HW$6z6& M\6wVod[LˈĶ$h Qq\U,.YRA 2~`g LrH <*@HF/e\U?a5~n >HNJL,x#gH i$I6늫;e" /OKY3Y!픷T' :f,h`"$ .i ͢=ĮI5[F\c/Cʵu;fYXVLPZris( F;p@9ZR͖V:ρiD3殿nR# ;0v}<˘y}>f|`JL;Ѝ`3-pL[ykfGYxN> Mp7SJwSjDz[^Mr0Ŏ;E?9!(YT;YD{fU_Dj#yTjIQ[!I.nLW_L\`{lkq5:(Ȁ_tz+ c0E*sZc02`ЛO&/6Ҫ&Jl?z&@Y\b ~:R/s'IU zt/jzNLYPhbr=W*P3C \l~<%VdDA!鿴\ښlb0yAr9 ][.;g2- \bA2RMˌAVȯnZ[FŹ<㻟̫s`_H{JDv0&}[؄\+w/1i$ hab0j{F^=evr3v +.WD1qK\6PnTaД]kq度|#}:z?vW޼1BM0 :̢f?h> Y_ B*q`-=-. ^۝DIn_ULնx3lIkߪ ?,vvoyEHyr )&e"_-G0 ZX) K89Z*q>?Ζ#C{t{ +-Zv4?AcCCO-R2v˜=@D`yG {w >Iڥ&1Rap%DIV)}XպƯt6uXADJ~{oxZ;t95]ipcel_((љIcV:8#I,]i4XQ_Bh1%sGc7հn@Rͤ'6t$,Gl`c-1hƉ /mXu_Y!_9'Z ^g3=mzb+iUs1tf$ i 6$v|6à !xjK"-C\5H_!mz%vӄ ͯF#UL5v>H5"mb؁pa,U؂J>xPؼtOI*~O$RO#MW-6ӞO'~zHް) 8yτФsA4ă/̲|!.GW1:ӘpI!#fuʔWG0qtC+9gt xDA_7`Y?-4& ;XtxJx3KC4t1iO+],N`Z[gu? VglȘ |gS ;=K"-ǚH< F }ցL'IN2efbÀv|o'X=muqS P'&Un+lQ>-Gox"Hetb됰u/؆>*'s4L L]:~6=c9YfOXQϿP#n@ Hzї+ vEQn{pZkx.K9 %"ĺoI)+H!9%[NK=x>hH [ٴ/ r r vy}MY@u=O#c_=? 5C&w ԛT.V?BޚD3\#m\Zp6DϪ?՗%@ߓД\}*|"vW.޼lּQ`"l&׫ i~=uz5aV6vNid;L6OT*m3 f8t=ZEs[ނ HA^.bp=5opFbV&I**3L2-"Hs7m%郇 :Rɽ84w"~>{'aD*TTI EFA|9B#g AXaF60fe|9SƜ+UTCOko8uWm knLP/_QZ%v[o޲P$7V}Q'Vn,l>C7xgn!\?.܌=MgFMIc蛍ŽZ^S ݢ4{洕7ܻM)`_Ljt&MK jkwiƦDo `?8I>&=PdC}02!GNYL?KnJN1 J~~8X0T -wUc<g00ZHi\ȥ1"(]$+tz.tJ l.VTY,iɝ󉧽|pv֚?+ؤќ2SDVm9HEdw_A^UΛ[p $RJ^@;xFpE fs[ v%SΉ$K/ -ܭcʝ!H@!s4K+tO}%H0Jm3O[<,$=3IRvVֱinC[-০X-#:+^Ѝ-gHDoqw1bOT ItsL#SzzI@k"H!9c?Qxy\(ah&B&Cp~nƥ2F z{ סjkB#3.WNr4@nV Կ_>@ /wױ];x)auBzuxhQA`rAqF"}-!Nw u?f@Ģ>F#-WXelYo1"1o38iZ{G3zU*xZ54IY_@ ͘78i`o鋺cHn.bCǻk) Z lOf`'4@}ipus~*M!v[,"DTFiKڰ|}[+hv8`n+>t8>Il%s'X[cY}Y% -L\ D%U႕&W`TL3h,KJ*`Y*AObna$xf axj;[&'7u\X0Gri/je%њ`DGr NB0^3N_*g]|D8PySai-FfGcx .EXťfi>M ʈd`YV.r'=W+D֑Ad .7cg!RDۉ:+&~_ȏKs}ʹ!pyEGwtCg w/]M}exP_|wx4<Q+h,ZH@SL."C׫җ %Ӡ<4*甶RxinM@GrąN$;VD'rj|B2u3CUs2%mG8{L|%[Gfi^R7sy0]ː"94Hs&pct*vq9'*t-RvXDZ3?.pa(:o={'#W"x99 +#h#-ZU#șͰ]M2$x-CGfcQZxѐdG/Bp#/B]zBצtfdҚ4t(K}I(a\,v|uS3}7oгb4FkjT-䎟F \1LT ˚ KAB,YcS/0@m:gX{1ݩ$rw/9D֙rEV \|ßɶRƶ2H5FP7Yܟ^1PS:oBDuU,!;l̩XkʷwLV׾>4\=t9.?"p l<"B٫d=o6sS.RWKr^ * wF2W &SYMq+ k p( {oh8|n4kPz<8_+;?Ulܝ|x@^;!l롉 ɾK7E6+=ϳ r6h8o_Sc)> MϠ.RÈխTd"-O/F[7*%^c-=}.".`!U,^pR%TLAj? RY5h!8UyuXX2*7aUxS6}=6}Cum?c ̵+=xa*D͕,pzRpq]?Z+, ґ_8iQ㔳 rPe_tB&vFc'k-+<>ͥ$CcN J D{me+@V^oTŵ{FrLݡIc^Ei@fVnȖ{ շ,‚XE ?'7AD߿=._b/m;n{cXӒ` k3p%UbAa[)Pb6)k>_?{Ǎ8P>O(8q aoUm0໓0e#p2<}e?`DL=17Ҷ[\C{0ަ1- ox1D 5XkM) wV_Ag?K°Ai[~[*wNFS܌﹆f^ ErmϤү%c߳8R>8.#h@v1<8?6{ ZÁ&WB`_i_.v`I+W]Fk >.mٌOAu1>}ރd4ypq R`M0;l' t@omF1f ⁿ B)9U!J_ZM٩꛼̸P[%g:Ze:@ҙdbx>|Z8-ٞfgdX<ьhȷ_좦Ku9L~KޔG), @i~o-+ "Q0zoqqH/TŅoC cK(jrYiJ{b>h̼Fn}P̕v`0-gU"HĻ$ixyS$)CӸhCe / \ -ؗ֬۞B#ۓFB>L.svH,̺@E|FQC"X s:%4#l<3"#PBzs+"uuh!ca%]]f`<>ROI=G*.A71Uū"j_qcNpM|^(KmGIZOELa?#0 ! y6d{Uv&,W ӾaJ;ֺu/52>`1]=y%h5Y_̂! ~Dw#(4B3eSړݦ>?(C7ՓOLȌϳZq!ܡkh (2m舿nlLz r /-1`hᐑN0{%0+0H4s,1=j ^L2gLBy΀񎐊c8~?8H}+N 'G1b:23[,- *̀ظ(V8*PoGc`vc">6"]O!,Syqlm 0L[ 4PYdDzC_Z8ۍQ|ӗpf(P8R8F^w]E8i|@Ӭ; W0*DPJ,㒤ڧF!j^J"7׼J ѰO^-(Xl=c%T> (~P r7P3R5EīI&'wDsLדy(Wį[wwKTӰ?7Ft$gu}\bxTD>!g:fV%n|E1<&X?}E3j腩WծSa!.lξ&f9}$pt.<rnf>܇G=,d`y!{:VĩzgN zT<]fUU6#G\ye$X\Z`43[sTy Ce#N6<#sA'U(㾛7܊,$T1ÐsFk|m<{hU80|У5G0N˙6=(DR"Q:՘Vw\~ųurUy(Ql|oGICk9~bZ F&֞WSHa(o3+u#GKB {{> X.|z06>ׯn PH:c k\LFd$5s>!|TCr rF/ݐ{A:RMys^򯘋/S$XIg5!Vhb";;3vn" SJ"0YhW_JԀ {dj}I7^L55l%4b/M?䎒ٳ4S|] 2ë/QJNbܷ?~[1yq{Z+o$(ZX]4L@ ˊ97%4mH1O`O Ź:,efH(\_TF7;d;}`1Q@L8o-ͻl U{YIeen%{y.I)kpfCQDܗߡ3ƂGlPF!db U@h5 6]q6Xp agAbw c[xi6iԈՃKs5V*\,:M\9"= IW#Α%jTZ}z?3ub[*LG u l[ k3Wp-y14  '4N0ή> ]=bbA"]m~&\ \h~eCK[PD E~Z#]~& -~qq0:WG[mІWp4.SCVBQJw%#۾x"р!m*^- %9ca$X._}ee!<5h1ŠZ$q *9wp8Dſ8$EbT(;]%ҭѤ :KnD ,2us_gxGIPE ]BbSƧ^qtu҈\K\| ܳKI (XB` CORx$FcȊ\vS"z۴)׽N?}/h`ζaN?Mv':K%7?פ}+L+LuaK!c"ͻ[iYd23%V&KݠZvPAWʇd1QC[W[.fԗDNK!M`$fX_79Rv{UN:]'Ȇ[+\܏LKGOQlm TZ 8ވS;Mh}~mz'V9&Y.ŖO T ġE.9f:p0$0q.沈Ckx=˴jgm?BYŲj_[huEoWռ d? % }%&9[o{YkR4lggHsKb~dWP}R }IyÓj^b^nu&zKrt {r D=X{kz_c_ڍ}SiM"q1cg~!+X_H|4/U<@n)>h6mΊh.|Z] !MH M$gu1?+\?ltU- xHJEF^EN߭Pݱ >NS UsɁdtޡMZ!TEu /(G`u81ú&/ܦV -,"hGEE7ڋz㾤IDE]?(&mgO+N><YXSd;zDT|k"b+B(pZS%r/Jg.Iu^/Ez!ꯆ#Oo=ph-?Q.U YdO_n'zܰă|g؀š7b~Z$amL٥x{ޜLk`S:}9F׋B-(Zd*1x Ekw!騴(^Z3Z=Lk=H._˼T{h+U}R 7q ^8G (m(b0J]"mR7)EQr$S ;hUUQC_Vl.}Sn,RO!㧐A6?<:25 D7>SG{,.2D]iK Mx5G Bܛ)At*ЁF?"# WG4WIEHYg jE;iIȥ//Kq (|̻oGL>f+SZ#ڷѫ ʟbܤe@_Cr{Tr/a2H>-?Ig 0Z$0@%U5=񼿒"Ffƴ=zcs9~(|+~ 𦠜ˏF v^ =UVS 5wI/Ě0[[/;f>RX7LhY}٨ >n{Nlre=y x:vDaϻ]0R$Eq9ity+S+Vt}kg16 a= OY&< '!F+<ܧ+Zv $..NJ]V@aKzze2GmtDXEЗ/](֏Xϫ}dL vOȨ=pi#3Gϡ` 0M3a-]sZI8;7XKF2)ȡztMU%@ QʜpmչqCdWqs|{˃Y褆|ID_a(Ì{hw p3>sY0ϛFѝ<[8e.(ox{GYފTL>+k2=xIyڀ;1jPmt;P{ҭ\}56tLԭ`sS ҅뭔-{De-0S9_2y}(9tj4C[-y Z0:HWD e(:Cx,[ Kv|\@ 9dXTZ Y\ayc_B3B"O`%A pjMw]䨓6c'% :唚`6jsv;FP8%fJ3Y! hld|}\'$ƒi8]E̾uy!Ѿ~,QwFOB  31}۴y[y&tE`C@5rψKjqgjL?=-7S_:It vVaSa̦ !K>Eb9ޗ Z5 KJpjn@trYf| OTcmšujB,Dڽרfm:-W=n"H@yPBYc(>fVjiSļv!NGb.c4)Wz++@!Aj(G%àSfxj4i]U5>l*8Xwt]dwA<]#M3<e5Q%;',DmS15F.wSDHwmVb l:ylj g;ʽor'l'W4r~W:bjf9EfZ,E@weoۢߨjy@f9(wѝ0툢>)(7]uZc4RESt[AMT!I`z_5)/$DcPdd! r-lei_ w>*O]٬-z1&$㷓B% N&+, Th?"ug Lq !H~hg B0Su6}9?uՖQ7VWETwڵsOc;3nnGu/hP[^=4Muq6 M,UBgvl>0f)9I͊g*P;v>̀fOȭ W}8whQM>u+7gtPct溮g}OM8lp+[|:.S }aƳp:ݣuQV}U:DNX G- rsLYpyx&\Z;YO7cc Y8F U%}.93GY*Mbw_tU ,E3e b˿4xߊsp?F/o6In_j5u|k˱N9\75 ՟Z Se5_/^uc3 V؞\Z*h2|a -uP Nirya$5WSgH/NUիYO_GWQMhZ#h w4+ᒒC@3X2rg^& @|stsEşH1}*igQ]>M,%KtﲛaGA.4С9-gT)7Pwz3,=ӎw\7QNLdب?܎gyu`$wPc'(ǜ<1Z]04^+94Qe"$MsږiDgh:PҮ\TC Psd܆GUȋ`:&dű3Ch_\}8"1b~EJGm gn#-|/^{R >}柯\ґ"vJK1> .Nln`h-$F)*TqC1+^έvf?36MֺaEa5u׼N26(<[زwQ w. vGJs) µ<ΙFͲo\N^KhGd6D00e$er*Nzn[u n}&])ϱ3+4掉``aB):8 Q^zDH1 \ۃw{Bh͸˪\^*ǹ\R g$}l׽ZR+cxKq_5 N TNd-H.v@;9F̴;l(cM>?+\-szc!Up8򐶐 'C5@P։N+: ɵP'L<] F0dQK>bCu>B@sұ)-zm_ͨ9=[4ess&hQsO qKhӲۣGJ$Y s z6;iRtvɟt KxhZ<½( Pf@t}#wXIS HթWvzj䪡e{ջ "-΄+Jn׸eiY%bSM3KN:3ZHE+ШJϖ W{-R&aruXqnp7[l4.2GFMxVBMYXAOXn8\wӡ7F2u_AD~gkv;5,j  huYZæVEƎOΕ #x3X:hhSm\ !- qqPbHMƭ|̃،i`Hѩqhh8p`eV%@XSW.5:I ORyuɄuFVQUQ#0% W^ c;3Gd8[Uyº@Nh*ipD5*b]>VKø<ڻfBw~\B MULO_[ߋf%V  Wc;-ҁH;b5z_kKKrnO1lEyH97̟$xШXI\z:Qs$Ob70<+-IHuؚHQn.}?[9>*CiwPkH N 0a~K /k33zJ`D[B~n}#!H'|8!@ &K\FJ4zXViHwyh73ڸm2,gX$x%ͮs`lI@[yr:\jmqOJY0?/A;y ۅ\7G;wZ s}5p|t$5-HmnuF>):☿.ގmrzZ#bVR`4grCĜ#t4X٥ ܧq/mt|WA,k@6Eq`h(bLd++c&Ї:>n4C];mTa4 &` l3)5,J=5U#^NXO!o+| iO[0umcZhsl.6al{ΰL;]qR_qTcyOr@x3<ÄJɼ"ǁºV(anĬWxinA}{>ˉnT-N@LfN~Ed$G;];ɫ T &0ь燵?3(zPw$}3e*^ې_) w܊"ԝRx+X| E]PEfl {@cpْ@Lwm[ogԮ+mIQz^o ]:џۈmc!'4_=2e@3> QW6ߢb2jz=(JF~XW*E7z;uVVRlܪ^=$Hd9h^f>0]*Q%U/rJab$L eRoƖ&@"[3Gqf; lbcdA"f 3C탤, 1~ ]h%Tr->}p]}2X<xd䄅s%Lm;:QxGhЕk@W."+VG[6]GcAᾳDON}?tSŦ<gp?>;+Nm&ΕQ+R0WHsjMFYUP=pû|' SS^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id5381W' |HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g w]Άxʆ5.f-9 rq=c e+|D-rbe,]# fv5{33<) R+<7K iT%q=-je@f5,Im[}D)YL5]@2VfTɉNlŌ/*ai6rB_8Kfmn2u;8}E.$33y{z|>+c}ʼA[rC"Qki氰u8BvBwf8nhmO۰fS"@|Dieq 7⨩~O!ܛ\S%6f-r&&02"t0b$&U ֝Hj6 %{S.,cJ!b.A xo~`f_?9asYD>@Xk*`d%3$KYQXb`4{Zc8zt{vMk/8ٸ$u U'M>0k].Vi.djC_']AryTAIK g+yawVYvw$ick#bWͱb)kC@ A Q; \5Ư|EJ3YOFzbvJä-lt䉐MI@b}PMմIgL; zmH1Y$XzT9PcrǫuHH^TvcPēZE0.r,IT7rp·*˵?l~ǐs\CUJhfpb" &1uy/]08|Y⻣K~WT f;TLۗf'dNDk0;i]U?"tA&SpNJk˞{ /`یk(<דZjc \9Ţ E{0u̳_&Or3~PH"reQglJ\0.׾F͎bךװUv~b1Qo`F0_răMk`U6\E*]F0e `<8aqߪ sp@[wٓ%*[=$ip$ϪUߴn_EST؈̾G&bQO>"Tο#@Ʌl (iSv'ma*`)/PJµŁ}Ѭs5P =#F$%y)dSf!dm_Og$s)OJTKRn+Z<$I#gՒB:tm}ZqH& VdpQ]3c N4Us_ֻt T֖Q@؋q_Y/40 }9jZaӷ 8g0BJ tץYO[Ml!Wq?}4 c)W=,<%=nj{:f(rDo… Ɵcճ*䋂W=Q'dUaMśm{.q,Z4Ca|)?:2$ tO#%YmqD]Qe,z5fhC]菌&>Y|k['ݻkQ/_}7N:ݭ$\U>h塾cWFe}mssZ y'ާީ96 凉nch0t:]~:E:MCLxUwlxݟ^@e: 甗J"-dq6!pDz1~"Y~k8`=\SmڭoK'\(H .y"iϚ0W.~v䖲F)>s W| DBcȋ`aqxL뱹„>uGG\%KlN5X# yƭP[#[ |i}U4WPUW303@?¸$uqu"ȤV8 DVzgĘMK-x bojUDC87@" |̮EJRD#X'^njw~0 Лp<%*Wri 5syښKk?<e֠{ռ6=P}󊣧`52ǮJH ^Ihocn1DzEZ$ϺO3C|ƒ{Mƿj (x][.Hܑ0 ~k+ i١8R<Ў>y޽ +(FBkIj4-TfH.sS-H"hu(OqR/ڰ Dvw^Јea :gOȕpCAqW6n;<9HU u^6v 0*ѭ(ɯӉ#>O1]+PPV_=KIW0!Fi+J rir2"ۡQՄONKJf(kU|D$bl!H^?*#ukG.#*Ad1ʻm]mH,Z5sdVm\8f&Gx[T"h,^xonxk,IJx"*BIȵ4 -̈́vo5}5,aШabcnOQ725a7M+9Q$A0TaM t#,oE9pK?XV7nο( XS>Kf]|)İly=P].$&?ϰ@PBЖM4+8[7 ^[ح]=yu$=y{$xNmf9k=FF?aѴL 5~PAr3: oEZN>ji,@筷?X+421.}*O(멆3%:iÆBXg;GI:V+v]L:?k-ESd5"+X9f(ϖq _b%/od052"i:AJNȟkNQ8{Ӹzڮ .gU tgŜjlD$"\ <j`r Hӵ 5 oKo%QEe ݚ42> χ֥i} SMI;v2Ƅ S\CF2lbǝL˱5EnrOfY7aԊ-zʕc1x8vw]n;iz˻oYc`d~\ɈB^$H[b3܊S{l.\IE`lt_fD!+Kg5ޮ%t;zb%&e-m=i*wTVb;ȥbn?&t%HG?W U]' HJ7G .Zryzh(CCQ=uB(Xi,*mjIPh-^'$asF -5?DJ?ߏl}CS;T܁"Dhҿ;#n؆g T w܁ko %׻r}{'46OWކщkF-c'O 2V}*oA~m◮Յ郲`{/d #'.뭗y;rLEi䲎ҩCdO. [RÚV/ %/Rl4K1jf#a-^`6H heJ~| P:Ք~-53LEڹ1 񙀬s*|8q^ F7fa+W\>@H5?O_Zަ*QJOUNW lxlk`P3z f;XVͪ''j?pv,>itn8nrM^ŒgD?T_]!7vf=,;6ʠEJ(]+ :ٹ _<-!_g>гR)WuM^b)){VeWhg "D "x9J*p=g2 -O9jnBvϛ<jR} XX@pЬZ ә`K.=遽fdo=>0;8MMo;\2v}C& iE'3/{k DD FE+0e^(ew!e]m0I%q1; ~gq*bQ|+cJjQ81YE%VNa{J;cynW`y]P-az\js If?xs%~KC4K䒥Ino `@v4aNp;h!"FlLMˎEId&xfw_Q6KpKܷWߤ.Yd`]}𑺃?D}rǘAX%>ĠAkNƊmFm+W >wgFӲpG9#֕Ri֋Fbx<ę=Y}q;bY$5|cg:ܫu0֦a= =J`KO*vomn<`WMM1G6(Y-w n )&ͫ` 8r^Yk/TTqW t.w:jG 'M L\SɋℚT ٱO `fžԚCvfv b,sAvMRX;O3su1~p|ʞMj]Gl={yDz;,uy$XepbBYL'X8'L"Rs}ec2tWyFA$ay)/"#$&`^" ROf-waj~򐻝N5,Y ZbϽgz0#^gL o1ԕԫ7Ӣ߱Ox-')S^TYl;P'gCmZ FyvJZFX# Ҫvcw]2Ӿ· %psȶp7a:1o|/Pn dٓ] kBH_cC=`yBtMǽeى\ڿ XQ5ʥzCPP:L9ESS=-^Qgjnoc}~g,UҦE8֙CD @p3a\LU7$A%F"?;#ې.FYi_5宊;Hq19By}NX/z"x숃TBzT0|BOJIQƷ!-k=V}޳]s9p#+ʕ/S%ё>lhN\J%7Iĭ X'_8/O̴73M7EvIr2dD$ [^+~tdRj1B َR#UChZ ilf㰃hΆ wL߄k.'A.Fϩ]ǣ{2w+~f@Zc}YO)Y׶7=U2_" X y+uXCqAL9yގs7Xn,;shKvc/lYv<Ā)PCE.S8H_̇EwwNżDK65lJ(]I;vH[jXb"oq`uxwB-Nc _ɜ]!X]AgH$'Oo")Y5\WL:$d96 >XъS! Ht'7Q%FeEҊd9{|!0`\ MEZ"օaDu't?sؐV=`Y.Pa(|G$V`6$) ˥7'B.V <#ڌ{NU-1e .}A|AG{~B9KZWsWpx[)cF##͆aVYLo` iOUԟK$-ydѨXGߵUž7L`Z 6PEPgGkm!z΍3 U½{fUt9oejLFKNXb`ē./eccÛ֯N!Rz""(+gR\;1、&g%. ]JaRĶn+pZ2p[ dP>ww q_"pzxكCIȼ7]K Aޑ;m'@VPY9Y3|& S]ϿKX2VXUh/HXx-QWXS };~xe};s^W/5ϑ ,Qh /?ކal"L}}#Q n' AOZD=.!ou"l׮+:C܏5 \6uJÕ?@(JiLG$&'T׊h+} 8^I>؁eFWJH#Wί8aK.ÑF|* `sak,q-CN;h>E鍐0m |Ȅ@~*Kb&nEF (0]gH?ξ:Ei%GST<&8'jqE5.: J#J=BuO`YDx@kZ3Ҋ]0]}Ǩ6zz/TKiN K9 4HUeNxAs1CL fj"7$ p2 [[g$wHGh{c6H5;xǻԌ7 [E3$f'z)Qw!pRUI+Ճ6%+wsj0,QJH"|79M{=I!͇ܞyn# }0]}k6f{hC\L+t^DXCiYyJg~x_S=h{_C*Pcےb"/){=iׄ\s Wth;.U:]R Y?NHI?NdK (7BJT}/вA{B1$ɷ$kRꐄy9l9 FN.Mo/sm,J16].4R"( )1`gDT[Rũc`oky/iM($z?HL d5`hnRK{+4W?OF{We>}mxg禧XZftTxS g"^` ňJe^|n4Azϡ%WO0("'yvYLz YM8g0? Cy7>@ 6g){kBec.ߦ@t]M5 {~iVfa:-0BS{UD=zۜl$)q d* AJ5RAwo铣/7뻴$w][~8/e(;qCŕadR"^|ģNc2d^4qTm"nC0?Po'r-x߾Vr㙝1GtD[SI)=c"*԰6:-wt%Pɗ75xS1HV3j*n30і Xtri *v SMW386#mg(+oi f@µJ&ԊBfA%` GC@E|nO&J#"ѹS˪roH0H_2@^/+/KPo7ꆯk<.P,p9Q-EVo@X_*e|W) ''ΨL6$,3{ R /ǖ`?1ԘމjxTOjaX6l:.IjRKwn+SSdu7'!g$CmMl@d yֵ*XB @aͯ+kuU$3 MSxYϟO^fc%R>35[t&㫳 iezrϐ&^c&< CbH M$/d^yEQ!w^sx~Ƌөԑ"X>)n$MňYb}Jj.缷X%^w_tcI2]K=3ӾA9Lq֑zߏ":Wѽ _3 ~k )C|<!/qvH0!v@/M{ &ҁJ0s8{MM8 B/5yt0gX1B漖 4nRymR8tq}p S?cȎM$سrvv`|~3$=aguAzXMItlZ(J;Mz)i͆f˟X9T*) ޞo35[d tifH;sX`hk:2F'0I=Zp>{ 'ZCG[{n.&׊zB&+8J]pJF#K8 \7XÏ"~.QdžlVS~glà^iXL e 9 u6b쩛;CO PavKuS|^?,*=SX(4-ڳҞϟ:g^j&#q∸%8M/ްDz8.}aNe~uGf*Z j-ȗ֤_M}Dx ,0VJF}U)&J7muHqec r%@'UJIoKi4@JW{ށU5 ŌPzL`yinIFzƘөW̳h˛_EkwQ]YvӘh=6?7>/T J>72`5߰7 oy:1,\:EJ $6r|uI?؝(3V_2)z&$.J(rX@Sq~_2| vfs8y݅rK?,f[!:nL٨ 0di/7F^*ɥf6ɝZ FMע<*nfi-)CߩN}id__Oq_|u}+Ko}+"AxҝCAoa1Uy"'bGʐݥ9Ψ(}q^LdN+wSGh-]UbXuKqX<|Wҁ6`G )7~341PݲeanHG%P< 3B a ۰ϳgB6XMIR D;^bDC3-Tc֡+ H7͂V* !JA@TlpzBD*ʪ2"n~:ZgM^1@í4_ohix0qW^P9Xhe+neW9QPҺڦ1ςFKfNRZRKBVBϯ3"{hdz{grW0VK%dFNxđU.޼@UJNk P^[w+I/ĩcBIIr4dsVЎ07DI(<* wYe43S'ޜ|o*x,.GẈDdDzdD<.;h[F7 O\[kDgd&Y5-3D0dbPN;,LQJn(m[j$UXObܪjДtVXK`ʎ[0B[Ge ~٬EP1| / 3*:KWnPgKfjgٍ}0k+ a.i7ю^blL~\m(ku}:X =H1wmVvi '"@Nxc*%$f&./=X/z?aZN[I`}?R=>ߒҏbP7bD-<_*CDKCKphpcՕpmV6m;MH*Hɚ#cJB*_hL+ m#vcڴap&8TX zNIѡi<^mX."NlҊ;SKR'Mf$Y*EAgP`'c㱱wwo#IÍu"ԏ<` Lh%LOYUh`ґ[Ϟ*34>RmU񜂼E_^rj8BtݤC#A5xق#3H> )b*_,Mh8g\I_Z8U "xHK*lo~ :d)9{QG9l_˗E`vrf0,8p|z`jĔI&C^$n^ -v5;Ivw5Z PȕT]3eqM~Wԓ1]KDO^J"Q}Ф2ص|XsXAfUνpԗ5GXd[mֻ-nnc2L,GcDGF|iɸ3s(<Ʈ7Vz=,W0+:b#E9H''jS0)dP3^rrx"r`hq^o僄Vw_Ĉƀj"{c"в =pw2\%bw|?xy/ω'p9TQ  FU0uhH+^řirM XpolQ̰ n ,LPc+8NTp۟Laa ŀ,e C5/h%̏e0Yjlʑ0%6<{]ݘJ:#>sQw~ 2#aE.n +|[xU_Uϵ3ZX!liN!tD,oET!*U q &i[p2%,H" R?Oq=Y t9@n(fwÛVa#T FS#%#rScRmcgMW9+4Wd!X}ډ7EmPvXdr;MNULZ_C]E{Z57Ɍ)bU&2@Zvuht'" &֠ۍYsr%ҙ3-/vVX+ڹ~_ ؾ.G u ޯW<Шk29ulDcZdEl˪}qBF_&._i'cM߆aI>-& Xp~M5gѧiSxd1vIQ;~ ZMzKx/@Y8 Untj<yWjK͙}fB_YyF-$LobI;tHعϏŚD=dWGDCTuP7{ Mx,Ј:fgVeM{Q6S+P"X,rFUۙc+B*e@ȴ|\tlɕ(^Z>fQdl`ASxޥ}3QP$m `{0b3`ߡ" ]dnNz-=ݬH滃GEzO@uD4,g&);)~X"065-s{ٳgkeI)!2{I?Ij=i׽29Ңnb}U\/^I90ʰ:;5ΘZ+gWPG{OM%@?Y9q=hpR k3ӭRG.1L)bxZ,ඵVC6Zo w-59)?A jt;ja]4gDikm rud)uB31wE1SEf+ KCtlzR9r񓒇UKk;w\B͋ !YfGR" -㗡q#eIB @ܘ5y9#qF6rn4Lc]"8ui2 缄r =3^i_n̚I = ADȊ#U>!mX<^B+Frnal< \:ʙ9,o)>oȂh٧kd&@t}.@K7@8$߾=2GoH#AۍG7DU4{u1륳[^݊C^kIMLּWlf3s0-Rt2sn t6r&'V&БCݪ|,w)0*x9KYB]L]MOpU0Ƃ6-a5iIזf[(hɳC[t\Xiȑ{rI1?O_ƣOR9^@n<\|e~O(Cj&ffXÖHO+o4 )2 HMl~㩜Cy{xr< 63 %*m?IhPe ~#)chvI &),rJ'lX"C$2ԵZ8iљYzPI*Kzl)Ɩohcb #Ȓ _)k>!Nϓ j. Oww3x"reuxxwJ%H+@- ~ w=4ˮ!d v-)y/d2#,Guοk=O@)*lfF˳Af6jE`])FkdKƁJƖcV'@Km0qbR,@5]MEpU琤N-p)[ȄxJQ/"DE,t5 &I04ٯ XOq:8jO ~=|"CM̰Ӯ|ui5m}tBP.y&eRP<$6q֜ɀC#!~kFco/-ewYŰ+nxFqIhgF#Úev.+2~ k!se{ Wl~~ q%LޓƭjA204KIg~=N _XD4ZҠc7,kkߦwf)ʫߣ!X\f? eLzOquFWL-An \mn2*pp?]NżxhT-}-)/VA8CkMRS-OtŚE)pudN; 56r?R-nfg{L?b}(<gIp$;O BceRC$8m5::dN\ZTOŜ0O CK< TMɰ`*42 fN͡-tb@>Lw9%2?ЎAaNJ%1ѵeq5ݰr1јv^sYD7M.VijC!ϒ"`m^h((S$JFںәFָ[ITwI6MN:nPmbt8P2mX&-hq|yA!:{/vSqO\l-Ò*>3HK0hI4 7 "7gXxIx*]o?Ɖ _(}rU%QyMxwnZdZgJDFP?0xkuWn65ONE0[gf{u "BjnZճs1'.E2l ^^jfjH u6H63Vjڜ;u~J(oQXȚ>lޡA&?+HB{NvK Eh48@]+Nօ{InF)\"2: vȪ4bK:2A !wxP.`u&fz}3q 7mAV\?`gDž@FrN,kΐ@; HKGxN%GF-`֔ k5{ 1r4dW1[Em#F1j joƲQD\B̈`326ة?`T"Qiv dG)wa[P)œ9+j01W!ӌ,( w;96gLyMNhe}f| BFd݄c. nߟV^7tϜ5 $ ȧWpu"U)dwaW;z7oUbg wA:RIҬoYJrIL&oh95g[=fj1e m:Ssٯ}cNԓ6u~VntxЮ1 0*u%WY]#uIC(R_$xnMsȄǬՄVgH) 䰘m x3Ixpԑ/+b7.HhKZ_oQSꋝ+_1 $ K}Y oE?ൎ9#N䢼_D:"_ ` H_3dLq3D;[Ƒ}%ZVڡg (W]OsTҁ ^ueAY8O`Y!Ο8n܂%=2@ ԗ1d#Hw%IOǖ'5c֬nct/d۝cW2g]+Lvл ܋b܎H}3ehF/XY[Fu:&Ӕ)z?-;~RÆZbEoҝ@'(HDyX]Zpe?3'!0Y#y:U 8ڍJtBX[]W"-`&{a:Ze<-C}/eAK|,Tb @j[z 6gYQa+I`Fh1:QĚt(&$ף_\KSSYuaV 5+Tw9#Tw:\z8uu xKof0u;+㢞D39 :Jޘ '-o 9PQ|բrU|BKBe_3Jֿ[rxE%-yé@DM0 /(]':Ga0e=΃ 95CU*$^H Gg؎UH%t8 /12shx=?=lŚ`52LߚҢIaa s hD9 AcO-Ƣ9󲪩X箌^ڷ\`D62 G{-C܁eV Q50/)ڽ~5N$ΘЅ2cC5%H6 Ky`MQ9X^~eBłޱ~ ֎y7%Kwy֓H!>j7אDRXBv߮f ~L<;~yk'x'*#jޭKHXŅ8;AF[J`b=>1/Q;`j~$#NnMSpNxk(l+Ot$SQjXEYٴ 4_H abO.ʳ/ZNw|@>Ŗ93Hg\:/@m#VmDI> EJ;ܸ&ۻ^9;zao { :m<M)PP痉iw%{ЎCoh"u$Czq5rt\\vfW9pD+;O* 'R%Pt2 8A>q>UF.cxUcPr` !>RZcOR+捳njc<be*H3l^Kv0up R;:!n_< X0 %9yY*#7M}tAo*H! F{a+7CqN\為]>v^rA E7OA̰<^~#]~(g 5ڦ;$ hႏ˰P$uI`rt-fˑYNrIs"1hYwfl]ZocSJ,XJc1e(i"QAr `>c~ n%ZH5v1FSLwt"r1X}(XTme'QҎa` ݹ|pZZJx% G*(C#-wJZ:aIhnQS8wNX">@K"k(O"tPtSTm+|R5{ܰ{tc/8to:zG#`v"gy 0W Ra;a ΟQ.QUÓd춡 'eJK`ԭ]WQKI~F :Q] YJ%ǒ륨;t~ȡ^ti s#o7 V,l3`Ǎpt:gD@t$ yxňXm$bŴ(F ԫz薋KՃϜ[:evfI9+lDy(xAEOL`)CΟU'E%at>wA@2ZNǐ{!__ VtC%XW }l)$nQ{3'^KՏm z0 -DX "Q[~ӼEskpd.ReU9ua(3?L+71_yN=:^aKn_Z[57-o*\so8CJ )]0<&(9)V(<Pa i ꇻDVh^+ڻVsru$ocިu-|X ehK>*潣mO7`d 3 ͕GU]nA¾ ZlC{|Cd׼Gb<7V*?2=C>2vYB K J&_ L5]>C1O<3OXZ\%p_8t-'z! J">GxoڱpiF,j,MmUO\V1AK=&M%5RO1zYS ,zGca uM]*jIqAQjNzjHHKN2Uߞer:nx&u6`h,JR͵dL՚9l`?OᝋFYR-1N_P}~u^("cORO]XR2a٣C/EUI&fO!,wD RɈ*)5 1A>{Ғa# Jɠڄ22Yb/>A$Ni}2D1]T)~8vc{vn욮=t:@43+/4ra!vn\BsA~pӅ /Ch_sN{CcV.R̓VZC $pv*T}̓e#8!"=(8Y!dΕ8-$UA };J[\fҋwc!7 1id/,j9Q(SYY^FV7hӬ|VAl(s{a>nr֌Ӑ,vCoڍ8.2 >OFCH9HIËlc˹:@bBP0n=!r]Hbʠvz/.Y5MnxuSߓU/e"2qQ"?: :DAYV&TKk M`@wĀc]za+HE7͈0+IkbotM}@=Y쩠Z͒U1/rTS Dv k<3㟓疥jU%}$)RdDC^ШT߹Ϭi XAsEƭUJ9ǥWBF`f MHg)|ģ&)vIU.QM!=nNp3E"Q:KaaOλEx<⡇l҄Vt|U7"2 3N-IUZ?7F j5vJ$ =/"2l<y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn k+z =ALoIQƟpxmt@E> '[H%}JbO` b>h/6:֎=aA1YxuDPHcG[{B7KFG#N!S m3cN?>O.@SR4Q "NJ#Ur"qu &NStLx([ɽKjWM!__3cƦva`KݛÃk))Raj4hcOUЛ10++gZXCm/1?W/څ@aBf쎾B%و͏H7>y)4i݆-Ƭ' A +_Ф\7P)pJGl=*U^/Å:T΍2_k$هm^`꺴X ‹7^JN4l~cڐ8( & ;|an ߅rmn9t[+?`j ArOH:Fϓgs)>qrmpi}MZ v>T).ۍ0;\7X 3 Q~{4a2cR |:\xQ$nkv妽c,Pv(lBe6"o!Jkx˽>F@Z4`LUJ@">Me!1V_yw3ݰXg ;Lϐ%/~ SªuyNF7j0_T8ּ%yiD|X'`DͽEtR,тQB. kŕ҄ީdV#ߊz2OreV6`UX̖$2k=KjO{f=ymq :(ڟTt:l,;e܀p d-`Oy׳%) LZ % BFe2nw(a`_Ld WA~9IpmÉH ˊtS^.%2Iȧ7`6YcQY|EAej3 %tȖQ u" eGߍ3*u.UY7 ϫ7l=\7yYdhgER/`m%Ǖ\5'4V*ݗ"GGQ HwTrRU"_~bL ù (qB`}`e%=%#MFn26{+yF.n}٠ͭ6pP'&>hoq66w@a%Pf-B(ٸYاͷ9i:uS5+\jUiT}Q>ݦ[d373Z /;sksdzaIM}IWP: d@>;$OZSϘ9fm{(?q"r l&$h}[ĴAakl@h]ڣdL 0\#-6ڧ/9[u>3 ZZb1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id534w1=' |HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! x]·Iq n[:|&[zi|/]8C O7(0섒a7!jxxE;ہ=Vikg0[FwpQwmRxŨљ `=0@ :ȼ! |,PGע4tN7ٕ `vb~{8d@:LV$$ "*8P>k%5(8;iCH[M+>/Rr7pl+dWx)S#-NLs#B܃dۘ*KܼxX7m`eTҪOjm׸*w&Q0t܆U[Ti n("] 6ӺEr"~>ç*SalF)h>[zy;5]˿*f4Fj:&3l\=jM^8Vxs9~-ӲX'G G0XFGhV1-t[e~]W9SUpflkLL{m;7`}2Hv #fS|Rф0l-N1Ƕ K)Ux0/$k$_b cM^&Jೀa7 e4o`24d#Q`}^ Qmco7ja/~&:VI"#|R!ufWӦ-*A6KBx:)Nt4N i}(ma&%Keî= 9vҸ)2hz2hCSS!Dݠfdl%L/a^cM¬}|߽/Pf&fen? SEX\:Y\qu(..m Xn]֘=<+*EC^^v\F}fjVBX@&`/zJZCB`e~Cec3G:ZAR%nC[.%,4ԕVҁkPu&phV #0eFEkMU׹%Aګpc:T|N]%[Qjץ;Xo~K=o\]7|cuܳ0JW12 ̆Oa3!A7BqcUi]M=pj۸?ʹ\ Ɖ.iȐzm:KT09 pvʼnER(V}o\r'@b/ NeZZf@ ڝ#%֤2.b61|y,.Gr'9ͱsU(ȍx~ !g €Co>tL E &H*e( 孒z**-kbZT{'NCQ ӳr4+ eE0$*gkxWZ-y/cAz^a[f:cn_z3jAɾePr UJ,g&HPPX-](i3]{]ʕhe{9*vdv)Zk]7ib06^W:+~/*_^/M Rq3VKx`<F? O"i:Fku{~ p{^cZ٭'z8ʳ^"Rb-t4S&ɏeũM8Gk؎Rs)&;#~^ridt_'Tk\GБg=2}@x6n>VDoΘfM`Qz |"tm7lY_a1R8jM0d9Fh=xUz:4 KB_-n`?9fgΔslmaa^BIBAX'u4E;ud tI2~ZphʮofC*L:ʹ}% gW]QB hU9~'`lPVU˄gYZ2:q D3ך{i@ }YnAziS (Xx`@$36FǓaSVirLfs&q':3z5EO#,_qaN{~^8{l@Ę0"Iz$ {edgsSⲻ kBo+6<@u՚UI:ݳ!F68.кe;y0^|Z&?@o;5 tbQjQ? @xTV wWaq:%IF k8f/e# wHq&$fEo=mg¢ ?C}PI|u/D$g\7mf9FRvP墨V: 2g&Dr=JkJ{x.%HZY&s]"I!^5LA xLL|)6;6JcVE!d8*Vhf9o;Rdjk"d|$DC|h4[ӚP`iFs ֆtїզN߬M z;9W&4L4؀]n~]1>#~=^t쮰>Y>Ѿ3IC!)z] 5,:M6 /y\!`+%j=K-MvNYꖋEadHOۻk]4^T+&Ս>{#Xm:xѴWX1 ˤ,N5La#3McbP % 9ӤLW`$.HSvA-\Zgݏ9^ , >Qs)kjIx);Ya?I n#V6$p+q4h%qckDĐF?<ހg艦Dxk $RUD:@bZ|Y\/,>uFdCw܋n#>L|a0YU2, ى*!KM%] n0Q %vP7^^([蒒E=an ^`}S83J_%j 'zPW1rSb'o{˄UW/Uª jV,->b5M#GUr lr3MTkF-*M=fWL=p Mj9R[,XEFI[%=(SH1:j,UF1Z`GXP91R;r@^냸3?"2[Be^g֣>H_|9Gc6=dߴ%LtK Dw0ŷ8ӷu kh#'cBZ,INt\Ej7$qTmJe7%tS!*ȰD`*7uN$ G;;GES9m%d FnંS]gk0 >'eL;6.QlQYԙH5gq)ɵ(Cuo.ips<$#vtF;O[3oGiyC^AݼP?cȟ('q&mtpHE)-8ɯHWE 0q3]p!͠s aT7,T1 [bgs7sEtԐ>e,( *ĵ\/JjDO[HK6Zag}>VFq*{=m{+ q@aƸ"(o7qe^ˍD<;4xm# o7I19}T1D͹FaqE(K1Q9! 0=lM!{fD1Gn_4qvXlw[.q>LRbP )PE< QOxzߕKwIp9L[A$NuJ®|#^.ݶN ŠMYW+R2G\SJx=$ރHJXBagt~̰Mbt ha@ ͻw7~Uv*u\Q_v?tL&!Bq{uXr"?g3UZycpCj*~uS;OP1nSvRD j={l [^ut3R54/u0G !+FWM< L&?")7H0oeTη1Ln iquc_bD86 8J@8a;w7Qg{!6S=ѥfCU{ %5aU'G[ J$3 qg15ip,Qu t}\6HYmJH۹G!%Wli3&*qt7CZ5vRa[L-S*F80;ҳԺY#+M! ie9I^N^\0dj"%ɂ$F'!BDh#7i}#jk&ydOWih)(#T*A=jAQT4y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rt.J#e gA?niG(#5\Ra9bޒދ-gQr7Nn .Yezs1v T+V׶2AfR]W凑1?Zn|wB(_ 6Ē1/_h2_xk4 u_ĔRM~ʅ+]v&ԦAIe[ɛ$fPJ7ueS?.01R 6Ek^_..90댬ܚH=Ϛkk Wڌ_GeT 0^'bf,M7 XS׼No7' KںE8%#"~\{[DZ]T"~ z}?aI)3K7*>*x9ǔlOX ;ޜkFæFf}A;4()'$2tYza D4 ygz'd$Hk,--Fj B yg Wkblˌ5PtAM^d70JA b$u>Gz_Q; :m\j):<,u6huFn"P*P"%5qjSω/I_ C3.|`sv>+ErƀzQt\N*6+¯oJ]Ϡm":Z+ͮ}gԷvPZ@x9>VG&v_u.)mh\aѣiyxIFj) Ó.v8H|;i !]%oCvGؿx_ihpٵxV/}? ;~T,wӆςU=OQ_j#$  AA˗_,^# 1^3c5QSw4'>5 { Gٛ %Ր>##2+8#=kerʑ#Y>#Y!I죤ы=Fؐe4Y =yX!V\KDN̴(eAF/NcA4_Paoѭ{7a|!UUń, Dj=>j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id522)1A' \HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zºd4)#+.qapG3'N$"pBr1f_blc |'IīdX\ lPSF8'ΜGbQ|Ԕ~u~x 15g|AQIG Wt}@k)4.=X) m W""!$14ٸdTLDPmH| /|M=nJ<$s=6ɛ(NMlhBI?:a#hFwMalW19Owz\Cs,owv t a9cc?r !O1'X S+][эp@҂>=C1A# 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]mq3oN}'##Ʃfԝnlęe7y&;(7J MO31 "ǥ/*8G1Rd>d|ZU/,.%3+c/7w\9)ߎ4˾Q PLg|S2 A21Ȭ0e"E鰏2-F%{kNP,bRMeM G͇dWNq8k>;5pFE=. ެ93ŝA>үPzޢg+ūx XEziѴ쏕V zMupU*U KtۤJ&ɭWGIY_,ϔrӦ/mGi.ZmKIV83"?&5}Tq >J Q MEޚ:(RsDG;ʧ%<*WWx%UwU).َqjnhz(GW;x鄝~)fܻټ%@r E[p6&WH,c/af]R 1yݔ4A{'>i +DAY= 'P7-j*] 3l+'vJ䎢@?gl`e5k-;l|#qW&.Ça~}mzxltHѳO> >z~gC9ՉFݤI;@uWkM7|A[lU_"̝/su8BI LhnW PN5ZOۻLL g}3=?w:cRarGJj$Ѝd$7%|.u(Qa5C^Ǚc6Ӓ B%{]ـ٥]lWJmgC qZJodqչ3tj0-'o1 L4dF'?9l0:znU(Ǜes * ܻ$7N\+I{$_"wwWNw< P٥V\ig?_/ IYZw/c~t ɠwV1%R_F(.d^wD'PrgnxH&1l mny$ v[PH I106!et>!N 2zk\</g񐁶)FIv ao1fB&2#]X8)۽dRw|Չq"؊U_a[" ~#.q@{~͖q_u0b9ʇf`#^=龗Y3˚~ιr|4_ʆ.D]e9Bb0d<,8p;q#8P&'/${[% VBF^<t["rV= j֐/X’}1.B|[nNVF6;f$lBzu @} CgZ]Po%Zcgx<%zkےf-x9)>=<:q oZ!(I]#n{F8,rJ)"YOQ!~/Zr " ElƏ" #ɘ,̶w! B``H4^eqMAղSr0\9c>[vNJ,2 ey)A3AMxDmNy(jr 1\;&[F9#'rKmZ}Wl*kgL=zo?{MtdWXvˆT ٙ.@;Zqè3?S\wNc Hu.mS $Zb^7߆0ut %2Aǯ +Nͼ}xki~w4.1 \%f{v*C\ mmj AץIfqR$J)FDJYrG h#ub,gxOCVJ7;̩$G J*l,\ "&^`Pl\~.9DoS#r&5%vGX9&JEKwKy,F+-5z@]Wpr]o4A^inEo`E$I}}h-kkp"F ij|r5l~AvP! )qj꠵ǘ H҅'0Rֆ\u&3DHWdj~l%n1N oqQdk qʏ6k8Z;<\({HiH}1.>%_7[bPs"5]]/run`25yC1ƽP]J]}4U uSKFfK'ڕՃ pܙ^c}A;W!2?i-w;k#o<{kIڳtx̖P@m9w`tҺu_.1/v,!ݔ]+[ˆ+Uqm-3fCqYu[``q{$&gC;j>̶9\-n(Bj2Rp`2_a<&LƧS\8;k\ߎ]Ju֝2'žydV#ۂO}=H|pm׹՗'/!Dqf9(a"oTrX G_lJVR}k 8[6To4m4 'xE^w=hFkGN3*8v"4WhzBêlK##qzJJ0hRD1?6~(2IT{IlRx֓wn$kq}\ąD[qS$TjlӀ0.ӕQqÆA x{?1٠T"L=;֩ɔj%Nnd5_#}UkNw\ޏ=&%2^(@j$RBRa O[#*m# J4zPkEQcb5%oB; \W>؏r gu ?BpgA/%imE0X􃳿|r=?ml+5(ԊMsw!lQdd-)2ƵS@EVTpW#9 ! ^n (, \R]0}22L_Z SymPl b Oo5 ovlٯN$Yg]4_L__FLbLJ5條9Q)Wf&>w˦(kuiMlH* w==uҼ,4q׳rjP>:ʠ1m.`/Pl2K=0wo-謕bLwZgI@{tp Uo%`w/_cw,W LEñgYZ?xPgheWf1C>mopZPvm@>p싔eSCݿ@QR BGf!ȂeOh1/)ppV؍=ĀhQ55wĝ0n1Is":fB D+qtjYع"鸀xha~G)v&aa 33w:ۮ7Nјt@#XY, >1v.\Guܲ18!}[t<~kō*g8l J\`_9m]y,dp*_[PлJѺJmBTaTς%qKb~[a+)l)R[(`T;(4-<ҸTUE"80ƭ"XUe.bccD(I>[')i) 9}"8?TB#yvǯa6fLo<c1g'[e/"3)$FEB-1x`,FYrjdE.osbΟJna;s%E /LNSoʥ˘t-,:mb#= NǸb۩\abc@"3ʑ*AH?DC*!/;ϽzHdedd CC.WCe[H5$5t)?c-%Lq\5A<o   %*mucQ38L~{at5*P<.bɸ R }IUmU7n $b3M\Guy\qKj+ǩJq*[f)$-D2eofjl ^V9>/xvNwpޡ=~P4s\$?Y'/;^Xv$/A{κ:!m7{uBY -āæW=mHPqWGY IW$;ZLő]'N˚ n~ImMGl@z0lU6Z.B6bI]d^$ ۄY$kҫzQ&$ۃ:Y9bۧlʌvÌpMw$Juṃt́ىC"@r{VF?7Àb>4eA;GK%z=Y 6 ϥ9ש.2!6 6&7@4gwuܴ)̔=={Qjn}@wh?65X%!ѸI 31 *( 왴D@YY"}95H™'-ЃЉ鸵 (wʺ +.,θ;CJBj-o95 ܊ΓVi-"NJ%j@n<[ǵZiN|kǎt#h_#Hm*ӭ|YbV՟W ɝL tO{N?ro)d>WX gff XU "mXgLxrbw "tqBӚWC{[J aHsEjMDjà4F |w=r J쉷'-;z bX -!TR*EL6[s =J`)DwyrJHK)8N>v#"GDSS}|G(寀W֕*, X:61 v'D0 ro?3c]c`$}$@2x6_u1(Can9T; D{)'(й2Y'b @9P~D6 ҧj{ƒX-lf~Y%)cv#@KVH]H뿘0~jϓQJwL똃͓[T1t~"Z@VzA#´tsPT\M}kSSE676 mc< {}שּׁxx1|4%EGB-#3ȅ4q4v^F)mͶ[4\>3q/,*Tm)KutXP|gK⏰ktŕ7:.&nꃸ,`.K*qjj_酷>[DsIk3Q )+-54ҳ3X_HDbtOz0u}븞V-o3#2`UtTtf쉸`KqZDkd`09:rAC${TF-Sƨkg$+rJӗc "c]di 0KR`EOs/ϕ!P4whCClEU!!s4_e^٭4t)нṰ}98ͺ@KrM8\+2pr9$<|1{~Ee.QZKע kmtLA4_NAJ5q]@_2`C*c`Ė=!B-w>'R|l@p172%VkI\N`Ϫ}AA"F-)29j$y] LDm'qN"Lay~`W,S6N(T"ae! o  >g#E7"ba.ԡڶDhu_߁qF~操4!z1N_c nڃX.sLt>[rm<:t5y6ze1ih;y#b-O.cFX?"ZbPsBC"?^Gh5~N;v_@1ǛhWn+suQY?&C-{L `_\LEھه1vG[rыu$oCe#˃bws ͔%#X/<ՓI=zt A{Y 5٫{7Mj1O,(T!g?pP^~ 2܁ouܻI<5D%󅏡4qd|3'GI5aڭB}a6U ؓ ')Tx9B=ϱ589<wX "Y|:GA7B ~(#@DᵦMM[A'"Pۄ:i5 |T7Yܞ؋zZd U؋h#Mv3CEqbc-Ab8Fm=$>+* =J+|b{NBTC r{EȜA8Cg e@-ks0]̟hZ# jϷ]7!d%ti+໸>ٮ+f: ,$Q\N*,`R|DY*1֓"Rvj ŃkRœ)B̳8 Ʃӹf|c!Ɗf5[z^!AW@(yGlNX0I۴>DZ&{a:I(yr!bqGSc- 1ְ ΐ$n3$TMDC]7 Ӻ,*tmAYD=i<0&Ѓqcba4ГOǯ@ixL tZҭMk4:$-5 k ALgE0Baot%Z48q30vy4&'ĮJjO5vFU}1C5~˃V9@Ub>,I~V':7_0o2ȍo[(^X@-q ]g)Ru)&^*,%rmZ'QMe Z a8n[E!+XJ&78*QS@f؎[2i!E(%hT>~;E!/8g2w²y aA1 QFIAwՉ\QJ,pe ț22cFE0V;IzLn͑&ömzezY͐ wǏGPvW.>T451۝pL>ivGO{XeG(":aGF{ hէ49e&|;zM%Vr8H_wS [VQ pr4ܾ_0$IV@MLUgn_~1*no@ L]{)`uKʱiNBFQ71*NڌwIbIxV3 SGvF]H6"ms[4 v%\K<8/j?p D;q¬D+Q6 =G˄[ >>57-JUe\V ̿y j;qٗ/J f /p$ƙO晷VwoA7TFyA#$J]6z?*&Ć1*Wɿ^@|ofU} #aTmA v~m߼(F2 2Z A見KA|Ć r[R/ؿ42WJD`"~3{}.x}0I ;\hؓ|Hw[^,XtćȅGᥡlgO/6Ԓ=SVe;ZV۹}#'Ƹd'ƴQ"{ࢭj_b=#l/kJ@yǨi Z"g9D/1d~- ;!!caA%'I[gBZS| lha'WoY ǒؒDuZfY64rר&c"޾i c}me'W^xF ~<.Ջ뤃 |ϱEgu7fНپV)G_u@U쓗挄k:y/(7IsD汴ޙq.sGU[ws3нq@5 ؔeUGv}OJl)=5އK Pu{|IM!n7(؋Đ5+ ^,7.mR.kAS{lNACȈY"f·+\iJZLuYJd#'"PUiӤ$B@ Uӊ3q?O)\&OTȾﵰR+9}Ҧjx̾(I$ҖO?YfĢv ۄ"ޏ>Y4ƀ>K Q)OaZ2@qŸ?^ ^{0dxb:6U I!v$5+? %έc6I@ZzL )8)uS0 BNdhkr] ̳߽Lu߮¬@I0y9L]Wv,5wM yp]Rh3CmQ\o9({ Pu7WUS@zx.9K#߃4)VKl@tlJFl"xa5G]f8D|_G8 6CAp(Ev U+c'aH>-HJ.O8nުġx>a/Ti9_~W ۚwCmY1\Pt06=캴I%ec3{(Msx7dC{I3NpSؽ[Wu+X䣆H2b]1 Cq P*m]Xiua;fK|)ur΃EwN_% 5/յt 9B|^ҿKi*gYZ   q2n%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1;' π: 8Sȡ'@.j`I`h=:}!~Scp"by!A:Zq",,(g ^>F)Ԙ1B};U\k$03Gdw]Aӳ\;rO")Hh­>@;2"sYt %OSiFV64ucͧМS ❊#RE/nW`e6jD=gYZI" 1;# $HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-az=7'3cmMh!.`VʌZ .`%p6t Az "n!:CE#&dS,|)첚F4۸{>WS* ~Ʊ%W.G$ P BH W&he0EGuK+)|u%Zdثh֙+k::sUV{T=ps8?.'~rH{;:ҫInP W["AmK@hq w>X`1 $cGZ'mq+wׯ"$.NZ7U^F sXzopJS]4~RNO7i0_ֺ.!ۚΦ6{E.غU67o EeYחgLmo?qa'{y+xɚc`B(y܁+X8>2ͪhšKq|*(uiWbPߓK:<F~*hO9ˮ Lѕԭ|c֩g,~fd~L_e@qGb;j|h/m(ʍHoَdvKk1ܺoj-o~Wt_ExkbsfrO묵 ϟ +r;rL|i4pQW~OǴ)A DF_O;2,12֪b?4xH ǥלuK c-ze7FAYH98$kA\!1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC 1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526i1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (b]D?7 {?:fH\yeʂqHm b3ͿTB8[Ҳ8jȡj5pBfs kAF>Z6{]mx]-Ov7Zc9nƍj?Xis$Y_lI{o:+4h-p zΎw:CjtΫm(w3 e?r%e_{j_ӡ"U?*RZ\ Ϝ?8 zѣsRJ㷱P<'kb$;?9NrE7y>Ym3 *8e&3 X;E!y smVku@xq@_:|EJCcVU޶ͬ]mCӝy>AaB})*TۢztePmNl/BD|KGq0(h8%gHJVFfҰnn)mH;`;-aEziwhv&F(^80&}^||.A-՛U' k4Pa^ ]ĸFޭ1!.-DP4L|w$9%zP܀ zYw]šX̬]o^'H!|zaKEn g4 &gۤO_-F6>ꂀ@E[$.X -iQ gYZBfi^y*~ڌ T2sKRƲ6?5|!ґPgZ4ފs?!GbOڣ`W"O1#GP14ԯ+5ӅhZņKl˃b3R>`0{Pdx NicFIFfT .Say$B2{/A:z>H9pF^syG3q=o~3Ł(-=ܕg[mFԂ0U,m,{`<4`ɗ՛gAa5$3. >o~l)M{+Dh 5ApZ6Kbw2v^j>$TMɀn!Tyj"9;KhF>Щ<iJN@a)W3!57:d:.R1>}3) !n.*{,߸_{I.G>|g"gdke5ؼ"A |FSMض7 IvPD7aB'3_30Sb@Vk,s曗=u`;$܎D0޹xjOWP)ƃv"w @< H g hJEl 7#6H T5ic:$+/e6 -%v #h⿒ӕNhi WY3ea7&π?1ЅIEE1kC$!˼fc=/hP㡼!Y#vpŧi\˃V4HyNWaey\_<)ȯhи:oAED r؊*ƬaTZǬ+6j?OZ[<2 51O?r .)':>ELfeuzKq4b^ X|XKX2[͵<4eũPknXE7I7  ?_UE0fUo#Zv7EGi\!X w@7cC~~BbAnZΘZG50ܗ{RG O1Bܻlz9f^$5:S848g*&ǧc|  VoKθwjmb}Ԧ|]lN9ghl*ƘPH'OjzY&(spe-T 7"z5!,QZo /cMkѣYÃyWJ9qa1MF؅LZ:hn΂u /Vd.9anFA0㖾2VW쎈`U0^5zqNVKQoNI뛾Q`$_+LB ŁoKK6t C\թ[r(9KB l6$juÒ1.Zl8Hw/vƼ[ЌP (it|C64Auh6ݤ1ˑ>DWtԡljk3י5@oT`P3?n8_R٤SvH/D& O&D ÎG}sq σʾ/_vVUї7^W&+T}qy^NjG!m~P1ⷼ| A}z@G4=D4pEPp/zpW`E/%4AȔ\8Xγd:=/!&:%d43C1}\FuݎqƯ/d0t*Bz|@I_d8tUht" xyz rJSb bחO /8m-h$55<CnA:!v"L=$Qp\ECz$r]G_qfȸ^Ϧí/Oԧ0\ab:TP nʼ"GZTN[ ~,K:4{ؔ~Ẃ#B`z~k ;ɟ-'U4VrD}硧2Ԓ)T_鋧#\%>,>+M KfՉ~-#~ToRdO }_1| 2QuldZp31T  05`EÇE;YH;"wRC婂u:(%b=^%d lF麆PηŒ2#%0ӚJ2b8d#"ujaD}o}=7RנȝТ~J|P-'!<3HRfwhzb@y|V<5D][uKE+фAR[uO AQEhXY2G[/X\ZvQXb4Y=},abZan!"F|SgZPD,=l.ywK{xx/yb<毚-Xiu$%~ΎCgkxiUmYl#)85eGl۶aKQ0|匸,b$Yڙwii[O"홷qf.'ul[|;ia6e&k.$+j 4UFxϗW `]mt-$ PV<㖘c "Xo잮# W,{,%)K37P\L˲&eҞOT2Q_%4v^`V,۱՛ C'@- A­D-Ȳ:wi ^לC'|֟hc pӆ)ayU +AI*6 :%k2HR|WWmdUi&q"̽+6޵Yf GV/r*p2^魛߸h=7 i4Z4hy$& I 4Tv#rGƒq6U~:Po$?d_iTO %=K,TWa_fqT- Qi؏c.DGfi;>RF?Rba8ѵa5"3G%VCD:Ǭ"+.:$5QJ:@2s_L$R殂J3YQ SF\ ?H^L謔X]`]MF$Dq )S # j mV\<go&H& C9da!cl&B}S'&ZBѦszW8MAtB2CCŔTgirqr!$qCZ.H_Fʽԃ'S7GTU&'U0IsIٟ^o$̑wZڗ.jG:w!-d߆ q(ܓ6,"ƍt?t'~4ˏ6n-[, Hd *71h.إ 'F҆x ғg{9$g;>SFge|I7 k޻{Dᳮa 4ĺ2-Qͮ"h5n MY _#?~|Hvś!wD6ƥ+O{lP#phR/Fp8|,T.20e$0zH6ꚻ8!~oLu++REڇFPUiɉ3h;ݶfOz, ?Hڂ!Zx)5dI[03WKtM‘!\|[t_^?GѺGUJkeS |ddp.լ糭8@]ɯ@"9dg32,{,] z.,48)[B,:I_aR 6$7rV-*zw]ܲVxدY/2'A %X`ll"x‚w.߱]W K}3o[eGR*Օi>0#;cD)h:z~Mgȑ$ mk#f5D.d{~2]})pX^.H_"dAG)x:gSrpo(ą~"E HqGmlb4'[rք{A&5alFC\;a{SdJ x:.}/zR;0>qF3Jϕ?4ޑbS/?ݶ޹F~hҁQcǍh'.AT geCVcf- ݐڝ`(x۩Ž`ήrԘ1_$#i?872u4 pe^4OKx2M[$QE  LY8?&Hw?:94Q4FMf.Z xبc^j1,oђR4k99uYu7z4\MWI~8ҌA2Sih/G2~'Urw0(ϔЩ(^zrD_XWG K|}"U*DfUtJ;@Fr<,#09ܛյʹp}ִ<hh -Tk;4kp.ZnXEHuIՋӣ/ ?4XgqkD )3<)ݔ&(])AV ׂpy@QImvG׺ EZo֣ BَZ<Y?Q؝ biY bPܐoC %K;2~Dۀg52ϪE]Lr{\Q:Ȕ ͸<} b`N])clKvIfLxR3`wmf/.SV+S1D+;Ojk7O ;Nz=6$v^*p0\UwIRP#ΦB[[rC emJƔ# KjP$ti9X|m0' !U.RaOx8F8L U<IUd4 ~mV+"W5?Q5)ԏ%y-' ,heZa]͜i0T,3}_Wb!. 4/Mn+ȦE~4Rӻ(' 8*|/5UeioށqelU[3ߗڪK@CB1'ӟWm6gOM^,By-n٪=<)SF FNf򮑔6o)W6Iײz';([c#*|&ouFFIxQ̎Y9E8v =kbbKͫ,}9_m7/қHraPySb@$?fslkCe Xn܄:bK'9]k xQ*^ f^wv4"PicXT:֙RDөRz$ qb{x)H-p6;JC3ц+b,0lUGaɩ,e!z{2RDO}OX5\_Z  <[T%f~?9vR*]􎛝us1<$yQ&- Uਐ^{t d4ؚTV PGi #/sc%"U I:v ~;<{X_QUYEqE!y?_[Cx t&ZvغαH׀@bF&RhfD5dq' uciV(*(ۡOD0<n ⠆ozG4+j0()cޏ22A榭 N$Q[BgV~HTŊLq?#sѥo Cr1kA *<Bko `SewO{S*q!Va~oct#& ԕ΁EhZrfkE~B7f+!D,1iEP 4A;ʨv-!cS3`$jF&NةᐠĀ.&Ffhqv:_@{V[Ⱥ#g3/o6'gWau+P0KoHc6|yN*֑]k@UнKWlF>BDgYxꦱ)^(@ 0;r[FBmz\ek6 ڮNpYC#+ꐩS2QBf9 vv(ˬɟ =Z'8lRLD>uoև[* j|ԥZRw\C}wL}ҡ Hd;QS)zIw&1bP ES ͜L==ZP ,7%3qgat~w?HkF^/k΄ ;ljlU k(@1m^]4=ښ HUhmUM;K)z3EnIȷq뭓1E0dž$jy^YCSXjMR̋ۄ7R/ozꀄP4!_kux=]IyPfNd.,Q7+p~Կ"+;uwjNir{eH{I/Q_(xv A2j0Uc;%N-Rw?B\ܩUUy%cl GEU?ЅJYQ^K` G0>Г!6kX"*}>/{5i| >G7hK({mT>|Yc &"X=1rֻZF;CR Ҏ8"XѾQXj q_p%dI)-Jn~h[cb8yKv=xT9R%W}p[*[k5_̌v^|}^_f[O[6?s[Yo^=y̅-kՀAIn`{K،Asqmf f T+APk]YZA(@2C,<V銄ǩ-be΋tVU˼v J"|BZasAT-_ qqMaXQJv?U vШ;H@7d).Uq˱j7mm>*m?GkcE>"J'݃5TZɼ|KC]SBRvh;9&̬\t Gx)Ctǖ/e`LԓS{SmXm3XHK"r B]Efyku>= 2dvhUWʸÃ!Ӽ.X?oZgAgbJlkZv/wꥋn~9j :1tp _Aw<KŖ{g6|rm}؊5D7d|+8@:m@6KvK¤u̴!2gܞj }6ǚ?9É:̥I BJ#_\$LolL snכ(ɿU=_tu4fث',"{'S/fa[AR ,D aZ0U1=G&0IŰ2`>AEC+''LJdN[˚dt:עlOX%&è5qP{*ҀAs` 8Srqx4(nfWe=sxl5K򷼷-yl=S'I(׺ P/ԤZS(IjFAB%:YHIcG#TvV⥌qΨt5vc+tT#ם@x~uo-Zj؊1pc=F'䕊EB̌8P^D45 )LԂĖbIA7?ezF)Ǡ)%3۱gYZ l X h l4, 1A# tHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"v\eN/xl 2sdy[!ZkyRd^ pW.bfl)[*cK#CShq]BF=2҉/Ռ(P,0i\텬41\~ gLeGL!zc>36$N%bf|i!D6F&fܽb-#`! 7Dve7 sjjAQ|0SQ*&SPr3JafJ0tTS7i4#e:/6ǭ%*]DSD +7[GL+ 4t0믥u1z{9qO)Yn^,wgBZ;fksERpׁLjPHvPkLqBm4˱r—`TE_ia!Jшg}u#;QD<bfaԼ& -A}t|+y s؛K=䐁~ D|=_C%׷tl[cNd 1ZZM!+KH1éwϴgYٻedi3F8r=yid<`]E[m!ݼ8<Tivr[zA6K牉ѿ]sڰp:a̝=_ՓV8`NEV`,|0k8 n샛<8ZxA,GKw FLJbKio7"%T{+9մKDpU5imNۊ{T9'NئR"T(%m#؍'A\Ӥ22|`m/ym4^ʸ&xE栦^F] AyɈ)ο$7ȵӘ&sו\{WlvK~eQ: iIw)\-,:{H݉޿9f}o A]S"GگzL:3Nr%Ծ{UuPgL͟6A F5z ϳn=PI@|=9i#ƕyN>hDo;CTYE]ar)kp$tn^hUkS8G5ԁQ<Iϛ?t!۳ߏlN*m.{.FIvn %8u.G .29۬0 vn*" )m2=-6qϱ۵ sN[hm*(Y07]3`hY6& !o'-{vrw3`EN4aSF#~ mE#=^Ag3?_s 67! r斷>xr6@57U\Zк<6nTc6DK]i/Ҩ'4%iH<)ŔKbJnuu7ՊYylca~\Uʈ R 1y*H6֕ieE xC*,vII?)mͥ1*g95F'f U{RCz0%p,w}#7n#bZmk=y3hހC@Gb+1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF*1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id524<) 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\/ձw5$rzHYOL{Z5n`K1k6.*͈c*wv))7 Q3,y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZyR;(B HyBhv.Mo>O$yOE؄΍'nw x 0L,5ꎾ^4 5BռQd*&0㬨46un^NUWf%pn{CFSXŃ ҿ[ SUQh$7 p0<7록ŅFx@B-盚qi{YR8 ƾ< c4itqX 4ljtu7}ުcׁWd D}y$dM  ԏQMw(]JG6տ.JUB $PW/'cőffnj̋Kr2-s ?^>$T.6^@wS5Fp#`d̞<ѤQ`_y';VҀMTKdhM_=tAR[URK{cOE9iSt_iƞ6cw:91]]I(BY6-[H1*2VǬ6>^S*4BU$YHy6d vs.g: W]'VBX0Djt>XRK.rŹ/s A7l5 W9OEx[zǂs1-w7nWa ŋ%)1`)^=p4oV}VSCWFdyY\dк=.\oϙ*3mlUS\`vsӛyF;,i%ڂ01?a#HY_=?JwobJ 7SeFM)>I_j };}!V:$O9'PA}Mz5|e̸2h䇊cBq-l d\ڸ33 oZG:PAL]e^ϰAԒSNc9kvu6&)jE7Q7=~':6AɐdN7(ES4L 5.c^W[%YkV;'8:2\~\ w/w3{7*TwJMYu ]^ LQZLS >.^0v#=Xi35~ ZA+;YdDSYZUo܊%̶m{HWpUE4!-VIBXi!fz]rJ)_۴cyFWHP>-͇3UIgkLL#E\Z.(P{)ɢ9De:ɑRG*grz ^)*k#.?:CxIƇ36䥙neUљH BAno5q sqT&]r_!UbXU[D $8l,vOX}i #BSiVOVL'(3%Ĭ6?Z}\-lXukK#N A\F9Yy,߹RI^jeNE:Vj4H#'&f#RJT^'v. @:k뎴T-Z.۶՟,G(D4[ iXt`9״H$G^L,j|MnE_NWn5F(_ :ԛy,%i'֡?8]ȸRܣ#E}gEѲJA5zĎP³Bu^SU6?ΖNhPDI16|\ S+wmC2B 3Ig4Fʿt;&͂ZO][:0)W48m>F0* =(r!mJRTD,J۶|*g\CfhnIcPXGܓKP&?LD 8S#!D $f:#nqrt&\ ȯAH)Ǽ@s@Y#^?N?ñ&D1*{qbӬdB@y jſWRN\)(_7/L;ƑF q(l C҈'S2H t 9DHY1-GQ:,h/ 3 0\2xoC4g ,媂V~\,gD#^#3˒O?ON>nj#cR7FK 򵣠r5(<]t=7}NeIfiluXncPGnų@e'aSA:,2\ 87ڀ;rLHXLXthM;bIP}qؠ^5LvI+'ɨ撶_PXc<=*`An['TJ(u_[𑋹h0OE{s7ebЀܡTJa fnF>9 HBVǕN+iN-*jg|t]{Oֱ_ڔirU!q]-GnG#QjK'[pV7BК/+.TFP)s7k$<\^`i Wqw L(  94RqOQ}e.&.m Yӂguk XUvgs&kxu֥)h>si٢ I8JxxtX) qW:s2?>`*ZCb~w]g1!EگmeΪbb 4}b22L_C F{D(}v #}lD1(BA5k=χ$8&k3q5&HV\E0% *DSn{WXt P1kHi:}!I3$V'ypVT$tx npG #q>rHCDX)`F~F-0,ѐc%ދ)wh@-XI}`~]N,c0a8A8fceɓ-xs<ɦ)0ԧ=47oɳ('޴Lt֘KG㡮?%``5?^1㝓>\H| y wRKcSNcP_L1Ш%`eYԠg(Kh~*̓ Dmm]*{E!] Q=hC7[{༁e)z99r:5)a4i) 0׫vEAm5U1K#]™ ct^W6mK0{jCs6'WWg7^' /ۗr$fܶ$ǢtP-@sݒ^lF61Wla] d2A\~54B;!O1~ەEݱ[x ūpof>=ߪ V`aEP^~x/^t˂_6c-UɆG͜ppJhn nd62n k ٖI$VMe(QVT5-<5e (66RԐR jjɛdoSmu2ȏz(-_ i+6Za~4a1Hm?Z +BwPw:6=P&cBk?6.`)sl8NRȥ•Bq`k0zPގ 8a-PPuzbuIen;*{ѝ*vds%Ƥu:U9%x9VSȏ2;XI V䜦eI0I_c-?yMџ"l~Õ(:S8i68ꪖCǀ:u;y ','hj`*Ί*T(ThQOsЩvoRqI3K0rW[480kA+ XvS%õI|u-txOyԓH)|Czc4EY3P_YYo)76 yͨ*kG?mAֆVذRc3y a3b띗F Un@#Gנ1!-~诧qot-]";[{ǂͽ5U\|(Í^Ήvg>7>p<L"zt T*q uoLduP|j7]Vi('|qN~C@ˆ&{:) kǻ!y)Uõk̩x2Xpj_G_)\}1gWi;~| ^z|zg  ~;YfKa|n258 :*g!20(98¦]z7><#>2KP "T `_ y$12醈`)[ɘPK 'W:Z?z:5L6jMYqws7vg8ۘ[(-՗wzH-F+M`S;Ԉ ,YmuFN0 0ђբЧTluF`ĬCXhhuI͘h CnpF&uH&Y]4:΀cIxƯuin 94 \B+\}I!?\OOKQ)2>~$b?%x@d(v0o='DŨe%GȴŢfjwi@FMScsU˓t Us_Yvnf"V.2+{`n m4>aQiR\ b .[!k7SQ{dtOڵByhOB5ɒ iC=W("wuV( W)r*q95/77%2$m{s ŝerɫ_:\Jo>b1bbey:vO!BqjpxHJN)֩E7s=H6%  ] lY7|U|'Pl)DǼV~!HyN[,$lhrtUe3Dx=(و81P1H /Yԥ4wB/(c2䣄\0v "Kv0 G[)HO:JU|ľ*=xbӶ 0J`ɵq719ߌ3 pBcFc5*igaF:! C^9RR(|X-3vlFKFc[|,9_ϽoG%soaGwڋh܉v8n6X".H C3>-)|M`~>#̠Iތ-+51VYw{p4Ϛ+k{DU+jq0dpJl|`iC]QZG@TZv1ս)Mk8Ci+J.<}3%NK!T>R-sI16Mi %Y^|i#Z k8]8Ң (] j( È؛B$`oV&ɗ?ʕ7B8` AOMZ'+P Dg*^}SH ̹O,qkn!)Wyl̸ /s#ZkW!m搯Φ ss=r1as`H<ԖF-CurIpwg-V #*"beBRw]EzZUcסK 7_C5/Ih*w7),"&LO]mtw|@rA}XޱgYZH6XzA9 ϟ蚦%n6ƄJҩ#y?ӣuRf}(}z1ɑw 7$ D' ]@R502y WMP'v+j?wbHs,GOByvbkz\#DD 55 h|(;NYqh3J K 58Y1kՠ>Ӧ VOIkMKFn/T* WMid:/jDfzޔ 8̿n (-3Ў']I5%܆4+GD\ 6<ϼv-fPQX;J*Z0 C \ hqۅ6f,_^`<4m Р{CTҹ '9?=X;sp |xt2~Tv(^}w[Jd׷ל{dUUiuVΑP#.]5 o^B. K@SBE, \:Re?p1l}e/_ʀǎp7qQ6^,;mJB.HetTDm& +-5ywbbxJɫ"D|q=qpZrd,؄_RB94yllhL:3ϡj*xF8J5Ŕ#yxrI.aG5MUrgrF7UxG.zK;bI)] Q&@&DXjAe𡁵a8u(*9Yo9{Ut] UoB{HVTER Is!3ރ" 33F85ŌL^EӱgcÔK̢`L ȫGp%%uJJ\hp}ImcFo1yU-/!WR#,{n:+5F޿ITݓi=wSAǾz4[_I>]zaqPT7!GObpOQ Tεm3N :4@ rK2lj5O3X-mfX)W("3cdpU*W /_'h, EQ\hi!膇߼➷db 嫚QSdDW `]v`Ǯv[[\JRȠs1og0[e}B"R7VaTFŗxCu:PlN8+}dŃE gkjut&u2J=2z DFu\GcsBW̛*X y~I KR%{L>ZTۧN P67iowv'yUSNvCۀTDʄ!δZvrI` 9SCfȦݷ.[;:$q AϸW#۰P#7XSՇ1Sbo1]TR Dв~%7옙S]a6˒][gr);O97Հn|-cű ̯~IwnD)#xSsT͓Ib~? w WցW̸U=sq6ɘ*W8zgEsxO|1i/Bv"b%x!`͗?;m1{=+Nm\!Ch޵g2* yBHLz7ՂƻoBS )?-kSVluo$)ig+~' 63U[_u}*H;Dh ΀TSVđ SfZrd Hy&^{ef6)MPq^{,wR 86ǝ=^%pk.vy9j/zx iybYa[=)J8)ďno߈=^ K8 jpq$AH팅Aђvr〧'ZJep%Om\/*#bD;JHt8+jdmV+}$$*ͺ3Ͻt }Vd)gtS(!8'-ipm,%!.|0 V2D؜c"r32Rc|:A:Y\6PAƞ>7t9L86:Pv!ylg[ QE.]7JK]Zas|HIջĿcB`~ޗF_f/=Ox}=\mP6zP[}Dl=+q7 HkI!&uOd4ڌǕfb rhRJf:`zL!˾#Rh^Ґ"̮_:wٜy>!-޴ڱѹФo# Nq]}K6\FJj@en x6ލjjUy .SN[_~hnH37난cEn*cJ'<@*O %|3l;bRkQ:N>7< "NӚ>[5 '~Hf%vդrJ'MY-99,/&xIRJ,*bVueC~{**^ޑh团|\+?8n4W;PbGʝAy;l/JBݙ^=l^!{/_~9H&8w{7VX!<6 y{VZ7yFÀL _$* g]!B B3|g/A;YGBȦBSe>yxJrQg!^i:r)]$POuM_#8ڃeC}7.(G+ >E@jT lJ( b1 " /$[#>\ ah1 KPD*5n>7[ =踐UK "{.yo>[" 8,΋KY:*_ £SkmWO@X+k.w)t9Z~gn6J)!]0RC&J?, ζutHI0U:|ޤ,_0V;y q@tMk fq[>pmOIk@U'}E@]st= ϽoA#"H1kobTH[7PB ;fԌ(/mADz(JmHC|bik[~t4kfP^w@tmXՎUޛe=dPb˖7s1l[B2=}3e٠EG}OUhݫaNqy,zT=YۡҷToKL69xI{Fdf{T&;S7VL֓WGA`Ѵ~&Dzd.\ۅˀJ7;lEܝq nj/l,P)q ZbȚ8ȎGhyٍ)Č?}$$W ӣEz"AXo[` ֎Pea\*(hmq@ lKԛw, Zc(D/+'/.pI3W],$`NWl FY"aMiaL9d qb“\f/ۮ'd9!'z9XBI]#4N(bb:қKV~ʐd/sS΀}~W+ D) -QI u87/+/4i8Ad 0=n//. ,S\Fpd#y~\(c$is݊c9 PR$QI՜ʘcw RЖX`!rFlc]׶ݣ\6E\gu[W\ՀTktoѹ򧷈ֳN G wXi FLU J e.j>Yԇ.I6EOVB,5\w-gJ~CP:,; x ҨIE zN/7&/P7pƪµ]U.A%݂>LҔN{ Yj鬉z\] jt sVJATʐullyɢ~!CߒHka fI*R\YT{D9mC1"8N+]c[oyOVNĩ K^ADuG rðc2[(cT=s$HAs_NX7yCC"Js+J8EN; @g9Y-c%ÅzI3qm7]k2ON83+8`,ogRlЄvbn~FP, /x:0P%376PRURQIО?M{Fs-+0EZ:]qу{L`;cLxC' h|㱞HF,xݷy"GC &1◰vN<%J񣴦rM$~Xi ,o;<)vpqވW>;<|*a+(y^~SGU3 Pr2(j1De雋u6YWWyVeh%$m\xy $$1$,WB:C!PtQ]:c .7 MW;%<.W+v/s// +8UHp!aeôg\$_ıY&ҿVG$*L˖j~^aSk~XKJ_*aduھ2_WŶDJ$"]]edae-/Lf/G̈́<}{.GQ%|PFVڂ1M)h*~!4f/ R9}{"Sv+IYlmD3D[56mQa~PI.`HLjn=@HM!S(̈<➿d\ھwG9pyVm}ڇz[89]1/ a|'e0 (o鮂x(eE .(;x/cVQ$HH璺HelC2ġDAݭCrg 5*ciezı1G@ªB).9ƕ{d$S =Ce(zŷaʄ4n$`tqw=?]Fva&GT1qdpɢLCzMM]x HZ_KGѦ?bulD&׵P~PwGkiH3wwux!57$K=ژMJc֍qyQ2[h"{m濡T1|k㵓U**dZAy ^ 1JsLΫUd~ N?6)F"t@ &fҴխIOi|Kr|2<\d~ewlv)c5vcVL?B#,˩ M{BHY2 fɜJ;鄽=jXy"+Oz#E sMU0~dٜsK$zJxʥgg"|DuBf$ҥUDLz)bG-=RK@#f)2ɈukE[O MMɟS~ eS>S`jմg.#Z⸁$Ϝп6J%tXI33B:@hVjh,EAO*ղ:|yqzq(kuY-RU݇mA'8T/b&[B*VX4:8hZnQp.@Օkn|=mڭ'||o6 *}i8 FHo`c .ZN9ӱ(X4umZcݳ7?';띛_( Hpc$:Av~m=YW{`xnLQS`fynF+!BCȱJȻUIeL/UZ eetCdaȔ FlN?ѵ<,F:dAÇWF>kqc(̍C.XY3V\ ʁ y̐'Ca)+ʒ3>Y]hpfVC *& \-@dNT= a;[vZН)AX= |= #@]yZ br`պdup]aι+` աC.8PW䈀Btt_*H*mTAQ>E &\.^m]c xYSPHὅOZX0, H17Pפ$񍄔59E/MOLN̼j+@\]H jϨ#Noip5Vp. 7 p& ԖRFfE4٤t $&(7"ބWз5.v)F}*̪o|!LYe`C4 ר؉Z=2ZC8Йr߿3-!zw1"G.~2(G1E3rQ{mq0.5xyڟQjTfyZ*TAs.2ϻ}޿'RlA|(Ͽg}$GTĬ=sRIpOgB%N|Kham.`AY@6]<=RX"?'#z8Ł5OߗTwd?c8xg7N<a?Z#8RtSf@~|B%gx)#8p&}v(0a3YZ=95!yy-TB̚9[-- n=3Hs~{bWd}6yٓE܏ŔDŇ ёR3m[S@՟WaMV"=i(:eD5D]G)_fbݙSt9,.g=KӸ@/Sz22*` zWm~PXS G (uA _1eTExA3tLWVBx=L#gnɘ3Hì,o1 sr! cTwFyh=~/߅WHVt]q5 B?` 7iɷ;Z|H _9& #⿻ڒWҧxQgB^y#pgjA]`Qd :  y|cSg80?T\ 3VڋrLб-2v,qy 3ɒbfj~3[ڂbnF0M*vkz_Mȏ%70;6; T (]vwԫJm9 a=ۃ{Ur˃+l P\h8^-Bzf}w9I Mjw9i){Wrd.`e 5p".*6q1:pcl~-ԝ_ߩ&Ks OhH㌛9kP=Ѣ#XYp-VS`m,"مRoZTB#ɴ`֍OEH>ya""+08*xu&s\x`}'+xikR$Hd$8\ \ a@щ6Xp,q:UDb姏D6!ܨqlF+VD0-!plh#X|8Ο99ь7B)[*h59Ki 0SdxT<79}\񨻆oR|VXsA69.hS\5 |W:' #nEROw)Ͼ\.@ّ dCqd-40ՀhIXhZnWT)$ddj-#P!LuYi$(VȰw2WhЅey $VWL J- k3_/)W - o:PROeeSVk%Vb.` % V˭^.D^=s?OvM;W8E;$͹7pi?gTxh3)8eEjg!d[lvNbuH F^@dlCA0C,8_/UiJAG{=|AF,Cr,9=<ӈ/ pΪ.(lm``zaD俤Ѡ@8{A#:ȎWGW7mWkީ="3&ff:*yvNl<ֺ?ՇE#2܃23hI\#Bz唬!njfR$3j: 1ՇZ1bZz{[0㾅+ եٖ_џ &E4ɦpo}.2?.̦__T'TXCQy*8"锭V%'WW5Lq-V1ԃ &a6ӆk-W>f+qj~8cpkJSjx3#1?Id/[ٰS7x уy"$h@EhmAZ2 9G˵[AM\7j3odw)ԏ@AӥGͳhۑ!<,'njX[BUhGۺF1?vPAUqSkаu>3sJ<Mv.(ANpWQ*!d ;5qRg̙*y]6R+s TmX] x@X8gs:* t)mX`8lG=pqE3} 'x9_䋏Nob3-ODnk2z~Jc0Մ_>"0iv?εkD*HkZ~ջ}TsE\V}`#.M?iL*C*aUw˒cѵ N7/'"}σGԪWB b6<VI  W[2_AâU:_~'sߝN%~ 4-T+aX{nS_Bd^0gڪ o$Yls~]x|HKՃ+5qcH+ߤ86B:⭵bWL%"pC 2:fL^l [P $w(T%b"y嶾}.\'ql2Al?] dͅ&jTZX/v;eI|HØS0c7`.s3yN\k0S+PK_5ċZj$b(~k㮈02zj;~?h ++J^c#5pv} wW3\po ӆ}؇X>#jP]GKI;`>RW __\7`exUVL1Vz͊iQ3u*T%PUͧPMo6-YS޺a+ub6]t7+{n}l8V=*׺(*߅cw-Zod+Bgb-9_G+mdXbwm&:aY 1j'KL-K4 bVN5*@Oz"#T0BkQY5oTam42`4ŀ +O-o%0DVN{8#/PtH:.>):IIrg̎'k:+m[?uTTjzND*P}ȋtA0; BJn $#*Rm)w " n ޺UsdF &g~ X >s<˒) ?-řO@TigN0o°&uANNt[ȯ*\)N:6Hj @1n|vt< 0R -.gO͊a{UԌy@v\svVM{7L!]h0V53{ŌT7UL8BLah)< 53h[(Ds< fJ<.)uf*%kU ;f|.@Otml!7)_^i 0g:>,E1BSDʠ7%hwMbf=F?T\;)k8qzeXorJᅀ%ѭP10#{Sn,limr'6XC{lcDXj$DEb<#;S}n5/|fqKJ+#L( ڀ"i!|N~b@ w6NR6wF xPu*,b@r3s*: ~1xt3+ t|{*u{^uB- 3!TµMiۖN:Á>s40jR4@a/8E;ڪ~nwPhB0hE`ͭt{ZwqCxPo6C:p;*L o,h0!tW\E溩 e<~-"W0i /qTX?$)ы]q/=]\z7Zv_][ yX'=+̴mJ{ne-8쎕 8G5 Vd@=ݯUAHWlhܰ}?@&[9;*'dT|_ݸ`Зٵ"/TDbp.>Ml2N}/NNwlfIrRuK"<"?sF7U!*o0N\u_дjŲp@\+Ih峃ɀ Hm,ee**\DBry}aƁkSIeCczE=w{O&?ŁCSE&(Ԝ!U@ 0It>nV@,@''?}R4Њ6UN-"UOseLIŅjf8xEM_&odZІ hL=WaY7Sf!f&dLþXn裐EL{ޜV_u?%cL7k|C"y-ѲO; `n#(},JMc <4.Rs+j.j6o[/3UɐiA,br~^CDZ uG.NN笥يeQW&ڀrِ*e҃ Cx؝V]31EXdN7p4QI,'tGn+4Ӽvzj]%-+mk)uCX銼oQ A+|}ԔYw>*SDs@_ ^)>Of*,nJpd u#jTMW(2]Q"7DZd؂ݣ h-L^ϲPQ`ԋ3ٶ,\e_Q@GJQ[ C$S&dŲ|1q~RH͸c<[ϪE\T&c}?^aW3hMSA$!Ҧ r!mȒj-0am_?ܻ]i^=&9[| Qz4ɭE;-&yr5Mڱ&O|̞IΘb9b)tEN_FwXl**քrձIY;4ğwFmOroSCׂϓ)gϳRiP$gYZ = #=p21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id53201O# 4HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! .]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7H8;)e @fWi$6,gbcpHֽdeؘ.t$~[;Al:fgO ׻-<}pX LKzvj9TX7^ ;PQ J>'Cnq!ם;otC_EǷGiOKxJp,?4A}J^f:Eۯ&:>QEl^E4T2Yn2΁ #mtDpCAB" W{`J/_z pŧzK8)ʤs!Pb^ֽJ[X =iqQz*)$ahK=GlZMW*yCCy%Vݶheʽ8 #bOQmaC6jd 3I;4#9]Sї!FK |EqhjꃅTpL6גmƸn-t1>%q~c;"Zzto7iGG/ deI{o qNՌ54,|G~d.:9R}`?ԟ_o:Q#[ϵp 9L | 3J,x࣓eڬeφTVi*GAƪϴ[}o<|D2rhVJu" бMSn^ djE͞5{;ѳR'2/;P0R_f-(ƒSmvA:x`pZgŒRV@N fR0UHZ *4 YcUs)NU= i}F>LrxD ~2&hTĻj®Շt!yrNy 0r{v1(^/-?$GF tCU{D||^tWaDž S\fSkGO`GV5`/- (_ͤٔ,5cj|̑cX^ Q BPen49/82 G)K%nQO((iw\NCj_ߔdk?+rQ, .mF"aYi\[Al>adv_X/ϤX$W;_/r ^4~Sغ/V5[fZozJiN (ò rO;OܩA,:t;fӄ[ hu5i.OBv`..K! XL!ZdOa(kŐ.D٫vv@ ]t`B#qa:yX>s*@2(]-?1>ug5zb2 ~Q+ XYf,~Ǯ^ r_C^=JD-x.5)lwvQ8Ud%eW3rh#]%uoCbP GlE<8i`Tب0mj2u'zg'x~q|#_R^0ӌMp/1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM.1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id536-1A' Yݑ4Hy`otM׫GXHE}_ c)99)˓sQ~{JVY5gm 1 acIJSkg  ҡS^.!/ru~I7(~хi&;In}fyegw 'nXwEmcC"heR-rBĭTdH hq>b+LMdY+ mlj}F#C W{E_6 ?m,]:9ۣ#WQ Q 'ɼ]mƂ D8gYZ$uiz^ᾼlZMYڤZ|8b:S #Y”ijmcR/fB3*S\ɨAN.jw׬̠d/9WwW-lkew1"#XHӧLs<=W5+_ TcL1L^0?~% 呣"XՂlGAEz l9.-&6@To|zP aHsⱧ"A}6W}<扇BFvR_"yiF}`q0P9o!T%~ܧ #^<4=f;CsmxSe_\A-'ΠR&fq[E& |Tc6*a3gq(0̞T"Y8Jmi3Xhr a3ҧ>14o+ߗ'>fM'n߁303O-G]G\]I{Rf 8\hHD&$iPGRBN#-iy[ +exbk^aXϬH'-`sY'f/E Ԥ-cOQbq', +5uFT 덟m$V"S*'/|7c`֩9\y.& i1eqz pN-!e` ݈+lOk >rol1dk S6/w38*胕aɽӜ;HNoni7`iB 9 Z}?], k%ԒndՒ1qwu,9Q)ݣKHw5⶘#BВF$n kU{uRA!ZL;/D]'-oxy}K̸xT{=`y rGwr`:MU𝠷O>d0~}FY굫"mwpR04JPDJ"K".{DC~OLENhctp*6PS1Eꆜ?X{Ҏr_O>\K&2.UXlćI17/ZwCY b*oUggkxO<Z?=L/jybI&fh 8r&d| vTIv07p;,MLn4xuZ0v;6bdfJ8YE1 wϙK24\ z b<0"o\rgY`z|Q^0z}orñ|8zsX $?Y&~6lJ' F+{5[ ׾~H tHbnhDMLg%UNd;b2hwr0Do G#^$⎇WA,x4EO:Ձvœ2PiЗg \MC < 【Y3w:r; Hcn[yg]ދR+NO1zJ n2!įl?B]FK<#G97nDBkdj)*="rD ~!KC2ΘŇLpǸu Oؕ !O-Ahʀ~ 1˪nؼlDU\{ G6%{f̋H0MW[*YթI E(wZ3sFo>提-R}"h=m lL )\uk|A>zcQE. rz=-:pv$X|"])r>Varv:[&,8{XRWFX]n\,}0!< ]Qi!:f~XfeV<'[2]`,S l1?|rÎa/d7H7o`q.`~Ved)e}q+qxSERS˝'Zk_  7rw9@F_Rq+oiP7V'n1j۪X!NP]BȊkAΝYN芙F'Alg;WB^|}]DžbĈuX Y*_8i*HO'>>J_[xo%`1Ĉ#(kƠx@Mm_Iiw c ٭v=,/m ;5̷{RTx$a)#yIYK}s2#Dr"zwZq,AG20XA.lHF*Ƶr5ݑ$udpȪze^ ]#|z~VqYSe0J r8 M%#Wp4eQ89s%xFL [N#ZG\FvW<;# g e1Wtt-(Qˊ߳")BMh~Jɨ jyhe}`miA+ j }I"vw7 4k+ߝF ~= F6mVb[H!|J>3yE^oZXx*G=~|I:TwJdp&rh/k OA2_7Ω޷{q4aNQ~|/)]]S L ᨣ[ѭiq *g|kN;^ɞс1v?D#w}__L?,.uLz˥Bqx3V}", yVy:|jS0QV[?{w`s /bc@: ~}/-+U2K]ߐB8YKIOq-Ayɓge@+4L#=ln OvAmOFkDފn/c rk:{Å[*Zn1K1yACYk揔]A"Lp 2%IpJpXm]7.Ct"Q&܍"f@I}>31&B4؏*a dµ- <.OsӧG5/;ڒD| K/^\gYZ &31O# LHOL-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! 1LX+FԺ5n1z"iB/P`61n՝wFk& %FA`:hacXf{?7+G'?׬wfLN[z VJ|r H`;t3~Vn< 1Oa(wE:C6s% z벥5=޾˕ "=/fQY8e8MWJҿAø3ymݎ>V> h7CEu-x(%FrnӸWPOZ+!]xAלld7^:[u^Iܺg]/s#j(nAj:HWtCߋd:AN_p*r|ʬ/\ImH2o*n9x kQ5ejNl%BFxzO- L-psq4=0h oQ3axn6I;@*Юb66lY32j{T=GapVwaҡZ^%f[s6 𕭁_SOK)Hk:GO~]T,ӯubRA% ;=Pl+T QyYD<G/(IQ;@gMG:t?ZrѬn Aje} >."- {wM8oR&_IݐMn9B&\‡4<\[9nW_=R'dI;tEw|쿏<<ύ0o9Hd;>\8G)J J:P;/|ŋ^qo-~֭n,5[cV!:O~tHὮC-BkNT&:iFט\w8n,2nA;Ԧ%z-,w#p?L PQ3(;F;zT#.ee|x N.lorS&~>7QMC&`Lvo+l{dC 6-yГǬyfݐ* >WZБz0I9Lꌄ+'aܙQQ9b`W*>_SmdIE`k}ڴR ZR+PǸ,ypL -y!|Hj͝@4I}j5+l^,_.Mk)OC~d 'GCd+{UhIQ+&E,eY!SDsΣNM{b :OJ$&Fi"qǿ*=)P9<Y". ֋oQ:ڐ0fXIz|YA?u|kZ"p@Ě8AJ3ۻ˥6S2XTN|;1{sE)R{H&bx T:eqėں:a*Br:,`4f'KIY;6q:=5ޮy(G7+,qn$LsiŲ.V9Uu2s$)0y3HE_#<3`ƶ]hiVg&k#W'8/Ht”PT2Q!>QB!,ƞb: }}w!{ %…ݿکlg-L>ι4MO^-QgC9Oӻ~Md蒗`W4P(.D[$r]O! /ZDIՙъys=p,blp\q syTn !U jڎT9pL뷑)Z)<`V^P $?;ID dlK?/}oE{Vm;O5߽"mε"(Ӎ[A\`+WN@'AUg&M]z.q?=BWx/*"as X\V[fYfC ZՙV|vؕ>Cb(4BSIJĢ9; :㓭?:/qVǹ҈p[wro?@QZql)9oIlR`mH8,n(&RcOh\ju40Q9l|FcPu۲ ank5D?u4 ٺU~[UM5*1GIp3-9j8RR*Z G6hhomoT?2!e4hpG&?>M~Y? +9qLCQAip"ɻ.GN3QA-M eJ}dn{jREDCEA">bT%CS Jdqc 4wFzOx7Hzz\y4'tPMgA{2a =HzvIro%T 8?耴>,5,]p1_X] !pjWBn35B5kJ%ڲ /C~'Cs-M p /Y*#%**vlosI f{+;_5{t B+p1{$ {`g4PEkxkFc&rZ5;:ixR0b@S{d7}i[.DY-!xP0ah؊T,>R^Mw ؖ ;agYZQn E>GnTb)6$ <^0JueZid:F -Q@6QGY Zd|>pzQeWyS**DKÙu8ID4;UHI~Vrk.*3#?RYxSjd-=:@8MT} <>k/özh:7kٵ)WZʣ~X~).0PD†?sӎL4Uvl 0FӚDky:Eǀ.d ^zF({Wtr$j2':9NePtŃ}W:m\lԘ@c(s@.ޮqtyV&'>)H7&8mtV cV鄜fʏKAd\mZ/Tlx ox!DLieRS%-oeJ]5܂[} >jd5i}=vSg Ūf#$$9%ediMxe*%}܊N\JG{|u(H{ 9ꢍcXV1nx34/ĭ:OG]"4Ydkd{\ ץBNQFrLJ=-WSݥE\A"ݢ$aYȳ,P G^e.7wpQV~uIn=h{D972Vλ0h A v}#4ϞURb>&=Vtc!k;}qe.I:~ AyOvJU BzL~wOQh@rne ?}D1{` :'1 ?i kb&v\v8j8~!)@żԺS\@h_) & +t.5H*Xu9U YQ!PB:`گ?7viǁ{VB,<ӟgX]k侵o]~#*yyE>rApS?> &Y[ %+|-g hc2T u54B9185"B{6.Y#dg⪚P$ ̚g޲В]>>\1U g\%sbQ^EPWTb&I٩*#Q#isOᅡ-.bӛZNbuX.Ec2_PU+:Hwu&xjjȢB鏂~Vےw\S2 9j&{PN7eA<".vp08׭ ,X)Tj.(iļ ,aˍZ`/@Qm)H^}9k+W@!3ǰ fWMΡ寀嬻'?:N3 uL)ϰfR"V\$sE*2צ9P |%WAIyPqjo 鉍 ).SWb L6n LP?\BaïͿ$i2x¾7!ءNfDqhp"օƗIQmK&@F3be/tiuݞ.w e;8%1`XHZP8݀p0z:sٿ DER&KiPm\%gyvNYs")I+M*C-vA_q UڴllLz-*Ǿ}z #xK,iGCk"cS  |P Z^E֤ _0's|Se~'o'rKSG}tyCpF~䷄e;#avúhC;z>|Ɂ`vԌ.A@`-p2QM^"k[1C׫P&3:8jZey/X ҶZTEyQ ) A(7vz%|@ܚx]DnĜMICy1x)$&L+Ԫڵ\ٛ)#2mQ<8Ք7wa21zm$v'8kE\Վk~z̟ؐ\etrOOU_CFh5ד9sMK'Xߊ%JGm&&xQ`,XxO JQ5PInQM$E?E:M=Q_{7WnPOT9n+d]^PϟVR.<=$s]Mv",r3 #Z)P<\UŪȋ: ۬$K'A $p=0]ol$8a:UdO0Zj(s2ʕМZ&g=b1bcg7#OP 3d*"܅SV:ƒwI B1QD/i4{$OVVƇ0!1ĂױQy* i)KcX\{PHQA-4?Z @n+TdU8WB̐!pG糩]!r\,|qc8철fC܂I<'E Q7$CB2y!n#tC{Or0늞x+\BFvͩlm97E@gٝG3]ʢ M}4 a'*&]*Pxb˛+bXnm~Q4bƒEKhQ1OYهkXs^rkܖNEzUpfA._}mJ,nM㈨t3\Ƞ[[9;Z).>s-#O!X*=c&sTm/Ă/}%M .tCޝZKM]#8w!#CrZބrb-l1-u OQ^ѹ?_9P=c4ǹY=dH;*E"Yu n3Xm Ƣ(=lz."h36DX72h)"?xSy7+?z{]=:SP ¶7aW j0 UWΎ U )\; U.D[r A# QV/w:olL*0 Ч8`e`a vJ8W>+jERv]-YP-1qeSNqmuvH;`ib}nTa$ۓ5&2MvRNp, D d:}kNBWeO:ȑ|VIoд!3 77oNHO(@dK+9=;&@;( 0U^rQKܛ~aW!%~E%VL7"VR&`~h$9&|w9E*G˓Oܮ]BI.%NmAUFxTGbJOaaRj ·`-k ,pe Hlq':c ipYX ɠ6S Y܈uqJ tAaȨJuYK ,vioN8l Z̝'kUP󳹞mw;~7E)kHupȖ,KODC <; yOVluױfiwкk)gt#A /շg-QvR/m^R6@CHzx-{er~" *&F@=DV1&\K*7RDLk!w4oRAq4=,iBŋkb5LہjаQxa9L, Ԃcjw C駇?gȾ QhΚszǪ8?,iIT_վfFŒ5Ta[O'J%m놭8ml'GߥPU'ۧELs&vlE ^Z~ly ou]1v#/v2c/禧W`pߖ [sY $Ycըʛ +X>NIy3!wz [Bئ>ӉEL"TtN{K;/nT2HϪs xoDlA11&Q'( q$ cPZԶbvZK9%9ѩBt !0Юa9er+gd36wb$={$c@ux ƳsJ, cj6^LU' &ӘVudC5T%9Ec| ojtSI7οT֞65rtAC;UiԳBujX"cP]s˖<l<["cgxc k0l(.LyiHl_荀W"cž^CHP۰͛Pqw $@礎`҆Okl$PFaYAS+e;wvgQfV+|Sa$)0~5ԏI.ҧxDWB:\tŗ2+葁AYEsI+0u꯺(YXgSvɇ1˔!Hrv )jg~ЦK ky <(߼&\#͢Nsbyп|J$ E~ljA 3ϻ|vwA*uXug[w|Xp!̙BZ擎P"0b\nA lhϩd5 ˔iCn˨{q l`Zp 5*\#jU0̈ !Y E{&3Ҋlw6ҧ2BXa 2 [>vL~ C@1/G;uAo}qǰzT_80V~cO#-5?0 !qvwAx28b5w]גt1HI2jufo*vY#A* 4~NK1HLoy[fs׺Ե֣oݞc:&9~p}pУ 6!Qz> :Ok鼈BkR=I ;ߠed}o&0tQK1*h= I ň/Ɛ-V̉/o_>H+̡'Ҹi{<t&C4Sj.m %M8ͯ'*A(6|ShP(Q 쬛ޛFD_4 ^BX,[A@>>0Nc<}ÖhkN%zCL/Īc aU#QB,Rd~xx@2d_<ni47OpuzCɳ./ {bGlX۟GLw>\"& :-SHGk 9㙰9y|o_w,!"^'f&2Ap( Fh68 ɀ]LuB&qo #S,ӠqCcy쬱ݍ'iHz8G)bfK;Ɗ\[ʎ0` ~k?*{Yf7Eg5!KQ)h ]gvHHI)|,XVsBaEd# ^gz]S{dY.t^bPGbcV#񬉩#۫VDẕo%]LU`g*w` hSzx0 `fT-oFk{ڊ._EM (Qx\+v:p_1~ظL 6Ȩ~s8SY8 ԱUqxe@;"t]];86^,ft"kG Tk^Zd$q0WlB.2,5 {- I?*` pp@~%7ޛ6)S"V_7Gd`kI։ep',EQ-n#`B*t3R⫁0}rTw}u#e%EH;aKy@hIuvuQ>* CrNXuSxUY|M[QX{~6\RfA-H LXh=v4H\R-b'*e-F7ذ6B Py;O GԨf^A`; -|ױf9nvXUL-7(˹F;܍iZA 1vy;򸘤lK.籈v7Drw)60>F3%Kux|krP$ I+gNcfF/@tPūtDoG$sWMc6?[d#/2De]mj=qQĿ)%Bxro(cRf(5&vV |d.ې^&zY&S *wс leQW2abl`X\Kq$d|nJ BA\ ;0D.kPUyk(icN]_S,К[0 Q畮asʴ}97vX`$.j@?Qtfëd_n~,ԧZV3 ''kI@aP^wgy=1s D:;"g:҃b15 -i8c[g5u ib)=aXf:z4`ii}ǟKR_bDhrX%yiz\]a9uq7ko;Ʉz_̏9xm;҉.risIm2V.<ۘp\-ED.<#2ox/6L\!wD7ZQhI㕵!zZ=Y@EE]:v'sWDK&M*T妤@OPvskp"˰j:?/k}aʘܩ ob&8J#oE_1y1ehPgn3"E# p{¬9l78-dLR2ŧ n oXyEͶծm(Wn葂؟9m7w2k`">nʽޫM>VZ< 2f d4ʅ\EJќW~BX4ƞ|BXJ4J=k ?]s1mČrc7dZ/JH@@ ;(赪˽1؝|Q톨l *(g&P h.]tZ"" p1 V,"̣P^✶F"Ƴm)?CuD$ͤd@^uC˝ ВJ0Rݪ/'Wӟ&LbMmJ.᳈+ H{/e 0Iu6 XRTh×/˻·W_j7oVWD[)puYDӤo|^)Nw0Kd9s a,"xdrSkPP7yn_w %VVV`1e䣻A5n ۶KŠL7a=/ҞjfT0T7GCj#Jf@VZ2DɒU{?CT`@tԄ*h-.6jj6B%Lۤa1=wO_j[&s պ;Q)g3_njc]sItePZJ60 -,~Iuċ q7˥ r_L(s?6DTI͙sn`0rv WD FX m7':8=5A-'N5 S'JD{hKR(g~U{w2bw 1eGi*奮l )8p!ceQ ZcG7!a晣y>y߽쏻#0=ẍ́!2ؖfv}el8^ei{vvu$#梿JiϦyao{tuTrm>M&BLe˥*=Jt:tJk#y a$8L2;޼"rԌuY93gն0QzLCz 'ԓM%[zYl 0u<f#mWkbiBc'Ş6P{@vm^Meo\(;_{9䧽N&~0`;n&3;3 >w]eD^O%MMizL@ն=rǜsS.io6tFIdlhDWO!cxA)-b?M1ւ w|#lGr}!T4G蜦|>A>Q51:-Rz-{KhĀ8{3QYPHb`_#`p,*Zx$^֌#J듧 ʸク +-uN[k W{iJ9\ldx"?w+u| өșDGSuPlSWiz|:'Y^O˧D0+Lvp/[u" !LwT>mcƂ cYh\wk&Y}rB&F \$;3id <˹Hc8w/S~ͪ[[)Z8h!m@^mA")fexj֚Ik #CVLN$uBxWS !픕h%j %oX1B*y>J>k }'\#Hd G)P`qw  7YaƧ>nFRM'5.,,nuN#1%xWWF5zw86$'Ed@czlASl%fÙq3{^th6P.ߌO[Au͢7qf&WUł41H3&Ӧ$@–/pnhMOwBs+3TҩM,p^b,-4z*n24Vś`Ww6p#*cG%VQPd+lHr#*u a/0̿L%֊<-O( ~ltɜsm'׌#h`Y@CwUhm\Zt!Op{$YF=Z-õnHEnE\WEpl:i܄u#5/j2 ^=:O 6cNgeEo@k03 ͳCanQ}y\g }үC|*OCNj9 eq3ٜ4Hwp,LQŴs9"eȇ"2K>ݫiKR?(JCt$uL$:rSJ%v=,e݊ܟͲ⊔s}ؖ/P2 `C4x',^|a $qǮ̧7@\?KJ;p`r`Dw/Eo(-Zr(4@gT[[2xbb]}3hSjPL! .XnŦQ6 r*N vؕm)$/;ՠ,+,=kռ/m}[cИ9MJ^OPQъ59XLy(?) fʿSa>ώi)UO-(G(е:0:!m{PD~60@bx5e<0JS"vtfiMcGdo#ޖ}s ier|,w=D㒩V:vpĻt YK!;uh?(jM0oQX,lGi2#:B;jVYZ¸SoNX+_J{yYIp)C+,$G: fxWMaK H$J_']IgbPO-r/v=v&6eũa( )sNHQ^!f;cNiVmSΥ'd>ɝ3:4]qsEW*RЃ0}ɝf-31UMh ϳǦ2̏Q \="FoЦW}8F>eGo hL଴&{M@Ħ /w "2yYRWƛP9 V*=2̂ EBF1 +JbC(|@i>R\_iQ.LnYu_x x6rVgfeb@ ^\$d9Cu1vB !O '!7ޅͅ:# 7&mPNq6 mpЁ>#Q05|@:5Ij s'[19?a <e?)FwTcBCB$Sx+\3'XK/ `ABFŸiM:isv\ub*\?$ @~^{gy+~;z9I'S-m*'mrh7GqU;ՎmX|Z4"1$0,qT|ofX+[b4C]`IlѭfV+ao@A_IU&=6#;cS$˵w?@,}LQZrb@|֣6tL|:y+|H[t# =j#&- j+tC-txul_:W&KH3 _XM9/N4_0,%b+b_>܅82ҏWhˋO02P,[ N@  1@WXxT6`tIKNЕ\ߋTbfӞJa%δTk˰CtwZKV`}RlPlRGSsC4ٿ#5 [[AgzJ=iMG1D!FgIΪZ3<ۄ%TyIooźYaD8YrW`p.:L|Gq`b0|+iN UЫ_@VdK1UU]Ծ:mC 1#Gf4νKv_g)L}*2D&Z~ҒQ77ϯT\Y?9}7{ KmPy#e9?NJ.BH1HpC39 onJo&CCFλmq:g|H-%:K2L-os$f~z@Ɠk:c[},vU/ J V)pL-[+3cdFĢ8f'~F&a;.bSҥCvI& :V0OŠ$L7rf&Bz~g꒲줞kB.jUQ|A/yٗG@4$&ͱVaʩ}쏸-+e aN=$6b$qӛXq#rT`kUghU)L\&ky**qU +whҥ[;-@æ`ܮO>uw#=sNF\@>WG*)|W#vDESr/cp^_99udZwGVDJ3D3TC0ػ;d辅SoCdf*M3\K1)e;~WŨ:XW}O,-n|*iX쩷6!LL'/=8o@G춲^:y,,M~AN!nyja=2!Ŵ"UJuTL_Z:: 9 6{u,˲L']˯q+U5}B%zyt(:rg;6dKY _hךi9Lh<Suw"ĶyzБj8)]!K!" j1MN m͜e+AOH+0[[ι` ע:z4^~MpRT9Bmq+si&Dfk8{D"E$Zeu՗%y>m#/^HETDs,ZX86H": 5k20|7@6s !z=R(%8T =Yz¬+Þ+ö2/k  . M'͡]eld cܭ },P}08`qzU313Y~ի~gE%w -$ܞ[9+և&uY>faAdnC: w`9SR"bYBYhUSCS66x-] ]">9Q]SE,)pfnsVLL58\|Nީ'SpL4Ph2+/-+*r*!:2r 9{c}3VYS] /0 A9B)++42FMMq/R]o܌!P1lWAD,LzpqHe^r%_tx^6tXq]jL梄 3yQ uuZG#ivx\7p$r\ܑl .g78YN=~R-"= L ͭulQ ! ctJ MyR]ޫ07[voz'Ƈ4?h{uGOm qߝXܠ{?[׏] ɘXhLt/ l ,5,@\Jb|˦*HNMwCChrB:]pot|n9iɯ=]Z d.5O0OQ䳒 DHy2gd{}|0 |"U/oVuGiUp '`!10Q/-Ǫ>c:p)b\xPxT<OE/;;r;%'-8.j} l- Nw4E6],G{#F C Z󘃗4V&,\z ^O% Ec_\]IC4[raIږM?*:Q(;ExUkx&Z0M|֩@:(QK݈(joa3|^nz&oe@ d-p-6ے*TLb!?_bu_^XdFZݐ[^<< ~m3gYƯxO0:1c{_⢨|("^R(7QRAp _rzؿ/]5%G&5.<3X<-UK TD˦lFerF f><.-+rq,'Lw@E(;'(S(~Mh#WĝfGzW ˿]yԤ=buzq#:HP(럦;|%N9Xz <:>Ƃ39< t+a& ]Lqd)mr~)XFݼWύNt,:o :6~ٰ*U8=>$@Ya)Hqj2[ck?ޣ0pNP|:ƯVO3p͈ XMq_ITeUS͵A? և@PU@` Iճ[)D< K:[|ho__j7b X]U}<~w.^6LxMkCOMbg {S$zU#O +! %>: ؊hGado:w"'\RFd%~F)ɷ0sٖA+҉J?G+K],`tԞ?]S:Mw`ǻӓSėL~vdKM `eyyZ)4#RGQ 0S-1(!c|c@k@ھ?6^}:kOD=+{db&Blث:}yX'F%q5*ph_8r4xR+2{%'|Csh{f%0 IK(-͉A*GigiS w|JD'} ]^As{+1A et &t `|~ES5DcRprɤ Kb%=WX@D7zx[;V; 4y sclvxxFH蒑utb͗rdĐk{64|a@E_FJQ|l;71`g*m^xW%CT4 DQ#8z[[o* Yp= Q` =/u4n/7 5l'wf.{Y=)j(}B($wR@F_uByhf$(Obݩd v$Ep'nx2dt2V\w%mGbSNCs|e-APU% 6Ӫ" %p#/ e-}f09c":m,kG I 84tNB :9Aժ0|U2km܌hА9cs'Y" kD~w? %>H:лJBT}@bSm]B nabUЗD(K> L& qBxdA6> x;D2)AE T\;ɶV} #q.Yx!4\QA^}P)0厡NE߹!>.'W[2<ݙ%bU|CF/4UVk맟, xmlePwȁj Sք7,!+HS(ŝ,iT Du4ϞKVbuޚ0Cӳ!Rhd*F^ȖF UM`n̚' %Nb0A*r*U\qp6:סBeQX4CfbTVkMd^B#Tp"xc-x$u.ѽTpb#_1@]IbVP Lhi(+k iy\ik2qN٪q_jAER8. a! 6$@ 9-ޅGgnVkr (ݾ}$>d7SDЈ`3i"GǼb½#%Ѫ^%$e1YE?.GO`2C"Q>xbb A#J#2mk!ky ךo@M }]A[av{ .\'kօv$XH(KEbjBz31 O`EVs->"A?sV1cNÚUx:xZQڹI˗aOϏ4# 3(F9LV? *@; @#Q˧ 1&)O[@cɃ3Lo,|RLFnވGu3* 7d_W͝ws .)c":(ci5NvN5llRsa erLgWjLJe{q?oDxp`5 $*d+Y_oCX+jQ.ԌAaQK a{e[n2zo]W'{A;A%&#ԝdk,~o]xwY,I ȅ8%`%HXa)\/ǜ''="@ؾPw> |Ru}j 'TמGV `ڭa"سY~gp 㜤Dϼmr{!j4~in8Lu$Gc?_l[WF2x7]v'vR7KIӳЇCH r$ٝ ef`fVIN4>0AJCUZUmMAϧ0vE-9f߶~nm7}@TN (p8еfB`n$i$jZ1k)|t8PZlc*#{~u~=5! Z d7 HQ PFMJWD93CwDbpRgY2xJ܅',@r&PGWN92+ o'u&&xCi\CP*"Kq呾S " 8 ɩ4fZÀ=R%9bI߱BUeG]뭐j`%03k$&:btx,>Z,Lk/SDý!# X !"~#8e`/wHB@ @ u9 ;J?W xY~B܌|Z5-|#lGKEG B<6IVW ;BL:m4*y5sO4a|M\N#<6<5Pf*c oHn-dkFc\}YA1=\~u&rY ;o3WlMDHOȵOWb3=T  g>N G]y{w^< pCm=Q喓)C<ǾJh5=hU%yo#D!Lu=܇<]P@"L7YsF9TxKϣn,ne]ʀDٶT8@gLtm bqZ)?~7"xeV43K˰OdPIqMN^=XkC3F%ܫ6 N˨H. kqnsExZ5ԣⱻaO]%hM^w 1z'ƹ9Lj93<}~a/wmԞruOwwVdo[t`8l6S_հ E&4D)qt@TҵrbOیdRKjP BxϹ.xbc=e)[+W&W(:Qkb(nOfoٯlD1Y*k |oDY{HQ\t@şjW_O泪j l$w9Joݲ#b! ЃjS J Qlp1@2th1$8xv81|] и ]FH+%Q#ˡ&#f?(FE WK:#^yZBY=|}lfв:{4O~^.*~lbZ'GH)Ih(՗}龷:8ƌO {D43hbJ01a>*BBI#Ii OXb[]@*\.REaw ׼a:H6ey2W5(fv8vj^ Ј1&R~ ߌ_,^!>i~[!XIνN39~>6`A$$Lʒw^cO]`a P#9zvP9G$,2سҩ?~y~&]1spEc^yђ\#+(8h(?M.}fOd@5tڶ-ffxB0wS Y2tylk&4tϾ9nUk#i]VEԒPD|?Aah͋#^8uKo{V_4-R][DQx9nXze@)\ױ:-3듡ݲ/ƿٍۢɭ%|LB"@ M%@/YJA Ug,{;vK3H1Dlj:c< f&S\ 6w'[.X'B Bm dQHEnp4.^HL{W5laAgw K6{ox(<5Z DB_L`U:{q~ ,x83s~[(=FL'LucKHOkZ"FjLoMUo@H eKwRYjt>jS"Y|(`^?6MwtNjTCDLu6:JUfz2B\mb^~,H*!mi[!#l='WZV{gYZ G7 1?# HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! ~]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥Y๊yyxrWKݬoW8:ӱwO$1Cj㈺Q$*<#؏LZht8% +qJ(j[fuO$atH>ʖW$vtŕ^Vk>a>`9~UQwOYfl5!_ xc*^psӭ k@ 覎hg eA<5f 5АiIg綛 zm@"=$Xr6=I=jwf7Y%>u  {" +?hk_|?ǓIFƎa¤gb{.V7ȂgYxu_.xl :vٳS._r?YU]A9՞zx*̒A6Jӥ2Fۊ0F0׉ϰjs^MB&Ucsrg12!҂CjhuC)&L_:fXlOz OA" =1ͦ|7 ܮ/Wb7Is.ZVsn<ʦdbVEDl7csmIM"Oq 3rEK9a\IA{䇸j~2E`sSnQ!^_Ud/q[rV&N%| gM;~䆋pbn ?(_aѩ{x3y]g 泱:|:Bw Ȁ:)Gk=d*n.̀/ݛ_ Md::j!~p<潴9_p 6x{s9+CCcָS,ќRsqPiV <vw#wPcF9Ȃ&(h- 2k3%n[=vnoE+b+EmUz 9'LY4&~rKwhސA[|؃~DwFb!cTI{(I3(X9w2)_}iɑԱVg2R/yG_Vu%ezbu1.80ADw%W3(%,0M"4PWc8#2ށgÔ2i=F|Aa WP5R9Bö={OV6':\`n`YQV]1-PzH,zQl5Ǎ W˸vhK$ kx]Dt=}JRu곿krVe}mo#*|b<k`u5?&)^\ 3&71V|0=K#Xj4#ct'T,[tx t猬2p-BEF+2Q#hU1>(ԩBUCpc»욀?es>t1GU todyK]N]3 TUR'0Ǒ?|XBPXgTqA`Kʗȟ`wvnWo6ׄRob!0ם(i۝h9]{f:.q0hңIR4 ^@KYe2,b7Pi 9n8c,U,4M;mK#yRSm*6|D;{*Hq~ݱ052cZ1j ;[&>IZc_\w sLv:*'SHa`ضv5!w!;n.S k[6c^:x} ӝbsEx'#7&nIl ӝYuHCU@TYwYA0$+"y}96lR}!AJ4)E7}hs+8s|,\'62w[Lh39>[=A3'n^惃Qv#4PkNҺw8'0fߐ)켭~|NeYJi撳 =8r(uǫ>yAB nXқy:.\ 4u9ur.Gze,"}Lf =$,iKM7bq(O ;~| F% r~O0nȌ ߞ562q!)v4Vvoz`kzF  ,C%U1dѸ$g":iKIF B>ɠ`sW/쭔c}UΰAz#)΁yvUY&'PC8,hNP aa81?' DHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u]D?7 {?:fH\y]s7βj}~V k >N¶ W8)q- * \B\$LiѴJ `F̓[YbބYuEhl?U0l͟uңJ$b…c!1V.Zw% 7vt`:[`0g~|*$m'%?r3:Ix즙3=d @&b)c`2L?F{'"PMS[-e9\>'ZˢT2${6^-R&qSv9o2o2SpRY'=/XbE(gDT!'ڀ1\88UkxČ˸yƲ NY㓼 eoݵ6գ=Y<%>,*Ad+ +S&&,07JHl !e(%O1#/$Sjt. wC"0G/MV7֟D dRq3o{x&]9*9{qnv c f-$<98p.xC>spZb1lH!z&Jjmu'ѵL}$4T񷪴xx`Y(tchϏR^^xo] `B.䥷s/AmmXwG!qcy%K](œA-kgh2ͦ)LUd1T/Zj;JPnU6,H+=k#q9*[9ż73EF[Êgj́IqclOWsir f_V݌2tK{йޠ uܳ1GvJi+C?T Rݨnrcb3eD5 >s-<.{وxAJ'P?+c "|Igg)2ذ9tF\seŽ{榉c71"D23pބ2ZR~:*5;俹YEK5騔YaK"uxRJq6s^ZVnZ>7Cm $2g&8bb}A盞)oN*ܰO'{y4#ʹ ڛ}"N\}P5MٚYϐBb]yKZzrrtsG}W Ljճ zKDgj:vjZh3>[[C;`2Y4[͐s?1 b`:4 @iaԙcc4{Gaq/lhWfl&=ގчOW pil\Sّqެ˲RAyV/)+: Ugpmt !fPl*LRgYZK<0Ie*!n 69#*Bfc ̂ui?g!}^JۙքW M FGo"7'A^sT}|5[Zd1q+0>c+i(pLH/FhDvKwN NCk0˩*TϒE[njy&u7Jju-nzCˋ(~(:9RLCju5د#\EDÞ<~+ ɻ{s9?2-Bv)| 0ے7oud̂"7|Ìbj+n>j1q|+TWS1ٚeLAn~8_Ç2NL5m9)W!tfAf1g X TH#slTC _?/v|(u7x@2Þit{PgJt+b*0uj\1-[˸ID:X8_ϠuFfI*+Ih(ev촐;f;gW qn;~ qXN.Ub $5F~ Pl~I–#_Ӵi VDBsrUkpl9Ggza#.ZUӔM0oNy5:>\[̚jt1ZY(`6=Cn:x95(yRg[;%GE},Y/K<4DEE;qG @K X}x Т-WgbiqD} u+-w:~r51Aȧ_YcMOR$^/S3N!IPсAf>_NB7TJ]31AM(P,J*Ҏk|*wp'x6Q!._5,iXb@mP>)[~q<ڑ;J?@qDgHIZAoNm~{8cGҡ*FUAF@rW32Y|1jJ@ , 2-m0lo <}ӭn啙F҃a[-!/O|(maq&I=)sr$Iyv׶$w"%a&0GӇ̩!d" 7X<0w^U[Sd3ȘL,hC+)X3eTθgYZ7zXZִF! 5]ŗXiɟ1$Cܨ }X 6^vWn p^k8htdFX?/Q1:7iGs!LA#v&P3ʧ6Ix\ABzwU΂zE_ş=?Ub3{fy nݓ#I#vxU5hbx_:H۟}lr4uDeĭ kʅV#OxsUj0YzM_tuwDP=ZrP V> D1M4D;h[>L%7+wK՚_ >{]ػ[ 5gS'NUƮ3iT(ء0isl)\A `t yEN="&pK4JB+/2ѕ19bDjxv0_@iz1 ?mgHB@W<-'G ő!KG?MXޛˊ[V@t>+.[=zP+ᗳhl.^%9I5vRVÈAF%4a,m>b[S<^5Cҭ؝ؔ<Źe"s^Xt^b؟7p1YTlCN OINdtL!&` U. 7ELm;۽?RZhsH0۱P"== [}tئ.7W0ܐŔ(ޔٲMdCh*$2mK\M=V3k>5LjwC4X2ɬCϿRa/5ñǗM-)v:M3a orYeת⽥TD/nܯ x.ٗPRs6EI>03Y>k)PdGol۠>7,Uwd _pD`;,F<[$r>B*!SݝVⴠi.?Z[RZ.+ xC9,QLڣNVaFP{p{@[L߽-c_*x tgJIj%Ԙ"L45$~(/3}0@wc-QIOjй':rj [ERu$ZF 3^:a -0kL53#03ر?}^ޞ>UyQb/J 'xAZ"=Xr]b(\ z포Z/+kc;Bv}J\$iHqn4ރ#t";'rG Ϛqn.$yzؿ|OIt56X˃p!U5}KNzvE=2I2OpR M;n>3M->X'"bre>hSR [4@}1 t_YXwWX[ ~Mih0xppٲW4܈#K_=jRjy]LJ `?}af)W~9ҳJxk,Ls`|*NRul9ڷ[*G=esDo% x} V$4oؒ:$kB} No#5$/{Y"u8}/IuV%CMUW|9d]8VHu>Kj= gYZ2149ee0b5b3c5c9b716b85b4254ff330ecd5653d2910a4ddca5ed320a79b5d7a8472877f5003c6d9 315bf5c235bb455547dcc26824308f3938426e05 91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a