SQLite format 3@ Y.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  1ttd ] HOL-Metis_Examples:threads=6elapsed=17.283cpu=68.368gc=7.6287zXZִF! \]ŗ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ؐjl0R0O+N(C'?&9%7#6 /.&        8w-O ~ = K t3* h $ 3 { = Tj-ye*B f# Q <1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages8:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup791;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files6?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id5C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup4B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files3H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id2?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages1=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup0<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files/B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*J1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages)H1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup(I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4'I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3&I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2%I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1$G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files#M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id"=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages!;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup :1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_idF1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messagesD1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/filesI1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_idD1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.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 p p1OC 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~ޤ]#gYZl1MA 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|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!Ap|3S]vW *3Bc󷹭)5N*TS0VaL TN z"E: eCP_@Wv0i:y|4 2X fbi6js[#i;8ōU=l&Tv S1JG5ZdY/}TK!)AEmc' cl B! l7vaՋ!2" c\^ϯO%oU^B4!)1ˮfoYz5G =7F] ܮ-Jj]3G&II2N~ZBJl"'Y07㱧2҉|SJ|XDo  $ui^ jE{#qSa HRkՔ(5b<^g68g'̵Jҝmyp2-b2[*@)/S6 <\MReh D[}88/ɕ˩1,̓3?\ŕbC@<{ԇ&#!z0.1|R)v ,u!g%5~hwe" _sAyi. {w 'B}c!Z{?'o k230 Z7XsxDzK|&L5޶]G.&İ/xF@3ץ:[( zׄ$)o^yDt&w ~Q݅xo`;w bA=Q:}DHd`[Ϫ=*FLmUPׯJ1 lI]]4;-Z*^d.A`en!_}Q:`@80yrSY zn}]EM7-aM~pg_}$gDvn\V*;R~ =%xEbQ!& 6p;xnև> J 6aܓJqD=RTBAMî1(}zɘ{$uҍ5JR1 dY{ 2V /U5I( Z=eLvK٠fkrinO@[!+{gS_ r0װ+ 2 يE:./#y.h-70L$S++73bf*bd `v L@D&ED#XhwQSaRTeT7a\9has(Nm``l5AjLbܿC? Z2qoQj;;O#S1*-b^2{nfcr'Un=$ A#akk?O'⪋KM#E:R=U3Q7P/y༱feA5@/ atwiE-& }=,a|Ou"lM{m-EdvۄD"t{LvQ 4岙xO+ 3m-McPn*j8%uXÄN HMvPљJvQi^ocK篰kP]G>3E<.9bE #&*F6H֟MV%ʏ8{([ě)L~iT"@|߁~ʹ4]e=naلr%FTS㩔jHr-U/МnvSGJu3<0")6kvǹ"<k 'Lr,EuiT]拗8/LR(A~1UyCB>jtW{Xێǥ/(+D6 a.FM|T13 1a@PFРSzF@F>jI,8ŪTw <ͯ9铦s=V%f^o GD5^@z4?g*;A@tH,ROA#RF'72bߠl~ϲO7 CA7`'=-*蕿so@2g I")f`Z5B1`%FJ-mi\%Nv*9 tc/"#/r֭w}d-JܲIpMFjFbTVKB*%FqdҚyOsC>bJ@ܛ4d~Mp*B90a#݁$H?((iK%G3R B 9֬^(pcj8!QA[u aNvhVe]BY;bFP7g͈C6oCFB es4~&Vj*C1Z&kf F4=FӜr֒[o30|i˜zϡܝꇇH6:/DpghR<$,5=GF]PN1ks_n6A_<7LD.%I:-jq,\ ]*65w1d:]jA/ZqD˟TyOY\vH`LZ&@Zc?^kyg#Egq p:J>)of v3S䷏W~c-M5] Uݝ[]pμiCڮ߳8܋v5 p Ln#a~~CU*ɑił ic'_uBsm CLU('ܵ CI=oZr|H"v0]/XOJcFї2XDȷ`G p!>Bwş v}"|#.ڒŢFL/?xS6Q4"K0>{{a Ͷs]D}XgSoq%]M2b }[횔>Wwl38LOv_M1M[ZłC[Kzem'ŇACh*o_A3v~ ʂͤHދ-ӠfPrȆBYo ?%wf/GV<@QSJ@-p QL k4)/eщgYZ ""p1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id5341O# $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̢Π | 7L6c#FyWF)RgYN\'[D.ӻ᭧oY/Hnd[Z׶݈u[!: ǔ?J/5 _f74DB`z/mH#kѕE[l̗˻~a31wH)ZmɮNY׷Lpn}9>ΩfIW'EW2DbWLʪ XAYA2#< MM30=dt6~-G4`,tu\ "n*qm`GJ}\UK.[-J7>scs FlġX8q5Y 0(Pۿ:=`sǘj5kwp[=Y׻_o6/_mn9JM l H)Y6yF/r3Df-twTWw8a)\-?RS!Xٶ5f$~pI1a>hK6;!>l7O 2sgEhܑg%˿Šl7#K\D2|3vG2_0g6bߛx3_^1"T1iB,G"YYUj!)v|Zx,?ˡ*RjWQ}*SǠzk t^@iAk\#Z~- lW[[E퓺H=B5.T Τ086~ t@sX`X';uHY3b=upVˤX\9ּ*KFyYu_"?3sb+*OېR< 5F#3"6NP7o'Kq/=)H󫓁4g]L̆. )7ZsoTuӒ )00$Sd]kT"8x8øU%/ǂ]siYLܢy,M#K:?y5ef;X[hv)WjƵXI8&sQiW;[߹V{eu4Gu >1O# |HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1g!#yLb16-cZG]&"Qr8ȋ)\ɀ@RU.3*.GAz]es߈T-Zks-T:Vպ`Gs+q7 {mB8E "1_Z)f4V)Ǟ73bM~O/,NZmz(GpΞ*v1L2LwHzj"x; N`rs[v&;%طz@q¤]PN'$->*hT5@S=b8#CjqW> l Rv;6 nuoʎ@ ]+dq2k54Y/ԶNa8hu>?#2YOvĘ}n.+'xZNx f:[Nyfl93ܴ?L{Q.r2z{T6_^rJҿ+*<{dx@ITkyw=6aוO9E12ZtmtdbQR)vtI-J X *?5HQM,=IMȕշPW!fu6V_BT+ppo&|S|0#͏KH24d< !ȵENƩZ°մE!tv]NO6X用Kw@'0Ŏ B;IQB)luC.nK&SՉkјDߖ?GfdhDO%\fs-n':8Ds2&pBTu}09YQijV~KOKM8RB8W@ߝ;QuNo!;AĂ!Xf#4SkUV?g$OOY2`Q|wTbǂEQxSr21vʓ`VhCD_װǴ7#3́9f q!k8V)y-GITbQH<gb\; kwDsyv*JT~'; I7"`C(jjߌ_ !ո :avmsބsuebC\÷CLE&Pm!e\mHKQ: [|@#됧z}S* Nvq}CBJ1S"}Y4T:;_1EvmruYE4vr?"(MDs*۲› nT-GIf6%[ mH-xgIhyRޙ&Jlݴ {[.?psdwЕ&} p{_khr?hVRJ*Q#0B vZpZ 鍃hY/c>ODJ 5zq00 c_>OTa-c5"9^$A}.J%Ȫv%MteYcEk/>ScYc9r+Gv FNJen%ߧ|]2(0xZWG~1m/^* Or tl:RX>By,B.xƷЙ!W._Jʄ9ng/v*=\hvܜj'UDswq_kO?F|7&c)EmaNi:CzJ%Ud19s96;4*3.yѣU?K7έ7/!j18u uqLu(!ҙI3&gFƠlԽ<- R}SBy\b?{g~OBRQ&:^jz٪<+hX9z0 xJ= c/]PI7\;6Iz}Ns-3!hx^&Q>08'\G=jyl yUW*jRZNP,G2ۨ)R#ǧCgh)Lg8 gC̾niZ.IKߧwl?X6m L7S3P =eWYa #cO%llr=3e#~;68<&d,2a&-!;Ìt&[ʼn E~  _Ci߀NH/g.1-&[MnAߜC` 7>7L}07Ϡ23"fQmߤ9=0iZփ}r^;: ϸ]_9{1^YXFKx{ϱ ?2=Mb~qQnn.0{5p<>/<|k$_oU>hɇb&b3Pd=e>˩^#|8>J6kJ=L8QA,HLIU h"n<hX\@F{W+ EBa~O wZ´uwZ͑7WbI{⓵dsMsOz,r0xn7ھ¤DZ%DWW(njyX曇L{6pLDm^R]5Q{iY]oK Uc_܄)9˜# Ζ7& ;j3Y<)|+yd䴱j3hyM^41ӣ{z ] ` !nEYAdMCr_uKɾe#D7{nSg$>nsP:{=C!X, Z-|:RcHP]sxSR7ࢶ#ӮbpɤtLH:dwU c:ÂZhY,ʑ $ @I~9 #x9ƗZid4o?9Ϻm&6qV3:+ST)v4<ouˏF;ki/S3: qcQS5NgYZ A U e  A\ 1A# DHOL-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"9kGī pIuVE@Yy>|3|[?5o:S%})(cT&n7P`Dön(q!& r(F[HA&Z gT>xʦ9;HTg~V гe˿OeeB Xk_ohɳʕtw;.b[XK6!)^I8Zq=a+-{Z2q89DGp@{UJf.!i EG 4-L$\\V.%/ˆbCro ܟ2De<{WaŦ +Jn{! 9_pd@=iѼq& } aۓ9 20SNuZZ9TYcՐw|ڠdΩAN8$A%k/[X MTcԛwiWgu^.Wg -eRnl#rciӷ.d/X\{d=:]I[-?̴>gݟ͓dVhyeQj?YB-oD DZT3B,i ,ߨSb+]txgB4(ǹx i=N -4%sȈY^z4dL\~~S ?GAK1)uju(&wB$9*7%6MSD3Y\t,00P%|j'v:_ Kǖ9flfq7ugUw,1$ *i-e;F[A_e@8d % [hnҁ"&ئ_,j KTjwW Q,xfSkjz.r ^P>p,R0fCmD|-18uM/I1Eմڸ9h8{9߰QW ypFnML}AL˖k/Jo-<wX7\[2$Έč 4qĎVN Ju0.4#>\suGyGk*z֟9\bMA7r_yt1!@4_4Qm#7+\Q3؄cNkn5GG?Iu9j04i t9JǼF^&ސMhM|{ *poz;( K#!$QR?|;ɕ>38u*&d[!瑌@}7y]5T&_^ث`D'qv"`rr[׈&9L+0pVdpNJм MG_W)YWw|MLXěVYJ8 e$$9uS&Gy8iDdpQfZX^h ΉQV TP\eC1| J.[w -<CcF%sQLW7l+[Z65ƍa&oPĿ7Oͺ< d)&TN?7N26E3}vuFb*#=i12YBM=X8"&FCTm.(5Dxm|(EPoBm 4lOqܛs=z@=`4`YYp8eӥ4tOjtg#rz;I5Tʰ-A jX7MXyc&כQ.f{o8a3t_謿K*p wNܲ2C\koZs}f}&D@?e X*? 1`K(SD|_K*}}C71v݇@Oe'!b1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id526  1I# DHOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwߙ1z2bWt^!(;`t%osijN;ʎ*@jB3oC= GqG{=oPj1I!^HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files~~/src/HOL/Metis_Examples/Abstraction.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id522p1O' \HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! h]·Iq n[:|&[zŸdEו1ݖٴulG0<0&1N+gt9w 4vݻ9Ӣ<̈́j7L*0E71 Bwq"O=oE~?x?R>2V[v۫bct[rHfS:F0˕P߃/7y}Pn͏fD#n{/\WOIxBγR4"Cen6;?]Q8!Mz6O^1A/Rʨ$ۆ2nXn FkFj(*¸^XHR 6=ݱgYZ 'SMe%`'++n繭ᆧ[URBHrXE-e'.t)a_Ɨ=XqýtdѾeQu>׿'\Imu+B%fxT^'/guUvg[osת? 3_+ĤbY ENOZ?Y~,WRWߍP Cók p@h̺W^.8rBᐊOdIѽN$ocԫU$ڦte Is.[ :J!V_?HXYjw]Zw(4=teVY7qN*7֯`fإܮ#^d޾jGoޥ,Z:/l5ѨU<+A|zsH$_ߡQԀ26V*i/3EM-%%Ä+RaBxhW:k։n!XD/_L~@L\>ivy0fѨn֌ٿAV*s!{XSGFGd ɇғr&Ѯnx,l[cȥJ|Rm>YH:r:E@z4 XLjk~塵V87z? DKܼ%6jW" lbD 'Rˆ#79!L] pƘ eL8[|ͺy!Rb99)1f %M XdA w?#Yo2px{!f~Efˢw֩_L!яd=u9aV`!e KX z}LiB`^s!^%e7AZn|vuj|^Fpujzv1AnM1Ql}Rڞ$(ohϳ@1bhS&\T2oHב"1-kfC_iWvi*J}W.@w8x+[Լ.4tQE? NLV0]=`Ma?$!I;][l1sf|&h]r8X;j!rgG)Klt\z8. 'ˢϖ2 "zE4.:,0I_| g (Ěěur)ȅMRβm$ޕrXj%wŹtyK+lo%RgDfs` #oȟ<3olAzfPGVq9'Tt$kÔkKW9sX}esÛHdYO2_*|wO0ɦ~z_A503:~dѪLr_mґW oWe\c,5_vJ^(Ibo'9H` r) h4(/`Ч\~0OX|wI',UgC 5T,6Ϗyv1@n|]xh .yVLH UZ~-. 5{ [SUX#c\7C"m2Ved-c>1sd6 :'t]cWL䀌)-$4Fu?w~̣j$## j~R͝ͲaLsF{חz(<ӋXʛ7(ߜ.&"$ ;ٰ~S4,3m*piDp+BÓjybsh k)IZDS*b;`B,sS\[k⊿Kd=8^ԡ#cEX̉s]΀E $~dB ѼjNhc&_%Tdb-[4v_U^ϘG" `?b"(>Gs^_!* 7eE( K1Q^W2б>3׬Vָ~~{ $w5/Abh7-Tmr`6H⫶<\#X7o [W2":NQ7Լ([Þ49bm k 0YE;xwEtgX^tJND%ט %JԬ)L{Vy0[t^'?E֬hSBІ[P0QU>'Tce%`AyN#<$d~N|]H/Y❇9 S9ҖZ\ - 5~0W1-sT>XGn'X#Jo3VyTG(cc U "XF@! y.Vd[YxhGQ*(N"YPJ^}%׮)~f4ͳ[J?y (lL dּ!%8۽b~_z"=7p' Md7P}/xoÒ^=>֢{zb˟BM[/ k")R/3:&q%WwgY?T"vj궐$ :BQK3=~ Ԗ)EVt=s`%j^w $LWP)&x;y!g:_?@R3s[(7ZjZ}45}B7?` }N jjtxRlʜᥭZ*_M ;|/j-"8R^#dă#JЊhmoγ~Lក\wbR^[y 3UAqwoeˌ' g{|TGuh,V+#ӊkgC$` D)8N%abFp~P̻@CK w,x}"3K|̉@9Ϻ ǝړO4Ɲ&19C (]\~UG9լY4Q[%o-xۥ2tg7\F?[Vo{?΂1| l;qXQgR5t_k<0VK>"qLph wB Ĝ(Pfos(2+KMA8 ߙeehXY1@ 5\m7S}GUjtX#fQV8Kc2~;WC`7[XUGu]1˥'˿8&!w?$pXwOϘW~7 Ŷmg(H؝dk%;LJI M*R_#yYR [V[O"{/Lv~3[&}arZdA|ӠY}p; 6y3~Oϓ wtYR?6Vw`(]ާɕ] 2kj lμCXQg_68 .p{28D_O^탂]')bh̶w#)}K9j~T+穧B8i媪(;B^Ixso3Pg'YJRi~7m+1!S+U B!S=HįkZmf"v00įEc9~"fT (WpfViKuŋRp#SkAaI䑾zca/0¶35R+q(bȩ!YIʼn7?iK9]_7xLtjAKgQ[^&'d-qi6l=F0kZ+7qQ-uh4oRėS37SH)ǥ*F\?IF$Crhڳ$}_"6 ?15h? 3I[\@7 9N7`yr]m3&(}dU:ߦPޡ.&^S_ uNJD'цGA䦺c͏ \t|IҶܸT5S)opdV*ֳey5!bģ/ipq6OPGwG_nU{VɳZo6xvmlqINE=!bbjE_Vz{Hd$ݸi (&+!ibfR=732pNkc2U_0&XBSd$jaw/IEoj\1N)8b.nS-B@hOi]4*o CwPǪb1߾Xn8ItTpݽE;^!+5$% aT%8WT _p5S 2LJUV1w/|ijo&ufiP}CY`SmORmӭUmQJ%~g-ecxJ\j \懰t),Al(a^S}I=>\Nerf6ZyaUWYªA|` z&JV/%6: t,3sP0*yQiN}=C:Nlv:[<@b7hېȺ✵l˶t s]QC 3stxH 3g@kbi5N|Ʀ<|K͟:gü.C|zUiHeUԙN9i4.ZG2al0B$xӫ򥧭4.5m[)瞗T([0 d&6Kp)1ĺ-灯_p ҅E@f}90G]2<.Iaz30#8i׾aOcS-VBufMI]=|n$POG#ԋp\Ac6=)܃Z0kIe VGQC? *B;3x$d{1 #RɭH`iۗKB վ2R.YH$.= R; wvxneUWmJ;:dJCm F砸Q&d^{gY7YDW6)fw lbA8tuefE!+@Ю%FIIwBܭ Bnl QFoT*)}Ur;lJX9)Ǡ 3GEj%2q):ȁLd{_ NHHm<ΰ8_P̠zKG:9rlL8(@H|WC`8t!Kʇzе*@jo G[L6ڀkLLq~#`)=}6մ,||Ȗԁew,-!<]ӖlB gL3fh`GW`4arI0?֮DelK-ђ rVxS఩;N.?:t0E?X›.e`115>6!.8H" jg?yz>x|E-[)kne@+ތ2RHQRWjg %8ދb2;jHH+qoMSFJ&KѵEp 7Ȉ'J^lB|{B&sEׅZZy.t\ %M>TՆw/rqzwE;q@e * (?[Dtei@*lI5vnIydl1$5+:t!GDio6D}4*P؝_Z~,z/~]*~~Duj MlO = w>T)ǂ1pKQ PjM\Zu\C @57Y)٘QI5 eQm\.}Z]$4YCjqs0@= wߡXEH臯T3Rwc[x>u[BԳc- و_H֍E5ETrf>m8xږPi>~ի)܈^K:Bg˃(UH_m (4E떿5{IXM!z[hިHkϫU:`BTu=q{.Y_"!5zFGFώAB˱gYZ"Y_0EF uHl ??Ueo>exǵoFbb=J v0:(G,S(riU=g:[EH#^Zα!DN6$ltZfHv^ ].4p}!F35&mGE!ϲԏUNޕ0[yT) H7 ڡr%a @Ąt½zmQխؿxj8^(j9-f+mjнo_S;O2b Js`zdYY`B@S2;%$5щ‘6Gb#|^ӥmfV9-rxl!ReV<@JP8B;RzƜedѷmC:mZ]"G}Slx3e>ACӛbF@8]qgGe/׷ ^j1^n׌V+r˟i(3ż\+ l$B}XSh.t2R[  ""3nXXsʖy 7DtL?-M[ B (Ŧ|E4bp牸W;,PdG{u ^F[]\ ̤ӎ?ڍd*oχ\` $͔Y``}\Xsp;ُ=HD俳Cub^V Ȝ6h>8]ջ;>Х!5 .AS%mrlum1;"W~xWZ)=skeM׌t4=P1@hHَKb=E*QH 񃮅$KuֳhtDa{:)t< 7Ñ8c@3G 4V)} neGTֱ?&&~fmu8mme2Gh:ļ ~6վdy,EU/]o{\\inׅVp-eO\ xD4: /Is-}d3?FB*&w"ws*޹3kVMzQ`Y q2i#ѣe4|h5ݔރT HprXWe/gC05S!d>q1Auڕv Z24%2Z?N쎿QL؂ 0uɢep_6 #1)љ1.NeM˝FmJk޴rIC&LˆɜT)s5u㫙dЎ솰= wڷqNeȟ@b9#eϿ:4 HszTRZmS,{/s?M3T0F\ xյ/cDgz"OG8x+لVΚc ^]"Pc.wʅ~a6toZ8u"59"=L`Wq" ɀt=_3o.D !AKG3*R,jy\i(ӗ5&Fbr8 "섁al۲!1 vF+ű|kͽŋIGC7\_ž?˜ÁdF6O8UPH $2bW1_#X G6u= "΍i=*Uȣ}aM5#SmYA'ǁmkZ_kO,J*tWQ|jƠ*(z*eFnGՍ_\!{~Sr6ZmAi+GI읖2ʂ-6A{ywGk ʧ{u xh) XT E_-nihݴxN"@\{ɵr |sܘ;v4uΟs)Oe.q@mV`RjV^pj\+z@ JȚOAR{R_:Eg!ei2c("Og<7J/ʎ]xOW!} Ңz]= aC74_ZJ~PdQ5XS]Cpm W_7EXE Q򞭥- jلL{fMvߥu3s) @^/Q+!rOzoB_9xM{EtBVPpPd{QXP'Z=6VR8'%N9<KQ!/7y%yŹ~ve^UB<wzQ4I/0Mp[]kEf_>j 9Q>]8 uRC(Y=?M'<͜%p&=hu0ž2{$GPvM@* af0{uR #3G`{zfԧ"y )M:%2{i4ě,-\ܑT쎚a(GXv!_$F:4Hlu5WQˊ b̍B܌%0$wY^4Q Tpu,+mP>FD ׊|jV"ZFUr'},v}~\J8> N!,wOɻogǍ-r$O=UJVm恀R .䊆˂Liu]V '3c 'IbُcIJ! |}}x'K(( l n^7SkPJ.u#=AzxYs ^7ztЦL$ƛ[;`rGz-|0rӔ|/I$*Fh]e\L\@/sNЮRQknhUp?%STS`&-^-7<2Vn׸q"Mx>' $I;F[LH BhBg=7=LnnX;thELe6H 7"TƆ vxe[_5 A=V36&Xp{r o-E:}$j/ht=7?ַ=ʼ(O>f+)(HAР-X1O^pT;Kz- Bqq{!Ҫ *uoA.ɰ4. 5 Bf7c!N bj&]de{mFjX_4wHwaD2B RV,] Ї`IJI}Z"uMi?^9^Ę(1>ۻB!-sqK87piM {z9Жaiӝ֋Aܞy-۷ڐx߁(- OlBo#vB{22Ah[HQ)vzIwHѨHG`J8[/bd/0`q K*)meUT6q2+m4?Kp!qYV7q)ATZa7)r}-0׷q}ҏYp?Ar,F H.U@AH56 #_9[Eo@{}Aq#yL @z rC(^pihnhVZ|IB<} cktq)rJ9;a=K򩻸/͙1vuuT3n <%&V Y[ְWP҃l߅k*۾qxz1ȾCC6nP9p\9+|LRzyVs]YC 3&xi.sqO4fE>:B/VDDڍ޶j\ -܃xT;>%õG(M&3W.ݧ ,NIvKO'~w_SQfJ[{X4&B>, yͤlk+c}kc_UC%_OS-sb4,ڪ~fwȇI]e'l\˳_;8PnJ<}D0ZVe|a06\F~y@Ϥ@A8q0Ձ8p2v'XzY،}g\,V<5͠]a4Ҷ S)Ha<˗PjbꏆT ? ;frQ8eL~IEh-MuG-%]14h?+ͭz&kANY 8G؆K?9ԐCBiȝXP@JG%7؛āq ; El][ᗸ/,j.b+Y5uY%݊SKkJ,QTJ@ CFr 4niv%c9r:3QՉ Jช4("H}=E_A B]`fe#dID]RN)tS/ܳ9F2W;s.eF`!i";k*SRL4U\I2 mDلHd3VP)6x & 7͚_tja2!swVWFG7W,0լaM}p0 ,@2˥ɏi?JP؀#(kB9ߎt %^_%Z*bxgt_Z5Ms&k{%i z" 5'V2r"w$ӺWN W ;bCAKI)_DN bp).yM爗zjk'H6Y89@4>(<q8Û^fDbR_v(,1FjTHFeHq`7mi`̵Fp ;EZMRoMP+-Y`Յp &H8nヌ`hINb*ڔE܃]X!/i6D*vd,͉dh&z_2̨a A[S͋;앜3nl &\*SvMh״5n&j|즿В~gнxڬPZQgIK[j!a >(Y9uxb!.{~5YnN檋'򤉯Mo4vL9Oh::'UͲG.i~#(UbS!`}+Y,0jst>(|).Lq6 g~^v,zƒr0w <}PzX87/=RqaXN׫ȼ0oO* ZrtC앆UP{LsYHud-IoͲ;\ fקytiog)7ZV?Q$GnzQ;qث#7Ge`׆V{B$≀͐LQӮ"G1ISmvmp w L1!"4 #wьP:K?0T( 4ЌljXOn볖λ^:/d-SEe1fc/C| Nmyya`]=bT0 sYh ARQ̳ l,<}qEJ`I4ym͋qиIq^ ۓrt%b<5!k0UVxd/݋Yh+ɩfe kYB Ui 1qc%^>d'_3<eᳳI{M*x\qG3UƝ }J 8>֕ItS# 1ΆL[\byZ @|kbNrVl1IJXUTvBlpψt_EvKު>җž<ʷW&@cȭ:DLһ8zv4h.$;e*ւHYixf~6$e~-DOxp&~GjcUfTvfgs$H+gqW8=}-?j( VOL/^6o*FaAv]Q4Llxgb^j 0{xP}!p*/UweᤍlÍ" | \#dد( Y{̜mI r n@VM'Iv1}>g"?=w0~eM,&h.p{*L-op(\e^e3[*ҪzTV;j•y7/K 7܃ 6}r?szT^ 八whvZ]R`syV 3sX&:У>,[|4vNa9yͦճ6>و$K>(-鏚:5Lo{ekbl@'hĭx%{CgVʰ!Ȃ?/el{x8rb.Gq~2@4W prNUECXsh)q6I#EiW1eX4GQpn~ko|널Y #EiI1vUI?%J4 O2AT>QӉd )('lVs`ik:gr-{Oa6 @N!"ʇVQ0,i#{1 |5;Ӓh  2?;K >&o<$,6i˼A ?-j"# _\S/[@ 㼼]QP`" ] [?-C2iY/;+P S6[ٶN, MXE0b܋iJc\FaK}};q`\n8qo3]`N B./7[8@]Atq9yBkIQ!-[pԃm-Y<T6l%pd̑-]`:1l,2I>s-eOFI]`$IM($(;R^P%( =;>ۓ/n2bVCn0%אv[RpXtkRv_rӣ4 ,-{V#wtw]}4 2].\e8b!&`2߷!g7G6!;6 솂6-ӷz2nB;uYrl*Dؤ 8ͯ53I66 oIl)x2(Hq ~T2m\⤳nD+{+f({#1qf#33Gi[o7Ȩa`qky;9}OA&f0:I{+sVwS id!֏44;\nɬNC4QVYsqk`nQVPt]sڊOT=!`gizuOl)D ~!0Xcl T(4x0WNZJP ?ͧkkug\Bz_r:R*-\vQOsR%Fixf huC HsiZ(akT:(ZqK رFCŒ}}CSjb;YT!tlw6lkumNinR#J|b#g1[{Q 16eIG(38:E0mng+ ,ثՐl< WOW玡bTӱ<6ԭOcEo똪iMyɮZ\ ;a"љ^xTPEmԤ|з0S%y\Vp +z~s0E" ^ q7#ZSì23|Rj Y>/GvČ3azhi5J[^:>@FTOٯ/q= } %1@.7i1WX2<K(* C>0WX~H59I毐~"L1."26+os, ]w.=z% q Em5߀B ujUmTG$,u'l9KruHmZ7/"bY`I;fTċ"g^f-R Z?߲PTK/˩CW)GphDe.I Ģ~ !•"KIm"|Z]0_^rqdhM25/-cGjT1 kF]zVr(ozy F]\ަv~4J0,8?f^9 :cUH `cl6$x_xy^yd#ΟvS4> xI6>]3>s_tS1@; p )u}btdR*/OBө Ap#ra|fofV& )V:}v2%:D`fޓ]AnoA%/H *Fbeړk7~psZOM; 8ŐuoB;<- fI R<{?I:1$k0r3iZK*Dg[a[rrfKɲNVm_C8שˡE ɳ!65bT2Ir29%̣"FVuNoݶ~^,E褤he &q00e {uU1LL..IFdZ ooٓEͭ^&ߍ']ȓy޵%K'}v7FytVѸZdr@AxW{ 7CD DA{}mYPәPa.xv1 WzWE9ÎwDUoĪ26!cU_!I{ i:H.r ÌPBV 7 PmP9ڼ'7\P -t]/ pAm[' :ĤoePEcj-%w}:.+_-2?A IYt 5#|3"4]8Yl [etE39+sIF숥o]&K,;a9~*9u?N fj<^Mtȫ/7tby 䟎ffߎFx@\F-ZWGUW|Sn\HѕFz4룞XDh&LSznp:(@ jObAUk?cP! q i1&NYH2I}Sg'e[`hJ}ܤ9(=Vz^MB4PA N9 WŹ_}H@颍(`q؈ Kt\YNFc.{PN!SiV~'_B\;M[c~RtYQeOb6sp=,`T\*v;)O+Ws$b4Vg|h=Y&ؕsYІTi AnG}lϊ?@ʴO]>L4QXjB~I4.sR"r>6űu;Rxb$r!(d>L "iG`;=;~aoV6DGzwAN\pӄ*3VU6{2nҤoȉ*?#~ C~F3c'Q5L㽌T6wB60jk@&d/q\ְDKN:?Ԯe@`s!o;U9[CUFPǦaKN%dII \ qƥvMmḃ <ϵԥYnӿϻgE6%ŅwԷ:T`PZđH|p3(\ز޵,s梠IabaS܌)ʹwAun*my yEtLFR}JmOjGs 2M;a:y1Z 5a&xYΗѱpfciID2z=lgśޢxsV#$G 8SMf2ȄжEȡG^~nœ^}@&0MNIlZdw9x8f6xY857evsJ ZR c/^t_^[Ӿʋt@VA=:30+`y(OSYF?Iv'[J  C}lHě7;^` xX'VLut&R#V!Z V 󡲃`s ix*k&C®WC2bTNO5óM{GONj[渖eTEס G$,V:FF=Ws<^**v$'z,❡{F^{ /Z9F @)U5@XL {bjIns'ehJcRZ#Aa-kLEɱ6_I ӞNVFyB+tFJQ`zao@m /Na2-wWy9 Nl䋿}JlwW>թEq'e~AQ{gk pt+7旴bs?`1AؔvԧL#8L _D=p@/D` PJـ)}/.^y4KBV+sd}(qXQ~++83Ee2B!|gKzƼ&N3^ް޺ o-܃l N|kVTN9ŝ~J\~qp{0n5}\XdsX,Y=8 (TT*~Ӱhu㭱3CP]iaADC@37!*$fzd\͛Q*U9R %gYZ  ? ?`1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5301A' 4HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z‚NPwk(-C4>, w% UƏmbA~~|L /,.6ZzF _s_,m3ajޫ^aʉ׭IC\)fsh Ϙqܩ{*:>-Vs- 'f^n+i&\L:X]͈ZՀl:;=o@%q8pa |j%&;x̔#u¬>1|E\3ÝRprV>To ֖?Y WZ l𔁷XǼNyvoFy'Lv^T3^K" ,H#K/zEQ h8RLvK< |M~m(z`r?_V-zF6S7[<~Ƣ;; d˛q6$J*w!vKGXp| jH3;7c3Lxϕ͂? aӒU5Qsw*Q4Y׊(0ath(hou|JX͵qP{&ABɳ(c ~![hE'#!jat@JׁVcN[>02xQz4D@ ^bX܈dP~8A_BNl4ѵ.J2`G D_ngYZ(` SJv"ui̐cjwpOz< ;:u`a-"]: >Sw`T> (ݤ(QcWu]I#I ;= "0Wr󕶠3XӴ3y:a4>S;Q'e俿 *6}"v6%Cd,MK <p jZ.bMB"DSaT)={e2]9? fq\.sli3 '%&zɤx+ݒ^ BrCI%} {9!s󄅒Ц^;|_,"U$߮ӲQ}4 -_GE4׉ii>Y3KN{q=HEuTxYm0mjqYaAlقc*e/`ă&ksI_7 W6Լ!.SN. I{|,m/L|Q֦ĹSC[`O2yzERԪpk>]FXMtK!"E-Efu݀c"[ }n!SH># *Ʈ88pߡ'8 )0'` o5߹0re4͑8q՚ZflO٢C{ES<+`?v32pDeD A3ΰc9 S?}k1`fkl٧ߦ|}klpJ95!a z:l,gpۆc_) 8*qg 5J/K3[EUړPib醊JXQ%y9QB0M:T .&tk&4n f)*V[ՠ;<¨#%kH@a #.D~az= ՒsҊWOer3ujXl;O/:?dje!&i փUaxƧ "+|G2*-1@ců+u*MWłP @nxَƆnfdfU$pv HwxbU KRouE nQszX J2.5Ii ͤ!W(+ e7r I : *^hDru|373+^Lg%u'"Ȳ=WkШS8']dNL*2"XD2 AFvM )5"Q5GHթe5xE;3Gl$n:TE2ABM6F(:Ml7DN]2Tnnz?~g8ZPjy[+nECq::ۄ_(KeT6\6a{?x٨U؂.FNq=]r- ҢjnjSr9Z@.<ՄN3K&U&-|='yEVeafXOWՉ4 ,suW;]⑟L~cBWQz/Tp3V샚*հȗQ U~jjf`sCPHJ5J>Iz*, 7mD_F$"ZP- 5-Oki_igS2m ꋠda_za6]L)˪_Qbt4wlOArs>1zCٸM-,Bڼ+-v>`ں r#PEwOjʞfnICXTE:u?̸f3U=s -XHLxtwua(*d4R^I-[tINx;eg9FUD5߫({j퐥z4A"Sth:J`Nхufi></>G1 Wfc2=H|v64}5i9fKc4/f1Z_d!w?`QI٣k.)(@lƝy0htC͉}sP  )hf@[ .ε|ˉ#ƶ e@xjt]gwK+i"CZLǚN[q+29˄?:_:R n4-Ȃ׿,/~~WcƚW\b&jl| n& iP; G@+BPjΙ{LCq:H Adݶ HڝJm;ϹbeghPw4mf O&n BЇafHj=O>k_=xy&5L~厫x :(KޞM;Rx&;q7\K.wrd ?̤ImaJЭ}3@1907e3wz}9ʱ@!|ȳ&-$JTVڕSL -{"v ASo\pjiX{ð+y1V.|r)ŭ\ran+RoT!VtRp+O8zbGyw!q'9@6-f4ƾn-P "]Œn`& 0hH;u)| (pDϏ>:;@BX"b, r柩{{SoBR{hCxP w~vl#S'_ T@5}z!DW(oc1Sƛa5. dTn|~=QV\2m.n Ws0/h pxKdĎuR 1qZ4\ŋ3,G`#>rS(tw۹OO`LjNHι3ȄWtͭLyrI2u)1wGyToX }7*hefeM#]]ʃIK`%QxBu@G_Sg+Uւ0M+_p>me:w(ħ\^Wa$Z1ZH{:c )@vBg:"GbAR<<{t>wEyΡ}55C1O AIz3{hE@T7Ҽ+rtu *UpYia E#-< kYPzn-zp20D4- dҟ4u7'(I2I- 6E^ 8|Cy^ [p.KYA.wSkPjC[hUO)}q.AVI -?B2T=tx䨁[YH槩{Qz[D%_oTfފ@MT5T(f `x#?ȥaq"eU7i(dTWͺpƅ_kK(eJ]PK=%x(/Z!uJӇ-2۾nPq S7K%譱}ly1X74|TaJ  :8$>l͌6Lh?V6 CTWJ۩iA ) =!Ln)i0TQ5)[9%%KTN`K3cq/g e,cJӢ]3xl9}iTl*PD}3God^uI Z; ,߾!n-mÊS4G{g84#_onC C j17C{f]|$Pja6X}8: mazt'%f,(l*{n?6N-&ո6MlS!/u"yuk?mbITjsIf #лb)pr*5(C]7aN4ĊÂ(T_=ɗ!EHFjC,{0 A;*[ߜ-u^ &@,/뮉ϐ#ߜ* ̟s^y>Vmْռه d XD65/-)Bmc1qps6Zj\ C}LAdN Rw-5MtFuk'a4C0462/ortEEsRRaO d<$<$>%dτ;>) q?g)GQ<էsO 4]a"1|dWW)'6_%qT)-,Yc[u (uA>&4m$?abtCYlJ1u n/@իř2t;r-1?n⌳-)/A=\GJ׌ggk!aށ7`xquə练翴Y_'5:Uá}n/7CdejZǑ Ȕ^E8nOK3qVF(?i4MO,_qd$e]MutVs;VUQyTC*XA)H<2 ߫wCAf ܚUr0N*0J.F*{/3I1@v/)JNi_6+\OMG#}YfT^1ufBHbU2<3 Eؠ92^3agZn} xtN㙝OsE{Ncr{k?0hEVz5ЄDVbK3 A-KkI16&@-z *hFkU$Xm=W֚> ?1ȍy$nՎE[w跎5>iQs 6HLxw& >or)#Kb+.HPo˞=D/,v?X9ݵa'rwL@8 H DV$->>9aܩӲ {ffy$M[kG cK?^ϭ@# o|V֡bĜIq-h,zH.2A%tY:j)"C٦7b`xi;ZZV`8`Lf^>~{7-^m |H *CCP܅IM&OiF?g|g?Kp5`eI؞dJLÄ-pISe9.'R^1Ҵ;'8)#ۗ(޹mI*ѻlh>{`ex!:B(K5;]{:=X5tu5s5UXJq,OqњG7 m`Qty؆dx ei q-rfi 6&pok^W8x>wFQe&u'Vd|*=vNWICA7d ~.$b=̼I28*ܛA۩ivZGk18?@pV-CV 6w0+;(e[zݚk%H*'';;豶fxve+߸m^5`"QLjwf7- k-NӾ.VIԄrfo"Lj1dD,ff5"rKq?ֈ!#zW`Dx;ј<>g4ouK߲ ٫L- ^lortucgUA{VrХ/G3ie۬x)2e[:[(V-V9`SȸiH %(_C5a*TEf 'n)}J;JzL,/OCRw:׍L\}>^QtЛ) -{,c9POCŊڒ{gsY҈^p2=|E*rv4$U e1+zVј1ɑ lh VUk ` |f&i$e٫ A*h6WJRs2̙κ];a[|ӉӞfOpӴ\$AczEbM58Fe-u3h'_.ھyD)q %r<;+Y˨fJD?$ *~~ u#Nև?ߡv,yjBF|,to7VvYp>ecTO>$ D-9r4SJFee>fZgnBȣJn;xy[,|nex!O 9Q7o㒃>ݛ<݌iGLa&jЃW7#':$7/\1V.(?O_cڿ{aBT/p] (ڤKjĤ'k[XXs,1T+1\gg+/|lz׳neY<wr2hP1!H 8>uCsчa[[H.޷M .#va?Wy5ۅYU@(o)̚ i56{%eb:̐%› r#/i<߁t}ܥ1ĤTTF`9.֓gՒT3JFaf$xVhfhY(M3ߗʧy{']-iFAw,~&(d'@M:tdfbqӨފL5K@vlM}Pk;8 V$úѕX{Gz._uذayR*I,!\ޘns؞`yvl_zbc`4"p,PINkl]Wi M>uP?ɟaI0 WW5 LY[!1bX^Vwi%}.|Ab"$V!IS:`ށ!nS`!nQAb.d!wŧo,!~u͠nPPɕS=j!Tjo~ V޹1k$fqrJ1yZ NIp+]Zf9~2 M[%)s{uɴ*ؘbs˦K'~ɘI^T\ ^C%kOг4560q1蕖^IfժS Im*j[GAZDXV6DL@FsLwE<'fXtvv琦n YjP# _7Jto.JP8<.1SG7X֧Zٲ`2n&f?L(ŚCFZ3 &UH {j;Gzӣ _KT7tâJEmw_kis͙X9u nAv4o[7D_@=/N@\%Y ^&iİk=m=^AZ_*h`q }6d}8OψCDŽ`ńDi\}ses@Wdp̘Ѣ5\>Pƛ~5KrqcF"*"_r롱(jI:|ܤOfu;򣸡ˑY KBz=6ˆ},2.YZ^߰54b3MeaFj,R"Kx߈Ӆ,3#qbϠ&j,]X Lh|gq7֟knBNHV ԯUDOtbSC6]]A iƽۨm00ID*+,yhNmRcaEWP^|.`/yh,unG1?34/{$pg)[h_h`y:ax?mFԼ]Gz#|OYbx ª5cG7G)U}Aћ#_[fgBBd4 UF(TG 7 /IxUk(hRP9F\J vɃ',kpH\?vO6a2:>UXEam—jV)H (uA?g Ҩ@9s*L;~ZK 0~s:>j -N.9&P& `Kq|>bzP"rt|>,"LAŲ0q".d&R4?#èߗB +P&ERWEoKM 'g~ E91xMxwtE5z`6+2/Td2Ҥa/PCZ0J%Tbh\&dY[Pk&7f  yARɮ!m51 3xb)d퀳Oߍ,4 7wvM=Kc | 8ȚP[cxP yu +PWP_ހuemē,7AWaK[2$B$B標|y,MUoA#QYERMpZJ;)%fd-Rف]Ry,4fzfjTIm{9ׯzGR4Ϟ:C|^3X.>nF7/An琖6–3fXeZ`* Ht0zFbNmAySyTݬ1;#D*r`=SQ/QT]?ùoʬIrgl8e_ T%w+EZG<@q'i0/|H8ڙƽTIJB 1K}.{v@\@u͹]:xG0 sܤ~"k9,v醾 65.tr,C;[ )M=r{BC"{P;)$Ӵ كr' ^b)\匾luUt& ]qs6cAGBۖKsNnDm;r*L:3r^eų6.P:5BYᆱHڐiVPNui2𹡘A1 f$:lV;~o-~J*TDl<2_Nxot[;n*-lҒS%eĒqn&T]9Tϣs+ځ9 JTqƀw@LZt9N܌5k3βO Hh[0qB׹ZXzP>{`N)Jx(Ad9MEku9 Wk Q(rB%A?8,&6Od*}8[ u)B ¶|M\7N3Q+pzK*q zW[#P+UAu|CȥK%mUYڛc1P UU0G4uGgly`?v6,n RTgFG dtHB*$z5Vv ww9sB/`wr,ɟ <8䨛(wu|fUJqg,'?H wMJ>r*&t&ҮiC7`sjpr-ˇ+v趙5jn]\HB`QOSޙzT>K-O뀛hh!{lb|f09F#gG7YFė:bZȠ,ws nĜyb}ehk=Gx޲m{h Sd?f-Yd1A$*.D)A=41Hȳ*SC 5W_VH1hjrm΂"DY=f|_/+OLơtW{7 U<೎ Vق/P> |i!ɣ1|R1o*~V`W_a1Ƿ4M(,7z[*yVB?<ʸT5zVuVxQ{̊@<1@Z̞`(E5ӂeh\.k&V5Ꙓ@Hy/=EqDP :J7pPbֈvYЕfdy9nj _ȑ? QT(- xU2I|߰?2:z,p? "YίL|;1v9'"K ñIޙWYk7n@}cm^ ݦ..Ӈ8CAnls }ꏮfW"_@&t1*7-<Yݫ!~RM6V3-mGYZ78f*B("QKoLz*UG:<ڽrJzY=B?Bc;oI=' ktu㸽H67 ]!|ױ]F_"oް~q jvz@Ĵ7rBaEg ;1rgcko_9*x왝 |In¯ Y k" ͒@t|FϮ3,8&?ێCM!5{^]7e¯&& ܿ% rOZ$j7E_2f6;ʔ]+!Rٚ87hM[%(B$V?}Ur9 |4GzXulh3WSb@; xI7ёY j.6!LyHx{4x 光>`59;m&U% 9^HטeQ3RӴ@%K(o9\c6`J-sD)f+;܏ YfMCm؜~cncՍɄʝ3rTM`y>&pt0p$j {S5"9&ƨחzlfZk,q[ȣ" 9F:U>  |GT6ʀ'bpt/GxrK%<]Zُ/Q̬b!>qJC &g]VMM{PA@C͙O2%yY-GB$ka[-߿j7oW@jp!mP>QFQ*_&h}}Ybb)%4,# &(cĄF_JA``ɏ}J.iHP%D؂tC =S-C*pQe쵓k QIlMD[c*~z=_0E'ft6S%*7Oz+j!ͻkDqKDX@!epgwH-wM($Cl ELvވ=tj:WnA?+O2& Ki1XYm0ȒI[9LdfeM f HG|Ps-M~<'Pkɧ-&^Cw!+zP<+=kd]闼;?ݓ(b 4{W,Ku2Zc-Q ܃e7+c?7-;9IeCyeP!rco% لHxo!Zu!S_x/l% ȧGh$V#ebGݻmx擴DIw\Qd3nЮAGvnAr[IGaɷl%K?Y(%"Zeњk7߁e/~6)dfZQw9̩M)kfE& LO97-lNߪbMMeKn6~Vdw{7O/5KbGw-XrK~9EB^j]GuJBL"(J1"4ixb^%A)~I Ϸm|YЀ L( symJ׋e(+^;ztEi>wEAXcH\ Zɥږ|0W 2[#o\0Nh#Sp?qb7UNHy}W2#WƪM-wBbn]$6[.?Ad*[岣 ⿨b-CܾlTbtٳ;]ng5ȱ,(&ov {2*;j#26u6Q \ɯg DQi `{K0IIeHslLcD. '-O2O=YOt"oLS=:fhQ2&[ +;w.$}1{< {3,(e%%մ 07JvL>i% d-LH=/w:E; ud{ctӿ޽QpL95p&87|czs&6[ W Q j+-h}8v\y"Ej``GГ<=1VZR[7TbD?srk "{@.3k[sj1=X&(xT$лc͊˛$2n6K6FYS^?dːva"C&#ֻUTxHJwW HӺWhP4(.sGvc֚ ,ϹUk -Vc+1TݨF'b0 ! /-lc[re?zLf|mm!Rn'X.,azNNg0àWQVF @%`w{^{4lj.r '/l+6>/`F[аb P(.(#HCυ /N>ǤVT]@F[ѷAo|U0Y @ZCF`N# ǺsREרt zi* =G=QSlN~W0hV| b8- rr;^[=7BKB{`R/DE:gg`e=\F\n1q0h$YBRvQI;5cr\ަ8/v=fW2}{n(͍]/S$Ի<,o|p|~$G#ܪ?9LL*D![rwH|GRҐI9b8 xkId 6g0a2-FXr` _eȖfJJ,iP>_z;kLCmy#%w|pȵ`Kܟz^/vtJq;eȭ ^^0Ͷ'(?ougXڷųd귐 Š4u*8[放, $xzPJ1ЛV2H.ǐ~!0mmɰZN"/n}vٽ%wJ-x Y&bHu6U;\?HRKb=% (O0({Oaj`_ ˂GBUDY<bͅ4%e]ppw$r 6W#Ε_jT ^W?GpTsJ/A1ԍ]zHe/KE]vh3ޤB%bZ|S״uQ)۬C M)j|4gM?'geQ6P8k@c0F&)J{@,x]F+_1>a8ݤ|:ڢX0@׍A%$,sFbȩ @ف"+#(X~Wz-V8,r%$H8A&1I+^6 L)58Ȟ@(>$juy'-,"@k~ܒI`FӸ]Оi?((x+%(Q E͊9@(ӱ_jE+/է1w}1FMDm{10i rT=|QuGs+@5ΥgQH1bstrDF:V;v7/U_I%`c9VAv4J盄_Ia҅{Y!PeYH;vHΈxŇ%;*Ӆ%$ĵW*BhX]e)tU 5; 0}5V(E;>U drzFdz 0+|k7`7#l'$[lFE_87xi4 :oM-dtTSj) dV?WSAc% sLJ(U̵iۦz iAz U)TtQT6Y cwY*].x-1B)Gh<ۨK`nXi<ʗI$Fcu}U#`*-#  L?{?y/+zUsmQD.k+i- 倗 wԵ+YYˑ5Y?K $N ڷOz^kXqs Kh1 E{y5\plo]ϕ.|<7txP5CL1F W1?1UhuGE㎫w+cT*1It5JʕD}"sl7yU>E.6K~)`FfOJT~Fm^2%:XIv6w=/^TYݴn DŬ(Z9iuPٷ:J W!~TyIx Ol>љوg,;sT:AA|&:Adp+Bp V =CG\Z xC/Cʦ8(i^b/8](yN@0q 1!l[Qjmm,3 OCEzL?-g;3L/WD?IZ1E*n;zk=P_t8W B1(l?ŢVPXͥ8b8Ex(W<ĵl] 2cFݏ<@|aMwܒIV+ CWP8ڳ7N b%3qy>,VL~ʞ? =#\ik! )%WTKZn &:& D Sn@&rGC4Os{J sSft֪VN ~j5ECt^Xl2w~`Lc4ER?D~&m ['QBхt%8o%+A k.U Q߯8O8>iyӥ p@fvEe!x?I43ND`gskc$H-[c/--Bb ]o*yi1>)8M*e_"E}ʡH׹-5xͱ:'W0U e'cCn/$䳯}]Ӻl/á[%Ʒ1Oh+,E}dfqXNIܥηrB( Qh*AAwヤ))K6cbz|XɊPQ"۾ ҇弄oF?әCHPU^7l'y|2iUfOy723/jiS'<5ھN#as+i"jVs~#  I!_e* etfnE&-!{^+[4a 6<U93ϱz?>{I i1Lc7fDϖ/٣ rlCd$HL[}Y6LƷxjD 3-Sdx )?.zAaf9IÙbT-N Pl3h=1 RAMjH_ E7O0Y~dSL|t/;5Dߑ%qWR'P}#xt5|v{7xwrbUFv!%!YF)Qm_&B1LJ| (v[xNȅʥ@X+31~.ߏ1+h 4Ϊ.@WuFfvgAנ p p@B/7pPh˟ű:1V>v`Z~RW@egBԱ2:jhCG|GYW@N7/%RO5,0~ݪ[ Y ֠&)@wƭ2Ub8m)h̖ImY$=!Iت'븗N6G]v.&W_/-+3<%l7RGO 4ř,K%*"Lj@G٘UWt"3R*ʠ@L ٰt^q`MBj??A6b;28/#Rju+^'ev9?2WZey}#Qv Yތ,M1#hY@缻hoϩ١x2#)_0@+' Fqy2$ {+w3hP"9NOT`S*aߚ]S JeRK6A0/q-G23M]00{T[w"??i]A|԰>`R,?yH4Y2w?ژվ]EXw( a\c?V{Ehw,]P?,^T&:-s[B/ /`]>%}&GWRFrM35 =6eAi糼H pz#ś.$c{;õ?/d9ΦVG\;VrqK2<@DH :l\ UIDy.oRSoQ' ҩf {>uW|-x{YO5kwC<>b{|or6h!["=Vz(M:X0jjG+dn]T%LF)Z"]V Pk|ӏj+-Oȟ=tND&P cƶ7EjV߲^Xd4cApNt0.h|mTHHi"|(ܴWJcO$ԚqH^x(qBNN8g$ /JS6(w?E[n"K4]{rl&_R\#E/{S"Ek41snӐ%zɳH(SPU̠R^f]qEtP'(MOmrV3dddd-?>М84>"O S IIaNW( _2}O-zTz#dIf}Zk>E-)KP^@/>.xRs$AjϷW g뽎TU!/25--Pu/ lQO7-=9o-lj1-yK.{ po|O0<S*1:T>&Kގoڀ?x8ݙޞqyt.F~$B{E*IMPؿo⅚+7qO`:$R4kPďnpxa`Zf a|w4lj&]ǦtUY .F/'L^45ӐMLTlZ/wwX%1&+ŜJ/mq>0V,+1Zs?=K1ȢC>E:o7lĈh&sEs8 : 36Ad>"a:[Ŧ&c}`thmS?hfV3Ahn'ݴU2R@)OMlw%`o ǯ;,3\H53i6VIm?tdLb+*~Ե[kھ.2Su[ιC8bE]8a`u00o!*j? 8W&sHxjP^NLKT*k/UTa:Ajyx/\} 朢nlb@FTw =#v=rMbATF eH<]t:s-uebDjWVD(Zm,ĸc|̜% +TX>Q+"E 4Ԯ_G,x˵-+﻾|g7ޝT!m6VI>0.?af#| bxܱA*d5: vd?}>KB-Y.yЊg1_xA|'q@C'&>CB]3+Y(`kb8 VnAM| ~_J.|_0=8u[Qk")@^x#[HEbKI,Wqn:KtE,̃0i48%rآ#lH,w=w4]p<>7"\ r53<̛*,ՙFmp3Y+ϣ^z9kdh|ָɠ}k߷ၓhsDjR/lOFhjItι BZ@D ŸYH#jxk i>j2ls\%}95(!xū7^b[0Xlhш@$c'7%p[gn:w!?rʌ/U L1y}qj >Q3h,XlҬ/KPKjY]/\AnNhO,p-pD0늝*~LE`&e?24#yɏ7_EU.GqR>:~z+.R'yxBU4~W?j.Y~Q,çzyvRNiNh2t q橻F4׭åx!m &< M շYohgkՀ͕Sn:R6SєA0bqSyt؛-RP#v426dW0u ihly_@F&ǀyO9inm3E1Bӊj#6y !Ők1_@OI(H3e yĤL C!RשOq pE~͠nZGTM( SYY]ZF/㏖idҬLY'FKVa5)RTg]iPx":||SбOIwՕvРn]֟QdTv*MV U_ڮ'.ЧQ{sݽ>0E&m P5ӈ'O%ү(@|tÅ+Cr|.5QTseGWJF1}d/E4iw ZmO %V$:eRIҘARp*LJ kǩՉ؎gf丌}.%!"P.ūWcbZ';6ŘxaQ|8(ڇmh^; "n}ۨlݭ &pY~w\ST .Fqs&ɮM{zg_H:ɯ+Sw~ǻb|emƒÑՃbzo8WZ_ ^(xO<4򸤮KOM4Y Ѓ@Ѽq= O|E dㅃ!(֒q$Lv:ěm ޖ*Yr,8nFz0+]㡱ض%^]ZWl5PJ)/EǩAVPPc#%jTGꉅx'\h@nLN?yߑf0*~+'ג(*}>׌-SӢ=oʎCad~)̟Eu[)?UhSOpFOJZB e0(f|EʜҀDY0@W&sT,KH9; ޺^HD0uL?M//cޖJQ5"j Hl]sGH }I+A?H`b yۮѷ&8Q 9kt4Zv flre\O=:yO՝~Mx)`TQkVAbԤ3XhNZ{̏зy*A};W*zϙ~͸ ya1|SK]q2AT \HHȻTE3inSWP=w˚99]̖rFX{1p;(9g 4,h4L \8]TJ܎g}s&\ w@gJ|`vHҖcO"=/Ӿ7[q&Hzh tyc'ߕ_4SDS'g/RӘ>eAЭi'4K~w^vOڗ`Jz\\ .TˠXܶ \Ft߄{ry~\I&7Ќ˨Dg'%Znu A;кM20WSZ:i|w[+\,Dwy@Ďe|A'-Of={rע*v$x"8/+&-mʛL"(j( HÄES]V:DG5rL{Scj5! H QBX-`Oe\!" )v d_nekGY65~S|jJi'/M 1!J:4 viJ{r M\灐 afQմ7p#oLzgs/G DE3C\*`״{p>Z[0gYZ  1?# y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥O9ׂ};?msEʘO"ԝQ| toJ EY! 1S4{T;wC.sTV%S6])Z6A!B8Y,6/w %7K}j-w ~HRtԃ*AiJò>~SUd&a]"'+uF&PcS`6^ 1PDz[$csR?Z0vG84M`ٽ=epTNg._|"Mx .-U< &CQ/ j´ *2 +O2ֶ=ힲ/fJ;{b3`.ZR2O*guT,d25"j ڡh0>xĚS3Je$r5`KA em0CWgb$K—Wʈ}?'$9>^ v0+3N[lLky7I]|@i oYk-2Kels^Vbj',eOZ;ݍ _Z0 eTMY?Mi;<45 @X D76zm)MT߱AFUH2dOS6ADhBmY]1U{:>U@_Sz,aɫ󼪉?vQ~MIԗǞ^5H{p>\7~,(v~ʰo^9] ];Z1obyc &gh=oӚe/z3b4?^6el{(F[@aןa,W-Zf n)㎈ͥ]l]WNea#0Cf?y(rL{J ~^XJ#l6c`?6}*7B… ֔(n:Rfm B= doy&1-JP]7u*AܮyI AlC?Ӌw/\zzP9*AbK~)Pl4t#{:rզegzJ< m;O*,Kqvk7uZXMnBnu?$j=! aEtp uJk5v1LmtO!4_券pVxJ '$Κ<Ēzm};K{Az%H݁4h`DFN/J,sնzr*Y]ڴs4b:k 0cZ-?gl_UԤ JqW?c |U;|_(ussƝ׎!)LOոE:Вi}zԀ :OH*՘;gri~1|,GgK )3՘~BxS`Sz#g`6]uL륍pv&J\5bEŐ(OJ 74z`m{F١z2:Qpׂc$8xĀ[x+m\@p┺n0/J+@EA}%؝} )ő2^C7hOP|~M]kTY^*4?FʨSيr_BDz}"| *rABeX̿ю?k> ;m`9g9>&/+D܎n.!2-^a@eL~7 :(kNioD8}@ 5.{LDWrNc1y!H#7A\9BȬLIHmp^ >Wqb}?R5s"S=:SxU%=,:B!VZaϑy\ϰpgY䂝~ᰓ`bV)q#/T餉끢V^e׉YzKIt.EԾ䦅ogήr} Mj?G R1k7Dq9hYq9\$eGX[A00%Hc1mv2Ri TJ>wҟ:=yC)e+3޻ )?gz*̱ E2Q!{oGKypk4C#m'OudyF90ơ:Ku.Oot5 =b|gZߦ*h bvi G*=0Atد鈔*ei$UXZ87C0[K&M:&,X۹RMǪgs NhƳUn.E-]uf^,e^bm( ܹyi#U0e>"*иUUBwC:Ԧ}(?S5 \ =c}O"r-U N?vTB*k\$ŬѸH A)e¾/QͶGخ}E7W4L'  %^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id540X1?' *-VP }-.r(Sg% ͹ߤӆIyB{,y:dM+Nۤ64^hޢwhᕒ4;>-I4.1/zs?PL^R _k۬R'QrjDb=c] [h eӗ!YCe AWG!j8SI:%32%7:^'-Gt'7Hp}{߂d+렠s9M!$;`{K;~W )SVsd_L7?>:yGHb {z'{[590^fcx`跃xNzgr9~}lnp0碞Xc99Z}E- +mtvq9.t ]Tlf)9n?ukW!;AODžH  TgYZ1DLHme$V߫,o5i`آܷD{*cL[P%rX?yȋM),\Р_-R)Tw]p$w}<5)HZ^K{j مp qS%# o$P::[kr> ,̈ ? оA1&[!MSJH mMr`E QAlAw%CBl>TRz4>1oT3x',d723Tݗ(0|2 ߧ/ї1N%H\xlwͪ٨F#H , ݙĨcgM7"e4]8;oW%9ᦅ`'T8QwӖh?:}B={=b5b-pT⃀]B9= -) `|#j +4 XԞ&hob=º$){PpP`D=Qf|lVӪ~p7c]]iDpsJ^[@~W% 4^GwäX`_6oEACy#xm R~x)RM HvsR8ol82E==eS!>BhNMn!_Q{'Q2F2q-r:V}B^̕ru~O5+=CG9|]%r6+"EY4ƼHN@hH1v[tB^ phXr*Uв<:{mR ӅS":w"Y}y];Vl#NM2Jc^w°Jp|M7L>V€2.|샜4.T (W:ݭX^Wag\f_hi# ݘILݐuc>((7<>qQ۞ZűJQM+p^G>k*s^;2lZu=vwi?a4U 'j/`"lgѬ^ϋXj(z*FIc{p`Ic?߇> G96ibwMepC튤wFj눜dΆgFQK7#Aw/tu#nWg}oYa -F_Ev0|tg! ϋGU@<]ǿWvvuÜh`U*jtZpiE_op\G]ؠrsv E#- tu)AsŴ?WRA3+(Zb~QdSէ٧t[x} JM#<@bXV5]cjSjC 2|pTO&9lEH[QsZ#lYeDr;/."e[>̺jkgR t\fBf5gT+ J[cF#4M Q1dUpؠ|mB0V-5_ |y\7DzI`9oѯh4V?.MUM|:?|5n CYX̖nÉ`a(B7ѡKB_we;]=ǎ 0f>&tC xt"v=T>rEiDhҙ9yS;( bIirnK$(˂AQpi<-CVrD-9VOyq+wATz؟NڳP^N/4L0(Y!*K\K{óB:Y m݈Z'ܫe4eGXU* ]p:R2toKYxG3<0D ߔjRO'^HZz+-ob؍2LQjB]I+34 e R,e ^A,&4_`?l vNci`͵i1t@1a]t񧚉{vDg4.A)T}@'2/S#[sErHAb@!⦄:jn2/'^@Gkm(MBI7,X[ha3҆im?T ־3'a2fHjgc{ &_=l(yG/#ArMc725t]]䯦+:;)B!>sYEgU$rvQIj(c^mt`9KFzӬ&T84'd! c&ȩ2LПoIytqj*z>l3D\Div1C*^P|OIi\T0:9M"1 /!!=kI;fa >IM1/J62 &ObVTjl}r 8i]hKKil X`Gk#կ pL .4 & gpV͈J\jy +/(cC*נG2w]RMt7G.=g(*Hycn]|Aq=|Ӄ?rdV_I}_.,VMWĮ1}b4 y8E988bBBj 2ȽbF!f愙{kZNU+kDž-),l%Q7r`GO̹^oޗ`vohkaf5١:M[+=jRfEjadAQ,# P>!my6uS`FA-Fe&V J  5IEoء>"nj04j(PEyN/HZ^$ axJ0/# 렞_?wt pKcbj10S |Mmcaa'Agb\)E?(* g.{<{Q2M5"5d `ھ8[9}6+ȸ~⵻ٱM>]2RJ&>|/C2(T7a/q[sֈ 9 @#\nh-UH1fp-b'{榾@NYNUDxV#l< H).t'ˑ`̋Xk4rv-27NCdo1w d}*V@VF[K4vo0ƒG| 8 (,2 iT8~TNVoPf8ik (?^6>W JM~raTDՅH 稴)OUj^r䆽[f&|. /4̪SךkFQ !c2vw sv^--^Z$Z5E>Mys$p WaH}J5OM5)PX^ 2C~Aӄv8S<Й VeLHxٱXr7hstP  E&),ȴogޱ)Xʹ,ƭ|dmp+jdQ9 ?p>$.JT0-֎h7bDxba .;EvY"e";!8vG6aI*'eFX8Y>Db峛 tx 0x Z^3>LyX%] ?l4ލPaLv6,*dLA/Oc#F 3V7)g1`><ݰ%$M7}96\]?D%^~mQ)8='i0|"{?;o̵틝"4Qv%}ڔsɤ#VNskk9gKOQw$zeHȆEэ5p;Am!wպF[^84te-SS*CB୎c$UcɟP+)ҏDžѪKGAi{ uV8t8/x]M91$PemJ!_ o\dM>Av/8V岰W2'd%ZN']T q#yImrƕ fM`?.S|qG;{yx:psm9ֿ6Ik 59fo8^;r̭;3[̣jw܌w1XvpEF: ŪۯPMڲH[BUk@4xpyWaGUtr'T{AvIh6u'VW>cb<gY/]?pɥ"%jj}ȿ%zSczh'?dӃl(&Ѧg$jn/Ռz͏>b]\V)ݫWNE4 :*F/-#י0clW-'V@1'kI7ع$}y#zf%oP àN=Ú1B E"6(U>I,X'{WrlX޿9_9Hˢ4qD4uk WwoI [(z:u@1GOuD Hn V<p ڂrWN%Т~+beB"9~# ;%@ae>F2 £ӣבk߱mln[( 9l-O 术cee˥TTh8t0%{|CNeFphnfF&@_h@_sv=Vu m3k<)J"5n^fLq 0d6zմpC>I7?*bRɕU/һּov8I |{:A[X5PfF.)m/п nC"|y'ms|Q6jp?#6noiWt !tz=vHt  1AA.m$B#7 g[?G< 5Cͮ\C &IDM]6 GSQz'ON/^oi7_[]Hv~Sg$.xR! )UXȄR^M*6b|%d^>z/)'e:@s?QF >C.g'}v`*"96˲]> Kr3+|nQ:gmk&;cZ2n#ME%g`E8%Cg( m19?=36{ MҁP"S_lf>p -7.p|!FόjgM*k< U0JِN6rP) U%ʪFcq-w Oqt~M70vƛJ3"r~ MUG-ǤGmF7[xP^gDuE#b-f:؉kΆn#ESGTĒځ[&nBBXg3;݀G/[g: 56AXD8J}c] F *k,<]a'BZiv\coƯ{g1N4*7hb솰Fe03K [`aFc@"eiOd3&O%YGBf-z>;Oguǂ۝O@"3!Kk]#_REzH]F9EkQVNĉ2L[X4)A^~A#\#68XXҊVMTCK9uӻj#-ugڵ}'nsMo**@R&FN]yxs}MXAvV [ |PFg.u|Lt#e2V!qV Y߃ 7Yo.+0Q^q{ a|m] }L)fPGwTx@  ɖ{ks <ɹ? v}:Xh?ĈNYAG6m ss%3g@ɳq|cA[摒مW.PC WT6^GFu(˳uvQdCol賞\!j7'yALb@Zfr *lX%^O/iV[\@?{t( Qw?@Xi :o ה.2)5i/ Co.9\/6^ 5T `(8i D/qMaHW#x ?Odu؃r"u ެ"i0JP�>bЬ vE5:Un8X6J%]Xmv0&;B>/\RCC<3J!l;&'2ma!1B =J]Zt%ˡ3bK%tXyHvG| Nxr7YXIZ0[S;y,ةjnrDU6!kɭ6ZRasy{ixxMk- g%q7AJ0+Ɍpd',[8C, <<6129!ѧ+kbRs*T4=q^a1Dh9I-ueqb N[GJUɥo gCpT[h$!]g_No Bn>+LxׄCsŨUry07 GJfR:TV9ߖ][3èhklU3]]?5TP')B6?/~Λ'NP[f#u ]ˢADsYzD"`pz-}HY)ˁJ}#,PF\L#elV٠ΏڝMw(+1|3!!oIC _eJ=^][Zz00}D*1al1'ٽ;Šed~f(ǵٶd Ԡ<ƭb@5e`i^$@|dc ֱ֑Лte\}2㪅wBB WN Z%/l4xM=@j^XpZ.O/^">ʵ zV NUgR)xHMmÀfx!RN݀=Y9 {ȵve0CAu}fڇ\2g3`>CG ?ZlJgA zK6ȩ̈́͑F$*aҮG#cnyrFdzzm[@||;]8*LvI%=']jg{<%@KlPQGUb˥)L`895`#' (6Urz H>zO]ULv3>.&b?]ށ6>NܟqF6̸6Wz9O?fϞM|9=`>dSBPĦUߒp!B}B4SܚXIn(8 m줳 ? I1*؋FCFǒ1n'{˄搸fC $v%е?ؕ/B%Ӧ rGhDQ5`^4!^.s+m %;5C\5UE1Aǎ 0~Y8 uH.d~5%Jiu) C{$cL"?I/WWszzyB\X.;uJa^(__6`Hy3ϿHMEpїPuߕrDGTNgĜ!򼠤|M9/8:M7+Y#֫),݃ʘUm ~ 9,|U{k+,M:=TGb6@i^eQrCT w <U;g<7 hyΗ2?wwaVprR~0y@6!K)IGnO{ZR]6Crcp$j)ĩH #Z+i[ {"pYZ G9 Jz2XSpаE5QQ͈0ZtUk82'qo; jLvr{1'76J!' kY^R aӗhkBʎdSp`eV]qSz6Q2{cA9{Ñ(mGs.JPD0g~9Hk"yr*^}I|&r֊ =!\5V&w+)=&2U^Qrr ]N>HF]KxuYah_ zȒO./ '~Gvj-iKP1j|sNC` MP8)z@Q5MB uSx+%oIq̦jkU:كk.̚"E՗P ;؉CX.TJӏd<~ek3ߪ/Z Јt|ͱzl5Pg)#XzKhF&L{GkƤ 嶬p{t`? @x')ۋ*ĴA5M!rlP^cF+-}d@ m-J:;Ц[!VZ?Y? /jP'[@i/ThjFÁ_N{gvбxq3$'HIfR' soKG_%Q )Ⳉ#Qﴰ4rL(p4kitehD#}/WקSX渼 l"Ez C@tD8<}3vd/XH10=1akK'Lj^dr:fv+y,747X.?oLtabفU)+MբqlC&:*y3%Й+Α)ށg)} >2YDA#6zUvlbrc{Lj'1?T5xjI jEM +&$\ .?#w1;r0́d&mV^B2 me0B޷JjC8z;(Z'.ӒuQ9iUi-gչHg? U*ZwPro"j!r[|\q7$h"OT(&RM =d99 iu6O#x@>p {x ΁p꧴)d8QEc%f9w\%7'|{?rn]DxQÂE \F: +E} ^QRP2oL~GI|T YE#{DݔH_CXIV ٟ 1}@/W9n(@NKCk,^ ԩ^jM:Rkg޾HkKZvZSWkP_%şjY-ڡ?1*zq:P@;jcenn"P:ixuKs\CmՓ3+r-Ct eInƶG=YyꂤYfM,iMDsdddY6G vK3xùBT/ֆC8_mƾiXACTS:{ k p *be7KIeK_!}Km;$gLU(<0  >dD[gw]GiߐRP$ gLŵTR!G]~E' ]@KC NL\7%کCH1>/5yc7Ѩ#ax#̇rsp,r7e֥]FQv'ފR#EHM~ GкsY8RU & Q14:U8TT .+K{9ǟdܙ 2IȩfG\è7zI4c#fm g3DS'SaM%}@P:v|mUo3A;a'xș { PKSMR'ʜFyI sO)BԚp"S{ȕx(\< L2'i7 yiٞWoQT0ہud&(PYY'<'icB{rao# Il=**Be|mbMa@}"ziΌy|WgwD;-fօ n)eKBq6;3@@9CILꂛys;Rŀ&vR.1.Ywj1s`@< 0 ~x^421s%̈́|Y-#}܇ǻ\r[jh(ZΔjMRlglNi񅴮?+D)V_cړv> f~| .ƅ!P2 KVq1z }$۰TR0zĉ[7/NAKH>DkΣ_~\ӣ*v]DJJ]zXF:2&Bگ B#&Edxo牱D_wcV3a|":zay?+*Nu(&m$f>EΪ7d. ;%]%c^<骎0b&DSm\ܥyv5]%Q=ɧ/ӗK^R*w~3n# xILQ!#u.r\ Nu#D;J]xZ" %9hG+H0:]ir$-׎" CENvmo0;wVl :\f{i[cu~8}pjP*sʒFAIŲVn5}1f*I8z)6Ƶb툢X3~)5/?f goo߂DӏGҚL|6 D۱ډ^;TSAD3oVCA~չ:Y@_L\ JV 즼x<`9U~_D&2eACpK&mY O:uC o0*~]4%D^Q.fg IW'ztش!nBiSA߬AfZU$kZ\>&ESY4C1Vgb2,-^.m)5:2>b&ݴ+"cgXgTZeT F#V=(wgk-(m°n}ȫgD2nNj:/Axo%2K4 *1g,]a*; oدTR oRYscJuFsXtt7T tT=XF°u[97XOdUoՄj|q,/q._D,X@۾T6ƛHo.a]$%K@=1*ae(דX8jD|Q|z#r-ܼWsTlb}](ޢ^h/r,Z #OB)`;P:N@P~^+3M#:;"fm:cPcFyK4p2ӆvH\C.)p] a6CҷÔv1lnhSx<^g?{Ex|/>"sGՀ]W%%1\GzuE fp2GvR>󖷾V;b~QZDc%#I~J'Z:Tk6h˲P>=w "(# e9YS)d($U_qRLv^-6ɱ"v}}G碩=(3ri3RXiXݡ[OdXD4%Sv$5mrG$ \LhkE*u_ln g*@o:TGja, mXWeʓ zy0}40~0&^?DzVU}.k9j vX#wm&p6mw|/5=rbwc@,, pvn¨k4nr9R^}XNlStb9 (5˶3( ™އ ,gU\oǏ+@Jb/`tL=>KiT>}}a:v0STwM,ZS_N$I|N|9Ͳ'ҊAOx6Q.=o=>JҮS|6*Sh:ڼev%@Nd&z*KbuD_q]o\\19mpFwS3O{kl-=q { a dп )Z/:I~~R1 &` K+p9:x* 3HF}f{F 0,zq&WE9DЈ{ruόة !8" Ͻ536/?81 e7ihѪv(AgC5 GMsϬOY]N򏂛2*jn\;I3*R@~f8OdG+kK5Xo2o|#.>*Ӄ.I*y7rBǷboi 12y/dJځSݯ9j*;Gh!HL()嶠Hm{WfF%="=f]ʔgeG 0)HdẤZ GWl|xȐ|;f07&0zmxߦxڑM" gHҘ7=svU>WdWNԾPlr TnRݭ|G9GXJS[`JW%>#lGB" V#t̺]vOjjAA(zYPc|p6R ƃS<PdL"C]xBp[딘ĜyG-Re=&'i,SlَPPƴKO}KV}A=/ꪎ CZ)h8{jC[?SjIp`4ݷ9V([)p~b)ϳVҘOŸO)]\4p#^8FZ?;`>4j6Lĝ^^U~fykP} o-3:ʧ(7u[tr (G7"b #Ezyn8_x:y!FVglURiI9 W]7FZ削 Xa#]WՖheqED0MzJ v } Bf Y-CO˭$#1q.nAϯyIr*/^CKŋq@($^$=_P77L'~U|)A=FQ›"5z&ʽ̷R)tL_s%>@HmL>^?iUg&N ii$*V})m>vgs' HKpbc [<κcWA% шW1韡=sV%ݎ!?xǀ~G֮{AKoڊ7̉ֆ۸pFZ -l0OЇ2gԘ sT ƐO[]Q.FR`uUzF|YH~:yqf ֵlgR=uTEGOKs9MxP?S" 32:V]p*hI=Ŏ-/Co>7TA!kqƲ8i4=;Z[*\(1jڎ`/3fжOIy/׍=|xI_h9OLH_\C*&A,5uyè+f yDSu /sc49|q\N lS%n.Ɉ]F ^M@ #6zVRA`޲ 1HK6kDOA]*9\!%rBpX rWcQgDKF9n.G*~}OQ  L/h?G|C[2 D0cswpǭs'4X𤥟b(c* èMStǖ yb* /6uՔ 6Q Y)E0L%8!H!a]z=Dk@ *:,H"jc+aYynDR*EvT}<ҧ[A+(t%=D>Vw/xG43 ES sF-AS.&eσIFl ?ooEL)%Ӗ.wAKH([CE"4ՐC CAhQքb B ? F~K1t2\ es^abYy_V[j"\/A#:/T5sMXS;,|kLJgA-! }'rL5%h]?tpm@WO R7yYwTn1V:Ѕ\[^xjVRJ*o܌Jp8c}s97'6g+hG&<㚩~ًC\eϭm\-^[6 Iȟєd>Q92Dbjra r^ca;\DOb*{) nǕ94Ա,GUrRu?Α=!?@hr*#fcGNq(5ϧe9z;K8緧d+P"/Ghbœbw#}bF3_ڍ]0{ZBS/nן̅ v3qἑc^ivוGAjN%ٹIϨGt[b!`0Np-R`eSK9umϟo56S|mF` 'PH[H &&jb6Y'܀>mrb W^ ,iz. jƯr&6<@m-U2ʌĤ BG~{v8OtE^j#bئ^p[oe7|r께q+/6σR@ę:%)#rCjpH5eZniC1۪7Te9٭x>.fCAX?VUwNE+kC4]'yS bzͷ"Un\H5ITG_J?dA[Y UkEŷȒ֦cihԛJT3Z|%&6G6Vrʑ3h^9QX0`='3X6 :FerbA|~2g^?W!d;J,#em1Tx6V=1 (ŴpҦo `(ծID4+{F:lMs\`ϰ^*RyoY8% 6mm'3u&"zgNoNS;5(vˆ-ku]Zi4@5(b{qgN{gؿ5g~@afǒ%^*AO762ShlAgi fu&9%Ď k22ֱw!2 W~]c^Wɇ_e~dަtbnz4Pב%s%}Bs.Ma%wY Yd4Lܜ~vqs8X})~Ț*!=vg"`a&!Ӥ'q"\Zdcd9fUGY[?A)IR+ |6nVgoQ;Tk@* &ڮ kҢCL{"x;}OYD+w8Lo 8tH+|9.Oqe?"{?[ iL1 ZpV痯^5C'Q~[>U 9DBx4{9x.z)^ gPBM/~NBHۺT9>gl:f{p\tLH`:LgYZ b 1=# THOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! 2ib]ˠ)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 PO@bfFAieƗIt3 ҉a%[jmd\F|r2sصeEhdߍ#WLh{h$Y[=|6cm E$bc2~c]Cu!T=|ʐm$h6^a41D#ppD$W5~p6/P7'*beĚHK\Z0!-u|XQ &ws5%LJ9nnMTi@~LPp9xPpDw jy7!ӣKl6 -T[8ŠwS`̾7!"~.meqer~D:xiG[|yn)G4+{CנIP(1ߡw+cO(eͺqQs97}KW{XcxlTH%m3.<1AoRлLNMHRPujD5Xf>`\FgD)-nc8d! .GL;-o+R+ B:n#x} 쬧^T۱ÃGeYAvʴcCoc b|hcņwÃ0.G)C$C6K8-q۲LmD:MB<} +Vvo!y4ݔ.R~XrcO]t:Ȏ@gBF<Wm̦GrGǾZr\FhρELviޒ\(7\Vz݄(`iU 4 I(KwJ[|yyr98S["Z}bx9Gm0f,WyMA9( cw^7F[ zi3 ]Y<_80 uu+#1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ"1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id520!1=' HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! ]·Iq n[:|&[zԬ8p=FY2-Ϛ`"]P:%;2y/KidS].jA:B&nRXDEiݔpj1EI@tfV V& 0MNrɇ-aI㊅ux~N `^[!޶TsMUdw=JqM{l~NgsOf|hH+OcPZDR Xs<%H`7We9Г`+,9ez$/O]@q(1Cǣ'-6m$"R.CO'nkQ㾟'0o0(f-WuhŖuD r# c:Bƶd@ YLlƒnxyf+Z%nzBq1X*Ej' 15-Y&F9ef^E:e,f7YUOS`Gmyj k;^ˏL̗.uPE T+X.gԌn`@f1]"'cg={EJ`TE_u'R{5V`]q#o>n!^%hJsDB_qn];t/|RF9"p`hZ.8"LAvzL]22o!Ѽ HhTicrh$[_mDz[an,RWjLf;1g@MkXݱxzoQoIݓ˥S̊ix BRqD+g[omAjc+s{C n:xe"'<#L b v}.7'65 x)WnlY4qPbr&yW6HbT a$sO?ݟHE+1C tdxD.ҭ^C6JFgȑ[kcMEon Uu]%! */H77Nx\kܹھ{w `{<Ҡ8G̛] 74nAGCg@{29tvlRuz+ɊY/,_9Na?0wFRoQϰ]m+WqBJjΧLY(QN8 Ib[D;${J+.}#k A(R>+PuB 0.cx8a+F$s"t)]zu{ kwKJ@y*Lx1E?׌ 778D ]bei(5ߏz\nLv7%⦽=|H2oL}6 /Lnu2'IC]F}a7}nhdSܬej9l+zޓf"ֿy_bG*C䄕y `D_~D/ܰ-j!R9ԖSE}Q.F^˷j 5`}_֕h*UB%_Cυ0:4` [TKf2EsJ"wPt%Tqk-g[bponk~[42?g\Xr^eТ]e M;8[/qGSݛJ&(ڸ%FoBiiQ2\\/!XN~Ŷ{篢'1},?S%$t)ܩ%4ݲޮAUat~ntɍ kG9|\JS9{K [=Fb>t<.DbD6d{EB;2䭴ҠUg8>7Ϳ'䀰 TQ`"C6vAL.#ii$t~Γl*m1](\uҁ{qLxn~Hʉ<;MP {<2 Üw9p5H Sl88A<°-3s@=Gz z1ɰGz~2v%hsr c!{Vͪ7iWZdk]Dxp/PBIEXkc\gEҙ)$Sz`zP4ΞrU׸$6f .Z6$ƺmo[$)xyMޏdQi=֚)4MC[NK7Ke.iBB/? mm#Mo&T)Wf#Z@Q%{`01gYZ#v1%r7\d3&i%I!<  nD8V kV) G:z!)Z<\qkIf? &,4 =(P?}q'AO<̑uLKR~q<y.>+t30{*(-uMH&9:@ ET}ߜT~fO3[xf XR6br9#[ T $]0% !{$M%D4_! 98]nWk¢XR6l[A(E.Rh،2S)GZ.pj6~dćPW/m!\'_öT 腼yaMPGG9+`Mp -:I JD4Eƃw#ۋVѶգ'<̿' "cRIR(|'S2AثXʬ4c񴞂]d&VX4̲Ov* C:oMZ3BY E2z@CzB=t!:e*f"'2%T5L,_(Ԕw&zC@~R.'bɮ t -ގ9=QȺc*5=PϼsN$/tn)&?Z{,LjEp.mҌ_ Q외WAiՕXY1)@R%$7iCsѨmYT~޶Z`1?CZ%^T;M8|WhY O>"نq韻d*IA,2uVБ.l0;y]~wJű_,Y']F6Ł{?nW](Ss^V@;\ˇqMR2_fՅ5[jAwM :9ب._; qG durb>FQk+[)gOlUZ0ʾ^'ʦJleJf 1m"xB,QLɯzVg[ C[vx7CH"`2c-r|a΢y}Xf/uS)U6aNs {ϑ}$nKU{4]˨ϛ7jvfΓB#>؂`)zK\yNHlHcrSy7[) 5p /0#>^K$H =ztFF9%u?$ [c|x*ǂY+*9~)dxzI8ClV> 9^L??$c[*9sԕI;YeK])DiU/~ lR.4`>pQe#fb\z#LD?yA/;)m1c4V- Od \JL1dvAX/Qe^rNfgD6j϶^Lbbx`"=iF %dbmګϝ,w}F7HSj5*"ur; R}Fi}v,lM:zk"| _KHމ$pv jQaͫ`ˁ}Spt ;;$05е4TuV2C_XZRǑhl+7FFq7)k}Qӈ*VFgէK4cY/ t $2 #[_N0dt)6vCF2vy)/C94"Jړ8d#,Mh\ƞ}Hc$G/dTpf;T\`tF62MVAܰm߀3b)`A*>|w|c.y5 ơ-DҋXmKB@ᔭk8~W?|b҄s36,gœsoFs_<?Qy魐0:cF=|VCVҠ>,':qXţԭ&yG?={?p%@L\f0o EslլA_;afC㐺n!͍C}p9n/uK=%bvưތ9no[<8D Ap/ptTav'dG 1r xj @sbQݢ o$қWE1hɕQҢibAWk[;qf Bs9dX$^kD'W5et-4_FGq#}LFޢ9zmUA)Iri(а7&$1 x"\nm>˔ɼFYsp9*ca' y$7u"L.RSε'!.&!1E^;VӅymRݨ+xyC&ę!Lw7 %`KŠ dd{Ezi2.OĶO*IRʺ6 X#ߜ:gCR(E*qFc([1!',kI=P- c"0[*Ύbq>3f49 J)?Y,f']PPq76 mD0?_jKom!%+ He7~S8R R8"7%rq3RSDS'5U5'E{s5dǸ~"Ɉf^[S?X) ~٪n02 Ģid1p^e8 wq]ȴR"wH{h[lĒu@_~)ھeC?՟pQb*h)]'#{-E XZz7ǙAC f'TmM"&$H~.j0ED86 'Eym0a^F"0uT1`0Oro+]8BM ͸:~phRɝ̃Wc7k{Y{cW︬E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxueʿs,UAnqJvs]Is\(WX6P}P^O{^ΐB[+ nע٢jŦ1ˤ)%=0ʶOo[;7~zvit!/;ȕAmJϣ,h HlX| N7y0>z:bPk)feFhj7 ! i?M\c %/!|8e`,v_ eKsώX9g|V}͠pPK)=_NF>z恬P#9Zv|45F^K`hUDetꚠo}MD>CnPfgܫD}=Eӛ$NhHy=0G-?E&Lsy skӧS2]V\Dlb]5^ o?S<9㌹|iʘœ%\ď˖aQ2sí`jzB ^*$dEʘpDŽ7C=_T"ek`'Z~'QSFMp岪^u{ϛ"@j3nw xl=tؓPBpQ8;r bWoV*^N, rd_<+/#ug XFR3p1?| BJJjwƢ:|m3G!f,EF>rKMڤI$Pmu3(;H@O'Go|t, d;ݙ:o|ttlFF+'&vp6$*`!kO^~1r@5M{oi 2'CްLUXt.nbub1{=v0V/dav]ga\Vfܝ#]} >aӈCq*# $|{!3^ /w(Ij;ٮ?7rcG84Ml  %, ǝQSR3Ra1o'cRd7>%a]&DZ͟9__,IQrWO12[(t*GHlLٻCps<% ڵ\ULz pV6HGGw9 a8Lƽ]R[c"'u@"wčNN<;%=VeZf􍯽ZYt W(}$;8 8S" 8-B 8 Gg{lE;.[z]4;$,B6J)؟Ӝ3Z|PyY2}ܬ)gTD%ւFdVSnl7QtC=Pd·=פ>w$~OPRwgĉX.9mU< a v8|ؖI(TDDh]=;BWOG[Y46Z!uEe{̩՞Hm`pϔR\`O9/1CMp@QPV  XYuk[$}k0p3/EѪBAm]ƽ%>O'66yb[xpht"6 S'& C#rmA{Bҩ{}w+#Av+!jrFVQ:xﱤ ` `Ƅ|R.:Kg\ rvNHe}|h63MEpLku9ETj2IQO}%nW{gO'P@v|eViޠJc,GP aI-r9Հ4)fJLdB4=_eC;ˡBVl@vnT tFat h}(\|}nm̾?DOp?_ȅ:\Ej_ lpGkDס_{lM'}|c|e87>9Ak7}GºD j%Jpۅ1sb0 t8;mCLH xB0`\2*(dTEC k-]~ޕ j#AImؗ6Nձˤ z)?6*kͺy"ESs[k>] agbR/gX2'X){Y2`i.wWDK* U)ҏ-ھqؖ:b4ʡV85!踆jD!E57!#?#vػTVK`\3CݠkTAqkFÑ!Dʍvg}Z4;W$!QčB%l wD\ 9e|@(52 CKb-ja3wAx۴הrL{J9]QYDgar'3:ՈȇQetl r*~p ~Һ&F(aIGk/b[IDZ 7+bY:P*DM SĪRv`2WQe ne6a v>@KHrmzYf'<-TpTl"]_h *-@/BlfcSź;x D q;&`;rS}~p2DA|P v7m&G/'Ʋ$v JeULL s>hyzb`ڔܮG$UB·A.KT-I$_^#^;~+n)<-L䳸is`CD񽩒_ uR$/!dWT\,6Xӆ#]¨egPTrИ2N)LԻ*d6j?ww[6Gta_`~zb lk3[dN㆜3=OrbП1NB(Cj™ %+ ͒Z4aOf *mecPuzLt1`jh08@Ä}kĸRHDB.S)q\sQ-(`M:lO0/YX3jrm8pav}ihi+ɃV!lsK\Sf;UX@!-8ꈿ9ȲN8&ϊj]YQzPf>5Pxz{ !#sF1c'%(!?yA ܹb6utVrR#Z&iٸco;2!^)]x|/!z{4uKk*עG7F]$Jcl𘏶wE?mja(=#aÝ mvQk҃cte5* ָmˉ?qQK+iKAp@s y(cW #L]F`xDGkmWz{Βr'::W3SA%hPE /"1&+K~1z}6.f1/6 ,TNȾt}Q(zlO WQHQ=gֿR혽n|0MH 6*@Pf㪲 pI3`ϱӉ{"7n,"bhkFCe5sX'v0\Rv{}+$Np Րt-O%&t؝a^Lb> [OQ/Ɋg3qOpŭtzA~Ē, Tc`B.2 eT8c)yClGNF^*U E& =4|oDž_?ts\#b'( NrY`2m5Dʿ=GS_뢉GV+9+eqYL՘ WTkྲ-N:dbQ=x*AuGD\/ W5'_O+#~ɋG'9VVC"gdZK߼FjҎwxCqTmJ7aP_Ms;OeߟZrK}J}QtCE7?7M'v1hj1C]0a:m;jRy]`+Y.YOi)d\PwƑD  笰-PEzWͳw.enŅ6^;q r? V9 F!:2R~آ2T/0X[V׺ !aً?+dx38tq)O ZڂfwăEcCjBhNa3{WtwQ8?Mwh–3>2Dk<;}5&Ϋw4ĸ5nz%$(WQU (<)iRZѨTQjj:\"YD& ݪ9pSq+]pŧXĭϋ"^ȭAA0*O 9 g!DR)u8#DΉ/ Mf73|L6uc.~3i7XFI\ w ) b qmU,e@A큯d6>UGdaʍ1=.+i?Cy%Q>6+ )Q .bֵ %ԀwS3Xj}mw 6`:O)$if!~`j,vtvs,{C qWL`j*[x0YM⧮s9#>ipshT/uɾ7L+kдNNm2G]ݏ?jG/2}JȧŎ3}(fuF1"?ۏm}z0u 6@|CYv  Fx ~qɞ RJo"O]_m2iR-M Zu鉍3E8q?`" uAb_9< 'ʄHh00Nǐ한r:4e. Wmv>sVD |,e G]G;G@nUhh%??V.  xgjwEnrb{Ѻ4»<1Va X107?g7v3!k5~Uаv:n.sKӅr@RPB`J\#(ZYžjחc5_b3*~H֫unߤSԽm;#>hTK"y`}3K|˽;ʼU5ӫAzA0 U4jfM? |%7Wkgz/gKc[3d}P9`74F xpH+JG#yAj7 4|b^\`FǤ {'R8Nt8]dzNmiմ᷼U܍_Ja rNB)U654F}^tcqP3Eh։i`Yw:*pDkcpXiun6&g{jdžB|W?̸oV;n[օ<>dcmf jΑ6>?>X 8)ؗ03B$<{68đCCf,(؁w.Gtس4\ў !΍CtJhhv|#/[pnjgX'.Hu fV _Jbo2od@v5I;Hs2R;SUj88ylʚNՊmelM~ +2Lw#WAй@\QE{owyi(zgWuڏ]Y& rEtmv6JwO@W"?_ެenp@Uzs!bcTT~H߇Ʀ.B>߯cYי fՙ67 Ow-7١\e>8*lU%;A|e&=pz훖lKE1P[E,K47fP\pC]gyiGk}lvq3p%Yؒ>\̖ Y*Ph:FM;Min+>rUp1Ϻ93zaXeJ0ߛf: 6upI|҆AlcKBM=OO}7. M痸l~^AM z"Μ&A2qD g!ܜnȥupPE6z^ 8!W,IfcwLղuZ4&fnjy/ P=G#y`m;mTlY&[ʻ zQ@:Ֆm0FȨw{LbĉC'oiVn4]>$\_..`QOƎW'N,JU{z^=:Eun##]LJ?t/ea+ S!,Ƞ ˞CqRSc뾨 v;q"W H{רr O3U#1 eP+m.r#j$#ծ3=[/"%ONN-f.l 0UIG6w7`R$fb2l[fmg.6Q v@vo׵m{.֦p5݄Y5:7wvwa~=ϻ^}/!FgNե / <=bf-k\#]AU q?=ţȾ tp[}64(+M}Q5]CۊVdлh5k~K4„l鏫_+X8] ^A\so% gqRD^IS8ڌjFWC(p8P4D+"0*(!CRZ!=fl3jNor<ְUɅ(7!3xSrN6n(l(6|Ba'יi{Pn(3NF*ұL~ X 3_沄-Y1׮qg/_-$c߱x ^孰;HBoH0]I#тƼڞ2ˠrܬJ F4F<ߤi5[VcY/q@&*k /0Kz%Vk5yza|tҺ iK$OL^c(_pdl"]K+\DToM.yJ+R;`SìhF(p>;hgYZ=Tc?`I6zh^,>n5RYGyIt\ɚ(v!g}lq4p5(NމFw󵙅. #EԚ>xxj#d N  ^tvhb'3LԻ<vJmUgc塬ؚ-rM˟ƣxG$ S[ 1`/dh=VkupNP'$U/=Ә]ZqAJanb#Դ 3}͌8W8ZieCwl Cmd 01nv8_L gG ݖxEf?̏1Dp|8hCq3b͍d DA;I6<Id JDmRo%i -9Skyv$[-A ܽa o9W ~lHS_ *fH\Z@*纍bwΥQ;vKVEׁ06b!BR?zu{r)S; 4A%n҇WuIOx%kējn{V[d8bz0a/ p!~WG6;l2 zǰŘ;SLp?cx!m2f^^v`s~GLgF3]<~D)Yf onV:#>2ǻ9T؁a6pu'M1!C~qlH/i>9ui Tl5%XL(y?LZZig&v! y 3f\30؆8kR æ=10s59<fIOɳ>긨#IhK6?a7 jcu 7f#~[bn]v>O *ym%d M{Ɲ7a$ kR@kE+ƝK^y[-zfь=zg+GQ`|8w_:vQٜ^k\4Y [n<>ƽqGeFJ蒜:cgI f< f5Z;H;ѰV{%&{6e+ 6Q@{2^P)8oЇф.((6 #A68A̮lIZ/- I>S+R?e" B|F@{ |%g[<ʧИköL4kҼ[Y{4x BړҺ:QMa@o`k:nZ:Y9"T eD^.ˆz|S UM+}e/]_`:8[xS!p1NͫjILBhAy4/d*G(+n2i#1og`;:S^ۛ;vQ#H ɺ``ncYj_ٶ_*gZKW&O1窓4㑍4rf;+wdUPfD !{aXdQ UzPX8ri34icOΏĨ2b C_(&T0pi<#?Óۂ-۴6wn4wٞ 6HSi$c[^?AgRsV;2hA@:7Y>ަC toy oF &q *)-Ӭ,g^PTo {ڸ/PxWǩx!}Vm-0NO;&L^>| /B$kfmd8>-弊lۻ^j+q2IHoHQT?{;קZs:>H]e) /Ļ+Vt4J_*4q\+PZz+>ȋ7DfVΊ`$˾ 1b9zl;Z@%oSvb83KTݘ3' aׂi髴 YVſz J hiX5K2 z !p=ҹIQ<,:2I0Hɭ^TYOׄq]#"T?G.i6P70`'sC<9~ɫX;*QUK5LF>$=[L+;Ot6j.zm`dvWנVU!9lf#zhߟHRZA%%bfStg$ tXEh C8d_:CFE4NiWZਲSnr<6meJX:t\;Q.]030#EsHkdQn%kBXE?^U AY-m/ ^I^ZĈ!7+ܲWi:mISfph 9&f[9!l$+LNGbvͧ 6!}/eҋE6 79jq@66X@Ǫ$VRA'Z+bl`o-D Rc*xbKr?Oaȫ&$v|6e c2SL`g ̦YtZdo71..2;reC[EʣQ*a_| qr>΂, $8Iࠕ݇M]! '6 \ O(T3k_ \}B I}LNcqaxaJ?lYns-# IJVCf Ao>ffDFQ[l }8Qð`~| FB^bH+ypb"|3=eikyT;IhF6;hA;H6aĥ.x3XJccᗊyUpMzP doñ7J=gH=G?NFp.Ms3Bσp"IIwP9[9h6lL3P0D9?pY>1MmHqP bt&&Ů ѶW/ R{JZB"o'ق"āS-S}yV?3cS"~&Ff#ЁCu 2F.Fc[sߜnF 6coɸ2R\r]ES@ެ@Zc''( -ɂL(رv xwU~?2 `1D6./0,W~XWF?2sq 9^,%ڏTb!E,M#2yG^~_4Uɵ!UYD}òئwG J`"&-&ў;p *}\z䨦M? 8k8 .W!4RS9Л 6$]yIB(NZ:dIqeܬi8vcں4і'#]) &"'=T~̚:8p7%m ?38SRq~g2m]*&Uŷr9zi@+&eyD4*kx=]TCtolE8z`#zxKZ2RfI)<^|T$ϾX\ x<]Fu* R](!'YKs>!+: /x g=̼`K 'Ttp [krO%awA3\23f#C{cfNVҘW%QEb=넕%x4zC~8XW+n:a>IsGah'q=>K69bůPcnJ'_+cbl/2h0ĐxM+\@W *؜a4XoM@`[ аhrjEL*DFY3l0ǀ7E4rUlCe,Hēab/PyKd߂8BOFQl!rV*B`kO.=DyDl!԰U86P.<ޝYX4 v6u:1a4Vcn$ɗ@m5?=n`ϰ|x &mϿ4 &retye|z~MDfRG9r p36[ql"TP'}hIq\ml:xMjw#p(rvTAͰg`Z@;amVZqU8RfY{aRXϩOI yZd`g⊼IpŵX|c+} B(_-]V5BXOKU`#p11B?9VMc Q+u/ơo9l^s[p%. / ~ <*5c1fnFS1~CρoFW?ŇfǎǷ{/<]~U "W!vfNU6%`G,t#ԡ 7eS%vD g\T=b Gh:šSu zgU]k?+^žcX9~@3S)1P,Ӑ僦RUr`r$w<]F zR9/Wx1h㓜¿H^>dˈ;NS,kAjA"S垷Y_ν"p ɷU]4E1yAIQKv%p6?G7zM>UT#b7{i'9UqKܑBIw-c_u7|֖tWw< [*R5[ 㛫ߋzxuhxJ-Ix5.+p[դ< Tv5D -"9ds*,MisDW˹A-Vq(%A0M A'?oӉfz40e}w{oTwԏw%|Zbϔ MFpFb <.5ަ*&(duz}ĞJ"x|@1.V|)4|}{HߑYRH77)~ ʼZ[6S  ;'wA Z$0 'qB.p@y( `)egg- uȾrQ!XY5$IJ'jVgtozJaf}MT:slIJNㅓ̲WLp`>J-sh%\(=t$ iufU,/Mcq^&RF[pr)L-d̄5o۳\mhv~z$_\#rt ϧom?MyBJV7LOe-ίCťG8wQ;^#pٲ66ƛ6O{NOf PيUV)"AeKI;v) [lgY< ~1FbXV&}RԊ%-C"Gj`}oS_儕)_`:7AI,du HzhGkҶA.wl$Ek*3NYv$[ئ-MҗB>1`LS5IѤ=xyHp>J<{ZkC`,n<*ydla2M6PxwCTks94TK[c6~8&I؃cA][ޮL5ђ2i P -`Y fxݟ(=R73 Mg]MC6,@J?|:+4nIFHi]fzTi[RMXHะHj( Bc= ėepڊYoΕ I|jzRp:3gPm^Kw껖' lc<&[۰ڻhVʴ=YE D~O=saloFh EQmv{0euԁ f +";}GK;]/0Mq4),}F+_SF<.K\LCڭ4b9=X[g:q⽔,W! {T?)RWGfˑ%??K "~C]x'FI[ t3 lo_}2e1j sI?lm۬YJ6Uޜxғ _ F3]S~QCE)#3909L2-Zaya[6PO;qf&շ $ "o|V'l Iɞ#|&g=SROGnvF^Cvx?)U=:\En#Q>8'y<1VfWn4-a[tq `\4z} 5)K̀ ~Kp5E?ċx0hNǢEכV,kx+=?T8 MՃ 8XC3f6Bj)ٮg].VFNC[1 >]Ֆ.5씎%P@wa&쭥ogBYUA^]˱H]|G=y5wa}%k-,Fwbzoy1H`QbU ~e7R’ć~M!AEEm0T'*6};*אȀS`+LWG\>$z ѻ@:*> f@ݝg<;t d])T8Y 6r|ڸ7$$Jgl> {M'E57Q,QV>/GpIDEԚeK$\Eg̎I/~C;Ah^#[?jq&;SJP":R+Ɏ嬨(G_v`j$ڌi_SIqU!K>#a|d-v&WZZU+b&oGQ :q)w o4_H"Q=2\L<xL#X}ASxhCܾ3 =KI$* 2((yUx%|k %ucTIv1b aap"EkTy@fEQK(0hIk!͘wIK7FPD&݄N+E0kGD~]ro]ōlC,n4O_ j^] ƽ} ȓ4~Qr< ^2FFEG<6&k\rEƄNynچUbaNr=Gihw ;.͋C񭆆;7Π\{A$@Vx:mToK 5 ? l~T7y]^yGOLK]LCtծp dvC&;=!@q y4rꨗ [2yԸhr0*lԱgYZ  a a & 1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 5]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4D<X&1hޗ~)FRDY0Pѓ\C6PGJVMwٳ-W~ i᱿{i$84\4vQS *!<5WBzM#4Ray򤍇:-D;h zV Eߝ6ל/ԩ=*v%S;\8֎R}6)\12l_]2.7g@Uz%7x&S!_2IQ,?r`Xb^֏uQe,m}ymdqo}ۿ/35ȫd8eB{qE^ -)mi0vtmf81aˣZA)h/kEcۀK3jpx%GIE,f&_@yAM3%B9Mk򛮨kvtjx ,`al-`XO0J&W4KRw­@+WYuQt-Pŋ\u}EKk+6پkX`'TNٍ!wwClrq[2>׌u`6`smoO{ PEGe, hhOKS/:!Wt7^]a`2(Q6)#Zj4zAS#H[7MIk@[/۪bƁK3}:nR:}$'L jn#օi\_;O[kĤwtppS#soay€=6('%ZԮڗO'"iu QsbG: ãqڽQ㦫Wn6/}shڐŪ&17!^˽' cQc%B 8< O]D,?{U >5{Lq<aNNWxPA(ȁ( }%Qڴ2XEP|e!cܸԏLU a\l>1+ j4C0{8)_l HT( mS_4Cn.f7ax 1 pZ ԭ"+LvHEI]zFB^"hPMT_ ׵vZ&1iP[Icƴns #/|07Zʡ[ҕll2x$:gؽw<^DXqON-Dvt;1?=7(͖:$[):03VL̤>C9yg3.*S%{bi7:ĩaص fGbKMUϮHgʘOn.<A,ND+%k4Er~RSIOƁCXz Mn:? ֨d/C[uW;]A&á/#=h'GOË-Ԧb\{@ҕ4ܹx?Aϖok 5|.YhRTLGPA!sd+GN 3|~& 孼y>uF|])Q}yDN@oڄA\T5\X3Th c.:nV=?֕$pCUQ{u&zHʴCZ>öb8a}اJ1>]2eϐɪn)}:*R6Sq(`R*}/C>&,gŶghIAKtPZ.4fJJY&J382?z/7>р0$.˙vЊ\e6.'aGyuh}8\@/+ֿFỽtz1[{r6yᧂ #dMЃbԵw4S&^|ҳ,||Ǖ0{%o)jSD넻i`7!xCuקf f-R2y"X@;mˡn=pa6ð8,DKM*6qiu2K?-kX,{0w{LOeôPGE){}ƥ '9ּȀKdi˸<>^WJDhZ\T0Lh8B.eevFsX#a1RS}~#ޮz . 1? (e} J`r3CpnzQMu AV 0ĭ:;3 oQ+= B^Lt%,68*Wv ]/56ct/i"^20 | DƼcL"mwPo$b:P({Slˋ 85>Y͎1E)BPc\#Ʃ%n%'𣯹c{տV݉>Dyr\(BQ'|hQ<;stOdE0-OiR ?ɒUr{f}vȒ^eh7`OᡀSq9*A_ò/::xZqyK5 6y*pDu9ibK ,˽FH/Dҍ(YKnS™_̫OIs^cĔg\`>AԜ^tV-lQC-xY[X? Q,eUtba`z5T~KL7(?U/YF/¿ NBo7E =bRye~[D3Sag5,*Kqň~!PM #8xaH? z|n愁vQ3o$z8ˍXVxL1%6vT{(W $ u՘C@6C ċ6aʖ+LU~HIIZ+\Ⱥ,&aE$U"Nx+jNzziJ坖f=ȏ8.̴,z/(Lx@ۘ#(V28p ؎oiM1f1|4H'Ǜ,y9V.X:\ٔ}SK3Xb@_]d}>iZQ6g{*I`Wo8߄.0|y#[xѸ$V:?RKE!l渹:dg+|Yg9"mq;X'3j.WR kF0$i_8zXlO,j?{2^}|bx\Q Z$8+ WW}} DxCSG{,*Al}8H`^=mN>a2)@G"VQ CN !Vyӑ  'gc#H`}!)_XuΡ!^zC4`4a ~kviepO[;ʵ?wBҩc̲JG.tfM2/QqSbˎ~7&64aVf\Aۄ97g@fƝoܔ )wi} %^hT\83OO_VwJX`#}zY0q (;QᱡFV& vU %w41zRHI3[/;/'sm܉}}TIأL{C+N7֌lm 4JjpFXi:Ǖ_ЪXCg8#hX-PȺ#GB*f-OѼgeojү=fWb(]h}k䃽\ 1ӦMMmDʰ: bdڗnzZqQRa)_iXϒU "z >`sO?W* T~x=,MTWѕ a,'< TB Ŀ(濤e΢ _w^G@- Ҕ}7ƀX\03^&c>0uv$gT?^?Qe 1ϏQ&hp# ^jAT4*-md&IIzGRH ..$3t:_Z6L!l2_)#wAILoEfSwF]M,T*# lݢ}qȉ6Zj!LFp | S'Kp暊n$XUc\֦|:uq$ǹJd3tBb$$kK~YLz$pGxѩ Fe:kUݓ&{#jt,_._$7+~10f] YoHCӞ%_t`>*Zk[$GNO-sZwyxh%:gh%{;1TkF/)kNqw];XF} u^qtz BN}얠#F)-*I ?Piײl53ʴ#=Y p_e}=QWjd~n~78[TԘ6?{ SiYl<η3mp⓽Xfc-@BF`aIo 0iYo\=Bg*3m+z| 4FF: bP-y}$7*0\s>yxH0% 3<I:k56D\ӀN⑞'9H8FN4(wq.  ,&?Hv5I< I[xl3ӓ1(>l,(.@|_əLIdoӰ|[n`gXiRZ8rSnO&MzXMP/Gw[N\k70v* r)v_01g# F5m^J)Wh0%rT Jk[Lե9HCz} ߾@"&WunhA;Qpk2 d84h&|QCeXe?9%ӆn8VGkn33tbviJG0ڰz=R4w`W&k\`S/5iz x~@#8h!kj_A3*/!Tp);3a7sЪԼm2*uQ^#nC :ˁa:DOV~TŚ9nb,3)R.|L˿,H6D6ЋTs^j+N1 S#vDSv^.mo@(*)go(SwZQٲw2_i HcIa0L-CIllx$nH| -mMcQmf \b9S-bs1er+5kG7Y= Y!C: "a#﹕|2{KXf@H, p>T3"^qm~Z_4kHnkwV$%,:YXV),` X!oc`~5_FΈnVW^dbV8E`LJ1[7a;(o!pۡMmF+HR5_'S i j%.5.F~fyөdϑ^G4ZrbvV$y s`h1<\AwvNVyNtwX "t~NnDkswٞ`ǰ5pOmrD\+??UɁ@<-{Ĭ^7BTlۣS@0-)) k/[c^EX}mb]/%6B3C9?th )[fh/?g`4]W=785{'LňB- ʔpٓؤx_@-_:nTֳn[ F'A#7msϤ :'nܳR-2YF/ ~P(.U-c|\j7N&$4)w;YW鳎XBaD͉t'hoy(l,~iգO*z>sɡS> Г&C[UK.9a=[flڌ6M= |*VG%Z s>U65҃(b LZ̫&vsΎ4'85HU2`tUY$w'1qld-P|vț+0\*3ii:25i;1g"xˈX(l:Є&M*#B 7}A9ݬѠi- &aS2=~G5aI:XZf6GYrS:<6$b!(0COCn0Ĩ3#xE="^Μ LTH u="~QzI8|o60J`R66#D xn\r0_)O~v ߕyx1L2)TR!fv@*ן$a+zɸ ([*mEu_%]@?i}R mN@B%K܀~țrc1u5BBaͧfJRn5.,HRwJrqtl,Iz:*GR̾Kq#Y.DcBڲzV'VŎ7Xa ZxEӲqpy伿c2=NV%N~V\1G٣[ls\t<(\}i.d }Q@z Q/||-ø~V/q|ׄ@Xu&N9Di>8>z8PV,…ɘT͒#Nv β|'ѣ2nF~e3}t\%:Jt<2>܎GQ?TqΗ\[oS6( ^~s%jbØ/p]de|_Х cՕ YvvǤ!2}}<1la( $v~[B.0q>U*< dxFN-ⱁhTj(aM^5~ 0]q:hA.I XpGƛ8AY9 mV8g}zAKuQ|4Vd&ESMHx`+`trA@xɢL+|UǏ)ᝰM}LX{#?xM00u:A2f?o ~_E8KO.Ǽ^]P#4>,]3 JQ_:[T@n駾l1|H^Q?P߷h^> 糦׻uUfhyܬ)9~T 78D'|5֩S9L824͙wmuz1&~i77N\h9!tfhϫb]<7k1fN!uw8ڬ:,G GCŷ(μpB?ÛgISJ ش#B?wH11Ibu? h%}V]Z7\[`Md#>U;aKT;C!M:\Q߆H TmZԠ_i0 HMw]§H8*Z J*[DJ^2A&~h:E>2tUjcZ责*2/7\EVtNɇjJ+B.2au[ K1 r(aC,W6ӕq;Ò%eCY \T5k$[6Ld?~K>??YןEh=2zl3&W kd }b'!']&Vx4>u3ݼI{)Y|]9Ne>oՖK{l=W33˯@wH5|%gt8.!2:CbLY8=|?P$.Rۀq! dKפA lH XPek YoiDb5Nx9YeW(VjNd2f>aŲ!qሊQ瓘a4 fK+Xa L2 rDyHF^mr#5Oq>8@pW ̟d ~a!RQlr?BS$/9,ˎh̅?N*hV6<_4sǺ/( e^M$(d) x( XRi uA]:$}?1Дi@O YrQYۘnRy^ uwl`RD]6d{Cָ"L.d៑tp}=4!hvG78AQ$qR9lsUY+PA?'EԊe1>?_)GV%8zTl`I\ $nҞyE R; Ž*(""FIBnczŒE\ mJ0=1};Sͩ*ƒZ0 Y=O"- gbMH܁F)}%c>cٗқ;{'5 1^-W_-Vά#*X}BwwnD` G4KMg\3iq#loaLelF7ᚠA4r|W];+X " Xmt!n.ܺ3F֔N 7.{6'fH\#ŸcCZ>. #.z#:!kXG~l},ܭO"Pݔ*Z0FNY_yNgM5ܲa lVp~;9S`j\60Kk]p4>wՑ:]L?!ZL^H˳u{C*\5Ɉ882XNΣ׳C ZwI'$d ?,sb>/&f@u*oO4ROlH-K/a,ȷ8exG>Ʌ~(/!븪8`v^׮\*7;#QC7`l<5k^ r=}Ãzl oFŻ:σ_=&-n6GE$OیC2b`L[֜l8P3b<ԴGo8*xw]CDçQaj Ot)ܪUfAW;0ڗ5Y*ZIO+jg#Cs< sy} oecߟ}p [ ܮK*~%7QW66d4$+KںB1Z&tCJ5)ĩtE\č!Bb2dUCa# 2OV7vǓN^7ʘ?"TFy֋'KEF+O,"q鴴X2&WQܞt YX4\F~b$ziǦiֹMZ+zPbt"ʎ\ ˜/GMn}A<-MPQĕ=)hS؃@;B˛Q7`ù@=eh  YO!haKPTH:H?4 |},5e-\|0'ؒ/z]QO8I818'%efV1WV kEIVwտE{ 볕8nTH3CXld)J&ȼ'<<{C"iQScT ?<, 9uFY@] 4a $dCTHyf ȦݪRo^/1D G4O7ON<BFmíc1S`#ֆg$n OeFF(qK>-SY-O>D t.%a c>:\oC3ѕu @'VԎM}X*Gġ"/\/xW M p 6ug :9*![6ř]j>nGS*{a5٩pV2!Y<5:cbntB5Hc/ -;~ g7qېX)IrWBZydt."Yn;RԼ?D$up>/Eg0Q!f ]^WasF;iR(Q3chJܷVHy6'=,n'`މ:f^Aݠ=(-]\͵}U@k]AdqjPɎO/ץb@\8~׎gA]IB7ldt._1k}}yfAfa믴Vj{:AգB%OUNBVֵC.ЀuK@o9⊼}ִ;F >!V f~׎#G0Ω!aԗmA\Opxd8=yNj7EXU2Up W5 'wytk1jR($JҌ,nT} CE&2*!2UNϝA/Dl2f<8dz\.*WUՏ>P8ל.I0xkC%@5 Fy Y5.Oد_r)llA@UK?P9YBEܘYNoawqz"^8շz鈒oG{-*Q4+f!+C #ysN S+2Ab@ՙU`=$Ous _xl`] wEg@[%xIWP!x޽*t~t/̒[еcjɸ$w&W&2DZdZm #V U5S]0ɟdjafE)B)R{L:EYw%/MY^"2 (0T'nև`i4 0nl~),;Ӵd6@njW0C`s$C9|@, HBhJHФ>mO34$h' q0))gYZ }}p' 1W% THOL-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&K|@}-Ig>YBH?|tJ:Yqʱ W^H]> nIsv 2Ǻ ^8-1R5WYX!·Qkh {~bfS̭Ee}oO }S&}G|+<$0b>ks% &$6SA`/xE00#+MQl˜M0oL.I.ZFIGHXM5LPW;OAFsL\jlbu9d!4}p >4 ܴ5'uGgob&ITYI/l1#SKa,v||Mw`!1dkIqbewU7 ?VžSΒ~&AIH*aP4t'rJo7 .t` I~Db8K%3YkƃtQAz&Qɢ^IxEVDa\h+D'ߋ.Df77UeF^ z[yƏq./'ʾ'媷OQNTiqvĀ+/jٴ*(Lq+v)OĿ"QuL:iDvWO0{.\.px(HW`mلp44/3d zcOcpbyhOn"u;+."D%Xd$UnQָnn_!y,rkm6$n'I ~ͥ H=z3lXItѸ'nK:(znA]FUo4 O(KenFozδ10 仚.!5SlVQ'^kLyZCľ9I[-];c "<IfAIsWw8(9=鬆_eH}*Ug+G%LuT_\CeO"ƙN' ėh=QbdR~j8f-${K;eIG: Akg$?Nzk8AK?c 4~Tږuh-o%0 -) q=%F7l?=cQ>FLҺNq(l :Kݸ51w w?*iP#jmef$;_P(.*ђ6\N[ct\xG WC(u,$d[H;Fˆ\oYVcAxJ[| %%}%YD*$h &Hs)AO6\1>S*n4[$Obh3@Xn#cI4񏄎,aTpޣ 3ڌg=a\8 H*Hv iGWcI⒄Dx<,"2LJ_4Bqؒⷭȟv@Eܶ5ӻP:y` FZֱxAN i8w0/gTUU(l $K+d:^" u5J,+Kc8MSRF?I~w^L5fW&Y: &oXE-,E,5N-3cLZq00E7|lM8v*"ҒsTf &aE{ ]IƶCY3LQT|o{ObWUʦ5jUC֩EŁFFv|ѧ4ģ` 1xs(sWLd8 HOM4SX 19C{5egK'Sm2)7{3,ڛ^H{ߚÒ7̂2MQW2V/liU+MPsOa!BΙJi5K#YlĞA˽:ű+<Џ.S<"΋ ,ʮV:1ѻmII  & 'ftMM\1(w6Gý\U@ˡ ^&f)O@;J.CP=i^>&@<*5TpH%Z:5=[jlDZhwlWbks 1?{^TCt}5.{g~H6*4ds)DPpm"UYxGFR5ٽʃL-?"ҝ(J@R5$ m/ZVU/Z4L[ݴ&^2_5ˈ4f I>7eph6E* H9e !$H4TvTB1[Hip>8TcCxܸ[]q oJ&cS`]s!꩹oFJ><#~%-'Jm5+,d|,&<$esl1HrjQ"CTI!8"v3EeC=\8\/0%O1:$DXPyY^^I+ND$ ˄GIR<)=fI5C[P;"W6?M aym 5^0#Ap A$[gɟo#?>€ f/ 2ʔ9zt$~s٥3񎟁.াSƯ[Rf^rQc n!v/Rq{YBDoCwm=eद.[3:.,R> rয|!J+5W;Zdh!n8'S/4 c5DQ=8%sFkƎͣ0K>^j̼@wvЇ5 Qj94طaSi5PQ=Hwլa@*zI.J. 5>R j+ 1Yb T뜈TQB[r Lͽ}Lu syHN$=a;'ῳ_+*4]q'ŽwF^:L!!co(DW$o& #3!'Cєc%K\6%MQwrZb򯻂\_E+M&.ۀ5d\ay i|>[ d&aRej.,5/^/KhZSc OIv92lE x4C2]Us֢z*}B5-)mtX8" |{kںs/5̵ V^cLYjݤx:>`;Yݽq)/dv*π*U=^MI< 'ؽqu+G.$h{P3VV OZkikwj$B7RY\ƒKOٷ>GTmo\Lqa38|e`,cOe)1]IqYBw2C,{qp!E `;y'vuSB$ugE!̶bZ̭M/R)G$b;ģZjٙDCPAtU0yz%Fs$lm h́ S;iT=_/h4Lw۪n7@$cgL/2i mՓ|y/;8!A:45Uo姾{\LcYZJ1&cC9R[$kk=0 -{}GLB̏Μ|6EџVB"IP(PK_lLwmT;=QTe&)C;]gުf%8(9Nzu?6ԜUVBC<[{VecP~m[WXNqnJdi:Rr ?&ڣp;+ш$hRB?U;4Y0JeE Y%&ҰCXݗޤn PREHgZ3e`=ɤLӬ LL3511GumjOO>hF bfdM%WLN 1E8 zA;IIvSvbCOmfm#rn]op*fO+:U;˞g5تGrb{vGP? MnˏV{0pEы`mʁ~!0XL[>ܧz8f&y-ϑyWKOzpoL)Z Z iJ<>|,lW$%@^MprQRdǹJsod%HUA4@[1i6ӿ6e9P$Hpɱ'nCa(z-ݭ3`EJsh^xd.؟͂P3;H= 0א+CT^:)PWo-Gs_{:tߖ< Jc)udC;xo`GF2dL$ԏS Xu@7!bHgnOJbtF vtxQ #o +6){%,?h6ʭ;lēFm{F)3{qK$pө^[5԰{ 22MBұ&ԏ}`ӲZKDq\PebAɡ^$ٹ)wa3kcH@ε}CwSgro`K*H59nIHU4ѿ*}p[K5nBN4 |0% +(/z;OભmAAsE>Wy>xSǻ,ƃ4YjءU;}"/"3> Qw0Ӗ²hIY>^Ve A|C2U h+h,/;X@F.'Q dr`DUa-H !DEY|VGb} r eb?^M%<8۰O^ר7Q+\8BIx7=4Q*^4qL)4/݉T!Y!.)PREV.4zx_Nc^/C[ ?=ȠeqS(J{nV溝&-e}Z42:| K ՅMqԱn/3?5֢a2_%K[7 h$%aIB{~ݶ5kNsN07:o;c|oen D-2~.K_2L7JtGjy,aV8OSj֦:]'bBdqPF3m˲=7o6]y?ǵ0"I,c"у8Yo/ɵ(+y8t '&]p^P]ا>bo^69 m Y _:_2 n9EεBNpdXT(VN6lpY9d}H7ٻs~_ iB1)1S€cb$aRR2!ݠ^G^2P.#Id)j`SM'>5u1n|6qHfxS1Ұ$1PVpEBs]tհUdӰlVͱ2+vqCSf38$1.,"lMo̬p!,9k/c r5cWY2VZT؎|\}BES"Hučܳր7*ʑ" 8pB^(a㍡ VlHaCc|^^SjL2tkO)Vy뉕чhޑFP,\JVɽPphAcb`TE1I dNAx`i#1Qмq’$ ոkTM5 +P%/X9,&XO惴UÑT)le[3SCXxѮ©7оJ4pWr`R\!¼N=X/W0AݮK$t'x$%c[x9*I~X%F , E *qМ]5Dc70a(iBC lkRw#_Y$ N! 2Dw}WѷG@$( zRh>l/Sr DRp VʄU0WLֻ]D <0`IKWvz[ @q`R/ΔvF vpX0 ug3UnRP+u-w[s#~Āc&ݷs,' pUͬ1 >֪}p0 mg-fFD*i&BğTΪ<ӛ4 B)l*dypxP" ,a:uP/> ⨒Kf6w~Jɧ @xoiQ@::|/)F6e {9qq"T2`%jf?S}hILv,y"@К  )ݏlFЉ( -ߜ[|x!A=f p #6-f'ĭG%qcX15"ޣ57W\' vY"fG^QBDa6[QVz\vʷ][쾉 ͐4z5]P'bdL~v(U_ )| 4I.,O؂FP JV tb]1AA#Ml4F_-Cbxj|QV BÐ>Z)2W? %uVeH MNL&Wޮ6*{FTԳL!&:-aƳ]pErzڊuԍ3$MSu93Ո&X[ C6/<b=u] ̢k>0 )|cOd磻T!hJh/eVb'QNuڽ=p-0 AU*ƁH]߬ ōt&SzAه褑'o.d-%sIW`6ű,X4n_ 7%,S-%u_yᗊ,G {P/~W"j"vuR QNj`q ’,J$܈$(^Li(ۛTp ~G5S|A8mATحCcQe>DV0Ԫ(o'*h^*V\(Q6JA(Фa8D\LXWɄ벼RAE-0wh nBACypBs_@w"'߶x͕F[ - KāI=Up^D^b1Z%(#Zs:|M /ߥs(땩wS1gwߜX@DJ0K){[t5X'MXlGK8H%\z(s'] ZLXc4 W:yʣ*~Aq3FqҾ˯Z<8h ,aF@Y*fGzOs8x]'] DuNH+@YS z|phnHF¬l͍Ñ"UoUFC k:P~6_Wf5 0 m:8 Ki7@omxiFv0߿ 9!H5!?]3,4dGu`tE4'@t?QmڻE?(AftRup$EVW~dg9p?;LX"v|%1IĦF: IMpǨEslk}=n Yiu釴&m}vIj+d^P_8u8(eYw !Z{nv+|CFJ?9 hgSE#h1ڝ7vҩk ( Y兌n{ޒ^V}\ xAf2:^0 83y+eS&ԛN(nV3C(zϤyn}h#k8I/?6˵G5<㧼NIX-1Nqv\| |(~mNօ9Ԭ\m=ze|P}`qȒ+k*͎ Ǩ,.A]-+g6d339H:ڸfyD9AKjrYO+yDԋ$>%|G x)X,~pB[7y]_݉vH]n!l8(ej&d$v`o'|&طeKl]ˊ 3cBؑɇ|.iA ev+l+彴xJ(zk$8Pd 6{qӔd}ɩI`5<;:ღa ; ؓdR)!hYRvhH4G Ŝ(]Ό?NХ8Y q~d@҉2eHq*v%4~#M*5D)SɉMv (ڡb@ Y/DI7ZHӨgb %pP[% ;\m`{hy׎J. ݓB|3]w(B%Z(x#T70LC0zT&6Q|d^e|_c&A[E&?ӯs2{hG]*is!p<;TIXvB s,3 ")``7 ߜO^/kzUSlo ZѐRy2`tCaߺ_7r9/Vab:k942WqO:xv Y2^P}C>A5-Ȱs"-'uuh6 6vg9o{FJz{өZ^{/ M>/[<|,C 7R`\t1KPѥdΛ/ @2./\\&:?wW?8 „Q/K}{._2 Q }81#p2wtP"5 ʀ)^=J>=tv{s7 ¶n9g(hXy7Co3SKn$42E{9 ;nj1ůɄ^ 6,O;84kـ0FIlbD?9=HiZuB!T?6 b΍Dfek2eOEN N/ZQn&AGp\e_@9BO  ߇xt]tԅw=ŌhYJ#q ?z҅Lj*4ea "Q=OmăM$גM- s/6\qݛjh/ ԑr݄_.Gdi$,L`}ZP4>JK 8x j#FVu+eXϻ1LwVV`8K+q(AU;/lY^vBXШ 5,{~W`.sU*ZF&K|N~#їf r3Sz}&bWTb?~VWT@wQ8GԾSS\}2z8C%'YP@ۀL1/A۵z2ǰyeQI'6x6F3b#UdJz?]N_YtХgY\M>)}jy@|#[l"H7%\ zw^n;_WhPx"`)E“UƱ9t +,AMs<^ ݯ1+t9ILISu~tˌե@EC:tf[7͐Єvii'ٗr>448BXFJ\_66,S&rY4̂~WPY5Bzx%P#Rrc*; R!.9d~o0SHw7"A1{{fuy󸝃S8wi_^~!z= W.,ѤϺD,;l4=F~3ĘM_;45Ӯ^2X_>mn-cqƥ+|eSjڿ|]CӇs?Q5AS<ڻIͽ"-+Mm=]!K;ȣƒ_EglPDOJMun-X2_܍3kJ!TJRj $O)PB5 }\7NL?xErok4S8aglO"%GLsO9'n&TdoA~,4m/~fCԩpX{8ojgN;.\?aK7Xi4O+xւ G|MCEگ).0}`_^nR\L5C67̪|tgds=]PpZO^#[rK/5ZZo2.CZ(< 1j, 9z\敼m17|U_IKJK?andJ2~ L]UʄX y84JK8G_S0߲3OVkt!be%U,LsX_1F8;.&BBze;5`"-.=ADOo=HK}`YcaY^G{7V'"%&y_~.& lWRWq6h\FD"< /`+D j'f0ʩ"+8=W'Ej4;rl_zgf|v-]Lv7`Kxzqؿ՝n nM(D'Ach: \U`>cm6o9{N#f;1䁁d{pV.2yf5#/nzn"^˚C-,Ū0([jq9=q-/B/9L ~1aY`3hP Fly[^Pq]m]T/ iɽA,& ꀂ8ݝ0~g&̩;gf)u(_TO-];KQW=qYJ^`nX,ag5#ܰ J' -o8d~t~t^M`N}_wy Ͳs.08&5>S?2>`$dm*ԁ7BeI+ 5/[@3[#a?rpAZPDL{5TYǚ9,%^'}e'g58v9n5ǻZ:zj_t(8 7KOy*ձ+Kucur+?i0W>&G}&X|bx/SBFh1|,;\yF:nHϲ˴m}%dߒI2r)^m[#òR+NٽmZ~Ibn݅d[?/NQNՁ ߊOۛE EK/֜D[<}ibEl9ܹ:z+  '~s>a=Ǎ^l5%1찂JJ::*Pp_b[ (nv+*ߣJ&%pzzG9C7Tۋ)wfVQ82nw6s1[fP 5Ql0 ^fCϘoh~ylJ.jvjIqwwrgХ< 'X%]Nm"C8|49 ~{6q ^T_)2 AX]7uTRC3ި*m&rlܫ !_ֿBTgcG8& Mv2`(t'$~lb_"o*݃6{~+Up3P0@հ~GliFo$vSSf3JwÍ0߾N>9F;/9r/<"SawZ+Ψт_>%wpU?%&i `1ҶV+GKNʾ$9 hjk>޾ًJ?af,!(KI,fTM*%t_ ` { 4>c;:(3|+ a9J=X]~RN&5_Y loኰZqj @dy.ѐB8\y4L M#9dTN& s$%K"W 98u2E_>6b` ux#ɕ0yW^Xx`;.b48FD[ 9)Sg|AyC>MZb,KReύ#̾ Jz!aWqY!9PޏO~9M`3~ʢ<7h5>Ȯ<'d>dh:| u5|PHκ-¢GgD/5[uҥʇcef\!CHS mAdQ`8" S:^xzKgX'ЪìaOjin#)Uu}(WA;%I5iuD3'73R| BR͕M+\/ |3S⣬c)#2 _M=@f:`wjBUhj/Ӻ0G,=n.7 ir;gzw-y;Q0z\VtO"J?M| ZJCL=P3 *t9H!K9s6[)M YXZa%Y&-(HX#Y"9m]'e; ߕض= zlD0ֺt I#Q^c[s&p]|"%O~doA^QH&.}Sx'`\$4yz9oo[_IJQӤ~)&4l=jָ140 摡sDTIm[GҗRme0dqg %|7 nш4CܞՁ{3IDˌ͘:W) Tywx1@%=V+,1*v ʉ,.z_땢*MF&EÂ< x+-pm4vs^7@)Tg{F;ubab.lJo|g8BkH#rLicޑ z𐊏G)ٯ^2)~ e4GV H];kg[[&bu#${1^韓d|ڭE2\`̎NX>羹|jS,q5l>\ع.C%́Hr2K6@b (ޢw)-s>Y3ELq$PME YW tw8:9 d2l_GsQJ+NHj#fpG]A:/l9t?T9a!nrSORw#Y=vW~&w$XzI=r\KٜN!d?V21gBnF8Pp(K( kpKEw`#*F]j`U -wW`P0p)*Jۡ|1OB(?:-$yA(aQ=5fŖC\0;A]d<`br GO #:f}Mp~@> /~ y>;r. kp9Zb928yΉ- yʈ7h<ԼJRU^XM %(oҡi.W)ΝwϖVYD!-\tSx^n^moCnFX a$t5^Z;[>sV2k2A,LױLplrz̷r,Ak[-z>vB$hN~n":eJ q)Dr Ak8#؎vܑwTʊPτ ua Qn+ S7!6,AH;ڨ F)0y|2NAmڷ+`g~̅"zeTLo@a_Xr\ Asd/;c<6fH$ 炱~sxTbj$i')r¥Rq?~e)o!Y-ڿP6Mgż=mxٷ rgGm1N9ٽE45֋{b+ex΂1 (CO$3xsȿ`? V)W, ZdYNq4uZo3 țۘ \B*ϚI3X=wP8\&PlL!TC}KVZ!qK77) D+}]O+ ܀Kd_S#+_Џ$&De!xBF{_(Ԑs*Zs"yKڵ Wgs8{}%2× Kj3@fJlJ@QcNnIo\2>1'QGrls}ʯNa&5dͺ}ă 2ޓ>OPHRwK# ]RIVzk}Ϯc#LImc/Ðsmq #zl[q&R1Jm<`-d˿,G`6QM7N v<iz-Ԙʹ-,1R뀉mH N[_(Hi3{y[ 9[cAD%*_L+gZV߉PvQ S8%V ZߣFn޳܁<&qANRm%2lpƼPn* }\/@x#'9IZHʼ΃EuIy%r;?m}bŨ.*e`AE-;;*G8uy MZzJWƑpIy/  IuUWGe8ƥ|#Q}~_V( U XuqYrs-X>)^_\8QhiҊG2wJx\߹fzavVa;P$ڟM%-G(:ؾlu@ Fn_!QnFb%-qǑ&j~J1P+-:9,6bnf-n-Ha@pǐ5ɧk")(=e0jsFUˀ{϶ڭJSM#sNPE8'(oryӃG,+Z;PVi}1 \_*= \g}0j_7?p![yc82)oIM|oTj2 Em%P/]uKSWC:Ns-/І*0L1'M;ʁ^gfN1U'l}&rd-o&c!߰YLE:6yE1 Qq\}S_+~ra35!8Q}"1gyT0k3vÉ_>-Kz83 Q>!JHwE`\%5Y1w03Z~6|K L{x&=YM5 H| DAJ.wC:!@4;MOSrN—(~x^QocQ[j'<g0!l)HP$vT%'q1KW> @T#L̿!sw ,w2yYȮȴ؁5aP|j'$hXg΃ Uc=YbsXЃCz]dwnp5{?KVWn[bDuUyYQIB97( $X,>⑪ ԁzVwJpO*c|BFC8g8$MSV~&|BkwjL>4͐i%]UtBV>a.099QݕN7XX_ >GbSBQlnMX'Jn>8 $tͥonbWzB//"k4yYQ-X%蒔f"c) \ﳑqDRw:9d:hxJN]_yEL,7\kCX#ܨCYS݅FL 3p6'B^o2=PK믎:)mdǰ Hg;hn8sb/q2ǁRBlvIӫT$2 C<~O'cK8\DЭgpAV`ϖ6IuT8i[CI.Yb[j>Q U:CY4[ڥc~ccnqL`͇սRj#tpV6q-%i{04oh{a)su K[t@Tu\yS%TYh 6|C4n+0'KQ:=eg{Ю#_WGBAZ_8섨m,Y=FlaaCe#|$^eVqx Ś{'޾5QjsUL$Apvs&a 5 lУ&+3J;,*wU!Ьrl uMىƢmJlJ&n^3)駁,%;zOT2?Lҭt`sYBqOj(u bxrMC:⎰NaZbw; > N>3s@b&S M*SLC) ,pO(E!pPLX\9x ޡlKU`'3Ms.ثk1qtr!@E 'ӣ~-5[3~HeĔ {]R1. "3,UMi!-RL8NYZcƒDgķn Pm`=2Ȝ sL3n˧_>w"=< / ȩG$*0=;f!:/8hDo8.ǔdxwКur yu:ɐK".\ >cqM._JsOǿ}cR 1!_ ~~/`$Ku"@aUA ^w IS-P'pШw ̛lǚRw YOTAhJ*]z^HspVKY@hN|y}wMU٠;GdI^^$sü3 >h+[?;cë'H`-9%ݱiFa+@EOhl_}ۗś T?  4+4K7T xrn@p8OQv:b0MZ]g z`.NTކF2g|@)[1oL=3Ǚ(K|C6sC57''xHQhG^W=S ꍍ>Kl,vnWnV%3Y'#J|_4DyOqٕM|cLqis:&$ ]@oφAwOt.F X|j& zC]dЃK |Y #;6g1S^O +ӝqf)|8e$)QDQ`mb(̨LD7-¨ TЁܔ*6;t0dE>ij @1gK)®ѲJ/Z1+=//?]HA-&1{R4lnu]{DKU0mlvlOԍs!oWZ:IV#kƻN3'T+4WfWM =#叱QіʛL,T0Oy (=;)Jl'|Wx(:VN*:AՙUܴ+eOx*.^2>t>&.(Yf;>|M;GDJF[!7b,C-1#^5Wvx*$L#%'IyuĔH*2zBg=m:l<uA5\د981 5ED{㶐U¤YAri8d7Fq\<])$nX>X6tif9ܿsɹv"8NkI|5CXz˓3FbdFכc`}ѷEK&gs=7cb Vz5z-O z=tE[YtDF/XEZVwtA܂Lr+K} = ґ;BKʈi2Q.:MXت. j,aEi ?$-a_и17Y MaRT)SDl[MC2ٚ&&/1㋽4n_g/}x6 7^kTtV x8!ʿo)]lhdZQv>36@WT@v_FEFXgR3][5wV{7@`us0Yu] "r&z΢t$LaXt6}B錏G0U+ 22 6B¡ؠFyUONre9cfKˢjT)mūYM]a a`^tK[O]žk0@> 3~.[91tTrocP;u pDfrOTڣ*IwZ\^9^Dx&yǨJEhogL.✼Օ9-]UKc:eKG1e/o0/W۵6#tY" ZZ׺`~~@ċ!4fC@6y)o8BdWJGڗPY$gpq7`NqiHmGV+kcz}U7ȭzUJ6FJSxez@zo';1H`_:v%{a TnV77+5f="M*OuafJmcإ=q.CyKԼf×{XڑV:4TA,m:`Hr=! ܵ*S辘ߘ$& y l1~>1$v[4Ed]{wc_Ǒo7ǜ|$gV$밫Y0M}U@Ez?{{4%l5˚ 3_?G\/"\to 8l/7(5u͘|J Klo x//F(*ɇف 1jZ%_EXd_`k&OV7DVP=G6¡}M; KjS&KJU@\0ݸ4h|£:N0 BmSŅ_㨚kz] !Cu+3kSmJu {_?0EUt0S]xA -ᕺq(yA,ib?WZ! EϺ-^U*S>pYXGvg+@hh=θ{H=.8_sW@JMFqá/O*Rآդ|ДZ,;$HNO/D\kK#!)l=cdqIo B~W{mp3} oׇ1+[q+īDR nSɭl{"]ٙuA@ϭ]YD+s8S -(@9s9C4ƉsC>:tt ^ř?G,%Ń](L:F$whKy%_߇".C̗(VʁGE F^2Д:ZC. DbgBO10qj BLALTa~YZ+Q=a\3 wQ$vپWn_f& 64z%{XK펽xls{ *=7pnHo)Nߝ,eB2b]b)>$\ L0C>{|NTzW,;WBZԮQa`][.w#ȳ/۵T=,A X. ŻJ |/b ;W9< u`8B#3ޑ\|ߢ'>0Sجx q;%)^ {= 1$urKed(,77f03llLTEY@|)t)CGr LS@ii(bgcK=>"MO=uE/+s~)O008۶tLF+0eV)VF")̇"4g]!Kȅ$n%+H' W 1rYvyR$M3RkR_hgvW{WJ'4󺠑@*t𹹭x$-{:Ҟl{uA mҬ "U6ae3),R5^Cbi67yDN(56e{)Jy U6ҭ*1ɿ Rfg1 )N#LO.I[3%YV*B,އ{g)f׮7s c :KW}ǜ,HAe9^K ֬+~^08_S)QʑfJ e u2sq ȵLrZTfJ42Z zh'NՐ?KaӛBCV𧨡>/j"&um[F(^UC\syxIP*( 5팖6nv7t Eu>Ο5#Ey1x[IXe ab˃Ö4UOM#uM\S3O}G}Kwƚ1n\걄ُYp"[e1">y#C oT-uVa^=ʉ,ɗL+D w,%֐hh3: bRBNCZ})RZVĂ'fBH !$Sedω]"4{TV]fƺX="645x7]%#r9`rVkQ_,m([z5SH#{Zǎ&/ɘe^D9:|Zd)84ĊAM4)T}o4G4žsuʳKрW3Rޝ Vש^K\WG eǧ0Iќ "k72"ؤMgss0' ?rJn+d! 6vowF5%LG^ =+&KUWB2Z@hRiH#NHo\ )0E# ښ=%,KU/>4VȌw$੪K`a]dX}dCF #C{ꬰbYiB{<^ l](_:[.t6.3UՀbLI6"̱)< Bqm-(^-I\(O0.[ v>pƙkaoSP$JЌsg0+erH|{'y)&n~Y' /1WI?SvSo3d7$ #/7XA#웖Yb/xŽc߂UzeIM`Iy;L- qqߞA=+`ny`HOȹ<0;CQgي5&v<ZRolMo*C g^*2\V=]\jF'TlOZ]w0\0fҦnJ軮9|ѻ8ꂼs" 7Q?9E*60XtuyeȽRFK_?W tuYif◯죉R$eZ}k1]Jd |.aĮMExp l :% |[/H/B}v*vum05 &1kE.*ٿ:(Qi5}<H{ quz@J /.rom0]GggxFcz^![력 "Xr œXhP(bIT1AM@"ujイ Y6@L;iMlB8Yll4 B.P Z-4fl\i!wrz@zf_#"e3%GcjOIqOKYHu-/F"c6-:T1|Ѹ2BQ[r(.!pğ.\ > йNbwoP`+g#v?ٲ; ͱHbб]ؔA7CR8ywJ`L6VK=# o+v'8bQL,-9Њ戍akLW=[=_Nq$뭬|` !f6ˆK4].Ns{9H?CȁՉ&2<'8pni,0t.]=cz.9yFmJ @+^iOy0MϚ?`R La~p,߮"7"஖"2WS 4[C3V=!e$- <6WPaJa֙ݮ 0@cA*mmKW~+r&4B$j]ǫ(/ ?\q/qJ0&=g9ҚR!o$372J$QKOUW $%~O~FI7!?tXopkls!M귀Z>5FsPMͻ>N > DŽ d.~:jFޤR-=u0Tiαy"w]@r7)sX (H+-Ra%;6\ȑ~Voټ W#n5, 3@1lΘQz3u<pe7{65M{*Js~M\0w\ o7ѱF%>{dWlVVn$lɼLifhu  Ҵ:Xn ]Қ.>Rʁ؎K8 NfWlHO N.GA$T$?4+!*p O 49.]Qd=# >L1U=ZA&?0jj6nsC^ "y6@X>T:(h+'`Xqr2`KgV&;ryOU*ߝmvx`psQK `93a&R iPITDaOT1X:^NH\kWgoĮiMb^3Y7TtB.B9ƃk}JAϕM̑|wE״b8aҵBN @'7)&LC^ H^WziL0*C[odM\DE>*VܱGI3E`M{EJSDb9 R_Լ#]8A/ÈR@3-`۫:!$^ Zlb=!Ml_1pOg:7򮐚{;9Qe7q}4f*)#*U4")*uX&ч暈p/vfz |U |yPwb#FF1&ݤ=;3Lxǿ!o Ph"jEoGmT?UT z^d/؃ T5PkTVK hC֧p5PY ~|hC&7FpѦ32O&Y$^Nn֮12ߎgf r}˚ہrs##62V^O}f`;!Vi+x!8m$ٙ,#Aq? KxHrE3E?:`k*ߤ _礐i2K-Jĉ4`q`NV)CoYւ'q [;A m+z:·X@(3#svHht =/t7ab)^jZprIui'^ű N)w=QwuNT 9T>b,vQ8ȯETl|L0<<{"n/@6 #n_+7yr<%CQc! ]v-~(8c!"-GQzz俆~~&KGa4]X8C|nxe&ni:?>ebzik%3K<K"4s]NT; XfϚ`xgWKM>6\ "η30DX:} RŃЀ0/j;zZdzO\\Aɪ~wH UChDFaɟ0rVF+p9ݕ$0!<ݭH 9kz}|T"!ChT,J n ZX¯K|S Ubއ!V:ZzJ1k{<\wIyU m2^֦]Sת gU c!m=YE7+E W)ÿj̦ȩ9lʳr46 %(焾tx?aۊ|o|oUsPJc:(@x3Y 뱾0{$|*#&kd! zXlp1{5S=ԵDZģi7Q7!4q8y05g0fdx oB;`vY܀֌+1?zQ nE[aB$JP趏`6zWk*wzZVxߣ:j #0,0h6/ױVDa+w[98 Mӣ( J)$Ry28G^"D2:M#uzixLu \H"bXQIP=m.^*蒦7]4CȯXx!>iAJnf&p0`3#s۰4g%e4(>]8pS1*iCȻ&B!q:|dʅk0j=SAV& ]AŏODoQTMK+l{]hOL:[c+ƈћS|bK3 @ӓbeAL\ 1&9Qd \T8[~`זuXFl%t L_gkIGl0=˄h{37ķ%!i#F1w,A%i/\K^.W nQD鏛@򺗍 DWK) 1ŵ7{Mp%R"% 5lA-( [ueK8f[۵^ܮ4^j20Ըd:%mS?e7-Tt wFC8u ^$"K%Q5< H\ :%f A|pfz"\,pqGfJK5Iq)?OMK}:UR) :Ǐ2WuhZ)0)38kIC3oW!Ѕ% IbupF * Wq&uDӉL}&RDW?;#…JZ͒|g2C/W{ypWDY#(j2ݙT9F^6 kL%\_'|uLʤWz[ )gfي=הI~a-l 7ƹn\R'˩苽u6*,^1}8]zf[ϟvg4ul$;{40̖C8м[QQc@NR GxM~A|9qV>*CK}qw]Tﲷf4s{즵okKM`i,Q >_`q ]K#gCNRXfG#ŨE5mB馤yP5w:!C*d`Ɠ?x.-iMYH7&9j 6hoATmKK\ƐӖB^"Z^Š@ p[[ ZnXg[7W 0^zv5tYKfDQ31CQ.80T3s4^G}TČ\p_ B#+MUHڙ +PA6O~H뾠*G5kc|\ąˌӺ%稖J {R5Q esSJ ])~qXJ8:VCZ,=:> d`ZKd] N(`/H{KtW\ɗtɎ |ֿ#Wb5_y0Q_L؇٨.≗Ӗio0Q#Ž?g~ $i" 74tRl(nYz}CVzYTr"ॗ;nBafMV;V:u&͠]i{o+^dNo DHG9r&{x[F.O.oҬ?_(9v (qiO{{KEy4^ -šx*r͓}s(b6KK avN'yP Xɽj앤 [Tc^XVpX6 "̶gfnG*sB<&h5N XB3`ےթy&Hݑ^cVC۶3*GĠ6;YH+/G+a[٭2؟펎nID;:"Yiюϧ4%Cs9 )m0bz?dغF)UGނ KO'`Q+TYa*mRPL/E0Iy*lZ)kQCL<: y@6:Tڔ3rZJ#18?/t /3y="aXgKY2ZD&*uѧ JU;%֍ 8=x+ |YNZ\F$7gT˗b(͏u_O=I _fp9hmJ?s8ςT )3s5Ŷ PzYl&=@^vHEwq2Gr8h3m;AoTDz[A|j!a!^rssR8Y?\~_&EX.CB$z /sXX^L\,A3] ر{Yp?5#]:@dY3Lu+IYo r"au&K̬-,z8*R}PAr*sJ 6i;nT,%SQQ7˨WP4P~8 W0<GՒ{avĦh1(\AR{G/J@?r):-Mi<)Y? _.-~% 8`J0ݝouAX:R}'uQјo^ e"i;BIy4 P ; Dpg>.Eze}3(u./CE_'"v9f'?R,7iV|K"d +Z{3ۡ"VlsΊ*Ė!je&ʫDVY8mx5XbOaJzi5TT*F?M4H67,U=w]r1{,GOV'Yr6$l\8wQ-:W 0:z.GĒzb ڳ*lL7]R+\6 (vq1R'JR js[P8)*c; 7CO~^5$(w<3P}/'g/ Е04xV6v# Tj}%dB-F/j$!j"Kϔ胟MOJRnJ/8HkճJ'ՑA pO{45P1Uqh?H'I;%?E:\:^-Kŏ1t+@MԦuwH^>"qAV=4/:5wtk.%QÕfWπ4xpgqjP hV7_ t bu1X@aɶwfnټE>#K=9?' VkOGěXzmo}^wNrTCX}δW"|`>k$o_SVM=5ˌOapK#+z`Їj^s0)TРu[DSf# LR/)[q~[6c $;DE\?b2Jc?VGtPX^x3ahUKAyL31N_*::XGJtJgWx7e[x,uhKC [/Fﭱʓm Ko<τN=2'r0+uUp]y W3@7h~x}G @RF'*tOMb/zL49;8?~](n%՛8 dʢj̄筏vMyirV e 0)V7!c,\j s]!SUn@؏1UL)>kaIAK缹cGWJJ fk/gcV\#K"6m59-47aFMг:s7x r3MX~Eoԥ N[|LU C,v^K׬k;Ô.8%d%+H( J+h0g0s]7sc8kn;`gYZ uu[( 1W# ,HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``a~SJv؝[AP#YJ%a_Xǫst+PÀ.Yv{21L#qux& j d5Z|A$@A*M6hmYD9J'Aaِu@n+TeVo cyYBd?f\\x vW/4[Ǻ;-*s&R91*h.U;}FU3Tn߁왉EW6J97ϣ:?g1jV?0'7#D\:H/@RQf9_͓͒)'e1WʷG~eb#gurZ=$3i.eXMaU;9)YpH ~/JW$C<m|`y0:Y 漦+DFŝ _ysE㧟-7_k5w;C.U`T*0L>W!q刵WNj9&S~N kC3fRS\}FmuI~);X6E_]I< 3P4>vaF~!:XOӣvq˯A / ~Mܾ[oqz)3%sEc5`Bo1aeNASಳkB7iH\UCo,;v~ԧ&>$ICX2]y$5C]6=q C: դs O -E.cR"U: y0% A РA2gϛoFKd=s8I씜$NkK>G]H*^Bi.(@ѥ Tǩiq1[uyC"|Yr+)ϱd "|MJO`*0NVf8j8 T&(P[~_~#(ho(ʀ A H3`1<|Q(gUݠ "\ u(ELm[ fj)6pqA_m-64h>&زX3E>n?R鞠NJd˲ QY~ՈZfd2'@* w0u]2 *)P*3&g}-1 ƏIif9rq\aȱ͛/ ?q[:0]bfCP vq2u$noQb啘4KAw~{,AQe旕w5/dv`9u'n=~0kj N~엺.O<-mm΍)E3†zcͣV[Yx/0v'>iѓ/,i:snT9J \UF9{(@\jiLd-mj6Ӱ:({=&* ְֈ~jơ?fXqY~j' DLlIdSaGAg˨ز˔T\qWAUXnگ?oa1 &C[q2|u 8p!h& BjA_ni%Klw/*M|&^Qf%S}R0'5ȔGilzuJ5s׮5?oNӅrĉ  ߜ{îa%j?R쇽 Lc 4/kk2/J~a=v6r_\֏=큳y`K@[K5N3U; ΄~]XV [CѥD1B]d el7j ŵZ2Η"fqwv_$[_{dոqbpӣb/mYS%1Eіkݒ|4 yO#r3O[n`\ ]0o.ƃskiT4-Kc ʰܴ,CH]+/om?ٍ"v 1NWǃ6u)/=.6’ U4FJ.ZSٸaq5sptlKZCgg*!&jv󆍇]N!gBXu㌃a] ->}&ԡ1(oHrA ̱5F4;o3Y/Y ,(SЂXtENYG+)ƧIaVɶH \7*h学UZfb`m8xsa1Z?٨5}rHWSp mQT=rcÖG!5O@_Jk op\5#QxɄ@;${̄\m#72'ވSgjxUq?*oIH3K"FD){yzWƃ^ȏ=-}G&1TL;~+rR'`ev׵ 2Ve64*Yi?oiNaH/pE!|P<ۥ(ozBlxw3\4ׯH.|Nx- wb"ՀS;KeVfFQ znX1ҠXÚӋ{~W׎SuqwaNXx+F!ޖ%- <}%t^& q("*OJ%7i}JZw@w\ YrFc)oF'A|̜:эj U0/5TH3K]sDlc3>iJ"HJ+Һ}JYQK>sBP%aiHˈ>^Y{1A*GAs/0et?ތmP|m/R_)l%)@`N.*pr h6|;} yUI:zdT|~- Cso4 fՠ'ەFY]*4yߣB91TGqIj60pR6ɂ=)Jwfw1cQ-6Yiv:]x/Q)fǚ߉OУp"Y_zG.nj+=_}8sHͯ\]U*acBON5nNuνK Ǔ0ͼiXO`+^ݣ>@}K{.QF, 7YGo%7O;Vy䒭ãV^p&dfnoUkG-b+DfOJ+P,IIp0*݌{ +q+g6ZA%7L2>"v,ߴ氤#Cx?ޮjܖ_ZJ21b&Lxc&_ ʚjN]=f CWըCArOh:6WqEIx`r#c0{Z~Ĥ!uEbe*@}quͰJsr~XߖSfK@6C¬lc@9O,o֚o|KgZQDo!~uH Ҵ j„Ys1RaK5Z%| >|Իw]p1r\8}ѫSD<7!\$,]Sz`Q2ZTkG`p =rX(!=ZB@ յ{x|D2YȴAII{7S^AW|t/-𦤸]mJ4[T 4ZVJmB ;2Ʋ-e7iV\lUR|i#/eGAzBUW9"sP>FH\%xsĒegrV&& "v:ZtEFjd?%84a aW _^Պn1dZ}9HSh*ؙ,Ð5{ wB:xGO\_WAt;D+u0?dŀ cwz.$%҄8MYŔOv/V韕#y'x#19^a\G@R>O7)k&GO+S)o6naʩwQ@{b5. giBekSk*@<9oݳiߘ'`D'cf}i^7rYseG{8߯ny _u}^sN\B=d]|.hLJOKJ1䇾f7QH?̼l2U ٟ|uF"2척RE7䑯䀓]T.MʲiY L7&sfڦslr59NyhƝ+׆idV-?X +"VI5<{[gYZQO4} nVNcaƍcJJzNS~JKϩX"qJ4h'7t t7m_(ʟUɓ+x%#zݣ;TS=f^$*n!8P):⛘٘[0MrlŒQ^5DDq֪@6i6.oי:9*{/ m3/- ."y lA&yrmőBUx .HaB1@ZSr]@D'(m_Ý[۬N&56L%1uQV2L5ǕFAsTO,r~}ŭ|کf֤eUkF[g8ʜ4 Rzj!JЧd֯Wf?JjgbLM鄒D%ABsS~s-"!"v1P&R_:LiʾPTwҍ(oPwjѬd`jxE?KIui`.nQkb{Ӹ]@lF;NCϑo"Y,OQrҦܨ TgEBr9̔lZ۞zb3qpM&,OY[?cK(flivU-/D Ɵ/^@8,ujَXptDwKЌ欳 >ˍq6n9o\((&:/9ǻiZO 1eP 뫔ً\1B#zlo0ZCR1B| "jx[7&3j*UFJWz@nx\Z~ HFغ?I+j8(!:)isHo&E}![_&AU(oY=tZp,HWp{r/rb5żt۴noz2Vgג?+gz 'eHrZ-Fi㷔Ju9z-D\lDbBj/OCſ{I+ Tn!1Z'j 1&ʆhc=VlDGIaJ}c(E汃:4*o8<peTqϪe ʊŔ I+h%W$cR9jv>hu)tIQRKb.8%OF?8X]AA`Sûo>iȝ.eKGa`Ve {R9ozp|8ݺR{!-qv9uVZvw [.2 )Zik|N $t/w狠@ᚑΠs7.Ώx'xY4d.HKi[X/M4g(R~_sGoX*+]JvjLߚNWȥV~OMCy[D)dJF$f\;\7$6MP}@J|Dސgt)J& |ֹ4)ޓ껏0f on8jx<5_kV/Ñ:`i- .hhհi뛎'fԲdyvV.-VMj16y'.+U|cu Vt rȺ{al;V/;{ޑҦSۄQ$up'z ^.!mZTk, N^3 [M)}ӾRf!<| ;i ]:2BAY7Z a{Y\O^\D)*!F䦱Ƒ1fn8p _ج%7d_wfx ebwTS]q`ڍJK17~8ZF.sB1QbV ^`IGcZ+hv$bFLJ[5 Hn(jƕ j %9"=qG&CJme~ UlS bW_V_JַL S@JmZմ 9|ԋ޿AUe~]P7fNC(N<%$ vlCcð;i7ߺ:zr0XǪ#PM} [b!M|E-3+'}GCbCjjȟn _ލۅi K=3 6n]_ 66*4^W͓ :U ݣ)\?!OO:+jUWYgJՓ/u׎O[J{ZEH^p] 2@_#|6jGyEyXL :9"h9$ԼKOmÛ7Z8t$4;1/vǘXhPmK%Lɽp|Ǡ6 xޯmJ10ɲbt]"6_r 4:9/$b=,7Ibbx(oi1^ȓ We0 &ʉ٣0OFrf{ ɤ!E1DV_VuJE(ҴbDƝNŬ4Ux^ke)m(0]BLqKEn 3S(ʉc OB"b_\Ux4IIBcy>,gQk PIMOB&>&e:fEO, |7dHJ_Γ~KZ1 a<;+G?EhZqpw7 ;4h; ,2z)J.zZ9A=h C@G(ٍr";ݶcw8=.rAHYepc(͵˟Yg~eqm6}!zYv jC},ѮQh ]U*WҎZ̗GR!;Ǔ{wrepz٩+Q :Rw@GKJ )xLXWp&a(tUĴCeTnW&#Ӿ.+nٿ+IHtLYrak%{)3`  an }s+69 A*vo!SaG8i+ jkk=m $&8<-%IIJ_fڊ(};@<*֢cfP̪ ̽?:XKu_ޭfUh'㓝!O]'P[iG6V)G]DHtMs4 _zSڲjTmayW3cqeʼn,R>xAlᠥGQGI(y}m4w;N a'Rw7DcjERuw \Ol` qX$~ǎw3V/2_ $@3DZ{o7Tބla;aTB4%+JFۣv.ѡ 3_!j4l\*dw RKRr)u2\QZ*g2[%V߭ h)$@)يD2 >ă?\HM|5"^5-P+ )(vϪ9uP-_kͶ1%s@ }.ЮΕD£8b-L:^YC`渃*ð.45OW^dT`8?DAyφd'G'7 Ch0)k_ӫ!q؎z{ᗭ:>m6+3He"O #In9`M[uDq!ts +?4(2gW;V)&i㐿!%hU>O,S#}+y[M5Pis!ؐlK2~ׯ<$32p$m(# -b␱18\'MR~>~NBL߃˽?:Uϒ)y:Dz]dya,3KR)YmG&J狪F6+)#:8Owr*? Buǭn.! m ph,Qb3Y㐮N_C.8 L˚_}:%٨|jF EcQROڟQ0c~r$ƌRJx||ֆABd S,o>f\B=vZL,#pv){0lVobJ+k*rb{|1e#W'"x@r dգVc}]4)q \NdimWll6.bWZ  4<LuEH_mlF.^|Ì =Qz\^EdQy~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY/.!VP]CxF78ttO]͒׮?X|׸ؽ2g~ڳZZ.zf])D#X%{5 ޺{98oް,t[?U:z/u'aa~'HDP% N(#ʹ%ȅx騢uan`h0~ɇUF/>ߺ3+]$P٣Yd`&Tn(k%|h_tJRCz6m[̬V%\4QZ*tj LaZ@NJuqN`q8OgRl*$-F1*>ZvǐC(VH%f*V[)sY ofKkD\A7U1rNy8whL`>T"1tu]Ğ cUIJ/Y"NrG;նzȻUF#|oDb10G0e $՚,NMmBBw"Lpj- SF,s[]D?I6p{)5δ̤rK\| grc|^܃ʍeCu6DA!7Tvc1&Y8<|Du=ʷF|E 唧d_HwoE}L={zdn¯FSv3ޒ+ mEk36/}N{ ,wSɒRTN<0=_VӸt}I#%XBJYi$2Êvm~ǻ:Ҝ z|pHPX~jtPSTR lP~l wUDm >ږ }˜}qތƑ{nB7ʇ;1.Z R6?[; 0(тV=XR! hU{>nFՙоE$0W8p*݌e5G>T+v@w¬`Fler 2cR΢fΎmAَ  ^pO*JX>~|eÖCUl utdN9:jB_ S{pe1gskkLMe^tY}QprpgYZh, 1I# THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%c]ˠ)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 rmz8~izI.fQ#Jr[(g ^'R^;T*%b;F2K/v8R?&vxpg۪< H?)Uκn3zw\0cA#ҜL ]Qm27OjT$Ly`` jӑ)8C [ӠShߏPvni 9/xµ&5v7i|fd>bnj3/~H7l8MΛDފng>Rk;cZ2\&;FƼmF+ ڄJuF=%)hӁNc'|wR0XDEo^ ?ӵ[EEm;+QZ)9MYt~\Uv 4f&Jg=롼\ڱfz>rۼ~#&9> -[bkGԫӃEitzK#{ n"B@Cxfu+ԟ?:78_mBށ1Q0?Ptub]RkP$Gk$ԚT>5rP"=~,6q|E@6/|άS [N0v7 X ?e<jpxGD/>siDeh*Bۡ!x[̰ǓT0Y nNiӞ76e;cU#,X9ꥮ\=Ђ ~ɲRkԣjhކ(u# zRr>)Vmi믹._dǔ- -|nJf~; ˗`^$ީMPC0z)-oc)` q[0wFl ~J!Kh0kY{Kb6ڞ4u ?ItL44]HgF yQ*N.}3:\o@w9n! bW%=Hp۠K8f%:*TQH.:uU*S Iq(0\EZ~޿ &Jlߌ"pO\i9Us^edfAs\qe'+ _{7 ֣]XtӔi#bF+}Z7H̍a*cmfo)Ä:I9_cxV}!64h!+۟{,i)55860ZƒM@, dkDǂ#8Ie@ s܀X@03gRVrW[B{L}-Tz^%9թó4M2ۖ@A^ͻ'Nŷe SSY`ւWj+,2#3A- VM(.LKs1cd Yd {╘?Ehn']7(vajYƌWJmbF%qsNʲ;x.ֻ((~,)n.mJiD vrKaE8,"C*.}==o  g1܇OO\7mfZR3q:'jn(>- 'b|z,fzVѕa֒B)nuSg_sŲ%RX-6!5aFy YL//*!t{|z^chdްeg#S0R1ꁢbC!`vu>UuZ̈́/N:(e #x9,+}K<mL s\.\ P%:cAhj0+Lv.=;6C'Z}0`,v]hZ"<1|R'9?́>zmiFp kB5VePB+-;O2vm8ӭ=r.X%}z0uqVk$|-]%%'=SO1Ų@&@=^^ZeeZcF0/D}@y\HrIl6vl rÈx99ѺXmyJ.mHIj2WCY(⤌dx{tvrol>+1`Gpt~D3>H17rf2X~Kf!&IE)¯Cg4j!&6nR&m0jEľ5rw?:hKKwf*kY0k> {?qyl"4Q+yMWT4s_%E'VO qZOGit>>uTe6[8G$_6zg(Z9J3'u YbQi6ƱUg%xXU*Yl;Eu#J:sHAEb"G9y({-?~{sA;2U4wL[q T8Qr,tb{v%wN6#QG" Y=XՊ "hR)St_Hq\U%FJ, Ƃǰ N>k돱X#=TfoxMRЩjvWӆ}=y:ӱ]P>XjWI3()$ݙ3;* G2@ϻS1w,4`nKӌ;E&OZ#0 j3ǎ07 EPFCյMoſ_n+\iJڣ1{MkMr]:QBIx^LQiPQCU;g7̇q}zЋ/1<;CFJ'm%=Fs4) t^eva;Ra݀Mr;K\SnfKY!qq-pT)$L:+!>CMS[( 5h?_^|s.o4B]ɔNA $t},1*֩^B~j( Cm<"sf9Kõ>03L9#Ҙlk5@ګ9x3R iVH b_ 7dwZ4E0}""<.!s|NnV` 2㜈zR6A>t8-nך hɮ~춮`.qf:K]@=s?ٞ?Mj`}RCLP {r?XZe*7=`mw9DAQRa "gAK̩i 1J!3$Hi1rzPN |c2EZ2HXkŮ4/}ä:tow>t0g}LG~"bB2Ʈ?+s3 CӿU4 ȯK'Ϊ|BWx8?v=C<6AG1|'WM1y(aj[}hh֨ʞ b;7[d'풨8V>" 4'Cpw1 :p,RbҊ͔u PhrYyQNkVT*VyU`KyǮ{kFȬ5[c Dt{W`YMAvF8j;Ab>}ů S, 6G_-V>*@$}JgpkmwK6/),. 5&D-! LYGV'HQD߅]A'=c 2 ,&`I"z>ZC)Zf֌1Ni:yJ) [gYZm1ԩ 'g0Yq>N/κQbɜ+$gKԎdDwzyյ4ҊAY z(0K{Y$\^ f =q.J>iBT#7Zf+fŨ;%dxk$[˴:, m>+HgG,]F'LU [1#z 3%xGsD>+u3h)$H]kPa\4|P1"yqφ\4Dkz10]IJbn4vyf(P %.$cQ8QtD_-EK^)cl%[ZOQHL(ɬ_CZf)#ҏK8)*d~5 FYPRXbF|F)w#IW ~{z9tcp BN9Ӓh,w).e4`!Zrƴ6&֠bpNj κ>'vkt6y_WҺ?\t1؛?_+c ࡹv<폅\KW gAW nuay%K]_T_K~Q]2qTÐ4[((4va %'~]I/nfm:! Ðü&k.?JL}p+'=#OKx05ؕ0mdu2wFcG.*iXuT{>%6n 88r%rg u$K]n.L2έ.CQ6"gvmQ+zeꪉO٨ G IQFxGQ\x] B+vUB^Lc<abD[PwzG+V3i?96SlhV.lKݦےN .+oz,rF{ȿWraçᬲȃH:5:A /v).nN{EC{b|<$0ژa&vK-t]-CA406ιؖ_Kf Jm#HEt&x) rzX[a]OdQ/Nznrȕ64X:}!Mf}iϦ:ѩ}Go74~ȿ,k6aCȋ)mF5j@A$]]p]$52(rђ5TFYS w}疗~fsON .dx;a{%TfS>4˿AϷȡeHCR˄R v@ihx ȦS~*(<"r5v\`غ:B**twFRk7^L+pWzG{Sa-KPbR:$rAMlJ9XO>I?du7ҖL.=؈:G0T Ӏ^k0SM|ĖT:+ CL9hgs2HGG}>MbAb[޻[Z]}GNlNp0vq!b]qPd!UхU9^76"0AKҫaz˥R&C>8w@؃K{Î9K`3xE^|?Ia=Rb4,t8q5qYJX77c`Qe/~ yŖcA< ( :2eQg`.a6Ll AoXŔ'r$=.q*&J]V/^4b1x~KI/ T/s q]dSp_я\yE7# !f^wB` Ӛ~ !%{`-63uk2E3Qӕm˾cCGuWlĖzp߹r2Njjڝ>B<1giS[T1>vIl6Uބ\K15=AQؿ)ꭿnzTZ0—"9D]|mM8N{CCCN/_(m&-)6kU&-qzItmH$ A50y"cۑ'Ϥ$k~2rSmCAIȳV kc0L3Gul0 =XmdOR qD~W4lҽۜVj]Ȋ65ۚzP)B')oMS7d)PTI*z2L %(!(=B^ jش0ب#O5@Ɇ֚.mDTiWz"-b Ht+7f[+ހ]!3>z=vf@BFZ'Bg&3mVeѦIb :em`QJZ Y@=P[Qh2@fg]wkk&hGf@ǪH .vEĹ?(>5vJ,0R$٦=o4V:Sy7k*bgYZ  R b  g81;' Vt]&,p7%E*?͗ d.v(-,mC$P_.!e͎4Q5r25fT3XeJ¦ >quIOaNU@5}t3%t_3wd|8č@ #؟`<'/bǴp^Jra _rH}SRt91'F~~|.ݺwp U3'pgYZI7 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-@t~D[8jW /N*ۢ-lt&t Qe T\N qBQA?('t?nWXN*1•ibz_]Hs ((qhkts7a3V591 }:(GeSJN,:360Ielۧ0ہd>:SH_աWJv,TO$ɿXr1cZ) ?ͫA2v4;R[ ( m&'Dzu=:;u"ZRx|A"5ߊ>\4FLaΎZKD+.`N];CיniE5#]v:RCW;m:|ʙ# pn@AM_$$!V\N7w=j_ĕ7lO<t+Kj<^}JGޫ1V2 |V~q_\IcuQʪ܎𣨏Ҏ`PwD*1H:Zf8w 8[R_?/WMq|hY#uo˅ImF=mi wڀZ5BL2n-璖U ئk2`L$NsN]۾iXG/bdxӉOMZFz;-8o#љz2;dQ~y#gEFpN( ]v(06z~XP&t 曙aL쇩RrQ9YAqi*QbCbt_"'LVW?{w1~{x%!}v{Y0 ωFvա2ì6ZЅY'| t`gd% }WύP,rhd+u%BfU;.dKgkLoyuqqUI7& @&ƳSꠃiPǥ}Z-p5 LD[$i Pn IPhIzISa_ Cu,& pSk 8$;wwR%^ܴ1t)7b$}hqy7h3X gS`h%"T|W\61;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC51;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id528U41M# ,HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~剂]UܗFSVtV]ϰO4hU6Aj(E*S>J >)v ѭ'tV*?&Skjt>NH  On*ƻzOݘNG)1SVn31M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL21M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id532111A' lHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zºd L'WPv4ߌ/28RB&,XW1"s=RnLu ;Ӆ FIFye5ЅL]0xKHW`~>UNlG̜pLV(vg|)& XW[QmU麒^KZJ)Fs ?ԯ4Baݟ?ㆄ1jU٥ ϖ)6Ç.D[bN qFFMR s$8>(E 90[T祙,{%cs]ߺW)q]Kbe$(7iCn*EhT/^QfA>q&bB.lF Rd`UVÃm\vXɏ9795Jbva%M$ܠsK\zϞF|X#15օq,NBwzR8 V@1"_ý7K=!S0dG(JT{}Q=H@p2~\(Sg&x/ƥ00* ՠy.B *y%/.ZXG1ݑ^P0}`VT M/so]"tk"|b%,VelCc26}6< iWJD+͏%0\[be7}`@l Cgo٨/%;HI6 >7ෘ[CW/GWz  %#A.\[(Ŕ' b1R:(OW)\L|%tN.l֑И "i^<^3Gu5K~&s|wJ$(faֈonxZ b$|"A?mrwц1/ "X?O@.VFfY^NU~XE޼ajnƐyn]ePԷa ^F>i2dFzdgNce.6njR  AݗqZ{h Fѳ\SNp<\w߷ qaBJeN_ʡ e˶ 0uhvޔApEmے/Y.2He٪xޕR5'I\GV&tV^:g=jn8uos CЪdH`NF@ Oh4#͡\Yܡs}ioNfp]llN r0'=cNٷvF'eS@K% 9n#q0.)♔NzmeHL%xh?A!6 :JwPkD(nj;C{g'g ֫,5K \ahn L!ypyrhbgPp{Ȉ}"ݩDzG@a[7?u֜Ot%T, dM%r z m\g,:A]pI[X͈]=nڃΧ&E9CIIjY`-!1_E+1<Ŋ{N?`L6ɗB$ci *Dy / +x`&#|mB#tZ^2iЋ(I͜ A`'WwP^ 5`BuCln,AmMXZxmӕ- ~q]|uJ8z7EŷƘzL|9T>Β3s#'}y:nÌ n&\A{}>(Fuv==P,~a th환䶳%W a+eP 8v* +$r޳js&46y 5HIbzyVPK.|8(T%-ԥE/@R#>T9c_Z`U ̯Eqxq\#ߑB>~f#Ex@A`Z%`˕"b0CsP;\6Rdv Ϙmhw-'8 lj6ʻNς`FaDžn_[eRzc&Irͻڠ>e;N?К,R”A }+mmLU#m齫.)T ǀmSΑ= j J|C#izd)ۇm#)t ى mE e7Uu%# fS5ؾB8SS<36GL[ik3ejtBʠa$0>a ɥ/u!pY%c&\łvL״^-dRȵ}]x8Von #3ֿAip}-,>2[J߁#uj6HH<+&cM_$y/ȣ_@۹;Tn+פ!ɍ/oaD@Q(&['PLNwi8G^xPJ2U}iEwOV)ߊ8ۖDd3:_M>yI;s1VtE\x"ҏ缸cuLK 8- Eݧ8 MJÁJakX5/35AC H o$- k%~~ś>&7"h#pKڴ("7m@>ܮyyԴH&r#mz6uc"^\SoW&_^y\Z#h{0~Z s@3-g13NvTysC\^l$ =`LmRv I5uoͳ0 ՊRnOtKzގpb /Io JZNJ?|̻&UI󇕆Nq mg#;~`Y [o)ӍPoY"3cj (~_asZnU\+ t(+uc@pՇmE'pz.0vUIH+NQn=+mX=MrSH,bQUdhT/? o)o0te ˓+;%;!j jP=Sj["cNjbNۻ'Bъt߫J!]Io?SEPU g612XVirԣ6\)۟WRxVw+dM~ڑ?o.ՒCg>Oca>saĆ0+3/@8thcމj5Q*BH˿`o4T m*{hFPGDL;cҠJ*MPb9:S&]B]C TD~%£WM1.ONlte޴XyA vȖbԽ\߻cC<`>:#)RgȲP( ar+^Im¶ymt 8AZ7dQv?ehC>b#mKx$lR _c~W%pax{eނyf(C+S9[A|civ2*b4;H-iˀwp%+$-75OP*Z]֮ultǎ<``!r#q"4ݭαô =ԤXMbNw-Ar@b0! G /qnf@]8 ֻl7FX3{! {vw;1Vݖ2``$ pƯ[Hz\:ng%9Wi"-ǭ+>O,cw8aOǝJIWP;a!#NEnHiяf 0ve2YrFϺ4M>ɟJW  p#8/mh;W`;Af\~<88⼷s=(<ЦRryziYՐY002.:/wh"eaF{OT*Qgm iP\3N#~ݢxƻZqsX3UCdS;Q= :_ M*iaMhCׂ3 ߨ@WiȐ|a@yd-u*LUbCoYk('/ !EB@C'孹סZifa,_ɍZ(O3Key^B ȫ&C>MǎףGti%Cy{Dw%7>jH-sߟf ]jo$=Q %C^w;@ C |换\Dبsm4#CͻD/\]ztiqrFCE4TeҴ];"җx@E~Td0tV-hImYIeJ{h(0p!9idip"Ct/ONFfsmI&[uq|ˌ?/Sx^~:QCRİon-Bq'GY(+YBùZ(f#6=DIq) pLӺ\,ѥ"J(%*6Ni.-T^d"`=7_/;3o^xf|ߪDΪ_ 7,RU=D_#H:54uM:'#pԊšt(JYmnG0М943%Y^E 싙C]j-~_aWšǽ4U8M׹L4&\9^>/1t^L? m`"Ch}K%,ͱ$w\Bt,}@1 $Z`QSWB-!OWdZ|Dvw2?1d8 mG: OۆZꭣ8gV Itd"3 1?,EaیW5`U fBs42X'WG#,B<+f2JC v"<OQ084)KkKL͟D( F-[P/ӝP?_I[Ĵ=|y)|wH&geo6@nMLEĐj RޱnR6xg Hl=k `j CĦ , YJZV(I֥VՉ؅lov,?fWs&@|h8 U8:3>"12zR&y}'}oJi6fX؍#FRF*4p =YUZp(7VofX>)W~ko!%/3BAʨ9x11^<' SD={օsa^,鼁o,']\+WSJZl\ca(~ڡ9AA9m}f`\:l>/Ȣg-5,)@9%!gG#6,Lj I}1Ғ}_gep=j/<S/U<́v!p?3wy9 n |šv[Zf4QЋ} jxv"aKz=,0]_PKq7I6byqIScPudАrTEaFﭱ病1֨Zs<|#NN?C11)~hxxҵF8n|-kgn|n'@~t?G61B ֓M2ybcؠǀ:dCFsK3ɘECu}Yl_aq"լoCB`l)4yVLN1qH4>L!W;ӎs R}Ғ jE 98J.;A:cT+V6<S(^$޽Hh"1bwjhӐό ,%5'l-tA} 2 pd":W7qXJq#WvväŠrShSV6;g#_VB棯@sA ld*XOLC9] nSNL:*DFց Gn\~~綏 ېNRa.QnC!Yc ]vt/,msycp EpKʍez4CPP' y6:`2T>fCdʠ}ɻ7E6Mpcd~\Ew ՑհEK?f?UW^oU,3wK9PV[Sܯr7(eO"HEx5A'XqIJD7HyZtt&ZRa.'6BpCZZ-L?u!X+,@%FsR"~!8K"C{~QMA ssi/N1nzJUP;N0L++Luэ;Qǎ 9P_Ej| Z ѕe5FW|qLͥ^ܨj~r=F\S甆[YxJ~׈QMB $cp{3e8[x> ހZW N(|?~Ӂ.jOIUi<[(E`Lfv@ݐA3tq; V,8^ Qq;?)\Cx|1ɌfJhY?OW4Z3S 0Eo6U}(;PwK@ ?bTJyZB}6[8`Q9v+t둚Ɔo7 I2);Hk[B1:og2F TJ'ȏh LE^SGU0 x xιcwsM`W]V>-Wقq!rz`TxˢIsrZHzsMsH>+8w%C(ɂ:.x漒}EoWaRK{XbG=,W?stZ&7G>?.XgO4uS%q-0XW,dA<=Z9$+@$zijo#5^Gc1mt Hԝ #L/=Cܥ3^<[#& %d 4f/7HAm ~ac_BrzdVE9M# 2 ~٭~,qBXil#3hIymg8l̃l'MJ,J:O;ٙU|O):n HG| )2ZfT8W4 ^ʞ"\g }´d&*\b<+YudmY};Ձk>KmZ[۶(u[#߹uu|빜z& Bo@8n%0_0i6&5[X*[)R!\=j&m|бV9|[l-Vph  CBY xa3sn8З bVؕ"-EļczV{czbM+ i ~P㳽ᆌDUyWMoaX \Vx&F( vn [E,j: } DSO'( d},UcCRyL2Տw IA2n(*Er;<ؘE_]@~"˄onߋ\\OhC/^'W8.$T[&0<*rt>ڦ+Å ^˕_/wI|lT\76UkjC ހ味c(~xnTg7mΐǣ Ğ\i}P6 1=.jPoY|J6(FRl̗-I_G4SQWw?N2b}]J=ɀ-aqp,O"SR2lg"n8$}{߂[7^b8xxe.0`{AT K6!4,}~_ \P_8至|ɔ4{ޜ1%9al-*mbrBb΄{XΒ%qAw nSܨpsym)L`EZQs=G#)x )Ne ^0 _{@/̪Dʛ(Jtr+xN_j/CLn,V ׾S\!UCimP^Ǯ!s #(un/b*Wa\x`>{ҎͰg[w/`}+'re͇  2%y`*r-?z801˘n$c/YX z:R%8?X2㽇A~[Uz ׼ AIs<:U)+Tf/ͱ`tR JCu<ͣkAkn4GtU A6nm ҡоeh^ܥwl;hgYZ7zXZִF! 3]ŗXiɟ1$Cܨ }X 6^vWn p^k8hu1bɆ>2-u  ':J#QrZG:^ fϨA(Gh(+ty0Ns. 5AQ`_Ĉ$2T_x6ņe[;}GeɎl2n Jg}YNLtHx/QEԵ"RlO<فroR´+( uc{9S4:IW-e][Aq7bMZtgYZ7zXZִF! e *]ŗXi%yr[%iע׍Q+L.#V͙dxbxî:W,œd.*Bt9_8eZkZ3fFw2LAq9 ~ oȚ~Ѯ@ȍ$z}а6py؝eAմ֤m$}]ז?UaiWֵo0 ~Iw L/`If'6ӓV)Ƚ&W\gFIFi~ywh{Knov۵uf XoP^Q"換~We KLzuC嶇N O-k󋻠 d1,Id$CQNƉ >&UWzwΓ+[f8Q^U >Q? &tn/ D{VثxOFK:(iE<pyظŢ :\Lz~vn#nP;U;* Oe.ʦy ^SrCNS#~ C?>a!a.m?1jg oeXFui Y'nxm *h] 7[0Ղ%lOs7GEA*8⿮>־->S.hV 1i2΋R9%+˲scyD Ģ{@=?! l&ߞbj emp֊;yV}Ù10'}y^p@qɋG1!!,_DWoBH@~t@0e ٯJ{Ȱs&C2z9"JC >!߲lm DgYZ857c8e3e96a0325cd1b44c0d6e7b3a55523fc8dc957af7128c56069f82033b5e968057a2b85ba273 7680a58cdb0664b11a4e79f2ec2bcba369005015 185b89dce80237eb079229b008c7afbe0c08f59b