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   \1tLt, ] HOL-Metis_Examples:threads=6elapsed=17.117cpu=67.296gc=7.0367zXZִF! ] ]ŗXiɟ{m1m}ޠ~0 3KxE10]żtYLᓸ3F51?;].`:ȱh)1󤢪QL `9:ڳ%@a+ONhvJHd%`CLƊR$Y 1 HOL-Metis_ExamplesU1;/ $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ؐR0O+N(C'?&;%9$7#6 /.&        8w-O ~ = K t3* h $  { = Tj-ye*B f#3 Q <1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages8:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup791;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files6?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id5C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup4B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files3H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id2?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages1=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup0<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files/B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*J1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages)H1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup(I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4'I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3&I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2%I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1$G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files#M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/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_id>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_idF1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messagesD1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/filesI1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_idD1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/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/$'- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A*leW٤f΍'y*Q! = uxc(F oGjm.0n?sx=,1DZ¾jWEٻVNsA2҉8 +Rmb>lXm㮁(k,n"]0tO^=Pjva7ŏ&6C)t(DQ(zyuTjb'E%+tDt_JnZZ ۴7'ʉ`*Wp[M[k 5{6 nF^„[*gx:sǵueBwݯ@hkɗn׶&JЋ`>ARD+)P t9 lr#P- 17uSgrOa[®_QJMeS*4]"dt'/5Hvp1,ŇqXF+ K]Ţ'PkJ9y8xAՓЧ|Lݡ5ො>.O Lr}ITcx A FJ VFT$ ׌.vK.Ur6/Fi7sH=pTA4'7jIBOI8N|߾sz.܁خE|@ޱ &VGq )Aݰkeҏ$Sj :Ҁ L;RFNez q s/uuC!'xn8sf`0Y(2e*ˊ DtP#CʢnMy)V|Ə/8oߥUi<r$:t=T9rc\UƖIח JL{P7S4}}QrvX ߱{`)60E7;i^Ćj='c* D]'i *z/G &{~SbbI2E9 >idKlZjT/q8+qs2qF>?j W!I΅RpET8H%p7SjX$G5=LWaؓ|"un%7yZHgþzjOFp;$ iz0sZNj!joWr+*Mo9^ՅBҖĠm4G<з@(Xc>G?đNʗx\Nwg4ZEԾ;f~6w/#dN+_HtB?cvXߢ*`ICKTE+wDPi-Ӷ1=k9cCp鏏`%%=5t9mWjW8Lwzm y@*\5FuXuHo(]fKozwNf3MkMԧV152 m<ǘ>!"ZuoUA5qj\ u$,dh!x\j(9rFag~hei*MKw3p)1p Vc4ֺ6 }+vgb= hmJjnˉtx)w{_p * f̦i!avw}fgzfG.QŻV^ƨRi :m ŕ>Ok4$\T"5 tUzg&L)懄so}+E&m82R]9O;f bLAȜ*Vw҃2bN8sی5b1 BtyG Ҍd퇫ZQW@ WƜ~t]\k ޽'0dŞ'Kq+EV)]=9^fk FMps TsV!= DU{:24]) o嘐+ԳZ.?3fngYZ ZZp1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id534Z1O# 4HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! .T]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7KE iS?f~uSPT7挊Q6jhg- =U@:pm~;“m!;%>g,x^Nh&Z֕s g!%oˏzj ­`Lyt\hW'r=7CҊڂ4v3_ //bS6HhݟpG:_i1JzEsdo cQ(q7̤TVhbK?5lnlwB{u"i2fÂv 3q!cyx3x95GuMݐ |1->1}e\S)J!*:XoZ,2}r88} ^F=yA핷N@ BtPsd5g/&7Y+atu Iq8y&y3NHik[HPz*|{~YшuHҍ1CP+3Q#RڀLR|) Nvwk03"&$8DqM`vmMDݟDA1j[S'|Yc{ }EWke5.AhA5NL`e%^Mjkr{ GJA uY`ߧ{G'(3Wee2Z^v X{{( iiYFk 2 -MDetvOݬ5*d[`dṿ.g1Zb7ewASm-A-jT9IVe?Z:'p+Xg :/ec!;*yތq }5G{O;-Cx>rMyV2Pj15<1yR@*WE僿 n`K vl~  >1O# |HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1pϭ M$Z9iC昔=ffFIVRLް?4+eMQ3@TI^*!a Kqz9q2\r#/{_fX6.y8xj0Yw:jkG$q}fPz$(-";3Qwnc v@ _V 3rk!O@tB㱬7 OYqt)9'پdt!)a3f.d@=+^5#5CA% Y׳m u)w[X]IW$Xoޮ?ֹؙ1EVˎ4tV@\‘//h‡ xs9A.(j{Ez>w@e [13ig'`ܕN֩2ٌ {q7${\ɫ- Өm*ڷ S #rBOGE&1賅O=?RW}u>! sսZgc7U@ .ψș,~%.`%Do:8>brGو%kEL*p=6SXqJi@QL )PR*RaD Eq9sᇯ6=`GҕwU!ĦӢԡ( -L(Ɋ,noFs3pGCg{7D(O!uSs0N*#0OC]wEZCfv-ɈڶVG;aFO©{@-iZ/_Y*Fu1NR[KԚlŠ#!ۜ6z^>nU[ډ Go v'S/|ۢŗC16p["s R94*aC0L/!qC%Q3ՙOlS9zeK`#84hgvoJyzfbP!nm@wzx9& 3 j5u:L=8]h\ kXg"WT/HY 1cFv/$!> J|ٯftǥg+8Ys&Z;t)X3Q9g@!StD3tvRR. `} !t۾4>r薲8.1Jϑš2S.w}_2ޅ{,@XV%^Y` TDL>m&S>8o*c2 O-J `tEf>]\'yKq[nR@Ym=?졸>nF{u }0-zt ti^M6ۛ@HKd>ٳ幀_b{KVth >",P;Xty&(HXd t_Jj9Vpq8){v:Z 6Ƕ{QX|V\H]";5qy64؎?/̿QR1S4 NwdwV E!Rmx`Ih '^*VbyeD(b-V!*orFtC )z*YkyX{(văIƿu6qN>?\{Uy_yXH?$eX7WqcG]DG2!EQ WU 5'$'ۧ6=z9b1;+blf.p?)S]Q\Z(Z/0kE I'\eߛz;Z{%Ό^ΚsdcRsP`ƝKˋ-&GDjkwuDŜ&d@MN5 Vf\N3_U$N}>p>b"D ]]t)f)P<y -ܨ4 d rs}(Y i~{!w[uK:.M78^ċyÃyp`Qrulcw%J:eB 1ljTjѨFHlߜ6c]H9Ch=GDZ)ˊVY7@kd)y ||9zتziu\J_N\}9 $c#FjiG֌a&]&[/)-20㙏)+_#9Qsf5N<@D:~t[e;x8R'\Ÿѿ酤̇=0M뾈커 Ve-#ro!.byM%6N527&aPclBwْNJQzծ}צ^ DkKG㻉[T'l[s.qmЙ< :[ֵ`0z(6uжkXz!MF4QS.$5zZBѿy 05i > mL-SU wܦsAHf0JuQ y\SP 'qwdw"oo9}DdZQ8ZeW7>{/)>a}Рa-ܨXL{$g7\A 7A$DCىJZ%SaPl^:piĊF ibGdӻ7&h;!Rr)e?t,ӝy*mhmy#(S>Y`*#` 1JIS!{r%b)RUk>]xͣGKrj2ENc96(W¼Qlgov9:[MQغɟWk-7>t5NgYZ  U e   1A# y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"9n&nw1pl]%gBٚToEy  (Şh~N\OaFg8@4-BՋXŋ6s3n+uq d $|':^6WhؑS`0О]eg3̿SН;ۦCI(cu|sLE |cOO<(WYp$q@B/b/:zez_OB H1r?(g}>ޱ+@u6_Lw[ocu#k]=4 Wf@n:ȮQD k(.p0ǡaQѸCX"p2`'`vq3vy]OI@zbkXfRiOv?=讃#(@ЄW iGT7 #6VM>2Gv|O,DdL Bڡy=$ M{jb#U(e̓X'LRT<;@sI.^*R(MpDF`K,M3$hU:NVW?ILJѫ$WtD;AJO\yR*J.XNVv^#A6#*7cTW@%Ʈ55;k=\# -ZNO~C>P uMz#S4 2|~)s%BcY nV7%zϽb@@%Zj/bdF R2wk v4VraS;Iґ1I/ؗԽby l#PxOxcDPvV)|Y%AoC-1E|a.|9X?.TN?}[xXلHƖ+YϬ$=[`4#=E1.ޜ#n Xԍ8.݌4MrYTnPX^'Gc ֯"NKS a}{ V = SgpScSek6Io+groY.Ab5 "K^t[sY<)a舷>٤[?Y( ?qv=Qz~NpdWcѱ '4E5l{38_Lg޴zɔ̄rY0g/#K$ rwa #`qWh4!Y z,pKA>YA_]g)Y[Eg|a, mV /a$Qػ϶!Zb9GW<w )Sc,TZŎ($g#qz[H 薀Hv;W'9"c> 4Fӛ`.krMJqꇯ徒݂N#@yC+ ߦ`RWӤ6$A 1 kISЖ}V߆L7-KmwzpS?tkCWWͭ$`28Ǵ_4 @@X,z=3'xsr ]\{u+0$iTKR'%C۴8S}8,; :rGiL[ i l~S?2\y[+SsT\L A^5R ,̐&T6GMێqy>AS\t4̣-mf;} 8X=#Pftped4솈xK|W~'E#vvFk+ՀmIV!.&!c\ 5[̷7iݒLH+8̂5%AYepҦ$`xr%P+ ]ܿs9 S#ݓsUaSL G\ZiI%wDX\Kfw' ?8+{i\&7VإmG,Oaar#% m_3cݾ]t U,]/*;Q l9?S{w6||@Fzs?Ŝ39' CMAxk2O=9 5o3,=~ v#i )(؀ف M=rڱmP8cկ?am#b[(o(z0NpezYq2OcK6/|ABviĘs.Ewxx!b1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id526L 1I# HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwƕ l`8[, P2< Mũ/;_"bm]G9%Pąp{W vNː u ]&oI|$3 U%# W9I$OjH1q wr^(/{O!3^y(ɸⰿ iZ=C/]xN#/ɡd*(JX حh-v&F0{<ƞ]Vo5~ 6=ݱgYZ & Z-ӊWũah6ug#{%& ЉE.^L!=l qQn,[ɺy .HEzx\y߂2{epEBn (+4H7yCU o3vWW,֓jh4RLa ݗ&/!θΎ;\w=~ۊTĩh?-a0T Z+7)c6|j]CH@Ԯ~}y i8^ceb tv2'_YB;^9L|L`cw1̊eZyM%)~uMAÐ?q~ #8w\- F# q!.L#" 7ڴQdsx+jNwovLV~>;5Ɛ̼OGkC]/]W2S"]+~ݛk}ҧMF)5nC\Eo&݊@O*NЙ|DNtrʨŢ_Kvu-~cy7) %o`+U%`Vi؇gNj8qp/QD$3GMDD㮕$LO—2D9㘬\ֽu`lH ¬vDPy'soZPvч[-膓8@i?||z kVRp18Aŏmj9e|.8(D$(@){1[=<0 X!P$; xdW/'YrHV> vf "1,B~~>Z;T3fxqVr"w-;:SAq6CکsiftWQ(}g"3>W;?ƹEBu39Z$S3lD{1J,\SG,|OV@a Ue MEC7Bbfs .3޵)467kX>RXO,ާIvPпrT}E~%/]{ּ(LA++GǛwn!*+O'ki0H@g fE H HpZǨb1?ꁒ-.[T2dl6j}=A"zD堟\x:Np3 \処϶LU:_5gM}썽X^:'oe`e "7' "R24Uڋ@R޻XH6[idhРXsc l#M*I"S(%Uј!Ɛd;-'(gUEp_$̖F di6A )#bABͽ# LJ"ZU}rBʍ: Y8#' 27y(ޥ:O$ L||sCk~`#[NƋœ`-e!+CH}*lh[JV 3O:#'-"cMM*65ѧj+ A<UY?IRi|.5l"(PP6[ czOΧ4  f5hEE1cŪ6F*!5BM- IB@_r׮-sCkĭ7bҬHTT=3\/MuhJm]xFQ\)I&7ooTߚ&])iF+UR2a#wG 1kGwyOpjx rEYYԥ+S42P $SN4>PC*؃$FDFlf+=NMqt=p7{lȜ 8Jq3ܝk{bl9Yž,O(w%Jw?G$)m^z+ mڈ~oT~toj749)պ#WD#!r)<:x!]ˌU۽3$wcc !.*ae|> J(}TDM6n/œ $"Sߌ^-t7-IpRLǫ]mys TYvN JH6 I㜗:[A|Ga`VydDR"b6=SCzG?v*7!/Mu<_E|-6v={-,xc Bcތ箙w!0c>so3#Eٯ&vHл>J@3@ CZ2b ͤ$YUBǼ:v=U -L53tF10d`'=XcA Zw޵VW9TKGf#!KpiBI];qr.kNX+)Yi3wF40+͍= D"BPheg¨q+ɞhznL&z (S}u uLE%b7Z1\$͸P3A#{ ٞu7EqBټ r&{BNJáy}iN;F :=OhzuⓣSd0AJJ\/rdeC#,gi_Y@9̼~GyH'EWFP [hE, I`{ɩ8c`D*}aBaX BZgt$gNTb&[l7Hù4݌vy2>2!8iN` `quj/y5H@ ɌvuWʽ%&Prhqxy|ɪ'Z:8|Y I**t.-$zS4ڿ!P8ƶUWhmge`DHn QPY)ekmèOomBʖ@gCo M򭫆*9Vx JWZ|xS~ȶ ѐ?ٸyM4@-^>hFVtu"KW3˜=\pH9etA sfds`spF(VZ4oH>8 LTm^p- @Juz#Wa~HZM}eȩH҉(WBsԳIהZ=2Ĉ<`SjBcwT/pSD%^KQi YB_a? hYYF⣌}PNavi/.}vol6Z=4R+6STj -$޳^ᾝ8]4r& h[K4[БiRєHiDV&-9QPw9!h|ԇ:y.}є-(.Є{uM; OBK=/=L4&zTAHf3w.Koh^b%K`>y)m ԣpjofpi oSw2U% z|%8j+f=f=c$(l3YM1Jcë!!ccfZP\9f`IY"`rRg܉@C],GEj;lӖaq:9{fg=LwV/r內QN܏-^ޱ3+c8ns/gME½vXW> ݲIНµ7pPfBߋ B]\z(R6AOnpnlŐ<¸dtOʠPNcnשQ~h/N)baxÆwG46gcQf/X4:cK< ejÓZӐ|"ʎ]bd VRAU|F)8 Yqa ܞd6l|YI"뇑~!PŮZHΖŒ9!AeisV`FUo>`RLl?Ź0gOi^egtXXn?g2zjc{-OѣP8 73ZB,z*ŧ`|w_LZW>m+4ZƘ3lr,#޳e`Y ȳ.+IsgJ'+{OE hr)Bk  Cps2&mxQQ^[NԘOk4&&b}pw3:[ozyX$m[O 5`U"t '[>hpP5vutN=@UrfIB%/Si;c1h6'i`r\Ӱff?FYIl{)`a5r W번J#Lb(* 0 "DtjbQ4CkhI3\B14FyԞN4~cb횬* HY`&戎]Я[{r_z?@'O[YNpMe$ s8"AWlY1$Ս=y*0^M:DͅR/E%RGQv'p د5`TmGzf%# uc[O12wc7ap|5 >Xʠ;+w+LADt Q!o*AU1XQk3*͊?;&Q|$xZmi?B M&XFk3PH V'ڨBm+.(?~@8&;39A=p 5ϢSdR ӰK)zp@' &(#Ɲ%k=:r;>J/  2GV\€ Za7^rxdv9D͐ZPRObpT1:JpZijr͢߈_UJ`Mq;IDZHd\)8gM:,ȼ:2(s 2wOZ$ čyeREC6L>U> UOU?V&ob,[l!im{xhQCM CDHpIby[YUA?pb=ⱦ*]2v~DݵJ2Ỷھg5kս!8]МKf 3l,uQq܌M6Jb9I87|ym6 .v!Nij e T\żuՃ籰P8'XCaVI~8{֌Z+(vIH9bX1!נUgf}IF /`ԃхg~Td:#ZoXfWOB\x{NѤ. :9,J`KjT 'et/{\-5LJR؍5SXD}mzVkD"GDbzncqG)(tp"DǍ ɺ&^NI@~\44Ω@}M ΍"k)>k|ý 11S@[,s$kW$>I xVN) 1<<+~@&LN']4W|wa#2#`(llm y(+F=VmG>'3}$>i8HN0|[fVVQ$U0KɨOԿ2Qh"zX^ߣf AB)K]Ε@b ٢V٭<ݟ98@",j>CІGX#KLucQ TyB'6J,D|,9Ȃ]uV!49nnϰqO J{&EZ3I6)Lɩ%L7MA ZFv c&ib)FonOl9Ԡfy,G"hoIazˣa%(e_xnƖ{3@'svb;8RQ< @jxe&]ETպԻ{C;9Z]uuϩ˳Z~j7em Nlۢ#hgrCAi:6ޛ=!P!Տ}B) 3 X9*Xf@̯;M?&r[|qJ7x~uZۉJRFh]Z"ʸԠ Pd8p{>JB&/Z#F0Z ܗcf(ՋP~r |:ili' ̠]7cugK4kOUdOz\ ŝY᝺'j[ 4[G_\ҸcX;&.>.^R\2B,B]Z S-^M˰9u`K#PKCnCu-4}n1س\rBx(G\Ia Tb'DjOН[GJ*Ne:ȼ.OM'zTZӓ֙g>lN/FX_U6~M%t>07cUrV#iKsl?F4n* &Zx@ z=K]_+grH([E$#$vz6Cq^˓/=`ncoNpP"a7=p.g/ݡ剉unv\\UBay NZAb~W̋2~7/ !jFbDWl-gʫEIoTӼnc/SX-0DWr,N`G._ "g>L_6&`Յt҃mR~Y3W]~FoWo2~w?E"@dn+)#'sB ?|G{譨'UI*{5\* W(f'_G&mp"u]BJTFS=gw?'M3gݎE^zI+I0si0pC:rAiR׶E u,Gd| JRsO)9A#M۬ϭCUDGk|+|@wV$Q&JU&zxnFt$g$ -`7`1%ʬ-a<?C0Yg6ޓf#znħ7f]Ѐba~ TO29RcJGff&ʹbҺqj3'r1!DJ E4V7RRLF0 1=Kʹ]wj:wEqRTxg8wrڒ 3s۾Zە lzJ#D8ӏi dNPFD ݂rWǤPNK^%]7G^NaMwڠ" u<Ew!ps"(7ECK<}aݬ5^@?"Fz8!)?5$9WT^lv;ڣJ#.\uth񹻍'RF(XV p~}mekоy4D-(\`>>oB@lLfhA+[W2@f-.xb%z#BDlvDG~`6P_%2(7g=J"jWsA }I &N9@n{'?s{Wי-,ww?A4>޼7Zhcq.=SKV-J$7̫Vp+R?_% 6R_a 5fE1:\f8JXTЀi0mk=K|8(jD¢0P1D37ZǛHT7głm ؈GndKtJ+u{?K2k,w'N @0mmuJRTBg+&yZ{.7rQL?AGE+ ߶oyJ̣;{ؓ!gnͿed:Myk/jK5A-$Z=97?MW<|.ϙu_TYiO%ȗ2^JaׅL?`܃g-= Ƃd9|7UK?s~y؍xtQMzz #u.Ig&}! &P-)ZNiz @!)Rw1|?"X@DYm(R5i2I}lHrXyiJEzPne:[Έ Nh t_]~L΃} ~fskRhoq]2'>&?3@ !p8`:I].%PQ4-wGں5߻@0̡j\XnX8*M䚆2`C=uwኺ %?߾)̥Y+D<143o|&ڜ+zye+,੎g ECwhP6\ؖJU_wUUXח.0Ӷc7"5 3KCޑ:x;g(vl-_x4 (V`opduG95X|vMQ&dؓC&o0u 6(cPRh$Qm˵t~볛0ˉ#LrYغv=,[n ѧL&C.cWň 98əI2|nȑ Z ?u7-K̠ ];sr7ّ:A*x7HL"er#[2̎$n.f@ xϞ]-[] "JTՈYrGxt*?uۥuɕ9"qVkb#Qde鏧Aeg<ɏةoo* `77}!E}6q{ʤ8P1řdmhZ3)LWT/ IǨMk^iIɍ^:m0 1 UVoOˍ2DzgAA ipB1QrqX5wg2q_o]ر$>:~z[Үbf MLCb3_ _]-@IyRcX$ںp5쯪H5Op=j֛D.R+djfW@)y=KkhH8NuQFas8ַ;SEg tA.jbI)c=҄HeŨs3H[^wbv%|q*KSF|E9S˳ľir|*iHL:M M&RcPu^l&0@5%e$OқzGU>AP|ӄE :΃'Ԇq0N]'7N;Ǎm@ g3vsׂ@*lNQ(תHW2FDVkPT2?({F$>B [)2eMg>V'W7GqW֝nރjũBtnV"ɓQk\*=[Mў_$׌ nw*fގ F[&lccb T˛ 㙠Vy\A (H2#RTN|^u=TtR3]ۄ*6c;g*CEIvhʁb~y*~uJ<뫛Sn2:O2(~cq̰1e+t9m(~WbjݟFa]U*#]hVL v`>؆+.,2 v~p,{ 2h9#mFc4{Q&lRg TCuuKʍu) ' u7[F- ~#`X-FIJt<،=%uzԊ=ؤ唧ֿw4s~Cr"Iv_ϸ,mY\FOY6NeA9KRJ7+Tiڎe@rf;#2Nc&\UC@Ԅn5?iIB"7'ڣG[;،޴CYfoIJy^ͰԍPL@4Xљ8ZԻӅU;x{!A3_KHG!VG,@"QGL^?$%Is*VVGL b͑1,: &JǥtI*wWOZg kj?PHpU 9(]Z CÅ9@/{m Y)2̓3ORbMaEBKQ(֓cOSӺh};OUP/8m %N#p\+^|>F,oԱKK#1'c#C*pɒr>3YƽdkGN'xOqAQ|b5XinFC2m:8y3^zEip|TԷO&BDdBj* k{Mnƫ#4>2,Ϥ[hćwD5u6l/eg:bhuw.u,w#f80 2+#2WOCB*^ *o|"xru $/˒fRc8]>\QQt:QO ,X{ ި i]W3046R+𧽱;7\ D'UvD>GO!TPugC6Y۵Z,\:ʢ>Ow&~Jp;Uq~|tB%i @L^h:{ i2MW!<4~yV8GU^;%@0)E ttA9NB/̌M,ޒZ9z^ܷ!<*(HRݮkxwMlrF(QNC\q2Ar}u\__z1D <@>t|x]b6^ IvpΝG]U).m]>yLETN|B3o/?bad#'.Z#C!+FSi:Gy4,1g|ò n)LQzO 1$Sq.:7q' qo<( @ h\㭲vI y!mKח{A]ɯ̙rv1FSd| 1ι-@-(kZ$`N5UкZZ9XNb?ѢGtT'hhP( \,t|1Kx8`8K;g)0xF-s)qNs:yw~}aݝ[U%ߕG |_D;:ڏ/4GдWRxas]Z7N+'IO^*B)Ɉ7D+2T3Nڌ3SZ` e u+G3Pk>69X tPIs3X?Lʾr+Gb idE1%3p:ԢzZêl/4u@"Uߓ-*]҉|f_)$({bDsgrΒ>d*v: c{Ќ l܉یK$katﺂ6Q N) wz<[LGMm̒{a=LhCӓ-5~'.j *k#xx)eKD;M]Qhq fGAwt=|lKLf\%ʽ&hx Kb5Tm4qE!zMPC݈ndS曼UxYc!>|$$m$ǥXՖVWx8/bXa/ =6@)R!Opr=cRr5{EQIU֨\d<[XdtYV*_ }& >ܥJ(`t K$qpVҀSś+D*\L u ,:lŠiH^>pdkPn9v] q,r[بcSNTLioUj|BxoW=̨j6K" y4ZLE2w@KZtݬeBMk!zF)u=8ږ>ՒSf5T~t1Zc,FzjD԰pyৗV<˞]|kCqtl1MzyOr `$^Ħ?hcY OZ.p`c>.L>EzZpũL0ӲC Mh#p/hBFͻ{|n-prN}kZ~;b*1+Fmaep2МmWU9td6K0Nvɋa4D/ C39 Gq=VQ&$UfV z껄}f[DNj5{Mӑ{,i iZ6Ā˪}A!]ߨ 5pE 0[LU^kzsb٪.OYpzUՀ!P$g~օpzmKvS5P{)&0?t-۟  ֦ɜHHGEt01G6܏9$8vdtP~,l,2lZێ-HHKsIZE@^$M/&n%A%)gErq32SS`4W;q<.#ӁmJݷUfCW ǡl_15#Nyi|j.W*,Ad^|U=LMtWGHX| /x7!I\g٥X>"t%O;5)NO/d(Ӹq@g4 چp鎾<P!ouql;VcE1D2vz5lb_!Epy{߅DXɥL2LHG! ڙ۝%FtɊ&ϵvH3pֶ+(C9Q{&rAM1cE_Y K N#dV=Nf%;4`!&e M ЮeyP8!d}TA/ Ћ龛w/u>)zչxUE یş4.8dJ>f)e}U߂hv$|rSFa Ƨ#r~A(:?p#h[ ŒQ3ټSnLlh:*oEǷDe:Zj_xz zC,O̮`͋ft1Q`Wcw @~.*?u,;wG(]Rt)dt|sirm>֨v!% )㏌"476w_ݞ!PP ӯǷg.f+Io!+|S퓐ljDL«Jn7R3R![u(V2`F'Y{$] T\T"|ttb9 1־mfc3͠;KL&0)o79/>am/i41h~HH8g#aR\WeKA aB~Ga*}l61 "/E,*'>7HkhPb߽eL]xR;sb]Ip6 N▼s(lyP EvEӁP\܇2FD[SIAP#MVt6DڴҖ~Ac,^\52Q+Ejп :Ki}jI,fHe r/0?(Z̉I \maZ%T0ɗg |ģ<۾J!I&s(,7280%C 18N\D/p _9@p+d ~lc@%Є9MS!9={"u>ٚ2JUeY<\˩ɕ - \_RpCR~:2rbuޚ{+dXJf.zg~CIpA> G^ "+)-IJE:qFAxh/`Jz+x`KJ'M$@/w%I$1mN0:䕃@6"Hc/iG+\ŎWy[ӐNwz=6C+7 ~nY1db `fl^w~VkU?t+5xMU|Ҳ4%`8rw :W n8tbW Dڿۏ+<@DN,H7$L%E0/kd6\t XUA*3ۼ3곑N11Gi!ض /S/R&f ޏ$-}LOlmcFKgހG1<aKm7);vyQ%c-R"ٓMQL9i'+?T"KHM[@KWZ;vTn,tM%]kFVESv\ף簡K)dWvZ ](lPblO7$o'N!R罙!}!ץؒ:Mo>3굡[Z0jfқ،"?S, N.,@0z^ACO$ѣ4=&72au(/t R -Ӂ$ bT<|~5"8֯29ox%_ΒCA}!2qLcK#ǐ^o^&ǂmOs֛zi\ wm?{^/ywle$ 2?;IB $&k)f :{|@hf Z3׽<@IN5-m@Wo-0|ҷ}QeeT?EBm*:Jx5*Lt#8ccIZRi9ʇ'쨔M+@=f7*%ռ)m8!:M.v*Gk̘Uѡ*|>'/:)|J@`EKLQ!`Z'S@GvFki 8C܋1ir3vDuT F%Y'H{K~MqC x/g@޿7eH u8ޚUA [ bnQ),I/Yd;rB7P؆ц2Qx=} g³+_.082nɷO*z`OY+t6+ |l1>^fs5 X wHןv_6a b5cu}GZdGKVK?NH/g¨:ST MC 6edq?/kxy^vA M{(%vOs*}W҂-#S"q7]&]{PBE` .N)(m(=#}3!hv3Њ6D]~&w $%^`YHćʉ(glR?ra'ʀ\2[%Cq^_ol+=ͪN|8}0_RQ:EbRhV'?u--rQ :_XWLJqu6w`8l뫮ihⲢOAS.Xw>yDGz!3Pd' $jY}G\B61[t\~qduuwFrD)Bxʅj1Kzw(©މ[[0U|%(;<j / -Xg0H ަ}=6rEw!~?29h3H ΉϜ:T*wGv)M/< 㶵 FeDHcCRt΅ Zd́(zBG NcљɳM]l+M?/[`MsoeQ֟Ti|/ЃC>#S, L:u7F,h>*g,PaJ0]TzZ_]&||w҃d_qG̼n$0$\8"&Oo%]~+g2^-4 !4['6ͷ h>?E4ʊkKZpDS65ggH3B~-gͪr;tH oC1i(RW"lnwt@'͚o. &/}ZF^n3:ĝx(l6p(*#n &wOH6yo`|n3k^/ |)u9=cm(ev˨vshsq:;W9pkN*Mn:˟`y^~Ӱ5q|vB=xCb&umG x|ŎzVt\95Q kpOqv<{gq-ME3dcKyoU{?Pă}QU;ڼ'&- wbV#okOxdVcHs5Rķhucau1ɓB*еH`=x2կηP+3^W "%Bu! k񙪂 MWƝeGK 4tM|X0'`Yy̏i KS!@O?\ 75n˾WOSuxuGrGT[i񏔾>Յ h|uSU eF6x·HYZفp|1qC ߓ@ NJ|HOF0QI s_¦R_RƒZUaVw7`E2 w;q 6U7!Jl4] ;G@ifafh;‚ɞI^ٓM*<򧩓.o7gcXשѮIͫqrnxZl\b}Of̀dYT5Ap6U)\$tU5E?JWl]% լA/jzvػH|VMI13:0E?Dr`8!Ӌ j7k e]CkdR }y3O-})qo|3r9x( iڷ.OwO ^G.;"֔iK;L~!yz Ot|.g -8auWsCfI=5tR V_=^7 ӭM-NJ!~@ỨZh(..gJCx+)^"+^C+LЬԆ1fky5RJZ 5cByz$0MRH<hsƭ{;;U^CdխQ' *M1*ꬼGCU*V|*b}}ǭuν'ˆ"ՖS&p{3`\c?HZs*#x`D s!yϓǞN5TW;1#E׀`9S +\F2"(\;bwS5̶]ilZ$nS8"\`ǐֲ2yԴ¿lMEs|uAUL,T MjcO{OT ,A䵖ϞGd ےx^QYi FAv~C:mļLhC2WXg^>90P>J%FY@Fspy> xK򇉸)1_ Kɩ~3kWxZvLdv2 Thw]i D BU1F`;VCEH;)q=wZPJ$e+!`"4):/W\Džy+2v95 sN7Nkq4uY_ŮO)2Xmz?[$G=kN6AyUR d[rr=E?; _X!?O5Dd 4:AwAӹ kf=~)m!O}N|鼺LpMYĜh?ZTϸ:K-अ},ޓӿ_6hw1l]IީዿB̳ET5;hQ'2M5S/f1M\5dBZHeV/l~R\M8 E 0aƣsS^DO\글c pf.LFeŪ1˓F%eM5[.·1 7z[&T`F^%sX2ՁK=vh`1,Cs:<*Aɣ ^Z}H]x9Vr2r.P 5P6*W5Xl$.E%Xj?z\UnrwSQɄ>4+ʧJX5HFulb½U*!iѮfU=FUiz0KWcloaZT7.:CF9ŗgk/=Di8F%2.CVkCǺ^!ӬFds;Y&5bs^DQy6??LP]=HB{GL1u߆'y;K\F?֡kd ;#q8>M̪\0ᘡͥ='WHa ٦j#pҔ ߥ]l o~M6'KC.AE7{»dG54L ۰%޵lK?Y/+4=eB[5gUΠIy[y _`.t(CKy{cTOWAcӫ$"™7ǖL;4C$5,}ܰG!-Fɀ?ܭ*;gD<&4šH=Tݯag;EN L2h@OAm a/k.WU3n}LAC/gBt3dtt5e@B_ Zh6ٺn ќfgG al^"ASFC"n |wݛAK9DtptM#hdBQ N@:sR^_]yi9Fm4tޟhh6ؗI,%;)Έy-e&0zPonRk_EgYZ  C C`1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5301A' ,HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z‚XhRΐ $3-O|4DF ZKBZ#'H0jUCG]&ѺX7ȩW\BO)xc]ա=Wg~:mxpdPĻ_ B 1DWnXKHƎNΆS#*,GmIG)63?46?d0$uF:WS xFg  RƎP/5ΔN<}AG%/i-2Wu@-;Fk.QfLZ+t`ri~˸j:]ٍb>l䨵`R;Mݤ:XGlqBj:S 6+ȳzԦ:w;eX~l odUecd<DO$+й(˲(PjdN8(;p3ŅLmVXD>zzivaZh;+7L%Kug`ċHǛXGM@rZiӰ{F*H2k]X%VJyhd%SYt묐)"e}8غKP vyQ7k2/]ƻ_\{  *tDkʑRBۘΏ"ebm!CGesI uF|qwu!2*Qtbrb<\ |0nR'N[Bl8iPuNB{8ONk $j::>̯)H_Mei-)1z^0YaC6֕Ŭ ̦+ w1L h6+{ dpv@5hpD.'/<'F%c;%&+jJQ!P\rc]@P,24ŵhP  -a^ H)4xgQqF0Okh0 /!یx7ͺyqwW"dJ?3qT4tD2 D zʱgYZ(ĪEpl~pf.# N<ykǭJ ?9{46o7I^mL!D*A2+fKh)=$ З2x'e]ert`&{qB\QPɀmK.XR1 h $Ȥlg:":$,L{liX OyE.>x~UO_81'K\ )`ަE%G094p2a!)ZuHS'كfibUFFb:ʀ_A'+8T40Lh`)7hyr9dt˰=4p22?gY)vO5 G֖n'xF oٰ68#J|Ǭv0o"/-!Tp3 V./YjmcW#Jx\MUojO$ܙ{؃C#]Ri" d`CHJvak<oJMi-Om,- o>EGoq톞 sT 5R r1S9k*—#Q<%9A^{a?205.pzʆV{}WۀښS}glK 7!m[Kgh*`\Cdykzox5~uO}r^W+ %sm6C~ЍNq4 C \=x>iQ+?RFwQ18 `''ޚXK~,\>7RVN]oi P{ ր&wNpӿDNJ&1%!v? x3 S JIzvN,̪k";cI7DFVgr}~/= >mY} LQOnnªxj5Ȍ۪4^ ꬼ1L+g62nCm+&G+jr*|GHl$>.Ц.m[9^y1S\Y[7r* eiSw@^ D{qE \;%4 C'@yQĈ;P=3|{o|^qq3)K_ M.{nFrr#A`P=!"Bጳʄmx7\g>4JMD{<-پմN2Bh&\*0^峠ni]ԾE'GJO[Gc8y 3?ѕGw͟VJ3tȰKa9Q,0st3-Rx^ jU=,tH0cq9t8'a 2ϡeLVj[i+ab+}$H#$5 CV)Z(!^D8,3Bѝv't|U\0oܼ ;nn pElmz N* MuxW9N^..Lb >M/턌7p&JP xKWsQwacQmƘ:/]FkIy`pkj5?A)]wmdD$3_TҮdtqtFOP\Su9s?{85V\ʰ{d;l8 m4'2r^;CYnP^q6?AD3xz)Ѳڡ1kr]؅Z !Xz\/`K^0׆lnC[gXv W\݉^PTU?`=!rb->a4O`@5>VH߿K쯥M]m#9z>˝?BI_NXhfSVc93;2Y6IᾺKvھ%nbr*1m5-5smEȮՍص;^scw\ClXUcX(2%S(T1Vfܒg[_hJN QZ -pu%S,U6%e+37;q&``gw6 j#+h'G=4r dH48:BFWDBWtη=])oC|ytS1 ϰ:d)Քኡ ~4\9R=A+>-G1|{-X Mh!~51Q-,Cޡ834?N.ݑL(=DG7y6j<| e;Φ@kk#JJ#z7[%ȵ8xawfvg.YZ"|YIm< q?,v4haWBzLq&V~h,NFPu'jxl~T=: V0#9[MF3NUn3n1ޏS`6:/@lh'LQbDco`eZZׄ[_UHzL[*xy& :ȵ R($_`&/r7u U[O[ (hSDޕ5rS-F0jA}\Tu#[X]OCH4[3<0cq{eS$tqP$m~x P:]g~b VdGv)H !M!|ThĪ9VFS!q:v]?O-9K$#U#a.)P̂sS}J&=aUpVGô͛ gdn[^J,1,'=$ˎNj1iDy6~Bw{CD\(D9 gÊ] ӆhoO)E]`FEnW^aT yB(j/"Ʌ]N^2j+IrBxh>jhCN2vHۧ'U]oRu0xkmãAs<;E;۞P^(Gu/' ~ZVO~;  ݧQhbWJ7];8i Ӡ! ;P4 ؏^B='Α14+թþ9qDEkIᖵڶWƥl3+w=h!ͦEAm"#ȻN\eI '`/&>DS;fSNܵg,7Vmi䲖C:ǂc{잇үlG>(ܩENeۨ}ujcN)Mk@s0T1f]Hı$oũZ"Z< pyy+- .vl@ܡEo5a1Dr2 rH8;vLƨb[nÐ[4Yݿo2C<tН*ߩa5sn|)L *|,!xOuJ ዃ!%WqUlmcq;N^,ƎA@z*DQ>Aj2ٵADסk "fSj)͏J-LLr/^7M [i=G)u.4%8!9NW>k6[35a{Þs -#()htǵ9"ܚCFֈUʥ~zxWBb ivGC lf;@]۫u} va͆T5wI$(H*Y͢WEz , +މ/!1i H\"}|kdyׄ`0UXN ioS Z7J;wRoHy<&Y<"^s ՁӃpV2Nmlf^U0Y 1g hQrpX.(F~mZRN0=5'513ScpQ:n; E5;#fJZ(g K)c'6G}߬< #k?O^ٱ|^''(k=bS;I!8 aEA^Yڦ>*WMǿLȑїc"McNҤp=B*nAyїI.Mn\sQ:`h8Jt# æ`m۲!n)_0Ѕ'K3zHc)3{dxm8SQΏ5[=8PӒ'7ljx$ù( $񂓠]V5@q14D.7fʀy0 {;F9! _䆃hDqT:´ BФMx^[pä#Fps[15q,!WoV$wOq=QCgVҏwfcEF1!arGNǠ#9e )UKN& clO~ivd 9ǹ/BȧX RdKMKdT\dVٶ0\MELi?7)c0&V+uyAOh,ݾ-Eu^TI8[>N-?ȿ5ɣZmʞ&7HJ'Vr=̵ ݯa@ҌrCNKӥ7'':qqJ5#"8JLE5phv>>3Oz}>l $X >cD֘MNIsDiۘ!NdΦ PFϬ4:@٢ _,.'2q5?'ѸOQA.;Ts3RO$~7P J +TEdO0-yvpM?[ec CPPr"ػOŒKO2¥2X%&D3qMO$\ ٔ jxu? ,7%DஉisփVsLYW-j*vO::QS,[45X}`sԕ@(+C`NH9(ŮbMQ9Jڊ>=hkTDRssdu(wYPsˠKC#~gebYˇ}L@u؇"QB W/fgԚ{3xd\5<=2 vTȻ|B7.>߯b+!HM|*95U\}׋~kWG"sDq܏VbUHT6d>$en.etŗ.+ YlT\8\_V\ lQ]BÈ(mdfN9Y1ƿ`,MV;#n1fbSC9עEFqIKc,vgٸ]Xo.o.\l^MAIc2ӿ7Ldß ~%{u ,"ǹ) ?"rsl|(J`עW}(rvN"V~WSl,FL5%` [@\hSD9"1\ 2i aPjo^du=tGv1^FI1ƳjfRЛLɩN"cx)4K#`5}A([UֈW^0-bd ۜs4ꨑi̚m(P|:*贡4?Յ9qtq٢u,z_J,:zŠKnϻpnV;Q q0l7Kez@E/ET +$&H*pXɟd%KHīuUK 4O"謖5u)d]HuOlgd2׼hBTlV"# _Kk"J:.o9>Yw%^{6,Uu2v}./$kc'PS;O}A&'Uy NYuH&5QFk&r^V.ec]Ix#;$;@nFiЅAdE?F?_J+GBJpS4{:JE}r`A,bͫ Gm3T㧡C4.J ⯻܂=Ch>,^}T絞ԥ4S|R?*msgFoδ5K6ǒpƛywQ Qc`m(]X)t.X,Oi 1uuꅒ$ռiD;1簑0fpwŁkeU䙸‷z Yo|hMNK,78>&_e X?4'yD m LMT쑹7񆏷WtrK;?%@1t[Q3=tFG$c%B!9Rn("4F{ߎaHVx-`=5ZH@7kAl!nk*DCi A0UAeˇ. 4R5d2Vw\&pVV7շ3}OȂϝ4"HҥY=|=_ڨ0Nim#|qxmʰ$]3l|ydM/b;Z ?LWȍ;eu>S*L_5⚷ۙ hK4|lH[/!@.5㌥mw"itaT[FDPjuˣ7lT?=f36ޡa.%i;LKvRm&ѝW 9MTV + wS] )!C~bL|,ddֈE,jɟtb0'Wj{s+p^AiX;G߈:o(`A&*Qu폨͝r;⨢a7FtORYaĀG**Yc]P@|dSYDӎP]pƞ^hʅs0ElF?$C4<}7$uyMa´W 1XtZ.3كKR#BC8Cֱ庵P1iϪ mY^oa]Q9 LJB5cx$icEdg9E`S0><ğɒGޚvql~6˵}#nRX/)p= 7J*Yxȝ[N΋wvsǓkcwB;;ߤoUl~/YU@ Om^Ol69!FT7ޞnEݥ>h!EtELeͲ9LtCq4-Yg =uMؿS{Äv(bw:I7d$DU^xzʭ_6z*n% 맴6*%7ON0ϐ%ĕUaahȽ-1FkM(Ѣ(CE]H-`ĹfBO̟%ޞyc175},ے`$nMf߯8Wa%3qJaii6ےyi^R`q`ɳ hBϦV~pbVrkLSdY͟\PvmDH3ZT8?BC/=1U&9za.RՂD kѢ/z!>: ֟xXF/A0T_U26v -s >I .ɨHpF3ӰZx. WfzXkmay@d6'>Hm(! 4V"4<\Hlo3LTYacuVOʥa*ap"wa%%\='!9,j \C[ކ)`^lp%5i;v:oů)`E3}*B4S#6"aCU7Q[hZ5폴wSn{ڒUa} Q 3k3[X_/EnRzuYh4ȉZNqlO;T޹M.NY$`'P(zW7ֺk.$;41H1.iq^ }6],]TeZ۶jú:(}n0 DWksUorġ!`, K2y%4u0|_I@CПyԠaTD}Ѯh`(W]M f [ ɩ1vSu&6{ 9Uf kzsWugx?S C]oOa dZ缍8, Q_hdjRM2v!N4Ҝ;AicVvn}scԯU*2;@>]os(-2P$sI~Rb3V =shoٛ]#8xfvYB8A2UiJt(K2-s fVLjz]os`5}rnE%(;8= !Ղ?u|@}(+ݭ:ofNÔWt cˉ)\!4(w"Lh}GMfQYaتq 0 V t1Ʃ[z6$ =gg.SKrڢ|]:)\I9_ {zUd?Y• {kmɀKͼVϹ(98_q ZHfNTDUv~z7{Ǖy!Ig2XWm,O+?hVUܳ 84 |X73 paJ"i|C. %Њoo #$&Gxp%]K֦Iie fm/8`UWZYr?;{0 BN̛4 \&_9@pd9E%)4=BW= `{䁪xLzY,,7u;kLZ2,Ę1$W:H/B%D-)MԀi޿ 3fdH=XF.KveQad2>`En(0#)B^3K- pxS۟"U1[{e7'tpȷ{׏0*ɑJ0v)KodɧP?L&;%(O^Z?@<ŃҰ;tبJ2]C:LIzXғH7G-?s/}bW)nq*.m5Y,ҿZc; 3%l&&q(ϔƳRk͎h D:!>jSehӱ(R@(=wbVpV@tVu$ըh+Y~w٦# / d,h e|^tlTK^l5+ qEGB ݽYcr;햿7_xp[w/Ѭ!)5o #:e$ bgi3O/NMԒCN߄ef\Y[S/AX6`y9x"grE丟 yY\15,N>G ?A)eʃr-oώ7SؚDjD0DWfzyAN%l me9rWͤZ=87F;'V̴u1*&]o'x 7'|.큩ItݠOpfck6/E@i,<U@EG32(YUoknp#9Z/Q%Ȧwd+]1C_츾iI hq٤{r׃h 81[l [h\gf}jHoXӦ+EѬ˜zdh"]] jg k@o)E9 ,톹ОxfcWuaPpKł-4N+x=Xxd@&.F8*߁]㢶Hx|h23AVQfݕvp /Ε8-?SI.n%$_!"JmG/6F؇o[Pn7p(_Y |2u'g}Jf j*"?CRzٸSHe߽MH8+[y|37*INYT(bw@5)ϿRmޕjSKand[!׽bts ES-OsbZIw?K[CJZ9S])Mg8)1?;MMr # /3 ڄNDȢ0F>Hfz1O 86Y{4ҸYeeMT}@z%r:{8B]ȃ>s}zot< 3@BI;c"F"U^1 f >F+Nė ސ4H?נ:&={ IIPl-vgF@;-iLn\fPthƚsٮ8a#K =& ,~RBQ^)9ހOr&֓]Bg 2&ϽY>.j3M =H.=w~ѿ//ӫCx e,.IʇDƚB嵌>ZHO4n5!G'87KN_ ݍݒY7n8Q~[[F6θ߳tP[ q& =/SM>@4CKFiHo7}@/ϮRu%8aӍ~ S͞vq@䠵sM i&.+S`&^E-]e*TZF%x=4տ_dAjlCrnF:il 6 dt%@dQ՗j"M"8SƠ,4qJJt*-Cć #50pRbG&ְqY;hK:`/|Ϛo%w_,4}Xn#׋9^f;˯ A9ߩÐCLRjo-ӊ[yE5sMT a^'<-VI^]g7!LA774M-n+FR2[-6j~vi6@&=I%L00L̊٣JiaI 6#ꌱZGpj|-Î3OGEo/ =HEoƬR]jYҌS5 1 S=+M6)=: /?oh- &+^uR^'̡:ؤS~juX?O '!*1Swv}XaTWbhރFƖΏ5NN`8͕Z%z

W b˯L& Dxo^{؍pW`G~MtQkX89eDd: -X3 %L_c[w{tt8ufKƠ:aV 8Nʨ蓤FdF:{F-?ҔK5m,eeyf5h8P/ĕH"&1P}^sAP h\_ (ܨ8vҶjsE$/Ժ,5s<&H<]GeOpyqj Of4;N6$)3%3Q qfBEH'L;<*CrU;%QLM .SxvILjXsŴ b)~4gKt.3șxSSȬ@lg9AISzۨUS1?{NcZu^ !l G|M }7BzVf cA&5_GHd*y $:NtR 9Bٕk``eVjmu1) teX1Ier /|ئ5JW!%87gz}- -Rmm&{Wk#  k{{̸smH;1e .Pv swsZpk]*B4' iI$ N/s@W{fڝzC7Z}#п~ (eܬn^k^S4iSN4ޞ ;J2f._Z#d':}UbI\4}_oРkFPZgqT%8I5.p7`&/xŧ`q`Jq4VHEu }U^ZY,ě>jD`ǧV8Nq4R|( UtiG/ XFB նC ѕ,|ih[ug (*  \aGsPAa[qJc2 Wηp1q Ery!ߛ2.5+hOO&R}g)H/H׏S>]R&*!߽~ׄ ivk_zQaܯD5 \pminY`AA /rݢbSN}g[>ۚ)8d?{Nj/&홾ݔ˕lmz)ܺ*eJTK8GM=#6b}a= :uf }`@-?dFyϻ { +wG\ ^W ~MY0RHKމapA@VR}3s,QD B{wAo@=Ytq0(ON(a]ͮ c%q|/7%_ 08IF!oϪn%By.44+a }j\/M$%t`ic Q Q2d‡py22)Ύ2$@Sp0iR0o2+0@OyOs59Ba j mdspq'|JH<hvv2;sU.Y[|AZsl*y'OMj©yh@=F`zx2E'ݢl-M΀|>2)+.lb]!g `ۯ}k/PH--7NV u#zZMbKk5_pc‡M;hy \|@/{ac{Iފ{'~'"a_KG=;ƏBR]F륹2a`N5-{nZ kzihqdSl?b"1An {׵R?ll}֪N b&j' %Og {/H8ٌw &941(B 竘r_Ѽ7T5Kg/x4 /` ơKxKwxqyמGUY^{!@WYWݴfb>UKuݻ t=2\lzYrL3&_T^1v>{(揑o;ϳQvȣ_U!:VnܬO"IAp11G'n{SG، l`.%!,O38-f?(r'Y UQ6pl1XBG ;"Kv^* ǍRXK!Jƚ ~"X)o9̞or T>Ab[VH#N%^/qxD%<KekޜSrUtB ?gLq %!)dǒtaYFH٨F\7'~؟֔G.󐎣| ]$LTk&,$Y|#fR&aMdM$AM $/Hfpl3Ҥ; TKz>B`9'3޲0,Nn5| 5eCeg 6~W^<9 (c^o̠'u7Wӑ5xYóny]Z :+;J&3[ú}$cFͫo6^ŔpͰ Cb*F~Xf8~s|\ FFYte:eBNjy+jKB_7BI5+5>Ʈp_T!5Ԯhuɷ-$:0w-1+JᤔT Goώ3nwMzG,J~A\r]*bM:HA"T }•GtE}kAE>A IV[ gj4o>#`<5J䛊a}w_&LCv"URH>L،YLNJj&&㑒ױl~Ҏ8ܫ_[C=X M{Id&&?nyyDnkс 1ڭ ͫ*ȀNȇ5)S@QaeUMm_>QDh- >=gBRbd1$>5kb~f.d;yspWr]#Ӳ7ܶ8A)ʳ*Y# }с&s{āBw$-qDݖcya=.tUHRϴn x|!`K4*fGe'و{4aO覾"_C:`5Y*&;N:nw0ʀ$F]YS8C- ]?,%oa3Ҧ`uŃ!iVc|}!+21(ɖGV#1@8m 1U$zL K*w>J(dX&gͪ최+6+o# VHnJQwL驰u2 ]=gmuI_(W4~[oP5;H7Kݴ2^/ ح?6@BzkAZ'N;˞/99F\łZ¨W}"E&U]7!'; 1U}'Ғ],F8m$%B[.eח?2~~PU_tJ|lߓ2p2UzۢNwhyF3p+6f'uo* b`%]meuVB:bc'c\/F#'ḳ=+Zh$J7'nD6p2%. CEWǔƢ`~y*'2m12vRW;ڮ{w@%y-Kp {ÄuhGCÂ.O>K ]y}٘|_ƎKyр/%,(ؔ\DM?+xke9MsC=FqR3O_S|?!/Jw`ݦn.m(O4&]g*šJ]ۊ;uO0Sey7 >wK" 5dzKd,ݕz4 3 5(Eöiy/JMhu$E޴Q)@ )pΞ(XgXJFlzŵn+EBPF=* L@xaFWl#Bsᚦ@`TQv^aiLb1/<Ρ̙( ܲwv$~ e0R^DW9wvS} OPًMnKna O 6zmUJK,я$c0Lv ߭<+4 @:0/9M%yKO ?FfGEZV1@?Z[HNJ<1P5 [E9q-35]?+泵p/ܳ7ە=gޫlCY/-pF6r<*KܟFfW BvYN0)2$:,: vG\(=u~*Q8?5M !me&0{Ex 3r\ Ynr'R^_5$ Ourt"qs'^aJX\oN"Ct0;dxm,Fs`dr9:H\Z& @ɢ-GJ8ٜB aE=Qn7bo[h}0ieRd~aAT!CE.!#c 1E IgjIsfW& b7J/?z`  Ls 5.E&xti+%97!ճa:J'Q;xܐQ5?Lm4o K9Sޫ> dRw5؇cT _4kTෙ{D@pJ+0p\/LJ`[~҆M)ܮctS5Vn 0q`d CQ`<К0;9S*aPzb˞/?+МOH"YTb-TRJ>O/aQʇG ' bϳoʳ(SyA2HUZ_}nֵ[w;4=`= tLZ VyY'L"CP(5I+5{J)2_= 8F%2R` OFAm?krz %9{O lnMNiھq},N>FM h`@ 4ViCwO !ugX28*9Ec) $!ΆNh@9aR=.`ժNNrPb86A7&|OoG9sHF%  KOs2ĕp-6-K[kے1ڬ9^/M%4UFѬ {XqC蘏 O`v*J\!U!u7A^T1Q3W[G}v]YL2{B#;.qe_a36VoI 2g>& E;^Hdv_Msv'KD@TLٯd&(-8kJZM҄X]GpJ?qQ0[7nQՁkWlZ fߨJIu4yh3j1Tlg4G^=xrf<#\/JMgdS80)PƠ?bRe4uW6x~(m'O<ètY &SбxEFւeRvu/(?cWbRfhh %k>JmI7G+Wȱ_Oުl},Fu]('>d,1m&߈%=sKҝ#2q֬nR@.Dcw/$,oI_mlBDOf %pCR%A65` 5Zɠd lGdщ _8gWްG"'!k ֳ3@ILFN P~KL99ΥF[N.ⴍ'lq}֐-ec1< µŜ*k7vC.Y'Z&yYQw,Sa>1{`Nj3);&7{5m GsUZ>@]]) * ~Gb.`MʁBwrQӍ)W*3j]F~ҶЊA/fV{eh:6|@tB4pA@GXKa7Ox 'Zx;Mqɢ⚟˘/}:D 9_\ϩ#"0h5O[H_NJjg.`.H[*4(6)eGر(7Bg$3@aLbV,?4,8 ᳽4eqkh&# 2xZIK_)0OZJw5ݵ5E8nmbۼnn5K.L(6YƈwӂEpW pe NUު ئgMa3'XCIܻ]-Z^r"^apJ҇aT]TjmY9N|b^ك {"_E9@OvK" wpQQ :!pL ^ؕXפ>nVth] Ը.'LFS/>Jc @Mj QDD/f_C6_to=8>`&il֤ɕJ)U!eT W֞bS[O9t"bKDaN2;H}hbz!G 'J8>{,]NDWKG/me\>i)Usʓ[huqօ wf5,:Mdz1+7bRyہM[&@&r4^+UD>!7XHz_]1֯hYPu/?7xb@֏uS$Ŋ?*ʛkAc[tY]1Ả?N`pNT1?Ӷ'i#Aox{p ,O(GEn4 `S@O)>ygZCuzt֋ar+&XZpx9HbP),Xi [Ɔs,Nxb٭U)zl8QK \wSY4Vd0EDGz) ?fQp A[SƧgUGi5iM}i>sk&C❇'%VAuФHR RX@vN[(?- X '˺I"*w\ULvbz:TF/##R[֣)06IR΅mA֔8sK kê^x1Fd='ڏ4iLZp {puK9-1ڴjN449΁Wa}2?qn|~X~%e tq6U`vӺןawj=@>H.[lY)iÚiAϐ[ 4lRڷѮ82b $~2jki^ddi9uNN{OKDQ$qoZi(vLwID>4F-_3s]ϓ휙#i&^gͦ?VI5oHP2!ᄔ3'>bRR,L8V5r`̍ ѫZAMcFm#۟~৚ѢM} !D.Y6rݒ윕!)13[3Izi:0vf##n.ZHsz v}V|;#L} Ϝ8~&.l,j12fIs*p15œ>xj{*Y B0}ua. A.l=õZ ,N;Mc8Q ׮ݾtᮍ=>]go;5Ds]~Cb]$1gY+.\V ;QN(K4G}OCe׫V xoU{!?aYXiBs1:ÇN}$>4wYxk Vm$Ѕv\VKqM5'_bO#H;~v81T31[ G(7FOљYFtN74)01lt Uk;t| EnB cȒ4%*N*QzSWyV([xWxFR'\qR3YFmR'>cC Pi+t|9wcT}o™dM&7Ju!)u5@6ͣNEZʕ]oB7VN$hzy:,x̣ VtuY7$4+(̺\I=@1Vh7r2rݽwzب> 4uM}fNf!Xk@)Fs>ze~s9|XqrcprnS@G1knz Q#X,, f (u #3?[9#A]u] H5CH!@,@'8%Nz-[;'r@_pʪv{{)CzpoqQo>͹ ^A}з+2Asvj e Q5, p"-0y]{<Ѿckҁ{3SѴő̮,`_R"rYеvCSϕ-9 .~,U~tB%F2$f` 3_8x鷳h?jorXI-7QZ{n>x/CƲ͋ꭗp,nP?ZrSgYZ / 1?# lHOL-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 ٥.י1-q؁KfG-C,O ˶VsNALMa$D݃z͑`:QjڋP;} 1)A"pv?pX/g3MgQdt`](̝,B Rz2pkMSO1;FhF$#9MKg[9d)j/vJ Tsp }!jZe x_>35T?E%#==%̱wrP画@"2sl `@{Igh/'b;4QLI7lGQ{۵FqdLYr5I㓼yU~XZe} y<$$0I@c qZ~|J7P=^~^DTm_kaX-%?F} #k\ Z7\v^ԽkuK:e61zN\ՙ28L4۝S 2+[ki߰Gхk+ >x1i'A}vB]\EdUj |%jZNUgMY% xnͤ8.es~TOǃ~\屖Jy!#wPX$/+ءڂIſBfZo|Ts:B$w ?梪^oKRG7GNڹaH 9i'Na3eD3MҹYd*LlѥUPgSh!yﳪCBjqi-D‰0< JwcA;T˰<8)^up#cӜwc"+-A!>61 ۯjޤ̤(|+xSaMRaD9T<ӘrIvX`P Y2h(Nz9J%'el{] $3yvR`?=Lj*)`ޘau@*3Ʈs(_KDBXDk4eﳡE\3L2k%Oݼx iBޔjN5bVjP'ϱ=(& btVhi C%4AY=9sQހlu!v2q\.muqSy ;fo[:9x KLhe(x8nb>}Akff3@]nOQrQtI~; ͯ=]ܶTH`[kdP*7dЩ9vFQT,0 xf-l0Pbk&yE|&jKjuVtdPuarbKa iHd}߹cFʇv4{raN\0[ŹK `@o[$cpӹ4 hyY]Nz+V̆]SJƓxRʫR@?|+OT˘Cc! cArˢ Wdȸ$UKp ׈GMTZfR}ߕ͛ Wm#>8a.Y QR0RԅЫwfUYȪTȽ_"#A qѸކ}mqHd#|/_G)c,O}'HZXll2"t  iR!f4%>>;ϾnhGٞRI=^޺K?rJrqN"NԵ:K}HU q}L._}}3b0Ј FjP:݁lY$ApomA`>U:E.Xx:K,E,A"?oިc#*LiDq4B UzE1%WoWʟ ~h Fry gYmDQR;М?~xXK 7Z&^O$ReD`U)B)\%/wB!1]\v(ao`0 GlfDu 7z3.Lj}y;e([}71 S\񞕴ΘCgBzUUbnf+ب[L㮌x[Ȝk\\'XXBY .xϋG*o,l8Ғ/T g :+D+9r?'&"2߰Cz&lQ/Cܑb SH'S'U`͚ g`U(Λ63J@&ڕ+^N]+,td4)5_A*&X/k?81#Au7ՠp)-8a8WKco[NپMx3ZpH \"Ɲc]$nB?s%哶񿑁YJQk(39A&pӟ MKauLR+OGu͞>v/zdG'[MtXD\I1RVڂ_nL̶Yqf'0ׅ?ѹ u^|] 鸋^PW9.D/ .YJUB':N;Wx gɁQy>VMk4MypT.>DR} UCҞ<`́I"RY8cRNM}QbDdL-͒.oQNU.D6Qk"Ml.tk݀O@? M[]ԍJyWA Gte((og cm0qBʴYZ~:l#(ׂ %tY^<8=/<\~kcF"lQZH.J=uC2ˊv{i<:}ڝ4PVVkDZٞsҚgt#SWEН뎿{;۹ KGдd Vrm&kpTpb+bsSo9c 8$]s ~Ae02ݰ˄,0!TFv00숾UES~a;s493H4G)@SB*,42鸤 F&èBcWcߣܹFY +zyvPm‚Dgʕfk;Y wZ,'$IlsDSŞGH0$WƩb۝DL݂wZ& E*~<Ln9$O7-ID*u@ qpob,eѮ!W f A 3U7a.-]% xUUI«joeX;,*F7p:eGSJ :y̕}j2 'ӛZFM"qQG[S {,"wKdp ?2TB }1CzO{J`byE}E'zm$Smq^9'A DRjQ3P31 c*a|+bWP7YeV+J]rý%6_ +z+Bmm2"9SKNSKY֑BV_[>Q;s-B"Bb. !mt` Iw;a0 GpgA5]QIbchXnke^, 7YFXPS~A~I,_f増ʗ/_Q)֗mOpbw7ZLqFKKUo4*7֗^u/I4$$tlNC!sOlmEmgR0.tmo1c; ϱgYZ1pE Ԧ(m;r-DQn1 MfMM "GX?q%mCTm_ 9AfV"țJ8 "ri#vB(21q||*a"Wt,gOf"Sҽ1; ڣ7%}9D#M3o5Dk;MeJ'"$(kgs h6Ge)~/Dθ:}ԸNQQK̐snCx\U38e .s*+P7.h+㜱/*߷#GXgr5FQj%Rt'ڤ^"ΙѱV6GpyD, `43SJLOT1YR GHA8Qh7vz\߰+k+6Z'$`ٟaUK+fo5D6I(Sn)&FLbmeI5Ccqҷ3(p!Xn94Gu8ՙr`C df?;8c3ftXۤi#QHtB5iVQH^ML?ULGsXrHl(B̪g5]iymVay?} P/UcIm-9`ϝ o|,Ic9tO;Q 9)B- %7Xc C0HC QQ*xvGoDg'O$B|,.]ȄG3](>ߙE:R@˖,+oG{˔ :mY etIbT5.QQ/CNp7M>TG0S,/hFx! 1_ؗbr_f^V:1K岞3OWޱ1?8w2> 5"ۅvw%4H6<e}jQi=FG -"cWNrśPcV ia**Bhs`/9䠗? aؑniv/?(|ecgPpmeHk[*3,߁Oe"]y@* i]dͺE/Ȱt/gh-ݸ4Ac#\&hCf4,zRzU)(@iz/gؿ 559\{mv}.|S_.mLp6p`0[$1w TVUyϔVQ>KETx“|suN=ZG~ypvLd`VOz|5K#TCBšȲL򦺩hC>8 OmN3ȕWPP/'7{Xg7~^ne9PZ5]&@Kbr(9*MϥLFɕ;7<׾ <SD~VEwOá&Zb<68o[̫<QN]2;{Kpfc~^e̩+(J]c{^}a=HfG@7 DSDg2 8n0;*g*F+?(X HH~*w4!2*ltZN]yjC6zE^cqhxggN3ݻ+6]F3Tv<0ѷ#.Jitq]tPN 7u $LG7>#ȴ-T ?1nC%de`|ҙ^lSH`]uH-XV}\=vJ|c6՘m!;C٪T`Fkq5_&(u_ #Hs}K?v 2-0t$2/O`7‰+1:ak坰)APU-~ܛ7mȜ@~mFѪ߭{(pE8OU1ILWS(߶䊷Ugc{z ۔JdHb[2-\fWnL 1c*M t[zBRzvJ=}1Lh{ iaH! ^bh+-G/儉Or Qhm=F'5t0<,L@X!$9des{>C)Z&Lvs .ǭdx ;=N#DC-i)t!]=j༺8%Qػ~#_,7S&w,b,z ,.-إ(s䡊f p}rGڇ;2~T ;jq!˸DPF6:sW9xb+ʎw&!FmH,ܤEʧSrf5W@L+mi8WV4HJsWh'Rʸ"$4?ϖ{fH xYڠy$b&c8VYM[0r*dO]ڽ>MAxu1Ȱ!͏Id½(|B4PKYb~mG%PL/,F$H)^.Q8]4dTi*d3lZ?'>I rbΘj;$#0?&Egv˳=Aw8 !A,_>qrG:E֐{v)\y0CyZ-@Z#v$pmЪQV-⾆vᕾ+@޲O |9}/7@|6䔍}1k.qpWe"lrJzB?E5śot\c{_dm=s5j hvPAuN`9<::y 6MdAKLF}5#H=F<;5T0gό>ϓ򚺍5^ļ8>#)j52OUW~4ڃIV,4Y >9M:r o>oiJ"_i3M6r)X ivdDw㋲c=$R,^RߌP,ߞ{OF W>E{')J Lz+7-cGɊ5tߏxw}fOﺨt؝ 1cW &hwʥ97@a1OǛD4&փ݃f#cQg0n%c74xK]c|Vs+"#I1' Yȣ=QV bq q3mS@W/ߕ p}bHhPoߔ_9޼)PTp;|1df۳R oL9X Wŕ4(} yM'?2Bv ,n;fȳ#Z ȭijHD~zv伐h%+>vVf.z/ms*%${u2 jhl&PϨG[%'bTO- `w޵ %J<@w#k0{<Ha5Q;ӈ2@U;oS ؇ע]p9pBJ[GkVq'薁E ,~HҨ߉uyMtvXX%ZImdDUqi_n0_ڋLx- 憺&V *"Q6>=%O6cZ<ÑhuW>55Q~Ƨ^M * l1"|'M\LA t|uNfIA_ِ!ǁ u7J`y \nhut5ŗf fw<՘УPG8~:׷PL,&" ժwy;rLT_1S *hFz8ݚ]Or܉|Y.*X~۶*7+qJQN]־6F-K2> ի>sz$SٹAݖ k**2=ᛕ!C{V$YA=W@ir=YYs$6{ٔ_֦,AJSG4f}{Bo 0<4(ޛ#n; dOQ~Jkv)dl[:kd>jK@>_{?ӆqOIJh E6mG[zPm+ufb*k+߿)s#jދ0|xbZ CȆ_5/H6G/JP!n!ӿs7鸞+"$ڿFTXs]ǘ!Ou%]N,HU=ߎZ qHw Ta&~}JvMjV>I{oCB~.'{*jixwU>i\7Uهcvu{)sLpډ@_@hqޔ#ZcIG*R^csj}rԁ* ֝ӝ PE*alMQnA-+c'}=$x6+ejQX|R {_Y3N֙*]wAc lOLW9]#fNHA8a? 'ո[; ܗ2~,3 O%DX+uV$x.\&! J@K`r_ۋuh?fAg.Hf [ vZ3Ru!qdu)KF*mIrܴglj2O87M#Q+l۟|I&(XEP^V'Xr!Μe刀,X$ROڭ"U0PYЄ]?t"F#*u,kAЏh) <,%>Jjl:S %3OEZok2}3,3|k'#r2֝qM0"2YKnBmr Wpʹ1< 7Rv  JS+i Ep$MAoX JȪ\$x+D*:֟?.Dc$'{7tv0@S'@K<ϲ'3\/|"ƅ|Ր,4.ի *tňrs^X7"q䶎vs߫OVU~kT"PHOgpx&(zܜ2o%j-fMMy/RzPjLCPB53UmS$4.׻``XBdh\[p"3/R %ab3,H3̲4=]d7h5ԢĞ}?ȯf7*/ЙZ><]RхmLŞ-Ŕz"1k"Ĵ9.@-ߒ0ɠÜJgɵDms䙺 WzL3povnJ,.'<.*V4Z-}! *#ŌMGC?ieeLmƜɛ訦d6);#`63wB@ a Ժ弛DITYD̥W9TN3L Ri|B9[p4,T"fJ느A=K'/C[{4tU2/ܣFzou+7 ˖m`_s>3 obJ2OSe`n@qw֋dǕ9K>˄JFķ`nfRt2ZA1m~8Vc i38b}(Vxk \Aӵ4M^ C8m Af²{Ƈg*sDF+3DL)Kh.OW-ܓ!舢)v;Sza_m8ܬ*4r6N[m~,rܳZAk[mV|#SjhJ,:oB94a)k+~2b2ժZ~ ¬k%:>[BE,I6\@p$_ïpToAv&4ѓ,P1M M#lUWK ZH[i6ǔSBCçJ[o /w@S)=ΜI,+ӝBA_xeLtdž چʔ&qFkKbe\iKkwrAKշx<P!ذ~|lcis!=Q{}n\x.a3լ{_f?"gڱ^U4}" o駹P[?":u>L!+@2u!8.f1<ص՜'p#j:o`P^?.HNOu5ܙ6)\UO;MӘ/TʚA|E A&c*ۗ#tIu< k"m)>dOƠ2|O1j sUSAʽZ7^~C/_4`è u+P?s_ElxnZ}7RY0gŤ"4 X$&4㽗C^3%cE%J0ɞtܝ?(+5Tꨰ2@XO#s=6rCR4ͼupҰc)S{o+cԦ?{6}ϥ[5pE@|oQ P:c rRdcCI r,}J-C)־]0b#WwtiZ*Rz 0ފn pⓣH:Bz5z_8u"MV扴4?6G'ً矅0-)nԒN.Éf}t^awm3KNi7L4< -y@lU#Wl.a"W qSio?~äV솦=ŐV|$!>T YHrƦ8.cCYd1O:Tl.諣}2coH*1R<rH-Sva.g݂1n?&*=g(?D` @B;swKΔ*T;) sɁŷْ,͇Ӹ ,eaQ%AM<_d{ i:>{f?]'q{|:0\l)7w=1}:kbq+aoZzUnEcoUGe#)F.Z.ohÌ!UE{fTힼXAH7!8q~)nm<^vYLpx*BR/K4((;ɞ@]}Z\OO,Zu8m'@Bhy'(6f2>I??K`'"Nl O+ʠ3[ԟgF z3D3;.>O=5[H2.QY dˍf^uv$QM>%ohX}l"}<#J\.kkG>w=,pY;Ee9_Ḽ0a"ajA'Бwb(Yc3ha;.+oBO*QMg:o]V8ϜSdu`W&<3p;_q޻q+-1L Go*]+'9:yA(>3\g^i=TU|]11֝:xz뎢WdC(SG2җX0`''$;/Kf~y,sTszB͒Yq.6J[tJl6b=+z\@8ޏ`1$>_4.?0tzн ,Ѭ~e/SH}ęNAc7CzY]q$wx:QHʔqZm{Tno$ˈk#&\x-}нl$tXFɗ'..t.(s0my} :O|ዝuR)[9ik/}teyH>@=+nCN_-#Wah+˗~0EL/`mtR\/Hڷg膊bj@)ʊ 9yi+qQ5v& T+a5blmpeb PhPPaz+M Tr%Hzt\gK3Abo9Ĉu̞$4L|Rntb*bV.P_uذ;c ,O> Khd GP"9)&4ڀ5<+dϧ8- :QX0bخG~ qy7MakraPZEz1 m.06TӅN ['45sɈF ~4 Fl9%,HGruږq {E^/UR,̩'wMܝ5o+Y[YIۻP47) $,=wM׸4;\ImwnÝۨӓ;r_FUj">7i4CZ~^D 'b}$)b^IuZMR󬵀7FE 0p=BA(I6 j$N p $E2co7UH~WI&EUc|gxyzZ".BRz[l7 EC"=WMzh4?"~&fu}9{cnځ>F[ y7,c)iR7t[?3{Iw6J߾~l`yWΔ6R$F 3=+:p\Z3" luFM-:;V]U|; f~Q>- S2 $i քI3ޢPB &v iG7:Tm|J=1D$"_ eو\Oe ё40W,Z>#|:w?gK46[OAw N'ݹtƋO5G)XngY?p,eU;QNI=zC5\O, .3QSX66.EwHt&S2X~5tj&.]ƅW0< PcpFzJ>(=58wF1ޠ= O~T7V\:̦+oUiijL}?L#ob:J db.1]6Kt;q(mT}3BPg;_&ЇIAuKSRCd#=3!X7ꏖ w:Bl mλ;lUnO\r%? BRYsE1IL[ϼwӶ Fͅ0y|QuXO9ïBb!hB92\K~k s,?tQg*t47#5x YxT%cIe l̜% >|\?#+X>6_!t{GE.x >\땔#H78fhGQ4)ޗe䁳z`{5bwϙL0*/q__7DU+zf.iJ}n3wz2B`Lh%.bC{\{ÑI]zUH^ݤmP:3FDv ̭-:ٽAߑx~҄to"552jɅ1L06Uj#$NbٳFkL6~€@hv?#% 5qUdSt۶nQ>Aυ?Hvh2N2ATDHS 73"uw k 8mB}_iI:)7?wny܎jWubuA&$ (1aVi_\[HV:oBLjȷYby-I e)dK f, YӼ{[1)˥&k(0ZXJpU uJk^EhzRY72e 'eBV\]'/C,REGWLJޫViR$7F_)#%EX_ׅGxk{&wHރ9ƿW' xa'c0 nl. κK{T+wͰdCtŠi%/#сйl9 JP &D{`Z#>'#b&!}Aajʈ;$qJD$ܣ vC3J s OlҗEcEFɷ]jeܪe\&llSVŇ1ݡTB~"x&z>c6 8o|1aQ11Vџy˭N}-inz $ɓ39 Qv)y%TGE}WYohg*5zZĆV)+_HHC0GDL $uzo̔\ݝE9k3 "^1J4P GK&n yIVCjs.Ċm0ҎFzn*G^QZx|=߶" :o:~}ދ39P JAAGҋ#? Yt@ \E53] UCLR_ݥ;<]ܺyo oowoyvfXF c]Ԃootmje:YsmKSy rSsk^ᲖU0@'`|0ߓ{PmmJmǺJp5i{-VΏ宐p pA̲@%=(*=,N wĘN>>yÙ D}O\YEQ{ RL34_MGlqFi OW~[("I4ʶٍ!T(lq.ez(wYl p[IH}Fr@Gku~F5fw8GlMF vqlVDT^4Q}HZ/^a"0J=_Ғl~3'_=@y4"pL=v W9z)R{s. ~^k=K~i"Y-]?Rei:2'BƠ+G,&Ofƞoo8@gRQd~m.8]>!>@+yGѾӼ(m>GLXV#0|_U5oNA!|/)5zLݖLO!KtI jo7Ey^gƷvIQ7j~+M#. 5H~(=B Q(+;Y&&^}n]w3{ %@ [7j9dM"5lտ%R)0G {O1߱Uᘶ؍Q^Y\Ey+gYۍMa A\:qֽ;IJє? KUOFb2ŻRpzuҹ^TxiKh#6 ? @YZ LjTv(wcyVA V?蔰@HVqVH3-\ŠtWoOmP .@ H?R@SB`v; W8 gجE;5,a^'G]׽)MK8xWa2fn;GѾO?2h)L ݍmSyPzA6ũ-p~$2َuWTܺȭY1?mc%T~LQ0'Dz;imM.hZ D~{!0&,\PU' tD놉qXuJXJvw~ E%H NL[ؗܓ:ې:}c;8(%#haeQh-XK yU1z;̄օyxѱ#.p| "{L&9W,l,EmG hLzt)pyD 8Z {U~Z 1O;fpX% JJg]]o) ,Sf, ,p^>_n@d3 aolͧk§B7Z1Ï!4{fBxkpnǕ-M?"`.">w ȻNV[礥{65zS˖n!:F%y%Wrs[['$;F])nBblτ+$L720jr4zٷ*?!0e nYb^Dd*}l-ioHh6=s+&~lMvXf1́ W!xV&I"KnPDthmE\͚I4||8c%ltĖVBFc7AH't4p.bb^to.XWbM{j!zIƦ]'' .PDz=+#cs-VH ڸ3嚫Zpf2)ծ K9>q1_{>P;yFI %` }œ@#[x~\b>M]QIWs(eQyZ_V %Eؑײ>e_Im+l qwD&Lfm0t9*ymfr0-_g5v߇T&T⟃g,} hDWsE7g*-Z,"SNp D ۚioB͑h<󞁗 B>s`tn{gC4YB`N:S9[k1 :˘UxŤHSGBe'<ё[ 5Q0OX/3-*/h6NߚK20'dEX &XOXXrKDoiJ 0b5tT[e) y $;~Sd맶tK8AVL"I$=ېJ/)vkK)XF-}a+Q_*W()8{.!iN?:;1%;$hV*)>R~$]>9|:cZۮ-UL;x-Mx'c;zlO@XwhLk{n(+\YXMZ憷U6A8\*mgcd{aY吤Ŵ-%3ȃx2DuuOv}ij3ldk*8˕t "AkL\ xs:,XiYpToGoX0>XO]VlerA P[lo|ZK [).>pB^Qބ 0=jx"l?grvNX'PNLH'tm㉮haZv(I YØsM|}5 %\-%U6`aZz{Yω 5t ;km.^[[(=eϥq ht,0l؋U"{O(`xżZ3x¡M)/ߣmx-<&ba r(ӈ)1l"Wt`5eNLZ$"Ao}Ey_aD8q:?6yB>-K) \:/‹Qn *?w`z@Xyɐowiĥxφvʑq{ 7t$&G,СHY8@OCM$""V Θhngt7Jey*HXFٌx=.cu@{K2&XECYE`1GZ%EZ(ܝ%u B3SW(V~) 0^ÕFYx:vt5XU2GcԵ^lnc4p8%ѕD}sj%ֲ‡xp Bq-s{m]ǚ{\Σ. tkiQw¿w"sx_ C6:'8{ HJrm*prkT`:Wғpn[up_yc1Fo!@\S z0|ޅ K{K< ?/b2:/SST3` $-]j*$_R$Zx7+VtzRmɕ,s6I|gܐlg~:dѮvkK,=fLDh:Y2ض% a:a9*n-pkeTOB 'ҞKo{V~q`@Y}d`#3R9X1ˤU_5qO\n}zUl|'bw+eȒAJ}5.W6܂jzvH8LAB\>~v@%Z7ZSZ|`tuv_խMQ&RS ;0@aMax{nkP*.4ODNFJ%ƪYL/bvr WVjԿ52)7NٵKٱﱪv2*V +d,{ ê7> $!+u_PKQA)ؕ $^FgvzC ~2odokdńTY0C|KX?+W9!/YB0sxϏ[8੟o3e2U.JSJFM$E*"=zS}_VnLb+33;?hH0lg_ƺ InK, tVL%ի\C88jv-ƋiJwA!$K #5_oŦcd Sd]$/*1tOWt7#F pth~-k}؄ e8Sԛ$Q*O&cao7}^mmm{&wt&}=RUC6QP kl$RK\]ja4}xToAJۂ<-BB* #jҴ9t.5f\-C ϑ9y-yԿy ,%r,\rA gGEp%(!jf`*meAƢ/ט |l9E."8oĻ+KE !6hr `nQXMNZչ 4H<`mwkTbͤF;V >ش*p] L"pt~ۇ\87k\ѣuN|o Du _ܧuDy_m"SVTn;I}[|̔LIRj[={\X'Y2,*3EOTZlsyӤ/F/z+íi[~ r{vUoHe~ <P|,c',QW',lO[ăfֹ]עŘP ʼn[xoi88manhʛ֎Pn nL Ki?VWp!ósHXą䔙Jݸa>8O-zҶ8ľOGc O3^ ,5Rmg“O݇ݱ2Zhq?b랁z_qM-dU(~K=;/ wաޥrЖق϶{Bp| gE%DZP|5֔{%֟T*>M띪#=C^qN%. ֽ9G^, \:;YO $h]e\fR4]`Wh_K=9,fQQZY {K&0Tl?ib@|P+eW D;YYJS nU?QF7ZH3&351.9刿l|.:qFw*y+hn|zȫڵѫDw&|㜵u`o`?6b^\`vRg1]ݽ(/EY29 5lAcɻdhie]WBJm[j% eWboq 3+ l;0LcJ_tusW#6Ӛ*{aPY/7iɀD@MmuMKN;;j\*ؕl*MMkX)l'EmS 7ڣP`eN6t^T Վyѧ N]n@Xo v$Sçc n&>GZ$PD|D wTd@L; Co&W.U'aa;&yI^YX6~*d^&ׄ[s#3ׅ]V7S0T& A%h"(E;sWaOn)ğ쳱**U#[66=͆%#@ ͨ[ ɨ@f蹬Vi^lDBd3{ i Cݕ60xιc Mu WW|ϯF׻ F}0k̗ŃTR" ?w]nV~>kKN:w+PEڛ]d['LF>>>䢱3bӼ8iCbC. XIXlUü]xd#/(r4vq-b";/i,)$!"~.nBN\{C?>fO`$'1P-{k~3!Nu#ĥ#1;YX~:R\&41|C,h0OB^i~1㺖oS$zCձ_V+AJqrNC_!>+,d@|uI ^2;69RÉx,SʰL8QiX)k7= !Wt3z!]=](цwHHgYZ N 1=# ,HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! 2iO]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn KhGS= &ʔ%zħt|Ԧ{|`/"~ 6O* 1'\RYy%zJ$p`Xs?9a.=W/^[cpl-NElQ)ӂ|4xjɼw8COOxj_O^iPS*?FE"Ÿ@>Ka5oa X!wϲ"^/ue6R/r-l"o-/3Q,DƼ?v .=eJMXdQ m_C!8]uE5|{& ] }TuavoO)KY7\NL$Y3Xl BwˆP-/☏n3F+pcAJ9LaƸr/~4쁥Moh8Z[eM1IEhq_b]{,R)C7[kX2'PU)8q78l)HIs"k FYQ{_2K݇~3X Ndm$lT]R#t-FFX+CvNDbYRV0 -BGDR J|l_4.TNCp$S{OQXĮjZ]z^V!z2?0|/X4ҵ |<( qKLv 8˘HR T-č<띫'uކ\/8 } g=<ʓ1 =|jp*˱3+\ ۄyJ ˰&/_c! y }W|yD@o&PtBg<.rF}|ɼ'3y2eݼt@GJ"ϒQIU%^¢"Tt%Sܲ} "Hz +4lö9̗HSiMT,&QhAc.x8xƈ(]aFd}Tn5eZuLMlYV+^eHxiy T$6è K;}iF&&0so\F2C<ٰ0׬3|ZKjh~RX d=fY{zļ #tlw t0hI`İᐢty0  +#1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ"1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id520s!1=' tHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! q]·Iq n[:|&[z̋xU t^l!4XzeV@/A#iq7 p\ JGwcQ7lunk^j$:N>JN;,uNWv_$ s2ameuYHg%os![1@2!Cc Ckh,N_eR Tר|Www%F3}Ӌ%M qtF1U,6{e,'<2^46KXc{!kwjen}9R9nO\fŇ)s+]<.VVo680Z|hR<* .*4VzCfӀw<7K`^'j<%h`qOj[Xg8/p١jsc,ϋdDq:`}Ts7GD[fe{CPZT1"qB&@VD$<eQ^R`/x(0&rpWӂĉ&a_~iE6SxSx9s?.+ Rg:,~4B^Sz/+0j tz#7-?CJάQ6d f07<=2 fC;UC?bTJPEd"7N8j+,v(ʆ YŖI}֐@ԳExA9VFEc >qNLP J;d;X{5{nPmRG %#N܉<^o4X- 7t<]Hsj7EfȤD׃c}96I~fw?l<kM2^wN {\SwX0prrj;>7*(rǔعkxC>v^N%GB,L\ ]@|[,GI.G.]KB?#9]ԖK>9xxʍ V֙(&~C|`1'psELxG q }mD}k>V"|K|+\ ~aUzׇ#aF̌=ZD y}c=SgKBޞjmcRs[9#Cs 4){~=\:(/s9.tLq1,cy9³7#`Av =~vL#GZ.󞔀#Fe!ݏ*O7ZL3Ku:~ غgk`F3JL"H5${KcW{$7%{鴗dWz_s 餅$y wZgǚE_Ժ-LG$2A2V#P{H/'RpIBIuEGNcmHvv|?s8=nc:s},v2X.zLW4EI>H:l[Q埁(V1A!cFn *R@cb eԷ4\d-edL;;,ׁ7>CU[\rR'#~$g|bCGG^Yn 4/#V: W/˜}^|6.PaJ/3wKlVp 8PUTz&p_r iw'։ [qJ`d`](9dnpl+iRgAH4HZz , 2UUwrf%jw6:w]B᭖1"Ϛ(T巵Uh)#Arp c~<=F,٬ 6l Mȉ ݪjezΒ/=iF杻 1' ֬,gX.  g GېXCsŃe!m siAiHHzI,{5TuK"l i;ǟ2΢}1`EB|45GW1'Yy2_ys=t-ۇ$8᳎EE}= qMk':vzcSNP7=`ldOkzYΔlp9r7Ǵ"x&[xnB^U'wO(1c>(Ҡ/=0E@!D `c/"icI'2Sp;L=4%5xWœp=ƼţJӥ?S9\A(Q4C߉!Akjg`"i.XReZ'-a] Xc=KUZDAk[N[_Ո [D)z-)x?2)$w((]%i0y̥3j|VVr~Ց@RȒRw= ̲Lɲ*Y׹th4t^ nTQ@Cj?e%?wqp/ Caᄇo4sn[oq:e&( oЖ~39( 0wu ,U/0 q%A?2&Y".xrmepb%+K VH-B'N&T1F0)\Ø,&m؇p Cr>2J#,8Zgkl7yOx  @/_)(#0tU9%z=Q).;/1F?up  ZO]Z@Әֶ%n Hٚ">nu{z|e)}w.w %VQPnNjMТŁQR/[RO#8HbH~ hoCAOwĵX +i8Edp :YhD oc O7o(R _[- }&~le 2P`Zp-AMƲv'DJ8CV&.< ~_DzY4y[] _]8 Lv_hG-7v֌tk =?/ ?Re*2Ѩ8(8X$ AuLOV8; O&n7ZE9ݼg@ԇM:Q߮$W{&cCdޔ?YEW J,JS84rt NKM{"JHl2mZA/fQ3yoLP`j}3~2hfnl*I) ^Q9H"l!I{/gaU) X V|9> X/a+G @QUȞ#4M \A<}񶦋l]}ҵDtIH:M#| {^ "rV)>I=Ӎ/7]H? 9=?!uæRpj=/[5wj2bl[ʛ|Ȑ=R0_Ŏ 8\v"`1(0N*8sP I7%X!9tyK4JwjkޭDOe>qeAb2Y;j使3f[d#`N6eY" #t\_OQ@Ag O+nJ)C:Vf_M2FA s/ʅ0߫۞ L>N5m Z t0F(ݢ4V*HIEOd>fT6P |H&6711h9i4l.]!'{..5A K4j\#eza"3O@( p! _o ?2195C>ZNlzX-QW-6vnm1yt{W*j;._6+nn!- t 4!{Qߝ[n\dC@}CjAQ࿍>߼aPna`m>k t@ٻfias7ȿ7]Θ vba[3/ HC]sZ E@Zrt?ex +ygQlj^=I23'3Y4֜y"DoRR6 c)\LMv| [I:`ֵ3M챸~ TN.h:_;egv0q0ycf>{cm"z^'؋uC$tf ;w?k{7"5 p׾2V]cE5x,FUl6)<5g@XJT6]=% DjLa^.bX' nC[)c~ůGvXI=Dž񬯒₂ ,(3n ,`\ S-AҎ{<(۬oڦ$uph:PpMhS?t#IFF*|׼㪇"f@DMQ/JACTsOPpx% (~^8kX+t=l9gCR2K,/Xldk`N)j-#&7̶ܣ˕nrIuF0t?^W.;G3$x f.HN2!m"[ C>n%?ĵByLFTz4= ZZ+'k6.o=4( }&F|ljw$ux fbUcQ`j_(|">_VЏ M+la߉n$κvoOkd?Ƙ9կ53ޘ\A?WcȜ-I@h Bٝu6]mˑH-dvS=erH MWQ@=0TDAsJD7T<ԭ4^Gy-Z%#kC*`psu GuWT+TF˕V|3ۭ( Z `n77;#cB}v}J_տYQٕE B pß Sp'N{{6X 5' O((#bW+U<@ߺ׻׳!!VBsN{iCu=e3n2_𚸵K 0Bg-ֆwd6x IߥΎ T^bI>xj?YY3xGlk_*YQyea'!.rqK:/D):5Sfw!*(nI a1%c'2'kNqoDۙw6;êL=61"n΁ty$8QM;;\l13o& ^'*^l fKn=ܻ],.`JNa6}GÉ-AmC rK`ꨖ7H.wc3ko) k h23r.: Ϫ4}qsjNSKEeAt+R @+F$|&d󑶕/~Mu3bt=:|w@&Xhɫ# !Kp%."s6OPP_B 1Psu/Tsi=Z.'6ˆ9443 }o3gYZ o$1W% THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxueƨ018::LiQ a+n!m;)1sXe,c/4YuXD4Ik\'v#PtǚS:hd!&Y@AndM7Cfc@/{gtt,1>"1Q/U1f T(9F-lC&c#<<,mԙpd@MjSzЮGJvηTUE6Yct!JF}U?āǦ<_Iulyf"*'ӃEi)ʘIp[j]#}eX,8|W=npWVrbJ\Z]5!@; w ]rGgBH,\ԼnOu(k{)y'^͡w$ZRȪJ;wbxAwټGI;!o ]/!JH r:W?5+~#lzXM}ެTjXw=/UZ\ rq@ӣ1ybܶ Wb(z% 鎎WϋnE0Y92fW$}NwOW@£~xh 8}m|W.Lt ]9zBGp䟦_p"D7֨ \Eb/&M}R(}=`;7'6q096X!2D6Ep)44TKqI XbPFZJh"eoF-::{vcG90{5ng[w΀w3pjq{ERテ_QҧmzPۧ^9 MG_pI2.(p )DHm!XL܏_7[f Ѷ?/XsNoRW,(GiiBk?`*א:j=^mQ?>smkJ[:szN }a#!r'w$L =ƃ@ ҂>3(9lNpnµZ|PhC6{eg ¿^"AL]CRK ̆)F~+ESi56T+?9޻-Z dkNpT)(tY0vҠϤX+R3,1#l'pfH/niőIB+ ow'teGtN7B~ 6w݁)?~ZH#BS)(Uw-_ XE-fd}l5+ӑGTsFp?(Wf te(5VI{,HܷEwinBbVuPhf^禔K<[h.G rf/ᵇl}Րzz!+LjI[) Vu]dEgҷQڪB(0ʱym(zܘ+MP?qӂa,X75aAr많-VV{Vwk `(q_QHt؆ZtpLs43R QGkgJI@ӳVI˯nPo xhrbF¨UMq B8TeyN~8bzr{ /0"ǒNH?9O>=Q+7|Ud6CT!nSL/r^s&P8CsJK8#Yء^o({x$ X/z ś,})C:nt ¶xgbYg8f{v<$JkjdzT@Pbfw@!kS!9ֶ&WV> .T p@,$ `%5hM5iPՄIHV (DO 1x}KC˫ 9n5id̊EzձOU `fۊx1枊7˜in;JlA{ǖ# !Im0ڇxo:y@iK[O"ȴb8-yYs7ɀv-[qϣad䱠"jÕ R;oj,3 eG5ñ!֎pBmAPZ;I uJPe0c &fvhpS%._Rɬq6=KsJjNg҃NDΪŧzȾK, {AK8/gF"q|G[/+8HuUYV^>=+v󦈔 VwjduRD) "?;--BhwGNq+ث·ׇmGxDI6u'{PՌLby!:[yo-?f`]to<BKœ9YݳKS ]uEG?z i,mnMѦ*ts;GMw,.%Q+~jn2 NŹXө";'_=p"-s#O䔖RR,>A?)rw 9źIg:xU]YmY+JC0m<:K}Bz8^wuCNU v6a+YejFvu{Ѱ"JrEƦL: V}GCÓddQ!w%be0TDTu5l^?Sd9h^gDfggZ2NPKl$zwrԐ,fU<r\zWޫr; LWfЇu HZH@l6  (իn8K-;͗xĦK e$zYp, " L`_'?yˍ˧뢂Qn$2OWL;x:e?髸BʼnMb"Zd~ATβ |x⹸ {EfãEC"WP+9\\P8D}Dqd񈨋׈3O wϰd =FvPXg ;)SݓgG%xS~'P6ݿ*2Bx&%P{rXjMa azs0^ ]W'TdR%Lń( +C҈b*X7MmZFtXh^e25r b Cb9ш3K.hЪ-SņO2ѽ1kwP\bhr7x=rX 8[LH@֙<9EΫB# d.2݇M UxR:MLAv@'S8Ƿ|MƑKWD|~CR |^12w^wik<4Y,ƿp# gj2coޖ􄑛.]nЭPS}?TG2-ԏ:zxPIv}p?HB.*풜\W0pn[IVٷ4ϙ(Y8+)@mSCْk'chJ0C _~*uND crٙ%ိ ήfzR2]iلiVbb7M-@!c׼"^ZSge|G>`ALtϱF 9(V/B׹/A0\tDyL_(,Ml'esYLƷ'dJE8ԵP)c0UM$mhtSqr'Q+pHrlQ~i ;1Ԭ1G/yMYl!i®e.Hg6A\\F߄vP;0ZQMם WKx7&7zƋ|B idLXltN;4w]OĨKߟӡ||T ѭ ۊ0Ɖz=Hs&~F:MB?, ᧅ-+i^6 "׸Ņ5P*I~,hpB4ӈ! n#ZoݬNy\Y1O WqUր@5Jg^10Hs Cf H<,n_H A {n_$ESC01Y2 qi{n %hQn|y:?J*D_j 7 H5W;2xxx0V?{`4P9LRCS ^hV/y<$_A6U!zh0BڃLsR:v'i+П3U0 a\fCZ +*fڳl=\h?̕mNiRjucO nWg9s:K 4je1[Ici,v#K!bG6dPЉ"AJzuQVM" V r.\DG@K2b*-DzgSOy2-b Zph~zѐ\I2헄)u&um}eq]^愋LfMC!Km h{:95oK85c 6zLv&8v|퐊 z# mݬjOM>vgYZ &&O%1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! C]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>B65?̥ yړ~Q%ӻ帝s՝4D'H&U)CT|%gńW]DEYOղ3#׷rƈ %?RoYR m+}y55h%LNd)! qf{ ckVZO,ϱr%phT5`Unz+8֟ԬY fR*kRHtuLUyu[)?nzSxzhueh GhV` c&,R|M2AT:qtCcQ]%QғÓ/+N4||;_gCnӒxe fWF{j?؀EInÉ_~tHǂ|_UY= ~‹-KIUA<PWWa85Kx뗸\MI+}XgG|tic}>[ho=&{- <ǾbtPv/h'P\ 0JAF9^\Tsې9'm-Ih};i; ِ(f{Xm.6: {ْD;;]_tQVjD=QNX=4uڨɯUΓR=O ˪H_F7鍹aGͧaIAF>%9i?M}bO%U$ ߔpg)6=Ĕ 59~tx>#{c=F Bco-M4!hlcӽ $6gUY c2ƻuE*xVխԭ|ax'sS-kk|AhפoʲJn=g/iaf,q`nH6h]r.f RR[ivFЊ}5^Ictu縌 AqvvEJ#;[D@rb AlzpzDs壧y/f*eY-a&V$ɂ>q3u^|Fjh$ $6^aܗOr^Ebc[?3ߒEZZlyKs;KG(WH%k|]Q*YOZ?jб[˒]]oNkAuJKIe% 2TSI=qz)rݏi~{:KF")TA?Cy󬜹zQþQ4-zmj8ĝ5byTHTY)gIV_ %]j_P ةzLU Rq6q8O6nS "ҫPFB*&ɺ%xTMJOJ(- ԂOH٠F~: NlDV 1GY#dl*j{JmuHgԘt ԛnOԈ r8ۧEPcK{5B _P?G-#o]xRBW#.hF+i gidչlt|,zyRKV69R2ڬ F`d8R%\pr1$+u1VEV:]J(4nϔ) buU 8U"۞o9%\AZ%NԊF?M}˘e{Qs/!ZB>C7#DEr:M-3 f-gyqHhA'D狹\t.Y5GPAcQ+OB~jq>\"0ܞ\v&]ewP;@0k."o;_gt6@jEײT`1i/ w\lnspNb&%gC3M{eY/B'EÛ Yt'p(1;$qp)LX4[Ot\DLIawX2eXM2;`NF}({fUGM7Ca˲ns6b$ٻ5 KZO71y5U|/z3!$SEAs=G=fohg.M@V#nncA}Saz3MԺ;Ah'0`/Fܠp~̾r3#NZ>|X;&H?Q@"e娜.} J_ QŠ ,r)9*oSw-aKo0'`; izt;U=Ncm"<.wŢr|,N.1H8LYUE8H<5~iXL%J7ѲZ &e{cGE* *=r'qgHEIb;+i p-B(·ڿܗ8 Bt Kpo {3&b qP|W:,9Vsv^#ڙK?,&e+H,Cv"tv!Xm/όA[(ظrbhm0N$j f2~{wG^HQ@o.k-e I%lL0%۲5oɣlqx?m3٢ "F2dj&\l1w 3qQ/?RK mіL/ilf&,tKƕs(rϩ8*ݨ&5Oq̠6}>l2"|!$&';G<ȸn(ݱ\+3>4v$(B+fM=왤BS-LMяb}3lj-Ъs:=!QvXΩM(2ЩU0m([x\2ƧDAX0lӋjJPSO]rOr"ԀzHIn/Qc`q61Nq73mqeW_I`i@cbpra 'zO+@c ΀䗻?VN_Bfz̟*Ahmd^I#< 'UKJ#v z~B_XYmŗמgFt0*=֩8hţ<=^9_Kʿ`lt#6v࡮C6_<jMj=XEz'GkƠd wb3 38*Lmwl964Y]|@Nc[G$b_}4(>h'5~i,V(s}H0] M WL{O̤9dvrȟ0w.#97)~VAlEerf'.;?dZ-rH%DL2f":7! Tؿd]5Zu#۹yc瘳ˮ^94=̉}5esܢFw5ݜ/Nd-g)fcL!gl[JwBڑ`T+PVB+VMRvgt@n!^{Rl ?$0!3+8>.}iW-ΤY׾ Ӹ<ıc0p~a]?ק;=yeQ5ztRXʆzUuw9ܻJUV:㍐3-`A5Ld|UmTPA_Uuer=C󘲖74_I80&4m쉢VaT7g>ryJ!Ѥ ߀r_& e3Fp|Z8i",*r.݂}GDpR g` βZa'ޜĪYt~^j=Ө`\lq;Ɯ\ mS"ob|F!"ޭ羞_۝uj'S\صZK:߄H SfOȠ1UH,kkgb;NJϲ%[TԯQHFEw퀙a18 ΛݜbK7ĨOUM26ߌ[fJ0mC&?jxjp? {o%q1Yԝ yLA!tѳm`lntu0Hn%t̹EOR^|V W~|jZ!7n2_iՙMwI[Q}-P]V^BM?JPV^{9Q$ (›ZiTO)'QYBlZV&q+z5\ѐm/>ʞpt2w+V gA֩3l9;]81㖊.i. $BNKEϣDw3R4y⭃o?c/!ƌѪ;a}D65N3arvp!&1ld5L&v=d\7~",Z^yb;ƷOܣ|^./~JOE=$ X B8É-_I+)m! `;S{*LsKt<*.&0aq8$+lHC>ۃC`>$ hz%x|3RgJ헳rWO:h$ NNW*ɢ Tּ2v0: d+&w!3G34ou>LKNrN($s_COBw! RO.=nҖ`)tkUgQ jr 70 )q$;%=hFx^ ^HLQ$)| >EO#zm% }P!LN˻ /bu6fr5dS=4͆JXt׵GNWgv{rgH1 c+7s1`i'꯷9 9$XU? }R9$O8LK|m.@ qܛH_ P%,L='ѓvPU9> A1ΡW )Ejo`,Gm*R5jk/M*0JuHm2P nZIU;vC{Ngl>)FG0r% ~h(kcSŘ MOk2Gtf na9nX鱜t*=1y~A~iL p3 .2\ tߪM]GGri_1u@xt5_E_ ^zUYڎ~^Rlz.];ŧ"pamwٮ5 *Tu,0Gy@-[6_^AɍEHnHjnvV MK!ގ<'>J[fb0J7|*E;  ۩UM)S/¦'wi otsDo@[ԘԳi#\ϙY1̒"<]q徇8Р|K@.x0f])%G•:d ٰC^4YȎM}ě89|}d9Z1ιZ0 8^QE, ] 0aޣg4-x PC9 Vbc۩CuU1i춶=1'c=wxDq=ci S"?;z ᖌ8=N_ J{̛e|[ E2\r2J]+aSQňGMw<bRq:隊: Ҧ&9GH%0M΂Q>L f02&|bKM}<V(-<CPٷ3le31}P߆H'p*!F<~+.Աr+DmQDF?r\t2dWyS[Mn11M_EvS[ek#t$k]&-#UkNyX*VVԇqĎ2S udž݌e܊H'VJAQ! eEP7~g"WkńBammh)>k&$ytY&l;[_+dzR%IT/ Ll EILc UD~CoDkCIq ;E/`/Me854l6S=!V]|?s#I@@~q:*SsiO›YM^[,j$6,7J+ b--D YOXB^vGpLQڒ䨣}i_lw!?~ ˎX8c:+x1qo@&؝OTO k#$알y׺`4ŅNDN/!\u&iQE fp9ܮn] 0 n2Q?wa> ,y.cylsMJ8۝ITU7Aivn<tZ>vA\mK7HC"h1Mʼnv~\hk̲uT<|.\A_ua&m=`?9c 5LHlbM$Inܵ4 *ck0O󍗀+?FԷ#cv)6|T9gҒL U@}\Kr;[uȣZŁ.@HhVVQwyK ^Oz9)G9]`HJG0GP#PԡVjz]jLؾw$ nNoAg e{i{p5jD"LejNq7:a|4&ٸ4:xzwVB I(3? [\􈤰Y+w\x.f-ս'GuM*1P*4.)Fʮ3^jE8P9Dn}+q} { G݄%ц/ yl!Q~4%M:[ d}sVt)]ы7iH4!K$\E"w 2u}X;(R Ga)xLSwI|BzK|Eڑ4U\\d G\I`4\[N8qΏdWDa>UdQקvWUTw9@^Z_UUP"d1d{S~.]̬fByTn"!$w"u; UF_k> L WYcJî'9bWSѩ\ W(N<`i>%M*˥ڄG_v\5v@QքinS*o=}*QٕXs9PyWn[Ց\"K᫓ aeF=0>ښC^#M_)&Y0o۳TdYByqb Oj4_gOh?`dcݠDP= mt>wig' ZNJ:'Ο0Z]ρο(;z [>}G?K# 1n u S*ރRj[{b:#W3vUdYؙneWtsE }FYP,/CKy!*g^w5?Po3wKU®V:9~Gal堒9Tǥu4.lN95/IFcHEUn;巭5WQjښ A,&cg/:dƀE&ԆJHRh!iV75 ,@pADxMp|6^T f8?#own9I6B[ޫ^i4ݼyB9RK6Xm ci{BDT뱆f(v=]hvּc/H\SjUEHG$j0cy ʁ$(# u[eT-Lx"{pؘ/b#R)"_i(i]p&[|d04Q\ޠwс\n_Q/oɻȷJPh6?zI {璽oa LC1ǓTQS@eJѐەO2CS^X_h R wD0D갬pbdv#rӿb45~A/6~_Z OϜ"}ZS6^Nw) J8ĸDPZ2= Sg`CeF@ 1!]&J%䭬eAyף[q,SKEFohU>g(2}6//r*U4ijaնCv9x%w1LLv; »{ќixA}rWONJ$10(an:e '\Ch %KװͣξcA!c bm'٤2pu.}04sNjz)4Wݰ>0 B4ڿߦŠ;(;' hQĩ\f U_@-*4{&CE# [\0 ]o8)46C|SdNO.*Q!Cbpm ^G2gsq5z?`mcBVdz0WNܞ#OM~y;B]+֣@NQ{^Ւ]]_WIaĞT~<)z]/4ODV?L*TD-h3R{wՙ`C]o'H$*)`G`8T$'6} 2k؋q@OLJB=/ NsY!7q|ˇł:>f4M) nb{3hq?dܭ SdN4araj4P3M.+:a8Ϙsi±q-lwWY_)ÙXqК{a i$kaHu^= G(nkq|pQG楕j ӓ-)+ 9'Jegҹb Fg.t}J0=@Q 7w[WIKj x $֞ldjmXő0?˿NK~ ZDeCe=#gC%8`U_$9~YY?jj ^1< jHz>!GwG>Tn&mI E}wKO2B[({j!yADWO_"ǓD:DB D IP):[֍D8ePք7F}ܾj0)!v2p`dpC+KlC$."E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4D5 P$(*(Z^dyrr({!H"sBsd:;p=ۼq-FVЪOW8/t#,wm| VAը{3^AՖ\$cxX4TW|]wI2 jL\A|u:5k٫]_OoQo,WA,taJQ5i6 Κ~=3Uڄ@]F<9[xΡ$񗲀n r"r0Nߟ Z PU\N.;,1@=س}dYHOﳉBe[p8Qٻ pgOg7QCp9T oH'w&,Vg`./i !do+CwZ$T>?ezn}k]Xu.K_TȃC@эh'VijOt:4'NO}e飒cz  y,Be-*糿ć=-LhH42.Nh>TAÆPŻX TxԘ ڛ*lQMXjQ0+y)^&5f ?%l|^wz͓P. ͢KǤ9țutQKԐ: u@'\2拻]|^d, Zp R1Z]c#Z̊ f~Iw J 2JGʽ_]fA.Ez2F!ސY!>g E]?m\?qCnX}JFG$ x xa[ b d{C$Ue}Sc<( iM@7IC43JNq]qޫMnD12D+S+N0V#9yf'?vhbNO]D/YWM|Y"0JîpȲ=2G³i)8@1II&A cU-ܪQ!<"ootxCIMjk!g'?T&k!QQMC!r`Bh\{&DÔ$0K+~{R<>rE|k]s%1[`/]w3MH]Bf7BٵѳК ##ݦ@-39SlZQZAUF>h =?˷݌GV<  sL礤7V"\2k3qZS2 *=|w9(ҚItQD>W_H4Q Wl W-F4r*,IP#f&)vyE)[LWK)hz<(x^Vz$]jwnT?J^ }{YҢ?+P}ItAӄ%@|k3h?%0/OAf&`HKͻ_1|%)gKQ{n`F!4`JJgGYY#H*nEL8nF mIZ=63:=z1!݊tO{5 Jv`CQ"|>H(vRpw\=v)4$ωmC>]P38\~h^)Y v_`D= 8O8hv(lRUE7{Z&+Nl3szMD2n;O;T X}滫Y7 Na"rې7r|#: x>&^usRl= gƱӞBc-db2qxh " B?*5X=|i#R,$Fm|1+sHcܻ≄וt׬VigO8\bh-bHS$aycpGyb70X{5&E )>]}uĒ9PdF=ƀ perY@j x-DE'DˉU QE`饦ACb>Usچ}k[򻞼Xŕ^1}{.Bל_6g7:+v!ʵ}1 ߀D*M{lց"M-BBמK EX%T"5ēR_e5{AX\R:T#X+SrʂŎCL=nFC1K)0\TwD_9@7TXUE}P<ƽkW Yf6Pr?BNʍ, /Lg3@K2ƱesA#"UG~ubוfIׂ-j1mVVN;8j;ƐYƜ̥]VNL5ľGyRr|X' < (<ϯ/ֱ#`{5ZӞ_e!}Ve[K +bKo.>o$0`\)";)ޚjNz|0 Gds2BV~RMVSNF!Qg2A9PCfjRxèoJ9ərDW'N|n_q3{t/-G⨔v>SsSdMsU <.T\DY<[i JC3{EϟV;`%/0*&- u:?@r:B b4`ÀÎO ofwf\h hJ9w,Ze[3L釠y\=YG)ּ^*N,G^T Sn~r sFੑ,8Qrvc']Cq1\ſrkYjw䨔@%wXenJ(6U?G9P? Z{~7}XV-.9[]2]jOW{/t_^"@*1e""8w)L~>.ӛ~M2"s]%) ,(^dBg\Oz:{=FSGCn9mdarA6e׈R,%(K"xe28r;>3RA-܂"ث/td]b{cu承a$ ^t:}b:.6;&T%KŖ;@!袃>h%ju,ve ƈ+6rN_` EEz'3rt3:K/-Zuhs7oY !ag WRŵhD³%>p[L2mV*柴:vys{wWI#WGRύx#>VUmū3=,oÁÁCK?=ӃZ|$iB2V4r_IqA(4BWwR`Zd\moS ׂRFH Bs cfcmO3pө jH'kpX>G|dSҴgOٔ\.*g_s*̃]?H6P~1š(ؒVc-Owue AfrhLӼ E}{NFGn9zw~,7Ggr(]hr(7EEkq'Ra!JWġLx6AiBE9P/ڋqP%Üi V8b` qg98e#g!( &g:s#A(%㒊3bFZk-7|ՍßBx%+C:0 /H?H Rx!ꆔه gӜ4d- S2ŝq6fJPٷ9V`'ԑpo۞wv>L!>|Ggn=}n98GCx|pFH:NxWw 2)b{IbL:k6CȔp˩MK^;=SƛIߴ9 _e@zIy\i!l9hg]Y˭U|*2Eο+S  7Ic\ʰf@(n ~FQ,M]q7m 5qq~Kϸkddojvlս3*`XmJc^ȼ 1\Q-jcEf[Y9Vu@ H{暵qm1d6:ŊV^1ј5?V*BȜ"7«T gW&0QsRiԹU+}P,& ӱ;gT) u3 }(Oz4އȔ4cVDoUk!N/YD aM_<&Rr w,M^"Iՙ/[C6"ы'ZfZ{2dAޮߴ4f-Q6I \^ڋrAm2҄w\Q7 bWz:TߍBH]^g!STP>6 @4_b4.W .[aϢP3&wI6K~Q.L`y:kXu](L9i9ˆ8(Hʡ7S<9Nt\5n/͊c|BiNִ|"& f3 sXܐQVW%sɽ0bY\`q5fpi0mVCu%1Kz}y%GAOkpr3Upn=K׹=ឬ?0@I'« } fZh M:6كpy-7eN4.ⴝ!J"\U2&2\\^T9|[[ Ký(sllD|j "~LF?ǮnEAã G2Ri׾mUj1YQbu5B\ѧpoI]zaj ru>3g{N6=Ԝ_7ViQ*i1U^şպ:kw%< Y%TR^1#?OsಷDJE"z+[R4>1;P(hoz Kھ '5 }4)(V>a2EkU(X[Vd`Q|ϫ3~;{ፂq.mۖ#an ڃ491]~Qb1߸Vj( r/eFQ,9W/N=#S4P̼c\s('2Bb-Z_Y2^WL-ZVknv-jq/P%;q;5"m[6NN/bsf᧞/sނv*{G(KS&*^I/OG;ZQ`qUX-nhR D;-4_<;,v=jfkrGQ^%jPڽTL* ɲ5 *'$p(V~MxM#D)ui)[v~%*}^: ٬Zv*Oi {UPyyKf~;W計jvۇ/cMjDo+ 6$,Ze8Nզ& $aj~L)ݨp' w,j j㗻"Ze`[Ү qJ5"5,<2+c:?䍉j8z{ՌK9#_4bX+PiOQ~5ʢr8OO ߯+!\b70E)- Sgq(A+ tw}RPָ-ޅv?<  hjv5E/^PT@.swe)SDi^Vko' FulΚC@:N=X ȤVg7/;O^數ɳv|kۍ?VSQ Q.ek69/x vY%hj[vA/}$ h$SSAL_':hV\[rpY)k`?e4` : sȡvaH i$JI|]$[>2}1\hXRX$=EGjwn H~ٲר#54ŧ!(' # ~R{4y#=# RD]'-w,NHCM ?pWũ'nֈu<$%J]OҤGvX 42LpbDj-R#x' DdT!ݨELD9<`lW]jϱ͞*R`籫8d:iԃg&J $4iuaUyvHq<$iC 6i7mFd5Hra{Xeۓ 7B2\MJ_N+R/?46:>h`y>VWL` @〉M! ڶU*| C/!܊~&a6v:%nh!_7Nz}1N_ n$aY (0[OQ6"*j?P92bd|- 8H %!A}Uj\tq}+Kgf30+>ݐ`+QP&WߢBgxty{5 bQRlF,3QDgI=W Q 4kiq1CO*L-] D?P~U?ۆ\,SX}g!QLe|}Uet Dɓ׶^Yq18fD$_W^>aX0QKxSn|Uwuic @@WDH*ɮ{^ǂΜᲑ9.M3*aJ@6]#c.N.ݲ5yR UPdHٞ,6ϮL):?Q>xYU΋hp}TMLz9WVh1 >ĒhSI7M+DMDk"_ȳa,_Óׇ㪳{"ANn5N0'Y -',pyhCxR+ܚ4hgcQ0--:|ErsM-o9hXlkMOWyu}0hm Ky'Cߏ\lA:ओPUJ0Q4%j2}c7@^K KҾL[5.2a8*AT N44F Fsڹ5\吊()Yfɺ wԅ0 [c\ En40[ ڵtwKw$躿Eˣ~PɀL2[8%tcw ozxM(o%Z*./pR̚,{g >,smtnĉ}y[HCߺb!^p0πHˆ@VOu|yt$`1zfu9 %2Vq$VEh/pG}{p1o7U25C|I]d_krn`WG[9Օ#a2Y9iz:+mijSߋ{)䬡mmwr'f>%Bƚ͍,E`HnVЍR >[ R͞blYGNx@9d|ӪM|;dn| 0rf+jq;rO ^'tUڀ= tcЧ%>ra@qsӚj|('јi@5 .BzFGPp,jΓF˟,̟Z6xh:? g Gd'{\A,Z6-GM}֮ T(`넞rV-&xF~E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&M;WL,ouyY.hƗ ӕPQ'}@ AKA:;Zǔ-Ù;bspuaD^R*qi99mu^5{yP;"1HcRPtA, A &O Np&2J2H2(,x&_(0u~RY˜.<=_O.d+9BJrcAe.xB^խK)\mrJ'f.]m~_Ь<\HQtF9fthRM*/5kMIt?ϳp;<炐q^-|f<\lc{;bVz]UDw #)do┲`Y 5B:l%&#e/Ow?Y&_6JԷV+' ܈[Pd!u}H_$X@=AȈ:'[|cL)(N5th_U/Z"7OzŜmdjO J.RU]oB>DoC Qfo-h;UAs2^Ue?j6*wѠH AУ5:pTSֱ8#HIVfi7Gù;Ƶ4)  ѧ2 v ʛu S;Ǧl3^ T%?>ղXSwtseݠ}3~w=s-#4zeHȐT Rt8@)c_U R]iZBXk &aJOԃtMPw^2eFJfwyDBZыiԓϟ9yD^5P,:+\zB?ԢAzʭڎes !`JƳ)7Ot/k7lBZxɜ"&|8PhF FkFAʴ&Qjan3/ ${m]QUtL%O *VQ/S@z BUBCx_1wYTWEm;M+9ԋB7u⬴?'er9*\^C`VO?sѸ׽NnPyU~dDSm֮цЩXMIɒlFgt]ׅzwfв`eD9nB}DN`,f⦿å`)pu+}67{ס=ډz/EX ښcd!pCg 'L^uO{ڷ8͕yu D&LYPIIls`q8= idUߑ&2Iy L\3צWR]7NCFyA.͎hh\TB-FN59zat|J'+G2Z %U:nbA l31\KGu)lPT0y: P=7[.*ٝqrPw}KWGmV4˜Hv'{nMR0h0Ols6 jn ѤHuIN7R62GY![E+|~H-DSp4Q[ܼgt̤MG$BFyq[S* =`]كȼ}7eQh[Օ/76sގm({J0K'xdQկ/㽷a$lNKBy4: ŭ5gt=d"Wيt-I&]Un hn\OXXAwjᤅ^P?vZCZXBk&m+t();(6 ,s\6MhʒO} #ء-\2so| \˟<>4pN< OG]61 ǂUxxQkؐ Yw؉Yw[Y?ۣxӕdL:7edY<)Hh. |n P;NGÏ᪯ zP( R\fIAڔ@\q12 fcċ$['%% l60f:[K }M#չfH^^LJ]_x/S # V b6W:dKL1R%Äv WP<ٶyw x(U4dn(?goK0Nh/7p kQhLc6jFuvEmix '%3@,/rֿ})~L>dGg=͌FMmmȖx[RKL:0J.bV+A fr6|sR,a+~un,4bF !$yk.,YQAiz1uަ_).χ֗QrLAfi;(*@|Qd}vJ;m8sC -߄NcfMwobLRB1롈xJ8" vZ24j5M{nP#ooDpMv |40H[\"r}æƖe zY,$1D^GI̱{D 4f&J"(9Afm5@PP:d:qcqofEs{< AH*czѸ<@^ITKg-+{7DP:m ĘŒW ?6.{0 9B XX`sZs%Ֆ\b;U`H:dYY':2cZNF/E}Kom!NڦBC}FC['[GhAޤeLrx_`CowC;r׻f~E1QDj QgT3JXH6&EV: ΢s7&٦thW)1riMM$ %Y/J T2}AtI]щ{ 'ꓱTP_]8#suN+xEQ -:1OˋSyV/~v;kMvٝ* $Zlsr9>srh#M=5⵻e/b6)<П ;cz5k^p1a1(j,ƨh yɤa%qYQZ}[]3#fdl(؊_̛k#}ҝ@R_#O֢5ά:d.ӰS2M+n(I 3Ի/)8ؽ+ߒѷ^-Nywwm{OBgNp)HPoiK+\~myyA\"&\9ϛh{vSQJAndj!A\\%I~So-i#9hYFgh"%3akx}|96Y״s/xR`dԋ S`fg{+ LHS&f*ڈu1&2 .S"8l=Y8w ЕX#`||rU1VGa5&' )r>y {L7(ҚմƕB&$HN>/Ө.3?d_Xp ;}e= W`0QH~,x~s!PPůb2.Hit(DIT)e9.qqy`N1 vK- 2\768lڛw‹rr32+:2-g>`g^FWH5-d0 ׊ >i3u ft/B/iW/g_1Xl!>04d)}% K*`7[# YGk `bI$dz K!s0R({M^ǀՒ1/1o W!|5@lz74EjLIG&&U]^VLqC#$VEdo׀H~n4+V3@+kJ'D7 L K/*l5`̩xgT7yQhh&}QwC%"FbUn>u: vn CsAYJ7(]IEz>X8꼤`T\) x t=eE.ÃsFyHA-zIR-!"#DZDч9,+0Ny灤J͉]1t-U{Fiܑ'Pup2Lj\WrW#*wE^0U$'2$euw*e# TeNjeAPXomngkV$f#O @sYf 400NABV{̙GQ9#8~ $D2H/[B>V<7/OE^>2:YGƄsM576O&D;D3< NUde隩dqpoɈ~r noOO_Dy_5̺0rbu?VӚ=l4-P9 )<{WmQIiTqlZk/Q4f@Z񿝌j6ēTM*lXϽaZD&/ ehzY0t+@ _R QVԢ*2:K=A_|7F^77_+;H Gx6ڬ@TӾ4(M)F:"'id) ݅4G9b ۼx J"&MYSLghCW us67~a)F nM"YJ^}{2W{IHtuCᒧrܮ:mByisX;1)Zcj[HM[T~ti?ɑpxhykcm?ԴlTMt!ӻZK_M:@`~rOc^!;ccg2f(+ã`|+s1L{ImMiXw[ ᖚRka]V"bH{1; )\?ҐUȗ:h. O~9#C7[I8 >M+X,-&FPhw;@8\7oeDAba-"N~#f+< jRV{%\2OV!{d~+c^+n{f%wC@AI lPą"qA@Ama܏rod 0}zrY̅{402 |Eh"qL\߼7"'! {[:}/!+Ph_B/ ̯KF֊SB^5|UoG w+aFZ?ZzA*з 8v\@%b}gy797R֧ zmW!k ϖXϣ_j,d_1%/4 пoI欸G؄Ey T]z:t1M>'%թe:?PZ I,^;a[ Dn8ts;%ڢZb˃w7hŀ+ !@e䩫ҦDBwI<[wU?(#NIe@(`] L yG`u4ɻ8KCnm`0`7]9Lc+d 07W p/]Zw؆@R C3HXێ >?.U,dƸ죍1ږKLc+車, 3a&fΤ[t4 act+*ceN]@d{rsΥ[3SR>5FHSJ^It";TÑ4m1?8 n_p-DAꃋÜM-(HŊ|Dխ|!TiZ:$ʻ@m{GVK"(ָqξr:iG.˦lI/)<]I]rrߞmV.*qwܡ ,'͞cMx俲z8t0ۏG&Eg[/ƭzh0: >9U#f"Nb{sD!l!Ѣ^VW00fA^cň| ӞwBΑI%,dS%U[:\$D|[+?m>)  s64u8<8;wp.4Rch%, ll,4Q8E2-Igs"j,<0E$Xt6IޱKZG $ R,pS,*;6)\Yշϕjh'\APW]70rWz+ 7 E7F1EyW0pJ@h upKbY1j,x4O&'o~R^u%4}j2b pڸ_swD4^#`j?}saʡRu2>&+epIX%`c.8`Qi5vFvZ?ensM6zDx)?ؐ SOQMqCAU>97fIF-c"X MfhQ*8n@w*revE5ktpXԊuot2HաF.ѩV: xw=mQ oB2I[oJYx ntd*-p\8[vݠ_*f{۾X_~˷^bT+FƢpADR>ި K]>|P+ch%*n"5),ݹ$B/X̬(zQrj Qoڀ3D;䄰msH/>S]҂+/k/){_̴͋sM,zxٺI[8b[4vq|3I-5{s#ǝE}q=NBx]w. v:R!V&.ݸll'#\t1B'ydҖgF>G+p2GdSki= "'펲 Piq0`9ީM#kxOŠǠ~GC_&iBչء~3Z{@xAM<~!{a/f zdzg^>(v\Q]O˪{ҦU I.9@Tnζ1'. @ǽxv`&L%\uŐft%f?^xe}F ZQ/ډ _/Y*q[rKafOc@JpzЬ#oH|sM<&;~ZPd}m@vw3ws2p\̓,i_2M>ig'un7.(1 b7?,~z)ѵHy xddA֍te,FHdW{>+-gtè qiKQJO0WڞY뽱QOH[Y-}PMdF5(-ñ ](]h"+(9fDp.;t%LsPWFBފ俓F p '#=SZc dS+w'y>T9og`֍7eAB1%6>X_[1K5xhR/"\B($ft:֐ ,R&Out$Ra/5`R!?%t[zi]u/ᴕ3ѪlZeJP?@}A&Č}w6qcnjR :t Y:3-)6#u-&6ORY3,UҔ[s犴lzVN'D7pf\q6/2u&+R@3`N$r lq!Di\"7Bo(|aX՝_@ۉ}@t!B^~* 5pBr9kY!ChxG3* }7WKlU+uK2<&?60cw*YpҮar3;a)2LH A{dKfkmܡX9x{hVu 4aˁFϤR͆fIVҊ@[63أ^ױdJ94l")DJMD2Y(QwU?U^KLđ 4L͢ J`p@{\_#B}8q,(7[cR5ʨ3\8Z0{ :Yrvm![Q NK Zz P6llDc+hJ񨌷H:Ʀ}X=/w$Kh5,81F}T<yR=ƅABr姡홗YVJO#*#JJ$TmZ_csq#0MC{5 d`'̀~0a`d`&j07ZI^7Pa~8e4@ȹjAnO*(04qg@7ni;ʔ퉕Z=w}˛r& *ࠩp^F=KC8`Sʑz/KDb:97(#׎bJ}XSb~'01 dI}5 q>J'F0|EJsڦ56ʌP)4Yo{2!2^CU\ PO4~>conM~|]${U2[+Te}bQ-7VTü{s(Ze/FI=>dWkKJ,adxcNu9+д/G϶m$̓O1  f1S}be Ή7@!.+JUTtK0HBB @wkSgÁ/hD+`Q!Ǵf='V\_ú3ˢq8x vG;R'wޡ$ÎD t=L~b "Ms(\I4%#]2[|U]cN !R9(P&؅2$3ƙYٕzޝk6[mWt14Y($YǠ.KNZ cTc86LVn :cنcނ8I$q؋fu/?ODFP}8#d Z+A8^"ug ;+{ކs,VdTNiVْۅ>) Qzg"aeߦxa!vY amlte:j(90rg|_c%W]HY﷡7pDI;e=V[լ_ /N-Ty 2*ܙu"HWh1iؘ(]bkXDNBiHC dg#x9SuM5ѕjv48'E}-_FNyZhJS|+y'yj K!Qş=T=*gRqz,P8peQ&U$k<<:)g <{mʊr[ɸ iX-ןwL::¢ed,M֬wqW/~+oh.[Eq4JMH5B'*#C72~J/UjYJ(;G+|r^OL#;ʫ`1Nv$Z9ꮪW{Mp2Dju4kS/ ]>HA|i ed@ZhMyE#_<)JfnN,^Bsۃ> /sy` 쁼ĆR>lm+0*VJ4Kh5G=!7YyhszWQ" G ŝoq(W~d+ cLK+𬂈Kd{OnL)x'$f<5M&WS=G'9tNw䍬:Ӣ?AOaE)dk=en"F`AfkI]ASjH Sv>5jb?N<4 9{"]Yah&`ZJ)EgwĜ1d_,pV) sӻmsg聿r ClFj%@{^K])ő4I7xs|+J lt#Hh)p=Hߊ,I`0 [n_JXsn߼_ qث,۱'pS'iia˥m O:kOG} 6ra׳(H/RTz"={to,ˣʀQ{x@`̓tkiQ!dY.xaYy is6DW#THdzMxʧ .<ѧ*LR.VF;7ps;^KU4f2a_S  M؝Q"rs@nJ>'vVC-P‡ChZ k:Rm`uUr=Ps0-k)C#WCƬXd<xݔNuIR\h,H-z/ pP*(z!vp05Ȏ{Jy0%vo,bUwXѠ|H L&Gآ )8X-K!e!C{-Pnxg/obXhJF!<\(unڧ%B[)d:$7Z{+'H>UK N#'C6w cR /LFmG; #|5R 7z ug ֣KvUv vn}AZDB[1r}de)*[,8dO!S,կKV5.҈bKNؼbe"hAtz .[^& 'liVOMvp~NLdQ/2K'bXS X1Ni˥F.WTB?PCQ CbJ:I!Y@<-gDy#AR~-NA҆pbv,H_^-ej ~)㢒Eڂ䳳7Zcssw6\ؿGe?h`!!Um'-9 F ?OR`kQ&؇5.<vH4rs]:gWHWLh09Ҿ"MXf;KM;EU%ۊ& 8wp0 Nd i5sjeζLY|\ "L`r=OXχh ,Xn< @/Rb:5\>np|7-[gΚx= JH_h)h dtLUo4Y@=JUao\DO\El7 OcMD^uf(%1Biik^ "4+`.Ξ%7+"v8ndzH-ձ{G>(VLNaӜp5P}Joce~vfc@۹#s;}P;mSSR#!ʫXePc2?'i6&+ nAUɭT)CZq鸟*8A%nD7l3R|h[̕+r*'!i2Ã^%<,9H1rC81ۉǷq-du "I}=֭$2T O엗Um JGxo r?t~H(y^2^J1b`z=2m0KˀcA*81w `>W|nV撒H龽ɘF[\e(mOS6ao~H(`u S'U8@1_~lH_MD՚M)|taIrHv 3iͮSw= HtF&Q71U9㼘K?/xp{0~>ɀ62ɂN@YSt@b QSV6=Vflsh wxyW 㚆 Um-J$N*8Sp:iEΣ}ٝC==V?Czl6@,[Д2L.16H (3t|1 fgaCT^:T/;#~gX%(Dm]haɖ>Îh>"N̒~i;*gN_~d6ܐK+;ub?|FZؽtЎ.I0%)*%VeM[Ȣ[n=Wex! 㣮.e2 /`lOAwi'3"榤ǛN2F,HJ} 9hSn4a'/X|2@ N#bSBr9dpݗ" `A n:*X(_%={h}';:V`Ъ˵o^1E{FXrc㹏yhHsߴdQ1Ic3uIAt4x?# Dۊ #\+=1UBR?m;e5Өycj&~wIt"c<;S_([ ?lδ_%!+fC6(6fqs4p|8VY0)S ^CNTi8~HH7 CDl,©-vYH:y@Yif?H W+haZ .dFiWPMg2RRi=F7z3 qM|V.#YSX-qS5,JP֖3NG2Ks{W|*8]^En|Oj ɪV(.T[sV'MN.f~CԾx@pVS> K$GĽ!.Malґ+g?\!@8IyRp8!L-;JgĹS*SP{ZnBkAdZJk=tnQ(A4rRJҧf=_>4}85>~҅-pbᅍ aBLXH՘jG. 9iŋܔB9ÇnnjadY:7  1#!9|hkcH;VYõcv*_SI^$au <$/0u˛z4}g.]].2AJO xkQ[#+ry_dj7Xϥ׹`QG^Л5 E܆!FAH?G\eK6cozc®wRd^!O \e¨'9UE%>-q;`eoj ߆A+Tcu7ݥe6_|A/jpٞmTa[#7ϙ[L)Ps.ూMj%u|?~=щmG K\ P56%mr2; UAwWXyTK|}5ی1F=R19>)wWsl<{n#A'bv9iso _w%%nv޵6&n[}_|@3Vi{Z&bh)p(D"0VB1ЀP$]e8ì4(3QoaN=y׃v9Y]'_sqS1MJ<_ࢳaџ^%!;]ߋ9Ww努wFq5̬;,׍92g1#74TDu!YjqtXuGwڼ +J}Vq7C/HP%T4/}4a=%t$/ :=l&sb`wl-ߞ+ k{õIS{x8=klT w&B8pTkſ&^ssГSEN/|&KggNAX)$N|aЛR$\@PhX q湢-Cသٷ08D_.TȔyWmw|Ȳq۫zטfNZ'ҥ/wJ=^֊^D';bAEX㿢@ *%g/ $  283v 6`D/\lXVXRKm9J`7kyIC덫eH^P~/.]~1{q,${gC3(+Ed~(<~J^IՄ›]CG&S Gڻ^E2X2lRc]kkFD+7YefkN|tGhwY,P R5KjYKvX0Df4=o0U8y' 3{BxS.Nja&( rķa"a6MdSuGFmy9Lz ]NS|FZ&0g$X!AFJD+1_[77ңϺ 9`e_M!*bky>È)# .Zq jT wR M4sޥN.Wm52'f`f([\8`_>)JX#k[:&#\4u[lˎhby@hE0^\|3?tGQ%82Ovj;Iu׼%-B"w $nԷn-Ә jj+TpS8@1xb_ JvzQq2{bg4\V biyX́5ji;ل~kC@]=!RsПF%h40E\y!d޶~sp?m14Nj 5'5L0ZY>~'{lxмٮDhG\+X9d؟x 2Q4)q}^䲻GGi?H`{zOq. V> iRxUߌS +LZl 7dP8!/Dީyr1}^q0M"!&o}__F"͙!=W%fԄ5RE,=uVNR{378w=3CBVCU-{я.2ҧ@3e͑A` -c6My'=%WRq'*S'\H?K-`[VF{7/q;S`.)³tM4Y7+nWֵ %#{~:(~:}G?twzl/%=^zGƼR}e;W̷@jX(Gk5R& 1ş1,e^_2om)#̕tRIO_yZ$Q}l>hr<~+B_2rŨc|7쾆_>gUyw"O! aHX./go6/'a|Tje& 1G-s&vv.M&Vω|iVV#?pC+9 wT uWG}MU5W7 oڸhAj%| HczbVGʉO3;UȎ1ZԥDt⋃!Hn3U@,G[( unH:;ds~]i=$y_@Witz?kYo1/ASCfWaG漿eeJGkfJ1\G+c}!OCUW5qZ=5Mf-3ɖ|_o9pq<~]00uB9;G QNg5m5U -n]kVЯIR?p ܧ'iku:yO*0Տz)0h6S~ֈr:,2r0Tݫ‡Y MB6%B9CyfՖ1{MW pmNG/Lb] /X5a},-Ol;HV* /I@Gix)f7c^ӥ~@9,5TbtDju!f=7f.dE+R^`69 UcIp9 pЋ|yֽ0h;_8&<6}I: 5hb>s60ExҬiv]+cob {1F]8cK"> mKӋRP܌Άò2#A%< )IжMz `շN|My,ARy?H-V*IN?$N_2ΘMdW$!eENU; jU:*o[z{i qlKD^65w?"bs6UQnő=ሳ`_=] * vrV._0vO={sO*9"̟H2 I QnRh r½XUAx-[IͼTJYyvRi(6<>듗yΉ?KB b%*ʀqA0Ͱz QRBl_[ZHpͳ=ik›fG>lQct)fdX[\y%M|baAۭQWg! Sp/*-J2h<ǎk) ԣtů zL ~"Tydc'4rȗڊ󻗕 XQ0+)b6t0ɘLz'`aɩ.BC^Z>8jkByn.Q5(܋Bx:dP5a"> fGgJ8dI=N2T?{x,rݟ {V}Nd[~l3~tcp-; P~:EZ?ɡMȿT/ OP1!ihrr-h)dtxc%7[̾Kb\2F-d1ø@C(FjqЖ&7\\~"V>`4Ts\(\0_ƘxT&vH+|WJ 7csd/YxSNm2Ջ:K Di&=<[ISHۈlQq0w=_uzJѵ߾_p%.r>PVO/,e8P:M<)>VLIWB,jSR.na*tq1K=7+d2U龒?@֛ рmc)Em_S&8'7< 7 {p+\RW.7aDW=tu!Z Iyѿown-w!3N!_ʽ+ķ>I"p}VHJgCD2!ņ^Q51 |W̊zyawc{~ZQ[vP,зH~06ےE5tiҏᬣWiu b-a셔nn?j U6q|AuH 0߲N2`4lS94I+)"FڎKH-[8h8DDPo{󨙺͊UzjSƃ A',yej C,Ο<2gSTħ fNQq'w^%1)/yOAip-zCXSMy=pK׍wx)e;Kˠ..D焷{͠i̿{O0'zgy5+Z@b= p} ܍c Yr;5X #XWa|JLCYgYP|3]v4R6rz~yúYp6y󄪪 Yt/[ނ\1[sh2R^pc2DĖK=z/LA;@-d ĭ esdMa&G$ >d WT2<>:`p(u0H{<&Qsgۗ*N]KlQ1 6ا]xn KI_$S6pMUן_ _j¼\G @\"fah:ktuUqfM$Щ@q(dKpFx8 \ ߇{էLH nEXia]=4=4%fmw&񬯫֏#OW%Mkn?վN2ۖ|&?SWs^$'XQveFKm 깪-Oau?AE2XrS "V<ʐil2܉!#0Nb_&t_6.~]I^!|y{-6pF֍^}k2]Λo(egl!AOQD^kFAI%T1'Ʀ&?0Ui[l8瓧wSaf eknǠo<;%BCiQUq#^1D^zI=x@|P:#(r_(5J3ۘà3mJ 88z[D mޖx1gF AX!~3Lmj# UyW41z5NIk-f!^>;.ݍDx+ǙjCLY?;cB]/yc(8CK7E\pj1,t \ЦgN};B$1#EYӆثT.KFD.~YDI(b?!+ <`γWqJzOA7A?*$j?@+> eaبj%;:'/TE֜d(ov(@zؠGJSV͛W#`=ar|^ouqJtMAe{WRA&cC>^fw͈*l}͟-HbobR:L,;őKHg9O\# +畛Lc 789&(C$e%r3UC*_\ |c+3y{U7BO~zZBPq,$@/֛Im/?)ݤFaTGxf\/Jx*Ƹ=sb*;)+*V 3 |_HűE؁- 呷:՘T'Trj*/HeP37$\|wϠjDU O@о̺CBb25%3+gv$'fLGh0PI{HAS]t@~;fz  7sC1띐 Л/ hS0屢 #3U uz>m7)= w9N $žU?*B n4Ĕ5|iGKI4S#dr+<2|67gX* /q祰ư.0"T}OBCv`.J@#:ƲN@3 RNy4_Z; d/r83~cn>i%-b}?%XI}Jц'D;a?Ԣ"k-JR{d|FCK:;~ %< *fPF71wgbBVb}`+:_)SQq6=RW/@|"q u}MwJLLl^`DyϜbe-7ES&,Ӿ!lI+x1 ?p ?NN1>zG.+㼚绩)_x8gKLP~}l2^(yD,Zz/b/s9z+xIq"V_|\oIvaE<4 l,v%9D)Q5KA26y&M3Qf'r>JJgvj['Qyó!"Qɵ cߨzUx6ٰ̑xkqMkg,UZ.ڐJyʯumM-Fdb6=Aw[>Z-R׮zø?ɗEg>'hS_`}Wn.a\ 0(_79ڂr9g5cIh\;X3(|BApH&?RWu:~!L:LU=;{HtU~Ig渮C0A T-澪_ h JLwN,U0 @'?VI6gMZL-x^*4&[n3 Ev3hcK}^;-% pTOJw{MX1pm:P@xVĄXmg""a?jq~B7HH|Im( =zGY#/ ϦSINA3c f4]I= UQ`ϫHu"nqՙ "h6p|`+?<ٮ(8qes'7 CLIGzL]c50⹶g,oX5- Jq̋Wƣτt¯>GϤP-AhjbY~ ҡ {<5LTÐ!+,Tt'K2-΅:B.xJgFJSyr>#.dlM^&O.M/~yLHH%U;ڎ%VfLl_fѹ&A|jJea$a*CT9c2mX;Aֵ xŚHu4m3(Qq"RGsLQڵ{:L姏9͠''`Ҳ~w< @։/0[5؍͢ݱF~\ьw) (&ycQCA nXe!@08$ãT&֫_1tgi*!q~ >Vjo\CǜhOR ?UA`]wuTЖe J;d E =K]jKnH(zZ\IN(Y|hQxZR8أ4҇V͎HI69Fc^fפ%Snw+Fe3i5ruM++*K"jpcQ-@-zڲlk/%Bj'Z%7SS.ID7.DR(">S:ѥvf1#ji!F{|c3T +0+De /!`8 K͐njLkè)= ˕E*f#% F}?UY'DC-u66VMb bc?Ӹ&"kHu2$$Pe !>Jord ҕv 8ga?9A/ps(,|-F^m§ c5"R6 &Z]}.wqךǺM; ^܂Y^1oxrt/vQ)u$[!L ~!oˊN!ˤTn>HZ :uF_؁^eA>MgS"[vy <4d*H\daKyj|B<-"Q՞9G!WVdUSo_Bܝs\ T}IJMmfHK |6zݳ"x0G'Mx̷`v;4{G`Wҽb&llmq mil/0d9ZVotM9Yj@ !ghnbX#p?1i;Vo3{!*NiFDD73 חJV-,$dm3G RTpڡL2;?%Bt%EVpnŁ`cN=GMݿĭHlO` y~XtDi[`"1=W0e%R9ǘ*x%+ܲQ_HX>≭Ĕg>_G5|vJ!GUq>ů.ҘdYN|]z:;}(mZCEũBMG&3_y\fE n),817^U-@-ο;b3w@x#fz#¤W6Tx HB}C5Xb_sҞ~cA&ۧ] ~Q'DyX|*a=>Kۉe ku}CxNDGB!XFV|/;y Fyh7YPAFBt[td"pO6=pYAEo Z*RMa(%:ec%h*ɳvM[Ŏ^of#tŁO/uB]|'E5nzN- :.:ڛ~1u$ܤJQ g|<3v2·_nw7``JdIvdk3lCMH,]mgǔ5`VL5M$kr\,IbJfOU]xnГC%kvQशka^7&0wQYj[țʸ|RR0k\Ǻ&&$}y ̰'vg"b? VQGx׏#,A}OGG9B3Dywxњ@R ]wޔ/Vbd=?Omu|GBT{(!aȫs2k"0hx+[[V=*FsΤ'ؚZdBafkЋqU&օ[l,z9mٹ.߶Jrg(@%kA}U3x)5Wz?DlV"4spגHɇ;*y*Qt;1}2ױ? EJv2)nOIgJ">sYvNesd2!\# Ίkl&hUН{h"cL7Gu@8#5n&uFHZĤhBܞviU 0.oIr 8"s87:kK0zxC^=krj#%,<:F[X2 ${v#˿GqH!oy# s^tB[C%}w,<-!y9,kh/b2D!()&)6/&]LYW5J'Jjܽx`/E'Y]:qz[؛ԍAP7FC'(tNmnyn[SP :oڲj!5giSƙ[F9TmW)[0a^j)/K_?N[95`}xXvAfmXez,Gb.B߮f4CQBxJz]bpDYh̯R~&mHe֔"")6]6Q}2ԢO3ލZ5YT8!IdvjJXքZz]y1Dd::#UEMXb!hҐ7c6熗wmH|94*r\Q0<Dsl#(⣪ ?12U#K{^a8>+ ο6uzOj]wH G͆}\ O5EY R$6rJl8nAqG1/2]0SkzT]v糲dSX]r7T~p&t76In|$eU:hxh"rGUT_l$E%J@<jc+gG؃#KQQgZ>?D44!u]2[h` ]d /7D CR*$V9.1',,"x-Xȧ}umC|N{|J-"ϧ/NP6Չ’Fof<%W'oVg=4B؞Ȕ)zI @}e8ƀviX|ЉfPPOƽBT#P/r[ z1+tU0 ,g\ȱq-}}!:#B6^O,Ze99خ>(6`z>W.W/ƈAxW`-&r3IT3!O[bgq:a$/.9?[I#^I14~D^ƃ{d: l ±hQЂQ>X)apa h͘I7i!6E U[7i&c"O1yŒ^M[RR )%EքqWAxz=6"KE!OXÅ'4dyh N`S-&qU8jF9mK{ʛC81nVF FE "$`E%(,=4b, "tT ҎA~01h8o>rsWqmg@;D> kYNyuJwF߬k3r M}zKg S̢;P;JjŴX} U1 hpFʑ;q3aV¨}0gU@BASȉjX7y?c4vǘtEa再 Op`/uX#? l|QH <,tJT:&d7tf1/PkK33J idfDC%8FU3kFǥR è-m!,|xDYڅ̌S=pGNv~ Ύ_3Quz[Vo):r:|zL }eU]Z|9o5!/)Ά~¥G9l #8 i`(vc6ߡ5u,'EFmsFB|4\xo< 3BnH7GH{5 +~u.;a.{^$/>\4].$L*늙L$Ik[ɻ$E6$ T]F v2sCl`u0bCuS{Q,'^΀6Tl+q%շ&􉾛%Hx#eZG¶3!<*XWݼǎ>" : cxLt/ &ٞC_0y]5 Eҋ.*͘ ZGѕ_qQy , ×,4|[Y&V j75saF1Qϊܰ!ZZ;wo[C֢7GweЗĕ aVُ ?Md٨8Rv.ȿWiѦO7{/:/c}#<KM@} LĹIЊ[N> A :[]a蘅.w7* : VvNXy?^[!ʕoir?0tchBU<ߙm< T aOwHSL =ayp,Hb{jowbzG%{&YZqMP4kCaoDZ)n ϶9ݐ;Il0qE h[:i#{JN XbEH#SxDHЖ?3׹Q0Ū"X7v_b+{Zi+nZCv?7͸VSEJixT:Ṁ ӅUDU!`X_IVIIf=YuPke؊Q<^%>fCivD:'|zf)ÜlN=8ig2˨t6 #6iMz{d:id,ﭘOaӿ6.Nji߷9cLǠj@ k|mU/pM at2+Rq'\4|X| "x' 7ф=d՟cgvX#EBߕ{D M{ FFghHHNBzeT$~CrDט^D уu3DH[}."i)1kfg;꿲 -DK#7z1&QAZ1s#]rz+ۋ3w9~'qwF̺\r`g 8* {GPS0w=ݹvE3w[}yq+쁦  >9AڢA 9yJaH!o3[ B#7t &Kj=Dh xCu±zHAKGnG^D=.pW³;Zj nfZ,0. W$ʥGney"@dgR!b)0.Qs|OŌ'-tp4T'sMKA\\̥6đƧ;he |C컴:.Z%Kߣd! VVD;ka0աށmTn bKl687c6L1&7Hkd;x@ GNs1}gp^u$Jqi 42(:?(#\̒?jvyIqx#y^Z:%j7?nHV4=_NY7q vЈ̇C{ 8-ݾ'=A_FM[2I^0n?5A| VN +xw]V7| '~P(珙`ش3/44h{6/cΐ( vri{KZ,/?.'ܶ .F$HV==OPBCtF9Pi3c~FVu:(Qa]'R Ts E]ЦVypgnu  NҠ3c נJ{ya~a4hڏM( pk@ b*س STf]TK#e^~q^Ts FAhdsEɸvw0؄pFy\hWoQ UYטҡ2|~4għ!N40|upA1ʹĬ%Di~bUڼ rKx_]uf f>n[VͱgYZ ( 1W# 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``a b\Ulؚ$pJ*(u~E,䎵WȤi bx,4(z"xO5,.xIHE%.]A_Mـ"D_.wqT!ݷzR{0YACKn ' 'N> ,Tz$pصi?oUQf3RnNz yqLhO9tV3Ux*4bmr']DD.cԱ:Pс,*&_1޴\:Ts֟9)7z_Grz t6Gke;7qEո{*G g:Paj2W6=0t(FJlF%lK;8L=Eb}p J.5%,YDaުrZǏ2Y-_(sē ٟ!A\#a!- Ф'WG@ؒrhebY90iҽEiV5*[u˱CR$z>cO"1b gI.` _?h%7ଢ଼]dv{*ey /H1?]^H+OLN+>iiа~xaFPEp?ki,(xx= FCZѫDC0S=IpFʧӱ~|QmQNٟw~dثQA] LYe{DB65 cjF]x+ns1/CflEM/.7;:ȻosF~`%8YzG~O1]P4<8'p_hڤ(Q/ݡU%|RL ] `VʗjP"y @w,[PX c V( / Ys`*ȵL"hȵA!M0O;Jkt u ND2N+: ĩגL'BǠ92ۮvBN9sŴ"x,kdQ&Sl7\l_#F`LŻKĆÅ9ϼ&zN`!w]s–_׫2aR dn@tԁ:HZr(|tqwp-ֽVuKa /%-e(DN@m'3>UjF {_'.E\6۾Wtϕj`_[ǔ2{ӎ41c 8c:UkaKjZNvH2ƟziIi dhi8I~I{4x(=0"8ϖN`TlFö\`&'qxak\&88}^n"Lλю:!9We#u`q~%%‚Kg1 Qx9u2[F5K&K%_6C cR ]NaOQh ʅ$ɧD8EkMÏkъf;t26iYzHG|ʰo (e;\?Z%c!\Q1.ֱa#z95(s5[?T:k];ׯ cZ&e2Mr  &2^גO :5c "=ys" Gʈ"{!ZXJ?G6jiKo8qKmg W T|Bi37ؙubCiRp1='pwzK H-/KQ$%B-5N>{7v $|!x:31`ى Q}rd \,[6q?)onXq(?`d 3gH@*ZphRmvV%K)21;3=y71A9|.9m _ 8κGFq+ Jρ0*oc}S_ *-sK 9tfDsJ18HsBy HIl;<bK2xIJs#w*iVze5 p{y;EW M˛ 4Ru__moikknn r2tUDaϾ|%Ml"8 ,6]ȐʛN;c{ǻOBrhG}5R\-tt nV?G]wLw(yI.  ,O`>3 r]XV1!*ZaȌ[CSһ9Rܮs:F)C8^(!TlM󺪽`Hͦ:|?u <أ~ XӐviXMkvyHChIΕ!1:ykoi,R!23~8u" Э_In[*L~8e7&G<03'3Vb ;S"[ڻ.6gբӒND>"!f :]C';"NۛlZRٴ(A >mB!Aŋ13,[Tæ9N^}ʞOg0 U8'*v>jLmFa'tgT浧t O\g%[ ZYFK%v5Degѭ?Ryj?O1W+lD,T8cY-(=Vxlw։u2%8?AQn#nT,~ؤ%[iIX[a"Sݙd&L)Ly-۸eR-d{٧Ul5kRH7?Qous({HZ VpZaQpO<,*y s5)9?DSp$Hw;B>P>ۛ0)sXdpEN,5S(قhp+d>Gɕ^s2ћ2e'KD EEj+1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ*1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id524)1W' tHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g q]Άxʆ5.f-9 rq=c!޳ y ̘ OCg& 0\z5( [ZP$ "@W#1]V>4=w`s|<]g;¥ᦩPTs|K;0hl/J_B_OWaKmvLWYšfC,gnd J1 fj qiQoS1e<3Fj0:w\U:58煄f\n2TSn<<ӺLh"/Ehۚee !4S邭 KCWd"tn 0O? ՘hk߫Il'> =fA߮JK\[9d5ñImnUH|1/6Z;k1s7/8yu?a;k|'V e;+\5@N0 yl AkH^>fzD;pVAH?y\C&@B|KWIAS*k[c@[zl1/l!*!),-:3<~ckJl=,ݒ&BaLKTE ݰ9 qbuӕ~S%;$"Hu \w+U@w")6sxdj1wA mV&fN2̍PЎb 5Rj\EOSs qG ˝e>\O~hX'k^:^BVC-gy0yr)N$L;3<7)&-ޣToL{M^W /(䉽PZZjE%;D&rr!P%yCLMOUY t(Uo)۾DsovwZQ_ܓ6cˏ;݌L(˹>F0oc뺬̰p2oށvPP1_jyՖamaTnK""Tr|Us,/22yH xv?8AmRgs qz@ZqY>0 gX-BivU$d @pw$f S%_>IC{Gt3u(߯krxOW=Q!ށ;%"ylWy}<; p ﯏bEYXle 'NGƻe*:b*sKltEOZ[Y!Uh(='})XH z)=ҨMqJ݃ISF(XĂRKVDtdvLW(+]kLYrm.Hi{޲01ebBXUe@,VVyaX[T-- }ՓNvf/QѲ2DYNVK# J^w>Odwodߓ%7-`P[zgW #a /gj5n+[قE czU-B6^3o'{}W5Z 4OŘޟ-"*?FrB\X7z#}27G~gpvs m@8΁c-"9:{ e(S~6P2tBÅsTS躭q1HD~$M08G#1sŠ=ٰ&"ui,#"*qFc_ }eNi;GJ nV Rř kNߒ9/K ,X.*-Xi6_ !! T sv |!j Wcc}DU}pz#Ys98΢EKy @X>GՁCֱs JƢ|J?I{pCktJ :UtMe\~ԥa ߬^65xTA5I _o #^pe ߣs_X)ӌ*Z_C:,h?襼 f١#8Wyy>fueyF22yGCma t>.\4P7`,@eKeԓ=Ɵ8O^gfq~)x#X3'\cB(kLjmz!ɐ€ t6J/$}-OK}PTjHPA<KgHBlSuk!sl8eH0P#~thg)fF'@\X7ĄPڨE!^)N=NFIl{@i'IF* `*b]ŨؤfcO{f}} ;A$կpq@i]9b&F~ 5a"c)ݕ@XGLIupb,lL jp<]eY̤=P7I.8aFx꺚&,`*4mj-پK0޼(Fa$h+8p=ߞ֕.fvduyjٮ:ƅ9Id3$ 8FkmOS9̠įg v4h8};lWU=>xד/LQQV!  tJ7llRNIjps 4֊DN&.i~.$p_~ڹۇ ,?xӜ(kWg,?V`XSr.Bĸ5 uWN$(2d=U!r7B7E˶=d;n:`upCHde{_|ՓM:[q mrM |09+ 7qCѮE=ź2)' 1C3$Aǣssά_:'~ ˲e[ڗa~3Ik5wʝsp왹?XMß)TlK1u]oݖۼ VX)AᝏX(K?Du8$CC{ acuiy1-]z퉌'si02l396DEԬ)fE 5wU }<\xc,q.{)$㞞3T}܎Ek[U0^gf}XVg?4[ &?g\릸AZ{vz/Nf+8wbr䑶1?D~J"V9sHßo#s@,V?{a`Uzl)QoTk!g&p3e1r* o Jk\"Ϥb{Bfݪ4$H/\fHۯt- riJ. N= ceHw{aTs"VޚeY-6ݥj|ƴpEw~:9^rp~\Hdn<ڧūb[dĮa=d#8Rݻpbސ W c13 <^,@kofYo|qR9rZa%YZ*n8- ȇ7),R~V)8ck+!i> ǐOS[9~Z+NohLŗʶMZ:NWM"ЇGWg[C4 )w:;ŷrBݗ1!K ]!MCT̓-j䓌9\oj!7anNR|F筑&~@̮86su+]ڹ6_9Xn*(Va 6'GHwco:JZaQs f[DW DLl yX8Se8+Qy[?.J_ +|{8K] &q5m+1{HP88ȆT2-vPSED3zVQDиa- (cFk=<~x]ACb& 4sc~YUE]n1 Ģ>?{i}V1OC{J-/?`Yx1=hbmݚnUBΓ6L#E 0])SzTT.$Oג`?jA]P,t1c4R$ŀ#vzўPCfP Nݕzz LOM5y2zk*-/2ޤhgA =uC44| s$*o_Ct6')SP ^V>í:-!fJ3R9? Yi݇ %mH{l)\$U{X1D 9¹ov`xxhpҧsf 7l02Av=|SK=S5*Fӳp y%gcsFozE1X*o g{PoQ^"Lj+ J>38'*hImP說$|aqybI&"Q u3ۮX8ЇC(dANJeZgL`TM BUuizE d=iRbL o>_q)|vޑ|\ +o-O+&0o8#6!?$:b%5*W]xY9;rP6duxB܇?1b8Rb+xdGt:._G&mc]M2higuB:(3gotT(MfMKyP`Sޙe̽t“%CwU L7ж|.2~$6`aNAvO^_THak%N]$'FUV\Z^=S)˃GpQd14nX $;"f. |EJv_MJgh&d$v=pH٣})mKHo$ip GVWqdIRl%RBeW; 6`1 E.؆,}}Nħ׵B ÉQ^Frƴ( Hf 078pprN hC|Plt5>VC>}ISt0eB艀sPT5OLgCD~˚߷ , %[ra,s_6e51K1mPѝ)ƃh3[`_+3\h5FPy&'Oz^I& 8&m|~H};a%v3iF76Eh9Pai1#N9ж_!AX4W0 g Er DeeP:nZ^f7_l2~ f=q0,mF3܍*Lf29Ii9`Z/fOI|~><y>W@UJ7%~,f=:Yqk ey=IR=ͭʽЯ5=m:>$'I5`$!1=Z9 a B"cSroW4Fcɀ26M#jT=,cUpD=JmZjY5)# v!TNC˖EUca)( VęHR~#)+wYLB57"h+hnl8{ɸ`Gዪ_= Cҝ}u! uUt^nMA1vhU0` œa̞xL5&Ey͆gE.lA@Ri;DA %th5PHej_%Ni+$%~ +,7@ nrh3Wf1fp쪅J*z񽁾ƣB] XkÀ&szZ:}W\p3tNR!?v]ziBYjxCh}iz>tDb(y9"#,lc;q./"ۋ|Uux\ME]U);45Y#+g]6p?;]-ȣVlUolQ$@s{&g.<2F}S :$%[3ؚ❑ Sx=ˊ9n9Jt>VbڰAmfn1]k3ug͵6&ưp5 *8Xn[[udKVvtu'@.} ;dEEʥ#qsen†4gvtPT,X:^ 0K<<|{g7 %DRHTUy i,&~PjO̼SxKBQ[O[̮-o;:#"Nl*բs :oGˡ(m: %Pp-̟'wQ!DeJ*Ֆeid<@u6yˎF~kC3<:]LtPL߇ǰFX5Q#5A,UG [1J_zFWg駵/GX4 :bt#p>ɶt4=hg4:{M}uj4.iu&N#Fg۪_ 1p6<`୘4`%lw$`ݓ[ه}~)u>v-* :~eO'h}$vl\ՍQhy;,7uѫ~AG 'АRnsgdn?)=: $t,E`3fqI05ټ*n ]} )j+A_I6;$+TOKƦ?.a;=U;rܭ ˑYZPUrI\,>Z -ᚨ X31C8jg x؞/)Y`Mg#q;~z>Թ{~ϸNukՇs$l4چOSͩRd-R8Č"ɣ}w"R?͂0lD2П/GU!G[lQ>,74 +^miWfYWolۨ2yrtus(J0OgYZ G )}G+01A# 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.] vhZ[d (:.ͦ01]ČmDٝ@.3Z"I :QXsf~C%ILΤwm5F n%}ҩ* $<3BU KMx!鮍 w4\hTO.tL搿sL޴Pn# I;}6bj /cM7@Xiv :PcPlM3֕ٷ[}uUql1x)2*=19s|!a (5mw+T7?T4VÊxK'PԈcnfx[fqA*]lXiUZ](p8; ^jB}yT>iCyǖrg&J.}Oȇϱ:؃f,ǽ鿯Rl߳B~&\ȿ/-;wz)IVs&jkExg^]C//H$@_wNrGs0KK+._8ްUX sY0""CsgI"޿8`W@9WD&kh2!snt*Y'\V @ 4D1ʀ%֩YpN{dҢ9o] q)y-$o,P,ɝ/]zSb/1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF.1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id536e-1I' LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (]]D?7 {?:fH\yi,T=t,Ef<ݶ& ,˴8&~\mH|yc&%g99廴k:d6#梢=)?@]^@|Cu#T'+$o؍cv$$S92GgA96Cy u;8kJLܙpMN| ワFP\TTP7MƝw2OF0>L?)`cDjPS*'M!R_ɵ;d iLz9FO_,j|ݷs -/dcyJkQVdX{?q؋zh[Az'ӊ qoDm[Z<Ғ?<,b-U)lbttJ Oo* T^o͸=fI^@F9ohv5&^LSIM9'Dx<#i{7=M޽DMTZJ/өJpUj Kb *JES_]y `VP [[>1P$X˱#iqvl1C_<_} #^KQvcOn sMQ{=gYZ`, 1I# DHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%[]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rm^y4J.p$i*{9~` M~둊y.Kn3m_:IMyj[-qBnNͻRdF| WV`V-#${O#SP嚡}lϐSjR;lP\Q:=QdE72_.$wCө>p?F8D\ܖ%6t￰c%+fc pG Am"h2O =Un]m ) )3vIMPAשnSzhMs;"[\*xefٞ*VWo֪Hmȥof'aFDqQ}Ot(F/ca*Ӹ] cfNNa?f.Mft1 "bFC*} Z˺ P Qpu?ꮪ p#b wG̯$ME AG$^!Ay %_ԏo.3*țzx"PTP$ʉ(gX ={Ln)?'ja'c,C6)PrGK ]=sP 1)Ԯ򌡠RAY'{W G㽨-1L|dX[{@[sPX\SD{,TI>KRf9ĻPRurp+}XBWV24|jD'!O-%=XK{H&~-n rG 6j8ݍ9%%Rbu;1K7JR]dʗ嶶pGɼѯDV$ͱBX%w8_"-3_9C #0!KvIFCPdTJs)C\TLyf)3A#Rd-NJv&H GIG-sD6Px?uQRXRK`d^k9λ`qm6FDBeyŚT_] 8}M}:0\ȴgRxO,赙1A$ђ TP*GqM!h6^X=?Ar|_ЈN(NOsL-y)x`y?\iw=F}ʰ.Bjo9M3|$Uνum<0h4&Sw1)N917ں pH;ْQZֳJi|V=h7)0\(Q^瓨,o&'tZ6mo HE*ƞ15r9a@/zMR^(|gd RoC J }!#(+͜X@nw\Lzx]-kT /k{:t`zx=>kEl{޷]<:3lOFwhN (qC>z)63XHܞȘGCEmӶM}b8MFe){qUZfprTʜITCh)*m7CUv6Bq2b> 5Td z'4YGΥsFk_k.3ĀL x  4/Hg 3f<قWđؓFw]靈:f :oU.r@74ے+`"1#VTY:)Yf/|rTb ]g+Yx ܗBv``10O\(ZūuANB!T5 prm'h. tDBOq@nPUUpI=2CJǃߦ:N5Mcm`T󳗿Fd w0L%Ϸ{Z]^hĦ)w )W4pq)E+7vlhN`|yaY&v(l͙3ʍcWZvc[}$zl^1jن 4V8q^gH-3me}܄)Ը]T7yF$Bݺ$\sX*'nf8ߎ.Ȓ ]wT|-G؞}RLwut Azԍf:xy #;Ck;;Fێ!1Ća$WFߍd3کq=E(zTx-rOc"M#-Vw)5Cr BQAƞT钓 Py.u Iw}rg qz`MhGYKabA+:.<ӑ bNBL(8þh]D&fE2sx&24Y8frd%׃찞Iv.e bK꧒k`F8~;z?[J/Sɸ U΢BFޯuus_V>/8ɦ~(Wm=Wf OV: $& Ǯ;)I)m-Ӧ鲡FԈuuxG=0^e G~eaR(E:_1 _-0UCb2zQ5 SzGу*;ݑ@Q J1|ϳ\XJͰO%ܜ.$s<N)u=lehҳ36飠j.lġk4иlT3ɝ]|b3b9.b]FndQQ$tXJIARɄvtD[!L1{7FsS6Ѻh*h=訖S@3(_SU]đdBR_h ՘z5,rTkơ$1mΆt]@tr"Q7LEjlA3y kjok~0{ljTñ&>a0jPES?C4P}OGf鲦a 4|:3iFgNF:EhQfшs r7COC`4`S&ҁE-&E< mmbhY%{=m>is{ՀJZ,)+z×$ᄶ ~.,`ZhI{t4.3 iHh&rߍz螌  5qHŖ (8i Бhcm[.7j~CA|,e Z_䡞vҵzC7%9H~n!_n 8cH>d:3T]*{LQ'PRW<Պ| 4p,>LJ'Dg*g>bෙ$2&^wĴn( "@Eq6 сX ߡ\9w,$ҳ!x:Q\9 1"XDJ+wMb`3w#?rⵦ4֋YC<2ơt\=g8Qn%$X& 9%`!)/ZZγCE,(N Bo`jJ#|,ۺ]=DTS^,⟏>dH$Q'eE&\W~`j#[\.t_:<&ٔ04qp >L^ep[&wu/גɿPL3aNrN4RZ_.m"7o|k{U]wI_9'Gt!@ ^y+eW[Z,$:C(HF ;PDǧ>,.ʡstG)Ά_]6F]2ZKz#29aib{OE rT]H>`mkU˄й+3zHmf0Y #2g`AE%`?HwW-Y8E?6xkmCw/`¿L7f汍_"aB(As3՛ؙs <"ȈeO3GMpwq= Pi(8.SMr펵R'HŰ4z^^Lة5qgW8a򙄒F&0T9Jw9f,8/mv<q9߃`V JHxv8IT8GEVɺQ%G̬u7jKϟO)p_*s>RpvH5IN5b먔 #5?nZm_I݇%B{ m,뭊2&9VDMJ.8?p w&O3R/}T+'u^íhσq8Z_\ns]>;ƶJԀ2a۞0,1g׈6Enr":%7mUfGI PrwUd"UsըD^(vv*zԨqax!Y[ g+2úg>Nt dM.|^+H96)K+׫|8̼k̎=jlQ7Igzbp"Ɯo X9CTKEꃺ?6]F:P0=(zY:K,ևq&1'Gr4Kl?kܲw>K5T$6/Υ~ ? ONqQR4\sƗI25w TU@k(eA:KwBE eCGY4?c=Ί,s1eP\Ų ƃ)t|_ *S縢_sGgl 6<D.7Xev~F Vtsn p(هpIXn8׿26@5mۀ.SLĦ7_C{,2_o +4ٕ;1(;%9oj!$Qi=^!(.c0 ^tZGms0Ϲ {s7og]=ݪzSCPpQuTx  *[uvL͟6\7;r}08֕ka@$.[jQ.~) zX߄A+qw.윪C0~p/{/"$ˀwMN*[ǔ6Tq,1*<4WPK}P9c2y ViHf6H_.y]~J8眅X͞ C.ߗ-GQʙ&SLJxTd55̗y!gO)SPZxٽp;KΡ Z9noސ4DȄ=LZ8-čLU2!aZV[C̮wh]8vSp!Ilnv!XVJNoU^}sT.D(g !_m$yҭv R@kS \QxJ?H1 ֗gF*?f"zB{_s5b4^y`tHcCtj+Q,cB4Yu^]z}vbV^w+*k}<*=ՔWbQxm|>ZMc.z<;w;.:'Ҏc߁CzZ*[ԲDpו ] D +GWd<]VIP-P2N%q5c0ƃ:ywAt77[gYZ  R b  k81;' ծA W? r@ E|GqMxh]rCei5jk?G)M#EoήM:fLhDmk%K밤 쟷">f0RIwꪓT{܁" ;/؏ug8M0rEԚ8h\;%,o9p;G) y#L^1>5Q<-&`" /[M%BIik[qolS LлgYZE7 1;# HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-@}H^ZgNr},b(b ,{ tk(hhw>Cmד,- d:ZWGAqѵ# M2JkysL+YX[=\ Tc(;1u_AYuWM%rd2uWYՔ<G?_>$7jiv£ ^KQ$d6:,~OilP2=H WG̀2m6'fREl||?N/chqj~PęJcE=)gxg.6Pݮhǀq  GGE8XwZS21t0Ul|az ~y] #XBJ1xջZ>G:_3Ո;[˴R7^C}$&uX}l*@zG8: '`9BLDҺ# 1Jȳyv\dBo.]YA3o09Gf)]46p\o X뼫2't5a +s())/ CflrZ8~~`{ hSgJZ Q;UPMY%tC ϛyW.AZ\ⵙۂnRq^нFa\-˿w<H4T6rh7c? ]~IdS|yFv je#Ka#%:(9?^S2 ; y-SYo[>Uv=O2©~LoYl6 8 :f0Ao1, #.Hrh}Дv(VA#ΤLDyΉ:gUh\ {vZK?֯l3.t cv?h] Tf+Dt)!33rYFM fQ2kw}$cc>(ﹿ3ɥ,XV|E(kR_uW<XvWft  JgtS}.Cߵ T h7R"1kA%&ZR "1d <%r.²WpOnzf0Ԥ].胄*.ƲɕEBPeF; /~MM[3$6uWsD}M4 ZSÜ,0U]$$_? BOqX-?V#0w(r%6\R-F^V 0zJWGު)_P6  +G? 7.Cl}x *xW]WiU$<WkxCͫ=YqV8LHu`J/3OPщ޲b́6=}Tp7YUkG_ӵԾF=kLU_.x٧P.hpW\61;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC51;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id528I41M# HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~؍隣߃N,ʜSnZ7ԖߤY+z-X r!\іQFڞp-~@ HgumWDySYsC16w})gL꾲2 ^A2f ;4x03$3EaK5C ܯ"GVn31M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL21M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id532a11A' LHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! '_]·Iq n[:|&[zº|tE[t'WUG|tظ@ ^KV[{!"0'O~($Bz듁TXi;N"FE7l1׉]qgry]"$qH (*(Χ9⓮8e` ^YWMV~šw], PV1 }eqx6ۃt矱 u%V^QTlǧrZl8r媄D9kœn;-Vռ~'帽_ F<PFPecugH&*WLm+.2)Sgx|#ɉ(geT1d)^j.Y[$M@>&bbe:u.߳sbj1 Ͱ c@W)Pٮ}ӈn;S빭 Nqn4UbKROqIWFNYS 0̋@O (hM%@fKfnUPŠ 8h6!qk+ bVϓGT֡':8$y)!" =Q8x'('Ɠ +''c4l^ל'. GU {+ʡ}oHGzaVH.Z9+2häGp>QDŻi<e\I_qXLY_t cH3%)ѽLD0d:h'Ł 'yLd6gRڧ] ^0?ziW$gDRbTqwCgX>^,$ӟ#T6hY^PX 6ìmUg$'$PG\4 E3W1zZWYjq7y//-M,XL!Ö-ފ\%A ֟31wFa if ~;'*rAQ U@ r҈Qa.·#0: QBvl*g"G۫sd1 =qXEz>gj3_jU`u1Ӄj>ݎ}P+#|C]"Jܡv8\R5]|@qtwՀnrr"{'ȡiWI;'-b@Qy|Eݩ6/MwC#0LAKȯB._܁Mqds5ЧT tӢ?=$zIVu+S a, ?ތ6Fms@ y8f 3Ӱ0ݢ#+*p  (nKSLbnl=wH}|޸g:E[#ԈpFW q<'dpt0ƪ mDA-[rձq"8Z~aRUWyR&xX [Lxӽg {YO;gfU$5M~y$^V\C}:ݩHc4-cid`% 2O[y͊o7)6Lܥw3J8apڈ3,FskٮUq( NX]{ u!KlU+~ mPzYn7 dD0F)57nv' <ΥHrkA8m}^ONnj`(0U1[5}x=Ep1? ,stJ8-9C$fn$lI :>G|*^\R_&A%6㩉mţCxo?Ys/[w_g N])ȴd+6|FoD3/W%=ЉNGl1Qrp ÊIz+2v$Ry)v3:jcphZ|Eqv"BÂ]Vu?">dc#:6B }0ڮVUn\rm"9K["Qt D쿒l+~p-^i[8il֏UUco2g7ciIL H\6xa[5, I@˦޴VTٷFk}K@rҟ>{9Z(? o&$P"i9b,%),|Нg'`b0˽wB'l_I 9<(D 1C&kT S̎=}*$k!o!:0/_4,H4Y/]~zq퍲|KlJRJ`lZam3GdS@{?7Ha$z?1*q_35Mq#0ޒ|R3+ R4z ]|漾QUVYZn-qXdoظqeV3sRG| `f#ζ;W <,sΒ/n,`9grO8358]x9 (̮ۜS9:~-6y!eoZaՓjqDqPx! @= a#RV/pe#O2ZAV GZ xtFfFmS>Єw wTz+;!<_bU"(pg er!ZasaqɾfrлAATV@<1EݕGS5j&ST7}b-1}^̱3u6u>pJK0L7Q@jD[nR͍`UyPFM|~斧ZY I#\ڙ5Zazs.$,;షGQg7Q~56ƪO>FS'H)5 }Ov`nC?@h}|"Z%G ܆a=3{0Gf0cMj };QG y:+E~Iu\";@L) xepgYZX:Ƶ֧ӭ`v, ޖ~Xg)78k?`}̠r{c$M{~v)n J_U/ X4|A`ލARS&+y`λUs~v\(1Pf@_D?򼫼]vEfa99kb z?zCt)aM1˩~ܫG?n6'AKFRN_d눇xkHd.a55YxXv+~Ƈ܎ zv eZ TO,UI@BJn>ri43Q #5(.Xxj9HrQwYE`Y~ɻ#  ߴͷֶFN&D.ٌUW+f WpP{-&0aYb^qUݏikbtAƾv=T*%Y.2!P\C[!(JHsY#q`j3aZt#ƕF3jwSQ~I1d}q%|X  '"DIQa]\x_O4?o3 5d>X7f-5a.Ln|55#'J[MIډ9\ ->5:OVec]+V+0< ʏ=@jq2rs]HI${ LTbunR/ amT%XJ/9(I&Qdj}cluFo/Ny1ZP ^]*Q)溸Т5\#\cd$nU9[)X>pAVq's(uJ=,HAU\r\ZF`jۗ,.l/Ȥpj1\#ߑP-K}_@'@ip%ymx 鷺&o{-_*p_cqc`Ņ?.A4JEF֓d&"1K.=oG;"L.Kowj66=<qZ| SFGٛZlq>(ي{Lj5Aɹ&a31)f<4|"bu*EqGds{R6X8}^6L ߯8ח2/nWg٧٧×$xn9.i}ДmКu5C"U )AGC]IrEtusmG2,,F&S`# 'W]74lDWT_"jO3krd&{&`)rv%8_gdSNp^(,KPWӫ==F#F[ѡu4IK~ i妜}IR|`v 2}ysJJ 뽶J[5iR|/v:ta+(W g`Y+Z [+mL,ĕx&+ZȠeq_B}h4b{P8Ww>Fafa`Z19|97PS ܣuG\e<#<"3G3t}n V#հܡpi;KLFGQq װS#Mڭ} *d-[h*+ΐ$=|m(eWZemԟ<&FX S 7(y!NEgj{DaҒ/_w0,+ڄE&hLxVL/1Y" L-`% "еMDC-*6p/Ki-j&~"YMy?-M9̯8 {\Rbvk!3 GLp\6CxR¾-t}Ii̩OO;E=ν!i|1(BI}zP4?V% aLKHA(Dda0FI;uJs=<x:\!D]9uʩ[kxHN+PQMYp315_3gUl}AغG d=a " Y&F-QI]݀aNQu*[4 fFdl!Z !~nBThZM)kvKtrO΅p吴7+5:,'kB79W%wΎJX'\Cev ǞIY5fnDKE7{.}x5!D)֎Fz{cyd&M.Y0 4*QP /BOׯ(qCy)n敂Gu?_9ulO.Ĵ3 ]KP}D̖w-Dؠh6*f9&u"뭉r٘9M,-̓ zT'R w8tRvDһs. +9ۇSIIb7  ۸v9@K4*f$YZ̊ϟO&IR!ʱ!D7p>[Z)ѐ$ WH4㘯&gj-%aRd; .%g3H?7!A}92\ҷ Ϙ.)ştU}C+ (PLIߚ8Y5%I/aL{]%塪j-*E{B3<ԆԖe|N)n ^  sQwlk j!nm:3ܻ\q9cX7=R뛒TWGxqCZ[^زjQ6"*%6Siv`3v@ȧ|w?X`k'ʾu<#x08`AP T#Oh8CKA? Z`wv]-|RRI>*E+f{9杦QyN.e=ף !(졠#N;k,eI Dd>y$ȏËOul SV lA&\I\F|bғ Q-pd9ß>-+X4ʌRyߣҚFs}n_*$4`KLW*1  O%S 25̰[Wg W^Q,΍eA\8o>mfŪF6X$4 ]>8)|> hH?[ al)Qͯ1ř]X#RF<ق]R#'">K J~b\I#){:C/\6~#EgwjW|8农wTDP-.!G/VyR jƯ'F{aK$.Ts?0twɬ] jrb*8|IWb_z9AvaT3nN,a,;5ɨͅ-22x;V̩} |/P5RQ0FhC@3+*?'d*bҀKb_}OzHGoR[}\NO`%Lta:ș)- L/,r[V Ovp%Nc,&-b Yf~Ùd˧&Cw ]o jp90J__,t6#n7XB0ӣ]J}H*[ iH3p`d?00YZ+WЀEvm?Ɏ^aΫau%5-+k\d u( IBca<1ٿC[Ƞܑ(t؀yIs˸ú̜bu`R]1c9E4لק#ؐ8˙eNIJi욏\t3 h %s$]-;mR&~PX˴h7GKov$ ju8sQՙRүJ hdL# `+R IjZy+K55|4~> JҁHXxn꽨6Dзi/TTszR(@/"(hS=]xZ48\ dozNq2?.^ĸaTm:Z}ZDB%tX\H߲OzTŝEbZ @;4o)]•ĚOz6Xz'vMh5W Vm!ӟ[ 3`f,lH n9'61F=6SW92紆aH0b:+]>ufV"Gn#k\ֲ?Wh aǧ&&TQ4f^;ck+htc1>-fT|}+>h,=5)O׽79MqH$>nu65݌XFOfBڌYRV EA`!zbކf\+'` eKv ~\MBwHAq-Ws.0Iw^m̈e̘9z=~ߺ!LMEBf${<'?\cXӬ'~j"GŶ(|yI\rӽi"0Z[aFKJYPIQ bhyp#bW !>)pny^}%O?ȉ-xm Y1zc3Jw$g3YqD61.nҊ8=OE<}K'MY} X,StQipCK*g|CYMb۬'ꅮ6>$2yۊ&=5m$s_l= Jur{㵔a%r~ @r?PƏzXYJE9 Xuˆ#3Zc2pvD[* }}/M/:\P"iD)*O QNUf#!ސ#h0I22B d?L#<"Gn L~ret2]oySojV(tIɢ 2s1 K5"Mګub,];TxlIK NN("m/Z}0ͧ D©ۈtfnr;5e:||DTRy$3(W=Na9 _ٵMWz\,͉3A'BH9 +F{JojPk*H5b~aE+m:޴EIXc;T4;^V9!bL C="|x<אAM+egYZDП|R9N f Cz>iSwLJbJ\j 8y:-[N3,-||$) )4/-}ϥ]rgP`RG[y5cZ@GRd^MT;JA'V).cֈk19@+(S=|q:--1QfhZ{?f.Y(;.ރIj3Y:iXؙ%5(gC{6r%4XF|"[câOoe09M=wGU\Z;ٟD}Y猥f@{%Ew1m3UjA.N0Ir;ca1ݏ٦q'j;֮UYB {5iž$^y[:&}cn4z"omejĞU͇Tf/d7ioW+Tԧ7}hr.!/].Symɘ. $pAzxn}O;Iدu"Q\?vSKY c_[Ai]Ť"_e=@($܉ HTB0%5qPo{842BNsGbblz#9|Ht5ŦȆ -2EB Xr>49zZ5~4UEȃ+,d5N\ nH~}I` \߿R Ůo$Ü$+ hs#:~أLGp;;ŔwPovɧ"E{n]=8 td.j|\n`R䡑-@hª(}rU Q-˜\m}rKvфsKYLCYfy?es<&YZD#fV|^)W\ЀC%5/v|{DUt yܡkRX[yk/iTLJ5Eط sCBB;C,> .E\< y5` w$tD"MHCLoU]JsN{s _6/ ,Nd{Hj)}^QF)` #aZ!-8L?b+貓Y*Ruc4QQ4 '&BjGȐM]ܢqrAnWM3^|khmeY˜k袶n ]uWJSi'[1aniCF/|921dtgYZ7zXZִF! c]ŗXi%\.FXMN|hD^GCfCԋ FizRz5rec󯙝-]<]=E*A /-T%3 AD]ݶ!zWZ;?e@otO^55|ܤޮuxR@ k8FWc@ l,?3ʻWVfRwO]+VӿYF??!.7'xv겥pn2Y.(,EzNjc*֑jܯVXV?^ =*X#)k6ӏ̫د)P`UǯQR{"E Xu4$wU5&Tj]w[ 9fgDӺIG2"2\7O# -C> ӭHszs[0 &4~9>SW:h%y}k^@MSZ \v,Yޜ3օ(-*FHj7-H\H"u#["3tJA>#&Ly+B!L|khy/ y~yU0}B`Lܜh9.%`sa4MyFyFK/(ggOgd#WCF;yuB`4s/y?[DNG$HɎ>v>tX(Zs9 f|LqF` #logF$ Ͽ7!"Q@aݙkQzJbUtq)ioe7_G"$fr}J #a,4C dTfѥ§~W4XȥG F\ּW[w(1!v͜tOx(^ĽE%ACt! 64B%i=h&ؖA6V:l seMegC2]cz9=+>iZչ-|e.C$$Qgc'v/EMxSKdѷ {OG+MywK(("B`XEh o7YjXز(;9q*V{a, kda2:`uBf6z> JI5źy.OKsl/,FbMG?4XX@8w{gJ2%of>_d۹1mc,5zK!<'@HIpy2PL%>w?ZZ♣vc DFAjNßim98c5K EEuxA[:e=*42O=Q=Nud)JoȌ9n-q܁:1W,(a@G/1 ڵW؋.w ^U5`ŜU8UY\A"@to@6%݁GI>N8d'ήm#qܿV;8x,v*a+/ϳǂ'4]O1}oS|2WeZIWSS{口9õ$iSȵ$< K;t;Zs;KQ JSV֪5>siҎK$)300xG߉X5$n`r!|2u \l.[`sT&ܚƧy FLO| 7ڙۦlz1p3~9}dZUJWR]C M*g>1kqptv-т 6  p2 |oh] c? %yTvǕvVgipf*ۥ&=uiANQ1 ګ+ <6'{ bȉ᜶߅iP=xZ mؙ E>6k1F l^k_U7 dr8-rm9;SN6o,$gSkƱJb *I]h@&yҽF1;b(S +['Dc}l5'A꺩,{0e\Yo}[&gYZ6b5f14ccf3f49f26d4539cd4456a26c280a48516345ae181c538e4194d592676e06efaf9bde7d260 419c2b8ad3cf3be96922e0b34d91da2c6de0eb9b e394185f15307ff36f612824af64dd26d585bb07