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  1tLl, ] HOL-Metis_Examples:threads=6elapsed=16.885cpu=66.640gc=7.6327zXZִF! ]]ŗXiɟ{P+MLRx #-S1X]?5U %v"?PL`Ao{\yX'Q%lPbˠ-SP}KXʞPg\30|ѲrN󭤧G^RgY](}txI5 8%آק?W˥Qi~~Q}+g6I6^ƈ"Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐW7U6T3L2I,H(?'>!= :9.'!         8 T v , m , e) x7*B o 2 Tk-yXw; h%3\ ?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages8=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files6B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id5=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages4;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup3:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files2@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id1C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup0B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files/H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*>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&D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup%C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files$I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id#F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages"D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup!C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/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/filesM1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/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 \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex?1;/ HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex   oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ ppl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ B1OC dHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex7zXZִF! <]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI"&Nc?TՉčNi(lm&=ț#0i!1Z\&Vུ ]Hmэ8qs-s2T]ZV١% ?6=<-ܢCΝ'ɖ"iG߯p$ $ QB﮶5] 6FrB{S[#ʉQF`^P,Xh{N٫xV'Rie.qÆ[$Hn␓С(B 1ޓbI+; @=>= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!AFhB]8o@q#L`5xr9.^-h$P%D3܆g|L'$xvVWN=|CSVn@ZbW;؜D'X://s 8k^?܆ {JA WQ:]'D9Meʌl+fi<~)(.^JVnxɰ YMi!#/r%,cGޘՑE`2x'R7sFPFiexD9R (f'>;[ƊdpNJ#l=DT7 Int 6'`ٿdJ6Y"|F>AzT,n$KfơLV"FУ`3Yp 6>珄D}dl Z/z[EA8=H,Ы"d٬%>Nbw[šMoM4m[Ǫ;?<&9uAT|T%CW3X%ÌEaj'@qxS먽ت-dɘ[E\fkj>;vn~S- e\wJ5"4>w0^-5YRtMI YU@PS)B]c.)E&q@-8+? n$Q FDy,0|ǪAE M0 ?vw5DÐnaՔ T~)'B^y%x:F(6itš oYk_2R᭿xkmVT8_K9wBnh[-ix0K؉#ϜL'"d;OL}P*=_,riqX*i1oq/懫nx|-f&auJ>.SqhaqrSp;h/k9DsCW? m_oe zc{74y[C!oxK]C qj,% ~WPȢ[u. !따$OJQlj%&FnMӹj;jb.=~W|zPK6*-ޅt+W^vW ?{7h3٤yqWzaMrG gb^$ L({s~P'Wҙ34]xzSx4.6 Ըjoḍ'+AH6ŋDKhȮ 6<~# `Т6Sb ɫRdO=њ$EWq.x:\w.%:iU2Q O8dˈi_՟ 9@bٻ>/{C7l :>ho,cj=es;\$̤ JDOz\d?ޣ)ǃ^i$C'ꌺg]v# -dN!| X-hܱ3B_]:dh hfYY=8$dPE]ER;ML=ant$cz%kڪȢ[S04Բ9#Zxx6+jXiQkؽ4?v^RJ;t—› nW5Dηu{6JZ^Lmh;Xf/;4TTKR3rh$ ·p|0Vys@@#@X/j H\ yhK9*؀j# g\W\Öt%EҶ|ԬX3}Zye⪱](\B v΢GiIu{ +O“h*4 ,"mL"$5EݒӉ5ib4n*]oC>|D#DZ8w/!ٵan0N{$>EZ.HQ aq~nQi\ZՏfMksI~>]QZajʓhƤA lC򂎹XH *i͚?c_HEsp4=EL&r\<Ĺ&<~|YN *%gT|1m]5`EAuG~K38G0GZT 5Z}cCS`y+(P#ZLAYW *t;hd}+7k2V\u:"ن݁)^7q/e+㮽;^s;1VcN̡86 , !b&/K`wfE?p~jZRJqQ0_]e5f?AԖb6 ޲L e/é0z X|;w7IǃX uȲ=` P$qOaW-OC8V2{ḍj0~BHCJh?jkYE_nt:{dj265jr0Ap1XyLTnWBV'}S[9{|WIAD5v!Z`ȢxZAJuDD%sǔ0t!tM9Q| }.pBaIsk&Ǫ8IIX'! D_|=Z!ͨ@ GGג!.۶!ne_hC7hmhWY:Z[;&6iH->.X7GHBEO>zgޤz]y Z[)wqB ,Ў&JULpΆpRꋞB><ֿC'ڣش>ixr#L|x}:Ù590T[bQ4'Bhn/i=53=QϧqM3̰F!2OZȷ bɢR?u4Hstmp"?.1Mƒ@'CvPjD"  .](ϵ\e7$$hkʉ]mX, Ntgm@=G~˔Fɫudz}ޖvuxOSdOQnx+FV,ޜxi yt~k,ĩT`O9'v3uOnFYߒBmAqOj"X$>7IUg~2)o?4@k7iP|XʮY S! OVtoroJҨ?ԨPa^={\hd[7\$vdf6riYCncwvjQ[8GT>sZ΅ل&Ș:U`G݃*p9˚07g"M7 Y~bC~)zbjNHޮf7(Aۋ/#><8Ǐ&*H.,.3wH3kCt_  ̙?m:_^ ~7.nT$2ę9 B}9%'ӓ22\!kcZKM\UHNH;dl/)f}k 8!鑝jޅ48[F,k*&#BlaD`o~ #>3p~^.k"9 LNt\Q;4Bu(_b4Ys %sZE&QCȼ[g jF>|)ĻH0ى|x\= Y8>"=%nwXFos N2JPv\QIJIJSӦ"%U/"ah27KS}rHe{ q/c+dw[51cUVi/MEeC9ci_=tR9ik>_VexsM"}l]G1zƶKU:k5* W"Rym oӔ"RCaMҹxt[КuTj|Z}1ɾN.hNi bLe5,:e:xdmz?r{1L*?n#^ҽq%2Ir(QRcY<5ev};BL-m`cYU9V:\E2,RIk:+@S/1j翲 +,](ͧYUɏ,F*CsD'LjfQ: ua'[uAr^FO)9 ##^,~f[tw\wϻ+簑~d@ c4H%\i;'xs=$n:Ue 'QGNSN.ln̉tƾʱfo2@?u|(lˠʰ:BymRy e+fx;.c&LmI;)Xr];K%.&y! w~&g۸(aWkZ3vVg4'L! ]# 0C2 8)E܎S&M韎,Vl{Afqg4AD4 Υ!Yܑ1y"ϱ]PڂPh@)6y:TwT }[ZumZNiB%e(9S&?@]]C%W7檌Lյccn`g,-(l}oun<ҀZMA"7찒Pjq+Ʒדov󬃦oCxEJLJ -"既0>\ҧw{aK:.d aD`VMnoǫ?4\b.V 4*HF]C6!|~p>$:Bާ?{lߧWZd9e,.-PxE%Uk!B~T3|̯Ӻ&@ ӲL~@<Ᾱ}kpMnEY 1Ҡtඪ6kjVz[mI$Ea^;oĔ]yȅjCf,E*XnJdJMڳnf6?]bw-P28^Dər u(,?(+d=, =H $;fVR}fdJ|7\8j&zU~rVN*/*|Tq2ޘGtBy۬{QAè6['wKD4rtDVb4j|A]1"LI!p(Qhd3K8ad{Ҽ;}JMzL `g#p5aڢ8ֽ-3a/5641wT'em%#eL4`c|nm1dMDe/ZMgze+eRm$x? dA缯rbvcPQ;G~@ԯn^G w$تe,@g C̚N3RßS$UAt dy F)G2jL#|-ӓ^D2E6AD΢mD0c_M+wO 0b?Ցb 6TI98b]+{B(1p\P9[Mk۞WӜEm aAnuַFbuF[Cn;G)*Dap55ebC_f@'#P.X1 x OPT@C |{3ݼGQ,,~ri$ cW/&8'מT~tdnm?Ro4e0̗k-NF(("y>=h140u;N3<>y](kZjH019>YaCh+pk_rB$Wc" N wcꀅfR!U ~$5!IN|Ib$h x6?gP3f)=0I+Ɗ;~u}mpH9,ʶ[Tnc=CC/oI(I;L$F20WHг^6MLIw6K5.Z+p"0Yv -=s&SPυ2+CeI*p] >S\KaԊ%td) ~%6Xdk^$菆|:d;Q[1 zƓ ^ >  Qp`P8S?̳PiBu-f]mJ;FfzȎ[ 3'qQ gS-QQ,-.酘DݜρVC==ox@9 n1Ia䩻w[ҰzrQ/{K*[f"bəw`d6o9}1d!>sܱ_ɑPاl!Y=o"[Kࠑr1^ ݱm Apqc.{ȍ~;ǔۿ9ێ ^<MPέ9a5:IWχ܎{0Hf{H-8l`DVg?L]UG8ޖ2at?Bjk&3mSF)zذqkMe-AVie9m8=GCz:J?cyĴk6Kk*&\ ʉٜ5F=&|(!9A2nDm8=ٲ,ê\KQfrwXQO';6l"'$4{gu-%SonFS4'8[Fƞ{R<%h-dfXnȂM8}=n$1(<\#&Qp^uBQ'sLIP7።qŠ}WT\)c!x *;4)#ڡ+5Vizj :D=zmѾ@<5s)$6̗M]~ږRm9W ؜_ت}-uRH ՘c:un"5MBtr SGwLMaWr rֹS^:T-IٝZoK:^U HɂE݀(cc ԙ`d%hG]iۓA@6:OyaA- NE~WUi,]Ì5+Y\Q3$ӷV0|R ?+F3#inpwGype窕/Q-M3\&L%}0Qz+=W, pȕJL< MgKښxiѡ.]_KTp15hFύ:&qK~QiAE!EĄN!He5Nu'jheu94^foX66s0K/^?.]rqu`}\‚ Lw:~}{OV^q?3=EON 0LI'ѠN><?⒛ ܥ^Jm)SG?Yؽ6.Ha !*hQp=FezV $$ Ń1/Qz`9.'edPe$I_'@#KSX]C̻ S|6`w˝8$0i #;nDt>(P6Ů ]L<&H+T캴Rh.jj1{]_zl <~_u2Doyi$SɽJ=.uo V"NqcߞZC@.<ٽ oț= ޫՈ8Dդ])S`^HЗxdku/Uw;~7j x%ytt=$踯 >G1:69zgQ"lQ"d -ci Ddr"@Wy/?1M~^0Nkڄ9 <|1 |nqKxf*1GPoC91`2e=u,wq޼2E[a)Sjg>Z@gh tm;^+d$L?;(N4xe(x|? i\?(c%ks]YS-owcZ4>o4$/ MFuGndۖ/r4ʦ"L5!8 0< {KKOmw{%))(U̎(,^!{ gJ0%(y:0U$ uvhg7$P?緻p-D_O 6HB2TG0*')q1֑aRh%03soYXgmlXq#\XI(="^$U9}$IM,<Ƣ2:1"ana,<"Z5[УDA$k#- o{X8ׯiPw{Zu z}YlvB:?3\5W؍\33"d\ i&G( lSn$dBK©`|m?g%_cgavxnވLѕfSb)H:J^ ".HLOjlB0{[-E#s[r2*{4*Uwf0EZo{GאgDCtgΡ>I᭞wDS5'Z](wRӞԏSݭMOJ_A.v)u p9H0mz,sC8eSsz2IoiOK@NW5{u!OZVE:`<0QHƊ㔂hBkpW04{l,ҧ6uv&++$&3T1B]PaRxЩ6(DoMaHWv$ P"r(@y-kF{s98KU'/W! SbX>,ULFL9nϾ##(l4|' >/O\ ݒǍQ0,8VUе|uqr?[QHgnTp؝t<@^)GXSWQ?s'0SJ$:>Oӗb~9Aʶ-6P߾k0.;3y ѥSoR;5.B* ,:yWj H¼\a 4ECĻ0 w 6zH)4޿ ͖+SG%CoGҠͥi졊ESyL]9waT"A5CK;qPP$l 予¬{,1KL3H }SZ<4[J,,tXq't., pi' [mL1"K(T'<};u}BSM/Yo@^#BER m Κ01ˆ%~R99` a=1KFn0u̽pJRm,5(~Ou%f|:y=_'_z<[z.3vҕB NgY521e>˴.6 si` v-O mߎ 3ǏU$^*u/"mnmR}_:ף1)b#5A jP"M[,{q0 "-㜥7&WTB䚬&G7݈1Ih6Ri1.זq*UBYgrzid%ރvk{+GL#7,~w.ߢ!+t܋'鼹ͻNAP/0bg/TA^FVd9{g^xq\. 5]}iޟ6oӇ *unࢎ5e {r ř&tY# lF}CWU$㏌B̒gj>kFLx Uq%.#.Iz֦!NLJqp@j@Wq:n_ĭa,*&_ڷѭ=#>MnuLf.:+iOݟ(~'7- C{OFV'GT o QvFw=`OVV+^N1k!܅44/vP4K?ϴݯc$K_˦D"q:lk!˫`of_Uk(>$Zf=1G4|{l[.&O!n${1CCłmTtxR3D$r=A4g %d/+Eюskwk @D'!J! sQp#[) P'5[4F:N%QQ d0N_h8g{ԛK B!/!>k≡^[spa]PEKԱϒRH>;%`kťr0`RYBCNJ>Ue_ l qjIR5 J3?G!8.6q{ʵ2`SgPoF r,MPLAݠ I[iGSY!~*8!= W%6_ySn߂%uCSsFAx(2YB ylBHm|>?|n8w$Ntars/dJ@0Bw<.A۱ $(Qk&3&JUՔW4J. n|[nd3j=hG1 fWg = 9a1V۩Hizba(l[Na@ǢԠἲ^.jXIЁul9nZpwkScmxZ++3l4ooJ/6d$mbKNg 2_G$BGYdaVA8/\⽒>C1AE&&K|\ts+&et/ft"y(}L+E~-hxćKϏcx}p`PB fdv-(FGE3BmZB-KIyWp FJy3ҟm Ƕ=)PFh$sVK56a4er>hD:"nDC59d0Bz=Q}u@:qB_1嗻=SLjWY+2P`Jg[EW&T"cR Idz! wwDZ; xt6TKP -P$ m=Jilm yڳU$ ɶi7n?,-t6q˫凐1ԙ\ *;yA4w_TD2q O n/P.=RG u``Yի/"7Wa?2O95eI Xc$X? K-to?Oi rod ac܌Ǐh{v&MIa37:S}a`FeH]ڳ"Uy#NVw[l'+{mp*RR2PBr#zHєŠdmA)k?P8C+z|~^ز\\X| v8b{YYKâvl0^쓌Ԗ]f>t- ?յum,H`d]*ɰ?Lnr%WMyjᴌ*=78 љCYϜY=8 -sP?%'~Qm6^ 7*w;k~Ķ'X5nhdgw6wU4z r'W~ğ$devЋZ5T4w-x<(̑~r W6xg tm^8`jVberfWV%EN26aFo6zOYL^ksiR4I-#QCpy4OwTtT(v!tBCWwJ‚5|ԥ8Mʞ*GH鶓+&HDo·sڍԜߖ($$hH =`ݜYg:8 1fإef^H934w&n({ r_5]U%?'WLWWvZ&ў$ Ԑ2ut E2q_tr ȠSU?X.p~ryBbq"ZG!B %idMg ^WSAΧʧk)[RɮI;6 KW\3p0[%4ٜx;]1j ČoTS<+*;9-'m!U^SR@L^0rHkTiwpduR7@9xqIb9WW;o>v%06Ҧ]C]JJt,ϣXd%mb:eTwϊ:q00^)7|BYvnV`)wf# o$;Shoy(tOV`i)lJ!Z>H4A{i +nn$OBlNr+&S|OC~Td'w|h2I\^ׁٙc2u]% ėʠ>o疊 MGFy_O,a~|+ ۠ˆ^^M.$tJB,_Pp >hu_F[L\5IerlSQ0# 1sQx+<.%TG #@@'YIJKM޾]W.M:kf%Ĕ]3mkD.F -$cl5搙ԛ^^4X$~R$!Z wDW]K E@H1 RʇpD>*uySDPZvRpv)y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"9n&nw1pl]%gBٚToEy  (Şh~N\OaFg8@4-BՋXŋ6s3n+uq d $|':^6WhؑS`0О]eg3̿SН;ۦCI(cu|hȫ5-U>1I64u^E] Y+f{)1&v|g!p>:߿?!r^MGHwԐjF屰|XLZ>xjo `3-jR&pK,R"صOXJkK@~btJ ʘv ZIyR#4e[K70Q ,'xk%QNa~]sL/}VX<{քn܈6&=%+& osl E}+ R~*#IYWya DD{rW:LycήW;]ڍCpW)U8bQ\Y8C= *wR0 1XR px׎&cvLVXgĒyϿ۱@&mj"'-rQגW4 w"9ZoBPW'˾~J}Mr1990Ƥ% ax|=_(Y ZΒi0ڔf&o[.5.!>7_N|QkX2W%GRS"\X [gtGo)yGiN8e,M)9Ԫa [)ngSA(xs9xP]HޭKSt՗;!] TCsQ6;܅=e  Q #s1W% \HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxue:X(w0mgZQIcA1F҆dneP>kт(nNZYo\\T-Z9E~_tk/ qM.MK=Nr/ǫ"/fң`ohk/W:͊ =Q6*5 HL]$n8+i?ΑAbZ}b7ڑ-2o~_t# *Ǣ–mf;KU@3A:  "-;aj^c}9WIԺq+'זP_ֵe#gƛpFVU8PύmpUނakmH'64DPb=3njVN{5# sa_ R4(TbʣM.m6qĞ\ Y:?u)xyTEH*k;oi6A`Z$ Đ %diQ7=]׊v)w^@%f̝vb8ݷ[(ų G3u l p v "C`YIi',i;*iἘbbɸm/I=Tg[0SGdA_Bjd5`wC>1 :sǣ2H]%*hГ>kgG@jiΗ~Z+}e+ $O8_ iݯ,}FBz=}:N. y.>Zo<}Y' bG g3K^fƺ2>.)ݖN3 /B\t^!'! _U{s(Cw ,6Ҭ[ٗ F:HtC%eqi5I ('k+z0w۫=gulp:G~&c¤{#EY3|Ef>66Hc >mff֮^)`Ɲ{ٮ@a+z(=lp -6@ jKhΫ<^&&$N=%n|cB)1|<̮F.Ί5x2MlɆˊ܏J6 y/AO9S=C fZ>C^[?F65B'i6.pV` ?^?WvXa61@hU'4m\WȜ0a/{#)Ji$#ߚbJ 2a%+G|ޘYR4JE怴7c(_LCZ?P_C]lvifSTE5g5`ef̐f&hၨ`9#8~9m߼/X (o.j11 XPP@;8:K{ Ȟgc'dA:޾0CprSg?DfHgo>|"`x훭>$ 9Ɲ˲y2mw^1I ~9] _ajgP<vW-1 Jla`! W| Ǵ+ ]9P<+8cG 2?@-+pۗmsh~7`Psw](mEsYA+&;85|cc V![+50Z57ѵӚw53IFH9aU9L)F~:z$%7t vE攃9% r4-k\z}#w3zZg$2Kku0t bWi݉\I|/|+y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձw/t)Jc-/X JQ\аV V:Gx*{X*4iAA,\Um|6Z@1AD}ɃqjV]B:ȻEq <ʪn^7QLs*sJ8*3ݶl+˽s^$ɍ˽xqTP̷?M u? 뽒'Vp $ZSx#.&gwsV,|2JZ62 K6Il4_H,2{Ņff$XfȄwfmf$]A+B},Pu{ ޣ w S$< c̜k Bq0ҤVn`9f4E ,yu># :ZgiQ.vfOj,@Qt ]_5%\Npi[,-q) &ZqhHYɈa īDHc*ȯ7ߒNNw6=>Q"m4W55h\ߎ!1aK;~a(t6-Dk}h,)UmQDLjFUsR|q/unW,Xliaj۳27wDP;Ck/Q.yI/L0u846u]Pi}"!4OXpZ(\ _*J~J)IgeEڞ "Yt^_Q* ds'aI1um12'g[EAL;E> :_3 H+ErFƠ0dcW1 (== "0&N{'Pu/d-YQWPcɽr 7~Q0TD IHiq^WM5^+ HlHSG=:L 1d"NOX 7ez-3&Scl5%zMr] H \/@~,|"]gN}òec2 4àpi9ڬ>bl*S@zy95OnM1a} 7GAZE"ꀊV9mipS~0ϕ CYLjt n7F=hхzR}fWK֜okx{Tj?E?T1 2fN,7ZLө.E1R[lv=Tܭ sՄLDZ ZѤ)/c̈́!O2tbL{GrUshθ8+3;OT>ŝ0Aϛ${vƀy7$G_MaX7 qya}up ('_'GSn~77[ Xl 4k@nڋ2g~i^z~}+^-f; Э1U:C]ZZ򠧡ўV+U[[r C`t׮v6j$Y_gP}&D1XCxL\FtAfկ\!|;*m3G]^~H OU/Mmm^зu>KL+' ŕLYj{,@w^BAKPO"}4˗po4n>|% ,Sב6dC70A?,WX:n!𒚁9cNYhkԥ8!ЕPӹPo(el~悍Sb&n?ʜ@BQSq.f^DV4!K$(с7foB`L)!C T Z[ȚPNWެchN[JpvF /{} wh%Yw@OAh6gK)NwlPu~* i-Bz/^" & lV\)9iuε # NhQ\^Pө/~rCp*{P I>^ 7ODӥV̭n"3p;tJ;O(:܂[[ UYW^iIl" u#:HC`JIxV0P?4< =ٰ8tϰEY3Gxiï+1SķHI=U; 'D4'!$7l&`79.d+4bU/w={ܦh@ ,=s1ԉ@ b`j}ɃmG@FJZ6řh kh'-fpPnjR3[㫱ɜt$@>݁}öV]E[ =#3>[k(Yh7*5`3kWjcLe1ʼnMqk_I82 v1f˨)8_(TOҼ.{.s' anbϯ3?+5yu[Xى"S[j娝 t0w*2ojPΨU1 xK/oNx$0ympϷ*0żr'R֗Tu3l\ZTSV#X0䅹$A XJ:@g2C AHwܲ N =ho[ғ6= -b9:sx>P5g׿^h}/٦1Xn<!b٘LҬ ;PSs,S&х@vYNZwܘw}FIYa=c1VF0:`nN삌G7NHg;xd6W\Ak=YwKAQy_xkLqgu*\v۶U<آXXx|mh[%g&sK]b4 koyR־zxGiZyܑ "&} 3ԿIcZc{Eݏ/@L)D̂EZ. miF̪BZ4̌a% @+:K45e(ON3ewBDrGv2c#,4AIonτlNWx o~a 'Oڠ${э:q~ _K@o"ODlxØK( fξSs4zW~i(-La,q jFF};CHAnى8fl~bZ <eMF_р%W=8`Oӓ~>]g)Z}CyLV&vdV,uƧkr#qQvZsJ?J5&/f[yݔZh| ,baBB"K fY6Awocetں-5m>hT(Ji}QSzg髼RoWANGA]Nǽd#geʢ@| \.>{cjE%E` try|({LN0:ޭb]3!,>ՁҬJ?+eU{"3M:6CA @eڗŭ/EvBZEJv "k;[Cro׎ Da"kwd+#^rGLF< 窗͸[a^S.Nlx@ԦOtˡM{5DSMSCM3"Ť]&)Ь!Ctt<+A-[.߻?Ba$*gά :X2ow-30lo( ϣǪ=>߾wౖQ9\t90hܸ?xbE q{ V_)&HBc  xfB!Cdset49l^"*)qte\.sN3fcjry혥ߓ/ j2ڋ{m줭 @}-qx乼ݲR68C6-OVf+Tnavw8t5Ǹ;&6m"ƐUMweHyqI&uܬ P4׬Kís|sE Y: :Lcwg('A"h q%1tլF2_;7\Km1qȴdmvx Nk%(iJc!3"yY''@aB Wd<@4P%*/ +18=4 hw6Xŝҳ7jiȺ-0a9ϯ*=" N5"NB^9jH6#r9n+|XpMa4CU`fB/̭E(Vپ2SPl4>QZ,RWw]  dxKLSG˽ufQj;\">Kr޼"i9A8+ gd{\$ᛱ&0=&Qh2'dh˳ &"h-sn #fĺlLez 虨AW{r5rBE#a t\sxh+?+e\K\{z"Ѩm ~9eˮCϔ_G%XeOKK=/#ߝU(a4S5&5 (;uHjE99-I`vg3c*-\V=qzh(I井 Lok\7t%3|-7ؘ͈c%갅VD9GQZ\ī{J(A16H%Tj4H׮'?sb1u4I-Ft4e/S; 4gـx}3h'Z{-.spZy^ٲDd_f͍m98 ѮT xh1Xgh*D.6HIa猷w/Kݘ#r>CWYKemHǜ{lsZBpu免(WoT•F;wƚlP~, ")O GoWpmZß@UH ?=Jxf>r>U/ KeC~jBv%M_cV*8jAgYZBQۡEz&iY>SyY0ʮ؇+4`D_)ڪݜT˭\NmQQ)Nt!5\mH琳rBD=_wf-xv+}3n1Q;il"Eo|l9[^{AMC˕/0ZOeP,&J;:M˒sjû*lDq2AC!Qs\3f1EG]NhpBvn AR,=qD[ff( o$Ny {L5 I9̕(i޽ #04̩7R&y-(q1s541w1Rт1p PDtMSxlLqT$6 xi6KG4Y-Ca?l\/ˊ ֔9?Ɣjz;ܮny(e<~v=E#U mWoB*}/0r7*F$jghe!i=}@ 7|TԞF,yBBZ%~L;qE bav?4쳄,s}Ⴣ{q`ZόWbZk:AxBjHk3 g_m# wMOQWi[WV1 yViXѰ'ݏT fPbsN b䈎CٻXء݌b!?W~ iQl82d!xL0([CF 9X$Pl-ѧi_qApꇏZl*k!;Cwg1BαF8B8Xua*/d2.Wyziˍ1 űʹ_Ώ9HڑI$s_u_>Ǵ hC즔IXJjm7lsCE[lXϻCHT2 }x6&Q̕&{nݑ(oEHi] ֤i5A/}OIqA;T.F6e0zg}.4sfoO؟}+\ё~g6 v-U-}V,if!ZSڜh _(q/b{)&N%T0@Q6Nms":>2cha܋N^LQͨNܓ85Sj4G0;.(PKG\Uo CGu2p 0YO#`a?)IןRm]o?۝|δg7 j D\2µ06#k{+mEw2d)nԁ V}SymkD[mL%SP4ܿE9~CHnL\MX%kZ+H>ѩ H߸gi P蚇ri_, wH>Cet}=D!"Ǵ㯺}"\b.HGA%S"TdO _ l:OE #Xr6QN;8? [ܟՒS}tS 2x<Ձ\yG,QkgjxQ $ ^Vv@{|Ұ^M3=nD.:DoljL$Ҙ p̦ UdP8dr[ Eg*̙/;N.csL_yPXxA҂Jo3WD?I㶭 9 Zɗ tA.}Tw4e9xQ'Yz|g,`JMOF]ų{_Ԝk0~-F؎8OYf[3O4?[P$QEn˓YvIw>vۓz2j$H*ssiܻ~UJ7դH3ٮnz2/pw ko4+Sg.!&k΅/8h ա#Ln@hjJ>W.ސ}dx84?_-h,o§ _K-\cb-ZSQ}jOO3ӄ ۟ KP[ tnV[o>OgN#!ȟb 16b)8-M .6@4uN:=v9e*s 9h_8TKNAÌaCGduKcK!>9Z.SeF۲i-Cp @,}7!V2v3 ̙( ĂFvC/^ΩqasQ>{kK(M?0NcZtm$8J-VJY9CK>Pa,tY_ҧvnE?Zp1'Sz=L@(v}/"8^=;PG{62YPHYq8uDCuq;_^*ʘ (eSUGtTYrj\q,@LPZgd49Z+}VϚj=M Y={OXw&D/1]!faȞ$r"a#;9M=Ug̪^99N"tŁ E~%~0M 3"]t{ {$19GA[XRWqww|(_]dڊS-g/٩l^4; 1(e31) \S[1ԗɿ7JMܚ2di ptO" 2W4 ap!5iQx{B oi<F-9fi݄!Ӝ{FXLdXG,g-AG$hlî> K)T~U05άѭ%p(90ScSCFw}Y(wuy- 26"37 Bƾ7xl T!U 3Ӊπk{&(f'?$m\t%ݒQZ}MJLlIŊ}W> l ߁1^͛ᢏ$Hݲ^M͒-OI0/tygf;Cbg ?>/SVc@;X0ۏ#|-m4 7+gYZ&*GGoFЀVE[&$ ũ ѽ9wݦO.16*C̟m˖R :bQ<:Ci dFU<иi0 x3dE.5..ǯh_l5gJ4T܂ KH(,eT7Gf<㌲xŏe+_ 48`B<'~ H8fG^x1fEES*`!hayA2U z7bXuo6O28|\ܚ|NK劘9|4]vݘrNQ&@vt(c0U]~R6ͬ>PO11Y}.0) : ~EfjFɈ{*H9Clؾj _MA 0G{EX.k /sAn`;#b m ͪ`.*7BXA"$jnJ,{I1tL3+͏E/O=_"!jo{oPk`> v W|HR;~Ցr}Gn&x=o} l)hps•Wa#R )r*6+02{Zmz}@pm*=I\8տګהD*zF8FptmL6.n' džJ^ "ZpuW$KpӣGv^{~IR'm#5>HЍh6܀ b#I/(:8\[Xef_*Lpe),40ᛏRRWr=iߞ3rSz.C, DUujVY}m*N H4lڬ%r&g>ͅ@TX}N.յɈz;yfcg!7~I9 4>D'jK 5u:<@.݋S-҄;6[]Mlh\gq 'nNMikS-e l¸z%NlCYDq-`%CIVq  U[˶7m-șZ6LP -Y eo'FBpγ`W #3*ϊA" 7w_}h,78{A舩 Q4]^mQ컮FE-g{g_Y-^4F6^ns.Jұf ~K p@cLH{FR}O1&-ĊNH':Ԁ1Nݑk "$voeV]ۍSp4l|Nة+v\9eAh7vvAУalaa{V:% Yowx/gc{a4r)@Z9Rszwf M!SCδ{y7;;)& O w%Au28QDc|KnJ t]̒#8&$;"_Jts]?^]gɏp!WNWɘj/̚]c,6] ;kU႞yd7T{_7 8dU)s2uc0hQ{yQaYLNfsZ* /1h("t3XYwlCI ̐OZFfbP|_A7d(ȑ< 2TSiS)^A!6k^1Pu22N 2L[-(5΁%*c.BBϛ‹Zg&wlP"L fpÍ~bj7$sy4 6 Oo$?%I)]ީ MvFp/V>Ah8M=Ɋ0 u)Tf^J&˅HdJ|9Q]+8,5f:0=!.57lFÓoXGI= ߮G@ U5bVƂگ.Z3 ]wP3}7Ww}u/ TbPt©\p,wJ|bӿ ~gxP\6}:0=p\_?xgdr6!. B~^>c9,+X mqxS>hY+4fiΗJXseLHG/edguPV%X=·~37gkrvPp $>GNWw)R=6Y~݇\msj[k) +AMg$bPJS); nΣqu28wZ3uz}׬[H-$soZ!̭ uCL'4(L{Bw:|wt E@(aN>c bRY7n`É-k{9'dt4Qw p9(K;=K6eGu KP^6^]ti7u6M[B]\qg\>QR6lY5aաQiw߉LSƞ-<$D\x" Xuz|贴nL'PmmNH?&8I ~2>'~5q#1 g|@,Ac>>F9eY5dQ.=6ՍN>^l=倫&=+K_¦ Hcm] ܿT+EsXCG`"oʋ#A85EN /-{mW i^QV(ak:Mt"Ywl[- Rߏ7Seyb{ݗ/"kh2rKI(տypV7;DdoM?uf7=VXNmtd,vYx-7*矧Xh:`vQG(buQ)A\"SVj~.e;5 _{"5i y@znatT{6@3톟ŋAZNE D?f .Yk  |,oK+rMolҳjw >2fOܳg9j=_ϻޡ_mڜ :VY=[jlxƏc{N(GT$&# ƛc?KzIY^GAk$ mo89.ȩШ5JƓXmw]ȉFp#n;ΣYhԱW r ܳzxNg h#)/I+LI.ä(C>8Q\# !>(N/LDy6Ā* 6ѣ/'[IʹFΒ1ʙ!BKC׾خ爷mJ͙r,_iTY󏄂]ߚ&+ue1WN{ϭْӲccTfvN7CL҆{Q5@51%meW.Ic+ʠ7Ll@%`68 $ EdN3"1 6*/fd`YKuOwN${61 .r/ѦfE =3JHYMԟ:sv śU F:D<0wK*+dHdvw; Hp:ˬC1 oXwf!׌Bܧj+5S$_/zh}PA40RJ1r {y D?/]eMwL f>]wWstWUSQyv٣ e^4<tm<6R 62Ф G4C D0{tJ sn3Ql-qLS@-,rI%p;ɞd_6"%SS%o§ Y߉s TesAQOt@^W'+ ^fTe"gu6g6i<8xOe᳼t>V5R&Ch7^v+'+ `}&Q+BA/,8qyWt ^ 9TEJl/¸pj~+&{m]hCbΧ^ [4-ʹ%R/8 G1h/=]މ88=壷~>ܯ |bxbXԽa/s׈'E-\Jss;j|cLj i8 `̀/l%B6TcǠcn3G#8B`%Vݿ'o,%H0/R4: #!8(bp"P^#|f׵|z\S+BM'3.ߡIGJR7C8ǵjh٢Lw1,;]~N6ja?3s0C8?.OW Fk(ѺޑC"],Y+{" @YRDoMocm;dOA~:qeңj/1oz6L˙Dd|(v}}oFsռl4ƉU#*/DW7ȃ|IRfg 1`޾o)z`vG([QP7"yJ],_]3gxD]ŀoҫr:iv1!moVg(fk#dm,di.Ӿ(ɕb7.Sc[%INte*&5fIՇa\}ݱq"/`&Af1i$_W$KV0R?ga)l%Sk5s9|M)VzYUxgju"(֫-D挝fnn0*Ji2 te8¤踿EÇBmblqFiAMS=yacNx[LxV?p#VۘgQfb{#8񡦄QTMxZ '?U3Dt(=k9iV'x@n$}SMY^##Ǭ(nBGp>*$lUϯ!j>B,sEu Q?-tGѹ|Z+uQB%bLF@s?OY)VֺK_l09a$6kCè:|s`\dneEN-xtG<ņ;PiP˔L#yCqY<=|2Xߐ?=c ;҈T5Y.RnM՘._d3+MP(Ue䣴&lu*>t}緷ů";!t\~I8>߻toPt2Q0_M ؼTJE{zFDn2fh>v34Z*%u1R)y~ Vc2yjezEʐnCgH ?t_n)]fo Ww.j\,nAϯm-oJp"j\.~@a~À(UoaMl {?h sΤx_Ik4@4Z:4CoFt %g(w^Y>s[XC4v卦q>:#6`a00Yp|57SyEYc `yjҨmi RcDa/`\1fZP=ʀC ̻k&uJx^ N(̂5yVd٫PS9ӛg\YxBbb d $˭ p";PƊ! ]7ZOעx79Rlūr_N!&նgT?J*gYZ  1W% |HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6w]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 S!s*;2ZGx~C8KȊw%&(rO?hpH9djDXfmN܅lІO1jVY@y܀n,&*83h{ dȭMx|֚N5HZ2"(ֿq/9O4adk U/q2oK nldxZp2tk3 ?Cd`lt:sc~lE8q~fŜ~[Go3|7O<.w:B>Ț d8.Gj2/P@< b|y2.!^|)I[VHnx]U]#@__@λdE^OE`vi^dGD5Zi]A{*AY':{6m"yqqdxAtfAԇ,./'axTXm=Lf T3L#Z_(3wĺ[>|JSWșu8R9vb۠,'r_#|5.RgN^0P)>zRYiC}R' PYoղiW_.=MuοmY52x{oI2 wKfaB}\ 5>#,Ǹ|⋧ */$ox<:LWjR^s^̄6q)4b.@S7UU +':}3 % M!Ӄ1In')W[E9%n?ֆ :b@Jc2ͽla4&To-m()Ʃ+M{&u\Sc|H͊ 7ȢCU%$7 Ip m5z:\˿ͨd*v?eJG[' ]እ D5=kȎv[~ rH2>%`鞰& >[  AJj/ j;"KpC~1IYƜ8V%mm~OVn2ѷ8֚ X (\?*%l (;Z cz6I )M,&Ѕ'D"ݠLզ8W-dK܍Bi.k\=nЛUyN_%Ҕ? znfL]̰ c vGvc($d*avj̠$)GgI_1ilB>F9{*J:D>}mpS:}% &ʑ8ꭿ zwci˫lc.zzLX"vl>Nʼn$&3iC) ._P`" +U&-^p9k0+Zec(7ě*$PoJ2rA9bO,҃%?%2<+JCc)E7X6؝b Y~sGg&fڐ6^;q.(s1W% \HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! g]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>han2B#f47c KN柾 i I 7:yٶbZ83n'h͛+k<"!ZqDU蕔įku=e- 8Xim^ 'gqZ1<<囋^>+`iM|ҿ*#`K(,v` M%Tp¥SsxgO}9ZKpv X 3A5{P+jnݯ6Gj4o-{Ñn]oUz2>¥-ӻ,]$W=_rP|E810ztڵ^p<$̯rlɅ(0<1&,Mȃ`A鮹=?HIbpP`[.Pj?){HSG_  gjьCR/hi'ޢ;6X0˗Nl+q՟߳d[#ne?ɤVBAKЄt.{JH+ slO*P231x`%kf^9;d?YyB׶MDOOބ&>G3O'gY'YĹa|BV’:Ҏ\%Ϭl@mINFQP_]i_G$ 3F9:?-ܤFk||ppLN!M,`۾qOZ 7zmO@ ZjȘsˍnO1D\vܩk_t%  {M.߶$@`" lډ~kCE]>y`*lyn% @bD1r$w9I};pQ/F_oS!5z‘j6d*,Am{ܫ!:dtП @khbo/D"p {ҽ4h @3+~8;<l9!NM#u)nk-ZK[“8Z'uEcahH`,ε+]-kḱ+Bap0 NyOQ*BK/ lbHkNɃz!P%t[L 8F0_?I ! moI6nC^ChT=O? 7w^C~z*RS# {LI^*gl; bR:Ř g;k:J:z̆; ' $&mmߝN Q U94UOuX Q=1VqZW_ 8.ńHD%U}YL穀MiG50x]P"Mx!٠ —͙O쌖w&fF>/#Q$K7Oˇ:0==Bp^?M|n2q xcQefM=s Q]Ƀ1NӅ=8*$~hx˨G=&g`/sd )rNN^ǖtݣ!V/d}|-.̅r{ʅN OX'wW;ܘ=`Yq%mtJ '-n\N31~j\t }:48򓟤㱶lFh@k \T&E}0:Q@ȿFdE ŧˤ5$ mD>D*RPɃy?Wn?eQK9i#sCHE>&צ& 1!6\L[4Yo?|}]f$H]^f9.\ ³#ˏ[ix?rG 6jr`,d nYzMvKSuASl) )^}Pm ꂗL1C\gyY e!8e| ~xD@Q;N#l$LV)[;A ?=զᄊA~Atn[e`P3 |ZbIҥh'{r]C $K7IjuY2\kqFϲ4>X+%(V x}[HM>/+]z>@z֞sMzkEL3Y@s>bZeAP޶0ʫ&v.h9ۥ?|6?S>Ȭ/ '& WbZ+h>JCn^Hךb|Z\IH-7zz#7lL'v_574fϬ:&"5 İHnϮ;](43}6$>\L ʯů\J' 0K}O{h'X-qqhM2]LpWB_ǕDD"zs~;H?$#'U5*ʗQ@Dn(Eʣq%2 LB`cm(Lp-I󰄽6z*bry=(_+cd_ @]qR0Va?K) A7voEqUV_a֮/ڵjyNJ: GH.Cr< Tn66md!Dc8 |](%Kh1e\0 I&MۜLq߻:M;JJLjBGR#qrpY{Gcf m $zW8WI(Cw4ȁ bΊZx\L/DGAxQ#*) '9c.g n]]o,0Er'+3{e℔Qi* 66:$ijўjk_`M毠uu4|rMCH|]"nY}b=b|9uCҨ6:t- 7 |o;p*z};Q゘R^Vf)-Ts8d /zb=Rct=:Ii&4uTul`*1> FBu9gj صOI6A!l{ k͡UV# ʇ< 5T=wdPB $nGeVC9C+j9n1oL(=\buKsb#_re*y-rFN |n6pX鬭mz mF\9-~LRRiE'ds."wnO~6_.u?X{)ON2BTF} kѓ^C7W}P*@2KSV ?%:,S% ^ծ`ѣ,.\I f}ؙtޟ$1Ĕ|[(;@XA/Os[2ҕ:#%OVb58lSVf\\1<Ɓ W>VC. wdڡë_ZQEagvjWC9|Y/..v>Л)NO 늚Sԑn=:f燱#ĉxZ&7 d4P ]8^qg"=f[g-JfQa)ai`} ϘqpjɟƘJ,Ըe'p~0d$ZxoĜ`S@?̈́yp=o?o4<=~١/uys3d? P]|YXu%vt>l݄ ;hרLTϐ~Q`"eecN  \7 p7c1IeVFonykǏIQD1UQwҊў+V0l42}Ę{c[8E}<.zd堠:b?nDgxzSlF.F; |se7cM%yѕ紗Pnfad&P, +%)[3tђ $e/L]G>r£xU, l=% u3Xz _Qm#mmXza8x{r{BPqi  FӿߛTgȡJ{. mWo !ljx Ajɘ|,Y頙х遺QfmݴĠSVz&_Ɗ%Y44e:}g+n?,$X׵we1j^Fm0G" 3Е! orਏPKGCYY\`=@DTBg\?~&^OۄA(XNC l/FUbL<|Wƚ@,g%`cMS0lB:3ف4%o#RH *|<7JOkαʣff#ә _X&_.lT9#m1{xv? ?<< ک~ɍ1P(=>DG?8;"~TNc3+/ǰw7d=Nzv"U?[Y[ hg*/,O _g;l]μn$:Fz4u\g_001lٿHGguK'Pca(ґ=­TɡJF8.g܄rxJ,+fABbxF1 ^}<:w('hUl"F"ܠҐ\.ŷph O+55313+d=K~gB0f䧒=ꄻO'c*ι!Ug=ŝ x2HZTNxSFwZ<-T4M r"/4oQ͉\VAwx6xJ':Q`ue9Νo !Ll 15 C [iDUs 7 $!ɽ_l?9[V ]x˿)O@h9$:Ϻڙ灺fP:q|Zp iݟ 4A"s%eREA\Q{84?)=v=bfD TJ!?V3y- "Q`ThWfsKKOwvd8tdTK!)V4|(1B۔SW'سz2pzo؆0!)4f`ḿtfuh3Wu5oM(k7&n&J\Xo. (T{c.̙ÊjyM,O2Q0C+VY 0p;"Wh][;-D[drw/q\̫H} #-ʝ7T0;O4Ywy$T@)2tf̒޳6fuFOz0Yqw;=u, C(m@t%s,fN^=T@cɂVY2%dp3*K`0UۄIG(ng)5-=1(f+o0"L/d0Gfx/a@wp;FdBV 2;%h/tWr*,1HDgD: lT){ıyZaSKۄv"T fDva^V8t#FTM~DiaFIp<$u iH% i+XmI٫O'KݲZNJq4;!$P lwLTK6%mEy- Cq9dcI6 9{+ʌMYE+K07~7PUP1kr{hMIA[DPd2*Uo+31 P;/!'zaC#EJM&,BR$uPI Bm^uQKGj^YϨz Q 1*k$S&]0Kj]J&^sJ¬b&Ql(RJ1ݾNkqXIdRP y+ۢhkz5^yLlMj`%TTx`CK+¥Ub3('Vtju/vNW (iYƱvӳ!ya$tX.1m]P3`gm+Pzt0] Z>enɗ$6@M&d@g4w?⹁\Ǎ}9[.*R{apH5F. PyJޓzyOP1pX4/5r5"8ÌD4{Tq#3Q`F;dԝC.=,J3iYq`DCiJ֍ʨ5ps`bF',B\ynC rS~{v@ztDecN׉^J%>c6"C8Rs4dyoe2&ߘe2on</й^06):"źRjT=j;=[1qs-T up$wjHuvDժ;z/>,0@8';3RIW[|S@P+`S)U7^Rz"<ӄd͊pf5/AҾ{FO >s_8H윰xJٮ!g$.P,13- }B׶:ݽ;ET} iƔ.gu#C˛^gl? ϟAaTKw5waa 2ޭYk5Y¯y5WD܇wƙҸÓ6$6r3-¦s/%ޏ!׭R_-;HiO+ 2, D7CsZ8j֊U % ҹv^H5Kt_{oqcШ My`* ܧG&EQz*BG-0WdGCY"gűvNld--3%g ì^L'&X%rrhsMIcHkV_[7Gj>o0~&̫eZh'!<3~ݠ{#O~@ds17; V,`gj9/SH0Yc0FK- g|iBeo# m<$>Wr~pŃ!oPuL\Pp$Ci;/Q9H_nPhMR|f`tẂ^lEB́ClThߪ*J{lX6Iل a)}~aMr :#Jr%UXⳍ /ƈm.&U+ i JӦ-Ty:62m̺:y+0'I9MJ몌d[?+<J6/9X`a )(N$k v)~a EO|8٥DA5\8 #[0p;(0PxOR?W(L WyiDsȜ!ӄ]Ud#cTBUT n9ab7&4?}V#y=|=wҝ8SEB>y8XWBiBa][729T͍raBXNryk#:M64ZYҺ!si4ǖ] F4nn},ۃ2iBw 3Let_"ׂvOeCj_h[p樇Hע;2c)yІ L L[x&õDYQsV[M]|iN Uڼ~KY,Ync=Hp~GyKՓPcS ]!_QVg!P#O =Zr:k7xo\ EL'p?jD1h*QM(*g K|HTxTgpR0e7tyhV++Жju\Ƭ~~$jR I9%HZeqҐ~jb8ү_, AJLM=MgEoB$l(Yث=LVhh+bؗ&_*?!c?Aߏ/: P4mrateY`4.VMuO 45 / =U)Ɩy`zϚEx-{rRe S5N%xq0I.sb?3-v/eTc}#XAP"dž!f$&SV,5,cM+1/>"b̅5KԵ위2;3TP̀nxm$^1bCv7ڂğ]G?*wWoiEB%mPq%(N\5'Q[x`H~-O/6Vd٩8,OyiL t~Bh1^vl$)9#__缡3漪1.]jK&=zI. hW.w!(eMkAKpxΑ7tV$UaU8)Uz]Tn|11?Xxaq !417E/Lab":ΙB R'ZCr,؞ ?CcOI!mBHgYZ,p'v\݉?b9 nm\ak8O[n?3w W1v.;>?IOScF"rxόfD6`ؒ#ߡW#Q{O>U9WO:Ԍ T QH^?8+?u)]rԛK@)q+.+%fKvϰjz#X=+W/Q>X'W05M c댠Y򳣄?а39,vca":PmWZi(嬙@\ȼ+r0j)ݙģqP>kmAN@GS Heۚ詭)$>CL]c!{k=lK҃CMJz[bTmaV܉N2k`;^OBhz@!gLu𩑕pٛ4~WP|{m VjnՓl ! ڞҠ<ִ]ztUd!#}#Y'9=jPrFѠ@Oj!7^VQl44 sS6 ڛ; YO83΄ q,JZΜE\~k$5m;bLC9v)M*ssuאt88L9 oSXHAmC_MѶ!餆[#i Q oCϸkbVo^$jP.+^\ sT*!0pS _"+mVxT0mɷG&7Zjj?mÝ2=~4אIP?Z>\ ְa(˃ {Q`K]@!LcſhD8ѐ g9DoOSq9kXgtI .KLe(N]|lxG3 |ZtVgoO]=~c;ѕRfU8'2Ư9r5w\Ov:r;y#tt|`Ö^?$*DNu&Ne*@ʦRT0&C4S0\¸&-Xpm [ urexPl>:*?=QT";Z]EfMC)!>J_ɪd\9cG@ML@U?{9[.[.}srNu=,y£ uz/t57rt r)G bT~ ɋۊ5xsM̿qÙ{pg ђS1~计N>w?0)^eW/nIMa-,Rfܛk90aȅ %X?)זe?8`M)&F`"j]/Tt}A֓gӉfGiQ\Tcj!9P%,3 hm kk;>6I ]pPp{BjuEdfRcP 7x6xhމ\(${3x,dM+ȷcO%(e]c뜸"[3'f6V͹4ZPvm}ćHtuntUgLQ F V @5䵝=C593[X;w }OР2U[5#Mŕװ&!FVxmJ>9X QoGhaΪ~RIzӤ$b21 %!H?_\SS/O&QYW:m܃6~\)au%0Ai'sKvDiS%X`ݐYaP\t"͜zdT:+ =~~ۮFƣ>9UV?0u^V؃#;=zrO%wQw`3VggYn}icjN.&JU)/vәZPNu~ Miu3Yݙ}>嬴B4nCsH-弬ʔFi%c5ΦV򫤜pɡ8a% rh:_]m/jЪ<:j?%Ci7)ٵ%\l4%:XcvaKU#~PnM>-DȈV+QjQ- Ԙ=2A3O$Ah?-O m{hVq/Sw9EcʧǪAbC[n<>QE4g?[c)JnAG뻂8V͞@(g5Wvڅ?(Sq{x%D9:+Zt{h, h.RCG:ojdI[bt`RN>)W񠬛̍'mLRTb1ODs^)LYbpImW_TAFjRY]ͥWfܗ=:pI^Fq[C{/,>jY'_=Y˱ ŲPjI!q4uTIT3fP&c?;~"tl39! m`.ջI^]B /=K47%wkPi9oM_ǼSədHLWnA5v6&]˙#7AWXVVi:p}ɋfVר<40_\ߪ6b%׹H|Uŕ}V>ʐߞr9:g'[=91[jHzkcɠv_H,Ciw+XO2h\Yн .F|vvn2P5O"VAs|Dl#mSduӡ:2T&ǯ͑+{J5"d#/딟ģxB+]y2>H!L#M N_?Vn<,  6h1B@K%nVp&56p .JS&{#Ow.h ㉖tc˖rŤ^?yI^-Mҫ^ric獗I N {B(諡D*+NM*?|}=<Pɉ;uKjߣ˷3%h}QZ>ɜ:B=bCG:yYIЧBgzIf) dםb` C/U ?DHekJrC$ޗDMZ[14QU+QETr59_&c)ԞzxTw7?+|͑ [^[ S6uДfZDMNM11ew~2A]z+H&VD_{VZ+r ,NpW>Oti# ϫIW}My׺7Oh0#@y=[J%5WSG -wIikJbޤd-9 \+VtR/<6nM$v"Vjh4('q$f}Q^{Qw~LG јμg'2Ļ`<=Tӗn1||P+GO _QKSeX-roU0FhsX&L@>"׫^q$+{MCbґXO-`Gx¿ٚUN&M>1 Džف1d+ybb i?Q 1ݞEM!I|NͩI#]ARݖ@w`{'R)n aq_ pOU;'\lAmAk\_$ J.m0.iH.N,0v5 LvT~d%^VI);/7Sxܣ}l@xZ&(6rĘGk(f1$D:Ĺr/v"k%F6[0Wm6ŠAPnshބqV)ΛLwyx'("l#K"(Gҧ;U]LWjRAW ަ6@X?Q[=eTkKLt97p_S`8&Cj%W:T|pЁ -+PZ{|enS،jv7h&酹= HNOr,n.3?kq,00Bzrf^Em=TNK_^Q0BfZWǽpOڬJVa~@/ !B tLoED?W4!_[R{UZ :)+  InliP eE$W_}wT:#ۓlym,Ip?cG"@Y"-DO=z&Fe3[,œ̏`QGdf z=)Ɏz[As{w_y:p)+=;a f?lʓx]o) bdO="N-!b) cGr8Wg Stn69PZ|Gw8Yz{oRa(HNPGېxrM66<ߢdu?C3Z!z7't)_SDNp|PS~wU)S"+6$@w`YbG 缾|[VF\LE=8)}:=%I@c[Ww=_cia/Z7 i"o%ͣ&=i, (iO޲gsA# O4ADÂg {r"LH*m G?XKت΃Η,{׻ʪ,j0\HBy@fH ݽJi~zpd5īLJ1AzT@09evM'4knGhLxDu;%wU~Zx2Ӈ|$z+>[ k{ zN 4m\LZe'&`qOwMoqgi-.iOFҳz3.@yܶwM7{2N Hal~;&"gnt7 4I^Sd$R[j('zn/KJX@-Uea ,d逬XãriSj mdҷ$PRBpںo ^h@@+aZtUCzƆv3 _X]^eמ픡Mgœ}T-_3ږ#C 1hC,Ӏ27Oc_LY5{Q8ok}y!@@۬ܤˤ:﷋?f93lǬt9ѲYBOqH&M5߲1iZ_-i Lj'RH5Ɩ Tsҥ#lSIK'*"l *8YܡǀjSq M:|&U3BLtj^lv v\9ͫw6l3<dʘSr=1qn76u͟.. ❨߱L;jlbJ76)W̮{WxY?qOmb5{sɴs,p>!>%lzْ(Uya\e / js^&~LҼrגl۩)7;8dS/v=uv^-Oc$di[NTׄt' 8QL5ycO+x&+v֠9>%:n/:[:` )bcb=\yu'W9`~b幀qT}V |xU%+&p_C4D+nw{RHtMmҺFV%^ib |,pԌJfZ]Iտ|F0ed!14xqvj\`Tn?ZXdt *-IIE{Tv>/\Ac[Z#?w]|,ou=xI#䖄a<`O=O7Պz`:*qbU# p956-9"8R$<ʿFR7_S16lalO> A"lٺd:ib<:5VXR5)Dja!\#U@#.5+)R|hzE٘w2^9֥AAm}\+س4nK1 =ЫS=@pw4|[-\WfVP2ƤZ ?eoMY$:O[qxHV/#v9NV ycDTYj3lY~P_eQS;sfY<1hӽ|dx@oywC[ | #]FQ;UwdZsX~U޼_?ǣ xeJwۯh>.6^~\PZR!6Ice@#z~V-J@nYmg}5'@xE׹f˜S"w+0bݪm7˩ j?I$ݎ zAL'ژ6! \mǵM*wݳxaq[DaQԙTր9soHfeV.O#4:3Fz@- 8G%n5{+Uw+RVxiOxyeMγjC^@_TC5)}lNk*f;*_%~Ĩ hCZB}8/X3U!Z<%rqÒ~KH\4@)V%S3͆ꉣI!7؛5SPGqy~[ +ׄǑc=/t3L(`j$A M z *?[DGD{ Py?2LS\WWCR|zn:vDͅ:P7 xEPN|/tµSVi_fa+c@Vb=P %j G$' &pC@}WI+il^(_1psG,:a7!^T%<*P9ǀF(׈MSnJ}Q=rl+i eXbxа=:ʉ/&`x]_A~ ,[Г7am+M-0Ĥ3VV\f0<%NG-BO`ٺvVVgTg9{ "hs`L!)N U>Mv8fXl~VJ-(;f$2WP!΍J>bS|$V@:w]Ch}@!1c7;74T r)x47KboT]􊵿zrm+`ɰP=g&& {ՀƈBq.q~)*DU^ocUC&_{9JE1 N&{cؒC$)%\bM5.b9Ke 71inW/,XC("yO dڛd%`BXcB[S&ѵIZ,AtI@u$SK5{Iߘ}1Gyw w>KiҢ_G4pwӚvWk UZTVA]4Wh`V*%m t`J'%ܣoX'+WF ;OIf%lN9dv'+S"x4TkJ6F-lޣ碅N&x4P(JܯB]өG埁D{=WCiPar",bezx9a u:qe㮢t6\8[$޽`np my^ dmNʭ!f z߯a(su:U=3bi¹SV0Uuwiե<pVOUi I1Tg>>+{"+0)*ݴJkO~b]i]#Lm:&_t*#kO J#DBnIf#aNlv̘WcH_s#[@>Qmw]N4 TtMhwpǒD.o- ?K߆#*qSt{_.Q~!+ T?jft۰"F&ƹ0|1䊇p0SnV`尖~CISpzE9~SKyFikwq>+ND9 yUͮSc@h .mo sObꦇ=@4) Ort~c8]N(;&= 9Usb`m~cD}ij"q,4gYZ l 1W% LHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&@%4galtJ8P9X' <ی8wfn [>tt(q~obg t=Y 19) +v.վAaXM{,ME5'N\u<ҙ p$[(9 w[Ⱦ6@D gm'|@M.{-5/6bAvzNjQg"-y-@{$¢+3_}5£$_2VAR>yZ䳿- Ȱ]h:JQ' eC8X,hi2!J_'2Y*"Zw_{"Kk@KfO~Lz v,~Sxp2m: aM{o80h,|/h VRqN'f>5MZKS~YU~€mPjUIgޙ#s&aCR'\E `s#Pm쾕S=CJAz` ;C`aTH H1G*d gjKiq'U&ib2#B]T_F9״a8|TGtrmg gKԿSCA3nDgWg) ξ]+c=F~.gaJƹIυ B]tfaJQf9#Bi~3c<*saӃH2I,4ġn|~VP4'8q`w{^s֥N0\-t z@g.-i݁MOG\#TLT:Ld8{MI+TUBs`DZ\xKu9q}zWTP% =uZƃU/)m]ݵ?y_마-$pdvpWY&؂k>3]vpk&؈ &%ܷ_8ar60}7F)1<sMlAh Ϩ90O!"G'&9<1R[}$*t$m5CX2cNXυR<3ei SND ĹYц%j,W0rSSWǸ6spM#G"f.jb($%\OO\b@x__u4#c n yoߤ[6}IQQo"‰ ,T3 %R`=}LcФ -R5wU‰;u8ڂDs{r[lUK>(R+խi"y=NDtN >DsD3Pr}y[ Ǫ1sП0l4~q?PXN,0}n^!|P,*`ltۧ^R#Te#[ۢ]4\!-ԣ'J;ˤMmVwS6Oܡ{v--MPzm ^1=Dϥƾ.wL,Vf|%1ʁu{oc`p&Wac9d'7yof*O$XEj=TK`h] .@/ (y+w?Ǧb0aJDT-5ap2/[E̪w\1_+1<-lBxYz ĤdWguTPVW#}^=]@Qf!K^ᨧa*D Hp[S7 GOy/LYDf4`9w|لk; $Sdw2JJIOgǗ5]3xxG@#s&)A=Uq0}֏ƇmW_B)tԷP_ܢBlv/a(`w؜ u Fv"G43vơ<]ȎG)fp+0b;+\ |l),^;NV+[:>!&燁اJm#CМ paRj> L͏H]= 2xL:ฃ SEF fpS0ڋ TE5D^yo[ݹSq]NXFjC֌u(?WU++F2ZװLMVJP (?7HI1-COjCC2&#lQxj4;,gdW-m鄻e>QrrQ[lf!cC?\=9ڗ<`&6$:a81[T^Ƅ*",8ث28qX9u&y!Gݞl.5vpT^gTn  g+PNӨt2uO6qEv.0?"dvu*5Hy -#?F/U!틌 Iz<ӗ*A=53EfW efY:tf$-̲Yg5apY~e˕![ʩ:Ǘc]qRٰmQS (##ɔxx|1>$,7@P{Jg7mZx֯P!'w?"7{y(CmVo@05GS6OE c@jN?Tg=cl I%ꛦ'q7֗厃A3e 39k*$ۻMvAU !GlAO'#]$t 10긟>I*seOiφkR8gd"d`ڠP vYF_og]YV Ec iG$ o{FL|)j.K,qk緅W +d =ߨ2LJ%oU/@<tysjNRPCSˉd)eY YvQRo\_>w"]Tv{|OQ obg([Lv4l.$s3 S)zp3UP* c)/tO#-*2c&>e,heta3_7GQpSۂͺ- 4cunRs_aO jtk̨`GIKPSyK#/.:Ɩ@~-G; 8zu``$(hY)3GI\2rŵ'ZUrECѽaZY%,8NϥnK_ro8nC,J _ |RpsKLY:A=\s\RU`:=jh# @;o˾3)̅ skZ1c9$`#$}eCB`Ո|ԢVo)OEEx-CsG(pfUBL̋lxWc&}7Յ! Qv!IzQs6Xs`Z>!Fgu\zKIpn jnZCT#@cwbw$HVF!M`vgD%A<&Oy&+'cTk#9s,ɾmw'DIFM0i4ݿz~ӽN ؃Z@ÿ{l IীgL{4M+aj%[>fJD,$"`y]:ڀ LӁw/C8m*{mߚIx!̬ eO'1|R7Gacg |ciT*]j(~mRv^nCQu-=UAiB{aBt8a,噡!cc:!W^ 0U:VXfT]Kz[yB˳ gx:;\D Jse^E'SfX`s=3 -,f-XVkQݮ|&|]Iφs0J[:65tNV)]r3zǰ1=ɗͤPtਉ52Mِ,վ]"Qo9lWQ6!TIPmԔ B?)?n_VhHѦVVJ» ksEh=0Q77j/lxOÚޏ+XܾM-V!t%ɀ!sNy&18ot,T'Q="co1>d Eo5/Ry+ϳfG+ų3FAݯ8I9S̊BE1k׵W{zHGыkd goH Yā6itz>ίƲƒkl[W]:c!͵t%MtKe *QWR?r0̊:y0)צLt\ypz:; =1R,m&Tڥ>;ͼj q<[/="Q֤?g|΋Rn>WQH.`OU4вLHpY2PhҾ'VkdV8Tb>YQS^}qה0us> bgUfhBFl9%iwCŵ);.Ok'g猧=6ƒ%̄vٻ+0 s( (_QP\vZ3LNPJm?9 >gxR8dy"~CӼ0_p.HbpƊH?ZͬГ[Y4 8$S̥3yӡC[c0u縇mp҉$~H$4"9 ae VHf*殼xxӬL"IAp] hUyrw^O^orFV܂7Г@S} Q[ҹ,_?K e mؑF;21l"'e Dp^5XɊ+X/CQ͖SҌyxfgN %KY_OOmOP\ W/B+#4婕C{*t7|68~m;t!ڇڊQҦNAsjr@7K( XƼVm^B)PG, ԩ2-yEz")܏hVD W{fTN"}4a? }kP}Pܘ;* #rx̽j)ra/}maNXۯba}C-bj ֫D(`Xp"- k@}ɛkj nsmCٹ ]pIJq_x?@b1\x:ϡʗ+Sjf/DTa"` _2~;#")+"Mj1vϕ7MG4֏di5T5|`nkzG:I,-c:J2:=Yk|>U>3{f ǍnƜ;Ąg{B(1=-D~QɌ7O 2XY~hPĺIۥE@ryNK-LnGX& iv9u,}~z=1`Fb "Le`& Bs\½" G=i,B˦}B|jhW{kja;$}@.g=&IkPy+6P;.1bl% vD)|..^ x^Fuy]"NkdB? ֭C^dm`b/ 9ˉZ2+}-D?<幻,hM|yV\hӵ+:>Bv?`)HP#cD6Fh<2ّr}P~-Pq hEn+ |c rHYЩ}] 4q9 Sdsvg'. @su*ud)xf)-Lp|A* Jxz`21<2iX@ (Pȼ"cy!'PYv˲ZftȜ{{e{B=:.TJ$ IkDU`yq'D-E!y!ݻ= >d))"eXCaZ{_06QbMRX=1qMg^*{lvmLo>7" "_V<@Ϻ;} vb[I|IS&h^ڑMSlz-/ ;E"`Q Z0|Bwl3:8fw'^ 6~dfdWXV֫1ĕ[(S&Ī=2MLs嫰a8N\yJ'łssM4O2h^j,W+nsxt"_Z Cc RhKF}\MC λ^$C{KHIIW)L-vs@RZӿK:čO+p;Ș׺B..SiZB`&c2чj>ׇik Y$/" ,Ů/ޢz=.%đM@*,\EMvR#i92|(q[䬠e1HAbz;D{kq6vd )ʗl4R+ ̻$: A'8 a.؞g_N^14 ,&e#E(&T0Ԭw<. LUnO9$̛\PIYe '3tE޽{CfMбrf8GKt3d{!c$،hw]9-Oh]@p<u|fn<-']sB`QUU!ta]' 7yPyMr[5#u$g|9MЌW<l2& WN2&oXVyZ} m*8~]VcQ`ZV2U)ǏikKiňZ5BNKwfk.D.d`7՘'AGQS-guY|٘FT[]Cr"Upl [*/ JM)Lefs>}JT|c@4kCGUФ$Ysh̕p3Kk@QźXBj7K*W#ѥ@R+ʭ& _+XDk̸{}/9ו< K]aC[وcnϣ ai\7pr,@\lZ#{hqũqP;)TǸt<ݼ-QkwԛQA3[֪{ƨwS?/!W{k}t$GmWG4"SFn&oM;IV$ D^SMa#̙pmy.KwyQh]ҠG!f *Q 5.~L\iHsYSj +iЂ5O,[j)h>{!Rϕr5F\8]@EEoABo9Fǚ+CS0< e\g=7 rm(c]A#a ˁ;4'Ilxn1㮺uXPcwЛjQ~} 1OU] 3@遪LĎuP9^9 GMOf>m*m(5*;PoJBgc}&]T_?2kp$i 0C[UBGLbmM|ÂjJnS3Yʱ"/[ĩQ=s +(]F= fߧ v80GTMw^t9d?.pae=.T<۷IO+31a enNׇk.я~*E)llG)#fX_o |cAE6h-W(Jvn9N#fg<`K[eNwaKuW\$?[JSw `@aqUjczY|K3TL)Ahw,Y <3AۻfFKCX&0]yH4Q[֒p՚XE3ƫSk &qꑳN84(-\Vvws#kC=fd,,\Ұ;q"ng% o/MSOBjCO0[.n(Wyս`60#e- +Θ W \rcI 'T*_v{VXǂ)Sߵ0u%\| Y8#l M 7kN46$/3z;ZoW}3n|[pZt sl1ndD C 7_*]܀cפn%$AE?֯7K PR䢟o: Ij91D sﻞSRRJc[N[K>E\cG#a gqڲ_ah GƍGB({m+EPxdP@4BY6r` 9lpzБ;{E @`|+ڃdA cҬո,/ ԟ`z8:4c|waG5_z>iIINO=e2Ć6[Dj>ITNWPv)< gL}E _$ bϗLa]yv}jS=z<`A IN1@ʥ5>;}elwy+է=qӪٲ+17r {:GQ" `֋iT= go+Ҳmޭ8:"q`=tm. dw}26j7Cd8|sD'҇AU2ܴU%>E__vҢ-"-ϖ?5cu5Np'qh))om߭+7)l-waqCʽ*NC3X|C|ͮu^G9hC_\B x{Y w5VFw1 _.Xˀu?U{4c N'XhIOu|:s,'LPN@PIHm 7LIװ0Y0ʗ0̧{,&)57 EDhYF A;Al!=)m V>yjt?{z@J [cry}jʢi<UP%zyIi'.:37=|5E>,hHd_mc3)JKv6R3 M`:llgRLNZKe#vmx^YGM(js+FzMΪqĜE}Wо)pR vTW&9} s4qU4#n +<"E XȻ7Xi#s1QDmP#qˡԦMGcZa2dލ)~b7u`ں,Ơ\-ڥXs4$;(cP]d;&E[*˿sώː\"I|$zl)W$if{ZM% 1`|Ub\|"]׌eW^M Kӡ F P/d/`čصa^3aXԋ1W^}':.!MPU2Y:HʄLYH+KiǭoS ugH gϋW.~} CZ I:f$ Xӧ=#suQ]vNOb_k} v*= qާdL1?/ Rux @̨EB2 Y'5/ou;9:R^Y@Bz';1W6,Șґ:ɎVS".?%6b̙hlQ3:ϪhHa6qpJj~a$0̩yo&'n'wgL#Y5jk|v,*rU2ñyZ t8͑E"6][7qCy|3#[84/=ȶ^U ΉsIB|5[3KF2/i  8bdoUJ@z0|׸~ƄGJ?$cz11#Lj7}A`QnݡNooJ w%ףfe"$&mP|0.bjHϒ-!~ Ѡ̈́1\j 0eAd RY4Wd1ҹcs^X-Kbw֔9fJTu{(C~OĈʑ~i'm+0̕Cb`F;cx'(1ET8+#;.؏UB3s[QJ0Ǎ l+H#u!̅t\/P%n r:Ž^0`xqu4jko;Ө cBQmF.{: %ftHoSŷ=e[bOj$`N vGuRUqna.blᏍ‹1ZV|n?B,$rȓ !B1s7%Pf.Yϵ ;HL+6DvGӧ6z)q$M/"d7箎, o>yɤL帬a? #{us7W z爼{ؿfHٮv%۳A`-ZwB PYX|fԸ90̻_( fɰ1!3{321Wn^^_`P+~$ӄMu18-ĽpZvKl=;>t@DT,XƩ_'[w@96M?ky*6H%,@'{\bzl*JLL9 J][c+lmbќXpYM?D!զP!Ng3%zx->=@)8I?8U3VAW7RLZFz–UIF'@dFd+ Ba>wfa e, :*vH^ώ?ⶴU^;6I6hUb(WԨFn& '0Ǹ Qn)8oWĆV a{nk9O"+ >'U+D:5[20JՂqOQ(7g #Fj<՛';ۢ0#c)Q%V5PrWAVOQӢ%t39ޓĐ _s_YM0/a3~y, 2kM qLyk:,jN*胫M&R6B~EWkbw5Rp)!5SjE&S=܇8]pIX0H/j#y;YXFX[@u=R>;w*Kb2kMq*1wxh;/S '֌'Wpn8sg$|;\筥GOiD]El:7 7:Kp58FBnw= s^W-e52?u?zN)Jr̸W>L_礃DG=F,K@;u ikL(id={oVAOe8@⩯vՅg;_  mԒ B &,`ȐB5hdAit>m>3}H/] U,cY¨>ڽ׵~3^ urw"C>K#Z;gJ 6S=fZ@{ŸTReUzݸ>P~2` aiS4HO;eROt2Zâዺ'JdS~o8_@*~@Y_)+{|H{?u X_O Ua!ƒ SDoRN/1AU ]o1p5R%iKE~z +)%cCtn3Xp#e[2Gh NgٵU/zrn;þzTQX#]T1" Hm D=\@7pYב2Jy Jl:J᪝8e<9+hG dGN7N v+>%LY%PJK=`\+ "W BpD;ad8R}nGW/l:EA]dN?N ŽtZ>U0b]M,?Ia9 `.zҞĀΏ&86(ނ=0z{n۩!^ed>"g_ph7aA9]ҏ"?@wi NI?p.[:FəAR|?Ԯ-K)+%wr=Q1w{gˌR,)hn,^/#S྄Z+1dih:c V4K X>:6u+nbu1 -'bVChSqע?| {c9QuMV% L;Z4uT =حX=ߣ.6qwL\Vq435 Ķ#djNC$O\AP{jNF/ט02U غ:RG4sW,8oa(;x[I 0O卥?7ԅɻ+;֊fRwuOdV15hmŁq-ӞwSrV~;"R=ka4IJR(!KGR1fcŷ$ x94T+aSilOUf+iIb\bJ 4.Ǹ{A[cPET6#~38 q|{ ǽp7=KP Ry"rfrp?z7&NUU?esY_gE_ hT1dx}/e_3B'1_yߤ&Bu3lԤ|vᵄ؈xQ6%#) FY'4niI+!cR`u.Ä#M8ƿH_}G/ܝIѥE\WN*PG?$ 5A@†x#:_J.@{ |rc7.E*6ڙDsd'~ By$1{e|C_P͊-ʇ"31Dlf#lĆ&~JPZS)RK~z Nu_Gx@n}Nq"Ё S!)h]51Jͤ⸌MƢOe m8ތF=dʎtKaS\Fr%ڞ\q[z,aKznvX0 +n̜H(tEd v܀s߫vvD&ިR]umhx;b;NVDȍ? MmeE?M+mLK I[`op:^L,ucs,̃3380Z,1JTpxW*yaI kJi\V^ | *"յH:x/0H4pλ͡ECU|EWrCN+vKL9T8r ۼ#߹8:pw`׸[(U$~SFmX"B!vxww.PHgf̅HYa5sGf42Mm#rQ558/ DI|ǰФIKaAgMV4|_]A{gǂ8:I+42ʵ^ũd7cР#GJx#LwEtP{OQ(ye.5Ӿy=* ΰVe aϷ["TB 3Ť{s SEÉӔ.mbҥUh۝QC˾0a z5qCp`;4.^+HGx8\%p >D'۬a2c)ߙUO_xhAz#|GrJ 1$$xD ({&:.*ɥ]l66u.W-Hs:]죡Lio- !v;R5EEiAY@~XLHUHL>@~|#"t좪&iPKj?\:dK@*W.N"2h@$D[0)^#ʏ_E˳n3 X]3Ft1ԹeflCKFI;3&QD^UXAyp%ctTj'd(J&!>ÍH  o';~!;AGd.I?'ٷ[2YJ.ԡ}G}:Dkw @u+o(|c&i*VUkb@&G)٣?2Uy@'S O_g^ej[_xX4ҭMlȢXt 0@0fSMezX}Pp)g% o՞H:]Na4?+ҫHo&ie ,rR %vW,?jR(CT0^X]~m/NJ'ٵS$O:8F7o`Z4W]B"ښ@Ȱ|O#8FsLCxGF@.+@z*-fQc<l4>~KٚnXn[I y^Cx$үO[&"(_!ڻMG?C#d*8HVBI]aF4 yJ,me,> PT}u*A,c3Ak_'A4-8<\I$Zf$NiM piKFx})lG͒){70^܍j2a6bjMb*Y\(ʖ>QxPH|ޢtRgxOˍ6΢fY[fcPɧ}/p@C[hI2KEgt~^x}6_rX2NoewP 8^f.pH0mX0hguR+9b_ؘhѦӆcIn&L=;ҸuG,e-تu{ <>FD@lEqdTF[ `3 *XyNyêQ8R?2)+*a+f$b#8 ߼r?d6A5ݔ`iWu>X 8ƚ$|es{c}BBXIx$^j{*=&ש_Aq܈W]VmޤqMV+em z}Ƃc|q!Zl']JؖjdLe3DzF ߫OIj9 Y?zebԁ?{`)؆v@T& bY YÆ)Df 0nIHօYh,?U\X/; SP&x)N遉MP}hPR9 q֏dkc8 8ʩ3>&FvfTP>j<Ҋu'U|PY!fnlNR~o \rDd)Ɛέ6|_8, :bI AJ.CR|9ClKKx,;\UAoXw;- X9\ک:LB9Pdo#|~Y'y˄K#3"pã)mۚcHx W,9[Ys{Z[d.|~i :l,gE7`&k {lT"SUiTH:5 ;9\Mٕ8&y7*p;'l&Cel̾i><$`QXSu染!FLk;BB6*QFJE_=XC 2QXt&!epi[@JPXt^`t/+73_v;TT=,{t'yw#9 =4 qE/VA25l,tL5B9SYg13KZqvW0:lt?Vd𺁶ilu>j{AV\$ςop맠{/[* {g8ohXNLE^wqYB|0@*lњ pm|ƠL]-^P~Gv-w!uʦ/9Hzwm>oOVu@E&E8]NS)&ohWg]jcNXQ&8bھ4jNKx+AyďBwmZq *Velyĥ̄lLt>6NaX_wI9h|e|+!3Ⱥ%A͛z|#(X'Mݲ̝0RHC zZS)z~?Ep$: ) 憜E'%fsS0|I~KC=7Z~n݊Nib$A3#6'_!_$f#єDhUӼbׇX&Pg&G+zQ\;e!Rq\|:hf@Wŝנ{cy)+$DX44)  / s !!.W.3.0gTXdGKB7.E߸K"957#J3u;x(/>j YG%|9'ysi_)V~ھAG{ c9rv2XKrA~qa:2KR aO^(,!ŝ 00+p[sf |Ik NG)KLK-)nږ#?ɝo )?\%%cZ103Fñ(^vGcB 7i@v|lxȶT@ ,X(F b!l"ӆ3\Ic'v~/cwHM,3v j 2p8$2rD:z2Mnx\ZB2٥PMTQ;%#Mxs^cq79=Hhq+EnF5#f`x9_YHUlABgq~Nj eo\%vgHL5ٲ4;V͈/Xsq&TAȀdsCUz&ob~.@U M*:Gmp9_dfz{jowR9+9C>Edzw(zMiEŒb#YIG܁ ˆ9%TD)K@&-xq!m)Dq}} LeHt2k'_kޕYY!M&؁(ĭn|Ls&JO--#a# Nӭy˜7& yEr҄Qu{vgܫ(=t}ViJO^lS!)Vviڊ=^GtM7Y=nNtP܅ޜy'ߢqU TYku[9 CJZ22'T2!B]Ւ=)_yBcqΑ+1#tvѶO /h$0 剶"/q@ :x)bS/5! J [0P!~J׶K }+~cm7EJRS=㓍FK/,3Ho>Yt#*#Y[ȻHV0B Cf9"A;'P"WM$+:%u@5 (oD&ۻPV*ݘV@j-BHXzx>RJ?M7jq]ÜzTx*+ӌi]գ#Me > A<0 =G[ĕ0g:i<\Wx&,l@<g%I:Q;&ꪀ'i"XnI".Դ4@=V:G!4=ʏ 9;QpNJK);j0$AN@}h|}hdo_E@>@QL|P/̟zI鍊0҇ᄓo3mC1AG_lVx61GT?2 # Qn:-R? or9kdM&f^fg}c.&$+i5|&t">,-x&Uh7=k@hNaemlQ6=xyz5?UB[E:&}MRo J+oF_:9ZI+I mJ]zӟI x^x?[SD(9HS4}g$riJ0!H Ě.ĊUƸ}|tx? %F:=ƏtZ%쩎,&ݸW\A1/,XZ H Ƣo}U n{y^+&3*sisX`5U" *z`*bk%H,Tq4!Jl禊lJd"ѾEX xVĤU?tg.!/tq[mpW0IObB}w٠5Ye&1tX !Wph_\xǬuJ}:f@E_Zr;`é;x ҙ17M庪Ek3^^:F#rTf亣4mSGKt?8.d >BH p` ʗ&qC=()~W27D{]N@Z:} B*9jt H][:}dͼUE"G zuW iqYKIg̙s^Gʑ$@iGs>g K6p 8\p>Y]H6=R!VIy}dԹDhHc.s)|-4w ur}I+hXG3"NK0Z|(*4(ઓRQkeQڂP@4cːR{ h]t̋ O̻e&yM GI:w%K"}E'TUPMUIEe8Z=,3HX˘s>O u+s4C674L5Afe&~zYvlmP{LF8b36C2/[/u%2K9!;)?m˱/X,%}@*ј\I`nci (ԨkRwHG+o+ėM 4S+.vI#h6e5"E Muw% ǸЬى =#Żuvb>^=2T ;NyޜtwR0ji?*640hf*7Q18@.A|pWʓ,"[\lWىM2ʨ@E3a%4$tjĝ~,wCJ4nm*)@ղxKzi_S~9֝ߗs[1Gկ*N"Q5LBq].kE;֪ H%m NV6] ~uഽ/ q}Ƽ<j_Jiݝ `- .(Z 3㠞-yW;^{Zq`t] &B oMu00.L>i9X !zL@p6AG J([faW9uq9A& ٮ4;fK9J)"6` "/jܲH[H1Fԥi6+Gjg,KMq7PűQO)&I(&eɪʸ<ꚽ*.z~ֆT*qo\i/ZBV@˰QW|NeWi$'D4mKȔzαcv%Jw"-5LV (UĈY͖JJ $;U{E\'Ov ODS *l jz !HOф.oem\Ff++:F"a0@| ==l 0&%lg;j%Rk n0 F)=khqy'p.zc'1f"*/y'K ɺ"Z6°9d4WRb*ټUYvqqcT֣tү*Ϣˇr<*d6`՘)Uy]\nB4g*sCI12]oQ1P7d(DI^+zv׌xYz}O\ TH檴N6"ߙ֩?z9S )aOuGM3 a>~^ UD UK$q!0$N;~v#W GHq,ĆkQ9]}'Tpq8) /l`[mR:7ZUo66tx,#EdBP諬bXڣTa@^s^S>]>#3L$ [f*^գ :!PB"D k`/;MZoM(/Ȼɺ:8_sSIm<~b;O &?Egk?[lN`v!u0Tq~Z>HX|!G4>q$d{lMMhf@ё3I R@1Ld JNa-ϛͨͅq2۷!}X2Dd^v'P嫥eZFXB݉`[P3!j葑1MT}tWwl+\]9 enHR;9s\(X:'nn4עk)u0 RoG%%S ^VfCJD%zk!& fK"#R C]$bZ/UAtF. *plB+oj_~>I =[j8_f_XR4 8Y{>#g~. Hd\2iF&TUg?*Z9RD6%6uVgd7W]89K Uݞ]Q1}D|~6qXh!pPM;nMKfH+9؜"W{qI,QەhO^7"V(Mqu%YB]ŸU}FE⽣w[BK摓Qnn4^-&:Oq^d:ˉ0t`[,/ʭPyD]7/\hQ/E{(h̿aM嬘$5̵"3 ]Dɶ[o1ΎY/0.mB߫lV孥ϢI# w P9Ժ `qyagY*|i fQ)1ξ.")Ygvo:PJNœSQ.2/LS*DWϼvX*~٥rӑ6)g1O`3Li55c'dlJkU7|6W^9xrwx|/jԍXa `SoK%FJ֐IpݦcֺCl= SCWxY9)-+lgLHxSlMLƈUc-3dcK=gH%r =P枛pq@=KfvpSU Jp^4~r*_f$zwnJGE괈PCE"hie9+˧uqڲ"1m\kbWY Z_)=a޸ŖP= Pii[hSZ3~k|6l26O1N7Q_ =G~E9MOy %Cv1t"?u5%m!RuG0GT6L? ,J10ay"Vpwtt'hT>N&ȉEo1[q--1+bЌxQ ='6 vJL;9Jy&")֍Ijk\?niEmmga+2dG..JK9Zhigd %ʹ~Qb>twc qx8M. )D16dD%݇}TLm_n )dF cgi"054vހ.V]& P%յ2]V#|2`cBh?[OUmfە2Cw)xiAj*QG=HeIR=p<& 26oW5Tܟʭ .rRAJer0 GFNT9w ibί'0e$ :Θ<ޑmZDH&M+*FJҙȮAp+ bDR蔸V[@}@kJwa`z l$!t\,TA閱 =S;G?Es]]F8FFo!M]' {M(LGEpZ4 .&c9Aլ[x?n"5U*Y+D{[#_֓d>F9T<Ln5r SO/є1v^4mƄWPxقsş8c [jR[DZK 1-ӆT.Uqέ 0_W\Bi19ٱR}k(/ ӛJjE^:8[/⿍uB1)2elcػُ}f*ӡh]lKlUӕg0_Fnn\@c<`mh8B2↱'/?t5U-8*Lڛ%7=)y2K*[XKac: "q#+9+ÊH^ b[y ے]2ng~?Ƿ9=4 D"x kvQ%C d{0 4uw52 [Ε7Lnl68&2B'&j35ޥ:LR,\ Wg LY+6yX~+q[`f /E:t6(qXp,V(y8B&B)[)&q8iyuP9cIiALBv3k1a"8ut,^UmWitL^-C`jk}f8fdwèGrSQAz P>F*Aؕ86h>nJz׎gd$T[/!\4˖h\SRNWQ lVsXE%MC⮗ٮ{ qXd\t(VV&~Ίo#ٕ ˷`ӻ"[l>(mkFV{8lwE~["5h kʗ+`zRMؙ*:䫝?tZ(j't^ũ o,C 3K?vS 셖%)/gf2ՓbiQӦ8>Żo|ǥDM9X:Ѡy9BٝQկN XeX4xɍomxXJȦ&XS΁X:B篔LB((Ĭ~,x82dRO:˰TkAOi ; A8yFOe1t7ٛIm9`7' eiX!Q 3Bɽ^J>[OKf08/dڒl#-G6yS]]\\nLX>89ӹqD< l?'o`.O`̳(,jѻ`H;h)ڢ=gx S(hLm B·6EΰI Bt@4 Y`^ "i-}EG1 pU?(KUE=~w_ytqWeá7]apq I>E~Xv>]H/\<\S?;OijZGGcO:Ϡ.ӗ4+>b:xߖ rN W&m{ VTwB<(.R?ȵh.C׍_DJNA!OfYA?-|Z9\䫂:FlZ"Z9d{%P:Q}oc|97R` \P[ k4'VM[ʑ[͘!FiL5@)'S/j7 CľSB;"Ll"јVBܡV)NbC tm!)㣎i&yNSS p#ym{Q5{Ť+!=%)FrqvpySjn# V l+,ZN(D3^(g_L"T6~K(Ljvjz~T=)!L@N*>c7S?KѳoHa5' Z`f0@٫<_Q3jܵ%>\5.G7CS{4hXbTb9I8aSi)BUb=8O7񙗢}fӱc34>۷5y'/ H*t"Rク;q,],Ƕ* (%1rN"=BJ܀Tr/Y!*di{pi~LFl/^-8U =89[B!|RZ5e4xPϑc& :(Cϙy7R4:9ɜ%p}o̳AEW c_6Lt!4|{0[QHצӷ|!ESB*e8۫/d+q;7F# Bh>*pnғ(T_ Fv'f..re};pC oԻke!]keT6${Mܹwbb_A1jW6Ne%R8']ma!~}a D>~xϽ92[ nK_RO8I > wӡC=°*>ԦPKCĵ*y^m-?gDel /Z4a*V=OPckey _Og<^eӲ=PgY DOL( r]O50 ~~o0^ʏg 2pWYM>C |5փI7zZ'KdWx/1Vk.x_ =yA12J/+w6^ ikKƈ͛sωSF7gd_q_*%XtU?.sEUu-ЪW(v耈{x"Zvo]\ϟÙ($ӊ4 %U~S]i~h-^4WzTD=}lgq ~x FePJnW R 9nO(T*?%/* FRKy;(>h7RhhN mL#sL&1.tvdB<ఁ&թHQrbF94Yhx-I}Zk;[ =OLh4PRt7$ƪF~$ms-z蠴B2"v˙W-5x#a;F\;/w>˔%h҉mN(Bgݕ .uESH[ǎЙfRb rr>.LubܷúD:#YЎh0,YL~ũ}$ZD Quǀn.9ZDcݘ(B,$?~f7=&1Zs#ɮޙKV/'K·*6բie,Ξ_57AN!1KU/nU@Dx"=6SW|#[|y{ ɚ>/ly3j{doy^>i4zaݞZ4U.00{ڹb1&iq])F]ơ(Q_'/e("`^J3ܹU4a>N^Oh߬x4DUHn~RsE`~ZܩV):3;6J?y! nJy8$9X3 ?집Z]oh~u9îm@anlUwkse! Q<1̒R"JEy4r? .rn9'D~\uE=lKW+ 8õ~{Rq{`{ {l >' " Q̹n}8 *{SL@Cݥ?jJXFU7s9X--F5wmXT{я n[vx0T{#G=p*n|ߤ~ %Nz!Y*cA1#> pc YEv 4Te(ƿjeܵeBAd(hI_Fyi-Ai@Qj1G]Y{9U$sF;:b\?]rz[-N b)Hu 9J-wIT0jc'V=BrvB&2 ?H.\vCv9ٝCl QgJV|dn Lu&e}ӓI8V+@ݡW4{P-o?oݎ@P/ vRn(A;kRLxqL)9gKD.qhBZ^ѩua]i՜+ M,]\W3e6"R^w|f8侇\K1 zwr{tB'jaQ0aUqPXM! k|#!@ι5a!z4\8ݓsA= YƎ;M3ƄuU eU}!.3nNB/9P%UKomPYorU\^lLyuC6pe ӛj`иS>LL57CN^ lْJ* )#~ne IhrqQ/--Nr+y x 7B\r- l4v{627} i" C#Dך9sxJdU~أ N[͐ʰW07yŮ⠰ 9y/7<+O'vɋFbpR$AX[/ZGA5֭ahPU/PxftN!ZZ{Od|B]fxlv+Lb>X)x+{2\#mS1^<['ɿ{g/NO҉y?O$*]3J/=azC9ȄL`IHctzhB#/ܡX2y>cª \<%XkWX(vTk%k]0$ή -&cdxţ6Z1o6f\:Cvދvʺ@KT{:*l( 5q95 3Zp (&wA-:CY AĎU ZzBs9Ot,~b]gn2A_h[%Ʒ=U0uLJUOj| n@ D]VFM!O f&,]PyCn<"}W=m[lG}:%Yw{ҳ9EJ/dr+ Pg|tvx`VKTߗ"gU~Rv6G'Z5_϶jVɵZ΁Ilr0*.z!S^[fTLԽ.il(c03 (6UMX>>v)DX&%$Pΰ9{-٨FMY꼭Hi)Abf E\x.SN1}su 8'wLﰪ6淣8:`5:=@j;њ)H K^vs mTOnڠ4Y2p TNzQ]]N V$:Ś!o;5}L}|;fR{zP@`Al!b{V=l<+1MC~@H'6U?Vt6Ue=鲱H5uO%-B+DWӹSm61EU%(Rˋ`%P'h"g/'s}b>>By<p^yOǰj=ʽC3?vuvbO"-6茥 ]zBۚC3o-iQ;7Y a >1-Auޫ)Qa/CϮI:1I!&siLa嗝&ϵ_Xu}> 22Q-ٰ -Eٰ8d8Y<֎.xDa?aҔU_QkǤpHWBiGfTpUr8=_kP{r++3ҽS"E *X*#r4dH7 YOZre Iw'>gwPNQ437Ḛp_X3$-%tB3i^l 6rO囹f2pHkD܊qѻxӐOR)%uq|Rhi |k-|խDHoh~Nvһ ̃MmʁV 0nHd~8A;I:w@h' ,,+ Vœ3Z0PiCEUs.kNаθ p'ra_!ċކ.gSN {*~{~n1' %-TC `TΞ*նZ~"B1'nlqЇ ,';N̯"P.aNPD?x$4&{DmxN̳عh=&y6i\ͺubw,2JR@j yg9 x1f-^T5"% sWWϪlb!?X#(k<uH$/y"S#?k,TƊ$XӋ(w'9)E57U5?!2zGv3|z'q$3eSo ֈ 0lՆ3̦{Vt/gOXPbZ?\IO,b_Oט#gˡڈnGEk. qF(;i&]310O-^/:D?N[iKQ:?A~͢NZL{v|ȕ=rnv}[O&ITH<FM_ ?cx@t$8Tw@yԒdbWDݼ:zE: !I610s (rVyyXPt\8ݨ w.)Nfȍ\Y~L+]Oۏ0&/\✸]Tkqw.`RC|їȢjT8dvSoXZqjKǸG00e$er*Nzn[u n}&])ϱ3+4掉``a b\Ulؚ$pJ*(u~E,䎵WȤi bx,4(z"xO5,.xIHE%.]A_Mـ"D_.wqT!ݷzR{0YACKn ' 'N> ,Tz$pصi?oUQf3RnNz yqLhO9tV3Ux*4bmr']DD.cԱ:Pͮ@P_m7-JI'L?gNh>ϫl%˰i({4+b""&^M`Y8LucВ` g7e&C ۏ6P LȺ@{"%o47}X, >~9_ 4bh]CI\ٶ#C qRF+&4%#`;*Ԍ#YGK-O][&1>jNbsIyt5& %"`ˇ/JRpƠnJNHj0DS>'$.NLiiW9=j- $\<\;'CXgv)^YU5nQ!Uof`d^z|2]gJ=냟~Ӆk0Y.߱V< M`n "\9o"qR XVc3GV7N~jGwxrU@h܏ꟕH M+-!]!вi[.v"eV_Jdn֍ 4vѷ#9M2kiABX{1٨ VmE|}ۤ+G]- \eJ iH=1Ywxiv1)}땕PH.@Š,}z,8!l$-U {JRS*b \h_-M(v#H3t4"}ܾE4Tm2Njv 4-3ÌߦqKJaQEV' )̐G .~Bp4aHJWyƞ8g_6 DZ!g@(TԹUh$#-wDI&x9/¤gM lXg,,6Iھتol/?Y \`GLGs i X!et¢ن=yqގ]Q\$^"K>ٴQ* j+\8b,1J rr?H VBx{wPq2iIyi,Eo6}+C;t$e7# ۛ-)g4ZǑo\!:P3FOż/Hg|yɢ 2"ܲו2Wأya U\[~HuqS6}NA:f6 D0^iy `ЮXl}^%zv$kq6Zٹou!MϋP~\BApLƈѐ^£N螸Bj,eayOԚl1eAKTiFYnɜ}ýs2( HǹL]r\tRLM*>wlėL =jw$ZzUbڴoYy-Csu*& .tX񙽞ucw~ Q79YFŒr5mW?Miz)HF9:T-pZ d`^d+av|Bk<}BBRM!`tO ?pŽG#NR8fKG_} ]=ҳ|釆YK[/%SwRw蚌nH~=QG<_譵,=B%=ۘ,iӜxt.w:赽vt>0ŔBN+ɯB$! Y"S kO1PTC%Eiwv|wwNzם1L-n+WPa%&D2c?41כOK!kkxC5RAq!c.:/wCPh^ԛ"])iF : ?#ֶNz~ZP/~IC>kԢg<+ﴓ*&?.͞qyp#QH.pĖ?_)|6QۻP'2Os{^Gv(> Ϭ\dqQS Ƀ0/CsG(<*MgšDXŤas5``QZ5H7͌9 ?Wح(O$&<YB` Oݟӂ%SML^WY,s_)a- Hx%̼5( $ݚe-I؈׸Cs\G#@ _KWcVHj2jG7C5JrɔD К|;- dGwaNgS f'4[3U00 䚐 %"ީ3h0C_8mDU*f\nO8grY1Ƈq\"k{uKw x=R06A%< Aoe&k+5v=⎏wgBڟW^QƗ>g4]Aqd%Z l20_+a }Q[t_4>gBeƛ%4)!ɵ %Og+J @e 4Yd(iݲSU9[øugYZ51nطSqO#S YvG إ Ͽ042UC3)QB#IxWBDYӜְ'O]T#xm&#m)cͭ HrDxE ̄0tDUX>,[fJUh ?L_;:pP'ٴ"pU&W$cL=ǹ~\) ?Y0040!yߩUj:x=+$ V}QEkxOB2D/V?h&ÕAK(]B*[͒dQE.@0ɚzqkFjLx%R;G\׷Z.&ZcpD+F~HASTg SAUj<]figΚa:^Z`~Ʒ+?L0F}!܇bQ;7J\$6yGZO~2Pp@-C 2of>3S=ZhUɚ<.tO=SE+wg,zOcܢMP"5,{"ە$Y7K=l2Y_\;qu(˭qFr55&9L#цs-3yy>FQgmX~08k i0kzeB6*Bpkx7ǝMb+$"F^iH^G_BadRlt^='-)^n 7c)aipڂZi-J-Bu[.),k)<+޳}epfhRwy*,$yt\exb,fnro8pCR8Go0':*B:@5U-UΖL<ƴ^[ {}P_sЋ=GDt`hoힾhufo,5#j5ԮW&c~q(iM[K_$pUʏGI _b{ݝ)/t@Y(S^63J!(q<,sMV9rTyHyB0_ԒL 3>caO&G2.'̒ç-J+ۿXx(mn-ʝ= &ijʂsgG5CV;D]6+NR^P+긋"6YEގvm0n= ZBDZP'O,7{ hDio^ynf׃)޺%K!sɴlc _r1o 3BSYIu1!ʢ+" ~e#.Arg%ȶ~~,KO°~5r{bc LNWMm=9#)+gBSUw~1^XTV ޿7Պgd>4zT9?;mi.*%v KO~09~oRc(1֩r>tMZEd:YNï|X'E\a'+Pqh#tj)~|оdZ|Kч:oEvi܌aT@Q/tSڔƤv#GRU a2LǕ|'`,v܆Z@܆tJN*rϽAgȻYsc]M-pE<3{Iqݠ%u2Kdc?0p]quwYSU ,9mvuk`7Re{'+4Fgu&!{s2xś*GIgD ergk +0|k/B5V%kk~'~sΊCB@#u=9ژMXUDoc1HŨl0ŧg8,p]=y-rVrEhȎ"Si"."'Qq؉z.w2TLك)%}n".G(F~Ԫ)s=h5 GCpތj<`}lve6ps(_ԓK9(>) u~"+OգG_zG4HlD"k # 3hIx(Laj[O3Đ\&6D͙DŽ/hO]_ψ#ykПILĈ.o3ݵa۹hlskP+BjNvȝ"S Ugv#qb+ՅA*& VwM0F@&OH" խ՛1 8aEQXk5(Z˴J@]E*q5`n:+4%ݔZL6 [hAZE( =N?JsA*~t#=$>ܟLx]Ez(}?RR% &="gd^.]2΄IPU.k(ۺ)w?N&iKەE;ľ=VVA3L, VUJu/>NN!&;|m lJ1Vjse}l[I@=I{P{ Ⱦ`*+W^~@&uDaKI|O @ >^-vz ‘4aŦ"t ml -R ~dX n6{sv"Swqv ھgDfnE 8μsM."yS$(͊.hG ێ:^_Y1\V6kimDS,5n_0zLb/ecPĴ7yz䵀 iZl:. tmPk>[$q <؞]~N8,ɯ>^Z)=xвE  ' 0ߕqoհ掙z A]3&Y"LmrJ=ZUaEɲ#|=H| @w[{3c%x!}a-l>4zl4i]`x>#X냶niYfC{T0@#n@tE4'S_>@qf 87;iIs?h=M{Px]S$.!nSpŅXv\0/} 2.w}:h$!ٞմDGgW]`S<9?P%ش0 }PH{V=6dyLCEщ_'m('^Hg Co- tZؖ[4hاdqǧqf-G\\nqB%Q5@T3@6/1 `B9~|Iv &QoZЩ}ZwLd ]YlijBiV@h%cGfG5յO_6ݣ3=dt-׿__FY2h}9* DptE-#!e/%SH ԌdJd#5߸|{0=ǝSIG]9ݵsQOX%QtdKc( |(\)F$j=pǢԯSZL@lH#yWچo DFI\r`]fj΃Mr ׵-JU#]JDs_E^*8KeC+qRKL(0 e[i46.qJ_В_Εy l4)2@>ej=|>.ȺT[؟LȬ>!Ncڎ-b$݂tEfsw_WPB}5r6I8UYoKBiH'(=}c)HNN7Ep{my B#&, (EB9g.6P~VK's.ij>Y54<$5 3ed"EtX'_V/Xcٜ6dWId:[%A<3Г`cIL9o.~905g:r\JׇƔy[a[yaI!Ij#EZӶ8:xԌiʱ˺x.h"XKC?@zcm}j3"x$x|B?Ol<*G@  U:%j+#Yd &BAhoAڷ_vd@+^HXjM_BuFl|9sp2אz:V1mh4(,%IH |ne--7O̽۔# dΑD%7l2`7f h<->y<"XcJٵ9[A6FT*?y].e4t^sV6Q "8oa1H [`;{Pߡ qa)~Rst%BeX%ob(Hy)؇psU):jwm"|I2iBd{w:O]VC(9(U,7!tݢ%EC_C4G=Є_B:ňQwIrU,ƝDR:Sn⍵nqڭzh|Rۈirɧ^Cb R~K%RX)w\O_yƋogs{K!A{V7ǴVq`"[U_:zYQD+c dwQ@jb^O]vF@(;85ðqƈ1A8׷P_f(b򪟵hۈ@T4Iw&~L`pmaGgM3S#"B'6&nf|__ ss|x!T5 #2xOhہScgm!(Ǿ Y.`ǢgM;\kEP|y C[ k}ea&)Zk/dEIWހ!*"oMK^4F:=gT£:Kƅݺ\ި:˫H E%3^Z+>t<"H+׉@)E7jQ:lqכyG .,)"njHWixW0is{Y?%Ud:?o&Ig{KNoI6#wOMԵr)4/! W?f"rO.e\Iĸ/2ApLӽ`ݧ}7`K B9ZֶC]RKGj&k.b,I|kQR^Q%sfC!f(`ux4vOfLy pkc߄&F;V 0*9wy‚f~ ţGUYbPZ'iEԭi,Gyi\r'!@zAnv A RsOǯ7rfZԂW%P0Gp܍3BeYG HPn0rvQ&̠%sA[п9|.M4-q8SNIGnjs IS-66 u" <*i @(v-sJ*$K! |s [ U}hrsK;>=l<6Tڔ)hC! \qk'!pld")BrM+UgYZ j+jp 1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id5261;' v_CN_:9Nk{9wwE:{ڵ ${]ȻIh:hC`œ|#&NgSZL|bMp |*XA5oDzYҗF)x~= x>LԞs{@IbľDqJB~ȕ FwE/4'һ[]:Jtsg܌J 6T^%36plz6j"w%E0*3r3dA G}-j Ϭe?%<îz\U} h=t޴J-$&Y3&bL?DqͲKIAOcHjFAh4JH~tMdyjίOc! yv6&Yw{m+qTϞQ (eU ,=?*g;R})4-c H+lK-FW'RytT~>87@\$F'L~Aq9~CHQҳHu5:djLлgYZ- 1;# lHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-@}H^ZgNr},b(b ,{ tk(hhw>Cmד,- d:ZWGAqѵ# M2JkysL+YX[=\ Tc(;1u_AYuWM%rd2uWYՆ)SEu,pǫ{|B84bϺ8"cRBRJ=]?il˸+bXemXBEhkgFgչ 4a 6â#ȭE!e eݭgme)w\Xc=S~;.8OIQ3:NA^ʼogPrۆHp-9^e[Fͪ[#B/ar >LwFT4BPM\ҍu @`.^)+QP+1 Xg']u}zjz3fI`2$~o$w5?l\4[ca'lA>%>?&,GlZ.v޺ >0;QJ캢;P E?Y4j(r~l/+S k/cV{*r'j7>w;z?{QZ(tSsQBU_CX2z41wNKBmfhA@ } VF7r $\/A+qʹE3\:†%u B} 88oj:&4!(fJ{{ <kV H2CyycMyjwwlNG,z¤ HGm/9Lu|@p8kzJs͎ "p}b9HGg1rPTjLlhV54Yc[A&k)VMP쭛`:1vdmWQ??[ 6oSH e?.Z)!AS/_Qpfu5h.*.q2~(7 nrO*c\@oPK1Ѭ"1X$(EձnC4Dmu"ۊXRvN}LPM{[ $6v:W Qx؅$ΏwѮ㜋c% HTE6 O,x+PuAțRa,*55RnUF:<c^>k)vS<<]F"&r۸t=ae\S} ӂ6+[R/iB/#!˖'\sNsodm_Ndx+7~cb~x9]v5!NO`dS`T{D -q;(\<9Xl!c; .!1O# \HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1pϭ M$Z9iC昔=ffFIVRLް?4+`2BJ&} dte/pUmE3"]9~s-3A#/ RFR/z!CQ{¦Vg\ Us;_FݶOzE;hڊgfy֥~mmʺ8ydSu/BGW천 jO0Qa*":|i"-ңkU6Y3T Q/+7cchi0~v눌SFͶ!yӳ';)ԶW(>@C(Z:)UƁ\WZK6 ~sR譹BX;E]UBaSӂCr}|M>+K/^|~v;JhQ2HPDhdەDCxβKE 'flA+;\{b|%EzvVw ,Mɔ _ym'ܮ]c78QIQRy'Y nn} Wll&ҙy,tUyLEh>WQ͚ewఖ]3'HɨO A-~:״[I&679‘J]*~lN?8MyGfd%Wf#'2)}yWFD7I$_65ZCוR=< :|^ T|IT=m{4ɛ+V'jވK0h+kTD?t r0MJJ3,"[A5r hE&T/f*Mdj4y()A +Ks Ato8A ZwD;B`C mz ʱjbdR pi$ è 7tYOBΆ](E&kb0>49v{k)r4_Q7fЧ ?1.P6o٣]YNvTAkl褫y48Wz>g;DʢgUeU_85IX?MW+0{7!5Æ>*gOTghP ̎'g# 1JYl`wt5%_ׄ1V$0F$5'nUnt#LczYifإ,%T%s!V\?e1xe:'i'i=)Y`!tI(N`S`&(@|ڰ6.#$Rd,i,DuZMm]7MףuN)0 $a4>qmD+j+TEņ)oad'ζBtlv6ө>!m_G&7 X^*fooSB1^z7AvzU)bWnbuRu0B%Uo4ŷ.]/𳵹= 30ZRACߘwd=|halFn`Qa3iK+Yxw#og8`֒Gm7ؘÙx<奧)b~\iDE\QQw8]Rۓ,$T`v>啱q}Z*jN @uwxXK2SN4[[nS} xC $H*P:v0mxa9|XN6D DBG8KP g/$|- 6uiںL))rmhC9ȵbݎDt(xrdEwVwXm! z\ k"B+NVD?a 2F-8BOm\Q "A/WHnQ.k 3ݲm#Zm͌5520E($_ ؍]Dý8W;P9蒅b8&ش٫X:rgqZBSj`N6 w[M^ 4!-OF ՚iJ5VAN= ގ@`҂MR^MZ (Q3'훽j U -G(,exeoB"1]T?&/9!Rd] Q5m0Y9' ;ًNOb7Aѣ>Zsv/p{$ߤülEZ3r Ձ_׋VwlttɍMU+K!Tѹ]]ZfB#eG:t4֠ ZAFmΛ.jEl8xE4E\E?y+TQcͦ?P5cٻ'BuCs*'wo{~0O{@EWwYO׭#-g&8f(.eKgYZ f Hf`'1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE&1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id520.%1O# \HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! .]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7KE iS?f~uSPT7挊Q6:,B6a%Zqk>j h)0 5iD|K`rdft=!$_06cSi&@O@xFNo`ݡ%ip5M{w1\ZvĐ^{6?h&oup@0>Hp2%I:z]$>PMtuhR~s Lܿ:+%{exz{nkxذw9.o{bܽ)H<+VHRjzn|ѱJ( Q%سn➅x4EP[̡<6Ï3|x@Ac|}<3 jSMo2a*<[*]ۍOJE\H=#b^h+P}k˾H6.er.sI wZ3!lk 6t On#*$e3D!>gmt_uwl\mF+{aߖGO}CocFkױh6%7{-!4YCfF~W(M@nyq _*`ha8uS 3?pi˕\?M4 +,MٔuoPehҶCް6u@9^$nNlO%5u7Q`.N)kbݼ ^<5T~ EdR4awtap$(C)d6I&gm̸<]0_F\z |]s1L3&sv-Æ)ߖ9l3O[S@.Mx. 6\~zQOϔ$>u] :9>v =1v>eL=bLLcX$cfg0 AB2 b*9MzXb`sօ 0RG MWC8ohV~E *3Wxʮ@p$1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM#1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id530t"1O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[zKZX6Uӑ8,x)ՅRk*BDe?'v|K }ֺf2FUatgGR-p)YG2#\1 'LDO{Mb:=F]͹h^ BѨEq^z䡑Ebtpt>q3ɼ+Ћۯph>˵,x 8A~H:C,WyB he4 €\\MfCݠ 7P8搤RF)A?/@PۤؕҾ)<})R1oaoxcلKqN2(iQg,>3elԙ^8@ږj@7e zjϠC3M&%ԥ)yd|#eS'm8X ]F#jsO@BI=[no:Ye4<+Z7qaҜAc:T(fw"F3ߨh7wC_4q0&&'sE=T0_\t<҉n,DUaQ_|>O~ ]1\K@-6r} 0!`Q|;VI'5>Ȳ>,0)b4ƈ랶];xh(η|zOHp HSKsdyO‡!,_dit}ɣl& O2]ó.p5?4ʚG\$ŜjfZ)F7Ώ3}F"`= M0C}".z*-+-ky"d+s[r=H-qcL47UTqb#HxIC*6v`{:ډly]󶓒V8x_icb1-8|}tyc$G]Z:mPtMgbg*\9<ŸK+<uS%'ժ(7ګq" )qܟ_k(p &C5pRə%n)'VJk<4cyeۗpgjAC8^`yx~UĽR VmnsZY+_#g5n;] %.k|ٍ;|nUw6QDr ž"X3A~'paxw^.+bZK+aj۶dL D~Isˤ!j'լ7yӢ*VA!7xAc‘Me>mATEE= {^WٛymIKcgɐL6z,dQIJ,I ?6YN B;+;m8P -Dr!Hg]*}4|,Z<6pGCCH{ssP _މE1o~3*hɗ7U/˨=3Γ/PFh>i7FpC ,Bzm~Z~q^Sƀblz&H &=/4*zV2STz :G5K|]GwdR~MO\p43f%S5ENp/LI <2Fe bԎQI$J&HKuzdj[zCOoIR wb *-9Vz\,8a9FYW[=}AN2`UZґl՟7YWTw*VKTl:oP^s`D 5h"Iն5Atv@ot3i*YF1L)Z fI#3moz=@vށyb_õ>[1Ȓ c(4p[L?Қ0%T93,ɺIXU`k9jjA0!pQswLL)~8h/,D0>= +Y|}K.pٻpvpxbVVe 𢘾f5vqQ5$J"Fu]8% 4ŏjw._xNEy@E+b3[@ec|dz쓺 KS9uira||?~'UMt2K>{{It ?0փ,3TmF<<XQIaINTeVHr2[x3!MkbLEC5$~DdC`QIچjeuS䢪O(ƈ(itY)3QQ<>uxh(ns%HfWOr;)|Z;!2d+H[Aho #UZZd{w{8h">,dH@7aGr S|8@3Yܸa<@..1lo7!)p T3mX I$!?G5^,ZfԛIءPqЎ|=Iԃ*ebnE)aٟuN(|BqB1 ԙ2Oܽ !*z٬Gҥ=yBeQ^a"?pn"rRӤ18F8>u@du:_c.fz%dJ٩ ^a ňk 4ƨ"-Ep2#%=`r8N "1墫0T1۸OxC˗q|)ܹǽ/m0~寏&BCV&BSlATPtwVq A(ޕ c <.[ qͦLI>¸[eILߣ8W"^Hs߰ I=7\x "Jn l;Qaz(~ebQ˂)sǑm}Aּi%Ӓ)j-q=Zj&WJHJCHO9ޠqLcf#Bh_!?=4q4+Lڵ`,c 1i.?kg,h`PpʡT+ _cQkMETƑb?KhICr _͋sC\zq{8NܤA iy?%ڹ@O5kT|$,p?G2 $lDc^V=˚* FPzr66*_d- 7q*;ya|שc;RΪ[TlJw÷$R/$xHs|ma_ "|u\!\x8Zmp:ۋW,s d(Rb$JE" )oDBwߋ\X3xzrx3M?KG+˹\Jdx(T2:}6a6CZQ3YjSE2 E]~p?@:w!\ϛJ.73Fmu9܍%ߢ^6$<9} var2TH:sׂѴ%smЊ6*B]DES n衾7LGJ)qB}bqXtDhXVX1-[Y _H8m)wM.\N"g/R͸ޙp i@)xy[ŝK.Y.\7x>\IhNavH:+J׸lt3?&ao}Eåx}ҙp5&a| Iy8zMɮjt|+\.a;OPƚ_2lc֛ xY]ir4Y MZxէXA cQaH#Ȝ5BV( U!WJ" Ў ~h̷ZD[T}9JI&0[AFu6jNTm5Ι(ʱK b!!SpD7s! XӨ'H>4\X4kaۜQ_gw{G0s4ńҢ^};2xK` U)KfJm<`mh-SuTh_7 ߞ+(fÄeDX4 s, BkHz՗)!$6x>Z@L'XN  Y193JƜ(Am%^O(Hpt1nKW$if6xP`Aݠm?kR CF7a:47Hv˿١fr$cu;KjcaT{s x kKbWUۢؓ*#+u3G߷u脴'ݾ.u&o'i#jXƌ(?LtTjxs;$D|L93i6k𫀲wbb1 _͸'KCp/1rͷ-:i|YO 5#u,wk.D*'".)올pv0JEӕBjn#!S'R+5c'.p)y?]Nò:K3)*Z8wjdO.gFw4@ ic?QT4ڵ_"sbȐ0OoS¾Hwl7ԭgG /{qY(]IύEbCO, A3%a\׸}nQT)&oј̝{[_ƕ;V.D÷ LDZu@$kPL.Irl= ĶGDSJvnY1nL@mG Ko/@aR3#s6lgJtpkW) |FZ{{D߯8,*r5/}tM+ ވp3 th}!DtKVCs tp>s +duY dZGK ";#=0{_04Y7Р;zՈ4Pty4ʓDր$".)W4j~EC[[mܠ6Tk$"/wr7HԅcOu7UF!#}yILw^} Pܑ_Ӽ/n΀Z}DNnUcXg˙]ʇ1SXǬܐ3 Z q᪼zgK{H\)VN(l}n/w}:!Tv-7xݩ*2q'/?6JmGfk ٬I-ZAMR'jl\"PL0Ds]]G*g63;Vۉ.YhEװ'5@oMH7D RhV3>xx[izwb@SW>ߒ[*}仳6p$1;\K.ΙLb2I5/.S[*FHL0TЧYـMPTt*,0sfKR}^$$X|A,90-TYrv45*%T""yǀX{ySz-]m/Ie=ƪۯzC톎 %Ԑv>o ի<ji,2$T-aH`%1bF>:prvnzzreP'0Ğ;._L)Jua9TBVRK`}1NC鞞L@bRaB.!ߑ9]{a-WrO̡ nB.­ߠ4' :>fdޙvPU>hj FJd@VP셂|bFY "s$Y3P$q?s5$lq/>ELԫ`-S- GA ڳ j,&r%f T#u1u6=(*\uggoxgF3'T8D?8S5q6y">WLDk{ 2ҲFXЈ=O qI4|\ErYk4C;N #/1 9"_aKѵNDdCBcZK0$gZ@wui"mD#'2ȴS`R& g[ /ՁJ0j6PY/8$ {$ZLJ X"˪l oa32wdsI;Kz܇0DuK'`\?qFeC}ݔ?c]E!sz܃tpEj]n'yMPS- 7+oN(`nZaE,d.!aW&_>ѷ i'jފ([=ԞgNԕ^]~rbs ltD/VOjkv!`gm͋1|j-y ,dPD, QMq 8x˾W*RQ Eȷ7AaǏbx'3AeI(Zk; H vfzM_w2:͖xBx-L8S]yMxPPd-ve|dTJ:C19Tg^o_ptIxkTTBQXc[g59"^s{y@ehHCC22bCfmiDW-[ >zB_)rGExqzٜE)c$lwu_kU*58m2ȳ,i 9;݂z UsuY)zQTFɍi<ݓ3 .Tg-ڥI<+w%N g^ժ(d?S\i̸24a߇ :!&8ur/sB_^goC-NڝQO2, -Յ@=*gy]%ҫJ~Z9?P%(+Xn(0e풞[㇅9Ӌtf{)!A}Anphp Hp +iA0ģ`/lw) e7t0 &9ET1R7:. Uo&Q%@^u,n~WHu&B7G{|[@_MMy$VFwR/meqt$5/ MƧt&~-D"؆CvȮh͋w`<ϖYZ\=,Ev؃fh=uAW0VU"`qDת f;]֍P!Gd=;,(B9H#Pi1!lvg?!=4xΘ9KS"ca7ЕWs`[Ť!šaQX8,|Nock=P!\zp.5Y( ٢lP]0j-r$//.ĔؙS@4'7d3-M>:*x~|;tLoef@[lasG$tFZna-ᄣѯ8__Yhsh C>Sjތ6l,<]q+'ٌ6s !*2 bMs6&97j.Gg<~7vP8AȀvnYOaȁQutf؜'9"WXpl]\3`\-1ĞP?rЈ>!{xH5dµj [D <@kA- ' @ ! sߛ _ӯ١89esO-;vDQȇ/wP%f}9m?]?]3@}>sfTNO7h&  [W)P%G65i.<~8x, 6mB5nPކ/.eUo^[nw % ]DJSD,>$~8?:q"jp!&N[Ձ2LC;ˠc'R:M l|Ԉ}+NK4krPiƧwYN ;UKָ%m(U\`TGMhh1^&YCƆmf0W1e' %Hr6I{o(/~, =j9kƩ&34aߦ{d3mrf8:I~'w3_㥍>%M6UGfiTv:X;p4VEjW`(q9ѢwD /cC,#JG !5بfzY}3OOY0Xph1bȆ|=u1>[=&١| P1k^Io1bd?:J%釿VƄZXԒR29٧l/1HL!Q5M鵔J,g;Cüya~P;4#-a/#.}_b鬬|c X~҆ۿie!DGKeeB HMv[ ')ض cc{k{wNEasD-DIxcy4KXC/;ֳF0\dW*&o ;u UNتߕҀ[PrهLoRMQKF]ZUjDd,'}t1Ƞ}[g+U_:"Hz5otsFweWyވ#acnv{zd!1t=Dê8:w_P/G9+sD1]~ +`C Ev|mkV?߾4MIރw|_澳1fIy) `ޕN*]FuAĥΓ%z$#Qw)jw؆,nPY`V"񫣂iQ8J!g򡀟eջSm#3/ƅދ.oHCաGJ- Vgdl} zn&s AdhAfEeAu+ q6x[/B|?qUL0zU@_g36uOvyyCS%Fk,%6\y?XWάHvԫ 8)N_ޮ鲮lR9SC l|/ oA>kh_@"(Ū+-V `X42sSATwR Ot5O9i)\(Gƌ,/08/dF};V+P~G]-6ɌIB2'$ ӊ^Byk苢"³莮^-' X xѓOqwW=QW&Oݔ)y|gunwjc'w}iu| ssV4H2D8" H%FoY$rX(3âfȸ+ET EZD[&6=I C+!>|qgQ !GBdqw{MPj~!uxm/R!K)I|Kj9OLe9;ʊ*)Lz[(T DtʌwGO8uVr' Tg77E&s5OS 4ڊuI;U!#a^*`8`$u , ~BnHD2"6V:@xҀߋ ړ [uA7P7>ENo"pt8@~f. |?vW݂t{(yka ,j@HhY.bWqB:{+Fbi拪zM#;p?tʡReb+GAl +dnzkk}oɽoͮc^(SOtTSHX2:ctVFh*+yJrae"8Zkns =I\8i=O9d;s 4I\[GB> 7͖@pZ X T};/ܰJԍ!}ޭhI)G})mf%h 6ct rS7kďoV{ތ/h*!i&>FՎx6G?.گmoVٯ&hY)장l}0#nw}T,h OP>]+ iay 3 c!KI88I|HJZҡLSOwvX*̀H3]mk>5Ropqt#l]B! C v@m;pԣ5ǙN<0􏡲LV+y|'ZCі "( ?M*4O.yڗ\)a=phKm$p`]f}Bi4%5ײv@vgY+ÈP͗y+ wɋJKCWeѨp>8廢UN??5J>Twan9G@+7zMĈMiWɠW<7w*uYRo_,DλBu6f!i sWu2 U.9xd4-P(OC9Q؇]6xĖx (5H$8ۮz+bzXxm^ P&)Dз~Hk_2yNM"BTĸX;)v)څ|q/RJy5!cOIoko%Or?8}w@\?6DWA3_ 4a5#<u.J%A{Ќ2](Gh2bR: @OiTq[xd (Box0.`>=$,9wDuopSUv{8 -~tg(kbC V9KVin# 36 Ƽ Ջt+et 0(ܬ\r:M-Dr|-FSZRE54"uun̼\Irfm=Y_,Ȓ㒞zeƁe=^̵pz-NuA^WǐDHw2$^*IaJhrKwsDjEO3RуdGt;ڠ*?T[޴H"M5o?aK!\]x.h᠞=Xp;`qī,V1,-9flj@h5`^eu8mh⭢D7J#`g2XFnf#"f$ Cfiax3N ,\6;&;`Bm+o`禕rcZ"UQ(/;VD&Ȍ /lӾ s`z7YS_yU$vK z$Sڿ"ceDB[͂qgK68޷5U4\VG!g\r@n=r|jl~%c%UWA#]Gm#+nG>.3%a!Q[czxQg^B朷d}&1!aIvuD ;YߔJveAi;5|Vgb"|^D, \Snk_Oh#:nMEPJ*&ↄqё5;bh<\d<ć.5٠X#n9bl"d;@w+tƋژUԪ7;YedA>o]Gxx!Ztz t}Wt}xeKVϨ {iϰAjLI~'fX. V52$װ-Wv֫2y0*ʈݖ53J㠁5t.d Y~d(-ސ(#YlrbaJ%&v߅mWItw CvLi3VOVp4UN5e󹥘8FzVMvNVJ2>a )BWp`@#V+uvᗉNe15xh/?OمZkH{r{S>k{ړ\U]peٸcze."̈ӞWT1IqaVO俯8tgv [AΠAZn@s,ڀGfcX4.: Y0nB fWzdS}[>K'QORnO=ϸ@(Oi~s1잿kQR<nr w7"dɃji16+>jo^Ρt0?o+A&Hl|4S;SJ*W&V &ءa; qy3pՁ @egYyX0qցXWJMkʻ-Eg_8ͥ-yܐ6!~ G&Э 4Ԥ.0uQfEYIUf:>$EK7Xq9]b =D[#` )";ƬXKջ7E_pn`a7۹,ߞ[,тXex!XĻd'} iԶ^xKT-asWHp4/G>$nvP[.` 6G6|n'%k PDP>xL N涠%@V lskSA9h>t7)]GfQ8 %b&78evYbc}pf @W Yi>۸_e.ŤE æ#gD{5j.ٍoN@gSGˍ| >3yWCF1!P:ax$3mx1+T by;/F*A}٠_;9_騁6'ԒaPqJXK1p"XVV}ZJGxj'T?sg:_#}UQi@ 0LU'hY66igbpecre&b !Z^([ E%o=jA졒/b5K:`: >ݏ!YDPk?_o`ktS=fW_7--f= wH׮;L8x4W& 'FVbd,v@CYO Q/ {mC&;ofjqw7ȅH_3"K^ BV ]G 4ʆ:c_G-N; c5D'3KNJ6ԎBkHepYk ni>Deҵ5ħjا6nX ӛ oZ5`^ &_UH.^guguT9;dɊF p`H65zCTJfCS!YPyyEcilEe0%&̾xq^ Ζf)YsLqyîФѢx |%˶ Sb&;hWC!D1U&f6vA9ᇅQ2(}#X(ݚxD; !C\+$ҴWC@$|,A*-y>?G yhyQYI]ms)A6@R;C|њ3[^B^V7UPݶP'M&=۩G8ln@ u!~D`G(pt;@#mkF.U6U4eS;75ZŒ/]d\]}q0EQB/֏-\FVDYLPZ'aF, A@R֦GAM]L(2u BV~ `b=jicpB*ᵃ>`P 01G4)r^g%rÉcNJZ8c$C&fst_-˅JWK7"w,fe\>쏱*uIC/4؃p4w(P'^~$4˚GIbE E*T;2ۥ.V1{(*aWY0OX3·bP: }E@H\&?p΄9ӆI[:[|jo5cM٭#hӕ sIlD4Dw!C޸F<[堨&S d`evEˇ׶M™5:4WHluwpRR]m!|rZb?0HVl:n A`}R7eiIF޸DB?A7bqZ#Tj=-) uӅƵe} kmqc{R#Lc+/t22Ūl>N@X J?zD`T5[P;~ &DYzjZ#3/e}E6ӳvIJJ5n5ռzVts4tٻVX k]pIHےw5VPVf,(B2~O/4NQ;SV׍ ƛ[-UÜr b'_tWvJUY TPV/CPxL}09GGDz d! ܝ1$&~s[s|g8䘱9UҘ^Durzzs +ȣ< ܺ8fO b(I j/f^ ̡ďN ZG uw&@:ܑD= k ]>]ݵ Ie䶕WX0Lgz{g*%m{6[XE~*[ϬLJyGԝ}:GJb<5_6b,>J"$ 4 n7ePK<ƇI |4%?gCz{f@@C_,ATy%B<<FCT~e'҆jeYvk-幧q=Xb4`P!1Sir{2 *H^Hɀ}lԨTء_GDLPѪ0yHOe3τ@n[|Oڸz~"?d!=E?sF^CC+$ "Y}2Q_-J{k޺ؽCu!jz ]D Ď0zC֫󡴮Y ߒe ϹG} d9hPa.GQTO&kpB DI!Vڠ18z=H%O֬P-L>hk8s!' uuD@?  +y0x&"v 6e3H@r>wm@fXe).҂m:HY{űl|&T4T 9B{5M/Om73/9&V,(9_\t#)X~\?|*kra&n)kq} ;W`@I@I o&Gs9|7^`B8]@:Q/Ch*Ĭ1'QX-APꉁܱH$8ߧO/SS$0]L;?@[=mLRޝ`&$搬JNb6\NRI4mny;wlt&ZUyR+HL2xrӔQfjPߡkdJ?ZH4W%ͪ3 1FJR4kS 5ŷf7M.h[bJ2OI٤`׵{6,BZX JDUxA+h,M-A?X @Ͱl_]!>^vB^3$y-'H|~1T8 ;!!q3V)Ax뜤 RYӇ>*~ZwL[,2hd3tvњ́α/Dv- eԝx$[w NnjمHp a Cн_#Gb[fu:ި'zofY*~}IRSf%Ħ#SlMv[gLi#f53ah-VS Z(,T~Y*ovx |IJ{bdB)nCҟLΫ $l1F(G^`煎_Rפ6kʹ bU4z5*|BT9Gy\-kVcrOlƵ5DfPla1KGIhwzpe_o{on*T*VyVvp>Q2|랔Y:p9E)@l.]fI]Vxf9.V*o>Rh9Bqƺ{T3cY+`}Aei$Z<96/]H}%>߽tQuy Jv'ǗDç= J-B&@_$5n2 7: Yv s꡽TOYbO;msePl//0!-l֪Iݍ"J/ayH%6܈yq߲t_ PvUv4@`$${O" ߚퟖsE46հxI2g,kӼdgS0(֤]U%HT. {̉s_^d3l5!0t 5 eHT-9 L?O6l|d˪HKOKq7ˍ6ʿv|TOANIs,^1%,7y7*|fu~& LHu, ͒F&H)#n,D)R)I GNI'YxJM8=^C4̪Z`v%S#֭.є .kkVP3.,j_eup%[8j ^ØhLzSf9&˥xOv= Tw9?:%c|G%WTwUIlޕcD;ƖFφ2)ac< *vIY9"*M OK^?]%Nk/PvjgBMj/=vO;f1 EhSȟT@\6{ﻭ(' k5rKO;ˉù;;'9#C>,D7Ps[(tV;ڜգ@RwJª\O7VT%[6G@뙥젿4O? 4kMeBa\c36Y\: =m]/&lAH[÷)ݒТE m?cٝqhɾ%f"$豇w!\|FDVFD/Nխm!$O{?ؒ^i~1\Y||+1[F'B!ZK r[{:@^N% lG++mЊA7zs, <& v~ g=(j+.j??0lEWߞE q2洚5r Vy{C$U+cphEa)n;?Fpoz6b͈~j8}.blXstwbyU@ŷ5 T5?jӖQk6| gЃ3$vsX$X^MRƩ1A;׮K_8-O"ׂ,UiuDh#ge~CAuǡC#w/zW* H{I }Dc"1Q~|Ϊ dl1@˯."989N5/ {$X{P*1G,+_5"RvT``pe|/%ʖ*YB=Z( 6V3VsʆFG 0Nws{sA` _mB7%3y#*Ũ Yq=YȲv=m6V95 eGEswh9o{M0{]؃bD" h|5>sJ`#omۚBNY{sip+?s@[ц( +^wP]%~`j?ڐtAt8ǪC3 ar WB8یpn8g 呑8ı`4d-ErWa=|? iNCa,mzJ *|8e)H<>/N 4ķz2C&Q%;#+bwRoY:b5V*?g)ڟiB jsȜxB[-Y['g˹! ZD_j9+K*B*V˭b>>$<ɤ^)$@Qt<2$XU*ϕ%NlҦ Ǔ(N8DlnG(Q.f2fe`tI|-|#SqLk(;knf 1fiFTJ͓k!Ӭ/JخE8Ͽ_<14"2:jRȮUDp2mXQm`x-oO 7bv JmXF 1gWN9\qe^|#٧)M\͋(~b~-p%1?Āpt!kҠ)V@:Gjr@,_Mlg[2@o9--Ɓ~>|ܹwgR@Vc뤊'w rHH%YML9ǦԘ͡~@heTiC"8 !]g ̏+m7 E~a1 5US6gbuϿk_OVr\Pg_y,eoR%ƞܶhsWW.#eCe_eپauE1MV0}&ѣɟMSj{W2JCGwT3(H>X eurA W,MOlѬ!ی~xYx\@fe"6c ~Zj;k%x#DO&J /_1?OR*Wq '{ %26U.6&TCD~Md3|!1u(>ט/?:'kWH E+Og2_A6LLԴKr'+U/xd.ʼnk 1Ι <[㪄^!Kc*#Yf x4-?Uky{k}pة}d^lf_T_ۯ`'ʬa=btN8oʼek}H2a<|?U< S'ryF:v𴒆R]K> н|u0xAPUqbXX*˵IsQ:DhQB*}GLlMi[4]z* Q+SadR[N ڷ8$1YS*%;y 0>>%_8):?ގVr&LlJf&_򺔵w 8gyNb^lxڌl<{Bur@4`,oE/3mpe (rDKISK帒JA޺-OgZ4&.mCWX@^+cb+]IڎO0VG> k^]@4p@uyՇ>m7Ƥ??_1Ȧlϋy_IJ55^rn!4q'~~z($b8;5M?OmxNq#^jnzzpZ'vdV?\Lwn k'&>见^'n} %ң}y&d3؟r ׃9$r4gWcyaܽ[@|C}\ڬ&oE-#giyV}е7Bm.Y9Z(VfĿ)/Xؕry+"j£{$w遰 c-YBf_gNgDނcp֧mY΃bH@%Ȼ&[I!ݗyVjodD -M=J.+oeKX|E{9Mst2eQ.=FӦAjH1-VleBj!k A c{n᫇(0v1Z FisX,._N#u3rI3Z؉f҂SfL5DpÙ5@"" -Vv&bQzzET2և7$aV~&b)zXnF_Ŕ=>$Vtv|~TW;CWiF% :ċ} *UYOѫRlTik908ALSƣWr@6-o;չ |9{.ԝ1En 2pbʕ(n9}ӑLxÆRP==Ԑ(}IRc=` n(QG!!=Ply18'wy!z0YO#Nl0Ywǒ[dzTfi3Sݣ\lkA:lNN_ %6=?~9EtrkAd3/`Tu)`e2)%u4-Z YnuO_`\үM_puT+v[O),HxUYc(.F8șq\͖Kzt6}Z8W,lGtʦ 1p%C?E1ömaVBGrДl7:4DPO]c,+bę- RUMN1mB4Ul8\8wQfIy%:y1A: }3r WLg*/:A YQ|l?测E*,FX*{]~ 4FHASfyJZGU9ǟ UgU'UJM o9dWe24WZS.M1 9}{|#@P07g7ޒY|snЅ;BLH17ϕAcM 0-,5GņTLV/I"٨m*Ű@B{t1y^]9S%FL- I}%7wKg<"}R?R=:Q?z[[Bf&`~ Brf r=(ɉhZtQ8ym]c"*U dG& lm)X ICRA Hv/ &ɣ>/͂M;W'Nd[iAXW͐dgbP"#4s @GUSWG|-[',ae\alT4}utY?0 I*<*$7ZPU|#H!TdspH0zMPAB]HarJαTXh@.o0M ,HX"T1&9ck^fł3op7u涋9J.>) "#VQN*GxO;ǍJ2_*Ju`xu=KP묔n_FFӚz:c*a+b'+O) G![^d?rr! N+'=Vn~v"}$E-˨V+ ?$-{]i\jHr/`&ǚa6y((p'ے,H ՛}$׉8G阔ŒE ґS=tyDj~)-HK”='T״iUQ&t%%k}Qsy~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥.xL(0v]k 9v+ e@Ȣ1Èɣ<`IY YDA0b6 S@4oSPܤI(lNH'OEa3PI~}%vX 3L@>~&xo_b֠Ah3p`֒bcm4mGjٸLM7n{#lks sQx+4$<2"=rF Mcg2(93r,>3NNNuwUqLw/Ӛn6 ӹBin*K9'αaQ/ wwwE»i 3Z 7|dpNݞCc"@5  mV:E k&nA ҰW83fz*'XKZ[/Le±m{rgW0-ygW*u0NvA]Ϲ뀇<k/H"$X`}#!9\W/qI*v@H Q*E\0ʫ.GHG ePݶ 8V#8jV:;%rGO`h6-YMz7l}c&(Yv+3ʵ_OI!+gbӆg Xǫ+墛TD9YOD*#2"r @m'6ݐP8j*}t֮&ђ5faNݰUZ4' )^[{2F xRb-ԢH7g{xOi""r.0Y2O L7{LpRrM7 U'Qyt$y\rTjog 7ï9a%NE#baÏqPQk1^֦ I'0n;>7~wJ.:,yWu("Z0[JlmS,0 <2;"%eH辧Gw / s;bbK؟и6ZZ4[} Sd c2z<[/,Bc M$gRh[1`|o6D:{导53+alFVѼNcjs3u~;*nǟL{zp)gR}Ynsnx`2@DLzЪ".hzà-}0NfWB6e[ȷȟGٌ+T`xy| 1U:TVLmPrmK(R& %!=Tm"}\6_PS%IH & coG.&_z3jێ$Wf~YѣL粼̆)cSdڞCOu>X9K62'# y:~<$N*hM$4ʥ'VI858.W/;~ >S>e0zyœ[cMFZOi׾ӻԬ`Sy)Ld*0@"ӄWI<}s(cW5c{>mz@Oj C[$85dv3󩶨7" +P88%R]%*R0t^Lʖah!|s4gJC KA\-22) ̥vXh KmC*M] {#(MnnzILᏛYr =Ry=ڳ)}_RQ;wAx&y'r?aU0_ e9u[HpoQ)ͯWmOR^bUtd҅k=3AK6xc Yff/{LvlSgg' w#fz#?._=϶{Ke\hZ='g߽nVML@/- &a ,L?'lU阛0[`7 zB =uY#XwX0ydBq~8/с]j@fpᓹIXQ>~?ǎdێ;1J&,rOi**l=n1 `U8wO1! Yh}`B"2|Q=-\FlbBt[Pt2LAhU AA_q"S~:a|7/ȴ l }FK3o🣆8͇v4ܧp &[5lhj]HFΆ& >pD!< (+Z҅mtƏ{Ġ8w!OfbiD$|j#]? x"ytDiCELfŴga5WԈbh^Rj-<~ ^N0D\Ża;SCc  SЪ"~J0Vu8<#0l],FGٔ|st/P'7,mkgež@&}H>&l4qՂ6>H[ZSϾ򇇽"\Y،Xg91=i 8 US_%?@[˕{RC=oau6&@w䔋r}O5aE?> N:jA r )qrp, 1I# dHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! ,%k]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rm^y4J.p$i*{9~` M~둊y.Kn3m_:IMyj[-qBnNͻRdF| WV`V-#${O#SP嚡}lϐSjR;lP\Q:=QYYDB Z)"dJ( \=WصlkXX=k! N"F绽 zF&ߩ礢~UvK~%ʲ Khw )(] ϣT]𫠝Q}@hw2V8>2VCJ!jr;N䩊FFl~%VUyvPxSYURoP 4aFZe#|ϵi7aC\墍,k*rna<ˉ l< ƋP 糇xb<乢(j1>h&z76zXzfɗ"y<h6u-ޤR{2:% U>}*%YNffn,ga/.6f_ {~'*EF!BA- Za܁گ\N:M^MzJ02;b{a)&d)vUQ/}δs*fX1S[~bP ]e@ҏ8a.W"߂B>|Hxʩþ&#Dvf_Y­kP[M'K0PNQ(=Us:1+eTaKⴹJhU YIӨq q[G, {^kEaNsʿǰ^Je|Pe֒crI|aCJ/q:&[!&؟+\j*W7qாcѓyU3{?Ls^dõ3GpS[(:EW4,u@=NW st~=Ui0 P]mE4>Ƴh v(܍Vџ =z85W:,#nQ_س$AnZDoti[V{0~P(, wNPe<~dA$tvcd{a)GCϔ1tzbWtɁ~gLk ǒ+aUg)~:oҹ,) ˑs7!m4X6(f޾pi~f7"=*nOC)lTRVO,&: ⊧$8ėuI<6wB]$9IqnnMĪC RH ]BYaV]ʇ0kVbRdB4w}JݤzRllrB\&FV•D5p/m֬tHoe^ V20g[;8I v$hxuĄ*拉z11v4zp(3)%dsO*2ډyG?5j|XLd5dTccDvMܦ_ELK||An[ #R!y<2! #{ۭpJ =/= {mǭp:^h ? Ix6M"DVc.(V@vP-—4&jtD%yQZ^Xm1]J/2nD8Y:{ҠR \D$IbMȶ7ZfO݁%r1L$vnHcD1|bixc1_;]z1f"\Rz+o`׀s{^| 5"tkiE2ɻ̵"^CP@"!=Ϸ7`;nKjH0PGc'Yj#0͍dS3rK ;S>ruOcIjy>'cؼ^G(F &g_fxR_=Az\ Dzhϐt+K22dRp<\lq\Ƙ,?R˱@#b{6hӈĻeZPs+Ӷv!BUC%*Q{;yʤi/,)RݠՑ#mſ!2|^MZc6M.5ldAX{k/T(Sox?JXmb~JR湹N*$ͻyÂ]= qh9#~`<9GupZzAϕq 0,xdS5bǏzg)rY xH~GC ̦H,ܾzc P:|K/o"J$a9%2pZ$/x^:oo(wf$)P=ZC$<_R$f OTMG"o4rmynWl  OEgYZK<:x ER蜩@|:}|/`$ja㮘iIuS($>{ Lr_+B`SBȽj)p'wP Bz:F!Ƃnz!zQIj憳2Qw'וВX{O,)/'KxJs/R|%ChW3#)ҝ2zיP29ViFve9X)B jW*m"F/E$֫?|s .U&̄F4h*u _*)TcJ֧YFHB@PT+HA~QmUH##wD.ҍ[z*Q=ՆIױ1ց8uC.+˞l6pn&ޒLfrL[ؐw`.TH4lCbgD%:g#uo-H 4F s 3P~Rr O, $`v7'y$b2W'Ndܧ~%q U3Q@tEJL83 ms;n\˫_qW"GIT[jL$HD&+r9>%68>Td3|ݵp`8ͻ_dpw_oZS9ˌow+5vy)ID-}1G:D4Y'7h1SO`cY!fڪv`, Y}sB]bnCöfHc!hPvMSpDhmboᝑГk%7$\lr^:]>EOV@9uMwL4 L&_P_^ 𒟸5k mF8%!@Ɩ=nU0dҕ7vK"+CbNь/sܽwsi'UGd  ڎaHKu+۬*R)3nZ:v<eMln 0rS;IiWZLf4kbhL]ZV&ft#"sP@T/?"|wڼAJ:@3kYpxܺ ̡*_>z̛~ImOX ^>YXK4 s!Z(hWOVcɥZ<؜m;,ד?d.$v2KQkI&[%[})(#s;Xac:>L?+OR}nӟsyӚ\G [hȎ$D/LœPՏ~ ju2@k`E&Q/XIt/n !=pȳO9 vT> 3R\\+۽QuFPl#vG[90ejt֟=eS Nu5Жpߜih_@j;'3TXR<MlJO!L[ GEƙ&J>|BD5ցkpEb+3 {\7CUԅb>V-2#3/ Toy'^XOpN$ ]ަ_IP ʻǐ}`qw\^xbkenS SHi`1{3| T Xta!Ic-<.6; A-Q~'#sRd'.#c3<']zj%-3Z%Q^.d: ~)J2䜸"rusھG^ʖ+d wHIJ"'kŦ'd^5v݊b0yL=t̅ C PKGhKw/n#<}WWB-x5y }:E|q l8h#hG83¯{yDih! 3~,60БFL#O040/[s&b%-];0k*Os^C49~hd<EX5h&|!xɷ6w~?sbfUJ9HMϚEfx}\u]l |-4<Z5)"ȫ[y 2fҡ.#Υ_w9Zb"yaǚh6[ȭQUcйt+Rhx@QѰ3MP% G^QLλ 9Փd3.YA׃i(Q99΀k5̀"%_ʺf; 'c?bS k$*^! BK\l^Nul Oݞ s,|?8&mGt +8@RDէSjCYaNjm#r64.s+PCc5c`Xu LȬ>b0iw-l:_a|҄,q12[\!E5푂B6eзAaND{>S dݧP٫Q>f_k v[/PZzq%y m1 ~|('v5\{")X:+A CyREJĠLjT/9FxU|meI`%DȣPQK=0*?~'yq^)l'89>JR3'z^f$uҬV8R3{kKMd3<{&SfO)˺)L6*ڣ躵t,zm˔cȫR9ü܍,!3V /78nI q/ͽTjeJ[jz N9':Z5ttr~OX^n❃L:DSP U֍1}tn0X2M7ᤩ̘_W`}GA^M>p?P[<C}9~TSz}8Mn!,uxx;ČĸFz-/ذ[1\e5n+$٪I1)l?COx gFE;Uev--ҫe9$Jx]p&KK 6SxDh ElTx V#ƣSܸS:6Er9c؅%`80_nGQ-:Ijjc9_/':Ba/β`+-07NQnuY)WLIE턢7&+brB5Bls6ZҖf.@'/r#R׀2\gM-l7HY>ANȑđn'v@iB99XE``tz46?!ƳN˗6wwwLj` %p#@d:hH:7\ |&ϹkkIʒ:RkgV(7O5p򢗕-%{+AY/xSS37#d$HiZs^M -բ󁃮 * Y) H\{DD**jm_p?Ʀ?F5fN:r(NU*p2Xܞa/Cv+TfCw\, BU y<7f m잣H#/4*Fi;Җq'_hhw`%c1fGn{]*`M7UzK&[J]cU%>#İ(@g/47xᤷp#|ߴ5Y)oth6 < J} WCi#FK4"| 5Ԧ#jTJc2ӴqhA*pM\|;tNt]kԮ&/ (V.v ]jOsk" aH6rnmnQi!a!E)'ld:;E'֓@q (n^7:`؃w,!N?p^nt)BbO#uTP[P̃a'D^[ \NL$k9F׮Ӊt)Y"BkA]ATcK?*Vţq(7L!U6 IL䐳<1ԞWa'̳/THY٠U:E#TR J? KYSMm`k`dŻƐ1"fd,[c!t\Hzj4|$SW;(esE8 p? j8UA״͢ڴ[K@w+m&'AlRT|;$g AgbvT+YN MPwGLIU%̄`-5F%. |Q/*$;hhP W>i: \I*F+]^6\Gp‹$N oGq0kmJԣ@ES\fcj86^֋nF~?-g+n!xuAK97V;9 7JJIc(Il-PLKjJz6~"rʮ(a$9֦.18kn(2ZQ 0)i4<+wqQS{P7P` !r7/"."U?9#i8F uMmEZrjėX B=+Zz}{b<%Xn:AI+|g ;!x.]zAk,YAQ*ԫoEN?0O޼ Ng44TSw>tO변5I>e]K>S9QSL=A,H2᮶Zy^ce$3h^1ɞd'Jc8 a8bBmJU|>YnCr17;Ӻ^X~$bҗ҄e܄im#ɑF+ oo{K̢%qj1s\|iIFS%*}/z%Ӝi6zؑl :i#j͠!6pلmoIJneH~?S V#@ ` zSDLl ڎD4KG],Azj55qS}icHpx%M2AsA 7pnW߰tbSQlJ?PHn]EEt)K{ zHd`Ɖex Jq}R3M,k\hPO牾oLO+] }X~,EnNCRjL|+jgq->W4ThC ; vNC>TMJώ)0]鏡IrTMC~PrY}E3ظZct;s\6ܼ}*ا'{Ƣ[ Q#rxCm_ft}ι#TihRxIyMCy`?ӌ0sfh64QML7,̽N;Li( a}OlLZ%4#kTx z7#Tv&j'0Oьyia[d+1 g+T྆SDJf|p߶CՈ6mz(߫Q*jDI®D̃TY)HT v`JޔR~)|AI`0u!ٿjTjowoQuJQ\'Աۧ)o{2IT[B&Y!( omsv&c0Z٤DV\\p[8$)ը +j,_0C.j%zq68lLU;2䨳\@xpl<Ƒ,wnjJ + %/r_uJ]`APpȒr2zߢHlPy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~؍隣߃N,ʜSnZ7ԖߤY+z-X r!\іQFڞp-~@ HgumWDySYsC16w})gL꾲2 ^A2f ;4x03$3EaK5C ܯ"GMn/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_id524e-1I' LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (^]D?7 {?:fH\yK|`Y}מ?O.u[JIՆ+@{B3]zDzWc?K/ l1W09xxdߙW.L`HzomZJqΘ0&0{4ٲ᳕<߫pQa0֑xSѐ:k nf]t¨~os&\4pUG8bP=ҸJ- |8lKLٔ ;$؄xXmvjwuhJ7M_jכgO}yOJp;uDi wL2Bк@^, M1͎hnؽXtVW'Y;KpIEi< #zQM;38y^Ϟ :IWv뽓hi(ާI O2q^u3/A΢@SIʶz'S+l[^@<UYdGtN+-QJ'[ZӚe6B&7҂ȍ,n+Zl# d e:2GRɼ« ^6"KJkvy`"Iu&PiBh] ewKZe<\zzR=ޫH,qӾv0c᧛>Gl$zK*j>_ ʴ/j~OUXkwNQաLgYZ1d)^j.Y[$M@>&bbe:u.߳sbpg`@~H&3M+a$a,vΓ[&/.ԣ(Nڪ`~MmvdbɂB3g\pmȅ>>k(NNLk74@wDH裀 JߦNXdQ>f1 %5^vSQ8EQ+/^lh.6raᜅ?1q1 T-QhTK,aWN3ĚL ]!F6p-@p ηA%5^ZN(UE;?G-癪EkQVl?tV5FR ffj@.Fcm+ FyBoDϋ.)bY9_qeW.4 wl-%;"tF4rߩ9Q`-ɬʢy(L- mXƆHhDc4ǧ龕幦3?*lVnHKyӯE5V/Dl(@,}Lh*=="c-Z|,N(J^XӹV 5Lt<$L of;,W̥c~9C5Lo N4t'td#BTLMg2XfgpM/QRmX=PJ &U'#$DkD,_kr$,jn9x K[1>s#oU5M=<07w-i}{ +TB,p^>K50ʤ!pBs6`(# i0+aO}"X|(vu`Trt>l>fiUjqI;9[bs*Tյ8ɺ%TW 9L$硕8RyHpsC]).Q*iX : VlM:FUu}mJdƏF"7U/^1D}Z.uQ6mNNLiR?GRQBf^yV%}&Ϳ $%SFRH).;(S !ѱpͯ,lBnUـQ8 iV6]|:*K@FW 240ws{ fַEO&ޅΟL!k+.*fmE>գ޻SMkV7?B4hٔ2ͪ dݭG>˳n16K\=7қCOD%_G?a1 $vtf'*LocDpԞU5ĞGg"3IwٯScIogSbs)߾zZEn}*vܩ|BoB7 hPȀM{|{FNx,_lWo 6fU^`HoB1C4Ac4QvdgQjI qD\ AD8dX5-Z8љ<3 x iN1RD5J2uX埝&[RY߱*mK2MIyiS*nI\NCXSq8;etxJc2yX,5]3RkjBͭ}ُVm;%_T[ 򜺪3y}ZNb?VBbe i f`tHtDrIP& bp3[nkO=CXk#9gosl@O {4֕?X簟#ƒQ8EزĀRa2@{3RpU-0=# 1&LI3K(PvD io#W5: F42u8c(WQnߺam>Zunx16IMm(ԟ\0\L?p7*/n3&#z1@>"yGBh51pO-]ej,Ii<ݴ4'ap"{!HMmQu.2J1C gawM4jh}Z@)~NNH)s %Maނ̆KM<Xb Ext1!%}A p' M)xpGfP~+c9z[LTNQM\Yh6(ZGfCM[*?Dy,S؟BQG HڪC@G(%ry*pDL4 l;};` ,\3>6D qՑeּ/5F+;5" É=쬜EYhXnLo(tqПds6[ecs-H}+B(ԇTJZ660@u w$G2\`[q$d hlM1ljkXVOq.+Ucs;_!ns;bX50N)THKep80Um ˿p|PGĐZgDb!TTo}1dn+2@FmxxWkI'V3A7Cei_S6-L=jny)$azn9ֈpo3!;;D,vn% eb/dȂ½=_i ~+][["R9 -HZs۹qסP^*=s:A}(?Y䷪X/񅁉PEe$#C6/,>+Ʌf RrwNʮ2 \G >ER^㩡XJ:8m xIvDxn)*gYZOiʺ# >2kCӵEꋵE?'5-"n>W.E:b~߷98S3L?3EyxऐH\["IRI*9Mp( pbv78D˙Wf"]Nxi Spi/ ~#_Cp^ ^2lC:m6wX̛[VT#.V@a; 7^܈_ b?֘+M կ[Q#ro4wB5 h., :^lϳ;\7I5bRIdS0G%=a+Xw+Es.mߠ}O :v)P@{:/ǀKB3YCՊcr6bO4Pt7(wJ:Ohb7]4{#]1n\y+ L1r'ٙB5` g] ț#pH’8u&qu5 tW݁3{9LjT^ڎqV +2=s>>Y熖"֕pJÕs0O˔`R&1< ɴd|Б >7d#44+ )f߫dE/&*J@#q4%O'1W3b눕sVS 7 ;?yгva~rc>棛Ej U۹!nmaV('yB[tR?],Wy a9XDB0)SsnIIݪQ+cv5؇}BkEb)H)*nmf˫ۺfir}<_\ElK1<~}рil'@a psiUúQSB |oU`D$YL6k ;oH Z2Q,"V|#m =6̭o3=9-BH@vUW#A|>}z.dm߳0\*35ѾJqPpK{wsL|8nCj,`7>®R*3>_m2RnY- /zɈ\/xT:*C=9`>TqÄ2ZhLć tM1/4jPGEkrRMǹsdt/5 uF mѪQAH=-VKZG uL@Q֥2~ B"dȍمWcԱa~N^SYS6Q oh%3e[$,e:OvṘy @$zi^p9>\tF5Ӿ]?}SX"[OYZ4l3D T|DyBsUS%uaf"'T{:+ug\G|2_ iN_r:YSOق %=YQ Y]! *M ѩФ."_@C<1;`wS8 asBHcF)gC~ }xh]9A\o;AVSqQו{gҴjCdUsiU3MUP9۰FLO^D[WPK|(_HGHS32tg97VR1kGn`؋vu&VxIbˉc߈]\fl=Ӱ-ϰYcw+`HZ:I'c8uq'Z`fJDSGڝ=b@OQSUuB;#A&nz>O/ofJ4E"A&x(^р5yN)MoycS3{uG9 v5ǖx3 hg9ih2.<Y*g9M3*FcdBCm"X|cq=n>ɶB?-Mj+z ww` C3iO k8{'ǷN}[}N6*ٰ3Z9NDYlSmUoqS, ,[ $V)$ow1=@^-7jr8ٙmy,jc~uxSnBTA^ή65(@q(tз#3qJ^zGa$q<֐3{&4-ͤbk_K<[un6`|2;? vJ+gf5e S3Gj8esuOYF*mĜu|@Q`W1q!ckY22snF!3;n$7ā܆u TbL`yDӃ7fP5 ſg@KݏzaAQ}-c9$JVJАA{iEpIst-;!fGƨʙMzjнX]^؇l_BTHѱ<hQo#{dlڡxPBFa8-cȦľ 薘u8FH让o~5vz"n+*w3!^[$s!̀9Q{PΫ=b}6`$ߣ7c M[6> S jwCX ͆ʊZfc Fe #}o[ DuJβ4 d VZ.rV 0ߨ^mX (=hw~Ȣds5yF4j^IUyAO\4&8kOmf-Qdos3l'aI&ɡ{W)? *+w3cuXβR׬if䨭&N&gk{?_5ZBi!!h s WPodbv:{ze=`%@^D Vދ+2KcLTCf:GL٪kz#=gYՉ0OZUju'mz|?cD=X;@Xi(X_I_fn~ÇRW|A[(~zRѻ.3rnU+ͨ]Il΋HMb7/lI>8|pd\ٗVC[SݜLd8©˔:A?I۪ؗ( Y)~{bT Sڤ |,eѸ-Gǣ)Cm'@ 4\HaҺOPVLxrVIhXhA1MBɩPBf5v5NyK@n>|8dR~5?_GE)E݇6M+xV%oW--qb j\{ZTc{ݫ~{^'ːe,4C?SQd>:Sβv/}(=ŀB,/#~^(D yᡩ74AjI ii)vSViq -ƙPyi oPqBC ) \6nPs1]SpY9\D #VJksv^l%ўazYQt:IZf @$ ,O%D:@YX-!<{#T+CC_\h55ԸUcޤ]­#l~H~K<= ʬ֧Zv>&q~d?rEI'S%,f1êVB`v ;aQ4(c67o1R:Iǵ9EL;i\㤲W 'uZ9J#Lac@ 0WcZI+t!IQ=6 Js7 wT MiXf&3F({m&ECpf--lڞ]ٸz8yI3#FݠOyAS#,hI?h0ҋ/,ylW{1o4 D-0F0մקCq9[rWfx7./^0bB Cq)M2E1ZB/ cų.MrB,Q[XQRL1}8DdQ{Jva$ujLs0 J<8ܛ!X[;UE)}CfN 睨։E@4`N_x\'tp n(hw眸oMc ɏNy8 ( ۽ʭ e~]YOZV (}+j$E{I\"MjbQrY=E&mw4Acw낛kE'sj#ˡ#!և2EU@(NbYzHK1R֋Ќ=]-t)z`D[ jsڷAIya 4<)q $H ϐƔF$cyp.;|(a<伔?aS_X&] yN0 )^N)I FyM~B<1JLvDu[wVz^ު1/yF$KR9p7)=ȤXVgE1i .zB yFm018@Ǽwi776T/yUxJ4;EtU*ݰuXIh?PC԰d1 Ӈ5*enbF ܍ nrv+TO͸Bup;yIK*v"&89*hGPq]K-@@Pc+)=3>kT5I_N?O?PhKqs_nO=H0{dA0 Qd(&ؼ5p>O62cQXt$B2WqĠ|9JZ%PȮwcb"aNV#853*[`g=p]ƨUnξ-Q3SHp"L^2!VfU=Fޫb[g"~ϮЮ7U`P/ĔO?-m-ϕT\ɆOAj{ C9>]Lwu)5%4rUP?۪)Sjk@J~ D/Mk.gpb/>haeCgi GCtq &Ul"*"3uNy_{$@J["4u5NծBǶWLU$IA(`X#r /^2Y-< f̜'U~9,XJU訂!@UZ}.6%M|:&@IMT HI("Q5\ }Yb8iZyzlGn M &(>a#7XSܸF}&E4%c 4e.ۓ1 { ,AlBDˇ, =ֈgX[-kz)YtçΫ# +'N FK=k"\틃q"6pG TgO5?^AK'bM+lFrI~hLJ\jFJI|2܈ H)nn9SZ {{ϥ@hg"D4Ɵ kO!7?) v{!ñ$IDz~o j8 0sj]1Z3ndN@^O.mhy[vu0@޹ǫkӵAr6 \h2y8|H ,V 5k^ОVJy+H gl % ~{;DO$$(4 ׂb%9)2(ڿ N8.24GW^Xb?lT}ZX_*q= Ț9r||wJ!l ګ_gv枵 =^rE'rB`ESw08x7ǿDj_IGW/nQqgJX]/ kS(1߂lOZKͭ0:>-h\䌋IfމRD%8"zk*B1)Ӈb.&Oo^/43 XtgsHvD+Z)aѶYٹOeH'^HCC!͑*GniR.S~+O}*s3SWw$葻 .dO2lֶVC@}4MscR,h*wlgNk6F VE΢"~''U^Ax8GFq Ki޹Z:Av !r~8@4F% 6/9꺗vx)vQqo\k-:K\I:&]{CYV5Ax"LS@'kҾ5>?:sl?qL{:cEh:AfY-s[lGT g@[-O] SiMfqlhEhi ȫ E,bMJ8t&HH jvs/ieuu7=}mqͧhz'0P "RXOGcT]_t O~q@@faN?k J]6 '<_Q)1`HsnZo&U ʙ(7VUЯ1eV u;*peC.K4.V!uƴ9,:TKaVwnE LVt.f*7nÅAяoZ: ny0@EzoBUEt\BNRClNvǺֻh t><m^Ռ!7PocO%& moPN [m(QEs-tw+f_lm>ȶ@(|#!c]Q9[ C1jp_c xV&xŪk`e(U0o)'\zjdIn!2=F?,ԙG$x@mh\znlɇoǘ8^mEa_>Ur֘=pR%Rv*T_pq(q]t&Wz ܓ`R}4қk`J|.fkLفbYɈQIlضdb+_~G4I{ j \™d5tL!Vn5%|JtTRc^0s4R[̱*c /o̐=N9lߥB #n!Pm?[ P Nl:?M=GuᧈYQ|Q avP?ӎyb] TGF#n*<۸0ufq$M}\v҈zmW1L|i9яh9Wc"o𙫄gZ}s%khpz-vtfcAy?>nVroxO319VZl;qGΝO` jXY$qJ}(]"l]~ MI/̏50*8ڵws#Qt!hi3Hi>]d!KJ] ^G?^ei J,y[rR8BQ*lW؀\>5"x>@@#A!B8EH]]sXԞu|VU!uN]c m?>B>oK'! >T" j+*֍IM/cDT#l,iI^u=]y>tH'wjxw;+8^H6*"=ڬ"}aTɻ߶"JuW2C>a THd\R=k{Hw8/mx?s@U[h >s?]H2 ɮAԵ"Q#{q st,wVlu8P=CD׌)H82l2M҂V[N(Bj2-iOO=h ozFskؙV[R|y3|Xo _i^*S.hf~a[x_ʤ)h87-0gAoHeQ1N[:TKd״N &crJo[9$KV'Db-ɨ:.tQ셭]0F!߬%\a KZks]ňx_ߡ6/ZWJ.UYC?m=QEȃyd~]I=Y_`B0p^>nS5 Y z3MZ\65T2_L9w^a ?yQDҤ.V:d3+/V7䦩xJyH9}QYyU6F@GGhZ#ʪߒt_~kԾn8"4F_ク0`| u6%Gî %Ӷ{4us*4 !><'*GWƌmR4;G3Prlڜ<9pWitĊLIN5q "@q[aea[9:TR_sNwLRcQuqd?P_$״!ok@CE#-;J+ g%hv|҉OzowP^:&UK'B*׮k"I\|wQiDCS?9DoRoVy e05vRk-M홡aw0CE%7Ou[u(`mY^>OysAqb SPHls$q>M1&#,0DPkGTϷ2k LXQĎc6u)=T޻6)8Ak HЭrtw%i_r V&~횣K O5= #>*lrF-G%|.e])R|w͍5L]g/Vag˜`TBV/ƣL!ڷu܆>{}څ|$͒/}=JZxº>YD;V=hmۡݛ&ݢE?@#kpL8Êo&)h3 1VBS 1 o߾sNPu@뀋&[~IU&:`i0; 0j(!a?BĶBC ;iI RҞe_һ%$d454- Aη=Mͼ͂4 =_DL"hS1We}Sz6*g|Z6HCD!~w 4T\-lkx]9; =#ž9?7ᇰh"e(S>0R  vaZ#AHoZo\Ew._e׿d3, ";<郬zpA7ٓJ Ν#ZOm4h&7ZݦRs2:o e6hqump2]].?C^ AXt: &;:Zulcxb|yx7"˥uZV }K%\a4 oQʽShI KJ:ꮊ z8.vqT{?^ {//4-A5aJ}KOØd$_l 93wP[(Ў0ߑhg"W  ]⋯q˳X {ܑL[9R]ık:Y 8ь8<Nʞ^_nsMdb\ 򧎢nހte/O7YSO%kV]D` U ?e DQ96|Em[ÙDG^0C$I _9hPS䌍Ͷy]"p/5efUX:˒%h[Z;ɎtV¢攢滘[z#kOHCTsi5I*ֺVb KpcĶ8&OqPC_N:L _Ta(o}z((a "ӃP9uLJ2ķTqIlV~8WZR|[Zk.Ŕ\Q,p&9v -].Nt*(5O( F]S_F|}] ul-k}_%DL~bG dVhBhcKx~Nk."K>0ʞbo9LGқGS:lFk6|Y7Df1;E!}ڙGX.߈]#d[`•7oxU?bwCS gfNFb%Wi(j;i01ԈAxA| -^VIոa@?H&4D#JEekl4w~&/nAH$kD @$Dt3( ϯDz\gܓRBw$!~"Reؔj|HZBGv- ;0;oMKԚ8E:aVSGa~ZG}d QTΒwa6vHMmgApS״ vC 8$7]Y߱ i: > 5ٓYj:'Xk3*KDQ5tD^xZ5`"x]b!a7vL D9+FVez;D. #1\ LLR ]>^"O}sevF](GTfLOd;TJZUYH9{S\ %Ξ9Sa3[/$gnj":m#.e:#s};DPt *BO5zqrG!i7 5n}С58SN?Uu)0έwPV!@8 s)[4*­ 7 `mr[G@ DYsN8/  BO{5Λ{P&ou=$d wg052 d *L%CS254(Đ.q'b h 1)DG^xb:Lʅ}8 `xJ}eoTa_rTyo]*ZJjI *MtD$v@ӻ^Py r~8/gA %]dX)ڡUo5ӒZp^X(J * e9񺃙\k|(ByI_jz>lKbglCKK^oߝ] 23%3:bN,n5孱X'՗}(@Hґ\tُu k.PLN8t&_`3zʅ%}<_vj^V% -9Key`ضڤ4Y5ȋa t\yL9ʅ.S͚z+5~mu13'58[c:Pz|G$K8\BRgX'[ښ6x`3e2Rd?hW3:dgvԅKBYAe;VڐƲO DԷÔF>TRTƃ#:hH)MůK\ K Em$]Y]q[wX{0wDqCI.8gmѳCܜSua$.FܰY;=Tv78 4$tu׈˜&L+ tֲoݩk I+4)LƯ| 7(2o%vRakYՋq~Dh e%/zj a9j@W{Wrd`Ip1Ǝr6|?meoz w9#Pd G<K7D<T5 Ș(xoedly8pϭrнeqm=BGͱ=ŰKMsFKdkdp7V* wY/rH7*&!Er)m~am6- ⧷{Up+ij7戓Ս8TlXG_weާ/Cr[ZROD u~{c+m?6aŗpqyPE{.26ʏ[XM?I!^$ע-{w.JudE8^Sm\!xu!\*źf/ĹgՔ$,c}Ƹ01#7٩GpȜu S_aჟlNV@gm[X+Sp4BkvOB䩟7heݖVR#Q*鬙Px %lXԪpe{M"L _  쫸 k*<:),;*6i*ڔY(DG@|[i @FD~wU5!Sz(@OV;ҤRu:jq$N73J'|/ %|f,&KY::q%@Cs\Әp2h;PN)E;$ںU E9 ֪ȍ˨g:T7m2 y9|U/<+SQ#6" C:^e-`ERK? q0Z8nF!9͊+HƣWrރ~|# R"ך R9bO%D)rfP3P 4oZFq0+ih,nbpŨnٲ[v-JI sf%{S'hE$,,m`J|@V|ġiӗ_#k.!;;W3vVȘCIWgvJ0;O𺴪aæ\ٟh =˜ܤA-l+l5"]:T8nC.'꾅˖(6GxG@7,WCa?2-g;Ruw9THp' #rtœCXDsiߥɾC%5!:B.)RQ>(.,K{FRyLEzs^) OQ>LV ==J7x=o@ =%$06<}AkX/FF_stFLV)$ZH@Qf߃`ݥ"R;d<)K7[,7*IdwnJC@]{ jP|Ju?s n(F:`927̌O ͯ- GJdv$mN!D6{3JO:I0[4lqނ1+Gib]5(ʀkVjrԟA~LT}.?~kCLX+Mt)%Q֦|PU L o9eU(Yx;s4H&>Նᛙ2#:`teJcF(@zt[^x<31bZqࡡϘ 34w}g*f8=El'wx! q:r<\Oɗ{m;藵Cor?sR`Zx](4$#r J롄?3C߫~ .=RE%p:f*z>1^ :> ^]O:3S򚾏_>Ӊt*Y܌u幼{:r$u M=FMG`gGrACj&94}Z'p]> 2ݡ]Z) Le>^6=UFҚ򉻊$+=L%n J^M"mCqw&9Ʌocw'cXW1""z*៼ލm`?#S]42zb)IӲ-$b:&>"%npxE.ma%@Ru*}-ύ:مa%ORHAlPӈ2Y@5^s 8!cxdJ0; l]_:f?P5૥~A4[kCC6jn:! FNy<%Xw|E8o%i8MWLi4jp2!ѷjcyྞElu'q9D"6R݈`$bTN!JDˮ; ]VHo>%LtH=!?e:[`Rua ImT R) xd 刳ZBHx)$^Rdx[$_ mA [GoԉؼomTwR2fwi "\Fx9x2eU}V3#`OaWX9z|4uI\ͅ3hD(n+)``d~G륶c8:-Eay|*'#܎hN3LR>';d,q+_-PJ!OS[Za#+;XY\Vl8N@6]pA)tgPBA>;@(@WБHSERM_̻|q';3jSX+ec+_bN*veW훸T[CEjw[ NUώʧ{l_'HⰊ|rz LP;V? Kl8/%YR%ҊݙIXd&ʿY%,b h/.#X_ b.UNH GK{5+~b?~a 8G^٘gԶh_?xb,aٳW>dЉ.`y>?P]^+ܷc ɪe1 ܚ|esKn” x؉ōFkBDX[Í%`QX'b3`9T jFfʑnE0M3mv52F\:T\(sꦛHtK},t9(3-//NIVcWdTx)&\ |ؘ>[zCۈ}(eCohO L IN++޼ҤmAb^Xq;RXi"|x$E!0 RGEKKtwSŴ+ e" Of}ݬp쵚BQCAx;xi$han\fCy726tq[!OϦ*Sdwy I[;Gq!XLb^& Yd( мxw>nlV31Q}4䗣vKbi?z'yXݥF?\h T7 RRO6z^v_ =!x||,[$Abf'kx0n'F`@Ch3ja'Q3G;.@xr^hڗg4ubDg|ʔ\n ->\B9'J;3> YK$h#c#?fe9UdH\256SZ`>0E`HvkÓo:Np$ 2-n4"o=`[7zoWmP!`P4P<̲MH QU ;<'m^[ۘ Uɾ"|~ntf*8PW}T׊V;aKy#Q 77_Z(ip #o}O4wʏ$hS'L1'# i0L;.?l .q˖<噌5PK]RˇOevwjPbkpeyxb"UKR r\S27pPqIA|N\SF"C1Ub"+EQlR"JτZ'$R >{0`G 4t[[V-qdJA(1̽`7L !5Q)ܭmK Xy<bvpUl-f(ZK_m."Wq1ZJI =kYڬ|W{6\MːO"4x.6ĭ9]̬ij>{ e.A m㖢jQbn/zLXejԾFFÄVA-0b f2KC\wʌoHg]`,i.<UxEz:F =֊1E4fDyͰ_[| N[Sjd ߧ#o:c>^2ɶI.ܮv}4!#|[lŬ Y6Jw"]#;F97/RJel#BqkM $ٕin*Pi ؈[vRU&Z^9_U :;D@Xg+ܴ]\g^+؇y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn KhGS= &ʔ%zħt|Ԧ{|`/"~ 6O* 1'\RYy%zJ$p`Xs?9a.=W/^[cpl-NElQ)ӂ|4xjɼw8COOxj_O^iPS*?FE"Ÿ@@^W`J`۞YrŮ5Dp&|c1qK} _bOF`Hw&|&5+o}[ZRlAd3[4k 釛b;\rc'ob UWN?TT864s߀t`vKCCT<*6.ڝW܉۠r6>lxqu?͈CEu@T9WN骢2yʃ[h-A^]B\zcA.\D;!q8Zynۜ|_^'YLݐ4>#Z(jqT$&Kz6)^L6XiJC%hi)/9˻]괷r c!5 ̌)nIZ <7a{pM;C^{Oa-uUޜ H"1ZH]͠C][o[Gȕ/"L[~n f-drnoXg{uHk`Q!Au41&cŁEBZ R;Mפ=bLk)΢w}si\8ule28SX:꾖fuߍʘ*+_57k@Gb'}lǝ>׷eeWgsrBU̖{|toƓN8uD wXGyga3g`ל_v8PY-FZ<0}6J+<`jrYO' ʛZS!|*6kDAz1WEC1$[ 9Vv(@oIyaiejRr¢) ɀ,"|U tpG=CssgtA70& u͘C%(Bz`sf1o, UmL9oLTYكL~vk1e~~vr#4' ?{H+g2EwJ7&ҭ8&SuiB}7E=c8kdxR`>tePv>r  .$uqw{_h=R$衎`у@q 0.J"htWS}AhoIj8 oCWfy}wjJQLSuw*ѐk,m]2|k,yw#K`&RaqR@O:_Jʼnj¥ W)P#3JY`n_)\KD- DK:Wi a$Рi0FF9#+1[ߗ^j>NZRܯ傋K.zُ@.4E7g,r0иI݃/0nS.IP+E2Ϸ=q<˽awx1PF*&^=0( y^ SS0$5t9PsP }m2|0Ws:P­:80 Z*\Pv({ʹlcS۠Zј\bݴ`BRByh #3M/(-3;qNW(&SPfHz(E]욂àwW J$Gxta>FgVжuCRx=H<Xij'S JNA H~ʦ¦dꪎIb9Scs 1R )zW0QT-*))jvsCVuE( Q?Ia"H!F@4Ab]²ف8j >B>ntc=qʟp#5 ,J}v3)~~'ph+~1F?(蟕|ICcZT9R/n-7 < QOFev -">زሮWkAz2Y+Gߍ+_k ϳ9J:jf8zO^eQd{{%qmM hww_İs)h}>NGH @)U~"ӢJh}\Wr j kf:&6Ю;b"kA)vqY(Lӄz$h٤ѐY|Fgc>㌞?Ʃ6|QOclG*N>EXߤ8 /˟S7 5[823܂yOUYޕf׺^z^NRlՆLEr7$30ʭOM Ҧ)38DwT(VQrsu}ȶ7832>Θ{^[ڝD8\*'y\Xrc zͣo!f*RJ!3HKhLSa wXJ>H:rWXt7* Y+ ܞ?lr+ylS}zn/z*79Jyw:LԖ++$?M(Qf ,L{ jс1sx# l& 2Err`@i{dXegYLlD1PQ&PWTGzzQ*3}ξ!C R\٫qG-Qw=!3* (X#x_yXL4*z. %z\Ŷ|^w'y_0[y!P>m af/3HT$*>uk-ʁR:׽QJn*jeEه 1|k %M<.i+dE5pSOH8@ ~Mb_x9-Z|Y<'.>XNL(4 MO&C̀]B􂶟3q*<ØWKS j4!bN\Rr][X#~lNCVyfigYZB(E6\˦+zS:ȗ 1-!-"՜n=eIؙMVpʌb"^6A 8Yipހ}fɯN_SαiL#ԍ%Snm5MP$THfEۂn6@ъҏ4U׆p+ #%L; LV`RS PR]񨙦 +TUAyGPMM֬u6.$k8vslv|H'nPjtP.z҃?]@ՙ<K|pRmK˦ؘͻI/\xZПVˇef;[J9l71R/HȊ- ~^QbՆ;[zzw'ѨSZ{ezt-|?ۄ^3WKN[؅ ` Re4bQIe CequGz_AUK?JLmõ>:i363"eO%Z{WUѭHocQJ$` XCP/8t<lHYGHʽ~~$b߿g;JorZH1'V̵l!D&F׫M bai>"3atIt(y  FWb&w~I Z{.='D>FW!{@`и1Y8hj5Wy@#ٹ,+1aK, ~bZ-N%{O$6y5d##@$+.'?Ɯwnde~<*UXvIJ@a+];hއ9#=wkyzڦ?Iojvjkw BTPՓf ϥ>R3"}{7nmC,5T ܆򮳳SmWK"<Dv&JOӿj, lU~u~(¦6ґ>C/0{= F!_ eAw`ikP눞DRBua$ P 4a[Ԧ^ȟ]4Е $fJA8׹oK#i*L G|hdjUv1lIZKN^&Ww7Z*"mm:BhtRgL&o㿖HxLp^4೓5ZnV۞̰-l=&&66Y z GTCNQse1yט̿:Ğ0uo w.=߾!8(Dyad{9O <"uQÈJZFI=B}p" Zː]<)f Kf &4c**t=E~FR]! -nAlqdI3GDH^GEO%93j3U L l 8#vB\Cݩv:0C(*=is!%D>a/a_]#,r.0F-蟍բ*?^=LGPmC+Ĩ^lnHJΘVGAA/!Ϳ S Bb POOT^CY)u\ Iۇ%$.D05QdX)[\8Р}?)4@LNuՅc9nD ,0@W/dS^+aC$>Lkyga۠O2{(ɭ )wkl}]~(IGRS]yY8I_90e[gx , {3X$y.vVuV FtMe`>a/%n-{ET V@?I1tvT8F !2-Ci7VW){gkm: sϙu u9Q:gMjX>u)5ҮpH>2IPk}-w MijV s#ºZW;;Q Hq>"D~v*d^kkZ*[!6d`y$t|=kȭlCYcz4P;:B {4-l]4Q !/Zzزi+xCC6;{=T%lUĠR48Lz*gWh-(2b ]ppn/x(6CV`oJl| )p'uq0%7aw;A6i&*ʩ~׷OK-0@lYT.U+ vn8 +P玂L|<\&\#NsZE;)INUoU80sTI2{S$XBz@X(L:|-铘E|}-f4a˜$)#Aٝ5Z=c4>򛥄 I4i'gtdGY;Ώ-qz[9"p/Gg[.ɳ!S#(ASoG0O-n*{z+ܚ笱EG՗&1+ѧl,uc!2wvA]Ѿz-L A F Tn?9NnX* ufD"aLXmUYmn"O#7aQvYfag.tQp4bY `i&O^1-bx\$([d*_5e߽=n746gQ)6\#+30ϕ_#}h5X^tF _D/S))sF $M;|W+8p%ϛagD:fkYgxtru'23Wl;j2N3-~>?{JV K:lˍSm]f4Q0Ϭ,<Pczd16&'%LJs{ezY\IߟH(>VX*'_LL}u>U(8ѝٿ +ߗӫvi醛B6G=MsvRgDFGlF%::ˣ[U6rP{+^) ڱgYZ  K71A# $HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY.] vhZ[d (:.ͦ01]ČmDٝ@.3Z"I :Qyۚ$(=r.UEڛ‚Bv ~C{3+Y#$6H .$!- 48.7sLh}8wUR&ۿEđиk ,:8mTUQDo-xufdHs˲{*y!hD'DN e茗]{qh*Ɏ{]]e7 $Srنw:`f%vggUy:_H@G;:{]zP 923Nb @ߣ)_>k:mz1~$]ް;ul"cD_Vg/P1;c23GTǭ9RD6H`4V ((U81A' 4HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! 'T]·Iq n[:|&[zKˬ=Kј߈Ir۲Uia'`3[hŜ9ZɫtiGpy|b["6BEAX8Kq``.(tdlu19팴IQwNp܈]~`-pDJ\6ADxo#Z.Д3vqCa}oɑjޱp#l `͕"E$)"8>ί1ˏSqi[kFdr,R0s$pىe>7S_ϰv(vAdi563U!ưlwu t7b IYhH'5A)㪍 #R9.J MZ9夔g-tȮf(nNZ<2cK8חy7UEڱ.ݭoH|0-cncSk*lxf.SL{5mM?Ԉpb⍦ru껎0@ ˰nNUx%S&w[t㊛3l-U /'ѽ}mA#Qv cv =ΘuTY L`Cm䫧 '@ÚJa22 `Ugs_.i f@q#4!a4_ }G;W0vDl)4g-<5zoBdźI&"BCC; 44 7啎,n0)U!@w&틾/gpLzYEsd!/s_ۮOl%~v Av;9ʐ&-$*Z_VbOS7P<8ÐR&%Bd5Qqk,Y,[K"JKru?! 7F p[wXG>86^L"XF=L`oWy)F:( us & WF|1|-( w11 0ܻY[iQU##ѥ|0z&@vMQUSCdҴ)a- ypå!yt19_~ɕWwm9y!]0Xp ;,18Zm!*=0SsqdƣbD]Qdb.=h5Z(#uG6m' GE:~l*r(<Ư34%( 6o GT9bXo r"Fm7U Y7uj])+< b^7<:Y\Z-Ptܸ^zV+oSL /+9X*$:-,jNkk;GG]^lW3gNjo|CvB#[ /#W2yc{Q Uk%{~wڝݙ̓F9*>:)Xzɐmcr{P ' [}ru}R4(e qn;sU}jn.Jm*N.K\45]'>|l*xkt@_,^BDt CK\`7n*"A>^H ~6ph_wp|Yd:d(gAϨsht#pVP:[kVqj{%[CY%q\~d|H#Aly7 fMz *,Kd%fN<{? &\ب_1e=hsCb@W]rgݗJ4t噘2|0\P:mvAO ީG]*FK H83`5~S3=Jyz\ŏjmv9⇾^\jCNy !ͧ~WD sz&n؎7݋RB\F)h@ ' EhB36.BoT̖yl >!ީN,1gYZܪw,[m!ox8]ౄBb#7IQhJ-kN\q“S'#Mӥ8ް;2Oe"lA./ =_'C\߳w' 1a{`v_7Z=5@MFCO{٘]jɄQ?mb¤pZ"Y q B{:8p#@._U g়,iٕe[)z?$ e&*L184Elyzdr6 c5[ -ۘ͞(-OؕgV$d׷5a|;ԑE9C,pFwG,ӔQ?EϮE:ԎȚńv%sa>Gϼ[ÑcQWQ*Z[ɷWH<<6Nҧidr|ێwzq N%hBzEfiO\XVbU(q\{.-On{AY㐵"1)ސ^Pk>mBs % вL;{jVYy[C%L~D|)D`@h,݀ZS sw~nԮ[/y'`(uԗy&"65S10rfswv"QluʿP7ӼۢoG㙵ԹcrH?@PaƂHX}`'bQM͕Lpj[6[>@-Ђ zurpվ؋~91M<\b+ N)e'IUgA'#rFgͺ[:]Hpv zqD*t5]#!7"z7}/B Su-u|b%V"-J;"ߺF R9l`hfgYZ7zXZִF! /]ŗXiɟ1$Cܨ }X 6^vWn p^k8htkOa 8Yδ 1grp@`b|uDEw|bHL9%ڊ9KԆ,GPE .L_z)iES^HS}/ӪpБ;aa/Eo 1u?L\%,Uv8XB*JmX%2S8H$nΊ 4Z*]+wpmLw-Y2UdbR=gYZ7zXZִF! c0 ]ŗXi%ILϧTQJP&Sj;=$+v%EVir4P=ߗ;p"g|n8:ϻSUt3 8Sgؠ|Hhf"bXJY Nf#(THePLO؎_Y ζ?pvʨRQFx1AegB'+ʏXעJmT ˕ db}^ơ b E?}QHa:oEH| \4|ngəCם3βɆ HtPŒFE9Ѭimoo \:~wxLڎ\j&ʹHVOO?NҜEZ^@^)Uy$4!U[dDX(ExOb{xBkSwـkjF)+`%j/N!l)e`'ix62 3 W'2Vu*4unCu"BdJKŽ'F%Z;mJ߻O>IX&zzI)KyNYgXUOTW%ʁJrҮ)P_5/oj4g^Re!v_qJ&EY5ʞ^KBo} }-%`LЧ ȯd#Eyj5 = z]I'X[~@ѼBq:@GoR¾&6jސc ;G >ϟ0V[lqc^A/!luQ{k"v~jM08 JaM`V~K]۸Ea:(.5}Zp9WL;Q޶q|tvK}h*'Lҫse/ ䷮MYRIIw yŒuoOkLLjGW_z71jMp%l+P>/P_{Ds ,OƦtDQ{Eq@Q,-m|, b P9qiCSSbip"@#ߚn!hl@e%:h?aU!$E\DzPi5 ߯U3xsen3\gYZ957fde7520c64cb950816518440fa109227bf33803c94d74b41243bde92728fc7ab986b0070bd24f 6d31f412d8e65da7615dd163568a2f61b1002bfc 2d4d3c6d714a38637584433ba64f9cacc8a1ec8d