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  1tlt\ ] HOL-Metis_Examples:threads=6elapsed=16.872cpu=67.460gc=7.0207zXZִF! ]0]ŗXiɟ{hwtL!砑e(-Zx ǏnyA(]¢6n}F%`=k{ix2+U{q0(ZM@ïWd-%86-Al#^]FSU3xT2'wJ )U78gӋI1bc)V;{ǰ/ɢ'3tn=<]dn&F6k_0 >Wsu㤴)#:^O>)}bWl2l  j^h.W S\~%F ngza 4NW hI_ڮpq?J1>۝2䮜R)@Y 1 HOL-Metis_ExamplesX1;/ $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ؐjl0W7M6K/H+G(<'8&2%0#) &        85W ~ = S |;* h $  { = Tr5yH i, n+3 Q >1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup4B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files3H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id2?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages1=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup0<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files/B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id.C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages-A1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup,@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files+F1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id*J1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages)H1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup(I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4'I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3&I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2%I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1$G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files#M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id"=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages!;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup :1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id<1;'HOL-Metis_ExamplesHOL-Metis_Examples.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_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_idF1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messagesD1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/filesI1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_idD1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.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-$ɽꨚ֠!AzԼ ǔqHv__o ~(!Y"F1 o7 Ҙ6:.KF 6b^z]BNŅII,Zۿ:ƀ'(lk:fj?֧?P+(hea$?^^ԙ,Nk zh@]Ӥj1ˢ9P)?5S0 "yK(*\pq϶qԴ}Ѱw-\ЂJ~TBDl[LV bl7Y),R%0&b6#[F&_\氩\3(ZƩyBӃTRٽ=='Jv'9aMޣM k5cO^lgxm4~b~hn[ZV9WN'U,C>>XZRj7?zkgfrb1PZ=RM_RqX.+wɱ<#X6!PL#;D4~tDM \+7LJ]Ţ䭁% T,)=C&7͙Qހ: /ӞEpeZ;Wb˂ho]/{K@﫨. [N-X~M;}1W2I@*ͨ 9g]Kb)yZ}rB<0<RzbQ3a('~J,>11U#?-ꃀ:/ AZN7`;Yq>A!)1U3o%C^QcQ&w+c1jPAK+-#­Iؽ9PLpbArlM@fh-M%X!Y+u\lF/cߡ30+ߧ7bI4|_,P߾_8rSB;𐥜,H{MwPtr:8iDd%eNݑ$yP +C}QN*%a\j6T "$8RJ߮w=+`m\$1.LmX]zV*Ljm d\z[H 6Ml'bP{DKIu6 |4b <6} q it2DxwEgf%Z%_V\'/O yF`jDǣ ȉ2j#?@Nol SM3ރa7taHu-<'c7>R-cyԠdXS;_>"ɑT >Zt\TTUx2[-L*+R!1^l*Nv>T6+= zD 16J6V`B5$Qlb~ D|}b=K =~o^D:oML<70bPxx;WE~5T'dxc&u$H?.KIpMQNphL=N'Z.JEfo@O\i2/:a} ȫבr ޠQ W1IA_}x(h- Ccx2٦?%JÆᐘ,$rwi[H!@I88mf髻yF~0,oQ `wicTwE !,o.-g!;I36נ}GqhE`|;eqX~O& ]Yh@X tճs+[ƳOX*mÎ<)`4?M 19FߘjޯJ@xkH"1^oɫײjh>Vx?k͠zI ?S@4ǩn`7g\B9Hߕw݆t6z}~߳2Pn\S5\\\S/}1:8G\=[D.%Ytɒ{q+ox26q;hP7fL&d\V25 O$O947dX9,7c)4-ÃHRdcM̒ Oٕ9jM4VES Tޓ"yVΙ?Y$dl/j&}AE,UFg| PP]Cxq>B.JfTE FvhtW\K) 4?E%a ň,*BYoFa:c8 ^ YW7d?D"gYKDcY15lO 9>NntʜMjKÅ/Fzk$u=?Et S?)Aw*fpB{?kS%E)4= >y=:D<%ӥÙS ͘m->X?TɖD%'* cκb0aԦK'c@:ֵ [P$ 4P/byQ٪zȟ BK1>S:ƲOJHdPZ 8\d[R@nyؽpד?H%"#HlŃR351iu}KTs&+h:I|B}.$)sˎ[ KŒmlk-`wɮ}\-+aE; /#'d'fW߻GnR!jU@7L6l9*Tu( ,6-5M,Tʆ!W辨:`s /7I0RM#d/y= #ݤfL䇧2puKp|LDF+< )8?4^C~ ' t,!EpԚm AɦI/;.@e_{heBIotNvoAIZDh북,WjLJ/0~?P*#*E.[ˍ\UKVN~B˙#\ 5EPB>|n`oәgm4l 0pBn SSU .˃j~'%WV HM*M5obQ543W=Yi)\u˫PnobW0 9猪%q̲wwGnIjVeօN\T;l8eπ:R{JouawW5 aΕ+vC79  xA,luR]3a ֌5U1ʵ*5zK~SjKSKaQ! ܧctH{t3-FEuy0Gx- K3үb"$7V3jWtdv#ԢD:c8lf0YGSz=+0<Asof4/vH?E1s;j D˓,K /x_gYZ **p1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id534 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̢Π | 7KJ[|"'ىHX1)Bncr#93qdo5V[nu|jfQhR)!ʶo?ؤq.uU$ņc 0{)R+6)_Ŷr=M |F)L:05>e [nɣ$yVjwHDc'm]u{e`Q%㘉 TWe0ͷ*aNSv>nbGF' @+ d푊3)hWc yO%kj1ac>e N9EttNM?&ENv\Il7yaIԋlj3 )zXc]S? .i~Д;I2EhUyG&WF6Z8P]G>>޶$?u F.L?&>E)y _)WBgW1RO3<ՃTܮ3[8{(gT1X4/j>̩sݱoXú֗ODJ5ɯ齻:PZײRwQ2gG*}_t'e7JZxbgu+~X"=iM{vwW2rtٿ QuK .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! 1p8'~dHbQ)YҪ7ʏ5fq I<HP&oRcv:3I)G4Fx9*߰@4Iե,GU~>g1}髳?ÎRMg޲E'܊ix Ph@|t:'&S:ylr^\B譢X5;CoQ;@7)p3 sTyn jS%T,L`B.oҮz*v_seV$ QqdxP-"O8WK&f2>7lH&T$wZv]]vb}|J5% m_hحq(1] &$yt=IϼycwAa YG:dfLV%/<<پ{UHBŤ玒 7r_ w<~gL!e=V6Mb64_wbގx ֪Rl{&jׂۨVb4*N{m֖yhujeRqˎ0DNL,$Uas%ΐJ)gKQ!hZJՄ9Rρ @ Ŧ F8.$oChp?3ҭy[^=I"A[< :Nu zU}ɜM'2@Rb-QeH(0Kj)VLVu)_ Yt >r;h^ߌp'H9^Zu _5hf!J]A|4sQexrlv ۵<0UI˦~Q (P ᥎lMj/Lfg-r 'edǫHBr* gD;> 'Fu,_N->jM(ygJw&Cձt0/Ct*3ѭ6N1&,VDj:"!xc(RaۅH&Cdw8Wa7g]q鞌B?k=;7=>;=OC*=N<\r:I0珝s[^$,݆BX&0~aoR29wSDžs4dKKA-_X.1ԛ j zsѪ>kk]?Kj/Q4ztBHstv EIi]"M`@@ׯӓ^In5᝾8EK:—l|2JԢH}kOqAEZGHn Qܫ|!Y}2.k~5Q+#1Ï*! [ J"G}nqh+x>c*tYgQ:D)ܻ=M6TD.h'e= Gco/n/2h x_Y<.J**'˄,8[ n98E*aZ~¢.>1n*%?vxiC. #^JVXUɃcn n:?V< H%1ۑ5@yrYX0Em9%O%,uĉ";CS=__R/{(ycե+Kp aѱ y܏:_6x?me“(jOi5^'H椔&{p |q+1eA A{(Br[!\D}ݗadj5?r= m~6jtO]E0h;^E_L4fȳ.^iu.]9&Pm0.\B{8X[s_a׮SeB@7ks&Ka]|z5 kQpJW;_+ĐMm c[!z7@+}0-~݊Lyoi6h l%o=F:׈NNDBp:{wSfčE &1ٜZm4 cJ-18 ~Qp&,MfB47\W_ +5BI=×Nhd ԟ{fj2I±k)b+>/Twk`(k@gM\7ED0K]j8Id;IZ<8fmuES"8 Cfs0X8)APq\-=Ho8*騳j S]M9eUGE\1_[yPWvL˔e!0;I8M$d5?u||JDllmu-d\^nG;m)yPd46-&H^iԄ 5y"2햾;=nz_T1m7!6Z/]*(|Ar6$2T`~Hvgtc9Ay.Qk8@ߌ:".-+حOO*f"/ux^ ( ׸U > xoNm TCr^Y=;TyܓRa95|e52T\Wh)&`8ձ|dW# `<:#w%_+׉ ʁTL2idVz*_ zr kbr S~U$H|bZ5?7-g.ҪKPWM\B(Jkd f\`.7s^/Ԉ'<\Nݿtp]u] e.\XXk/] ǃteNac^-rS?)E](3@MƑ0u5됝"͜qyB |NcD`"lENgYZ  U e  \ 1A# DHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! YZ]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"9#wJb{R$+{: y3ߚGja.TCu|Kes¸Z;'")vMPףZn. RÖw7ď\23%H+Ȯ0Z9网}|A?Яys}L:A,-Wמda#RFm 7<E!~m⭺JyyB Tyvwht )}ŽgȰohKTjXJ -52fR{%~Lyvqh"0rJ@2HpƢI$ɭ_=_TN ,=ͤ.(pTy幊M45wv ^ #D*脸~Dڀ}X3r.e$ ڦ95 e!%?1ԙ3DrvoPzOj.28zSgY턩/Ws-QW*@Z} ß$xX/)X=)N*O!KY_VcauI23٦a} )l7 wLIGhm%Wb.S7dvm %&X^#n$Y^.Btޑ͈&F,a?uw-wVLk%$ߧ C*K+b+;wێvG2R}\<\]D0ʧB^Fä6qsHȢ%AxMpuq(ufcnӿfa-UA0c@JK$SR!T?"#?bJQ8q_S#x8Z< S5~ʐ\m|[􆻖pQX[F)Ԯ2|*+Y k,6N=XG1m{+ǵ.L;(~eeho|$}E\K5H/&(^~AHQFﰆ%'1.@dqʄLa+fF'’C?QA D#(|N3Uh9(5۟+#V^/3xx:<4jz_ $l UY B8D0Ru^g&~*uLDǖV?,$%d(󘐛^Z 2K(Zdd/k虊ٌʚ=B"+ qU{S]14h` ݗ{`T=f^ ݀߄P 3@$6⣝]nIZuG=C\pﺜ`GEMi}8x^̔7}^X&=MyQq )w3`҈@QD/x8<#W_ W*>=5Rh`S? MWYH (.7K;guRͲeE(ۛ:X'Zd G`|tx@T"#^"[7ef咈܌&Ơgn譝(ϱ^LR;7d!FC/(og84|RiO7ֆr؅ͳ;3~szL/Mz79d.A\eC?GiSr9s@i˥μaN}DM䜻qDEi>9c/5$~<+(vL'b҉t:$y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwC@bYP~no03 c57:wDVqħ: bHJY&P[{}H1%fyREQ'DX=ܩm#p{ӭtҳP[6P=,&.Mw`fzE}b@֮ qrOLn<S]ےgs˔Q , _ 6=ݱgYZ 4j|wxV~kX@;ֶ %6-qcC(g3HuYVÁA62](OR`#{hiPZ= VkeKؖ{ՍSՈHE) "Lho/K)m4jڣ4q͘wBaW2h[I%ܕ G#t x6 T'%#?(T  3'C@! r,>ѕJtu:(885Go1ӍntBKHId ]RH0k|h ^[yUjef!B>پ/U*rc j>(./+ .$fK$p&2#luClUH9'B U7khr*?jn NL[֊Cю`P7Ksݨ!pTƞoњR[ov>NgmƶU)R35 'CR0RFff34F!is5Y/-w)'-1IYUqWm8Qnm jGhRe"vu*!0cc\ Nrcu%pmفoP5B7r#3coͦ>q~mghS&|Dޙ $3v z0>EC/x'iIXFez)@(igY-KeR{v%v\#n!eTu>re#EF?A*ըlWpb+`1W $7v=H\GЫe5#(w["G=)bˬ:Aj]t|G7RV @F̬fo)/P9c\ H^!RDfpnaY ߲_6 T|3L&Pl7Ri(5>o 6R>W{G%`X2eQ%UGoekHf PVh|%0I-6K3*@*GDˉ Cj!%6kȂRnM];)Rx= Xp1t6 D8mQ8:$+LKXj!sY=uOH&UxMM(P}<|bb8f}8aѺ%`{~8ͱ4Mě#-AZota-U|3|HՇFy-$tXk|WQQsr'ĪczP qz* UmadȇYN!E Z!`PIvNaZ%?ꗘA!Pt  SC]qO3|D]fS@=Y)2\9u4`,KS}7QMt|f2BE=nhb$JQ&.'G<vUEoЎ䏴~M#?^`"2ˁR5i*!0X>zS˙N:&siySP#;`D}n+gW&GV%$TuS!GKYv}仐 yHK}R/iiJ4o+>q)F&OrQmi[Zsͨ)٪.tlA1GDŢ{k+붙&j*py r*Ȁ{ 婅2jy):ź}Z(!uwHZ)C}lY&E\D>{0Y2 QiCsay=eNvܜ0 VˇlRU>/]AUH$s ]&~lݶgy԰@/~`k!S6*k wk-='=V HR+Gk&p:oƮ`1n4`m?W{U 86'^ʔK5AJ׸)v5hehqLg՟4@Y=:C7>(&5%953ä99xkD l=؞^ӊ$KQB1!F&4o,fm+*pq`4mtyHƝt*δ ip|A[G+I'Χit29m~n5UYfJ]4M/=l52J ta s MΜ%_C2䈸YjYgbw* W|(;}؈'D;i7#XہH }cvQ5+jqm3c t - Zs0G?$ŏ5(]H0T7e}9P׳2cMPEʡ\ec؃\F"?֓gb/@pfn>=! al==Ix"PaFBLJ7vإP;.5 ~a<[NFWMuV?3QqK4/$K{حek/;6Լ_AatOCI:#,$/x,D>D l,?!TTeW j(zx`.t*Ct.>ee  t29fz ON'K*[!E|zm1V5 ί:kZ$hU=ղu#;rfQ1). b+*+~E~K/^?smWՈG^0=hpv5"Rr0Y |/&;d0J;gVxnu!Sܹ? oXwO!bUs?O@dvSQ jJ Bٙ@l~vw>bv`pmU|-G^!,ѧ-v̎Ѐz2߃ңІfY^3SXUaB ˪dr*˰D'RtFKU'n"ـ~x^h\p7r29 Cʦ0"qO8^Eb2bs\. e>8{LfwҴ@MY $\PY]Ffު!.졺ý'{&ik?ۂBg7'qcL: Rϛo{+kxS/]'i.\vӋJ~ MrE@hUHZJTʁQ̕T7*kxz0eVœ/(igd{; 6) q~Nhp}sIA6@Xz)} yLJ8WRB,qW(óx:z,?n%mXpw%NA?۰3><}4^ 'ZԎDd`U*LgrܫZj($ߡHe^KQ^&%LWIXOF0Goޘ2uI@㖖*|v\ܳ_~)IdS-yJkdѓIVs5hΈEKPcR\ :>o)x=|/䠞C9֡!E_ߏ  Yp[]0qkgIqa:~`Ͽ7LR'p:J{yf/s2IٴnqTXL{#|6;*ЉD,z҆2>BZ_+ra̜j9'8eRV&'m݆! NF &Q](9V[B8 iU6VN[;r$h~0yA*7D2WJf_G-(J,$_p/ {ϣזT <ߣNg6!c]cC1kվ@*(߈uQ۩lkA}ewݜy]B?mzAT[8:!?1#р gE$|(/Gm߽NkV3-PCӡ2,y\)fU|ҭZȕ*a'VkT(85N \-xI)g7}ϙd7!ؠ/2S8#ZP\ʂ_Cf¯mrHEPkʹ`RRJ @X4'E aH 4Z CӁ?.4(S"hI/ T ]4JPahf,59.2#)yvNr^ j'+ahUhۢY׫[!uᤗ9tizake|]\+e)E[SOg7Z`SI|3W=uC-?*1 PGBB(*&uf@oL-I$>.(ѢzV&6_^D$&HFLNYne`D=pB/O$1n!mk8ХvP1S/=ߝKO7ii 'RM5O*fa5CJ~`8/փ`z&xE2Ǚ'IeyM*I@@EO{P< bk[+rN{4f eU,{ˆu0~8_F#*.+C\`Yy {ٲ yBdhٺ2 3c g xѼrO&2UCJڰMnHRiD ~>9^ SzL³fU#, 12eN"^D.J/W+~Us;ldՙ4M9G]%[Jָҩ zw1: drE҆^5&>0=p>Bוp!b\xS:J3nh>|Cq4!r`P ;wͦJg m`;\V˶ф';VA Н]++{'oXq}xxI" Yq.ṟ0FZ4D{@Ů,gߧR]WbJ8 1U8փ[Ny|sP sMa(6/ $%ffc0s큕EoMD[1nHV"4]I;EL25 I$1z̆] GnMrߛotyyKL(D>I{bۛOj?6WȇUI7IwcC!Z_R4>U񅬮vՕGôP%CwKOʰr:vhUBs1w4{Ѯ MF@?u ޯKkhQT\²,k V}T>e)xw3p8Z}!Ff &E(;H W2Nˏ~cK,\'V'iaɈXZ?4`6Ɩ$T:yj)u9@;~rF*#UW+,:3rQ֎Xap |4*K$win?.,_@ pR"1 ^u9ͳF#h_@ҧSs>h!tQÝ7 r)Ua,(bxW5ٿT]kjM¹8^Fc[aAM]ñgYZ"nA֎4D!12g~Ke .Lbsϯ*Eh>~,=.r؁E{8%Dӟ@}/$LSJ ,:*0Q݈7:E­pU yRGbxpך"8Eum3  qQ7| ?[Be ٽ%+YӒiv󡿁w5/m/KW $.Aם!ݠ{M&gĂ[Ri54T C{y^=(HM_ 'M" sQ$*'m#Fov4sevX twk&E0?.2Y.o5M_\؆fݚXYN?BQ˳|i*7Geg]I\%k ϓc /P#ngw-mxU\q[^B@X¾üwcLs՞M)P 8rr Ow7AJN aǥNqs#M Mvd .j.(!p@`z>ya1-F+* iɝ?HX $8|yWo>PWBYf t@ms)+tGUf&8!1aZt\m*p>A}HAv2̯̪LXsYs|>5Sr'SOpwo~70REiܙfL}:SxUӅ{xWay-š:J@*)[~؇w΁ax6f,^"Wʶf~(REj_s@@d8h\٠zk[UOA3 ǭ~2h[S3"gb3nnY8עaUᣡh"Cb$(6/\rl^tRαp=@χKC:uD6w AX\Wd;,2Sjõŕ2( 6k\YjXzzmkdnKUy|ѵ`̌ƩKIgEt-\s>#y#^_5d&UxhyXm%&.xҖ>ɯQXzH%Y%te /MO).ҫŠtWLfȤn&/BS`ôذsj\cȶ2?EMVً)g"t.rpnYܦIy rԊߝzZ_FJ wǬ+Dq"?lx @ROYlq`Kg.>Z4A/nM-5<7m,]¬mWĴ(uP4!|αO9C|; eI* WݔĔ+'\dcr" t;GE 6OL? CN{ɴ5_],$.3x&44iГFke$\0qOjzAzqego_n_5P×oGJѠ,y˵}Hsy ?`H%p_VSZGH1XѨ+,$1@zXAs Өek  ݼOfGx;H+Af ρ rD-Q/x?u,x1SqT{Ly^[6CS 1˩y%I" I\OXF}eUl{ Ns{Ha])qh5hb*ǒzseZj? re.*qbZB @pq AWe3ޥS>7*r'Ey$d' $׊ hG3&huYusl;8Q_ա}hvt9NKwЭur1V!"p5x1V=pѱ 5#+nU7+i)wMUATyFOͼt͙UTY# SRMܓ U>`z&Fm(N:Me7[V̓1uF:7{7Q1HR-bn P"OCJX<+!?c<&g<#lvOi'%եd ELK&GxGZd% c[?[$p@@Tdba (J8Ryw>%Q$+#/+ v\5]Wct(R{qrw/d~ut(QZʉZ>roWƣBҢ4=BYTƶBj?Re)I,tL ~z:xЭdi͍,#轎 /[ {PGRpZͅ7,}($"Y͌'gѳ `OB7 nc/GF@W&YaAf2.\*pE nn5eDVUr{(qX`D 4-]P&U +'BY )<SCkUx,Pȭ &'4zRm:s8JF9c"+l"R8%. ڻi;(FGZ1jkm\O e.i.P}Ϭ{HD?Ә8H2|n<8_#7'ϫok4.NKom m3l'8 3YJ44+^}k{N[^Eiٓti4mތ;,,D=#0m|lN1C2dgNj݈:o2 étԆBhFj\l&gv':ڨA*/]Ǔ6?nV!>'0-,~UBdc9$ՀcԞV n;gجrs2FOwWJħ;CP֑3F`B/>j6k Kx5,qA;D ʓ2DĵlD*Xͤ l}murB(@'|+c"5Q/?ʹQ6IVGKc ,bLzɂv5ϟ$.>n^UpB?d@@YY[I5®ZZjrpf#5.a{i_xQ7\RH^lB6ϗ,)C+8e9g7;;4P8gΘБH& d\BUD`Qɻ~ ]?.>O*)f's5" lQ=maW`H E5yOY ̀r/5O!0^pv^a6B;CU^o>[ dǠJyJg ;#8;<'<Љ[L; < >gɐ񵕇 SB. zR=F(.o⺔Ȗ=6[#4Eޟ)ݟ?=c .(,) y/c+|ϺL i| Vw qu+i?~XSM<Nj?kytʙBti2W|B鷊0uer1wK_X?_U \ǟCdzRlNm.Fv^Y,{q0%/냅3h֍ϣ˪|pz#=`ջ4qB nzAv)h#hܥb;.蝙fd "QĘ 2Erޤ"{J}x:2Ӷܪkb9muU}tFupFD h~VQ)d}^ Zz T[c-i+?u4|1Fu\ؾ(9?>.XQ2*VP= Z)l}?{ +j^Qrg<[7&rBotͱ,($#) o{3 _w,S ୭[m6A!g~)r5ev]?*T ǽ -nˀd8^BNh 8\MEYC$}$tW"Zu[X87,"58C 6C*)FbiB;= zE" :WD6}B܏J nB(>p(c̪$qonI毶Z8/yh:L˩8ȋՑ4&wRUj"B-g?3^ZCNt-ZBz{瀄|ԩ]cqń,QV|7,>\0AfY?Rl\n* hC>Ho,T5òXcňPKX@30:HG1V2}ts*.6.`uX>R7'A̋@-1xr] ^vĠZ `<6^>qà%ʀ&@g3$kF]jM՗g2|9~`˺ѳßO ѿt@8&0q3,~NoLa~ujur4QO|_>JBɜM޸ɹQr)@1>Tչh/ǒ^GDՃY S[ 1JPo t@ok+dAv75OZ O(aS4#)DP8Oޫ@/dtiDxN%i }.:>ϳC~١fXsv!2%;"{}`'h,1AhRtcSiٯ< @\g_ۺ*ۥ4Q0HK ^,TA㐜R\A1SϺO=ey*+F@=80&S=_6VNzRʓrpsɇl^Ahž%&_JŰf vFi¡Z/8 5LTY!@yo.uV!ޛ .^oi&pd:Fb~o@'\R4hfobI2c7C˾j!Ctm{@ט#C46;x杠kw)(OBcNۣm6(x펗/e9g#WJSj$\|w[~wrP\-9vHoǃ гʷG&|̘4X6\q.X)b|/d .]\/^T@0e ,]eVp x}I_$, u'Z2KE6QA{K R߯Ŭ(VcZ$ );5ٱyͳ$;؁Bl/PQe U $=wx.&).z$bM5&>htHGm_+xFLE?Q0@#`uoL 3.7!y@EW 9ʤ$Ҿ6Y03^_}wߑNաvzԗJEv6WR[>R!l90%B91MW$-zrGZ}J.-5&>SV.Uw 8ʈW7O>lqUŗ@MEwsm21rH )$WϫKB嫌Xu})]A@J`uz $QYR/.0xVf0cbo{a'E^U,U_Kg_{^_ģLf5RηFL3ReL+,XʘO1UBx-laW} %F3  ^'UzxewTʓ.|VQQ\0<V-Yd> :;Vb HFm*_Q8->03=\.` pN00$Y#( N>i/iw"`agǬi4mU0VQU89`[X5\ n({\P0{*u.kT's E8"(yrU:5)ṥ@]S!@])=JXIppsupzIBAWke94%;=Q3t͇c*Zz߭?Zr*P7mK{ՊbUp<݇^:Meq{`\ԼYqEZG$:Mk;cBƥi..k+R<@],d:L6u(N=YDG8}£k}to2wFHBG}25ˠF{C}^4m:L#RMnd "!yT` 85暹=T18pҳz+.VXn Yy3#*C/ӳg=lA`a@-:ɡa 8(ھI3p  9(~UrB9Z,~Xׇl?-)Y!wL)쟂)vt '3 s7BRwW3"'-@Zׄsrh6kPQf*& /aQyHw[9rh\7uW‹ uϊӁ(-,ed 4h~N0XbF|=qR`!Gv$iIfBmCe&i3*cqwxq1n:xk-{C̄AZu>xc`Mu:=[ͼOATī|?{×BqT)r6l㪦X4+m_ XD:U玖=7' EH3[coRiKZbB,"\w+qLa#= 7\aR"*ssV"' IXL MBrL*hN-nu]$kmDG#4N83O+48^9 @\2P&&# [Y&!S9ըAE;'H[)UPw–xun:ɹ_rdX.:/<VFN0ʼn|SGbDi^ t`u.6kxznjًU~%牲V1 aUKXDJ9{cٲUJ[27t߲]j +п'N ܓn$UKhޜHvUHa''X*f"IAʧ_>.ÝטK C5Mf%Z ](HM-#)$.xwl {z"?%sĒ9@:yOI%}^coû, p32Nc@;hfؼs2Fcgy=SNl#I *`AqG]af2 >+]Q&O}k|Ag*Ι?}%$*U(}ڭHDcfa< qR?{-XV*Qq\|U;[B6q?R$ۈ+{떺9M׻7&Ԡi:`Yo-wd tI{=~zds"-_3nՀof};8K$@4 G3,"\{-p&^OϮjMb< fɛ_̫xm⑕(`1,lx^"+SfeFAkE'̎S e֭rpT;O'HG9阎DWRdIs:n}Q0aăNac`'V` ;F޹}4AN0MLIuz < p@9 #f4s;9Wܔ:AEcmbF(hX.)á~[SN幺L5_Β)|9mP&!pC#W(-Y?rzeA6n+l뱱t*AAEĝ]QoPP̋SVoVF݈n$s7UoAK@\Kx1ªEA%@#pMՊAAK2O J۪8+E ey3s?ea)ZDO}z !- C;뢸d{xC8usckMj{ήIILva^k熥r%o"27 z︆!yg}.p^#3,}CISr>V{=yо[ܰZ\=/P H/W]t.O ?ǒqcqBEбφ2hq=*ON%l=sbʿzcHoj&+|JE=|e23:7AibF{9e%s7xe':g-/0@2hyJoX)9[:dW0^=z$(euP;~sk5݄5%Ov:r?VAArq""g԰LԟXXb< CvnN#`y@MHtޚXۤ.wc bSc>Gp2:0ٮ\oē[LpW"Ou~Kʐ OȞVȦTI#J~4(";Ɛ䥟+i٭qiy (v9:n1JU.ז5YAg@? / ?n$OQ;!c-KC|8f,q$[%"hw_scUDg :b.yk讆y}{|Wp3Ⱥ]Hq_j?,$_yxPFޙUڈ4E<hr:W12)hsꢹa,2_9`E-a^]؈9|HOHQQgBн$dm2^h:0=)Tλ˨7]c&ߙ[s BMHߖN㛢C(0ec<M\^@shCkMsgnĻz N8]O59Py9 \+YbÉYhjѿ#ct?b5keJQvr`;}0@ffO28h[lS H /bD3{z}{q9k5aF60\h9+ץdʶQ%̂B1h]R~W~orHe$&xȇ-wȵ?bQP9T |ⱍV$yE ǨpL;< Q nS%/tI{x+?[I0W1F$;>sƶ83Y;^*Iҹ6k/Nt0TfqHG=f;]< t1DL'Ӫ~$Q qպx,rupmuUuRXl%⵾(kܦǶmHb3ǵYpx/qzvNw%)- N\}? @W/r#6T42h)@ NmXXfҊِ;+#ƚF4&qjޥTEb` Glj$'T RV;&ҨNG9FAl-)M=*n<67 0#^D۩->ڙݽa&eP3 (쟧1zeOx(xjAaϡMHo$ĦJD\%160Dda|\=/CewkփaQ咊}A@b%oJcAǬ=פ+FTxŭT'Z< ي%K.Q@.Aa4üTcE"جKFAF֠!&5e/iTPiO5|ayY\sdw >-O.,fMρcR l'D@hohyH 頙ELћaqfǀn;|\p\s';&o@o;hn)kӠ$=m&/i<(AqRt\e_~AE8w9 sD9 #4G M65b|vT_s//җkܤsb[?Wyf3%O.6m+χ>RgRmR=G7Oyw3^{KVو,O=o N40& G]}&[a/4x|W ։d#=qQ%q>sy+s-B.ɹiZ(Vߢ0!/fK?[i?i f#(ޠ՞]a}2CwCY6@ϷzXWX+u"L lBVX;YDԡKνS]_|[MDګ29 0,E.W2}pnyM2~Poda?&~4Cz!eL1Obs"{y'fRShcLFaa,ubO,qI,Tu2y@oy) ,Ո-D 'x|RIo\\!t3tW5!&!AәQ"3YTt+~4ϵboe 7Q#O^PK_8%$xtkˆBը|F簿\2a,.: 1VbB&L*@ҴC.Di]tGHD 9 hPO'zȔkF1lB|kJUwmg&Cd`7yϗ2jҪ[f\8P>eJ4(X_?8;n#RbէumY&Ϣ]K-^ >_QF{mawdvV!5';J6k#[x8 n~cCZS9 ?TJohDz(Z*}v r;L %PX)zRҐҖ{58w=jăA,sjt*G)y"!&;qz*T_It^Z @+!~iIdfs5 qH 0O18ӂ?9UJ)Nвbj*Y Hqt+7_It M0'o9dƶ I+ 6d5 W |W^KOem]Q#\9ԥsfS&pU_R.z`4Xg ܽb#M)DėT7#a+s#:?B].ې 8)@V,VF{MAkbugxzHs֐WL~3W͜=@Ge[%Fc~W52[WsijE KNƷu9҃#_i,3͊[FՁܤ?ӝ=Zu}g)Xd|).7vx*yAZń-$ 8 7ce~HA\WU3xzr#Aihn?KQoGѵ +sgEzŹRˏw Z TR!Vhm160La%C(Hk{_ ђņz_R"~eɥk;Ge` PezN]cQ+cǐm8SY?p/L4y_yt^|aQZ d9XW@ڋ[7Bσwc\7Ds%#G xj+ܝW^ôlܞ4ʦlo#J/^k2:w (j<8#M@̱V^vv?,P01㻦kB5e}že#FlR(ꋏrpNHL,_qaP8}:IE<RbcƵrY*xY~+Pfb2~QzX6Ćxyf;Zj{ b ,Y?dEs&5JAזmNgjsMi18It5$"^ ;8Np8tvؐk  qrnAdd@QR!] zPZ%21oY0@qh âc+e2v5oG_{nl&lZkjf,t^>vPhͽ0Avq(\m}BGnp ^cQ4-)2J/ Fw5^Y'"znb+|w,`F˴81|PϲHe ՏadW?JXR:a.)ۢ`pKQ{3UE`h$7^C,[[.Ww|NP儔S-@+tatR\,,L,HXE`"N9wHSaI>4ڙʴVPep εzn&,U.]fA` ᖋ2GG쿍7zǺ#9b962~ps&f_pr Oӡ֐e/5+X)Uc6a gBP5dj)VĆhZ" 3&C5LS4dNJ_A_g}6$IĔ8 :(* bb5@u%IӁнV*IG`73\MsEyF uz"(K]/`u;J/~:uwo"jE~;![e >2 =@*KKRE:gYZ  A 1;' DHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages7zXZִF! ]·Iq n[:|&[z‚Nc7OיUO$hB8LCW$jCآG{bm |_',j0$y$,5v>tU飝xK;:j'{k2zPxΞTϳV@Ufo>OPa6W0 PL:Go(:ոSқ[~U$+@!AEvFYO}vd2HS?5 M ;ˋg0DYk6f+M[3bb% ?"=@ 5qoe.(W p: )iJ,YzqViCPԵ\F%M9tVBl-)"z(5XA~iVp8 X\q0>3vw5qQ;Ax*aB$!T8/\TpB=@;+d Ԡ+ϕZn{d⛳3qRPG5)w2QL]wαcզgYZu 1;# |HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-@mhyqBUSsPiWå)D$VSuy — 3;WZas.Fz9~;4 TBq \忢sФ}Y]Ym/lЁ֣g:`Bŭ&kA|FwrL<8I#1tG%jF+]Ȼӫő|_5L>Hn!b;tgu1؉c:P O ,G}YfZ<)m-JL?Pׯ}H%O4`G2VUm˶"pqU/e 4p '18/ɵ~Z&}|W#3e@XrLDWeRC'flGwLonmXbk< eq7[{?l8]UG 'n#cmevmIbꝘmj3o坿Cw ]L|耒#7LC qk+`8h3ƻqiʄKJ4˰mD)KOThEt}3g3ˎCIiXq*E e*8)?R/SGR` ?@ϞQYJ326n_0AAp$ܸTM鮝hKHsbVԕ)[w\q 6fa`VkasZ[j g}:$%$:ؠekO֢jT:pY< Vڵ)buxXAL! ȰlcęF &׮glTԤ{8.@ϭַ}lk{.s%UZt$7U4F|r}/񯨞Ϛ:&w#q.CVE:@}Q!ڬl Ƕ"禔o3!ɴtU) Y쥉q-Ss-z4ͯ\< iJ>@ّI\*z^SL96$#6+u ૊ƌ*7N|J3%=vw"ywS[ G`IThlABZ{$s`He3ne9gN=_;XߜZb&4Ud~4ʢCEM>* Hwil '\1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id5301A' & |mV.AH3EYWK9nu]ժce䨜GiƒHJʬX8PFf37eĻy=5D׈s[:ͬi9J>xzLݦa$z~/A;0즇P<Rc0%rA'gc1UOA.2YB%;"A𬴴6~l EЩIKl-{ Sud~䡂Sys'*<4gi||%/ڜ9[OSʟ55]ѻ;?[aȿ %jk@wp|cO6jh9۪ΝvWW SyuO| t4F\Jb.ѽJhmOa6 t!SAyT6D57I؉")d}cf2bcrw,'}"SÜir٨ebUIP-E_νJ:>2Z%YOG` 3Z0h"KRUToOeŴ~Դdz* ;NW+pB 6 A .&@mQ.3\I/vh;c,_OM`!vjAU|V~|x'Pv9#PS zyl\ 9)z\ަ;O;lqm9qVS2ؖLkA5W>8Ip䎘;z|J Ɔ)w r{Py .*o6՝Nac\'d̟NSjHOuϥSϪϠ"Kwy!1_1$< ^-0o}_sK<μ/}zI!V}\#coo/‰Q?,h?n: l>:tϔж۽BWR& d\Y(z(evA,m׃Ȋ DI%gYZ(dڧcemIq5JU4X~ Pӣ^h~ B$'SXlSw} #2ĝo?\c$,u3"~1]Frɮ_"Rr+` n||&^L>6qf@N?` qNS@O;C]M, 6&| lYl:&إoa14Td7jn%:]L!Ypvp6:*ЉQ7=bnc{j񝍥j"ŭt:P{'{_.oF.EψW82ĿR#ë)e~-<^ԧehP["@ZM|Akcw,}albPFjN3yӃ²7C)W|^u-%B4&g 2)јףאRj}j^|6߫ LJmjK0>`xt5qt1,|9#o)i2sѡzGr/_#@%]>9n:Y@i~lBCr]שy\fI-Rqi,݁kWz,6Ҟٞ ӷ4L+A`{yMl4[,{ѹ2ݽ0@b /b9_c菽O @yHL ;!ORl:f GG&ϟ.hA3R}DCVBRN+ѿ!J= 3|'Vԝvǃq3"n۽un4Ne7 'nFG8i.$vNhU*?ҐZmZ^}Na{wB-XR_~Hhإ:X.郒nusp>-FnVžsd郹&ڿ(lutB]ΘDv. hŷ2wt_o3 \"v+H,蔤 JHTyY+#ܯ:T(>~+-gT+ܞgNw0nr[VnE;CɓPeHUtb&MH7OxTb2]_qpo;YR_"'9[l ?6γ6J 0GWK>1w3サb/yym6B/qdn0w!4w[K1L OШ'KP!NZެ4Җ,MFjZQ{ _Yu.0wPUK㳪6(+<^u;/s&4 jOt h t3_I|kx7ģ55kĉ.QWlQ{]@.E5e<ax'[-,Yj.t4i+8}&1= 9KXYjl;RXj [v%02mi2`f]9P7KM?~R覂kY4 r\=b WID 'fRW!Paue]@yt(j1"P9.GU3^$iFॾP71hS>E}t4e#l.eb>J~&~_W9WV6FL8cj / o}~pxAiM|"C^21Zdf~PyX1ySjYKRN-Ў{֤4сm'+Nu綹q_g鷽GwŞIɫ"1z %U@?%54Q^bA2NEPF"/cs83x4dD]ݰR^gXv-[7ޒvn؈/̂2:Vb9Lt֢ C'[ D.$Bs*~#R4g!LH3 "2QuOE%[ 2\Cw* _3[9éd#SPs4 to prMB_-~x"yՆjxYxG8&\L4 r1D·0d$#'zSl"g\b̒-Wĺ{UK3Pfvc>lS6"%3~ʫs,ߠg Sh,Y+ |a<@&5M3 pBY$oۥ{00C8+1d6M+D"AOڬJ5M 'i(tR>$kz=\[7mE (Y^y 8;!8fqKO1edB}뛴'%˙^50 ysl"$ Lv+В 5j\rJ ԗPq؃ GtjTALLoz֮k#+1+kuIPG 1ziY`1JGe[38QNA(ҒWۗ,N30C3/Q;+%NyL RS ~.}WʥՀHч%z;W;#Xн(}(0TD2X')l Jt$b-z= D h(aw1< L(U|lQh#ul=%?F(,6#uQ!ieq++~ymDž"(}EL]& HFyw',LAώe{jt6bx$'¸5^&ƫnh]?؅vi CWrh-+ 5,а&|1^7bY fSJ(~m͛kph 6hb$⤢V~K|fWtZL*_Ieޞ.UM\'>.$/\$wҨ$"oi'ǮJ_K*н<<R@]a 7^#]\đJ6g,17Xj+KMg@iI:*ٌ@OQBha^7=m QF%= N`O^GX@A7{|RƸ q- }#iSVCr+۾jV35r8QX6ڧU=3e?:;ekHl8zO@2VT8 V0q : .Ɣ!/ol ],9;ȝX܇sOà@9M.LbD|h Brya:=#|GitgbaSH4Sm5O ?rJEvxdX9W] nƧ7ݝLnGQL[LXvL!qjMca㣈tcK[6p$tāC]p {25X5Qbs [MiƄOJ-_QnfsX(<\Ο+qvVLZVLس @=O<6÷5'#3o=~OzNDYJyeh~'`ݸ $\P11xsxf.2>K©q&"yDIߝY g2o:8ekϖ^ƥа䧎d$ո揧HK R$ϼ7Y%b2sLUuo0 Wkwmӓ~$i c` ^a o_g\ )z `U>cЅ@^J(Gurv.Aο1P vsb;w-731i/ꉾTM xhb([XUI(Фz3 9jwn&,#${i?ap96 8u'Ta+ x vWÊ-v !W~L(T`0, b4L\IXBwI2I k:\#%q30V)ٍ<&ŕR+BWxw:?  |**Qp6oo4 8g)["67P "> !Շ0"ݲZ8aY¯Ǟp,6Ṳϯh`ҾB.Pi_lwC\[~خCF\onVg}iGwJtnF%I. Z/38M;7vs"[P[xOؾ59ٓ}AxhHkIronPZt]8'rЄGC=ŝӞz'8Ejvq.b U{< Kdy|- P2,#eW=z = a_)67rӥ@/3*kǵ7O:~5(;dV fBXMXl^h!Eǿy z=2K"B +;l2zo$vYKWAlpSH-l=OՄwU1}KG$#c2Q|hcȑUtGPxր P.$=ۯdt"[NM%MjtGWr9C T`CD9?̥&oud 4YV@; =Y7βKQu'I?_"Ÿ"xsS6\Y ao~g2+Gު?>:*j7}g!5@ {q'Q 5۞faè⋭6m@Hےq([Ӑ, )VxzχR h :cwJ\X $xE܆̎V#:t~8m1t ' _eaD5=P,ZKE;4^z':S#i1tumS-ӈfv~ (K3\t꙼#=ۊ%#?Lv&7U"k9y ]xђCnS+O} m[kæJ+ J_'S̺M/Ӷɷؿi^YXEZ ^@ȟO;6g!CYLO6%|?dMf"1Vpd$lCzpdwRfBj5/bdH_bl627j(^:"pFe,K|2#rNIl۳k(LQ}<% ۨn5]:W]_6prd'p=sXDvtŠrBRwXG(e uHK*a~iB2qo[LkKA@ѬEjO 2^\8u/NH1%/uGj^1j:GRZc=b)qe7;I*0w<4:]OmeͦsZ˕ YbBHT0R #9p@ AH\O@-*6X }+_k(>a7WinjK2Lx]0 vCZSmҚpY/†~_O+!z=|JV1" !!_o350jlwI@S ȵcXOU7W_ЭL\<68hI0 (@mϜlhjd `w祿y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn K^8`ۺ?J*l"NcSSqu$C,V;c4>͒Z/5^2ge--ӇZᏏP`0{;b,.v$!ΫJ7t9\=G' ;_ksֶ z+M4=nū}ُCQ ] Z ^_,񴅾qå.QԒSK-Fڡ;XJ# @8<Ŏr6Շoǻ3x/l8Z &,:)nY~]EFaN0|em1{ R Yl`qB.lW{Mp-m'$RH1 EdLzqc bsPe}J<{ܱke$K:Hu3nJ+crq`O_<DW݈Gy /Qvׄmx_BDl/nE$)㔻-/f=Et#3"p)ĜcH<aG ɫǛB!tbペVÕQVHQ0\XB6q?9$~qpAt]n)ZKRGǾ̓vJdc+dee@PY] P4͚}:Vi|V+c#Υ~B"3~8Z/Қ|$[[Α,{ *_#t;$_ ScjjHJ1&ty8f֒Զ:q2@aly,zW$cOFN9TJإ/`R="g%ny Z`oPsgD O> ]D#0^@)_\!Dn `wfMi(@k-] _wt-gU=9`38oTsZ:eßo"K$jP $x~Gw R35C36as;.]a @I?@h鬄^P}!Xȁ1JHW!Ҟ0,bwM|BCTij|8u$JC?d{ NUL ]$W'ljriD0і8K 2^ibvw|v-b[;`eȢܮRw^-ߥvfg`x9͉?qp(V~|<Njl0dƹg$ %tƱ}8 t\ 1oIU:G{f*\| @]VsWQtF"^k&}^# Vצ&(-K'ĐZ G@Xyr//fvCӘxx#k F)o͗,Uu,#idefh녙rs s6'6 X6r?WC{n#nBJg[d-̑_4x'Ť~8s׽!D!Gd^.}Yw{vӛ M_-_`atePh4_%bv X`e@?Վ-5uoC/Hz .{)^GN;qxi7NEײNØ*^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id540+(![ _o9h4/1)VjJ;aLNHsc%6nxлR1̛6 mY^pXR؀si$ >b=1unzBg U 2YaNt -3T@х (Ր2Ʊ;!-;wG^[qOJ"q/U v6s?BWҗ΋=/3!Km-(Mǥ|ݼr #Q %rg@mx[$( {~h7a&w}4եc>"*+%?S!F5S'}PFrI񔀙I9< 5Nc3jN !xBH{fӣ "z vצ #W s-8whʾ2ӱ*<"Vmx0BB[U:&G&0Zn$.ZbZ&=-"kBXMkgI}:{3yy)joQppW ǟ\2f "WDE'i $ %]5a%fp=eI͈ `Zx#vN.;;p G=rbʨض \92M6ܳj!xۖ#2 #[ y&"[b:=: 9O;]wlv&jVI}w~<Φ nv 4bU PP!IΌ -f"{aK&٩Bԁ0cd#td-R3QutGvS\fI#?d 1`)4 */۔:UOF~OD͂J^7&,Yq?3puʖ],LP` -W5`N: [,^W}{6d@aEN匢ᨠ*RyJoz;eˑí`)8gqBAtk.)Z+q hJv'kKܾfX&~ d+/j)9hmq/h dh>^fMnQlFldzS+Xz2&!gV"hW]Fxw'fE<0ҟޑ~r-KL`,y#i?{S2ȄQy xb; IlR5]c,Vs=f<}2 ܝR#mAd7vd <ʏ~6G<1=ApEKF|]ܺʨg UUgx ho|^+5~זr"+`eɮ ZU]q^l hHրVo7Z/20 )vḌ5ij:/:%i)&x‰ܬ0q-ns{3:b%sLJ NYRp=Ao["‹KM-_n'3 c5ak* dIR8cTWx,I&$ y Y8s폔 5`nd)(7{aR8i,ȿ~+K%4=ߔjFG$ILj3W{9S֪@WzOR,=n4Nv6H Ċ@;~~M$N.`dȇឈ'[Sd>$$2 <4ISS9,h:o5_jm,wEݜuCwoPG_@b2AD;('i_Q+U\)$ >XWH7&!xazZn NQyNXX8룀, (e6QL! 4BҴTT)ndiEJJ!3wϬtСVC"6`v_e]kMz)%`)=Qf>Nȇؽr :Yᴪ|dۅi:OAoDIݬ+5AijVmWWfRڬed5$}G'q,. J);#/,fΙ7Ȍ؋jUes+I{_1d[i^^ wp|Y8|x]aԝl-͈5X3|=*_w\No%Lm tp+Xxe`u>"?16ݕh|Ne^;I@AqljK:1E{@6DW Y5ky3%Tޑj&0r$KTUZƃ/Χj.#>3Zf9F̡M'^4𮡱f| [gJF Y- q,W, ^KM[!':Ҝ8aq>([dj|C3O:*]6 et3Q/|7БJxWvg<~Y8~x#V[* !,O ӽ6x 7BZ"[^`KPtS1:=;5F\O|t[o["Wع]y wz~N0d?dLP$@^q0|nD8t467b1Δmzs'Ii7-oZ~@N{5bףMP!/9%;&_XE1l|Fq z@"R H`mʶ >ǑUrc'90о"l*cb}i {{#&{cE*]n 3wZaݔ1(hXR\DSzPM 9SJ'Y Je6;zEeDz؝sLRސ`t[.H157$Ia8~j*aC`1 }e9 ˭c{oؘAMV,q1Pumh ETT⬱ (ޥOM G1~\NRJ#e fLx9[m4ff;XC)wBJYbx:j]o}7jFg[+S *{A8[ c \")l?Vd(A; 6USIAgwcwdlZ#xFmtnݼT@3eʽ羀z </Aeբn*@ި`|aV-ͺqN1 ]@Ϻ]-]rC;v o *t8S8ʌ,0,ulKIú sC#6!&G![VnN"j [{"Ik @xKfCMb%ש2?W)gM APUjs݃ۜqNW"!u8 . E ׸d8f4y7ZpM8OIɟ1/m.MupYF:}gkhzv)0cwy-+> GC & EI"x o>5{2z2jdY%Y$9 `IF)k~OWy _Vh,ӱv, X jq5[GKà*`cP]4('ܔk:rȈ8sZ:8t++Mk]@h>fؽtywu]mTOzu1BN9S6m%YGjaNwۙ4QN,Ut񘻛xZHŒܓm۞pE3O#[c'H Aӥj4(fwٞ;mLy4蠇p"ZA503/Xc$yT@[|oU3]ʑ%nNrݴ22VCF.C(m 7IHA/mQgB S"H֑4X-Ge*c 1KwL=k 3x g^K/YTaP8bY]̟ BxmucKk,`\'?,(n!Io )n/Ӫl@9` 90H45q*B鹢M8jPf@yPhlygDiP'E{"+[8#4XtXEpR9QH)R/'Hʷg⠎κ3X(L@ ؕk8;J^?rd/\sal~dY›90w'Z m`xV>\rd$nbf.. JJʇAF7+# _uTO&go 嬼3dM/}˻:fjH><;0/K+2_$*?UWsK|[z +)qyGy b\=o࣒E79OPŁY1#DZ 3D]o@ 0VjkʔX'z૞j Q`I1{p*ߠIl2sXsZxv āh%oˇ[$ФhƷ^&Oo\|UdMRBѦ_Hv6RFᵉi.:1"R79 VqABf}aGz'5X4<ݻwul5@_;:Ҷ .X]1s35[ 9 C+ф2" 橖vJm" 7$ANt@I1ZkδZ*6?%9IZQwM89OlQ~L*i6.%O˷<@~*z <ŧg:F$ynwZ񠄝c${&ZRS @H-U۳mϸ8oo V뀈B:Tk#}8걭:*n9[K:BatИ&C8< WjS$ f~6+xGWuB~;00>6p~ \=C5_5Vle>Yו/)Ts3ۉ+Xle &f;z2i{ ˴mFQRlGQ\3> _Ld WM0K:"T'={pt$5&K!˼86&O5ֆF0yiqјC|zބZI~w[."O%r(XU[ 8ҫ NHJ ՚0CkI5UQ}v) [۰fXM{sl=(y 8uTp$JqO mc(fR`ũj^P}D =?w*N(@ jq0fo[5{UjY%ǯ*usK6qہNfe~k5+]5Ḱߋrk3Y+Lm*mm/(VԌހ\OT֬(455:&˜8Pi!\aX?9rbsZM{OUF^ܰ^D~Rpf(^SD ʔ X%K1j>0^UV>S)/gZ]3pf&r._2JkƷQ%'lnHL=Xy _]z[hA<_ʇPI-~SwѝS)Ε7l/k?mƬf.Mz迩el[wm0H-u}xߛa>r)U NA`R"`<QSh-TL"CRn=Q )}"X/A1>ϵ(!ȗ= <'-R8 кĦPJE68[ | ",E ].K XIJPL7$VgAǍڪu]Bړv.a8ʷŕIm6n;ڞHHt$N¯'@ctJ;A^0yn]ݿ~ӝwGO8]3**B0[Woa*fɯg7Y5-N!{};b.>N0OL7&ߐ.7I*b~@; 5j6ȫ0?Ο8P¡j>q}SQc t٨A'l$bO-?p RdC-kJVt\"W5ǣ]tsIH%&ь@%>wV![xlTn^h@|H߽&sD}J(Im뤼)QdWd5~CRA5 {AL>dEi@@6~,TePG H[wYb*݁"T`s+p^ վn\iV@^4D{R3|Ezm15y] ՙz}'V/bG?`+/Jbn\Ι 6+'foGZi!(EqtW^p3!bAwYEf53 (=،%dBCp#N:0#_]?}&БK:ʯto!<;cR.ŨJL @ 5FOJ$a5-_CϭBEWXܐd~NdoF[Ѷ=]h܍0!2\%Tn? C 03R9#cԓEC hOݶp F=4^^> q9yQBsey gm8Gu*{׼#Se;Z~V+5/Cc,հ!rh[^oAA?Ӂc0C)l'eofzB/Dhy31$&L//a7S tWiq' !nAzhd"RT 4W0 -0lj)U*}G 1Ҏ#T#۷]-* =H~kJdG;7>$Tq7B*Р[*PyT$Ȥxȗ޵ƌ;xu[XтDXM>IDޏyi /@"ʆAM=!yO fP:r>L ? oqSA"R*y)Q@%L푯,s쫨jXrWynutmMCJ\"J*]kUWftpf֓ɀBڸ #‘w[+/, 'yЪ䱲*@ fvİ*!;W[A(VgGAKonـGG-j>XyCjXkt܁fa8VҖA8FNj JVm?ݓ٤T2z0Q;gN[ AaX#wm,՟IIE8IU{clĦJ$Fƨz+jH:͵ %Лt9gqM|Ux&N~qht%eP.|>Q3Qo<5 Z(~ALWܘ4 -.*`UJxABm "| P” ]0LNwɃKfO"Ǎ xSV>UGgDWQW)5Fl3ێUn›9,΁HX}UipwP~{^AewbD}dy; c=;n6 D -adp6(CPU\ \T?B{I'a=Jekʲsw%׷ٻa= Q_H 8u!3H  -:P~DDm駨{M?q9c6cw3i; Y,P0,Ruhdu!Lzl@yO ,. 8޽~(lcfo_"c g24;J3A{UsqŠ S`/'mF]'{sImNE7R!%Baqw@uW8ۮo NCo͌rѹ-F[JCHBa(fk?'@ECse*R 1y@ߌ9fwx{erJ*DX%Q:S! @"^MDAV5|tL`nZ,Б۟&_<6-&+ZY W =av] Y ]+~iL3Ԁ2o_V "L*.SSӗ$C8u3ūⳔd~ X(@uTЯo!iiN0cֹ=\c5<7ǯ܀vt! ߮s>+f$% O8V2던t&⊦ӇhRl]g:mUKW!=QY#\ñ0*oRWl@QĻ 56S5@(\PdZ}gDŽ8EyL Xkpc5|r`dP~M?l_-C ZTXllV-O9GR̺nBMu/Q(scU>c禎/y[;2;7AI,r^;&/E.ºmOU' LBTŏbwΡU_ЇEX0▙(iC-ə_JSj&^IWa\X?ER#j $e ^3m~F, Z1q륗&+7:6 S 1y+zSWwoH8Q\o2@B*w 9l{(|L1H΃D:g{x%"|F68]BHcpS_wQ~]rWiYPg[7G8S,gJډ#ҥU-=hTEsħ\Ա7дHjV͋L.i΍z]%BD{>"YC3y&P[,+: 7&=WjQ#FzQJTP/N;JG"c;ک6өG\ʫUlnYgsfgIbsU\Ud0P IO׊s ., }^6}9n6PSEᩳw`D #&]͓<#"YaIɒẄ́~Jp܂"@f-Ffj9lJOFy ȲeU f&*y7& ûP@N}]Vۿd=,M[ j q5ax0]8պ4%oж1=2u837,}H_a[PJkii~5-|DD q_N'H2-`GOzbfs h:.sKᒩt1TY6> l31kOP憧wx.\ҕ#&q_ rq`J͒^=B/i\4w$v!C}%f HsՕqgow[sp n):ٽXm2XU EKq!k:{x'S(IQ%ӹ*lzT1F$vR?N~%'YЬHU緺ZPȀPT4#r; pbBELh3KC]<[K21I7;I!T;Ï﫸^l_+'G‘4z|p۔m.:utY%z6s= 0g"+GJC_M6Bx) "FV4*l>;bmcKPD8TrxCEӸ|d)/*P}Y.y?C{3qXt;=u"rS f/qæ)|v ̈f\KLoI I݊R^-AH]Iʨ 9{RJ<Άx $YnvIOQL~߇Xi] ʝ74"x cQ~} yYYxc0Ly;Op0ÀmlGlv5@ދXQc[r+DTyI9<6>mDkxo _񗏤L18aZ|c s \M ץp:—zw_lS/=-u)xA`CN3sC(eyuGK ޘ~S2NO(璵\[jGHvӃ^4EoCgmN/Q,X)DŰNHaU\R45e`D85a)GCT?〓SHT=j\MՆ)/'9FNs*}Y}PZ—<~7|JUYS.)ߜN) :_L07qٞ$_FcIW<ȵ&GhL,} 4b 9]C0yUd}_Q&ĪR]s]vpkҀI9LTKgkƤoƙz/j}vlK7ZC RxK|DGJ1Fנ(Ez왹%H-q${=;㜞琱*,+ wS҆ VUu0>˫?Knd`KԴD\P7gA8(utut)sϴ5]5:7Num>}ٳZ+Ɉ/-N!$B|Gt#P ` {8C©6q3@Ndaats[OjDS[@!:!Ɠc)Spst7T#xeL_MD% _<c\1l!rAjg~z ]QR-ZsVׇ;4!11N6D#BjW+J^aZCBY-=2uI_>/>+9B 3s}7V!>־W;̩uXIc Clar6ɡlp gb RꚄRDcx>!zp1pjkćjZFxFg#B2JmX=4J+e +rUإΠ5O{kr_zx|nd::QGpsL) wE8]0$wIK Ȓ)7˚m̺`]qAȡs잟G"mEWrE 4kD›= 9shTEIyGpp{&$J,N `$XM0OM^ Ho5뛿|ݔWUAB2&IhnYϧ࠭alv>,zPFvRK+CSt:αS}F\Z7&(;? {}[Hw݇Ttw#1}-:aE ;bFQz;$^)EYF(;eC֊8;.`rr<00-iǀ쳍t_0G 4'ˆ3֡1y"ƺӉ[ags!\\ sglcy)6;h;nU}݁: 2L)MX bS"NSfzT B_ y9 Tj̽N6:o92[#cASd%7V4 UOr0WWXyԑ?Cn&F]˯"A8ٔh[?#^XU7 Xؼ3R9|brtLw*aX_J^9 z][秴 jwvo龎SNv |jy?7`f=phc髤"Ľkȱa1Bü)N]*?-Sw2~AŒ /;jˁNO \\+qA}: EYVO/H@)3f$Qu_MU:j63!UVˢ~ALy[!cx5^*%Ni\h2AV3)h,Y7{V]:pbeJfҕ4ӵ ˁ@ʏ3j%!i43Iv%Tfv;&&i{֗ T g9˚喌LE 5tP['?Rm:xkWIƭwoU{nw[Um/ b(9ZyAϠi ٳ>Feqq_ef}uN`985l2M6#v)5%D ^GJv_/G7 /ט4}>61AtXfcł v%߅J"ʒ2iH/b5eL+FyjmZӖh%& mC>ҘSCK<>U< H#n|v9Kndaǡ"|v'JɐDfjb?1 < TD0aL񡴷_tI+׷Wl6#~.[i.?l:B׼~9mMJraD[vۙ%͕GBvC=葨{cG"̊}MDMD;v){T.M\bN:Syܺ 抸+_a%◞Skqhw*(".=kX&5?jӟ+/8ΨT+goOIetVP=D9``j 6M,ŏǘ1gɖ2GL7Q$&KXP%V0ǽY(ԓ$ci8-6CQ>^*L˶~:2ud6JC0=,9b`*~m;XQ)Xx,-<`.Ebi _\Ydx=wAMb\@re`X7}oYTlETb+ r^w*ΥzfԬR苴MGn>:'bա% _tF/ؤ+ݳhAԤX=e/P֟+T%\*ihBLMSL@0 )~#ead| G 6(QrIJ(v8Z/{=&~rg͡v)M F㍛9E0>j*{)TiMeZVe™ 󷭈 ya4nW7O#T2q.r Yʜov-rkFl}6f%Xn%ŕ.}t@<yYt"o#sQr$DqG_fm0!\G`~:sj㿯{TUfb;? ^KZ7wB~3S  !KjnT⁈cH.b~쐭u3R%(`Z}P[I#.eזPfY2h4^8%EӐ1!1.eHÊՈgph.n?"g?/,qu̒$i;hD0& .6v)BW㖖8_~by&\h_ -on)AZPR1Bҕs0<H<\9I 1os'ҊT*|niXV(Toصzo4 EYj0{L~ VRGxZH4՞.YE0y97c>WފH\?aD6||uyIrn7KKaZ*;^n< `K`w"_Ne=K:WHWFǂ`C9@kxgy}F+ntY=/`֥ox:AA;%kV=/%pjn:#wƧ%ׅQbVtN)Р3ZwCmXeфIJAaWG֗~ 6&bCkJJobq^3O|< Zl(vȄZ-$4. q)ǐXܔcz+pqty¸:(Փgl5),l0~z-bݬob˖cgN_m,|~,")Z藑*hMzXZAS"fnmZHmf*!.Ʌnb{Mpu]d+;-z3`=UO b /+ˁ$m_e +ټ{)جw< }FH<+ R\$'y$W:pkc{GiZhݖcD*%WSgݑ9L1V-xb>3]bh^~ p_{^f"7`?a hxhB BۻBeՓW36kjP!_d<yM\턜gC4 Q.s&e "N@+J_*kU_"\ %,9yܲ-OdS6)E*҅<Խ>0ѕn#@RK3nVmlK%@~U8G*|xDYQ "!3&I:r_GFrѧPϾDsxIѠH:\_§]&+T+iD"m㡫LCbL}Qd?Ƞ[ʖS+z״ -MAlS.0w\$_yXP`+zv\ퟨ&O^GZAz*ms"14n*P%35B;@%|I&)ǯ[2EvkYNC ej$Ӫ!=8)ҵJ:#8?U |gu0CcLuj-MZFmH~x/(V=W}F>єywdAٽϕ~=5@Gu.v뤕jW0Vzs'0-\rKE1ԳDi?L$bOv;@l44j쎾>銃_g%X{i <)=f`z 4rl. &߳umoJ!PǞ%9)bZ(JfY {jAκͱq[Qn}<ƽXŁW)XO'.'hxhp&{d3(wkz5#΋YɈr(( f Ѹ\).@yE#KUEQWO`L)&,m.TC[gй*o@p\u AcR j-T] GTh7 nሔ)` 1%ժ72'k ON' 5W~?vфZT 7 }>vayڢ5' +՛=D*jH+B 0tIy%lsv} N^fYrpЎnp8O5"ѿh\E.?3S 0;zq@^6.P.%'kWuJpu:~l\OD3Z>dr ^8nK ׄxR{e7 ωhcmSz1nB_27 ,~$ˈί@\sP̩ߎ#.f^eU6?lt$Cr#$s@J_)Mp53)njf\,/pxF4JJDvsM]MG˦G'wPH64|mhhP8Q*PhB`JJ+C`L(یSAoϱ0-$l/y^>l2AcegzVf=/,H\`gYZ +#1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ"1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id520k!1=' dHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! l]·Iq n[:|&[z}WU!0>D4THf<[6sf*.@Q! n jγde7\aNEcMCowFʞ)ʗ%b2Jv5k.|@Z|,<JM7v CyEjy:>hcsiMky 2kn;3\4X9 %V)বֈ&8HRo+A͠,f%GLzPO|f *V:*vIp8`&3)NQg{^1^$2g:{,S "uH9!FR:#v2p]l;$d>|GŞ! TO'OMJDsv>3,vC9RH?+_.#1f|$*/)is!") ClƼZy+{| .`9)κ>Y}%6~VP3{kFo Yuq?b\#p`¬q⎡J\lc^ kœ^Ew7]zQB&P౿wbm d1'3,t8=2ޏR(/|t+؇Ux 8yrj.dusn9K9X`Sigp6ft5v|")^] ݂6C|ҍNhI+3s$QG7| ŽF}99ql]X%Vʾy*d),/̽dw\?C!0a.N73A q.%{(u9pߠ~~jc-Nɴӛh1 Q~O?2P$]xVVu 2Eu.!zyH!|a9 ia0GQ{^8l%β/^<2ש SRH @5 yHRb2}!Tms(1[ۋ$V*MOda =O>!ff%'Axa|ۮSNOe7l&KH0ǣI[S6^;gC茣iK)c |F,8|1bX,r^Kl"{P;]~i=x69u'h@fs<֚VBj(Y=Qh]Lq.C'$$":xaN7N2Aku"ObX$sY!teD(i!f@}zqУY#$;{p5Û?ↂ-/vT\:STudZmQ׾{~Z5!s_[rx},@s<&N2t{NxeN7#)w=E6$AgMYā֝FU)mt "`ttG 7$(2֪`1. 1 e^r_Y 1@r>Y[ VQbc=|eN:.RR}ݘG,t%m#l јHdL,XU,+II.9Zr?Kh Fu@25+&K__Xȧ =3\?hs X(|'_{*xH iJGg! RBimtTr4}mذg ً21*oDbۄ*'|;v: )0wAzX@Jvo&FuaA8(xeq&=zCtKQK hQ_-(yHx3~@X!U埑g(bb]aP }כНh D;oyz:4zs%9ՅГ3Qaǖn<\e$}{CD] +~*7(RvT5 KWVZ-ه*aȲr6?1' Mv +<򶇊=?HE[d]B$`7z[ݚS ky'H,$VWUB.|0bJG8،I|Φ5ͩgKBmϮHP¶9JfFCCxSdG2 u-MfR1Nb2ff50ݍS^E1( vД i d!,;?a_ Zn'aARI6%!9 y7E~D:[1`Ý7sF|HYǎdB+FgYZOZ+8cb)#^g꘎jfor2 $&sCGAzN0f:LWY~?XvVm%Z 8|QHъ^%BK#bqȘL֎ ydZiv`=}.(x=!KuF}1 =6 I͊s(dA%sH5{?z"~`92#L59Z9hf:<ޖjy$k>NyE3NZTE& Fܔn07d 8Ѡ)1Roې`2*S_4XC'vjӴkSVRd;N23X_%a+"~qXmH_&lMq3jfW~ܛ1iƵcD@fKw'$riC8K7Yg!SӁRORt"ΥN=yο{3n)PکkJgZCx[V`msdʷn\ #W!S薥ݭʼxlYcG[8zqVh%im{HU7v~MAo6?=P|9vuUtCQL;w@6$:X KTdõƑ::7v$ӲP ~ˏX! =Fh9';L䱫i6hFf@B8ÆIvf:?>W?fvOWMQHZSz.PTk3!<}ƅUG`6s=a!-*` YlEwΦRޮHý:E ʄT-G2?[ 5(a .^C s^!);|ѴB F+rQ4`E9yv2 ^#b[s\71T8?S!k2>DVL~_hKiCݏdaoU6oxMd ?1)+KPŚ5 @3ˍ#I2l%C ʢ>o&!D2Y(Ay,X4ڐqZMx9gs -t.c1²,||x-'7$a^#od*BMwKzu=񵠶u@KjKyM4 9یc*8n}Uc_AѯNv9<\I7-i\/e1sabvc æ]|Lu~hFd)OM]Dl-(Q(J~ XQd^)fٴXrӕ(Ek6;͍#԰qǽldǫ-Ah(g5Ҏђ2;Qt{bDg! n==q}]CTl԰h2ђoCT^д1,heOZ*/FG G"4A)^v~ڑ 2Wt:X:[0-€ ϦpI) PqꉞA$'G1tL*s4K0Uy|"(T>+IVnV݊^MN!*1',*z0S_2b6 [gIuZ{ 7`ҥyڧU7fR]hoe9ϰfG 1f5-6lʡLˊ/ S"A 2R -19J eL)g.BRD΀ *rHDE.9AH_\M6هmSk|OT-H 3U`Y3b5FdP8}{ASw,fxĝFUxM:fy`v|X҂Obk @RZRgܠ b܋ Xuta _aO'_Yȅ`HS0Q\hTiKg-p':)ט2YrE$QVT/\uSд3a$#H"ҝMn?M̂ =DP3>g]Ydz@…ۂAnYU#LyF!< yʺFp-ۉNKyK7yՠ s*9>lv@1w F|,zfdi? 5j+QFh.,"6=N".u%1VMkS{Ȳ@ BɌ!e"jM7\H!Oz;GM0ýO|i?lBA?u 2uUEJxHq:1mf /TE,A\s}4m].0[oخJlluU73H[IhHKY@R rN2}{/ytsʼnna5#:P ÐHۂ@Z)fM%jb &73[]F>w`)XIN:y,i)!{XY)dyő@X#X(DTat Tk&<xqdVyF ڐ@zgL\?IImo)~b}а֦ _u჉N6-h!n5No5tXc]faI*%;hm\q^.hB*|k9qy =P'WrG6^06S4.7. FU 6WdVrb^EMkցEVmAEBu NL- F[5jW>8y3#z׼hWyXvGvьd`8oaفcb"A:8W6%k(%)ADc{AFhNGWWжlԑZH0au![,ņK_`1bAZo݌)c*'֫V] rV 9xsMe_eΪL&|lGbG~)3l7PPW\>WƘ"QSmE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>D^1gc,sv~v̆~NNmh7QJˡ3[$1W% ,HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxue$sظ#-?۽A@:Dprl1.|Ax&Y S؎ퟭ^TWZdǴ$b/]A;YJCjӆ6)!dq_}684}/Xm9y\bɚ0`bKG*A ?9{נ(:WE7׃Fl\fMߺ7VԖkB>'=}.K 6R+]`k4֟S 'bXR|uv.R4)M/WK+;~0a,u<F`e|Z/V-5WB`2cY=oA<.!<Hu$k\z1TO-ksBA.s62|9/MWp7x0i;.=ă b-6Aim/m;M$q?ͦ%Jjb{|'r|*1I_9taR-[rB@BWLq7~p~/S`|lN%^,K XH;0Q_T\`HBX7rF HJm.Ճ6x:MK疪auJeΠ.VM sr G,.J͢!,-qGQ$Ƨ%W᯵Ҫ1E\d ;հ)Z5Igz`RzY/g5kF@s#D7`@hN^,02~YLV*L͓fITHB#'=ZJqkJ+! o|i)`8l:MߢL ?RE>}@n+J8\P+rTvpF#v8kjػyCRo`o`N0ʼ0V!%ԅ>)@:tK{f*a\u.k#{-JYD9-QX7%5m LqV_,t?)}fϛ&${@4$qg 1ɔVQx,|# ֡ZO:["І :'>: 90v(Aj(JMWfII&Kg6B_3z!u"c䧢 X1i14ff%RE6.i;f9Izx\GnV꼔3Wb%!3db_$Zmu_bO"MEnk 9djƄ4q0}-3Ť"UpwN(8PfD_e[ݒM$&]R 1He" /xw47Hƥe<'1eMa*ei\~8ZyLΣ&o=i,x@QNVx1s4哏U='J7<;?oC#y}x' ]E4ZScfj2(dŽ{7Jߒ*W#Qa=9%[.?+S2I L@Kfse׶fCk9DV.u:+HE gK+5yx2 DnsXM:\hLxP`>.b(e?I 4؏ u 2@tXAX_dž/kHu &LD3E<'2-X|5@%aض%hHk p R,ooד2 31Ј!csx 9[+?󸅽+k%O;]h"jKpP$C.os6fMNFUTcV׎kEE25ZaO&FHąkA!Nq>e#[TtN=* @'YX\`԰|OFQT@:5h?g87' <#'Dɭ) MTl(2a}_4֘`+( :xBz /)@pOTa: j~ؾKWDjlm0s$IV"m~٨8 K:E*b #9hi[,<ə!q7FR߽4sX⠼~jzx+&'~-#qi{K5dh;XS}[{I@oSVšB\C`ZRe+r<c6OQR @JM(e6)ak2Lu24l)3Im@4d֍#(U)%le0\P}x6PZtGz.R>ծ>DmpW }|a()Z|e]\>ufyp6atdc{w2 ]J؇,Nυ/h=ؚ2bL8~RaIݑjBn;"N6;EO(2bF6OyzW4!2'XJˮjCr=diS"BO|7|':z-<u34zb^)}܅np0JHrMǺN#fDE'%[.+_:g&mXM^^k9e"h[sB yU\<}?hA"^OD!uqYGa*u 6[kVK|`Z?A$%&JZs>3ʤ:C8_E.Z~J^zFDH9pЕUbN%W*;T FAÖm!dXeL&?UUAcCPlvlԅ6ލCy5Hxg"DlkԹ36I'25L>I։a$ŷ+(&դ zvyo෿ H?A̗3㕿CHu.>ny+ m7kNnpTM )S@cwVd <`7li}ٷZXpJLtȏAv[^]],pT=2oIE6?-VoW']3tj vEg`1y=/yoP5Rф+N!ڈSУcwW hϞ8H)'f84'3'&5QyFao, I7J0UA]%x=Il}8  -TIvAKOiF!], qt.vNx͆Jdj_x!n.{MY1A͌< 1 UžcV4 C T=j<,g5(,.M\y]nYgO8&6$ #a&m@I=-8c`O 31jٞ6s&yY,?\ΰdO.Biيn֮Y6eO݁܄ēNGe L2͸4D䉄 B]λs$>a /^k24|U0J9rXWqGb +`AbƐqs%暂C %׿խOTl5lː8Kym,S/[žx$>݃#roQ -}/g0 oȁ+_D̏!:ᆫӍ2-F"^<C^޲U #*.M;a_!m:-}ZBJꪻ)qme7ۀ98+H0=ll9L3}a攩 /ny4t 57Czݯ5NE-@t1vq2%[Q=U4Opr讷]fҼf7_wMSa<'ib-w:-ے6t<` v2C8] Y>em nӎ.®t]=qp_Ϗ^6c ; X'\ֈN{3 gϼi\Jp,-7-CN4B/x[æ H~&}Fnf -pi/+u)s˾X" 3%(IVyו 4ӸWqH23@cBp F\rfHo[ސ;Iz2\>lQ2-HPıvFuu7T4Jy?K 0 ^"8! ~!w#.ze!A2b~c_d%r1S }a[U|8BŽ}%ik\ؼt˦ƢCt S(2w[Zg|PINc/TIf3mT7U4}'7/v-īDi/ xOV3 <ټYȬׄ =;I)'>6Yx3aG }>Z)3y(%ۀ,IxOocNǞX% Vx{~l+q84fmȱHinf;Rn}Z֪b|APsqYoj+̀nB-L4>{qI-4e3䪒p"f5.yC ]9jc1tOd䳷8mL8nىyqSఫ߶AXI.jX W +v=[*FgXn3, %C[>E J dh<紺\'ȵ=%VǗ3@&AH|G\K&02S@5BVӗ7'6 ٔLUCR(`Besڻ LԆ3Ð\EjCN\gOtf ZU ~Q,RisZ2ASf>)iGÇ?_ɡܝxT5PM$UN+W`H;؀M&mn y7Q6],:dUt%}oZWϠ T"C֭g04m6}{*ty4 ,n҇/<āpkp$Cy9*78hP3FX|ᰍu9@F(g cf#K/ Ȝݭ_/t#M +AK+uxg V>Naφ!Y\Y 現\&,=>^*W%[M -`uP_fG!9ݦ `2iY~0S`g44 &͎Dvm@B`Dy]cv_'9~욏Im8 똱~Bin:P!Tv 7 2ʯդjwb?0ͫ6ei˫В\fLu=&RHgPHꀪK-=wR39Ҁp SJ6Ek8szA#3lVuuV_hQM{XcPp+OkD;(0@b4gƳ 7澯{C^FJ s>;T ]Sl9Y_XU L?હ/|hIK JLte mZyf5[慇Hl統~zq!Nۈ͘ ␓{r0fN1HpjiaD 5G+脽Loi0[jq<²u-=*Zv5b,^X׋=/6DvK=o8^d*2qO[|-&"xvQORGq0qIݗC^gU:hDol,bxAfEtf((0U9t֨u~ʵ"T$&G!mIh^P&I T:xsjƐ.l{\O1 Z3p+q)3}J*ԕcb*مr=ݔ]6l\nou=Ɣ<:̭#7(jtl0<)hZ.>?0fp2فDluq Hցb&EpЩy? 3#@e]czc^2?-#A:r[: ;v0<ՙ9?4+s6@5 TjXKg eZ׾8 aAEGH :hg%Flt'fQ)5BlVnXI:_q \>p=ڬr"]EAqd᪔ɳ$@ֈE\'tt+7f -3Zx9,KB39rb^~i_| LK0F+6x,Dãu\a6d}ަKOvǃmomKX0)q)x?MAH_,k1~Ki>?#-7qRAm pt1tq 1NGO:~.֯QSw""(O ͕h$8ݏrPΛkt`哨Y>KbgYZ63.oC07}naO3)!.HEu{ߺW1Yl$7hl(J.zӳV(B/]=W k)Ip{qH?U3"'san;?2]a,q3) ʤc`S` JDś©%aEtH7>(R@cu[~۞Kn.wbX+jrqBgE9 * zԭU2UVХm`sVy]ƥu^s7BE"UWGi*VS=d8+`Ktv@р&SmB2(@{8s*ކԓRF kSo$BԁIQR4YȽ'zAIDϴmA3u o}Nu_shE)2Tn$>Tq? L;Is:CG}0vTU} /caj !|19S-h6!e{arL4v/EцzIL~7D"}v*>H㡏fƩUNнtK鼦Ovl\'v] zaH%4!vܬm`ȼIIٮ蠮w;\ $`Ѻm/q<EL?Tް+WKTZ _ёL:.0k]j}~]{n8_^t(*QP%9%1)J% ]gP):v<kDW㍷0ȇ|ТcB%wD ZD(?G֭$T17c!i/hm̚O.){ g@k͂u^[4jp8˺1P2"<ώ1` Qf&(k( V fԲN>ei M05=j~!g3/a$j⋊I~#v6\{04Pm}16(J&P䒠#R'溰x*J ?cMoX{h3Jshըݨ1y} 2=ݾC9`qny_(0yM=5Re"ΓKZf{h!@rQrm73/aŠF+nI7e*Th/- tdfʩ=b?YJk ܍ē#aRvi߁|p?:NI0S}&WvJ6Vsanl' TV]_]Η4*䰲1ŖQqa%Ru&e1:b#UFP'o5"jnA$*EIH][6^\^NVX4߾zE pf`cmx/9/i! Ze1ZKjlBhk 'PED|dƉ5x h<=E7ݐ3K{lP[` ]XԳ Xc?Hv =.C7O1Vv``Jen)Fiܜ}գ-U;ʾݳ3E1Ux I8v@ v %B7l_!dFUvΛiQn>r_ȧ  ׳NpG~yLX"֍$?Xuq?!WqZ5c _4bѹWG/Yp Kp6ҥ~f:hj:PZ+¹4hPpy3b[d!raS+bͲ%p,1嶔nBvo}Hͬ"!X۲ Sy CΔ=cZPS>%ۅ@'d'Dg>nDV!<}f-C49$_Xfθi Ϝkb@|u@Zk4 t.L:NQM(hx{ X:6@Ŏ#|%M[(24#)^BU援 {;]O¦EKm Dl`b3b,zNq& ha!oJhj߱fdX I#"de|<9".EA&k\O /,I{["P 3{z_xlFNtUVnV^U98)Nhbj37nC:ʼnr_9ة:*, LI=uQqC#>ˋ^W{EuP0V42n>x[7'FGv:T~h}VwrJI8" e)2dotHd#˅~Vyo7E[EOS9[|լ!Ad] ;(z7L[锰)vdjH`9ME;3ۛ.x.tO,<} ou[jܚY82A9r7 (CH1,B'3Ujv Κm2b,@mĸOYLxʿ8|fh//BE>g|a C'wR' 7U.~GSHѾ!se;K4ݙU«POzm }y/*b]GhOr lBuf<8+#]t{0Β C0%)r4<-76BTdjc3_!Ίfx15'>Z ~J*%G3226ѬqcsFf!"e\$SxZEW95`|˫ݓmƶm!'gI /A̪刧q&:S`rO셩ʐܡaЦ-7ٌ:Ī.bBna{ncZk|Xc:o Z x0}!;\TѺT6S+O[{#Y V~ZUט @-gC}euU1lV0h&Fr8?p%Ĥj>d2XQ+mkPi,iᗙ_$t0mX YiWXHP[Ӯ>ּ{3)aH#ݨz8vB njNhHV\#2s1bQ4jù=5ԍ2\SFߣ`_츲{Yߴݖ@O]ֲfR& I yRɳOդv:B8FA^FUp8/B*ӭ!hzSx%38ʥxcPj%#-E %TDnl ~ɟo(Y*\x7%McW)GYqZM?ӝetQLsǓRBXYype7M'n5~3stS/r" t`jyɢA*IvrBTt^&D)S'b5![jm`Mé'@lGZ(>[Vƌw8mAg 7Rj/^(bNw'ʎTw h|+ }`%͇Py&10iDs#Cu2 y(b|/Ƥ 3gXuĭǫ?wItw]pvwL'RÄdnE{ 7T9DhZ^u*z^ _<yS~j8\ λ/AztZ\lʠiP=zuNu"dQnIt%R7C, ܥ#A6VPdR"۷E:~EyJcq|@~4?Djجrr)W.0-*fEf$.B4$Ѥdf|'$*˗eU/P@A"M)+04̈T9dh lEɊXە4r+u6q6*hGʍ>}-EˢyfSb(uOz37HcO ,3 FW8[(]ܳ a?ͮ[S/rı̌#)+6D82ӃssT)KJm9W/*jf+nbdbGe[Ibv'xZ4M,sALNaDg L BS|ڠ#ܳwjИMnuP)LL JBO|in=Qgoׇ'"j1℗LǻG VoB? " lI,4 \ 941csn^ڕPD%dVASWҸ(u| eoӈS"(ҝpqW !z?3^扙r媂'Fhg+JU>n!ky)i9qe#,FYC);FB?FFuk j'ӹ$jn]9_"|*NNQzM4# `pkgca| !wM|kFi$N^ Qbxk5&.u {e ^&bWyJ OK_7t.z*҂]Z$ G!ҾX&A=nSk?'E?Xߓ4bgY@ (wP 3 nAb(Ghit{ ł'-b+1<nD!PžT}8lZ[I \ʓv ) {О)UYƄY\;v \lW~QD v.[q q̩a+zF$QN#"+NHi<ڧÛwYAc_)th"@A?ěެְ p(6 fe Czl -&dó~ɳtZTì=IY}ai}Za TM7Q^W))XY>#Ğ:oǗv앮yS"&͞ Yo#@Hf}գ+'!Ы' czP]+rP";&} :$I6Vg1K (QGm>v<\һd,WD`R:5@/xDE{'+"f:>dDIOp3 DI燥!(BtոE Fgv I^YQT'ywF|ӿa2"3'!VYޯ'"Vۅ3K'IUom7rg2!0]0Ș$TznUO2OEtvgV-+O̓duUB!8 dSEMm`sia*@ @ "6~S(9]7QWIrOO!L446#hjBAN/X<2e?QFQ唚mWusXV`C/yK7L-^'9# H^|z3SzڅZf:CtE/i^YU1ʾnrRCD%m$@p, VQB8{Vu r7h}ēC6tă=C "j9#\8ZA5 @)G7P@Gxafkv  *NX[bC P9j8n wi2QMDr=s&6@^xv^6 N7tПdmd=.yt[뜔$I*dF@96FZ^b狭 6EЂ~ 306d1s~-gU|/8xY5e ty$&~LGpͷͭZ}L}_wZkRD35O$7RTC# ځʨ Kkf:,Gj$2dKRM<)y{u"6F #G MA7HND$Z7Sg((!1@I3[]ǜnu\v@4b5<@=mrKOϻox+M5DC;p#\?#@H@hL6s` {׀;E3#itm%H"Q1Xc/+CR8C>_+_POeiᜤ{乘o:3v'J. #i.ZBד6= Ml, 0S7.,o Cķ:v)!׶Zam@wBg~%]Xi 'z+|ȣ205G~Eq .Tc&RtiwO7so"qW'8TȱmRA^Gp΢Q#q]xmI 0#,\<9e)ѼJ@7fz2y$4G&T)lI$-|,عߗ+du["M0 *r?UJ|Kuˀs_ .,u!GRFjqub^4±-Ԉ6Am*um=0+Y[Q9E̓F6+ jm>^?^XZ&OR MD>$p;)sJu`Tj /aۗ,? L,,x21~+ӂd.ƀ-@KF0vwQ-ې%{] zRaY cY(A͕`Cz3dTcvFq4KTCxχ+.g]#$+%$2?l5K r͝F&aT:Іo_ Ӯ']OגBoصD um\zWpkڛ>"|}GnTg9D1 mr%mJβ/ u^ϒy9/@aOߕCqÝu-?T2㨖 snG( v:`ksz#Lf9i}%7 zH9rAl^fY":Q(i^/?Ms`%=Ǭ%;$biN_~}GþjUR*%V.ҔBي "j'E<Ei9wе՞J2O8ZRdU7R</2BR*m?0(%7YFE_ve^ m [FPDnW~**;gD$&}Pn̿ϕq M8IR{pg}nמ?Ҁ Kxv mVHyZt^nmA^mmA}vJKPA冠$biuT.@[b]3u=%5tdi%lh7uf?* /AiHjzaM8eѹ')lm cr m@G|Aw.ͣx/cfe3"[9gz5/}c(E_:VQ=e~Kؖ wH'fahm.%0 i7~dM^mɅ/% r'$l[i<&ēq4A; <c^R(v*ZX=f FTY2eSAl&Rm`,$xz'%A=qFTnpltQ4"n, ߆!3T 6}[3`T1mG|,dzN!Elr?aHRSCg R8-IGbSUӿ+ s\E;O.0keV@v,Г~gXEdsnf-jϤO}m擆!^3 5E/LlU/j)"py2hmVM`5A g.$T ?qRtP߂>Ü+)$HB*$iQ C% `YcBTmp\9 r:fmċG5T(]e`Zcn#re6AV-k![SЍL rv//qAb'%Ҵ8!O2#(( װXN+6'F~^}.[\2U!1&u;L^ⱍuƊrxx$ +7@a\*GA#emjaLBe8.U !'nm0{ڐpF;(V {R:NSSv"8P0Iw`UDEzD4HX,R'xt c$ph)ΐyHEβ@hc>ko\^DMPlUzio=c+*<Do[ඡzȢE=tXDui0qz` +~d{+i#A79"8 4ZD3sxq[A*~9:u2`Aͼ{*0ϫ3yDEhUveIfW.H{W-WՖC*= 0&r}L]k{"JPtf%z,z;Y͋75mwO+q2[̾v]^.~aJw~oգO@=VG dљ)>',nE(I @]-İ iȃ տ!Q=uf~[Hߞ`}Y[IR)+NƏNJ`kEcd? sأ=chbc𙘏sΔ:'|*/sՂTh|I,E8yхϡ-(&&vXu > VomJ!zQrH0Kng`ͤ^hL D<y%/WJɀ~Z0Xo22n]μxt`-q"tTN_g1ؔB4C6h(oM.ͪˆ6"B>$>ZP_0gl>$gYZ  1 1<& 1W% lHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6/]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4D}T5C!?(oo]B|˕U=;q\Lt}0RW#1k5sb9phCb{vU E6u )sf B{PQ)J%+93l NyvQFKэ+V=:gي|'9Z76 FI̘ɒ<}m+@a{%@T#%q_;_ax B&ES'7&K>A<ǂ '_8=̣Lހ>ꄕz hsNːy.'28z-H{) 7gh6͎柆k/oƼ &m&}5q j5x MB6Q;@;]Dr 욥r(TXKSK~n mVOD ʜx}#9ŌRpn̑xb/cTkx#/Ȩuw u2ۤ5|XLC-27,R~`QF:s.:I z-n׀  :5OKhm%m </Lo.Ƿ2wVW7&F}) U{-l9t1_C}=Yr Ti&|PQjW~Su` y{K4bUM8fwSc.(GI̦,(52P~)& SruQF1WQzܱ?/iFH\6e WCF8o jSmiYdBg ^$tيDCz2wѲRHZYOke>gMnx,?>;M1P9{ęһ{~zcR!BG`kS<O([@S+.6Ł)xwT=OSt̿b*LZ S ,vNNGka05u?@@8:@-DS{Cji%'Tyr.dRϮfJk`-A {ѡv\6|DH$sIs߯ J' anIa2,3{^i׳_\_&Û0ѻޢC8pACj Y<${3C_?h5:8%Oٲǫz(2١LOBUv#%#%xz@Ϲ}ij{KZiokEԾL;Co9._oIM绥YA`9[3?S\TH4̼_hLyGU2EVLV?-_W Jmūf$+y LX_41`Ym򞪱%חc Q50;6s_Npvʈ3CNg-Q'G?,߽@C333J#&]Ott0EP ^ϸoVk}mYݚtFmU0}34@+H_E,֜6 O=?/$ I,Mk﴾maxBp}LC=@x+YwƬ.A%E<ϑ;7a!T9g$} cgxUr?#ÔsRgr϶[e j{R[09, iR۰ nCD7kJ  /ss4q MkHfS}|'>9i5$8_jBέ Й;ϛqb'tĪ-:N7{lHr4Ob ?&`=?}q2ܽLG%ya$SP)O "i"MɎ;mʡBUv٤Ӷzc(>o3⬟hWEV%LJri5DSeTķ#RZNRbQGQvVv(w2>*pkZ8h_h 럛SһE B@O#o5QH D kd'.Z_$% 0OA{d'+qę#׌#z@PTK~|,NS5ﯤ:Հ7R\R+d\>ӵxE2`$FKk9"e\/!ӌwj4ijs{ Կ1Qj|u9"h|}')횓)@yJOc ~~5<ǣ{#uSUF]u {T2~.OV|;%R=QN țh׮{e; f?ԩx ժn5h$,,BGesSij"VW-wqr@gWz2'1 t!m8sө•PreR怾L i]#G,gT1H ހvbǛ!hċDh(j-tH; `^e<*ѱ@j%ɾ+`J,ʃ^l%gκi#ϻ:'\0R}m󜡧XQaML :-} ]GD*n MR@,!k9Z08륭63YG#_q$2VTO_l`SDED`9d"OuΘӈK\1}0U"UrE~$w ~-.7!-&C +[r<' ^Hc 7<e85S>*Ə6/eк`D"Shu[amg+K=R74ma#? YJW(yOo~7{4D|=8=HX埨rc{]q!T>nPCw6ie[l:n $lIwEH*@1^ 8S/z41_>v}"Z~**tƲZ0Zji[xњ}ZSlp RsA C2ʯAaAڋl?kܛԮuѢ&\bTrhPJVN YP+XcR7O4a'֓z¡|?Yws .Wh2Dےfq Usօ߀Y{Jp#ډբYGt"RR2vike>&AN2KN٩yZCe\FdՃ=`Vç%7&PuyG7m(Hy {f8F_UmI^C[eU2Whm Qu#AԖ/ZX'eKѲ >= ׶ě0`}P9 O~ md,}tDNUyrKMWT 8O< eǖV3q$2 ˏ(3KضRre;?T<'YZGI,)-{'bb2m#yc;C.ШbN00]yZj0iAmWw]{8Un Pj|Nr+\[PqB$Qxċ2XN,Ӂ@rrmsJWdF?b1>1!0[ܕd#B-/Ӊ$"Yߐ,YNWVs yz'"Ji#9NǠOL~mJF\p}ʌBd41+5ߍ` v="$@1.=l}y^W S U)˕]630wKrY7>z4" T=Beهw ϺKG{/ijkQwc(sn8iuSqw53S>Â3 6(j~em9{O4#Y+3ujfY*Z<,8,"ڲ> PPщ <Tqco`[㫋$ fg}opNF]֎>@aJK50[ jw҉jMm!xF3!=9yFKX_^!k&'SvGӒH{:sӄh¾?Ho/~H@\a]eRX cBl?x.d3/ak R_E$U7eo2t`A q*yc^Pc 3[ S 49^C"XjyǖԿ:c8TCR4J"$ CxP7ڀ^"F$M}휇{2Nw1 |HiYldQ?Gn}%8jȰE:u׶BZC:KaԼlgYw%ż!?GPff,P1@bs맕n0Mb@ ei?fOYUCƩmhmCueaDT^*$ hIdN:uElH@CqIż4ȋR t P!'YJ`b9 `_|98/s$Z6X)Rً]vo2M 55gN˚gD[~'mEZ)gHG\y^ }5`Z^"1)_N I'>,愫;5u 2WeyT9ɖqLM]}꣨*-Q1ޚ:]U_<)˽K?l߭x]ɘVq|ڽW=0yɮ<態N6!2#'At]UC唥A`⎿E7 *x<$ucc tmPؔ Y҉tPLD^P f}&E;GTvpٱneon*TUVu]é6+Z &Xt5N'b|C<5Q:BJT0hQ%3πq"=p5m)J^$E$yL)Q=КFhd.xg7SOLͮNY9ؚc(f\/qXǕV)( #tʁ2 O,;4DgտieVLv85|R MvW3l#$XQJ]1].W){r/YfHpZ yps`އ#,JVs} 㢗w9 :$БagB5cI?8敝"գ"2Ȱav}e4Wim]91̖, oibll|{F'3/ xq_ &] ($g`^hÛ|FXK(ɯmjh~*0w>%r<:GhVvsm׭,5O*7MC}%*|6xb*pFLJ9Y/<>sҙ_"{|*Sk`*ko7`61" m%_V̎f:76Y6)|vl_R,"fmxpsq􁃤hfISIī ɹK "=改=Di-ÔZ< !&֠8ou4VC.>5[{ǽ/!&RX迃3VKsO=ާͩ{ޠUz*JX(*r$1j I )nj*<6ar i4XZ=>j6 ,Ua`;WRP7wT;yucgtIs?Ojzƍ+p]J=;Q%4?vt0)ӠHrZ tqWG+ ܔp.L)ƛ\#uΦ >|"+Z>\(;>,IjXr-l\ƮB=8kesMarreur3*.r]𐾧ܫk,[TD̶^i`u0]>mHm+w,-Hc/q'x{ OʶǂY%[=I^%}GJ$>,kBvAl2,(7(#WC.}zi_.vO) Y Xp=ÏGI[acmsݻzXV"<~v[!h]EOsBOd..UMv`I)pE死 hL %&$,jg{ 4{U6_*uCX`ie\{>y>=@}/i*&QbĽV)~7V+_8 Da "c|@fk<0FX VvT`2soD2q^;`%Gvǽ@`c%rs2x}vz|Ga'fBœҿ=!5?tAIj-|3`="?H6]w7x&'>K0M2c~bG&U&x`۾(rƌ@1aW|Š|v994NmAocë bxsX2PD0v D&tw5%"d9K̨[=afUueG*g{lb( l"ݺMM.r7s&!s/ƶ G *>u`2?c NKz4b8`0xjp^3Ϥo)%uGj^K\!+%~H%FݖWݯG1a`Ʋ1%Dsmy2Koώ7{d6w络 !NO@VRxg+*nxMZ/ָ֨w!yL`&WiF1(rf7!bת\Ih`Qs ˴v4(Q? ʙE+`WDA-y{F" f/ G1S"v'"YypJE,΁'XN`"{W_.%b6Q:ŚW6(1s F|!b<>mۅSg$#s5%jgg crt?c:20.K\e; Sp`10! :oO6Cf:09C4;w jݒrx @Q4l?d0脐OvsfyĎ.p|Tn}@qoWyX5Vc{F?Џ$+Hﻨ"챰u }4C*ΙzGcgB3C0:I&guzI;dzP>[;ߧu]!&UTA +m96$xSTNw`fE$dQ{J=MT6`ȱ_:t=bgCRNJԁ?V,aË7fR#rY # s/`mLqJ@1 mSM:+g>:_aK֊w"Aui:bq8m4)[ g-&_o#v: !qkZ'k*$_A`C})bH/5R%D硂I`/SyH5dlCzս cR=ȧƝ+g$yroĹя zIp\7l[w7d`[&`EMgȬX.Ժ&KlTE,]a {S3kaUJm*޵ {(W-})_!vx#ؚ)F?(nv:I&I #*M߆2iBH>$._T5 fC-i T8J@ @)k an*^~PV.FN-D+щlp-kEa9ڱ2rQjه]_9VLXكަm1q&>tɉ`n9YO(GG)&<%jڡr3d}mN{{Zj&si߰LTӤBGi{;D{'&n"';gd{0DtpR_GW-,UJ]KEQ`#`>t0^5~& n# laY]?`zHeR4$_)盛3Dy\tzBPދv(TbOS:.4?Xe@mHK l4AV:x5e^]-ū ķ].x>A)g-#7ȌA;VvPuFtr},FP1LW(\^Rg% #|S +`A[m zSF$Ѽsr3|~&lzpRD%QNGRID~Uh9_BO شaudnc17L-/P8V~!5q#*e麚P׼ǁӡe:!kѾԆs.y˽@t&>MaMgz止ܷ*dkFUWRm$cLq*p`! '>8u ǬK Of#|+IHz^tͰ [#Fp']jez7n"ߵf{9)M放RBd}&Fhm8(3_Zޭu!HVpuIaBSFʄ ,H`;Yugs}T? TW5Grjt`~sBM47D kpr|J=JvwO5*͜?gT~oxa|r0~V؋:U &iUՖ2;(vf=Pp͕t`t,ѪZJP%6V^ *BV=BQf*X Bwuq48^֊1Kہ<:yFW4 6um$ϩ,,a|af ։Mbe#״u\ڮL{U+wAK>yJȂ{=ӀN#2*='vOeWK)\F Qzy"Οο&;~vyB7qpҗ g9s@JB1< _X:ЋN^T:E|(/{!V_Z +Ѵe 46 s/Hk()֢fΞ,q*oI7&LDl:n{Bͷdyl4S jHDF.P[&$LRy*DI$,5HK+wʌGJ0\ DYD8x^n\#=hnJJWS6ꉧ5?QCX@9BdZMϺR= WdIˮ nJe 0cZ>hVլheHG* SZP/ܹ]ܣ.t!bk?tTٳ䥧g \k'yءr}%˝Ns<bT=UhnKqm3pg/"B9{}0rNUBjQ]#'ɽvmꎛ,>J 5ʯ@˙'/NX.yV--F[Kj$Jwi}X`J̗'מ͇k:7}>WK`4VzjÛY_lY)HthgW,z/O< 5+c& q놜~f3#̅VMn*Лxx$] ݣԽl]n#$Q~RR躀#NY[ -Q?8kzŧ5$K(DJ AXO`О(TG(s 3* nai*S.')RCEoXx$t&.Q+~,5Нvd19 5j {[[0^*u,:NsfszppW0D[l AJ: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&z }Zlqj`2駙9V"4V¡Zb(=R&z),a*to1=y4omwMܦL5" wx/j.e("Aqٮ|V˼d "Mwȣy67wGU?ީ hs\:=q@^%`Gn:<8Uo83ħ=`useV= eVe4L}dR;ՒzEm/#A$aQq oT٥BtT2Vg+?b VvKpDͤnW2K k?K4n=AΘkmʧI֧łĹ?$|W>%LݞzSVgo@ێJ h\ %J w&5%8خSndebgrwKz]` ?Z Uq?u~鳷Ұ%C2Uhs\*6IJG[IOGgiwe@Yglr1oѿrw7D4)l)U('ɪ3@o [ 6 z&*< :e+ͺ~yl& {[,x{$ą|q"Cu#PcrzdT{@Z&N.i1 p7U5qR SKZ}pN}ְE۸~H6Q5?pf6lJ@BI tߴE Zs0Zx-v]98Sg}&NTɕLYϬےA/aJO_C/vua|uc^})0j:{(=w.ltB6MM Oa؂ݙ|ha gycI,|IcxJM/^xn1%L4V5Tc 4t쾎Zx8 ?`>hs_K#,㥎8eumpCc d+gBLi@ݼlawKcFŐtcc7c/Hw6~rzkKο2"EQ8n\=cX/r1@knuнAZ-(Sqch]gNosxNi,h|0zlY={qUP1SfxQO O"fcj 'gn-ͯW?Zf~I\HQj? 'D+6;> !,m\o+2%GuB4^%hke0CzTa<%d:7ޙCڀG`YU6t7E\qCAC Cz[4H}Ez)NcB,蓻Aerc7rBLLef zN (E>5i_O`79>] kEYNXK=jE"tT[MnȯJjWKܮk6\ iv2iakFN ûabAi/1u!W ;oe|9_`3`O)I]S߬OU)llק,ceʈz[ZEfgK$Aj@UP#/^\oA ڥ?v ala0-'6w6#pʺ Zןc\gos.k/W\I10Λ&_[8M8YKMn.]CuȊ@c02 ڃl}hJ!-ŪX(':f͡nH E2i b or 5t{.TCHbCeJŬ7/JJ`]!ؓỞpKQ(FnLyWG:q'iҫGuZrQB&XOݞoe#̇"F.e47\ [qŹ^y   +IR#VO: c!Co׋7 ج7 +t%Q|UFy^Q*`tϺȻiBgΏ77bdON6j8)Dwۑm$|T3dV 01_ ġut}޾=`SkŰkzSCę$*RZ+ʙB~F6_ dw5IPr/}}_ѭ⠲O[/J̊65~h&jI u M/<6wev/hb.hk8 DF'4++tZw_Ɓ!OSƋҼ2YqD<(cXmi1`+{`o/AĶvޕ`LF#lDUZSz.NX|Ҡq6. ІԌOR^ӟ@<4,Lzg=^(-N`Ig%Je$Cˁt i=,P9 :/=6& Lxa1:gIJpz,b۸Z@XyZ$ȗyk3]! S1PG#׶4\/K=ȧ2yơʴ•=Xlbtц4lZ͗Me>qspL`sPw,ݒѣ.n|'&4Rфo|H|8Kt-><>m-mHýhf!}PK&6GU7ӷ> ͞Mj\G?>5F| >ϻ*lW _w3֔X~wO|~?Ȁrb~䓬a&:.WyiXWCXb;=ʇD(u>Σ5 :H;XgO.ID(nQ Mфh jy iJ"AzA0"`L"4[7}}VI8nI #{ )H2(H9s"ӢA@prOީ{dzoSNfף\h)dmc1yCe/%,KO` *HR7Uτi{cx}j<,tӫ+2VnSә,BͽHe#cTfp o> /e0e]eYkK^x Cި0b1W JTgw>QijEVc,E]OV<>׋2- z1 'rsN4>o93bD&ھFF1ފ45ߒKv1r!@c?"L*Th=X(iJWZvIfӝ9KTTOV5_V73Ç}ZTwkI^Wq0ݡP<7.~P&D?TP7FMt{ R iOL8|bDq?'tаp9ac Pt8fwdB?L3Fy~酞4* _Vbf2V\HBJ-Xǽ~f!?]v y*/ 47o3yoN1>-F`e"]UDx= 񌌟N d;h;NV7 P@ꢪ02(_KA`N!;΍"{$HB&!Ql:K7 AĻQ{դ%åC7v|[ X}hfdl*HY\C|gX!Xd9x}nLM^|0PpU AbLFАyG%-0HR} -M>>u~NuӜ =%X>{n~IS$9MY*xkr^CIInX߸o ^V?!Ieݓi~츜8Tlkp"QreW"~6]7uv>[|{y :1('3,XD1ꗾECP 7F# CaX%'6&4p V'2ZX/)&P`$}b}`1Z=>msS.๞ qsDǡV.N~@~42xIKQRlπgpJR՟S;wGGUu>(3``d8D "V`بxxJ*\"\=sv7'?t{)kL.X8т?n0J7uIlh>LtM]V/;#U`,PUyMܹz,j?:Z9*t*ÛVS8y 2u` +[?U NoPOim%LDX|У[z<+9,O݈.qV5A\F@Q{ }G!M8жP^&IЇ#VQ)JM!KrJCFO 8e^A)/.u|6^؝!_(AcN}eC~۱A~G$SX˚ ޸رCzRLDH"L6SY#$Mc&H4h!1UжEQR// ζu|c36-L={?団&nBmδb d={X#y Lz`'O mozY5z8uEޛk U+̍L|p,z9=DȀ'JrCi4k QV _B]1BWV[/d ۞\TS3F 92[Z4E`q'd7͑ZGG8z0WYѸև}ۦcjE.Aicvh]:F=_63gm;û(떨p@H p d$9(fN tA@jEg S3M=He^k. R^ğ'! IbJ}Int7C٫ q@agRqggG?@= mDҊfnyD"N˙ dvvƃ gE~;褖nLXNI>;\ )3ũvWF>4@] bnIbrqR`& $5kQ `hlEC !pU@kBpt ԶBzf5l+&m1Dt7I!^ռRhd{o}DT-lC0B0}6CQ93W#HC!|`lE/b_D xB LTƐM}\f{: \3R 8u#Ax,wzlh@RZ*jࠦV!dtS1#k&@2BpϬQ(/ J=|+1OYǵ(+p ϾB|h틻eH8(*[=کv/P`43]^{3Qq5XN Ck|,-K7GyC0=lfK 4Vo}HuoS30) 2tӐ`0Y t|Y"WDIOG!6b%_V(^N|1[yƜ~,Ve@ E_hO* (H-%A _ ':,tqv0yxЀ>lsXQpUXk>;Jjťk aRG%IE2 JJR+Vl+Lj\ك M7ϼIEqr̞I 73\#ʠN^uvqP9Ҿd4#svXCU4!O T47Kx~! K;CȘɂ~'D˦]Ӱ_*JKj~][ d_ҵaABۥ¨(M5o(|y+['S"q8I>R\xߵmyoDRX+r} OMv.tn"85s#5ViGOGb#XGy.p9 ;⏦s}~ou;Nj]Y GG囏?*@XS'g 1X+V^qԋUaDQ?˄+ɏ4A\dHbk4;hi7=/ Eoo DS%[,MYحҿschL;Zzllh!Uk+g8Lu=RI?]ƈ3r:7u;oN#2>ۥ:7}5YM"5,z9s$2^GHk{hK\{fKx*€4Oms@c*P5l'ٿyTK#X5 * t\bvBI\~vVψ諿-tɖSëmIu,3[bkeYO)ߵPANpW.+ W" :{m'"Wg6w*B`^5:_zM. )][#&bI,;>ȗYF1JAedprOC:P:l0+g5Iq\6wڑ*dT2?!{OXxgNeWPy8#(?nɔܛ68Qy >9h 9&xxﵲnuV RC0uZ*8`0m2TZl^oc=r~bǣ)xK1l^R:T8až uQy 7jT3mN?Ciq ]ZĘI1OT;b#kS6yX"bqAnղCA?%39?MQTh1n\} qZF)qI*@l0̂BR8] u`WLg]&1v[+<9?;Y k MȜ>IӃnĨ-sÁls*?ṳy+F9qs9BN8 ^R/q:sײ nYUH L8b5| %aqS+r#,~֜ ;0(Dߎ?j?EQ6xqnx'X&lۃH'E;CE|.!)"ex.PeǙt˰:R( ]`?NSuѲڒT$w 43@ T#uRn+p]2?1iioR#Tk}~? cԫjeH47OXgԕX9Jh߉ڕwֈc6S|([ODT)ښ 漃TS@ZuyC:Ia?E //,*~>X KЖ$r%.j* >sg dKbov[g\+ rAΗP~^7ʥAޟ$5^cS7}t}o0+]'+w5fY/\usX*97m~F>~Vή ;rT+5iB YX3LٳjX^hevν=-!<ƙ=rpqpS2^oSA~:1Xk6׿ pBU ,$A~%XpHN)j)dՃ!#ܘJAH! &`G|x?xjei/3bAWfPFml}3:0v}{y46q6zh~9T^`7gIRoC6Q5mm ^'136 0 dd#PG\1nw  8An]'?Mܪ0K1ފ;!hD0Zk0'ًĕ%AY*愡<_+ WjvȮN Tn%ω K^NaN@wxMe%wH2n2:R8!Ri}+ٴTRDvc3͡\ {yHv-_WA ! g٥$ K{#&|@EJAy$iSiҵ^FL0žgdG&]Fd{q ++.qx= c %Ri&6N;=Tf .X"y m+HRw+=k\j*_LɞR') 3{eːbȩK~ӌ]]q&j\Z/zpN G&,D+yoH~*^DqGM2+{!};^OjdLaN,Oծ{GFg9^Di$PīUy FuS.ɕT~gж1(jۄK/)rjRg@;_;N~U׮= *qC՘;Ljiؠˆ[)vB=A0H0)ؘi)pPDR3%e^cr'*lV^ZbXW?="SJfT.<ɝmj/Nt\4#P_p^OW~`JN}vc",rcr  |>*?۞v!f2[Upev$g򘧶;m4Q/Z?<ZnܕZs 76Y&ڗqW{D>0U ِRf03B0@3K+F/0'-bi(iƛLlэ(nHUoy1;?A# ir;]Emgp9z6lrH3Qłe'T|ʍA9͍6E6t놠EG*\]`,ʩ,$kY$VMaRcw#]Rq pt,δ@^g@D1V^ :opC$8swaɆpQnj?-x Ҧtjiw. __Q^4\ Y oCxifӌ+ŷgxg*:`멚S.X]pi =sU4C]!uW(' 3{WCk σq? ~yǎg꒬4 bm%ߗBO󨬻p)*f`$WɀLt̞0|nZ[U{e G\'t;k$ mm8fX\b Gdp]XTI%]UvWʏm|^!GKCkPABGb ħj 5a /׷+YpFAI?E.P+?*eIZ^ZINi`Qkyԛ:]e[jzL vܦ]'&QA"i( IlF@(^CӱA0i`w|/&-gY=Ni|Nd͐; tb[OPbsv1Yl+ Qp4Ž# {Ԫ<$ M>V͗8^+,$Sql®pj$k#e~d*୒^5K!?1ӹ~^7 a^ J,S 址f&ZB)0BZJp"0)̘oJ2ڕH@RWx"n_$m=gn* T;vFcGtՋQu ӳ) Ύ, jL`4o{ !Sfj(􄵏e'|2hM ѠmtdֹƆ N鲥t_l`{2L7ٗU.I-x"ҊQ%-YwV,ˤpT5(efJDGZ?XguyIЙȕvǰ?敵zDn;eAl ߡ% JGenK2x҆۵ؐAR eU(>/,PMSw,*Wl,f `1z\*d ugBg5.d{6S?JN5j/O"ܴ[d{¬kW;yXM#}u' oYvT\~:!+ χYÕ@>EDu+^'r !ߔ]1qDBWvԷz3Vne Vpm޲TTw.>l°HvN-U湙ڪ;=eʶGE"QrJu;&M^ikY.1Bc e-Y?Z_;nH= *苕گ$ջP0|0$rR|@? ͯ#ڇm:*1ꁡ>_2y[!F; *~VtEwխRˎɰyi1֟r>I210,DCQX*v]ҠĶSu3_)z'&_KhNI|ER?O8Dns]aD+8$)BĉiRkOYp}.j֐x\DVk# ?<ei:M ut:ómu?e5Š2ތ )PaS2wྡ@t2K ~Fp͉n|n5]6c' ɩOo\ p$=).2RE&&lj'-V ܀;~v[B:Y 4uS-pIxw#RA;b?9vh(:\щ1,g Oqj)YTgy3^CC|/Lw܊ـ.P<˸ {|bM]frka)F8ZÛw4t@4]ymؤPP=u:1vnѹ-*2W6_ 2  >.:Y(qV&Z)hY&cH7;>'-e}v*]qd]!;n,byJh T,+R~;*^bzՙ4K*]g_h8 ݎAXNM=*3iN&oJ aOG*6h9ӧ!ȸ7M7knP0SajJ @A=A16i6ګ1ϙK"/ZdayNflUi~ h8м$KO uKd Tůx19`mfՙqlͶ\uM} Au?噓 X$@[u GyB$=NBQA]4찉oP&Q}YvpuNf`̵ę(hl!DM}r BodU9ZNw\w x…j,}wS; IE*&DFoy˸ŷ- ӆ*AyGv8 31Gb+IـF؄++-_dP=),u0=Te s0t?KdX./襦uO(ʤ-JO ̨ؠ`A0BD('Y'y.Hm=jFcz=}5&7:B=Par5Xw_7aUE1ZT6N#DA<0)u5ƪԤx˔.STYwEMC~5ѨO=Ex 4egXZ 2eEL!B?O0> [N{hde/N/kN7<@n֭l=d[H>ˠn8^&ԭҫhG&sj2aðM=>YI,N^r1R1L^_ALFy'[=h˽O/@4|c<h E*vG99AyG+8 B7I9fE|O'ڌc[V0t 'yOTGC:{nLigg& _h9bEz3qȥ,qry;˅,S̰r0PښR8!8ǰ_{Ssj \fȚ|hJmTe 5 s ěn+ˑ@~"6H;3z'>Yw[NѪ}ڴs\ݹ_K R/&wgTc9r#,A7U]G_\c C26^暱_/%fd z}a2@e7>O']6qR5"mďP>&V+ })wWxUyPU هXuW'ęaNt ֱ&u{Yj-FBL%z x0ԥ u9Gnnk-_Djsv}I]& L0[ O`o(}87}N< 3y-vԑX]FFԒ? K#4OLt}שhx/(C],0Y)dٚz{!"B*Gѽ6o&keoʔm`n9RQeC3g[3udػ_e Y`v&vܭ6`"mk-pi/M3p_sk,9}1|vc;pR(VM= D06J-1Z#%0x)3[u(-0 I %o<:-7?y]|(jhEU4b1:Bt%F3v uWGe9 K$w0ǔ/:oSYu_6&IelFZ9*0C-Ñ2Y."A-Oe"+Ү..w.Mӏ]@ۻm%u#ϑ2bqQvW ?`.Oha*{)m*Q*@)IX巒32NtX\;2CsuQf.BLR3N7b(2G mQޙ8'rX]DKlhvیOn*6m&xBS"t]ͧ.ZG;=1D;Yim̪U2<>Łkl17ta핒N/@Q .0%X5STgjA(]h25un+q}lKq&!1rU<+_^5L@*q~^Cz,.j11 YIS[KM 58 ok*qόI[ĭ_<`N`WZb.g9WڃF/GU_GZ bғ y'';6iƏ}qpR`ĭܑz=]νQFf~lt_o܄ !B?~5ح鶒;=YB%4(4[VZ30C2V5<ʋ(@ZyRW$'0U͢M 5iV]DèUah[y>Ğn~ HL._l*"J1pڄPѭZ+د^vMJEwn+*@ 2O&dGVDC ķ5IN6=F91uo?6^4ư_%VݕOH]>\=o1y%*A2sY5ͭ"21MaT|qdeVnٮ.ۊvpJ\٢hkW$6FVG*2dGtM`T+0 ŽN=&HW ;ȃ_æ>k=m-3T>UO`Vw ꧗YHqFzVmE1 -D9$.5^QL#q$ܴ LZIN͍@Wxr|z嵅 wo( W[lZQ\ QM7B|,;`3ʾ8eK/MH( `7WdP!CBp-?3e݁ED=ҾP\Kz3oJC\i&Rd'hAI@hCi *x- T+GbEj*/o,H:⯖%2MvQ.gS唼[efgF4P-C ;TGTf_BO SRJن#YD;"0 8X_TTLOj0J:?: *rIx۸ld iv M(DU>y3,C)aT XU-T:Q6s`Rգ&$?+؍T-OзTl,I!ioҲSs\@-[sI^o9}$s8c`/7k˄ŠTӸ[Cr1)קpЌRol؇S60_ށ*JGXDSuQA/ ,jp<>m5oFB?44*w>-$ͤ":ü+]by2핀kAxVƺ68r -M2|WP*j?i-ulMJ9p~r tUhFjpd[I 97ao]gt0Yo^̲ +ѠN.vNk8=h_aBxz-XrG١jͤtRN;4- 8)|n=o*Wmx$0ExI7hИ.M+}61Hˁ/$W ~{ѐi_G?)oY(`p(v׾*4CoBEIO zsw绗'v p!!nBlpֹnaeɸffb"UzM uZ`z4%k0R %(p:05=x`z=kO' Z_b::ِrWF |Um\n~<.h,ϋe KE;Cr&t^Ot ;?w#˽[~q2|kg2΅N|`r-cہ&&O>4{\;L k-Mh1 a^˟JA@FR;$0J+ x=4c>>QYl')WM-6V2=Ι3A"WGqfYdJlf/rRs a=CE+S˹>XL3aVLttxAq;T.۳S*{Ҽag'΀2r0W)砳A`\C9'IMŬ<?H P++4Wpp'/Xu"kkCV$K~;ֆ ;p x[ptXs]e%ӫ|6[d-dK\f:I&VO InyYM $sٵU{ͣ b[GaD`(KN݁eҟE0ϵCG{B6C WHerS͕ʠ|{m?&XL (IGʐJՙv JW"?}Z o(un#.p*l_%Ug": H%_v: {IܞFG8gpPcF@wpY=#Ih ,RJuKg}>H_yH{ýYqN tp/1֛%ZUD E@7]iM_KE !^Xm?RO|ѝ%݅8hA@ǵ,GV>ǻnm^mۀϡƖ6 gЅ`;/ݮyٷ:Jlȣ ͮ@½2pX6چ-`α|u!҅tYdX\FڬqlOD^RO2BÖOŦʜ{VEjʝ8FMA?ulA~!s<49CAzߟ%0(:e!er-7.V*BNul-jVU-۶eSSf>,Y䃎7@Z[QLQ/o]0H"ϑ8Rg/VdD(ev9=´vp7 [1d@I[B%+ǵdHud!nvx[܏>:w {+b]5i`}v6F iCbTch`Maa'[e8Rvis=Gt~-ww.DƇzD oAC--6zx8kt8"|V\sF&P|~c*\ͼ+1 I ]IĞ&ow`|$Ty/ &(W^'^7׫Sß9GԂ !aSRN{cvh5ʸt5̲nPAZt-Ҏ1NgB;d+ӪV}M ;^KVE&ۘNZ!:ȥI2;OPpV\KIt~}:ۉeJ8ofOǩNa4Z73텿,QiP7N vҝnlDY䂐/$>ďwDq֐m\ء @ ̧ & JI]Y&Ų6{D$_Fv%""+gVf ;p]vuetMga᨟,lPIA\L]q!uQjW j~n({AdEtb-ޔlզ{>˖j{wEv%Aع# <@kH)BB bq C.7tw`݁8"Pd<Ъ dNΪ:p'm o{{dHL$ٕ12BNcJK?Njdszh_#b bZF & ճ;3`v,{]=4?*+mѪ*;ow 7Τ]U<÷Nگ [@8Ӵ9Wb4RfȵwbLnV5\Ny!V-a)~͘ GI'A,1"V !y0PLleƃmKy/5ط%zkehIU 9D0 -ㅍa#F^h=ѐ8?NMyx&`Qc`Ͽ3! iTUn,7zʍLDGj ylJQ;辶|=@o@zo(53Keg*WkBe}Ɯ)*50^n4t,P^y^rz=,.Դ3F ΐ-Ӱ<Ei섣Ʀ <ćq؞CU׷6-v4,*cJӛx 9.(`DN?Mpό-Ƭ}bYwAT}<]^#TKĉ9Pߏe'js~9`Ͽ5Ҁ6i)^\"&CޒCO=~|QAzD%èa)y -% (+ !Rl_,4$ycqa,P- D纠v H?YxuEF܋ooJ|"ّRF &wO$;R2Η1yJM'2tKVZ^( b)VAٮ&d=}/M +BO* ZPaJ"e(86# ?wPU ȗ-"a(61\DDg0t "Qÿ=@ 2Vf@o5S J×dZ)_q!xq>4*u>W#w 8Ma,+#x9fO/uv=j+J6z@K۴.zx~Z"(AѝT 5ozn?"TZ,?'ZI1:Mqڟ=: sE6)C]*ן\ ~h{d $#1:ި.!%!'NoHf \GJ&dƹM>#C6㕩Vi;dC3]k,{fTJĕqw$Gsƒ >+?fȾU\ЮJ+ VP:!`ۀF 22SJk.;Z`'GWHf,IwF*j'( y=,/v1!aJ`±l-|P Y\4bd 84E%6lh4Iz;G!t+s3'7{iK`fA{g_/TӻP$-p)z͜(׌ﲵ#1ˋ 3΍F;;|+zS}(1(;rTAYy@eo sp'lऱ~tѐr#f't`@)Ir~dOBkl q۠փ6}HhhE_Tq'jƮ~(o# >VDd"3"o]jԉGŽ=h%EYߑsOusu)z[ c a#\pobaX]>(Sb}! i5Ker%ISi#0=;~0ڨ[Ze~Ioq0 wBg&=_Y@$U}D寕 ?}|V uꘆ]r <IYZg/|K~]c]c-1_ʘYҸ0f&'i_N2TmẄd w a*``5Q&: ƍhSvZY }[hOZ9g)Upj2cŘ*Zs (‡&hF>SSy`FRx6RVFBM.(Sw~*F3QK,][!B$g.vRu«Ca{z`xGoV )i^KaQؤݎKxYmEq`J0gZR|Pu YxMm>Gbau 3F[>o MhMP7-"'_\E&pJڜm-8[}]i? X"6Čv;&`w]ל'VMo%'lce-bD`qk/M4iX1+F,R׍AaGszbge]mF3xdioNN)BO2{Wt}?!䁝F.v xO2NNi66J҆2x@ZG1o=ɾOG?鈯6#8|WV;ґbbccOaNQL}R)thhmHyBw[zf;#iXކ#bۙU4\5C*3YҬ73"+|4'ë>g*Fl8_I)Z,ƿ(IG炷UNkjZĕNcC/qo-T-9/wm14^]HK_+mq_n0dtvLOC::cTР(.W )7ϣ_IQrցzIo3SgFpNбk)[Yt.rQC q{>SD[ MH3CW;=gRGlðvBc~x0E+Cb31|}RpӚϖ\M)K^u0;m+vMb]CȧE"H4̻UCU2M! Fqo!82 ;prn&;jO枬4 -/ \M/ e=O>xԣs`ìd9&z휂Qﺙ?q?{09Ṙx--01lZ.?c ꂟd>b. W[P}(;qxE݃8Jtd#/rў5x)Cq-umjpj>EqAj?RP |8:&jQQݑ(1D"6%& ӧ 0o^ U4ܤ! Pۨ,6"Y^`Z;]Q#Bo&hFӋL' 0W %7"&ĵ^0JbOf4Ȼs^yZn =I/PBF2#9G׽?͍Cu[#Qey gE k:tyqi"訲3E V\F4P:߿\=iS2r|߸ :|, Kg+ƌ83*MdӔAEUf?\\.׾go%|B |DSjOvhlΕ~ݱ,ҩJ~E8l8xpv>[8 T})i:p':xyp^oGm[Wgd}Y~Y5q -r[ vAeQj4[.u#ۖl $&/Dx}V鲥w0_lEcz>sĐSe1NZ?GW GR%3CwA`/o,[C 1ͭaD(>0_Q{%*86z&Rד2 jډ$9v6*^TJ.%1CĘI5>͈NRyrԐ580^Bcd6 (:/ *^mIﴢB9ɮZQ¬l@AۑRpBT@ٓSuVkSt ^uCB/(4u$  _Y`wkp 舮.3kUXU4/?qGIP!J|5݊X - PrO) o.|<iXBtOd-WK4kB?FB`GM(=| yr]CDο$DWV?^<^- 37:Qp94M-㤤+O4=AH_}2vÅ #塇*c v4/ϡ@DX.D7H9e\Y3ץHUf"ƺk=k>pN>U#)N#Q4i~¥pd[Do]@90$}byif[6ePe[3>GDŽ2rA/2௅j[b;ξw/‰x8\_6K5c#"ΐͩ~"d #£R]ߑD.)|IoCɖ`M#3 W]TVuf#j >U NM~dtB5aԵwL Ej]Syt{ x,#un'E0ݸǼtRռhAw$za+ uMF5f&i]yD(Iv_U5:͗҆.e^=߰j ˗x,C ݑx!4Ƽt$8_:Gfkf'9 A+iN,q>h)%R{"9|875rhrܦh ,}ANNb_Kq}> ̔P/UL5&(Hni%7K>2{- %LE*CK!ge@)R;5Pcϯ~9DUj_ 9`wpn7CӲqH^".-[&c{A e~EH_i밫[%-6à!jz3󲙘dk=3imضmAg{%uQa`M 9K}x/=$Kz-"g Yq#+(6K*@ XhqU:`j b'{clx3NgN_ 塽_>\~,(!ߑmG]Erۂaә.2UD@#Ay쏰}8?'dӄٸ=:ÉU!%IH2bG2(,`]GL0hcH&]/7%haTqz-3D)EcMb2yn=ۀ|'#.4ػWtdQJO%?UQ(6\o; Ś\~oZ 'R`|cɎ>D*M(7z2kOUl;S'#N[epE|eVx FUqgcqDrރ2Ĩ?Jcts,Q7بZ>A_΄ NZs4IRmR Ƴ]w8׌} BbjRuOZ7&f~2 uQ_@qAVWiDk%U3'L@"CljqƭHdux_bb ~2 B.(vi3_3@$ZA:HA^3 Jֱ5{Gp 2 tyAX0uӠwLQSC3h'HCָ:0t7,pEMQP*%QW?ZOtHb[WRY6qdJO, _Y X]+9?A9rAFv',\S*8r\jmbbٻ|[a[I+Q;-6y@z UF %k]@ax\LHz@RR KT>uZɛJO8B`fN Y!5{ش $[iuwހ U wf yAgPx(:d+?Oo\4!#~IQ<? mz>@I,ʓ~23P GG%w2d /ȶ7C]G 8[J,۵ E~4h`~(hjm|Զ(dFؤ9dA3J% HAw(yӳa+,z!J{Ev;C!Tt갭 ͙Wûs9֤EW瞀̉I:8ߖ>zzycfǓWٯ <= ~hu_R/l=rݮv4?)y6h<6I$1oL6Y»k`"(ROݗ1s_N: @jRhd\3J AlGU2N(p0ǔ=ʙR+lܷGȴxGX\02YLi pÌJ7kN- Ƌy9uFeW@{B+0,]H` P0G+<=*=>:\Fr)yfTDbɕ" _E* S?zW= ESU\] &P0|HCh9I55,*o_W;KT'.ú9=gfɿ*TOQ!IDQCb>!-K=z ӱa!ߩ,X|wF'oA[d(yӴV$a?RWʇ![I0bpwkVKǂF~7@btddZgp#{3Hnc;;tCvݽ}Z#޷B~"iuMo9\1Szr~l"@Y3- .3c;{ȮT:N2=C*=ddYG5*"so8csQÞUִCpu$37H;naϧ$=,3E|<}CMy&8ePLCk='?hmaw-{RJ68{Hxh7ZH]ܖ*nǁo-dO#9E$%H/_ޝ)\?Ո";.L?8d1SȲxү+M HS7 RkjbMlXnaV5r{HV%G_ uC;PЕ6ԫ6w\[UmGmb;2f<3SbY)[ ~:ÿ(X }v( r*L!`IJɴ &S%zZpcfAZ+W;H3k[;=)xc_έsF+ސ.&LCyt pdbYW!GPDyS\=B? 򳓛KƸ=o'~['x~%NC 9 b ɚz'I :/97m@2QDZ5a8 p 0u.FtfcJz44H~>s FB2)'P7Q\Cnm7u\BlfMI݇+>ievWK؊*×i389I9˾X'xU_ Q5(~]^zj#LEܟ/a h;<+Э"Aɰ;T^+b4 لy -)4«?Z.P hf5TȇH`=xR'IaBli#zXЍDX+٩10LI9m2t^>mkbE/A<8D{Λ*Qpª:{d*w͘ϔǛ\_RBWDv(MFߢ}N\'1u<6㳠U`(uKa?6D'͢z Q "h-akTcԕp%iҌE(!ixȫ>\q2xPק͗^{ەhuw |n)bo[;y+cK<Ħd1g p>І)C| 9WH:P t[痩z"?|18Riƞ Q,gBGuo(6X0ξJsz4Ww:*;&BEdK|P&n<%^e:]DTޡ@$HՀj&s/!euX TRM+s^FMݚOp̠ƨP~{fd!j.]iZ i[ Ϡ :IZ.D'="y[/dWzj]-J'hRJR1WśG.Cq $ZY`.Ƌ}<*8l\)9-c ~΀*ys>1K뻛\`$dTJl8H9߀Q1TB@7"bY.wG(' eU՘rbFe R7V)n:@9?Qdǐ7a[A 4y?.s[h[% +upl/ӷQO"4v.}^y} \ASɯ|E"Y٤ȷ#V;sxw4Wb5XBYy:,`'ȃ9r?> Văf^5ӻfJ5:[RgW&;[r1eyLTD(<؇{իKY$6 0Q vL(#A#k˵?>g S^P^iQaƲ\؈HD5/7/ućS5qMHA9O˲})l6! Zxzat]x1KAwڨX4Ph|,e<}}\WѭC߻%.;MMGFՉnA,wZ' ]Fے&aE~evNn[![Gp,0\ :ZlP!] Sk}H%eRmM ^2S1e*cfS==nʫkSJ3 (+Za ғOHv/k). m 0D[ϵmC2u0D0B^ot)FЋھ(tX1NO p+ K#M1϶a"(0p!IiVpgJ(i3lZV|¼4%֝c&;< LY??Ԧ%H&ZN֕@=kQv1>U'kFZǫ\D>7~T2?Zo.Xk&%֤v*gc4&ɩVUIP.mͬ|7 IB=J|hmhoQR ڔ1+1/|03/F "iߗmh٫eg [09lѻ<_e@cl-q=ݣ(rv>tͬ\F8gHaf XeNEߪ?.˜蹾_OO{8&C2llDPҟ<ΖcqfCPa\'v>Q REX7J0EmCxS.0_-0F %CCX!E\0 )a v - $}'5?V9N!SJScp7Mq ]w_'\˿2AJfƖ{bFU k/@&gMB5-dl'xU"Kp)ax.5Do)X'f#oĵ$W/ANh&`wLPp͊oF+dBSv"`u~y0e2Ԡ|E}Ю+vug$wM -Θ&CuE]X//QcvP3q;jy,rUV1ઁ4+7?;]̜d6sjb,)5J} Ė-Ƴ>YQxgsKh2NB%39t,qLW{dO|>HX?*3qlZoU073x|eG,}T_: M:9k5u2QөȨ7F Z܇ "I=җN \ [aSI ]~^p՚x./^:9l6"x< E}R s $z tR|_=,7:1&fߍ-+zkp)89G6P4%GSrxdd۞·(!%BL'pW%;):Fs tҮ pZPeQ!Zͦă܎ZኖDwlPzY m.$j ߻kKA8dk~#w5t%Q0↣cQrQ⛂9fǿ)|[YI=kx\;#;hjIo.}΀E;MP 5nabYD$$]8ynȌMO Nc'.8^ ;k )xx+-K- HJzOdrڤ%~=kKyJTgXLdMÀt#\5) cxT!Ic=&Vis5 ኑcgqon;}*e\>M(6mc};9:xmq;%FP?*pLW=ӎgG)s[Wq},A\ߊ;6I`^pQ5ĀВ]:n: nK>Nm ug淉v@?(![.<L2dplY 끇' !Pe0Ck<;sJ/yf7>GYXT~;,~a~wV57nK)J .x !۞8\>IDE|e(jYE4n@[]|_F3t[ 'rζ2߳ UB õ&W|F-K7msJO {*X=߄ #kabQ=ΓOyPdDhҿS)CQ~k!-灔r朠)mYmpMWGZ- 9l7ǜ 0 ~<zKp\Hjmޖ,Џ!#m~x&~rm :.4`AE¨]shLiPX]O3Dyd#LԊ)Woޘ_֠x6Xal^TO2@l@DYD ƫT~;>L o,4@8? s1p~TVѲ><7@ՒΕiPQ{uh"dN^-^"H+,#骁y*]ζ.rQFM0rxؿ)tg\Lp"8n f&nV:f,;N>tOA?L} 7qΒKGv \ ^Rrtmk+t+N۔{கH1 +GȮ&:ڦA%, j6O=ؕ=9"Qَ L /:^|7cÇի RTSUo?]axd<h FWpa^nrU^kޞB 9llf3P4} 3|cInL=d'eCy{uB$1H`YG}';[r0,ڪm1 '2 Fm!N2&Rq!O~3u!Y{R?y>6pB;S8G`\!.}u843lncb"p˾ΥtxV>ےr4O4,Tn*Fk,yc# `ܖ4Y.;$;q\Ł 2|*KKi%Ss7hAPmZ՞ 忡VC3gg#%`RI|0#{O5HCwZJnއ,qs\F}nv/-A6b4h WRlea>ʕHXQ9!P˭z lA=~42*{83^>gPHNH3Δyor1S U0&=?4CXߗLi=Â9%@F K֖7!L=ښ/P,+ò"y kj 5I{Hr}ԮMam&wtB̿0 |h  ^'64Z D# ;Y(FՏ`OCd:H߈`D-l/WNō9]Vfw]`(ft^mѫOXIna3&9,Rk5'5)k3uKmDO!PajQ b*gLH CK!!$Z: E  %wvEYRu7y^dGwJ VϏE" CeVN$([/al"VSףnrgYZ AA( 1W# HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``aV0NqiFE]bQ.)=WP6D +or$\Hi> P¿woS*"aSn -lGAB ˎdmJi@Ȏ. ̑/BǞ/&\xmUY^qk\M zI9~W9ѩkD#CGNjs+/;$]w.b5l'D?<0FMCvPȺ_0ڝVT)}u&5pH~[T,[YL~s&&,$ITa!F6c>X 2_i}V 8t 9p Yzi3 EEm|0(:|GQ7j{ bVyaȶ-{!V m.w=R>](2V4O)٨URX324 ),";6!*.9aV&Y K9j1Q=|M<-TLB>{ hŘ?1wZ[)7,%Xdr3ukqXdNq7\kz?G6-.j* ' %Tos*9ʜ0~Éپ)q&e+`lԍ&+#aV'r0օ%C 9b_$I)HYa8,_LӘ#*Z>4Rg>o7Q$ڞy]hy5hq/6X" ؽ싧%W.ٚLJ'T,T&m%_.4> 0/+ g\ +.xq7jM 8QfMlKV3NI>+0ʼnG%UW8W@G> c%4h;L[(m9m/ P}Lj~ H۹:zDh W,E7=P\JLlwvP2pr i[hVG?uYC W#\\;M5dՂcY2m~Ǒex;Kk ۨlB쮩rcrL:z݄R~}%^]Hͻ+` H>?QC*j%{_1#%:t/|KԨA 'MO}j>'d&؟C3- ɉ\EQ}|r .K;U^'6"I O|OGMdao@23 q"6k#M]bjyp) OyK @+FÞ6&C|۲Mob-7Ӣ+C^1j~ K8GydBBo5w>ЍtyXWCX2 +9M"D fMw r ?GtPUhtfaii;]RQӲ//8-) ,i>7~0~Uad\.|cyu'-'QrxsFÉ}-Z d)OvBIK{ {Po3>PY_+aa0ErدLIR'CW :4Y ">!q2(5,i ѽۛY0hP5&d6>d`ITE$(%p{pDV-O{ ]{乙cM }1 vS:g[$ ճ#1<8i@'b& 4ɽZ_<+%w`OHy{C|p j!M,Nalv BԤw' 7~_-ۑ9FILh NR;ѳc P)oWZ1+%\.(gNf v.赺: ;0it>F)Mj:&Yx2xz3(!*#1ey2|1ثIhQ$s5-d(8V?f4hr"&,dzAUeW(<}0Fg)' F>ë||$rgTUW H` ej?W£z -1=VXrjǂ jipBdMW-Q&*k'ՅC]avŃd6cH(hMRL@_`g//~z̹!H$}1!K_X9 604L} F!x0ۏWhpT"ƲS˓}kk5klq4j"hs PO{⡵j7^!sYJJ2*Ŗ~!~ x7Cm=NNf:Ma.tٌ/S.c,}j_^`RqUt~CQ3W et혿$]-47vjڸ?RW18wǜf<$"₎x)3?V[YUP:d1ni3Ǝrͥv6@-/9daGG_KI2ċUV d6rHE$U=`$D`nB1108cbrM6Z먩-q3Zj:(h9ɐ.~.ӯv4_LI} == MMj+1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ*1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id524x)1W' dHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g l]Άxʆ5.f-9 rq=c"`CdOcTL\槄ԩ2M_4FCRSLh95ÀDgo_pr7":ڢ Q/ :r9Sa^݌(B+sMZݵWR5X/veSf`HC~3{"8M:5o}uh[APp992'Arݖ$ R<^bGF{WRj0η?`u*)TsfXyl<ܭjӛ2Ƶ0F;PȘDS\<. `"n؈;;=-IU>8>>nXלb~flt5"Qޕ 2@ \ zbϐ#C0Sao C"pH`p{ c={QcCl% '~J=NUt,Akc+nsdJʈ1Fd9q92r7#PA:4[ːb^@4J/&,Gz5*6'@M{ ɓlewAxx[墛@LɌ$$M7$d…CL`- #,z_b_io^=BOa e:gG*t~/#?z5#W;<́rd-VV%q%`~{)ЬEa]# i4i_XZ⛘@qg~@Sst#0 n&v g;2SS98YrR-pr)}&PUӼWSaiIWRsjRKb=1 a'><㲮;SuHt𞏐ƿsծVx`hnWdRߖ΁X-Wٰ^)ptMW CfWL~ZQsb`i_MOV2Lxp4(mnT4RBj9 !W Ip[n\4c׉){zΝ˪883dLiZ:y;m:R2vzha*7 ^?R[RkAO 5q9{Ӊ.،g*cÉYM@:+c:7@-Z}f[0}U5i@!Y|y?.h$`V˗!Hs,Acһ}ކU4DbYq1wxij;pm%4N)87d@eLvZDk^M^t eÎZ X{׉n9@gيl># „7ZЂ~Ҟ,4d(~ruOA_TE1 %D44%(48e~S ŀ6E7apd'8Aqx NA\̱ڛx$*["Y2? uzXgtx|¸*zܜE?<_P*NJ'آ{ǑwTnn~$2 ȁV'Cq Zf *@8X1O5i"Gƫbz(L.aHN0!dMIݛS!*|Y;n D崫UЧpf͒P<=(SKv2*9W*I>|[ʭ"ҐL@j#QKo ׎mY4m?x5(Q Q_cބ|R4^wй Qp!pR":WaR(vg ~gFY-}S 5WhaxTR]^/$ Po|lߊ c'm] VBǧOFD9I!%3>{/lBv9?,@cy+g2 Q)+P^qVNþ Zu_/xLkf{t7\0"Z0ӻ)7yETO:G:2Nͳ-쐈Z)~P~FDG)xC̱$Y)*"8P1g-[Hq"n﷋YxBkCM|SXE 5.`zSO_ ,"#+X.,vi@˖bwgm)C>|s4?CywMan*4Mp2A%s5fsB)JioF~n7x!!|41˫ َ S;/6P3+%8얷$Z ܄d9KRyᱴKz0VH)z*sKuo/>-;mيCL[6éN~CLZjHWkd7?O$WVB ]k`p hf\U=dOӔA2Y{&r@! vG{<4VM'洽 U1eY~T3TJ)!O'SiMƄeAQ |8#}Q\FH)}7= %Ṱ,bе`/_~p2xVf;t M'‚尿rޏ^X Af1¸%u*jt { A=H:;1wKDwFS5[.LwQn'nR9Gy~Ft@3 }~hawkWw4(NOTk"dIBƍ:O'x|h .dc*2Qňf"B ȓaU!(󕽰4n_HJ`4zߐfDl^|T`&/=T>Ѷa4(159J]CuB81^#'Rw@rWCӚMq[p:j%S cVT0 l48ʊK5 <4'; QpGHAG!#7 ^,E`ןRpUĸ) Cysmm7LE\@hh-6q..Ca'{D؆t #m?8tN:a*^a6xLOz($Fߠda3 {xXJ \tجv.=6/I~O*>Z-ΔҁH)OZqfuVR.8 aJsK7F ~H;w0һo+Jz취Kr/94#! 3Iktt@ۂP[ $O~F]dtfZAjdlWvJLfRA [-j]P1~) =Ui?"c5 .'CqF'2}[>o7͆1S:5ճ*4__Sj!HGf@g:oe`vz[vPѸj_,jܢk?LLxй.o&zm6LJx64}5.&U#6p9 ԝ5壒kP6  şQ-dwpE4q+NB)QeOsi frha @ w͔[` e* hn|7eC,0^Qm5`a}eɘ$:g*x_´4O<|֘joXL3o*X;hy+4wg(nქD+7J^#BiDhQ)R-4 zn'JbNG!KO7d+X;iRSe,Y"`t ms*Bbe2M" Iz[C@G-5Ih)64Qt;m5?aު!O z+j+|O]KvƘgNh|t @%noɫZNWφï]|B*խ!}hMI0"J KR[Xp~:[_Uq!*֒Id_mA?!ޕOPxʰ4ˍf4_1zF(KS_7 usՄih5B+t 0@n坼wS̱h.R_t[.SX-Za 8^q6^vAQS̬BIy9j#&67F+> Ppp ^s-532ӬJVxi+3 ݨU۱QyyxENHHߩy!BxO{b]L3^m*T;a3AX68}Ϲr7*J7"TfQ`UB dp-6LH\1*]`c@#3bV@5bF٬N a&6$mn$ؾ;$s003Y\/F.doggC cނ "71Y?^2+'TQ|?A+KzY(o#ۚҜQSD6`&ƒ?:l#(v!K6$p91CG?d@pgb))՜4ID;'kSĿ5GzuzKY7H 3ێ"ISQхb#bȎ9.;w۸ ypSqzme_b]&'-9'qi 8Yq٭򤻀tTRUUo MfiC\i"6P 6Bu[z,3/Q[KuuKa4)CCI+"!554#tt]wjQf j>Dekcv)HY_3z'S biUX&K;Jޕ9]_}\!gf-MH uQ/ ʿHm?h$eF!> `}-JaivhYۀEkcv{Eq/.٘_䢐=ghc䚔# V%v"NlGs\rs@YQAsW4>=",2HnS(v+gY#by ȵl/REZ46;Me֪ ϲ~'Cy*\"uuV &Y.yyogL\(Q7Rׅ@jŰņQ h!6I];vGQoct=@6Xq#>:K~a<5R%i8Z؅‘9qٱTIZN=KG=~}CVJ<8Y;-b Q30_)B]AMInTȱ>?fUģ~񧙲ЍlJ5:1 gJt@|ތX%h>!ψ)M ӎp=k`m1"AkAcv%gI" Wт/*ǫ\坫\Ys󁇉~ضj )28@%>Fz'~9,tLƸ@om(ێ;;g4`0PƘOT8k]>r54P)(1kOյ;>^oz]\?/kD`3V`:Q|J=oD ~d.+D9Xg2 9wYP7wvЅ:V6[w5 SINBj9iLc`ٟۤ?S tЎ˛NZi挕D£0;[ŵblvRzEkT fw=ŕ 7Na_/)W}SfW|8mH>`S]+g /O5xE6;{+ Mv/ im^δqAul.Z@"Y*-` >ܻ ㄞق@|Rzs%d!u~$p;B=:Fwx|ʑmޙMd))р^d(3\v/ζ|zK7|7 b^򦶽STx[9XBay}Wwrtt<q#IG6w!<ړ8H}îp6DQ r2~םj>Q.J#՘}Voj*}WZM9e;IP`z(6 Bǁ-gz)*6+E3 ̗O%]|4G7*4e*1XMR K^mFsH?Cu!D#|$^_5"dm`-LqXPV4Nl@ (6`]0 |:8uzҌ]j̄i-D!6E9N#^Z#i o~%zA׶F êS(=ױMU!}hs\%\UPlX.XM9oo:4S" t[s"HYw\j%۝9`mi̗'E@&f<@%}0*C=>Jیr̊=HB [bgޏ$5r상8-jsxz<>-MBV_ pQ^PbF?V@Tt@&Z|=3~\:^9cF" /}𦜛 7AL`񘣪ægpz5>w#:;ףR(emL. x.^1#o۪@ŠI9vusHRJ@|@ 0rqZ$EGg8L.RTJFU}p,t0L!{7y3C:Yma26`EbBZ~R|J? !权-_VkY&QCywMjՅtL"YKAI[Hj9kO򇦡yp$oUOZSnnޔ:$M.Ro |s:{:6QȲYeb*="▯GCgpf,7&KOXdArt,E.7 0VJhihKS(+Xq{Q|x<{9dӞ|9ht==,@F`Ń2R.b:Us% X!h*v̗ՠds'.P Odu}Q y`e_*f{\ ;]-|$>CK;W{@%e eyeύ1c J벆 g1z?A܃px[zN?5DT͏R߱>~9NH֋.¢f{J |m*SADЏxF_'ψ+mpuE^Q%s==z^ß" .;;&m6 _A3$Sge;RD }nYh*CC[]c;SpE;k_e|>/Nf=lGNa9YӉKZNkd]yv:4gprY@4щh\Hb;yPvBPyx|%TRa%d#e\eEnK𶲱gYZ m mb/1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF.1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id536e-1I' LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (_]D?7 {?:fH\yg.(} Oe$9č/.ɏ $yˆK vӛ%3Ʊ"ͫ_pa|CiQv0*k;0jA16[z GUE)l `&q}2Q  d0~enQTzpyVoYGVpx Ep RTkRX9Wu.7"92̨2 uZ9V瘫/ xGy ԏD? D_.4'S+%ʧ5AQQG0t}fsZrWB-}h <<1sQ=gQ)ez1y&=Ԙ;]o;_O:#@=~"SuW5A4qHr%A ^+?/b 'c,0Ѓ:cs=Ih ۡM<;-3 (Xz? rј`A.C@=Cˋo4ͱ޲O )/.-AI'ģC W m#V^.ELF,%=B&09/qRKہS% E+S\ڭ0~AmRmeZ$m K),pss@rUe.'I/{as }8lmoO<3z$B WYcTdaZIÌO"oF|2B!]y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rmcbB =xEZS-W`DzB7n)rW%0TvǍYdeaSoo 7hW٬Mi63ki[C&.E4sTO*D&M7Fu9^dOd]6$< B1[iD_'/я.(C9JƛS4רѤYE` 'DtK/-pS?Ā>_umx4 O$-+jj~.tzw?,56A5’3e9DNߎoswk 5 |1͖* ign҃NYg;^}6LL31FܴfY r3 *eYJG"/5(z ҵU ;bWmTZři!e| xj]@yYYZ噛:NѽAcB4Krga;dUDޡ--vT뉎Gܱa^:y{5lm+}ZkwcO˙X^ zՈU]!6zAIm\caz1vA،|8g(W^nR['6BLIe*6ڍNL8u ` sCF750p$h/%kMM&H\Mrҏ_* BMoSW˵+Md y|$i*J&Rڣ55{mT5$l'!R0ܟQ8[ h_k ݆)sRPrԈ2ڐJob+Y%ϓL:)c gn=BP,0t:˔^ij^G$co=c!puGZN}d LzT(gA<i#Kj__btr-~T_"T[8Eify*+eA+r/; vf?Z0몃gY,*RӒGv;_؂gUr+CZ!2jl\Ïy3_l?x2:u:n$WE= I[<[ 4)}Gg|( us~ߑ%^ GÓ]x)R& Jj i'zzD~IәzX[_͎8*mZ<^dtrT*?¶HANmSz',yZ?kl`jx?ZWiR$ [ 9Xl;+lq';|hf8*z( ߦ!+`n@rt>ʷ,STVQ!)]k r,h * IŤ]8>zkO(zVmuW38~ Gᙡ萆jlꋢH¡\.DGy sGKaBTuFrMV.!O<Q΢3?hN~=]9qV, ONxV~N-[HӅ'P7. Ӑ+?nuIR,?DXD3XB2uJg}՜޼s41-Y]Q ^Uy$K0F- #'N@(yPDŽ,Q`# j@/+R[mє9drJ;0A/^_3)ʡ` ç\|mZ+:Cd8R,44x;pq-tyy,pg'~LJ6;(8tw VQkdp Xy/\|MZ'X bL*a/ $CC e⍞LHH42[:$l]<3ł8N|Wi]"ӃLE? /"3%)Vxn3ebǣ NGD=`W4Ie$ L !5ʌnO6:2cs16>3MF74jр+ u|MIu/C'JϔTTky4SV4]<PJc1XHN`Ԛ9نN:Дȗ} ژ *N !s5 N^Τ[9߷6^S >so;"fnͲ]Bazʀ^V:ȹ_TMD8YV8m̈́K)G Zv}X֣)i9bG!iUgkT |ƈz><33`oBd,]?;F(5XSU/t%¶dq`8yQ%C.!Q;-CE}W ܊P{SamsmiõĢ p?9^1=|JJ7cwKoS;f|="|f-/ YIbp˓^̄),xuεzc郎mK[-(O=K$ =QǔzwP{h-TiyCޜс PQ8\nճd]J0$^lM10}B6b L{y`E)z~}p<9LOjk9ZC?CeX"hAv0>cf"{MK瞖[&IOUn{ǏيiZc*tN|wf+tcEFU4}楞|*Oh9ۺB0U_I#Z1^#G8_'XeV+)6  v] ]N1VXΥԓ)mF+51}1m 8i@;ճ)7۰ nۨ}7flmcid])/qjSB'5NkaױKi5k,. G29J Y@vGJ7 ,m+bMx,уY|GU˷ -nοLE /e?{0kLNOHKa%^_MUQ.'<v l~F @?aU<8 _yl0#PP-H_k:3w \eH&H†>!o0υ_;c+?>]UvΕ3ء8q.~1aV{>:_<#{ձ8 kf#  ֹH1X7 NEI+yYO8K]/\;QiԚ u1gڸY[7<%b%ǔy+X/ oGϨ_@BeR!HCy\6rKQхn`.BCZ"$>^(LC5Qrmw`߇9FX0bSk Y9vt"a׊#I)iqRc(&倱39~dUhN]t\q\h;5}$FѫzoA܏nXN !d~rJ<( a,N)krPaPzfWL߬")cVd8>5wir@dVٯ\Ѫn0̥4&'I4ƽp+hδ3 p?1Ť=iMW0Xg0N4XIEF(J)41Bڐ<1'5߮E )qߑ yxnH)7$wK8gGiD\>18R(ϵ?xÀ1ށ9H *Zt!DEգSItX&s}f֗:oYVy&0uAE-:x> .ĭ׋!Y]Qi")F~Xy~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~6 I6ss]*l}G޽Ǒ$Rm}G#(-z^șsîg8(GCj#vPGuIB,*Aq_ń`UTM빰(kf2P͞®Xk=il+X2x8 :On31M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL21M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id532e11A' THOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! 'd]·Iq n[:|&[z N

+2k-۸rxwYY6%Cr̵̈́_&Ao}Tȸ_+*(:`#ȡQ@!vs[X s0g,iw0|K1ؐKAKa YА$n b8۝ɫQ{⻇f ILR'Gd] @K!Lh#!5'EI<+( 6KrlV,&.NW01A# y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY.P[&[s&uH61쎬"򥊁S!d 0c\1}Z8J1Q_dժ4e85 R"Ġy71vyۋUf)TOd v0'}-I}OY1^!s@-#\>M{ Cd};g !CIDq. SOİ)nN=]mV a0qE@A"]ZMa,w"#꥗-R#K/1q 8>d~oK'_]Jfl#` SwPj9&N?>!c-y jEH;d}G Y|+&3(AKi{v~%jP액vshR&jۈU+ݻYkɌEԪtEjM~6o- z8W`'A|b-8] en*UY}EURQ #al2:M%6<9TyT؛W}!41oOTZ~fR&"-5LA[op,'[! &pӡ_D%dUukyI4.]/JWn3QV.WCZBz/ \L{ Z.O_!{"@wIH; w`": ^7uN-i?vff&[r<$攢EiM'Dhv2R'YPL Rn?ݲho_ƘpuԀY])woo|'Yn벐T4J4J/}kpc`xC54lb]IoOE노>ZrD9hC,ךڗݥ`\n`tUvTK>p٥sK`SQ?iFvS_]L'v,v`o5kLS+6XfEA!TI~7ǭt_q.pr_01:Lgΐ"I;SzoDvI6 ak> b.>b`([Ry$=p5R(| IvXLjK_v2BOhT}inMɿ}]Z) J&kx nOcܩC1?CAd$ Y];R m`{>5Nz:4HNܳhďDB­Pt7C`]O/Nq E&V+a72)dނ|SM3Xly1xB;MS+HUv*9DW k!i[;0`+g xVXB {dْ0 6}w(;?/!DfrT@F-ݿnsdvbL)~zI=Po9wm@)/|iԂev_쵻j~U[n%UTQ/=LzddW~c|iS*b|[)t)n xS_n ;l n귃=XHKa8Ǘ^^*h5bd.hv~ٯ73 Q%s ҩG='/3^?gU#ge5PXI mťlj3'n)nJoܑnYJ!ޘ0,ޕ AپpP eWXxwdOT i*m۽JNh[D*?gr9>I]BE7L9ԇI~dlG UwB[Y/^lSER8*LU%ΙѦOӋ۴y& @2k#2 *%>0JLRR)kd pS/$}h7r&5c;Hȭ16_gUDsc 6ah'nBK' 7Š"c'-鄙0\o?{+FOƗnpZ9d}kdA[.P ictO=9if@XWf7H-(>᨜}/xl=kynZ\3}&:ʲtTz[{Q)xn6GFhqfc2W '~;S)ܥاտZW^LK -U5jkcn.fH>:3BwH}- hAڻKI^L2X8u`H_a2><SX C+6uΟ+k}LIsK@@4|ʻ+m|R.l̚?~\Ԟc=X!3g j=%^XFl.D- 75WaNf.O&?XfQu^x}@(cWvXZ,#n(k_qeP¬WĨP_W:w@e_"Tiބ:p<GnoLFykxe M3>'ZWPA]1\D{[K рz`c]aAlZ@ dWהTfa)2@R\|j*o49T`M>K݀ ͝)*魻r$K/J}IoR;VD[ز meؖ+%ݏvP]a YSu',*l`H`LV )3ؗ3 }/oWx\2VG$B+Ib+(yYˌ%fI9Y}4"hb VdF[c^wkw_t)Ity`u\3vG7} NW"o.338qr[7d"{uNL Q }'"v̯- 'h1V0}BE;jDL[eC43{- ~SBXWyDM!F@4S[+l}CM`X\J_Ra2 {քͩLT2tX=΄=p `e*QإY.{PB)@~uD)YJ .|a\UgN(CQVKK{o)8!=~ŵ.&PIB\]|1K3N JYL}-ڝyK5GX\lMv>솱:@mi] f]gI^[Tv۽ ,rv LzOģG66c=chRv E'I[qF@Q҇^|t9e¾ҭ_{RUةz'T>C=+ͱ"AgYZod@a;|Hy6A')e+Α@cSY\  P3썰ooBdN:ׅK~P,e~J-uzQ5k,N:I`V5u\9Oj}}cZiU6Mq4o .V',+ti Tݫ!8<NE(qf&i@ζ@>T~=ot ].3/cs~|5 DUD*ΤIc\YaZ*E!R8o&G3~JVY~r].t_|}$'#K>i@ȰF=OBczTǖY& r@s86Q֬w* /h l Ҵ!s` fsTװgl?}KdyRa)P}BSM#=2Nݘyk}>\8\̉DyWNLUʯ#oVTm *oKFJq+{_l>0w=Y7͈-v8ID( `mP^L*wy*(ͳԔm7ꪨY>dGk*So x0jћZ,9 jw#`8z iƉkO+ڛЌ sSg7!o`ҥJ VO'ټ{Ͱ)??I΂ }393ڬ #6[ÌQOcü?KC>"zGxl{$y *sĴh:"&#u"y'"I׿R./QM3xBV*peDUڣ'vW,G!AV~Hƥ?(&I Tf=Q6^X"|mZ3PUVdGS;T׿^:DhcTU6|_u4[1jgX]FdK"iws#*@=' Aoc#;~բ-#۟ L0I؊?߷p&>)5w~e1 s (67 &uc@J#;-ߋ咗jW+Va$4oڮ/}GݣFKMkQ1sk*0Eྪ]k~gg`5?Pǒ}/PjwT=~Vv> G!ʘ„˦nHts2NAԝŁ_bmQ ޫi ]EPC'bt_{=%*z{;}! k-lw~}@7;#s1ɤNh=T],lx|ɨ^ \Ě8ECkMٲ9p#])qi #}ZmZ`SLez ǖu#*<jNW$kѹw80m`(Q7k̩4@:| -A#`7¤%Sc่6zf5fwk.W kǹg`3>ΫSS4K0N,SV@ kbb*mلڄEP-jyV2j `6$fh>e3Y EjP"}MW&](&P]8~E_ʤÉ҉%gňKF|uXo4i ǔ t[(hZ3Ƕci ڢyxݶcVYv0JL|˓gzfC7ZrǫyzFw,қ&P9K{'#RwD1A R!>oZME÷`W0 BH0vB2[åĆH_C?.ɺߍѵf;G%&!En`vhJcp լ9xԝZntX`C0ѻocm`lrIn4R+ԬU`ʀu?ANk-EJAwL2MmGƳ7Uց1-F SUEN]r&QM M]:.vѪ{.R=:ģ5;Y, cR(!4m瀭%.P'΅0֖a! :j2-8YD޵20e,&fӹ"xeZmPrҹ-3*d뀑AaY܍jiLsIykLb^E(pxCɒT@n69%=*2[̝hϹ^b\+COH4M뙱b U(8d" ϤPrV..[ ќհMG9$?lˤc\7 .>l۝dK>qƻIr9fU#p IGzx>i MHX):Kk{=1HL1 #4ȩ <-G[y {zg[ȩ,"N ]`.5 <^pd(XfDvp @ݸM}oIQZ7OIOW~KWF\0يG4c 7?BMM{d!hBP)T|f3El 0Ļ]-6!OeSZHgb>hf_ Tn鵤m5a 7`'  TA4^s:[5 ߅<+Ϗ--T<ܖWAF!MwLb.ۥDS,ȭ2K~5+[>‘8<+zrRߺ6SFw Qx2iYJO5;)g (R #̩HI* Î+ Q3Mٸg!cW]Z/0x)+9Mg߱gYZQ5v\n%Dj'!JScy~ OgF4ˮ3^kŹQz/k;QOkr f/0RSti{.PAcg ,nSfE"PSW9*6oXaO29Q 2Y'IЀ5YTM0ӺN9 J36 8~kSf=l coܬ>'ʰ[F2m~-%$5 Ax׫R f@H?[wz@ʬVw ȿB.|AqPƦXĹ==YiZO+oc=u=q֪hT3v7QBwt'ˆݦy MDS0]m[Mgbv}:CBQo)s#14zXMu*|5F.]c[M=1rv'7 T3.iS/x<<7PӎFx1 hfUЏ[㎫Kz'\廱:en-Uy3]MZËh& RJnHQS?~{Q2i Y -Ee" x]V)'oMsZ$V6dumσP+C6fIY3y|z68e-A.JPwk~䃽_ɀL+!`$R7u*,9{癏s3喴ĞOh[;|ЕF$j' S2. ,y 7ڊrlF"$ucTߠŒ+|mW"aGCr%`Ԓk|wM^jUyCaE_|CѬEvI;ɍt=OgRؕgx!->J3;TM]/آ,%ѰLZN`/ B8T+ھ6Q.$i FzC=O?3oȈPaxG*t}8,h6׮\_AhZ}1nY)!)u3TO~H(ЉV Z^@G_h tpg Sl< 'tg5O+Ŀj_z~8đOo~}ewy> ^.>4a"W~તd/rlk''EUNqP1VĬ' hAY$HzH2Vst5Au,"XDf qGha] :YOwgO@[zs@a'o^u,;꯱AɁv- i&"zYxQS?zlcÑ_ F $= S9ߴ}޵%6(a'aw=vmcAiawйµ<|?68l$<s 6b!r_oa6֏Í@V%#]1ÈI* :.=b W"93^y,ZSbe#6O3QT ·MWqb!*i ƥR0цc_.N;W-W 8cQԫ[|ƣW2IW^F7/a9a7ȍjZٮӨ͕-o*/y#* v)IER]._3໾YGUXևBa(?g^t=z/ӟ{[H6JaZd %DZtg6y[t鮍?ZoUA+.+y^GTL1i!eR7?v rj&Ll\SrdMNs_IqPh4'+ JO4rZ-e;c0cn?z? eR1vX:ǀ&un0doH/Yupj!Sָ@hCȅq㏞V3ߕQ*Tbn rT CganP116]>N0ݕc{vv,Q@I[`xc9|ΪJ;{'jHq66Z ؜>j!'΅huP; 嫏ɑpwF)ɹ'4\7KD")RQmG&1Bi-B6|h]W\#d\l/ﭡ1&5" #vN\ytwsBj0@21PuHo"Hl^$g/2Ur9#ZtyY?n)d)&"C2' "C<@EPpCSڣh%>S(YAqB$HQoZX4y3&5T-z] pems{d*ٔ"nt0>HOս)3L, I84JD~uke%*g ^hߢ&\pAMU*!v%#w/M4վoyؔrJw;Yݬ;2X7L!^0%|Bj=VٶwX6-cEġ*UA%|d)Ntyh:E0 )R`E9d $m#M :AV3}z~ .pb/;vd+0^见%(kP`) K$`Opɦߍh0excI4K-e`ݚ:~#6)}tVпbN-H.r֘0i( N-UW(̲_#A;9<|)竣ty*Pj[ q5]Y‘ *-zauoݏ i$-YdwZv"e€ỌR{`U8N  k8Cv,)r0.H (@g = gce"!PsD^ϴ౐˼il@MO( RAFqORDAN@р w XZCWT?H:m)MǟDcpH|wl g Bd/0:T0' |]V)b, 0T^Z0oƮFd` Az~%xpLέK4VaMu~&>! ]4 cJ;ڦ`ts4^H!pBK䴸&b8AؼaN=h~#ЈK$,b"@K]?q9P)iO*tKBs@Y qlyx,G2܎8V ԗ*̥Vܚ&:=fj ǁ",dm]wqn !:-DmES1H{Ebྜྷ|T 6]0!ޭM6vJnX,4r5j}^4p5hw}Kn1([se3aQm8P cZ"]ԉ#M.@%윺_|fɸ&/獻$8Uze Vsv/i*՟ޢ> <{l\ Gr@Xk䨣5W\-}MCC=fa 7SNɚZ@Hnn a=t >) w|x.*IWnTK2Pl:uz؎d#*Ko4y:&\#ACDp 5 z8fl.wuKv(LdӨ:CO/%,;4! $D=:V__@q2p瞘,bQzy֯""Ї6@2lEhs3Rd c]D:xEr%wM6 K-ưT4x$u>|> t;M0ěg/bA=ĪqPDv.ZO6A^N`3j<w{%cb&|feXLǒ "ed:=\أ RVT`)9(i㔀RcbT`E3%P2VcːeWV"Ɵ")ͨF\I O po2UuLpy 1L]xss+{f[?zeA!lha\$eokxG p K L6~iRU& -L[RϪpsSQoʯ&\Q0ࠕ e>>}jD8%R"k.#qs>%t&[iz_;[3i$.>juC qipQWp3 u n{]!(P%NT#qUjP7_D9v9KKXYx, *ajx4!bbIuR8ٲabiMȸ:sooJF9ZH?`Y:V(ftfM,JJ8O PԹ(1I8S[9\{D,Rl ,*``7A>Qm̬U(`%;wyJ6HiphgsBfsset-guh$x"#5@VŲ;usF 9xhѠe1.bK>LU%^hWfoX~pF[~<N m]o9vm.81TT!bs%vlQ9btJ P_<Ά.!U tP,G< ruZ診VAH]р>MO#[H +kKqf'( e@2[v)*>mNSɸU?tY Bg;oe'r}եG8ʇ%a%t*BU@'TCj2lcog>#7s5H0f5#vO؝х 8^Idu'`v36W<2v$iAW6Vx?qnu}TmŖ ü7DG1-?5\8 DO{PYv/^ )')byY"4#qloF' MIӜYk^BTUFo+C r+qUfMuVεOsFnT)@ g~J|S䏝?xle`U"1gxR n |hq"mU=O,'$b;ַFglhb) ;8U01߯vS%Q,ni֊B{&c_}Lr^Gt.Web5SͪrC` #ul*3&lh)< Iҷ?tpGL1@0 jnc;lе۰xJiPn]kwp!&`fD(ƞ_ da#ߔzWZuASYջZ C)3?rn؇fVo4CL2) 6OǽbƦ, 讣9d e-+Yե2E]`bI>P)ŘU.=1v48 c1VͧX]\[-s-S\c82ƫnaN]+b[ <|L]f3_jRPM܃u'!(E,V1O^^l @]zPy'N"P;{ʼ{|t[`4˽({߲seTU9+SRfI٥PX?^iᡳ2Y$n@q99zkpX&r.? :~+#f&uZ**%"z%Cwڬv`{l&d^|jb(n/Ab'0g\JԊIDZ7FÎ35„7\[W؀g^'fC7zhXo\+B~?6q8V n-6 Y_io*@7lz Ke1Y *5]p"RRG%v.P"/SB\9hz=%̛ ׶,k;ש4'B%RpϿ=|hQX=6`p,=!iaFbB?8m&JVd.6 LMuDYjQgyiJx1|'/ <.toGSGH De=u:4앙eDd^0rxiWQh-RB%vJa|:?Ď$z$"zgd?`m@~tY̜ ݂=(tG ݴ1nr;i|B&s!,M^L(9ÕlOQ8w7ߘ1)ؠG2ޭ-@VtRuc{ QN#Ls+Zo{'>fȩL{J9+.$ښީ=^i&ݲPQo?ZgJ0*T-xSڂ XɼD5A[ Y]>fe&S  LL=|v{ o7< &S(T2<!0?:Pe)&<ޅ[PAi(D艷WMa7c5ڞKiVٛy#4w)xZ\, zhG=x].ai*$ L6M` ߜ9?umS@W2y"Ɣ v!KۛS Oshm\l0H7bv:DlD*v޼L E]"]dB:*^VodqO5l4MaqD~ ,JyqDնGaf#ٽ>/ta-P_ I^ȻypVP5/F0(ΰ/z&a+q4-EOmo 4+Z9a\POSJKd)XfZCkW_{# [,񷻾QcZS;~g)D[\~X#;|~Az ᨨܻU2c:ג 7tV4JrX6E5H#wF;Tɳ@[T+e-ȢQoy \,ǜ 'S [EԷJ3qI)-N3Xr!IeT2 * |cp6=/ږE 1A&X#zu1Q78SO(%>V+uk׿{QIB䜽c]fGZ=ԃw yUPF]s(zWIiIv`wjA-?)TּX$8ౙѢBȋ[{(cݏ "6*.Ѝ76\8 u=骱kpYÐXY)GT(d,IRyL^%?[kd2Z@#s+֕1b]𰾥ƱK7wb&VX.ԫ+Ǽso겮Myqhŧe)DսfbA̅f D|p{gQpe8׷eԀzMGSd*a˶+ۈv~ҵ0h}; ()<nD=~Hh%cB肛)%w-CiΖS&f$]T2B[8lqTA٨ b< R%?ddcK1#̂df ސ?cEɛP bq-lu2fSHGhUP꘽U>LG}*Ľ0t:G̐ՉR<| (̎-Е`Kćڰ, -*U@G0e7!?mK;Jp2&>T>~^oCԯa!cc(ي\N|CƂt!6Ym/npUƂЕr&rTWY%ZUK~QC N%nh ptğ^fl%4+Ӥ +_&ϪME;&Ķ@ ,g;Z40ڽ/6(Md=.\JNg53@4d?devu#F5Y~6^j -m߲ng F@d%_/HG$<"x֛,ڶwβNKOn%V`xzl+T} %`n2F't(_3  Z=l`x/\N5]QQ% 17UjwVlz184E[TZ~$@ [ #de'b(mA!]ZĹccrwĥVRU~S2-OWY){ü蜐ʠP6Rh^Y-Feױ&4(/z9W8H@Q=ӠL ӱ*8A~8#Ljv6W`?#;PŎvdߪGsԴϓ}K{EqR~i U;,ZRAT.C6EF ơOa jli+^$Q)x5vUo>h8s|,$i#Sߎ.\XVv ,_ơֺ@Q [gC؎k G"{M҆;rۄC7sĄ!+G/}GHBk1~eTӈ5fQe>T2e[-*3 hL_%kyQfy57"n\S_8'#4! )1S4JJ{nKX D1{?%ȇ~LUCy3d]#a*SHPHSf*TSNU;E#܆oh]QDҐXaOդU *ti"pR>3ARB5¶MaylX+XG,$e0t"enөй1F~RNnTbEH -Ax BŊ3f="κVԅ7%To1$W|027W[ZՇM ֖=\G> ̝9\cR&J4/6nE@ z `68`vTIg~i5Ҝ@鑭FUvY4* 9|%YtxP”YdaW3 tTI%9Vdd}ʤDXFMEz>ιIa^ 4Α]bւje])Y(&K@*62beLg#Zba= 9r'8rFlzb4bvt@ Qzx%% @;x**&; ҥ9t~ژ45eBB2h8sIh3OA*kY|@"05 MCP ~q_4cO"JDe?8:[ZFG`l"Wi$:2;rWze_;("zZ iBH}Lͨx;x1cx_gr;l ""10:D(D0jeD/1>nm.e 2``Ӈdr(`o̱ZF)7ScM0nt}gkqg[)INV0>@G+=L9`s]e;)SN/;(w2/%MN}`w,ۦ~EwV};Ŏ}ry#*/H"މ!rx;BZpkS$C Xk.ЂR9*0թp~VvJ{f5 #4fQOZI~9%\Ԇ?GUG8r8p+r_J2 _1|1Ej}X4O<2+ϟZ[(Ǖrh*ξꈝ2-zY  H':`>vEl& yy*"`.4ZHdmQ}WnUA-J_JOx!#JW p!( a3=~W#|$gGeYu3q"3-LjTw8g/l-5Mό`WC`]0v!0cVA2?"J8Ϛ7s;7+P`@gۘfDʀL ^1$LmHyrdzķ5퍉n!*4ϩ\z"C6ZҼI`BD1H:ľIQ؞M{+JKKFؔ9S/ٞu.qjt}5f>l㍇ z$Gi4@9c0{a[?B~͏bB+'j`wAXAMUfO-&p桅Rߜ쵑΋!tbQG&|>RznFa Y6hHFL/68ypRp"|/1zy, YB{ ` WtBu$J驀s^y>Qf~7~!+ WwK!FKs`;lC6cO^6B+z:5m&Gy>adbp2g&~7) ~;J1ﯫ_#V@i `]Xd֯:ޫ=$9? E0w劳~2\&lW*+T'Y2 wj^ԥ!xe|u/^yE0)#8C}w~-4:Iî{P9}t>[Qi PCs mkn!sdiuӬBm/DA91ՠOT \LFau0c:YGAnR i="4"kq2BHet`76RQĬa5y"4 *mΏd>^B>F-SWe嬼Yj&(KKsoz 0TX[KuӪ#ΞeMve*<`4NeO'$ g'`YF41^ AYcO X:a5tF&PAA D _gQ~'@6p-p;홳zW;eQbnC1I4l sFD^4z"3 ;}z)=Ч8 OQdCwV!˺ک:Y- fj= ; [Pu`!^)H2&(=1 @ S\~gQ ൱mM u}h"9o/o0&W0IOw0p΋QnfB`e`ȷ5E]zYRע&fĀC8n=qe:dE H(/ Ae޴K{w$Arc\-,F\sgWwe?(Vk^i&Q|*Fj-:3]9< ^۟Ef".Sk1.,.kpB^K$~ Va vbӃ~+ۊJ#x,-{HP/ūH|@yɜaf':=S8);+`y&q \o;DI"6bL&?j?E$M8a/DՉO)d,ԉrP?h;NkQNVTvm,5/8 &qCL.'OZ)fs //Cd1U銞#پz'-;`` MGEL8-(1͵8t ՋgՓ}w&<@^!v^}5O۽yKzM{좭U!"ζvDYWz̕ D=sngz6XJ1/$O?ޙ?#nU/ɡb_= M&S:Ax@2Іzڒ ;ۡ׾Ǩ)ͭ\d3RllJrւr=:FҦ̵ȫvC]7AKIS8Lq7(obL4#O+`L.wҙ--TJYڇ!;}Z/LJYG𳫔y1 e>̐gI(/@# Bvp3%'&o2t"ke=X e'/r-bϋg$%pEѺB6~u(b*ahjv~;Z`{~Du `Ǩ eU] 3Nޠ?'a6 |gPFv uǗe0Cɗ% q̞pkf`>&C.G15pYu kAqs||q- _J9iS'iJnB m..",ώ:yM'SJ~"Ȳ3 >NgB57KĪqmMO)a ƍxHte*k*91bxU/mpyD׎0e|ΤFv(x5~lA6|rUu:EH/,g=@𥦷+CdVJϼhG6['k]GҪ  [r!DgG],mo-^E6I@(M]dGI!526HG]r%-)tfTR05fAm)>ymtCQncG=VS-3w)J?`j=dn9-8sI`hft*mY{=B@A2'ζscV$1dz=3.d+ɫwguX CV>}.3w8CC'a_@]LWڅuW%Uzt teWB.`d8&Q)2\DSr Cbڼ ]bדo/:BD_Up|1*_Pe9-P̵'q|aL׫ױ\+hέGTuOJ-͐iyNF%yAZG4 (OFoh!˹1 JegR*͊AcK;(R'Spsg(h] Uj8`AA:6䖐1AKؐjͩoS r.˘T-d;QlCz2X`C܊IДo20csABY0ݵ&4;λb~(~pw4䳶l?Ξv৞f# In=c@pOz;'F0@[SVi.RPU/` ~Bӝ;2V>z\nw}DFZX]CL,9<:%:D"g`ZED#~4G|r&D{ë[pc)6lh;f2Lʐ&BHƎbH6FYGt$+Zhv. |:8Xp5ݟˇDRiq3Jr#Њy[xH`FI2|$x5bk(Ux8Np#2T|YeyBuv7זvv5FmlFJt݂Skb,M.)ܒW}-h zZDC{3'*Nۡl%!|.j#)U3GJ ׳!bOz&N$dE}I'bq ļH̗a1t5謄y(l _wvc \w2<ӟ gWψZϾaQ$0['iO\4YBA@GQ8]b-͏9̃$EXSwx %Em; 3 1x8(巀iWDtLFGu˘cV +K'wxc{A C% YYHdWð~z)r.RP0pR˂m\ڦh]ɽS2 +Lg덦^ǹa u2}_̓u.ayZ#%jL!/gkvI"FpH䳼/<+f5}<)+yH=4FNGΦi]pAΝ $5 J[ *_<x'`4- 3v_΄m Jj0ٛf3: $A#5v/*]ʲi0DI}Nr2p=>@ )vtnF,c&#C]b qF0p4' v|VL<ϣ󸇘nF@C†6}@WA. '*nR$'=(h_^X9%+]ldxo˾CtFf +~$I>NΰTٷM)e86@`±ɏns"jݥZ@p?5߷%vEYƆ~{a'M"dW@6.RyɌF 4WoԊ~hnVJbI(l ]ivꎲ 䀙;}|o1%ħyJGw=gl u5g`ҐLwD;ȁX)VIJ\$=CRNWF"Dˠ)vhv4N:8,׫_#eem~QEx`%G8rV0Uuy򡌊o~ؽɅ/@LzKr SuߓD֘DŽџ)^Pk1Cːm OYt{D7 81ڇgFTi/Z#2wcQ+CR&`EN1G,_O7|#x'yqhB_XRRBdBUñ, 7>Ki0oro'6kEiX GM^;: `8ZFzߛ)!P[ Q,@<$R WvRet xӐ1B]<ÚաKZ2ߟ Axi5> ʦoxp]Cb‘2L5B'ʔ5#r~z'ip^/ :UAR&l~ho wtR|7jy E#o "OKxwZ]WH`k92$+i6\8펆ӐF5n:z>k~XI/ztqLƎA<~ C8Oa^RaqOƄsdm#|'~/@sڀĝ_q5X'ƫDo%Rڟ%ʹ[bϬYqAw8< 82@sC*4GZF38.|` 8~k2rrJ0|+,O-K@^Ҥ 4@5 pc%sOWMN.T=YC47:bbO^c=^ݢ`#'Eq? +҂Ci;J̳=*SP 3oԽ-$o[F0D-gFY뿳*wr-[<%P{e6 J'FU\?|ItvmaGt;x2NӺBH)%4tLΔkWJw*{u' 0AL4*vq\YCxM %,A[׬7@23fzDY|qԭE%8 bg+#(v))lʹ:@0'm\j9%~| z>0;8# ֆ%,m;zq:Pו!ZmK7ݚ|կ w*>dAVE~fٖ%,zoL&.B-#ۏMe·W(\UWp##At1e0,cwSG\"UfLtޑi]Ŭ|F@_ʺ3QUڈ,Du=N}Bs>>WE Tk|QWWa*g? ;JvKŰ!O@m )o hH@Ȃ`.3 ،,NG&d2.L~)%B@c*t]%qa-3>\ѓv3>3`*c-M 2|r8 /t v'W8H s̺ t@s^/ i oQCmn@"sv.H@Q)vs|~Tlb{DrM>,U"4'%hqbʶV;~r>1dvF%)@ p {|KI><)B"Dfj.i%n{/@&OC[lT`&"oȔbjҴca`~9I@5`;4Np& PHF0ȅD nᅰfո\|y~T b5.yag*;+x/!_Yoi5srZzhx|$9D?+(4 m߹hRq .yvvDyDyv"Rxvޏ<ewhE`hdbڠ 0t3k6w!ASD޶ HNxX 3m%VQ#r{,!ml^(JPT(֏N񆔺2miDܨ -^3]_/q^ai-M"@st5[E\Iv5PNOay`t\423|X/8jѱiﯾtf'm暯Pf~|E7)2bM$@-BEG0B4iJ,GˊÊr%l4!lm qh̅Qc\ŗ&;§wXh:BV)<+C~7% .KyЙBk#Q'XĦ22KF KW;. ̙Uxc6^z/DUK1 @H_e; )C{}`;1_R6+(|$: iP/ e?'Ԡ~/bk݋tl]Oϵ(yΟ"pF=QqL~xrS>QD+qO"[ezE--r(v~4F]q㣁c#YǮ`[t&ȡY]տ)H~*#$m-ĞRKt}]65bsNSksQDiYt8OKk B)ž6ZmD\˿>E.Ԭ"iLEѶ}jub=r?5Z/^(FG$nI&aЂ2T@[z,f1.>l`vY#3h;I&0.͆|Sj OKXP\6DcIUEa e7TSr@R*;͖q"P8DHQ'ɯ E_V(ʬwJNg Z=fI nr tuӫ'Uo Bc*[4;lm9{*~ꍧ"U窂d8çG66F[21 yr*eD>MW y^P e>FNf:``ۑڌ"ߒ8ibԹe-N8g[hG^@qJwpT2@2/H2.WnyQ}W=rZh ?%Eo{.2ٟ!2+U3J ۛg'}gvFNW1$a*%.|յc nOaeċN+ t6$~: ĐfzaK"\9A@}~0}DhZ͹y n"T<*{7 | 36A0!ޖOCT݇hGnZTQ0tO 06pI ,' f90u/$B 'EmʹbԵ*w~#-350`/~HnsGmHC+Aб8ќ4y2%l3AS(wOL?>BG}ٸs=TM?{I5N0|Y6SMkȚU5t@R0!mѦђv=Mw Y4 h\F]^U HT-T8>7loK D ˊ{{by/OͶV] f-*&5:<2vbH&JțRuM:JL9e[wӐ(cjWE+@)g N AaathroR;tguL2[NBIYAfۨ)ٲ9<j턏m$1c4mUj04n^rʪ2VGtECn2>${͍Ad|v?R<|Y$/zTxa8B@ C ڧbyMm"HFZإЋ/zXa[/ Y^-G8,xϗ(s$zί.9X YDK+eYp;7Ci XwuP`ŘK7~ }ZZWgYZ }}_7 1?# LHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! ~]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥ 4F *Q:<ѿ)[AGEmx$Wlق?N9O  tG~=S *#@g3%v?[π=eBd`T6ʵp#T6x8v7q ӥ <xsڅ̚Hl:ZA ͂ MxE8s\ YvF}a| Qc>oY#ND#RRzym %b_-b9|ʪ@-Vq^n|(!%RKĢ~tOq C4 a 1ʨnJ-sS CwdEik?h((}6},S WE)eMVR~>$!O4E#z3x!Pw.u&[Z &d2 L^AY,@`FhĎ+`0݀;K@s]M7{UkeIv894WU=;M^SGۄؗoKkԘ&בXݶg\`A)HH5mutOo)22R2g'ky@Nՙ>,sз x7fP ?ؖ ̉W 7p de8mGťzdw}A ['1̶F6ڹy;*EiijFEMWߗ쾃lN:HɊR_0b{-o@eCnWbSoq V u sJ`db"_A`~{ة٬!'5!$Uh"]͋9o&QUȢ[n9lGߚtR(V)Gל c|A` f4gQq-dDe7Tk2 -KNؒYfo>2N/B VzI<-KP9P{᳁}b*¹:/?ZX .qO,t %kPFnx7Qk@-c1m5&3:@.f^>f,NA|uꈕoo]ifQ%^ 2NE5ԉx'`hb JeR! ռ]7⅊E3e#|_QdgQ*,`֕ŏVUt ]Q]/:|x"w0f%{Z8 b()*/ChYIYx&{Zc K4|2 VgH iTI9fOA U<7+ٲL7/bI} Y-\ +U,;-\K RУ=>cިqHP  ! !\81?' DHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! f[]D?7 {?:fH\yRO>yV@!lzR>ݮPm gHL*k5?kj{c㩫t_''ee`Ya|AIJ,{̋ ( (@Q![>}ydDu߮ \JP8yXF'nD9LOtcC!xH?ms.D2cJU1S:Iۊ*q~53UY< 0D2z`X$uӠR;픾L'?7=O\t7'褭f%6| P8:a N¨9O?.ۧ4T{Fl&]AµOm%\c|^'Eso;!>GZS_3 x7ߥjs!hN,3JO>'< zF7\o@{*H8zOc5Zs;ǕC~^5:1oD؊mN)A#' 2($ylCX-t$zw_u-|;Q.9dK%ڶ?āE"~;@-}у( Tق?71dFaF;i\YU<W}WnlεEWtיd_zpv<)+zEYu^R wzo#(|o&B7i+|V; DRV8bV%rMNlPu cس;aV ¿&P~8:r" ,¦d#8.!kpLIoh'r~܌B8{Me`1X{KCfTRӃD8n<a!UR5 vz92 {X)Yd@}bC3P?[si"K"(}103<:]Kjp$Dۍ~nY[Ğ1ǝZ@4@??][8XA*pq/۫n=]Fb^|0=(QB_6Tb7gWIz).U.sC2sFP$Bƌ[$*ʼ'%kOWT_݊,%pnk'|kD|T( 1(ks ek!Dѕ}|cErS G?kp%3lL6A@ܘâu MPS'PKYc04 5gYZr.arj$k_ReX˄'HԚ-k4)NMP~k>?ze8<6,h|H54mg=l#P-P əo%&hlPeQM4MV(ӎ( l6]55k]&( `etߌF:~+dƠz5?joiX(.1X~LN2ҳ^DSzNr\"vKZdN-f. 4%brP[J͝dfeɝrP'Rw)PiBv@@EHlW76H#1֏C,Z$., $I\D#ߒ0b %i0uA]B?LQF`.ljW'UJRw0z"zR cACX#/^}Y,1 FQjȿr펖>9`IZ1xܬ7$9YMښd(8v+j!57qšmUQwH'p`4,K8ռ9L0wqqkD곙Ig@m[jTjv TbQDVeyc9rfjNf%f1WLADJ bw/Քt 3 2VиNȣ# $ڙ4[g8C>SWtOGclJ'Bh3%$f| ^dNN]Ot K{v2BhG@pyxq,6'1GcLO㶺}'p<(fݲjX^]Rj9Ѡg$cH JY K]+߽N&Y$5!Ba"Z]5u Y?lѰ:^rb[ZYAfS1A8׬OmmCvZ1"MJShvsV|C']_f\}ZDŽ!I Ÿ2\mnsm&胓SJ3C!5L)f,Md >Z&Y,uz^9qB%(Jr!Lb9%ƭW!~1loX],gYZ7zXZִF! 2]ŗXiɟ1$Cܨ }X 6^vWn p^k8hu 8S4$<<ӕ ok\h0H0?m6o*NyFd7 FSp<-ˆi4#8ѝjݎf{G\bs3sSm!CBUOB&cxqJMS9Mx)tuCb\/G?Oy@϶[ǜ]%`^/)A/ }ag l` (pտgYZ7zXZִF! c]ŗXi%{qg'FE:?N,Ɇi52!,{/ -# VFRa3m*jS"1kh`HdVY~29tDqJŔ. 'EprII uܢ4b̕'^ B|-ۈt4_Y}|ַio:/>e7▄ i!7w6ZVLHiIS8fg#ЭZ)DQоtakS.?/rvހ LA_~X/4ʄ͆_Bx67!!`r,+_ǘ2Yz>+'K3lir{s>:I)mb@,C^ _M1L4oXCuogj")YEݘX>xI kl;'žZoq0;4ϺݵjMkCk\< Ʋ"V g5|ˍr{Uca{[C07YcrVCurO0BYd@@v{# 6R[S A ] wȎ&2v;ʼn` 'JG IDHn_AR="( T&վX[u{ρ =?~+UIVu?_@%CyoQg:/J[a* Ӗuv;nOSШp%}g )? UEu2 [`ϩŁXP(Kv[I00v|0D͹~\ E'8>#tVpʍOd9rQu%[j^_`4YՍV?E+jy]cbs$}ɒd>tuL oXZm}mX& b\jwdu_@hHWDk= FM-R[inMr|~0v$٫nρV8֢Ӧ1thR&dz5}1ۃB7T+ 7CG,,v9|~4c=hx?p@t\h|B BcȤL[(Ds`XL-C@ټHa11]:.,`Y򄳩ReZ1[v+ّpaޙk\ǾAb:ߝRd0 B)m^?M\g^{!ơ=8*&FQg=D%^nu]^zw/|w92hlA& 8f/yԃU?$uQܬ|ل8PmjVGD (QWղ:;B uCva. K%؍NnE$e,i9PY[s(CyFbOv!3Kǟoa21@1"x$Z-;n[C$`;ϑC\/=/\ ܼ0բĸhuߔ6tG%TgZW<(񍴸}zJB%,,2P# -w