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  % %P1tl|l ] HOL-Metis_Examples:threads=6elapsed=17.180cpu=68.284gc=7.4367zXZִF! ].]ŗXiɟ{H_ L mK{Q!sB[lUK[&vI^yӇݪk7BqI%2@SY PmhMj Q6e&JZ/RmYP_X,bUD< +]B!J#^Ct6u)>f;s4<@a^^ژ' ьEWWQ1w͂. 5;FO#:ڛ[v:O b\W_ۢPJP.i5p@B!u@%*i?lʂDp4rxH&S胷JhUi֥ H9픛Wuۏdw?!32L\uhv';f.GJ?0^풔;Y 1 HOL-Metis_ExamplesWT1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/filesA1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/filesM1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_idA1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex B1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex@1;/HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.texE1A5 HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex   ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7tQ.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ MM01I= LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex7zXZִF! a]A-MՋhvG"uIBm5fa1MI[ta'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ 1OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ  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 L LB1OC 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+gYZl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz>!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺ3'{cݿ9"JϚno@Ԅ5CM$QZ\ƀPÛբ;x<6@DolwUFyT ^S.MT*D=tqM77D7@4( vs2E%8@%&=BO` X[#_uQ Jsu_ǽ:C4@q\ѴӈlJ\~<2;VsJGm{DoZ 9)?[EwthX& Z𭎰7)'j4=1,RF)u1J²ឱFF9(1Fɦi>oN~ԮVCWԺ(Z֒jo|YaxV?} ##H'7Qy+zq3RGpPC'l1:MV p'jKeBft_AW氈HvCnMT㓱oAEf'pҵ+Xs#"QX|{ bZ #.y~{ŕ*Ɇ<{:rE_v|%]';%3_eОR3!}ve;y x];( xX.p~̲o=+΢oIU+C^FfI18܎ C&-O3283H.z/.Ʈ&Y %~A9΢ɖG>f ƫskA(EwԂ7j^v|t]yHN_#A}'͖F32<\c^m%'0pN3*]iri܉sY0 -{etea2VdsJEP6@iBj,[SZg~-Inv}<S X`k֨X̿F$0Vnzik_چ@+]n, [inlw bPL`/B zgj ǣ}%sXc\bӑWAH GعSNtMe=^Bwjj4:_%{@HPWW¡2M:s*?dx. |:PMm8U²;MdLaW:iblL7ޱb5] V٘"1y%'m p˲7hMV,RZV?AG3&8D3c$DJ/9ԏ4O HS;ΦD\%K8Kvuj(!mψE0 83f`Y3Jp ǯJOiL$pRTO G jՏX8K?)34iQx:%>vA>b}giGs]3{`m_P̑MqjK0R<@p%\&1v&/laM7϶,6 g>?C eyZaCcN6w[`7t:aɘbwVqQNr?j8< WHZ @,^d};ec"M bswka3st_ˋcUX|O9S;5ߐ39k͕g~E/Ԋ]K641M"I@8c;#/4_$`MN|"z?r+D=ui?XDE-$S!xp}sE ܇~Jӕo`1Pru88_KxDhtW9wDZ^<_8CkNU"ō3R˲E816)' pQ,5`8hܺ <=U!@EhRThZx:<g?`*?+ @0۵˸\{,yv,j3W#QAp&͖ Cy]gB8-sMþ]i0Q.1B SZB>݁Oir\gYZ)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!Aw d s;F-~PO2VLTheƧ9J%ctQW"z(>A aðdҋ\ ݑ]jM;;? f`QCnH:b.,}M5"LacCꕇ>$Rk>9])]zK]tI{2&a~ɪS7äK37F!z)-X,@E+oxΆ2zjY;iR #Nfv%xcxF:O=u4dۭf! rA1Iݰf'7+vz,|s uɬИsD zקK 9zL_ARɁ ȖNl0U2Q82.!S[YwbDS8o|wv8=$a`|L" ׼Iz1Oe$_x)PF"' 1,deJWK+ c1_hEl+c6{aCj$ a$Qb^U#,,YoSN9\jtp$(-*ڣx *DɅi[\ɶJrOg' ǨɁ7?pHw60=z[PM한Ss~+u1v+! pyn:> #q܋gg0qT=O|!(RR+@b[_&>=Sm{~S/߈ln=R NEe x*dұDrh@i42 H15w*Dלas0coPDܚ0 NQ1؉XVu0QMϩ2m˶Lj;ŎpI^ 8[䟱V^!!vN>qֽzpaÝqB0ܑVVefd|}J@aDŝDUNi~xǺ*`Z4~M`IV2 Pp$ZOA?C{9ڧc/&'ym }ՖZ+6YLqQ&aMQJ")-9 KL j[Qmed`,֡˿¹7*h  )ͤ&@z뇾!+qVUΝHy v,/xNA|Fh43!0ɭ?#@x2"J#~+x lQґz ,8<ŮRr YdxSvr.;ѷ ÎCr!Lq"/hFd1'E1*Pb7/_,8 UZ vI=$搏9%#a^&4"d2]un̆ 3+VUi!ɬwZ__9m izo0/?JyDOVC~ k2@-zKUH[3"qL/YЇHQ|vmK,$f!?9YdJyNe^ 2%nG!D^f n%o)@NTU< { yŇXZUuA9Qvm`}]( gząB 7'e2J/l ZE$gbn3c՛Q`Zui9o%ۺjSWYKʣG1JViwb]/z"MBi+SqVk$u<ɭA[iZ>4xAȈmIWXQ%85j#C2UN\ēN9/D_):F@ }~ i䟒Q@<0QuqqW'KѴέ+-2!(lb9c-: c/@ꀛj&ްMĞBLe(]Ѹ70OxN^wH\_ -cnZb9û-ܖ\ &.Vt~i[)p?5eA=vtsKv0$+anUja{S?ޭԧ{]њ`@-qnin)z Ej=ɟ23b#9HpK'U6DCݻ$ip!8֨2nl4#Ku$* jB ˗+I{7l#L9kh}+jh/h'r]$2Շ SF!878x[ BJLKR"޿oz(,8!Xdq"]rmgB@p pdBL3E;As/b۶3䵲fCVnj?)3sK=4_?$r] 7BNEo`PTGB 9} ^/`G}1&'6t&8XȢFURWй[ԗw=;Q{{%] >Mr9 X2Kv5!4Yt Rn$Ӥ*R;VU?/mo]"O94ү@ԆM5b$Qjτ'ʒ)h q1g7ZX 좦mo銘G KɋRP=5*O(Ge,P4V@>NnΦ!Ѩ -jsN "jG Oo9:+Rp r68;u_rdAe Ukm‡F[XIvAě(a,xHvpS]3"v{ı9-+q x0%49uv%v]:=s-F3ro0ʓq@(`(3Bf"Fp='}d^UVeݏe f>a'7K&龖fS +(p^VZV,nvC%ڰ+'2~r2j& ,pj$X:kO(T!xUb-mկ&K0Rwd)O{ԭ0|g\ Vuo|8a29W/+k$a@#62rWά Uo(|I20S4 fioo,QZأ,U^Lq'(8^k% ZDH8&!$!9KF(_!B: b'E򛟹rpB?h]!=4Lb6<ɗjS4{ȸCpZb:EoovhL˙saX[?H(7ě|FDѨ,17 $3 H\]!~ HYv믇¦R0'{~.v$7KQ3LڱlHNm)3q0zran'r'^۾*뼮_l TDQYk$:>Q7G҇7Obm8HoׂIx R=p?\C}z?Vm~ ԸFC l>\ER3sZj{if^!PEP% Xg$w#{+sEљ*^NḰ!Ģs`d8S j K|r; &g&쩳/ED *ޠm|QO\ C]NcM\ڢkzүWq;hϪgUT򋂾aȁSX|//S3&)_O/ ۘU2$N52$ؠjF)t,a>1:6eN"D¹3ߋ|CJRN /MvpD:q5gLxDY:at4NyB9ޒȌW /gP[qvιNUMPTZ /ݸ:"{gyĒuğ8 @*mUR<y] >aX+wk  kNh(7bUe~Qzk[4Uu 15U#dO$pQW7-{?lgb7:xTO6+$>H<A]\f.&/kD*nf& {QmΦaQU91%{Ъ)=?zF Q` ѷ o,8!Г^Z.Qh:r՚GJ>SUJfa.D&s 8eϊ ,0fA 1 )5nR[rOK*f(y֩ OV*ӺsYCes%A\*U!\w-G9-^}ǷٶpNFuɨ/X=Ǐ-H 9c. `*DKf9C($0f&jK4biuu SB|Vl?kYc&qƺ1g|\Po8D9f,%|)Z\5i!g1z7 s&Zdv%g(%ʇzmjH RN4Ox_$M_AZ_ni܄/ m| ];v4Y_6Ļ|I)e1ӄi'ـX1jE{^n䲭!EbR=P~ħn+; Tw(nI kfrH ;tyy3n# Lpγt9cRSk vjC;*&p0q%A+ktt-̱ydEJđtK@;):#ʜCkmj@ቡf"& xwϻYQ%`}E,xbdm+R2d bU e)We,\u򖠩=s [5v.&mTД: ys-.FGԧl—@73V0 G~0٭u~fPo*[>?* Y(MNkՙ~!B4wX(tZabQeIVm<?IX-yj?яz\Ok\RNH=yQqnj/U폮&"JH65LŦ#O}!?{~o0:4LNǟ I(՗R=c,srgloEM3hV,\HC>k`G^j5pLhiÆ-žq:,6/q{㮆0H+M}^/vo:y @2"4F(Gco8TLfAk81[tSLfGآl?2 L6M{Fv)6]`tBST4'Yݺ@p#I7$.c{wՆNIBbfqJJ94Ȫ)+o6zpHpLw iS7n[sO\b]Рҥh&5Я4@Er6MdN*tk9|%J8DyYW1\I!' A(]ϑ@.|/ws$[6MB&NXJṋ{*7H}5Њ4حZRèP4@J/dr> 7vNz(T)DձS]ȕF>N`[֒ Ou]G3 p6(BsDѵPBRY|py^ C%w O-C eӕDrTIzlFކ?^/ҙM16Z_fp.0aL_{Poj5^;co皶E/\'O guhHB8.Ϙ><]6MРbw1s槵 z$WaUN?.e&`$dk[K,;gCtx ڱM` !Y+gk*-ƣ'Dm1юcð4s" ̊c<#4mGbu xAu $o&.OBpO9^q0[HrWa7d$Z ôv>,RVwTmB6Fpa6`-?(?ϓMgħjU@$ֺ߉捾5.qt }bbl.(V3-iew<81C.dMaf_TOݓB LI:ichg d;: [ ~|KvmS?8uICbj!`F!D]HPDSٺ)RgFI'+G||\5+Rد2Y@+Qty,ٶݡHX^rc9 /:K=ZMw-^,YɉlR8j}EQ,,zûmL`uK`I[sg+؆U!ߺ<Tt=i+ )F2[Ccj/@IY2;(3$bڼ_W. 䣲P5̞Mv]I/ow+t/&تX5sviKvTaM^ZAet*1K)v>Z`g+&=UyW[M⣡RE&$}7צ5dIv)P]Bn;h4W̢ P]h'#vS?*/6'5+q&-"ӯ߂$3, gcmE;Y`_;y*uxy^ $KŕB>Py ޻Mm#m2bK;KkԹ).N3bǩÌ({ox2R}lNſu|x#.ϋyO3 v>]!7ȫc NRKY: =spiY)WݱqgD3AX|U,NN `fp443n1lGz(SL~$ G_sm,sc)rn B/إ;^sBՌDkt Ĩ _ h{&W;Ή~MOnpd2Y:|(X:fW{bvtv.iⴡ?^v YEE=ƃ?ɾW#h[XiA&T/fLӯTP&DKR,8h#tlr%$+A-̂RUڢ#5GI9|FmLSd$Jo]y+bgH!sq^JMD:kL4M)xܪ=P{uTN'-Ejl!w2w#=>Kŵ =\Mx+0#/8*qc}5[ϭPswCۋ^'nhqyfT+j?d1d_+&k#yaE7HBq SCdܺX_ :IʵQse@RBpQpݎ3,ۍRWļUƏ>q%^}sOTh_ESQ~N斩}߄R_hO*Џ(PΪc1PaBɪV}EOa Q 3ńJ>A ( T@ťYJ۔ uAolK KެHʈF(34 DI HwaHmX;Ȳ@,3>YX=E\6t\Ms.XQ#.>;l"-JfQbn 1&+JBavIԼSλ: ^*|tjI3NURּ9I!\c/?K jZ> h`B$b 3=|B]`?1;\۰|<v(ή/\[OI:P0nib`Ys;z.`Ѵ9̥M`ZPf` dQ椅elxn6,98rL.N<9-0i+K _X9:ESֳqs'XMCj$4?=!07VXNɠ,aSHld$7Z8u^HbPU`f9GUl.e0TII6}*)|^!&a9DŽG¤6ߍsOew&e9ȹ Y6zS4wrIW6I3nߟkJǯD`\o$y8ގYUo]q)TV;$3ǼL-S0tlI93޴NI)q 3~E!Bv5+ꯐF; Vcmq=4 \(IhjǦ!2IXB_jvpi7'3 7kR:^ЩX)% h[ ;Z>}3H0AoU}I8ccʫ9FilT̿ g-Y 0qƨ픧7{R4L#tWSW_s$[z/e[ Izt{Cx0CCs" !!]l);)z3DCS.Ep $nPۦ2$LP.Qq+62Ԡm{vhq,mt`IJA i¨.v`d{cb-6l>vW40m*+2׌ɈeC)V;s=vu_BWnLWDg7!XٴQUI$yvsX(>J!ޡjِ<42ڝ[o[pAԈp&xj | _ x`k Ʋr B[$NH`ɘkT>#e =Wt' ܹmQu."̒0 IJv ɓڃd%.q {˗A :~n]dXXt5N(fi!ˤCr@x$ ܎nLY&nzaAW4s%(z ÙUc%j\K!S?uHMM^ r&ϗe1> FoJI#2ƌyͭd5Jn8d/>A^F. !`HpqW|~ =Y@ ^/v9;xعJCкDI[$πv'Šp/ ft9}3(.C#ʸwptK |Uk7v DEqA ն{JSi,QB^%\XVAe{S &\tV CsmK#'nsJ.9kuW iCŽP$uyUOByŋ0%GOԖpEcASʤaB?^ fZVA'bh+4 7Wm>YF?C ݴsa9=My)vr~墶#o@28.uV_sVp`Dp?l]40X%#S o+OΊ(s]]";o1AN=y/]hZ3YI}WA{5ujl[MH1=ra~>GAK-X ~Ԍ(3y. s .QvCj\f5.zѺl[᪶#-vw&*&ڔ_"8M{杷M"?hUkImQc`0 iݢ ݛԝG㊹tWS<ㅘLޯ] ǫ&K۰W g^+ K +<O1vn93@O^ݸ=Û7ʚJk13gUt7MV{f&p HҽƆ,vNy ~|*F>eL5Ҡ("j?ɒ<ϰm8Ju(aTIAP|F1˝u%c0,NXZ0@OGN`Wy(O0.qOʳi SGp[;a?\Nq 7 5'*wIuF",aWRMҨ^ZFL82X*zI5ˉʥحV&pHC"S~[=l iқs9`VNcO7ps賬@z)1Z2DX^dR bJNa'¯, ro)o.)c/Ymᗄ޵X|UId;*iât$W~?S?7ޙV}E=ߪ7z<325tV;"lZߕNTp Q)16zcg} myqn9I|'+,`|>d b=]Y͊Djݬ5]8ʬNEl* rN)&[hڟ]1} "pyL4FټxLp[PXJPKOWNh7i'v/{a1,'.0)g-s#S=Yʣ>qgXñM5J!u|рUIy(Ȝn: g.}y~ zEUV?#9ג}#Sɷ~|Ť E(+[5[,{gG~)ı\yI'X!GlD콒k'eM5u4Fv+n=RXι #Ǜt7JvKJ[51868ɶe>XPp8^BAq|cu̪eI~M_b;_HӟY֥_fݳEGꤱ>3C F`]nILcZ=q{^8<;O_ G7hE%hղk%u@Y-\*3t  01l=p@V(y9 3d}0~2x;jt+8rB:-ꕩY.M|M Qa F?<0Q+=6=raAچqQAe??\m'TKD7 PzȊ-U Jb 7aXz=MYæ~t f1Ֆ \ T= t@ʁ\m9O.3/WjԼmdg{tf 'TٵS lo%"f)B>u.\RQIT0Zaf>~5`9OD -K%:)zʛKS6f_,_pqftZ}r]y҆P`maСXS5ZpEvISqop>'M״ɍ,_ԃy`Fɭ|G8"qWe6u~`͛wJdn S95]t/@)l ."Ƹ1p,QWdK a3el0O9ifh~K FT[T??@_ރl(zQ 0F'X]zW&MJpH9DO$m6XjSKAеI‹zH@kE;ӵw7@ NW°7eů&-8g|$aߓg91/HpW;wwë[-w`1ūcͼ%!QiGy: +)o0`|j=mk<3\Ubjm:="/@s]| sabax({-@a>1p9]0|: Lero%b( >9Gɟ`y\s'3A_P8Jxgttsq(D%30D̿O@y :^+ʶ(Y_a @j٣!)Cus_@xIy$?;u V4P^`T$o3\[**@ /$J / dǠ/5ChL mYҕU^f߯.wx'خ%oN.P+.>x- 8ↈpȈhlLv ɍ|ڇC^1G#(L?h!LTW ?ƇɱWg UxjU}g̸%l H` w6UW2[ 6mkȧN}Śht[]톂5_{^a ,$$%yon[bz6(C.C8k͕7f.?X=$~ׄLsw ziה`F WUm[:P2M¬c+<=Vp Wھ3y ?yOMaF'Ss-Y85`,~ 4L5ȤDR~B+iN97Sv5vUOKvѹ45bp8%B#g+P>|'is;J|XE[HP?U2xϋ |‰͏^FCI7,\s?eo /u/vLx**t'_4RSø1iUw/& U8e ʝIwݓٷʄm q%&XOLj"vNNva[!8S>JQ=6%t-Q5}=[COaIr>v)oX뱙y8EHE[Yy' c``#^aHL> Q+Dhb,&tPI` ZA c(rziU q;B,ꦍs;_X|W7^W~?U/XHs e?( Fg)j qcOa 4]a";UX ^ɤY<E`x8-r}F^^MR?d KeDwe='$LOFpnjoatRlA-=Īv\:Z@qG*n`t`:}GJ[`#Y]䧺ICt)̪t rg؆mf귂Yi8&뱦MB-p X$"fO\;QCOxa 2Mc@Ldp@F F1բ)48ZH Ns f̰XeP W`9%}M^>^r56Umr iMXxbSSq֢j(BgsjE .=C)ϘI8/zCbdY.pd;'m-##?̕7H'ރI= 0xqaۭp_5 h/#.sҶkZc GeM**2ʼnF \kT =cE[tv96成-t{oc1["̔"_R=.1k6tÑD[ NV^&6E/cL,!k8p@uꭇHuB"g+@YAW;$00QAL_/K[r)Z?t O̚h0d1h>.CY(rE0wIf$!b 6d*24L]O aprx'r-̧CЌk̰Qt ϒDfLTܐ¢kx4g _sºnYjCQ8:Z>m{fgɿpw6/x ZfΩ{3CxEn(!Uި\\φKq?Ǚi.P> ; r;}wYM2B R!+QĉӍA"S ' -@by;xa60)UWw4F']~6+p[GK# tE%۵[7c֤z2f7XU@M"}ځ+]FS_t!=C`4(^ZJS4Լ/(&omE!hWI^A-޴u9.2'f*R?rgYZ 00j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files~~/src/HOL/Metis_Examples/Abstraction.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id5141A' ,HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z " Rli䂕W)FtZ Q6y00s}tPlY:DVkm­zުcFm'/|x{SKM@oD5[k$l,;TXTyxgubJ LE39>@E \.+K-n Ĕ@Ln;>9̗p5e.rǒ2L_0#(e\\KguIiAѵ縸X,̙”Э EQ lK_r@dmc^q4e}1 IяA,Re ֭ [L~BDRqjK5iR{ܓ7y4`6 r^saɭzV×Q씜^uA % j56%}q>DfӘ^p  2S*a7]7O^O]⎰}sK9+I4π$ggM#ҾWg,HT@5K̀T8D<~m||b( KKE)wXA*Ҹ*KʤU]t7uKqY"́ح ,y"+w ]M[~N@MDp|p#:!ngǿIyP\ż4AdXzpy"BۡZ6IlKhnO_\i"}my=JjbJU#+n:g%UNRauFqrq]V2V-T 6@ͻL;i{g1!4_ĸnwޡMGru_&`2Z=Mqp FA`Ф w46"ؖ;>&F1E(¢?怅z=$A68xH^> ADpB8; <,b^@e<׸_!mZd6koI#B②F_ΑV `) D zʱgYZh 1A# \HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! Yg]ˠ)jk2p O6LP=͵gl5f&DffE>y~mM^zjȜIUrH2EDiMák!{ug;jwLD~)uۜ-3`YCiMCH􌊁I#4H⴪Z@<3 ҂ G®o+kfIgS^3Z}Spj" Mά#@-yWIJռgY@#]-g2G/jp6h[`AQ }UfKZ͜[ħcv=Eܿ2y.a-+#(W4* f=0e}sI1P鹬ϙd`wF,t"j-2aKSN):[L}]֌Iq7QFATN9[/uߡ׃phw2U=S佗)2}6P'Xĸa `C/@;@v*2ΰLE2h%-u̜ZZ;d/AzKfx`}0:Tc]f2o c73 G@pS0(o]cZ鬜\ 6ԘI pM 6_#(-&^ʩfFU2Ӷ gooF&).JmU7IW"V ([GbtW(EJi?wq +q%ྪޝ.#0'-D{o<ЌVF`:fCr#ĺyD7YC6c4u=!P*Tb}5'J S$x5Mޏhhf; UW)CKz_dIXqU݃oI4_]A7|&H`2Uj}OUٿ?)}ݜlٚ se2 t)}Ii\cQRAW*'`2z?|HXS77'cJp(S=>X 9Y|.eD,J1^صţ1 (p?TW@)7SX@`]c"hN]cd=fDȺ>%>`}oA #| xЋk0(<[ 49L58(=FoOuDw,giY:PV.MΗKNn+w.v|P/5Q( aNyj2fvc"+feVLM!_ng`=ѤO,>Nkz ӳeNHj3dfLba^ ZgoZtTg5;ZΈ k S$J.+ cF9;p)c*+kn*x1S<էU }2]h s(#+EhL ~Bbڭ^$[ypC:3x /)e4N$99C8Cq\2?۬֓?uk`ub޶u@3ޔRFV3>WLu&|0~"CgH*`5ª}0;nb 6b ,G|&K B?1ןO2٪OhϴgGW|Qky׼2?D`N챫[0=L16TN_.r;F'KL8[R6+-SAE~'k!fY-`8+ zvk+i`b\"D/ײܫxYxdq&d0q$+‰'aƱRA "9 z =mϏ>…޶ ;~,܏@Q۴=hI!vdcMs|弍!w"$!Cd&1^0ĘVmCP?438(qgNݙksH{0r-HaR@ruh,_d`X[nvx*T%]5HJ,*6aȃcz icqop'iCK8bpZvH\N+X͋ HJ@/#2\fF4zT9gii9\,#W0|1́GڕVܟ{v0zݚwi$֎ZQU:RhWX`0ҖxT T?AجOfRmz>LR5K%BܔA `TuhuC'=H>2?(_]#Z=0+9y^VOzI#ӆl-BIXT'm؃?5mi_`(d}1੽3A ! Ah@bűo70:T 8N_ywcRߍ|`_яi aӽE2lZup=ލ$cu4dA3_ܪV+=jʀgoaoT&|C!ءި#CS3­\b_"(ROKPڍ!Xdib'U汾#o`ߓ j$QI|ܵB1\(k6x3YbG)clrt/]hhj%T2?vӫYGNƒwIm;mJ88vUuȾUf?2T[ZLڿ'뢡!su ?-(4xo9HݕoT')`wP\(d +-3uLR7yXp:}v4M__vD&3d6R8fMDw5ƚpyۉMy,Vܦ.3YFUz۔@JRhVly Eb> *lvl@#lsMkT$¨0r|XD._WWDzEH@wJT0YKmIRpg&7dt̓U(d)Mm>IӲRķ{:nOQS~19_tfLg%IBZg-$qm~32P_{}.I%C);c_e˗8:kZ}X$*yw/8G~P Iq= SVm_h[pu| eVFѰVdx!$ j.vGO!LڼעuQD\$=&孇 ߓGXѦ"Gr \⽳PZ{хmW]M7q ΪLg{Km-ZG`6g;<ƪKyS =QD®`Р7t̰W΋ XB:d&GSLo4N.~Шj.ǯ$р0ȶYq-oTU1ɱ rsנts{(k%|kO⏜xE tbGSR_{|}_򾄞A1e׼gC+%~a]͚ =%zz՜%N@Əo{EAK?;e}E~^\l' ܨ!Ys6=ur8SMqlP+/9kQxů=9g'@vgKPj, i~Sq8-h@~ed1Ep]cβ=NYnƯwᮣ 0QDqU茒S@74 RS& LP0u1Mm]9mq|ω~>Uc>L.=3ռ.zg9{eaԉha5Bɬ|3)mUKlTq|-"Bi~ a_Ctz6X"v3bOQ!*]ԟ/GGG1V0PSlZAP| n\Vsil4,SRK:@ 3x&Os}JSd%C}i bZ&:6Wk_2i y\ b5~vDݴIGdBJI *gۭDy;iɹ"dN j&E b=[7ѮCL  +1f9QL 7A #$8!M.^y±vS)`~Ό#*Z\"{QHQIQ0#:ͦ8c^?0$qgoP&3jJ'&Kog܎zENQ#l%kv@eoUӜN <>g7>+ QsIC:r7͟A(jQ|ҸWh*'?8h߼) pqw-R ײV"I>֚C~G\+ -ǸbOkF6nfXmP8Ŵ~b]fFJ#iF}יh\(5E MH$vI7*?tZ踶2>*_X(ӧ ߊq3{.\՗-,y6yYRnKFۡ_M_$-9zAb#SN(){]YU@@WXQkھ,{Ց7`a^UƚEc!X攕@+񊩷}?@}s_`TxZjIkB^.8KկkC>g=6ySYz ɇ}N '5؏SS_ sQQMl@~I `$\E:m @.:LUU &Rw QV Z>s"L* gd|k>ޕev.U}T  I$us N@lB!I Abha_7( B!vL6 Ea {go ;Q*sVT =7ȌP;5^}Ҍ%Pԕ9 & Ob]LЯqurx7ogٝIG{>'[t8-D_ٻbh0R~I.'x3[pX^%-^%ʫ5W"@BmsY|q^%֞͢MXҮ-4_1IsYFRý"JK\qn7#x; m,*i5sĵ-ʵ\4j] Ex.34CSB,8ؤ$O"<} ^P*/m!t~YCjVȯ)ٮ{u})Y)"/l(>F +MI?"49%?2שo1f:fC bAtm689p?d||qbY0; 6.S0X}܎\O]_0B a+!zT8M'!y;.YF;zrxQJΦʷiR+ Nv7UI-ǭ-#8[0}T{g"P* t Jn,]`[j* w.tC0V/‘>t뺏|- `9*: Tڽy@W'x'H(BZ"vz)!WE[$>BBr8nnkuO%ĶS=!/1SԤT`imDmXWٞq1wl|}]JoAEWQrdH?gb.85S LtH6SGu|T<%y(Yal=`WslH0Wa[e{EtWVɆqaC; -Qgqj2 kȿ؎K)>E"bi h; /Ϟ3nQY^)3[IJ~SBP/hx<>΃tg[zEuw.C<ڐg~aR'rCh ;-/VAemD<ڍvsCJU vRPS Eb4 1tkdJ#KF;'L),yT[9#71&U8V(T/i)مVBd sÎGL~Kŵ6sj6PBDY\0 rv'׸O?U-yB8ҽ h.1c@ !ti9xqBO~mmyb.vͨoCMZ3o,;@Bklbh "[5L|Whw($}pN *o?IÏ1XՏX|NcufaXa+t>F騗&r|igZ6bsÏ}:mMxަRRb}r;ꜧΡ퇺%C _GA Q++يx~]= ?#fK-l%>~Յ|aLtKv*h}4KdWҊQ 6P3L:IʒSK;%,U 19ƨVbwdMYx?m.RrOq[G-*0Rw]4`g!s̿~9רtA֣Z{RΨj!}]rNb@L_}7 QY1V'uP"^Y.?SibG{o(7DuSqA?uZhŇx| 35-Ea^ ҫܯVSCkwG NAoHAe`TaD'7;fL﯇= ƓBD*|'r碸4`Uxyh=ȉS<1d һ6셲oǤ'E`L@4BM\^h jʎS$>s%I:rxu_̧R(H> i`W4`a̵`w"lQt]˿ZQujŚ yUY-u@3(m/^Nc: .UEo#|0feں3잉1Ƚv[mjeO2,kvI=R%ґ~#wU "an{!_N&zCf4$}f:Nkh2rAȄ#׺$N}j[zUcuRLH&",H{_>x&}!YF]台VY7O,`-\F# #{|Lw'[نv:1 2@tD%O+ 2 NQ%/_8RG# B b D@^Z"W,/gE ך*TY68gl:AkzԦa8^@ӎɽ:';VHSֺMc!ov|AuYag gń xY ݑK.FDr Eg,# qى(v7AS=gYZ 1 1S1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup17zXZִF! !+]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[Mxufw%Ӳ`$"9zV DH>"rlOhn`=H WS )qaS$EwCZ.S?3ŷY%%6uGrTڱAx$^z,[V#n1 F$Zd6_-[?ϝ ;Kp ,e`P3#(<"@eG Tt0b` Pk y/ӶjQ>, S(n&]ld'Gt2B(#2{v)P6>eA-NßjDzȢ&XϺF^"1fgt3ݮXa:C\ߏ#tYH`Hc-[XH/1QZ,`:Y..12H=y \;Pu@PА0lUL7Hr~s{i_M"r6H%5f@EQO"_RJ}`/6{G`T}#r:d1= hW,4fx>HjFѧF~׏ۼexNRQ/hWYB3EӘxyeaH<); <˥R86zqUu?Rˈq|:$̒8n=UIu-" ټ1z~*-1H<bCS]n0iqb:>$o\]u&S/Il]?v(LKei7U״(@civF_ %BDjutUYjJZsrDBlzO!6ecͽd7 Ń0e}|B⛮ERJw6?9JGY#W5iR-S#O6YZXW{+ v:;<Џ2 Tj=;3ǜr 5pSX`+ oXSr_]QD50AJPLJ'-x ۳-XBj-e&X1[z;rv]/H+V8de!S.gz[a3ۡ-0ЄF [TagHo9sy 5KmdzXeã;[fXPkdkػu0P?-PBêغs:2)dO}|uJ.EeGrڟu($:"zsaY#u|YUZTdO[шRy0:<\_eiyZy^<})6W,#hIx|'T4\ks ڱ8 ݢx?q9."5Ox$+1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id512 1I# HOL-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\/ձw9 &k+aL0 ۉ.{ ?˛p*tI-! :)"yF p@c-P>`1ь»(i"̥/c!' \I9_.״msm>;V4(S~dQ.N =:Yܤr|Kl:&Px#&\#Z9}"Lf<5P_Gz1aBWRLrBӱCVmDOEUbR|õ+A}ʆl/N$l6ݰ,b68e$23O1nBEØbSYPQ6Zɮ?%?ڙ~ٞp>U{C:@*.6Zn!!q 'z&b[*TB’a<Il JBͬ^nv'!?7=ҋO[]ƐMuc-FQEnVI@?'$EsI9O eƬaE8xL,lSw[>} q,3hѳi2&`(tyh)Y )$;BMW_=GRwG'&'Z:R53ؔ*ٽWs.ǙՖӨfŹ>E5DUغ>/6.~`2j'KO\{nHvɿmHgBqtꧧ--]s{wU['¼}B)Чr̺cX;%HW ' 5wh fL.?"*.&?ފBЭd3HՌiG h^8,Ǡ>gNEō-R{NwQUtC)HYyz+5u[ٴ\^ߍaEs;;HaRCb@cY`wah_ =Hc!*kβ{;X=WA!wT%a1wfëcCIY:ȯɋgM֝l(gP"s;5*i>$F)z[jWZIV]ep7oҭ6\ 3aHB%7SH3+$:?޶GKU'7ACB3i t1&SIQ(;@/KHV]bO^kC<fWN.tGXޥA”>Sk~ {N"Kl띹 SH/& ۓyrQ4ҫU<a9BAX싌F ~K(uf(S4Eer*5a&ej0LvOd̰~o^҄+)s20ð/K)mfxYY臨h#Tzcm[J6{ 5+פATZKW7EW6)>o"GD%i9U: 6DmPL&ǏƂ\I/n+,ef{-m!)4Sh%/sʥiC*ntvT>n1GW.rnC&내U8Ys<MRbvN( LD\рI%_{'@Xt?a9 %y!5.RE7h.ES,+SR͇߰$%iw{V.䛏|{S)7@h<*K#B-UD[G4ٔ.YA7(n’T?|ԝ<3^ }@9 X1(HX訪 |鑘=>̫4/;5v Fߠ_a)`A=HrD! 8mT0,2.rX@G]@c0q2-4|~zfR*Z!wݻb1F8E~Z iE/ڽNz*xMGPan%Ż5dRcJxCQ&Vx>C3 "gYZA)#ӧ—z >;>vizFsxTfPDf Kš[3i}8Gb뗐[h[֌;M Aw[L"Z<ų\Rha&`$yzҽnOc`$oǃtlnX),Dޟ?ܟS9QTOȶSwb@=u]*V'*_#G/y]QyOZT(Oi0yOb%FS܎6g~tj"!AAX_ Ά)@=VHCT|.M 1 mJxkXI a,1{T?g#8%QN:qCLxLls %u2$G09o[xUPSGR4(PQڰRe69"1't,X:<Έ䨖4'nh6Ԯ&$(}]<_[& .3Pean#kS_tv,4!KɥŸㆭ/}*JzV0<*S}E~=D^E>K5g5 ^ a)& -rQ]bwc_4H(^+oFK q>Ȫb9Q.aGY"K0ywaTD`N>hby&m(S= 4 Vh6whHx9ʯǘiVI[a*@hG޺~)\/+tHRX-+%(@0&Hd䴹Cfi\#IKSGXL46TA6dIJܧ,@)A\9c~,er8s!rOoS6Ѐ79G9&F|ݸrC;V^.f tf@t}ȣnǹaq+5J)N _ZZY%6s=_OBi$U- |̣Sbe5 yEL]'qunړx|)g}=7؛ E 8!FSGIѮ%^ ѯ-};6O:ִ$i?i(-aO ~Tc6pL9ކhቦoq5+_CZ*-t`5Y=KPa/E:E-|U_1Eol EUP b4ɩKP)93 *5i AyyMu0vV@t~$ (*┼VMgT滝нY0∡{L:<'͏u5~897^Ih")/hS ]Ӡq F;W|22ٍSZiU> ?HK[b,o*%߈%ڒ)߮2S"grAn?]z[Q{D$l҆5'ɶ=vzRK&mԢ(OpڮE KwIqo0]'Շgb6>AX 0pFfۭ0_%TN 'hO\HMGej֙XK-AGS 3Ԟjj㸪dIKJTUo Evv w~#i/q뺝 I]EwuJȣ[}GBn`LZLݥk_Q5(L\PM.~ d$!)9 >yVՀ?s;%+Q<Źs-r+o?|4=™{: [;|l s#pPд?p[@8-+ H* мX I#sRiWmQ;~!ŭ#u7Ȏmc-L(\p#EAF4DI+D8\Amfnܪpw.EʭzW͠2h2߫{WeS2nkufd 58 y)`ᤂsMUd3z> pǬe,24w?;@:Sgdizr\@ų]*Mjth8; PYfRCr\lLaSC[b*,6TYeȃ=XYđt0Q (jsR!l$yΟ\=7d}XCRMցfCpO?"?0téC[ݵ黝*\x hlG$#37Cd9x6(E*ԧyУz:rN [Ɗ*.F(qOp6N7ݜ9FIho?xv!Ijpp L^ImꎁGC{?zđ1)Fd'IW X0mo&߭g܅E*"V'y%5#]Kq~Sޑyc^hԱDLQyK֪CsS5"Ā-Xe#>Jˋ)TK*Y>QsıgYZ W1W% $HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! J]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>qk6Jb +r4Rtû{ͽ]UҠ>ə>hWmr0#距F)rvY+yM;smۓ!q! r_bP]h24l25ZƂ|ޚ.mL|ܳ K>[~, g~ ,C kb4"4h3l}}evzf_+펶itxA|lo+U8W ]צz tu|:6pp 9\E o޶ A-moަC; p=~fkm7:޻Ӄd 2ZXٖGHhwmb#;K)Ghc<*!?wTu|C`/%O@jUb怬J"<>sL~"r 8!+e Ȗ~1չf'P4y:\wps ş5@A"X7r)>{9:H -םRT/ЁGɑG}Ւ9S8zJww>HV[*cjNhN76u@.lm@8f{!6^O'ĪbQWG+ x==@;!F[)P=EP *r4$ `+x+kՑ._]&R=֒GYoNDmnbXXµ20tkd>qw>Vy*үt7C?&.Wd\@9st-oMv~Vng)qqK]ْ<ڙM.\{1ecsNZ\0,?qH1HZ"8,ܵN "POy$J~鳣`(ML:Pիm ?H ?15$V-v܉/Bc:$bX/_gds&GÔ31)bMҰj(_97cP|iֳ#[7Cm|7A4Xe##mm8j9WDjC^҄ c?6>jIER^C\VhhM/)&V?m3俄ZUYAnTe 96Q<vh;@,MBL>ښm5)hٹN"+=f:^Fe YX#'O)XRȀZGw k~};+z5-MC`^!ފޤaP>lr!qnz?,!a3f~4BؿiJ_= !Rd"6]H<7'*el"O㖌ttc?dȾiC()4Qz oפ4 B?:>"/pעo MȝokyI%qozS  Yk}'9e(ԥ(_הF.<&J:'Yd~Yߌ֊ UeƤ5bY/vT܏ =K_dif]EN2:K> ?~@G(?vQ,"Y3ƏHp{{ B,\ 6'+afJ{5~#Bu [{(J/jh!FΕ|)'o. +p:|} Iy,Xf&|` kZ0$9g[MzE7[# mhJ8&\ͻL^[[ȕjJDod81@R9! Mio5hrOp$7t, kskצ@'nJǽ`M4Z/@e?bL)A=nh|n;B?5tަɚM9J/$ us<. 8tNsau(FMuoFΚK;lrv Dɩ0;QZI0w!JC4;}Z-+^Z S^1kN]âoz5I%8Onbi$(zԈ1e΂ly3⤳pj)im9Z=n%l \9əKJo6.zeI"5[jz!nk좂44ULëߨE=%135,)HP^>{̅D6sjAҵwٞnj|P3}0grVb3`NnNL&9ά2,dO.q:l'ѿ1[5yԳŽyfKZ%(MpVf_=ַt"QZkߖ@ MtM^Չߴ.*9N#cվG J=]`^ E+y^5B-kS}C?;[>`eJMcWMɚB 0Im"~B/iQ;+Em46cF?j"%E4'){~Ӄ_>`b'~ag(pKG %).)]T95R=qQKr(uj<Jk5',W}aU |_la[ub|M=;uG4*{n2K\\z֠u9 {; Y3Xze ]`gjD+ [|A/ Бo7A_p) x5ғf\7/ϯr{-CV<|ptf>,"&mn( . k*F7,:sgxC5pP,滢S-IvƏUùbȎY7== )@q%AWG((&"WEVa]xRX{o*-LLK@3bŷAq@9 O6\mR|ã )ML;2#OqX_kq1CTq2{N뜍݇yw[K@K J dbұ,ow6Jq2~03 a_ܢx:]3 CyFװiztʏ"oo- O2Js[vL\$A3'B%7C /VeW OSE}@Ee)lmSʍsrm[iT:*sK}k9:.D^;wʲ@u42O5k$\nK}M{Z.(d嚪ȁ5A;('>˜YϾѪu|r}GMŰS'_Yy[}>lPlWwIz,mINPWpen0GTw#vCceNk" M@$YϘVC U1$FZbZlZخF=o3妏B2WmrK:̱I'w-P(̓o(/yȢd#@],A_jmY{yJMu3ꭡE["cB8pݾOE{zfNfTjv 4rDS7 Gegs#*i#U-K~ HKy v1NVCE|Ki;va$B*Q~|D栦Y)Yv˓dW+.>,O>,ZL#IYA`}5@o<5VcC4[Ǥi即KZ!|vDR5*@\l|ڿ6Kܱ4Y9z`lnw'NoB+ɩa- `uY {~{n)ą78R2X8#![ǨR,cfY#)2mRN(Jk0EF"} EJXѾdcv֞05KP@)ZT5sooME8&@E2f%śO6BR}={ #aBMAt*>tb+rP̘6} ;D ))o2/vb[)[42'LD( Akj)4DG~ftyưBq\8/ÈW@?![ʬ8<.T8I̷It&v}T U}@/';%W&R*C=EMUH u_W2G,;`LfZ]@6  +~6nyo}3JXʓvG2>OQr˞#x1 ֫nz )FQR譥㘽(1fyњG CzJ*kBRAM6*O^Áw[[9d-ƫl 0L)dzϏu+OO .\i(qvs)x@FơM9t۟z.x dD }YԑPOћBXɾ;gfZEjY.65&K6|Y\sm=|ynK{1)ChK*JIZẻ(2O էf!bKK&!'T M˺zS1%7vXG2]v^X Ym֩ =Й~2?DG2=aAB31\!;\}İ4Ꟛ U\,1(-!W`zؗ9pbdnIb_=Z _[>$(\Ķ } &G[Њ^jx 5q8b8`FU +h'~G箚/)ƀΩe䥴"$(xJjLN͒˶zEVUym%n(YQ6ER?Ⱦҕ9MKಂ\K0sve(!-}%۵Y:jF$ au>–H)UE]'x~^Qi{Gf nT-sC5$PD/UIњ+ bAH< wL~BO dzvEhM bv>-(Re3;Ԃ Rlc)GubkEd力o{z0,rq*N̓uV*ί 9|Phυ̙o$; 2$9f-VpXWb8>Pm;- &wYDY%JM(^cVqDoA8@yr`M>w BZ;茠]*dfԈPy0q..-2AolwQw4H|[E#,5W𐂝>CcĬO@'%`\*@A "}7A3Tsh9tj]g Ŋ#B/rͣrU[4ϰ;rec(Gx2DǑ3Tf4JǜT>?b.^b 3:xus] W.;x 1ƀ0ņ`гGdPJS_Cί};X=@dp5P0$9oRAŁX_iwuͮX!X xPo8yu8.C&~6e0hF9iosmŰ{pdD~.3eg/(eI[%0%|\)}Lk!\P;GT7dOQa 3.@ ?bW)+Sɂa려1-4: Q)kJ!u*:a, GG1tCC 8UG9V]<OsߥŪ4B뽢\9Ĕ~dH4Eôqp.Av|竒-RDJ",Vq4v0w^>^U ZzngPF VǸ\"Mt*Eh\ku, osC%; G#'Ea.^{Fflױi<9g>4@Vȣ '+6;bQ%Ev@X JA# B.`廽ihnp XrDtʂ> g ){TqVQߨ m jxEs693 Á70ӄ{Qύ>v;obux@KFɎZZ_+./mfRjsp5̝ն|L\7R+6.ؖQr~986-VOhpfwh ~Dͭ\$'جKRx\!Aݶ8q/ ʵ=9Ea<.Y bZJ(% 5q/ gpLo.q{6 7ʩh`t2֔ dA s[j[Ion _gz4(ƚ8gev(VOfvV4]E4W.Bmom@~fC& "/̯Pu\W Lj)QrXb"ܔ2LیbB)>{}\?Rlxf"=\%Ou -tˆ4Y9v}"=E8֛4/G Xň?੔MƢyRƟBBJek+:oS{<7C g2 [x_،HK p23,K!lAE 1p:-u4?wY_[$Q~BGupĵ6Qe!e($[ jB]fw1lzr0L9Gb+X0"QA3DZnrzcM.v%k;.X,3hMaOAMqEy"|о~me4Kzn>@^g'܌ -H\hNQTX}VXǿ'>Gl1?VWBܿhT›atmv,QpCN- VOfÍ:ň霄 /D7,r9_9iA>{vE*B\,)Ly ƥotw"]}m{9?Ɉ,Uߟ5λe@:1blHk9tsY+‡ޝ(,X:aD=@!Όjyy8z **7DZvABnb:,h[#NU3 fBL\tCC#03sʝ\<\& HZW,k7n5q Mm*j)IyK-ӗ+qvbizD.,ȳԈ-j9- B ful MH֢(vAYH.^/fw)˓ȨcF8=4[Fp&%@EF'7Czܚl&hoH [?*F;F+=p[w$TJA6~j =Bt2NNg<u >'/IwQ]d:G/htw~R[_α6S}' N ]"LGHx^Ez;Lmٓ#Xgjn3z O-\/|dAųXqiD4Ua ꧝5 w4⌧1ϰCUvoUH`gd%~qDQאB܍.^LXp[80.TKh*[%MS)Ŷhk3Du FF@Mf4\~T-{ʫw^M2qy+k_jj7 ڴ4u<ogWbPn2 3}SCs!)cZJj~m"}D] $;3Ƹ[6{Ŝ"LL$Żm]I͡!5̺yBA:C&GrKf}.Fd3íQ`gzE昗 uA'm7\k[,B\$k-9;-PDğ"EM^XLV;!0% 9ۈ[+wzhpK<+f*;6#;VrUW[/-IJcwmUu0樴cM5SR)Eg052^lTY0" ttk,[,X.Ȋ&x֔@nɁ[آɔҹ={83 VX2~gǦUC;2Rs ^(۴4eb~l0IcAh,dvU|S=VC8?.[ ml9ZYb8gl>RG}ڒ ZU^#T)(Zul(JŤӇ:W^ETBqݢ~w{m->5z^gOɗ+Kr6Ėa5͎W#T0?X/̴wҏ4kuIЉڱ2yE ' lMZp,$U6.|z~^TN;&ޙkt q pmo9 aˎDz)@ΠU(?EkZ@y[4+|_=Fߖna3" 0]>SYh:usA;eOv'/XI3-\es^1aDߺVbapboUh7/A{#X@z'< s?JSE_1HՐ5a oܷJ leX\x0X1\,O ]d52d($Ru+<5v\ =)D$ x/k8([+3:!S"*IT_ [27nÿQ4Ep;'sadO|VO͝m@ɡާUYԉEIT=D~W8?J1 q,4͜1zX:Ƞ J0n#)?/7=&-wHdp{bjK,f\׉4ډ>[!Rgeu9๟mzK.>;\MqjT\pgyߗFdq^rxN_`|3N~nj)f6=?c7=Q zhiNX8c+H-\5\n1CwFO`fa8eS0-OnO?_:ˑ5}dԯ@Y a1dό(#uhp+h; hq8RpV3g.oۤWbH2@b:ǚ u9.[eX$̚;_kBm^No!rfoV$`#G= {~%mXWmv>hPKRY*ZJ`2E@@XAUR?l'0J6#W*.۱_B LpPw4Sdz4k#I($,MuxF{+A2~&P\L *}SbFM:2H%D!۔tUqտنhCYcy3ZqO潢a6ZLU ᗠ]UZ}}TJ fr?5c|~J^@7b6@$㠅;bKa)Lޛ4QBIk) w8x7zT1QkΗV'&04.=V෨o+!:lmw&gYZ  ) )D 1W% |HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 66]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4XTsIO.O#CuIB [ ͋eȔO9G2=B -ϫPn̼!^CPH;YAd$c}Jzޒ,eA4LtskX` ~`tA+#hXei}9!DiE \x;N%%FՐׯ'"D]1p+ 2B&jVS |K8S-0tVJ_׵QQB*}>yr׾tD.|xME|Mkoq/]-(Isb_ #6},B(`#Zr"Xlk'M&8i/$kD5cwV$ { eJTI bkx3ɾ '\J1q`UmVt-7eϐ0SkX(WiͱL`A]D@~0c\XF IǦC"՛YISS4-{`N)يz BM`|kߵqroS.{7݉%=zԜ0PM VShUP:i 8Y4/;jIŞXR8rbs Px!1G ^*~O#YiI<"hIJterMb^:sMoc{mT0/FcbKZd5O~Tەљ|o { Z/oi bBJMݬ+~DWOcS4',ᡎGubpsJo~Ш'S9jk%Tݢ!5κŵP>Q4LV@niR{?XmK ܿ ٦cLs .J_s>"Z뇶H>3$_fm܇}j@q9AL`{ +;YΠIlpWDHLqe6%&Zfiye9,xY1 ]#/rH%_\ 0Hܲ ͝SwNW ^kt/8\Ž7-==>4KfdDq< W0^%HbK5V!{^#XC`:b#P1m,6y!@yӛ561 Z-)84Csқw>(_ϱސ3+pxJEO9RKսJ)֊cWD8l"1xr4R¬&IP|ݟ>CM[U MО:"[|>V;&"zJPgRX2Qg9cpR#FĞw-1,!B O4v֦'lDPuᆜVo}VJmW l .S0]9 ?M)5a !ϒqˢ$~АFe0 }kN_}/l J|/o`[kE/21w] HP+Wx糙H[ Y.r_%^6s4ŇlS(_P\-,%2I'Di%\ݲyS4L4_£<w7Q,9Im_M]ow )@e]SdZퟨ{V?/50Pnk/sKp2EKI#)V(gp+=g`W|d9t 1v2͚G\pS׬lSV rwי9d1V$7 Wq#\-Bi+Bt9;l.[0ιCFMVuw Q{Mt P -sE']!-&Fٍ-yU Bj7CއE=je%g8#WyaL,AiK="ʱ[AT2Ǽl;KpiڐTfVLX,ځs~俇9N4>i. 9>RQ$m]+Jy }o.3-z$2`ļ{7(.?EcF`g,9f0m{k],{}5:_ =,r9 O]ˆ/3aQrgڹv`K4nEi#j::O(#S"g=CɾEjHlIĩy^]Q-8pP'3NK9aʷDH_<$wNC\?F$Sxf$/3\ɞK蠜-j_w>7l ԣq;6,(~!3#t|K((V./~!|N۷L;S! x !=z$i_bشIe9 ̺1Q}8^${6G~q,UglZ$eE)^2z`QU3Ul\f(?% O;oW r=b3ğ}[6/;?<8ǝG8$SII}ev"jѴ/4ڞmҔ0-,ZM !R$V)7>;̭.?Cet~_@xPtA)`t+Enlu1IZ  /NGiT S^>` ! Yؙb:32zOD_9=;wF35̤vv,?`"q9x]a[ZKGz #( eZQ.n.ݚXQ)y;?[DO='a$G8;d}!6RgG'qI FUC21W"v(Z8c4ċK;Z&z,gYlY1gu 4U*jnwDH¸lc>XW%$"rt1pԦzxBD7lI+|0~| u6WeQbwT­hSq$,FW8-V*=У!˸VV;U ].8 L\0t-D(a A\mV!f7K^ᢣ#g OSa+!v?uAHV7-bLIP/%kMgK\mx ?ѵX<&)֭WR"i>=&h\'Xea8 0kvu1oCǾkʜuGZwZ D~sV H #neE˫|!!ӟ:+z2+<~DPs " ɉjaڿeǂu/8߽,2KǗN=m PRvT&+W=T[ :qG8?_CDirݯPBd_aŽ3HsJѠ#}gstL;-]rAe9X cI䷧G-)L u ;D ^ Xj2{=2qG \9ܰIPҡ3'(Lk q/9hOBC<x] YDL:b\Z iWB.qUC`+XyɥRGz wj%dOi*]a"hrZ8JŨ'Gum90% s*d.)Ĕ6 u s X1I̪]5y qiboMJ  GHñ1[頭*@$ sr L6};tP_+3˦o:m\VBk~MBs7O,=}j;2 ,LSOd!mx,ݷFF|W=@SC@|2rg;F4]AR<3~| f\ā'V; UƫOw'=;+O"64KA8ЇZw㗟e]W. d>x3PlvUdxa4 u@ΡAyS:`(M*da* 1tE8R?E/&Q='e p|S==Ǯ-zNWnSX5 @rD`~vi>Rl"N='ExQ[a q@#a!jGcn8T w1 t ǝ΍Gv~p~Hk,Ut#*iBr(?Z*s^R̝N&~Y m]HښԟxAk~L9.$كPtԐp$˪x`Cwܫ+854e/-:1!cN&m['"&_斃<")7B:OTTuˢ}EpM%Q0uD@Z3(_ 33i.{؃nꬾWtb` Ha?ө0AAv˝u(B_F^7*ōv7}ͫ'jKJڃ8FEGesX2Tn;lC]L#mJS&!O0_KE 2W!#P5*bxWsWŮfvoOڐ, E䵢SE\FeZd[##Q JcVRj;>~ضVWHbVF.v>=̓f`O:}goL~NDQmglg KTOglSDlU<5Y|*Lx8/4x+c(NO>#Q)+X+`,ޫ"8[KQSI£ T(:T6_h2= )XQV0"8z=j)3DPqZC%V90^NCAyԜ}~$eļm]Nj}SRJ2~)bއi>/ 1xqa9'+x }.ul␶j +6-bz*35cv EaI>D\ _mD ϫxrpc__ <0a 4s_nIjLŽ!@z yNQ:tI޸Pc+7w\&kc FBݧptφqm~CsCSH;n$mzf/;&֩TM^SwO$o En¶NjkBiLd W]hKަF7`Z-[l~/)/9Dx4؞an_#f[asVL* ^Z2!M<%91dPc-b53JU&9CƛGt'C95z3#.Y*Y\$o+x+eޜgJjy1c/MrT/(.׽uŞM"ѣLo 3P6PgOeA-*>+W;/3Jj-@orit5>i7aPn Oğx \G9K]f\Uj[^:v3B5~X~$U~P%N>$;gPH DC~ E 4 Ekt W$eѢݣwgqtd$D8i:?X6o'^WGa-)oA:CtlcN bqۥ6ȰurJ|q@d4J-j81iKmVm#h=t`I` tXڹk^+<d*"|$P~h}̥L? .qCӾ^8Mj5)vS֜,v3{<9&瀿\Wu6R;EW28zp5!x[-LݚőqUԊ&{;?RXH|NA\?w79ۥr(xgzDU.XI{/)߁G3$mDLjCz2BV¤l.ᾡ>xw8cyJNl䥐wan*iKBO5a@˧+.Nj1(OPY{oX5O]7]nPl\~ ' L2szRW^´rBfæuԧ"T;{5H9T}#hZtG4W)DqXp}u>7 {4pa64BohJUrފW Q >=#q~-{JvNf*༳cp\Wd.5@>~}}|/40N+ԮnÌs'` xX# 4bѽHȉ yUld'e!f_Fhn$aFkfvȤEؿn$6b \Fsȁ]KKOo1iRՌ ~ȜWHy4_ݛ)0Mu9=VyC@O !Ȩ/@م52̪4t_p,! Vk#5]tlL$qFŀQں„æ)g4Gy&n9?8%9{FLRJ-X #Ӄ+n%8aklkֳM^Ĵ(0n矯,ݪ9eK:cRʂC;-a)8^d .7ۯo"lm1FePI8nӃ/LAl#s;g OFtO.76";SaI$Tdb &FzITx5H\36/G"oq6qS}^ϑ>i2Avy/ǻ2Y%1+2`BN=H8dJ I|Ӿig` ׊;f;lCz6!nPƃ*v-rdHvSX z߽ Uw.I/-;U$[953qdɝv)*nB[ʮRjd-9:>V/j> \ I:5jq:[2Y@1;kV"Gş9+CA&֩)̅h15M GL]ؓ?5b3( tMpgT;xxK7Jo[CY8<%}ȼnICE7cLCߍlONPp\SӞJnӑbny2DQL݄uqUB~A=H(hjtDAsĪsTYk,#)/9KRVu܎>)DqK,8,N󁺑JF @ٛ=7H^*/_ Y {GNͫ KU(Ӽm1a!IO!]54m޼7nӆ9sD7=~67%d_'bQmn)`h3Ex(ԟ{ <M>Q׫/zTMT(H]3ȱrS,1Pw[T2_lwaFmrp* >1zZn769aCL>d Aj~ k׼I}N5>r.e_DQB/('WhAY}Tڇ. TStWHxe+W`gnښ=ga[ku84#!I-@?@ dRme\d77רh&)$F $ "u9!JK X"ǑGK#fik~SRw6YA0oX[ ޚzFY;C1qe8v͎PKNVVO7^i7EoVpABr?RrYMdzm]P6a:+1chIL4z"aOlE>^efhPڌ!pu%?:ށDD jwh870-K mwZ[6P!!K`pY'NS' BR/P}mrLN8a1Ijyn j> `*!!H(X 7Y2,{$b-R 3J>\;E:YDUHmR !ˆ%Ϸ|Z| Yp#p^e0(*ǂ5sVV Q*Y6{ٲk]ˉ6O 3i cǮI*L^# 8bSG!`묍:rW^BOUo"7xM.vw%m gcoХUKKqO9}uFA䕑sձ/֑+<MQiKY"< #,l(%v%qI~@Ts<.)Nu`߬eVҐAtU,l1L3ayjV UJhUD(O!PD=h|U(2O^e ӡh[2~Š d:Fm:*B t6(R! 9 C7*E,qˇ욂=pu_xoNw]Hp/79x߫_oz}u/ Tq&kyKo)N- hmS߲;,SMH3 *e)2;tG?WxW6&8W~}Er:gYZ qq| 1W% lHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwdLuҒ? B5絃C9[T5f~0j79=6#f;OZ9PO:GIs;(bopz~qk(w~{aQ?L2ym C  ]vf DP2Y0dZ4}4K?^<{Bk~} inn% .|ۉTn'Vpv~3!>sXBAɋk_J{z gQ1+՗_-vy8>r0upfYFҬdw4`^Ue'v#Lɔg߆YK *|2|g5yɏ3,h1}}FEhW /FkQ]DVy6&坝xU+Dnb:" GD,2_`(d2{QIF$d󏅎_yPqlh)+"pbӗHVTiod%ݗ] YZ7O)YF ;:•з!urX%7*ۼQ&!,}" z$ɐг7w~09?z$2.ꯇ^5#HNQu<@Xs*A_v۸diL\x_)\"W~Úrb_J~g-ߡ ſ^W⡝g1y`jҢf՗ĸtZF|v'/ @$*AxַhC!e$RZGx kP2 Ѣ[(QaprwyMǏ Mw}B*֗ PgPEokЛ&10Y[WnēU'lCw/QZ>䙍c{]q}`o?v⣀IxA҃^ 6.:)Y\$<^h&C'_NaZW yorЌtnL=y~%-wG$\$_w^ƍ# jXCzܚW Xw3zi6n2`c(Q,єE|k1fc:4hdF<Z{6.Jo(}’5 %)]'_Q"xNNFn^ei5=Y5|ci(</ NF@;X-qT([\oLֹ=+G<+xGʡCS׮v6u˓ a袝jm.Ň7,<13|9 [A.iV p 5NPˆť߮Is7dxnm i*:,G#(4.Qz{hx]>@ggڍ+ ;!ɭE;te%EiarNA;^'9YR@'vK9++aNy Jem=a-Dɴ pXNm4.7Ƥwʔ>#&ȯ]_7f)vtOke6ж%K#cӠ Yz bS @d9%_b`?JM\=N}yGש,v+ޚoS6}~(S·+68$xGj+wGYF5ՐDni#Elq ",2K:fs$sTo%ʽ# %f)n$^Ly)(O˽A\rfag(R`x4U.S id]+Lc*jbͬsW">\1&PwYι^Dj;I3ߘ=ߝG8: (cD{Mg#q ~cPqbQ.gǿa6ʠN Y[{|h8`)?ɭ1G Fge|Oj+u-gh&* \[ϮuqXX;̕ZYi`VŻH+00;cDe/ytMsj A _?9oQ<eErC{wa ]qbwƸ.^Gb()a. s(t uWRɉ]>:Mt<U/sBSO/[sWMD+pMxfxZq@"h:و(IPD ZLUAg"J0he'*] ȟ-ƻ T憪7_M*MIhZF^7j;Iwؙ+ ۶Jw5 ?=*M7)*!{g[6Ē:j'^KWS$lbTl"YLi{TV7BJ-nw8  !i野S{G_h:NwÎT{c*1NׯvyjDcXa*@nl6 d<~Q7_lGOܔ+eޟ# 0_! %.~#A#D;I8f'cQ$x ^apIO}A?;-Mͱ_S(NkAv 'xQ'7b |d0K8 5|e T4 \AnJ4&&e:%UGe^mwKʓfQҕ tjsʌ,MX)5~R9r[8xnZцLV4q0CQB(,$}?ݝ"rI{{-PN-NTGlhjTy87YvWTy(&$u;K3RHٝpUZoz0 sƇ@r1OIk(@Łw)F|.(YRT6%MH:E]'0\'Lg0eY{-jS4_fYq6-L:.ٳh!&_:Qy~siwe,$#]O~w. d&.&83DP* #6.j0g>q|^⒅MKTwd";ǭl4bhЧad;Rʌ pCjQjcqJ?YÍ{c{ݝBCWiDH{m.y} ?NaM UaG;EWѽET|icbQS-vt(_7Z,/m`v5wFD'\d^(PK1f( Ye/e\-N,ڈ8-衡9ܺ Й\y'B/OѩT$Oƕ2mr*Z}[e1ˋGl4\r[ƞ\HtAE~ĴZcz ``vF=P_L,)7&B(Ur5/@"0kƊ17ˀ,k h?}|#!tKw#A"O\qh{mV]gbu( ?YjU - ? ,-f<w͌^iPLꀧF6{p},3Cp5LGz/=*9ZYӶHfq{J,Ɍfʸ,\+EoL:^;”o>?|'4S K@3hO/ ndKCZT)RZɡQUANitF$C(ϩy栺?~tGnNus:P&I˸g 8˧q?*#9CYLXA+w:Xa`0ƶe*).h1n81~Z+772/zU=5!%]pK+˴ SM#И~9F^yaCSCP09ԾHdp4jqQrT&9 OCsmya9.oĩ)%0iʽӋ&>'#Q:0w/~BHmxlvr*LWd3t+6]IB*8Sr:j_^pVk#xs(NŬƄĔ\RJ_߀t,ARQhWIu't;khV)psz5rS)I,k`۝}Vh|`ˇ ӞF1r-'5Peh#X Ojx;&:yu8ܴt˹x,8G-/+=̔/;sE)ACnfB0L4#Y KF;,q/ͧ!>IƠ~=N'?9ݾ8H*nPA 5Ouc%TW?c"0J7 r} \O,"EG y|s"# fdD6\< Ɔxi~mM' SI7S 63d"`α(X$>ki}[GiY6)* )6^]Bm:T=χ٬*| Nϑ-F g{f0nȝIjMΰ Tԁh7xfz WaHT'<0!,]J7JXz]*NY<> 廠)R$O_GҁMI>Htܳ=U rMLY:~ ؑ*Lb/ᝁ&SD B2sX B#05ܸN/1FF[qe`,B*K9f:}2f 7黯g5&)R|&;1h1p2 .12]fy8s`fV:r1bOɥ OLmX(PD> um]]0Nv6Tuz`䌑4 s/H"˾nȾaYp큇D^U=»~JjyMy3;5ڞPP(ߡ'l0$[oWu_<},y!.n &c@ sua!b@n J׉ى]yfѫ;h\Sʕ5) 6/ ՞\H'渚1 W8rkgMV7&3V*: F:uڇRT yirr+!_KVm!' 2D~Q2܌gVd:8>t U~_`I*-@gz<2um^1+VjF׏EEtx- {2I ::Y7c )jWw:A5{TXΛz6dl-Xnk0QQ^4D^%'vz*`ʡ1~𾳛M\@(Kj-"7Mv4AERv}<ҋr.A;1Ɛsm"~ [#iyğ!A,ɤw%_]W87k { 0"G`0-`1w_nѶG~`fzgر3mhCXQFHwUre2kh{\f5ng9fHSGHހSf ;oIIG i6|?M!A+(¹n*ENPu3jƟrAEn!.dd;eU+_Y+dLm&'Gi9อ$}hǙ|+bK;O_ck2B9e; dL+!0 S0/3H@uejIs}aǂlR=-n_pACJOJ%G3dx ϳ4G06J`O#WaY_") =φKL^o>w@F|WoUYlۀ4~bXwa9y[t\n@Qk` +is3bam] ڈI.ҵEY}{Ҩč"rp_v9m ^vQ95FZMfvHb:RiU_|1elO&ˤsރ&Q3IaF 0g2_t喗C|}O5n\ۥT}X>\[qgG҂˃.Ηބ%\5cl.|aBaVp41{[lk>=zbPU$Jn>gd+c1"n|}"Bm[**v-r:3G2m 6u ^ d^pm)C8)ϊmXL_LIS K[ԙ v"c\kd5ٷdwMVtb_`O@c0qTJ} C H (=AN{>DXh&&UEXft`'TEAߚ*ayX[*3[]ҾӔ[^tF{Wc[0bYؘq?Wt` Z:UL OT36.b8(&bo_w}".y-1B4a-HЙ"&I`jb[甋6>k5ZxD?-k(LGvtTU`1 J'ͻ`MGuV~Ӑs y ]N4M3{|"FOƃ>9nZk6SŲCN՞T9'd4 MӲ3\d>>|eFg䞧Q*4ij9 o’b]A?fgGVR %NpÁ$oy)E_[wl#%J&E-r S=%x}_ [= U&BEiK`xuGF9u1>qȼywY2(!KJB4,ԯBH2+C= T}L]M:r뤪GP8N:ݶNH܈:.Qi$-3ϱj`M?! Jl Έ"`jd :TT_mi4o=Y b%_9g/b.!(z3;O 8-CwDڱ PˌOT\;Ժ0hpDL5w$#MP?\~[0bOdO"PyPwP*Jmwmõ$.&o3wŇVrI?7[iGCPS[ߒEt Q"t;@qjT.giVg#8Ϋ{6>z2P3~Cw} shDl{w7'}UnS/u5^(zT"ܕWV,@jmaFr嫰B#Yaw 72#B޶ǐEOXfM,.O|L}0$M*[גwZ3"/elelB/oK.v\aπ݄>8.rSіzRl\+ TiχD J~>o~UQ_aMSz"ī=h&'Ag1S]pJRqS<݌1]0<%bpb]ia&{KQt[4T?YIoOJ7s DbiO3 Op~)Oyfәor5YO9 AqSS533sQM_H73[|3-eXw=/IצZXăhz>U/S9:Fi@l6dgsy*}&Vçr/ r"M5\E?t!W_3oxؒ}gl%l"U [^cÑ-3ߓ 2cdfȕC\Vp5_2{im? 5p/K|$Yr!IGͳwŭZpa;p˹3Q;ȷ۞Yuc!$[ojİUK2/;Mk}4;D̶Dl)J15sA8n*Lf6HURQ!jM`oZ[%yU9j. * I~쀍=!سJ'k 2rH%Lʭ6Y5%pN#1WfuҁT3+,Pv1:l1Kp]abhip_".ݫה0( bщj֭6U7][VLd(#|-T\zʦD#,PTs+Gro]S!gEݐ}G7kWj(TtV06}FM{q%HӦM2jvC-?=E(>kaJT,IY~ryC{$n~q]I;>,U.L,7wF Yז$NbD5,xf/3(:We=kѵC2AEy| bˊH 3D$r}ri5+1:^zOfh*R}7r3Ut=, @%>HߕҔ%)):n9!m3Y?']p]]ЀpĨY;E޳];`{VCe¸Z8@I^hO[#),rqo׸_1ZW4@h&I1Z.c~EΏh*Kq.[4a}G_qhnB14p҄עCή4qaS##(¤V${R=x O`4ͱ|WRŽ sYG6S{ uj}0|uQriZv U`{SƇvVRgC, -WBSi3{F%ĝRcROU3\(^| 8YK-]!0c0X((`nw̷Q;8bQj з~ý^-ʢ7}(De1I 9$tI`&k8};H`^S͇ʓ5:A~s-Rgϫ0$,hCgB&t'# gUzX}M MBtvDۃHebffOӬ+C° xWl,oO\T]B(!)VA8ݖWci\6\A'RsU%^ _y9cG amp/bdRPHf#{YK88]1W]d"'L+2np&yrS>4Z͹sr)2/7xb.Bm=fW%]Y anm.4tYxړڍ5?|%}0l Z`wCLjLv*a}E11( '4T߹mN! Ьgo6 ֭U4-u"rI|܏IEXyq蠏?~[؆`=h(X(KCx== =/tMLv<"ǤF9#Xv8&` KX q#`cAB] JS%KN'uii KLi'A5H0:.#N5W{U= OѮ7r_ {,i!< {K7f_ j=uC,,?\$nБ|r ,E9gJ`Av uDŽWoiG1A\5bE˂JDk_ QaQZ[Bf:^!q,^vNWu`_v}ٻxktnLgDv4}Z~EAeftl"#kװSXvXDK=m W6{+~1;Ɉ6E<o=-M vʦv!qȭΠy֢P;ISҡDU\BRZw./yJnz**.%B_ T~U6lz` KF凈\4 `fT=`ql̝]QD=?BaVLHk)_R:;:ûʐCy5HYT#9x;tІ6Fx9+ 5CRLmOBB)Ze-;b[VJe=XqSju*~~j+-`11n/7蘲?ZPT8%FYlT}uA $ Tw%ivH=vlbv357-L_Y}(1={ntԫp0? (\ 7cĊ>,jٲ angmX)Uz]Ld&+u7A$k pEwV3" A'vD!/Zl#Ix'@cϕ=AX&5 vBoGJf"ݪ{n3 ڃE@T{sd.hJ%]-'4X+ͶL'Z5XnGP@ߩ#|5Hvd!$ E09k$`@%RîcUi ympA5(n~ӋqʁBpqi;Ԅ,E6,5jWZl4M>EԺ;mfk) s^yae?k|#5 TD(HRኤ|_~S!vZ6 @/5"U7~c#k 2?ô=PRc&~n^v,zNb=.4(+/9s`5_ꢴGkģzdtP[MNHtwj+?ǘ@ẕu~]"LnvX.?qpbr`š>+'$''y#_I yW~呒p} M7>ǾV ~('!"tL}^se"cxmVWdrdc7 <35i Q>q9$|b=OvXa[Rus-[msZ@]|}]ؠpT[k҈5}f(QfJ;Q?o;[RVhwdZh$}Kh4ܛl)_1{:5i4r$BdGf@=@#zDz1b"-FqꩻϾP1$Mf,5d1z?kCz{xp]PDYt#~>;1[6AO3LUFt|8Y5Ѫ0.9>R ˘{˦|f!;&r?ޖT貲A.Zb~ן$Ayp?lNP6>Sc"~ⓚ}˹ 7G*㱴G͸ /~o32iXND WA?\l4 _]NtL*}ca`sZLJR)v.g3P-=W$zh[{Y[H;L؊amV0/MO=盖DItP qNk+'K,%JJ o3Lqt:x#XSoGVP ò`t"}.?2ʪ,tQx*=+\8kVmɚ @ y=[)+j)/NZ6 wtXO.{ Ъx9퍓 K4~4(Ӯ^򛲳r' q%FqG@ȗ\&Kma.&+Xy}c( x`kv,ZKmIAWI+~Eb:(.Zq~}c呀>-SVoOdp*ɒQ Ah'ݪ7 oxvk-i`-\3 KMNsڥ󕂳vZyv1hzV7$J$ ZƄ7 ~\Ob*w:pxxw;TvPe Ɍl qo}E]6|Ӌ-Q!0[N}ʼn&L()MA](Yr*7(c" ovՑc=4Ǘ{"~*˺O|"g#1| j }y?'^ \J-FP\K@a#Xbm$?Նba$ 7ZUO#WMb|cWRMqǥ*&34] g3v&.gEAõAgPUJr]"E z⩭4VX_5s[ơɓ{yro̗r`֩6W?p[#;=RvD! Q NGqz $YN\,;fջB_P\Mm!N6kO0GJP)}1<4#P Kz__WD (r" B:tY2=5߅A\+36݅+cM=Ӵ~Py@ #/9F,S&[gO0?_u$K%=_ɄO5JfRǍ޵:F EhVzZT .˂#cY ZC9Svdu$!bkX|pzH9iC65#IPVk͹⇱#пݾ'Tm73zQq1ǭn.oe7 /XSRyZ< uDGZ'|aopWQ B:qL3&vRI ؄@yh<4>E/YN\'MJ}!Oo]DhV? AyFy5h-@ 'rB$^{shlש'] c]Qgc9ʘ3J^E^i?%I*. vQϖ~co >ǎtq{mMApc+@w" !|sV=<+2Z䷽kBa(GvUSa+PjbnBڲڰ3!.Kx} mLs>) o?Q|Yso?¯Y;U1ŗW4=Oq񥠖!6qv)wNq.ԃ`mpħ@b!KXt_:E'J3˰O̠uzodWdogm[Orqn JX'yæi:Y?#+|'tQnb}-XJœċ"6,Bg!CDpnt8/*6:<&,uYzˀ#DuI0dM =~]1}YP$s3*<"iEyI [SFt$2 1pLg\@藗` :\ -nM#LD y8Z:\A |l)j[xwl1V!XD\JB$d'qۓd[y^\)岵$j1[=>'&dvzb9Ԁt T5!M^_zaxhWB=WS`EP#/bQ`S怟,೔OU W):Z/իtL࿋|ʏu&E! uK͊E6ڌx6 !Ш NBг0c?w/ J/%)D=Lj*ԫte4YJrQ'c*uO_y 7Umvkz9*"2~'ś̗YAd"̖^[I{'r% L%]p6LuM\Eq$W߽RUAF\!|->J MT@Epj @%Yhc!MǑъhx"ݮ)> Sdg\S1*ttE2d&\Sa!Ӄ:BdxS~Rи}ipicq X]L6|DpdnTCOMӜTs9>хP sW{L3e؎?l}g4Xauj?kv\J;i9X]w_LޒxBٍkrz ~g,uN r7Y-W3ݾmP_yDXp =dJm7]ļR)|vm|yn.&0FRF„D)~ZejkH脞nfJ]78&^ž=׮3h3b>\1wļgphY,N8tk EqWq%7Y:~-=:H22/eRŬ͆Nn hg/oJCj_pk,r%}+j7#I:%WSc3WHYYƳZϻp7Tu֨Sn 6i5)Ŀ !V"w7۟.;!Cmk+)'9 }vz9؋BTEEEg;saK"|nDo;%jÓqnq " }D~fNF'?xZI'&b}#o/8n(fCIAɑ $vYc#&_U{yɣEkx'='-9ConkX;*5$g1_+ηSool'7a:36 (OۺkJ @Q`9R"E(O0vmv: h@]!"If {zs ,r`|?+֭у%> " }(m]m%&?:)r'5r(zzY_Rlb$( nauͺ~1`RW4N1*j7k )ma\V4Z2ᶣQP)hK7 ?FaCZ, 9{+NGHpqL~gեn=AC2(&iixY0i1C* ROE<@T׶4UjR}|tq,ɲ>ky`λ`ٲ& 7$Cقg|/qH8S]sڿk_܌TU![u޶5GԿJS`bUOёۯ-h4Q+ 5B^?~蹳șs6kP'6'(a)cm#u \E;Qx^w1qHmNo-%tљfEC˝ECx,O.M: } /m Vb}_%Y:o. \Y؟j'o}jkB I]# yw!戮WPd)DmĊ}x=(j}q5kC_!_Q K/vsOQ0`eBl8H\m(?B[g©[4o~W XK>eXuf>pIb3QNU'4NOv#`z1dp #];8Ui"'U ;&0!RzZlcQcG+HvK6/=,A]MexHxVqgaIj0cϩF BK06>:{48z\NgpH?{"y z>u/5=]ƕ#НMqj(ҜzҐ:$-M$9>-&}Mt7;EX•;:.} aHqQ ɪH@ PxPӭȼ_ cBM*o7J2`"'R& Bj7FY/W/7||ma#ip6@; )qrc0kìя6fynT"eҾ2c(dɽ9-!#Tgֆu)g-^J}($WVˉuILu,S硅)=#v9苇er1K6Y g0BJ96`_~Ո8xxC%ni]3iHmee!7:@]_ ֭UTly]4%嬃<6> P砈eɖ[^F8Y6?rAlVS(ӴEkl<h"^ Owjv.9iY1n A|#s>Ht㻍]CS:.{7MC ?8V|,o(N-( gᵌrh:ҍ:f1F1ovp,& dx/`v"~bۥ쭐9t ߿:B`ba-ei@.t{ pjVɧ9'K-?wNd ?-}3 }͹_a+9>U' 1z9;vv{@橌uTH?ׁӼIlluvbbr~Eg?<7:Ue@,L==H+7 㛰__1sskdnB&#n6nF`D{ -H2OC"fhOT:BϜA@! u,@kĠU'sSԼZ.aB}lzp.ua8> /H)wdZ6h `.5_a]4ϡɍ:m'kjC'g!_Y{J_'*:`.B3Ͷ:>}2!_emY1C%hfLAwҕ~_`&UĴJz_?%zɏ# n˭Mf*>]RI&o8%`Ba6Fx/XRW4΄icJ:&h78q]19s1&[ WLy>'Br xj%w'=o13C[Y3tODn(h\5c _HZFWl6TxN1d?gC~ܠOP"3~ Wa\bC?fnj%MlmvXg 6upʁ5(>#kH zYo![R^q(5W`F$280g 5Z |Zwoe<_y"/"c/axz¦ t i D;'=?|2GG0V͓rw6)#ڜ2eעAOV'R lduW7 ^ ƒe6 RYJ_{g6R୶9Huگ]E$K#`Z*@\ogO=˛TчIQs-=ۅ n)DiYXCEr/[XNި{,QW7dGC /i6Iڵv߶% Yh Pv%ŷ/r=Tє-vJ-Dž*”ZPᱧx!tu 3GbFF8TJc )sס=@ 4/Ke=^Dg*yD<6ʯ(@EwqA;}=:'HE wyNUh.!4D(p)C?ޒ.[IdIoE8 X~ѸU7h8辅퉽흎⠨*،WŽ{D ^RY 4AjmtRs/E\`1Ίd槎Uzu|4D'R/9<@d `P[_ZَOPES'qXj-Lۀm0Zsr7Q\+{ZҺ8љ_Jۨ|W_/H,Qvn׷ .g#J*%s 1t'uT ߺ(`fCII;@B7** \$๺^%mp3řm~Ru!f^ƕs!QX 4 C痏MK{fpCV3f/u1[`nL]Gc֨%Avjgqꦕ,.Cj8 &f~³:kQpE,:4;kW;> *Vf1v+Ɂ`r3qh85[~/| gNG}y=2}y\]" ؘf ΑG].V,?w Y}T;vIJ֟p7[h)5S2f0MUZQs&d=jlma A"<ެV]<miULft^bY8lpח|L_ȃ:aF&{2.CD|,MRޡRd^qx׳ZdLi 4lKBD=4.8BgT~Q> B3 0ּ ʐ4MWثL6~R3.Uv(SsnkǶU"Xr(aI@` 8k|>hz}JҒ9$YZ ~R!ghCb"+a޴acZkd|PRMl18RUKٛij!]Zu<˧VP,Ў+QdI/VUK3\mNpL,D@G0դ*AғpN>ˡ,F1oΈvXX8"YqmhZ/s]-^# \,L2;i/mŴWB/PpRr ]7aTyyJÛoXV9 0(d deO'f81LW~B=ʘ1ZL] Gw4Ql m3G|K 9G#flF89ge T &$^WgBXMkĨ- brnN;rbZ/#8i6i0h0b_SJ3Q;gAo+:I(%FɘۨI}0"?C%X@ 7A[ nl~{m>H+kE X--2w.gQ[1fWըQdmFѱ*ܕCP#r4mVKcB9lMnMC;4ƭo-#򔿉7P [WV3^b4 YtdѢT@MwAfL̹xa5]^vzKwq 0h7?]c9-̇{FCJ_D.x yN`9(km̞d]$-r߈5#@BR2]s.᭲ N _R 'J)ŧ)>l9@ Ug<??^PBa!K2 Ob&n7 1v?yDw@½e[O֡w~قy3 _Ⱦ"mϾQ,I@d+(o@zn.8dU5 .Ub+*o"P[D`SeiE19*L~fVO +wx il5zЩ Gj{Hߧ2 FH52o0$Fn\VI0P沈 į}Sv?hsM3R! 22Ϩ5*3|0pCi@/dBwWaj"mP㶓(C˨gx m8R_AL"0.;P+#*Q(@R1N2bG$'#o/yu' : =g:pZder2_cfVJ40qz>O%KӃP<Ͼ~Ӽ wEf؊lyϱO +|A6/QU,ཆ}D$!~^09bfduV9+ pOS >w!2_{|.-aq͏v L~ !6dǭ'Uqa B2B\z5\eRH?q;M~<'v'|wl8Sz|K6Gj5"B~ApK iు.ШWu#Km<=;LSjq v(`ckHq׼a^ѐQOt,]xB?/S!kDV¹|% 5[8O l\L;f B`y!dٽ\TyU誇UT7 kxد8cT,:"/J@2#>OT} 8m;B*#W-d^:["כ6>XRqL5׆ c|[ExGJ0<#ax,yڏoSQfj ѹ7 vx5EL=(?Zj=-LGEs"˛慞:K-r<6(^9;) 1 Ap7Qv:X OGP[:=:~ \2M:H]p*KT&wAYiHOSv&ǒl>*|Rj577~dT'/8#cL4b Ij,&S.`94yܞ!eR}^s@S_8uM+6rڅH#|d4^'q]صP3R4)^0N 񆳄:GZxȒJ`g~[]aI zn0pl=y\[:O0-4cM~ lJSD睤ED{J]z5Gd5190M`|s/g&OX_ TwoX&rh`+鎄4/01 TIp:{١D|+Ϧ1d ]> {Si}h m&J^`z(D&u$ΚbICY}~nDN>} ?lT*ܩ*Veumg:J@]_@] 4W2dXN,Pv=IL"6\ObH|)`ߦj99EˢiAttixBv N[زxMᚫOO/=_} m/T D0饩?3N#W6]/q^1rJqI™KSZ:v fC#PaU^R^'6֕/IF7 ʫ0I q.A9ikӚO!`q[f gM7?x$ {QR|<|nWXTvҒ ɮ %)sM ߾kYR#+>Z/Ãj-!X-Q_y4Wt]L@y']ǩ>+ZR2I361DM̧ogICtpVS/]*jHtZ_Á ]]\=\;^7XK2EC(Z_R*"E maѭ8>eVgƚQyD! aB~o+&rs`=#7sB25jgK=Nz}_.-F@pX!=6&ҏgG{`$1Юs06,Ѣ4Zt6PaM[R^eP/8jo&,[mwԾO+M}^tFqLҐZp.}G:[|eǢ>6U%3=zWh;.=|Ujr8?+.yn TKvJse&LQFw %IWU"o qܮ57e:\8s}gt@g,͐9L!f]C.pv/,zド%\v˲!xwM8 : 2OWA_; gWZqw d#GIӥ#wܓ(`6jfϖN[/Y mIZԓD6J岭4wiNK_zaATYvtq/Zb-=ᵴO8bn ٵLw.]#t%(iG!S)¾C&ڊka>ԵD" n<=Y%fbxj?/e]`XUM2gb v#O ֎ #&nlѐ"9J)~&8 B}VP/?7Ց|7r(Z =q6BsPΌ.l0/(m Yp1 K3H̾_j{g[l"-s>:[X(QdCiB1 YLӀhܗ.XNo~iPg2W"ů=^م+u?Ո k"E[GC[h~tIT:x7ةV ,*N=↗KAg>CU!XEv],P0Vr}mNGȂ65'b"qfSQ< ]8=}aye]}\M4('Z?.]YZD`{9_OZ_Y;,? muB}8d]l#jH9߈L#P*+`32#\eYA_lCѝ B4#/\w8T(B2]@H)#lN!7eνF%x % [=.`* Lꌞ@ v[p !`n?ϿSd`ut~et*\Q)sߡ.%f!zA{ss ִ^T} pŗדqAD0Ԉџ:yyd0_E\d(s3LV4=  {p&yb뵪og3x_n"EΫܩ:&/:|f"\l :C:;{"-|- kզ&3Vt16@G~N]}EiDR1ϑpi'~? hC۞ua1.X4}Nny3Q$O#+f0 TRN\Rh)>.mC^1B eЧ, 5Q f.cPP=07&DpѬ'=M|ٴDi=. KRyأjȫiP^ȇ멊i!Yܜ_ N^@,JY#J՜MHCgOk\6T-bL~x`}Ot.u.zEsGv+}>59o (̓S3%lX!L0ݺ U3,'>^]s Qg##= l} hH4 ]dR(@7\܌<}b<\u^%L¿=1uaSH [.=~[LUpQAr} oǁB l3<eB\82-3s4KHAkjK u}F{ GuųR'>|j!󸢤&yXu[h#/C>DO. x̫dc_&f>@a.Z>y]0"!0iB:AOU;Q$a+ ¡"憧DS(a ͛5wГ_Z)U=Bu;]QqP f,Ii~ ]W95,kf-[iyE;h;61 k+MT]yzS.ҟH5|,qӜ7!U4TlYDC$>=(6)b)-4 0XѺT7~-X;]#bۂjQ莊&-> PјQ}$^-؟gրE$yF%$cA*׹P*ksU8 i2$+j1s"0CU2ee;W%Bp{.g%7(Cė ˳mæUʆӦ{ ^**^e.bj20zui>F1LhқAi&ؤb|,)& /g"k֕hO9R5@A EaMhO p'\=VPJ3$a̔ӿ5ieDz78p3Xw7M: ~s<ɒ2O H tp$qW{ ƭ TY}_gMՅ*Dd|@Pu5_~nLrF*R] 7_lE &"wĦ _ȎolawpJ4֐OߞI!m6ȹPt߱쫗g++ 0Uo*^s,{wzDR8n Rق%ٌ> p2Z#~h:x3ɶP(0ې#.[~~\Ͱ9y3˾bG) l#]NQ2ᾁzyV%E"¹BbN;-ĕYc_a۾$U #UXPȜwsK $ ^O OEbf/5JS@jyŹ71j@l)l*!B׌(Ƅ׌WjLU90G:d" Op45NֲݤLKԣ/(3vxgUvOzY-f)"[Y)\;/ \hk4Yq? .?ݭKI:*J~ W7EdGSh\ yM2u$ k7 ؟pg_xB,k6*" AkVL kHXF;^e _{8):lߒEaS zE)ϽOiuޘŨJG Q- "Eύku&> =!JHzK]|{aRM"qAm~"bXHu]1 8ӫσN=!_Ѐ#\Kvs]b\}jш0.f=VތHM4n=5mZe9n NX Nc|cϑk6wIG$5d6Yg_5fJ{p5`(Y\œf{@{:g2Z o8~ƣIօsNp >,7S:{kMe$Qhʤ7;Z0OΨl2ciI`lW%N>G{a1}~#FRsl<"5,k JtzĊ6 X+WVt{&OXmfuK.RͥIT a! <* aİ=l]\K>a_'Qva*MiGs<sgkD젿Hg(vk?] ׆l~aͯ7ӡ @ גkqށhCfCz\^XּnƏ>DAς̙#UQ-Kbv> }55)_XA5HxsbgqoKYSyյjwU1DYS\r_վ3t7܇{{\՗ꀉ%cx\s:z;k9*UG0(mG2Cqp`AG֏<Ă}ն D&C 9 [YJg 3>!XBVQt gGMt|ao%M.(w7B U,Z^S4EZn?dm `LU*Tq~wMg0nahPƸRuۂe2=/D -pftZh)=(ӻT` -wqxIs Ēgz ˚I?dw70`)!-ƺ$/pFg|Bv[qޡYʦ 29R,Ȩɉ U{u0Ntp"YS >~ΉT頗FmgU9[f ܪpHDie40 Q 4;x"rz^zHD"wݟm:"Oj+pFw[Ҝ?gB2t;G_m'/{1 v yiX )=g *Qڙ@$k8e-\"ֵ q Fq9N{⹇c>o6}&bqv&;8āhJׯϝ(7ă:LQ%;WXøbf?fҁ]Čr5.d_&mVW`D:x!5=S:ib4sV2L֒'=~Y&;Y1='vC8;Zm몜d ά5^2N &TD8X+mSY0_Uץez* =y>98r"RN֝H !7E {h/0a1ڍT\:l ec5Z%b*md@9zHA V+^-Ϝ3<95pbp<;Ş}S g rXgSDyv$L`> :?\ &z_2]>*\&60W'2pAP},N r㞾f7s'-ʳ4@EKgV߫➚-o 10D]^s5] B@;Dt)B 1$%3I9%tG i#dkz\GpzzqJo# Gd'JYt &tbԬBH-)]gR21Cyz#8Tª`3mj @vw> ]\G1`/*7AZsˠkV <(0JR~pkZ5}? zF'Y]`Hs2 TG{?!!b]ZR$!u4]R11h1Fk--Wd>LmQ*~|Y{C4}FI_M<(4FO֊@*󣾱"ϣc+c[͵+B#]Z!9L\ծ :Q8"( {ƬC҇ HBb^hʢ ma"PL?6?~zZW4pNs#Waeo#A,$ V_F1MHEhhGK$L.}7& $޶Z AF܇Xum/'TI)h b䡋ZG>51ȣ_:h"dYSj˘"B'a  s]jIMQ苍@='8!ER"{tu^̉> cEZ ,~A.E+ 7 \ԲkWuJ+8FF"$XӃcaWN 3*UA4~r! 0y:#xfLJM{6unbDo63voyϷ^F$/{(i1,Cp<J^n2.BDq(n@u,o;i A mvE,XaX`fT<6Q Dz2:}@r[=Yf >Lׄ~|>bB98"VDmZW~^WC&,,ӫVz'YgU|PV+%cVbqZ^ƒhDo>SZp GABXps6`3 #IIՓU4e$+.WǽܗQFFK]ʒ_ #E,%zҐS/g['Mj+R&Eo.8>z{j;q&+f>yms ȵ}WD Se`+EŪLI +Q}6+_5bOONPD{\9[6'p+0UYzs"&$5Wdy[(Ub.jelu60؉8~jkLj8zkb7`cVxavpFQ1yjAGXӅ"+&4fC 6#т$gDQba 4.z2|aKfJhrڲS)7'"Etf+G{nҠyA-RMQ<U|1F&1fA G?tSw+\5VT W'P]$+$) ߷ nuNkCK#^Fy&BVփj1ʺ,zv]`zw~Hg$ow$V>֐-d][f5n\Q.tuŖA@}٫.].&hI8H 6$1tԃW⋂|S4NlS)Ղ}` Qplt13?QTY){らE/ޒIhEɗmV\H(>8LxH| "S,yˆFanLdWG$U7y<&~nҢ\UACכ-<ȡO AS_7#pKH &̗ۣ{CՖە+A_*ahEB|BnCd`tg3U_"-d]IwrTN愨lO2UIAmS=C*ʞL񋗎y\ODOIɝΆA'ۿ%O O8[Xj ocۭ1]&VnoOk ~QŽWR~U= vzBzuHtr l1e)ڕϑQV3+E;[tgw78ѭ8azEl|Jd- k.mh9|kbJ 6s&&0,T\b}HdX>g>p<hcBFK?[L%:Q 㼯;}|;{mm"@ԩL᧘Dh_uVh۞砓.i3Jk>ȫ<\q1%J,^Q7Eɺtßf"Pj.>sc]h:o88$Ǿ[J bͩ~& UN?*$WkFfd+ Y5'G`k_Df^FPMp&V- ]ᵁs)&](KIvšB;w!lL@c:Ă/}nhu%tKbƸ eԨcM󓡗*} cr\j^ -G'㍲KTfʷOJ=}H ~X>-gNS:N[!oK p覃b2pyʥKVmzԏ}RNP{O؊r TdAs5=q ?U36_BLe"Շ=Md%#^WҀ=A_#ʳ9&oKw+l(M>Ezt Ѧ3:2>h?Kay }(A}<ƄA %twW7L+U454, P-lF[ΛHeDIm%W" c]:T[>De NY%eKcVQXX/_EvH1,'Е  Zm-m3u^X\,PTg"`y=I#7T> ѵ\!ѵ-ygpz@_o(C AFΆ䗑V Q1ّ6B4 \WtoeK_|ti1` ]QZx ghnW Tû݁1ZF--8hD,~ uٲ^V&aݲ);g 2aU@['NydSB2 +mVRU,u6fXa\!7SG&4{`']&X`!#s0 taP73i=I!T<+V+p/fX6DO͢& reI9B2 tpb^`Yޔjwʝ3/ɞ-IF5EPoBJCfܤڡ`JPHbrj|o` ;@e7I "'GN1*SwfnV;Wfv#(bB8p۫ckppw%Hxr{8 T. D0l7[Q\8][/_Wq`˴\/=U߯_ 14.%7/+^Hۻ["5X=!2(;)sm肂S;sr#d|ȱiA?N@0$ `N09$ X]JD 6_qV m %oag$xIL~a1m%|JO̠g!F6zE2x;8Rp nY]V:1BroҦj7%L9ܭIZ9 )Y3Ԏãݽ2祙t՚^9* b]AM)ue~w<Ǯ/5Y[hxpT,2WULu[\ 쇏l]Wmi0lh^Ia1ճHsbv[Spv kwAM:Y'UZm8>="2_[l"J?ʹ5H=zqcf~5:݂ZFN. j!=\C8ɲAD5LPlKeq)yH]v\;8,]R,$";ܬ8"ߟH7MeUAҟ􄐄#7ƸoANa rA`0CuH넃C,gRi1TXG&iƟX86>*k6Kұ_o~x` ߓ7R \Ԛ]ӿZFEh,dc Y$L WAzh%gg%r*b0 5DAiʡc!a Fou+IQx{Yɚm~6l]XJ =/-AC:stEBTjuC)+5,?7*/cљ=B۲ &:F-: HvaxquEUp'Edp׫zy+ȝ'xJ |Uწ{c}б<$R(ZoUyB^o _И]sqf1%&`-);YGW`90v[.a.f!%L *WE#ᏊbkF13!Z @5NL(7l#Ԧ`KT&>KnKJJ}ۂ+$=@$`Eh*$c5 Y=~jtr%6fTJfǍU_ӴL<`7wmɣ9c7^|TOV,e$2;kTepbfxtBY[qP'T?@2V/Rt)ssbL:Zni@/ {^B]A=@1K4n ygYZ _ 1W# 4HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! Q]ˠ)jk2p O6LP=͵gl5}xL\2ea`qbE:zFGH1*Kc{ TɃ]>00e$er*Nzn[u n}&])ϱ3+4掉``aB/`XFbcFbUŲٴ/XaG*m0' YYOIuvHc<eRDGG!^O@J-):ht-'L ߍNc .OKVU2}M~g D%%8AqQ>'ޮcKĠ"rӲຖg&g Y}>mp*Za}凿4٤T? "ֽX[vP*#&}hk<\U9pxj-Ca3.RK:Eiq&ၠS uq5S>i #<<1Ayinm7=UN(_;`/i̐ꠊ'DU͑ ?]{%HX- 窪;G%3 ozZd.#cLZ6IZ7YVnQٷw;}F}|p7!ݝW@wXAĔA%Ĩ51T q_\ߌAv}_7<"sHhDp2㳔LD)Iq & *֫z蓙FkDh?N Ű_"P`v[PWVOK#Zɞ]C;<=gަ4Ne[nU |4~l4@`Sm_b"d ̢-W>Z!WQEu a#vxFV}7Y`dXR[CGa x! 3:`n:A~.p dNiH/ Ɨ0ky&b HHŴMPNCn ?q23dn̙|h!q~R]ʧ&1H-~SEL)%ΙzX{~*BPzӟGg7}I4j( lJ;peSF) ]>bzK\rj xĻmjNey&fbp .S`lWp&ǧM:An]cH3O~8ir/ FQ5~@7SO]Oo"{d*ab"aE>Gu?_sŀ\j82'7u!K=*{~.Vf9BSID~gDC@2ja_4 w'@%8)zr%p3D1TE#zS/Ib'd=hHmЙ7[c}m=ܫ C*|YJ1ܑ P=TO5DaQԔ*߁3hL%Y6PE3`qO4ӼR8P$K9D.5inTHHeo?* *{ )'>ri'I 1o躱g*f"X+PJ>I E(R -Anx|qLɘߏ ŷR_%g@ɺ0Q)IT/ lI:V  M=QvY.PH(9V=QasB%ʶoRde[i:VRB( #.U-:͉b.e,*EձqZVWnIrTM9`&j"~v%VBL +LD+Sv`f{x#iUNk|m xm"ϓN>dz=-Ű'E5"ޜdltCzEü :2$:l#,rƑC:x$p7㥨3X.e A6x [I j&m*yVݱ@޳8 ?p֭DCň/7 ê\SմtGpoj/ ` ``1?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id522t1W' \HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messages7zXZִF! g h]Άxʆ5.f-9 rq?"jºʬ)v0<1ؐ-0w'&ma?;kS s( ۫ L&ml,Vof#[`L;os("a/f. *++m+V:Ƅ~#aXsmJXAV tы’D6S?d.H.1aKDL_"dy#lz\qIVwFEMp]fm:clY󨦰keC%D:yH'+Ǵ9%ܗ63Hkip6Cy8E}N$YJ 3Fˆ@+2+TSzM ҇%*~d Ly'@FNbъVG Dr=]lc^+&# 0ۂB諐#l2.CQyؑ!"A i}~tNhŚI7e `^7Z~=phS0Ym95D$ ó{M" ۦo=c d۳Dtxz$@ʍ>*/t,+lOr mq3ˌF/KZK.7nLYZ^6tҁ\LK'8v}h!ܾ1jDBBƄ/LIIH?ׄÝTXi/0iC&կkvAiKq(V#XuvW?9o]aƀgxHBA<^. BM_bgẁbF@HM8gO"yFUb mKkSɑZoBqQ0b10B2Gf )"~ 7LJ#syTRR%g9qM@IJrV;' U&ú/GS yvgS-C`6a}VBE{J~bJqD%#LECl4U b9A'01 Ev~7(`ٿz -"`:\RpJC n+X)pGANAlR-jZ`s6|%wplŖ1ٌh ׋O+x|^\9hMGn؛L;:BF7zvJ9ԵpH \4B?1L/ v3(Z( CLbTqNo{Pt 3(/|yNgi%EZv#*Z\wd@jML[Έ +w.; Pxo~#JyŝI)h֊Mo3=gTt!ݙ1Y1ɐaU;7j^xx@mx[<!R!MHO fG;:+LbJqto;|'ȴFU:K :M~a"̱r!2_6GXN$+Eb$9$rP!T|݇ĻNC5t=(z%٣ͻ&Fًd7̈J9:u3dm*^/o5Cq'Λr&щmO5pFw؜ի-!ך7 hi^P y j𜶋ٽ#dh{哽˔`Lԃ+kNHƹRTTE<+Βֈ% 7uTqzВ^S%CA稰=zWqUmg41Jb"&T_Uڪ5йv@L$ufF-"J%-@98j1 Ro-CMŶs:9j7ĩG\1d/Nsxxd;<3T(^^mLj6@h4Bi,ќX: g*Z_alByt+1{.r 8/ZwB8uX`9`AI?yYxܯ,UފMJq9`o=2a/LqC5p@GD .Ơ?D%1XF󬠌-7VI᪗T7#ðT~]dO@7>!sque+jLߵ 1[ؤ#+bAUУ_ Q./D"*p/+ [y7ES"Zz5/\I6l˓u%~6{*[Ʃ'*0zlfFw"iGf&dV*`0|G=v\K!ѩw{RuHl_&pFIS|Gpe fj)_t~zU{`'8)@Z; #N} ."#Ub,wbO4F₉u1\@Vc{7 >(3I\J # taT?MTy_]=?*s=8w~ 5F PĘ r2V4՟wkj0t|ͤ7?vuD*Ŏ*Y6>װW/;t҃@b~>UaKPKJ;.3]T}o5؂[GdQdL.&dաJڧ\z`˟/Gv%buXI5iFZ|ogͻޛEL %ẍ́ou/JݷYxdH7(&W$:`7ff]dL`$bԉ,pln=ExmPBsNUH0pk3~P\] ͳ3FmO8)5WmO6NfDgh_w_Ko42lʔgB@braPd4L=xg%϶_P}tzFQߘZ6ёJ#OKPRR69Φ!ԭ^H]EDQ) 0F,ؑ1*kb ߉RgzhJ!(k0t h͟wu[dp?ʕ#y7Bs3er.(B +_u񫥆~c 37=} )EOnX3 ɯ#!X##]p&.)ggzWybq',/OjH),ٺm-3tljPp0Ѷ`n>FLX$5P6O)gG'A5w=:Ȏm< ,Vf 9/lRo6d::ac Dp%Y-(I',:˯0 "қ!'߄F[ؘ i?mHOc_ퟚ`Râq;̰ [({K_z<<7eIOdwu߄R%#uz>hn5݅g2O?|s00j"+6cr!IyW ngaF*V>Ct/|(( P61q :+Ahϭ2ԧђfȺ1tϛn̲N\p?\gKk$_f7GߞJ~dfN vf3G-ngo 2-NRy纭-!_f* nianeՏ-g`KX$:ˡ+xnM-xMsL'1ՙ=A4:8 4[ FEShL4,CFN0[I/`lyHpbb-z=W'2whA[9(CPy C (tl+dQw=w*|W41y̷g.(oiϟuശiP=..EmS9|?`wA[)Ɇ;k72}?CFǷX<r5?I62Q;ͬdtgW4LT~xnZ I{j^cz;.=LmEϺ.9},[ƻ!o=b\,<&| <Īx~KpQpo]CG 1Dqn:sZ1F_ÙsD~b͐ hVJ,;h4nxϱ*A)c;&4-39>^K$᪙lņCS\` WU@ءh@GqF@2Ufv }gz6aEyx5tdb8=!d4K)bqB%qvո1YIdgJb>B0#[iA72/.ΐV}V!MhbNg%S<22(ފ>biXYypX$c)Tt kD-@7'VGϹeeȇ\F 9b|'V/jI.Ja5"[BF9upw'27·]O lIus7&x}/)ar@%s%8;3c97sm ^XT"lP΢;;(H ~S?< 3Q(x|ĵZuZ6a SLjzNwc@1ώ$~r-Qުvsf/13:2msta,A; !yH$rU|Mީg^kSݼdEOYFh1>p5FH2ژg~6Vh63׫4"XBAۤ}X{q'6NH ~x LYKaِ [ CuT#6;{H¦ۗЬό]8b䔂Kn| +Q)@h@?{$/mX(cA?oT&ۿ#Cϗ;8A]1c5=;ꮥyAiߩ2G|C3 C[b8z!9 *+4-(qB-ؼ)D Ғ aPiDLs[X üO1(8=%GUw)W(Ղ&tO;B-_qBz[@_FLښb>}FfgH^F%mX* A8^`~FU-w[/rosUe/MLUp>(Fy OZ ScP\$V+4R;q)㠎0iuA Q z_3ZU)\Y`-,~9C'-gɭ82>KH-M@QzM CN@rͩg!ɼiP OAfP|0%Ik}tGD@~aLز4D کs{! z0z{Ȋ ؿ\VIn8IArZ=>LpU%-9&[;aQq!ʕOl$PTLT#Zg*%IPn:^ :Rc@=Z&XD*)*!GEQ͞(&2J}QawiCcWZUj^ m3kM}7Jɖ-oqdѺ+,yԞEİZ89Ӥ W@}yBt&*)羁H 7y(w aS/22byһ -KSa& ""dE>NKQTM\lr! b8{L֘nJB]Oɬ=CjO#9ovp2{4\]`z05yψ5Qu%ZZ:~ 43Z6! ϕJxRTϯp a4}!uU6IOM+lxKmu:6\ g jjGUZGXBLd&G ^5{XxȜ/%wDd "STƫi[X:=^`CM~Eg5~#*c{6'gDdu?;.,wN;6ɳ-!ͳڲ_W$FDkH0fr䆿_̎oS:Y#?_`{gQ{5N> w\9Z{F.[?uX^ Q Qh+zؐpCXQs =g23}r:qZ*iDq*!NIe, ;ҬլDz,1G $s|sK&E=bn 2`E-2$#k@"-ݶwV/3]8MUkXԩ'x}a N d=-YQQn?3 } Nb/m\)-Ա' eK#KxW,e.ih>=+QQ֏#T'֖vLqEVX+١?JџfwE]n&ނq}>(L$jIl퟈tʡ(MmE\)#I-rΰZ!;\e{@> HFy0e#adԲ|pg'ܕdi58O:[j&.MW&v9W6*zeL3sP+crKr吷_aTU&(hgnzlHeg$ʿW+>Z@l ;!`BVrKv Cm<Ësp2e,,>)ݫ'hDƬ-WsixEz^TȮܜ:CQsv7K|Έ6{(HzG)\tj Y~ <4բKi QfB/uaq篬 8i|휍h=lCbRl |KBe} ~}n)lo nUrt$[oƢ53`$53[_7F Qё [i:bL6'c&?R3mqoHڣ[5WBEZEY CKoYL,G+;-i kK0'(g idK<2\U.v@F{Ag6T-ő&Ou jzT>5UJxd'9 )TR $ǰk/?ɷ)BbwW/g[0]CYh3Wq,YQS3Z E~!}fNa5\8c 8Z< &J[ofD$L6%Irv;DB0b}[1aQ#ŕقǵ 8`2h#dn*`0߱7iNz캲ەcYs0YsGa6B_?w'?^`lx$hHʦ;p}vׂMKZo?Β7B#p3Er MJZr =ALQeހ" ^8wڥÝG9GbkFչi_[^rIsj<̫7?~@:2wq⧪.n+ʭ7BҲEaj6)__4 @qK ?諌 ~A|8‚L¿1Wq_zyvO z|Om(ꎒ26a5Ҍ3 § l},s/q3)j踌AixVqTlq̩<}]QOi @W @;iEkkM]'v> Wxa}ϴجF:]4uyv1?z W:*$Z:«`nDWo}FqNem*J蛬TT˗b,~id1ooBܮp%6H278jWA}@;[Ǭ[Ĺ,cm60#xS pFsatA$*8*g$POMfm_l5jjvmvV!\y!{(-Egv W%2Aw+_lfZ SWL$ H6 D6C4sKc@8FS\ODOF  5T2 m Po1s/'uO(tgmaLANu:e\1z6 J8L:>;` N jE5){ ^ 3/h˟6)X<B}7xkP&'e.E6 (8hC8e#!8k|N>C(lxŕOnJi\BnHS2^99)] m"[M3[t5MaNeB-@rїR%d p؅WOf4"/_2X Pi5x}; {'c=g~E' { JW99f0/bpڴboq'fQ5u<eM { y5ThkJAgguO֜ĵԸ#D I6^VYQ@So{rQID yp;@2sV|ix`0}6>6ܨV|,)Cl-&‰W|]LUK*m#SM7P.pύkNEs&EDsyh:8>c鳓<A}PB,$ md﹠hMi>ו.N-M{_\Sh=uk {`K ?-yWfG9`Pᮓ9iC!lm6͞(;}Gv;BT?)+)&>DW!Ņmj=ut&|z_1Kδr Z-Hh3z4lT] 2<4Dq8i /.yZQ p^ϟ 9 lN5yKSHbQG /t_#FPkngxGʑ|j`#>,lmeF/GN83e0;,5qw'YV%o 2oF,+QKW ׹ȵs$LxOfahH*(kF\@ֻ=G JHpC|Z 씚4{/h8*^b7.?`a_HtZ I!## IyC!^L/[xIZPMi8;@'$ Q~\ O&Õ ZSp7׉<);Gh@$:`=;E}>M!ֵ%G?-lSH~BQm\eY8%9,,u?aM">pa?f8-frco@ ZUAq^زlCdoq8lҀ\ܵ֗Y%1Ҕt.la 9>Y} D7Yß+rX%\ĴǖQ+F+9;!7Q%/@eFD,XH";?1T5aq@ԠƺɉI ?N"D{)0fLq2ӑ7Eț/w'L3q(<701#T j5A_~?Y F>v V.X3 #AQL0FsR/閙BX \[rD^dR{**30],sUvܶdѷe`(V yB}O7z(i>}aQqrip=Cd0KĨ0 B"V4i}D~ g@0hs`PAR җ/ tst0N{qL#(ӎʕ;eYFb {Je7jBj!/ օ+<@_̩@0[- bQrUgoo+ۣ5%ozz #`#zzi10B :РAgX [ۏ3z } '!ɪ6nRҗvExZLBT((`&\tڵaձHV}C9zFb e"E.$vtbl%cDgw ƼAD =]! 1-2L.iW~'ޮ*Sթnbϔt1tue~j@O4,/%W_GN ښVuW PYmzPq۸}9fg2?tT)skԛiVY7lSst 7(ř/%8S).3d]~ /&M ˔Ϧ4؝%IDDP򔒟n:Og WJUu~O\z7\$`~sA榻80wGHУJ]TB[>l'k[h*ʝ).4A)͏],]ۮ8EP4M%j8⢱{J >u DvP3zᬺµ;D( :Aq,k>r$uyQd@jƠ-58(茆`Z)H" gAp-oTm _))U0 LЌ95uI)ҧP &<t;8/ӡ;ƽ2ӿX%lhAiي*ɐ*g_Ojs= WuF;~r&n%"GV&QM}zksŽ=O*.FgV ҷ3)N&aQIJGD) 4p45%b!EHփ@qhE0B„Q{4_Mx@,Yj|mu]L]#!ZH.1S(˂T!! iz84OI[*\ eE9ȡo#!Bx0EcQ}yG3',bp`sj{N'TNfA3U+FJAVMcXKEKy2LY_ָ[j"sqbjy0`UǪA@ 7I4*ViP[F{)0됕8ýjꗒ;2*&wO2"ְU~7_qtn=:݅- 0E&8G \c}jJ[Sҙtsko?{؀Ŵur˄?iK./h"&Z좓o&aV4Zq7Kv8|tv~St"g/d?`uf)aPs, r \קz8YeS,H*og RmݭUj$ RG3菉#6bQRꠦj5Ғg•G^W. +SV(MYl -p[%BEXf 6jWo@~m3uSKZ2'l@w߾gx}"/DG_E"'pZ "JjF/~lab 546"[Nc]8⢽sq~jb /A #ƄL [Y3Ɔ ?1tǣaEyS5/$=cڇrlws gV5입xj-4(B[>kGX׵:o, 4=|L UI$Pwtb=(1QeEɞsi3׎!*< }Xv8qqiYvNvxϲ1 " Zj Oi0hGh 7s;xͨ'[V8< z&|nZN]G -'9!mD#/R 92cxyV(+8#'%3܄6/2B_$򺂡ù,6,Xmg 3tFgt -CAp UV%%.W]*DoG ~ lr|oe.8ɞቢT)wXdHxDEGg*ݤtH'ZBq 7=$Yw(Ê]}m'WQ+` ӎɻ'Ѿ{RӚ+Ó#0D7!V՘g5p-m&ɇjI.@,#,uz |q%FQp3_uKZqGg򟶥TfG^Jb1r"K pȿ$bwMt-Cxd'.mOC Xٳ+IѲe`dD|Xm$8Z|Coo5M3A1rԄn1L&pzQ;}?iZo SI:3:6kadIݶiWAkEsj1eq>kH|d7?G!r>Y1iC#*:K m\* %XJcoN Lbܰ'uovpł Kq'y6i)%1; NT2,r EɁrt A<;*҄^ٽZi´< A sIr SkodN^&L-ͺUYn! x 1`_ I ]d:͍ (I wj ֮&PzfS̬p2s)PCrAMj%[lŒ}f yX˕KJ.A#>DBt#$ҟԽ($Ao-+tki?JKt&MkT#YCx>!}*صi0x!Gg;cb3NZU'd$S'\1z5 j#6G l:@ѪtWCP*ט*n\P6!x8Vv>U}TV,HlhFPo=7=,ę̰XP9dCQ>'pdEFi^8`ͶKIԣO{"]݇ h|"CВ9r+$'jx7(c=jfxSx:zNHݻ`ݔ/$ώV|{vq'Tƍ'HT$ yПY0yS{|f3J6{}:@EX`8joQSzfQ)}S CPҳFLX3:?[x DqN>s4^9%Wq? @TR5+]BT7f[s̰ۉX@٬ F}׿evUaJjq:JwC 0ˤS TO΋CyYG Q%,,s7!Hq[OC=}SE50pkQ<P{ìM}{u1(왛4#JYg}ʸT2@(68ՊCdf>Dz0򳙌kw{ 1,+,~itjd1yR oIGykZ0➄x!³=tS~L۽rzڣ^v1@b3vt50j$`dmB1B^y9Gg[XLL:S`g_ʅ}Հgigd~ (C 6\2‚)2|ͤĀ()v֢&U* 7Mp_{ӻYO}+f6|kzZ|Hj8b7,.|77 Oi`476lDSM.Q;id PJj]FeQfDnuh*>R]#dfL6.lꄛQqh-| CRU%6G3:?yg*v} ]))oC5(lBMm^\b 019|qD&H`w[{VV yQVU3yq,662G[J-"5vġ}k0x* B{,mxԒ$ނͬ/Mӣ4w7QPNԑTρyp6dyVZ2ZUvjt"gPHd[2/kQJX);A",MJ,b^hn꧟DE8ZqjTM2tc7l>'Ùf ڱLh ioZ Fi aaU<F Ps/2g1mv,LTM`2v#pbq\Wd@u0nV58H$2WCnR_hrtrs2^#gw[郕q\ĸ\e3B[9`'4 U `OchsSkh;lGI{m)!빻)vDz=c0i F^3`D H#by%a3>&xwgF$&J@S^q , ZT[2ixQ<X1^Ywy׀k~R@7U3{F3;'7:Wm(̌QrCQBFrWɋ@wDp?4SxؚvRIf$Z4^P9-Y [C! : u.pfJ~:/(4_-F^3%Đϵ|~*ѨnDAT@ ;U`E _Dcu\$W@Sd¬#2B0 v- xu -CHav808GkAtZ^)3nBz֡^_Ne.϶]R҇OZfYTDbT Et{Ue{puom4XeŦH j[6(;OXXbm5_Z󑳴býuh-. )L [}ԅ.gH^Kn2< 1}ubE+tp @g~B &LI~QR$z/ǁo$ }cx QYt^ !u*sݬp?^P "Vd+hs7͆-l1*.E% . Q0lOfJM.Lvܩ$9>)Mwnޤ!x45D0&Q82S2[؛v~{fݫ4t&k)uӷS4[їٯ(7qڜULs|FQ:MO޿.!sG/NgzHZ7Dy e8T+qd*ɻTJ tiѥF'JhG o3ꎤkUQ<%>E dy]R Ƕ65 ȝ`Gxr-!荖84k!kwΝ?9;SBo(սJ_نhix5v .ѹb-)nuSo5-[D W7JcWͰ':`Xd,RX(yКP$Ѳ0o^e(V_~R\{a ༌Wy'Y6T ن0Űa=;Jh"] 7?;mG1k8{}eyqL3r{uǂXwcl [yrus* \|80pEјgC<1 ܹ0dwAFDEksh*!jzo(gVCB;f32A‚Z<1wS$;?,DJ)- d+ugxcʊkd,&]+2Tnvd eviJ0|QA_:&#_&ʱmn^=qYrq9х*6)e'_-ݍ( T@H'l2E3 ͯ.}!"'((]G ZIX[9keb5#zwU"%핿ww51eg +o>͐۸:9ME17ym9w0?:Hkr˿DeoKB/Q>zMlV3V3}QIُ2&AX(IKzXM-Dϼ_h;PrԸ %>{`h+QWS҅6DK3ˆSPb˿/#oW D'84B:ey{) 53LX/Q)é ?R* 0yb@+Za G㋁{`}h]RQմ ȉ)->R[Lħ<`jhć lyz& ɗ3o] c\"ޓ>:Ki<_|f*2)5"a"[pBHi[k$UcH´8KL]2!`#e44Z Mf4u;\Td}-NnF+ :(Ѱ{b .YqmUh+K(-ڔGz}֬]&kY6MB fdc"R*7?v-9it*٦wA޷o-zy' 8OBU Nf(إ{/ %I^>N9lA$J H}Td ,O?2woxOҡ-U#כ5jROm%$|ϪC9- `iTjm*ijB n{j7k< 9@Xq.60d9%]O: ~53*5Z>{Dp.o>%H]_{w7|Z\OkY4O^ B_V"#8g$+Tf–jWnRXP@ :1jN%ߗA;2ז9&D&~lmq{c{x}K / \B %_ zNdtդ+Ϳڲ%Dʠ+C5[/#VW`]U.S>;? R@NR4d0TTO.hSRbWQ}19] 4_5[n/ň:;u1g>#;s 0W(Lɝ6r<+RH’G47 z59U/ T h.Ϻ'&X2 RO@>>0JHa[4zns'v01 ,OTmf %e|^'zsIY:˩`E@QWFX r+ޥ A;O>觮иrI3JU?-1ZB,&)#&sƊ9ʤ7-ʊrXȾz Rf9rtف*kj;2Umf?y ֑aHX=F)-/f7O"_k'KbݛnCל}m.>G[%hZ7D&.BL82Kw30B6F4G2 X 937 yHŠ7t%R3B*T%AK41vJğwsAGW 5Lr}!%R4H4EHX $l;|,Lr3m sze}ƥ/JHߑx%]=qoMZfP}k1TKom|_uZ0p0<@_eQ8-m$p[#t!ԥ^DrM Ej8Y.\cǮ($+6oKm'C9Bsl+DdR 3rL_I.htQ a_Jqk3ifYFTGjsh%u2%)֬]<'!nF~*K1M"Ԑ-:fcAj\[f ]=gl\>ZU#J>H >˥`i)랁V")p\3;q#MᲽz9Lq;d">:ZV{$Q+@}ι߷ܽ:b! tnIU 37!R؎3_Ǹ,r!k=OB 1R"1k$hU P[n$}:ػj&ABy]$Jpav\t޳ ioRWz+xYg[{!7tlL@,CdS?+ `pZ0/j't$`)fcwO u ;:nEQN[HD-U66Ud>@RFl!w(?S,b{tukxmlI55[iyjCP* BD;0@ =_&e߯J+~22}I4;͍Vde@*hru.i(qCƒ ˀ(g? @ gىUM_O~I2ao ٲML.5,q;K ? #dZ R"+]=r'[U\cP{ v^ k+C?mZ/91yr,O~m& 5_kTuVAddyn:by"Nu` @)8dN5&Sq.,f1LƖq+q}=C_sZ髢؝0's}P⏾{VzwֿuIuBiE@$AkMwͭ< o>'裃H%>!}RAG¬Q@xufE) D5̉x[K &w'ԜG=[_H[F6b m9a-N=*=oWQ1-z% 87 Wd. f|P %`?, 褦Y m c,"|cXht@'S'Qb`pUWW- `T|lLRa1jy E)K+EN&Tp 2𨞭>yj n|8JxDRL>{ 0]ꌆфgJ,zÝ vS jRL_9=4q#,V.uww6^c h!;ӐMT9|dn\ѿzFx7u>gR#Z`N q5b\;$up4pD $` a;oO.&-X~2Tm&4.A>\cw`!qlx99b?[̳QpDBETޖn n)N,@O - ꈹ,?Wj# DU$TfEjԦ`MVPIE~PEYj3қV<1,4wU~?/8ߡi6 >k|RfghͶkpW=!+MgLaIY"^7GVP?IO4=w됍 94é%˂t1^c1_Ot1m?-Zw}2ZL/6\hV~jaOHmeVbɫ8%98!4T]+=XS+JP{#Vss-Z<`:&fQl-8q~U~ M3 vGB">*XnGD!{~p9JVyؘJ*%1 o@ )Kꋃ)P:ͯ2sҽʬhrQ:@^u&tl$1yk+:B\.8l7{SSvt6AvlP#RLj[.S9 ±sG¼)`/$yjlv E ƆhY.uXCM}MZ>3r9(3 @S`#1Cs8$ق`Ux0=G74\v%ڊI5d[c .$2Vw09WB@_; ޭө)H~dS/;hnGXj\Q7- 6.AH$N݋5ȳg$L!j̽S ,d lE`"("dNͤa{pŀW Ԕv =ڋe~"`,Xak@RR:I׌B㙤;z}ʤaUe[k:7]vj. eLA*ikMkuuT;^1mț7T`wȫFӚ} ~KڬLzF+òiTڸGDe25 7tli'R4sNvtӹr}#]fS$iɿV5< p됇xr=@Pq{ ^S˥/z;Ll4R}g1Y}G`C9Zlub GyIjQa .Ԫ$-نf鳱Iwh<IYez(}F&_vo`ӴWk '?gFD cƲO1/،f8㧎nNsv9w,:4zo2ugq;-Mf8*-b 3qA=r͵!^DB }4d;LлJ>x/z2n/ͩݲU.BuW1VB j!< Iz0NI{{!ZxCi[yhBx9[b6i@I|go1f@spu"Eo eHP?V8p>'iHjXeVĭtqLEZβj &|[Uކ"<+N"bq4MgBW-$#д175us4W05$XzsJ-}JGs@KBZC8H^7^43.@}tl2af}' ~y!H vK8zI*;C1˔KY#l /&lBU-C٦4Y󄔇bLWQLϱtmԌyk!ao&fº.@ j{6I_8ylKet4)A8Khq>/)Pk;G(+ŽF9lM}A, 3.J^G=.IhbyC0gC!cbdOf}}],?8.IJ>dDW#_]h}W,Q𬯸*oKmLװ ӻP,r)5PᎈW+Kp6J#%YC H [ 9lFJnH$tKNa,BaZdPp&`7ŵ]7Qw_H &G{eE6v*!יd/~J'9S0DЦjZrw%xtPJ]u=x:SVyw# *5…̓&*e؍4A3@mcEu{cxRL'8a\y|V ^ [w {xS,>C?t$.h D%2/GmlQ#\:LO{Nƨ<65qnwBÒYH0R`b<ձ_p/Riv]VCY+%{G+屆Z9(k?SBH)"r P/NV5r]KfR@a@+zMfs>LÌfF[P21)TWT@'o3Ƨ~=x>,,yoa2'dwyNY4zi&|B Rm} B}I+м&\#Gu+-QQ"0/\znH>Ke\8zבQt߅o~ x4_L un͠J"hP"W1 BW-Ȅcȡy*LZDd,Qru Ζ9MmP{$ SL6,hB*_gKDA7` Gϩɭ_zW;"4 [`[c7,wF:1&\ln3R'ݪ, :Zu#H"0L܌~AW$NAGzK{"x02?nF +{gPk2t X ;[PW5Awl'ԕOݒR4qw)Q~(d* aFev%l]8hu}3 Atn?Q:KJwvd!A n%=r#eZ4&i|GE蒋+,)٤A<~~ف1NN"nʭNwjӅ{(A80Hl 陶'O-mR1`TxSLQ(dr cEELAZ "Is͂5+QPp=)>ENo偘_1qi3@94߉#% 4*Qu4L`^ⒿU2$0^!c Sސךb[[r8ib@6< '{J1p]ڣ 2r&DScG frtF40>F5lG6|_/UTݏ-a3x\Tm؍b*u]責B&2E, Ilcݎ4@QͰ"+egSa N'?G1=X-YjտžNG;¬4ung?@bpNΎRzεe.̒Ŗ.ﲉ8(EHO{G*+'D lnOw"yLg!:|v[7֬Vz'ab14]O'6әMDLXocl=(ɫ|-9(m2A쉀 8&ƪ&Q/S[xji0CKN~KK c;ɎZp>Uotlj]Q0mJ.e/pQ돜 9ch/0G:"`)ZFG̑DHaw-K_{t YbA-B-)|F77^iMi@m|,x:?}oO]N;_nB,./ٲB - }뫄4聾1\V͑oM  Ɲ onjfT˘_47fkD*ve`K~ # 5ewLzQx<YMS -n0 KZRH~jc%Π!j_; n*c>H >Zu[ Y&2awlyOMގe]ԩ-hlsOu#Zti#mBkln{G+ް@8K.}s'QE븥W]*  8E6x=>Vۑ4!&k( EW5Z:gYZ ; 1?# HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! ~]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@S_oe 7BK~ /(wU̽Tʦ1n<+{4>bIJD#+Tl]p[LƿjR\aCe1 n ٥$D(1z8jqéaNf6 ?F{F UΝkW$o"d#bQ@#{I#!izv+E=lOM |'빳RSƙ曰uB#Oq/BPLRBFrF;hq[4uy=1>.ƔB/C]2!ʟ//9ׯv#8d/܊{>w &<7 ȱՈ{|LL ԌL1,(E57=<^r_9ˮ֔,̕Mv%E'M2B\qf8fHb{"W%aBq$&RG#ت-)ljU3S@ iӄ}۠V0ԮChZph&@e* (%HYy¯LqRh^A b>ı5Q|LV eA>'0SS) $U,I#%P|;OAesK@[5[&K(U%4}6x[kkes5z{ 3k9r=%UCGpXЯe}E&vHƏ}3:72r;kX}Ylw9*V68H3#n$NMߟFszCbuA4(9+jɀL$Q38D;|}>B,oYC߉ 'ډqcA\Z"4.(ޤlUB蚚40<wAE3⣞j$ѭ>INIAM@Y(͸h$6I@$@>}L-LD{Dsa$Q%PUp;gqo#ߎ*u E/>G?U[2F$**|8*-26FߟJ54KٓAf4\y9b0&֖eL9qRɰ$ؾi4|NiemJK^\,h`%> cK;8cnMDJ$ -w Sxæ~5n&\p_p;<8a= 1p 8XvS!mܟ|nRhS_K;`?_>rվs@%lkg:Ǽ 4ѽ`C>+b>QʫNWLS6듿4?c{珌.)'q9QuN4l͝mΌd@{ĴlIٍ( & `LM=[ͩ=umHG#IA곾 I6Ƥ m@.aeqj.\ޣrF hjY*=Q@$pg:Bsת&Qty2r"7,.*eb:bô?S̢Ksҷ55~7hAdmG ĮEC[Z1gMJ+Yll*R-bRސs$3BsrB,vʞ@W!qn ^s&:T;ߦq㶏VۃpqkIUl &4 qYҔȱD^.Iqݍ@IC`.Bl t2V*<[ӈ$)m َ;?g0xi!N)c(=Qq2;jÔGɝ6+xrj T 1*9ӻί0Yg|Ie&MJЊ{%"LPg5nçkEkI&-.u=60M_yk:}; YBŒ Qf\g+NzpgSDD6yy@UpchsEV5\smli8lY<ȄJ`r Z xNR_xҞ_p >UiQHjϴ MGҩ}ӣޗW@JIM|wn7w6?Dj˼]*‡Dk]P,K 3ah5W݊Q돓]/ct(矹nv3ðVOR:_.!au (B@qȽMA>|m6d/VO%2zn1WAրGƒ /M/D3xOpd?=epOO^{%yy]Cd5ɸ=+2bhl߽:. &cNe:M'tmS3ϦgXy!&QR`N8ԣ4ݙ&my?՗6P%B _-26ڕ*=+m_W?kvT91IUs5?-[$l*V g\_|tU24hzT2 9QCmñkj1iT .ZWF'azsD ;kb[A X>oM eЙЦ7B榆9w w:4ͱ^x'yEskd>ߗP׹JՂs&; d %dp 1O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id526X1?' Zj4Pc,;vud@BNi6-d#35^Fߙ"Fqma8*xN"0 cl,.,#7RM- /*blPwq6 kT:&N=<D(=@!2$Ț6BR~mXV<7EݕPf`),&h8?ζ[dvY=JQ3w @Lz.S-g~?ma;@a{t\*]13Cw)se^ A5'э4O8R*E=n/Cgڗ _D5LT]TFwڕC^l}hي05f6xȐV"P u-!RdǼlgeAI|DdHjxۇOfAj]^zb2=jeXjTC%(7Ʈ;OZ!W~51B5tJ~\A'kl=lHvgF=_tFXqgր cv“yLSl`f-Pgi S82ơµ _duGs>I2m1ˍS7'g[wٌe!"m>bYG7i,QguP+gH=-rjN^<Eb`Tľ+(R>'Mng).!-Z#Փ=#5vA.Ԅ>r䖂ࣣ%i&B.\[)E:PX;wӪˆjBU>-\%5_h +=K}J-V8;ԏbBN)Aئ0ty!f?!N3GƕkMy#! *QI"*OVsQ<(8i9NEF?k|;Tz|pc,X{X>Nv'!#Y:{'m+qs؄SD'K[?4)h"mb :54 d%o5 -IV扃 ,R\ؤE2`J\!Vpr@\@iZd-Js & }ܱ.ڪZ/9$AU|XKƂ5;l!SQ A KnaQ30ҍަdРBi8݋aZvɒIm2=f=|b> i,~or\ orY]K@%U ֙ұgYZ 6!1O# lHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@dZoEI~/w4yif:3>{PI S+4k[ChMAx_xgT-4ĥ4-EVpGʧ$Ɡ؞MQeINJ~7뫌C!ѐITvv؞nlp! 10/|L18k*>PF%R2JlVnP5{Nɩ? ЭvDw . O\ckT$m6)k)0n^ #D@}j(0?T4-N1ِ?^f/AD-(UPU&Bv1jIRT~Nmڡ]C&0>lB4Ϙ-`=pTjYY").6:֣knSLć=IN=fgA$Q xs VGs{9&PZ.);]WS qn2E{: p55TI ]sF  !!07h@cmdc7,H4 xNE?.˸MK ֓wbI(7dr.FTE l ~7<cw]PبK[gΝO}m?OV\OrbN6[4ucFwdT9r+ -#]o)X>xU&ڦI] x)e}s9)2a/vb5&gmƕiM]cij0cT3fNQ~[ftduG'pMxZ_ȷX*cs0xK$y {&ҍWQkMRKR@O~6W"DZ""F~K<P վd7FAx8\u5QW_s /F\kX)z{ hF$v@)S&z%?1T>j.Pdg[jF(:L[+a6` k ӫ#5f_AB {?LﯙAFYJ BdTTCp9 pѣN$$8iX͓vw)-~Y ϸ\ 0O0EiK;3X'?u `&ۛ$dik:NwT@~dMSE;ܧ_&%qԚ`Jzh{"Aј|GpSweAY%Y ףxCd  ъm17K\VYyU#t&Wn滋0]KfXP@.)Q2D;ߛBApq c#["uxtl[@ͨkL F1HLц|<x$=4D?dKs쐧:~m̱rJ9 U|1 höSG#CemF?PrU/PHr’kTMxEak^R}͓l@F.gB{7ӆNf#lg\Ҽ>RZUMX="/zP=+F=o1rҐT`L$QןbMXl)q*)e)uBkvz8}a ffE=FOگJk-ע'4-y K3OjxCsthlz)TnL[)bi'fj.L TPd1ʷ4‘GqbJUgxZ;f`c.6JhÃTu$Ax?\G[R:ݷGoNn?d"<ż\3ˬ{X2WbiN[W k7(l1B$ zoYv2\7s8VRߗg>8q%G zyNqfD#.`MCm^Om׬PbhMH95pmtjWԐwÈSSb& NUTu4Dʴ.z4ӐzERvXlRqǵ a%Z߂닃sZ_ 2OiK$"zQњ2  $ЬP$B:g(9*,cu".ƈoa WPmruL2y؜kN5 >h9Rd;o!]|hո/4jR=W̺PCfNx"ɍcO&*}:}_;c9y~m@pEZeu,X~ɾ:Ct8CFs$ t`C9z}}滍gj6$c6$DkΥ{:&_|v>?m:[!H̢Π | 7G}! MS'0&\3̤,#U׷||IWD^' ,^́4:"%0TnNȄ2ꐜtqIM\# 8q&Ttֲa_tȟ¦P_^ԗ!NvFTBmb uY/3 J$fzTBY?{no1ืk_*ϲ_K'5=ȉcy4&u飴k҄s(rta?1&5<#pÆ|*@*?3׿sx谢8t}ǮN}1$n*#4NԲ(&pGσzؔq]=ц BCckq}(_\a2 O:Ƶ#әB[ri9H?򔉐zG}xcE,ut}}4Zaqn,o\k=xsTvp\Hp{Lp~4닑Up|L0iYSǿq;bʢa$/i0Ыۑz3k˄d&fٜ֩^=\. Exe9l5Ĝ4KA7y8ٷ̲%ƒL,i J4pM楁ffSJ؁`S^`.wB#@ujw7NgM$p/v̡rK^YNO\|޸.LV$T| {0X9pZYvkF-&m] {P(&eIp qR˕\nS\eR=39êllGM@+޹CxX$Abh\>6 Eiܣ7l3ʿkuRNI@`s>:n'{ԂB/oI"-0=&vv0.:['@Qrϸh.:k. 醀dyJiɳ2INy{d\rB ҵs3^O \"2H̤L*& K K(! ś RIcþ?,C1W7δ{Fy%i W]e! {0A:-_jfOB,ީҕ\;*L̳1`I+{Aв24+YKq GCGx 4<o 5fT`Wz~vN^PȎάOP_ЊwtR dkLQ!dMOٓCQA|E6L*7wty;fctoWWN Gq!LpxS>v̿z@4$1hv>5qgpgrGhΚ˻D2x]|qLk;\)nFp$1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM#1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id530t"1O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[z ۸%eFк032]ZBj D_hRQZvt%>I*WEZq=+kEsJIhauW$l7ĸ/I3?"Y6U(f ^_B[\bԷ|Y4on3;ec)L(9``2k (V4~""e IN? 2Z%ξ2SQ`o^#2٭R1o?;嗙)ʭU(\ ։Tu;5?Cp(#6>/_Ne|!+2V bA6x;XJPwwr%/1ɅB]v}΀xD (VJXu4ܳӐg(xWx4wy5m?`}$ȭo&'j߶L0v1c1aLi"2Tм_RK"I2*SږF%X%LBVr&X}r7IfG&њWeEcI<)n7C2یa++7*mm4J?<֘'JVC H]6k6xRc}AQy c*ʻmȹY, cksV ڼTMZxJ^tc UF&\zҝht:ƱTJ.+FGP T2*Oi^h+E{tFRUm[;0\w \]HxKW'_Wžh`bH㤪;Ȯ2o^ȥ9yK-KW0H* ƐgeQk tˌTl6y} 6Jl8;SP?*gx4>n'O\nñ .W果kXg+鰙HS4 v]\oe7}^K+ 5lP|ݾ![wdf0)4+z.JWCtದ_;F>wn\ZY׋ѽ 2C 9n[U*#F̉%H `K5W b 0iFmE_mTCtb߶ ,3=[-vC!1+)"m+_COWmɸA ]O[;9ߵgَ⚺=䕽}WY85SXcWA$p#,`'<&є7{61%wVn(ꏾ o +hVLB7qpIǷ]|B(ooK+\/Ou I6gz54QMsє Ũ(mf{ _ɯ׮@f˻Xude1!Ifv3d;[@ Wa69-ҊesS 2H(UY ~M:WM2E O~}Wp|yi|UQk `wxTo&ڋ+[ni0!jv_@\G+kBV'b.-R?-WR& P`%&]Yb5.;u@ S[ES:\T!ae.R*T,Ou}T[C: LSrfTV)U| 쮎4 j.x׿iݷ%5o]zi-=>EB$ ֜Aƶ%*2H蓿wE01gkWBIK'l7|ґ}NwiH\z ne|)|,XVxr~QBӐҧ$H̋I+:h$fpcgrq&zG]+4s7*Pas Crž0!C,b `? kOs'-]kd6 52/_^ƯafU9yW r8Ѩtlcda2f|czzW&ʹ(]b^Bo=3WyN!èIΦ'VIuh .&3@BNTZG?kK1[AO d_>e9p=7[DمtiXrZb1X7z$ :| ] Tt`2m,TZ9iO갆 ,(&tjЅwּsjfA#LsIOt/7 qTjU p8ZF#X>qd(%~ovr(dp<`2cv/Tfu/߾ܓ jZ)U m3yZU"P[k@yV<[ꬠ!emR +@!r* )ҒqIx!@@}mo7x835AQZhBW!`N }xjjƅYo$Z&Β}hxv3@,pkϫjz8Zu sC}#jKVܔD h׳e}D$e?;wfѷ{Z#R\=Ye/&IK'TM ":d}'eOt |fRDVO*gUJ k݂\ZW4/vOhrc*I>ˤ[+zi~0}V$UIyDo4Qªك.[@V_POq#sh4;ΊrAOP|n=aڣ:pEwP;dw KǔǡvIӸ]B%34DUY eA=#. Wl51P`I| m0r0LPֵܑ٣XPSN(d2`v'(5I $]R *xhwWR AN7bbw>Hͨ`Yk/Fs)[D!Iz[bg2n.;kCzy!W^\Ek 㪾2r>Y5v9jDaL2'4_8J\#8xunZ"#B/x_gYZH/7{ZK/-3:|p#.Y=H;{r2ſ=<ڷ${EG(nf9`m4jJO,ת3*W~̷6g%oqC.0yXٮ D ;-T- qiB^oFT T(scnoӸRˆUH<;1idvR_|[Cie#ǽI=m082n kLs*|*Un"?>w?k* ytMinR6t*&4مű wyS1\7JnbI6o̧vAaN ,WˈިY ז5o&ꥑiKj vXe(wNgA])%d kgZKTnCQ&(ɠq]aj+h&T>{:¶|5jjN*ֶnp.TLO!ѹp{T`?}74\|jr~alEs5ɍ AO2C^񶑟5'ơ`S)>2:[L դ:zqEFb0 _wG&v#M|?ՓebQ-q; WR|,KJC"\@xe"^)# 8pilk+W6q&{E.^#9bYF.*\&d/{33^F4>;\=|Znk档PӃι^6@YKe5"  vg8N0<@{N&#K^ x(y# RM'h$`8 V71sA [Gxv=OO(GniC,hCwSw۾g|gN-:RL XM} i xXX `"I.G$"߿i#|ކj}pjK jKb6`xSRR-1bkPG*4Ղ kj )טe}ɜCkrkEFԪ y`P'^Q\2]7akl^C[- KPW2lTtJ!A|@`_N7/"䯉zF A.PWCrAҊ9B:E MiaփUyL >1`˿5,|EŰE'V` NXu`ES 5ZC2l4F"᭳ Auc~tߓaylDdVUk(959 Rn?Ik=O,箼>u>a_IɱlϣVtD!9Ӎ#)Io ڋ٢{09اk1#mπ^<˛Ľl!Mi)Bz ';?e@wQGM r5 *}Vϓ4][Y"*XT`x?yubM \K_O7c`?|YsLѢ|s9]v@Gx GlIȤj16`UؐnLM߈Z@'h7.@q5?UZJ7piW˙Œ|gj~8Q!c/bk;H f'Uk G= .H**RFܺnXU}\s)qtvXiGi3}L*Pv,6ulhqPjRL|76ʚf1ˬUuLf#Ld~NhEz!mK&Bf~ M :N){Ox%64\;g_0>k.ZE(C|*dLI:9Bg&e>?SR S!_!}JIkzB%ޡWiY:$Y c0 `9Z"dg+5.|qOS ń3/8lxRc$G fVFa@oϛ@O͒9pXds[د, w^dg<,9`i2 :rx| G 61e?`PBs-62Wo-~94쉾Zxvn} Ȍ3=)$mz6K2p}FFlef]D-s_ӱA ,XmYKF'”h~GFִ yޓR "U9'ĻDM, &_oW_H|NK Y1.V$NFt>-H/@_|JII߭b -$ȨH x|HY8,퓘';>ZVUxC93l@kqy.`)9^ezJC6D 0CJԲW3ٲ31N&u5.gL"[0'Lp}3藒z@"Ow]\]+ j2XuAVgeK兑X~#?_Gw&Qlz@Rtnn#2|k+bZDUupO[ɥJ$ᐮ̻"5] ] "Lkc9ZPR4qaQO,Oq_oA8RXB5yfG"gPsFTIK7QߜKXe>af'4N[+lre1)U+SXA'W!zX\h oI/ㄼ_V LmP_HNH mSAը] jz (q)n<=?}to9>gpIy[!n- y49'SGL̕C9*Q\(^)Z&C;?A8P?Ru:}ϖ9E9[r'ޭ 2 ̗iszu;^n!ZXmM+)MZwF>'MlY={h4U1-A _kANVk")@GÎ`lH eTB0#X,8G }| dGHpXςɭ.R-a"קڡtflRGv g" W00Bu;8DYKa7/5;ɚ/jt?5']h 1kw R{R ?-q+Om$^or aU-; iǿMKq~),c:D:Z(ʓFs'68$xz%`eYVlQ OjUHO 8 zI.h~LM?YU)}z2Ֆ 'mHG"q_TN`jG*Vam{lgdI)$&v݄M9R^j~Uzs4ʿVVPQrnͅťp@zLZE3=It(;Ralq:c*owYKC3^3{q1DzuLswEl[YϽ-Ct`&qB @׃Lmmah | 5z|.#2G;fU]TnaTDl^EB9Ic"2:M; sTM lQM0"YH=YR6NEXƓlXڈaV}kexWCZ`^>q&ytQJ)IFR2_KJ~Z:'G3\N 9pgw-!ĺ(ա ,u dmCbBb~{ǿh4.SFYy:] &BdT4=a`Q ==jwZc "ǜ4k Z3 Q~@5w<D§O]+KVByᢷt@"^0g`@)%yĆ\Ag\f 9h/fdS@# *_ a#*7M:þٙ mKHV~|N?#1'vjE*w^_d-t%fOz* 4:ճ䷍<:ҌJhDF?HQx+$R7@1.P7vl?v Ї4jxfjNvڣ_X>3^)WL[Fa*MZн;5R>E焁3DW$(װoiXͭ,A Shm'1\2n$aKUv|+vW/,:ׄ0kvp|uec~]4v9oiZ:N¸̃YHbXj; Ɍ/BW}@%-ZDi3X?$v Ƨ OS͐Vc $Gn8x)帱WRXOډͤ`ږ ͟[VO|_8r ֊(Nva@~wDx6zKqҢ1&1> K|r%=;x|L˦5_GH A٬1l֋[Ob@Rb4v`$,^7b7r>&^;Z,$$jR<6Ni(Gu >FQ}[3"k}o{OqvLg4FT%Lޡ%yx~.7u6nE1 ݸiHd~'TT2Ǩw"ڎ? &)?AD 1w ^iUK7coVp;kQR "[EaI&7 |R9uY39wva}Ǎ/Khǣ10a< O 7jZ'P$d?OACDX-py]9D.ꘆ,@]KtL6Ȕ4Ҧ<~ ֜aZR|ExF=Ji_rT%6N˂ConPzD>J5&n>o}{@ BF|ހ8KݷO_P1#,;6K`b޴d$ +&᷆U[ZװJ1129@Z-E\o1gn|˱n9Xp%#vܣ2I  !fD#X ukd>ZJ ͤksRfZqbFg;upyLEW^6u*D0QyQTV;sCt="7n^VVџ3XKϯM+ͱgYZ ggj+1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ*1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id516)1;' 3CdЊ N:Iv_eW2Otgm5@S@`zDQhvj<5HC O][n{Q8mgYZ9( 1;# HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! Ϧ&]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@[]n擵L#բ=m: +.ae)/2ؒ٬0[6VI8;8*0z"J*\"HtW@MQaBO#I7yuL]_>Y$ҹ6`WHKJ ˔} .1-azjetGBi)_9֭:5)zVgi CY\H, %Uo\ |LK-'- V#OZ׏Pd'q1 3KGmX§G1w P2s7¼z ١#`^QMBXC2 Y@=Α9|K{Ŀ;'hQ$WZ bV 3A4+v-fR:[H[r̓3:cDl`1;M@Qb'^IxpmlV^,Aҟ1J`/d$&5ȝ>W.I3Jy rr;N5/* h|z?)V:Wo]k؟+1'a@+>oaK. 4xxkHHy=Q9~V ,n72Ow5z˝4 Ggs_<<v=c):nqtW`(ȏ@bܔy-MQW,!,_}2g oqp}9NqR8$|"|ndh wf0K^񳙪"2pf"wyDޞܒwY$WPyQGv(!u W7[8f<;~ w;$ UԧbtMOi,EsHX8,gw$b^ lF0prhFn-R~2w:0m_.qXEeQֺL|4EU&=foEAoCzq #馠 t{.^ViE͕@m-XBQgc :$y5wgO׾fEc1а-[ Sߓf_'j@*qK$p33uҶB-]'#pn:ohؘVݭ! )-/k Sx?TE'E21#=oCjt5YXEk);7u8ubwRA_"|?}*4[aiAɚ4+K~b̷YDnzu<^nUvQ,ێmt# ohtקT"GvX |+KI6A>b`9S6 cKCw ԁJ yLx4#Zlvܽʝwm0l$vjۿ 'UBOi-NJmTlUC~9]"`h)n&y94.kb(#A7vQtrzi6CtMP A?~բ2ksT;g]rU#5T3cr0kHb( ]liJ_hnuUӑ*zFdH&!_+:'ruhfIOV=wYSn:(kۜ|b]leGe1w#׌%krGK8S37ހ6ϵ?1I1ԪHS(E3H[Gv9S4Hݳq.H.m+5iS[w .ǐ&; .F,C Qu(40,eq0 '| NN.凶 SVnKiVJ3N,4n9O:F##(mE1=v$@A;Ar.$Nh!H-JĠF^ MsSA$j"Fv ͸)YgpH>ښay(NACCyPjk@@B1Q& %M7:@f"Z(˓h͙`|IshF?cR5yk]9ы5%+ B@d1]:b #9;"Nua#6i ys w UVy clY೎H]My&Yqo ?)y#ДkP> 6BPhci[x!@7U wYsEX D\&6 -^.o8B&&'dGA} Uˤ 1E%>l X_; \f8sC*6x9GMLഠ_ĚmC+ӚTPIgʣS/94uV*aM͢B"m5XЯ=c7'rT#߆G3Wx ۦ^uJ%@~eQ ϓkQ3.*K]^pyyN'.IuKs&ͿTFb+% x ko{%T:X1_J/} vie:aTKgקBήرCKnTMڗޔ L@PsRl*a<GbMM-^:ZmɅ6tshtBd :-䇗(d--x-CR^CgUFG$i#h> J?Ɇ- `_&o)I2⹨;Q1jn\`LΚÁl1~kU+PطңKnx gunIsJA1uzuZV+weWrӃv|U}&wэKw#.y"u#s:pE%`ѩV/t[4E@AS$9p pS>W8:kc$|TBv\2Dܢ\EK(]j,S+;iX_sf|o!h&^"ǝc1e 'p!븸|L[/L?/l #V.B.HpF\PŝػS>_<_rD>;+_"E(<K$lQ%?6ָI{y'鿘k70'mz=|T@P"~3jh2Dwk+\&: ۪#Ժ3_e#pτ T5 VlvJߪ4UF_إpӜfl<{Ґ&ڸe#o+~fJL3zr$ k+pD͑s%HٜĚ&w8;7;(*M֧߷' QjIpy1M:i`m,9=0۽BRp qz)j20Aݤq-:Npm}陊lXǿnfф[d^r=E|#;3kP҉tT$, qLh!,& 7~D6s}A؊J7.uc"N+%v/UѶYeciI ?%}.ăoDo ˪m|iF5Dhs_Ñ*^5ӫܣ*%qe[WN,zu=sµw,. |ŐIϺ"$Be n`I%37fKL_H]f@>Ѡ- Ϡ8:t|ѿdjv#lu.mV*nС|b>746iQ~zd9}vtCT7udj1TLCUn>W+v\ę_8Áj=BгDI; ŠwGŹZ*ɇqd3ެt AT\nV !™NUA-֑E.珯PE"4 @qOW0isb}N65Yn YDŽVgy8=X"σVYh k.C;yGdݻ^F><!ѯpɴWuXlqNm\(o[fN+~֢w&5&GG˞KUylH2eOwS ~-Z'4K/h0J/_gWAK@SrmFJD&WvdIMhJRN޵u֬1z@4df8 XIgOƱ\sl}i b{u O#9a@VARJG;BqiSt۩֠cqe0 b\WoWz9*_f""2R绠_^pˡo-aɤ̇$rfv x] --Zi~S.Ï#XW;EU NOjDsک=yzWҲGGR1|)&lq\Dl}T87؝TR!6FstB7tM1'Er@}lne'jV(Ӎ-kx1УiDOa@ܹ U d5 'KyKcoEkpe1e,;ÿ ;GdײrH8~lgU:B1`4ilwwaʂ5+H{Z-\M DS4&c]У$3;rX )~bIk Xl9jJM£,*N3 !1zcE]?تF+. 2Rh{l=~+p8JVCܧfk$oھ@1{Qaj#j9~ӶyF\d&qoW̌"jvM9v/+tʜ辘"À YSr~+-'U}Nݺ'ciJO3 RTf 'ژ<5#L3Rlaf y)PZ9,[lCTMgqXC4iۍlll ?o"(zd jtz?j`JOU1 &`8CSG#3QGp8^֤8ǫw S`pUh^< ȱ$:5T ׋usmg3MUݐ R,`R=qSĕo!ߑ:yRg!A<4XlKW}N<Orc4^uWq&TϊQ"0t'\&жӠrަo'Ъs]N+ {7AT){f_*`e{kT/!`1RMl3|ǃ§n=q8((䏪+=gߝF٨vNyeBEe`"5Y]r丹{L@KnpMbSt`-UZT4s  7iI֫W*b7 W;m3\k&kpQs'H(IIߧݡV^mB~B'ũS~<׹bi䀺5e. h YڨP[='.`A 1 Kνl~3IT1?Zv̮*<2жCqgPJg4r+];0"H& gJ P{4 FG-0mL^?4=Mhf$ 04!-ctiZu;ǙfS;|bՆ\yG!RC@K RMjJܯDŽ?l:kKYC8U;E𨬠AdspX:hAT-&BG<a`tܲ[{k%t8pQdv3M1Fq50 l܂s s~S T ėjSy.l&:0^ʯ19ݨ~`|k vDVTv?7uâ9E}_nrRl}cP7SldG Ex; )@NgnC,\#k ~5f2Ya"i?tK+N7q,!lpļ7Y( AwlT]aDZߩMQrX YCY`}z_T:8Z۾)]ٺPĨkK6%w*C|2xqFۆdi9!P_ohZX]eg c*Zov8ۏsAq!f$v/WȽkS;1>jgV*gL gB(/'tιE|]mE'R!d旖P>….nއ_q[F8O;M%Npjk,po&2 R/: pP[o;h vCj}"}JG]n ~P:1@.5h8Ld;hRDEyyDՙTlcy9 ;c7?"p؎$LA wU|ksi` !^'t9s[@8J`y+⵰&hCQ HdP!k~+1ȍ^4p:As]KZvgYZ  _o)^21=!RHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files~~/src/HOL/Metis_Examples/Big_O.thyD11=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_id532U01M# ,HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! M]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@{V;EPYcd*aw۩Sgf+bbʃ;~mU^P{C Hu,O8ٖ]|RQ!:8`uF%O5$O3|K[ZEaxp-0+rJaS? ÞZy5+ ?k4I:j[q]mVڑː <6ݻ!brPm$)_Da"l%{x ) w؜Ch<햕2! d Ӷ)up/aPܹ]gK5MBYMn/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_id524i-1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (b]D?7 {?:fH\6/ULq'(߼Ė>Co%>5He7fM-{67Ms{Ep ϷA{@nu<ʘI N%PE7f>Mao0;w \o&eCѐXDU% 1.9j _`L#3|$O 3UߥǺ KBضZs"9;_hfe A/^ub#~0TD?&f DP&u($^Qro)\0:'!p*܉DEWЅ݈1$+۽"fnT8(яzdӚ;p4d8U'%ј~tGjڥ"_($Qb߶O֑SKP7PЖE%_f1pVY0Sļ#qpU:3mhk[bQm`_;CV>1ح Ia8@Q gYZh, 1I# THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! -%d]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&=aTZ܁ wΕю0 v6p~|vS721MٮX ek_ihk Kf0]h"/CUJͱOt@ɽM6{O B!wu5* Lq\G{)#XD.< It rt ~K3v}&.itҶ=EǩSp]?[B{; a[O`g8O.sJgp' \ X\Jwz23X,Oni`ȸ?%o!ˑMUlC}!wnp=Lu*b][9jnįXG ^D>ð8DFr$K`b ݑG O[z;bT`<> !Cńjˁbԫ;lҬ 1!OCfP79/ _IP)G -,}ӡ5|nY.zSqPV  t՟U74sm _'ԇau_3:@JA[xF*a|H0z4wi~HxNQN8G* }ˡ؀h<~cѐ Tqhԍ<7Bv{C,2)ބBF+ ?m`jhlW AEna0\q T.ċŐx1FMxlmkӝ|cdK&=P3HF4xI X<Nn+Bѧf'kwive?t&;~vzХՍ+,K:rKݫ`$zHegoX*(y./ʕ9mc A%__ר;4pyGߎ'ގ#-#.)A%$'`ۛLDGsl!\f f$'P'MG1e 1Ĵ@Z⍄҅-#KlsN%zuzB}bod ar<()|Ұ4zS6C-~WC5&\w #>0 WWJ[9S.O9ݳ3ti_ m@kGM=j?>ڱs(=G(JQZ"}lUVCSU,ɨ4K^:G+"!j0mmzޔ#6G;Ȏт"x2 qkˎ#5(;igWD:\HJyۿZK>fOjJҧl@]CHDMTZaS[t. v5[ wV*7҅fvH[JCZ{Jz C3ta`!mñ $Z N2< z*ɪ(\=yzN.(5,Bz5c-?8S[9't= RlmnzVg>#~}u" orM3K`̛2,8}fDYo \ O>ty׶Cz̜[S@&=q` MAs*щRXm4e(heWa9nsCr <^P`$-ހ`@ʓѿ ڏ_1ݕ,}!3D!KemY%]ʏ-P.~%Hh_D =3[$+VY_8_e콇o#vvO1H _~,}=$Wk9B}|bE91!KHrp6 񝡊 ^Q11foMXN?5}14u \n_)M#'0PHS%Zolӝ eLy$3O}馍]!8;7x:;aUQCF V!{I[4[^Rѯcσғ(o"@~bv;ޞ eJ nߣΙ.[]C|~kםqO>śĎӼ;UY`8h.?Jɕc%st/xPis,f9fC дcƇsdLSP[rNk[)|D8s:+W tc4/{~ 䪅:WYMin.GձT02;M4_U` dwN~ݫFtZDkt.* Ϥ*)MWK7,+=_魽_GP-id?xCWQYZ8Iu,فZAWD!.aKx (JgWI܂Zl ͓Dʪ\9j[g=pa͑9$8"rTٛ\ _=;j1Wg+_D9wJd >θ×O'z?tM Qk8PfA$umN6sPa*)$@و%7b.kr}= ,oqk,G!Grݨxr։$ bR! "c~ev5IzIU#'*6I>.VnM8t_//~BWk1\eIIKiV=\; ,׫XD6py-qNDa(*!T9:"'La|j92m $^)pao9`w -$[dq/? e5ٳ򡱤&| 2 N$G _^__:}~|d,{`ɊA"c<`#ȕ-!X7Pw*mfy]ȭݲ߉%?xJN;?t/'$^j͒pQp@8WDt-NhzvP\7` jܝ:?z^R<.5ҔC6*D+jez o!y][UM|rw}P;wV@>8E$KSҚ>]0|o.v ڭNOZd3@b%Vsr;ۑMO(t#BwM\NnE>|"6+QG5( BUB+dNQڿo47~faNjF5 _ F*C,FS C[RvVҝ2YL[j9Dub0jߚ9snÏn?jbZs7ΤWdV]SWd}[k nF=Lde'UPElrሴk8%CY)c;O/ w_qySzmL!fyifҝ֭o{\_I^e^Fz&@9s}6V|c]d.j yPi~c2ݒ 3C- #}* b upQ40|}5߀ .qm-Ub27s#j%P9R8{=*9Gk';Ɩ>hz5.3~΄n3bv\Y&vav_,sDWDK#>5VCix!B0[؈ /F"'(mq(YF_XƔsȨ@)|͆րkU.;rڤȿ;ûQK)Qłɩֿ(Wܹұd?" @rcW{v=v J jsj$Hr?Vߖy6:[hYb@aXi.]4 ݍ癶jVXDR}?Cg95i V1r~% ZV 7 hrEN?ZeSp.d:/R^C i3`#'@e|7@~)Ab:jyZ"vviφ*Ebep'zD ^[b{/$i;{r=V1z]o!3`lm)?9j)=вyم6Z-;bo8x:#okj'nBA$[FEM~*T_e'Vy֠&'q:)%vOt$J>+/u4/KvӮ8X;+Q17iH.]dS8ԤTYF#32sp&+O[.*vZt+AײжP x NP$ڌ]C *uƓ!c>&lߓrDъ yP>2W\1("n6WspH ؋HW; _1S~5n N:= 64œ@bMhIF-ͷq5T'{Jsp-:%?ejCME-FJ}[3w_Yϓ#-Es"` bBp-la$ԜS#e-[iNb R$i3ȇXA!/c_QקߍzFPNCj& [Tq׎Ӽ,UvȡݚAYA8hbG9a4NT 4  n0zD`zX.W )_ #Z;}aBlʵW=Iw"<+0b`޾bmI%_(e?GY:$q}ORwI]maJ7$ YSIS7F vv@)!T5\|BE1ayV H"A'Ł_&% x O_Yse\ӰyR~:VCJy.vayb#a6ae bP;ٍk*7*6\t02cݙў筗cyt.,P,3êa]i;Lw Ci¬uGk4k\vtS蕼!˪N<϶b2+eyŌ@'?ܖ8qW8)Ly~#P_nG$Lڻ16Mo2.qwE!>CYI@;j":RБ$K}bqxfYD%^ױLgp!7\Q-ƣ\Iu@VjH|4}lC 4ke&ixe'eᩎ#/x*@/(b<2,"5d1 I"+N# j?"JUʮz-x$WyA׀P K^;sb!6Iv:2PO8B叓 1\]SOvS,8Oy`rA/>?r 3wKFY`M#w!TVх]B68췪&rʚɵnOԔ98UFGE7 JcMl٬mXDZ ]!z 8Y }箐7u]Zpe `|,EUr3_/= !]̬;uLOŽ;F;e7iۿnAr j](Bx 1|3m!gc$(;i@Uބ )Dbd9Wɿ:P|kǢ D,piUEDćJZc$!U5X.KUGy[9,;wq5%$#Xz@BG9lx P>݀D 7! ΂At7Lkg}+$Y+޷ȕ>3AioQTnl=Ō(>3Zˤ? IZt=%8NrlY^nE{,nD[{K+/󔌽 "gM6E9\Kagh΁yjiA]JT-AW0Oӣ2 ű.)T^+.%* &IPDFEP:wC9-P88g A-W|彵K|+8MQ+FXяg*+ vlLv+Kŗ 8%70j@엥z3& P;i`L?.Ki G8-A?âFrʏy..^!˘n;t <FȘy}:kCeW2N93mOS4f2KyI;qdz.u` 9yBM|_ uPhTb%ҵtzS#5.@t`TeVa\`A вWcϽ;L|@\8P1[8z9Zԟg){Q,L2iìk]0)YJdC7W{%y&@c ; LZ|/EU!Dj,6vJ/Qn5ނ3fJFM'G6S+IQX LGI:%aهxͶYjwԹ2v`\&"^K-co^D* nKVLajt@ȂSSВjy[cl8Qr`86׎&Ǘ8FJ5k7͒G(90%ju.Ӯ}!ːFohG~#^֋r"TO}^ǀ$6&1>)8o2:@Ρ);N sq%wggڧ9]b@F54> T]|)w|쐁&jK-=<)1@h ^;<?OטS3u%\ܼmׂHUNgċqV34$ q_i#:P̣*F?Z?0\a`|I[v <1NfYh6Pyb-3 V8 Ū,wy_lnK:͍+}aLdT~[Lzu]uzT-F Lԓ_7: ɚRcST&\0|A/{@ Qf[0b*'̏䬇s_X)Dm*7PzWm]k`e\4F@脍BF8-;Ч^Ti`'zD4% 2.OR~Kzl+5CAnN{BEa8˅t"m,N>k8;뙪ɼb|.S}Ar{9k"j8Eqڄr^s4g*ӨB3tlA>1ԃK8d@Eu{d Uh/WSZ 4r 4ॏCm 6m{m8ǴWYf7UY;݀aWۯPMZo%t2ǰdV_\8  e߻zA2HԧEGmSw57ޑǪ]isi `)I\ _e*572|T<%En9LW6&%9m!Ra;I M"M L[ .S5]{ECxݒ٧ʁ[^k|aea܈(| Y#e[+p:d σmˀF$w zWTLY{ ARQ_!CwuXPu(%pn0ڥ) ' pL*M.U33v8Gɜ9#(mS((pT搃HQd6<z̛8Z`'{naJQƥK('K{ukݥ3 '~9w_:O2/s0o9~([~`;>'[6#nHU"Jmp䌾:/uN0;%G*&1;|Yta7[_7"X gƆNޔ` &;"9n /7Jrd%e_;fxzҺY7v HѼiKSN.o" ѭil-9tD0a, +E75BV:(xₐ$K6QJ/5^N ޴VqYl';XWZU$#}@8 9_ȧ=1U1t vqC5nfɬ&#Y ~*m2˂v!(4e_Ռ<ۅVg%4ӛm蚬Gg慠+s{-ܞCen&hݎD깹?D-r>&Ze,{V ~aci:bQrEi:*Cj_Ia]I5!s.?/v C?$0pY|>=OjNړ6>c(WԆ$%f/ܤT_*mrS)ʓLb5j H {?IOmKFhvI[ʃ~4Ą+ c)/%?Z%<S_Eվ^W{T;)?5+i 4@Vg D_48HyY$`c>ZM'!pZgiOLEx-SDPd(2gAih;+/xl ,r"T!r-[ aA,'=̜%rr> 4\`̸M F5=PMkjj^^ҥLGp}ofGWW6S<:wiޠ=BHlm9]ةvH ٞPN=cZ"*zų{LSg&_Sk&B/WD=PA0kŠ`QU'xx';LFJ-PY}ev<  Z/~9ѓ&˚A7J,j66za])i"KoFA }DM՝6xǽx W?Cij#(3^qW[G\jYvcLsQϑxU]*S3$~8t$왪A W;k SozL{hcrPi2θbHDXwc/:d`[FY$Z3\'HyðH :p?Lc5"GMheuE! 2QFh]&;?qKK6if"? <z)"l\.h)SrQҗ e%c0瓭\ݙJ 6 0!m@F܆R|w׀rEBDS)e눑[h75)Pt%9Z/jru`,k|95($8mGGpppz} %W*%-t'J^\ 10+ b+Ȩ/Wq&ELQtB&M'p<^H{WVϓlѢ~cE3LdoNCLm:bwr{¯QkLD^} {Dc㓐Vө4gh@ۀWzbWA"ATxEֲƐOLa8l?bpjB5C0Joݣ%OZ?ˬnAw''~MӿǩӶ.4*€@6'Ba ‡P|>^8@ ,(fj,u lZ>w/[H&q7̿Z1JEAm)f*y9 WhQTia 3D[kMW0-,ے x2}=_[BdzkюߍZ9ݢh(Lg0)?̩ll2s :B?ׯ z}[=F k%VfW 1W%f ؉&uY[HV[o[YyEn ڛgV2.ի淰є}8'ɵd|Ǟ2ꙗ?&:^# ?iPITqL|q#RM/4xӼc[E"N@?o97L cY7Z5vHxѩd_;d.@{e7I2ᵚa"6r?Z#TM)v;H*d5#j\6` 2(k;8XZ|R.fu`wZ1 I!fOX{|ЌFй?yXc<^1r$)ꧻco#zƧH;R&+]q+VˏHUK| <ͭ 5?fy&jF^a1Bukr.ÁwaWglM ~&:{_Kϫzt4k8u8dG̳кvf:v34VثqHezZ8wLH"a̓1qR7C3qC'fH ,^c7oKuw`K$w ,&mւ]3*z]d,О,p-xɯL5yP#h^4v(BC@sS%(=)Yf.>[.w-ykg-cQ|([A!l~/Qâ7`Rѯ5Ŀe:wVp0,9]BxȐu>fǻ࿭<"K〽*yn^n[I0ATwqE>Ɍ*Wh~#zzN،+=+%PG>;W-X8O~&C>׎xÅb,6KPuHwZ t&>:^M\hԺS4Vjޯ ¥A1͛]D95WZ>x#?Q a7/]IjX +-@ wϊR(ΞR_ 'GԦwx舐mՠ)sA\)-wwx'&ҩU "\^<)_%m1. zh2%!C kO $Pli,*;9 (#E@J":ʣR|F1|s7qº Ȯ+UP>RW.9;rK+?Y@{y\|g\jk: hۮZTzMt X@@'@bbdkR;?1C[\8Z ya<e68(:) &)&@lĪZ%oo*@.X?Rzʅ-(+{ь!m Ux6T`Fp@ى$:oLm;T?b@!VSZ% k w ޳E8F>E45PFs/gfs mlTK f!> p4 +';^UIN)V5{K!kd9jUƅqb IA#Kg;"UZIh+?C\:zegcK_ 7mDW92Q62ejʵց TC/feC %DH&2m j^qUHrsDYSX{*)ih>.g۞Uor|2Y=1VAȩ:`US8FJ0<-d1P0!0%>G͵8@*]e I#VXu,X&>BbqX8WmcŸj}Y\&3mG91CݭFJZccvvmV_:u7\)#!s}-Omsj N'cY0XBn{bҘkLnCROnϼU<˦'YKdZȚs{0 M봤j`~#nF=5py.&aIa!b~q穱luH~26Rm~s{1>c/_544So.*'/ 蛤6&>.)!# Ŧ.+!Ky,$ew>(RW>iA2a!E:ȏ/qUf>17=lo#7vYNAS*h{mENEw8M5F7*6S\DJϼԹ!c#ʹY[ŕ刎^f6ҋ̺I)AK>XXrGĿګ]wAV(otI8]KᲰLqϥUǜzQhA;Ql;p<4B8B\-Я!Qku,Rg+ӈ4.ъsbcahf'KC ﺉ˞zaN캇Q[&aTQceߡOxrƙDQzRw}u2n yC󜫏V.[]uBϾDC85|C8jB^juDrs (5[զ|`ܪ ʒLn*CpFAbƖlղks RG+ Hm_Db016V_>aLA4Z.t\ynLF|Ζ9ɂE5ԧӻĺ~5b< g}i SJ5亢qtSRi3aY H0ځtdB ðN͛e_-%:7 IlonXޕR2*̌`3X %` rz'LtP(416*#ܚpFN޽/] d.<'9: pP (ʲk'6GԤ,|@g {V7Dc AI2O൶B'?'jҗD"!BR)W(!++V韨#{+g}9_/^\%W#*xX3&_5XA^J7=wF_ [ܶ;5nIHO7 Y !{j~|N1s0s$rR:n/&9:_MuvW7I#LDTוEw=lnK/B f@(sϺx [&E݊' oCr3ZyT7, Aw]b8 5񍗦B'ʙh"gxgMob-DZ(b֬+DF)!$߼1 TbF#=1q.Fa0wlAZtЍ#6iTlug1?M 8bG +]0uѿct(Ѳ t,:jb(tEP)ݥz5㞭ߪCz]JM; 9~*hMx}; ȁ *+̱*u(/i^00 Pl!*8 9PfV]͖gXܶ2I6&)_{!3PClpِh#w©0W|zvJWw`8X+p8jFN4adW7̡ԑJ!cկO 7xn&3'wK .NlsEdbiAG*_OeqOy !gAmBٔSNխm2$y# ?d+eQaݤ7Id|tԈwGmA$BrFoHϕKN*W+&$yI*CƷOjE[qk`\`5AĦK&ΪeυNNʚAcMna-Ǡt(С4UIRpBVJXr2 pa" wZe()N!9NWQ dle',RO>:ngcY׽=0h5P BI*jRvx܂bޖv30'3debAvr. 8m]\{HܼzcqjZI=&SʒG4 R lZu/{gI98Itc-w$ c; ,t&dK 4pg!v5!?57Ͷ|"J)G}DqL2B SvA9\S i*x4323:73yo$?ǽ8_sׄl[cvʨS9 )U]<}ŁtkfzA$g!ˌ961۽޺u~hO@*UbEDկIx*t^]=T)?Zx>?MIVJU.ԡ#)]8?>$9{&[vm5vuFCPϊDD/K30q]FM$sKjOO|Z(XΡT9S.~~`CIY Ѹm<,Wso[q&q ˅}a4kjKF cm5Kb2H@El E˓j؇U n7 UEnL2/7$!e<8rs\v~rS bs`'ulG;zW6E?yBV)cc_(7K_uUKWOSЄD,i-T` /q/`{f“|ն2F"I :H_B3HSkjoczzj(u]z{aOI zr}uw.H%-QF!j0YD:Vˣ4: X*FdC[0y6GELȗU|i,4bu$/3e o#*Zȟ}aM?sUT2?RI٦>m8mʯJ$#GJ8RBcRf=LdÏ=`e[=pbTCE>ƺ=G~ޭKL=F5"R#͹%}Ly\V|ZYdyV]l5_~&-;xfz9GUL}Eu~bǬ\zeego $ղ ѫJ~_ҴeԻNwV/.`BT0YL?>zy#h}ښ3VRH7=#~,R4VMCPBX0`!#y }nX#ÈϏg?eXs)Yo"Z,h笒y<NsG;RI:EXJ8ÐdK7 ³ ѕX;#ǥ`J]=} 2Qn*8QqsxfmOf}n>"mnd 3Gd⿏n2* -I*"$پůܿtku->(xO Y! haŽ=0~ :psL%i>|{۷_W*.5 gZK]:)m_x ˝@T ݬqe'/޺wgrG,q]+EU Xąs4w>UԂ…7ͱ)p k⃯{ { %|0>4Ru5TQj}mNhN&ߊO]tdW)(g1Tm \0 SGăo0TGT%g͂86a)56CW^Fk۞I-h"OFቇϢY͘۾|(Yne zUxX8N'zuw}\?žža<˒:RcIM/ )j&=. ͦ.']kR[,Γ!MΑd O30mt63Xm_(,Nk[͠"(WKnkĝ/1R[tI *Q܃FR6?}ة_Y:"DrH ))<kYOwZGŠWb#Ӏdĸ1 &0֠\_bxlij3Yckh*40|l pZwcM1^2"`WBL':)N-"OB&}-R%8wTn$lx~'| *}*Mx[4'e{ςD] 3-rI{)- 2-QŃ,kUm!wC;C"}ߴs:B+XP^V^oLMeɊu32SYɟƒ}_[ pBHG'(Z#l"84lmS!ZK,h~"KiK+t0>c3Q__JNwe\o $@4PHobN-ĴzZ>1Sc0 #`|qIG#cih|͏dw 6ȎJn6ӓ=g?! w>cQ4K[FeG { Mj\?\rj}\??:z*=s-P`0G0dgGlXF փF2%a)0%~`閸x ǘ Ov6΂|]J 4yr蔟Y6߭d-fRӯ-/!Ym}t]AC-ៈn&4̺y2U^y/mn,ʺ_V<|g\Ѐ^ٺil۹0K/p`Ag? ԅ1:4NJx;,~7 ;Tؼҿğл# '7ض^o$VSޙqejD*7 YJ:Ohx` YS'>\Y~Rr86ܛJj@ϮΤ'{+a]yzR_DY~owcU-~e6} ⻐ C#̾%|a˨e"jWCT}nj Y޸pс ih8Vj|"K ֺIU[S"MqY6%v z;9 =LZj=c%MUz9U`% ّj1Eرv ?I#;]u৵$נP[,2PV#N>!?Nr6v\N[D3$9v ; (p0K4oV_j6GKNxCj'坑MGݻ~*^t%˚( (h^뿟]b(rt%œ{'NRu앯b,L?͡!yM[?={ٵ!CP,\qr2 ȥ9 Oak`G0>o,qĕ%%YŻY,WNBarx7RzS-c#}).=@#dBj˿QPh>t8>  J1t,Op>fYh^nPX`D,yj@nEL{a JXrK # CxLtW8I456>rP] ab`!XT)0q{ 43qg%_~^؃!W>;->#| qZZn1J Q cL7$<2j$ԆC_ o-څ>Tqim~BL^YO븳 l)FprzBE⨸% U,f%Hs%\xb"ؿ[_GԷ_4orF7w֌\-&~\f@1 }f% *cz  {G-l}w"k}o8"F$s<_512H]f0#~$9=SZ*fvOj 32r-b,f^V[o5Bjūx /Px'D):CH2(XDtEd}jG{;?lik".3\1Gk:F,|rIxK1t@8,Y N?) V⬾x˩emGmGMrs0Dp&\T>byǨVBme8lF~) _ ʀ.@raS4< \]`5Z,eL?Oۘ-:T[~01I$^rVwղzQmqUGz$婢: 7C\Qcu K>U%'28S% bwSRV1o)Py<%_I'.vDUNZS Zʭ:Wܭ_#FV曫^/Ynh߫ -1uN\ N!' 5!em~!!{(U, Xc T)qwbc<^x;,v.)HdcwHZ9^]j6RHaEz$a~e,RvšVcôc a[V4lгƻ5㟫 {LI4SˏIWm-y8DlxA%3qWV]/3vT5htm .@ )(B'!^7猇%%jb)VQh5j{G ҈FqpXM'.ˠ3' i ǤatV5Y\U%c_N"IqV|_mccvA$ΔUN[[fSu H%٧i6YoxQ`8DE~-^ɧpVĚoӷQ3bhÅ{B{5m_:-J5jzYm  W8]Hqk%sO Ǝ)ހTP=+K)¼~#¨FA>lW(P>%咬O㕭2ĺʍkǩLCk;}eqPbwk:>46v-;<0&)y)L\Шc0QM5vtzt>9@2ۯ *Gʤ;@UH&D7|=B)L~켍?8;Qߐ:͋*HQK9~"Ş|?؀~Ӷ,ì Q(tJENCW4ڄx7ΈY٥Wz$yFp!vRQeROǥ_ l^| k֨l;=',]pcYcEaQ2hvb:s 3E f%kt?L~{XyVK]\Ck'M\Dbʰ8vƺ1쀱]!A|-jŝ 6& ?Ex}.a S}{ö8jjFO~ ۣElc>iO_Rz9;BgzZRtKc"F#!\|aaNp(,휅X!0;s XS:L?N=Ci'(ڣDN)FD_7L{EI Y]f /}G(YFK&| \kEyXi.ĸȜr -<`γk_G$8utFKYb8Ep:|zX2;Jp$M/@Lp"TJ.[ řlM zU^ /z4@8,Wsj! 0N~.ְZX] ~WHKN`~CPHhV5De>(2iwlnm L]-Ør3IѲ4hOL H\&v$T*?Y9t^{ĥ2m0 f$ ᒑ|ޅ*lQp,U= 8QI3G5ޞ4v 2ir~޳zF2HE {).:- /%I@ls84xQ*@ r`,rf- /A;]H^ *sl~@YRw{![p+)4*X{!IYĘ?B&ɟ < =H}mb o~V67gVOW.g)1OoOۻ%c-]}7bihv̡Ivp/ 4;]5IӨxOv7GK-37h^ɩC&VLV-h: !W@cȑߺs "X̩ QLXo" IlPF8P صT-=|Fx(7})NnV X*ow2ø<} @QV˨Cݮlh=/X\\,[@v٬"Z߶([Ɯp)}4b"e {bo{A W9%m #C9d(,0̏lH/@_##m%XÈE4,7DAqH䍐v"} 2F6\oSMeVǡ$)}Ime)svP!|]X zx81%r#Rf?FUّ2Ww*\V/Ub28KnxS*W Ы~2% [MJy$:,u o% }G2H B)dT%"ͬgti~ #$Aii)Ⱥg7^n38apexD;s*;;p^*_ ̥[Eu ZK8&SR XիMO`#K7n'N.N *f(hzWJRlzhiST"顬?'1Fԇ#: pOpuzpS?N'ҩXAgOKC$(F$qH]"x:zZT?g'5$ȼ4" 6KRat|WB̑ʞl6< :d3js9hSS-HAʚSTФqaBHաanc# ڟcAZc ֑<?(c e >WUz'` l27`9ycAQIKn&]5)) ]9SOGzҖO@)̘V"@y!蕐_eiLzoGS6[*hqwћƥp⇠)t@qjP! Sg(y1Nu]5IWY#`YPnHR gYZ *3 1=# dHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! .i]ˠ)jk2p O6LP=͵gl5f&DffE>y~m@&;2Z=TpoJ<1_*Tr:'u5aDNopJ0E TxEv7M$4 y|8 rƨC<洆4U Й8A s١NStt.nSD,#X3jY_*r̔Nn bc>,ުC0,%H61<^p{+mk| :C>BZ.#;:d  bg:숑Q9t&Z.%omՀk;{>I@xփeA/:)* t5WOͱ&z${{9=>\ (wh-Fg-wmA"2n7O.M4[JӨ$d@;i!vu@g哎uw/@`#J.]7[:}c9c 8 7B4|ͤ|+ V8`FJ+w{#/1跎LgaVqy+'";qbS@wq8z_)U4w^o$?/)__z!+7'4D"SqIʳ[;XA:QҔ}4̈́dr(S :mށ7o|`tR ptw.DĻ:uY!dRkb_nԒ[[O q6U=6j8toC<ǾsqO҃9"EWQ+I8^WP}f>5lTuY~ /ՔQX4DA|h8v.ʻh lJo }yu(s-ܡ@AP,Ϧƥz3l:F}a(%M/'pī瀭 Tב0 s_ JDh"0`ײo`1U8-J'蘵$햓CSjK0VjںB$ ;WqᔎNMD1#G|ZLvV8ܦOF.@yL8ܳ)>|k&֢BP(Œ棂ĎZ8P8`>[XjӺ9xBgKoB14fB]rD|a@=f@ wgc<\hg uZ%[.ק)᲍=r+$Y̟Ye'TaI"vwԮkR!ĸn2qttoК$ ~9#I"CI%7B̢.Òl  K\ V1wg5OA?2u:̺Pw8a?83@^` 2Vs~g@at?# Z~s#e5 rk|TLFC0#'UXb J`$1ʽ,w`{fh>eݑ=w, 'B ѓ*ߥKAX:7U>}}ij靦sm>U7UVfj Jneh`HebՔicYW3ꋖ>5zg /Dp`=\(j>$L۟F4TQV1 vJAO,K'Kwi萼COw#^R k,qOUz\nz۫C bvPG!Ffၶq3E!3xR Y j[|WfQ}?`jfN,=s[ ?cNJjN\=3 Y5IY8T=J+?NߔN5g5o̱Gפ0(`]n}w3}Bü 81Fj{/q 9(3z}aDZFPT"}ةH2}oiP;g$=P\bhE2Z=$R}6oueo4\5+7F t#AcW<;B޳t[,6?BLKAf?Zې%spȐ<[t"jw^OH"u"-=[P %(m_ Tgxcˮ咜Q۫2a9=0ߎyhE|00'Xwe 2F*D ;%EH&5;1]hErUX!Jo¶Ƭ5Ӈ*9/ Ly_d VEIx݃tƴ^7ȶ+&z,Vi5xol9)@E_o]d(Kpl“nv5Vcψ+EzGaƖqG} |E zl44I)Px + i.h'Pwv'$ѥH8*Bj G஑QSP‘ F 6% #`V{EN7Z/ cVL}v(G,;/u>/p\*uR@Yƾkg Uz=o}-saf[4@quŏ;k2A1[bm_qxT X-Qq{bw/pF ry!Z+& ^xN~gfAǒƖA öLMA $xQx eIZJx 3U`:i}7ax&hnyt_."T68nU0N?訰9W*zýl牣OcD:Kt%#qPj~QAk\'VVN/OEc%K/t▄q 1=F7BfMe[٨W =' b,~uQC$_1ZYY {Zsqpʍ3~^ ̹m^\(n=aBCPk7ڭdR?и?+DB#0kB?1%dڎlNVP7x_ʁG2fxv>\Z(ԛ"q1X}s+>𨨱^ݱwX{"ÁB>#g|W7w!XaR0r Nvʬd/uyDo R>3'&TU#޷Cd/11-uY(ԳKXKՉ'jWϵ7wW[_z:Ǥ("&DiG]l&J=͒rtmUxaI.*9+袄YSN4©WQ kWPuR!1(V&4=l4ˆ7?@s/|G-ں0$='r&.GKaeQO9Ʉt%FgTRSl8rgH:QfgYZAjXAa/@]`6wf\blmwS-M8okHKxJA>KbzE)ozɗLƧYku q_iDEMO[y#<=_VQD-`I%s-tr<$ e'Y ~MݬqFdVSF+ƀ} եO4ctEhUR9FL3skُBd43pzE,aCdGR~E@.$qv=)_zFѧmF-OfV &tٰۏC ~*&!#(*D?[E4%3B!%_8]0Rr{`0F*=|ü*_2D'Zn2>%aYSj s09<b>L2T=V[^kʄu,tpʿ#b⧇b.qj?,:j1:']+|EX8xWSWД򿒱Q?1ZJ oK%ŠS ),yfoE Dq:M1ԧΖIm!RUzBҬJ$TTb2qA+wjAºpCJL脝C<}3j!k*9tZȕ/ (-u|`$fwU4aƺБkL oVXqiM=FFx@gΠ}0rAٕgJ!'hJ] 7w'@ݲ:`a:X24oUDObrqs|s&S)pCJׇ#zy((Im'C8 )@ ަ9pD"i e<~bj@XY ogI#PD SvCel8Ѥ[~c]e]D2[`;>HouEs#hT%s&_a fWoTٮ j4iV)U 30of.LUdTx?d -աy_-LK%G{D*Su=Gybr K+4 POY)to6WME{t`!5vQO"U%zBZ%M4-Bi PYtHb`yNtBf1D<.R\9v^eY%更7 *`bV ƏGUE;d+hEoAK(+ .`urLxEvt܄8Dw@Pv H/gn歐 .!+Os޳}|3Ҡz+6:%RݢTz˜E fbh~p9eKO8Jhs`iKoV>YZ:RrOɑ@TfhaGV]QbXح_Uw^ms3^9HF:4#oY&~U) XD>}R `n}(uz.&z.r1QS.A1U8AEք1#Q@.NooA4M$mަDS%``C. mz22Uk?fHzinwPդ[f0e94_ozs "'ҢD}o3:~8n*DHZ6vW)`.zhpe[IY7ͯ OU4wN?E { ( sA1̡4uvb%mʽ"1Sd:P{-ڀ!8Z^!lE.:D @)(.W鮃n3ю !%e(Xt40Եd5sc0 YY$5!6:() ?m>qI<tƙǡ?EӢ>-#eܿʋ~~x =Z\YJ/j,=胺ؚ{62뛤\faCA[(7~X5`vb&D F_4n?3rjgΪ.|[< v*Xq,f"Z3oj_hxGOUh8a E`_ fJ*jRZYJYo5{mICfL#:\EDv\O2w2AK]Wa?M珍w#~C./:;`ٟN+_ *o3'g6kČL!$WOsYcw6_Nt)'v-b{qùJ˨tRl,IeN]H1)A *¤4\xp >_NUflZшf`'se] 9} E#09boLXf@ĥp &l}x9~.$)woAFEodnwHM| nm,Hmmʫh<(E a?-A&cCl8U6%p")+{2ߕ{O2UR4|@'"E4{҃>M 8AsG )$d3aA5_#yhʇI!5sSo}7GT~؟2 4xU}nE1'x*@ ln`hqj;{n|+K]H6\cfCjH:'Iοve>Z(2H5-VPiDs6r~`ЯRX?gcn''^@Yv`c0Azl4e k~ҍMI+8vkhkϰ%,MfP9Vd&mt)5 d(1cUmD3_gٶHCe|qE*DL][K=& G7WtAO6?lǯAԤ abA@6.Ww#fXh'$f&!EKoṛwkb1a'|i edQN 4 #qKC E)PQ"d7 !)|3۠={?ݜx{hE(GМ!ՄA}48 % ~/NB/;0ILW`#o)^a%`{.+kp v-+=S}Sk3KCpIO%:"C."X ) xgYZ  81A' 4HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[z | B|r;m$숐Ra@bCp.9< xWVLu 2L6wN G-ޞu0)ʑE+@XRFg!RH51Z<&}=4|a*/ `9ڲ11˂~b_,3L,pZmd}R4z"Dv- ѥ^L8j'ByZ}^%=!iD懇DA歇`v[ˊ2,֧ {o7ыj _ ?0QAin~=O?p4/In@RPI;1/l3kX_71A# LHOL-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]m<1JREpx5Γ CIP.g E'QlZu?jf@"(L}%eKt D8rf e&OcvV.Pk lɗ>?(&XL7VzgԢ߳@/-̥W$+#YLWhǕ[9JyӉէAFg/XRL墾ٛAdش@K"B~ y R8_Ali6i%#h\&!RWk>ӨvIj?šd^h+Gh@i'"B<< K(?[.W[ X{E#tfXT7u6C nD6I=B8F9op1_'g^pq\I!o]ز1ӡVq Y(jCN<8w2XQzI>nckexQܫ#Qs#BFO7""C_ o;_X$/ʅY01hԊcv5Qj5 ͩdˬ9͔ykʐ*`UmvnN]D#u$V쒀?<@Sie~Y^ _>5 /J {Y#r`'0TSOAz-l|Ld{ܕ8sXNY2\2NĆtySªЭ/uus|**q Qk-STE$.+L8N=Dw/4|Gx]Ӱ.0gȌ=7x1E"4/b׻J؏-:ǐ5Dju) #U+Mk7e| m  Ll?Y734UWI@u l_vTr r,oQ]VivTh4`mW˝`cE&# `#%lUTļ6G>tvST"]@iElH!F~Ƣ^1%T.NoD|z}K{JT~oV9'+!Nrŋ\h?Vk~[\x1J;xq nһ.u\O[-IZȄ&ay: @t.ls2K qd\K+$ּ=6ϳb{l|gBB.fma\Wt(u Fbl)Imo"0y\Kpa`$|o0F4Q_~o"IJIgn3 㿠9 ڠ8樱Ndxj#› ,2']Yߣ[oN e`6AdT?ӨC6*ԪT#hd3MtԱd(b(Z# \r?{q}Nrf<1aD .00vGﯶ쉥7zM8 rW?f7JIMYӀܖhk>z4G͹m 3?=cT34=}j('>5YU]lHĊH%[:|=׳Fo(O lBRϙ8M&vls;" 7<(fp8qԄ@xO% gE`labNX˫ "DtK 2߷K-B@F`D~'oicsnD32UT'O&r[&&.HK!qO|9[um{FA4êRMuP7ɩRjӠr1U3fsSzH4dob0ŵ@92K]{2)(k~/LkN;h<݂!-]hOpƉ-oʹt1/ +dpe[3L#t/nPT^9Fkźok *OZe< Ц$ʨ"{XLYTDp9?֪v]m[_(Ŏ0 WgWLW{tHըiߠypDi툭F(?#>'P0g4=4/v}pb BB}$%zF=+(COkK VRẗPL=; M4|ҧB;B5K 0!x7qjW7}*w$0.nGԑ"(a\[ eʊ5Eٙ(O̯Oy,YX`n(p${Bd5sTIXqʸiw;`qΓ )V]tJ=.s+W Yߎ*7" m]ےS-#`%I.grɎoȐtk.JnH-fG;Duq\myW(f"X޳V)QW[E I0]V[]q09rftOQ`L`n/۳GΚ>5cNR%Sd!QDU_ ,h_RDq<݋N埜 _EW\(DKP;QrH<6DLq+c,&_"f|-^_Hckdw')DAvQM5l~r4qH&_A.LgYyAuFv=G I$ Ǽ$8 >2jDwr[i;Zޓvx #lb/- 3@8v%BH`Ju\J>oF2s˖)G VcvK*<Ʉ!^=h@_҅o'9Ag `zK_p%77y8԰-D@=PbWnI` V:S1]'O>HS;JP& krM(0\*,#5WɈ XUQP!jzLΦ˵0 L`x:cC@8 Aq(?~,(|=M9Ȼ\j)BJZlIT^iXH_Y1CޟK_P־BN .S@ܤ2? nx]3w*> BDBʾN~d>T=)qY*Fot `Naí2\)Gw"\1ҝuj O[-jP[7n> m#iɥnfyBߴݫ}qLݯY!|=8; -妪ԁOeۢ}ڽ7`4?Qh0ĝ [ 9n &0INi bX 6Z+^nܩ4e& AT϶ cǃtUne[#u^i!ui>;djX̯J+Xt3qlg :]URP*8lp\#ԁG< +~}`z%uި[w #ќ}U46>?&9qh|IUKr3 7|LS u%Srk=X|l"t ai̘֗L@l![#*=@3Zf/X=~)TK2J.7*7LPsVi8\1o u^o2J˚eӋ)~%G͇06?I0ym}Sy$۳t~tE$t__W7es[=I/3:۸QW|N zT~afgYZA[qs=wmqWjʌsJ+Pk _'@)&6pC1?\z-sP0r={W'%-QWMׅ[Ѹ[A=1SRפ`< kבPw6~ڼ舥I8ՖѾf[bŬY$:/˘A "2׺xrUVȶq*5GFBfSkb.]\'Z\pL,/ʊ4!@[t#ْB?>o3Ni@%}9 FZ퀅 ClQd&z+]q`v}.l(C%0D̞UO 'eqB0UdTED c%euK+dS46+L>Ym,B 'Esl`B4` C}=*Y&~AO+ĨblwxDjX-#HHT[Bk{ei6Ϣ}㖻,:֪v8Ce?Fk( fƲұa9W( tČ}uTDb-JXzٞ_*' Zw]?bv,]MItX{4:z V̈́$汗گ" RH.-V%V| Fm! ;DoM[G1T}Lcm_Ox7^5\hKWVbmFZ!H.DK Ģi~,N\:A_=[B9~Kga$ H0tN%BBW]bmnHٍf~~캲cŻi]gYZ7zXZִF! 6]ŗXiɟ1$Cܨ }X 6^vWn p^k8ht63f['75/O|wB_<cXQ $LarQfw]{+:C<9,>Fwӵ0;f3sN5hSefiVT}9a Z7G|zRʑcΏ#gX"_m<]*5޿cGNqfQma)G ood TIuȺe28;Fxr ћb3YKjAȲ˱gYZ7zXZִF! cL]ŗXi%Y\[:g/,Y}%LĴ8Hb(: 3X@əR]0rwVY8ߋhd|K <$AoGqױRFyoI5}e0!iXAFKŅ_6vޟJ!(kV[x/VK7-dNP0S%>]w@ /="3BoC7Vx/%vAs;U*/YmBO7T%[ ؚvb`"R| ^ )N,Ttƍ)X-|pF0#ӎZ`IlBk wH:4b,Xt9EhQ716 ^^h_y*#iz] !Of:7C>-xW %ad౭rD}݄.Z;|`^ci`V%ehݎ16hI%Bqi,km4)Tu'3 o ;Op`%