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  1tttd ] HOL-Metis_Examples:threads=6elapsed=16.905cpu=66.592gc=8.1087zXZִF! ^1]ŗXiɟ{y_v,r)!.|=^#LRG%;=ղSȼڥ̕n,ū&/[5bj.Py~4ד3JZfh (%/bTY t5^Q; G3R~P-]xݜhvQR:]~=+*TVPJKgB.x[/N{Dj/E%(<3FGCCqY 1 HOL-Metis_ExamplesX1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0W7O6N3L2D,@%<:921&"        8 d  > ` U  j %^*FR T 'lyli, #3s. >1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id.?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages-=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup,<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files+B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id$<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages#:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup"91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files!?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.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[=>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=- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A v@,"X`4" 08,C.i3TedK|9ۼ '{POe ZAcN)0VAUDq2 `C._8pχXrgD}GUdY٪U*}|.$ϋ&W iso+pjY|] ů-mc+6ܶÓ-7Syߒ8; ZSN(ô$`ԴeE9iX >>LVը#ښd׉]JvOGdm֡}kJ֟Qn~]gH8S ښ^xyӲiD Cg ٪Zq*v-k(rhr,gx| R3r0؟#8Ƽt~ɗGVUč fvjNj1dtzژ ]ZLzA~Ogs]sbAȠõД?o L{5I6Ņq.;LMT5T$ٲn!FAپ?#r >TA^7vj'-)>31aq6v-ᨛbߗfSewԡ}ghT_@xϧ}yQĂhbR7J4AޟWL83e~ fI~}o/Æ:Ϳt3A u"slLݭIm8j+XQyrq.KA!9\W4Иr{ YTښh ZlEHnșdmx\UCqZT"jK<ɁLl}>-=4dUB>E#_:)2ꊪAqY2%/?XAʽQ AѰun$Na=+1Ixva7f,Y{SSλ$`UW|Ҹd2rVoS Ȅ'_+$>5gТl*+Vl%} ؀$S=7?t//*-w%_сzNC.=&<'{?3{qx/K,kݝ EU_p3o%4tAϼbk}]hK5uVAOQE<ԙӧخ^y->x3K_{a|Gsc"wܵ hlvmCȜ"޺At/|'{iBlw6.N Y/zT/գt ]]C#ȎxNS6x+9 >]|Ub%i88 Gtx+}< (e]o%ʐ`v&?.SC?3oJKjN„3o5bNy"eӺn~ ll3!"[a=-<iKE}E.4<vFҐ!+.`|(5eI>]Yoi/4GY- 3 q#0BzDyk;wuk0iSc8\'`ǻ9[d1%Sf ;%DܜB Q'4QS antKmbCyZhy@SWҡw"ܒ ~ 'p}Zh T!,x?{`kO+m/8)E q 5>1߄-Z*M$eFwA2F #g 3эǾ9Wܝ’!4%o>\&LE`i\JNkYG=/כT"U% (v @bQs\+(X16PT-=iW,·eY#o~Jm [ڗƃ8o )gs.)\lUhLXd3ߪl]o PlI[x^}n5~S]Xp'8{ѼDPKYr/A\RԹJA/m%!=I0f#=N nDgeiTEv&3&ZH39L\&+wq Xrѧ6\&u \A)zE nvN`0U a~dVk(^fKZD5K%E#!i T[]Y`^f'r:ww|s7'6 I{<,ߛDXj* DY)S4z+_6`H+ZςDIW`߹2crAȡVWk(tABɨ)Hy>R^Sz“ tE?ojK(/FE+!jJ3~lVk@ds 3L^*O݃;`&T1YңنCUSNn dHU[3Ĝf&Vp+m`5*6E: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:@*JxxwUyrHϴX R1ml2ܮ;ƻ{36uE&̈́uLAҮ|]WV )a**2㰓3ޝdҀxyBRl)/#adu4 sGE;~u2 1f*Q&,o 5(!s595Q1'֥:xCdrheNCuvbcrk*`go `J4t0Za_dwXE=$>%q!w}8%LS_|\D'u']Yr%=4-ŮIok5tR2M; YC Y &֎3Hl~&"RZux\IFa[^5(PVD tZ`j9cN3<3 &Z*H2Rp3egJQ[¤Y_x0olTu.Ci,kKDA>qAQ~li')5_-m ke|cJfC5ʒ^ _A>B }H-5K}5! 1Zf^`wQ$O(s V#*.p٢fpEOw2)V7)i<\,`4OyE^kZlVcls "Dǝ0*H0M],6\'G{.ý3)c%AuzoLHO;y*I Enfe3fg_%>X}oбBϮ\f2m;Unˌkm!iKN.Zq٥( Ѭ/Ȟz&. n:oLYLD}Xje24)/GJ 'nhs9QZsBΨXNau2ܛjT ~R%2Ȩ;Q,zVrDE$xO₹4ڭ=#HA7eZySYW~(D5Efmy@&3d9>ºg[;t_joN(4Ayzt zc܍4IDuKP2w~iq箺^P3T"Q/֙ry-;d%hoB,3ţb$֫ju? <=%bhɯmC_<7LRPn-'eO&: {R\Ѣ ,kOk.A2 xVXqp7K'(O1}HVj WKn Q l?pEL#a"& Wb2FGuADLL1. )ZDvأΞV JKhJW!3+Ax6Sq!@[W"T.L X>Xě$6@P]P>5d/+zi'Yj7fH&n_c JҖz"sZ>x2&(.Un}EiTMU#3R+;8(V`mƓfTGd6 up*U}iN4LD9W܉(QٛY3EK=@F5q+Y"UW%XvNI B!1߱h8ʫz1arux{Y=wKYf+p[,2b.B!iڀIqcGUӢp$q ~pcۜ Ҥ2v*gl =`$¶Y(e5ݲuoLގ=L$\c8={5Q+u4$|+U{5U]kTt0u,=3 BihМ%2nY)􊤌JX4є?˨Y5S)ϔ>N+ML^iIpGͷ%\\Un*bY" \yw1 0aFaWd,3aGF=Kwy|*o/gCRos!a]ζx_(3?ȰyHy9Qtn!7/O T#8= Ň9LSˁ%M6eXtƐ[n" ';3-ϒv~n,9v3%[%nwBՕfѥJۙSf.zLQ\ǖwiF]7EUmihQ@D#SV;@Y9<|H =d|SѿX{$,76SCia=zrHP^+ D2f,#_vs՚'X~sBTur&<xpi:\YU\ot'uDž 4)ZobJwCDowU{*7\!~S9ƻ2X@JJ.h㟞=vSU Ijboh> xwD3]6wcCh}ё~Nש8qX],w ,Uч<t]eo#`@AK1j8&;VIHtǑ 9I+;R'\ܿ7P?dGGhbKQc2j:zܞkr H .KD4DŽYǃSeAi \fR-GRX I/|_(p$5crj^[:Ue`CwyO-Fֶ^uc(3$K6hAuY!&ٍs[Cm#k_ Ws-m"l, ig A,EiK 9i[%1۲ f&[}-蓂wHJnݧ.2%7 ?贤vRgp>۸[BYZ(rTReRt73AgSa{pzp"G\J?$R~Zr9JbRWZr6Ĉt+Ί&kAαZ1Mohmvtz"66+ f5MMD=4?g,ᇾ7}ZxI}:*\%$fYPd䭦j%{xPVt72y4{"nz* 6uz3-1pAhW?x`Oo0b{x4.֜)-/46q^E2q 4)Is9m {H{3qx&`M'=KL.Ո0(NĨa͈p 1d!+ 52XLoA5Y /Pm3cP_,VHӾP/5uL $O6tOdXopS L{ 7`Gj%'TYB1\|y'~)aܘW;](4$?[ob'Bެ1}/7 d™Jɐ-Ε݊lnY>X':Q"NyBZ(i5.ncQTߎxŮXJ;=ŗլ Ez*A[_.ٷ_$}e8ZFmyu(=qJ2T{,WeC~T}k".<9|a N51kxxL!<8*ʦTpF䯻c0qhMm6"[p_$hnw`~&1AKƻS%@D_h  ˀr}d/Yb\'#ϳÖ,{44~.BR@J%׌eS$V y+MLNj~[O\KD5||[yS}دaWAw}PgaMd@Z,:kw&U2ǗeI\_!esmzDf XJ(|6=LMQva;uJ>֩*5- 0^n>oĭV$0gG&:f{a3(W|ЫrTN#`m*̇ǀ%~n.iqI8.hA|RA3TWI8!/"L~[c<*m2%h FڧHLT+ɯ9혢]̯ ha<x{ #J"YXڤ+"ff~a_7w3q6TD%hRXcDkf((Sltj1' z} Pb@`*d~<_ֲ樑\lߋ=YFG<%֜zl*ZCn"%o 寴dmo6*@\h4A !gY5eOQ- 0Ea:F;ˆWzA`|N7*BS=V/9!,gSU'=SdyoT`hhOqpmN6''E>$W_#uZ|gu|L,˷>IHuaʋр^,wgȦT(2h]Y>wSnI{Lv%V4<_]z +;UV#* 3JRᵙt.a9E,.faxWx=>jahT4!Cu}FmܾB B 2 #2͂yuE̞+'nq Y4nQL`;">Rzd1BsAOj爐Cb:~ZM%_S܀^c x_*n$ñ:GEC%=ç/;=ΗDSㅇ ;ɋF1xXIVRth_ӻN*zkc.F*o.:VRksM;tXG)7rAy|.x"HD89TTϧo(ɿ>.= 3Z[+!){{x6p,. 1+ +`Msq9VCOXq~8q'p HG)!+z|Bj3G2F1!P덕P:6; O3ֹ*T}\{?t CK&VHrw_-/@b4wN~"A}M2Pg Ʀz9gӭ.GK і '9iH˙{Q%sIM*ԴcLhּq0YanaSAPjޑdf/=Cҝs#x -:h=V S`W{|v8Xe ijvEn}[S$qh QI{;oYa*})[cE& ·\ܳě!d뼕 S J)ji|xm ng+vdzCG9zPA?CyM(nȴ0oc*vܥe( vvcɘgEqd(Xضׄ*h2 1F F<~OZyA覝(#Mr3C…e kfۆMp(tSI^kxPǥnEdi$/mR1>9^`Mz,;G=p.# a%뾑ЬA^ji-CrU/P_V9]P·ض1FB+gaa~w݇&1J_~ʸM|Usqj 1jX%Uhl*d.r Όp>.>3Ë# ^;G}8VT7:LKDt|/;`\QW h?I(; #6s OK{:JM"ڱYz̪v)Y~ ή,ёuGi-TE}8Oh9X<$.+uQ>D5ʵ)J@rvT43vL\'gIxt `PNIY`rS[^ufے%y#E'^/.eP bHH}SǟTZ&Qϟ%!ä؍MQe+LT J\A4?k]̀PڎrpdgHڷ&WqHuYz\dF%\P8QssۜtLBK3b>=WB6("+!gA:'-:v|B\N"(W'ȍ; B"O8`ޛbQU*Uбfm&€PpXSy^ՐSJ ,g OzbR,Ծ?ɬ(L‹UˀpJ/l?! V]Xy9ȁ7Vwk/NO4L 6OǾḿGl}:W.}!]$\QDKaȇxĻJ[anOHQxؐEn77mSv^ȴTTשĴt%!:=yx.~fLiR:Cy*@{ v f#C0^bZlEZFPUޫՋVk]s>}="]w. aoFGBt}K=bZMl_SA9ُ@$ZLK8h2B)x&*`ݯR͠ ]Gd! g6nO* (?r ~ pⶋ Y*QZkj};Sa2${RI]@xv/m {#2}w[6] z+p"a ]+Mvd@ gJB-pb=F,SU=|zF%|cw >BhbY'JblЋF[-KvE3"#p_;|ߒ3ǵ闽E["+o׷Ry 27knWq=t8[ 'yÊj3EU!A6.TqdolEZAxVgyvlșmWRԥ;miW#E%nU4q&p +Xxn. lmø!V}hdL;.!]s-vKΦn"QnQ;eGW;O<}0*ɵ)4훟m[fӣ#wCyT@BTʧMwB*8ñ)`>gYZ DIhHK _Jҍm䚼aj%6r16dVɊEYLMW^V ˑ-h<Rn-k^Y^S4!eX*P@c5cۆ\oPϢ LCRY&YקHgt+钩VԔU') 2"F`o CZpĖE !O͟f6텔(߀!u` ˟Pծda;-hj(Jz E6zZNhN.Jr<4l$6aS՟k[C+1@"Wv4xezַНyi}gL?L}uϲ]9DAtϰA 񬖍;.%vp͔΀m1.ef+ fRFx*7d"[툯oy+wޥwb;<ݪʠK}d\ȜVgxPDEhdz8H6b\<9qPCmy\auP A}z[k.Od+C9p`=;B\gJ$l5z sŕ  G|T#ƨܨ$03&8 lJ eF͒?j0|ՐO&/FYRf岈aqu#ؚR?|4O8㚿vȿ4DZT id^qts g$uĪ{ X;͘r bρr4bX3'=Kvs2Q\3y-_ɿl䣅\j0 h㙬QFd~P d?kE0!JKWٛ|5IgQo .>#OWq{.$*rH"KcPi S0J3Q`\2 Ӆ4*Je5J$ B1j fB`XP%meDKUG3;IƝG )E~Vf%N%YGKYFE]@Ly Dĩ$g-%w'0i-9$2T"H#oF២>#z"zwӐ=qD yEyKeDf s3ef[mWjd`<]bRW/05x20w373!Y')&B8Ck<ߑfe}Yq-J cdNګ\+‘BJ#|K=Tɛ2*9o*S믪7"iC+9ݵ V8-(E٤1g]jAFF \:"ļ}h$ 5Wo" ٻǏ <``=^|Egx ]Hdy~yNgS̝&zi!dJ&z32u jɅA2EE5ZA&fM,˽RWU\}ٚQR%wkU<1:iBZ@h ް L/F{ w D$j҄>OR WA]Yͭ''TlmЕ۽cH,RMء`ZW-ޓэjio?Z+9 }HjGLdX}Gw|8xLpPߜ:rYMa15Ƈ<](t 32ԙo~ԡ8{!{˼f "'l'\YcބZ=Gvހ)=(ځS[ߚojLyB9B5*ugj~|oǞ㔗O>^i%mB':& $l#A#C6ٞl0,,q4{‚`q㇠,he?,`(vy]\(<CO Neۄʿ_3ۮvdu>z.E3בQ8Nq3S{sl9z UwpP^˜UӞ&=EgJdQT( Bwm̬V .%ˌE5vyN$lϸ!_DBT?>sd2c ~Oq:g3^kjQ~~~BiڏvyX97mhӯ$ݒ^ª\|R܌fM.?{lbkWF/ 4i%1qE(܃8zE%8_wO4Vh%H!j9;wYoJX[V#gYx 18ʤˏ: +Nr=uC~wC6C?;giy·$>ОLy!9?v[x}B̺+z ~fɅ>WO,|]aw2uGn83|!ڀx\D_lurV e;tOE!mcU'2{y,\{1\ *ZX`гM'PJe/S#Oy 'ӑ şTQ``;'_`6QaD;8Y NIƸvy HV-Z~4xc`&~&0 Pz ft~|t/e Smw Av%=-p/J+8WDy5eF,4HfmY7sʻ*H xgp/u2ŃηŅA<|/(iTM:Yp[WJhfpWgkﲼ Q˂[53`/T |8-P#aE̟_qgf㨥'1:_Ga@ᐂ'-E[~i @"<ڽ> >}a!#K9P*w,?^ksxʓ<7/U`ۿ4u N24ƕsȨFp%ǚpE`8mѢE6P4_pl MG)>U7%ަ_Fur3=>BOTxFM]6ySRqЂYynb?A]HfGZ"] B殷bqJ[ Ei}ѥ 4/*7 #y&?C^s3*P3lH7©w6Z^KBn ۫/T$Tn;3$=cbW^̜clzqwff|dÀ8 *TC(m[¼`B ߥ+^]qE9A"Q$IE~Xd q.oVdJ;$P!ԇ oG ը 9Kdņ΀! UL$el+З2 #~ gC62A4ćh rG@ yIW,Ӎ/Ub~SwDiɪ1YΔm~VK %g㨌|kACuK9*ε/ BG]<81U 8rP.DXs"T𢳰AñeT%0[u[<ծ_&2(X_*('PvI!y8sRj#%#jwC%e:s~sǥq?" ??B:p)3xU;Z3FJu=,=6"a :SF.i,0j= bH;ʄ݃T7(g,V>^"uPAMF7N,-.%S 72P65QP%u"Aŕj~7 P-3Soӏ* Xx|XL@\m =ʾQV`MZ~ 5ĒNj&j9JRy딑ԄH=zzsտ~CY|wl[r7xPVjb䊦[=G^k XS 3K2Kj*e) ]>neRH~=L7f,WpWC?i)R(&;6K_N!,*kF$q)AB.|$ !WUZ-ipVq|2zٶv}R PiM3- V&l+A5-? G.EdC 19qп%6b @GpeI-ꧯr19&& r&Nc0MpRxMeƺNns5iB݆FOh b3{k4EfInK_sc.wЗ]Z€e5MumxQ^ű3t|֐-K6gWs4O]38irP(Vn`uOzIt{J0rԟOre]p /s0PPBr5tI L_3ܭUѸ% E?"-LT:O=8"b oD 9v!%D(KOHӗ=ˇ8掲){fhҵ=[I`9Qv$l#F0ټVj8 v.0%wc~ =Nm.j>IR!>MoBBz#*b úX Ɨ{3v&̒?HlGVVfəe9OYl(B9cG}2hP൲gU4Ń_w.i}a᭦8MNcwk3rOk)Ocexz7dmk0!+ b981p:n0ޠDxB c9:(D{pznvk k 8L=^_n}R2Pڽ ~Its:" em틡kx)~̝<=!yQ܉A<ŊX(% Sj9z Kĩ ޡfRUB7sW|?Ѓî#$zg,ZdSMUGIt-go:H␠~vv| ,*xޮk57}64 "7*lO} &cߝ?1[,r۞J!_0֑~bLHS,wev@b!*DHk58ESOt:thO,g zI/LNa (d6k=nq)&@kS0kfXQV++A89ev[*JPCσ&/uR kM3SX;񱸾=6NbEB-rЎS3JO%e2 zy(k=2Ewл>À$ǓU"UDo w)~z{'E/d{(p d!BeL6ՉӜ,|q%&-6.o,q!nmVx5 it蚢I9CY@~dg+NPBOvU .PX!~E~EE+Eea9w%N!{c?KyJimIéb;}(*ƒsBnKl"ΡzC7%Wsk [3+/7K h*v! GwC,D TN)/'͉Q53Ϳ0GdXG$ÍpMBp=CwBULAOZS \Z&@ <:rO8+4s~iY#R5:ĥI\ .$v_Tj+UV(4Cdpf6TNgKl{7i^o\g*5.qR8F[Nqzg%yݶ6DiI*̃ O>Et$؍n7N[ ,ޘL"fz_*]91;]ZOk1̄"+o)=QitV*"p>G&ur}3KUYȔ.*|e"\١n+:i` I~ٮNssZGؘ'{IPljo4wۏ|̶{E' q/Ke,]qDQh)5b@cj1wHڂ@lP5S_,t.NMwW{R,z'u&1C侞>57\V=jYFѰNu1 =ؐFq%Ghb M͓宯Q+Z+e)c ,4x tAU1vRTK#/Pm{mm $7)V&zlF9'bW)pZ!vwb Laf*tU*Ǹk~fԛ9 sF HuGUt1XDδvc~pB?@x^?2Y"z&'%kh["q>F j7r3L/k1GY.|}jn}#Oo 7Մekz2^-11ʌ.֏QzA"(X#D#yGBf X~هiD0;}#b\F *ydGq-eL;v}IkVZ'=?Jpn͇| פgV}Y`p|"6IOQ7"Ym@6+OYNoYvBY+.kDcK^*/p"](Fp$Mn"x}bO_!26>b`*J"ի˖D֮Pg8y+%.wn$V6&bNZ(>6E8TK3~bFɬC췟Vz~"o~:38soSkR }Jd~(4"li U!M Z38}ذpJ s݈9_̵ͱ\Hיo{UGoEzP[!-V75V`^8L8<({Bֈ` Hz;m7*/9쳟p/] X&8 ܌NZB;S/hG1^u>X;"o. %.gc"E ʄb/sqmp[saK+}-38-.YL Z QAޖ,ت2(D'Ok8B'7V[k"4ni2='a¼ ΓOgz[J'8{} 9|T:[.%] Vk}HkaK#0J[P|f2Gq:xoڋdQDh3^zj2{*w!eMb ٪`c[=x ||s`SےL\[xLje6)ҦvcD;aD9W_M*N E.k5<5Lm%)@W"nIja´'z>9Q,UJM]dH|K|\e8ka)!{ 7OÉspܿ!vpWΪyET<^&nf,[^Vѱ)NlC٨ƫxCu92:]  9d;zש}8EvFupL ^ $Tu2Zr"!{mGdke+&|"rbLj?RRTc?6l _نLjP[˄gc:t{`dz-|9[)F3mkOߨ2viBd ɬCi&+ru )jXguIJZ zBh~~xؗ[pa BgXUdMayCR9<"cYRvAC7r؍ʚkaxryu`BI9t46n$A&<{ޜM|ܶ&ؾмQNY*(B=/ObhdFD5l F?gYZ  I I$ 1W% E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4G{Se:Liz2DԌ'RxYb% ǀ.t=QiK1J[nh}ʼnYS uAiȦG'cArg[{$69X򑂿y.^glf=/gUْ!G^%1.ʿţR !W}[ɤS̼3Ei'uY9u1!"Ϝ~ 32w,XIJtט]NS5UR3#sO*ߏ~N3v @xn/(u ͘+,)-+p!&Fk岄EzoIy9UΔzpyKI1n]?*\&/r!8~Jq+-tJ/ @mA\pZ^7 L6!wvVb*^nýf<',iY,c|&1Q4֖( d)*nZ.DZv-0A*SflA*nc;:tc࣬d+(f5QC )nl(cUcXΞ;Ϛ? ٝJ@%EeRkGcUQUuHEO=`N<+XZ~}RN֕FNGc^Cem)@O@; 2ٗ^$x3,?k轵%{K2GL4a~΂$m4Aft{vN4Y0em Oӫ恳 hu dc ȫ Vvb,e)M"qL?|Mq7L^q5%%07Qtw]жYم;w! jf Bu3q!7HY7*١#y?:"o7 $ѸY6 t V۠~qlLbNTM[hD +QLvYĭ@vۛU nvJV/N<.鐹(btm`gW.o֖Xft`Vumb=K߾( }LfC}p']܊jS/pwAO/^vdD6HX#5;WQ7#Шx7&ZG% [kXq6Ð W $@$Pw񥔢0O'cܭ>QlE5YΐLI+-5$L `/|;88 zWu'er珗B4^үĘ䊦ʑP8"Xb'{̽h>Xe7D$Yϵ_EIg %`'-##P+ Tٵ;[yAh2T&s VJkX;nv&p$ZPRWTic T ;W3\ Ԝ -F?wKc$G;kڞco.i{)_>,LHK0-Mu~‚ 6fXՌȸRwǰ'CԄո5 [oOPCF5kfN-1GlZI)p?u3Q~lr[][m8nڜ]x=} g;Be3Wb;gKðh>LN:itpڢzd%`0 QӡxYGh2S\2Z(~ fSj-w@:S U-HsEN;)Puy7J13I>nSXC̛>#FߑHULSzOs`w߭Qt1wGgu\7@ "S5Q}})M!?^˳6bsz:muHǁ)6,^aktf>[)"Q`HłNLTZјWzGY? %|t%`凈Ebtg.jy 0_(j m[% b~k7Y4ywކ^@qhTZ?3gGgLnS"UG(B(EOjHRBiHch!ޞ 2&TCd?GDش^/Is1Z@;us(ǣOŴ]Yt-E4f:JH$5CxC,.^N jꌀ5G/+"8 JKAl-#Y&jNPr}1vۗLO5OGZ^,tʊ.۽s.x$;SE*.~r4ޕ8 ΁%B-}(h<ߡ3%Tw{Ck" 1szE?pӧKOѭ:nƔM|LgK`Ӊ-AjQCc0T{ɾwed~PT}/N YԲNۓ##:iHq,xcO_ڄח=^i/#8'^>%Ȁk,qp Y#&~)K9o5.mSI Ib0xǃ9"t\J)ɷIkf5W(⩋PPIL"MhrpV0$hf$;= PGÖԘ)2 є-vۤ_E{Id^` uz Ygf{wgu&phTb$ ¾s0C7)Āu+Iz(q1U`*R]È򡢄e'0ƭummYz OâV".^3;*m؁%Q'TX jB&&?r&uQqUo7TS357.vhBE 0̿wM߫cMWJG^qYA02PYz' gs]DmhS "<1z8s GF/96yll yZmP6l+XHD\ѓTTr^ .|L_s<1F@OsD72"kL^TuWa UCk̉T(&SX; 2={ h^p/xWWȬ->F$B:軜Z(1r.%qˌoߖN,4;A\VM&K&%! ~-n({VOH$ߙ7$,5O:k@A-C"b@!octPP>9֝ѽ}h8A]cԈhT=BC.ey8B1uDbbagi({lxP>3"V`=:{gEzqK S[Ѻ &۞R -U.*Rn" 'b>$ٽ(ߐ&x|y|M-i7 >T9 ue*rR|G 8H>uq6VSAw0\ %!A5ڝw?[ٷ5D?Mgʝ*s;|+g V/}T0X&`'XVSF0єfB-3j> 6K8BfVtǒl``vƝb$l.4f^]cNZ| {2SG8'jBd^]`>E +@pD&ՆN!U'lTh\\{ Mu` H4aI^eUzmo(iԺ 5B)bthxMrdq|P u+\OylEIw)Rܸe ONɲi}CYwqB 8ڞhI$k[@Libۑ_ 2O>lޏ7SI%[t BY1@̮L!d?)}%fù᳧,7Q}jP-ι"9 QAKzX (KelNn2j녯I&i0y}F{r8*#- A XqSO^k#B']wnF`sWqmbsV(x>Lø}᧯O@SE/ 9P3'AuW6Dcڮ$(H:e05^ǰop W#U wӦ@tĄoмFHSDŽGI(V[,z"mQ:!\\Q$oL?>^o"b#ͽdFKߌЕ Bg) ^;]ig(-E}2P :d \CYY5zmbV@j )_V4j,K1Ҹ'cMB@*skJ/sKy MK3U`I::wT.-."g-0Ai pu'5& Q"`C^"r N SwNϓ49{p8ªm(Q*{5l֢|*TZhY#! QLT(E|id^ha}ҿ\SQ'!)}H$ohN"=tv*誔y;oI"Pi Ho>(ckr>?><~*C+FgչmRcEN/E|Lab+)t!dbץHDuFLqEZq~Uۀ1x6=QR5:u-nf>nf߈X„"5 T|qw_9@'%JQ5 !p_)+oF\1Jϱqu˦7g4l|t) ">Y>A/)r6@LB2Z,oS1t2Zm:Zcb3~D<%=0 ̂H-j[Q6SqH0.vz dB6ތfZ-vį+2%YTMVksl)YOSiEgn"Q~#aB8SHwUӼ+ⰸ)=@:8>z)_ O*n^y%P$KwwXUuZP͡#pNu^?Gh9>p,\5_.G K"I&$z%W*Wq9yyj9x(;r,!Ou,)@e~rQԚD41P3KuʾJvyJkReڰN(M6"hHS{\H ~irȴ9ާmS;C4 [+O~Dtl<{ffH+iO5d75q r?qA5ŷ?*%)*+6/Xk?-.E x743(Ӊu+ nim^(/s v(eCz^By7O໯X=4]LwqL2Ò{= ,f˸PKS2Z/f%қbG\:eV%Z^:{/z`X/؈ ߩ^;%Pd.5sIb)wׅܣ7}^EH1WImD- s]d'yN=dȫ .H").#se8е%Tiʮ7d#WM]*JP<&e Ȉԟ_m2+G<~PVC5#˗#ɳv5LNnz3T{0g qVEʦ`q.bԙ+9fy"՚ـZ}[n4$:)ΏFr `}Rfy am wҍoEwILG՟ y'j\?eSTv2yG#/wѓ{c1gdcN@`|l$J)L[4yXt{6 Su Y_8{"`]Z)sBEGULW嶸t2 9WLu<4TIcX-c[.;!&ԫ10e+[PkD熶V%eN/ Vܪ1>x:^@)LKhH*ΉBHI`>a'zc\&{Nvnb7rQĝiPV~144i Z+>c!&ɑ@|*TQ2njܐT¡T૰w6P.eDţ! ŷq9p^IנlWfH1 S]wp)XBHPpyA,* I9 -xw-ZRSs?ݫ`n܊ybؐMv>2-m*Ŗڦޯ^~ɸ>LoHWT%FL`(]/Ѹw`W!|bii[){hQ 6KR3?s~S٬$)ZXBD)ۧCP.-=`cՂ_M2~E`P7} >w: ~!fdvmh.iٞlP񇄌eHS8Q"$GՑ6a_Tn|5ݳ#ucž/g锰"qNf}+uNud3V4:P}gUά04P$5[n?]XD:C*\,@rZPcgUJ :y+HI۾{cV a+o_NvI"f^x)1%Ʊ${RGù\8gx[ܬ4%#lCnkUМ6jٽAe6dAΥVty>s]uopo&Z&,rxWzxmHM{C3yABj1o?[:RalM= vUoKA޼טPc~az9DirlO؈f _ҎGN ^Z3"2# ?mI! .3YUpL>kp gJ>l*7o!fșܤE(E[^N߀oNL; ;}rՈHuc~d2p/&(qE39~U|BZoEn!?FPvrcѹ6 7ySm'&ԍ[!|5)r&k1a_eqmlHp;z^"}R? dQu&>|m).(^o?uEY g1vCgh0*/R!dwf ">/xNBW]Qw`R4äZ@/BBt5e<8A$BpB0v|0uڡ@}wuacxylC,eo|΍k:A-x3}UA}o-1`6#d(r?F "1Pt??fŀQ!uo$_jR!XP8zwG`k[Ep."Bq=֊b%ad'#9|)Y%- $CĎ[,P!ـWeis$sF:X詒6FI"mYײH^Ԉ( RDdHBi.m Yn7Ƭ/A@&ztC3뾩+\fyڞ>Z6zF(sڟ-{YVJY>uXn7E%@arNd 뀩pa/Gwėv_E.6@ء0'!U+ZћdL=Zk98zPށJ|ZRq~ـ`wyDBb5B6T %Z ?).w h( CħiފjT%*~Դ sR6[{H. Xu+Q,R l]6~pRMegc#kbvg.!s9fSY1 |~1Wzݿ3Ӳ+-Á7Qr+W؅#we@/Mx"Ռ1BiQE;X㱒 WFjNU~eeVn L`'K鄕<*d9DuHçoP M$u[0bgbx8<'z&9 Mi1%w<,P.%YeE: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&@_RfW&L iK₵Vp+h'_"M!yT*[lvSy$$eAg*{4AGl=p PNwe"vgFk:~P*wDϱVA=vWCFH",ED&**5b铖C_P ;`!tR5ENFc)H8 <+)iٺVmƆ.tBt ꛃ`yxPBC ݀7(R@HZ9h w3La{@~\uo1Y*qUNL6\Sa(_BQdPo]輟ڃVc4UDxxJU@WҜqeiHN_␌)X{0|քڻXN %Ci c8P(4&c6=&7`p)Ԋm[F0 4@zNTk5xBIU85RՔ\n+..7rA~& O I4 n w*Uc,jMЪTBū}uC7}7n`09$F^APU3]02k?'t4 JШS-R83R _Abh#dd(/[x,iؒDC? GҴu K.}SRKv?`4N/饘1,h?1yğ\NsUfld^m߶#ć'(濫R$X~=/pgTUq N r;H˝~xx[:d)^ۅS(8:nѣIs}Cv#<ʞJn2J]>x,;^m \u} nn0ͼC%L lIEAn/SvukV p^sMmYo1[ tH ;1( CZ5v"=Ӎ}М_ үweT}LCS5@\?뼺®<-c")[+qo±^@K#:ьe5yרQ!=6h6+P9"lqe(o}eL'62aE٦f;v3[It\hVzII|~Uփur  Oҟ(.<hKsEg9kc:MJr  C^ FL8%ePʳ?O,\ JRiL;:-Mh9q1-eU[ȗY"yo!C̀^'}Mګϱ빗 $;ކKi]WUѷOQiiSQX<%,t1#@rRGM؝(s4A@!Vb qKI'U $wu]VJ]kV^tQA♪$# _"bxNznQ[}Omt|_oKs Bㆱ>t(Yw U+ūBw(DAљ;.,<$ꊚU/ JF 'AQZx/x2=͆\]U^yr6]ſSCI9maQG#•Wj.!.Rp@vVd#K }C㛬^d5CRvdUztPCWL~Gz3`ug$+Rr)B?^DOT*'E90+f-f>0:+U,0j>륑ATwU=2g;z>%+l]^o J)콸=+gX#)28fIȓ TBT ;>dQƉ >ߐĸU~u܉8|mIuPN^!Z ⃯f"i<[E"ljqi'Ӧ{6XWwv#XQBe!+MJE)vt4BF+zaO>+"o('|}\krmh2?t70(i1>emY^#:#wEj}䗭~S5gp\&k c_& I<vdϣ5y-w[nBTX:[j_m5$F˓'nskx .Ïi 嵎ԋc]T)(K oJ}C>IJ5"Tܐ^(CPᖁ\ua2[8%S֞ !x &PmMo"_ ׍3 kA @4u4-:&<훦^bȯLĞ82'4Y?f[UTrB8;c+ [,rmjYVl>r98sem/ lR#ϮyN y9HD#Z<DVh=[g7:g3DmBgB w˶H\  nW>l^iza1-f-[Ttɋ :"13e5~khBuH( Q|/*ppfww8 2g&MqR.̅kǕ<"/߅?^au_^}\ #$:ZbkX8Z*_ Vq|E~c}/PS_Tebsxor(='L ZW%[R1:=|eѨ5b[,<H bu9vӎ˗]?JcӥE: QJw2MNгЄdl+>wmwƳ5;oi3wEՈATgq2/B$#z4CIns[斣Ji^\Ş4Q[m&FS󾗚H虽pA5t#g\T.3zBl_0PO =x3#y\WtnAU+҉Wޜ6N4%U>a28_m7b5E <,RuXNV0Mv F?lH(=8$/AatlxcJ+1:I2܄ %R rz7V/bNKe/O[V,Ŧ6F Œ$4Sn8ι>2bM(KDghC1|$MvİA׋rBJjܟ1?-SjJwyQ\''*,`#"4RS-R]9ぬISCϼfx4opTcF9D Ӭ_40LW(k'iME5\`? 'Z޹R(zF 51ԹUVds,e&CۦV>LYK F:gREe=0TbPʭ wSrZ2i]>MO3Ց"g=C*Q6՚u$st$CO_(lYX`@K֬D>>;&NEqƜEx CēvLJ.n]/DZXoz>f ܏/Uñ/:}BU/ARtx۲L BA$0{eu8u~1\'ȰuFh[,8# ul _&c: *m%4͆ *c}yxXDJOQ_xRep2DEGzNbkS D}z =7œǴMltqqzU0p!q4]g5?]HDn[xN|HijdkOEyzlRեI}?$-pɊ5`N}OT5] WuǷ^,\oRaNYgt0-uE,N2K~!|кJe~FtͅzvBq bCk4%rbi\<19$:\Ft[)|MY6I  $Z;286ĭ9Riz'$ 46UNs~A⊧Osd 6:ɥu J/vnQj;GQ~e2|_GT ک.f9U+Xq?oƅ`-t%Tbbe۠*X6ˏqhe4&Z^,FNIGB\jW731Pb}Kl5C+Z \aIGŁN+k.fz I8{?a+7OԾ\~v, PV>8oyWeF+gaL`k^*W,CߌJi0|{9;rU{^x. @X7Dvۣku & Pr`\@M0LT0\ڧlK N+aNT<;)I8ww)"'$G#ŇONONuFASxta$Cj j{@rBs2J 6wU9^@t~̶I^`c )} >AUEk{r<dܖg}M47fLVy~}BnNS0?!阼5Jҹ}~) Z۴4)o>xTpq`?P H.B*(*4 {7 c+K]Q?@g}-ho4:&Ҡ qS'NَnNdߌs*^B`)[l3_)U8CJZG90Ʒ1z14n.Mw{# K3?r~κB|K$4hof?tT90Bka38V=#њL2y1/_dUI>Nu+G%6Ig h%GI[܆b5@+W ##;|w,w?7yi=%;8?nΐ.J1/Y= .Ϫ % Mh}ơ/kbC9'wpbP%M)kf #X;6+bwD¨^7 .yqEuY:BTX "˖K֍Vg.bWz,(H;(X/-Y&SYP ,8֎30k=oI,hukGkw-SfqKb;@+ٻ<̟7+%ꋏ?0ĽMq;,%N\椒d3t.0*?r^ 4ǕPı^g.վuq.LDE3 vX,gSaPCA0Ocx63f,c-t2@]{ş/J'y9?{OG"Uux|[/ f<4CA]{X˹ldn4Zvkם܍ѤI!4f^wAQg1O>}*C4/Ԡ}yq^!:K[R·{m&ns]^pga@2/U^//H|BGRI@G=޼@I콶ďXܹnt&f}AsB(4AА '\%)qa(L5mDNJ8l 5$-/#!='[dlSr炙aċ+T]uU/sj&!s}V 㫗KJeȇ6JTA@`3TeO[[`ea6B]+')3+Pncq<=_8!5eymع#NIοݎUYjr7@{\ʹdYZ> 8~,5նrZ[;ZҎO {8w5dw~#gop09"MM‰j\'@Z#"'#TaݚEWv. oFi_-Q:Llu3a`QӈCDb0?K<#o ++IkOѦ[ˢk#-y5]mjpFj39ݝʍ*?uj [%Xq3?>5zvF9d隺"2ΟF: uxDsVU[HñF=Nۃ/>(_y#H|z1%%MHIIc'q2=*%\tD(uTv`WĥqO W|<|8e؛nWNL<^{Fd-?KY-7*}7eQnY%8 f$bc~,ׇnIYII'06a]jqYx7]cjpǒLnCĪT%xaki XO+6'~_wLMq/,DEkJ;|7hG6EMqڤrF e"8uCs;$}( sc+B"]*}Dm#fЫJz'H~V*3M75eAV~)5 NEߌterwHV8dE, +Fj ̅CѴWb;,4Ӳ2J Lʥ2] vH O4ӱ>Q$MӗWG-v(" i ^=n_Yb5wDS+O&VxqQyU~e0VzJt]bXW9)م>z5;7G\gj wWD:o镳ņLGTm* 8P`hnDJڱ*kkbhN E[g^~)^-lTG'g#+Be0n@fX@7KॿQ}Ծ%LSohPFfsB 5(B(C҃bJzqJZ-ZKw3'ՈPz|?Tը4%/RŜp~[p(Elw KGOWA׈~ڟa-=fdC |VˣzJn l ,t{iO͏8:iB;74ւc@4S(2&V6XR5uL@Q)5̈L./3ـ2Ћ`S,YvzKu+W[ L@Pe:}6~jώ?'o;TBj7q\4n2xgF=4|^g !c_.H=€O)HH" ӈf*àȣ3Ƿ,,DI0D˦4re]!ԅx2QqUN}{qtm}fDlm`a} Tv,ӛ5F]6?!%*4AWſVEǟQM^`K?P k&I=PβFl2mDieb5W&dU1baű*ttŴӦQ(B[׃\I{VD$z%Y|DS]KNhuﴣ,/ \~H ,75)Sѕ-n;*)1ggڇl\-bFWZbFMUhvmPr{N ea ]+~P@_ѥO=Oڋlb%L{~܄,[ Z[^MEzvznOATZ@ WglQ Lde,c)Rnɟ17 HoMAanWÁtׇ@ i_h?aGfޒ})7/|4CzG̫~OE$}Zv*Eh3CP 0'/h#yQ?j"FtR"oc6ݏ?xZ&-!WRZ@s٦>]{Iqkպ{fh/ʨ=M;3I$mċ&ͯfNKx_SR<,b\[H Sb =¹S3,Io`Dr[! b?5] rߦ9$N# ,'k^3~?FRѬUfE?AO)XdkddH-cB!kWfV=~RR@VIJ*Wj\nCkOt rjiE9~7Yȩy᷌\_16 qPQL68+W-]rٸes4aq]bޚ[xmj}r5 A^}*5P?Ͼmc֣#(@J <+C y.r&WOSN'im$Dnٸ G߲6z]ĨRiw#ʻ񂹋yukJ}%+_L*9,.=8mI{8 Xdbk^;1uS~[[[bU5Qk7WR_v ]D,]m5^Widn (,0ԫfw~\=!ʍȕuˇG(:u&h w.Ġa Z^r>F|>?~"q34Քya]) +AvɾKEnm:jԫQž9dDqјi\yG_ 3P> `(6&.=S}fr-I՚Vv{ی;ő>12q"S7蛍 ucof却)m 8\O nV?89T W ~w{hcNLDvaFZǞbf Y0MbxL]W_ZU=z\Н]e|I)@XӢ'wHOF$ !g!fš0I<54 d>{}z-D6\q*0W9ԷN̜dw KYyB-fa}4ξAwMר+UX I?/3ixi`W\dq_ŗj&fS}YO[ܓHh\.|mMtYuJPD`zSfqfKV@\H[>o%ѱBb]K,< M}„ ծQ;XYH/ 9*WFSE 'm d㟞s&A$y5v?/oLr@%ƀa!q<| $Q9yߢQu y' 0P>O?jqy" ] wQ5bE*NQ-h b~*t2آu2Qq9Cm#1nbF)@C٢XQjkE>6DƬsϠW_/x,ϊ4Umn__z! 1!Hw9'aLbg00ʛX\pàtIcQIxKY~qJoԁ ;COUydשY ҁ(n"&|R30Bx )F#= ~y4_ESK )_1d#Z}z!"zEH ylMAp&<,]?wޟ{}pŽ3ۉKeTwnvl5傊+!΅Ip@#D.b,H&K2Rl-oRlu' hϋGw`avPn΅S F :2@ywi>' ԏ3 8-C$k#R͹^ɠ]=DA|;ر6}q\[}OP3dgӯdDcF<~?; XnCwHH3$mGz:>"WO<5[hrJ%6u׽U~S=V-m3'l_BAJvw/?>pK3R?(Lu>3j~ʳX7GGìR\^gGS}C?%EBkIŻB]g7+V./޾Zj &g=Wye>u%fO O|RXAU0@&svrD9~X`3i-QNf1)K&Uz/%`;0}#RV*Tu0GJ0p- J0NL1W7UXܩn tʒx1VsfY?q W( t3eAIU /5SaS%.?Z"qZآ; "P0+h[e[Lm.{H-/x2^ iFH۝]$9}xvչztfm,FZ)"9l35dY{ҪVˮ.kA֦^-S.qժ(2;yڜ>BQ~`~Rhj(*Mufr ,.@1Y lr7T J9R*IvW|ũw9RAzU+=$FcrW,>V2 wcz*W]5_z>5)ܺ{&PeXs)rʩ\Egς@?&_HS4BŜCqN#xs3!'6,mwnþyAd=>zDNl(!)IFԷJTQ~R=H{ =™Qs;ta#\gW:Ĵ2umvHK(^ey'z@ Wͬ͂u<9 s@RAnQD Na'MϷzB h; i `z5dqxwŰP-a˹'%jǬ2ʫU[ylEb M7ġIn'˝P!{BވcP2yiobl8DVwAx#d`;{UMxfLM|cl N~u1 >O?ǻ-{Y@Bu"g|r7IYJ9BS*x.*X=w倡1R̶4Y;z30 MK[P5dǢ o?n5.H_hp[C\ܣ 44%(Ϊ3W׵+w) J@91ΉC rzlNeS|hL(D5vzK^+0u#ԠgSdfjtN;a~YvVlrL( grېԺ-qa-=#}Z*~E> G$Ξ( W4˄UT~3ws@KԞTn1K>,OkD0j/;F0YJK6RN%I61 E=Kq Ae{^lƛY 3JWT*NnW`; gNA `yaccM5GRKSCֻ&K3 Ojcc=qAz"ϯ6|O 1i $@=I?vAX-z/juD䑂Cy1t' e&{`S \i5!x5#S]noJf_8@X?9[MgWoVnUO4J}_B#l 3;,Fso{)'ӿj6Z,D W0R˚w$-;Z5r]{M=csv&F+#3?quc ߈t@X56:;`sSoyu8|v2 wzi@FM) d!/5l"n hmbf}1&5ٛiO8[ dWpvR՝A=嗘FŇvu$d Ė@lM[4s c`w%,mOVV3\t(.OwͻoB+ )WEUϴx]2wϗCP9R΍7M?<kc`WۤKh,Vj^I|ix(fnk&ҒcA"j~\4n{\+! uG3aEi`al6e4Qo0GZcˆ,t )Ie, V&ϘM];^\w zW+9_G$Ȫņe:m ӦPqpV](]Â9Ձkxw(u4&(Z+|Ys,Xzp2;ˍ 2MeX> ^e6\< 6K\(~͕cJt;Pj3Q QՐ<\"#T%~Wd[URPSZ@1@FPyXa$n$}B8;bc_藾=aD|=X(ֲFlK*~M@0[&/_SukJs̯`&n2I;@g ~=q IBua5RêG;=v$2]2@5P".oֶJFU`;䬠>"Lzk/91CM!^)Vߨ7|r_/@̭k'(tɑN5!n[6^5_ȓ rԟ.rAe56͵!^}tk-q6:i ;HP';UK8nhǕ\Ié'vn \ߛ5шc=9!dӅsNyPL`$70KXD5,7Hʅ6ͦ8B?[9;}0AEe:*?KJ:tT&SmTނWT\I}<vmeU%c oavzsK?j02ҨsPjh(5-ć+5.sn."{E,ppaFP20y9TAr#wZ{^jZ;\E&aIU/דX! OX3 n;sSwա1$c|Rګ"v 1E5,SAn3媪L1 nQx a`641'-o@6i@V`QBAl7JW-7f||6^ Xg^D4Gv9#XO1}Q#~`49|gI sؾcue)}AL~%2#׺W frJOzO lhFUuKDsKή4j)3ˍ]TP[C:,f++D5>`iP.S46O!Ϫ=G3\*5 @D=HjV[ZQ١k?Np»]"C2,9)ɻ\t`f~UJ{#(O2~(pTRQZpQV);Z>./%P{=to]rz:NIN9Ls AyƝT`:pQb˙aCsgyv[ǧV֭%JE1x'̩$Ϣ3$/ŌeAHQ9!#2iFXA [SOs%ݺWYD5bڂtU)Pyj ^޵Q'fPx?Z̒4hݶm+=gh?-{/ NiVJθW>#v"&>dW,ʩT|4fa.2JTD>^,)s1sAJn}DגNH+p ̔$9mYZ#^Ecg}UUR^X29 aW@=QjxA(ӆ`8!ijY::_U!osޕhw}iFf(#Ӯe/  J,jXԋ>EnLndRBCyfX.0ftXQuF\1IGS}0jvI:Tk^,gͺ7=寕n{I]F7^C|{~:t-)+./cB;4h~3اg0p\Q9]4x ?$nhϫݭUVLLu7dNTQ| ˡ`(6e,B~۸atG/r"o?(ڦNOVZe w2lLMZCVXmFn׋ert?|Z@ $$^D;M.EDӘ*0! Bu`Lhcm 65/H)P(NF?}zfiR,V1M1?_]#RusmJk9N@f'G^\PGD*\hC~FI48ircSpTgk$g$gx?FؗQhrAiFBz C0lGW/$iHA2y̏BIo|[7 =}DqkWK*7\Ϻ2 ٬bo`V)he i Rb7vozp.na5 7@ӓG:X2o;"0'NIk4S2UV gb-BPbr{#u6F"@,ά m~xcwh .]q,gDҞ;Հ.elֺ pzәBg.i`*2ӌ7ݭͭ[=d̔f'ɩ.ӈt@;Kݮ{,.0L7i.Wx_-bVC#궻CEڰQwy=C`5PA '{pz%<HɇO@')c4We̲dskugf?dKUUOP *鷺xGA-TˆkM#)[:6ĖDMoG0(Vǜ}l;W~}X5YC^1g1p;U61 '-?$L)c8耳}͋n3Ë!{Ql,^Q@W@A b7q!\7_rta߮Ho¿>FXo)`G#b\L ]Ѐ;Y7vgh҇.f37MY=p-{ ws V4&L,b25  dS+8Rێ40:kM9IWLq^(yA\˂F@IDy!#il$LUXeyi<- lvjرf|]-ctҙU6dѱ–`~?gx)FWM{OՀ@䄍Y RrJaљ tgXtXIQ ?g% i+}/ڌƬZOmٵ 6 n|Pk"oW= (2;&F^"[=E.74Z՞`QSkAF$DgX Oi 32 ܯ|?/ʄ)ZKԡl6J𮮍m?_:НU}Ѕ%$i$V# 0GJ!K$OyuU btMK$y@;~orw(fёМ у%G0B`iK~|Cn0Eׄ !bIPccY*y14;]x6?L;´k3'9D xN{m7(t .հٮlAn"v!5gBĺ!;\2`<jE愡-#!߱!9eMsσy'#WΣ1ZSz7x7+ O %+Lfx\R?!PŦo*fF>&Q-|G2a'ԘubyM?eraZ L\x? ΀-RgIyDzn3 '?h%&( Z'㪒hwI:=(@ɠzSWi*&tZib]82XATkIT,8(lFg##תAMEgqnA_7)?­6a;C F@ -wH+gQ,(Za=gN~^3d 2 W-MTg&,Jg[;%p-f3+BDGd[]s^LM̞3|vH_+3`9nI1r2pvהބD@x;e݆*_Vou?>PH χD ZpghgذB'DbƤPWY^)jY4~,{Ka 䬝 y{@AfIQa+H2ϸَ}2 ML]P?9R腉uKhu90xo )g\+AC[hqWVPSi Јۮ![ɭ}!qDPY[qC\Ȳ rbzAD,&c1$%D՝kwAmzХɭgo u4Ϙ֞fodch bL؝uFxFa$<\>UrSpYyX33*؞B5X}Rj/}C2H!7L~QO*h2LAA1gr> 0D2j'װХtEȌ>Ɔ!TsTZՙ~1Xst=on|ؖ;@°@-a^Sʣ܏}vlgiӑ _*CDwk̏C0xaTӎE6Ib| 澐]<h&JttK㯞]ҭ l[. ڲKv۾5OI]Aтe|?pj֬%rʟ{FcacFy59o--HtWp&moIrZI\5~m>߅8[{ދTEg& Az}J"?cN+`ty\^-VD>Ak^\yʁf^}j%k]MD7Oѐ?E&&+W⧬NlBgo`\&/r:W:YńPZ30SP8[DĵLo(&Ň_)a)za-j󅝧qOMCx!i+ujb1#!O IœwķBTQJۉnC@q;.[z<>F$eڈ+ {ڦM*| cE+41F{jƺ`S8y8!#8Ƕ;Gj\ZijΥ% _4s?i%Jԟ5̈́ 9*\ҏe3.3yk~xoIW\ >Ri_3ENB}h(51VlCRv ͛=صlLg5/Pu-r6!a&lhGNM9$v) S3Vͤ.5;z-4/e5EK|`"Ll XK-`|Y_?ך"fPpb+_e "l`_QKSSjT_:"@Y&󈬵z%GTp&_`-H5T1^bPaѐ.VsLMۮlݤz}bc(X1>J≠͢BeIh:E܍Z:3+d-ev\}0MkoSq-wZ@WiQt M;kDMS9q{b/čut1¦0Ub:Xsgу ,L+sphF05%v*#)fh\lT3ߋd4 M\e2ڗOKBW| jn2rQ߮轚N[_6PNpףX#*\I} 5N XeC*ߐThd'& r1_wE؃}im2)/*(0aL2E,҆o-1ծ\5HpqeB Uo OKa{fkBׂgxSbV_Ad![iDs*[Ty@KMlBTDZ |`9,W+uڕ 1{*N>ͧ on=L)K9RT2 >]x8 x{楃QlsY]& g!10<#ބ&X~Qa* +W`5ZDJ_i癀9AF#l2ހAW*I*ߔi@-8څ"oN:=/Y9c$Y]Ɉ 3s/)J1Ԟ%g=Qz? xٿ-2WϠBpD#נ3ѥ^%&:jWg@)}pzlngMi!'g= Yo'7Rt+ rkIu g} m&UG={% W̢8z*P$)~v>4ɩG*u)Rܲigj'A{HqX~Og!v!V-˿rm@DH3Vų2KNzn55v DbH|q8G P;4i7;hj8_ƨHVE}_*P!B"ȷ!&#KC kNnK+{>, gPg"AB؇ 0Дf!-_n<{@:,d0|MBhD"0Yj+%*RAMpsEDuL,)l.rɶuMu|ϻ7}ᦤX߰ޙt%L蕒15:G<=i:ސ5q8|WĺP;G|=)](Z}Q . @p"(:F,N"CUADUDrdbhU8GN Qi61+eM13=ѷaC t(^ҕyIs*eLLIdƵ_[Ԟu2pbSIuH.Μ#Ur )SOlqoxH^K[ M+Bo-NBVT4'?+ ɳ|)39Fhly裩 9ϽsxrNBp H뵂_r;W]."rMehB>6dcdz7T-ni.2Qd Y\S2RķUPW_P->(3Y;/t墪su:$OMa茁ֵ%@~+)} =F\W+q2Aŧ]jz⦮S<h?tW>V^.e ԯ l+ˣq/T7j>f`CtxղxEstfR< ύ„(ŽB1QFͪ`ڏn:%ƍZ*e#\Ewg=ښ;d9ɠV L>·t+> HkTbc[MAQ qGBpahy.`\"7fAkc5ޡD_9$?~cEy΀$[a*_qNK aL#^].n9iŪ1X'9+_әo,ABsVf8d=d(d-a]P/hNWRa\- `iӌ=٫P>`^-Ҫsb"2`W(fEciUv]W3C{Zd%roFR2ZZ"1ؕ FYRBُ6%NZf1AϕzЦ[6b&IrB]RI?D$_&(fp%G*rU8.. >Xzɘ4RL}mKʰFplLl] tZR~/L^HwKiW R#_IG_Lv#hh"y;T)C>촖Bm؞ByRPͧ|dV6Pq]f<q`~wmLV,;G$i2΁=uYg혿!|asghӧ(68p,IlGx&u\mĠy1)k&̓S>A1# *Pl*#ua&'+AfjYsB~ ^l[z< Yy҉ڈG{oZaΣGqfhx J 6+Z&,s5,Q)62ϗzO8>/.CR_qt"LɜRMpgUzܧ\50YBdF=o2zW-9"cO*7O. %:e꫇Am?qT)ru)i֌ fHRMvcХ'_.>jqj@Xaq٦񦕪dWt--rqGwly/m1^>\!`c4Iq֭ZFMr?<}4߶R*dH,2->yB4}^Wd`bHO[. _o $fS ˀڬ?`ejř 5S'ԧ@Ԡ֚SrM ox E B)-P8"+R0\,ؽm>88)4CYzC_?ai A"&G5&styѐi*MDWTlF#Z(%/?jO."|R0HԂŤhȻdckύ*xDז3,.QL^߲` -ozl%f2AGFl{aMwy_TEk2M,&VU+WT7/=]S4zT%$MA=WAӃP*aLR|.6Of01LJ߉o\NixDQ2tvTbX׆k֔/qɟȏ2Ώb J)5)sy0:BJ3z3NZדB LN`=zAQ'I|L  hCIzpqW,hM ̌e4/%]w:ދC@ɔjg) I2MO7C{HMSXڌ SETEs6ԣ]A8A2~|ۨ{eKu\,9X3EG;ۈHs*J/ɳh.2I~j[HUsgAM*l _~'vf쌕`;wԵ#=DE2q(! zhkM/zK-edzHr+ctf$A_>1q| t0^&cpClhz\79k9El_ q҉Hc_$ϓ;t|,u/dOmƽUnzTX;|&ImggL'Ys/!ǜ{[6R[Uuj"R1 g{RF+B]>p2<̤RQ ewX>?<7z~wJݒ4C|NC?MŸV$I2#(ؒRMBGzTUOf" @X7}Pss[u4eJ/j(Np*..t>&9dpcwpj8ۂVn[~?9ҢobgȞ)X/j4"$8B_\AajzS>R* ~0HJ#Aʆ;>.zo[@|"d`j萤 ws ҍJDYϲq2q   Se]&*x>iQC'ǾZ͢ݜb2&غ{x̫>ym֨F*DVjۻcort 5H8Y"2eIxi$4uycCFӖ h钌FBW 4i!WuteB13QiR /4]+9wbe#ݭp?j lp1pˌd֛ :bP_Nn ˋ_;dZKY0!)CXքqꮠmʿ< f.Ik뒾 0.WX_JIݤMV<^",XK^b.12^2 v;v!pqb~eJ` l8aaq&Y+PhtH׳Yd z궲tמ"K!Nn!aɠ$@%̠$i/uMp9~7bmJ|]q3ozPLRc#facSKUa-~E P O.sWU3ŀ)QHal.ٜ^*fh?&_>{j,b!Bz[~ [U ocZaB)|zaM 51wTǵ=}st?!h?0f1Ja u8[hsQTW4N̈́kpW`M`yfѯuf {k]}tΐsߏo:qa9`3`܆[8~ *-t+ F$feIJ,{AnZ#G / o+CW7GV p$e_f&:m!vXvK(ّO7 bJ+]6PEe*3nIA8Ju +Z+oEcN$kH'SqPؑ5U8 '_zwo&1YϦ +)2k5dxh&4{Eི FfjK ѹfBl~Lr5Fv+1;gVgFa1DJ_SwC  hr7l&8Wk8\5P[ȩ1՝)9>K Bydl5`S (I<jMٹ]*Ut ށ`Skr"ɍ#b[ndFѬ ZUj\̥3dNNBU抟f9bއnK) -kX%q@"j;T$/ƯHL\Ipo-_;ڊ,WGDũ|1EVPx,1 V)eQB4p#dvgrSDSYRw~cC/*ϣ#Xڑ{^a(}8<' T7|ekŴ3, tRUeH ?*}Ԣ pq[A1W?;o4ѶI ƕܞ(&'9@'$wD Cְ9Es֌[l"%X)j0F>q$9,bk laNb-,sti`4ct~ƀJ$9q=UFL"D󅶈c"zjj>`pRW] ~yq2_rˀɎ䪸 0\AEw2D{[iCh$&(8o?Ns%c&3>@pAuh% 8-|1@]$yNݍջCELn!4]Pb!옖r&ҋMjϊ-"D432X@C"ngm HW~By׫%=?s1@[/n|%G1=5:b,Rt0~u_2=E"ڎ@hǃ.ia- `"f.zH:Nv8yjL{vr68)՘kWw2BAJ]+v6tm˵>}==j\ ).'D>SaJ3`U"#M&atd̥P #G|# $CAd  RFlex/Ė.+*j=e0XpsOE|-h}F9私ϧD_VĽW- qB&NqCgNòF%{!{kϬMޱ^쪵v)4Zr8.,g$ rnfen'΋/<}S8ccdNG! n*wEw- g<=Q>Qp\+} -WappH^afPrW!N|6b$8 ?מVЊU6?.Z*H)_"t sNw`of} Fe~:6aC@dGXx _ qoc,oinmv;Hjp,"KxIx246|jYbS ̜( ݊E醴TTYX4\F$ [m~i/0];UhcWe]V 1fv@kڌ ;w8 zΙ6Iuat-8p?6ec0ƕySxU p::rDl!f]`2dMEގ:խΫhfH|+')F"Q0L 7=G5&u*_܋ X{l.ӵ dݶXaHg8+ӎ󅰋-UPEųٹ:>RL5Eb~&<6i8R/~6tߌ(mS=X4ƀXwϒWM\8dCF v&!h 0+kl?1[!'m$|\ xD2q/Hd1B24  ,{T@LvOƐ4d}y9JVJnde%Y2%n͇t -uL `Ɩ\oo8 ˸KOo'S.6nu ֛ w{mC7.+-cGamZ\55뫗V0~v_?{6˦=豠EIG'7NL<ׄi#]jRw/s(xT'eAP"V~26\|_CqlAs 6sp0zB@Cԫi$W>eC0t,ak؅/j$NV7 ey/gPNvU5x.f_#vju0x$eftq̡(餯tS5b ?m,V9 qՍYz!hy͔Z;TSi@ͲbɪH6(@B׆,-Τ1\5ibv};]oRۿ"/YU -Gxm9FA:V }RIyxvuq KH yp-s0ݤB2zJnOCmwDplx:%z: úIuG/z|c}dhdY$1EF^)WELJ4E|Ҫf," ^LZ$X5Kij SdX#Нͻ ӂ<m^'.l7fdNX$?ӫ3쯇zf f2Ww//qWRN}[RS&9 b!kpb%.&5 CWRgbPVw0r_"!YK8r{( J#,pVDWGb7ŲfL$[[6sSyNx}ߟ?8K&asӞQVow6U`-YX^ަz ~dDݱ3y\*Mi(_׼54XR|/z~ZmGw̞4=L )̛m7Åk5UXr4 K]/V Ys4wQ 7dg?Xi/x_r5B; Y9Hڴr,gz'|x6"DQFK:5KXmD>Gl֊ !d,RhQyhYX:šUJFΫD?R[W9e_*&+'O?N~xrmuǿCWc-{2~G8/GEY~+sZIU@x(-U72J f]" $5r!:oBu9bp-`>H' 6(rx%keT0 vP ZD>-\@[F5\ACO`9 CU~&_;0I8n 3!bTvkwy9?2 X-Tߞij^[lռͼ>P&*&vX5}TU{'EShbDE#PTGXQLF? dϦP`CGEy'\ 61v`e\|rjT1 ]5+3:VWڴ*13-N^C 0dG? dv.$J%djX-s ġu37\FG7o1S}sL-Q8;|uT1i#%O?0]`Răh( o V_U$:wb͂)xGW3ҕ/0xڰWk:{ٕ h0Hkwl_(@VgIf)>4awo@uLS-|wcȀDAiBh|S|%B;<cUnHˀ0!CA5F۵(! ;!I\S4j1/Գq%#3r1ۀԍ7,];wRo}pW ؃}SCQ}bDģXN0r’&A6?Fc>uwPQ>JOSFFڧa[pO~X%*"[F1yK!޲E2|lȰq ƺp+cR]@dy+>N5kbtH[ϥ14gAqzQ.4OOyj8VDĻ%ȇ0tE witw['q @`m[tffLQ {IJI cW27h6D6@##W^FE_Y9-\mzG#19bpC?r 4$5:,݆587}ޒ#"{lJxE%>nN[ -2D| jS.KB뒗v 2*gB|^OA6o0kr]a^5ào! QE%~ J7io+jb96t~ -Rv# F>3VG蚦o&o5/H%ĦʱtŶpptN]Wnp/:8V;m5G^10C @yO81,¡| R1t۶%NHs5wڑZ} VV #uIM@\yaQ$ءvMف45IBFOKMWߜbcј I_8pcP|Ix+NjdWs#gN7IX݌4^hy%(M.ؿ3  M.ގ7U.Kg(ŞBEWoudBO]} }}31 }yX *ﷀ}i+Nn% ؄қ"[ sﳫdHO"IDW!'F+; ઉ|ʁ+ps8_0x2?sy_)c~bCsֽʔ'is: 셩Io{T2(6{Y `yTZs10v(ޚ,U>"|pnx*2L%'GUjםUU_O%\P諣Y@T-U"/|^M0[Y5 i/+K|׳y3D˄#cP/ #%Z2:\Ef^J{끜_yfPR0u\VȈ5uSTG`m|(~ˁ:6`Zcրq[$Jt0gj8#WPIo_Cwx!Dsv1$pe0f3燅b|-;V%rd]j,5tqÈ3h) ] ]ynRi552y5jK+ ʆǙY`fjwƊMe:(,(.q+Dd`8'#;6[&BƂ3O" 4yw*@᠉%Du\OGlWλ,Vk,Dg2R|^D cp9?@`NsMR}L{ OC>^e}T!$>*DU}#r)7 5 oG K#ImrU Ŀ~n&K𢉃N9Y=ȓwtf'#ߘU>gRja>9`UN+XM'\.v5Dsً q(XQ?'wUXrR '#rnLg_#b͵/XQYM1E5g!br4ްѩne}i,C:k˰PXD[gG}QHcKj:rٽ\^!K$Z5DQr2K\ AR%$ƭ&nϸm2֟ m_iT9AN5!X-=rg SKT-u5ň TZC" OU6 V/ xs7=io?7;v~ *pd.pM陊Ɓ4aBbl ⢅Nr?ٿٳD"X>@F[*`Y'Coc1>(|)xT0Nܺ_JFcTuA$:>? %'E~>2f}> !э&2w4N4R6G\2,̇?gx-Dw?1L2p٥P;E..^ʩFPoe;wl3/E~NUN#ї6$8^&"Y"Pˀe0JH8dIGaDZTrwF&an{[Mb"A>dcx7n6\tS&4×-߿y芑Yƈ!S#1['JeaC{%de?_r3URZnbC=T՗-ٜ\O ss͋%Hb$P$zK& n5m,*7lC;Vj3C>W`a2b_Qc?WC~gOs ))d$ilOnjH ,nO= tXb3/&&k3v֡&UPSfs\J+j.iaA:7 Z/A:zfrQVxiT:CS)X78W`3BߒDIt#XK>9"Yq6_aʈ<4i{ fiU:@G^ύA3ocmYmXֳgJy]hIw? :5$ QE9f\RŵB(TdvU/؁aE0)Pq9" KQ^vC n| Mq7,7]{/pij $F[ŕmFO[c7#UXԍ眊bD8o "hu?nXXeHu5ɮ GF779݅!˻D MqeT@%7i p`ֲ,T5&kk!;/>u>+prASB ;jif^x Ug`-BQj}h.ё?%:qD;7vؐ6n%83(T6Ը. Pbh;zO*2Jn4]A3q+P!iǻᨑSHBrW̠e71a?Х3J" =D:uRfefGC& zk:8t{g + )/HhVk:Fmi2x g,,P.$ s2J^Eo' TuJva8h{~=96(1Q&hf,f|ܫRؿJ+bL׵YD"> 36{9mv3QnͷT{9KR."%Ą0q= ["p ~bv)ND@?A,_oJ./}顤.5=P`Vcoo b!KPZ9%. `z_qS-XC7LγaM1@yw[D@Y>ÒVgWRX @_'<孈n` զ~@쵣蝁ꎻ()rpS̄$wS;x/mݪ1p] f`XÝJOnY \yi,bVpMkHC"+lYWQ,b#`8O]?:>M8,+¤x#猖|@GjHnc2ʸ8LEcTGCFu{^OR`u5o0]-ʞp9i<6cxшw3i5"E+G'+&:,,jln c3):&&;#"|a(gA/)'^plfخzrR?9 T rS38Z lhUZ٘Bħ躣:Ko9kPX2o(z-;f`aڮMUW=꾹%~WKϝ3/~\n@( t>t…zjD^TLF^L3ՕOE5}!6< *iH4{.31fNl76VkQE8DJPT%psͨ=\7]I{nH \:`0ӂ Z)!ެ?wLϭ$ͻ֑Tl<ƌGtO̎ä-C!y4 AKcgF;-iT(a|ģ7j80 ܽ]3HJ! |!BG/8f ) Pj~n(UzNMiݍ9YQV=uc*lm1 YghD2 a ֒E!l@}{Hس (hlEl#GAgjIs~zxdWõ1(m^feSgUOc >]{ԅg/ТǀKm]vY7Nw mȃ8&aGpUXb=0wZ+lOjAzd9J92І H)*9$tvg|ݓ2  -I}^MFF!4sÿ88WrOy 2i}Pۻ6(զ/`a|ԥʾ{UܩUEM*,oXƫ_in5y@ќ MΚb =MBe8A^Dc-AL8$BUFM'C?Vzry,r& 2 [TC_<9$3s.@O/;8{oGBҕ`[xbb;%2SKΤcV?;'q_%ƏsUL,A+|!ms뻸ʲ31i*< zp?5Zk{S%Bd[Bl,mPAF*ŊQ->K+|1p:~.%"ICBǸ$ !"ܵ24PS{ŲW eT{ -r?@☬P ih)ɏ^Ǻnv-Yh!9wݑBVгX$dn<=@^jgalĔ^9B>KLHD´'S7oBó³(P"esWcWYfpEۛWdo<}*.§ui|7;q B vwP7kFoY1>[qج;zJ?$i[o̳tc@ Yvn|"j*@j3tC/Q Wue2R'@w`gN O +Z*MFngYZ S 1W# HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! E]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``aQI>54/_@@m=Mb:ЬL4UՏ TGQ̷pۼeKTEghCK>|,PG`gt\o ⯕P1}' ea]eDIcVϋؓ?'1%cT!lYL\1tMG5={+݇?MQG/=6> 뛧S쇺O_ <9F+d4ME?\ו%,U XHE$,EΚMD?=S~vG͂@X=jsRA<CiU bGl =1+sZDn=C 9#Rt,¶LY)Gv54.oк'El/7R^P*I' TVQLME1Nn>$QR8 VϦzBz!A =]kK6_FyGIڴ s"l5o0!鈅( jP+QQ_%b1vo160P.>RpEH(OGQ⣶F7.+wg]gWChi~=̼*%@hXI%^ɜ0 `6/W]6d?dUJ~?n#gj{1(h /=[r;)lU $vfu*з +q6Y݆;sE؆Yt]ɮ*o'"hD=KǍꃫV4:KƷÐ-@?5K ݍ=\Kͭ IªR?ObR_phijLL w{XH&Q#hq_MpU6g+?#-Ԟ!q{%*hzAt9deiP瞥ϚgpȜIǮ\?aysTd^e4>}ڹ#gWVv@`݉nvJ;yXT8=cآa5 w4!~ !ձ6FW]W=z\ v,t0{D¢d(0#O~χ*8#4eF2D z ea'WYW$~_Ka`I쭱cjXKL?[љvygKw4v[f V\}Y%I IK- R [JѸcӟf[xcXgQGCHG~(jm`^00fMx2n |hHԋߧvh9*:Ѻ[?hQa͢De ["Ri 崓Zkĺ"zOv4EZ?uev^ 5$E b\+t*B5-Hڪ JU(!&1r\źR8sq{1Da8:eI+|pUVz]\䧸ϓݯmoF>7V%6XB' g g^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id538p1W' THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! c d]Άxʆ5.f-9 rq=ck9>1򫰺[P~#8ƾy k!gqo`+a7:8 ܰ޴ I)i?TF ;ՀAL^)Ct)X Ϙ5nNl:["1S''ޅ" m.>tmE)R;kN4TͰEM"9~ڰr›L!_tv UEHߣ"=&M"_y|Qڝv%!uƩ6V)Ź^w-o { 2]Tke,d}C끁OA!d5{0rHYZ&$eO>6&5z6woeGBh=0xlu)6@]&Ss֡kc{^Wkq^s6#x乭Ę-L97G/F0 I0Gb2u,Y Y!ג#5?T!+6e7`Rċ2ű,^bqxgf Xgb=^νЋ0׸4iGxfA[f* @&J =ntO&C)g$zZM _l!c 6zM9ʧ_O|<[r\j Bljݺ/u9zKtw@%0q f-&gkW,5PْJMB8#<( 41w`{oڿSp]TY$禞`& TŒ`Ѭ^lbVcL7%b)vgD F &JjHR iAYLMBXM8dJ{1~v]#R_YO{OƺB# Rןfli4<#_v>HWd'UD5o.CG][hAym-6YjqlsXK~weZPMl0LQMMF% >4I ʸ#h5^dG[>@T𦞐?N%52nYγ€<5)P"9 `Di2GrK<Ҹו!iP2ٙ=j&ȳf~yKuC7c\%"t{3_PpCH8"~BqWnm mm \aéhUy[$uX9Y,GS|C;ORGxmqe|'9TN=Q+ 6sRcoaE,2@E'Iu ,wi]&.6%|fjeE6P6; 5' ovF4'W L4/MrX9 "k[#E8vq}Ěs1t0d*&cY.=8MκWWCR'2/~F7N:C&Q:I_MF<>dkql#t!/5ևon <{Y,EOz$>sZmӛM6;I&\>J@|ne?0KJdPp'9!V*ǐBn2h];8P8j0IZ/֮ Г/Tb"~ wgXVD_1 wu R&I ŌE `6`܍7)ሡ]6* 4|W:60UeV0.!qFhn25nHO)P<<*cgQ|`,1OzzVNF'{VSux1 b]jҫ8{=_o6J:7G&8Z{^Us\*&MG~\ˢ= $I>Up6H{#W_BHŰ@!ٗ٠ :ɼ@\5._J. ߶T 0-)uƥXd/ Fp3a]GYF7J6~H-n]p\,ӅlvᵣS3" #G䧃-ސJ7&{I !t|gJ ҴTSnMn=#?)#wtlpƯW)P'8ڏm$Yz\*{3 M7ҿ y k1620){E WGѵ+[jT߅I]FX8rW+YM!0Dx1ٓ&ϕ)tT \.Q\Y˭!½1)\o0:PD~࿏9]o3c;0, Z=a:Tk.Es7I7 G\T1[(dGmϞsq{oM +j:HMBݰSSTbd7$*t$5-6}JwZ0N.K;'^$jd^žPQg  p4q9ڍt[00jдՖ Ϧ pWGCR+6vY ?USrWqSX׶%m?aj->s*%MH+>_8?'(Յ9K{Έ 3G~hSSWլ/yF/jY }x3 TŮˁ464 / "pZAojP^ @嫆^S%fXOtX$k_ Q#hÊҔ& iV,){d*Ď5J6 ?ʻ1׵&%"-|WZzrv?OVܛepKP+lNBh:Qe~9e'a5k:ifz(qHc1cilb6d;э_.rHrLgmS /GIHk3@GJ12!`<@Sg'j9$Lt/Ss| 2~Ƶ=t 6qb6[rv}1(CUvjɤZ=-{٢>q kVTxKH$XRՓ;]-ֲz6|cgi24L ek(|ë[{胘u׳I,5MoYpbvT_8/p>}p.]uuBo)1Hڷvb$ =eߟxp0qEvT}mDS< >@l|咾l}y)^v,T!ޅ _(bNqt{iFn'=ոߢ$:eJc7:+>{5Iz#J[h@XÍ#\RN!O̹h?q=ݼ/d1*J N[nv։]-4)~C/4ݰ@ȷT~hooSى!ض,ɄW+N0RچR'(%0[bcc-b6!K8y19?:}.v{iԲ UF+RԻѶHEA,iLg 3dI$3)?{3 3.")nf]GLkSU>F븑Qz(Yo~"Ɣ`sMk-pC1JJftXc<,d [غEA f&'a EK{CSWEהpM#֖U 2;efLd}r!Osʷt# QR<#ʕpA⟩Vϙa?MFp3<48 );y !)AX2`]J^)=}PFce!וRXjXyIp 3Zk6&=*tPt `^mW;$]Sͳ\`)}\4&Ϯ*oXU[h)\<>-WxӤB= <%NUY<_UG.) _)m3{9EAzٸN z>O`Jcނk"քs4cHyT&c=*ny1v$mJ|!Ög%cTw=_gYyI5_1yE5q(,n'EV? ;7l&!hr Wr-bkVL86T6K=ҵl9ZD:+lKWy&ͱ" p;F=Z.RYj%|أ[n<܋!7 H7Sɴ]< ,[F&Ik \EF*I@A>w8|ֹ8ݛQi7OOH(  >jxן?k{ 2V8ƋBN$4'@E.LYjW{P[,Yy.\As9WvBe &dzևXIp|+Dߢ)H6ѩ"Aߛ+֫]aS ÷\:OiQ)/tu>wo;l||K"tzx2q5ty{y){#$<-+z[2t3NIaM(ꤼ:K>A F^޿x/`To#G:㫚C]Dp9T b.7m\GK.~i}񰞒i- E*Cz19n۽]A*r`DLQ O:T`_)?X ̗Z{hᱵAEc5֔@to΁:{t(Ѷ g"ps<}1R2!bPy5%>3h940GU5.Z!GR*a2B\ LwvS j*[w?k8k[cH8V R 0Rq/+⛀/o M6j+u)Ij:,h Qg3"ky)Q#N>K[cגmX-abQ[i}/#N[Rvӊi(%3K߸Y5yW.؅ njOz !z(,B|Y;QK!N檍[VLb^%a~*~t[ߚTŜc@mGa^ҭ ƄbQnUDDʟG Om~<_3}>)!Cq\BLiGhQ8s=$oܲRO'Ƥh`!V?l *.uP=5Ӌ`t5+&ԚlO0CMfb">zC`)]:Io{|9 ­5V@^ј  tk,dp6=,B2i<$FJR{)"-'7|׋Pt'K[˛ʥ <m %x7% s鞹o,#p#^LgQ6 ~0WYLXsu+qvAAMFq$EEDN2ZaIO- \M,UǓn_FkF9u;j.dKIC)Wo-7e+~;#ЄۥradaR}w3P(Fd 6;J##Xm-3"cf;vԾz&x'M5a&i<[fJE4[gn^.[h7$ ,ˠ-,g!9rcDӌ_ؖ{`RC[ߧⳡw57mAǂR6/v1|Vs!9Wrvک0:{q>w*+HNϗ& z{7 ~gKq$kvL7ax%PN%m(/R 1;f#ԝh\ErؾU2EOd,KV*⒭ u؊fcB?^O^ #yNkX)ˆ^(~?u&;Kp,>кN5lr`>!!7w<۩HtTM%,1Iw fr$"3 Yٺ&` ߿#. bMXa1"g+ɥ0t".vǹσ: tREpQ ܭ~Sd3,_aY֭ϢyA4(wQ\쇐?Ni7)ǜ_=o8T#Y 6Hyl j/UfERGw"uhB#XV>(?\bL{go혬Fp;dQ*|qaݛq ۵Ow'9oN6HjW=_|EA}׏B, H0*}z?:;fnmG`;~Nީe*&9Ã+Km9X[Mg69 F|c\m\ك&zbq7nX[䯗G8l]iC-]ocI¬]YBFw&p hR9dY{&BS\e>,>;l-\(W3]l?MҎҶقO,2q*Y}r䔓OYGNY{Uy|Vid9Tz^;@ֿ^-͐ xm\N},A.|҃@x? +te: ? Sی䣝~gdG CjȕA6¬LAg趒{ אc6N V`ԳOgu^q+{tL\j;;p~qR GnPE9Frd5BhDk1DeF1!?g'w]p9ƛS |ydL.|;}__AݓrI gqURscf {?hüXȤcᵞ3 |=K >;@ғZJG 2iW1; $_FoC4q:dgXjh)Q9Y Jj~>rM%,wե@ݬJz;wJtR YiFi#H-<:YPk5hyJyh;T ~ Dl M&l]5τe^$W6X}:E"$51dxk 7_]@\Oa:\jaSTHjΪPN*!e: Z)141F-7USxACMRƩ7Mˆ,r E+.Nh PY^&HAK' `<%6ZԻNkC1/a_zޒKȆ髭hykPbUm_Ů9,~jrr"dwP,c.4Vs\Mw@PG*.TI<2q;3€eT(D̓MݗdјflgEƆ !|!}y~i 9CBee55ʰ<)Wb~. pD@ܑrdp58tٰ .y4X靃TJwj()u.7Mas^jLթm4S&/aDH NP.Ct`>taV8Օ7YױZ .X2Mz EȠ/x}D%5*W/rLSWX-SY4m~z>1|ʇ|11?O)_Ǭ`FJ;m?|r]M p9n&'?Gq63pb&db㝣ZC_:1,*Cš/Swb' Xr iqK5 z#NPH(w@:)|nu+=u8p2ndX;O启!.&'+oBJAO {T$D.d͗jo@^&.o//d]t8BNP e7dGjZEI|"b3L3R(2luHƔк12rLRks^d樆귧386)>Ks zuߨLǙ\c edyzДZ"دeΆ: YeN6`E-Bd~:(2~4F 0uNG I0-`u'~RvJFui2WA{e49,G9 Կi{ | ΕN^7P#?<a> lts&*ƍEW;a1ܹ[먽 /V4toMq!0aP= C!lbLwYmrv&ywW:Zڅ  nY ]o4b)XSІ H|hk, 5A yuV9WdY. e-_mCI@chBXuT|g䘖S\] ?o݀TWy-tRk:@.@9kۗb(QvJɐU ~AS<"dl\~dg[d6eο?lIUNO%deC y_湞 g v!|m`YfS=LRo٠%kzSLF (fvm1 |6L 9r(6 Zbдv~#0%75R{ǎDI:5.@Q 5[ le&ne(覷 )|Cc Fip# >5PEoj]ف{h!b"#r(q .sVA 1B/Ksp&;,v~g>bR~CI"Ƚƀ43Fgg,q) kWɬ' Q2sT)z@Jг!&0)MSam$ *SdS-܏o=o5- n`p.8]sx+[.9j0".ڬdZOlfŘKeɍ<u+R@^ Y~5%5=Q53ANArnn$t5E%'NMv 8lk'a׳:( ,=ڠ K|IµCG @9o9jBћvo^8׮ϬsJDtbn`сF?uBh-iv\V-XmC+W}9Y ъ6gTu, +U-4hHqBLqDvװVi!DQ.\&(V{ϕDkYP%UTp:*‡Cb%Ə!]H;.RvĨ_Uho_h! (4} 7N6,o %;l"| s!Rcy1jh;muf0h71F| @<#!X`J!>"wgڒH#}s"zn_WcB^:,Z"LhaE>3:OSHePG7L8 * Q {:@/k'0,Mcg`:0}:fT`:GӫX8Va|@)?kq~JCr:\gҺjIQ Y:Z=UІ̱B{ I|/,x i_)n߬bSis*TRTje] 8E_{$P3w߃@Ozk:"&a3BS%ۺBGIvpϺS7]s*ag:_dj$9F{lvN#,T=fq/[pHyz_J,E˪S$TM=Gg+ATeGӬ1/ak4: jc.53:Zc;A;dIpc }+'kP< alA֍K8t:B+ؼcKk,qR-K)C&{͉+X#|SۙO+NII5?*.Ѩُ!$FْLTҫ0~*c<$D6>ʺ8'9>1ϥ | bWG|8 L7C~6Y$_3 Aӓ@aCO߹ Eq/Q>h'%T =XH;~W5':߮AKLblr'pcBri0O  =8Ϭǚc7. |*zzt+t%cG޹(G; 9c^s%k 5P赌; 'HK=޾'F5Vo}/="3 ur^y*7-BJYsSڏ) ~OW%?jl(S۔`ӅU쑑q $6Aĉd2iPb~ jn) qbu?^pզg NoSm#|gι!d YuE{0B+28@fy`g[ yP:cR,Ƨ\܄pk2/j{@:?z)G@ʡjjίQn+D3.ΏF#k?sUQY.DZ D \谣7,T745 ]fB͸!^  y$|=vธ,a8?ٸI~|;Ryr$/ }*(G7 Úu%]UTJ?W%{,vAn2ik [|gak#njC2A:gJ) И`gcUrJ-R R=r+Mf6![BD!I*O2 DJgD! Fɱ<@4dU*Jc ^žS瘉J>&3WinX/' Z1pe58HnbY*()Im aW|Hyو6ze23vнu[HE=yw{Nnx%#sll4Pӿ_5ʟp`C6zuwfG(\CH_cieG}w%13Jp$?PN \]`Qp2_HEW;|,a K֋Z(Ă`!= <(k4(RÚ˿i[X/ˀ鎌*t 4ZPMr4ʧFtȟQwR8@O妴=H>UJPqe>EbZRG4Gj<ɮHqap{Ll!It9"\e0gH-5NbHHnWfvK/1 ͉DZ0?ރ?ɠl_:n3ԍD V,TxvRJKB^˗8I"`L 87 lv`.{,Ԑ\.40 -99+{hHx}T$9~`AGmQ0ZlBuEj#C&j0Dҧ{brE^!T=,L*$cmNM~SO4OVي U"]_yt1UJ5Vʉ 5Y2SS`%sĈ50#+M@][Ǣ[u\[k,O9xBY7M\z&74,WCM$?>ϳ*ai$5['Ӑ%n)!<)!_(:WH#U_~*6O9+$qPS:jZs 6&fqj/:=1EڇhJWKI;n'>.vA6v\DO9 )DD+ L\XhlN)ďD gS7VR6nnG\كL1 kORGhH9>,5RlW U X|#䥔jX˼>'*vXK;D'@~f$ . ot-R*Q>ksnO0̛rd-`%]}c#g6N{*x'ȭmX%VgW ꇣ,0wV>hg-O:;_}{](AnݦĺFb@!h&g@UꄻB< Q^byX]Mp n)VT oo@eA%뢮DhevG^)g?ɨ]SGs-\bA9~G,YhQ1 P&oZk0gbrF,K87 cSb>9s5;ޣ[%,n WpeL~ 702y۲'ډ١Q<cӰeB8g&y(R ?̬c޲0ddF8e! $QtxE.[' R.9reY%ɮj&"sAtrx̛6ld.µ1Ni<5;CtJ>3VCK/sٌ+ CzõI;D9<$Fka)!݈??fh4_I(@( 2nr`ʖ{kD^E YYh$3m)%H@UB0OEߛ_"_ǰШZ(@ }<- Z$@K>z|*2i>Y S9O3qH2Ҩգb*%)Pg֫~ x{I.:v"j{f8;(B~\XUz^99lS-a-ÜuBA$|sTBU.[B6y˳B;>a;iLp?(IH"|ܸLR@) {ܗMEҲӋxǭM&bӆI#!|Tm(rs'( sKgZ>$Ib:ND=sCXB],/qrsZ1PjH- g0,whcGMm4Ei#nS'xhg>.I\1GV$6zH!}J @!aeU㪿+5ذ!mrDžF nZ S&f l O9wYZ3)w`#ͅ4y>+x052ո! U_ML[:.Ĉft|K}:Nqyv/c,݈E~ir|BGĴĜMb<0l8q[1GTZ<J$1ܤq(OVI;f*om*Wpzc8YhBG͚n&Vo.j8BL_qa3H#%"3CŅIctfZoOjN\th u$҅(\TA ?Y~`^캜K[T; xֵ( j&< O% ۰W9?ۙTIebG2F$s!73阽!/R؜V,>-) ;_H{ehh 9II==r8[UgiHyk]N6 LnebihF\_\dr㜡HJ[tN2!Cz2]~S5~++&12HjZãf;FoD̊ɛ3$A;鍾I ryU4;XWVUVYB_XQn ɦy~8(gU@qY=4_pRwx>noeiyT$$eN5Ox=X*SpBW}p"" 0ueOPiH_EhHV%fu/5+JFjcF]u'xbe]/{W k!Π:_Eپxt8\\aL$ź@K>ܘ`auRcv.Ibp x # aiqH#2 ڙ@1<ѭG˫ O"2C>RFM%)|oe9'4":@E&fHYfO#+WTݑqI)e!]h?k97S,kG\HE>c84iEۿw"#A439 \2H7ǥ nKHַSNEYzUm R +zՐ0ox{+TS%,G]Ϲ+eB6wʏC@upZZupЗ8$$Ɇ+iQS=YZlS^>fx!}i0ڨũR:UX-7;M_7T.Zfv}k|EOjCn0^ʋ %GKSG*8ȚC54sv3K\g< ދݜ1h!]3mC[b Ch#k/Y^ ΟQ69^C$h,NW!p3\EG oëUc*m/ Arh_DޣRot:0_MXu&rg1_N@Uمӛ-^OX![c&G60*mϿ۪ qϽPIgC_Q9uiuzѿ.o1.Q% k,aR+W6tFA1C M|DSZ)TBh<ʆ_1;Yn̤@6:jm">|07•5IZQ*B}217(°ZlFPFsi.Zb$ͪ]C>}hM5i8o-ŔeVrMfqFq}L{>-y%¥/Ҟ{R?s[w/uv"Br}2S8.*" )_îz@c(KDk<@d=w~&n9]OT+1_=eܠKsxկuh5B*LщU.2֋2cg=%+C gg yBߪC #S~0HU*9Pe0Ki^ ,cxUHφVCQSYchӿ-h/8V1.H05 %Fʟ]B,(rk"Ӹ89P |Zt&}:l NkYkq$Z۬,W81TgxqTSd SVĪsQHu1D$Wrzc.m:_ZͰN˧51CFo:u7)(۪@3x⠋vhڵcoG"y hΝY9fNS6x3S#ϻ+lQ;Bݮq O=#,dNeڢ 9xټPކĂu| 3Y8L8wtb/>w?)I`ݕ5D`K6&XL7%(98N&U]ݠbߞ_vb8 ժ_=C7X֯ص$O:1*r7P1+ŬRj'#֬ R#3"RҷJ_1$ hb >'19ټ-Vfrq )3W<- w6~nJ{جFէVԽ`fOX_O@nqdK*UrW¬iX9'rNp7wd@O(+Rۉ5cURa%~w` c`$yzIGzJCXMn8fzQQ6Lp^eb0ueyWt/Ù˕uNFdQ{j]$ҭ-y'1/,\MGh0k*}7kg~ 2|*gk4g ]޸s=Ta֨~H}?rB_K8-! ~T&Er}$/f:əl.VD0Ȼ=@u>zNI0j-1lw~ :,c#7а~Yz7B"x^ꔦ8NM]m f6.ӏZ L_UU_:>lEĈG._e.K w<`z\EүfH>1&f,iC+C{Y$e,Ż)laDչh}MUEgl4 㖑93y1_vtj[Czvpg91J5<]gB<,| I -Gt,]NciA΍~"ln\eFEomz}x{,cwai&w6?&,I:l(A!wXU4zTjߗpUCvvrk~ V% uc \г"(̀9lnM>Wzr71&%($}:B$ >#[@{ ØaҦPT,ג^P3QZs[I@$'+sU%E _kl)}4ͿXjbVϨ1obY%{˿b& Xj FJ3=*@its[ŠMqv>4mvr(i&YꌼMKRAeAAσ c/{KbezP٨~ԍPv+N0Rä U6LHU?kh%0 0 ;=@Ar,>GoyT@:G"Ec‘R/,jdR1:vS U(WO+{a5!.4wGI|cl8_A3 `(4\1ֹ,r( (BdhXS|I{UT^(l1Ȣ?h=oJQxki껁9s/jHil%BunQ+l0/, ѡ!H;w.G#Zaxc2y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn /G\‚0V *h+ډIɄяbǮ"F('Bh*&%"ѱ{RŬ8 %&Z0pQϰIVUf^d߬Y:*j"6IwO +I:_ըw_Nr;$`l\C ?uIK^HO3m-t:= mf.;@yʒ)E2j;n{p:?NluAI[ݦ3E5Sk&//5qɍz IaGLoϧ=#HtQbf4sfUa`MPR YuI,Hss9}>PqxRt?L=c,~\bM#r4|)x :Ƙ5\N5s %x Gu o2Qvau2P+5~߼k"ED 8ҊUg*!SJܒ7l!+׼#3,gόpԲ|8X;':B7PM#77o 33$ֿC!Բ`U$7C.pLJZI5rTz9pv t y mv$PFJ[Gߍ\JZ@eBK )> 3վس7e׍MP3d!o8Tf01:'N_j-H&<ۧly>):s߅V}I/Hᐳё7m+ 9u +n9&@,%- &hs,lkz$ڄ^;yWȊJB&qjv{N >eh1IJ0G;n >Pˤ)9m5ύ]Av_SXnwMDz8Rʌ9ϐ 3,A Ʒ. ,~{)`e=%.C+RuC K9cdzBYى}Gkw}#<{<9)UNţkdد͋-͝-Rq*4tA{ݖy=~8:V1?d߇x⎻8T c)g`46+MٍT6HL4)!sk76 fحayQXIGSsK`݀nI|SKڶ?!t_`L7bFo0#\ŠfFp8;ښ14{N1(,"9vys{~9_Yd6Z=q mpBcaf` E ޤ&RRareԄl=[*./'/F۬i_z놙jh 6*2Ŷ΋]$")3sD鍕 uѐʪ!>h1?:Gj&_{lC֝yLU8&NGdqO㫈{nuZ9Kc^H߉]m}]ry[9V):@ Y?GsA'`VU~A(U%ЕA۶d"jÀcBo&4tx*I>-^<Fg:|p<*J=][Ź>&%'octۓF ݮ=>h>avfjuY0{{BB}c!iBs:p? ]}`GTe22L<̳"Lp{DѺ]smqhC/?Ame\N2/O^# "WpÖFUڣ u3ͯmz#|Z/g4k_'eU 1ʍbl A "=˯Іo˗u<4Bf3f.h^rX ~}\ph $[Ceĸ`#h_3dpbՖ ztcf2Rһ[ol>h)vA:4-5>#99 OQmxŔLK69Iޛ+Vh[Hl0OŽN#ui _N~#R[۱xbS0DP崆fgaa|Hgz}x]O"$&)z4tKv)S"U߿|5f^'dY{8% ̚tfh gzBfdODDM({V2rF߄ә1?[yU~$kVHG1L:*+ac.0loxdXZWssǵOp3 Ůi4D떒[@;}pI0FеT'62+!L2FD s ] 66h|Mpzf_](d?ܢ,{\Fy01j63TJ\ܵL]!yjRd1=k&*noBq1RX";$0յ ޛ>SPLm%_ⶩh# / lw eⷕ/#M<@򙩀M+7&!wٵ36(ڏA`!qВZmϴg_⦁e`y"X4r2TTP4$/2 =\Bh Rfd+y!I NB"R[ L؄QŰ+ɉ6WɞSc^;\B &F2eyE{滘Na7`)7WX&2+@-k?Nĥp.[[\gYZc#I n j-㑯_C%c,sF  Bۮda|rr@2rA94clD֤B+O`h]!0a׷f3Rrg,F`4t~6krOKN=L- KA,,+]DF@b:L,nb['Y/lyӐ:p`ɮqt{o lH0є*AfI%WIrOr0ZNE2; hCOeP>nYZ;2λmMB^t,[lXk,!:"AճmchCf<NXL1Ja&4Ӣ'ץD$fiIS-]<`r|H~Hkg-%"S,sE{N_V&;hN%xYfJ y4CNOsX?!(ꐘc"/NO14gA~fgL`2r w6gJۻPgu]>&O>h/oUup-pՔ)_('MS60f-@Aq @rcF 6ᝪ`!#Cul HDO=G-4\]@@cqloƧ/w ᛧ=nk"dN|ҷN! /{ qFЭ҅3;~rBgz& on@oQu|<(}g)HXt˵BUD iAȫY5}U(5/ 3j%sDƺ>1+V~4xy܁ZYv,eu @_(Kl J8Ru` 棣 c`Mqo گ;v'[ mN=hq¬!^4ңQyF(Z @9!=Dw|&t|it@'p&>MCL(K ۺ 2U_lf4i~jM(W= |9`fM[߬8‡}anIğY&GS`RaOIqc[薹y=03`"XUi[r]t$ΥF,9p#B!~9Okk b5i.e+ZoT8V pq,g|\L2F }Pul8ܩ!Q6S~uϤ̟6N%MH*emsŷa˒-ZЄP!Q_~&v";JVU迗[Po}Zo[zUC&<7{VFIpwy,[ڡN)YkHFtJGDn"z4;E0Tw26q&6&OK"W} mjτDj !JoP$O\E39ꈲ̈́@ىd甂\,7FRp:@-!w nUR>XءX>U#O'fcE:vRJ7 ',VtJ@[ }8KT@N[ @=K>/qFz<}z.`gtˆz)s (ZGٳK-R첯*}r/K>nz9N]FL*} h5IP!F/MĜiwo&tUkFΧ7Mj0jY}(,gnֳ/-ӵa!C#)6U@⑱6&(lViP}}9TWkT#Ni@DaQEt/?d"RJrB0 ^!'U2 F8 %5*0K!GoT?'W=V9P2T\loEV]hO*CNfvav*rpcg+{f׼<L?@)'iՠW?g{rI 2e3meix{`BR՜fbW5Nء7@I)/TH? H.7t3rX &QJ9P—aO6pF5Q/(}s>MUvP[#]9_Dr 6W zWfiX=>XYAX̟:Mގ6kS$H+r&l8Nc'4?{9@#V[p-a`dvBognQCwWA&;s (d{Й۱>ХdqR_~ HȳN _<><#L1)>_Bac&IePN54GȯSm G~[omӛKv_cZO{;*?:f%F;Gy͝G9Ӗ{SrInC]!rOy~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rml "_ V"3]b:5z׭04[&vPHcca&'a9kHvyv2IT]mf8YEټ7pӵfGj+/2Y7Ӎ"r %|0ǂ͹ЄXhȰ.@3q d= c_ Ws3P;T@nDRpd;Wal@@GS!O ~A'1 0J5۰f" kS6bY{T&'SD)AkۣIƋA)]mx%o"ZRXvZ+a' A]|oؚpyf':{,'Gw! پ N;iMhTΐ'>Ks/YgbZ[._9k^JWKc]AF]'MtwHb^k UȰ hU= & LHs.~ KpEmANߛ{WQH+a#).75pm#LVmؗtI:xgB(Q\D}L%#|DE50u\LY =a8]6mdʿh/aݒP?YьY^A/ߙĉ e*>;KBR]+nz8w?.DBVSWw.ic0Ǿ%gm s)v_T4(aaay4h|{μZ'o@Z+S`lnv7"R?2!Gc*Q(|ΆՋ酣]`{ q'ٕ-6yQ+/.@<}|k9sV=9T%S ǦWxcp ,i R$-~.7d6yCV8>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[:|&[zfѸji'# u)qX9Ր^Il-beoԮPlJy`GbMLZy#vwm#/Ơ򠯖L(G*/IH[E _`O:y%5AXDXc-hMPhvp{=)$Ⱥ-m])H Mǖ3- L_Mg 15C?ݓ]^cH1 "ƍ G?+['n験=tRmo Wd|ue{f"6wbCx%gHtnvW{!HWS%6}%j=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-K.dhbܟE*4g!*œ.( foi {[oゕgŢ.R1>TK-^;ޛb!c)EX`_(j_4>5F@8 x&:ggpP$B5-,ڭ4EWRj?Kf?zp'hq]k2Dvtz kh{{XCQ} sa_^5܈𺺙>מGL|cw^e  v׈d* y*xzk;|E2 mup`#EI5v$^cnj 7N-N *!l,1'|=!$úS"Q`)Ꙃ_h).v:5"oX$N4SN}0=.Ӊ|M9m>K$ʣ>@~g B ƃS8>j :ڥI6*9$} [t:%.Ђ do!\˂O${L LE/d}`o&!o_䢤:f4kjjvK956-O%uJ-0871X8f\ٟcBhG0nA}f_q@qgsmL sm;%-DWr|@1WPW~6tYaݤTNýÆ-ShS667H^ $P[U 15uF+ ʼn~ iߤYzwrU4YtW$ߎ9֢cX`^gRXwzSLnq9@w(x?p{aru!n _f7+KقMД{a@ JG nPr3~FP '(/nxId'Hnoq][s@~t ڈ"ɍAn|ܟ$(0ez1;²h죧/-qe3(uy%FY!>OՓ*uKnQB)РWDviQ2 y? `7kqk(_27b# <:dz %<8Hv$YM~4anH;#%ih{.) O vWsi$TI{vsNTkYQVނ+JϏF*JL`|t89Vî́[V/~i S. b:]ϲtW/>'L+5s 1#Lk|=4±R+bI+xag?PEv`Ǡh[b+28({zq?ҩ)jl6RVwds2%5:hQe`s|+9m~|A itQr#9KڳK'xБy_<1 )o;>Dj)RK|>$/OPw[yXem t, zቁ5_r4q[4Gbamؑ d!1_u6໢{Kq㊿lEeMTBqp-4tƼB,Ũem̤|\48> 19|Au,[MG`F}^T7Lӷ(@w=2g3 Lp`Sx:Lozc+XT=gX]-[ 1~rǠ;)i6ԤPFv)st9<\j3'AϣޚZQK"IMHj:MAW:N?vQGI-go^KK" pw2bՕ7inFX,%6J%0\-SLzզ" ]VB`E('Ж")oЖxkYf,%<~{}$q56_iCmqp.iЩ~.~S-,6vdi:~3[ԍ™S]*[H=[C ~*-6o|Uy [oc#ZR w+ڏR&U iEt=Z^-ƸțgΤTsܒ,%yJJ䲂 Gd_@Gu9RH=!Jc̈́(I KQ1A`J{4{Z25 ҿN\c5$ Xċ'gKa,~ZXJrz h=!#1 w3r~sԜ{ Lj7/V褛6ȽMLӬ5@4Iio12. 㨧Z&OW8S98݇qxBxWo; %j3Q/av5ڴ0q;_xu;L``AGvQ_AS5"rd\^ 6I?ZDZdEzi22Se ߄cշ(r!뜇-g1N',ɛ`~w(f崄CJ=!icp#nf%Whm#yBipUja.t^ x~_!3 _#%"S$+gef>w\#1oBy`ೳ;1X1@žG9*\fZUqͤpdNI޽w]τhVcxO`ZE.>U !:KaPAı {sM韏]KQnJ7.Rm1.JIˤEʦ"ڋ-Y1,ߕa vcFPfp' Uh-&}*D [{ptbUteHVTv^<'4tGQo ]_D*¾E̴<@ALQzhlMjO}%}]6kyZ~cI|:(R˩ Du =R_Ǎ o"\u3"@:"X#~ǓsC@7*#퇘MuW#yɡ Y!-|l{SRotdEum]è_x\x: \Gto9f;F|ЉOi=ǿzڪ:NJEǽ3!}?kx"7 lI^K(|> Tā^ʥхK)x:~bssV:d?"M3+1q7ѽcJi= 5 H mǸRj7f ԟRkh_0H,VT2l]0흟q[%AC[L[=ΌɎXU&DL./U/u}čZ;΃!b7뽜 {eS?+5?)n>*2ƦJrwo ikO^+{i*/{b3ڥO : #ß[ty(7@šB?N8w~/\V4pvx tgiϺg#T;`Ǡܱk,hR!#sphV)h&j`Yn,%ctf֘;j$-xK15O ºHM}2,[+LJz=jAZ}JD'C9R&SlE&T8A) 2":S 8|eLכcM@Iݼd3H]Lṷ̀ӵùwRgC'KdAY+_隁_7k-Ng!Dar Z"A6XhF+ eý"BprDs T94J l'PϩBkrQЭD$Ff1SqW[  W)@f2nP]>">痰WӀq.KHdgяP(rZ`:p!&ȥŮ 2)#!u `; ?= yLCeB(×<M[^- C_dP"ʯZXi?,0ᮢj"$b]Bjۓ;9-a i^[ S K1TgYZ?_Lt8r.]4!+xs 2Ģ9\2rBs7 ihHu)*7=Xl7b '^-G!z\: H݆1cG=VcfbF6yN~q:kY'¶}{qU{H.[ MPf!vꙅGǻ)P]iд#<De_Jކr =DS6yb$NvܟwnUOPn##A>[r3$zWsg͢\p)|y\XkR+WCiQGn vôICa0ҐiӸ}XLtd~. 8X  VeE-lBRYbپͤ(a/}9qJC]PVJOp';$*ylm4*@N-{9jڕ?Lvd :HhFЧbyFL8*.`pLnO("lH!e~{V2l{'r`g#% FM0ڎl0Fx"<ʳ]zāe#o("bi7֓x4YYIVS>-@~DHJe'GY'E&25 agq6h/vq@z7r9ݙFQ?Ctl+l2C8{\{o6@~;Wd20˭;ݻ\qh`ώy16\ O:R)|EhCtN5o%iضf2͢ 󣏰m0$ssxx[e;|#s_6(ߢޚxkv$ub:k`//8˸ءѪcm\ YI'̜Yt$6swATTIPL!&hLR.K-~qnrq2JY晉gI11L4I !UL?QL: 0/z!3I`ahoVJrĦ"Փ$*./tܺ~!- x6,,;u80H-\ !$g)(;馑{ū .S*'ϐG 63BƅX?~% !dZ:`^>#W6#,8e8z g\}d᫭ozHkILܥlWtNF5AŰ|#I$xx6NN_𖱥]Ϡ-â!΄W 3'"H1 9kRa%.`Oa,MqdmVY]B!T8AG OP%Po54 )H53iy Tc:m#4ƈ4փ*)S300rV1kVb`"LJ\`VMXGUQ3G GOUA]u񟽧N^q!]>$13˱Ti[n(ܕOa XXUY6oUl2QJ&#:uƴ0ṯuz5,ȊKC _l\4x7 2FH! TJ:fquGY)!Nnp_/.!'rtz/vAev\AoYrjsG' Ew`.F,b{{/$=D]VRyq}eg}l*߳sMmv=[LV\CU7C̓9޴pOМ8#m(ۯ*V\2;eƮ}~C08F@u$>2*ݨ U}#{rq)>{O閏ax9\foX}Xs/H[4U6CB'xci1S(p#넫.iQ#ӟDiɯqJ^5WX͌l_ v:G-SM$]uL~$Ul!RA(ɩţg2=*ݳ%%M]0ql?;Q60C68Ɓ9 Fw6 CyY?L]cs2=.RxcjT{N7B*u)WhpD5+1_[*i{D^hq=ꟲ[zoFv~b7/A2E"֋⊶^ zaS)T< +M;S$df:͉| Z coQ6xkz+K[L_Z1Ұ&"ϭ0>t#p}염ΐx{<znuSeoL/vj?n U^#e `ȵwYV;O4U7bO#X)Չ0saLF zGZKL̸2-Ho3w\!>Vi\#TR9Uc #wJ 3/W'Ibӷuo]Zuoϡ>Gc,Yw\C(㯳d#x)gI-<]?UΠ?aAQ6+Zo޴ (_pK#X1˖?omTڬVSdD,޻ƞŬn>w_Qׅg9(ׇy"C: ʮ]S7X7[;r_{ӽf$@LKVdݦ!["VŪ)+Qm.+b- tphC!͛O|c?)LhCoT!M"7,~;|WW|5E.IB6rrmm_]9ACԝo7q%S.ֆ׿.*oAކqa?)d$ q3 2ҖO d,Jl/bUt@$>StY]؈n8 P$e%,%^(ڶϞmˑ#/$HY< OiaƑ S]u:e7Zu!8$=kP4hϯ%5md/!gt[e/hAP$%]k3bymg0Z-GnHc옇`/2Zrռ1F'R}fk8  _E1nal~fe剡n-]"Bb|S^Uvh܆M Yﲤ'&EsȾ917m,6޽`lQ8AG[pfUqRj alInM$}CCl{Mi Id҆<,߰Uo66i?!6{- =A$oz9Ql)jk?(RH4'_u(s]E# HZpp; J;ʄ|Qmڶ ry Y7# I?1 șmݓk3">,c5~l5QyacK UmRN4~RPښp Y$`>Ӽt+s \zsZ:#Dͻ-_N]nkcD|̟P7HZ aiXN^B=&ɚE1AIJ1Ne4|9DxWci\*=e*<ң]Q`[K&P_2]W*(v3څ,o8+K^Wӵ£T C|W,^ !|p`2qn_M[Xr5ZeD 6=\ 菹 6E1iT8.^ı &Wר+r0H߻lF!B$!,pf(,DV篫.jZ7rO=n 5|>)gVڭc'T#$ VX&,P߅ڍH%Em!&@[90"}}{JDegJ'&k_^Lуvt%CSSr#[dW ۄ L'cn/qzy8+azZYk?5sOuck1F9`ZDc%L*B&Xx+2jVW.Oﱣ:=ո!o.ї/:$z%h:{%v#Ф/pZgZr*NiB( )+_PQ' *hn)~q55XI(\@U>([ir* reI|]L c[4_O3LQ܅tX"5e867Jts`B5d,yPK AH`We 'O\4Y^0Um%[\NFT+kay2ol^P9$͒aUn$G`ۣa8֫:6}D- ciFpT߅Q8xR*"SdJ6gYZ   ux*n%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1;' y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-?޺\@]Y G΂6l my1<絆*Üia$@ru'*悬`{%+^HljD>u*wW LD+6d^R2}`<ܶY^uZ #k}d>*J,G&+=~03&YY#IW~Q0|g㊷n߯go `(Pr-_ixy^/GQtzv'L.6مJ[]G/SpD>^f+“97UD :|F}U$4ps8Av-Ǣ xwJ"&|o-d'dxҷ1^GT~Z =<LJеa)F L _{ !PQ*tZ3fx\6_%;kGaBiHk Υ# c1?)/ `/:pu݇x3*W=f zAnܬ>ku 2sɣU!kEVv;C9\PXDS1ށa_1Kl0Ԍu{ʰk <@v ݼ3 V4y E[Cxu b̹ON^#E1(b4/un+,q7VTƨ\wW®zDMu(vZ qDxrBGJOvuFĉ=X>b"#&h&{WC۵(K=hO;[+rD a)CHs{.YE G#7l&G fތ,q!n/CWNCpFLI`xpR|u֒,e&.8ۺ4`?H_!mLW|A\!1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC 1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526e1I' LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (_]D?7 {?:fH\z&Lf~5TzoBvq|y\<=xM^Is8Yʌ’|.;:cB\k0bIԚDCZܚ5?^Iuq䭄0PN$Jސk]0H;)U[H4Љk,ӝRx|5CU:gfV C!իWT/5E].ZN*8)&8LjVP`J]=A|G<2zx%qgNz|8 ^!CgrC0;үvovr F `#Ss7yS;@ARxRjwFJ9p@7d[l%LهZ (zQPh\Wr!)*yХ 7͑IN;)Y VWAèH15& [ǾӐqY*̟ iMgIǨ Yݜ7%_ 6=U~kifV`Q ]uhzDSB3=pRE0N\OC{|=3 *. }Lb%3HdmE{7Ն I\.%zxkئeTT B9\ ;vBadoPYKT"Kl7M^eCl|ÎcjRE[;tH(V)[_ :ϩ-&I*N5s@`H԰*2=} H܎g|.f>;rcB {QprpgYZBPf.JfCH[c5CߞߨqQ(HlkuC`iD)z2oPC k{Yա㼖:siÄ[zg6X|U5=k|at+Q7XiY~|۵pG &4 fWtxej3&P;eqJ pwz.9 ͟fr?v1wVsXj7}p q#aQ"_O].#Vt]`&g)$qh\!&9ɮ=eu<-`cϷ!63 F, GaZP@+)zdY5WB s$qNrBW#YS.d9֛L/]G g|+L$SК fG 2}Th812P4^%J|w(7uڸan LOkuqsqxsp"ez+D ))^8#nΌ.DmScNg62ⲇc:s p A=oUx23<*Hs=j`|%+Y59'$ZXtW\}q}OBwrɳTAXZ*EnvוsHqq˳V|t-ɺ=CzϜ'];h='NKREb͝Re' _BgApUhqOT)4bzL>-_| 5Jl=͍*k 2]q {vIUFK;9z %5H*ASTsiJ_!!E߲9z_yCa![.8m:]=0*AhA@wVKDޕUeIĦ̐;M۪3fP;azy{#BAP0c}mbi ȹMX47,˖8^ Őj'P*˛I^Z "\3 wjCohEwP=౟3n1d7nro 12W :Y/dww{Kb ewE7X7ꡛX'R| y-T)6a)hU5!g몛Ƚ] 3`8F'mZcC b:DZgZ+‹iT:^E{ipb!;/dxUSbm  * 0``8-e}sIX>gЖ?(E '|+|9#Tj> u1m'>+A3tV.<6r #n|^t@% dW༷7w0amB`]{tw!ܮQEÐ){ 8 ,3B&M}zMpLڳv6ɨD,f`{AΛP{I+[9X5mEYOf aExBKĞ.D eȸ,A{VyWH98# y(KP~$ӽ"D;c2W+vt2Ws\:=z5%ׇQ=+GO E"Mzx釜|)'L$}t+L9ۓI^Oj!AO&YWAI'ܳq?{ѱ+ai`}5̜XNNOG<ܝ'LKѺ٨]uܾVP_+1W7j1poOyFxB`V %q(~|3N1zEQN<'\z⁇ЅAݷQxw)$J} K/dTfc.Fl{/oej/-^* 혗H!rV |pt4o7`-jՉ)(լꊕ.{0DRFh퍬Z"37FBBNڟ>T.cyh{>MHI5#zz<2sFW3:6"0!rJh:{h&WEznFtk )ԈG[Vj1.C[EV|q{I# Iv2 /QB)x67N-܂g(}bA)Bܥ l$c%ج#9"La{{)SMz,<+1ޞ0:<^']\Vpb{ѬQ}f`pB;dȌkA(j/|{,y 🂧+i˜}Iқvn!EН7/ԝZ  N#k@w>8d1l6/UvDP AuTz8Hk@g>5e19M[˛Z ^OG I!U?ķp\إ"32 T=>ӪZwAVv0#U¾6 |$tmUOY7nkJǬW"z>[+3C>cP{)PO͑Չ4çR=wG`}a(`:x(EW⢖Jf>CDB[E/(VE6Pukv (0|4kx ,WkbdWI]ՈSMrYYT)hiO-@V Ld/%0WxK i8w =42X۞.=-y K39%RM'6IF>c7図owҭ1]RHPGpIC2?dswaY8}x;21 OqqSƈvXLqĢKWMHf2^K\cnQ3;jR62hA O4wNRRJݾI*b#g _߼j ?X4aN~4iQ],}r|_v= b| @Z;bg?#T\T{U OWuKDCڔ1j Җ{e͌z{^IayT%Tx퀺}=M{oqIsB;awџ7,!Bp\euk<n #%!GoOU؞~:aIXE4?מ @ fFC^r. 2r9-&w}vJ5]>4YMo#?fgdh1Ԁ/NK~}|jr,m9fН7UL9CS~~J7x8Ib+쁊YJO 6kFc=CIԎ6xFq}+򱙀5ēXz_A [r`+G~n*dns6n4S5$ysbB1!/3j,y|YTM[$ZMھF` ~>IIl#]|0 b9 ^EF?Hsv!O _J}V \x2<;|<̗m>J%k 5u$ tк^}W~/EB.ijh Ǫnc 2\i,Cfizin,&o EjmA4WyГq 6DMcd%wI=Ɓ$hȪu[BxBLdyuۚ$A+ 4هgix!.>^fl}-$d55)?^X40J&s[ Y 5&iu_JdarhT:<jIѠO"hg>P`ؠi#G)w+gN:7E}^8YVg5a2 m '-lгesݴB|dyQbQMij&=L+:g)ZK[gQ+o~8chdVI m5`Qd=;ّuyՙ j]B:'8{7P{K̖3Q"I`KϺ%Ctٶ0pUНOeaAP0D4?A"Ǿ%d}uє% 3Xwv[G'x^tz!Ϗ=oIw3Аth˧I.K+(oIja4rB9xn{L3`6F5PkkoԣR "Kc9QT;0>7IШ+gKYˑ/`By2wU {8òBQ_<Qg~?Z)+BhL;Z0dͨy 6Jbq T-0vؔP4`d'3u$gr*rlѣ2$]/Hթ =_3E=g?+>w7փ2u[(xW9~"G% ˼u1,wPzĊ*>3rg8#h(bfG&9_@v{^w3?# #_ 3eLy )؉+㒏)0۴#OVECY.ui?E-r4CAΝi)DH>GDDj ^tCnm`!$W)9~5z܇c)hWHqjW+6v,c4=ֵ @"dbIѮ~xpgD mp:޷cZ܊KGjTԀl;9O,5я9d8K.;L(G8"I75z5@\%mt6bri)^ldz7 CG(Fr4}W5b2a~H6D*uN hM$2)pR_D6ހ4Ap(BV: :((`FqS MѱZܵ"Ɖ'p?}mކw,/6 NP܀972A.$JGLf.<s} piV]+ )aв ؃KN$2BwYITe稤/DHې3˩59QPq::L( 6&{ԈfK$h+i{n3'oS1<#}"nRi<È7:ӷ|Yϳ9cNmrx{zA&P5V].HG~<噘&u~odj܁^Om,{!7Ԟg;aTiؽ;ܝt_!F"bڅ|?>Ձ5]Eu"y"$:Neѡ"=O j$ +``wG V>ۓ=/{һR[ߵbL-mr1 հaQyzn  l'GOTUw!z@S'Pク7N< hkk5,ЦW .}LI]%L+ocj s(`0nKtj#mV?5+uN(}QyΧx<>vO/ +ChB)"lBɻxu '/wil1P!cY$j?RL^zF, rQ>B`we9—Sk}ʺ >.8IA.3s}j5#*;O"Әy՟ t8SedO}u yh;P]4ES?%A:idqOmzy 3wt_U;Rs[pG-Q8v, ;aR{lN{r;.@˙x1?D"a4:~8Ԍ a6{/=kWd c#jS>ŀjSܽmSIE($vw| H:=ϧ,iy9$S~'I$ ^PdD8ImjȘj8YꬭۃlXVj1=ZLbr1Mi|50~7]}r;.gb_n?QlbB{91>pm<&Fe^mn .dm%Nb=ռM+{gYZhJ~&V\[L˝{'Eʷ)ױ3c<{.w0ˤ"K `.+MF氁e%@W >u`BڃЙh[L29>"~ОKW @c>zqyĈ dmC XKl$7*Py{ oVV⏹E.wSUx#LZ2,o%s(%6",m?7w~?E :5ZVra5qPYDT Qk`%?"EQU_s鵽ԥǟؒt!J@eRQwPl}=;jtYE[&Pk\Y?e~"%)'OwM٨B5ދ I1=kH `bXt-A練Gmak. pNMnf&AP\8^JrCxYy,M Ū%T! '+L%YްRsyX=מ;VJo%8FSPDL_k:Js=+H$S]ͽs Mb?it~,ѕxB'dHaR&m91hTr Z4~8tlZ&_jY`GYMx#P&M >JRC8hۋL>sk8>uQd˟^幆2z`Zhxmy9[])UO?g ¢p-_XmxlJpSC /u0sJ] s@1?& gYZ | X h |$, 1A# THOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"4|tH c}.n@P0|P_Fuf3z6^u'6gdWġ喪s8Z1zЉa%Y`WG' NC- ei\Wq9=ܑi(y9).$5fuN)⠏lll6)C^[R'3LJɰ.SP1eieϽiRgCXrpSd[h".b"*Ij?Y6Ff92x~u\I9k0$.ui#}ub#gƭNGE娚Rc63XM{P;5*fI(|$ )͞ab|cY~Lŀѐ_gHfZ^Y㕮{iH tMK9*e]Oi.-R*-ZqAЌ9ACrMZLM&-F: &6 JЦ su 01;]‚%8&2X M!7Kבj[-t 7#DKh(cڱš--Bp:vk̋YT5fL>ʘm_3sn#p1kIouLe8pA6~]_5mhn)?}v=NFpPt([P0'- m&}et֪[|ip{ 9wztwpu_T A#?5$p_Y"]zˌsIF&baC#f=r0eL Ji?~P[ : ,DYlQ<1t:e=I R7;i6B 3S!r~.fSC~ݳZX|sf9:5l7P됂uS-"D2MioU{'u5eBS- igCXZ#Uo;z3 LCXiŝ͠YvE"mh)BA~ٿJ7\MQ^ ɂ>B>lAi4J VL Y0Ճ,evG 旰-E?^䭳8FZp >NI.ZF]M /J*<Rw||n4xQ7W؊32nR.%QBY]Sq`th 's:a0>Y8okot(ʤ25rQ]oJ-IrF[Sb-o J %nO5/ ?G$\>Jq5B0)|ĭ~)bF.@  m3B(SyJ_׹ZˎN1`Uf;;kdWƓg _Υ_~ٝ۰R`rRw;uxXZZ]Uk3C%&eTgm~1+y{(2EzBA;L>̘-aZFѰS PZ[wG9G|\9.%UU'Q KR@FD4@5b NVK24<vGy:J1yb it p/f;3Gb+1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF*1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id524<) 1I# |HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwH".L|z} NlPtz'Rvg 9[ ޳rDZZ;\{]߀ `MQխM{FJ݅ގiy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy}z:X\G,~ZrWC-\HjZCluO!K#:Lu[8X7U9PHRAX5Dl)2E{q!q|3g{&%WBuNu6ۚJSCxn@ CFdG) p xƊ/{ Q(4P^H#HTMe \_*DD+cBx3VvOnN.M (huT4˼ƾ'sڕ!惱\QIJq|KyGQ ٍ3z)#kxu#OH5lc/ΡˍC9=9KxPw`O/"2XIUQ?'% 3uܠ%!OmFEe]υ}mLRuq]q:X*5ɱѭE,4qR$g ; qFsd@^iElwA_YUS7stSԺx؆D-^_Z4k?$h#FKlD Ldf-{/jΠ;h$P;cA`,>;э OFf|n'|,Wp[Z/@R{=}j %P:&} lYNoC۾Dҹa@ ˇS|[&le1R8}4ܭ7bE)^EYU07S.j,./J&/G}xCz8ձIP$ dy,P÷_.]N1dd ԰_D6S /$)h3MqY!9;_/@ " HLkR:$GYdup>Rv P2$13m.bw֝y ذsHNөgLB'ViUҝ7ϖd,T<0vj 7I%TjMuKkA'Ž)oz5c-F+˵gk1qիZ|'[34:ܹ aQ7gOUĺ$caY+ Id;}'Vv B7fɂ23Su t`WU߂_10S.}}ajZ\Ƃ9aGRI~3x2Z/"p󃎚{6/kֻ@$jg>ll'مA3XVvWf9`ޙ_A#f@Fbͤ^X 4Ƽ~ieRN]9Sń}ml~+˦8C,La; UjOPQe;yRdtu/&}{]9D]-W 3`}m*ibg^GHCWvQb-Ъ z=,Z1.5w>ְɆn?}]"E#4y &SǛ_0N ?R0s݆u}֜"w5S0Gdo(.=~_: 6ݒĞe+uX5gCX? 9I^PyH @d3AEy J {" 5 .~-ؒ'DYeZ7qBr5>ĥ1 E'0L3w[+b#zh!HYI~{m~|[Z*G(1Y"UޯmC|4V_lm](wHP2eT*SO&V.߆ zHelJ܌,dߡP!N^JY>:tXۜ~'s(0=I[@6F oydi5)F,QCvlQ/MPbi0fl L4.sw'*s's!ho*=-eK [=hhM/V30|%L!*uh3, w f,&$*q(WJqj PoXk#ܗq*_{vvka}vr6֞.ov S1N tNymЀ2>m ׽!*TY3q˂(pɧ!{)alX#.- #fK '|:`?Se"),E:":]P=s/NVУKG`O% ӉքVr@Eۭo=qގ[OTDQ2.9דoNV9'%V<00essRW&  iYtfYQyw& R0?N6H.KZF)'k|R1T:)v/ewA΍:1aAa&&=d-‘d ioi]ia=GҰ0^rJ"3bgkuu[dABQ{TJ>n\SzS7J[,'dl&=w>x8$QxRHG+N vQ6;@ГR9ZW]5׬ԻsJͼvj "m)X:9_/@z$iY~ĝƜ"F_i) %gwLedJ>Z흐P /'W, cDt,&V.K ΰج{tm-^e,6+N4r"0 UyiD4Pr-6eiYj gM>1rzSŭX)i;Leuz-k80QxgMQ8k |ɟ"/v"CwRGY݇^kg krV)A(Ѥ \^B G!l EJI}-j'0"-M ʜ+Uyc:fm_+xt(Ooq%~no>&O&)Oq&vUHФ-O) .N1&%YMpɋdF ,ǥOՅ? |sf>9`}f=uFs9?<(Xi'f_ac:F)mVDۥaQ͖OKKOٌʣ/,`y*ͮl c?+V*tbMl[Lw~eGū㑭&@v|kT/R#V5NQF&->-<}1 ߶}p1Qgeal. aޮU&ݱ,cja1FWY<ݪ,P2}X(_͓>?ju?돀Cgʔϯ蔐}kd;3` MӐ6vtAaj!Yykآ p|xCp(\__#/q2T>t#$܎j 9*$&P.7K5Ā+>MF:pQ+3X2@)MWY67[~F*2.lS\2js "``L P6axnJ K^rd_OʙhH8* }\Ft3碬,ȦS_P"%)YyHvOv#W5~K_$|v4r6ӚaeW\+P? $aܻϺ210yva[EXMg-2tP1=JB@x/6 j^#F+HtԨ$>NЮpga0CBOWX|PŤR(7Pr$7lc4^bX.Ƨ@.16ȟThDq֠ʎq/zge5vq@oe;FD*l7Y GYF42EhhK?J|ZhΈ_ !s/BrEPseoI:vkիW <`XhĤe#_ȡa'sânH%QsEIr9YkL+NהD . {16˴iFpص* ֎N:rфv5E뺫Ӹ]|к^V8/G Mu6jZ@ (W- p7cN_i j J;/.}n (SDYA}R""8;Ӳ"Ip`wxGJC=;g5\hPuZӽ_ӟYp)s\%g VЄBűz!l =NV{>h¯S! YPRK]¸h.̮qE%; Z1#YkK\ J[,~gAD@7oC3z"_QLdAqCpva 'ؽg(p#o}:D (Gm|=#RܤΗe<IV4sTag(f4,V ')M#º H0ۧq!EI0"GR[bp|l̡)T~ɩfJWPa-% \u͙RH}N 'PBf{Fڡx?ܿSizCx BN5zT3=F 0a'ZAH&'~YJ&aRK xבA"3n-֍Yg5{bI|fd@$&Fmx<CZn!0 黳y/d(4JOHsӯtGTWw*ǸܰYK7v9gPNGҚəTۣw}sӒ"I!ZA'|4r :Yx0Ȓ[M~mS~XfO ,Cz#­aT%n dL"X/'#FUdxt~Q;Z4\OzʹWN/b ׃(?O:DyȣOWnd J4wiG5X5pwss# 4Z-:6pS '\6Há&yuX:gv@9[^ SzwɰIg~^0G Hwnd.5A,tXJuvkfº9D!t,dbϤ念O+YeNlp jO;oQT&Y P(|x*x)``xrPR+PYTH P} өp!H(hfI'* (״GZ9]#zQG]\3>uS@S($O:նcarVeDҙB}/&)A4I9ä3c!3`Z;IbOv,HeZ,>F; +|A[lmq;4: G̃KOn!m?MFu HVXyvhrUe&П5HV/#<Z,^5'D#V,\*D4L:KEob XhJ 6Wf5e[Q:& tX}@dKud9*|朦yfz'9`ѰS,D< u5/ʽ>kjJ}RdANJkJMwKMlW\v56*hnQ:PU%*lL{M{~߁mX41Z9f= M PISU,>*sEo?Z,,(xݓk{vL 2`#&*ѕp;`}V+!3[u,h?&Fj40^J+xtv b d5|3/y#C~E+Dmag_OZ9D"fČՄŞ,*㎀*M]|ɜVIodv`#Lתvh{pGYNK6^Lj`#F|&6.p- W[O/ۃ ɨN L2+RF8DzMKop+ݠQμ!_7e``B7~@߁4 .e75W1z,Q(ŞΨW0BkF-GIbe׉hƖ"&3 O!w˛Rs۠iڬcqtQ7SL( 7 z~@{z5 dvxUu6R/'QmzrqdFbW8_X|9F=lL?X̳ K&p|%Z] 9+Dt\wE¥ wvu[6172^Լ f`۰گc緿ZP0~'qqEZ#D&/k[r0/gCzw0/&D̖Jf&+i^[O"*,{`Js'gH3Ga M~f"dN㼝sO`4*Zi<ڒ5f.^EC(C#[v2j{3L ➛# $du%۝O!Sb懍-'Grgß6' JZb}UjwF̟9,#B]l^nB3>aI FpIY&!XYXD'+ʽtp %ǬÓ;ӂm].t%ynl+Bd{Jv6РLVMchPA2-=̒d \FBѥ$?,OI&&ZEq떂"pGMq@Ӌ Ph(1lz]w)E~MTyV IvH$?` qb15|]K[ _Dك#9ԣ)k,Sp.zԱ=O1YԖpkxRoKٗxͬJlOQ$b c~`N,+ɓƹDN?r:\aӕX^N1D}4zMN#[> OTbu)o2kn.?b+M L|.c;Q((PvVȭ!Y?oΡ2QO"=my]&47ln@Ch!qH8w7Lӌ7qդ%B Q[/%˼p7cOM\ӃKD"W-zTY Vm)O/V;{KY8/T_&hfYf 4ۓi vZ8Q0TH\0,U%W`4 cS?ym^x"-50h Wwsg}}nޛ-. ;n /BD-dG'! k>wl{{# ]$IpﵔTpj4 8pAH&‰tܮ&R"Z8EΜ#=UjM[2 ?¸Ø5je=L(EP-NAQO)h9{VYHs :…mXԋd]3r-;s畯ɱw;:ᧇ77/w}`veB~}W_2kxA7<"E?jh6Pk܈(٥֍ѹ/-1J8\x$"Tt#5m 9*lbjo=d&)s_~$1ð[W uo={Wxd;%.L4jdxOͣAF^q>wNV re@3<gp|ٛrOh]&à0CN}\3 ԯE G<;CJS30 ފ~ 4PJ]4`_ͼ F5\&=m.lQXL)cb8RJ7yXKm>~v;D@@@sI;~u~Ke>(V *Tw6>~Lb4,>~#$Ո^eQ9-" yL"76:Wp8$?)hmS`kL[KxM&L)6^^_bZ Kr^b EĉYH:q )McW]՝\YrHݢIp)  6z]lʽ2BҥvL[AMc.kN9xnUwC'$<]-e4 1ۯH<˹oDk5;IF.®/kYېȕ'SQ|W+nYTpSa6aSNyV b{[=/=-B8/MT\Ʒ?sm (,So* ,rZfN_EԛMaȾOyZClu$yK$aeH@r76R~~g\YD)yi,9vM(e/dwVl]k=x6^c;X/Dbn+hnh[/Iwp8u1-1{B#mTbLڌMX_*M}kGd̿~^KEg:!Rĸ++lL( ,DF$$Op|U1mّnaAw8'̊}# 7 s6'DŁ wxe] oǨ.YǞ otqݞv;}}ӯYM:6eϷAR3<'4Dz|ÇݱY}__!h!y`g&{} ׯsf 0!@6[tp"* KKz++I=OǏ/,uH߲6N|H:^Wf~TCN&ER؛فrQ'=ޒZwoi |0*y'1 =ÿ-h@!! ŰUpso-0nPb*זqm—Ov[x.tjxv]]oz7d[ӺIw)EB,=REO\T3u._J͓6\d/NY@3xZ5܍ ~&A$H{a0š֫6O+L_:CKOM[ #^U8.-_]ʎ'd~{/z/]@YQ}Bv'KZyy/;eqfLNѰf40, dg{vUpʐJΌn1?tl~eՐW4Zg'|c+-=/rs׾T|L [>rp$A>q܃qcf_]IӧQ@Tܼ&\O^ 0#r%E#2s<73E!?qvGX2ӶKa&\= TMuDrn0-kʺ#% ;!'@QUZ҄+RgxPO2XP-͈Ǡ<"J-X)7 s e݀rՕ__-1`ex u|:]0?(!}LNX;7.? 'q'n 9 jS\c8I|MsV&F䀒e'>Y}3wۍk@!YrWMŴ c7_.FHQ!LI,u }`ﶞ0FRpQqކqN2`O^-$ZNUNd0:zLVu:ջN_Z-A0koa=ǜנECn߶&3jvE##|%>9ay-TLIaHU8yҊv??$$Y=_0кU'fa1 t]9kF^_Nл[H ^pc&ĤC<NIKeñMX;hXe[v8:ֹVǮz4|dx>TzQ`׀z3H쟾:xZ.V9{r»fi` s@ȹ,a'C1iUYF-N Wp] Yg{އ?ocX `T1.`z#f6jݱQHhyZnMR\2(%h"Ngڶ~@;>m&Xg]1 (>ܲvz%NKoaN}h#`+5۵ϫξd_OV|:paOf&Ų[nhɦ0}QM(1=r4ԛi4(;ٲ]Ly*1 L8 0me5LedV2o/Ee%o%]P}d*N;Oj)ӇЏϐ<1Y =.(WEƕ^^d b\z2 /=IeyȞ90qT*vb[>D*~L tBF,~SV7c M69 7us8%*U" -4n-!d @͌n#3Wxݹnَ(*PaR'p $>𼧹T)Wđ>eԖuW,ԕo]+,4:Xɕ.L%sb -)txl&B4ڀ.t]BEq3D+_H >YRFnKvz5`[evN.(ْBJq7\>2|,q Yfh4#xӃIP"t_83 tPA' ۙzB?AL|髗8u]1D!T8{P(8AbfRwiӬmeó@i`}F".=&R*5Oԑ){zW+ZHTȪn&MW .oؠFa/ pO?r-~+&ߗ+7FeDa?UɟQ`:oZ-)C6(*܇RAFuw^ (sh$@5S-+*@1)FTd ?n5w'Z59,ʩWp9TT@L]It%s pج?L^k&{!גJ=A3e}<{F2B!+[znL+W-|/͈0'B-;`H~Ӎ~gU|Qۙ\ B=!HqQ@DYЛN5x D3 MkKY$w,[ب$ ʚDbz㩃w72̟&UGxS~v7w0s-6``D]NhQ@>:2?Rõ [qJN(;'O2U5"}ƩѼ'XX ˂A=;6$Q>!Wdǰf Mfc3JO[ʞnP*: D˫WeI!S7qgP* L*TU^Kɠ@UX+KE]g!%aNc67y*=; gGfj@ZҮ_"PuhN#wShצ"9 1X4f1("I+d HG>q *%@::VK4wj%Ă`w9D QWR1M0/[@$\7a9 B1սyFyebQ:Oj n4(_]KYz$ym6tD~Y3"f絁N Nš03[o&tcńQc5cLrP)5<|a?BT=u/X =Qz35Qwc) (!8*0~2ki=z ~| rt2px>Úũ<5MJ)HŸBp!p#3R^o^~>cnq`Z/^o˺c;҅hܓH'I$rG#'}Di<Ճ]| CTq(=}ފPj]Y0>SB뀊w8> K`ǾNyYl sI:5.'lS}8-_=rifDO赪,ikJ[/|isͨcjnV^jvaS3sv-۶]%+XRlV07'A ؚV-sy}Ey@f$2%s.-8J/l y+^Og|&K޴' \{<ِx T/B*6Lϒ!USrnnM&픪R3vFU>B N @r{S%k j#x!eDLGcD&)* FŶX{ MdJu\^$YQNGB`/)Y)>gEzz~;+QB'+E"be6D?)- wfop>p;"2FǩbD}s` f+q}NƏDZ֖Sa^zη;Q1]d*r8LotfO89 Xt$??ee__U}QW ĞKL}%ݧ4c|VԤxk{e W[2ޮEtfe~zBxTh^\܉.zef>!~lNTtjW4?cK awq ZmT ew^k}n_=#[9W$3@T Ŭ/ }6!4rl筫hJmpAַ[GɆe,5ϲX@Y&yP"p&VOSkQQIN+>8^ vsΉcmOnJx b4L=:AdVj-Rbi'J_L!i jE \dc+1 Uۖ y3q:mYlmgAKgEUCQ@K|oDdXP2"TzRT ;$d={ҴV9'Vdd;u)=KʛYʿXt[ʧ6K}tgo7l Dc*;wz$k:eIm.h, K 4>|U D8;eu0ȯ\;|`VJ=jelGg G0#SYH/>>~)Y5[ ǮE$[v$zGp4@Q*_ڡ(ae4di%pWfvN@t"`q e(,# wɬ<|F3?oTZ߹|(me]Όf/}bcdʩbN+Y\.M7裚]>EZ#Lʮ۩F|'? G0NV4Tϸ$͏hJK ]4a"P5h<.uif@ɶc>EK Ĥ$'^CRo'eɸśL݆[m"܂׽j>L XD[c=sKCVaX8D\gt měʗ τˍF >뾗41!i"+ s9wD4O$ >aW$%3܀m{Z7QvouyN$}]Ǵ~#L/hSIίJU3W X*6>nOD{6UNT M"J|C-.Ip* ~/{+SZnm#:5,#rȥA6M4CQm*P]ޚX+wX7~Qt)mŘqKW9xan@&ŜLs3v3fy v SYd0ka9-y3Z  /.ՠQVՖjL`l jP Qxv%?Ocl'2G2}I"1UVL!UYOvTLD p 3»nJ :쯆kю񠃰Y<^gp'ҩϸHwu[ "AyAIRP9rG-ϵ\>h[EzCz_HLIh 6ЎFyhe3/F}\)#H+[&F%whI,YWeJ+rڍlˈ=ЕȠV}[޵- Mf[Г*2 u['+"^ f9^ 2 Oo~%(:ATYԒ"'7x ,s@!82;znϚ}xrO["S暙ros-57z\ fT@ 6 -M캕TU|nYRT]aq o- <5hfR@= Μ7e!u`OI#U63]p5SQ󓷃7H2v97.ƇõL\L+9{kH^VXfd #z@0qO1sqA5.cZ$דyRA'٤jYӟ.6d-Lj3]tEʌSU W^O=c u>DMsOwox'8S-1s`mzYB}#^Xl^ŪHzݛK@{Xt )J_-IOkכV߮nvh={)h۵hHaO:c1%aW6U> y @k̪7Za|$[UlO[!oZЍ>q\pu20@ (`_5}!{۔J= sƛ=!Ǯy'E/:בEqTs;FQ20D#OmV}n&|ZRO3yKb6@byg+:Qar(⠃=r9֙Q 8ݞ+'@V(6HyJc3`En%.T+k4GLP8p@^qAc dCK.m#-R˺=.M 1ͣ8qyZlfoqc}i?CO/)k^17p:l`'MS@d:SZs"gO>8|uF<ֹn^v(w^slnM@h@ 01΁U{0 Lrul"zQWE^Vbfg >|+r7'uKw kGS5@ d+BOB,ǰHAz^韎aM]pqڧ]@'uAҪӰ.U?G1L߫#A$BGm\Gј2US7$'+h%f|H+O\0KDơQnDVlƱpNL 'u^9լC:֜2;bUs5yf$()d8iEwPmNP-6nt/j+,C+~pB=l"5[avG=g?nl[]E E;}\)f)O RZ/%82; p6;\P/@9Ȗ` 2&?/'j%utb)4./M~x 2T8?^aN0HM%}^R `:*0X `HkOY!ݢaTVyT\#W2fuNxw$RmnL'QWqpF@Ŏ;&~;-3_<.#vJ>d=ݗWbC_|}b $^g k;1~R|eT)5,_s& 6#wlddBh)Ci* LSR%a }­:&%`LJOU}+plǀA@ПI-3y3 =P0(Mfy?;|4#1sߝS͒g{e=npj+JoCq+d;Iuu@dC+lW,Cep> o c61Иtۄ K:F ]lȹ86ħz'RV6 "dv6&!rL6 WZ%R7P<Pd$ZEՎ-$/Lu6@Z|a#z vLh\Ѝ ʨY" M;٩DZtl(l0PaqYFx<5cıײ0(R>_*2߲/eܭ`O@VY`kMqG=YRw:.qq wZuS=*!$ڹP=ڞ!|k)`R7ԍڨ8ux[~-_B^,hkx&P4㽇̱m2 7cvJ,2wDI;~Cyl.տѡ\Zm^>#VhC@a}#rKew2/P4=CVS YP /+Ԟ+ (Pu)sL*;1Tt`KeP8wuGmNz Ol+ GMYwʷpNxl22Yqƴ'sI[xe}~2[|Pvw"(zrZ^Xy C|RtM o<]?;0oWJ){0"5?[v #](Ok:8pDa yRUPr]8cs'źtjCm8G˽8IDzmyB_x^̊jmoRj/6^H'yMGJZ:z R6-ʖ-gJE ǀEaC/GrVQ™1[ ƒ6ybO*|[޵zT0L "ֺ+!s+؎(K7o5T+iJEwĐo^Z2#} L[0NA,=="^KtF'QAj5Ow D\Blө?0D=[+/8d##^tQ)v @iʖTVC8צU9y3->U}coD嚩^E!*yKN& GTH$s;%b|f|}#y=_m;}O@C5T3555\XjW*F`,#Ej=2^V=Eaz,X?[wm5hi!4 1e[FF6Л>,䭅Ί0Ai%Mcx,q$`vH߀C%ѿ<Ոj&ř ǸErIDi8fmmv.YF[C SRayW%lk5(TIZҕpCL/[js / TU8q-m|}ܽ[ 5!F Ɣ?.]VնT`Xi5J'ni#'` E@#<ޒieFf8ӳAg1:Q_&+}t4FD$_$;ԊWzH ^'k;Y(鬹GaﴔHR`w[,d$ { (l_‚*Svy PZۍcNOP=A # vR/܂ Jec/v R2>1_uQ _l331=n{;=|g/>*n*: zCEIIB;&;"`(F7;щ,*hQiȟk?(Tɠ/" qIa/'ᮑLvQζ(Cb ǽsc F=gO:Z{-ϔ/~8Msn;|ؘYj@\>V{@5-gqk~SQ >ro3Hm{"\7gQ09;[&k-98'}lN:51X ak {iwh'Ynd&+GkdY3i '{{+yPݛ/LBkű?.Z2N)z:A# :#pBt&Mԗ`5(0a6^NGh)\ynK/#cR,/tP$΃C/I/xITe"D;5`6m\$wk :Q ,T6jjLJ$v]Ņ,0q"7Xg'KГz'jaxy~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7Jp12C~pS{_w+vx}źi.t)*a!Qn&-=5PU{Yt([00!2'dÁAI2L +^B1&=*YAGH魨! v7 V1 fF'9;`Fjʅ;]VsX#6 ?i"E GЌ!-du`o&c/~2H~UɗwYAѾv5u۾>gnrPl#8 1c sʆW D@;œ *Xfs"*M)9P,R`G%vA ] &nJp0 8y)'"D\~ΪO. @nO,IjpFs >[;) ΙEH54TmOO۝P*Sd]ISՎ;9@c?)<;&xKj)gy\Ȫ7HW@67.pϴm L2 6EUqyi1k2!N (o—ޘ(xl˥dm|>r X;:5 A/>׼Z7=An7<(!W{@f\ؖb"NH;&nPW$+tSODLW+܁j`[Yf3IӓAP1knO>Ą/S@;YxsF%A*QzMh.P=hTSH(%ye ոRӞGS<dc{`vV~$|}TrvGBGon`nx4!9WU9i?%0,U$H7HKI"ģ$ۆp7-aS$DV;V!F73"/'Jok5oN |M`ڭs;X관( d$| *_/-o?˗xM0 },"V:u,ަ`alcpͷ¿b1j U H*{{$}r@+t:n'Z۩r\.+->QxYȶ}o\Mn;4Z!DֽqgyP?:ncsYmj[;w DX6W/p= @^a. bo 쇌"4oG@lNA]pd'!*FJ8A0a+,;Tfh霷|\M%8D_R]3w,(7rbנya=qItbbW:SpJ浘<*1i]ҧ6Yan}F`(u0Gl5m{S+ ]D%J7^KoGEg(xދ7gDu21 e_6, Fq:wHMp/1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM.1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id536-1A' ELÖJ; p^$Y>[]C3%j?Tב^Fk,uLLӔ{fmJ>zNwpa&\3# zBR Ϧn6B&&A3dB姯/l>H6 a4J?J}4Nٷ}1B֜FD50֕}o._>=ݛ";cQB{E<ɔC]BȠ_%CY9ŮR^ÿGJP\kI༙P4`7ڴD|` |.f}ĩ6MhAOvU:CP@5":_P Z.E-0ةRovq 8_&UY FQV L\Xrߩ?-^%X_ՌN:mY D8gYZ bʆړQР?w)U;[5rqRpK c},dn4,d)N /5 ume)?a:Ff3u)#ҁz`hC&.`s3[k]JTt`H Z6ak5>w^y+*3jY]K:Ƈ^ܠ]l\hrҴ%%"Y6]'?1M;k<*O2s /X2N+`k,t$4B_+rN#.FK4FGkB+N9`baz]":ѩ/1+ժa& ^WL6c݊0[Xxt}G716+ p;*{,Aq#X +,Hdٯ&ɱ*˽0[n()8/++3g=醿_+ nK;0bWdpie2䡧v۸GIl Q>8-ͩ6ɵnl)no0l*[%OpЎ[+kgܘ\|G:%?ߦrvYuo5VqŠ;mW10quƮ50LHUdMCTjDaۺRWu /^eHb`͉Xj-p˸{M}PXGw߶mΦ{@& xtZVlܜk,%ұjY;H,ѮuHtmD|ģʻ@ ,@yTC4 z43G٤*uÍD8mu0ojZ@QׅPNdfCF=Y.?%L ./.ip2B#fLe;JŚNȄnYHTqjr|]T_K< (bMbaxr:)0wdetj Dﯟ>ꜘ 2ՍVpD[1&7P 5|d;-M |wP<N YC\#~"xP_GǚHc ' Mp 6=O4S~.`"vXP˼Ϛ'eZi=_&g"q'@N*tݽ@kh U(M\܍#;8xz?[;v3?FЁsBH '#L314XNWCaŒ1HXFg6˰5%lK{F5(0_+[,_Ea:39'*.M7,yQhΟh,pZP@MLp${Fw`/Y\a4^SuYpySn+ |w;#w֛뒆e= @aD6 %̿ Jܝa(|Մ\L,W^]_ #GJo[&7$+=W:-Gė9 GJ:eP"8sET}| O)Eώ W/=Kz>g$ 4'𺔵kؕK.D5 hJ}&Jt@dO<{2sǒ<>cI*+t4Ѓ*t `5PR^`!3[|^E%:<Mty}!w~0+.: ud5I^]~0_ڜ(XK#2 /S}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! 182p__yL9/&%)KG3 O@pݹH/:94{7gDZ8~,[\LkE;bg&%nTel`|JKEV@n (Na@XڟI'C7B7f#"Cs~uh{sMXh,p6W9s ETfqtAq7='کZQ6LD0Mٙ:&{/XP  1~?zO#ꞽ1kIE.M`Lu)d9ka@WEw+!UT)#53ep4_;eBr=~y88!t6xzҕ<2φr5 &^9,= uO (TyP nW@6 KeXngjhpF ׏{ME#Gع?RO:Sf*@ MI,2bT3(Iw8Y,6?9߁e[k!x# @RJBVGff}|O YwXkQiX~n]E>6j^~hUAXq.`YY}-":S$ GzDN+g4Ub A6KA$ 䈹lHA<)||O@UX͸ @CZ>E+T:we<,1Tbcgf}uEDaۗ\zC98/cDI @,c k܀Xc/4Ct=;`.¼{zV_{̱b5S[t*V'd  XUf_H ޒw"ef01`QM /ʼnfnGB V< gKWS 8 + l/V%cɃvnV3@s} q'*G/e6;p-A+BDx[,v/r{ݺF(pki7_9Ffؐ)/<3g z;OWD@BV,g-i9 b#Z\ȁ6YhJ\!Dk#O_9F6h"ӼyGաdnᗠxPĽx|}=: e*ኜSwujfg7Yr;GSK_băR gjqqN NNߴb_ kOv^Ȇ?cgjT2ud@fx`^ɝ_S%^kHCdG9 A ʴY>s$H5lj3644?PAL?G~}yf؄NAb[&Ui 0EB9%((lKYEHPgZLoڄ9,v;KywĻhrzh!UA7?mɶpDSi:t\j-d o:^[VF Oiz]nR]\.ȱpI70!=fsF]J雄BZ Dly_C.!Zmf%6c(">(\ػ.P(yuYbHcwIݓ_Uz@vx@; T>ҳȃhGe73Âc–-|~Fu)/Dqd\4ܳEAb-_/w"V|?ģ#tXGW*n;߬hؒ@YQ}Q*aˠ/Wt* _ksi`:t3 Ȟjo)-M;d K R=^dfYNRtC6Q%"qhL yu8"^B<*ni.sisŎ{]\C}̋pA$B#}\2M(`B}rwׁ1/VɧZw^g>%X[:\!akr!s\UisMŨtY`TGayCqK2zr0?@T( 2Ym8QD#9C"66g[qESPY#pz,Gx6n4ŏ7Xg7(Q.<[^pOo-e&).^޼U)@ɿ%'I]QKAWx2\F?QF %v %?m ilAX<=l4#$=8AbV*z'^vhRWV +6]ڪ a\)x.p602R6(3]ϸ:AKEPcZxDf`. z.9}!I.U*tʘ!bRe1 RL\P[ۇ%*l"I_Att'p7 A3ĝ^>r01a!R墒>*_H>DQ7w]~':"3G/ϲ_w7*+~FvWb_Jj=gCqH5`srpb+V"V3>7ݦ3j .R_Bt&.|BCyYP czm^+G*{\}/?;IĞ^Z.✣WNyWl.yU6rKG PBiG4K-BBݮ07q`80o{j? q$Іno_/5]Aϧ{EcKm UTa#,):ئ t +m-ǶN!t蟍vG0(:@iPPڢT| 0XpT}aPk.  WEjFDQRl0AaYܻs<59LZYV+ lGB@SmT}mk>:7۷ MQ-CjX)s5-&_}å?+`O:QC2CS0gAkTj?}b?PZ!kVВ+K_>Jxrdnhf_Y/FqxclJ"0 VmgX7h+׷V"dcOh?:"t)7Ƥ r7!Fe *brY3o|V GyG͜/ cQfjIzm˞;fME Zׇ5T:Nl2a1X`(^lɡM.B阏Lj+{]QE>D"񸕟xkC$GxdD+ ^69u c8QFӫG- 01"7Ktf(tP*9scgkI_2vv2OdUD'(McNѱڅބG|ɔ7_ w{dHwh3M~FNB+]Bd/ Ä$?Z k ȹ#{rvY" fhugKjtcsV0i5T5TdQjw&TD/.-C̪}$ј\8DsTBŵ'ΔONc{VѺ&8C` 9DѬə]~џ#xDV^؅ǿZꮇR[*vc~C߻>x7UvL5Tjm;6owTSiAaFIqCGp_bE>0gKQ^DsN[}㆙6Gt>BMC l j*eX,^KlF|; n14uc)B<\얿l=oؤڲnȂ;'~lP_A9uūBp!ǴG1b9 nRI6Jui5rg xnWH E!ם~[GtW^*gfq5Qd_ u`@ F$W 1*7a8=Ph{|4፩ eprA:y{W&TEJ86$\h>IJZן3ڊ[։)9g9cԏCV:wh$ )qp$O _ljHT&f۬a(k  ]jΧ,`ԂQ\g}($0t$V ~u< ЌƋw _\s4GӮ2eVht~15WE&sQwS9DK`=ʅCM:s >,ŋAwYgWt˟ JJfm[dGze.<݌lgqjX/Y<&[I<(e1MAePBnؑ>*i[v|{7n,1zr5>M..; V,ʢ;>h!pG}i^?$R]ʇW#i)&ɐw$G%:'*h"Dj%IKv~Ub@1y[" IW{a,n@I=u@p o=7G(6IrA0 溰@1,&Hm( ھ ba*=_8DBAAJcoet <&{l&WÇvzQ%h& vncKG=Lb= loi\]ԦUB/K/9ca:~خ$ِ祧*4TVI- (Q33T*)=⑊RR|v2 OG`4 .lX}DWuk(OY`ʘP0^f6{%ow6tl\v"mT>Qۤ+@ȏ,Hy/MD2[el`EHPkIFmomQ+SțYW>Œ½)͇+5V:fi rr,oLP:Oﰻ=GYFW 6Y.D: F_;D0TB?} ϖ\v$x?;xOM \ܧgzW$10Wu?Qw>>_ŁćlO@eTN HwH:[RL\](_E>?nukd"@Lh5HjIO+0ڄCZ m9gdJ$)Xgt8qo\[-aI{K=P|2EfzSdQ|L1^3/\@6:61Ϟ/9qW\lց2?ݘY\W̴YY3Oevއ IpgtwOlEYϘ켁-kbw6/\$wcap4ڪ=^q^Q1wt:eLqcz=_3. rRU@_3orsOW/D;~=15s#iz}q+![m.D/d(w頟I+84ȷݍ"%*{ %n{!˗۶ R.O{XR,Ztrh>̋`o .%B..6%uLҒJ)' Ym1K'T>[a$Sy2M.qZg~1Z#G@?o4d9FѰsi19juglD&B\zϠ!{ҶEф;p|9^`l'(Q XZ_?镥QQDzsJǁW-$r7M9isgT ,vy->QAJy^\Q苠׬)>.H>7ðQ͈M41w1AtY%]z V1e<F D8{G_δ 4ȃGĖp"dTTa[B R:mM;~g+uhg۞kXߴx bNQsOFHw,7J8Ԫr`[?Xs:t".Yi`'뮈Ue4ֶ?P,PaV!EPhmgZ}ujmI0/4/;wB^D,y7-kpevv&pzN LhN֍\Cv|ѸS)h>DFF8\@TLhn\{u7G3a:xaH e֏Aؤz6kcԁT%mCJ@":# t;;X !^$׏R^fu wGkAw9z͜PV 2#Ձ ;[4:^sh%?gOJ2s|@ rG+!p$0H.6?c9~95n) \Nb+lw>{^޲J`bV7(Wxv]~&Gn}a?Vjyoz!vFW]R]Bw <#.j"o!> )U:ly1Wz c]$!K$ΩQ3mUL 5JO=U:9P^k_z)Ղ{^!iG {w@|\jj D<ç!P*:"zcSQՅtd!f:)+^طʵ+S(u_~Y@wqڊ8#n<,'͑p Xay(m/0.t_l!`zB?y`UIulaБb!JH<>ρ9ᥢIĽ6ymG.-wu.E Ag2B/TwȗYY@@ަ%L55> |O_nJ6aov⌛_l4Erf'~DeLZm$pu@֡qOMP:B='=}UA9'R^L>Q1m0eY},GZi-pw Cn(+_D=̵Fy998!jZƴd=bDzFVZQ,[[C ,8NJ$cnoUv~3t!un8_̠HlC3~uo5.MA QX;#帇UpV}Pd==+*YcP(ҕTNk r7Sw% !hXYdA;ߙMcp<4 DfeBz)F1$1@Q|2@]GP0Lո٤Nt+Qs]zBQps%HF*.׻'zVe[6"i%SإX66~cȃaq.kzonagaWrk쓿dT-bTJ%4tvj1s>l+y-'|T/7[X؇̢S|gi\\qܯ oM0u\LZq="l"C0Q)ɋ~d9lwarVc49ٝ]'0k'G gqVFj'DUUwPсt?;ey24UֵHe 0MMN8} թGɀCعwۡ"Y訾L VRIZ)-)N ZgNvwAG_O{udeFGi?=ZY#>Iҫ=ѻA՗1ewVݩ@+ZRM2S6sF0j]xRf= M&:S_$嫩7?3˄8e{= ΃cɕ= a* /Ge߻@OT]4OW|SDku@˸RYgW7ޔk#6()k8UnQo7`<5kIH|izkYFh{QRVaWqr嵲f GD$KyO!ߢſC r}w??Z(":Q}&0QQl5c -<I!:Jch XRs; k*[ m25usvI^򞉕S/7 1W+(F!=,"<7pL aCHi5 \DSO:aƃu@Mp֯o&< ImԜR4Fdh{u]8Ce ,&rQz:^0IfDcgi/8+{skżWq3?l%vq& ?6QNmI]dAtDxn}MU")~6RbPQكr_ECJOb3J|rX\n6os50㰌M ώGQ|8G{Y'.'w[WB(vp ;vgqȨAm=A1wzR+L|xj"ĔGlF=S|@>s|cEj:\ZU6 ]97PFoqb?&?$(H*;1fT,qo6X[]>:$N14Ip<帅ϞG>2-m7qsȀN~) wSO0 DzXa~>E8AEq&+fn0|eQ@y؎W{oYϧ2;/tWO܈`Pn[i nmV,5Ǖ߭?O#J-Lj[xNߖ&KgFFFԾp]IZ*KR`;6?0.J1[B"g|Ҩo=&d#Wp)n.*ivbE?udm];+P3 g2T`ɊX2Vk^{b 3_2PatX,뗀~N;V-Q--T#%ACc{/M nGa̖_dn+Ѫb:5e-e^{FCol992 >j~l4Ye^pTd`;*龕!=R=J9uYyǸ^Nڎ`!WV9m "t){d'{A< ;TVO/coZ´i"Z$yb+5Rg i wY֎ VFؓwtcHzRCCԹ'@=-$XSKK,H Yw\$1U=@"c5>$ 6nk;c=uBbKpsvn$=;͟d*e#8093׼g)lN]td`Ž08UM&x竕Iĕ,&mE[{5Fs-VSL Hx|; O?[iefq-p}Hq{$ Jq_e誱4+4^{ u$pPn՚;x؜{_wYC)7Jf7{̓QS ӗMx!r$IZtF Xr?$j"Pg95/0yv1&NK`ذ᤭X52xRɄpO|ɌlyWDخ#lY;^Ѫ鮋wC`–~7_W0Z#S~i~EeA)W[{"TCь^kZ_H4IK͵uaQ(Ӊ?=R}H0bjYeṔ)4[c:`RW{zf𲋌f_p>b&/acAm6 U8?t~"S˻ڊMB6 IAfb;VK={F}tnܠrE{EShnE2>kŽ1z "8bTq>ܶuXVfڤNSQAw/ GtFc4AttG[( 5E,k^n&p|\I”* .HcYb>-^޾}hVR}%>T/T? 4 RmN] !h;:M@/Z;2^C=7@YcB`,>O+w\]coQ<Ԋia\>e]?΢0Kx>,;/A -TS=#5 az0F{%8(_Ci^“?tBEKw~+vj&=U C)A!CQ*&+T=;}\) DžBL0mVdXN0úN@\6.6@Nz>;7a@T% QuЦ~ X1ܯ8#Hҙgeux.uyzg?VzR:Ng^bf8%5XB\y{HZ8SWCy Iׅ~>sg`w8|Y\a]ѴHgf*lAHk'fKY1aY~$k t^]b# P'.Ԡj-:cHX%j4+3||wJy5:V7'pdK Ȝb/) y,{gŕ @7Q~H9|P{IfkU謏?65x}$GO!W"d{R8G ]rd_VMKK3k|W3n*>;IXK['{I[hBKKA Mz4%Y::P,p$~D'#@D;NrD#Ūy[ Q=$e^e>떇TUor]fr:HF- Ȣ:7]W Ш˷4I%@s[bNsl#: +JTXJ4ezFl ee{2ҥ*H3e1{,]< 88DJ@qҷ4MoԈ/9bxep Jm;j܋ѡ9t4r`- ~RqEpbUO(2_Z>T8g$~{/h/zֺE?7hY[CLm@|P1k#lj'aUg6U)a~FxYt* ?n|dNJTW~9D<_ZODQ0[Ob$QF0(;<\)y.ؙ!+rU,$Lj~,-٬xv1OyXU}bBsY76`/kbJNmrlF8fPM %sT!50&BL+{p~=[#_oQmv2bgUXcay$!gUX%/LJz1Pg bI|TQ&gǫd:Ɛ'`mɁAb B灝XTO '؝Qb&(w9pP:>u uYcЇy\ԥdO*szqnHSO)`!֛x":|A|!g?E:&mO5I)wp@'Q?;YدLIBcptֈ/ A ؔnqą'.&@7Z*2|bg0WFgcu T8?]w o5_ rf9(?$9_rh trg;OGS}eUԍ2 0錆6 p/o"p%Mz$4C d4+A h+]n1枅Xc-GFytױejGHcV'_d3VtB#, " mCNnPV?jH],~<zD? .?X}hBHnM q xh,q~ՓɊTE,R6%_LI9'T Ey+#n/l; ٱ_1 'O44`ofgξ?UCW0F $7*o7-CMR(]b$95vJ켷^޸(SQe f1Of6 X٫~l- Y\_KҍKQ6h3wA*k.wK1WQFf,.RnbD Bݜ0]rCGO_$/L*f'dhтD1rZn FS>v{ҹ AOsJ0}7ܙza]j $N~;嵳 ¢{揕T =OʿN" SŸ]ΰisX)MGBxI/6#%h@πChs͕p_fx@ 8i+ ąq#nBI]'LL튾\ۊo0#É(9/]N>)j#+Ggju!,lNΥ5Dӕ:6xe8n8v@Z-5?d7HPnk0 Na.mnސB!Hq”G B06:Nd 5Q2OCKsJZ?,w7Vs!' DF B; orlt(iEh!d{M6Ud%& Ĝ$"O2F$A*7k` I8cª9O1+ A/́=V!F[r[J*#iR'00)Jތ^5D,CuP yA\&U<5JbEȴpbqZ-^ Hڽ1Ća^(e7'QF(ʹFdb njZ>#T-O")s{?p  RM㩛uǩ_[pX v*o_P ^7nt+ճNhrUԯҷǦHzϵ3Mg9bShTeɓT aK;ʚU9ؚhݖk*J#'󄎰F*3#)ЎV~;=U Tz輤U1%eR Ps0k95!KIhҜb>r0'?>ϴĜ9[C|2=m_LY:0 ~֒hcRQKȺj :hUAVgk1?Q㷠~IWHWv3 RNko;I-hlޓ 6aިtTJuc&RfDMۉKuّ NQ1z;ml!)/4yȾCWdd?d mc ܶI&‘]zJŮ%zl8ogT,V:ƅ :V$/%l"]%RO!Mښ5Q_y=K W.V {$~ ҋ5+_@YFq3\h=ʢ"8hLqU~{3Ve@IOgu͝{|cԿ$Ƞ5{h.I-X5Y.:mT1/ Ka,@ Y: q&gh19!ﭔN> ԣ8QLx5*{5G@;ɢxpݕC@!},Glp] =,!E\ ' mMhbGl W c6 `V]HbT?ƨzGغo$o=1Q &hGmC{27"*4 RI @@fSWHk,glù Ѿ 2E[?ÆS=OK#l$3Uѻp߫ Ph_vنKV383\'XW w;kLw^KgtX@g%]|LXۄ(Fp:A>6,g"8~ ͥ"W/FeK:gSR;< B4x ёS06DC}$6nDC텉u~Eo: `a>ϙN+ JF^> @M6"aJMaY9N'4i='pteB.#'+jpoYgh=~ ;_;|; M􍿯<˫w4c2KQj,y$=4y~D+w*>7HgILf5Q:w1(n|Iu-AEG3tgdOhPoǚ`RzO 愗9ZS&p4r֎̥mNt [+XV~lQ> |}}MumIJ6 b;PGaA l(nQb\)_m{D*JวXԳ)! yjd9tgM?-O{D"#.ό=H%s4PH뛫~,xWq1kT%&RU 5cbd7$\e//hSGY@R8!`^jڕז1oJe mPCqt{Y'X@TZ(9Zp@ bԞ\Zea^V֪j)_4qb++)f8 bS)rmen7cc=݂DK4t4۹bmzf5†G|M%eeN_jF51:}B #H(}WqW m4R:)T֨ ڱoqRUgI]>)48n./4~M=J=|UIPbTDɝA G 6N ѣ8qCpF*Y 8[œ6+7֚ U?\K4Do %Oc] 'sa?LmK.Cj*:rT%?F2E/.ܹwB%iY~œg9oXXѺy4&_M8TPj%0U8IخYMhOM[b7ѲD5ZAubfK~O2^3/h9<ƢfXR$Lw!ad8mTB8{=^@i&r0ѭ=%ݮ"[YmB~:ւtP+W}]QC ՙS܅ǗFD|UZZ! ̲ZTF-3j:@x sl7 C$CeE DH3NOgztmpil`=`B Uσ. j~0_S qUsV ^V!.kD썵f%E;G0&L 3_ m4HֱV)IϛWmqO iAv[Z+R߀! ͕ssZ6[vn,ZXRen Ho%  <⡯O{{]VFَXBē_IǞJ`ّ8F o~CF> gC"3\63;hTH}jA٠YqCȂbwS?`*M?EVAkV=X2 1SgO?wV݈t`؂D g݅OB,M|6Ѹ)nAc2 @;ִH ^Z"=Y:,^5Z|=1dʱE1%ݛ͇cefLszY KnLR(O?b2\.s ^xc('Fo(D AfGR0ϷZhGJƝ_R{0ôJ!/*MJOHWhZSIk ٻsC_)Ԅ<籂{FiqQ#mxB~_^^ ?4:lYBr2}Bnx[9]?i:(Mw@#t0Tu[ݒa|{bZ(rvt7 daooۖ2#\ٔgXroH>tvJnH{.]}2،(e-pu \ ےa^lX s&뺌f o޹,l{QZpbANiG]q\ߎ?jܖW{|Itf'F} lD[4eigB4t&>U,nr;^=jGf"` ĕ;Y!Ū,E?Ѭ'vd䱹3fHDqkY*~F+[)k풥V_aZo)@freqXɟ-]ڃBKN*/ Ө3F[0aa[4r%ZdA;z@o ]Q7k~V53-riZ@z\x{Rڮt=5?dᬹP Mb{ٷm*!{;p:DY3 uFջ77U퓏!:zZs\6dKDU}YA6i쎍fg8%tOḴ|# :"n''3ypKɵ #}<ꅮcX6%/JV<6LXY^Dpcj ¯8qшͮZ*6 sTqOŤ?Cg.ݟG@iz5ѭ>a!^wVan #5Wexx+9Z(K%4k%~[V5C5sIQjja&v\xnD+azOzMA&L#l/&[8#D儫0Q<o1nӏQ%qi,fo2Kv;W~_4<29ON=lwAx _jA*:eGPjq{93#(N7!$kj xqT>MY_, pVj, Qk#eւ%bSǓȦ+ڏ`Wka^1 7ҢK)eQzD$sjdWLOt#,gxy.ty?Kx"G=;lD^x$owpsDyJsjeN*\St~$.M]TaBLo bc|mhkRkyrVg2~(j~#Y|+#!XQ.m0=އOE p \ ʲK !ӧ>}hnJ+!^`$]7*@=1 \tqrێ)ʉ=fKaKu;Ek@_լMUX" ˔Ѹ>@ϬH:É6T>W3=i*|83&Y㯶u"xRUaOUy陼) @m_iq뱧ҟtk?¢_I_6dL֜Uw%kg+<>&\Ǒ Wfe^5!muV1P }!0{$sx<,.AhG>7ރH{t#AZ bj,Lt@^s`"kf#yQ.p Y]bhnTSHO"0#YFzvo0,aP)}a09}ݝzCJ.:;eHSZ!T@o ¯1D+ "um҄]?Ռ(QW*4v"IUY3wl ~2Dc1)S:z3v_V&LPY]|M|W.^Թq!k `TNJ, BUo[JE-v*y!>Qr@E.B~Ҫ ( A#Ec"Hp󔹼H5(d8^gB[OyjXGD!&A|w͏ҟJ%?8`]Й 6g'$?gG=1ݟ,ߠA<<ˤӻ\5 W>5ɴ'TU)xא1\\wS"cgrcmOC*"`2;hnj]/v o&2k-J9&>l*bp<Ý_xa?&՜ TB"f (DX.dp$,IRWaʗ@zS`+Im]!w d:·_]U[Wa,5z?mh5Zm*χ12[eXp`tUݼ#pwsw+EP-l5U/R*fՂA|.H$3-,CL=o5߮{p)+jGܢu"posqIaf3Fu &OgV`utdeXz]ǞŇAc)M} Gg@DzݝMDnUP0} (0TL2ׇn,;dQiݠukLYX;ހīT3ֆ WTW*@b(.#zpHOEMU-Vvq#r0kR*}47YIpR0(6:Y2 rp赠3&)KV5VŝuT޽5\H-^1`04ċX3''B}Vm\=G8m,8zYG79@t0,E?UZRFvb3[ˆDůA(U[X gyV1z\\m|=>Uǐ\ii>Piࡀb :K^*s6m܎2Zh-: kxv>떩[`nF$ TK2lB=tޙ3컹y!J"R# =9eq@a~W9JޫѢ Cge?.) 3 ~2FYJ멷}2 cջ;kաY2$įDSǐَ1B=Yq}A.9}9 Ə<VqwT砷Nٓ%k Fߟ[*x{ָ{,jѾ \y]m,T0̖^ u˶Y,iril)Nx_+F&mJKFמ:pvbOqo]|MsPz |zBcH EiځR7ڦ*7\g+OyO`1:1Uj0rVZ1EjӱUv:WA|-[|&@/ sgMɅz$Lu9hH+ !pzOL_ 1 tTΜd~b0ib0 E|T!V/`C%sؙUFfzNC9\@7% i81Q=:l=P[deTLw@]}-Cg]mHugJȚ]k͕ܚ[[ tE.7&Z\R! n7=O@ 1>Sľ#wKQ7ݑnU0CUxcX} =ϷN[ =Er7%-'iۯ5A]^)H-װ|L nVضM>^]Yq:`S,81; ڃ)/OV6[I4J.լO`Gw]ywTzkBX ՠNzli{z5 R^m& qH icaJ.4%moYΔIJ#h1hQ'p ]*yiA. &R6^R:G`_[ʂ|6EAQS43_Btbcse ȧM[wǍ2%3Ҁ\&Rf!|JE]FD=2 0yB+8%l"4:c59of@>U~j\/0a;V4)?ϒIb3mix6iMERPc8UOt[Ա%R PJdVc5'|'{<ZB4GWsnr^ HJfFגn}wxqv˭¢mU@)?gme$n Ӣšo%6}N ڹa¯t&e$}|1{l9B5"UKחU8DRS$jB2s&*k̟VİI7EK1!_$mBSBEDc  d!6:T,\h'sΛQ- PU_℺/aaO=*q.kY׀r85t=Z?ޡ5"Z( kUT,c$Mq.ǯ?aA5(5dNH'XgLj.rR @>eR5~VZ:1\[j F9s}*J?k(OUgl<ɉg^8D=jC`'l糿i]mdž]e^# c Q=`ci8AHɳ2UHdU˞! _O Xj'9dw\X@Bi hK^Siiq=:r 5A#$ #(7cqAXx_g4g\9$S^X>&;U5k'-Ȝ_c쥯?q_j4GX-.NIn],0ImgՓ:cOlztF(P2)G.C n"4; L.27#oo*&4-՟GjzIh /=\Ui7ۍA ]+yCbL)w؎VЩT3b뺺t1_k G*ZsЖOϔo1s!|!gb߿k64/r/>; 25jM^:5 G/?7;y>ޫbqzI˘| Q+:nމSSŽh>I*H) ]QSZ]X@g&#d|(O+{^p0[P|î"z7{i8լ&`T 0zv@v1IKȦzszcPc}|M"spq?I2(G]tzޘڃ,1׾"?kj-qNhVҮ9GH3ZdtC5sDhq5OV$F$w}JQ5nC}GhܤS ƉݵyܨLr:}CoyΛ2i>Ưju3@[ݶq_7'gSЪt}lj%1fd\B3{#, ->&(D\5C-#0^Zͱ7gYZ eew7 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 ٥kLL?d%fے80;#)J[P*R WD''BA"viaEFlq?V }0lzAw~sbY5hm!rq|v̼y(͙\ 3g1ϰE,߷\+TE?K|[)~U2/ֶF=rFӫ:Iix!ΗWM#<'wL.3ߞ '~=bf*Sz!~,=m-2e-Q<2UVK(>Yʒ-F{~ v M<:7970 ]C@Ss#7\70%}mf[ۘ/"qKqigt;tD+1FE[U]I',Bu1CEy!;kknXN!i?Njڄr: gUY$`XR : Q0~y-։ z]%kt{p_U#9uV6w(|ֈS/^N)G v <ZnÃ$56(a@P"Ov6e^\&itY8f]"(:({X+h$5h^Q"Z J/DĀ)KTe۫RĄb'YaÊEidTjʶ[uARu6k^h~8Xuv+n1,g׺|m̾* 3U5C+ ЖaɗOŤoJtWpЄ"XW^;%;6}"ehtz(>':L:+sK2dP4d6V0DzOpOX>"2)#]Ҵka1qV! nq8.0|mM7z#<.s\'Y^f (Yv=T]ȉ/XZa\ջcZqlkƢcI=2[==>-M$(gd).(PT}mr/?BRl+g2k8VE/_Fwߨ~x d z*rwS􇸯4@}Hy+x: _ḆؼY6SqD6i3 wMOL*K|ќˌWdT rt*XQڐVV]A[ӡ<@Myډ{iJ_YBuVFy3(k)^<(i^hP׫"PӰ@3FfKFem#o,Y 0'k'\Xdg ĭşVQ =nKj~u 5>hUs8H= T "eéwp7\RQ)ŦlbN]*NBzxN*^~԰[d8'.cS:ۛ\?T~wCnDW#j;8}q=K/pu?"dqj~9jv-2ὁA:d% ,PKG/D|J(_YF5Ejɐ-lC r$LM.oFJ+uijݣhP]99zÙlsC9r]Jơэ}ip_1}b9~Ka&O(q@ wXg8HC A&o`q>AiqP ] }NXw5 !wIX{W[I>S "su5~ 0Z~Xëb!ԔAY*tߥ?MdkՖ1:M>LkG`],CU<Ĥq*c"#ƵJ] }1%5$O=`}7['O|TX=1<ϙ""U4ԟ1J17>+Gi=Q׸ma5qdT,Ӣ f{tRAti(K/6^I˯Av/=ʐ^ƫyAUG-ׅ->As "T[@[j]+3j_Juvv* Z(s&q D 'ke iٓ`pwQ@9;=4"3eDO FR,Z *C}΀u={B}'*IU:0E͡b'`3Ъ|%}͡Ql~:剔I27 ;{ k` rzoRf`r@th4/|3AOxZd`liA4FTorRS% PyLպX ˈt2U._R+9A,rX|%{<-*)ML]7d|OVښ7T0Ƹ>FuǪc1[Qʇn`J-i(aU8t&p{ºa6+Sx@5qD*7 t'-4 -y9#oiB;ZޫLi7ƍt{zKn1)ϲjwWע*6? Qa(*ǭBuQGkEo8)wbϲbP#qXK2w-!|w/GR_[TrWwK'<%B# [ R}tU_, :)?ԙn!Y[s޼O1{wO@nh66Ւ21dzfK=5tD2 #|XV*z?y"%j2\ /B$v2s-zHc⡨AeI3ObbF(J/ZP */_[k0;uYLZB>Nhp8?C=h=LX  0D'|p#Q #M( JJ`YőH-% )Њ͡Cm'ˍ;zr^?q% P"-؋eU[D|{)B5\ ('M׺`8]k `]q14Bh[?1˛1ߨ=;ll[GFyQO alF/vYz :$P YY$81?' THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u"]D?7 {?:fH\y {jAL%/qc(gRL]'\lm ?7JLVIyF#!lf?r sAZEYe5nv )Ȱ2[]"wq1.?K^?84VLj猥bԾp1"f^uq_s&Ty|L<_bU'Y-ȄFq˥Sy"FZ>eLldM|4 18Rw&$!6a_1n&1GZw9+ 45a3StcyeGt(& w3ΆYᓬPr-wZJ`Ȏt"tJ^z{cwo v౱9*oTaG*4`@RDuMDg-wy☗#z_w) ,  od"G{!K ;UYtOiTtk=m={}[I>dbtNCwbҤݥ:Uq M瘏Qm0eiU@|M$X7 zGe CϞcRmDlǿ'nn+ \qΈ0%|Z0R{% c6ԕsi)Eh^wrB8P͇M?A%o`W}:a}/f[\k@O0rkEw2ԇbpCv/WWV-N ФyXG'7{x{>"XSjxuJD)ܭilx ǧn|JUj/JX^\i2׹;owD)~qJ)`Xn!¥%=I_V,3֕ a1jVv*sZ d)Ñ=A9(yu&Lw+JJ5ҍR}IB#Mwn0hA[s0 ^7~o (AnVhaHO#:Snh-û]06%S\PJc̯i0`~PbcPz>wD ?AŃ~]X[;'ƅa%1Ǹr9)0~, >*|E-X=|@زjv'>{,c pbH0D}όX:Gka91݂`a$v`WEiD= 74Q W-OWt6 i ׃AHmßk%}.nS4߶ h)ucWS"m.^}5MIkMmFՊjt&P*I~}0jJTsv!U! ;|UhgmX$}0/8,;䴚F<1 =0XG\G\U36WS))BKb2^{dhQt R͕@T0j!H|XvJ%gg+#* 7.V#&’PZS- RLjJ _Jz1rbd["z9!U!/HulDT`~8 Y`1)/d8υw/fh5%}onk z N@O+%U"/ڄP5? 82$fT'Ŀ1IpG>KMǸEًN_ bI'6oOo{>4<.}i>3r;p\xcH$nj-<GR>|\Qp>HyBK!hr lǶ 6Tѻ\hK^k<*m=)IS' Wи'/%-7#PN~İxU;P& 0nu% mDf|Ƚ`C1%e+%e8QYE[h h 7Dn"@pѭ:Sw*M#+ѝGXJw0#JFGZ=9O\ʼuLm-2iDO el1:I'DG_|)լck)`Ybk!$0(`F~:W G|Yvr?%+ѭKI?Q4e'hMON|`Eiu(8^9ĝ7c$\j߽&[VZ$RyN9yY L! j*D;߯kU‚[D/?hsٝU@4PM:4~vjG_ ^B6S͉4tw򿭯JSs,n$4qr3^34λM++UTd4,Gܭ?o6}O]ؓs8ʊ 1')rAwDmq>923HP p k&Th.qsxQ.|ΩPL̮Vf*dNxJN萖 g-v*lde^N/3rþ ODV3t0 "Th EPy6(Ek0T1D'|x a*bEQٞ!$4̋@揄 J>% .~\HVsUGr q"h`T -{WtduDNXXoBH[eWfw CU"ct%j+t {( iMnvrArA6 h9?pMS _Lzj=bR{~r?sZZ|7^aU U74/_)ïWAtJ1x̓\~dlfN̥]+{_<"-ݚu͵k FTxE(8M=s_H E4_e`/#9Řzf8C)ϢRLX]uz'huTKb3w͆G1&M}\< (t"3^,VYV ^͉w{1ܸ@TK>n/*G>PQ$BbYS[Doun/2A+^ʞ,R8Ht#N,5v޽NRPr?0D*ZVwD`U8(;ʔj*]eO$E(8,~ihgh!jm"~\PK0< cY*<#…fõX!#ƃ+zSqSm_ҧRA W?O_ gC9쮮I;g@EjI5j@LxҬk>2d&QS/Gd1`G$>lxiUyHG@XvHHl-¤DWafE bC