SQLite format 3@ X.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  |1tt|< ] HOL-Metis_Examples:threads=6elapsed=17.397cpu=69.384gc=8.2487zXZִF! ]2]ŗXiɟ{Q.|ꋮ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ƏN3L2D,@%<:921&"        8 d  > ` >U  j %^*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 D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.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 :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A%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[=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ !!S1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxueՊKQWQ2ןDĔ7AG@\t\vM`x%gnY"Ie5*ָW7 Ye߫O9ooHt2VK-%e>Uĉ̀6{Eҿ[xA( [pbBLyLqMIrmLwUܐg>ߡ㻿A3Vv:G F6}x QعӫziT[" խ܊a"$GӄBہ=\gCɇfw#d| Rp{gL̵]nSf#6@jF{WyBvb(:y k0dZ .+c!ISt?1W3QΩnNBAmřZ2l ǻns]t*xUn(2YѱN=x1#.0y*X˙[gf7<&K,) 7&3Knwke!Y$wAG91 LTz6@/aMDp3=rtk{YOGVʲ+C>+$Ltg.8~YнF~qNǰan:mjLplENl.}>31ы|%y((d즏r4L3b`5m8zpE$*#9PzqPAk|c*^- D h8XzYrVk ngu'G }xhb(d0lh,yҙ`^ݨR C&/s+w@22[Wɐ`- 0ԙCn0B[O92?-6dbۗ&,.AuVjNG0$d>Ar!s$j Y~R%A69'MŮ99ECpxNHk\zS.umX`v)KXdLf_jp0: z&#KYiER{899[+vǙ06Pwx m,:j!"4oHw˄T}3=hsCDQUEf;9X\2[z{=(ohF( iVEc͝9 ZvleD˔o>5wƥ-{BҕZWi}uUU;Dz >G;V"QK:;OA N@tՍ]6]Q;ݍa3H\UvvDU>ޗj&}^c U27uιW @H@"(9c# >&t no[ H&\/ƈ1IYӻ8F\3AoO0 vX F;aOH^0sʥ2`'GJDrǂXdb2aDȎPO鵯ثM%^yejb1#՛Ky>)U)/ s~hQMȺ:>Rܓ-Z +q2 p :3ch@9U6B;(UK<jbա@P{+g {('}62'5h*Nv2|v?MhwQ\ 2]E֎x7U9'gKNC̫ϋHNgr4p3H)WOVO~4%ˏP! @t}{Zcaz ndc(>Fr [LҐ<*7!%(3PuRPۍ?t7Jb[ȗS@::NawxJ؍"!2( cq5wB%N9L7vC%V&$xɫUhq>mB/rW'9G]( `tU3-zS`? g7mT8aB_m:X}2pҰQq‹7ޕF?g'bSߧbLU%FDYx,=cY1f!&Zw e)B9aSqHgIƐf>YZ1 =םGB:/ X[8"^re/ #ؑG6ǭyI KӑZk_>6ϪEٴ%̄kex_`n,Bs$Ύ tF A' 3?QKޖ<1s,=C o67X{=#ŢO,#&Ncy.+%'aկFH4zϰ7 v-я>eH8Je"zOwp(ōzIAT  VLf;}#*'h}!BzkY9(‘XѸ-yղ(`04~'^R ?@pDxZ ZLuk&e{W9eKsTc+[o)KIԳ)L˵{}ښ{/'L"ZGneuZ<"ьn fb7,hI!ž'wއbpR¥6MBU_OGf U-1[ß5+Hc|Sk,ZBDTOBZ)]y\g6NSd4FV yhDbaR_S׀۴QE!ӯb4]/Ȓ#\B% ?MXYSUi{E{="WFF^dMEZo/{-MRJr^ʄȺo]q~{ }lM6hQ ǫ(uh0K%-rx{@`蕄)$:oJZ1/qQq#CȖiy򃝝?iMFGV2+&FZoKj,ܱ=DFT3[OӤ:V?tO%|^MW88ZT 6[֩$͗:}g͑Meuu8:N'=El<Ĩ nq|=7t+&z ǔbH,ݝκilyW}\mi ؍]CcQHK{פc^gsm?%.@qmYߢJ q~Hiw>%'}O:%)ZsK\<ė3Z$7I e4Eg >jZ;(׸t%2gw,8doOdu6n'w{j"Dq;\Zep%8C ;_IVJ.1ZxTU"H\ĸ]bؾyC&eTxkQ֔?q${Ѹ Nrg&MǢa LVA,wNgɊ*C@ppHLag~ٗyVٗ0M" hg 7RY^OCZA g!b*Zޅ Tѡl0#9/hD.A#9dz`}2Q͓'b5JsG/ÿfn}nkD{'jZ #4$w.OKr Z%TJ>VT%FW"}9M _\d:Ͼbb/2hv&<][:B{kr " 'X#'UIW[U;$S(̓f:0N-uީvRW c}i6 e>h6,^#{R񘖌 E"oJLΓ1bdiٰ^H4 &g9ﰀ v规yHoy7;IrxGcx)lA!a:_ts Q}mI0uZϘ`G\* h^:Zø1ZOPثtE88FKj*]Î&M|i Nٞ,дj.V/'EAz TNMO_VJR灨SJo@z[?tQH[EˁQ (:)0fvM&!?gsA'$سÕ7;ȷ-E`P.A^aY޽?`+KM?4:;RT 1ٲ;͇+C;jDV} .8Zco!CV{w)̍D\a%k۱l5@<ϤiUpgQРߜ{RIPzD1iXG({n ;U̮ADGX/ߙ|* 4շ _L2@L"TpM0qCyXAvCV|78_*>Ƹ17GӲf@%VE!_k&awd="kY/9/uGe|| ♊Oc&NR4 ~ߘBJcUf߬RH^I<m]v$^^FB?(Ւ5hh?LI2 lؑ*q6 c9O?$[W|,3 Ȗph)|t7Rc +I5_Q}8j^s}1`g0@>l\PEv qN:%u] -~0|O` b1A'供"HAj"欿ŲjnS!dULl]({R9ބ /9;ϝȋW0q4keR3z)׏#WyƏ²΀sT;|)Q ?_jWB>mxj 3W΃b[ ,IyP0Op7ėb(mK2#lQ-f Zrkѱj1c?I 'eO+,#g3hBo_Yx^%dKCR\T-&.֜A >$hp(ԒPdAM{J"CL~K *eC4N*~uEki!+P`+GTSO5 k=3}0\o\- *~'LzaXh+*i'.LYcϙr4O ɂ ҟޝYV(_{ĻNh ]OKõ¡c͢aw.uհamy$}kb |{6d_n{M>8QS( W"3Gg wFr`vc #=h0)?a%J; %AZQc[~;`m%؄`p0cL z{ߏHV=P{Zq*>7Xe`RyYjev{x2TڴJh쩖t^R.!QBM:zd8̓{K](=X/^jiwfw1"M/V54+70@ғ}Fş ' ce7dB#(|\Ӈr -J^kCs\@ &ϘA{G9Y =]=}hև 2&l~;!ۺO;UblBMؾGaHMfIS]Qϵc/ԄIVZvZ=V[s8os%Qu`ɹE"#6to5sɫch&%HeA{n@ޮ*:+|!%ʦO0ډb6ʠ<#J1؏@G&!w|ٲz ?49/18Aq=_=jjwg|T}983[Q &6%B*~<t*Ӥ7$f zQJ h@{QH\M?xвqGnrE L0ӊ&h>wDIԞz甬6)P:KqF ,c+BnfÛT*{+VhUIࡺ:%n<+#]7B╀l&03d~}"`f,V-n 2ڬx9i̐[(<Փ&f9 " ^-B,1ƃk>yMƔJ謻=Pzڴ3aqm$yNׂfˇz.ؤ2GpE?Kv|lZ˝qJ!IyђQڐB Sy6Y[UFpe:VM[z:NoHYM)!J#ev~ןe{!fl2Q?˭uW4vMfTE1{[&Bߔ2O/}&2Xel}^s|W!xQ}*ixc#z:0'^lзK*d.90׌l^RUʹX-KĀ`մ(aLE7S%WG  kF-:_?Oy7/9M,\ ų>*gYZ &&O1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! D]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><̳P-]Ft)\mQ/IJ HiF~̸A:~|;RĻ 2JZ!IYg[W/]GAB{-9:[oߐ7k?%T?)ŨƏM'(suk~j-܆GY-zK#jh˰e_."-úxԁsk֙$nVTse;iE#wBK88~(JYi2F0@%[ȍehQ]ѪT\t$M& |]9c`݆%1nu4\>=ni+3ݷkݞ>0-HS0j2rW=\ 碵X\( ?fV$*r~G@fPy`yFDͷ n)@/qI-77ƃ0}hn%U޿9'8T;={=IȚ!V/wVG@uS\Pm8hؒC {EXTCP:Sio~< Dk9ob!Hig'~gQ8E0\c❑ 7,Dv8? VH2a 1?/?7 wJ&fcSP/x>byWl3Zw $b[d7g [ 됱b_-+g$?I5(]S[ i@C5NLj{9CAJg_{ҷ =}27MyGP!MEW&3TAl\y&?{+z5cE|*dwF"2/8PZ[Zc@{WHstǮr >*!FVo ه|ґmQϦEEPj3]8[<ڼx$=XbmħK |h͂G|tZo©^0:r2eOݍ䲇lr1ի9P& q'Y+/U= ~h{)"!_ꌇiQX8_UJ╊TcU[HJ~ ig4OF8E< a;Bȁ zg>_(r'K[|PRFJk0)[;mOjgyC 6B OTn G4,>ĝ3Y$+nzU]mյ#V,Pƣ22դJB X"OK׬BRU!=S ݪ.0+&pToEO!ccauE8FCM{h 8v>@B8_? ДV]U}]@?n6~ng Mp"@rigr8tba5 ٝl9;Lh/+I͘ E:G˙{EWL$W.Ut n`M+x#nMSd.¸@S`^HLic\lCS<0p Tb^ q[8PmM?4Npq~D<%WJPAҿ8ݛjشjdr%sbQgVc&ׄ$]ܛV[V-<"cQ"O8a$ĻAbW;̉,r@Y$<=v<ƍMN e#`aG~>]ܫlL K )/CAZ4{x[/Hyub_g^s8ՏдB׷2H76Ox"t911Ԏ&)qA~Uc[ƃ:q)q7==VOC@"ebx]tfv+vs&BCjQ[eMBKXJ$̨W12F\h;1 _e6Թss\g2-&c@S,LuN!Y[7¦n((>iGa;8IKЏv4' G+5S{GE@i:1Fy{9`4 x\ES$Sź ?oyGs5tc@HJ"8=oq%ERu,YC-%!͝YA\a(^lη3ҔF#98 ӽΧOp&!Ѷ3Tha^$ɍjD1@3>ԂDZK}'Ot*3 f@1tָ֩\RTj3zoMRE!a'U<6E мkGVGZ9;E D|_ʥ-Ҽ}ѷ XƐ2i3g AA2pz2{F%s#ll] $!f6W((;N}> ځU|L(Oa*8js %_:}=Tn XTiZ~_sHo ŬـbDЗ΢+h~̌ 7Vh `a1,φCLOOR"\9:mp'GU˂_-!I A =Ӊ{eO)-$4d$(-` dDpD -qAR}~"ƛZ_iru%W4~kT}taL̘K`WK2]_Z&1Vuliy41?+}Z@È&4L8k| L3}%~ /J߉uMvL)niPtZ3|weBJ 5K:u}dxz{zӻ> )BMy>G I< :PBQ2YA{'%\_<]vRI(+9{aNkļ(R* F`*ӆٿx 0 Y; p\5;B+Vt)x٦՘YpsYҜbh}G2Kɴ\ԙ( Ҡpui}x n5'FO؏{(+i^y(#k 4MfFHlp3ga1!CgY~TnRnlR.8hutyH#JTlږpPGܨq}0$eB7Ǣ{΀;ѯx߿WAҲzU5ӹw ~vSA{qԎN!ߌ%;A ,Si7w.64-Ʋ]7 {m|j@4-hh'NP279\ " Ytţb5yB5JA`u2; U?%~`i3% Fr=Hø 0%N2mcd}j 8aּ07=xj_,С{ZjߴRF?N1@o{wGooUsg]Α_c8n j"O8ڈq9:ad1]̓V`5+@ ~ά*K庥"osS)zH Hz6VůA|%|cWicvcTGOUtE> MLҽ5^8ВUpyWH|4y0e xkG%in/4$5V^!CX71cpN,݇.SZ,*-^D8Z ׄ1W^3uX nE5cU} /WGYC^vi)'"Q"ޜ@'FǮοEYl>* a_? pblb*y3?}YT}{A8:g)`tG_𛺨f$: <ߌxsLH]6&,YBd_А(j&*(C #fh"mإԄ*I8Xq;UyhDr5tD"]fUE@QVʧW1ن҃Q5,97 /(7U rd .XݓyxUzڅw_)đ8fG eb7uFwH\u잖)[<Q}CML^jD^p[ZR(ޝepc+͈@'7Czjs: "o Z=h^VSQ[u0]QBvE%jJm$w:EQ"jd*<|.t/TCpDF+g;OUm/|4MÏW˾En9iKֹ8OȦz%>JE~kd9qp7墶 )+ 1su QIh>ˠnq8 S;.rPOIA;&pm6}h&K=طdžM.Tg*) 8. g&s)lT7L*i~E^?k#_M K쫽.ͶSo yଙ!ܤRpyK:EPok[3%w1IcOҶK3aٷO2R!*a {-8(4i^Q:#FsS9 ^9L=bu8Q@z׳ӟv> lg Цmt7HxtB>{!ƉšZgd?>$Y61Xg6W`&M ZQkLш@1+'eI}ll а@O ~R?4ɕ!-})$|_i2jUn+%ܭfʭ5lNҐ< C5j|KXa]\OSVJDQ![{dըx@s۹7xtT[@!H-x>%cA ,jD ,[*7h(Urݯͫ^mmAƻGr4l6j'Q2Zպ :c- MU1)O_KM$P20 7 |)E(]ݳ^J$}62] ]"6n5IWc"-!`8en-5PцxϷuyeख़R6c'e搗 aUHgxܐXBGp)ѣs>I+aqYFs%bf pP -hb <bFn@P`mM~W$䱌sM'e VFw߱bJnՔlNB\sUŨ+$1=^g8 DZ5 ,)1'9Yp͞a#bF~Ƹf;կI??x}Gϛ$Ф-mE,G$sRYǶ.+dn\x=%YE'*/$֓m|[ńv8,q8︜_7 iL:cEb`l Oձ٧r-CV*]RX`!ٿbOƊ; s~WOAɿbG2mVu@$㣇WXYfSErK;~;bԭba*˓[{Y9/O-?2mQ>10ML|FxZB2w^!l>bL;!3ςBiV2t7 cɃ+.u+`:cS͵ a ~= McN<^6BPT˘Yũe|w4طoOk'~LDҏyi䦱;^҆|d|#+L"쟙R]WB2.ZAmwf4CӄsA0JpGqp{GWX\Wz0W@"9砱I\W 5Mܤ;;g50sAUO2TRTCR(G^5t$"Zt!~)1t ֍u;g qg/;" N?\ W_(V3{Cjb gPՅ$Tqy ZtsR:v5ツLKD}2! i= j[y,_6 E! !칩aBF/E/fdI1(?WYb*WXh63(G勘by|ΘsbA457֮#0 |G7MT* .7̩Mڢ^$@Lf1G4YYMT͗r,ۤIvbҔb.g97Iҍ=2bȈID'$3?<zk"\#"T>X8'M ۡ3F-=WCeP*'m&(~ym!h_ZkVY@X5P:BdÄE WF߁G` L%'D/`Mvet Ьi4&= ?'[(U7+&hԅ"̚-“TGdsDDkmG o.~𤖶AJ<^݉`omr-_Ʀ V(w_4V!yLNc[SwB'k Ne |``k0 ;l׺_*\zVKKѽ}gŢtnX?2UHY5΀W]=\Q2چ8mŸ+siuJ%yתprTY}CZgJ>CyZ:w^0u2unhW7}b,AEt=tVe/Κp"d%lv.*#v d--p5%"F![iL=bJY~w%^nVD .L;/#Q# /~r$ox&oe-]1&VPqq,"O@vAA|- e,O5Ҡv2jlw4 =8('K?. EdPN5VsX[[1K_QjXƌu6ƬmL;2.li*:<8r(Pm DxJǢIvӃ ?x9ޣWdVgaDIrŠZtxnG cxլrA-srKoY(g z\N|/_Og3mOJ9H V }=\; NATH<\5 V|NB(n-bӨktiolEM(ۧͩ\5}]?+{Ȩyi'|457g ^TjH%xNW{qՄݾb&pUHս!E_ܧ3TRfgDgEAX*yZFUϦF[#6NgzٕO%X"VRb<k=],克@1JL+mPEhA8B@-(Ū:2_x.<7q{w"ʼ -U/K 2o1VJ{0Sd&\OWvnx0too& e]^=c|sRڅ!1TP}`ń++Rٛ˒ EGz__9#ie~6ΕUiƏFAW~KscJ(B׃H3_}\ҽ14 &YVhVYt4˩6;&z.K_u$؆@a|m'~K,Je6ʇS(i.\[ eqOwi%@@4+N6>ivX5+$Vg=b<=]jrhP|4O1OIggH.jY)WI~/KaZd *G͐UV>_}uӳIt#Iy㿩bɚS`+<:^ h_ 殝 2*"~UoZ0vSdmڶ^+٣8q% Av o |XEo 2a^nbxRz GJoQH9p:f<Բ"*OCeu p4L!J[M%$fEn$_mO4P$:"D,*Th o3Б tGv2qqV' ƺ3P=2,}l{ժ"yjbc{p- ׶dm f Շe*եO]kѣȤ#xDN)$Q} U oʝy`S-+ 8݌aT#HumCQc1?GT>f9p?VɲՔj$(y1l}76qq6qRNHnԗrÆ ]!$eKLޑ2Pe#|^ԼSa\o:+00)aLA䟘rm:4;o+O"_1MՖߞW߬ۗ9L";>&<`hL]dӆi'}CMmݥgb#ϹAOW&ɿٱ~ɷ@~VD㝶^7wz=H˩^.Λ32-!F>I4g"D즵FC n ΂jJ89JF"9pb[V-T"v@$U??"fa!nFw]̲.">d^ri"/ODINnݵ)(*楽yT5uܞYU^qT@̀ P٨e!%I.&FKf"~zbmLJE/)PXOY!JN8cw)L'?*n4:7&:6j0۶͞F]y2TdсSd_`d!|b$1ԹW'(8޵*|&c+&f$PJ*߆ypܥpk=wIxфU`pjlhKo<QE)b:P_UN8 _X! \~<,襕<]QߩBE̾XMR?JIQec2pJg:S m LPunk#$/Tj o?l%Ft1$rC0<P }|Ј͸Udj{va+vS]Ou`\֑"u]M/ԏv u?T0nǃe4z[u! A+uN޵<ꥪ%Pp~~9 i|0I~Io5[UD=:Ũz~>vN V=>Z)^ Qyn %|pe eE'ѻ<.΁u#ڌ3M(+.5b"/E# 1SsuWfA{MS?뫓> .A0ZL>UOg"ZuNoʵ}Wj ^ G fX>)w%vInue1e|+htTzdWbu뒄 kh]\}àf-ʇ7\M <@~VBK`(6-؜uZA0C/XO"`Ag׮[ODii_BȼA+gs~Ls‹8p* Q]y0lo1t6{^\n8e8'X<7i+c1mL6.AѮn(j.\UH׃uS[6ЌHUU:kb.s/aV\p,А wcf>\Bz:G '!e#ٖܺNp vV@\/XDL}EJn/፿p9O+c,zWEU%rYᡩݶoo^KJؒ799?XG=> 3]tEG3JX\L[+N:꣥J׸NN^Zp3/ SdZN L_ph;;Ӧy--CۘSg+"nƺT/m|\sPwpwЫ~vjJXٺ6;A`y[`\n#&,ߚ*6p2s2cf=D >tvRW/IFzQ{$.>tWB+7krlb>c|56amsoDMqǬ(`S?xNxJ(w-bH 05uŞN' ǂ U6#}ϬJ8ak'&8NEmjdȑDeZ\%JG0R9Kb<ۏڏ- {Wؗq~HQKLu-1޼+_XH w%c3\îad1˛ȗ_; *[sRr0+[#n;cr,]~ >'axqh]v]S I?s=[O@ qː2a- wv@uw8|&B';&Sn_VDf1LS?AƝgN 5 ]c@chQ_5 X7w ѧg:K,6[oVsyM"%ڊH1ڛR6 $z5T,eFBZba&@*D  gE;/n +4HM|s( Ib;l$S<库bQiZa?9Sz.3 FM:9kʨ%?ae>"S5G[G)_WSᬰ+sN?P#0L2ڝ@ÍC' nT0\DuR=C@C1e -yxH"_GtW 6h[Fjw3w*dh" ;ZsWy)UNb"+1Ya ztkNcVu{u-*) h| k?fD.F`wkO} xwAX[TŦ=aVp$'V˝!%&:4zZZyxW _/Ժq&&fW@&/P=Cm>7NMM|@{j7?Pe0L^U̴%M{7~$ #LҞ9f']UcFSRpp1,*zRnyBAl.}ԗҕ2$-,0>{*ܶ@<UCyU#A7# &kPnܣVmfI#қ7~njbElK\C\NV{r XvwpfISa')U@ ׉K1^.ʤQI}l?vԫy䅠;dǔMkٍW>0F5}_.%TnHs1 K9uoKEx]i%_ Y*{j'Q ̈2Pe$(7u-hR_gQ;E@}a$Ŕ4׹\J)c3g sԇx-᱕qIR 9s!W1mDV4]Y^M "bT}@~և;_fpC -AD,,,t:td\0c 1$VFSڇCvfit߯(_Gi='u!' ޫ.: qconRA#tN\m4nlj~oL0WQQA a7'UOghQKȜHtbz(KG5D=tr!VI .T7l"9OZ@"tݮZW{\a0tM{{,=Ƴ937CɘP /k}듂|x9.i;SC;t (1KGN;%&%!|nx"aQykZʑv̖k- ׹ń)\"J,cV\9͂rx짯lQ[IgYZ  E E( 1W% DHOL-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 =7De4ދi <7\^"~ݎQeg2yc!GCK '/IaA-{jb"j6a["˞^<n`K t7ly>m=؍F鮋l1sqÿwlLwV?OX#M |-s6gȸ(.K{Sƅ Abx u{iʥ+;?ei>peZlqx͇OFY;LgKJū^ D8Nz拂|DK贪A,wg EGVN1(yoVqlSf{)MvQq&s-en[irwU/h pHz;\6T\9XRge4BuD@˔Or\u_T@+9}ҽ(&>ڲvg\mD'`ho7F`oz+<L=DP5#P6)/]nG^3avH8\iέFgn䱞5o6yg9Jt_1JrPG3I֍)oíY?~Gcr.J>{#\Rai4Z}kE4q~ߝ-`1;P_!}]Kp$KE9i5uY>r"}HLյ1O@YרZ$+r{2'uԶ.6Y;u)T_L0]Bɳ]u_4`[&u+3g\0$qǽvԦVo)@z?R$fvU;;L&|Vjg0YVIԎwAK|h P|dS,Ib3bIh;fEsZcHB} ofou94uf7X)-|2Uv#Uh9MgQKD8ZVG\\Ine_z'>!c^?TC=V'xM}cb\<;fD3Ly؄c]@i?Tyf)Mig n+.EN`QF4] H\ABE.:x 1}$x8Un_<5"ڹLhS`Q k9oSU2n)hg.G)wmmW^&Pje4 C0MD@ ſ aTHb@8b3F:ZK!h>9V4 u$k X],[pC|9!W2Fc["Qޝ xW1V vNžSz.JzS88&b(3QbN0ʝn ]o (^9ÏVA|etq(1 Ӊ4u͹E<~^wmd~-X )ö%ޒ]nZȤ''os>pV)B֟"F]2Lg.TmHs2 q@h=;'s;UwU%JZ)eO[ r\ԎؿԲ+ 6M/CC'_UكKR?EGתH3e2R?B 4ϗiƂAݡ@{MH,Toڽ4xFhHV$)Hpvnv CL=AAr8C"Dz mv$IhSKj>\;}UHQ cVaum ,apβAww ؇N_c墹q۽W?MH\h᧣u=|F(:K&EK: p,d$˭ө*?/y>2`;46k 竦4?vIӫrgvQi<ڏA!}2\"cS5 cb`i-s >萵_+тD3}-C I8A (ߑqs*RHPJW\/-[g`պP *ك=.Q9P[n'a$1$J+v$W^eӑ@K="HOc |?MfU~x8²totXXȪ IzJDa"dEo=j3]HБ }{=!\bCL2‰-s!"CNM'fuK 7Q,oW4>5kYɸuO}l] !  ZyѰD n#3t|-VǨ $jble#z2eOPH/ϡ\|S>v@Ƶ <!B IQ3VQ௥X]ߒT;$֖dSXo3/BiZ zԭŶpG-*ʔ+ Pz xҶ/ҕi! hMEa*Iz{^x$V7:PaQk1grE3{A  i à܅rt1&x/zR\@K6`MPw$f&C͘roMh lwQQߢsZlFZT9acz\{2*9I["x1 ]9XF.%QX ^Ӱ—S_"CםLUݢ`._老ߟD#Fa{B~2-JoXDd$Ү7<${W%/?Qxj Iiu l+DUG<눩0yL{R0}!3o%b<[6q]BgBdؼ:-!NI.LKJzyuu5"Cvsy+Pb4F l 6hoo3 +;5Z9*QGn@殟VZZ).  ׶`{cPȐi&ywM&j3kStR :w|s:\(>fd2mf=S?FyrK\]*qFӧcw6JSڞpg~#9g6 5nMU2A7I]  UgJ@`7RTG?|>y( %?簽) Wo=)ɨ ݼʃ}Q͛=UpW'|'`b0Et61:6\tz {Qz|`Z3Bs;թd~ )&NYQ[±/{ؚD{+5=A\c+`(j, u1G=[orMF̱^[ MVGVE+A")'σ<׫a99Վ+z%SMFD T]if~'[a|ᓮhN,ӆ:Đ6 A2-9kH> i<0E Kv/|z68ꄝc+n! lhEmI@clpK&Bra'[|.m;H oȒ-I JruOF[}H;o0 =My>KVG}ĊN{UM(S/|k~:_ wD Mv3 L}֪59V6P $w $OAVax QXS3%xd|Gb!W Tq:#;>H=;w {R%뀡{.v'j1ȫv"Y%귰$vd=^"u)7Vϱ/J+7e~0((Ur۽w;&t78/i` 31vdKQU༻CSIx/v3uM:t?Btk!:Jx,~{4ؠsTuڧh%ngae7KC#OkĊ׼iqs7^%]6'ΞgGmEb<ˀW=g\ǡ}gX R~ .7- h,hz OV>%IwNf6nerۮ\PdT`7~03@Eg+"kzl;~GqO}5~g23%8 d]Z8SkCw@ܿQF5)cWU/j5h7Qr 6g# .ƑޗWkBesmbtf~z]sbs w 4(#e,mWp,m`R˶$k+& C64RvDW# 0N WRV}6YIR"ƃ/l6VZ׌V&tDwڄ< _A78~EQyљp j4-偰`]W{Nͺ,0C?_sq]S+.QV~=RZ&G6Nх?? :1E`sJ;?E0dNcn)٪PjOR1H%Ϊ8(P ^jyT[ w&OԾ7y<H"|{-SU>T8afׂ)oc_fi0 d4;',ɽbR(H 0\ɁH]?s)}Fgd07J>n4r2#T%a٩Wb֣39Í>Mg>x #d?r'ۣPN[=;xVH5$ >': f~bafͺ3w{Ua?Rhjb+SYB&3C'ՎR]xzӑrBdѓ}>Sjr}̓Wuje*wL;.-тшYoQsh5lxVcmK羯.q-M˔ v |v \*73"reCV^M/H]Z[ᬗ_"Apa_} 0!MjZmDppבX/k̨[RXV >aMK̸ctM}5"o [u&TM+Rm&7  7}ln!r%t`! ,#]ޅVD$_:G7c|6UDa*n;ѥ(Krnay?a`p+Kx3ȟ׀P|VUtZ䏃11j' u\Ȟ|u|(LQP׌Y|$0<9zhZq&{+=á8(<~ JZVfq1$GO(^qlNg RH]a?yG%ײO_Rް:~Y!ӡ̚E3Qzn0`8pU_->ټAaN됼 "Kmf- z }Yi9g8>y@,? GX;cugE GűiYA[ ҷ`yNэNZm KQϼF(nSd#IiMuU·<%1 £w782N;PMk;y:Hbjd49,KY^gJ{LAݯL5ue] {T V;Z\01rVȟ_Yztƕkqn |yKL2FsQ1e K*FOQX8^|j/U6S!n \ /g*g0#ݘd&ӆ59)) li[QLB_d: =br`dl)HBt)DS,^@ Hփ4Bk ڐsY'P [!Zey*p\#pĐ6\'GI,؄[eV5b3g1s$1 \vGKo |]nPav`g b.U@az<Ժ|bh,K*RF;wg'dcd c]<6 ].ׁ];I?jtEjwTZk`RE)nu8t=6MleC K,HB|rpK-Xƫrj.߿b0D;%Jg #M7zgwQ]Vx|w,/.UmvRą=Z.~#bx&^Tt<'W!IQDYck-@vk34/21b"01yI@<`@=SR u2{Q>Ml{Wt6#r㈷qUvdd7 .r61v݊ާ6;UnẃאsC o&b&N,4x[iPk-gWˠ8~^r]~Mo=lŷpmNuQ&oHhvaX5eJ2`7~oж^0M5W5QXx=9Y"0+ħPk~=IW#;>raqNG/E]#p+ OE̪p/P8IL4%B/I)V pl]if5-|>>,ZX܀CM]YA!{b/7̀LB7Djb85ZTL 0ƌϡ5'eyM@.,&))=}i)4pfBh MJBOTSv?O5o}d/u^>ڵy{ߍW'e auY3jc +%Rc@qɊ kWAc1kDB$+{V/x}Q-<֪\vHScvs'0aKF;HFrŹys=Ut1,Ku!i rs.~7VY= HݭFm!k+m%/LUeX&$RI/&\<\8؞_u}xfH< SX}Ϣl)ܸHȮuRmK%YWIqLL|V/SrD[5@%lAJ\+pRAû PaJ :,~ߴm7(|) 3UKtg: Zw\Ztmoؿ pRԯS[80E#Sċ`\%# j !p:8Ә^O‰)YTɶWbn7ԍb.~#NzZGgg>XNxD3)`@g7hS iAbg&lߋ\è~R=JXq,\gQQA~J \D wKFXi)A,p]8 >@L^!k:bw qUR |?5*h[N~,lgf? ?eB)A?\}@/.9wDZwOtA;ioo)YE20kFM8Npmx/ɢ3=kRѧ)MtT9@Ao_'/4G=w{')Ϛ61GF'Ӈ#J"pV'\B1M@>m,oWa$3$|b `0MN^USm#hSqRv zk0߁nOքMifvQ 4N08n9n}H{:/Mя >c7AKYwJ>p?>8kQ3et3k|޽0 RA. 9zoa g`tFwA5ɠ+rR`.ZY?{TkHNӎbeloc0ci'k()TUe\:pDti"29NmM!~r܃}-pŲ/m(v`Z+8r-E)IIgy,AA|?WLCx/CԒ̘x|M/\DWV򆥋|% !LXQYDl?EY~eփr˅ UT^N IBBGVej4Um(VBi/XH=%/i[G䞆 UgC = *˂ރGou6,!!\phl{f9 GVlĪ1]fp}{_[1x?;UP>4:qFé3 6؁oJw6p-)TW9#YKK@~)w,ҕ'O9h3c G#tŽ,'90$C)~Vϩbq4?_U~ku ܉7U D6XD*te%1*XcaWQ6aiv}z';^³Y0tz:^ZelbR3/i#ȫ?|(lbUNI9R<,.rfDZgYZ ee 1W% HOL-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&qtﶴ,5|p4[ 7*zso< m֥FFpGJ߫ Ml) am5\SO;y.`*::=yG/.Xɤ˹q_HU>m+!Ԟ qV@$kzouNzVCvo$C?_)8RKjk=HyCb.h-7f(ˢ _ƅ|LUZꋻ X!^hWѨ^Ah8EODbljqelDh5TQt8k pjNAX!OE8A|Y¸YjsN7>L)?8~G`a7%SkY>T2!$lF4F/9̫IwP C0 f(5;5$&z5(?x\6C$g”hdؔ&p"6ua2M_jl&Iv-$Kx]7%ްc,lr^d˗q˧|yyQooz*Q,ou(YK ;]DBY%%u4KEGz.1XDb7Fo݊lBj~(99 Вx;a쏻$ކ9diMvgeqTj":ŞS.EV S i|;a05A9T}{OR/``΁ PC7sh$_Z) ?S"_T=(_$#WGFOf( Ts1p-ewY8/;ú@q 7Gj,b`͛3DJ qD~va3y*:NPAk,N$>扚Z}W"iʌSUsJ:@vi\(٣zu \IUت]Xs@ַodzܧmŔd=Q ŭ<>ӧd|p D< gG PK{@ՂMC*}Q澧]|ecWVv 'p׳27V0+m6JTΪٖ]B{mc T}W1PVw{ʲA8V UN"[XYj09l6ܫGWͭ)o3=0)3I> c bF28qNiM+|TZ 7MXU`ĺ*שW'љ)OM&{ˏffj J+jƜ({3y 6@J5ګS/Av/ DUߌE& \s1bJR!XFutEYcWwJ4e3_F͜/c >(# ti~;f%$vl4 *l';۬+N!E3E_ lNmv[)C@ܨr6|6%u]<'Ԓ\0EY9҈bv~%n3[&ulvW)RázeCڒmk'zfGm+KD"rמTyPf)>…#c'<15u$Jׂ_ﱐws<s >oga4D{^8#ަq1K 9W~4g<8[:z p8κyREe;E $hkДIwRSCDuPm^?rNUULI:96Q~1k=[:3ݓYhSI/eCVJ0ƞ ǬDeWӐsYL%} UؘI)/IgJ[9g𓓸'e/'P27´A!𳅺N86 Dпl؋QN{̈9m΍(pL QxS4e$p˺j թohS`*>mRZaobKWY0"' Iuu#}7t*u ]}Z2 |7TF<"N):R**t,rg 4'RV R!ņ9A=CIѸ?EkN`Ryc Ѥ_ϼ@+Af6 m3gbmh3O(NOqY1Up2Sh\fvԯrERIˍ#cGHGt Hb&+r< >LIrwjѯ |1x=rĺǵ !Ñ 8>IjN1hC&xF91".5bqB/6vj|ϩ^^cςp4; SSgXSX/E%IyKƗwm<2WvFk};ϻ)2]CHD{*f y,zaw7߆ɇA:xÿ/\Dx]wvJj10q,FZira6I`ymnȡ[)Ra{ՈJB)+ذ= Ug'-A72ex[~jzYuOjĨHٞjGy҉|.*䠁Q CxoXPVrLp \|z2KZSI=LzQ6~tVϬuHC&,[w '=v"Ҥa|45SVJΖxLaE8Rҫu%-_72 :IF:U<@H|éWyj{#7_yqIq#ZV} gMʢ|'t2,5G-RZȌ<o|8Ͻ+o:ɉ'U,V k G•xji_i+5vZ),du<#2׹s`==^K~sշri"x멗+J/V OG\?]z"N"17^4~M`H_0"S믺,y@W~02l آP:o5wl:7^5n,$ߕ &-Xb -`rhlU)yem]x)+W{1H4!ei Zz_(h;ֳSW!*%%O _ Trj(~0-$8Pc\23u;='HLa7ח jwo7X tq@u9q0=<v}[x0Jm'CMlۤL|P>)2wdoXGnf\˽-EEHup4}٣PnMo҅E}k C!Mf}4D d#8(U0ٳ oҟ2X+(yD0 nVYB9 Ū4p?0&AdysIUۏ˝CLh%9-ԯkEn6CQAIC\"GK2~@(';Z0Y Zw A%OZW ߱!qrי#2PFT1W7#;; ?-Z9o+T>9V`?uK-}rU kk /o]GAT_olU&3fԭX5>PUR $]س}G(<~.:n8GV$X#. ſp}1UFl9PHGQ!E> Bh=eOuC`1tT2W8 5yy<91:lY:(C ͘lNӘxTz6v7F~,.cECn&0@!!Sa@KE^*o6Tϰ1aQj;cÿMne8n0. WjihxM<69w1*σ8UvIMmä3;h9-*mY™{bbc޲(C7TY^V8~Atk~bOoVy#@ǩ\]',տ& M,^j_l >v[s) 8{tn&Lvͪw\׋ȋO{|vpKk!C'˰ִ6UNV'q Y 4m09Pddy'{L1htDݪхv]pa)U[<0!aEiWfs&Ru{  y|~䳮"$:_ Qna/#aFmB[ڪy/P>jdxdi̿rݦZ',2ڋ~WZ'mQmwXc$đϘܵ\ rX3S~.r@#Yc`ZC.#7%s0'GE}:`eNVŗ12DMUgz? <2Qyx@I^z7nl )47 fS聬cQM7A=SD%ae mx8#(# }ݜ'gXܟ bIa GU7zN"Bꂰ/0dؾUkE/n)ogu+Î߅}ĭ#Ud?q+лW/GMYg^Apti[Id ]Gw6" ؼꝎzI[!9& %\a( K 7]V[&NR82*q .ĮH*.U2E ,X.&*%X)#"LKLsd*a\L{a?MSBH^5i(ỻJ*kTՍٴRc AQ/Z6%^=:y'2sL~9'fh4kGjuzf=KxbZEqN_ƞ;u{Iz 5OtFq'sm0rFH9MUuD.wbA)?;J0#e+KSZ򧚖#J ¿i+¦~" [:~n* rcbi)v1 Xǯpr_N*$\'@v6H~~l{" ɢXƐlk 5851c1Oi95q%h{BC\XɆq*Im|#ge0= :<nҹ# ϥWًڙը\C7 r׈5TcqEjE9ɟ9򠳞,\<RfcEZiXy %Ӡ%ǁ9JzuӴsAxES!׻Q5+•64z*kd-c7+d1+%$χBAXq}dh4Mi< I>$lc}gAR1Y,h+K㼥fgjT/:Lb絹X/R]V_hI9y+W6oHtіu]W ^? ֻ)x*"yѼfni6ҊZ.dy&vD uCj"}Zp ŷ*οG~WH5Df& bjFJԱ(ފt+߈t;GSLJQ6ծ_F-U5rqxx``z ^*U Y[G#h,ܖ62hd hs՝%qF2{!}㎍K=n,(zw;Y{Tsʶs;k Yx7}@.gUnu}כ++-oP—zTYXųrEJmmY f nAV҅-\3ء닡CF4ʳ.U_g+yL&;[UXt+YgSPXhv\`h.G=Ht2)!( )ҔF; }ҥJΪM `Uys6&.jhkCTqu}qT{'I0N/u68 4Ytyqh N4JqKt=1!6*M~NqPXZC^Ji)s'( /~^H%˲~L:y k's[%Ol~:8+V*{1>Cu'̗0_NQ11 ±  0Юw+p߹ϷefiЊZQ=)f,6]ߊD^3nfGtիJB=-*fwY 0Ϫ"j~ P| P)FM"yFicR zx5-s)jY8%]@04,IL7BxԮW([Liğsfs^5t{DuM cס lx 07-yf`I@2'{ߵhj3T媫|Qƕpo?&|Ofn($><nG5KfA'8BZ#_wA񕋔NjtpPIP'Տ4xwrguy,$7 I]JQWڼ ~~2y,bkjXR9 ThRFZY5=HYwg(Dړum$W_*Tu<|pm~pbNqY =Ѡf@I;ލ(`+V_`-€ozq^I)#Ī[SOZm4 L|n%R{c&b Wߛ8/:_jzzǀJk!)%'"Aю%(Qک0ŴSѕ=spʐYS: $L@iHѴSn7d^]8fg{@2_C2CNΨޑ¯Aו"J($OgQ4e-\~hAT$'meյY3ɶ">O,9O=:@{wȮ|Zg["bT͛oG"ms$k1E^ 7IƝ+%*RiMN&+GY(1ƣI`Z9Xk% Agc [t#x`RuVsC9F}W'Vv3]gڮo|(L41L Jw}YepQ:a2FZ$]!Q s@' 9*6sz?,{"3|#L+} s|3*2l#/ Hk,&QoOI)4~6gTJ7 %'Bޠ-?(,f_ 4{ā2?>cZp3 S:vy\ %c11ލ%-iven*',{W]S)5rB ƥS?Ł`#BllA_!HGVW^%ߵxU6~ ,ܧW1Hר "GAXW V>MQѫX"Rٗmnu@`,H#J4[0q(/0UlWVѳn \pYrAR[iC쵊NW̲̃=ZSNpH4M g^_"oLF}${ӏX?~ }.J2CFwt0etBd<#.Pl#PP;Rܙ%N!G[i5 n5ir,q n~"d':ϻRh7XYO(o{+Qv8s3M'g2N d'5ndwZKXk,Smfl3atbnP+rzM<]bk W^ʿnYI3j&Jw]A מ֐eaY%#$-`SY3HmQИӴ[ꍷCN:TeCwF+i%-+ne%;HD`6~R%vS/&XȮgsYT̕,W|֓p}B]aGārXQ4yE.53ƱQW? 8Fm9b?ptN'K8+5h('YSobNNzRPҢ3,K _fT~ ^4F}K~AeP~m><[}6EY;x*lxQ8$  ;F9|mtl3e=KP);T\N VpӝݕTbW(c %kfoua1G>./lcVa7y\J6r}ok|_ OUxgIyeV˒_t1mC'"*Js.vno^\|د S9zY/ ٖc@UO[jW[On"?pmM( +d: rvEhn8:'DZ6Lb9XWGXьSP;%" *4@Jʟrt?ZZjn])sCq+i1H}3dOm}.LhFdӐQDÔLZ mdi.B.yFg9X#ѿ dM^i5K椵7a2vy ]@\i{9µ8Qm;|X  rf~T>u~|:ܚ8x*RUwZ]ʚb7 P ^ UzYdR=))œ̍ A'C4vJMlm :JeoK#'~ dn%==M: G.].٩uS&40:'r4!D=Ra:M(z;>)Lo^7k{\3wmU ()ޘgS0wlಧ˞tWݱO 9!PT*Z,*|2gn׸Y54Ac%<Ǚd;J|yHu ROds97!B(;ei04/ުUY!EpQ{uc=y1Y}Ky@yXbNFrrًS  뒜QcKUO~KP2u{ ž1@#8Ie8}(r[9)?}G8%H "~p3# /iR#vU*==jl#VW.7RC6$!cۿqcb|/7.˴jdS"*\|S#QRy!@&F oUY`㰈A6/6#Da6/c^\N2^H| {\Y=]#)4 wN=^s_溽8^l %dgy|V /dx޵2"$F2ޜE#6,Zw 3QLf&JWZa \D`yjH${xW>u&U3}QP+>1E~tRk/xm%~8Ҥ/D5c/C*i!ZU0?Vw)cnȸ){4`4>"dBJ`޴qb5jcZ _>a(vK $B+?gvGe:儔 ֌V v鍵acih,ٖů_u&Rٛ߆2m$3g_v-:iIdIßE8 5@+lôZWqn L{RtV֘rZKIvS'nk`Nr˒zz+#p'^oi;Da+ !=-ٌy4 MNSPLgD!]+͒Me>HI/jT)e"N'/"\E\M0D_pBJ[7n cƟt٢OL܈{ nXx&/-Q&0s}\^+*5|uF 6Մbo"yRJv2.&W^ӼS^I&Gin{ -,]YII2o;?B˴J'Ζ{l43?e!h* >^F1P<"O~#R ^fBjܴ+43NѦa9~NnO,C xnv.u##|L iY{eSsk@arF)_O )y#L@AnWn[6RAR0oHU)|Etۍ#hry lY 2(Kv>1P鞪o6fEYMacNZ`+c-UC8_0dBѭtQɖ,xӶ ?ؤ%5/eo(@z8|UOf^-7o~nD?&ѿR6:/z&6' "S)K >*K,e&?%+Z2r jxiQNl@a%'\mlGOz64ZAPJ~9.^ֈ[飆E^SQ/6jϲ{@,)5ғ3u]t%濜t|[S [Zn&kvXrO39R/p%>y~3;J(#auZw%TXwٝg=?bM>pբg="IhRf ̣z//>O樾Nsc摉9q\u}F<:5w r@}N>>rl˅V|Bl ߄ `ZXg%%T'KqP.D_BtE];.0Ciˠ.w5wN,}] _ %2ZS9zxX D&gZik'68T2D=favwdtmz\8IwnPaoa~נzS@&zL5-a%V&(TkI>3oW%(׿)9TPvև*)v]ۈ$?~28\JLMىt׃{6\RzPKSStZيƃ3>ksbyF/_Z} =Lƈ2wk@5朖UP$H5e_o.ѷוFFZAh݀+<~q>޹S *,2A<2t Fۤ4?<}޹?!e 9Im+;U`eFuzɦyG|@VDkA&OF¬{a0>~\'~'bƚfStvB]U@%5eS ~1\\BhVyr50[aUHՔ~qA=!TvB1  nɊ u4YC3)޲O40) r"5Yf6FɺH~u;hٌ1h{&-'.O7{k0V:Qdnٿ׀8ٌ~ *m6UiFd` <\j^ MIOG"y~"r y(ey!R7^}IvSmiJ-橳^`l*lDWŶ5n_**zܵCj0ǰ4DAO13:1}Nu2>Yt8A-UN졁!\Jl z73cZTkޘ tM@+6 űW١+_!JfAלkqj@ ~90#ѓZ,SGH~-nDJ 2=t^:_0Z Q}>[?6WMY'3D[rz:Yx+<8$曀g!W;D94usprhrmq=Lcak!U؛c d.gH}/ ЕǻKXc-+Q۳P![b| %M9^oM7B7>9705`~Y)QFxޓ@T(eŃٮT0m 8tgcE[oM4kl}Vtԩiy}/'*ly"@4PCV'G^SX@f>M4rctΥ "+C;%agF}xaJvWTeGj{*J )w#ϓ$%˛':?Sa#?)M 1$1J8PvvQR>NɢWAYmAHMЁsׂ:C rHcaD&__k-wi>bºI}~ʊ?я^i[CB^Ls!hW КT(=/?k:`\_o˞!יkqԷ:JGϳdWZ0? W&X'i3b&IFRxH\9SHt tΠ?/().1K]X/@$dy0$|tK>7"@ʴpsظ˷/CƉhgYzXMe%y!6;ŷFdw<>1Eыei,= OY,xWaZ4^X aEW!>~%?i5BTE@8Wn240ͥ1I׎TnP CC;U1+-^C=!vA;HҢK[uDu066u? i>B>R$tqu6=Vk:|Wd9Zv/*)8򣊤9A1Pb ghY44c,ʒ'G[W6A4uNyUoAT1xlN|b6 tvf'[ 4]JqnO먎%.ߠhCϡ;O |s,B6ak]E6v)ͺ!v ۗ2wFN)lDvtZ%?/!,Ǽ5 {n.fq` h!Jk-U"{?k%Fckif xk?/-D]Ҝ}4{B:ZCXsYht6jMSXG4dяe;=C&NHDjI{QWQ }>Njr$ggd6X9T»p"oAMU>5c*-_Պt7St?@)wQNiPՒ3[1/Ģ4J]!"rdv2-qDC; $KF F^KȆࢡ sKF])iț qȂ]a#JMMe+9(9X7 |~pLBѪuǧ{]wX3xGT2G*#9lk~{VnٞȘuWrv\@u']AiE A.M,yv|u pz]|1̚fޱN> O|JOk_7ѱ#BԻu-zާ*Y43EY25|Iz6ZduOUME7yso\ĿkVl1ڈ J㰂ϗ cO`/X YM"-7H>0"Cc+x QNlps)A=hZ4 2ރ~]WOTC)?N P7j\hOG/P/t(SX*5AhapkW"YWڕH$  ?mґ/[T4}^.pZJ5)`"lZ烼gFo y C*NpOOٙݙ.& PVZjGSV}6wZ2G` :)[.Y`WrM;m-H|36zs_`bdT2Z#7p>y&?Q$A&Kcٜ]S @ i-nZVd^6&Giѻ։[ZWk m@~Szc^v΢d0ϷDL$ޓ42}Hsr!1wH(ZEDLW"PI)̅J{609LuDDio"Ռk"Cy:Sz0v"^ME2g]pF#ZXv,wFl9Vl["ly]3}aY\ha"4:3ri{Y_^h3$/tWl:`;ɝJm&%M)~1_>+Ӻ"ܜ0]WNc>#m'N1ͨC@DU1 ǝz\NBK FO3bȜ:>;yh o9:Yq#果y.2]OZI >0i% & FQs2aG+&4NpFYIݬB sd9jv$E‡ve QS1*9wh(Uz6TaLnK(5 '8Gd3/@!~ī#V,e$K No *elyv[M܃ie}GZ)mwdppu@8Iwy }Q4b k?A}Zf*%uk<aRVXAιo:燜[q70kW)}/i˩?q}jߘ(yhl$PAirU=_?- 4{-O|5os {/oIHg #iig ´,.Xpx/[7],;4H HMIJXbs ä+}~L\oPKW쌒U0@zA"Y@hv*yeDw+cACE7gA [,UKظ=<6pĮ+>Acj-I鿐 LɰY=@ ][8J*3LkiG lM^|b-Vk/2۲ the%:v к5 Ӄ,yM$#BTh>2wMv[fߪVkŖ2֣V%ֱ␷ $7lƊq54Zpq 7/w<,@җ$x> OtHͱʑvǛYЄ طt&z%^ѐBync|WLL[=FJ;10u #/#M(;ގRsM%/{z3# !#f xƤd c2WzEW34=h .4lCT O/- 0UnM!(x7l|GlUUey-7qѮ;_Ք:hE]? P`YN AVkcO$N6c2k&2Мb0.\"ax'6!Oܗİ^kFp/\-h@y2d;gs E3- %1;Y*Hs^1zxˋff`ZK{u\: ~tZ%H9"`793W&Ʒqw m8i@iJĐ[h7=m JbcAq KZp.1+d:*{S9b0rO1|1JйG*&clfʯ7!T,Mʳ`؞h&?\kt,0'ҝpX$ X4S-Ɣ5hn';nSe_ME$s=p  Cz9-bqc< O+d[]1 Ŀr}Z)`*Qvm@`UAx8M#ߵCG=ۈ#hr`3 Fz@5 )۬XMa8z_5}U4/]6:w~X?^-0j[^Tv6ʭXkjPWHGuI6h:"nfPnȹyzK)柭i3dΐR!EJvHDٻ[4‰jq*t'19<8c %^X⋜Ф$9[qɇlsGb/rѡI:'A zYsoVz"11zT:1C'-!(CG!(ɸ̅,9r?mKz-F@]К''}Е` V9fLȥ7E#RN84 'UGLmTzך.1!.AYϢ-nSL@y"$U Lp8̙s=F-eEE1, :?MX> Y0w,V< )/5DN-jo1]n8* %X ?=Is>?P'W xmdxl -;U$fN'kfA%:՟ֿe0 p`sI -MmgRЧ_"xX?MZS[\ Ř):W3JNUgogVJdizHBJcROWUȱ!_49ή^Of?u[d/З@q Atڷv\^Gɮԗ8КȔ<7zw̘IqI( /"RW=޶aj8_Q?tw>`)}E0PYrɗDJKfܼb `P8X:(2qLʌri,,ߥ |]qT|'E"Rg; YpcsRؓ`,߾FMw8A@f!%C@m5g\xؔ`!JqL8e*Xk/ϝnE8 њN #x| M wI(wl0n- gkn$B<./Á'{$#b>~$V :#k"lg2/yeV$OHOV܄Vru]c~D@+PͶ,qsZuVd#`-7Bޘ!,Nfg+/%=M%zeù `_w|zlld+B$OJp`9͌n.^ y;&h)~T`Z_Rgv,"Q*?SI,U{۵}50*GL#NXSaY%xY%;d ,%f gW75 nSJ[gPYO(ݓ<9NV7kKCA_}Gr3PS$Ðjym}=/<`>E5ysqdx`Um o幩7V4Yd7}ɤ4P`(=ٹKLa ЏPX4bPZɜ&?~IuÔfM!3 U'YUw6*p:'+UˢA (ͻ~޻Oƫ~rA;Fc‘x# 4s5ǧi6l!vԠ3RqJX-4)S1%I Xj% U ϪaߣJָk1Vꐆ7IDRM)5]~lV- er9^/ƺXO/%u?dq9f>,7uQ/AoOշ 1J<.k/ģa}->GIs ބ~^f>R#b!5ДP'+SR;~LWTTԊ6H /}^V2g޼i_)4K5_W> wtה-lcf۷ _!ȭrY١4|$>T|YL-6X%=v,n6jY#s:R<\F+.XnndS9M#v,r1_YL`^x<%,[B8M':]wIW#Žeұk7 IF.IbGEu kv01߭k(sE?`#s= RheBsSJu?.hOPn;r)HÓ @n[#dT0HBhJ`4h!9xΛ +]_8LF\POeDJ2t^sg֎ݼ1mŎ7z/{?iǗ>݊aڸ/̛İ 3zcƔcg[Σp(ab3bZ#U9S!:JnQ̶M? h`{=6h׷6+ &&oGPqzLdZjHK+H7W䅁gJFV<`BTo٠ᱣ1yx%־AM4zTstJ#tΙ bS9^^w-NWc <,#i65\FM,l\20{\\75&79i@3XIxq}؟O7uh`?e1[8E )oW//;UpL7͎ \2P 2kfմs?P/lyGĖ5ږj"{/רx6II+[|a*)%pY%=ҬM 6TqG{#u-Oj.t \M^r- oj)k &g%N>Eڙ>SV 9C=[LTXߋ'z>*^͚Wt8 N_W)%3@ Q[܏h8}_c"+¼L1t¦2aKvXs#Қ!/`fY[ uqm&|Ex&E20D[M0q@>7ƚs&^^er S&!hfGE`\d;y}tZ(8[0~oz,TCq=J@8Iˣ.SL;m6UkF$08d2ý|طBU+빡 Jfz`b;f@^ OZRaNR J`q8]~ׇ,#PXKFOYxuPWQ~XЗf>11dCq5/N$I9tX Dd`}j"FFA*L_m/5(l *[Juo͢NQBȶ&>J%qR6SA~+#͡'/,_ 7,8ꦓB1014\FAɠ7*ZJΪ%Q_֞qRx(#Ոm{!]bcdpr\G CކfD$M=ND Ijt[x>R94}D-2M}x`z^DvzlG/ړT;B|5r2m4-0FTK@z5$öU .N=A\8.<'1RD|dwCDFv?I]CʼnsaM2}E5Y2V&X{|$^I>Y%u)qr MW~:$CbKEw>#XkTz U]^|'YeI l;gh;~DQo74Ib̠oEtcC;L"j Fl?)i-y/UG*+)ݦQ+4w]j5r*R=>0T<(u_b*Qi(V絍L@cD"frjsHy/bgD]X2ζBOc~[V&t$EheQ 5 X{[TŴ|>FlFMÐS;b&[-^BQ}n@l~Q%K?D Hy6pu ^ژMvMvSu[ @o-|T"뭁59Y+>r`sdK,"5UL{KfP4 !+|Jav4J5_9=i,6MdS{3鮹m_[>NJodm|@o [[CޫJ1xKy2Q/8#s.=}BJ?ئXDet:<ijA#RwᴢdR 2Զ}zUXWB _؃NZO-"~J-|=8L6.6#嘬H/'E]Ϗ/r^lT\u:#̷(iѬMOL@ԩf,\-fb4Drl5 ŭ=]c)3~+t?V{O̍s|41&EH9P$(l;y.OlJ?5!K=4ǖ'Pe8w5, zBf )Jfk E8?fˎvOȟmGϖؐ[j&$;7T!8^$2uڶuQf F@tvT)ItC;sQRٯYYM| U 3P{?t%&RR_A~Λ :^ςhl EV"I{kuGluqm-.z'߷*tQ`RYC576E8pS2P裞Vc Ԋm2 ~.Q']kiF6c]bVgV߅:dyND{o?1Y{-R4{fǺI|έ''|Y4qfPHV!›P\\s%:dqC"HH*>ȃ,>[y$ݖkD{[rYHSj ߕFt' ecw1 4nCE@z4 ),i&wÎ [5 YNpGvcT3T-yԷkב0_VYw#6QzU;w1;C=1$3`0cDR#a׬ {ai\,(R#YAom$sZ0Aw8ibsG.+2Maq9^\$`R6VҎb| YpO(VƢH|)s_i9z2/vq\}cLƗ[^3o:+39V1ʬ}$uQ9vCT9Zyg2k>X ) Y}BŎ{$/%iu$נg,rrKuXbHïI,&)o<$T ‡2Std8%4?1)`w}%SL*2$ [ DƳr}A! nQ1*^b᧘Ns t3Mwu͕R/BO/b~L6%ooh 5ĉotḆq D"7%P?Ptp9vi+}VB55>s "m4h]dJ 5bφkSL<%Zj6T}Ibp2& j[Ӄdj58Љ'Uk%8G_ry~ϽTU]];bQ6߄)QC>Uucz$)7@ftmP`nHėZ03 ⑘ȀnLqsG  dY~፽d^3ې7WE#DxG 'jt9T\azb`5uV"GXiKM'2P_{6S+ ?31)kT: 6z Jkqσ! u4Q'AYH$EfEUndr0 ݨ+ñTqhGpBƭVh_7tR]7?C}]DOjD} WԳ/$ԓH }4o!7lQuq}ٕk&~AIJLj|}Uo9n%6`첩u, ىĎe6EzSkVKbW,yZ9_[pp)Q[['^ռIg/! A㲖]j$MX1M`Rc0wt/70y1:H͍މQfTAl0rZFzcLFgO%9+V0>) ߡm ~Mc{㻕 f+Oɛ8*r6(7/bMm05![Sꎊhۼ's4W??f7SMAZEIE3b Tɏ8aӊ O?cG&>3X3,2+dbifܙVxkyv6iŖ_`@ռnaz yHۮ=mfY@Yx (ޘd-K.Dr\\y x˶NtͿ֗ExM)&68!),J033y>!Iٵjl;ƤW}B#sBz;+.n5f>#"Ov+0af|~ެ#?]b_Orpr#B|B?̤!p*d,\(hA`{L]E@i๻m*Pj4& n!An`|R.Ѽ :T}Z5pZ~r6V 4~ajաY0A4_h lK쥫ac}M  t 16X:jlBHtͿINJC} ksΠQ3*ޛK:9{(-\%bzBkYqһMH%T"IP=]zXVf͚m5^3h+WhfHxck\? o)?ǁ @V ѭ%gS]``6>e ͧ(!z?ʱ"<20U7<>[(=a /ߑ>?6kƼњRS3̤w&5Rg24|qU q|дt̺)B@G%B% o}Y .L;E +'-bX mܺfnԪ&14wEzǍ49Vp@e  4q21%2讋Bb8>yW]ƅ3˥y 4K'Xdk:,=l08d*:?d yeE.;y&Ã)N`*d\ [KΆ*\%7ܴ#)t4 k^|)N8E)ZI|7ΏB<= 8S]rdZ X% bcz`>k^ :%~ BA{lmNHܞ@c$Z8WOTʼnRw8qn>H'tөYfi#Ɉуzڝ+ሊ_)G.2©~^-Aзe/:hdQ!ʐE64q6NX' е >Rt>A0ѕN[O̎H@:]o' JDLO=C0WFJ䎪7S&pѵ!tµ IuikdSPy0 T'R5_6!%D"&v`y~ߧY@%]'Nag [1_8I1F2CO%߾Bz8P0 ؂#.+h'9F/?Jw8+dZ0^4DC_E5g׶C~ E;|G= ,bcO%Jl؏e4G8 *Ѹ2]+q)$B9<1.WSy: lgCD"zgp1ceSdIdN:_?tV`$*3/=ow2i| !F%;' 6ga챾dNԥBhq܊= \1G[Q 01ŽUzUmLiYH5le9G L3xĉOW7 88GN@.m5,O*G*b7#;G弜&[JJ=́9G3*oDpQaWE߂btQx(?wα@dPԎJoAҸ/Ag-:evu9A&g͋1 Pͤ:Gʬ4lXzF/EJv)W48$S\?9Ym2Y<5b4jYHGEh@ƟP\&@8O@LS >SW~[b9 !zb?鉢'5"}9v[Ye!cB!$i A9s<, YK9",b/޷\@&Q79[`ÏD"%ޞJ#kb1n-Od#ItC!ٮO6SZK[$7Kn`N4j`jmu{'ӤUNCt(|M1|\4%2o()ˏl^ogPU?gR1t3u|^OPw)ڂ,T u]jkbg9xHv/;ؑ1է- ΅ O_q4R  //ǔ$grןI&$Qz@Y:9ùivՉt[W *bO#U_$?v+ ( ^"_]UB^jާ'AN4Aa)Y?&)` I*πM2rVڊagN 0 2炬}XX"d\fW_TV|DK12;woOq*DUVOMRԎ$Ir>ÀɏOFLKB+*}Xˎ̽Qy6 ~} yA6e~P.oG?0/,o4;:{mT%c_k'FI+a89Oǃ8\9 )gSE~825k18[ղ(V̪ÿ5PF)H JjgܚoPWGnJ;/Q{HRqfy6 VM[%:=ir|+1n+/Zw ADϓ i2Jm-&ou˄0uvw6q >#-|2Gŵ@WXɎvjf'e6~8 _PPXSQ30HNƧ.:MgKl6TTܓ)2Ǒ`,c$hNP#m[>0\PŒ?P-4 ec3B)0nYP#k[ AO1m.Ζ*P ;ܥMk>Mt+8b ,?2#g'[Y|"|q!`E E!nmB:C$`Ci]sr/Tm6{"D{qտQ?D;1eidA}9:f 0;Q3뢑*zȂVv #\]f%&pԈ|I{:fpAy&0̸SMK$KN:"SԟX4bffaV!- v 6AE\p텬5M|tAp뛭Fe-d*+= wFr:MؽXNӪC piLc1EzgKz䥣{t 8z{zS~ Bi*38~v{47lZ |".nZf`F~9"W03,~}!-OSWs8R)kw  0aZsL4xR؏lr[|__E7hۑgo3b~M?^] wBϩgкXw3 [2C&^S/5 w)C'`"LgH1ߥZZJ0[r o)fڂ`7:Vֲ1;nhz\M^ %;FDbskx,T߉;'(:W1Txa0J0`6+@}V9gJ1x6aɯqUPﱌZꟕf@4 asvićr p-Itc61E᥮y[z羭<>O#\l-iRgq8^Dmo^0ԗ/rm^wAWQ4:H EOzqqL(ԑES6jHm0%l&?2LئR7/?N*YGba1jJ~pm| !)PMp7dADqhi8'IךE>d+6x+ٳ>MA, 9H+5/S,fq\g-o,XU8p@%&s6%o$tO|w `ՇmRҮ%Edptm\Y#:=pnHK}o/$~k/X;Bw%c) NZ#ZqK\ޙے=Z+DvCEί=u_ٽB;Zxy:wg Bsyg}ܞZvwp6&<$%DxImw9YÑsll!9Gif9G[n'I l[UcޙcTfdPa".Ez$GjISg|yM%%, NKFD^M\|堳(u;u?-5]K *xl"\Z}# pCbU*us:~/~U~^dsPfU47!D#đe+%<\q lvp%'Hcv/Y@iکށV i=L|mfmOо|jJF\^ zs ӭ<rN}?)f pÛ`/BZ0諜X}w0#e[63J D&i) D,1,gQ_{~'Opeޣ+JGX`6c5O.+꽔. K485m*jqd]\ȑj}p35N\ 8,ºmɇDͪ8j\~OļIz?mj/\n/f"㲡N"=I~៴O2aj[)&ϫ;y A_mcHG1YC Fw#qq4^?K$5ƒEI6wuuv*&NĸTmsX7Aۺ'dkyGB#IE;j 2XMurW\?-H9mݺʷIJkpvuBiHI53TdK8I->a*$Ȁ~-hdl5NݺD'ŰG8}XNK3h-y P+M);,tG}Ꙣi2:+Gҫ:u8϶LDYvfEɺ0~&f0[^VxKpG1]1r#/X&[4n !qP}X6e2;*Eg>Q$F ScY?;z[)Fn9]_ !N頜S.k{vBYpW7%CcZN5q}?9zlՏ &Nw@ |tIo%#?2& b- e&labi3F=B1m2R->FXNi!sf):zIg^!uxUDe>t&Z8SM cv[a-hb:UEk"R 1Pa+#Zћ}wrTR=n8VÆ;&rA TJusȠd 8m Ր$ &E6]&z[J#rP;WQ(XO IOC TzmY;6+1dWesM}gԨ L֌'a-+yASv90' '%nIu 32cQÍ8~-d(kuFK-lJ./k`]2D^ԲaNHI+MH~K=.9텖c;GbQ=%hxq%oR0i%1V^Vl N@=y*D>ŝ[=կXbB0W5yC[Y8nsZh?%nhjjF_zrro'h[Ɇ*B5}z*W!O`:/+}S>ƃltWSXOCE)Q鱖,GM'<5)Zwr  h6d, 'u  ܞ4'wf}9V"0ŹC֬]h0VWr4]ȱbc0m{jH4]wL]:QW]DnRbE]#4o5rxiDA8R}KSXK@ ?KG&/Zh 00e$er*Nzn[u n}&])ϱ3+4掉``ay:8 Qw~aSMZWmrdKvP)w)u{Wf>X(ObI*ӛJE`Zg.!V:%^Q}5aξRܟ6b(lqN?p7Jvo‘ݞjR+^T-a9y0ϒZ=}&ٿ hwrUAR6te p',!UC  n>81V@w+%XG0"a_ňovhlo.N# H I#RRk+I>uĎ*4=kd2>ȻH!^jQ7ʉ`0&9@kmr/y3ݵJ!k_|k!3#dZija`;#m7^"Ke @3,I7xЄ.JUPGNoM`/Oy7v{i񥎴0^QS(P&7g"lb+Kul? 0C_i +J: Ytiݓ5)l?ccvj(|%뤢c-%02r+iO<{MIxU$_-oAᑇ@ʈyf c5;L}sBq=vp ]oD`7.G"G5bo^<.OU {K,.ukCX%PI3>7sJ@ ͽ0gɡ5+K,\qs,h H#5Ve2;9AԷ$XV{!\yɺU0H_@y5݄]Rj:P߻$.QEq-)F/\D ]wķш; ;zElWQFYZ>|E:B#[J~i.}h&Ma=c" 4eQb`c{axԈ7nA1Ñ-Su ^gЬ$^u/{~?OqdG8yaՠy*cCq)Axl]xD7G"XE^GjfuThNnWG adn(\1:I>YhCu"{W? EX*鬱Lu̪@ HFXKb*U3Ĉ(5^5|R2> @LWxbdY>4W~eq7.-4pf2R3}qf4QwGu&-7.ȭwU(s]?WU;wK6+<.0Lob6gN}ʴYKiN?maB&eڳND?L Pm3 z~7gn'v ]jHWu.rв.- wM.A0w.X4BopR {\4=Gӛ}^4 6ힿ><9Ty"gLϫLܠn̪>ʲ2`pBp+G $;4iMIIDG)|Dp)uF"酚B"[hl#[WGzTs/mW<7Կq̷EN)F>ahJӋstxZR0[%k(EulB |wyNaNnl3[Jޯ hSteirw_"PBzz5I/?o7HHUږ+%K: ޙn #u$-̺Ĉ;Pn Cyu4 T5E,ke08(2bhANFmV)AVi7ZY@ ZhZY ³OZ KjCf(ttgi6~H_ӬK,ykM' SS^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id5381W' |HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! c v]Άxʆ5.f-9 rq=bskW;dGÈmr[ +(xuVF{~]dtKf9$.w/ eOtYV an5sI7*&Oj['kf^L%Ot'EjKlP CEŅ`M DѾuLL^c?$ h\/C@]O&{eM[n#%& /%=lHw:нXA=iK9H ˦I7icZ(9%Fċ8A#ys"դWrZPʼ q:$kf<ГQP{6n 9:uhpsQJx ȁTgJMެNoÂժ5 \N7v;.ј86LrnBlu*_g12tש8ro/oGVJG Qe~wi,>nW3m& G Qj1ZVfqyI(=@XQ Zcr㛋[;9U.a mHh3Ti>GwwE>qfu^qʖx뤞b\r4w8_WZpDX^̕4(-!1Df|(*$~V4`\,fۦi(sS&%,x/гk0i/E;$Ԙ3gwiB_}Dyd~'GIXoR^m?@:FI.' n#؄:Nz4]&jhŠ8)0`3#6uM{NK6_;v˱wdw{Bi0brKȝaֽo6IUT>n^dP^&+'p궷؃E!iT&8Eiq?qM23^S9\OG%KK sIDZ@'<dܹC*Faz ܓ!6@-lj5H- @#)'BcXPĨTA٦sU$ BB!k:9J [AFdPOF꫉ÞϽ3GTBbpvH^k/MRu\VM e.U:฿KQTY!Mc>hE\]wO EΖ~j"Lx`YIZ\I/=e9S6MΡQԖ ܘ/=V eԖQJ z+ҚTu 4y5 OFkDK ѫJù03FBrEnLMi'N.,TM;{FTRKYe;tx/$OOC%Σ21s:e?Xn{As\&+lߧ~lQ[ ?ċNYLnzN>yT99н9z3ļti[0ɚ̨8mgN&uG^A'~s{EYV v^|!gJ/7ɧzgn 7GTxln%n-ljgt #q]䗮w:O9_`n9˕ř3[VQloŪB&~Ē͢jmzsh_ǂ AH)Ę.ЋoSD~$|&J ]Vٌd`.?Z!(O3,+yiS@v 2d2){β[Uae3vJ$"ɢ[G#lB}n,m z<$1 0.zϲ\Wr"Jσ0M:Y,țYƦ)f2+T /E ? gvF\M%%q֝]q݌?xk;X>͓V޶/uJxEt]Z02xJWɝX~dߑ*mPt4؞Jm-nbC6ڍM5 T Q$&4c|XV '׮|;'aKgENe(~Gޯ:yi2W~SoVtbOԨ۽罟> |hl/esꞖk,uNQb@n_jteS0z3t&.F|`%?J(<;o@l''Odb# oLUxtlvj4\ʌ&tOl#P6Ǧ%U\ҙa/(~4\gUA g]|}qX Nk_t|< ]q6w3zdc n|KU_HA]914K(ed2bDڊje29wQgpRK K 2Kw{#"W@T7"뒹!pEolϙuiIdHz_c1aKWW;89`t`\DgYZ4y1F[2 pD!HCFWյmkk% 6mhO>jIaxe]snXoFHJ2aB}Vs۳u3mAlHqXݳ_ܓ^/qCDpűFo36tҚ bN;smR MYdz`g/aTE񍗢/3EPlftzNKLtg(Î]ꪶ+'vpOW=$z{cKœՄGh}, q֜7/?TlŘa[¹$hCxu-7wh >5ҡAxTS [J803Bt }4yԕ:"u.D#"{j@>K '<պ(d!0,.2Ǐ 1A!9߱-LT:BH-@Ҡ:Cm8H8^5k9RTh u^ۦDUKJ NHfɓ7!`o5nTNlmkI  i7<ѮX> h'=QqlBI )1|i59[)lKcխ_yGqVdOt Im>[E+XN1]ɑѱ# jM(pf7 P!P{^_Wo-mזB|2ZYvKrкg=\A_jyRTͥ2bM@/'r%a퟇&C5`E:٘El3M]wTz)byAjzY/ZoJf ׸7}Z.oΡrWEO躍 ]'i XK#eŏT%]9/朚",b M#R\&xeV܎>:,nX0lGW?{|Krm,"x0cYO!Hm؍.U9% Hѿ $W,0k[{3?IK} Ul݀[ʤoXJ"=7duQn9SWЇ/K9âqA$Of z=E(`}`. f\VW.= iO,U%oed|0!MW}kQ< Wx&rej/ Eۛ$]y׭\(Mf K@=Tm0 ]CZe!6Ŗ,-Fgץ%`QoogQQF8j4[h<ͩMqr#|Ί 1oOM]LOZ w+{4p@Zaoph+k h]M.MæD"ԅՂ,NW/4ƪ3ocq9q-Х-]ob,$ٿ_Iu/jmʕimޑ5k[e:9lrGD.|% #Ir3|%0*4QYuxP9#h{Q2)3HCfU'SBS%z2&w{1c [b)$$܈Iޛb^'] Gu%|i`Y*.&+P;Y )}㷀Cܬs }F$O8%;%u~xK*%7s ]R!άr ɦ 4ݟy< Ͼ+" TY'šW3dlj/M܆jؔբTO'*jgq$M.|5-? =;ţ}}FGc `3nU$)ՀyUI"sb1ͺ?RLЅrHXhLy npm{JΕЗd~6H֓vy&G T gc)65D "|iPx$/;~}ھpA`i|8Y [Y)=1y..1 NU,5$)VcG7!F/6 R: ]:K! οv9-Sׂz;_ dXGM籄}-[7̨;,dZx̵fVQz,$ ~wNFtٵl/ײ `e'-bG/PT7>N„x+h7B֗0r,n(oM?Od?*.FK9cc02X$D; Y#`n\1 WS8#CFdn Ԅ/Mh~ٌ XcJ-ҥA&bã?a0*J&m˱#6ڑQUn[FYڃ0Oc,.l( BhR"zzp!vASmhɆ]Zxn$]eb|]{r`,;eΖhEr~9v7t}-RdNH Q/q,"^\%VFLjP5sgX $bH@)ϫ">"Ws%6S%S'O%AV(-F7'˜BUF]QK]t۞eUrEg*4+u o]  Nv:,uzvXP1fD<:)*1!CK6H2/|hYk}͸vkK/2vNacj?5CTPO&R8cym|jHu,9UĴ? X4VNK;$=QXp6@H`Pl̴n_rkպi&Э*3̈&v,<"4^9W*N7:Uxjm-Slɮii -64|DCDB]L`٨V2)$3'Jh|sH='3+z N=ܴSN6BaUR(FV@:1~-8Nzٖ|R3ނ\+tj%h J$\w/jZ,L"TPr,k܃d,m^㨡:V4߯׻`K>EbuNj#lS< qz~ه%xo [բc)7GZ(\"[!ĕŶB@}3-zvO_b71w@ }B߾To7UoJ. ֛+Sm:!Vp$@+i"%@|ĸ~RM; į dN3NRX2sqskK+1D1l4mÌ,{̜ 79B 艭sqٽҨ!hpAK'WOSy;5o9}x2A)l3DsQ1W=&ȇ_ةbfh!_,Aq|ms9RXa_aD$,Atd^5Bu[#`Wt9g5*?nUHl&7쨿VWxS*&oʅX(6,, E/u pkO&"J]h'!':w&YZj_Bߗ]2wtkqr>=)V,(\Nh3G`\b/+7IMb5I̝@x{fe %̆}f1頇_ Ut2ZS1"t1{/8OpȲኆL'C{q<K]\g[uIL=Q)yx&%'=e* ym:v~|hd*fsҐﻤz~TFLj&k'BV^ee|憅x$bui\#,WfU!19XdT{(MwrQ9i;PlW+N&=gK#޷氅.v>0ro3CVPo:Y^cj̓0Vƒ1M{vNT}r3GN/+ C"$XD捿=(~$%sYEsT9:uB\0î_Q";&ւFQMse2彭LvOju`Y4~ SEg#"{/3G_ʢՅQy**aY~l7=A)4ҩFJqI+uL[$亼2WYwbB=jYrc/*Sh)׺8ln?8j)6gK暚 L6O x]31qpbWVqэ!ֳ7O0msm*A!M`⠮Gp뼪;kR/t2-"iȠ:X11Dڼ=@ {iP$.0C (`p.roex|Y9#yk~IcsIK, (ơ:-W _#'Dq_BWq@_C,~V] Hd%h{g2n"`()̇EdwA3b4G(B8,ULO v|8GB@ HL-W{NH@uta<Nb8㬕L^s k5@M;yɚ{O_<\>ldZ)%^'02Rz^+NHϭl ++Qtj$k m쥟̏ԩFaF_:SWs!<<%nz9%CTLeMoUq+7]u@cV#̦X 5ZY|:DjKiW^ ſpixK_eo~X\PqBB}MPOFrhNœUĎk"h^9UW,iQcKQ)\}Y:#L6 ` ZoeK h8FK^A!!849?|JStDg~15OI0tRgm3=bc fwye6q+u`qT= VVChHqmXʙ$bd 8# ^A)$wGR/,`Zik#3&|^/tH^C @ 6@a͆){jW"}?sa仧W-Wl'Z(:ľ_DAJT߃y=+ y#)YW[iJ3 z{ pD15gEoݣ k8PzڴPR 8k!~Ui)E$ǁ\gCoy}w4`V%oi>AadXr" @VdXK ݺgٰ(Yk ) Ѯ.N)j_M+Q#84H՛?!FKH2WO聱+H,M?2k6A|nѨ+~SHџ\M Ƙ? ԝ$%Vn8$0g.{9B /qxn/ǟh<1 6{sy#-3 0Z z3fbAH7IQQ?كgDpZ;[|HW sOT>ˍGHϷ1?NUC,LeMedLԜiUAA'*Nd*n@%I`BY@P+|T=yٸ _A+m=)X%Sdk" 9̕rT-;Aίu*9@ -HMI]@) ܝ Xv"1AQ+Bb%iB5Qc'ݸ3@wXw|s!DdTm'VcG%e ǿ n^8sazߢl5]~gI!AʴlȪ]AfgFRXRՈHiK#wgO,kIg24!Ùb7m٥%9Сhd6h!apȰ&?#hgqJO!mEnȲ&i:fF|S9cL8`r2JplAUr0rĘۊwFxd . H{6OzE7n])XX| }'YL&a;A ֿ{_`J0dS1oeG?qH>Z$MCFkjܓ az) :l`GgKҺ5=Ոi6k1RhhыPB9 Ԟ5ZdMz3f}d]dQ|)\?DL,gh! 'cr@G—@seO I%{͔}*6C#=:X7prpW]=W!!go&s lq\ PavA>+SJTf$Ḵc'N ϿBxO8h^޸q;1/kIGU[Ul7 sɘvW^J3^.N[x$= }ߨP@{B@W'P ](ՁrT-EWx]ٯ=顼@Po作^SOA&[+r'WV7?[$v/0.+d"ot5% p kI6Z# %,wvm~Zݫ&;\8m],,U!|U*rŞb M8co|ƀLbyEI]!^R}.}R#E[ɝ3]($o"駀ֻV&&ޅRk [ڱDhi:ѱM Fh8s?xk `H_oLMԇ[,9*8jh-`$^LPvi AUW@Y& =Nr.SouV p,4Az_A.C.yYPb{"{:Me()Ҋnw1H꓈vobr1ÿhVDjc%w\*K*f3J*2=Ga9fɇdL}OT"FW>x=Ϲ˕74 s7s)fiNhbws\kӡid?Ÿde~ M$C@-AdN~wy=E҈WUgxNAQ_ž=D綊S~U ӳA(6nx0]YrWN\|;õ1G65~j>]_.UnB|e\jvRKS[-- nZq6y=`ؙ & ds`ǧ 7+ߗ|)SlNo"g k{ *FzZ$9RO/9 _A2-Po )V"V)bFp T8&; ngTF{uKmaʕ禾I:fȴ:NS'5^U뱪0"9'7aX z[k녱~v2\ {Peì]|DU8VNƄx+{.F i-" ڴwKtfr Ǐ+ŗ0_ŶncTcR&,f]!,xBH0D!+Q:]+ft(R%mh|G%7ViLU˽{E՝)ci`C~#Gf!}a\ 8<07g϶c#_/w'M֔*c,S`7q&ϋ.8r13R薻?wm͝&'28㌴a[l~pl" s {EnW[|H&wn9pi1ReI|O\vKXt02ԓmyiֻ@C0?g`%o,P*z>w 11I"^5TBhϳC#oeJ({<<3Q\hԛٝhNvuam[(7w '.4ͻ[ OK i R z@: xo{·O3HC3Nװd&JamU;GԆs8)ʗ^y֖1Xj`M`ViAO}duO@F1z]/GR  s>XU5-Z fH;Wi>{KDgə'iĂ'=1σ!m1~?( mlKڔ;o3aa朰E21~n ڠfGh 1UܑWa2YDS s +$3@d` e^bU%gpf֦¨i`X(\q{)dÚjf_%]4Kv3{B{JrA^|- t(s\mA4yQ=N \Ī1v{qgm_k< bqq?G*xsuue;t@x̥-5KRx+ j Fzuv;/>(<"j*RZ IT7򀨗x Z Z?!|Q+ZʅM6Ò@w3-'Zpl )#79-Q mE4% pB}K _* -l$#Z̽nU^f+bSDȇ DF'rR%l@(yh[ϽDu&U}ڔԚ^݊0*8)<#7̅y2#f%eW??ʊKܘ?@qo]-(]h:5p[p$Hh4=%Z#H(U);km<-3=R5k$Uv]NP,r}` \VwܾuBm}5 0 ˠ Glĥ$tzKx]SY~V^S uܓR_|Ə6(R}B5!NBR!6zX1id~X[2!locp 干ٺrp#kSA Β~ &ԬW1/>σwJqS8И_im>a ^鰩N(tGSE7NL`1®51fWP^]-5,꺋ö]0L&XK\]:uw2w[0֖id90`Waድ"+jM tR3aj7ek22fIJt>|tD |s |!^1雹~Anϙ//~ٻ>A Jp>ļRܼ&pZJ[]_ؽcMmN3>b;X힩L1bW(!y'|*Ϻ6.҃r%_9 4.d^[L%G[R>#t [k{YcNpC2D/ev$.XwNΘZ R"CwzP"$)b qL4a`*^(_b¯~*7ͬ٦v*pkc~J/RGֲ(Nȣ*jKldFsY4aDa*(Lؠf"}IAV@<+.tugL;EKj1֦x>B[ҤWP+SOZOUkG1͞j/rɲRE.Fȇq " ɼP&vzr(e`@2N F#@X GU߾Ht$Pyi+ݨ٩<䠯ZjEjH- շ5$z޳HUw~`o?N3g hJW|I3 t"oÕj"6{F*x>uTDu;N 3h{^>iLSD+ ?ٔt`a[UD<"Ղ%0XMNBg}޿3bb;ӸpiWb;KM*FG9g_;[Ƨ4 e11Н]VFc`>0Dsì&uzhN V(rQ2{_44Gf$_C٫#R}Q|:5+1fvЭUr& nAk>`eu% g`M#9;q:^V=}XWrBWlEPy|Ƙp_5=${I1XP ţxd ߖIG!;[8oNʐ޵ƌKgdsa U8 P-QzVTϞ6vu^5DS36[rm\*ea r<ɿ}CfuoOek4= .&eNhHk*JJXRѐ_Cs}47l5Չ1Lz<\=܀i3` Saå]5nΰ(waA(/|tC" :cTM0 ɢ~."*ZHm?kb%5!~FP+gڹL-YVSkhg0xsG@}/Pu"ls||tm%%_?1u(JIӏG%P:fJaʭL_A`yT#_E-Q ۧH rao=zXs'Yo.^C3 ;CeU+ _׌Jr Wvie-Y7JZvc{U)P"{S{ V}ev=M0NCLMi|8/g71-i7}Kj6[n6>20`qPRh0BȾ=TxBRJT@,\p[ޤ~gdDs[RK&5% ]0*^JOAXZ8-@/[J9"xFP3FS!_s@f^En-$ڮ)~%#'g>nEܼ^2̺@)X"+\\zJHx8w3iʎhQԲpc9n~eݕ X}KRZִ㙠A(݁ BC t_ #($?O~v 硊-X u}w0 XF6 RvO AIaމ%G@{EXMPM70lȌܽV@oCs_Rv[N& 'N@ojX薶'oKĵ4ʎK3DmV}jYDw4^ǂc'KA#6T_&LҶgG<$";W$T`CÀa~H#)݂Kzj.'ZOP9 ,ϘdK-pwFpޫ+BLFtȪ-4K˸8t6nլ܉4$V`a Q2d`RsD },S! M?ns|y^R!s|^]zpGgh%k,z1ճD*\ikІ"!ѳM oF*I@R$㚈Lc6T_᲌lIVJX)Hm ZPiV\ Hy%]zZ,yDRΆo&#cgD6>-.\7)X#:"mt&p=cB#F6$=63t}Xq@ u2;:I?ԫfW Q#$ayNαB{D<εjJoZ$bewz{HnA'(z /\QЂ 3Z%FgO1^DTC:. 2i!_|L7P֨Af F/n!BЎ83>h50MҜV!-\E⊳ C>]_N7S͠Y9DEU]cas:>xfٚ%;5v#A9l@䇯i}?h)AD9]ȸ=Bg\cpt,>뼢_huϜ+9Yɿ qZI?q<=xC.i$2js<ųoެq8Z'8srϷ:"@{Q5EX?gxlefsykS\/_̳n56s0Eeph2̣.9$Id^ze'7h `MK@0C(6)0):꽇|u¥4A(c$mZ-ՙR=c %1 6 U=uEU$^e=UKP8ס^fA<qh8=2]Ȍ[#2:40!!.>"~xؿr/RDlS ogD֮FƨدCSL2@g}TJڒd2|Zv^ʏj:qKlØgf׆uM<) Ê^ߊ KeT6g2Y$ٮ,ݘ2@+{Zf[v|%"p}`e!*marɫ_j0}k%6elɜ!0|.A\ȃBHӽY糒q9F:|3OusJ|kBA̕붍dk#PmkVOme$kV/BJ1|˱G:8Tyu4b4g>.$I5 ~>$9չTwFJe8:[kOVM,8T!G ~(LS 0" N_ZҪ(|-sԬ- 1V$fov[k ﱩvqyt!4.:(E|e1PU5[Ҧt% ^<ܳeN]w qFЌ(q7J݉RjJo~_ _Vs\7|;Z{ QWjh勠w$S Dd09kBÆo=㇃`Iܜ <07Dr4K~ ˬs=b|MWZt1OX &K"TJ$q6ЭUyc{T6H7$g|J@ŀOϙk- Wr/OMr0M H߶-wNNd/cd#3y;\#q/ ͦ5[^mS >X(?2dZ=M;_&ϼ%cy9!gj,y]Ig|M;t$eAfrpgm2U ViU#|t)7^|u\"";#\ &"5|:Ӻ}A Kےᢲ8'ѡcgU'-S vme,R" V[(<1BլZ7B8 QoNC)fCw peZ@YDaBkPqC%$&\!8 XUQ?ME-1S= |^Jc޶"ɤ6aKԕ7ة⁴"L6Wa;x۹;.]5^n/8z;RA пP̘Qj3#lYQ@\t5La7vKv=ojτiSqEyg`BXW^TSk`+b8wkkx}\? [ϟ!r999!Q!ju ߊ0qK]nGOZVC/4=vV%#&pԙ@C2HL(P_2y)m6\ 0/< }Jt3'  k/m%Q`( 576(mg?E[ M[4q!8+a}aAVbB~!(B~/IrPF04yJ؟N$^ki\m g#g' NhODPtX1k Aآ5S ƝZ^Y.ЏޱtfXD6A Cd.Y#E1an#$r8?'STяю85_$`)aD`о *+LvC5xfEz[+V]&{/oEmd$0IL^$Id/y]%ppW^.oy2gY<t8^g#T&w,rh:צea'!BOeBGfvl3fPB"8^Er2iO Z *l@ފʖh-Er5J\g'ǘs=8I&rR$|"BX5|)$:&I8KOg\LVqq6kU#k΋OD(wK[ЫeHbU;2{ow 8E.;~o \*Z4Wrl.S:˓2l-?LN`$bpW\^H8sIU}tU` 1jfNqHdH,yPp K~4]"#&2[w3rNSۗϝ|K?xKu lA@g&4˧Lg4jV**k~O!XzC+ ̈́ (Ѯ&G"mGT~65A*nB]0|>=:{Aˀ䘨_@͈["`"Rq@P ^Qm}Z_w1kiVO$peqVNTN7d ȫ~O&^s҈ݤvIلX'&nt [;*R!Xtrg΄|x6VQJ >&`ah۽B~wm yu&zeYoO;5t]!.vA+ v71yB0Qm`U0(s/Bɉ"E 1Xkflq 3BVlpUHf]3& UORS{%`ZlHyT]c'eȑZ@ьԏ?u(T&EdNMNA0lmnuå]m4ǰ/WUa+ uSIPљvrx8?#}'v$6j;Ws6h/qbn0 i)4s^<3c y=- \hNg} 0)zF\̴ /E. yW7\4ҁsfN/nuO!#)h z=66L}3[s`pz}-x\UfVԛRt1i:lA#u͡Esv|Hdǚ*,qa4;ԇYVˌ{gMv?Rb`yzߌT^Uȫ^g]Omϯ3@{De%"M >jڝlEC[~=vn~p~ @/? (STmIvG?+ ٷE]reC;hDìevz3l3/jOM5 nآPj&nj& k(?LhÚF;|߃NΤ sb&(s0Fb#.fW@s+pDŽ-]m Tt,|=ySQ 5gV 'P_Bm|HQCu-kܛՏ50ԅFG3\~H+-)zMU1Ȧ}xɋY^ 2VO;lPH-m̞$zЁ=W'B`4H%mxأpx^1r=!ObaN<H;UݡiXM<|HFRNS0q.^`yPIhs0\ N#PI$r}8@rx$N-Bε,?sE׼ipR˚+ Zﲿ5赮V0X#*!~Bn?qUzα r 9-~\"dZĤOe`>-Epng]/[_h y)3_r4`gh6 Ÿ&!u)?L#uᅭV(ЛDWd9¡7w- 9YmDw*44a.'W;E?I7_ 9)%ԘvNs~'*OON<ɴV 2C}g>Gfony nZ{aT~va/>7u{>Fq&M/Ck#BT~ yr"`w$+˖%>'oug\)KmPҬy$CvR)E(E:] O;6Zü Do3FܔN{Lišxia1A (æ;廧zNj>_1Q!NdgG!`wQHxsj&"GJ$smd΍rlCZJy:_kc H{ a}&}pECp\f}rB_cZ7.O+;a `C5(jU.̙-7W/oSJshIH2dkZ|k|T`.l^QζDV#Wp&׶6vGO$쳫Մ (`S&MC\kd/ ?H^gYZ b 1=# THOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! %ic]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn +(%ځ+z =ALb\@HDE,-hzĸ2CA<:BGjxhA҃8(R5ް{0S5d.|`0+x#O ɻ,y+ÏքV}Mxʺ9#u\QTODiCL Y&AO+)+Bl>x)r`l_MqUY\H;$e˓cֺe IgzERԒfRg#OM f MoҐ?_jQU2Ħ$!6ˆ5LUC"nRQb-S a98Qqf@7,_qҏΰ0 O\c!ICM&?mWH4\j쇬đcYH-QI 1?ۊ9X'FS'2kȧOwݰ=MiA`$0mEtu:hن݉K*KeBM;i6{GۂNA㻭6gIJ5B,՚%4/Cץh뀯PAZ$Δo^!ДNr9 Kbxl[Qx.H`E LW y2,Z J6/;'%S@uPc~-,CqwSr`m/9p;mbRP)KV)Fb6B9ff}'8S5ķ [uxCOS`|=aW*+lOP|S@qj)Z7l(` YşC͉ o 5b5vjFNiQ@VHo3E$iWwNfiiI& W~myTw7>YK \ 8ϑw1P)n.}z$od(6)Cfpv7/N\@IXTV  ~%M~ SRkI~s C/#ߍiH{d(\œZBo" r(129v0@ Z ; X3 CMq'qaTTj:H&u /*_6Fu#o4 -o8oGdpPB_Vg$u FhQ]GYhPcY9~ЌM^2j;-L^9 {j䒨֮oL|,)~=vkQQU$] R#** RGW FZ8 T_00#H7g{?yvQa$]0(pjíp:P{u X1M*XꀳP p!ʶBR8TdܰrØbZ(D%a@'-@ ~0k oE>pYd@-;)zNlhGLܪEZMR$zvԺ{# [su k5v=t̜R_CRo$Jd(1So 1.CIdtgݤKE*>$[>^.TG k 5a`iMuLY+*"#\(}=s=uPGStG|WV5W|O# `Owz,`geLEH Q@*Ȗq>y~g 4.#'B`G|45 6,0'ɌpuAIL.o ܎96'ߴoVK6ƙOG8 p#"-?"h"=d cwz/u}Tَە(KtpʷT2ɫK~ڌ)X)TNu|$:[xOϜ<S₍G?oYADùf kQ >Z[^i$n$n26e%ثR"f IYB),Wkcj#>Y P"hbaJBd車U 5*O"U ^vrƊmC[fVʿL;h@Pb(?E5 CLS'tvܩxŇעA'|Üt=pd*ɸp]hrͭ7H~KT5)lTP>w(_ݘ1!J_JJ6~,8Z(Z+Ζb$ ǥ`8.}Z!(x7Zka]QG%S(cRwj0'. &`*D~U?J~Lc 6s % Dn>H1#qlr<@ИYpyf-9lM\P -2tjc46%3-o5`t~p,)qnq;;ϊɖuv/t=ʝNGÞX2(r-A7VՌO^mO`~rx0Zw/fcxz];Ы= `"YHDCxҳC]G+&%DiV~PE3a"5r L`$+-@?l c$Ts bA" > lm[ᰁ2b*0̗6;edf4B a0`>BL#9%,/.rK38SsD}9;JS?ĭPy@h^9-IDQɵbWêԠ?U ~ɘ}*_]`=]fx2c;=3 9_]Zb>}T2lgOZioZ>`Y6Vz.0J̓P)C̘-/\@wN<1[W%[rp4%+-DW ?A>ȉZ ]# W~];욒eX+fLl#Az6%.b]іқrC w%lC$baʒ<ᛍoS/ur>TQ%D&1V5\׭F{~12cY*`6CfD|S'hOv= J8t\MVy61ip66; 059]Qs:IʸC pi̖Yl:E!,GMC —C&Cxkɖ=<L ~!OaTdvob@w\w#L.lu3Lw6Fjޝ! ~b{~}֎mǸ= aMhwS2d֖us u ӜeYb%_A{C9Apja`}v MA*~?9%$8"V"'g 7i,^0E) CƒŰ8z,wXM9rÀб ï ,E, .D@\MVf?a5:-Vc5yPU#Bڰ`Yp^܍yaCk+> q%j38I`A/e Vc܆SNqi;\ʈʃ9մ}K.&yj3)lJ:N}};/0'*VG; A0PB2el~7 r1{.Rvfkç9yΝ&]m  ac[H~K*_^~0, R*}$GS]iҔ f-W}=j!ǧC6ك!yۗnZ5;uΏP*D/r[6YaDh\#VhEkmj\(g{nMc@0 S#CSdOCAsv4 KLڮxzl'ͥn F^@O!͏*8wOW|"Dg;K( (ӋX\_́R<ν]Hmsxe̕1̧_/ mgG,NmU,#O z*dh >b,.'1&] ՞ X4ك!#+&=$<&CpXq+aa. QiE{ 17M|1Ν=L缺R'W$\i}*53@N*`>@.̶$t@5PfQ9]OMKGbb.c V37oW.;rbפFqE!yְ`elM~ZZ<[r6}/ 鋭P}3rUd YC-fKtƆOk[ao\W@cSbf IOh3tjwR5!^z9Ypnh$r'1auK3B՝a %,*exO޳jh2g$p'p4޹[pݩv~~l.؈?רNH  Xh.ΕY^Rc Ѵ]i6w>@E|Vn[NӋ^AW7f"t%&uoI}=}'/ClR$稁ҾM3VRߜ;Cd߸1򫑌Ļ9.k<;4Dxb6DN|XMՆ 02찄0zTY6 @޲r$İ&xAj˼S#O 1Ҕ!9&xLI! XНQ%7H 9x2*D Bzἐ .rh4`TSI ^P\͎~#KΌRGbl h(];X_1ij0"s}|ZkTBVK24vGtvљ\dRJ$2\fV SJZ} =V>{Kϔ^Z:A!Һ[KT_.{ -FRĩD^̫z]]E_%r}qy4& 2~bUIdT,Us`5HDCxnzf W_Sēၗ=\K9Y}? չJd~ /qi'i ;PzBAgj rc%k'ZDv?I}UqA#c2L&el -GLS%tk#jF Jj&&ݨ2rajê_&[ sXew1@9rq^?,kk$-rB9]r?F삘F5 jΪ}l!E-nPi6ʗQpz'1X-'䰧N)6 pdRA=&Vu2JF!1j( We8ԅ R;XwF X#;"ª@D_{,[:yJ +rb ̀\n* 7gYZ  v:P 1I# $HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%K]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rmQ?e gA?䕕bt. wMH*\zrAP)4B۟]_;Ɔ0os?t?@HW]جI^!a/+2N&0k&(:sHQX);RďtA0FE|e(Zup(_I^~BJT o V!흸f1muB27Bre ^. s]J ItҕS}d^ .(zR}iZ+0G vܔXڕ*찱e&#mܯDx1|,Gv#y<u υX],yFR!_>bP}6dYh6J h18/qZT1;r4|=IzE?U9r/poVg~H]b+.#v׻u݋m_z$g[*SP1RtL0k.RSA5/FP_ziÑ} kZCaIJ!wJ0S~d겗 X$Y -rMeڞnB3{|݌d׻# &Z;=Ʒ1=M\+K3в'X\o?%Pݯ=IgB N{A052GW)w>'3.3 Ip9P78SϟHF/Ӽ/+YÔhc)%$E` _I}PlL>43(; W+ZƠ*-!-ѥX 4Uް7m~&؋7$8L wIauxsV]I] H:kbWSE^Rr`:`k;Rgg^>s~Gbvm%h<j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id522!1A' LHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[z5:\_#3zD(NJ.?9uԱ5Pp&mQʑ+6Nm0ւYbF4vzaRH-o*,fG@xg!&Kj>a40L.ẞB;? '0dfzTz:);8=hvJE/V&-m\u!En 26`^uZ(8εQ1$/N'︛]$(&y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY-lWq3oN}'##Ʃ;?g'?ww+!`kQ ݮOX }>'`t}S ٱJigJT&x5󸞿 4rN*U[<)ƺ{&kAuG.Һ,2tT9췵>7@$P6&ptGlgi$-߷ЀJBMC S7_j=ڗ`X^Wld!Ó}ӝB "R3Z`ry$JCI7(K~[/~Qmk;A6+xSBxLX+ᇜ}a['eVT_q=BZBϟrm"絷{mmt MصhdO$ɻ]t2"B1=/6߆.J+2Vw7g&T 1T$jɡcrs.5Z䕗¶wx1]g;R?({ܥ3Ko"\>6dcXUFJ'7,[<+^os`[%dlM)dirZ,b}t&i<:π9C4̛ǥZFcI+ƿ윤EGSNO"C,ξTߣIg S[VعncMq{rQ+GsL4"N3X{n33m kf )xq-Xha auD@ͭ늀;dB%ő 笟lH@GFQDd(pշoKT8Pz#NIMÍ[+Fs ` ` b R(ٽ%tUҗQ1u٭ܥ\8O %+93&m ܿ^G(Zk*$ /v wρm%3Rʛ͒OZ_0C9Yu[:a)Ӓ \1Va|9fc8;JaZޤJmZ^\0[P5~pWkwϡ09zbDCwE#&MNTC0*:&6 eCCZ/ uME qm~_9x $W^1_:c('=D7O"2*nvby,A!iݱ,*6CjZ=gH+*HF]ꎉ+Hsjfԅσa4"9N҉vܖIHޘTCϦm[ &Bxum"̏\vy˗V\6mn56GhNBIlG7g3Ңԅ/aG QkNou嶣tT0NSo{wȷ B 5/%kd׺>ɒ)e ɦn6F'a:xdN x(%(chdߢn+oʂ.h#wζJTʵ&}9|OvC^qu{.$V$ڠ:]k8Ltl]V}mgY+jpj=^ҞË1z7$rǨ_ |L!RA.T-wv5%^N=-]D]X;f`x$6 ق8]i9Ex1BmZ">JwGU+g^km`|H&*o @{{nuAL-ݲ25}TȪGnE4I\6|vXu9y*SC":t?7便ѴDW29*)z:n s?~}h?j!`2:֛ic g?cב 5Eh['bK41t'Y((D{f:!I%0L{ d|`K{##0vڅ9?sC?K2[4LQe!8 M"4p#kF֜sC!) r8 $zT4Phd{9O,Dd=RDž?ƪۭ8@qPz]2}_sR q7~櫘 PUgUAjtXM([*ciC|aoXދL"Y-1}+c!/MJ5aKvWޡ QٗRicwhz'ubTglAofp7o![rY #qGZ5oV: 6,Cqsˇϒ69d}Z%֧[H~O_YFR ,ǥȔT”a"كZ_xVtNyHXRvhr^( | 1n^_]g\cS=XfpԽc3}CSqWqQm2~Ioodʵ 9`8쯉 8 .n3|J^ˬW?04\?/`<mon:C2]16WC8uգưBE5"{z|}K vRӆ<| *Yv(ܛiQpb@(1 .JηvvM$gͮ]9uȕAJA-)퓾~mwMj(F;eZ@\ƀגMep'2KJAg9 ]@IW">e$)H_[j`up"3NIhzP\0ܛFQMZPb~_CΈ$]b~j^ a]ۋ3n$6 Q/I࠸K?BL`c62a$7HV_lTEź'_m^L;Zl}=—G ްbݩ,2, 5K0 lY(!ng *0u~Z&eh0VeA Y}8  ˨-7ٙ%l#j18@N>gYZ?!T.17PhKYGĵ[-DN[ږjd" >eZN.of\^i8N?7+ϣ g OZ~Z=V8&4/-{X|>p5C nMI7a*גR!m>s.1̪dw i2|[ 8/՛ !1o,n!6Ϊ#/1&/4d rLOv k+ F:W;< A@ҪUǎ\P%'oNkBJ.f<6r*\W #p=JuUNN9J7`$'Hgż|mDVdyW|5t>7rGg7콕Qe70WS㐮(~=nʸo7 ,Y@@A khx iX T5SKSU#C;a<᫬3< 7v@S(kl⑧B>l7hK`VFu/bM_OB DzT,2ZFQGᙧ1u-O$%Jg @|g&hx%&Y8cẇU?*xɄ?P4Kn.BvĜɰ#BKNxxnV[c?} t`ĔWge Uv^9kM᭓:0˃2\D3IA ǛYΒIC10It4sgFl8@xCt* JI8jL`$cH, z7_&CKs4 T'jyU~g5_B]y_%rXF^姕"RGֆehMƝȜ&BYJ\%Q^4{JN̼݅7T܄36 :b,D$m,5~bɔ{B?*S`5=8F R7Jʩ Rhh W'*odtpcʣ*_Y]lvh6owHnKW"WޤLbŃkY|>"h㠪q3u+Y5X+Ψ:|hiJEYZjs]ǝtw̻ DEz%.9kC #A/"tw&wLv8vniW,?zW^6)FitO8N(8@-ȧy'fψմC|r <Ӈ,2ܝPR)PKuY&yGG>k'x&΂i ULM87+MKQGE18KܙlA`[KҔ/.1)vGس10dmBߩiJ~_78v a<%2XO4 N(2 /A& u@.cx|"aҹS{Q:?^<ڈl*zЯ{l38aïneG+Zi&MZEI]?gIS gmOľ6+W䕷o%u(^HJr/eGn'n|,+&_ ğ@Re?+μMbJ]JLL? L@?=ا/Ku H7e$<R1Ć ) hMK$60n(_ܾ֘} sQ$Q|J Fk~]8Az' S[byQL =4_t,;J$";īDyݶ{zIKFZ;== gKʦxW[Эgh߳˩jR0T<%; mD9Т^JFI^ b`Cf ֥ qNH/KȢd>53a}2(ni=Ӓxa 8`閾+"lJ eAOK'B^?Lo9J ,]4.z%3V隆DsםZUcfpu8G)]1L(?FotYNq6 Kۭ#ڰUˀ7rE7 moF2맍)xRЧ[Ub`9&]=SMR? [=`\&S&_:},> Aj}XP|8k19'!g)B#A 滩 2| 5MJ}36Ւù IIv/@B ެ'Ƅ9[7[iyΓcu7t ]&L)MGH0VF&?\?`ՙ Э;YI@=ߠO H<{>ńК5j66Vs_4u`j Q-`!/뚌KE+чBo+`MI8qB-N?fY~w+GMUܩ!H@##4anh jUsm}':I8/լml*,vAÈ 6ݎ&OUUXHsN\؋$EfϷ#HuB@D|[1\7`X3FEoB?]MzuC|ɞg:[eT&t@8e\{o:<ג VI[{ҔVz|,hzmE~"q6|!gBsKt63Q]'%9Va+#u/,Ի>.r>M1Zl1P_cٚ 2&B.}Rl9ez$Êo@M hs"E7{5Ԅ"-;e"[Jg{'YBg2M{y%ޡz 6w{0`lbdfjq9 zUW_?gPo;svöeݻ0JfT),plpu?W^u䗤\oxZ잶{HP%w8!MJO| ˯sD@b6t;&)17"ٞ0>4 $t K&7)h钁ںaM] p2{3U*)t3%u 1]`bK/OE3'hkm [ <x`@In{?vIJM#d-+faG #ԟvFr%䅵?6rPe(cIS=uIqA"d_eFIM-S10a3 b\YYU 7͞Ө& sBPc3 ({=ߊ .g9:7kq={@LVi֫D=zPH2) uQw(JM%\2$"89zף/M4/L~^cۻ :'G>HJAam_ bOf9z9{Ar/K,T*h)ܬƦ-L 3#F'G)~({ 5K$㈆6X@Uz#Lxl/&*dSmvQ?-OaDٱi$!)ڂat];k)WVjmK'Oցܠbأ_~=Vc1S"JrF(x ϓ*b͖\Ӳk%6]qf{g鴑4&;$Ā-79 cA5H.k2b_<j֣ȐuW*S 嵭1bx5{4M2,%C5!/>we:+\? bحA#XN(HѠˬjxعG'+@6#F [;A,^2LIdX+\8` U͌2imc&VIH[B0.nxpJ a)twT '[,QzHaV %{#1 >/wKc`T Y%5_eZpё,PinstV-!ͺLxYXbjv+G|hDQ]9Q9W1'5`"і4!RB`eH>7g[uJ.;WFm^@<ԝ,3laAv-Րx1c2+T`b`d;P:Jp9CfZW;u_ c-\&i|1z,PfS{ g7'Z!>wP\$CdVӻ mY{avTL9bF ޥEЕ$sIz.tk7Qg587ݬ2מpS)n}QJV qyaU#?)Ӭ%4z/D;Tޚ\&U\́O<ޡ+ݐjs{ WN.0ӯ"/m̺>&[_)GInL!s \6/\T2\7' ,Wx9O3YЙbfw9qvmՇ9p0); =U8peIXlQ!(Sw-G[LE̷ "$*cocrT!iΕJUGUA.Vm+rwhb督XKydQ ]f_ं휌r&.ӽǶ}H>Is)g &ӯ'ow4d/3nmSaN{-y$,)hm%z85)^ӘIW止œ,N>`,-T \HεI@2K5稱]k֜veiRJS\'䥒 j(,!]0FI6^3 c=H{2³* v8UkE6Zfav!څ4Ͳ~yit{FCljṷ- Tά?U[JKZMf`!& ;o ֌ j!@jO lP\K&y2!iFWbhtGk1f!Ԇ4Js:nzB?{aTT{JXF|04һ@WyuU2Eөrm$lEUߡibڹ+# +i@zZ%xL UɚC&>拍7wl뱞nvݎЄgد2ǣk.͝*9pG^FA %v aȠcO/C#[68011+|6M7YkHvY[eLKgo'D`W-]#e[>).ZCB5lobțDϾUtlYU*_} ZHp2* Y`LkqvP%qٓdw<VBB# N u |g Mob/rkrЭ )?)jiRf2 [1X_Uzϭ _@CӁM>/8"c2"Rnp]}9Ucl=]sؒ6;4gGT5r$u LT"7|Z꒭(FDqEDz7&&2YMrzyhJ?o16jǢ9H2A#FF>YtHLkd쒭-w3h$UTO5~N&/ךUXZt~yuvq54Q.M 5Ixب𑳙嫧YQF3ulМAi|uԍdٯ@r5xE1;'aH6$jh$;M% ";w9Y3mR =XDSh,2[E}SgOYZ﹁L!*12K !WK~T~[?,/ɠ67AhD1c|L)-MwOHeOtZ| 1 0"0lqXv?P,fމWv.7x)2AEO/.Bj3ִM^% Aʡ.Ni謔MӴތE8zIpպ"B|oPgTp`Dð5m@˷lJ~LgYZ   u: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;' 4HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages7zXZִF! ]·Iq n[:|&[zzb^$"Dz܇.z"C? L#;Zu`CH6D)OyG&dH?IE i}edW'4<0Sb}6$;\}06S~{_ uoϱG_ /(=]2l"@r,L H}֔=b~)U Buw;}-8r9h܃QԼų[|ӟq8>zaz͞ny>p6$M2okSrՀ<%!ʡhW~vdy{x$OoIx v8Ӏ#U/ ѷ.QB3ݕ7uID:)g $[;s_(~btreuЂ*n]#>;yB??CIH@& 7q]BKs![BfDis!U~흀u\\.!^Rva+]7eu(B^ sT?GzgYZI" 1;# $HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-?=7'3cm;MJ? ܙyvo&.6y" & AM_']BM _3_NP:'J]Ez=zԔ198ȃޤJeoD|j}IVO;[2䟓3)j]PjLO¹V,GÅӝP4}k+ <] ߨՂ$r;kuy5JȁD"b"W-m^ C@Fyn,oNb\Vy9'cS a* nٴg&h\{B,k-lTt^8A }ViF~ hyxob?.6Tu'lttorka.&RB.P/m No6ɻ,ua{0waxvRn tf:QeR껈q8WCͭLO+uJ^q[BDk\.@U7v ǟNvNh/)#jcˮt gs^*&yGJ?;Nm_Z6jH=y A)1LWpWs X eIol^ |:X[W瘏EBp^/pry6&DLjƀe!_3*7O ݷƒZ0)Tse_mCgE`A^Spk~˳>ض־j>‰fFu޷0-+ G a|L#b2;;,;w'| y釷J(EA1\Nԙf{0\IN_De; h>b)'{cZę9>{p]W gp֦zCݧ !<\CZ" [PAB{C'#g^걧@?rBFuqʻ~e$|uQA4z:7,M?.H]Z}4*9M|ތ/_&(t}V 2v)u{J)IA kӼįۙ$8A $EҞS2OvCFƈC';X4ֵ?ZdҪMp2"t+hAlZ]#bMR^GI$ V-|}18v 2ܛ:-% ruZq0۶BkE;U?pd›:>=a~5lxEgͼG+ExE}fbJ=|fBg(pzxvoַvcei)a/##++wR+,?ـ ?3nk~7 O?~Dj%![8N (?Dڪ 6VfEl2z]M$#U.A 5V 6^M|[zlnVF#AbLI Q”*nT'T#̥ӵ*8L9) q PAuVpelݙC5]P\Sh?TX0o<t)\ؙ6rĮmI@M=dtKFei0!Z|(UZ+(A+jGӡ95*dr .`$̻^}]C4frAxܢ' Nm}>DPq1m; hHk_S+;#iSU!#Mr >z'pv)=7SV~AR9jK$w^{iS.@-7~0M ${@?l u5l(;مkKbti)JzV~:F(m??S2]^hR3gY7t&=,r/ԴQz'/xg>ruosz`xx_`NTbݥO=x=zG0Ta*-:ϽGqo>Dr Ca}* ؄-6!Vo݄EJkrʖpm K&/nZ:=}t8eK@F/z+mL,HD`܅$u2p0 *~&1卟1훨߱ =n{kKޑ+GPDk# l0#e ~ (t{p%Wfߌ ' א U&2*5%Hm%=w^z^Uu&GS;>͠sU;TlHQ)b3  '9Tw+V:37@kz`Xpբ?0}^av2'o!E6IxfVj+_ 2$"g-I8-SɎos yP"]AvA]$9z֧[ Nj¬O~UAqT,z#'v'bo5k{CA@N)u2`W!:'0^w#rE}Zٚ :~Hd3h{,nhłPޕ*/cA8=WХUN/'+]P&57DQԨ?iH?Wvd+gj(xF?&޺CJT9%b?S3VYX hrzX VG B~ƕxnDh?pٸOɖzzLvF. O*>g̀j䟔?miJج|Q ,[q61bW;C_"ÞG Bj23AEV W&Q*_G4wuTzwPd$d rWZ3IKUyฤ%EuI̪J"%т]o[$1kկܣ#QڐdCw$ ]Tn9E"R<_08 h֖y=+oGg*V-'Z4ho>j3!Z>NsuXp"E[)Hp8?k, ?k]_ 1<ӵ\qf˄j|l5b10t$o Nw?&Sʢ&i,9_V1?ANݵL ʹK_m~=tT74Z~MXd?ixgh V>w fp 4wDyuj8quVA"kǔOB; [#..өDL팎1}vX䇄mVv6GJOjVNKfg6߼ G~.tUsN/؏?;ŞIdKڂnƄVϽLdVMpQ%+iCwմ9XO;fD$ȯQDÿQ2?> ZH:P.@HiDŽ7wM}znuLH7-תkl .&u*;P–ٶ- 5u u?Uab>g#<ۘ< s hw?rjh#cUKk)G;aHwZC_b-]/ ]CRdR -A`g貺's㬕&٤E1_d8QrI-}*\Gm4UBl-:HKOdbka=M7GXo'䩝q$:a9<G•"/@bcKVff(Hp+x=X:(PyYZ'6%="lt0=wpZF-&&ܝJ.Б+|T醲%F97).h(J$Bje^M9nBN*6A_KEӿ愫IowLP R_]O%kekT.E1l-%5! mq9g9U9#lk*6l]]‚K?2d$,H `ȟ`/ެbuW8ݝ"yS[B_2>4،ɍ\jg& ]"jӎ* w,\(- $1e6ۭC.4.., ty۶4&SGǔ9l0BGNO[RC0sA6+y<"S7D+m:g5 +޾KF}"aIx@wAlEk1gz-( !Q\r|dž]6c؇1jH=e@=xN&amP%0挅;~)tsċJbڮ6hƚ] Ԓ'f{$/Y*-CI~ȇ[@8Ld]i2Fy;4CdXwB|mMߘ8M2c[5/)P5xb$6!@7 ۲ Rn X3 EαBEx,n)Y8~6tȪjby&2x HؖWYtesKo`S`/qZE jcQ1f!6;vUcW8qV*S[690ufY.5CЯ* $A}id&kewֲCA7SR2y4QFXuC; Ʊ18TuH*Qޯ\Q%<*jOv'F-Zu8=x'R99M{yћXT7[V[,Ȓz?zцYh. ˇpy,T:/̢iff`ߗ"AE%^ZT"1knG/(cQS>[XG.3!nKGd$=Ã6ɠ4)J'ܛW6d8E*gelܲ0!THm=[ D|**<T咃PUOc|T ♰ESWKQX9\3i'AgA)NC(Yd xܶ*08X|:(龀8O|P!#=QjF?~yF{hɁ<2JXqKrq:b˪$s*g!L'?Ī / v\vIt'yEdj &ȳ+%yKя[pnVƙ%ilucn,/=Z= j> o"Fgi)䠤2{a2c"H6֌?cٌ[^0M0e_]#gD{Լ0Fʄ݆W`@7zf7KnTQ n8H'c"GT8*^2xfRQ*Dyh>e< J9Nw]^]%)K~vcwՃz`cF[Öѧ1iC-LUQlSN\h-z6eb\W"by"&M%}MP$*N h*>O<A㡈|ԢNM6uX#"P~RF{Kp^/5)d8!PH_k(l mA,bj J/'fngH`CD EBQr)SM*KKyky3؏J4yQ2S}E^y&?cP 6˝d֠ΌDD wE {g@\Os>ب.8[xʂH]x$Y"xg$:_07ɞt&(1xBؠ;pJfɇ܀bvgӤmʑw%}CP:.زb|G^0!+r[ǑHizD806`"mMNQ.9O:ϔR)_zW<} Ydr Q,xw\xމa4%#FDl(~-ߪoH?D4E֮UMt"n0^&Aؽ%2%7 5De'EU%!"C87U)K.fG݁T/98p Y2#k,WJHqSNqe T W pKԐn=Y!?'ajV&UsZg: u̡^KU`PoRF& 0f:O2Yt3v7/ӌr ]+NZuYCS h1[uU :l̜.3XcG5i+uFڪ_q"oM`h;&Vl 6R"y`@Z/NJ>j412D& H gjX(C7fs-3&I_vR='I(zd369׸7#TgfLmsD'嶶1(Ч $j~X%r?I : Ih}Dӣq Y=V= t,?Y*;Zfv:䑊)O\_K)-mjX@0D l"gRSD mLuG(g(L.KS?eYrj8)y5_ |-7J Su^:eyyG !d%L蹫8/p z;c*cBq+R%kv\Qed' oCފ1K^u IY71G?s gErdxүV.V&HCxF-3P6-V?hJ@|Pd0'*9>ڵMWSv5- 妅$%~{0Ƕ>K`DF9?G%xy'ںm x"5΃?L[2HԏE&&-XKi<0뼽--8IlE2A(v795 o$ ڟџ?A!,3b`6渱oÛ"t׬%:@P8c VQ.: (SrC\jοvkpnN)35<5N<9}EAD W֐!>+WWRMU2~-~?0@t.VBYx6fz@2In(9m+9g|~8PtEnNTQqT٫_!c|>q(c᳑eZ7J Ĥ

Z}v>9ci*6kv{0s!;q#U3q2e]Z,eC{hNe ,#gj7]cye=pYNN|9rA.#Ӻ5p卛$45uw2qDPB+֖Fy/El-H.8o9Ľ.]%$D cNj 4|WXCZ")RO@4{X4s-^-o@WZE2~ә{eM[%fQ} vLyuVz' he{/[0Gr?59+ B$f:Br_7iI7sL/rd)WT!Kdxoݲ.\.`5L^KM1@k(WUj} N6O)5 pEޤsqs(E@\\C}.U(F36T 4:u>+V_\TJnK{(Ǎl߉ gc$> z{`ʶ.ɏIB2# /+tQW$j{w ¯i.x9.2鱏{钉. 玥 }'5O\j%n$[%1vQ lq9*C^!ҫa>yJ3nR")䙰T|#,pBʼ^L  < '`R~>wJ5Xnse#/p[$KKQ u9o@Pj|iJhED. ֐^] H-;npӊSS{jeLgL]c @tCpjnǸm[6+l9 ||C혖jUX ' o# mvErX0Ks aLOn~&F6:*Ԁ0džu -8ZĂ\Mx?V B.:.!Varg%dVQ-DX_Lru[V~^<з hGu43TZ!xwq`ZwVE9bFt\E)0Q*` KHO5>łwwZVcBT d:?xY^@z"Aj(i@fEiChA[pUCA1̊bʋK7xL=$]-OBC<9RHX )Nܹ#xV&ӿmޝhZj3u;$֚ϟ[`[X2-yNDl87.T*BxG1RNckoљbBxӯ1-wW,FCIIJ.l!ԱjzdGT +.k 5DB$:6M&-:~i_b~tx9(CDgYZ l X h l4, 1A# tHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"3AeN/xl Eq[Un"u2cVEQn,0G9uK]\&2{Ҁ2iEq`3O)>Z<vF@ tz6(vpp!f$[ D[պvԁ y8vjmG, 0: >jDQp+Śm|6Rú~&4cn;%yfɮ k2M) K:\Xj;U\K>@9rvIRS _SOg[ _ G>HÂ?\bDIFihw”&klj+40&!E _6_6O h* (ȋ%IF'P{rݎ8ZxFnd\1Kf+t M-?7wj{b2ykĿ_wU59o5sW_ȱ~j8knwg*/6P,6cمfR&=9ݻ)6>kMiHre90@t7tះT7nA.0I Ʋ.F |S: OUaMzmJ=uhO Ԏv? /F\'_(WngI҄rK&Bf_GDta ⴆ8MԄi-߻؇Xt( FbLC>sw$FIip K'T/ES1kb :$O)ˑOzMS?!ʹE2塖Bn S 5Y',c)5c wilfLZ춚oblBk[i4{=B/MaaJ" gP)wJ7Ҹ!Ϋʛ2J_NHe4I-q~ [c`)FSfq?kBxH$K P'nUR~t, eVU XE; xp[r57jjUQGJ?;@*Q H[`pvi<7@iZz !iHa`v i`YeIb ?}XKrz s qoLW >r~dH;1%?kUR )32=J$[RT&*WBR\ngA\1 o?,__l>Y oğNanP<%T3vMG+Lyp aJm}:#g]Ȣ'Xꋁs IZ.YxUnm}6=}RjU6pM;D- 1_*`7jcT^`r&?T~6i~zz_cS y6@6VD`]KGz/ zb&B۬Al - ubD큏ql*㓮9b |aeh<k :~* Pa1VzOtQeX@tC2Rl'MɈ u|R7X&A@G%=а`mUܳYl~֦Nbz!B73,ѓ07¢|{ c(_0{eTbcӴ-:€P7 +M{K>8Djz#;"<#Cݓluh[(X.p͟1cNblƫ6€z$$*@ {U@rR?]n@fǸ?`>+}EST"!{>*mh ]~(W6کC{+%Sg[8bѕEߝ_܊T2kaa#)>cqkc&233N|hT{TcrZhe0Xkzu Wi)`J_}9{rqy%%+XU š# 4^]۲\S.H~Q/>*'z~0Q!qq+2RE,%Y4d僂ȫ>9ԒGb+1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF*1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id524D) 1I# HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy}v_(B HyB^!kb17(sEOan$GÄõb;|sހw'_Tkͭ{lXɴJ@ZXex% A>,]G]ci'iئbyɔ `s JCF3C@ƃ۟#5}eqG@^OHP,/x;L[kXg02,Fñ,X$~P˚F&[*zب)1:t"h}`~ʄ^}XSg jp)_3ra5څj=C_@hL *l ,ߖ蚶[Nm( X0w;5yzVK:Ѭ2 U@ RR%yCs8`I[)yʘ 7d$çMpLEQhtRM3+ 1W}Ѿ{tʧA-)FJt0.E0U3W~ޒ u_WЯ"^]Xqd3C,Nw?hBe)&DFٖ6MsYl+I t 17%;1ϵ |NrS4K5F+Sgcñu-xdn7y͕*\h\ɭ J!)8`_{0S'"%? ,3q?} vc8c >dq}W`GA?SO4S+6=iKJ8P+C](fܮ{>loas)v"[@>eEAk`e.瓗7U;ZHS/8$A]?) ɺ<_CZ"x qv~cI;IB2gi%NaEb6QfDXG  n|% 7>dG{:ED?,}p7]CTIR|'sfY3@L0  I[Q \j:m_SF?`ȵf!`Ѡ4 ̱1 =aH3<_+;/{ZTw*7* 53#a$v VRHYej~ψX,^f5ɂ`G$P6! 66HL]׽{=UvaÀ]zN+Z2-@%E~|_~ۣӘzdGo(W=wƧ8䊉| O0lL+/,dٷKUj|B1t˜%" W I%xU[EKjMD@qԇhp ty8[8?m} rNq`:&Y)Cކ`܊?Z]#mHDMDVvmitp:fvl}cr[bx+E ~lxdPOV$]l?aGw+Doxu ̧nndlz`f5Z%BA(cd @&܍0 YL>jp@Pa\uy;)r"84{/sPG:!ֻie6_Iiyqyl]R(EVӎPtm <#)-E)0_%"x'+*+UO2WO0end"ϙ/v}?<#%k_I7/b!b&3RPv‚2:_qUdP-tKТȴpQ sZ8MRխ%@[ H BU}a߃#$ɛA"[b61Ł85T>wQw>u7v @ӈ"TT}F_vS  :kT.h-yy$I#>6$[ĝ_U}ZPhC,ٹaC2 LC< ?X9Gڅa;TG+j,J|@J>(̒jƗOrЏݥaVND]̶"$ ɋ 3jd0QOdQLV:R M!Zc̈́w5ʽWHus=Pڌ7QzZR,!=de8 ($@"wb)U+r͝Mm7~of4 a봣zmx!R4ስ/p1'Pql1?s@k Z&>:ʒ O@ȧTP`­~rl$D K |j^1fnQO#\֠\\6U⣱# hvd" h {is}#Áu~` [^ƣf1K(ϱkz /,QypbeLQ҆V9^8H kҠ7/>#;y!zNFJ}Ȉ瑰J 0ANկ Guݺ;AW,& :N)i&BIa+ϸ/9Eq9He[w<Ơl!qD9z\o1˫ bʡH0: &4rHOBeO{fJdьaH>b<@WZ(e^ \9dpg:HΜ,aC+rҶ!>a6fщ<`@cbw#+^wrlhNcJA#]V[ )l;pӽ~Co ާQ *Aψ:L/ \@YtZ&s T!R c<+# +18dėJI6pvh<)clw"*2@ضv[KSD$v4l!VPzSK!A+vEiŧpq~VƫP^>uB> T.D~U'P 4O.aʕF5)~Q3,5c"s0ijL-h3Use>Gg'Efv1@ =yevkA;Tqn3c,af$ۑjkx^K`z%v`x.4֙gҰ!EG)Cm!:&ܬ\RDžP/3З#֡FGe\H 8{H|8M#4ԋ ~k)C}3(E^C0W홌}9|T84;+91kEX_N A N:;cY!]!E羐XK?AO7e`G3x=q,9$%sD6UU%ǔ][9ⴄp:~ lz M1ک[z能/N ygmᠣ!J#HsK.0I&GyDKVE,^C #!,(TQ5)٨Mtܞh֝ Kۅ F+Y9X>&^M}206U+"!Ψ%Tx:w.?Iݶ|Ft*&&DTUi xM[_쿑g1A]8/X `;\T!1Rb{Eϫ(9.sz<>6+y7(Ŏe9U_B^(ߕfrh5D7[47b=ȡ!><_Ќ< Qu^MQ1`R,8X ȈǶ.sE˚zň(sOqT ub~qIEmeߠ}'9%?XƪEb %cT&:rEpqGS&"q)){;OӔ?贻ũ s@@W w&a>!/B֮\] 况3s,V.~Ze E=~?`ǷĆ ocq<9Ah ze1\%kHhaA\!_s]eN[Z*iso&mjpyuj~pw~wbCkז|~?m3QX3dgBMr[=}2 =F%'T5X-\0R>!¥/Ren|LRtma;)sTa p @c/Zw,C-(} Ԥ!>b[%~ qb~V7:㺁`}tLjsYOg (TK}l,Br`J2 5aT@qpG;Bޓ PVfzR_fy#ZIev&X˧c<@dY$\L EI&A `7wo#_mfkQ˔\;~hP͎ TP5i+.R`Q/ʍv_#bBϽлnC+2f=Nyy@#FPP|w of&Ē/wmJQ|f BGŸv|qP0Ƒe|yʁ3:l=v%pT"]vj8@_[&pGǿlJPV8r,/# FH&kVSЕֵ Pr=FtT食2rt$mZpm9(,O#xOK0}i>53}qoŢF,S~<t:"wO4|"e&G*iߘ tCϤI.P `qv& /u!}{A7*C*B* P(&~m<#fI̍["lP턽B6[;^L㜱jaMF*=7g7: w/V)$ӹ:X9qc![QY #Gr 1/GLƶ SeCh8?Qr C1zm_?`Aф)vG#H5_vz!.N[oM\6  S_J={2&z 9j\'n17xkgیOO 9ʆ6q1+bځ~ 'Udh??+nf_Ya'N0ЋSwų0|"B+ 0?F"ˆ;8+0]nf 5b rpSJZ>ӊyѢJA- ӟCZVrz.:DS(\R&~T/ɖNehH7^"Wܲ) i3,r8cTm'FPCqYnWW(Ҋ^c՞3RohF|qm VA[o-߀Au(E练5\"]KNǔ$Jӑ" V@h?\ "2iRSfھ){jfr/k=X6aBT_L|)si[b s%N )/:6bK@~ 4Y~U4ylȮPSuEkf3p*:ʹ9d )uJ 8rq 5S&p+&:$m_OA jrT N\ț0`c4Q@gHBɣvk.QdШa2|3CМ(q߬qpf@:Q4is0wfi8`YhI)8zoTϰݹ3f' rćεf#nT)TCѢOg9_w ^XJ,WxCppXUU%n[EeDu)]{O<͌#EޡdJ$Z{. jgBܾ Ʌ"b5% KQ%U5~/`7* bZc'vEcz]Gѻ=24{Q)QYFm8d;qZZ`͘6Yw͠yՑi!8%Ԁ|n pKݕh^zg.{2d90x٫K kWh sr5>. ԣ0<eaFIY{sF@+e$@A@PT*9e|C`4Qp5±R*裴N$|f 5J0)Frc]_u|IJ$_t2;yWij zUxZ2UXd,i+{$y.0lPKrn 'P`w{{F Zs[*cVJ{~6pOQutRPENʊf8BNqJU{.M5Zy0%/Qd;˼ͭ8xt4w xaXqqNF$sa4GB+t˜Vk"eX `⵭.U@qU@^W  X\IAl9nAsRgYZH$'K|^>&>sW48A BO!ݍ;,rFd.2teTJ'!^W.9=V?Yݓ@Ʃ7Pia~3eKJ 9&Sҽ -_Ţz :=3Y4sj9:RfPH`]̔EG{{G/E v֌z)MMvSUg/;Ʃ "iɤHKK 54aV\q-q(%bsCK7EołyPx#MU|9UDGfhh݁'MQm_Ku9o[kߒpl ~x D5ѮIJ>rwH":Si4,ʊmv0*1-9=7ppwt+2~QY ɟ/.Jg_C݊ZAlBio=x*&>CW`oq*1RSFv8Sb ࣑} lڇ_CW~Wh7Q'%b5W21X Po2=VB%Q]0R"Gsp)SZfbybDSu(YI&sEe =_ojX:q8/_5BV"vC˸Tbw.=v sfRϪN_Y\3hkc.z XGDx`I=Ȟ"g1VѤ[ ; KE3ۋ@V X"m!թ[.V{]yZ8hEaq,uh73~ѿk1< Atb1'ң#R9gKD| ?rVduino(j-9ݎ,0:A-SD8Xof}q/-k1 ;d!eAM~=ŤwxJ/?%\j TUP3´Oب 6)Cp59\%ɉ1x)wӟZ;9? L:(9Tas +7$,,^&@1ff`y{LF켷_n0Tf=#!zh hMwkU򭓘)6(B/FU*OWÃ/\RZׇz{^yC~xn:ԑ'/Т6Z-"yQωrOFI*,>dW%y`Flv!)+}pZ k15e ?Yn%>y*iojgiz`'x=&Z}D%Ca۱\#,3 '8[X]3<.[~r?`Ҳ ۾Ss?x_sGKȒ>= BZPz@3 k; !O`X,~b[^:L첋-3+/hc9Y{uڂ¯6 /k6S`sX]%Bcр~ZX]ay.ExTHEImbôWe&+Բ-WsmتS:.}e}@@W΢#˖h0 ey_E& Q6$ZkșոHΙ,` A']uoiaLܰ -LQS钐b:lo\/sT1meuD by?LEs0 U+Ȅ(/#OT1[)r F\%Ms)PB-<m4bUGͽʥ u0۔4BPq7 F,X9,e!5Ch@!YJVn~fpC([_Z&K޾80!Nx۷fe$~c71ָR >1_2@7ckJ,=/1GBډL!n(Q ZQ۔y\+A>b9 ʚ4=sTp[iqdFڼ'l -n 4봃S#dah>x/ɱG*Hm(X&h7$^I"* β1W-I"*t 8%PeDY@%uz!)T-:ڹlLfAOl}e2 ۊ^ 3JEFK)V=ѯ{uD<[҈:4f<3JoIyM4NKmxZ/27HɐN}$8Ƴ.p,»@WL.!5VY B; E ?k+$ ^f=j)&W|vն*&hYQћ^w $gizq|,H+3yUZ 4#ȟcZ~x,d)O;grD>\o'viNr0lYevD.ҐzA-綂O1:<\1"F"bCķ,ϙ1& R:R໎\tyb#TŠu_I U|4hS:ݘ!Sx|P4RTG7/&z;[622\D_\p\çyYKccEk4^PER!8q`(m%(}sT%I.Ht}G=:1udn!R,oP(m2ʺFJ0H 1ÃMzY#Ƃ._FnƳոA̒T䚱LA-٫r>8m(}X"BJD@ u`efl@E^ 4/ȓ#I +E̠xmܙk&Q3NQɎu[e&%[m¿k1h/ u@_N> }nj&ڗSF:ݟ]vZl?W}d-n",iQř5aj AڭL)F[Ee)ҏN'9&{w4TlF);5VP'7,*s(O>'s&W‰O|,)1IV} h4N'VYev̰uX lry=M5ԍ޽P~O4C-?7݄:t_]C, Sx#h-g)'#aū_&d`i"@S-.NӚ1ϒV]cn+FkUJ?9!)' ڳ(z;ߜ.n` .q ~jג \Xr% A[.ع%>uCYq, !MDp|"\Mddl{Mi6$:"trbPbS$%z,=aiSBFMSr/QrpҗZ yEI'Hx#?:aDD25~nglSV)(8XfEgWH[+4TΖ˻qT4BL3E:Aѽ gygh>d?ax\q5I1+kooK: =kE Ҹgv/MeɺB?U E:ۻ>jIWܷ7Bl-C0q`77g ?Qe0d%5iE_nH9?vv?:i(Y- Q^1Gѳ`i#1^IȮlfXODO2BLW\Xd$)ln?p0*ISB;ĥ5ا{v3NvMdK5Qs#қ}t~B_- y ]w.%c@AJc}]2 ~l1 ?IU-|ehmW`Gk)6-]V 7- 1OސV)V,kV ,[_C~nbUcq6VTmx%[G['5?]Z`DghccO= KVDLe_I!k0M{O*֌ VUu¦Nx'utmae\!n x|۷dkVv e>l>6QSeד[;NFCR(E K=иw#{0tk*EQkmZyDrIU'2A)[I{xmc4hvt/_\m/8ܡ%;)mHb f8Lאs;-OnAA\E @9n@.'kAyHoTQ&-\a׮_ 5Y+m")BFe=<;BzfqzRUl(LVKߔJhA^ ,^+ՐQ[O.3[v.8G#>zf2j&l! IJ([2+siMD.ќ=P1: (]l/eaO9"}^2 .HV r<[|'|R!F|,'ѯ u>5+foƓ@H܈5;Ԉ*7ۯw"` { XH}x4]nW!Xr^ՅlM XmKRJ~vI-fq7誧jCO*g޻yv?iY'?׫_'s)nC2*?zzPw>_kŷx4{YkC4)ÚS<)RƷ.[U1 (l΂p2F-j¬ ICG\Z+~uZ;&e{ekbH$[B/, 48j;r[f'ˀo6B՛&7|t{q >̷FԥۊnfŽUfdFV$P{|J\hO)^%[WbЖnE0!A uDE *CYsnh g ^)Ud?><;Q$z+pu a7X=D6 PuF kϢo_lS5 2 0#$r|eylgqCVb7M m,}*cإ@ IdfnvE>볅(J*Si}7\s&؈)56d- CXe-&OGpm#d# ߩrUÆaSʹq#'~L)'kG,,'㭁Rh*usy 6v0ᖸJF%f 3q&NAVĢ 5D|ExLLP% 0"i Dd*V9t#Hi_Vw0gٿ| ,MhỎRszĤ9uHt2.H_f2IMɯ hPǹQ;=(̛o;1f?^#rU9ǎin[BL5 sHy4DXN4D«yt;/pYC/NӫǜqْYH'fHQ$jr_V錭;afSHEeV&u %xi=ùEN dԭOM,^cd$tˢ)͇F.~+1 ٲ{eEŌ_2pF)A;rQL }I)D\U+l~QbSjJ+AKo.:bF*YkڛAQ~x,r^Y!ָ%@MoɰXrx^"}=$򴭣+DE=fT%Z|DALkovW4kZa]RFP\/ws@%k^cz@Z:ym)PwTZI,"b\#0ad닛7^[, XEУ ^1 F =Arr=%ٗzOb6SmԔ˟DE!42p֢߶Х}'p%Dӑ.M_Pƚ>ԡrgs:ȄD2R ""«LId>t+7^qxQHdߑaa0̣#0Qc2XƗ־=j,sQOAl,|˓ơXGw hn|ܺ)c-9CSҙFA łҵe<)%CT3h+H#E% 0 o_/pXfXD:dJHn̖(v'e^ejp@pUFMYPYY&Mx y h/C2'mUNͧKR +1mA<3AMÐjFVܶV*D#RNl1Jws{@`۰3πڴBy V#`$8?Qmz3}"^;F"_q*q}0^4I*Xl9Nx\19)o9GwN7%5Ssb?r%C(_aꢝ 5FrƤG"jcl_SN$KH-s[]]=ӕ6%t\u-މ_Gh > ' d$g)L8Gا=lK'g&ē-9#%9@g#k GDQ`-iٱ3%EH7)Y3mvdlﲸpهf =25[i-6AFGw`=n.ޯwn W4XlMO.>pPŘTzD˶\^a9S'LTwA8Uadi0z7NU&|x) /uA"*]^Џ 4?BLS0EeFnƗ<0iT5oA۽{8Z^-n0Nan &6Xu쯓sk4I14wGC>b m:p~:9xreӽ6lnٳ:_#,Q3̞O:p?MI6ן-֗eF %i=2:"?xҵ 6g)X猲n{ *Eg~j% TrUjVF'pcP"?'v􃨿}=K$G =x̘OnF T'Ս#]84-߉t3tcn I%H J)3(J:@۝'ה7)n)KSu祴3`M%P.H.زAo5]c>$0g, vh%H&JN꾓[ҿ):NFM44 WƧT!z ՞4$ZavWpnɥc߷2PN<ok6cl-d܇;k4$; ݸʾY8*;1![R+A5ip7o=?xA5q=DgMtzjQu8J,Q *#AQd72\}Qiҭ%SNٔ6Y4_OQР њë ܈e˨DLg%"?)Sc Qxc&쟒u ;S+U^6=CXda3(V;q?{gOLi2 p*z5wNBPjG&Y" ? [7=Yf">nmnҷ,u ,̢J6v\hs{-tf},b(RwoݽjK#GnSF](!QGlx  )H@+vQ~($+i0Ѳ]/-Jۍ9qDk%+I/3 S ©nN_+Wx;k NnusqfA%4"[SEt۰؞J }\ 84ϛ&`fL ߚ'"}LLL6FQ2m&xit<M-E9ĹF\tu]|gJDs>Q=")ZQYq:^%m6:"FQڧOeO:,s9E}8?A@&Grv@ ȟtl/; oJpd-%BCaqOKL"Uؗʉ5!C5 iږ_~gmz'HRz+7f_y4PDMϯpIE@ ;b5 4Q" 7iU:pƀkzf\}hiR&к-G$2~<XI %f)|zBO;Ȁb Â8ꠖH3MV8%)|߽ƨFzτ{?OZw̹OJ'v'xdJ˲- JȨj x'5뼋Y7YeKwʕ=#I&9!jFf apf,|I:a+- ?=>̜O޽:D' ICTAoRd<^C&uR^͵\smUAZԔmǛ;G }|+>\ ' ّ (bi{ak颸>}y(FAs.ɝÚ@kbS?QxC%;fF7 ZMI[>h9Gjңjdjj:reS14j>}aNK\<+=g ؈HZXd!s6n笟Pͯ -sӷM#9>;gh(C )b/ڢb3N]J2:$0oBdlEO&KxsXŰv7UQ ^Fu^( k6w TLh[ Q Z%)s'Q@H ΰ#^3}ius#\Gem.˱䦿UKVژmЁ0zEvz=˨L g(iHJӶL?t*6E/?-2p!4uݿZ0Z$qWhe」`Q}T+tGd٤~pF`K$×_R7:o+?0+mݛWGQ95$ЉGa#Zi!lOn',[I0gBG]LGcVX\i#S+{F$jgr3fխ]֣1&#!aF^ [hI)kjL/`ÙJ"5}84*?3^w3 x9d+ZKJ?;Za_° iCaV 6mXpEN Pp&|3m<3dA r[?އ[т^Ft~x$'x Zfc#TBVS;C19l -݅+'rA҄'([}&1gcaLg/]Za(ȭx\ٔ&ܖ1ȶr*kgbƩ Ky;}8cMX4YoJhER>)_BU Q`a!3 Ku8 Y!MLd(\=K#ҵ_#Hq0÷|t!៸zW+GDЏB JB1Y@ k4ۡhI?~IX(5~.VO>`(Ƃt+eyS[aLe 1BKĚVxsz+fI_r]&@;-7T25R\/k' Y!TԪ,VB9d3z nCSk<70ч[񈠇w6m@D+Ir}EZnFEt*vKU j |Hx #V$d6UbV[a%{3nZJq@qɯ,m`!4׎"I;W 5*I:6 ՗x[AH=PC~1NWI6Rg%)\bͣ^K4ޓX.7bG:d|h6F璌 +@xtv!K6BGNweI]+go"32\ִ9ve0wڹvF nj f-a?"fc5~o!y]Vz$;ȃ (bvMkpvƿmCdL2 <1B R2&>*"1tDt ;xQ; ^i/uw ?MI{33~F=cVE'AFYN#ߧ\*;GjyњeȬ~|ħ5ߔзZ{P/Q?蓲P!E2O iV."b8 :hAFӘUv'݃d/vJ>i$2ΐ;"ލ0 ca${xPẠAju)|zwr-8}bVZ򻫥c=ҞB1Z6tf4Ɛ!gf*9W^sG'^gb`{/:!L*L]Ul)U=0*Wu&N$&qsem>9/c2:n^c:e8ӇSW`inwMYo5ΆzhMe;(7UBDZ5:w$0u+f{rez턛Dc6pbmzLroh0G W<`3Ƃ4$<|1*6n5:ug!̇8"t{Ȋ8,}jӱbzuHnjr$z[ҫSPȞ٪S8hW52[i?OjyNFZ ݣw|`D5m5֢)QU#V3k!ՄOd\rW,eY: b\6̋q}^xȰyg8h33uA~PǑ}6'/?[? 2&蕯m;@7é!w4=`vՐ1mPH9ZOfV ʍ:wOn=V=꒵"Q7ɪ6L;_ȫ7=MOEm_{ILSl2*8-9^di,p[x!Ȑ+>~xAZvdSPG~Ro`Y3M8@9E]c?R-%yعc~eVx)n?ҲhxMfҵt׻ka KҳY^ +RWFA9hr ,?IPp6SӦ\6Nr i&LK_sÑQɬ gCw+.'x@fO $ֿEH(WsR ?zq\m"8~I-u'V™dzL1Â3FTeB(( e ܇:nXڿ(y (ڗe^t'[yɬP?/R'-UUdZ\ӾvC']'fVIYy?&m K rm$j0bD VXY>T鄇gZh4aȣ>D&O^sy{f̳S .aܩz#Dє0)bT zF39=9_ܐ8r DUe@>MۺT1j^OXY ?nd [r(v@_5D9聓%:{j$9ͳE;5%id`1"{$=X#&ꛨ@WxV.l!_蓛/ H iE ͑NIۄ2eѵ:/+>gsc )]=_0r!ar%^pkQ#7'me__:@ jKL[!y*c3i7q\M@ GK592=~c]%Ie [ltd6 vbIT mYlT~ ;\h ;-(6FױW:IFs"*Cg-d7]'B(ʑ'#>#ȹB޺Vg.&i4Ev' WlK~V7cI ajn{׹Gn45-BN,B}=PÑ%Mh re=)1QbD v0E@KzME|C)rG J DŽ;ZL ?m57aϰ#1;SY =);w;3ʸixmlG5rYpQ:B妙 K^:%q!x>+`Q4@^#A:/4Gg x4dZ6d%9ưERq)`SE }+B.}F3,"h>(mc$k7HbCB*įʠW>K8%S2Np9l=]}jt:A^w{'{vᄒ&m%B*e^HH=fT1doZrxl eUպ5ΜDnG jL蛬 eJ @> J6s?#\\.BRRtrT''<bJiMHdžh.]wswf )F1 oA9-87- F'Q'џh,InV>*O&HEl|n b;[7jMdi?Gюu^ˍ#v)2s(I ,rLUeѿ߻Qd$;V2nZ-K@^ۅfAV:J;z'b˷7Gt#n-xE_x4'eWf``]e QG2lBP3*e2m0Jΐ8Z %f9;ʷ UR[9]rQ貰L=zF{WayBbwŖv3Y~VWۘP@uV'0)8A[M,g4+NI_ML<v1"-O@F`u~h^j>ÀzГL`ʩ j$Y,(jY?a4_/' \|8ѦN[{'3:;3GtVԟ S$dR  uc~Gk}\$B ).."DI+Ź $]:"oGdn0TˁQ P 0 ΁K>2{0\;k8>Vʇu ,n2L5yZ,%QK*Dm,G`5:gk3t' KՉF=Ŕށl7"GۈqD9lZU(:z\ _9]Re;7&sD L↥Ɔ1)'\ʡ N:(a̛?h˙,I5raaK^w=ʯ.݈5f|̄v"kۨcaD,~طB8^%)u$SH: Am^" %{ع[v38{j}X*BDSy2ZˤؠS&{N %v&LH;%B?SdpcųΨ1EYwFsRiC<#eej6y';;ˈE#>L?FY0] RzX-*V`>ۺ9CmAiKywo[f6~#B7>Mk'v${qҞsũ"A6m)%Zܕ{'TԛtXH uAy|ăg~ovΓVO߻~ZrU˜#Z)JZ XC˪U^sCZq47泈@[?GZ9yd CH߮A@GP =}@a:9 덡C\_Spu?\^fI`:4Бzi(\_{_\ μIB%xfG1K#T]#* kvH+3"\")Ocիe7bJ z{Ptd'fkAw{j JZp8{ ~ۦg?>0K0PͳRbigYZ M Mp21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id53201O# HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! .}]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7J28;)e @:$썿A kw^mb^ Z?Q ?w*Kɞ!9<ߟ3̖=Ɗa4? a󔙊08lS6݊D'p3߁vK:5PEt+!XQՙ&E;2КUz`oCujZpY ;n ق~o!l/d ZRuPw2hE6R*|Of\'ф1fNuـ\m(MHCd  )VZnng=E"s@E ~ _"A{9?e%eH|,<'~bvх@" <'Rwow39Ŝg!_k>pjo/[SAhm)xG*+sh)yŧ|xvM3qpp+F`oP RL{:I9lTX#27dScjH.TAHjd͔f[h>^Nи`v9SJdWl;#]l_"\ݚ[68?b)5_s\?L٢ $^n%H 0'.*R (B/:(NQeIlZ0?iIh&rxa3"}4@iI7g\z<AEv3(Me?QdUGrmS 2><~X:fwPKH$U }ЇaSM8mPz/fjf5)?ݣq5 y"4c(Om"%xN\Kwa?!8>E-̹Du]{.EM =oz"Eа)/`jOW&J^.\TwiatRegR0 a~ГtE9 b(=#Oߛ=:>|35MF&kP6s^f|MSb7"?Dm(+x TaExx -K*Riia|G|Ӻ 3"|y>2wDK& LT`Gg=\2of8  ҪE:})c`O"&8-'<ښSE=#cJsBC/Ysף*QP LkX 9 ?qwd"ϹMNxCL=i4=}3ٲV i5L ~KҐ9&.mqIi =Z26 ;(rAOglldf)X.z'\_N2/3Fd Lj+U*9}b!ч6:5{xyk7jv L-9mHͮ;Jl)_"%̥ iBxVVIgM K,ԡ>oe~꣹+?(< wYj]`nL].)}yܼIa0s %׷1͇Ŧc㪁l9l=#0%ŬŰe`( Ny ES7kB4@d{An̾XW @ TXkc3VE[Ll<%IaXeOp;_qe4oٹ՞Y} RlJzo٬S-Mb59$*%ӵ@$RvěMȕiڮwوlňR֝e\ [{U@2Oe~x0Nii@taqqI9w d?k0 DB-7hgYZ?gNS7>ی,\7]bU$Oyu75 כAR<+c2"`UC !P!K>M*5*MoBˤg/zy%mM}!~tGxTgbtr{)G  A`TyhhW)/xC׽<^//=^(c/W譮lqo]!{QY"l3Ir}mo.9jl/X3ƃD-5{ EgwE> xd󦳈,ܞ(<ݛUꔔ|2VLSWyujÆwS@oBiQ-C!ΉVюڿd96g1:̆ɰ:\Cdl.C`Qy|Ͷ|:wz ,.4f6@zq ބ 4/@vwqѳq_Q,J0[=uZoBOG)Ɔ@S%)9zns7KЮw[ī/9ݑ a/ mn0BKA} К_'qk(\UO.zѤHWsF=X&lsQ:YwJ++Htp'#[֠'xz4XGڞb2bqDLS\'2 |z?G ch QmnUv6.Y(BѧBTpxc䇍3Oc PO> p4=ޖ>z:BB +[[&*qv1bXx˨Rw1nzֳۘ9V4 @~hX3^iV}K1=o HZT6:ʶl2$@N3k**olc+]nYA!vs:n,aTzkf ׊H~A,HU^x ҐZ2fc@C30{I%WޓjX1`}̨Yxm $^0f횷 @j4,'E_]}G󾳯l~+!l f\aq@hHĬ>XLEHHZٕ=C_&-goأ죊b}rРrSqlgMbZjAO0}05]rjýPnh萀r{c4Mɇ ezG|ncmiX,Qǣ/Ah8oyI] ԗ\#KSB8p" u)JLFq門ǧ`2?3.<b!y}LX8/I 0(x3wS7Vu4E 8LGBWN5!йlkK՛"w@btE9_t '1|(v/iv7&Gz`F!o2k&#(>(FLYl{+%x4a;' e|9xX~ ' ]\ܫAwٗ1%]vR) >M4p:1 a7Y,d$zT E#LL&?mkL/PEI `̒Iw;NWr|q \xoQc߄:Ķ5Ϯ.SRT*^0¾ѱ wMpuis*?bS/k68/|]9ɞ,ɦߑuܥtGqaQ ?5Ful1sIbH;x͜8g]ÚH/!6t6~bd%;}8p4-ٱa/ ~|EJ!GRfYw,ɛʟɣԼ墀N"y\yo=c/lIT&V0h/owֵMI8?훂[aCk:\tSot .| &&K|óh{&.jQzH}fxǹN;E,T'q0R}xA"AxK f>kM<3 Vpg]Uj42KΣɡxYD|YI~$/D|gYZ 231O# dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1DX+FԺ5n1z">L#FVv@Uaf`a5#H{FlƵr+DSvt.ijY)KnShIh'OA`A@. vƩ"E#3Hc[ĮecG5)0D#6fZ=g*@r)W)+m|;r }+@)^=O9Io^Cz>Ȁca?5I|E;u'm,*"jׇb_d[!bK^ґZpLxy&˪[>9) 5\<)G6;hXhډR_eKLY7݉nCj=9DY4* b_Z.eÌf%u2)$ i)Sj}[)c}U.c79;1F1y%ݣ[ 7%?:Oc'덮'P3se􍲗Ì$ !d`Sya;EDE+#wo_ս bhs](;vǼ=\|42G h L* ]af hwU1&"W8L֩>d8qX}0 üUBCB^F*Ǫ"ѡ$DiTD=i!Oꦡ\.CDNsUB*kQ(bs>cNn=d,Z5JB4E{_}cpH6Qq`~o@Ȕ|{N0Z;#19$kDysh=\4vi.o_f+ꈡ8tdJ>p +1k4L~ ^>lc}0VXRP3Gq`E"E1 HV O.Tu| VтlDOt_2@c{N"}i 9<䑠AA!q]9?s%=j4]fD~l2 :Ԑo(LR|ҧA4fkcl5қ́ bIZjR}["C4VZ#19qES'㍔UCGD%EǬȘ04'vy^n 5i 9w֒t:Z\}15k DZB`c'H0DPGoG˂#<deiP7I E‡DxݯGxA`rV k1C -U }I2px&mj'~LHCт!*9M'}9Z7IwTy(C^&\V<"C 'G[̯5g(m7FYOC}V2$3W#^Ԩz.'f|φxAуmO7O#d7m8I#ciAsmil*rUXm^f)`bgݼ2"Xx xs#_JǺG5ψR v5lbV=\;V>~*s $oN<]K\P,E[WÜeQsZzN[cg7ZYuCf,iRnKKPL{|iyAՒ!.~٥QƣIp7x73?]XJ@Ņ4-S/ ۿ:ęn"'?+PAW`DFn`_bv;=?\JAо>[o\EaWCؚeYgjP[y.F?N"C s1m^XZNs.FĬB,$T$7T@5TIo>5-v5U<ѕ( eQ֭}y%`ϧ2O{-(â3F7~ W Fd7y XRRi Y0lŸ+PQ![v(N{lMC&0CZ=IGQ:ۖ95 AX5:a_Z*cc `ͤpHrK(bg7E!\;A![ *6 >)4#k'+Mɋ6**L C'\y%K!_Pf+($ JIiǻфJw[xeZ~S_x7 P n,TGGpU. [ϯ.WscjEx߷ ]iI+f*}l@],oVFܼoدtq紒 l1q!pQf:wB Np[!#JR&8sxiI Cxx2vYr8.aw)1Z">/m1E?Ek@;Q\cZ6,4hYҥu3,>[apFUywU҂87xB-XHnVjhE {{+`ȋ gg9_!vő9Vʗ!|BчLZoϸ|L1 m_0ή)N5 p[]]\ 2@o{rH)X$89cKewSZy!K&X٧UwBX'َkǗF' 3$~xCD,\=5PUW, -|-*5CQ`5ߑIG]#ԆK,gj3g/Fe9M.rF`'q`c>ju&(2@% ҍK).SbH=NZZĒqi]H/ H hC1l!4JLiٽ0onr]un7k.f+ Կ7}]|v0JdDrs6Fg:eBZJ@M8.ȕxJkk Ij?bIw%%{IyjvxJgf6T{z:cw<>IίiH~?rTڧT8c Qi{h^@u|^:QT!NuֱgYZ  ` o81?' 4HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u]D?7 {?:fH\xbΑL1ƒz N&;Ψm]~Ǥے)kn"~E;⪑ڼ Z1TV%j_8$dQ_Pi>v SόZ~[Jv?}5[gyie3ocM|[7uY-a.f2}7@kLUu8k+0"_Hͼdjhp+iAVO'p*ĨLj0vWe=KwFKe|S8u\Rz=pq>=y .y9˵\sG %F9Wa+7L %s+q`6 w:ˁņM6rYl?ʴpuN²{ePD%E( +, lU$kIjȊfiasT#1Z'$& @#}9sSb8TMLtY+>zycSSL?f"u*F8zC0̌uGqWC[x}+m_Dve0F:z(ݾO):=:Qgr'vNk1q C[H ]n) U@& .=?:ζSx,_9c(.} NzA.fg7譂Uv5R概j[p?p;rXE4z@W$1x (A1rcmI[!:铤󈻚'HGRIbcז 1hCj> EiJY\jM!voYDh2-4OYȊ˩4= EDrS #I@ZiVtaGZyO\<)^=(SPM۳H g'K!% x6F_7ᮇ_շLg=Mݬ#1]9Qy$3C]Bw4;{T,}CtnmB8՝El\I,*ō1A)/c֊(*ŖIhJƾw;3穔eMt! 4I{9t~3KĵwC PωɺKnRS:('tNsZ~6L=>yq^S[B%c`Ax* !M Z`8┰ oS-4 BBPD'a=r E9_%C64Y=Ϳze͊S8ϛyeCm KDy~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥A4at[bN9t\- 0,JmP`61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[z9ëlϼ1c[&sC"2*cp#QWwE)e~@1SdqRW0c`7Zݞ:f8GB+Ev_|YW}9ZMJ$D6 )D |zv]+Zlk|oLˍ%R2*&5+()'iZP !ޘRaL58Zڷ]H`s,v.A2mnXK= _V2>Jՠ}ީcaۄw7ˇ)z*r) n8">ڱl˄*EMGc->h&`ON Ax}5%i9m8L -$W} :Ky[~'{?}(6X}P -Um\v&jVɈ:6&\.B/y'`?A|u6/)?~ ^>?/ }䱸^hq&Kwj`W-AR>/jB%S"6(0˪(יgyԜ5- *c†R/1m/R/8J0moE{,$,Du2:%۴u8ﶗ/1Z-:DcS @}7ijO/;}䮩tW#E껋wN.rEy~>l͜bb0eԬju\nѢYABߌC'ə v^Jj: vE.{n xkSOM^h F3K #,hX2\F'?xbZbݮ.dGǡx }M:P7 ϙ,M@Vsjǥ[nnrIB/}HF"^O$~Dr8Z*T!koHbJt&DYē&dՐ5U(&#Dv҃#xଦ\ԕ#W_x}`$WTýlGOzn㖓VMHَcL IL˥CNS o  vmXaDmZh2~Hщdgbz}zqLDi(%r̸!ǀ΍x(Y9SJA5#HНE TK_sUL?LI 6f)=el fɌ?9f֪-QvL¿)#z"%,(%SeJ35A=iSWI f}j̃7LU lX3rFFiUt:Y4{-q`H$FO柃G<. tM:uf0䈥 \b*9;0 OPL )`wht| .8 3G|4xӬ/nvK\NuTeqH.%Yz 1xO&!fS PYQy(i!%Q"'+XoM)~"8\gF%l0ṚEWd+=R?y8ܻfdc{_}ޤYBC#mȓżEZ3[ 0 0YTZB3cY$̍4CΝ}p_W%[/ $F1h,ǥ %@37';@Gѻ `"܊.~5!{p m`\0qn[yس'ە+X6ߓvNVZvsEӲNh 3[i|$2fo M[< sxN@^mm_=iV+!Յ%-)y^S۳r2d'2@AImޔu8aR]ڔ5*R!fN?V]yeԶL7w'u$'9LtDxrU !9 Y#y3k»xai@cFcӤpd{?|@ ~pyP!H'!}3E$K$?֫V*i3ửiԪs?4AЪhrĝNp@*w#Tlc2u?\5oQz]u^fb񆆽 a}{d=!JWR ^/Mp[Gh)oNd')]8 ;9)W[-J ize+axg.5F1K_{1vݛZXA[Z\ &Olva禹opt83/ϺM btTHIfe`Q0=Bjʕ5H671f[)ZDL)8g.3矼){k7 ~ -%X {!㳓_8D R @@phm+Fj50q.)L"gTmr ٕ!7tqgL*ϰ=*3u"Ғh̷5JpbPh1@'5MN\f1GEHdHB]t^Úr$EurN=t'S1W/лȬZEĮI%:h/,\ B&?˹ʶd7XpD=ՂޭAҶ[F.YLnfV+iJOvma؏jyC/j?dL؆#R9P,pG|jcvZ m7&̶w z3bQU!+'6w}K<c߱%؄:ZpOr Ijʈ)eS&k|71Hxqf1dהw>q旟_54x TBG)E#[hs7KYz rԴ]q,H T2cƆE ]Nt>tn3-]k|̵駮߫R~O"+L!%0];1䃠CϴI_H@g?4 l' бD Yb&s74&aw= . "|h~o(GKpe:;hl* qMPFG΃nǼbb2 A}jsЋ#ӧ"̌e5JDΠ1x_.8aUD_YAUٶ# Jmp5RTdogOV(M $}?2ؗ;U:r&g|D5ILQ%ökOT)^7 f#X9Sf!7t\n P k>o{W}𑊡Z/Gsc Jp xvǾ*{g"عI!N*c@AfGI)BskDUTZey 6sj(6Aa(v@f̃l{1`zŃaiIqGke,ߟ1(H7x&LT@E|KXyC&܊xH7i= ~F{|R|/UePƣ8i +k egQndi22VdR%߼IB[q? ἄC` t̷)P?茜,"y!@m S]@5~1\{ nءCLSj?mOnd>xif;iqRcx L'*j܋ْyMDuNDۏ;wSy4SP8ǔuS!e==tkl:?3x&;$u,0nVUFB; t| Um\X3*6CuHer~H];Dp t,zYfn8!]I(U|O[_J9xyIir6buV҈JP~B՜I͕d(;xuftμ5H˺"*^#Z=<Rlܣͭ&//&t W 4f]6;y4.^%!Qpi:V)m+.6fwqTJ< ͇ ]U< !qjnTxH?w[-y8$d\T'1FS5 ^iSbF^pR2y 8 :/zOX<*gF#+_r N~Pt\J8r\Cfql?(VY =HfuGiѸe!v0ZHԦRU: '"Y9ROhMTS'HBEpK~g`;ٸZI_~S&~wf6I&oAnn}hv\{ꯁ{ixWiIF9 "y2*(ʕu{E{M%ƂcgN? Q #&Xuh!#Pe!g.FSrW Ț7*X]$ҖԒ5*%YeIyzȭ}0'Z\-<%bǾ+i 2Y'xCl;Zg.KBL>~Vk!ŷd/E#Ult c?/(%,Ug4?V A(n.WS[h 䎙(74T5l靘b Ymܙ >UXҽ!`Oup^3:ң^b,+̊Yu[KɷR4L$lx!NFF.ʄW$`*V] hJ䥴lbusWsΫkyꆵB5! _S oo-"1(O88_"fsQeUywO0m&KvurEdÁ[`5mi4 t0ֻ?A%nZ zb$\ IhmMM}1567_~NESFUQ'vjڦs{պp-"*w\ԙѮ'Ǯ BE8%cmD!Oԡ26br"d'Y G5^1#xZP}tV Zէ6N%’ D8<^a0~#ufYZpJRΏ|)JPbũo=@߱+ն%: MD;yVF م{WNGSdt]{_T1jcZMWPT·x@ o< ޳| /4D`,(&:1J $g7=I Q|C3j\rU6;S#^uЛ|RgA7˄69 ,'=DSQz4 w+n8!T6mwE-ZZ-8˱AW)rQ6#7>;1s9 4Ղf'dTfaXX |©~YWq)S@e-ᓙ8W˶F.jktŸ8*-"d^/Daٕ䪮H@=;ɼͮQjkH Ώ]s;n+:JKؔJדmѽ?Ox0j%|fqp vsĖ9ߊ@~'&.L)A\m"DQJKIj' ܏OcEWX˷Gw:G? p w=z!q!2M )z3U[Uw[zLl\nZЍ\t0#ӞVmz -Z9xoi/DeZRJQ{#rq yf}׎*<tLb$9@q$E)v2|/Bqk@g?+Æ5"*/hJZ?(3mط4 kes1]վMrHL,4ٚ}Z?o` @(mEbW})b ΃+22#lf|%qYc|GgK[YQLa WBE{ Tx %u5p=.7igݨ?Aa٪pȱr4T-aƞ҉} R*FzV% ) uwjLf=_E |ř{N ;@g/͒E63:G˴E \KQoPFEUiǞ,S+%IH}eJUz /ѝrH+EMGYrN"ޯ/i$-#\;m8VGRBƳFl~ۉlC74ڶD` ֲQK WQݣ:so1=IojKJlOAχ2s}JLጥ: !>6OGp|зA|0\ 4̟V_*{`,{T"8*r!Iuz>*lEf9 yq ;AAmcV!$j#`2"rA&+"5~r#TWuR')R#\~mR^{MLkg=9@WD|]ϴuFح̬Y]6x6#8V]¯e $F$.Q>to]Jp54LFW9"Cx_# *8i'5lyCT:2uթy-}we7 7Bi9b6x>ډ$CMnm_-R0z>)Q u5Kf> Ph%JH0ydn7Q4:X7t5R_7 t¶蕩fBA $'ywD4VQqR!)$.PV'ziUg'pjE9w-7ЮrQw7 nѡc9dɀ9l?u!v _:+1ѼAvjVmT3O+:5F .[c?\v6œ7^mmѦG@8?uԧS@)<il*y}(C-B6io"Ni#F ƝIYEbZXHc bNse@?+2E怍/tMv1ÌCϽYb1KS4]OcKZ~m lU I7:L>#7YkL(k9৯;5Sz}7aZr> 3$Ub6Y"鬀L>y-k#/]4L{U)KF-1'"{' Cו}D1vNΟ4Դ$%L6uRϲ~СM!`6Be1w-n)sz#Y )3?醳x{Vd ~_^ek6"0h ♳ e'Y9@~}zƀ/$9圁+4W ͓Zsi0h2ݫ_Йy<^?7D¸r`ۘI TpQw}; ; c[T Gri=bz ȭOFLoɥV%&Phcw[s*+u]}it3ꃰD \ݵ?(#BJ ,-0$ ;*+1SVu1si[Lp$AK? 25-\6{thκAųD[W/KH@qnWNsn>r(wպf ~Q4dEe 'o/`nU`ǿ>MQf>TK4w> YӰf-Fk)Z5^"N%Lbʶ5Be:Փ wwqJ24$k .LjEKF4]Kj>]^%vInp[30S3ae\Dy(לTpt.޸Wu"bqW4e u&y c):事H ]~ȀeMȜws|odNfI4&S3Hh[%o҄$B;8>Qʏ/%1xEGBg/WRy`GެYJ@c! # (h$!WaajqR S߬[d7Kq^??8};@Lieʹ6@L>t)&[ /:U{0)]enw,L)*a$)}f7˥S 9F/8J!/|GtDg~EZ@FsL 8*ۙnUB&n79=fEeqS_ I$ uv=v7f> r\E*o>&o}^嬙CaA2a Jlu#ue_Zuj&ShX]\;F\ƒm{lM*X<:<>(& y@4vcnRKj9iX[!9x} K1-7T Ӈ ϘP!uZQ}H]fTqV-e=R' : ^Yϊ8>}8n|ŐN5ߵ@`=~{)x::b7d!YtCtܿO?@Ԩ]4UۙƜqAK@AyZjw#MI_5tf2M߮r^ F,@Is"\NSH;ǫU|=`k_+W?V$´\z|xBF^ƍy3tH\'*4#m# (h:g#eKn(ޜT]3F¿ 7& kWjeΠ y'_:yM+$UT5~/XRS`=%Ŭ~FW[Tw(X6$DǤҦ'w(H "n?Ρ!;c8 ȀY~*Zej[.N{,b9Aٷz3+=k~~L{}nGSH:`mɕ͈;ȱ#:ZǗP )d\Qp]I`OEt"ؼ!ܗ2±.ToZOfo@A) L]LzPHWIΦt!_יI:ѩNڍawxjd%Z UD~;Qd.V4Hۮ*tw'iAul68}?04f)[=,hyaI͹Jp1}R#((3>d{Ԫ;'yM7@f_#`z=*$KMmnc1%-qqnQE}ϴD[=>*k2g($Srݦ(B$Fpd>a mLȹ+e􍊛S5L{ǐᑪĐWF6&ڴ'ўMʃӽ894:8Mqh/}TeGJXB{m#6$ەřXB{fk'X\YhkCr-.?`迶s5>Fj>^v gVQ8NЅ Yk>oas{TPL dw2c(JD-Iu9Sp h ?UyHndK' *AIҥ`]k:1aum^t.gx<,MrK<[õuۮ tUTWRK*F"RX H})>T6FtR-#HNrck;j\F2 դ.~| ZɾmHQxwr)J[Hhiu ׌dLo&XHl49C6yp۳: vP+I7'f(v6d\bsYVW w#HtZG[kL3d+f E@ OG($09~) |W>m@d=YlQ3wNI5CzZezKC$MRh@A=jXfQe:f/w650 b%d ;i=vP5y"`1enNI"<& Mgz$wRml n}N7 0vu%(:Vu\ x #Cx~G_t!%ڰdI9m^:żL!cu_2?|7b=Vr&u2poRF#3M B}[ S{iw)sSJ]?upYiێh c_ϒV MDD,,lIvQZ728B)+%)'`VN ݶ}q"'˂d"3M&g9"AU\Pe5L&2N`&0qȲ|//`6ɇsSQ&GU=QB55,OdN᤿YûT%*HRT DaĝL',E%&7 JB? *yp k pzN*AO[WODGԦ2pqvjTa]revGsD{!ޞЫfAQ +^S+{5+@v=I̎[TnY$`pƙ >u42</K>!G34 2JAKpg7 [\Uӛ> ꠑ4$'mh&kq٥,{F}ҁLvIi<ʮ"Գ_;kHk+-c^4dQ5v{gu.c }nI!s,ܽPZ{./GN~;_qV;@G? ! *x %&<,;s%@S5gI>mڿZvpA]ZΧppl,q}k5ϲw@UWRq :". >{CYughWZܛ 8b9ܾ8o4eƆevEti9%jwNRNΩL`s QiI,ʥ%T6ZT躤0<${r=)`鹫q.rVN5TO|0{i(8S&`Hoeq$LVvF3ΥڱoZU<@w `i,( gAIvbKWO/E۵ m]i%}CVrlB`@z.%Uw/"dٗM([5B\ŔhjwwZ3Ն+JBgyf x ?;Q:I!?3+ܢ1Fe\2 *444slHt2Dz7]q9k-ns}Wun0jnLUjqyOGU'mׯQGPyY%VwcD[ PO+.J5#@rɽR6Ň}(a=E"cH~ЖVePT7I^tK/4gMJJSaU-PE@=5yA+ن,T" -Ixnv:T!gD ^՘t9h@hB+sۉ@ءv۩\?\_pg43rwL Gibdf2q2]'R  /%symȭO;>Hp{>\{_keAkO.{iç;o:iIΑaf "7v jgz y>VϭՙA $(>Gzٺ6y1vGjerQ+9N_IbS+_7dQs7 hX.~>K-kыB-odo =ߟ>cA")=P;T"4_I_8/Z#ОdC!ku|!GrFmXT'^`GH+fB!oε%f5Sl<^vȺC&6I7&aKǡň/Aۦ*˹ /qED=3x75T2pm\o,tp 5A.C U' k=d)u7krs790C \7-Gjx?BKxX!Rdg+y=,y:e֩,O> ISIRgu\9j e/Z{;لe_nTԘ-tb78a?8 $#m{w(N*z w |gOc,sjz/ i 6 )~{=iNĘ??!RS,boXʀڧa"F}\qzE+:f23rU;Q֕."bmFqqB-;v%{ !"< t˖lPxlOjDqRO5UkbvVY=GSs̬;ztHJQ)~1O}~;75cŸX xLOtp5; W!|vG\:i U"2E@y6Є_ GHL7ULc ru =XMa3#jt͂fasHle<3$#/K2ȳ yuLؓ΅lhY-Ę|MYD]k"R.5w-؋f1a#Nl0Y/'^ʇ|N"CLoHhe?³룪Mmgْ)ee#.~4YzP@WYu12ߌ*ṔDr ʈ۔*@\3Efl Ik -YoPams9 4)N=z*iX;w8Ħ8PW`Q}?'8Mʘcy;;@~Zqx򮠤mV[j4s#6 h%G2-uɺYDjOh(ɧD& Y8zYyэo|\Gj7sh_DY ^Gӌ0yzA=qHiXVq+EA@'9z/ga 3_I484cY0a3w"mpzt^dq-43&ONs:9XFkHp>'4TK61TX |)0cљSK'pãKi'f ( oe^B%2{ :AKfwRъma+ N8~`²Nzzgfhk9i7lG*P+ ,^ V|!d\y?8Bx`p<8ExNsHJL]ìZkhy@$WqAޣKM_/fOJwh)'*糐j)8@ k 2(,ÓeH|WW"~W%}<p i6Zl؁Iu*;#?1Q:j/qI}M#W ,0{_EGo4<#'% yn7kw&[U&Y]zAVhڟ$ R DϽF~"_ EW\:e@mbp gз)FsYBJlԙ76Fg"Dh ?)3ϫBU4-:B@)CM99"4>ܞ 3j/T? ,[|7J(IQ7.7)5q59Aqkt&f)$Nl9A_Vz!vB2zՠm≱Erzk+t?Em#cJ!tR6myBhc8ۉCTZW%ك>ߩEId8C$u͎8U+1IG#vMf|*gG*‘CwqkW?)\ LQoc[xY-Ι=`՘n(g'<_%څ|:<ᅦN_ǕUlW:<avyC\rW$~>9Pzz0K%3 KϠ]\2c3E>0GQ-$'8qTHΞ'x<H͂ߊ eM4UZȘ%c-O ,Fאˡ1b?B2v{+9ijzXV J,q.ہ'$¨Pr:;- I~:tIUOͫ4c2O71!UZF+k݂mR |kąS\ZY);ao~6.47S% 1t@6Jk%r6gR\9^%FᶑI,]%:-bDX=1$NX~m'Dn* ?1?)z$I7er:fPcd78W&. 1h>v%WX`̑sM04=Q~<)J3v<"ֺkΜݎ3EJfMvjĭ\ZciaŀapONZ,~E `||-yZWɒ~m4R#z/2_Ww3 9+6,~n 9?hPX>V5؝{p9 c3Lݛlq!$ӝjgՄ=nd;-bZA^[;hc3*GZ4/kǵVn?hi"3ŞQweƈ5p=YOYcL,QƯ &jqSmk"{fQ{x0tW1G ìkmuo{[`Hg@_dGrqj+npyΎ ]۞ppq,!ϰ?ZHhfd# T8;)]v>{ГW"ٍ6\S~^>-7;1JC?hMk&c:g$4^;( xZ{rC7|)u&VN3b 5Zc#cSc+*NJkuRèufm]S5т&-y0Gbbd?Z^tZwjv@:uP>cե]sN=;)'sd7POwܱ 50 #u?x%P~ IZu#*l%bzi⥬ZCGqշnm:b HXEE8eX*UOxͧ^w+q>rmJ%L/dXo"7 |rE?`{)ҟ7P057 ='f8f="hM1%e,Ke;g\ֆam;uȻ!M6Iʚl4{tv}&!5eͻ2a,?qQBpHɓCHv/| k0|1j6Q&8- D,̯'pNEfL~84r`cbKXđo4ު#b4Gpݡ  !5cv0R'&(cIRKOIT-aCq~0 a)n#"49H9)-sD[j@1d)8Ms{tWGn1e{fi0Sd%%̦^ٺB?V+RJ\(W&HsĊdW~;eefE.F]xk>䜄mN/.f\W\Dˎnjx 6Qݔ\zb0RayT% ZH=]64CՃ9'ItzEU>UrZ]?{*icD3%;ztk(?iűT/&vzѸ7Rϡlϻڙպ^vS8\YB|ųqT ێ_7g2>^"pM 1Qq7 MHrЁMwMВ._:)p[ ~4# PM2F^\jc/eB]W3M.xD`mIf< W*m5d\j#a0,3!_#m|or<ڜ0mP2(A F`(i9]ox/B#=n q#M::I9Cyywp?ݭrfIo]Қ@Q]H劲TEGߠ\ҹ*o@a|@#WΌf6CgҩN h=+>gB7,:802NiW? @9r1Qa-savߖ羰]W^Cæ'a LoQ $wWN߿Ӳ[l HHR K jRHЍQ 6\ Bj' &s^̍;#qc@-t#ג9`i 韅ĈUE4y#kVggn"F?V{FoUKcL4GU^5$,. 5̿`Ho!=NދZ >!)́w-#"b gJ54`6eaqjMK--x0fAco3V{bc&Jk>Hn}Lh;xzCp+A K%58rrDiG'dsȩ:37m4CuUBJ f̨2lIyiϣLPh:\\!7uD2`_mY`3B)I+H8Gpȹ49ƟjOgE{ }oD%q۔p$&IC5Jd1"Z_5b)ڌPҧZ}_-1+34RV4ɔ08ve0F>å>X QFcɍ`ԭxρvI sM:4HeݐO>AzYQ pQnB(b]3S]5?y'R{c"σs0.xZffGF_˺\0ߐSZl׺/IО4ݣKܱQ<\B1.1u?eޡ8!4(Q){,i`@v1Et헆Ȫe@ u*͸?|ϖ) ]cՒ%8D -~|LJy#@MI`#t>険vZِ+FxAI˪1K'ze= m?~kr/)M Ԭ] w?G&Ə/'MNm|FX¦)"XH#B<i ^W6VC%ԼK] rKv>J&| Ȃ:76#a^ i/~-z.=iTԂ0O#/M ^a O '2шN,}^1\>لpcFLH%( ȏ` ȷl#vu6RcHAUS663n `Li`=`44j$ k@DAkhImKT(9_AX>pF|ddіuLQe'> d%KT![|"ƣﺩ:}v(#ńQy19{7!h2%c痧ߗpP )訶(@B¦*]y J6*#sfxU`t %@kأ0 W0T:ŋpSdrx'VÒ|ՙ R%TYVЇycMZ{vq*Ne++9xіTʌ0I|zTX{H|1?i2Ao{82:E&>8q^s:q4p'ŮYd.P6ФBrXUYE#{4U|<ĩ4mS/6}M!w3;:[&e ؟K׿5#V5fɣ{fDH5xvZ,::zT頢HO2w3p Co$ph/;lL3:Unl'ZrNqVU +ѓxA80% ~7H& Sl[-N*To)wA>OQOg]U|2/w?g߱vO~8Reϕ:/Lme=O0q#'0aAbA fX&˄DOpImPR#Wd-'#3eW$ c\t W0/ _+OL1\c/kD`"]ib7lcMBvŇ=eoIP~f 3# t&$KDK%0O9 ]8Jj|M\dXrJCI;ը/o x蘵k9 o'^3|Q٣M( |LH.z5]KՒn~u':<9Vyo?ͤ ͦ}Iʔe:˨i )eVgX~:W7X(ƞ!WJ8&}DGy=<җR[ZjL¶wt. g{ 3Cs??j<99%̢YrzX6Qcu>,EݑE3g k~ї0>b{Y屨Y:J!Ҿ3vfh*=U &W Q;uU n wІ-#C$j\ZFbMV*LgPݪ"Tuq[~Mh>2˰RzzyR'?1q9[aJGNЍ텈( :>%JOi60b{ [!UfdE]rm:% f詙aˆç|/۵x ?j̍0Fb1MmI: o\@zhKTgj3:ԡށ#Vt/ԁ yxN6C'4gXZV\_wq+ӈS(&ic:~~xC\H^zB!p!j*W%d'3wjUG={ A3:ڦDٻv@>o*lY,2GGB#N!eFGtxi,oQ/ !+]m;h_Mfs2]# ܞv_|gX&|D;ff\yɥ`` WQ !Ee_i;ϱ[8-0LR#ѡvu踔qBx~11pzrG5*oIAbp"riLi1]+ā 6 ߱DFw=yR萻h1 P&t^fѿqbL  \F,"X.}4%QP~qӐ\= NgV {ˋ#* L k!$gEğ?*փzo($C|$on _#[W5Ƞ'>JDD?:3!hiuh~'rzGpH!Wmqk M|Qz3rJS]}x'JZr})#zmXhs:\kGx =os#?Dp隑zbdh~.,&ip ]x`[oaЍ:sNv[̺el2랳'zR&*.3 [ˮDNtEʦ3 zaEA^O8ek`ڴ-l() qWߩ*k;?k%+#',$_&b{Ј2T Eab|ZT3JBF)ROjVjXi4 c&Y48[zʙF>Py¯L}%9Ydԫe؛F j&b񐥼y~;KckfQ" _mmڠHWZ@bGQNa2_ZB``ZplFW`^N rQx%nM#sF3C\m4F8Q0;̤ =b#OьKRǬd,;d> F̞s1P.Z l&SOLH^.z!#|P!MD]:g]- #;Bxg|3ܾd;Eުw7Fx)5p Omz 1H8Y`='Ãvкwe_\ }L ̇TӉY"":>$ ckyU$3wC^#~ 0eHgUrrZ}CUnHxRW\Β,|2H61"eں|Jkѳj1~{HJUCj RwX\1QӪٕ;b! \6\D tҷ`&^=1n5~p!(6jr/mw+Emgrqd}3RNN:ҌLf7aHhZїD^ k& ^ %Vm\nO/NN,KRAށ{lA{)lXVTVd| RU*c Ϲ'"ܩş,$hŹ0O؀Np1#DǹBB 0v/[QYL3έpt>YG5͘g!N@u#ƾ-Gq5%.7'Jq LgJ^Pܰʹ#?% 08[3 NuezZ_}eH3݁WA.|XXX>ٶ~6JRWR C^h^8z}̽)X;"߯btweG~@WQ$NAm>6>݂-sݜ ]xF eT Q6Dm41uǮ~}}iaԅb'VHmSՐ׸!pX88hϳw3i(vdan?{m\X̒qi aJg\.vz2b.!f^H'ңD vXVuaCƬ&91)LU[`B"4-O}\qsvwN_ꪩRewC76P.L'Z[pl'eN^v!>Aw4;Ɗ"y/4nB0 Ɏ5|T JvAT$QSsA '1b>^4L}#Y^|mVz>ެZ)Huxj/Z1pMQӑO W^]y_@8_ _㡟&|po]O/[`Y8}ąWAe2R[# Ȱln~K79!RU0+#U%W $|L ᥺ם0gu8=VlPۥ7\s?o?~3X\JU t%"'v;я-C~^Jk+dYOOȨ[WE ;m]mVM챂68vItpVlhA`}K[xYU<cfc,MޯE/̗l;!/Te)*7<.KS%9[ⷝDȦ$w,+m,n9 ǩte{6S?FNY! >)u!7#A>{a_ g@ֶF$iN?@(AE>#(C?1EWa83gP$ĦR=? wԱˏbpFt$IN5U9OЃKuΒ9l{H:(I!5݃>/Ww`$r泩Qf!Ζ#ׅ,Yւq!y} ",ro^< TXh[4 HL6 wQoMƧi>)JlAHRed7Sw;dT-H ]LlڴmR_Y3Yub;A00?=$}N]>Ry ܣIe>X~ ޡzo!VTd:x߷'vd JETt=.L&s (F,AoS +Q0/Su뾋ljI T &9>I7UcdBuY bFT7\WvGN}ABmwx'iB~_=*]^ᔥ8g_gvBK$ه<['# F6DO-4AL(aTcLJYGiJsSCo=a=jlWg%%R~x:]~R#STiIyщZG6EVy.OMb'!+e@0{1WZ4x hq@k !386]A9U0 YJ%?ܩkkM;Q (Wa$ raH$6bhn&KQmَ,DcC2V5ш#Ge|zkh>Tn鈿SĚ(zq`D%kV\ TrgکAWjh̟B;;(͏t|D =8ejkf* x[@;i(X\ltMSIVS#+X=ۣ9in=ܥYi5*:y*`9i2ڞ̕hkCm nRh2+2]d6ɯo)J "UKCz'+cx&%3mO;;, f 9ʬ ?3o"I}^H IѸLHJ:31YY\YBLP#^ á{CR?+1hoF$a[k6oΑhaɨ߽<\jyXQ]{Q+(ݝ=p`-w =XѫK[}}y¢L_ff=t\X}[ajչ&HHNc5"$3uhx̿j~t&dp̛cra0n-:VoQ=Nڡ h=vdpIER즂N2L!'tV$ F9c2Gc$I3,GDG2AI 1Nؚp]Tv˾k Ж߂ &e>Ҿ0 u1t+>uto:9.tR\naJ|N$˟} krY: X>[bMb7%E{gc`OI̍쮅g=&GXj$ف [}5P@խv﵈A2d_r 8/צbhURG _U܍viE Ŷ~DV,,E,/~TH|ȯtR/["'6x<8fFVgx~QfmjqrAa"a$\$3uD.Xa׹q OYW;„(.A;*z"qFr.g?(:͸e/NQ"ں-6l"#蔰xys)յ1mzKα(ug&sx$wu>e+Tp: INe.R蚘 Yc\J/Zuu%e sgiD^dVnEI7ge2;:UL/%&Q/iSXPKik9#3R94qc" /_& /bBRw'2d s\sgF)'ciբDe"OKQѸzŲ_HOՑL9*HLq9Q('If]vnk"5>z#1%h4ʜjdcu~}c BqH*5nMJ>,B6 q:ĭ7{mH}.͚;_Yn4>}߯ʩٱ_wL[&PPUrS!5^響KH(A%uqgdslaz+)\o?XY<,YhwzKCRBWc\v:G&ZT{ ^dd8_42&wPVpD}%^Yo81\4U!45_,DDL-4o )>a"!gBA}E1EcݹVob0O@SHz{]∷SSL[r_/Pi$Ŭ^9e=+n-Tz1 H>u53,o"x"7OEFXG gq8tTt 'ݤ;8+ zg^EE].җ\X.-SƮ鈌1UUGA1vBu5urZҡ5Ӧ4y[-SgچK~:Rԑ?\rRoUW!S Co>\4bCGhgCi F(@|},02U˯FqYFKp]/-ݣq Dӿ-%ƦwDNM852cDF8Qu~ M8 2aE`Бnl3Ac0Te*Ǽh];N>=qb按j 4^c斗gg,Oq,]\E(-䞁Q)K6c[ U)1;o$ݓ+:@b%ưI>zNw$DBY?8.I4w ^pp4f.yǼ墂UV2@+JA\B/M N^mC4r,Za5CwJhǮCr,Czpl{Wf~2;k JY~Lw0 uҲ n2m~/,YC8zPc;mJ<-BMXsN08@^ s7;Z|$@T%L^(M][XXFQc,"7q)Hzr @IX"/6N\4 7cŃ@ZoAΝ7V= =ҪdύSp9b/J|<HZw|4KgYZvsyՙPJO>ĩf[C$HMNE ;N{3SVFx[GêAER8KHpu=SdhdefcASs,fveqz}fX QJDjUB!KAf7cuPK>D[~Ha7rΫ(aFEa߭f"oAN2QD( 9j棁?`@T!Or,) S|̆+Jb'@,U0<}XιMJ!ͰEY+K'"~˖kE( $k2/Ú%=ǢA[eG;\h{nXwC?t;">m_Pg -Bư %ܠ5$&B-UnzVB&ʼՐ3Rќ$F1B6 BPEr@W~/J Gpw hn#A7Vg?m8P%#9 ThN ;$%@,L>H'K…<WOדM>}},)ìڈ B9/E4~%^E+y-=_K0<9q9wل3˙ t)Oƪ^7(В"(s1W#6ի l8azEf-5G8FkGb,Md*tDZGC{R X]zEqOm7t" m Qr<:0. ܭ />b9/5mN6q s#ɛZ9E&m8zhW?($0Ə$*Bv]zpDWC[epBn8-r*jH]߿5`#PCtq7/;[NY(qT/$w(׻׍gWE~{ O0 {Z-+_ŵ]c"=pn@ĵ?%XMmz-c$l@[*i߾>:[P>E3 FaƐmd_ OE' zè\GoxsdsGظQ2z~hdӧy*W=y;qq}9zBM[ Cc%[9oWM,hjNJӗAK&Q?^cDmr6%6*adW^7w( =Ig$؉ ^!ln .IhĖӦ"GhYj&i\?|\['v@:r{N}-<,ݼ7{ sM^_=ڇ; D}硤?5==1*{&|SY:hpހ鲵1\|SmЉ,4 z&Z) *Lz;or&C`\la`U *: %J%aGw@x83A i\69Z3)e6t~ѳĪ<%}>`vgS4g}E8|ocNI8( ]p}$ ݎO*f^[DdOjE߶LXAʉ&w֙3أMhWcc-fw Po=!*K,LԦeة*@y'he@zȲBuTkRsxb"ZiMR[A7s&w!D)-W΋ڭk+"y(ަ ɯqF8@$Ikc*zJhpi9i_gMʐOqq<9ꄤ)J3DܕFS8v"ibjm݄Kp <{e=/̼;}^Wuy鉅:ģyAyͭн9c^LzUb:!w-<E14u[DNjcD~MaRY