SQLite format 3@ Z.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  P1t||\ ] HOL-Metis_Examples:threads=6elapsed=17.154cpu=68.324gc=7.5567zXZִF! ^7]ŗXiɟ{XfYe0E1BsؠCqp7C7S_?PA8B*wQh~M@νڢ>0 T^q?JtA)jLM& oG'M36噸HF*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 T6R/O+N(C'?&;%9$7#6 /.&        8w-O ~ = K t3* h $  { = Tj-ye*B f#3 Q <1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages8:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup791;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files6?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id5C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup4B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files3H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id2?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages1=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup0<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files/B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*J1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages)H1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup(I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4'I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3&I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2%I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1$G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files#M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id"=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages!;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup :1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_idF1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messagesD1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/filesI1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_idD1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex?1;/ HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex   oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ ppl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ B1OC dHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex7zXZִF! <]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI"&Nc?TՉčNi(lm&=ț#0i!1Z\&Vུ ]Hmэ8qs-s2T]ZV١% ?6=<-ܢCΝ'ɖ"iG߯p$ $ QB﮶5] 6FrB{S[#ʉQF`^P,Xh{N٫xV'Rie.qÆ[$Hn␓С(B 1ޓbI+; @=>= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[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>)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=>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/$'s 1WK 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex7zXZִF! Wx7R]A-MՋhvG"uIBm5̛֑ 0I8M\:{V5f43%]D[S^EhQG`U)" 6H@xp׼ρSg8Rg*lu+]b_;8zV#sq̊N8ϜKY>^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A!Ϩ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\gYZP[J%rUD$AYBI@my9e?+d@~\?sOhPzY7'[U="0MފyEa!viH̺]ӮN-J^Rp:u6ݖ|kP0"}9Ig'4:î= 9cSʎ|8M KfRa"}|A iJUVh>D)2S: 3p 0Ag: r{?B׎x+Y;hk+w+Y˱`aմ~`ۍ:}BS^bOYѯ$Okyșk#t*ޭQ `‹ |x˓^Ui|#mwQv>sW`X-Lx <սJ}G <öhȍӵ>s $6EB\Y"-㒾D knݻblTɞЬ]5l ($fF轩 TE2Clh!@[R=$tA:W%-O!F^ mjȍ-_G?P-zGe#JLBnup[z V\v|'갯fJw^v Rjk.ה9sX]-Xy|֒wT\D V]F-Y4K|f.UJ̟8so>k:_кK W]PC:zzAA"x|P&؈5Md%2)z4EMkp"E'}8Dy!UmjMOj&0'#_VUN!+j^&օ~h%~j2)g+$1M6W|F ;ʣ6_h-cqܘ7Tb'{N=>FF"Ϫ7<-nu*44֢QsUH(A@Xjake-fAtcd#jC›fCk6f}uF C涉#QC&s .Hʙ JaHE?[cOh{w;&ב(vMvx9q 6wtKK`7ū;#=XX#C#c@$'<:=I$g!] ྱ%HU*e*~yذ# /LE8Kw Q5ZMJ$ǘo'q9Z wJ~Cw%i*qu]sOPkoOH8?߲B9 0c| GExɴ(e Ѝ.k4|k^Qוu7,ĊuR+ĝv,RFmvnDBU< pB5C53 $2`r|~˄Y#-Bׂ(UߑoDb6m0~ow%{Io^wì^GR[(W5S6I0Tp<ߑ~(3k8QI-/N2gja@ByyI9yy_q4O-+ ӯT+wHSO劀MiJO*ց$J9=`?sX0sQ<@`Fhӧr чQ3*&oAlO$e8Dx6V(xHx1މ(W}5JMz.Y7Гw*?i9i}!&00*tK?s9pn|g2~!Ds~~v +/[/nPı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̢Π | 7KE iS?f~uSPT7挊Q6eGY\rrve[qTol MǧgmEݰnwp0 FAR**Tz*W!M֪ (gW (dIX[ I@Y__n$7 5:c|knZYɋBA TaV ;ItW<0L t(ŷ׏.2Q㠪:20-Rp2(mR:jVx"'ýYg$Hq;Dž~oٍ]U`ŷ3$' 7zMrFYzYGC8 BR@7k"ܷ4Lzwr;+h j"4>60rǜN.6xPiIPhF9`.e/@Nb5 י 7{8ꋬY#V F{w7x1}HeLcƹW"GBhv6]IPox%J21~7uiq΂7 XcNS}tm%cTaΦj83%U.@ʢT[#V|XV PHCꫠtQWk b8Nd93ҜذT{m¿1SzȱOCF#96JPA!@!f~51+/y2s܇$YflTp5sZ 3nZeK̭rS1)Q_l;M Nϯ7a|_2 &f= xaM[ ʹT[RBm~wY Dw5(3%т Zg /PUP_7Wޑ.ƭa2E7M656 U:`G!(x #?zg%GdQFk13e -,h})97Pi4bI_s3OFeg٧A Z3p>DwF``Auym*hka'a(Hk6l* oAs[kJJ\S̺0DOrT_}z&߮ޡ^OДF紾;1p v?S ($ҷH$וp=#b3W:˶\Bʓ A!k_cȑ@=oT!QPZtJB]^V˛yrJ(S"~΂)RO ^:;㠋 L\6ZG &7y@[DM>_ν*NJmZKRt7g/782)r.B֠Zhp fX%%*(ádRI=)'ZἝL־iyT D-P$@?u1{غef{hג"uڼ`Ә-~Y)TIaT%Xgy4MxT{ZJm@뱧}=NuPQ|! .1O# \HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1pϭ M$Z9iC昔=ffFIVRLް?4+&b&fwBhoC(Jx `g7ö-Q }Iswx&Z8JQsЧ_ӆK%Rk6ƤXba_$wFSc5V+g ΣFƔ!(Ċ曒ƍ1&( gH*k:oö}:W"#`cZ\TXSu}ʝ AVLkx\TdQ'<̫ 7aYG< 6bejXdB:Bi"qhCZDij=4ؕ_~N 63x}h?mpOFRƺ3Hn$o'ffY;%Un^Ny8*ZrSOuUȚ,oic*ƛAy,>,MLՇ4wq> e)yxeё F#R96&j{<ůU|bLoѼ-kRY"_c,&;D72V:eY:*|Ka9EduN Z4( (kJN(&r{ǑaN |6Kpa:/}P$0R,PM;B~fY8vn/S`-I.r̞/H>3rŦ h7h0^Rezh_xl¬Udi O~f#EyTʙ K6ueޢU̴ɲj̑ B0^J',z#R)LIkL%V@w:<.t:U]WLH $O\3/(/p~=o{GÒ'X<xgnM{yޑIQޢCs NۈueƲthbѠ`u uT #rqdrd"Y=1WaLI5GLq9H(!?)u^:rHPU9emV.O N@lL[8 Cj^r MտoEK\vR0ic\V G@]y + ؙgέY~6a@9{;OPfʄ?rol=THĕŸtbd3Y}fc*!3CS]&9Vx\3ickkˬ)#k1X<ӫ T bǾqJB'M ꚰ<#2?"x_EkF&*%'(csBIY \aGB(+TB?n eIEUsWtɬB~j{w_:*\D[sC &q^<wYYD4ZCT‹ }Z,[V[@GjBTGX d-]--?.V @Ibl4sCg|LJa3_ KV fN *#WH6/\v9IۉXcORR놯E5\*iܲ2 3-jgBjRKBb&uG^uQpBnJ)GX'(ng =t2kѩ UqQ8mT)?3X$S\.D^ Q͒ziǦ3ܧ D8$(Ujp߃ иx}DTFic`r@鐻`81}M|%(U>FaZMm7) [H/~D)c%s^^\L \ ?zeMۣe$L\lu '|X)RY[0\'e^WUt w2%B~Odic Ib}Ept0s.7y\,ZćFk<o~cYOnLjH&b;i~7kάpZq¸2j滓'=F8 K\1)d#Z)U] &̲rif&%~bIQJ ۹Q:ޟ72%zFQF5m2#KdD3LD>H3:C[ܒ9\-Wֲ,]D!#GߡX[eCH)ndYGFD_41& J+]kA۴EIۙX+~ O6O%<*D[ą19QOը/_<ϖc|oF]FS ٘KUWaq8m׮8/DؕIs/U!'G+̋8]اÛCM^MVn5  M ͳ ~!Z+F]s8<'`RQ>M<@ J 3ZSǙB[FzqyXϑeB<넄vU+oA̒bZYFL¥ҨNn5{2hRFa*5d`bF'ŀU:zW06c;FS*OcCɢ{">F+[;zG٤ z/ KgYZ  U e   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"9n&nw1pl]%gBٚToEy  (Şh~N\OaFg8@4-BՋXŋ6s3n+uq d $|':^6WhؑS`0О]eg3̿SН;ۦCI(cu|m"r@ėb\_2gN.^\WFM_]i~e6 %Qq mHg'|f9|۲C% kstSrV(7rCh =V;UBl;566 _pCa/gH >}jI6 /$j޸.-dAv^e؊w)Ԓ#ʗbqz2G mEVC ij"<#רVe=W|eF'FĤĔɎ@!G'Y9(p_^:8)p/+;KaTC{Cs,*@HkS@ZKڀHTZq.]-l_3(ѝmA[7bXoaTb8u Xjz|)R9;C kUBT DoLe0 2"r4WuӒGa:1R#="r Id ]Ѝa=hm,3f 2a!!Ve 02-dEbQ 鏝8wƤ$srhMhigI{~(ַAn!N^oN/.}).>,g̃)b{{7"#OR^`"fɲ"&ޫɞ ~#)*3P;Fx,+"˻!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ů0_6|/qRs+瞳FQo *3^f^R'+_"2w/F6Q$axԯ=gdF{ K# nxJD\ lӵ;fqK ,F*// !C:BWy\$ zA1\24Yۍ ;YvUl%"&>5^Uu(+Wp) x N67`Oߘ .5]5G4f6&i ?I´Uid$/N<-VG{Ϸ)# o6O:ǭ~vod|C+Y g\ #[#}LzjWdxtȅa(=Ft4v$D*vŬPY%p0H9}ϵ6|B AMQe:\O?2$,q"|얐Y?v]LO у8MOZC>kٲ蒐y]ÿVɃqC3q\.evHi񇆶^` - 0n_r Jk_ak"<ƀ'Nm*lM"Ws!FWQ1ݴS/3;p|oYxj>AQ{e̿Nm ew[Hl- mJ0X:k:p>$TWg5'RU6BL QL‚hUgpo,w^ّck8]fUO,%Ddz+U38(`C:lV&]uMIO\$]rTSdx/3;q\%c7~.]ΤN}r=N8ʚj?16TW)dyG6&b5? Ƥf>fY5~PK$T|#?. ,B"XGw:= ZK;m|U6؇}N+&dɡqˏ }ڈ@!qb]A)~Qu07ַVO 'x\ E)<qu15vտ 9gRHUTwavC_uExR.ŠTV &īɛUN@Vm4,^ݬa!767WGUG"Ojڜ̝ZuδOuoD9 S3UޥC=`|d ~aIhk&B`,!qMFxW2N`^%" h#C!B᫠ =/9&6vCPw ,jz<*;W}ocoU:R}'a[shcQO {qȥiCA6I:} ~ !̊EGS{a*( w-2PA6siBFL$-tLh S/Gꈄ>)c{2q)ShM`cۣ'zMrJG F_=l 9eծ]PF[wɼ޹Y^ >ɵ<7FZpms,g6>B'")pl$0KN9 һD !}HsZ\ƯKrSI>aAUqU B|9.xy3Iȓ&4{x8IJ-tølX{ D [A9W.ew*`(OVl{ +X2? pP. ESblh\AVެ+}37]hJP}j_:ۓfjFLW+Bg&g3*nURud>NM;!7;tBtXx&Sh)F9r@;$3xiaKl9 @I˚et$[[; ~\-q( '{H HԊC!d&h絧02NzJiH* sΆxpwߔn}-|d;# s!Nb aBƒb->axϗN6xp8Ğ,Z7W*vD}wH/冟 ipPBJHU藌p` !6FK1 jIL>|@}3!vX\cݱ}8΍\Jsa۬%90Y#$̯6v EjKӛz}u7`bGl!{ M 18@=]s̀?1XgH=_@?nlĜ?tH #ǀV?smXF0/n(W,:OJ}H,lEFrQ$^ ĵ[wBEǀ0y!0e^gҝ'KwPT؋ ijUa(iPchZM茤|TE{K?P7Om̮^|?B'Bkg;&rD>*Ն.*Ugָ3auSw܍r N}lMxP (?2M`'8Hoܴq9dbk*ڐ7mVIfO;Tc\SlԄ b3eEx`.^cˉM#5k> >5!v'j5Z8jͷ#v:b5L1bdJcWO_R@3Jl:ϖgmEda1 i.2VWe%"ļH̍>~9Q]8L9'j Dl3{ BF @~xplпNw!߫!)=B+ϒk  uSZlq̹缀/󆡞s Ck6<&~sa>Σzp=e:/ t1v5S _7ģ`J1N j;Hd{#pzoY^n&npIZb}4x#C tꘖg|@(]r]Ѧy+f%Sd^|c~'uƟDU!jFz`b~c'K{}/ dq\bͦ(]/_zYcq[8-7%lJ[.CB l&)އL;{s+ȑ\T~& PNOʋ %Sd`)vR '6Z fY-dav*@8ֆKX6^S4b1mHAqG*vuG|`/YAZ'{丂L= ;㼸?gq|ZBoNӲf˕06IC5&iڋMPvtVbcfOڍdRSR!zG̎bm6O˜XQLbh2uմ 7>G |h4h'kbڃcJrި(ΩԢ'$ ͦt+J[/YÆj*8NrL IFUhw$JG ,fw6)bC"g>Ud|}Nu |[ƒ5`dzU|뫖7Z0oksϧ5n+Ś(^49JCnzI1]Z ϑۺ1{̿B=% FOrZ0ŒlOiN!>+^f(L=gC"T/"'|$P u86sE$g]>/&9*:)bZ#9 %^eHYNM61r]qgbߨ#P FpPc>ْ.ESٱ YPOHJdKݦoTGvTFxLh[IJo-wjgq vc=$a*;)48=k]Fo b?jŜY5闕R:.ʼFrPAƿ +JrV!`kK⦷x`ر^SERD|ĵYt¢:7]wHv|٫|0ӦBmJNG܇12\*esd#)O fhk$jt,ySPG72U+U&;ǚo>wpֽ$BEIϥ*'#fNke5Zdf7_<:_ruVᴭPJG55cZ^V}nL}8lWj&.鍎:(9¼a~/TL{ui=KdjgV#M-Z=@.d qi{2߭3\w' G!Rw 6Yz9T !61* 7㙰IBƊУXWNvyj3p9ZdUƁ?nOI9^B&'/o FQ<6~ST=D5/?EZ΅~/^ۈFyšHijBLQ;7 Bd\m^n6X9IX[+CW]n|naX'_ EOꐯsci^Zol+7S!Hd܁n(qmM3 /:zu`k&%H-g!`Ȝ u97ބ^_Eq~xu)10V([MN +]ӈ+ߍX5D+Jaz(¬3'إ ;/AQx 2YzHp@>Wr|m18_5tх x؉O%0S;.;ReP5^!xR[~͹%zZ!173M|nDj'Yd$\eJϝlcȕu_(r(+Ed-qā( !l)S95<#&{0HwPM#R uv>FZ 6-xR+ 1`SQ}v^;8n޶B2ܱp yJA%05h 4 0P۟ͽ0 rER$%J"a=6YOPs˲J6?97X~@{wpA?Q7wgYZ"=rz-.2V!2} JB:qx]s^( <5U! p ՑHTꡯ@l&K彼h7+ֺ+r7pdg ^YcQi|WW4{ V,6Q[tc8=Rw' *MSя88Nb:Cܝ) Dy17Iuqk.R{EUdM+u,ݚHKJ~4*p[= NJ5s(z/-W ^nnK}G>mPĮ6#|M"ǿLZгO5;ET]gVVDGriMPՀe.f=%/囫HfaAcK( 21jW%nxG*m2ѳ%NJAz=;ԊϱJE (`:0ڢw/Q5hCw{r<s02C pr|#ːژj s.U 7ZU 24|KjَȃYp‚$OƇꤞ>~^ӓe{Vj1K:l5&wlY,6!1q~?GTSeN`TЀVo]_a-=`BWrO=,l۲vQ))0ɪx?b3A26DZ>U;q?\=_/[FH=`X }/c5%YC7[&e;I']&' CXPJ^0 (.mLwvsn/QCZ.d5QoCF19%aHZb_}:>.0RMJ. oCyŋfO?.Q&tCJ L'Kot.d i {7Wo;Q4B5`$0[AH^V@k[c@{1oo >v2f3YaP|dqƸ o#h?е &FIfP&J:.Er{o充6`ܘ/=WG)Kt5$l_`Xdqs%Rί oSɭFk\e-!2ΖV ߵ6uKa:@PH%Lхfb-W?WIcI̓'w@ts-[)|nS ٓ)ʀaX*iKr,kctuj+SE2PaȸLK+<қ>g[NF]w} sX~6zH[*o+jiXY9z0;N{ D8-!d|ӄxebhQ%jy`>D K+fb-vxoڽ=+>cq-iZb dLp*tR>ܿr\մo% 4(uE72æq:7jkbiIj(PĂ=#64'IT ! qO3Z7%Jo]GF+Q{*O+.&o;z *>"(oRY YP1Io^PQWP՘WU?mJid{IZ# .\XĦ'QXb:H>î#Z#G}TcտN܀1sP忓5u+{&m7RL}/8c|4k<7PAo~8:M՘W) e7CB7gҿlh^bBpnaZT8cSF=T>e@Jݬr kx9EOkta `= Gg'<:hpzZ1ႩKRva .}?Y<+;%w5QHavm>wchi0qB%yKJvP$#O-<;{rH'Z=ڢ@jdz,kH"a %h™`J@jR37bjDc_RM7)bZf,WCgŒb"\2宇[kFx6vસOMZg $ Cb@f$\ lET@׋M<9¢#: py\ҍ[u]cT|X0ÿU]Ƿذ: ):}TmռʎFKyvd?Q>eP!!异KG[nt6Z]`15QP۶r[=Э,S"N) @YK"<}efjsE4圢^1G6Z{4݇O/kD\ < "f<Ƴ\BIfʥP]  )_%ԢU]\7| jC2}PA0lf2y|p^NvBI{F;3= ө0iy d*c1~ C۩^Ůb9gc|r4 !pUr-13ƈkII2o/w&E 2_f,*x,ůR07&5 {=6Z!CKXMzPm._ VYq4 b?iRI)G00h Wj "ǸNn>o:fO|IZ[,kHE# Ͼ>үk>}_Kz_Aݨ?s&eմ?#R-V0|ұj RsĄ@8u^::&w5ht+ހXwG,!4uSQmMy( (SIUA^<>o\򙽯7H`Ykb0B5|k v\traYىJA+z"nRB;e:*mmի:hIV|4m"͂vo"tNsjxS%SNA:bQ!#'g ÄXF݃'ev~J qJ~Ʈ۬xA;H.7دU୒2(b }i5SG9:qr!.|?2ιkX3*yU`vCzU3[CHUSZopI8LN{-liҰy N ~/=#hXh唸,Sպ-2ۙ{'|kcFW[=f`sױlh1ڤ6菩-+4=A D^-5n.̲9X|\yd @/.9(e=WSM1@}87}Yzn+ (+R]eeϙ*6J\_Trd^0{As_ EZV-B8RZm{~QDoEIqbY'y&=n0 &\Vfҍݦ I6.p3+udx U}exϣ5ک.').^R! 4l$iv3%̇2•ڪ'U:t ~Kz,Ihs,ujn/x`[ k[lP<#[S<NEi箮 x :|E&W@쌴=vŷÖ.Ddh Š CY0RF,bGՏt?/HJPWq.{J˒\}8x>ibnNpDzNw͍U\C @NPc&ٸHyPog6 eUKY}Hj\ mJBt@>L )}pqRdLqT-q{P왩T4 yp z*frH5yqr*[7L%\=zDpOt#&v$#1ĸ3 n󎯇5$-@dQ]^Ypbf&]Q{~GW#\аb0hj2" Є~!j,%Ǖ$) )=b𙤦BE{e2k*_܀[+VM稶2Jo1vGp}`z7]ukXNL4!϶9YI)ApECԀRd[?,-Je[0LuR\`J _v'+hxڊily>_OW3oag:RĖ.{խ0>Qyls|]C\;b]ܯ(?yG.xZ]]NA,^C^¡*_-ΕZDά3MJfrJ/43D{Lu3QOrHȉd=4\Ar] ?r][ ^^Z۱W1 hPyc 08YsIx`ƣږE}Z.jS2n Sܡ%*Kyjk *J ӺG+$"ﰊtYgZߝ K=D JJeB~dZ(۱ql$)"OЪz֒KvJƈ~9m ujZ?} vVAATȒG A-f谇qZ}u.[vg ed.>QLҦ t\Ĉjvx C?C"$jx^!Ygh(0(̏|gc90#* | .ۜ2pN2 B9x֠_݁N&EH}_#Ic37n] \ɧv~Paq:WqQK8oUfH< ܶN%D`#iQ6nE9ʦ}f-t(-Y QVg(nyIi'V,'\XL(@EPAi%3[8 [DF;&'E]@MO8\y="4A/bE@źCiMӰOb )!6gw B%9sý'lWX1P@-@J9?ܠ݄/Ge jV;@X8O_(+pzXо׳а'CIw:4S .|to#0c}=Ґ剨l <&Cc%6@9t GT$DZDYJѩt)G=:"V!E/&y0q٪*)ņ(2䋢ufyJEgODJl!No[>ۻEd&*B{v} "!%s)?> “0yL؃kORfޥ4(Nٽ!"7w\٩ qڋA%>6%T2=z$ƫ6!vnZ1hXOvPxC]APuM93X00/\NjH9n}STktY3ySt7ڐ.B=\,r7/D|*(xcAm觬҈jfnCRx'Uv$қnMڝ"U$lpPcd>dvѮ΋S/(*&6Z9<An0{ˆ@gOu5sFY%wTshyr6gCbK OmG4g H;{֚7H'PZ%>\+,Mo3O)Y_YwHFQE^+_0:a"O~?O<~Qy Zo b9*?J̉v&vBch^ţB3ڷxxh3rv ?5)]Հa[o( f?sBB)꿰 V$cBFUHY7AmxfՒ9.-p}Q)0!3z:r~'2 Q =N;w-A&>a_0YBi#ĕY+˷eϘ0uC@P@.AMܰ_Q(ҍ,TW6}r/n}nzuc Y02zd*w-4!n6AOR0rH ۷rfq) $ 2V[/@K.u H Qh#|3ˆEԩ7 uhQ,-tD K_ Ԝè̐SVP[x+5ƏsP!yN Qԓ\vJ_DeC_TE;ebUbɰ^fdOw|M ~zQ<32~Qb%r LsV/XK{\'Ć0+{찂@UcP=c+)R%yܪF0@,9 7&cX]ĵ<~rH_Zg;i`d|cT `dzM?bJ eKu0W&OMrDAȃ1PCob&г \iHfh(<:(mE*D<!O Mw3T:'>~Š`*¤S4`H=mǵ!eU,:%p~q( xʄ%"tvN"Wh {C|#HM,mh3q.yl@[S)dVD_c˽Ѩ᪤ڝڜN(Hoy\J_V͸Uǃ;܀ᅛuPYN[Dmft'%*myJyՙ0ͽZ+w2l+IpMPxȔWUMaVZ*/==C+2Yg!ߏ;r-vw3x|>~{B*z$ތ K?5<` w=]?i_ݣ+|"x0T d(G} UTPG˩,ag J k?TeIwmN8]V!J8şi붸nC+b嫴/^dTXu^8~S]|nz0ޑ3 Y x@Akaqːlwg0+'<R-w_{ߧ%c4xG"[J:3j=ȿ$RN6 oU\1rh+0۷ Zt?ioW6_ힳ,}~v| e*J(kǔ)E].evj g}{j*/ȕtDx_poj999w]d/v΋ţ]2o}v lĤ\j&XRIoAW3Y. X;?;ׂhb9I4#`mD84YϹʻ.-s"M/]!= LX){{/LI`pr/CvL9!=x{!y9d-X8fǹ|Yg`469ȄX{G' XQAxڎvh|F]}ܙ%It`S T2,QP|KAϸbJ81jyֈ}d""ߐd&F9VW+׿3! t!D6+etArkI_p;{~WM^!BBNapsbVьڑ'dshh8)aZܕ8grpo O \NT=kw"5xѬ.D`Qc_;ֆwជr)Ype%'ᬓYw]t"tD*uIR-^(e~ЛU$BtGO1_1t\7-۬Yы[K4;7_|@!GIaQOj^U$Ytdz!O{Qk3M!J.-g >>)5+5. K,?!h"G nWY{ W׈Gƴe*G̨ _88&*R=ȁH1s_+X@MC1'C(uΨg6И& oO:LH#Բ.E~ϡ}8L(7 P}_,۪萻PYYn:a.%IdF xʾ&HTgYT'(wOsVvчM'^ߕŘG"o{X9r:1zjQ`m+z7;k.)gp:wA렏yN'_N;S֦R x7– :sO!*_/WCxR=~KEra:nzC4*NvW8[s/ kvՁN+޳\vh$I.Zɸ5,H[iU|]\bƽ6dH۠rW6o|-1{/=ƕ&V(?sPl@X$ܙ>ʌ\ŷ=a um8wNYW,2>]ȷ:ûhV1 KMUC{BG*Nj?6]E'70.ᗷs՜g~w)޼h9sEMΌZj}^ayjG2H0R.[{ ^ 2,B 2r84MW7 .ڃY/B(E ?1NEEYoy؜f6d>5 PX-ۀl69S\}L#jZZ n<&C "Ьkq'奧~2sAkRۣTBGviyW")9"|wek" yCbNO gKQ'aKw _JY jnI~ M`ʺ..pDd)FL\kE֢e;NE,a.BGRSp^:£)z)Z|"o[䈾ljZe-ݹ-[0j[#`$ĵGC6ڏ$5W&UΩʊ#ѯ@#s7BFt\ CeƎ.GI:iFv%!rtŒzM?gV$%ޭST`-- +Q;乶3>*Ќn6;HLXZEF'ZHW%bK5 KѰif\@!f@:H4@6~+3^3NJނ"6ŷ=^|~75⚧v&ù 7s1V #T|#gN`l4\ygXĆzPËH < gH031]kowO˛;m58jWs-'NDo5kK^z_ h] ˮ٭( _=ʛp$љ؇#3GO8w5?Yq69u-h8W˽]2Ta`ndP@cqOEPCv`G^,R/ v|aA?T艰汉|<\6( vYbVyǁxdf[1ghC)4&iYP{.QM6Yx 7 Vk[NK=4|YJ&p<߬3fyʟUQ)ԒWUHH@?WU?aI9%uí\(i2ODORt ~& qN҂@`ѧfa>g=^}<8[x5f~9u8тԯ\=ҘSOi=وNx;{t j3(0%-y+ }IODFϘɶ?R&ɝ|sܡoIP m^B2 O/мDq"N!_k)dŧzkiiᔀ?#xnqZw3EsV=] {}Д0b-hz'uSMsOIF؃:YMɉTFǬWSp$]I;;1zMniU2_x#_Tyx/ 8^[~ʌR_rC; !x|A©gҁ`.P6¦ of? ^7/:}s(MYf4#pS-zhjցwu] :'PLUW^!X['hBײTGB"6AlT+l1)GTZ{cBG^ i C+jU0> B2-ey=Xuy;z2]KZE\܀4H+Yρz eA4O;; {ÝqjCd6嫫eqNcO|R >nSFϘ ) @Ġ7@h)2^+  ,RN'`}+oaӃ~oX5 if&FcM9 a&WRk3犳 m XwV.ږXRqpJ͎dC>䈏.=wĊVCa0/=>L +J:ڎء5A!Z Pu 9-8A57s?|ȤR0/sɨstȥg>2 !LSEaSN͑5TP3bd=4,FaCoj-0pDvy'5%:*!d'GD}x]zv[ }H2Ro·OHA g%Ѡ-s~jP4"JX{NBu>3Y[IGVЇP9wF\+Flʔy<e1ܬ`rR>>Hp KEjYOs*EQ4QFL0eN/\* 7Ala g3ؼy /8a^ hBf| sW"Iz:FDkyk] @wQ6*~qR, w;6}ge,;Pq C[h;; ֐m֚߰Ռ*}NAA>&JZ+ɴ3?u'0WK1/[20α0Xzfu6ܦevٸ-nW(x OltYT\#[ \ 6j 79Z&b}r=J*Pl,"@IBi"Rɋʈ0(s'5  P5n$X4ܜL@".VصC$u\g‰N|Q"!.A/6LM_yچIN;dqZ?!1I) ݲ# (xO)&rtЅ`2OK H[EI`|( ;YMR ՛$1X۽vI^ZmI Ϛz,VO ^VIs^jBBD+KLBك8$5$|!,:GѠAAEy`azuˈSe \Ԡ@ Ք٦m(05]ȊoNeőai jC3 f|9ŀ<B_Cڣ|nY]X"D Wp0k{qKFoV[J(;X-$ZFgK#U $үZzC [H"Lۤ&d-f_et5p{ IZߌBe ݜFQlRUyxu΋amjѴߧT~U+|\P7Ym`\#/3[;-QJiÒjfflZf,kaB3M V1 Oc8hII^%9؁VAޚ~QCX/c T,ѤK\6mYIs/=8G`N@tB̬} o1 wܔkjW;(D( sxYeuߘIaHɾǁSRXiǡ">_hRZiq[9mk[$]"q܅)9_ 'aW+.R)dIm_h L,+w}8nA*'2I侯iXIRG5Cܸy|-Ljܭ.!q bY^ Nyl}S6C|9ʣlgT#hu{EBcpKM-vLj:v#(7 4!gz&m!k͔AAgEA51c XjƊRcr&kJFt4G?Od[!.j*@T(K(` 9ɽ)}"7)pVu N1JA+ FR|SpU(/q%@|oʏ1E[g XMEyտ. E?Tk-,WeAuչZj B1P 6)FpY`n78](JqG.E))3Onjj,Ahkx> 6qI^iCHuq>?/7MLnHvܟG<Lg>b#g0NZWy>}k4:c2枹zJoy2F0OcEFD2@ P84PuNz6 cQx(y;6ɾS_f4d2"-/ZP]8!|j8Y Šc6 5OޘRVFO1/S7@mu5 kAx%ZP1ѽzNŇCCN*qF'>ג=AP*t 'H I?="{ؖ+nfȱ֚55^CF{q\IO{5P@ϳԘ;4.>N|nC' m%ghT;mV1D'Ɋ̹bv-K+O})URT]t2 XXpkV4sĚ>(@苞g,m!DG鿓0iXA'rݽp"}}[0JބuL 7T'+&fQu8iM:ZO& ,K2>%*V|wN 妺gV7A0HCw9H4Tҋ f8@ytPnyŌ-j&]YT8ҝ#FaF 4COrq u]2be)Vk$]:#p'\JQb_X?`[\#D|MT=ҿZ;U#'glz4&<ބ4Yd| ۩sa\Ǚn g\ؐV^?kG$jGaUؖP][aCquLN'XE)Yw)&N. I"HG402 `;ͷdٕo@ z\(Q2xlRےs u93gGx=}Wdɂt5^4 9k(8W;ym=M)j07ۻMҾtcfj|Tt;ƽ5bWoe޼c;IQ~#)lJrNf Z]<:ah7aovCҢ[d4}m/Mcd4zyC?d7#5l;L b:/ahɁeAMĄS'y5}ݿ7USiB[0 Sv&Mɉț) 4+rΧ;7Bo0iJAHlj)4O(A'&FOX8"as[->) =T5Nk,SVB#pX ;KƔU4X! [-D8;rVa-ꀶ;/ A)ckr[xAXMgsD] %Po\) 'oe&n}SR$Tǧ8CQD g҄.RVtd8E|C׸,^骶 Ővq) _/?J#`JvqQ!pHǡbAoS0• (91-rygο ܶhy,쪕xٳˢͶD'@GCX! hYA9J VNh!!a4+U $I/S7 $埅& c SXs䭊HC\I\W ube߀P'9ɇc0گ Yu|< ɯO~~UN<(|yMI(g|Q|Wm85GgZ[Fҍ0,2!!;mfeP6\z2df["ܽ&:cX߂! &J}f#)I _X8fW㞤?uC)P[h+bSϺC}Rw?WR/(^E4`^G~5OUMvՓ0JQHUB{}Sc32Tzyl!Id, 4àdͻh N"-UЪwBӖN9!0A6j}~2_tBMv[[yW/2itKBrZ.ٍ[@MG{M}&(%fxEKvnt|3%xiBT4R-P>$dqoT3d1HU 2v"׭:4&?NMNd2! ­hNV4 v@u җ/8v p =Lw2-׊Y8v6 9գIiwI?DŽ?"`?xCN;F.@PGL[w^zep\cn`յ̑ Cr-`̃!:h#d08HxGPp :#Vyy{Q.$HcC):v~g6z-U7vhNzl@lҎSa:k d4 Melђ|:Y2,2|V0/oLi{it):kڔ.8tyo)ۈ<4 [v.]su,4͝2+GGKWAM}H<|;J 4vv5E7 cW^NcJvhk7Eu%xjY\QOrt1f̽Z @HާKꏄALABB"sd%<4Ҽm;Ah;=]a-'$_m+b܁Fͷ7 dl@1&nxɛj܇g*)<)ғ%φ0ݱ22#1}̕GI}*]~#[%I3)K,Fp$>o.69C3aagS㛠7i@ʧS.QT͗nLUKK2зggAr &ˈ r ھԔÆQeo z&,3ELt$AQ5SZ>7L{n D0D#!.#=9kzZгZ t2n1Gj)ha|`1R"D׆N{SC/ {n%L5ڎ|G>Yr}ILT@ _©+䶎ހ`'/f.Mu'}x%n.!>w.H^`*/uV"?ȿUoôye8yU>E냮8Y_$&]fDf`J kV~R/;ᄑ,bwo ްK{$jVScbVv\ފѝKi#Mx(gXP"`$9J[ff}ߓv?T[a ,`sX> $Cf ļs)JC RM_0 S8g[Ss~?5{.I 寄 \_J5Htp_8 Lo)8WΡyXeӐlZ-d鼡˾]`JdxFmA_HtU. p4}E~WnˑYj/szYE@Kkrѕ҈/alRdo0>z%eiH#! 8b|hrk,B|.sNy|e #="D,_@ŁlC)ǃ?>u)2aMw'|>h$}KNx^,aμ vy }8[rö *Q[y)r¡nSY~hUH)rGI#5l\Ȃ^t)z4'N]'~0l`Kg# k8OV 3A6!`Ğ‚({]7j>. i*:8oX-3[ I-+n=GX:rȪcKTӜ]kxcGrZM.Gw !^Ҙ ~X~l>Jq-+kսj@9'9Jy4!|;昧J*lJFxSM2r엓guIKT&XΡp =RK[?*衹S1Ze吞Uk$5#N_ż`E 4UXb[#51r1)bp/EWHh3[&͜V.Wƕe>iQc^Se+>G@R;`YKdKO5#%pn MxFWA%]{v2 ޜt&ugO34O"w v pyal@KKaTQulhJt7n~7d[m;g0=`\:$tcVtF?Gꝵ]玿I&!)abJd UL#+#3C6ID& ]p1\>2Qh&#Ɔ*r c:~E5KaiܛHQs6Q}9x 9㊽RE}T/:,D 7۽eY#.?iM?{P x02b58) »K%9ׂ(= ]U3I>J1I[ثgQY܎ɦ0P9wp+Uw$s-q;&vJL{:(:.J3YvI Ŗ@ Pj_׭N T6赧䘃ZgcTtuNōa'QQJL[@d!^aY*ѿ}58Nx#YnjQO?KQgI{<1alC^:1 :iųrѮ (XXm&.h"BӴf0#C^d(?V?|w ̭ 6<𡹷Y`t%9E H+|# 1'}{%-KXpv(˺\ 1OGwK&TaY`zes)a"{cxYq\6@t.f!4}w&I7> KEZ׏ a;c+Qy:4DQǂƠB6&*~Mhႂi۔똪*DSA%wGX@Rl }{79d-L'Cv^|K'~mxvsB{*J}37+;WqBtԗX PL$zv?P:+Q-tbUЁ MݜI`Y.[3*R޺e?߄asgr05?۷H۫T[4k,0}WԼ3L'[?7} nY#y dȺCU$|t*[$3'v?ANNYܰ=<\JIvj<_\)e=1ID^X}pdpH`E#H Hlm#6ZոYe՝QGTVhW4<@ q;f 5BiUF=EGSN ՗!CYUu$,>WjlSVga|v 6`<&i߳i, R*gs25 x0qA2W 9̳ ݕE +NIE\ A]Iy&cs9qdd]e?S[`bDGȫ,3.k*Z H@3r_\]N6u `uSd0n$8__NIw;P,gA/ yu_|Ph$T.ƹ$tk3 (|Ua5&q*Z l˩Xf` i7͐4uxKX+=|J] JmyUNP uN#MKU &3{jC@ ";g03tJTmdfZ6 x53i~[R>Z8$h-; ?IS A,y7JN\X@].T!ʔ_=i8T LC!g CGZ af0Kqt0X? M^=ڭOA`V]θ_bA,U ]K 3EⲶu\0=—&v5@ZYUJl{1#0mzCW- nzf{saOYj,CMxvhqAM+Q<"!0ɓKxYuWUVpiW*z7+'rhWalBgz~;~Gl3o.𭆷axeC0JfQi'J1D*Q}H<)I:m]^s#' چ~]~qHM $%\$_ qм_ o4?Pt 9[\vPK"eAv h[j 1 vWiu%k&_i!+{ -|d~UوI,5KΉf.r {Eat.N :F0&] 6SU؂D{P$Q3dH4î"+&e䖇$5Tn50J''(.90__ %)Bf!yn5:9*Dxxhjkn#%)fib2?莪苏7nIg–1&I ]! U Sx~I3]s=+?}?ݙRKrC7մ4tjεh;%?ԥ Ԩl|DAx!1*G;s jItX7e)_@mYRvjV_o]5 %e>*fD9Y92 P䐌;vPJL+=<&}®u_>p ?NiT~/ex:+)jKj3(6яrVmӒgZŧpPZUh~E*2#@-+6Kح-㵟]T}@,;I;Pe|L+8ga[εFB˱o_e[}RVy\-iL 7xcauSr<٭X6s8AauCwUWam{ ֧;E!xɘu=N736o\M1_/(wz(dן!9de]XU5T=CBS@OH8(YoM QslUY0 OB@#FŇ`;Z7 `"Erl4Xُ v(ī 5F-| ^%0`҄J)7Jp)`.!uwqr:ŕ]2M'*,TIZ d_peQM˫ ~"om#I ^ZO4RcpFEH+U43^J(.F2!3;u#Ttt,-}ɝY&?e34p-(=ؑ1A>:%6S\uݰzn<6%';Ī=8\F'9?232E]Skǐ$W [H iU$Ug.C<)@v8甴QfnVMVTÞ}㯸bUqTƪץS/Sz<8i}Gw.Ca!yuO?\ Nu ҵdVhp_G‘e|\ڎ]\ d&w, ;/1Zmu.c65Z[]VgQ"ǝBN zY%|Wgq% m&xq;.PHZ^, M@ ٦y,^Â۠Q&Ln; fv1#EU$" ௹պ>s1'$nӭ2615M8Fx͵ [uÝ_EpaE_<},7ܽ u1#-0!ƀiߓQ7V뷝.'c$tX:`|1є" =/ M͎|lЄ6ќoEN&k8i&Ɖ5r#:C3Yt ag {a͢gOIA+S|4M.p/՟h=@p-s>0ІjDK±GMqJ4#VB wJo R+OUaO Im+ nǓ=J`gzb ԂVۆf/u,*i]=Z_[{bVIG.~n] p *<RXmuBpGav[spU6,wIHb鐶{=D45䥛LlE^hZfؾHakڽi n(l6SFS%vCG ^˂Si--1rBi,$A>)>ԭL\8^%90.c5&L{G~8w5PGRٺ*i;ƿ5J }*Lr Kǯ#BwT21E }ZG ªDkt9U ~f鵊 pܩΤ@s %}k;OO 16E1kI;W-H9Nt"UPpBI3rq_a`Y!hb1b#O$:*D: b^p7f fC>x$S=,f\,O# :ٔehH:o?AO v3iF8 y.+8h!| 1Cc0}1/BІGCyBPb؉/fa?8ƒ&_*kRIe Xf=J8@ixx"~!0_%y!cC\}'eHʚPV/؇O==Ka},ޕ^9KCnHl$ڦuWXo;CcX蛑 ?k8m& Xkrr -.h#WtBVō4e~8+ӑc1.+V_ssf |npbQS+yYȵKYGͶ3Hȷ3D9 &pr06i Ԛ JR%*S bpa{\U j{? 1(b zOΆ@ڢx~l4M,[nݢji9Oe[ kAHi5h`|NPFX{Z1(iCߛo3iҹO7Uj9M6$|>LeiPO^B A6ze31lP2į Hb1kTzGO%xB)y8}FEW>t=ӜV;" Š\}wΝRh6ʛ^z 8Ds|'œEi1NzWsLJ\CG,0:{'\ɰ |Illnm6>wr}E 2Jz{! v֨gɱz?%Iubp&pFߴ1#<=$"ug_UH8^ÑK5tHS$/۴Sq٨Z]I]pe\Ip!@ O<Rv΍E垡ٟlmwWʲZ,ߓ{SviMf#+8HegT^븯\`CTzH:~Sf6'A41]&Fk_Gg͔Ө%P6_M y5 Xqڻu}t8AH!DEya@9ay@ΕsoBOR"s- Sι E;}_Ñ F⯖˽#3GOSdbq2Qyk/P BɚNԪ~-jȺL(#2goƦ/{3` )b}m,LQZBCXۅ{ϢUm\0ׅ3%cK_ #'A[5$ܓ> tST4H !]R6Gxo^_\gh@9 K~h#G`Tf?]K t1'Ź6j}he&s:<,)$aV4fСGuWέӾh+c T_v#*D:E}ucy,J̹p7 m(ŤI[7l!t }!IOpOaE X# ErCgCQ)e@7ǂ'uak*XL.) oE1M?H3iǟ23^8x`T*xhNW5NxV ttD<ӹ[3vʬowJC|7g#ͨ*g ΎAS[22D9526#ѩvǕue%OgW&'ԸF&W x=pd^sC_=58S*iR3j11"IV/R^7 d tBj TH7c>Yg%gN i4:wdEHg:wb̧Lc6&W=퀯CG<./68jU<M}|[ ='aIl!*X RpˢWCLpQ#*yBKe]gHmwe3/R #^&!RBO;ig (7Z+z;/XNטH$Yqv_|ʄ|QOkkN͍2)qA|UHtEueKBMJi2bٞ.t5pI:펤=(rxcl֝HLt5,1 7j(PiA7=A;bϪV(X?./Yw݌+$bI eZ]܎? e+ץYهӽQ2JREț!n13vyvN]R%KXW+;.s5dUeu[Qr|Sh7G-Y<4.+qTJ8O[JC?TyԢB@₥k5`6@m7į.[j4gֹH ˵23Lb(691'i͔x0HC _:Wh6=i4À/?v:Mw dBU9蟽bŴV ^ح[pSQ#Pv5EIX[V[?" tղF)}~<4?}83&1 $#͒j @ߨ8,n /R*lRkV"Cz_5eҘAYѥ xĀ~_?o˗TVB\jxFʋ:sK4 ȂBCxț]i= \4vXdn99`5()"gC-?ܸ>=gFT.uB~sx'뗼/RE1WoͭƒY"K]#݊MLg(Y]|loѲHҪ@oz>ù\:5?3_E7Jn4ѽ)uf,{0z'tS\<]fb@lE#_LaJ2lP18g$j¾` ׺Ld,`GL60]} 3T8$P@D &GJ  8i,>ozba#, $(-I}æ{5Y-t=XQZ9nt@0v+D̿IhiG-,)6Ό: M1,5YPG~#oӘ&_oHJP1x¡oտJ {Ft y/Õl'(8 dD7/݁[/SzVR aS-[CLIiKC3wBdmz,McJ ҃8G~%pYEuK_H$ޯc {ey;5DP r;aR<]X_Ʉns={s)Bв^/T<ϬpN1(x{[UW=2a嶩(؅PRg ڬTֵfm"@^X$TG Y (*tp+d?hQKnbnM;Qǝ2ztvh(7O̵~q5osق= GDc&{˓M-S3@RcV>ysA)`y#vײϝZOI3O)Z?WOj]erg@5^+5cAWoN5`q{7(9#'K'rmnP4V%GX.]jAR1Na-SKkLG^9Vҵǣ?c`&f\`Ĭ"4|ſsQQϸbEit\'cI[Dsb0ttBj$ 6[ɇ~=spo7N`GKƿ>'j(RGLU1"G2IgAzh^ɔ)6(Ʒ2ȂP Y  (jZ"ձY') ]u( /L61 3aAWATy%@ٍYSd,պ)mqIxNq,~6R)aI}@M0^f%%_9x}7vJҕ w6!T{B4f ˩q )yϬ0Ɍ&"Ӛ!Wch* Q2bdN?mۛ6Ȋ+1?Zwxa }o֨Onчo]Fb,H97񎀛mT7T p;)QΤԺ&ӟDV@*8FEO\æ+KbKt|ΈYbTˆ\36pxD3?a[Plbu~_pԴ9ì:w^l)0#4I vfHܾCj0r fW\IT]prSNtF>tBҽL;к?,XrL~-DKFiIY;Oƺd˯J\)CϠ' Z`0 &_ڶ^-BkAKfU<{˶(6a:&(%:Ɩj;,W<@tE@Lg٬@ڡ,9rߕPH`AC7۳\BZozOY芇l/`lJ˅?ӶAC,~w/"ՓDxLC :+8z{\z el+ɷRH<|4̦%?!~D7B U2V-#~LGq%8*R15;QR:D RH&Fںl2Qe O:=,-t#B.`?p[F1+aϪpWx%2+cbv=D_>~Jw 52h};WW;y C.ɢAϷiFzX[ "ş-ZU[cZv{ބpɭg^4])vvx\&Fn<P`[;b@,+D&^yzx1GPUqI-/v4c\q=|^AlF b1 ZVf(ϕS)hp^_+I!_0!U[ B<"ۢevh9ZZ&\PszMW@8 %H/#[~ʍN:yB{((2R3(GI:x^6%Ǿw!˩R MH=71#u Fג}LkP,Q̈9BlЬe ԼؙMR `ˀ /76lLX%ǧ"8>IfOʐwk 8dwེ7ڦ5FN(&$O=y+~+G Go4" &e(\:ucqpȠ/9ItN1 t.ӣM -G"eˉiQ|GLX+[ {xf=r)ؽTUghd>J.u$d~EC7WS[QG|NLPjknE-q'Y8j]5g#!9k@z!E-;<`ŇHcyWPx0j|ug#RȎlO_|wO9&Kʢpox[k]mslawlJH +ZGvء| @VrIudi\)e,.(oz2'ſ]ttHX`VtWdӵ!t/f m/DZ&8Wd49n4vqK q70aUf%"z ۫kAtZb9|r4 F{d zSmf@e͛1Q.=ɱ[ѷPjLϡltM{tYڵҽY(`Q*NsVuܭ׆prw^HQj+Ms:$띊1zHǹ2&#Һ.\T֗){tkio( ;3"@ Yo9Iok؛͢MW(;jz_Rf\KWuDY|:K9H+]nql{"%4g,We$ODzƈD90_X[2y.i +N {'e' Q etEW8+&^S(3ޓT%Dxs=!E.n:Z511?+ORS 'atMטg~oDШO(-ZÂ2 eࡘA\ U"7p^ 9F^2NmFCO Э˷N ush>9s$Zhgʟ2Fiu2O06=K~o-#$ |ɠI >cedaPUq'_CMB:kLB.q[5i+w3s+Yn|؛{ްj[AvvT_: yǔLZbބ'VX#Pz=gC6z1ݟ3]1ܴ?>YUA?7=#/j=ѿ˒}ِań+9b'9{|(ژ݄ct5o}oeD 9NޡQBtJ: ^ޮ@HUnbs-.jnОIgy9!N B8c/}Om_wߢe8:@sA8_Gg@!71'=r͝kt=mk noWZb^|GDyq_9Qz{0Řى ֳSw' _aᒘ89\.#~ Z]\3"*4zҵyQp5Z Έ?yYJ FSsTr zE BBcj; '%r#2a?+WFXeEMYlMhf({ޑUf3fr$.A!n-.|O|AfemerDMOy0B&I7qʳ*ШH=紱.AH3,lKm._ F'5hGUEv.{E-"+PU ,HZu$9 ]QMTsG8㦩]r\ދ.7#e "ƿ*ׄbP{B2PVؗg,nKSK߿bl1' ZZ.6q SsZ#*GmX3,ZobCHo "hj-S^YTT1Hg6mu ,T.hZ, $)b< n[=*W<;w%͋.X!6N0Ʌ_6MoS7PWY\>G`=S2M8\.vn/+0{$X*DcDV3|F s}99sI&G) |DݟԀM!s#v{1Pڌp`?<~]'nһ f'.१Ea=-Mﯧ w ':|E|Q%IhdëD=&A4[00rd" ܖ0VwRe|:G7oםO*"뱵/^5UbM ##2."&`%-d xb[t^9tAp)7 1JHD6e~K%Z-gYZ yyc 1?# THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! ~]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥6j&e{{#˭GEU tTMwjz{8;I Hh "\ܒV,HK9$yu{dSEa"oyiQ! /%k%0"z8KV`[{:ك0k$_~]Ǻ;Ericaorts$|iHo`;ݚ"Hl^ipL͸L+w~,-XrAl2h`_anjB.>ѴuCXE+ϕIc0t! $P9Q޳vث_VܻFIInd"Q9!S?I 3Z7?>AL-nUl>/}G4]%s c,ju![y'S;_P]UaOG!K*x֕΃p J8=.[n!πn'.Z!H t# [Y_(s*ZoB*Ѐ>ZφQŴc&#ZIv2Fͽ!LK_f2$Je!7N//ZzvDl3|Ԙv;ހ2w\ð62mq;:W)z}1mD ;@ *YTtqac,䳄&9lbt٠=Sέwzs4Tx%GEhƐcCӍɊ&1 R7k"$ͳi-I4}L I1K4P7|MTWG= znh<6o!PmPމujQ;WA'4݃e(k?iE&5\o f-0exSp cPAb'ېƐ3s42>zw{=n9}2 6 1aQyO _wS81EjrtWX'|;eXrqȵN*gиl2G,\XǰO D>M*[mSYtQu6PScבVA@ѓ(S 9XaS5L=cg mד8/|)A>I)99azϓ]C5D@LYARD*!*:+wŧAcj䤈1?R s6%x'(|l67 /O~b3S薯pe9O4Eng%!(9mib[&Gn$=%JXb2a6 hxHM'EFt0R?͂+yFa`C(C 6´ɒE\A'4E<Q]@F#W "x޲?ֺTț?1ZTpכot@KDnףYCY~f@u,uJ$)z\JGt*Qp!q©xvZFVIY}MgXo^cacb5+IipS}#uѲ/mhԎt%FduZ '*!C1O;£Y3A\%%eEeMGs.17N>mJ-kݝ9ǀf=4^YH5LjRJ`W"8ߏ(=mA')Xy[n+Mbs4*lsnEbDnSfdAomt[LcK`U*Z$ᐡpݞÉJ2%B+'CkN)pxݸ5XSAm0E'eAu8d|:_ŕ#hZ2pp0>+ZU \D_:Vd|\~G{oy7*hN+G9Y ]~ҩ*r&u/>OEg몋彅[_HNƜ'\U>GFnW'Qv wd{G穞r?s˃U'_vHE(CN- *I[;ou _:7`E Y4%/U2DVM7͑~gCTEO*n@ׄޫm9H9`*- AM rLK;@V&(ud 48aКzguD8AIƣUᣌ|QK܀)-ƐAQk;V_h&R ?vl ٔAhDiF>6gkXmcsU5"Hg |⋂?]P5E_SeiRGPl3E5؆弑37>|?rɌ dj" xL(6Xt;Mg˓8l0TH(pq!)QFyɭښ۹sw2AQ>{<6#uL ,Alᒪ934+u[/*K73 @^j/_.?9euDK)m \:+s8O!W|FPNP'3wm`$8yJYؗ41y|EW=! TCII/ba'?6~sP&.x?E&ӻ]×hj*pB7D ӏaf+}PSxF⯏& ˧Pt;v]=݉ FfvYY~p̍}kd-HѻLK0:iAf;g\dRI(sQ>:/V9Nµ5^b杗,Jl(_2^qdDw`px}D̝ =6S T(Ärωqf'sI 5;O]s#~KxP2Q_pdO;$7C~vςG4g@YX]s,[ܮ!V nï:u#s9&)<mekx)M>g 8a*PN"H(3tӽfωK +d[1GdXC=ӫ`NPH ޒ2)uP n-=ŚZ2))]-!jr=(L4;nҽyn Zr[IA٧\jpjzN& &Lc7}Qo^89 aXR,Qo8=.ɭ3LDžCdșRj6UASJx髓QaLd,ql#6;9h>(S7^Җ]x P1ŧ#[wՏ{߮Pj۵cJ.$"OBw=(Ty_/ `!.VK? qeW4D/n OU4I w}gy}mؿD d,6W۪nr&5Z"?5,wj:? Yi? x/|qn' '4+Q | l/0pgyƭnN_ O )e> GO чwL:L< 7vhtS.匯׾g C!yH|Ñ>%.l̸ƒ$Ƨ9ǣ22K4IA"=}wC[f@ ]u#gD?rއÆi,髶ZKԵpt !TVTW@4uEd7iJ v"u_gNO" v0%NRܮ\bLz<هoxE$6sA²zF:l24 :DzWo>^uYS⸙c06/Q(Np+1yS- ڮñ{Ri!um[ٻxg=LZS:C=~2Xh*둆OBDll`CXPV,請R?mS06pҪb3XIiQ<6dG @Y.aM XrHDWc SY63E)3Vk@5~j+ Dǔ2 CQjR2nD JG|imx*!BEַ.d3-=qWm_e~(2bp,AMY~c|4[J+x<"h>҄NWM͒Bx_>^%baN譐IcYa{(e]Q{ |qpsb{R^Lb&NgCQJ7yC!RdH^kg ~\C\N9"_nk@6aܠܷ- tX݊%M;!| ѷҁ0)1 J=o ksT@FgQyA Ȍ7 @#N7lh€L'J41I6)L{s/y9e2gp֖~cN@zkyJ"}3:3JL3&aOG :OH1pa$R:WC 7oc'Dr&O6AlSz|":j/(GfmCe =O@_?څ;*V)&X{0c=čMĊ4vB?'$x=G#jD^GKP;@£5 n&Oe\)B*.\7uwkTYj=2nZ,OE~6捹6M'F32j14w` +gC_(7dT( e,Gbv1{{O)Yr]{b;P 1pd){J*IӰ ȉQbm Rj*2(f4YzdY#4"B+Pj\hS6nu4*}~CAw9k&n^湎<0畾tDjfd9$U ٬_$pjM!){ƃKGm*_b#tK Meou(/_%D"kۡlΠzPkvV2=uK`_[Ry!x)*MW;BuDKD&ݣ/ nmr#:,,6n& \'P,.ouL[ ՊHd {>|FQ5b/ꊘm2s)!n "g)y2 f3O'$U CYAq62c ?j F뜶?5ǜ~(672:~a_-Z@-GLSD|g ˸xR /qa[#!>:y0.Ba23q}3+r>t[jShz؃)~!I0eh|ݕ+k`8Jʹd$zqP[:aI퍯P):{ULq7oV|d1{&C>(W_,b_I#ͭN&-`n ][VαgҺ'//jIn`1{G}b~L C'`e?rRm֮̈8Zp9 9"I6H 8c<ȪLlyvc~~c0/2`z'Sm6Z%xb}C)#K:IV8LGăzaXJԍ,vC%: [-ģ:/e/k[v%%E:\;o_1?Ea'k<ũa%݈Y)| 5N@Gጌj_%'}69 Iz"R^}<ͼa!P8Ex}+FWO9[ gv[ =zo*V E_`^ ǻh0`CHZ9Udߨ=U;.XbXoy?{!=xa# }i-d?,_-:)x[V4 Ig#;&mFd9b-L4Ia*r֊$9q*^4EfOVgM NXY/;0GB `fV@.(_}bmo쯖/W7dbSZTp)#tv|Y(ϓWi Tf'̡ϝ$]$[ْba]{jX3ALľ-R I );'TMmw94eFٖucvOk™c?C(B'+;L*C6,ur*B82cfgtTtXu]\A7^wn&u$&fVi`rL멎o>Ho1 V20oTCW]ɇ6O-T&EmsXB,ĜEpI!-eB6cd H _l2II#\;~_PևKތ'80Hbg),xv9[XkL2jenz}vq& f-jgFNg}qL&7EIoGYfYzt"3ӪӠH-#Q}$fR<̚qEAϓG,@bR>{i[؊C960(S +$<،"Q4q1oݬz,0"G03[>Ŝ[qMĄ š2p%J7\(0PD3=JDǔ@q6 hH•w>vƛ 6 [b. 29V*;="Zn$/}ͺysG~vPKh,3U㒫yB|-8b숮‘em77T$=H'o~d :TpX2bՁNz\yZan3v!03zcH+<2|(,đLG {,叡:Oe&3[ʬn k{{m xmZ1Y,WSe."48+1n"lK}ydƳxr>.xA! f2ڶqp/)c[G{#| xe: Ez )٠Y>,-吝Izkm lgD ^;bE9L8QP q/q[ 朖<εB\j17Bԛ=Yà HWӭ";QE]TyŲ˻dsዺnX'[+th!]OҼnߔhxF 'v*G[(ij˳BKbFuRn%J7Egi'b{R"zc]ڗ@[(U[i1u;-+ f(>8}\/}bw_ʹ!CW)[H MH(Ԓ,`0z.=:.M\GҚgr48\M:.D< pd6Bu`Ý {o40tg qLtz!Nq}|th"M,^;Rk>q\yD'(k]A1ŧavԟ5n7S3_Xȼm$L! qhLfȆ̇º_r*3(}M)I;C嚼%vg Sp,ŷ0PZ&~y"u+Q^ezҭQpyX/e?InsY1Dfʛ+p|r (,`l!9&kGڣ8d!1_%>4ߠb+B 4wnphX`14J_17m̪`M!Q.$xsA7/\婤?F@( "+u祼5Himbo3` kqv~BD)]ja8ę;+C| Zs 9݄1=`{pop p w'dթ߬Jf*4Tm(HRJi'h$^J$<Ts7u~0#w#9]ՅHA#sv:Ԟ,) AFpOCYZ]W\>ػmRk@S:Ï2pxLӀ ݦ>_y%Nfb"9(y6iN ~g1-rKKgvgrZ6+ᖽ)B&o.>_@OVOɢí1HOnO붯<} kf,*C V1!ƓOl^$+$,?~Z"Fˎ}r"5sѷ] \ĕ~cÎ('M SILKeKk8.1n  ^cJHm!y0±vDʵA^EC?Kf2K9dmL/T\{tq/zẒRp輕vHp>kwuKv Q%@>nWz)ˑxF1:sЕi&NB%U(ߴmgry;!*DmăӉh\&Lؙ/uȂB[ V۴U[Mti, :$`āZh/P^M8g`wIъraI\>Iѝ̧(~1y`#zn b i $3DMMEv GY흾% U1=_r +|~v#i~4!R'}"cgs)V]]nx>F݂_e4S^k!zo3K OڱNad~Q2UJ烜? lj'1N2tJQ6ֈ  dr ^nm*. >ծg WGP5|3JV`[g|T66% a!ͷOQY%'[9v]"P4k+x'wd81NS~aN |?^ -jVXfpb(fR(z/'6qsch(z[^[j=׶Φ(a y>8VsCaz۾UÎ}a:t,u):-4]2y*lXERpZQ(z/*|-:]/sx;أ9H}$;(2SUs:UV1u͇36e$Y@rX 0Y`01~f[Z g=bKFc[/ob3C6B 2-&?FT !7$?VqԇDv? U=*r pu-4(OBgon2Z:1eMPPx7[U|ޫz`'G\WT!*,ΪۼEMw!11`oVҴ!9" ^'/Dvւu:y5L}fRš!f" HQX}?_:>8ʘIV6_l&LJCleۗ>j9/XLh'+m^4;Ɵ`M4;7³>q:w'(vR\˦36C $[8WDE[kX {4"gʇTj 3ǔjzJɉȰapny ']Xdc[!{ԗTci>8V?勂@LTuD Ev"]Nąl@>ھ' ׌K&):^f\ ,rB*XdVv;7s%/5:tz2m߼0UD{b~]+(/+qd%2 J˭{dP7[j m A|x\Ƙx/vh;U|CmN);UX#oEu<1Os%?!`sLHlb tWR9*JgdApH2KgNRvLZzû;6U`&rV?Wڒk}t-U,RhޖM<⯷!T1$ 6`/G}:Y;Om~l@(6ж;:_cO[Z8MPjTA<S}4Um1²chvFBLvޝ0o ^ʴVD'7/,_GKp# GjlʂKYWԉҫ{C|הS2/f+"+~*f%f̎2]HEU25[,2]ldBf`M^=;|m+Kc[@ɰvaO4hQ:XrZ/U!%8js72TKh1nnIȹŰC$)m^5Ӗ`:-hpe5ՙ^C"yYsWeHva>{$+ʌ6.9֕"T,>lgI>%>f?5"pLy}[4HK2: ;NA|sښ֐@7pCfU@Vd5ōp=C J"m`0Vܠc^A~ -[d Sme5{mCpݲ󼾯,!FhOhq ty/Qcζ;tH7I-("N[#0fTlt|*`\GAu "c9p%,Gd im<d@&V @߾ny")Ynr1dO0Rm 塟BY"M_ČAb>&u4\DɕGY9Ţr QW`3nn #5skO.ؗZcO#5P1tloX?VHdTTG[&(Oo;b:WVK|'/۠NSÊ.邘ϦJwHw/`v@rE`?i9.!k77Sޅ)bCV㲽a*w[BeH>PmhA cl֛ױ;BXھRf|fU;;dtSJ?2yf4}67V%~#8Nim@)h)UL]$:ÜTu0u[ُkhAp*ݡ'n~~23C8o ׺h^P G% 8KL+pИPr tQ.H^M< =ULqCy4‘)L;?91R*ፊKPvkO_#2 @v)ل'6[tjbXTLyb|K )r^DcbgDk" @Y'iͰh1kI~Wd H8}J'6a:/ӣ#(hyβ%(?ga17'Sw>2"kTr|m?1T}x@0]F`KP9% #}/g-?])}dR ^v>yUo n՝'` l1X mGD!~A=Ãߵ77<7caS,0=hl_ȴֶnxSe߉TGפ RNbV25?-3%IYѫQC pk6d?ʠD%ԍ#^<k"ku)xX:XsB?.2{+yubހ4mɅQN2+Eժ<0ߠ`[īni2118!HMMT&3/-.}6=CpN"o5횝2踟;>Xn0h긚Vjn*׹^O~2Hb?۲:`|&юXDNw"]ɟ*%7fTg"su&XľѨ32j6Zn9vJ*x4g땳mx5So펟N"˕gU(X;~)Dq}th 8C=1E"%bL9 Ef+.ʡyrC5B#AY!LM!U;~)!.0鯨u|Uad9%;F]q~ D*7ϰ`̏NapGEF055~6P-˲Lq3voGŚ4 q#/KәLl5h=A_yt7HDBt,;ez1wj(}/Jl漆0,boٛ]㖂 1]eˎ  A^REb)I򏦒*9AB/m3gRm-|]zԃlGœ&WHJ[w<:!gIzU`{Y v  Vd,}BgP@lK^8P.m/&.̗r2-{Il! )\:,,谲#I2O5?abNW#KWn#oyuYqW\h#TVBFM<9ox+l<)_s#iABYSby^?p]%wr|jZ:jKc|wS^[S݇J*T8p^/!7GP?XyUtT"z3!RIEL̬WB2kbeE"׵L?]V*fG8مk֤ؼO:nNaCx0 A(hudHgQ ʺ 1*v,:Z:N^$wO'5_a蔛`%y|c։{H&:!]'N;ؾi xmZw<T聅jP:ĘFC;Ok DW/bT;Gk_rĿ衘_R@rt1>Io$A"QuҺy N]2<H`Ɋt0G,o9i+>]i<@(~3o 6HmAzjflF0u58qfZb7i^S s'쪹*+AGWTÇSPr қ{U =T&*ܜ]ŇpFo<v\mEW=Ra8n&uȠ!` Vxk f6&<ǚ&MpzWl:1 XZKJ)OjTז]vcC;_xi{`tќ+58=d'>&;^d;F%!<2xipT~.ϻ|u@!`6]>r+ ]A\ؘ::p]k1.R3Yw)k1GgNv!f?cz_<}Gd50B5YO"T# uR<^)[lkxT<?B_#GwqGUu†ehkd 9{_[kmsuQOXZcᝃJ*nB8UGJ=suRt-qd׎a-vs@\#\d@e8yF>u$0L>ɍ @lHrZ F 7>JdߝN}sB98KQ2xQr/-`f )*`+Z/UD_ jdp0Ҝޅ3k I$Op=_;_^.`q^ E9;#=U<@P(lmkZEq:γmY1Gڻӹ̆.{/y8lW_PEuGZLNUJ hUזa{Z`|h5l?]ץWNiq> F3;?G"~iC3tȣyUdc816mPhpk٤bkWn9CF$qͱjU\,W6(u3rZf,gDd *uaSv'tR48"-К2| z<ĵA MӬq?iNê;ГҾF)N \| -Ni_Z9JIv蟤uQ7*WU:EV5}Sl2NY;~'i Y` sV^5@ yP}&/ HrNY|ԐLHa-Ie n}!Rf%>US Į y.flN7⮋_ҙጡ`@- ElIVԙqtSAK= (vX8X[l3xɇiL"䷢t?;d{]?ųX RM~Iش ͱEB cZhc;f /f_Gl𙄴m -!̴J3xJpNwpV%}3wya}v#eW=&dfǮlU5~zj"LŪ% =gBZ H?y/q.|#& e#fUVxFZϢn#0X(ړYW/2$[8 Qx"-l[5J8t@\EM#/ $-V1ȃݲYrA W03oG Rщt;t*=p>ұ_yUn,%78q<WZ+u>Y]eF{z)O,!/'iJ"gP08,^ɲ-&J .sjb[a/lUQc8Y*4*Ʉ''[zbzFM U3Nj>[f,]jqtT$UԉF+Ǵ?'gn #&GlL誣8z]5ĻZ\}Ѥ& YI~lޮލCxIMx[ ^ߊżEoÍFKN|y3ta `k}/W/T,z- *`$:;OyMC/Wݡڭk\uNp>,YHY7 c{I(9A"Iecq@wswY;}1/"lҠ)d.X,[w QyQ+)&$̟Bqz%؈<ȵ&l%"5@WƻFX|Nk!`3:=6(D1Oh3Y 9 ~&'n{WfwFܡbؓ:4$4俩Na4~HYS#8 XzZͨwo@[KXox:* YJ88絇a>rNlj@F-h\Q9hxjsR白V/ӶNDz|.,y{GƁ+o۞oy8~F}W3]J pѣxWt>s!XE2KZ UqZWJ+ t_|dg{iКbGO%pHճ&ķ#`$yVYgA]y"#jCբ<iY?|TE*- VrDl'KVS$ûC2_i*T(Wlƺ}O! 0\)lLd '}; mDS~w}RB.zK_G #o@E)$n ÜQLAd@y懰" YBf=6'=K4!ϥr=A^Yo fnjљqr Nʽ戯Z*@ʜoI3DYӳ\F$ Ex%WxQ&gPOUpD"r}v<CJ~#RҺuᅴl"]O|;xJLx ?_hX-[%]~bB5 XbGGGعeFkp2ށ_sIw\KP8n%i ;,9ؘO W|LJbZs \йkKcNk.Ĝ%Ri+[ } 򙺆\]]-w:0}wfJ8T6g3,R%i^$D+uZjBXw7/LUj~xm9bNv%YP}I8{SEOncNIvDg7htڋ!?Mr.FY֒J!`źp%1@' I5z*Քxj壭mR9Y}YASЖpȧb+:`>I`sYߖskvY*ϯv-4bglsVYK2k',, xt0!}8Qdi.nbd!lsD: ZA:\.3;KS\%@D%Ḭsn3ZI =``}\{(\^Ԉp]hj_ ISi>ݜ7]@-'?ppehA؆ҧSH$Gzs 暸򿦧34tR]3t8M~ҩi\ gܳC9}VH[*!ȓ#rşnj߿etÚmtQ(%Zͳs$fyDl5f|:sJERsʌPVRbY&&_w.*GɵX{X;) ¼Ⱚ U}D&6aodf>5~ƞvTb3n*a Eҹ (E(Rd*Y0goM#˧w;[mN=TvWn3cb >{wc:fL]P<AdB6(lC63'bt̡K*@[eogbn^IVg&.BU[`8X> )fgkDj&Z+.]Fیŏ*A*>eh<Α BTq%ʝcļGjG=2G `3!vC+ભ:ܨ4ز/Ź ΉiҞ*Ů:A"tS}}Dbb{QDޯӌß{rz~O(~t쨋F&~?(ND .XD#ō dxg:%UG~^rߙṄm mΕh|8'Mhn)'FpyzOZfqh`Ljٙ=[V4|Pqn- NtNhn \3W`Gr1Ps]SsCA;7'?HW0YD/(r=nfS:`Q@zZ`{ϒ&Af].3EIzaBͤ4245-wz1Zr$+M?˜91EbDw+ 9fÉl+ݶW=@4)cۊ{Ko3r>̗@ S+W`#o'uUN]IYy̭rӼ wc3d 0Cg.a =n?Ұv0#uWv!_j D7'^X+R;W f"[k9F.7{g"7QF^./x#bGn`/Y+56Ass7f)g׍JLsnIK?My; ¡PG"&emzh52y n. Z$vT0?bgkUWGT0b;EH~X?^C?]ಧ2韋,YcHV9%3ZWH>L"ICjD4ICةَ;M^vM"_U#W9co#M}wӯ5T6HM hx jW'vX瞕[l+"~&`Հ@nAp?9%ڔƯo7{4ytݧf\]}qԥ KR)]D,hRt[>}]$rQxeL"Vzi9ϝ!:#u2EMFXl g(fVETtVSKɪn䲺=D2Vྋ/\4&Ie|^<ՏcU5:6O1^3+s7)zrP$fn,_dcJ}{1]Hݠ8Ѝ:`b8-j]@Ʌ]6|zcj#&6j*[E#dSA.PĮu?ݍhf/i4edݳ LԞ{CYk,L͝-xw磖x},zpWn_N'ԱyVAgi1o ?vNq J6kD]FL 0FDPJ F,6EӳV+ /Ր*kͩn$Zҵa^?]:CDi[|TM9Lko⟾Ax}DB.jn qZӒՊj+ё`$Kd O\zGbr_+VCHY>)QRc7kr1VFW|,`@^1jnc;|5 8PkZ6uCKwsC!8sad# o̫&v.,2L=UOOg)~|gvh4<t@`3&{岎MS\@e2hhoIlh "&&@gq|~)vp።ե1 ˽95l4݅MQZ,+\AED $35b0t8L5W !b jrEj[W-QȌhH0.Ys< i&sc7(DIrOj(yLGJFT>pIU7L♌i+p2qY/ȨF[]Ņ|waCұ;&_PB=o+oNN"L pէXEUNaZⶸѽRUw?zg8Y헖d6-+; PC͐UDndJk =", "OW瓳a]E\XGN}.'Qӓ.#M V7C=45YGA.1*}t/L+= <)3*0H_MF ߾r~Դ2 |^-C..Mw`Hy5'P 3JzH uOgYZ " 1=# THOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! 2i]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn KhGS= &ʔ%zħt|Ԧ{|`/"~ 6O* 1'\RYy%zJ$p`Xs?9a.=W/^[cpl-NElQ)ӂ|4xjɼw8COOxj_O^iPS*?FE"Ÿ@xBpUv staϳ:3eF">B U,ьD϶ D 5rz>!z^M;NRfq1l{d,)y$箱Cr D:2vݴwDjnjX-TMof&#ND4KVƙ?t=W wE\ױ_nlkPWs|ٜh5Pm3G+CdN?Si4i(D@? lBPIP T^)215MCm_W@I}Z(B,؃p9'm ̠@ ߦ_ÈMMN'8ZDb.6S=Xh.74 p7}c O=?f&9i or.!sKLJd}_㩦kڏrׇ~(Qno}AM3e6E1<_%Y*z R0g\>([IUF@2w̅LAݝ[{~\eEwa]Dixd:#lm,7Ho,ȸtíO}xVհmY $!3i0ÇBt2cc/B ZsZGk*Ȭvc-ɲj`{Q" pU/?+S#oR: 2J5BF>gtRރc&.a_ؔK3#aPI;b%҈u 'A;͇m̼fzq(Xq$r!xs\"G*:fUh'R:%ݫ9ǘYa_^F/hspuG$GOb4JsMս΀`eeMdhϞ+͌(yj]L2?1!%*-vۛ e2VOj7H^7I!Ib&[Q}R C,>}d/gP6xR-N WddT>n0mb6 WeJϮ%unI}Mz  q\}>$#" 7+Pe3!1EBV$)+ˀ*<+ m0 +#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_id520w!1=' |HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! x]·Iq n[:|&[z ٪Oq(\q ^>b;4vY̡]tZ&boTJ`H*tt/޲DX?MtJOhfrN<}epo_!.}0 tW֪>!Ho33>C|c>k?w˹&'v $оw7I8En\N.ߍ!\;~TSw|8,G ![ ačZkUVF^2K0dR8@'\(P@+Rx+}>H5`H31:q,}ok,f)8B Vf !:up7u2O/eoꀼ `gmμ ]*{wr}7mb7jQ&x(-S34p$;oP4o1)!6XؿMNJ2`Zj"3 5>^!p%yї߄`Q@0璁hUZf6 )bjg1)btU`k vlSVbKt^&\/^x4OG(`:qW'(v@黨4&݉~ }a? fe֮!ҰSU(zRH-UX&7a&ʀPQXɼpMH^TvaɲГu@J$c $MhPiGżfqq*`(bUTV|Zp2e\?ׇ:26%Mo5*wC;(|(IQA)7D7Ɩx#_HL&C0/=~9|8p_6"]*eSOl7 '"`Cd;f;ԨcُWrCmbC E-MtZsf#͚z*0~j؂'_+ ItAܼ9b;ߪt&4rEXQWo be䜐brçMmg2`5ཱྀ\{;ۂPCw [ E,=TR shtp?}|k?5Ƨ H)):ay,"^:yi>jV!{JP2 %hWt˒(GʬEYƜltB ?nE,kœҿ2T>"}|ٻ'OB^"FZ^ ~ !ezȮ` iR?טqXDm3=[o!50^KN#jzZF" Hpܣ" VLnY^n6eF`{+W4t5되쇑\g+iv(Oa˺Fv4*::4zv%]3 "+.ƃ;VZqN+Vqea.:+ͩa/ S_Rs"T3^GRE! MY2q0D`opAc-`Ƨ q&G`Y}י4*1>br7;.I@?)spcFtso\H*u;gRK228֯Œiu6Yrm?h@[~RE=7 ?JyRnA<A%>yp9]t |RzHaLX ETlϖrMsƆwn lCʯ0Jr`,R#v,:AW }ZLMJv]\ʀ8'`wr˄gYZy2!_<{mz7㮻 s3q,3AއxeFF2{X,Ȯ(mL! O^恱M&7Z >?6,X!;#k"$:pތ' E]₇!}yJJfzKe|z%#fvZ^J(;n[EKV`0Kb`Bc?ئ6tm34|$r>V \|lU(l Rw4+U~X#2 Qp-^""=-ˇgd܁J3o{7_E9[hcn*Bk9mL"%2Lߏz~1ACjDS<|sգj"ƍIrxgI t)k澔m.F"s KepGl*|~D+ӫ~GW O trtT#3f4jlReOP֓REn%-Յ.Y gPdىA?.4n8DXDZgS um^MD&/ȕu!kvyc{33 XHpYMzEunuX37V 4\xA.́Z*=;=YxO,efsӀs %fY  Sӄp2qg葰\Pݑ@S @&o243"iA$\x9M}‚'f*k!٢j03`> 4Lw{Y6l,ɁF=I%F/sbzɳOSX2gv9;a|Q iBaq8Z(̀<+ $yDK N_%YiTG{rdolZBƩ^3G m`9VG,gu6Yfqٜ[?X;o8|ԔG>FDh$bۧޯL bD=sĢP;i$=.R ?/M!aD%8WorW=a˨; pF6/iˎw%c[II,jc:Ry->7 -M,u޳U8K (v,&OIjxZM'*ʥ:dӦ㡁 @íĥf:nn7D?ìuةgkF&O*` _W(MqgA5D 8Z6aQ׮/r4bсLJ1_B.:܇xg,':"3Sӌ1!!9jX~Dùf񿵕45˫~@Kr'Etm6uaF,-_E1fE 9X_d}fL[ms[ Qsh'3=aZ@[Z|<*^l0hϿ6|Ɇ5u@Ba 9䴼F_Hx2tRq?-3s]A\i8䄹ʷm.O̝ n91pcZuž" d#Ρeω.8&>!i 6$_M+f_X`"ێ~YfB$G$dPǓe"<B9ƽT7p8#QJ'H#Օп xc2\ >uwK U9Ӧf2#C_efuKbVuwy4Cԅ XUak A(ңRHy0 mrZru6?D*j8TGJ :n9ItXvJ{@kib3t;ԹD]NJg_,Y']hXsxmv&N UEwGgg؄ ߅[{<ҊxЩ Fn:ei#>'g 6UNƶuwtLۘšf{ j@\[xW}tXْѺjϹ&?5zk]Ja<^#brұpܧ53L\n?Z: 5l$q=hPj ?/ Q%v5шO,Ev =}=:x)R"q {(D{z '`L Ðj GY5h7@k)e$,8ܯY,j}&/ͤWo#޿E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxueQu^qc""Lc;S^VT4G=V!ݨ"Pu?ikXkZ$#'N9cC Nk$AlRnz' *D` lx3y7W͏ _3tI~aWKkX` d[Tczo_Kt"89` BFN@;q w$>QÖ"|#B`J4p(EQ֩"L9*Ң.~"bQ5Ty_|b0ޮu?6tXokL3W=b~a-n1S*̏pi=]L<axi3A/ӺF@E*t W: tFYs2(+v uYvVЁUDŗLY+)9nw /1^4S.jacXPDzZދX+P,(xtvC4sBDM $Ua+ c-VFkK!p`i4U1ɴ{mVc(I^l%ޝǂgD4_Oe5;1lZrSCYbA -Q& LHpY[H7GGeؽ@u(8Qɀ6I(r%䘂Njá- 2ij;=R7sg_;W72NK;f،Y-Q^A7tzY'OQUQn 5m~\6GM_ڇ7Hk nP^TMhepv%mYb?{T6 ʪ/BA[ }o儥OՕnlR"] 6 ֑4% M%{w]K =YYˑj=TJ{1;X9S@.S$6N(/ԂF.|~'@,^eV8LuwG!T4_ /Wr ٙ99)cz&yϳ[,9fF_&k|Ҙ)@-$tN]"I>|IB^zҵSUoo~K4pVFhP.MN`Śqjұl @N7=.|Tf{`&ֈmk6 %v16:<ń4P](#6Y/{W Umۊj0^Z+ .גǸ\~{C Mֹ]o.4?؜\c# .eevƿ5+ݍn+Tt/3=]v͘Bθc&]]Wsi ; Pc%MN6Ki^*V๘$)Px 6l[hC8]|IeQY_S+]:`沾RugKl l89f_N(п dS'DtOu +y w*Us5 _Z0@ "hуцvCE\J_Lxׇ\ oaGx!p,hZ]8& wh`I0OA&P )d~{Ob`Mj"e.%<5yecL?-h-^LF*hm-G8?<2t¶26ϾQOoN} %4Kڍ^b7 QoI5 ?'nqɥ-4;ddzߧ~Q>/ح&@)Y "`-Ħ4.dȆ !xy|Q8G|Y؂-մ$ct[݁W|e}B-Yu !7bEjXqLCvEeRGZDAfu#1`=LZ_5IepP@Vծ̕'owz Dfj#hu I3+ji'-5 V([,D[$|̀X5`FI"GK4&5t%1\V8޺vP63jž<󐮞~oB#-ltm@-z׮YAnH)۟P*Sfz>nbU/G*ޯ~Ӊ.a3퀊p Bw1rDє.''܆7y8E*Pbi9;IzO"ck|Z-#>Pm@s7sy 5W(?m\̚\#L^ɼֶ ^^Mjv11Bޤ4Aԕ9ixJ $]͕}bť46s7'0s[v]n0A] E4b&e[zr!ΔCN6VcW]?.>rR؏t>jS>S8/rh][%\`0>7?אVP_6X"! D0?Ug< y: i30?'4XVHYOVlL?dVGR;:;c~[_}+seύSOD)Aft!x˝_ioѕjέSQvWX&⒎&'|*ݛ 90W5u4#t+^IXJ.8jeQ)eK%cU6!1-K0P;|N$(7QGMf1nfg݆2aH& &Ѧ&m .}Ne*R֐01_B{nws.qD[E`Kw5m`>ǣۂnnZq 8=Ջt> %҂X h/`Y8Q0g[7x~rH7fKs笨"1L4uH[#dj `F7OmI\`\$kGh|H,_|A0^%׸WwܻhR|u`:iB4*"s,*A,2 #/5W$ą|gV AvDXQ1,vm=Y up"kgTPZ9@~X6NLA<#oj!#Z+ĥxTe`Spa ysb5ӔWڳlq]Et[M0hˤ]7Cnaqw-#صmr(@Xˬ`A_x2MZd`o@Qn."YoC5#c 곞}Jqe8/ڑvKp>P\FT!4JBr*TV(,_tC)7O X1-uv2qIywѱzQu3cD?8tR܏Y}:WإbhRj6}?Y!_j? # oK=iAK^0Yr/mfPkgT=mݘgbb;ʨMh0Wn !!?Y $J=- u$wE]iER|Y҂rpI07>:xW~Ukmi Iei/\mT*{`N՞(.je LT' LǑZt[RA'P/<;])֕:[do1DĔ;c.-<;jt!xKQko^TJz65+[80Du]S%#.-\<^ʏ2`]D@ϳ笩TcVeׄ7&V^n!_LD)~*.a}SriƨlĚ5hNa+smJ,Iq9֖09DSM0GbYE>SX/9|̡JNNL{83+[0maS:%#x|‘ }{ yWJ{9\r v ;/sT!)-?2}C\nTY…+GŸ)vy JC>?QS͸[t( |4#UwHu%_G 2t xצ3[X߶LKI%qw A{\TcVlHA8rw;4d( k([ !'ւojeq'O'x8^>X"I #5LF2iƋN έU,^BVR R\?$ ݘ~Z ð?DM;N"x"eCW֪b!}JG8Xh'uچ#]R&.ˑޣ"*NFeF0b=+7DȜ|ZUj8ʱ coU^OIk(Iѣf/?Z{*gYZ &&O%1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! D]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>,DՆCA%*EO(-1/Nvg!T;0(t1U8Ǭ#$ͫȣb.u=Dd]H-T7GBVzJ!L]pAx~&50"?~I^P]0ˬ hoî}@yB WyidǾ`yKDjß=c'1t:x* 5T+SD#!\ zG eWB]R{*(WKLUy+8TsC=Mnh6R ᝱L/h X4h#G{Ȩ k誶"&Pf(ZD͎fS=sboAFKBuMގ&C/Z( +D<:R:T0Mf3X J=FuH>?x9@EaNIq5qS"CL0o}ՒS~ɁjpKy0Ήo 9ss!izne(7QLTk0N ]JUMY n ]O$+¬֢O e3ʳ_FK\ |sBF%"蠖6"iD( d,U5);sN1nQm "W.̑5+ rOlT\54=AtZN j}i[f.,rs&Y DI+(GdK]=&*?fjJϭV́=۝AX52 |"5@% -;324N;uS+vjB#+=5؏'qԼx?s&&3j/yNBn>v耮vz\eNp'x8 eW$1_D%'^.0]|xyuUf2jI@ȥB,+_ aVf~Vg%r;=˺J5yӶB)4HLW7T :#dܟgs܀Jjɞ^}VpF 27WuISΣ_n%F@Twjj^t-^r3>a|;]^blvXv?;V0㤣9j5G+aU0W$MLD[rat_`sC 2Mm 3o1Q.A&\s1 `]Rl(M:&{dQ~ݠ e/gVihgpXV #p쒩2h =uYm;ɱ٨$f/kAS|'kWxǺPa׽ `塀b/q<k?tf?KS[$g; RղzJ얩qX" NvuixLRw0z|U]>7ݚ@yJn3:U1X5?NlMg r܌3`WNbk@A1LB(u7'\Э/cEq.vxsc.՛^=Xv~Fd mBQeI.[{aư-!˂6U1:,z Þsg*!)QVKoC*KɁq ,G'^G5)޽έa3$޵gO~>RT}# 84fלH'1x7M$R[<. x?]jU/ݐzy`"Ԑ˂l) NC=YT%ѿӌX~0J!UOw J= nf'@$1ȧ PX)~Kj #n۰w2:y4O6%:LL29E1޿{qҎ8tLj [Q7H(j.!N 0~}6D/9X,ՊGhViu<rC&NA [rPi>[YzNav"X\Cff=}򮿓UQ)`>Qw}#hn͹ȤǍ]0 He٤촱{LurWd 3QAl(^[J|CP9Ly1M+g W*0m3ʥ @ӌq7*50: |x g_Od@G֧+h}u *|e#3d=?~:ZftPdZv%P;AIO<+B hN:,Ca /2/b {~+zפbC weNN?C:ym(rScY‚IA+ ԻNQorF#2tyEB)>n+yNHw,#"/ ]L~%%XgSW)]XXڙv nc1}^V., X|Zbiu+h`jI§ rɢ[.:C@ezɋdӿ 7EY$Uw0:=xd?8ܼY-\” ;bP/DΜݱ[I2ypMa7gorX~~u7n ̫o l-" mf8Eߪ++'־库"g9`E=~%ܞ|D+[%^^zsxtMRhErRAH̏'Qfm;S#!{00DZѕb+'%=DCl^Jk"7?rchuM 4U{g e%$Ć_2y#pLU3K~IT wNԪz+>M82uXbkmƣֿοѭ@iSe{ҫ0m)9 */aKڨ~{k_ *;flPkF:Do)lm꣕5 v=lq'^0*duv5گ{6:`R\zŕ7B̫FV=jHoӒ2c 8-#|y_әo9|/Th4#/8a;s:IkO7'(s~n1*hwpxg?lWLb2-|e/*cO|;Czuķ{{ sjoq*YuR՘~P3fXk5' ?ϐ࣮T)Rw?KYP)gQ;0 :f {PKȤn cL~/iW84ٗ #`Ex>//&Dx-`)c1HYD1ɻ]0Q(zU!>(?ܳK^ű>zK">ݚ}U䰃XWVp A-t ;mz`"NGFt;bUx|Jx#Nn42^p{%fwǻ7}n[,xfƋ.i кoH ~:/ jG0.1ôya \|^ p9(QM !Ҍ!MCpqPHPTG_ + 3UÁ4Zq7f,a P}XIq)Փ=Bt:N[{B$C}iSq!c&sf4V'uSTCx„u5MRY!CaRoE(?oEYvI .$OA4o8_ ])SJblٙ*B)2(|EX=He"6D{_S[c eYPNΉ;d$ s`87cgjzt==~6(UATs5S3XQ9X!!|kWR$W-sME|T>qM9FvE+ڋILfY%iȤ6] r7zsr3Z2phc:x øImgXWL<^9hQˉ~Yf9c:;#۪n]M荥{RT;p5[_v<\q* wb\G#](\O cnu_ۢ0.TmŲۯFwF娋իp:p9C@/P%&)Cʲ;0jRWn:*z"Igc $Q_vˮ⇣A?ܗsanUe8Tg#m:5 M"ԑj [`,k:z7ůNUGK--t1ȟ{%S&ȏpϧ4 V5j2#Ĵ/n7|4tbVɁT|UҰδ{ejep~=v[B[%H\JÔ4LHN1j6_')sZU-%4wXv]L+5B^x_. S5$RyZiAK&UUEjx’ŒNb hHgӀ{p7[Y>?$pEYo-tm4QG+Rf<>lT+_!+VtXO4`Тg?]ov|#d<& &ƫp=g$3Y 2Ι+]o Er{(lY3+WZn !އeɮd N?A 9EϬm^z V.꒮Gl61yF0?\~@gD&߀S(TC?ʛ< t*R`J~?&߰FZTnILP2Vj4K?U$ⴴPX[PݰcfZqpW}l3sKo@qE; D<ɿC˾ZGmP ɚH^SZuZX[4i2,O*>ѮU( tU86C$b8au@{^Im^+G5JkV=\P5l2|XYZmx[V'N,Դ `:4#'$4={0uXbjmwDښHAٽbG@s+{F 8&Aog=cgXۋ7UPN G jvKۄ> ]=i4_B61˘tBWZ_ ~\LܫpfCgA(Z|ºK̾.2'P2 YҵQV6ur IV韆<6) CJO}>pЌ?U&Aϴ]͞-L T_n:!i`@>W4_FH4Qj~/'9s}DR*4n9=´1ĉ QpR嬓"T1CEh`T9cE('3OX |ޒO}v t5MI6H{ƛBʁ`E1(p-.G,qr?|E>X#x|u8ӍroԿd'_,6HBYت o:R%z=I7C|s6W'qcoSXc$ h;ކ7;t;}AfV'X*fQ$m~&UcE$g mİ"bW G ]|ⓝZ pF(!!ǧ֮~8\=071ڜ7\6 csI})o~^"8f@> "T B/>7A6 aOo0wl5J7|XDnYYCv|GþiN.Ŵ U/2yrÒ JiZNQ~A p4y ě9CԆE -JmMVR Q˙ LAZ,)#&<3&W ~J$dx ǭR|E%kŅp=:hSՙ4-+L<חu cp$s^`+Y3Hp6́Ue-, !z-.ß*Af]S|VMVV _t O3S>,kCen9[:J=Pwߤ0HC'TcY9Me=o)kE5XuE 1~OwN9;DAN|⟇&eloʜd9l}j5腀-|otMSX͔h8,)V{uDw_ Yd(+ݍjmv|V&bb5F(?Zaġ: *6)* 7lf!PѦ9rmaW7+pOγ|JHi{#4Bi *J4CyrBX|PfaK+Ҍu?%*ozi]nz2cmI|@B1_P~Dh3!*@ xGS_;͓̾ZjPE]TfM[ 7\&^#@oGߋvXK3{*EUg<$E>W;@Ajwm9bV*K )DCxBKʓ^hC^1&wF`d1Mz"4 %AB`1ڿ =Ft:sE?Fbvk7B:_5ӌmTN:;u1-!B\(Lbi mMP1Tl@f뤥Z8k_ 'ZCUi) rxڼySK Ô^xtIe) i1D#!2Tn &LDT1LPBKWŤDkA^y%,N]ۑչH7 ɝD -) @AK’!RH#E;LH$ g Xņn)m"?TWYG"a];@ݼסP3+.H}1,hE ))6'p`;$(isl~S|j2BHU[t}K)UѿB p!0<8Q?Zd>eIu)ܚYlZބ͋ 41V5*wИ'h ߫)VP X"1:; HKeJ0},c&z g"*Y`Ly}m./e>:u^3>WʣTL _˻K?Uso.l50 & #QLE]&N&!XAGL,OQ ` ۠Pu%J\~T47Ru.$Q0&q'8$mRA_eؓsms)6M _8ikz>ȉ9 INk(n] AvM $ST!_ϟYޥ6le=GXxi!I@-dB%֘ahqk Uphb7&4 Ƀ] Gj'YI4>sgEl4߼)@JT9\E7 7>z( GWsf(ZX,bm:Vu/4atòbUbv| C-.D[@ip ^{n#P[ L}d."bQɯh1H8y٧iCr ;~:r #݌>Ue.ple`3QQ 3>[ [ɪL͉0S~NgN>df?ZY@T+wkJ X\qo>@~fmݖWIH|Mk5mr!jԝĽ+zz!fYN5a)pR]s|OꬼFoq,c$Х>6m%ƅo4fF#\3 )=mWF _1 ޓ7ܫA-vK֦8&0waMDN 3`&_>-$T ĢܴlIhB~U|tf:m]uc,͍8; p(Xi7g![Ӄ2&,S pؑ$?tCUx&b1/lctG 9k*\mëEa.+w7bOFT%*LEVsLx8CTASYgfԄ :x9cN^~ERf{|^BNfK Fl~iR\/ؕ8TbDaaK n8CSw{Z@ `eHf2IEUKJ(%Ù]RVMesn௾W*jM*Ⱂ2MiiㅮE=h]?t I%Qȩ($*Nl XF*81 ̳{]t^W9p{qnTp!"iNZ+L_ڂí|:$GhMj0TJK i$'4]E^E25vM/^&Nru+n€եq\tѼ1ۼD|Q ݧlD=Lf.$&q懠~FyX(\lj\ b$ t+{+6fPޅ+w9'l}n-a+KdoA͝o^eAM5/۶t;14L {O=,0]W`c:Jvt7; B,Ғ[m! >2a6:HumyFl,qҡ CtN1 Z huh20{fvg1hۡrJ)k-N-`vkV/oe BX$Z8#'WSR̓.*?h^]l]("N. W"RIް+50)%uj^Z.7u:sXQmy; QRow:dxl:nY$S?/ {az'ȴ7/r!Խ.=T$*R4Qs@IHKh w8taW'"H\0@h h[e)D?ڍN[oH"mBgY q4DD-Xj]}}!7k QTv6Xx,mZJm`$S #9Co-ѸzRP,ͭ *3 _є7 Inn^VyKgLG;il)7PJlp 7>=!MErNےxG/PƐZ9D=*Dsf<.{eOQwZ[qBQʎ jR՛!o ;$eһVOR8> )@2tUDav=/uBxh!tB-NzC>ůteFӟJ9>95lU: %;t=,|5bcY 5Q&$>DMvƣ]}<`E?!@孕 +e0w:A3ے{VfS5_}AlmFڊ 1'09!vZZ2J(uls?zpu'^k R&8f⯁9G Y{NP XOo U˄dwErB0$i3&E-h;&1"d]Jb}ۖ* d1ehkX8}7s,t}4-Xnyv&p|r^E{f䏛E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4D[GBBq8;s'FTpyw9o}JR{pLJ[4=7޹\bHF:?c7Vt'_Ʀ!/Sis'cEbx ͍ԣ7@`ʏjr~F59րl\[ƶ;>x>$dНTTj@D+yνXT=f e^36ƣ3tGjF53?װX|ܠȂ]-oS3/6j#O=pY9*vUgs,<|<.caAxD˨QqC;C#5vE`Ii;IN%gQq<5cZDo}ƢKH=0DOmC{mpR5;V3'jiC'-T02~  Gn W:NzG"39Ә=cJ;#Ia5f `6/w dD*ܺ = bn 7ek[/u.jdގy# ljxiخO-4f#'V77,0,ԽSv{6:U+t M~ӳn=,YQCcrǃܯU3>9Xl$=a-{-m y=H:4P:UA*]!:an'SDcϳ{.y }#ah3~ ߑȬwuEOzPeiN%GPgߎfD(KkThzUO d{2Wpoګ*yѢ8S;J qoz]-}<"&)"wil%K:e N<ϱ Ϛg7ቌCJO*@#^hDl䤢M%\\zYB[JT$Ø|u$+7`! QӞ  D\Tzn+ʴaK5g^ATކa '+rW^[]3k]5>Dc7eje01y5?o52:[zLS pEI67&m$ LnQP<A5Pq7>jE2ɪ^0nL-4<(YTL"\t&RJ +=)K N})Q; +?)փ~<1o*d hw6" ֔|ll_]f>-TrߧN75SI݂.L[}2ķkyJXv H Û'$H%,xu䲘8oKߖkH-!r+|n1I0 !3(PMڀu^f3@)km_scwez693+(Nkg7]>:]CHpO-CBV֤2Vf%Dn,^H5^c] )N806.?.pv(w(E^Ƥ4C4]xLW^.ٞ!7@oJY3 ݍH"l<}ǀ2whmMͬkDn^Kv9 e=ºu'dte4*Wr*=vA(+FSoI )^` (ۖ/-!~zI} ^M+ nCVP̆Qqz׶D[v3y5p$*qU\̃mRϋ!~Xplf㼼NZ'NKhdV<^k1EQ+Br?בYyQw^};[C 8L0nGFZZ|NVTG[i>j{k$XH6rYm\/h㭖2nX7S'&f%>ݸ\Ӳ̪ך]@3-)7AU;CỚA#`a\)]:_o䋋9Aw-ΐsI*bm[EuCnh"#Ls4dT&dwTm a\؂*aBrmn+Stи21F Z;r˹ʋ/ ӎ(҄T)x4^~{[`A~q?Ad.9~Sh\HSrg 2!"b].WwV󵙔\Ta)9ʂ>AE_r$UmBKWf2¼$A&URbAi];]g񫵰 Bsd :^z-Y,#(%6UJE=~{<t75&f"8sK[*-wc Lr9hJUIsG5܍¶"x9 ^p>3f2AC.JzOUO[87uf_ݞj5Cy 0]/[.192(?3aG;J;EXMXO2u'rTx% ;AxtimĠFyba@hDWX"l,uMF9kV HBfCl|jי)mv3&:o܄)kЉ|uR#4h} s*J[--eqᵊ;*0݆o A &H_%uNhP1i_-l ځڞGth⁳UT V7xҚ᳍*q/ѲcFvLm$w{¯9E䘱`i%E{I Z8Fd$f ``ǒPE!3)0I$U֬=wS5!ǰ1_2<ϐ1DL|/} %ۚ^/AZjs2^wMǧb̏;75ހ_AKi ~ˍ11}/: ^cxgf oLnloV:ޛDQŖKqTΰѐ0<"a>Z(=ĠT';SU=؝ƞРn;wTM`Z>& A<&Xcp@ѓGj:``a^OVA#L.Z1RW[6AegzR㣻יlўjBW*Cr{i *bo:e|ΜM7JŋLsԗ]-sc&{h5/re;w]X G 9 n2qn^zFML"+Ms<`\C vGMif̩ےZֽTtco"aiLvJ\$xaKrӆD! N k*Aê߽'!np|MJb :NLJfg֑t~`'NfgP={.YQIN?^VA^q@HjKݎ! @UU)19L#ݓ!1TGIElgz kpu85YKӌū㶔X uAnɵRiNeO7<4)&S>ծ UV|څ{n"P&gB6js.0]z.EdkrQuVhNA48 > 2~FR6j!4[sF#}]-v5̻d"2dj/g0iD?hN }8aS9N8 ?X"܄8ӳ)]]8+8\*k6r{3rҥe=%' ( ^J/rVfWd󬹉`AO0a-S[_/zJCDGqP|/+?!Powu`2.ʄQx(6wy4p?g3r{>'g2ؚ rKm"{8%EmRQcd.7FH Qޝ6rNq}׆F~ / <~6Y&LoʒkU4?]ыe+[r8Mj '߶RPW܊zxԍ@FT%%o=/CvaK,vf;կ[ZU< Dd3Sیr ֟~u%,Wʟl.i3MM峄QNHf{]+>Τt08+?lps?AD/ɭSZAadR:{nIQڐE6c,h*P_kPM&ԡg!)%sx {/k2 @ N7@xM$#VP"}n0{Se>`)a8I66$k%LB^C( oYm 2 zf:}4PP0Q"}Ugڞ7줵[ӿI?Wv{e^ʲ'ڡTt"+|ߣ4f s  G0[1GRf BH)=+dEO,քtn6Sq ʡB]GvQe7>:)5Һ)k.04ciwfD4\3j 7xFQppɋfk$9l[!jݭ?+bs{ eGR`61@P$1060y`3勵Jlrd=ʧrY+0?5k&|2mcziwaAkcC^^vȢŒ :ۢQ 9N4L95C{7zRc$S_y~|%("tLnZU*h?G1ʺmB:==WՈ{w7[/W1fӈTD`q!2F b=!0wAh:B31RjzhåLb+2J8&ylR",Z@ 7 MD`q_%8Yo>8)8ch–j 9w^8KT#xȑڵb 2c xU:A9Y_X-&➣{V1F̲ZWW2{_vU]Spn{뽧5[Lzlk p,0ѧv^jhMxCPͯ8hh.ai\s8YQʀύ޿ݞ#j}8g:5ٝm@\@%b@is%NCoC{u|OQ\ja:3Clߦ5ԏ]t^zhӌ6D2u!l=]`ڟ]QPmjŜ م|g\ꀴ;`š "\[e*QŘ^TeJn`s T=j-H|q+j1pN <0qguhk7mõ W[i {*Ic-x1yyc \ @o7!K")UIRj _س>k ipSVd9z3e#nծ^gю_i#{Fy]q۩ E~Ԣqq1Q`~#l$HA6ǦL[ e͏ nn# Q8jLY^$]J>Zل07VxJ\TZۈ /m+ו, nW*aV4漓 c1OK?ςfAF$4!僚RYKN)pʳ,h<>.FC?DW8꧅qSE&^=+˅ z}<JaKbRQ'&7y%TRAph76+ Gw[WveۖXRCv ZJv2DG^>&&8]MYBGI9"; Q%.d]Q FZikO27x^3 p2 Mt4LAL#wme! ;뇑 &hN<>-*g NNm)3/ȮƇo) քX7*Ū~å&FAw%!|N=yG;m#{_yU D*؊@Ӎ6zͺБG2;GcL2gV=^2~| pI$gvo+QnQ_9EKp us+WdEj^ gZUE"J~O_fax6^SvAm4]PGow~xUqع],F޷ RCx!IH|y֒MQKįHwa(f$A Mm{ Tw%~F:+6Cjb JW@(Y&PuE,H7>bT#v}']l([(_7|D'+揌1c&gGً m⨝5&.dD s9;ٍъF~Ag$v=zp)3ٺ+]O٢[ fn2dLH.Z@dd]4E6V%G|mk &Ęh˅wgHÛU'sd /8O)$Bô`c&DL2'kVjz~v<\PJBVF`&SY=ekM6&b/I5.dP8;xJA%^գU^(cl59\>~%D%B?ј \H׉w sܽ1SDB 6Bo܅y41*4c>$j}FjG3=:muȝͯnN˙JDݳ$FR'oΘI.ֻ% !r0 =}pS7>6,Ο̈of)[Hi9_:W+<D07-[RN j61* *<î.2\!ēYd0.gM2@EQu*`}W !pz[nЄ (kW_1Ja9xqL٪ ѺRp&Ɩ 1N2ȅaғeY]**֞wjů-(p^_6sq&6H6m"Ζ7"xk\1EO™smپCc)Jo-Y?k2p1c&)ۣ1G^lK.QuGZ!(ʳ~X.X>T6xꫫ` fM0!3x Yij9a"pI9IwV|>9ON~/0ع3|@gc!ëtskEi}dڮ"ç8`Q#;B\4C(mFfAm%,,ox=1?oHp)))%hTNR#&L >J1FS.sfR^"ק~:ED *-Į~ϸK1Wfc-A Bdhd@R K _Fp 4V=Bmaju2w Udq?WT9e 2]S&݂%bR_dh%(ŝt8Y'{6_isЁ{@"SH&NzGucvu9}9Zng5N</=~‚1z"2嗏hc3h~g OlGcN(g6k0Јq! 7艿J<9$TK: }Lpw;b3SF}0qW?X(5('$o' ˵#\qSU̍GiRZc;;Yf5!-g '=gz/}QkQn zPo75vj8uN䍆Li/6Tn[¦aaFM>r>,AAW(M/ .cN mr04$9 4}R1?_G FM8(M ]J籡mEjyFM =EOs '$\WZ 6Y@rR^wXs4Qe:B~QaQPhaosuy-<* 9:eی2tS "^bGQ59|!Yxjyi`+fmZt! uz]pi?Gyyn*Qg5oK&bskW)6z@՚/w@rp.ڑq.JK!P\x W12B Xh,x+s7Ot<{2Rx'c[]!;-6ɦu>C6h>Ao(@ڴ d[fɱ[p(g" 3U T3JGQQ]p-90 z>4+Y4 QaO(H&Ɠ=aNAdDi&azRI_ YgC"2nY#;B>_aVd Ư*rH==b{$Vp.OGѰTe0v )0o_6 2A{ہ [\6: c^ $τwdQT}m6+f''Q``Os$rȦQgI6aо9dXb% evfL.7\m ?nOEߙ@[#F&qLjn8uw9ad̤2zS%~_O ׭E}u]K4t5РlFbOrH F6=B2ogjAș&h<|A;{Ût7MCQ|Jў^4% B3] pp|^3"&rwxgYZ qq|' 1W% lHOL-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&Ԧ3ٰ~uW{3 UFJ/w2J(~1'zV㛨0bF*Ɋv~m6O d4C#ċ2HƇ_3a;)76:~Ӟ>\F?';+9! +($D';+3Wh7R[Y 2E9Ha޸I4łVN }wq7:O.m4jpr0ɘ߮\zw)YgK6u鯢fd?OÊU`,v4iL zX8$A_yKA\Npkׅ\~c8y4DTJfAU.-dl`@!H+ s1r&W4#)ZX{yx\,d=Dq򠬌 9qR?w` +N%-2'y\M*M=3NE PNs\v_5%DКi贘0=vkmq7z^輬ƿkD\X2w񽱈0Is. kԘ a_UGB Cҝ%_zɿT.pNaZ,9߽%DDϬ666}#"bs7 MzNj-aѬuy*D!3'Ai IuWeJ^B4"xxV͢YcU5#`" `c3IH\7G\v<u9i|ɽ@ݗ`P ys彎KtԩX=|)ۀW[䚝-qGPL;wG0# l̀|[ܰNe}Ut7:cUdWfPԵu;p.2eľ'lh{Ͻ5+qyy2so!p*+`gC#IBf{MI|zN?`)Fܡ}l9;:=E+*?s^m-e\T %lz̢fSt #4ͤ٩1ɿ1VeAnEbXj9JrE~fioeA/֦F̖K3=Fp>䦺-z'>=>A+ut\)tvk"!M *KttG-@GJDAʅh=X4¼]#Oi6wJ%r/ ma|ZRW|Łz $a+f/W2== qZiVq\3dk4~Pz͔VoŋU28ר:JR@id#F;{/f(0 SX!J[Ю=tkOIA AS_yH~E8xV mܧGwWX4~E*HTo-R8 *uNe9u0ے-_)1…Xy: %@E=hR& D*C`f;iudbL ]-Y "Bi,WN}aU3ږ4n0T/ hϝ&gjjT_/>pR䲿uHӊ8] tWwCgV(rA,KQFEOKdQ͘^etyug=fit6N*.= Sz҅kv1 MnV˱*,K ˏ㞓a.]:Tv,͞ 7!e_WV;pumRx'd W ^yjr%]%G$2};,тw('jw= rHN=}*;!fj(cF1SU!<'_6ԅ'I=_XQ^|%0EOZ`Hh3= ,Mur0ro֜h(ǍZ@& jx8SU> ϼ WR32Pµ\xdKGҢx#_!x {GR͒ dLe<ukP`#}OjsWTSfKDc'n;M6o^gH4~M򙈍5KQMW,VŤ`3ʞK ԷxI'9#s-OQ6<ҰE ٸven+?Qsc]-DՓxlO$ m0B:.7qqŕfTtӘdIضloT܇|d 1T{S7'4=QSu)N5 m(K> n-)Ѡ8 ~h $ey.9P\5 tJpUWc}NQxj#@I}+ϫ`xߥn5fp sbY̫&HLϿ<w3?`/sĒ߬O-tetGU]} EVZ{׷ޢ̀Df'-it˨xn},N|{1hDk#{]EvM*tX?dn] "g޹M,%]sxbSCȝM' %r).}(ӫ.2[ [:O_1Hտ6w/&{$AN$ʅC>۠T 5]l=SCVmGfHDG.wBH@W͸c Kka5-Tƥ&bGA ~BՇ8:lYNLe[WA#ji36뙩~7JBI"{~F T^>!i#^#d4qPQM]qUL:4s|/M >0ar%4PyMkgIVh= 6u_ҟizu i$,h-i~_I{q˅TԀNT[}c bd>Xcf :r'^C rw&t; Z= `n|`$gpjЦ6juoq"=C-Q.QF!w=[yq}q5<4_z4+ \J0Gp #__ׂu|KƏŃNDD6gGmHYCPY+2 ~2`߯<|L.w K'c!RSqFȃs]}iQe}0÷,O)DRQ`K-GPNG\q[C΅ȓGEURKA&q7bxzWié*!6^LF8"J}(qL>śf(Ppw|o.e,DҾM>,P݋'װnD&m`K9qƎKC \m06/IKva8[>*q󐟋L ?MQ{5ou׈r*D8ۭb b꒞]8J;F ɩϩԉaU3Hra_ᾸYtWkOftC''[nWoSiEVCt!}ivXi /LF~ ,pZog<E2~+fh[. g3\$mpxqj蝴1>q8=҂Jևmvִ4菮"=l23QYѤXT>Q2qY5wEØ4:!}^7 5N6RS/9[qf)Wz,N΍Wt&!v9heӲan"y~G(F־eyA'c= :Ja9gu)(1 Ì&.6~&uY۹PSjP' )hceJ1?!( g}(0k<-B)ËQ̳_˩(?N~8@@Q`9 s+ MFuяF\og^MmLg,'x3D>%t&3DϷiӏUK\(5E?\3%Kk2n裙"pqp}Jvbo5[YG/l2z:j7ߡ3>&r*/~ڐL]9ȦSA[5Դ5EˁS*5#H+0ɁI^RRۛ1Q vP& DGz%Ppq$J 3y1'H2fBg[ ?-0?/KV@Wgx3tGP =u\Vf;O><.-"=P)k!no([.>g6v #btt#|/{ʆT36F {nJ?d[qkK:Od DՏ;3c=0pvLYn"eEظN}0 B'~UpɆ-~ ~0 s;|փLe \$Xss60"=F2Xcꀅ9C9̍41CCH2P8'o 嫂Ip ͭ[uֿo{NzFilmH eXHOltz⹌{F7$ˎcH3c+3Ak:ُtV3|WݸmZ/f $j+MbULd;r:G<֍$uYzx:r1ie5VE>odj.!kЙ*g9ƥ*TVQKF ` |*( j~G (O+.ָ6n bDžHp Y VVhB-|ۭ)i*? 6xT_u?\oWaBFF8h敤Ճ׎: C>3BYB"Ql)zQ'~0@/>qnvK%A+廇zMp-/W]LO8~M,0)٠&迭3roKm>_h丁L?.CI>~0FD]#ea bނh jGVLʿn<+(-L@JU9"pIq> Ad*ݾG㲁a} ؾ v pт%sqU3lsYq8L@<|d6( z=3g$3& k$o"J|;<1j7L$HD[rረʃUFm.+R5,>-m5# N!F`GͤQ.6GJhbŌ  vnqo[Z*)ѡ$d_-UlM\e9'Y6UqmC5z? .;\1kfX+!xolwMu;VN ZŎplkg{eO} tXR0rqout˨#/6>sFB X,14xӶ(a;{0xa.% TkC3^#X)>C,Ihz7{߼wMlJ[,'8mLuڹ2٣_e;aND ^kb.=Y7n;Ա\wL%%nOP]mmE#&Z?fCJ.DcWk0̀,ۇ@ݯ%WO&֤vX^1u1?Ő tvpG3]!uR1Zr';U>,]S(V; :fNjb1楇[Y$ߐ%^ڝVb( TC;)#1|^J?sA0CMښz )+f>\8G5I]pqơD_h '2<\7wciAEq]E/u%\,-p7K+b3g''S@8>CVx:Ld^jXK:U_y +0?RҾ*b07g;REbo#h6$$ z sP i2);zO騏vleMTkz Y /+:o9i6#"pZ;Իy N^ŸalϑQt'_B6"l,P~Rn\Tł;tq~Rpyp/΋Ƀ]geƖn515T8`͌?y,Zo}ͯKC]Dx]>)ܻP߫4)s=UBǘQ2EILF+XƠ9Nڧ>x)kf`ʗu JU')ҫ|6x\7/v*?9htW @5h G\o1ٿCQ12>iɨ %4Ge,J"(Ԏxn5O?NxDb&<à'7Q+ASO<5I*Lvz$Ug{g />H*Hm_ⷸYs]`Ѹ ΋$Ȁ%0m xxp!mP(fgq\Uj{Q)mZNUG.z\\cJ*OjtQ\a y L/,Jh%~9t^;lo`SQW%0Nto<<fU]1xk2P&BF;ZX_gwo3jpVb{k'4+.%pSsU.Z)2Ǘl~Dl#6@o'ā۬ZH73n]aWHWo׎ <$v< b /دحK?l0E=#, Z,y9*W@aNC)zʔf) $jQ+uWOoXb ֲ[ly?`. ftJr4~sajqƛ^HL=*ErŌrB[8ϵ1N"|%Cy)4;z$XWzAr3vX ƚ3gɡ0Nngp7$sr(- ״]y7a8]@ST/x@!)vV`"lہ, 'aviD+`{gNDyy emo S ϖ3Ɯs0FAB6Ow*h0 Tyn2LY}Q̌"#3խ]42Oл;_\+-b @&`聇jS=d'fT<Rߢ㽚s~ ѢA#hGRmY1G U /u.ڎ$= l;beGLOD k#zyIðXPw"%Ep"O&'}5?2jK텫cCdKYɸvzg3 o۩mS8y/o ;96!OKFb JrsN>ENٻ:J||ە&q\N+/LOخauj_;4\R𩒸;M_&׭bEmtHƒQe@KoIj;h]uX\F6fk=dNPb=tGVr Yu~/) m76xJ>zNW]S)9)tQ<; Bi(*ln6Dr{WY@6=FU[&yƸRs./ WPsO~|?/`%L"$㦅o~MQắv=2c8!L#c[xy=X5$A>QAzk  ^Fdd- p dΌ". ,h0gN-#*9#^Dx8uSk-yTȯ4"N(i9a1glM uV+mz}h(#j3 wv^ *'#.\TLRd}iےn rA T W[B ) %pwuJMU3$P5M> xdYzšV8$*Y-s\..T>UNm zJ'JY6>D'Gɱ`J,2C-URpWʇ=t).j IV8|H  FG8 όZ9,т YzgB.͔ds4-!ySuglgZ#ƒjD_T ?rxl`L)Q7xq`_"֤RmQ!/Na?d#^ow% +7٤.%Q.Jrz~`}~WLoʵ1"od/.B㈦Jۙ:ET]}n^-wkuAOBRps$~+nw_$te1 ocp̂ '#xI2 K|кe אg猛%Q芦|]da?E:wXTBEGl ᳭#Rн2 Cw.p9Ȫ=,DonDdbRʰ*IdstǪȝ!73|T+)gU98dZp$2%ǫmf1JT xmZxy5]]ùؒUtNcrBldḵNz}VgILWCSV]83d.<h~,U `9CEXBƚNUJ7R! b6a7Ff׻$|Euܱm2l5IZs;1t`ϱ!/~9 qSa@cHTݝC&FB218HXR`Џ. v2Z.t:/nk_`vDwDܚnA(us*R:C`rSvKn+Oob7(2$-1զhqƔ$o >/BV&^45ŷ<> ?5>* p"cNC ;c)U͒>,T=iC3kcSvb]Cʭx"sgƀ69IS h27ۡ#t~V+ta߇-FtZlrgk Zϖ9X7p cbKኹ"+ 4+:`wO +}]j/\Xߵue& C/pwHEY-nOF@)Y>~bW}#8&]وHׄ:a?%Y+M'̦~eR Ci7P_X6On8&"43w+ֺHY@!Q*گ,'tltoW)dO1m .JћG(%,q~w>+E,εgl7«MfVc>M_~?V⋬f ev*7h;WJVJ;`۔g#iGYR{dKbǩ>h3&F#;ǽf $m\ $| 3Kz<i20aO_8H/t};ERƊ% n~C|m0bK 榴`zFH{C= d]w(nŷF\]NT×EaB#HYX=LW+n э~ՒDv^KT-sJV6G`1Rde1um8X*}s4:^:fj ,<1oZh@3Urdŗe{0'BNھfDJ]{AB&iRQ46)5#W8[ A1Y7SE V6N8JGeZC"e T8tVo ECf(2Y뺘}ʶsQ#X؞7 aJuKmG:}mpVyݞmfaŢ?#A.{^hLL0290 .cekbP9I#Mn1 D>G,Ď th8wPoYn5DϹ#ԕ{`Ϻd=F \y;pQjʞcrWL7t:B0;*ރ!)b?cɄ!a0 t}Cm 0 q!f"'s;Yrq"fFX̝ VG2Kv4kb?@Gak2J e)Jj.Bc0&7J)`HoXʫ垆*YI`WU()Sh0jBx~m{kwʞϽzZT "tK㻸Tʼrqa2_vK,$)t'c0#au KaݔW񰬅`ދMGsLkƷJ[ cxhcGZ&ڋ ؤnb:#+%L69C[t^m94y!Ŋ? &w{fw{d/ w<*^9`H7U?[8QTv+9|HGVfאȏ4@Si@ɲ*SCyl]b$;\Nuq-M7r(qlo2/*p@#6C:/Sb-ȣ~A5_:M1upIbueVl)YBj3Ob͕g~ݾA!U֚YrKX`]\ݭk=tޮZ!=C(4' qI@J(DnA KOkoR JwݿQW 3*MQ0ko'cZUDnH%n $Xg^ҽ? y:3=PޘDՃ;% ,v)dxuPv@l;vawFJ?h9ސZ>̱aЉz`ڞ&JgȽ{iqiZ#3c#)tzOht3X2+B<)zb[z>mC Bn14 +/JrX dLQ LOW6 13/N%6hWFVo. [޷4ľA M{{K6^݃N M1EF)}F>:Ϫ͂OdR.žث{/ r;*-Nպsal0O)BAud;ߩȼ>ù̘`#P $eY<hv} .RvE}g4R%c,Cn 7.R`k^; URҠcAِej/\ły&d)x* ;n~= )1dHb2c(IG%ӧp ѫl9P -> h7޷_~_3%Qo΃)ҵahEH͟M@trmO7<4r4P.MAK1^Xd s3nVq?B?pg>E$F6N0JR=,O6WmXY}`҉YK^\dB Շ!J9{!kNI֢i&}XK浆KM1D̝+|3/)~@EBZ +71uk[<=*~ASS]c{@uKz}*ڱf9tfV*꾥`w^m A\%| [`D7;-G` | rw6K8?y訽gxf݀}1&ZnL:hXv;xq1u~-LP<ķf'i\ov/`CkFX|}ھkuƙڴ̃'0'wu>V`Av@n\PahQ)T̈MY\T`Ƿ pQFxiC &oVWsޡ4]ˣ">֒OVa0 ~,<`=\o(W1 5s_ﰻzlq& Lag#!2:2rG[Q_xKk'YV7ΰߴ赘&MT0d{ĪԖ1L5A_%5k0i[xL $n$I72jɾ}mWw{p|j*b]ț{36{ɼ!85,&,%ΤG{jkyT"g `tÕy{}QG`ΥO(F83`ҥd! >m^AGxŲzj\5&rnuLy#(P}+|O1BTC0T[%]t:l.*Zf{ȃ|AUjݽ4HE00.@!p{G }M̄V᝻$[f|ٸ:5ZL`͗8fXŶ\Cz  跻&'+a$\i9D% Ƶq;irEʹ?TK:=: jC]Xp"ydG^J"  'ςKl7~]H!VQ~/'z1T`Jfd&5,Mw^ȴ(Vn $mA0fK$Z&b&X((~=>!U,F ]|:Cdw/d]? G <,P<b7,f)HS R8UiwO{O2wYCޛU.(nQ1;*܋u,/ДgÃpIh/jBBؔx—0=v]RM/O `x? _.bWCQM뒗-Ԛ6ט%O+n| UG`NJ6sSB~6 UF_UIBQ]1O(>Ga|BCIс TM[5:EtrT&80ZiFad!aU氁k!a`UӋ[*vTbmWFPe7]g;{ҕ cI>WPWUkɿnh _K&4}EڐTw\(MGvMZЖLUcH#/եPsAO^ұ 2WL_jc~;{Ҳˆ_!/Yð!NpyAXL=4}hvOS5Qr z5#,X7sNz&%zSnEUP3RbJ<2a:^B C=Ld%/O|E2rF3}cN׋5\$L߱g;WPXDCXRt<tRK^FQjm~&O{5_ ~8JQ n+d,YfeLATIlK\W8l.i0+-;92hcǿC]OVMua7'KHI-wPַ?zP[Pr2(+u\eۖ.>QD`e4VkNf4%zӣtGOUߌRꞟ,wB.7 ۔*N4;![:CʧMf;PS>~ 0v ,yBMP~P~SPVlxj[ @|A1o?U ʄ?BVyyZ^Q8V/בCS ߗ}6eI[#GSCCa9hv~mwE)aA vWec1ФVEͺfx La4<jPl0+Pfϭ2}z e]qn: uh9/j"s@LnmDQ1JؒBh27K+:Tw$@P,yrm{[Dmc%;PFlĚ-kk>("nŋkaڵNYk+@KUKE,;mr-iUd4(bh~ k_.9ߚC1U-HHv E,lMiPj0xm Klp̚a[^hQ$e`/O?'Ztx]C"Q_1QZaōU\ #H\dDyҚ) MET H-B=ȍ`ky=TZG/y*ajEWZv;Gf_ů y cc%v=z9(Z<5 SJn? 4iF87j4p`}p:A4< M'4y?_\(ڝWYR%mx]se Daɼ{6Lq'(̍lyV2Jzb4pK:E,1lĺaG{3hɻ9E˷^@))`=N(rJTKx,n$;o뮊s$OL+lLa6RV;O^O5#Smم, m7 zr(tSL=3L'A}252=o5~-Ov*XTѳ*\Z.9|r%8\3Ұt ~8[;s?q 'ͶLGi‹»x 0+&Wp*(8 TŚ>F%%eH!& |>cўүR_^WA`46Vvz-& ^V{*K9ăAK/t v I.8oR4m`2z)xO{ӂItLb}p'mi) %뾒*=7Bye9QM8pYXژ_;5nT)/sF?=$@h)@MVM-˓([F,!>tHRes"\͉k+|$TسPuk@n=v+fTH\ɘ6SwhL;ޣVz>%zdRp@W:/{YI}%6a6}az}'*XL\rɃwEPZjÈtQo^Fbmz#.At)Da3A9(5 x (*TA?ˏz' .r뚄u=_NGE;Z4uJc= ¥Mc'?r-6@y 21$gp8L2u5]?"ƦTyپԠhb[~ۃZew`w,jI =.s`IJRw'Yajo@_ʼn$?@Q\.B ۔* +2qs6YgQ;i"ʮ,K) ߁#2 v o5?PY h^Cx:n6%UwRFzG Nw KsOrZ9Hp-x>/NW(ac]s5 q1Wn'k#X$?E/lT?'*gx)+n!4?eʦ36.VPZUH(MJ9; ]*OhYVMIԃr*/lU-lIZ}n1/ʑؾJ]_x΁ؿ 0xFwqBM':h:вCǜbUۄL+6ˠ~qgo^ W D) REtmV=v/Hldzo]Е6QAF3^ dB  Ʉ;4@ډJu`jՐwe.'z:VֆOJpAsoш.ڶMGi{[Ǖ7ԻߐRPvqT@L1QW4g2bk̈́_xsa.T 8L9'ŢoeQoÙw.M?yHt1_"]-6^ 1c~Ae!*'fW!dYԯee鞽j\3~RCZ/Wp^!,8 j2u#t i~4l7,fD`M1='#dcm]3|y"v iPq)^5R>)'4cJ8T{M&zX*Kj'W K;adb(᎒EIgXЄ;fX5K9 18&ɯ|k-ɗ%~ Eʌʶ½v47 (X#;?Gf* zSqtxSA-tai|kW=d#Xb[qt6G#䑽xH$\1d'Jz¿0c&EBZO$^l2ZxKdfaeςQU$B;j߻5.Jδbkuȣ) ݣhiwSI^iT=|Z8o)]9HGT~ФAw ONk_oGBm .giq 4$x-odl4ʢ$!0<Ʊ_(eŗ!;ZƆn6XM p]L P] ;6m#dЕ_F `}#C)#o9Ĵ?(#}Qz?ͅʺHyr/6ɯ,rd rTC]o|C_ \{֫%3TuN' m;!Py@2,t>5(*ꒀ/rK;@lީbڭ MI%[C-@wft)UDjBy!2#UL8?5'3bhױ06j -➹ŽLkٝ(y=T#Exl@(`LMvvKȑE2fs|c@!K.K\(Wn`fr+,~ i >Ĭu~3AYLGȚRvTas3h]}$ط [5.\4sE+HT9bkEbcYpBkb te% 7"ВlFE(!1FQV4qw3E9BYv/o;o,կnYY?`tq!M1@܇M7s}>%v&Vq P4OgFpiVANc]ԽgCyyy ZW\  BĈ_e%k/2,KaR8/W!F5[ɾ;-u+'z7R{,Rad%u$`{ASs]e1CDf5R$e֖'$RRp; 0% :RV'f@wveMkvԻ8gXAKQY͑WRC 1vRlm :4uu@)7{Y}UgCBBMw&;uWRŢVCfRvQb1*JQ cJҭjZ #%MX?(?Ҩ兤fAVv#00|P?]pY'E/tVV]ż1tQtZod^|Z fiEҧ${\$V8dU;r_CHbi؁/fԼb^u:7 XȅpӭEBqTa$M^OCuWbgumF`I͝~)4[=Wx>iІEj/%fDu.%KUtẼ|Y]m3H5Ol K+nQd<Ѹ7d60vP$ 5695{bu**əm#f@vL鲧no3!| /0Nw\?j^'=:Ѡ-`z!SN.\]RCyܦX;8*ቬ{ȰA3/PC" }*R61-[:6]mlcbirt .fʴ;$r1_28řc j}g'b0x-ʃ4fzA}=AIB`"zM{Vq,_YڔKUl{7/ˉ%Hݑ wCf3]uM sIa﩮$55f{o-&ޓݱڋ^M le܅ OM -֫Zt-DBbUYqGbe( +q^RP|!8E"|Fѹ|_&|gřz@[Y`?9#:F܇49+'S^Ll v?&FS%?ʓkmERd;GpydEn2H=uH~T9D߀q,T!d_|M-J(-=XØ>m\߉\-Zy`0+}I2ƼFɠ$,R..Hne=Y~?%4$h#Te9"3GVf]\w}ʯN?P`N}n~B$91Pخ:>Ϝzا!#_ƾHKJAX,Aݳ535nel؀5/"X¨ cS@qEi6`6Z棢YXm!హĝ94E[˨ve\ߑɛ Pdyim-qX.p 0wpfyk28/GM"(vn^B\ */`rg3x;[oiFQqHj71x{`lQDϰR+#S= mZ~eYc//Ac`) Qy1))LɌ g_ `U~aaAf$t#-a}.dIc"_P\«!3M2uQ b\:uǂS Q^%UClRZ8!ӟ$u h*>T1e{ PviDc-:Sʠ0uRn490Zثmz ϱ0bw?ީҝm5xo agguCr=[0D~G&!@;BhϬ$qJ _͑Wr_'Gt;vJ%~ZE3DV^RYS?v7+'e_9j`bH~ۃSHӸki..5"7IUR;eGOv<#0Cw2X+(7@-iD` 8 1J0}Jf01ZP?,`%*>K^e9tBT|6VtoxV{46:L~"?rҿh?fX #uZ-Uws""A2pX֎wBS9[kl#o<|jvw*JJ@4iL˫׿׎Z L؝Qm(=N$\ EnS4 ! jO>3C4dT/#;rJwZ+Rze bd_u/Gsz>Q{CVѾnABi=ߋ { ?:M,E5IIPlӤ c\|iyBDoTW(7Uʍjx{kπ$1SR ;#ͧ9~JFE{P(lQ6]vji'ꂞV:)c&d t;p1#h7}rGx'GA0CJ;d6Ua^Ἷ Bc{9YctMT`{Bˢ:qj4F#x!cX i:rIچ I]=Ow\C`S(Jm듗O^!P UhVH̼LD^A~!0OFSB A. 7RH k#M35_&a% ?o#5Eg&r(6w'Դ , )?=]5IV%H';KX5Rf=-D=ͯU%sVZ^0{.vjO]OkG6ufUm%,'U _l 􉜤$M܌]}5xf/w)~+emWE | (X!;1[?IbcE4F5V MF7t-ɝ=pȞp~5(ݺg}\]4:uQ@V+qVzs[/bn+X,?uR\V8[mtzft__ɰgӯ sudf΋ H ZXi],44bı͟~;3d(7ImM(p)U7&(r9i.seyx[DS|*btG>|c|v? ,^(湃׉+_)@gU ϻ;)HZ ,!LmS"fF&?s3y8dy$䥆 Ms/!#͚ih|Լ˫&haNc>aɼ3s4鎕fSIoM벭Ѹ8u3U.MF#B`3ކ݆"}YUuy6jx,fv8U=t9Bܩ-)EhrrTT[[=[ʀ=ؑb< 1ݸo zDN{ӏK$`ﷻ9;d?pvk =ԒWkӦzw_ܒ=+v;Js-޴GiV/; /GID-P7LBPA{_lP;ے;u嗽^БGAbλ<6bbJR'dW7^Wd 䢨G 7gy%Qv%: q0JTEa,`uޡÁFuiqE~Oګ}j jТť!ral$ e(#|w?euٳ0Qմ3w͙1h atgX?La݉b/??;Lsh˯J.r NG\HAUXpf}Ȃd >g7'5BxlnO201Cs⛲QrM?s:MM\Ps/bSTV'~Õ9Z&m Hx6]ZȴfJrol֨jfGfݢC6J|= xjK{EҙIVHf}p9BTŜyn*PEم䶫{[f魒o,,Rc BƝEmPnL8EZ%'jC2!.,wcC?!%7Z,X;뱩#]VmlkZ(E)OCểpg^S%z<]Oebcel JpMơѥrlڄI#åUǞ҆"!@_?4F5PZTzyA6u@7lChHnƣ<%Tצx7{RZ,P?MC1 >2v{LFc;G[s,1d6\~'6fE/ wᜃfv 9'\4#ݢ`a*ڍs"Ruޡ#wqIAAf819 [~'6 L[avύFU׿ p}9b$^wp&G*Y͎$.즾F\+ky)+sv?&'>|UK`}Ex^Bv6TK4MR/]j5:^(j9A'FWq=5ZX|e93WX. m1Q}#6?N' Ѩ8\2\b GlB/D>-> De$u`bPqu Z殚n[g'VS $m ,1@Ohn`N )Zi?~zYTjwơ-`d<>T=_Z-h2oW R7LeabVX'$ђ -oai=V<K,9r*1׭;z*A̛׃ޜ\N'USÍ^kZ.2ҷ4Mq|uFRQܗJCFBjUE(tM:z8T,q.XQ}@x dǁ@~jqeG|x JMwe H_]wrXYk3P\/uI QYkB=q/xiޑ\,*ӬeCPqtWF%.+p߀zN`U\ÃȰnT8XX"|:;S$3%Ow gL-嬰dp%.RXRTشiT6`C ̮R4 !h ע^pR7 EZK^:7;afs:͊ }Hr`y|u5倍{BCU*r}(q{I1)_B_&NR}T@\B 7@vG-Ҵ4Lx1c?,}5_\0 {kyd|S'x JYC*aovBxz90"֦sÄIPQѤl GCsmQ(>|DŴ{h¹UJue^!uKûC-+&b>5u"`CG=a-MWg\n"lڱ~ cOY,8wfJ>K,/y)sef⃽7asWmު11nnىe>),Ǻc&~(x27z ;f_CSܯ 7^]E?60'j;M{. א"۞\kY;>7ÖB[>nZlx5(9OWo6b>ԭ5c5r˶=W(YS<4qvE8q4U ɜρ~z寨?~@|zQFס>ɶB=~$^SOeAP]aHR}D $IiT!ushT;\yc(5ІW0a| X=~;FfV/Zǽ92ҋs$:ů!A%ǒ}(<-y0YKEIvCT8<}C&Ѧ }'ZVt"]4h"LC8:MA}< Z,FOxb$k<ԫǨ=_vO s3Qhz?qMB3my@Dpx2T .J@ 0cDUĉ f|94RwNߐ92ևƘ΃\ofu}2/;Rkш~q,ɠF)  ,:V<$Kt(eSez޳A >ϫbcڡj#Ip`\sTg~y&{p'xB1T֬YkMDEĦ`/䴙|!u⌳+||E$Ò`kP)`: `@)d YɁPBaKbV3yRf$#LӋiV _|Od V!OŠǃ-P5gor^gRŖ(@&i PNxqmQ\тFz>ĀWQ]S]m Ĺ cƉKC6O9QwCw՛ $ 1wc h*zδHn^ɢ0`l?O"+zq>.f]5O6O6nm!`Uq Xu|OXOYEZoK%@'5#wF!k(HWM1^ɖXY(곬ohyc([+a; R0Zsf"E.5k `\ o u`MEx``Hk1C zc U\YQM)[Ȣ aS=Jgx1+ YEy m]3[d^Ā[ksFG蹲 I`QaX"}>_&ngB7[BXlKeǶ86^~VMڈS gZÜg.UaYnr ms -!apn~Usx;[厱HU9P%x[PҭInzzh3qqHLngAļ+I͇dh\̦Pz;rU?|IJϜ6T -q}T#UEt&wx+@ǥH OPe{ߦ+4ܑKZ,]~g[VON|S6" 61%rYhaO"㾩,I'M>H/#t\v_Ws$$?]TT~3D j^nw®M=7>ò{ױ.׉ߑC_4aZuDa󻖇}<{h a|5X=?˄xkCf.J~8Tf'HS;x"H׿]3C0Uq1֮{=OTI{uZow{xt2]_z<$ToL-M[6˨oT{1!$ \U\;:R퟾ׯi}VЊzұH5#%/קdzciR1yWsN?"L;֬ťQYx'XSF?Qn\jƱL(P#9uĊ zf*Hvͯfjl̓Li[ eTuGtӜu?ޡ !D +3!i)[}cvϭayF \jn齯Amޏez!a^5q&;H/7t$?M;Cz{.d[RYH楧1`ZٵBuAB5d1` rͪ\9Rߊ$-D5ۢ[)jd [Jvr6caU!kBDM{S2#A߮QS93AJbM4sfErUM냑D_nĎRd]ͤ/kpV7(LbToO:. 9fC ۷c׹F<ɚWHwϦLC6prr: Hh)fy&GFVG;t'p Q„ˎݖOp:C"2DŽ9%>&)NRL0h|ހ#k?͟q@!KtPiy_2ۏ#0Fٗ5^'?W M6b;neLiw6eN9? %Xc"jKR!ѡ"Li#rl0ZO G[MSyjȀO\00e$er*Nzn[u n}&])ϱ3+4掉``a b\Ulؚ$pJ*(u~E,䎵WȤi bx,4(z"xO5,.xIHE%.]A_Mـ"D_.wqT!ݷzR{0YACKn ' 'N> ,Tz$pصi?oUQf3RnNz yqLhO9tV3Ux*4bmr']DD.cԱ:PbA'9fbpi`nLX%@,[ScR"*w?7gtS}v\ǒ yYz66j^q?*GGXڕb*{‹RJ SVv9|-<M.rD}-8@?Zd+;fEb[hYrιłB.aAtaL 3:$V-;6VM.;`'퓦Xdl4Av: 1 C;U-K=E!dlf$n481 v"v$# by}LL,Jg,:??Ӄ?}ʥxr(wK-"E6Lf0=zޏxEM T)G8@Hۆ.%F\UX>٘M !tՎghH&C)EEV:PD xvsʭS!u@= `5$F<ȠcGPWo}t{^vU_+>bm Guo-mՓ FxG{[XwIIH^5VpP7W$C(]P.@meoXOzDl:kfđՕh95ӺO!NᴧJU:">bG,lgW h:wiVr*-9mk,Dz/hi'Ʉ5Dtv%W`FbתA1$Mj(B\z$퓛wҺdD{IP;UQ ےMݧdf.@7} Y ~H;Gr?xnhIJLuk،U_oӛBy}8l*ǚ9gT։]XWL6sv!վww;2nq;)}' Kh=|*լN[]-@1%r<д1agZ`vΏ)xc]ݎi*xg>t#ZfvﻞuC]ب0X5)OgSM/~\<.XMlȱ[8`?QC)",!}۪ͭn/1:j> ?th }2_D%o~4<0rՇp?5^A 1x5yë`LVVuc@Za{%RKD*L  #FT"oGl8f @"QOG?4?957 3E)!~w2R% b1,Bo"Rc7ȕ* i󰜱g'7_iLiBSCCRW?#j~M#;IKax@n,,{0gw r 0NXA2Lq Y[ ڽO}cl;9#TfIGz4>'us >lǞ,rX۴%~EܢxOfA .ˉU a/'s Duɐ&"iڌ0 *'PҢwm Q5 usbAWЪfBd u'7K> 8L,`$ouKW$4)vu䳰/ $ pMEBǰ"RH*0/P}Y~IfX-Ԁ8]V^e63r@/LX\^*TOT%]d+j29tM0o8Ku27ß*GtVv#^G$SZN0Cv*7K}v] } m{Peͥ4brEd̼NnBIA- tΡ?N&FV:>&E%/ICd%,CP9J1j~nP #޻Ωbp?.WSwoPXJ_/ k (kez&Jah`œ[\ǭ3\\Q\.7v>>%wzLbXΦgPEty)6 hPcpѶ.#!B3oʉ!wj>>[{/%pqE"t1[JjKӞA!{A'g7cۅ 4Y?[BhC ί!V jW[pgQU>&7_w78 J3B?ך~>;Wt Y:4g$ϔMH $lqF/pv'x5Z[aްo]|V:%Ya$+[PR>m ;=/t݇΅}twq,( Yi}˙]8qZӰNKJ.sݓG@Z#|ըߜpN,o7~(!6QXc8p[FpsEu$_WyD,G&`8,v?m$~DyR&7SJބݕotm, k:k 7G/HMf1]ेw}buv,*+ :Eՠ5\F*14[@{|XRHF-,|\C$;˲d¡HljoϣlJk0ȍkD,b #Sn7d38F%{dSz GkkO?I2N%Oir$$ q(:Ƀn7 i+c%fLlxGn.O%9*mXnCb0'pz^tzS!LZ5-syy@  ar  t}_`neX 1`O띰ySh+((t -ͼO~HMT Qk<,/\I{1] V̆i髆JeSq! u-n/RS.ki6^$lNҺd(t|y^1)xc-Þqg gWG9ˬiY=2e ˞1hzi{8k`Z>.:c<8?B_.׶gz@>dux8f'(.6P>&fvlx]e gkإKT5 h9AK+O@%Sdb 'rJ܆zVvxgOmRMaV=L=5tY2)NtHS;F!ִ1/tCn N=>8CJ%abG M~\v{ rՑ*.1ֿv>+2)sHDxZbDA`UPL^-_ w"DsU:Zٷ7K9~#Xқ8iͥ5a")F*gނv:zAM]yx,O+mꭽ/{b/,R"Y?UT4J,clˤT j"4{9o&0خA'27 giFbö2)Lu?r 6UV3ۮPv?57 3Y vQ*!%[ +;kN1--HDn%] cG֔ő717)1&d\f?qsmխ&ʣkؕ7 ")|7X\ZbXtCke!}Aɝ?(x25o;ƴXc$F[͜Ϣ|e nHFCt^‡,QKf"zt^PJiB=]؟壼\Hgz9^H#Ĝi˞b.epE|' e#gePPV Tf /=\ id)=m]bm;1x辭bF/|ZYϻ?-ܠ2MqeaOUבq,pu7)䂶̫Ri(c ; 匤ԏ*2ls'LE #E!M Kr?fؤ!NRMlGA,%Z^M*aVG.G寮lo8M;P!I+ &S2$ bٌ0LX9Iirᓋ9~{Xԉ)A ޞ`=(9N{XZ=^F (;rb^L@5fX-AnX >\?Þ,(< JB#Off%OS(:<3_/QnRD6ËAGr.Sm 7tA1s}Sc]\0R0Edq (oֿ9,V&4u&+fREt!݌4p)9Iv'8[M[7lq \Ku[|ǵ=my j5n rlG\L\>!BZ7#ED3u=Y[FL[@FԋL^̭c .LU!̚7;Ϻ>yEg')kdDP.9ዕ&_$ O" gdpI0%o=CħFC'/ r' ##J8H _U;ɲ_j'f*d6dC!F#ó}kqրt(Wg~K P5tMK+ »FZj4;|lGn:H5ZakSGK(RO_ !X3t}nJ1C9jB.Fn7yD,t,*!@ڕ-Z<9/}cQuz c3J~\gڐ q>Olj헐 䯌dDua5eQzn_Юq{4@ȍpxt 9X =Iȥ TIÊAf/<:Hi/4qs 19%T%pz3/g>d .Qs0Á.tt y\T_xt~}g3$~3jh9f_p+s/DAN$ntʃ;6\APAn- Q!dS 2aAn^ˆ%}i&ϫ,D u.&kӑ&Ɯ}gOxkf7h~H",FM<`P9#9j!Mb)2dAs.\$X#8}Ol\O7BeL؛]8wq7$ Eu3M°uvA1] {DE8;Y['=&IG[~륤n]N%+{9E}/s@A%I@ "56$3 ުԽbPKRk$Oc9^b'VNI|ݤ%i-;1fn]h0̀H33rnTppFujƢ -Pn3aTbGyx-X R-Hp{J:\*l[8*mpvU6kkˊP]W4c!1+UEDL!o|p̂\ YsoTboe>pZw\Iȫ Ik6]53GDL^_A$,Y׳`QrZŻc0֎26YH?~FEݹ#(5~O  * ',utLs^IV+ {pA ׸7,CZd?T\Z MW2)۷qL&V薒 2?`S3!6VnC#}5;%DDuba5ɑ0ū?}%W^f.Nv"ەA~jkD؅iaI.FEa.NL$g\EuPi+.i7q-&ߊݗ(=}i6_kdk[N֝[kKȍ}w|F})"G&,lOD2ETϕdt7YueA~N?`\IT̈́)E&mFs@>K5+ӯ-5p39TͭX |KYˊ_Pp@l9d RtD='2K|+` HQ">ʜ -M@" Yyq %nǦL̟DX%ulIo@;e(%.#ˎ!=NAE_PUxv"1fs<`bU#M+uRp1l3)6&<*+N4zV;?%6X҄}#!p2:IK%7Dw]6Xwfr;7* D2 0qsM5_EZI렷;ai3)~*VEwGfA2%秳ݮVS|pe p¿, QYʽ 3'ֻ%kB?8pԽrV!ە1xt$i ;Y/8g" ^p jqMp\bkA\)45`RUBa*0_+PHӋ8BfS_6Q^'8(_ @pĆ8TtUT 48/bi2g ?hcpZz0Q= ģMPWa=@UVp.Kl ,><%'/^{L=Vcmr^~2X Oѥ<9 cV>H\\>hMU !B>p>Dݧ"H#/ZdӽH̖D+ӓYVۜ&b99典ĩ ՘5Y㹬b=OK?; ?!ԦTסw0#FwmYtFIEgyC(!t#vK&n굹lvz УISbb$yij\\uYdQ=ڪCp7~iZU3^ ""XB%IB~IgdKKGv>#hZxN@^Q'Tr[lw:SvN`E|'wJٙq^;d>{!':マIi lǀ\:L^3!&6e>lrmCth̶b>]n)LQR7@;3x'0U8z*.szgǂ?P Dh!a}czaG i?hƱ˖Bب^]G@K>m2=ublAT/*MpeD٘X5r%n v7N |r/O}F'Y?`0K'J5$upN95|rrߴ;<@Cj^]NV˷~p{$BjաmV pkk㭏VȄw8k)p+:t|݉K6 WDQr@|Cmk֡"Mtl?)~RvfSؽf L93GXw\wa`~ (.sH`NJSp* VԢSêt|RA>}/{'r7SMK1oS~j d89dj ܮ3a0Ov)XQ-b#Z5oXf}pδ!.mSuks? >~4Y`R} ? :N3y^RiI.ݔ 7 + q$F50?6[ıCl׷*D0AU`.?YgR T$O ΢3m7'g>,Z}V9Vn+mV&/AݶYҡ2%OY{K}kϚ|GNblzs2 bPlwp AW p? -uIjږć#Q҈]&Y}g<\ '7 L|3G꠹[ 8fYw++VN[o:51#XRD -?v:EoNN,!ܔ()yjV~/Rsw/5?@uQ6vh9Ӆ2%ٕ<ThN6cDrX`[u$P_Í Rl^ 4m1!4&B|ѦSn%l(S!:J#.l*Q[Ļq'`+xA+ҭ A~~ʮs2VDȅo)8QWC( ٘AuE Vt1pT$"o\9k3|$VA.ۅmJ.^+hEWo3$Js{M^m Ewq4`;L:ȁ5Uv9h>$1{ Skwu% ~2lw -Ͱxi&`%fV}cce`, t> (.].7Ob: 0|E{Qה lHԌ"CԟYD!dJ+-Ȱ㲶߇L09*uCJo2 Q!6s\xY݉!E{|R+oa^R1o5=ǜ*O>6ܥʃZv2!c(9`W:AW,gCo6^9X1tubhj7iF Y]xnj[doV= &_j&*q7 K曠,hKO#'KMF;ֹSb:*l8a<|:y<3â@@=QKNuٞikr:7=amPp,mOƮTv=RL7w&&n1 \wft_tmQyf`^ K"` "K@6@gYZ U Ub/1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF.1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id536i-1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (c]D?7 {?:fH\ygX*Ӿ/CXmż(GwjE3IĘj̩=s  kzFyrYY9'?,[{T]!ț}"09_)r|`fr$+8#K`|[<*b6&!i*,jQBIsP-EQMm-2>V2т8.V+ImV?)nv„yZtٻ ׆8G0hAǜng($SiZ>7,1(iuܞ-|M̜GM̮1PU)b$`=䯐#=wxU81Ħ4xZXBnc'UM2Yg*xiPR(*:U=) CcJql[8;6ǜM vhbx.?)ΫӖ+\ £qʫcXt|4 !Q-f¼W#N/v/_.a)B=ؿ\ꆉmD]8бÓzD} Gt$"L!ِ l7lpZYV Sٝ_hBfq*C~~Goy~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rm^y4J.p$i*{9~` M~둊y.Kn3m_:IMyj[-qBnNͻRdF| WV`V-#${O#SP嚡}lϐSjR;lP\Q:=Q>/g{)=ꑰzZwL8Bp# iJI6-&I{pX_8G34Fi hWByZP(7?G> &>[ʖ %Uz6)d vov@T훜_n8T"i>Pi#9\| ~#;C0:jS'" E GZZN TŁR/Κ axJDŽS&Ф {vo Z_PXЩ g⮩pPBr !ޛV-Q L *y90Ѿ2EwVQGxzFkb* ݛAg{wۆ{ ^i &UvƑg k4vbu/b֧Z|LD~fZܻq9#ޞc16{VI*/˙1,4aλDgՋJ *5 k{OY>?gfEk$_4369R〇R - 8fvFpX׿{"9d |`u6O"p1+^֜1.C9i%s|][X'L30Yu\D U`J[Λk.w+5<|ǚ"`AfS4c峾E8>ػ!CY,J'`CZ:9e4dNӟ~ꏍF+u\E'I$" >!Wf~IXSq.1$ё\ǥ}8c3ztϔ  g[׆,i^[44E_E߳^P)k׬4UFђRF L؝R0>ˡ͕bIdq\p\7~[%W;FrJ_3`N`%EKtib]a-7 CjwZ%o*h*V|ܤ&VQNl.Pl\Ӏ/qM((,K=`ču$=q W' ЫEX־=cЛÙ*򧇍[ r*b]i ]M kfCByT9cN+~~p 4Zc-fMup )j'*]v okU Ngnr(~ۙk* 9̒;qQf_InMz?'W잧Eu˜~acnx%' L;TGbh_PF 6.z 鎿[>mv ;v9l6Ms_Hܸ s%ȩ !si% y #TQpˀb $( ?N'n{kdw>1/QIE#l*nѣWS>V5 zW6ⅺ)ᔬ *ӢP6JiLYM=i!_WKg=VB=n9Wm)jXEg*] BmiUGu2; "`t!4;#@9DۊXx'b̒ǜMgJl!q]a_-K}u)sf byɽB2 z|ӟEv؝`uTi[YkwѾ+>N5F ő93\ ^ wG&űi : 73L0ͅ. at~cD;W\= .A9YSyݦ{$8ŧ4GxDLuīF@e5sJŒM]z1'&I8I 7Hg0=Ux{ʴ`Vrg[DB(V3Z7ԣkOerM?OqjDSgT;|w$ʾ7|ˋ!#&?N?Mb`)o0Mkr M;-ԘUr~b\쬆9k9zKFoy|o7ƼH[fW9҈`հ)RdQC[DS&R'Tblap$AqzZo᪑'򘉁㈮~A)ޒ+rPd3>ėT4uѩz*hC YYhmQl-S## aҀw-~eEkP`nuD)lZNWTVMACYMHzY6L+I 65߿ R%֤o$=i=Ssӆ^xJ ^+I_VL+Pm`&ϓ&^琞m<6Q(|Xj2 }= M߇ʍMJ1$O-9 gÂ߻H:A§[r7A) R aF [Q>5s͏e0p{``ډO[bإs6W `hvC/c=r* )M\<8bIcRq̣C$tfvM+ »\֌<UwpMO&)s51_ jq#`LY{=ҭ]V~f,FGE?W G*Uҧo϶M"B\}2)fJD*{ue®Y_قAKy@: cEޠTޕ7 #+-yŘqmbq$w$\1>E ўuҌndxIK~`ƘP#cv!NSsQдP1Ct=M9%b 2( rw".<A/n>XAmXX(r28pE"X AJV+/z*/tձP?CC3p(a꣈< A]IaCnr&rоXy/C,dbÂE꿜>KR,#CO9՝"ټhK>vUo.x kԇ2>ݧf{)pG\N~Qs#s*B8s!wjͥI)HTح<%!Κ寂IJ_>XNJt WTt6b;nRRiJD]̐$!FFk;%9wo^a'2:U'ҳB,aYgĹ-U=*Ie*X#X}& 8r>=Q"K?,g?L2ޮNvG<-\e?MG!/5&.sB yx\sBi04k/uU@NRqŒ :]1GH2z.;W@?Co#n.3SXZF3vT`z}:Эa%Uݛp͞G>#c{@vQQ$YW> ~j p@g?] :^0ElQ,Z;tM$ 5eXaBhaU#d58JD#{̊pTc3(LJ0V\jA+gAAJs'EdCSj1JwoX~C$-c&KW*@9" +1CX9  bM.t;eZZ&vELBN`# $|ɋSָbΨ'Lw&d$L]d3LtӰxM&}iᎢ7z.* q1B-&90W9>mW3Zɪo mx):*4t!%0~[O*3M]⿥:$rc0B0ܶ塒%u;y%D^ɛ/%H9pI.$pn#̠Fe[p?$ z+zm׵Q.1% -H^q.~"St HR$;9tdVFu+sDYFz*&Vr5Wf0BMbG!@<ߣx"/ `(N o pQr/O},.mK탷=L6aۊD5Sܐn+P{J+S{9<δ? m8Z29*"'9pҗ>us\cJ9nU?Fb_ E_}jC>8Pw*Ur])bDǎx#h§k3QW|^_ 6܅=/ҟC]zqVb+T.Һܒ?2JQ,\y>OhɗaGqGTgԺ_'=n2LcǹU0 C\$3V yM5# oG(,ǜpXՀ3QG$ ڨ'*10~_V3$pzo< d.]JGAY~h?*ҳ[ `X~u_>wpj6@(`ukj;1ʗ77/]L;༝޵+/BH] ^{\#s*MNjT YFW0wۭ) gYZ y | y\61;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC51;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id528A41M# HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~؍隣߃N,ʜSnZ7ԖߤY+z-X r!\іQFڞp-~@ HgumWDySYsC16w})gL꾲2 ^A2f ;4x03$3EaK5C ܯ"GVn31M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL21M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id532q11A' lHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! 'm]·Iq n[:|&[zºd!1HX|+8E/$TCK*$x'RI[FV<`(P 0 ǻa}mx$Ulp.x{0Е@O$q L~R}/bQQ1>_!$sxD?>ĠT̎+kϸfLVh0qTdr1O9_"`mU;01A# HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY.] vhZ[d (:.ͦ01]ČmDٝ@.3Z"I :Q4Ϻb Y x]-Z=?g;Feꓹp7E!Ыbю)Myg? 򺎫5(pbq,l&P8s#hi"p _Wʂh6u"m&sopL aXziVM|5dX, w6 cX8@74.`II72*l X3i”!^f #V'WnݴD1ȧQ*zcfW#"P9-3 +m5TN¦25)10d-+cɀ 0f%`+w"T|6,LLO}&ӈ<՚{Pc.7|SxWEN~M<67m]\Sw;u*QE$ lzuaI!9nk%Jܒt4b ɦp[.:O w?5MSN>>ڙ"ƽ+cj\>A:8(pC-FoL|kbn#Nb$kVĺV7.F"jz^$!y:$ n7)T.1 h[Y$w~{rRWsYW-DGT>ѫ0oTcl&9I̙ rn2= }@`uy [%B:(b?ef/GESv\LfkKAx;W-I߬u6J=52"@ﻟyO[ r^A!o@av-M`9$tN.rMXtDWhaq[{<cnyfL{&=LɻQlv{ d3+ڠ/U/XLQ x:G\{cW!wVHݝ$=GJߜ(iZ/ݵ sq`o@ZG ;LSGT)Wi[ 9|{V_~FemwQKtE:pY =x0S-jU!i[_}~ $oE dGF3yYԐMb9A~u-g3O>r!nHiZ8p(ĞY'ڊ THLF%"=ƅMAbnM3Pn#e:'ec$J_K#JNI@)Bw}̨<]OaHJi(L^_*j0kdXx#D:g!&u}ۢLC%"fjo$m9޴SO9'v* ݠm{5Q?jw#XoHlhl{@q2僁oދN>B\vY5 Mr0k&zq(v'yTn?Az "z?k9^&{oφuzy5B϶gs*.*k$|e"ߦhC# ; +{svޥS8qhOjsFn.՝SX6D~^NȂ|ݻRy$t̘(aq]( m!,2:Mh qACܔҁy=uYtsh'kn|zXߚF &WWôYgC8jme{\I.VGs/{3@9ƺK؄P7!SX 2#=OEm, > NŒ_"Ǡcdp]2cw@/jE#W1X&9nωM8AnPTiH%=U[ yۆ^C:4<ş!R=)/6&ǁ E [O{Q㴬(+/԰M7ʏ* M?G{`#o(!!={ Mi ay Q̒[Z^W 6wu9ԶCb7~smNz֔ 8@Ӗ<>O]N3y;bnr}a9vg1g%ϟT}<\!Fj2'TP$5UوMfXnAbs:&c\euѡԂcOb4<\TbpFڄfyW=LR RfX};}F0b<[sgz=?zE"/ocj9y&mDACPnoja֌M}k."/ V_tyR^pM^JfnNݥ.Va&WJ-TnlǠײQ&M]{8@c LZD&⍩1OQ$Y'XI ,$#O:bcڡv+ JЙR ك\Dڢ}PG$ ' N)T2R8ˎDq  Ws`ȵ m8f_0'Oe8b4䷹^Xa\0~ҧ60<^mnUmV5lgQ+씘;Sί`{sVhMOJ2ƤGuK#d,OroG1%ӮФ?Wg6S^Q0 z$Ml%gZ3WAs_B-xK eX%R,4B]NӘ' jPPSڻcMiG Yȥ7l;r()&\kB{躠}cӝ~)_ӀFk*!U.V6^]])'̇V=d DdxS61J Ead'jD{soBW{Kuڡ;Da(Bp5<ȶ0CvjuQpՠ ն}[5gzЀ[,,Mtg\{wRcӡ撄Hƣ٦3m‹wάd\xA*ITU-|S_ث /͐wMÿ%J &TH2yzCCSsu@JcIζ.o`Dsvr?|ZcksP\l:H]S1AUB< Aba#L}>kJ8wr^g)꾂 R:?Fk"ʚ+%o΃"@ϣ+Q?JFo'vRMIfAqr^78W5$v:|Ɖ+5BPfPQp[T~F,h15WoHq+}lHF'C57D";\!ۊV"8؅cf?4_Do[ Z"dtAvi!O&p$k0TwhVіoIk/ 4*LpR$::s@z[യrjb.UEJT) GI-wtPU{AR.ֲyz͍$@vjw=A`ʹlEqܠkgDvaP^QFbغ ~1GX[P>K:s(msxLW+QD4Bn>&tȳzRcҸף03Ov_MMKN gYZ1d)^j.Y[$M@>&bbe:u.߳sb$0g_#L\ᩥM+b0 Y) 5=$PlCT~] XYi PV+id1פ'ӥw>A`V>0>GDU$qzϲ첤^~C΢F@Ee T6[o윦AǺ549}"1?zr#$=RQZB:n?*F6d%"{RSys>ܔ\]O Bt uڤd ;Uh# )Tg1:<O TEy盈SrDU^V,2#Eo0 eIB#\"R 'vwBp?tr<4/N!n`WbigJֆ,.x2?0eWxH. /g9b9` іĚSNƁmMl%5 \A+hTڜx65_R?@I~wےE.pR0-!> x9dny?w?w`$l~V,& rA8W?`S~m%w8v}EA @EUPY.,~#+8e؅Z_Y] +I NMqfIkȗӀrR]rdCl(.W `@T S54ꙑYޓI1~Æc!tJ:BH^,'X\_xsK%VkR!%!@+Sd<7 7D0UeTȥ4D4@X7P;^Ttr1XP/9r:;x #3]*uN~B 焉U;)"E}ZZ[-*4y8qSu}[`we@G8˅_x؀?՝Aʝ+vYT)ȅW5$SN2@$3d}"@ݘz=&(h6w# <NJz8kzz$vs,6Sfz%Xf)h Hď4lS ? 䀤 ǽ':.BK`F\d]Or=CۿH^ ߳i ,Ej:Fcx@2D+/jRb[, % g>UZ!̤ea9$kwP25aôرS3SHIیuB*m-&Rm$ƜcgUx㎺Wa\^E?0%JXJUUo4&lG%Y|1$AGKckEzz [O}Kdљ'Oh1{SSU16,qJb"@'x5}e,<ޛK }GrinwUB_S`J7\Jä7 }ʚⳒL,5a-~L~Mdd3-;(WpEF^R@X@=aX_τ:*಴xOY`1̓gФogJұkґ4oM)7\ȗKBA52*~Jwyj[!SWԾ+ܸg:zu`$\cg?X9GtmaT-+ܝi׹!!]bޡ\n-ݑ&6c| J gV&2g6 *7pkPd5&7oW0/"/9ykQN0l4 ddM\B 9&`o b/#Aٛ ၒ|r p\I .h+#P+׀8*8H#@|Ы_:$Tk%vUe(5+4d 3BaHH* d~{G/ῇrsN#(.G+4d_ Cj v|0SbG! k_mt = 6mt=s:w"S nUVH إ-Snc~+*&IBR-ח;%;, 6WfP+t"g{!L`&!߳MFäVB,R \[YKz EfmnجU`;ؾ \ yA8T$[Z. i+sN&$<=ﷵqLS"kL:W-q0̓ƓLyoEV,cwմ]>Ӌ6օ-!_]b{(O, [:?dfDhXU,!}x0VN-Ъîu/%P9Bļϗnpo aՔy2 g ޅ6sù H.gnT1YIK9 %P(6L',`Z ö5}&Rܯ ӻ?iS`NeD0\qfAһAB>r [62 4[,繗P[4NAVdO ]m8ollN1L8[XX P؃L{ a gҰڰ"sGD U|r3h)^n1d pʪy,.^ͦ'+l9 NIGR@3>R48yXāJ,Vhs"!@) dѻ3;֤k%5ǥWh \꡴`jB:W k `6c<쑁%Bؤ0Vۓ(6;,:`Ne>[*%B@upyict<}Le*"QnZ2Eؓ] ̣<1&?1*0ZJ wDf&m&#k}gYZXmBU[*ZxPm5)Զ{= 5X +iނc>A!q)o++l"TMM'ٌqӾ#Z'>Ar6-^?a؅ƽb)4TtSʌUfqތf"Gdѥ~n@\\D rĿ0 b[A [Tek`O4V^ͅ.Npw0xWK ATp=W8ZhHeӸ,fiҬytE,ĠJG5>ǵaJS^QR7)N^UN UZ竄 'ʠkn65@K=43+m3g[g,:@y$tYxUBpMyh]̝zϊnoX8cPL6ay S #S>h0;lq" uF{P*=5 p!lK_XYEVrx3jG7ts%3઄dH[1@XUM_PAMϯ9Mj6vx|_N3JZm O~]F<|jP'N1IBHίH@PA#1\t=Ʊ< +EFmv FBՈ״JM;UagtKM՟>#1}]a{~Y>aMyә"ha^7vxn-Q|@E-y6we.5@)%n 3r/3kWm֩aHMBj}ȔkkRefDUIpr51`~ V)=[hZ>v%Ǎ.O?Q| Fg#``aGi~SEC=u@8Ʃ Ϫ1A/ E#QM<*=˃J }LGgۣ 3n5Fά¦r]W A krFWkټJ*Q~BQp>b:7 {Es(;uԶR6lgz_;3(z8'P;S(5XE变ӥneSXNh<|hZu/ HQ>+gz ~" 'e,$%E6p \Z*&)EU]7C[}[K~2 ]56:Y13N$M-n?1B,!ǕtY/30FztM<1bB_誜ts9w*.̄}yXJ8#=g Wjn1Iwj⌧SA3'IIP["O%=">zCR. lAjϷ6V*̖*?:}Dj=E.>ΆcX>u$v!U_ItN6l KkcFPKazاлaWޕ8l*U7=3Qem!\5ѪEѓn%J,Mjc_tOv3Ђ9s[sNKf׹_ة^$9eJukЖ_x.(,ql6X l@pu~#N wEYR yb0tXej(!J bb?+;AV0 4.2Ho"4`vM2? %ɈLDW*{L` OyӦh܇#Oh'=[˿w\J~Gs].f;آE p$"aOU-1+=x⼓:?Jތ*I- RgAy0Fs5I&>lL͹ 0~d*rZ'o ┩*FaN(>e9H&m3Gfӱ5^ ~cbe@az(qVXB>)o G*(_ޠ7sܗzǎ 1}9-uh0!2=s0.E ,H@s_i(eӶgap و*4-* ,T9ӁA@c]͸&gEE_A&xׯޫ|&%]7omHXZQ1ܓD7$fmL:\:yXlq fd9=n\r|Dz'I)!xiRW9Y7(Q[]_V/ܛӤ(%}29>1iA>ren>:AĔ\8ݤ mDugW(.$="ȿm/Q8j=F1 G> #SP AbvD``:NΡu 6"kt;\m$+tt Vvfj IKj^MH-NH=6V9r!6`=P++`C^(A#O+L-y.r[  s, Jqs6]x38>RC ̏rԍ @i%d73w`=1O޸+]CCi{:1K\g{)@z}GXruSm*\VE:s )NdXV`fxHet$l@ZsanlO 6B}"^%B\d,IZ= o@wx$^ȍf\sQ 2@sKT'&)%IFs(!>٣Ҿ d2H2s ϥ> CԵpm䩘`ZS!*LQ ypuyj*ÂB Іr2v;*[QQVgԢ~ x;1$YYRVw@ .Y&XJh0d!%--J蘩%`&O{@1ϼ-"%a w!6+wܝh2 Yb]^xPF8~&0mJ J{y7:"&Xer9m}C- #E}X$ ;:K%31 SSgFrwX2߻gjI;hF,?։UHpC:Io /dm]'4%ǭvgsuh*WvY8x惗I/l$ռs9Amib< I@TtۙuhN@-8t~gAzaȓgajU:pKw 1 c͊?nW8vfuE?IWā|@,-܂ ~YWTf8ĖM ߇۔BwM9XX,?0~2 K^Ɂ [e&h@\H7"JM ^ 6=%B)7YT0fV;1|%FX,xwZ| sn\k j:#i],SqIԽT̖$(LϣqƄrF IQ D)1=g3ak\}ΖNhX6T z48##t X;wpF/AQ ,Imf}wq)קlB3Uzcg7C[2<k֠&n9OGf"VxUXt;ŀ!K!@Br_)&7G;HN?Zٛa T5Ys LaMuO~S3 &G8ΏM8 "Ձ& ~Q|ɶ WAYNv{]=RUP!1*l h!-"iHVՑ`&34&Չñ4^'=<£Lli;RxZ?keFCO=Rh{,aQspcN_+ ǽwog&ЅW%b5w8iY[Qx=ܔq6Kb &%=+$nUoê9--ZF ʡ G2{gM}KC'O!VQ؎0s[&3>QWe_lfPdc%Hz'BG}թLb7O#Ye"9}.<J/e({P@nq)05/F\ln8n~A6Fow~H9vux\c< P^I>X׌^էg`4)(}O=^y9'(_kCq qiUVk3ˉi1GCT]E滬En& ۬4ȭRL!Wȁs'K~'|f::`jiDvYK`JV/j\(~tX6S]u(% 6ge&eNiqu괕Jf6U3[?%L:.pEr;tv엘(z#Mz8|1dС`46uڏD!QCdtBa4q鰲mkmb gKI6Kh?SKyQyrtuVId\^R.:mfF/19#>#jl;l?>m{hqSEėjv>f{\|0ouzzUjND].Dl:1*KVoWnrˆ+JCr[0O S|{UؠfW*dz WY ;T1VN ɲu?ئ9 nu"Iu4b vKP.q7^sBݱ4j? h(R-ScMT8Gz;gGk h1n=i\'Ǐ=LĸɆ,Ĥ 91[/5} Vb&oza0(8p`W0Yg At;sYQ #F˜٘!ۑ[4$Ŋs% '6yn3%ԬRLZΉOeaopf|"G 8]؞i/,4@>Xq'n ̑v)٭^Cv2dVFb^]X*PИ؞H8%1W@:Rp /*k1, 5:$_=],ٖRJ;t6+x쩑8-2eߋlJXKIq1c ǗZia̐$t-0[.tU8D.{`?XԨ3Q~‰aµ]e8rGgզgYZ]7 1;# LHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-@}H^ZgNr},b(b ,{ tk(hhw>Cmד,- d:ZWGAqѵ# M2JkysL+YX[=\ Tc(;1u_AYuWM%rd2uWYՔc@x|U [f.Ygq\-Bp*f+\0|vm$b(&EG-h`pIճY +]i9 2{Z0l+CߢO7H:5j :6! k[CE(%xP[J/m߆9j!g%:|aa0)̲\~35WO^z@Rhd`cGg rb$M0:(}d.x_+)o. oq&ΓCsK~PKp.J:B~oz5"`n{+Ų8JlBRy8kJx w 9V{0ɡl =!oΕ(N酯۳T, Mx"ZӷfI*y}eه2jJFϨ(slF0\^=  V7"~H,mȲ Ʉ9a?]أF[NZ Sd餫Cpv-˓h9TΎ@ҩ|40yov( 5=0&nkJ3cDmp̩tt*9hkɚV2p뼠>﷯ўi 'YU2sK4 r5"aXеۢm2,P1Ok#paL}l{b +I/䯼APw@;a~Ak$׷:vXp@3^/[["`z7ے>5!^#(/]I),qg:>=?[~Eg8>;*o+U+f'|m$e ˢzƒ淂/ :p<{ʼnK|671ZAJ.Ux"ȩi$"Cԥ d}elpY a.!D2 䞦qW&[,:yð3E$_G43Srccd2&i}|i)<@oXkWɪx>=I '0 D&y PDffN_;s ]ܨKL"2S?DhG#gqbH6.&}а35R?$H/H D8s||m4F?7ɽbᲞ :D7_0|ke7&f7x6& '²J[ஊ0~Y5  xӕw9J/U 0j.b`ojFmh\N4=ˣ ^NyJ86)4ϑ=b}_)GGW<QP(WDE7LԄ,aȄ-`v<F\~#<窝`eJ-;ep$I~xF2TWx Iԛ0^""in~* ݙd]F*trVdhD6[E7!рHx&n'e> 7cИopIerc@xy+YuiabrÉ*&@-'<3fЙՅΗttLԮZҊe[=;4{m#k#8Q.<(aֈʊOuc+xCM7dݗW;D+Tk!pˋ? .> O̰rHbYȱ -thwJcB} .ݼrÓ )_X4(dl+L$d Ӹ{ R  #Og[dy#ETCxߜw[>D?-/LY_;h3Y˅!ʴNn=#_.^oXc#Io @{R98 u شt`$&Tчk !mEq"`RH[TPREf 2AAm|Jpws;:4~23*\{{hXZb `M@qVeI_ߴty${pY({I3O${p#edEi{ɬ@m𿰁@,fgtoxܪQcרW4ٮpwвYM_oW2uxX˷RF.<Ut׮wva'ӉLذcMB|LVpXEtB;pKw1I#8rPaHR^%!'0\~&r9QT~tf*]@r&ؿo 2<ܑ=f!%7FN]::`zO^lDoud1Ozl` Ip.N0eYxSMN"TH-J ̕آ9kϟd:HoO=gy-!bgY6(7!XK&\UX^#D򱵜(M^ZPk; j*<$0U:<6}Bꏐ[I)) lʹ&q&X +v/+g@=D>Ack6F,; Pޮ6'J\A~緅8;kg%S&K@Q0B*߰1CHޖ(C4t]2ŸT#ڞNu.J׷RE;b3bP6<1kN*KQߔZWϗDʶd-'EtA9X_ yL2閆/cϗWEĘm1#.\8/I4]@]gyqS"| kf%@7 =;ʭAy}X^,رìntmVI@Yf{[q?gx&izLO(;"5m6fe&7ul* ^h_VT v`GOιK=!g$d@N_PwϢP:,?w5SPiöw.s08A\#aڞsvlpQ=I5L4ex!2])-th4QTj+e.ɒ;[%KRKoqx:]5.ꢚú ݣjJWЕև;$#A?8G:jg93jH@` ^7ضsEr {37YJ&w0f&)"Yܛ]9/@o(]Z *LĀo["s Aؖ$W䨉g2cX]f]%q/)pb$eUU,Eϓ[/ 7x 8KN#P'C(jϧ}f OQ[X5wEgIlPC邳 Y?nK!yDr*TDݍ!W(Q5B|O`i4txR Ěb\AsJIrȖ d(ZzbZ L8[B^'A3=2>H"jʕ5%T py&ɧt~?11*)ώi0֟Z&q+<}6u-KW'~UE.K 7\Q6+ Vv,XIjmjg>AپaUh(Y|:1GH>9g -$ʹ#T [HmXot*a qN2Ny:nSCR4!eBW:nsiRuw+/`ҿD }6~J?X9Rҏj`ޙ^٧$B7N G^+1a|oP:W/j{X%+/ pTF˕b1\7֧`v'J@#UKP*4ąt߭^sX mt:1X IGN>^ j,sņ62jy8x5Af=|eP$5Uk[wn |OCthꐍ7փ׹,#zc*\^mAw߯hUZuFMoL8̓VVG<g"'r>&m Biؽ̅1H))M(gU.su25Pa <¯c1 k,sfꎂa/ e}űaӜ ZV*f.H̀ {Rp&YOܩnI㸭gGQŽ#ەI)rNsW"D \都;4WnWG0l9sM/!ZfY+1www. cJ"Vѯn/t%TtdZ3]F