SQLite format 3@ Y.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  @1t<|| ] HOL-Metis_Examples:threads=6elapsed=16.975cpu=68.328gc=7.6647zXZִF! ]]ŗXiɟ{;d*" 0="Oԙ%}t0S%sS eo/ڷ S}jSo)]) qXR}:PMyhYJ"'mewtѴC$pr(ٕD ;IZwϓʸz 2Rˡ>< RbRiznZ:>WDҰ}z )Z@nE2a }(ↀq+wֳfEIzY 1 HOL-Metis_ExamplesV1;/ $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ؐjl0U3S2R.I+H"@!<:921&"        8 d  > ` M   j %^*>J  T 'lye*d 3k& <1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages8:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup791;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files6?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_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.TarskiPIDE/messages#<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup";1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files!A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex?1;/ HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex   oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ ppl1MA 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>#-߽%Ȳ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 B1OC dHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex7zXZִF! <]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI"&Nc?TՉčNi(lm&=ț#0i!1Z\&Vུ ]Hmэ8qs-s2T]ZV١% ?6=<-ܢCΝ'ɖ"iG߯p$ $ QB﮶5] 6FrB{S[#ʉQF`^P,Xh{N٫xV'Rie.qÆ[$Hn␓С(B 1ޓbI+; @=>= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=s 1WK 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex7zXZִF! Wx7R]A-MՋhvG"uIBm5̛֑ 0I8M\:{V5f43%]D[S^EhQG`U)" 6H@xp׼ρSg8Rg*lu+]b_;8zV#sq̊N8ϜKY>^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!AhsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZinm6|yuygGճp)H{eh$ bמ)lP*MAIqgf0#coF-:X.Ne tEgOhŒp]XnS@Քڲ4h㔪+"5 Ird8c&҅w+#ڱX#XVᐴr7իZ/ @Z~a6A/qa@ZDѿ@†ږsy8޺0b?@|5@($4\HG8TYuhb{2v{-goe, yk;;P$QK$ GÛfhJjeL28m<^̦w`йy|_#o3GIj x$|sXX\0অmŁ6W/@;2tf VEMWO(T]ҺKsiˢjP1{,fY^!%q~< Ml?7%{l{ S8V9XR\(vpފ? =S zq~<9J3(ǖf0!I(Y[p`{U!rg_q޿)>ͱ}0q CF -= `6_`ٹvsc,ڼ L<j0dá$?P1 TW (wAe;#}AKby ^Q$֝/.V"!KwJC$d컛c0$69xǯ3lZe^li*-)3egՠ/BCP,<عEcRt%I3k~do O@_մ9 K3ߘOSIj!fd ^ggU` yɀd;u'aT{t7[/u(֪.ǻ=IDR2zo10ln%EUO**ǼQl2|ssK6vG*J=*!sԙ>=-dɛ.Unck*\ovݵk8P(FuHwnw_OZXb5WD^W<{ꃣnX.B~iwEh̉zj]_vQ4uݐ#>B1矞 =|,V5E1_T=m;wX_^0ޕbw"t*R7JpȌbYAoҶmjR2 JXIjF R;J=K\^~MfeGHczPN]û@vw{4-K_ [m-}]a[\exW9_VIsLBTgDҟO1^}BI]5.M9m|"m @rIݱIJ1mIN~\ a6pF}9p-ٵ,NȞsw &jWu-ve!mas R;OfOՉF3>Zm/|4eW8] ơ_NqFGd}ix%ؓ Xj9WxH*Z^LCh|s'ⲿp8a\')A!wMjC٧s2\&IPve!ӆstz}L *=Uz4dYA ]qpY\=yg؆4y5;.P[e[i&[,pTJ_ W@7JfZԖ3Dxr9b"j%[RE[ܷ#i@YDq]<(}k֮7%Ics)+FߑUT[O}% jU.2UXSi<"Tװ5u!B֓p P^ٲp' )iH dR.jNZ"jQDd(RDZ1Z~D+3|FЪI/,w,8jA`-cFIn,,JUt lAM]y1\sٌӋafqo8["VL(<++R͠/BOމ0E7=^ )$5pQr%X3~)=Ƙ:G@+ om{ zI['̵EI7gSn& $fu|܅`鿸EmcZռg6NfHB %XZYZ @O ϴxD- Qt^6ԕ_P)p6V~d^eX)B鸄?M.2H7p$Īr;aI_[ Qvh$dȆz;+uh$S$ؽhwyv&Ĥu.tb +i;B/L¯#,fv3w)o\@~5L {K>;Noq0)1O-1)"*Y, P7paS<{U3To"q'5 ڶwdv/j|e3ňpm2-|(ި%Q`+MqdeZ=R&߾\i#(EV_f:nϒd9̯sT FDF0Zؔ4޸8LA 7Ԥޘt&Qoj}y02V$c&nЉċ-%:la_5s.ÆYZ*3a3cEJ.ru;T 1[9qS'D%sn4 7+gYZ c1W% E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxueߞ̲g D졉,_E+r)^0{朿ҧmhpmx)07[X#dmM"E3 Ѝi~cq!&F4clzwVC!D4;u ^% 06u*_hIiJ~6iD {=QǺDF,VȊsމ=mӋԌKaV7BߒgLYo#Es'twj(PLV);wÍEth=)2dE?敥a8`G=O'K, gF KYkfp1hIs.&1|2.ő] Z4s{SsX ^Uf|.N;ݰGg/DPͺ)vܱUkY̜ wOm~%ݳtTJ,C ^AeVu^ '/1;\JX\93b+(anPx%zwAa$jֿ(#ب=^7b?b}5f]:@({U%+1p 4]Մ,>!-UR׶7MXRCLEmX6Ic<#H2Àd'WI09&A0GGOjg@?e`7L->||fyPCI_ziΦz%YKpcya_!=_=JwkR:ٺ=g}1mo/q_ a|`d|Ա&Ԍ78/݇W(\,(DlZ}!b&]cyшzb\L3] YAL\wFכ_JAsMTqU[]Gjl*,9fXV`>A#+0f\B^[ B?c;L)#ٿ|a ̪-f\GOU)vkpsjښc,VNzb_ݻ,[sYA ./“ HodFئ)qBT!bE oU'߆QN=|sJlIL}G@{:.]*kd۫^]*GOa*kо\|oԪcI?TP쇏RplNY}]BZ"s'7v<%WPT Or8]Wstr:oȘєN"O uON%@ 8Wcq`>5I`8j"5j,>>DIyhS]E)UK ņo3?U3Z[iGvUsy\cqRAo-p')KPf}l yDvClRY R\vp1#@MӍqG1l+<9mΧXj <1hiry3y Hx)Ě8bhWf纅Rd'~gZv46ŐZ7 'WMlhÖyb6'ő$F7)W ZoW!`3V;12ZN 0ddl0_;+P=XKP"<D쌕ɱSgRh$~bY%洧zeAϳ܁iPzv+% D ݮW: %W=^sK@Eaܗ?vUbj0|tl"6I[eUo^hɁS%޼g}_;lHn=4g#/tER97" )=wy%q?f2%_oԦR. )l2IBX' n*3lEoB~j/YR0 %s"Ҭ:D ܟB$j5nk,s jJ )}fLN'OW8G͇g5~ߢ?aAߦm87rn\ӡG;G;HoFaf4Y(rȰ!~0++,JϊcܙD3Ǩh|4oP#) FQg,7 7`;cI SvLUje5/57Z.l/gG뎂m,N &Ӵb_ m2;r~rVB<aΥMW*.LJE0zU iIW)od,WYѫ(RlS3FU(nf:`HeaQz`|qj BRN-@% d\C3֤tGzXjm. ޢޣ>=sZUPL\5찘Y{[SCULPo֥8!S7eP.nU҉=$0ZA9?XjMW P?Akž&v\|0Ps>)nqa_!3G0c/PtM;m)ѣVvE4m`,Yi?m2 BDYm^n~2 jJۑh/l;vu{媿p~x?J|zi"`R7Pj q]Q*"/cZmx/X:v]Vc۰Q$}BCUO崧Sv )$l{ͭP Gj98 ')m8W4dUGuMi`eRGHuE'={=ڳe(<7ghqr"Es:++cBB'x ؘ`q pd b{Oŀ~ni0H{2*GeMiջ_?18,qN v+xH1A$r</.Vg,ʡVr!ɷ+`W;Z(olUZxu},$7ətMݭfZ3|dzX*C }L_'ezsg^嶇%n^g0BaBn\gZ7 k. ^=p;k:|g06<͌~[iuɡ-&@'|X%n_mt -RV-]vŚZYmHo3ɨfusQ; >{Xk !.m{m(0kYT~+pdkB;g~VSDĝRʋƭ&Y,LǺon1b:Mz9wJdo8+ ,Ae?+T3WR.l^LNEVL}Z[] rގZ)Tt"\&VHuNW"_}k-!jTVs\F, ?T^n&dr:z,݋C0BZVVc%i{ߴ8\Zʳ5bsUo>`]7֤0 Ѭx. I 6!Ak)m{BlzHKMbaMӋ Ogm|5݅e<Vz^>rӄYlx=^rb$+(Ooe%F-t0~Zz%#Žm%(ΜIPDW՞jLA?ÂWɮm-VC*&L+%<ߎfON?_,ͺWt-\,3FQЧ#OTӰK{%t ׃HD.QXB}2MWRn@OZ|Cc4$N^ΩYį27 U*vuek/MCe\0mP.uhU_3Vd>H[%om9 p~mlK.07X/-4!MDս9RR<F&D D9n?w{{(㯞*_FΞa>0QUI1yzk9!Λ'NiS*ctܟƿT:o %eTN2YX6e8{DI0\r𝳊68b4n'Sqe (Bz<=M k0%.g[/nBͷ$oh|#CO 9d)a<|--p N=i2aYMeLJ{fNdbtH١ ok߮ 5(4B%2+ƵD!٧5IUǔR,^|0Ar6q=s;3,"XY[{vΉlƷz6=!EԄYp=5ե!hP?_ P;/ꮬ/./kж^[fi򡗵n;_ߨY<%I l4Bsqf7rc"(ön536k\YKC\Ȋ@FބrL t4ۓtuga&1?7}^FĸtPmL3Z,lhֶEan;s0ZmYUTbC0.hHD`5P͒9 vx4e0]ر09LyXC}O@j Xp 9#.MTrAQ{mR#LO5&۰Y4{Ͼ\Hx#.504*rjI,ZA0ʫpwp,Gyx+{x@L|1%Yphgo[${)VC\T@iɉH&wk[T0"+eG5qXwI xrR^ w ^`~ñˊz֑~xA F`ּfQMwњtzdÒau= al.Y34c^_ bVH\˽cT975Y;@_aho{򓘬tX[֊>?` =ʖÜTV.ϒ4[!H3Ei q+7DZ78_ XC$a::G4qU &D{eUj+DiXOFutƤb%Aߢ-wmsؐ|+cKM #4{5LQFȟAv١@ق!-\/4i&= y ג@YH&b!\o1=:, D2SeAƊ?ڙ3|%^f|!7F>2_l>r}bCVZwX1)eͲH(։Y,XOS?yfJ9%~*oҌنIL C{tZTV׼ЌCŝ#8^dYij5?Y.[8I/bٸKhә\Dpf)KEOBEX-# F`I- XTE5ޚQ8p@"K'mzKXE.ya6kEMJ7W֞ A?uVF4`nR s!}Y&ڥ]ct5@ y^uZ ɧMEdkdTh^&{Wߖ5cQNn:~+-#3-DBdS8T^SJ`Mdlxs'TCUmqѫtu~{=A&@cmzhFyu6eHMXD%[zgqɥ*I)gQا[v^dvo4$7tt2hv9_] iؗp^}wczP_%\-(bq̀8ʕ%1>,8|M 1+A:m=4Yl>vKD$Vp10~CtCۚd Ti?c(7}ɒ?ym/F~ىhl/elQqǙ疉G w6ρC(!?:H Q2a.év 09"~Q?m!aS¤=đO"UQϣjk6]T~TgW dfW"AlˎD^zǻFo"Z&,Г2D#Wws8eZ}ù˚p zI!rwy3DHm*)Y!*%R 54^I%/eTHrR gLqpMȄk~ӜϿVu<RKnL #wP2@,ըm y_Ԯ_ xPC$#򄧼"hw #zNT< Q~*>6yR@ы6Y_ȔsmTHM mZ9 1IAꤪv8 CAϖ"l2US4D~m^ZmKeRRd$dW$?Q9IhvƴoGgFzv;V(1!7z6tP݆.[fۀm,ݥ\UyIG>X,ne$)8 uv\|@i^7|5iOK)c?4 " ns[j[Vo\nL"W-3Hmê;%Uv!RADpCf-lj|M|YB"]C:UU`e$>rLݖT,ƦJH;x9 &;/B2 q_Y?`?&_g(pgu+Ï.Nt!VvXۯ[AEA7ﱼk9@!GzBF^qJ9\ x>PwczN`JGYD?s|Rϔ&Ww+,d7 fلQAٵqkrQ<>EM?7yr%(#ƨdb8uTfc*i L8> rFz71~05DikbDsB-b]]LG6L찙TidZdST߲o^G5Zc2U,}wGgY/w32!x1ϔeE\58+(ހĮa2WZRߣ򈸃OU`ˌC+E :2 Ǎ_ڒn3@͗f 7)J:QRQ2Q=x`9nA,Sџ.: V-k?E뙺|A0 >PqEhJv_=P[U2G;)|cA Xm4s?:2o[*mT4\gYZ 9a>[j = hCHGe(7=X^$|%k'?4 adW. S, ƭJ0zN v\tRGOrSŋ%!1äŊ:%/j'LjkJ>0U@ՙX.1pM?iR m&BȥH">+ '$@6`ߘs;59C YP&pAX}1I3>HBDMl>j-?)~C{:O>eF9h>'>clWSCݗ &Kw |րx:CMޓKʡU-3Gݎ^ w  z`XQ7[%^xKJ7 !݃G!<Ysgy^= /voj"|–WCq{4a;1#ȉ \*H>_TV>5kۼsսh!uxK$ȗXӻ`sjN>,/D߇ex +;GidL.[3X5Ý6?sڵtaYXe@爤%3 MvN!IjbTfBN˻~.ZBy^Dx}a@PNЖXQ2骼?"ё4/逳 (HXhh k.'U~Nxh«5\R#o#F{n *bw<'ơ "{cM*'d})Y& GWe {+)AEIBn'*%s=cFKYf_cxl"0 tQЎ˩U"7'jb fqW{f24ҫ}vgy$%8v=ҀF/hWVU}de +@?R^8n3%]=htbs ̒.+׺|B7l¥luxvxϳK 5u{e `sA|64+픪 G>"*P1NĜFl(]yje4A۵_2Eql%`Aw a#WsZABVodO)R==:&ˬ=4\Sa$t ` ;J0B y'֘bƁd N;X )StfNAla 3B\g9ۥᦳ;k*fH5]%\U30 ef#YZ ~ɒ6+]Q5,|\<JS4[e =!9"᳻ l!3] bojBv%woGT]EZ!7"T୼8cfU7S=h3m3AuR5L|qw$9,dߠV+' BjTA[H! EZ(,$Bi-wg7okqAeڐg )5] QoڔGytIMܟO lYG Y 4g|^E UjWiEI N!ᵵ{A3K"o̳i10'TReIz@m*ŃPJcKS,C7,w@l@(~B/Mhm~|=Of$",=!WnC`|98ps6fK%?r2=s>Do # 9pd֡#Ӟ<[?UtZ{E$*/@4 NOV8O]9!Øh~_JɪlS!h,FV2+‹1quٟpijoz.GxkK;*薱%]MBj̓˷C ,, ӌX^2IƌHچJ%ijcݹ'F ^q .W*eJ/; aB NB/FIJ^[|R1E/ɪ\ 5d/R2wJ/HڪI"fv1PrSx/%{R9]ݎRF.թߠ$47mޓ5q\i$(Ss'|, = -ex5 =dvЄ\&u˝H  +x1`r< i^-`ewjL..һo^?8p >d\_&{|mViIvjZK`QȱK1_e);yJ`]o,)_z-nsW?[e:*7dyXfL2SA|X`+bR C('f *Gx4eP|_Dx%Qа;f,] .ʄ@"W *ǏFXJ9$ƌ%`M<>@&C8w)TdZⶔ~lNŹ,=,5Z Kp81MINjZMμ0 zȁ8u4#Atͽy8ylf]>]ΉGQrE{A0<OxYV]\@CSGL}2@#YR/hxz"Ԩl T'8;xu>q 8G HDiNf=SFlɱu Ob$12L5= _&sj.N|G;dld%)^DzH%({Ͱ踌iQ Թ3P.w9aTvq Hg' YS#RRt\&4$)UbKe!Jb)f` (!DP!6{EPۈǔ =6D0&j ۴R`+r&;h[.%DH1Gxrd3/ͻ!g T"ˤtT> VK.w圓'ި"w,4<䩼"0+a?Ru@pG*129U]CBF׻8H;ul/69DьKz7/G}#: R$:5ndh2#/FȕvCC6~k;]{{H4#1wLS}#y'>ij2GTGRFsG 9X1{fM%>LR/-.Xv)ᜓ겅wr'" Yrջ .XܰjA䆧 WF>'M?4 Xma:ws¶㑻[L&G ~п0|7a)+ij?pnDg"v7¶+QN58XB7kꌶVq($i&NbHHPBaƍ/3ﶆy[ SYŁ 8Lخ'Oޝ~ȉ< ZI,@&hotJ&Y-͚|rZAD%-RG bFZ&)UD74])v,xQZDڸ䊪=Z82T;pe:m+_jmar ]0179]J$X3 QK+j)cA4_GSſun#(g㭹?~ZlcZep9,vzߝH&H\ [2SH GTv泌G+>([r-Ojܲ:-gY Xham'_¤[Ћ\Vt5 *O /lܰpG5h`WؖD*qu˹9{ <te+ Iyn[C,AɄ=:3xә*Z8uB4#YLeǿ1zyr̷1?Lx:R?hq(m-4KΔ<%1N-MſQ{1ۓ׎yt|̄G'@(B˫PҠJ942[3tqdֱW@aI8DeN>">wMģ(>>(eU1ze2wvEDz!R{VW Ž`2k*ri2[pB "P+DY/?&(i v+3>pĉvdB ­ %xy?b,N{j},#<5iLӘāTy]wÃo dXoQ},-du 8@Ǻ77~>nH|&/?@+νi=PLOKV%D?c5F>F6[^A׮ 0: \-.& P:dǯױ߾Sl޽|J܊ 1~(Ewt畺?(k]_/,s`r1kǛD h{hb}emRU/BKA 0뺉 IBo+LY=#նTjG+~L.:vq4?H! Hr2Qj š"bZϩ?fH@1<~ջd<\X]0\yX1(Xp]{ō6OL]W3ٰiײ'IT>?(:RBڒ&L» [ 4߇QN5O?(/-AO4auKxc3$'o ,d>@Hcq,'Tr[Mgb/f }dbt=*/]LP[i9>,YD搡(O%g}\ kIL UdzgUrz jU1hd WZVeACYÛqx~ZJfݒL:'0&?}")Yv8cQN'qƸOӃl'cbl̠t+3 ، {O.AD(}\sE ([6ztA1%"L;XG98 =a@%&%J LFغU`+/EU,}Q\Wu;,]RD!\4W)ctou YDu\UNn9*U`.s(\cS! 'ѸOiMu9 ~reBvtMA(\f0:%/R`UXMY[ 18^Jem=˻3\,v6-ܓle11:$:"mSSdqW3i76!r.S4CuKx1n1ccv %D_:u~yƈi`FXACC-#,FQpyֵc5]˜Fܜ@V W.s]|`WLGft[ncf9yִ͈a#@uOc}A"r$^Y3O%.uLW"ZF4Ŷ46Ҡt3qxaבAL7`{qwԥ^D5Dl5:ߣ${%o]hFWV);t篩0BPi7C ̊|?gSya({m]i< 2]Q孱(얩u!5DNf!Y@fʺ]|޲LKIY sO'ڝCf7z3sWrFt/C6H>xkA`*yI ykjʢ^J[ ^"q`yT_udjP^?7*O,I(*הRC^~ O;3ȰjnY}x~ߊoL9<Fu++낤QAҴԶD/r4͜3sfEV|@:W+a֟5Pi]H%j ,f!? /fg0vWToV85Oy+{AGQ: kUAcht&*&a}WCz %~yf`[嬼b ?%!KtUo V3FXMO~zW%kӪ0?l1ZLf0iǶU%MUZyv ycig{ċEf8$[35Dۥ"0&cyэXrPH*t$: b`fN֨?_1ONb"z*\?fDs7irꚥr0#ݚWS X #ί:pǡ%}A>exZ"_vTIF1#Ԁʧ'eţ`уL%gԤEhu 6Ci }mV_ OV4f}ƱEDvuX1nmvx8 B]pY^;xH?I!Z8Q0ajmQN0^YNݼRD퇛ػ9I{/QeN3_)uDl(~(2Q�%gL|}!;[Dfb~s]3x1b~JĕӸ>@Hvtźm l֛7\l]?or)'CkKF'SDd9j{+8qܥ9΅Ƀ55O]\ W8}$ɔ'F,s̜4P]PX5Ҳtsi@0;vo=_//Qmuucsuې 8lpS)~j87! 7PȾ/3~I-ͅ:JqٷD$nMj\d [פkX)\,z/ ๾z E-" ;|N9ӯhϕwWB6|ڂ6:{8rW(I>qolXHK9!o2T!/]mh5ǬZ9wD~Ҁ3,wT*4 xa!: j+Sl|!p(b4.=QٿlS_ AaҪ8M}X#4\^+5X(8:#US QKx^n ;2op+o[m1Жof{IV!ƒ %E6-(.:2fy[z0֭m/(8.П!Ca;UNP*_LSHDwHfAGN2Sc$Rm/#@,)Ksښeۢgf\0gr}U +YP&IBX)w{ vYѝ|̞ŇD"̈́CQY0 =; Rxa7=hk0'#_#poAvqyrZݦJj$^~N".>aO[_D. v[\o@j* 15Nk'}|2I%3^4װj  \πJRz˃#\+"ۨr~[ \$]9 b%?|b-)lM*jz>\f̦f{)nm5QL~Bj-xfAc>N&!@ li$Wb_ǂ:Ó"J=, ?/Q`OXo ТD'H\S^8KA9YE-Rxze1&B!žjo,P霡R#-p8]ŕx~xF'ӊYo1r1%󷲼,B)W_eX,1 (83歽HFYnȳZ==4NJn)bvMq-(=ՋNuMȈD0q)4B 8rou+?RA2ɁTUti"\L8 eZbW~`k</Ge8tKea0m2g`tM$i!} _qqZ 3R bn ^l>[?p*{\>:!ͪ0+DS#,bxe}Sqn,l 4 ՒX(%CW_jC}CcPoGm:6FS܇'u$.- " `#wL#fI.PBRF[7Kf !4UJmyOq #i 96TGT6HEG̡9 q`4߽-`S ۀ)W/H9+9N`JE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4?hn#B>e6|"F|2bڨͺ@~ '3I!P$IR-8b#5=j2X?C `W(K!yH6E@ (mvܾ!#B3j#s3/Ci\Kce"iRT.UJm|v3a"ImWztthOۂ,8i͗Sn> 8u _veWr aҾ*2p?~tS7vR9Vi>S |9bWBc0([)@5?V{«w!#j6섴W9f\XneKe6/Kx}y@&D8m $𾖹؝yrY"(bE=џr2E:K)BAJVB*O$` 7yxl6$yy*R8!J#-*!]]Uggc~@y.ځT .0!2T9dJsF/ B )X5kU2$Vs],Tc)=.E.D7UPioRpWhK&,ܠo*bbA\K Zm76v9TĬ5w0o^kY_T^J2 Vߊ@Ki~hs)^ zJI!x'Z)/k#c1Z G;1Q^%&E 훏^Od]$obfYF")8d (S-NͦTeʼ=:~˥5ֲ<8_ ۶!DYDzx0Vs tIXS@T}CպN^|µ7Ȓh[Bb 6uZB%@P٭}NZbeEVPSI@E LƓ,' "JJbe6OmY*mXj::ȹ4 MV)e\B7Ea? A}`"z=(x=ںS|KURDT'wDM"*!ie%)Q 5GS=̡̼ \<J)N_7d5$Hax!l;yd*CEFE??.1 =9GjuH#KPUuv  M0}2҆L]Xc I""geYz/kSI#'Fn#jH:C1du97D&&rܿ^wђ0`Rf5clElr%7X^mx- -բ7Q ~Ow@{BWF,q [i3Isx7;on GD%}K#mBa#+2f9 #9x+쬐:wB-T ņU=3xPڬN mV2a*[f)S\v$t@m=u(NN!nb!^M5Ç~PAR -O4%NBl/'Tӣc7jMqr#FΛѦq0Q(FwcZiUڦ5so6hW aD[30w~f Fz Ү*Tc պ0SmT%P|Z/];,kqW78)A뛙'h؋Pa ]CL#)lQ3{72Lqa+uIVLC Bv](c徠C)#?t#:M?X*qP|>[bض +Ud^8q#\$Xg [DKgN#Yv][ъR 71?PK$ ?Э,PtJ\WXi 'G=5yR^T D {OB#̱umj"4S6] rhOtiN>^"HRl/la2Ror;VQ&WaAnGn V?2 &2;sh3jOz"$Z*?O!VYG^$8XpJ&1mS)LA6^8Q 0UF{LovF?<akʈ ɽ1U$# #WTl0pw$!y:\t㳬\obW1$T2;X@/$UP: pF+}#w )jӴ@vrhz.?r`Fjψߵ5lkD/HfG =BkAϚ;f^ekʽC];J<_h]`&{AK/L@^Lm%L-&/k)Ʊ|ǣ9{Bh96BwPBiOhʱ\ e͍uc{|;d8h!Ra?yU0s@dS|/TeIqV <? .-PWyԂbnX, juء&esgLjX*PZ] '2sBZbgT- _0 tq7a4h1jH׋췇 ް!:T?1Y}ks\H$LF@%V\Ip>;v4E%vE׭…`Z(γYdz!*0yuیuK$:-6 KFAk 1 gNBYʅC L- o(ć; D0N x}"Z/;kg&UIS|fhoI -d>7A[9ATdx\-YMV|[)KjFy'YU\ގA^ߊ Y>+浀ki]2<ނ6=g鉣8hîQ K/:ւ@I]E?>:rnPsfwQeі ~},%1Ңz QT* ,ATKrQL"7CF+\$e&\|?ʴ<-*uNTRKV;F7@4Ŕ9qEikn;v0tHWb +=D<,:+ckM'8c렍?-B$EI[p)RIJd!Dx~q.',0;e^7`Xr^O+Lakcy\]%qk kEkp=H=WGL֚hVz<7,{z/Yr &&k>W+kJ,: n-wrox`,-3p/Z3t?ߗSy̞lH}m(g`C_}>#)wuND\ S Iߑ nR `nN?|;Ysal"ׇDt)=$_|.cFm^Cyg*-颠ܫqX榉;0(՛cEU[YgԺmFl a})8b1!-9p%4; a)0964'oC*@7SE8;-,7].FL>fDM% ccUEn^0ˁm/:aiŶ΂ I)&Q%ꜬP %x/&Fb'\ Ah4}a Et眢>/I OhՌADSMߚ\0TOT|H0W`i`J)xgLE9?&L:a`GH%\* P\tHXe1&Pl:&(8g8ҏ*mVh5 J[`][e+QZ+[i.(_^:!tT. g"%owP>vf7 'LB6姯y98⓴K5I -Om>23B  Qn8-,]Jۣ1Ɉ ړTRP ݋ՆO'gFr4=_mхNJ֑Xudo9xbY?UUkFG݉(hElq%LnLp/fkݤ괦upO ݂bJikR{zZI];?q"&/Y'Mv~nwVlzk~ޥ6:..T.u'Wl2W2C(l7? htNϗ^"QBH,ߡ?Vri¸hns3$V) h :6zUd c[y UC szCM\((Hhᖣ|Qx5a4J8#1Ӿ|nDCq7ɘKމ+oFpgtOv2NJۀ-Rdxq꠿"lGX| &RzzT~,r; X("?0kGА8_k 6 gcyi1, UC.^##8P 'Ws3dSx?BeVץΚT-Glp;\co@ &zMqw!xqZc]Y$H~;vhUXvX6d#05ADѽ"PkYzyZԡaui;Xwk_iR|35n07p)Ad/\ 4T>;B xibۃy=v.ߥDjcϵ"Ib)_(6s- @M_I{׾|-y ),V?vˌ2UO0pD;$՗˿çS=WOԕ~L*gK!k9}Dï^_=Hdaan#_;)es3`H}!- RCvnO*Ӟ1T{OT< 4G0K%5h-p+3|QqG^`̹/2\y*1OiS& 4%#\[/0IW Ã7i9p?(y9lh\1%nTPL~£u;T,LĩxIT ,/Y>~ݞ9>O%^.UpTIvwFÓ#o-J3aTyuPH>ߝ% $R:)"EGU":"cO]jLp)4nVb=@u,l}rhdGgav?\,Wٷ [njd7F-6܎GuU΂..n@d:LT~O~Anzr`yt5" :ژԭO1)tؓelVر|beorid{O2dnꆕ,c/ lYuzp`#u.&SrD` P[=l!5GZ!oE HЁ{)_esCPvA ~nk `/XH r;jxj8,h8~B%+ N,Iݙ/]e}={)lJ;*nP􍄅P[MRZ8H-^v'YOW=doCMG B+sA<[HQ>zИvG.u&-*Ϟ t _Geż1C"y6ZzZcLxoܞUW13zAEL'ۡNa'WƔ._ Tx-o.MF@P]2 ,co ]'XHųZ5{ 5#Wz&`"WnMH&B*.ӇO_ Og/>'P+ab{s.jG~L:giD% =v Bڳ~=׸ i] B6BYk XB_[4}L3̰-.U׼LĬ6c"~ )\PON2|b_%%TZ-66:q~xQ_8t\WKe|ԋlŚg.^YjM{7+r>GPthQJVy>d5Nq M!KYj*s [ntw(:nBWUOs݋4iOXz*-彫>1񞩏;%)qm[J/ 7駖3+Eh l+0.&8I:nt=fcxzzFxtĴG}i5.~뎛"˸w2dY>/tv؀L v5l(ŝ欇  V&%^ lTBVRLwk!rCs:Gy1{ BG3Ĝⶀ47c5&_H΂ 7m*tOx37cj[@J 9"qGqؖIuv czr&Zft%ƴp^U)N1d!w#+axm_QCC5X!ܾ5q㦫FV,}LuG^ײ ZoLP@$BDZ1dGD:??]&UXukP35`|0o,0kУcOd蓓CAp[_\]G2Y7DchNK|lY;)x&[BErN^sFInRSzxiG$2,=Ha͋ppLxFB Fz_lp9fm#Ջc_44<>_Z&~wwa_p3g0 Zpsk~WnJswQǠW%e2Vun?=k,)Z?PxE6/J%i&rPzCF!7/ 3kW9z^>'A0Hbn7jmgxi B@&~n$y $-UǞ_AO,{ߥ' CقQB^%n l&x1MUd퟇M}ja¤2>lR(laxbǮ35Mt^n]ƧxV(.q,#&g"Sݻ %g"4]3PXQ)'6 M7cH_9 NfnM Yc0航j%0Q#3X0h]b|SR񔧔WX)Bfж?5L qAw8E}q{R9G~#Td!4i!yz%@vBqk.Nt[O3?lB^/=%OO<ŰDMW&eӼ%慐t+5$.5`c?l?"UWq';~d ^vw"TixZU$^tQ,!6, h(w{ l޵T=IW Musb Ib2(Xm$74v낁>xQ5a$Y\ t?gQYCjʝK+^A畲W?K85b'3_WOSK[JkldoLpTV%|=4H_lѮjl@C۳z{j'K?Q*mN?YB0:(!l Rx9i?r.&Ɨxex<Ƒ&:wWF2}8In{>N~Rc;ЄX߿ˤ|&QTG题ƶ< {h{BlQ55wj!hNg;'3RH &#!0}֞V2^17N \oSֿ^!C4Au6ުzDĮ㎗4sF< i@o®љJ4oǴD wñ㶗*no[yQ 5 nAFbB6K WW ^#:hK`2@ 1i#v=6:.vT$\3 $bOji3nҔ`q>;ӊѠ3 u҃q$ظ6뤔93$2*^V拁="2W+#O`3*1܃GYvj*o"_CWJX]e~XCP^vU#ڙt ֽM&M.%dtrӿh{ Q4VwZF  ia|=4ANaJGs>ceX[1:f,C=Y=^w~ IXmp|uA83hI^] njl-Ny'3EY"nHgK(-h~+@S{q1,d"k}9PZKb$aeAm>ۋH ]vlƦفE>Dp2HUd,2&kPx1cxs%'0 {?}1S⥯~[TW%Q?M{U$-<3;p'iC%k 'lr̦ٓZ3"_D WUjၩj<#pq!oP9?ag&J5mqzSFsєd.z`?s=F<øaT3D0#~}0 KGZ-Q3 X칾Et좔ΫB 1 uB"E2I%Fwd 2bd5=S(Յ3tcZupn= ~ 2?[mNعy#h di[ސ:?U$Nbv&+:#[FۮO`ZjY[ƐC;;v>T +)2adӚMN6BSQ-$}*j˱L:Sl_Ѩ,2ywх/Č(w.AAWu== nt޻V|1>o0{I.AL[lP5V_脥No<0^YrQe@̒N=]$}X,| Gpw/]uh'eF#\gbj6'F!|Ғ:}-Q\(jGoDHCB&Ѣxp>gqJ-Ÿ w@.r;Zb p%5+r/_4}veÅzE(p~{aOo/*3y1`Txƴm_3OmB{-̺rxkFFzl֌]= O6C{fIG~ 9h5)L )7R5QCoa:o,JJ 8Ց^[ v6[ T:Loϻ'p͝iKYkSaOKU\\m%?6͠9HȨF #fs H^_ӋOt7Y \nc٘0@W(9Ѳּ)= }&C F&Vrn@ٟ'gH&|X֪8E`60>>޴Iý?. "ib5u\8[t4//l+6I=(#bd<{,Ҝ}B"PVSwr[W#y5/̰<.VduDv{$wwS5aO^z*7bRt#`kg'( [PKWa-s?YѰ=eHͶfon5˪"dH5nQ!"=&1!8oƱG0&iHR$ra= )H2ʗVDbN"y3a2 Vu!e'X\Hc9 Dke3zVj?NUG3ڜюhf,e)I1@2K#۶DE: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&qVhE.䙄Topԯ%Лz/ʬbAgVhwxL#8~ii*y{>uX!IRۋe2==c; DqHY, [1k/" ܅#kO3grp 3$ޥ_,qVmFҲu@TZK7ryzNw7K$ g+v]YhH̵L+'=-C,– l{kލ:y41ĴY7gG~H=^NɩMQN} 0m=y@%qt . dq?/͆F?&^& 2zI?qLj.hv:k7MC0ƎnvJBzϔ=犉2z\)|{[)Ƕ5ʷ8:3ԋ ^M`ߤ (l!7|m7 =?M2HވDBSB_"^MrĄڲhP<攚a[<]itM3tp2 מẘ/̜o J0[,o-tε4X$:@o.錖vA bPG+ػHĺ%pgrR>N_Ib[1ZaW"=R_Vw܈LwQ(1\WVIfD[$D4]ri1(#{1!{$AT|:V7J0aMhSZ$`{W U,JT)blXȂ({fN{@{'%Sejw..Mǭ KXk_VupM;Mx?J+s}.yrIhX{<7 ER^K1p#\17_W#f,rCu}:"֯"D5C>hknSaj; %5^*" ^V4QݹX O֭D+r"4q.'u !0! ȉX7oczF$D>rY& &}lڧSIo[YY&P vVQ|B͑ҳD2W )mm+1DlEnm559t I8ZޚMJRCToc<2#-8'Raoq9_l`RINm}c4~bDzTƾ@he7>Y Ң0KR̳U,}>ѹ%cvSĈbRb[tr!@vXsBfl4yoh~&GBE]S%Z%BqɮI@UO9WFfEM},曞v foi3̓qZ͑_XE}q ͪ4H6̨-dPU )o`#(_ ;;17x%HjIu'GZ  T-|ɨ1uqpxFׇZz{ʃ','8'_S5#SgȡQ&krøԯVP!"{F>\UOIeYV_!J@xjཤj3J8Uؘ=/q; 3dq/Cqs/SnƔZA &Ś9w!b #dZ82_ Uj'PM$Ә^*N&7(uvYAKː7j952`?n59s+7^୶-T2\NDlggll>DZa,=?[ yJ2G d^{(+Ru{aiYzDޣ/vkD|4x M6= F LD瘈k/ fLE4G=uT']BA@$k ]|:£U4GGܟͬt'r# m@dY#=&Z?`㛿7@+5cȵb|9d 8*[ +T}4 ڿqߘčZ r j($޷o}V>ʒ&^@3w{:5|KF] S3wv%{b27Kr1\r"ok1T̫F \Yڗr}N5u!™)$ qatxfI>}.96;=r2-Ȣ1Z-Bp0q5X `!=hX*Km{xk)!d*JJ@{fǝ PĸFuT:!(B|z˭vC^\ лTũX+|\@jGٲx58d1O?ݠKx6AzC!|hN;oߴN)*7 ? AGI2הZRIvR&CuvoP덳hInȅrz!Z)F&uT9.h@Еwc@h7STOp͙|-%7ehؐ^obR$Е{p(nR>`pLRo4(5P83*7Ou(=.m[ld$}w/ \'`4cDS)<{5,ZMi05eх|;f-<2JwOыTϟt+gL=uQW2Z8r Qò`fGez,?}DNdN a{n8u))y-j0%ѹ >w[e2QqOmêjة,06dMLZOKBODRC7Z:~I 8) ;!ݚg )/ad@l{[}Y4[hO,":׋*C:K"^{ έ]ybed|MLDUg@N "#%Gplqvvhk7NZIB[Ļ-F5ĢarDa7;zDS+ɻx`p`bIU;(qo~_Smu0śuVe.-ŕю g4jv]v2h8t0[*ge1o1iim*'.܈KMƶ9,MdjvA(\UH;v;~hmG-X pmϙ~,2Ea|Gޜtª$4\^_|;[MA|*0>oLv6^ d^p?[[?4-}:duUz|^ \',\foqOi CtHL)b wAp ˙Q@jMhuz@ܮŋ6,ɉRV)ZB-sMvÉXk%olvdC(7s B-ZqV[F3$Et :dF,XTWѦ"h:z丈 8*vBd=x\Mio8_-7iH(LUpw .R9%hYs ~~( ).P1(i'BkXzܖxX ֞5M|F(jibzrLjeINF `iOEYǪty2Mjۤz^«az$r Wn#MbXqD`*[+- %^5/#5GRJ6Fg B :?Cra.dcʙu=sx=6A 39;ePkΫKG,g[@~8cd1GZH>;K,!chzɎw9xز4u2+&Nz+*UͿ1w(SJƩĢw M^Qlȴ7$˭h<9(s^ɺyp.:j>qdJ7_vCBBh0s`eOŊEJ#(%4M{T}< ?FC 'ːA[p)$SiV}-XȎq~\Ebv' ΨcxV. qHP^^VF7DBB/y14l>]c񴅱#[]#FG!sj Ow9;I~Ѓ8]NmZsNl oр1 W)} o,>\KkM= J؉5~wInЉS>MP~L2$M[ʟ+{@"]b9;rò<Lꞙ.fj1qyyםudW('7=`ݰ2d(%Li[5dHB^<Ǘ,%ۖ^^#[T(\߆ұ0Igՠ_/2ą߉ E5א /rhWoȅ9Pް<74t͈ٙB֩ݢsnPzE^AWy*VГgЙ?Sӏ.M|h.j\ @M:M(XVd%I32' 8lEy :jP$x5 8v"{BX'L 6vҟ-BnWO֞U#d99?{pK{G5@޷y8RL&=  |\q1⴪UA>̪ !n|4o̘8[ĝ^Xb|֭:.~<moC\Mp GtJ;$pSd%\Kȶ\8oA`j2:&[7.UOu-M>r{\#Xy3J)̴筝n@wVU_(Aj*#Y8ٟ_~,XiGs!=Ә}w!O8ƓKtLڛFW&ӋN掸(g`P!戢)q 0G{~f!(-R1ƨԨ?V:utD]Rv<Ѐ TV"Ssi(Ľ 10M0O/F /#A ]⬨=gY65[safzǹ-cR1/,/I1% x:JU=ml${J6\ĵV}5 Y怲}Ƶ0WK{Z"I҉i`Ir :[j5tMj}ل" dLN)_.9}o83-rvb]w<'X_mg`0;XtuV]m3u".ERL֕B1 YHE'h38ԶMHI1Lp4WJ.z"}ufLc. uZ4u9zK/ 2Ru\8z1ܩ.iF %/]uÑ 6;.srϰ]HCA?7?\65[Mسlpdpj6[&9+ .@f`'b]=2ʁ\u=-$;t!u?eCBۨr cshcĔ]HqAe>;igIM-+qX#K 9R\an*K _VNB{b%Ӛ5Om}k9i'"w~Lj %jσ8yM9ᏦY{tg Vn_}hE0U|3+t '!@f#y+a]Wʔ5!^}|&Q6RHœ$;\AG=`zi`A{QgvJc٠ p7B,:]-ST| $v"!ZPf jeәh/}J8w`m\-'*Հ1 я*@. `>&ʀhHK^{^' ,iOQJGIyHlwه^Ƽ% a&7fek*EG\}fH?PDgv̓HicmS?{68XZT1O)gp) tnh%Mneb)Vu'z,~XLrݐepfe ;dhAW.E("s([8[.#P_ CIF*ڌPй5·Ml±07tv%M+|;|vE-&nЊGY4m\AzǺ`HS8ls~%6r P!暚dʹ?d8;QS<.d:B%Qz8MJzjebuw N>8W~EwNXa|plcS4_d݊aQ7afK7`c,60@2ZRLmŦC5jWZd4b3끾&_x}ռ_@\m9Ur2; = Mj/ UaHM [>/q%?Ϻ% _,m;R8έ5)7  jo㘗g~ iKZwD \lm֮}/ qi85E_<<,w^7&ݱ֣ڊWOt(,P ˺u_q.ߣ,Sm؝&N?؝s u-MvuRCo b!W(aٷIbCc/mo*{! }6Uj$Du5 B-JO<7k'ܑP"SE٬Ahٸi8#:vT[QKi41z(-*^YU'YVؑ (hȈDd>sa KI\AcgW()nxFX94םhUlfC@I~66ueqZ M52K =u:J m̈ w"60QϚ2xVRiAmj`5Zn9dn84JU3RiX6Kf <3j2^NW j %"Cu0r/Km}#iq PíC$h ѐbuu$hɬ.s z\) K1ms!I 4̩ hn^m -YhP7G3%JbU;=!/ GҎ6r{e%@H&yThs)0T$ļk2 $/]Sdž`)X -Q{J'*[ V k;?e+YF ,׉&s}5̘t-أۍ%݃)LE4@e6'a%.@p'1¾Y_NT1+(l;`>Y΂+O%QNڠNY,/}Ic|2*@E w %xz.LSAlkՊPkN؅eͼ*0սAWfL`g$^\8P^@igSkjlpV~ զCjؑW6Rfњ5vV/cѫ"窸],{PIMyCo-Y„#\҇ zi(O:}_Ͽ%[AԤ~e˄G =g'UscNkʆ=ʶ6)M6юYD`<^(3Gy(3e):qzba-'2n|<{"~"*?dvJk'NiEA|[!@Ļ%SIτڿ~8aQ^leTdСC U31):gJdGjs]I,ve!!J= ݢpCOXEIDD4 ldȾnVS;mrBexa 5@ft*B?gIݍԇDO(5ol1JuJR~>2&G{ɗvvУ7qU}BaƧނ8̥+w!Mh|!aBGy}=uqƍm,u+ĥNFL0{y9KLT >L·/Gɡ$cU#ig2ϙEN23zLxb)~-P^.Uk5j]TiQKSX:J-9q$%o&$ g|G$_lZ'@|K؊ɜq[aźa= K߃tL迅2$]2H9Zwk&~nwrDNJkq# ګ_uӸIt햋PGFVPVvLufq|ց74I!9_ږ :bPOb\LwRO򴿙; Qk^r!!{ XI jܺ\Ia_0ƍClK픣OzH}~!8 zr^[2}a7{8Ԫ,n}z.<čNA7Eֽ2mV!6A ',c j9 A09_[-_V."[bLLqX/V*KgPDI>ۻTy9P?F˳xsXe> N‹8(Ywq2݋%[ʳ gNbPfOδ5*bƃ;fg?(wT{6ZGb@Hl4@Wza2(Jm?i«z/|)L`> m@%,]5y@Irv$ ԬmyNt1"mDLԼT5X'6yUBbeo$;5ð _L-*끬v]Tff|uQsZ5Ў]bnQov5[ 0'vKs?"^xJȨms~8޸hTK{BJY^UHnK޿ u/&cHFm04ȜiA#%Ah"av=UA<jafΣNS73ŗt_p-P0M }A2f)q]xd ^f^'I'f,Awm^0vuSeVv~HM(a "ƦT,9ZcLeA,,jԉNy$ ubJR[jr’fUpM@hӐOyhć6Qqߚ ztywS{R 3BV@ͭI:in1)S{~vUI'#$>9f!k]rmF[L=^=.va]ʱ79 ֵ^@S< Ѣ2jÃ0YE}.L V*\oi$- '7h( DTeN0|1>IHEx?E6/6˲̝ȨJaŢRv>"*8L6bqVBp v2~;;K i\qwρm85mg`iVWxo80~3'=X\-'pi_khsC |r8KG/X׉VNpցJ%pY&7lXh]" P 6M+ y%#h ՖRŃ> ],̊3ԤS ;KbƅnB>,ݯE&s|4u}Wge6yT.yÒrpVE/Tfq(877VuxM`̹ q6,]R Y.x,!\*RCT^&HޛcLhg $-mګʬґtuSXj.L0ﳬ$6ٱ1|Pt Ok h]ap']"1Apx!>+9!Gy#]\T>+Z_#,0@g|.Xx@:s2Ӧ؏#~n:V]WzvQ ڨ/O#EgԬ$gݞ"}<ܗ֐ `ү}ʊfgwmY$0U;@`>R͏)ђd9*슦NSo<9 Ua$rM w8qѻL%aH,BL/mKj;|!3D3M?a tљXMtSϕGKc]Kg\rcwY-vC*xkQprt19]Sգ$[8Pi wt oF/ lZL'[h;i} ?G!`BWm(nLVg3 є]d&1S(:֕Cs~nlH[{ùEY:㡺p oXsm_˺I_č`̅ýQAjpu ;-y뾃8z$t\`FMe>% -€j6H>Q HՁj]TAqǥ$EGXe0ʨ%Iz&UUIgtE8CMO@YiTAGDH ܷuT/}Ftm` RU -U+ lDq0#\iGMPTos+:wC_yKZKS3M J\F 8Z 9F8[殖؁Mp) Kx3r gWؐAxPL9Ӫ %wCF~]E#g GP1'Ro~iu ]R.0):y1{S'/gosExog/͈,Op'@f6%]"rhQh:>P=W1oYa_ R<횙ݸyH[$ͪ+ĔlH}`6 {Htm/FEsJgC C̱JHP^sw4Qkqa^qFJ66?<CT6%ph c2z6_ ̓bBKf= =@m{Y$:8eQӈ39 %uM$'YHaf<- %Jn-T1aRN?2A4?4[ܑEpGmr'FJas gb<^@񯻆"Ũ;oAv*pk=KP|"}ZPOa1׶axOŸ^ݴy++i$"uH+n|`d3yVReJ>H2x1 _\T4`悏7 |f;X#yI2&aV`Q4fD-a2ÈMW/X_1Jo#U*se6f/D){4a[QHE:O7 t3*G5.vtmwCk@Rt?TiiW%I*怫LS4Y+#6>4Fk^~s 7X!=4'hFu̲M^| `%T 'Y6-;1Y\VJXG70be6|EwϤ2T;C71\Hp'7_gDp*腴YFVdcslqRǾ̕2BBjJ@| 9IгǢh|A6`& G}m!GuG)}žoy/$a_hC1: ӥnj=-ꃈZXml3`ݡi8yYN{a')d,~p*PQ}2wM+;%Qle\ݼ A{fu틇U2rQ'r (<"CnV4ZTUxPqCsj hZ0r$~vS:UFR^=zG ŀP+T '$F7Igr2/cJ6%'/U*0@Zv!+BygܤdpǔK*ϥw#"0I$& Z"[z2 "ٖ"a Q%yhfn^^^Ez:OޠқG/cgU&jH/XW|hZQwpq n86 hE,bBn9տ̋1ɮOԻ7AiJb勸*׌1 XmH6I灚q ~=sܤ*ÿwciZj9lAVn=.yy# hIf- FY j H͓}yv0W w.u a_AnjZKmq"He6KP_MT}b"Z$ezuϝl֡kt R+O^MKK4dW34 7xSGa&"M]#f ӬΊV Jľa8@ ^/F®iqX̮/R4o3=VC']`elxR9 *ޛƖpsB\tbt݋?LrC z G=d|loD郫;u+2)AA0e==`ݙ{] 1{hAa6fо 󌑒`Dp҄54@6jgdc1VkQKj 43BHXB}6l}zv%F|8ԕ^Z^fCX Yn;&Irjq}tuZ\Po|pSOBIR%l3uN=zM`a-3fF^%,t5)1!{q5d䇮"_oւ9u3hHݷ Pu%W&ka^t7A~5+66LMHVFVsƟWe1d٘8f=x˰Ojm#k\b>naN|>7 F6z/AZ7F[b ?L_}RGs<QtZ`QΎEW_"<9A6;锚r|S_}_qXR zڭ͸=Sp%eCR,nGS |v@1kQ&NKgh|)4u_&>/n꺎Q}k6_ p^)_'nuP]qX.*u`wCї0g广H-F<dO;ɴ_&i(UE')"Y>]m,jiۛ@(u}SiD'|6)xTކ֒axD\ ~2Ī6E &ZV![$9f/iq\{ b|Ҁ.0nk+KR,"SSRyRb|j"w(sӂ_V0eO4h37;u~$Jke)-u񥓿ZkKj@،w|*ԡNAW? Zd"8PB4*l:7opک^Pf ~P^=Q^O^W78d|TiFýMޖFp JHAx}\zU ٖM 9,=6K.XWNW?5HjNc%(za ofiACWƒ4ApW(6$-">DU7{B?Y|[#qA/9=4{N@1vD>Bޕ:{h-W͘w$ _^B\HZ1os9GG|2b7VBڛԧie3hEEnitCvQ%'ʾVWLpV lo.1;HJ, O(]:[$NJ? Z*J' Cv-kxOn?}'VM.j b%+JN|>I!cMC:k%&Uv&U =ku>#ܨk?܁g2LY/D+Il~݋z0ƅejwapm<?4 i}탆5"%kL,)tc3Z g!LԃyzlBp|$'ɺ!T>kko[(FV@ U%dgrgDvF׈#o\21XwY gc'\pR lmz\9 7ʪ5QYھ ѲL#L2U&zr Μ %XmLLZVZ׶]5 /*'b9 W-~e Z71S-i 3mK *فUD|({v\4&Tc/;猛).l= S,saeK&<Z s} =cCtѼROqPx$cQie:-ǵJBϦ;A,w|8H] gNUZʤa>9Ro!a2I)xw`h;/e`~-16|1^#n8m}'sbt9z:aԦfg u]%@I}Gc3n1@oeƪ!P,hf)NS8gƅ'Pt`긻R"dW XW>:_R$נZ_ LrJ)&J}J\)V+0Dd^(CPdi֫ٽ&.q5[wv ψ;x#o#Rp.4Z. 6jt2 ql۷=u}#xH7EJ'yz֊xo:2u`m{^^8NbxtkfA~^TGuloa,q<`w;;VYz^| !KGD7~ kAoX1jF9-Z+VM#9AcBt ;By?ZJJC*k)0<&=%1#+I OY ,l/k_BfFXoֲŘ5Jr !nb[?8л %< NyqY\ ŻvIW_8'sd_ Snrw(}NAf2wUD(`q.[0|.p*^ё Z J zKPqzbɵͶpQ?30P;K,ws7G1@-bƊQYyҳ\z=,qx|vHX5A:gdG!]:HBT!$뀟>EHLҺk _e-5&b>4g \hhy~!l=wօ jxqpx\6V"OZk)Y# ;&󻕙fqd^94J_Xk"rY#jxl"^_7#P+ؗCbςU2j%ӎ؟wvVC$,]p=qIlUk8BN6,kow6^gfz ^ŻIy^%hk(nnGyMv7\-YN'qi O϶ŃjOhf]##3dx .'$Dc}fmV#x@< A+( %YhSb;TWuӵNlns")LK+ic9!h ģOHG7 VlM=j>;UcdUȭעPO <Ԍ1 xBxc8VxHt V Mv$f\$':LŌ{i>{kp-&OdR,IƬ- UPYSyҪQ08BT#3b i;Kz0 YRFڵZ[94M+;N6VeQ-<]/T4#i"v7-^sF理ԬʱtD]F!sڑ_ePm$lx&5܂E+뜡u /y /t fZû/ EIe }I)\o~9NU J *h&"fu^+I nn:~#Qx訕~TxYn ?jug!?0t퍀>1Xrk2dk޿[Lq'9kc]ᘘ2Uq>PC{B[7w-Kgm5I)O]6q>6e9Ay oc@geGej'EX\4 {+-9+n=ѫ ;WKjzwXI 4Y6*`a9)5-NJ[x</*E_5#!#v!/(Y46bc[,wJc䛐:d7 ݻpx>2fdikPpfD~gcm-C㉛ =!J,9 ;xgͺ hz [^A <c y8UAӰ#VlƳNұ; Ɉ+>ϯ*isAA&Ec/{L[6ӞIx g *Za}pRޘ?q2mk8&ء%x(ӾTN=+)pXdGJ`98X __mbo Cp}\/>ywi{8\\ZJ,g5|آ \w#W2 Dp>xIj ]|s7NsYENYm03Az9mg'FpZj qBvsk@.۾#KƉsr8l¿SI'Q*MT|ϗqV_+m:m&$޲l0InzS^dpL^fט%еT+^/cXJFݣeriWIރ%I3=FOr5_P% R=Nà$YmZ`Hy6{^ߥyn|q|"oyX*'8)=]8S"UD,#"ϳg =_vJW\GI-`9>Tto|۷WU\)"\W|G s%/N !Nql}?/Ors:׈eshdU{ât L9y%/Y}NvN qߍ &yA(~[D]3ekǂ8)B`@$rAMpBbDFu\(w%3ɯ/N<̀RegėX3/O꒕Wrf*%Ršsn*VTe..4ZwlĊi]{"[\7Q]_J/ғm{:Z"ϰ͚FVEa>*c4ciHZ -3-8/.`zN} HiSעV N藏gtJ}@ߥ5'jw˥io44qUe}MH-,'&tɘ7skU>[GebsdZ oH@[ Nx[6bHg4e"o$;!g((ЋvX3g/7' d# iw5v K'lA!g_&Kb{d@kpCG?%Mލ- E?PiC]1[Pg{5#=RnUœR$=ߓjt;nj"K 4.|/ T3t_KZ)mӧ԰i[Z7 Ǯ-ݖSgl]\ a8g@AʖB84K t3M4) |5g]tUT%G\ɩTÓϟSl8(ƽ .gHu7koBz<@A"0:D70R=*\`&b"FU=0;# R%dMaw#R߀nս~[t11% q6qPK|2b )?LRgGp QYEߺ&>0U :)dɡPb s _O J/[dHx}5P F\MErt c*Z+&t`ZYpNF:e3أ AhH"捧OW[s zg Nrk9`̎rTwL^DJo0k8L<fR12ApWQ%&lڅ4#Kju|n{}IM/5P0Мf\+֫Î9Ƿ?dz[ %zP vu>:2:ʼn AePӢܾQcɞK:Rϕr nYqt[+6>n.~mq[D!{JǴAD@}hd$<՝ 31% ivN/uEuLַFQ/W(n8HZ}sT< 2hǿxK  <6h ( h ?:mN&bh2?w;>o/rONlsVz҈- eh%]IԬyO,?pQ<:wx 9x,6+S^C$su:%ٝp%-O/v\TOAmCT,uӃÄf?p^ӜIL:b=4v[=8Hc\ ˀ+gV*,ǂ/?8N t Y~*QT'yF( P$ @=͸g3#Tpk3E/.dq?e llٹ23Q72^7i."_.d y -GG^0hTltlNI\mktc3b2E_FvލuxH=!o%$>k#H5o;#JڀdF7xM_UBrTH iN:z[ ]E~;T 7JC=V%=p nu/qe? mNć,?xe w az[}DnM:D?B58؞/`f~s&ACK`wu-O9$JT>j 1N NX&x^$4-Ї4a,YoڷE63w lp$1li˧>/хp3(+LŠ35'KPtdg ,8oWa+~Š>[rJxU Tn@z`aڗ7b()GuYfSoQ,,Moe֒ -$"&11jd + 0^v"Pě=QǮK_d.ToEW9E/3s殯}5&^! !/;u|P5P5[AC4.Ais T<[1PZEukAu)pN.=}AIaٻ3+xW*M8`^~W85kz8tI/=i7*5l&t-RȘ/ 럮iE.|M^C tJI\*~{N= >*A#)uYe@bDzHjaR"^S˾V8쒋F8Ĵ]9^3zX ŀa8n/lu%NWkg;;eO@ogZ0lުPӪ/F|ac+jstb1pH biƴu|.V2HZb9aQ.@4J.>BX֧fjՅЎedK3ΕtFOAUO8/{)v xI(Yu0.]?k†`qӡfJ2>Ϟpj+߱m,z&8CrH 0n^)RaF m?:c`:q܃哺4lm:o|0dzBa=@گ&3x }"-^o:o&%ye;*}PRfȃ~]GZv1GW߈)IazNhb/5F + dݧE%0It}m-E$U8'1_}JI?v5ɡqƩ\a@-a=ª5!԰0MC/ugQgZdu[4iS_4K!|6ln@Cv2J w1\)돖vI-ϫډw=MiM|D~;]VA[XtQ͐9|1e,ӯf\5{Bj&jVz,,rhD{T'\^4Yowcxh.ᨴB)c ڹ ZM IF0Qb_ #NLsQZX[B86n66͊j|Զ|}P7?}l'˛(9gA܆peZEP *4±+nm,g2mhepIRY=b cJ*$vDl*bXzлrL%eO@F.58 g`D]9LlрPTr K"cs1쳹P$G=wB wҨx6OG3JU ,IB(>6Ĺgqܙ  NlގM:ZAw}p0(d}(GTe1E-h] ,ZTQڹ JuwyO}8"to&6Vɴms1R &"nSW#lM?ղA7QiuӉRxPhP}H7 <)U<كncqJەB h2p9܃d1 }B3|{A3w7KD~ e`t7MɈgL+3ϦZ@'핥/DZw43u2v^m_Xrjylc0S$]Q0 'gl"KoJ5#mF?:,e0 w=m" p$ڀ̖Utf%QnII~xwr֎TyLD9zs$( |X84?>B)WrL[_һ4XK*$2z;˝g@]Pw9 )fu̽743)]]< ,s#I|R1@¢F̑W[HaQˇoR|[H;Qt?}1-_h%B"H?-[%[(cK:Vp=\=B5\y[ {03L6coP&ǿ68:hVZB<O 3-'esӧgVN2)|M f~+^b9x*"*ym+72^A^pl7$21ywߴ9t܇$r|OIn([szm;EEn(=Nbquxψl괭 @p2 6^%16꧖ck=FP8FzJH555w9/dy{x6ډ2 c)tfZ|JYP?|wxJ2tV1'+78>wH.=z=jd]& m6aC "mssgh'j򴣆o*L9!ΰj{1g2c3zR`"XPSzzh@9Ug]؍\ߺ@C[25κ~>NWDp4 (B]q- {vwU@%@M`^l;#Elj(єoo4IޥpF;T2 zK2qWX[T"y= (~ۤ{څ,6۔p$}~?Om],tDXKM)CDJ6܆z:|PgxG8ʖ|)uz |/dRZM= S8oK-]rfoL'Yrg.[SL7"MϣBy1> + k.'(:>!1BmP#\Fɒ 'D~S%ௗZ217X`w@.*j-R<~GbEaVDKd} WRr9g=ܗ(28z۟5>cLF'"oVĶ尻:P=Hy j@aY#ƕw<\ɪ&(ţtY(QRKYo70MӲ<$f>W,P9yuJ4Q~1v.4TeV>y+֌ >?Ԑۈm> j@8DcL%:hskKGc C1q"f #@OS(4wJ_/7u'ɤJ.BHfߘ }íC?䛡1]D}e6}" K~˭Mɏn*cVQݼE×*+V0.7 N҇G'5TŇ#" pNv^d O BT9cE~B_,{{KDW=$6mSʢ-#|.f:+/dxd "mD 6DZw`* A&BȖʔtv1[j_vJVRnX9%UPf^"іh=v*e/=f=]̱3kfWNfH  c9%"82R/ACAtF%ρ0@HJE(7@K9d,NM*gRWII-a)Ủs{ dưoӃ`]Qc1ずSYfY!G3JtCAUT1S~"3-2qPJru66bZL|SЛa5{PgZ,)Csˎn|+A I`d2?Mzp*dW&ITٿ* zjEi'k8J Ś("H FnFmCZ{jg0ߟP H+@;#WY*`hj޶T5.L1kܒ͐؏'fz:b5gx!+lӲ*y< rIَQT6y4fA +2 ʫwD $Յ s=f[t&Ʋf9kRL`u ~EH}J"L{k1n5%X}A:{by]]A~ %)¶]<4W<4$7a 9A(>QW/;0 3", V!3cAZ OOgJjt`V#WS)HGSɭp.Ackd@F%{L4@s6|)nk1Nu`[י86X@g~ɟ_K+1ޡO j`t#t/|n4YaD\&Hɮҽ)qRzf#ZMÍS;˟!xq{R`45;8ET>.GPd ߔ.p*Ͷg"ZJÑ[H+0oWw{B'_y.L: Zץ>\ *V \n:Lސ'؎qrÅ?^oOrn\ɜB%a*hKp^Q4/վ.[?^E2G{h%>x,w=5Y&1ry.}*j/ JPo]K|o(PU-Y"ر ą끋f=I.8A5A{vx›*KN/< '* xޚf v2 \rkWU|(4t A_ /4z)rՔR՚iL'ޗ܏%ؕ ]b^V:+Z,t}EnbAQߌz$`~et醬ũP%_ Kķ;3 w( #Ŝޙ[&R%NىFrܥ?txDZOuBhIC 'C^aazh'!c$%{,]֘b>3:Ak},Y D艮VZIʨ,~a6$,[#H<#kH^ '?٨s Wm.ѐIصhna$e KG!U ڙ*¥̺X8\$er3#MR6ҭ-{Gh'dLÃc]{ѩ5I.AE'st[q\nBg| D;2ekq P&q 6~r}}l+I3KLIJWn`w+@,>h0D,as{*hA_fdDOυ(ol0_.^:ߚa"F jyb|ӮPSsy#{`P,`ROgU3⢻=3sbS~2Ugc3W4ѧc{DdW8*& u#!6ŔP5&7 QQ)KJ6)}!RU3\fGAz>O`X N'%5FSϰU۾4쥨5A9>c~z p2UuPD%QY3/2)N$s̚COJ9 `!h"VSĊ%Suޟ/GJ̥mӹѺL I :1C30c_obO0}-Z1a.#/q-V/2.״'F/LP^aydݦA QoO2 Y1=Kp>LUp )z *9SWt")#euC9zʶ/(x2``Sٝe/ʋ?>$^KlVݞ%)A N#wCL 0ɷE]7"aZ~pv!bYŎQYNwiSmۤ8XĔ CrB`dк=TVU۵ Xa 张e㈐}A𛳡5PLYfk?$nxh3:(3k%[0ЎT&-tB)!s@i4*7V}pdsƭ:iCwT@˄ m#/ǩ (iR4?C +j07^$8"*B|K(ByQaJL!ƛgd/(v~1nj z~!X(c5&t$L5ACtOv"p++-rh)oQܙJw0d *O͍.9fЧH"SZCEJ`>R䖦z0jXJ*V ,νoPÖ$Kv`eOP]8Ѱ*IQg^HM"|#YΥnְU[Nvq :t^3{co'HcK?>ӝF~by=b'5#G6?R* Ν.pf("/_ *s4iKXaTy7lIvCLj\:.4<[?ÀNL|iCIKHcj/YbZT2H+MWսn*茓nn^풯;3l<6JLzZU\Q/h}#1;5RBO$#_]'M-޷ң#qX`^oz9#@fo&h]@ëӆ0 4dP@ ]iI.FguMܩ4uCWtfp ~aA{ ;~I`O:*Ҙ+ aPW @C0}q0)$+5͟}݋i9I-y2JW?&6J·:R Ҷ)ƒTs[p3wfߪ⢣ /T}P/~7$y+qb ^kVW`μZ6tDgNlj9|3 b8GMɦ0Y~3y/^6'j}qH";DSaٔ~yTW ,y|DFDnah&  /.u%uJiӼ3WTMgRBH/]K)w_pfWvReSMo:U2spyE|íH\ <Jw-R0:Dga/lW4+jDo_d)m`L$0&Qxa=hW֊ײַ? 4 aO#|qDFH0 kF.9Im~A*oXޝgm}p-p(XioIRVIr&IreA^ILW _ԈzJI]k"&I2ʾhAC9ⳝƬM? Ps"%@@OoKPp`>,VZ? #Zai 3oލG}%Dswxx]}_nʆ3=xVݳ p3))S:ސZ@5xt2aOn󘚣k׼s'=}miа̾WS.'؜2uU ,%}P?PKM 8;$qΦ> AzC/ur>!rLݦ 1}usVxD+䊱 o7}]q.'^S'v> (zG M}Sl[Vv) ny D8YƝ}CIpކm.GҳOQs#sM4C,1<X;n3PTjFd_$ԒV-|UWZA%c=*e঵N ђ4:!Á |UoSu)qSqh?h` o | 4nHx.>VvoWڷP.=UO5kt/ ہOao hU 4n:$]!Y(97's^(¿̕j0Tݾ_d1bgv h'4gdy %@H$SC \HN U6;c*dn;`!dPO'tj\O;{Pچzn` TJ%aO{DɁjyLŲ.Ĥ%H WzD%D fi`3l0lXޭ-/&bȽCTe`AFѾmuokq:No5ҋj~Lv cBy^ヾhБ[9ԽH 1h eJ:Sl ցUΤ> {'xs (>l5sxFm;˙{﫿O b6!z4-p=y]?o.+PduLd(zm'9?h3a5 yP>@Dm52l|y JZn67&" yBژIX%I69>EQ˴nA!gYZ --# 1W# 00e$er*Nzn[u n}&])ϱ3+4掉``a7`XD ¶f= n&?j+r .2ߓR#`dyE&PGc>C7۹CKծ-VҶ~Ѣ⼰]a;ݼ#oHcQn=@32msj359MnHVtXŋ}+BЄA}SG"Bn=#~ẵ<,nQ,$ W3Z= >s q8QghM#txQ;T ut~ F`4鎬F[DJJ@/\pgX艟3!+ `> @z7B.b;?wF򵥦U M4~< ƾ.)à|y!"b޳Ύ٦HME`S96fpK *ЎSWB܀X%'w\Bo4XTI|z_lMǑfV.l8'q{VS"*^1t ]IB>w$ϽATMm=*pnQa4lGr|zC-Ԗl0nӽ_jivfL}^L /E6ZqD(3&"W 0]qY_5Xp#Z_ǫ{4A4P /h )Q3}gP7`O=>]DeM/>8Ї<\/+VMsc 턱-q12$Q]L= p`Xn"??\b*֢N`wkKJxOkV-Nmarö*Q Xb0jî Fՙj$A$Cmv:+Y4_Ygp;C ZxPU sO4tzZtb(upEV%)(!@2ȡ5̇01WAKkds~}%_aJ@}12]*˔˞&||LZj9wh> :琕 ̽Lr\JEtң7*LA{8sb- L[ߏOT"oHمͲ#;4)h8Xm#`7WvANWP?K1q!WmvB\AgFZZ6X'@@UE/WfT򶚹PR;gNM5*^6%H}凫ӑ%iZ<੝<:#ɭm|櫽?0O"3[yt|*R/vyL0}${EY 6VǤp-,?Q"r2?1ϕ @%J?.PnѐP5KyH֣Pr w9[PXNb7iU)RɎtNV ZM^`N_ifÙ~6H.A~d[t-nH^ciNh$̦:S-:/{|a6Uus6ָdNL3V7cUK7)U0$]6P~3 @F*nfP }ںwp_qF<Levh 8^t-n<&br c߭ʣç*\EҘgEƭh~/&d^Sgv'4p!>:Zh@ IEdy߰Kޔ#>MNم xFԑ&:-me3G-jXEB'Ӹ\9pgS !Bl ؞ }?ݸ xY8#vYDN@L}g%Η3rQQ3uv ixy֩DM xF5eƵmScIO: >3G|im>`ڞ 6HʄBo⪋k$ZEH كBEuqHSȣ//+#u Tn(jlm1lM܅;t%4B%4Y?_ݪ.J.GB:C~H(:f JߞzlrTnqr8Ϭ9_C?5d/B:1Ď:%>I?G:/Ba)a櫵p*W%3 yu|/cYaI\d+7ZY_(g'8R :tNl‹#ˀP"ۣKܶ;ۢW auBIS Х铸 TQ@e@BMǝ"?RA(r%=4]:Ճ[k^9+yd¬RIQ8qKFtfMaˏr1i.pt`:QBήkqBQ6Ix'GR#  eV,{%any@UI? K*'uL=~"OiF> t㘎d#R8(0euӈVkW|A 3 0+ DkXP:ޏV:2VЊޠ=Ƙ/ɐ3[tC(}#xuwOK' WW^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id5381W' tHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! c t]Άxʆ5.f-9 rq=am~{!~=w_7q$[/_W=QǴ4HmS']㪿`T0F f 2xˤ?,A>i2V1.CopGt\䏓oз]-mƦM7ky%)=0B Y^t?DIy62!ÍS{q<'iwIJDHƝ^02(NQK+*)>`s_pcդm,L AG5 )ܤۦ1Zx(n&A=[h 8bZS| @e t>+^fys|Bv՟a lOY8`Tr qeQ9!yHɷ$-?y+&bW۬TJT;oف[TH7`uϏ<~Щ ~d3!`J[kD@-F ;ji:L#8k6~AxKAT?:\N7?0.zLHw&1#GcP,h e)6tش~G#'y8?Fj}~ٻ茸9ԑ||*C6{ϱJzkSSu Ԋ8EDՄfˬ+ra&yK L!!B۰ SljtM4F? ֺIYF_4NLN;xJv (穑Sg# Y;x}P4$tQ B6Xu{v.S5D+8v'}g)_Uenv QfH>ɨByk5b!/iuXl#!x׸ 7*4~1ŭAf@m}3/~1tu,hT2u(-2M-wF0. W/Lob|(a4P]I04 @- Ĵ>(1快OTv&lR˜VAI9]4+r˸R 9ޑu")XQ0jMٸI0z𜯠ay],$k_Ǣ;=KvxqI ^*ͥF8Wm69 gPX.痪W&Wbdq3#Ѫg4\i&e`A MPX1>RlVL @4/#lyW-r%ܩORC5*Vg0(!L`c 2ށ܌c+&'xsg*wd["5g+(eJ ^A5zZ2z9۱WB t.tMD!RjbǚZAGXP~>'(w' $J^[+#fYO3a][ݼu/1%[X0UPq0Wx7R6k3˿u@steY-Ʌ/[<c<:ZA )EAz<+pJ1jsm,M#͗Ҥ,w}Zd6g>yxZNGC+j€nZ mCy-'UYx8˪B?dtA,_x.hh`\݀z޴„GK}tSM>V8BKxzEò=l/HE‹ME7:@) "{Mgiz@m\QX703a}_UuË݈ )B^=4>F@&{ˎm'GsFsߐjs1*:{5 F1fٕ9bChoƙ?[WLJ"'[ݞݚ-˚&cEz}coH6lXc49>#lq K1~7!QLlAo &8NmR~FW# = XDAR-Rqwl!`pӿBӘ QI֝Ύ0M3)HK#m˶s9z"4ZȌ;55}ģ \z$nX5bѸ=6!M=BԵ/:vdk'KibPaGau5X^^J8Kf$:/$,L8 $W&ʝYan|jCnx$',02 9qO2{=9U9' :C;,M?4j*TMB(pr  Y GQ$#2g91֚難Ҩ0\IY9EC _|źG>X:gtr'\ 1;2KfPc] `F&38O5ENK]JiF6{ ~L>Lڻ-䪧bZw>nQikj/KL02;_y`>󰶲د400xxX>2.ˍ/@̀Nm|*T:Hu :_(YkS'[j{\V'Q!;^ʔ RJ|}mjs^$VTYlRp`"E~#Gb "7nw,5(nkH-^u']Op(=+D]{vɼ+킝gGl">Z_vlf  PQMA3hFո{?JxGxhę_I2?bNڡ]4 qYP| ఽ.ULz.m?i'p*W…Ao5D?=KmPf{#&R >GP!¸X;)H+C|P17,Stʪ`֝PW1NW7gYZ4 =쫵A#;rpt0R1-#$@)Wzz)Z()JwJP hl,FkqU mT y_QRT?1n#G-ME Oȸ1#]җE^~VH|̱Hc3EXxu8K~4S5d>bf^ 1P 1ndT8< T9"'O#Qdyb5P]uz9C3zsԦOGlqG&si5 r,5[@V6ք2D2W 4K!t56L_C$Εhcs}x&in k, |ܺhttZ=Y%"_(r34m,y)zdc誄]YQ]>1Pڡ$NzZB{rh^aI1&xKCٓшh@TѡnpT ONn?qIH?TQ~΄w]W@5"]AF.YT?s+y_lowJW~""|F{of~0 a|ǜp"*77M[3Мj*TMBҲjΏ=^Ii 8XgV$UEiD)OMPz?"ML%w#.\m|x_}-Rvv+29 %ۇ_r({":'0eEw҈T'xɑτ\QyU/rj*]Oռ/WU{XBOfo(ʔfWyG0NP{J4_炰e2RS]f*|x7c`Q8 'z9 z[`4$"ˉ;ՆCB!pS)K[Y]`"n\|~1I6D31_ixΌ)@c &t׊"5s{DT{1>)d#Վ8#+i. Yn=nlh %%5zҭܢyLv-FA%6ƞ %OS#B.;3e_2 rxKkx,p*dl Teit^O К/GKg􊈼Nh*Ǎ细f͑-)`w(tRto\cu Efat^xR4a&YJ$\* rиvR^u (<79/`ӲeŠr*X##lE3S:rxdss sk (v :^wEKթЌ%T4+<$xĦ^$TgAۋ9; Jr'Sci> "f wuX Cն5F{txe^ RJ,pIu6ø3`I *;-^%oK|n<逕/w'ZJ8| ːrnҀ2DՅOv1D3PYk T1măgk4wUi ^dۤED ¶r|yX&[|^ ^OH '7`4[ZlZLL$n>yh6?߼kqKVݶz4̽ڕu1;We C@rb+~6Ӄð1R%=a"/D.[x>'pf;ORt{]n"S/  ;bGt Zк#~eIxJQF1 *Z?2jxNKFuax`A=QɊ;Z2ceͮݷNb0iT;LFl8S=DŽ/yyhL< #>+Y*HL4wKї|KWRe K;' n|%3|Y5apqnI')0HjJeF1ǒ_0 kFY6z4unLvn]rK✅Ez>rp6@MpzH0kPJ0(m4$tay[0J( u"3\_^9$璹 .[G0sB z=,)JouP 5zxr 6 )$>c/KD-,w+DSx+ KщE0F+^*p;)w',)+Će<4A=N&"Y]Py}U%K$ ,M!Yp8V rP-Hc@57WZl5G'f?\KծÁ;!-_iǼeDg>t 6h=L'}#, U eÓ*d! ;dlJKW>id#/2[)Aݱ}ػnJ_4F1oW{ohH~f%fBݩ? ?5<ŒVݥ2ub9Jt\1-8'SEC(^PjqfS%RبD) 5o4-pLF5 _ص5ł8PT)} RvǧĬ+u8\v ֨4R3~L4UJ(5Bɢ_xo2 YCo}Ep~[RHLlI.Ѧv?ɪG_|h۩6 E1_JB |U/ [Cү7?e}stP *л~!(Ο!鏇>;6k9+m_Dpx,1t(xPhY7-0I9ֻFƧjgV ?G`)T']vt ]lAGAR0xDǜg#Ihِ+mA tg22T;ሉ[?F1%s,9tj LcVEYI LϋYv+oM%N$>w}$A^)==*Blj!4!S8+knj\ 7̨sߠ_8Ħs'ܳ,ސ<\0gpJS48^9/c9U1OڰՆx߯QyjzJϩ:Sw{sļ6}a~t ng+x=QAYu=n?ܵmx.IkU{%"xeۦhG鞃`;Sfs/,QB:hsR7n$RHWnM-̙HW5LKyɵ2HI>4 #6º^:tuefEy2s8e/jmf="-EWn fj*:xXX3*KN[8 .xu*u܅OG ۼEm ba^s5A ." } Ec*vCx0=1y}m\kLmӤ24w',tk ھ/;{Hk^Fq#Ԝ ʶ1 &œ{ gSBd+*TPTg`|-U ۀ2*"r)x|il| HYV V]j(3+1h zJY\aa=l;9@ٗ58i(Kiܚ-o 5?DeܝGWۓ eVW|l;z?;~3ɤğuzAFa1Țj*!mz&;ZL7}߀F ->'{1dhA{Tl1[v U-XGQoT,?gJrf孩sFBV)c>ސHG nV+~2&=QT:o=O*2`%AqɅ}TEWV]z-*`93~1g(׆LVn鯱 U:ɛ{g% UR>Nc&V[&=3* N|Ȭ kJ$)4Usd4slA>wfm~i ]^4ivkiJǠoZBKEntZuǃCT%(Аi)u/ЬTnmbUߖTz&J"Qi}˦s+`mO/(̓y iQi!qGD VK '\Z2AH05eW>@/eWr,6Tv4C>&F=wH]XCkNRؔXd{azEVew:k~<OCԚ.1}H7'T x+ʠ,_R5f/%r] AE$$Qqb 6]:j4&hWmA7/RbE-Gb^G_dJG W%4:{5qfx[us{QIDne{cQxHiml&Gǀ⡂v5Х0Y/f.̉rH=yi?BjȨDV  *+W -uZF2N:qa| Xv9mRx :^SX2Ot@;lto}תth9D+iL" MAfpgӷ"Zܡ؆EAC^+j:89Ŷl%fjUۿc< H͜Xi\QͥBkuq/HgCV2Z,f[Bu!g,jɔ̹l~*]MD>SbR~$0AƄ6U0tpLK$o2Mae,$SWƋ_Lk0s7:|Tϵx}2 'K,X|}_4օfIhC2YA=`1Gl fq@ yBbQrb3^҇-tH3~̱2Qyɫfe q{285E\A4tbЃAt%;,$G i3 3Ǚ͎VDk!D76#sg:v"wU*G+[Le2I|=vGLp0+WN8~l:3Nz=zsp"7䁊w?fXxJ.+hG)3 ]1ug[OI/ϲ|2q>%cIg@hcH ѭƯ3A@۽(H'-H'J%U~#˙z QLUȸ#:R 9@ 5GG  j(&;3H RU:Ai‰0Xf$ʴޫX[? F֕lVz,c{3m]F(o*b}rz'9LnhE&)@p]r0|b[KT!g_r8S܌oQ!9OɌ$ 6:8]H"1,2;NՇ]isC#@svJbKOzHEj/ Brwx>-.cZYnI@IsT)sB%ú1×zPQ"NCĉ/H\ `d\>'@?}l'q'o n455mG'9g`K3nڬz.S'6@ Ov<'];Ro]wj́2ea#xKci=Bkt[>uwq$r5Z,hLfj*Gȯˮ$|!틞acJh2!/To|_8" /㈩L ^g(p"|2[IHY:sdF*aeDS4u{f*զtς~+t.%w|&0Pi7 Q5+k!ľ[]vpBxG*T@@X'I<ߤ>9MRdw`a?&,v:oiNW<Tx1ؠ(7;藅5pD SfdBFu3S-c+BZu-"ol[6Kc_'?' gu0w4e 0$R9tR"v5ܙߗ)gv&ekC7(m։ >||͆!, 'Yb& ^ץjl'RskyݥC =/5Z.\xhUY4#]sc|`lk5g__s7\jLB;p4u%_Ae563b>)< SsC?3et5#).؎rp\rudJuQa1 Pxr~cM߶ufYl6 UZ'}QgJE+Cz)F{H|NL]wҷ+,[Y!yA6YwJ1@ nU3!/yW p؅.Ȧl˹9B#b8~>po|gFmi+W^|k˸҆AJzҰ`/VFR&C}x}e!3=Xg3x̡yT\}ɖ_67ϒ cjm4)kQ׬%PB7 Rɺ DVYxZ:םO*cue9g|){:~{* dMHR p!XZTDcVZqݧͭ[:1o,KǒN$OcwEä"7Eg}Y`H^Mgsqu{X0ؿJLI4{#hnnLK >c&#k j@>Mn]{^oM#522x::d<ŒBct5W[nЈI`Լ]GxaVdc;1p>EI Qvj8!滢Mʘ|׍(%1C>8nuвNPO>9$mVx~`%mzqGoS \ r?…M5_oDuO?-HZVKUdRQx*R$LtKx{{\t9/؃R'x΅3Vϭ%MϦ* gPFJH.=UHb V(f[E@ޔ@Im fYhš+CݮSȳÑGf7p MI P1 'HOQe צdjV3c/}Hn^.{JDm>s{a`A_*欰[PHbv=Q7ދX^㻀h@ 5W%l<1|Ӝ@@j]r}ĂB kUd>M-' m}ʺSOGvM_mM(1}bwsd;2Cc ~(N;?2 y骊Y-j8?Xr$.FJ"u]=a*{. NEk>QiSShEv*ubXC҈-&1燪vu\+I7YQe~l~шۄ=r/I\.bnω?,^ khBGwh~5$)P _ |(﷏_߫ʍ/UHe}J\ip1w4r OW'Ŗ'ӷHMNJh"aGC-;1ؐ8~m|rRݒ4 ^ %|e3v֤C4pr_y2Kcv{l'7erYW趸s|Bn[tuP/rj8fF{|XzM uoꩴU%{w`GEkYJ] pć{zޞsTpu)EDk$e;gĘ;׬cnլ3;#~vUGh[3&l{Ռ^eW'D5֐#PFTG* q@IugN([Vúf*ko3d)QXoL!mM@[R`q$BGqfK"1lh p,~}(1Wd1VRluώ|ܭs*8<纼9|>VBH2%ݖ֒V~B҃KC6 Ç)J\d~ZB9*x{= +kʘ8\g/,1uH:Y7vntk\( bSg^tw#sfU|1i74Ν:'t JJ.m]$&3 xvz8[+Qq 47 lWKz5&z"M]F Qu  I0GeueG% 9KukmbyU=]/'cl'6N3MUw-FrT`~Ke0(KK]8%eSU}PHeҫ}nA e[ShlN%TbU69Dir!s h}*_87r;<<*3? ׳-U̳/LYI74GkqLu?qĎVJ>ieo]$DLW_Q&Th}8BG\LiyhDR# Ң`vqF@Cc$Qv7A0 LJ˒R9ING{n/Z ua.Im>aM2'M w]RJ]x{0NgL"W.(qFjMATu%=)+AF3'%qk{uSqtI%~B2_y(,T O;VYHY*OoLL<4̰cް!!Z3#쐗B\q-+A QZ9x!|haGHKr,FbbZ=?gAd{Z[@Xe\li@q Hx u;FI>0\sB)]?U/+=;tnʲXF9ɐ6˶QA ϒgϕ$fSF!Ώ*V9iLDϔϤn~h 9Dt+y} zۤWa3WU̐]6:3oŤzUUJ5[MRSZw2Me`ͦE[ !j"2NxE2l /W'hUlѷ?17xfWN^#ϩYxA)šb~@+"^e^Ԣ~d+$56HڎL9+qVğ.)As,4z7@<GnRֲ3;7BipqT b;@tmqߠσ'](4Ɉ|n=,|xyr8vD<I?p{t﬿ts0_qK!߾& xRD4.QX{{JmU),q<>UU>攺յ{LPOuK뺟9_׈ʖ:?WWuwqr417*5YT׼Ii\5 ;iXy#8u׽h52^3 H+/N,)w*3 i ݊^H=XB fY1QTt7&Ra}I>zۺVA~|팶zmrOp4n!"I/w#ڏ8 T Ha@FY@FE{۟N)~kn[G/L Hb((8'LUd]!GRvoͽ-TM&W yFhFAT~KU\Ld;1mRvsg.n'V]  V28y¿ Ǯ|s* nF7-K/6¢X nd$z,I$nJo$'iW #juOvD^k0F!hiwX e4HB R6ᠲYҦ!_% :bE+3T7k* ȅɧK hrZ.E~ob'4ѫ`tW :->0vgÁJO%ۮ hka6!|A]a 2!',Y;ärCeEp1x2|4` *J`sjvUa1uT?Ɵ. R ƾ7H8lzWŚ"oe üBuhQ p&v,]qm7r31"pqY-S1 $`b?k?8JuP/QJQRH~au"d->F*Y~#Y83;p~I6-څf u]07(8l?A%Xn9mLzoK+Paf= {§vg[YjȨ9/M3/,Ro6d|csǦxwM+gRŨ׃l>p۫#_ME^E1jK@'H4 ^@ YOGIAɺ+[6}kG.; Lq{eyHOq=8<~zBA8 J5jc\I={σxa/@LY1hF+ms;LRdE#&ppq1j~3<.*Mz[7$`&K}8)-[$UCۮ.3Œ3܅@SVa? G g Z8LZͦȃX2)5Pd40ca8i p/&"'+M5p%g #K/%<L&,IuGW*5Eݑ*Hפ_`ɿ=`De;D16[gv-U7"z>>o)WN zDZ " Qő[A6󳴩OZѯazЏ.U]ه|"KGn+AWVX 7h^غ!W?Ώ ~=kվr,y_>|JrML-pjYccZLw\%cϽl5deZe)L-Q?4n{C财 k[klNB>!4 xo8@$2R:|;jL >=G,OgMnyh h,T/:fjA$J".'^tAWߵYxaŖ9uک^3k0GhEh s[(|Ֆ ĉP±9u;lmU6syU,Svqz\JD0tE!>m׈G2ǫĢ:- jkQpŀp`F*2'f͙:A({FmdvhkpD>(HV{.2ςbqg?V3\Gor$T:0)"VuupIJ/^'>(~A 5tٺk#$Hg|Veg٠QbmMva;SiSc2;}5rI_"CRf1"+3Ј>\[zO}X.*(ֈe?@,(iA4Q׹mӞZiuŷXF8$Q1Tq Gf/d"][WaYEV) $ܘ y?83z|vq>Zs,4V'J^;MNSdKߘsxGL%Vvbkoͬq!UduG:;ȧ*C]9(}J+6Vntĵhlem}ekUxy@-@ylc >{6\|>̇wMp74M'-8_0 K[PG>,[[Hwv(.(i| k,]ᓒWckО[5Q8i #tA`(δO="XGj}+qVL'*8kps Jg>L[jTB^oP10l )f^s-F~h(u| ZEs.KwbJ0pAy>&IG}KO`u㊴Sm|2W-g$V5v|S/=.0L)`(Y˨YvmhX< W-QLl)\ HI>J|]::h6M[^|\У <B?{Ҵ@&׶տ v%%+_L[N__',]H,[`M\|(FPu`X2d-(MKtL_(^ƜY4%T<K:UF|9X=F+C7:A )6g+* C@&o"Y4a!X?bKk~;Mf7's|yZ_mP8MRH~v̢$l1hL)z` 2퉏n'D|I-n2Pزi E Q?Rdo=c烓M?"yp@t~n7EwۏPY9bfSc {x&n; vcfɠB0:*,vi ݤO$OcIR[Quj+:JlƦ{ZěG}qyKc6Wtsz 8Ĕ;j=N& ,!SGS+pGb̐81i%ioBM %wC>4B^)c+^zjwr_CWIP .LѺL:_L Æ/;̖mub is%/ԃN1G#GWy(igkAa}ZvϚ:LU`A|DhN[i:˅+ {żn6_&BY0ʙOv O1z/-dOn;"uggmc6E#u:em BY/n|1@<ǏKm՝`RI_/0|g'Nq4z99FちZ{nXswU j ;:7ƃp5 P*NGG0*\*S^*Q&ɓem5h~ WM#]\:\*.NTF$WFwX^YāLfJJvQ)O#t_wTj|x;ehCaw1qdVͱ8ߛ4;~P'Xv32[3`+`EQQ5;&v]x&yogQr& +a 0DRfOX(zsz 8_Dt揱MC".3qL8Ù>];/.9gi}Y>C &:NG* r'p!ib\-({v Vt3R;'vqIˁexaγ 9ycePr;"_UvTMvOcozChJ< Nځ6~ rAW=h I#te^ [#6*BQ\GЪ=3$npp 9&0˒5H}b̻ff$M XQEScbz7O"(m GG?9cL~h28uA4>FB:JTuN 1}}~iiadCt dAspxQT<>t_qw;+ZQO%ᣴaд%Rƺ1%$!<<Xw_8Cv:Hd"]xT*{ ;OO\A4mRP +}w WKa"w|Dœwם!ɥ%F `7_N O5"uM;*&/~ >wrrs̆,Tfy;袵Of:2=˒v޶bF% ir)sOu ¤7 ŷ!8&nAlڣ*1m&5T梳#,ԚM\NM!A_mB50NjiĊW]ڠI9t6l1]_X+`jm9=(Ӽ`?=8'?!vLU⤝(zѕ} hdFTY%9.;dU1mg-͝ 6 z,\O6hG&MuOQI7 ~^dR_[7K|zhq#[ J'YC<eF;F^f:P~75CC&^o<˄ވKX${8 )jYL"HpDH{l!. fxY92‹$MpPlj?PˍX>aA@qcO%(;鐞Z\K3g͞:1$D"νE G?OSk~\;wbך 7gPiȺ3! IHU(@|ʽ׬*Vo"hj!B@NT$1.w;H9_?V@VH=bP{՛-biҨ87F^2CXizknj(bW3 'ybh,/xY|A"l9Pd+(iHWhrU78)1yTT> Uyw@Ij/se57n \buF,,L_ plk<6Hl=)/'b4\e =Bϱ]u\dhW8CW9bk/kK4(&y/SO}_NDiZH2R`D|L,\. "z6g]8ʻ[Qa~jW6+LWǨ09޼j _PZ_Ҷ}mS+l˥ˊL6bϾ=ni}P>vAS~Ff[Ke e&ĴԽ@kۧ2Lbn@so;XJ܍:RE'$@v?pdTП(>HG@5]x;1ޖ6U©ꎭޟsrؖ7sC hq@L]ZsA&j9\XL68D _wN`q*+o=cW<@q,tuPܾrl'>22~RE̺n>*v42ơ)7JCp-d1΅lx[\R7$mI\EmH`t,?Pd3^[JD$8֫2`DbHPܙaQjQTƔŘ9$wt?8$/^57rh*AKj)xF & PI(&Ʃ۳A CwdY֬z8B<:@@! ֑in'f8!9oXomLoc!'lz,@nӶ=U]:C6i##|FziU.'--~K؊4[,$$hU崼^$wG(5gdx~,tv0$ژ EMk5whK=;  JDݘ^ż~D?b#2rM~* vF'ayA{ͤwY7#C1uOFI^/\,]y qCtn{ynǯ>!HWgYZ v 1=# |HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! ix]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn +<;6OE%LybU X2WyHEXU&kwÛu=~N@`SJ X" Jx2*~ e*к5(8<]`+4Ɯ㒷Tcdಿ?"J11'E"Z.7TA~N .LoyjFa ؜JEZ0DvuJ`!׆B^V 8 Xsʿ1'SKH /u /E H0"{<=XatXlk[} wA6mņz#{^,%z>NfBLG퐳;@ksv2"ݽ3T;ӮQSYڒ  lcMb.XbQ*0Tk}"hZeET[ deX7j'[ S+q~ί d^ {^LNau*05\&H Ѕ},TM)- .߀+_Zk ?|; & $nT2[ ywr_0 {#0#q;R %|q s+:9!Ϩ"zL8d(1ڰBᓖSMXF-y(bX{7},EgeW!c{' \*c1\Q8.Z, kznfrNuɈK<@[7Q'/"tExYb/Fg+f*Xh>lnbq[L`<5F駂#54,;S5NSf3kɥu+9OmWJ;O;4R0z, KfZ=c,v~V CW8-u#KRv5'+eoc/һ\;O&:ؒ{>1ްM\+R,) mHEU=C XUh)i g z]VnF8"w`xt`7ay fDz{yӂް:z|ՔUcCHj<5Y&d:ZL _^*@\'VGa08tN>C%} =+cE<͔l VtҒ} 9'oG uċ Z9FQ,uӸv=h;]2xABv\Kd.xٞΊR.dv*Emƹ. Zi4..כ:헇ֻ6?^NCf~1U8ɍ!A/7i&=RH2Pkn 0GOˎ: %iXE7x2Z*%CF\_l}L42O-[O&?(]#1PPu5hE"F8BjJN!"^LX >/T` z%rIJ!,%A *WXaB=g3M\he@,};:*^%5x7GooHY6Z0P] hRe1INsT|ėa5(<(`QŦx':gzs~y>3 bbb1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id534o1=' lHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! p]·Iq n[:|&[zf^csZ"i'mջ xb,Ӈ.~Ks[IR1#'rM?6CۃpRChJEuL70 0}|mE?fn9ccPdU/9yr>Ty<jyO_HB%߅ y#Q% FVPMR}HבI܄9) 0zb;:YG+R*&DI<"x/[>Ұ!/m+ K➙䕈wu+RQ{VεA^*&WT.-c!o`t!騬R-;(GtGtb[x6`\ ݷ=*m %Z{дcƼ6=pq =-.!Hï<+xtձl&BC5yW|S-#h GiRE<+5JʏEŧ_.N56ŕ{3vnMP*k9ok lZh (!+"¶ 4 PJv]x`?%=n.pOuq5Fn݄2ՉC>RX~`7ZϚ-#.Kg08{Z 5̹3[wڟ)ha(0W_\h!$yk}Suj$)YL;UŬr`ڴ웠vb2Ԙ}"Pu11M6[422Ru$r[2[K?jc"\ᾼoy_VE @G0 S fyWI_7zbJ>ըSFz'(=@9]Hܡ}3\ |(C1 5*b]viBk*Rmh'vˍ Y-f=ae0]Jk`9~l"}ɻ?z_EǼKq(dwIM3Tɐ6<0/tL̕j/dñoЏu_Sgf!zӭpKO6px.&F}Dy`M~ j?~{ _kaSy3Z=?h͹>␞\T 8P3P|<1j1;~տg X ArB GB:'&zk2 a|z R zEAƎJg?fbl:Q\t%^s-6b$wӋp)ӣfAvox)z ?~gOv, ҐI 0fn2i UmN8G"bKEE̯}ᇙtfyt .juoG\ \񾉞(zs%{a}9q?fGHX4F[rKET:Fb9s&G0qٜ*F]ڣ)?i*wMN?;6e/e8g*CE*BUL[?qG c`O\ljqmM/{fg i-v).K6ӯG'ΥU-Mg#}FRec nأWiFr+0_Iv/iuFktEy?O-䕖TM۽J%ɿN8S=כ\]ԝڗk=p;Q_b"$K)kD NsTۛ}=D%-d0Q{'ڴf.NHo*_݇(5+FV/@E3̜V45 Q(& U%;(C,w@Da 9Ą- [AԘwH;1]otJBVHSTgy=U9Sb-ur:l)J#"QP怺g=Mjq]!˥A@_VG,)T2"/Q <"f4x%t6YE:Xq,Sq aimND4 (^}15l,hSQW UZVH=vxyǹ뾲L0+BɆY_)zس ˩6eDpPG =% ]SM&mKq_M`~=p3•)%u[R3M;5 WyyHWA1@⩳D)6z=Jf,tp1tnʶͶ,*oW.A lIa"6j<̕aRӟzw+{ćނ9/=@4vd𹋿XRG{Bi nWIQ=>C;CW&C:&MZ|w= gYZvpLlL0lNҖm3&yq#*dΈcR*\wOWȮ=GInl{r4;Ő+Y× 2x<6`^$2dE-$05U)︝RUK_V30c[iL q4g!i$!5WC!LJ{#ZkcU5st<_ovh%b@sDW%9XJsCF&pdQr.n݉xzAN_,kȇ͌۾> {Det{#WR{y@tp͠aX71h-N}i휗3sso1$vNq2y14%AߌuU -߳xZ䶙Q=UK ]<5 )ԇǺp/'2>tمc>2p86ZʣO[m]RPB`wpb2x35Á:H\PܔtUz`KR'V.4Lh#~҉a QA<:tSgAm$ʮOfOªFlfփkGJBXrկs `- %J:Lo/aq.xݦ$,҆;Kh@ Bf|艰|T3o'̸EBȜ^إ".00NSh0LFʙ顆Gbص+8'l.$68KuJmA}:`dzfdC5eH{9E"i<` )]}<;F5^5Qn3+T]> >o=G–x -ڱHAi2$ umX/iRD4|y)ķapЗB3ˎ"71c8_U WKcBfmRsR8L՞+x .`"LЕ)}(يi.Pn8؁ɇ&h>2{"!)I0B :%7AE4AU4.Խ =[\zs9E^cETE+ G^>etcGN,W. btk]sXybMb(!-@VcH'V5c>9>t<|Ƹ)" 1D_O1P3?LN(Nݾ!`!PÆ.U6p 1gy:)hx/i{4^>R#qΥh502N`/1`uP1j*>DIud.ROnl&eA$wuMUथ"\WDjAI 6o) 0(Ѱ<~9LagvoƐBC(ZPbgƏ>uA@sN@mʮ3R#O8#fgVC?8D+Y co7MPW>Axw0Q(kz!p:%X2 :k\kB/lbۭUrX⒬O27YXT/-WZɳbPrcq[J>6#fĝ(?hpQsG꜅4WZzήSfҬd*[i"-*+ Lg2vce.Q-}O/R5QS=t6w5d{6wpתsM}dΰ6 uK{GKbpo W+`hJlK2 @ڭPA2r1BUL1U[^_CDC#˪/aO-!xbv:Y>t~Ya;%^䮵 [eαi CPxA'DthyH2ܖMޣ ] u@kM$ ">_z3 -Qe3>y-Hѥ񂂼$/ vUĜ1KJFSL q]߷mt$"]Mj}ٜeb\顄(o!6GMF,E7:Te)&ؽQALHa PڲD( YC?]7dTذ5+!bCT[,j 勞3s[^Ami(t3W[jw[^{鄉mzd(9UE{Q>/.7cDAj) EYџx- HD?\J?^ >_q15돴kkU!ѹpa1 RU+EաKlwcM%+J96lx3g.1{Hi'YUN h1sqM [IҪlڭm{p0/T'+^0>_x<ɤrJi(ER21еnX=Xjjg~Q A: 920y Me7o!oV.yk9rI=Yjw~Ontv[M豂$\44L%{:6#6!;Юfcc$u rtrnG֪"o|T`_DXZ9()Ҋ~`?ljQ[X:w8@i D8o`Ec2.g( "~V J HӶUvmg4'ʠcAfy/?MsL7sF[ƵꖬӐH+ /*2ʯIVEԎ9!(]mPk0 vUطBg3Ve± b@[X7q?`.& N< KD] s'z16ml齔η&E MqFV>*V|>nL1AB`;N_ kEUG9{ܓ. x)>`~){!ԧĶ~iiuKVBU?@V ]M{>s"S1yY#v Cg s7gfp<#Tf7yľ!}s {.G#yW5žUm؄Rk>nA5 Mۢ ̹~{IJ M 1ߤ*Wdß|d˚,,gENXx 9FuK.*1nr{ xn9G,cL'͖dh"RWNsXp>a$b/7$Xκ>ihƉ_ %#N㔒Xe}9Mka:R$F D,Ϛaix1r{G٬`MH7g M3''* gYZ  Nl 1I# \HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%h]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rmBlK3v}4b܊r)q<BIOhɵl XZ؃Ɵ!s{JW]tnF6׭Ħ[LC@B/Fv$39&İߊ@My@#w(Ob#9~JM}&Z@L_]!MMVfƷrTG/] "dfV(qe5wkhŽ [Eo-oX;`b\K_hwOoʝ;Njg*< 5̷slS~~'6f̅Y'Բp:B654ҡs_`fa֗P6Y"DX9CjE۲ˣFr9^oObzNTk@0\n:9?nrSY{rM(nzLTG詤D__MD4h~G0Z<@}lQhǩ(H">k7>6(d*`;BڴfP}a_耹~&6qBő^h]-P WG/ F֚>j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id522A1A' HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zKa=l{[''Nil.v+g"TOW 2|f 2O7dG|0`w5W6K8ŵ`DYcT .׿t@=  ]kooH/LX*w(_ml_߬ <{G=Ƃ]kɃ(uҷt2H<rJdȮ2cs]LT6B|-O-LMI9Ihe~R~g[fMj=`P}g[?Hzin|nPCkJly,R d(-tH[9E=k1A# dHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY-k1JREpx Sڪb,"kj?9p=ݯ&<;xH5xxMSp_}'? G&~L鵱#Ao.Z{0SJecxyݻnEɻD U`60 Z"&z\xCjpQUï8&ͩ/u:;. zkfg 7X* ȵgS-ƂV=}fۈ@ (eP:n 4 PګB0~['FJTΜZӗ K$ A_"XSide.o.c>B;5iP|B#bTaZt.j.a ;e}Z]JS}Q,6ъ0X\v4ݧ:'c8@jB"Bdhř;jLZOu}rFe/Wh)6#Nk[Icޫ,9&ijgဠ20O I [ 4s'IgfS[%dƤSZ ӪD󫕽 9!Ư@!ڦţ㞇#PSt~NOt1yea F3B4%Z^^v%F a>UvcfkCg/N2~6H*hd99_v8{:&Hxib?jq^}ЧZ8Hہ"_…FPЭ0~qol r_Lt!S׍  VNjt8E?YI{1O"a) ^5s,L9ez*0E_ܺ{lq(-V 97ґKE->yT%ïNґڑEuxz>C@r{A @X2ͯS3la~/&fEHbi3:|T'dy WO6ߒlk(]}JU<ʂX*{,6lXo\uAge`TVz #_az~uy"`f~џԾy4w}~9!#wq4sH'ۯ 7DV^ggq]EA\ӗ=,1dlYp4*)7$eԇ{FP_| E'jρ ^M>G5!zspiNiӹ5vr0jܘ6t_<Ҥ EăD, ӕxe/5eϳUB{Tfع""E3Ɲ"0|Kܚȷ[TX˳$5)6EмLڜr"*jʺoCҸp S)sBb{"Mc@uQv |d}-yYKi{90tԩ)ƌ\()+܁^%<Ի@mBCd+O=#4n0)n=*A/_ R~*3, &4#|G G.3`7l Fy9ZdIC yelpܯ2'*4R3mXpk䌧hێ+μ"ǖ[µٮ{l+7 $~ V "=lInUf8KBo?y%ڬNw#,o6F3r]ܠq+isEpzx^-yB&H-r@K.=_Q˶aXQ}Fd1?`H&Vx.>oЧ\&V! V]~4Nx 72"dRO%SIu(.KF } ʁrnP!xO¢:_։ IP4F%w'3!)miV2qO{hZẋOj9h/Aeo/,ZPn$g͢nGr%q}pΓ\nl@]XM$u:lQ 9J70F?h 7␽RG߷D44yEP2% p_VXH{o.Xo*_}6u3ի\ y\9@n0I(QUk$ĩYێ$!yE?Ci#H3xYtCT}/; kMK'CJ3sU#./jUQD>U8{qJqY:Ny}C,I$K:݅\\Yy@ou)ۚ8ŸhګZ]hNEup ]:>,D{e"p؊H&& yת&9fZ`sT`6jE6AMZkq݅G/8Nw|O/_E MEu82gIZt+~۩N:?EKc1(ɺRjy#ߊ8!cԑƂ[B]p h 0)a2|u ɏ4=UVӽW#gJ;) doyD?3;9;kaS~Cտ#}75"ySIRE8_+JHNsܨ~[r;%фtq瑚XQAar:ё'Ip{ܭTOI ɮcx#!QK 60&r^|TI:L3ʉE 'ktkjiJGw~8&6΂t{"=%,"sӭKmyǘD}k|ZеߩEfJO!#|ؒYk~Ox} 6x0u68o"uiu[09ލE% 88M|R|JG9NjFp@ !oB:ҽ{iIŐbN?ia%TAS'XDWj ѓhl*sK+\y* Ͼ'ZޏLjQ:&N!FqjVe ]Tx*T1}_>X31  :i>4@6irG뒧ydcYTBvwFe0D|s^jJoB,i^g6n/: A`= J!|LeGkKxVo+ӳZ6PcghQ V0avl#KGgt,?01"#TN$Oϫuk菠(ѧ]Xi CِxXy'U}!bΉQ"MtB՛_XeRⱠ9JJN>:sRݻ]Aux] :;E8D `(!X^kgQ3P#;/󤕻(d _5(dv{M}q` n=#K Fm(Z}X:2&Y'Uwg67)o+6{0iowJgrM#,NrN%Zapr05>XX(z3<{J]LdԗDqnW̍}7VqNhtgЛojQN({ t<o+#_^UcȆZu_hBئ mX|5qwRṽhd3U<#4S9֐o39#,YVm:w~ F' :a'B|fOBEe|%T<\}\@GOs eLr-dղŘZ #_U.7%'b3oX|mǧWV z+:V1q_UUUPyxw,Y SEKʋdpR,_ko!V>!5/7lrLdk8T7WYH 2/UWO Z(: 7 !i>t!HĊhw zPuZB- "Vk-rܺ #})Cy%1ZO-N|m2ZIgKRIdQt#p2.s0DD}>;iRe!+2>Q$.Dgw*`ŧ+zm\jԹ-؜ǔ<7Lo tpv-}`C?9,z+&A3\^H;x|۹t兠Eeʂ)z]݂a-L8Y|Z'T)Dh<ꄒCA;ie|rS] v+ {˓N<ȟ|`0t1$8G^ۗD H C`\9d_3pǁqԨQ(*4gl$n@qU,ʌ3VxC]6L`sљ,`\ց&96'[aKAz74ZJo ԏ<)M3GCT$ػ'39#!Kg jgRrҘv4ȜHV--gFA]Ux&3hEϷJ9֟h¢= "b4,TL}1i؎,tԃD@Uܜ _m5x9~sjp1M@~P,zlp_S3  DT3ճxvX潺DH8uED3<Џ,r0:f5gx90Wl\ Oea6,H00*ywNUBرo`Hȿ?cjO@ Hx4t)tKX$ ޤ*6cT ͛(lqCH0IA~(P["{þ4,%#uYZ5h"ˀI^wqZ=)/~ɢr_wصώ<^4R₍*zwL;FEBL;RK'ߝ^`3#KQ_+:Fz*̉} t6 v7O$g "?⯶{bi_nm|HGJb3 11hU@wY"_e X9PBe):,VKaH{=#E+D'|":EkF4wl #cj\w'0QQ@<)9sh-[/O Ys5Mě:23XFǸ="ÒUٜKae&A FbQJ'ԯ~ڻH3[T-I~`!aEWm>P*E5U'hhvO4DM_3qv̓PM|6}*;?X~mf)F&Q9Yې=k2gknh)K5 ;0yOM{an[Zѹ(5jvYsJ!`rΦv0rn^\;#q#>zp=%nZV]Cj&Qz- |IRс@+sL a%?X0kDE)ee,ng-{O:fDN08d`wlf $~:HGHLc< q 2cr5K}y4 W:B+U'@ _!['N4!X^'ڿ ;ÕBk[,4e>[y,/=Ǎ~ \%؈IjpqizW0ЌK-y̛IX֚,üXk3Uָ8,9,XUVEPwiM~mTq]PJ[ö5MNѬ^1f¹O&`DC^nlc6&q6|CF̖>ՔZM )8]!SdIa</aFfU1/Oo ߰i#\5\PI.1%dB/ֿ WZn2Zoy' c)P>r)uѲ>%|܋@ kiJ˭=M/ r|7OK#+r7}TPXd42-KΕ&Iq%E)kr~G8 pM;MroGv o'0 }m<V)y&5X5γTحlA| g_c?b %m̸XkEjibp@-hz$wm+6Ha@\kt'ZT-7(Z>m !'& {`#QF 8y1LcSBu*#T^i/^;1XX "]Y k.^r Iid }Ta%)[O*S;BoȲfڨmS1Fv|ԸEX"SڸyL즉(m}-o2C'?iuP$Ija0'<2R {[VDz-{+(:g-*[cKTr> !DhFdn6!KDq,0+QɁO5輌llD'c2ehOS41OK"?GRiҫ?'RGY } +/Bw1s [l*M5Hz7| 0s.Q.j+-;Xo9S+0#ml݋nx,F5 ,f (̍oGY|=>hdLf;ThTTpͶrm<12_4`DNGӧAn'vIujYADH38Mla*g(2abZ9(EP ,£aǎչ45T ޫ +2ob%2@ lRnSf"[mm`}g#[l}ϢM7:<D?fզDs~$<dS!uUHzy2kH~UKd/z*Xfؾ}#زWy"1aD293N_|,m4'DQ"]jFBw//H0:SI|0vSO/K5 };OM 6cع"LGq+t5t:A>ѷBdIj=-Q:LӒVGO^I Aʴӯm7X4n?Wh;K]v,Lu+5*G,a/D?EVHg0"G`hsۈϥ9e?޽\o.2m$>N`[;fuY Z燡nlelho![ =Ĥq"Ƙ08JyzFwNK w5/2A}Ko.-YϔO;^\p5i׆ #[k /O_}%Zٽ.>X&+_oj|^ee{fn{T-}'}]'-6Ni oKV&24F *d}L\S@-}MB5Ces(e3QSGg1dSnI*\Tԁܒ}F rm{xkq>REn9djXSzYQo)EᅤU5IyT}\a(WX!C2C`s}rT|<"޵D S޵Ub", Q"Oxp3 yCj|C]pDMld#K0nv<ۓJڳC 4g*̉A̩#h([^H/;Ѽ`2SPZ>,~am'x'܁LZ,P 1 Mt+^sxy)Zͷ(_(7d9^jvscO;Z q(*X ްQWŋ)-bl,)Y׃uH$jaj~yoj:_3׽("er[=0aֱ5\ 0yx\:{ܛ֑&^T&ѹΕ8#UdSu9nkTt _&%ˉӬ[ N\˃UwvŪ*D-Ku綬#޽A; Ky\͵*=gnУSFF9\dbLo; Yd0 6Icy6lҭ}¤9u7s:P&1J:;Q~ֈ0Iۖ~\tLyDG k/=a'3AL];Vɉ6a'w1ݗZsQwM-,`!{{{$.ڸaD2>4fէ|<,9䅻pgr j6Mԕ-5~l(FI rGTjP9#Uom{$ۤ݁ĕF4Wr( ^usbg]/8G_ihR³iw,H39ZHXk:B@ s:˛"1_xN [,2?Ph)&o)Un4;]w+Py!"}Y=4Cά"[ Of*FLKoX72REghQ92gxjQUj Y|(<r@RGZTq/v |0˨O)k|x $5I39*Qa>SuUő{B{^g" 3Y>ՇLqL{>TT5\R/")_5?NEZҿ]jj7koPN~:[yhdy9Gyaڜ'Q:9 UucOnըZvqVk? q؋y["$S Au l_.0h E()P*TO9ϒt#s `T~y"mk娳r+\?4;BAiE>dX֊ wLXȒHdz+zBēk%en[ Ex_.YVĴOH*v= i`58"|3;元nw;C &뀮h=mpiƗ ѣF\?R9EXGd* DrPh: yp휒CFUϙA:o$P ~d@Ra8+‹ %%d|>mI,g GEu\:wC_ sBe媂E:\UOa>AgawLo Ei 4H]O>ļyebwq VMTX߆CYCR=@u-I]֛C^ I?OzQua=_Z v kmXj(PV²)վnM^`jfV!hNVnZoZJj/YvֲpM+r Jh(4PCj8$rxFAlsEZoPSnGiwZzNZPE\hʿ¬OqqöEnau!O3L;ǕGP&jrOɚO`+(`jH8]!*ww_X?~UL.]b8ћNVF-*c3cN_99Go-E|K饤:<<4t@l#˅_-VC#ÒI9^d_s,ť- ggڄZ&Ao'30S+ @C{ȋņA^[t3H?AӣTl=\z?Pf)gظr41]#KD"ҕxj:q4Zl@8~C(;VsI3SW5^?Mov!ށ< LZԖkz4/NBjf[^$G2)\G\ݯInAc#%Oix'Z/;3 "*ki~{F rhYվ-aUE:d#ljh.n;nKѶmteη">:w־~Q7<ĄdNMV-#-L3Dda@޸.ʉ$p”^iڴ+5iw.*Pye6^%~mEoWH@0,]B,y~6n!ZN(~,9\}*(xiȲ8Od7**ɮdO)8 [$Uo-xbomU{cQbٜnw*l۬{;w|rh y'evVrz&Q1 'ieG~j氢'D/:a~sXs^@LۿRDoo*m/[r9F; .OG\"r1n )p5؁4,.Ź/EҬ6p(ͻ'n" 'Z{}'+k~"N#(, Gv[6gEU=cR@=fDAΟf]q@n&8w |R`cĘclzJ/>d9Ci󽀔 sZEltS{a"4T oJոA`&m&\ޔ–e@dEhXځT'rAN{ l/$:M=9};`Dtߝ_[pfk.Z&؂iP$YƿBSEhj7 o&H($i|V xv`*/ŜՃ@R=?^wA^l0iOk3.=lS=>mX Rɟj8ߒ+&x:VH/ꤞH)s> X>*جռKXjW4sy_`} iS+erˬdYyu)>'Jh*XG}JdGC w[Tɲ9r%moʋ^< /%=Bآ biBhiF~̃~uѦg^B ԥ1#FRIYo:ΟE\ߐ%װAUJʒ;(!K,.QSFS(N6@#hz=pp}CȸEftScNDlv7|84@Ě(} éKȇ%ef j ^]fdRK09whu.JH/%d<ꅅuhکM^ %~ *Os%OYM@| o%K̰l)-tQGZh[gb̕VOZ3$1iDjw 2U K8SrpZmr~\MQ6 F<ٲUF!?ܛS>,:+QFՑLV=ʘ*Z:㐫\ H0hT$i~YUWW/w־=@4dCj=xt*1=K%>YVe"gW7„A[x2nG#GS"R/S%K_2P}WkœqލXw4%xqbޏ=^1W;v}+ X*qpSjsi>Qpy%D.p!4btO0b(ۤfj8a;9;I:Eˑdun0X!%zGoPxsJ8D5` +QVIXϯӵyܮri6 y S,7h-:oV\$=Xrk~+8xR5M(‰mlvP{<{TܥY9@~wFYîaCNޭwzn9g*0(#*(v΃dΤvi[ M )7NcBt@U9PΘo Zhkb j יT%5v-wcOzg/ĶNA0sfF}'a@$y va2JD_ g$bXV]>xo6`r!A5MIvB $BD`v;5rmzj0@ xHL,ThDYF ,ID:{Nʛ=ZRJ?̥QLƃc|*a+Dgބe|Vk5Ѧ1[N$Yғ9J> gb9G _6 PIXb@c] `"|%_c~+kͬԲ49 UOV5a;ۓ_܊|T8N<^)`@/j7~\qC!kiI!mFr@\To6%|'0-`9aG7V"QуEn| =ڨO!P<Gr)%@xYqNt^oU}s%|w >"miW8DB6H8sFaA%5U [ |ጣּ=PApz ɇZ@iђAMܦ򿍓׽fף{u\aiYB D+ñ=9[^P贐W2Jwag`yyЄ@ZHgoޘK# Qj?F_;p߇_U}̼JX. /a9s<P0f֏of`\Zoj(7f~m+ȄFn҆ sJ|cMzǃ41H)X"´ :hv_?` )%/qeW]i>їDDyuUb/zC3{4YE]fsGT6k֌eD1[oFf9MoH*fI.0 &:t*ګBbjJH$BAE܋}ṶֆU GW_Pk{kRlU;ʂg=kYJn y@ߍ#ՃQ1X@0鍔+l|) 7LQdIgQC( ZlDyQf{ymY @G2CxlxyD~IJ;=\yl* >p:M(*ʉŵJ\l1=5:NW>?]+" e&^ہ=&%aG_m+U1^3A@ubQ%QtNap~w[8ye3 IP=SmOČ!Li2 Z{[D3ۖY(dߣ,\g/a^ CUFiiRj|GA<~!73K7~[\nYr åi.pLiAI͖`/UGeE7R>ߐg=*g qDS#6 ;DN5;M|L޶uCRD4Mm,ȡ4nFO{?7a ebDhXO\J<b,v̾яbjߎf>X,HZN"jWAl$=ήXbw\9!9C3YvJ{o Պt=lY V'S}q!r#!o '{FQZ=*W]. tg͌Lޢҁ jSuq~C穤Ps-s1N߆;ٹ sZS>* &gB"-wx8ju۳Y#!P+97F*2ˠzȭ SGhM{AF.5 1tr F6ʸ ЯU =ӧk>v,}4nSxoMN6gBF@B5Tq&emƙy<\wDK|*$5Yh7%F6M|:Q7r q_N31ҖS( | gL#'t%uʦV4(4PwzJ\́›'- FÚCm#Oy~\FR!f\˽݀AM4W&/bF,Ӎ)?jG+&sOoӗCw1Gyp[k- ~,0{rĐG\5;P)],X'%x5eXLUjI3Է0jQeKK&c@<k_]f 0w!W mjKfDWN萻kN'ħr}QVY9k -\WPERq!}k٪ QPE̷x2yBʲ`ڄI I8(~CNbMvy2}P8s@sr|w`V,hbF/Z,JQPa,əwƖ' ^{\b_YNM="6B=2Gz=XDÑ50N |idW oM!ű]%j(̛U;;{KL\waDžhFY^?׸^˒5Q2_ 'm ձ%ؼ DNv;i!zSTm!IBi׹"(+s%c[2ıs/`g~zvȣe҄3v~s3 5DRȩLJ FGa1R]X[+w+A V~jHT|#-xCV,}8NHھ1l*kP >۶sE+g8g^0dB"ca)n9Ǿ ?s#dJ 2c/xq5AXî\C^.(0|? ˢmjcGLuMf@.U Q; '>ޚQY9 QGp$5xx>_ @sZ6Ǥ2cQ CH1,ltȞajw/%иjV i9)>1sߋڰ6PI\p6r4RY]k8lLbc;-7 xv/]~׻ =nQl3{&2okMg_\hMS*4/y45<CwGǩg_4dE㊇(8.h2#Ń6 {'FPlj`V<0[K;bλ)[1KM!VdSA$Cm!YօK wuhE˕Nhhũ .|@ɲlQFi/·ڿgLvH>DJK0(_>eTBڿ˞ԋ|͍KoKcYR2N2<e$*?41%saL .Ko5 b)3ƞ~"p#{$zќˇmhsS8{;1iێ8b{}H1,x !>_ElQhԏ.at &ѻQa&ֲcQϭGP]?M8/m-Q4PMH) d:mfZҪJ4w `tj54f8@K\8Wbj%+=}nD__Zg^)5r'Q+A@&&8B^{Tk[T; +͒!# ",]5V9QW+a#َFĄD>vEfRo8$otVT1) 0*qK{V3Vh$dM&G DX[l8 9_ݽB3갳kQi2Mdn/9T4]*4U%HDM=h*-$IJ2Ev`)8Jm Cs($a:wf76e3> csKW𭀥 dUlL wN[za_0@%m z 8>eE$?( ؖ>M3 Op@*gDj鐗4 M@f((J/U_ afo=a; ?GF[s@Z40=y+M3 &%JKi&<#!U,eamO8!;E BJsH= f` F j}O࡙Z#I=pQA2w?F QhD vշiC[c: 8f-ڂ/pҴC# }CzS;;w7a / -jSl RgARB0htý ŇOgj|# XhM٬P<+t)ht lE7vJs.;ODj g6Mk}T{^kҌwGb()YoQhG#V.Z] y"dJbY_jbJ` QQ_N}v2'E 7^"OdnN(eNOݠ+C 콁)^ԈA"Z/07 ܗڼaL#\C@ka aDbI\A(B/ILɎ*pgHpٹ6W)7,ʈ#;aqs,la~.-/tLqpw=/y/գ,xa 7'YO3t'ÛˬhO>_lM9ZMfsӜ C vFxK^n$!xCz=N4N̋۝9Ԝי˄6pfDT~\>?"sFk/-[JMcMC|fUURXn,rk(fʠSÜx^uOMySBzt3?0۝RRnX3YD\} EJLƿLĨ ٱsIhh:"HUJaKC g!([[d2Ώs+&-;/V`}fɂ5z#O_}LEv|tSdؿY. {~iHgiL!#j֥/#tEԝU$aR<1:z3 ǫ5@,_7x(`XŸ67T<ιĠmx QnoV1&P[!4ސˀӣS^WX5\C눒Ǵ%t즬HxŏonնF+(Y-@,o}pLg(%h R vP.J"RJ٧3&9CeF'$8g2I}xdDl6pф\ȕJcL/UsQL+kL/K/*`FCPdɓ݆&~ M?q (> Z&Lcuch/Ko#k[0IhwV;A}mra!H.d冫y&%kHϩFP\E6Ew5+wPuJ1#ⳄlP@*R}Zzo _Sqij{`|Ҋ^X_鯍I9΍ :L (6rW:y3'$h#eɩɸ'WWTֵ P bxe=?#gP:%Cß"c1ǰU&Dv2x($=,AwV/cW40xq$&`‚;$`lԄcTjeuΐyi t;֣ R qWxŹ{PyZpG)J3 ۦ\^hrSS:d()߽+Y})y˦ f81\ï˕d\ObV*7S(?$c^ݠUt{[c#ĆwfnC˛]y2H&]Xjg cQѣˈZUO j&w(%EAQ l5ep)E/M1(%d"5bm&uO 7\dl]5* 6sAcQ9FSY$Q3R`&3+;3otZ+ↁ©^>uMX;G^E8x:btwgcM,kBii\\:욆I=̻_ YE=߅Q/Iso1uBC/ϟ' S?z:in k'd{-+Ky]:I~3⟮0q4HBP;0޼R/D<&Qp%gYނ-p]|}tD_~Ozda^'淌6?،&2teZM2bY pT )QHQ C;c.l0E_nX!ctEC$AUq M1/lGc4#I I_0{ zרTE{œ7eFX͒r㪐wŽs;CI?N)nb?P_ʱES;xM|;]jƏZXu伜ّ)%k<* l /R{c/emD q0e#Eٳ{Uro7P;K,/|ow:Faژ)iߋ\x- VY?F)+$b`/~ʬG54w&jcor;$vD5b`kPx!3I3t_&DX<M0"DoI{ W^xO\\+8>jBh5_P(f[x 6Ɨ&}Vz<C7><S$Flw m8*^ ~EAsC R΃ę)6S˽[7Qkm64Q`հ`U2z8 {m_+EFbi à|~s10hȵj+"76qNiLRiI|uQc߉dj]Hb7y ؎ ɔZ|&H?3'N߼!Tn4. ,ҿV 9~b7u}&ä oݪJ|Wt{> JAtjxZp}\XCSTM5Jq1Ubw٬ *k,غjNH]+g fZ+rcpԮ=RZ2kg{K6ۄVGPVN}T7, #T"GD >2X[Ï\N?P\8_6='c+RD/swqĨ-U}z)ja@sjۄM Ο"͜fv(q0E/ mKyK7yESa0ON)q dTTR# &mwڃ®qyE,1x-Qo5Pؽ](u+OeʰNGV9i$a!/FXYc"heFS1M $G0sTbG מ% qO7ߘ-TkA0I.lO;k{v,Dk:4 m-Y/dC]mPFZ4U ŪvK)4Z-Ro# ԚOnѥyO]OvSnԘBfv| P*5MfGZ@ μ5* oѽ\NʴKcr 'WJJbzH^=(kQw8L=Bh! %6B5uyC]}/x(EpՄ{~8hU|t wFs(%1g t&ݜL&!i܀D׊dEqͽ˨phóSr?$9RQs5~ ˄`ym%޸?Ju?OaV E%XA$ "j˨ZsXw]F w s|f aH׃"~"B8e o{ I_b͚MQ5u`Q*9%Hȝbe8X=JtG|.)NkQtg} Z:nQ DKa坢/-*j5nnQvɓ1{o"S 2 l|XGVd&K% /Q8|$j5n!vTF b Wy1JBM( cZl(/rjr gۘ\"+~g5I-\[N%V 6VtBnP7@]МKVWVv0j !O=$A{B0W-P Kv!0sXSX4y+U4Hぃir?7?KS<- iZSMd|Iy&΅$/&<$UTDZ;5%e'XO 9ZNIsn@L`V* m8H`PדˀLOW$Mw4ݒ dFmx|TfOId+}"4.BGtJ7=za~k[& "dkE6SX֥NBfKF݌H;ep6;_~~M'pWY6$ҿu*,,jyAT~W`RӴPY+{t֙-͸5dZj*Uat,6D-s\M2Uޖ]ZH ,`7V VM=8i%4!\u(ųF+miQ]`ͯx C0z&@jwӛ0$ða֩#Yf0{P| $K#xwZ6OPFX Dެ=GO5`׀35wyz;X?~ީzS+k鯍T^k*<(j*a-dR$B%9)t?{L«DT<:GFLg{}ˌ>>x*i2%̿>tj>'}Ԕ{{G}= ?uuWWXaVx Gz ٖObƓM ξٚ׾;9]l 8KkvHc/pR͠Ah Ew*449- N9FΠHkOEoNDo!j~\7>[|%@dRA-AreWS,bbš<9wm{-IQxy65v3t O07G|# h̫՚#bh+$*ųup./ V9nm{pZxȜUAүN013t MZ7kTOq}q!]BK(ɇ4Zl7fw JWFA:\q#:Ԏ/Vy]L%%*;DI#K3E)=~gZ)LrR'Ikɻ!]uxoNԌN%,g U{NLjuTXf@D뙞< 0oBgu\DiprꍭhŖe<Ցq[{C"b+\?1VXp V6677E3X<"o8+hlw~v>>6;b՟Hԁ*%3sMVU];sH:\XW9_>Pȹ86|ς۝ S;1fč:6dh>~>)`g2c-)?_=,D}[.ـT|p`˧qV+׌ 4xyKpy{m,'16+`ImG<&7avT\{x:ۏ11_Ȏ PfbQŒ[R|,(e%؛4XsXk:<}.35+&&#T!; RqKh4tG葉O+VMaZJ׻-}Zذ8hрYJK+9ȏ\ }&M y]-C2zvhu%z8F˜{0m5a_iOO J OJ8EaYBn\\J$DefRJ1H2m9m] Y@sPϔWfm7)'.afIlּU'xl>Uy՞A+S)C|~A@@nY- ~xcb[Œ{ ?F\Y]yCgqlŝ h@>=YL'@ X 0ؓmz`5d[!'s g,Rmz굀mb>重7*^`=Ͻ5E=ڀ*%mTQ0 T79h]9lCc)K"G4n۱e-{랴|T}%h}I O2f*m|y`Z>‹!N8#2d\V84tC,qXS03@esŚNaTGm^BE)`w Tۀzo 3t'{hY^ _ɧlvv+Ա{^[t0b O+U[i^"EOL򦕑Fbw8F.I,Е+K@L6&UR 1LF<@rChZlX~pF`BǑN.PY&9?*K_`eE*oн"ˬ l~H1,8<K5ܵAAcǶ}C)؝D105%\݉ǫZ3BHRa~ǧ0Ͽq^@JL/gum bdȍCnzTȞv ڪMɔZ?<ΜdA}FE1`*͎{uiSJ9z*+b9JVPojqm ~`ƕ]90~Zz![P.P]7 ':%޺rXN^m }9G<܈1v M~I&.]tR6ӝ%C-[ (cAυSt΢s ݳȷRD (] W,ZtfaلhB@KkTˀG2HUb$"՝]s٠]+h2,YYONsBUYww3x')|j/r&FvW dq2D|W]AFAG.ʟk6)~# i`SEURDs&"@wǶZ(χYA.w?yO*?vsx?` J!y$Z R$xsN𰨂?<;HEs*tiK~v(Q>ٜK dJc{TRJSqQEgN!b=H< O}p 1[9oW%[c2Nzǒ9~Wi :bוÒz *DhI3I'CzT!o \s 7-7R!d;.[sLEsweY.)10~+2TnP!t;}ʄ] {^^LyԭnNO5\)nYTU6]7"tBYҁnQ׵ه#īdB8TOG.b&=|n0;R)O#wO9Ҳ>}w/qA'N(:XPKVZxhk(d])\0M)R&JjLQ/2̥~\Ig,fό }y+\{ĺxi!MF;Oee /r0rR Ojf#߁ѝM~_Q1V <TZQɨ ^ LuqEq#W+;'hnd{E]%fHr!%aT<8yhP w3{K{ i0- Nc 6c2֣W! ƝѴ9i%p㠡E%WZp C>NΧ{P` .B;S>Lf@lU~۹tB[/ h֮ΪO \DlⒾL­|2r7.O%apd&{8!R(LYظvb|S%Rè@(yw=s=UCۀ$|Qb"' V0 bOa(\0x^NEW`ZO`lDTel)z_B|[{Bq <"OMZg/D&[@)nH%V"2w R@MC hʲO9yCY{{o׸|#NDX!);9&*cTqA\Hanj]cX y;'Gd(cÀ m[#وzispd' zd8IDI5[dJ+ XGV{/OŮ)xgĂʆЛ:`V} _u\v^zVMQT ېQ擈ׁY ׊aiSZE Ӿk[>Cͤ$"DDrQ0(O—Suwqdf^xC>)KxY/dÆ,us{Hu4:$o\RQ}+_ϱ@Iz q&άn=f|m4Qʣz#tOwp{c܎nIҧQ@~N3~$eJG3x OT18eNl)Y^deJ>.R%F=OZ#zbqrSU\ו w1ѱ6 v eT|u wkΰ"BwCUvåځc EѴ~A`~$1c]-js*T9+x? %%h[W[U>HgT(0C}SjI @BUe@LF;Cb'-Rxa,MdK1CnZzWmFGsw1>/OARnWq8n=:@cs{ya77Z !ٛ]+R,[ %=tK!X#pdr;^>E;6е#zRvOm.f'K >[[)@ =G :d=LE~EVKEe5VjڕQ@>#VsA8F|#D6TDz;K7Wj՟%P8PRۀ,V7'8~qu  %3Ư'yM?KȪMoO6rN9\h.4xְf:.)PQ f.7\z͙q:М ˞:*! -l׽У 25 %{`k3tٸjGie,H$xzRޚ s}N`A>*uџQ)U:]z4\g^IG,UA ;Eq,zx|k+ 9Ez"W=ᄓ*w/yi4^$w74ji|̋UkO/j@dBWV\ [TcA#pl5E"KyrNl&*TuZLM!Hp .f 't9Q8s_@ j'kt7 #Ǿx^)+al2@l=u2X嫴1pXzr BL(1 Jac*tZfU`2)mhKz}kq:zc@qs2#լ,#!:jǂU iR5㪊 kWџXE'urŷ̩RyF%x=m삦/E9|e)ƉHyn كt1yKͣ^{̂rtU{xIًF),:]L2YQ$Ǣ x*&kO f Ek$&;I'9*dy5:k3E=R՚|&ԜH`L uqa#=PĜȋ>܆5Uۙg~.!d6@ꅖdەo!SI,Ѯ/6b#~o؈)D K2)Q[l#>!@G *D:c/:/~/l/d#O9I寄HXfl쾈}@ Qϑm27[!<Ό# Ɂ iIť ?=F<'=ʁzd/&kp bwF{ԞeysE$6g~+w3':&*{GCj+$9F26ЅD ."l K,x&  ]w;tz܏5f7_x >և"7^^^XCj)f=g78~D^!ŕ%7*,)}x;şG ;WEA-sd:̤mvϕH+iu9)18~Үۡ޺@GvܴưNw0w3XFx3 {{`]a m'XV=kXS3~j0+]iy3.Lt59!mW,󜋁]",G*! | 1<$bߧ`fPuz$ŌTn;/2kW!)e (pFC!| p!Ԯ,$ jf" vkكUh>"Al-7q_Wz 2~o3:aX:.4ǿ}OVbv vT21[0l,#!$/kS{օ?S 2=WcsoCrԌB[8 <]*3]Iu օ4G>*EWO,4J@=DtR#gme2kaG>04 sPժ!|mzȥI4Q=Z@K.[ci׆#c|!3r.7Rv E:H g }) kndqA):H>z_7XD\=Py1&DzQT: R[=)$MDZ Z}AISv$9ێ(,^VUj:2@>þ0CCjL5pqGtRG3CWgAM?-7JUDG\'>SHnj#U7Mw0}Y'ugl y/`ɨhP*/'8gF褹6NnK65c&cev%oo@6Kj5>7*Zp_ZBu&sܺ-PrN604DYJ#Ry5:4zVL'n W6B-vWW7q?b"5YޮNh KqTOZ%FW8 y"ܫ At;ehFH# Rԅ qޗyD/0[}m@FH  0[ 2 f2aX{Ԍ5M?ܜ/G9]E|fnR--mķ5ć Jj=E,_I(pi_( f$-,efa8Zї-JDPD.yx-GR:1?khҍ~'dF\?_Z~勀GHADvW˷&2(pSQ[ `@|W㛵L` Z 2v:__KwOKMpBJ\jnqF dD+W!crX 1MoP0 [FGpWi77vRe&Sh(Z!8M .X0r-j/[Dy,!K}Y?Z|k= Wd !H-CM$лeװq z~M] ;R2J#ΪC[?5WϲFRC" sO}hO1ӵ^aJt<Bz47p:4 YZ$ThP|A)]Ibj'=Xq8@= -rn[H$]}-k9۔).1r3z/C,R/f6%O3s"TzCGLp~u~\p [YE t?Khj0G"͜P)r\s׍Ln?? doMfCL@=0; K-:Fؽt'96~wa6$wj="^T1u=/1[H\ENvk&YAUԯssudůlISa$F78 5pdŢ'sd 6#@&}~T[@{{; ITC lNVf:4#v{y$ZROO"zZ(۱gYZ QQ " 1?# $HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥z=[?Wΰ~at5T"#f`ҏXnbKX cǁt]%Ӻ= l^$n〦_a#]U6#F9 ; B8!(q+CE' _iX 6rJ޾w?9m Y0ћ1+oD**.|HѪ#"[ bFgt Sx' m{Y#ôYLu5KLYU I5F%">aT.D5F*ZA!# osTnm|9&: 2^QtB_ٱvquz (fc:@.vsLN_\^"Ns"΁]8i^Gy*P!WOY/D7ϴE.dzPAa) 8BF}:ìiԲvmϴY~𴢗 u<;41+hY0%h[Vu8s_N4e>HCUCRϯ3,^>ia{dX`:Ͼ!@֑^,@hR1l v_կ{NB\WX+,pDe+(1&k{@CLHKCS׺iEl<?^lX# If-~ dd;Xh5ꌕʌA)<6g:A̱o Tp?@ZV(`*XrhNJ`2'DujxTAZ\}ܑxYiC1dyt#Ho9ԺQ<"Cd.9q;qyu B.\CD)L{¹%R" -{q2x0Iybswn97pmonZ=-y*mJGu$9ltNb#Ku|Fr>Z|4OL#UicA!&~/GVPiLgK&;g;bM2d+}(q$vwS "2ǒJ[D5z(rIܯat PJ0EXT$5S 0a1z(f׵kS[V=78 =@2hLif"tjj5ɘi14"$1P!P]c8ZtڧGUV2-L/9#X_Nzr6XI:|L <~P/vj߿=}1W1#zz(.=8kDv'khEL*) L6OίԜC'[yͽe"1#UlF^"D6Բ+|ij}QGm C Icɭ 4$d5*bLY=ٸdtQuHqOA^,ZAX-|e_V h2W=2a@wf_GS;¦ѫ Hky :C@aN:xՋX&7*E/!T 7PUhvfdԹLx5IDZs#c4_/?=0l<\IH䙌d1\f4*5y? CQU,g)TkG$!І^LЖY֟`z]jՌ!Ra* j D$(~M̼w3ҧ v̛qQaQwq*)ghۭdYSʣڀ1WlT-F_\h4 Ex z6IF-@~KSNխ؉hX.f:ɢ{NdO%Ā6\6#3.z#|s@F?.VE:}L#n$,M8hN%RUPuRPZ Bӿd"9ʥ(ɹoLu_"Z(p`/*gASE alqcn2cx8z{<8A \_CءǓU0} o̘JlB , jfD!yL0Y.,~T "]1zYPΤ'UfjlFXTQÈ*hIC5nk< b8kB ais)k C kXr ʳ6ARgÕ> Fyڮg1CJY":d9v@>N&|]@oai (krXXC*'ͥhs ? FIwBSF[D@s۠l#9D^G֍Ёzd,9T~qnZVKϐt4fdv$Z[OdD3!VVXr3_Vs(ZRj@GƑ|.ÓNA cekcb+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! s ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy}YO ?k4I:32 ӞfbߧB'ԌWP-oʶ.5S9|$iE<jʤa_8Nb Gd9&f\ DȲQ`!~ ȷWIdhR1 iJn%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1?' ƨI d#3F*0 c^<^.e)Y% ~jcO_48;?Sv2˴2d^$- 5=cRKIF%; NaV^b53/-] m⍆5cY jSc g@P,O6VVXm-H}b&tP#&ȋ _vt5Pؾc*um<ӡCdQZj2\k^bA rǚoiU%qG 7 !u8>R-nuCۘ1D<[/b@!ܗF-[&NⒺz6uۍY~rkN+Wlmj6?h^RJҚ>\FRWt2bW }%"aY0dP%#SA1 v/Dg$JqPVՑ`#d&$~uz_Qѧ7;]*R{X9;\%Qɀax>ś 0cj]{F GQl:IhUQV79ō gUg]" PBƹ,wfՌβQuݦ dAj'=J}6=]\cqI+J c鳑RL\SW6 W;tj uT U;HB3-ra0<9'Ĩv`Koj'#_Jg59M rj=WJ1ɱhУ8aD>Ax.R DAW$XU52egxxu g_%4~ A]ڠL:?niDf Nh?4(c"(ֽ4wL@ZmsAA)>πt8ptjBD%^W]<^M/1ŮwN*.(O4I|C eUA_Nv4nzQ(KwntOeLM&onwa32*9QYmm`>6M9X}7B`aЯp?Ji]Vu|Us;b0l/xjL3n yG@NUo5n|,y| ~`323 yDWY_@wg96w/ ?m9$GћnrM"`pw OVb>-i۩=x=Y@y[*{'+ංEDgvH`dM6kvAkGX#EdBo ٴ %\>KHG>%*_M OW H|րD R S`+oOjG#zF]`"Idԯ=Ǥa\ tԬWhI}Ϡl ,BlPaE T K6R 6l'MąN@Hc5OɱܤseN =H4l4w{0|9ͅ6 vAI΃3rkqn$F| @MN)^Q Zf+d~W!nVkXĂP֖׺1VYoCI)5E?h V4yumf ~ߩQBa=[FmLgWFBZH'Qq _&c6mxK!!cfOR0f8R0 91TyhZ$4~) Nu޽أ+EQ?B)bs130$n)?UCwL N]!bJYV}VH8Ss8VrhdĈt2P i)0L72-/˜JuI#kư·=Yh)# uK03)ae<3#5la&S#A6W J"JJڙbZ_f]<:9ȮK67[,kO?梳`OO#QUjV O0Z:H 50jA@eQ]MWؔ?: S9=RI)E 9&CYt39.b{ >ί#.Jx=ɰ+;weCnlMdbPUJr~xX޵ wr.xoӲr=Nm|`S<7^SXD*n_ Jj6c5HGk+9ꏮ?ߧtQQm`+َaA;~w/L*r#D 7nM?0[ q>J/.ebNxp$ ci[rB&څWtcN O7!ѯ<L@&l 9 tԂS0Z_hv$;V:C nbE9N-RV:.v"`C% 51c!G>QuilJM\ ҇C3G,EjDtHSZ V IDt;M, 64K[rjD;@}/H<#Ae.Tj R 3C#*Oia亵yh X5XyN!7&;_6ւ4Oؽl&ϜbXSG"iDcM]>}VCwJ`)/Wf&*P/4[8\h QD*fڶqvBqKvXן;5 ( // Bvz{ļ\ڕoqwabomҎ bqv J~C,t5y骾9ؠVh=l ̑=ݙ.SLm@kq>D]Ap ']>dE6q g޵a l<3T٣  aʸ8 iF3*&e~O!RgsJ<$?)14U aX!7aV+:+esQ"!M^G(lzg߹碒/9yGZzXBdʎ;Ag\@KHAėRni#n%m=S0>{U{V:>@%VC-fkϤm)6a^5̖MMNLZ ?4vzeAu_8v*tɡ%-I`q WGä12R L9mlCI:) -2J`C!h'ġӘ4=!1RX^6Ra]Ӗ{:fOLrQ{}փ!B0҅8U82OU߅EL)Åx-y_1{}iKQalEHN8t Qph,DRMx/Ed4@^Cۧ#Z BmӾ p9O$,}wj aR>{f9D >jC ?>oe%33M |w]Kv=Lnz//n4ϋӿv <95ra'y .jh{56vSY注PeκTA^{i \J|td$PW|̓;mXq]ǡ JBh0D%jF>N@P7 u\厎;p̌kYd١` /Vڥ* aBQnM"Fvظ ! T͒;r)<]ŖN}}ɣ?RgMe*L5r̕E; a'N75e?lR"Ђ Q@SlzI"rZ2#O{o;@<7 0 Ve=\P243:,udYxm^A'3!K|@>fǿ]^Q/nf1$q4XҋJ6qB:'Dș ړ$*ȰUZ'Q*kLY|E@U%enQL>*a\-SO8 M(%h̀]`~CaJ(?@ ͨS٢q?tURS\$؊,} (13k-W4 HQp5ܲ*wC9y[Z7| MQIX=JNA˘j\~1)1Lu*X*u+ܓ 3:K`1륁2)2&ŶVOPtAxh Z7aW2_9h;$okzU{#>̓A^xCTF_ =",Loa'r.QUpV"""#x#k6R%hS'եY$JWAOz5c.V.Lm?߄kxPNХPy j^|% D5~F,P^M%Ӱ-ig^# ]DT\T T9X3zc _Ecxd +LZbEQ,)9Wxˁ Hq纗93J2=.@'|I#׋o_ൔ UU5:oD? 弡b'،2ޗdx}`Sѫ!sBLi6σHn 鐽V}&2EϝW`7 &4앟bR]E/3wtO+哝jʾ&|Q]m$(}gE__T(& O^7˂REX>p8A]xP_D ISlo/TL0h !w 8GkmH33_ bܧK_oƳ-WUx݃yvVs&d"A_%_84U<̎nD&yeֈ16|^ω{97,ԫ56pRյ\N嫴D*C7y UE\r `8IIse2 VD)2oIRqc{gxFD;"qsA_|g?Q {\?eb2zr.%e۟D}@_2 m5o*Ӿx]ZQ|U{y~210-s+]z=0uJg5LqGY>hUM ϩyr=M `5vunX҉eU7 fe$DRZ%s ˲{t'>zyb *< 4ټ.|t摎>e˜3W71T>?9 F^s]y-ASiӇKzATL-xfj?zFS ?oXIU x^QFrh]R/YxՋvdA*ܼM]~yuMM|{0kϷrv2aڼQ"UEZqYj\4Anb0h->ә(y)1dn BwCZ`g~π)n>휷NI;[^]p9߆<e^ qLPtDݡ)dNEJi P"[`3Fē::6[܂1h{ yj&@?% h.hKa7b'Z] V7@1sڶPx=-2PR|߱ .\=Uљ=I,UG!9J<ӥI İeNRs "{15XG=X9dY$]YRݎ+K_١/nAa <^[S ȖkNS'O.EǍ18F?mB^E &> EZqRBr1qm!5TImmŔ?]PEcYP=SjS7^d`{o/XRP?^a|#+rd^z)Ps/F_J8?˷HjФ5ZB'Ȥ?=N匭I4`kF/d7""HztYr aE+M:bR !nPDp w#1" k=FvMh^bv;<=^Pסnߔ"!?.GpnY1]2 G+*}@YAΠSv@XoY]b͚ujEŐL+ x+c ?d>@*:w/Yn&wY\LxZd8~O(pi$زD' $2]$7Ћ4zMfݨ ܝI1 T)i1zu1NO#he9z끰EVÓܛE$I~<'? ۦ~H{c4ӬphWsЊׯ~hyݧ|HتkSA;RCAag.Bxeo`.[4 cNC4`2 )fc^#,rU=]Nd4`pW]8SJT{7(;)H=sZ*T(0k&_X^}m!QB)nmڶz4z޻YdauiV)C̓ޙ1ƽ 2N1`J>(vCg Zl&6^7Ng["Rۈ'3y&N+3JPաFH4*%-9mO7-m’&g׳#RZMGd_ 9̠K@Ob.7b)Rl{g̜hF>-VEٚѮ/{)sB7 l2|WBb*@A')dxA|>P?Y/p:Ȳ38'ؙgF;7 ;{fO D>R/ AOc ?_`59si{ bc,- *(R1z yexo"_ߣvοK?+U- S^Zr:}>j۲d =LؘL@Y}'- W}{N8rZ!HHzr)k*D IFUhYY Թl= S㶀!mհYy}ĠĈ` a ,5%37>XHpHV2`H?mgyGYH7;݂3sF_zZK,ܡҎ9 lM+_aKH$Q*Ʊj~/aMvhzuP ɛ,|z FOLB߫^L6Нz:ߞWc`lJbd+}쳽vQ#vF^8fȼu!=Z49%%5| #>hZ}8dl'kΘ[G\x ;F֞ ^!f{cԜYནu~Y#-˼l38VJQ.`-Hke"Ӳ s0h&nG6a3BPGtJ/FAh0ӡ}pI?Rқ`:HS%"Cjc'6|) p(_L0Q5ce~:t(գG{t`R6tL1>aD.N"+C` jk ϗQ s;EHY#-!EODo%(_V͆$B,T- XiIͰ'x)nm$9k%LlJ>]P 5rmL}tbU 3C Jy3xThKpS{pHzkfD|CV$;ZJ5dA6G\2QG9]$v+t-LCvM#wR_G=5 _2^NrA{xx['zQ6 2Ð^<|HY1e`!|iY̔!H!OWs[`NjĐ/ΔӣԣltťXar&~[jy SPߍ򃣽sKqYx:(3ȭb obj ںϡ$\^A6VJ㮫<%Kl+|԰y&zy.Ǒ &\e71/((װ<|c79bx ΂§cnO#ҢH!$z=K.EnMA;uz஍ﮫ]o#Xp&ECAiR[3t6LMLX ٤ym37-2_E\u(s9R9X͌aoݳD%x )/HL#Y}7[P㻝{= 0✁D`́ci(H"z"#46Q߼Uy(3sTBێyœ? '}9ims-120}5u&})m?h,?.ﱽ=jvj/Vz$ka&4 @6%}qoUĪ $Ab`ގ4qŋ9W8IGˤA|hVtoKbQP'DSՄ"ȥ@j>ߵ$܀~Smv[l zǩd}-wr*.ۄCK|u1<5ȃzܡKT$޳Ȫ?Wdw`9ƒ۷gZ0]jL2<Q|MCLZ qF*W$nYGuZ3pub%q¨U=#3'xu="Qr2 ?Cm˛s{2]O'#vVB6tSU}jW3` 9'͘T[ x}LH] @Pi%"xDVͻiʟq%h\ g~i<#b_:eQG/+X8g`X]+Mr(Z" e>(44z>d|]\]mhmZTIޫ#課 _'jC?Tv6` m/c´DԪuPs3suF<ö89rDKJc*8y&u0:W",E1}:7Hv~'1l_iр $s&d"oW)#, #dU% 38"XY5}$Kc(72c@#zm xu‘lBrWD} VBzA|`!:Vp|Y4%4Zy')sT!m斯6;dr \~ouUA4UB!>ᗨmm ${,f7ϜR7YWU*ka4h$OoE$/A|͒oA+GN3{rC[FtԅGJ`ޮ厹54lMCFҴ "aDqYwiz-VG|NZj 2gͼ)5g F%n}33)FPT4T9~KXaE@D)%U:^F%o9ZQ7fwmBJ|QPSU r4Uϡio 6 PWO'#J)#SHU֓`o׆5@G,gwWKޛjrXEI3?qa v"P3] !Ǐhe| -40~,s-uRp\M;&ˣG}=jn2H2 \SZxIYgx!rkflMZ8vPd1RgR"ܕW*cY*pi+=-jm{l UE=@Z?XQ<%nI$龉KA234%-"sOV]•ۿg#.L\|w'P[iQ##)Ч,Xc6 %AÞgYZN)F礯{ U | _YUa:Si]8GO&o}|Y<߬xUkAKZEd " g$ P0(bI(ta(O- jgANfeS\agTSRkUs'5璝1J@|OM쯮YsX鰊}YzRT@2QnD ?d qӳȽQjCt'}ՊLíT~̈88m<S}^q Z e3u&ϴ G`q~Bٌr _|wsp̢0nجe9$iY!Faz`YW*GN7F9; ɦ:t0e֖?qX7{U&8}[Eȵ°oj\rpcK SlE,.i- nVJy<5)#x{R|;G(=A J= [bWr;+a&&HE4D)'4prN,BW: |lDu4r/pE<c1FѕLiE(-X0k <` 7hβ[(7+⛴9̀j '*Ȫ[Ik-I$#àXW3S,8N Btlw0mkS%c@J\J#CJY88?$G1X[MH-ScqǬ8_S_tJͿg]`Q 7EqQS 10Jz;!<@0hN4uVRpP\W's?/n!I<^M\z)o[_ؑ2X\XD9_&jZN[ ־Xذlx28cWkߟkv+&x^>(Y }v\' KU: a //&? -mKcZeˊ)hpWUѬOe͎n(DLd1Zv5#I8m1?_yO^,\f1 4.L❈Y/Ǜk.~JXh z\:kD6k/GwHuG|"2vu.U,"a[6%hj-BmsnnE<~c6b蔴F̲{LrhgbOa.$.i?En1S#fAB?[_cNJ)2*|acF^ +(` *1Fq!f%)D$žPِ]>Ōxh?m:_i$vR&Z$N 9(y6ȸX3 ֵ+%  2 [5_m'\T!/r]tȁ7gu3^iQ`Z ]o-[BeBP\hiQ:'^lIJ&f"*o$^}`$No`yߝ"}ؔWYb}.&߹A)l𲕡Vq^@ɨt}AxqZOk|nnC-pu5,%͇\Lr_G=f͓Vzi D |)8tK'i-|6_%@5"5G{&qTlW.?J6IU8L&D[2=c!-{HN'F$k Q%\pk&dY:cvE{ 1mT={`VS[ =JT6&c }v5%6U9=XaI[N>NfmF.wdƓ#+ĈL _|W'-\0dffU'&T"4BJr7^A0e*Ԃ'؉2%*"9A+Ɛ}$cMG ,niBk,J/W0ywڲ!R9M?M"i^Kȓ%r|Ϭ2\$Gu6VW/.uJu ?ꅲQe?ًHdȧ}G-$KQҥɹfyF !]Qk%2:vտ@j<;OO@[Kx$GP_pE+w^)` [;v!W3טg@ہ(O0 9jԼƹlkwM!Ecp|@_;'۟XbO/tL]B%o BL(9HW-\$Z@s/PIEJE yZvtˣ :wlZ gtS?= S\_lN7MҨ|5mf .ܭIʂ{7>A%wJR*~]]g`WX׸O̶?i{bd=0QOj jO]H붞t~)\N/-^j9Ap kD'B;{{:_ Ṯ;-N i{mh&)jkCdtYSvg8 XOZkB rk@5T}Z` hCcNh$ S] `W@Up:0@vY@PqvWJT ƊHЭX uM{hXD1[' VJP Z`@mQkg&r|fkvI&Lun)+$OrT#s2Mq4+;At~m4Ba(NV$xF]zi֘$9Yຎrjm.^GayW+1';u8lA󶩑އ%rppK FzW[tt[jCW!7/Zv^Ձ*0gx,IFS=db.л*|T"a5_}ca }킖*Vفbb(Yb9*aOz?3o EҒ5[3{-~loOj8kUJr&W"ҰMj-'D|327_;/h2 .XfʊXg꟧cP&"c5]3a<-4[ldF1iRº_RE|Kx R@?qj\|<`>߄ߑ-rDjo!S3 /D{RQQupoz-qm|h+XL.)Ժ+K`ЙDX#5c^w:SΛvD"`!qbR x0KpSεCрQw7W$E~~BOv1%E;Ű[4Lى&Bje^Z+N\,0Qf__cKQld΃6x[l1kp }Bpm ];JnAV Denu"E}5l uKa$ l+ͽDIJHdVfiA",O, 5+d}"'{eu5/hr;3dsP_Ta A@? (j@,'vD-3f&P?<*ų87BGE&*bhjqsו(X߭J) q_Ca!N\sO˿wzgD8 'u9h R)u3wШ#88ds^K7l_vO"Xr_h lvaon fE#@F#@2N(C%iin \ ]؎y4vvX\C)Ed_gz C'`[J)t=#to]^*zg}6ȁ:iKPhBM ) < uρCr])'#Ps( eg+2"2b㑅ʯeE&⦞RI4/>"Zo$#EVj(9 ,kLxۼBD܊lJho>[ 'zlg[O`iTEYXK2wh\heUgwO S%}-T韯[߸|ҥ\tC_l~gY:%hBOָ{5P.4KW),۱aK K;Z).O/t~j+l,6t8kW_S6 =Tc; D5 Gxw8T:YND\|a7 $3LHo¦EnT8 0ͻC.!hGЫT);0)Qߕ@f2˝(ˎ 6n>rs&e1;9sgl3k. s> RIlGx xL.ْDg[zw)M-=)Gݬ]\L?%PTz<s] ù}bڱRr#'zf'grd+R1zƉ^Oa>JC^pm·`.n|ɆG}݃8u.`ּ|\StX7Gh7{)',b8]=|}=RPWߝ2"8rƠd7,Vj[V]_ G7GP=&eEIy'A1a֡ՃVg *[D]]}v dֶD?aHm!qnuUPD] Wwm&yLY G{4 U}O,IS.Lh Pt[Zј r)ۼLE}!}S*6@rE7GvPR0폼55P)`j8h8hl2]:=]lI0'^p-qϱ#9Of`ȧN<_NH{U,YVMYq _)A6FŠLg?MUNq)lBMH;EA*z=r"*`

ȷ>Kpkx @4 /&&Sq*o%a 0 ٹYӚPiM֌ [n*`OuyV*oyTb5%I~b(K%( s)q?ޭ\E>E1{l8y$+sEgG/Q;tY@0{JsÕvAWr]#Bk~[ hM'0h~k9sV:_hdR8pU&K.ƣ{uʆTn Z'nwum21k)MQ>ڴVMJ풓H`íkz xCT|FZE䐈Ux~#jT6h4B\]kNJ=2mSd.XK8ߪc4;d^?pzr]X HD)8L荵g(N ŋ~ڂj}uaa ҐZW5v<țLܹݙ6ҲlE2@A籙,@hUGFTZ//PNI܍wSõ+a`0T:97KtyiFrx,eڬH֚>T--e*olgz EH;&|w{QQ{W{- ĐS }lj<&1J$-=ac>{lѢ##gu-av-ܴf@Q,0ڹCMx_I&J=\ޮ}I*A C%QFõsd>p'+ v}eEPq]ዐ-=ŹRNu\yT J`tB]=A]#MpP̰M|_UyiMx}pr8rL"T!@ʶUi0{hDn[*Cy S۵QL=LW$չ,MPn#.2/^.Wϑ*z 6NWPq F'wy&3׸'ܽ KO?luSL>%\ $G.u@]rKT.P 7nyq skZ_>hَoG`BFg̦:]=1N|h2?+29 mZYr1a:!Qѭ>ǼA_O?ACȾ{ /8R&R:;~VD8SW+)ǣq5Qa:ҫ$ vkCi- "T5W?00n?SEfU`6rC7E^լIT_g1Ff=1;Er6*g69WNݬ<22S'B(dYK%v,g>Gݠ}nos0jr>l0@ I sqlj)2^ƽ *fT|:e[[s}L? N:f=+k)|‘Ϗ?ט7Q:hX'*$o@Q 6K6EPɥbFȕ[bQM"cNEB +K,C9pWXWzj3+x/Y*iO \26EP"pҎAJ&4Qy$w6-]C#v.}6¼wa#rKa=E|æKO^/.>YVw?KX]] 5G{&[%3He摹v,gUVf96w XЛEڱ\{۳T/90.@O?{[OOi]UMk'ɛO:QfXzu;CJhM߱Nvq&3;diToƸQ&5=59wH_76t6ġc P's~_e` G5>(ЏCE ۵c\?eYMkX:~4 ?b45^/ꖡ`|UB`Ōhn0XIJ1o&և+`uXV1ºJ;a.6떘 sK-ӳB :tFE&_EyG\`0LU Ḛ̇}W~ѐ^[]=ՖcHDT Ğsi"Mwl 昱rΙu¶]AL^ Va%LuZ\ZN+/ s`'ZԀLJn"\$mnVاjR^l(jHRIb}*1 cC ΐ=xQ"M^L'E}Bi$ I=R*Ѝo\J8?%$AȈ/6R J01~DAlsl8g  ъgKg ""y"j;S`I%, "4Hj s%ߐ&ES<91`r&"ժ읃7~+ƿKWr'\\W1KȐ`GaOP^Rxq+D,пgQ\LZm~"~Faˉ_ HpbPaѴbo ;>A-&EGH*r0HH9W 6#u"phP;jQRjBfƘ2-$'sbxl]-~*ӊ14ō٧NBk$ج<PwaͩuI/߰ = dKC#@@uE[]LN\b]KPPИa&z/ gziFL6Lhn%\Lل )W]' %b u{@vS13j%0NIe:hM{0](QkqƓOr.`ŤyD8IxiNOSZA{ 38AʼnsFǟB,IWa ٸ3g{?5 3B:h\IB0|٩hলb,hK_p]r7lF N)v=M8|9M짉Ydd!!9HHb`lɯt7ۍΐԎ>ڊaY0hImllFNdž'姨XN}8߬sؒ{N6c䋾Ҩ06G8U+ehF *&M|>=Ҧ˖A6)`~ _#e[/G4z2[xV+bNTQ֌&ȸWƫifdd%9$:0rv7=GfPK(?5]O}tZeA_qH2`!3hA~ggMnzDdRŮGP-62f}4%=7 aa7-AgRwX/tyh3 LZnB}hu,0∧w7\a)&| t:LENRc%Qg޵WF@I.5AG-åYճre m6Px|]){zhta H/ kRqA:`8 .d9GpJ%̡j0D(05<6 $3_AkVUC;T"",4uJdeB!3b$3+lj(IX;Gn!ЀLU+ Hg}SF?b6Oyx4ZO͇p)! *,14h0д n26cO=NRChМgQ 礲X";d)E.ʫ-aaE'e>?"\ gcif),J9,dh KaST Lt&_2xG -%,@f׵'kNl)ivQ,Y;Cc–%܆JA0? Ah{M ȃZdO"j[XѽBJ9݌OP]&*}2 ,b\PccYS 3t֡9yZ#Ddh%td," CX@|P'j9޲=V)Y p&G_hEƲQlG<9ELߑ G(Cٜlg(`fu…1QpɊ?ʽQ<[kK}K/7l:qƤ/c$]foyvj)imvEOFŝ? r'**W /'|Y1 A%| :5WY؄8f?ILo$߾H#Hb VkiwB,r AbDR*^p@~!xAπ퐪KE/XE$ 4z;˛^ :=YjB r)6l#Fc:S]_$*ZBS%V(5eiVv! ̜.yDm}--sFb?|tq3g3ha0YAh~҈_V.] Z1ND ydYi'b&/}_^Yf=K;ÝGCRldEJP0#6lp\Wn/\ڙӃHy,JDVm&R™?N=3ϻ. Ks<n MNoCI'}h̭.tM%7 F~|ɍ{m E oqj=): .%#~'Hogk7ֵOTvhmzLdrYb[ڇ(x~LvE 2)Z(*XPb?4OPQ |# ?xP\jg8MYN~8KPBY[:l7W2LK^jNU[5p ~w aPM%0]yը/RM!B1nr&1F)Bx% ?=L&ghy-w:S"p1t^Z?'-2Ћ#}zn^I< A,o#&;r..٘ IښMĹ3w<:PJ%I A7!xa@E+aW[B3 Ŷ;ćU(BnW{!^?+|n-rcw%+/\^(x}O'>MjXCK 9PGTNr`ctbO/cJj\z8OI;XMtWi"OUa큎{&ztfYܠ caXz1c[MѷU!Y;n%=!u< 9heG~>NO RιC FtaZI+gO' W+鈒$%rN]?rgʾ4hhw犼:?S?|;;u.NWZuz~!}8]@*QȌtׄG3{OfR*if\=]D1,K|Y հRO:1XO=t4-1mC4u?4Jה~/Hj%Q!`t6*B]X3'"4 }z:`5pM'uHz/f#~c+ƣ!vDvٓX=lNO}LJgdm~l֡!@jz'T'uw"Q]= x(MG`rڤb(x.h%I`Qj@QhMZJvj1( 7"\ :m/ A,GBV!I2vWbҟy񯺑tnq],'D!W7[}3PT\<1SsC+Xۥ.x-FHhOCwnф`O8;wöp=8̼ab{Y ͞` _ YQ" I9d-bs4aN+Q8]L1w}{T׍;Y.;\EhH}bFr=s6zvWӏWpY43X;X{=>)`;USe#œSźpZ׏E{E2/}}F@nȎZdM0 3Q%(,OOB#w}? q lV񁉽]#+_;9@(7f,K<6rR,% G 2 W 3ByB.s)<`U!hݐUn?A(8>X;՚+,O`º d"E%W-gqvrMs2l56mV٬"ton?M 3GW/qLXa?[}jnGW>n⡞z[\Ҁ)ĩƹA.u>*,X2Υn$$W(f*:^楖TƠ>ÞPvn7 #5vWf"=5FfrRߜQ8 I*fLHP?ml42{5H ftRNTi ](Dڜж=0lFۜ/_LU~V!wb]I7VQ?3\L7~YWpD&'p"m&T/<ѐ@֚/8ސ/أC5LP 5IwG?$'TA݉Z}ѕNxvYΩ:wE8TqT?L="fOX ϟžY!JӬi YfZ IZߐ,\<]WQ߲hoHNWq'OsLh6q ]DO,~*`%ߠԮT곓w=j}QpAϼR LT4wj.IB9wF`W. #F{7Jjo [VIl7WrF%>AQ"浂r[3 4|]۲$"5핮2Q8U72A4! \5% k] ͂Gmx##)2+:y_qڔkWsHixѠޡƋ@i誂/"S=fT &QH].7ND0IE!yF_d `5kV$%yƒ?k fΙ(;QACŅڇj 5@jVy(/5fpwmֺxu׵XWΟ'b@ ^RO[z&g4SLpV}S8T|E']P ߩpFZChDŽ{İumV]TWעyO};#};m8J5Ta8>„[+[oϧdۭ-,=%Ɠ*2.B(c@a l&,cmȯx$d>1Ψ'9Dx,Zu4mhk#RGϦs"`,2(G6Nܜd仹\FÔάJQLVN%D 2p%2N,ޥjW}pz%sAMƦ%=*X!؃}W*Py3gS#S&4嬩V~nVe(9.5 oF4cS¶P.CYDE> &2 7,#{ NӫWj|&EJ}fgS +JBoK*p%fz0:/L,; _=3c-LqG5+`WꎰLńpV iT*wwAA#Kq]/lPza)jߟPC.U+ȬbC@[:3ηnf5XQ Srl^a2:Ji0?$//4U>b\Qp4QCŴ(v Ďc2 V&; }5>PsXϚSׂNR61sgYZ -|-M.1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id536-1A' 4HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z{ON%>~j130ƜB6T"]$^th4kޛFHJ`AyqƬRB>$SOy;qp>Buz-Ƞ# (d푂E7T#|nkMTwQiVa1:|&ZْAL0v^.pLsPZyհٜ郫gkP} Rl1j̈9x\̢8Yz/ԖBEu2Qhzݚ(\bw6Ud{w+fkf1RE!(TCn8!Z=jZMVLh߯z l=v'U>6XD|<4'#%A(QeRYrq.NS-aéXiա26^2OnfOSМdXGS,&j`Ťe&0,}TK9R/15*|Y2|C<.d֝7^Vs\xؠT"(:"O[}/!`4Q"މ@/b] YLZo8uG_tlݖG{Bk|v:>aDl@-v?M9~?l5l!(rX$>*gx6}.-8Z)1W%o%D<O =J( b'#a*(C Llkx{1w%; @} sfN7 ^Owk5/?ϡR,Z#]?M*o kK%KBϭBt,E Po 7BD%0 / $C̹$Н7 +rr_^oIo߃@ N'ӌdvV1qK>I>ŻC*cau%i(CfaE$( 6KM(^tGI9kRU9?e(V$E D_ngYZP, 1A# ,HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"3Mά#>T?@ ˖xE7Q]4iZΘȈH205 XwLxv7'+@Dys * L\yX2n麫ug: Pڴv=۝x}b7 N ;h=˅s!RMAQ\KG`}&`K8 %{s?-ᱪnO=7^DB gty>Ԩv dI9v>PQGBv5d~A4G!$:&ܓC4̉$CxǬ+!ًya ԍh?y |8lӀpaۿ=¢%lCD+|W2 ;hxcXRMnߧ@LháC N}nˣDEs-%DdO'GY.vCy"/S?۾:ֵ ۙw {T ;taJlQDMt8SUfzaІޭfn(X=~adYj!ǐФ,fB2Ԉde R5'l^qoFtO; 8 b{ qMj"lC.E$*!&n} zzjSэ D1C#\s9ZX6qێ]j?%fr!&>cb1\?8 tf8|? Zu4bQs~^$_kraSZǽ~;S]STfrL`ghlwa>j:>Wy;T iO+lɻ~&~SҊ9q TCۢLǧvlpcJO;2.(/.l(v7* G#(O_ZA{)x ,gIh"@#NKO[+J S9bRESaaҋ%Muӵgcvhh+ʒdYwp[lZҕI6AEG{=LP͈`1.ݽHrQ izXN&eo EkTB QY,Z}#J`ͱ=qdd$y?-jc?dotl[܍-PD5vORwo֙Pۉԟ_; D{VL!+B/K-"̇-02bS5֡/X%ĬTOw'@'Rdx6hy~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7J1 MS'0&\3̤, spnF/Up_nπ2o#Pɓ[,J8bӇp,i%h]1hD{%ޙټR'Q\ƥ$8S4H -#yf,)h#[f.i,A=PF 63=YeB2~8ۂ$I|/<'{wE&)N@w wjmvTb.ͅr(dtRՌZڳ^ۀaM6}4rk"l*hR}?QT OddNª&8ҞCu5 pT0`<d>"]1jlt? VW_-+TZC^. |NFhc5.4=ʙM &.dCQ"/=ȹy!IW Sy_iyVYrz|ڭbxly@ 3Ͻ]"p0ۥ,+>˝E+5:G\Ph5,K/J_KL)&Ν#y p{]qG&UlCp]W%{A$į.4yIc9хFl3ѓldwp4|q9ܹ _T˾oC >q0Of@~yf?D7svK9їi @]asEw!Eī87Whi,p51oǎa]tł3Dԋ!1WHsf> &O&m}[sU|MLSxPr6Q.k4)^\"m–RegN?;c\ 5)]B-zӅ(T&rF.%<{CmZUeG=Ufy$,xpb"$g P2"=8݂5qJcLnΏ_"bl_.̚~!V=|cJT4I"Q|KR;lP/hTp/1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyBH5jݪ{T%/$XQX/:E#_9Xخdht 0}cRo \Fv ϭNN 2|ƿ,8=l6T &-Fr+13t@sN?(M w?]i(^4q0p Fy18?ъg/dxp.NjYf9a&K0[jl> |I]c2i_ ·cwau&*gT.!O>ISnᄖ))`h;['nJ0ObǍ9_feN@f Fl!F+ ZHaejXPwB0 23XcTwX"1koõaxtl7y3j w*>O &KZTMa;c}`,cT_XSx>G xrԸ`u1xζ:;tMw8[ؙ$}ۏQ33;sGY>:PGub(D$$|BYE'!7Ki)6Xb| Ok3hXQu7pħ'#h!)[{%PC/S-w(ǎ}˳W|_"ݮ NyM]2h! t\d4ИjΧ1o@U~#x;n@ +ݤ\̚}IpP|Խ"3)AHx}J1:E0"8\ ujR&Fa$DEQ~KCjq%Ap)rPZ^`(#udjyTʰx[Cy~VI2̴j- UQ%IA[8JH<1 [T38"rGN%*\P1}Et9(6X2\mDIU/mmCю]\v򘄿RWnRw_&~DsR'5EL6yבn#S {!B@Xm]Ị*yHEJ1' LHlh\1>,x*Yc)$_UF E? ƞL^-Y=NdV.oZ/\]ԴC1񕹿9 h&.syav;Υsa4D"hDA "DuBtO:c#4Oh9X6ڹSQ;,9 'ѡ%<Qy!9+W*ʘ-LFa l\ 9>Vcx_%Z ^'0cD(+ݓNl|o^};iA mX\OŔ i[;^ ,LzxAr狘pco'bR32!eZU( ^"9j\!iZL|GXr^f}&Nցy0Ӿ_׹7MeEetSG-}YXW 9KO>ՑXb &P#TXdUpZV]kVڱw+rėo%&.,7ms60%_ĦqԬ~}Hb'4$trX})ޅ2ZJ挻HN{3P~fb]OWyX˵u6.$]DӖ wO@B'&=pલmKɞ5~Ŭ%uF`8擑,+XsZһt6(R?d;MB:b*]a%!x҆V|]`oV2Zl4Yё;p9mӿw{lar5a^dmgH&4ʬFX r [-> $$ Da.=eUk>QI\Bq˻_ q0n>ӎegwR%+ l:GnY0n#M d'r.6-pK*qu L /A'T}1Gvw.>uHLOCSYodyp{, 2;˲&rM N9]xU~(=y Mη9 Ceqzcby 94/gYZ *31O# THOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 10/|L18k*>~H&^#OMamdI";E30UDb7>TDv,r{aϺ&TnTȰe˚nsGbPk^ zM2ŏE+> ć&?!mD Ykɠꗼ{t~-)7g@һmY0XBCo6˝d% Wƀ2a16=EрP84Edm(0IzLsq`ѧ#05N5%]~΂(Uմ]UI}N^v),.J8{qCz3/ c1=XC16Φؑ/Fz[ڣJcop1bh0yNfU,N. RѨc'LLf].Q*2g+BB?h򽌌mC&lb]lUM]X2@ȳY4EYQC51.p&RnyyUzUUVov F\cg[{t./;GBXXk c8E/5U ;%k칶 4Y2auX=#11t1iݳGM>;{䬺H$4Br'Y?XspkcP(R)1|ŇvdNK!=XI+P WzZ=$glBxY)Ɖ[$lTciL8ۚDz[O=~}%d0b)qB)A]NcHPY3 sru6:x{}MXMf4q~b"#E;N_F&]dpϒQo>GVX׉^cg ,Mm-ŏcU4ۛ0gϡAr4-5G癥C 4/'ΌF='1ՃBPfOؠByS>(mB횆hV4p#H*P#n[Th}>ОGV {Udl)}&TM1L3ؾ(#Bu08kNrs.&eh͈ou(JF|X ]Ӭ$4eQ˿~Hk wYs^) + GJDC[OoG/OsԬ4,o ]Q1{%|9 (}9ۛK>+ X x +9@T!H)SK?TRƻ0Rtn?T_"4q wPbrc$쨝;/3+cBoТU_D/6ox;ٕ\g崅b]D륮uN#75[G`k܅kl`3 !(8ӷi+(,d~ ^^p½ϿA<ﳱBC!ބJ?}*J,Bwju=ٞ ]Z=U|gV٤YEb~ 5uq0 5ksoJ+,{ _jŏk)7 w-R!#c2;Pm^v0m` Γ@ 9idh8E*Y3nvHHfA2i/³zM?o+-T0 i "mQ( xVJJHpZ^g&e\G1f9EUcΈ$J*eC!ޅ!:ÝkP+¢}ҷtajW Fa cVPxVW C݀aM 8xRw𥼟+C CPg?L<)݈NElvaBB+jjur q:'!̂h59zbfь x0|fk_T^y!.ŵHd\eqDFMyWj!/ؔ2E"aCy0 't}R(BF.R T\rwPpiwb 1'M SgYZ a fa81;' DHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages7zXZִF! ]·Iq n[:|&[z{OƩ"?`[AƘ{/SaIFkMKRsS#Rɥmݰ5LHWJdCZ=NF8wcELw% :8$kK{H>M#kLۉ1,Ξ2oӏT>n9 }T*s45ҟH+ V:X+PbJi!"B#IOAb; \VJ$n$s_7mጦDxXn#-6렝!|烍pCp8\mG͓w,KM :4Ggnw H9/IˇpPе‰.vss_W{ /DP5ΩlPqDM:M4:f6/B.(EMV*<P,{c~SA.gCB"G; נ5`1[xQx|' Re@역?cXj`)Ҭ/H%O!UUPZA gYZY7 1;# DHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-?ҨjetGBi)WL~LvC/ױu[j}oTc۔[rOQق{ ת1ՊU}G5BFfH,\J[M+IdzuFt ]ߤNrgS>IX zuvH 2]Ґsϋ.p38~#ߗ-qN֡vJ`)Diz3$$y?ݏeTkgrqُnpGIZB Y2oY?sÔ +"GaiS)58=*gBԓ:hT=].G?:G~ m4tZ? % ҫ@/ZL nR 1 L;iA"˱`IS\Fuf]8֦[9\k@ww]wuodO KH?Ë6,kahz ĕfL+,\qYF;.[:trmȞ;;H 9{ hCP* # MvtD[w1}Ӛ?>*0])QkrϿ) 6$JsR"Zk|)L2'EPҬMz2J Y5ZG/_ulp(=Pm}Je;HWP1/BU~8KbNI>,AUuu̗(CJ+}J <+Qx ZK4w&j &TTsyg3w.R /{Y)v p}*HkmG^$Bkf>(y(}~OpGj`=>v^@E]}`yV(*%PڟmU}i[lF.IQ?`@re)NEP[B| in=!2sA+L^de7%}Fq`-1knLzRED_h+f%AdjyY328.+`T|䀸`tHPσ| G1!Tpo&0 AC5v߫_ {zx/2X3v-L؁{_H<v]uRm gYZX&S?yH(f+dJXx?gw#Y~%jReº u PRIQt{;tBiѽf}6i$n?>=2x 2Q,Sb tXw:5ɢO r:˺\/ kߌ q hsɅj8Kj.|oZ@ty@2PpLZ ޶в& %fVl+mx]Cq6g=5Yt$ߐ$^)G 4jS0i+TFR⟱=oSHm2P߽Tv (X8ӵJj9&,#D$Q'NII,Ttk0csAѣ8 yF Yqn8Y8Pi׀* j3u$f91N\\& Y쵗IN;^X0ՇC?yiblvx.OK~w7oWOb&ގbłCE6fdzS;2r9\w f#"hh$ܒz?_ӏI\9X$r`12rP'H9Gt1uVIH7MIi=q~!u[s!(S 'f}$p'' w.n?4`&W؊WQB2(uO06Gt>bɶIU܆_~D !"i,-*V@-[O#8k@zl'Jb͇ ;F1ZwORxps8#rGp+=?.w?/ah^LQJ+ \"tnF)`!w7ܿt#Ub LEv }q# B04SׯA(!vtfd-6Q?@p;dt|Sdn3ID[nbz+4 &jgup*O.?inji _b퇟u_sTR3 | I U"O's_ MINH`: GyV #4 3Iy$4Vri?eJ;LS3&Ha?#|oRq]L P;hy+XmLրi|M)&CQ4I]h2 nΪN!ă{k)lk}JfwVl~7h"|)jDH_n \V)xi@ $M2ӊ2$' U,xbt ,v2%J5=uA1/Ep Bb7&{_kH r8jKC?b3 _ 9nߤ6GqvMF e!I%QHyБ)ZJ+{!Ƀb?\az8`.p:( AB}v;~2>(F 5Ge,x()!xpHL!l>WtvUᵈbUj'5Ukjfc/z5#i ]wԋ90hK$M"A(Ԯ)8q|>8An[LHS>p]5[~Ҧ-JhSO H:93߻V*3!J|CA [lʗK lg\MJ} dR\pwٕ#r x(I{xb!~EKzyawT_c*@D+GKyC]fk;xC9*+LgQ;."ȹ.lZL/EjvKi"$ztɒof4{EG*+ų ]$D#h{f :vKbs6##z^+ΌL'fԁwfRPk$L y}0eQ-Me&% 6>"jec,4j20\& N%#_] r%Y#m} ib4)&6@+)Ӟ&Z.zT#2Jhۺ |sޏ^kݧД3E_#z#v'aOmKpvZxD1<|'j1?'N -U[Q <"4NT2>;4a-<}T&F"\1;g,!< u9h^KMdHR2w7T3^$7-UYx|RY;},ڇ$H,)40ȣjM"]0"幂f -:AOQ^ }7~pY!I}CyT\מvVp~?UZ69./Bnc P`r8mcc6RmTGPC>&I 6_9SLS y!0$} ϴJCE҈'#YYYd܈%C&"_>* IeGqZ"ɦiSW|*}ޠtWV_ܲS;fr7hO#5--rц/&tésR8 /l>P~208X>'Wٓi4@TJv#FK#T^1;,UN \Iܓ% {Tk-qKֲRI+,+ &ة(967O&TWˈ_ݤ뱌NږGZbfZT5QޯB:YԮ?ڙ2!>- Q&L+D9!!wNUEi,hUp`\ǺQ Ȼ:}yf~pJ+eƴyA3M"iQqSjʶ LGY?_?r/73u"ٳǬ Jes9+s u藢Lk 0E1++(Ï''0ZR%{!xZ4'BDdb qewFSsjx9ܷ$&Y_3-{) öZqLH&x`j<i 1V$9Qe9|- Hf^k)O#9/8̐Ү㍓SOo.Y 劅=YWǍ`P8W" 11]x]FZPw{AX*ˁAhXi ;k9ure_ʘZ;{{j,1/ifBwt~2d>͛Fp#)ⒾnA1~<]Izp7r]!f9JV.Q()5M|xAcA+LE>)ĢwNE&>!޴|"bpJP!v|HpT Q^ĝ_wh1"T(Q)P *40ȧT0n0<$ip14h~&ИRxYt1 ~!`6lUyhizzٖqB9b Ð15UaÑ%휩nV8Z=\2ڊ*:c.' wz `@ħ6zHx)JyJM_lXژF= o0r01a<d;ʔNC{PSIr  %?V>BQzx{/~PsQ)?VA%緾,>H{JbTb5\E1xpop6=A!}@~"Ժ 6sY&Y%M]2NdM}8 mW ڟ%o3uS_i$kHPBNc 3Q7x-L>|v:ٻm1'JA<3,-a*=eCU"/L7ƞm[ˈfz% | N8^܂SH]K+ C,UqN;@4fdY;!rچ86KZe(a*gV܁U|0sRxڏW Ɗ@J\5<A&*Mڷb;a Y &%L2q!\jҘ+waffdq\+W wӣD)=f@LJۿu{Տ}Aj7<-豂$JE%Zl83"z.p? ui^}E$%ˊwb!Ƣ*exBZ(:4n"qxzbr1R5U2 wuP> Ш,Y_V]fp\g?љݴ%<+.C*@J;d#u&G6\k&˳L#[ :]?\0O?k~6H dMJ2~96:6SX: }v:rn|x5/-c,>rR!3,Ψ"lF,YvrӵMT%y'펐:/pm-φo*] 4I9݇`4v+?ӟʉ R( @@\I~ˤ3S&*f(t57W^P+8B\/V18jg9UJK~ES{QIQfO$VA8/:13vL-m҄);󹏆Yh~(PE9=AZP|Zm-dPٰ*Ƥ%ފ3w#vcuG%g,7m@cMozcP!-]j0Kw?0+HDntsA߁i Ή9 tzOLQ"i$.huJi2@<%p[+ɪ(]{`-zӉ-˞}mwgյpZ1rIDOb-Y'ۼ{Lu \<+ GrTc΃WyT3TqS0 \gJSZvlQ0Gx*+?(E!+j)ClTN3m."ۤ=^ +iAɦ/&.6Pxާf9,?ŧÌ{>8UpUbc2l> kJ?C|#o!Tt Qэ \5=䏖RD&Rm +dx v5{@ }*N@ԥQ=:8Wcr%z;$)" "oZ}M6Olc _|Q\QH%nT$EJ߳{HpcAE.ү9Vx.Z}ƂxZklArA>U c6NU3}bB"i4ݟ$袐pUFSCz9? gТ> /j)::0bJ;Yh{&,Ad`R6hd3X0 `_ø, NSE4ʢNFpES ]+~FBp3Y <.+iaԛ4[%܇mKjQ2Vcz i5bbȴ,a4+M om4c}6;,>\M"sHc-;ny EI> pn/Jak7يI!1TN*'5J{9t*;y$4.x&4& ,{ DcZ $qxACV"%NBJbf#!o';}aXH `rCqT[TҢ_e^߷Uϓ9myR/ W&~ΓƁ~.V)صP~+Zނ]TM͊$+0Q1KE2{ޒzk,1BR;QSCU}c԰s̗xqhX}ư>:{TE.Q5طxM+9~gYZ ٿcyν$ g|/5rCʗRx`Fֲq8֠w7VTiwyHKj$x/6kN3B_#ZB;8rT4Q"ѕ$! qyw;t>oUTy4&ެ/}3PO }=ѽ&輯78)Q=g~o]aiUzgT!bP˒L)ee)_a8ع6mԽ?ξ{Z#̾WtIoc ;A'o;Q%z3^gpz $ -OS܄7ABԈ@E2*z>b5Ykև"2Q\+.B׾NƩVSOWO_frbCS M ]Nu/E+>~9Մ?8(P;Xr>ܹԇ`FZjF=@Mn'Im|)12pNXXCuHs0Wkㆫ]qjf ##,eڼ+D"~dRXqWB[7|K섗use:X]utg3\>V?`Zϓd9񕼀b׋Ȇ3]*/,F{ ې6)|" n2׾aNa_l"]V`,9x)8 `HT(f6sϏ[YַIE"sMŰwq D ,ڏh33C QpZ̝пbqֈj*!>9esTA*=|Gqj``E66P$T7-i7(61bgAgYZ7zXZִF! 5]ŗXiɟ1$Cܨ }X 6^vWn p^k8ht63ffg,'Ul@S]ur/HтV5a8F,\S[R6z)zkG=j6(z]}o]a8G$6&Sf27LnxaQ|b* +Ԁ1I*ǣoE'w0A!(jz߈D&,keh-7,sdfg:TQZ>˸Usz4jqum@fM&: }N B0MLݶjJIoK{ dneޞgEW$#;w#P͟QT60ڢ_z42NkCf!ǒn S9dSK 7Tx6NcQ~6닁G1K)廆aL!yQll]//|j v8J "$37! U$w CH/˛^b:)!+ѻn|@l-{@pVNVzEG,#K ߞq e}${MUpN(^Mls>#NZʄl¶ yWH_/& :$ov D.RE(W0*UlV)< oP=`CD ohW e 6\Bj뢰Ijp !ÿ3<:Nd>tq @+_R m \1ȇtĝ^u;4F* <6ÖyM5v ~T[,xpSMpvCgVUP]}~2µA C:/u+b812*ÞPf<ݱ0rdhBC3,}fY֋NmW֚*i647j:Qj īê%֜#$F֢[-W<#o==P\)RruvF-Z@VKDycqĀ(`qYDx11[Mx?Z߻ 𤘅{N {E0Wje5@ J;;V)PA 5{} D*Atܔ MJۆ5 p JQ tELqў;vr+Up3EߺNFuϤ@xIx[]}7I?d14<"qӢҡXQpz6SBK`R< 7*.6ULA\R?q N ͰUXѰXXZmoy!@PhϹM[Z ,ɽфoMZ!w' )|1G$ &6bPCR]