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  ,1t<|T ] HOL-Metis_Examples:threads=6elapsed=17.526cpu=69.716gc=7.8447zXZִF! \G]ŗXiɟ{7‰fq{+ j2.)WJxu)/ l>k0 ] Rbrd9TbC!Or])9?9z$1Gqysln!ĺ.nrYؽ\RE}j_m{ͽ8$Cq7=E= ›#b`7"j G);26pʞr_4/FK=xz!ܖP<:&OO Pwy#:Pcy ؁橍(Yatk?Z8 TAtFbC=4'JN})p}ٛ/կZq/|mpB{XgYO&E}/+8Eu_KZ*I34EXs#jG [S HͯvUcζ*"/ ! ΂Q80 6M<|̷JeKvY 1 HOL-Metis_ExamplesXT1A5 $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^e7t1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/filesM1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex@1;/HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.texE1A5 HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex   ))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^e7tQ.|ꋮ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 MM01I= LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex7zXZִF! a]A-MՋhvG"uIBm5fa1MI[ta'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ p p1OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ%u/)>Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz> :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|y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'s 1WK 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex7zXZִF! Wx7R]A-MՋhvG"uIBm5̛֑ 0I8M\:{V5f43%]D[S^EhQG`U)" 6H@xp׼ρSg8Rg*lu+]b_;8zV#sq̊N8ϜKY>^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZ.m$B_IʘaM[ "䲹;E7T3>W_?ajM퀎cm/m94`Lylp9'$b"d);#8EGDp>lNpctZ5sVޏؽ Fs^߲|U_f/|:l?=Ik᫚cV0߮Ccz6Iӌ#(i K T8Z04=*j9W+*0T0 +& xsJ7}rq7^3 UGwfU)Ԝy ;HBM fF zf~2i\bIS:HEhhy^ _h|S 08N_o:0dwPݲD_ϪTM߀~~,Oa. GՉnk0Kҹ_-Z4v:5PkX +X"vpH y>fh/uR0̿\=2 [dRߢ:0sW~xUX&9GeGRZfcy0-xaTYtp tW]A@8ݠA~-e!)H,&m$IZ?Oq VLü*ilke#?wJ&QX|8ډ*g)D/zˉc&Ǎ;MҀHQD*v:Ľ-hosݾ^o9BdBUj%WS 1p'D"1{oy$Jw3Y͏\P geHL/q(0?]MAk_D0ozM־bd"LTd_ ^- c!;b-nTsdfuY:hlmȲ{Qh1<]?BTEWaKQ9 ?HdFfݬd oi׽k(4ݯB^;oI*] yÀKk /"Ɂ_4S ^R;3<}_9Vq&"lN"c|>f}8W_[и}尉j&l \Hf!,)fyc;˃/7ل煮ԁYUF5mRrVT 6b疪d*(? [Z< ۪*[a8`)T Sgt&ב;Ep#$)\gs&YIuu | J?s_M\]-^h퇊KoS^SuBשg(\YHmTR #oOIq.gM1~c}{@P&Knt,'X|O;WՆ6_7ŽxKؔn,ÖY|%!}VŸj+iY[;CoW鋾J |N$a)!.t ؽs]{Zifyk4$ @?\wlԙ*=.\Yٶw#9 ?zAT]媩 B5ـX j޲J&/_ruhi³fbrB FntQ[9-t'Ʀ?Inz%slc$PKpg HƷG" ˂P?]l|,5KxY ~*ɛ)qǽ`uƄ,x69ܓ: }x-mSran5VN AHMz)+YNCr^4umH H+hx8{:{I$? 5zI{.0B^q=W2~rI M'09*zmo 4|j}9-1D3H҈tfJF.VD>P`#itѦ4ml({g11:x |t60cڍ腮 e[>qA:6Sü[0H1e+B^ǾoLl .$>qKY\]3rKSbBUfekS'A`DƊ>ȕ׆\i)꒪bho9DCץ_m!$ԯ~=_K暇q.J]F4DHj].qlqj-3$rPvDő>}Xm> ِBMMxbGkA \rXK&O|w+2J9!#۱;iYoˌ;seNb ^)ZW J@/B_ }%=D/9(om&0;KɄO^-7q̕Y7r%Gm6:w >{I<{,:o!gyǧ1oAOx >jkR*VaF޴g" ۂo>{SUs0HkpcT{;(^jG?SF&#o"'nJM[oo;Rșێ,ZWK=DȼdBrd@HKol 3ƙn36!)eK;*Z6GQM9%PE sG;4@ KBw|`)dR6 7,8F5P.ճ.d˛áW22;c78^BOP7*zD!z@?A&chVZ˝_\gTĈ]OB30*%BPW| g]/{F{FDt &c`(`X +:i%5a%CZ8:VH9R3&tu= f@li[n?<45=4=&ԾK{~l+OK@̤%tkƗZC{ER2 au,鴻YmvD;[nk1BZCJkv8nGGjd`ѷvܭ.I_˨O-onl,kޝލ,k2/g}L\Q ("g@!cj8Ff=J!P<3Q(-&݊@?U <9hu3GIhV4xu]GlT]2irJEϠ^w[넔Mq0`N,o91Uohu[-n Cd=` EqU4u a'6斒AMUoD=Ē sym@F =|8 6Z7{l(pW"f(g7cm1gxɓj.٢o=BbW8&H}'*{}T=PB< fÙa?x(Y`=sƕ{}TaFsGSP\T+C7@(_M{ņQadyo3-y[6ޯiDYnm딣` Lvcwm$JX́K̄2+xَQSqIbfqf>xvdOzŤE`J[]4ٗ<\t dNyI[xgi.barFXP>p;_r5Dv^'k 9+zuWqߛ' /6˩ Jx#3~V-ՠSj `b{r# h}N0,?EH>‹\.e;=1A}[W5o+8-Ip(Hb9-Fhw1^!4Y͗% JN=Ym] 8VRy S)x6b=_M*>/EسrI_IOeL" y#R$)rET`/Ӫ Eeҩ@(MeSBWʱEk$0UI X7Ƕ'E_Q H%VO7Jqb \suJKd9$t [Ӑ}DĶ,Bh{lί3{0ToZb7p4%'d?TJ}㬲ii G{/Um|wZd#Ea%`ҞS]4sHO tH5oκ eEUqԻ[ 6bYd k0(?oyZ64].+"@tp8Jqu;6Ďзzo$(Pm6 v~!DdV¦ƤNEvYJ9[M+N|< T@4jaa#EǏa(Oק, S(Re* Vcc2V6@9vq9ޕ]a,%u.t)hJ b%|rb Emj88 'jBT+R'/BH3(߻,/b* dgv# m+.i[4߫<Ϲ.6jj?E)[@)*_g aDq#&R93kQOERTTK Vw oc8`g% Qwrό0"<(6ĺ:dڬ}r-%Z)|~(4zP)!վEh}eUoO`\Kp!Eɕ+JH"W`!=QTܡARfH)3^^Njw׬41'CjdX-$c`PFF.ѴCc*!< nȶ:ft~*Tޱq͑?z+(E nW6R+u\V7؝Puua~%$sG=03uq:;XJM5As8݅J1)7YgEYgAy}ľk1]5p5`yvrMYx n<|p52w(}5Y7zntU>1r‡t$(I8,ڬ9r #:8L= 4V0o W}yɺO:#Ǻ?ni/xY_9k jȴkܠo:xI٦jcdlᣙ7b QyLbKDY)}^^&o'A܂Gh蜘PL\8H@šƼkJ=1JNTBe   +ݿa ^`yo3w3w2Z>zVHFa Bu+]wd y" iJ7eff^ንJ@#o $~ջFk1}RIy+툏t88}#M׽29cYd _!Ͱض/!^e7 z赗St ;]-}T )Tr{N 3Hs}Ɨq诠l)j€'$]\ !KښE8N8'S." hM$̓Q;Caw :"jJqGzB^M1&%5{g KM6beXxۤ2Q3">ȃb)DR˝[KX'JJf[ޣAg׿`(wc%>+ʠl /" ?Al񫮃W;,dw]tNbL!w}~`> 5BnD|rVO ?duxoP+сiL{Ϣuʸc<-2/O@pv!uOF۔p(^b_ISC櫓l"_yzp&Yfɮ7y7uc>I5[;h$urk@rBHǞ*];_OnT׷O䇙Lz8X ftkDxz5 =`!GԅX<ª 2{MyA \䊒b uX^\T׉|w!aMW/Rz>á74S ]<b~cl{FWɕ E/`#et՚/NǮl0xqm03KZJ+īzVC<ༀ =a"  ~|ܚ.m,5d+L"u$9,8Z΁¿"b#%~T@ DIb2'F+ و*GE0יTlck:C[IfQZWGj@d$KHDzZ=9HV߁۷q ) .o7K#$ "m_C!fzGa:"IO==q),>x;Cϋף엳83F3Vh>Ε?xah |m-ކ6AC }F-ުMuFֈE0,,rfs0Wi uؕ](󋲲gt+/;_Q<P8<x̿b!7ebw"_NRn\S،/r_$n0zy_E5`yS;'јG 3D~Ifsc0?U h"~jJP*pUXh3!aÚ_qG6V trխW kM8vC6̖?ЅVP/T Sü8DJGMӮmyrQi!z&yi &|?x,)}Ҥ$_Maڝlx 'Fxx2?qCjr z GGIF+@t.Kgzzil DrDi(<˘9NV'X\P~N%]daN<МJ*h7U12+σ,wdg b!(ҙ QIe`\6))ap ޱ%\ ^TY8X$}y6kv=hi!@Q;R?8JDQHp9m7X?K$A7;냧Wp!1}a zl.@??pnA1V?6\aǔ& ,τ6cDPVG{%w؉tr%<^-YTWZ®WzYhjwJZ*CU@-F#n$AVgU,Zi>6oS7BbC'A8bXcCց[F7mA2M@3JP"& C L`RqI?sYA Tj݅aE( /FS;T2xzbkAG.G|;s3 !8]Ta9 ~"P=P4@H|S3acA/d 9A~ }LfBw~,ˤWbՒDNuE;%譀=#vUr߆ bc۰3>:E QfwJsBs&VOҎqW" PHGpyB:4|4ၝK_f?1*쏷&(jg`Tۗ g,+>r&P{Ne '*^~!H!c݋ %TϪ)_0@#=%Rx^nߑCeox$ orW[8V[Դ}.s]5|qcC&865fi/[iH{q M$SW0OD?ES_3:D›~ ǃ(X촔.p/eݛss+.G8!-@E,xZä"%[ST`u̬`M.?Yc4cy]Nbպd/㪁8+~@n GѕmCb6!Դsg[?hSj{@؅fPxoŐ!W]jKMэ->D̄=t802®* 3JOg6yUtS~9C'm5 58gN#ppYeY  >NxT՗֪p(ZPqcŜFyaͬW1T0[ۤGԟ2V3aְ1!.,>_dIqwA?+G).Z7Bq^*'*0Nbx[ \ LC ųTv gk~.w, x? fb9jUaxU90TQ,9~BԦC*OpA17#7E)آ ՟newj%p'P>gG2V5$9SlK: x}TMd7,'f7Ux-l׮ Ad| v2xnvt 0C&qe41\Xe8 "ެz80)&Jfh&g]WvΤ}Ϯ&u6!| )U pt&nvQ80|KM>DSjX7Z}?σtCD7,D1 nl\@X‚KNEw;'죃V(:E?NκI3OOg1QyUndŏ̞w r"0|Y!fVlS%ZT@>/Uŀ7g$/Wr>MQ.]\zqtf҆ ߁t,~wżC}OF/srG^ؽ[[w橠6ҧ =(8")T// sy'5tɁmwq\F#;sߏ94@8DW1mr*?--xN|n=tǹvRHSA}\&AGkl'HGԆ*ڥ$r*TKLlT ICf@T~1kA9~Ã`B4d>;{;}2/[IyUb fgQX%٦06JU4 1F|$Ω#)єx?x!CquG#}:0oa6b] P*Zc <#~8gyE8 j>"3im|znZwC rdJ d_왲dabF! bqDʋWQju2mrLA8:;x"u`^**MLڛ(VHK@m D~Z"hkAvs*g@Օq`=v4Pr{l48ؘAe̐A_b 6KegK-S?BhcD$~p71cUܭ^ ґ@y˸w̑{94Aj`z'228בD\MټZ=Q{JK!Qʩac!Opq~Uܠ#cNQW>='{]J~ Zu;FXȿϫtE$1s?wQn =]7!e SSkps 6ɹo_*sߣD0aNiۜcJvX*z)VWa^9\ۺ)t)'+w??.L>24}fIaW#ZTi55ntua&.ӹٽ4+}CS+:}!:νb8Vmarmf#l׿L^/D+\T="^+ĜOvbevt&P; |ӎ%eB& ^#aժafF[vz-%JNA(CrΟk6v; 'bRU1pq˺+턁+)*7]ASkarShhW&}brҶtcxzݙG-Pʪ.q‘Z.wyuz$Ly;yR{18mPuba6lT2hΰYzcaɚ5*H{9 |xmcwBHhhhe0ZiR}fHt+0 UժҒ>b^0 )LBO?ʍʣ<|ep;jduԫPD35zf6|{lD$M,8RP.WL5RD䶭fo5`Rފ*a1f9AQ;8@i+ԕTX9_BfۻJEoI&@ a7܏/$N.֩ Σb6uNcN߀.iv@"v%b=/X>0C(1'J}Ǚ^dIY6UӁOE;f#|JzҔBe:3z뱲3!#70ڊh|4i.^-iCgf ԝ0dsmz /K|c\bsOJ4 HzG1~ ~0 Uo7[FX?䔨tɈZ@7g *i'?YeJh!x$Xw4E#e<{L/Fox_i{IcX!`kB*OJQ=Ct7ޒI T6_ϒRjCI[7E@gN5ZK7sY#1VWpxTVuBt0K H.@<D k{]G]AɮSF܋J N^xz'D(}IH-k1zg0Y\ ^zðYQD#J{BWƮbjcrz琸eyHuݖ V V[wgSoVpH or(Qa#6qt"B$rc;sJe!iIi70/,&T2?ЏC k'_<LIf^?G$BZ" 2vP(+Wun,*Es +bK1r#|)L9 D[ =sʅ'xY a)Vkף'k3ǎUDe08#$|_VʗPzvL9gn;Sֹ~dVfF{*^T٠jQd$`E:.Q,$|7U]#9 N?0V!Cի5)FTnh|# BNĤi*T-?x.D.0K`nH](,dt8?y 7rjmnn+j)+ŘN mpb`Uu8'8݋K^?d$ ϗI\=ǣ?˺횞RGB)mȋTob)\;-D(X@\ lLixr0ip<'?` ס]UG}Th1&JV7%-HX.΄\cֵq؅$lh!i&mEzjڔWB{A,[өcm~R~^2rzE{).u.ڱL/ҧ(QKoE9*Zԇ%_ٞ~jii腊pڭnY6noK0<8eC֑sދuN+6n?ju W(~ɺbnNu0hSN >|L(͝9e\m0Z(oCTrf2,f+,@6 bV,X>Sb;(W~oc= 1>\1DZ+/&p * |vPm U|V/bΜ^_h}MPkl;ܕ[iSҜ{Dւ"l&xWՏ}bnz>lʃ"uNqq6q:ooFBtybu;aBqo27D.* 1s}kJL4C i{1aJguk`ϽAjJˤF7~*P_ nۗ9ݰ0^G(4J=M؞iPy_R/A]Hd P嘯TŽp=l&K̄2r-U 3"yW_ w tv0$:C[]xS7vDA~'L$pVkVr쨨 ce0`q $N|sFizp; |4ZDo$_w["*bHSÊW7l(kb'wj/%Ր3鎑GWQ8dpxj=]]A,,l,3t35[y}_S8''pIAUڐVl*>'5cha;cza@TBjneV, )4Rֲ]jiZfL_ qrʃgabdЄ+<֞͘`\1&ɛ.Ұ4Al.:ykĿFC- L;=z2^?M쐢Ke AZ&}NP[ǹ^Gm; mEkX]inD뙾.@(|߸MQ"))6G5N;H/rꦟs2%53q|a#qrN;IPvAofdQg}K/+=)vcw &5r~HRs@HPH\`tvn\KUfy-3V aTR/"UGuu{,!sҒg}F)Xќ{r&lZbrN͋ג(Stш}X[/SRq4tRu0IBβz9';O)'g }pD]#b* a=cwxKe&~[% czJזoԔ"w{C$j6)A$X;t$]T,<MO8yOGtP׮N&tZa++Lv*̄g%1hu4[_ @zKQOi cF8R'N[zYKD e- &l~NM~ %zg#/xЕ),MrcMr7>لY 7[L( JCDᣛcX9e|Bu *q$">ijL 3i%&ةi=/ݤ %4.u2,i{ d:Ӡ?QʏYMIBFhhWRt<&tMhQf;BrX :Dv(w^p)R.Sy(QB4~3@|}1/ģhnGCK1;ԁY{'a։U·^ G#No#F-Ovu`<59i?ƍ1E.՗ll27;wz?xoγ:]'_^ȮS m`c 꼥'(<}TenK{~R@9ta]y(RsMLϠ[p;=@B}sf8)Cc7ޑ0';W A!CO}-xs&SJw+gCSPЂouCe=$ܜ. ϓ˨C {lX?xӺ`*w>*x.Uo;94[Z~۠,WEPAC2)^YЇwCO=}!eV(6aۅ^f-|u!:> %ݮ7^x>KOe3x`"uW˰wjr497̓HHPHoLkuAq:((ڰ+);G5MiR0^ /iRQtF'$Yzd,a'~dҭO7;׾89 SYh ;g/q]XZLE0y43=Yh?*Y8ު,#9Pa#$gb\&_ 4M}! [W~% lE[a?UjɁ_cU3Jm]\ *PCA hj MFUw^oqٓٹ<#[Ϟ F)hL.gU5?$1D E ^ܹ s  9ISH} 3 PTvtL1mN uv|p9.xpt:cF9.e8흴gn7 (8 Ua^Jdg^d9`=*ϳ3zq/:e bs|~ #5VCW{ף=U@fjT#_Jx+1o4<ҹL?10}B3U@*'mӒDk:K)_lAS?: rd_CzIDZ&v4itG[IXOق~߂+݀vL׈&0;j86֎8ͻ/"%q s0\!y KD+Aˤ2 Tܽ{##X%L]s( "S I4i9~Jow'L˓▪^UžZ6-tIj`FX+ cU 3"}=f&Uv*cՋ$<Ќ]:wdxTߦ7}HG@|E$PJ2z^La-"¤SZtHŜw)9 v|DmYl ~LJwTel_+qYsx볆Q0AL]: qP1Z/& rTհ;t+ jƇo#*ҥU-S 8PeY )T OiP$ݑUz^}%?2긇W VVce=Q&FizLa%@5:=8u$G`ʜ]"۞Wy1,b[/"Vͬ R*Y4U 'y(":n3Z?º5}_$Cd$]J_( `ԭBOF%]zDVѽ 7Mmג].除^YqZ֋$t@- N>L+q#=gݐU ~RL%xC1. J]70d/r; <h^y:,egJ{ .|kHY衸r.\d~MvZ&]plh&Dc SM5n`?| ďΖ%$mPo-DxWh(ct,{ |Ma c Ym%Y[1( bjp8A&^` mÅs%xyG)`P cbu_ٽvD ] }r A,7eОe@-%7̩ƻ}9\y}'h;[Z PIw'"Sq\:yp^$K9 2TǍD3&zxO v`n7& ^D%OKmrzNaJh;,['aI{az v9ãiŠJHhGr -rSJv?kuiFe=xYjie *Q6T)B]=MeܼHXN*:8ݚ%og5~:G* l` w̥^M42w5;׉IjriN_#''OMz@cR[y,ݥ0:L{/CΫ^nWQ1179\3c-Y[p#S"À&9|uO5.)/YbHZ]dPh u~EJ^"ZJ[ɻAH*]*Ɋjt:r4FRPB.s3ȣש{צX@A#'w,^,T8nP%ov'4RHmf[gYZ ttJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id5141A' _HS]S.,ʋ>ۍ~=uσ*DU_O#P/Z:ƿߣYжO.;;SHК/ 6MKTXo|)䥳"7uLQ.+E }w'2qc#vWP^Hz{]NJ '(ꚏ";W,bak-/!f Jݫ>H[a5w w7/Ϲ!#Ĩ!j -^=*)&4~$ek/Ў)yq5f'q";./, yvu.;5(#Y>ûa$p9%>v&S:MBt]Lp d!w:;tDT17bFؕtAn0 lr8u~[FKǴM:c/s*(AKa g KRZ0`.Vkjd0z+i[1SqqD69`BA !z Lm_)PRmj{d MK_]%V]l&Կeތb˸gEmТCB7EP5YpoE-{4T7x<|tW  ț޶a3'|%Zz9`Jql3J3DcZv񎁏 DI%gYZ 1A# HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj"9n&nw1pl]%gBٚToEy  (Şh~N\OaFg8@4-BՋXŋ6s3n+uq d $|':^6WhؑS`0О]eg3̿SН;ۦCI(cu|;g*D_'6sQ5ҨZF_)d{HVm ᄢ9 ?롂g1W4f }N $j] ÆN{=]3MO%=yGbMXq' O'gkzmn:,3!`̳}5x#}ĩ*-TE5yțWA+T+Q[.q& 7lG2wK-FIOp;֙U9^iLW\/3)@EQF0C,9[:3$E3@Mu,Bo`j.ލz~]Lσz;Y2չhPtƑt/1n(X!N+uJ-GhSsWߎmP³B F R.ֻ~. L۹d1L(al+8'ϖ(I+"[f8HA1K/%t6nHk&Ay|$Y; 8ٽCZU3Jӣjt=qRI}qY8# J^:3K')BS\/֘{AzU|Xx.a{[3μo^?y6ǐ6|vvyxù9n6uoċ] Ǹ޴ؕ@3?M `,uc!ޥyL\Σuk\ԥDU(m8LMyv!6εMR`mI _W͒6^I<\fԒ< Nn-   Q #[1W% ,HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxue:V𢨺+$bpFJb'v vLk ͶGsbrzv[b\'tJ`ŧs&Ⱦ|] A~r2CI؝Rey!mC >ryN:ƱW@ cG6E'K=<%H=>^L)6ĥTMI?lG{_#6T)zV1 )G_@%ƀᖵ0XO3lYd 2B:u).^ 1a(PNe/#4d~ ?Ρ3§O$kh|(.Zn"Nyz|vZ:MWf]Q,=)B6E߿VT#Ժ yBB8XǶxO )ӚT9#,w:Jԋ%ND5Ѳdߞ()ki?Vs2 4"7wCfF< /"w%{0nLs''k<+{[mv]EO@Vnsh%TU\<\QRN~ۂwf=_A~]5"Pyɓ >1W3g[|w |E#=1Ų擙%jo_e9~3o%Y,)ydTVd#]zθ,#eh90]CVٶFYOm@Oq'[ADZ^\כl %+9R%$ #_U/ƥӫX:zEChA3DwL  ,Yۇ+mkOĖè*S`vbN q"mKJISne]-çǻerZڧY,OEn-iB's%,4Є׊*#V_7EŦ(wr4f$i1%gf]=J:ȄfE0TL jC lnq3ͺnI54 j@'3L$SB׼/A=D9T3'ڲv;1Éx|KzA Vm_ȥ7fcrAKjvE…*D@h*c5L goc ɇ eXƦBƣ aIx6~`ō ayLǞaU+dd#-,>%Pӑy튬j2Bc 25#,,vou o M߶z`ZR]ˊǠI"OuЙ)@K!K^Mڣa)#>DIFnvF1`B+*cM nO3v= f[B!CNiʞq4{'HnjLT\չN~ծiu~F pz_>yOȍDjP~LZ K{к!{׼Tfkkx0O@㱴filNf\ ̽G%Nizp/FhU bx^Ր<0ylʹ_j6;^G?moy$鑁RɛqPӷhCs\z zw@-5F,67C?a N\ Qc|)։'`J^NՃ^l*X.fmx h$+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.MLQ1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id512( 1I# THOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SPTWtPL37Օj@Ǝ/M\t1v3#.u}gh4/vdM!">oM(N"yp~pw6-: ]+4)\%wm#!XwF=N$݁d}ᠼu\/ձwDGHc:94sen`rsf޽E!!h%_ 6 {w 7P !i^ZȉU"oJ5Spk޾LB=?hLm֌(%{xmM\Q_ Y>C _7:LJ[:u <~G~;83\ M [r4W-iLIw;~"=_Ս0Wc޵F 5(/n YuwgH k^fE|q&W??;p? #A$?ޯe7RܥnH;a[)Jcۜr!o!PCѐ;{.0xRh$LP8㇯4̳U!X{-:x $}Mԛ'/Z29M nQ_,Pp^i{&) FAÚE.,rN0iH8CxVHfOFOj[VfSe7$xsZ)TSw% r(`Tڂ5k|?ճOYjd:>zУ?O{بTc.*`gxc>mQ}sPI"+/s؂BUgJۮ߱ԟBa J|4oe\Y0QڠV@_aV'=<ׯq\s}>X Q6-A*|0ba}+R2a*&9Zn-*i샏5d,YygS.OQ}nEl^%m('O'YidMx &}'+n$OdlnP< GHyZcK摦a3y]\38y0'@ yeP@ÐGw+$tb0ؤ6{S9 +NB ҟ5L&A>&B7de>xfɸ| '"J>_Z%/q^Bf%cB 8"@%lƻxnѦ9!vQSG硖-sۻUt$aoL z2[yC>`N Zk&fĻ1bـ/ DVw|zow\ۣՄ ܄qW Ntth1ĘeNΖ [df*_OP;^:d9ux.%_;HzbU96ZUD.XņckSGI.;Z ArgSqf|68΍tw"|?s[ m2#a#)?a a6`+"#!wdgNuBpTTц<1xײiOSIiҤ@䗜XQp$ozm`gr:^sSW;֖CHZapw aL[̚~ Tt>j2#s\ px%K@M1K&~c~$6ScYpkV[?N`>><= AkJc>DIۑeᄚ̰+q<4Z" 8q n A4ֺ Xx]x296"JxBu.8j!='aJȖjdKj@ }YZ8!#]9HeE9XwRX"H9@n CGE^t $40x 2Vw[GA c*UQFA !'PPy#_*L虩 tOʅ^#[̍\Ru|oq5gq STY8Cv[ݫ ջ32?pJ'Qlc$#YZ&OxnvgiQY@ A,!¸nG~dm!3xF|ކ/lNsʩ<{2AifQ)E6؆+Tekgj's>|4x5`S=+d8kzv_[vQKN6&ԑ uPL<h+I2\B H dxz',Y5X'/@@6Fup/TPuwd!j)*|4@Q6ɚ@`.ǖ!m0÷LA1G䵤@!aåf&H \Ϥ/a6j)4My827pgeӜGQOg#jfY@+==#%>x5x<J,F#N 22RmF3ooHIȠW݄.ԝroE#?/yׁl}_7ݓi3\@!h|nl#.-_jX%wZ/qCED_0SJi6WD8qI?IG?#"ܢ3 ^yH>Q  |:7O/31~? YRYݶ"ZF"nU: mgv1l_ڳ)1> J}@&i WZaCN'~vGbRx`5UjIVft܈w a«+ws5jSx1s4K1n)~ IC%z-jE7y T~(cݥQOƟVHyD+$EoCtN<+4 uX ,Mэ18UM=4>%'LԜ姎Ҫ#EŸ੺OpQŅcUƭp0C 8204T]=y,7Jڷ,=*#7ﶿ /B(9h0N0z٫*{HʨPddҒHsYn)$ QѼrS2O>R2@-*Ss&96Fh: eboѧE:wA"v?vaxo&XDcg໦Cn}jp@-DqW͞kq"?]GaSBn ӻN]T7q@%ĴP\cynsntK[r]i-֧ %kh'nme)vz5#jBk00㰜3^W4͢D%( <-K#J ڎO37?)Gw@0c垣k"%/tԖ&IР(ld hUTn\WJ8ƻXEGsw/wB?n;6OPy1 qTlRg w@221N ϿMfwħOWhb<<1*:喍Ϩn tx$̷иr3 97@mg"A":"yGkD4؍TW7mu] UEIfHmt;AU+be 1Ϗ@zv"va俉 %?O+uq/ҞxHEiur{U2mwfay=A Pj %UC3C+g؈/LB&lBjh21ctp8J&7w&Z:N7h>tӰ@, G|SěTfǰk[nKW5֋m5@u@b-Uxf DKM.d@zD;DnirCa/#N:j"wFT%B39{LNߜ;tCZxs",&yB2c35Yc|YWIY2;=KBS|)v8UOLY3)A+z4J2̉9\) \HK+6CI)1) Ȍ=sT\VpȭJ/!A[ܡbi d ]oa%')3 ֽ c'8Svk6yۣfBCV,k?d=rf92[111zvE2/^W.bC#间hwS֛ϊ,Z^n57j]Ya}] g.}n-o'kふ*7R2AqY~UJZMRҼƁAEUd6 ME`Z>\E bs|Q|V:)}|Zb:}3lG霁SrnPȣԁlBn+V 5O)EDt~M rw:7RA:GS|S`}}|!4gV*C0?uCfçʠSܶ?0i>*r;O~QmL8tPg;$x&)ÇE}c6E1ܷ0RE;bֳ.p:uGGk/&ao}II=3cל Ki|%:!F8B^X1?{TѨظJtGdZ*S|M[ U3 [T3$k:zƼcuFw h4'JcdqScbCvyo;Etm!Id x?6=|Ipх0NhM4ߨa/\GSh@ȵNL.,cVߓqs:S} d//&jxPStQ7NQb'3P5ӣlDsG  >3oaXQ_a.Xd`;>>_8=2a=ة`}MkE `&`{Ho18+yAٸQ ]V'ɟWZe/mcje7BtI8׌9'VA t<ŮWg:!CLŕf7q&͚EIUAgH8MjA˫JxVQOYz`8R;p./ϕp\dV0h8!m ] 8(ArRs#Gw޵I/D Z/LD*1{ǧIfSFCo sUF ${$!Z:S~%23*p'veeY sT7Vc~ X"f\ 6@?9tcg2bM1,|&g{Etn||5۸uRH1gߋ}1WKϺoG)2] f͒'i=R5 2 !D{@Y|{:-AS Nݼ~=m.AJ໫ZVH{16PVe]uh).X~][7ĵ.F5%svsj 0he .Ln9q4kfnsO&#|]'}7Ck"V{*PG#/[[F.|)ųB*N˝FV6';v+N($L+qpEkz6E,bߊ3NJC=DYg܀h-烷`k #sm_;E|M ڍVF|e9ї6G!\XGUr}$XK¶WV#ܘR_ml0O;˦e<췮ڙ{K#Ri*F1(_uyڒ*:cߊ8UJT#6ō @Óz d>ngW;D{ƥ:h6.U}bm7xVDZwz?-wǃtsF$Сȋs]dt@8y}R(NT= dl{Xn 17 ~m7i2QE E~f4PWQa$7_bHūaogl3ӥ2jSȅ6AMbI*")Cv{Jď^Q:@T 25Y9N(YP@ܰ}VHwQ磘LlxerDž< 6$ۛ$4 fbO=ݫH]{K+BQEF *7 PC @FЄ@XIp!juۏ0\K_0TͶ_V3{OO2F @k9#Df"8-kѐ쒔b)!z7ȬgKƎm D;OYG ^F;NO_88%sq"e7i&wV2ߎ3%Ik4IbEiA!(g3zlsMS,@{>2S|QjSDOد壵ϡeXRt }1rŌgN}{9o]_wkyK /wsQSTFv3Zx]{~N!`Nu̟|Uja1Q¾DXl (63 5$ [S5.u6d/p~]m.'[Xm:='M$T3Z; z/q(J"CanNv .3Z(m-ߜuF-b?|u'j3Ţ2(i)"XI}"Y+?8)eX3ErQrѲ&4! 10"្7΃t讟9;sdž fYtL uKY[e9Q!mR"xZJ΢3Q}Teg?P}|ҚӔ˓]Tdy΄ JF)z0]) %|;C<WLSǔ,~g)VjVg2p7sƤTy9rsY@XGϿG#ঔ.s ц+ڊ"ݱ![O((m[AnMLX7UlU1H@Z%wUG_ Ş x+M+}=*jɝ' S-9@8#[΢L_;B!5x_E%~X'hrRK I/WnB"j-׹ᢖ3bOHb W$.|%^`Ū}pz H{Ca3N`RI Phm U\0pcRYVckx]^|ޟ,%`3}L}S!Pp^5o&ڱ$hiU!ʉ4W"Q׆9`$\- I&+謚't T (kSMG%VJ;jmuSޟ[K+`p?]@|'_c+8=Wb9[^< /fQxa1EMDAJ_uo5Vk[, t]քiSW ͎[ÄX?d<#kQvx' $Df <.dŇ:G1Ŵ%h$C+1ggBȈl;TQO(/)C"ogy5(,"eNߏD  #m-Q lw#- _=ڜj5MsR|^guCn?|Zxo [P/3<%9=Ym}8wXnVKyYt*3PS[ԀIItҵc:c~3Ssd콧¶o/3hZQCW5X=rTbۯ+L#2K֒ڱaoA/@oJBXh q]+OKZ[3ypϙ-!J/yEನlc*䠑>aZ 'o -*#_!^+vܵATq +o+U *bl'F> |1',ǜ'fQBTB3o|)Ee^v ~ogGSB!WNM~bXyz8 Uklr;1^2N'_3ϘĿޠsl]qE6Jk$D].`:jCuW~6ol--2F$ = pQ7ڝ& b;B֦z-J](\ч}0 hİ_h 3kG7SE͐S}O=3uUSC=E.ݯB iO0Y6 ER?ikf8c2vud|:ChxRy9hq}2;m=pȽvjbuSc@v}0XgF_~Ss:Ͻ8^0ϺHL e9q%1OSDc7a?955~WBB=S|Ҡ:)dW>Uiƥ21Ohھ*tXGJ#ξF8Xsd{RWNN`c,tUjA V$jp4G9<"g4K #6-ttcnC2xZ:\jLWGsL!1Iuӡ4E*kզWl|KbmoqpdϛAFzrkYolD{ +o%g,/}ڡH _kb}N!q lȫX1ce3R8Ҙ2ƄV~ԘAp[wOYt]Q( w: O"J1payA`]B?A.11}X^r6`;:o-k @(3N+Эѕt,+s< A\矰}1WB79Sqޖa*iy!-pџj%mL量x?1EOtYF&t]{QZh{UQ \YEe ٶ'&6)}Y- $u0,X "¢S~EHU~9s@*o㌉y8)fp&)űFQ=pf.J9c!K3C|t`^מ]u7ވ%n|v5آ{EtD:e77i9(O. CʚY`6j$aڡ(WB]mQ">fHhϬ_ȑ`ncXjG~J>~7K\t5Zs70cP&혐^ߍf E.u 禦 9֬80$(p^(vO̳{;)IBfHz@<zx8Yۉ{Av~~̿'u2[|u{KN^xF5)\Yg n'i>BՎgŪkI֍2A.5*VND}D3CY+ GIٞnq+N0XZ Or_45Π3wľ#j?_9?(e0*B9)-$p?4qԭ=ayvK%;,ٿOm¢vXy|aGph Qi;|EESieP8b缛q2c\YZl@;϶]A>%_u# !6W$mLHL%H'Hzgl +`셺gpg, 6"\ꆛ+͖,|&d`lb4XvT&-+ YCm*n~z;b0zaK/)M/&X0W7^ݣXl֙vG@"b<VxM #{Kv!gxaWH$qPA5!NbBDDy <4hrrz%'Gî{#cA]qQ(!呛5l vRLy==:w'԰5OZxtcb/ñrUWڐx :hx/V2}9Ld[&*+&Bkm1wl߰!JkcLX#HⴵS]5Mc`o$o*_MP=e~Y|" ^>bHC3{Vy Ë^Ԭپox$'TAh]}_vyL ?;JXv8>5I_4>t%-[7H.L&Q=\fu/o@qؐ, W 48GxTצ' sMi?a*lANP A5ɯ5CO'W^خ&B=2 &>'ޭXyM"T"p" qם1z[ɒ9G'S]- cd< oS{l׻ɩ! rf7,H[ b,D(f=7Q2)=&WAiLF425|pQ{2~(`!j,++ǩm%'xp쀌uGdPXt}ŏh'fG;XL;]b>FF|K>wq*2}^#Lr(ޥ!?ΑtܤnEI~A HG| #R\(5kQ7S +Is81"СJϚt j2h'<(1f=2-6l8p:G'GG2hK8΂6mZ@Xʓy0ݓDL'|*ī\qk[pQѢTw)\,a,e䇽: -\5#Dn4 b˭ 6<o1vީʛ9].W`RnV7RM侗%}?)V2o_UbO>Ŗ˷gYZ **K1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! >]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l> f1l{bcP8BPQFv+v&5% -724oyzkVܠ#S6ۯ[Λ6C[o㪶t'%g\\Chiʚ7=2]$DY-δn :q(7Zginpt'sYQ!=n-g9\=v׶zzTI^b[|"41`5~4>~a`k*T_hNUԹbiWUT ;;A}3oIvklptͼ yoS!kЄ-6sE_ISYՍ8Z"CePYv^05k-HY5>yHyAmǬxj;ŤnUbTIrX- C\Cj ~0#ehha1E(Ja2 }űFѯrko{͈$!l+$jS zt#Ps ƀo g%]'֎`Q_03 &~a_[F-`5zG="yR+,pxN2:@$J"%!2Sy9Wj61^zyвJuGs"rKmӅEmm[v8X^2iXK[-!`HɎ!d7mINװ6F8nlV`ߏ/wj7LuUQF^_Fzjъ!qĥ>_ceSu: R⌳ѧl_)6$:q|e&palw/Z47x+B~ !}x:ri oE^EWicvP>O" <'ش)4UC3kfww n]E2Pi,$x>OYn,WW.U( 6YjU5y⹇`h} 6#t"z6H2D-%?X_H(6lobԙ/!%4տpϰlKo)\k>ĺ):Ѝ{jY&݃3 uK-k_Kw*U'푤 ǰ6HqGDp_r;šIX(OĽ T8aY}ZCI!Kll=~8pRŠ:G,ALAruy^kZRLs!k e͎tܱi1Z J! uC:B>q#S؛G" Dܲ0v $ g@E v忮TV4"MYQ:ڑ`y/y";ZJm{' xXeI;0m0K5+qDe~ @ 26!F1O(_n| ϻ]j궑k;KJfg~">8 $TVuOۿ:)zQRKWd 99X14~2ͣdw+.} frYSwwֳ6Kqk|"(HTՂO5iuCF ,II] 5DSMFo=5LM}7fc }3*zrFɌU;˘eQxdXߌ^e %L?Fq3ӱc`;T}aFeFU /,=pZHQlRNbƔ\oB8//C=;267mJk sl2 o5JʶN$V2.JmaUX -:$ѡ4i /]ۏ2aȲ(ŝf ]obkb{:dSf/NzO |&^ UT>4},X>'dSaY!lVs_  aINj]Y$;/z%QxoJ#J1djխ'3ݳ/;SrmS^{ZM+i^ߤv$r1 Dݥ^]&% gmΠ?b4SZ| =&xqam_5ŴNY17;,!6"f-jb+OX@Qj&oqs5^Qum4QV5Eg'ڷ#9 vkYEYCA8%.ٞhhx>s4<15#alr}Ya9 t `FMtvLV?Znx8"7Rթ}Jՙ7t3sQ--n MBX 9ct5m+t f&N]R0la;,5!=Mx~\q⮝ R6Ud H q'k( 6=3;K /3u xa1hj"(|bwpVh)i<6﹃3F3q$Tw6ܛ4>qޚH"i7ސ@e~SXP4atq7gUE3!ܒމ-m1Jwٟ DԁZ;_P#~iBxq> xL5n#<'&7!VxM.z]Nک8ʡ*_zw/jWH`.q ?4,fHl'\=099Y /^LAsvQq<8)~Y g=j۴>󀘆yUԳyvBhq}ͧnDqE] B Xgf8xi. Sa4f<ϧToMP Oc㒼v8r_F"!5T2d:.UZ*ÀMC=Š{V VCk~ܴcыۖhOs,YS#De̖)ky Z#YᶅvL m|_ȸt9^Rѳ E"e4&`7# ^w C8BTT؎2$ HFu6R32GPϜ^k &],`# }d 6$ +a/ސ-'3`a@_S T|%+\)gSV|8i3'Qk‹,b ؚ q~ ?^vt }BuhNWfR@D@/('{RЧr}/Qo3t,=2Aq<:b>xTSOȻfͩ1c˃W/e6ClMW,y2긘ء /XUc)ۆ Fm\Q V#g='CCcKL;BLpP>zLI5%5f%(P9l^HnLbu>L}!tMP۷d/4FTn~ku`>uVbH+"Ecx#X3W*JsBU[gD{ bSd0-:U"sV}ψU]D&TބXm1Mj6OMҺ#dl=3$Px3]D5xX=}TX% X"F5@UyC̛yEBe'ȥzg6p,S/+TatShi%!'I5Ƿ>3ƝEg&wG>SMB$=!w`i>dI@MLD&,%vF`m"ęL~ɂ`z[SV-ؠ2߀2mEWB(gט95idoP1iFݎm:Oc3/e滯.4m]?-H 9r$7c_&,^]"Mکa ONS`{.(>/;tc)\ ,"$wkn8%!ˉ+?V5{O ԨOƤ]3`ct^~1ixjчĿb9VaGH5⬩7Gd^Y*u:&j%6v Ř/T_v ݂LWA+HqX70S{($}WӺgӴGbe8Uf]ϳ.w$oa"$[ n)-'hw?9`w5˄oG0 aOto;P[3k$gFzocX(5S Y!F8pŭ S]эI?jѯ h-&"C^ݣ8*p?!rʋ^C(N$(5uGUrKSiY|:ɑ\YgLS|:I~p^|w'n8FϼfVx*ؔ2 9{eJ2z0@/>Oǡr%/qb@BoϤ<;-@7Tu"yN.m*qa3(oklH"5QΤcĖ#qs01H |{;\ uLU(ZӘE<ѱAJ m~Ja?D.;o,2ZU`Y,NDeIغsZe;{H{Pc8An/b΃ô% eNݺ g2ehH3Kk$% rJZx-7,3Če[VלEuj&7U/uYt(+$v>wӤ_ɩ-"Եt4ȃŽ-/ W1+{ !ݯ۔; _]!5EY! ƲdĨ?8_׵źHhRys1Mճ~mjפj-`(E"y0 )ha%[~(p2AzG#I?6ĮӾxR LܤrBmf|VYV#\ E qE3yHjs ҬjIZƄDMbp48u"P5C&-m$ l# vxJdlycL ?RBE4&T| HXd9T4 ŦǴח~ey?訄"(m"N84r"HE35;h+V1 + FDcȈc$1pW_ětgVL?5Mn5O fW_O1\ ,^k1!TzfTXfuŴ!qYָy7RhU/5]E^)ݞ=%0o4ꥌXqf:nN큈w7^P6,uد|,0l4vòT)+bv>|RrIi{cg[wuX|Ȣb&Q ߙ1qkxqVC^ZqiGG@VTLG[QTjae8mq"{8F?]:j.gvR~, =^͘#APP L7}`zIKZc]ۖ ecYpQGbO`3ݮP,T"kS]Q!$.{+ӾJ u Oz,Ďal`+qx87{4 ߛרsl} =)wHl&Yv!AoXwfѝFuM֘.V] Қ vh [?+3xIe8-Y( PCd ,A2rwU$Xՙ5A},׫0R 70wi%KE5\F{[l#QDu#z z[H6|iZ-@2=X3gi\f! g`9n 0L*"_bFԤӐJigqk˹Pu8A=Xjr472k[3#¸DoϒE*QH+([E!娌. - aP??X R1ƲP/dox?xO,YڹoWG $3(ip rX0'1\S ʵ< aHɏZve7:D #In͚;$gK4~ƼDHF߲HL3Y +  %Z1S~~aƄP{`o ցʴMLb Y\ZL.VVkӞ P7n- 񙁍3Ӭ.%I6[/ nf3@c~B e~6%riXl-1txgq0xy?2H o(s&TkƄV7 d 73IfW"lbBXe;=Uk&A ZYnOI͈E[]DRĻ/\H.r-6}^mbܚB+x7:nA^yu}TsDz(,B4QR~+ERJbvc-rUd^=O$wv+H?`Gm)$MOLj_T9mz4'aTTo_IkfD'ۍ + 3MI("U¯mJ;W1 5db>I+{]LtsR)Yilv0i[h*>C=](stKYչb,:'DyҦgl7#RZ`vK{|Wg;bk7GO1 |0kgׂ+ G[x'JMħVt0,3o"z`Ů*C QN">̱l? `zϬc(9fZ"+&X gA )>>e+ HY1#(ID@H-iJX:>R skᾇ]޵el/0y1?†k3Wڰ٢1k ȵs250U7 i)2Ò2N5s"c/Mr9AOۤRIyD+zNAs}|߾H7;MIF4ݏZ]X9#Sz 7ۋtY0TIaD>َ$TAa^>ʕ_NW\\'vqqƏǧ{ Q,#2XtWv6*Hņ5×v|GS>sarH7=ɯ0@#4{rwkWݏ>-L@qov#5n(jv3l->ebۣacT"A +_wp Vhڰo:a-7!\_UCL<'Y4޶?pΚ>e|ȱ—J`.Kc&]bF[`L6l{#؅&T+5ChLLdm+ˆiF!"̜8t}c%|K\1$2p6є$UBW?vEڎגR:iiőSb鰛=Y>-meI@S-!*ϹDzF6,~ ؛Y6YaF bhB U1! Zm,P_M`Au+)agz읒NqRL*)WC6Lġo`w83t뀢*>yq,O^yf%ƀπS$Id' U0HrYsj𱥃y/59gOXTz*n(\'S?hBZINȉ#Q4,3 ֡s|RfWu@OӚBdsRWaKN&Go?0;kGr%vz`ϸj?2_\6s꫑Tg3TKE3?J"vʃ_1?קGM7F %Jui)'rXk].x>ސ-Nͽì>ul/k$su؀HXZz{;&XwTWkl) LP78꭛.E0qid:,AUd7 e)PO4+A켂=B\9e}ݔh3? _%O=FĴq4uȻwŢ*ↃoXN\M¤?kx"%w9Cv0FO !ϊKFPivN |KЄ^p \pEIm^{g[2nwpXE$;ұ  IB+R>=> (ș9?EAA4EWAcTsލ({G d2e} G x%$3fby|ǗggrγtrVzb}`ִXwD9ͭ*/!"K0ʋG++f#ZArkpKQgJDPniQj3 e |'J&$luԁZ[P}BwD0CDO 1uxl|_Qs(ֻ.M&[_MWݻs1'\$iQ"% )?P|ۇ'ΉNQĎb[ll|jm9j=L<% ]NRK712|r2C},J+A Y3I:&EY3A'A_^_P]SW~CHސl}]i~\np֔ 'jˢ/;]|m] ʔ|LNXa?+`a| K=mN܍e\95 }H1OW=P4EHhb K-n"%d r3*p$ϹpR"d iԬUkݏX'Co%0)) 1QK rX&a$a,[gv ׉16'i|Ju1s6Njos ʹ2x3|lxEZl#zw<0&"4cǵ.` 4_&aهձ.q |VL Dv,-hp1ڜEb?IAy #x~Hfط72L::+|j";*δA >bn$ԥlClE)ɧop'G.=:.d,WF[tRG uQ FrKzPo.3D-vJIRq%OcjE(. ,ni "V'\w&qzֳ|3ʙyb>=}#Y1rWI}o0s@vzHm}^a K1hi % p?^b< RWTMF_|/JbjFIo^ DzLs,k&JS>_ 4\v(͞Us!;J1'4-ϟ?cXL7Ԧ$ աrnKn\ G8P*z:vI#ڐQ40FJp'$`0t zwpu8B씑0 ٙ~N36SۿWɧvdk@;q/:ɨӜ+=oߔB.q_5fvZℋRC"˦ r醚&L׽ _jƑ=fHA!ZcCS>В?;V`L6 ]Yt(T( k jfjRul]h7 qカ|JP,8F́!!xD *(djt65/O$ 1|4jɦ8rơϯR[-ߞڍj|[cjאUU RD*JS:S_"mfaphLbQS3[w`w~ 3T.@u3eNU|_TJeKhj7(B>ԮMjo{n$MU=F'E10:'yGHF/AA+#jZzA^|֔ɑugc>hxvw pbȸRCS# j oE%Z[kSuj8]@QCxb΅gd1kg("Fsc7 #k_S3}+26'J+/q~mHj-ȕEhy Sc;1ȗ~w&Hf iޏ} .gN ʤmB~a-֞t4-=BM9e rfہ%S6sHV [Ѥ:1,N݀T1B:jzP8y" rTrv-M'^7kClPj>-W1{:j+ǑhD[&]6 ~djk5oN-ZE_=C3zb..ypȦܸ*bp'ºfMIY QoM_/flIE@"u,qowxwĦjx1_߅ ':uKKۃl?K75h( /~OA;X$qѡ7nC8' F}Lln3gYZ   T 1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6E]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4ʆO=`>if4ҫ8(-P={9}A[/mr%uoD ܨBf3<@ B" 0&#](vάeo h+N r# -aiK EChZ $ {=XW9)Rt8^{䚹Ey!hI Jh!G:vèp+LDC\mZa,~lbP:I e'2_bR{uO6Xrؤ%(8<{|Aؾ3 A8ۥ5Uټt>->݉`dskdpfIT&Ϫ,b_YߺM%˥hU:^SCQklmXy{Md"rg@"āW^FͨBN5*URS]EGC3T{nzb4YG`蚎.cYA`TwISΔg)r`G+pf3hk$5 kqg;Ǫ5'4]}Jr:1TWȵY Q*k~ ȌAEPč yoFʗg!#mlaZ@":pXIKu '.sLq]|kLg r3vZҗ@'A!B/E>I@ڡG9:=7]Pm&J8'",/0y‹8v.,YUV2!ڵ.|8)OpPA21k\޷ȡ7vBX8q_P<ؓ5׮ML,E,<D3_mnLv/=TVtP&HquS"5| /]HO{Ǥ#.umI[&,m Q2Vwwy9VۜhvsgAuxJ«xpY^T98X*NdB^{G}J@Usaɯslgj8 M|Plz'zLtUꃞ^@˫ZJ$Iy$źI?tYNu_Y;?6 AV˜|7mۅCG }dEn,3W WsKr 4Vȝ9Hlq pgF^=f %7ǯ(fKl+E Ѹ>~geL^B RС\sKF/]2EYHқ'Mq Ԁ!ޚNmYH/j',i‚=0W. -kݠQajʛO1cA ؑ~qPU<)^nydGd-,.84. c[Bjux6XIM b«jBi+p0Dg@nx +`7 &`뾿0ZU\ķ63+u;3[@'HR~l vU˿y{re+9פ+@bgz0#X 4nZȡ>ļ߱ >$bR6\ o;x ֜)&"9IZ[R/K^o{oMPʐ(qZ5!L J0. |"XJVͤG1'<- g>TN̺עqd :E^#^= =^w\[H,j( ѝ+wwL~2j%3CKA-y(CY3 ʰJĹp8P{Qi_a+/'fOЭGњ"!~@lG=yQL(0F>+⼊ υۏ8N|::TC]E n  rl#wBUllWkvuL ˃VOBPҚ\6|r{|s;2!]0Xf:hElb>VW@s3]+.o8B|KM#Kb5Wm 䒂3;xf]F_>V1MTb#>P*6g0&.{_dxc?F?~qIǎ>|2)Z,i\f<=s ālG[,nЭllЊa⳧ؿT-[n;| 䦆 })8whF\'r!FU!f%`R#[#>{.(-ݥ62l3LV<$V2:y8Npipw/dJ< p9[P3(GoK!΍RG٭IQT@b6434#FvTTn$ݞJ0%e1A0?CzzW+Fd0!"S\c ԐM\99HUOnYE%Y).vZy:rP9aRKW/}Tq]n쭉mQ)Iu~m]1?0c҃)8sbC}xhdY'hPHMݪۣphГfgrQGЎ:~VkW=Y}_+fNY||^D[v~YT`3[KL*@=3 <~Pi%L-aȫ>%lGLF#}Zvpe PuĒ8&j*TX2UD01w5:<Րv"Z6~NnV/Ŷ@GBEj2,l~6ɜ5x6r,3. D/ /Xt/B%:ranQyU7pG&rN1 5JlIcsZ*\bigk~ݔw~+xs7h*&D'][U1 W־)XTײ9Q^ Ξ\aI:W^)(5 Qh-pb~% ƦA濠Q]3 )h]3FMED,S" ԘX°cJ Th.txaѩuJ,;0L]⡰$8d={gH@s J1g/]~bQ[&Q%тFG:{]]s\+OTrlOTB7vbK#;aRʍ 1lM~՚NGn x>R [ x8\Г`ʪ{lW0eNN}.*}FNڂy :$^, fw!`հV%ow-ZbyaxPc&3/>4US+ډӪd7YT4 ߾-UE:FԯׂHg:26e< UOe ާgaS=4obv`]hWc5sx*mB|%RJ>NdɃ8Y{-r!S9ɕ,b=W4op#: %4:[8c|6S9;W4qLSn": ݂Mxu4:]t3O? 1V *&%,*]Y23myo7͕xX8'9'6. SݘF| ]M&a%vgb˞V=CIU p觉qO;-fsϺK yzCb?T7y &WK'NYH]ܭ'98 % E\[ݺzgIal<v!݊,}ynqfz39_E:Ɇ<~lRX2ɝN@׎aAPi2& FZ}yg)eW SEC1E6ozɵҼϤ6hܢU Cש|C[$x`Zp, d3X`\e!W5aL`Gdžӧѡ?0% 6l]1yQ.XQs<'>JAFߪoh5׎4됅X?24b/Ϙ=X'v_na4jc YM"qO uP#Tڸ.3 ?Qlt;Ӊrg y·>hGWQT0omNQL 5) S g|`xe2܂|~V|9J9\j"QѶ,I )k*EHob N 3[QT`zaRZ}:ц|Ŗ }Tk''h*<25(ggP^-[3l%e<+a>Բ(oW o+&ax?[+ȧv#6J]-cuсsQ4Oetp_nXW\igfc}a)U|1xr4=Y)M]vθ/L\~*m8jO-)5{)0ErR];;ju(pvJ$KGd͖ # q2 m3j31!ƍ'H %Q^;|[W$hRkDi/)v9Ҿsz`Zӿ>;VV Ū{~\]N stXn WG>bX;E)^<^@(_5$$-si6v+jgrdJDKG=N)yE;h=r1-W )ğ~{bR6"fy֕eedu8+H߅ڲ ӯP7vqJдRe+/icD1O9Q=xIw͏lK /+KyU; ]Hj_D{(aY PIE{B^#PIPAMWck XЯ\5 5t*>Y(}Gg8>S,4FjcPpyXC%/k?&u. CoQe ,Q>NommӛvhlcV78z-0?]e%֜If;JJv ,학 .:e61Zi%GP9VzfJD.*d#)َ, f#яJ e M9\K1>+lvwqH6i|KD"@.I0ݮMk$-3Tw5KO8=D%\c m>P/`u{=$kOoBNcB3 oZ qdDN%qEgoQ2}-EJ|T}N eHI1=C`[~_=.s. ~ AE7yĵ~qlYbs|y W2ޏK8g!;hYTia & гb'kr)e]f(RPh/H2-ɚer)wZ e:C`p5iX1!`∪RrMP@5هD 郭oEʄ}R#34N,zq2럱`0-j8=u-inE})XCݢnPGf??vΜ4hC6ޗU@gil~'Ҿr"lnw7JjWbcO ?ز"J[JoG*3U"*"ZPU'y:|S\ Ѣ˖yy mpUHT`6>XoRBqbBՇV&Q^?#xV+ ^򁷿1tWDq.TΓ 5ojkӱ*%K+4MğO,D4zP6010Q句g^ؕ gGUV@mbN}<|MM6o^.yx= "}pGȱm;DP#ǼakAZQMȪSEȤgz %[G5,cz .PCC$KIok˹oJ.@0!;&;Kno^"<ɕZ^o"SyW(ӳwsZ t2: ~wZ:MlV@V F_9>lsE|^_/p̆4R$4t/Y|$m,\'G-6VgRxOwx[s6F9x9ڶ~.De6l1lyӏ :{63^i~y;Ѧ->ژ'H^huEdm [J5@c%ٸvTpm؆*. 9d}Yۙ HqobBtK08[Mؿvd]r,;3=ʉkU4N#))d/o3Wb`0Fx EUBՍ X#sTf\-ٞ KPokTA Xӧ&XeTl\r=x_bףmxlMB%<+VCʾ/AfpM;>^d"e.^=NNqOMgéiYx_jX5Vd@Ŋ:ZUúpʶ8K?\B[[cŦ)M*KNb9rZ綃]ӛJ ]rl٠ !-6d,xp-?- +$Z♶Ԇ'ֹumjfF.2S1©} jeIf1?@jD|U5ϑaV̉)Ʃ}M<҇L L!BkvF&b@*7L;W) .d] c z$IT|t7|zy=N5wJ41& )~݂Z4a+;,ns@wvULTo/UnzjJ2eˢ[?jfۛ7zVĨLm< }T(r*"幷rΡmꕽ4&V|Ru@+ hChlwV~IH󇾏4@ES\fsE()&-Ǎ4p.GMh`,ʞmj?K}|N(7RPB)GzС7q!>N:'t\Fev2j@ /ƩH7D#'<Ւ+c-VndcFE"r&߾GBZG0ifwxe'v' ݆!!=]2)1OR60 K@{~,(]*2ZnKI5O,!B3V<U_6aIiN$O{\U1;"ۑ>Pi"D௭릎-ѣ],Ag%_`f9w%֋FqbyXk]"܋.fiuخK=iqZǃ%n/=2ghƛiXNH-hW><0`®PPwZMxqZBrmN(;4y0-'&Ik<ɒ.}: Y, ѝJb352Dv:Y0k[w$::c00rLTlڇ^#] Ⱦ^ҜZO>JlBR_N~j-5TkDLfND&0 !)η3{ΣM'7MB1i\ѕ0%Gϙj]Q" X~ R ɉEWPЕ9,Q_XX%[NbA/'Kem!8b{3w eN>X푄YG65:f_?JlL4i5:sT(Z}8|K4``PpNaN.jU> =8(5L7Ļ93[|ONiU! 4Ⱦiad JF[nm$v-˽ԻoPM %&(uY)smHvqz^&iddASŴu=0|SمLEv/G̹t.eJe`F'Qʼ]ZY5DRb' z;3L@~;5+|\Tωv/dAqXZ J[=ǼZjZt鼕=7dÎ26iA|X8v` }f2sj1cEzy"dXŬ "\AnÔIv0$1Dﴥ@l Ш51uwwpЋF,y!LtrGR4 q*'TrȣBbqʺ1]!tRnV|0XElL91"6.82X/5ށG1uhQ)S-vwK:ۋR J'# +ևWe쭖 kmmrε=Ms9 _w8́cqCi ,J3YKet]?)6W ~q uׯ7r%tDϿR +_UD~`]XE-OFsvUYDE-sIa9f'eQA'=oHQ VObVGM^JpRG܃qىgww_})Ϻ07XL1 m(ot4ޯ>RͼWnW{tJyR "9Ŝv{xRncVMe8Nc0.l>NbyـW1L;#+͚PEd%8u-ѝ6n| M{ M,/шA2f&c"tq^*;!7Ln)Bz[v6oHSjA?Z6wS<nP}YhAd<,Yϳ8u2IA ~~w{Ҽc300mA/,6l ~ Zf W&n;UgΈd7m0ѧ9̍-)IUh ܣDNx+!j+^Bn76?6oIV\Ag{XKaY~CSZf=G}M1 O,NFQs9biHXs?MdLD*'̉0b@y&x`Q[寺.iPNJqnJ v0^' ZFTbHD痦?J z$~`0>B;J2e=4^C]OR4pTAaFs L#\yl-g4hκʄx ;?>9K2$l'["kY5f?Π0 nM7 ؝Ȏn:IC:(Anur*־CMיB"35"姥VaH+a#QĢ}Ud^ [/>);EA>| Ѥ+l~bӍ/ L2R_o{VẂ㴁u&{bfw>L\ Аk%UF;0p܋ӟe bp3GĎ0v̈mS%t/e(S5qpngYZ \ 1W% ,HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&@CXbײ\bZ *9a][eEбJ+Qܻ@>hˬzŽ$ j?_ay#sb|\h:X_l;,^肑5EY:ą8.dhPuY8_K1T돾RBBA~K'Ohr7PD0fRerO0f'$UR AП-q,AFf}t#`dMd- @5,.dmdo(&Rf:!G3KL5=u}W54 jÒog=Vk߶qdl4. w?"5Gu޷d9yiƚ oAM WDmףw.W4y~N,!2X~3Q$x<X)ga6cq #OE慪@Ya̩ Mfre%x l+/q"w\o״ u cqVse16\Kէ]44 C&dL;O")k<" LJy7`9cfb.`HF֜kcwJ߈$5,jk K^mITA҈}^Ղ}iGllzoe,eJU zXO"[ϊ ~D0jCU*tm٣Y:HIa_Z=ȑ5 }_ D@/7>񓏩#"d 3pHyQJEPK^'Z&'AM\2n"CQph/i> 㽅,yQ I(߆cg|x%O|ٞRZ:wB6h2_ UX,A#?EsRxIGŀ+߾pD7ɓ4{z<_B#}3#1gF؆̋+b5;e-,VgxP{^ruQ|[86bOV* J"oot&Y}=8/_#BH#Czr)4ma$P7#`kz&>e <mhl2+94yj^y.bY \G!}bnRfp>*"1UG#O~zTJ* . 0`6 $‘@d;;I!{4j$Q)oS8 >6.SG=˖ ^gX/N\`Pa#Όg٩}*_Z)"`/Je &U{N]Шyϋj ebuon&sj>X\XN㠴 k | 8 R@=G׶\jS͐Gby MW}"6ؚŏpv xOXd2RMOK:aLW{ՃPLtJ,j>k|S{c1ȍb%4͒&BYu2t=5@–H-zNq{!g[+0 YHl]{A1{Wj?&Z+4& ^X.`+t1_o-8#Ckt-)0䝂FJ݉c ^"k|r.]3&ce⭂ `4[g"UںjsBC?uhZ:mP؜-!~68ThLA>#4OTqgcD+7g}g"\B JOQLo8%*Y 2pA ~@OǸ! UWw~_9Ć)٨VU:Y@!CbΜQ/ND5?8C43C$J썍<\y_b2 ]~s J5  j;&g%e_u6'$d 3[IbYh;Ī.1BRsuV)؋P5Ok&>u`z.<ﯖ;T= VKcoۮ ޖ9jh"|cX)#X'?H4 לUd%]UG:IE[&*_Q!hrP"@ rcM쫗cnz=s0LftDdG mx5xUYx |PLXI?&[wnd:@ϖ<[XUVKk?M`m5 py!* Y\2óbOG= /(#j^Pqߺ4zp~aWߞq<=ZG3j5>) RL#8$.^m 'o@`#O+Z47[Rnl̂>QB#⃮ื 2ui2(@,n b̎Br5L"t9#iӓq[7.]g[1.^R{vc4DQ}켎ݏSo\SAߓE# bw6fiW F7fM3>5 ^K Dc-׈E`&\]c]ALEXJ <njx<zи N9t4,#.^/$QkȈq .npk{"axD͞IJ) 0{%]z .^f@5^2"R8Ү0pUiVכ VTDWѕԎP0^^8Zj*g,Sͫ1%j #Anl/2CSxIqځXAhFklc=5xwYm} ¤Z[F*Ìv[1 ɪV>'#w.Z:)fͯ);B0#S*#Xu@B)$kᒀ{los +`-RY]"lwKb;oS{f7YxeBrge`HZpu=QouXUgC GԢ76OЯp3$c7u4;o]>ڍQƙ|hIIvٴI0[zҼo5Pyw ӣ%¤%-{^)اlJ7pvLb2.>icͣ8;aQzP /C8ݨnYc:]F0PL(ji]dcܻrσ-p < H)1;#fF 6KX]Ѽȹ_⭱b)@aUƦ/<E+\OA m8տA"4WHjI4U@v[ILO=\? ?P|yߌoڳ>+qqpE$د_U2E1=m'T+A/Azx1}$͢$%xg0'^Np4rI0]l7?@_!b),x\0un,.0(1`A MI$Fǖ7 蓾ŧrO8xg5ЩLRf %SyYg M^JC.*p)Ұ16vx[KLN22aQƉz8[1R(Z]πKRTԽ;$xh8~e&IsB(6s}j1=ؗۿy aV[^G}<m qg?&sNAz0㤒ʧ|VbajmTT8zI5lSN|[c?""W1wy"YuueqnY*lȝcXL dӯ"BNE\_ll}"j3 a6 9iJ篓haux\Y  $R%ӰbX/2̒a;. 1[F\|QYZ{t>g79BSga˜f+ӑHR*ǐGb < q*j3&"E_?Cf)RbI4(-oz"tnaP_&?+ ayH&,n/${"  FUhrtfqKֲRxϭt!jt} C>x<=;j2!nlm5!\!^tb-K1T~yWfpAy TeW|^)>e/jnv'~'ҝeۍϤBW˶P. |~v8(23\ourPI >{ kuJyAI*gԞN+95t޲El|$-~u[<9._j !fB:X4DB2IxDSuIC}b6F>00CU7Fym%Y૓jY4M2n` zU ?ҒEŬ*E10;{G?>5XI@.jD?"qYUw ktqdILxl1UFpݦn's ZhATn;<T\Q{+*T</b`J/뾏 @b[q]jʒj)S4V*n321ēVz5gKGo92.L|nlvbx$EZd,{sX|%(a]*ZmP@[!n`Ǚ#8Ӹ_(CWeӃi#9c2= ;'A$JB.Jfٞ: &@k1>]H6h'bliVe9 ҫG߃*MP`$|ģLP*%Z?:P?Uj>^T/˻Cw)M1nΦeaKrͻQP `` 3uH5K(juȣ;lMf ~ x9j"4HZ;y3k [ncM1d=>6*5:6vmmN/iZ"ƻPϜxR.U 5RB~K/(0]6;i89_! GqU ,ОLu }/+N&;"_|&X9=\iGDžsj-3!C iYi@zEs> Q.֜(RzXNyAm_:!FDq ^}% SV.?IǢl\ <>ѧNUّknf;h`//!y)Gـ8q.,UD8Ivi g88)o^m1yTX:4E9iHKǍ v1ָZ>lof3Dp.XOfdݲ`ϲFpa$ >{A6y@wI9z΅jJ r[Ւptzsڪ볥_!VZg9tn<-&`+:c3^eE;Xfc}-d,fp&vBʚzPpTBP @4{9D11AqT`]qt: \W0֓EEe_=>gW+eXg>yl }u{wm[9@XQ49LLi@`JWC+ғ`=ϼ~ 7iM }gS4I? s^( ]|"oE0%׬CNq#P<Еҕkz h; +8;߈ Dj2hS3ms/;d! U3BvdB|iPIV-䐘.ku[t<>m,˻H!1O2/6 sA#,ǣ[BF4l,b%@nH"6=Wub;pBI^(4rtj@KVuK/9A %z$7a[ZHKs{<πV(VFR8׿UN5<K!83>a#|y|,jD* (؞4  djsПW%R ˇ`~)S361ጥ]zrc{DC&/p-[M pHws`WIbpĶʔ-'`܈􋁘ɺΦɈ?_41vW%!8gyn ;~K"hCws]P<e~ x&+~ts|c| b`Vm:M6\I`mh $>v(n^@X, ,GTjdBz1\ɶsҝp fzӃw:nﵚ_%)JY|0uլƴіOUA[)Y.PZ1F_*w|Z&3BJ7o$p2wI*AAX aDId*n{{Ӽ6w;7YcD>ƄeAHt'{5!r]-iwB2][H :EYsIw<@ͦfF&3 n𴂙& t6XNH+vl""?>֊ͬ'9o(;jᅦ1@#a  9 ׫hDTq|Di-SQqf{PyǮFPt#v$N8 &TJ_Nt)`΅$4 d$YH3Yg+X×ձ@Nb 5{X~T t=Dqx. ZMn⪚r!O p葓dBkhʅN#,:`MZ\*TrڭPO=_[D6-{9 MβN+gDž*^b[^3l`aT_ O!kHaP ;W> NAE,J˰?IkkU34y@[UwC1VH8b8e /y߮28ӻN+o err@!XYLt0Icy S %S Cl .?m [ݕ,Pǵbu`AyOT0rd1kFjzk"K)2)Yva}'^L>.D.W=7d-5qfAL U%@ӛ(vyXsυZvNy kiW p`Y @7UDjIh` g]5 s^L68qC}FjP)ϏJF֨6DՆUIŻʏR1{$Y63%dd!V@w4H=2NuEAɕO~2C0\Yb %ԣ~DjYSr~}v-QffN%= NMWg` ~VX=,:GQ R)w\hvReIsI@+ۙ]o)"D_Ai? _F&Z݄wo8}v"vϭm %. 9ln@n_2{cWAwTMQ$AưRv8~$_Jm 9O#GfpIϭB5/q(bE˶Ri)+~HmQh+iA0pgpT8oTvK5S l3$զQQS] A]7/G{p7B.i+S*C{bg03y^L^e*61R6o ]m-OE99*FsAlIv@ny$5Cq-WlE@m[TU8K삙/X (f:vùf؜ 8WX@JwI( Fg%G~ʱ왍y޹&*tU:O5G? j<P _iƐ0I|DJT7> Ta@]RߊZ]9PпyR+J%Ƿ6+?mHUSnn)3Jj0kE&:vr@.JjBviJ{y|0_F'̸Elq!aJ^R ƉSc!pnN}2r\F̻>\~2Y$B3ܐROs ǘՅ||8_<& o!Zg蹵7/Ԋ,Գ( E@B`fŒe]R8g2 .l86ߊj/8O7<%˓19 QR,TlW 5tEbqsVTGJCK$2hO3d?o0V F ;}kz=D<״^6RT34zcQ3x54X 2&iT2'F"e 39xͽ,5Yidl8^'!֢!Em7g4\rkXH[O+[PJf':JOy4@4 7EQٿXQsdi B.k#`Byi: ֣SWʬe>b2~mtL3 4L}%5ӈ+Ԛ:rә _VV=.het`c7`^MZ%yEvǤ%a6DAFs~釩r>NIcgY1.V؛r)K?8T`Ћ}',@u_i&V2~lU)9]32 H0uOf5 *`Nm=|! ;J$uGB°ZmuQ~°q0@VZi(Es4$8VP_8{2EE GoGYQs#vY ]EZO-x+mx>$ҵH HnIPkG8t+YlJ/2E1 P Jȋ|DhCtzOPkk `g;IѕB cMY:gl4A"5^ȯ׍:}s; bq͜}Vp߀/2e* %I[Dvm$C #|'ܚuYnͻ6Uu7X eXȓ.,JtMg{x#ˑ')^v]m|Ty(էfA~D0cyӭ(Pg.<-@Nt!_>e&,e TgF EšM` к >,&܊E(D6?!lON5i2<*zӦmk7Yhp1BzA ]'I\sdƗ%2^qYS.o`#^(k34YriyΜyJ\7Ҧ*,Ir|.gpw$w֋Qh'U/&k,T:F=T*I͒/@pBu \cH}/)J>iDdY^][ KW4,pgX l ڳY t {u׳d2h SVV1: ;VZH_Qi^aW:ZU m8܏nMLh̟+S>_J&#;:?n?(@6b<+ z: 9UTOAkEͰa{ L홯 %~b?jl~}{},<*:Q ~V.iYwp hS"L> aӮ1boyx0 .-n$'N A&;᫢~|P K&˞v>u HM)/iQ[{ɤFnȭA}.&1L.:і svQꓑQyS]j ԅDso ԰}b*QK@qb FOTF6i}\+W1 m';nDՂ KtWQ7LM4،wB]&Sq<ƮWƪmwWl~Ty::ЙBFƔ F3Oh.S lj/ 1NW}抟ʄ-m lǕwE@FoJQVw 3]8\A`_vU?e dJxbH|VA7wiN,6?Q 1nIu, 4ȼ6AB'qN9cTz5Cy^o΀iT)9coTu&lBGKUH{2/uV6ޥWbhh2׷p.Rw8+X(\ُ ǀ}3afP 66Z2&m&lJf/0ˊc=~TAU`3KEi \X*SәIUq. ?]!+CaXoyR^p@x yiT*5[y[^^,/ NqE7$KzXN&Z]BG(I3 ؅kT'H4OďgƝ9<2*+N\n9hJ1R#BDx,݀e6{ O˻Z!Fgw7TAm9S~aJH%^KsBq&Jd3 iBsdlKmS?)Qدb>ɾȣ_-bؒ!:Qo^:lr[/!}ƋѦ綉$y> Ft°t@D.,%%JlRqQnPHUyYmϲFZT=aIʸFT܌Ē1 P!=QgvpL=in%lxlP!u2Slhwl-6VLoVoāA7un@E$"$t\|&I./k {6A0.Uݵ{C#2sW#ð hNWWYm$%ʾS3ٵ]ޡs5iVpt=,~Q>4P% ceͅmpV.x0yWJc85N*H`ƯXɀDm# 6)igmᦸvKf|ІtLR0pP@> sSB٪( jVaf'jChAӋPfm&iD:x1`=gD7-'e?SHxŒ)ޅBmPWj̝pG8:iu`_:S'gs~KYwds7/݈D)K4ƢN~DۚZCCUϻzUZлwPM@Wb5dg]p 46K^b%T@1TL%w!x/1fw:ai:5xo܀c:T[|y=ODr/Nk68-%%w}*8u9,|'?T'zLvkv޸~o}f9`XRDvY駹X2C$.bh4,L.gQj';%4UQ%vmɧW:C)g1 `",2r(`XDy^ E ,oiK{`:I$DfcGU (U^q36ٴX8i#FB_yU/xOo~SsZSŹäReQR%}BBq6;5#0~4`;5vTgW#P"njeAig y>yB#q4tPw`iV!!XCёIј}7yGBbG0B% ړ`e מ.֞ O_ b8-Gv_mx9H>X Ԃ61tATTZ]Vɼr8ڍ MR2Բ0qǛe³!X~+ˣ(A[olq !((u m [f0ky5Tnf] v^39P>,#a3MX`iݫPgw.#ƝBՉWL > )#x.N\|s"C.w~s83jPfj onx*R8ǣ˩ uUc&- Θ6>Fpe$r~ eI'&{\[J݂C2Bcv&f2=]aZuLGrs|BWi.١ H( 8s$X3Pg{)]FDo,VtNCQwC (pGTVZ ؓbُƗWS!paSp|֧4L@ٟ|{)Eћ벽u?@5ީnC_]mr(Wj8> +I׋ ThUϹ9qlLGϗm#Ǿk 4^hL6q [oTn?XGHfNːVCRJH7'&HRs6i c&hD2X!Fr[5O#>|Ly4ݬ񱓲qރzS4r#Mb~%Eً>B9EҀdWWFKM}6;b!k[aV)ʊ|!ogR~w\Jn{Ha՝0Ƅ/1_ݟt\Mu&xq9OFpz%_vXMZ;Vr5Q8Ԟ"ȑHbL{(6e17 `FfA`HL>^;THhԺS73tem7yhw.9dc3j9M;~b0QF"(_{Ft&C0<٠Z&[L͊)U=w!6( 3HЅ[ ؙsI 5{D#NtgH_̏chO?%Ui-xjl6[=؝HO~ִ{@1@ya>=c{<G˗&R1HEdb|sHY>1qXc@Wf $NnxkƲ ^8Q( 8Jd[CO"PW>dwnR '߾鑲#~DsviͣDJ242qG\"_]?]v ]t{h.]B@g,?M8ƄGp> 6 xKe75lG?W?3fytyYGh #iSBS>N @E5ׄ"=ۇ/hudjGyek0* /XXx—]ҳ߷=\7&˘)oc6L;}H-3 7ŭBP,h;0˸\5pDZ>Fj uVK+5 JL.|ZnW:?4ySTfԷ.ׁ[~%Zفe -t,}+~ХTPwcmN75k P ~ZH$PcdLOJ'3m&Yy1 oOfі( 2zD9zzW-1*h-Ri% p!*88zTttNc) yTŧ$FۻJUqfxqs2iAzcu _?Ob7+6kr9Jī~Cԭ>n1]g+`ך77e) y?py9_k(!~@30[^dVK{~wgjEZ\A8GRe 銢j7ac+!C Oc_tҢwO"/:LV$CVb <ܷ.{uXr6Kb냤f|_kγP)󴣽ܭ,r=m0::<h}. !qDR9,xG":Iuæ2|7*kJM MB#4FBz,$ 8 P^a^. $q#e$qlwZ1Հ1!'(}Y^GcZ ĺ=ۧ4uѺUZps_<*Pcd9䊪~J/,l?g EQ4N6 A!Lx$u!%Voc [+qNW$2rOv[X9 >dͶn`lp~.Ee3}yWN艞dZpֵ-1 j>nL槍jͷo[K9}v cXRlid'YW3 Z]*e}Y# o95vz oj .^£ ;Kļ K<1 zLW-`_sm,FL3\h <"gf?Y:8a'X+%J{G< 5h}BDWtRWKی;5.1ciz$O[QucW cԗB5VG&-,1?$zm[ 7<8PqyO?Qں2/ pFunA: A)rp‰:amJ3W]AyX4,^o^r^σzPhL3惤Aߏdޝ=a=eoNs&n{V~w>h^^DPد N \l⼞Xw E|;ۖHo[+'բ'/@/U_1s݆lj*dNs lt埊lQCA]p޶]9ܬ\D]oLUbL}[} #g{Eg @3bυ8uD|YO yx='*pvڒxxggc83w}ð lP +]Ra GHˬQZmQ-QAIUcH%O\JsaV=X@f-"IW @ɪZ[Έe݄֠i7L/9a۫u{lfNnLȳl?0Y2~@qqYVg1fgn5V{ϡ' U+Wԭ.ida5.׭gm†kY#=`1*NZר .?).z@s9j>uNYS-B̝KS*컷2CҨAL9Uj̳W3V=tcVUs<F|*#-eTPۺR]hd7ŵrQ;Goɺ+ȊMw]z yR]q mnDZw95>&߫ |c'5U3Gͳ8He&,Pht$J2MȁQDG0/HAuSClUWZqn^n LpD7waiTk`T _m=e]ۻ !wuJtgCZ7A*#OxqSOC?P]7&SwMyJ"kӂ)*{*vy1~(e/GQO74 !gٽAzʙ6ͭ_QswV{mX﨓E}ɰ U/ʍyޘ+#Op!gV]9Wj^]Cu-ْq6o!OW )vйWxHKN݊8a -l4SeaCӊɗ8ƪL8pBw7.+&{XPmS;N+t `<&ZΧ,%5u¥!jMTae(-^ YcMBǾro0fXFelˣq 5z_1^Xkߡ/7>`t!GBߎ y}^z)268K/ß I U@]du,RG;!f395.ʺ,Vd")e|.j7S?nf -=V1NFVB zJd|fnƉ~om [ޡ2KYtEpE%Wvksr& s.B3Qv<1$J+"W0#0GN8eHCSzxDO(+Nig+E%'C,ѮT[HOȺy"}/!^ lHkspns0꺂&AxUv]n[˒É4j4uigI*U?StU!n&a`/ZxY视!{hA}X>V'0,I7Rz][7ͨjzsLEJ%IZ+r޵œ9HjIfvw| O% 1\[ d5Ң `>n8<*]1Bҁs"?C NʕZ T[)VY~Xn} P bBcj닠ReT+ h'_F ~ZUͭ#}֯Bn[t^a}Pʉttt_f^N: ErX̔ $!-Q(Y$YTfSuA# Cy$ͧ  xrۼun} #Ѩѹ,UKՕWd$TS߳y)ϱi8߿ޅL94T$f"Pebd Ƌ_ixڼ6}+mP,wgN#cp4t|NMFe~&;uI = ],>*}ݷNa<2s<zp-=]5@4I.M_dޥǓD [ 3;~Q/XLW?`c:K} yI-pSW͑W 0>6Q+p/ڂ@rB('ArY-B6.J@=$b ]OSg W'\\j^ʨ3&؂hgyUgb_FpO|+eBhAq*~G4uK׏A쎅̿xlSNTq6%ywT"}Svnv{2&istWGx!{m0C-8R3Ll!tA'E,e՟\ &k {<5/ 7p+*šV x^gKxu}䜧",(>CQ^-Px-f;)M=&F.v=A xuV&R)of7ظұ_UWuNkt"ٲhwX׹af٦ mNJNZH}9EڪLt\bx9}R)M~Cv1Y@g_z:j^\\F-fSȩ]"rdusIc@OG:@I=gdvZ 8hcɝ~2oe뱒>&Җ/H~ar8CrX@>(|W]$WT4fT$lw&^عX z5 /b0[RmU(,#+nNEڈ:ݝ?mu.JT-+ˤBհ`uv&ľeD?[4%LHzf"Px|!\8It\;fĘęCsPBdGIJf URʎs!Ot|?i*C"Gߺ7OL@y_|n jDZ%5e( S5a"' n?>2e?E8yVK.ZH^g 6US"8mHϔ!|~LfljJ %BA,TbLLtv ?3 TvA˥yv7Qceƒj<ꂔw8 w+P;#?দvrƸwA*d;_q'p-]ri6I) wPUɤ8 7 Y)Bx ġ>*vZOJNWgYd6kE  /gʿ 5^'N7G["}y n(֩ǚ40aMBx$ݩd՛l*UsᣙkK< 63GZ.`bPbOkJ(@Qȳ^+P=N ͞Ӧ W*8B:O6:Q9焆TQEhw6LvtVK|M6 M@'٨VvRPKG;18:U69*4ՙ#.WtE(WEq Jy7fe}lEf2d+C # {)e8{]_!5=ZqY/P_\hۿґDCԲ9Ga{:t H|*ڶw(iѕ]^ ܻȓsO ~lh㸀KʿXp7lz\"DGAp26/oihD6\©|&ܒ- 6&pK#Up7inM-&`<<F! KAYV r!/@\7R@"IolDu wNeni_ɇIfw8j|r:f ^32Petc$| -'RPs2  !יCsB3ڿU\rog`GQhY&Ōp&62+bn.D=R]NoQp^T5|IIMpj9xO6}U]]QGk`@s/(%*i gN`ŲD{< 8V@E-=Ȼ{^HuD=K&"N<2:qs[H_\YX pd>2zgMWvµ6ЭWI+lg㘞rzC`r[m8s&|ٗG}p]Nٶ^/JA~RT5ŧ7EupUP9R<{bԆ*?;~@}uWLB,epMԟgj\8 .)|x .|Xf }U$C$ Whz Y  ߰⍆Rr!$D%鶨2oNx|Z1Scy~ &v MWlY|dO AUcBs4Mb%x1Z 'N~aMr}׹D"ݎ)Ɂ.̈́BWh|CvhŵMH4 ab#GML{~|0?a@6ٍu{[΂Dt1KYN;xS}4Gu3B:xHV@3 }ׁJ({bBm}?I7-*GtE)vjU0i9)0ԝ+'?+gp{BaFOXy8XiZ$/B mT`j=oQwS!0EnP Ev b74aDW_[nu֜JG]_aWcc6&IP16PMlݘ.mWb:"ʽ8U,wu4XYͽ:Pi =Y_4QCdVsvTT2/#3B যy=(bTqhhRB{C?TzЕN Cy(*GlVۄ.S<lMu >m[,\K!?~4׬-G/cK>S>8kUOۣ6F 2M- lq) nu'WO2.)p@Aʱ"W;a\pp멆}d g:M_ nSGp;VԎ "1ҝ_0%iHe6@,#ޟLF!_r~3}W|:nI^mgB]_INh`Z ; 5rޢ5'&ď4jb2Lr^$-2wNy>h]" muq7+1%|}B0Nz_]hK!ܹ#5\vz2 ڰexuCTVyqZyMVRIM.+h7CSfOy}tj`\q&3_%CCTL?c ,Uy%6?>غCMXr66Ğ;D8v:3QU‰Mkk ӨNkW`VJ`"ԼY60R2>p8Ѡzp9CCM*0=/g δoOaɏ~${C_\L?PaTKNb [$-mFo}F(4F[۫6ti'-\UOT-s ܂0 n][2R ffȄKX v]T{ԯ|($bf9:*%r"P;mO3T˄4t-|y2hVs4hDD$rGC]_h ͷP;iRr ]Da'U8I[B2G:}.N8g[Ǒlqnp24'u}S7E=r9#Ȍx0B'YMKpOj[Gfbr9"KV!z)P-d%RtZgAդ;"P`^f꜎z'rAF-jKH6oK5Tpn^C"R 9"uӎ$>uc.w{Щe+sLz((> ȭmz+jܢR@TU[l4j ڡ`aPRuԹ#x 'y*ju[6YgEpFN*Mr6tMPia4xѹ+)䩙TJ ;?{U/\Yg6 `-3! j%\>L=Uf$&PP!l+21Nd87Y]3rP2%{N&fw)-*"ӇG5Y=A)m5) F1Z+.eq.t:?~UkАy_[!L@̗yCjp=ZrKHz[!_~C/ېSN:Ġ4l cU0MB{R-4;C g$FP_d'Lf#(BRcw#;6]$ uoJd[|c[ۯlbf8mpMRG B8 ! 7Y+;g̼({O|s>#DIHvuߢRjLSko-Gf(E4^3znBc8 q/ / J/m AGES{ s| ǭvVe9w//ȇ|!>Lg`3fd:v[khP۾֎v4^n2QU6]b/sz: n&ɖ'׎Pͦa95fH|=P*E\WHS!28ͯ =y|U,15ROa>^آr_&9_ 4-uv5C5b^4 A/rc>1!]37N+P}~(lLLBCI\AU]iP1Zup CH б#"vQX|(wˋ%"MI3dn AtNh[6L2QQ'`Uk{/hMQH+&"12X=e-P,de!کdVWXL?DA^Vn/<4=(2g!M~gj_[m>i@c nTBޡ"33C^er]gѻ!Tt /EߢԊx,/,׏bfӨV.B-RmHzw=ZW.s=9rN/.c+;.uyIfn OhEs\cT=gxg&̕92H=)to!2S,㷰!.L\dzMn`d+z1]_bLU0uFTBqQb3oreИg#F,he3! *8xJrdŠ_:xw-ihC?Tk|с pv¬BXԏL5tL>V~Q)/Yr@1o5T)V8dt橙4f01:rx" m!(OʡTRY=076Ծ׽n09nhpx 䪧eD,9QAQG7 ;Nď[f]\7׺pjX]GW j^>39;uS!ַzhr|cX\1ac{ nja>DISF1OS"8A?nXmoZG׊[=;IOwtL4=fAK{z5 )FU˼z{uf)rO):].c#vmya*/jJg]4 aFCm=e ,mY}Jʹ5u =mgr!M+A}Ng}YRUe2fzϮd,3·*ߺenL5cк9zR ,%PIY ; TEˑ|2)4_΄3ܘ,aZ:9eU:^^##>"pqFyݲ\X@RHIl EMY a_UkRPrm}Q$:SjnMh$$fYC To_/TגͦԱ\s( ֬ ' d/n#oIy]?bd1 Zb8`tt-3Ř- '$ acM]xBjcnla;q8s=XCY؝qDPˤ5[:! 2MX?vv=&dF:zL{Ć`;<\Z.p|]Y(%AT7|o"c ŨQǚ:" x<<ܨHRbP ϵ3K:L_<7Eu#}rr[iL׎[VSm7'|ы71m5،b?nbL*{;;Ï[+p'.a^jH)Kd _oˈڸ;U(J=JƷ V!eaQR4zA3skRV1iD* ~nQ8j-l_A̼ 'Q8+ KJb1a::sg34r;6ne7EyPKB:J# 84 epFS9軥& Y}G6FTf}UIC ttы&\H941jCsc~6!6.O)}`$9Ylw#uHEb݁'T1TR!Lިw$ߛ hkC\׬D#Τ;fkn(j<wojW\pZNB1D1ZGcUyp V @zHR@hf3vH+]dId0>bx:x8EyX"}j݆^j+xA~z}Sa_JLB\oac FYT~/NB3G%nR$T[6 Q.r%9 WLryd"`"6z-b,#$q8'8', MKeMc YdB$ܨ%FG?V&I9!]?쪛)&W{?XO:d%i_ !$c%]Qh0GyzmW-׆~2n|\K66.̹ګSôM* "`BG2&Xe d?Z"-Zʥ^I28NRSiVLڟWD eO»&Z179AWLiƅWtz +*Sˬ%Sa^mbȻgF͚DVM5BG#HC]r?QhQ{?'ͽ+9 SVcx&[nQ:Cγlj[z@:$%vZJ.I~1]ʟ=FU¨ V_2?=%ܕ ɁEQ$ېJ-pda3%QƻrU^Qx~)`$tY8=M$\}쮦Q"`fw>/}#],"5pBcB%k[p?*ፕg/r4{7׍Q| 8SUvѻ=Efݼ7^ɄS?{TKTw4+@~~qF בD|aԗ-0H)W?b#I\I Y6,to4q֑qпG>V LY 5Y:;c+Qj{FAC~LGa )(Zeƥ/יP8]*qg<|:q-v3eV{CSgdzk>ҙgjK#ce;݄p~q lw%uiˆ^H?KhL#{TLj"ч):S5<8j*|0KJ';qۓAuև'N¯&;m>G[2/CV}|j3y0EaUϜ gKYRlȏ589+5NXuߘfÅ?N_٦ʆ,Gh6o_iZ툲rQ̪`EV%\2^mjPA*&Α=m!>4gJ}VlE_2T~شCA]na^DaOҸp&fhrzֽ&j稝H 1;7MKY32 AJ"i[W|ىW#b3>:m3 Nc|3BJ—YI%nr^}!Gs>batRʝ ቨMy`%oT~$Njt&~ y:j=l*9Ca#L!T6a2}qIyj 1_=!zBk>SGHl_z_Eh\c culE0F|&I8j~ Dv G4ur4LU`:zToul%r4heT7AqF˞/ƥβYSIˢdC7&`DT:ǤabPи.ŃO\ag~=PC ʇ˞ -SճD\}mSTO0{&/3}Z^ܣTlcA'?gkrU=E6kԺۏޫ[J咭طjZ؞Bp_a&/~kjCE(s&QH ;Iqp =+9YzskS:Gy=nyk'nC LY>ٺǗJJ +T'1rҳ)O= knNzh~e(&!c!v%|/x} :LҵSD4g@I)遲|*V!KypMzHFh4wܻ]Fڻ/]-̪FQ}DO d8J2O0bZ0eE誖eroeBjeƓ&iY hL0c<ϙt.7O;T ѮgQ?YLWݴ vh)=1{k* ZijHbrM`A0 &"Ŏ(-cOkZeb> `#u\up*H!nW[) .FʦX?`m"_Oj` xQ~NtaNz䊪k:KҠaUm%`Vg,R[q󋊹 9B?A4& m膰Z~(Ƥv[NܺdW"W*6Ecb^D4~SP %t|4,Eq* ]x.vb`,EQ / sV x}%uPom7@qyUe)Jڳaxg lsT<*¬"K%抬=v#C%ˎ<*diϞr]AO)fY":J2Ym7!3Ѝ$q9FT6.qlA"Xq&bZt7J|.K%džFd2b,ϦdI^!YÇJ(:%v0D_ 峒js1u Hr 6_;mbHηinǻ|{n3ke˒ [y"CGMH|ؾ*0Lΰc&)u-~yaKb`[P;Q^Vt0mT 4NUx1B!Ck=L݇uK_OmZ|0}lU]%!I,M^ W}JV*pJ,R fM0c3750 ?Ʋ0m.JQC'3x'5BSQHR |ͧZQ9i^m/lm>#P CiF,tAM!lIJ\VժlŏPA6o^2 ]VYep5K'`o,)@-3x:udHh<_Q M):W 0cOK_8[BVy@6T;A{et,^z u0ӗHSTc3_z% V K9]XVӋD5S)$ NG;7,}S*M`^"*"Uѭ`'KNr 0 `)Oeb&lGc@8eXz mp:F97!tnn8{_D.]BX;a\%m,VqeZr(f+Qع"aCαyi<^]0 3&Y]v"#GP-ѮJ[Cxߏ~#~=gn$ :m](wI\G'¨)Kg⍐>Em,l:`e1μ.{=FTω44# StD}̧]K ,;[EoLU'xMSVbU64pvuըv?SSch;~;F=˔r&!o|ge E)9߹gSJj:~EJr36V_-:ÙYt4y+7ŋQKuDf0-1F_#bm4d=BO7F`q>{(0r^v$Si.pŷO 3G"M>C)1Rvioo=;`#ˤ#jXs2ɜ1tv%J3tPb҇ 1<&mrNմδM~ y߷u_f޺A%ؓ+iOq(3~&U`5֫pNh.+%P:Ű&:j~tOS<>kϢ}޸tKN Ʃ3n8KUEfK&828o Ӥ"J@~4.3~JV_5Cj~nր[;5nmHUN 7/E!M)U"!npQQr\Z]߻bLf =7*7 '[yOgIGO a}N}zkF1 Z uOĢV3v -"e96H 0w3^R&3} (8ڇ&hҹ)'~~f4e+N1z1%'8.UJ׉oOrŚWa)Ux\ 2璜B &soxg3Uhrdj[%,Ks>vYm^ ޜޜRդ'˨;୓Έi>@C?h.c c:K-r@¦-EJnN'8e?Fr!oECTzArpjW$b)': %Ib-? !-TAM{@Slݨ48ѦZl?4D@f=6Yj~'mP$qQv-NBiks%*_V?Nͩ)*Z1N9w>Kcz~ wo8èUbWrGdB'DzH ?:d)ZkU}+UarɋKl[^1bJjsPڧ%AmlS,ȕr,\ƺց1ʄجH=E o.$œHROfAu+8U,_9.sϑs"-qsf3F(*L仯%SZ+ىpx▥>%{#H698D"?nk QCkbTd?Ksfvhe"{ScAf28g蓷S/Eքi_l`BQɕJՇw_Nns[G"X[zd :) !-];4Z)1۞^ʛ͜q+[x^;4fkf|"ӭuϘ+Rb*v fI,lܯ YS۩,Nx=v-1XTB-J^idԹ>B< $"~C?+x8=$9]ذmxZ:~ |$}OB_G6xI0bC-52+DH`1mEPw+1R%Fză{闒w\ogH^:Ĕ"_[D8^}(sQ?3ݖ{p!|UUJ^aOyG,poI!@**֍)-n DL9{1\<4JZ:!B :e +I\{-Nf7?)jO[Nivŕ0Cg&k&ݴGuBtP=seǭh`5}ry;&y?@S$nz8gYZ  1W# |HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! u]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``a b\Ulؚ$pJ*(u~E,䎵WȤi bx,4(z"xO5,.xIHE%.]A_Mـ"D_.wqT!ݷzR{0YACKn ' 'N> ,Tz$pصi?oUQf3RnNz yqLhO9tV3Ux*4bmr']DD.cԱ:Pͮ?u~ři9o:~ \7F.ŏb / DKVaM L @_u]_%Ve}ƎG,mH#T*]o,`|a|W\5)I|?ޟgĆf숸:L耹>u=I:{r (sHʽ;G^xA(ݚmQţoX|VK/- DpԾPw@AhVI 9%jp8){qx3ɛfs̯`%mmax!u|=(x-d,g:FuҐH?X}0R*,_VBBG<[R H B#m|t,!b5_%hn687Y<8OV66tZpMI#QA2hX)(MuXҢ$Iˆ ?1JU'z(t{͙Md. liASsRGd^3E)DPId2v188C*SgLLl.Y(?20Xv{曤E\+㒿_|:lВaߧ* nkEe͸Hl@ LL4S$}ɽgRߛ v a&crd;/\6%nѧ e%K*,[[mJ9q7Cu򝫘Ž E;A+͗[= 9_|k&(0*n*O?9XUx養@)rx"u69rG26'&}4#VCY*\ M"Z6pq! 9:`L<ͯG;Fvzu% Jj5pݻ R2r޺p/g+u1g1`y7{w dh1Wd?ٔ4|~?p8;.4N"Ss+S|8'T#OchS efA!ڊ3ݹ^HLh#E;ʿL)ni(Pd?{ ]5'^nFr[v#zkW?~P*p83xg YQ-7cT=/DU.dػ! ԤMhkTJ_8kF^w͍{]߀Vؒ#.s='R>/ PP`1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5221W' |HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g x]Άxʆ5.f-9 rq=c~sdŇ)X|lRk[[*滔pUEI tH:[2Hx;S#Ec\sߥEu(q T,r7]KI*?9 W4mwR4/' !iXXޝ] XB+kvd&}"sc$_ρ!2C`pe|l/# '5KeܗJYGIh1T,Uw w m*bdEs]kz~qxaʼD<{ 7ЦҨPY4>w@4;4g8 ~F}%Ir=xQGa&j lz)PŽL\KJD3\8Mc97EewDZQWi  Z46SbfErOd5:IueuTmjY m yb`0N'gGa۽OI5ѮVPv=5H݀dހF}3w)(L0-$BLUE$@\$௽KL;eA&kgrbX Nw,|[ 2j6%¨l8z<('?-CO(տ裈N2xӊr G>o'Dm3t& }X4slt< ~T6>B8E9#F(_r>fk_tB΁w_!WgQp!^UY"ne-ꇚxn?^Q5Ckd'ד# o7N K+;/=58)TǓd56\`p} hYck5!, X 5E .ZKQL?nj:D5{]]gˆ9& ʌ@%W-A\*b#MeemsuI.+"uǘ;.q۱ #x ڹ\P#{6(?D''LorYb{Wh 3saTth L)R5!j} Z;Z*\ 4QMO7ҬVǀ5#JH6 @h^,r%y&'{467}!bوϢaly}(23#;$ͪN)z\4W:f*V,VNp2f It.>1PZi~V}F",\_*tT9YEI^kz.GS?A P%4O^ZW>ţAI?nR W*1fENi)_͚f+iI(;f)*S\R>Twe.u HW FɃUŶܼG#Ҝ:L Kj3ZPjO8{tQIb)/5*i+}( f%Hl;" ©][>_kqӀq,oE:ìVAj'wtW5 ,pNrVC 堹e dkG;+`_mH(^S4/'+}[a5)⭋Le~q`,Kڤa-e_l(eVT)mL&J[ǁ/Ðt0(ƎúǬ7c$fD vzyS<Y 눑4g񽧠gV7(\T8]hiR9\%ϖxoV^/?Cg%~O NEm-4V lCn삱.1X2 #:e ֟]A?Go&hZZnnanV#B^UL8*'AJ M2#`v&"tD{6r|c-"5#M$i x^m U.O gSȾ7W$+'N4c%etFW8c@m(7`!ݩ'xإf=0-q[VQɠHɋb+"֘[x㋃? pib+TUXkP~ueB5Kԉ&G`ڑD!A\'4':4HIe;)=(7|9)f| Ɩ·,"ی\VAzҦpKZYO8Y5=srp4! :zeax6ɛc``aO !|E/"Ԧ}o#i&sÄ!ZD3y?tPjPHn[T[:#BmmHfਗ/$vUyM"zȖ;bY/RfZRGF,Wn@Wv^GLŢXbIvYmH&3 "u SIv|d^ۥ#BDnsJ%3N ^Ы0'Ȅ%iqԔzUi (DFgp*FQ_$:2~1uF#R#fX7Am^:ݯ mmE q%E p^2 9"%<7S+AVF$U $g}78؂GTMu5N1bNy̻ɔ+ bԯ1w|/mRcN t6OZ  _nJ Xy1,heʖ`kMU1ЅR]O M`-%֒le<‡ipbgYZ<߬0ķ s) o]qt/=6\o>W\9mA q:Γc< .j6e|!.b"[=35 %p59c N,4Wj';g&ZpB3Xr C$ /m$PiRۡҘݛpYbPEickc@E֒s\p1¶ CaҲ6 q6\&6Hgm7-\VJU_ho$hxlH h򂇁LtwOP !<=/]rMdyWix Tj:!~\5v}lrZHRИKK.'G-C ԡa JF.$) 4un\u%r" }hghqdAT At1޹_3=.S:7}8q~)[fY _l a2?}hū 7}H.";ۄiL A֠$+븀6R8q1<{i xHYƧI8qɠXGscB[Bj8@-BܿGmԬxEӮBx_x?|ؙD5cԵZ mǀ&wAmznڲ Mgǫi.~[eo/m W[(D݉TKV^ FYn* c/+][^0yfJ2hl7+Ͼv̉Ov3q{o4;ݺX @ ukAxHu06mHhf)8EӹM0 Q+%vr8LGw7OJ \LVl$R K[Zf*H?7E&y}c(_{FEzLwq1o|Y[(Ŀæ 5o7I"4#+Ҍ+M\5 cjǦ};c׏WlD0!K+ s%5~C%i:Pq˽ԉov)ϡs0{J¤X{2:ƋƳ-&390 p :)2oTI^:KySvwc̹nUcWRR i將^c篆k5JSw{-=&~~7} Ǻ3=) mY^&LZ)Rsob`o8,fqNPʱu©ߦ*R$raF׷yqm3[gsȓ\T"Oe^vyR6b⊍&?aTqwSU|֥uʍ5j]:Qz Ԋc4RJx 1H\yY$zUyY( >y\l)k.$|h89]ټ\9 v8>^u俩kw%-"ՄIV^-BZ6nOiu1J P7ڞ<~Ģ 'z]!o@\݅Ƅk71q!TS./[_R`N5릶d!zWSؑ31=;H }NAEEqZb*7' H3=ҏ . X팜 N\&/0 ke6GSO]{9kdnhY={j2CqʌY m;L) 7>^& NOt} IWB)~'fإg7/Au5_~c We͹퐕RtbobUǥдa9]0RhɊ#KU͑٣>&qy06 nק4F؅1^/< >dk&>b#JwZL;'+9SՁ`N

&ү}_e M4KxT rAAg/G|!JqQ0xᥚxY9T4~,y dکk.eB͔$̡Sw/ThM1(eUၒğ1m ;ObL-3<,| J0{PdgOx?dU>aQv4]}!K1k[ hVi5^*tI^*cmOs[%Dy- %@$EΡn𶻞;R>xCm+s<%{_R3#ՑaNOQ=mk/TӋY(E+5@"r@k +; h}tz2NPmdK'k@f-~E yFq*78%T2ݭRK=:rs4WYuBj^ngLNxILbϦ.ǎri12Pd5aػ*?4>0ClR%w" 4*4gLFqٞ-|j͞fdi `Z)EL!3OQ9C2Gyi Q _p 6y,'/7iC[҆]7Τ޴vbTܪ ^!$7E0.qJncb;Yp_L?@ DŽaBY*?1 )4E$O}oDJ~!;wMh)j"j78)UgΧ{aDR "k,DG*iNqYÕ2<=T)0sȸIo"k3xILEmS.o]DA"3onG0?U#m_V[Ebx}Q}rӉgqLx GP+iZ=4<$)0rWί/RNm\]% z`sy| gٸ=¯v}V H\OׂUlPSZ.fWvNZ1'b4kD\@7<Ϲ{\.hp+yGBn:zT'[EFYZ-d?rQzw ߺaޠ!@ ]xJgiACJ~GGD~D(@6/hU/!dPCG%fF-`MXϓ@œz+Q9y{ȓR쭬&>eKf(6 <}f0[c\Q Ds{-6HNF3V,,*pcr+=(ryی\F\_pĉIaFM|[aV0`Pp 9T'~v6Dl:PSc@BKJ>hO(2ՋVu [_,6ks>b;8GƑ`vSoʮ$!:hP][1ɷKA+,K\6[b˪A$N^A/l7{s'8#3]VZr龑F禗0 Mg+WǪoXpe-[@E<7I e _CO M=b걝LNŸ x9j{hۨ`uXɏ-psiV7nZ5z"\`aI~+(*i0DLnaHV)sPh6rnJ@a_;5AHI2w}L7E~~7;gW4Vو>^RB[Gflc"41=^x۠.;&lsxJˉNc"$A)>5))EgtR%Iv7{ߜ]]_DX8-#s 0;}ru>iJ6 4B})3SpD]P>9ϲcqia+܃Q orX9j>l ̥=bED;3bFhin 墠J5 rɣ3#_rc 9?ׂx9e= ?'~F) pb@"8:beGs)B7hO2|7heki؎Z!q jdqb04J|8@?TYbKG }zR]ul;J,34_8}mR!={dlDAe'@h^;]whZ>8ּ>OϦY oD| l QpQ;xC?u?'2qJ^<olBUҸXs^c z$Co!8_k_8X/69g8̛$լUx#c4m~SQ; ^E%_B&Fe RBJ6%\tc/|dv }T Iso6Szj_ ":9m4ʤ+sAAdۈ]i,.u|րm|-󺘞]Y)_K .WڿEX{'"^V(;TCM3IYR8,SB6!l6NϜvY".ĒYc6 C/+b&= ;EGh=i "-~x 롔>I jJf\UF P߀65kAخ8Q?+(ڌov%6luӚK?"1AS$s2ַx"%GL1=W\ :J/#Dh3fKjE 4"CdnxCX[4 醼w~\=0ܺVf]o,1TRy[Rd5%.T:̷T\cӁVUrOed?TS0HD j헦ލfyXmNЉÛ -v!.Lx/kLi#XO+]s}+PHC?D%xCz"UY5(4umU{8l>=uDxPS2 RstDL ߻0+3hh!s 졔Р!޴8dTd9+{T>C^Gs9\Ȏ J >KxF()ՊO;OŚV{#.1r+Q(|%JRp1C^녙S5ltc*Um" &~{E'd$ \pEw㾉 z%b( <7㆟ͥQɯ!p݀ςN:L'{UH;)U]P9$Jlv9v҆\-d҈L|cgYgsl4/gAÿ0VklM5b^}8.E sg/y ՗a%}Hш:ܫ0ב;Z'}Av%+=ZsΩwtT!«(r~3B}U3);d>H$)B'FP Ɏ\gNTsWSA[l<1_ȟ #MA\Wf>WX |kȟp"Yc7W,(MM_m@-3;~~u[l5Fpq #8`a(aoSGq_~&OL)~(*Wi[RǭhDX-?)hZ,sg@:ʍ՛G\rCJ9sWyC"W.P%!%5x}iec_ cj!;iVˆfANvi/ԡ/ZW#*C1au2ߏļW` X͎&l(4h^6}<ɮh(jpQ1c)MHk!:1rZL9T͏$}U)E _OUۤ}7G8?pBQo`#՟-d_hHv L d 1|˵g*iޟ^g3?9R?~nuj8 L'l>N,g{kFDȦ{x$h[jOAMQHp1mO2lVIo]HGM%apPs@#M#gON)acJPOK5+owEP(f 3nJP?> qa%S\ ϫߐ]cZA=3nK'E61yjW[::/Z\]TV9yan6/ʷ4*{8!3J>ZzE<WƮI`T3*G,I7 Lm-߽/ef`c,>~֎wqa;OkVh,&Jwp1awzqזh/mO n9EG:q(/3=, jK6[u{ˀĎ/ {=MaP*s S.~]7m3=Rӄg DQє#Sᐽ))sXr]^8Q!2׸:^>.`o;&Ukwnhgr=Zd>Oϛ'0ګiq 8e_w[X,{K9̞aD#IQ5Eq[\e܌ZW:&M7DKA7ɵ(zzeM8Y6^Bҩwo~>.5. @s"pf^F|!@u8j })iLOT8@o3&dH&'bP6anzyc}k\zhq=֦3ܟYCΞn#U^drFLx2PߧK`Uߥkqǭ5J_ꀴ\ɪd<8|H;D i#Aqh(z^A1GX~|rXDӳ#Ir>rgUcnRfPd \ՈEKԬ̄e(|iڦ6BMAGi{p oɰ$аpЂf_: J )8SNܽ~3oҨ2dɳHan2ض y\J9 jk<^H1 )aƼ&䤛^?zbRg}ݺV@~84=fG}tZtlK2nT Qig_ wuq=ot0h*^?GK =MjnFu:̸hÐxqxYB$Q(!S2H&-Ų^dM>LgF%d?Ү5U ֨=e)*prMXk£m'o Q  :oxo{e:hs43Wg~.)5k1ӟ֍/ZH9{"2lzg<$~j?Ⱦ?At:㭼G=`Z%QAt`K >*'`{5Ln[* ?%EgUq#ŁoVRI[)K HOgH4:D*@pv}]l!C[ԃ4'Ӿs\ 3YUu!@eVb99Q ~eS J8) anXig~{bEnZ[S"ҡU[Ms<=w,PԕSCf=DR"\|6VQ40@ , \p!ANvA\O>ЖWK(& br )=F(hPM KpofP8[lր4y ;gE;[ᩰdScK<'TELYy4'l%bZ=Lw>098_O2`7N!grb؅y {`e[m#K"Jp_9OFȱL\4IC[#u-Lj< W'_4ZDGDUs%i8̴r]1aNBֱNh0&1Uwpͫ['v+sB$AX]NGƃHTRśqA`τWZfd9JrUA 09EwyyPhҩH!3@ ҎYΙ>e,jIrYYnI5`g/y_~ⰠN\K2¢B磱m'ʻ'Iށ2 ^aY%kSf)vd**xVѢC`WxBtFjΚ aMc}PكuHמ4^AtHUAPD@ UGPUH?| 63ŷ"wDl2S"GYX@)'6Gme Wn6J-ƹPLj`W⣎:`AO$jƞr)4 -> SyаhM" kkaHO9u%tDQٲnR{N*pA 1LP}Iz0e}?V\5lᵞ:Jy9>GgPetie![:s?x)'ʏϫ4F@.M f$S%򂫠cOP͏N^d@iy ЙNE"R :n{l NFm9Fl'KLCCMttF#aW}[ 'x꯹YZMHw`IH <9}PAʢ|*(`Abx)z#tXl=8i5r !I񾲳~V]2VKQ'%h;5#=ks0)_ZӴau9z F^YmG3괁].vHC 6t`Og;fJ*oy5 /˝할{Sk04.1j5#k$y 0F떜@OR%_, ,j?6OQ]}ިv,> Wɡ&L#w#5qVVD5*5R8am;Tmj݈mD"ku-fFe"n?9giO:wL˿44D(g8rכM/UdM7X8bk*\'|Ja!l35V=бϒԘ­U+%y]: ~P00~hIgbx>{݋zWYNq,/1 &\ˎa9;p6RR[5W]J]G#v3Jax \@vEeؿKozOkR)]qv=U\ê~`4:[ǧ_C{R矨6>qFd8l18ugVI^ވW˸AY tivyJ: 4oCw.G=/dV/aR $@הYOצ.ٮrX]يp(ե lBXrx5rXq,i5En'#f՝+˝l{ј>_c B^ d]ل1.NC@#R76æG2 Q`0/xXa_zj (N3j۱23C?0_D e[9@v5/vRH2'b 6nKSY01s!)؎WB􃒕l VN'S~+ k?Gu3[m3CeUiE05Z,9MU^Ν-"sv.6]=3EQaH"o^q+|IqbHvR!AQ"8餏{Y!t9ꓜf8ZfoԜ3 jF-@?E)ܶRGXp4EM/%;$e2ݷCZ\lU1}+0dʦJo i&E{'j QM?/}ZI'^]KNZl&I(p+}d?R_)mט[T:adEMag%0#uNmaL}@v5u5XT;!pi1У*ͻYRo;Nl}ȖWl-M-݂(t-E ܚnЉ JD??RHX@u vǢic{驿CjhyYZEA]^7v!;:aД:DxCψп|.=2EٯS.1 oMףF[ g>̠K| [Fà'^22 h(*#y J!u}(?b>㳜 X.ЋaB޶ֳIL:֚JI?}+ IoU,sJ53e:'#ǩSlofWCcF.Qs1{q]8e0xܷ'^5K'f~ș;5d@ﲽ+jf]bd5n]wUR,# 0Ge3s5$9)1xRdQC&KB\3J?v- r2wXk`ҙܝgmJN$ǻEK ppW5DV/4[ѮE=`EdBH{4|EČ3LSW >*-3 נ޳+0,(N? ,6?Y4#g'9~)5z5j&ś8;X>SjG|; +KaBA"m'8݁}U4L/ۦ>1U!Dj7Dymnzޢu4 dYG+a.E,IQm8!3YCø0D uAڨ mT qD*y41P2RO2喛fΒ铅tH7ԽvuŽR4h@ qGr74/o[cp29r^. 0@$F!$= Ľ8P8l&o}>N'.ƨ&SiuL_`#8~ A %j3Se%.b|.`,4jÙ v6X/7+O=H!xWY`ˇ&B7tkH)-&V(]>$0Y_8F:Tk$Av<⎫V|E0#CV@w觰Dx3EqmHS`zD7g]`&U@k99A;úD 1@/A@YbqC.zB<%X?u7ӮA0͖9]9Z|SDB~66#c||Zm1HVNA;״PJ/ޱ{"b:?ݚG{Ab1U_(>R*LWwSׅX3M|L𶏘 l5 BO` @4ԅ>p(ZFSxik)>ix9%6א ڋl Í}KƲVL3İ.sw<-0-Ol-a=ޤ{rܝ/*56Ez$KoqjcJ ^jY0BWU>kxvbK#V"6f<[pu'J~V>_W)4ipy:r?l섰/3HgvX2sb"%E j8õ3Bf_*3⎉R̺wabǓ5zNw֣S(zCY`0 xpTu|o@SNZ>gNݕvǭ C$Ù"+ш|TH1p- AX6һU4! *E8܄aLTV^#B5U, 47$&DH0zC LIl%PvI(].{sq-WFuWUY:6uZ5Nh=aةm&Nm%|C.PU߃W#]cp4{%?.<<>jaa>D%Vk⌃5cA+]l ~S _Zb`L.toUKpGՉ:8sB_o68k X]Rț~4mQOiv!g#ӕ Nƾ0onP1-LJR3l^*KG&tݔx>)P߷ !"=ZcWS]tɉMv]n oCI]#ՀҨM܁H򒐈n^!,c]W9;~ O) TՄ%[Rb'34=yˏ.CďDi10*Xio)¶cҝcJ)%rXqEKzl]fc=aa-Ki6HTTu\7禧hʨÆ eHAÀLNQ;qXaB8 4<_{Ec,H. eq`1#nnP1n4;<8J/Ch TJ ܒC<06y hnᆛjaP&HvLٹڊIj]7hm@/Fl HVquMϒ4"vVý~c(=O@9|| 7fDr2Q:bf_Kkx?ֶt:UDT52f d\i0-1ܛKҁgOJo[<vZr>k˘K&rLɶAd& =+㱷:󐷑 ~ȕ i]zrybb x1l`4$wo42f "/oK/Uej=rp| JĊ۵hWyswi],!Ytjf鱣 9ϸj,XW9\(\ ,)WH igRJV:AQ07ϱ99:c4z=~pE$Ize50Ύ4ݏPr%#X"LdyŏSxo'Y%.'Y ^b3 b.]3SetѠ<%x'5jK!NVNh{1лI:Q*?>1#Qv>sbsBZ$4v+cP%2jb~B< L`y?IH[ES >؆^Pq-A)߿OQ`~wQpY- iǍgYZ3Ǖ[_`\@`39;(`ɛdttG5h5D\34|0@lD U,F c̊)=GsrOObHĖ(&#Z;P-n cUul4Q9d-g(l(ڥ[qDZYɁ$C6 s dV%4#}]%q5o1;GfH`SaR:8I9̄b1fV7:lb!0n촧IfQ@PNyw5#菍NS>1|@zbDW;C691AE yWj7Wdn4. ߱ j/0JOhO~5\§.`6ޥtXN##=°Ulq 0 J%KFPn̡G(UywfV{cnY:bw7:йYةbВPʦ̅@8[xa"=h a"} Ϫ)r Z7úgYɖ'z|ov肏(isL CΡ V@̿0 6:7fXTh&c{@z):y7sW 7ڳ2!gl A7yк3'-vJ-/dL G,@< *a(cC9ilpʹ(?>sKŀ6=PNj/EXޯІ썞faM !*D;pG,_(feVb$)K7R9!z6x)K T;;fXׇmX7H nYfKBȆ*[mQHA3~aP"3H!8?Q]Uz3E상X}cYvqt!v%g;#}qm0*zNVӨeJ6^TƲډwȨISITkhi4j T7#f~'ЮC\aN.Gv'22ǂK &i5Z^bR1Aq#Ì>]sMlJ#\{X 5pޏY:NWNr5\ PYe55 1ߨzNN:0-+QVW[!נmVȎ8D?tQ e#rkZ}L֫^dߌT +C#u>@VIiHzuOhr>E%yEP K7?3$4(=_A{ Γf.% ېk=p'CoO.yY%ؕCBMyr"+$sxIV+{Nf>&_t#d<8sZ<.pg+CJyT}=~HMu1aY^c HKjP Cݐk#M"0@Fw+?f(99kKcu<20evxTLHUT9EPެ7DƋLiKGq]@ 6o)r_EދHz-`a۬aߡڗ,.W.z{Eo)¨ 5dQ=DZe;krqHR~.+Mɝ${ޥ$&G k;ǃ> `kv2fgDT% W͓*V*x7>=Ba#[] 쮷::(qu1$SF]Z!_Ml^ߖYfk cWIyw*G҅^ c$Z~ʃhDZ(j}s2;;ZRw(|7uvOƥҋ.<ϰg@tA%e*EH6t'o!B c@MҶ܇.o3"JyX}XU0L–&@~q4@~HV|eĔN, czvt=D`t0_xAZLheQ"_wِ #\\F$!ȉԅҗgbqi(E͸͸yZqjgh1s)Rº(LlFHAdx(- *{PɊfeJ-: CA\w<哣>PЖ9\7,r +C`qU$!bKy2;x;X(Z)z^[g#s@9 zgYH|fQhu*Ys R7?n9Cvт5BbTv*CEB =J !a3:K.ydY~_9H4KFH2 eo:bWa! ? aS8S!ΝDKūlKWIv8 T0Vm6Q:f%yA Uѳ,!htioܲn̅BJ$-6kD@ڻ@uIϼk,fT!7g\cnOz˖i107afZW]ػn|h+(>}$or?FDxKr^{$6H\*'p][ӝc, Y?xѤ#E ({Y>*;o_ٮJPϖ'+շ2h_U eICqlu~iׇVV] .a.E)<.RgUZ162ZM$Hd/Y}j8Z}*T0 j?m W,.ӱksmhx+5+#2 {YfS_i_cJ:#>+[/">)5?Tڌ(sGG0ÇigOg3RgK3dMqGĦ1EkXp ep67jZ?SMA53%M>50ApPi`xߌHڠh;aeEhJx׏cs`&܀n 9e4fO.H͵F+}XyӱXtz z*3ˈBI8O1Z,;z}LИ pb1]X:.Z6%(NMo-׹}okВ{'%m'}LWp.>}^i':F">ڱ͈k;F4H\hg $hcT~ۃEH~LH 0LB%e-H罷6W07/-_Z˃ g,9MpeNĜ-5ZR 4uƥJes|I2b}+w`n[R7w5ej>WJhąyX0 ix(-gѐJv}F i xpG@\/nvr_8}A+dHVҤɍ^%~ |[`}F-*|t2-HdLҽn ƒ" y{bG<˔5BA(Y̓E]NjWcLX @FG ~Xֻ؃=28\0iڃ>c0O!Ͽ*>U}|\K? _ՠ|ylԥyFֽ NRܫwY)l'$\Kw6[屍mbȏu­fABVO$Ob˭%C] }>y1#KMcImu~yi=7&~e5;:l3k DlY\'YuV#kᄵ`bxo=. @׻SC>Ww`N$p CsQ7ƀTz.4=DʀЉՃ!-JsyNN<7ȧ*7=JM=>haۮ;U%`9YeeoAτE`Þ4D3/GhXtnqM~=¬.!飡>֤ 4Q8Y5o@:^04s!yȼRJ/zpÐew>S* Ϛ YLoޤ% *AS.MU#Qwz;zUCyn:LVƲG@bܗt3YF`131)x,k9FyUCn 9] =r>]P1Vcf.*>*[WT#}z/tK佼4=>r*,#/&s4";ZdfpG?\n q5i(W\WӬaM9+:#nȑE}`ީhCP98'?q,Z ;le"J.>GS؞:q ]CacB pnQ܂mj/{̒0]`PUnS,PR) ;.=eOiÛ_Hȅ;gMs8Dy'AI˙ 62*[ /ʓ[Djcp->>C|UH d&$QHdL㻢Ê 1ll6P\ٖ̕"ȓ-dԩmR lGKV7@yKA䊄wM4gs7F y,, }@&KɤP v;GxVj rҰ &0? '1!PoXۣ9lM 'o}=:&2cKcMm-eՄ<5_ܡDˋ54 U]V+& 23(?GʂClGvqP'pd-~Č@LQKЧ7wהZ0ֱgYZ ? 1?# HOL-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 ٥-Cy`TU@iB!8ޛ$H3m4q*rs/h$ń|/=sd8C}yA8+kZ! &faIKFKP925!LU:݌9smĭ.aZPӓ^xc|g.EcIvG'TfnD2ر0idז3y-6*L-gU_ؒdSA `?&"Ѭx8r 5nR\*D=ONf'ԚGU+9p,9&jy"nX|Ztz]h;sDR{6$BT #iѴSٔ&}C J.tEMZtnwҟӗxmcocFUܪ)*Ӱit>N+;ǃ|[+Di{.dך~k 4 &1"}o Lk62v4(v"R0 z)rOJ=Uod_X$Q|n4uODL +.udto4*X +pX"_$5(8Y3zElpuz~!-z<RP`z NgxFG T58ro޲3Pu:γ>k(6ra!R9u}߻y!}VgzGf ;,!c%6bwK875*D]K%-+zx2u2WC f'̡ geaK8+-ښx5oN>-3Y-p߉G*Y87fvG2$@_5>:sݕ#ْR+~MI=Vg_T@-4ZÂﮰgİ;9j C(a Zl sǽB}ÍKfN}|5lUح}g*-{)FXMqrz~|} *^ ?OG  +򛟦r"6]cey!.0+$7ӓEHDP{ޔQt;cnt^;[uxz+AOh3y5(1 sM]4lEۚ:nBliyU.25?.d4rj"3Mq{=%hͧ܊8Js5s2^P: Іޒ)(%󘃒2s 7h3L;au{sARSUӠwMzҭtg$ koCk8,]*>`SKT gk'VE beĩ4t*9QG9|rn]*3]cn|Т }÷x{I2ے{4]ջy{xƚhl/AX+-8|DmA<R#GdBRY)[ em%J:Cqpm= wV@!M5>adf vE4) |p.9!L*}3rleOӯ|# ~oJѫz^b88yjB蒟Id ||(gqչU5(7:+[yT@>^~ak'i?"sCwFVj%wu~?;B<)bǫMG7V9Vq;MBI} 󜃬_L9|۪5 4?ld+\;#; ` !`p 1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id526\1?' DHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! f\]D?7 {?:fH\ypZ;p5t:he7Xlyp!PT*Ҟ_"Mp&a晼$rf%-K󓄴]BMw%'wRI2Z-@`ap4+$fzN A lŗ?tO H`J/?ߝqFp߱Fez\tXXm E##M҄hbC@c>-OKdʐqߵ lTTRQru(moκ(D1\1X(*&yY巬ҤzLn DvsFqEEdvoP ~0u?I% #,';^ 3}ܳ~6SAp71ԟ-%}oBB;`fۋEܚ3fdt]ڡMsfa*ʯ >0+f{~tOi^FԮÏᕺ;yGi뭪6jPw(.@pH K!Dj!qlʓ~iXHu?YY,TnQ4P@!z d3#4[}nէ6a՟p>MaΉ\^Ew E=1dKy{3ӛd]SFp<3-X VM%)Z MWĈ]qכ9'S3VO/jGWWQ9 2I=EBWi*Yo0,ꗙTƽXbp+!2 C@ NZ~M?Ǥi"MYB񽁁gN7G㟏`aK2Ca47-Qv{ cs1JM >jW4Qy~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1pϭ M$Z9iC昔=ffFIVRLް?4+kS]4;1eYM9v9LU}MR@,uu9 ԧ+u ߏƩgOXgDOP6uʼX)3<U1L:ap)Me/4A y}%t{M]iv+Ʉm{gY[,\,nboTs \EY.u!aqFI"K̳~F휤H׀Pk/ld)~G޹yԭ"HP…Z WϘ JLL7+ xJ6I; @&J‡ψ4J~"FQ7~((MzA=~߉fo-\ހkIP%ҿf:!F5u(A?DԒzΊؿ') 28"$UW~4sGTmCF ,Q vgmǮ 7uυAhq?2 u̴)ckc,}fe֔1 V8e.~.5`HtRF8jhS]6id)c[E{.-, EJ L jՋbsmǹ%_%¶J-U< (7c` d;rl)'xxQ_gt/ 3+g٧;$͢}&I>YʬW;|ԻKV/zT<~ [^>">M^Bݓ|BW?0 g!'Xl&aK'1_]G ycmT ;)>|MU~+11u66^6 [8!t"[RXeXOou=ܺ։$7zD~BoW,9m}'xMs%v|g㆞A|q7;5AC;?nN\%muϋgb/b@cLj>;\p_ܓд~8D #b,78*B"~g5{w|zSHt^I%2^T*EpqBoofC7s8S/" Vx!-.s}^ ;3NDXpYesBxKWa1X0kHMNK~ST'O(y_K6c)[+\Ϡ*Dbȉ+ Y P7 ZKI9Q 3żpiLt6yEiӫ򝻗24Yg!(.L9չ##&\1[55m8S%fe8%,kބT416\/C66'Sr$qỹO 7z2Ֆ <",BdDC 'ҕ|@<"-JӟZYPeO~5,WP*C2ܱZn#̐>ܷO_ѱ`&K Cmy= 3=Ѝ&;ݷAB9q ᣫ5ύ Nh׵R?}!^w١:C>Be{]jdOYqQ56g8'1D=te;Kĝ ǝ"%L*R( Y`qBǃ+H=8~x1|հ'<,:+kh\Gw*q8_ ]:tDLN$Ψ-^ x{ăzm1 UŽ#_;KWGcZgYZ  H;\'1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC&1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id520%1O# HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! .|]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7KE iS?f~uSPT7挊Q6ԌA)#GC~_}\%t- KҢBEaJWk/AnDQ=XǨ5߆Ð߫(MjX/ƿ# O9v@Op 7<#!2AەЎ;n_chΊke)>9M(R/S DKR`Vv"L(amhYŦ\$n_xzٿ0c=z M⍾]R}-}1 ͽ+ȉ ;rN9|g=}| FQ#w4dhDKC ձ]Ҧ*vXpOb5չ -z EtDe\ yp֟8; >\RJXP=ڰ:)͞Zzi=k=3fGGrMRuj143粫][zhebLq4&Y_"\(r9\X&=8r q_ R9J;t*(L>iqx}PiݰzOzRۂԪ<X i燆 "uv !?@&Y]V>L4NHJv]̀<vߛo^>3| S5%<; Jf*2G T{u, AGM%X:Cn|\}ku9tPmmn|հKQ,_soD-6 )ZRx)fRjU8RѽW[5lu+=cGuxlhU7Ú(+C})Nz,[ gDDj:ƱWW-s?3F]|jgoԂT_qWkJfP DAiG4ӪgM臘5OM)ʹ,˼tئ/(;2E4|d 5;E2A%]h5Wa3^T4ʴ]sz-zsW"ћC!mWOLPgQTgʬ4vWwշI(01OCX< leU-wV9sfMq]uxrK8Ґ„hD)IVUY70+C ᮆRQC`||UU}z藫f%g^S : ಃܔO`}ݭj^/K|EGҟF컨49Ħ%ZЍ_f:84K!hDu0ve!Ǘ"pA߶j޺}C|4׸KYFo\o5{c$.A3Vr-XQRJ!L# ~iyu@I틳D*HS+*nHļJ"_!+`H6TOUxZJ@q4#lYR|p' Bz@.~ $pg㉴톢NZNc9\du[ʬ& &$Gwor<4/*J;5a@9)N3?1勋Bޥ:]<7+^4i"N%5G!ۖj qzf+55"CGgi5 &`BT(EFK"2goDUFoR!L#' z^aB'#‡_)g (qӡU5ߏ(1%D,1RWj,C-bEׁiaG6*05!2rNw& r}03PV|@baIHxҕN$o991Ǝ?F V#.a%r_g|q F"x mv"V#޷LrPi0=zrltpQy\,@\kcҁ eQ^C,X0'-P\SmV8I35u)8@Pg@t?kTPSfY.OvTLSЅÅzה= DlrY+DNwK%-$9B%Z-`w:؟a0CK\C͢(Re4eS<,#V(q#M7buVbEmq0ȸn|XYD, JDeĦ"^X_He$}W1AO;RZ)wrdk1W.A49T~?$Yig׋,#Y hXыHm8bvgMߛi[Лw= } &8Hm,[(/`[u7Ce%\`z,;_s}ވ" fUkI;o,p(6o UaR\GJ*Aťig08\0c)̪BKiBwFՈ.5Hc@LoE4EνScoС\_a:ZJ@u'3_T/!V :Xk!0 (ՖF&sb6.QM7cp8lVgDmKr^` vb)Cmʼn Ƴ:THHGqlSЇC\f< i*UD"%]HJsAoT5I+F KU * `_ǝ2Q#K탻,\0Ӌ>1J`Cf{aKp#QBLg͈=‡(Bh!;색ְ<,Dm䵌YjŨIv9Qf[zܯY{sr"SkIiFw g4롡wBkE^E^+_~&{e<_p8xD6H$wf1\@ '6zҟ`)6KOP]*]##qLNꨳ J`8Ŕ-蹮!7p%ǯt&3Cgz[&|+ Z%P';+r܍]x (&jM| .5#" $2A2:j`U*K%t+R3Ranϡ8θ>ź4;{e3[y:M 4+;#"›2Ymqs|JA-QYG*Lߐ&;9AxWigc8 3MsJ )^GוV\& aτT0~ٛHsr pR;1-Q;K̠X= YH@$d0<*s) 72p2YrLW:?yWz@{Ü)װPЛ!$`TFU16''*󄏡}p_3i0I/"79YMN]8tpdH[J'MmM{i)ۊSh {g= 3yJ_Y:8MpFJa7lŲHW\yl PikfrĖ~Ɔ X~]3ʜK Qktħ*ܪEm /Xztm i^Nƒi}HVU=K@Mi~.vDgYMϫo&{+ORPZ-b' ʴ"k)l&1\WyшpFxj&φZ9a/tzK0(ι Q`оV񠤶},^B?:+Jp l0Bݢ'-$PjO_|!'-,I,P=!akˢ–yub D % ;uz׷-EHTQ5ߺ6P>L-)3N*cGu tbrn^@~fz:g_|z=4HrBwF)jfʠاy,¾0*Qlt_Q>,RV0[;1I>dÚ'cKYm1 4 XZ|ܐy>9}Mc5yܤ?cS| hlƫbvE+aH6 pxÞ@Bщ37:>Ux0Bk8ANg VO[2^iCbHcPH߂hF=xؕзOyO+@G-6ޠ? X:5CfSuXP>~+ixR=O=w(^PY#L  >uSЪ?t[e㜃[}kD:r~2-Hn?oM'\Zxn o%35~QnH Au)UrA}YcF*آp\E:e;8q5'9R6g+ ?v '7^ BQ#5o4psxlj ȹRKs_YǾ0/ɦ!!fxOvxbh%(sEF)1+/_ӃDHgX" HHܤ!G`x4/J(YՊ}$o*v`Jpl%EiCƘG+E\fREE%x {!ob}#s!>r~ 8t;CM7t{zny,s4x"!7 ΪQ/vfh1 txpr!m:q&&'^2bҝ԰3}x_3T%J,Kؓռ?Jre gav;QjB/L57sm5f!y$*Ny;Xysٱ5P(pM)鷆\9,@أB=xcVlUi5v1]*?`nb/ɍtgzL#^G/sb)[-1Jfka ᅸIβu`ˊ$nTc y-;&} ,LvV!z75o5g6cbG lH$9GW?msBF"^McUOx=%5\R 9-f wzrhC(Xn hoD席\Kt ̻eq ϰ\O!8Ѕg`UFCPIOQ꽌BVgXӝ-SEV\Mkk2&c~J#-2dY_F^%y0$i21; h}!& =7"9/@ksm|ot,ϋ;R.ȣQ:/d">yӵ%@_HT/X :59bڃ' RAQ@R8=X2dzkb6$1¸/Hp$czˊJl(sP[\xxѱ#8L󠓉E6a/HUޭqh&NJCd,?rK),兩$BG 'PI>eT7B+$N$hy}+A=hCe2=;k `1)@m EhzKx#A{Ur-rF&{/Ʈ:0OZ>%cY@[83TOsRDO[x& B"Z|wꩂ3m W,R,Yx籵Gjlgj~ q֭*_+b\a>AXg6K~$>q3wӨr`~H&dž>VطJUϲF1azq.z#SsIRy/x@8b}4wkmJ.`ry*A _%i0 3bsrML3[ f F< \ke NUK56~,ctg(Z@@&}H8?뷼FءP6qm|4tDc G(%Xؤ/WP($ibpZ6B7FBWTwHtf1^7S T Oew+gB>};{$(LJ3"͵`lK;AKE8^7fjuXɝkzi|ftGe$:\[3yBc^]yf/vwR:. ߞi E6Ѯ[^)rزEw!/~WdGx{mD~%dޡѩɉ$,͔ڿb;l =o^ey/ P>q[~1.ԓ Bi:pED-XF7A)>'n8mmgJ JtB)v! çZT_>RO` 4^jF`_iAr xmr p)\lBi.{*KբZ&dhqϰ ™jo0xP Yi5f|]u@JwBR%lTQP,玵+5 @Aa-8{r<6^ 36CܱfxAM]s6IDvCe ȼyc"8Wfe~h-'Srt~38>CYս|,Doӕf|yG;] Ao;TwTsdtU*l o& \BFX8qPɋB?NA1#J<2Wg[t_r俪u}wxsU{|.^w;}g^_O̧ $e0Wj[trH1+*b 6^u!|dg[Ƹh'FDEXSmJ) Xi~\(Ky vrHʝv,Q=[*32~jonm\WH~>N Gl@L:m ~4P|Gڦz #.bE㵞A;^~6I;6@u{}ӿMCbJ+w(`vkX*98 \ٿWOx^L'~}bˏSi?T]#a#6˃_ uU<bs5tVSk]7ʚၖq_|`+G0Hz a|j$xA Ĭ3sU 2cc(mb][ea6LᑯnÁLG iDW) K>Q@Os!dN}x+-oA B*-|N%⬛^x ?d2~:@째o:\)k-u],4Lʌp򑧬qKbVI K;G!VPNQlRX84"dUuH`eR)z+NXQژd j<ĘjhZIXeaӰ$7նM՝UQ5Pv:5=s;QmvBy(/kHrq(M[)ҲirFB_oa;quPxѱk5+bu\(qE#9mɖH,Z6ơzx睷orRH@,"lS%Ey{N.C:#BBMvvpO !?unM9T#q,IPS]IiA I-;.ؼDxH,8/E@j,9ϓ>x`g4륄 |y궅4| 䪒 N4lUtիg[GHMyK~$uQhMw2H_aԻg[C3.;-'f?/$}v}Q-4xyƏ2'x^Ƥ!'}`sld@ i,8 B*.7Q?B.B^U:;wWESJ*GÛr[5nn ڸmg Rm؄~]GɿrBa5SW} Y6Wѳ S;w! ^xӅ?~U'QƲ{lu /ОY[̷I-,C}ED!^୞<.A˔̤duoX^??@cg|l9a'XT}+a6faŦ1gWsݲa_VgSJYhq| :8W`d?Y5)GlS=],/f9d#rL̺UD.(`/H-oqd[kgQ8mgYZ!( 1;# THOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-@}H^ZgNr},b(b ,{ tk(hhw>Cmד,- d:ZWGAqѵ# M2JkysL+YX[=\ Tc(;1u_AYuWM%rd2uWYՆV] 6'D Q_py mN5D4BvP-J=Tox}g^Z4ptϭRGħ ߫t V<ѭ OYs-^k׆t8*%W0S9j͖ۛjƕHK=hvlf-G#Ɯ`1+c"pr\s~ttE3ΔYšoy ?P6d TI/g;L@Cs Z0M/=%hdžȒ8?g DҸa.߼\Ke\L ? sq1RE$iCiR6"5pa$7rat*t2JQC>,#H Qd{Q$\<يQR'uԬ^t'|yA*v.;XQsԠhv37ղ-1F\kl^ɛqNĤ-M2{O804*gDR"n!.w{xGD4MSJe/CTeE/`8ӚDu# QӁwƒ / p[u3[KM}6a5+|Iս:VlW$n$!suy`Jtʵ\Zń7~qH&74ٚ-ѡFfE{[\h-h쩭DFfFdlwJkJל|,rnYtsр (EPmՐ'~O2) ^N*i #{5s&p(O3pWv{Vl~12jqՖY/_ eG3oݧ!F.bx[sn[<ܜ((=\6y=+FVR`7`pFgHн1Ҍ+P$pNNd\ uşCe`s@pP{!rG]ԫe&>t!r}|zݧ݃iܼվX7l(Ag]7+;jƷ 0`o,K-K!8 `PSFVj#+FM_\"qC|?ȧZ ?; %Bw ̭2k@CAZho: +aM%V0ۦpQ=aG"flk.N? jZ,1c% )ӷ_X'?5B.N5.;hۏ"@\Lf;S3p0 MRUxTm~H^F y_{{&7A*@-j9d K0wv ~yCM+퐵U2^t^^u Yng@%6MK -~:WgF돮7)[:+PE&7`um+!\:ä$ɍZXXw'H!HWԸ0e̗:Mc]o@*62TyB䆙|,7.\#fr2H_r4Sz 8#n2kJiQZol4L~E'=>WC0o~O.kv'ۼ"Qjzd}\eWC_ݺ4VAXV~WS|WU`rݨpbÂN-s'g+L252 _z@eG'߱ts 7? N 7H Iz$QV71OJr\E#-p<ęyk\'=e"x3. ,w|@A(h-Cb3 ̅uA4^t{|'Y]0ikm$ ]"_H g疫ϏJYӕN~g/H9f &PS7WhZ=ts;ӥ3SXӴ RY0W+)S_Cn\iqJŘ={8)xڻ}k_rA}BYGkۂȯ'@ǫ6^UϜ$ )FkF{t+%.",;=wU $Dpt"CaCWJ$X[yC6H s5=ܑu v8WjyD2Z7Ro7^P@KZ"C\~uѨ鴻MPn\,՟j6Y[QVC3@1UiFSKeq;T)?<^ƺ a=tOegŔ%{?￉#_󠊊49 {mhes_jx9իyf`&?X`F:R^I52; D~^(khZ[_ p ͮ$FA`(;X$rtX(BoR Bc$f"N!iBBs Ȱs"=A"l)c QZjF;B+wbb=:hn1J 뾖<Qc_"G*fVfatq$8tf 3!]TN%+r% 1 dq0?g9230_{/}evJEMdzSF)QSIZG:f5hI7DmJc~R_*XUP|UjnPF"ne[ܻ6ib*Y 0e\FtfG>y6c6KXhL:Gl̓D6yF?P_D~+mܬW%fy sBu4'}{Ëф(4p$Yju? v%bTb٬CZ.4ӎLL |}fm[#сs&:F[}M?KJ?%"{c[h]fMcoڏ.eɊ6%h)1(ҵY5p=z=]%S],my9o-־b4M$_S&B,=㏮획Uv@dvŇCQQ}g,pZ:lMub#iaR!v[;. WK]5/|M\aM2 /o߲ Ҟ8'"9=}j+vh:,zwBqQՁ5SXw(fx!s!5`g%ЯRyS1F?( Ez'vK94P1~!/CZկ U >/O'UwauNT "sWоDuFBj]yC#1mW݋oT$wx]\( œ^IR8ޮZm5{1;?=۠VK$Iʜ-b+"UaВʋP655Sg&+LncU!IX$Y( {2Ű WJ|=ie4$Kdem[J`ocw?Z[P5Eʠ$\ŋuSnQ[s!w88Oy5m$7:Y`%YIhz]՚{kW5FQؼh,.wt=-ѷ)7@18Jfh&Eꃸ_1Y[R!G#;N+لRfq<@Ңk)iSP\u#fg{]z@dc0QwڐN*C:DoKd;Qi)f0pp"',GUs+_Jyj iIRTW1D('U1ۨo޸wu-otdӹ{HZIh@q̞ڟuuO9n]Z$ﳮ'| mI"k . )s -@εZub>eu8807~uO\hjafMAlhXFp79GD]h Sf2}5ل༗|Ԫ*{좫Fg^mF|)CԴ(:1Q[c䒌Ԃ]O~jZ`[ r #CMG縣"nY%Ht1E_c Njdv[')Á` j"D>~=[' n`ś%̨vz+bED!O^DlMY7y k; M/L:4(ϑBea:D2eU:)VOpqxP3?MrV JQ#jp~ Bt#3JeN07 4{:Q?"EeN\k&l`DQ?=ܰ@GŘI!<0;`s."@oO\HW][Qq]P昏 "Rď9 SpZ_5{RW<¤ Wb#4(iR{ƜCL!|X2Zv=]廎^tq49M/NMigP%+5F%mm _b "i7u|K%\f+\&rk M{5|e8*VB4f'Ǻ U*ִY<*J Őg%-à+S#uB֪`c 2Q+w`ip{yTkghˬ#UEA `ĉJ-g#X&rY/pǟ>~2`xB6vc؛@)^:;@R/}͞jT]W$m Iɨ 9[Cd xVc٥l8N\#^W`Wn k6$Xjig}V@b*Z)n<@☌ɀϮEIgw|*~%LK5WmЛv.ko]FxqQ.%apGS'p'1P-n4G8s̀+:>IY+m;u]VJߥP*u^*H3DyC0!uV5&,+0+I9N\5W:l2{HPV(d,9ln!n_>Cc1Vo9T7'c8%y[JT%jId_@1 #`c O*"r;2jfJ򺯄*Qa<A稯Z;>;zaZeJFtO0cՅV5֬p`hk:ɨED HP,Ow2_b]ɑl@#JB89xx2szA iue^dB!6"SYRZiw#4V--g/]gw6mMZ#ŐĖZE `&DՂɘr"dAM] '8FqX}U@*7ԅ˯B QnB_lWMٟX3asW[jL/>  pҰ-xGq[^Lt0^yB]d)>„Ĝ Ν]ռepґ[{XA۱E#܉5 ۚt ||fUJi~ :.Su5!Wv+L ْ.Th>d'6rhDے>A*8S_+t8$t+W/s}ɯgo^H[slmg+e~TΧmKLڇl(Z&>\!9{ʲ|V&Wua d`l`VJB~ 4_=] 4wYi~v;u ttYPӘE>1rגD̈́XZa/n6Pd c dTfTm ;o YRf8}1}#_ \8&iٿqK>r-sngaۅ}93UϦkt0~`c}:MV3Nb%\WU:z _9h*}Ydm.^Y$x54CZkk9kҌ^c\@o ´@\W٭UCl$){) i% t38 4k&$s QFoe-1C. i 8Gu$o'7tnSyJBrFUPMdƛ~Pc{S9w+֏ s&pN=k*?K=[P04 Ȼǘז#n9ح S#ٌn}D.oZ2^=B> tG1mPA~[[)'g9"*p>2o1|rcRbqku/ʢC4~!Dft7JdkЄyTCuRTM>Rlr$Hd4|량mkcI8o.嘶acPڬ$㠹XV. 35 fQ/YX,Ǿt#ҝI~´2)7cIb1).MD088rKvg^oCy38 "fߠHmE4gt 6O36S >R`xIۡXұd[H4% -((!M*HO%qsc0Np'N |rq]7a:kY)̕o`̄~-0˹M3fĄzuxY}X2jl5RooΘ8}3D1@nhúQ=|1[4>SЖ5/qg=4ٖmeXh(©٢$G)\Tto*JZ# GsbFŒKPq^ ̩cJZ.7gu"s(N;ru, Gf$:Mw_dU?$&¶uk)cկEzc)sJn_{@>J7} o=o'W 퇧s}XH:\8ަX)!aB!=;,v9Is-ZmK*쬭isW.t_5j(1rRRuM6y$Ws6GJUO*MB{vS2xOɸI+M86l1?*xp%p k+e`f򔌻ԗM+=6샾S`ЋBbƴ}__c@YW6>F"XQ U4W[zN}e<3 46ً;yyk@w[>T@6i]FŀRՖ!HX{Wa*nwZ\T\==W_)e8%U T#6XD1,kxY@&V $[@X{IWVg0& [V] )CE8Cc#bfgxuHL5+"^FaT9SÄC:~7`6/[PLe,g!&K1BCgYZ   O_^21=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD11=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id532M01M# HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy~؍隣߃N,ʜSnZ7ԖߤY+z-X r!\іQFڞp-~@ HgumWDySYsC16w})gL꾲2 ^A2f ;4x03$3EaK5C ܯ"GMn/1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL.1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id524m-1I' \HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (e]D?7 {?:fH\y^p۳A>bp؟uJѩjYvYl"1)XeB~ih|7<;g975Z{^IqEMv^J]<myB!iTU@sJBiSEٕG&em[.hX5#> v*N1PP=(b2`C@V}LsWMxu dLKiP&[_)cOq44 3I>9-m # R!>;x>P,`9i$L& EbfޱQ{3GcKYa/_V7]~4OK\1zN _4F)t(c7n4_Д2PeT}hK԰$8\njve`"44vѮEay8ŭU-v[ y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rm^y4J.p$i*{9~` M~둊y.Kn3m_:IMyj[-qBnNͻRdF| WV`V-#${O#SP嚡}lϐSjR;lP\Q:=Qj߹!0τG[qF(x*)ݸv J”>)%ȴB,yJ* ԗ,`崚!)%&N/ cC%)\&q3f\7@ WxN[rA}b6 ZYASmTDH08KVqy膐4ZJf `{MW="T{Ad g!qԦVk˚#  x^ͤ卣xv~LlϽT>G~_+#-SViQ+7W T+ӍP U#>O۸ ~dE *Hr=͙Wk 7yHP;kx-!h"tcxF5{ g-Q[OBeڟ@kd1T&PΟ8Yn\#k=3M>Q#'X~Hsܴ@> (ChY2 9N嶃e?~/%9.(\=TK/83<'2"^w1d> >Pң؈K"۫/^`^M~= CdXp I=Uip΅|r@EE{O1^Dͺ7j=v>X.hj{~l~)~cU>BE|^wHqeJ1d)^j.Y[$M@>&bbe:u.߳sbg^4Pz26e~Vt qlqM$jU 2XE4WL A BҺŧw`ֵGZܹt8bjAZm̞Po<9Q hxR@>45[zJJ^08rMeXD,^ʪ>bB_5W J a +;(lǀ]kvצ?8ɪ:s@*eK,N<ƑXY$ P+t\[oWll$vƭ,2H/٧ݸ&\kAZE >G'E"_JOxGYFnGyjF2&[,RBH*2v8rnGᾠ x/RC:QnGY(xѢ:#2*QgPi3)#{':ϧ8I3X e<U\ޫۦWH)U "֩ĂG?zr{y9Yt܌3)ٚ7r) -Pfϛ`XDw_ijZ!mt^ 7M?B0mn@%# 4{ϚF>KJzDA.@s\^zH$N2ŏҞK@lY!-He WtYx͐Կ%>Ǿpm. ǐF@h 8Uޟ5Icb ݎ3ONtd)Ϋb J<Ab_K[,̄6Pe ᙗ U 6d#OY+C2UtLT /WЁi:o!ߥM>Uw$Lm/R~))3bXZ s[pV_V)4.LH߁'lψ@K@<VxtӘ(".c(pf i/8IqcJUPZ/m8L""Tt+<#f7&=\Rl)(ZMd LttZzz;D54X3Mj1VwIf9n7TkCZe6uʤ<~8G.9Nq9܏pvHo?2wk#"|Weo3\7blbc-vh"J."԰=izԩ Hz ̛7E1&R ԌJ3ȾРXTpe& /XL5zMϏ3?yt>R&I]Ѵ0[,xygZFL, \pMK+ѫӴQ.juIu!VlvA4Q%MT~@$ȻxhI@Ō0%Syo{Krk/ۦ-M K7-2c5Z.gw4ڻqI:PDbI:HJ˅E(WŎ8yU~Vh"7ijF^ v~#o.;E!XO]CXƋY"Pt+.B+@EiҝC>)Uc|8\n㝣M'G]Ѓ@ Ҟ1t[̮gh"8 UK^]佼N~ڔ$r5x}ObaiNo =Xf=r8.Ci9Iߣ56LY־JSVF#XiTϏh&s܈i`M J#{R󾏱7@ ߲]4+` rBgJäU&Y} ](aӌ$~TS7ODgm򌘽*e6.sЬ7E%41lofF~Jh]D:I힟`f ڡX^`YD ൕ6- n\u IHu>N%n $?pcTI2 /}{酎r B9¿ E m )@=YlZssHQ?qԯvw֠6L(QRKžj@?b8~5nTd/#jm%}M $('s6zS+ZF7Ќ=/.Zvxᤑ_'fU0KCF pM$((ྥuA:Ja2  3xGW]ҟؓF8\FFUa@kBp> oq1& M vhp)h;mŻk13Uu;#=p䷏ea4I?jR钍0d;GiO̳ &+ EZ&ڶtWq-eHkJ~ÓV1mrǨ&=O2Ȭ6QpRvoO#ɧlF*V7jvU?qD .Ly:ghxyŒ._1_%es^)%Q6qcgxM`\D]5fbdu ajiZH1_y~՗j,Ϗ,,}g4p gBIXtpjRPj t쥛2~lkoL/zk*ھ}}p`v A"Euǩ[;B; T@K]-_  j'.fЕ|?l#%^'.e+Pj8wY8wE[qۍQcn\sy60r$Ŷd;`%ϕMyg^>u?:Jn Ŵ.盀UAs.OM61[񶲅0gtARd +ڌI^GE] n-Ν50ʆCë ^GQ \ʖ^PC°vLZNmBtu(IN0 ?-8ffηgH1P w GL,߮2e?i}1oVe;4oy=U7Ĩ%Iz3D-SoسɚYRjycllIx ͷ6YLo~aqNvg~k{]hZx4*M_ [c4: tR i/Y ԁOk}UTY WBHwT3r}yb ~k#6m;FS7'xdF"*<ظ]1ͣ :pkvi{H*9U1ft5͖|[= %ek( R۴p7ꛟJȏgYZOvŅD{?vt7xIJH ɈtXg C hF*E]ڶxtJ? }ٖ4k#7\E:p|0Ƕ╆eTVV4FlEvuB5lU+5pc,Vaq"k޷D # X@_} ^Dk$%)^˻e|/Kn9%Cyc?"ݟCxAj06qkxҷcP@F7Az&,h‘}r*8$BbyqG_ac̍з9 l[)M_\ 4Ѫ3kALU\2@ ܛ$|etU|<-f-TցkYlsA4O?'l:H(ڬ= 94ܷN Q0 p\)̥&4*N(DLMWQ @|GN'&ң/Y'Ḳ3`tXЍWKCL*iGo]2VH_xXm/'rO`1&n]|\.\ C+&J (z#aiZsV9ז%y nWz7#iN]ϩ峳5c1/Pnz[>caΈjܮ,eH@pV᥸B,nɥ6Gb _d\6cmA%w>AlSmK zWøi`CӎbR3%RFj]!C}ngu ŗ ǓzI>p|b^r{yE(3M~NYzr`w,IhN]#?T]0G9FO_i`D-p݄t.2V-9G]r/_ Z쪇JS)&m +}" @+ wJX| B7:Iq$~(<'o5q6g6HQM|MfR ݸk>U9';2v{=52HPp3%o:W`NUΐGNyT_6ڹ8%xm"'wԙ,S240o!ץfl8vN^>*%h}ΆP#s$YV>\9 c0I؈QmRJծ '3gLH蚪H'ĺpuT~`T0 "puh`%I>Ma3(VG/~te%ҿrhf<05.#(E)$Z{Iסns.z~isޞ7kJÎ~u n,_`KK#j^:ǗșX׷4I =ylLn60|-ο, K2֜pZr5*_[E shɧ}bȼ=Gj@'(!M$6OݩOY:m*jeR-Mvn5md?0cȈMI_,YD:\PaG򂚒zmtqZDp8`z$4g|:lLM+*Z iHIY}su9y)M|UfEӡ][а^?,rlyNr}ʙ@ñMhgOBv2)nދ<y´~ ]_`!Jy;n?TBבԵ@wE"FxeS,N u@J8 90/ђz2PTބ:bIU}\7_"jA.scj+:FJ\]}tgZrLדLK*R r^J.+?@x'*\iU/pPHJ,Y]D9.\ هG%ә3Qr$aS3 te% ~ 3:F[$ )հ8Xt:n@UO$^pZa WskDBBS֌L}v\j݆!rCA#4@|ucY)e8>L {؂^kȫZh>mx _%\,͋UX{w݇ImCyQgVx.987vո4|2b=~*Q#.OGnErd>R1U8އ=]aR'oϙ+f/*&˔(0Ԁ1L? P+@U]GunC6p WN@ÿ3lCF$<$`o"d`dvxk!,' L g:)^ڊf2i0Y;Qb[<!  yHNEjzajmh45u9kڛ?P uD0=>/259$0C}Qu$]+Purԫ/dIZ>h p5۰«mߙ1|E8 M{Xv<1F/yNWp _WPb->}vuⵙ kbػ*ouOĠLEm!Bjcf6'Lp]O'dtO M\&i)3hRa}%Qѥ:`w@zM$kXmb #]}nV L=;̔e ;T@i.1fR ?_e{xg{y4ȨBIM.҈\%-"0~CS54c6g [AJp9jE)\} {KɡV6Wł5_{f{OT(D4."9wƒ $vtjKnAwdiijCA9e5Uw+T>umKlwIO4Y&PLUij5Qk땑 si֣T)Zc[4[2$/( >+,.p?T9 XZnZXoDƔ#J,6t[\JYͧiQ,O\fa}>uϫMgl8/NgWV7RQ3m1T|B&Cf1V`!0gn8ʚ lMN>޿\J[Io8h368JFZ,a,C}Rk_Q/BŜCQ؞a6'ajݏcbf}&N\/KSn,WG¬v%U*Cɒ%[F#(KРAʖ7*|0"XR@o񰸑C/{dcVdSqlFM-5wfJOD|o ڡ$"mJ"c*4_4i4N:!z`Ҥgt&qxxɱh(8B!Ӆ?vD46Ӻ9 㿦7׳5fU JK`Y ":A:59lÀAǬ lϷˢ1u33Y*"; #]>;Ea^1Ak7#5WO-%2>ԓP:ΏC@K1Z/edDi%mD~ TBOULuc:at͗U LVçk#%EQm. y]˒xUyh9A. _pZP!Z^ ?yؔ#!2d ^Pr8xajv2at(r@E~}^hЏ,*t!7%&>dҩ$ (iRq^~ ɿ-a(4yÿm]~#NL%_eL+-dxG?L}/a)twp>k@W2Ū#Mܻ57q_B']#l`iNtV -۬ul(^]XWv{mdk^LLܿk\s&NTL"BU@nЎ{YٗMA|?Hg@UDxLqOI4QOEVҾwQl-F@Hj8\8J$}z#3%MiF]6lF*?sx 5b=1QTe;{Az0M). YN)<2,S484i(uՃ?Uyp G W2 |FO8^HA{m'RĀzfײϺq /=3IƠM'P3PS6gPϊ~|uE @z/PF8<N.ԓVȇ:%(0iғ^YRG#³F^HQٝ8yAl)o!TBV>Cl$zn ` CWuѝlfآӅx~CC\_phOhy[6 Nowtބj|?1BM ,2*v/uLǏi;s;V %L^=D /y@X.UzU<ʴc^0`jjw4aSAO*6T 44RY|ݏo9L Hq'79B=9 >)"ݥr4= 쎛p8;t}|)²_,'6|v-fO8\39A2e6? ~;S3]fZpЅ8yjAJw#@F%O(ʢ7#xp]sAc rV W.BaYhFWsYl1 мDa1G띫NSTKYi (jۭ3zOԖ*Rȼתkyʶ S+W4:} +u*5*XD<3bxl/P}]G+B+g3c9XũX Wt>䭥?Z=Eˤy_uY9,P%S b) +qXWQl+!8x^!)m{K1(Z82X5/mIRuwu m\mAQroq9/J=#Զ, ~Q ߲6D԰ch)>-p}54aQJHswY쇋`_p~L ׋ZT\8Ljq~Nco^"]?{/ jvP%Nīu^9ܬ n7q}Ok6Fg=j8")! tHɢT p ,;ZGE:RSe^p.IObLo5S:FI7`_/;v%Ś&atfE66R :6gȯ?L4,ɼti%kPT`ibBSFl}$H <0++؈祎ȋ껿נX˂wmqN%NᆉX;b t͊'T1B2֊7h+EW^|'(KE0'뿦nv 8\~]TsAnf=Z j8)ra)/n\/sAc#ϒfMgR*:뙖ۚ~nbͅ7dDK[UI~*Zm}$yqyNݨ W[ڀyà8U=|hc8;:{>mM綎iDEKo/ԊhU u>4g+\ )Pv7GI.i~<'D9E`9Yd..ئ"1DͳFh6ee29Gni9f&`_yaBGgiaQ{74ۥ눽l'u ( ^iĔ ¹FR&.ֈ<[Ak4+mAtTM{Ϣr"48ZܼЃ? |, -!=a+8ϲ6.F!5Kj?3Vn [NzApZ;-FeZ'd !5:Z'jy+*0]0U,+LҶO N2O4hՕsdB|Fؔc4[X UYF\[f0amG91y:' ,I/aWT(e, _hQ u!\ Χ;o3;e|춴j;=XGb}ꙗOE0OQ7<#Pq)/(p5[1%`ԷCQ\70dHlv޽dJgWnP׌P7*qHWJjlٰ3nH;ҕ6lFك\MCjy$'ط:BDuŕuTƠ:AdcwV/LIJ~F9sjiɥrdՏA(~4kF&E_qd4oed@/?ߢ` Ruܤ%,9D-Andܢ TpU }nl\N煶w2)yiizΚ4СOYA'S”Xyt4a8 4WV*#]2u'au5Sq36F,zȯ-E Vx*#Ķ-kwtяT 8.t6UgP&D$6 4.Y}J/M|@*y߇CL'%±,Ѳ@\kXܡG򷚁rX.>4%.l@sQ0#oO C؁n)}fmɍ*3̪2dBҡ5tlVeB] }țѧW> TG.(&x?rqx,7>%:jV.hJˋg֓!DaV\L>3A 7[3]‡z\&sC؍ 7ݴ*YRu|(Sq| m*!kRo`3$n@7V4RKm "wp.z4#pް9CG0bkDM1RPF.hzmi$,c8tug([#/C#шڕDT18P$?s@q”=gREzxXsݡUd]bV{<ߕDK<1i*6~a5?\*od}-$`S'%h$ |0M)3.3˅OC, k'jZ:)K#W1DVWX8,RȂr!yi%\ "g{+ /h{9lFfEq y~8+tG;nYES^Ƥޖh~g vrA?!h<>{>N_#)f{ܿ5r V3ԺhB%r$ 0dG\)}JKgE4 J;\]`5znS@-Sd-uz*YzŖ6In+Fz1~ TXyC_R]qTh" cZ,ᩆW+vϢҔ͐|e3Jg}Bn Y<_Xw,1kF#?f1g~/klFldXQ46D`+9QBH,Ɋ:j$ Aw2YnC&SZ;+TjU-O3_R0 VQK lֳׯZbvDդP{ s,mԵPFR23KfAb6Kᘄ؀=tONJzҿɲ &Fgi- zo+Y8e@ 'fNgΦs[ p==-7gb|-dpZOMiJķ -SoW3&g,š4: |=@Hi 7: {Cȥ}z3du馐#(ҝn239t/O~ >ɺ" .|hlGXhZ:K0^Žӣ>ܐJjrqgm6_BP*cz5u_Bo,WUTK= !2K^6UY ;/"%# #WeY-mx#ߐIk3tLL؎uH.Prs5tZIKi?i9J!޹_?Bo̼W0d8U+pHfq6sN.*|ZTwIO,4Vd EĐ'ŻuꪍYsۉ !*]I ަ84Y^Tk qhp=nCd"@Aσ _"mج?Ž! <*C}MBR_T"#TT`p^#tFsGdK+Tb P3pϵ= qc`T Re W¨_> >/ce3]a (+%d_rCX_l~rŒ\.e>Mȍ lRD}3]6w*4iJD@#.20'5~UAx}ԑR=/Hr1ʮdw4lJfB υ"ི=-RB_6By^+tQj \ska<{Ѥ5^ݷ[3ҹ|cXz"pxkH(/U*㎘-50RxJlFYC"pbnR~vf*Jsb>'"&< yk'W!1ls+{p7wBSz`h,7ܑWeUXPma".kulKڛZF sZJy%!*ƒ-\hlЙ?("#j44cVH{ |Su]ݜ)RHbfЅ2b dX3pþ&HZoMKtHy3#eZߐM[a!<դ ꪇNVBS+Tr2j_O.?La<ҍ{Uh.˳3CEy}xe,u'^\! ޾}{&mǻޱFy*~zK+6B"滮X -Θ^Y}Od;TwlfؾT8M&D-)D ǃ~͗3 c[h䑵 >*xyo}xEu90t0 0 ;XZ#Q DKNhvO([vc#KI2z@v+/ Z=loѺ ɨ}v򀇋Ncʰ5D4'k|4d?ۨiw}UB8 sXK 5~ǿQjt?,u|6^J"F$9 *3Қڤޕh&2Bx*9?0$|VHe.eQbTE;vK~};Yh50 99R ؋[I)@jlIp +-30Vd f?姰t{s "bM@$d ֓A1թS=w \uS՗Ɣ?vp䙮:B.~!/o^>A^$F i q4胇\^gkUyO-^yEJm(:r9N\ ,澆.  %湁F̩y"85G:$ύl󒈣=h AF7[us\ٟ Nբ p<'o!sa>" n Y?DuFi'~cxΑU`(e.#ns^~DSMu%4ArPWP2l9{=% Y(!FqP/H[o_jtϪzHyt-0f q5|r[@1zcRPn;:8ۢmy[Sn` >Z5!ۆ;V>y"D[vvmLSk:ƢLYe.юuS_7h|PB\-Mk39a/~wLZ]of!L+G1ia 3چ, P7O gRc&0U.ov 0vsMawn)~nQ9> wy r5eQ E,92)jjMY Bl_Rkg8-U!0r_e˥'sq*٬a6Pxevn@9R;MlZrVܢGGA;QZ'=u[ZvpQFulMZW"]։V<UX3n1Jc_B8jR]W^n -殫v>N#P[jwuL03\aog ;C)ݯ.56ܜ9wD;20F_b@e`+5z6 0Y9>=0ߙz='gt5`z&5v4Mg]F(7wVt9-mlxCDJ2ʤd-gTO;5<=J~ _5qFW !}s_([2i ]^Sw__g(—^cT$+lS96jR<xD0`'Z5}VQCYcgbF_L43\d3 xGec\fNdNpP!]ݞn/!GU  J 6wm LB)Diq$g/10sx0> rR5֭["'-.<[$V$LgavA F(@%I;/ ߽ \#Xgz\9}%,5^JB?81*M;"Kc>lJI=-RNÌs !BqR^ GFV)T@BE?+ \/C_q?2|دzO _*͕7pe(u+ؠ/:do>&/c!k6x]-"=R̪$0S'ԓuv|` R-bldy A]I:wC֢ m,OR&W2frr 09WOJҜ`veZMQ?͵Caj#%U ?` uRfǑFHlT[[R4L>}E N65iyc{4uTZQDӀKDSAX,guTE4kP U8! AJWCE#'+.l Hn'0g܍DtU>MH3@[;md.2$%̗(5rVHl qd/ o&g<8;?| \ÐKYȲ+lT|"҉=Lŗ5^ݓl Y3|@`ٜ&֓)qνizt'oWFF|n:F2UZo&'.¶g5~Վ; Sg:v(LS@}>~MFv#ǝN*5$*R 3xfVI.'RE:(d{E/ٲ9mc  Rlb NIԦkf9Fg)$ӒFg RjXs-g><@ILW-_ۣO~ۜ4UN;È),=6΍f{B3Hx`Qp~GtNDD?j4Gi~{"NSw">:$53ߙ9crz ZvWjO킡6'odxK6jy'0+)>p2^xt3rX ViCX(G8ddSAQjp~$;1tѮ #AdWQjny\Abc#wHe\e6Ԯ'nاsbVhtoϛYf@іKm)% >H)HR))J;wM* 6(^wD id`\U-dܙӒ%NߠӨN$4S Gi~bU1b>F4gE_QShNf%">Ps7~栲{WD /+l|qZwW I(?.QDęuE՚ M@~+M8f(NOTq5VV6sJ&5ݑRvfJP&kksUs;-M>x,uZ=qWn!RO`7hoeD)wڦs7d mS(C{\/ﲶ.yPF6Hnp=۰]A2 (V,q2"%$B*?kheȀRZ;+"7)!nU1a:)LO(0uY?AnEA%8LgA[pڇ@}Af85=u9TiS9[ pDںזfJ놪f uøkw2UR0] ƈFJcf|9`vL؂)S ϗfm޾CwYF5]aO,pi/R^*{7(K/p DysjbSwQ !:qͰw_жc~C|*NNaga yxpi+ C+ S\:Ū\#]XJFe嘫o[J}{uJ 8:!hr )XDZMicec\8^˲7N"9vɀ~Om9TӃV–eGIXdQ,۟ fbS LdF+fւYݞ0RKWu2'ɕwx82vcfru.Ζyeh)rrD馵Y8j>K83 ٶZ/Z@4I~T"k 3eѯv'P\YzҨbty} sȍU#*(#"`|I&eo+N%=Fk8y6m |@}ݎ& {uҌ 2 qJ#1#p}!pg!#S&qk ӓbiI3%eL-ڢ)pm| q :,C0Z<5,/T([Nkyln /@," ۓJvKEH{IދlJ}&>l.wN 89 wh,lLYI̲}B#1#S{NHM'IN8ΐI595cdHLzu>swk;Wųq0CMIC0|l(sV=jm5eF/v a~|@vV9]EKogd/²ӫv؜@,P'&HD-[_Ku[QZUyw:csCs]\*\-HF/;pm$,pwkXt 02/sOݭᐫtI"Tg*Kf%9gO05&aI6z8 H7BF-} $<]-#F;bAs?[8P7Oɜ97wj?ܽOF[grE5j"ERNԞH M) ?T55!`v_h@Gv^Ebz:R0gMH%շ z8'5' |KIk5z%`_>'ifUKHŋdh` )ܫk1'0c:cgÙ~RT[wxx6(<SxW]jNX.n3(F_;h)P8D7rY~VMɸa>K& p аc>PK.(u_<|uѼ|uhlnڧ>-p$` \zcA6qFv^"$ :^jlTA%Z饆@W qwHk]ȩOU Ȍjl_(wo^x 50 [B)BV$-Bf7\`E`Z6y!+1=z#Y!BW>*t}dN˥%Y*a Z%!r[B䨂{ܖ :)ҟhg?sIcnkN$ , o)rV F*UK,o23N5! sTIwe/U5N/W.qxUݿ+1HnHrUK\=҄԰чM9tmS7E~J Fm@E")8 c lh1H _Z p)G1'oria F`LmNJJ\Y"6ң{d1'#/zWs*bRKPkF[ďʫ|5x 6 ҂ۢj5C+u]|p.j}WW5G}qkLU:S к*fʏAJ% XfUqJ|L]{8t Le9Y' U~dr7Wyo X2Fpym &M \*MW#PŽ#o&Nj[pTܖePkccƀ}Z˓нIU|zQJ̫n&߁y[_>TeLݲ۾M}[}/ FȵI)E0/u_~6T͛rݸ ^9mW  2+ 4'Wln1YH=='m@bMO bP.Ƈ8HBͮ"VL;AѨ[ӢNK@5͵}݊gsc6#'Bޔ1'fB)ܴM 4r7!8h8ſ?!4_YJepy-QN:Zbw֫[f>! ߶mt\}XZu/٧o6*h?1v$QM CKA]% #8 LS|V< /νV5p5xn֩6!M ~!i!L;)MdQ%~.ej6E~U)B|h%DJ>Ҕs lǿv,tD'Izxq mj%Г0 IgIs^GdR6 X**ꍠ{`vS Prs-z澷QwV3uauIU_54\J>9iPfEڡ,ק1ROSC8JdG;(ގn$dty\Qbә& zuQ&ȓSx,aSwE-3unJ wk[b 9[er±,2&ްГVd=ݓ5--H?dm_ C?s YAJOٸ'E B6>rbRFuf=yo_G L%a'pڀߔF|f/eC]6}O4겴1W;r #|<$4w[" ?^L׷tHK -!z3 D[,~SAjJ)t,z+tf+mk4yL% ^.|!u+ ~-(C=o٧S E,y>!O2-!<$#D?"c0R`%DӽJ/(!m`:~c Fɗ b(-[ d64:KXW ̀> u>}]$"qCS_0&iVK`/ef:Ns %c+8B#b#ȡqZ0bַZ; Ug?=Ѿz7Nv WiVI>DT]"ZT͝t״WpIa٣mXų>w#]?o!2֊V@Z84P*)^6JTsak#P̺ u#/o Mvt$f\M0Iayq0:9y\1W>v!UfK[ R0o>6'bCdm%{,;je@ە6>M`pV;ϧ$,KY"#w5 )"HhljkZhFUcS doL/?)DYRPkAq{.yƋmX 'ji}0='%+b:GZDW:-clT"$@Lp- g\펕q5!#Ûtg J5v!oaq쓵c|qt}NH"gYZ N3 1=# ,HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! 2i]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn KhGS= &ʔ%zħt|Ԧ{|`/"~ 6O* 1'\RYy%zJ$p`Xs?9a.=W/^[cpl-NElQ)ӂ|4xjɼw8COOxj_O^iPS*?FE"Ÿ@I|^蕷*%5> DJQhzӳ_糲ĝn408m5@0gF [v\vf,cT7/yD JkMs㈫R[->i;~uZ1mERrlA_N r=[ĹSzM;BVnQpܮ?8=r^e+؊.KDQwXn߸nWǩiXɉ\C/Ve85D5 %d!n1`Rd=0FL:S5]J l TEeaCrNIX Sem00m3`@w v Ҡ^*`_eWktx5eHTqB4%Glg}MjIIe)E"`뻼C_0bdiشWd4 X4;]X=(:eWؤEGd +WP}N h&D{O ȡF_q WJJZw$b~*~% oZŃ { VM^QAym{fA :l"'eTYPoEF޳g?Y( oaJXya >BoEpS0оs%+\%F9*K#"]:AF8/IenG@x}S,vCRPA]q隷;se_Иg^@'k﵃L=waFZx~hQnV#VMl;{J3hmWG}%$jzEYqSPP'o=#ўppyP gq|r>C!9tzt O|j>[&M̒GJAn_ "C`;  s? {2 ̎V䊊X;HK^la?_-s"u8Z7Dw:[R_8TpJ-{6pJ[{%:5VDohnj2S%&F _}ROH i u] 7.o}IL|} :$4NN~./N/+) Sh\ic>.c $Yގ[I5/M7XLZ7P>>PF-6x\W8vm٢_Pp*卽r|NTz$ٮ> YZnK\KSyD=nttv7 %ێChѽBx1iwȓmt ]LrFoq`DhUO<9-d]/U4 p~ C]}fj2TM<%gFYoQXm"]M$K٪fxn?lc eʽE%ľ7e97-Ļ&ۨ-nsa `|ϠH(X-,/9 S˽達# _Kc^)ʼ"7N )%aN6L,.Ճ6'M㵘O 8:16ۊ!l4G@ M4[ڭDߒmQ/{%u{(# qsޜRdݒ<*ъ"00¿@Ij`X 3^?a'/֥уF>ojDǏRF}R_@uHS *c>,< PUUNÓ3yOP=uٝ=.>)Qx4u'Su{}o1eXwЁ=)k UYW'y 2wwD$2mT(+ٟ_uJyt ^wYʀ)&*>&ȝ Ż*eG[Yhag*S$8^@C6ܓfh8ev2R`5TV-Ht?Bb8Y(_̆Boc`+~>Ji:2<*r~!(Bz LETk1Yɀ zH /*\2PBxHA7ɶ7rՈvјƓFh}s Z%2dFGk79svcY`+21(ǎu)~mu`s9W UۨH$g !뻠TX%-J(TͧQt9c2*zp'ʧ~͓] *b+qbX1",%JZ:KZh!\~@CӰM69K\ԜFռ LMdJgҞ֩K1=BY,?qJfW.CY1[k=A!z?Vˡڰɋyc-bŊ8K͌{Hސ {rB[vwƜ8Ҷ5X՞l7K?ͽnsnmX+uFŸ^y֯/HI[{ iQrs)܉ZnUslqN`tJ46BYudF ;fSGt5:Sb HfV>%:0ogyR澕zN}@]H,#,UdEPK&7ͦȔ-< 34躀wn+,byAO>cI%TI?+ܯl9]EڏJR )m'7-{֒PՑ> g}E]Wb?8Q|쿨M11)%H貭\z*bk vc5 1=]h.h 9㆑!}#W~P+$٣rƓn]=𲉴tf)r-eF&?r dϼ0u,o$ ^PZuMo06){{|Q 8˨{;n;hU=O貆 pmwY)6xANd8k5@a٣*unkDĕB3'qaiJT_;ޢȖTm܎|"{Y~uJa(LA C e04یp`T\D=rS;׃X}ph)q\-m?a.b3m({D nP/85YΤg̈|6sQh݌5 r$ ?Ku,-!ȵ%Eb}EY;&b QBaH*loǺdCKHjݦA,Ov[P~Mq3Y[>SW&{7r4kЈ 4 Crc1Ka}7ja-z?W%#~xP7*%11Z5ÇAb_'HLM˵U&I] b9"k>!׷-ABl$iBai켺;}#㞀*a>T @Pe80Ypmb 6d4$3(1[.o 8J8T@72~[ј(@5Jߤ?2,~jqKk@xo]IQcwt^h3շuWX»ERQ1u5E8:@wl ~pHiVo~36kw63dL9F{l$aԙ Y9YWa&.^* 9f8%6&(V֐qk$z6)͐u:ₐϗzԌV$E7.Ե;YX2(fs%kh2!`%2p-:jxՏ2 SXlTeNUv}W9 eȡ?4pqp_վ]a"ϏX9)gJٟ̊e%^2+ӌ\#^x?쁅C\}J؅gox\MQm1'g!]١ d~[RjCwZ5=OFŋ2kiՙˁwtԉgYZ픤D S8r C+[9:5*U×IPgWJqzғX0gF.3j).Z0&jShA¢(9Y *y<-q k7@E>KMrl%8 T1񏨞#\u~cS6t)i H>ToS_ x#ֳS A 1A@uf ]Lr;yr"۵AwP"GE4{̉9>"C'a,+ ZBg.yP^aF+pPC"N賂-%< e +sGt7t  ~J iH9笰 48{/fVxʺLmg1HG&x;Lٳ/?} ̨Et?w& UxbA^89EJo˞+7"b_&~i#GTrN 7Npj"zA@6[!0,KD8fV 8&vS4cK0ɾ%޵ھV\nǼ'6=2 Hybyܣ#kr/ g$HCxNEhM.';pt'(L6ax]K(%NuW+ zWٺ19;Bթ~ ׌[Ã9C.?@bm+>|J!dOBiF]*OتIE<_ȹiID` `SQHy8=8Ïr됖aӗ hΫ7ih(Dn%d#}`5fֻMGČ-eojŠ49o~t?}g-/Cx4mjGj g֗ޙid2qpQ_{>;a3RoG%2 gqGRᡓ M 7Dd9{1w_!%Mp@nC j̔?T7±RmbRg)?Bۆ;yF,A$;NٳaD"h,ZRP@{c6]sSn}59Xk"jC~s[w.q܎lDP0kg:(MhTb6Y6ḿ CVжT.'.;Hr1 K[]=l]kK}[K "nhpdf]5 RICZ1Vb H/EmUhȿԥbk?HEA۴dѣ@Xnsck'GB7o3sL4}t̐Tю ` $p3NI֌yl%jϭ-o) hQ!k RCB\ ( ~.B)B&AG LĺOzmɳ\"wz 1h.r~flKm)vf>m[5ܷgјd<ɦ6ꒊިւ?m3*.oeŽAvYZM?|nS7 fV Gʛy"/]-őZ"*b##5"αe2v4+1}M+mZMCw4Z ׼UcjW$̪|VN&~%wj4t`HE.2zL+ATUsnp''˃c T>_j`# Z *rV(v$MLcgE_7ƗV7F-|iSb2mJdwb3!dd#PƤO5bIv6kl47f|f^Q¡( j67e4z'(T7)xg&HVH行Yhآ6dy~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY.] vhZ[d (:.ͦ01]ČmDٝ@.3Z"I :Q%\ ? ׈c cpFLdw3/w rȶaE 7/ .Ȥk;\~]A0]^0;!d ̻t[1kyHp]N(65vۥ'lL[QSٕNC?9T,CGC@gk%ݥq?ggDL%kP#et-Hxxx `DcgPܳnidw9jZq05i'28Іb c[ߋg'S_w OeeDNbg ıT6C*.#;.I, nݚ| !>L  zfk((r,b 3 ΥSR(p/ov5HN:S@V)54tjl`c=ɥ+߹ѢF) ݬuiQ]yndB*\zH"Ҁo K@]D4HcQd+{*9wUa^F^:ԫ"lK6GtXQ弛֧4ZK**F7E{yA_*ַhWgAoǵ^A7F`~X\ G …)St6)eGN+OKklZA9slǾ9g)$Y1"IQp38Zr?r0./45Fs[iT d=UE9ʸ-F$NSχs'os>ȍ<&O̒b:>WAHy0Q`x6܌/+V \\!81A' LHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zf ' * uNXIQjwT8@kzª$c88}i DvbPAS>HAB)HQXI?}@RO :lչUo&#ngVvIu{rp RUtۊ xh/hy(Uj2!4] EĵNu(|_TePŊ/|v-Cv-LZ$琂XK/ 0M?o"`.C z,,؎NY2CU'MO4}uɽC+eH@IVJ{Yd?i 0C٘k?h/kI tC䡥<8ɷ5 (#?غ6h_|gPCoWeR51*5*s}{cK lBS7>eif*lyR~&Q3(7k抷a"-eE "@B Yݴ-'Z_`XՉDpxB#)bwo鋆?s>"?bi`O{2/\Zk<h~s d \)%U3F0qk>ߌhDO0y_L (g7_q ! RɶM@X5C4ŜkbfA9tuS%>cχZ6)YyGpV2^G&.ʓOI*K4=ݞfnn5AGVZEdE?R'0j56ud>eiePKDp'p8R(~1!NBȍ>1}یhRE?"]1;B(o/Rn#VTH3ץ< =*:^-%׀l0Fg6.W!gl"?y`,󭊷B@t<} e >Qroa U PNh7MFlM۝/tCX'j=*Yli.t v ‘Om~3틢__ΫkϨM=U4-.}ܜq%lv?z{nG<:.CÁ-5ܞ!G0gDZ 4yPT=p9(k>Lviuʉ;MfTVJV'<)`Rչ ?fCOa>I++ZUҀy9AڐU?weZ(AGsGuB«zǟf `d!Uv0ZԾqt6^8;PO% wc*DI=}fXLf7/7ɭIJ٩}qqKU>1TCgz!1ŮRmHA`^Ơemމ^צGO= __buE`Qحo ! m{Lh[ʉ!$9^ɞ%9 }M-FA!b\\&IjGTE1,*C.zzj_3BP _cD/ixԽC㋤Bzٍ݊/8Dg\Znc7+ٱ)/]R^7H5F"țs\$j2/oqM.noű[\8(/A2fnH(5aȵJԧ%n6y$]=9 /Rܒs-xPVzE*[jfJSkfbϸ)Yl Fp_K#ܸjp+ԡ‡ND̻e|TZEj 孤8Ae֭>.f>9!W$Pf]9wtayֳ[ ^' q Y I< "O76I% o AŖN *->ETd5^mX#w5:,SvNw%E v&LTlK]5UA:R/Xӏ0|;女Rܾ$  פEx4AᄇY ߣpZI^[U*U~A%37_CqΨa.Jb!Fi.U%OJ i"ԺbF4AW!!_I 3񯎈bz|$TTb~]O'p4uE[Z@XXA5Y~4's@ *1$/mjY͝P20c+vw^DBŦ*2o<,}CKO:Zo+D7l{GN$f,5jYMY&7IJnXMV'攗B?e 9r <<»W_⨼M\RQfWaxFCF"Z[fYAkNzߡq1TJh߼@8㙥;mQ EbGԜz`zt_YWH:fw ػ1^L`y9'Ј ڸyLbpTP_<}e1UFĵjtšx֛M`u5?5u~32)m~J*ޛbi4^՝c`bGLN|`^9cC!YQi9p4j$K ќX:x<=8C&s4NTnb|qL !}LBjԢz"HLd)/Nr6ٷG{|^ag%E2d9yho 5W ( @E=y1Occ\~±K7_+|P1]:vC!b</GqQ/vLI6 qS›R:f$vs, bTY>?evM`V)_`哇Iތ3ԝ)'96 p,vʽHt,`HΈ<j WKjH! SZWú!0%w.e1tw(GKq+ӽ6-^v1َ 6}nN|O.G%s0Im0\Zב?}xʔ=hߚ= SI:FEr&(J˿ɶ2hR!/yJwLdr$5}W|"Y-JsU1ܕl%b?}ai!{K{&J֎Iݿk9Nv2['b&eي&=`YًR 6~hVDПcyw-"U(ȊF`M 7X]B!(`%`LBb2-W"e7Ft ZgYZ4A)K[_ aB,"ZApݴ hoHq1oFrb6`rsʈ۔S- |=1Hqf(˳-;54A80ѵv3;h$tHHcw!ΛS(pdQꪮr $Hc;}+m YM%$ZM/.P]c O67Yv0nTΛjehQc+.qmYTϦ|~ 7 *?Tzu17+i\.V$ofT}f6YnNb}>x9`{46򥜌Q6OV㲻yzKAʽ ? <6Ur | l EZcG`@zDQgYZ7zXZִF! e "]ŗXi%[n;E(XqWP@OPڪ+ :?CzMck-2( MY :6%[i%1`Suי3T& -;fͅ.$xI +yب(E"G2"y [L򽮯fVotDx沿7U삙ῶ"*hC-bH5)TRPl&nsߒ`CJ kǏյoUZ械x s@<w q8^{$Z+h,n~TMI f̳*<5hEQW ADq(赖ņJ nŶ]aM]?5n"R5%(Sw44$k(h\%,d|=Л'*2ܝFMC[RCGkKj-%xZ<_*uOͺdz;%Ţ$FH:߰dRU%N['CnB<鹀A6굘msv?qT  A{N"}h;UfZ'#k)HAB[YSmy-qZ%HG[.wn7nQ1Q/n9pӄQYv&7z($>t晄:RR++AӞQtF9#'^ ˲AkXB)Cғp:*A5+gYVE{@klJst)>}״0Wm42Z5z:?[F5 G)(%!|ZUghGD)Z޻հܚC@!TW19l;\WaW2Tµ/8k;Zs~Ϟ #Ye/AKlzV^rIݐ&Hqb>|TvtM8Ubnx>J\Yyxō/:Pl q/΅/Ki;tpCrvVɽ^sT;pjSB<40YJPOjK=D2D CTYHg,9UI 6(ȒFNDzm7r; s?2Rn5u')K m4!gdφ.C^ ĞgYZe819d498a1b336eff8a2dce887a41f8bf8e0376c11feaa6b69b3c952139da2ec72ac31efea97e58a 8b9e2980a54ebcafdd93dd57be4b4135e57e3a72 3cab9dff622be48e331e918053887b9659ea8482