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  81tTt\ ] HOL-Metis_Examples:threads=6elapsed=17.271cpu=68.128gc=7.0447zXZִF! ]"]ŗXiɟ{zQz~އ>"sFA1gŐ,'> ^sM0?"]})-|W`Jd΅/Q}a+‚ǁՆntDK|͠L^'H qȺTT>hWt 2܉غ2r"9jKIfG xm!UtZuF^"玪LYUpSH=mc80;cWN?ݧJJ">oogEAxU6 8d2He)gR1Pc9 ];qř'҂?[x_R!+kabw{(hJeOI… '[-9g8{I 7~|y8_.R8MUST$tWZrq7EQvPn.kY])2uzde|o0)d|e|Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0W7O6N3L2D,@%<:921&"        8 d  > ` U  j %^*FR T 'lyli, #3s. >1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1D1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup0C1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files/I1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id.?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages-=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup,<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files+B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id*A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup)@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files(F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id'C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup&B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files%H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id$<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages#:1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup"91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files!?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id C1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/filesB1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex?1;/ HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex   oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ ppl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ B1OC dHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex7zXZִF! <]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI"&Nc?TՉčNi(lm&=ț#0i!1Z\&Vུ ]Hmэ8qs-s2T]ZV١% ?6=<-ܢCΝ'ɖ"iG߯p$ $ QB﮶5] 6FrB{S[#ʉQF`^P,Xh{N٫xV'Rie.qÆ[$Hn␓С(B 1ޓbI+; @=>= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=s 1WK 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex7zXZִF! Wx7R]A-MՋhvG"uIBm5̛֑ 0I8M\:{V5f43%]D[S^EhQG`U)" 6H@xp׼ρSg8Rg*lu+]b_;8zV#sq̊N8ϜKY>^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!AhsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZo5E6볈 b² =,up.+JD\8O<2T@%E!հ²*)EV] hD&G>ݭђ.(F{bӌSA#)˂B =qÏ;#л5(e,t+=ˤ+y~F4B.+Y$F*\o+~G0 Z\W6 q*_ ;3I]60A. <}zteD1Sk X5.{wzW =_DiKcT\X@5o[_`L}0FڴZbjvAHR#At)F"!~Miֆe{ǭBBS"e9 ߤR?/Qc?`&g,[7Rq늧zAJSs6‘lj|=qXN@AjhWCMPN3X(3"7"]ͼbB*Oyx`ʪw7h=P>жZFEhl'gd~d ,ϻh 7q3கs&a)7:#T6H:v x'a3f6T4;eb`0ο7 Diݢ?Q*_O5 4 1OSIDIƕ{~:ѾR-6%*xݽbu)h@FqGΊ\5*KP%FCAbWKޕ O`C]AZbkCEzA8*r9HGS| nj^`g/ypUfb'rOcb2CۢqL!%B9QJtY 0匊X!"C?QOoނ 99eKϪr!#I%R;HJ[9vH|o50HEg#3[GSl unNK,y5s.3j=W'm+c @UG+7IGKl?] DN}٘$S47``/ )fgwNvNy$99\ux I0P#0M l[ |_SDp˜gުKH3H\N'o1&j7|@PV}" T6-J:LcIu0:=xFa cWzlSg*S@Á] u+ۆx^ + a .c .[j8I۰Q4,ż- QZ ,譸?Pc ?Uxq{iY@!U[7`$lѳ5?+h"8l %0a't@3Mr"` Ĺ3l8Ie4LfMT 0{8O7\8&+Cbxf "y)8AXoJfZos(fgAol!Qæ?I>@%pk&'a8uݣ6+*4;/"쐵M6o}.noЎorUa;lnt[AC%aVnLyVNXki[,HJۦ\/3b[ХhgV57,K^Ɔ op2d>hhYf*1t@QX,+ED1҉O J+YlϵЂ4MRk1JQ2!tS +<4*s!gZu8lϢ?̺2H}A 'z=6eLL= wS1lŵahvޑ{6b*^a!% Qi-8311s,APEΥQI4C%{2F2ɅACaZVyrt5 X;/Rv&!8YX6PH+;#VNQxvv?>|_'Ƣx ̑ʃ.:(~8傩UDžZxfiJXx! 饑ymBRk3~ yjqIx(0ZX``6_:77/YGt4%WoI4>#s#5Y0[?&C[jF QS s 7fY@c:: ?F-tqY%= m_cʊJ0WUg\s(:H.)Ut "㶱ԬR%߉iս(0D-b&2('7݃SĔ#6`l]$`iIS]ER{!0`|Mw] hSy [b]ou,{\?l-qKO}y^(Nq=Ua&~ueW/()Wqϱ[ 9Kj&F85 pǔlb'^_ݳ(~T޹i1RꚝtDAPzMh}+Z˜egs\ "6ԅ5Aq`?O|n@OL3#vh.mRIBubonm+Ehć5}< W1Fia1P]I"3|K\b "|rW]LkpU &#ɇc40j,{X_}^< c[>;>BAx kP |=ܩXt|BNJUgf쟖=Gn{h{ImF[OKgopMxL/oN">/Wl:JPY˯o]aQ֌I2m]0-iTS&hJZ vs#r1|tuW?| b~_%ۢuq$=AH/̥ׅ7bw#XOq(Og+FZDݖk~׶)3 j.gYZ _1W% 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! T]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>6e~:bIJ>0zp0nC W)ܑOsMB>@9; w*k1W% LHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxuevstSgKx"П*K\phy"U vHR~)nہ $cs5#'ʳ0L ӫ̲n`S[E5:|دnyQm JHT՗1f`u2qo~<~"LsBE!-g9$%azPJhlʬ}B1ɥ][h ߟ.lQ6s<3#U p&hd5m?~_udv,Futa݈6dNc톀F\)<י`kQdNQW&nz ?%ia": - Iwʣ[ Hse7. lcѯѱ }{:ۘ!ܡP8<e%21w*kQ}N{$G(xdS:r?osb{tvQ(;17Gu̔*HكP"lw[-O3KkT?߫X~eoykMy@ `W,F2sq ̤Dĝdݘm ,o;q&#P_b"(!̇~еqTB}bIjc Up^oWp:QyrI(r8|pGkwgw~lNW4A+SчPV'5+ͫ%#O~s$c%KfeuH!254nsg)R'ซ]`}!<=ZC(*?Rkk1•{wuN& i]; !gIXfa.+dKkԩ_ d )H<0ӯa%uGhҋu/<^F;$WV;O5pgszʁbps<ԌG.={߯4O0Rt3̤.kPs=͞@fwxbr9jpRqiw"a7H{++̧vF<H*NHEΪZ&m6.FaT=Ԑ0]=$Ol;ᖀsi Vx\`VBYUuiaXZ&ʄ}bܤ6V r hꞫ4G ?2iLOwIQ$|r8\E^m@%TAl+ IIz)*S0а{HQaZ%s4J*b͑D2NԔoLKKtIZӸ,mzWo[$ĭ2p[ixOs/w0+KS̚py=`x* opYtz/)SڭJzo\r <\Ike$&X5Q7+N$38|q-<;ՁY^^ W<ņMDU⟉m|?UF_ZүÞZx'u\rNA^̠[ :4\<ǿ`),LlU Pݐ9zXAanq܌tO3EitlRu Mv4G9'[s 14qDSMKQ%0e&^ޥQn4F_ע3mDyçJ̍vXB#+٩ h7QP<ˁO:Um ˣ7 8>rdas՘S kE(ݎpoGM34ށ-̊H,mSh ŬrBC \{֞҆tŹL8N$8E^|r!DL4t{ 'NJ"aV] u@r9ЄJr]^ H(K%tvI=ң.~3vD^%NshTS)n"AH1xJF<? ruk.s}bf1eTf%)Mza`+A|>İ2jKZ ? ZS<[fQ!wzza8KLi~й13 ƥ`&5E  fݹfuo)[#pc uLC9$goԺ>4V Ӷ sWgZ<'6pHsa򵍕hu˃\_+pќW P۱MN0 JyZ-yTxbLC}y0-cb<\Qfw2`qZ/pQN\$2|_Mئn+`)]:USxS"@u=`K3LUDK>b )iW#o)4#'%lKFy; a83)C̡/t7q G]zuúɇhB=b;J'n}8+z˵l$Cǻ.Q?s~|* 6n@n_(D[@]Y4r[GM=, Y` j7!-ll'cE)/1 x]GIyiHIdTw~ K )DE( jbSƖ55x Q8r M)*=C0/-aM/-@`?|_ oxQ}NvKbyMr[{c3 RgYDgC.]r TZaG^`<`Z}ofZ`?1`3'?,NiHʋVGHw"$-nW>4^I(GaמS#ϲ+ߚd8' %# {Mfl`f <~WXH3ґ[wo\C6",.B 3f51ɇTxdM?~[e\;هi7KpCc3̊K{cV`uNNtJJE<Ԇo(b0M%(_c"|fsP4\2]g:נ? `u'*`_8'\`z;SizSmMhZ?-N%-+`gFJrx:*7* %ul8w1w.]d;d7 SHxl HI-bE6JcȩGumQ9m?nufZ>_"~u!۽\P=/@ KBs,F]fDSwrHAl?: %\fN.@Aq9iѬ<&T)-F|P6\:lXWf6c7&1m1+!߸rkShHA B_".΀)Vn@bܺr[9r>vTPki'k5$wL/AtJ\Ҟ.FDM/͐rҨ^1F;\x[,-[)ƱCl-eWCDL-0묪Rd_bȦtuV< xs)ao<ՕRfKG!!u+[.ͭF*Hߤ,XVo> c{Xn(,t":e Lcso$ kǥ>0[8>-kwrxΨ,dR=HVE;/@?棉Bf̔<ue+s_Y >}z)ms2]B8#U(qZʡL_I7 M&E>@f_sϲU~jhoK X}H Z63Z!CWX@`Xn xxd(6jO)n贱 )CuYo> Cl+-ny646*͚\a@2Ջ`|C54%u`X-Gw߳IJ+7*)mdP] P DHNқII6aӂ8.Ņ'JH@#sCDFI'$+2UQ|)>Ma 4QS [2bUi2"ZDt1b7atݓ-Y؄< 4,ąz/ޢ ,;V(n/(<K&JZ9#D^ī6\uұЯ)KZXD6/7:Q{ Jnrs~c+ޣ(qC:`Y0hFWںe!7}޻Q}ΌvzgrdP 6깾' @f)qbnz-73سP[Iiӕz.8+TT/Og%{"AeuRQ @}CF.#(kGQX )Gv7:&EY9jƆZaceθNӕ"[:☱o|3$dL!ski}r/`p#`&W#ޠM+GbYVb93FS}vBˤ\*61P$ba[:E`P"dnAgGPB]Zyjf3[¾]6Hj}1طEL', TC:0|Lryzfۼu2c[vWUg:cN)T]5lV]MW6(SZ{H^ԿjJ`IєnyE1ΔP8G!-kU=;g4gr,(!'ȵV)~=xڱ}Y91K@O?\3p$0k|C5?an Pt0D.h>Э^cĠ[ r`=*kfqHK`yahyHH$3ws w ]aG{=NݦtFRޠ`-[Qvo)~1}ӵᶚ$,Q^G S><`.C+IؘlFIf97b 0J1NaG JxFX9BCw~"FS\ɨ0-JigQn;[4  F4ږ SxGS@YR?xKPXɓe=EJR"nS''ֱR`z҅0q2Bo:hg6B~F@F) "ja UɌ`  Qs g y7<\ݙҞ{5' 3@Ve8.A?ͼ?bpU!vm)Jbu.rvM$$ǩMf<Z+b{̐o*HK Sh#f蒟ȵM]Nr)E?;<)2+ THLnά :C)7$;pCQlۿO (Wح0<Z\TXLDLsC c;P}B(y74;~8ah.ޡN:>6x8JªZݭc 8" ub>xWZY?t#H[lqɊ3ɸS/bg{u={,k :8S b Wā?~]Fe=J M^Г}rW{cTg$¯mo u?3#7 ssFL{)GP\|; ٍEW#Rk3nwZH:+)*5f0Am.rumإ1z`l ۭQ-M3ݣ;^^WJ}j\VEvc Ϗ%넋ᲾLdrc ؍J(Vmy3s>]? $Sߌ5[\`3>izd&Koxm5̓VH+?֣xd0V];#ApǢ+oIwL|/8Ir<ݕ'e Bsch1Ii↝j}A@.bl#OEc19eT2uS{Ba3B#M0i)ةG4Foڮ-9`vC ؘÄ֛/"\E(7i(e2'x Ӣ\3|;Y Sjȗ> ~2\6틀b7 &-?6DQ„S(`ZvbwV7hpB#@Kmv!_GA3APQNx/c))=O-cUɀ ot׳2杺Dhэobo.X("R̼NpF>QG ^kNLvNG6 ߻ &v;?Z-+Vdp (p'!4.~<7ߣ|"g[^\ǺTҞzi`P]!L39Ѣ1l՗7x/s"ͺ6LUm 3nbTi'|\E) ;lqiEga;I4S4HV_)s |)z9KG8 sҍ:ÂOVTH ¬QQӺ1^'%xC|8 &eTR\3E l(o Y~|N=x;7TxIr4 ş.^L| i/wUrkmH:Wߝ)-=f>oyei LeW؉7p3ŁxkLofKu;@ٷaRՃo\Ւ))$5IHa<: O< HVV80P4ɟRl>0Txč8aXPΣ?  hZZT꿭.D`xԔycSw$Sab9U{!}WC:D"P{9IDqcl*N;yk4N qK4qM<ڒpr34UuM/5b(Nq*x7b饝 ~#p_ r?1W7M-.!wK73K?CnuN]ԈL#T$w[s)5SC]vFtiA,l]ntʆvs찫(Ml/Z]hqʆ.Ot9%5P?lQ2 jqױߧ{+ IQJVȑް&|! ; t'ۜodϳ`RM[$NOEsf8-K9Gվ3~x**Wkb˘ hJ{>5͡{r%!BgaIjlFIQj I[Sl,&A(`3Aht GŸ[gJ}FM46qeG5 +uŬi';]WN*<3ȧIar/[hA'Hʙb6iisI1lg hi|)O&,<,3$75fx~LNJ6²=@@k j]K 0",(()HJ́Wd_?>*}z4ex$/ Y^[d|ҥhmSτQVvR-}^%&.} BZzW;e!ܧ`8J@[>gYZ uy4' -(g>%oyJ' r=K)$~7_jy+< >=s؞ʅWžA~51GSUGds7tn"I N _00k8{vqyot^ﹺ/&٘ˤ(wKBXݐi4jҌ8Y[9K$ݞVmS@BM}G21/.O)6:W7Öűvj:Ow};Nf,]ZBku&%Zfb8%<ŏ:sO=^Aћ5r=P{mHxZx$_B: U.;*emziD_!%$

y|rҕC,r͚02ذ&Ht:i 9_g(]kuܼLq4t{psfkFM V:k'Tm|3c 2EצRy/@J/mq_\&߄.Pipd 6ע/wmhFhk|6΄KA_sԓUd7 ʌqv.ڢlZRp\hAΕLh+e=zCTV`؟9l_G>z*&IYҞby }egmԐfjK">%)Ό5A̓Fh8x6.9*RaݣѪƄæ_P(yDJ3%MAREQNqH : ,HfMa lv^cT6kEF*(E3&U}wq*}'e`f|(xC'ߗO&W%_{jvmQMO4zP=?U9Ea "n`!v+>Ҙv1`]07ya65I$|W:3HdvxOI2Y'0GQ I+^"{kQHn%`OQh69+Ƚ״>#UHd4m[yOgʐHѨ;]%]. 5ñ3sP#9o 7&&sՎTQtHCc\PN|WoOC,I_JOeߺZCѝ4^}jΞNE|MwXDe2#IpwwateN^.p1PHgo׾Pos-CBIW9GG2\7=~Ahuz \ |*P>gKɞNaY"s\tEpAesj Bd]5v p=` PWR@QDI GE׺kbGg*1)q=8dW-7`^5ҮANU?-)6H5h %ҹ)V|Lfx5i$p4U 4x`gvmRVG9XxQZcG@H>Uȕ)%TӬM""V\,3wK?}xOo'ZR'NJUG tC9jYfGtq,Ia=qj#6gš]%d|P}iIe. [am24TP/J-MiTV_ V^=!BάxPRe{t_y ,K9&~w }dZ z.)Rb>k/Y{՞Da~+w:)'Qզ'i+A%ēBDzyL"ݖ Y3L+(jX}M};?pir1 6s v2-0Q%xZGQfV}P$>:$h%cgt)(ـ.[EǰEB7ۣmS,p{wLGz?r1_u?yeܷqxwQ&=S$^P36:2@ CЊOhZ&B/ ,9D#͞#t>+W"w<91f4 8hN\FH=L>| $Cz? }q9fjxUzrAA)n!j㏙4yDb1R V7 #8kiN1,C8>=6Rv7CӐ$5D()xta?RX{,KT-;%fBdGe Q \ hQw;gij^nX1o7o<{#(F_40w(&;p"ƺ~iJV+|N;H8h?P8޷I<S.J=cl +GUAIcc`([)xuF`r'u b& iMo!(|fr:oO [.WlN[~7s פ[haZ+3 `=a~2x gR7cFgTmi]χT)&{)r(j8iAPUԢ(. ﯙ)쏖x%_i"==v}Dp8←-էY}m?,ڑ%drԺP3Xϝ^4cc.~`?У[5Ҥ.~ni ˘}uе/yqORⰻS;nK?ק!ɵ-*h2U9vcnm̿Khn8 | s7::KsdY,ͽ註s.ojE|n9j!r4'D#ͽCgTTfOpLzރ17_j1 L:]g/ntYb ǣM3GE8υnŽ# 5kú K̫ls_9Ζ?IX!M̜ ,;KC[̟.{3Ug_yA[)#+ݽGjYs0WR+Cj!+c5 k5^iC\xf{󞋲xn~ivQptBN?M. Ncв"%Zbj%5UL46Q}g;IC{'IL+3qUMY&_)bz#]!"E:> /MM\uZdR983CWr"_f!z0n)] ؇ #kH2METn4V"Hp5rz"C6`ʞ4;!dUpVG>kFNIٱS:^ܶ$2Ae}"Mo+Ҹb.֮6zc9hтYK_@%KiYpbǣ+|Զ%A_z {xf D{_үJxѢg$IsU2n75hTzn.s̟8*y ([ X|iB(~w`;Ȯٽε:ѢdN\^Ppd`]\ 4ˌ&-*~DZ~%:ƠsS(iE{ <rK,D4Zz^܊1Lk>TEQ3򝮛r]>4!Er45RH\:;tIkh'%D"Nat906]^z@J]А,g!@ 17eYBFk^(<5.P %4 婰FUEt]H)”`FfңX_&Ř ל"M<AO!Nrl(Gaemէ 6>t̪/0dbayyA_eFwAj-s22WkDe\q_uYoʼnӤdW}b!gYk{[0\@ݕ2zdcԩ,tU& [[ `L@|Nހf<_)0i.K1!;g6;jB'St1`h80xz ;ohf$r{.EpFfxuMT1cr"kA1g~p$: ehQJ2i- 6F_3ݮFOa'rщ)iP_^q/DIa1y[d@Q Q,}nH$1O1 Dv Cmfa_RZؾ,F%tF1\쨫"y: vS^:˰J-U+l4ނTDNSoF\H|2j.YߟyƊ|tEIytQ1?tcp^"V!8 )mu E |ݥx9?w&$j[:B}.\{OR7w78`#\s) z ] #ѣ81oYE\/k4/9 %TvϿRK y5T\X"]IX-zdx=ǢMkӄ %I/BSQ屷K`ޫXS4]\UF S;<7 Ì:a w  ?x c^8]k{ OG7"s>u6o5iKRKO))BtνׁL~TkOy>l>g [ Yq7UlqEK+oN({*6u.YyљZ'1/z C(x F< _tRzPbMj,%ty&CZ9)AvmG DzsJpoY' o\*dbkC}) Qk1|*t䞛>[!^欈 80ؼx`_ެY'H[/{du6rZw6}~K4SUNul[ŮISC'=l0/vy;NOitJQLCA7-PW'>? ǒn O*nP^ ^nUxzT7dk]AP_-#x‘߶΀WEPQ{w2vDe0y6lν[xIŽ!P(. РīmhvUE8t+t ~n3$JnTPZدJ]ؽ-n8dgy&ן'"RP-/lgEJ4tɽT4(OR03_,% {N־ӱ$H Ţr@Q N#{i)2o#f%}-ovY6pb\WM;A5ڳ %9mZGKZwT@mvv D"ؘfk-2DzTpaD"I Y-9Ď̅(K4\6=rsL9۱tnTQ?7Xhw@\ ߛF4g)mUzfe&'* |[؎H-# e$ѪNgc$a6B4eKkG2o^WK5W//^(A*']}7g)7|zj a&ȈtlAXAs2) Kv.P9A`W_@ gA|0jR#/nXeC9w9 {RF 2M9Y5Nd*Izqǎ(-^weg!w|~j;cʇ:UNecF oW d@f |@fz ݰ.ӭX"F>ߛ<襒Jj>;`C*_2iҍR@k|a3E"Zsv}cSCRd+~xj;RoGQhMdLky &bR07˜%%oMH޷eϋXz]X{^k.6O-6XQb`×.JbmKm"Y{Xt2]<>IK3RDpp1¬ g 5A[ D_V"+ 8WHgf69|WvOPr EɁu7ig:]󔁽b?bQcR<!N`45,G/h`Gc[?TQ }1ʞ{LhY3utOCy&|Ur{@7%ӑ|dۓm7[s#?O-G`lu>Ma-H"z XwɞC\+6w0/|Q^o|1Fڦ]Z.WŀM^.a>Gq 8D{6~9 Do )sA( xzlxcZV[Z等Dn,|wzWVg) Bå7)/.RLyal7a`̜saVs?{{>䄵=p& `G_[' ؅IoK Uca+ 塣J tF{ 5C[B8mD'Ҫ#߀TJr)!=+Ɖ'AO,vCt9KP>, *Gؔ:V8 mMsu&UYVMG"tivR HlUƷҐwr|@.D>lC1CtbPkR>UNJ>`~]WQ3Ie ++ 11/?yEW8i!B ?HXt/"a0,Omdd O"q/4RLL w6yXV±@!$sz"b ǩ$Uц7f_mQ3D<3q˚5Ax+hz^K!togG>%rیVZ|fыּ8ݟo~gձr;`Ku OXGA΢4\N6,jD: ~[@.A$7wLW>lKeo~Oc=IDfiV;'d/qrelڕ Zr[TVQ:`C7x"߇KXCb?GZ"G5җD|EJZ O"hp5`xH3էPc"2+DCAL)ybJy~ D$%KuoାUnRjqJ6u&3j`WAAD@orMK[X2PbB(`lRu|(Yv4%t4Nl.٦=S = /gdqft|L·]'r'A'g 4˫Ńڐ Zj́pQěr4j fTQș,,XPIfm'AƠLot9'씈[+4l⥁SnQ튶.r?wB jDs~!p@'#If'u@:]&JFʈ $T%:xVO0j)ynDq^Jo2;䉪|\M_ :pßCz'7,>.&6vE mŝbI;G"&&]m) L6yxTde˨U6`g 5"}#q{ ֛E..!y%Z;S~d_|/0!ք^w\<gY]„ 0vurgʓɋ;()c)oiY ⊌3sᐛnGv=l`/ƔS"L5!='+ΥlBߩ+s3~?ڗt^wKH#oC;QSo@al'9lVCDnd>TW#OC ]u)-VJ˜?)cfLqTr( .K%~ 'C-f Ғm-.''DF6.]XT3ixP_4݊%T`;z.”$#i7c^4sqǯy0d@`D*eߎt\%- ߵWʻK)hgdս '2ZeB-/3bo(PN#\ WL~<xSTǓaHMdM@b05qi]>8AOmΟu_LX9^%Sߪ7̜θ^QtZ8f])Ó=g<-G7:&f芽ٟU6ӽ*Vmy6CCv[["Oj%N=XT/\g)}% "oۆME:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4D}iQy:ιucʽs=%:D_~\&=x_:ute-Q7p̶A2m- p,yij}"4hJ{v 5ZUӏ7=)XBDFHsz"w!͂x[z95+z br:7_FX+jmWIDܪ8@ ?f`N4p<5':WW'xz 2ēC*q[x{ Z 2*l=FoĒYŦ>;jEVnS""'G !uImo|!N] Epi x=,-,]tGa$|aiY_բn`CD){v}uFGApզ;ꭞq#H/7"Ը}/MNIAgl8u1mfZȇo,|,87DlLFeDK(qQ:m^ u[ mG!IlW_$zs#t omLPu;>ʀ6-6٭|urR0jӈkJ*1+訫pBR3%gr{vm&jMnMM8mcQ@:m]%+`uTj5mND+QRs\bvȑhSJ_2'k;mUlMj q9ҹSJ~C2JTc›f:꜑`^Zݭp:fT}Ubw67b``7g*F\aJ0Qu@܊sW>3 bO_و:Z}OaLb(˓qlGGĐd!͙ZI^;71hgJ.*OmJ?X9nos\adس똢A8!V g[*в%c:PiKcur7<`{ǏqֱF;XQ C}liXjJS´ o2X*~!d1d.ςAUR><ۺjE}zͿ4.‰mqp U0뉷ߘAxEUOʏ*Bƙ*{PI\oQ:Z:$~@0Vu^ ^_Eˣڎ:?<!U4H R7 hr#DLUڅWZu j?ekm4 m f8xgQ$YLx6bMAtmB 3HN$`&͏ן U~V/uY`NҵJ<\}upȟ3ھӚ/:TF!'=T?gWxDOa7mrxzm(u{SqmVX$_BWHZaxjpERfTcg.[m:pO~Xu PE_]F\C(P;CUVkZ=>*+l)R&8 $!77cu-22@8y#E3?0LF OL83*4ƭ4W`r׻HD5P RK,"ųMwJdx\XDLyZomJEjȑ+ yAq Fd>mWglXoo`%VH e0l#Mj\ғK k:w*ɼr]ڄZa{ʑ`o{DVP26cؗQ&wv* L5{@U?`pW{ޅ7LQ=^OkZP7juyǚ>m@LtD;C;9Rԩ]WSC%F_nXIp*O`N5\VUjH=isfrk6V'OwdH>}OAG0/Dw2H:9iMm/ 圳EE4d7ޔw Dt-Mr3L7Od8os~Xug!vfMN+d̙iyy#eь+/O 8*@՝<$RA6"]iZn{|$lhe}:8 ȈZJp.UI&)^w'Gzz_:$%@'ƘX$xp@:ݾu왂fޝ?9sd|Y&M~?Q# Co;xzV,s|Xui0Rv{;J0ZG2qgxCK.p121 >XFA5?kw3ͤ'*m㟘^i 0f8YH\3Ш9R}UyaDlagsHޑ_IJ鏺aF֑ .GT3IwqH3xp[XO[E;Zrk ,#e*/>-Kb0va7 V*S#'Y44i,5=6&HZz ͐ EŬ*X!`؁1)pD%3ց]{b> mc{xjܩt#M9/ga,@gZ%أ ArA`n;*yBYȓfZNUlp[t k-dY[* + ʌr~M|Z$ $ !"{O*Dd/ƣzYZ ~?nچmu'Xgr; cc+ >X*I8,4`}5# &pCRcwU"O -2t̡.ݤgGЭj>.\z+i>GF Wf*EZS菷t4sgϜ;iF.+YOJaI1u 1S%6w>̷Nj-5FA^b5a>Pսy &Er5Lp jI\fu\++m# '-M [~WȃG۠7 D 0|T0c . * \L?DnTeP$ҏn[]M܎Q>0ws4M6.4@-euFOɼ%גcӻ.CCwЎƻ5iἰnȸؑG)(gQ},d$tx9 ȥX̳u|U)_J l(Zk]4EW[q,9ƃ#sSi?V ! <pT%̮T[`}5N[[NW|"sz #] {ϩ0X55O/$ƍgKJu zHez!&>%З1jD nwWqRAƷc̕x'@|a:K9Snא(ni9Ls T^lL]y= D+_9%M)?w$ߕf9 kR'glP<snF&4'DŽC57Q ͪ1moje6X369= vWy9>m]7.8Hz|q-:MQMDȍʌvp"g}PgA'C0#XGRߑrm+Syu >[;>ܻ#75m;\,H6Qg $ws5f I}1 YgaF#?hxlaj%Y;o' ?K읾ZD}`c5Nb*OhSl߬ck1(~L"6La-:c$uv hɋ>MrSmICW]P|-lO L=fL4q*_M-Bڞu[ҥL*jĦohoRc}$TZP E5N@2 C\cQ#- = X8NֺЧ#ň^ň6`^.EY\};q ﯝfY ,N4(iB . WY,J;=dt'a(fE𷦤=tl'2ҁ;,˯٦t5J<1w"6Vhꮜj}սI\YGs*&<`%EinJp#_iZR.l @+3qVco{:ߑRE[ѺzFFvf,(gj&ŇP*6֌nûnl.Y -(K$D:q %QeKg'I;uRSRy^W݆o&"nfXm pZiܦeg&9Гh~72OsLj0b([yGBT_ArnlVc5u9s]}ߨÞ;|G;I}frHGB#$Ly- j瀩Ϭ|SpZMPhljz~^zD%}KYLPKb~*ԘEQtOX9,[}li&ʣ~[`.;؅K%l& [FaۆK{Bz}zRхGMnȼOmxzhxwT~0`?-IʣM"5 Sh9T]{hLy_As\\i#@K&E9 sY^}'fJm b@ Hdi*Ѿ$<(aFFZ INSg8fkIң3kaGN)!4m7'`1D IeVI7ij]VvSc?+3=Y&ʚ#Mf+>&>JY7I.m{,S{MN}9u] R;~wd^x$a 1iM _/=vѪ\w;ʍ]?E'L.s H *@k[3RvEwz ޸8Hem̀MLai:[6 ]mĺS,A@hG5xʤڳܰ)I2ПnA@<析'wrmؼF;❉wN*;g"6 y2xe[(مHFCɒ90(Ѓ(+ @УAٞO).{`Θ)<A8Ę$yQcgCԯFmg!6bDž;kH9޺لiS{=XU7Uܱ##?dU{nI[hggZ>Rujb*^饈0?؞mpߥ0PL~A C?Ԉf H"TcL2dt{PZRsކUS _,:<Ȓ7  u0F[-s!*dUaTƐ: "C5/Dґ9ɮ*W+Td sU9|:KƷ!}t,Y-ҷ4HYf9(/LP82ט#s#y)^m ;1}TuCg\djO6(E4xo*^6.ԻW)<3mʟ!~t9 Dޚ^щCMJi,!CR2pB[*id%~F)L9#Vm)CmG/=(w[/ a9S- C@Zxsl3JʒFR\m4T@kCZ2MFcYG]T''EB;M2C#w#K5z: *S+=sU?EW7c*nCO.d( ⟭[E%Cut#٬Í4?9Ǥh1 R 5|,,sh侱&GǢxP-bkWr^m`*Az7R^$j_|(dj, *kϴȿ҉ۇ < [yiE7 "mQȝ_Nf q+߇ 4kWvR5V9TWd{s;R70OC5[)Sl%Zf`qd5,F%ZU=zdlui2^KLxLT"FZ?udtF>h+^pQshΑ= ^WFP<#]=]HP~vJ\B\ݨeUlՉX b؎Qrd b>,bQ11P̺g|X\BDwɪq{:>u.?jdLzI]O۝}{@U((p ȡAyZZjћG2J {7oheu%' \Mx#mvy|#j`=?.)Q 9kv0&v^e,ofl)A(͋,.G2ZUVl#6 RaY/,r4IC7ƣNFU3«|w!,ܼ,~Z0R_+rp,AN* @فVAS})uao%YN{zוX$53;,@PnwYm(ÓHr[7'0術7i0|yRs1b6:|' 7ڬNkSv"*Exܒe92./|ok9v8ڵZ8Ey?gά*é|'O־)TjYʔScmj&(9s(r,7K CAKwaoڲ/q{ A"4m vL3-*hS5!3Q\D*K4I^oʿ#pնQ)<KW]Z:7A_ x:%E l:;ȵDO,HQRKKDn#VHdԺ}TTd"XV;im_.AM6pn/;3?7'eSL< a盅jsqc!MRI*;i#b/'[IXd$&< tbtJ9]L睊z1k~1%O&SQ7 ! \̗sxknM@{2Ҡ3&{^ FHn1Wq ʊnAY$b%+4|wә$C!pшa z⺸o}>mpAgœH|]G&RaXN>z5 8?&M2)Mlit[\;_6Yk?U6L,L)voWON*'OoYx g^^JMZZt^6wUaܦ>}>];(/hk I^b{=w%MTY"ȨC0 *ļn5~z䫂.}ީ ؘ(/U8R꽫96OȨQ n3@H6Tbp];kuC܊佉/HL6I^$-+KӝuWm}dܧ릴>Mc4 Q¾?&c;=3`H]AɼD~cҊW&Ih1tlv:ZkM ,3"[8mS%HJޘR PPnʰp!O#4ћ7XPs̃(pq|4xX%#|qvnKVS* y jyx"0w>,9ۿ?9(j:u,'8&Q,̐>ȢmWE&T^u2tYa ȈM|¡#.whK#16D/^U>$/Am>ց(~{QG/Jo NhՆ|3!B] eiH p@5 nyƹ &MlHs({%%\dGWV:j^x 3T7պ^ U]L+Xe>Wtc e}۸n%WMacCt{4TlonV*yDGʁJpn6mCNuT]Un{a^PX+y-ސ ]Vnc 5R XIsm̂[}:Sm$2,2զʱ;$/1P~,iLՎ*QO9ׂB4' /!uw*#">_y/PaOX'X N`;`aG2P?Il]]* /^r~gYZ uux 1W% dHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&[h3$ͲoDtCfLVhXh|NKz+R ^ ^gc2N|g,^Y/AF"N3_VAuB:#f/]5!/zԕx\/l**%=aATJTC"'J}g~g)è#Gޠ=HŽ*&ʹJ5z-!T4v,̻CZzGsp ʀًcz!OB3!9.02i,Iʘaf.LiʃÃpQúo9eC_q/@hrE0iׁ^#D7qvcH{/AHùVr/e #4j4SpHi#g.ya{g0D|~ fyA–/FE~y sDE@p5(/+6@2WjUv>(nGA)$8…rlۥ/Ҡn*bO\56 WTٍ#_ۍf³;e4+RNJҭtgV ?;>d--w< i @|}(N|bKGwJ=^R5 RssjV>V(C)C!Þg(WɹJVKwϥs_3;XNeO1@d@Xi /LEIo,^ƱfrxjJܲ㐂(g'-nV].˺_l_ Έ7ٔ1o >o-]5< &hpn۪xyLyƮ\9D:5(~""B,4;M׆&c=/8LབྷJjyDnڄi@ 7{9vj r0sɩrnN28gy?gO}ISHl_{//Jk4:bOØB_13&?WW^ #푳k)u霃0!ĐuW= J CpdGJMQ-}v '3_Z 54T$y|c::%<)X =21 Hf sG"#|Cqm~26h1D{ƭmN=+ފ$4j蓓"2PգeF?44#ddtI'ޤ$XV1k\` DG{zH+"  CCޒ{BW{e ouG~N1r<7=؞uqkJzl iaX|"uly? h5R%,#ߞo+rI6K,䐡& AϞQ1h6:Y{Mb˹3 DX[f<3`$XJ,ڂ1ܜ>K²HΖ>T~|PĈ:1 t!}oHzw7 m3b}~26(JUNioh@x:{,86vS>p޺~64# '&ְ:@*!*j 1K_‰ fΗ'frJ%eVӕwYAhNUX`fl8"O15'PA+{^dJZd0P7'-2CF>8F$5gàKyDᒆ)vh4N]+Yw6bYbrw!aLg[j. #'¡P^7Ȳb`I_kCyn[iẖ|2N29 @>ݓLԮT&|Mk,ѬV)mTaqKX=u= V&yӤR  Ƌi9s%umw}-5/]G 5Z#(6-p~}2/DG &-δp a} SmYt3ϲhG[O6(˂SMP?&VJKpcޏáA<0|c o kFN77C}i4:r V\'b*[fCss.ay 0Pelc6[OtE=e:q-" 2uBAr7l[6T>5sX64U]uۖ|)Dy:h%* HorjCKX"-RmMxtFʣcww_oBa ~.')820^{"@WA]yA# _S~"ԕD^-.QZ2.|0&աwPA~;^(5S'DE @? NrJN+zXm(%\^TEF]"ד]M[~%PKL.V{T]kJϗK= `;>U{+`:5xБ2A]>f-C|]~X{ DYL5 `C^3DZBPH!|XI/. }6MU$]j8!.=P["D-$3 _gFZ$-hwSz7ÞYtQ~_n J~iA>HbuicnLIN&兕&%lr$Ja:.c\P{)@'ᕰn%`잗E_ `~pVj}VFzO$K1l`'3O/d!M&a͗\HNBRK PA-9̥rîn\Na·n lj9[*n?sO_؀Y}ѕGaBU2=S:aC߾2>JMME,{apZ[d }2ߑ|6 aSGSW &Vest@7vp壙%kF@=1"7< z ҉hD/b$cGE7[k~QdPx@U{#! $O8bsqӭ <=o0U$M9ST?0ܰ} /EMrm%exJk/ 1|mXM]v06y 8'p㍋#R.ww!vEX 1Q$O|.AhDJ&K>[ 7eXRuGonzn䡑xoİ*Z2<ĥyLZIU !_q\22/Y1=N}Kg+jHIFSJtiKޞ̣eNTIV]x3$Y)6xgzW'…4_B8Bӟ ?&tMo݇C UEVhda{4}p@LUXNY#-")v N"!ڷ"-wtG<3;; bhp84 o`Ȇ4Oi&2'eOozz 8nw Nt(`(.LZ*gMwy2C{P1)u;B?j.#b0 ^&WlPKs Kwg_ ۜ5ct~9n;co;rdK\*2Ky*R:¨R9_J2{0et1e@-%2\%!@r<6_ř-P~푈#RxͽSU>)о2{َuG3BvV s|Zb '|e/y¨=pݔ6&iޛr׉̋5¡j3:;,NKEPڶ`xCF/ -`R|<_ƶ5tTrv5|M9؇6d gγ,fcۤ-VsU`WO)A]MPY#a8닕QS)SB<,ݢRۙ9#'95׏J3xT*w^o[!B`[ne c26kptKn+בnLxoPqq>|δ|wh_؅"o/Δ8Mɩ%Г M?'D(~V:`C8r2L$5|0ʅ-˓Zmn!#ƃz {io6Ӷ ˘ܽ/PPGT(xpezSYύ<~C-v憊yD]q.g7^nE@U^o RFK G)H o`:>fVchIhm&0SPQ50p #<`幄oWŁF@DfT"Yp\|D=F4]G(!e<3A&l~wWKXo'<}Gk7 gn}Ɂp4؁i:\)ȵ+i>,pwh@ ` h/Ro6E UVcdRC+k._=&%9 kD㦅 yz #8>8wRa-<: 38TM{U'CUa`9Y- +y%%hׅ ,OHgD{8ib7xKi]xêRQU ˈE 3Anr{r:Y!4Wd;!%Կ(/Uq$)^;I$3lV^wۘI%yQ(JVO j\N2ZE|Wb8TxlW Q,lR7Ua&?q.%(7l A|h.%&ЬbE ll,2v۷MҽXŒ3c5Si˷Zm=6r=7*ByKʲP[}(t~(HY7!wnϓ;ҞLf—)m:;[TĦAͶt y~LU/ݯd,C?utJ^򐆧Ȇ,;W1>[iUuI@DsQ$5U%1T[T, 2hl؜XjT8r^6)Dʭ`oo^c}~SkB ׆6 Yk /|I'Na͍/"Ojn4:GBaf 8rL; W^v1GNl4 GJiJ?ZmOI_G 4ӗR>32K iGL}y",yW 1h,F`0 3*Rzk].8ǂrQջEfx.D=nmEc_on&펵['jslLTם ;G 0 ێ#0ʫ+> j#@xA/0&eF~KnIg. oqre8ϛtG-Wռ'ǹ0P̠BGsIYaz$nxU?s%6F1>b7hRppsudW} 9AxEl焆 ;3-MDY|ZWFg[8zl 0N+{wt*eu296>'Q4Xn4h]3h)lxnL$h& JD&N,pTHV6 \E kڠ1F$ 5$4rW9}VA๻ϕ)0{EirqS+={yo^:dS&4?qkx>,P&72N'KI50$va~3={te %R ï"uhM?-aZOTG|"O34db 9` UɌJ'L`Q_ Gi"7fc4t6!v'<㻕n0DKbP6p^ ! ԯ{qj @ az n}ֶAQ"nߏ;+L1!53Naxx?d*4iJ,0j7D gC z[ވ @d W>Fkz'o]dqx΅le!|x2O{y}V5j tNhL g~OrQ^ٱy-. j 0x+p_2]Lקv{?wqƟ)t>o]^\ૌ,SuyŷK{G#% eo`X*Ba:#7?@(-bf"&@K^`GfL҃D|S[Af058YPƊ"Д:`/9%a=p] B,wW\tNr>cR i6zXo.ng6B :^b䆔SCQc"`=oX[#ZRNC2@;]Jp*~g^lQQ ͕ҳBRFpj=P*J/(\dXRĵ["[>˟pV!A]s䍕=9abH 绐\lO`9Ղpݪ'XVU7 땠v}Zfkk‚S7p'NР&tZ=I$|B;K;ԓa7jUxȅPIY ̅7dsi|:9qTjZp #7Y{Ȫ2 E fva$|8Fq*@"+1A4oAJbs%3;ِT/(H;Ri[U-8ZݔX?"*Yqd VKѕyN7VYdH95|9Ai4N90O|#@vi%W=V"!^n~RPC|INț#civtOYFv?2e%L4k ?X_xغj= Swl6~1'+Տu=t*i O 6xݤĂֻ~gH i 7'J' vv%Dp [Ԙ-M Oqj~w8:}yCZ{~s+jHٟΧĸÈꙻa ut,}s^S 듐{9 2m3ӵg ;f4gaM []f5C32yƱdz n;ʺ0Blf0*|pFU3tަ s"VSC)hZm)ݱk, p&U١ǐT(G J6SkjǏo !1ع'=muPG!$Ed%]g1PbTG>ϥ%|mؘE$&$0uD {ȺXҗ_o D-Bk1eLOA):ɝfx1~:Z nӲAoi6^|5|-:C Xlci,Cc`QO[-]&jFoXS{o`'46iy2M1q%it e#fJ02^z-+W竹{сiSʝhD-SĈ]iE{Sgv2,//"@6L1!A «ےGN3|l.MfPiB>Q?O3*Հ ŖDRա_ܢ284,CwԬ 1Ld@nB!dy"T+('r5b3Pۇg:!Eg̘dDV\g5N* OqGEYnT+weڦ[8`Zg'7F0ar]Un<%qLdBJ䜤VSH/cV"{踱m烵4]4UDfa&D'Z~{Ңb>,~;yOmVK'eM'": KutcwގrhhWSiXrz3ӨtN\s|Sx+Ht~y =Z KD2Ԓ:Ѭ IW3\1A`2ށgI<*uH搑1[E-7z0R_ 1Xƾ\. X?sr`؎HOWiG8Qe6W0\$3 w!H/o_#0&n?ӯRfr TTl4mbp[Ŗ"}oHGa VkDb6Mmt+ENwkr 2w}@R=Za"c1!h1oM ͔z`&yJU((nچR)m!w"s5դ۬:ulPĨK%}8uaX42I%SU/ƲU`24aE=0 g]`$“Kw.^8HUN:aTFzpxA Nz:1>RҖ@,"ZH\͡VK˯Ϩ`%)iޖ/ԕ FDDÒ6o'&Wpx DbjDr6^uFЊ5kgFejT^]«Foep9d 2,T[xYNק5uušlsDjcH(/I)DݛNɾݟlyvXJET_[8E>ġRa%:Z*Q\#+ѕq"i,m/Rvo'Ě/7I+@A7gA72Q,Cz|z#۫f„E_#6Il0|h1Q>=Li츄E՞Gupߋ:P5P'a }LNyG)%PpL ,e#^a}WUrX!@8`b jI#lbm &PWeUsl8&5@&?O<)rC1ϊ#tӾnlBݿ޹*E\Q.y#Y=cxQ:ѰF.Eeu3-f=ć;1> ;b$63w^'"|0 짐xD-4kA?ePlo_ЮU˕r{4(3V4BG ċzy wd ۮ5}?E}1!g.G0KM;Y势C;]򠓘2ꮋ>gv /T}^ƤÝxQ{2pqU砥~ 0uC,+ʇx0MEw7b֪:\Pۋf{`F) 0Tm7:+ ̘5h\Nn,"l4hҡ3şf0$(Q@>♖H`8S%"KW\8 $qCLhl`1h$k\ I##fn3\5ǝďZ&Kw Y򽘚*?;Ot!6(B!}b FI{Oe7=?I-ZN`xb&.*S6H?" 7. iHسX͏ eKHuF0Ė-Sd{-tǘ̉zGaK={ !C\F,&Q?6zP 8ΆIVΰ'oU.Nbm[;' fto .39A4DwԒ&yD=_Ŷj// 18B,_z+}Y;o5̀y=n߾P羝L4I0}IgX ȁ'68[N)vP1%Sx?ͣ.=*An_YQC5IPInd YD@:Xw.~FrF7u ~6yϫ&qhgאpR$MQq'l^Y?QF1 IADgWaq7Q}A swRG\|y ]α Odltyd}I3C>?>;^Ra3cjBsڲR/ę踁l[ Y3Y:v6w* :8(k0EԙFЫh%ǀVו qqLP\k??Cz4{JT*,62P%GF].hQwp[ aX?aXFNtk_SDB"Sp&\͕JBu*gWL Q&0uojWRKw =эu@ٛga~z!F9m:iS%R&/rXMdYKUw/gjz)X塸h}VdLx@ U䝌0XB/Y[zw>.9lM4cC8]/Dj:6d 5Bga Y 2 "Ƙ"AQ~j`!]:oR>L~{I'pxw8ד;6햴UmxAe(ߊLLopѯ׍hmxxL w[ ʚ^3ɭv˟!toGr2B߷?︁ڹg,[zQɩgʭV߄Ӂ`gzitA;EW-OcG> iw*z Ynov'1ZsV-P"4! y &f(4H2>wר[$-Uxi5\Pi8vK~\8E|稇!^LdGI9'hB7%sl[r#(Mp(쪜n]2b+>mytd|@mLW\#ݐe"5A,`_G6C*F켕Ы~Y`n55_P*`=F R ۜ%}0 ƻL*n00m (wB }tfDѮiڳzeL?[Pg"$FԾ&g:鬢bhfN(| ׸w9p>` =O8Bwx)bh~:ä"a 9T󻸋܀eCP|PUd5eA=g䜳jnQ&pu5/%@ꮡc*e0t4&ځz^XI٫lJvu¡J݌1 J򜥌troaX㢉{>GW0\Ԗ[YHRl2$~ v:^ IwH= 6<(u` &ׄ"@cX{FC oEeb$O:u4`1}sТ.$Y-gN1N-jV{_MG(!kRG7h/r!AN1K퇴9/t|S Z\+q'nr?0?]W{lL&z!Om6i5z"^j&hZA9qM ,R7mߺ цlOK+&(e>IqĬ)y1aFyEMA9[+}Q("hnnŲF/m(&|)f C9l>7c7^(5,g˾(k\edj*ªF3 qb.6C&7^ i={"|:r+=X3+-wHtW3qHu%$ Ogû)n=$yhAf"vV+Ǣ 2W(Y3'[M&G&@ rpnRx0I7M2SX< Xa`Bxƕ/[j>DY u'rVDC塘Eg} |[ۥ.쏔9F B>Êvx1;×WXY^>ՐFH.|nRC3RETFPwa;_@$MyT SBj>Z /yi;D7UBۨag,렮Y,КAA7gO}*q) d"yh'2E~ԑ0kT_N8(Djo ʒ&2 ol&L乌~1wS!x4Ne@A"'l3ǻ2h! wCY9zQ3NhwH_p|0?{@>amOWDeTbK?L9~P&=Gc!F(:@I3N6i až%6P C(FoxPP1᝟f.C@¿pQ6`8aZjs1ї=.rxAhNw|Cfm w;R& 1#-5ϸ !$-wG;!1 .ڗSyUa!;h~[6Ey֭eG`,gD?4xR##GPP_,(HU;az4&XiA.A5qi8< .5)ls >$oLncR Tkb*F6[~WT BJZ;ǺV >Me$7$' ~XM3!8G 0u>+bm?af`; Hd8*2R3MSM)"ȭymt7*5T,d-vF5 z=߼'yr_gJGG3$"|f%)nV>l$3:rzTOeP\@jZ;4sϥ^MtI7zЦFxpvRF(-*]o9dc֙s*|ӘHFh~wWTƯ*!"E!=A͔G?LJ*O\v7cccȝ °zeӌms*KrH 8Cc.04[;Ϫ cF .l,IKP.z座X󠡤Sp}.dڧ8:BBO!zAgXC Zo\g\ qj\хtr8D7$-R.m~3FO1/{ҹCs_7V~#skr)S!xCY6j3G}bdC OIV.D>hN}]fT=UZµD5摕.PKPzz7Vsˬjc7`TeD'risz0fᜌ ٚ2pg/)h6oB0rp^l=.\Oḳa7|Dos5$)J껆`aE{Gla9BjJD<ŜFSucjP+6J |ySiG@kc[C=*JgX$)PuƐ:U{a†bKu{=2(ƣo3+JoIJ-SFk=m/F2‘hCǴk ߦͼbLѡ橻7'q0!GuJ;}B(q΂_\ӍP]ң^=# vPu ~6g>Emڥﹴ%@gb+<=O 0e(g!}hلDvg˹2Z%Vĥ(zEYw"l^֝%9LJ>x~ٰޗ.>GH.h]gP 4. T[193+~S_xxzpj^(ʾepȗrǛpSFNFu(<}tsuRQ$?Z,yiGz^-UUd=5RA:X֒}GcQRXkݲkrN}TꁈAbj«h-h6P%@6x  y=udf}O+hzVIfA^0LI{rHA ^{|!iB煵%#qpLUR1}oj,Sb ?C nU0L.t(_n&!Cwyj?]N 6\-8?TOdm>M">+{*Z8{KQ/(ubzsO$NV)_(u ښiFg^g.4i*Ԙ&P2խDzVM$@Ai&#P6YFA*NEc1CԴe绸# ű@xX|p T)cSw8cEL G 2ebN>հaVyNu ;F$a.7Z~seɎl4pբn3{ؕ)fd77|0N5fW!F;/U!N_g eL $!-Velw ꤀FOu#_t+ytK%Fp^ʽ 3"*d\6oFVAdRwyf{EݺE- ˆʙ!Vl(Mel ##BI<~eqQ{xSrfpm&IP.hyHH>4BE:PP_<7 S*h*gǿ 92h@8'dae$*Bq mTvt1lrx1*>Ղy2{ ,3]Qҕ9hx;B CPgoY{ Ϡw$a6ĥ!&^nVZɊ{5%f}L3ŵ2([hAM)tĒq?ܥ{l.pV-}+XXIQݩpIz)E{68c A(=vn e3^\h|[YOHI7v%́ȶ ]e$OY̓X;ֈa/ /+iyX+Q׊$_ ͛ YdnW 4\*3?HP_U`A/%/*s{z2+"AfF^98X(Xz^jwލ-c4P.z6F͸i͡TjxsxܮA.>h[}hp! hw湜y$ [銛LB DrCgVFWr2)K9X{]H fƫԵLm4D@gQw/hx;Ʀ/I˜XfiC s1ɃS oxkI}X&][\V]69t:$<3+?! mU?yo`~6J( G~=h| WP $w`#Z,/Pɥ3eRq, R3~_xJ- fWJ_b!߯h,=28ozz9CY5EMTXo1a,->%p`);Y̦>Uհ0̽b'|@7wenH֨0lv9.r#/[<n<;&$?JzRN%;kS5P,p ʼn6 pJR ,v6*:kmiGBX'8?EZe*^: OsI+#zDV/ \(">)Nr EK/?[SfH]ǴD`@"PpfZRYJ&BVeBRP%M!65[,*mo1g#DǕow}SG;cwL 'Jeڶ-# {ؽt< QDs)H|ml^S |eٴ܏};sWos猗GI! K1BZ_MAfOhCVȉKrDp2VpGTkar^_7ekqZ@Ha)?=fIXGyƠ֌aurdD[N;ke_v^y[#凥v!$,R'_ >!=r)eJɻb>)%$"`S]Ty5Y c׎rwan¹ WKGpwsTy: ѩ]Fҗ !Xpf2p$@N 1rRB:9FBQ*wpqKBz>%ڑ3@A|[MJԆt,tNµ|4Eo "Fq33䞍4+̰w14vQk"HplLN|)>[+q^x6.v:Y. :Hhc cxDO?FZm7U$a,mVE7d hQrP:˶:pH 9&6q+&?L8kꘚ'ҮMxV.IJ3?QZM?*;K" B_c= |y;>}!]|̾|c\d+?uk֝n,CoJP4 TP3MKͱ*x_W_2C!>6RWi5+ GT8,sen@,g@2sJ8L#=>f©+ zǧ,? JEWv-P oixp/+;DޫyFD`2VHQ|֋BboD>K4tT16@,À ՖtC~[}t +PӺ̸gK{;"n9<]B_mZk`(m8@<''Õ wZQf2 2F^=C hriq=UqbqX J(jsh:],ʓL<`%QM b˯UEu&ϓ\{]!ϗ;EkeVH"h4]kSݤ՚Žpጞ+ ; -nƥ|>uc;NIךr>6wAIf=/#\?@X4r!k̨H#82TI?UG10|~10{{A[ h!.dJ/67 m'}#6ѥ/"b6un.z[`#' $'4j ?kbZ 4ZKg1 (OgT;cqۭWw;}c[}@mH>~3eS޲U6q q|b.{݌@׵љQ5JPzil6d("{\m7tdtOht<cх%τUx2Ou&y>%sc sA :SȾeI`2YNEo KK:Jk`\l5 j]) T+B i<<-{%b}nj7 MV*au5 0?L<ؑSICש|uD2EuseorTṰ@SjbVKfnH:c&+oLG(G+ |3_羹 rhXjyΦȶGqXrcR[LzE3̸RKv$t`+.^$cpܰW Y,= 423Qs \4Hr1fwPqMg0b 4a_9 c'>ЊAzaIfyk'EY|/7Rf0,]nՐCgs}z;'W `LB,N27*?/jJ/9JCxH bOnNL d|a6#J壚Xmؔ~L[Hc d>pP`Ŗ޶v3d;@)H\8d?蟂tu|l.(}wȁ\be%Gkk a9b$CaG\/In(: sQz.[w<t#8"?"'\^Jh^`a+yГ|.ɞ_R^h6f^[hI|Wcpfg.A%2'%#Bw`cо;mIfy71` ]%H,2~PZxA+'` x\.t69M )CYC£_}l3Nz?_6f.EuYx~{Į 2~MKNwk g;yONa@Kّ~EGŽ+2K_l'ERԃMH)EYM~g`'%'%,M-o{.';7_t)y̘cV)Z 5F΢hRzH((D;PS8#?bt $h۳S3raC6`Gְ^4k懀OiK/q׫2 >43RjZ 笻JL{0I$SفN ^v;?=}k_l5T StC_;IIک HozpPxaхoHcDCyu~2 Ŵ_2ǯI;5Y>pTVo7I|M|:){3aBlغ@O2N9)5s^%%sJݳUwXރJыtO]/amo+JNʫcTY  o\ƏlbUN@YJҝcWBDvq]QW%ݕXQ^2\ܓDYT-C& 6Kq,[[E.0 P+f딲NRf3gdӬ غo+]LrOr!!v0. ԇٮvdDR5wxFXVcZ`"u囿.l> +qnt 4Us>ZYwnܪL̨OkX!wFuxּD=tixq04jtCv 6h.H#DmvdFMʼn L9W(U2C"Z6ֽV#.7]G KB ,d;Gǁԧ󅢢$@Y#oN Tx$g&hh o $BX?^ H :8a)1V#*ڹhy0]`Ik y,E4B: 9 /zy~ h8"#Tڴ-4Qna871R+;_ KA]9(t=?QF"Wn2ՃU銲;TI'),7`akҢK ֈvYp:^avh01 JA-x*Ue $v.4hfɫ4:S&Eκz2YA` ?# " JMn>GYcLQܠ?Stm<^CHsPk!qvZ]nerMlNDRyJ!mH=e[Y=O'~⪑m?RRdP3L5=*=el6\<'v覱KG5;'X:7*Aɂ`к'XVn X1(#m 'ٴ9p]OmF,DPV(ҵ)6BX ^h2L2|`!%+1.=А+Ae4.\.GvoJy1KEFa *DI3 Q f0pkhو[Fϙü3W*^ ]yu]\vpRS?mK f Aio'dT rS4*(-$)+ޓpuJ3ܫ ȻɘE&cPˉȞE/><"1-a (X9[$V_s:VWlLk׀k\qp?uywe5් ˇH"pf# CE 3TiqoL$Oní40XTcg"c*4}o =C И? =#j7|>Zj 윈ۿ]|a&*gD=hx`,r{/$xfP G}X1ŞŇ_cX҉ 0cܗ',(DϓxOd6KJsa<|r(b+ 5*H"ߥn`lӒ #SI#/LA3+WצLx\P rKviGXe8+.T `$s.^2AґkeyAq6+^P/_u;;JxtEt4ٻK@Xy-F>lRz5ht%s{o@j]@PP.jMm `f3K:y(<{=ʟQa :=!O׊k$n~Dn,mo\˧x\^  R@bpMl:^`K0g']Fгtn|Ъ~rQ"s14Ukb^NȐ0 ί :ݣ}Fہ#KleH FudYO,qNN,bʚo/i3ġ.L (!Gd?S:e/] E캮/'[d̄= ͳ5HR`nf?9xe=n7HTz Խ%n }7w.jm{ 3Bt٭ͣ%<^<ޱK@!, WZkytEKlsu2mPSjQwOnWXFְQX>'=-D_B\}NlV`˪l*uQ/PAΑ3)vf է =HR(rN^~b<\mz^6) X3Þ2/(k>7 /o*ڍ3ñRC &Ky Tɂ{am$XN\ /o>;,Fuh"EZ8\"9c ٕ ApJ *Y-F?΂T[īk4)@=%̧ӱT\))l*᳃I>ErD` l;O#l6Օr9뵢qW#ĸ;]5B5X4(FZqEF7CSo&"#L0Fzw .m`ͮkR1p/.G]llpnjq^`a:4"cORi]ʚu_h>m˺=.Iݯ"\6Sȥ E@AC[]w5rZ~$m5C4ʼepi&vkޢISN`rIV'haGf/w%5Is]`-"> ?4t>Y^SIF6@mX8~͚0bD{ ^[a$n'9%K 0-pNx{K-EݗpWG씀|B,(-5SGUמ i)itYw<=;M$x$'k)x{HHDn #P-YGމǜ0|{!Rzl-@BY[y-1i9B͈WOº^(u~f}]qޏ\SROotpw=."z44di.[l&4Fj6.L8cE/14 j/1=Q6/>_DJ i3<9Px*ZˌiLIb[L/{$nM/BF{"7.2q`hNE@zYOnLD2+#˃F{Ja*c#/LIm5xsZ a=8ԛ?, N, <u$z%\5=P+vR$1+AY,d;᧳(#Wy,Sss7:.C ߡ&*i_H)Iq8VJ{B/J/,[ͮT"^RY+B,Т)F0%Y:p;q/8R#e 'XD.Vh*y4޹7 ߹ڎ+U Z2r~dŕ+\b0E-Ǘ n f1wƂqo Cp,1VW[Wh@/(1@@B p%'?Z;7.5U"vB2]Və7hJٿ^i7ZXC= cHy~0[ՠ{XRW"MEc꨾XberhۑApB8 Y:ո5tp]ԄϚBclT%W@ߺnʕC.LT3{i8/L|Ai\Pw" mN^=B'*@܆sˊBx-L;׽cFFOۉ4|b8$T /H@Ыr'\k5fItKG}3ܾ:t sNɎmP X{H0}G;,BJgYTn%~>@rɫ?WBjFVYߵdLo3xPU+[t!`Όn7TɔtݷmK툺j9p@AaL6R啕]`Ӣ16װGJK[L[oD>"埻YU<05%_vuM:я)>ED|%1̈&[";h5e',ϗϮЇ(kGHMCʺϤJ?QX~6DG0/ZiA<1n5dOI_,{S$?uwtqjIF;/?tBK27%bti|z^[%,[|"McDc'N+z`MJi03f/@dő. uw5fNȜ[ ; MZe֌0H+e٫m|)y_jo;HLZK.qA!@T{UųGiXh LIWpn:h*PCs8]IV6q9űL D^<Ҡt&1]uD50>şyVqx N24l1 K E[Xԁ\MgJhhW9o aVh(u:)ॸbz50>X/cGsdM.F *Ϳ)H܈s` һ2Φ9WS_%>&24>2q(N j*VtVKӫgu RZ.VGYfJܕ".;4cr#uIV^TkYMkUhqԟsQtj@H4Hر 4$/ӳ^6={tOea7 a N4Ԣc y~&2o ~NG'sBC0N!(rŲZG(h2sg> j݊JfTqr !>^.@B@ύ#g~MDd}E)+e @h#KF>,..f#T%#JavJNhj6N ,a%jG˯}=Auw*SUXBPw^[G)Jw%vmJI}EQbuTek}h7&I~`͜7@';;]Y *F ('9>#22"YSO 11(-!fV QJDh1C{/pؗo8 ?6^bp7u-B̀ P.3,c|D(J,4oi)1ˠU-,l9մ(mןODSє ѻ9!h`$Kl8'vʈzx~0\HMIi74e'ءZ(w6tM'(tH̺Z (rPd-Y23ik"2 1{!~`ĕmV4VtUjOgzχgv"o9F5> .ی oIEqc{a)QUZ˫LF yf9\6ΊA{YL'R֕BI-6= ,.RD<S-l-DzH$ Ʉ{YOkrQy[x3d/%2#d2jz!,C`X2?h#mY 4nrIK~#BUiCyF\eձ|GJy@Nyڗ@ ug5h?%nv,F~ FzJ&-rNlV$7*v5y,}'b)_G8.zÏf)> zVؽ(7|N,x"yRם?AG* \*ȉ?&ωt$q"E |muc?U_D̤A0o7QJ94fT^| fܫ*C.n\N:/JlRX?r}`x5@aӃchVCF{\%5"B"8/m[ߦx!u$ˡ 7JGo+eHe,"΄J eK{etQ?$4.p;(Խ1ױj@1,>Bը~8wSm,f7Pҗ"iItb ZهilD<>ٍT&_$!<*kۇTɄT@~$*a}MD)e+v0x#ð( lAϖmpo ̼Zf!i|D1ᦐ X0RK eTP'>/-wrfPajg JCZoqshus3ȸ 2LqF%ZCkluJ_Yl5)e{'+Axw &ΝBc;Nf"L;" .% tOB5[7 8hȣl=c@ӽ SD'ߝ_EGA:?{5)TRg,4 a"if'ug\(0c)F@0VX [ ~ ;/nƹ^ڼWE|'iz:\#7N¬k.GuX#?f]<מ`}]s:䆠=+8`a+Q}8dJӟlŒi;x|IaG ~)nr(émeKa38T|`RopPJ(`8(eT# WLEҊ.Hru_Vy#" kDr+ S?k]l(Si+oV93s7YGʼn\82vnU\tF?',ȂҼFna]d|>O3!C ө^ Ԥݐ:P! X+psG} Љ"X.Eq .ipei4?_Q:wRl]ڊo_F Ci62͒EzxM=,0*dkQ+SNʭ]wR`.B\>DD' jVy*ۢc ר&»%7쟹^W _k.jV3SW&h;TQ5bZ^$Yk ˶uP-( ܃N ڀM }=ڻxC@|ǁL e 9?+n ֶDTcÊ%'Շ / m[;  2-87%@VEj_ٖ. ZͶt<8>iHd2y|d,֑~94DJY[lx`ɷRw†g%/ 4ѤUyx'Lc/*TDiӷP:]FY$Z<= jNiy{dΘ (GWY{L=$^r}pnPEDg"wLcÏ95B#A|~aϘwahf"UG8\a*801jp!m qjȆ xh>ςg]8E`_B![j'vvN| |w~ryؿpxDlW Bp ׸- .jDJ}28$ei&6RW7qpn 5uu :pVe!yr~V xڦ ;6K>̔b%ye/ xtMd |lgBJ`aΜp#htcrŇN\EԟLjT#yKa-̻.UI%1vrC#VKaOhdlNydӂ5*#XmqNۢ{ibqT~DxyƳlx>nϊ U D&󗆝6W"JMOhdZw]{Y% o%OR/[ %gE槉YΌq*tKYJH}.VJ:͡iOx3Ɇ6(焇) Yxm I1LWt=Cr3:?g9%]/٣0ްٮ̄w\o=w.B1PvoxQ9B,'ya?]R9(K.O/Ռv?@\6PM~ xX哋 z.Yd=5M\}_0f\QmH;GTf"۪Q^kqVl{nQ٪ bCXꗝ p̥B!u`?_9+f+(N9Pi;0@јوVeIt}{}d)#jpP8483sTKDUg![̠>>e7jhçdJ5_GVvvJ۳) eM)긱#_[W8z/ %en» 9t8D*]ΥQӮ;J Ez=cIQ#wZO% wvƧ[g׾;Ǔղ8FX;j,07t^VȓTtPuV=]r :kiW뵤g{g#/Cճe|^h <;JKmVc ANDl:=@wX1,q\=o"/vVLT Jtsu uvGIP1I&49,3ˣM!N5\䬫ymJ42^7}6]:+cD,fxYo+[Jy,~U1l%Imn5KNe>9,E5Vl(,sM AQ @MAHT1wt=fҔRI9BNo9I7[;2F:"~zLG2؆$mez=[Ҙi!hc(C tsTbDW, H[N~1eD>(O&0r2MkO^45⦆ecS=U7FQ0o霝3H|z\NY9e '<`f]h٪PJlPY@&GeW$l:I> QFdDɳ:5S~k< g`MCfKnxlgYZ  1W# HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``aB):8 Q^zDH1 \ۃw{Bh͸˪\^*ǹ\R g$}l׽ZR+cxKq_5 N TNd-H.v@;9F̴;l(cM>?+\-szc!Up8򐶐 'C5@P։N+: ɵP'L<] F0dQK>bCu>B@sұ)-zm_ͨ9=*+kj.X XX yMY\A~U5)i_RȂeWyBfD?D1+#424̣INūP֜8. LIEph Q@&)[eR1ZԵ#5@3m<4~4֊}H>0EBb,#cV * wX98`d6#TT}@eM44EnhE7O?*ongPB @J$}t7<9 &L3sn0H {2%.ɗуwH12Mxs=HODiVs=k],ԕ˥bg8. CKz!Q;~xxg\yq_nM%AkaL0YWz]1EFIc652KƟ1 (xd62MA"Ǹl#(Nl妗G>x~NN=ڃtĞ`G w* & L`\pVQyC }bɇ2Eu7~a ElZ{ }TRje&Z{A٥c|BqWSt,q9{G 0ݧٔ> C<y4P9,oc^-J=1E得ZzefN}̮__'K""cn-U,9GP⃱+1OݏMUoT"h`[z2|w D !%S3%xc`x쬓-ڥ`_Ne.ԏGva8pY\& ;H"GN r"\q'et+9}[_bcs*?qH*;βa![Z09au)3FT%3\m{."OLAɒM:/Α#};QXS\D7o[vªz9 jۊh͗DNbb[mhFS(ίCif$s1>2+8ёgoP"~"y.[L+0(i[ȥqv=olD {Lu{ԅ8x}3 4<۵).ZyIkh譇n4 ހ~0ùn<pRb6~;`4Pz EARG2!TFV]Hi䓷\@oX)L\,/O=SXEو>fsHqErVT[ "[ԍ^l׬o RYYI Z( #EX(5į)A(/5V u }icH_D2Me%+j.-UʞÌd>p5Pb'a U2 ȞF=,K:fO{Z_sgwXs.&#9*Mܛ]nd8F-qpU-ZޏzmF1uꭨn@48gtRd^sle;x:4,`);a1RC- >'ر$J48`q5 9vXυ[ ؟(cF*=?YTQuLx#P0L>5֌#e.cU-.w.MoZQ!GS]a4^ױA!M۝{H. bVuZ9߶VXcO UZpɘ>W%%?J{U`37A!pRGekp܄ uϲ6 Muf- "iWlFwÙR:xalQܹ8e3XSf4gc_WsTaՅKS ǖftyGTXi.!I5Vb!LF #F]'ŗQPO} dsh{#[Qs/(Tż` ?TIv;hۏиq %*bf%ЍmX [D'n }}H,G)VR #"t_2/y>62>q3cW@Mq[;o4V6VtJ| Z'P?Bmn~-ƃ'O H|OWy֊D_"4fYqZ=A d)HIQ &' __^1=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id538x1W' dHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g k]Άxʆ5.f-9 rq=c"_4Ӏ=Ø"ҿV_u֒= ؁i?aګ0r$V=U˚ :: m*4njHY)x4j<%lkh՟VޫvYŇ/x*) p41 m*M|_+WSdb"fzGm"!>N gl;! yfa{8ÇcaۀhDєnB} xQ竷%{{XRȮp ky{%iAE ה@\hE'ԇ֊W#ťBh KVM̨/4k{=tuFż6ʴIA+@!ζAo6R3͸>R]^;\F&u4 >I~ &qp caJRr}?sac]5xYoWIC_.E',~8ҵǵIAN({h(8G_Dv|ո#:dqŁݧ[Nk+]},5]ga4!ǺPyxEJVq, =v4#!y:mh*y\MZBJD)(F0y 8.Tr8&2gF#Z_ \kXu#4r0}?&'Оv|4rϊPSa$i}vwU&^&Xe'j}^|^+zyݚ\槀ÄWctD*6b_v đw9wQwu,q QPH(UF-|yXihZl/0˄Vf-Jſ/2& Ln㧵(H,\ p-=jwO&L5Lv(CS Ɇ:fHߒc 42_)n MUnrB RJ~sT7{|}9 ó3z, !c/nJ>ʈ:Y|0PyI, /@V/FOk8e.Nڢ O';O{;`Wrˍ> hBP 2Β4. rژG4ISQ‰>x\N*A8.Ŕ][`D)x:Tkf?U~ :C6$s'$EgF R_;<;@ss]k/8G"0GCチ H޶M2W Ig^Muƚ|BU5q(h}4ul-=.$d6l #PT=Xӓ$nCF`[3'0}1Tv:C(3S*n\NlH%tHCS9[CkkW xAzyrfOŷ'B=hͲf=Wɟ %+CU]ᥙZr8e 3XPU%LBzEy(|$~Z v,@1U~ox)O~ۡpNLBitC/9TK4A wp4hq kሌfHH1`9Xa![A"e2jG_C#\B({ d- dč]I- {EȎ8U/ʆ7釺UMo lf0gIg=JQЁK ++6 ʾ]hÖ-R ,]_H%)3eI| wF~}x|ؐuVJR6*5@G;$ iȢǿpY9I̠ 1O 7$lI*m,;a"=iXq1i*A."Ւڈc^n %߆> >x:/GY3D]o=o`L;rEhk{o@ ET& ɝ ՝~Ǫ\0ʉxT NhlNfj2t@LK #7y[=o{Q1> .oڦJANWYF~%'^A̝Bjѫ@v|av-a.Bp/M`+h\h2gYZ4dU*r8g=N]PQ#twi-no"!a.9PF9,͈{^Hn;5׮R$ߠϯc:: ݀:d><;e"]HE?P¡sж =-2}S354>fKV褋].J-ZQN%Ѯ.aW4!F^p+us>J+v{>f?B y1%`R$o hҁ!D&Du>\`/ƝЪbd%[DȻ] !fH{[\ ԪՈ^@EpG(i07Ʉ<DC&t`&4̪z:*hE=ErmwrgIPeuT6_ N1.6v*hQ xj_ WfH4}ڀF[DHc{K,Y Ni-7t =nGR ݭS) k(k .[ e&@ *x#1SP" kVwj,IiHi~zxo#8r3ȯ2 OUɣIĞxdD_ JML0lF+G.?"w)OU׬#8[%٘5RnS.> "sr)6$9/Q4;7sZ;?- F!.ӬAqh{eL G"a~1-fF tZˊb ­jklΫ["Wsw6Y{.念sOg.WOR?FY)M`;fvɺ8ckPX(d.G%Zy@&T_nM9*>"\sL!!:(+SdE%W-:EĠ>+$,E}f-{7 t2OԿvfz)5z{[ %L lvyYd5gAGAkHRh1,,6P!% FN}toߎ\kzhx)O;q7|Tɀ8_biî_b5cP!k֓ 씘3!ex:ِ Xt@3@0n=wCv?*hlK%;9KMǂV^N'CXm.4MF[9|ߝĽu(ʯB3>T3 |ڬl֒)0tVg3Q@;ܳI"8\yi T̋Վ%])sp6?wɠJ`ʯUl]8پiapXS,!k iּZ+;cCZ'>28znw"后\|s^7v}%$Cգ9Ԩ fN,a%٤ے->x!L3z p3k՞]q2y!TE%͓koox~G^tJ\F[s]:¥݀(8?(a:#^/ `Ox%֔\p@*Ec~?Xi#(-)1>S4`,<`~(V!O8,(+_83q+t-̽Hj>i%li}VE{NzpvMpACB_V_6LXb?Ϊ }&. amihI:5-&Wx{ˉ Dz:rvJ* Iֺ$.Ҟ!IyI0j 0 #5m_k%z[Q7Rp bx]رQCO$ȿ_*8gRro$im>ռРh| hσ*R꩟O:K%^F%C VaT,=HK_9sPjDz#~΁S˅yՖ0Q .7lB̟˙fL(V#׏+z(c&ބFBh–I5r K}STZm^\&GۿC6q>|eЙ Z@Bpxtq~r92Flr(g91*q!n 7AK!lljivG0#|Wj}f/`Ox|Vo5ﱉ[ċ ZadnhUXVO,,S (~5xZ]B%?xݳ{Zg/@V;1tkJ˙"֪gl0ඪ /DO4VZTL:۠ rAUY&%*LqDF E^ɸe.$7giZIe e)zA0$/`Z}QxJy#FjSJ4ܥm2[/;?YmT4a\c P<$ך,=Q%Ӷ0t[ރ)XS95Jm(ƹbȮ&xi;άi@eyq_]Kt3bdQ_s Óʽ((] /.E1QIZ,RJwjA3N7S!"uժ1WFq)i9ݿ2 e #cB#p$cѺ /W<D}1Grzcp]y (7Dv b |I]'45HD1Mq,\ˌ^w)'Xݷ}<2;ȯVe26^NmNY"TiΏCe/'q}o] ǯg:o٢ԇL^i]ȍ  ԂzypwÍG)\!9r6>]I.Cn/YWC^ja ($x'C-k`h,N|8S#4ֶzDw%`vbuPet"R;]ذ\JW!oF{bVۡ=BNaw5g = AmR?Iy*+Nʯn :9{ ǐcrkңR s}sZVf=qIhb;zY.N H!(8\.& giͯАM~rX.D.VUD RZ7i>4 )M,`PͳL!xC;s[ 5|Y8f$#'N{ xs/].T59R>ıdq̙ۊ^5Qj9dig޲>Y }$Udbz&9*=X=PYzbGM6ֺ/b[iLf3Z 0*o@GhC!PL\5G 'PT'Qדw0vu!I StR͡iπ9Fs.:sm̊ zvL. jݰIw Z z1\C,.b*Tt66)i&6!)=8'nhkuDg] C =G ~oj;/ߑ1k0s3!t] UwN\)PFI7&Q%XZS'?=a Um G@w-cQ#&:kf)BoZR~}/gA?/NЄ9N1"pB5yaX"rDOTw;ջ|x2@_<=ўt_o]D~r{m0ROy_ܶ-"O-4Nw^'Vq߉7 0{=geb :gcWB jtm5\ cČ3UۜkChQY҂$K# . N1=}X<{ $!* %.,$V&GD/ffz@'>,q?*&o:Te۷Ev3"#jТ`"ɴne"2-UM0@;Ɠv: $?w,]ڡ t'b\ [e8lڈvg\?̴zVlG$%&}ao3V$ѥ|՘!C!҃ e)^3y:UyNG!Nʞ?m4"͇|W:8^Km{5^o0rbB:Z $Lr2Ax}PNJ{ۊRuԔvmXa%i-恧9v;SQɈg6Z9 ]f{ftZ@EϬ7! Q$mH2\PG12+z*tJ@LW2w}o>8NcD ֓&QkA+pLL/Ș#x!%n eh֊wo1\xؔ9G$R# )цb-R,e3u8L(C&l ͽ"##j0kʂ+vƶރ$H9%= v$Ģ8G|ЇGhuM 4{:=Pg1>b%llI*燎'%iSC1`n&"6C;i`'Ҫ5@J(=X/MFD>JyI$3yw/<816qX#.gI`]iѳvtMb]@}l=+;XKܩ !z=f>:`<s]彻%5Yh6gCp&+HeRᕥ 9Fxkx,hizD.2y%|YswS ]'*hY P`U4HzFnʗ `J#ב] a7YԊ 9 03kE-!l6\ Ɩ2Y&37$66kEDTl,ߑc%c?i: 4µ\iGO.B# )OsgH2RffoBlJ=گ3P#J\k^VlYةy]?îaփYFʸ[3%!eka"q$l&[Tq\MQÂќ̐yzN z:QkWQqW2g9A3qΦ8{g0SP̀n+RČlt߀6 Q+<WmM d\9TPy ~e; 9k\}]vof{o-GF :=VXU:pb JG2Ъ É 9K(5O~g6OP&mե_x|b$c+bc~#cs~Y3ɉrkxX. D[J`%~e;O߶AH7-3@8qiOB,D*k2he. )Aok!m@:5Dg)ޅRa1$x <.(i|0{2sVRYpB'QU[F^l|vy &Hs:uif^xGLLa.-}IqM$\_oXtÅ\|aþj.# ϜFKq&88P\l‘|1X k g nn?crR$]KG՟%xX7eHC06uG.#/M@-ŊSrmG X$ Gzݳ® z D2e^>œ1q8ci'4VEp!l"Z) ui{.w!_Hlr1:Sb5ȩ>Mۏ7HaOW]|`$eDM੼x)xtlPn$gSΗwXVom F kP仴q ;go-XJ2jل L&pznM~JM-14j0:RR#t>zv ہF -)aap_G+4k+!CG Z+%6\3kM:OA fr6p3*_ʁF_ %B5Kom^"4 XІ$򆹮]0Hx/uH(xO)*OY+hعIbO7u6|̴@#DPh27ɪ}K޹1!f磪!d vnVE9JD7`SfQVJ=zRϯV:λP^*>aOLm}7,B;M%t+f ~7 A;ReQNou(IXh ɫw"L-שmeN8%!ӿ%PAS輕W[v{NĄGސp Ok 3~MF=>) Zw 긖4oa8rlFRޅ>SWơ5p~Gm H25%]jLJE0MXƯ[|Llz2֎eChS]`eL5Y1{'IYCp=z}⹑}/jd KvjyxOOh˺!%XS6\H#B 9yn\"`yMFKg[pݝf.9Nob㎯@:F>=s1A6N ^ŗx8])0U**PlFtp69gHc~V}GzL/zP"Lhv$Hu<.p;c_܊tZ"-̂:-dkgD:֓$1oi HHQ_0WBƴTȈ0yw1Ii2M:Y`̤UosB~9~{Ieⱀ8%I&pιG+ e׻h(@|!qi3oC.MC i LH(!Bk6gѺJ4GfJ+6S٣Vfkg#d"4S\ KdSϨx8߆C>ת͇ onwc8fB*?ReR;HԌv2S+igAl@ŭjҫM''(c| LbjGv[U/dMЈil"HVAm'%Cjt2MM,{ۭ~YqKoH/ ~7pN{5u Y- >%~&,Ela`BUvIqٚK#\".Y'N|6;&`cW|mCLKge҅?b9%6W0Bb%OjEm NuHH\[NҪ'þ-h])}lߍIq-Є|q.r"t$}g^q1eͧ~"MgKCR;cW P i^E)?N{ P 9h7P+p\{?Jz'#/P"w5㬙] 1wZTfA7Mvg bȏd@i槊gWhg@TbOWOWsTEkbuȓ=0oˉ-zxD4^xl0yaP f9ZoNoL7b\?* q0h'[Gw`n'ΕQqɒ8j=&3)"jעQVs EDql>&Yjd( nrJM A "曂} 浀v5 Q[n.67&lj)uM*>Mo(c,ͮ n%Ab,m$h#<;m#T_z'2c&L*^n2Mno-dKMuXEznBE=gpxqBS Z![` г\cPsI[T-jtPܡY?CԵғn0M^Hʟv,7'U+`knY5̫ VE֑3/yE$ Q7xz Qt̹K$WBODC谩\`"C4Uh(׬oʹr86ŹD(~sS/X_|3&B\hL^iGV^X.V_aR/'\-|Ġ --ظ[#jUEAi6St3=}ZoOR i#5vJnf|[}#L@X:ʊiXeheռ#BJ (?P`82ر_?Z[ޣAzLz%VA:$ җֻiEߛכHGBOl^g7%>x-(""ʄ.o*v(gq/'a X@Ӯ7I'+ʹ`RE\w fn3ˆ(w5҇QW^rp T]/l;KPXx`LTf=Xť!-c0h ;G# 5|fHO): }MFqxs8)1:r7K^cN{wSb⟾؆+5yZs/lfSw\ʥZSn+,UҍNøioe}K[ht$2Z\x ` zO:VAl/Lk g.c}ܡ+DOo`|o6=MR'b3X.4?]z-X;ubB$cӃ*vmF2. 44 X7 OlavҤ`PS xKK:@V 75vMm_lG; aHƩ._E֕iK,h>eѻضqO&8VS83~LNՅ!_g}5_Co(\@$oXvf@  [iOr&&-v; _73q tQg#7^fK.A  h$?xבAiyFNgϩbX#`Wj=j_Ct_w:4>nh[t{#Ł>Y ލmzvjR" ԦOz^ayNŊ; \2'G煀xa(|; ȺMauRh`? aF/ \O'?xQMQ3ouK >ܭnzoPT-HSjh}J#:]-vFJ'P(0X>G0@…Qf4DmT\mLI)=8\s/Q PC?n7L0>w-azJDm41OW%IIي3L-ւC~l|ѡݟaFnP6$`+%':E3(n!zŭrV/Ww$ >?\j4\*L'/A8)Oֺ,-+;5"i{a8bt_+}pX2$Ȧmx_X[V>Җ$1N7"T}(8L4x7r>qi?aFgck;&FH'3(9AvɫߋϋE5+_(Hr2 Պ0"t4GLH$vY`FJuaK'(`ffwV$CRɁhtA 4e&RF2I}U3^@7dT_) V=?]PI"X]j4=xT|姭bԈ(y /g1:i񇬍PCk'Nx}z28e#K JG[]s+qnv`ǜpȘ!onej W7~M'$`oQ0XCtZkCNz˘5uR# Q[B= dD=:m HG* yr^qK<?|]D1cʑ?y7m^٥GX\Al9P:疤u)o⋀2KZRrE>P:!Rpb~{U8 X500MBحtZY *ׁBuC'KTĢSI)1_qw,B܏6"d|c&fE}UJL:f (bg!l ˔񽫄^9h >J|+SmK+H)bn^=A׬N;Q3]}rOZ m![Ǣ&76֖Xw)],K0K]tp=X$34ʹGʮ(^fCtKf,J>*xk`8yw)-)< U=LhT=Ÿ9^r䃻7$Q϶u&cf_,)NbI?^[u :|TH?ynG1# PR(ib߆59A~.hPD *7PLŦ"#I؎ ).v +j?D1RjJoSud/>eZ 0R(>2ߟT zelgh IsP?qn&3Ib#Jz[Y,/>ûX /9]l])#J-/q{\S쌭#)ױ5X)IY5XG*kjͫ= b祙Q>`8z-yH+'TYA$~'l\tG'4C,h mDڡz4dWc!^f B>֏ /m? g̈́ϪV6]^ŸQ},l-jilMUtsc;jԭUgx0iU4S E%Z sKib9SCW%S%eʊI|LJ$mqq: .9/ۗ~ 8ӟv O,;a>oO ev%4 %.1O*Z]4ے@g{#d0ī԰Dsi;_%ƙ=AjZ0ioH)w$I{[k1;qd ūj3KE<1? lʹBfrio#9V+xgڌbnύ, 9ew#? G?V7JKfe@9ӯރ6M;T=y!\McqGݓA֧d# en%ֆӢ70YbU@E,}Xς}BJ3Q2}ZNNxb/F`5ЏR7>_Oj%I$ho39i g(Wyl} WwB[#[[hw%8*..og ?kzHpcLF.[,'uV_OlJY>0Ie%qL)]:1N TuWE/ύ5KMe-uF Ou]m[2ănS[ `yw!4z}cX@ ;WI>H"4Jm_brl RцJ}aS+Sf" PR`>2CyIPIyA>za] 4Q0OjMMKԸ%SltZoy?9q2,"di)y8@yX {o+8i/;dLʔBʳdT-p@걍x'3#u?kFN%mZ%y;e ^%d &$,L8nӟ[%>uX~:΁X԰4mЧ`GRD_H.W|{^xȉD҉ :RjNyYf>omlXFȃ" Q Tmm KAJ޹UVHez駦5N,xYJd8ǐƒ MH0. ""^jW@YA5 ۘ|~LÆ1Be4ivee ?gu%޲~8y43")IQzЩ%'0"7d8͕ӌ \̕euᴰ_ ܑNv[@(.~eW+$ gΉS׆ &xVEZ5ܼ֫W*WlTeV`:;n%x?PjM&LXSdYoL˞r ;w+JLc=ӿyTU4p}5$mKQ A!9÷$&]0 'zfR΅9yyM6_emc&;欆2 r#}ܽ#lE8DUm: Uu0gsmNA37FJ[ lɷ7kU 2@#Rbk~x*Q1R8ݚO(GoOV­x@Õ M!+1H崙I' +#BYO^d('A vt=R93uoiUˍĤ^2#qmhNqyN-Qu@ 4s|Ĺ! ز+lZ!|(Yn,#,8%Σ8 c\T{'vXL}%ξt8T?؍0FJ619_KVc3mjFO>8a5Px~HMDMfC0Vkn\ڒoJԁ]n QyW=hƷGX妡'Aqѕj*8C$ 0q;I3 ysZ~L2Ey,6@K1"˃/3Q򹅇@-5M͒8!R/~/` ShaFe1!ADeni«vQ0hX6:]Mb}č"vል65-5}# Vf/iG[ʡL>7Q |Kd߲t*3s;pmLkCAw¥SVlY vhl^)H'JIZP.W X^Qmrtˌuo3|y҆>>p}aمQ[*\Q6Gc=qٶ%iQa@a"y3sz6#ܿ*1w1 };KymW&v7Q%%mtu 3<4`jkҸsùU  =\ %;ey.u|fՔY Ynidlu+->U UؼpMG+Wv_A^VAd4A1|LY˿5瘕7Z딻Iwxgvujcz':=-0|fQb*-PVqlwm"w_ojCʯW+R.Z,˝\Ƒt=%( \:Yem BޮfR4zR>yh=΃o`6O 7D0 V9 >b*ZAױ ]&%ڮkghzle?U R]ÚȜò/74,()nVݺ^H0{rD%"BA qg( I+ BOK8[LDix7.,0>uʘA/ЈjƤ0ݙ l|Lc\9LMXKLu 1~~j,ikU%S[$;%޸""5HZ7lNN'i {Xt'p]j.FyCJq(@ӴDrޠ-`??5_6kL7 ~7_U=$(KyymO`iX48'F*Qk~}DVs,hIO .WZ,~꧑m$l6AekD:?߻rЃˮ. 0U2eYAE$:mhw4ߑV `, m\3`Ǯ׽1@k<;#G,i~S):y/yGjQbeIœ$3[pT0V9 %"8,N4v՛;ĽXH,R۴(]G 1Q-hD;ut7W=SuOʢǶJ09 z,ukGL~${gΉ^ૅ#Hd&K`o;_U&/(0zָdL .ZK4BDF) uC2L%\_ҿHJ-'1ehjkfNKS`+%:3AՏy (oÎSH#;؁>U QХ`x60Ĉ[{(fЦM:^ ΨAm۽`4J#wh70AA+ٜKl?A:'ovFU2 ;,y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn k+z =ALoIQƟpxmt@E> '[H%}JbO` b>h/6:֎=aA1YxuDPHcG[{B7KFG#N!S m3cN?>O.@SR4Q "QMϊȮ[]8#+qn$ T0[n\ u!v֙ njv~UQy_e.H_5De}4ZB ޘex!;@A_uZ{ARo)0WYIf/pR\P-|ָIu񻲇3w&j#Z|GŖ7_'e5 ~JBץrFE$bjmX/ WJZ. m~?°Ťϣs͡W6 @"KQmjxHNDe7ZW xD= ]dEI4o9LojW_q,D;Ne_Ncy!@mr-5q= :pƽ$kBI~xzqVXutY/BME| M}A\%I7\D3"(2`hjγ4,+9|0k0~ElڅSY$|+]FLVd/G_3zO&e1lVftm/ y! wFv (fNw9 ~sDžRI|"l7,`Jjp8"%4qKo+l(w_͂Drw%x 5~ȸ]^>12y~ۉY9ţq~{)#W>ܾj5olU_d"%PXƵ&1%sM̾]Y/aWmڷ3F\ X+o} 020mH (wr(|@Q؞ QJmGja8tSI d_$g%%D|ۃ%aEɺ$ԛIr@c9gZ;y0 (5YhT"ޖ*F2hMd]^aY)twɒYA?* W~z JHgU/FP6 AB _sJ b4zJ&:#˙LtB$畑y˹ߚ(NȉI7TYb/8%Ufmr<%uomȽ`ЕM^M,cT9뽶Gѓ"AMW/W:y/#Z.:쁺zG"z J|H'#ޗd 8󹡬8$W,v\ !$ݫ:b(͝P)'A9$wߊ3]w i7N 6{$+u5[g PRP&А xLV.bdȠ XXolP(ߥ!Q2PCex*;zȏ#TcqRUi@KuFфnMHԒ}K)w!+vvq<WvcT#A3  %^l4sj_гMK8ꘂxk)ux6 tG{JTX3 ZZb1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id534w1=' |HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! u]·Iq n[:|&[z qm۔Xp,]'0\0(jܔ8)?Us..]ČDd לri# (b jI&K_5tmY]e~CmXÒN 4?$ RÁY k4O qWڜӓ (nWA; KʪVԑ9_x^bWˇMO)KH32ZL'YkT`(B80@ᡎ)JQ&L uYpqlO tɭRTe_?5FL֊n!!=w`{L upeYM*hQASQwQ=Y&G _Q[ N_&p\݁c !cl16L7m|(SrYcԎ9Eh_lh53*l65\WeҚZs}m&Wiǡ0~ {p1!  '8.+:03\PкpS6FRvytA#JZIX`RԿ)qp07;ɳ:y+oxEf(wM2_cZd6}w9{; @qp'8%Y^pKHQ99mb3mxl.,z˞GWpAo Q k9d]qWPK-28m^PZ2@g6 Є>EӴ G83vK9]'ҫ#7\gűD3HM2. #d㥍|Uxx8# )p h"4[jع(D)O{4^7A!2QC^R4 Ac1t "*rpegpO kzogrgRv 7D #[0h$} W;;;B%nŁ[DW]26., |P `{2yk]h- PDR>$&aYj5F|) \\NUx16T\N_\?YMdT&#ؖEQ>M1 ,5 =s$'KZ1B<~f~T ^dI_@n܇g-G12YУ}&SG=]\/$9Ncj|ʪCtirVqrQfȈeZM sqop.VwD +Li@EL<:Po &*GYvpEyGdV5V#c&,N7⁤fn\0'Xl@}D + Kzc )1t)}{8ʙaeBў*\QBv7Xau<2q`oZ%Ɨꀜ<:J %>Jqt9A{\|һ!$= GEE$ .;s .~ⲳ_\1A.j Qh_j{yS< sL[V }0 D`_mcan8@Z.@OP2/C]a6ŕCMUzv{F: 1yc~*7o¼&4UZ61 {0R<~Adh-]cKgaܧ |C =׳/ ]U[ْz] XP@a~z넟Z`hMog҆0o֒kNIvc{S ިҼ  ߛ>Ф `C"ll4.Y"#b8sy3}v)A}Χ} *)su|9#41E 6Y$>!~%8NQ^GARA^\bɱ`y$>[Ǥs}v<("L(oκ YjI^._Ao!/.}}:t=_,6 ɇ ׯ>l'MTxI8nVoW;S\ʗQ41Rmv nbnYLauDC-rIG8܉3΀Yٶho=%>)5PlVl %(LQfx1kHKQNZbH)ˆϒ#r{VnBGSNa`F{%=*TggۯuA:=~q8m0~rn;}I:wB!x޳gYZ^k{(.T$ޢ#Џ-3$ U_'!g 1b'FƇZT_-^Z2dGDsiy:Aassg/ )*N*GJ(pI!NJ2T m4nn-0U:&IПRҼ ~ΞkF/J 7ԣ˜̉BQUrt M8ᦳ%$i/tXr,ATjJ\hpn5@FPѩW߁|Wvr3,aQn5`|l`m`9>-Mfp!}܀ K/:Q^cp!Fn螥#Te%T !a ZqEØ[h-QR~rߴQP'ao=x'%JTùAׂϙ$$8RČ#e*"/,5]"%ޑ#р 0ތ !q>{Pk*W\<.s{dzT?U30#rKk?󎢜֍Xg ]P Ё[HNQd]*~b¬~K nH^W&}2 -?=Idnn7n#O|rtkLη\) 0tjP 9UzS "깼 -vMqѸw4~=%5ԇHR }ZAU [";Ⱇc ^rՍ" ƥG!V4&Cx<"iˋ(DdH#}'7mphUg?YzzT &)8͓E_pԫ` - *drmEOzt<EpsdM ȵnm,V`}rO!6utRAo-VxOU  puI3=}!-; 4w_M6iue)Y.saf]q.1EY3Tlʄ+F{Qb7Q%LmgY=H{7&VOY.y3! y{!~ (}MsԍZf@RaN1o_J8J ̒kP7t|$?u0ҬLV 6mx2⇎{O*9FyN OIjӣGw"DNj?x%Rvٮy;fIˠ(HT!ߤJ\׿6y4iΜ[w:i@'E#v7R%QՉ ~h[/Ĉr6 \Db)|OYC|lxG_me:Ql7aqxvDl#Yַ`gI/2C\Ia ܦO})ocث.{AQ53Q.^/„CO/$݂̤oxt8zmOdnBlOk_cP;pʍ=Y* ba԰՗T`ޒY0sXLbG0z97~u{̾hh*l_mKILml>2Q:'Thoj' N_IA`1x6pF:bN(fH}"m2SHڨ+'-Q#x1o9G] AS1t+fbVЎxI2YE_vǶb0LkN7~YVo1Tvx pbY),/ L'́6Fg+aɾy~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rt.J#e gA?niG(#5\Ra9bޒދ-gQr7Nn .Yezs1v T+V׶2AfR]W凑1?Zn|wB(_H~2u<ӤH^JtV^=9j&̿mGI'n=\?hs s,1J[Ɖ[wϋqǹ؄ '5Ј Uꍿ9]c@ ELɻ*>p9rfHc`lzF?*Ѡ_MzlH)24GP7'ûEC6S@AEK\.@c8鮁E t.;DE'`{GMӄX9`QF@Hʧ@o!?Gb#Bַ{`ST7zX"{#G%?/ dFpL?e-?Iwl8D2<\[p9l8Y_pu5)JKfrTDߠ`GJ0n08<=1ZЗYus+] 9e)> ^-'uV%fj1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id522u1A' tHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! 'r]·Iq n[:|&[zsI$EMłI@bZfo+(֫FnWJ2XuH#P:7h= d.-R356C_`bلs} t}eI}~5ݯ\~ǫp) xX0;Xp<cDs3=q.u=t40~Tx)o02@86 { jE|Y]Me)L,RglxeIpayQx##!\_{=iR6Hx-5W_oXk;OrΏpGObF ;JKwec?itJs8OitŗM'd=C1A# HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@SKOUvv嶏m>C {娞 jſTQcR"^BT],|UEf32JP:z\~K!pErlȕ5H篕$:. >{mMKGsGجRwʄ-&R4`R2xjY]mq3oN}'##Ʃfԝnlęe7y&;(7J MO31 "ǥ/*8G1Rd>d|ZU/,.%3+c/7w\9)ߎ4˾Q PLg|S2 A21Ȭ0e"E鰏2-F'xwg?һ,oWlt`i U=Kݻeb'֧ߐ,g`(›Y K8.F_Vy=;n ]yDщkM|wq,ՉIM*8jKz#fk\XmHzX/-яAܤu-oȁ..%Yt%#L.~مuyNkڒnZʨ\#QQLLqX-Hj%&~02}U_n.Q#D::"8}6)S$rN>&潪Da?kAw?67gzӒ`@8]h믫g UEIf =tV9!m2zYKshw m(6_cw}stѢ aw f\a9.}BM_jI jYzqR% HpLYt$"|#f'ռr4!v&&ٷ)deQyzڏ(l&3|#R. Cyt)6m#mdzw'y9M?ٛť|AFpqry6;^,=|Q ^h6Ca @h w$Hf~87EɏB m\tUV;~7W-hJcC;j8S gTއߺ]delQ/+ P7?E$VBiجRhul&ė6E˴oM{53\tBZtPτ#j%rLyy݋rp;q AڇrOΝM3T@5 xmi&8 /8fvQrm=9AoxZ؇,ӳcAYo,]2%.v#%8<$O }|W fWAfs ^Me{L <_*=.׼j%ԌaO>&l"_S:dhoטrr q<64P{yZ=ES`V-O0@㕥B00#Z.xH s2jbu~B;:1tǯ뒮]_3n[@dRh1c%KP'?z*r\|~K= $$ ]_e+9}띱KjQ18xСw\wgcsZ Cތq;xaZ:jdGusaAvpSgfz,a)X`c e !$WoE0;/] I٤63hb3LIGXnL='.(6S˕-ZkkKr;f{L>#_ ~FI>.p{a}[I#lƤ\9N12  -Ox$Bs;Li.B:*Ѣī-ίҙiAPpYxFYPJ ͝L #et3.a3](%-txٶDos˺;6B=w GD [p7Sl:SҒgQOmY#:uJȲZ8!zZCfӇZ9WS|*T^ʮVG)ytD\NEqnUNxjC< ]~vJEWHdr(:JO[ Uj-3mÍ +ݖC*I`U:403 9m{W|W[g- Q1ߵiv*'Mq\+t$'Y9<>?v54EwjPCՙBƂE]&yO<${qO^NI\kTef&8`$n@A 7mN ]mcSy'pVCP$#YR%D ~u}):hj8jŇ<@A%d}C4"icC #8]뒋{Nv<݊d XNC-Ӗk,0x{h%˜OZ"/q ;ߤudfEvvjԢVU"փ]Ɓtщ[Ҝ=4WǑ-[bTmf4_qB\/6l(VWD'_ckvGv~S\G5.cݓ#F9 5R(_6 ˷Hg$U9=B17 w}0 .n IgW 3p\6Zͷ?̩^R1$ lv('Q-od![Nåz?5[t:3 Adzu&iYB5R{\)zаP:u*E&XVR,Oޡ"05!N0f \wXQ)̟mZRM<Lcڮol?xB C̆S-GuVb-E>:#<̝"$Lpg(UAN0jonol@סz]|M') Γ `-_$r|*>%^LH @i1«%!YZcT@v;"͟ll>P&-o%&`m97y.4r:4d"KͲfK4Gy];dUsr|SM:^y>Bm[Ae^g?U(G ul@ B-PKψ,mM5w7)#™S\d -*}W9+TEka@ jXQ5miuICcua4JC>Ih]j'}Yn*0)ȿ-žFxf8+UkX)G'G%' &woy1 ~G'DiGL&^?&5Yn5f-NKsR[ 9Dss$F"[Y;O|pp>{Q꺮\9Cٹ VBȺ#{>N}/Ҟ_ytK,t$$J I' e-8=4txO(R*0%GMbg 3n {K=gYZ?tCW[q03Y<>|xFbK!.V,|셣?`oFj;v^Frqr 9V"3?9m-> g<&k*߸lq  *FM;Ά{dz6GDy5VA 0doTdˀ8cn1tS\e-4i6]&&\k3>W\FfZ=jt>1HP+?mH45e` f5鈔%T ?v&W5Kw=hym. uskkn=WU$T^̔6Ӭs+FFᲓ4, \n+1c| C8r*9-soe3!A Z cHGu0x g<޼@~"aii8ѮG_ s-+%%̙|B[?81Rz݈$Qs縇4I\C}8QO҄K6p-撵Jr&/z+ݚm\)S5sYVY$ *jU!C;:CWp-lU +g57pi嵨ي׾~/!껩KݓGq:D*3u6ʋ_we!j}R V#V0-)ܵvE{ОbiPЖ4}Micuviݓˠa;JNӖ@̓1sC9@ 4Iܖ+rB8<6xf_/u[xϬTAbw @7AK ̾ИŇ)DE)$LFjxe~!mLbY4Jɴ`$ݾq݊+3 Fz>r #&뵸N80]ύ/+y o>[#j`G1S:1IN{d'J jɲaT3S^̃_LhUzgN֡ɻ5i̗/sP(Dluw 9uT3%v$y>*$#{ΠW;erd#0M:9bVk*qUv b2c[}F;Ȑ7ؘ Wѕ`C`gHA0S—R8%kR +q#`LqT-|Ge&v6O16\" I9$Ƹh_1DSP/+ _4+98;sTֱ뛙C0PΘU8|)@\-dOO-s>UsJkWR4E%!`z󯶚δȈ s84QJ[m5Si~I-K1o2pwï(8~#&2(\A7)|E'g~u[H6!hûDrId %:ҏ(ݚvdWϻ$Nഒӹ~(F0;[득ȋ mOzQ8??Jv5qS?A::30Z='Y>AYlnG-5ņh8]\VSD`r)gL'׽r.̲*V[@}QT XviT:`E?9$ϼK7^T< 0ZL ~]\xͲu<?$Ra. ж_^ZfG+Tv>g}c¤GG\kw6^bϵs[)@M F8=Qcz| @茜,ƣnxEv,<DY i =|Z#zdz#xg3tN[6K4I^qE9̔/;I8;1L{K퍽ZtА@ޘڴ:U:5yB?3?9G(ChDC܉o"GCIXaj-vz '__^XB &2 yŊ.V1uxV.3i* +W"B[Ÿ9 xהY|وO#V_v3:5cFֈT< _D|L{pGN9+x-TFp@]V P];;;S㇋jczZ Y 9~s K4pf|4B]Ϙdq>Ύ3Iste, bzR5Z-0Vonҽ!ߞdS<{N5+/$['B%ݱ| CJQM“W>[0Y| 6]/TF閛_ EJs2T),ObkʞX=#kـ[_.G8W#S$˼Qmի2+؝.:GG-Zx̜ӘV*'mbj6zC3/7FfYf%~໛4kI)HkxUPs9˷wb&R6J'AqudOVKw 4z2<34k6b%Hܟ% {^u-}y7R Y K eYpA*%upo Qi d7lS#s(b f uք̒~C_zpo!ޒup. Ȕ1hO) qG/!ҵ|L~#)I.U΢8a'N tU}`RsQ qr+ L7Zgbyn?(01.>GHaMnRӨ@|qPЯ |{dv&q-,KeG4Oۧ>NbM@ӘQ)O:RrMVq¿On9 - H.@ש}(d}ɒ`Nc{vk'hV(}FͥViR&ϢZN#db^l0J]N긱QCֳU5:a>YJJX,82N [yVBzL?lO`A&~\s 2|pH`?x>71⽹\jhywiLV+ڮRA>!9QBXiK*rLZ ښW6i"6وj hw֭$*qcrk7T|#Dic/X%(OGth(ˁ/c"cID|eu5=5@8h$ kÝdR==dEQh-\TT(ܾ8W-ݚ$[Z)2$$4hK0BBUWݴņLiɕWeNh T4,*aGl@ E|U'aSׅ7ZW8-GX54Ir@H\F[Uf#@<%3Xwxּ,M&'@ _ ڒaj/CÁůWwKɥRLgR}cbt >eJy2}]8'wٚXVٝI ?̚U3 U 8Z&&ųȼP0,sR@Pyr$`qK?L.i!ꉝĈaZrgɼ:@`Ok3mo[PlՎtDj1Ǎ?0N [0νBo/0T!'A?Du\09B̪ݗfң33.!5tRfG'0UBJ%u?!倰:O{i͵E8;t!ڋn:'Қl4":!w k(!6,^oKN~> |46?(Lѯ@I9ۘ2YK 7!W#RnFN=T,^:`O˪nv>| =/ؖ%U>l/ݚ,u )[K9gmU:KOI(aSP97]W@ & ԴR]s׽&zZ6]rN~/:2+W393ȟ39]wʫJ1<취 FN2ej$ۗN]TV:}@571{ږLC F,<:y^d)  wwh A mijA%gzÖ́h`뻭͙'oLG䋄[$xGckLLZi)E7* dJD|AR ۖWJo%gYZ   qln%1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL$1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530#1;' ֣.:Ϛex}߶;OqѯO&Plpv2_exXԬye,Mo4v/6#s'D8 :+E>./m$-K~IefF c\2ky-8=7e$wP_\m*7t7U ^IϚ|WWt ]/"tfcݩMBg1op܁ 2a#DȀUh>HpKbIwtBόOv|,иsP\Q6x kNrUʴo[Q8mgYZ]" 1;# LHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-az=7'3cmMh!.`VʌZ .`%p6t Az "n!:CE#&dS,|)첚F4۸{>WS* ~Ʊ%W.G$ P BH W&he0EGuK+)|u%Zdثh֙+zn+]FV_xSi00.ϙfI~)OV”8E,kaGbيݛ!:αszM=8xäRb 9+jN3Z%d@ Cu^vjvRnKh|. "bL\,$u5U|4߬8ZLC:<}$&qP*zC&Rjrҭ=HLu{4&SԮ¡9#&r=n)O譲 dV5;/ɢ|>g]j_2 :Xȏu7Qʪ_0gp6'{:: qOÌx7[WP! 0nv?:vâL ӳ!Tp!qU ON9q1>Rs^q6 >w)B$I$3` \u{eӉL&29#3gVKCqP"eOY@ )CA\!1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC 1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526i1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (b]D?7 {?:fH\yg@a׈-)+LTJ?ղ3wXKv|W ΘKUd CU] vw;TI{wY62onBFdz_6/˔51s'g(Y;h` Aq Ǘ%nZGXhj}h4/?}{AqCk"O|vq`By%Ea%ܒیR]17M#erY>K*}AQh2Kx4 %Вji&IYTU z+rkN f2FCZK6 :'♉6jANu } >)I !|Kπxe1-`̵ V#]x}UXlq}_W"{Q#9^FB_6@frg 0>0>@!rwI^S6lqiy =t3딪6|N/U>dǜ#5@Sc(bV[%K|[+^|O,hrXŎoC^3 -WE/EIKa!ײQ gYZBx[`}W+;d/p ձlU̓=ءidh+H͍ߗnN)GOn˭v6J׳ oj_G..m*Es S[#}?kCF!x@L+ Fwu=4APlTflAm÷ COEugn,Rh_(l 0ۜq[#ֲOʲc;]ш򻞰h[5Q`C-^m,EӢ491fLXgX<=2ʘ ὎e7.ܚn"*خYcOp(HIx?Y |RKR@ 3B!>̮I 12?7a+`$\fe|dr,X)+wҁ&U_hODFM3L6&1jb.&awL&5Ţa A2r%BJuO{XacLP` oFN8*b~Mjjg}SjM aHjI;p{ecHDzZ+M z_T0,BsOd- SRN=/@ttHҤB}衫rp0pLg~>bKW!xkr|)UUQBz Q,j̸Um:^īAy-.K`ڢP}+D`WJx(<51/ˬe4ZKFjF-@vaFЏtA!k3I%\YHbvDWՆ4XDx4VZ!g HJ80)QLbXL}yw=!,ҕ:H(]̓UL/D}wnPFma닒띛kFK׬*@ahpO9;}[c?^loF3,ƳCsj(޾}m^ ?h_.3ّszg8yv% "c/E\EpᵮS/**_;V" R?LĔ;"/ޖb; .l ldJW|`6>|l4ZnE1K],Sx}wB};J /#*kOO8znY^+[ F[įb>Mm۴7(+i|XxOxAqDO! ={nǙӓD'4A꺋I Iۗ;&3.[Ǩ]b ujj^l~$p`~4lbJ~xS8y=,A+?\'J{.~ |t$~}NtK9`f-djvʯIԢ ÷fU,8/'zpĕ;u| T֮G)> {rXdު6?D=X᷹jtlLTUEϸ5|jgO_jGpu Jx||E:D ) ٩GBWM> }@L z8ڠw f/bx\vull&:}Fw<>ߣ}aЗCNt] yT#P g;["!_>\`]L|wtوu3FYT-Pe ۔ҞXu:=݃K! 6Ž4kaE5tNF1g[EܗV bxh#۽p7>ge9m pr8L.*QDRa*M?yS^,45X?B$ԻLrJBXOl2IK251DJϰm[:7mF;` aAVA}VD&3Gs.YGZ~L xTi>q ajyNBCW9ScpŴCZC'@zxBs6{*jOS}!ŋ7 DX- F^hTtq,_FoPY Q}{Fج%}f B~QfD8dILqW|z+Wh$P .x:p6yjG99g(3ȃE{*5` %U 򏪜@)#'1[|v1( %U9`͈Jk?3=G` Q''Q0O$rD{}չq`ȌQyM1Y7!7{^ʦ:gg֯$"3Ls] aW :Te_l+qaѣ}srwϨ9ډ'.Q*Ej`ߜ*5aYyOOɕKA7`{ rVR<E0(Tv9@udVt}+$eɟ%bPi@,s2!8 rQ^41Jˆ)t36eg(^1t+ى{d|]a1 ]c[bz@1(D0l : #$HUG u8>8Z__Iwd=,#I?x]&rnk%bR2,Ta}$GֹOH?:>$nfv-;Uf^)8֨0@#O{\{J`ʸ]N{yanH]EB$HKP tԹӴ]e(!% ϳYd.ޕY.i>f\ +^pwhxx',9H>6˺1 =3Mb,H|ZM)8] ;?!n-vQ&ǵQ8-CL3ARw{$ħh kRKPMr#&]]e>VɧW}єSt_o|rƕq B$o$q#Mc'zŝ-MSPn6d%Z**]E;Z['׉S:3^&WlVR{X~J7a3 OU䡀6k vRF"@;F`)h0yhieLl—SSFf9< χptS^oyB eV!l!u7BYɋښj=YBw'&7|XW-eҋ pǧ2$r#2NvCзOs@["$!4ʠ׸%\apEZwteMu財\b,i.% "<&jEoƯnZnՍ؄ꯦJY1_Hg vUYt-&ܱާM={brpWR!~&&d#&!5W qP)z+{pޡյjY~}M5h )A4w$ϰc7EUS?r*O$6EmKpj.zyo{֖X2'{\hݑl$`@g)2Yܩ'A8Q'>6/OmK6X@T9mil/"wy6f`Ä ]^_emWzWH}:s(8,gROKu, ~GfN;ڣ$cAoOt;'.mNa|ω1 ˁ~oԀI'D Iv^*.gј;V XsLu)26{?^^ d֨e4@}0E{\S8sM;y+~q`c4Fjqج!s`Z4jH1tr;`㓷ci996 =32C8J@PzRi.qX5֑/D-rB }20zImaꘆ7C}.Ƙ x=k>2aRkt'N"\!r4aȳ̳ouMr)zgշ#¦Crqe&?Jf* KiAK:ʔts4na*ݘ?Mb֍PC3MqCK]3(vGCg%^LT!ȌJerA".6\:X[29C_UqFӶ7<)gN>1u r gOiOPicHĵWcѧB]R u7e[VXܝZKӅJ+iOBXD/z7]t2ʳb^x*K#D{ +"i<Z^D|O-GrJ4Cء>UdēoJTn?=ΕGg6Dz|Α XiEI7>8YON>Eϒ0f;\L\-Peb=}^xًG]uCx!㿹Hm s<"r~$tf{ˊZ:s{j'QO4`2בk궒2'Iގ4CR^=ՆfL\)Bx}W@Ր9k2?e!`=qkHe$'6|&؝=SH̏=u@{ V.:&VfՏߊvq\Es0+m{5,HjZ6lrLoNTojŕO7>UqCc*1RAf#?)/ll16`g!U7A0Ym1gEcbԐrP {03L' 1ׁx0"H4]\:D/ţ#.?׃@1B@2NH;c{5NJMxe+)˱z> NŐOQΔv'REsM)TSK("9"KeP-2+_\gZV(cD) 祡_L 85>FW҄<*s]B~! 䉆 XtҳW髋ԇ-e/Rs[ sDΈD?,uE@Ҝ:vvxp̘3Ÿ~`d}ńVi9k8gx[JEm-,g.zg.gYСTS |EaMNJܒ S|I8症 >'˅igE y`9񌦘ȚD*G`ggAD!(/=UqXErVk۾5`XtGކܭBwU/r_c,-XRMRTݧ$isE?&_p'I[$;"h:=Z*Le==!Pԋbw nSo׬ʹJYL #1ql;r%!q}Fc( 6} 6y{J->bK v.AN|a 9G-Q*@m;b I/%ݬɲ Jq1ڣ^%{"e5)MM;-QK ^\됙b8Me"(fz+I &LS4ޓuFM1⃇D]C;twngrpa@ӛXf7ELG}a{糜L' r5&]D̦ޏGLeud;gTN~Grsa0& 洘KFkBU>Q 7A(6^H"}4>R~NBG% 2g7  ӳ 0Mhxs-grxRyܝ2ܥл&?k:@Hy`_Sig~=n%lC$:XQyFe9  Xh2-{%^gnKI(_^D~t5YILŵZk#c~J@WVߠ)%*}2dRvwW/9KZZuk5[Yp7F`pk&ա,.'9!e8`HW>6rXx hAݒh=pw{"1Q_ N(sV%c@)=2WuϨO+Rmo8 .dA|һh1:88~z?giz֦ I3<'hG]X ,@y N%,gDxFb`-i? +F]^>f^%՜my|@e0g@Pgn7SI'҆ [{hy&`A #e`W8֩Új&җN Ëe$65$3_9hkb"[A8nV2AG[yw07r93>lRw֦|4^=ijGzDo yJA'hxLc^Vb+µgYZ ` X h `@, 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"v\eN/xl 2sdy[!ZkyRd^ pW.bfl)[*cK#CShq]BF=2҉/Ռ(P,0i\텬41\~ gLeGL!zc>36$N%bfʣN8y$ql.׍| g1~}y~[},r4R<4+Fu}v`CVDq @%|2O s'$؈̣Y X&+pꍈ"׆?X>`M $f yGTxy W0{)^v<_n,uf(U"8HLN! .C5Sꬁe(^FNԙ]WUv䐇S]^'r|M\T^1>4]+フv|<3θ 2=ѡS,vG{/6ϧG6TuUKo ~/B@'NvKf^MW V޲vP}HWSV]A7t!O#@% 5T69*Di6{v,EYr!=5j,irC ߔy5)J#Y\n{3GUO`ͦ%a)E̛97G[m표rPiꄎvpAu_<K?L< xRJ8Y@JyVW0Аqu(erP꾭B:x4dA^=nmYoz˄06+{Nz,ω.ZcstD<8eni|n*&wtJN vP]4:3c77a^ fuj?(Y!E G8_r#?S+h0W;VxX[BSh13l^@_MqL6فC3+Mr[KWd(gܽ,ܢWpxɉ,7(mA0MKC ±؊J޷I3FkڃI4UADcD/\*H뒩8h2ܛI4N^=5R j3]qZ _rNfwHʾ@ldFpR=xJ9"\ha%&](iN|/[םEO'+/ EE- Y.fkx噴drՌ3)ծ zzaD Q+U!WP 1C=W JD!4;M9 $yhwC\M{A,WoZxR 'SJ&5e-sˉaX<& ; I&Z'i'xƼyLP*kZ:1ˆjܭXq7 FEE~濈ΘieqV$rS L v>-g 8~ٝ~} G}nq3% ( fz'{n*a-M@I:o)Ex=pQ7vi[J,XA"?-'XnDUќ{\A#,fSsO9ʟӊqU|9Ka"'hS#rAM~@/8*…^uKE:|玼kG7?~#й3)'KGb+1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF*1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id524) 1I# 4HOL-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\/ձw5$rzHYOL{Z5n`K1k6.*͈c*wv))7 Q3,y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZyR;(B HyBhv.Mo>O$yOE؄΍'nw x 0L,5ꎾ^4 5BռQd*&0㬨46un^NUWf%pn{CFSXŃ ҿ[ SUQh$7 p0<7론 ^J/%OrWow$SP1%>wClqm3e$sjmd7rQzK8`pn5Uz]2˃F$[ ^|aƨ |68B PqYtȰDQar&59(ܱL g;if $XsR,ܒ 핥0+Ҷ!lsH{~H1KQo*9hK.l $[krg4h^Nu(b٦]֭!yYt x$ϚdR:8>VhmwkOl1A@)2k!W֔Q{GӸ3;oG=*\-5|3EY9 ƏQ&FYcˣ'ߒDPٵF@4[|y>KoNXTMJa\u-t˘>].\8_vG8: G YWH$YTk%T}bGЫR0LOyǒ+X&O,ۓ ŭu~"ހ)GK2u>Whx!VJÆ!h,4G[.7BJ)NUhKzK|U? &9y'_v>  jLE5ĥ&g?l¯1<':ѤuGE;!Yz.ydx ҩ)U-E4:6ځ 'INJs/~՜A,Ztt?& 6 R:aKe IBz nfEҧՅ{#CEX5[qFuNo u20nեK,e(Ipv9Whe˪;Ѣ1ݯbYc<ԑj&}n~rgkQ8 w@'h{'l+k^>Y37ilk^[$~+w a,9mab\L8ZR0Iw37QjaHbџ^pHBBjNP∋=^Fn?ډN>Z.ĵ;9td2ױP)8dZ, 7Şir()|X5d$^cèHzIME!q~|@槭rX;mrxaO"q& aoщ3MbHh*l6+N;Mg%]0vzC*@{Gq.{3Sk1}emzp(N>vz+ t%hīR`ke*^fOKŋb5CCL_E][>_2/ąY_kH,ԉuuʩV~r w %}YWSFska 3ܳ9/πШ =mw~2oٟG|p {w7/.Ow,ƨCS$%9g˞?Ѫ戲 YD/Zhbe)}PU(ݞ!EX{ǥɇ$I]bXn/-ifffٷN9uҮzc+7FhC΁m*z*<ﯷ1[Be,݆[uIrɍ +@7/r SxZB'K: VGt~q&.|L!6Hk>qgCˮQ-?_2v/6JGUt{Rvtzݥe>bsBlMͷZfrHdn\V9 bFtClOk*UO椴ܖ(]{kZ._*sh$VHPF =eFR(犹M!VBQa}`-qeǙ QYq0Y:tl;)YLJ`Vc &j]AMoJ2/yhWv^Uj<$u1nW!ϠR FHDiSŘfeuR Xj?nkX}<Ǽ"( T^)BQbL(sm6<*xo;hWjX6;Y^UF]NW{/]*i֩)៼19P3i.k0 :i`lA#M)!#F!'%XgRv~%8e!&k]t(ا*j!֒5yd0 /:UF{wo;KIOx8${S Oe/MQfj=ڪۋZj-m' J9e ȁBSk!ip8TC*zn fd+@kr3lZu^^AS<#Uc{J{b 钾gL6.: 2`I[LW~DN 2@L;3تiEoE%?IC3̱QVFRx{Lk;E;={ZgGxtz2#UT#Bo" KxKBxlG9ْh)]>S[~ev]`}.0 9 ZƔЄ^> !xOCT: y yLvWK;#h(zU~P'/?;d"WkfeQ>dYC9%}Œn4G˭aȺ6@#3u) {Gz)AB v/2Vvu1qoo#8px̆jϕjhVb6ryba0fLIXa{',8-8 xόǪD/49$itT+sXs+"17ZCCokU 酥/Wd`ĺujhd&L(w*/DZ謥|ʐN>ZM\<n M.bx "Z(`ĥm!4ҥBeI?>^Fde$+2_/P+YM9U2n|_wp|/EuuؐO?* \VI}wnMib"gN0OQgO-is7.A,x8B]iOX .X\!<)],1ELaT$ -f]Wt9Jj=ϙ>8-VtQPopL)S!6j#<9Vr)0SP7)#, f*z+$Tu]C/dKaԾ KIa9NLi,3HF9}6**pSc'UTϓ-3)K7mt5P+G!jIlU!C[2HԐzPq^tMqƠ G^=-=u)%]W7P'=cad*ve+a]dǗІIH,*Mw fTen0F&(]j0-p;4yS밊q% @A?]];-h81e1յQA>25I{yd268"&4w4zZa=G}$|7{Vв9<$0z_W ؅֯a&=TIK9w֦g9=Y=t6sّrϴ;7%v{Nш0qT>*Uw5)Մ`Tw8tCuI3 NoI{voX6FBzt {LEZ0G**Cr 6I%4.>w%@)j]]d0BTj3*Z.;W1$2|,/@K:2%g֙' G (H{"{n0:0F"]6dɪbg;3#5Ȇ0͍d+ΆajboΓtI^Sʱ3RP:|Pu5(^% z9:9GZ !*)AB&t^ZçGMq4)}ojwtJ>]N!B0"SJm7)ټGb$הV^ϻ2LDyX@- {_ Ŭ@;>pĄhW= 9}>^8>z1>#GJWP_6~`'lZ$jUx"^q9nsc6MLXwڣAxrdsu% p4k'WHuEYS4'ds}b*[<2YIج=%;yY^9 n#g,ko^4\lD kBkVr `gtIq.{WHτʭ/JZl}#(NRY>+ R)m,eC>aVZn{a 5su@0w%As wQ' n5~P_xm\]L㟳1>̡]C8w,,anכQf 8,F?K$k^ZD (8mYcv;pX~vLST YٮyMh` %}]ڦ}/_BS JB ,$Ӑ ?B \QR.}{ TjegbIɤOJK,P޵׍&vD|զ?k6^DMKlIoxg~{jC;.y)͵Vs&q,CҏNi(Pc8[yn4e'l$arNhNVO&ʛL=Br)B&S`C~N&T _ obiE k5T/=jϲZz*'ŷen1s}[TN?mKkZuoѤ+oGw`5RقMJQC2Y~}{i#^Fvh\8AjsN1F5:$t&I+;=)aV%%.4\ OJRGt".@`,?etJOh [1P`&W(^9N <*0 | baDWcC,9_"Q #PR7xx!ӷ_ %}AȖGjYIi_Pm~JKLg4a$1k7a0q3?2fDn @.G3r6EESeNe*a~B U~N##tU40!hOHߍ+;PRm5R^SUn+7*+ >\Gqld6*: KE 1u z.]2zyW!%hMb9.FB ':(|&@џ c.橭:oU>(, @SEJ+L|=oH -gwXv/J mt^EOv6 .&󛺵6fM sӃQIz򿾍UW#}>7p>٘#,>S~^-?O\[͠d)Lk?VBe"|hZ7cl14Ƀ;NJ_}ʐt`*e7z?t7auRMr5C>^D.C8S0zllG8y =.>AcigYZHϠ) -(0Pҗh#/TƤG";Z)" ù XBA!޲M`Ý@#xYeQEcs]Ez5 G\Է=zMԸ1>,jkK 9SNJ'`=K/N& ;- $\re8"Kv;#4?WdK< ~-hǯq{ef yZypV5B:r[O[egbrٿBv!Zkî]8dnZJ 0~xH:N;Zsl4 ɚk[F{o1'\ UCetN]8Lz b3=u5;DbD({bC@@hwLp4-j_STa,1h\KM6,֜Y/oy}|UT&AVܻ(#RHLhV 4|Q!Li= )Lp I]!.n@hj(uJUM dAMB;\bPŠrr*JȔ60[ޢĬFgs -(ʯ# svҍSb{se-٧rE'f$ ~Tt[h)RbT}ҿwc }&iA=b2/..\Hm ,‚Y_[|n@F/Yr;S?$8>i=7BjF:*!=}08% MA v@8K>XWQX6?U؂a4 r.5"F'A _.ĴE{}$P"gt=IN_JLS-ڈC6yؓ5ރѪ6d]TWɛ1ֶLjm39$6SweD#q'ٮx&'܃?j2}R8kMx-Gį6%mXWխ{e.A_5zԬC$AfF6WO Ej`;#X.0#TWїȯPV JlN=68CR NsJJ 6| ,g~ZAT!!Ӎ.|:~R5*ܭ1iy>\O``bQũ:MV'т(CT_o 4EwHu`TBnK+rlw3ï't5AA_k qOé'Hْ0)tn#e8pτ5;O[X%4!Hq7o{Wo&ooџ p-֚tՂ,Рtt96a|ƒnEo'w̪}_"8U<^A`h9>͘o3ZJ"o)ͭ}n ?Hp%Az6ueOghd`ԷB@s. JQ q5#{"0"Znqk8+¢e 8?Ef:8~]%Lfu)B>my,iF*~)kd(f#TJc_oxMqҥ $d(&^=+B}pmj,!TBa` ~t@?*`Z{* Ξ"QaC.tM~3qkҡ|W}_`f`'(:XGU$ @(;3V@eM>:x'RxWGFJ/e8,B?}g!IUl g XI,9(U0xG}W!@@p)S$w.tLvogW8i#_;Quq]͙fGo%l3. w=hQIUaJO<69˧*gOz8lƼż 3ǗR@ufnMg)`ԉb3 g_rB0\"l%=qb&O\gP< 뮐=YN-d#b qN*iLs V^TCp~FI'8}u2XRtP6nՓ<:$>H65|8d`p[/BڭWJ:**_JEqFjK4/9?&n F<ƃQY3\H).7hm:"wG -4N0@ZH$g3/ݧP~Ht*΄C[(jcJÊ3^ Zwk&DȻ$-@mYݔXS5Nd}' Ae'pwK5]Icv)bԾE*Q.Hq{BhQq=4֝>tR(FD$Hf.I 87"k7FS>{jWz L5%pOUC^z\<,Ւ3\ޑC쨈"8bK:`Ʉ *!POwxN$ޱξmWyM@5vQ3%]L&gA& H:: 2tyx$1ZxYTbV!08biT\ P5^RQp"K yR薗,Urr&[9pզkEXܸcS~~I%7Z9Ԃ&^a'䬠@2rI')f/4nW,d-kmQ0*A D} {FqNM 7G9 ;6ONUI^; g\#9(:c~'TIq yʇ%QAYPTm-?4|oj(uby4wjyNrے:II6 G:^잎a?qTV)~V{FWR8ƱNy,˔{aFjߖbm9pCBP~BʹSt~54?PRq:ױ,ek6*CPs  >p%!/pOZh<~;CބjhcHR %rΎظYȫ<a4BdJir5ם'Ob\V#T(GZPKWP+Bc:TEWJ'c9jWf%N\Z f¥^~:.] Xp$6.$ 4¢7V=`X8jV3%`ckw U|oZJ u%^}~$+]u߸Tޏ1ӫq:̬2z:wnx ' 6C8 3 M/(D#aˀw%Ҝ*>xdĶe,Djkt?gvy"`}hI"ٵ[d|~q+/%}+A 8|GZ`V%0e>/cbY?R >šQjR섨$ M auBX5z ="N1mHu4|mXr~]T|R6D&'!4}ɇ^q;S8(PcXޏyx7eaf u'A%7pvꖹLSkI3sdo;P[9i7%J2r4D|fZ*|J3FCx#U?(6zM=o.Иoդ(M֦i|KHu*: -3O8V.n'>lͤ_R-߽ӸMi!s^@6pem^ M3%&Pk>*phpg:.b 3yuoTONsO 8Nm.>>zFm0jcQD۟I\gBϡMC- 7*2e9Egf&DrRg)6+912Cj!J0]mgϚ^8^$SXowQ*wv<E!!yypuX8i֤h?7XlP[`!BAcK0!_tfّOk .S@~T=Qq4|X%B Ѷҽң$CU'77瞲t/(JVBNoǒGa.o(mt3 y6V\ z{Y#6ǁo r]/4XCHd$i1e9^(\z05*R2Nyz ۑSE 9` ~9NXձجZ&&z Kug>SLjV .s-mUɩNNNt) #<.&Gj*T*tElv?ߢ+S1%ڙR|ã*~oc8_^DGx@h/$K'@r_lg8u|Km^՟.Z+V@mrȄtxA9)8MbmxT쯶,/M AGBHw!zal{(aĉO+kڄPP4_ʌ# ٮ*l@€w`̓+l#,OQh*-j˘О]qbsj:,qH XcٌSP&<<@:T>Kb\JR_~;bcgp qj05X) }+*$AGUJJɤxdTqeuP,Pd}O0DnedQLb`iR `'ztgp;v% ZzJ !hO1 ŎP&iNVk7Ak͋3QN ۋ{틩| u'Ime/j4(gz.4 S|㼌 X !>ha*]Ȼ?_1'8v.Oހ^4"kg[W,0IviY7ti{nu Fdi; ESÿ= 6VA۝;lxWY.FiX؎."W>1g3 bg]*h8yY`BaZ`yYS}]MlZ`R · @<=kr.c/mN!?Wt>ǎYGftN64TM>9▃˳ p$~l) 2ĿU(LSMv=ӊخ64ZEDUTD<+߯jN*Y(Z{,G #Bk!ˏlw%(r-v`12O$QS.MQgT^7cckTO]4/ph6\y d!TsՄf3#@.GmY6y0*"Ah0o9:*RJ:D)lHh.p*h+\SpF=S-zV範V3-jm~|}N ޤځ?qkz[E$>yքpNR68qAP]J-K5D(g{8j`l ^՘0LX.9 O 7@DBMMkOJ6m3nUj$UalvmGlxIOC9q^Xc{A(mĉ4v<`Hr^\"33 Kup7B45ɺ:g9c۳F0-.L*8iM(>*;G3S&};jpL4՟H8R{55MN%-`rb;K ek!|>@/=J' LNc&6| eC;/GAE3d%M!:vTqX UIJMHN R^Ԯ8OܤT]ZojV/ |+hSsGCB:Ĝlk:{=)nU*^3̣D| i>qfKҵz?j{YZj`p;"%E,w =1l.9PBҴ)JΣgÓW0Gjv"@l=;pm, WRph㬳?WfsBe.# 4ٚs&v'Z %G(8[+yC}C${ķ d˅z2nfRR~ R?79d~Lbu3]>W8`GY  >+fп)?ޮ!J l%"h! '> g(OtnĜ}*?R75wN#[IgA2y 0hB <޸뎠BC 2| Nb0I0V#ʲ ;%G^{55?ylD+|`y/Q >k~X=,2ƑwQS|h,ݦy ?8~;xWmYvgRx<{ҼZw3eC!n[՟r_{~Ȥ`P-j=ɳn_ ǂOMsd ՅNi5AL%Isb*ݳuI )+ZLSN L?MBniagk>K0ыOprCzpǍ_ ;y鎆v xH T0JjboYjɉr f:9%,sf}q7gEŤ YA tbrgw6v^ uW&,Np?+*dщ[(S:]}r8pN;xi'ޔ`ng'rZB,!qJ7dW)_ ̮~(gcd8ۀ W o7& &=a7o1i𮍓0CBI$׵Ϛl#5DL?#}=9`Hn7Wܻ==RZו :~]RtPR]6ID[X3mBAƉ V-hͭ>[{YqAE4q9:s\(_ U[z:0aYXAZ=$1U/JlCɴ~9GJ),;uwSJR]d=o4sAsZYKPA\Z;<0 mVW-F =Go k+J+TѓcZ5{ ^[novԾQtKds C1GlpuA/ЛX^V;@A 4ذ< g`SK5WiJ:-z8A|ZN70};"<&05~X#rUT Iu2!eqJ./sPշ{*ZWP G+LSU- >7mE& M5^z;JD % `M]ك5  SʒS~_6> GwKIJ/oLHGvgj E=!r v847S\%yu1ӟ y{г3d[HX4x]782ep F YȺGU"PLfa|*w5Q_bȋD/D2!"g)^%᤼~x JڤFWDhAqbi͠Puauw#/ f);Z57hi`QMb`I%a5A'Q9#N&H'rI!uZA#wA5P{ʪ*M2}J[u甬uߺ)I ve MqNF@'7:l`9Z5r:q |zfnޭlT!-6[h%aWi q37"VАxE:PޫVѪOn1(`@gn"Wǚ\TF|zd @Z;e(܋DΤ4={x,ʟb2.adP!D:Q[FQխؼ-}۽zA,m9pE`~5&uw"{Cb(t;}S?փ J^ߙ/~ 7sPN#L2Yt9&曣3nh䐉m˯VKLm!0*Rob$lׁ8{Z m-[{$FW3A  ]Qv^{MaF3`rx Ti^yI9K嫦e8&d{UHvFe2~d\pNDc?_#L_UQI2 @ `٢ d `%g8$^'~>BUtF׸*lō[#(2;Ls9P|NģG2 ?=͊׾xU񜝀Sby1T:e9`Km !P|>R}${UR++I/^W 51p/v{Nx$U0=6vWMܮ]rA1b]/|GʟՒi譑.n "/5^Hm_d`o@+KF[UO;;y'f_(!C^ Ptx[N{6xTzL';:e=?p jZKM(" GyR}ú"MbJEZλ"n!fbob5AjL)PKbZyY-au+awLhBE;(D@sk<F48Y[(*Sԛ]~ $ Ai$j [S9X隮< ݰ5ADL{ &PYA9,M8NTl!\)B%u8~ UT{L;/]:I1촿L4o _=k!A<-$0(cQ{A[:)3%_֕LJpF[9)AZL<6TK ,{jR\˱ fo{Z2:N~Vb) .>yWqdjЅ>tԟvG A><Ev#o./\K|'psOEg- /ZoW6K+7cK7#Y2҄2aS(:$XGGɕ1H"c5+)+/D8%D a KDww(}ة7hMiFÌƮCWh[z^#!~tls;B9׃3(G-P,0ӁMNg"T' o}_1 lN8Lz2XsF*>$smT^Dx3;!$!w~!οz//rfaze7P+,zo ~ƍp(Vn莔ft@8B)E6hE/w8򳅴ސR"D&YC&@L("pDŽ3.<͋ uD:E'_\TJ*f[+0BѬ̇'Sn<~QYe5)b~:NR_FI3VMbOy/tWEZt_U"3o+p+}wJHm~UF|xDž=hFe."1{h^~Aq|ԩ&H\mjy3xVn^߾U6Y/Prfcv%HļޤlL);팕I"Xvm|2v1x2jb`?˼9ϞRX4 Ɲ&wZ:A$:wd1Qj(R{mZ] qJ$D(\"=f% 91jjh^\=w4@|epdRו4 IgL r/! ƆA.|O)=l+T*VTƎK|g1 > {%-ôgVRo%n+b4[(Wp (ӥBpԍmmko O’zIK>A]YEҭ\"UJ6 Dn@wW̱J[ _;a6 (2Ԅ`Xϖ#GE'+o8;E`yj_>qw ԥ1ƻrIa\e݁S(Soʄlc (G~YٝgMbgsEۊz]=:)k:'7=7,e\L wXQN0cNJ!a [ӭ܇šL j|> A//ʔ#yOmb#:X˹ 1"㍸Jnɪ#JjyD0k)D OؒSJntŋ!W\j;r>Ҙ|3#eQeaIe5^M~YoeUzA`\m0nB zFtIXm뒪i%%BS^+.bJ9O%bdޤ+_\n2Éf? v-$L_Ix$n;E&ޯ.mĥ7Hmmh|]ϓTg+v4c&¤; \TWW ''G{-2FqF^ILlED:%g-~G,_3Ea&DG虝ыpVGaj8|, 2 in(݋>qm/7GJp,k]56n 'Y&|N]GY!p 2X/*.lG7N~̢&e%={* !\Vȱή8Ḳvu\p̺2I|~,ϴ\( >9XӽY 8Jrv9(rXj5_,q!­ ݧ>d+q [%P(^ Y[GC]U3qwUP! :Q)0z*ix&|'ck$?v W.ba 1adO#SZ&v%;uCB ըC_U\[7Ǣg,XE?I!h(=s\W.]}3hpW9x?Y R'qbL*k GvyE, iiFyRMyP,T;ѝC>r8im2(#8]+ɷC N%F;D]qv$$D w 8Mt7yN r` z>~ -7?lL3CF/=݀TrO{_lqui=/HӸ@]\ؓ  0nz#ܟ %{ݎUVT+rO!Q[aq] aHɷ~Egx|^]nH.6>2֖8+֭XHwijnÊ5ut0 ȶwMX_:8J:*M1?'WULF"Z:z4Bpd/T\# ś6mEj{"kT+uNq .J$cd-nDr+6S|37)6,=LP  oc?>Dﭥm@ĔI7 kB­Z3IjQh ׀bi&{;iamm:oBa[iQ"齵̺'X+N 7xn:E|V6b._1P&2(Q(\ؕUܟt6W1.$W3oR9N0G}ʯ;|F$E_r kUc ";Yj-ߑ9mhe3Nc C- Oj՝ԓE=rgܸ$[̈́x[HR#W™ivདྷ)RTNq#/9}yq}aE 3s;)Ɛ xǂ`leg㨼b+T5cU ÏiPI a5.xNX*%kBuVd3AIűV\W0`Ȫ)+E|0ׁsTy5޽0p.gw&"ٌw泭zhm4FLHM1*ލ^ ie(rFEs#뺰C_z_]:ކ5 +fXy^7p)YyToD_H/NVPP_&!>_v~e;)'Zuʑ pk+b|mM!i] Fh@hS"m0^Xb^rچ ii\!i{Ⲑ?=ЏהO+v}R귘}\hH<=ZeTE$pl#e]=.}+ڈʝ7xrl13L6mo*#KðUANLcE%wWH *Y)6[ kGeF\X/FwМB").hdb(L ;Z[w0?"[D%\H7H9Nhy8;&d4͋sLb\w{gͳ8JV,XזczP00UK{NbQ솢b``;EX Ndth/#Ͽ,gDx8M=6XlGMc) -UQac}($ёCp^al⚰XE`XŋXPQ]077"oTAs [뙦xUx9'x3Y'!U;*&H̑)o3|K'd&"2yGP|@U,zaH 7X4%sD[QA"pj5`!S>H36Ceqa9BN2oԢ$K"H5\a !=}J8-b g\ 0!K2@ 6$ɞbh)jL TxN:Ds)`+U˾F*kğ坁1`'"M򌧀Ňq/k ; rڃCഈzP=W`8 {cu %%NEYՆ[Ϯe[iF B#7Ί*lוѸZÊ;.ؤEUdQ碞3(̸@@Peϭ=jSANG6dWz`Aq#(Z5=WOISSP7n~Hq f '˱! > LY\%dM{7]pٺwgQq;R"g<$?Xwj}gc RHһ}1rL1_pȅ}zGOX1ĬJ!t*C rHD1g艦#[V6J\.tہgMܳR\gYZ E #Ep21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id53201O# $HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! .]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7H8;)e @fWi$6,gbcpHֽdeؘ.t$~[;Al:fgO ׻-<}pX LKzvj9Z% ʎAj XD>b%bqw.zQBBxl&VcGp!CZ0q2D.ż%ݑݜ.pI&gAd%4llfٸ4ȩ !yh&!%G,5[(yE{پEZ[ga.0#t;@4SAxj`?b_fzl3 6^^ce-26{("- lJNcyw; ww_wT/g{pqi+%wEi C'206ҷѲfBqq+R8QROM[i%#i:ZZ[b<ⰃW;vF쎥0{ܐS\K1C;ҡgP-;P= ~w9 wCaѹaMFGVXV8KXS^(U U'lZng/*D 3;AImvޣ\ M`T@QCBJDOimؓ7G*>izrt%gml3a{Tf#_I_$!!"yxv9Ih{60FMk=, Zʒt G(EJ1 Nma+$QqKo6B"&J:ࠫ DV/ 8 uGϷ\K7?šr-|ZPȟ SF5oddeoev46:O=r;<ЅLJM[B_)5o%\فtuI`-nz7v3+̞mФsI`*`kOdO. g CmSvHZK6Pb[ #qy8HU~4^rY܋ΤJޮ֊H̴y~w⣈e2l%U5+7TdzCd̯!b'[y6K:YmG]3Ld;Mp/1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM.1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id536-1A' bg]|r <,upSuislK)V٭WNt\rp;|$Yqu݊P9[7GoIBJR$tAL`]/8yolb<\'XP &mmyaqWG,n()Tu Jkb&{wK/_7Ǯ]Gp<+$ ?#(vtbI49w@DQG=@gjb零ܩg_S"`;Dw'KU! q4!DI40[al^biBK_'[ 'vuɏ(z|HTJ' 5 ^JfG4I D8gYZ|#;]`V_ڂ |cD`b5n3 B3J[|ci]+S#O$ YK<کS5a~/  UeNnXS'#X{ƦZkPo2'k^|3+ϧ=Hn@FCd*M!u=X@={kGs/#@Φy#G|S1ZѓSSs鳅5 u A\ ̒ u̵T(F}Zo顔?Wkj,O og5 cY Ve7UDPZJ Cd-+Pry2a ;ܳj J0nQx]V' Gu [bsYXL9#d#7ZF\QLʳ+hO>2u<ڕb!vb`f)¸HQ/c܉lpN3G5^v& `.ޘ&ύ"0'!;}NWF# qF*QoԹ۪gK>1h1IV08o:~CZ[K$@.K!sK`UsC!LZC*j^ryIJ 8S;rR08 ը4HxJ 8;s,̭[RU/\WI`Q#3G9u+Yvۗw3!҅wS0_T+[)%*s,f8cp,K Ym㨒o4utWayS-2ݙwAmrqZzjoܪWmm& ?Ƽe^z6]E& F*j*10eKgc1b|47Tq0$~2P<̥ \6}b܃b0Ԡ:}iB lr!hw*Hz2kf5e~1f]R*P Y>Ra>򝖴$dg-I;ep4N[ƨJuVt\ȗAXB Tٙ6] be+\R1gDx8ulH>H&E{ґxL  fƯ>+qLGKn)H)J4?Γjܼ{myRT`\wȅmXO e@E6 ѫU-#PK#Ah i<; {k6cӼ)~<ٟ?׸LD:ܬ6ݭjuAj^:lNѬW7Vs.Na{c9$\hȒJlv, =WʦDK#H7ė`nkSiwmFS3M:@ס:$)!߆rc6lQ0 i]R7H+n5x^^q ߎ,Jx6pSxv= Ncig1T|fA2>Ίk\䭸kE(P>!|?oGVAnזw*I(tإz^S.n^ Y= 8s\N[@8XC8 0U:ET-{8Ox.[UhͰmBOp}RǠ .nfD$!yXkӺD *u0LiҩK/4mz%[M0GZ7vi4a&jelGK0PH N}I}>{̨½߿vK!'ctT!7~٬8{m3 p}qk* 3_7B}'J!zwRX*]+o֖ttsX81}IW +pnW@܁6S ,L{eX` :߸Y ^\h*@t{p*kF^/Rz+6ˍJ~8EzrdIO+/(x֛yNrеIo׽0ot w/>} ޤTqU.8)e?w!M{]1831?;{u؀sIӮq1sEGϩ"iYR-7ãe5Gm{b˂64/Z'׃*moZBX9QO%fVF(]UlѾg !-r":L L6D#6v?uŪ9|eV?nlfF@ alI\lz]ELP31.ÚQa{g#j;7 I'j: p4Ȍӆ7r5:.uysU))Z-v4rXo9:xPIcAŪ9#å&Sxhl Q[I~ wmPC]$_{ 5o ȹxEP݃ }`IvAo0?kÀw<u ϐy~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 1LX+FԺ5n1z"iB/P`61n՝wFk& %FA`:hacXf{?7+G'?׬wfLN[z VJ|r H`;t3~Vn< 1Oa(wE:C6s% z벥5=޾˕ "ID VзePSC Q$kzHu\ܵ1.<|57LѷjUz۝O foL C`#q\d}|OӜx\1_qq83 Dgҹ `㐆m\ր\~&KN}9gr1/o;I9;_ծAL3S̛JU'!ČS$T9eWXUCW2Ou] B t$KvM]dLgRr6 Gq`h 2"a[~ C<q69TZ`S}C(ˑBn6"gfŃqe Q»+/g!?,Ρs53,4ZBχо.HYs&)N4H|Ĕæ (Zj\aQ`,|c^z  cVheHo ="ob)@2PgB #@حVD%Mޙَ"bgwM׺Z54\hu_Җ0f*uM%!?~ATvx.:A9@ئEw&ӕkFcCTA `H5HX`|Jc]X_!hn֋c[_?k '7pm8s"P0~B{`h˿7U| Z4<|+Cƺ!HG1 =ھ˄E‰v{~6)ɥet< ;"免[83AXsg+LR2 .'>-3wL{aƹ'ǯú!0QQ 3f}!+dZ/`@T|17Si>o~!)utҫ9%WM^&}) `l5[Xlp’r9a^0gC6,zJGpz\e5$e׼> X/ƭP7t?5mck8Ũm7$ZRHAQ~ St3מ EES&V¥{!K%[toD24DW%FZ锤Q*cÍ%Ohw^KWeN~XF/^tY*DwY_n2Qm𻛵 ","cW{"#9bm=ƼL('2Kwdľ-ǒq'S)fۓau>X/VnҰqtԩҨ!i͌jSo+kaZ49|R8sp+e?7C\hpvc ~FMHYR;1f$3'X`{x]ԉ"7ꝼVXZ+BfC_bU}'H-)rw1Q:!pG!M4!l:S$t8R5SiEn~'8U۬вIII ֣Q=Gþtt8W> ˰Y!y%:uGX2l9B{#X{%?_aOV}iP4zTS,hT1rG\MI0R~qrY4Í`qU\V6KL"dDQNA 7Zx #va!c{]4RMx6Sg&,60_ԙtuwz9\xE 3"2 *xFqcؙh-Z@4 0[k')Ӗ tpšJa 3b t(˸ ?1xeUU_~TMG"H`[wE:N6eo*՘7.r:Lm̓M/6C7(}ϴugdqԡ&'kp'NȒ/uJ !͙@;iO~/2,_,!r=!_ik$7>sse+G6 kR/bH:h2x c3qo(Up-tntPmH-{Np=A׀ [< /򠳝ʻȿgٲ=؏_1tj&0~L(qkrM.VƊr# &u[eOqjIrKO6QX#}&*gNC#tTp>;,IiaB\ڶ3ݾON6=hұ^ &EBkx5&k׫7O\v-)~EKH;?ȭ)6J(nYW`N"M+A٤^\RFI-{Ud{!6c70&uJ DUIfH }2F`?P{)F{چ4fuXwRW[}-dc)Z>8G{KfG D9^% /b7Bt-l,voUř{e~Ia6H3[&-3~(O@ +je/e 4vP*닢Yல-*/Sg !T^gct-+&Ԧk>y}OR;rG#ςǢ'WU*UAWӛi? '+~O4 -LI҇SQs? 9.%[S#ĐLb ;p] ?gEg-GE˱gYZ  ` ``61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! i]·Iq n[:|&[zŸx"'q g Q\>0[Fd.H!KFV!캕@vAa`cݗA%bF,#]'(X 0 u]&[牔[JӴXZy5$+pl~%*+CZJ X:(/ rkd=ʽ%CZ/Vh.i'Ww^iT⇚oGu:ǒ9g(J_KuBO)%&B4 @gcg)#Z!{L"[0C8 wg/o^x9&$yeIuf{y|<ԋN-UM^J%8 ("`O~# ;agYZQèp:lVO'/%1I<&aI4Ov6j>x嵕>[\6CP{*u;ҕ<Tstc>Ն+Ql4cC=|'UvÓQ>_8O ;6oGO~":ݺ\^cw뱪~ͮ@+usCl%U}lSrr*{N \$⺦"?%R ;S$)w)fFP/tN74BT0N a8H]Y~'05m@PC*~{/O.Z&9:lGcTs6ڲyh"\eyJFqHAu y^[q; 8Z&^ӞoC:R/p՝)BD n;j' h=AW$O%7"Uh}Ibϭ7 Xn 1"@%}>got_R2lXtj wּ#CڒHēAD9]'Cؑ\ jG;TB`~C뫺E ٕHiX8ATZ9YN%7:tے"Ov\x(Ĉ)ѥsbs&_D 8/qްf݌XsO|k/鴯LEgduȽZZ^D~3'`sHWjb6Y7rc{o9$~q|]Rΰ8܉O(U[!Є{f\Mp2em<ʌх|?و. *?]F*ub/[׈'볭_;̂ӍuqC~洦7G&+f VқIBڹF'NH)&\N[sIҮa"/iL"겓)X=2;- {"IL/ɢyk<h'_f5NՕ֩[碌3y'BcDׅ#ᡋ-y'3p5\{t-BO\ma P%1t"ε3}ΩKN.*l r^د/ mѾ}J8 (ݸwBㄅٷɤ4BeZQ2(`1)C94׵kd% dKŘہԟ!-useAGz][-^4rK+Tvh.kz?[xXe~&;"0I(Uh!?@F{zzO83#0>J X\pfΜ%G|%x Kls'O gm= ƮYj_/%<5lS6HŬ3r@}nL]L}7yB"v&kpzF67'5;W4/^v+2roEaJinZMJ,N˰14GTFq$"kj=^˚b.9nщi=uERC3ҥ`rHt"XҪZF2 pmAk I5lqqWiux@.SѤoJ0;=kg\5Ɲ.,T aZN҈&Ř,;Fz7%n2v__wKc6Dj5BvE_1lYf!'Yx]LpL紧wKň*XCef7x |,DŽխ51T4|%0^ Ո\W)“❳[m:!؆[A= 7j^CI?Yv+me~E@In[ .'"К-.qz|2, epK0F(=s#Rx>RA*꽆H0&Ef0~}*Oc&.OG-nq; қwΪ+ˡtq "g; Z%= }:.zclގ)0)ҥ1$rsrY4maK[K!m ^}85a~O$Bs)uu)LaĻI!v3JGnW^}>Uo3 L8zܾKqD1}A{$c1 1m3wg'm0{eb9\Ko`WUdJ1Ŝ@\!c)!I$`QCE^QiTgHE̼m}]@R+˙ I|y5$wfhkH,l#JZz#Rbx34,шG1VH;1B-B()$6Z-,: ґvfJ 2ah򧾔`ŗTtsdVUUDBkk~* E!AՀYj )C Dn:wZ },?މ i7{@)Y3N9"V ɁxqVr_q6s"D)Jsûl,#"oٛ;U҅+Ϫ3~%W>\ _} BCWy {!Q`SwvNZFZ2 }]z9ҌvX^`ǍLqzN@ŶN6.谇LJy50M/3Â>uz}~ͶOJG+KDa%a0$(:!Kx,:mP}_"F wX 7Wa4C`!(Χ <3!Wl;;157&SkCUjxtQ3Ro*ٞ6*{VkO?E p ehz8E`KVYIo9'!OCA@.R}W7RaG;"۔͘_ȊV_#r >-ZV; 'X_C/[L7OQ;bW)fG>>U/Y$~xHG;qiJRM#z- ;6BtD *݃ sJA1˜n ^<ʅٰg=ިTEN$є i+9rp{4yJj#J4[َ1-3 9NLy9KH(|b*qZj},@YYm[pAə.0>WC)"7/Dl_t0R0'V!5w&|etICFl;O!1=<P:RE S8BM6E ~$ =u%)T3e 6MT< @3E=ݴܺ00A@.RtGwN;Ĩ-[- S2/.Z+,5L_dNF.';DO6x7R,8# Ep uI'8``Ȟaw Wa9%"=Gy71Og(,Lׁ!)*x[PR q|UÆ x="%^+=ô/`%~cdNeձlf 7q5ϩWuh?дHO6鴆n7c9z[ . "vHCuw!_n lT4+@FKɍEWufGC#\w#+VeV(SmQĤ:Q9^^yyk]'ނz-Ʊ6ϖ83y8Ɛ1B@+i1 5ԾqJ3=4sҗln@٣̉j3a^*+p 6Qpd!V/yK;q)f5 1[»*U[@-ma;FO_5կ[?tk 7eX72(EW ĊxMZf6s|ln~^͖ƒ09}b'IH9fu!Y3F aK c 1Tؼl؎; $ %x 9:Ѩ`Tã/ck|1']y# MbsݯuO#f7/qXyrG+ :zd~E*ϫە'yx@'.m>Ѧ[u3H|?ې /Xoa TpUiW7c.6%nl@BL" ;ݱئ$+ R>aspXoo;=VyG}F,ւmP )JQPlfC( (u4ٛ(s"l.™k5ʞ>F \!VwiI*xcT* ؿtBc{@hJ\ {M%-۷O yd#xg _Yv.!64`MHǸ}o",iXTG=FןPЦI260k`7~:A [ZX!s\9(|qzH BbNNBCUQTwR ypB v QsX@X!Ư m\0e[%p\KdBtZq+,8`@1De,€in d\(%\^ SI#[ޓVIWGVӼk10&0SXmج?IƸcQa$s3mH##tvQw?,'%oWb{2%%E'D)g`}(GxӶˤpizm1u̻詐4%_&⢯f8|d=c4bt;A SҏY'dW=(߰I=*s~6$ Q9H )~JA982L>A΁FĤtoV99Ȗk•YQq>*N=d'4R(Ty擥G0BwhB N8_&R$HٛdWW{MR4-m=u %p7+ƭ+sAwM-9tbĈ*F<.L8;l|}?rc|$8*հI-mOq4$j$T% /cX5!E(w~>:lC!%AV~%p1 h谢kodhӃn"{Gn"Ge( Om-^ ?S)sZ,mϙ跤̉oˎuzN +0˘^8~*n&&%Tn;ITY_4&Ξ_dH[KJ&=Ȱ5%Q7 Ln޳_"lɽ(M4{'|ݱP7౮[:!WSNJb`DW]E$8v,8CS" s?L/z:F0L.mrc`-oDZG91>94`ͅߋm![ºlt rigS+ v1A#*@D4`7pZSAҍK-Z.J[ ,>k]L{pӹ82㢓{= ;މ ~ɟ!r4Ъlg{ `2gȊa|C3~>rN5$Iܿ1 ՃeFP[ o.Y48hYf4fgեVwky_!;͏)7s;DK|ʁ& n{CLYu BS3zC0 7{^o58 %[]#W9}f0AM..MmO9]U {nimKf`^ٟM 7W oet 0"㋠Yby5D `% l妼u8]tT[b6w_N' ).FBGQ&GRs=v#qIK:u%eolnWqrْa.ھwb{S[3bh--Jc 'J ?.4WU?7%\"Juӌ:."7M DX?XO"0!M~e't3D|h< QŪ=rsȟ[CTR}N;ia{ygA* ѕ2209W3FO64kt*\޼>(P$vouRIƥ:)M>W|q҂2s>hba&sFKqk>ը6xHqk+*2L"}8UOm zhe-[z6)o+͗^[ss,Z <%B0+x 7TiMҵJO{fyW'/=Zk8&U7 (:Q[υHO) PlV|:hxX9s8 m Ξ{ .j.MBnDtZ. .Uk˻d*=2vXjʌ_)HZ `HT}iWGXӘ#SNV;Ռ.A<G24WԃJp8s;@ʰ٦N8i^3F|BI}t5¾)ѐkeD2UNtj?V) oH>S;dME8jico[q콽i9 q!2N- 0LqL쌠Od)<Xöux8&U2o[Fr ?ЭXp oiS!1BD8ٯ Rd=WP!ˤ1'}uCySD ٖs~)71qJ/^ l=NGlVUVm|+y`/_O?6A@I3Lmtu QW~Su 2'M6NM`h,绮Ұ\EV bطwhoTWL0ّ+t8"k0 툜*2HZ|FO߉ꄎF*(/ǒ[Oܷ2i {mfT_|m&c=()Ƹzsg)dX0k^k%hO}-̓q\[?#8]WL|oG)ɼc\ y&xyKLW&=OktN-HTu ~\g.>w2? MT#]_2|LϩT{ 0si@Vm!S*}"Jywnp% 8Ay}yrzxmsj8]Mr*hC*/h8`暉?Ši0O[WSe8IPtʄxM<܋޺쀨mi@b,g>A,ºl .ϓoAk6ֹCgEH}@3 ;mzvs lX|\>`9Y*A,ݎ%J"'C{{"f2@^٢ ¡GX'+WMS>x_&ipj}Mp]@P8>|cdF#i!pJ`z /L;J{SU!+F) @3r }3kƣAsg7W8~ v %$6WHnd LSՄ|M}vZBD0]A(7^i (qdD wz^ݲQ,n}b_z #W?l'QU9N +rҋѝN'd&]"6f1F*`ol&XeRæܻ̑X(z@&S>o<(/v!9e2gbwRQ,;`aF$Wf7a.j0Oijڍ[k,^s K'ᅸW4&30} t1]/絯VXF8@ \&;R߭ŁBڱrP,7g E3"kC`Ŀ)`‚qW  D*:y)ahK/A/)B1UkB-V2AC8zҚ^K֨dʌ[:&#v  05 9 f{ppUaKŇ *NΎ(l8ٱh(f42f }z`(dǺQiGyd++.0J|DNb&Wf@e+6LhBDdBR(3'h&Hu01-XeV ?NPZX3h7eRiΔi%6Jscj?׎.ZOgC$﴾"ɪ-\ H(e3PRd "CcW[)yb;[&G4X ~A޸HzA،(jIhSOwgܜfYz {\;+ۗe-n\"&\ TTfLsQ$7g{s u_u;JXn|eԞ$;m#o)9lIX)ݮB7Ce㧅pjqEV F<*'79fj&k _ǂ@ 2AK4|P71+dXݱ.q&cY`&I!ș~cSǪr"IUUOiUhU Ԣs1Kez"Y2Dox0 bl4aM6W(mpJxK آns&b!0i{ e|+k?DS ($M]u8DT5O3/ʼnȩ@)ȋڈ;6q播cy~LG*+\zA$ްK :ޏ+t~>XNc--[K /YaM&b >@cgp@%P] u:™Twui^HWQR @ V5AAjTY|+(#!R݁grE!dV&-s'QO,*M Hˤˏ1M5.0N̹VƝ+[ǼEn:|095a70']T k1K |ʙ90UUH:7&nڒHL3wň1뉡uFor7<㴌&&\ {T!F,Pd6;wZ gp0Fڱ߱Re2VJOd h9"^Z^sX3Xk1 P,Fޓp(.&yUƱxV8yɮ.X:DqczZ 3aM_<21s\Ë#N~䷑phzi5w3 HN :eK]>Q,di_/ zux)7"_~^3,M*s&@V_F},1[ sEx),ACUîǰ:0[h.=Ϊ2z f:KAxNů{*HL]# TǾD4l8uP]Î?BQ*39iN4ФqwږtdE0f‹zKg0nfs8=V+~ e3\-A{$%zJbox5GK9 ^3J{9{s_='`Эn%7OL6AIFL?- +b(^o: l/8dL Z90LuqJj8̀zs~HI CkBg$xa1lϢP6rȉȵ{PŚnrVDŖ%Z }-RxsPF]Z[J1YlI6L>2&L2v_<ŨfVb< vkit~a=k)6[AU"=CN{X9td ?ª5J#&GHmO@O٠Vu($rP z;@pwK9ҙ@ΑQ'Yz5a5ТJ0fXF7/B EE_AΥ0$ﺈk@@7oWG BEH&w^ZO-I+ S砦@EPaA{P/637TpSCH."'pKfJ"(54fA5WՇ Gý_L`gNyAB{nT]I{~nTn̟h`qZl*Mo@# ƁݫK3qc:Nnm&OҘF4];Q{,-|ثK_ɷh5 K`*S.CzH_%)X:<9 i+5ҿ6*Qz’^D0x0Vn2ѳ){e$wr^ ~v4rx54Az앞caؖ4VmAڨdl: E/Ȓ ʄ%':y,M}ŴC"9߷wMa Y?_Qm:E^EgGeqIc ӑ~<a\{9g2?{3ǥ9xffe{Al.Airo&Hh W_˙/ǩ 0?^vZv,@9xiF4ګ6#n M0z*'tR:s|n}"FH &+x4{ˀKmVM *0E߮Һq ^UyVhiUIՠq Q!yO"=5Kx c㴓g=0%I, rA aX:<+?1jp,.ы#|-϶i 4{/ gj3$3+j|/s'Yf3B1rLs"xKrWM_cOhk UxfUJ8f&%ßRUB<,0b{).1a^`pJ!Ґ͎R~U>z&q2 OY :km*/6;}]P\'l 3s0Zts Sdڋ3Qzr69笵OHS/gtz: C.J{ӗ\ Z%0;n& Qtm\D.Ϟ413Z'[(4]p<5S}N`l[융N@91#uk϶l~ NY0)$bȔ\%S󼵞.*[;0T` ʼG[QNi#~dt\@=ipK,p D[U14f;B#c~(gs7f;E`L1+~mFU"y eMTyϤ~*=V_(1;A7D0DT;! - m>+p ,UmYQk? ,Wr}0a= s?J7˝Qf^0xڅ!B8<$Qko?}%0#ݨKۦ1ǓP.=uyVj87T?FZҕTJ'EW79+"CpA[yS2=&Qui t? a+j/?_DZ88ĚN cRw} bΘ$R#"lͮgn{1uJ"^EK70^jCcI4I'IFj!lJ$Ù6mIуx|_G|vU~Ӂ1U>8gWtXC^ P*qxM ^@;|F|Hy.HO>mz~0BG8P^T7lۿؙkF)R3-G5}_ \wOBٙRާ~Y.jSF[YܿB|irYQwdp]+kO$?H(evectyCMsM9rm$iIZu;<% cr1M&1F I۷!({ތ[o@|gE i: WL $\Y6]iLM1e*N-݉H* R~(vׅRiJ5O֩>&yʭ!8(WF,g~^iξ7KYaZIv_%LePY^Y*܄.ZlIDpA'0# E8KpV{(É#ޒՋ'ʽ|Iiv_$hj +9ğ-Eb2)?Xq%uue tvF!!Jw}geLJA'M9!n3_"H\0~Vu'@L$=kVg$;iJ o\t9EYbϩ/҅wfdF_ I:@l+fU`/M)R2=4DdC=U|⿞ZWrq}l竉ۿxր[I(ǹLSYrD .\a)U2yXgdڲP К {zTotuae7mhBg(=CV wCF7O^>{y?HM74gޜ*Lnd"G"3qBW[1|rӷ.O@ :zGXC(MiPˀ1A'. t ly}r \}~inot3խURV'$3teWp\:X;c%,Dz#;ӞB|W6ɵ%&W;Sޘݼ{'LEvlZj ["Ɛwkw!^4 V_ <3؅_4oLҋAȶàQU7q”ReΌ/ 4jlkd)]Q_L:T-Yqo_ʹfx[WlsYE(oё涼G!jcCVnW q7tB,"08-Fܲ:RÔ |Ak3UEB)!تbh6 ? V )=v"zHP; N]A,M" gt@kwy"Q,hdt2hPPS/qmʢ$G)T߄cEw"8A ؝[sCO& {Z.V4'(*]>^&H̥ùR -r0̤Cޚ\~ m5,osbv0fIܞ]//D񷒸ѷ1{q5wm2־7ĎưV7!M`:FINs1 AoIA|O8ZA-ȭ$A)iM] ?(JZ.,\)x!o G洣(υUqh SCF@,*n/V јvοq::l)*`L1˳hC14_fe+oбgFB=! c'j:>s IxJ;|X^ QѡߦD۹t,S_L_z'p}0\U]Ɉ(8d(c2{ P,E^`WdbcJV|ރ<1xԢ/QӬ^DfrEU Y/;kQ7JԞOXUb|$;$ɦڲBшӣkU&]-UJW7F"N(٤Gb+yX]c]m@TvO`L{״z *8KR2?~ӈ]fEċsw6x7/ KشyV-rU$IwxbK>Ñi $ ")G8=|IۗHN34Z5qr5WSV)lG!u(Z*q4Aa_!\/ށhz77L[SvJ?0)^vJšTrThCO`}i.oArB4Bg[co7 L/3/uЧ](mK#|+.1a.~QvJ8C ;avA/Ź{3_}X79ʰ4 ݪNЇQA" ѕY5P`!$d_6. :;+@{#+^r!Z䢇}$n0)Jݦ1IEfqVpS-y%r8@4H˴q)v>0$l- 45( )Y+(:-vV<z 67G~x/nʁc$rMm7s҃Rުv#lD5Osۤv=?)Kv'G77eUrl1b,Ksa)i>MuV俏BVͫZ]`!W cm Ҫw g?ϑ{bi>t;[odž;nGTÃS/Q9NMHAYcZbLG;MgCmsOE8 U?@j]!b>@}"W+:e8R5Ys:'T顰,wJqs9=!Q}">֠l܃ zkhhu)ۛJMNBs'{ʹDa:)mƄ9^~B$JOUslʡ0~P5YGQF!{f t|)GQ&'xГ:лSfaxc;+#hK~~BD=^ X!ͬz7Q\#X(ޝ?OMf2<9hGGEVFB@]R~iPQJ?|Cں'`W\ :'~ $tZhٛ{]5or9fI%LP=鈡JrT%Z!{e"[7A/Z!M Uve™LBA&Cz &Բ@leDaV՟'.q'HM ͋" 7 yAN \A5+-` EVX vDg&z 8%CyfNB<,O0acp}؉zovhlէ? J $j9w;@붶>k2N`_pDQ3,AKO[ &9"v \<%|Vz{APeo>%m}Z}5>^x9#C΀r626/Yƺۜz>ȁ|]ϖ*BmXbk2&D^2Jl~N \4׉G @+ ۂ .NAhHO ϣ}¥1=^)_&1ܺQ L6 QJV6퇉MCV1/vcY|>ryW$G%*2u+ck/ >b R kߘU1 \o;p,:.X>"X]?.vxbU&s;Eq#'_u;Sh aԲ[`4n8g$DsqL2|ҞŤ Z?1| pi7K߁R,"kL )L݅%]7F"u +Tyv" v=[BrWj0Z ܲe`ʔd.+ +;a=\P-5N&rHPi:oD8%ލZdkxY zs HGcqIN:M6tQp+m{?;YNYYVs|38N+uվCL8Ƃ!?kjaXlخ֥5»)-qf b{ߡp%d01JSt!ɫ$F]%f<ˇ MwDG@ߒ9XtJb %Q?j 2v7"!⍥?!}Fa&(}$>)↱}=L *hF,^mž6Gc*#ѥT9 ŝkiJ@O:6:]Z /!* ԌFYs FԜ4|4t eH̃?-!W,MZ=EfRKѫl` bj=8 3()4UoE.LL *z:&`*&Jij80֯,L`Vvz3Mb) V[舫Tn1?iج,WMVY>Ԏ3=ǜ?w`7݃Jvm{uzyX9A[.({UZ%t\Nzmk JYr_b /ETc$H[xlj@%S|/B(() >$~JJ6ҹ{Uuq6]UD#[@N2 =B~c<7'DuV- (SEC?33\Ȣ!P],OBK*P"H7eχjE+k:X"| dko.7?*#H3h-SSc"SQxM>G]E5)P?ou> a=U^j[|d(A:8V30oxc<֩#<KahkESIz'y=zKs]@}Cnb븅FX9+5#,Fby`K>R/&tlJBtY6n,eb.u "6({_q"upc<X7e'4Dt2zXҽ0z3݀ЖC_ =>3߄&#3D%r]ԕPPh5>%׆F¿WPX1FR]Re{@GOC1;H(l*?@KCV/C2Tg4ĈQa||^+2P+{ݘBδN+_$` ޒ6,H1y娓F}(2o3xAg N(wEN!*uvţ{EZՉ#&,0BHOexL[QT' P;r$x~N, 1Sdb,ڗ>[{=seDc+Pf.6[2Byչ+(qx0}lx(,rb*-qYj]k!?CHnP kd3, 9I"*ǿ(6QSęGƍU w.j` u:/axKm駪->2lwⓔIm`s r16g DaΨ[R)a.33tK/%\$+;Tȣ`jASc8/}6VhC5lmA.QR[)Jն))iȞ|*aެ^b pU X ? k =8py `2;D욇Xoj;J-~/$:LeG)w#zrQLf?+-f~ Кq%ǻ'I5;w*-㕹yj&(P&$!/D]9R1®!*z_7V52R| Yl]?!W!.nM-o8~w)VGL~k㽷OW_?$y԰HUq`p$"g)¡,L`ox0`|`ː (iHr*Pol&kˇI4cWmN+ bbX\'(}8*GU>F+M(AHoev;6|sFdQ`psodvR0UjYHD(]|SBvގ=7 ʂigJQΆ<>?ٚ{P9A8eR9"ڦy)Q?^5]NZDY4^y/w$e_νWZL;y@^/I !UN voAq }!fTHkv_9JV!fƿ&9U|: =g㚰j>b81Qrڝb I9xj[q1@i\J/|*,N ;uL [1 sN2 MR;w^Gc"3C^*GKx@[Ը8R]G 0ɕ ¹%է܄>[DNSߪP[GJ䅉RI'`BSGo!d ; ug'eou!7Xy5m]閗_P0x/? Vpr\|Ycn,_!}V…{`=OhUջ:[OhBYX~ EDܝRS[ ³ޔ&!}9fr|&t;\z:]meif 2-վxC,9˽9'+6(J!>h+>IyٴM"#D7+-qTqe_Ζ 8l*OWӡXR?kQcp_U.f8%M@M Al[(C`<)iE&inl,6}qe^"谷KF7XnvF)Bxm֫.p#>uA]Iq𨷶.-5l`T}-eZ½VK$~Ls-Aݚv΋)"-`;qFN 2&Yć6fR~_G%@~囮㧑l[GXn0]bMmgeL^RxױOcQdGğv|;9pï9YxxBO#H>Jo]0<qTXHS (Ot~ + TͿXZR3hHZU춱gYZ AA7 1?# DHOL-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 ٥Y๊y.IҚT TFc8LĮk"ЇQdp|7[lR3? Xv5h>AT >I3Nrir&mH,wmŨjS {NuӎQݫkY-]E;5R徨l fa7ĐrUdM~p얦e>%T! 3*uH1ZLF^%x*%+g}<G\.w=:]Ld%? p2I'#Vo=:zbC~|Y'[0V+)뀏[mW\*s~%8(4J99-ZRoeֵﶛ5+xܢzb E3y50瓓!6"XIr s[pPOҦs-5kݮ{ [ʁ98FYGIoXfAE6S!a%gy8O/ehZ~?gNoh'k{ZeX`d'Y yrGڰL?߫y aGSn0çtG-u7"mrwE4T +r sMy2.R2}.պkx%6d.s֭) 氮;S"Ax\h0+d.fxs`'ilvdz0ұޫbx>"Ƈ>˕卅we%OBTWu BM'A_yAϡoVnFH ߿f&4*)ӆ (a)M*w&^ LS_\S{oP5tK ⋤g٤6^(ja>s< G31"Z,j2%EZTAN CIЦzׄk5L Va q3DC3ql4w19PN1y& M~uvq]^8gF)j, *7hvZ w6m.iN5F|PoJ{=g-:tK$z1#b= qtsVLf*YoH{"]SU*Y 㭡c2+9@ۯq$)bA7dJ2_[DQjِjL'\FLfeoKq7tr"qpp?e)?M$Bm=CtL*-FƖ6&x\CILugM(IKU>/EU}yzt#m8T+7n?*|r_a'.X$|h۱H}vԖn}@,{5R Bf|۵pHaT-TEmPݰt;P+OL ZTK+彄Z0b=%..]E1_֕E)U|nSs}^wȋޗo$.~ ʔ kXזUHY$zn zt'&%hA2- 騉o*dz; XFE,8บ|G6 n9Hѻ 6 TK 񆹊_-4ŧzPdXd5OQQ"'j(9u%%Kf?9Y6qZsoj[ ^=wpm.ne)~nPt*"*&ek g Лo˩Ɖz*@Q1+diPȻ\>զe~[ tSkx+ @_0:cvP+oNɰlwxJ/#(Pk"-eH:\Vq\j+ A,ڒh}],4GNozf*PJ dy %ś `J`mKk*Bt8 E~% U+c%[&C1o[U)WgyKY\sKz8p90m*A(dTdޘ nygQʌ͖9yt8Js1UV飭ԇEsEƤdu@Ec" =ьF UWċnwk8Fgx'nG58i1vnߜ5|DKyDSyp@iLJ&S7Òvr?=^˿lq12Ngĺᷲ0/n^1loPUG*Yi&"]Xmf>fEfY.RR#c" P QQ,81?' dHOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u,]D?7 {?:fH\y5ڝt$PuHŲoU٬Du\?}wzl.*V:↤ ^A1h KJ I*F:'!6:+6qpZ&/ccTú'} ә =$wtV^nQir;%wxz.`74-- PCNe*⬞Hc MY/X0u?)VZCn+l.fN,sFN+#NV9)"9w}4:Қ-n7L"r_Pc}+VnoRY. uHkʅRlM.6AQ].)K-VKA=o!>3ı<v]5)SRϯ*Xү@]+Am%P+-T5z*-ޘM^ wn#+se[AgLLj\u7!HMǫ6u\MzP@RRs,(VznF'($CGNI&(c HRK\zڞ]q'\!(j}!ܭ,jdٙew}3zT ; )K^ ^37|yL Ld# <sb+)j tX򮣝9h( W$1 EF;vC=/Fs2ɊZI*.Gx;A(2cX(t[`Mκf2^e3iP{7q2ּ)(i|:S#vPXEu$/Z}+NEU4CeWz }=)O#@{j6Aϙ-#Dy\IlHGMcP=$&i7]Ujp(~ZU~Dm"C̲b"}-Gm(me4 {uG>T`O2&-|BIܠ (3ԍ&Q!6he̿op3t-2GC^/Jߎi:$!>'Asz\](rj./,(օVx*.-ݛ (l YNUYj:Ȟ&O<:YgYZYYցV}z3lD!͌p*\O@f}Cr܋hW-~VZ5nr!9T|ж_̶Զԛ_6So^:stu5X}g6Вħdͺj4V=Hժ2>U z!T bNI&%K"K& w-/VAJK̝ Q'-ĞYH4 ͙toP'PTaPfɱgYZ7zXZִF! 3]ŗXiɟ1$Cܨ }X 6^vWn p^k8huw9Hy7O 7 qk0vG >M*0ix:U%)"ibSS}RT> `Af)sGHwn%>N:}jR愓ppteq|Uql4Rzb)e0_]9TJ޲ޘy=l(͐Ҏ 2nfG}&h%t6&I\5(bBpbƺY+_kFI:tgYZ7zXZִF! f &]ŗXi%pjn߳C2,]0VyA22Oˤ=y#`$/@sckwp@Xi^U}X$K\? Wu߹򜾪髍[5e=0o=vmUbP-z6mD̻N3ޏ` 0Q4݄ l ~pm1>W킸krյA4w;e0ܧWZA 'ֹIjC;tf13<2` dILG\PxғC<`>D<Ηdz9qځ8A(Ogw^ZbN0 ϗu+s,n*'y~q$bPkFQwdgt()wOZ׭{c?dBh,-=#Hy7jcՒYbn<Ì4 >}=E">X[#nbhzv KS-ҾҕFǜ&5I믷P;e)p ]0 %@tg2G(,G 2Gs}|uΈzt^ًl^( fQH ї^5jTO^CشR˜K|g߬E0n)R2E釷}b :pZLUЄf#g @}3 \7 fXJQ.dv5hH_/֭g=?w33@J^e>pBpM}]} Ç!DH`Ÿg\z;]fb^I):Q4^n"U}a8)#wXpr!ed{ܢ :m(Zq][bBqx f#1,+}`e1*#Ů6 T1JHAYm*2 \~?k؉Ӗ|+}I+cN=Wq1PD֦u4` S(k<6aZe rhh+1UMppF@O#Zsj݅l["1D8ƹЇQ *.?$27: 2:DLeOAQBVj