SQLite format 3@ S .C  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  m m1t,t$ ] HOL-Metis_Examples:threads=6elapsed=17.150cpu=67.828gc=7.0327zXZִF! ] ]ŗXiɟ{b(>8 ޑW#u^>q*yTu,rQj\0RM%d[MN_ d]ֺd/H2%BYi(UN.}oǬ}_<&ACYM/JOG-=. X_P.iyh:jfQUj8m|MkCJZ@CzߍS 1 HOL-Metis_ExamplesK1;/ $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Ə&IJ5H2B+@(;#81&"        8 d  > ` U  j %^qFR  'l*li, V# 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 \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.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 ))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  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 LLl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ  | _ 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%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>)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-$ɽꨚ֠!AiJ =^ k̏9@Ť[3gI7HqQ CP_6[BrJ-M<\ / O6UgoA;{jzU/Aa'j+HVO/j/Lq`Hϥ. qǙRZb hȚmI/fO#'vx沅|^c1[,D0`Usl:|F6ujeu.{@A,1" ?GinT5H&ƄAw5O Wy՚sE6zӁ&d1ޛdvؚjlتϜre\JtojLt7HRnps:f^ۓ |@:(@fBWѪS'pA<3 bdrw7` !AOgi4'Ǖ,ˊ: Xӗ=2s提5ֲηZ&G)uN y& ly3M8SۃCy&1BZv^Tocg13)m7yTP_4sHyy=J:80NR$'=[S6aM8E"xT/z;LxGb+fM'4j.{N܆SD p鮔hd[ n=z _yg.GHo7Gop"#|=8nM#*`*CwJU_`lkR)j&k6w֋!Ɇ*n+nzXLpXY`ZSF1#}s8ScA+CB4bYfLvf*a=%B5[o3ζK1<0j[F(CFE":0t 4Er?D< !So#LEA܁?J^Iud9)s5 o*S QK*ܷ~@}&eLNKM;SD)C'd<ԮiϙK= K_AHZ`A,]6ަBO6m1P{(p$A5dk?P G#K"Cd!f@,습՗ &pE;] i0߾-ZEal 2 utP?/+TusM]](S ] }xy*cH%z$;Hffo}T:c'` n_?u7j6((Y JȖ_ɂghHwlv&>]7*d(M}9%@7'dq ޜL;Qƍ1QOdɇ;jGJRԚ'p8̀Vmx9p}\ 'H'@1Rwx84cniV~d2FPNmM+pO)FB1bqPTMqp(@,OI8$?]D0Ah<bT]Ho賩Lx` F-s#`+kbAꌌ:{Bl9!R1/_o⮼Ĭ2.0˖bXvSv].q= }pnOؠa@/|E oY)e\giV` ׌lK-Hw# :0 bO!^#s-QrIHӐ, *dX:tJ u@ h ԣ1aO9T&U ^]AW#+Ǭ8[,4vqU\Y)4֠XCuVO)mOKwJe4IobSq I awY,K\@P{C;Q?D>zav9ˈvrI$L, Kx!ޠgV<0JG#V=U\a5Aڸ]ܔjyjk4-r>n`xʦjXp=+CBbR@"RdfUgQ3P6-ia"Ʉx>L. %!-1и>فs_F?F]ٚtVOB|Qy*Ͽn#%b/L AqJRg5jh˽Y/"CӃʐ,a( Z3I`e7ZX5RY83Πm׺e6Mm\52Tn3@-Ĩa^܋yc!i^i!xĤNCt'6靊?lXkKzaxݮsaץT/T. ,X`$ Gg^~B|rK`3 [2Q;r{ 2qߴ@,jna^VGc}̯ =,)Y0GlkY8/eÝ1j9OL&Nĭ }rE.,љml`]a^\t}PіKmA+&ˊ9xLaq)[ȳ!<ʄZ5~I K>4EpΑd<;C }t5_K]O+kNDT?* ] u|L@>s|Δ^_ "n)q_gXkȡ`|*%E:H;㹆fzŔ#` Ne6o~:s#`J\wk'Z{bbM%NA+o /|S "q'"/\m x%+S\' ibd`uxm ^RU0!7aN4:ֆ's]J)ɟ|ϦmH1!n<`=}]U9P&](jDC!xu})PFʿ8=Lc\;_j:˭%>+7ɪMxSjP%8s+/ {:6?љs$Yq#1pZJưeDC;f=4ur, F>wEE:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxueߜ؞ذl#PА(:?e4=%FӶ1lCw  zbcaF(9 \9{K]mJ8zON7#O[ c ʀJ,&JC4=c9U#o:L0s+V'ǕA6PH|ˡjٺWE[j)?.PsKr@ . OIai˕PGh%mz2Pn|/Uk:ʈWCi6:y$%L1~!ȟ2g4J+ch$o%qOn{Q++b#/ ǀCLq>Ꜳ >'^Wе~.!Yx=u*+ da8؆Qi_akYc@Mq}$=&Z*('iLk?vtr 5d/<L4 spڔi3!K"Xe `F>&B@΍-u4}Udt{W'dwB<;3HÞR&!LeJշit!vRt8Lz/9+Ž"+ATKVA}Fïs|WƭSm9]S_ XV$fKWA~5Cu*q Y)E Ҏ_Foji~2z_bPXܧ]Ji4ejGdRpp8ZWS׊x/`㬝dN|?Vź+B+zfdoG`UaԿ =H?4 ?Gax&s0{dFV9-Wn{|x^SHBINsd)-:A1Nt߾0pȐrcx9K<Á[$XoQZ|ҢeK5PT=Ԣ" !6-SK\ -s Z'+zB?̛{O|} a|{JAV!d|b ȃ7U>AR¥_dž:,D;~qHTo=(2.R2 V1WD~ 4"8kyFD,T=ޔ-\=qA]Vi)fÒ2_*s1i:7Fl=@cZ+\u98 IO1Q4hl93R0Ls.J9/AaP ^1ಋUkIrQy#A/KƧVĸ͊tFHn`-2_ x%ށXhw`3t%Vɮ]սR5LD2! ǀKJћPv,|p0PR)>/wxz< D-%JcG揙xv/W=۲qasȟo}cʨi}^Ay,.#Oi/qZUAܨ;OwZ&r-#,lcAH ִngDg^܋\\1* 8)aE1OR̜\ V]Tg|\mL P~CSI#i5Q?N˄ ᵂM۰wl?G*svJF,P;(#q܉- Z1[ n轲Υe$2}"F;5P+Pڨ*+QA q(Ri/^Aq4rUzRN{t&޺ef2]ߋ]7}| '0$b3e7$DXt L۞4O͘|(qg\S?aI#Q7MLDWv[4Tq)0z|T")gkX[S뷑 o?0j.^/gS:=:<0K@1e[zy|Мx蔡%ʩVAO5=˩JqBQ #MNHӐڮ(t5"W/-(+7u.%W2B`ែf)׏SdEʚO ^8(Q93jl gJpG?gȵ2|*MK m !*M?攟``GNЫ]:ɾ!*Mvat@Yä- pGcT֞o@me,ҨHTB|T5oI7'K =ᵆ.niìwZfsf;6 <G ҟ,`OM>jW}*#yݱJ۱'gr Jhe wtU^KlAI![v,+?h}K&vb\;:.1FW_[LOpP,6Mܖ~ u^6!1# 30MBt)N4WdCc g+?}s\Kno%'kf]46);` ̬w|\M%eŜcѐiT6kJON ^7&_bx\(@gx\m_qEOwIG'KjI(GnDC^Kb-oZQ,xHڲtP}iV VZ4DmL9&ĉxbJT[iκ+"qμb{+_#QzI6搌(()? m_Y*1 f(p"Th%^׳PLr^B."-nX$Eu F|lJp1'1*c먡Iwh@KC` PZ qFDΥ x$UweH  Hk`)…,WC$U :yt2hk m4րĕ]%Xo ҧeDNp}lpN_-h*y7(u8 7KAJO/牗U7sM%>SUWͳ3 TY{AQ]<)_ Q#Ȏ3O̵ʐ}ޑjc{Jg}WJz3xғҾ( -dC"m.4^oH<3vPC:&v++]2vK֞ho|:مlQm׮M\jdc@Xg~a@6lX>_X^5ʑpKozh> Rc'|Ϋ5Vdox&3nu}‘v`bZV^d=Z'e,rըf5޲}Tw{G^,qib`\औ䂏ʩ"6N̆6FkqHT`叒ߓQ_9W'\5CLjg~jm xHJ~V=< #HTImO@3@UV90MEgԕE@'~?AF"rVrE "-0sJ1!o7]$,;Gl pȿx Xs%q29nXB2t-q6ӹ쑜eiHaI`FHOD"%-H)i&ސ_,>fֶdy>U@|EջE8F3!9;M8" (#\Wn<2W`%b ēiSʼn (] $noEO52H9Xhˡ70 *4(((rYlY*G5K6] dhU,dH^'*"_k5u W1R{צlWh񭄔h˖3\sR-S?-&!jrĵY23\пV J#4⴩,l{!WzzQ郐ieʾ5ExCE-9ĸl KXe?`O>]-e|ro ިV'juWjUβF9<J!>kϪO0S\0~tiC &fH^ŷ!=eh+@T<',_1- ׎OTvy+v]!Pb܎=YBO3{- e T mYB/+CetO6&x$c'8Xa[u`(`u"P:ɬM2J+[X+Da.mQgg(̊{([6&/뢶>dN}ߨOL`stO}ڃ=~a&%}N|k8b&ft_4$oq( }2~a2T Em-Z_3 S>) _c>7P"}`6OLZb;&o1|HB\\t%$<ؾ3`&I#sIQR3VL0uDG'd\@Wlt&fcg,sNeAb$ My"g-B#9`euj-9-?۸]zȚ^;Dv 3s#ei0!l%)u>ٻ\*DB R6 IkM"_S.ռP|i:A0l"mvT8PEvz񇙛4&Ք$2 3&mE䋸*ftЎ%|@SYG@(Q2WQnJ(!KdeAr gadH90):槄j70ܥ$#ke8O:zrEDϰ !vJ+E'F aSgcn e9*hQ=vQQ5 j> i#2i#rfU^cF3 w-*kVT%lj&>lUa{0gۻN 0'_5ݐa|ɽS[㉲xO:/ BW_EK=Zvݠ[h0"[a0E =}Mw6[j=OtZdbs4 YqHd5U gYZ ..G1W% HOL-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>qn& f%4 ruKd<8Tew 9HY<t1& ̣]\s:LhL)86:!ȩCW$^.6ܮ1,7|2װAh˫3VT4^4If4M j9/IФ>RSF^ZiBeuA%L2j`#(_{lhRXX:mc/AC ֘W5E:@ty4#>aI[_v%,N #{T/ArFXVqn佀}&dvzY ݌f]*龆`_y>"ZeZCgs6~^tZ;;Hk'JyL-ck pZ=Lh$,FfO:.~2ߨ11N7z_f3Ko})ԣ郧)]Fix*d Fv|D[%rU?_B^,Yҡ 0͓CY NUqlStz̜y9p8ⲿ %W::JѨ}퉻Đ6ɃM_BsQ56 ,sƷ3#̣؈7vHQc V@DC!SN+ߣPyS9L{.{nj_`LwCʸ/suooIXY1eaDl9s29VrܸW0ycx'tpx s/ JUs] 6QΟ\jwiτ S LRz& Sj:ֱķGg .w;N r&K&)ͰtЬ3T(XL^\ă<$}_?zHXP)l _Vl23-"Tp FLaGښAT~ DփTzQbW}\):[}J[$^Q;{WZ!QvQ˗?(۽nI8qBbkQ]vUh%ZaܲZ@Ny&2?QImOL0{VO&!N bAw"#6Xct ~;eanO@fpha1zmYooƃ\0n5`},mɘTdPѾ(Z> 9 ;/[(gĖE1cGcIL$R3u,SvE!Z☛"w4wұc9\g2C T)Rbqx oˠYܻOP1?8>H82>gtBZ=0_iqe;hִ峴I'I`[O\s,|]9#_rls?hXn0+ JX@ ۮS;pYѣc%rҖcS)c|)iđzoM Xߵ[p)$@ͦ#a(Q6so:6fG)_-nj^邵: 7xKVQZbA}!N$VuW# 4=t,^cwht~c*: &"w!ծ~'EFB{%.LxگH8}gvh+\"yk}H >/P;8}=A˪ tzv=jz Y!_-xkZ00iD@%{]ck%' H A2:d UBRJ0YɣjQcU_)S8(%r ӁPؠ20^у.߫UL7O4b=/bt6n > '8 )yZHbg0;J1NI3 K dN6a! t#=7֕ll }ñ1qgBX&1':o{eWv@V 9bu Q$^'r_ٍ&1tD˚je{5N=e9p%~]ҿLsEg&`}q&_!?Un!x>i pSy|5t=Am¸dmcU:}VFWC#SX HĪhSY @!a"spF=\isVV8Wj'CP^=7T YIa"kLTeQ@0ɇn6Rm`]9p';u l4h9 kpzea{,.3'4.?wՁ` ) MNU˼aPB$3^ ,d:Wo?=ܣ47A>|bJ+}9ߩxU4u~'}ip݅GXTppni(~$$_uld* 9t7Eaؘ幦< {T# :zTDuTq$dc miN^"08_EC7zQՇ7}>0*诞Uzŝ?Gy{ow?;y&As812!݄[d C$S~=[vG荒2 ѽP }#y~8-$n Qň(sO/|QK A[c.ǍzAJzaamߨ*Lq@ PZlJ7T#Ĕf״v: MգrՋb)JG@a'fI|~ OٱȗfHA '<'"$L|{앸u8#~haG1ȭubZRT9DZ8BU^<'m|I.)E"40i͋T#7>U,9TcVPx4}7P8޴i6$>޼ _0(eʵ HZpؼdM*tANhA {J ' ^i+`REP_]; SY ,ڢso x}Ēl艮ӂ<j5=? *pm߀KF%TàOxT ZԾᅱ܏٧c :l$5:G mam?']2^xJ :fur6_l3oa};dԂ#%. mdeE@~s_Ѝx *b_IԱ K;*7^'U` QH>c4dkUC!5g-˕_OvN3~2CRy3V dQ/] 9V^,e`TQJVM\В/S S?ڒ}g_nl+*)Pbq. @|y{6D&̓$;ޖC[utB1L|9HG@q4X5\Ea5EMi*ہ=aT P3D'@`Dv3wfB粎67o)mIP1#?8'&k o)c@owpȦ]aOK;dYڭ} tv8LTvrG zgxDUy2P/^rn`5DsLqg+O؏YЗ?*R8//.*QSwok !xMFj uqO*&-EhaLC5%abQ\1Nx;j=C 2M$pB)*ԡ*ȶj6p^7jQE) M ,we;k>IoC$شN:&LATErX>ٔ ^{ ,27{"kkk:>JL t:*X~/Q%.*p:t(/v 0rTKlb@d# :R7w>a|97_jv TSs@\aJRGkяzpÄYP|wj'x@V5[+zxR_M@ /}bi]EJen~zEr;- "Z}nY7SgR"ߥlt-iFY v%fjعt/2Ϥ倍1J.%qɜBe%'go±ˬRt>\I3kH2{vɣ0gii|Ĵ@` i$W½Ye{2>4zĂUV,p>l q2v/=9Zmg" ^3󃾁D6=_(M@cp{Syrbfşu`֦ȎkX炙=nG7sph붯F'=]$P%;py,Thޜǫ@\\0JmPRI=*L0"%okUG@Dv5w+ʮ _x0zΎ&!4=f:d9]p,}td 9&>__$TdVZ:3&n-jتmǶjn$(Q hHAK&Sc:bOkbxc V/=L(ɿSXҙ=i,~2zEZR^ZBbdhM kB|ʱ+(]=D)uYa~uA.a#*NppڂkKSJz9/嬒Uw }QD=Bn=jgY2"3JcXMf}VS)xMk76 -  _ש:l ]汎cr&KӓM= e4wڈ!:U+$G4s>(n]P&auPb2Kp! J*We~£ >qcXbsk7%]@\9[-D<H :ց"fe8 <@/pf`x>GyPHP'@wvf굉J1'MZH e2 +; Cwˑt] />=6q:0y99]cQEZ9 !@ABNA8F=Ϯ;Fbs\l2;lpG $(+ǜE4 4] DƋ3Tkן[fޏ 6 T!ӥH<])SjT+`u90L58PE0t Ga2]v(lӘQ^e@ÅY e'D*6zk7Ca $ǁ/#~n+5*b9uL(W9ĹC(Q[K}S=^ԟP8D@F `0(d-$50[ѥ5,G"zJFb:"o$hGbwah{25U4p A,*ؽ+ˬZ0:&,OǔND}bP&^`B3DTԬ=s,8UJ|Tn!#AZ  *n@ʿPڌgRx9ၙf6&=ex;(/\/8.0+ Dce rB"&ǔD_0&A)LSNsIitՂZI4o$id5,r8O”ufۡC]Ӑa_/W-&3DoaGz50䉲2׋@F!pvg#4UȰRbY ѷF;Qgi2xެbpȢy<4vKC;mm9#,'uwXg7-*x7k?|[%޷r+lLmWԷd-§JT[V^AB_ɢ0pnZRLk]cuH܈)+h+0 47砅ݥ}b{m =b$Xn;d&vK϶E$Adr Hrr8j< 0+PvB)/C=#Mfdby:/6a aڷn88'}et eRwR|)VDmUIm>xzjS)f+C48i5|vĻ^ZhWM6%'Y oS.~ƉIkuFv$ D5H Y᱓XƉgͽ3elaAX9{9Xla[hAP߁2cK=kw_}@rCĺA[,t0tZRi"$7OrxgM) M]Q/zc@D.;pimTM[x6Q1, Q1'2UGsZG9Pz7U!>ϼOYmp@@e2`c!H*Cg'A=bxM%Dq$9kd$fINb5Wmzh E#v#Šl;.eD\k)W8g*hyXm"0Jު&Ũs$,_Z .F1FuஹB<ݒw؂£Vުif(#8J77+quPEAwPi2.ipǛBiaN"Vig !Ec|,NjЕ{fEgLwYZxcZZ|)<8@Y/ E 9 rD9#ܮ_~,g"7 ?GYj*^>#orRk˨blew(IJc+I0E;$\Wg>C{4b I2b-05"[_\-T-hvCо,>7}{U^yR?1FdHx _a1\ Bb<~;.&hn}>6BDa{?l75gd[2=FD $hV vT<ʹgY%̙r]+Я'>[m |6# " H5u@3gx;r0IzU8iz+ ltuNƙ_ 6VthW3~/^꛿ꡢ^:Y9 NmӐU[aAo;=ѭ)6؝WM5˷l lؕ."2i( _r mTb%Q^[3zVTL6ce5#IkOd5Jo;%A<ƶ'L6~>(K~3`Y!P= x3323)ňQ2ɼ%a{ o.B} f]9vK\c`oEJ%#$žrC]^ 0F>PB@ Iv˓[SGLGt)p̝$AF#Am1e%k᚞[c? .&뢃ܪq-EᦈbGLj;gqo Fa( ezUiŏtXHQ X^W;d5M O31 ejcZ*R{dT a+@?0X>YM9+4t/RnQ+vk#[Rx)ig Y0]߈TWB*t!avfFdL5F^oOu>[McCFrF+S!3߈(F,)=$@KۿX,qtCmԝyF1;"Tı~ujIM<0vyyzȚ^+'F^=Pם(٢9xU_5ICED 2XeρUT#\؃N9g# kzs6 vkPpEj4'u{b֥T]*!XРH^W " WWCԗ7 O|VXW6)D"fڂB*) p~.'?UQ8ާaRԋ#^@̴y5gT.n< 2TY:ae }q WX+6 CO@tҞª:@8z#cH`zoN)\W l]&Y 9t.] ~7 (!\W|4׾~Sֺ.VMLA5Sx[Ù`>Rbګt~#JnDj@23Z/ܑn*Vj/L'@|/ 1.r1n>;4E-2»99|oBɸ,( C0(?e6&}rCc#RJj `_] PL4GԬCMn̼3p*۝E#+>£|dXTż%uK"ǡ&q~c@.pap].?_4~B29wRV*?a pG24y􏑑*C8/Y}/HZh/y=Ȫ<YŽ]T4i9<Ӷ&m&j ?:)PwT;@k _Ħfdr T>eƊ}5`d'N>Yz9 8oԝdVia{W&d w&TK] Shs7)\ls,/ !/Kʠpnj#'r2,T]3Q\'E‼i#i3TDɀ 3%‡W~o_H"ƋK-xbYPDZ .@Pv]iH1tJΤ]CQ|cXoz F u!S]nO{'O dc(i`pz +=/mӜ*e´A?F:j#5{Zn _qR{Fz'&d;1@̡!8{@Q~ބYbHgUo31^!Ț-BT+<٨ CJ[l9/=WV+YbU7؃V⒯]~_qN)2,êF$kg;}ZL4@L6{_zUFƒ5=2$+ZfSoqW@ 0L,V6n`k E{)+g_xC2ĒN?t~qQHOK1mkNW3QBA`L`HDܯ eak@hwtd;U\!pe3o7+4xJF2m&ψ۠b畼{G+c= ?=0o\7M@L gϏt/Ē r >%~gFyAQɚi-pB 7tD:ۻ؝JNb mc Q+Xc{n4(ܱO5\m_^+-S`J~Cv O<Oqq1ItΘhfz8/N3}^V8w=+M>dMH<۸i{2:vI$P! \jܒ /)ܢrϭ(ʤIra{ %&;]n˘#Ok3|Di[$WG#bzN{O= p?(_@}ZH;ZUk@[2_24įUE `rXeraܥʜ)i8z.-+[\NүPD~zy,бu85IJ , =Gww qdb>"[a3 37ҴN2LcVACk)xʭy8V9}!_F;%r?PpXx0Z@H8x&cHrL'B-6{iKG>Is_GW"L'g&!M,dOK IYȘ1#txe<9wGQǰbQ.mmNtq9Ss@!2I9LƾCn>CebƠH! $G gΰL[ǫ0 %-<ݖ/PV RȠ "J,`,wd T `ƴkr4᭷hP^_x4vK\@?j]bL@<-T`&gun?JYďpxTsN<-Kh_ `=R4/<lA)~FѨGCgtyL$ Դ vS_y0섥!E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4qY++Em IyhَU FMGEKQJg=h sȳF%[~8K?D=nT,)f1y;jH_h5I ?5<#H{FtysވpMCr0C?\foҮ$ʝqI咽5`c59.hTɠz%o&JbGdRĵC=gnu艉E#//RՕ]+xp]8.R[X]S_f/63 3d+@쁡U "ު17GↂrgA3liWV5`E\MCQ`gձ陷ZeS1>뉢ux(ҿ;arԊԶ"p _/6%A\fR00Z2f +ly&%kD͎.4q.m"Hrk) J0Wog˸4lQ:9'lZ³D,eJ{m FԤLR֚I`HȹQ~N D#Hg}Ez\A3fYL.{zoJɭ-4xIui:Z?Er-$jH+]i H5/x5caLi>M[xQ/JzѰMD.BQﯡ}+H!"G/^d;q;(vxz=ZUMqN :\>t#_2#y KzWQ -L[}"8w:>36:iY]n`Q@)sT#bⴞ}G˓0m8 &_[qt$P%fznDra=f0Ⱥmg b"҇6#~X(`̿M6hDnJt"a)_diBuKf a[r$@jndCE?B׾{y^[$XZ)mԄ9?6 7gArCe~|_ƅ҃p_0jTE(3vǿwehB,~$Tgw];$:9up*n*͟4 \o^z$V޷y1.xKz©㿌ء֗V+ˬmx bI#AK?/N !F]qpGU͟/0ǗlVYQɏ8'nwëh6.ݵ\処 F30̲2B:n"%"a)D(̭.1ym+7#\$,u]bҠ7xQ5Qq̇&eQŵySrcDB[`}햐=DWE5 %x*_8.@=HP}7m-1uhMw! d/ͽś?ԟtՅK08FiԵݯ9H!7)hg,RtA͡9D2\aDďu\7tK76 wSLgąf!y-e]dHMZ0hIԆ9R[vWVÕ fD7C9Z.cH8ԍy8?T?"GǸ ]˦Mlj\w"Jmk 3VWv]d5vj M1;,G]wQs8sXf9gOd#*n!GtqSsWłsG_cv{&#eE0WRGN!.͐Y*5ŷ@?M*hs5U6ڳ8n՚v/:G 5 QWG1OT-l>qjê9.%Kq[#iF񆧐:y%M@ yř IZ/B0|fsU{h&& N["L&{00T2Z4$JpjR%k<$`Ją$ʮ9Zd^w?8N`9OY#[Wßp k@2Y=l Ff0D Oᇷ7tƄlSDl x4kum4.~M s]>K1peB07m.JԢwt{@pC)Z+c'3;܍ƦIg+QiJ҆NŚe4_}Wܐw=IP:[$!톢Ǥ=d /lt?f3SqoOC[*^TDiy/A)>F8[.+\6}chﵜVO1q؊|9&f2}×ĩ:m r[gGzN]t,s %%>3S.ABUWA,^W}nC$j}"!mceƆ~eޡWd1AR{C :׿;(lĺh%:>!>9 ᴵPi+5mu>P(J vT !"]7w!}J fA$Ϊޭxg O+=8"`iT%R157ĸJwM Mf-3q!<Is*2ɲݶ Vyv71d'{xlY9&r88,yh E行k~=d6dV8@ކuw=Bʬ)^mQ:cڰu~3uˡY1{AQjҚ׈k'eN ִlzN*>Q+1WM#@4E}J0nes"yX޾Tj?lؖ8_v:AH( 6(o;< )/gN<5V⓾k}ˆ Զ2Yxnv2~>lt” #!Fܡ{_yӜX!k Ұ3MgpO֩C+Z1@eT1ǭ=E|WvB]>L&,Apo9  q T#KRiݪH[n(GHra9rP䥄|x*,Tc(K0ͳ2,&9hp>DS׎ːq8 JfdK]U3%y[ɍ-H">ǼZulv*4Pm.Rʘ%BSQ~N.OBs-(-f+ds<1/ i]H J}(y1gi]tHMcfER lG@5n./w:rkȐEr\Q۬.)88Zt6}}@qג D_qϬ$[Sit^$6OdSpXn>}#/)iyoKww.dW9y6yt] 8'%1"HgnrM#yEӏym웅7YٔGfh x7L$O 0z}=)-4M/5+!+XpD%&*sB UH{ 791wos쁔9=C8񹁙YԴݼX\3G L`_JlL$ҰC Y|='&ҒLGL]*;Nj^# hhؕI l7V!)Aa-ÿfT$*%󈿶Tq'Ne0^Y1;}M*4?zSI vmBw(:[jڷM{Ba(v>;zRJ0 vh<'kDLqLr|#{JLeyו W*{[,/!=FC=V/I/ uY0~I@MXZrNQZrn-ɦψL._g8V0rHQ朮hxmx\K-u>46[J7M 2]w?E ̵I&;%'<)- 2:pxHyjbo4'$g'&7欠ʴ&+)N}C[mb;IZ% bbI2R衞{gr&_^l)"] z%)8W ]O-_Q.^+n/;ӓ- P'st$6Ҡ4`Bh $a ,T(@V3TeaO& 8"_cC]Wh:R+Br ~.r/9ԓ$G0N9l;*Sq\ 7Y` +7 -X݈o[5ڟIɡ0r0JKseaZLt;0&N1FbP\fC,=lvN*iAvQ>8Tڢm* hOxhub6Y&C}# րzKRmOLLKtaX$Fs5鄢.HE:.+RMg-aԴs"^LmwϺW ڔ_ݷ uÓ@-Mh9ToAgR԰ QW fY늋4tTZ uqMXaZ_+m_BQ ;o0}rVQE,"\ m$@1 =WwTWd_zZeKKօĽi9,M> @tDr.؀-`'2C;ɮI"jHX:=xHdBQIɢWF k_uWx$$aȊS[FSb_OK6N=~ 0z'~ܘ#4\p&8C]=^woCeN>&[+P 0TpLo撤[S~!֩Ǽ׹P_m Gw/d]>L<6: g.HOkynK^o?@#wn{>h)v0, !J1i1ݪe? zMNbmbcǒbbֲsc_I6P$0;1'5AH$.O7AĘ,y9w<Ѽ+ԇ퓬AK a>%ţI-hnN8 x8` DIp`@.'h%>cH) %\jgNSE#LBL 6jhϐ̙=Qqw0" Pxe˜eEכ)*x .j"DRDdwt6 Lo!pyOBvsAk! uz1y*s\/A[L1TXM b>jN@OsU-mBѨCn*+_Q䐻|UȻXܰY:e}澈1 `b J{&>OutNcOeq;)Tω2H o__Mihj<;6RwP;@9{kNoR*4`)z~,`/*悀X*1^!.i_s~<+իce#;Ψ\#"gu9%h͓A & Ʃ)iW47 b[c!t9;Ŀ 8f. Hk\8D%:Jm81G-LLi:?BAp^p 61N2;O3{)k۹5&"㘤4oXETRI؄KH:2f A0UN|RX{fHCʈ*.~\A|,:rЈҵWiO >nV"]n&%' Ylq Ommz7 qM=VlD5t$j㑖u(o3<ݘ`fm: 5SmޑVktqd(]ɫ(<0 l?Ihe?bTog([G-rb`H4f.eCR=Yo;#x:RpM/Oȁ,TEi {[71HABf`<5%*(Ɂu:?aL`c`[i16]%e]lOiqE>y+2lgZ_ʌ)ㆅqEzcSHb{OD++.WS_t(m-?q'>$Ytj#YX|"{hpr1 :%Z'77M jlZQ6&i^w >Sw-u4VD*Uj 4.*7wO7 I8/("rmvcG}{1`Z=֍G~nspxi ^S.S6Aqa&0b>O)'q1MNGA5ID)钧` ʸ@Sa9`{f$ շja>Yߞ-~;ibZm @7& 6''2'JL̿t sI 9?r'io0'O j1Q Đ;JzB29hf?:8x|o5glf˸5]fm5*Ѧ? Ie*tE^hƦriA&^r4,:9CA]j< A'+|oz0Fa\` c+b]J 2eNc \șl=kk4'`Y+x{A`5dg&h_F z̐k@i ^4yc6||XŅ]ԧedՠlS H/%xD*L ܤRC[,qpJGQ'|1%OBYyj#&oB5nc)8Q?Z'b1(v0&ޢ(cTx~y/(-SawN>6:kܡbnz2I |9KTc;o -(wwK*jCD_9T>Dox]fn,X+6俛iF+6Ił{Hc-2ε N$?l>sYɨ50S (0&ȟ5'cl^c", _'(ytJ^hл'CZѩq~ M.pqZ!ᣣ[ig-tzE1pLBVx~ny t$xP߰Vܞk"fo_/Oz `g{#ٌx_:K {L)(˲ Q 09bl`V 0Io 4/n/X U:9'v`" O?(/U,}l$;9I5rqG$04RA+{ۍkؐ\Xu( iٚu7Ywu2YR@M IQX7vť#%:Jiǹ_L#qQ{TJ=~'ZUpOoUjX&Z2ʷ!E/*D2 hIk1+waE_Ȯ ^\g!d"t5.yuԉfnI;ʓesxcsFt.| g 0<i1atˆ-IȄU3]RC_~'xIcʳdvIW9;A0Cy)v^M9`KƱi ~.P)_5 uZ3 "1"J˜+@:p=ՅD„l)9SI (F+UWcL<뮏ϛlv T^(lE9R+\#׀ ѡГz\GcaWw?]QcSL)ܣCn$~nu>Tr9OeD'XB7L0%_{anJHC3J#u5j1EK( ZȤ;{<ﺪWSÉ P9q569SR\gtۄ*Гh_K.MMC<Tj4;c*̈OV(7 t6 =s2qݬ$lw@rT5ٱgYZ }O 1W# HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! U̠] !M젗O վV !l4M2thfF`qacy `ޓl~-wYo!h.܎Y; 6᭬u[I co0p2H!tφk.m& uQTr9mn6=-lPzsqic FEߞ{$|8"5iTaaOy C%F\Gr(u }8Eu1ߪAfff2M#.7|]]L"JrUI\y"2= @8UsxOQDqKʚ ]1'z"qDy6jNކXGjc!OrS"L'p 1W% THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&qV$Tv>`O70fisu|@Rjxc R}tyE CX-O\&sL'UcڟQFE7-ˠۑBLgyLOZ򿍡mA>Zr"uk>g%,M8P"-+wRܕߨT>KeQWD~7[i?wТ=NJ ؘA~e,vsWثp2ݶ\~]3=N*eV`1) >:&? Ms4oG+rFZ&|.!UfR1G3ݕܦUu/$9dK$fq+.RlVOu&׆3"LW|bdL:GLH0a^ԭFK?mY]>P/#n®c r+VBڽT _W8~-)-E >h&fL¶^ p\hY-9PoyhІܛ] sr_B~X=,?N8Θb'({wɎy=X +"JpqƔ\?H2P_J@P=uLjrurV̳pB8YyARL" <ć#GEٱP(7)w\A@xz!"l/ķ}^vKI !LO6@lA;Jn> !xU > >O2ܲP\vlEѡIHi7A8|%M.$EUjMH \n+(mRĖ`M=_m1[@[pt bc#?#-3m#,Z$>5Xa|d1 w*A #}epHj OӠ,Ĵ<۪])hjC1U.K.3Og~IR)+JuE`Ǭ5DžD?;;d-#>ahol9?}_w.RN7٣D6J[>#+9֪khn16 IoM7]z,# Y_׀Ĺ\qwsmﲡ`׊!0l4Xd (F?%NYFCp71qIӦ&Kža$$bLk9iNנ6ψ.t+QqKuw2:JRdc&Z2BpĽT 瀫Wce\;fs{Q2vyZ2` _*Ƕ$[T#JV(LP+;ċ$T1e_nFWBWO($BZmIGm8 (Ikg@`Xzy'ϵy/f-H}LmuAz[A38tiZ\LE.f_>~D`[5sxIߐ"Kz^^Fnb#c)/ BℯӒjf{g-$ $x4uaqY` ֣]:@OeߔN(%aѵп0+}'jItådM 5H1/փڒ9bEZ&>Ǒ+% H wnHca .0Uן!}=tQEPl]﨟s ^ *p}1_0ğD AvԮ*uGC+C$xSp '! ͿVDG= _Ԯ-G`C)7O3c&; H-7%1o,_2p qɚLoC3|e=AvWE^AUk4ۊnc\825Sm+f8/&dh_J2:csWIo"ܟ6Y9( 5Vi<8*}dE w3F7b|zN(1_W_zGqf )d5ʅ,'KeݓK; HλmٗO IE|^a7rwveh ժ,N~a B$8=n7c3vfD`#I)ĹѾ(h;vĎl{\gEq ApGZuAI0J3/<"^<7Oۍuhʧ%U7kB hgMCaαfvn :hՇKY r[!#ǡ0=ھ99 >@dQ&k7}({ϸw*. nwAQffM՞|c2\ wY>2㊺ycz1]K%ϳ MjomYglx){WBU-@,kN69K3}0&MMáB Y4 #!l7f8,és:߬=n|64zT`\sUsueƌ+{$dOlԼWuKBo圉,W=f +>5KݺxtںK~TkD@1$w4 !TkY?F]v؟>,U$rL9*ےeA3O:#5Pky4g bq2nG,]U X;gP|Xot'Ai!LCL\`ENM WU@:Z<k֐dzv)FYBz%elXerU)H?m k)]_hOW-Ums9F,ñ?B(*E g;>RB1SM&Mw=!&jw+!jađ;(g#K ll,\9<tnɲ5?4.|3*:}=Ut)۪ALE\Ww#'X)zb)]91 ;8#77"*8/ﴻ3mCnAh Rqmr>ͮVf%_bn41q 4kln 6V(?/7u.8KFLPOcUA_롮2d)OH0C,vfF:kvr/&Xgc|r }7K3 OsD$ п:zؽY}~#KGGuZ;huޘZ0Jx cd V"b  ~E/.# KsF!F7S5tFm=P+-X'c)Ty-!%xvpPYZsL(/J _8 7b޿H9.AWT8t0G7g-|sSǾ j;7!ϭ_XC5nj-j>S B/eUGT\띟Y2M4pWv\d G14PEvF'`?G"eNmS~ . ևWә+P՜z>'2#$ҠY5׌ȊC0*i[T#QcOQ-~SlzdQ׎Anrdƨ 크I/F)d Ҳ <0"8Atr_~5x ytXep3B/pNR888ښkQCQ(GAx#Gq:-Xr0g_W.; Jl5dAnO͔q-p,^v?Yp$(/ONP&5V8`#Q+YaY#u㎪hܹua$ff}iM-xOPgxj/z]gJ,kRecOĎ^- xkjWtzR熥ρؓ+c!h{Z0/_K!DаN=+9lTw,)SѤ^لwQaGüI8\4 8ҶS<\SX7z7 RfK8^(;[-~B"%T`?jͩOH"XWzK=nG~߮B&evp%uY7*Fs0oΔ_ RAst2]G7 wlD+UFĎV@#")t|漸Ҙ$m %~=.NgVT,@j(~ԑy##'µK3Xck-Q* o'+鵅z}xQ"@t,,!#E8CWMv!@Jv6.1鈴V[Gäe7F%mPf)]F bAQ&`'ۥU!SA H&|(7j@zq$ΗhR+ B\M6əs 1iC_vښ uº%5=(M5 ݩ?"S⿉Gj^EeFq~bG\ 0 `prIoh%ΜS< &MR8(pI+7|*A͛s4;5A2x< ?X*fk]VDwÝcIܳBR =t豒q޷1@ _4 5OǔԷҧ@'1_? wǘUαSꕸo+I x 1$O -٫tR#,5;?{LסqX\Ba& p;Տem<^|kal$ tvb@`7.9o4iɀ8;Ȗ7Y|uhwQWL@8d}PC,&Ԩt¹Ԉ3r 0\l ⑚.ta\VYfM0 [.#~F $p[vm[CKMnp_Z.ѯ3Y s׿E+n0bNW$rr X$q34%gQ/ vgFu\2A͛.(k~EOclfFhgV~?^b+eXe2c81\|"\1'&aG3"K%N~[ǩ2wOٲOis^lU$;j ]E`j<{b%n Uoc|b(){n"w927uy]8jHAa,ѐW}v,7a4:]'C?TB85S 'Ǝ+M?I}GDM|Nb"wKm_+'n+&+oەS2r6VyHh?۔C<>=c\;kS8 UbCZ[Pʹb=58d lѫM!SӁ{#~W7HoBnkGҫh !֑@I1&<ޓȲb 1x>T 9"ˋ[3#2X9o{>U72~*Ln1yl>V?f*ԅ)@MWpC4EQl|Zk BAP<zbS)Ao;[5)ʗwQ+R0v&ڲ\s>G*Rd_ԀQEf>25^z/W3bXD%ɝHK8#>Cedz 1+ j , O۬h>q |ƕBZj֠c!(yJIYl]͢k<_ ._ ]0h>@&<|'+A0 [d"9+p<]dᒫRzun^Y!2@3+ycO< R stTGUmt&sA EU m l\E~Ѯ,z&tJͱkªLϾmise"#¾N6yMd0)-aiC-4 mD0>vd_&f?|~J M&]9W&$xPm!m6?fs ĨOK%+NXMdztC͊_<a׈mAz`hN+5. IZ#,HH>:=/:GQB "\ԶC_{,9|B|ٱގ{YYZ%x⤅|̏GM2 yAh62#Ǩj%+|ϹWw7!^ 'Ë0f(6%= Y Z-59Q"A4cMQ(%vU4[ 1 ׈6MSjuYmPu0u03|}zX2V j#:5EdTOH yKg )x3fWݠQߋB=ōw924vfr#B* pGfCRbBLmݧ02vϱIaZ?!=ӥ.0lG>GIt;OPJLɑX.ê`qP"M ;e/̀YCtn O? b:* sE؋ W~c1ZP](>I([2A֑|IHYrrzYzKY}e.:Web/D\6Ku3Bd3MLZ5LOimߌzSmm^ `^,3؏v>6:ӟA>VVz=E<>adfu1|-@7GܣVƄ $ۃ v(xB"NG`it$ՑVipG) >-,=~f@'<:NH&Y&$'J^ѝx]7|UnL?`$g y66+!'Pb b S0^w9k@.N 6GETQX#kT IN%!ucvM_ǻ\ P2yd'寋m h*QWoXւ-:ś*iK+Ӭ#N} Omc Jj8*b!7)ŪZ y‹`z4E:KBٌA)pY*ڊ H*[ OXXp0)uC=({ n&CfM*W—۞n*=gZ$~K=Jz@X]%llNFDu/[J"țO(EXҰ`>S~b=פU5L60>ocSd\ ԊtC'zN z>qj#L}`.~ E-'pGZpv(J\&t- tJ&Ռ2Tb6TM;ZxCJSqߵ~>y뼑#̻k葛QQ>Њm}#9Ŀ ̹uC 2GnĢYGNiQ߀0d,^.]MuUH/k,P_`HX ڜz~wmnIGq[SǕz!:v)EBxђ3< nTЯuRb j$*o*>ݮ4x!{a6Rx@A=pB*5u#JZ5YG6N\1 yuOENT~R# Y&xj^Tѷl[%cS'~ze` L `RYq%vcLߥA ^;x ,H9kyNsO"! R#RKݥ)xg RЦ'삘>Z~.uPMr f_ <~|eG4 6\) ГH8R[J_2,'K'hY[9VI?MEG=)ɲ.2+r+/] 6 ҈wc4֗l<=K͡B= V08<@ջaV6ZY FűYԡueصg^(l(1~1ujSyrfccyPxL䡧Gce4Β-]M.o;-* "ߖgŚbQsaE-$H@O䊏k!x;̍l&J3TԒM'QGYG󡹚QkD޾hr;w0oUT J@HSPRJBk1L/ƼNFvٯγqCLHHՀ9A^!U}GmǝeXC}jN?`Vɔ7*XG7(\)B \K:7U=5; ۋn))/BG1kc {KY~##zdP.d{{bVi茇8\0j9@$A} AP4(Az0\lZ,>D>QmR/QH($sSNh3‡\~A{s[[LFA&`f_C:cF+`TDfa_/kS Vp2{l!uH@y|Aa5e[UԨyջ#fv -8Z;P87"B(?17ok y>ɩꀵ.:i1`PF:$݂BŧkyhƓovA}^LR9(fON",;$~f`H,#k[~ui3S*#(Y6p)[ąnxÉ CԣeV d =#(Y~YTבN[j3)uAm -ct 5`E?])/3.Z#'S9 ؁=^LZY@<`zRv @YoɤsB.VlaBCrhźX Q\+_l !pend9k~@2> )GEPkۡ> qү1Lp8Kx8:(hH./L=-i !KPFÉs` 't ޕEO#OOH3!5FR(}}]ane&.Ձj>sGVR*L7X)G,L@1M#ȍ'wx(D:#w1i_YSC7Nat\x1{ĽD/z\yiCxhY25[Fŵ;2`)@vGt‹M(ޢ57֌aJ4J?=%EmуLSv1_f>08>YRwzd6xF@jqOBZKi ԮܯqK^-?ܗOk_:z4Exl&eNr'ZZ0M-A_Sd&:%cRH9o?l]큋P7J\95YN\ņ'c-yG50QKx5D$ykRxCfAɲdΐ> d*\D1y<졵fl@:9m?K 5,'`3̡D|ö0!f9E Q(]\vo Ζ׶9s^Cr8M֭iJ1Ƴ-7< ="%*IRC ͧ^GZJq8!q~5]$n`ZД6ğ3zonZg#sLf9Vs\_31Xab=E0 VQz+rRZ?TVFvР\\[;ζCE>zN<}в BЃ{<%HfwRX7_n ZDx@a5+:,oCD,HZٍ+J8nX0 SX!nYXsB %YF&to_ӁVNl t%l J1Z% "8E $ ׈&_f/BpoZ T~aI eVkA9ԅbM-E:$@gH"[EqG'{#ޭXr&sO!vRvEW-\mB%h'ӓlP$S&l+Am}![Ia\>mFMk}u!{of{WI;7UNK d2+v^iXO6j7/}nEb?A˽ -,=%3Gb 1rŹ/0}F%Uύxf> ( V- .'9`1^OR3+;!&k`ǡuxmپ:,$.G/@TT9vgPyK߁!9#?aX"pI”Iaޥ8׹Ƭj69bXdBej$@ƅȍ7>1>hLY8*›- Y]GZ?rsͲM&.%-Op*A(=Ikgth>{M4H(Jf N|֨O6[u.65^*5_*ν0iGa/$,~e6Gc~j0(fA$tWop86)}Gq~C2z/W9wU^]C8fPr|HP%_:恥,j C"ls"nub3Zif. U;uË9Q*/6&UArcz2U3$BA~q&/UnI} J; ҷJh _|* `/_Gg 㢎[+Ѡb6Tậ; .4kZ b-.']Y{N_KyߓyGYT9ڽᕯ.sU6,!Xxd?_ڼyco6DGޗfuF7 )N|L q9'' w&d eB6 ƙІ9*01፝U"LysbtAQ/I=wUTG`u ރ3l}XvoWl̨w87d$N}Qt높9PCAb)W}lAG[Xؠʁ]đp &0ī8HA[7# eS7 YA^C0iF|E)q/M7JKW-/]P^8Qćo0pDސ8cx3v倈Y9ZKW".EmP,6SHi%}[d,sP'ч8HgL0bȊ=Dގ^%D { mbl,raqu۫,wXI +FA2'^ՇA-uMCH;o{,Nۏ {>\W<󦋏ETV~qc(ҳiC&7PSXǫZc ; ު;)ܞ O\ٓ\u˛s f$hA##p?Z@z/ ftfi z`[ (!(%jl{) v]!?̆p^tA`vrI _Ң;kʼy`a1OF_I |0 8314HljY5W}/V&wKpVg>`͙#"z/Uf1z)+kbPK ^a.4cy- f:T-%>*vd~{9]+LJfH_e~KWENhDk1\T8K&۟ i^&zqw(+Mi)VQfVS/x w5:ʀ7myQA+z̄Jz1'8nwsRn{qS"C!]I{uOuCIhmQjq&WH TS ֨Zw^`ܱIpFa\_3UٍBU1e5aMqyG H(Y'V[]7QYR:'Ȃgt {2 3nlԖȱ,>m +rm'6':dݡ|ݫ2–Tؒq 96_c!D1,:(O=9# rFQf/ӽ<f1k 3Wm_5b1ix/(>ޥs'E&;uS{ǬX' C,\aL݌d*{R-@DTrqhRkOC)%qIK۫]+W5]µrc! EX tZ:;`$W9<8Ɖ a1/Lba?382?\zes LoaҡD[Jo8գz0^p¾,7^T}? bEa,,Ӟlg{ШF(Pu݊K T6| RnfFp>;%'~c2Y5 p)9FoV_"dYD g:d٣ɞ£-/BMq1cJ䤗 $"A3OkI hvweEbG$IG>41_'-W^t$LadrHuO uH@?Yd.LgEo,8Ҏ; \r[Z<pX8э37yD7a~[7vp%0$/+wVcߕ<9BDaN"W'_GgCH\./fX786:b|lS\u682ʉxvh>:B[T~Ip $5a6Wx/҉9E!3cA Ո%d ǕJʂx⵴g̘۰\>zD"\:I9rHdz;?hQ%RRM&bA\ IL-(@YqC۹8:ΡDHp#eTS[?a$|F@ UFZa-q ֕|ʱ1˧^"io + -7@&kb-q]Ӫ5Ѕv,ګ_<(sQK(\.a tҡ|Kbm% $ɤd(wV?h5VHREֱhג#W{wp2,LFPf!I! 夙P<ۏ,ka{r7Rgk|\:5M2FK>!mJmW /dAeNJL R^k~{B$錃4BۯͲk[fךOsTN?b+&'gu׀ꋍeضEun}gc7 eղY6/^Mm",P>d.25,]v/́ߪj1Ip%ؔ$ )b)E\Nl ~VB٫a4<I2DvQ侊~V  ( l~E=YTwqjż`:_9OJ1O#2[yxMaRٵ3WFLʡ:;S7/-1~f=OR!nV\ҩXyƚ1 VP@zLp"+r|rzَ2 RWALAqgg4_qM?p"PR/,Ac_)gq$x=3%Au. s˸z:5N8'')| Se2|a7sb &wYBI肷KK͗t>)s$`MP\{$G|:zqqAys#FRTvFXE` w9 6W7}뤩f#`%@FLbf+F<zi̽ ClGm.MtsF8[ǗoXh3v\3mq["fIwg^cxܸt@g2lށgey?£w3xB6 )+ֻm5sCv}cws+X,ybЛ nCT|֦P|NJ"ҺlR4k(z{tqp(kXvhMC8(// $|A7VDLQv{{ t Ǭ n\C8&kC7W$GBCg43!TqIɽUԾ^ކDe^6)bf>wN<2}*fԆ"ks%h|6qX%Wប3ب+(6 kF%K!+]ʨ6}} 5{22Kaϙ!9?Ȉ]<T:b a{F$U!8_.Y)We(-$ld߹碩ZRJJ"ԊL F}7{{= D̊협Pd"",X #hm*Qq;] Ԯm2̰LqђVr#zN|wͮHR,{TK?6;ԮַSi 2&V.-R:$3TC;Yހ5Vd*Aɜp\R7dVP_Y{~ <*ji],Xv[$*<]|jsj<h53&}KXAZ!='@k&XdܮSU#$K]Y ~Q=V>]HUK#~+0[1OfkOS)twB=yGR5-J1E,98]1W/ő"xǑ(At r*&H-匛Ec!&WkOruVZ8_k-iDe$ |Ӷ=YE{I!Z彮~*oIjFz"kHJ1p9Hy:QpLj )݊]fixxRcw+C;=cFnz?~ۄ bLM,""a~ƒZBX)UE4dH? jk$x=yS Dub߅%z60;p].Ja_R/P@ا {@IKrF9ߑּ#z}V7|h4|bŃ%ޔ/j e7=2 wGANyIwqK`s26}Ri-z}+Q”Phx˶UH?;Xϼӄa\"dboμ Y 唡D5 *\C>839X{J~a<{ Q~X_80 íz¸fY@y:ك ɗ5O RZޮ ^bec+(Re& EZFq֗<~x@Dq!%ӨamI;Wanc-GESy| ӊ*1dQ}s/Gܡj >-Z3Ԃ$.-Ùl ycd#scAJm HPPs)s{ٱjTmE&궄zTx\ĊV[gBٟ!v@87t'4H4x~a>{L `Y Qav{V tah-=_lTm}aqVe3pXTY`J/e$ݚe(CkSߛ*}ݡګUfEO Noh`u.:1f BbƆR*FΊ- JDPʬj toI]J}'2R4Q( ,rkEϖŔBYpK΋.2N 1Ń$ƘTrub-M.ًbY^U@WGʽc5Yw`2[_NPj;d.44#ZOI&*Z$rP :&A=ďG9H!+t ?10Kb&BaU . jV%nm~mՅb;6#x^7 |2"L*ݡ&z;!bydMXtaiŁNwDI'i ㆼ.dcl0Qx50 E7SWKYEPui5>aBf:w(&nhY9 F\NG;Q>/ Ųrظ)}æsCf8DZB;Z.˦A'_@۟EC>aܯ7i -?ePj ro!^'P;|4Eq6O?L;|F̌@|{tzr jlW73"WS Dzpn8+67B4tȽ2!cK=mn &+V{|@LH] A?ķZ5A$U IPwث#^@)nPEƼ#x9L^|˭J6T{3u?'JZɼl " 9 K&"2:l.UKRY3,;*@POC4'3T c5%m#~y؉Bޛ9M?F.v&jkC}Mcn}? 2Sn_35fHF rtw-: ǀ֧NX7o&Ue`VeSxp  GG~6/R ư k p2RȢg\a\:CIy~| .f<޴]|[ \ /!;[u:';TNKTfF>6f̵{`x}eE6~~MNПb3̓ @Y|ڒ.t 6G}YLMJ$i24gvrӀ{Wa爘&'4FQg4E,(MNC,q6v[:&$Xܢ W9>pt_o␲SbA7z!'ΪFH-Z)t$@2A|(?Ҟ~~J6Reb}Tl.`!$pyжAa^i㬕h嫖v(G}:\)B;X`hrlq?(L6tUwY,1+c!2}% gn'c0 NÓ{yW(CbnA09Sr+hDH.rn%6a.(oV˭kpYJq ϾσW TPE3u7|S;'52e?D{Ag. -uKׇGڀϟe-볇ׁNUs{Vbzk(J[@2)ql1X0"oM:S-}Hc.0,$NtɌePo5"n*8h K>d<XA:T_j9oaё#Ăͤ2]M޵_Fj)i.%s@Kz F02U-Q1=1]B+v?߉Qg$_3E*R֩!gYfw!͗;yÖ;6"w{4pA㱾An['O9o:_ے=+]͈}Y .\4Wv+Lw ^q+#/CjB`\\NQ̷tH>G`)*8-g+)=z٨ef1'eF%x \ijy`! &M1w gYt}*n<C9djEawԋA=\>zдt}LK[j`%DUvN&Vџq-)mɍ9 qTkxj&.$v_\Vc/G; ȸI=FQs&z-}aOU,f?_$9+"VQR^@=Mkz͖\II۟!M0o!@ IEdo®kpj,Sw~x=:?_l.[].j<#5zE+^%exZ"U1p!a~M]$H*ڒQK|f+(+41v=Ddqà]O2QF!tH/4&`/4S=~`i-Qss_jɹs:2,f/[!j/6L8WSN+ v3.50]18>hDzݷO򵏅a.#Y8zX ܷϕڊVY”4-YV(6xVY+4-L1% wAC @Tdl`y٬4..3gtNʍ<]ksP.oBT RRFD[U[lQk|2eQߧ_˝6XcBǴ<%;Ws~;+z[3®"!Q*?#sf]+2A]ᬟM5y`gS8$vБ TFTq!u4PeͫDKLuBn/<̒~,u(+E pr,Kt~5('ąw\wR Je.4[TgW]3734[#R# _Ouz4%n\m/F/ " m(U *D@ n BYt BEƳ+➣22Y'2]; (&"rŻ:}*iWSzhO:pAíFQe4@nNXC UV+m~Eckχm؊+J^LcG!u-ѝz`lN4s4CYV; sA %h}z3~rB UCJ ',AM/OU H+unF_%!E3_* V/^^@z@ Uw!܉CzL ]Gj`h IC+ZަnlYzl&ؑ Gkfy GN 'Pϡ릱/grN roiϑ%N9W$ =Ϩ &huA?wԚ1$TR`ű v266DL.= Y1d֢zS_"icd:!gl';GD,7`ΑBK>]1r~S,@2iYuL=VP?wQ~`2!f=:4/G lܱc~T)۵sqj4w=Ϛ`N9^uvwxk sHc2[kmk%FѦglmv?S=fJTM[=~LL!bJ1DQ'!Nx⎸dWk=͚^N\cQ;zP:pqy-uԔ}=qΣzEve`KԒB6]ȉ#7Nn\DyNvrK~Q)1ը))=NMI uC\1mIw_Q0Lr>_ÌG̛Y0Q6 9;ej2^sLK H貏 @YQC Qy!t {[fsk gՌT9+1>UX~COx0&ܚ鰲3*w ~пXzdvG+H-wRVc f@s wRέX #qnu:Y`ŨvnYqe\]_nLn0:7G.GlLCDb'cg0#d| k)V-r-JrcЀHMb*r\\gQZzeg%WCje_T,ŀ2.dIe.˧4WlۂC 2x=VŸ875;p|>'2D_/ef|kr4R)PS5&cy;Pe:4vFQh!;6D8sjG0b+kQ i*\\m D*lUmᲚGhBZ&3r_@=/,v (q>3YƓw4Rbw1%InD./g$)d4uʝIluѠ¿mE-l#|dQ'XdGp߾3` =F7TX9iէ{d<5:͹*Ӟ3=7`\+j<㮰h/"*36n8 ⌕E-y?YpDz=ޢ*%fz dc@BP+E"eL.d}EL" !S:ጥF{6d[u*86 ,Lo, x~?;Y] v )$5t~dx4f%AW5kM JhϩְS~Ŗk$`_[3%<~Bm5$+3dz׷S OxաjX]TVЎe+ؼMʽ{g[z^zBnUm p^>%'Zuqe^-q~SW/WAW}"GN<xX0sJW-{RA|%ݍIkQcj.*99Y,ѵjVsMrD~"wl=\A./szMe^]6VZ`2%nh ~1YΪMH`A 6}=4jEh]1@, GGĽpM͸Β`ֹ|jd%aV9YS ~g"V뮕sԜĞŦ%(VTM<_rٗu͒&ߺķm s˪ߘk<*8<$݂ ̥:9"R/wwG'eמBL ړ-7W5LkGbDc20[w9.5dGsvMUi3€Lv YP2U1hl4=Gv4Vױ( HM.KQǢ5DXGU|x"Cg:U5nBڏ*&87}y5Ci7냁 K;|6JL#.6Gpj{֕ƌydɝ;8]pvG!wNѬ0zNֿpp哎vqQ=Vn2@Fz7`1al ,Tc[;H fq"kq|bZ`s_ N`GD[SwU5 ty%Ѯͫu v)N U]BZsMqj3Wo |A![pv!T4 ALO=!WnߛKMpN3 \gI?b D_[.: /)wPWifҭP":grwXKsexld _[ tli7~d ^w,>kct䣳d~]-}R R F/i9e_}:,*st(;J:_4_!z55! 9ŧXO)}>(|T_>wIfNB ͜yzFw"M[x07.PO/b&!("E[HDNRV @ \{%W4F U㨄Qqg1;c<}:ݐR˛a-_+#Au_5Ȇ5yX•JY{O n wJv-ad 6t-]&w}Pr)EC-z}#ThrhGG`c?դL 9NEƹsһK@?TѠQFPQeNLUu4˜9mb/99Gpg/IEbby!@J< IFOjt,[qa7s:!_;ȅJ%в>(tTW'N51"h떣Y$MM2 /<$ڌCo%C3:<ҋ 1aϖӿ>Ř v*XKY|1QEL=V#\X8tږ6:? y)\ h$?/I$UN[*QJt2Pf &b'W\@U3e%a!zm+tGЗiF:4~J*rjc%P|/+6A 0Z(mxrV# ܭu/ 8n0@B:#YSsIKM~9vg'p"Rr:411:v_Wv:'`i{A8 Q".4H8j;:cɘrIW4@e(*[z6e1fF.M Og{YqGv_% %%ۑYƓt{:5e׌ᬠN?m֙Bntnڸl?nas 瓕kЕKk/,#>QV5Th3s7ERꄎ(8UԶNk-Y $W}B!ֱj!b (?4,9BU#oIwB^**w`P4|*uK&QG!vi|C$lELj EH+ș0v_7@)i?WОY2@*8 tRJ.Y\4?7CPabɬp+& -*p>O[Ac>TQl3/ Vf[-Ј446MlZB╕|6׋!TYW_Tėox M[T~Ē@doc(xo'rQɥÈTV$|Vk35fզk\#C>!^xCgaʝ˜z_.V]IS2M8gu&*VZ$'mFM}46T3!6{@^GHLXkc\i{AU*O8;O .^WRB^#쥟ð߹Hw?*EGԊڡZ+5 jh!>\AQHU^+ y)h#Z-i_|<ƲQv爉Mn+ee{{{4 H}淆J"yv]~rU bݱхlR8ϾK#? 7^:!@敓̧(ek8ta6=ؔQͪUSR`o{Yv%Cn!z)\]2Fg4k2E:ވ3!$w։4OJdHp}B\Bԧ2cRja;[Y YgιLV!5\gNBnt%.5}SX{_( GrMc u\ \SR{Y-^=X2-GOF5I \éu9o41p<&`uQңZ#'nqg7mm0˻m>'G~Z]@Zc} ڃt}INX~ d-\Y?=U&{f[?ޤ`tj.]ZLi2Ǥ an;ʳe.Fb0(\s8 K` aeٰہ8Ӿ&AI Z&~$R*_,YS=i }E; `=-M^i!Fӯ JwIR6Ő9Y?W\6>mfځO2$#ڣ zems8E~/$2^Ȅ ;#*|ஷ˥ ̭2 榷'QXmhxEY܊9x6B26OxGu5.0柺Ct : Dz{g~䗀&lyfrPlPsIOvBP2+[txjܚR0FncT\\!83ui**&e(m[@a=ceYhx~޶W+h&$ȡ`#6nQWn=Q*4&˺ by`I穮FK )Œ<@idZst 0 $^'P֍ڲ,9uR9qw "7D>.= }X#C/'fږHĕunK&MA+Ա?^uv0еscşfo-*Ypf8Rw| "ǐ!0cWǐ%\4]16 eܲGj3n巪i+ ]RӹMק%b;/[.XPJbWRHƋ{$=ȧP.iep7n(|KL`Kh { ^Y^Եo$Պb8h 8 'B%"Kakoblݍ0eA?mYU) Z6͸2 lS&2/r90 _?!$ iV(Cf*#LNό$0ޗuV:-Se<%h-Q>8%~MOJ `O%45Y\oǠ)CO~dL+Z/! ɑ R<۶>T!Po@*nQz {fcqWf7n΂J~!nMfyΟ9 ־H8 ,1>oR#1":}^PLJF//vȷƼn9LW*Vo?W}6c.: ˡ9 2)cr0n\ZZ;9=N ɚៀhUKK,[[:نrPMѶN;X&;~" ~ps`38H˄@-O= xk.zךj F/pcܳ2Y l_"D܎|A_ 9v?S[SdyUX tF?Msjz;"pgT%)w'] S-3-^/ٝlО;mݴsm"$CtqH_B)d:3CpcK j D!h1s3׉pLh ?DӍI8i5=֎# }M燈Հ?" -'=DVw3ux3<[-#h}+5gNIOdPHѥ8w˅(wMbdtGu,R4W*\Tƚt ,R޾q3vU %Vm;Ss o̰T $z渰j:Mb*àu"]O$҅$BzPG^ڱ3Ԅ #7۾~5f:Fv|r@&ZmBm?/yYu4+@"DFmlaH-`'~xC\B$'R44Rmw3J-g^[>7fمNT|O'Ŵ,Uy̯e9E]U] '&qp%x%Dn,9ojq{<"YepExJ٣wx+ORx=㛒bMAboj?忯Fvb̿dzżԇv0D`;ѽ:h*Ď {noj &w]\T):{v +꺜 eC k,^YV䮻֒~#X5ˎJ($de&GJqꊻ2C!_AR{O2:6T!g$se|%Ǎccr EBؐ܃(7 ﱐ\ VibVtiCfB,9*ô\p|]]gt{DVY2FN3$H= o]H\2W#C9eڹLE?c03Ô@$>3ʜ;WtiRoGuš"ٖXg)b|s`p|lBceN%VZrx='mp{HwCS *C}GjwʉӍ;;q]&]IFzE ͳC:2^+?!?Gp ]԰@\s>Y>+cDI?.+6pBxoôj@J {DaMBg?wn !. *3&)xrtzu1ސ05j}kB{jc}687NcݭkKwg؊T+`B7%3aar@u儗Ȧ/ql|[+dUī[W3l<;yߪ‰*pw; m!0m00OXPf4678O RyrSJRfҫI|\R&7Dwd ^/pGFn͋&8Ix_[m< ޫNx$t_r&blKy1> ] c^)#V¹m|3&;$xIR54;Lgbk) _cl.ܔWͫa3gYZ bSb  1=# $HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! x,a ] !M젗OFK?f=Ь*f@T@f2Y&?g| Enrl̪ʲZ_y[ t\ +_ MFEz~ e9HCtjLf|gQ^_ĸ[ 3Zr{fZ,20 rRDeV -|7o6m #`-E22[\)S9pגr+agI])rydgJp:1By3䎎1~,;0% P%nFꝀuI;Z&d;;xoti15y\y^ .}!K> @ /Df_NaIѪ:`8}f;}8HNNr7."@  Wmeӭ@͔ \cnp%HA;V?LYP2WSe\8N6o/; s:g7Mr&qCFwVF!RYZsg`h$i8 .JcQG[oqlM 2@c-3% 58RSt*F0> eڟMV9p =hȨmv88f;&j7G׀z :ْV!'[_H#!! ߔT%wkeo~NW|8w~ܘxhƈݴbY^QQ#lҙT=O,Ho1[ W349 ºx'rm8 ކ^&'ˮyV&e=s20wtSkk6)kX!.db#{tsg UѝmX,&6=tY[<+m#(_¥/F DQX]\uϞkG5I D-BR:>-Q(mix%Bֹ[IhI`"ܞZěk>(jXm&`ŖwB=Te򐸚(cC+Ɗ\U:\m'biOGǕg>/I`݊s iCn@  Z䝙lb)rKH-Wo 0%$G;erjjf]Z1H(9XqѴf__% }/H;Kw#K1F46"~5B~l3pnr_UB%Ҟ2ٽ̮m@A 5+ۘ"S>{Kq`U.&vpdEcK$ɡ&ig_4y:JsͨJ6~*ЬDz >A5Arr}5{vx8kV zmUtk{Q"ů|z^ /kO}ێTtu`%2ch$kPg8;j~u/,!Hb/""jR1o6;Fא2//"KmZ/:z cՈ9j..?M ϵVZTLQ71߈gF/!LپdzT<@^q0%%>rw [3: Ȑd@PD~׻05$_lyF3[jPd| "$Ô7 `Gќ}sSvG lϙ])@5栢5D F!9jKZzM*ªR1U`+=c H݅v)=iDUQ8%ʆƯAS\.k"Ɣ]_ Ϧt=d^6ŧL''owǰ6}*^r򵊂½GO~F.IgQo͠Iϲ#R(+,!<7FˮsK],IKtJJH*`,DAB:ډ9440)C>ґŸ>?]5sßhb%"}pQ&9X6kxgYZ3]\ڼyOr=Gyj_v)7I=Z^j]xANXn)" w}kd} 촟6q%[skeWJ9 #bvE;;Fkľ%\ܫ;oz3W .]2E^֗|˒p(DESsN N rf4NRK7_um}յNDHx ! lf7hԏH'2+"F!DŎ}?wF[1jjE~zu_T'Ke'z-:?!L"JjShվ3>~ZMA$)=F0"BAx3u 7p]G¯0϶E0Babmњhq[H }ɄN&^j=^uaWNeN>SrZ3iSK7ƓY6:\D4Std%x,K+>lL AV:HF@ Zk5f R-+YUn6 i2S)֌<{\GʱRV)~Vg髅q-~]ǿɬ&$1f^A__ݿ)톉y}Ԧށܱ>m :liB쵔=20*ۢ|- ߞl4 ̙W^ uK*dB*e|=D0L0 3YZ\?FlJCUQڬuQ_mBY`bHm.Ŀ9Zg|cʗI7&rxy/Xd LY*kAu& A"}m3۔j 0jQ&W9Ba%S=#Hn{1P@xgDߞ{^XպQTEO\.[ōI2;)]"kj`*l /AwAm1O<35[ MxUwohi=0n"D3_ .eΫ]k$#p{׆ʓ`G|oXY`q_ϙ4sa|-YDTQHpRf$<&$Ix`?ڤWD~nrVr?ӥ{/ !^0cyF)䰦F]dbx1#ibO.̪!ӰLSԙ*E9|F,[!m> q1<.Tz}̔xrTKݮমi3^WxPx u V:b1G]Q|]OPpn/LJA*{dSHx0pS8 qR=bլ~$/M\0d&cX[ģZqi͞3fԲX%^o9D,#}҉Xd߼͐/Uoc9ןWa&[ZY#8!^!5jvs <ZuZޕ-R*A I3tި0ۆ6籝Rt?I[,eS2oo6ڢ2’ e]֩{eom57 eT~>cbϢ G7+Qd"6#?mSlVh饘49u{mduB%!(mCΎ²e6*(MN11`OIq×8dv!,j$RP9Ʊu< "lf<*({]OPZ9۵֠k-N ѝBIa7 L}"#[dmWJs/@ P͒(G瓏7[+]Ee d>@gao㡩N<}|\f',)%µѴ(< hMq2{G)l), 8>Po$ nڐSowZdIEGZ+ձu_1QU9rԼfA#bAbܰζ8Ce {%W0n' "uはIDgJ npڥ`,ǴC^``5e;xؖJZM\}SGDXڨ^ݴ8O?Q/nUEh9Zˣ}(Q,׏OqM"MeBΟ>Xܠ8-<SIm2*oA=EPZfLH͙ _$+UQ=eee~DH'^ Sc (鳔eH/fk{S3߃ {76qSmwP6~w:-DžFsFa:U ]{ `˴??D`af/B;bzLD R5I)o"|rE̎WTMbF.Mku⳨IicdHi\7>hW7ɋXI,oP)3y;ܢ03-_hj&aSq3eosU?NQ8F`u\llyLY2K+bg$ ڎK cz]txw҆蒊vnCHu O"`?*>`j ;F;YS'U`fʮsD.^Fd<&vvYoqtWfT,G0>mFxY '0jCeOJZ r!ZXOK\#}^9E$A1=PHVžèi$u{8vOl%+3cE֦tӔsGC'e-^lCe5c,k%RU!fYq]w_-JYQd~_=lA.t+bļϽ%AU:p7ԞɶmOP?1@bO8|W{07E8㑊[ŕp8V'OAgYeZR_ M߿>ܒdnޔi1bgk;`T\e @J`]5SsQlh'ϒ7lpy%V]>KB=k؆5DN*[5p^ ܧҍ4MkWj݇*290[UkpZspqv0%˦̑nD`!/`+b9SD6 JSa|yz]: +?%l{K&C:51~27BUsynۄ`sв1T~c42h.T`TֳFrr yz3jQ瓅J!j oBUpj,ԟYMi kÃog[qoPR+hT2(t$vNg=H }K.+V{\NRHOv7&;s bHXƊBd SE7Vσqy5؛!q|GE?u 0[UUw!տ5'TQJc|B|v*9In쥙h LJEeLX 8׷ݱEBto+[m՛6]^+M'R̲kݺn"ﰅ ,əB?0O*h[e݌8W?L@gu튓O'eZ{MKhCȝE6ɦr2=ےʛf6/,|lX;|> ֻ%8 SUEGDpY \薅cyWRQFuU!e;uz"eS>nFKtag X60XDŽu,ei$( -q]Lё62+&R*F.`1=+]IKqyDJNw@g# IlÓY" ǹFNJ dD/iN`Da6uٌ:q9A'2gM:zίM&8V  <7?[Ofu}ZN׾|eѐHhBÝ"3vZozR>PP.8Rx]۴a e[r+ѷI'p[KVtr|/(v*90dZHZ]fE .+VŰ[_7} prU$#-ydM H2'(L*bZ%KIЛiH O"TPϱ5Â4 ^G*š t65ʰe\>ZM5rͨbź`Pd]sDJ@dVR#?0N~w!lC_WaqCQI3D'DU9{ IȽ p֎8L28 Td )1O,[;vJSxN|Vvw^7E2tpzs]?SjD=M?#Xꋠ\ Ѭ{gj@V}ɁѩuIE!Iá6ăN}]u!:}Dzw3cJ0-WlWN F¬H_ WzicxݝPR4M<beƝ'5_c]ʱC \@.{E䞆>h[P AWPk!]Jab?ml,2U| YEE LTZQ &@6Gį~;|E@ 3mz@769Fx7pHsd"RDŽ qTq \l-G;!I&O IV^z+Kj2Hƶ)?- |tiOty16ӲEH} ~󜍽fq\HjKI*u{h~tCͩɕ@Lc8 *&Zк"8mn|G6i޴V ֝ `¨o0 >I<+r ah#xSd֞0V cf: Q,,({M\xxFmً^nQdhlAw^WFd,gh j X|8Hcgq9Gq`9UU˵ d%<"\:A| py&=^`WP!v $x|nAVnYh&>El/L4j:%%cnˊ6[s#[B(ϙ7|8͆I}>Fb}JHo,p/?S+yVqA7 u\]$g nKo}Qiceܨoh0ש~$yh %jqVwWxGZ lm3d^ Ijrwd.`?ǹV*kDzH} g4rn[ӱO4x=D#*6ij<3XEj QT ҥ& cst/Gu]FfxT 3Q%Iט3rb{EʚmhAg͚e-Yhpx^V7y>+}z"}ںCJLư7C+ݍrNf0?FxȘ(1 %p(E$952fJC@hɓS_HYUb+?|40fZbr;]v.b{6̔٩(f]pƸa5j5>u$뺣fCʿ,; u[/Pۘs;.s Ӧ>'9\=:$AXiqC*s(|#&~.Y?5ǧq'_n,'T14AQvX?̺©*Gy2^%<??,dQBzr뼑gKa`< VHg %*sRim|1$ ޺"b~ o 5a&&*zW/$ѯ|MMqȺa`k>`"B FZMە3'wM( Ћ&ec nB?}!L~t̟棆zU}OvNls@FdԠZ $@KUvB$n2XiR'Y(+9MӆD X}{82ghՠN[9# i(C߼DjihWZd/0X…b7)niIV}Jڌ#*9҆]˶CAR B9RI9h޸d'ez[q |0̠.W1!)u݀ZEKoTɟ!WW/pNHr}7bdH1hTeۜo߉}ZbY-ܢ)h]綻ɄECEO*.1ye嘃esԊm]/9wa&l:7sH8h%R!ew6?ɤ{@niq ިKwM-d]+@8^+;K޼hX\"̓`*) Ϋ1- lu۽+/l 5R݉4 #Gvn bHTr_5\4rp^h%Sm!3<xaEp&bog OPXahTR% zu4BSL6\Ԅ `UV$Ŵ gI}>}gF)x_4@ ɝ@>9~ {/]?",q{ْ]~7\=bDTtPI `O.Ҫ#AH+ׂ2IJ*7ߘ`.bσP?`3-.";E'U>V ca5ڇRQV Ҽ>4Խn_ yW~yy@pSGCX%ikGXuk#P,`7)VoF'0ɡ{ p)gGTD5 PͿe-ZUE8N8kg3KM\*&Q~noC*8Ci#… y.~";hFQ;il FLYO52hf}ϼV 񰈾]W=5/hleaͿ Lܨ|M5&7fZ#@a$:%P߁lX&+8;2d3pf@Jon40q>ԣW`bf$sd)7MuУYH;5S%/Bz$K,@c䍘B+x>.b$"1ELhIK9ֺipШ툾~%JTp_vJ3$("x5`R5 iO.uAss ǫZ9X#AƧvFOnĽO߄LUu_;8@<(DD+\o7/d|iTUM{*|(Mox\Ʉ ?'aTp!{·5OY;t$ߗ5l}EZyG6Ffi0V>TI31ؓen?k9V?AR rmMv0ܪf[L_ T)|obk5ewyl;/fxȵ,|bZ79 s*/tЮwb,`8{)^)UqU1 ٮB.,@)B^#Ua@ t'ufs asux=l`UVEߓ"q.f%JwrEb $I,Dރ!;KYP};U?3TMA#B,'Qߑ}ȈG/&*!ʞǧ//ң-Y>`ϐNfdkVMթSCw9N.%w-7Z/W#B~+dJݎ"iTJrz*!FҊ#V!lWy/#7(sUHp| ,1X,%=ORL1oIxˎ.Ru۞1XU7R wTcQ^dEه#~fY ?h'=wР[Ʉ̌[ .O<4c .̇rqE~J"xb>ڔk]JSZm&KpKGjCO`d\F ;O˜Aq$=%l\Х;^~Gf 'aUŇN1\Ml͙{#&8$_/lHb?S!>hT밥{^Q elj;8 P3?Vy\ +q6>lH"4.T0#8q?hƯ/\=aTVK{d oW8ǀv}|Rt*l޾3E47?;=Vl;2{eq׻lT,|F ,댍?p4y0#B΢Fϼq=*b5&&)d idm\A} )Т)q:O.!)~r)P %{U^^Gk.v^X; =&/UCSwƖ+N9/L VVt,fpS+eQuX#j670zXL. /&)7Q8q=NWJ7LJ_*B^tZqbnc_߼!}2ʕ:삖?yuH6Kh/@љ7*{5 `O Av|b 7h e%T'>^=<'Ֆ?n6nU4(E#^]/:Y׆Ĩq4s'޷V;lK[_';. b*4c]:WG@RܷAcXWGh Sޖ6~{@Q+tR7r.O#xuCI-U ӑ܏S6:=r@ !*G)NE i1[c{^DlV_irByq3~vN7b՛Ua^^җϒ1>`'V,]ɞt(|\M/( yD?T\-06\|n㍲(BF̔vw#)Y]&r"47 ٗe p95m`ζY s%S6S7d ~Zg 8L>Kʓe(;da>0l +[7aV둼f3u51pCv< Vx曰4wj=^R<_ k!߶TvNL[z_Imo b;j湙F٦^CCd2D|"9qp -rB̍H`:PGaIq\ ߟ.%g=`@љx2׳*o1Ѯ@nvcYS+G-%ʫv9r4fuG!(?A_۞ڴ9".5s!z-}/z7I@vil^%|썅> 3|:#9n/[V6Nh3TάVo;wI>_xp 8{qA].Ⱙ>Qι|P-ds Lhlfpolx\U$eQ:晿|D(Ihe Ϝ+ K:)2\5>XBf7n!%>BZ*x(AaT$BG`u128~3V" v0U,O^'m+u0~m CgTJf^f911?(ڏR/ G1bp|nG\n" `pΠ]MAE#.e2 cYLGRҐN*+GS&4RT|qfNkK1w[G/!)x]1ԇ9NmB[PX||jY>>RJYo&`Q::0˞!D8a2ָt g[֫e}pۦuP?3uV~>'B:'^"8ȯ/Q6 0Q1EG6ke7=\!r| PnAzWԮ q{ Z@D]kx}Dy ؘGy>2^q䇞̈́E '(j"O 䵗 '9bh`&2&S!GL2j?2FhS.0mDWGKUƶW:Xu"lf(B .&g'zVѼR"$l>S\seˢɗ|f\*8-"cEG*[6٘791GFW+ZPr|~/}o.az$.܋iw^jf~iW߁h5aȏ~1cRp|tgV]jپ"fc7X j"`SMia^{L;R``ʲ4%œ1YA\p\e#5IC<;g[l z!}ݵM^jOA ~i@w|/ !zgk[Xt?E,C$R+Z}Mz-gI!$eVƗ[WެVdf42گ*?Se/w N.H[M{Mg2p_(9(CW+QkhRu`!VdG:[k]-٦¬2PnH1N%;{r o^vʧP㙋*v xO+G\`Ga:)ϟf9V&QSF5Zd uj ++!yW+p\,H.NkU r7h9cZ@UWu$I:f7Ng4w 1ƜK}p?CS8p}tu fH@qWد!) j=ϛmIlL - Ӏ̪̀\U R#w (+ u1E;1%4q&M;qJP֝6;/?@بNYTd-21\#֢/XcD gY-%.rꆩil"uWt9l͑s=g~FL| eyVduݜOae]i]}U6ي)Y[ǖ¡qPYJu ? RQ2Ytj!їƣI@UjDM&ck+j1HŵmQF)|J4Y"5/R/pcO:(^ytKh-4HFx @fˉipSfOkۊMt59WMq~ɼ|Nbﲪw_ [َgGgMh4a(]g9eRyjtFseP^s'1ÓtZcq11 /mmh&] 5|U:l;'ITР}mWL'J5i[?#IS%%71ГsӬY7"Wb?an@n՜?`Z-#B ہi ʄ6sOll(Aw(v֬{:&5AMI)mChxKxh,2.PNRȡ>A&hD|u)U+lq˅"JK>..*>(lxUx`z)*\eqA-@|BhOi7(Sy-V FFju0di9jyJyɖUZϠm;CG5aBaӪ>K~@+F$KL-!RS,4&bn@h]:ۨ4JD|e`Gj!)Gsc_-O]t+8 \ʥDPw!;Pދ5NͰdī+m.(1O%>UԙTD P,(5~ Ş#kژvyqXV@^'IiEȠ[Fg#4H*XV-ve> "3C=Ӟayl>ʮ9%u_sgC/k&N0*5 絜Eiy|Bɻ6.XA f).x@+EѦ:;־q; ;a_NxV#u{OɁyc`n<k}!9-%xvd, J^CgCqchw3[&DJB>,T$)۴*Nj~ް[DZag&v AǠeݲ ,F $ZLx7p&T{nss[:yOuE82'N7?[~EHJk~s"Y?L/@>£icF !U10&xM &g: ;ULjf/9ޜۓt'uSFMo]+p& l>fXE<5|ۊQP}XnR]s# QQ.fHӣQ+m4 l#CWcÐ3YcW`Ü0 aA#֟< ڑ0J*s:LkE^\`mюD:ђin)#Q~AqٰiL-6AVuw +:+MAoŵnx*c(e,HT3q:8>(pfmksXp<'s =\yAu&#vv(r$VLCzxnK*1Հ(o|4-璴QO)WwǜcNZ5_}"95 8phu*xzV:.!.0X)LN2`*hJ}2]:/E&sgBg!N譮wZ򥖟c6"uMN(94řT-Lەedc+Ϡ69@.v ]4,I(߇ꝈT0ݤ='R"vuG\ƪ)Ry طZ XeL/.#(sS &bjgJέ(J6x6א5M#-ɅE{.\ ~gRAXlSBѬ}*SHx9h+57EbhMu]HsF-*^ݢޣ?w#bXՀ`ʅ?3$L_rqv_e&w^sOB)>x *΀]a.S¢)6{A2.zWeV9s@7IvDj%pV_#t2{ % EL[%R~hf_^ ` 漁|7XUJ襑A[BQɤ:JT>-J/3q> tX<xbG'Jwd pmHE)%%9Ϭ#EcKc^#[ XUɥUUT,n9{`3ӏ+zlsh͏<9WI*k-BhDftiXIuX\/LQ>ūֱx:R*WW9n&}F[@, 1 #]MWaӱSWݬ.DQ gWM#dfv'L9d&Jυ5ԫ:*tS7`]S`HN,uFߣHBx|^X.H-#H.PB@_/Xw,Dkт_%կ2CwU%ӡs:7حЦQ.IE);`[#`d5pם}ݗKB20Ӈ"|qC)t̆iPuذAW?=&*d["M ,;WL1,щtM4-SǝiZJzEkA 39ѝ݀E7 /3A<e;XQqYBMv 7a2C$;)1EONI֚c1-]'-bAJh35b]-Y8.șVPSB 5b|+r{}; qA*{$C!0o9XE`R 3zxT(ȱ\odf~ ? ȅ~ecZ4P!$ur҇Ya,gO`~wTqxi,qlҰo%Θ ?ȏ#3^i5+L+AAmPO0V؁g"1hr߳\!.ٓ0q񲳓ЦJw¿\_pb h H{4.U81_N4XZg{2pEn#'I1(@/joۭ;=`l#*=`3&;MLb9>bbA-, 0$QނJ:Bal84^6Gl0DS K`9phJFn7$YHKax=Iĵ t(w+R=x._HzMUc0Fp )Vb*, C] xoTOjvP @]l@9t]Y/ Lb @XBxS)vfAukMbŽ m&F@V#eESQ?~ؒfZ`.uݪTs&cm0J["uSqլp(} ~S*~RECk{1IVnWuh͡e{MM,0н\l_L#i ͗HT"'Ur9m){ފPd.酴?RV!^D̖qcw%0y X?4D*)l'-2P ׯ֖_ _SiEppiW' GEͲl/@\ D+R DLB8Ha*+H+T7qmr !306\9 UCߵKFa|Tqp΋n)lkMC̉Tw߼sӌgGhnSx0S0aZϺlt\̷ t2N&WZ ї^"ښ~?U5)TL.vVvtFd@P EUak]ṿ`L+@κbܒΎo}/(~Dz ղrnHV~yTh>)T|/8I`VLY2AXIpZ&tG>Tx++jtT&~']=%T`ė4`pZuib3jP2rE&Dk-DQ`OKi";d sq!v _ᛠp a gϚo6ݞ4jM &&vhۂ=,LT?7 \7툷Aef:&e%Nm{1OH%cy>!62 \`;XŴc "=bzt8i`d@kEl|T6=rÆujqxӂDW!j0~<"p6_x2Yd44}3> Dg7_;ڹw^?]k!z&@g>tev8>#-Bv*mȔ3>!M\ԭ? k1(p;V8jYv2Zp1@"ozT #TJ-(].`:zaHAL] @2c`Z7{+`9c>zn ,ŠLlCZpYR& ϯbt%TG #r =]iV-+S^ެ ޓ@֨r*x^K楲h`W IOܫ xufg%sJ:OH 6&aPŠ7S CXh4/a-}AK u%{|tHg) 9})&SrЈKwS6z'E sڬRx"g)U'\{Wq~>􋗄|=kAQm}FeMQ6y;װW&[aYL@s7pURVFG+Z+ -8 Nӱ2*S{bvI_dQ&M[ J QLc?fDZB>ڷf )t8ͪ$fqExk('Y$U437R;&0iyͮR[nRjƓN PUࡑS)s2bJ6-d"5nvФ>IAȼJ픁䉊kb3R Sv9Fk2fgVFwp=gd̠ԂpDhteʲ;E hIWD0ӶDddBtBʦ{<-3`F7K̾悤\Qn+Cb~tQɸ (}9z:7B4w/>qbs:gt̶4)SsPZeRB_ii;4furl/6qٳ>G e=KFFQIS1MXvdqlC'fZ~Y]'L2M*Rhأqc|=4*ԂKef%Ҁwd#61-* bܔy2E4#w O"L~׭ϿAoފb.deoY'%ѳ|mte9b1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id534_1=' LHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! ]]·Iq n[:|&[zfcs=Yy%MJ؃:(xW%vU{g@G!rLvMR$v [ΎrlTNTqNum;YZnvkdz2oG"2)01;^!N0S=Ӊ4s_jP)~tut[Kd08-UZa"1!q͔ƏBR I]7y%<|~Ff5aIǧt}/vűoK2 \ C"NMN;͢XlGjOwPJmrMLg{G{:jݛ-+ϭq!U1ގjBBĤStS8F]~F鮖ކը|^ = 0ÔiDq;r_o2.bzw(A)4lF }/I:^VM)yCtNaf:׫e`O%~HkJrjKr3,oL0UZYQA^zgX7XAe.,DE< ZP90q.D5 p$-Oɢ8* vY1nBq*}SZ-[t g&aV8&as ]|ps48z@p͙{kGvĬMwbM fʼpXah&{еY%4&c(z|<?iO$5,ɋit1UtHGOzZ-N sk  wR`!O}G"U&M&!S7$+O'~hO]}),rb GJj ȓy=$b+fdŸKGkdשLB!U/UJ"ELZFc!Ό㋐ ћ=JeY8p?P5DQjz>|60us"x{oXj)pk71]^BW<ۈO@t? Q^I~E1ހm~nfH4zǾ`z,0l lլ{<.4bCիG k8c 'OWF#)vu핀IJM#ڍpmnt."#墟d *̫&s~P :OF(F"\OF/Kl1u'͇ $YK_a%r%^0Bl$t8!)Pwq`"Gc5'X-Fbkh?O;4TV!bT JF` [&.nBR8[ h XS3IuSX]n!M< E ~\iSb-QtD_EcØY喷y0qalGөSU#J/juF,g.X`M%vu{T84)űF4zظG.X肁-EL+w a~>k&@;~C\ocքz IZؓ9LZX4͘Io/8R-|NF0g;hMk*Gt5n 9j~]!Wi'GB 5;l-|;;  dn|U!~t)r;~9賌V 9b`Z`|sYԻ_Cb`ʻy=M4,9 liQ- \Q CØ7Ss)jH%h) EcO"މ`UMEv7L0~b[gb+!K=uKXW{NqƉeH?3ky<@ɼFObiHZdd!rtʧkޱ˨Rh3.uYRhx\.*SwfȯH&Td/T;әr˫<[+  [Oƹ6:'Kė+ZZF#*ʒC6,r ^ .ܨ?ÁMU3(@)0a`%y6L8)ڷ -,hax赲#6rzsΝT/qT5pZ [ҭP(I0=g pf Ě'&Cfu &oT[ ?5Wb.NuHAҚ3m&(gPjr?o"xxe@)ľn>oT8%/iS+j'c{Y0Y:ϧqP Y'@ve K.`Uބ+:z>".1dd: ï7kO2iYWuv\{ . Y ڌS]w- t310P:~!ЫŐZdX~J%4>{.Vthj}$TjgYZ!g=kT-!K4fQZØX/4$;s5"(3&e ǻK'{a8ʖo8#äI?#+]3P_n&~7s9_RUvĤo\Y e @֛^:9X4 #0Wg^&j!'4?$n{G[]2RXecP9\@X,]vt}*3#:epBUsD )`J`aA.EM[9 ~?eӪHشuXi}-D/2rSY?QH]Щ sS;q'*ڛ̧h|%iEݖf ~b^#PN`{C$?ALR֏Խ.K_9O(H5+[lb^ZCZKV*| 1Rv98iIƱg0I 漵\7 4Bb7ЦX-6+'407%@KNVq?#?V6[/qCxֶf`VtGi;)cF#sM=olX}b޵ {Sr %Et>UQR<L"a4R}P(hLFGOQ!"})y[u(wՑSs캖 nco;n|˧Bz[^LMҚuKg`A UX'1<\ljFe(YJAJ/r@n<0Wt4zǷ_rU!J͢!hǁNǸ-L t[+ :OpgD@d^mn6R@d\m)Fa- ^Ʌ#nZ<8x7{r̃_erZlrAr^C0 Ӓif=̕p 0%E]?}Mkkͣ4>Z>ȂgQ쥨~' s!Lĥ6im/?w_8Lڌ)VpYf ߤ/xțY o&-H$k҇`bP}s-4qzT\WtF?x3룫ZF$LNϏ5ĨVz RE^St8ݝFP(/`$J/;#R*iXzKmu꽹o~p-%B~ LZA&ɵv1pNz}#x]k}U?o޳*T8Wd\tc(M.YkRK&*egvϙUH^]ۓ=֞vDgx `9̔o0MxbDr+3""Hg 8-G\(Qagu@~Kg*E19ST}Sl/TWԋ87^ntC|0uBP7 J4\r˩w;] g!!h0@_ojdžIw9"ЉЌ5kix/<ʾFԽo ~H}V(|OIm3UL D`QEPZB⋭e) 괌5™iK Z=~nj{7oÓ@we؃sO@n]Ŝ0_F۸ qP8aaɮ ')C?JhVΎW_c}/cZŤ gM43/[$yMZjOoxQ(:67 3ΆUA 6JP{/BYk(ήڜ\#Xq/DgvqX MՐp - ssMٮo/Q2)lY;`!Is*w# gؙΣU<ɰ6DpGɦ/+.rBoMVDInepSeB*.ǾX+n BӈxRX򧍊_yۨ#v쑺MS҅ [1h,F`8͓PR'H--NW&_MT!?P3R0i Ӵl#FeĠ&F?[ٵi;cA~sw$Q bf։5*AOj8ժe?$id@HZx>zmg󢕃?ԙ0x&?;,Df2b*$f!JwnF߯/AHgkʆ؟聘^Q"~,9bIŪ4vwtF8[̝*"jHfMb3!%'gݍKtaY; [Ei]GC Mt?I[(hxMF (*O`n/civY^B_PMr$NMgYZ$~O*`1bt}c^T"r_\5M%a]ɟycߌ_£_|''ULO="ln$aBf9ȉ~t7LK 3 ̈PtKƦvzڵ6'4!7@!SN{Y^XӵoWVKt&0k+9uT—qGBzТĚ,/ql{"e+NG+YV2BG"@_N1Tk@qCRwYbJsr#>:CXb'1%YkzTEe>AٲCWl=OGeN2NIyNv'(10V ˟m4z(VL7's626ޣ),*`Ɖ(i/q"dˬԿI$y!C2*')@S#d 2۝GL8pY" .^?d.ΖPSV}*vyhi>+rn:>CFR쉐@mrS? %3ƭ[4f޷`b 4ݭj(?2Lo&FSz.2Sn-Q7C;!R\ڇI!=OinB_8`` QB@Te݌IC,W@؅H". b$UAGzRy?0/v >D.3)40 NWl`j_ʖwKpv!t=r7J\wc(y>S (^L̚Q??="l a'S;oyaIi,qv$jM9}lLtq8E)O? X k>xݺ#-Y5q {LP#( YrM>&f+.:H"ב->ҡX|qf{נQW;,qU"\r =nc{o?aK|B$9'j; \!`,º 5#qבRj[LQ0_r]vѼgQ:;c PДݱ޲iԗnDyΠ'Z/o{?&xZ[;NDY&/KƢ74R˛ʦC} DӑXd"^rnIaXz[!C8K1tp4LTYNn .u#.Ÿ(0@`xn15 fjH]l1'ppQ?r~ClNV]>'OǖH{ڽ 5%-!ioDc.M/sqJvi*E4LE.yH0uģ(B HbG|<ܹ|IAO <'zD$~{V4A4jCq;K/2 L5I=Vimi )x 2~UfybG6Ho GS{B z_svXFs~8 H2}c7SA?`  Peۡ84 wi$9X gDۻ%++`mV̤be®k4FM:;yûTQ׊Y^X (dՍzUڌ-eS\7[*z?TcqZ0Od<[:Nhz W@)IKQz7/@V."eW>r:%+yvLbvbI,϶j,:zd$(M-%&&kk P5OԂ.,Bથ_֏ň*]}Ա@:è BeC rϦ L'ɣ"2nhR uP["0WFoSvJ\@$ ER+IAmM&9}V3ž|_q'cޖ8I+GXV 8>7+/R}㞝8+D;@&$&꾸Jȼn"置RL)Gr.6k5˰{k3_ShH?+`<_Ʃx_ekv5+.O?z%.Q3f*:EAa8h4O ^vm( nl>B5E{@iְŴ҆%#J1QQn6D2yӟx%ʙL$. ޫ]F ݾLFe4k.-VfFFșȑ#,I 8~OߖL,(:(z*^!D;BY|*-,B8Ȍe?0 7!LF0@Z~YWFl]3|R]n4ZU.fI6_ssNdxq;#8bO h͒r"g 7 !ݪ2D׫ <6S&KZg"ZtG8\_{ż̾^gΤX+uxUGE6T0Tg'炕Iñe/-bg|@z ݆qv גقl&HՙQe/Ǭȑ7eRV mSI督f^`]XJ/ 6`4IS`ЬQTG 9 XxnZI+]R4a!H!zıgYZ 1 X au01#1;' {g5g,qbt{Ĭ8:-eÈSBHGZ`0p&rbpZkGj-o &<] Ͱw* ^a=tv3,Y3MdV"|m@ ]/q{V}"bzLrW ӂ&_](b"Υ6-sxi=ӧLP{I1y,]t4\+OU/>Q=?/!!Csc/S&CTX=GH]R<O@ fJj et3!t6{s<:qA+ aQ`~q_O:_F-'Nj[=; 2rg^=%;oNtU[6E^_˱((c?VgƩWf@#-j/ne^oM*i4x ^UAayּmI'v/YaAN+L {C +qeBkU^ úqpp^A4Ԩ̉qŸISñFX]rs)6v9K.& ձꐈ,W#M >gJ1۰&qm?J~R'P5MʻAS.xƩwԵM%;U7KETq59J%P |e=A# V 9B5 aceu2zU{EV]Sl‹yr̳T󞒢 ~`V(Ͼ;L@?S=qqؘ0"T_>\!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\x]l+h fiJO(`j;547<$Ip>)&Mpd]޽z4mSY:ؿ%Ѝ;Ĝ|]=<@ӻR&e/pP.㷞݁]pUkӃG l $i=k|Qwb,I?9Νϳ_+1o hux >8,ZVr3Mn ۹m 0r=cAQU Ux.@r^e |_Zi`a1iX|_;g{ i۞s-=ՌJfKՁdt'i^  _(lԣŶZ&)06s+Q'oY {#mT%d\BCWRgK|vTd" ,9ږ(iD˽ӂ!퍗J+!v:X-79L<߰2Ng(C!:d-H3Bkz*fZFW9C-2Z3tVRœCc=o+\UaH)j VsW@=$ywM7]/rG9z/}$ XƜ8S#mmkSx?*U!!s0l,>ìgآ;&oQ gYZh 1I# THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! &!d] !M젗OFK?f=Ь*f@T@feXAdN.)!JBofsi؎k"gW^tT7x@ ?ev>Ͱ՝z7&6q7I^ylM[]\*Tq3;U%_IϑBsQcwv ܱ$LWo76^T >T/:<8Xy ru8\Ua̘W8;$Ký>!U蛒pǁ@F0nAc1\Mš.9_5 zO^gF!:)cT/_$ /y֞`)H"q=E5(Ht嚡moA⢆&qDC\8 M6(@x16KqgB 3 eҀd@TW3Dg@hIkӗ,c#P` plM[4$rՙ0Mg%^}|\eq'1 ---~sniUsSGz%zIQ}ZNwowXo9($3o7L?:=pX ehױYi#߉iG3_G_F@S1Wnt b }^npLAdq@h7ݞ^05H<{Q~?- 8}ƀjnzPHYBgm'/OmNG{c!-rѐ,SEO"F:?B1xBEiոҵg>gXuĪ۶Ta-=P ,'5*PthP!G`. elڨLКq4L*g36mĒNf0KlK Jγld%䊶fbS3|~dȏmd^%ûCm첊Eb`n,ǿH~ݚVi+Fx^/-yJ>,ڿzM?g<#4*%UT$WZ [-p<{03{#/LBq v0xk ILޚ_#+dr b.V{`^?$GY+GU gE|TXHa*- KfΌů؅dO2T`J@K- d֚|r9x)fk8J-0LV;U \A6?.s\$qNxQ~7 eè6,sD F:UEwCH}-YM̂)\_38f`-ݾIr#˔t.R+o&NK(1ۨ&ዩZ37^LjvQLRyxsnή'|"L Z#a. q]נ$ Ҙ95җL%aCW/G q݂/O yPư3Nԩxqob|q0sf_/vF kPu+Ad 4"˫υDA/}WuBDA햘Y08KR"3Em۔@rNLfDL6gwMQY`qX\nρWeS~Ů٨OU`?vi%$4x OYJ}Qjw[$4i{@_juAPw{L]wXo) 1h2 ^l'z]qPU?h$1XF4rBq&KeQoY}귍rt8l;=fd8nt~:uo;T{,rURiBTc*}~'ȷa,\ E詎5vP=ɗpvU6 丵t؀Ce9H{R\<6\讃Ɋy\RV4xB=1Pai ZV2~rz_!#!sSÜ} 6YPה#hhAj3vPpf}6f=vMPuXA8* at.WrLwXUmB(:JY%DUs5K;#|9.ƃu(umi{M:l ^zLssޤũxUHSMcw 5]$ek(VsTfN֣B q^aMtqY҃t]O:ѳD!4&ڴ1jg)rH(&Fw/BRUOL3͇T _8}P۰u>xk0ǖn AnrGB ^Q2U-0M#i֏P'hDbr?&~i战YeIÛq$`nKٸ186PkȰTt/e$ȫ- kt1ˏIwD}Bd3ujUlK>f;1\_kmaFcOK3ԧ6S EXW͉LOZi#jui)lVD.Qx,7Ay8ҊG?8+G66r2#-_a% i(x[^A H})ZSPVlh< p-JvD{>Zf1C]?[/a@Ř6{f>ו=V(!q]ضGɁ=W>|rC8ך\E OT9yI\艩MRaZ?H2$q2(#r^lk~ک\^THJcKwPNσX( L{TLuErƞF`OOEB7&e 9~1Vwbw+[Of<+#W2$k&H)B-' ^.9BjhFŃ?[{;eZ)[iDn)9; VX7rzݦ2IC$uulNY^K/HA*oH|\aUM; 2nRZ+)Py$zttvOtk RVݢq4 8BcΧ/5M7ˮcPYƽ4txX9zuf|eI;@G\Q}˃ .L`|WMa,s (5ME4|+ o 3?_1CMWҔLF YﻘsY8ltWbXHI>1]ͥ!ߝ>+cj joaB61:F(׽ qQzOCkNj%'NnL0\V3]߶Zwsfc@KD6O`fN!7YǍ`psZ[ٮWU\]=">MV׼wJfOvBN #8I2-l!C9]: |@@/ȏw~HM]9^%Dgi{F7hn4P[*Q~c"Gl/^7M’Mj{ !Сe-B4ѭMe~b8%>x">Eu-N޼o$*[lsW)ߤ€`yܖuTwm˞V1ܹAAMV<.^%du 4'fy#_kw/4Ws6l|UTR!U)v-o7;Hvwɬ\F4%dRJ-p 4" 4~ {c!kRC(mg=)y(ݡ[[N#uf">8oYi\1㢬&Pd}ƛR#6{X&p4Bs a,$i8ӱ"sCKK{pE] &6'7\.Sºa$6crƮ3w)8/t'{9}Ѥn@r-(F>VRex Kw)=8;gDAm o ~k':wj^ h'oZ=qG&1_j>^k`8[$b8 }Xti6D!*y@syPt4 @F96-a0a}ٮ#q[ZImMm :2u S}ŏۯMcEN=TWBm_VgZ't9H ut/Zѕ,S8GZgܹLDmxGVO.\fJ?_sD5.%A8"#Lw%J!hѦ!G+xxUOM"c\H/`x?5bv8ku]\w:6 (=#X4/n`t6YA2Q O(0l%M}O,9k# V";̴4{u4ӥUrxzfVE*ơ< 9DB*NFml"6uTjp_3h΍ߋ7?˚<7 IhIl+Pؚ L%yGüü,f2h{Nز$`WҴ}\Y tU9'0<05N m&@}p!@~~?f` K>H4KcΎ8F#F]݉50#Ӫ{@{}'YKGo!fgxf]HqլLx?$BUik5;R".K*vߒ+]4К+aZՀ,IEAB.YIrl$/䖱̀ TfD'VvBK]ك_UknFj}ɧEJZ8o&  gdsKR-?ЙRTΓeb?jҧИ6'lj r|tqX  Σ" ̹`kV[4ʄu3ѲM !%ȬCr~ z#֪TxůA js<{؂c9[$Yft*!"@ Wf vImVli"]a5 uWTVO ?7ԭ>&X)rk$X^{u($ #@A\g' R׃(+b0HFqwj \#C7LOj=44A>h"@~xEA3jJcmzuFHD='x1HMiEC9 tLz FuXl| 1SfL=-ܭ}'#a %·  q: %D\ 6L:ywp_O Hb>N;ҬE \̉:m/a>J:J>?%hZ/Vyd߾'V72QYZFA#Ԫ<eTJI0&zsm MÅxEpB 4N1/ɮr 2ѡ|Iid5Wb_^{ԮʏW^R20X鏨@OԸKޅUnVkk`/`#H73DaMYoob(dGSpJ:b ZlKRz}MFD w%Dxf4 <'۝zb>m +o?~bNy*#Sk6E{G5X<Vs$§Z1 ZԓS&%}Ey[~Iٚt3Iѫ0F^+ޡEhj&!t^4?0ljH'W\Z"@Y)/Tz]{3)\d4 Nɧ@"`5ݤ5I{daK/a̭U [͔GF6bD & khlF^4wqfJp'n Q`VPBO ўa0R-gu:_ϬV갊6ǎ O@MS4e*MjK^ j':+rf"DC}׸Vw?Z^:c}o^hڨ1.FDxo7F舼iWG"zRַ/? ƪer4Gsyx|X% ~N&3 SW%1lQj?M._0 R󬗵 1Fo*]_G4 $g yYP)Ha9 ZDJë"q%# !J ;hj/c~Y\"6(7(=Y8f?d8NoH]0r_8h^\צhZoVx`:T~3s?cC!4$KVD<'THAGqf}/mNg@K#0?N#3X{[5 bΌobaSw;ims?~ȫƭ~ԼjϤj]'E<ă~l" im'&!gHi^cZ'=C$гyz@+O 'S _9[Vh4ћȄ0g68o{+5ޤPsEkH$ .sn5HXlsA^QOU7 ~!D,j O@iY/.n%Z8Gت9wuX5COqBsvktJV1♤끑lr,[[Fr\Q}afPTU;Ibܗ8Eft=LkK:l)Z9FW\ixnG 'ݭK+'Wcx_8痶XB (]X99.>wp[1K{G Zc%AEY;D#ܭvB֘IIfcL(I˳4ӟ9SN5Dz3jj_|^թ&y6Ek]f|*ׯ7b-yBQ*u |Y7kJًʍSLɣ$]e@B'F!YC& &*%6E% O}~=PTݱ,-ǒTg.GEB|e4Jґ3lnrF9C`gyLh V;dy2O>Z3)ohoK`#`)@_ڱP"gO%()%܇KhvN=#r+~EDSyuF;4 _9#J{߸Z*hvXɻ#"@ iFSΑpRyKjN*ō jqnyp ngKp^Zࠛ 6+ƹLy3K~"<*ɝx13sH(¥ LB]y3lq!\$Yˢ.6 !JLܠ4դH<>}Wעc3c=! A/0O.*æ틧Qz3˚a2W/fR50Hbpv OXE&8,oz'Q(:sTBg}4]^a 輄hĦw)/yl紹8yV Cfv5xK>yO@ )S&SinntR?=a+[MtϝJ/8PWhNN8vn'jj-Pq[3;jE{# BB_\muaٮւoFú0O$ʮ#CN&6kaZ M:a1a#x\$7hv:{zbv_ȢM:FN[ZqJ(mv>b=ї?4V -hzTl_TWx$KO.K9 <o }tgV@Ȅs.9[|UqA3%7w7&)_dY-ETdܯn4 j$48Zi#bNRVG"Ot~BoMo2޶`Q'6=m@|Z%:S Mv& ha"Pק6u(iRcv9&*X}xZ:W/WMaYp΃K4 8xxH^F{̌vW{73IKiCKAވЄ7Y‚9T98ic^y}[ mS7EM12t鿚ؗ>yM6A_Ocu@$"\( *|,~Eh= V"O_۞ru@3DVSg :KFtZ+8#R0&mBfFP}FZ:EOX~/QH?Q(B\(*y ,J{e T-jAvtG!(1|IUg\M1ooCx"-bu^]Fܻ/m)]`uN. \DYz2[ks|zpfs8ك+쓝] I}@fh빬c/*̾{DT]5QrBik/as:ЩE._>,lxnyX˜rtgfa2fު}>[en;\Pz._"`Υw\2끠X|IVz I~%EVGy.-G*iW#Wy{yqk^N|ΛLs6 3rlbiv2BӾ;,;<*׋eew$ݓj\g (%@&ԁ99IKH)ZbKjSL+cyc#Tj9Nʩd܍Vuv/ߠܴ raz>-e f}~r*]O:[|wv,A~̔ga{T-T0-֜$ nyKdcG_y#8yl~* BjM:Anql "[%, HyjN)'m3J^( 4XαN(/`O# `Dl=X|K~a]K dhw~+ǨD17#M _q-2u uAQΑ,!>U^P#iZGNYwfEB"7 Z T#)֠"k? ĮH8!hXJnMJՀD3')1XcrpIJhSD~9 U*Lo2kbec,3={ j@릈!5@Ϻ]&s$O9hSraxߵ/Fir+.D 8>uTO@=3VޠdTB1+Vl[t&5^3xb>nyGO{S. hم/xVN(-Y"'Gw4Jđf'|N##'ω Ӑr]QV=BȦ3vS$m#نU7 ;+ -ңz&O8ɺl[`-!ch%&O@GY9VZ޿+BYɢ#ꬉvTy9 (%ܗ ě b݌;FȲ/~y ,6ugV%tI$zHoog HHF:X쥁Z4 5E,"N5'ǪPU_ ݁;ۣz.X=Yxqh{e?q>B+`DƱoJqwaCեYf]Fu0oAexE@>X+J_[ $xt~%W 3G/pd|=jCF֞^jc+n-RTPݱ> '@΅E~燬A8?I5Ц%ve}ܰOSBY~ ~$'e&~|cpT*AGg5eZ? XZ>*|Ms9*E˅"W`:PWec!G 叧T8I8$Rʨ9Y 6pk! _zpeܪ^3L=ĚhOzm~ࠗ,39f<43gחiI#YXgFauBȌP_9me}1YUKbBG1ضldR}p>ݭ&`s8j cz79kӛz6ƴM1g,b|c˟18.m1TƯ5KX+_UTO{aUߍ⿴? =dDg)ExC+ KI_JmɧJz|=56,"ɦ^P%e0<|\MmG dwף@!&?v:6,/\i#_n87 [ʂPHVSS|HйeÒ>yzVÚwtkmj f .avx(f-O;×/SʺNp+X싦VtU0DW19:&y[o2]tqYpiOY͓#0mJ& NiQ?>}\7N6H/%{jC=Luja\^|?2.z׸q| VBmTm)?3 Q;mNpv^$ R8H~M=LhHFgm)^{6fomIR 9E E&Y{2 HdUc C3,%! "8v;V!ۚyz1B@bsD ῜2u}wc7+շpfN27-2HGwJg|}G5)yqR iuA9aȗZy-LY }?ly 4SI~)gYQNω7> m دSaF31BdY),猢lʭtȹ]}J7>r02I'{]іƝxE_r.[-]ƔJ3A^,ɨE-pr~$$qm3]YtClxȨ?t}ʭ{nVnY 6eic;JqBɷ8a:w]-fVP8i2*-{„*8vlrL2I ]fN1m$>*+,2;@3^ڼ;?h*m@ )Wܐ;u#z`nc/ZOj>iVUl?6D1?߻*C[9)@K [)|F7wC.>Cҵj;ڍpa=j: XSu u04P4}) mYl}`Gʘ3mav+'(ST xCjX @slS,11bXs)rb,Q X8Vo I䢕j$A vdL0^Q_8#fJ ֟}{ϟmiҳB!}sBQl][va_m-Hȱ<+!Z-k\!ڗt(БVB`>k<)V.,N6BY@=䆚4z(7qJ%U H2CHRy7M%cV o:" Y Mۧ䮇#}nwuT\AxN9V-bh唣+ k>'sk z  eabr>P!ӏHx逕JX[chg%0=sY4,9B0(,ŐTSalɬ3J| c7d4e}&?ŃC fLXTCȊ-⾕@lO2hfZƋb&TJ<_hkr.g Ixr;Y`?5]T~U۳RW'VRd7 4/GHcbUޅ>?@3i~W\[W%ѻLP 8w|}Bix j.Kc))AG'GgYZ ~B6~j(1I!^HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files~~/src/HOL/Metis_Examples/Abstraction.thyJ'1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id520 &1M# HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! ] !M젗OFK?f=Ь*f@T@fXp6|0hiLךO$3:"!lr#>lMPmf1nlA𙣎{_yP",8%f:j1ZnmYkggTYG]caԁe Qh^߮6a{0AlΤfyMbv"D/R睞h]b"I|{FF;W_)!8F&12ڍw';q1]K="(,[+ 5Z8;P n/t$jnzց<"I'QD YNP1M =tp-KbbAxhFr9zr>v'[6Oe]ҷW~[Gt#N"4;9 Ɉ3z`=uz6۾H':ܖX&iւׂeV]yGLw*0(3*=H^S=_iYq`q #f&JQIxYޚY?W pCtv522EˬmBю22|&ę9ķ_C3I%R=X*vDp`\w G!B /K`Gq}y$w3)zAp;.oueLۢbFؚoj,AK󥥯fj5+vK?oL>x2NT!~Xa^ou}g1;}&9_ܑc/NBΐQ iۻc$ǖ4$έ|LB=$j,"+ƍ8Trݷ|iz&<2Ɛhw` |,}BQFg\杦W5?@0 7fK39ɟdJ(Yqqe|H#?W3]{N7rrh0IF3|-,ni]ǭQrV5 9l<0Ko^ݰ<4U/ah%jm<@^PLǨ@ {$lvd` 6X0WPOb(koNOǀW8 x dr${/G޼Nޙۜkt\.0_?}zQI:bc{Kٛ(R_xaqQ1g)|H 6;L=*_Ez3vm $+>R >I>`L0>xfEęu!gτ%Ȗb|{ꏜ?6?e[?c"j/t5KCCBX @ 9vfŰM@EOΨL*<;|^#,^ ʲ ")B.TT({7|Y qC6Ś(J]`\!Wz8\8hI^+vW'CPF\Yk1P/ӧ8r?aMjM`./G#ae&~KP qF:㉔EA#8tU΂$uxw_%ύ5KăeD3uNxD0!M>\-st5Дnb,@B 3YOu?v\)8y 21WO"CB`(v+&o'h"QscLc'1b6xC=c:`x:T?v'[ȕ^nLK'ZH8K 0R! 8r2 5&(4smuyo4+sBgL,Q}oGO+.V7#5jg@"V?.EEʔ#"*f zsX5T*5?VQAϦ~®'-:ŜbѾ4YvP><^_|Qw`֪e'Z('4,xN:q%\rP@:݁+8趚$V K!ܫ{ RsoocnѳTyWz(pNHIV=ZI)]̑ W[CEax򅹰!>+ְK9܀8XKbbbQan H=4 g'Y3}UAPm3>SYKSc?vɓDW4M՚dDX}z&,$n"0UmbύT}d1.L'u*0q1#(@{jmfms˦ٶf{\X.s* we T0o1W"+۴+&54]+=8A;|"ZY=|RFP֧d,N k?zܶ^ww*u7lN ,Dimomɽi~;`94 ~>&[f?^rD9Qh؟/7G[yc?B3B@}ޱL@ wP]/pPSl[ey՝$~Nx</ ^Cf .|nv!!"Cթoh &VZx@E,ב*l.-| Ba4P72D]$b}4҆ \JTV m/K?k\䏾Xl%o^"a j1Jɭ%L/cu7wy@eiCBroSXز? aA4N6RTcː CPS͍_>ݵJZ.љgYZn%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_id530a*s߽8VʿSJ4:BgL=ybw569`68B՝n2 pym`tl27/)BXqib:dj+~ggWcv"&]xB14衠(MhFP "c8Qb1ka{m3j}E纖dW}βfiz>-@ᅖ7’J|hB;35ޔ2rQ|t|9>,\P/)3m&6\ꊟaĢt(U}esۆ^_+m!f!68/- eup6WWä:g@Z%ħ@6IԶFP5󒈩Ὶ 9)1455ʘ_PQ:\lqĐwX'0Tkq.WFTzdNc{ns7*|Br1YV-6:]R)Tڟf='P0 "HRԀ܌bQDGD\~)dc ;('`jWkBW˜YQ>+pF[jbm`my9 keWYǐh06mZ;(" 幨 URki>Pf<9+}^#ƭ&"!<{ŝ2^.,ga?n;~~ìjRsbL&d8O}x2{R* k!j8G^(d\*Dsl'˧?nҁV.tnŹR59K ixMCs wtWչT#P A 0+E"Cd+0g>ν_doUĈ000dlG*i~ۃ֞ahJAtb> -TY@: ہ[c D'(8 ozSuG%togBnV1.oӧp)OXLȣPlYpa D1u7Қ K 3ʵ]BTwh&u׹ʋRUTr}J-aEFŃ&.lX,Y@`I:ۊ,S"6%٨ L!%ԋ3&m)!}ùE}hd9c8V@ɟ}F&+1MeyZBkb-~@FhދRxo-OƗR[y;wȎ5h0RAE!ܐY-:kX`:T[-z0EU1U"|sY=_ne*20dTCG0vhGţw6Ix͋]' TCR3˫rbH/u!fЛNL }geb;ŘS}_ kQA!r8 ! # 4P˘FI,˓+bhVh:Jw`8cw1[BqYtr,^M ?fhJ@]L m,NI1 gՋcGh'5N}=Q+uT+. 8 p->Jj6Fo$:GMzU?$PST.r &~HB?c' !l gT4gVADB0ҜX6ɆXWbd/i;\I\8SX\@lʁ#6!:w/%r6Hϳ M>N@;L>۫ FBs.60f'ld)h=%>k{n IH&߫ ck'φwo(95[f(Eлi;C<%. ^Q;QJq,oO雞?v)%?JG((|?N]4 Of~|%|EzX 0VaAV8F!aB[^#=B{QG$pUN }tT~!"e(/-Cۻ/W^ Ԣ) bB“B),'Q&nsRls63oբG]1All C^]u֖⮉{&3H[w.xB<32uVWFT%'|H 9Q׺熆'#w23GAAfI.XY )[XPe bY5n,yfCُW팱)p.ETz5E]rUm&oBOGS\t;9YB¼py ^dZ K4 fց%ٵ*I8Y{w,ዂ G_mPlElJZCL= 5/VH` k-/f-$RjN3n_V]qFs-*|hU;4HrU{KUq_M8t]-ϑU cyHo5h0"F,&XOEYf͞NtHBkV}2B*") d12^v!O|?m ÍƑfK6}^v[%)Mk (K*umĻtF`燒RıP #3 (K$%>8""Y ue7E>Mh Iϵ<R`;(3ƺA&ybև=;D`(I[:TQ\K?!z[kP(2z d.Ř}կՆE>Й#CX-I7fZ7bPAd 5̃R /* A$"'Rum&? 6'us8Hј@_E<#OL&Eʛ<kS»)W\ؼ .זi4/P zQ$ c-G^FzYJ.[Ci2+Y\YL$fA􆃌! ۻuI.QU<5&w /n]#T,+h0Q|@*w?< YtR>`ji8=n e 15^6*S?4hU( cK!{rfu2. ;6ij*ޡIܟ)6!.ݢU\f1hjsk: _<$2ă3_ϜA ݎw-} w㳉;3 GֺX1*`f%ȴ⼾.Bu/Y'Hm dOoYeqr,#c=ɰ;d؉1"sO<<u.gYZ 6b+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! #9] !M젗OFK?f=Ь*f@T@fl=|@<gQ}x-K=Jq&0 2+{v3޹eg' k{pOs-2նya xnu֭eao!~<24Yٝ|1%Cñ'lqZ($30 TO :@ ф">Օ%K#m{0pdrŕjsLc5aL+Z-Y8حB E&̜n0R_Ruk@쬱I`'i Iċ nON>gwh2!8Sސѐ7 59`qhZdVEy|AGqlabWX,# kn%߂F8OȔiJgX ~ IJҞ됽(޽@^10[d2WYLCE7![]!R&j bZ[x:,-]VO<2m)+(ZSUcWB+WNwQCYvqk sN%di -O )eAZmt@2W0ZYXdsj<- 61ź=l=ʽl`1o:ġXS6[xPuIEҘd7]WXQ;ҥ}l"SwpY+#אE9%d_Ɋ>#~9NEVx\4wGD^nXOX!_"Bg~E@vNwl8 K4g8S\27-;ku/J%\Cz 8׽kiq]>Q-` $~/ZyڎaBe u#eQpʮPk׶YٙpwI869ɓfRV@??ԹVlbu3?Uw &~hˉJ6SVb”{ A<\g>*"v/ow@աn"$;~ 4J)ɄNѼY(]aaܾpwa?v瞱.Z(d)>~İv ;0F!ʡ9r}@/z.'WS/A~~:H3u/m^'JxvM&latP~nQJ(h(v@;ùIl5 AxJM{*{k\i!=r,7BcA6i]۵S4N<Įj9w"`._⋙h5e:60I/ʓLK *f!+VJoΡF;V5 kѸ>aحvijw+\ZR33w ^w Cr0bh.^; 5PFLX=)$H83)9e+ Ya.k[u tlx2%iꗶnjd%8`Ch+,[,F>J;;H\vJ۱׊"1a xHCQUͥf+ՀsNjTR2\90W7 e;Gr}phYb_zq;Ar lqa9>qg!`J%L*ma3[͛:r%h۬/k|R??LXHeY-smr]S$tQgf zc(jPaT5=VcaRS|M~RX95'RX= }w&⹻dвRD8*u]Qm\ɩE; =5.3p $deZQE\zG%K6M3q_R+#HBKSy^,B |Z;l.׫,OURvO7 d>٠;e%1֑͡6fuƊ5dgʴzwO^EY,w=\f9`OU¤Lؒk5;i&C)b9ocįKaAp"S$=[@^z;E&RMM\:"a`\߶=͡x8AX>q'*<֎<#[hx5w=ㄳwT c&2sF4KTy*7oq2sW4Wy4c}lHh+Lg$_@WM6FOYjHp`r>#`}ڲ-z,~uV,GR+@2̉V2 DߤFKcKW~^0|O鵱3Kg +O\BT?^ZNH١sTVŠW/Eİ <@$sdjvzq :/$N_bS+/oxǥJ{t*\&ʱf EH~˜lbMHq3Ȩ LM:2FV(i%/Ѡ`PV Vz)SvNJYx%^Sc:]:y+$yn'LO>QPTmd-l-5o{}F-o^&JQNɇXa4(~RD wفw9b[C{q-ˌsJּ3`ynݳ_vf*RK5iH}Gg$ȃQ]{ %UNNt]oN^Tmx}i ԇleG@^uM76R1 M*g;=+6 *d`Y,cĹZ;*&P|̮F=Rtߖ:{]@g$s\/ .4Y1eݝבWL؏02l7?C+/}$̓Un@YȈWkhrA'Bg379pՆV/}y>[)3ʸ]M^npXDO {?|9pgp9)jZ)UJ aN?6 `tkhM#%{DyOP(Dg߉,iTHq`T~~6UG2+HB0Vm*k/L w`mɒ&!p~VneZ ʋ$o_ݠXe@b˹50+H))W16nEПo9~ѥma޲($yq9R~6{Ldwތjʖˆ+: ?Έ˦XG2 w+Hnލ0])-?BG]Q^zC.h#'`1' TÏGid ~ƉDעeRDBX{c r=+w%~Dcި5Kҙm|FYԪ>~R fGKEmx|ۡMFiNƂ9ρ.*E{ ׮(xKԩec*S^~-Muhꗲx^~bG196]^W 936&EySi vXaJ!T[Me#/}:;Mz?NgTȷˀSnbvbEޒbxDoi3ד2L - L[q:-Tk_R|lT%5!i'a\L`8BN}KZ酷y!hoϵЖ * [3Cꇮ4(:`a` @}lN瞢\f 'PW5Ĵru7k0Y4*c?F2@~aƒ#e_V쿩k*`nbUZsV]ry4.QH.-~!\0w<ݣG4k aohB+e[Rɨܚ/<bkv9 2նwT1] $A%u71~Ӯ/cDU_82O m0!VsT( w{^MH 8>);402W,Euah;Tt|{bTwGg+6 y3"fgG 9&l%h b1NV+x3>Fx$@f^ ||ּ2> y)zlkEaXղ>.pU[mΩw,,SDNk*@G}K.ٞ=Q-Ξy!hVC~`OI]Sh$/zog+%Nݙ00@zYNq\畈cPTe_IvX';OIX۸+@a<}|o!_P‘$OtͥXȜ oQ\ M2i< XGtJh0TM& ԳJ0| U<࣪~PDww+u ~@̛vC$ +W ~4hP\.nk&6! qEgowwY ٴkC5ȷ׍ ]K$(=Q|8tgdVHU>{.u-YF,tno&/M>y(uvckc(0ഀÎ:vOPyVz?E8 K:UsX#RbeD&zP$p(I0?afq~]NbJN ςHfxTP|&vEue-AR +,T}&Lv1ݸB usB# > VQpDhyCr"4,$!\~/$} }C(E!׳p5ȭp ϻa*{^sjy|F!':P%TbaZr (׭xZnbx#D vN3 h"xѬT: ,|P~}g%fW?kQ.yC8H =I+ڸ ()1! :C6z?!uN?IVb0mdh-w` |dq0% Mh_b)f7^Tp}G5Ѫ31j|qpt^lgSz|e ~ iu%(j G1lq{`1h?iSy2ZybNo|z'y-ߚRC`Sٸ[VwNPp\f&M| {P Q[:@q1y[BE׎D=W#רƉE-/c`#}-sA/'yBEpz#Bm5\# 2+0L%DEiR2!ɃKXcS4F㱓[!L-Ӝ {,P)N,sv-}B|p&Ctf좣Z@rb5]=،SCO::5|FdQɈ%pAWnFu[+]=IS7r !EymB&9tr5Õ0ıri 9+fd:"hVxb]xp풯_V{ÆSWh:7ӚKYzp^ ߀Gx;:]6 _F`} O|q#p:{Ww0\??ɅbaAqx^ {n7iȜnBm޼FG<.׊Lj3('kH">vƳ֞E&J-#/tR(d/x8\Rt6U6Xn_Dc[5x8W &IʇĤ\B /d?* 8@.^`"$J!G&s( MMCD\iCWHFWAO}6V`-c csE `?uv֞iqlV̍.3Mg+0;b(_H3#XF5`GmG#Vj R_RgӉv谒2 ۯCN _9~'.|"Iם]#*b 2(W;ty[:-"m 6FA6~,HUh|w/TeDUFs FVJ:O~W'EFM]3Qo<./aT ʇ;-Ɩq L l"/`p]j1W_ȳBH7ϽNujPγS}%T_vH]8\=U~%ӿFN|O]4g(A*fb@BQ!5ɼs R.o;5liœ$AdeZ4*ti0]2ējMsU ݫ%"T^!r|*ۯ{ wdi [ӸژEmjיaZdN.f}Vng^f1%XB?h3D I.=ixHҋѵ on3!._ZAPAt`_0|7B{)vț2UG,/ݝi@Wqߘjyn\L񯴶QŹRn3^u-b;hr;q˹G|&x+EC}GQu8zf1Pի B?#DX`lf_e׵}cb4^uL0P1/a| `Y 𘎵(د3iјW##}A:EjՋiRz } N,A\F~ ezwNIOA'M Ѱ8f(q3aWo !3E<9Փ+zҖam_^{6MŔ. ][}2$o^캩7/Cf35u&sةAq6 n.1E@W8jmƧxO \(ȱy2~}4ҝ0 ?*P6Z<Gsׁ>XZA{2AV$UKwS2q}U[t usWeEXG[B˩"IzU@Lal^ w"p%dL>[.'57i1hq2A,E( 9E[8x qG*}kɥj=7 xq09e8T64 X&,V͢NlDʨux~>V(2<_p º,0?&}TZ v2;D`n.x\ D-mI'&0LUťDd#ґ[{:ҫQf. %VjmN9芑pc\''#M$QO_4ިg_S:t:Q\)7hn*{cd0aAg<[*3&Rmjx-J@(?#5 <׼emOp=_1_My<&TZ*(8L_s/VcHC|)?.w0 5ZEZo^ ;>8Kl]sMyf+ 0e)c Zh;|$θ,wBJjv5 n<ʝ-;A㒌ˡbl;tXt-4XD{Fy4~nyJΗ|L^CVz}ހ0;0|nū6VG8f@bdwCm}Ctkƿ1+f/J"še! 1r'rNwdȹ9- M]䷻{OkDك<za>Y{x;@: $A ֯('ȥdBծ:tL>˳g|Yͼ72K$XbHV}1.-աQҁh (q7djV$Q C{u!D[ V,v,wF#J~?2qy(9Pnp)$alwR E,L4r֕AL@[ Χ PQe{˧Rxo:ŮhD h+\8O@!g7P,rĆu&L2-s,\vUx*W8$TR4{(-Y' E1?R㞽,\!($- POdt^[힙m8*mQ2{|l/wd6~鴮!SEٯ㿆&+gԼjXo}oɗ,#0HfüDXQrޟkBn2,H$f A^ZF3evLj1K=0ںr\Kb;F>Ä6\ĥ'I6+R-*"c[tP~H(7i猠ٹFLd;,8 ǩnwR2O/o@GLS~/N1a̦`+n>6O|!frml]K# NPPFhYg8}S䨣9h΂LCeXZAiDUCLhz^h/6t]-^م2:_J MoEZ2~H,OeY4FR K] >H#jM̜.EWө?;KQ{OoGm~rn^E蔱2Nz' D8|UHEVbza8.R UWJbXaa*~"QOܸ73Fi &|W6~" 5m,F#Esu! <1xYfuq] H]J`; ;]#F}2|S@|r@cU}T۽4Kk_V0v $jVIQ@/r2NbeCХrs!D`m($qj,b GvCf#tߏp3k~^,OjEan"yQw'ژ ,hb6<<2$hnp?S[/.6y dCӲ.Sge!`2)"1hHa[Է8sSb`I"J&v^KjM($fU}D)!Ҙro~8D,#CpWMl^~k?|\Lg;f 5S\=4#P3 ͮBX8^V:3Ie b<5pY&MD>VۢIaF.!L] R.V 7ᶍLij's>wHAI򅵚k@N&j=Њ.Xb}=WD9B:P{Qgɀ Ȗ6X&D* 0 '%2XuZAn(hdT2%p'M}scR0e#4K純cXs_zc b:BilѥMX:8*2ini\ lkE_J=![tC,)ҭu^ ֛ [AEbvm˒cϻq>w p?}B8:bZaV?M*ɤ|=Е[l ^სщ+߯LY>WӍ)HHvop]"LC׊8:gu=HAJAekxzuȫ@ ^Yi6cSl?C, "![}%S^9p$CNy\uuF K9q1; u]ظ4q XOZ e|Qe]N^eqFPc~-☏(A`]9xϩkxڕ~m G d*-rR` {KgVA4tC8vP:Ђ4?q~: 6/}'@q?j^!"EqjF`El%O&@,Sg޿RzjrQϑqNl_Crݥg۳5LЌ0I RʢEQTC7wFK>|DczauP֎;|@*g~o5%ۛO,t78Auox:IH@#]xPO39&Np† X19W%ve7RW&qNa"?}0{vz󰕐_x^K'S~59#Ls$@*09֕&Q a29!ռcBneS/0I!uR$k~"'B'㇐ڋnu-|xFWu[ I+5%uN+ |1&*~Jt/ [0Υ}tSvB!yD@iiG zդFl kEJ@=fU &ʊbLJNrMPRyq4PԎ}JI7H+骦L%iM7RzD,)gMA"zC{*905[,ǪbZZtEB_WK@]ҍ.Tʻ=5z7{F,Z)C>wVoW~V+͵*ȓzKԷi}}O-c7>Ԗ`rgvr箞0(aEMUcJe}.% nM{jN ⽺ؽnm4b9akN`"1iSP#gO2@~= @S!@5sNb4O0~Sö*Id k",jʜVb/@#Nn8;d[36PMvVߩέh N_r ӗG''ZLevHl06fĴ'~S؅OUURɤc }G4a NRoxgfcm*); =R˺7Ǡ^AljќD-3Xp\o/AHYKqB.w]|T|&MX(peoOWk.W?Ot/כL- B{Si`73!`(Kl0״ {U1,fE e35vL(-ynu3~,`oިe%ȅ\EbF|{ .?$^ h>KEc.XEyM&u xDkl#λ{z+Xv+z3C4f >S3y~a Ieƈi'͝ P$k- L.,:*O8* VZe@3S>uV36L? IJũr)ucŐcOY);肔^k`e,bQ ' 9kh *`.;+|u 6+[<+ Y;8%պ@hvCQ oe/_;STlhȾk˸?sLRnOR|c `sϵcQcSkr#Ŧ[~'oD\0 j#Ԝu5La]")'D|> w]%#uL$;T*H3@A@Bx iqHǑ= խYD?V(7# 3$b_=\EV#"+xxfYYNOm+[I U.qMiB%<=:54+Yo{QE6u:lhs-f@&aD2Q!_Z g e~P$1_/+6Aǧ8 }o-+GU?. 3+|M%cq -2柇H@1%r&2nhB7SJ7#mgJIG+0hPyYU! V!C] >yD4`ǎ#am&O3PXb!D2?rCע@ß.N{EbŪ P 4Eb\]UUZȄgdX/=D:blrn㸰̂'0s['#jbQ7ܟ)ayѼ] ndy0` t)El N~b޴hρZ\@g $R2x9|=g_ ?I;Ǖ0Hry~if# ˄Q'2ܖA-mZƓ<13n[͢иsP f>+ܧֱƎMƴbI^F&E $ өfbrI|ŧFoW2X2egEj:dDբւև킉oW& p!gOǢVvg/d ]4:y -U8 %^&J:U И)S^mͰx$+&hiުK0!6 B!-<΂R? qTIɌ$nE o!;>݋^ ȵӛ QX5b7~-HrA!@GjɽidSܷ_J>Dslv߉Q*4>rSp0G󈍗)-IF%߷ ee`fE%EK- uWt}|{7)m!cB} ăt @8F@$z$H8M<r c=r@`]¿]]߸0a4AH^fGe^@7a|S m:U0G B7`141SdJ07!+S{20wRW-Ϥ C1Qzu1| |b4-cV5oS)3J=~ã]I~=z>.6)^-YtrSy6#QPUNw,2;K#F(0?# <Bq*BA.tBq]{|bkDq0 ][3yo웏BLbit1-Qo-{w;x`$1GC}yk,ɹCMv\|ƙW{3Cf0^zF"gb5Pul<V5[}ޯHĤY:/Y*EПC}m8 ¯edX͇O #*Z/I3W,tfr+J-M/)D =<8+1_ٽT/??l:æE[/݂&%}q!>Iưd%.3e*B>I*~У62Jopi­pbP˦Cj3p5P, 8@G4o.Cvb J9 Q(( 's/qwvd$ɞlgB`oQٗ%'"J "$ jMh?T!gh|6蜜#ʢ4jƬ/8WyyyCc|t7Qުsٴ?דk7HP[* 8Eu:AjA}&>7tSD. ,Dl3J5&)g9~V&savtueokmgDgjNP+R 6+U޽:B>~*S :2t`YFnۚ=NPJ&Ry5NTRۍ O^e-I39{ ɦ'cMn!Tf5@29֦_tc(%^yR0[&A\#IiJߞ4b6̘gq&Acދ2&zx1D4γ1$M5>Aß-Jj3 ~IZhl u},`΄?ENJӀ$Ƕ|Eya~EF_44GQϷqDW|GMEZ4R-9'B~s+c*S[3r1ZX_;r66,xK4"Y1Sd!6r#15ñ'M@lj x WR/ڑra4`"`B ˲OAHPr4jw{*?:/=\MݮЭ~DB<͎UfM؋[;wne V=Ԅ- Z-fLG94<$uUOk 0U hڒ&mV^EZ_1  |O;iOcW̉ xxDCZ'h70qyd(r89h'n8 9]O2C&>fRڪ4)*5&&_Nb58H.x[+TzKm`q ۟RGj@qӑ>VXJ]ļ rH"0Y( d1܉Or Õ+џԚ'I>'e}կ Wٴf8)TШ##q;]]nmiU,]uiiTmEӅm~)G8o>a;z<0^F:Nch8\$$ McgGN:Պ2j|Q3|ќi݁dKoDZED(1#z~WlK*$)1O{qNjе8b[)[<Yt#ܡZz#a82xYC5pǮJr`c5#9W~wADz1ar5b +Dj.7OcmĐB -D/7v٘ 'ױȮ"v i bnaFZR3Ut\ak`M.|ȄIPи4{h[@nC'N5onrrsg%,rhFW;α?~4l_ Q?B@Gr+m\a4TEQ;;ɥO397`FCոV ŭ/7@:s{O#h:_n㤣0E!nYR >^E sͬ9>nRw1e^1+{CM!) &J05;RB:ܩ¯>7B8DbK4wA# "#/ qژNfx~բo|\'Ysi! ~|aETodzpd *ȪyYnB󘝜gҲKm Tcs]\$C~P=DzdK0}g 8lm=ؤF)H9>Q7Wי. nA+>s߆{AdU^qŪvv4 Rͪ ~fqZ@5 ͤ`W 𙄇aF :;MV8ʄ{_RNmٿ`zR`>% JN[sgƐ2&ؒt]n;#~{M}ǟc q0_ w" J}Y9۾ k5 lx[~e홒m it-HGCRoa_詆?餑Z?CӣS1T!pJ@vhoBwp ˹.( Do;Ñ7l9*\(@ޒ0&%(%|¸jż'3ȇT;uv`F|=ufLj4Q`#<`٫*kݐab"4ad@(]E.Z5 NS tWf ml{p@h,z3Ӌ( ^o6@=(mfV&"9e5j(&/۷&F@TG2'*C/@*G,)@'.}u֚egot_1  >gc1E&Ƙ}KqAܣU=8rRNrj.;)M4YCs|U!oȼ({'mypf}75M,0z%;\FYkj(3`7kR542Ѵ*1QC-dhWʣvDz(ud B9=J.*x)'l hR@w (~7.q!oxoPl'րwdSJ͐3.$SC|Ѳ'Ǒbz  3Yж]ǥGUX 6\a>ABw)8ra"`hq`u`5zgn1L*GQÂR>f!VöHF)ɵoLC07 :e rFH߷S³[ _*_ť $2g7J6CfOk<3XImem90)6_LNgZ;'4"G jlh&%1ٷޙEt?_w'KQ~ k󙠽ذfI_c'ł#~€(s"XDm[b7VB6qUZsC2a渕 *|l5'LXfl_=-;(+^V%*|C1#grxycnw$ gkФ-ĿR6onH@8]|0(;S^ۗ Bp.B9; /=ct*uu4)7PȵdW=cBR6lP>gW0jo4pnF-ϣQ<\W{˕Wȶ GSk{.;ku=a[mL@1h ߊTt/>&Paװ%pp)O3`Kskf4*S p_a[.I(?iϛ?Zڇ F?"ݟ03N(WBGK/_BTK=A*ڪwcpù]\YﯹAm9XU F~2Fq9)QJ0,t,)JnV"gYZ  up21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id53201O# 1 P|4KZ6S,:  gy96mY[jq$Hrô8a Hv9CwŔވEW qUڌт-F6&_YD/l^F.lљKa{O*lD50hchokt!DGQ-[|- QtSgEX.O=e  a: -(\?6j\|@u] l5@A|3}+&yB{;HaaEB@F6AT`·ԿTz8mCz]04CB<.]+2 !@Z9TlbóVdJR) JKg̴NΖ8WD8C6R \[8']Y-L[H37!E c jŢ"eCp!̩m~r^}tuq֢ Hi1,<_~#ɔNi.DEQC>א2|Mō۽X\[.@G ͏w1?[!eFq`.d0pt!TQ`ѷEFT-l "BI0"n G!LSF1.=o3Ą6S>/4JvVwV9p@z!qe4@bџY4 GudnoJ v'xp`Y^_Koԙ1lf X)T0O \`*'6,paׅȠ]X_\4#ځO6 UhFۙbuHN[#`=&ȄCOz(k^!ʉkL[!!۳i˹ *Xy3;->W:[(YdnC6˱)<8-BWnёd8MM1=ghȚ7Og(vC ̼^iJwq_(?BgB=qؙ[ KU%*4gWmMNOp00I~̉z\5F\k4r݃\aum~BgHۗH՝fT M5hsc!b/<U)D3t/Asw9Z/mϊ5|n? t[}͹6Q(3_͑w畣POmV8u2CϥL@ ɣŋ׏w] "P}9 EŒ’pf?݇!w;':lN e#M B SėA11̝՚Ebtn$c2Rar)z tDZm(ZMx(״&0Ї3~8>HtUͺ FM@o]~WA2]%8g c#Dߤ:F\ң*ĝ KdY g :8_ы2?uvxvbmY{!2wpLħ]n֘5tT[䃘DMf d\A`%(O3w7KƨqzK"t)GOM7=ūbd7+B4]ʍWF' D~LgYZ, 1A# HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! R] !M젗OFK?f=Ь*f@T@t/ fC&s&x(fQ)YA,+bH|Xfzbț%꠳e>t+ȀW,IǢj *~4X uUg`miWG6m:˚3Y`1YƷ昢>=onnhraqң"ﯗt({{y7Fh)oli!WGlcW쨭Wp R_1W}:&t7z$]by2e !v,u=|a*,u6e,&>' }j7݃[ ӉƢKQ@^k*ZCZ}dY@zm>Dw#L7 rn~ ~VYHW/Roff Wn;|3yA_Gaϝrjqԯ> tjEHEǹVC2Iˮm(^J=rbOHVq"&ۋ Ω2|"j+W(ZxV4rAgp0/{huy!JmE!f KNMDH'7}ng=~ h;D4̱Fq. mY(N8Ksn C~mӉZ/VɔQ0SnN4ܓkeVV'4]y7||$ ȏ!c9ݷJ+s4ۻ5L׌#LOidEٌ;v+1 ڷQ ٗݱTΑeHUa]TwĹTثA(\1׽NJer/в> ۉy C)qsDvT i)ތW@.ӹ3|[V8}XtbΏLК xO1C-XQr 20h&[CyOz/#) ^K^lmL'nȴjcr+L ;D@;3/abi_]r_#68!x:mfAyAFqOAŰ"o,%5:cLj,A7UFU1P2Ȧ`c e0ɨlצ1'ŕ9>U E*;ڲxkL w)Z 6~"{]2_?8n7w} zׇ,u@x3X 6 ֜1tP(3Wmٽ|a1EM㪶JaH:mUC4dCu l@xR/Fh)abns0"Z羿&m7{(~l %=#m4P!h@gW8KwإUQjBԪKi %`Xwپ@i7١-͡PɞnHQ`8&S`F!ي$ 7Zo.Ȼo]^%ξ7 ezm;nW 5w2R0c-~pixp^HA Ⓘb4ۦhX,,xxeq'uT=i6PJ}!a& J2G6eNKkF[<-c11Me1#Q Fq׏d AN\b~,HB ɍ%ښ9A_ssQ>*[u>z k1oثѪ>0h?jc~p\6P3HJc)=mۋ֜-aI7%~Z!>^xyI öw"I:}DS.]n#fRfo4 1gX3$v!_! C{CO#G Mw1J ,P rxTףg!ar ¢G=<_p2f}HPm'@1czhe7˿dcZ_`i󾎶m汅5j1&K7zĐQFȓgb)3 -Zt-kk 4~۱||{!Ur|@Ʀ|e!h< &+͛}vZ~y?$׏'{njԠO}8ܳ8\?rq `_FhdUncsy޼idUď]m*))YHwYuY'ԎD>/K5 gj卥H_:23Ԕ_1q.9҉ou[*v%ǥf({l O(%U\$#UH)%zD҅Հoȡnx~u`vA* !A^z7Of Nsi5OoPy7rVbt 5 =)8f)@a ,~߳ZHﻎ? $"{RwPZQl5qv1YoYujư !jmD9M,,S}%+5[mD^ڀ36#7%~XR3f"X NOٓuR 5p" BJl43Z!iǮ`G($GjQkMK)| pĉ&2Z3~oZvWwKf~!9uBf[ʜ?#9j(c qKcϪ0.#X5^}=ęvNfAOlCda;  hؿD-e|,CWbv'_*S{#99&؃\`?'3κh#>j-%g,8,-]sT]ދwez,8: 5/H Y!gB~ogj_-Tn_Eki 3MXtIA~m䊩 YWg[lPf0c ou:_~L+xJѽQ_L (o7GA@~(aj*})bXb\SqNpYpş[2ozpɬ_pEˬౡKUKP$ +:yc8` vo!9wdV5hu աǰ@L }yɆv+9Sc0r~5B& tr&zZ .scVO :=:;|)q9w"'>iw6pa_1G U,0.7JÎ#\|LǫRMyZ3ghy_ðD>N PWy<\ UspL6j,g:ex6gJVjϐ- RD>\ Sn{dًT<|tXjb.v!02@cxaS)R?-/o9S&[ 6 5h| "L2sa:@K?6:zsI>pRW@ M'6g>2釟'pH("NU7sѤTlWJ1I=QiNO $mb wG6r*pqU铅w$,dBݡ\76,DpƞFd=&Zq^‰R7oGt׼ids-z]Ho F4%/0AB\!mM60#0ڨpyƑ~S!@"):I7CDkWY_bbcH2_R;wv &M{x͸:Xea]mm`gG!l Hׯh6ֽ[.vT0w'香uS+ F]gYZ [dE51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[zzFfpZwQ/e)1AtpPG&]'c o%AJJ*?~&wւIJt𽤍i?nF /A=L;nl* _~X1 sBpfLf+!WĻy+b02u¿߰Urt]oÀC8\J ,rl(pq\0_^Ey+q9բhf5+'VUT/%J^J%xՈpbxjE|Ј'ͮY ۑUCII>jf(Yk:\:%&{)1Qq^sԻ_3qW ĶD< p39AyҿcG*6 &zq&b6u5rOD5E>;Y9߲]F|M@ݕB\M<Ŋ6BI/05d(qےRma5I5TIXaJq"_+?g!u*䕜yzAЫhRpC2ѤcCK,Y-GcKC:slP"6>J"]}P(z#ʸ5ւrvwָB)у38ӝF3%##=d/̥TŢd(2֫t]2?Y;}9LB,C.@W)N{P%6{,]UZl bfG1Bl_ɇAO܁dHY JK+wP |:SX% KtPZ]\EzNL]}oR}n*.=I[L^^6#Jԥ ob3{gK\TyU׺FxqDqƔi*=,q e -:L2b-O yI#MgZ/ׅjbVPr-FE4"pf0~aApIOL(}{=@Zl_ymٮh0O0:bC+S ({u O0C" _ݪKq5~撺6U^'22kU-n{?ܯk ܀&bF S1QB+gj \k\*fU6GwKuXvv fl41 ^0Y|rp/SRq ld N-Ztlbɷ˔LYr{H!-ށWK>+>_y RnRP{o(.6XDy"e]םhPשּ5^yΠTN}8/׽'eko  =cљB0 J\ϰ=Kvb_!M* \gRJw0~kffx+9'+:B_Ihw-2E+Eʪد ɦ';6"w-XO&ES@Gs1$+Nf=sgqh=)z*!N(znVUO,JqbcJNݹhur\pP&ﺚ&D.?Q5xf$E$S!C_-=f.6zrNgQ͒E 7G,0͢sTnB;VYT1boI:G^qbň-GM==`El$4q﨩0טp_ȂȠ434ӟ|G\ o& s[! YF!`_5"֥C(_p+G9@U<2'yc5:0b )/p6W%CΞAtaAc*) 5j.xE_3{ev?C~ϊDZ|\Y0VÜfb= P*]ҷЀ n bhiWٱH#"gap־R)PJMEOdm@NFxE Ob-3 T_S/LTK Em"\C~v=%i *?e n"~wF ̓pNfzjrѓIE&(:2|t LoLdV>nYВ"LrgYZ  (81?' \HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u&]D?7 {?:fH\x%fY F.S`b=Ip;W}>kl !D3l>0&t=gjH+c3+K o3BϤrBy/ogsy}PWbt]r/B9v4[ B iZʰsx \3 V<\ γJ ^O~7oR!*^r>zG _9Z- >*tVqSuk&}K/>d{'Wz'-*qڮh,y"6c\^P3q}&HB}6bYw]&KW6ȷVoS:.;En7to $dıp/t@)QԠE) T~`}w?v ̀p'GT0GB*ߒCk6Ґ[MgnG}ROгN":!Gk4{o=E.+sPŃOx8qT&|Ÿgn̄ LS_,s˗f.qULjQRBc4҃TY1nFZ'+cD}_9dsF7a27b0eS$Hu Uޗ/+ڃ,D1q-.'w^ʕth- ;ǩꊭe; '-2%YѠO}ngBtʟ?{-C&8ma} Xuyg%KU%O+$3 DPo @ׅ 8;|fq1կM`+js}Q%oocb=#蕻e+r7r[H~+=ph;_l\ԿV 92msCLg ktnY r "2OOv)B bDO)'Ln}~b <}V"4} $Ǫ a@t=@8ݴRu,,V9Zbogv%r>#ڎik.Զco캿Ae<+_T = a#> m2ysʚ sY%Z5sP9Z/'F:W&l|17,x٪Y?#ʗ-΀OY$ö3"۰KY53y_fg\6%@Q n-3Oλ.XyJ(@r$M/98؅Hˈs 7hb})GfnÿYˑQ3LvD-텸i=Q,N%b>&QJi([~O637۴הhMDxZoؘ'6/ժC;JtUKaa!X:jID4IщSajJ0u%ٔmg>upUz].mgw:b0@#l5z,"j\.gYZg7 1?# \HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! luh] !M젗OFK?f=Ь*f@T@fe5N)\j\ #̚qQ-` 4d+8E`|ޤ((, ~iM 2 4@4;R)y݁Jn *T*/_X532Jʢmmo!&M %1Ȉc V2-`B1jPb 7:{Rc36'39kZZCҤ2$K2ԴU ⅾ@*˃ou&Y9>ږ2 i3z0O NQ1XX{[Δ{4:kLec}' qh~X&)8٥}7=swإ0I-%T;=F1r@Cc狼lD=bjG!/n3$IW(HX-7G9E~w 8YVq!OXt(DҎ5Wʵ;ҖvOY\HcI.Ew3L?Rl+l),_,O b~'AA=\7\Jf TEżǔSPQ`Bu)fe l%%/xQ-S=%7@0Ɍ)̉YErN'`F~i zoܛ~Feѻ1mPP.PB:' 9Ve|P]5LyGhZߺOL#?&RM2L2+D8zԂAo+hJfGkk~IVը(ȅ'[rC@0UF),/(\><D ̘}/LM(W:j.j߼gF$#_5Z)G KInI:cl3[Pǻ1.s6ۺn|t9;_Kp&16CIhgx` FmѬ"zV"9MI{q꿚laYNr iZ.`9Nײg7Y1._b+ i1k+'Esq]+s$ t\ -k7{xبV;r$.+L`61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyM8Oվݵs2OC"qH7uUVF[ Pz|aw d 4RlEdJs:TkV\~*BymGЪem/$%lbM6a٨neUJjr)e7ඌ*6g@=fFthB!&2]l+%d^߇{؃*M_&(k Deb n_v@7EɊ:<`"W>ʴŐV]50)E+@ eI%c'B.r#x|7.OwNn,}rc$+AeluKfYT̓?όvN(т'"T3pt-b%^:`4ʋG"1ai#=% l&%pQdS@\GCuOgAz {?nY"Rj!ɂ*s)Jbv,O 9mBՔvf<=375)}w<-ai($c[1N$:T?nʮO;Bhl-=߃^M nLiZk^Z Nk)/nx0taXG{/< OdQK`$|$eA~Y&a ׄSjfJlN?tc`,kuQ3}m^J̉O4ϥ:;ȯ$׃#̸͗Ë XltIa4G־Pĸ2hRTuQX{xtȿ8N4d7qdKc-ӼSOAc/$&Y`=TlnBK[#E4S0Cѯi caEa,,j q."2@(:@ =-D?0&_klB*PM"!_hcv_ol#h}(T#`"[`1@WKl-9 Ŏ hW"%@Х㋯^XQa DvSuk6]\˹cT^ V7A]J82g.Yg0oܠ>ݑُc5!J@9HQQ-w&=nARJk :Oq;Y;`%:Ύ$waS5˪<ބ{{<4~&Qnlˁ= 妕YI' np.пE 4! 1eLg-/3Z1igQ{ić10M~%^ 4Aai~-xN2Pn 1d̠#vvP :ȯp2Ql¬N+)VSxUO hbw8bCB<ҺT NR }$bf2+_po6<!? #+mVƖ>;_0I ?JR,25>ڔ05`A-f˙A\x&;igUZvIՓ}s\Kä͕kSZ$!PZh8*M:P;Rߒ-fhX6A9zcY inxЃDrq5QFB=AsJ|  t[/@= M{ҷ YεT"+f$!vH-bo([jpŢv"m[ R5lz0q ,{Qs -WA>]b%&^+N"73@ֳ?hfLWȆ@Uڑ ܯcMn7y@R|<ۮG`-|Ɏ<2<{I$"LgqZtzibۥ-`PV$%ı:('UopEjn|洸IS_7?#lDafy2lspc}rEZ˱ѪȡzL+εP}YSaNx1%t": jeu rwfX VßˬxAW#.Fa8k+| IX`UG+\ s_CVH/r[zmDE@2hX j6窧jfB#{){*i~(5!"r՜n1G)'ɴQPΡ~rh $wvm^r%D"1AL {feWKgܵ´p5=8VW}c3ot_؆2ud`P}.VS,x?m@VG]lՇrDEv\:;:DYa3493JXLQ ?shwIvzun?{jlIR7Ng5oa+'emIS|`$z%rLQAěf;Rr ߖ̴5Xyr؆|Z9lW̕ė{V /[X9h:(6ַb_~Οw!p #D4[Hm10C:}fV3Q5al6n<7+γ|T9Xjk(`DС{5^E,ΙHv>g!6_(\4VBZ+7}>; \3ZE+mH̄l ץH}| swfk’ziT9=ƺeOtj0>/"%L%l4v®3܀_P bvxQ4Lzz"nmifh3Sݾ@trhpW '@z5_Sd/8޹f 'Jh.c!ʌ>4O&Hlzs.H®c@ï1jxlyO@8Jh/Z7DpSDž&rp=\aOՠİWڳ[ [Tl^ 3!}ϼ=fu]zEͫSxcA`35ÙL^dh n \yzC;xRfaBb\ި VDr0 r%ƻ>!3)L1VoƬxY ;H~彈˟R ׷:Sæb(nGo<=2ۗYv D3-ɋn\=kJ'k+!LozVy_v\1wʰ0#rPwD[[¾K5t^_,4@qxB^~#b,4S9rsemH"7u踊Q5 VIS11Uw!1TRH Ƚ0üq1j'oC>\apnr9'r\RD >]ZҜ6CtT:j? lXXX>r2EOLqO wii!pw>㻀 j}V~]h6Gǒ99Y+Սr#5,T<'N f|^V^>XL[u-BׅI* `[G .L٬Bo7n#wf7aR1Bz)@WMl ̕AbU15;q77)_%JN hz;NNķ `ֱ,t2{ _:-piqNT)E4O€IL W6; V 7ͪU$=Pr6{B'Z}Z尮Zsl.e z(B 3K #O—z_E}nyÙ AϦzpNOlw ef_HzL2oF'ּzދ4uQv#(߰JMK ]F|R9Xb-N)!":TϹu-Z FlzKY 6Xʹ)1%Q/(^ tGB}vz^̂B28^֖nIn B>Wț\1Yk938ڏ0!w׸ڂܟ3BzK+OF:d[ i 1]—9s5Pr(5fBFhv_9-- C8quZy}hw)bSGq=@*:.X}qhKTδB@#l`ing!ϫ鏚mdVP`SJ2EaGIS5- *$CgAKe ;pŽ輁# 6Z`*_ZǴf(zpqvG3JǾ\idvE 3j[c~^ổWq'{Ό8 N &-Zqmad\GF) @8C܎]z I0B8YyȆC~ )\ {Bn+|A=22,慢@XyabQ+C[ԾG7#/({cO|?mgo~wE{nz!c\~i /@KfI/ZhabKZ'nXrMD=hB쀽 %rZ钀RNMY<: Lp_3ShJ+7~ۑ %[@ƞﺙ"I#%ˎ#]sK+sEBI0º5IMjT$*窒|W6 ¡Q\-um]cX(GF1 b1\+h^gK0u'`뉾Ь P03=['V*(r ilqq 3Ŧu WbH 戊L7Q Ɯ(E~KSyI %9+=Tf%π_ayc8zj,SVd`GO Q9 ػueUeQ6/2\F[8QJg[XxՉ@`ύh-zz鯧d<дJ+BYLTz}5YLCHYϹYzjd>8sH`q{UoF #T4/k!Ee#[0r,xU}~ ;fi![<#m+n "H>rա޼)\Jgܞ a\('oXstkAvf t\Yj$B^ C gL̄4OkYwY*ku7a_E`QgZ+|CS%4ƨ^yfXUXǷ4 Ye²% KMWf-yKwuVP7n:yH5_N9q.[.VPQz˦Y`A$3o{Q bAӸ4%"͆*{; РlG*q3 i!Qyb,=KF@oGS/K0T2LF*FK;.R~΂ǎˢbv͕/cMz~'}<^xM*IlIf?gDjP]/J<,R<.bYa2lw_Hz!mu/ajב1V0% 1$+VJpU΁F63߇TYz~gGr Y fT5;^Bݔse zYϝ὾%`NKDYC6ܓf٪ <AC/Ov$4Bbu]NP*`9 +{φ\'aVXLcP}Q)Bd'MjE.fҠ@h7]A|31<]G'0 71O{"aEL37\xf:ǕP!ݾ\ʻ͍+vEDjK%+i/`%0Vc5XRr9PFT2,2̕)grjx}?Pa݀RG0mOZ#|-*2(JO:c(E)[CFPj\M}vK|3+դ0 a<6`4,(eHjC{|PEQrV^O. T=[옎 D.0}J!X|@t%Ɂ*L_A%.Z ~#}8k9uI |MafmV<68^3,|2+:y>T|1(]FiCT7EvE_:X[թ$avƒU\äqԏYw%D-~T`ؚGnʒK?ѺUC橔=4荳)٢Y7G_nyuMS"F0?>{Mlt qĕ rD֋ 6L{SqJ؃ꘃ|%D$,&h7Iĕc k}u'|m\Bm?mE0yvդ%ʌp:{G9:?UalӾJpPɟ]<^|h@a@Л6(N`e\i2g=7jt:rqEۆp^j xzF7eRց(]ח*Yz,UA2zsa #υPDkԔׄ\&9!3O8y@}j@embϴB@OUr0<_T}|Ɏu 5d"m~bEkAMT E,ڍ(,"Ф Z8踨LZax_TWYuk5ME =Fdn;BیM$ƟV, f г݃Y9m 0񵆨$v1s9r^6[]W#-x~vheO?ae~qDaŘSuCEZϚ SOsG2w ~ǹSuyםAO3*bP|)10[8?ns7v`e9XIݠI{L|I4HE[,xs;GIR٢@r%1.{'W;If iO]MM7Ag: VbB@&x+ 䦻8`;}ҴQ_Ft~'nҊ͋܃Wh ?/Lݻ %Ŭ Y]<6Ak`=y^$;P˔Ѡy$/KUqy~҅UVE^+[& 13޵ngKί*ht &Ycůg2nkLBWA SiyI]lj88{Lb';D",'[PRplhŅEz3Ȗd0pY|{3T81rFfsiߟ'h $@=ZY- xxjJ@lH,Ulzou@WvM'9dUt J֩l߈%Njk gO>U7@?yTnK$rv|z@p14g`LʆljHh[ ԁ0;#q/^jqAy[_cMO /Ge{yzrYWuc;JدƧf鑏z svÎ8Z>V{Kc܇қ8ѧ,Pof„G]=Y4JS)PPЙ)ڡZxSTB{c|g]sK :J,ZspQ]&r*EP.6'jofZDM~*KH#=md.9MEEddAwS&I5xRu{gE,)ahO[qYmk bDM SNpHގ@Lf; 22cic/ i/4p 4cٶ+"S dX2;=V_"p+ґcW?=~D"}#=:[(ZVs WoD~5dzUszmjۚY@9 7a&`4yPE*=S-8A͖.tVхe qMofN2dH}Vj-ѻ&{j_!Zv "eg'At V"Y690>IN鹗#+ t}I޴Oqn&@?$\24q={<Y~YW"X-tL= d&0.cMK6-]!*, x:Q/wM?W.zQo1dn5٨L; \sb]-3p:ǤeJzs=0Ak4,P2}[Dg&U=L*E8mxW>4P蒘`2`3-ݩpڻpF>1Pmwv_4U6E.a \֦&/JƯXp>$5K: Y?KiY-s'>E6ת\+o2.?DULlo@۰\SV9 ('5+9lBBCPشr|}QSF,ܛp4vmGvА2#A̫Ma6g6_IѪΩ,=Yd*#K80agQ }Eu'D=Ŷ+}D:a)iME?;ˎRr3mW4C^6e*ݻoз_z{/̝X:]$Gm4ժ$ҽh/| 1{M1O?hך1s&htRⶠ ^¿n4*IoGaYJi7^:wk8,4dRH;qfO NrʬoÅzo y^7@`CaRmcfjP2!-*_?NaXǸu *HF$Iu."xTME)EfdrLF`.]HG&ND | 05vXmg%is#%2TLyBy(SNUCjJ9>qڔЌ[ =RB~>nq<w]ZxQ.LNSojC ;X=Ftf۞*xt1{9<+쬎HRɰL0CWr35#g}9'G 0kQͭP15ؒAͬ?kxuZ&cdjG%D? W1E[&6qq_ʿa"Z'A`eĤ<<3~j_qM9˫y7FeEn(PHٗ=u+=xl[3ϗcIюF쉎rbx \/R! lCbdŚH6nB"⸴Tvw^F5Jgq _T"pǩfi1/k99 BXUyzK R{)_#Ĩ[!O/JӀZ<<E#NF'AXwNhr cCeu0o0uׯ? bGV X]Whf-e"ٓ@8bV2--ف%l<ףwG=t|nl*Zo%Iv*bv22R^dlG M_o_QЁ⎠cN@ɉüL&wFfWuq vU/8{2ߐ:IrZ;1cW12SM=p) fB|D:WUMpKjB乑ZUq CZuAfDph%4tX:a#/ d<|(,ɑ N%5ľd lp# ͝5A&+Xi`U,f?)^+v kN17OEd3EmTA\pҌL>GBc\+k'1{#_H:lo;YPK&:8"^;ڔ6VķewaQTm-4jHIJU MwYA@rz6>IQE{6v35,(FW;^ƍy}ߪE4c8bQ/- t5#|41b Z:t> eS#%ft bmĺtnH2[r$ӞE7:ufO \٦>cȇ >K1~|tlBc[n##on ս"6]~{0IC%2Gj=7oF@4-`t;# jF O .'0(n+m wX]-7!њLo64e]w&"7|>4"Tq6P8P14 ?P]]YXcE0/zR)[ckmgHH8\b4n ac$]vOqe)݈{ B]0(Qoz/e%=)aOb%Ià3'~~^6M:VQ&Q!ؙ#=;gPYnS1:,ꉼAze[oQ']^uTfA(s_9A^= E$DrJu2(~})I֦o A%Mhl-W l+ARŽ^ <&Aj Q lRTZ86Vx$R A SO} Kkh/s<N"XjG/>Rlf} egX,3>Rʃ-bz5"H66|X(Cu|_5ҪbclxQ)7gBToDE_Elk3G-Yډ1?l|Q[]D,${x 3C-ui;4Z Bo'aw Cmou7bi5מ1 )1;Qkբ=XJ78p~m{t3ݬ4y(xH ᄚ'Zۊ~d>͠#MmKg:(Brm7,'YZ]\qe80]B,}Fí w_?qd@ލ:exeFUy.#غa+NNq(Qk©ҎkU ID5sp~&IJR5Žգ8)qii>uϔIrc#D0˹V> Islu*DYQ`g >J3J!'FHj¥\_{uOVT며8ؓzm )gia Dx ]-lue3Z>>mkU}VDM^` L3䉪-U?_q6Y &cڽg iNa8tI(pۀrTL?D?CQhܔ H&ω_>Afћ; !FLFκ"jM_d̴sލO.|(g K܅U c:H܎ORnJXΒ'sc íb-Y|Y޳HԈ՚նU\(յelA!ե.ze^mGA2GRCr{1,Ksz@G%s;Ble(♲DaWfcG{3P;X(dpdYQ0 4k>D( Kro3jcb9H 7udHÊ)y E2w?Y Y,ABUvz :Xd+D`O M;-BVEӿt*]ƕe6ͷPZcy$-sUhb_92^fHN^V/$d8oE|5#O: WsXi% V`ue!Ŋk׵v PϿFzwi}+wj;J аa!-6ud PBfTQ|6뭖ih*u&=C~{+>8.Bt x:' ݮLV$~4NlU3=q7?2H jIrabBj܇[֛l-pipʳֆq0IcYF0ddo9~kl@ Pa# &+&ƹ4у:̕i$'eנv "#Ƀh{e} ^ *D/Q $y Ub:ǽ^IF)nȌxgqLwؙ lĮ㖵D4gx*ɄO-, x~^%{|t *7>8Clf}dY(bD؎.O$*T 7PU WDDri*ŒD \KP::pIp8b*t-g DcV&)4Ch@\ iY,>b$؈KqplJ?6CZ0Rt{;g%:9L}UK$+lɐt ajOLӡ^f`hMJzRUN#廫$ :+Xz L "o9$/Rz/ qn1!1a ߉ C.8,N7).zȞ(>H64ِvEPxRH+%p}[j"[^:c @Odr] cY%Mqĥ LҪUi4f~&\s; ӺM/h֭]2Sa@y !rF`tŠζ(PN-{{LR[]WCekuq9+!g46n*Y6Sf&Zḻ=CP A)$\W즏dhu_ $^1"FN$9$b2&|jRV̽IRy)o.0E!v 4\ _knR MS It@ @(ER;Gaw`b1'ɳt+4r? <u{PlbRt5VpӊeA@cd-`sv!EUd8" bxx)a&OֆL>[#wf ns|a)T ]wmrFdR_w̴Ir 1A b!CgiBOD|!EB n< ;!y>.""dk08^ X9vG< IQ)ԗqJqZ[^QU;a{sV61ށ׀ȮsaJm3`f+KK-\Tfm #d ]:J?e Yl; jgʹ]r8%qÜ1} ]x&,}d"%/NDl >o3 |˔;&|w xkg\.TGxC$`-|,/B)* "NK/bWSҪ[>ļRI=Rux[x*cO,R,-(}Ww{Ytcʚ"(©xu졢ѭliC (-h7ݡW 7QY+GsO-{cJψnH'˼ڎchrpsI/¶nUabtEP>C 5[]y#,tute٧']9j k_2ƝnY>"(wyn8$̈O-хW}Voj_8U0ck4QQҭ,{B`Q@z™]|>*a")trrMcֿRB3,QAPU#ʔ](蟿iټ|R͆R#D "} Oz@O Yw;\G5+=h\LhʌXeK#nE֚֬@ *^%9&B 9.B">F7oq۬[R[b{~۔G6C ް&?cucq.[@$BWErAX m&R>`<4`~Ŗ0A#{-P>u1،  W=΅8`ZY*T<F-MwFxz!+@W=Yo 4L(?\/֟Ki\{3_oeҺ2J&Jr*kI*iUmbV P(i ݁BRk'6*фfVe?+1Y>t×:a6IRJL53ABYqd (6NW}dQj*l{'egn> l&Lz4/nmǃhYud%ci%RI旵yw?Lp` =gL4r'^Cq1#&PeJ: ͓n}\ (0J,UD#FHep>J O Ix˟]ÀAvK<Y0S~bYrrp[OF!JՅN#\Ȅdn|܀ /k%*h[[xbΤbVQ-8R(Emdp2f`u[g0 x8|3X ꭿ%UжȽ,*z.kȈ0sޖ"Oz 3Ν%@ -X ^ҔpDlg9cxʛa/s˦뜺zӨiJRp*i⫄NДN-(o%1Ek] Lp_XÅ. 7ؿs6 W o. 0'id_q#7;P*fueZY#HǸ(&}i C }~`F@olq֟["En[L# Yz mEsK3E?R|2dl/cT?|[%#@Z{ۺ~FQ%9,GH?eaG(,|H֥خ_">JfJ`u35na7EgҲ:5{i݉/n.ҜGM}^z(/ @PQ)iZDIIj@;\5Ye:>8xHW  #{5\74 Oȧ Z 9fw1_"wݾ\i5QE8Jǿ⠔x Cm <ƍ~<ٍV>OZ \A&, ij#c^Xret`F~#kx /tro#-[fp)*X[}xC7IG^~4zZNZءX":]"+YC#;cQmGR.}ƹ"4%VsQQvrbvryg)J3ER5J{;߷ FJ,/SY.IՎQ)0 :LpFDL/O q{X|R#%d KXN_bV21+qҰ" ij'@71J%Hʹ&qy{Vjb}KbE׽*We;0CH[O_[&$?Kԩ%Zѥx x=)PQol&{Ijӂ>əGz)I,HoS8&>9`[O9]p%qOT0PTfp8_ߨ &Q"l>{DHBFF%4v2j1;f16m"$L,9%(`2h_JRDiBjZ7- , jIog$5CNY[DJhAlEkaK334`cLSt I,(ՉkA̦9K~ksCިD{δ#D0 kR#h[/ BѥNiǀ:idrdq\bJݿgEHAOl:ZQb_9hpej!z' C)9@Yr:%bMF_?P;ev_FxcKdyf(G)]˧fsX_ŠDWB&-,<'N%`EO̝HJB0Ck ?cxhEcvOk B隮bqT%sFT􌍿I}Vg4)Ew>6NR[9rhyV>? u]y6sO?7ЅM/Gp2QB<,^(}u TAR^ٕ:WZH/H]̼_9MI/$gHc|SZp,Sƚ_ 0ReH!~k)P7U@[ |?"S))IsȘKF3T44FPV70 OS7,f»"j["ykzJZ%Ocu7,6s':!#pIVޔEL*L(oh/#yaT>FO&-*di&s ]~pT'%eA"lŃ>2<לTpA,3 ;<G]zYhZן/RCm.9яCBpֵ6`>^i5'ZefS^7qXrWuQ x }^䡮]}GF5cbYJ%<'*l}#YΌ!y7=wR8f2AitYJoWuF"4` PÀagǶ]K^'>PoQD8\(O[,\K+k]Vt}6l;fEЁ2zZea6Uw#[y9tD.L .g';ٰȱ ?yi:8dbt-#RԵ'޾-l4yd_H{Ar.ZtòSgu餝I01*'uѭQdeNǣ1QKڴdr5V^c\-4ۂʜvX,%SsbG0:$ѝS =`oaܦ`n&')QEOJR1(vXVevYv45~i/v."pYz@YwcZ%֚/xҗW%)z <JٚC2mnzC$}.Hpg"-+4iTWWY1YlwWc9?`~ 7{KS$>pS=CItRɌo>sժP n{VF`lye):'kdDö4@RaA@CA>7N{.2xVG3ȧOAHb漃yZa 2؛Lm|nE=7M((>ni+?얽W77_~>?󃡳32ꆡ"Od4s=;_vª䗝:ٚ=SrUĢd O06ҞpK~6p Tp`*:gnz#tdO:1^w2nQY)duFVبs=#3&aGbL{o~RGD%v6 8JK  zg&꬇/6y-Ҽ`Κh^Ld,cZȢsPY [Q~gDˮqܐG JPm"%K=x{6zW xEԖpiVv ֿQL$BGťeE1SJ1!g1ҶLn+=Է gjvNN(XEW.u϶ gc˩-P^> [(zad |,+9KXR(] RFuEztG{b2zD8^}:frM rOSrʣ5BB]W_U2 zBReZi-s.z<l!VQdk8b5we[Vh̘ۤO]d yUa&o8 7`{mGW,im@B.{ f BO ue{<}HL"8ѩ7r"u@]&x*mYmBT̑|gI>oqyS{<ۛ~&1R\lR<7*QpTFdWˠT@Sqd3N,?اqcӁ[{I[)e"]ʩ!vǩu;S84Ĉ蟻 +`wAuⲐx ?* kl44 '!(?KU ݏ;nvJ "dOU `Bvl-F*-%oFtGR es|O}Ge"D~3YG0,㬗YLKq2FtA}=d#]uòKZUFB# S:-uէf/ ">35x܎mu?4?XR|}7vhxC,2p\v }>jS2 F~tSidU7q"9~]:!m\Rp|ӴKbX 3UF1't gDLMIM"%J<ڑjY##0~"c IwmͿxXT ,{ܹbe E\ιiЛ QtlՁ ǒkY0[/L -T Xg Yo-1w𠩓mӇP<-j0 Yih~ Έ;n`< zi "ԛ^nSzJpr#VRjOl/ŭ @zqMB@̹zϒ=T8eiGO=,xzov9\8r1+"4nKoߠG?F'}5Uk?֠?Qi1ÈQFne?L0L81Oy̑^iIH!bpze$ 0%.n-3V V;<䑕N38@cEqZGA-? eu":j/΂1H7ptn4ObwVCѿ+;{CW(X3װ!}PZLjH&q} 8Bvg,ޗ~>c՘BlwAzު\˷`= D ]Պ='ѢcVh6k}~e#ҼPA֑8 ߴ%  ,7+Krg\@f#󂺙J"=K'b@ Y魧) E#=^']Qѐ7-ü& =q=#=ȉrdx^x{"Qމo(h;>fOH -W@?1Q}ec+Vy/Wkͽ̍rum3!{eeYvfTF#Q ?H7AoHhyjŽ#fEiq_kMДԇ=/MWY HP,J?co) #ͽ՜ʃ31uc+>OBM.D˾':,w 3CؤUz"H%xE!~ "m^Îö%יHcŌսWX#t wz!\@^p!HUU2*Pc4׺dT[EߚHE@)*L Jd 7s`ŠosԻg[ 3e . l%k+fYq&.TO[ʘ k7ABd/RnY21<-_豻)2i֊ "DƓ:ÝOAzl(}y^M=L20QӐ=IaۨrKbklT9ğ/嵣{YyqSD0I\qU N2m[_uE&гjh@ƲY[|%E ]_?vH+I `"@-"VApSj409d6?J\-*ގM2~OXߕ :+BJH1_f=W0( f8"m}8<[DO"CI׵P٧K|VʍOX)LcqF*nqE# S͞yT#Gʜ#+6>*Gۏ+"Zm4 :q yLUl rMg3h@˥ {l[^7Bv{ЕYn+6~9ݟp鄩ӳtHzP!j]D9<]UG:}ibOG`#IȗyNrwn`ZZB-`Ԕt4:n[LZ!(tpI>\ a0dz-6Jy92ٯbR!{.(Gc"* F J5Y_[XKY`y${W4҈Ҽ@qG"BO/G@΅wh%0Q)f !7 ~6y#yۨcxwa—]‘c:Vm,J3Xwby]О,m*1^p}IB|Q9O {3QbWZխ bDBAz81/^LOL\N Y`gv򠮄*/&,NrYDC.0&A3$:]IN֏L&pvRw㤉tdcnS">bmjs5Ž)iMhKK _o~%2!~^]O-te "{\ [[e&or:؎ ט͋*%{bΥ ¢3 -!xShm(U`Y|EW02 U[ApўjϿ@V;U97>!v{kp7CIb=oTĭ55צw(6-p'g?787oTub^({;FJ -ƄyhxB=H/ޚm'{@]9:wzeV^R6|Oe~uя!Xh`8h1BV9x5Ew풵YNp߫'y]j#sbl5;YS:T=<6⁓nW= &jmxn)ML%n Y9, asTgZi4|#P˻-c*3gYZ7zXZִF! 2]ŗXiɟ1$Cܨ }X 6^vWn p^k8hx]ӹkľ*.EzO h@]R*BBKqB䲦>b'Acb|cii5VNc*˳ZEv՗EG_%mYPп,O#Gֶq5BL0V/Z D@>Θ%ljyZ741iyO!>Vfa_[1y0$=h995O)^0Alj5(pտgYZ7zXZִF! f' ]ŗXi%R(E4,;Zƶv:V!w4V#е) A0^Q/j)iHR/i:#>&THP "^z20YC\!}#N2=w2vd͞/5 V'hTN(~ SlfC#?l78 :.a+|M]F&p%~wM3lC{_l+\ $.UJ}&M1=P-rnw.h窓`};w<< 67@)Zf )4XRI zT#3186H9 4s3&q{\7g3n 06FC6yBi)M&iCF\hvgVMO"x@`J!JJXZKը=~#M7c]: &Ũ#)vlҖe]0ΰewc,,TgF"M9wͳ:ѩm\) ՋZkZDTWz3=ӧp =%PE@&+bܳpCas{2X eu osq7iёz,mԳuWruVpR % Jv?ѓׁ2y(0@'lgdd8Pd7}s.ԏ:dvC*H좌IB p al\a| {ǤaÑuGB$ټ˷>g#ژ#o .&P2WγeW'rߌS79 S'ӱ'tSCG!"gYZ1838ae43267b789a09d61f6e8f9896fcc29678fa5276688fea607e3a3776d373302d975e53d8d37c bd77ad23a6adabd9127118020c894b7881abece9 9a749f1fd5c137c1b9daca9c1391e83a541beb4c