SQLite format 3@ T.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  $1tTt4 ] HOL-Metis_Examples:threads=6elapsed=17.159cpu=68.072gc=8.2207zXZִF! ]e!]ŗXiɟ{o T&P66 ^5 ߐ/PHh\H-I vOVxܑ[inXC}AH20U<kIm׭ 2{4T 1 HOL-Metis_ExamplesL1;/ $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Ə&IK5I2C+A(@%;"81&"        8 d  > ` U  j T%^*FR 'lyli, # s.1>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id.?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages-=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup,<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files+B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id$<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages#:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup"91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files!?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.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 1OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ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 LLl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ%u/)>Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz> :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ  | _ 1?3 =>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A5uYPFY"fxZH:~%~Lfu0_d bt.c u{4q>)^twACZH@ٝj)~Q}.`CIPisYr0vdC@{';00BAi7V*B)mIv }oKh(:Hıё7&kS.|Ё&=FS?38B\dD c!K0 I‘fY mm<Z~bbRBy,oE([>}\~.]LQ~q1N\f*<&MSKT03h{AV=z֍zfO=b`?J l⇸7n: )^,sTu.-9Ё 簩b㐊K٤wʔH<r vRC1y['7P8bRK5HӶHS?Q). 22΀!0ѫc)r)ԟgA4B %̚-(@umdj8G-3[x J/gWHԒ>9# bh k]|6Oq{ :Ζ7+B8ڴ&Ib2FmeFJ.ֆ=-+ҝmgl ueA^{!nu\ڹ';@#rPyB:Ɠ}nӭ|Gw[aZ0ޭ}[ d-~vuP7t, 8бס=^:p ƜaS9ө\Z?yh1+tV)R+̭҅f79 dfL:ۭԴ xw!ţ81%X9ӖD\Zn4X:)lI[V,!&XBzs.S* N-= O +F Nt 'Sf,( TP&lV"L;߉>:zI|oCsn^g36o( /d}s4/ }L>J77T7`枮r>oH۴I̘A؂ `JʔEA/PR]l!\L2 Gm5˿;mAV}LMꌔ$3}^}+mdͥa3sKgMXNOTvm8#m?0r?,7Yavy 5U̼ATE۾Wʤ>kY:ƛ]'d"f;ߺ|R;BPˈ.\JCpuUa,,,gShyWYLP?}K7,%N-31a%gFYӁ;j-w^b#Ü7=# C:d *zH1n*( 1r[GЦ}R4% . P>}QT8j>1"C3'6 *z.z`Q hI!\Ȯ,,UzF )7]49puL'_C,i$]D&~~-^7SYA?vVQ%M5ZW9~IGPWY/5+2)&h-dV $-iFT[baNGj)K~-%)e#ap%.L,*ϸ K*47p/[9OWfFHtSL}zDdphS&I]Ψ5Խ K=xFȞQбUy]XuPN+F^ ,;T+~ĺse0`|5l3¡=FA&Eĭ4 @IHzyLvKO!1pnbHz( c%7H$;IJXox ^m]Յ3{cu$#y,<kܔ7upAc. dI7+n>0PAxq-z`zt5%Ym䩊~VmX BH;,m 3k\ '_!^*>Aa= s8?/pA8`qL*Y{@:,}Aks#@iI3W=uP<Kx08֣R؎XGC0ǝT .֒AϽSTnLxy_:v[i>[rH3.3 @a ygYZ _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ߜȗEH :^K v5MO JDkՓ˷]cb\`%WZEB~۔cGjm x({## ~P3:b|j)TS-3#;&|ǂDӊpS#b^LbuVJN`Ź!YHjIt:fL?HzQYYa1X7H³~Ys*݈7fH H~?VTw_HI~;|SK8 =Zu%o`8ź = *zzI(ɊITsOmWƹkJ\S-L^9?U]١ 0TU n.h 'XYΉo$N9vq[U_4 pK{ 5!a~#\eK& !4T0-׸SDXA<@&A%* b)E7VҪd:#b͍@H;0 ޫfĽ; ^~BMȋ62Qd_1W9!*{f#t7w'w&αNܤǸYA#HǼswb4Eگ[zy 5{/C|GV_1@Ao9 k(S>X%$ UK5ǁ ;*8! ^"6)͒\E '59B]n3fc ,))-P<xeeo$Qz31B PJп' 2'?@.]co-%K=h:s? r(`?}WaU-Y#?C.Yym5#s>lW'}db^qrQ C{k))+<)ƹM 8sqҘd2aN|z؜V?S(0Ɩk8wDz!piǖ*?sb>H؋W_o{~Y)#RH$ց;dÿBpoa%Z<VP/goׇ\ -E*kwBhF!&# O#jۇ=W6 "P_믗ܖ=RD.RZ^wY7QA:F+3ٰ^m+:AA@Kbܻ*^ixeXAXC+$+\oXY+]!.3>^$Q] Kȇa5Vpyy_<*fg[\datM\=7M9{K' dxEhZ4ZpM dqw-_R2*12+B .J\_& Z*BO2pZ@)24ΦנVgk?7q-S1\7xdr:<GE=$d?^u4~f mzĘIYe>E4t|w_+d@[oFn=l;t <6>)n;Lh>ġY'fyLj,grr"3=SvǔRhxEHk2Q"WD ZƟ<&%gڹ*=gFC>_̲ihmG˴S?2{2*aj;T b#O!O!@¤ y5PhYe-?TXA*iTMO7aڹ[CD +>qe9taJI>h{-Q{Pf\PScB)Z|jSB}K "NƐmSѩ~TNMrr\:'RNCT73q04z2pcs+@" {7;t7Qkճ 'JW~_w VadT?v [j51:KA-O^+`ϰi~DT[)æaсSbtȤk*5WH4t;5b -Gԇ.ƙ9?5HKZ4VԲ;SH͈@*O`}GJ!y/kH`:Fs-=^q(Jř5NbE\0\߻Mی &+ @`JYnm +)5!!DNX V%/-R qGiD`,2o)YT0f!JS҈3E Ir`x۟u߽&[̮)iU4{1;3gn2kbDޒ );aRbə.:v%=NQ&i{T hmmÕ|*pc#4ey(6k~m^^| i0_/=U j}' ) R}SCT$|[e*{JV~`T$+ f=ϫTYG L$FvT O{: ˨{!}&.!"XMkl(v)ks!,W6775H\R fyj]S}>3"FWM amp 2$ESѽW?p긿U" ZO!tǪojvGE ϟ%qDcn)EO%w/v[HnPav*PpUkbЪ\p0ߢV8 pTվ/_˺rTG`/B27,cHr"C̩"x}ٔo g pS;IӠ*b3M, qTʕ Ļ+y:WAɻB(ژKdGu-V-ab쨢o QhoQypdN"jM! ^b>u+]z`y >VtUͦM*~;H5HV2.Yl\?b\5EEtDq^.4Ew=dG+,$3xMBԔ,_YldđZ_3A&j YlL!jW,+sDྍ5vE53VNV%0c&|>;xX F"(ˈ*-H uBVG#EkKJ57CV\ŀ&q(IJLl8czY op"O^"c$":05O`C F?:&\LZ0lH~7%E`B(#)KGjŞ% kMPwwr=AwSc+:7?Kr:ʓtMl~+P  +W\Kxêj.UpjŠL o+|QTc& HoW9S\!"pҷo&Q iKuu9s`/]:ao6TPR [nm : ,+MN BxjNGOuҮA.SRq-QF7'E\}vGdxKiȖ @Qa W0l\" o2 >j%\^.>t&(kaS?o=D /bMأm`R9}h' |KķB0g _.4m4b_<ͧzӨ!n/ǔN m_; 8Ǽ~y]{Ew4__=V W9A6Fk&Ɩ] $CVXG؏NH}!PYI MB(j^zݭ ]wwGZfm^DW4;=V" '2yaLc6Rʐdwz L_Ć: c})NH*m&N<ÍIRqN{.~BCsRѪCfZtKޭi/?'|$ObF%7Z n%WNC"~_`l>5ڣ),f^TGOțyr|@./JCD6V3΀x+LjӉͭ0aE8Z~] E'ƚ $al>uufĮWew;fD]~`k#Z[j~cdR> *"jF!,kcZ(7Cǧ >WWQg'h)Ke ~`Խv&N&䭂JE WSm]mͻFE f2pE,PsIL0khgͯ&cLϬ䩠R%{gzԋGE/1g1:?;{i \r9L#4i-(+$X,}%aDo/l!l3Ch:Y^(6E2 l8ná3}EDip\>#s,eܸRlIQף{x4r5!۞ehmq<2apWyVsEΆes~I?_eY_v_eRAr5,Oɽ5J8.lE"͊(,aKQBf߂sm6RRhC'Dd\FKRvx ?$pdsPg."\hVܵD%c'pLBvI$:|,P"]|:(]~vcdEp#}]~D-p*l_,ρ _$'¤~f tdȔ!ZDrof@0Dҍ{T12ZHyqPi蓪(i綛fe vaW㗿r64Zݠή(f Xl֦\dIdRv(a!QV:z!2ecD\@.L b N@zI}2G4e0ZT7SP6MD6?LYC7( V۬Dm1w_:.vCs%MpP0,5pOFr*#9?d&5wê<5jJd_4`xocsAqTtc@/E;])T;U.sm-R8zb!ɱ-ϬXz͘V !x<q-/?:$ˑEL8R[(g+j1)uQg_پ0:qyRIQS&xQYCUpC[YS8"?X.dUAF''ێP8w:iۻnr!pt1h-!"Wcj^ T0˷1ZN~e3snWES뎐E94T,B8҃ٗ #281zۚtB6!ɟ=1'q p886+vJFx gjeLǺ@ۀuy2A|9vR0yY0'={X( O~n_]89C4z~Y lџ8"0""b  l@F3vL2H5P!%pב69(Ӫ}hʱ2n,/nסNvڐG+x~sBm,)$^?GPSܐ?}=Mi% jKTtї6oUXqy<ιWv("xo@uPLNR~*۵ |7`v';V@x˚Yd^F2 ?v8p<1v@y2= ԅZ% iGf̓# ]*?]ueEi/o0{UA HBm%9i /][HqpQ\WH/ˢʹ9J]!cߢ|㔋zӸK;(݇lvT ɶBjaY산5̲&ΦKL]ƺX*OdP%@wSn^-<U+7qJ#| Qx#qs A8[*>=qJT37f"P!/ ,GczD*IPBs/|Ǹ${Z y(o'% ɶ{=<敐R^B\3B<dYrRP\wG8T yBщeRD;c\̧6SH饐?p:KDh~^$a5C0@tj5ɘj7Pⅈ2e,6vjAM*`jAZ#{ؐ \H+L5L1sAӲ8zUj\KjzAH'`DѾ8\kNMB᜵N1hcCJl3<ܧmG.yb6]aDЭ$vL"D1+YlYn$7ol8ĩx@HEKh2Bp^7S߯? J4k mNIF&Х+G4utuN?ӝҠ}:";$9嬞/g_Y-cu0uDzn̕~Z40;]f-|i]NL̏^Wt=\/t~)xno?/ҺJzmɷq!XQRmM0XwFߊi̲۵)Op<O+^uY(&Cl?tIFBMw[p إ #€ݕkmɠ]ҡm* >M>gYZ w8kjQƎחsfngtwwY4XM^&RC jj*-VWy2ӿ#]Pԙ}[bkS6xQʭƭȡ RiIBgR7G? dv՚7e -Jp ,Q[_fuJ@v4>$MPMyWy\wR6$GV|Fn‹;iK% @5wI9ֱ/.VQKzߑ.;4aSkTZx>EtW_sNE|Mh6R^Z1,^h#¼͑1<>}]۩S?>%S̕to}f{]B$ǩkƇ$hɞ-*4zQj׋g5 C'c=k/)/]/Ԣm#WƉN.׭6A)[;qD۟}д ߥ;tn ́8?O=LSbA9"UKA Js4K˧oWEpGxy#!f=T]̴g=Dea Ǩ5hwww.|F'c*xkؔ".X"~|F[F Jc`0+FE͗F ת:B$3c$YH ~UoٚbŪ gG )!z+9PJ1R/*"kݸJ_yۃ1t y*Jg{] Cqx-!Q8WQ /мsfTw9Ct 9s#¤+3iiUa͢Y+@eh{' @ZȭޝSNȮΠH߁ԈsDqF%i12SUÇ`Jy_/Yy8[AS=rG;`/џ0.gYfb²K|~7n:}tzD%6AD7+e 1PoA{Ww#SNգ|ȷ_35Py4]Awݾ˶E.l5DQɩȓPm"MPsۃXgʡۈ4>i`rLT_%?͏fL3/]P78Si$c!$(R|s g­_,7!N09Ll;|5o na;45#$j)Ȏ&w]%]cB؄8-8ϔ1˷H ޗ/h+#R2+ل5c%ɷzRP`,FR~xVE%s`e^–,.L!;d^[ ]r^)h%u^5T X=1ΜkAt`I]F{UL& U /_Dj"z<S8 sʻo/eO_k>cןdP$%TREƆD #i/w Q_§Z/p&.L37 V._[BsLE{ "Q[POgflUw"菋yDdtvvgOAM0ՓxR+S۹#K 5C /NײI Y&J#1!=Q~גRvsDJ0"ț7%}+npS0*4F23v8stb*BPՒ61ԥFU-)6L3]^ ʽb&J@q-$:g V;^WS%ŌXӃkzwl9H|#A,QNF0f6vA+ T `c t؀[Ukؿĝ BK͛3oσ &4@ʅRRP75XRN\0ݘ$@ 2J{8AsΖ9TDxnstFXybDSn2NAЮB3QlRq?}1PISLcةSG2N'bX v@'MvQ5mQ8¦l5鋑^l FaW`-?#MOjfb6,omHy9HOL ؞W;6Rت.-fKvm8[r Lȗ'K57YǢ}x Q:)o&z銜tژppXS|̐V^r#g(ѷut [qYkh9}}h[꽛UI_U22,)gvr&{SBm3^&5+{IY=Y:!-i-9VC+糼TyN= c*<[^Fh_5aK{(E)G?찓K,rG2A{3ζaz#*5̃y/b@,PBO>i; :?qabx*F ByjHߠ}{ ֖;ތ sNiNhnB+9[ЮiK`qoHh,a?lpD-E௞vB.HC_^ GIJm /1Or0u7bjhːH QXkTFHąIA&0 z.shZYG<5*,"3 Ag \o'wpiVXlzxm umՈ:\u5~@19D&ExD$oQ(H(bN'.RYczaw/(c`%Vȁ!!CDɜ J'*@e8U*2wPLYK[ȃQmd5}Cj.xXCj݀$hly{‹&5/^g"|He)$a=dFWyhVhgndUl6+uHʟ ʒl22ȄPExOم,qL@UAS?jBӗ OtäP]-a>\IrBj9^L7=9:|L-TgB޹0'a;RXiq&yբ8N8OK{ӓWF~gşnTUu83q-D$ .T<ìZ@*X{EqsYnc| ,^jmhLʿXI4y-tY[7Аřu֗\-7&z,zEePlcz?Zv$o|W6<\&ڬfq<> -q~Mz |z*8> Fڗ#.˳Y p, ?Ep&ao^(Mwq4Ac#c>rL)nh˱85n|Nݨqf#P8Q?1 fJknWɳu첛7%| p>2y`)~s[oʋm7Gj5ÖuF rFF &,Ga4PWk@$'#ߝC9=_y̲k؉6)I =N,t_d ܮM!-.ZHv̓ҿ>&42L9cjϘUaf+:bs~T^aUAIXv4VPp><#D%/mPy9if͵m0$i#S5Eh&-_6d xDף1QFuir1KȽZԎk 5y2^л0+L$)`Nr}UFsr9Gv7 E$F=.oύ'W/2DJҮr0";F+k,":8ST@|^Ǽ>E[N}]F;Ln=fChMQ|+c]a2'KSld0rdR?DOD\F̃iDg hwYݰmتl*3,N^/2G P6U?5!Ps3=9ST_ŶU:]KSZ% TOﶫ쑾SVEvl8g) U^ EQb5':w٪;*@4Ԝ^ ȕ05M7g`kf j٭oH;ׯp@ ?OM;@0:rsر__o5`S|yw.zʇ-u^-%>DϚq;Mq2>ĩ_^'u r?+7p6 a)$s~/|kˈ_8R_g?0WRxtqqOY(YOKͭy3k?%|huqAG¨x3UT%(TQ]^mX w*b@\fɕA0hB@ѷ|qYCݖ̡E׍p +A.Wfϥbd'pBf<۝$ړ1Nx 2@W ;졲J30MݨB1-A5=얙on;WN$;M?e(X13LG{1 _WTKyA<w *%wsleވ;f TKɶ11(`YB9%e6PZY84XGibec2T΋.Oџ%VuELR>oM1Y4 RB%mjWdJlwx!ֈOonN6@%YGv\Oݤ}:TĝjSb5^{%c" \@Q.E_c2 ASI.Jhxz=}Non%aY3UϷ4cٺ6O&)pzj[Y C O)w~m|v[IKp_i#OCy_/J2yy8:!h_ 8G)>3i#j@%pXвS %H=u 9Y%irƵ_XJƐFZsjAZ?T ~`(ۺ4]:G]1h"+Ȯo#tXbFCel\*Z +@ HDjIhllmK ⸰i5(|+}ݛ5J)p: FD #j btL6 Q~< qIfjB9qa?`b~ap j\Z#cd D`i8>\xp.# 8{&ӕ汏)RtYoj-KcW{ b5 yDhv ʌ&r7ƈG|j8Ar"$if|0+2[H^&w"l4ލF#\seڃT6t m\n6+'}Bd5JjsE<Zj3|PE82Cgvw Lڽ:VRT#eƮ=m(>S;ǡ~kJ߈7P W{ -jWt"]st :6IrYra4`.;1Xsy|p=Z(jBiJI/Yy"h$g@ m?brhB"dǠG%"lcu6\}Lޕ D5y Kk2\JH$gMjvy6n큚 `G2͗0o_*F#y‰IdKm;(K!5 xnL O7IQ+2I^MyM߿g,+I' ]L9Lh[:US^qmGrf߾O a)ZYw!Zn*Y" ϧgh2F_iy}/귪I&@K򬀌ܬNqTvoʋ6MUbfyee_6(:@ 2^o; N9ܭz P~"OzxX7yF5Q ?TŨ5 7m@硼{d5k?}, 2:kXrNjڄ^`j֋;`S49~.=a櫵gO9^dT 4<!%.խeCA&<ݮn Fw_βNTM~62s06v}Eav-fC*H z!쌏`sESEȍK9RXrH>cǥ>ζs/e6Gg1UE> 5@(ǵ|Go6i&@Q$d\,0N ? n R-fPڮN/7Q/ۈ~/xqt(00]p&֨dej_° sXuU`b͸ir*v16kfbD3ڃ]MZ&飗؋ tSF2dD$k0&b[V\⍆#D=בt4IT pcM)7ƈ7(tYGAIy˻*w*-x˅N;91bʋ#rߜ-qQQXxӸy`ۂ=Mםôl Gke<4|vb[퐾gkg0&{֬)5o$MCsiZm~]̈yn6C\r(r_-62*Js{ J5FXRmʧgc`v# Upn-Q"/z<㛮t :)4dce>!K$oָ: J:)5u[vv JwDbxa3?tXҰ3{ GcÞ[NNoik |?ΑQҲbVw0;6GF%he2#҂Gjt?lbYt?eJd\S b&4 +AfEi%5\@KIo{ԬNP_2U qYT%8RAR;zW2Dq ,ߡ5͒D۬,IC7fCdQ6_1~F1F K3HF~XF7 ؃ 7N f/=ŜZ frAhC{b p)q457U2no 0;y1XiDhx;ۿ66+@X[K|K!D7v[ѯ+7'\|xlؔKGgD:zc<>O-_/X'* >ViB"S}ڸ4!.K۲M^IE**⳵1F!tzlrn© 6Ht K f88xC oPRXGNm0Iz,WF9!Mx2O!l4b|R$R{Z Fh=d*+ptn7z5jP`AѨyߕ~;ӿM ag(g;95k^.fJ=MhN - Tþm-tNkmm2m΁b@}[oC޴#6[9k )%{:T_zL4bnqy1k(PozP\V2kCGn U3 &Arz͹cqdGqDXhɪo}-BxCW•՝% `rH;krYjՊ# S'J`,FX5} ZX$Y0׺m˙`rl[bm+!$~%w8?"?ؘ;hq;f4A+EYsi$@ kH(.FNtqL|RBVq$H_d%w!tFmn #:f)u[jv>:fLdž0ѿ .gF\}pis~ u0gFWQe9)5}b|u(E1f q\ lT"P7RsRqE?xۍugw$&LZS*Eڌ]ʄAU 7N 8?Sq߹܀zOTuJ% )My%zLǸcn4_>9E:.GL=8[DŽk72'U ,&ݧ62F&MT5h qVr+r$ \E akYWk.f 2lvy7s{-FXȏLU)Cx 1| &,!&g16nb{ڝՅT}EV*k +;SV㋓Osy_'đhlZ^ʑfHNf|AOiEV83>LcwmπT-9+D'QgM&b@ *Z7@'6٣Ē)fGȀV2g.EuG$ɬs(z]%'b=~h?'|< c$A/(9d*e^ròt``Fu|}R+vndSEOᬜ.R4탎#m 8+*D#7γҮ*ӆs){q%*O%ɥTK;usv3Jh\3N[q| яj"V9e2;JqJނ)su9`d}:būvԘZXige]VFrwzŒ bWQ)#6'Y2cr`męBVc= 4n̴-ά1|H',WGDM]:AvUEG.&NVN᜞x+=ptbԒ+V xV+0ɩ/nW,_ =:n"g5sS{*M;x=,LiK涎5|{8f0OĴEdhe>OB ._rr4lKa$b1gOod Zco6(JI}^l<gYZ  M M  1W% 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4p~{ٓ| NW'Uh"O ;ǍDuV~s ~ea{}>q緷qH*o+@k`Drw=IZ]ÊT=)HߴK%}efZܔ_,`.8e=B{{1WM= K|fٌnwk]͜qZnﵿ6I6d|Q,O y-?6T~"Jh@4iEEd;^ޡAhd!Ppۇ4}ΘGpF5x Ze^^sC6P syR8Kcܓi;$/ŨyGN%' ),Xnʇ \͖XV`;,ȟB}T2 59/U.)?=D#6p =oC 4&]ۺp•Chܛoc GBIGC Ɇ`WZJJ((C I7p9,\( HP7w})"Px=^cRaD8;X"L RX)̄B#y5v뱶y{ 3@9"nA`Ơov.Z!PTS3ɄJhJiH MySRtcKSlS++bngJyZnuFy÷^'vf7 NuaM}?8ol`} _Җ]uJc`a4ZA{prG/jv9,N{p<ͅm5(o es5ir.̡^-oZwS!!DVD OO " ~arW8#<,(;47MycH £qs&2j xຘTדGlh&c5`[=_H_Rfo7#KOSԊkz\rr=VsY Ե7c׭<[kϰ43_KxM|0|Y1W;D>@=ȑoᮜ‚>as$re?i# hXEiFW*D&d!A$qR>{D+o$eC/tu UVUX0W~s1ɕbؼtCzA,IO2 7 I9F=Ocr+ac.u^훩mjM6וFWx[7flN@GZ~$#Pc|nڇi*H$gSR(DN`nO*|}BЮ:&MALÖNA.%-=F ێ5ifкb_$Z/IpƷ/1=/G3bcVCBlfK~n} hO0?_J$ecrS:UĸT.8-čb7bVDAKCH]L.zȱaW$ f]B\\LK}jp"> T=􅮫+!?cEnK- IiP6is2qm&2֨"u|fP~|7=zq?Yo? 6㻥G}(cs^y;ĺ{hS)8[L2:z9% 4_%ˠ=lNV[s?nP}dz5jQ&7и;m.bK+\Z#8 Za &xk3aDԁ2J RAJ @ʅx3VS ʶei:aj_YJN5^Q)F,Wp3C_ $QWD!034YY~ YV+7ﴫ^$7;4?E >"huwsͳ'T"UYGoӅ-/ى9 u{?4uA,7TWqD+*ĆSUXmHȑW ~ oJCEc=s$2(xRd4v^ ;n0֡>dnI',: AX5E>_DSBn0 Z=tfde%t"|$^NoXRW=lNƛ'Zkw& CH*? ]qXDOq4h_R8^}͈pq"ieG(B9Dam(D?\oõz(})/']oC!gS4BV,F?RIP'KS VڅYK`H^rSRٸ9ƍ촣*bH;x0N9ta/gTYGg0V--쪴*ȤB=% y184W8ޗ5R?.ZZL0PKvnI 6r (>),淃D? [0 mu =׹kBzPb3_g~6 `xVaZ@Һ#qJ~?j$r[ʇՔ9\9f>ٗ{?*%~gSǠ-E)ZDT| 0IL)܅լK`EˌVBaRf3~GiT#ko \PxdÇ^l&pH)dDrWYAWk㓧-JFݷ3b~5:Ȉ"FK rb?XmL UF?LDC7 ,x{{>Xd`Ń 2_qOHXTiDy*N/fOۘxH<X.fHa*ke>!G.n4V}-u󋆵؈%YKS2_AaNRm4cyjE5=}LE_)q WiLiLXW%j\ \CI4wV 9#A("I{{ ,Qqcf>bKmC+xkCza:7zb[r0)0]ޢ`4]>9P,yrһrLjEk-V#b~ ;k4`.3aG#Q ӻ]9Bk*yS:\CLkAB_ynMjz)R48El]D'㣛,A)=ӭ+w `@itO\uS'_h&uZ7v&ָ^0Y0%ηëEEX{%o]mv f;ۢM'F_nECSGC:Ǩa$7wuSk])8r_l>4[(_QkGO5 ynChI;U$"AKx{Um7R0 ,6lmV:[oV@5_Dv[G7^S?=rs?z>a#Ԟv04g3D S _z7f 9Zx+]!Ym&1`x.⁐*;&z/@@RHx>M9M΀JX=a6P`5F!z '⣰A6gjipv)𘄱S7c=;@]]-}Cg$H"^Z%VR-]}!^8ke ~*2Ǻ̘]n1\{ܷuA6CûEg3mђ`~a9呏U`(@,WzbP| b2B unYe[LJZdQ>fFu&P>8Oh\ȈQGk3<KX?ev@sb`%998v1*W%4O( pu;[a*r37ϒ̾{mb!S+6rv\vL,jY7cV$d-NZѴh2|x5=f)N6ϥ_3Beӧƹ:=!?cp &+UR0bX1s8xuw^"qGj7F>"CW L0l}bby7eWDUSw&k\;$ 2fFhD=c pΨ5@+ZB q^(}zgkPWKGHq. 7qvb N5H͎fZO DxR/OP;] 5ǒk.=.xE|\K.G9<<4EG;=w ZL5eE=B}*RP*Jרu)dHRE aIp0a yD -c TTw~zi`^I{2Iq)]2Hx'?Τ%xQ߳51#Tőj;gl-{$88:gӣF~8L "7}, tfZ|^+-9o ߭tU*-as.gbMJt⓷X` SVZc$-wc֒zKQ,8u(, J?:3q_ڀS'Þ T}}̠+xbemaH16}pvي`.ٿɊg;4 Cr_IpѩqBth.{fw\.,c gZ'8lЭGʉGch tո|ִZ|.,i1W$zi0 RM;,~jAipGTHTcu/} @f0 gO ~Ǧs?Grș}cX0эg ӷC>\r븧}G)dFFԎ_opBvW+iq&c\EFҎqd/PG?Գln5umM4]?t8aW/p U 5 d2hpJ`5eES ʻ VYO~ҝ Pw$ʺ1n`b }Ԟ- Ve 9 ZZ񶄡a42M(pdϪ~h7 K+'?(#*sF\™hyQB6ؐ ʙx7՗]ȿ1뜿u8dQ/]!A$ PANάAHCa@zF.Lo>ՋW]YJ$$܆]5 zx!QH] .na2{ mՒVGh]HDOVWY;O,& йJIm]A.K6Tǁ =z9TʳLa>ղ b ˆpst&]˺1Y2gܽR*#,-a׫#D*wH!\z寃eawi#s7@"¦!"gۊ}X]>p"o\dWWDH!h Y;@sO_A oaedﵳ#ӫb%"IĜ¹[7BGxV8% w"<ME]0sxBTtiȣTV N_L4vÍuָ$ǿ5!Ia* UN$Ra"; jĥK|V~㐃Gf`] !# д99{?1YЄ>LEc8 9+n/N0¥{DbxeH8DST]Zi}qV#2udȷņډi6,gLB!@Qu t;@F2w6@N@"U1wh\_dÚ7&i"'L a"I2Y`H/Pi웉}9x\nd m,4us[3@ن ^1VjJ<^ߙ\1oOd6kK.P|%4eRW< D>1u^;WbjE^Pr@/ci= &xAۏi,ŀ_>)'R/:T(q6kX$Ƕ鋖36{ĠcX8/6n'-Z a?琤! jG˭{FiEI6aofPՠ((kHݏf>vm Xm' 7)P j="LLyG|1s:.8aJ} r >N/iS[K᧬ȋb؊U)t$Y?a3QL n{hrAB٭:.hJzrXH9TQdz: (qR' @JewW##*V)6xc8mRQv' FK]/%t`=*IsxFIңhI}w5H5 =t>iTĚ7U72>=:6J[a>z{i!GJםػE-q`90:VP~gJVW"@z1^zF߽h*ڑadߴP"@S|h,:wFxdך."\LmX ߭M̌μI;SΣ$_"]&p-Ga'%o>HzeMqv#PgKxơP|Q8hoTKdFYkB'_Yfnq\M{k}ȹIQ vR͹@(!râ(u<<{L/Kwk]Rg Hڇ2 1?U7f`/*lkWΙXpw TpH&l_VLz֬}KĬ$k66 ٜ'rZC%9QN'ـ:b`]T,P7⤋ʬ ۰1 KZ>tX @udcSNkmO\+ Uxsx3d|nHxq6UU$onmaZd9`)IヽM(EX`mw?рǸEBOّd7]d,-«\"$N%̒uv@ʌy]'C! ;D5!m|Y?UQbX$A\RCGӅ S?Fʙ8(h8` xsSnI||#t6Fgt* uӋֺ%5[€k,ʎI32v/!*l p﹑ոJEl!qt'& 0OTN69%CIע޾ UTl;(`~d0ӅG4.> aåF/k.K?X qozűgYZ  1W# HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! U̡] !M젗O վV !l4M2thfF`qacy `ޓl~-wYo!h.܎Y; 6᭬u[I co0p2H!tφk.m& uQTr9mn6=-lPzsqic FEߞ{$|8"5iTaaOy C%F\Gr(u }8Eu1ߪAfff2M#.7|]]L"JrUI\y"2= @8UsxOQDqKaW\Hlygϔ6t},N=IypG_\YmT'h 1W% DHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&qV$:ywVb4)ʪ24,jA>`lzӻV/Ԥ4E¯L:텮P}TUUV=P-`pvs 6$,jFX3 rT;2f0 L5gZ( OS£+Do$bQ8<<6[UcAv^nc\juGFG3Œ>w+[ƖYJ~ӰYr((Q #p +PUZcZh&udPZ3ݒeU.)VeZ%AA|VEGe!JT W싈9b?ӟt)5pA렓~29(9yNQjQsxwՏt`j^:m/ضb"^&[6b.&+Z+i#H7p쿭 ͔M1[}#Uk56D_6E@{o8@JGݸD"դ{Unt/I](*RȻl1s@ovI SKDvҿFs}ޠP::I >+8F+>,|JnO `PKzU^WKTLL \@uGdv\`>%Gu=.ST$*iܭ3qݤ̺xYEdnRd!htBޙ+TmpC{܄mcfOxJ0}OV$zӫo_g(dZd˻ c:~3BhZOMPbY Ug7惠zx,}v kmdFhqS;ot 呢Eh{;2ĈŞ#Rp(3L6[#bBJ[-;| ş&mLJB[ǝ=(s(9Iղ!*tJCZL0E,ǙjH4MKɱll2bKvYDjBcZO \ԉz8$Ms,Čt8~^J+MۓԋoNZ&=?ڪY(V<7c# Eb3Q~-.I25ŗ蠣 8>q}* 鱖t B*pȀg(b΂k _,vY(8n5]B +^Dത0xZknsNXŹƒ ϱhjS0Dq༪FW=sۧ dfViI"B]rI%W{fxjvi= -ٝA?zv`J ޕE]j$Mr{:}U̲#A믕n΂ Y46 _gezrWGSSo;LF(:>a:) &O *Վ8&<_o2X Q㍑uPF%4QkYs{*&3+u]b#? vkG/Ђدo8Ank'ius#±*m4GV)v w86*gAKi.zxkfh^8: Bٍpmb/"ok ߜ)C/Fw,GT "Ky1eELllb2S4#8GPk=9' *%}tXXQf%젡֑w@q<9ykj+Y1<(ܯ${;o504^s]Qp~ Ⲍd\q A6VzO2 .`o#1kZuӛoJ/ qZoكvI^߇.|z7iɍO/2KQ϶\'bN{^%(.J˩S9i.zU:",iMj ,fOSX4l%ژjOWj5g׿VK؉!TCZXhOp-ժ،u?"m- }&fGUs_˗"tN¹jq9t&8IPvQK ZfdłxJyAZ.g&iL$IWHlۅb2ߐ*LuDZZN`C\ӌSڧDYHj,V:r=ÌZpNԑY&$ۨ;Rb(0U~2ً (uHk{8YfrS;uIϧ/^@I,ŃG"h4$d\EZfٹ"2/ =eWF01"P[О=,ǎ_"ߪ[IrSҀ-ʑᑩdʰWu%Qvb?`٪Q.O;AɡsypLgȩG!Vj2Zu}K/˹QZQ)7TĎRᇕr%-^Df 'UgpkXк HuLЪnX.ZJ넆39'iFN2Z)zCOtfl-?æU bMo^ /{0lj\c}\jd\m]Oj jyBbԧc1]5.QOcvCQBevڭ/zlV{L߸pETO`C9|=C)/XJⰑB@qUHV+R7Xc=(Zu1.YKFR5YOnvzɅhk37{K6oߔmgrL9㎄/:?G//zLYDNK-)Yg|4?j*%[k&vi9Zz &7ɞo8g-jcI}$ksl}pzw |>x9 gg;.;df}NH7O]:y;fAIf7_!"M[XB%)-h*ʍFE% D`d},lgy#1_WЛK>T_"D=#P_KX§n OL5ùEY! ;g6%$t@ [YD=[ CiЬ Y5:DŽ,f ]zW ;Ɲ.)3 F5ĘB=BxaDJk+(bVԹXr0ŚLJC٪WW%fc8A!tCB*> ~BPx;rN͈:|}CJvh,6w$l O'Ӝ9Mb<}go<)" VUYU85)\SG5%SY3Tl3z9 OSȢ<zjuK!Lb(ǣG|e7U>Y 3j[ByWƱR2 0UeWc :E,xΈ^: ,{'B !(x!Rfd͵-)nj c+f$ԏ8ZׄZibΘ%IcnfNy5I>uUXNV!:c=So3_)Ko*^h.滼Ғ@04Xy0ˆ݅B0{;Ϣp8t%k/׊8BFB%3L<&SG!}lgCc k8J=^`x|RXWS\+0NilzJX}qSZ,˨,Ui˘ ٵB^~ bf ?FT{P:l/!݇ ՋADFIƍnE*y/ba#Lp4*z*(N Aȇi]Wpԛd˯Uf_%~L18TM]K$fsADiI|@;`oUۘ>S &u[ ydr 9u涕uto~:e0M߀Eҋj1:59!cȰus]2w\nٳ7-W~N9.|5&t? eexΩCyݙQ)o=ImR9*'p,'FnzSоNҤfʅ+T\U]$ƛF;=ՙT V⋟SH662Zcٳ%ƭ"# ^k;O~"t2t|dh$zY7X%dTp$B,02mՊDդ&YOL&9!CD3 @}UޔŬ`bp8qasyG&Dx.۴fRvFd\ ]UҟܴpYh`z( b382jͽ^Rkp|+Θ s io(zj ^q0Fip@z\ܔ_B:OnzL6 jT9pg~lT̊ucK4xvЈ $ B֣!wYmb^PقMN<~ߺy 8M LmQAH`UJ$w),^NAy 4{5)\'HZh%D.ԾHN=` ATCf|fQqRG< ̨^,@*}GϟH0֎%*,  |9PƦqL.΋G}$wGEEj`aǗU??oIGnqXrg9Ý8Ns279EIWȷAH% RkW@ur-0l {š)b,п#苏h Ul/$JČrB0)FjmG}`IQ뱁9̠ h4rn(ZF[Vj֙ƅ˻->ԟ4Gsq&vCc, [ |9zޚjl`QfluVC7v.oSnȑ\o]?t8Ou;}G ^ *RiECea_JK}EƁ) OCPW"vvY$-o4g.D,#+dBZrP$""t[/Tk9]MYށ ?[oZwQ/7lh$M&/:7(u—C#=.@Ǔ} S n]" h7(84 i8*P{+Vct,biTc?V{R$?>RUn(ZxE3}7Ŋ9"#9?"fnQvj~T)K{?|ag@"蚷x;=OYWdf*\4K_dlP1+L5e(%[&s;,VVu,r#1P5&h'l`#|2TwsP PKh$9KdmzDI D o??Y*MVjBAW#x8{1˭拇DkWٛLKn4^W`A_ශtʳ,k c, KL?UA< b!\(7 |Tt'MZ=ۏ}d4Qbei3eAhlGTX"tV$MHYYҜ`̈́ǵrI6Jzebn" =BnE1.>uT2GQ!6ط|\j=FE¸(gI9w;̩ 3jJqml9եl`PZ4Jdcoov8NT؟0 ⅝dQ[pDt4[ȀA(bHa8AvMa7zC S=-$>5* ­.kQs6?AI ˫}PB}%-gƷTwo vZ*ky(.FβW0`4dEX?Ou `%9k"ӣ|u6")NJ}oq-{=q7[ J^Y;0Pح|_p".6]`Ea OBwU{c_˜OJKgA˃?xu8 Xr8 1QWשE_lFflFIxޖ,IT[)>Zx7(y0#X;Av# KKR񪟭!'6XFOiSEq*n}C;FyOU6ejQr~@iJzwB*T; [1uJ^iOmRja?X !j8.IpK܌= . pm&je4Aץ%&pm1hM,6ez`oE͟L[ʥ֖i1_/֦Y~e';UǃN-b:VcӉX׮FEeBqm)9+z}LUFٵ"c&ap"[S%D06OΖ7(*ink*+с$bD-r4yG̍y,)KB,(*c 2MVϵ!]˝\2Fu唷RI.ujbx 9A;J?kW+OVOW4 _VB6"Di]kS(ýV и[жbS.͌+Eyٿ2(.}xC 7І ٌ֚QِPinNE$Y-%97r jf.bL-Gԯiq*\LV˵V8|t}Bߜp[2ELӬRvőՍ6t>a?SFπuv!Lt|hL5nOrrtU1"D\a{@Vu5_L $3&ld0޸,yfZ ZiX;G2fU S}kr'NDp`eώVr7ұNNw%kf||U2 臆[>Llv7zpQ;+ !g?Uac ,\hxb\jӝawټm㔘$jD&7 |ȝJ"x ӥ qi 46PwD> iv"/9hҠ#?_K[hA>kł^ Mbc D rHAۀ.yR#PlĢ$-{י @-GwY УEna^sA9uXqJvhgg_+jc%EAh!_+dG*K4g 1"b]BPr;&1M꯻~qÏ AwꏵCg=>s&ī "[(UI"Aro(FsRCk|7l9G 2$+*2%!Z!\r>:Ƶo~n7ף-`RQvmL3Zfz'C)X^~(f~Q+ܼ 4R{z_>+yBW?nxI*BqIiWCS=SL0T*#}hc&.l=`]θyZu ?ޱ)h 'TiSz<*<.sv zn}33Z_ʤ~BRώr#FY*[+vߔCy7=%yk T*c!=]f"8ei m(s6{)ݫ"V WX=w&SMx"yϖP 6T+PلkJN r2s5!S ")=: ,1M^Bib1DŽ&Y3"+ F|,^:/Ri%Pi"Fh卷Hq!Λ_ *7>:5W~Kz&\s;ZN;Kݩ.]!}N߿Xr=JA]6"B,wDXtڡ GP|Wy!L}5Gx`'RIvpg"?5#1neKK~]EK> #_vmiS+^fw*>y`X}1^f S+^_rJnPZr/MޘR%c6pPj Cil/d5uf - 2{ ` ]-FQ]:EWЅƖ̊.-4"  RSЙpIqOh}}bZRKCZ=Y,/ s5 "LT@^c+Hm"//i@+֤"ճȋOn%X(Ӧ B%l>ēz-Kr}Ej LLȓ`R#djuZ̋BqTltOnsFq;T)i5|eV^Xhm5-# f\>t+pGU.d ,k8!!$0$DtGԆ#淒oza_9+Wbv6U?m0 ՟٣L{n"Â&H,_B xo--`&\-a *je],>7ᴯJ_9BȜ^Mj8{Xܲ2YslJլ {/{7+Dy{}sACsānX ḅ,h޲w"h>Y Jmc܉6 >;bO"㊼UNINy!A}ʹ-&c)-GMJv*Q&JR"We"%% ?l5 ^a޶z Ot*S-? M|PS _n2H<4QfFZѫ)#q l.6&o"LJ jm^`%7kjscW^iUIG V#gA }>+Bs '=QoBQ`zR7tM9ӰQ5،8/3~DN qmur-Ӂ4;UBh6E+q9HX_Y miw.}_#.$ܑh*cNs|Wehss\tuŠGRCvp ܥ:Qt b)ots 9}cR#|%D-~yO"Ps\%Q;zj/f, V'q~%AC5ܩ(с% S(1AӮiMj4m8*RǍgv՗WhH^fwH#+p\WFF<Ό1¬O ]LT\ws*ͨ7۰7B b+0]"+3;ZBg)i{ &cVW:KXڍ!2FM8a-vm EdqWd5yLg A"w 7u0J{!1䇏^ ugf@<Tt8IR<YP3¢dbI U_}lzb C}ls%Gs` ncBP4ݏ9Yp'+k>ʷQAl+[8e]|b"ɜ(ao+1f7lm͵' 𕸚͈5ꖔTN18f=YlSqbPOKK#C[U%-h*(kpkUfL1eL?s!oPIu8罾_\ gI/ن3/BW <|բyEDaFi.P=x2XiD2ۯlB B,d|=xCl_rs 0[)CV尗gH6+" L)`h)B5?{w2|A>$ϜavIJ_W kEGt?W᷍CkRFϚ{PPKV6U{Jd-NsCWwz~ehyJ5J\ZU茙#AĜN33Z7Uc@%t pr5<X @vif4I-Sdu+%ʎR-.q"&"~U'7~ ɉst ҆-5UV52s^D=UN1^Ʌ&:mL]߭6Ea,Pwᩘr@DVbݣ @}r<,nYN佭!I *GwI4qȗ@dEp 2'i(6W*}&TGAJV1Lgxk6KFjM._=E<0kJ&ÆE3)`l.e2!KbjK4轐I;¯ˡu8u&=!&W%xWp;tbf'Rm:tSÝ0*>f;qdFHNcb-cBn5qR"м6Dmo\/N@C?9!_j4_.%LZWXigD77*l@rcץW,pn f%2q!Q>5=2 bMyx}˷[qF2<{`ח4Q `" 3r6ZLI3䔂3뵤DeE0>ʧʽ/fk謫>=?C)Lݱ"Z}u\whE#,\M6 ޡˢ4IZuA I=$[K*1Vjذ9} =@}Ҧ8`4/e{v]$Kf>>?D{߆6=؆D-rc%r6ED-%Q v=yΫnf9z CoH<zG a ˾Zkq`j&ܝQ@SM$fb!"JVOSqi'X[M]ÌsRg{ O9w Үk 2Ep"+_ϴ-5~P8M6ӫm`.xH2d A-> /X?ș +Q].#-qoC@#1r.> ^ؑ} +]$&W[,ho]'7eLH#&kXB.F '0ƌ1.zNri7چ{s\Dv7[=G/7Tthi ȬCLekc2 /ђxLmO&_R!ǥ+MGflyIHRꔽ@OJx=W&a$FϏ!F|+<~|xa n0W;/9`~U!0FSz]3Y!+ϗ[XbT%$EQ^U^d2m"^fv8 V{5L6$H p܍J6`<4* ;P4zͥWWm~cR5.C/43r}< BAA|<çD^) L&ǢWg0b))#zKv{!-TmCjhW/3Vpn=4N[i3rsR!XtV\{,ކ_z'x3P*JfJ B)cj4zd\s'<уw pѪ 9iI^e %5u'8.:Te0h# "n,N@$H&[R,%o -D 4#t)tp&3r˕&-HL e(a/v,V^^ 24Wgɕ3OPw o\hG^2[JQ͵#w{Fɥ,-;eiVSVhڮh鐿3@g3l[ڻ ZiPѢrb:[ɒ+b-w=}P#Ӈ`ᒺZ,#02,Y6UUsЫ'[p?-r~a eWʇ?Y`RLx9's rvNh?7j ()"͛aɫn ztTxFlC*Ƣп^TE>fOvOtm+`>BjGe٧?-sJ\ DPȫ2xY>= az p/xG2g v/33%>B}Rԗ̓asr9׀@ܞ~;Y"'ߟ@([<0q5=i=4;bYH330_ܮgD!iY*t^U}#Ě%Ĭw;9?qE <*w ~y~ju;t=Oa4Hy򛔿?ud< EZѡw_ImqI07gT sy("y\Joap[( !0>{^<+ys+F\p~4 _PDhzRN%}(݉ŒMw-~쐁K#O+Ia=t5nv`/s{=rJ2Ȳǝq"fmZǃ}{eN:po:_i'L (yM/B|'6BmRKL=+ΙcEӌ>y ,M &ħ64Ұ!g h~/.ĥy#(GS+jе7sMDRuv< h %{IGEmA45^aIIL8/OO&<&rE5A!2Qll JHْeUcc~jN~eɰ[F8k/Kќ~Q@ n !y,Ow`֣lS/?ޘ&;KEYUmu4VeI]fDKI#haADC/mZ%\GRu'2 -dSb1J#T$4>nvj_B҂Ҿ u>hm ?$ tʓф|@;7&IiTUp`xb 88 ۾ҙ3 k+#5dB1 =AŤź+94$UAQl'%,m#8{w96x\/bS(r,b$u օ5zW%1] g.͹[*Ej׳?<_^\g Rv\kQh@ \y?,Ǽˆ䃬#n`e2UTgFC*?).vUxKXyC{f.%0~Y]Kd?r/8E&9"_H61t]v͕N;?JQdE5cԽ|uZ|<(35oҤ Bkb+oÁfO)2xsR='K NR0QecS3˨z8D pII;|{&=2*<΋M܅ךH!5Jūm5;_r疺Tp9'#'Q #0޷%ms ~n-cnIJ;rѵ.̗AG1f!|xkjSSt^2 Or sDgS@b}yxJjMbW2\Sl꬀ fJ`%hr y"4Uмoy¿ ?KU" `zV{'w#Ac"=_y0zC".s n1 1}os2^+N_-_XԺ6KOƃ9ro(D=d V'?ի=6P? W0r~E ux(qFMlβ!'Nâ@`(Û`*kJMQOw)LӟکYb9d)+Fn Fe:ilojtyhRēqrݾK:0ɖ `f:+ (h$Ph;1n{l`g\bpȩTj)L5!h1$nh{"`O {Nó9F(:+&Q)s3$38.2-wDtT^I^JQ_g 17 ( z]Pgbbs.;$~{HgyO_1;Y+ۀ {I7jDNWbܿ]j4}H62bpC..;pYӶ9#Rʚ`ƑY$ Aa0\9F3h[ }()Ic 8/NڗD j-$h7yS0at hTVRjXb(jFؿJݬ;}N7XV?n*] Me ) <ڒQd֚!K'_ۊ.g5SW; `C62^/l5QUKxHr% }䟑$J9~EVx}_8щpR "3zF#&Ɯ])Gk& < (7NQW>b4< fi1 R/cqmuB6 ].J@._.+~ZaJ#+->!\s VK14_l|~@م>G7{@2qB{{W7 .痎V)U~r˭`w N Y ,)OHRØFSrN $e6|z>seRJĮ_uVa",5"Iyo/qglja6lAΨ8vmFmL߁M>/Pf.4qr|vF`X'GO|!E)G 8O}%YO՟,SSe6_(J;)QAc6V2Cs V=Я5|02@P}DBܱ)dCU!^nq&!@5A6Z@k|ྭ!zP֙1j-.LBkG'pK vF|n{ AxP۴Z5ߞU@?M^&s^6ӚXӝ#k`D <c)Bca#ڻl|O+bC3rxZ[^|hk,\$hV鄣r=,z&FL>b ʼT~`1Z*C)rs' L5KE+ZQx0238 ߏ Zcig/ui /z-wkJn u^1Hv5p8\l3 L3΀(I%M!ʰD \dƓ,dhT0(I5s`T&;lA1e~ZTS̫]lb;Xjg$;˽fA;/ҠEh H_9tyz'm7v @ gx:lj[uo|Cz$J@Uz|Sm3__AL,G; k&G.`{s Ńx[4Ճ&&w.)R֪[u411ĥbc糼#07 ?BݾaQT5,|~;3rwAo*U /CMjrSE\t{uQpmʩl1v@BIg5pEL!7ݕ~$+[%7 %Ps{wHёP av#6р#pK|ph 0y[l5fa:v{+ȃtȊ?Pru7)΀s^v52G;i`Pۖ,"vħJT~6W "̅e}=M Y,+!# \?6/[78524.XE'0(5/E3/hbBnbWy P9^a7? ߫Vj[3#E+v1|eàudE2狿AS}Y #7tCZ!}'}zs8EϞ/4N5ե0PdZR}}Q_Bh, dYǒE/`t| 7߈ !dN=Se ##G HC!SPls8o^N"'iF}h ;i /^mbk#j*7 ['tWm|ȌEF[س!G TᓓV![Bcw EfH3H0׏.HCQض؄P0P +k])_SC'Z!aSK% [SdO'Rm}I԰=㱢QGMc͜.VK`[ ?Xnz:?^C@$WQ1L+Yʘ-eh!ϳK`J|XݘcDY\p1f|EJ%-GEL2l ߜZ)*-/IAh\s}b=W DY8+)4R6[UosARTk0c;M/قU4lR ,6E |8W8БTʽ@u/ SQZ˨}sX:URqpAr@Nꙍy]8B9Zi(yWٔIr1 H:wVJY+2<.5¥ku. NjP:%JUbXrp=˨v_x[{J,`d3Q.cz]^2U Q=y/wB4xi^e,IE+tIM&By'bʞ-t tmBq\ESeE 2NW*YXZRjK̸Qo͛ems0M&F rRyz*~g D6>)ٟO=`ud 'PLPGo%b ϵť¿مp8uxG#\|4C6E𕅴/.( C~;NEj84wjc -#qii:OY7ʫ? qC/ 8jB;X"ҾvuI$E͆)ǹeH8/At%0L #:q04m8n}bI[8?[٩ d;8!܀Ip[slz;fd]d˶uPQMQkK,Ds':R%N=_X F&+yRm_|^dbatlj,ipI49岣A>K~rQF/*o#^!gRDpv3U'x7r%<rZ'% = V' n9+ ./dx-3]xqK^Wðc<*kRQC8H*ߺ4&֢·N~(R̄ͮ[,^9uY,%քyG[AYV1<5l=ZFR#Aw3Zczf!)4;.N1\[:rUʁ9_:3nˇ; I JxaOm 6jP>X+̫?S%LAtC>0"%U(+){Ҹ3NRk*0|+iB-]FY-}cNr7|"1vFD;/C"GsBX~5I~CZJuGXjMQGVm:J qMPj;hǎ6 +y:B2 Eh|7:dΑ2Ƴf=&m:&op6j9 NݾqN,u5 :P*>\1E:UB"kzRPp5dh 4[CKg11VXy%;W LJ⛬6Iz?)Oc}(sLނ 67 ,BЯӱ@F{M{LnWn, CkZ ˞qXqЀ*a|g6G y"soc w`3EnXXJ ?݃lUo“ǎ5-0 L NA"E-w dv4ob(uCŒ NnHҮC?Dy<5: "=Y5&¹đ?aRKk?z{i"v@R be>2N4 m=U}ּJd Xcܮ$W)Nx/M >"wBOliD'y@ZxWrkp ;#둙7e"TSm /̐c@,l2$0hCeiXRKZA_o8Duϻt%PRGGK*3Ⱋ$ @Mɕ*yTUw ďd"dWRȣCqDR63fw%'4lٮ7ATjO|ZE`7<:5 kBn Wח}9uPˣaz}@@0ot\b%SzxgSC)%ooy`WwB-#NbeŷU!-8Yu d$>􅌀,abwvx#CkFOGOEK_:O59Y>hhTd~GT5g:Ld6PĖ|@,\Dp;cu+{%uYF"|&{[kI  V<+as:~%]c),Nջ%){VB@Hv7) NGNO:}dkN#U_ogu(˵%Y0bqHw0puc؛r4@ET9%j{\`Fp4ή)%΂>O VAI'aZGRBFyĄ"rat6ŹZl 5QzS+ d{YyFԨ`ɍ^)|&9vm`.35r@$V0v.Zm}l@noz_k aHfMRs̋ƬGGd{-3Q3c{d:IŜz;U}m[Lhnipd-aN9I u"Ɍ4NFAҨ軋>z=λ&7n9-7y>NNRn!>Up򌿶LK SRQ v(C1 -~LA6Ztl#a)b lp Hq=VWq5~ۘLbs>yJlthw DXC`~?o -m,HD _ӻ /Kb& jexr V-ulH13!ϺT1 g@U^ laRw2w]۪56ʟv`նF ؒ#<1otjQ_H' noj_.7ѣ.uve؟~5t]%YL06~F$؁}E[=퇃2Cn7HOiZ)Lh̷%Xk.=HbI/֯mRuH\\ ) b($3!/:'ѱ_{Nb@KB,cD@~sx9@.hډSԔ 8g%~FD[jMGoc?+Kd_&&QssXT0Є ?uٰ죉Y"K@挗loh nl]#lΌv}Nͱ#ωn7Ӿ7Xw],@ B}wd bY_ IM%V]`WQ5'^L, 3ޚ)O%8g ߹ ;hIw[YEuqv%. #' @qC4 Étn ωˢMMiysGe Yo 8$l""lǟ( Rg\4bv@B#VQKk_|G&=5 pM\>{ck8@n:9`Z[3?g&ӂ%S4VY2yj>kYdѷHzhʦe,syzj:uҒ탪v*[]#Gf ņy"k NӅP@L@'t9b6:P%iKuu揬 ؂v]?AuyS?[xXRsS|ׅ(YFkR.ifM hHkYJЁ0@NqPXc#(%HDHSZjZ=}ټK.IDX /,TvlBY,ېw |8sJ5{\Ea D<8=;{1LF+(1r=*hLoeȮor VLJ?7efoHyzqsz11伆4%ˊT ˍII2DB3ORQ&MW`*C䧽7H<3,bvmҺp6}~.5%jU2u2t?MhAڄw1{>];[6{I$΢D^]9]zC> ԋ#JzQHo@A^Ì0:.ӸݽOq5kKK)0γcxO&8ۈd#ˏ!R/`iDzFl78Ύx(P{ۨx-M&3/K@1VdBaFU1Qڀ?yt+v$0EUj%{QA﵀;Wqkzj7AyrJ̥oѣ@eF[>@a8 Eiǎ~%W=G)JNOf,6h#-"RIiJiu~ӹ$VOd,L&XL3 +D4.hñ(ݞ%?,:Q5<@.Jȋ8SUإݫへCfp\C.s5GL[^AŚDmR9\*31* Dem{*ʼ&SXr%|?WLBbkUCwѼfȦo \3QSI8cM0PV u ?%7jտ]Jvne fHKófIhH%ڍM'qN%+BIN}\G-Fww-/iWѩȂ YZRL 0Fp876@G bOalXReV`TP|])!Ei<ˣ~qi ~~IgxX!e@9J]3ɰZ45Sr%դosیfHB_pj=-[q G]6V<]EF9x\wx2\^qAo0o)A(8)D:9e0-:4˙t{͇F[bQ@ 'y 瞠< zEbkttȄ?i.trٌD<YY{'JU;_bzA}6 0B,zIZ}K(o FLrzdGv']G[3Q;YemC݊չRhK[i=`b&#m˶ zo@W)PMCSnݷq\4nX[~?:US!"{RZ712Bsd~OFwL̡Ŕ'St^8z%j׆!qBmh[mgCȖ+$2۾K Q2l†,rv0 $vNqHwB?|HXޅ\=J2趝lW`7 .@3tmbq'o,Mnm2gӨc2H֏nȉL0ȼJeB!/b(׿ ũ@c: 2ⷐx[IxCNć&G,dP&$[ }ߥ3Cz  o\X98CD2XZ$Ϥ/ablᵴm4c 0O\ ֢AfFo1b2Z9{KJ^mU+qhr0,I,}-0>oL]uaT.EfÑnom f:UZ&)ٿY ,Л_omFؚ߆⍕yh(zpڒЯS!5P^q%9V S ؑoixWV}u2ru7W;wmy7ZsDgu)^Q6#vv__4%d( v:xMwӮ<7HKODzpr>58E+t» X*тUƜ]ѽȧc̞0sXus'Ѯ%ji tp8YAoOZbDgrIri6ܱ.h6yoû13őݰW9d9ӹzYp.< ~neA/EO`˻;u6qo%(I|xW |y:`0U-:0$1z1Vbg%lT-7zÓ!3R5q Df|a|Z!?.EW,Ǵp`jX߲\uJ s:W} 4 dNj gajo80evېd^>ifwCEs`!?_Z<*c' [׸%h M"<ͻ][M6)x87v|ԯg]?j 9`jK]zn%T\o ([Xb \ i*>OVerpOCex|?) *$,y='b>h$NEąAj[X0ڟbv́Rdw2T,Z# [oQ))CB(c!z>Q)!`24-+B~-u2-7oXK.l;M,)ޑ_; Ȟ9/AZe\?p#+utpObЁ:`Im*Z]qRnW(>Y:nnHdTg27RxEEDž1_(UeSr/H}S ҄*щFIHA887i>$m1qcgSԁ\>ƚYޗ6)`Ğa^Q+fT\=ɶß1C[^Xs::~%=yO%#y;Yu5o'.*LunETQ\>q`}. ! .JDF6,j38n>`|oln-,zu C2ɾ6%V(u®G -A{|>@zI\%B@EE, s'C:j>`l^ ~( 1|dhշh"ѫQ`œz9ըRNZpM;n$(!2I933<zB"B>pb& C)yˋJ^"='JG-]ߞHKoĔoڢ2y%ӈ F c5jCPH QYB>< ,n ᷦ@pZe|GtpCTQɿ\'a(L(CY8 9}mBks--Ѕ&'/[KS9Q`7.3=dkr=}*{3)!eP 툼f6-M[k6pJX]|k3Ie)yyX5;xMAL~+*ǎùM4xâW{JqR' E:>xi l`P$ԘxGªlhN$~Cwĸk%JLGOaCImLTғ]\/Kk5 ЩК+:ɜOkb.? RФ+C4#s{M4'<Qi~iͲV,hw #[4XɌ3:vޜDkO0WF6:~R?q_ 7ot(w}\~DjRo5vDLrx98QPWDtORh~9BML)J0R ?UADg2x DBz1E aYvsu_*zAB|N`V!Xo›xSM5#N\N+S L8~$tK @ArYbY0Z_W  M.{UV⛿˸D Q-Ljنl^m4d-JԠAIGsٜ#ex )x'@K?G%;=פD:1ѥA%ls3YxP6ppxHH0h[sWe. hϦJJ*/U]T[9\ E)@u[c^{/Try8i[ 2 sǷLrQWJ3=w!qCӎMC[Ɩ&̕r@P4"\D&o=A`Ɋs&0WŶu;& GeP^AB J{[9ecI=:Ǚe ~/LQ%s#㪶_|i,NE׊y1@/jI?M,2̽-O&H pJjj/-#m׶{] 9?nžQ~`H@xYH6;ˀDX ql\n/WROBHlzM:+sֲNk9C(!(DJAb}C|TZ1G* cfv^w֣;D/XpUOSsLW5U2,r ?j m<Ԓնh\LpyHLp4]IujmCR:.Hp*2 nҢƓ 5QaWp^؛|oq) soH^wm*/Fȳ2 ^lLd5>'WɡYfOɼe@ɾԕ#ț2%$ciSS5cHUX` SRSnB̼ˀ}C=1O izS!`7]Šv SX;ϓ 01'>(vRjՎfHm/j)/R2><{ZB,eH 7CJc}#U1A"\ FfSc 䤊킯fQ݊Rz!anZc$e1̀6;tp܋H4zC#s}$AkM?oS7hrZPd[xrUTsjÌSǵam}Ϸ0!e713g;no>ӂ㨏P#JRրzċsIخPЈPQ\ 8"ll!j}}gT`Y>.cK +*FC 1t{Gg2L.vJ; Eޭ!4NrDJ2;WV{`*Uw-=|^ {}}fcş .g{،]gzU=깎ԉ<&{4RtόfBсƴ`|ZSqްQnM-<*F\ԞjCzUſWڕ~P#HY88U2uGo!P0X ~ӔwDH.xmVeJ g N" UǮ\ݘ&tG$>ǘNI ɏE\`_?瞆*k2F,.Щ%{I$NxXen]\g;nb6$O(T]"1 jkXn\9#T|/'Cu\ِȮ“{XxPdsPYΚr8Uv1i(j k{(>p*nF9hpb!Ȉ|rsjDx`W9".Kp`m ZEЊ]ӥכ6|7e-_ R.{c1jq@-k7 nwPO%#l]} #aI^"u1wR=ޠ4.XBU7;G`?| nC rA"zqS4 veL&,tZG5xBDJmFFlbaD>?9+0y%-hJc[nYiʳcqh: i&ο({D<7ȈkmϔtpwL?|8>t[)N_鄺y>?I?ni.IA>!=ACN}"ս;^-8 6{ l߬,T5M9#xyПMϓ1sѺ<cā vXE;pakƵ:WipQ3a6j_AY}4}mVp͞}wT7J+l|&S`\ƺ吧mx]-^Eܿ8 nnP5Ccδ{r +s[ʀlgvyE3xWcjW (mcrG}6.q净tP Ƞ )M2O\Z _ }xT9ZbĴp>|oC[gC|F \q/ZcRig;5@w-!"FQ{=1\_xM9~g,f}T &06U9'{W(\oi?-B:#wRK DVl1-`qݿoX_.jdЇPF}ơռh\s ?a 6߷v+49 ?f>))sM,E C_|/XQ[PF_>՝O"TR ^Чdf× ξDrIU] p,X%ڲ/l~oiңO+D3Xb# b_WOh'2P #dcnIx~CFE;~h(=x {I'%Dݫ,{e,G)M&@o%wX˙6([#YZ*B$ od -Z?UD|N'W%nA%\S~ H ͫa&l@gYZ fWfr 1=# tHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! x,`s] !M젗OFK?f=Ь*f@T@f2Y&?g| Enrl̪ʲZ_y[ t\ +_ MFEz~ e9HCtjLf|gQ^_ĸ[ 3Zr{fZ,20 rRDeV -)F֯i !±]~ _ Ze fhuţOmwth,׃)obW̃xxM_C:?D4g̓MD(x }>Cv2W0 mh mo"/(-R^ܨ Uu!0L)e=)5n Yhv9Hmz\ n"뮓AFiqM_JkMi<\=c!ӕzPi)8\~=vOT,Nw᪝GVXlcyƅ0sŸCQSӉm;FLk G)2c;[rBM73 !Z?a" .S05{J(<4l1R(.{1,'ymZ\R(<( ؏j|"tb~XvoHw\hԲ z_ /I8@כ>-C^9zvyХ꣫q2b]@ HPMXY]ng1ś8NIP>tRW=UGA|$40&S.~?,=3K%˹E c(Eu!*"O I#EAP3qX\|r-QdpY9my++>$U(8"UM|It(!TeAqڃ#o fWYlR@S]CR"JtHd<)}塁Yrk7LI~pe \x)ӭ&50JS=EeIkmF9:>ql7ٝWgpv?6b.-}5BQY<{|Eᰀ[,Sfq6R pH > 9`Yri"Y vۗ)`nZz /{lݔkz{g~l9rDj"̻FBӽFWG._Ƽyt|O~$rwK"eKg vk$OH+0宧 ؛ΝrRa lġp.$|0jK gYZ3]\/g{FJ:nG,a*VK}4~oƂ(ZJ85j3H/&:E B|lxmz+ƿL=li v)z [~u5OWJTq-$ _\wxuzjj4.'|h:7dzGJBN!fZK_XI02T:G\.# wP1t~􅍼?ԺÅ٩p3rOh_[px{0;_G=6>U EQnyCX<&yfQvnn-rH.̾3/s4~u{*86\ɗgu ؠgQ!oC<=億n/)Z⓫4įULS{E]H?5F%+/ N+QKvx{4ێTh PLaCA<,=e c> 2AJjCOgtw_ !˱e WM'A5: Scf/bܮ_ӦJ+}ubTq<13) {1 Lx8)-vxgˌcW&`f,ݭ+F[}y_vXTkΚ'YhXjs.N r!s%0mJ?ؾ9 ezw/yhx'rѫ.Nw=hWݷ5f3th ZNs}I<G9YI˨;#vʗmwR/č;%7fq*/fXǽJPjw_(2sm(z.JXv s*AQL ,dm#w`uK8Y-Ӛ O;:p}-w0تkEGd 6"-Sv[Z]fH:䄞hM'"jP_H\ xv/FÊ&~jBp<0biăS?J:H៹Qx'ѷ~~ 9;p@!vy|jJYsݛ;w!] VO۞KSr۫;;Bޟ倯$V6PƦ@<C** su~*n\0``:#wЅB'{ڴzIb]@ ۵xxj}Լk8wlToyEBUJ- $c3EKFZ .!_ I]JF&rwhHvZ*F8H:&~@t8}{Xy0R.$"X<~<. vkMjuͶ2ha;6ۛN5@O2/yDzLԐ$T^ aʳUHu&G%4$Yw-ط&6_`z6tk*o Jɯv(Bd(p-yZD++@W#Tk~ 갔.p">OPf ^pō/Xѡ68:l>:ˉ7kL2 !Z[A<$rƸXlԻ  ʴg0yN#ZŬa DžU4ɀLԉC!K`3-oy;-t-LK׽}H_¢;Oj:_H3 AVd5+fR(GH(16Jurs'՞QU"̫nܬ&ԾIlu+TZ|"7fKܴP@<ٿ<9\)&~Eڼ{o[*W}1;ygo ?Q֧= ؗ;L)f?’/(r4fa|~x3sYp6iOpc̴MXhMmް{1:Ώ{$ {=|nܸ|uCql+:"GnL#GNyOuƮ1T&upIA|A\E QKnbWYu-(AF Rsjd  AMjM#'$+ 4/QFN#.^LJ*>C.mqXύPcm9 ߅4*DhQ ݑDŰG[C9t( )eMOy|Jxx]EAiκo!pIԕ^?F1uU0^ʫMڨ-[}iŤuv[1+D5|rAޅ **x)>xPdwC#lV!pn =F ظ a9PYD!e/~~`HF;ˎ6xY_eR0@2ڂϣL*$qM0[P"GLLTBZ[9iRqZp^=њU`HX2k?da3CQF4ba,Z(wq{on;D-YcQnpӜ"ZQhzZ &oߌ=k#NeHtrUw}e@R9'lͯET,|3!IСec T=Tv;9VK@~:܍&cu@4U*#w4O"(3#<|,J[U$ 0#&ؠ[!p.vLw;bٟ0~ݏI`mG|K}}.g=z4y-_3}vzsse|4*lkDuUڪU$:R%C'|HBㆭ Jo'fu RĆ[GQ\lzq ^m˫}r "gmFZgwdNu \ 1i\b3.bxbAZ[lN`nf, ?XruځռFz~­ݍ@a)=}=P)N%Kfz0.Qb^I5+X,O"3>j9DtukߚfUrUC.J, XF[18- -wBnYS_#UB^ąGšu4es=9l="?t*MU̱{2?GD*tmL"#E|# ,0Oo?eD~#v/H=$P퀻\-qE,w>Æ[%­}#@}3X4ǡ'xA4М( MkxF9,!3|(D ZQm19 BVnjX0@gH47@â3Wm9GS[d H^6uyڒMlE^pJ~;냳buPAZ_-#-7:x$/tV%T˕̊cxD#?*[$5yV/IJ2Sޝғ[\fKa8rcAFnhd{~l2,IRDHx{lݐei"]'Ndy6a2i{(Z1Z3$70eghiٲ׾kسYTXl$E@}W#B,uteJ,,%Lg?5~K#Bs+UTػM^Ĕu1eeǎ@KjF~W47`\QS2] ࡽb[9H-h.E0J.b7,>GՌv/E d3GVn\k5j&[ں)ZMCC``t@c b"QUӚ 3,`L"Y:=0Nϛ -㠕hSۻZVcDTd@GJd}FCٷU[HoU gG|`㙘)$Û͍oU;Y|-ђӝe$ px$q{&tKQ1G W^fLcIϑ =$0|U?0S* 6F<Y̌F=)S|Awg]^h8]~ς].n][G֜h8;Pѷ_svШG܋ bN~s௮#ԍd[:q8Qxe"̢SށV66Eb&r.v|uoZi73]{TJӅf+$Y5wq^ ҪRxS>b !"ibtU>[ϝ Ͳ"q[.u_]c<{JaĽfkOo>eg#XfJIx' Nn{u&;cI{K3v ![҄cGtK;PL"-2 ïlI1VD BRpn_-pk &$6W~lՃ7YE m.PW.uwXޏ^nގ{`ֻbPVnlKC,IשO2\1ۀqMoj?ZыU8]=?7-^~JCca$ \ N圮ҩc;;ȳNW_Z75E_Mo sR~R"ߤ+'aѭ]sĎ2 0wWC G̑>O#*ᄴ."|zp*L->QܿהZ5ؤt)!HvL[S٬Y5c$²Hm(щ"'B u>$Loj ~^ٻ89}~!MC͟/C10Igy8cFj0%6L~x5߲̔tm\ +s *`i:[0}#Rg.Prt4Bտe򡠃.\_S7)tn^ZUxo`URJw>-dJ#~.γ$0+dx`aѾ`;А;è1ClAxr(٦-䓣ӱ cJ^Lת%2\\J!nbƟߧ0rB2oב{U[*YRܱ~($e-x;L'.:}CĢƋgE͕cm3MQ=@F?;Z9SȄ~wh`"K gpE b\"υYmoGzVOls1dAw e~]?DKh݈|!DXs .gO] 4X9}>` !}}cmd{P ӿ0Ϳ˓P#lX;;>/J$fѫ'ďHLH'S%'oXBRs֗./( u1Bc~S/e2eZGg=Ǥ${RDbyjƐvϬ>؅$> `QR["Q,! |aKIg$BLumW-L])HQO3!wΦ]YW/Cbrއ[;%D'I5hJBӅ]!X bD)pKVAG_fk&I(4v%<;*4]i 'Nqgr&JGǽZ|;H!3Wˬ-bIyt QJ4-[ {Wg24N4M 9&g%n2/gEVcRH:69wZ8j=(-Lӫ9e\tnNevߒθԳ%t$7]{EW9w GC&nޞ03z) 7VZZȮB,OGƟ;4lFx8Ўs-K!52%DEVZ<}=h @,ȘYԤD1db8ˮ!%F.D*j}ܼ@L@!e ,a5_đB+ ~AY Z"]̱5k҆0Uh>5qm Jd[F J9YCAID Ss5i"6zcӋgXLsPL3PĔY_-ﴖ<9xm88Zyc'jO=ˑwv]7HDNSd,szEͪ=EST=) ,j>Ruŀ%D\ly38P]|;L\9TI*~: #@3ސxlM}<6$H۰U;ufsYta#SP75 Jߙ1_T- EmBJG6Wvef/l-I%l:qL 59@JU[t96E:KG־TGSl`(x?vN}`w:_pm>B&>2nE.WT.Ln\uYT,:wf@@,A{rd8FWn8q`[YiC EUpfWeȿ6m@,(e-4șc+ 61{`yaa&(QؓDg\X#bE _5;AW)0 F!Bh]) X*VFUJSt ;"U;HƘ燉_^q.+<ta2mt0zZ&I)llUiƃ4mQ~ŅZ/TBTxB'?wDp(TۄqbҳԍF:MI3%B}ьM8/EN:@aFS`/t,5Xu!M{I-)!\C 9`M )9cG1|v>?>զ xL-y\pQO{H(VSVV˅ӰPzA3A2V 3 sHo<=8n9UH! ͷld&#`b`_Ԇ$wNŒUWwv .@ԡ}׹tRCܮV7CIvA姚[ߌuce Խ +!t?q^ o2;gzl$k0ޢH>)Hx,Z =|Ux>OA[zFTj?2…%pG#vhNO`y5ea*3|}. t来f.+ pRiW@59V =+^tf `A5~au _ȴ^D9rUNF+7ÕZ V8=* MŦܦTaMOB_@"QGMw ~{ ="D%0su[jPc2YS#5$[P N(rb긥2KC'W3h]]-!fmeR7>VP^ڼ^ ؎fWkq: :d@C'Ħy|1a0\|qg_ (1.;ƿH GWsjvu#v8MUuX5 K0}5K`}1܅Zcfmjkn (xaP3{IG`%Wzu0%>Fa%SkTG/WNf^${0~D`D;y/3dfk|b,r[d9<,p9=.a\{iҚ3e~4n}kӧcPg#^<,`q<֋`|MWkWШlY>ϣ "L):޿T:|!|J_ݓXyȃBOSWBɛ#XY5T=}"3ϴjA&ق" x-goaRW( M ]2FUd :m;8Qm`ìr HO{j4`Ra1xiyWhLčJP /xiFŜ,ug-a`WƖx7aC=nFpFKG43tr!i?P>cnTtb:9`M{,.UbN%k,gH0 (:sk)U#3>A%R-?ߨ‡92YN|8f*k&fC^#E-Lѹ j?8"8ŰX376IXi|GEq3Ƞ<.]BWr4X'$<KN`wϦ * +{%ae, cjVN%#c тfn]iP'Хt<KQ]<8ŖŖةW#+-)nx&)Vְ&:(H5&(]&}p# P#ZG PhZ|33U^]: 20m.|kYKfX.>ЪcپPˤiQp4HO|n؎$Eʨ/GL걌\ GNR?=Z¢Sg}/.RfxkT7s<2fb#5Sqݫh;kܵ]Rm&$n-,+ʬΕ+EL^SdNzD~%[kRYMCGܫc;D81'[Bdٸ{]nCٯ~Dߋ2y~B~ ΁;zY$z[ljZڅ S|D[2tzrˀ9RxxAkh+24 w_MfjYW#AW/-d<4>& !J) TTZ2QiZd yTB: l1d]>Mm".ӞGHjNdVRԯ %xirH,ld{_S;6fL iV$uq6!LhǪ +5m CI[\[Y?yjIwV{ev]vC5f- ;1 ]}Nhoua@ݮL3]nIct|Z-eB(%2vglo?-4%&W? 3aدD!\Jm 2T3uፂP.(&\C$뛬P5WȲ̘7N }IM98Gdpe%:myr\6cHFGDAq&J3rV,x͢ 捲J叮u];mȋkp. ;f5 )%JO@UHa`TYwu>Ic&|nS)%7`δ'^^QW͈TV)iA (mdw֒ SB_`ЬG bUa!#O)ɄL9l伹+* gYock;LBu۞n))1u ƥW$ܠr5[i0AsK$|J+q,j2Jh+ozUE@D;qR1& 4O"d|AQ@ {Nǽo!glQxSkK" x"yێJ~zx0y53:xH ]rzh՟+Ke!?j 62Xi!:v.j>p:<ͩ#5hI\E-Md]PWLDWeEFVn<-ӂ򒷨\N?xԪ |* #YLޭJsPMaS <%I.٫G#J$yCcN䥾 p6< *aZ~b:&¬jyTagR‌K %Ěef*pgL b:VLe٥3uχ<lP@ΩOcԕ|d\Hŵ@辮\./i/~r7Ɖj:vS(TPضyԵ;+0Q1;[B׮Q-K#ۃmfiSorCU3Y&'[^rW1 YzXAYNH@AUn&0sh"ff58vhuh v `]ᶝyh:p˵jww&fCӑIY.Ke\Gȉ.*) 4R;JJe W<ڊ(ɉ+":M V+ I&`.R>kyLD(0-jomptj|RW*u^ 5,-$ɵqa-(S% ||,=TP458JCY~=5|fnQP$~48 c@}/8d?K^IT{Qع;$!G'j69C`RTc 3lW a-o-8gy{>|NJBۋYጥ2]CcYe T5b [_[*C?'tkEF?k2o޺|vJڃN#r3sr"U}~`׆$m[s9ٛY(Vg T(C^M(E Aqf!5Kp`:[6B/"N0 VKAl\cc 6.TVM![<|}[7_#}5xXZVD Q$vմ5 |<3+!JZAj~Ui )#Y,b6sb Y@o6눮C@bҷ)T]Nˮz=ega,HU EmQr¡|cND;:C1 qCze5c& 3_N_B6Q VԾSTrRypNF:HTi*1bD ya #|ϬW 99ʛ2?z>]lٱ!QIj-?%*:}LfU[Oэ6L]|!@ChsUC%c;!W;HTSG/HShK\ۿì"c>"U|;b]:hHܟLM+0[mt4cgAg4 퐑)Kذe7 LywN#UV3V{ ^Lg +@ǖ9GN7W4ׂO}4Hp q 5$WC#Lh qI!=b0"ڝ*fi d*,@jXسGK»įajᢠQNtb :0גn'edؠC= D(V BASNTaRF"f*iHЪ[됌ApUz 3f2E:̔>7n匈d2w)BNcy* ΂'%\^[OOE(>]5n/g 3}he]O*lqDVeȉX1+<6~q ;Ş(~̮ɌTtpġY]˼bQj]DI,k!kf ?җG`\"bCȾUWƜGy9P/v<6W[8`C]NF+}(څRfx qM|ic̅DiNړgėLG:>$h<]],?]+~jw>ޛz1`1wo֯B 48A~'+HGv 9ة矷D(mywɂzv[ FصpGisveL1KYL6==|0XBߝCk9][\ɯBX!H{+ `UY'Oo>mAN7ggX\mM~Tiq0)uߝue63Ǹu=i;\CI5Mi'\˧{ 7o4y\!<X%/O^C1yT7PW?m]{=̅X# @n%boM&M&ڄn4/@|Z(W\<ԗ-Y/OkSZ1 ruTrٓ` 2۳!!rpvE]LXE`S/5HH؁U4Jd;cPtmFLguGadǧ4 ²hykL6j<+2 > `Ix'VDavjx cWK{һ%^gyH9uZ]x`T[ͩsVĠn`潐Eymy"W?Ɲ#L\0lĨfER\aX̻GyX~6J4JT6&gZ1U{̬/Hɰ%J%cG!h%jw޹o)IъɬV3E8N@XD%}ճ6B>[v] (dw{?C;Vg>tr|xS/8FBWnP:XR6xj:ęc\"m~QW~z%WSۛ4Յty5xfre#?]R"ŊCoH\OyW)ԲGgZm~Gt} +OE*ԓWSc!PSMq| *Uߕy%N2AeiL-Fno'^ zu$aLbJ;U/(1>nC=ʙQrP!khY)a &A+1FEIИ ŏv(CӰ=s')nBHaP%X;B1"߶ɇ;jbx!m<_Fk|ݖ 1n ^f ?8>ӛx@gAU[!s{Ū anrS2Nŷ7s\>4I_/6\.v[BDAР̲"K 4ba$Ie|g`$41t)T5sjCM YIg,E4DV0{|}LЛ9}*T.wtrjNAz{iaМl >|ACkk*úha@꓃q"sGK-D 6a2՛o݋qiQLWl7s%[OO:Vq캼/\X|,m_L5^8C1\SCJIЇGwuq_Gme&g+_.~t:$*g $ ?==]g>K&1on)"8gEU}?f#6c|B,6%:?Nֈ`O*LK5fa-='z5/FtNRΈV~H4zC H{'#En2bŃ\!KcfÝE}A;jmL 3Guu^l-N)k uC"Z}j94?2[RF_?4 أ61G&k3Hna}x )bq7j"F-~Wy2Ztwa&XDND68G2 dMbg2Ai 4F#t`U;_bIk ]d5܌bӞݍzKmz"$ ĝ~eT ;r7U*Hq ]LɵwJAF/^cud)zC @n9, tRٸWDZ< P4# Y=< \z373Ð(hzXFIݡXIdC<0+=]`,i2;?$5k јh/_ŔdB="lƩ4 B҃w $X(;Q8hA+*Wpc QuRԸ3|[]y*P[GǬRG|D.F|4%6pQD7̒.UW.w`Lx$HL=7a-J&adCkʮY\Zjwq|@,?=Q|7LSxM=D8D4!HJ"[) Ϫ rA|I:~1qKb 9|8SJ[ *TdNcG;hyBT2w𲴋6T†lQ`7wX=Afg岢7I-ɠ"˚ *=?+&4ש Y:}1`^wJRI:KcrP JpO|%Zb,GVeHߍ[i~!Z[`@D%ϣ\q³D0#vZ}*,1s?Ɖ{. v$2;rsSn#|q?фrЄEʻ|j_}CcJhQ q&؞Iw#RUr)G"U37fkOרݏn; SQ*#prq3Ki{4*5A~/1Z圽`1)=Bs}(:<~Ti'4$|!``V1}ԕAksP3h@~c۝>N( TKt^S X^T8A˃ ,`Xq Wّ`~zd=rƣW._1Pq|W YbM6ߗY%А7y7GUdU{tg{ާY)(srp2)խdF^$ՌRH?us [=L/ln)4juLʾ_kd1qǖêaq vFI` eWi^_a;h%zQ.zZ77{+{a3ՅB#9#T鸲0bϺ_:2aS^)C55cqn|[.dgކ7um|w߯_iWOyVIcSv90njGBႉ^W2v [f#CD9PN!+e+إPo nl1* .A: EXov< H56L!$w} W.PrV48< ƚ t X)Trt¦wm-f.S:UKU$F&DZ\ITJ x 8/;;vbH9'l3}lKз>hJɈwje3 A3!eͼ cfe%/.>U7/BJ$ F."bJ bj-5VV~wAOZO&4w ]MVb g.ѻktu27t=FǠdxBRm+u.p"t'ˑ\ke씍.gWkc_C7Cba]:Rh91h}5 [ c5-`h&C rٮ:ܕ{w@2!d0,-MAnܟ$zƕ(9qQ5#yߡ`j,h/g\!O)yQO0~*޲HַE)\NFqp'=ZOd@+3{j3NhFT9m1HV`ge .!9ctDKujTRdLv䙏ZdY  !2&fk pyV`,X$pN f$m>MSq35qX{҂(۽#Vl!omXksbhoaAVCo&hMZ]19a4 vl99#p/eưВ%bՠTLzkrd3΢+vU/4%]]؈$YX+$7WgS\Kp¢~bS/ =tjݜ`]Ox?w$W#ML8&~?;˰@zn)$d3H{e<[?r!jD9+*əR}KC;H -68M\[  KK\ނڅ Y| rV0/ZA y0pS31њNJQtajXR9#AÞO7Y29#p`Ō7DA}0Z?=Nǐʢ)ޜPH+ V!Ġ$]5PFURA1!#++f;[J|o?UѴ,8PUӊ4jhKt% *5OGɴM8PULz_vS=XŤɓ%N#OS XKAe4=c|/tƺ8fy*`XdgaKzLnb^x{ooFFNm59qM!^DbeY0x.L8RZ4CWRs|rm1!9^xItW=r>m.-4{9)$zd^4:if FǏEWxK>O&&R1_4X`1wD]MYX^ѿ4zB Fbe+7 1|dVas|ZuYjuL$cPhf Q`FD], _ﱆXl0EU9IQ$+ =񆽑> ޯl[*"y`;MFU}IA8les6\IO^?R6XOԮLR 0ST !>h]L㲈e;< Ϯi{DMa?{!QйF7̇6S 3Mە鞤9{X:تY~x\ᩊG%@qͪK,ˉ-@Sqk[{/Η+zu.dҼ~^#_ͩվ{9r99n[]J7;k? !8>C@`mZKG\z#}\!dkHfggcSɽ:7yLAF#Rca7`=s)Ѥnc&OA,r= ݔMqR4ЋdU^7e״WaL7Yhۋ$w aIi5 {ė:)g>өZ#"N4C7; jK HYtМ_É'V \xw^5[)j]$-&6^&o"`Eղ1/}:x hyy$qQ<}&«yi__:5x^k I9S\,rBc{Ƚ B_!J_H==2XLC?bQ2FkSDHs_si-7x]OTkLlCal̏aq5;T>-P*cz8Yz[Ym%2۔3ɰv!Qaš(ɦo4Z4;&,[vL^;A.rw!GlhY ͤNaӑ k`rI zw'>Ί"6;~tv (EiDG[25.vhΐ`R@QId-jCe 3Ȑ(̹"!|4 \+shr.[ys+`S~ gf' 0]p{\N0ZM-Q}@۟w/YuOӿɰC,iK? fyajTuuMtڀ͡ y1OYe+QRmp#) );5psw Dњ?,AM9A)S'OM춱΀7BgBuF&=ݞY(-RZCB/b5 ǷAц&Z[AUydw<π4,r2u8ATj.Nw0xNʥq,5Oc"qaRbDH57cE[ş(dǗP[as Go\Ha4h2l|jH|6fj5T|hQ)Tc3~ǁB蕰V~5BR2qN>)z*Lw 7swR( Bm4M#mn W#:^Q50MLJBTjͶ@ÇVW_C1#~V>K|>j\SWj0 ʋ.wHO54 /Q4MYPEuS<˟x^*|`*O <pB% y1_c 9Bg7&+2a"޵ɝnd=r" FmdZ.G@5|UF%e2o' !ƻa7/VgB>Y*? :3㞮[NcdudQmz`;.;УlЛ_WFQ>׏iϖXL1$ԁekZNW9S$`m:٩J! 8|3eΡ+S`-v,آ$plX!,\lƛ[1SlZϹ'MHpa~=x;Kը(\y7(Ud*QəT} %~Z[P{Z|?\)A6%{/H!C}cj@**i/C[eTă?rnc6mӥǙz4@@oZe q cN^%ܾ|tjN rJ0D3XN0: o?%qE}fίk*^8ѭJUor/SvjIڟ׎ 40>cw>أgecq6dž r3+ B{_t9@ם~D/ZjpRs>dGnz(@6qʮ/Us= EiM'kޑ̑#?v{Qr _gǕ|#r_m$]DLP6h?5Rw݉G?9%֜;ZDm$_ks MIG.:^R hq -QgMLwϸm@ 32QXHjrF=׀K4Xe߭kVB-|n3-{?E$ ˡHSD k4$Z3]HelTAΟ<`3Tn ʚVyun=U7,bFcWa "LjIR ]͐R'HG趞Fiu 2vt=+DלrƈX L[ POۿd؆Y0enHb 0c 'R#bGk촢^ 3!F%'Q=*@,,>Y,XsŁemUքUnko RQ)ɮy<6Ub Ql.:XEMQ :I38OmRi}sR9Iu^Sf)2ȍY'$y),~2$7/T ˉC{;>Y$2wR)`~J6ݢzN WP 5j)x]eز|7( e|9?gP/{YQ5 N[`] _c!;#%h"ǭ؛bjٓ3Y% @ʐ<-5k%/y GYU4`+|qoj}˟plLۻ2f.n vI+]]ezP[˃A{ᆏ8) 6S@p$sfh020~wr@ֲ 1Rj-a Tw(zK-0n{A]$&} # ʴKHUlu?G;[š?]tY$"Y}Y}}~)X^r`*d3pyZjÌcplİ.# Eg:Qt9>[{QyؕvRi^Ofk@LLL7~S!p= !O8hs}3ޔ+Br}Fo@Қ@dLRIZ)8l[ [qh8#X(jn."ފt)NZz.?a z OgBvF߆HtgudTrīSIvKɜf82 Odℜ'y$9py7>S@PBRg9Nlw)D:0p3 *mz[?WSᒥQ{dL%r'^x\jfӡƊ;=mYdȽ,Ul`+"'ܷ7l3nx*>489P E֙Ahh; ⑙ yLDPRmq5ִE+YkzZxѳwwcMF7 RL΂=a( Â/~ȶ /=S]`,ͳT٫˳30MB߳"D˔p(#)BڨH!mo;w>[j2u>!ziͱbdO?`^Nқ!,;u;DzͻpaA2 fELh?_ֈs|C]f nFHeSÚ6z\՜n>M:1p.HsH (5t/߁%׏lS}Tx`dD;p!Vz?c%p~ݳ !`kDytk+j͡:r3,ڒ ȷ3&Ly"סj9Ӽ$h٦_%Wh9z5U۬,VTTGeIa1γQb]aivdH4uU)UlF~eNCR +_ >>,g鎳4 s[ݾn^^}e jlc&҇ry]U),P>A GS7PUgO}Ģ  <8G|e2@o\0g¡e%4*]Oi.d_C9JɥufMlMkiZUuS(+~Su4=wZ=j#yK̥hd䡐Lil%sSPe悉w{ޟSuye{]đUSPpV7uS!5C86EOkLrx܇@م㹸( ,4paDNIhmy* &kN:3앩f8H-]ShG{zLKGcn"( qryէW E4 ]YCaxlxW{p d'$l@=yL ߷P%볦NV.k|?C'!d1ˡ MXQP swg۾p&\ZK\b)q)n9?s#M1~7G:f!Pl¤jMuY¸V2nat eaע%Q5%%zĠ tM YqO x[w9]^}"-jʏ BKZH1}]\S95Da[Ƹ#5‹و3T#(V`'Y&Ȏ &mû4F!N_-lֺ}~$ׄd} 4FG;84bO,a;O?ܦ^w)V6Ґ\g"9*]1fܪ̭+| Qo'1.zߌ2S]|$lv]gUBCdG؃ߌQ l<%G%Uj^cܫe. Ę}ځ}[ SPڌYtdD¨72DcSohFN͑/!ĭ0+<7HP2mF6?lqDl|/5Oͅ&+&nS y6Q2`k7hf~w8pasEAw8+m@Y5F@1fb?9Ɓ(V؈]3~1D$6F1e,zo}^&"֨% Fnj>-1` ;zh tCqHg xmggR0)vmMt{: <E"äxɞC0GC!u  jˎUxÞy}u$y==#H1!5XEQ1w QA ) QAϖm4#<=QdILvl0$t\f 3AT96o 6!Ѵ#*wHS{~4awlE"Yd{s>.yt8ud_ЇzU2/#n4)ɂס_2*qxքfҚM1CNcO3I"ig}m0F)`4ëDǠ-2;"kbvMkS?gzrw4'ehͣ#>.SqxIp'W($] cM20.FN|^@JcߐA?<+Xo9ɺ UkR!K\[  1Mߑ.^J\<o.tH86jb@պmG[G؜kDt6#h@#CH/ĸ8{׌c(49*P&^iPX(a8 Tr-iW2@k= B.Jօ8H'c5^MAS?ݔq[f>1'61ru:SiԘe4J>(&ɖ2&WMPh ccrl^Z"~.?$%<@<~%1` Β- H xpƢ^i?xcEb]1޶9kcbSފ=H=C|n L] ]{`B矹2J39lQR U|2׈~)}d܁6-pm9Y%Ċ˯RX |˰꿰P6]h޲sԲcL7sΝ_4i>p>ԠA"<ϺH.7[**ǴGizaHL& KkpK޴ul9yecb3N.RBG-@NɕCFԱ,+[V\<'͐ L,{3 Ӡ`lպZtKְ?kg7FQ+kp "HMzgIAޚ=dGVrcC$a2,qYg\:~=[DὁOJdxJ4?ݞS):%-uCVr/іRKZ kL-_OXZsY܊Y1FV`o'Y5p]D(&>v+{@aQ<o"H.<P)v3h9k0$qj$j*K> ed!BU&/*|GEܺIJY۵`fƛ 11,M_Bp3d߅@Go"?mʩ6(dBJ?IiG2.(:{nMzl]cu\MJzs.XBYT213 ,8hJ5Pdsﲍ˓74d≑픸RUgYZ n X EYn9" 1;# HOL-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=?/!!J?1')HzHOqr$5:/3~ho̿?ݗA3sgöwM 5{ Ks({Qf)A pI±oa=)mx"Ju@`SpTQl|ls*#Q>•(rQb12o6򿉪yB \Lc/50Ҥy7l}y$BC+Ḓ7M`U:ZcG2ZeP2om?0XDF$?yEZF0&f-E!^"ȘY,-T}C2!BmƯ"%&\!1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC 1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526i1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (a]D?7 {?:fH\xC۬Ȝ ~(;s @n{ ![H)jz#MTN'njwlC.L,nla3Zhsv>>O9yէǽ+|Ü=);&hTU/߈mD*uE !0nݷGX,EI@S~ .7~El$a:17iZt7+[>f}5`3OBrݥ>W;T,GT#7EcACwG$E'*6*ħrd\"FdNx$nt 8CƯ_gja0!4酮~D jg,XYnD*Q#A3Ğ1W +õFMj hs7i[X:߰g|d6XOK٦7NlG1tFt}C%Lmw۳z@|a$9QſȩʠT~"`#\4ZHNC=Zt]V8=B!RL,$ ;%{P-bZ H :X -kECǬNּW4lqoS(6k{Ұ'`4i9κ% ^ ) m6J< fB2ռR\2DWJv/c5Љ0]`a 6OCuV:#':˸u +ܠ\ E]k| |Ѐ /"nh6O;QmIgYZ 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/_$7^8,Da/`Pfgg ̽H &?1MlFӲ{pFD&{*!z4 uգL!Կ8Twž^!A)C7& D!@Uc_Ȣ֪& 1{oN 4#.Qs5WiC*9ԥ+Z/q)Tq^(+?7@/tB!V?NcM#rneh0ՈITgyfVs w]Lo2_SL ߰̓H:Z==/G7r71cZ\'\}:9/Gae%xyM@þf&<ޟOs-݌8^̀TXyb"/RE1+7psF)ID#Y^2#u)\i"?Ff4ǦxaieqXg٬Rq:vy"S r.]|QhGm YWa {lXaJ%#] Z|ˮW95YE+XKBNv(5AE,D!G!G5`-Lv˄,8xEjz:Ӑ\?RM5~+DR rirdUldaI= QS~YG)^ʘXǞ' 20k+ F_3BQgb Oag:]ZD`fY3HmXfl˂kND!pL)bժ==io"* vs*'7owU5vwĴPoD lUp[=EY3bv͢Ƀ/ "J~Aa2pI=<{<\XjG!ޚs$"lk06e BF!^g#mZf֢ғN Ot*_B8NsTjt5 OMhAU_[+V3k}4/א;M@΄cv:wK n5?]hUk#q\>~iaΓf}i6Y np5y"Ԛ 1XNad8a1dώ!ݱQZiO4}! l!Fyˠ cLm/\YaP ,JOHF9H!\`'0|֞z 3&d.VY/ȚAA.kb\6_1*\t,?aeG)WAk>;m{Dg ]̀kܑ97Μ.nCKcMj5UAq#2֊ 9+s Thtu2B=IٜDiRNҍSm-S=EڋB-p)ґ*e#}Qpbz3ܩV/4~;6}t2΅Χ̭nX-ExA0u 'H¹/ P#n E^N$qx|&K=h)atRxd=Nceyj?{]J,FHQ]g5S_E+o0S3ZyLU6Ee~Q PI|~d'(n07̨ʋ-@| ,QǕ%2i'()Ν17ȩA-z fRmJKCe[Nph+U&o~;OS~Tm_/d s n<6tѾ;: ^'4*sسVs|Lo \n{#UApp(Uw8ߨ3tys ,&̥tוIǑ"}N}t_ }q'ZqOZW+m"*>@^`>hc9`ju0ve@ %h.7=Bcs8GU+/;Y`ٺVuw:fYD/xF.h9ڱͶ!aO7~zQuJ_5 %JG.ǘu*Dw8[>^Wu {tu)j9nNb,""B\qVm GfwEH*R4냪?evR:#Y4;4i]ZBwҮ|c\ahNO 4b!: ӈaw@7@ȃ~? \% h_ɾ?t'fe.k% XӍhʟ* .bE;rJKsQټ~S%nA6K.bDB)9d.ĻNS.NB-v/$\?,|w s> }IjJ(w&>/0Qnx&)8u}ƍ"r V31b1r- 4q/TɩE՝[ LbMR>cDߧPQ¤Э)<|1$\ dVԹJͅ"6~tJ^ TFBK~g]#6/zh\2@z7;;qwAh4VxΦR^zV5f,6Y56hSn{d.c?M}nZЃ^&G/!t#90_8Yh1,Wݽ'e t,NvY;G-Ԫlxe< oyh:eV!詯 KՊx8#>|ܘ qk̯ 0y64d|٥ cs6_:Tq0k܅u;K04 q\,e!fd_ˎ)X!V98\^ ipN|OFౘb)WЗ&]rsFΏ ?j"R¶ ?ڛITd $SǛՔl"UoMTDˑょJ}+}\0 9nY/G{%?Vi0ktFMJr".]1F{8_^{]:HAUum驁3`t[+x.{u=w.,TI1>w7D!!lOzfCb 4,GCrG{RWźuZ,p!>UM;^5;-(,*K.1l|P`.,,V'A% n/!J)yυ(v*!VV;_Z:;B|mQD;KO=gJUTпbL{U6?B (W>0qa@`8@1DVqsNIƯa=55u.vSCaOxN풩ߋJ~\\+LP8Mى=_< afxq}s\np)Q湉w\{2AByYA#[ SE|תVs<+a3Y{fi: IHOy: =:)&ok|Ey+EZWv֕^`WI/;Y-r0Om³5%}SJ5fۤI` .\[ǁ9ο^5gdO5H,-A.̀GPθp'r-@>:V5NO'kYO.ŁB'ـْ=V [>!p@AL PGFot3e&gAH7 @F6t3NiH WɦFg|=hôf-y="#0vXaQ>fђ*''6z߯a;4pN$öKpTp|Cʁ_J7\sO?\7MH44c.#bD#aG$6EPu@Q7PyFMx=` ^ ^ mo`ETWkL vN.<u_v](,zs<2jt] gf$GˆwyҨ4hPv$ƚR?V:ZfpZe(Oˎ8yw,^n.p,u4R}T [p2 d9)Cl>gVϞ9h'wgPAu 2)Ũ ݣs\OX(/7M׃m2U$faZ{}M@{⹥qy2zfџD4 CɅ CތnN$ HVW;G"WܹMQc $'!%F\lAf2lTh;,aIM:nU Qv橵[ґ0o32nVSZݳt2D?Racb8GRh 1ۦcjgӻԫ/c4-}*"D(G?ƇoC0V5F]&kA9S (,yL v,eP=!AY !n\cq4#wf ClrSRd`AvG`\' ŢO'Uzn8):k;y>۬O;UYd?l'24kɸeLHV:9 ֈΕw3ݙ3& òAebwoz%})T6翎ז=GT: n e+h5xkyp`+A!} 25`esUaIDnE9gGD<(HFodvhnaQ]Z *,,Qgk%oqϕrD.܀;-@ 7ryjq!zVݒ"U~.bo;w6agR?vSv͌a[ Ÿɉ2phY}iL5JOU3w+;=䛷'y+~:z@'l6İ\tKMDLNȦE5Pwc7l "bD.]l}^_P3[ZFE{ iL`P>TI/ygbPМ4 3$"M'x9.O_dc8ySv"OWt u\6j>P˃s4$$DR ܞҮ@~y,p 6IU\lu񱣙rc/kzHR.A)naX++'(B|*ud]){{ WNy6e4iL|7 λC~CݔxSd!S#^d l^xx6ﺠO񱲗=Q}kAEfOs1 Kӿ|XYE4@rN:? w%/p uD z:y%bL]]eApcnǪp.>j|a&[H(,SpʲY_s]U3x asKuQn?^tt[KUl4y_p01ފIpf@G}zEo)_N 3 &c}_EْT - =E#zt~qDpX|zLP Jd[ة~4;]Ca2gYZ?e1& }h _)>EJ"D_2Q{IHTODwlΠ|"1?ys鎮oScʊ8uɃ0V{`L 2|AcgcH޶ rVk^gA3g0~N˗Ӵs 'e3%g'T]*τ**j~ d 1HRp:j&)d c9PTLFw6; "X*NK׺:+h]f.KtW>-;R:]9ṉ ۠ISr[#a#t ျG7gWuB xais^to"Nno X_ pQ]FLhb.\7jl$rv'1*AhJn:W}dRԎ^Cfp8c6$Bm){Ro+v\*3FntoMX[dKeCR(~ؙ? ±QR(RY'T+IQ.k}A{AiP׃Akl'<03fYJjK.ăD﷌V#ppf\ꧺ.b7<W-,yuJ%|'*y;obtRt'~Vvm'oL&?Z'Bo`LVYڮejuj^ ?-OnG]Qqp=4I"5C{BDҳU$ /KS $MJv){ d t-ޠ(YߠFŽ[ML"%8|G`oSXYPՙsf3r\SOi}4z*Z߀+Ƃ[ht>sҎmd0ȍ: _uՠϛ7LBB!dgK @0BcӅj'Ymw sUKw|z9S+ Q.]QVӏK6TWPd$Voż{f[r_D,񂱇i4Ĥ | <ntCnH Dv Z{- w73=X{D:AA,5x1}Z68uc*6Le(j?NZgsh"P##Ք.6` bZ)s n#&R,;jO[OO^v@ ;3H٪q)k@h2S؟Uycd'R1$=&%w8<3#%WV(=؞۸\ZX?n,O3wz8/XRH5݊Cƭ.OȱMfhSL&TL떒} 0n<[u 6S6J5. Q<_Dj5X:A pL"u5J0aNE ߱I0Q4jƌuÎ;ojF#MM涗mbEPJ Ni>сGLR8g91>le ΐNhXAN=,8+dt\fdTHĒB7rEx|Dt`D~10F*n?mb]%E˨-F8f[~Q{?l;>*OcZ~#(6/aKEm}R]?':GsAH`*\<;NX ,z8]+ IAuK㞁`Il4_u2-V)b"SSͤ~ ͩ9jy KrX۹܎5-L(Mǫ1'2Sk{gLA!Hk^ Zpnr~8Тyu tװ#ۡv|%EGZq*@KLyCQSk  s W6j[|VVÑ>Efn6G65~%NZ\P(hOnJKwEc^"w%("XG-!Nf~/r1xcz__ mxԌGʛA|>_XU Wn]^˸JƀW`FFkmH7%A2rdED*"6  FۯKIk%] qC(w $LO= i-0 {ᥳ$=fVHHn={g#ʙT/ iB[c,h[l+a*M-*Q#$q=Pnv1>WEu^R:8n-|m8=r? V %(ʄ({i {vqmZw]#;6s+r7U!9'oG,x. i6Ã|oʻ͚{u,icZP8^ [? Ci?Ty U(ܓ f][eŠbLV.o ]BU#Z3a:!;=~{czI|IE|@2Bj XnReMflizV[}*1t' pˌfBJSLj*׳M!%bB΀narhM&m}bSz~D̤u~'C3+䙇K%ZќJDZؖq+~q;!CiKBpK[}U:yMlF.})#n6{3WIm˙u. {"8uk\M0GbJ$&A).2ĩY\zr' .WfִD(*{φ7A1$ gUVuHCnh6"k} xb/D\0l%:ʬ '+x7+PtȲaY:BW>RPĝ/x烶m>`%+fIݠ*2YvМ懨,*x.H:# zpI5"S^ĹjlSׅ2*!'[E,ickߔI ?UM| "DgJyl3X$Wh,.-#TnHi`xC*%͙.,DFF*tg@ o<^B-m#l~9[>Kjݳz>WYikSr2u=;}jsOH=X~m r}/Lq?U٨w6mI_񒣷?-u\w;,DIBOn !TSc4&V渽ZXfk(# GadCڂ]8`ш.ZrQK] ͊2E@_jdS{ ƞ>1W>g_2<M \'dXUI#ФoѴznӇcF]L_-GƧ#ӮEx& e)+Mz@> xlE xu2 WQcj@nzo ;qlqp1M>2&ufO5[itncq鑇^q#@"[;]J*P@|uͭ*ey( ͠`.*3!6MmC,[CͲ~8zfVހs w`)=c6K 9b`ح/a%O#0;Ưny4!cGg`oH3ҨXhUL;ygJ:}8`Cg)^˂svB\: cD0dM<~_Z)%KZW I!ps">ܐi*$:oc ;->] HR3|1p/7 D a._t^/a9% M@ߓp&{e`jxݢUzD~T;06fUvV1?˰+sC:cU;7. ]C| iQֱ9EuDVsye;奔'܆GyW!f-XډaIR<(\8omFtFG5(p]CқeUZ%Z"r0<#Lk%j᠀B ]*=5YdeI-w%nuk녲9Q3Zn]<_uo>K<+o1ӋΑ}v,DrIuT.3B}mK)(Ǥ I-QaV~ˣ>*t㠍+r*Kt&EN8A/NްA~%6`D+F1Mw>Bݟn/̊|Tj+P_?J)0^?yqPH gM19*5X1m`E'U*j!DF_|jgqax4ӉJ ?sړzZ6J=:DO&xgBt~TEt$%8aSj3%C8nY:4j)SVcr?\x]·~ԩ^[=b`"{x5i:smûmlFƳ&l ϩu֢Ih E{p}!W+!q!ǁiީUOQ#GURr+viU/mUbޥCf_.BKO$֒fpM6tK #/`Ln^gHhL 8sm\oYW+?h[O"=Ug?8ȳ^s^e;o'Ǿ:Oo:pLӓyۈ_$^RRetW^:VBy{PNaS7ikJ㍘kC}R l(ۂr̬I]@ !A1wN$s)y_'Bw'C;M}M@8ʊʛV▥:ǁG'\CgYZ  g  n%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1;' a|K@D}#}tUj.RRw+;0s~:sY'"$r%HKR^HCIVKKh P 6+=QP *v}J테t[`!ͩ\t|D=gYZ 00j(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ց<"Iu(r.I8D.#uzt [Fuo='Zg@!ΩSg'ȫxrj qs&UngW k:ktxy!Xtz8i)yp)amB.o"{9@UT_ftRMݺԙ;`PGc ߊPUE:djx"3l:?dc I[ rɜ4bho)ՇEbч'H&qÙ^wv0!i{qE(UL${:Ot|Xŀ`GExWI'#t!(y¢ԪO|hf7fL){%U`F;@ܐS>VDܼAœ9ecA]%ՕM8tObh oՕZv}btP'rt{\pza>m5N_^s[e:0Z7NN1Tei%ꞎqD^5׸13=#|@ѻu\]~?wAP kmɓx[7"ba5řچ,0k"/qI_15%90xRhO =W[ފfpp~DV >b? %Sr4:1`_8^Ӷr1׵-_ P>@ j'x {k ZbxQm8([gv]2 ;UPKuCljv >1nHvΙa)扫]>ו)oeA`Р %]Hs Y'~ 3Gd2h &Y78]q.ZSԜYhk96ߣ^=^*}gzLNl,2hiGӾ%r1t:l7v3˜f}D8xm<۝jC(#4p^&L>)-MgЀ?N4R_Ɣnݚ$)J^{PaC~3$o[喱/5)R⺮5x4< D3(ݎr-Ig^Fj3-N^lkL9DI+Aa,a^]ף- i'W#NtoQJiEV1?$Δ7GX~aĘƌ}9[!_B5Lx)R Q]:.TKyL,˦Z5CE+Ȕ9 t0p$xZ^kg تpUB7PW`{Y4 xAs8.0Y.OWꂑ|\ U/N C`Pm^jau*ʢAxe^ΥWEC 펪-;'%3x?:ȧ# 8TVp70ODVTB9hS7Y/B㥍L\K~02 JjNC]gټT ص#~{g)W>$풄G~, $eywI˂?=G{!-i1LF<25EZLP\ :U(9=TU? :szF謸R0[iC%pUEPQ YȤ.=U{ ]ar4-Et /ћy'C+sO)q> sf/*V'$R*,F59݀GA^USW)OEJJwW˜,ab|$F|]KVfeujxF ʯo:&~: üISu4 ZJ:QhZE#D#&j<jF(A``DZ{'֐- tѿ3яn*s4~B}vi4EmUjWzrMA; gdd45wJ!$/:] ͼ*CqE`Y/};q0I%J;*Z f4~Qӝg6TÚL#8̜pjg3!ibٱ18-HnPcs>r!S?Ձ'?,xLppF(W;Vg|ҷ|[8u}݌ʇXx/2-)͇g{;:Jt9Z teƿe>sٝ2/>A~ v@庒?%oKD֕s}[o'%gOQj55>QӸ_0V2Zl't>mQۘ1|esL˘#˄{r~U:xR5{MhOw y5\ֆ]GOޓdȧRt%0H93a31T(@0rhV{D^7>7HDUi^v{-ᖁ.{WT4rL DߝGP@McHq,3_ͥљ,ɱgYZpP7J}xpyJ\i~7fToY EADf=lip0[Ĕm" OgNt+bIBDKJ7"ӽ;q$bLP%bH1HPY;B(MR+y;` о͑!rA[,lǮ~\@,EU a 5z,J35ruxRL|G kW?4Z W3ӰOô"Ād&Hch8?*|'Tmϓ}:'g@rLm$n ȝT Vg8]\KKD&mVmfd&o誼+{O#QuWPCqTGDy2.0k4A v=}d8I0R׼!"65ǂPey;.*@>mse,O_.j T ɀ RG8PhyL[FrB0`\?lJ 筷PLiV"1DҨ+ެk2* i!2|XCx? ot| x uhqS8^U`N By+sIT!!$8;Z\"8e%Ϛ8F8/7dtA=W)lħ$Taj/WPzo|3OB 5a %x}=hkËa^&2ë KUv5 Ab$ "XxlBM'Th *&X#e`ڿ1yڥoW037,luE-=9M?ϽN' %hax\q)![`+n= K",H)X`băܗo5HN)~_8B.%$I1HW:G`\{GmƒfWb=J>0P/NFJ3\ih4{@g "5)ꇏ9ۜJ}}/խӘߛBCyqg mSG(|S bꠛ+fRG !]w>o (G {vMR![(-cYCw/*XZ_~7B=P{:DS y}ŭ9R.WpLȭD7:O\uH)q?X!le ɾ˹%?ڌ~x! qK=tg Kfot$-,sIQX>ȠBWKYҩ&l'2jdE5*3;'?c`\mHTf3dؠևMkmڊKLqwj?ֹNDͩ.v?]N!s6@BUpPSlv}5GL8 &ȁ ?e&uPρvk32c>}ķLoljcQ? f夬@.\/:@Gu;W7 vF}Ľ0PǠo(,.I"AR-g|ٕ+uYwqbQ֎qFQ'iO*M\CL|jm,N߉:Lbՠ*~An7I'EHQu(\|i/ DTEIߕlwlS!\t,҇Q>$r3/oY2ąEq?Fɘ vEՎu߭*1XKB8#!Է RcV1{9UKIqsϓ*#a@^A w] ހD_ik)\V0jS?LLB]=xuN "ͶW>= bv*9FY(c(H*24dN:2eװbNɎ dcuz% V;g鋷 a1{M42Z9/ej_Ҝc1Zpן@h} :֪ ,tz䴣 *>T 0Q*]cn;C.=襺t$NzD6`+uV' {7)bg\^b|NX=T+S _>BM*<Z w39 Ӷ{@yl[ze^/JTu2[I`N֡͊I0Ȇv^N$Q*d6FJWVcωmx QZ:(ߒXaqxbAՖ"¿d Gz2 wCQ%{ߨZ]zӸw[.QPASFݛׄ3 %s*25f`dr %da9aFx4c~P`>9X0,6Eu|ajM21;vwAVg_C ӯe؆'/g*'ZQHs6]2_-Am8ޭ"=?a]ا|OP_벐9?s|`l;`rR*-9c7Dgn=fژzC:!A#T zΚޓn4Iu="Ĩ)GCIomQ҄} [9ݱx/ퟬ -c(:y f nU߻jQdnJNYD.>A VVˡA}54ڙ@;헸3t.j$gQ2A13Uf́+k6/G>*Z> }(ݑ+u[L lyQ:DZ-oOXeYƎF_wx5C]wM2|o |>BW, YM{vA$mӥEfU˖'fkz*cO9<'XL=ǎebpZKaټ)(YzxˣѿJXo1% |\+rt:EB9f`ڌ@*Ϳ\eL?5mgMFͪx?k֬:/ {º<n2gYZ Jb+1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF*1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id524+)1I# \HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF! #%] !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%ՀOc(uU^(Hp9նIz₣PQK÷Ѣ{=wUzP_SI;&Ld.;*ym{ '@vr[{iDG2 @>q-|+ Ƀ:Nfh.=~4A 7p\_I&jU|JVu:t[ec&D̶ TnւrORYk6׸ Mm(봥ldnpMTrǡ(a[π3~XG ӻmH;B:1*WפU?Ե(!4zb !~YP,T}*Ul4 pM2(k^C7}',FGŚ]l{-t\Z&Q7פYBai\ 8ZxEEK> 6|9i5<0%n[Rp^Ϙ=1`\wM(]걑Vg@A7Gɽ_R&iN)fW6}Q:\Nyh(6%j؍CjFΝ"&5@SqNqخLٱfK5{pS1t c4OEZRiĭB'|SūŤhw{viOqm lijxgd/؊!CeY"ؘ)%YyήɧyЖYꈷTF(Jj7V7dȾi!U4utU𯩤;V^4!:>?h,c {Ț;=h aNj\;k /mD`8&a=+5i.r*M.VEkH2js `8ax{o)'bĺ`RgYrm1}EAdlggAW>wҧ)Dn=YaX @DȴŃ·KZ3q?SexlƓ( lYSڈ$r~h31ʷpgpc">M}C0q`sK7Gq:J:@kft;:_BD`U3q,a+,7G',я"D4Hq-vka2<QaJJ'oNhTOB`pJ [XʌϘBt"b@ ?|i{f'8_Y )uk֏;qZϴ}@pqGŝUGF)i*:+A=IRFh12j:,MaFSRa32: 8j@=]Z-7nr(\!5$( 8ަXƺeQzi@HRyA${>i5_Yf ;}Hpvrힺ%C!Q՝ .DŘhJ;Ay/l80Nl1yA4 J)kn "J&RIvk۲yJY\<1Ze)kpSf>od_Zc%ED*B .Y:^ I,HU3iD"{jSUN{p, D91θ(U!Ta-o]=~*Pqf꜏,hnvڪV?$k +*oے9Up/zNp&/7 Bg)OHh(B͆U6ZPQ_2jD *=Sݭk3 rB_NJ?wti)1$Haw,r&ݓSH߬(] nFT|TdU`R^o.KӚ U?|qAVjBE$hA!IY58I|ͮ҈sb]uj7u30u*QcNi:PU!N E+}ymwb*k3cc*xc_4e1-6P[]XGgNBYP]k{NZ3rU$ǼXkH%)qQmoX`:p niT?t%TL%{$3QlT斿WlV@׫G,ܚGј!2,&ǽ:#׊ m[`(ȣ Vm":F_f;iLstqj>-C)NI>:cM扝 HTW.ջ+kM.P A`!̔yYoNTC>>V`s_u`Y8tUY!_[=0ch`@QQڧŕیsA_/'Plz D!sL/]u>QTbNx>vm; }༩*D5sk!@ev@~PnCaG|苫oO_rn^9OՄMp_ߑ4Qf!#DܔH<"Ҁs*3=.i0opR_O\l ^ք z6KstGexKadܣy{g7@eTm0^NL f`L*$}XHc/U."B;tp:ve?'Sc2o]'uEX>kg*xUx5O([AăiA7B0z)L]T1+Hs~r\ TAɅS-D((桪)]*EXk9Z6ԲT6R^^`3}b4%DCZ-V#2zJJ>!> ҽ>r4Dae 3lݘݕRx;yl!蠋H,ᰪ-7`z?,I{,»lJA׺K誤-Hz$;K0&.8!uad 9ژ !xBE] ,@.WċV/cKftσo_D/^FUn7=M/3@mZe+v0bU%HN7՘!o*Wau |_A1dzY+;/pO,B$MKv'jd=^/drK_n&h(nY}2+Qc|"-X #mʂ*tPU-Z;)ۍa*upMjժM7wgƾxMۣ;{m9 = 7,MG$~|8iQT4FD>[/D[6,!a.rGJě|k(ܹLp{x$S Sbj nj5G Iwy~ *Sκ~_jBQ|2Ef]D[NSWU0NuUh%DI超wǯ*0fuȻ/wEbYk1 ?5NZӎARU^Q_EZ|ž ݐumDOa D702-Xg 5J72Ol  ],eFOX.(77r?`UJiwrh,փ7lH_7bW&7PݼZ幽E녷l|Jd *ܫ)0{1r 3s;xh =OD.m Ayv3wP5bE=WyK0{l?\#-8bI\]B^d:]K\T bS`6.[:D89$dc1I5h]*.|;66!B6/Abe;oO'X3bg9 ZLF{3\&es !_+8}(Yͣ.?[ؙLabĦdDzI]cS?jnadABJ t89N Li1 )KJ)URs[jW|, aە5UQ!\,XڟFv9X]gޛ z 9*Lǵ=5 rNw\պ˺qxu?~c۩%ު|sPLag\@%oK=n谬}Z:gA$j"ʤ=/5Kp%Q DcOcY8`uS-% t~H \UvmƫjiM^6ݞNI iސ)Yxx"P-pӍI3KՖ皜;Egԏ;/@#EQNq_ʌt7v*?xEM-ѮSsZrX/MzbOxms쨁9r2#ed ·9c 6D1X,$+)a7$5~}"O9'jn[ w.0(ui2p(Eذ! I7R#M!!i89 ĊKlsr333ysSOW/MQEұHs6e Ft,M/Wݦ^nT#%v>&"xXxБg{g %y6W5&:J;AI*Ձ$THNW4B]+]=(SYsrјr;6׬(3Lr޳4줏2wS2fVaW 5*,ϷSOopDB0nt5,dJo~{Zm7[P 1o_{.'YݩL3;J`/lh~Hm/2o( +Onv>suTk Oպ3d886?_&,AL/rF^4:\㱘&'R]WCJ(:vmYANu:H\jY o;|n/Wtj("Y4-wO= re**נZ #*A3)6byP^!zdh^& Y..KWY\@bMA^^n6?ClS)gKMi) o[Yqh,m]ʆpo5 !sŮ]P1-C P V6[9c)Idh'[RFvhVԴ:"CbSkuYy@,W8Jȍ(q[X/ n V2tڥqNBuL22nBg°9iHu5tmC6ooċ:iyVǭ أ')}Ű>BxѴ68Vb]ZCphz<墜"i 5w1KߙxR=paHۙzx43rYmF.CcY6\$M;O5H  H>=] qF nO 6ο@ eRDm'$\P⛐E'VE(b #ps߰_`/qg ,,h^y\ZRiѭFXǮX0egQ&p_'skMt|,Gb6mR9( bzqa>ƍ>fe ĆoK<πMV\BYU"$yJbO΀vnn-qw%E)n;`XfNH)j"@9W[ zeK|l-Lr >$I` 9|ޟHx 9=,G=[Gd;,@UV"N#D&KSZĥ+^0 |8?';8省`2%4@Jh42mrϲA/z)x>Cd#XTㄯXwq5Eǃ^h2J`MZ^R6;cڇz=6~cGZ#.RrLs3N]6%)"ȽPaNmby%c٫iHq3nH63Xvw X1ay(rifi.@ImA}胑 c"@bhF1iduGu@ylϘń+ń`$ުF:Xd \uJ[_&q` lfo&yW?Pdl^6t8ޗ8 pT\D9TtiT?XUK2,,9)oרP0ͰK_ŒPֈ5 ;EH]EiqlAaa^2Vne9M8FH LS8BhH`g 1y2HoLʉ|&UV/,5z\Fm&3,N>0`]+jRe!fe?R$ K28)O[P'm, G8 oV7'Ǥh $&vʯLxD.~xg}ԱUak^Eٴ/#<Ɓn)o BC_{û #ﺁ'05dKg'r7f UmMbW5X@Pmn"(9 <[enGf/4 Ec֠!eVF+?u9wW64)cp?{cfYy*\y h{9uY 3i[\D=I2%7~m}Ns}sϑf!F)>`Pwv2/|߅5E ʧTC3Ww@fŤQOt'3#vGzFt7+N; Qt0oʉh6yObf>{S5d?:ߣV׀E ^>Qo*(== Ļ jijvgEAΨ@o*, O!+/e7uo(tvMG"q229n-фaNgNfeh*Ï | M3nq'%U>}!f\6:9a'@|{-3-UK1믈v "FuK xٹƉz#A[\$68{Žǂ!oM2@5Ճ"-b H|P҃fQ2(j~lKeZY ԔGXfO%:ɀT4qӐI_=oMǪwD^ U9` ^s[x'l AB7=04~$g١@2|p bIp]߮XGuU[#2L9P'X_J`.vdW äa̓Ynya/_sIBጷ^]e(d|[oÊs޵M`2ݜp糣sLvd %yF,NJEDanBtf8ZdQ]( ]NL vb\K߁DvWBX <4-"{(-=AW1|_SupVE25k:[vG?D[4<~8QBmZ+ [@,D{i*zӧ Kn3Zhx[|q;Sew1'_qKHwV}245jLõJa+ dK쩍ӚC)AؼUZ&`us-i y5Ntܰ3-%f>j=QIatOz-[?7Y7wb*)Pq#?BIT`8̃VҥO!$~8gz~ {Ʈ@b iW=CRY585nM8FgIu iFlf p!(!j#TqbQ8 d1Q>띾ٔ`>u^-V0o g+<9-ZevZV>)Xܸ1d"7v(VN6 dZ6Z]n iFn[)0:OVYUx0=}|CؖOHLTG7GYS+3:{9?'7tз5"& /Dxro9e&2L]$nfD3JGEh_y~>V-)a1;+}|4p$FKc# 4}H(84L SG[H% >IȳA@~'+ED?yx&4IaCĬe<DVK!Z "mx峆ȖW5@b)+8Zr* O,왊3"9Hb ΗICH'$_~Z,<j\'|dc ]G:b+ߜpb'1_X}V]t:9{?ƣɠ>2QaHE2kuQ 7U %G)XR9.pTM(CScTB3<ھi^(gYM/2LjSYm1SE#(< 佅X@~>}q}o2w8zp*}s%n Ҡ}"@^@D&7GKKЪGCv򳯯v]z.nRJ_QRNK& 'h`5tqAsDNR9c۳ZuYUtTgpun,X8sz{26nZSp?]t֮{\ $M7U-3Wz}ږ/NLl;ZCWm|ƪbpdQ v z'Ҩ CRr!ہRڭhaThf4{Xث_^D|a R sT?47 J iS::+^3! @[2>ZݎeYRM]4حU]jNH{P5dJ^`+a4)"И@J1A3m_4s\X$pDWs$+$(){ٰ#)hh/!2Ȇ ]ArHX맜rl1stI#(g.-33<0F߉Qǩ)KX4Ejs>MbC[FiHOC7pd3V!4qm m.A'5  ,$![[c&aJ!bgܻiŬvh7~AM(_:dz84JGv`SɏD1k!:*&_v -~ChQBnS_%۸a}`->;G%fF?~7ՖZJ)O &(V_E)OgAg(, v4rejdm )rhwm3&GvwLr;+t ` &:0O'{;3%Sqi\wŽw߇U.[–a#qΖӥGl^e HkL C4m@,a<7\=rakBۗת6){AOD~Y,#"\I+KI>KX5w‰W|y&MjgX7ч,?`VO91) Ŕ~(L8Y1zV0 נڌ̬~J^;+Xqogzqc[h8Smo=;+DJخbJ,Ic> ~Iz:η!@M5mLZ#l/` 1e4WnuTΊXtV;%u,Ubt>>t.댒ƾ܍w&mFTR7k(zp-,4zÈߋZUM`$y8wC)j3ǰ> 7[¦m \qGlɕXXWXKr6N<ȹ砏^#9ceLGjqj 'xxqC v;l1vmD3uՑYGnd/:SGٯfp^DjMHe5U!MeO`c0^'8wys@[ʖ32#5g-oIYB4Woڜ_kMl g嚏=dJy+o*,w>0{kL)5 :%AyZhX|gцգ@@/]FɃf 9o vNu $}7EY}ʓ{/ߏf r7pD;)T ɃYb딑uw!dv1@[>Y'2O&z#3 ɘ3x};i2DOT!^8𯊇,\SO0|g9>p{PI-KQr&V}YM44Je+8 v\g݋j3yFnӑ)fU+oan9rU*r|Q)DXAȟiG灧Q}A߻FWz!h*9-gug Nj{17@D+~2u!Rn]3C{(W"L c]>'쓻YGu>>[ 9LKʹƝ17qׂE4[+U'*.!4P! D<٫v]ƒ"tto^#2Vc`hOdauKoP|)fZ2^9SqKӄ9D˛8Q@୯n :Z@FcH.+B\H3;Ph")7HpSeu#㙇#& ]G#I)t8_ ./ QKp 5obw$ͦ_=Hϒw)UqumFQVz:I*)G_>jWU5bm`q8x=&o>g^~Egd2ĕ۱^Cxpghی#t .bNw 2oFؔ&/ {N}n}fBɉٌFN+@-nACgbZ`}ASs5' t\Ԋ(f} )b:i506nVAP\'.ƚW2gSΦwD1W>ZAAy1i4:ʌ7 suE_&t6F%vn]y-LU&B0=\MJZ65$n@؉YbX1<O7]O/v5cE83QsZpYfCX xXt! Ѹ>,Z:*J-8 ʴ!MXx?I,7hO b uדA+1Q?$# >ORRwF̠, _6#R3F]JN ',JKl5|ژt@d`Օ}?< 'r:0Qmz?C cmx=furշ8m$ tO M2NZlq$o{W"_OMBh799f_C8JnJ{.ľ^_uEo2n1ҳ3 ~y;r|8jP6ݪDq 37 ]|^5C9uIOyř};9!q `4#H>ܬI]W7|vX5]o,eݟfZdZ.xnƞA5qN] Z^h)JfD •C(rzsɨ;UD$:RD- Se=Yһ rQu rW21 mzlZUlՒj7{f*c)!Aѳr9aaBCy( 0NWG4.}1dXM6>X8u0 rRlEMQi'Ai]b4C<)<>q<>\CgvV6B(ׄY.gx)|NQ5![7WKfcXk'o!kT1X?Yؕ s\*[Z^vA+{thtxK"b\c+;bNx)dpdt3ИT4tX [ ߡsF+?Go1QuXC3mW ĂvGJŹSgTޚOeIqӚ 9Qw?VVL.`jO.#Kq ك4NX+=3F7z閘v 1;z&*qVZT_ۤpɟ*e59-8}+zD.lب HArN5H"s9puz; Z'.7f=O%Y$>Gk#m(`^F%5ًM}p=wA,L\cG4K\s=:+S| ѷ;cMo8Ij} ]z"ŗi>|$UJav y fV7% CJ4Ů Ќ,,zSIe NPو+POTmTy/ܑI3EJHDڇlkigs^`.vhǒCc"L(~0xDg_Bؗц1j>4GJW[|;\|>=U\')$cL^^=7-GB krV40n3,oSOaKáj|{n:¡SX5^."IN/*D&/`Jr,RtЃE*ukOQcl<-c 5*|Qf"dZgj.ClrM<y7q Mv5N8B3+w؞JtaU810BɐsX+]ek5g{N| 2μs1)PJu Ɍ<ҫS*˳NC.+:OxJ 5-Zgt0c\*tI Y^k'V?tXE 5a4c,pj$oi3|4m7]8h![huy!*{G&fJ8;P_:`֗OZ.=#4>{1ozƒ&&n7 FR!#I; (@m0r'"`8m9_ߊxaN?g7YҘe1y]&e`W2׶H:o1Jl9Ѭ ۳$Sĝ)p`8}f!MM߅.9y QM/v˫r!/9RB])Sid,xGr6U'5@+9YK&}\E,\۸A/~RkA6ĺG^_ TQI+nQ ^/(|EE$]1U/h,d<ќ}6 -%VA iPi&kn Ҙ`{8\C~Hբ]·mxc]@m >{LAWpZىOCH>܋%c]TBQ`X'~{,SNl+a yS "@:ÂC5R2*s}^̦h`|%:(M<̔."U9WMIh`4BIM| " $BH,u)Kyڿ_@i^182!=#: (6ʘ9tpʔm_KFNx]BLDMb'>9Ν.I3G>/BxZq/ЎqdUN]m!D2Z1óu)F-dv/" Iv C7;H.256/{ooƨuvXȂNtG%Q f=ZW+.ANZ] _fDQo@?Y"(|LUڛ`!![}8+%p<[Q[Z4(gєt͔.aGj49_H* n!1ƃi*V2|%,S{*= WơĔTer$V>_ޞ\Vͣ*4ruP~ ZJ{lq*`VKs54Q#[F~Ҹe%eMhÁjxX ZA9fv;D{ELfŝb9 MG 9*;-Br\Y,7 /EODE9BZ2V3v QwyK"gAvQNNI2/k^GC*!*0H;89'fdU5 Egeִi@*q@9Q]NnFm2IfMTg̪ ef^K) Ȑ #MjAyT*_= EjȢ/Z i-O}.U:" / 9C`i#C( ;L8kT¤<9w dd݊㱚 }N6KʹJLnډt87v7mm:jXpNB5vca.wmOR%nzxɓhXB#Թ^VYu Re`8|ms(x=@܎rݲdF Q)p%g?/:';RLհ@ՙcH75sʥŽr>qښ@ekG!a@86A 7(YO"pߥ.09]П\NKq8?eC;=1P(N?3_Qp̡ۺ7\QD<*RCeF2?@DSŴ˰‚W= ͼܿԧFn=$ ޏWn Ԏ4iu vT+c|&nw,cneƪߪ&귱0|q{\xW{d+M }#f 28^ :z=Zʦ&k8iXMzc0PDڂ6 !_x^{i2?"`p\K_7ȇ(}XJd@Ѐ0|q38G. 3hi_TQټS Mu djy=W}qS/V e-Y:vo*1' _-ȡIcuy@g%ϐTȸE[e) 02a:oE ߈ʎECp 'J * EQ* э.+:8<"IbGRKl0oߛ|ڲH`/ʒ÷jp3(Qm)'xL o>-ѥh 2Va!8BD` Q"K/ڞc@Y]Tv ժ׌99Cn D@(<PsYè7m5m ^ }6%78tQ, 6b `g_u. dڶ4BwF#^G{Cmfr&Evvay-o1GΈ6DWHے[?ьK^a)&x^$]PsF)T%]T1[7Vp:T2@Y0','b" R #> ۙpi5qn!"О !)J-IU  vh鿖 (A_uDձz/C52ii_{nN}{ObQ?| QV:AtA0?0IhK#\Lٽ|^ps򜰹N9f lQ<1Gc/+U 5ۺF+drPJgYZ  p21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id532*01O# THOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! S] !M젗OFK?f=Ь*f@T@fB(*3^ߙTp/"HNH0An8Ⱦ 7_^^lf͘7 yVeK#[_a\"ٺv8þ'_= b!xdL%"PS׏~.y3*ٻ%P4t+9>1 P|4KZ6S,:  gy96mY[jq$Hrô8a Hv9CwŔވEW qUڌт-F6&_YD/l^F.lљKa{O*lD5 6LP* Oa >IZu_HJ< 622o+^9i̝>pn0 L"4#[\ROYݣ2H¥58~C ez]CJw9ݲ:mѿ=L±a | @WN8% [}C kakca*+R.lbt4W:}i|ԙLE7@)D6Գ\L!~v#H`YШA{wA\#mTu y3$f^X}J_G@k&Cd)C0NF 3 GR}!z3\{\3x9rV!Xi<-Hz=iS :_. {PU\\f1T\jxBQ@BUm>Ddܪ7Ǩ)b0ڞ "Nt Qp aD~!_,[pVOa@iy"k1 5}'L&R?FɿZI(WڲBSs͸Qh&@NtYH0PH|OvXff ִQZ7je(UV#ơ6 lw4Ğ EˠqpЧsۉ (P"4,D%^!z}Jߕy&a"o fqWˏE%G|l1p06eSXR7]բ͘=OU;ˠU-L{?ih}z&sX!P'|jPQ9Ucpn/9uJI;mvJp/1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM.1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id536-1A' ,HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z{1dU5; +<Қ]+u\%D& V={'~>ے1Udq*wEyLhi;̨E &dv-p%Hw21i.ԁ 7!i9[KzY C4)NCE$_aE Q虲}n k^T O>@b˃"rͬql'A{haA5=@i)=c={E+|coRr2$|a"a-]W saRv̇+DL+hI $pL׏'*n{׭i+dHPMU4E|ٸCiJs@t9=#oxmA7&;1 rs E Fݥ㹓ڭHB<<qzHt|e%tFm/$/K &渟2mp;~ΡZdF}*crM,˱9O% 0'Wo.-)4(5{x) e\YRJw4lps@*(S ȥ"%j}vPOad =8k&Vœ ZL0dk5N 0H CfX |+Lϳ\{zn5=$wv.14>u:z+} sB_cߥ`&G5W7`OƠwklXTw79𢫒aЬuKG9_NU Cmf6OvW׵4\^<g{AF# X{oCn;\Sˎ X5Ժ -s\WT]DtA,k=>qh[KC ~`P\fwR6H^ ]cAu)#gV@/8B D#gYZ, 1A# HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! R] !M젗OFK?f=Ь*f@T@t/ fC&s&x(fQ)YA,+bH|Xfzbț%꠳e>t+ȀW,IǢj *~4X uUg`miWG6m:˚3Y`1YƷ昢>=onnhraqң"ﯗt({{y7Fh)oli!WGlcW쨭Wp R_1W}:&t7z$]by2e !v,u=|a*,uXҭz]8CiDLomZ@6E5ub glj^ef2to Td|. `܂؎igOpRP\.8#C;Ϩ: pn&?pteNգΊv"tk[Wr\^_۵#?ZܫQc2jB+πhmNF葺Nv# c+qV6<s- ~P)@li-D DɳmsrŨyۇ7b^tƻ q/uUl džή9ehuɊ;,@/M+S-b]i1qAzO>V0_t'5E}.~-*h8$bB\}n!9h1 C{Eg<*p0!_ѳ&I[UN|Zi`bufux]a~~p(\xSN߭ZJ_oAխ cTsD,|6D5͜o"-8L#/}\a/$D(}M)Eˏ1cr=)|<5(lFWc`$.TV]\^nQ³Эd4V4>٬@-m3N%147tM<p:nF]>j&q{l[+WgQifѧy%rS{{o}@naq(@h% Fœw^*{Ue弇/2[/[;Y<±|72~()Qs#׭g@^K0ŶJޅ7vn9$}BF8[WІ1y:In6~vRcVJ@mƙ7~ o\H/tޱQ,bX>,?58؇&C)A*tN/jF V54q;s!좙]xXQtclWGE2/% I@lNl=a/8`<@F$ň8;qym]|Zm $&:\(p, xDZoCYxb4f֋8à w8MXv fg=a˽,;f &H0xEwQNj4gr:)5F}ʞIw%j 6߱:/NFHsTj}ȭdg'ɒ$]K7pп <~i\kyNND;PpszwGT2? -7I%D?L.jT%LAȒs Fzy%LH{_7shڴծR>2 k.L}Gpy^նb5b`8䫽QH/Qi]IP˲3x6)GB葝 AkT.]Au̦>rD`+RBR:1zӪ o{֯J:f½2ԝ#f5GɒN7  agD{dFpp4[q{ Vi2= QW5ݪo5ϟX>]oD /ifPW>v]OrތK?c&Wl4*k$צ, %qb+v %w"mi Xq!* h3YRl <>Mmɣ,i/f7r¤wk{iB-f XaRPoi=)8E5CIPT}Y98g FjYv8ncvd|KtC|ͅ wQM ,n_4t"+sҟKS8f&QBcu]@^ 9G1#p]g".Fi?e`2 ߟy\}[`e[H>~P? PVat< ۘ7N)e%)^(i@wQs@ KM\]~Fl+>ׂS,m6H6[сlcJ.+-%'2\ղxh04"Mh,3O+_]3K9ةd;)*MNb0!"5TlwNkg U|f^߽Hab6IMgg^iH?+ G;pkہ@9;3UxL~ 2h37 NgXi"@H¯o@n*Vpl!SE@-pYM˛e2PYniik!7 V_62s{tJHlQǫêі 3(\DΎ0NITzP&_5XjQ1y5@iZ~EFk$4*m}QJI#%'SWQԌQU03=>*y)mQݿ  p?6I ہD|NQ?r7zvJ%7="WA/c{6V/,ogVhN~]_)U^Ol]Rn48kh!w̉VBi@Fuc#o[.]>kÛ!$ zJ,uׇm;;P-OG:w: Ci"g˷ ,'t?mqa/^.-YFm?UL-J&,ja!dǬqwTi&QT[ƃ5`U`2=ʟ gYZ*31O# THOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! O "] !M젗OFK?f=Ь*f@T@f}A(W߅en3$P`@Zۊ#"Y¢8 dqI~":Ȗݾ:>Y ۑUCII>jf(Yk:\:%&{)1Qq^sԻ_3qW ĶD< p39AyҿcG*6 &zq&b6u5rOD5E>;Y9߲]F|M@ݕB\5GT|;fxWa)Yj5[**0!MZ㣠'g|qr ڧ/C< Ly|Wq`1K\)VTc"ղVG9Ѣ K_fQëpR)x,`.Yxf$4!;r.%N𻙇;ۨb\UcoVwȁ~h!(| iCub'oԬC5]73-OkF%C3dz`ij$*']4YhQ{6p0vᎼj> ]ӟS^k^8~Z iyY4.#1ďP􀬉GT!cdHJx Z贪@s//Қӳ4V2vՔK?a\s~"f TQE U?`'Kɔɵ8q:ܦD P>dp(%E8H?<<o0̛]=@bhH. cϟT@˴k$'Z&,yu9-PnrɷԫnO@'yb=yJ zJ<+zdTE2|k|ۈWK6 9GoK֏UJ7 ٰ(_9>5=Xچ:. ;%?t(0z0ug'9I|5p/ 0p[d}h!F,tRԽI%> &]*mdɮcd#WMʭYTG9 )DI~XWtNxWGKJ[rA\jD.qTD8!-M g`m{ElAapt+bT $CtmQ,\9cK\πaHʹʖe45hWKM tռwJKEÒtׅw{LZ\uרG\.BOLhaPUj!g{6Ϸpyq*F`}ʒ@.EAHj4">~fR8[[M?KHRF]C`7"ͣʭ];A*! 2 z $Ksb]0BS>#h-uܡ rIߜlmHf /hsį ՒE6)|+p75z |7O'_K)W-xු@u:鰖p?h-rMjM$q\Hx Gn 3QՏuN7 =H@aHn:NJOs+>ϟ:k״}ciVu13+uD o̺@Y$9PeC;ȻʱҘfQ<"G8&(@jӒwʸb,?=*:>q_tSSJ ‰%C(Ee{Ȣ fo_LŗfTDǿ8sal.r&_ Wf?N,<2k)~'E %x38žCU/FQy%_Geo#f|cYwOlUQRͣ % ЀF۞drDdxD/ϟtu~ ]jFr"J)f$%eν7.LQtEgqAOق ː#Ѣy,b,?L}gB-ۧ7QXRD$α DM_U3+|)7y'G9넏B-7aU]Eܑ͟PpbZlǴwnuFu T?M--Feǹ׈XWFNmzC.vf爾:!<,5l'.2TrEŅޮVDZVS!kgs8Ѻqt\2!۔MtsaJ#LqɚLG3@'oO?e)-В?+:gYZ  w 81?' LHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u]D?7 {?:fH\x&]:+f?Ħr_xqPܾ#qN}ZR{Hq5嶉^~ 79IQ}<:L1Cix=5ǧ:*rM@?ycl Nx6}l$T ~/J5Koc93ṛ?*;\5iTVEjOkX\~!30cxA!٥"wF^Aˏ߽np =|;?F+v i-/^nl! r,Z)Ҷ$7<;a ]51d*C@![SgHPM$$89O%[j"IaC YÇl{ŕL[1al Oʽ&I}HHt+>dl(^偋VQ=K~dj5 UpQ n U $&>1 S +mX# 6(\o+X GP\\1 sJmr}#~ݔFZZorGv:G-r?7Ii1Rp9bEO8iĊ S%!aԙGlB.6-Z^9|ϸXKԉ$,x#7P~/;|: %8_PWd-թq@p2KHN$W!I)&*mT7b$q]J>jK Im*WWh&b&q(HU `!r&+~4eƬ9xq޿J.~&/~B}4w#!0A5~6amnRǸ{;/\D e#D}i){p_H#w'vgyK8Z \B?QEγ )p$$Ю0Z~":eU1=|)dU5"K~d8Q{qW"7r;T'7B+zf5UxsЩ&W`Uuq[2)'tRkɁ옏!_CEBpVhؗ6'v> O* bL0ݺ.cAj]|Xd$B2)QQغWu2b욨n+}\ʀ.VXUoIAj3P]fA# w+~u `~;K~W/zO9-ˉ[aߢZ #[#ADԙOK`pNZ7\ t;ZTS5-ޖl$d^3jFdW!To;wj<ڷ=MQ(MUo}5O2L("rA/Qs S1ւ2[Fx[.T̿$fnG{|bB~1~^&b{'bײJLnc…/9kY` %s1kx&$a&ny[3x#Z4M)g.%:{߹?fU-e5FCٺ$0 J0)IƲA98VH5x` u DşG.ϔ9(M:}G`gYZ7 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жww71N=2OoR\gD2|=a{$u 91uvvEՓ[[0,-OI\20ùɚ,YAO#-\4H5J`v0ܾKnAF.=k`8bF>^|K \v;n>֌jAb?Tx=I'w JM`61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyNvbNvD fD~Ԙ~XL%2!\+ 9UBx-[J7,F[/[_HfiƤ"ubԞV*&FU5xdT[r1RAq(KfTMeĽ~ÛX]gٛ`L^z$"Jo󃷜;M&uT C OXuu`RY}+|a#HLNTTq|eѣPji2+|0.~3g~!5LV.wq`M3]kP)|.kU+y_UfX*{^ "4#`y.D&dd5sm"c垨X "K|$Q~CnFήꢍrW\}^6K~(]4h`aYRU/Y[)i1d4mߺ}'%Q{hE*G'y߫,Fbm=!Q#o {ֆ۬֏V}bݒS;s"ݎ?+jcr֮V4Qp|ɥ{sYoY[Rlry< n)ԡ(8Z^;(渧Ei44?3F}3R);kza8G\WpQ]eEh&H"_}&e√2ܖFFʉ(Ǚ<}13Y:(X|K eDɤDj<6CsKy`91P,T8'S/UU dejGq!)a 4Wmm)H{BMvAeu8rHe+Aݣ[?Q OZ*Tm֗.H/ug$*eby]C~/xX 6D6݂Vp)G -E%F, 9Hl4gJ0G~^+Zp7'ڷYƲ?9*p5?m& ("xES0|Tr9U]Iм/nEv"a⣨e!!=^7#. "N߇q.yo{㽿Wa_[H",-M1SpHjKfnڱǗ(c6ILKĢ= tZ,.Q yѮJ !nw!?q(H-TZ&ʿXdw~,3jXju.=H:RZQȋnԤ fk/lFT.Ȏt\w%ٕFQEK`^C~D 1iA8^N|:YsPvg{ʳ2Aq 1 )x=ms[K[z<ǘQ>dl̀KID1wڵUS5 6fXjAJE*L?#IAA.רǑktx!h%c5d4sBҙ:3*!a,y KcT]`q\ߦMSTPMqcUl8IاHtɳ!+[.SFfFaʼ9ϤV{"ˡ=7bD7U[OrmKHJI@2:jR[b X/дݑo_&P=o3)fEiו6,l:b j/Bb&,9C5N!l>gOns;G%D/XW_; Fj@(AǦdB4d6/SY0E~}1 ZAp\:&j)bYo(|Ҍ{8$f0,&bcƅyBM6 nG֣.oV(L4ImB C)@:[)C%|L\:J%U O;6رAqBH3sb>Ka(B7O8&#qchK:((Y9O# P3W N 3ji-EI-$yf%uRl_P5Mҝƺ K(J^}{`9`-(Dv)a,ݩ!3NW(*s„wT~v+Q fvͶF= 5=20[qTn)&omMMbɦOcr>I!S%Y&Ӹ}?NlכӄzܔXGMk_ Ԋf_Vq?7_{뢛K9Z:B8 4A# W4k4[ 4*ƜrudA1)Ϳ8YO,\A?"%Zq]& &8.̤bvy!3E)ƔsEWYxʧFN0'T}~ 8$npYj@kogrv^g'ܬaU &';9XYt0uPA?JHc?^ݞhwawL_i.Y(+@0 tq̽%U>3Lh•cC$&gz3;a,zq]]&&PR*k^׾֖A*O9R1dyx49w 7,>0BТzg ޜ@NLdY ۞-J^d+<׵?8Qj>c2gk{$E t#Y9ao-S<oi[/IR0:rƇkf̱wmYTcT'F-'bGkfXSV^)2ޘxgr!cppjϖg U"fl>EП\OVxuURe@o MC 鑊̇m9 4W4+U^@' rB.V9Fv Ry*0frS>cpgYk{WKe';S !ʄXR6_0JWୃ[8DM)V=PwOXW&@0[1a{P>B@We*#6.Zip"Ԕ&_6h|-EzN`I>ד[1p8ʵέAiEXn=Em M\=' l3@v1*ߋA*GLs.ge Q2- zjw+!IYyOxT&k?_Ip]4@F8 ]̊~`4c mrxJnQN>;wX)`~.Q+-۲z1fo tUGxl2)Lk a.lj7JT*-$?8x߼]x= LJ oH]~їP4#02!dGpm&ɤA@6z=DLԥ8Y8sq.!4`~R( h$\CupIH\h л/b6L ]oo6pM rկiÈ;fW1.5~/7H3y0^ԁUQwX ^}#˖7n5e öL/A$ozgG# C\BL+#։ c`dI(-E" M"5MGKbZǃ8 8MS7YV s&O&8Hg@lPiµlmƻWMKWz6]@5_{WyW/_an,U~]D_9G/h%$yMyr8ن@<)An+R8 @Qtc(ŞLBXhҕخn^*-_Ȱ7F.aVcmGV (WDwDn5!Ði(, .̿<ݲ$ێޔ=om7S4gJp"Xo/ 谩Vn^K:GaܨwWw$ (+h º2Gt*𽧼{@Vr98/F܈P WxG6'fz E0@HBK8 #{9f^׉yM5ա]0aP|3o'\W8fmu94ֿԇ#52y0{ZmT[Ax䧊 (QXT$84v4;1LEl{"޳ӱKbVFoċw}E ^Y#4`>, ju:NyOOa׭bwP_lz"4r @'Ǒg7&4"1%Rwғ'"jwMA-eG %QzCs{TZmjuٰ;^Tɓp0fVaWoyG2O}*!y&@hRuP SȦ JS4h JVFPeVi<9%R) "bJ#] %hT9BU=}GuӴ|Nyf""jsV956ܢ XyTl>D< JmE1q$~C?iWw 5?:R lR#m~we4q +(0  f7b݊{Đ!lbm(A%A49Q2>5.9>Y!EN@; eMX?KʩcZ-#I]xn kBy庉j { ?Aq/@췰BZkp33aAq ucJcD!o}~գMB.3qE$sb!Dߣ,VEJr YYEˁade3"Sڃd,˩ A +r.+TwmkfDb@%rjꙡ@8ii/-UN{(T9%3S j5b:SGNowUK- ﬜ NJ62%<'j4X-GzM$ VMNi #',sm\= a@+w!y*w '`񁌮uv^XA0dHzGU% 'ȜAT X5r 8? ȽCZ9?#[G҂-ʜܐ W~és^ӯ6MX`\7tSDܢ|FhÉVA3ϚKPB洳tX _tZ/ 3?7c3LuHv;τ0{^-?k%eGO~9vJ095 R A`]+&_:a^h9CmGx3BgG>dl2exH+KPbX{~,/jQ+^)\\j#O7o ye'N̚Hԗ?y(<F2E9}5٥tS.~A KpnQOdmzylZDzi,bY{->J&h[6 6QdF ~=7~UVOo q: bSica0~,WWݰY!_&dסm̒`\am~~Zg6ݻM.H|t=!e< 5A^e(9VpfKtlTXSc,{C"]BҪh9N Ɓ,uT>y)grzkBuJ4$u]%N9}{hkQAcW?z.iČDblI alZ\hQyZV}CSÁ-똱MY(16*Z6X~R;Ę `N8jEaD"ٚ]G}w? =(j-iy邨 >2(9Ö (kNU|rg|VCQݎ!;aOo?cU}=kU<Mڜԕ {_l5- VZC77dWE8!Θko<@}^̪8(g2}#ĦUn Kb .#$op 7L:_fa\)NhiV@={KB[3Fz?;B}Oyd5}XHt0T̫O mhZW!F-81y^n]!&c$ac{ -.SDcm7G-|B|h>xJ,(~z)*Y~bHO޸(0CQiI\Ax,þ1JM7nQ ~b+b^T/Y$z}" LcхAf>r^vRX~Kʭ-St$M6MiSj@P N!P5BqBŕ[ YSp"🩞#͵j<|9qaOt '+v `Ju>99 n3PDJkѤSqx)4Р_(??C~=4C(Q y;E)'v;TFBcFϠ=+?zDJ9 իtNSC3b+X@Ҽ.fL,:l`r`TSyA7_W x f\551W&R-tNNKjX!b5z[7.( I^4"AΞ!%Ug03xEWzzvY R9>n7Ldi-"IWg@|!іYUAyQ6"q3&~?:iɚN@& 6Fu:_T79egPkMGԖ Y =;{]0aqa.졓|)ya5dKҬo%mwD\HLP '3SŁH+fcn<= g}S&)V-|z݅wmv<\۹O!8j*-xdBJ߁&\[˜mBf-q.s)>5EG3Zf!uU[D5ܶf,΍7d꩓G94uҌG2l{8wm ͼ=}V  }9 о3\f8>1 t(r;w7k'=7AI&`nõ5i Q%ձ;0 t{_TD VDooyŒŎ*e[:fR!E.A0~8XQiImq/FkgXGԦ< 8,ܪ\8~ ezS>3N }ZdQC{$iU eď)ցTw){`<ՕmMO#ZJ:gMPLLJ%E+'Tʏs@v:R(>J:B !13ZApiW0/_1ׁv]_E{K`;S߿7F& `az| ˑ‡ЭU 5$C)lZdS{'7,g@p!vW;ԟFJarDcY#v<;]`kK6)9\"M=Ʌ92Hy",.zy~jVU_tT-(Q]#Q췻W37(3A.1J8&-_k5k8.;czƚ}^%lpAd!# OVMw{/+%~9VP, C!OŻTZ7$gӨENNQOq?4'EAo_/=TmWӭ"R'v)IR=P&RmШljDzzNS\r:7됨=Wuy 80.?R^ċ1{*qQhMvuMY;u# a Q[DKEi|xKؚv@jBcPRuH!~kliˮZ:2y#\YE$uwe}$RQn 4ъF2#<lFs"&0͹uR+b3*8Ť-uhFG껥2> gŔc|zy@д{+>dǭgS!2(gş:qzm1d뛌R~~Dw^>>Mq-q]Gq"FS (ıW$唚G"ؿe+Fo_ԮE;:f3?P`bt4?4(c>j'7JPbR-6"<U:-^zt ɉxKT(-T^=ݸApd~$;``oVdѝfEvʼ916){dQx OeU8!dI$O@d@̡7mvgC1uТNRKǍKk/ԁiŢYjEq \:c֞&5nXE+)Cc޵-wY&>r.T8sO޵ dg#?|ί1g;~%&߾A33`@%S2 .8$XT).A׆p.4q(|/ 3gB  yqc0 Lǖ$%åf|#^cCtb9+qα( %y %Ii+doU+Yu[۱mE}bX`,ݿf#MMsnGYs濈F4CbɼbD; kf‰w%C+܂dK4\"fgȬWhj] 뭗'C)^ t+K% Y,9BFJqE/ItA'ՁȐ4WfO¡h+z 㟸dI8%=]8^-ƿ"ϻ֪7;jO>]_Y {3Z2dxO)ۅy,7!:Ob~6&~}~?J%]9C^ݧC1YK9$C/}`\X:hɱŐspDbw`;@ 8ie&Wj6z!7$B8vtAƌQXH䫡2+9E+ˣn(ѾO&5mhFF-Rt|YڒYj+,9r;_ 2I8ȝd:>7/\;2-ȡtѰ0l2c;,hT2yf{iY| F4sAᲐW W1.L ;h8RQ~zd]a Ƹz0Em"cžAwU`wM:wFHNax :~n 3!ؗr?M#}((!3v{A^JhGkkyOn*y .$K fF]ƚV`f_`8Ф<0e+ȬY 'Z w4gT!iR]Eӆ .ge)3cXf1U q%#4Lu1lw⊖c>6{^B*NPQiFۆ>(Hv..HQ= AS#!_R#:4J /<OVb0|riNчJǿu 5c lCtfRq-^\T"MZߺعXJ«nUgM28fY&wW0y"W˵w|*1K;>~.rS:&'o~:_Ed/EpX %`!uCys5ݛ3H`s=~:V$1l״oÑiwt@S_%ۈ3 s4:%͜eĪ9sA-s"z$6{(2(llJ(KANSb_$eߣ ^qryi[pu6QUUڦʗ~`fE=ɦG!XQu$id8{A_Dyi#Bv?S)#`쨔FdHdmkrӄaA/.9p/0`8h3@/ZL qr`D$ Qrõ]hsT{-LV&5=[:a\c_!b2U6Z+=Ѷ"unF.-1vzb&'% buB(+7@d l;B}Rwp~E/9i憎ӽN#atj(n_JoT@ 1E`sYr3D˄|1$sl(Mc~ݡ{vK]CWJrp,Ef(bIMyJysƿ!~X`12\Astv*?Mʖ@(+g>dHԷhI%{!9K ]sIkG9snvG0Vne?[ azYn-ňوcGbGwfh)'r"E1qrjn|SNK9Ù&,^~)ӽ򄾫s!#LRNt,$~f|[]>₿{xvlYR`|L {(WzY\.:,CY̐IeQЌ_Xg,SWl1 _r'~Kfo}Ѻz{t"LkXF)%%r%Ka)x$J-$HV~tH }T}`%*!ЩR|_% vF^4Aat]ux"d x2_T-L秂ZoA1j{73TkN^ m\#4XzojkO Z6{{QJw.4-ix Z:/B6@L<%0%/U1U9+Lu,Hs$XN~@ #CX])K։Qw^+37 Hsgl@&@I~k+VbDN|9FK|^ZnD3j~b_'`|CkUJ׀^;ڕ'(MbY4h (% "?;03.|mnT`zclĪ‡82n+Ak 6pn[#gTljLXVoҨ f| v"&v1;+Ҏp(罶J)n[8&mZkm?ՏBku|mڙ.@YcW6Q섷[R#:) Nv0__i/PN|kԎHm<` 6ʅOjA}mˑz3XS3P^W *]h*Lw?A6z0?O=5G\pת*#qiC(e9 ?nWm@gɭg3$LϿ淉3Q{Ж')R-Z:sRznRm*Cb/^#O 7'n!" {Lvb;b[|շ2WT+ WM+jJޡg4ul-i|;˛[DYmiUs؃$$;l ;}Rӽ)8s^Vd3k rm 0kfiR i)= \lNWv2<cPlp(R SR}ODXtS_Jq(&ݤAF !z'øS݃5)>hGUy#׺OuHFM:>DTYwuGצ+ 0]9@ag@ϵ-YZ/TAXPٴ};Tbv_<-]T0zpB[UkAKl''wRaד÷ʌe!wծO:mE!T⟛ OKQ2 M#EGƝmBM"[J#{r '.F!C4>|k9n2{%5cGdW)p$XzJ$MIB7ts0劵ӭWHIg)Ɵ2 B[ Gxc]f췋Lㄒ )?*60p~jN:i[$Bn=iN4dUv83фk.X~]ǃH씙5q9HR]@ݛlՌ [#Le -tɝs Z; mȄ: -px5_cse}0r4Ut+%\SGo;@.}\mU\O6A>CлS!V㰒qL᭯*VǕq .iJPlŽ<\ 5paV∲mR{B5sq.Yy$c+x~c.)=lr*X'CEêriN䎾r(2[lgw)*D'{ q馨 -)=2ρ̎'# `ftG#hPH1+q= J{@BE+H)4M;H~}-d*;V2kLmW fx;T#*IS/ߕ7.2TΠJYzAIW?Y*TBŏmxϡ-_6y_0t=2i"搧Җ}U8称^Tc"ع&Fo207`k'ՙßXꨗcA_kLE8v !M94,8D3IRDM,ilDay!8* 5aVWrfb @ꤕR`,7˖18~smx_߁ N'he od#wkKsSW\̍Q5 XLM{`u—:3tw8b&C]4]d`)S1~|akd^I8B=kڋ6ʃWHKgFxQ8RP?[4{^n͙ve@bӒgԋ1ԲAs#w3N9>h6׏)D~^:2[c}ILk^Kb5H<~Alh>᫾UxO".8 hد[aw5S; nJcy=,.:ϡEL0`!S˚WxY't/G»%x ؉{ ðsnʼ0Vnid?2z6UZYqxOE7пX&a*4L.Is laGa7 wN!8lyضA#}@y/fm숥4gONDڋ&Z܂ C5_| NIFL;GBȱ`ET0gLq]8<Y\ a_2f39s㩫MHutS_y]-QE|Iἠb dLpGi_f@Wd.tBQROoeB j[ixp lH6>N@u'f5M?!$@,zaYhc-]w%+zz3M)o$1BW<؞n)3cf\ am ,1nt|U^Ѥw'ߨ<:R,?RZ)4qyӶYaf1#XO1`| ڊW)0H8tDyWȴ@Us6 U%b6.['!*+CqX )T1C~! kn5du ;OVp)u[0v(Z!P2jGM.*'eRCM9lRmÑBi QSךړ,5N-Nj ~}L2OD a$_.%p[ vuf۹jbVc ?# 8䟃DLP%yGsͤeӎ P!y`*/`G 8U.AAESľ`b\+ܨ L>ʀߙqi!6;Iʆ ϜRT떘U+$b%FS@2I-`7o$IX 0W:ѳJq&c" uPO|ث)\GSa:kג7Q_()VKw-Ż:{YH_ߦ#fڂz'B؞r#M!Ol W~,)4\5Ո95GTC3kcmG^{"щܦ$"i R,Q5b NH@$:+4*GzƧyg̺Éy6i+vܗt9t;L_7h874,a_\+p=}+rO8{k=O.^; n3Uvy h2~ٓ]Б @vr>~`9QjX䛋P%*Ubca1 e/I (E˓,kt ޥVl,wk5%Xnp'4.!1=mޏm}d=: OZzn|,;?fwg|`-nO]Mgb};J8>7/:Ԣ_~O"v5rrNOW,f<RMMs\=WFT DgDT4g]˽o@X6LYg?.E-X(ň&e) zmc*.:M"OhS)n !D-qW֊G ^UN(7\+O05.Dv5::ZDO1j#UC+i2—.GQA6$2 .)#ϘNغoi0 ϚMSt?&jc-@+Evx'R@MZA1P 5B1&WjF5z`x 3a-;9p x)3UЕyкI^QB/O`:ʣ_Ib$L瘆 c?Fv#.A(x*!pG}d:w60dp9-F∫|{dyy@.@׫\zɦҨ!+}U#,,V5>g䂩pzdRB%ݿ__>ϰ鯓\k2V0^'@nBBnUmgr,`_8[²ͬ덉:FZ=P%˺o2*DG^he5H/q'i$I9a1~$Y.XVQ("-C38Q02n 1_d%Knu LX/|.tdkM\'D/fp"Jc Ng~`goUwіv(Xu3qFt?GXVG[ϔv96bqgr_~e;Y!25jgS;ldI:?v4=`fW6csx )xÔ!TڈR GipYsMiUCZ^T^RFar~"be.|Flky+15cg"^Fȋ"^,-TwR )sbR>7*aV2O.Sߜ FcZ OP-cL]؊Ppй؈o`nXu ;hh؅%Q Z`^?c(b_bkfOӹk|WNn`Sx; mF UCQV(sLrrKnR&\EVfT1w8[mvΊIDM&Q~?7ԇFF?1(sԣæXf+ONL^{?5r*{|LJHڛvSweS.Dn%+ƇzA'/!)H%}RE+^h?+}ո[hs@1fݾCIS{;{އؒ:/Bx&# -tήr~mA(AR>,j#2XoyYM{I%ӛ>վ+y: | Huq K~(Rvbj*U'G99.13N8WP]A{%gpg[.A+4iw BM <pL_giE_{<',a їdUP)uj?}c;mX꟢F:.gN<UA k_nRL+x`b;|pv_3*e @mY85=jDZ2m#Ssu}a`4gnc:C`C !vÁR0Ө9~dhJU.(COf.sރ99& S+xU.2FA'.Q/>Vf6 io*=QLeiT][_ `!S@nêB cꎳ0x38FP̊G@ sO>-NyΕI^1UA{J)hNnen8ꏜA Qyh$W )̜M= |r)X8 I5*j/[ GoS&;gw4B!v/+V*S 5WeS K0xW3]NV9E;4iϲ-!wެ`{N.êWfz/VLCbHhb&?=O*+1DSEd3G!Gc?#ale/QJ,566mrZޣC> * vZ+Gjӂ G΁hja[~!P=1/,#,•&ʩϦ ˬRJνسǓ<22wЇ="uQJH"GIji:b>sQlU÷؀ػ|4f[4)m[eO8QhYOm,єʯf8\uvgՆ^,C+QɄl,PLTi[ɀ|v~HWew)5?TWl]+蔆k@#uh<{R2QU0}/,V%Y$:uh_54e2 dqWpŵ8ĖV]zEC/*=v'Zg3{U&W%N<-0"z" o[ETj> DZ᱾Xcs>H:ѓXgĪm Q–j=w#f5kօV7!\b>{Y=|z""۫ǀ^Uʉ4Xr |Бa%rt`WiA=FJw[d}oqy}'7oIݐq+@? f a0߀Q{t }c $$] u[AX_aM*xhoqH䄟%Շ#r^ÕPʅuÎqA:8tlX,2[`Dفw > Rp]1@:,($D&zRajg35eiYECD[NqȐf-<-U.}{Jɖ 7\ݽxC?Vӝ# jLf@BL^ sVPWv3_5}b"^!PV(eщyq'#T GF0{z.rٰr,>hB>`BT(^;p)l[v8U:HG0j-z */_LsbÁ-l` UM삃4+[_8vŬnJJh,FxH\.pQ0<;U@^#3!C|?Fی @N=[K1G&llScD@>䑜}1|S[݆3f_WcZnq8_/˫,D-&"%qq}uߙ΁DGWݱa Gp}T#&C׉)#d潪Kݞ|wZRjcMï{Ә?&< 9Q ~\vHhuW\3tg^$0MK^"GI,?r(GuG]H7,ůC;i$yI+Bia Xۗ;<-#5;xcn8Dݪ@/ 6q+R3盂.0ЄcKĤ ZBSvx"{\ݨP RA܏Z<Yo4%YchJtQ;k?36PFM_pޅ Rx-<ަoL\o$8U?Em@{ D$q8DzrF}I;j"|7`(_Tz!Yܧ{4Faѱ?ԪU-]C`vn&x q+؀08y3I"m~~\ |lil^#*Jj_ҥtV {}J⯁̟| ToJoho >pgJŸ\Xʖ7G^k/!y7e76idrpր+U OAS끪p U ?\ .tfxѲy{bHzlBY{릥g@NI qo'og3M:tgYZz7IBEKC2 ´bݔ$2  :Vw0b[߶NOanS&D,=BEL|W207n~9hd Kpߡ m/Nv E62GP|xσhW#I A8 *;y4#6\qq C ^fm5I=le.8~={0`HK|A}#7 A@A1]Y$maNe ggHj[<8nfcuYhaf)J`2y%(X qzäk޳ e3+ˣVy s|7] 0ם7(fc>?,ȑ,9{^fU:Ξ~4bNJ3%G9ol!0-H^@F\tK3{nN;qwCvOEm0gI<U~\(3^Ćo9AOK:$T/T?+#!_Ù݆>)%[h;iN/T(lQvxg5g*k9/([癏ɧgLЇ& 2_] vőC r aD'.`<x'{erl6셽DA= 0en3CIT—PG&fsrq7E ՜(.L(ζ@^ k'?nDJ:Y|L3*;dTbNer ǔ~dcH #/Nl)ݦQF[u&a'q& |R F侱ojl)%J>1>hMOYR7`:aKV8zBG󰮛3aYC)C3cٷ1H%Dًt3HN t>gYZ7zXZִF! 3]ŗXiɟ1$Cܨ }X 6^vWn p^k8ht63fV+*%% 2ais_w$עbe XԖׇb~X̳FъCW5bJm;/Y'E"7-zo }AVB1 NK"\y2nq^TAb]y8 cBūQ4Vp9%z r߮@[߈O/婣ixB?xjp(:E~S f>~LtgYZ7zXZִF! f ]ŗXi%RtL'IeK@М[﵃z. hRZ.|Y ro))O+2{ҹ2&7kOlDSBՇ/5tpXw¨X޻' hE\%@;XS;}l(q$Pz\lkU ;- +^!#M0624p7p :/`䁜ʗKBz9" Н |hIj( BJ_mfbY|QӲGXY5k(I1j2eZ\'S j`be:$Yճ5mɐh?2x?,7ӆ~>~lۏʯ*$>^$¸>WPl$D*"bߢmȔ.f(J}| .xaUc|ÈD!aû! _R8z˛U-}@U (eɬ9{cp g|7ζ%KBzi(tZ˳w.#0e@b #H>L`_I勝w1͵ڢc |v2~6ZA nMAU%R*;5=Z7C5<`;[am04!5 ^ɼ o߅.tfNj !=Ӹ02JVRYۭba TE)|5YjvDUehXM9R)HxL=-툼ֹ{A%I*.[mK"/FSg33 t=-/~W"'e^L]י[fJcZ_sX,‹fqd~4[>>CDfH`k'İ(MG'׼5eߞ[+|W|Ww~acRmSP`3D8{2mT}) }_8}͠?~4M캑&i> ^x!)Vdo6l"['eڛBa%vQ oSen7b7N􈂂={ ȿ[%r7)Kfg+`tܥ{ff[_ќ- Y H; ≠^b4Ge {yﭰREՊ|k T`ƸY~Z ␌Imq%GsPFB}~GP&jb7mVRAƔ4Юҏ衜avȎ>ƲqE&^W3֪pL:$P *չ!0ڹ CKbT8P"z_B{i&&\:Ss(l~ ajDjh񓧬[/u2t=~[D% ՉD/J55H$ujD9deηYZ}M ;ܴ&+|m>aG뻳`F*qo䷯=6h< Go  Om_LK^W 2Tq?ω?ɍ@4eKC]OmAɱO^gUkQMI%ё<~mE?Nn%x׵_>C2=>('" 4m u)DR}Hg PT;z#PS{i`GMyM|WK|>噪 '| i`dD#Ą:W&"Kch4tB4h~b*v\AZor3n*WKe؉UM|ǓMh-OX*'Mx-x*=Я+O(C 5x;"Mnf/MYo= 6 PP.jrYR1Z*>VLA1߲C9ISfh,]ۨrEpinSnx_I0aTŸc*t0Ѣ͟q\fE/cu?BT"LnDR=;Q\"V'>$L?*y6hO=mtU3Jvce/aVyHfw}rSV@5UTuwp۷CEŘ*a72RkVXo꬜lE(Y6dY(E%oyܻ- <矤|VR:4KSKP Ww, )= L% Yʯ.LR;gkoqu~WIf!QjqC6=( ixq1{Mg5OUsTⅆd:gYZeb35d2473e684e04d50803bfc5b350162aacf395dbe489248e523e230cc84de4e3b8851f92ccabc6 eee023a3f0662bb6b233c66e85998a310b77a62b 6bdec92f0757b792135169be6ee17aae1c2de192