SQLite format 3@ S.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  \1t |d ] HOL-Metis_Examples:threads=6elapsed=16.937cpu=66.024gc=7.3727zXZִF! ^!@]ŗXiɟ{::>Ѹ.>fXJeaS-ZxԻ}j|xa!Z[gD ybuEՌA2*Fs Ϋ Z鴊-wV{AAհWPpLW1{K($6ADˁ6JtWZ&3hjF 6#HP˭nK5g hLOe}VA5ur'Įob)Md|(|^*KYCvS,eybL]!6}<>6^qb!Ud-CT4W&j+Ƌƨw*^q^X#;Ɛ_du,m5HC$J;bWR-rS 1 HOL-Metis_ExamplesK1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻RJ5H2E+C(B%:"70%!       8 d  > ` I  j >%^*F` 'lyLi, 3s. >1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id.<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages-:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup,91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files+?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id$?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages#=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup"<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files!B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.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 s 1WK 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex7zXZִF! Wx7R]A-MՋhvG"uIBm5̛֑ 0I8M\:{V5f43%]D[S^EhQG`U)" 6H@xp׼ρSg8Rg*lu+]b_;8zV#sq̊N8ϜKY>^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!AB1OC 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)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+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ ))_1W% 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! T]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxueߜ쎙 &pkU3ԗ$O"8WZa,u/fJoaA( Ѿ@xl ޗPP ,'Xa"DlJVkhrw7d$ffSӨ2!Aְn@#'EAQ͎^Il VM$GSுv\lMzuxRz(3[j"B{')NmT,4Z7[{wPL,-Gߢ%A-ۍR U^BLۑ6eݨEpH|M{`A逴%|Kw>ّctan&=[ÉDh"dh`_Ó_Vtܚr׿2DG.$88=ܷ=8]s_v!g3rq:N !0SOsi0kՈZiTTRY<MXcѽI8}6ME}h!vuBDfDq˜Ѯo@!<9P.*C@XXﰣ` Ch'C:W -7U4WW]ͱTt+zDg4H,*O ~"N8rnVICQ -N}3*Bi3퉙Qdg̱U1OϦC[j+Wh33d .[3!p) hn2UcVn仁8xJPQk_#\U` L C48&>'8m!iH=, +w ,Vv6%!mm:l8stgt]ߺ9?~ɝ s*_c5j慥++<@ )Lre%{Ox dkYA 3B`h{g`cVc&1YV EnS3c)Bsˡgӭr%/Yܞx90C]׫pPLrv:F [򌊌"M.Pb_[Pqe ),M[I6<g}k?+\JhaO=@[oi\4?_gJ) CqPc.^fX$ڧr XI,a;~DLvM;;yɫFZbsO* [",6Mf+ff q1r>KBrxx1)_q!hyd;&Ⴧub|c;<ﵞ"Ig٨-,9B5w) Fʥ  _Q t&^  ~B- "5Ȱ,\)B#@k*A0r"͍-e;B#G&$cD`lt* PX @]8_zjchG7*@i~N`Z2})'""Ql~[Ix%^ 1R-0k\GtW}ۨF>\)H-;22SkŇqM?ʹ(|aD"jyNbҽA[R̴g򀎟;*\|.Έ/(1{ -ZlUT>ѳ_" .PaJQO: IPg35Pt}2MaZo4}{))Iܩcoi$!?VXqc:('Zi!6x.ŪT+w,:,ˮsЖG~7X..0DSo"O71ցw1ǟԚS,dhFiטXw\䛼 UhIOPãvRUXC":2|jk ʧ{&JÁ< z GZO$FTDΡОORFo7奌1U06BmY8HdTgnF)V R7Q $#̤ t\Q?2_aixѺ_z$LrU[1 }}9*-bXTsSiڔ ÛZ.}m/k.r2Zׁ>se<7_r ĉaLNzCpش|>l>r 3 ~dNVi5:_ֱ.waO]N[l,Kl60gx]U-˴M㉀JD\eТgp#PVx,$9x8$oc%hϡxY# ȳV`=iv P5.Z•( Nq:>#v8BfekU=֮Wsㄳ8+Eun1gK>oZ%$]?&9,#O囑TA,];,WF^^NCJVi~dSR.zp3pεDx"xu;42v )^QQX7WSHqlQ#X{n Hq *&eR\8QZf_a[r7_ۍdPy>4 *D^=.[VZpel~/-DJazmWb/-L9Md?X5`E,Cs 3 NjT,z#\{R)푴dKB FE5 ?8_b!fP:#mC5c//\I 7oZ/M7Rkך dDiW9R r{E۶{5+94yͽB;\Z#ԍa5_+h\KPِJO t,(6oZ#m1wEj y2ۘLYۅWl\TRF`w j xznM2ۣ9%w6%&S($. "4zdO{a!d u8=i0 Rx&f oԁdUeoDZjY6ƫ壃l۾uks`0%`Tz)2a FwQZ%DlTЇ Nr +bp!!͎kc5}{8ĝ6ׂ&=Ps*4%&=~VvK@u2/2{xD(0^5\LpJOm&>Ju2:}r.jT}4Ɨ|5MQ*ӾQmqUᅡi EuDQЭhsA5/]v]yzؗob{B蓃QvhIw'28ChPڝlo!ZX0v 7C[j-S=«E_մ]?kf|"~TҺ[h6@DB7 Ou2#C z' 1辂 w~TA+F y@b_n/$)*ꐁm/u pblePLju _/.}_\pM}:; q A%}#@I"cM{q50JMn&|䵦g*:x蚮u+>Zr.q n&e_myA^0^ΗQv6fԢg2V{cH_7ҖBQ /U @15T͌S $ګ+#<٭k'J* Hv0EJrAZnom̔P8|heS K =C+\ T7$=zȹ*e 𐱮-]k ?e֯^:ȋqׅH_0 gUG- 7nPی=WY2/b|-y=q ^\b«3veWCHO*IЖ/s]ED\Fc鱁 0dt;5\<5,( ܯNŋj9Yλ)gofW7P7[=l)ANo:PceNZ-6$[4d}c ],cZ&"N҂Q"0ѽƆ ZYi ײ_ύ2Zu0 -6vBg[U;+RFLc@e kef>CW"n+n[#~]C^N-ZC~CuUɔ H8;na "G*9'M Oq b@>HF=qe(>X Tqli;QMgs* h/Q@]]gHSGbN2:a\Xd4 L 0L/|YClWJf^[~-7żvrِrT an-RR w:<,*jw{ ;LFtS2+Mu5)cȘ31,무vOqg/!ґ*^"F4|+%" r ?Go+U!+Ko`:'>V:kD8᫼.Ъ͡"dM5TF_ܛ2m"$6rZYߤ{^r*rF_|w?b+܋,cwOaLer<@Vu뙳&^"Ν%_&@}byy2j2 Aح#vR%":v MSOL}j/MKT?J y:ax4*vJƇQ1NCYe#-ܔ݅2j[m. ̠G5h?ʸu ?6#\?HtE㬂R|jEjnm Ŋkp#FN/`Ջx8K-V΍Hs*(E?( l;I !ը; l妕U۬?津l=|sZkTꐵ,ݺ\͝*qycf }7=` y=~c妗`ĔX $ ={1mV?WytJ|ak-u7EJzG %)7EVnSzublޘI!t($.kۑY ąFF BnP{%@JCZ]q/fVo$k~N Fxэ=[RUƔޙhom(FQ!ЫPr0B{T!3aXU\Cv.8= H. OduK ";\c;, +u\sN 2H&(p7S{aiUF}Yz*(Ygw*yˆd)_34':MHT#]a$"cWce-7 c$<MQra9YraO /OٺKUx;!v Z 8Ѵ6feXv8⮿bw|3m][Mv0QaP!1Ц"֯lhOrCA! 9yXG֤W̺{^ӌYeU4~n į;r+gӷs` (BG!A=q$%ԕLvgv 6qkmI9D]#(J0sO˔K^.u.=܌"S}ROd%!{M@Hk{,f/r;O1"/n$r;4X(Mf r7߻QйcEUh>gEyE4yl(>~z9`|)yl-#6$M4vS 3ܞȷ4Yt\F_軙;@9_%ZxHuJv%X. ?*֐8 AK9Cu 0VR{CJv/G4 7E_j=hC1^ Fd9&-AҜWKM2L >iz ϪAB'O[j$O>?[hhLۀ5^٢ni yp` w)=`uaK p()!(-+ȵp-C\DA-GmrR7ׂݬݧ>S ׮(y\ot1m:`CHɇfu#hO4|Wg@hRk'y9ͲE%ڗSm2;r}4a&Tw-Iny3% b\|?+u!K.W .TL fvz?e|Oؼ;-?  @|°fe͙C*֨ =Ab9`gYfsMX戹C 9 )JaGa+HqZ&[Zwy}  ub[LVt+K|P\-?rpY26_퉦X˱9%8wm/CD1FA7Ig %cJ2 #fo~2WUՆvj0O u-Grt&ze͚}^|(vmcP$c4zUd_ y''$ƊzY- HCq\!¯3,Oh@1>}'Ά:_g9vj~g<ގж4vމ^@0pDR'-(iœƘ2U!cR[স$,NoG"0Z\"($Ks݀5/`DqWe%=ex;oKڠY7ۂE~6p=8A^J˝/I7F>?_׉E{ Mޤп/KYk\=t WE"1˃!Sɟ=TnxIy7|PNsO៮xQ,hoQ3aadZBrYZYh.; ʷ)'[ E.v{^I"$NqSP A>0d^`!_oy [8<K3O=^PV/O"Xϙ)9zBO7ejVY#H|#ry>|ϓ*e4K8=N<rjDQn +S h³' SK9(ʱ?M6xw "P<}xޭ)ʖY=BcobW@k/L_o]#Avݴ  Si~pSs7/FCX59EiZy; {fTjJm3AuNM~+z(~"ԜN5mϧa0"K4#fFYx 7nԾ򤜝Q(2tP7*wkB+mv1뛱b Qmk" OESN- JK ^HTҡut`JpU-MYҷ6>)=f&P;C%CҺx}(SbAE& )6<~컙LQ1 e l:t+)19zWg!>?EC 4}.暣BNl&:f mb{USb?#[.8*2KyzҼ폯E9ҝo٢/ 7ON#3!;j[a/a} ȉ<4/F }߲ S*ԅ6@}6RC" 2t-"yt.J QpܷOip]9xY,,yE;[UPJOgŀ7xiȰiI{wG1:L(Xsa'GzI $ ֧6s:NWkBepo x_(-CV{6v3A PMnĤ|aܯiL<|og~vRbq\GlH:V\V?^;IGRZ"j^xĤZ Q}ӎ[;*94`}pL>6|1tryK1Nh:0PY~u1Cl;??+Nk`bp]Ҝ䰐t:~fxVH=#tCG $\ vo ٝtj!Z XdAt&:>RuB/XY-'[yKUgdM>x`ĪwP_@|b$$gu5nl벨14OK^wI۝H~2jOO\~aDv>uo@,[w吖"pw۸'Ptq2Fqnqg0~yʘ^mS woY ^Jkq#BQ,'Bk\;+VPc*$gb\ &&"=iU@VA$%t!r.3gs|8bSwNT D0{QkLĹNVс-Ʊʒthʌ,mYD~օ$.ѿhꂋ}u-t8уЄ˜6muI!Q ~ZR@axGs~M1X4xbJƞܡQbIbC?Y0-D.'Ю*xw$Ԝ_3&1*XZrN>󥨔Bp\T[m"\Ɍ0,L}qJ<(N" պ*T;DQi3Zԇ߾h=QO3aLQ Uv? hOhԵ}Nfp,ՎR<>V7c [9xMG=Z ۱q[`:9x9`,9>cB959NspbȤk#t`hӄe٧ 0|;b}HMǨk}Oj[E~==33{} qe~c80'ϴe7Fe? .2svTBUDŽϳHVo⁞H/2}k@:3Tq>l%C__lK[M5 Obǒ}6=:ĈJQxjG[21{Y3P'NX~u,aMy6[9i]uADG7Hi&跇nq>`ی}Ph,LġOw]6v ay=N<81C tQr0}$w30;T%^ W$RARFC),RvٸQ t i!Ovg$Z6C[x[ַab` :%F"wmY$p"wm`HC!_+P੗*s 09?UW눣QT=}D5H4TόyXbcdT5kyE>VX`! hu6}PsnPobmr:N{:g RD4Ǹш!&Vei2OrzZWlXڔcKoxKٱg7 g]1gZAߴ ,r .~?,F4BZg̀Na5N'U1Ҿ smXUD9xkݛ?l 4(@U@zpϛf+0>JY20-ZÈ㮗zUn}-FUɌ-n5b(V=.v'ݕw!k8Rtz;ȩ! W_jHeDՉzk7.BcTʨ6uي${lK2~iX䈠]p4f͕{IЦ lsk%ŵXL&1@3&ohNT.p╧`}Z+ۏpL:/' 8a_Ŗ qݒ>҂7НNд$Le ?|jcCaPҌg"}g P\I׶3CZK m{νՅI_CpI+2t~ &2ެO#~m]9AK"dBGv^o" W^-z }S6-UwEcrr %bΚIɳh`6cIv4NTCBm0e:|=t廜 +6b//xzSpSu'?POǚ 6`hs@B)s+5 ȄL{8uw4yu,UG}V%N~hCw IH cx @P!xjª:_n?+EU4Zu䕒ğ OkeK'6 vzs)pJb\k,\~2;U6=1dgA|xfr`e ba_䣊"7y,! f$]ItWz<,`'Q@ w д1R,~\Hct\xs#/w,Ep?!z5 nyhaJ1Pq[`2Fа0*[RjKYM CAQ%1m#  Oӷ|޾@+Ji\]8X 3 o "G,N\jn"N(̺Mk;V O%r\bh4$ VIV,GP8GgF(fwHXW]C"dbd*ǀpId2;s{AlggȞqbM1^3-#'l 4 f ,(&Ș2ړegYZbKQ={a"vi^D&2I6[~Nk#16)}n>'vnᇥn 4LƷq;2SLl m"_bM<}$CNqjGe`^XcB'"H|mI"6AX`Z}&ҩr5q }J>.3/V?~xW"+1P>:7˙fsAJ[|Bs5 tMa H"ڝcg\?|8[V ׎ZS7xGZEc[bT×'[L8ߚ0n[qs/m)ck hĪڹ&k~&3 "R4A YS]ܞX|W=uzZ*b8'Kl5o8"XG< ݵ˷4%c 6^}Pu!ݜ*In=.?q:",p|}XZ.Y6Aχ &@K> |[R;ϸ7:p5;IN1%,f=w1˄trApo'Bx ,O9֚C'ތB`lO6: 33٦ՍJR6;xdk\aSi hxb u(R 8>vx3xRL|=hW̧22v;f?mKSwUPl*V0$Ggқ3'XұV STE ;tSgF-Owwp̠ݬ!tACUӣ|^5:MӃH;>mtpFHbkoy~D'VEAHԲ'>tcJ۴[_7F#p2˯Kk<ޣ#ߖ/VhBK RgCe(& lNm> Wº$#([a6 $4`j,`7ۂ]2*V+.: 5һ; 9 ǿpC7|=5"Hfb 훩TZJYs Wdӆ `w-. ʅŲΆ'$cU6!/ɲ4-cub=d ؞ZOءP':nIOq #ÌAՎkec2Yb7. {Ʈ#9`[|RM.W& +}Ji@}^_3TC`ெnۃ`:%|_bo0 aE+DwO=Eכ/4!YgfM#%E@G=O|w 4,7N{51GfJ%d.Y{]?N[ -g#-=J./U;ZG0" MZk`~V*ѵi}h]M^PB2e U ' H\j}F̉֎fR#LoA.#|X Qj-YԾcuGV}//К9ğ^^jduhZ;ߕ: 0-x{:nEJX&|T@b&!',C笥'ftI&Uߗ瞦(f w!Hjq_^-[NԂ[WT!, *\y=$S4/;SMci$x5&䗔[z;fGQ ZMza9nZ "/> [>A P09PSN4SƧ۸\ƒ̒T_qd[3ͻ}1 .0lk* =v4!7+H*dsB1 4Kg ĉן#}eaa{-ntDF%l%=#{j(V1h-8.N%*EWLC@%yKr*:Pg2D{=f=`I\&gǬZmUrUsH 6ą<8* LzkP0KQASoŝ軄=LYLJȻ'VQq_ߠt_V #!h⹯/;S*?KJ XRrV:Oq1A3$dכ%u-M76DV!elןlrd&C!}EПNicٗrAT ;5D.u׼D|Y7 *ƸԳi׶W4#>{ٞfk/PRsvad~8,EW= ^K$q?"`q>#1Vm|j+H9)#`ttuJd o)Y' G ul{zxT\/Lթ:u@B&q^Zd\'x9Q.(`ٿ cyt uZ襋 gY4sVfؕ RG\"U+WWP1;"NJhK~B*ojvPrX$SEo&}! Ɍt*Fۙb)&ų)U甛6ݝ$y,< :̝izOB USROL`<}QL|;]0!|^؊_LSTvJV!f:!"لI="~pH^署|5:ӳ &[f'nv}7ϯ`3%["\=Ryoi/ij1CZ# Ra*mh$ޟ)n5"?i]$b1yWC@޿LpKHl*"\iȕMfՈjY=5#pBNeNk١)Hq>$ԁmϊ0&UkOGs\Os5߸tsZ6t1v*dΐ516dh)6ߒUXdjGOCyECs `Tؒ؜^>o]3{sWH0z"v#k6<3I6mRClirO+cp>)DAimG"@ɵ ׶ #J"r-e,mhh"NQQ$vt"\B4Rف̃b)=Qk)̎G\|]kK. X}v6shWa޸MO>i ~ `zb^T15UHS_>*ğ$ѐlfs5ۓNASɉs!DY. b+> J!/$̯˧{d"I}Sؑ)v*Cs" DT %_ ~T8v%-MOOb˟"GBj.o oO,8'*[|0 N"itk{${P3~wG ){Bjm/"ZgSr=b5ԁoxa익s_^զ?\=S[υD@KI1 R1]Lvrv' xӆ)3oB$@D UD"D4jiO5k"6dE*-Y QDVUF< i= 1jOH_&`HQڟ'Y[I'abY޻`rG RlaC'Eʌ20-G,|-yMo 鎖-%P@6í$`k:9.oXh36(>Ŕ&&V QLt ٖ,̣O7[$k衙Q0F'1@ flc.XFf\wx/d糫=-!t[_@1X-{ȸU-IBA T.9ģgۀ:EWDbV9om6wO['~FLLiQ.uB>ȪW"h$*U$ F)P ?E;؆ pVzff /T3h}elE Yp4 ]=V6TM?X*³5 j NbsA@ OMjM*%+z}"pA6 uFdp \>qYQGrÊ~h}'[ khV>z)Zh{=d|ItrV3 [Bb@nu_oAߐxK^v]>a@پ_cgeC .rXK,3}?ah(/:5jg.GO?@X&JЊ2}Ʃ;@ PVi?׿3~8NWP(C{]Vkuש(t%!\MxXseCm5(di qL2!XJV%FADF,%C'dq$C"a[6gy2cbQ_噪wr>Nle2Rosg-{BSt$I)Jh?1[LWos;m4(D d!)1؃_u/ku`6F'}${iTqU/+ j,_$o:mn40| #E L]紦rW*~o`*x,47@:ztux:9 svG/ؕ,X&0SȬgz-uO?!k++o2ZCӪnE!#ZP`b^mizt.QDak| i?k*ŧ륐ew)'}a5ˡ\MWdW:{WòwG#v-ck=n#@+w߃*{:1@+o1|:3w \tĄoHgؕPS8J,;n"lݖ8n:c1w!ѥq0M]m SPf5gȔCo.IzRQB9m_ =D&N{j;c&ge Oyn\tK P\{b{^;Dt ʡၠ1H"aC;*<,C/cj#<- uĹ"fN]")~%Th[8I%X?| Qt7B1G5^-[r^w^KJO.oM2 ka]w1!po/ yJ5E/IiզǛsk]F/ugt3)([ۂf>}N9{׏.Vvcf}2.{htrw_10zaRղu]N oHbcd C ̆ʗ!hrtl[r52-08':\I/wG;!4 S6"6hsN}(nSa׎ةK' Qh54mC=`e;IN7]^V$ ѹ 66Q4 %q2au,Z 0ƟuCxis'Oѭb ԡJ+H!#+8DHjnmr)pxC6-ΐy츅po%p|OV-qt=eq :0m<68CIָٍh5#n񳞘ף0)6@b>i/X)褶 SN21':% ,no57R{lD~IB/쀚Co(ќG\(~ZސGjKjhbVRs献F{M,'NeGjSѭ X uﵘ+XZw.k]ߍ`[.^(ju5xb\7Gx,}/mNo3'ÜviMf4_D=3:э&%G QV<Ր' TDGcB_2Q=f'xW5"黌_ѿ\85[\wHzBO~D-W61ޯi٬ABa- &p=:f=cmGlQ$|_0wb>c9RX~ ArI+iohF>Ma RoT{,8+CCo'Ѵٷ$rΤ:t8P-gz[x(8 Eo1`;L@5{A5IrʶW=Yϔqq)BgKSZD0WBU5IIR? H^vc]Κ{㙹C˔wrf[Jmojr-"5@V|v)cC,x>!mGߊP^L.zm4; ۔Z %ZiJRq3f>$z^6κ9XaVO͊vBVzhG|h]-T>iF/Ceo,&F.0k=pِH)U;[]0+S>TIN J Xv;B~CoGmf>q@t2× 0r3:N!Jς`6<ř{0\83N PXT"ƬoLV=?%_E;)b>@DqXNz0%s"KZʔ${ܑD:!~ Kw,o)R5`cFG7}b=+x.s(^VtHA2Ů`5JXM|)9>Sbma܊JݚI<ָnnt>9(%+⌥Op9 Us[i6^>G9Uqry{z&.w'݄"t@abI?c"3W s[PeG _F>xanjk߃ આ zg;r!ɎftՀry\#X9'F D YnYCC#DnQu&s s=dWjͅ.FasV, ~]QTD ># W|^<}zץ_;OY.+BPY7/77G*& GvʼnK.,ʁK_T ұ](Gٟ] Y\ D]xW%9"n3@[`ncS˓s4eWcfH;Y_= Wj}G'>AC(sp{öސauن, &B.VMn`jq㹷 Í 4Tzi!)(.#<B~*(;PfVea*(wЧ/;"lq0؂;WFv6z+yʡ-D̹Z-F$sb^YK히LvHxUz'EC:Np_[Iz{mfDxO;,,+A'elw<@8Mn+WV Q3!ㄋO2J{veز ^kMٰ؋vb.DVE=gDƙaz*q;KnKMl2lFukOGݬi|ӓzub@L;z!x~Sz:C#u#FߺppI`Cڗh~j$Hmo$ ޲>bK]8Uɻ42NѢn6KU6i]K'?ߟ2AWye-}(Blj$T¤G|!a2j9qJ*f+~4J?u#('0eX #A.T#7Vto=JostosBJ 1]Cרm}c"p+u<;uTs`e2V8>=]DtV#j:f4k܂Rϛr.)8:XPfaXL,eSKk98 J4bՑ6Tߠ @aRJdL#go6gyjTcv]9òN/,pP0Pq*BOߖ+#{"OHL]徭J׺ăew**Z') >2״)HfQU,E=b4an+a g-ʛ17яW5M[vǁK%:QtTH ,ιC %}&;VjI|H2ۙ1T{iW, .#SSpDTAgZ➍+]9lvQb<~ZZ?2Suꉋ.59oI2MwJ{l_lXX>[i0XhmtO3;6VlaQ:Tk- x &E1 {eorNx\ 4$f{oVFLXp̽1CieW@X{ˍOAߚkp)qNU)ZB /5ʲm*E6A րS0jǟ[6wL-]?k/ lG#gYZ  % %H 1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 69]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4ɣYNk(l\pNJ5fXEa>hŻ0SBN>_U ZyϪOV$qwހ׻AV'gn.6zm)*iBo4\Dyy]?ژsezy+lͥg "G3߾`\W J`S)psHu= -Lß^*)& %vtpQ*Lh|8rZ2uvY)[ ;(}VijpZ3i̋['B$T ƊWLG?vqirYFk8WbӔʿ:H8`loxZd;Jh,^lkbAD:&fǩS=NgU\3DG(c*@mGMi;:}„n (=)f ͎~`7w;𿖞ZքPL\^Ft Ϻ%?R{;h#C5⡵zT.7K{ Xpءi 64=rx䤞<]嗵\ `&`2K_4dK*Ds /K^=kTa +LYb}7nYLrwH $^1t܊t}΍T@ 9f;'=D knF~bWN+P%n0rݸdȺ9z7A1 R湇#:0}RάIڵ>{ѾQ=jǩ s z>ț.:/?/tУ~qny#1Q̼ a$ޯ}SFpS @qKoi^>jnHsUro}-F8!AׄѼNNW%SY݉E5٧l7yv*JUjʑ;fDsI)73sʀ2C4tifȢ6Rvo>c@K2b۔o|{^_!I9{s G;awf<\rEO=5cjOTPmA!1Te9ڧL[mӃ]R4^P`աj"G@W_ T.ɨ>ݩG+vVm'G{a\ԀIn"h,]$[tv9Qy 6ۄhYL`kj2KŚM)֔z"꣸@BK MW%} ۵Ҙ{)$56wzI0<2dܢKK/zw'?PLsyEӟk8N]DrVGp:!%Bv,CfVIC;DSzRBmM'K2O-x:_hh>DWN ٞ$G+j|_5@SC}1 }|aSkLڈm9ho!Jbn-,h)tyȃr*~/|PKCդyxYU_ c ^]]M]́TkCj4\\wiq/Z?":H1a^?6;)IvWRvMQ{:-ceJyPa(xjA9mT$pEK#"f'ORwۉҹt{E߾xT>?Nm0ZĥrÙ21:7/.З+UstԇT'h.9I+d~W ~|tܯ>u~Rn%Ωd%D4Οțe1(=¿|ut)P9mgpmi8rݮ;?͂=`#RApƞ6i=<ׯsZ4HP' FlgoE5HWOf[ aI/#knz W4,h ,yMy(ԬiO֮MO:8 aKCF8R;ܻ桢h8dm06΅oapPԃΤvЮ8}pX8u)Xq}aЊ6}f *Pxwe*nPrF*]&-c,`bj? !c!7!DsBlg;N/+xiX·ql2;ya1lWbI_ Af{јS&W;=f=_DE&Rma "nۢo7sXYFvJDOFgӷf-,AdI[i :,ȟaIG#0t8hxW7HJyl- Gekp1Tphkz}6ʘFddL]kZԣ|$#2 y Bb O:ך>i\2mnTy1m$=WT)ᵫ J|8 sWK!eK1+s-ʁF:T]ꘞsӐ^8d95*w djiJ'{<ԏ,awH@ 8L/1.`JiW5$o]@K3?GᡏFa줐 sz=ط'?1PSUk.%Cv3vXdG^T,’}cܣ9^`hIǡ!p/0[3p x~Z sff9TYEK{E}"gÕ*"ݐät/DLBO$gBtqzz4'C:]=ı}]o+A)};4J|6Kx2[[a/tDu1K"qG|*Jbې3Qښ*̟z'LZUĦw'Zj;0ɔFVby!#2CX ?@kMJnY z&pά5ѡrzGATcA&o"tgĂ`@YY•'2lr:T^!#Q/{]Bؗaw˼ɣH\fr:Cɖ5_[ -T%FK.2TUCsq5yomc {*{߃fcQFsw?֨ [&D{Jv@aB{fG\D,iK3\ *E oP;Ȁ0ڡ핐"OL1TO]q֔_j(I_ط veCOG)C`&>l T/?GΗ#Έ $JfqiBn*t;L!JN*uFMnhd7j%2st! /#fu^ c?TjdJIM0_8 U[DžsAOڔ~ʉ|HXnx_):Ofv̷ȩǯ? P[CU?˳(3Unr\Z[ΒDmF"Qzˀg k.ё"F>NrʋћtUQ_q/fx?ظģq8d!9ErysP]ꛃՍeHb6 @{DxScy%?^́_4@fI3=w\hH1n,A^;Acr!Q ;/ert_NЮ8Xs;+JI 6pc7켒Eo* HPX6g&1o6[0e^%̗^,].oi;Љ`]6v$\q)˳@ =cM'9\U>hi#b `26/Αx{j\\o ?A/gd_&¨ 9ѺYn.`4#W".>aoBK` ;p3+(lV}]8k2lEnzdYn!N 1Bx "B Fq YqS7.0uWa%ڋA7 `96ܮP4DL1*zUۥBy R^ثLF\gʈf}Ū zK.=THW+}0}*E>H:QBᓜ=#p6Iŀ:J7Í:]heRܡP04"O+dS<-#o + 8n 4΀16_z&,'{ъHX=S䡚l਩,Jr)BT0/ {9h b\qOQ/+q6e2:]f6=6rn;NDu1[R nlEO!ݚ <(dYf̅s}a9f#i6mU1e7Z%!VT*IdlNED<0f[r+zϑJzx:Tz9<K 辧AjSwPP;qЋiRiZG DI«yo<ގ˹!kw(m0\5gBZO2%`WH%ط(慗?[?UJkYgBsgP#f ҥZ6<) ;Rg(0Jw)< bHl&L`D.4ڙΡH^EUxDfsJTC Ŷ~ E#[ϸtnK-idL);O%,$o,]o+WeHOh~f7/k -)F=LZr+tf|&NTAYC/p\0ZG!*ЬKg5HocIv:[n'D~~<Ƭcr B . r8Qbd[RU|^4נDig5j+$`cRv406n9[l= )Wgpq~pS+m'!(az3Փm\A34F _WFYg uYW bǀ^[7|}'X =TB@w^ko]%U7 ܥDFw1\\uuHsוt~0y9{~z)#ܶ-Xb{в@&-%D=b!ݹ\.{Q5Xu]7ׁIrDcS٘rԩ8a0+Kn{)G1 o SFz?8= ;Hk_q+C~M8ֶMB4w+e㋂_]H @Ne |א_7~f68 pףLYUncgBU͉0L YXhd8DZXM-K?ߞC’)sq' l0ZJ$fg/cW>ӠCVES;, `p'bd0KnC{cE(-| +mLtXnA6Z ;M|d7RД'\Rz‘:a<<)[vSӮwݘW@䵓^ui  ^ ٬A/McNʂ+UFg KTr_JP $"r#(qVO}Qcʄ 7wViCe5GW"{05W+nrIinw :v[ ΄=Dƴ~jg֬92ʺ-_fs=6;puRjRDZ?Cg=kͺ&L7l*GZ~a;MWtzI*_° a@N%P#"v ^$egł-tXA;m%XEBL¶ ߸!}crWH0)LΎj|8FBKVT8o"7f:QY1g:3BQJz"e#[R -Tya@'gӿP|V,J}zT1d츢..EQ',>MKAqIc &): XO7S_:E__X+3?|nAX 6(-倷`0m`}C<E~'6S\(΀ W$y%PέCF9FKXyD$ 5t:pw@Ć@+%0V~%sd;Pzc6 T>'  ܌%!8\Bt4@Z`ĹӨbiYV?Z3Ȍ,|_P:;+SAvҬ<-I96[5: NJEĪM**Zckx8r [k nx?3mHNw rXӔL`HOO4fr= C%l?;d盟[ԘuZO[T1)L7l4ÎCfwavOvV#iʡt^JD1BuBX]i.o1rR/ y 8cz/R``kYO`X]]ywkNS}c;"?'nuVK8raÂ]@ D&sJAp'Őphss/)]hr{hE5M[JU~zv5јo "IkCYy߆+[SRc͵:w ak~rT?ezqqqmn]0II14c.QzMf }YAszy~; I1@!s>ҘCo!esDd' mHGl3\ifa2ҹ3R$ECXȩ+"¡)+?\Y\e2TP$ +~F \\'Q\Y_Q*K)BmPqXVzƻĻDjϸ,r4KHf=JZҗ C5"\NߧvUtAޘ" ǎd`MKcʇxԝ(ҿۈ^ Bj92½eB4|M7 +p:j4-Ӡ*r]],+?+˾xcx![+6RG匌.tʸQpܚ9.Ism-w u\3];(NIXezHӦ.Cip(ٮ冡qgAD uLr2 ӏt5+Ƶ+4q5`!"CP>ҦKE X?7 ӆy|fY_t I2O9 }ʹa7H8:g綌,uw•=AL~f)Ơs.!OV^lε9C(0ψ aj˚lm!g)67\`3ڌKH|R%qﶴlxmf_w'f)ZUQ;,lD5`dsW1G~y>:N~Xiv"nKOcgB}5rW-ߔr&(kY|gKTD h7ޞ `Zr֕y1:He)ގT֥GZMR .enW8p%:6,c!_d̈Y@|zgyrJ#hجK+QVWavtfy0J"~ &gKX@tSeKB9u⪊ c4/i8ǔex1*.ooO!ZZ \fα#U.}#{I7kVX&c@M ];{7BwD!bm  SmC#cANo \DyCA|'iĦlTi00L08O{G 8|:a;RɅ6HW@JPGX>IĻ^!QDlr%,.KNgtҍ*0L]wJ",RPBfw÷J•FE: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&qV8+TGa5_Hζ(vm"ӰI?uZM ȘJ') iV>610 'e3VxrW(;`vQoFr'2AI]g8|*wϣ :e+y?yBMfM!:b$z>vzѪϐ)L1<lvsHnvD:`*1J\+Y* ڋaS RC_;AR"QKx+NԣAAQ0i myEX{5/TsEI)-Po%[֒$7&DKlO! mEw5y=SRH)5qy.GՄF %L SuaQ<`t_q3xq7Oe}qvaQtLIT@PRy彥HTQ5, hChpq/  E? YZR'fN XSGNaIith' U'.ԗDFSA8SЉUۙJzLk.٠%(*h<ra境1&9R㛭8 j]s6fH[^룼 (;J;h7TM#@;hω[{I$ڈv2ZB^3Wl0*_~!=T_Jh9dN Ij医 :LɱFYVP7C fȮskhbQvL~D狄U4( @ΛmU:$ݻk0y S QǎOD$GuC*dK_'y~wU<4ȍϻleJ*%OEWR@ D"Ć~L|0r:psbFW$^Ԍ2-y۞ !0ګd!kt@i0AIqnև͇X^VFǕb+3zI|=6jF)F { 1D$m[qFD4aazLgoҷXح88ޫԿZ"!d=^C\' NOA/@\P\ t3"{HϢW0Cg}KQA+p jy"$Oe*>!cO?bC1+~#@(fP:jeS}Gc{o]ko*uIAM.7l&Nu< ~f̐D=c/2HdLAB(9|)BܙMJa 1#H#" .-9\jju'GxYA&lU:F4%l a֣n86': }g >h-JmrF*ς7?Ch=AS$sљ~ptV_ŏfRmG(^q&Rqq'I2쌒X)x*/ 閰QEFwVv@}&"kM7nYwxSH׌ea?LdP/PBtEB !U&s j_Q&ݵHd},gdPgp)AQ˚y XvRݓh(D2V$Y(uh"'|FSH>ז R6*BKiڒ ,-L-VrNtuyB6{gS( oqT0f,9e??#r5M5 zY4#W~K҄{v! *%?c6̄⡊X-h-t<7AE`W^/φt, Z 7vw"֦THt@  FADOFvuJQ!%ƻ;A>/9vN5h.GbetMF jњM;_jدG{VtTj{fPA1%i͑$pPB%ಆa$#=5S?SP ]pxL^Aʻt53(ώFbEXVAssyT;QғWH73faݑ Uh6^~b$2$졸Մ T.[z[8hj4=le@0%>*" +^C/YMN@~%K}!(" : W(YMf33k󄯨&pZF͋fWBB2' 5g;#b66٭k/u#=ղ@p'#4ժsku/nVjVO*`a[Ftc5vS3rcZFݗ 5FṶty؞UJo@D2rvB6δdPK&E;Ԣ̂{5n$xD-rBW)մJ*ۿ櫯_oUR9%::Jbylt0M֚>> ^eMP9 ,zH:Ld8dHr?A勫_0Kvs,CtOvYVdUFF!8r9Ȁ72H†xƢeg͸5' L'p=gioB,EtX*[l )vQ%އ6#?[cN,gsJNLYaS/eREvHSm&B(`j2aӠ*EOZM\~ZA{Q7k%f5vR)"2x?" muH"Ch!6`{VZfN#RVW9s ".֕ }'t`+3cW5ĒeҨ%Yᄆ.!l z\;լ%֑*WD5Q,պ(|mt0Qs f<ˀ <:dikgik2!R,}jz/j!cCv\)ns q\q(~F.o=L) V!z#˒Msr'@vD n[_ G츳`F&f!dָP8:HUЏ7Q8L%TU|mpJ`=UkM~ <5* :ONt)k6\4Ocb-עUBE:n`NBӥ>0P3#m4fT=ԑF1(}76AW=ʝQoiŪ#HN+/%\L%-GeL5߱#>nё0ym__5kvh#sFkBO:,+5H+g + \K (LI,A6r m؏n<՜VrB3L'+-#h{\c #o|1]mghHہʧ+jkHoɰPNupLS#;az겊ņ mupBXm@Xc yMC$" ekk*]?n Txoki$jFPU9YCxC[3P`ǜt\_AG|I.d.p# CWǡ`g嚀dժxDDTDps3pCu %Fv[SaV*wGџiHv$wvȺK'T9*[ϗ 83^xڹRMֳ$6h~-3vۈyBФĥnǍՕCheE{h.9 Ψbn?'=pZ*Av(]rAj\I6[,tͯdɓuqWMKzS{cJ3ᅓJ̮\DBnS46Bk8L{$琮Phm&%~1cWΉo8"pJIg},0uD)ἦ%lvH 7|I7~ˇ$HR$qS_2R4)jwW %I_kK=H mn@mnn.8+ѕ&>V kq؂ʟe|KUN(foHr'[ه-8&R!ZJɟ:t9ÑRWRS1[Ɉ,wٝo Q\;0//X[TLjv&<@p@S>LdH>I(2@~<{9/\gGk"벣'g}:#ct{hj}x% T91$ꕆ@/G{}]I:]?Jh r\l:) $TpCϻqALw$>*to hYW^( `zC 0v@jiw'1VDmu(vTM|lGP!VPa5M|㹟]eY)Bo=XNv'O60((͢מhW؞EM#=y7xP༶옽S2}f[ɰE+ZEώwf?lqnM\c9/0(ރBH^jҚiş)vIu03l3MIuIӤ .gXσC^2Ku52d3No.+t_¨U?۲3LY ۫H]#utog wFo ɺ[d#fm4-e yCDʸZ :OTqZbE^GYH]esR8X4o4yKLUzlΰK MF%N m|.`{{dkW . `d4w^x7Ews`>#L[xŜ8I8{OK YиE|"7CDʿduEa!v`aKU L=*~ p;A W7t!9raU>@iF )ݐfP}h gÏwDm!Qyk=1lk\ w+=i)Xwmr*C&FY4D7qڈi5pF&'{s9'g~-~kQc]V*$;{͎ 0@0::+/KY5>K1y[":9(6T N=MCz F1U)~TC;V*'oiFLK-PwY8-԰~V7-Sz܈:3JcSO !qYB-}g?22޶%?CLq1Eh+"u_c\ofc3=H*A?39h5CbUPt@=yYFc8y~ГrxXdC+)Z{,0uhvuf- }yJ/V&t\RQUu+RNl`粮5;gSM6,.GSqhC' ƥK-U2[jA9AFzY!- Vk$CX=RF{7&|J7C9: / \$S^0ssH+FIa׻`H Om:<5.ӈ@ඈ5"oxn8X(q'F-KT=v{e,qކ2N]"m[}*Kb=T c"v &r^cpX8OhV97ja!TŢuE1jɑp&YaJ"&+>M)[t1)9@YEEtߕrxϩ>=Gm~i0r∅Q: {*9O`"u'N_N5}5VZ*W+wLe2e$vz)&*CW=,e+":LnLzE9n `hݩ0^'T?+ A.*܄YFɱe,EdR6NEߓ=!/$6V %CY1cjѹfW(L8$OY "EPrcTَBnu܉`.:gZQ:hJـ7&a*JyQ6mT&x>n2 y[6y:D~'࠳[B[o)Zt/SĿ{o*gdPK8УquJudwK/I-dZ{| Z?6aw ÕnFU{L+nC`Y Ϟ}1 ќ;(ш- TAe?]E5Vټ?{71U4CdzFP@װȣ'D! ȋ|_>6bk+Q.RS Fd1υ̠:x W2bY9*.KOhyDIz;lЩ %nFJ P+!$NԾO ZѺN`%W#Ҫ/hwø+oP}B'n9ע )cdruWV 6-+A~|Ex8Md4Nb> j -.~9Q~Ǒf2ȫ;ɑ{ap72:(<޹ߜ^UW .E#k5U9PG5+pYϷİ1)8 w,T_;r Pf<&RuU):a%{h #`i};4sR/=K`y|+yXi-wgb-zjǎR6Plqpá`o<اTL7w"n.A-M7!؈"IYÑMjM%ѩO-P5(~7pi ,Ǭ:(k+ٚѩavx2x mXG$31'?w r,hj?-KB{4w^,fڬ<{ s] f,{ !řQ=z^la51p)d6U|_^HOrr[BX狋( `/W]yaW:ʧ75 UzF4.`ljOOVoo;'L߭OϬUd>|nTL3rxU3վʓQ[=&{*Nm^7VWkH4Γ6LMŏ?993Fd ˄B@$d/H9 G7PZ~=OK'K4QLt*g!RxTHr柛^Z'̧GgYP$4)gw|Ӝ`uZ#0<LrΝrQhF2f_s!W`%NaL3—0l/v*V?VsQXGw\wKVH\ŚA 2}7~bw+ ZU H_uBj$Fa}D|Ⅎ>ET|o2b%'>]vlQMrwiSAت%=ESTb P7y%OGڿ(H2KBr{f_ٕ!.N Xn^]->>`= 쇄FڶoC6Zó5>L_H bk)V}ԩs B=Zk^z`nM?1R7v2pv 6!f7d6~xDjjV尞bq1KKEH{\'Jfϓ (SZɡU%chM34@F' Qku%qY8nC@r%8BLr 7*\+o~P{eCQKOWpUR)rB?!CD[l_@站>i7@d [E \~Z}3҈z<٭6Z*sC%$/ڴJvD@oS W.?b9;uPFb5[ AeH&MثTt)Y й]b5Qd&B|MŖoY=vcT8k v-acflk}{^Z|ύK:L~obPM=j$!忘]t8D,%q;DнA*KGi[#bw4?Nׇ_1 ss,rQPp̏ޠ%w/l}N_p/4U2M-=qZ}r]5x՝٫?Si5iٗk;<쿉JЮ]CODnAWkEFLUc?7V(t?'X(_^V68zB[Bv؎E,fJ d{Πt~BT80v&ۢ/Z|:X+~ "^]Z[D$Һ)eW{K&D-jٺvuVec,V/VK:벲F[*͚&kO\ 7DI#Qwsx]ڐ}ކ:~{-y(` J RSOH٪\)I.4fE3\E^J,+C5LeSXG#~0T__"Hrf_Bh5f0kJ,p7 'dJ&MQ .ı?Gy C%_s K!"$iG1TE Bq$ ,zw&;UzS%@>rSQw7CkpNc:(P[ 1lRC`v&g"pGxT^Lt,GӾ|]Nv4~m {`h@AɆӹu4DMeN$=f$W" G7իfYCl\:`uSL6/ {nU"ܒC3IV0`LW-PwTp[+@!N(6H]Epnhj}۷Qo۩FT(͇WobYQv+A{g_p{`¶!7*k 4MYBsRPjoJKENN ~&C vs$~z$92N=EM.*.yg3oeurِQxRPSc!:yXgFfyCVI[Ms̬i:$Ͻ%ZQa큚D !M.q_Ę4t5 ۩YWJ;봪e hvg+Xf))BeU6i'>auK]&ںs P>'RUNHh[P7\>Jgz$P~mId[сRa]3LjeJa?ෟ[r֛n>-;h1ͥJ)ݨ 9h,tZ.Q*חݫ­(k!򎧱T5y~|-__2[+i3E=l1- FAi >Tj#lci_MJ#})~.{uS"$vk9Q֜*EݓV;٬|9Ēltrۄڤ9"؊υ(KXUĐTmWW?Ϳ,Z~Y02O)L,]vxM)qF&"ϫzkرNjDopFNY8L? 5cT2/4Buo3>[ G*ny<j"OY[NL c_`RA弔w 4<'v&:/9P=21gF 5)RXw{)%!X^lNufx5}B/sQdГOʼnZBL0vvms7ۡ[mt.9a*mZ]̴\wcۘBJ,w2Px攉Nin~QsUMǪiPF\pCFRI/\LGQ3M[&9*#cꆗ:1 ;;7#|#i+>!*(E4t )$a7U0l(;2L;t]BN1J6F"Qz!V`.znUɟyӀ~;9i+Ԩ W}$>?л9p0ׯ9K9#:QI'=QO!(_yx(\@"BEs` jij"ƹWxvW0,BL7QT!3Q19mwtaOFP(ئL@X5aHZ6m_a Nl""rI"~l ^$:+(c49$LQA7(&(D3URߊ/.}GC]JU=^HB.>c{o=`?Qez[ܵLy}N];|O =]j+{B~ZLvfT*T| ɥ&M!@9\}7X.Mˤ\4We/]0> '_6;c;WTD"Mc]$OPm-,o@E&5 uNwF%{C_mQ>(ccly}Yn[bnL-vW+L БӿjpUw&K-kI_ro^J?Nmt9nq1+(=]("@|nD^YZy|hbbSX4Pg[W"r:-'U}ezN%%*.1jY͟prr W`22cKl)Z ck"z!0/=t>. U4>AsکijA>û 5 hYB່{Qd/7-o]司?|vZLF h3}$7"ߩTnF;ux";ᱩWVyvJP#\cyޒۙz>;i/,(L?@-obzWDn0Wo-a0zyf oKZ8wmWCA)0Cȱ}A װBI΂SJ}H4փ] V2_cQ+>TZbgE'~jR;yx|s Ρ`͓۴kD|Dje{0#v8Mc\iڰ wY >Hbbc9B$_JvWHs@%2 E"Έ r$<Ak7V^뾢g A -YC]bQ֓i3z:ߛO)>ҀCÔtRZ%F)n/FnEtq6&]2*_4wVLhp3s9M2R 03f U09[8LapO:o{;nE]XZGxIQ>(>*V|0j\ `NC1И@DM7 >{A8_aVt[ԉ:Mg83C"^(F̀9}?4Sþq6xjޝ)#?N^UvBLj﯄ɞwV+ Zuo&H03INKtUd"l1T"®aM ӏVl\ƒ̊P7Rjm3Z.cq^^@*3M|V怔Ovp7Kw{崙0[ ڃ戯8?q.+/PK3Ռ۔z4@vGN+fT!OtIA$^`Y~(qJVd~'H<صjHMի 52 7#V#rq1$@2Q~?#*>^,ν[g>x؞o·~vHGؼo #Ut7{l\ V\6e(x1BƈeO=ǟA)9ޤ1(b28UB !j,r:v?h݌+'9 < NuWf4* w)| )*FR\tC7k>c-~WgS!+ODp0C6-9,CXA` Ԩ|(aU >Wr <[Mԙ?ʠRc(ݐ^gF]?PD"F:kxtKȤ)owQ\AZfh]39^5J1 =tx9L;`.$PuvZug̠2$ۊ>K3j}\l@.cGПdJ  .D> )v9xj ]% =K:z G[*x(;'-}'Yy8_IzNhך&[Sp-fhogϑZ9ʽtLԝZ.W0 (Roߎ?lǨ&ErbgT~Ϳp)scL_u#wÈ5t:P]ײDZ< ^I}}X\9=nl2T'4&tblWH- {XeH ,wüTaUߠS Z;Epi ?M/hO8P5տ}ugzN 4ht0ć%łC76e{W{$g|Sa< LY*w\ֶVf0 _IY+lMY|ZC' ah t"]w)孰1iS[V;s0(vTLE8= uŌ68m%6'~7 f:"?eV2 施6')hQ:;7',9y;hm,Z)?FLDw0JdF|9H$6\FgD %d~fh)9RB9 WQGۗh$7lH(H8T7 @-^eGF&bv_ g |,iZu rmH3獬3P0|Bt"G˧Eq"TJQʛ߂ig@?;Z!HlteI7SmDc>6ZJ u 9oטK%`F/ja=I|T:7׆ke%S=*^.vgTLU-H21l lQ 9p-ueC3,_h3h'CwR N&K_W>>6zzK )qf(J֏S8{_'4ð;JGzI%Y =؆i'_0S vX7woEtB7аG6QgdAM,,:߿S"ZrIKZUVItPY>U(2-% ?^ȱaKC'_FdX͋To]+"b;鎗XT_AE"Kt(h{KRUu-Rc쵋 a#96{i Cʎi@:B#mNt+0[7Clk fJPmŁQ5**VXO w+84\·IW,7aU#0%HNm*}94}Ǯ`SjW_+fv_X@PzVm#iOl;Ig(47|9amŲe`KIթ?u FW!( EWJf=zӔ)l!2Fc( _!9Xc<%P8"Bͻ@zmeNRt7Ǫ/*HJӄ\*RTm,O_9#ʼDA38τ錩(DYvYyt|lI~ '@b"KJ597 \쏊7n[Z1^黃eWoV[c@307ߦ&huU|_fk!HmbfaaޒZ'bCiFWhŪ5PWZƴW>գ`1 p(h:(ETpjC+y kvutGzu!n#VCR阆Sw'՛t2:/;=u6j DJ@@@҄-G+6P7g(qݾGO^h !RŒ(F8+'۱b'eם`[S xڀ6s<߼ܑ 96ZWtw܇ :t4N[Hj"Q{ROql!Fn"N ȺS"4(H)D7,|u[FJb6SH'FkF Sd_x5ёQ;?kD{AekKpGKw3yC2 @5 ߱$ (12D:zjIC>y6h,)8%߹^A?dqv^uozS7'LNԧoڛn39+ϵzd% F)dJ x:+ѪZ1OoS/IDO?5D#\ ;E2="~=սJ$c۬0Wr];AHo.l J5gyE6mʐ3bkFnNLS: b+5۩Z{̔JauM̳ '@6Z"Vʂ?.K~WK{'^t>oeMQ&~1p dM'kF@ˮCmHY7XOb+rD~stQP ^<7c+!h?:J4dp۟" (݈,j gt\D4?E-Riи-GE3"4`C[Ik}U}mAT !jp zv ͗Jdzj c)a ]AtP)!O\Q{(P7G:aK#R)$yz;,V^l%Qer8s *F t>Vdp= lW@>w|TRʝD^FZ ;cS47ijp|U]Ltkɇ4ը ` XxW<ٶ䲔xo7tߊ }rz..41rn PL=&+g]O+ɺeUmBzX`LmNH[ q_DvjU9]%oOj&fQ>1_nd@2 +-dt o]h棲{?d,X,j+< j==xes >l^ٮx_ۨ8ȳc]~U!zankN .9 Kl 48Ys}˳%Ia:}JtXi>Pc٤8A@mq!;5G-S|Rm ?{Rm'txbX5@MH~X(=UtaRwT 8IG!g4one's  hSw%G]48a M|2[01'2.) BRT t+{e{PAq%Qfm,w/+p|`kʽ?ܐٚnh?~Sa 04T`%tg4;o0ߡ~e۷ɢ[-!]6cwu+n9:ݐOMTnAuJg 2 fY Ɖ3k4mQ_3 |3}/rqo }1|h6P LG*ɅEF7T뾫|i_`Huk!qK,@[s&=uADj:ӝ(,t?=&%Z!wMx[\ndunv RܦYS"\} p# taQJ9=K@Fx )FŲx\#穝E;8fwb% -b55(G͢v\qj^皮6iX\aob a)#pX*V5zHGBpDWj,n7.DW:ZWSe#R:Ud&3;w1Ϙ ą+lv Ɯh9_WA58l{ Kk i[5RO\ZMmS^#ߜWL01KV]Y.4LѠc϶fiZvi{+wsP=I>m$;|qlb&^%cn^zM9sINd̟S Y돽 fL1.pӽH(Kz-^8** Tw!>;aܸW<^Btݩw}Ёd!JG"AV8\HاTx'}V3dmLJwk2[]k]A9d 1/5l z/p؟ʓl٩axJ_JJ(!YkSwy8Qݷ+(_GTz 55y=&3QXHq1@H!vvm٠jY0)_댶=bC{/D쌡Qa.4;eikn*8*D=8 YxWV!!ݐ> %W&U؃((4t[H4Zi kAh 3ԩ:o o{\FYIjp}Qf[jTDz:#WjK 9Tjoc㱈4=&f4e(IyNqFMϵ'`9}V f+ZqwOVQo\Jlu)w%D}[ Re#ǤƭS4W͜mݕprS ޏt4¾ ($(q|q\ /wτ3A9\TF~HKئC@DǠGf'yPRKt= ')AKGaczMP+ D)b$gka*<\oL}*NM侏7>eUd`AfˤloQiS"Xސ\^ oN ]j=ȋÏIWsq%K=c/SIհ2!bH}K'YI~ϸw0H|cE\?|%C+0LV3a["ƛP<Sk`͒GK#b[pA y|EII֮Y<^-;Ã2G+[O)myʓFDD֛5'k"]Hg0'n*"L)Hf2ӊCs-AG[I OZ#OWN\;ehɴp\d6lfUZ27qqJװ02.}@G|[?8lxʒ?;a Oj3%F#l1%VPw$]I[1췴xI1ȑJYfi.#$Hڼ!dսȚҲƓqm[B?<>* /BS@DJ2wJ-`$_Rv+b^_0Q_P&a̢aG|S@!] ub BqDӊ.sc煼 gkc &icdȑԒmxtw/+ qDkѢgH{aɼF Jc͹i: JP&`UzBtMn)'|k{zAu#q~ LC|  w}ҼBXu}?g ]5qT{ϥ%v\b$j._ЅRlܶ(a s'Bkc޲g`q먚>իa5=s~ a2qS?<5{2FZ(%J7`0bv 2T!u}ۻXOގ,0B"޿&ʬFq⇇=0+ZRi"jߨ \Ue?S|2hגk$ lh6%(19 t txBaW yޯ%cn- KʷY3ǻiGa-hItA4Aw>MgjX$cÆۛFkrN."^ {vNZ-#G1IXgfP!& ;!̊3D5;ن9Kك%#mP^ܡu+9zĝ2 rzoMFuOZL@vz:!~mخ0hh$Z>c6|N?Ofj1U/J27 8?o CpKkNg^1 %]A6ۡʤlsZBך3oOK;~Z`X"ܴZ0I#Djc%̵A_9ɀ!ݻP̝s. &>8u=nzVn[. B $}KFSHM [jIFJmK#s>DBYꈉ%V$p|A Ś@]6cLVn9a|if*7ƪ)[4@NJkI*r0"ZH v;$49ɳs8ז@׬V>I_oۤݑn+`v5KĸF/o#rxPo }$~3j4/%R9 XO sQK'Ɍ)Tq xEN%y|ΧocA+Uk~OwXPZQw3E<16{ȿS9!G#҃iPN$)ϝ_CGdË UX Iʕ ;̳iW{_8%2KeBWtT;Lݒ!cv D4HkO5Մ=.IQzgv5 qܘ=761^7,/?R9J´QYHmgW0)aYo7\4K\Z6` JM{GMe{0@Sve} >ĬVvܜsQ;_1?$E',yX0J4Uv*8ͱ7A 6|,;HpzAH"03\`g4e5da2Yp Г)؟cX5x1DRy2"KAQ5M OLn*%)>@/h! p= `'((+${k&uc_{5.0ocqB^Hl󳁜|l\&d ,᳘f.W%(YCgI"ІEWkls]wa^{n=T gVZ5L4߈p7=TY8SS9$M{CrI?gk3رIUWWk_ES39P~#"bVzahW_o>6Lf[f7ixY2U;+O?im%'LyD763b̑Ӕ?"W䯫.qZ?Z8p DvlH /N=l.ϼtmPp|\5PO ԂkP DfoV(e ?VS9] Mh![NQ^Rе %q*׶/:aȞ*2U˜&57)X?$X@%ˇi$+~GKQ V+1 iaQFWRw!I, \MQAc./(i?wVpx/\o+? f5hd+ٽEBLkո.%yy/c-V 6r ǩq=_QDFvo_~e+*U52רo 6>MT&lLUb97֨ C]VXKT.$liONX ٕgL8= NcKZc?vVW; h)^gJ2 )C*NȇLBփ><.#ͬr7 2%is,=wQu_D}kl5`V`'S|c}CG\|1?rSL ,c3fݚb|ûؾ2V͚t$Fh1{✉eJi3N6- ~y0ٕE"*-!]MqB6GÊ| zhD8-186UUG-o9;C'K#lgF^1W3Z6_1R+ظrzyU|0Mii$v-F."W1>q5R?s>[(Hef|&ͪ5p#VJE"#1!xajIiKL8Qm ^D~ e][BV>pPO*I}6e0r? /ַNhmCSs]Rp4FF[uE,]X_O4 [|o=Gy+z2ãuƱHwa:ب2juV9ĭٌZE1,;v%uG| 'O6+}PQ|J) 9A 4=sKL9%Hw[H~fNVaǔS:c-ս6{> w9jk~rOJ6Θ:3I#-(1Mnjb$o^31Is.YϷ77+v*0l}dU@Q7FBQi>)[TY/$ Š;TT55'Ϙ?XS{ldyQ{Dn+d3,76*!*g0>#0aU;!$Vn]3`@\,=PehLot_9`A-a|۝=4GCnhM Tm`"8yL3 jCJISF 4sgwn`ٰIXi3s[Z{!ԏ4+6uOZ o9cW`QJ3 +z4HA4 @V6e'7"EW^]{l^b`V? :#2r} i7e,A(&<~Hi rƁT`0Q,(oH6[1ցWRMc>淅#Ӿ<l,*pG̣vNVp]Q@.#@c*1x&Q|:Ǖ;hhڷmg˘L T)~h|(Qv.f1`}4a+̃C~ ̢:dIEs,*n{^?Ӎc@bRk QGa 6,c4xﱥ3v @ >{`𘨙c'ķ!EOB+ӡxGO}Y{lpҘGcg~2Ѫgdz~EMa|mVuǂmvTǁs|ooո}͆.i5/Mዝ զxhN X c(ilV ѵѕnAq8 Y}Z%-YcQn5K#aC^$%%z}iOB`4sϏL:&:DH0TZM]? E8[@!e (BqmGP ޤ ৎu";J G3Kq_\˹䵱 (~1 > R"(\=i {q@ aܮ  e`RAطNUضyݬvEaR(Sy \~#[XdJLk*z o_ ?&xĴ$|j:=W0,H|:>wZ=퓐"'@\eJT6J Xc.sQ|>YmK\Di'!!;tf>K&M'Ôy 34_N( I#W4g-QU@dX1dUs Dxnpr|NVėnf~5eQDW$\@Lggy<+ w. .#yߓYVHFRp Sbd*W0v!Q$ǯlYڂő[ WF6y%KӐq3(4|y[{B=zqs7trpjh#2LcaԠi89), QPJZv4[dJмld}m"P(4OQ9o_+v+p'MÅu-icG'%xڭ3}v.>p <۶nd"k>b6 LM#.z{ x~xmCqqzQDgi3lO6 {+f]oq1aJJ{≭@@$&c 7 ̳#&R^ExQ"PwqezZD`o @*B}#tU/4s)c ʌEt:j2KVBj3fhiA35)򉒩ׅO$urs/΄JE?Lb-e.n_|"vo͐'z:Ej峣OM݄JD}1*)nxo=A|o9 8 cQo! 4~$i(jےZ>pÙRө[bwFV0Dx ' v lIm|ԃZx3e9$i~#debBu9XK4P s/)F[Nhh0ER"N+E4Ή7xnPMmIXv/}-wQBYA2KWA8v¦ b~ ZEND{kɣ%r;jn7H f8Г'Yb))`4ɑ35U\ʰJ،H'B4K\~`(PJZ[t!|LR0nli(m5\B*Y87z n4GS. Ml=ӿ X$E?ɭ?OdiCKAnE2V9-;ysgc ;)Rb% reF=ѶZQRKсp@iY6҄~sS:CP;GM0GBZ"7bEV@U_1k,.c`∸pE XݛP^8ٻH'u,gUni^d|t-=CbP㘷b;JRCk+7d^єb s0:t.)Iơ[lF:%*&t cjfBsd9Vܞּf޼I Z!yQoT}4$q0t!S|؜;Iv=`'2tkžMZ*_}eg$m{GG.\#:AW֗lje#[ONS9({gMΐ?hG9#/؊+ܺ.5ep ¿5SW\kD. G'IaqڒLw]+[=&:May85 c6m@HǤPϵqmgdX5TT۱U 'UKдlkn\F\\Z*QgcKg2?4>\BdJrzFj񍚼*y0CHOC Qͭ[fl=֢^)OLc6yhH}?lEbr/{aDZYoeU0pOu-n0\*eS?AZv+/ܘˍE2.qɶ6SiyDC1|x ]%90?As!h\p@U ߊg bA.ŋWCd6ݻI>f?ۍHUR?SWXAy˿Ddy5=ow\q *\,)MM1F5 }i?Gh<\'ZlCUyݲدhUfTʋmRp#O@F@6}i L~O{mGuR`OZ=UO 9>$TU3{qZa,Js[gc(xAŌ8Pt0J)[ॲq5"~z!XxyQTU0ca(J]ME/&ac QRt͝LS䲅Kswwݎfܱ%k03 }F%RQ`DgqTL3 3QR6s}J"q%>EìRX,М]] ǁq,3b@\ v˛Atk2[$J:=Ip'[>L.D9[n0SavG ?MW{+RWYk 2Ɛ:HAvw 1XtKH9?X+L`6QOP~6͑26Cʞ+XdzA{zJѢ :_S휄}U̇b†@+\ۄN."W#*[5s[VUʗ]I6Ħ,_)IJ|% '23Z[0vohͷaؽq$f[:~'ONfј*9I]_l!.goK4=gm3=/1yi1Up9^x/!]uw4qHoGL̫@E?fx~$QTKt] sĆjvڧʜ"D审nZ_ط$b=ȣ_]j!6w8-]JvD(}ý?kG3@ \Νp56gJ9D#S'; 2mtR gsz;äP=]:ֳuY41ЯͫaӽgYZ ^O^v 1=# |HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! x,`] !M젗OFK?f=Ь*f@T@f2Y&?g| Enrl̪ʲZ_y[ t\ +_ MFEz~ e9HCtjLf|gQ^_ĸ[ 3Zr{fZ,20 rRDeV - 2x]rlQNYxAX0a .cN< i@dDбڟ2س쳥BUK`ݪ#P9 T^C|S`MEz9Kk|hp~KH-D6p4UAfƂZ/u ο{Ԧwj@8~EHŽå~=u#7C| @BV?i2ȻLFs%5/#2kW͊-@W`1͇ul&kpM+ ,ASXo,7[]``3. Kt=X՘r!(Rt}<0vќ}+gv _فY!d^N;Q&?r1C/i1;<:g%YW{ &oA; ȥn҂Oö́tLS!#̀ ejk>:O!S#y+Ţլw0pz.x9%&bm)pue7̸&;)a`:H#{u\>z,64%ljzx)T(8̄7TLDwu!q*/ 9Ou"B8F 9o&Vߡ:$seE)ƪ)K5 AH#w,Z7W)kC{o uVqk >s+|QR:O\2P p; U/n`ߪ'^TD<@4,tXi(A=ow]PM`ޟ/vAt[`o<%%SL.iE3r+odʗ^Ta$xc2g]P_W|%vJh,3'00]Lf? vަ[(ث@"I&b -4\PaPk<.*NGz}ѴW6'n=LS9K+z1\V.7>mf9h,EH*Ĉ&"l-ɘ^#n^&"I2ZnɈ'͸חki' \`Y0WAQTM閍*\gժ3۰asad`Sj9(;:|[]~m PpQ\SSw6ĸ:HL|Jѩ É{KMSKʘTZ/|^˴(B(v~.Q$!0 I&n$ꙏ%H *gI< Et'!yб &B0TIXwQ'ڛ|DLwN]r.B3Xy&ҕk%2@-E斷j?VPΜ1)cH^ =/h~謂lo_0Ȫ;5zS3bi3H0/85 j&_3ۨY2l=]ϟRF~*qE1DǙxnA T2(ͭd\ ذn|7^D?ouH=A+.K$eA9,LGRZGkg~c`페VK6  3pn__-n q2Q1ٿD/7fkUj6`WC+!e/u.pWUuJ;t|?iAbA=Z_u/׭,u|ֿz}Xjh Vz| ee|#*;!G_pOXDј!kmۭΘΙo`@*v{jzx͸ |UE&zFK_>l0W"=rfHnqrs΂y Q"]zup[\P%6{6Y\s-j 1Xņ?I8uuZaZBW9V2 1'&}`Kf̷S-%hy&=7ᤩ95bSTt$)^.^1ij-tcQdsR;}Sc sH;!^n \%&` k<Cd?L]^LXlYk܌So E+koPTeٙ]g* g>Vkk%,>;+ ,Apm=v@$`_i?])0b['=乘'Qw_ e12p-vt5@жv&[x*ۑhJnegYZ2]\@.%bXuTg56O$AWcaL:$ׄ"ɪyUF!®xesf1Q6;'bBn,} +ִӍGTܞxkC/]1è`v7`IJOanME=hC:((F)mQ6F =8=pS?!>:nGEwdsv\^Re;n+bae|`?"жL;.0vvu\V[;Ϣ⟷ dXޞ Wdtg5YvUe-v>/D=Ydu`z0C2.r ^\:@Rb]ǯ^J$1tU /}0i"HTVxB6V [OTzZ)+=,42<ǩ I 'lCralŁCT͋ӬMU!$r-` W겿Xcv@J@U܍C*0o:b?5^i5:,:h3rb6`\ed/M_ åVYkhP7h+:Li$>?fw2"G-|ͥG&t\j*#9]!:.% _ЩJgD(j]9A>^Q$r&ukM]32,iJ3Ht#ծDPLأ4 ɭid12NK%a%`P07gMlX']ڌ&(ĢL*n*?[MJ\MqLܳmVC)2x9f7iqk(16Eo)q5Vpɬ wto 1ˠ21Quj)׭ڱؖ\l#;T&L=ËE'*2HU!uJĸ Vd>[H FH Tp/qY4y24(cab`X,;p|g뵻PL4QJ^X K_ ;> S6rV|?(q_i!CջOEBKF%ViehX<3n's/OtF[qf3~prl ^䷍)4r u+m7DEëT.(Q9{@$%f|;TUjDxY7 }GӨ3ܺU8 7gIA?>"zP7qK-J Ib߄bb*HADVB ~w#Hv(OZj+GLcjG̔M&۱hT^didffOPm ɜb:䐢ޅhh΢c^ E2;.}FtДr_SEK`(#vFmnynwg"~ HcWi`RTBPY|WMF~R`WD)P_-K^MbD^TOT瓰!驞ɺxI]AEv4N_aߙYaԿ-iq̚SĄ.|o* h"96_ʍns.lMJ*]1<`x>*b Ğ3M6#+(ar1m-3(P&UԹx/ZGB$NJj)%vN#Yh@UWRViyse9zŐDG6Ǟ *r]hx뽜+UDɯΫ%/3V^61,v5@8 6&9C+=Ȉ3BІg\Yd3r؍YPqJv&D3{N# +qZz<ϕJ&@Qr >g`R+ntHDM)ךǰङp8#贋6{u2N +9t4x$XOB_݇KITi9/:E=DRDl^AN*pնϫŦk> Pf;Nt A)&e5׶JH/p_dA2ˣkP)ڴULU-apoO;$r8o | vC݅ 2!׃T~mCѢޙQH-tgf LCͽfvr;@̇J5!xP"F8ȺC7ϊ 6 AjdCA3r&Lq%BRɋtZ^4=4.?%БaxxzZ43["qVzcB 6(sb q&<.*IU.2Jcu'&fI=F)Qf\t>mBX.6].l;?Ķ(GV6??r8DDf<Ug bPSk{dmZ6tsHң}{9 / EEN] t$57;$`|͒9oh+N_SKDn c,AU{-9FFF,؁y0-XB`/h*3Oeo++O:q}\ 4D(ҹVK,-Р)Z/1WpZST9ʉ59DJ8A|*̶YØH?Mr(}AI[O\#(aV9%Q\J zۘm,~@y-1Ee&Y^ϬJ6h'v,្g5FK#j2Ee[ñ=TyǔgO+lz:To縩4/GƒT}0_H[l c-SψgT 2)bFz5~N5%v*VJY WcZyl$Ubb ]$@%Y$09o1)46q+ZadHfQT9̋ h]JUkr:pbÅyuD)I׿}S3d|[Zr/yDdXLE- 8drrGm8a>48j`CkuLٷcloomLT&qF?iT+@r&jvܟ[L9/ylp+P"B$4wV@Vx}yM?Ml';ξZgb߼9Ob ZU{/ ;ͱހ Ԡcy# a6hbHPw&|zO5whe~W3hd/81( xYɎx؂l^xT4&RQ(g9Q7+EQ.Tꭴ^TMmK œĀ߼GψGTRZ/mp'{O۴P|TdA4jB@"YמQ(錎!ۓI!v09"|lG;( @Odo p8WS1ڶtDrݝ9}: )!` vB9x`n<ɥ\PΩu\3}]uapJӭ2&9E/K[c R67F69s:nHʍ{$_|I%; B~( 4c%ėKi%A?TN7E6D0ȵ좫sW*R]ϢW=}.9 xA,''B6(Av@1M(BUqFfR %C?]I`L"DՎ\5sĶOPrsDXs\ GTvϡ.Gx$ǛL{Q4Q{h QCލ!igu .]_+{DŽO[$rb;89 Ix>'5 u(tVNIc{Hy 'K6> e./P_9 .,eGr9Lg7[@> v}ޮz6-)3! )_G~jkB(u3`y"Ѱ]ȴSzӵ׭Edқݨ T+C4̝t4}z+w#Ñ1#] 2g+D젙v\H> Zr|)[: W`H=[iHQǻϢSP>鷵J}Gsڊca^|2m"nӳ'-f . /xt\A?wOM0tPH,|,2p{cq(TK!KfzǎO%V*ƹhQ -v712<<4z1F~H5BŤ_%xG6I!5w)Wlaɪˁmsܱt>%w4uߚ'w&j1ue0K Bfʹ -6;mPK HWҠN ⋺r5s+;x8B?Z#퓴fvo UMs:T<9)[ho8kƏN-@I ԁkb  Jq- Aþ1A/^+j nI LXNi%_P[nFQ;Ln~[tB@t4 `S&A γ-M1YO +bˈoB J'`e]~ iOv&t~np0\x<֛3#|NzshS2Q[4NT r;$O/QaAڸ6 ^nmnF龌MlgH/=xnj#RɌgpqtqAVrh;|m$++nm7hHЧ-CW"- P{rFќ`̹K"cЄМ[xFhuF*`,m>=x*3CP"q@j-m w#j0∼m'#^+ =GQѻ XԿBtO`h!];ch k:%d)bIȚpR=]9B'd~+wxNAwCU&Z[-mL#AgD58լIpwKOL{~; " 0h3-K4xe=B0ѶY21AOV/]^p[]ē7 ue)0FMG3L dV1vy4VCF.CƇChY8߿󼚑?4)0 H,|l]9sZIuO1u L!MG&'/C ))G;   ,6w:5fEDֺf#IYt6!t߮MLuujpCZ~"t4ʍXᮧ%gAuNo'|Zw. ҳi~G#ྎ4M,ؗ Pgc1*jW!0y_ g9|]La` x|H*IKl͈uwR ,9#8!{R]32mfJs +fE4| sdK: 箱%Btãq$cQMf#p(GĪ-F`F**nE׼<<}Mșo2pZH3*9eS^Lp0>Z1zrҀ Fwq%^$pZ3 ^BEÕ ,Zq6"rO0 _܅1̝47{`)xDtL᮹ ]nψ`$%].Rc`ϳ4 5A ݁"4\:لޝ 9ZheDBW??8#GźS2hKIm,ߨˣ<@1&Rp.=1Q QNeG* 6mVI!k+OQWKC»… % %*( ߬RcCH AA!^pz-6'V F-+}kGDtaia|=gh%]$އ;vZ]R %ڌx6g9[z@;2e!!ܯF/Pߔ=qF-cq*f3r ^zi؞*#\IC<*!cQd:F:)G3-.Gf%W% pʦQ ic<&$Ua` gMvև |zv jSE=b&H܅|O*QR n׎(S-٨&xA_Io*4dH#HQrQ@F d+wo{seG7|h u2C\ If\9y['aW'-568H$MR B&$d[蛱U(IyqҡP*4:Y&wq2J툅=N{D;bErFw)VAIiy[qQO L?H}axd \g8~솿CBpv8 + J6@~cz!M%ԯwа dmO,+c'2TskM}mtNV)8Aj}HmٹSX*7rG'6t5t Y<^~P@M'y Kʒٮ-;tdCMrϫ{\!.p]rFܳL@5͌[3 PԵ٫$6:Ec 7I{}{&$vt TfzQ; 4PF[907{Z"AˉT !Zo,*7~w ʧ> @xm bwKɋ3Ȭ tu#2{0󑂇hgFZlx<! {Z _OKE<2Lfô0: :W?F,zHwi , xY}Mc eՉ^3%ȉq;8 ZW`Ja;&- U(lX'xNyÀ[? C"#pL`!$D x).U Zxa[5OGx6#UK<1j9gP6ņrtڝ!\k #!E o&]DMh:*68/YJTCY`]yF Ri& .~rx50xSM 'Xݫ /.};^iQDE* 6;1K'84KϯF4U|tg.j$ƾכ/+ZL΋d .QFk*,>/*s)+kZf a3|a'6G"_eĪ+dU{Y D-o0s|~m?S+k<|xƵĘ.7ZUx"|vT:S4f.Sg(4H rn}M%h۲H >ĸ{Oxl?K:I}l%d-2"ypܟNa%s8(Z%s,!X2)W٢xGfk+$=b'GI@㸁;nmNeea']왋`*0I[Gކ $EH+e{<\yY<+{ky%qιf}VmlI]32Zn9bH c=[pdIsZYOf7@ٶ7dg˲AT]*ے4uVjIJ!G2*l̤5@i. 5 ^'[,~A*忰͏'fDސFPNj֏MvT٬s9Dqav#q+%;7Vrx4h;|HlRO73-*X>rkโ-vUL13?(9vg]*jOUiٖஶ 8;? t֛Vuʛ";hW'!T Z{-ơH6(^e٪Zfٙe1іU(c Awv 7e❕V"2^6YLӖ)u  Ŀ=d fV~|[vs>j@BpFrq `LRӈsyT7<]F|(cqnpBT*F5F칠1V!t: z Atk!}д㏾-$l y>4Lw!^7Wֆd?X+x튫skaz^S1R,6.};t#8Ҩ#(se苚ϢUE.ZY;%4x=qW%SdYlB"8}|IMKlF~1&Y1:n`Xƻnտŷo WS@{LAD6e$y k6mfrDG(&KLG^T_\Ҕ&f^a3fj\Bb+xingG۴' +-MTŎzKXwT?('(5Qږ 1+K~u'͂_,نy6V&n!yԸ'Z7']ӏ;zTx|ʹPO8Q&=k xMl5.Bz_=;pϠIc'mdI p*B GROWA51|eo,b2?k5@=sc p#N5*Gr35ޥ6d/أ9UVcһYI1M3EIqV70o;c1e8ď?Ne*DɌ`dboFξxbd=9+MgE7Kg_^ ܙ¬U$ T7&2ɈGVۨ O^78*(|ב7N:EA04)zcs]yx~'\vCiLdC'ȸWtX:v%7N Xm_b/Pq?e3ޯ)瘧1)+r NC4&b\Hmz)B&M~{ۡ7g XwjEO$oGQ8a7.~d6}9#S)nlpY^"-˲Xω2.X9xkc4|GTIUZH̚eġ-q%.\0Þٹ !J܃FxV=wo{f =T $t@\xa(cy`>5YfDE 6HiWDDhF%Ej07i(}vWlNoRgA{q% >YPX;O1IZM%ђϞ̠̪%$og/0uXd6|BJc#N]s*-ƀRQY6G=]LAH{߬E,qO0Żc,%QI}P]%b&-*_d𢑼ҁr-PD|nTIYhWQi#*GufLk8XS Fŭjml5K?dR'c% U D^z$VtI$IiV- }z#Uwq Yc ᐧ*o;&OӹxdvהiKWJ`=S!1 P%?vj"-iSLc/d#h `JG(&Ǜ5ضN>)azfOԛq<ijEW5Y.gك!6; 8Zz^"5;@"\=.?.ʏkZƟxF/(M=MsAx[Tj+9UP3Ar.[5j: OPC$x"m1|+.=;V(!f~q=sca0Yj=ߒk,C(n7wJacz!0 =$ /u}W4&x?I;P-M?gN5/8NM'Z{^B=*%C/J723",_2; DHQ5?9Y2`w]љQn[Ѣ>(T|g ȺIrU 6ŷ\Y{uuy̖Ę[%\uNrڑjTb U?,ݸY-ktMWHGZn8^tHB20D&wT9w XE ~1xtߖ'y|s9Ce @UW\:85pWcIhV"p% qE{迬 t 84К w/e@0 xFnCC[eΣ'?MvGϒY1m( .hb[-+E$e"9' ;0l`L1@ޟx;n j]] Nc1 mJFD$LlN/&z\ ʄ!jڄ*Z٣Bk!c< 16 e C+D%iѕ2*ۜ`B>!I(% 5*!՞l|ՌY<5Zh^/c'3&]p+'xk`wnJ_drysHL kifg=c1HSTzku9ctf&]@봴6m|)%Z.;oǎމ,oW_Z L̕gB A-U :Ut0r)]S -< 0> v7w)Q"2dAIÒɸIR Q&ZyCB@Aʧ ;#iNsKB6ut1\u]XDtYl11{QUxu-tz*XBu ?sZ.Fڛ۪r>lKgbʥP#:)Ww4w MOʘ@-Q6¾,Ye{nDƅq#QEN]5{1r׵x&,iFE)`@mK[$)-Aͺ.E4ŬFp<>') Z Ŧ:y .ĸ _dhYdr0 ` xK\^z\V~ "M;P% Ij=nCۍ l<"$C?,,$,M#hwq 8 Oe.h* بHni徾7msT5[0|Lg3CM[y@uɗV[6=ز`D uIŽ?9;H-H(㤾+McOk@IfUCY! P$ fy zWY'*Heg5,`ON1S&Ugah\ _O 0H͂:.‹lmDһ1 hWqrr Ԧ*&~H.Zf5;0"8b! *:u??qO(?6Rgª@nF08JX|Dv:";w 5-xԫn KfUOO]ԣf-5ݹ4zK!*z ѩg iz߼mRG g2l| ^^ ZZ}*ux MmC3.UR`*k#.iƲF.S&XF\Vk_==A]ȷ4V«Y WMՇؔb}ilc;SwjbSG"˟H ;H\e2'IV1 ˤoGBf,#r vKe-%mxuI+\Gң %Ƃjh! TP=s[=-ِqobYtEX@\\YkΙ|*Zz2pu;?G j_m Q,u͑ CN6'Wٕr/ou׹%svPEF E"zLjR]9MR:L()a[Vբ y_z<,1_:z<]x5{M@c+zt= 7:353܀@D E%|f+K~PfF^|#.(rTo0kmB)8t-chR6yf4@|);X#h:Ga7пKߌ/i(}!+SʓjL\/_O[D@X?dd1x}R*{_PUQ3&#Au&?1O&I~ѱ|2WrK;d/wGom7h력xIl}(hv@pn-k:W(jiNNW΃oVKI000``;^L:1X}wIH;IASMξis<5D*^,CB#4Ri.:oJ\kXMi4 T.a˩IpH}stǖ$p]^ 8e,dB5u_:rS#:.}_=oea@, ίzkNsQ|z7CRLRA/v=' e'w'{- rv>-˛jNϨ}Zb86øYx)ӭy0 \%^3ύ G93_!xJ&cD_SҊi]geG@ggG~5\MZ=R'dқTf2ld? u8s݈h :IR-vp qa?ϼ\7T>KlyԔtJԶ5.5|6Y Ȝ%&ڶIL k/rMlTg]G`:hZ?~Jn%}G;]ݴ_HάXG X)U -43 gʗ:c4XXW;]\: \\7#*0=w-H^ %5=&p{ox.ky&GKB1`Mr<'`,-mA׋ ;PQ<=:P. Jz$>pƋJWy&8@-p }ID#gi>b7oD<OMs[lʫ|0|]?M)H /n TZ$@EZY[ 9Bʼ12X`DFJ >K[ |sCG=LBgly=`>J H\*Z17t%EGN Fņ͵X0 OJ΀s~fDq7HCqfF~S 5NGG4~JpۈF/ǩVD=eV:®IM)ɾ(}= q$Ѻ&e9=>%ɀw yj\f0qK &}L!EL]VSmerw>֛T<'@)>BO1[a81ސ1-6~Vt V';,sVȇuSv=n螲9ɳ>0D ᖃ$r1 ^ pn@mz~ x%|^ChyIq:RO Ϙ\ެxZɷSŜ#83sLdl nѻ*\s藰G^'q:B3Yν*}HH25r?'VVK 5!u OGLPSp-AQUm!9E)9E_=:}R6~4kr$Yy KѪ UolR\$oC;aK>Io)oשKd[cUX WJ8B)m۰mV} G&)oxQY}CV _J h[KdA u7xxuPHrD"йB[˭R ɉZY:^&YG=g<=|\{68b1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id5341=' HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! ]·Iq n[:|&[zfLE {}"g"|*0'  j/| -`_y}i."ԹA~@):[=Nyj)Κ6> OK}0vKL6O'#2)5+"C0r wK s!Gԧ6}8W( fO> Yhk6io (Yvia "#?"xŦmAމudㅑ W \UXg!vvC.TS$x7-0l\ᙟADZiHHǾAS-<%&251fjL$%ǚRNczIx˿Wų)i9(%^Ѡ)i qL+%N6P"4;uN Lh)5< - "%2r b`AQZ܅ig7f0n68UpȻ㜳ōVk7~˪YF&$*uF N6oxUwl0^fg+#@p&l'%v.:f8 q:_QsAi@ɣ@#Hn{ܫt@BrJnr.b~,ߍFXtAxGE&HR (|̎p[}+Wہg!kYBJa 6\<^E;`bI ʤL<cKw7NT-ǼBz,kE6\*;T8r md/ v$.Ʉs?L=-*V#9a9"p0$*|1RX_-D?@t!aՠ48n GX&cL:[ֆ'V>F IduTFwk,7,M@Sg0N 7\X s'& ^W'H;V LbccS Δq <1l`&fBҗ֥tIK`Dź*o(v.(:{r#x *6$I]?εZYÌҴ (j%յdR';5&,{fW\9p)sf}XI8<ˮH= ƷE%IrEL`aEJO'gز.vyA #+IOXש~K٦t&54= @D8~^o, zh{CW\9)0hX6kN]Rcz/Vs.VY*ӡQGO:DBQBo20J(3TVPDJEd}#jYxjH&YeFΗBk~Z"MD'r/)/:ƒ`XN4vUȅB)|汵JB_jDHCzǀj̯(-#A :=)p @Vs^5]L vQ*? ")r%Ǩr!B\c9d[N؉M n$TaM]_QhۗR&au_Ts0ŘauquMbSSEz710x(ېRkS(,]MZbB:,'GG$Iע&qvc;92:#Z]jr'ߢ#&Gm9R 2 ܘo' #/AW+[A cPz,!¬ʬW/]Y]_815Їuϓ)n{c=na"T? $ b%<}֛AF`o [*':Mqv ;, 4:=ie'HgoSR*ƀuLڭMvLU|nD1Bが.g`ug:DdD$J± TNZE^w:ΨRΞ|O]<ҹ6{`01gYZ)] +V>{itw;}}.)}Ȥ=dZGװ <_ĒPldXRҭs}ҾVH`~Y4XMRgB<WFז 0o0 *7h"]f>Z$jl~ZwgcElitʬhSoQd ' a>m lK$m˴-< tz AoM#+j|6ކ-ǃ>5F9Sҋi9Q6jLRgJgF/^Bw:>d+y1}vELEC&x\"Ln2hԨ֌!J*H!kyqEQRҀ |\6(QJ`,oyFЙ>5 F,8Z!aA1$K@[$i5#Vu?Jfxh=>tl8/$)|8r=.)Zs?Y4#P>Ѕ׏fsJԀxXkS20r_j.K'KH=%+ \g$p8pxF"d[C]d sRw,WFo/AqMP)3@=5oL:jtLM6, &l(&angIHmHw#LCDp鞏U1ih~Sgq5f5u]tQ"])D@[sĥGLE:ﲞB!>TQZd'ߚV#Jb*yz[%ry ik:;T _gMWlٗ1 P.u-:.rO0MvJB+BS/x5~H@A~ԁEm% 'shƩOԒMcHG٨GJ$*~bMߒCG< pc[0}A${DWD`*eWCyGJcW&[ --oZl틋BH7]v\6Tw̸3LAT0DQkG: B}&-‚I)'BXfY=0"!yY, 1̛bQ3Vu {A6xW7R1^)p^hpU5򟍞IIPѶ0E "8#/YdKJ0 p\=F|͏V@DmBjK ]\L㳃_KŶdtVfiͪ[4f>nZ|q}pud\XLD:|+bU{[{y(4Wx3rdd()q?\GR%%Hv˘{)mLs1"" N?Ë;a1m-U70Ж(ԋ6EYP*)Bro%DLq?8X'9\\A8%.a"æX-o׳c'yBE@;iR"rŴi_t}\9u8- l)-}'g*L \.353'P#@V\Hu0r4>=~tņ9d3{b)3 [i3T>>5;y=,JͱN~> 4:*FE&] ..| ?_'Xsst "a*}= {\̌u= CLORuaq_]<*GDO!yc; 0 eKDӁYP6ԳPv[X1D:d qjviV1^Ssȣ͢*>PGi2 F3C'Q7?=ҰA.N=)>i#NmŸ#,OR:'0;#Β90\mG,62"SڏnŤP۽wKU8ZyۊU.dElD DA'Eפ,=:@)@Ss$q3n\ԩ).E,?#Agy1QMM^m ݷ]<*Kb+M"iF)X:& SH{ ~.S[kziFZz&=m}'D/%j,SITVB[aDwnu^#m1S~gEu?%Lv+!.Q;)~k+l2#apKC B]e:zC6*-=@W2ASКY6~#֯Z[`]%<6'4TTI'͎6gq rV ~qK -TL)^pjpl>[ ]U,gkA@;s.u:Bp 5֧Gžχv&8n\>MUltn<+2Uv+F|2BTgJ~>zA>wS b$P~h!`{R]pܟhG_GK]FI's{:(3c!?:XgilyA`MɸGfP%'ىs/7/ s7QU ưuIگRP fgw -1-&%2C:Ŵ)t GbF4&ݥ+H8LI5 ҰX>`~ !m~(iSwEPnlOK~{kLHUj+[VwB*qՑ˿.ÏꃾFI`o26Q t.Cac2:sVs"V 4RMti~ `-zqc ;İ!$ 1cx@=>X8spa dA md7 Gҕ>"w6hl\s{6hAjj!|Ѐ3|#,a{>V;0#b @B\ gtỦ(n \LY$Ej[{2^4U؁R nAҐW:8&p|Z~" idev[űc4H+c%gYZH 9/ЪܛA9y6r=.s89>*+}]DGڸڟ_*t2,MS⪝ÚsWߧ2#I -bpNHp"Vz"evS2o )>3"%̕7 ) ({RdՐEEI<.ϊ5Dmꟁ2IpCrŦɻPG玖^i%X`RC*(ߚ,! -eEw҅;qk+`봵GhAo.峋 GȔq>ZZEXjUx8#G89 .9pn8j b>D9χ3P'xČ`5Q# |Q4wvcӎ^uC&3rxQ*+:ñ~[a{n"HGA(ZOGrw]gC+2=]Mc .9y#̻tO(/5k" ǀݪIt_wx(b_DViѯ;_ɸ3i(dBbdNױ!d%~C͛׌@;oc8Kةmuh3u9%iD(Iid6Xz`Ɨ--X&*Bq:K X'E6L4D`RX_{\T,6/NKVjUd,{ud6V1;DsYc1ش5 MæR 5oe f̑㮫@7Of)bo$`UJH}Q0c{iȵXR LFá/ puɘDe:@N3[d5ے5*1J۰C_ߙ̘muum)<|9u3 &`xQufjj}3y}aG)^:Krxtr0󠿔U"+qv4}|{jaCB?ca8C@Yc(Ỹ$ EEATd0Rb9_k 0$@ /69EJ[8QLp+2MfIy/M\@|ijaV6lHW-i7}AeGH2j̘DoX@53gLA] YvpL׀m೉ -ݐr.N~HJ]an\5ޥ[Fx/P&)!.CV%6ʼ@Ln=arW{ 0.ORHMq=~rGg1@RZGײ3hG{v ݕZʘTW^:,Ij"+\~E"8?;B'"/ ?8j GjS!t 50;iYvaiB 6j6P'B*Gc ̢?plziZ^&Y|KbQ<9IQ(rHϋiV8Tey MVw÷4 c QO+n1āI*)w~ p&č#(5UlqQ+ V߱b&h.3*N+s2 $#U!ҜQM^:1ǎe<N%DyU1hB6GPU8^צ'ݭ *HF  *vBfC =oÚ |L=|;PYz_WS8({1qr;1uj0T$Mӏq .%HԿadMuF"%msQ:℩ `ٛE;P+AinDS "|XE@Zؽ98^r7+xnk ڬs#*6{192yHUŠDP|ى:ymDd*5 ٓpocd:?=E&V _% {%{h~%onp@!~<*aꩬzBgB>BڶPqj!_` X /ŸB^O6ଳ g%Q1JN-C%{h槙z?i>w`t"E̋xH#vj >t2>#Uu^UDakBRʣ4ߍZyXu 7WDMY{ĉk“XY)٨jtd7b`÷7Wͼ\Pp\as jj_iA@4XEi.8R8@|T]'E筏9NOI7\j~o_ugg(rKD8|ppiOTL#Aa[bhU G\e\UK_pEbb~L Gc*dC'zHB(7SuNMB%O#+lŬ貐^(VFO4bﰂofGl Fҩr ٵ܂هK䌍o(5o%pBy6\ʍ[Yl>"E}/J#̵R؉ 0RٸMW|H:,ͣ죡P_ܨ_).q45Ő}uwY~ 2 3;qQ_̲HmBXxYW%*׳džO A 7z{p;3 cIG#`M6gV31OkWSFAoZymv6+yU5 #Nhy%F,Ԧsj%Wj. }@`ưB V_|A/`h͘98R^$OʯR{lsuO}/{6Jʲ8.Q􌤩Ļ.7d,* 3-K!G/j^ձB0͸8LY:%F,B>Pg`B|I%G~:"L K&&zs#M>cWv:`XP]е! !Vd$>]Z4aF 1zx8;jTF&@Tt+ȀW,IǢj *~4X uUg`miWG6m:˚3Y`1YƷ昢>=onnhraqң"ﯗt({{y7Fh)oli!WGlcW쨭Wp R_1W}:&t7z$]by2e !v,u=|a*,u6@$Zd3Q}Q\I%83. !:%Tk0p,t ^HnEC@qx`U^e󛭝|vV %^`r]xحZwh>G_u. xGݾo'`9Y?!,GF{h=6P̭,_+pB|JJyrN3Ow$"L|-M(zAA,i*)4`cqXm's?Og*ힱpY3%[Ԗ=b!1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF 1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id526i1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (d]D?7 {?:fH\x pi71"+LfY惍x]u#FyHg缞$:BdltS*DDQUg:.+.Ѩ0Cm]eVl?{.#}G=Ggs3LDIx%92UG>mQ&1% YWVа[-?1x!}Jna|ވ92U^ءo8KeJNlk 8nUxJ ׫raVa@`OD;,WxV޻Cra]ӸV`ֶe7Q6 yD4|%!*@KikZN%Jm( e5 歋48_u89ww2ggH~S >~$Eql,&'4, 8mF3jbtNm9dɲ՞L>}HO{ eJAVl+m~Ndޝ__GS|=b۔y>v.nydHhA!GOymnnal9RV=#(þMY) N/+c$Zvſ@X~זmMXu7?/иcl@`(ƤmC0h+8FH[3|ʏ:}vJ}X=Q¦,gYZ 1I# HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! &!] !M젗OFK?f=Ь*f@T@feXAdN.)!JBofsi؎k"gW^tT7x@ ?ev>Ͱ՝z7&6q7I^ylM[]\*Tq3;U%_IϑBsQcwv ܱ$LWo76^T >T/:<8Xy ru8\Ua̘W8;$Ký>!U蛒pǁ@F0nAc1\Mš.9_5 zO^gF!:)cT/_$ aGg!#(H|`?TgI:| ,`تJZ0n3/>8];j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id522e1A' THOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[z.ҹ6d]~-f'Dn"n%i12'Dޖ9c䒼z4Zz:_2`O |*/OBIU eIXDLJz4'Fa~-.ԉTsue6b{ 4[!e *Ϧ^N%(N/S>,QK {.};ݣ-)ʧ(ͩ@ԾqCLu٦q+Mɱ KW;!,_vwNLҵ|N̉2MqLLu8D=>B"i*Q gpDS{:NӚ ۺC6I__^|Hq+ʩ&?/چ_b9-,1ϭGP 7ɀָ"9!Q1ӷT.EFlRH V\"ER=`Q4|$ʠt*R-> ld̮׹>m!;p@O8D}+ߋGke!OԄQ/([:jmǢ.7jǺǗ:+zPĶ^(Ci1ܫX ,iihZ&.֦ɸt8YE_\ò,cnm=տ7Ė[Zhm_(Ko$xEo`jFR9<@gzvʸ /b3$D\Q!'q F:N&Z Y>5՛0 <_ ZɑF\>cE^d `ZѬoS>>h/Ro{cu\"ɛn5Q^R7d]ʿ@n.eL0T)#Հ@6/=;)r+GDlAm"q ϭJF, DS2XI@PP (}*WU2]?l^nj8ؚ3A@]JtĤ Q'Q%Ň{F}MM^K~\@ЂqjJ2)iW*]Οgv̶qsM/` ޗ)Hec>og.q?p|ܟJVt s䩯T:d\y K}=rQcV0F¢tXAOqt8}XKINfD키04RT{S#f4m;gLt 5)1[\pS9bʍȸ~1nq]N`#*C@=r$&(Y܎kja1,$c|M Q\ǀ<iV*Ym_1p׭moY#4&^`1 MzrV@Q4D{g9)ɰfW3[wlzTxE);*d3?+F1j!rDbŝߡRCp =+ yf /u؉ŋ 7]ux}׋(_I.B)Dm=(_ё1{,6Չ|H5;3¶!2`JdJ͕shEug]fn$5UՆIGLbҌC7$l s#aPtY[uNnSe 2`ca <q{6Dv8y#r9L8;BϖI@k0K=aa\FlH:<*cW8vrQM,Z7x|b.Y&cѥrXsa({9=Ou>р}e/b8ݜ}.)$WYg`\F pjkWi8hr.^z- FW/mBl ´qGz'1>j:sˡ9wuI2KhQ׊@--ڑ4(IJʿuFKྏWBۦ$ EiXlVizVv E.饒gpOׅqwP>N~"P F˗]Vq Wa;Ͳ_Y`'^=zkowRvlí9Yܟ_lONWy%K=ɖJ\'2[˕ VJ+JߨlS\܀'QǾ5N7ȤBlM8g '7&Wg~KuIu<ԝI5>4!ePֱ=czDRQ)Ef$%|nzٶN.^?`k5u#A2ٹ‰Ѳ V_`JU>8 4вD.zb"V~uRy}xU6/vFYhQE4|='2,QA 1L\^ CB^yࣅOailjҵi͉ӜON߃R"0Dw|z) ^)3^(਩9bܐy1)! l5~ɰ6ˬ[8;3>ΥzAD͚̂>q8~YR4݊$g&2-\F U \+<|qUצCzUiꐲlmLbkMGE6k73H\ljM҈J[$`bSNOgrV}im?s@1_ӫ¹ffUxpP~3@!I~Wt8hµ#J%OAϜl2\0B5i4/SL7~!_gi4r7J+Xbv&I{+'W'|T ;d#u vvW.E#U4sє+>ÌiDΰt핋m9$롧)hz~1z*tera|If{>щ#ԭPY^?XkSHynlÒ(ZzcD#;_V:gifb8# Iz)B{&7݆bc_8z\I)&뭿Ӥ_oD !H~>8mD]I l}âIJVCQmp6Nc'-H33>yo0i<3LU@/ 9\dF֗P5 dI@>|ҰFhHV*( | &y`C4b5(E Gu0wPEB0<`P\ܐ;?Xc' AEɬʭXʇ',L(lRK]Z; }\=0|0K({TpH tm)1N@k*Ś3 o=4R[oOL'c 'okWж(0gBCq01*<8iϰfFKӭS.oP&k+ਞ]"E^_PdA-);v[1 uxa4#tS}¢!Ջ|ˊ$D}_%G,J3(vIT%&"s-^w-%ٜmL9c_Q+ψ!FVm#_limpMW SfW2"`jFNtu 0 e v$BFw >>QM]T_g?T&oZbّ#0egŻ&-3 /qBᱨUA +'=AFTq`d 6{2xND H#c(JسֱE#O dX5sR r-OԶ]Ln8_LVAt/;iKsu,"" eҀS,fTPÐ$B13$QJhs[X5ڨ)26#{UYX PlC̶];;tHEL |8Rr9>),0/=Z 03o<;tV(N{Ȱx%xKf{$(lX BHpU7O`BrܻEjac%z%!zSsx[5/󩷻&`m&ŝhV*-E *xJLM*BU^ĐkVq](\x(X8lkHs1sr493 o)!q=nC|NرgYZ>y9(ri=2= Yvp* gk%3]8}W=.[1q$FtEN‚!wdEku:-2QC$zYkE;E=;ӛLeÐKGhkN(v~\HIptwS!6tC6պN/`5pGUJb;%$ɒ-G3z@ Vhu !ќ|GB|)5|.K liuj"1eA-| mƒL/$T⊡J͈JmP%1SK'2GSYBp{4N!j^߮ڢBfŴ<9Ao6y>ڌMlYJ0 i\|756Wؖ)(ɯ;n">xt@~ul"z;u '|P\46iq^y0gc)A7^.YI!j'F~EDQ}ݫ EmPh$%h0o f]K(BTEt~sAM+Twb]~G`|_Fxʊ"}ɵlN!5އm΋cX*`$N ߺ?IofYRl'ZvjdܝNp^M`)D5Ѹk'گld gOGP`, #r+!?oZ>Fv>LVMS}'LKw)ipyiS\6,&ȉHn&VvY m,hD@|l%ךOy$w <*a歈PTf/a/{hnoaZu As||rsS h1S1}̚oySv2 8ɉ&Bq.ĉ?]}`KcIu/z Ay86(~Brޡ(!HUݥ/(Df{޻Ӈnxq1y6(O !A-EC#DU(mil< _4"W NQ96*=3_eImGN\ri@ \ԬB­Ty/4viϲE|*`j&.S_ߨ#<kؐ3kɺYoxD@nk*AqGatypRCzJ1)mIQC.%%~8v\#4)77򭵬clΖeCoLt1c͞Hҗ Tx^n0ЗmR,ag/Jd}W}g^895NƱ猇o 0'DTzPs t3kIsG3oT`$@RpE!o[FY/)pʾ j(H Gӿŏpwl.u~}Q(Gk+?M%Zws:ܗ~_ Bݔlk9Ʈ(eE_I]z zd"c\P4h5s\)Ny.һ(mvX nHI;d ua3Z\-#C\ݚ+'meDyݞ1t:H"\F5=hB%XNV @j C4Tw8CQDa t pt.("Ji%ԣ@Z*oU.f!}gjJ:y^"q)[PH?W -u\~O|u?o]]^ӓi\XwI<la:$y\]cbŗ.a-iw-H+6nroM!!~a\,1(t[>Gfv= hYcD\m]@Ę PIi-xAs%*rI rl4~ 64.#x2@'r@~*FZ ~*SÅ s ׊xG$FD2$ jR'iwQ}At85KОYz)Puc?X^*7i* 1i[_-d#H<ʭ1O2Ujgz⯨}t8m@; +m}o9q7-ˬ]Z}A a5x3pr@5)FZF̋5_{ey11Zú80y,٣%Ѯ6n!DC/*D5G:imʫ>C ޓ\~#Fγ,{z'D0@jS覇'&Kfr`nNgH]H)ǐ"d]@@Hkڏ4[Ī3pӭf# M=^}ΜX]jhw5#f)"Wr9z.)kY_ihmmHەNY,1"IyfkqrihPeT,P3TON4&IYiʸ"ЬnVed1Ed&OS1aXb)T3 C) y(-ѳM*1||/'RYw#=hҠsƿn(qϳGawI9W]"5(qEѾ;*TgL\d% kOsyidQ1<3[-RFu=_ WJM.`'@^j$ |LH]e*mą xP~2ntծ%%22JްxilOy!8) :omfoka +8'jc!;I .bވ`1me+-W sNY5^Wo@Z L <@͂{w*I K1%0= o1EC\o5SI-K.)8 Y!}85`ڏa[" -DY:QowF[MR-,WZ1pLz+鵣d8GvƆ"T\%g1! /7]KQ} O^.XY6qPƫs a5`fӥA&-` ;K@fcٛ_rZX;ig0k}c0pEgdlrD?A tw"C5Q~oGc7J"W}\\ZJ(ׁ>|"i+}mxrQ"DpI[n,pu͜״CO>ﭱnK;fSތ)FP#$[}D oDfA58xtXޒY|Jg_Zh#H.B;Im$bM4AŤ$($]Ϊm:2tX7+" S 1YkH2z})&6x<bC3i9vCs<]RLs5M=Mطn#H,1Av1NYx^j!wHmAb>ADȣ;>0"I؁luttg>۶?r2jŖ_@Ƣzp9*7p6K/Հx wp0&9z,;J |'xLcx&YG#m@vf #C1"<mF|^RVEFwo^RkTO1ԮvТrD"]?sbyI=ش 8 0xfEՊoHu#Vv O- '@9yu'Nq-־) F&K;Δ](bFHWZU/n JnEQԼE-!sѶ>;>53:# \qQ{2ulPw(C~w?(T-_/sBGKSziBO7lgƇ;<Ǽ?bN\Ʋ CgI`sbF%,t)60Ÿ;i lhm7n?EVw<N@<Ւ,GtOo Np: **C x+_4q+dHξ鸵>Ʃǃ?$7Ud+A:oΚ8j"amsؕ#\7(:"x"%& d\e}XwM 9:eFgwz|^ 4wFHn Sz]@1+#b !0MȜvʣbGCEX,FWa6lD6@Irg"Q衕@dW6h)Ӌ%r $墣Kd"Gj56=i8y8oA&Mef 5(ڈvuqR^8Jbr]kȌy'puHˌY"З|K yO d! ^oҰrͩC~H9qU"`rPY/4>MÅ1-zQl1/GV}Qi4 *_ eZU)1%`TZ;WU0,O-f^Gʉ&X'{Lf!׶3ard ņZ&]a NŐ[*L$EkBմQLzr2G_S3۴_?GO55At ㉔^37?%Oz v&3Fwcq-pKw 00/fT2fa+!E6 -PxIdՍZ>!5SU=PwHoZ8+^Bn&JR;S6$\_خlG>R&zI>7 vyc /;E181ZQ>7cnEZuo [Gh_cQ1zhqP 5|PzMZ@ٯG/HRP8Ujn$wqE)&D-zWBH@^air'J9b^:)E-ˀkDXuBN@bz!d(4<.'*iHtmR,WLDP:)QwT;K,q*95tIm͋2:3**_IbMrttcvzͅ+cDRl{ ӚW%,ճbPk3L )R)Q2tBаl~ b_뚥>`&Mw[NIF@FDm{&#IN?-v_C*<ۏ5`<Td(' fkl⹆ڮ MH|{p؁$d8<4ltS(i塤Q 1.΅y]zX J05fy5\.Kn/̃_Lt"dγ 6]p,2y!.)Hpd)D:b*miRҩ* x"m noػ^#T+DS^B]Q8]O@6L./`lVb]21H ZOurb>Tb=4u,:L6_v2ؚ4x9LA˕Zȱg Wz/ ,ijB?A;@f )Ȋ\Y$3w>qqӑHmٍsDrإ`/YƜ9,HVM4KƳ'RBMaԞ>uCY6PW9mr&`ݝ^?4ot&AS)%(yidِrF I3>꼳8=@UVc3=Y̺_)Vί} 昋T_Ԏd SDVs/!yC3y^VBq/ÈƗoHRR"/J4?GG0y#rW?6"G4#\ z@+H@0"*ā4h*Ьp]` I\E:9_#o\|e" ũ[hZ;&'N cJpymp;:E[!bNif*Kv"w߯t8ɤnXɳlusVk"B͙ dUxno.7AR9'˨.G~b,QdwNbU7L*Y%{lX_U+C8whB\%SiS.CT?B{z}} u5~ׁVPdPs9 ǻZR)&'7˛R e @t$m2Zmh$a'?E嚥NК;prheA+ QH"@/M;֭ RܔoCL~:)u43Qg1K㌍sn|Šົ#c?E@h]9ZR[8N% VFfTsq/ C q ,]6h+2G~M>0C>2E$/0sABG]vŷUZP#ō Xes!\JqjjFp]K?IA3MܬNGԪеeA|ꦌ7 PZV3)%d 6s F׿/Dk,>cd_ =UK?hW`-њH<X[ ql>( XJ?vG\\_x!jPHqtl1vAX$dTyALVh}m\sGjO֧n毒@5U5mB!`D ޿(SYlIsfzl)T :`Amy`C4j5@'lr_"ܣRGV?X߫+1oyG3-X2- t1 =R8pfY^]W_7X}ҥ5J-TwtTןֻ3vzfOʱ}(-p!ۮbpy, v.! $LL$ZH69{ -Ϣ="*DA}{=7ꠣމE`9܉]Q nIr\sB1`~ N^DN;pnDC߭:@h􀸅LTTOy:-lcmuYFog-(ZEh0X&!y<ty3;}`q~nK:Vb}vY#'}S8kOBE!$L3x-2N <Ђ=7+9l^|o3|[|~ z*^F)jyJҪsJǂ8'Ą?_fmJtHnC&CݵGh/xlō4򬆫0K<ʺͼ۞8#[N2DwNL(_=^ jlCtlqx/d̑d4)H%־pE|*˻⒫c j8kwaڥ ` /,WI\S{=UH;z0E6 U{-Z!xÊ$ce=g' ;P#7Fj\ Z%$Fo; :ùW Fd%Em6Oy&ĐpLG!q* u1ؖG~ƥZvf-SU#vJJj|Ԧ$*9&7z"ʜOwCux(XAP¦ja'́ x}aӷ, {(7̤h*lg)sa99{!Xl>^Uz!ed2-zE#[K|?vX5d/gx6IN܆w\4+p_Ag?crTZAH 2 |/ȑ&âVCUa5V8?%o4l$G?7C&[ ƶj22@W}g=F77N10Ȣ#YŖrLYmCQҎSb4{-e9Ȍ r [$JnfbC`+945\rhKH &6nÁZ}FWG3JAdn5[qSMJHذW`HlZԲ?*zj-!ypzt37Ás :Rxg_/ISu,.!"T\X'zH{|eR -Z KR ,3Xیevv釶Ϳ;J*I*76 "E|G$;k{wz$๾Xs O;f/տvZ,6ʧodfՔ0,rzCh99{0]|HA|N^I2T[<ظ8IZwq%W4C/Kx*zƝ%xb 12 վH1F!lVMA쪺qԒːgу{=2^*w{D)ĐK ɗe6qGREO,C$\Zim.-?Cg)uJz 2N:iRYcN'y9<6X8,G0X, Md2խ07Uƞط҆yMice#LfYHqGFl%"d i kFLj[ |ý!ZX"#G1bӾ: He?ӓ̃1%@)LkɪI;ʗxlUEg U'q~\q[i]ss`C'.yA i@< (SKҷH-x ucP1ka3ܤBIbZK蓻޹fˆdPߏ)e:XH\`JBXy%%|&sS=$ݷGE+ ꄢ&[P΁5 ?(5JCA h}}yK>4cM;'fzQ{395)^C:Zچ>ȞE|rkmڂUo>gԬ]Iٴlň9gcǕތ18ۿ+0nYUw2*Dv%`@*,gz؍zIF?4 F/iݕ<5PktwQŗ !H8H*^E|uw+tI}^o03|率%H}Ljf\-BxUИ/cyS-潫كsdP%wQ\r|*j[/KZKEYoY >'|'rT!6yS$O$j}e.霃*%BN %{ʎ[AmQkE$fñ2F]ǟo0˯^ba[ɢޑzY;oׯ'd`ՓĖcʴ3\ybC.-%\Q-f@{8| H8S#/;JOn^["Ԥ(1ʠC5UTbw+plqew{E%Y`XQ,7="ɷhf{4=9Lŭ8D#_aZP[pBΓfY., pwoZ#W枞b>MMoHlBGXXDy.͜dvғmNm-؆ S,.K@[s k Sf+.~mt[=Z ( -j*8B8*lD->C*c]w=Z r ն$ç Y/x9!cpݸ!U҉jȆI' pH"0{(GFYo vLuaQEIctG 秇-x"EKߦfvv`3~hqWP!L7Ng^4(~"H1% >ivAd`6 QQӣ̫8kD2BeG^=ueKsh{!x'( Ha ];DcC,h* uE1?-8X HmUS ze^/,B0Z?6=_U/uS1KqV.t8UL>(>M=¢pK Z' KSĘE5)uN P\b)搀:Hlkq7Sy87KP dbNNDO#<U0nZ9v9a r?=;#d*=% MjX*ºSɎ?ƻ\xh*0~hK5z{RjX/A>RJ vm*2~l\"Ӵ`Y0_;'|J.;n4h_@(7>~+_P^9eJV=R䜙 s.-!0%|{Q7IQ͇̂Z/U \6ƨ l ͚ͧ!ecZY阞Utsl!ۏ*^%@<*aүI Rz 1}ИU QkSm;5.hg#W|ųd}-?Ð?ɰ M[Μ?dC%Qyx|F=zKTJOք (kC@f vk+aw/x'\aS0bx&赦73i1tBd7R a0 ~qވyr8l(=ːAh߸yto%R/y{FW/#Ms NWWnts9H{ws33݉`, & U~bzE`׃{4lvmED1S‘=GJƯtG3H[:z˄q@K.N-vIW~^r* |  QvZzt7F~ɶq2d?z[l)\r@W߻Ҝ {7T{R&w:lw'+Ь˞"aD mM9 B/ Z|j=̛kĿ<@maGAv"[Gby*p@)tD0~gbE F/?Zq;^\҂ٚ_Z<Ӯ@faw}J 1d,H͚{ʓAB@!‚78ohѮbT ]RxG^~bF;tRjEe<˕qr|?"o9!Wr%g 0t^qҟhT ||[aq&ttA H_X:F("e"o_P6̜?ӬRq77B} &`(R|skJمy..x||>tO>i1oV},7HGPSOe*ڎJES.sI%X2l.h:T" M)LJG~!`${LSC$&@\duGeX]cg@Gm;8hv gx)-y[xz%! 5cHxd:w)_K"xm\w"`n gv5v1>F=Et:JN,6&m|i ] 6NV8H̠ެ-afS.J9#"'l{7;DH6v,M#ߛYRn6%j;7BIVfݺjiͮn1y%IakFzfJH|Yrb2nXT=ӉU `UL"NšCӆ N,1Hf:8.,Jخَ>>oh'L_T[.M^o;tټf8~ݖYk+]C> nz%*>a5Zr&+oz]7vomI/Нau`'u-nL]b|V 0㜯.)RM ?[%5m'DTlVT*ReӉѨlr:7qIS {/HR a†v9 ҝLPZ,-uӅt] t$/qRқlE=n޺ LmëC@B  M{8#!nl6Eܦ}WL|AKEr  qW9 26Zݰz_3w{!ջa5ʷãw}8}@4.Mt <ݞ)7GܷW-B?Q5=2=Xa̗i7f:8Z!Qw+ 0 wEXپ#\Mtr\nn! nFP%,1YδW+1Q-'i-prrdv/Ӡw  HVtصL5I友VEy&`"45Z/ѯPp ʉ*VC[lJ_kGsasltK=G#9u \Jf9GHeXrp^/Ɍ 4P6kZ 6 $ÃR}1)QZT  ^rUU5xCZz8՘vj}OP:1HESpdhva kԥ&GRV`$͐-ܲG2HXXpM6:p~r6IU X2t?1է6e/Ḯ%c38]@͏{ЈHW"o\;uw_Jo'"x1:,OZ Σ }4%:cCnn]}@T>VNbQڡWi-햣octauI=ST[HBQwA_6TUu\/L[!Ja[^(ݛ}! OeU]AaFrLRO<UuGNS{0O]+I(xۣ$=;wP_GR -k~>y2>xVȉvK+q ^/s2rmh_3mvwMU5z{`e?z)32Rrݜ:+{S 8_@1m5,mU&i]q:.iR'%۱mnm"kzN"R35Ɔbɞ'p_(VܛZd 簕a=+q=(9g-)8Z׸2^Ϩj,`H0t|cq!hO0&==/4S@m 1_^4>Bv$o6%Ach;X]5IE@gVIL'!Lt1Xr̩ٓmar51=. z"vt?zX~kҀ`" 6_Z.U,ჰ- ™VќB M^ F  3Hyl"|mwh(;C/Spܦ0PKoTOzmo bdBc7P;RM<#pMtS r Yo&84w6'*K͟.6_BW|x_8H򂎪 l$MqUz7a -UuzYKX-ªU bG3Չ>NP~W dޣ[{vCdf)/m_tlQ~LDUMnjJbUdpgRhǚ93)_ٳ7jͩgp5\t$P#Щ5jl y3 OtjZtBWp <1 u{]R gxb.Jd]]{r!]8:Z_8A0[y* 2| 33$յ!?[}.HQ0.!0/Mݥk+i:a U':_]篅N_4w &qNjlvMI;aE{*=WK&b%kb &"9[| O^GvGPW}LJߒ-qd='ﲅ0,QM;`v 1U.3EF*粀)q4RN1;Hp;nV*{.J*(Yna H÷pF?2;A*!ݽ6yH]||=3ōO:+Q?$_a80$k*.ʛנ>rԟu=[.,W_\ fm L4yӞ<@e>陱XQ wҥ }&"Iye1]azrMvvˁ5pSW$ 6٪мmb'骑 H˒Hh2ڪ?0k`^z%a:V6'3JJ.:K_9kj*LP<_AnJ 4*z҃peLZ M(&T:1,o;Aeo[JӒ9`HyNk q@ZH`(i8"<QX)V~!^p10K>9hu_汞0⧹R^!@0-Ẑݰys.Xt5yB)N=/isq \%E(ՊwJ3I8GA2K"~?H$<2iӹ[ah)pJ_K)I:{ x݇|(:6bzFQvFeiH0PqrLKU;h-_M.o 2%{\|u4Ħ= (^+Mԧ߁C ahcZY[.pϗTEmo8 =`4ZT佝TTYK)e=nl5% gsAN笓7~`VV{Kԏel%$$Kqʹ:eP+GKj ~%5tE2Ud@Nmk˘Hl ;hk3ZaZxR7!7 |ܱ:&'-;7|eE N]Jn P-ϽdP\бO*Ul'\ISV?:y nl#pGԠ(V?%2 eoϧMC"=֩r(䇃k7VwJ`$(*g|w\Ff> j$Z@++ny1r#0tS4c$D(3+'ZLoRKk" bʋM2BkgQ!.<|USeXV 8t.C5沭 ҩb$g59 n8ʝ]3 DZy g)|m}Jqzl6F>jЀ߸eu;u.@q4 $44Y̤w}S< _C߷#[1/ęZ: Ғh5_pkXM*)J`qHCVh xUDTM[WaO$;he!.ߑvnTVbb/Epcnr*(wX#O fB,+ 9g"Z&G|WEx f:5-_`욥6E8;)/"Q8'1FV ;5WT+skE{HCV셂Z:a#S̘ShbZm+R@R-Hح'T=ۈn$E<:"2l-GX^l[-!g6YAI"E˻z8o\FM)4d{dNafIRHzB\bx+x旟m s6~~,$5оϐC RajXI:jaViwYopw~MS/ ͨu_՟[|^da6P}r۰333pxE}0TzI7?` /eo[oaAN,plB,<8ߞN>:*-8\jh*nwi]ekyq|?b灴ߞ>trO%%#_DqP̡q|;NsgiB 0Zu)?BVnB -[+JX㞏ē>66)˅'rFU%ꁞV%=}tas(VR1U1I);EQ"1IhT!vQ LHIrhH䊺: UD+N.w:BzAƳ݊ AR-@ 'rdr-m&M_Tdbsʨ*Q+X.2NUhMNzvMÔ8@WDR'AR&* Ғ;iIK;0FiR$rf m{,"&TFo7JPGN}ρޢD7bYኮm0^BQ? d;>,/vtEeҩ@u\d2C_]k-ٕ9%$FT!41ؕN)_[>u}DWælrq҅J3֑H=Qg&*ÎhƏt)ٔ!{7s`LRGGrlRO_F&˽M"Ku;{zڹW 8."ʮj&S.tƤJ< gYZ  * *n%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1A' 4HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z{12FVrcMQ9A)x@k,N!0Q2^GKE4hAkD}>^*U Uh[A0(WH:+9QKX9!"ܪ1uch6+ʈﺃeV=φu,R7(oUx/ ,؅LcuEAuJC4dsЪGe6DQɽ=ܜ;d.$;(sZn=YOl:.?| Jq0Tu"-" \(T6̮/a&NVףy~7 z}NӌV&Mx=':_/z-|R2`З>2oE{Ň p@+'Q{=tCX]xPcwQ  6|\6gEտ*s&"UỼ=mxw&X#z F;h<Ğ$tzlB<,t8uL{x}&,E`6АȁQFevG/-)I/W@4XYm_D{yQ\Uy䇏OiMkVsDu+:kwxqlюU2=LӡgY;‘%軰$'26ʘ$@@ڒ㉮ {$ZIdGT_ƪ[(F8Vx6 ^Zو$gdT $aeT 32.x, ˔m-Ak@*lqFDA { Ep,4WY8"ῇ6CO#_97h=sVb̿);k;m7n30nPd8~uJA= D~LgYZ @@j(1I!^HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files~~/src/HOL/Metis_Examples/Abstraction.thyJ'1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id520&1M# HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! ~] !M젗OFK?f=Ь*f@T@fXp6|0hiLךO$3:"!lr#>lMPmf1nlA𙣎{_yP",8%f:j1ZnmYkggTYG]caԁe Qh^߮6a{0AlΤfyMbv"D/R睞h]b"I|{FF;W_)!8F&12ڍw';q1]K="(,[+ 5Z8;P n/t$jnzց<"I>!^ ^{Tv|%!;Ț j!Qs]Nb qCL9EqfIl4dl*ك *KgPLQ ]Ay7DEM&gqPJ$8`]S9^1%˨\ N͘L @Sa9u/㽽Ad4~ 8&Em.ټO;Wi ?` $ !Mxaϓ+dvBI&};tk@*ˢc>vĔ86R۰20D5Z݂L(*],ޤVWJ⪽, 4r)DؐLX+ArcA<vę|Iц;)rT;(68Rlsӕ=cJr̆5_[ p<]CyŹ~\cU^Aٮxlle i'b!x<>!tSf !G }srUCyÕkS=wvX*/Ƒ@{\ǖtK moffҒjhꝃ7ueOY~;n2G*\3c$|OLvotʗɓ݊xBXk*l@)iJb4XMO }[yXK̈ۻZpHIhȘ.(,\Ga s3 [m଍C uBUۭ< "ASrХ׳aa3g˳{*߅d>$# 36:_a^:RůKMܞ. O ӔX'9'0n)wvj{(bFeejdr. 3YЂ }6n; cڄ5C@fv`x?>biA1@D(A˿utbH䱉= -3{3|1hJ z0ϘQr=^1-O G *SZ&S*J(Na,ᓶOA'$?HS*ʫ}V9ƴfQ;JWq@@#k..sH1΀/}.uJ47CN(7=nLm\ _Z8Nkd#,[u?2%-K%ź]؁c,]2H[\2諐薕iٞ6GKsMI A nBZs q8~ğq>GvK|{g. {n㈞: HS[PEj! 󀇲%'yQB1N,'Bh.l^d0u. z Ff dxN@ l,}$ߍuvlbs!ʩN}*5M#:w`fb >wsexIVt'=/ desJbhJq|=sރśY jݪuNe"f^ `Sv#j' DE̓xM_W{s"W[bMF0\~4yf>ZB>Φ&۬a(xCYF;A`A_ylItzؿ ԬGi+uɪZAkQꁲ =:[A.qG>1NKRtⷠV#ͷPIY`JRL/F]&ozG$C3t/u.Gfx%qd^=/xn;)v6m446nl//*+ Űk4WAi\7#'+P2'wGA: 碶Pp]ÄZ?n~-a¤ye%p,kiC8z8(fm` hCP#i[)]4Xd:nw\~z%qNDgTrP*HK N@M< p=TRjZMgoN8a0Cl!6Fl-4Ҹkv( _AFypx56vG2 6jd=YGȇɶ\[?f7ЩMwcPg|}I/usCBg?PI{ X 6Hw}ڱ )MNwLFpJMOdCwe3U6V eHrWe],۠-:SmtK^$K8aЍPfm)vJ[.6ɮ?rjĜ χhծ^yAX àgbKY3WUQ}Ta4. aL. چ4Ҭ$_bJKdO{*'@q$C uUkǬSƲ*AXd sJ.}dNYQHz44J ,4nn1;D_=E ;t<^ɟ~hE4v$pAMݸCXs v临u`xRaF.('戓69A"#0b0PLT$H=ᤡ }M-x\p^v,TΓ LG͕)rҳϢD}qL-h ʂd,ڳmu BTB"['ʹ$F$^Xkt KL`dtpM,c~dFs jY'L& վ05Cuf-mosfÎ󊋩t{p?.lE?(t V=FZ&͈_x bϤ957@h7 W'<`_ŪR03ƨ66va d9ސweBߤ:d0X{9#t̿n)L89XMNJ'??y}VH p8Jkwfj?Hy3Dc[٬9*R,'=:R^Lx0?8wd?'™E܎p4e˧|zzjh>r''L˝n3AQ}N7ۓ}CTwnYzUG9&t,>Vc'";y ?e[ev] !/O\mipO#&D5Qʒz߄:c^*]LΐC:l ac?<\x^}5IR7| ̬&,sbd]!|r/xe2HN 5/ݗ3y"Rt9 )~ҹ̹kIt*@p7x};b0E,[X4 /đۣJ}3}0v}s>{IuqE~p7 Lh -*Y4zN>J@i>u&EccJn|Mx Ȟ=`js~*D:ImZ~Ha,RZ^ Eh"м[w8J',5CE!.G^$g;T4-@yѹޑ86=,Ѳ'[?"99&;)9nS[8  S s|AF)O]G{[q:q4jEgɄ잭ś5\nBlz4_[fJ+_E|Berо2rbW\T>Q,.oۑ ux<|^dlnpHRk/Q55o8͔$R[\Or8nV]KY swO=w-b3)Q}:)A)i A6]8L47̮1Vd\)_嘾țe/+i}!v&}tgI3ŭ(_|o$EK_`_Y HZa0|G`XوJ㤘 QP b.@ٰrD B~o QzUQ h~/^a>pu;+N.j6 PuƐVD|b/ s|Xp.3EbK|]~y-z*՜9x zlZ {2 )ObAss ` p00?]<|L|@Ux:ۇ%ȇNBsxU7*w\Ufq6:'r3u q螒wR)L-E8lԜD_-n$z:Xہ =偔rqj|_+Iӿ ƺ(*~r/\;?fMhi]ɜd1L{X~U&ya1TQUhWM1 1xPumc !7CMdfJDcϐ7 *b ƎRdG RivR$.FÄ;DŽ7?#;7mD,V\*5ݣ.lӈi2D򍎆B6/z*@d,`b3={kJCE +\l& &e_z x;PQCPZedʛY*idmA sH.eVP;yMRPܡ;$`k*.ÑE%sx$Rkˍ& Cd H# ՘lcVBOU1:d۠ hNȖ7\gUS=ѤE_zr9uZ39VOcÈ,'b]Rdv|,cs胴])zid>Q+s1 ZjUhnD'U#fU H_,#`ˏ`+˙4HPC]G)PJ/a:0 PC51<2A%OuAaUmwrhPn߉oUS#4Z$,bvD2CЪ5H%Eea=ZǢe/e ;!Et$?CXL, $+UA"Ie<-="3࿠&3&\+1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC*1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id5247)1I# tHOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF! #2] !M젗OFK?f=Ь*f@T@fl=|@<gQ}x-K=Jq&0 2+{v3޹eg' k{pOs-2նya xnu֭eao!~<24Yٝ|1%Cñ'lqZ($30 TO :@ ф">Օ%K#m{0pdrŕjsLc5aL+Z-Y8حB E&̜n0R_Ruk@쬱I`'i Iċ nON>gwh2!8Sސѐ7 59`qhZdVEy|AGqlabWX,# kn%߂F8OȔiJgX ~ IJҞ됽(޽@^10[d2WYLCE7![ ܧo1kD.+_A F3 ![9IL%s,2 $+2B+t~,y"V)oH%yj)Zՙ*N4 J63'obrUl2VEfYZwGZ^?6jE< 3>sX]> s .Pȟ*$82<؆*CȌK;&\(ga9#$5^ԈЉÙ)@Ku-m.M0!XyHzVpK g7\'3r 0P"/^L0W+LD/O+/![_FBxQ`C!m5txl?MYܠ#\Sȹ`^];r`-R[{)67~d63gҋG^ү~+dJCcRI`x~hf S*ƣ #h1LӋڼ⍻'rSQvӺ461f✐.<*Ή>ݸE|.(B׌obK,Np`W6i~6o`o#R8VY1gJɪt$U*ЏeY?tm(n-6WCCGjl utZJۀdG.4>~DJ QIQ +4x:L ~}_#mvFė44G p+siڲBSUڨ{e]:|;_E#vWf'#oιpQ|ԽjpE/E!}T%Ǯ}+Q3cEUKuK@镵󨘑zc)-@cXCAWվbӨu>Fdߢ* i@?7sf,4n\OP I]? @kB(rrVb1 U쏪k+&]jT\]^iTW~ע4A}>E{9ت6/\9uJ&eVK7CWn;c L@*g˙^+q̓#$woecYjEjj<\!e#yNy @س)b9!=F`[H{^P7L>&nzE"eL>AMb-T3g(VҭA^pqNr!-(-5WSz# T7Tn`.̩1[:<Soxk)Muc1].'*yz|0Zn@h5[Vs]oePYD(bo{# YcUbWB=TU~b% ͓;dKT|!v7P%{H{ l QeFc4{Vxij6 ٝu֧[ e{~U M+e^gC|T 8^H^br1q,W Klȋ *N@oը"$>MJa =!Ӟ+CJSĤyHE&[!>Wr02PKlP!#x>r(9mS񿝌А4~Y'v3B3TBΦp+<\{~rP:ScĢCȰLbNX_f iUe)CG4@g-gU?ԃ.o m/Tѯ=&8S֎wIYfܡ>M>Dd6xTXm] l=ФW !VAσw~9O LۓCBbZMv,' Lʅ uנ4Me6e?)8ח8 R"񦇜|͍^"FTWWlbQÚ>l,-*Y`ڛq+KiSoո1HDg~,~.LJWd5h+A&,ߎmA4oEd↣;骚y;ћ"@6+[ ) Q@8H>5U KH | {=Aq 7 ;% QuTȀ~)H*gCxnP[o 鸧3N;Ȗ|Sgpoʪgn y\=-ըȿzE- ;wxHad Fs90{2rVN +=P:!pF Mz${iZRjDi}HpLEDGMsظKJ7tYsjD+髌 l[ lcNaDʊ¦IkrGh!?/:H"^瘥 2:e"!['ҤtS @:M>rUN8̘ގt ]Kױx:טyQ 2$Ñ͏ ľ;aJ4=MR3Mu[i.<:e_#$'y(`_"Cf;%Z}5$o&4|%sǚpDW8\_ 078l-kuL g ,&1lj}1,ͭ\V-sh:$Wk.r6r[N/yAFPZ$OFk5TO> eXXX٦ DGiS2QawQ'.vDeB Q_A-,G˶-MMKRYo˟Zaw0:' hV,` JAY.>[u&Y`q]tf& -f7%rK̩Ӳ;$n1gGQ̓e %vI+M n=8wx%vҢMZ3 qb&u6P~^,9!A#smô̯gF#&J) M=}d*?D,¦$?MIxl=v0+}*i,x ^`I`%Pb(!E>jiBӯг?2j.v%KXКO ]Ɗ.O6~0'HJs!}u4_W-OT)泐MMKQ|wm51,C!U=]=w?|0wn$WtxG^8=@uX-@UY{P f|Ȟ^1q[WPFG͗~I&G:{PUF pĨ"s~zbiDo|'eҾ^CpҫnпjtjJztiP:&ڒx,>#IiH{Z$=^Ba$8BwklaF[-_/h/aJKS-8Dt!N9ؽv[cnڋn)#~Кx@Zq=7uK0Ymڂ"N$_m=gRw%0EӇ'A߰=4~2M)1n" crƴ]Z1X[lr g/Pҏ xWlr YY"P4Bc"NQjIwxIJZ[QRHٸ'&03R? ZoRv0~XΰMvJ9Gg2JfE@Zr_IRTqiQn>;5kH@b$`сwBsImPOR2֖$I!1V}4XaR??]zܱߝNBý{>.hEL\>Vjݞ8gW d#:{@2*~ehTpe[֗ސ)v{u/֊[(idkQ~4$y,3\X10ù0Vsl'Zn'1:3(c lw9BoЧFs>;=4c[s +_t3Oe4մ:7l۲X=mkC(qAA‚{mġr{D'q ɟ=w3ވJ|d_aڃE98}jr18=[n&Kz)#hoR-J3h6!7uNMfU0OW KVF}udnk͑clZ ~f"# Cjγ W_BP il>0wlKx1BxanQ%|GKۻ]o-1n/EoœNXSDy6+vnR7[>@5*F~As_"WeAWTDMJfNZs wg?P:evҪ;,O>z <h$sg{F4zF=~¥to!dڻ Z?@ZLzBM/8Z'rس= cA4#Iy&es ?HqXYTá7-+qZFMs9 K:J^ ^d6QK^ oeĴ<о7K9j͉Bp'=\4@{^DuS%ѴN.|6jMIiea_{n)$*$3J^{ӮZT<]9kO@R^:Ύ1v(@:vN.x0ݲ}b& bҺ .i1[Y$=/]VM!]<)9ؑzKx's;8IxC}N @HT-xcQcTrXЫH0,m?t>KqB2k<Co6`L`hʙ@DaAKav]%@\Y< <YB:*pw~Kn~:fXvodxh7MrMIB8 ˉOG|eLQJoS po`I JSnh 0\y{j38_~ Z0C;,S%c.~#Bzkz& DuX9$A-.«&WizWg9$0tn@@ۈƣP1Mh0cLT?O6\\ 1*ssQCSWZ7 ={{4Pb' tJ.*c870 W:(e[j >W`VG>3U^\$oR #*38#<2@^%!m%)%j9-n b2)gnZ˗&?BY2<k[gƣ}p6D)mxΛ&BƢH̏m@3vu8KGnz?Gsv\Wɛ,^l 5?wPݲV9b ~fȽ+%3F$YSѰ_#œ>|u]Z;V|f};8K6L'EmCёe2Es!PEepAS$.3#lNL=%s xF@z{gI d*L*d E/Čtj}W F)i6?4ȝ}ؒ&(A=̄qKk*17f.MFEtHJQuTgsM[[ul[ LYc XZLe^7L*{۔(6;ըgTȟ$K9'߲-nYmtİ=nXف:x|UfߦZL :!ݯ ?wrTle wzcϗX־_J=ʁƞf[* { uo.B.i ;ϯh̩[ݫ,gb]CT劌$ԅ[zX-Rt; q2ﳟ.0,ͻ0#0#G!ۃC|{@dt`:8>sZ>N? 4t) 䑈3!#)<:`G?*t;4~ +J`o+V7$ 0G^GB۠o TET[V^/[Q?fF(w󏿒Ec(8-RU#d8s[+MA0.IΝ;YZIJγiGI~~;dlQm.4+# Q hOh0a\WY-,$?0RO&<5*h000xk"'GkJF{fa|@4%X4,^_ĸzcW,cQSGߙ 5C!雐 %.qv_} Y|@ɞK&޻T6ّ\bMГDlik5:O.T-QzC+$ܭ=H1|]Ơƺ-XzIed-z>GRx8y ġn3#4cM$=DdXD1BUOx!!0SiJ*]\lyi¸bE0"QQɪ36?V""Yr:WrRJ(p .;[S'Zf ýÁu Wr۵hfL fOThi4Q`eRH.#8X F7& sF+эD>oO_ /=Mk [ 2k*ae"8"rWP+ȯQ$z-tL5/Wt$p,6ʎ+Z¡˰?'bσD,\s7܄h}PYs娀}.80׻?JdP`-S.*sK-D]Ss~3">XҘo7Fb';)P(Y\o:S +63ΗYCDoYSs`PR8[;x1|L{SjU9MկJJ H,톀m4=fdw4"4|a-$5Mog3ܱv1OMNÖGr')A` @J+Gj2^ z4ge+ 3l^jD%+No@[& -VJp*!;NyDŽ8"GDH"]7K㵚kQ|. BS#g$!5Ds 5V# Gl@nB$xy< hб?!e=3Uhl>L3L)!S·U P.C N2M0[#PۧG6,D=lo|o@i1 h(_AՉc'E|=0#Oӥ;5yMuB<WoJɪ,Fm+]4(fܽ޷WW(e1eYYp>WIAqv2% \=P_T޷Nݤ]UPn!0n7Y8j|CQA-WW(-* t#<3')@0V3\-jm"AިuD~me/%S*ا,f: ~$0Wb R4[*0"`4oD pTmlRv)BN0D4ſ&n:sHc+1 P|4KZ6S,:  gy96mY[jq$Hrô8a Hv9CwŔވEW qUڌт-F6&_YD/l^F.lљKa{O*lD50hchokt!DGQ-[|- QtSgEX.O=e  a: -(\?6j\|@u] l5@A|3}+&yB{AA@#΄Aip:x8)`XECF$~`K$*MٱN"{pF=##+(H+pl?g)8ȩJ}}1YDa:=ū?MӪ+Gʵ6{cl@ꢽI4,73B !g VaOVW PgYh3v8(摕@bz/u:~9w} )`QD֠e#$*0#em8_FV4Oֆٺ }Hd },ǩێ8rҺ BNqXfq;Mfeyrع1`YSiehFf(~޶/[ ^J梾W OCېI_<ԃ!.# -*Y),!nnJFYZ9tp1yBmhEM%xsP}Gp/#faM*'yHV}xi1.vpb9pڛ{ go#ܐc;;T߄Q4yu0dz(ơq"W &rf[H)am;B'JBxϡ"ւ(4 TWJji& T-z5ݡTQMQ]iju?}OMv>}KAK.8 IhLNW:}uxq`~~泹zcdXv qJ]`͙/boEՊnЩϺǛ vL,p,ۚ,ydX?ˢs`H6WsL0;H1!K'pUUS,>ۏKj]yre l=ֲ A*AA,=c{-\gD;QXT7+UM<]sk;Q-(l%f Zʀߨw#s?i󣬤ߘ턬X"N h2!v2(I0 *5-kGf#pC T`wE>Ẏ@ŹAV9QT=mYBV2 hE3MҷeOW"Md#Gԍl;0 UaS#'k}ò J lg6ML[ RƱC誣L"UvIxf McbTpUI}#&LBr7)ې\WN˳ XEoEG)pgD]@5ӆ^ݕ]coÈ+?;HYXi.?sTq%UsU4sh P7`S<'4%ƁiFɘLлgYZ!, 1;# THOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! l#] !M젗OFK?f=Ь*f@T@fZq h\\kg9d(#"o|%!^!AN˼Amz;u !h/ .݉1XڮSKe0aT!x )>`0p&rbpZkGj-o &<] Ͱw* ^a=tv3,Y3MdV"|m@ ]/q{V}"bzLrW ӂ&_](b"Υ6-sxi=ӧLP{I1y,]t4\+OU/>Q=?/!!zUN_%/$jEJZMb#ȖW](X}Ư;heëjV)lVmm$~f7Za %mP3ٻ,ntT̼xI98f[tr27rP=ǭbe"xhL.]s؀5'Y*ؤCqY]oWӟ^[tpZ'Yƶ7wy1yI%1Lzb":;j$RLD.Ҧww,UΜ="iegH@ş_n Mݰ=)IrWχ%XC@R;n6:T(+1a䂞'CؒN02t֘]{ i. ". L9 c͈FzPjK%v~D'n~dd1ѓ8Q.Q`⑖LHVZ jV]+]j 05]Q:W 4wӴ)ĝEڊf'E9&lRƖ(׉On==3\)`_ܮr&͵U.aj*x,=Y{FVB5\vk*1Ưsy`gW=mx\ _6&@G?AGX_$R {\]SvacIb=zw>g^'8#qt&<: OCBJ( 2O4)ܨ<92< H^vMC8~Qk[ DgIa$[>b]WV{I>¿4qN/cȄ5׻t.ͱL'8v˽B@e +% $V orNY99&-{ L6zP[Y8~mjyfl0[0S(m?SnF &^2w(ĉ:tQ41G% V 'x*#B7.F<]X%1[g"`/k=F2 Vv>` iM@Y%:)rD@hTގ&D84QN GLί$U-$Dk4pc攖sb@Z0N۠q}6]4c~4x6sT ܿ>ZPz-:azef gO )V۫#Vf>ItR`keC V7 rn1#E1ZMU4 \ʧd#UU jg[F)y A|}a+<L[;Ay쿂c%uu3- U!,\οh|),㮶aC#Pp5mfvެB LRFqHoBf2= jJ-pe%doؠ'o0hS(}:SV9ن\ΕybnbwG/q^3%gAL96,2 (&"+.ƴ-$>wV],bmlZ4KYH MҮIw$C CHwFj)1ܠsUe\$f̺֕)(BԈnx&3nEv+ @CKSn,m /}r )DOޖd_@IJUs :*@1Tt#bXh}YCԦPV V2r`q dt uKS}(D*]%Sudr^K^?k3U H·wlD=;sYMUk.']I{SS*;w㗄j}Ez &3YRt]7YVE?$"ROR\^V1cD%$S"A ;U@vWѼ&)3G."-=@Ccxϧ(zVX,-#WJ3HL*/-X2TK2Oe?m.Ͼ` Hʮ|q,22WӼ-qXwKpVw8tXF3(Tbo !"D,2GL3S/%p >$VBw0mzj?.EiaLXħS9AǏ O+kȋŐ8T:tF/{7貎S[C|ye/ ey"Z)&mLI&4m'wFQ!GP7K|uvՓ&lSfi{w"fA rbF #):%p R ]$d2QA@Fl]h:6` %-ՍCʡx?YItb;x]KrH+({y ˝2{ʄz ,|W^4v"{=G[ 3*okɷ+Y3 olczN]P ;22/qJ5\]w\} tTQ<4<Ǫ`̅0JD/y Wɉz8_y>$zZ\R$v+ORj\!ibGR $Rw4FD~ՐiO~<7ZK>}"f׸/WH[U싧/ :Lt=`th^ b!@OxU"iJ&dbpphm,91 Gss:~grPO]NQ{AF?b i\p!5'HqwwBZӡh>;g3T`c1a owW4yS[v>%IsncU[[ҠND.Wo!E$_ x>[KG>H,qvT Pal_Kh' _x؍2~ `K'H~U*˺7*M&q\%?S|ӔI_zި'McTK"B~ ?ԝ<E~fPH> {94+rp*gYZ !_h!E51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[zB+QJ9 ilk]"d]NvښAOt/SA zni(Bx&9%Lg2Op$I S;#䶷U >ri! $@lDD6{o,/fAF@U}QAFfiUOU!(AzIt*jG-+ x>zo/ U_ռ 6Ka2ڡz@ V9GZN'ɯUE;y ut,h`s౟uO61dh?;[.PJ&W8Nj'>+gΆ. 5*=4xL'S gYZ31O# Y ۑUCII>jf(Yk:\:%&{)1Qq^sԻ_3qW ĶD< p39AyҿcG*6 &zq&b6u5rOD5E>;Y9߲]F|M@ݕB\v_II$tnEv02u3fN75 Zns6[&KocYuKf3`!aƚP6_-A˜0\-@D9o߉ 1Xf#$=_Oq c).'ͣߛ2K#-L#]՗txf@<[𴖮j0eb٭˴ "*qrH^Bqg {DUza9G4*x吶%"YByiT%6kX6-D]t4Jo;g?=:/~>T';ˈ♹,GS5W|nW3@Jn-j%:"VObٓHrg<찴0ܑPM;~Np0* MpPrlR7)i3zUASۯ vPpc"7TITGDkK0~X+:ޭZΛyS"is.RȒvsa#DnaYLR3JeUk \؊-eV^= *@C%N}qxySb ™( ]ˬ< Mya}ScԸ@-bx]X$ leL:kE%2 )h'LIwʊe̷ ]ED)-vYYt\1%?} $}~傈7`$ZXW 9Ү/7X(HwnB 0\6,#R-cn>09a;C_m~BUl^#Y'H Xqq<}]̑ 5 U8vU scv񦻞XH̅cRjdRoUW8:+Kql+^־)[&)P)L?ZIK-lu^Fx=xL,19 (XrkUvfX sړTr_HuU ~އ3[uV PN}}Zg`}eտRN}j. ~vW"HjΑh,Ogi)qEfQvV3ݧ#9zDG8! DvԜQ\~qHHZk$Iꞓyi[$P˜p`#Un͖a#?*Q8ub!<2vF/S le5y𜴪&xOF =y'>AO t7[(?aiAo߿e5 {m1湝DB_'9u:f >yGgܰ09e7|XWu;xS%I!\|[QWT/^ gTESc*T-P/e`dD3f q2)\ -?a̔52pwN1TϕlQ@?Ayᨘ@p!R\RM ;b~{LWiĕ!;lԭntQNv0D1Ē/NP q˚ fbEE "]wCrggkD)T),ڹɉ'f{`i3g߱m Qej7؞ X2w s)4c/AYvn)˫antHT{"*@.Ѽ 4 SM娏& m2H[&.)4=oh>)C bgDҪ@) ՘qM(ǯf`S_~?#!{R>>%AnrP#xaD֬ Z-D*\D =BkU= Ys'-nL4yj}0*:WZEGH"[/i13hd: GA0ab6"om?].)&k˅gz,P(G7wސ(28^1n:&$5ԗy0[LK\W%ua0V)|+&74lꯘ-].̛Wu.Pd\@&U(0 4mOY*r5Nd'1ͼ@Oy2ӴYbȂiC ԝ7}f9Fg#_zDF'ВDoMgYZ  o81?' DHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u]D?7 {?:fH\x%cdbĽJۣe8R$ H=="U(i ' @@MtpnÃ3Hm2oET}-lhÇX NhpnqmMkI"3(KDCowAH4B@JI<=aL>xC_WfO2EXMԌ<wCDh̿+1F얜3KN5_2_}5>elll-1bju)i7q$+N@0ۗAe*C㟱Bꎅk̚;IohLmCxY\ˆ7]&ƀ0HEqwJo%P95sڨC9qtZ1jnfG:!AՇ1Ax✗BcϵD}O9j3őGfv~mPv Jy^w;Lɮr% Z <٫r=uÍ gCa[D =W,DՕ+?-Qhl4iy|o-TwOe60FjSNBZZBL&H# ۮ70ӕzYC;]FM 4x< ~^d{J _#3DqQ[z&+:LϲTsej)Ӻ\+N&dTTIUߩ2%Tˡ)UjyI)׾4D;OR' agr4m 迢SjkD|$"厬Ȉ هyѣ %p ş3:VRB| lɷ7?,"8c\oUA".i[pڌ@ʟZ\GfUGUsSh` (ǢDr>*zl|a-=G|uIy:A@C qd[.Ux7[OC'u2?|yVpP2Eug]& =Fk(;vМ$s3HGOMrTnmSD2QAAҪ;cTr/&Gg$QFV Yw; yEI&Q#Yn MjuwH6$NQh`<Q>Ѯ !I"CVoRNN JeYnη(-H1<{ز wV&9E0*<ݾO` b/$cx80 R-u>Coρ 3q CJdjpok[M 2̞R۸i.ЅJ7=/"ߍ_4MɞXg6fLB_RGb(I6QR{)}fZǏTCY,Mwbt`Xm^bSqqe,;&WZ6@k`ڎ8‡Hd!#'#9#cR۷:FVSuR ʅO6}űオDP C7{rd5ΒImYf~>VFHf$GyHXٽiy. 5&\7D-iԗYf5 Wnɨb4sw[yXQ]7ƫĬ7{+)GcVE5N\8Up<$V(Pk=P0 .72/R 1+.$D)Cn_ |*E2[EWqF&'S/^LRgYZ 7 1?# $HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! lu] !M젗OFK?f=Ь*f@T@fe5N)\j\ #̚qQ-` 4d+8E`|ޤ((, ~iM 2 4@4;R)y݁Jn *T*/_X532Jʢmmo!&M %1Ȉc V2-`B1jPb 7:{Rc36'39kZZCҤ2$K2ԴU ⅾ@*˃ou&Y9>ږ2 i3z0O NQ1XX{[Δ{4:kLec}' qh~X&M}8?ll.1Y,4߯PM *U # %a]8(ԗE2)Gkf8)˙Nɷ/J8]H:$"\ǴL\J ̑brc (pE2UFA@&6ہ tV{?9?Ue/5rxk*})wZGK6qS7V/^*4GiB7㵇'څq$Sx=/UsRW)oFn"B `R7`\?5@rI>yr_p+ ja^fSgti\Q2s[R "Ήmϵ%٨C,[X 6mEoXkx T;ǔcX̴M;bax^"υeϾ-vdZ.Ⓧ@({䶽O:uxrj P?4H 5ȝMdǧoDY=4!uDFa>wX&M ?:?/bi،0Dyx"tS6fLy{qԧ3[Bxia>7*Rq+fl{b7>[!,6LÙrH./TA\ 6Pa W_`c䮘<*)P#w¸oIE qpCcQ4L ll[ˈCCN6b=?I4J4/!x1T@wʣ(e.V^(lSv?6ɉ]M<3}8>aL`61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyMowwFЊdrrpoя[?+z(ql%F~4XXm]G;8^J֊˓ GIQJb!v5-օsDaո~BZhmP߅C+B߉(Lu;zu y1|t0 y f(}z3N\d KS4zThfh#831AMCACV|6ZSp*xk7` ;rc%s40)As3 a"ƇH(O™d ;h8*[#P%BY*KKFq3E*C%4 xJOŤv{2k(z9GȊa3;gK~.WYE#-Fv?kP+ kF]l*%Z(X~[q,DbGDw c F BՂ*&[ t$V}`և)1RIuqW2tudIyxƊEБ< ?V[`-) /$"89p(%._\gM6Hg Ͻ=UĴӿR4^2q&3pq˼\t$E>>1tUhk+qwQ};n=JxJ+ -Tz?GZ2zi%h qLD l]Q_COY>NٻPt}i~\ʚ}س,3Mz;/0S),rXG1j/5O$*wF#2;yA`E>,҆Mٵ[ (̭#`=v6jjkۤU_⛈%tndЎp0e5S n6H ?k:)^ DCw Gԯa2ը˪]+XU13r{j"~R@䈐*.&/]&=KE,?8绷@xM3`ErH!iRp~Щ\\̔K٬(XT:4r"t ˈ6jvA\9α !4 ʹY](⬅Yu7F} omc4q.Aiow.(D 3~Tf!p>f@ Ev)Hߐ"m$\.ޤDxѯ)gH1)ӰQqmFhsW׵iHz[Ʊ? GX1ݫXJ2s93,6WU _4Z̐\|63LFN=$Y.-geXt]ޏ֐ D#C3"+\ Q~H Qс/\! Cw LE.˪Se _eHxi.¢\Ie)PH3T(Te1}o-!593/Iik2O_p?>510ze#6E1$?v!R&r!ElI^MlH|Gq$))̸:iSg;X6l ~ wF=wg-Edᡭ`p{lI7dY3.s+dUK\ cz7*N|7-Ld QBJֱkjԖ_^ql>;%RWry|\,cZ1wƠW󴃾`$Az^6r¥Ȗ`} / $n61iOMWfᎉΰiS)+&nF20mTJqy^#S"94/S o'ACUf] ga"_GQCv2BJ5wib D_f9 aϥDHwk\w h?} *UZ9n$)!^ vo,9@5mq\Eߤ7M)j8A9F`U0H,v:6 #AZB6QbYq D]Y&H ϲ#TR+R} ĐK;#z?kLM*dD S9ٺĶYR3Ϧ`$_Vkb(#m=FWd0!̦1z ]-AVE^:y[qù_ cdz;!I{}$hzlW(\<1ƠjV8 wR*;Vx;:aS_Reⱎe`sq2 qsk73gq,傐k&+.w Vj0Ax|)AkS׌>[[c+w)Ai?4 ]?"e`Ds!LzW$%ݛU ';~ q_Ezpl?EM-ݦҺז1S9֩A&ظz)k4 O:`zpev:L_7ka,/yi&q຃YWfA-;rz\آ 9dݾù$r6C/O>>p\uw +anaF0bD%7oaE.Գe:z.r9Ā0^F[J_LjsStXIf'3LoBpM:9f (j>){}gN噖bG>o(]uFBNo@c5::Őc:4E0 DrQH#L#)XJݭU/ҾC`Xau\ϳW-n\.QYQBǢw#=1N(E}z.ȧ!@7mHXIKCAժv(Av3:-JWec3鎖8gRVIDT(GDk9#PC5CY9X2KF%EGY2h}.@>,(]< J0#/7@Ð~CNØ:o`FeJcQLn g}B#%tJs0'#3Us9YV9*ju Y<5O4 +;h8;n 6zD2|1gOܟIZZzetw'/o!R/3`@Иs{irBWbʓKbt})DxYf83h-\ $ )!?}oL5j_붂S *~17 J \Nz!P8ɲG^b5-m~*Sk@4$hd=mlR$ѷoVEK8~q>| '#LА ,=_okW¸r"]w͵pwQ2#kz"nː6lrZ\;"ҲU,+Oo=QTOodQuբ%(9avQ{wJ)NeLތ6u揭E64B-UXU gfAVv nD.쑅h!fV;` Wx.\ 9rYB%q't8Hz=J`m̏]k%EEقe%ʧ_;@)ؕR9]"{){kNdQ^# EY]) J&fn@S37SR;K ,!ia"K0h&!T/w9W?DX<js) 23iu\dލ;QA,ٹi*9mzVPD@W99I"ۖ]X~d ڟP<L'pTQ£Jinǐn 0A;uE>;r1W$/qQE2XW}!'3Qz̟ז,Fsoc+U0%-7q:.O6[1$āW"g@T|{nƋ BjSA(eq=<6xe0DCU4pYQ<Ċq7Z8aD2ӈ]u6=5QtL>O=I"M̡-T'V/_zO''o_e߰W(LSq86(98?@݂$6HNQ+:F:'tL/ 5,h&#ܛlM#>h|`4 Y0M grƦ;UIa{̗NO_L(m[j*` Oޜr~Dd^i+|%6F`2UEa?4G4̠߰P[}9 YO$&Кaҹ+ =r^;ǤϻFg2ŬVIlφeMty4AQQ"[b߼;>dD^n}J-x3輛 ޅ ˓hjհ[#,Cs LVjOI!']UWƯ+|8NXtTI]5 ͯMDYڏݦD(Ì :L"4"M^!2'&솵r$qmoE͇?c'غ`~*h)dCcd +g/a2M8GXk3laBx0\x覨jmv"fCH=:1TsHв5-xm~[-Pm0}PGc| FAWH{/+vg]vva)E2vmP3AjԽG]KXL z ͱ8׾ͮI)xS|sP\8v[R!eM]Z_(~Mgjo FE>V &_V 1)[4z$’3x]-H|.]Gc)H5U|8fVg8_}QV/0a{lFXϑ"؎Su6CJV])>td :k)XC$ڼ  H5Pkluɶٟn9j)> 3 -SaOn; YǣP%5-+qq;ܝR ];K/(ojöUY\˳=2e[Cx.h6%D5aRL J̟ !H&]ROXQ%Z{24S.UAm5[gd1uC)n9[%!;s}%?!!s qfɖCϕWcÌ^A@ݝ`ОigSg7T2UVAysPㅅ۵&rGPAՠDe>Jތaj9.Vh ZxDR eC.Pp#{r^Ről4ڨR Žג͠6L90Һ7y|Oל7}NWb83޺[_F$”%4-M{vt4ܶ7I4aN)ybgWM}A$a+^Eӡ9Q|fE:b_վ{ax{>BrӷMaLo'h]E*CZaəD:Hӱi=Kһj KI69EK -4n!I_rl([(X/gceje w 1*Sf _WȨ+.ɛ[cKY_CRF!ȠYbX,3W(N+I Ɔ!i2|ĉs_αBaH>Hvd~IAtmI g~e@PHV]Ϭ;>ZED8ˀĴU0߿ $eyz`ҟ4he7|x.F*O v簁z%Ha?M}$%aTS?r[5H\g9mcܾ\_{u#nz|2Bf>$tU)#2B*އ9(nrY̚7&`gHz9Y:VTM%K`*f!3"9ϵ@]oՠ^ߚq{:_}tG,o~[ uD0MCaBqosQX夢@v3O)b͈|ߎ_v$b{fzX.[eHQnFb=C f֦tƕ^ Z;'3g',!$0KO߷\t!6$c_l>zK.PN南/Af!ToDn:3s xZ8B XR3>ӭqsʇŌC[=r93qIwD?ժכ_x,*аA6??P Q׽&e7zu(rGX|xAApxIz9%O4KGH#SaNxKW$NrZO _LmJTZOv 3[U>6B~ 3c( bn}:%>%1r3s)h0N_![V̦G] 5bazPy0Hv@yŖ@W!tןK.ERO()pS6꠆Lu% KwmB!&c^HC:2_u`4[#mI};UZ-N>F>Y3dRMS&E2nICcbz\8 [O:'lV&²J$])-HvY3&$_DR vA$5iGI33O.-Oj^@TFROP $ ]HD~uQ`AC:ಽ'=gks؆ntqԄZ`$^L; Rҡ:lfw :媄@ߑ>6?6mFј3}4(`rQbnңC׉s {uZ˘%+-n!5Ҫ|{u`OyN..٫|fpE/y!CN ;hήٛ0k@=Q߁1Jk#wDpRm0lkɓnVtHg|kqVs)V\zk#~~V3kHlhS[}bZ?~99@LYs;*P4[DisLA7w_*vT;"gh[cm$_|Өg|^}A! Ԛulq)jhX =bN5aVdrӳ;En9+0o +24nؚ8D=RPj|Z[bCݰc' Jpt9;x2 .Ql gȁg󝌩Zǯb*?M41x,^RXq35k__Lj^ 2Gg-~kL鮦C%D?3ݴoH8Hͯw6S)/57)8D6wD`GuNaiyQF [w3lt-\X-yK'P=prR'smGڡQa`BWq!g2./8愋DiC$N< G8# d6] yqQ. _`lN2ZxRa(JsBʫ+Sc ̽@|f++?"S[02p_pIm "ySѿ'LzG BMcW*.h,,1z׶g)H(~5T"+~T7m/ԫwIffoqU^5zAۀ**L.[MHjS}h;ybAc;1o3}jHqs5c gd`S<$xU"`7d;V'f X0܁|ݒ?x qsq?zw o9-@"V >H%n^tG`B,fOS`hGpln5}"b?d\j܍ɜ 2Mc_8> T 1'8K7/0RC#Q0Gv_uҖb f+: dXh}Q`lfV *Qk6U+#I166#w sYe1 i*6J`H>3ghk(Rj,H?8?BEi+߁KC򎨠/8 03ۆIJ[pC!1mG(:!T7U啕|rL_ZTlADC>Uci Y^Rg~ȿӴDK10 "r2P+ xdV:u,H [fNך}z$|$~4_"n33EpgS)t m\׼jr#F0>$Hҁ9_3JVP͈ݓ!MF9t{%&Jc)oV*쬟«)TR|HX,-lgz {b#|v&5%Caw,$:ӵDhH:U`)n@n>. ?'GowNCzUYkg'($`2$=Pe;8;;z/XLtA/Wgwǖ3Ϻ$6URuuy! Ic ڇuLW Uc.(O3_ي8.&Kuҭ>ۥgJXV]ԥū5?NBz.1gKoWvwhB93|5p3(W;XbwY-\;F[$Uߔ.8WN%:dQf/5VEyF ǧ9/+-fd)<RZF+lzJٜjGL"Sf@k{\’Xz)qƏȑE5IX6SfjF_Kj8^9GJH<'{*.Xٞ.:*-w,^[|rUh&A ݌ݪE01kϕ8+-4YCa>| +wi}2)hJyIխcljɘaA'XT&-1瘨ᯠkKIrYphpjO' (Tj `dDK7_L|o/`JNr$"!| ;,օ#y5 y,ŢW  zкmx~ۚq5M  SV& 20X-m%VUКul"7VJ3tOSf-$7bs90֦k:8ڗ YěnW@kkm,&*Fg @FT[klSo|=XA.c*;d.ڳ5LoW<Ȇ*G fd~7Fhvyڒ3b"|{yxu_ݍ 1?2c)v2ز.ykIV;Ŭh%s-HW;= tϞpG1دtOs#(oӏl/gX^PbWo/L&Ե:17V6C:J dL0MWwxӰȻ ĥMc/Nt݋ 1t#F +.w#dTm_= zx2K472Qu@iOR&P?I3*w)Sw<u @I.5rkYF$bP z'$4&w V ~oj3 T1C'@ 3׉m{[r jnWG)~pS1\|V/#k faʮ? 1 xE@f\Qei` g-d'<)A)2Ƈ@! Y,(;-a$OtAYt|ӐdH#}+SɑjSpAsXmX Mq@%t 4+cjT|r(>]խcF,1/zAZ6F\uSNPT=^ #3lBxW @z谂V% 5Pԡ HzD $vfK쀘&\<Pnk~ 4il",bGѱ7rչD{9U^wDLGd UgE`x"t#Ciy)?Z^=X"|#PÖ] ].8}TZ/gU A8p ?8l{3Zd!l@YU\({ w$W7yF-ש13{ QE>t4I[.7H_9J<`];LGz¯(֛4b`6-@Z$)UY㚦дg[794d%aYPCBGɑڏ?|ua/-qjˮplar{-69X'_ttCJ|JZACdVu\fiD kl;D^&} u2.IJӂ$w, -1ݨ&EՅ ;zX.3xkrWEC䧊EpŗxބJR ݤ)\fY|A1B=^CƷؗC-`M:{*gVbZ4IJoͫ(+?1 M0岃sT| {TeW}׃tA^jM>/Y_q[7,k-@q'56AQ]ga1}t)FRjɆڕo!ԍX)=Aw:o8X>OԻzWbF1V3\`n x ɒ ^T1hM%3;A 5Wu]q׷3˔\pJ_ueI~O8dp'orBDc^3ƝXRNԠ3A`xհ?!Fk ]CF03aOw8U|3 4}W qH~:c(p E^f7PrE.ikoJ4`Hn$j"nSfyZ6`B^!L7 N3ʲ8 ?#@ =14f&+)i+?H1S$kj8~\62Kx_-l>!ޟ+i"Dq_T&JEK{DeƊ!FSVf86j2(J)T\"NFZK[<={x([YApuh]H`&QSUF|[%A + :n<B5DUA/6峳$8Jcx_0Lg#ೕ/β>+a"57W=:*H^_%sIvuB@![ÈOjJȂҹd5+Nmomcuqe{{mn8v|gnΠ͋@v% Lz8Ι߶E_ h!`D\6K펪[<sVغ.&BG}Q}%uӃYnrnq DO4ܮBAמcٗ6 M2<;veoDAoeÐݷbL|*}4J?ͨ`%֒9jH+=]+1O:#)ΛSa@8BA/jE.Lc](h(e|;[95mZLJuS fJe#*z_Lj7\3ygSC#e%{%PfP^vžuU6 %G6|&<^ &eǜ5p K|dRE7ױ?ZpG 3j{ qÓiɅbS`9L8>[9o<>9oGqƴn>Fj ;KUD*U.mMcCA35o E;uq|6O~lb3o7W!,'S*=~#c k`v%WmW߯ =QmS|!G(}$ 9ptqvejHk X8o?R}z0#IWhz(C4mqH%|Y u4gJ:9(gFNYX5Mj<wxQ~o)P~R$_2c g$iJ_5@.JQ+ި<굫NKb2k6۞r9E(#@D#y7*;7i=k暒|MxEgGNa89wt;K=ӽ=n-!1kG0XmetD|owT8zhjYADq*`(&sYx T';l}ȩAf;:RhS`?Z U&9O q}!1 ZuK1+.,` 4f'a"Pٺ\;>m EkPsDXcRlQGq`/RvYP"((>Yы wY\W/ 3^ሼZGV=eUzd,bPL9y׷9 E넂/g^\t/m5&L,9H?CMba]>uZ \W/& 53.!a}9=@JK/*N(;r"jӌԞW1Ѩâ2O\2BԖQNô*XnmR815 3ƚKf6kh4ȟ!+`9NVYT/]yI:۪`ꯑ֤(~ΐ_ڥG LťozbH^2k>a' zqFGܫAh+i.SeSZ7؄Ycf׃n q')'H4V:bRDhkL֧kg}W ':M4Tl-u) d͙CP5ն_B h/!1WB+t̂4]4T>;gb?iFlPirĞH3[Hz4Cpt´yu%ne\}~ ='${L##^"0ʕ4zSXo*=^\:Xژ] VƭDUԙUf\Dߛh'ԁ!)]ě!wU&h&!OYjܳ&C7„0  qd(yLnODO_Qzg\tƎ| @|x$55פSjk F]pRuUZ<Zhx6r7~p3;P~eiPh0IgϺmsè*7->_e9h,,}%$Q8:siʤz5BFȚ R?|PoP6=~yAx  :aXS@]~b wGU)>^5)U~bw"34M讏<5Kz0myRc?C'w47ӊՈ@&:_zLo뼶j҅R~2ng)Tqdl<҃çRnlVVf}'9@iqS{")5ܶ2H ~HsB{3nez& S&d0G=M||)Kc j?y`<5W4)ʝ<?%ǜ}~]I.7,eܐF.j&FE7aNd:pVO'/`VrZ):T{k#Y!l=ܫTR+oGkUe$xݭQL鬕Yst''p*8cN}$O;6XB.iG>:2M ,g^vI_@xf3nUATEȧu8&UTCq)IpDS@wzt"KtK\{XV vݼ;H zBl}!W(xN[4HZw5AW7m {D!6VhUJ4xWkL+^/Ch`S\FG;RK] KjNpJPĖn޶eVW5bmR %¬ᐗ$J0L #)7t.*z =m  Tf_%C&L%++J)Dc<@Am^SRկ#Sd QksWL{L~6bU Rp!U)3 @8hԽ:x?%#fI 9 k=ک%1WKgC>3mNr, vrW5|/l'Ј^ DtɈbG ?mB\ڱ<ȅruCD5T$jX xan}/a2U>3AkCB2'V2Lc͌%*vCdk+ V +rB90`49sv5% ,Y_~LJEB[],}=54^:&H'wn6<Ǡewk=W~7]U xEfOt (M)ؗИ MNbZ4n!7+ի& LM37UK`(&4s AEΛv)) hJC Ɠu+b֓JNfWyAQHMCb#VJ\dxJ$]6n`stuf)"0ufO$,!5Oȉ`zB]FVϽ3iG>LIO4 sŷx0D1rxJwb/?;͙g]яojoZ=3T=),'i㜸 yU0e5.%f2|K*6WDx}1oQ4W|cW|#oN<çOUe1A|_ӛ-hܭ_Yǐe!EͲ1ci o"Q=VtYNQ/.86~3Rwh&v%ڢHaeһ" no|:x_QAHZMЭ𓋬$WڽlO3sDaMӻ~OA`ޥoL.&{+0_pFJam[3?ryΊ}fi<bwÇ{"ުJZIa8/8d0uLB;W|O/a:*>j0F0RvSfwͻu1^,mR(LxEHq̋# x=w-" A.2[0Hڕj"MPaI:1(9e7zp ?sΡň|N.I(fZ_%SD`&}3 iv ;5aUhQa53#ldY(g xTXmY )-_nwѥ]BS R q\!}qeloGnmry̕(hiIFnJf7?t % Ph7n]?8O-{N:ocT%"fAkIaZ0" s䬸A]+4~Bv*[~z\-Yn\8,Wh'sCxR7}KfwѦ6bflgᥰ?c4#A6Y@,=,+sTrgѭ>2[[$LSra6oV?]m r˅)hʺ/Yg5?%hFAy [}d5L5kp` ):9cI4A R1>X´0ljA|'-²_(ڙti6Pf[vȎ 1&!FcLNXu -maKt,O'`ex$>Acj&@oJ6f[ÏMճZsF84 GVN:I#,"M%a796@8 C&M=[46`IIOV*[~\,M j~ .T=qҋ6ޫ4K(pY]t7}2)Wg WܛE\Q CSAC`Y\b/Pz:o; @^ӤLH%˕FiMHڇF:2]@XBYVK^C9<g3{t) =+i06DC\쌾 v&Pf+4Tm`:zpCvPtЁEݢUM{bA! 'yF|E3=w]!hi 1D(` '2B2DOK71-yjKL|Uo@.inG#*/jyW +.UjVZ5ի&tYUnhÑ)F~]QP;lwbw “WgE3&$d 8q3?);|_Y'eg '!qTPHkIt\`pz0blzgPh-aA_IOf1k7ކ|FeiH/G)L6$*ӤbQ|eǎ/Jćl2Ci ddV(Aokz`ؕr7H׾`tgrwr,Ag)w~q\jEb=%=Jw5mDɴ9aKe5(F J&@mr_7"RYy>/Yj1ȼY+0\5̛~ fzq,IutGyةVvh9om.]j, : tͧ/sYF Di7QEηWp gUsrn@t|%,'in% K{LeaӠ|DPċ=I3|[uҘ-6. Q~ @߇r<..9{/VBoz)@}o=ym)jg2Mw¯&i=׬w.\y&ţ[J4PTUHAA۟ީ^{Rv&wFHv0mqdTɫbrW򇖦=3{TQt94.4MvM-/SmR{WC({VZE$jg'ɡ~EJ܄fJԱ K)Ha=c3kCDLo񄌻߇6Z~*yA$BP65*wclvPb~t dšhhD>vF5_ yiߕ% `Q6c7xoO0sP'1މZAxZ1|10iu1sB+_1cFKS_Y]V5Hp&(|s;NE(,է`i^hZ:Omp( -ak5u b va#B> ?['f5S!S=5LI'qն-rRQN?C#ePɗݝWіB @`Tfȴ:jvىO~lfmςݾo,{j~\ ƌrAkzf5 ? *un8=.Y‰Q.\.5jE6 u 3LrѸG#^s`q]&tlǯ7M4Ci iC]/${݆_,+0ߟµ5H8bv!YzD絈,]b!@ViIl T5ޗy䑞FY"F8%22N B f9(Q'Fcc 4ס}o)sRF'(M?Mh Vf[!Q8`ÐIXB]<$׸2e_`ʂg7FcbzAFyiw)XLJM':f[nTS5@o?Ѭ/SbD7Ghޜ} l*89G=UE&;eG=$7rE "DYOZOtJr?aƗf6 6#x(jPjzV5-EZueq%2nɶ@xW (򮨷ݶXKBݧ;{`|d,KTaz~o׺Bҕ 8AvˑM`ijܕ7ZgjCbIQzE.KtZ +Ϥ:ٔ_BmFh7 L7̻(~ vuP{=X7qA' '[Ԫet% y v>Dv7Y霧Mqߚ/! R+ r{qYzRjYM1WYgYZ S]-18fSPc?%D ܘU,jՋ G"Rt6~B.1֪m-靯&=>E3Gg­jnhfsBYHgF7%(Z"RE4~tK+;YO $z$0~n:d 3lV]wWԝʝ-u-n#-!uR<y./ӿ-RMdݬBɥ W 7 GA t// ^M y" jz|tyw)u)l@ImZXK_ZXC M"Eپ 5xHt×2eyE.h$ P+g^upS6vZД[G!`CFʀvo\\.=/E͑]JyFb rA܊ ÀXb7GPH%@TGC2nzmbM%.9V)Od SAU }PO͇AD~1i0#/xeES`@fk@n`,,H+?}At`}Dpra0cU]*U_MMOtƢֿYW)]%~,s ikTN|XE:70TWYd \ ^Qy4҆IJ-ޭ1n&M3O&2]}Qitc+bKiε\3w:J-Y5ol²Kٗ[AB\iu믮ҰBG F)1{1 i2S *NG3ɛ=ͦxn_h%aэ|biperMkb]`=sdLl1IzotYcsbYwNLd$Qgcu]žcKB?rl`0ELi6Z 6aE%n[#4_R_-1찕 U cxCG>|ae x7 q6Nz=P\evI2xZLJm(xy\SQ+gYZ7zXZִF! 5]ŗXiɟ1$Cܨ }X 6^vWn p^k8hx 2ɿVKF׼bJ?{ $:L1fC/E,YL5 c2ߗ!eI\Ў_-iI:qOT",/wFLfJ^(va+zLh^ o2fUMgYZ7zXZִF! c: +]ŗXi%RR 0K#5'I3xB"GsC )䰐F)aM'K/L/PY,Di=SXNQW8`R ;$vFtFycws|}Ū;lӢDSV? 8LDkhQ7wǟ{r%BfMŲ˚p~s|6>|f?@`tkm)l5>~K${}WOxvjBXpL;F~64!XuG6y6jw 5zH$|L|,"z׮ֿm K0fi.(qϘt6P塱[L3it`c2*u4vK` j. \/WpKxaiXp @DVAV% ƀrN$LJXX1$fd~*x_B2|x[vq>ԹOs+Rɴ; /j$`4n)7|nЏ$/\ C[t?gYWv[HZ}`pVνft+`lwUX(z/T9\UcaȮ~, |AUL6} %R騰+xGDY'*PI-HK±D# IɬlީUZ`cۧ@7$BdёL?w !eQ#r;XnEIhp0yL"#Ԫ\fiӑJ5P5[o;"$+j2uOE~lKB }K"VL9DR;/rs)"0p,pQ)| ۔+*P`q܁M'L|}TǧUsdZ:ےP#(Za\ B'qe'­5O6u {@TZ X C+Ҷ!ćbyׄg h 妠Է[a&Ps%ȠDL4H[X}Z u" }os})ܕ{5XeT)1 YGo"t41٨/ ZJj6Cu#iDž,%gAghzF~=`f\%?`+ױwz3|Yϟ&C(D}|uRZd#J޷~HfN7FAKO5݄sBxHts j20ٶvb{RSB>&EGlm(^ (.fC_o5jv[5MD}k6&AzR@:9`t^a׍iNVLNjKV"\!?!+ y?%Aw&+"YW A5q7 F dL.? eo0Z6 {Д<ƼlwP$g)`=Q:{޷rQWonPDa#lwV*- @iRJ9|m˙Ś \p2\hl}[x7xC˗K1嵭'LAQ@@˻4\Ł,%Qr$,oBVΝ :ԙ)AFXJ㛯bܲEhn=q0+ `W`Ъ.WSZ/ʏ!!롳/<)T`ŗP.hNL'Y/>o8u]&C%T@Lb݋8f>-+Z E\9VΫ9goA&ߦݫ 2&C<79t:ՠ/43 UЕ_滆)^9ncJS߼L+s#-iΠ.Ji_Ud[BUsƠʶu =BjVCbFȦx3C˴#0{;\u35½&Z4YDgќmHoݟB͞