SQLite format 3@ Y.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  x1tۊtLqnj 3n$vS|~މ?z,+UyӉOhIX"M GՉp71`kK).Rrf(vEߕ aڵ !Rr9ſH''<jxa>VĠsN욲) ͣ׼(+,U*bX 4ɹƲ>9kȶ9H8>4O㹌F8VNMq:vOD_^)AjomZ]Xa Iֶ Z$bn фˏe]q]╸a 54ByZ>d-K.8b!(29(My;-Mc352=B.H* eRWb@`Z:qZuh=Q @P60P ׳h|usuDglh2ze1P$rFwY 1 HOL-Metis_ExamplesV1;/ $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ؐjl0U3S2R.I+H"@!<:921&"      8 d  > ` M   j%^*> J  T 'lye*d Ek& <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_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id.?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages-=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup,<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files+B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id$>1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages#<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup";1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files!A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex T1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texB1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.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 :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  | l1MA 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,.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|= 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 1OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ%u/)>Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>)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/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=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-$ɽꨚ֠!AhsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZMv2*kz* W(~&P4~\>D#[ysBհPPpb9Km8M}fj_BY \ͬL E0SbBHߟgY>nv/0N,0afcUwI.ʉ ^p]#cqΌmh7Y8 YƩMGxws_I'b| %;"{,`||V|{;'(Oڟ& Y- B?)N {S3^}5YY%A5(4A4"a{/ˬ Qѵ?j$sf.vkUltKH%bW˽vcS#bAyuъDsہt/ƚ꟭k[413!dO?I‹\r|Z hq!ڊzu59kQ6֩c ,x㘗h6fx\wD^Q~1cj=HhFAzm9eǛC oOS㦫G D3~%8&'2 /␌B%g6y_"ڎ6-u u0FI$n0L̰(IJn1'Rg-բI@_ReCiSѮ iyCL5.j'7C䜰 o)X';:Έh;#iQspe gN"2ҋY&5/Dq-u}%%?Af,fyRGMe>iixUhJH?ċf(OW6(Dž'JP9vXaaI !ԑsC;&β܉hjtOגWp"Dle+4e5H\ͦ55ϹAyl-SrZbY0-d+G KZ}VQk0 Ґ,O%#i&Cߧ G)8 h.@Hԓ@.SMDTLQx7 &A# lNPOcl.o99R 0(^V mfed:́=QNa0[,H@8>DT߲'@6"HeKshִa$3'7 +MB q7 NdO.21N#tZ!>nTkڢ! 9sf&˼w57uԇ`pɜϯfH?It-]9Dgv]hIV4OԶB_A :׾de[l :98G+G)r|'`8 ?ОHZIZ*;nmD9 оnU@!  APk,JC~bm+%|+DIrn/foH2l z)&L8aB1gkžvA.;%_ձw ),~s Թdۼۿ_P ~}'yGh%;k(e`)Y b30&ˬ(~"Y,_S$%5'wFߺ#,G|RN gyĔǂD&3jva:r?\(k[/(t]gUk0jZ!v!w H݇\:}>OV:U| a* ީYO"lܡ_HPNٛU)& j m|ԑO dCQ3l[EN(E]KXJܣ`i55j`nI?;-ܩ9N.5ъnҔv"F`<Nߠ eD7ˎGb|D-܍wvA)O$kF* F%x>%]%Zlkia/}_섽w Oq|JbLmBUZl*zbyb[m0 %3rah%k#I6 Ljyc-@;5bS6BPw3 Dڅ\k}%q-rF1vgDn5uG ,vTuuƙ\!qWL((jݩuI+'"9 lʎfmD.[C ɝu|PD{ejGT_^A-y=GO6XyXvcr(7.r $Y#VYi0Gn cȭ΍F2.l/>3OVA#SfUF$!V pسo8 ̤j[ր睌Re"̄p^ul W#YPJ@8zhkUkmնbO\JGt@ qh+SWWIfm: 7osbߟb0/8@(̜Kog t1͌npAny >Cu߽? iSl. p_ >iB7-GcѰGZ4(`QCH~5eU4U-hpSH# j4%: SP΂lqFJR3_4ޜ\5wk_cPYdiFN!XQEmFNUD!:i26Y1fjŀ$C.1>٢,Xf3 CgYZ c1W% E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxue:;YZdO~`Ŵ:9މ;{t:miSK)/Y 3HzHoGVN)9%@9/E3;9^("ĩP>+29 sW4AAX6ZcoYi8|]E(C *dMSMKN"okxR 9Pծ4$pGn^ i1gR@,QUN{J+N%*kBc>=ȍ 3fCzM'/ :FN$2ZTҏ߽)5m">hOhPCҐb%0a<Xk{:1wEE^MhBV%"N'XTvQ߅ѥ~hY?H2 ,8B+ۘL$GͲLBT<\ +]I3 @ jO7FYE5_5|hMla+4mӅ9TSq\0)ѵ+x=rʸ:Az )&T> R\NiY*! }vV\'2X]=K)zx1rS_UfMԡٟ7.}]IfuMs#1=PSDP1;G:cqLգō=;99e|ftPJx??og!ɒ#AIU;-CRBnyS6Ԧ?+ L.Vw S1J43`|0<줸lWZ4ZFP6:GG=!Xtr(W7dKː:j?| S]0ʸo3ssR^UM{5U2CvXgZp(+]P5vtX&}rl۽#\"13EG=5w [C\Bj9pp24{Lzy]ޡUƒkrçQ(aZw:*)򹐣šZvy2&qqxn67AӔۨQ4:M k˺&K'J4?Zn昕MpsB,VZ@—:lS#J2 V :k u|{ kKu?z67֋ÛQ6F~9FO,jqۓ{D]϶Lh 7D ͘j/nrۑl#m9O&_Ґ̅ʧ~wl )&Z>n: 5?q7U$`׫uAJ A2ʵDX~eҿԐN"I׸9P4WS Bj.~-ԱájႵ fq*NJ|i:S(Z|>\ojfB%o!٩6P:n{vzW3.n6Elt*g>gKqV &p dKZa҈&4x3V+A?$zH)a;X >+]V/œ&f.mXCL1w>w:r~'w?=`S푉bu:ɉ1nJB(` .x'&%SEW?C-Rp-&6jd)櫛>_:$}#Hd4s ` =` -c=RbY*u$:[ ~&(BRmK.>;' =LQPWՁ#Z+( ͼk~2 K"yiSdqO~Y<{챣Z+ <%qhXTǭ_*ϕԪ jFIw> 8T9#8~Bt?}+@"ա:tuw5_r%k̥Dڊ|vW&r/v.f*9^z=I;Vrf$hyqQu#zEtq@֢xV8.=ju b"L}*d)A2 #7e,}k~ex4C;4pASj p yn&F|'TJ:ٓPEC{:D,A'xь.2 Q!޺7 b=tG,-Xv6N$ȗ蜇KyAaitʂ y<Fےg0C::"p9+(̠+> U09ξl+@tq"e<*w1]0[Ϩrwy].zgN[gy@gr'^27h=|i)wB)~/5/QrP"e-yjn"*w8a`"+R%ߋbSpS]H#zM3 7ە1B W+__cIwurx_𙘭^P=0tZ /S=J6 LuQMnrUR0Mp7}_?bD#_ܛ '%?郢GCM+uju$H`o`O/bfNgJo~o#LsHn冖N-<(Et}`P}e7*ԩiЖ"yz/{x$v+5f8}|VZ`K x@yypu&c.b- $oC895VtM£/X;_ u)xWObfA_20W0O*J WHmfiG 8_-KAW[amIf\Q҇P1\,浮Nhw_;9u #w`_)Bg68"v|5x yܟ7蘛Zu@VEΈh-.=,^J kJ(7zD֨eBx$ JLfAlxv~i ph h1@7y๡]7$ZiYՓ γ|)pjNwt1nD#f,_͆pd*M&}*&e{`Px6oF X qAR֫#QLlԳrEydN;_| 9'E1l!6N@.F1Ko8`}y!~cFՄEkj(ߜgǭ#ĺe_)5"Bypԙ XǍ#"| 8&A+i\~lҤ;*eŠy.$`@f>0" nv+J(C4aNx}cx;ńAyT v14oꍣd7J(U(%^|ꐦ #`xK,i%wb]OB3IRA6Mۥtz?'xaPDm Q VL{cE>kP @ R0"5ؿ/&0Dq9awGЇ[VtQ,mn '{Д6 |ReޑšGRHsپ~Z(؁4|z4h!r\MI&x٨߻Hjd՟G0q&=y ?KZ4I<#V~.5?ZXe6#8Xc& nROs<|tFs`R2 ~J6!tJDZQ~/P =9Q2So,xgmr+žNj53 x5LX⟅qw 4QG sִ'meuݵS~22wGKZo?"~##V{ՆnD#9 #_$tlDn& @~vzd$+_dy@:6Q^º1o,S=E "#}+a}픞nhԩHx~GՙBd/+(v Cܷ رb#T즙Yްc}Ap鷊~ v$ݵJ ł:+_XtnU#-d}k ȷ/NXoSbnxЅ7δA=$X^Ʃf%[ӴEc:;| 5]/Lb:lyT;!*K$Y͔ԐšCQƙ[)rr#NJ3dg?"~+@BbU#Ns@F~U!eGim5پ4ݡZ@4`rIEěF@1ze@G[RM:/V`i6^-鿛o+mg n_C'1q570cpEh3{G6#Y8a;b@p?JK2.pRR7vPX0o{оpe*KY%j%:܀xtcW`e0URf6Ҳ 43ukH$T Bee4 N&>9u3cA!n9T(5z#:7w߃c*.oߢ EFb[k͌ˉX)g!SCjBt@q;!(Ñ}(Uu0ЮJOِܐDxl F& M֫N#ŧ;?yM)~YSL&Acɑ6$x9Yr6awvȭb!f}#NHcTYqCIOb:i  jil ŷBQ܊fN709Uya_R/"=WTzf+"fⵡ[o_Jie^UzF ?kHm&,|y,n;? ʧ,]{7xBU56)tqbZĈ`5<˧kh*/zJG`H᰷:Gp W{ӊ8z}C6)?8sC{^!IEz[RXx5g%fozmh(}f9뤙$|/ %>e&ѓ (CJޏ=^ OMXr/ߵS+-<p~T%{yQt*Vf!7C\̑u',_2}>n|f:C>FV7v<1clѭQ7`ۿ*f,v ˕ɃulY_,d!Oۭ& ?jic*DDҺEIn^!{W>a<8 VݡMON?"ĺ.|oD%lMd<7!#\ s5Ip [dL)i]2AǜuC}%̾QI^7d $WR4]iH0q ? 1qhٺȍjE9tS 034j܈LRK785deej`Z2hmvLm%;ᔥԜ4fe=SԬ|69(nQKnp#;ƬGڷ!٦Q9c}0yPiVۑ̯xjM g/g [n!! ƉΠ-[4D4|SU\B^מFKi;3pG87${Yז@:'(TG"kN4MSWF ҸLV3yG= L^{zLK3ۑO]QFǕ`i>9Bu,[ocTךPnzKXWR>8)؏vD/Nl*5^7u~=)u&H!K4#g(|vX܃[Sc2D[ةwT<4S_%QYL3+GWO>#Oܔ!`ǯݿSV Dd')+E%34 רx8JT 'JꖀoEqS1TZbyI3 HЎ#ie5 >:Dq ^ݚr/^hD8[V(XU$˯VLCz$P@E>ѿЫ'G?ҸؖoohPȂ U!֍ 3?!a#kEouRОėiu/n$r'jˮ`z/ ,qsr3.7f䏖Lߠ[q5+:Sr&vۡm>)&:TyKLȠ)QXc.: qH'P$tj__9T^@f ЬF^uI9CW*\z+e tlVmNh_=8FEN,~e4oO0D8wV7~ G;_OӃ>ZxNP y\T-i#>4 'A Sț*JxV$3?ZEkt>)TB`.دPǭ~(dT_/2ې uZܥndèf'I•WhR!LE#B:mCi\ +~ 5tWQr޹/&&WMIZ 0t"G} UÌ[=ǧ|9$mqZ:sgQ&E\N(à掂*ZZ<ei]ʃU;|hXaJyDO_~xNj(ilhC1D$tcкdg` L{(^e>osqM 9ڋg`u]TJmʙO(90ȀOEzT{䂁@c|)̵<^)&U۱[ԺWQ7 !;a9S ^;qoȼ,gzKh+X[5Q;"9#mzڪlqV&0n7ILLcGxqR TD.a__L"ڝ|OO#PLe8-d*IEb ]ۥ~aSB"*(k!oQI+EэȌa~h`BkSǀ\NwWCE>{ӂрQ<-sN>#s8yTq!q2k:(PeP 02/zE1ox=S1xcH$ĪH+|((gGr^ۨ(0^)R* 5rո䮝ֈ )y+مKJ淗+c{tHt%ɒs\\kȮ%_V!e`M#]28n;%F)iS/oVN'f-kf>+#3G-C!%go$_xY~>  =_08]v2yx:^⦤nM.7 .{T!@ّ+TߞԱX&%#d{0Udэ| n8! 䛚nM<0\E= lR2=#zx%Vwuwhޘ<{ip=Zԝ4+)_r9uD&tqʮp 7زYkU) tY·aTVBFĊyj棉~T%t1QGحq4 a+ٶݗxe^`e'OJ3Ɉu#|{m8K-ৠ,<0Sl|*=N_LBdĒ9`*(C+&Mby/G'BשsE#ru EyU ''w;\%FG&eeI5-ڹ$N2)Qg#9P~3mP`-L<$Z̝#w9>4\gYZ oǗ9nS>iKnx|yސ+C~ ·k`^jߺ B$pAaGئ ;f)\Κ'xIpq?vc qwp,_YqcSDɦ F1w9=Q1H6~01߫} }cj~6ߥ#yjwlFكV+k||׵M$g6ȧ]qed ;jkv )\ Þ/9A+Nht[/rrpXU+́)oC3gan bɕ (uQdGWmwg5 & G(hecRAk)c4JY.d*_&u3w`5Z+0jYۛp Յ挩*S*)mt٨I~~X?5Eϐ#pކD_j|+^ @SLPmj?y}bF>hNӈ`9f])ᩊc F*0)JkmwɌP`)ʐ*O)Y{%Ro > (m3G>ou%Ż} X+S D/,׹Qc~Bq.&?HgP{ Vz oK|bFHnL__w}tČHxf1n6g,VZt$7ܡoG:œ3v9*G:ތ~iK-! o8Q6:2S5 \R!KL،377*| (dToiůȮ\vVbNk774&LQ2 gk¯sF"~•.ΨjySaFu*9'V/`nRfo&B"YO3ɓ`pšPmͿ9jbhx* T~Ƒ>]lƇ+j&d/aTZe据`! eiD3_[xBT9X[] eVo\4Սi~qX _r:7J&(@/VZtAak^Oq?%7"Kto ^>iz@qj8 e~isDUpCs}i|,PoQk8wdgqg2Yg+$olĆƊ`H$Gs$ ']H.LnSGf JD3)QBPtbUDڪJ/'(ƹCЮ(t˔C16Dd6';d-Zs;bVOWZ}iW Hy)]Jc|ܩvH6vNh04e19go͏O0ÿ -z2+[Q6k6dnTfжR+tgH⹴X} lz۟&v;k Bvsٝls͋ tXwI!|؃E."WW l]6 Fc9ۼ fH O4*?-^.7(/\O;, G~ txcUzVwvnB.*Yo_F ᢧ$9G 7kF~@AXSyݓwPJ]1`(jl:'j 2^`@o8U8䷃F_a+*8uP26>Of&h{gV!mG2hJ-p5Թ629ߍF68nN Eԉ`Xb2zHVm@ ƞ?]2`/`ݒWԄ؈!-ZmT3TxɃAO.,zCH͞UC7ɐie-GuAK-eqZ˞"?KGVQ4MGХy!#Q // ߸zQn {^ZT|G6u2 n_R V96¤} ]% ȣM]KH%p[֡.6#<&*v(~T-u/mkA$ɡaj ]yT@oP@/'t}4̗+eΎNf- &9Zi/窲"o PJOyڈ qrIfn͓H4 0ս64ĖsbPmv|YʟXzF;4|]ЄHle_~$kzjbx f",LǢIAu \o)^(WH"w_l6t'D'OCIgoid&ywM0J[vh&#<=A8~ӇBJAv,f -ũ?q8'XDHgJQ\Ib% !ZҨc|ޞdmmkӟ0_R[TjިtD>MSBDKoϝLFlڲBcUQouB 5=%8Wa6aj9akP9u| njգ_QcRFi~X@3+Y.NT-^Z6zj^^=l*`0i&lYOkI7KkJ}MS }4LHu-m! L!d/I&-4S'OGq`&8ǖ{0uſRkp9 U'+3jAhZ]sAfӘm0}ҝbJoӏ5CIDN c+`. D5k63pgPJRCAOISOO_K]hdJ;'̲hPUƵyiv/EbfUC|W $!AMAND}j-}%GgkaZّ?PE~xT¦Dz#j`ݱ({wf0i-!UF+ҷO7[#z b:E( Fm#nz3 f@**/ ZI]0ŶV k9 CkzmLbI@کQ+{mFj,[ nC.xu2p2j(WYM޳5x[! x";Զ5' 6]Qn,&X2ZGT؅}^K>݌^iFSOW< gJ=Ii{xRCcӟM69.$hDCú;nQ j_)w>XŻVQM1 OրykyQ=Ʊ* =R@/&-?u#hОݢ32MǍ&L39g*Eϥbe5TIB'2ɀz,^I܍ 5@üօ1G&{tX6qzgqN;psqw2u! ّ+f3a/y2݇$b ͊Ba ,Հ|#ݝY-7pOj?x]m *SvG!@JK_c9RX#y}XiHA$(~TR$HHiTk^GսxPBH{횴_<,6)hz2?RT)2|du܇ 3̫i=*PA d g@!oЫڇ`y84=B'3&<=)EaJQ`flYMyRYPVOk$0[rz]뭆9 '+&z4qZZ9LbsA(ylGPr]+Y 5p :YV u)i<2$.G%!}%fo0eIOfkrtxXAqsnh&/ԈɽμO WT}5.U( RB PWul Cm$=exŧ= 9MڈY/5J1nZCp%9R^έfJJ(MG 9mݔdVt)0n?9jQJ֫[Z$eS(q\G+'>4}YRiJc'[Q[.99Ku[Bз Q,;NIq 8GF7!B巺JgpӋal/w .PGvb6uW*c7Vm<6) bU?DIݠ}Al F* e4ii)q~D2yoy>z"IM~֫B/Sx ,xh  `CںpG!32GhO#{]3M ^0)i/Ϟ&~WI!6Q kƊL:+iTJH=4 v5kpY5]+BW8r8G=`z? ֭Fo;\(ni?X([9ހ8w,IC*ވ1-cmgȶkE9?W%R3>wix(?8͙UMWѼ4[`7F6h \sm> i+iV:w6k|pr>\Z]!r;j4Nr31_ =I/7s$}(;PѶ_Z\q>f]\Zc`P^`4HGd*!X-)GTF YpH&8U&yJ0@ZMR݋\6$9DF %,,Ѳmr!x7' | ET>8ĐB?cԵa݂KuS+WAzմ]ùBL%X(~sW yn C%FG0(HR0ڴnEȑ4RT!"BkL@Ux/3 U9RN^ ʒxW׎&$a|jn3 w*B" wgRvx%f1@o!enց4yK|ZC1vnl=nlא[Kcх h0y㱛F:* >ȩ }W%&a87zh[2V jWl<)pfaL`ş*ڂĴ~߾'mOHj#lNz[c!$fʈ\9|^IHE)2Y>x&W+ۮ~9aapa0ym>бCAT;&m6[ÿLPzA'::s#)V%f2@Z<^ޖ JeHf?#$hҗA> m$ׯwUAӤJE"7HiWbi`vJ/=[%̊l, v\_yi#>NE߯wFol _TT/K5UsZVgdT-PiҺvU(oC.ǖlKUt j/Ҽu˫b*JzdM %,+Sz ֑oim(jl+8"Wu CƮg61!4>G |eЈgY-_ ~(.&=8Xwa4gr:vƙVaTC0^s 6[*4%RiYQ:$h5hX29wH⌴%k\$#90 LK#$0 bU\õRFrt}ENW3 .s^FL}8]H@r>NӶ;D#w,&`5.Ѕi;^. $QaA k~xH$LC_ҫ7!RRN'|, ,T-UHp7>.뎀<.k{.cݑ,a' 9$l:cHj*3=`L[gq${}RǮ.d Id*e)vEI\+^E]uMJӄbXx8n0~JU5)<(`]]4P]#Bl8P̮Oܡ Y +@ѡ0YŎeLbzB\Ɥo; _+e7*ŷfo"9hX}2PҘrD;2WrJz :b[^Y;8(qNK+yr6Bزʂ6=#"}o\D9m_vB6;zGzIFvxj֙jږ,qM3{n%MOA͕ Ybe]ڀ.ǡR6hdg}lv6%bp x薅yst̹?}MRڮrTLWލdF#K$ 8z}n=ulsy9ƻ"i6Hz|q ~.N(iP[ Xrimh6(+.'OV:9=Eܚ-XJǿ1cB{R' `lD}' ¿1wS&Sklr؉P0lГ駁74)v;0kq6eVRQexe=Žw!tbb$Lq-M*Xt+.K,_$s^~˦?p,Kb;:qj]srZ2S_H Q`LO3 z葙f(æt>{jtCW|4_l/3"YZVE/־m"G&9Y:GhI'lDG&Nl_*hcȍUZ, %$=a3 00l@'WZ2~5rv=ϘYn@j1-Ӝe{0F %g:* Ѻ eYuFʌ KtN?ֻv6@T7}՝ʙhfV^ |F5ƌYyu`ȧ]H&Q:*WFҐu|("6@w(#?^V E*cH!g+R#9@tgq1-8qH Wc^բ$:p' o9U@\$%Eb^ 5j(,^Y}\'DR3E$$}u,\ܙQ #WI0#zVDv6u_9XLؗ6F}|fz5!@㶐:iStvpy۶`*,b@NnisڧI`mG4#fJR4&LBs# 8mq_'U:The]ל.Ί YvZ](?iA`%IOϜ,$e kc 98>89a"zy#?6\uxdF=~3,cJ!1o_pRP;wj=0=f@տmL6I Gy ,nKd؊>sЌ!CvCÖjsM c>QۮC}TQe@w奵ɶ>< &ƪlk 'ɤNoHVx>K$;0d%9Odmq4qֱbLmie^!gXaN1.}-!nOe+xr XcۨTB'O);ѐyDp\c8茛UpSPx-%^q/D8$'WmE~xA1Tѵr:ϽF=z5>vh;L_&!Za8H@ Ž)9;"g8Ӑ+?}Kc:v0a &^eO*0S$=ųx [KW8n^p\w%$څ%IVqxA>'2 izԅ l{5*gYZ  % %H 1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6:]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4ĖD =eM^aQ 3zj~ª3"5umB#xIBp~lzrzOS**i I3k3%'2m{wcPC{oI6œ7f_@!a3>S:tL絪U7b~a>ʢ %cޣ Q"'i/[1Ѡ|o]4:|l<5( 7ebМ &/Łu.y~-".Ab!Tw2i ǞI/y/[׻9~pbj/K@K3 oS)xEΨ_2$E6>a9Y9'`;O°);ԍKMS*:Nf<6n*GIϯc]deB}ɾd(KJ{τVuRj• [I$20+ "W&XfD PmD{"u6>j{F+!os)c >{:2~]馈1=4 Bn ճpRۿx 1A}soth-:ޖ! P5D$ Q0ÒmG|Q &z1 ZgH^dڹf\aR6PTeҮR@s@a)@FnHѾ 9l0mPnY: $5b| -M P} Tz6FȔ$SsPp"X5д4 l,WL.栴l3lq~1oVu9žnCpD GW[]ovnL9_'6' 6)ټ?v/K#R\p11x#X.D\: 5CR&27j8*Ai۷2gi# {4n޵ק1bI^`>{_r|tSL)OO=<~!ϒNz 5:7yWk/ _ټm) ┾PMrx b\^$VH_pC1&E0):;/ nEo}^)N6x8Py $V2Y,#5}L_ԝ}Q^FCpg[E- *ru|! ov1<Z\X%w/Tn߾7oRZx|$l /yPgCXUDfG}CpRI QdE&I]ۚm+E Tg<OMyZDk%`<(> uWnk,4HjEK`S긗%5R}%_MߤUMG:dحddw`4&`$$]KZHSޓY ^:zt1CBTך;x+qmw{)-AeНX+a_1xۋmB`?a3E}艌3I~z$|("={\4Vw :`gC9=+L_-9 7Aw6Vmln2a  d@[AM Q㻷ĭkjݙ`ٳtoچ0JRKICl}uU k:j$x֜qGdK`|1+CIL#gR-DB W-IdeKW}IjҎ+3 8*χ1]r |Ĝ(J_L_@̽'oj0wkOJ("aŒXu)K9.̏e%tmbXo_YS+덊 Kq`#֚=zjskKMQ| Ϭzn gc 2ߒ|cCX%#X"Ms[`iht;~F}ɞSu< Rİ\4j-MT+'~87Y״>ѝ zKts ҽǸlG @iT,NuWr{*dnu T׎qYVE7C7l60a֪FQXW-j@]ԧZh}C敌,/lk`G[_yĩnE?Ŋf8IM:ʷ 1&˯e̫Zp׳:!Ujk(-Wܬ޷˲p{CIZy)u>wJS5P;)b3$ފҘIRNOyQMG?HJDJyyP𩢣b@'"Z) !@² ~7uzVmftN\vYk$ޙQ~nK0˶J?{+FI9ꚇ-n ' X?\L3S\x- oK>e 9ܡdF>T=S~HlK*=$OКĹ%9ED>׎tDmVL|OIP(3N gsY|¦W`u FxRx!G!Hj}νO{h^0\ 8qxZŢO`f3cuBYvFR)"o'Rn]h!{TY{M݁@LHGV J@r' Kۦ<'++'" kg9ܙb]tEtހ=zNf2qu4d 8%l|=i=}m?{\OfK#>$yA[`f`tiY[Ho_Hhwdh"utjˑW˒ _ҖeeDp*jNGSӻCkj*82 HknB0J/"NJ*_UIu],vB0tDZB!4ZUF wGyYQ[e@1#߯Qq)9vgЀeKG=}*WEGԥX.R/Zt:L/rؖ>"$igyGS ,C\̧;&Ձ9>VczVU=|Tgo]ca}B=E$v}B6W;H*t\% 3(8YJP~/MR% Z_ N9AE氃} <*Z# * 2,V,?缚Y#KB96.V_^,(փ+Wy3=%w'J\4*9a^&o0yWZe] [RXI҈, %6$TPc;DWOV^ã4.zueD?=AOϣFz0=f(MckQ#IZ\J#Bk Z'O*:$ @qt 6wM8Qg,Hr1znVnqH{^G-:'+=˱NSsv ĥW/|>]:%Վl?f|HK?W4یUߨ@'4Zlj *2Ԅe}<mrUގ)MgɲSw]'sME.*})CF@5=r@M?L 1U7%f}lbύ2GDP%'i簉 UoRIr&U P"uWL`VZ8=_TST)!&I@0d[엢j)JL~0qN.x.,;J4𜄕զ~ -mQ싔LHR}O=W7w裎Gu/FA]^ߔ,g s(d c\48}Ԣ^8('ֵrh] 3&;~ya~&F[_%Q䴭0ƆHyWĖٶwTkwE ˨0hb8Ť9媪^N`L*q<.8+o97͎(N8('1LGkmy~|t8lcO_c* 00_k$rRO; AG)W_T5 xtz<,n~**YGNԚu $Eix\͠4X45R~g%):Pjy "~sUpZ򦃸ٔiJs+~86q~^Y=-f>E,Fd|B)eln6uk:R>Fx׳q=!}pÚ+] ئL<6".5^ ]zvs-ŝy,!gvJ"^pt =Pace'a,KJ'[>\C;JmJD_QwMXå8td6TlzTq#6'8ZgVK7hƽ݌\ Zy$'CKWP)D~TwK=_ì80=smOUMcɱ4'xQ֭f TSl`U],yx=}M3pјzB90觤r{ADE/xeȈ&N#gZߺPs|T;`X?xZT $'غ\4V9c} oq:gx:z"ci 7݅OU*T6{81:QJu^ԿP(N3,u%ʒϹ>$V):v:|HW4zuKfsPJi7 T'>WtkÉ@S;HjIubJz丄m&},G6A&APK(<|khLD2uh7"C%p:Opd;Npelی:kqV>RV c"Zc1vXLRL棓CM{@>ʍd\{/4K@-=0Y9`f_|ʙ/⹔ A1v#dc#ZvQB <NՊ,X6 nN dOZS=ovxZ= P^=u5RYUS֤T:_SeCCe)b?ZSèW}0oB؉D1U?KA-xKyay$#C$C} w),񰍩1|6_qe};w=n>*޽j "&OP7ǠRSXB>}{O]P?Ԫ<^10կ`>z:(WHÛXrb?J@<4V ]v}tbplo'_ooX>b-o#dC[O=IBzvZ_&JrF(c AA/,Ȱss8]eeNwtoeI3鶭+#4Vg6'jMƒ'QDXchJ^ 4M(RLy9p b !?w|ջ:-~dX[;Y9LҠXFU&ذ 8x@OAٍ]`Y^XOU6!xS3?Sz_~wE 縷Hm(4(,ič#[Wl]Sڞ3+N7ҧ-:ZYb\2 Edu,rh@5S iA7M DA+ -bΦ1""xY!0˕*A/{aF oFQ$^x<:r1r$|*'b|6 f ߔBkk9X4ڔ$kenBkF(wg0o$̠ț~m@o('ץi.&&.Wr] 2R D%nЗ;e F&#[i0gV^֤:2"CݥեQTJOHXwCWԖ ^ W{ pIIK(gOPJ\B6dd{n{X]N2ͼ@1kD~:fhywbIdͭ{ dG_f%3d'W }B,ؚ.x䣀5 $KJvIi 3Q!By90rhBx݁/j`B\Nn6&vT0I}:ۉONBޫHnVh]۩&vK(oaWNEMF;I[Ns*Ғ8KeeV$޶i(KļHr/ [*N/J;nYoDo>ˋkq~([mTڪWÖIl1պ8Yau'y{$K;ᱦM3JxU$+9)++8 !g7wV+K !0)|J).{k\ښL6x*)CV>x\ iPdJ"C_)˃3:Qj8X4 &GcK+Wv?S3n~ytN?úLgIIcORu@աIRLրT[Ph~N"qaj4383;͈/jw:s8ݕۛAf>muș d̮ug#s1*Ne @jN%lXcV7rT]e%|'4w XLG"ݥn?LMד{Nz%Y WQc.Ud_Ssc >HW$@D ^Vk)_/p`\y {Lcʿ$kijWo2:~a!Gc A+4Xv0g!5L@;U,stʏz?ܩ,8`DV:QWU*& l76OwDi,pɳc~'飯fg6a|P u& kW*rּr"Y!h{ .ym@N|ݪA6K)"}>_(0$9UΜS9Uյ]L}vNo]upm|A0߂>}2 ČAiEILP [fܺ ATKn(­r!W9B, |Ba;aެ2V kW{3a~v`Oxr0#54)8:-XxFæMF^'Q'Q Zc:JD<ڼ纃{Ł /X}󔋲!3qj|YV+o efd=6b]#l6M&B|cs-C]Ɛ*V`<IekI L^rr⸋%lhqjCdգx#1'o\+fr@zP*~r f| J2QhEc4m%TrZ-}6- l)AAw Z6==t U2q/kw>[2yu;>d5Lɚtw-)DDBT˥ؘ ۖ"%xIcP/{ýCR|c;E vPW/׃`Z~"Q@RF)v=D+y'E=ս2qԿAH@uX@ N>ҢIFGP-7o- mѱ8a+(ߪev ]s~ ͬ{jIP]+k>9#ZKo2PbH:;&gPRЅed=!=k1Sv5mB=UW`ʶT5]7`4!e7ȴ*d a[6} װNMP!m@n/>)Xh0if膽\5;s*]AGhPi`lueUp{N(@2~r^^:?C~1.fڍȠ`*Lק%L'!K-3w,Ɉpї/"lpM7!6k_kWiGǿh+ z3ZmIם.Uuǯ"vw_amg Pk (BJ0(` SGƑNWyfApYs>a5= &Cm:hG2,Rnp°D9" AguL2J=7u._0=cG6M"|*Q_(:u[wCb):g<VA.gz5z]֛`DY>eDK֦׊bGw6ךx]l0T_QoX`G=@;WL֯E]+PZV05 pire k3L'z5㱥2VȊkA`+%N,\5ZodAT~9hf]XaET@f&ޤP6Җܸ<=;f?4bIƃ`yH{;:m+{\U wYm|9} ]mef8mY˙e{[>wagK<=?>kf~oSw;f#9{*QWYCZIaUYKKJW;S0lle/~yTw,q!\1?&lJw^JT&J\lnIC]YZ "Jwvrjd x˗*F/,,HKvuYByء8 ^U/sW.tHӏԮp_K\>/Z۾ml=V?mu1a= N6A -G U\N{6h>% *p89%j9Td^x a9k16:"QybZqyD}d~R'ap];pV0+F:)ݞ1HƳ7#άg:fLXU1 H嗇8 ?LVhe8p4)7Op* dJGSbqӯ?Ѣm[#IMZ!ϐrxu-m St;˙ ~q9ؚ$ x Jn4*ߊm/5a?B-<҄l<{5śJMz_!nqmFŁY[Vߊ8/`Ӧ2YgKM@yNeE[ K[Vx28T`!9A3$I u96$qϢ׳1 i-L&LnY(ƾq. KgTTf$!rk#&mJB_. {&;PT ӎ |QkCjEC<n\"̋&j sИW!Y1Lky[h-Wlkjv&f5+a eKYtcgi:DZr{Z}̵+kB:}KȐl1;Vڨ::ވ )Qp:W0.鑦KG]ʃ|!vɼ]C."T$HAH~萱`ZVmQz\ (ǽcCNϖD)w r(1 )sO-ە-)ߝߓ cVΉC;Y2}G1'A>c7&+)=r4>`&=y܍eJ6gCȻg=F1wr+HzW*U3"\g0~gQtqH?H c{}YƤZ):ьp~V|灺q kW&չ6µwJbwaaDžuLѳw(Qri)[]ӎ^jBf݃m`K$@Loc+n//Z0n NoO)0ᏹE|(m]OA0.9Yh&ێI56E<GZW%yPhmZK $ͨ-eROs2u~*Plc3A&N"YRUs5wԈ,8bdp̵QQgWAW·^è^GD`y` #WvQ*[@W|`3kЁTG`QQ2,Jɏ2PݷW;|KmP[dQuL@v-iMT{{qdzOK0 }b]TC Eaȍɰ 27= ?AluHo 8n4ƒ<߳ P{B5ْ<XH0w8^ vc#7gáOʀs&/qIL>[iW!:+*XRWBrB6rrDXUB)VUF/F-0*WD)XUf5/DR2.E 0, ">CV8x`C ֆD۝Zp/Ad (gSHauFdMS9F b $ f%T)bLx9I[ euCr5@os($iI_`L7ů?X^䯯ǫ:QSOR@56>q$m3kawHT>ǂKp _եRS]]+{lB`^9dx-gnX] t 7- 5E)%1nE9r7_bU%<!Lf~CJ3qѳf4J@}+ @` g#ye3R(F:(fǦy,Hl}TD|:!8zG]WÙAغq5 -^7Kް(m6hgI8Rz trPy?% | /G"Ĵ 7Vw ۽|c|rзlgYZ uux 1W% dHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&?TOҼJ|Z­nEŏJpIq2OZY1cw|CW)~tRkrTVoe&B)ќ w%{ף=6e6Xx#p2hd^!x˗5PDao>赨>kFMvleLL %~A. V́Had~ᦈm:YgvУO4Zcno<13,ϼ{6}V: :{`놲!1؜C|Hg:N ֟Oʤv&l KRԾuފoiP!{Z⧠f ͬQ+\x$24 [#?w>^#X*88,W[K OèqbPUf ߳-QN?K:S_=*+/lʲ&9ÚghYglB]QQ ӈ.$|&%8*ϨFa.{K<]WwLW@W ʃ>#+k(OD5ڋ'E#1QtCfْp+n3m>hyp+y6 LPm ' RMXs& 5wС?atuۓ m~aN4|U !:qt!Z uz!Fl@~ ХzŲ-~.*QG^ ]DM[s=ObqBT':1}{a%Ȓ98,d&D,jy9gm.!N߄:LmX)<Ϫ˅{ DB0RauҦCvPYL"GKm3'8A}Ӳ'[Ë#;h.ֆÑ`qA<2,\Օ*UQ>TcanzSxW\gYf&4HҴlm3s+<X1dޑE<i3.Jȗxhv${XD Ae|ύØYDgVä1 #.7o+ǃ ݑ =.;IS}cf I!Xnl+eYErm/V k&}}0P+~Lkп 8W+IN}ȗ1!H}@O9: ' ,"o^P(}~CC;vZnR沋T9Я L(`h:[fsO0S"7=1ʅ=>TS +BŽRٚ1-jjXSOq~L7^3X,K.Qa,/\wAq iB .?N?Ƣ*T8+mxC nN!Ԑ$]莵B!IK96{ <5̄s 9FC'{bB+6ޟ/6.,l)~cv C|o-QFҩOVd8 ,(4 byX$iGaW&_.*V% /U&UC2YD,zOn'[YjG+ʓN~K;`.k|v@ZD)hA1g5f 㐂A7IJF`5/4@t@%J}Ig.w -.Dt94_jke.vҥqZk\"Y׎%V>ڵFӼ˧y3|3sbL}C%_{a$FI4mBLxi:R,u+KX+yi:F:NB`SkbF&S+”8b,AC$}Ͻ\62~T j?+$w^"J11E^xm |>)6  TC"ݥafAv 6TȓCp%QهjprrMdRhGE ̜YYwdϛݐ]~]D-+MDBfPxK\ t~|AJZW6{ Hvx~Qx k0NXAKz%FF&@d'6MannFEA .H.zL.0XM> rg_37񏱧K˫%g߳Ӿ5uB7QFTxNh93qA2 d~IckEZ}oZLb;Kl݌dp AI%/Sh$c,? 0 ]]OuJ{A^،ǔT2rkK)MՍlOӪi`EmJr)qθ+qDZ("C'qH,5aZg_mxP2v SGQf QcDYWT&4^dјQrݓnԤt/$M:ӏ)fz@`!vW ĵBs(K1 A{}yLnB׈Gjoq}3GD|a_?/ʶ=ti`ɲ9Hpog[ tsx0ŒpOI`Hݳvg3zkKNU49 YN6ṣY[9iɎ-|%T1='Hm,ɗU),ܟQ%Džy I?G QYn"GK-J =cCmL2vwsV/X%xE؈ЈHcx[PHO 'T==ǩ դtSz](Cۢ&OS >lp1\uf2q7s oѸ j?z5Er\ teDZ^V|XS̶|DCFc+Z M5{Er^ dz"[Pp5ŗ=}^ ΔT(&mIEW@&rYq+îY|R@ 8- bki-wȨ#w k85PFK 7q-v[eϸ?rP(onPdfLY0 ,+ _(ck!_?֐QM6J og_lt,:Bv ?2JDH~%ݗa),br/Ut;?#p{[6 4X K%pAp݅n5KU~4JA+lgӯ!&LbG /ո7z=#+W> uƔ|JԯRɴG33r28\PfjӚaO1߮o@r$#~,?;xR-齀eu`Aw8zJ;8g-R.:?Ds̽%`?9_ S8Y{0(z\ 7czv4v'\+e2 Eufhи-&ڝ)TKsK%' Tâ ;Xj7dmi ]?)cZ-6Aq*؛$aWI>EU xdN~KB$PZe)z.̕eMwX\TYwj@ý)$=2b`IxœVo%vP sL#`ZG`$WW>4zU)9t|oՁ P'y¹xݳq%qO GʮΒà 缁rX<5%s]ly~r1}C4ZQ[0*~;6Z~s|)c͠qI {#wNwՋ.̾gku_,N""SyDu㻬%* %1(%GjzT6WRdvƘeՙ 7,w9\VLTG\1ۿu&Z]>:,7k?1:pb".:^WibakrV<9"sݮ2 ooHlh>p!{Rh3Bh'U.v##z:&8gît͑4?ZXXcL$ ԃ0֢7.TNAWn3Y0N^opJD3$C-x\,=BkDrWcg 7SiJmAv fagM-x岎p]?8w )3äWtKe;oR3O+&EӵBFLCC`pcjM'/_`3bUhSBg'Rңq^%z`ճy3XRICEeTBCZ[=8&v$agh H |0L.%uZB}.EV;(ml'gl,d)fGirZoY' / u/7=G3lT0觝q7hֹÝuTg<84~ӪL;镮s^B?\d$]N%6 & Ai}UN3SvCK&$y;0=/Z uRo!ʼ. ՘0̓[ZA{-[ӌ.VfYiOlO\n, ) y-4|x@ƼNT o2{;A(M$yI&(F@Ϊ2Ct^4TKkD5Hλ%ZyL]`&HY-PdT\ͤs{z.eHOAa/ zNLHV#wi0tHS錂MuQ)E|5+'lۛn"dEnY|Æ_7qR;uqkC1z dt t<5umY"_Whe}ۑC!oN2[ۄnY믅eۋLpRz XSY[n<\ Gem-êJMA]=}jup®:%ze߈1cKěpC< ZAjƹ4jzznle>y$AZ ~ +7-1d6GŧX3Otos^`~Dr93Ys I'&pWYa%XJ"9,9xpi1t] q02P Gح^n+Ek ko+ŠA"pWl_|dz]&пb ;|r*O_S7|6l]Xr|5pu@Fy%j ?uʼxq#n60?c1Ѐ#`/^0l Ƌwe`DJUIaX~uc -&e \;3:IqO5't!W?zc[8>W6M6#ځ NE>~$Sll61$*'SN|c{OR=v&\dCX 9컖MKOXA5忳X9"!:?cH%UYA^X۞s;[_<" k35f= r~g@&R#I3d[DGҵ{63`]F_ Xr,Ζ-q d_zT~y9Xg^F@{;~gx#iWjJYc-0*jn(Hf~A0ۆFfYź\4Zq723d¦ 'J NaL~h^{"ӈJo8H>(t7OsЭ҂c$R_<.#sB țH,RA|Q1) B5 1DDzlot˂M(ЋJ詠E!ݱZ+ MhFdzNpMЮ{ [AAVᴜQJ}W"^1|>4(T3/iWHY /Z~-V4S]lL8ұG-75:vc'v61rk0G- |axNOV\˿ Ge&\ƈ{L?sPyk28olI&![PMBБ}(n[ݤ^ /r0}tM ]Js-/(%J3ݗz~ ~F"e%JbNfIZj8QfʏkHrFXpl{v6$֜\ئ3)`k?V#3Jj~BfHf;Vꨅ%Hw̛⻾ 78'+jp>}&[l+^: ^a)@Ux]ԭ}.!T*S33J,'3"j`؟ -aے>ր[Mݪc˪DOi\,SbfekM~vzSL?]q )j`é7ِtG-'ϐJ5emKZJ-tsm-'>QMW`siDk-k !h[7ϜhS >!8بK )J r᧵$ep`d{{\%9有EvPM;TAVVFmvN/h24T}KnZyN[t9^7& È?r1kʇ\{@8+mS"0ѾWe%twFd&[nʐz虏 ẟEK@2!'v iр@جXƟg zUMq|9yDT('g{y(^DxFfzRYN1L&: r3֢``yz'Wo$ mR&=wlkߩ]%nWf%랞ҜN+v-ePn3eq~0ZIPi)4+X4+{.Hsm>*;t{~%m}I\P~SŹtN0-z| @6|;s㉅+0S-l%n}vqJzD(Nc*>Nh[{xfІ<;KHu0,mx>Ԋ|/?* FqcA΃0} )j°y?H iH(ӡx*R7YB樴뻭RL&y.v׶vӗߴ+Y7j DͿ>F{K7OfcBQIB %IεUudM?PsUЄwЊb|&tGjQ`dhL1S޼ gH_$Yijy[$8$⣭^E(_]]Q/*wBhR}[@'7Xu/UXgaU80Ny HN slbEf|aX.#4A6/U;j\ހOdg#CP`?@bu4qVgN.?lJ#yG^l1\0ױ+{f |Rwex~hp0Vi=mzsLdbA"&g96uz?ydPvd Z7|~s1\IRn~*X*h۞?KomH|F^uɰxz*ĉ?39uySmbH}c=D^-Bk=Ƅ8b< V stFO/M>{n' a*zPĀ ԟ8gaUrF@D8{I\_QxUyu `=t`6yZA=h]-EvkO {Q`dEڽ G,h;6 䓴^W0Q@@@ߨֿ\ZBKtz~1xȯC:3!ET wz&nGίήr(%hN8DpT9T_ k-Yɛ[azfB3(2_*{Q8r.-,#ʘ1yu`r`1~ bÿe4՗H=Vn%~,.3j`{t?|a ^5TЪOUt"~r_k+jIMr}:8 8$z<3V9%X4as*cLIMa8V%f^҄ c vg/7 > ;L 7f1uxO$ aC: $qrүw!9{y`: >C״Κ3*Rʗ$2n{6/l X?ɑaU hKn2N=Sr\c|~u֬ڸk/ˌ*KX>U*KGwqUoʰABC=:J\1.lvb 5T|CjVPO0)eevԊ(}۫[]9ox`^RkcOJmaŊu(;Y,ԍrݸ֫MAw2硢T ҫ5 E1d4+qߐ`V@ ?w J#\ˌ.9FΗ5hDxפ e;Ld#l.vaZ7 ·$xW *VčA]vP~Oj#J @%h,)VQ居 0:V!OS,8V$Q<LWDA_=60d\n(VuDI%X5V8ԕZ6x *!$ nfH_ahDaʼnb|"1pcЎ.'CpJB2ݵ3 Cō L0]~n8q,Rxƛ"Kp| kvF0:pn `鄣1`j{M*LDЊ_G 7Qe8.ho5MH-h=n1|l%߈83N#H'@C>!ZWOT^zdi77""]XjHH&iB!c ^ώ5$6JGeSc;Uw?7TNkG7q 6AyA=^ҴW?,g ]IAfpy={)KN|ae7hJ)%/2w1w(1iaN4?~^o|h^UUGu㘁W,STCFAVT5O=]ڛCr#!eS נhؿO7RSMZrk2'KԻM=[ Scet6i_U[EOD?rU1tڐRgu>{U4ҟrT§,vHVvk?O;7 K8)[gޱNi.v;W,D/`GpW'6GYWdg݋{F)eLP+A6:Gz=q*03Js;ɇ9| JfK 7Uz ۲kh2%ס`Qq#jm?dqg'm#\a|dDR/Lڨh<]z"gű8+ůn5YZ1btbaBR*QR5;b/QFSijMe^Nt]D-:Zd( (ω*?_ WۯvNaC _9¬zp5ѝ#Q2ͪCo, ܶ#,,x;5B!6LTk 4qAI?:u=hGpJ/Jjԙ]MB2ޠ(\xR{Q~4+J_CQZslDSݒv=l=KckM2u <x q"Z 4("6XI j!دٳX,*$""90k̽NB$ ~. zhL?:%%{mSu}m|-"Ffk24[Ѩ u)ϿQGL:p. 6L z?hN09$?mH)=f0c_&\ ɶg#>H2ei gm+#|Z.Wq8زִ0)-’GJũ<)'X{#55j :Kh}{'3>$Yj֚gCa'N9M|"+>?Nw"X su/dBݰ?di#QnS5o'`Ghfv? v{Y֢K 61=W0#F8k{+:گzF]8n5+/ehT]m5 R^p]EQ!f%/vS\RV~C $6ةJ=%^Wz&TBsVuUeC?Q+[~cLE$McrxsZsaE$  2 ya׏(2SH;l>,)S .@3 Xbu 'h1uiyIS˴#tjkT i[T9:/-9I-uu|6{4Job ZJ+ĩU@_`cEq#i3´af`E&F%W@5m!W.bL`4J 7Ngz#AӰԉڷ\u>¿ҡVҩy naug.uFmaO荿v+KۙXYf#OsEq$h? J\L't7k ֆ׷s>$*Cwq@Е $vB-i ,2Db^b>/6 sJFϮo44(\|9ƌ@D36y}Vʑؕ_ }Vl<󗶋\^9o*$WaP/a`&ǩx$Ns]$T;z /Nԟɫ8$.sGLQ8N?a/@il;^SU:SF8Y pXLu8LğmoAfߝ"`$dSOta'ŁUD>գcrJ! @Ae!Ju!潸]4 FE53U-*1+.ShB>#hSw( =g @ R&kc.BTPnQ,Ҹ\cfPs1',Jk4{M7qk=As*sEj]~2;v֙0 NrDM{£I08tUF[ԨZanɒcxu7 ws4Zq ӢX6h'N'8?Es5T~ u?C}u.YAQ=1szqw Ứ 2uQ vt|Y.KR*Ybi j"41YȶiOM<+ܙkY@R6DyA&xմO%P1uIRdv CQu"%w*I:C 6ܕp N tݹ.}ӹ̓!.č4DS]}؆J[lSm| Qӡ'4eExxSH':|#]:ʬOLX..z@@,mmf_+>K$f~z~$5\ed]Яeoq7ū ,oRR6b'1ָtd8v̚ȳi=ZЎR Dây8h)eX# 4 OQpyWFٰzÑFpJ @hx6ފ]OdBSoңf3E  -s]4m_ K 6Y:c( 9V0$ؒ𶄕-͌pgiEo{AvZC8,=Ks~b-.Xc1BTu)D258#p#+ W8StϿ UiiRowCFeȆBoU#sB7e{@bt==J_D$G~jRQ2&^|LIw_%`iCi.<A5hUO Sfz^oHD8㳅usqG돆[aڷ7E񿂝 8U&l4Z.h>g#j x>X7FO]Jez<#tn)3~h.S]VN:]r[ͯf]J-O9^ndR"P|V2T٤KcyJ(uU48نsX3*c!&o?7U&&w YHH anjM:H0lG+nOL V~W[ᘗm 6<.D۱ѧh\%]Hjs~04wK'R(ȳL9Ya"~sh*](D-^ 5 M&@x glI|IYZ#n @%rnn -J;#- `Wœnz{ jXKT˙ 8< ڑg6U;nwgDnq[7rrNx2p;YʹYOCTzS̠3CIq~6\yQ!iokH USjrn+.R#PbNW`*b[1DX=:%YVMD-[`A{Dqaٯu=U+ur@xe${aŊQV[cMQ (%PEgT@6? egƐ3hD׸YlbD`*WdE&g~5_뼖w=^RJf>n$ ΂ԔL,xYU6di`|;C ˍ䫙]WZL!6lr?_e^: ݓ.IC Ku,6ba$,MgNcYU3&vu{2<ͱT?&2 haEZT"<)pk|f' B}0d p4r@0Z $H.d{s@2l%SI1a[E?{vdƗ0\ȄxfRf 6`6):F8jg{G(jl>3H;]%s`,& {Af@SKu0wHWs')c柲"M]Ex7 S 9e;r BLF A>ΦOo.u7ì4R&tuYGE5Y@tmW]]M{Wو.dTDStm,RadՖAd>1,={D7֑v`@#; -lf/n BKcj a"8$J>D7PJ+VXYdM(k߉UUV(n*J&0)̥De&m9ce]R-RZ鱈֪5ŀXL4A qn墈na0@jvܹfL)E.sXd۱f  $sO7s@A78ݮo5?V/ɚ@z<y#F@S15 MrfRD9X~-J+N+ŕc ew-*,"TC*Ca衬O ŪIWSI4Ě%X?F#i,=UcYЛ;@m ϻ'+f\)4 q`_;; h;w`ܬhgAhnk2&$ u&ȐgUΏᕳŭv4*hKvLp_BZ|(Bx!1} [M>"l d5BvIxN%koLlKQ>S! pV}LҼ2krR4 c^T!\fB,֦ڏg@SطSٻmE↝"(oY _t1;Y*^&#O1Ply#L^rz|jZjp% 5)_7h+K>ϏHEX7av.k~j#?i3qTH& W~f/Fn=@~P ,`9+4hHwZ5~^;í w3ZK*7'֒7k; ZsYE)o=}Q!/T҉iI9 4DCP}qAg@.*fБlq9=1/leVeÏq*̄;kx*BЇh U 0e8?us&$!lܠrVo!nsDw(ɴZqyFl3WTܔpC$mԎew1TPPT&L.dTbL{3v`qང _,.Zg616$S@0wޏ-%1kla^y"$^G dcDdJOmeS~zh`nj+R:7D<8N1!"ꢛtEe}={&6~&!MRK+@ EɐޣAEW1⹓ xxLZ-5aGִ^\n.fe35l`%ܠl7(v\_@DA*ڕ74O/lg4X%}dk\z`/ŕѵ>L`NC:)/&f"&)CH29n@ab`OP;Dz(ќyrw*u@檊9 zðZhK-dFӕ,5g`e_fϏzk1JIiVtM_Q!24fhlW0.eûEbtzXe7F]C윺5۠{q3&.#Px:fW¯JFj5(&>@]ڹar:SMԣ.HT;d8wkP@j9Y{g #A Fڿiq9:l \=81$aşCz&,n=JcLP}#=,/[`1M6'-UrQ~% "[GwY!V!@<$ߤ!Y[gS%y#INcLn ޠ0i . 8S2S $~K7N~6ZHh;$Մ85|Īҵ=e 2i2mCa**O7+'aFp\0b*%B_GSD#Rt5:5pLQR!H9:?_' 1Q`-:#U#~ҧ)=Wry᠘{ìy^kC aa"GA)SvYY5v=@v .Xf޳v:f}^{V)0pR 5óT9'"I'p@{;h,lt1$-֞v;kh@{Xbsd[:fk~I|1zvL4R5wT&DLӨTsYHy"吡4dP@𤽵f١=$^@C؅p^נvo1oQ^~n'[eMvƊ%m5^V [')*!q+[!WUqC4Vɿ0T"5?EW7" 7d!ؠ1W'^3x=!|h2!]J=z\cO+h~(=.1A%c7SP EݧmC>0 c隸6'2`)Pn:vhɎڲQO$RrXP%q#"ȤYPMf$jèTPB+&8GwzeBYx-qɊz_3vgա}Տ:p)}mn礐,=*b!er`oRpI3KiBj! CPqD.0<KA` +~.a:V=ɬxd{L ~kS:u+8ln_L6u}9|]O_\ z^r'~z'GV7ၭ~=RjSS:XJ &x]8'`}vΔ跛o |%]UCBr>5MÛs婒84e~XA{l(G=qq TD% 8lD2ain\XCcLdMV2%ݎ^-|dfT.X"d[@Z2.~-]43 ]s,R&ҏ{cfD<{5ϬZѳ/2fr;jF/nL??82q +-w-1)8cͬ}|pfp>0sR=V?DI Y8AR_͇!i>![bI?%ruO[f|Tgn)}vcn5-LhIzΐ B_Gb0L8$fiq7גX`H@BQ],s#,9 X̀lt~^]ZJϹ)8 &@ȥ~7.UMq;4+4%uu,L&AtFsA~7 &6;jThd:)*raRܹ92nUt$tu1prWj _4vc?x`֙k<̄zrvpGpߺ\T hLYH^v1r~+<ؓ ʸ-R D*fS C=gL)1ӃnJz6e#MSLp}M-KF0 C@11ڕ j{udbsi.=潠ʘ}V<&yp%yT! pal]x+P'9ʍކft]J,2|,cSt{iɽ3}@ lgM $Rݷ>ae/ ۋ uМ9k2쒏(uϫܿM:q5Fgp&IYbwz!p Փ3,P-)2q[|t1jLvoO a ê4mrMZsV0^ǮKE&4Zao^qq9XUÃGOfؼtw/r;,Ku_[;`!Pl sG;rt999*çs4?vFDŽ<&$@>9{0`{:lLCߕ$Ww@?d\(qc0N uAmbn F7n[sD韶CȼZ'ŌD~Ym7$ͤdjWTKnZ9}RK§G͉J7,*}R)3*~aO^> L뾹mZ7h[εa* {e_.nU;מ ,Ϳs}/3K3n^rӗxQZr+*Wpo44~ZdA:yR ?vx%`H B vjcNdhskNOن)ӫồ?X/a%.}SckNbeBaYw0,gmhMm{V@$;Z d*M267I_ -HӟB64V̧ՖNCgޔfgM%+ypV-Ue wCg|AٲU%+n'=o1?d-Ѵ p;!I). 8#p QKflAl#׺暋q,TSnv΢G{61تmdniE\|~6dC! O 9C>J .Jۓy! #2ɜj"7dm\i)C-47IsQH} fF[YrEuU{7&^̘@0$x)8_Rvr> %,(w&NlO,?;e1yW 2tOFi Rp$ t/E#q(z) 9Im. }3? o9u/>;)z_Rd W4y'UDJHC{Kۨہ "WJ czkëzc_Ѣ7 (/PSi`͆#:=2;/+c<{Չ`]puӚ\Rex;9VZP\ωx5ym4w7K[=wY< qt=螧[lzUɎA˶uq&X?&eFRf'%A*YbTb}Q*f#mk3_z S <дi~/& X.Ǿ ꕃ>{Ov)1!7ǁ{; L@@1T "̹"5׺tꔿŚ|Q-f0{!,xUq sƁ!ٙ: 5o8ܱK#_wڎn;S *9wspJ&۾*w@ͽLt\iYkoKL~J)4ERL GF Vg8$M7q֦mz}? [@屛pn;ܪ (8?Rx"PX}XO2+PGW^~a M!ωBvgFGJ {9]/^QUV̆ji;N9"JbI\6_PhߘI{C-!h#35z?(ff1ip#WŃt*?fo^\V5B'UǦ̬ۑygrմ%Eh/BZ{-щ:"-K\ ֞}oIZՂh+WEhTshL_c A(-v8>:TU(粞vJyBQ5Ġę $CTd*)s&BjIJƃ#NN@qlNYIQ MVyA"K[g$#:,Hj+қ"xgUL;@:|3Cn2XT7I廆Z.h|(bfT/2lwƞ%|+N, %cݰŅ<+zAz k2n93OY%BJ_~QWJIW,J+^ŃC-T}]([[xuߍJ pt-C@Fkבkrt/萕K1ph>v" V/hئ @ֈ:8n0u698U UuV#tv%w;Jl,5jǦ!963ZWdڡ }St_, 'xwr\{dT-mjNj3ʁq ~$g_u"6Vuq*pDWSBLcT$p`T [ᴌOiC!YJ@HM ѷu `*YnɅ_%!E)ԯBݢBQ_92G'$c#>־ C?MlJrڞ{,&1: ~( vYArLND4/urCX~y=WEv J TQ5@Yut] ő@/@hӺ<`0_>?" LTլ/RVܱY /ÁfjW1u1[$DS\ l5Rc4ȉNl/'Lu})1Iz=7gy0nƟ!cZ~:S]Y64Z<1G*|,?Wm]i aˆdKA ћRox= Պ<<ˈhYrh߽F-4u{T(`K6cɶgpg!O-M>ѷ GD˼_W'S)(xB $d `炭f &S "c d Y >jMnގ%C^*+>@*0\7| C oBC2\ˑ.9G&9#C,U՘JQd|5 y[Q-_P C2ލ];ZJFXJqyҘ5qm/sol K-88ՇδKYIqa>;!,B0n-+L@$=o./˰9i0G2.&B@`2_#/7r:S@abq@6Iw"iD|e= ) : C{@8jnPCunD(&!`LQZ|٦E$#9DetYyD^8_od>TB3B ϕ%ǧiIL29乾_[HiJvAlU}7a5)96GaZA-ʄ:e/0@7[&AY'of5q<5ZA"3MQMShrOctw*Rˡ=b zc nQ_v{!(ptUkFb 97Q0\JC@dȡFVS@t7,$^\7J>DQ RBå~_}TZ7bAqz9p1N"uZ Ҩ+rbBD5t_2)NaAꭩ?^ m𵤜."sΩjmDu;0iK:y7-V ΖC=¬JND\>'67& iK)1H7No.q]GS?uSR7&ٞ*&ǚé0y=xaZu<$:3, v9O7 jY^1۷YWu*5Ĺ*ѺȖ0P˟Wŕ 6d*N$]Z6h{_E?m.+po14~0qgZ7k(V;(GyKkUT_$-!6} ȃt6ĉf:r8;SSLn#fhщKi`4KF {S?S1u^M.i+$gYfnt%qYeрU=Va7D'Bh;ͯ–bWriGtY(kBH "/gZ5j5|2-@nj>LZt+jX'D8fN]#"S~>:?: #2ڍ+E[`mksEI/6cI=њTߤErC/~D2 8@-@8~%0LO̭n̲7&I3USPK2yKJ30LjLbXρa]y@=IQd؛P޳H1 wsi ~kv;6 ߬4J́'p' =Ǒo+ӵ Bћ;=E)R2kr -eιXb:!!X˲z?q<3S_TO!nj,E!QSKnK.FkW)/7AX{^r-4l/Ҧz[vFkRZ%{P8&Ƚ$C^!2eD\7 d;ߔ4ztH\8Ym-MIHꪇ|NiḳIt *{1x*簓/Vr7@0q|$/O[- Z ?rĽ_:"Cr4ҜŲȺ?_yct4Te a_ObJ`Ðph1[0b,O[ܬ{f{~ LC/WnźVՐX`;~եJ>YENn LBzvO_ ?ŹbA4:"6bUt&"} ԠUV50?Q 6JjHY )*οBY0KƙnΦˌlO{~ILk)iċ94&Ej/D=8iWdrr&}Ws t;%Ib2@!^8@TBraZo,Dy46H7Jfo2SlR5xWn5E!e_ U#1 :}*^E"aԩ }{Umc+RiHIVI'c6şJ|PHƹ_['\TܸPQOU=8O3Nh+pPB(7 0ԭb(}ßK҂щ_*v,ͽX ZhQD/_&դA:Wk)ev)ª&ܩ1KOj>~bQ o[?;3TF#7+JV :nI3*Awuo0L_}t+|+_Ҩ.0Nouc7=+7dyɜJ\hUgi9ۏ:eקTp2-H%nzjK=~ 53G8:A.MM]Ə4#0N,dݿf5O"z3^ ܊V*l 7å$uF Mc&o㳩Fc(X\PKegl"$^c˿ b//n0rR}/*uP} Ƹ슶{c.g]<ʑ6I/GP7lg[C5ˍу(Y;E`6-~Q̽SX1d ;rkxZ[b1ӐMm[%Ghr@)vSpwp3SnY 'c"XeA4⬥`529 4w%cKΔM{YDa_~pVb.I$<<#9X]'-*u-$$/ 7[_!J\KЬ!R|j7 b ro!پWoP?nע 8V} .*$ 9.2Aˣh|ϓby;us1 DYP( L^;`0&]=iu&V:͘'qFo ?x"vtvJ;Nq5O.}\1 W-{N*QfX z[\wQokAћquLv}#8 u5+|e|a[k-(M Lɸ〳7ЈȒr4ͯ>,I6@{ҀcWb 8Y ]B8zpJW 2*}ppnU$A`W?OGt֎AF=唈GLfR K u>4*0e!0y^*ҝo;mF E`fC-'W57"#k9L9G%9 (*kHW\\[6-~Nk>!1` H]|.{xu-jm.Q(CjuaNM<]"8}b'~^O$b0j%%w %u,/l^j7B3|}"vDizVT]F0|Lɽ^OW!`=SQ t)WW7URgj{k*r?IZ]0f CYƃk{TRYAZwґ31fM%#FQݵ /fwpwz(Q|AiN"u=_og=[ 7M k.5_|Hbz}IJÍ!!s'Oʏ 4$? kfѬntёz{piVZP{WƇuB~@S^È= Ǡ[ӱD.v|~#&H &V jHqs\>A͢pAqIs{ƁƢ{ [=ƃZCTdi{`Rر(˜.BQ|Rp+ +r_ Q X,9LC ׳Z9Q '$_6GH?'@m |H" {uWQ|u㨎bWBV븯)L֘N{ ҭܽ6 +f,X=Xc_fV\&YnD~m lRm(䥬ӭQOȺ*͏8t3Z&yyWc&6$(+]F"ήB<Ebi)a7Nj>i|Ҳ-Fuy I=^^Ig`ܷ^n!'-b:EwIQ3BLZ߄nra^1)dgI|a^#/PyC3}!@UaN2=pR:LK%}8pqSO 3zjs*3'+hF`C+z :Tb,ַ|Gt?s+dmD ,Jv*b]=f?c]:Ee~,e%Cc`Go  vM?PriQob_T9c0U3yMВB`pm@-1U% =MrW}$5l'Ч`sxf:;?߽!8vғܝ%bOYJ~A=M˼L\ӣAX2"7˓}T5J1/RǼJqRp.fR(8>w*]yyzdyB²zr@\N#!F,K M'-Xo=}?ͤ&h8:?PO\@2C(%SE2l!B|WEx[62p# Yllh&W/ۮdW[!E"JdEz{!p.5eWwU#:0WOQDDHϿ&[[؈aZ>zwR#u]`5,'8Q3ѸD:F£HDSt0hH [ǫc-qGaþlNꎓcӑ(S:AKڽ0`TVD[?JoRޔyd$=vٌ~ 2¯0#پA/B}~|>V)9k w";zBV6 }bQ#ev.H(@!\, /ΤbcEB*7mA`r`&D$ $V0탽rWa5m$I3a@2C,j"uVpfo VmNg"xr/?l)$֘+\S㑣Bŝ-\de( 7.&Rid&EKKFy{uKΓW_}KuRk ΝAبR&=\g_\JSg-R%yNsfyc&uN>AMInFuϪ`oĀ3A 8B|Cڷcx\3 goM~k4'miiO,M׊!^BUv4QGjnZC|$m45=M/^i"WzZcXM?)kvX\(0HXp` 9CV}F,x&3zjwAj=V{;Xl|<(o̎KF[XQc*#8jÎ4JOZ:lއgw+~SGxd9插a{5:Ke=d[ 4^]~"X|l׃xU^U t alg =hܴ56v}҅M5.(4Rw#%2t+(=.qmhtӀ)@˘ӲO[XNA'=@7>%; 'Q?R, f+q!96P7*%u;-~+n=_$[ _a*h n)PwFCr^Y^~yPv8 Ԅ,fFX~Pi->_$H+]i7F12N/>_Q֏ۆ3="`|#C~Hp7ujccvŐU#H*iP}pb~ĉ%m)q j eX\^6hkzz% $c`1TO-]Yl{eNhX0ֲN ԗBqUsˤ6K't+ssqL?]{I>i2R4d)_ Rwh)jS>J9T1BU'j77ck%0`@-/[D>1HIH` lCm-{|83pJn͘9,K]O=@(aV=%^=IbO*٪"gi4Pm%RXJT%^O._VtԬCq͕ƾ:? Z8^HR0xAhN/p[qa m IfguKf,6~K5ApcK0~kHjp?̇bj-# Te%M_n>z*S,1/ L-Pfx`t%, hm .fZ715+SD+i=~ϵէD'ʒ֨'PD`4К}'L|;bㅥ K7<&?(}1@}@vjQívݙƞaY-_ON07g4>18BVuWTJ" N˚:|Њ90uq$Ua:7@|rVP?#71fXx7p&ߔ5t2ҪѸ_M|w4 Wi BF{ Ŗ" nb EgZ#c9F  L{H&}@_~)?مVL+#3O/-΋8q.J^n; l.R Y;68gb\a^ݗ}}+?'`nM ^)v<;8J6/)*׮9Qv$5gc,WcZWיd\Gh|d:IFTt'XɛOU ߤ^KuF>n},8RB3B[`{1ܔ(T WA;Rϝpg2S4hP+҅okCi,x(6/Tg^]'iB`\s>6'nޘJA<'RvƦKfT]qL] mY$֎:v*6eajzs@}cx2 lUZd\V]@M(R0==(_nZ7ړLB%ʶq aZG}{^8Z8|oq^E(_K Aky!n/3GZUqA]+d6*a h ^#;(Bc%]SPfF<5"ʡ@.qY)jI% [PƛDnA{S6xTu뛓I@lE. ҁg,;5U,~rJ3qK]{QrcRLonv*u᎗X#j,B?-G|wQV I9U.z4azw]ԓYS͂ɩsX{- <+1"RJ +r^Ͱ@L,>h(ˌ<wx<[tOdvԾ`PXM4tq$KDbjEFR)?(Eff?`+ oN&  }m8N޻ZXDGyҘ PҨ?u}wƁ2TJAOu^Pc&wCTRď&O\!zY֖@,22OmgVA#3<at(VD))!{I<e eQE{rT'۬;۶FXX_|5l@Fև빎HSL.NهI(xĕkP8بVG6cfN쯍p o7VcɵHTxF&=4IA`2~;fv9fOOJrLJU)K \x˩ ~$!~o`?fw{D|ozY;vs-4:E;3?1ʊ<g=WĚ{\܋pL̀qȱkPVhs_`?;\= 6!SJ[[SP5CT.,:~Š(êi%hȻxZi0c$e.#l}@RH- pxSW iĹ.ȣ{?3{qd&t h0D-3cO xQ!yh3/yIMCMůh{Dqb'Gƍ7zGwg^nIq#  F1da]Gzkm׃73R8:N6 )|ј-U Ѥ?']vHAHK_vR0h|YO(P*Gah@Nsl0%r <U!zȀbG?&KuE#I@i' ':E9E2A7]uxpOiWW>v!WQs=>hԃA/Ya謯W\>.n\FȌ1\e"1l1#~:C_3a@IwezS)11,6PlIzyj̭, M%{%Hr vyXv0w9 1Y PRI܋HOO=w8X}ccr~&C)v1`y2*Tn<ùջS!LKe]IFt'lۦ۬;\R3 %eviVSۓɽ{=eAĚSfN-n;+}p-3&4aճ|00e$er*Nzn[u n}&])ϱ3+4掉``ay:8 Qw~aSMZWmrdKvP)w)u{Wf>X(ObI*ӛJE`Zg.!V:%^Q}5aξRܟ6b(lqN?p7Jvo‘ݞjR+^T-a9y0ϒZ=}&ٿ hwrUAR6te p',!UC  n>81V@w+%XG0"a_ň&OL9ɑOu9GWF'5w~E д[-;d4d] =Nfȼ{|V s%A1X r&5o;%9r=AFj_y{%z0 :RL}*'] ^cөZO2bs+$R^K蜜в0k37QQN8@FRhDxBx*{&wZj96&ggqXx j(/"/Υ) o #-RED}6<9sf q-4fN(Ɏk9mEp@@M`rFu"yOPzG@k NNlO=WX]{)x b_*w@bȘEj[![}J ]"S?FgKP8/PNqct)%ԪҭBuD7`o'bDUC1zsz=!},-?]S>ay7ķzm:2[YrbQ2V/@Yt؀jb3Ng+SFU"nLgc#; ٍzCAmEvXtkHuJ601X<]dC枙!Lrg͆$-h3$4)+#.0RgoBkPX98hgfi21ofA\ il΄=x ۾{.l*!F j7Ĕ\A/E{a( dJ{+ TѬx5Ryiwr[~P_]w{٬gC)QI|0gw";90|f-Q~ G/&Ÿҝ52ˎe5Ҩ[X_*}td%ȅ@վ|$tp!8bd`&ڊc9vg7?^gK@&=CTѽz-;_PL3NaH R)xOCM)I.q]/&j!l&UdOKG5'~m "Q.A2w?6!4|oe!G<[j6*݈lcNm.Љ\hK# t|ޏ~&ُ!P ǐ[wRw.t|)r@ a͟C0>'RNe砶".4a?YR IeOSgeʌBޯ[IY)aS=66oyv<idZox`wMD`:ܕ t*5:>@mæ׏{Vl$)pvX*\dתܭ_ܽMIЏ@{e7ލc_ޡ  L ;ExYl&IX 6u<)")9 M@  {Nh\(Fd:7}m|<9,T&D9ܾD@tG+v6׷/}'GWFʊ -OE|fG7!ez>g=J1˼juz:WbX M TndsmYlHֻܔ-{GnGHr4W}Q.;wyrWDoV/V&伖OOG|x-ߩYb?qcSj^ﰲ>}X 431)Uy7xBhɺ+)oQ-F e=a L$8nKy\\ !໫'mQIz[GVi=3~.5 N J«]؛- 6FqV6QUPĽ:HTkmw+13 "y<-I6Aa" Gj˾X})QbY9^βvYw-+T#_|ud0lNRWoib+GoPRiU@b0J ޙ$Upcf ȖrI͙ D~ L)m$Ʌ6{SOלi]($ )1WRݔ&O ?ޘ@M1UYFo(H]T2,U6~ۨY>T'.r =GpXB.Ey'g0e}8d$ [ NjMKKҕM4 -p]xϷ/b,/ZRi,o_7A[kZ{%Vǘ7 ?dn;^"^RȖtcƎA!:KZQd/[qSσh3VM\@J,<80~90h0 W{C+_xb/ҵɝ-&8ϊ篳4*|~QoBMF,ڈ6r'ޚi5OfKݵT1d"r!/od"T3wVsYULs&i@H EMkrdZj3$pNU W@nnMY\bysWix" w (_ܷGf_[ z{Gt3mI& 0U:QAncLsCSY)S$%ɔ#Ph3DOI΂*^ݴ54C.ƝoeMaX֭y3es0ywFc |`{i C| mDz A7:MS5Ń \=Z3^yt2<Fۤ֏ `,deRӍXk 慺#&s"P6,Ӹtgʡ(S^m:CaY꠭L^h(^o]ʿׅ͸Rcxzj΅ &l7L@S% |̱NBD\~1?/T~EΉL3t Sk*&!t;HEy-CBEq/@ם NI>BǕ,XZ5~;J25֒RV:F#bd(ƺFD@OFOؽg94*u8ˑ>ߺ,`tNnAڄ:+R|X^ncdIQMӼ+PY0Os&bSH-?v–bڣ% ]+4-r6}SFsZiFarrQ["]Lii w(IcFg;5jxG:N\)yJ} /lo0֗TGڿP{eOʧ:ņNtD :)0 b؊wϐ'0*Ae Iwc3U{.S=6VYG>H~݅%5eβtP;bvFht3V>Q$>C7:snl=꽼_A%f5{N >30;'u@t]TF(wGZ hO-G"pjr^Jy>ogSqjĝ}ds'\R?Ngg&3_k="[Booo ,Q~1۾tg1\!}h$PczT#┡=( 1UУ}Aasnk'X_mRoer]aWg^2ItMF KYudMy>_y,-Z31B-5&HsJ]rm1so2 }MWذ Zj>#:lئQhw1/:#Ӊ6T`q[ vlKV.q5 E9D7"1E?l x!:)]sW: `SrD(2iLd/,x00grH hfwQt}2=&=ݳ>-xf3jpߋ0<3h^^9$t5R? .ᰧrH.Db)֓R բd#SÒXv0y6xu!kW-rq!(e>3;*tHVQʪr{6֥aY ;W2=.OuiF_d,%5Azk ۀS,wO@lEQݱD\拓â[z>ΌNׅ*x\ :l0ra{2hPRxyOtD JBQϷ۽i)N"AE/ԫv\xaKBwG+I0 58}Glʮ'㺥W 0Ռ Z /E2QkCӑP2[`G+F#XGco r'L#vdT~&Lɕxk(VJ!AK+ce1HLM`}DmL~GH.c>.sn3ct`sn/QwT>늱gYZ4yQpש{q }(!*Utc/p_gEp[u [OkJN3e[篤B/lbL$Xys7=H`ܶa3?-髤=#B'Q66z'FOTf ĦW%엻JDZii~mR?91"2CK\!ٷ Tn/3ͣ| >Ezj 3Mb/`+<m*ζ3Y4>셻?7||;1j.O4ʼ"Kdq3RQ\ĺҔ(d n!~"McIUĻۖ (@*Htoh_MIB(}i*':)ʓitbiT_qؘ]=he}m4}[83Ƌ?KJ]&h!,Hwm tk!"W7tNIVEaTUi$}I}$)0e8RYWG. s~N)澀zq_+lC9@聕kV`/1x Ԯ{7^= uvQ)F\+?ǮΆ}V"0e(\dHf&0A"[`މqmg~fb9'f˚ê گօ4;rvz mw,؉L3{_m(Qzz4ԷGW饗~[,|!SaCh>P:Ub NsY*a$!1$)pzk-Mv8qUPy;?2}LGD!ݢF6>L䊘z­'홑όԑ!s"OƱTN}^o*ދJ #Zsnd:?f+ՠ?)7e4[Lc5A9F"yjf5!=^)؊zgյ%B"F$P'?.$cc?2GVu@ v՞n{XحhgX d!UfQyR. 6%؄\Gk0p=4J=d٭M6NgN^~- 8z-ah'1v:v:Yco⹗_; G֏hVz"5ɜ-IWzCQ6Aߐ3KfKڌ5X92΁hƟ,_#Ts1컔}Quw2#P{pxEA.-|1ךwɶgBҹjVcϑBg[R%1T e.4"̴,3`;1Nl. `K~~K9.Zd+z'}!IuՖ:/Z'vn% khUz0"U+#B.uiiWnzfu8D{YaUs01$y%$^DMj)߻`\a 3XQ>|h~6@pj~j9{0ajH I( an)_}Mm 4a$X '|@L%hs,+jO8Zɺ)e56D ?1g\ɕQ|}*}}yY,_<'F$tI9EHLGF,CWWAtQ1"|p7HH<6].#Smw e( pȞzڬQ9s!-j-bj] X&D[٦$At L XΡ$*yEiAjjb)]na, vJS:+R-hUBlQbe< T FE銐W-.|T#f X(;L'pSXt; 3%ElO%pv_ WVvhq?_  ЗD갉m`a{ii+9C ;$l92,`anpU, D8J#e5T=2ѱȔӣ6L&dٻJ}?w9:@vEQ B% 5惧EQ[<Ў╏S2)8zRe uN(xYWpm,TOM~}ۑ~p;ΣՒ "aǞ5l.,EѿV^$ Bx!oTZ0z> 3rs_\PgX'WSI29GVxg{btoQ2T <l^(:΢7V&,5r> /PT8~݇tI>#(?)L~O'Žw^m*/NĤZ8 /ՑQWԳFq:5'ME\a+PG t7²q- e1 Aa^|A,\k Ydۈ"*mtgd L; !ù?ק&eg&ք\aCoL4Yڤ#!,%[qC@o68E*BPB.KO,gl{/?9{W~{\eO:45!y[Ք k^m,D(=,]rV+e Ԟ7faf('+W/3l_LxVDv=;Bw&;.W Lk':Woi):mĊ*Q4RCA+_$eT|V*Nu RK zsU=jAa4yk~k!]Z_(fY5 B 2V=WVJ̃z_…=8bJr-h^լV5*xX= 9#:;Wsؼ|$: wi⸘umO1u.kv6?X_Ct^^Y̌c%Dʂj㳥YqƬ0ۮ C|ndsIBT7IHέ.&c:D6}iUϨ@7,8)~kMDLb& "yE1%9_T4qx* _|汉Lť^Ύ#ڢ'{XȅtШSz"tKw'11g%h,׃o>GHύ lDJv @(J[6ʩ qsG0MI㵃/f\qq),vEZ38Ms Hvo3oy#`פ]5x_Hbc?U͊}@I-M+Ejtdam"SCdSV:lUhҕ:kI@ՋUی`Kv(֥Z%ylZyx7A,h)h:b7f,XmUZMMA9dmii*|mY.y~D!4.]IvnNFH?n Je R2Hl٧Z>]' ڨ[ h˝:7):S{*R& 01<Q tQ"L$qʇr͜cYɲEV]75'"Rf8M)]!Y9|7N 600Y칗ycAswEKz~~5K9]I>+'uKOF7˖YīnC]byT4`cK<ܧNysQ[rqIjrᕨ~ S:`[CE¿!8ۺ.;(.%?|=?UevZP) AUOofPdqdhJIeAZTPsDYG`/+ Ãȹ.DUU!+mN Z{)~""y2By2NN_ИBJ4%~U3\oBvbKbp|M.= GK_aw ?N[{qPcte#@x .bL7&ߕ70ղݖ}T+v t]InH@PYx",MX@V6 =A%0Ř+^ ڮQHp﨔XSbh,H5AۀEPlOr^ &Ƃ`Cp ` 0v1hoa\|~(@=92\B{S?ݪic_~>4!蕡#//Y  =qP.?`^JwH0`BUgu6 V0H݊p6f>pI6|? s0x" IݝP@BJ"0$ Pǡ)CfԣႎuY'XH;&&\:L־N%/\A4!·/5p?oր-O(K&t+t\%xŢ1Ȍ_R*<#7? DEܪ8$#ZH&eUʟOK=Tɞ[r1<) PcULѺҀ%f_)GVxeޛ2|_/>O4鱿Ԥ|Cu`C4OI,1W%{Jf,,Oeq6Q.vqH]&Q&* iEj_\1$sESԊ$q@F+yjsyO ݉y` h{ f"kM~шmJi բTuѰg"cM"(НD# ZeZ2\?jo$уh3J,Y޳L &\B?x5@Y faOѥ&jc|iޥE{?Ԣ|14BBȐ]G,o [UL M/p.!mO؀іrg8,ā^yMJ*06/(LrӶ-U<4BN3SoQچ!;UU,Z_"\,&ϭU&k[{`${֭]d CjzKI᭺ s/*hJn_.^\U֢cUn۹СU9vGEPM9?勛3]F1{gucPC=gCH "to$dNwihP8,<g}֊Xpq芿S ͯ&,wt[|Cg;'|RKͤtxAyaP-AG+sZ;`*gk-k0]np T5Jg6GzI,<TI:F` l814p_Ǣґ_?dHp0g9њ9](iA< g,?C|JEy)˯ bZ#z |;jYD3Xg\ P-j zU,r(ISԲc3<wɬؔe`*!$ҳ2.=w'zd~p++} A8C:"!-Q~5~&mV0+Ȩ\5!wO4UtcP x*%RCɈ;,g.]T^xzcZ#=3U~{*+^$6'lU `sV|Wµfx"$ˌҏ'CVbƈ1r`Tz:Xv}k{w}ĕ^= h՟"AD.8GٟL \jG_52Ԑ@/i-Hjš@Fj3+LY]"frZF0Drj}v0úž!69عd |u)[]8?wBv`& YC%.&3Q>_R/5w="du(ҋeX58_ê5&7v- +`GM87av&#O5ĕ’I7" Cy4ܻJ@ӔP=h%18caܸ؋_Ǣ3= 93;KUq1bQJ(7Q`񂔧R8,}U塒0/o*O9[ ?PcşQ@=_qsVNpÐ qw/8"r6^0T`Pp_qo+ddiA]8ghOB=*s~uX"NVc*;Ttx)連]j=LnRb)h5Q( ? t.uv6* ^"ϖr,ثfuHyI<؆М:g=5=Dݭ" Oš)cpbG&DDڃ: ,c 8˃u#"XYL٘))9 woF"fOwӚB!}#V^қt`s&e)ʇwr1c&!sTr 8hEsgK\.Ũ1ڄ|5xl џ/H.V k,3b/J1#QPcݺ> "4U5MHX`n%  HƱ ~ LJH,AW~Mrc蓭n,m6kWZ L̥*[z8gu1N=`3Mn+@m*1)ʉI͈ ]ъ`#>4א%F3%<$+ K}D{`kE'Dܼ}5ԀHVmq 6mtuB> ¿lɩϋߵm@N~@Qi, 7a: }ʗ慆]M|As;zrQsy"G%aQ,Ӊ_g66 x|mۼeOϔ8{]U4G ~5tRgfVٟ<ڮ"[9/ Ƿ`Ȳ|Z(ո L FS_3781F+7~(1Sրծew] .`&K)TU=sqkxW *p0@/])]癝`8C(?v Ya|-Ү`s2вE!Sh(f(@TVHo;˽Ė+瑤ỵ/0I;2C", 4i}zZxP.FfĂWN4ȅ.}{Zx)D\Ip6LVao稁 oddYpz}<v}o|"rH"a2"='߶0>>E\'#l ~|`Y3u u%쨞VEɬM?59% WEDJ؆HnT/< HʌY7`uYd3~&=ɑ!(寫ZՓiMCrٶ:#Jn~YPY鿘/qt=젯ˢvB ^R]G9<C !SxP4֥9Yt)Ii׈MCN EeW4, ȵKl]h2Ԋ^$EfOF:pL@̂=bڝ")3@:AETp[055U> UR{!2v6\X֓L]x$^I 0>Db#X=`cw)=<$vum^W[|Bɟ8L1lY^JWz*&P,=;ʋsL~Qj6竂R^]0K2(_J<; <*Ezq;";H2DGRa47oXs+TXEwDrbȷ>+OQ8gN7ᵱyOF?)w[W3Y~ B&՞m {S8aL`i^@t[JL$|UD.!#>w'/q}kxyzHlqH"-2JUIJ$䷐?l=kڻƀuְ[Wz8r$ZQD>w,te%tB 1{@8D\{ -L!8`S$ӉO+ztcx۩y#gs1Ri/#n[H*JjiA%y%M[-/w=8Ny[yM$n,7KŜ.'P6(Йz QoA;'f2w#Y!}"[ 3z*NtJj=Q9h09C&Z-;R)`ϡBeQ-bR i0= 0ƌex2wf_jnh}{%V^2{ɨ=,poC Ade_ۺLVJ2K{-%DҀW+氅\B˼́j'*&--;fD@)db(]t NZyvcStK]ѣ"DQ[=XDؗX*cvqH|[/ni3ٶB%<;E|[>PbT~p#+$k{潇;y5Qi^[G;/踦ΑNnF c~uF_ɜeU_/GS*0;/2տPS2d2aH6 =$e<=GNL3Q%ӠS+)2pxgQ[t*͋Q#rSv \k{'@; ߐRM$yUo7Ik\"nPJ7$B~ѣ.UƵ qHYLlOFbmXbW0QscܤPcB!igaP?NYg&sB k 1Vn o%4aX2UVnf2SԤ8R༷/gkD 1- |⽩MGoQSBnXy",J,ZêɎ(-Ly*qT声֢+,,w*\f PWӶ7kK5 wH)Œw%?kU9ڕ?zɹ@!]E۳DDn nșrL^xn\T\GZoa@D5I^SH1Y障k8 ffJ^ixJO%W1 ګ!{!׹J YMKسiDX-b 꾈! VkvḦ́hl&3Qcwtֻn0`N2gEwG Fr `G{WOBAuZS} Y-ߏ9]BKJ0y Vuz7)PwޮN鄅&?i-#0InE%ߔa6z49X< q ӡ@~@0|HnZtx)jpT6KK|'"x7hC4m4L]  rfao"΋dhEe,lQԾ:t.)E }xUH/$ |"Am\ Fy6neV5Džtô l8l?_tnXTvxKi` =.swj&/wWLG|aEqA7#CfagcfÜEIQBB/O[ݚZ+فF:ޔZR' /'Pr=s6ކWrV׀G !KmF=턴t VT4f߻TBm6mv7m_..a=4yޗhd:7u:~sB4zqM8' $1aެx}{[4!f]|cm(DO-LM|;,hϖ<*\Ez=f`v,vTZx?2o G2 /Ak|ƣl;%n\b5S9x4޻Lߍr`PL+n{Wdl(-I/=7éQz-WrB: k0br\ R\X < 35AhH\Kq)*dxt6 }>>]t. 휖@~56.e61S=$)KԨ\+sE"qE0hrTCc6'à'=;zB'\#g:߱Uyr8;f2VMQ=)Lb-HeJTظ)ѤCGQ[6poXJn_񕂞̕'#Y!g- gWw:{uP(CN{$< KꮅEo_A#Ӄ^R&֞K؅\6uPH8ǨR9ȹw10GqmlJ}>#PF9qup.%rt5pQ98Ϩ,dj_c$Ll&^飿~1"v1J `P6H~?y_S 6X,:Mj*:8`"ߐ4:껓^j;LZHip[;֎2pŖeD\S>^0Α"/@c Gg@7^o{95^\M{.#kv#J uO-xD= Ŏ]m KsGz?M,߯k3lÜjL;y <]F4I_ڸEK~˽-j./(h]Q]\Ë%NJ,ڠܿ%8r`^ ,!eAώVy3q`1^ZZ NĖ.'ydN.vlࡣYL"ً~ H4扱iLjw#XĜK27彗_u+rj|Ej!z]M!n νDd۲I Ժ1Q uCN`VwxVKw -$^>qX5sIƲm>)( -~0?)"; E{o=hYZsɿG𓡘=,#7nr)OiݜMtI'o5dE ێ\szV4*u JC;iQB#:Ҧh;SI[d7:.ú큹B`^f|ySg /VHt1|OZAVbߙD}W2Uܪ_!7D d^Y"5*V<œ@d K@&<܈a$Ocjs職BI\c |:{ y$V.BςCa̤o+PL4j6"QdxAr^៟pZ-L@ -S';ƌF=8B9'8{HggmoYڦ|rqo38CQ^yG*& 0)y䧨D:wP8ׅ;x>C JУ{]dzZ`5(d4o) -b=ex߿DYnrJw @L +QycrKI6jTiD:phe Ӹہ-|tۘ*x\tKU.#U@ 0!p+@@ ~rhږM iJ1"i/T֭&]x2wi+z17ݵS/O%K}ڂ}c_ :R9oԥ QQܳ_77 5D5 r.Fh$XrhQ.eǯdHeԚcya>%¢A7+~Ɂ2?ЧwT`3i:A*)!)ZYlRě cXnpl˴N-qDCt9N)ߦNN\8k#phPo]A*&葇K&~:X0޴(PR[׶DXFkuDaؗLwiVv,\PN? Ud?~'|3T:d1of-~`ƥ/ +. n4re(YGx}iaVxӹ(;?>:LDn X^r#@pF8kp>|.H\2R W X ;S7+%>t&vh+<4 gÀ{Q6t~^h|v}yzQI+Ԝx,v Νbs? hE4B93o2Ei]%q0zRmnQtm@7NWN3߹&fC nJr{ JÕ,.jjɨGr(>ᛨ@dG4 ݗdik{i*u228)2Jc c-)MW]vz!&D4W5|>﵌"rmlWpi\(L6O qG*|n UNvڄi<⳿ظ\vGsn_2I$uV.ZT. 8+_×+$0-gf[^*{_M(k|?Z˙*#r|Tt+ _*HI>< Ɇ,Iͭz 82Lz8T<1Cަ9DItv*+:D \2{~X^%T)GT&_vFcn1a= h tq9W_D&w˔2,C(tbs֏iճ᾵%;:c(uUǛsoC;;8|W[]yP;΅iӊlʔ>%Xu=m)J2B$C^ZgFLX9F,n99zߟ*8nCv~B@4B(p\.}X<]o_nkUn6Z577+ R.AFƕĔըvj_W_nm<tO&R Cс/.ԝ2\ rĚ%~V3=EũU~\wo S}aJSFPYY"/|:Z#9sp]v3úK+-l51G[ǭ&+WS6<Ө$XD=zJF{Z#\B^ (#iEsՖ|p 7m݁kbVg~r0|^HHQٞ^V*zݝX"qG+$G;MET|p8Yc l)ćlNVO\@ܘ2N#txXDU#c۞z!w@'d|$tʹ 5ZZ ".tl'ZӴBc+ +.bItlH݂Sh ^ZY-P-t*0:*K~^S]zo~*Sq07 FQ q45<.MAʸAcJhg4"K.??72*-VýaK˩KMb]xүD"Ll,Ͽpfs-jXL irUL]լ353_7(U%恠gC.HUԶ-%6wwSo%ZZȡײMiST C$#wkRZ$-p1͚go v!깈Z sM'CPOB (Ų=&:kN]FpHnDA,Yw2ȪH &k${[Ϥ1D\#OMNMmyO jǐP11lWI+2YwmﺸY[Yipj: ٵV>rocsbp#y#&Ωy0UfmFeXQa:͉ bzg96@6i;t`"2[(PWO;9w;"Y]J6~GHvA[;1 zڻ(T5rj- @gpd$7}qa!Vw2nhM_0"^wd=˃ %KnW@\Hbvj1+jlC65טԱ2(ڒ\a!bGi*ދNd~3hܫH<`si U,pִq/ }3+@d+0`7MV{xknѠ|/4eڄb&"a 03{NbS5Hpw~7T-^oqTB&3YT_qHI*rZwdޭX0}>(n$ 􉊅i>yZy[- d|w_$~+?1t}GyPC:1N(oimBDm~|T[Ѝm $DZ}W(dԵQМ}T1w d1ߎPCѬ\$|B+ߏ$ABlǍHMXL.QnkiF#± m /Dc;+zm;ߞdR jʿH-·.EW4&S@,()Y(7 u/Bbrq3hEӷކb%)xltjؐ YKeV"$'`Lg} tbRI۷'WS;vM6zR( ;Z^^e%)%חHLbh>Í+@R}9_' 'Ww60s l/@si5$-t7g$ d/_Ѽu*AϚ{3ac1jݝU@y5 ~6]GQ "VIQk/M#C3l#ݭEYa(Н+OwLSka?L!D`@pUPWF1hO qJ{巕1-iG@:\<hTfAR !ah\/VI(@(S.yݸ|7%z(gC]eugTKʦW=1B \"QR/Qռ./7FtPgisNbfW!aHԗaN fBKP?A> :+{V4{NK&tk7 $MFiPWݚS̹r7yQ^:/X۔5OGiܲ&bHA̡Q-І]:>4r:+B?U^(FݙRwL6݁'?!{-`m,PM!Wn?a 6JɑxCo0r~~8Z .lڃe*z͝(1s5KEl6makzu>=8YAk?C0Itԙyn\MtQOVNY¢62+VB+t15cy ;.A^UDy1qT?-JݲhLٌgbe/.+tH^ųemL6'mo8[H^[*́qQ:8 hHwuGa4ßR\E8ZB!I]̾n/i=9PbxUő1u#Q0^tk*q`XM6&n&BvT@ *\YȎ^ F Eo>OuH&7D 5@P':ͺ\D NtnjDTQ ۸wb)<wE7ޯn= MMծbV xUNRD@YGhp >a7a&ru+>->5tQ/Kχ=|Y7r]"pBٵF~bqaϕ,yk?IwG`t],LA$g2-fm@N"Ϛ}oAD{ [f[4UgK%zaĂj& sAC>1~?0 N [,hBͯfZK˗{}-> SF!"WdT>qGy2"D<({Y$S+G'>O;fYōHM1CߨNp_̽0)VfAv4L?q)(7O[lө`ቢp}yg~ Dd3"GV?0,Tq$`VoZo@ý.)ˋ8?w(BػgIה }ɕg>p%)T.MR)l9d4@ defvOE?%`TY0+Lkmk}]WDiKM⡇q6ێps}b!Ak:Z*:Zk*g(ߜ5AlbA7i;;hh k]E-jڱ}s{p(`l=az}<7@:T=GPLp FVx<.K,W}3:qY'P2scr"-wWOosBн pogP[2Ú4R=ȷFb"I҃ a/;kRљbvX&|W(`F<9޸ XZ[աM2-jzBk#4.!U^]A+q ąru,fayh$l] )yKMy>Uu1۸.oӘ#\|9^[!m4$$QhGuXVcd-x7Eq[/(`ܚ=fw" m}vQNa8wZ:xp&@4|#V@VNkWt dlќ5'QHGQ*"/RɅ:0:Əo4C6.f>Ę, !51POe5*3z=IJ6^4ۃQ?i &pG:"MV噑XUրRGiDDn[t$e 24)E#*߇g;~f 9:ADڶ*EWޟV_п\H}mU@%v%'#?R~jϾ#ߘ>=f*%ʪ8_8{_ f(朅+Xz }-,/Y0tȡa:&l &= ? -:bСyA.UWPn)chv Dߗ*OCY8 %mP_mnǢ[[N\S 4fMy~[RpT&q" 3b9ա8X b' .6(Wް+B(*^X5?VȕP{ii;ow]O9N]+R\Pɾ  YD4?(DV5|_nR9R^7Gi䤞);=Mi|AFPtCp(!+oVhp'?C;mZd*Rn=w T+7> C"E1'QZaO>yXJ f+QJ?XFUwgP} ΐ, wwGR, ;YN.=rΧ}k̘O4e+ba2tX\AF8>MRlE᠞c3yzbiAr @/+U &Io;$E7x7]stT@a)7]?f Vgcak{<4:Kk(՘q~mA̜]w?w+YOWitw :!XWa_oYb v/#Di^W!=*Dɭ5{+ PtQ?!.KPJ?i,Ė $sa6 /^Ub Ԯ ~*DnQ! G vQ>@465!BŹg*u5aɱӴKi%zTx3Dywђ80fCV~"<: pLC֍=9,y7U@k>|P,W%L'~E%1@/TQw͟sQ>"XEJ5mfLjv;nx?%#S*9bP@HxN|Co @~|UQ?°v u)@7X=~!'4z EB4F`Cˎc}Z!\s½uR(}YKaE] T,Cb H䈡gYZ  1=# DHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! %i]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn +(%ځ+z =ALb\@HDE,-hzĸ2CA<:BGjxhA҃8(R5ް{0S5d.|`iHǼ%vS0rcHbYu3P5frWEK`f#k^KY0)WyVT.5H!F✲f@e`7K {*jSY`P"tbIb̠ogKÆP6w1e_휇`(tkshuLb7^?d1 ~"\4_Jj-n_ɃoVNb&L6l#W 8cur_svNykBcǪg,:sI 'DM\W0شQݵ՚&7{]WPiv9xu6ia> Mutz Jmx[n5+Mh0M qv]n!7/R_3N%x溮1ʔTHrjؑع~/I|@>AѺgUL[uo["9p¦|Dts&'`;gzl0/LN)ϾM0b{g,_{׾uy = T'gťE [QLND'}hߦY10/;qm8c@3T38XE#ϼL~bX vMC#Ol)yL8t;8eA8X:R Qu%?"!9HvV.6ɕ/›[c~5ܜT$l1T䯈}NwI}<{#jpUT%LUsz8leir=O[.ɗ",3U[VE ?2clyN lE)b\SɊPGR%gVT-/3Α}Tp&tӞS[ g3IOSÑT`AMIS'p}[e'qT΢}Ӵli<Yv`iRнgPg5u@³Ƕ@|-b6b5P ej<LQ(q2/WulhRѼ)=q/~h ռʓwn`' v~{L_֡TI:8Bj++w# Y "ľyfebP|Y3 k:fg8-@#nѾ5)DǪ(tR$""o@J%(̀VC4b(ͬI QM!%w!$M^[kI9qt*&Y٪zgda ={ ،Hp&fhmT/]tFp 5;:/jQq㶛f˛9ܐ>,TA%h7(@Bl r d{Vޟ5 _~eo5O!A x6C dO"= 8|.[' 7bۈ8CX)Ҝ/2I }in/d{\âEɗk ´F8lQj2Bq@yĆ]f7=B)B ~ %Ȕx`9fK ;=F}~stq?̒V=u˻3\[b P؛oUXz8S]گZ'1G N&{q-/6S^Gg&b w,8,qoA$T 4 eh` h]X;H9~]pL7.{-o%nN|R +dtoE55HtbWظEk)Z]]P#Ӎ0+_no<񒯚~d -֑MטB4k O"_彈A9!taq '\6>"/]szdذ*o K O/Lv'DJ"faz漢mi(Dh0TN?#/X1aA&MmzgYZդ ;9H٥Ej4R\DĩBĴF4<񏞏.GT%(& xb(ŚQnKǦÅj(ܜi ./r0ȝ[rV?1kg +twz 4TՄ&NyZE%">e>F Esz#vjF X)p78'd͊[+D#k:.\kByA E}(õXX;X+aĕKD7;h2%jkݫ9ULtrHYYp7)]r0D񯤝%nn,Xm3 u !,o$*x}Fb,X㦦a7Sn?^ҕ{m丂'=H@)* -(VEls)VV2U-moK10m<5}pAĀ-a\$-9w-5m1TM`mPDII591@]F"Z2"ToG6rV y5vE"9Bp[\@.xJ-Vτ(D֛oP[RtQ{T?-2-{.oaۯf ܡDz4BvޕZ13(q(*E 9r ~#/PnXf>C|PBH7f(*PFW˭^"5 &rUEp ѷf;k¨j1ZM/ 9=XM=_ K0&(fLcQ36ͷUNdS,osaS{d ce)xsp1vZʼnΠ)jt:ʛ֏rt(bsJ>rBdp6!G|]HB _xNPਹ;>S1ML+t:^wy90D.s mF+;utߢi"jc3!1G>dB fj9/Fty9ɩ tP[G[̰x9G# GX?tOS}h#>TʒB8Q RK#m /@w=7!꤁ɒ2t?C +zMB 01x qӋcN[4aQVB/[;6/6`AD>/#-ѝ9>#Q֖{SEvwTI^_/Ύ i_*ziة"+.7Q;4Ħ}Wx<]f#iks0|bcϫ.c[5̙&<'y6ϖ\@pJGC^fYnX -@Z1RHG ɉ+╾/ kSD هϾ@%K9k XIdMn㑀:D]sB=.s`ԕ7;)Q "%Ra(Hj\"I"7gDSϲ4Q c\9!Eec=l a5B0C\:zNOEu ܎⟷ _\y=?rSB1ᅢc{ 5Ո\.V(ޡVG>]# K FwmeO1abNjOɲm[z# |{$8CwsGE& j3-wa֔M8ŗu2+.-C1nAQ B"epZ2n؎d7lx0hֳ˪ <?}h\X.h:LD%D~qgηKI^KYLm'O4aʧ@/%(-4{p!?.UǵS߮l N:o@nA(͋ Ob]9JugQ?=F[x]# fy }B>/s֒.:],{Aeb |^T-}zq=b}nq SOuM€?( d"UD7ԝ$Ξ:i7x6V?ǧ"yjGtUڏYr3Ai*dQCpl; /` etRM،!kWMQh*Sx)ܹyL/h>,Gh!Ax[ BH;)Az?Ih4:}B -+T[t}/1f? EwE_ ߟl%tr2YaAAD\Fex-{4vZI߇n[rgC˟rzN{  1I# HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rmQ?e gA?䕕bt. wMH*\zrAP)4B۟]_;Ɔ0os?t?@HW]جI^!a/+2N&0k&(:sHQX);RďtA0FE|e(cfԂ veT~6&' R6J`4Bo\ 'q~)Pjd}yh,ړ5 9HE;!& rJsEL&l1|xH&W7fLF;qz{e쯥 _{rgpeH;mAV7Q+TH [4.Tdo_Iv(]d#s1'Ѭ? a^[XЫInP,Ku ؉%*Vl0:lm3`gV!cjd%rmt+q Z`r[F3N]d$=ygʹ:Oo=ػoGspWʕ~p0NE{9xq-ymESqɵ3(>.M?O1Ckr' GxY+FٛuI5(T2% ^pUm<+%}K'^$Hp_e?dBW޳U$'Q皌iiR)7JH" &Plv{Gc^@Ĕ0WsrϽ蚙}+#7evjU[N7Cq4W۔D#f~s_j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id522E1A' HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zfm]Hÿ. ϱQs>f EUbVLOO}m}L\ ø2<):ERkU&guOGg=X1TvUQyb*uV%"fPS VcDA[F:őib : SԍJ&T2e:*.>|H2LąD~seGd/K $ɱL=`ՉzM7<=aqamgek);ٖ[i9ph\ UCuL\3݉WTw. 'П$$~Cɛn PZȎPQZVtm0+נ9b>~=71A# |HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! 5]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY-lWq3oN}'##Ʃ;?g'?ww+!`kQ ݮOX }>'`t}S ٱJigJT&x5󸞿 4rN*U[<)ƺ{&kAuG.Һ,2tT9췵>7@$P6&ptGlgi$-߷ЀJBMC S80ɢ~_#W+;0jJ6` J6qXp񍕸<4ֳk܁v8^vKT IEX]#n:!]wR8VUUnBڤXh Sn>$a ҆g6Mc41|KiC\#9r\d- 4[wrjFH\ضOބwR+.5]] M-+H.} oSףMqI=$_>&X1͆g+[! bIԗR{B;[^` %B c͢^0";HV?s)j-):nf@=S RL?ǚb@.+ !;C.j. {!u9v0-5[3~^zKKhU=iY w$:+k]VONVjNwUQ'X]L:UIY>z#DzBW  ǫ~`} k[~v$!D"2qm%Jn 0&p2GL%rlsV}*A e$Slbwm%ݩ_azPɷ1:n픹ߵS d&>;1'Dn?&yZ6&|"ALOVQ._ #_KGM1mzւl 7##گ\/DhOv[vׅ(t ]>(";X覒T G!#O\MS PPiH;ayDUE/K|z'%Wӭ//Z^f2| ”_b 857t^Ç2s8,33H\ 7wSje`'^~x] ^6YG¯ܿr}Q=E=N'ҙ#sCi-y #E}6/֠c UʲN=)#'$EY~8̦3ck oNtj2=>)7#ٕ@&%9%(Q8w qV~o%~?& j,NC;%Tqi5wwt wnzvX-qV~$Ѻgcۈ/♅9 * ',$Xlpjd]Sr0){濥ՑЗ'KzG%G{ #6 Jłd;1)21t'5͘wPw"(u(̈(xծ<kҘ&4B\CVGeERC&~ף ݤ͙ {&k(49 -u駚oБVƂ[Kk"hGyW,Dgg xmENbs\8t` yzP4P?Llf+;]۔&_4ޠ;$~`h_٤=Jq\4ݭ}CvfPtPBlopʜ^QQxh%B%&4™,$>LUQC] Z|&&*D] r7nk͔$ۙuq ,GJA2 2V5:_ ae`tAsGEUf %JWyLy$|@_@7֭K>\#leqe{, Cr  [+Kr0l6W3 s UD18Cݑ`{.VL],Kb6VYӞa}qL3-ts=K|Iy_ۼ~XDGA^y&lcfX S;3$A7+g~Z&3"~W}d])$c;FG@,%n9R'-RjRZ8,O#Oa9{t3jؙVۛm,{uT&XR0y՚BE%kkjx<}\ (I?MMӰg*0u7[οCNMB5x^Q*gyl=zh(Ra tl+2pr}*`iUI!p }|#WDq) +Np,#=Hq9Vn('υR’i$‹j?W^Sɦ |a%δnRJ5 "zve (-U>\z}ŦE )Ȋ8\ެH=l+_*<_S1ċ:ѥicI=GS>Jq4,4yr@i=S ) <`هqo3Vm7!spt6<6YY0 t̳wqRb_|= m Meo+oi bP ?$΅du0TbM|%qK=*%`Bƫ#G'TN'BT u¸+NuDeS#q `N14zP7̋;Hz:5 37n*r!Fgb] Dx&edޝMƕ+qՒQ݆)~Ԯp*27@Sg;Q}+Ut_gt]ZհcN `Kb<, vv0!S=,6;ZUhQAd1NpA\e-{D"eR-}ӒS}"7ZO{RF4ψwܮ09᥄8@^͘D|8SruoT90Ȇ5rK~ۮ8x6=*gIw3i-вBvs@0e~\])lꤸu oS \1qA=kn,F.x҃Hr4ka&l#|B!g[k"Zgx$B^Tv1jE^XEz=jCt_^َiL<1q^ #K4k%䧌ҭ iͬWG*T1~㵵ܒ۱8|&l"ۣ1_/KN}1 .zrK'%`n\1ϼNC^|J`ʖ%P૯@n>޽{6#\͇Is!ཻuDK8{nFD J 5,z V":t"ќ Ae }NnPVm3. aK*7;V#vգn @1mVb]i2_x_+U7$mO 41cVj0Y@ FCgʝRWRA HT @dqV$hCQu.YQ@H`HI\#7AFΡ3q)^bLyXIye \XJ_Rab#2)8~@T:T/cS3z.I=CjEZZQ*#_#QQYxqU0{}䢭TEGm/sK٠Oxkl4"ꂩvppuagm3PFmyOIdo1+,7խM{yWN[e $ӘgDrvpliwmC)ʗST]C)mJ׶WID%ٗFC|[!}8' DV}j)lecف0,n!ZRbaXQ1EpM SC!0Iq" oduˇqqA_xS:Q"FBBj1^݂z"(6}&67Cf603i}bAޢ:Xjtlؼhu%CrجOg~hX^E*p0'O(l3#+*|jphOYǩv3!7I1` (bEPK~?--5l_9;G:ƾTkXFbBۆ`Qqf@ mJ41*V__Z@̷2V!oE"nFl&X24 ǰd\Q e(ͤ~gLLy\4) %]PdN܂^:T{߮)ٝG zy6E[-G0HnvŊ *I>+0"B$$Al/ Icq0Rzp%DKJ<8b5' 푫fwnAYHѵJp4&G kQx m,QSi I6qLFx;&^mz/}խگ2CQ:LLے.~> jQ;=vgZP 'eQ7 @k:!̓v0R@Q6oU !ۨ(\*62ο55Ψ t )Gٜf3r`|[33x5160Nu4,A락r D8OQϜTWX]nr"4{V4 uIߝwOOyď2Pm_ȿdx;ځ^P.~M "qYΉK)wP`̘*@a썇!6Rq 3ieGYa,g/v-ź@"|L: p3 +; x¿KCDŏ#ā_H 5ՐA0~1kY7/|:bnQK ߊE"cEd,?e [QEorL>FE5)_9N9?*=!5E%UD|7R1Z5/*>WuPp1O'P FkWO2Ө e;h$Ώ榲8HB(FrS5ra!XYm=R}M "?kJk- _]AŴdt7C~$QNmY[ҝ\+3l".B/BwU⮗[~U-}HU vTڹ5Gk3\!ڲ 3+?!cx-cAU،gۅ GmUoYvTww$/ ^V5-!=_u@bg4ɿ~R|p hMieJSN!)S1-Uq~HzW1uƵ۹Uyڲ剥UB`oNo.f =BpI)b!j>G~@ӛ1YT1V\DU͊욫'mN@|C;(0=umR#+!1Õ2aطK:^vfp@7;:P ;B$|a|XD2lU!\Z)I B'cq/ tXBQ`>7HN5ʀ_עsZ'*o_< ;J4%qύnZděj¿mqX^?+j\O˥`1 zV!ʽ&Hn{K+hvx^.f*D<< JeLu0U34y3ex^(ATτ@U-s"gN[r=  @fR eZ0U G/w0ш'ܯ`Z'eG*Td@0#dεfyO>bfq&_R.RG Bf<龂愁^ɫp8ޤBb&' KuL7c0Oiؓ9M.)s}DRBT &ܰ-p?v۫:G={![pc2cOS*~YO.FYp9*]En +,80~[ы6zlH"8$D^Z[Hg,܌`zybDb k~so,ېms{m/!+*U-3ٲ]R=GRAvo.΁%kC&ߜOn$r>@+ǿ7C5y^:.ud5sLT=xK@BzAl0!xdO=e%yF /'R[Vq@ʟhM^(L& UN+y4'E#Bk3QJ kP![Ĭ#O Ɨ+.bAK@@v*㱢rXuV7?H鑚%,zHlWYE@I "J8yTZsC[p6H #z5-`z&# \MQH*o2捙 A*T/XƘY} c,mJ#6rW͚kw<}Q=*lslsQ|Sch$-/ 7{gή~uDk7QVVI^փBEalϣuG͡WÑFJ \nmf0XAv8O7ۀW%Uo~4Z~I8 )luDp$J%6!4a;ewʊp'/J7_hz2Q~;ox Ҽ* >le#2&4ݼ-ô3mz- E*Sep`*+i,Z#8%ί<"0FU XSw, l:;HWr>m hFf6a jq_JT6iUZ*I7hM<8N7g rrN%1IfجrW'q!=ehYArd%do߿D7V CبτLl2)pXER15X9W<DvOYZ@c{=@`_ Un o sզ\ Umґ )DRSH 3'~V?Im2yO8:ҹ:%j=P%3Yjj=;6кyp킴D}'­2Qojh]Q֛Jw|";; .<wngh!_|k$P]#x!ݬ1=LmFc}ȉ 2,9f@>m~ݛx;.X\Z\xo9]E6nҷk],LőCYpL_d8)q,Lk 澲x?H/J*Ki1 Ctā6zn.B4{ p\G%} 2Щ[ifbR >ibV M7p ɱP/47|VfKŤ)•4xĔZ܄ !G8W^X _UPv>=>4T@87 _w(} ]<qviu< st6t(;!(T)`@nK̊ybdj..<6NlyԺIfgkLwa3/JV)˱i䍷 B(Bd O|mi5}: >SSǎұ >JOs U#i?C =W ,ƅ +{g8}g#/bQR@T8I]LOQwg|OStJ{y\2IO L5A̚ץ{ޛfmi/8$ZZN@aG[xseCxP-HPg)in`FL+Ur(Q@sUtPsU?v?hEdYP3O&sk>t3orf -sV0-vKN*?)kēVK;©fpj;T9_d^CgpS yH 7U" iE:rmTȓjrӔ lc[_DG`աHYJhΧѨ(73\VOZ nX4;ײt aRd*%X렍BB7|%ecYðwY#=1umjNq pD} 8ކgٿr70-b9\凤kxtd5wnV}ܲntT78-u?.8uN$!2bX#xz9xKyA]FKU>\jVڨJ`, A7ʄ4K-8gG *,BApo1SRICELgN~p/K џ[a)\N>~ O>bE ȟBGpU傲yɌǎċ׉:|3 K'e7(#Q>Z+jZͳL }=.4f:).qB((>+k@i Q.hMO` M<Ҋamw싆/"VqH}ɤ>g{]9QOk5V+*ٲ۪.X\ҝw-} ?#i**xImHGB&HCLJT('8(k5#RxyUCE:: %2;.v,,l[>jG3(;G”]T9ir'B*+9u*HZmX`m,TkeO~Zڴ*93=Ď3}:HYeŻ8N#ĝ GgS-/el¬_$-ZjX2 ʗ1mA nNTOq)t;Y *2jAvȯtW+ק_RٳWp2Z^q}ˉB꥿gj={,'Y{3ߊ%@I,32Ab7%q!%F}y~Z<ϰ0[ °=2ؐI䱄 i v4?M| Jb..|=A9?CMS=ݘ"|~N Q!RAЛUhFIubHXP| u݃GJt l L_P^ ,8;;fIJB!渉 0/P2va Hi` Z_)- 1F:z<ߖL nF1 &*r-pOճjgqZyP[һ:Mx- Bb=O $ ܜ,PHaXq624&3ɍ+{J;.wO^$7 #w$z;9.䊗VyDӴ<) F+kOTۢj&|Fxm7~*_?/G8Xꭇvl"7IC)6CQprpgYZBӣ1B斐cLEX-UYA΍Z> gKXzHp- 5~'{(i o%(')S:ay s>EQ-aКXO?1&Ym ܤ4B44\򈨑Բ"Ѐ7[׸q(ja^v.hP ?&uwpA:^XM C7O3mɵ8I<β?X*tStcPM7+|dgZ cچV W 0%Lɂ;l]Ntq+t!t&L_y/MI$+үlsGڪS }cy&5i6yq8%zYj΅im+:G}!3l'1Pǂ,A:n`å!͌ȲS,m6YRX7v3?~! GaФ5j?Y%(aR뫹m'@vby>5&V03gtGYb$sw>]Ϲv(Oj[:8:?xOqN3RE ^N%S%vll]\>m0p|s$t;%!9 P㞗`QtwtWțtZIŴ=qCW#E0}ig~&0dy $_gG*%S"^tN?^x^ϼԲm~-qq%pgŨ*CJ6;s݅oBeAE}G*9ZrN֨ު&M,GBRe"E"gԟ6` RОA'^ j4 Yf0XCR#^ֺ$M$'0YxW6>kH&CSdO_P †=6p^ &ϰygz-8O*Ld8g q MybDYhxcHyj1AD%SE!e[ +Pmy&'ZWt- A#ڿE'N(ma~A_0 ոPiVD70TVaJPg#I SC)i%J߬QcU EuTyK^kx4|ǃ-2v>,J(;1i5(Lҽge#F7y#p?$SmMgj;YqTV~Axe2_^" 0o2^t+zIzY_Q.xzl hZ"7ZD)\ͫ=@`}H뎉S&Ӛ/egckZ$Ҏ|mrP lAͽχFfE"Pp|,&\P &;(>[t6acmtUBͭ{x?<;ōyR Ϝ9:hʒ\M*c۬~9}P}ۛ{󮶛n_5T72,N[Frqn bB/ vV&fHi;NLIpd6 Rdj ˝ d\WٮKŇlOmXі灖wgbV]9^VQ j+-ܚ3 դbo2oJ{3i:gW\;܃#$j|(Pr2R | !w3UM*AȷқE@E;]{C }K!㐏7]B3a*B;mg @1S?$G1@{/1P)f)+KE pneZ6P{4jI`NĥGeZ._.)G9 OW \HulAGQkIť[VG?B|A~^p X{z$"0}LsytT?䅺n( =a#-<̿!s+~yڃJoxWq&.JJ5 |/y%EDVpfP&η8ki>_ൄ#rI.dlwW ickB.iJa#pJFEǹG&;b7Z:4et\z( 98* 9Ss$vA pҁw>n>'0, (noE2ZJe+My͏m6: u>Rc#JV`9]:{4<t2R꺌Ю_92*˼w0/h(^~|t(bN{gYPgXkgH3w~nqly&`4QixǫތLShJVޡ!BYt,cGmnwCqJ5$属W;t $-uOGyq|rE^)FėxTſ$ O!F-b){d/vW`\SjTDJӚ&Z džbu@f;#T Ҍe|?+|C~9A`vwi(g;Q[灆qY8þ#vF|15<%;DVr_(Ɔݲ'ha{ۭY 4Hn)3lz@rbkF¶1ց)l<YHS);hفf )B|r&1!b52M@1Ҝ%>QvOd"aEe9C DqzpM"++y>-$imWLfV3"5h~u(;2DC=P-Ηwll܆M+p{L+^ d#Tw:b($EFJFb?*h'$9g'wFT. :zwsy!/4M9rHnI2D 4hG6Vڧ*eI܋R烮kݴ.6;* B\24RONК:ǹ`gu{I!f ˎl*<}Ὤo 'Z㺤tzD7[;, /2Rͬ&g] # ױl) t%.; We\U\ʧ\kJ|N{&+Ar$K!:mj4Y|YԩtYǐʪVg 1T ?zKQ)YzZ2(zゖJ^;5AG B1DBS.]l) D &5?͠#6N9{%R}0Zڌﰃ]k$0hEm zzP *k:FcNyc[.mr`:NVׂ6Luن@Lc «.=Ȁ!=zT`MX K@('gf$b)(I:]*|! 9kE8Ir:R җrʍk9zf|-Q(OKUg2a?od󬳽 Z?^á"ޖ6,s26OŀUqn>niU 0H:; ~s G9g)ƆIџTeCt,\I!w -~NsH h_mw !un>wBqƉRؘ{"-;.:RWPhTiq4&*`'̛L< +/Rդ++)8s~˫8R lUt~?+]:Dx/0=y<W:^%qoRʘ}k▎ ~zIL^ڦ(kuii8|2^Dr[}wxadHa [*^I~N/4 )ԣid;_J{*wsId?vތonϝ4^ {yJ2 llLRPd9⛋]IMVljB|z4G똙lBWM(pm;cOVzg:/"i)oK.U ~NԿE+LEQ8$Jp2ks7!,4}?!ZܗE[l6OހS:"xkִ %s!Uvr13%?Lj1,#$U-ccdմ;j,vzխ˭pp=xHG@4z-; ~P> T)XdU4]S=DRɛҦA0ԋX1au0Cm `+:[[e{~)&P4vsz1q+ʧ ^k`n5BCt *N <ҳ_ kno. %'j;c}Pmyۍ]([.Sdx cS";m8ok# +1O4iz Pl98}tl3t;~ Y`1CB%`l8XQDu+' +ғ$M~юs@@5Eii\PqA۵'u,F闤=@\{fػ?&M]1rމ0SZt::{HDu/b@b~؊G^@7?%;*l"rz 3EǴ_ݑ-ߟxV,EG0, ޯm6¶GKfHRt,5~D|ڀF721|_Ee)%Ahy{;5ci8qM^hM)KnރZ-`|Udh[\ "_Yw8J?Oo*/d k$4.^^?NJ~G8u XhE:*ˍwy=i26xh-!zj#l /czAѯdrD$Se?iU3#E,sP_F4t۠ɂC})z ;lȻB'mԈ] UQMwo"Nq\I0`$Wf$`4~!Wn8Fނ\s[?W8Yp^1~HtD"pn1iRs+\?mv+oqP-劼=BVI1J7qC}!rkT<(%6\XтZ-v|%Rg3(PgȀ[`/7g"5odhL/{uhA3T {hQ5hlXt2rl'RIq0|2+}Ge#'l0VJ+D9$élF"N oGV6%CU*|/XIFIYzj;RRsGjؖ훓̶WCƤsHK!T8!c?Rzȁ'~9D9)CK,j k1wW:SvWbxT{4^Ȅ>d}AM?o([{o9Tv Zf?9~P]\0 y=90,뻑T桘ng8|dQLV>#Ű  J1>w m9n@l3,rezU҇87pgm #5+ǒ[-"x7kN )T͓ELEJRgbskbT>*CF` \(A7A<鎋h:G:QE&N^Qm[lrhK 멦+ CzٖisK Eh:š&,Vj9;],Fr1tfR@(I 5?20.A%Eݩ ;DQ=PHtgP*F"6K&Hx%[Zu *OҦ&8J; @+!S]콇 iNd,EԲ+ 6*K_Exnه(2jEآOb#x9l,0y[5ZUPl/U)Ws/}Ys(̷)຦%Ϛi>o]$ȸZL": Pd [=&&Ļ-K4 MH}-#D[^rxFBQ?iE~JYuNѧy{x(t.N_BjY0^u4,a]+u Oۈ܍U#`bmk*9чY)ñ[ld4Գ?R54BBL E\z: huP^e9nũ"^QE:[U%oV:톻F^U:Hb1M+yxii<`ggBV$,9&{مTzh+U/ۨ0hbL_p-nJHQI/N >|T_+"Oy ZvXIRtyi]l~[vi,SIŇX:F/tSJ^6ꩢ53"7Ϟsm$GK`Kuu#|ĿJI݈@JY7 G+cNnk Hr@ YBib2+=ѧLF=AF(O;&c*퍞Y]eKE= 8g/i D KAD~*OYDKo/|lb΁[ħ E1mzR43Lb9Uc{~^Ѳ4sC …%kѝ;67neVD-#i<*\8 (OY!K}V-rEEu1D[O)5@IL=-HT!u 4PomXRa‡QPӗLJ}Ï),-YҀQRaXJ %l&Uy;n˽LAklBg2EռbJr™S>v@́o萫Zzyrf28CŅ IdtbA_E*[Fq> s|+×?Ѫf_ PLeQ2ywyU-.hxvfS :ӻ2#d0'c@`R1 i#c˫Bѐ&:2wB<$oWԹM*Z=?z\6q*ן/ϕvЗ?`o!d UdDc|'*rWVWe $uJbwvc(XȘ%1(rrV:2ܝQ;zPk;kߺt%ksh+z{&Z=~9 V2!ϔuTIR2(,-Xs6M>a[[7-vd.IZٙ|o'mUߩ9'-[qk*lH\<8e~ʫd:?PS ו!]ыhe5Bp1s7$8E.QLQ~Z[H?~&;U]G%T 7 9ҏQx.?Tc7lv"f"yUZ^|37q57Z& _r'._dz1ʼnc0hD'˅8'/x\w52o~r.1~^ n{nB"q9-g?V/tdϒggpwGF wO0Eℷ挸syRCH]ewif*53vLX0<(Bܲl@Zu'^BVlA<:50qI^dp(0-X "$wj- y̙"XiS E߷ffrh1*:0gJnjWٸ >&*Sz^Pts52@@]U En9̗[[a_7@/;lD#${xE9ELB:$RY`H+Hxd[Sh7 gڑ`H_YL'âV9 W{­u!An$&W)E2y8Bz,KP* y0&<mպ?f*_}ا=wIV3?_I}dBK wZ$u+\߅܍L<;Q88R5a 'nh>H9}6N>8)%#B x\%jԡ6 v61 Z#W=stAya2QgӣW%~b
vd qs& dx WrcPM|Ҷ+#1ƍE6jpj҈a9ڊ0TnTK6b "ցg-OISfGnLԜA?W#$80~t`K-d3BOǡ8gv|"7AKmqq!_:UhDy)B2S$j둘킇E@ ~:;wy E[}`o) Ǜ;MtWe咥\y=,~ [~efgGDimL6BJ03yZk WaųѪ .7L'Z:타hi͌:  ԮCk*#)V;,tqT b@oz[I,1Ro*[7 P\=C"'-ZIt GhJZ +D E)];'kmx~8ֆo>Yq'G!q>[k/ _I}ҷ 0$ \ڧAfFPTyߐ1s^h2\=mw,<]5kȬR96Ğ85 ;Q]ITO!n A?Bp- 7\9E mi K[gL,"84 Lj c=JbG ",^ (=8u% KTl4.0^3\T)꺼Po˖ө q)U=@EZj= !;- -VÅ[n'Z:Z_u{\գ}plqGP{7v4Iת@ c`.ذX rͯhsb}-Q oDJ{aAӜ9ɣ‰bQ`2 87"fj]S19k/euK:cC)6vፏ[5lZoD7d'QDBê3 J+OMy|/䕃{MNL]nȐCURE*ӳ'쿑k厶=&> [IR_")Z!FGvu8Bf@ Vv44B:n"85>uVhLpzXiIG֝2͐4M[ (Vƭ$w F"gވ[nJC(͂wY\\#JshDnOSV{ci[|ȯM>0-/q&G_pa[:`0)h"RB.c-`;OJ8w67K7z=@ o23nRFUxt(_e" ۡAT4 [K\zd3;`yLQBm Ȁ9̕Hm5i`EgCשZb/X~gތa=? D R!g ? (5yϴ=^r, oa6z~is|K7Xq+n* x' ΁;qXr޲<1t ^aXű$/8wxB,h݌16DMOF CSGbD] z2۟jW;2*mZY gƪcn`{1%4iYs#t(r_ ߱CP*Wt9I  =hnD6}um <Ja0tχipYrRqG%yPU i_!| I7 :137Ć)~OÐ룺%-x{B.u' Z\Xȫ]́k{*K^a.Fyb9z*ZS?O)מtx~,w74]Tʅ`U%LWrJ]HqC@e!b']ܴ" h%+΃J%,ʷ]C- ʓZ|iiK5z2 r6 +C;$uF3 wL>9K)" C%V$WEB8x>dZ\RUbR`=F" 6dPy=p\oc0`r}\QRǥĿP+ ],:\ee6XzD@~3Utp֯4OXF9*d02d7^)2אpa֋> U4u쀙s_18]v҇U.X P%\zIǒE`c-+ V +0 > qv&@!Jq؊T኶m^ d2 }c+%k$` ,>!]}C]+$f#+G^ F 1Fh-QŶK41Zn"sN0rW_@Lk",5dE N mp_QG&^}g/$UPrtWAk.FnR 6W{Fk*e)H?cSPl xQAa)❻ ^K(lob~ s/EpC/\=.ǣ'(<9SԜm. Y{0Trq0OkV:M|"E&Avr<a׽G/-#Ot<iڴi!^N`Ȑ#`CB돚5, uk$z퇯CKj;")=YNsY*VG%g:vMQ֌knMDm&$c;McBeg+TJirHǡKr3AIHVC/^ jy<9'}Ud*DmCB=/y5xY9"E'hi/JGޙ8zD=GsRsumQi\&;&3 aq&iiv-K#ʳ=v^t@\2LJacꛟ>e <w"j w2Ng'r^;E7p|X4b'dPB430,:;ѫ|;E,q:\K3 ĨvSPkFXQ䑢`ZP2 dw i9DrK_K//TABMdMX$TkPܖe&uŎ\^/e7;d19TVH1qPՍJVҿPpG>W5GknݶfyM"sͧͺhc 9y=`, FvNg ÊsRce Qv*HK0{ @@|% ID32*E:EbP3HTJnwziQg礭W_ 2/ іsvW[dHF?'E.':5剼8YF X{"}̯䘘ԀI4i\m*mihnE:ly;&/,EV;=DhtY>͜yU{뱗dMXG,|{{lJ[_̺)9&2dW+ljv141W]L\ .SowΙ%C:8md1Y4Fw<X= V?Z\'͵l͙أwbb5rE?I6Z B]܂ϮJd{-|7,T:|eEg1ѪwGr7evlOnIJdܥIlo1lL=gT{,ݦwɗab#v lg+VA|L+L/lھS2%4_$K*@on.Iζ}VV9&JKs=QS9i14Ń}hFޟx;,^ ̐馔(:xs>'J(0l+,̏=lӗ:LW*@<9[S M`!#p.J:嘰FϖK" Zd' EG9@XV4%:N9iv Kz[-J5`2s,CbߟfɬX(~-)+]'4˩`YM,]-޷gYA.My_w4kLW $/7"L#fiDqz[not wගh-`9UxO$CSI2\:}݇+g8aC4F͐c8{X'IJb Bf8,_H 1t ^I`_VǨhz~+HG"<P6e웊/Uj?k҅T.|OYkfpo{RLioY'i@cJ@ku= :|]Wpl+,NJ8|PuyuZ"i0b9s0Re_{UM.T۴@2A/((fbh7% qCR$S74)ZS(!#hmk|ETƻ$ΫmbR0z4yCX1n;#(~Lu,Z$2o1+.Ȫ?B'Ioh8C٢jM̞A^Zt3.ڸ:F_;A?*5IlM^J7RU_'L=MQT!z<<,-X5_AxM7;; 3(1`Gv٠]L5[GlEs<{Ut `nDOe?AqCѭ 6ki vY>Y}iz wNmXh]X6F,F=?!8\mXWT~DJ"?qRgbjl[SF躝5/J+V^lva+4 sp{+@ imx_b[ࡇiZ;PO줒>+ K*z%r7ZgH봮#Lv\/D=SА@ҏᠬڳ EhH) baw؃PS0'h졽5GX@ۊ80BxRun!„{Y0gKK٤LO4CrO /wNmu|"UYLT=gXYoFO7EQCzvn4S@ D_-Y?!Dy7 cA \+/0}2fE8Y2>#7ߋl9<hB,3~%M/u@<)V0V!Tgݐl,NG(3*^8slj,9.Hvr m(NA6GnL{cpN39Ҟu9 ʦn|R)29 W?D c(V+J!U5wEajh6sT}N(md:!I,\ݏk* &\-uاޭyz=W= ,OW7ݤ1' :/@%_MX1&(ˢ}(b4dnV|6ɎڀYٔ۴4 J5wČh&/0|8O!uNSu\+5=8-twz.a;Wd#n<(4L$k9DEL?|b{I0!r&Q(V^ӣ= {n}LV(` @SҧH_} }OaF@rLgnuA=DJ h|&uF:OYz:U!`UQQ؀ X~xFw4d7ǯDjq_j^YVZRatv:@|Ed.h,'x7$'W`Өh!f̒E}CVL̈́R.5ܸ-\ )y"7TvCQdQ}Tf8Te:ؐs=D6Ru.Xێ~b i%5]HY{]F댇^n*at'Fn}IWR>wUc1ͱ"l`3A[ + Է ;M \K=TWf,' DrlzEEE2Xe_{02YSK˲bC*wjv@=pϕbQqF{mQWgUBvaO-uSI#m~>]%`1R[P^9WB4i-ye㝐fK"h' o1/InAS '+d,%,+1pfy#U)Bj>v1Ra@*h ա+_@ֱ/{A P i]x ڭ%}X&nRSG쭚BRɓtܰ;^!f?0.H+*fImP+iI/kRl|phFy!z{'ڕ_57v _ I LvsuƣzZ^ M!z(܏_[;`0N^ͫ0dy"yJ'"j]kdtA !h+Z3n_!O#Y_YVr;VƿAŢӴO'Lg[Y+%YfQqUt [*3c_t̵w8=l$,yG=Q]2G)g6U0~/yf Ԣ!, 'b+cp= IB,ytk·S@HB'+"~1k`+^iHrM4c@ egUYc@ƣHю,_ cE_Ϊ@"pVznn@>TH Q=i($8BƬ6>-%搮={S-k5D(ɧu]1bA"CIq9/%nAKeB|]dQ _%pjf$K˓g=yXIZ))}x:0vS;6)8A> ƻt%? C8D /_-zabB\N CF0fXk+t;>Wo:D|Ox2W g6~4SJJb}VZ@r7 )ӝ]~/0hFU8`[ }ٱ򩗊,e`Ƨst'ӃDytV F,E_ܑi­&L7Ow-&I7sb+1Ţ*5LGъͩ`cT9n?Rjl2-"ϼ%}rw~#%ɋ,H 3 8T&CQHn?{Fːh! XvuuGr~%NEWY8$ ns1<^_nHbo[BΩ.$8yHeE^xqk74_DHm޵^x2<օ>>[M dyz/tLU (kJzWn膇.DmMu~pzT R a_7אc⪔FOd1ͻ$ƖU: ja b,ekR$IZ Z$\h7\*٪L4y8{P3ph o6ѰZvK(Q !q@ќmsl.0:W]uvn^@NBл:BcTݪlɥZ6J1"ɷ4*~lg;!5BgX_128]VWNd&c 6qŽ`?P_&Q.$EbzMHB;һ;ޝY Az#kNyQ ՚3 Ml LJٛh$Tx)@OӍT/-Zס0VEM$;Y ~P8"ө d~6YPg3:8ԴχmGwր ,^+[(0쳂^k48\G0U(0|hKd椿Tz Y$ms9(  KGsM p~1^Ga``{>E*!-M(t'ij"0eCݏԖ Ⱦ@E8y$wιVl[RAcv|ޱ)5dTxh;H%Lm$u:mIAvݷA*\>GtӠl{Y&Sт5Tj)8.YDvC'[Et0X&W@OKѬ>AZ I:Aή2'y;4;+g_V)}X9󴺢Uk0^`SD;!7jr󑰇[{ G'zjB)b+/G)9I/ߢ[,lMC|:*>ݰ&5U IƦid˕ ӞBk:wlMϘ)3ƅ\qip´87 0{K=AxtA}G$^8ήaChGeF-`̓d+Jnkb}(poR 򤞋Q5r2#Т+9CzZR5$USQ)ij. x8 5Hܯ^_ '0j3NoH@ q]ݰQ_DVVp6 ^UmS|̮q`Ҕ20$Caҗ6y˰*:0-xN\RoEPZiigNmX%¤Vu#`GD탈ϯ9M@:o}&!DB|5,|~PEQIAMF8S[ *tA eI$h!r;x'VN䦽tYsLnBl~HEFiϐK$WrэQ9, B+9>xvg\_\o\Fآn͋g0>v~OkX!OU.Ɓτ=#2Rwe)Wq;F5W$"#! (ױ>aB.NUN=+}*،'cןcL횅f.Vw}E+6)W`3$ɻQdFɴ\$'H_8dGN>^ydٹQ*eЁ/8!u=Jɮv-,OҔ̒j+FQ~cjEd#Lx;t!F}f=ӫ|E|*Ix[uX|)L(ǭnM#דk?ɭ6ږW6(Wh$D?U7$8ZdS`Rnv^at!*2_i]Ps_+ \D 'w B%B)>VP5#]U\ig|jz.PM10.[ K+&ŘaT_Ui&y]"v[Ns" *k*DU^&@MFtvg\Xal :$}1gy+V|iߧRDx!K0G6hun5ˮ.նwAoW"nO/O>܋t"% f&]Ox#(!s!U=Yh8m߽b}Ц6PqņEo;c f˂.K1UBuhCzy [?|sr,m4߫z+W}(6û84Në cJŠ|(~oMUJٍ =S;[Ncе8̷(>Kk{00,/u)Ll=^3-k7P"fh~; > Khgn M_K#xU.Ma B]Mo jY0{S*PX'Oh-e[v1dir W';s-*#P\hElrI:zIF/". lc+֮5Бy+ b'Eƅ[T=IIP,/iu,u娈x) BScچԓc+TU,ә 6wKd@!r.)`rH17I[?ퟸ1t%[2[qhR(+\= HkL(jm!@gh!I3&q_CQp2hxҒHpwB0:0R[1A#-{7ZIbG#(8jfʣEDKj$(vMVLWSN\{^!Ƹjِ&f;\|oJrn{Pٯ~O'ZE&.ޣgQrfuKD1M|YF?Hc \_/-gJgt:*M@^6ED.P1f 8o@\7xmƽՌZ&Uk̏-vt=bVvV:bv\y$A2sE :_L"G7eb+۷**`XxΑu6ZL_ңZy!< ]{Q&9Q4$8m/"̃C, ^ QЦ؉Z;Gw[,|TP.nw~\< j :DR Eo1@霬SMNG`3L,6 ΋[Iej7m4%Pf" :}֢C8F: >Fܿ.ͱž`Wu,H03xht]e#?d=t@Rmnj찠^%oJ^u"߶Xk1>붭Afka0?[ò9 U8R9$/R}Ont*œ]_<'7@h-Z$ܪ/i}8t6)V d$嵉L t"]^W蹤!J;K9R]'^ߧӣB_:cpAH2DXϩ[-gKw}?D8yBNQ޿O[f,O`k Ŝ7ϭcb烿L^@vԎ䴜] Nج|;9_ZgYZ II" 1?# 4HOL-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 ٥A4at[bN9t\- 0,Jml@ 6TlN^+&SbI?~5nR}XI1TtM `uu~y><"NH@m[un}s'[^#OjSL8[_CPP{Z$kRS5-orhSQl{M*O$$-cd^(k.u1Qڙyr7YO5볞`IMI#B28m@j!Wu)E|-Uj (>Y69`][uĪٽH`Cl>@G"v(.=.~3debޒE.A >{_`@#ZsGXbW>tQ׭:M׭qEwPFŁaQF8 S4ObB;W!#[ ~|ygizE5\HSfic%.W轾 u^RrO4M [L լP/b_(]5tj ?{|{>P3Wz4s z }O"+z[MM!6S"lߜ9]rq]X9&ۀ/) P<~~fߑܝ,;dv&4n $nS Ay@QuLkhR=v>8EPaBI۶Xv78Md)Pۉfv 2¶'JZQM(6 fIs1;Dž5Вb\F^q%ޞ ^%n .PJ AC]h`/tb~9V'-c=#2陸'R©,J~ɺS"xFy) ? K@`Ysǒ8H햖_K Bt,$ jQJ%hi8SWh<`wzνv}jU_R{*2 rWB_N02AP-8iWV޴l +\E.?U6dtHiqr > g9v $j΍]ٛ.BW7 =ACj$ c'DTIuȲ٥}NSl"p[ĕ)j4ӤL7~'8ѳo%(Ds 4džV5Ccᔎ,{um !EC\)J|vLŒMkTm&_4gS9sPHZDZʒgddM=Ib,l'pu4y   摠""YUdI&դܼq ec=i"ʞl8jXP} t%L[Ko` xwqJʙ2AޱM)]@bqi7$ \+Z!v2<{^=6}!wI$L]Ѳ|*;H+4{j8jx)TVcDXUizr֎ _`t-UN7 AL;gy~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy}v_(B HyB^!kb17(sEOan$GÄõb;|sހw'_Tkͭ{lXɴJ@ZXex% A>,]G]ci'iئbyɔ `s JJn%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1?' ?SGTo a3soHx|oxqj"k>SL$֜d9#Kҹ;fL\kϮ^¡#I?mk0U6ƋNT`2bް=QG=34vpH h'}IE$*Z+ͷhGC@%L _v::qF&T[;sNqFOSqrҫ-Vo$?(ƽ_l f㞉4/ǖBKYz"eᗵ0,,iD\3 zN׹m^PՆԞܨuiD(PJF@y~+=R<# (-WW\Zelu'tȆ "htT*OǼ2ׁ?Cф)#61IJ<A]4)hxz+BX1ǕE%S#id(JQ֊ߚ x٥L D0.S6X=JI&3`(~y(ʨ&/*,퀶X)Z@Uvغe? ق=T'h==[g:|/F=pn[¨zX X 5@aƐ>Y3'GYmu;~"x^& ~5kpɏzF_c1Ӡq-:G(O0jMVn1l}dF`<7  "}F^iDMh6wKLzW($Jmbȿu5 'Q 2٧ltpqu)aKt$)E(eWaunڏ4[A| =bB>ԁ 7h87?dhT0hJ=?p=&x$a G>-gڥJa:ma^l. dP1ͺ_^PvV\9s%9ĂrY2jt\n5T( 8/^v*q#*@ސ )mv}L=mEsa,˻Ʀ1R˿c'N{tB8ܫAaĕ^K kT9ED=bS$8>$Kf^6Jg3 JuzWUZU6Jd DDs|vMRÉ–DR+hb)>kmTFҷ/?zLK'X~O3EpOğ ڲopsu"H!D~~MQnaym#Q 2:^`؋VwLn,+6v$AC4倪WAmpJ"x=ҳMh(^*,$XAHP_Do8gYZۯ}ul$NCu;C^,ѣuQ#eg,/6;tʵkp?Aք msvA"|9kٳy. P]rz.dcYSz4Q-1* ,z{P=e9H ~ L/{_X߸~:_ 4 :°:[y. *9B:78T=}N:ɳ_`oiA ݰƁ5A" 4|zl}S i AqG$s at+MAn9qnzn&!@G# 9 K\D͌إfqJh{;)Z??2s!q3#wixv7-6CBxLCR˅g 6῜tjJXkYpҭ |xB>Y1Tsq܅`~M0A= W0_>}9ǁךU=+1[d">nn:p`=,RChXULP{ Aɰ,_L{/ J$~±єn~Y~B.iq;`>OTn`w1/!Hƣ+x,ƬuΩ(^}Y{ p=!G1HJ׮ d2dm{X,&/!H]oHsl}ֶ.J^nĂ2DQ'VQLQh90-Cr'2VrKy:g IT[UzԻ{x ^ u|u/"@nQŚ@k A=.>[)ʡsF]9VIPBBfq-OIW@ҕ`-*t-M)$x"=9bi[NIei8v DYT '*dGҞݱY=2tKqb'#lk\LFugP@O%.C,XƬ4D%{>(HNDjeEc|okpAu"zcH^Ug^>DB(\ V*iy9)B6D1DX𴊉I|>,hO/hUM0ShC=xW1veR_|幋u>ʺI؊+}RQ.sؼ4(8U@ chKYOU +YATUC1. ~Ke<޲S}%5z{0Yul 4 ,U]B84dAYF4_c]g^B7S6*TuK4=yyF Gh>/M #& Iv1ؚܣ+m*cΤFuLӳ{KĖjΞ>s,?c1Dk.8LJuu44]DVo3ZĆ7h͚S>:]dJl-DϗбQK/!HOj fY}Btۜ+3.<,o3BX#>pbTץȿmw@430,5\XZtvx~eQk>-o/99}o>NjyK)g)ͥ!'-_>[1TeeD -#)ݭT6ڋǸdNi ;&[thhl*n֭ʻ8O"qN+D6w Sw$m6A?'JWprI_ml\:qKqƈx CGU.>"80MJ~,P$_R@AZĝ7)aƪ A0k_ K|^swKmĜ;KG~55%k5*~W_Rk6HU[ǭR>ѵͱd .q8GWx!*䍁o|K)6yyIsءP5vqǠYqC^Foڞֆ r/௴Ջ/g f+K&Jf9'Ϝ|@&}t΋ukV+fjjG@r1jE;Fw|?/E?ʬGG8F[Z+d*kkOF~8h7_< !۽OSaG5`7.ZYn9(r1eS{9GZޒݚ駾5nY N3:5Jz»WLBy?\JmxܿkTҶ*L(D_tvQ`x7̩2ǯ溗: 7hR$x* 3YlRMD!Y3W([ʴ!De?ƋQrh B[t[#5B(]A_r \JdK6QtjR BIq گb3Jo4M].Tt'֠ѮqYNxI-=zo~wףּxս5% 2I6eG 4gKNo~_BW:ɪ2\e F&x,W؈x43~ H 4jDܮLW$gYC*x^~-yc&TNbͻBNAZ)@"68,D,tb 2 &A qmܺkc{Nj$DCQhCi*]9-5y2P9z"d*3.p@Fp3|MLTI?5򕊷`!5!svOȣ>A&|H*Eo|f3",c0sPxTK_3DUy$HxZͬ.܂V2(IiՄ U/!~hţ%݆文?P(8Gڒ2n}kUEo܁{O9SnG(J h1,䜙h^j/mi~m;-YC(o}q3c< 8Wƣsr l՜H`\pJ.Оa^w돗5Gj_7 aqUҿX"YTSyڠޖ"aPHDXQO.b [L*kx  8= CfqfDC99s0̏C"vO.RNj.\ab‚/E %4MD&idgժWcQ"ٕU$r)m^9$ڪ̚O-ӔZR=[is[UH^h R0Q[Lݨd~! ]8s\JýC~DއA@ z(2P%H[p*XYJ^SH*1k']qIi[<Č6(pfIϲB`Ml8m Xw2bY^#s3F~ChH9Lm;Dq@ʼn50& =g8db"c6t ' 1a "E UvdO%L)|->Q%= %t"EZ,5CJ [Jb4Fʷ&rBu-BV x<}c5ISXa~ s}.w p[C'h藮v|!#sg/q&4wquZa=G4*t(MֺX_ ]8qDJѐjį 6!%^b/2LIB(4{%'nB⸼K e"Q{xNަ!f$ 0a?"1<̏({ts`N=*^ w#j(1`3ϰ ɇLYYO5OlR-@8`R|"j ?T|jᱤCI,y`+Kzp'VNiMkk\EXa_]ȕ0ͲGeE1)7N=>X8'qv}F>DҗVQv{vxE\6 `ކ܁ W;3jp5j4q/>@Bwl$޲GZy< h[_<@GI@Ip ݭYB醆N˹| ЭGV4-Ωs|`Uo^=MU`bfBxGJ:R0m] Y[61Hleǝ !JnB-7or>;FYYrE95VvK =TxL`Y 0oBjS`$+tu165@ 뾭7Ydr~ Z d{s-EK$dv73yUB}NC|2,GD;Lt'#4XuA @q3g!?z%KUֿG>2 'PPuye!mEG<F'^EE,zWry3$i^pn@bmUpBN{L Xsf,գwm (Rʹî6LD$O C.*( _tO7@Z*D1,k|?_W\ .8AKMM9qU&N;2_>^OøW&ǜh%\?m{h KUZKCG֓c\sPm݅7oM4{c0/zw؄eЅRD6v=ۘ uD>7Ȝ3)>H'|WyNR5(Ȏ+Bl@k0+hF~K,Cǁ=KqIfUhn;SxI7O R"?N[Ј'N,.$݁qCX(Խ#GT,,&dYEoCwj7Z"3Ak5 )+jqPO2hdzw1-tT Q+)ƅ|7HWaװܤD-\=pEbVYp B4̨W[DEKYÿVu|Zk #Ar8YZ! $.~r\C4ہMGJpZUZ QXm?s:xo4GhpnE&lPƄ}$8jjwtBWwJK e%ej[;ruyF^=*.\[{cDr"SK_&ư&kWεOs)'5?d$P>eXN:( X# i V.#T㫆&S/ FhsRv$Eu'?$,Hqj2T΄C?^ʧz q}Ed,X} FJna[YƑE➖U gs-6*VkKWxq gXWv(+2tkl&jNDxHa(.bP +̬a+}_گYnxRT; aΟ0>bv\lU:#p t'sqq*PTRú\~NJC.k}*ӊ\?gԳ饸D+Ϳz9k-"j.սXzڋ M~iBc?^۰؝]-FɠA iT,Ƴ]Fe=*.w}omBq]\Ӕx [q\Bhefaa[[ţzV ).+^HC<{+_j8⤅yfr'c5eOϠ&f-mQ5'&6JW(he85\ĭgg(G]$ !Q/_kaAx)2qݱLȑo. ,-LBzl傧8 ew-9_dōP fToyQ5B"8#0 O%snaR]>Ҁh`feq[aNQ"_6()dǵĬA7R҈~+ODnyPy(Y.2msAxrj|S('y`nM}qE9McVbr h[wI,(F/B1 ʝ !K~mRud{ J׋k<.C9+'oR%10׃I@kw7~e*jSzUpE -CfNo~>|-LDXi.TlzwXd'(Q iS[ŖΥB9A9CVȑ|#WތJdVw PCrjd,? H hlaÚ,P]Z$dT&gAq'tp2BeY[h"eݩ< Dap*)IK|ƼǜxΚJ|*,9 ΘEpe}R}PsL) 1rAEv;Nq- w֔H5Qѧ1ddپpGi,Ŷ' ^n9O}A)Q9G)P6jAóI mMP^_^Dd Wk&S`-8cZ`Y!ѧm.]4j1h9(9j]Jp!+m~;PqJnTzZ0 jw%-/=$@' s6"^] )P˴f>O|O.>|t$9 )~ V*Hf:kHwlޝ8&N>w*<5vKz&We/12y<)l"$x9y yZ >=O"A6 [gYZN'X_dqaao:l]KڥX')\s`]pf oٷ d`sh!lp'N9/XjQ6([cwΎ+5̑xTXl 7 (iGL]hNf ч|jfUPX3qOD ^E/mK{O_dh1*OMg/o>C(~؍я& l pBXD-%kI0 LVΟ-*j%ԟ iQB[?z.c^YlPjMqDRo212rJ48Ġ85zA0i$Лk'S$Wc֫ #qضw촙qfu\ *|]̯k~zJ:QBi2:*2̉ϭy00YFx֓D; FgVhdR!@>axRR3^{״P?y(7=Pj믋)+Abn\Kkp|kٌI\ p#c+U+;ջ.wM|73*kZ߰0{K %iIA:qW& bɠ:{&~$1Cf'6B QW iV*+) o5vIjFG0oE_ރzֻCϾGZrUǝD hk0#*_,mb/[teG-}1Twls 3oFuj1NBXmEu?rF&zդveW;NS/׊Ӎk-bKo`њ}sH\Idjk sxj(cNp& \ŀ6 ɌU_oQ-g2 ÐVƬ 94pBjx'~PϘ6guAiy]k(y%=%ē @N{~c{&TSE$3z1TfQ*{t!1HS{5%s;C:#^-SOFWh P~ux* /d=WuARe6xZI:Cď[x+9pl1zx}# / +S}T~ks gQKAN[&ꌀY'IД5LqیbM6-xʄ `-_˒; w|Q^yye\aD}̀ԽQ$TD! HchdLrBlE cܪwD4DG 7Wq.w%eN)f=k+|'-ZV4rݽ޻%{fYJM0A /"EFHQ+ڶGVeO9s;R[c~DJg\_n%p؍5Wk8R:>\}=e]!Aق,&)q~}.# R`~% ިm`SIS_F3Ab;L8_{eo1=5ۧ?S:!`C]=}, }pɛ% l4mَ`+E}@D0z[ysSe?{JuLIs~\>["QR/="xij,)M~蠲3m (&BiPXWU Dzz`ƫT@qK(QscX|r"*ha6>5mA\0{n"\ėrx3Q~O!LdcmH/DpKco0f`L+辉oڗQx^c<VGF].i\]&Io2[fe6N|@rv(Yހ? Ā<; Y3>ji%D}\3o'R;j6K8aU*+4? p0XRwΆKT G5`3b߱$ϛh/*VDjmavVe vxasqp@5,N?GƮC;1vd*qgGEoO`\bzۄ-ɴF,-83Xn/t73 Z~lVXnS(NfLI3WY5 HM<|㝧!U5L"l <|tkZWchC.d$z @QAًw PE0Hiqo/T1COvWy!.FGgX̟CP"%B<>S 0No岊U3%R57Y_,x-v=IEao0 }ձw|4F}C½&-?]<Թ(_7mĂqbl1@^(H䳭lr0R1elwjBZk{ @v/⊵0zd.w7$1Ÿьg3W[|; ; cy5FXDyN7JY[m}$9/7 E"]fɪ Iz\̀/BoV9tRobs}=,I[$t<A(B0 y5(* HCɣ5) WZ%́^_rюz7z xӁՈʇ =>>Tb~Ugf\AK)wżUUPy[6\iyxr=!~T+-Rq<>0ZwGNYW!GmawSgF9#߂vUtdknԠrG+c[{][aax"yn'Fz$Ŋ"~tfCPq+;_ LV1^q˜¹PlDEErɏѐW ~ t4OpTkx(%Ip Hp+^nǙΦS߼-OV|T*(>BǢJaiBygev[wiA J?\ Uy| ̵Ҕ:nEqp #~h/#}e3ҭ[ʵc5ކqz"%(6uɷ=Ż/C14GJ lMEa<ʖa}~9AS4n6ؒbDA{5K 7N 7-LN~b5gۤlC\L:"Rt=h},[6XqA_; v%Ibiٓ6Z/ 44WxTVUC3O [ڌJ@AIYPvri*)dӽ!2%Fy Kᕔ=-wǑDHp]"&%+^שH֣,7_E<%bz\.:\V{mƎ[o$Bg)%\eIJ.~Zmsĩ0iܑ4}bp)ݣfgtL|pbYg=}+aU^ >jDχma5IUb9Zّq9-UeΝsz}1} qd 4>KBd!i 'Dl;z'[ȿo Sa5Pak93xoV5j] !KD̤PGgWܿMQoBfKcHzjq2UV$TH㬔 ƾ g0, eNJb;Dկ׎K{jR5_ﷄ9B>?;Ŧӟ#T-p.M(3}rV&d61aGL?J!5}in^dZ2_=< oe$יZUI[Ͷ'6^b"d8 =֫j( (3UnIQ&VDkBSv L+\W%bS0-BTiƭր4¹\^5g`f({ 3Ըqv"·]?iYZ:qۖtf> /4<6 DoEm ekT y#ȩ0^.:eeD-y'I2r]Ԇ@RG 9Ov5VCD{mol W|q{u4 Dxi(- QI3x\9W' 6eΈ<%9]skؗ_u+B=^SIL < 4'!f wQsQxgoC,+(NLF(#d3 Ĝ]Z!-1/Fj#Ζj|aPՙpusj )q{] 17r1A$ KĖnrNfNJnkx8ƵɖN t`ˢ;6,d1cD5*v; u$bܭ>$BE/(1=8`b~B'flɕX`6H$I7d#|?;WcVTX~yVǎ8%aHVL8f9cwʐf;*](eqSR*;HlEl ¹4PᾡFs R3/PaEiD̙ g`-:_iiD"1pix^_ 3b5]jb6?Pe7 B$66ox2e).7>wog`_N|ʊ։_ꍗYg]{a8HC$gf-Fyt$A\ wn[1-&b~F@ ,SKH> T3nTɸ#@ :5DUڵ&W_yUñ*g1XIGR}*76fvZ#kݯ;H"~nQ;L;طr= %4@0j`\OG嚘^*- ԦPaeU8v9y 3vuuNY_\\z2o7l'yL-d/pkoo,'ݽ7@9D1E/f4rE ' ugKXӑz 2zm3cA[(ȴbX"|e2I&1.*0$9xv͜>nL@Iai=ܙ[([A.-4 Ỷǣ}1~z짎\gVO{0e==tK' %6ޔ6`5kR`ϕd;6rQ BJ<|X#y^o$kP~Crkx= hhJ7Z5_ؘ3^탒Q&QDZ:7P0r,O?JO7 y裋"(-/Uf \[&|B93Z8ÆKH`үNksнƘeLpRh[P;v~է;q6SeR%=j5%?洰 1Gfn|_,wc{!68_p r̅<8.?! tԜa $-^hi9̙7!ν_OPp8Ƅ GQ,I}[hڝٯvdvFs6j,# g?but:|vdR8x!S5sH..zwpúqҨmϐhj-gv?f+sbNn_Fo TLe 0I }*@@3Ɓ&OY܊")(^0챁>J&x1n4#Ov5X_(gz%$nImz9cٞH|TC{Jtq2 $(duhlh(Ci0 F'.AJ#l9c+ZLr+(MRc7{q[-L)e> %A4jOng5y~>イ2B)Ζ1z?/#~z|?g[y%LFũS[M ahu^f!1tv(,m8 m"Q{> d Y9j C~fp;HC؊wu{k;x+ʝG]BǟoL{u4:Fm 7S҈؟-#ZzHv4taY(T6pB_fg]?$leQ*̢ rE 5d2 I.и=JaְjGIjUMI8 |*85p5b PiCQ?FanSxxRKbh^+k`$P'Z,hT)N'J6T<P 2| ֮!m~M`^5G+a5ˬavd`9Q:i~!*'ÂA*쪺9Em]gM%ozL:63gv5ͣ.0Fۭ{vٺ_=3mA%0:D7$BgMS$BJrc|ko!ϊ+Aֹ@uYqy`ILUt ֊G9\nk,ׅ(N.xjuMjE__iVXr'V!'R7‘f)' ׹uE}#t{ݸx k>x2./9~ۏx).u'1ܼ\-,> |aH3uqCcup=KXI ,/<sU vjxٺ2FSRrQr+jԄQ֛%uDϠZrpit؅On%pզZA,:)[m-JƖP?>R Ǩ9V{$hң NpzGVO%֚haQw_59VلUbki.C1eK{ fspquޙHri(|G6 +,yzsOC,-r^+=5 _+EC֖`é )kYY:#8&f}BeEG˾: dBdJxd?QwxZK[MC,2:qpan|BtLB@KaIr@']uK0< E"haPO}aϠ:)KB 864a䦍"dG5y-,  slm y)eipc݇g 7>rt%Yί,ڻ2s[걋Q`O?7!!'=e &9KHhV]%Tceu>,ڢ:|WdO$u!2Z_%^clvpiXiX {uRיpC2yww;D81 hи/Av6)D-/RFȃ&|*κ˚־GtᗕrzǬSz2 bSJw׹^'n5JQQ6}$7-%У  u Y(Ev!ol7"by=NV2W/JV:&qhtӵe#~ޡw(H5Pr'sǜ`@sTYۙ5`|SR2 0ש`d upٛb ɱzȡq }=\TXڭ4g 3-41[,r &dQӣ]8]!/9dk^kyNs:_~JCQӭ:P< %hhGƭ~ʩƄۃ1}Jj>)$6$vM^od[XZ/rGɲ4x,"}}%qϮ'h/7gOL R L)hgiYG{H"E[vG +h 'KT _ч0 +]y[Z稤-=TY\IU\ ȟm]"g8? ?kbUN+msHwf/>([KǔրP0?j],n0RqHZHo*Y"[PEv^phWm(6eW+zBo&Wf4Bw0 ?ïܾR8~́mwЍWټmxʷ\\2>Ntrq@6a]n 1uZ^ ~>q+05 d¬춈Sj FO 'PZ'.6 ?ʋr^)MxyRR,υ Hh78gd2T#ŗ]L|ɏ`,_>LJB"}\* (KFFvGly}OB8 6 s BI_eEU|n״>FyiE Uzm⻲j #N O^h1 (ZR%G iY|/mR>.{7AVXOULDߙJTgR{׺UU_ @][/t/yh=jtdڣԭ5;`!A03'wۃ|Fga0V:&Ȯ&hHEԵ}d$Ge{}ŕG-t#%1%ƖđLA>YTS f "%_l\7ߐT2 vT;HĊ&Ms{أDKrj4V.̢sb ͎gӺ'-Sاc9u0u*Q=[MgG|@ K_RX,6{߲^[b t@h. k^u ى}MT|>xNuFR'm~!vz%IpуS_0: ݆PJ2hm_ \)ʹTIx`YcCab^GKdܗuŸYQTpv t)A,R`V,0k| ~PƢX95X[G@Y7!*kJfupOUnV.'βkh>tz@EzPZXJǩʭI-,屠-':[qQ KS"l}SW{j7fӎ0VTFcXv?3n0|!/$}y7rnV6.b:8qXS"Y+\AXgC-e"NzrPB*ȇIYW #gD$^Ncl53 %{R}1,UmU^I. 'PP?%KfSdo؋6" 5v!W&! ڃrc|:|]eMi] #|9j' )Ґ6΀QlK搢"@ ?PN؀Sr)5'* ȤﺽTrJgA@<#Q}Cu qO歴bitemb ?/۪/-y#_tgӛ{O ψS#+HgdJgп)#`O}bN2lCi!Nc353PFGWF6 gJ|n_rs`,lɓ 5(|G톅Mg-6,{ߜeBIX rcpSW`ȡ21kYŐ /ΊGֳL~Y" ;Rbs}گݘ^AE1r,EVs,VEˇ:U(T[{XwXauo7ޢcx+H@ؤ:l ~s/K2skPXϰ~Q `xw)FJ}_3gZ:@_ KX(sMgY0o"QDٟS>>@yz4pьEst7Lc? !3ybXcuA7nGj9=,i9_&{j~IEL8l JRG(6=MhKj  :be kr!mHam038XgsWx: 2?dGu@]:/C 9Y_w2+w $+HH$J5/4=UH@;ǽ< {@+?(LIKX ѐO38_+6t4axf_qvfXCg/7]C0lNn^ilGfΠSk/`([Tջ 4fhܯbk4I}FnU95KNҖ^20ػ9/?BAO"K´"{ˮo#At)6TS]Bi?L=q~kmŻGڇV0;o*J .񽙰1 RZnۂ0.R!c㱨lk5v+ 0 BtM,0>$< 7}A`> p9I=A$-"I1X~D4q: 8EY&zS_mI:BSҡr 3!r5ǣڦQ'AU{1ٜ1R^iLhX3f(^նinH) _ XKsc4؜3$"["܆mJ ~- 9\BkA^1su:n{2ciF4|)#,+gV <>6Bg/勺Y2߫4K% 9B[[ck2Kt@26нRQ E1Ǽ.~]9 XpOwI Jʸɫ$Gt.^Q ?>MH1̺ HOK"hEO9ȡ0#Q5 8V5VWRR^BdC̺搯A;7b.*@ۣxRc~=Q-/4c%IImh ,HC%.|p2sҞ Oqc}:b&X\(:A3^pʌwNke`:~V'VnI|ȸHO^WOt'm&铯 g,~nM=( ӷvGfwK"ܢ X@op ?h8M]&،X -QUơ04̐ttK&V6>˳d7j7?_eڊbk7 %<#kU*)~k(i ׅXXT5Atb5[i.ӱ96p|˪)f:,A OfpQ'+ß0?]Y͌Å]W *'zQsvRqk2RcGDgyp\ZHvkU7!^gdΌ G(j.}q<@`ry:>2RN36׷:"J(TJJ}ٖMp} jD4TVӉ*Us:~UPlׅ$ mGt f*+l]Aoa,=fqy(hlH%Ǥ:4WmE(/Rp䦓iҜ?׌i_Zj־ f{5<+Eڑ^H)نvKPfYԩE=X7Ն2J2 ok]4#$oxci~UJ&Щ"[c' 1Z$ d^n*k=1{+'LQCihğҕa8o[m}Oz@j^!ǗMK--Caπ fzoNW'a|":}TۯSSVZ^kjW;6LopbM"-S޸9*&n 8ACwSz1W&{sղ.*ޢ( 5sukoi٥G2+;(ʼnQ¨bKUtOB {߂FMsJ\-6qV2kŝ#?gNN>W^.K,a0eMtY*p2S` A_;!NE7ڷ`A&@2|;u6F`߰E)_#S HԢ^'O2KSߤ1j :c9qYw2y7p"]:c]ȋ81(#.;t v|.ޢ)#n9ϒ!=Am+pQoqJ;걕:I$!x9אTgVGT5nֽIue+u3Jlut@&i(}:^*a2C|# V8r?j $ kb6:q2loZVsrЇ(NIl>U7Uz)L1>~.o-Ga>PH^n'=3MTYCUoAS ^b3Ybod0 []*y!s̋sM%ck!JwZM a˪)̯gL0(4rݹ;0p:ϊ%v37"sSw3Шh)~^i݂hZQ:jkf&WgFG 365h!rD᳣t݅;beDH]EO1ǭjRN|%YS5WPvY~Ѫ>' /Wz(#Mq&Q(~gs"CAkҧt7hl(B.c`=-QΌ$VϨ4NIZ&U\b 2|e}clxrap746i\@N@1!%^sxvj%fv>iÁ F~a*v&R!bC]' VJsms#<; E X`vWPhvIKlV*Mw+\nxVX=>I@yۍtgI%Ѳ?նVؤrj3ؖyȳ ըi xw=*?h]|!.~N>d؋cg{:v4:Fg1AloKN#H.JL#(:/\K>cBqiZ:)h`dhz.3h 5L2 = 4 gGkXBOYߤ+РXG,7%|>g;cƭhאa*B>ZՏw,#-G] ^`WI! H/ Iq?w򵆦0n8茊 F]O[7؞aNo MղkMGxy}CP<>("F~~GS vt0o76;T|U6BOrlKE㦳r\Z@ӏi@콋b\h;N?IiI8* NcDw2Oj$6v0QD ͽR j y U"C6 DpD}W/}'UKtnkWxUhѡ[f&a YcaT:ZtZ e! ?~3f'\3=X3>sc4en_FkK QtetkA[_Kv#n%r3*)}D՟ ɂDMR[1=TPY/ޅ䙜J~ߚqO0Zuh$p.S2 G[;s0@,sM9(ݸK[(_pƦW~X'  J¾߹fm,bN6*6dm!󔦌D~FB+6Qw*! ث"+{;ql9(]ge-s#ϽCwE@ha4 vp%;8gnUTBb S\ׯ"cmPJX],@!ifX n u%E ?l,*E\ O&a+/[\G1J3?H`! 9lZ]Eci`$^e|^?!q F$!˞N}S}rBiPyj]8Q&Nƈ%= 4]aJh{F0¦P SyB䐌d礦zzΜ+@*x8!_\zxf1>Z9SMQS4 UV ^pOob{sףWIN^֤٦a/:X|fۻW(8Ç_EВ SS*=1NଅN/[" Qsogd ejEY{!M\&B96Vx̂]H fܓ;C>aVz /D\&1*zianYZtZ~ _}MՓ;{ªdB8N^9a[Wi HH:Vڂ{^ ">anNhbLfB"_#)[öO/As;?|!$3q7r>Fxh|gႺfêR܅ [͵jC.iɫ屎5yŒy#xfhz.R$uPJCǖE?'bI]|y'@nLpM6BQg?U*Fc=_L3!Z:ydRGPjf%ߴ<`t潕(ѩRWԲ&':$/FHɏMJsYv© Ws/=N״+QO"k5^sP΂jw/t7h؍@d2dxH_,uօ\k?MHÅdqv22q8D {moo /#gf 'w{fΪ8SD';[)u m9!xZYs@AG} h "t,k{p-8 Sa*Cj779[/KK%F8< p@ ndzo3H&#P,ge%`m>ỺʿRo$ERO>_WfSz׃Ln\)xb`jjjer b)rPd^Ij_{ى&AڟFXBUU~LXRHOF6CwZ=ad'gh#pj$ܷ!|,5,c{"/WaoW Dw8t =l6 o[!,%<=cU)Sf?HH;bG|(CbVe,tXXmLyl4Ẅ)4?m]bm Vȝ69?I6Nc~Rw4pgYZ hM.1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id536-1A' %&mOGAUyNi|xȭa^*X2 _@h/It͚ضGiG*0NiJ!0U}HGJy'i#lTS4C6tg| `iU'kJP"`e-9G<2S܅з՝7 Qs_㪼rz}ǩ$Xm.r[{`A֗,0ʪ}:C!0dnGHzy9H!^ k.Şx03'9MBH۹QRVS,0s_h ) ;Ըv~T?هTjoh~W8š'~/ QzZ~&zYAz>` q4@WDb8A[HXUzh`ꙿvv4Ϧ)r"Mv?ş%%ă()ϙWoE )~$7qD䣟)oN rJ'?CC_^ڮ윟&M[a`RIj`=ɇ/ 7? I#_4K?K}.Eܥ滟"EGn]AQ=;=[+BI<ob2G0;>2ឣi@ެb{HCYoBpb̻K&KSL#!jّId64v]JM 23VY$\z DI%gYZ`, 1A# LHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"3AeN/xl Eq[Un"u2cVEQn,0G9uK]\&2{Ҁ2iEq`3O)>Z<vF@ tz6(vpp!f$[ D[պvԁ y8vjmG, 0: 3=sdTRc,{3\cN|z"qZZP;81&l8 puICI;?ʽPp2S)0*GFF0|]Pw XSXy=_w 4 X DhhP܄CM]pd rM5cYH.0 Rdu{Qr؎0w)➤X c= ?4)T<"ٟd1EZ@t9>5fBb 61_(N<цK[̱x5B?k.{8jp$x1n| 1[7O=+"A$9 bU+r[UgCsϳ+%f=f˜zEz.}G <h⫏~b &=u ]LSkEN٪(b䧓ot#R"twbp*,0z"fm#ǺH\6dAg]U/oȵҼT:b"xc0| b/1ِã $umEPԨnEhePFnL!x]f|2$I0HbT~=, ~в2dAVvVdҦhA1y*uڤ\nƄ| \v#ned^L߉֏,pyXsjiX Z|C=fߍ6Zd@_s$-м7ZtC@'hs^bQLtlA1waB@Qſ:D5.f]VfjG'0|3;FrUѤ} =\6:'%$HY[N萟נ1+1yӋI1'u:@͉HsG;55_V#Eաa.f8 7/U;!Om]>DSf^v+/:IX~+f xSb(A*X%1 6lrpǘ[@5Q _rTdE4YV!Af|jG歺Z" ; _pk/37N5DݤGc]m.LW\v@/}Q G y&%Dá[7c6E E+,Ď"qr Ĉ4uv-]gTz~z1*6a4oxn)j&ο'A] `K46Ojἵ ﯓV.%mt84 K^mCTJtQWbQ۟Z|ѿɭctEtR_2ZMB˰*NGiZisDaCgx)5&,'w9f(st!*i'IUxfOE}R-\D {M$b&%h:\kB LZeq*E^^3JhUyzR;ag^g  oFkARY.7 YsW*r'mx?ttol_:_<ƟdE! ϟC峉orʋ:3VR݊QȮ}1䃝'F23^gYFuǷBA}-^qɿAApZ)zߟ!HQw~8LHi7.N 8zǰm=]TSCIMN}[knP:%ѽ; Hu2Nr 0@* uc9`dI`JBSϚ&J_UhRZ`]wcjBӾ2E [0XkN!|iNVZ W]7~/ŝnU?7M 2p21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id53201O# HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! .|]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7J28;)e @:$썿A kw^mb^ Z?Q ?w*Kɞ!9<ߟ3̖=Ɗa4? a󔙊0?u 'dJ!K|7RWb[~ 5n~t9+prp pfD |-w25+a XII2pPSu ,iWTGD:曣tèi)e-៊هYmA\[X~}hyh3%Wrj*=_R`! ovg,?EB?@ir =wlF[Ϳ_A䳵hr|&l_,'ljJ1y1-3LcMsas}\&8\|+SdLQ!mgԦJt^Lbہȑ4g+\KkDEfc|y9zXD~ozo vLlA=!Ot5]O+oM7kjdcWG2fߩ,P$ljO8:,8}Lmx۪~ڔw>WL{s8¥+u=` M˗&ǸbuW,<5hK6O 3Y5}sds2 ;nvyZx7r]#63*nNgm'YRhRor^ֆxzQH;ǂ8y;8,ʙD9Ad[.ࢬԛ7b6AVDn5jw_+fˋǣClp[M 5.pweE韾E4}1i)9.R< rH\VxɤLpSwSLfYaX!:-B9D2\I¬yyj$nuI߰ZJ{'fV^4jFbӧ/eJZ3h~ t-5٫91MYŅ4HtJf0C7xf۳k󮃳-Z:YYX Qv_:nj2PC4X~2X?tN1mk_8|p:S~x8r!KdK c>=ӗU Oѵe:!)w`\`BȓW]_'ߑWSޠIc`p,V{h?~X-n-'{'-tU/sX܄(Jqjr9qwCJ&彭ڕv-X& IRgږ!D voCB`3~Mrp=!+-R~y}лl+Egv Wց&4%^SDOK1!h f:`(L4U{{""j4P* n}ny+rx_VxØm i]5[4r ! v$b{!T?+whB9z}̎ѵ$a4{[ 8>z 1P#$©Լ@QhMY_񪃄)$)pzݺEU^ú{\s/*к,&|:S/?9Dkzcpx6un"}PDw~:kvd+G10SM]u&ߨ~F*Q)GV%<񹇤D|@7.w]٬dGʺ§t3YFU1Tr<=E,`{rk*g#B:)ct -_Zvfƚ}&|iQzR?f1Eկ4]^347i.# i wa IʞXV"3_% Zx&yi-$JnQKLZ̊`kn푉 q!Bhl ~L-ȣC$ j.w6kT^ Q|6g@6]'ƽbE[ȮFr)nsݾ}~wMܒ4Eˆ׊cDS$fhNb.VW&GSy=Jjnn:^zV1XEުI`=ޑp%OS8Q#n{nXQs{&\zb"ѭ]UpImWZ"[Ef\eoDYy$E\g v$ݎuRwr?t`kٝB%#Ks ׳|U/;gS_ti PEbp9<*f2vt&̡{ ^x"q7,@`\*6cS=WZ⺮s|qPU4_bZ8c\󠹊8ڣ ֵq H@*|!1M6Lח|@0mj8\%+nV){2O:HWBZӛ輱ߪ)чE r4GF[1?K5Zzɾ|F(9RZHTpNN߅.P|T5JJw4r~<Ly[$=f,8ԽI,OC X jRX/BgEm/1MbT7drF9_TpRD{z|ފ89)䴆ZdG'B}}‘'Jh;tcP²7DG7`jΉ199np-1"X2a%19b߳pٶ&a9ձĨ-Zf J_*ֳݮo : NNʉH|']`DpWJUIJе\I`Y/ sgz2//gYZ .31O# \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! 1DX+FԺ5n1z">L#FVv@Uaf`a5#H{FlƵr+DSvt.ijY)KnShIh'OA`A@. vƩ"E#3Hc[ĮecG5)0D#6fZ=g*@r)W)+m|;r }+@)^=O9Io9Te2źtD'46JJȂ)\TX# P?1 p~{Q4„jֳ;TbCw䄖 "k¹mR-敿_ǓdՖVC噆F E`^A2`iws%kL"/ 9nلP LM>5OstEtW!pPH >]pYׅ$"FJo &!=$ns`OβR䐾f^nMVQT/ZR,6iG~c b i~ٹK7rR2rI>A\Ar7ɤc`sc{G1b;~>}@dLe4< @.eͤ1Z>ړtp m'N9Y>J BA PKSRYl˰LR/ k:p8#d~W\"=Fyg6%./3Tb=cpp?]i,Wљg0^shj @!Nb/7xfAyFEF@~it; ~,bzjs$DZ2 H˪)(K= =jlCv<^e@cNOi7CEx;Tkx?dC{52g>T  ׻? x"eI=ز$9ڜ-P݃wp(|-ٝFX A0(P̣RXZ)\~x3G{U%0j!Fit 6ǚζW@%f][E bN?dgWl=誉8y{2H_)—L ,ISZ-{LC xw*_J~sD=^ȪxLzhR$4 Q|7 {0%vTW ;WNT8?_qhp~=V ljJ~CԟЉGELN/qvagۡō5Q`'GH>* ZW,{eƒ!:vɔe>yIpUfsjc^@ûb݈3-GrxtgydPa a;Cl% I3ʊsp8IiIsB*HMv&m^_OAyZ=VvTgj+)anBNwforzSс a*iQwxYAވ%,a ǜW큙Pb5GEGs"mn9CH}V?3ʵ +ROibv+Lvo'{၏ߒ1=:_V1=H{ 79eėPw~Ư.^$>X8iv`U MY&NJ7)Cy) @e,)w 0>jО"&"#:! q>+]z×;75r1(THpp.J'BtNUlnvv_^Tn j @ ZqB0iA|H+|w8%&*gX(Z}ħSЯbPjq,7r?Pdj5ҁ!%T"]x|i#~>\?hڅfϵO  bq|x*!)ER!-<!TT4:bq<LgЍ?d"tޏvnxri]"ԟʿV)έ:R1l1vhRQ3\-B1qsl= UD# p?qvѢڐ*|U^)(c[ze13ֿ׬Wf!%,wƓN O:œ^vSDҳ&"8\団F̟XO)yVfkB,9ovV0,KѮA[br.`[*EeTh;>ZB*^D A 7ؑ*͒+Aܨ ۵lW#9H:6>}ˎŞ$Vo!:)k`jJe/Pe҄z)d)]XBsyׄЊh PS{.XBWG#-0P"#jRdw9&)ArV),LjUcN,{V TWCg;,Cȡy;a9~J-9Eΰ6{~4`x5JA#Ej>9ꫳ Kb-7sa;Dؓj^Dfp}Mu1Y!t3$PT䗎X7MgYZ q f q81;' Ö ҭ{KʛrHc!WRwb|٤z-ɥf_fig72-QTjO[h߾kVJiq2l CSy?:;x a뢥xP9|󠟅@(菘3M$ѧJ_TWKamJ^bXE.׭Eh'?@  :a%#T)ŭDcWqTD)8gB+?2u2~6wi#4YS! I'n9@P)ԓx`6-dw{UrՄk8ϻ`Q\FZ4VOӝDLлgYZM7 1;# ,HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-?=7'3cm;MJ? ܙyvo&.6y" & AM_']BM _3_NP:'J]Ez=zԔ198ȃޤJeoD|j}IVO;[2䟓3)j]PjLO¹V,GÅӝRz&xG5B94TӨD6aA2Cykn;j>xsz8=$2F| ޯF}lK ' rxoSEXSi["eMk y0S MV2R2 h#F7np[h ߡR՗_ȟdB|[yг.}ֱ\\f S><4b3!.VbSbӿ`)eU dLkmB0aZY<#]Zk䙳"ĩ5[#f _ܑœC.༚uNJwt@ y;fuѿZ 2.A {aZmh3BM7VFg ~yI.c+ ?c]%BO 3 j Si >'r^?뾨BIB*1OMϝg-.{h(ɧ| -H oeͥIezyU@L|j7L7\;\:|$4sެX[چ-~ b#Xo{Gȝ$_NQ+Hp۳.j"ּbZQlL,;*!ޘZNEY+%>ED[}k,Ӝn-=OW zKhCC$gFab6zuBӠ#ɏ;19pꀺ8*J?JAAQB谫-~PUw)޽Zݫ\JzIZs#̩03\3gT')!SĪF,N'UbS'/vOo 9?t$Gdಽ6%vMjD&FhA[Lmi&qY6i)ˑb%EL!8~2=v84NOXIU58c~TnGku0 n&4/2Bvx%"@^:?UM%҄f`G]OHOh5E to|ҡZJ-gkJX k:68ǫJVFT'lawK G_ _b+d;4ή$-*s cPk@xyN2yǸcǣoxd]GyuCOyH# E{eŀ k(+`ʀ_eg\yf&oeCS6Lu =zl(*|VA:'%+bGf*6gLTJ}+ndIxP**%ljف4(BpG:ʜ梥i+}C /IYQJ5.IAIՂBFq3Q'_y ēw3w?%3 HOٳ(Dm\A#Z9d+q~T ;agYZX4spD3;m;(EDPwx&vۼzLUD%bk>@l*O׀cY 91 icеA ϗqR縤yoȢf4ulQ`$x!Z3כ)hsGylt4}yQ^xl. <9% }w^M^Cb(ETCp]2Wn3n`w\e,e\ǑgHYx޺J8 ܅qםϚIB[vGr\# */^"kVe#rfn%D7JaY1lM-z| #s`#J3jI)aD"E]Wb]xGI/fGߥc~mk`ny7iPE-dXWc踊DSu*4.U;feHf]ݟ(4_ͱn~]~j рr56\i5,q/ݏ!?f!a`Ч@<@1 {#Rt-b NYTb %QQ9%oYzlֶ+~gkglnҍSԕ-0ڭ;K?b(x4M%\߬SwLm`k0$؂S.,,&iQxYa*`U]Fg3Moؖb6c|< CI>v.mhIq8 *%b8©LY' Ø lm8gb+ϖlh96X 1| }u_'jn,.rgܣ΢H(?6# pvhߵȇ!éQxx<6ӮA.jtCuw%nYCƐfU8UIG[hmyyOA؝~{ tXKccIGoi\u U8]ƼSXL:W+y³ icŞeZE I@k_2oUF9=GkvHΌ幩;+ʑ&HzTbv6QwLr!c xl\=ۦoX'He) +9v^N_i#cp > u_f,^߀Q!.%ܯZucV Z: ɗqPkaƩz9dc*n+9Xr (py# &7W]8Ȩ$trBsz8V<gCB֋"n7q&tgB@03N=LDI1|yl"=9lu&m[p 6/Y hW3t^սe`K?SB?83c҄N!8em׈P=^K`XɿsǪ (Ϗkģ El߭P)`\a"м`6525w-/7r A0܀' .kw24UKϴ#F7r˦a4=aC˭o42%\$+CX\t& E3+mnPA!~_&RzA/_iWR0{?ɎGvӌ/>~zL/Maj71\Ȭl ڑƫ>) x+ȲUA3XPM@ ^h>0׿PX|4*~xv>0 w|ARVlն}xkfd#]ew\;abȭ`Cc@ML_1ye\ wati^x@3PpqtG -e,! aW _6"9bNhZ+;\}M vY+^g/"*D"DUŞXG<pk/Ux=$5l`ߞ#?]nw(xOqs^pg qrRYZ_d 6}vul[W,k"s;24)oӃ hÈXGHtLB_u2\,&+K0:X 7ۭZԳ%c7TܿPܵjʑLsKM<d2o<qg!ٖ$en z,wKg0v"ckS OgT6䛃YeG)O.nf*9X#]Ѧ>,zF4*ӐH̪>0B؞i@7]OЈ45Uw9=bKtlH9)t2G.ǽb#v";-QqXXSBw:x'TwN 7?goґz?oH5iEs׎]/4=\_7wl'W;kmE3X!a-f |$Rl3hƊ=EH;р.EUᖯU*gCyP<4ӓ&vo@D@l>`G=C=`v,s/7ENB>bWDKD_/)wJCB8w[uTg5 n:V1&%wBbP#YT;A NjEOxA0]d) q`e! $[ɔ ز`HfIoE59z?Ƣ&dj xz9a}q.@_UW׸ߥ.W$χPD]`eo*JN{$K sn11[ĕL-J26i0M/8` uEMj}T/8vMAZi +ո̸y>ZDbsɶp (tf$X.F} dk7LTIhDr|!HS;}q\I;mi܈f60lZ:Xr<ksy7:W~mtDiw9eOnm@qn ga"+GLN9MO,#[ѓɲ2l4` qu~d,OF! \K dMgDczĥY~otxfKrvwBHV7Mx2gZL T \+7X X^+Zrf%_&-I"xPny9.I3leDVp\`Ik +‹bG6JT w`>@}D>7oUYbzEaAA$YJd3H7d MW`T* G}!.iM ?8lP1[Shw2DK{ ʳ4$s^?29V8rm[G UR+h9`5fb3r/ss6 <:dFߓiee x|qG!+*`sMb VsFG~=nl*';"4XKGn6(4ǥ CqַHP_Qb9PN7 rK晱z]20\D,IT\9KA"J+S\;7٫obixuЖ\3۷+uPhJHygtx(Gbj0؜f"]ķB;Je?&7HYY(pJJmo+/J;;8`!ɊʾTB >FA? Ӄ4q~i')P~-7ʪIX #I {Sv[C t؁;~:L<ʥ]%n|l^#D v]_ǫOv~54Z]HW'Yx {|!QDk=jA@rRn;ؠ/V#gzJ|E,"hs_~ <̺I81xw7uԊP# Gȹ"Z ]P-*i (K1)2ػTؑ!yz9Bރq~'wKzl3dA 5Ƹ+Njx7Gv|O̯=:/2Hn~8Kܽ4Y܇v1k%~Mĵ9/'=J(~. :գ&I9%cw^ BOG-Y=RJt2i?>h!0}l2<}m=o=pBKUW 8N7$\Bt6x!NY}7aPIH,A;(b`mc樿b:,Q~; jڿZ,zlV($GEü |€Dd $|[;:ŀZF!nn2^;x D9;W$mOej-GVٙB-̨gљei"d27j[SkŸ&,qq7){O/Ǫ6X]8[ȄN 26Fi.My~w$Q) j{dU9 [ ]GOސ7xVJ$o<9a3g{p7Ű\Ч9Nb}QH?Y824ِbpUM YS}ܪ#Jݺ&TI'2Ljo{G!KI%g,"cbӶw"Yo%hJrfahHpWkSU:5;ྲ.엥efȋzo^ѬlFt|_a駭?x8ѥuID_lCkXZ҄|v:蚆V]VbkVhKe]x}Dsx Ug &HQ`.Oލi\lLVnФzUARA32ds@fud& ^[8}nG{\W&8`G{^,O!A9VB\R u1j{Wݒq" S#Ryծ_My33@>Fy !4嚝 daS rD> +)d 3"TtTVa13E 3/M<.kuғX라lڠc"aEnJۀEB>}PpOuRs2*:D%?JqFiKN۝ N[_E4o㋮nI~x.z@xDeCq:tW\!=>cI9C4al\tJ4n1 ydTn"O 4H]YJN7exi_}Z5lA+s?|!uMJ1=QϤiC8+ޙ{ ԈoFp6#W uv)?Qd,x0*1YRZh?2~k,T}kKxqqq;O,7K=GKxqa,ۡeQlֺ1`~ @+b~ϿS\}Cnma~$ 7ZXjˁHO z68 nG(ũ [s3&)ff( i굁c퓂L W6.3634Bd)3)Uס(Z^{6r_9+a#U<׸wUM>EvKhȌL.iDmNo=<;uɒy.D^FU?{ly sS <ޛvLDY_jDuZ9XZ\JFDzP>ZLXrr<gdiqȩ)4kv! >w+|(MZyDbeg.Z^w9ym,rΦv1kEhg%(osJg_c(r`M:3#C9:Q+WL{86{2&ݭF?ꩤ3'Z D7̘M+w!gYZ%YXuO$3^^qΉUN[Ȧ!~E0(/5Sao}$.Wa)GԱ#Ftx NpX{p^M_玱  ؒrR3ɼ"PV Pg1,)i~%2b}l wx.& o < 2 B{[I5JUV 3 |)ia:c.3  Ypec\#D9K72~ NKTc%Uu&F5Rse.S-)XP$Qs'TˊwOd~2V,ї+tt\m?~`@ uLNI%7~ֽTjv0J/#kL{I5:I@ GD0p6@<֧-ݢ d[QE-| Qm>u-6+a i.y1bl^:;?VqVȍlRL~%{^aXgf>>Ϧ !bx1v_<w6rSm{NroH (Y~zw"E/ |7M}FHJf}À>^0.\7F26}Z{䄝xtgYZ7zXZִF! cJ]ŗXi%E2[B#"FqﯽJX &ջEDnCsqFڍdkL q09g.n4܌;6yHW)!$<PDxc"ǵFD/~/ '侱D6~gLrr/h:=[5~*q/VTH~kZ U yse/{J1E:i?n:_2w]-Eq}]H{/m6 M 'φ;lXNpE"6 |8;G{^#gOt;az9EFRT>bR5zY IBwuݫ9yw-O'-i3=4h%g:NT"Gc"(- \g "tIoJ /ғ$S P@4-J(++?E>$W aPW]M=+2Ϥ=;wu![ B5l(f\y M zۧb1 n`HL;T3AZ*Fl[ޏATst647=? a3GPR\xUwhjh~gVCөn3<8\p#~ TŎԙg[m! NwȨzg^fVVu ! EbϺ,Dًf[]R5:ú@K%-ˬ/umQ΢C#cٟ˒<,[Bvl@0aD (3mύ0@\ `J/&uT|roJlvާ_EiڂJ+ [u%1qTKVr k1Z\g]b>v3rEnme5!qiBKز_xn/X.3~w Vx}4q/h)2ݲO -P\0hlL<\XK NϹq1Im-$rP yn+Ⱦ˞GVEN ݎ ~a1bkZH}ܑ-ԻAճW鳛 cP V0Ķm.5fWQsZ򀆧8b31j^pe [q%TtY!YfOK.t]%zJROML#=Q (Q8ַPԱZ$~r.Se |ArIjG\': m2b&HW;Od wk;p".9&Bw*B-_ǦQf S Ȑٛ0Ƒ8.Hv(b?A`gA_;>^+|Ufb ?m'Ju<:4R, $'1?༆eIW.\G6+U HLzUsUSN})6;E&GZ nD(tFK <zӼ1cWs~$=Ah fmȴfgYZfb03f837b73edd0f35a3a21b01d9486e2c226c29bae0b426f6b4d4eeda0a51832f133b997c1cf639 7dda90dd71cc7c967ad3e608f75d449b48b28159 63ecdd2358e5ead29d00518899be34a07c82c7eb