SQLite format 3@ U.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  1tt\| ] HOL-Metis_Examples:threads=4elapsed=25.779cpu=72.540gc=6.2087zXZִF! _$]ŗXiɟ{lFh{}X*C& d Squrx[l%=?.)L|S| ;dZS11ēVɹFt *dl!]qҨPءO`%&zDVByWIj3bN|moLPʸb6(lĆQZY [@т@=h.]Ql4gsI,pA1`;$'?gX!4̮X/=,&Q+< ?s#ZA˺[ұ;Wm.v9^h/BIArpQ924UTR>˼׫&%ˤ#Lf+h"PH('w*;a\%nW- ߱fd|QfwOH g<O&[3ǬSƾgb`w{!> xNje&4@`Gh<}̧Έ h ._ٯ\G[kG#h&QoUO(#MM^*닕#2irCT9~N{i{U 1 HOL-Metis_ExamplesTu 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| `?  jP?  }?wAI Zi,2N  s. >1?'HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages8<1?#HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7;1?!HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files6A1?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id5F1O'HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages4D1O#HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup3C1O!HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files2I1O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id1?1A'HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages0=1A#HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup/<1A!HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files.B1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id-?1A'HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages,=1A#HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup+<1A!HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files*B1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id)A1I#HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup(@1I!HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files'F1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id&C1M#HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup%B1M!HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files$H1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id#<1;'HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages":1;#HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup!91;!HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files ?1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_idC1I'HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messagesA1I#HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup@1I!HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/filesF1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_idD1O#HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markupC1O!HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/filesI1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id=1='HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages;1=#HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup:1=!HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/files@1=-HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/document_idJ1W'HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/messagesH1W#HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markupI1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup4I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup3I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup2I1W%HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup1G1W!HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files M1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id T1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex R1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.tex @1;/HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex N1I=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\1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.texD1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.texA1=1 HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex   :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ %u/)>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[,.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|=>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM=- 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> 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?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7ty}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-$ɽꨚ֠!A 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 oo 1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ  L+ 1W!PHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/files~~/src/HOL/Decision_Procs/Dense_Linear_Order.thy ~~/src/HOL/Decision_Procs/langford_data.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff_data.ML ~~/src/HOL/Decision_Procs/langford.ML ~~/src/HOL/Decision_Procs/ferrante_rackoff.MLQ 1W-HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/document_id518B 1OC 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+gYZl 1MA 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Ɓƅ^*l!l܇A g$+TP.9,.umʩ|"LOȾUFJW;|)]?Љ`c$,.bbȍ)}.)P{g]HʐYJc D.E rɵFJl-X{, 2D[Ur@5?[KY ۆ(C*DͰOldt~ju?oڽꗥÚ~A?#HuT\0D@FrfQA#.syj5r&@vMj #3\>SL)ӡ j2"ǀCPE(#Q/u.p;==0єblQJLhuWUՖd~rxV3XǯP0Q ]a*^Gdl>G3v QiE y i v9C]mZWEې% ䷕RٹU[ ]DO_ ƣ7ZS:9D=3+<nc c|Ӌ.C_v:w?2A[(N0?*À :S!., %63p"_ySձuaV *L0Z*\@0)@h J7^!f^qA;Zς{zljZ^_;cywiE-+,k4CF"aibv4# fNLEUsY $p;8!ņˇ#i;~H,;੔=̷[7 c"ؙ'&_Ot.\Qjo$$" >:cZt> xSZX*0c@¢y*4J!P7 7 \13 ϧ:A-L3G-/JN6R(]у}krrOVn@ w]Lwuo0I ڸ4U {Bkr;q>NJ:ē$A2^]n.raRsoymx΅y+m,V>u\d}4" -Q\m5QOZik$δnѣ^^(`НSuiCA@va4ULaܕ qMGXUؓyw`Bǒ][txdC<Ors֒ !8}pψ'NLf(+dCIrxqK8l})­x?V^cJimU } ;Sl*ޱ(F$U {Xzn Yrxsr{98Qj@5~:^yBj;J4 `aOwRb1x4OYiHa ε]@pWcMx0ʚRcd":ebG$!oCQ]^KNJuJ=}@x*LdԨ9fk|]͝R|ʵXsZOf2XA4þ23$+H%ÃtZ׸6?|?)7sUWHƍw!HK_b獤V+@2_Z!FM4铚]r2^yrakH6W%5JcF0;UD7!59IS]WrL]c.aKf3wžPŔ`%n^"{$ H,y٬n<`8eu? \wOMF(ϿT L!%//}=֠!C,vTgÉds?N,PpF;j; =/f?s5|5>Ri -{3 DgYZ o1W% THOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! b]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>}0-b"cZd98C|+k/N;\X`BC+ gV(i Z>J|c1W% E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxueՊ{i{ԵBojg :Y=A,z+ R70J/&1f.~B|Yur0/4!<3lswa]RߑasPk8=<(O#$PH 7%VcξV]6DjrU˕Mt$ ȸhz4 n`!`r+5-v˙%llG xYk_ݳcd^ ju,gai0MԩIOiN!>x2JǗ7D6jǁo .bh9P#'2&*0_lp0𲭔9L*m(ZYJ9l`] *…#^S ׁA:h]{U}矄%S=yڢ*%`Hc;13.B*(!6v=]3}Y _iM]2/#6]ژ= YcOj@|MSvXEZdŀ6l`Nl9ma:Ɲ6%WLlS]ڙ"sgG*?qYdE~NFǚ;z\#e~T򇌃Җ G)?p"^4rHQlDe]D c1<6x؅T2fDGrn47V۹fm\YquT&;H@hm-Ap̵(I5-V41E)+( F>BntjpI&%ֺ=y;Ãf1 TԯĪP!.HwΊ%H?^dyYs8$ i6k!%,eMaݞ W`v)KJ+Iܐo90ٙrP]S rrzð{ʅtn5yWPU>q]odnf{>?#bꇲNMnq0O&"vJz/ɿEH ܨZe_&GFtE= $V?DqZFXe΢go-Gv(d? |Ehw55`4n(fjq*PPI׺MGm8QWl-ɃxeZOMP5brT3H R4"%/DhgYoQ(4T좵h 1U7p{>A0ʁ_ GBkgLt4n仝qSD!K:!]~b97%cW"ew}}=4 b`0hs?7)" ¶7 slCpokMM(8@mS,pٍNeY+ތ%K/5_΀XpApyFHq`x4i:]ER̾AmeE8¾E]*Ɍ}7𾣽B!|o5l:BD`0%#Y+%iDEC~J+Uv]Q=է k8Up%#;ujђMő[nU< ~mҝR f˗‡f؃"DwGP?.ʲKL$|) zTVP4Ck:zCg/xĈ{=>X?rr= h~\AXR*;MS!McݲFM}S 9@@^!<+.;%;j)lU5sG:cv4kL[`R4>a݋no+SFkrx x~? 47 HBvʸvPmh,Fpn5"q-SCm;E;3yh ;#׶]jp!m + Yj;ݱȘ)$㾎u_{ /_P~q  {TQ?X_'O%8S.xLcuEآ9]f\1[Kc:Bu`#ePnV썹ʒTGGRQ!ck<`_vCpm֔ ̠i%.m٭ռNZ wk&(qɱ-e[p8g]^hC + ɘ"Fϴ^_!4- fC5FIcdglcP#'IǙsnUeϳK21c79/Sןټ5(_);d `) M&rm<_oQ ShS|n퓵<V/ ιX 8MTtvぱ0DN k9؞($xvgbI=e [~ )ta(E/w_BJp7<Ǟ q!tT`Q QNH;/ -iՏ㚘3mhݧx-@z'If[W֝V]ߨXܩfF_f]m&$cJx~YXf96l ۇsy@ Pݴ¶+[mD?$by2BQy6긷ވמCN&~p-1vxJ#:Vtc>@ЍZɢ"i$cU0'c19n |bk dCv+I,|Aa Fꍼ7S(z0A+>MkӔTAUVIbhdCP zᬮs=ǎkf: \6R%YҸjSf.TiGэ_rX3w4J.?>n6'PNjj dºxH|uIN;6ò=R@ JCV ~y=wU dw)O3ylU/zޱM 0ՎȭW"`u$nK2*r@FcJ?3w=x!Q\D黷yaPr;oӻAB,TH},޼]ͮF@5p| K $g^ 1 L>]_| ?7\|LxUWѓ+0*0Vf8l7| 5y|]Fs;`d\_8U,r$5'2O IJq57xGtmvn+&ڴ~HifޒR9Bd>F E4?gy}["Q"tCdC͡}f[{W@~W뇐#:bto}y4Ps%-Hx186j1裸j<\5=LPzULFvTOjZgX0x[kZ5:0fdI Np`iQ62nxUSi<(Q>EP{ @`.I4[։ס>)Ʈs=uj1a[:<]Π"kgΡb-;ݺ8[8FH|Jr Tc5Ue#l Lw/Yۦڹ:*d*ԡ=$ yH'߉zL~c@M7u{~9W` DH1~׻ۨ_ _Q֦hCl Y'(_ӗG'~h`_z[n҃ ?e Gt.gdB/e+5c+.(_X +IBk#5b" 3Dpe <^ mWLP-t-#?n :*eO, h)H7"71{.i%s,UVEE٘ʉSӴ_W !..sb=)Bp )1!49J12u8OD,= yTvIa{+8^C9 T-? ]i4v.=qY"j/Ms@y NOa hԯBCG[^ $B|1} )%w)ج +9b&̳9Yѯ1۩@kΛ0tPWa?#r Q>#d:y rNU=RNҤcMV?K% #f5`wYu3H;'UQLD Vu q8hU* cI^֫R|[X7Q~U-_ 6Zc5Zy2:Je,7' '*d*|3O,sz/vHnF6֌ &ORHغ?1Qp,L"Ȃw@k6X$8c&%d;>9C\x[}q# &.Q3NC!7rghuaz^M D_,)SN='5{->ʬ„tF`V55牧y9p҉|au"qQ=>'y rp@8t$"P숰o£F$Ǯ2CaEBpաR&g%KM@fq:͛,7k#5PU+] v\+g[S=:!ڍЗ#1®$7-V8u\-ī|ŎmMt RZU !W1 HBFr#.9Ov9qGF1j> LJCr2؋K`< M5I&$.Bi`z mkgF6J4LlXG^}#`=P#&mB9(YRc>L1,N) ;Fy]?ƀF??q䖁]a4IGHV/8 zo` FV-ឺ 0?Vxޱpwvs-֝$`unM&41.Oʩ3ljX3g&sscA];Q;jc,ELыGc+ ,ɉ& ϙM "~ZT:32?6> hɛCKx98,x`|?]1ȫe3^L.._fx8oIp;tSLp}?%`mhJm7`d>EOv\ۃ>豸I)鍮9K7dÐc?L~"'+'vP(azh S0RuKa:,H{v opK+-hDXd^:S{lТH0WzGx񗦸w܂ܗ#Ya:"B7.p]=ܵ)iEjL WPs_Zy>c $C}XGDž6qrgA[J3_5.&D-_)/|TE7U ֈliU"I930g=ԅvFUhӖ[gΛK/^q踪$ц첊A,yL_hmXꕮ_w*P/{@xf Kn`Ny^t͛عCvߨWwZfO-p [~s:SC-EП;=kLU>(5o Zm$^ʬ5a ;y 6#ʲӣLҕ[EʮG>qFcP8 ɃP".Mx )'?"rr'{ X^VkX`44a]5Xh|rj?s)-꺺"jTD[~?Jq ~-t:z;{#G7,8v{f5V)"tnV{f]> ]X<5 P&U!0mÇk Q<UU"|Iѫ;w#Y @)Gj;J/n=&mGMh=Fb% (IIeNI] ㆤ0T.&t@6X<X%ʔh_/"*LVPB-Yldi0|qP+ɾq1" w:2biAn흥qh ʺ @גANҗ =^\V)2S=2(*NY0hc8v< l &/DlLמjV r3o>snvh ۜ}!469LXEf\Ay+!ֻ+m9ׄ),S$E@M7\4RS7s#Cu(l *gH6AbK&O&ܹSaj5|EJCɘ~ b"\zCKR V0۸f5Hk4|Q"P,-sU*: Q>Ń ʌJ??IX)9W- c(4e uAڵt5ч2Yky<)mAv+]D^Ŕ..}<ؕ(&+>C!^tn_pr8jnuɸMNa?MДfk)&lVCdZ-&,BJUm ZiyjYsbC* eW`FOL;{E:.|JI O~/TU$XJPDruSMKzu"NIe'_Ĩ|+A&+gSy@}JZhcz.%:[pXꮘQ{PX̀鞍9,^ lH}BII.l,4dj2L0tگ{. q! )WRzP`oM^u8n/B.ؿ/SE[.z :q8`5kW % \ Eug*`Ng7|!*[v|9M.XR|RuHBU23B1]zdRS)7t[Q5xVt/D2ߙvJ hZ)j:kZĵ{*38b`f$V%--> 10}$S@WQfӊ#7ںӦG)8d0􏆤j(ܫriAz^.>+gYZ ȯ5]~< GgB\ +*z'>p>HƭA|8Ge%LA&vR=tysT4+ Uѓî֗bn]m7J]КE%9ۃ /7&ߡ5T.߆tƓ 3{h[joz˓^^tA8tggOf|6=JRW&Hе:J ,ŭQ;K1@ucc[cX=B.&Al~yh ~iDQxU"Df\e!ej$ZϠĂ;yAbt)5:Ga@g. %zKvfΥ qZ5MR`/ >)0 ǾHQ?)C `cב-nP'59>ސn(/cvB&k $US&I|:Z98hQ;vc 58^q@d~]kEV0q)zp,g8@\(' O&!n7 vt#~tHns 潍hal6JIDsu&%B?a\Um}v-6ɝ, >5.lڕvromOX#NgoKFlږ;PuX( ?F!=Mu; rrK 2Nekf-x>#Tuƴ!N>Jɵ$33YAG00A8!+p҉dG%7F$.^25 `h(-aOȭ %e!D ɏ~_`S~2-UWen7e8S&t"LЀ:s)$5@ZaXw[5B1&y⡛JOtᾋfJO)<8 .`T׀ʑT'|V 2-<_.9&Tz5O D iZkPW|zPl2D)򭮠v/6aB}Zd h؅fhtg\;ITH iยs=/QIF%&Qx(\fıc%hH“2Ɉtk̡$kBlQE^jMl$cCvaO=B 1'}aA\I':pI^{.T&<͞2 )a|KrgM?k wX/ߡAx0r_i'*ʹvvȝq5!JPzr6YfoNm75>dqz^`q^[Кشُ]T"#eqY_C|$o+A#$܁I'n躔 [B|SbK+9vZ6.9[Ν>>/+Fw(vf&쐘;k4 dT!%,] Mވ}4U-r_:{}\Bf~ym7|*oP|`Asкcyd.٭a}ytdw"Âd҂]Q)Sh#e7τd:hK;h[Rz iEYGҲ^a/ZGa޲p M M!qۋ=<3^ 0қɡSs mf`-E̲ʠuHpdȠEexװmU1(oLv¿(ÇK&rePuHEq쒌D{ttHl]AgLڙ:]m"vn7vk*ZLxR$bi'q!vE*`3IG }| J99E-*'o7M$A$փMN. PN#]~ÏAgc ?jӅw&]id].#}#2PӢ/X_7k$NuhbrvX(L[ON' N~#qRMQy.$-zbFU عBBJraü4{7OH]w"8I#XSm p(UMmHcRa@4_IpYzўxNX10ض [!L- QT*R UnC[ww>}Ph5sJ7#cܱ؂AtQ5(qtjnvf@<7^e58ippA/zIOB?;j>J7Sl0MeE8{z9&/ہQ݆I)QBqiW1zdr;JS<tN)i&4^!W h>6sXRېk5J|Iҋ}C:b$;*ƃ:wN )qaP$&/vM'\m9cCg$7&aj|kvK^NiO%78cN5 ^bR0_R^)B  f|в|R<مO~ 3[PFQSt'~|ȭ'B*V<(5lhlv#MwJe+PAC/v!-VZ-;;N e,쾵ɬUR9\4A_0 _oIq1,f9"roR Fg שZg-vpL)bul2-JT4qBlCP UFGҍO'WdyJO()Jt`/'EHs_2t ť ur1D~Yc8@KVkSZ=[G =ӆpRZN0M?,π oܟx*#<]Q7{TzÉXaq~#=*^Fdswp5o>/8It mLr,;11C_-~y0NkoP&5+׷dft+LNL3I\7#_^)?֖z9)>`n`"icX}苬 u~#2LB]ё- \>r@iS[9%P3&- >C0]۳7sHS[n/J0DNC MF͹Jg<EKE0Do.5??$[y1Y[ܬ&} n{'S 8O!GN7өvFjJ 6][E*5?zl "=>U4^Vls_`@N2n۾b2(;G/lx*&Fi!;+,5;@;U|Np,z)>=Dɖ ]DV[Rk[v3 d%e:.R/̾)LY8+ 3Θ9Ԁꑩ_9aqQ3A稭L% kWn}GvEk߁*baWdi82=ǐc㽛'hNp,PSO-" jD5B6ׇ>.+r z Èc$kIzr2_Q+,XBжM$l01Tp+S#FnϜ0v㔕%ӘNKKp\=wI֓;.,m"іK?[NU22q5uR7 ,Bry=U0qnUh^"x771u98;3k 'ACCWg{%\R*CUyA\y"d ; q"ZB~M7\FQj>g)#{8J] ofIM9ػќVڜ ֢FcGjݪPp'FnjtEt@l<~YK,~?S/4X ,I'mCxL&oX*pK,{y,JT`WCM|w괿y<%:؟>1/% 2V}h6_?t`d7$OV;E/E=@MzNg);sV-%7/AQ<Ѧϡx@.YLsl1hOTps7 XHWAJ䁥^RL1awH p5$7ܚ+$p^2B#>E1Q-uI [[rx\..gCTGn%Jϥ+9X2Y=Gt iuWֽ-=jy3zTk"߀9و-{kBGelDl`?yoDqKC#"Lq7yKwΫ$"X:lIDݽHrj 2{_;|TZ!"?,$wWl@`N)],*7Y 8nd%`1b%&AQq gG5dHd0Na;ʸt#\sp`]i4QQaX* dSC ,x`%_}dFnDKB&g +d9q}v'F8ŗٮGP>Ԫ% POݛPB%.qQzCۄG<,1 lK<z#c\DEa;\LmRUD@&[5M]\ |3d 1hZȬGDF6:mFu% _ ?v#ʾ&jɢ:3Yn$:A;c}١+~ ̛;J:ԋ^sRBpv"F_|Ɵx/Im1Lߙk[\liᦣۆ+(xeBulDu9A%} /0crY' :!$MߠM;̍/c:/ |gKA4H˃ˠ͛kp Ws6SgW#1<2Tk\2óyVՉQO7LyJdh,&#}_kཹƫMu l.:$Þ)DV10 UEbG7Et*6ڽ4밦yF bF~\5`w談A z_PQKc +qށ(,]%Vpb}wS_Jϣ "6',$NY+EV+#Ҕoѧu:kivQ/EU,-$"i,ڥ]gM̄7?Lw%abh8!^ RXJ;RthAzKteĝ:o]7?E E@c<Խ{|Tuh%e&]2]T@>k@e B~.z3PQUwa(4v+ZSfߕHH@zbyCO܋3,?;W\=Cq\rI"ûX-ՄGWdi qH+'e d.+#sZO (V<ocQXm^CBM[u7q±NƻĒC|gA%H"pgE!ݏ=LCM4|jҶUpjh*BjfCTK5[PNٴ,=j, J¥/E= ?j7Z 4*BeVvlΏvsNF4kAbsU}PR3;,$J1}]ցC 2GUAdqGg l5/>?%"CFl*<'w;7o D 2@`ԣr򱜾nJ xpKGLdᗢw<{RWqR\ƉzxG7cn Q(ƚn|$? pL`by|7a5JL4~g0>MVmQi .6U\_n<5 ȼj Ӣ=V~ gをҧ }iGi*qxȔ| f;:ףOj:Oz<hTs}:A4YD{FQnou [԰C1԰9c820V}ȿZ!uWsr y,9ɫU%k%[䚛GW`? 1)&?䃲9Ʋ廎)yHíՓ;`?LNķx~p .YH(i >@m];F*6'sǽfV EE^bp]2lJsL{VZUĿ8YVGY?#N$$`t@/ޖ;ަC ʬit˴0^a auiEs{&9x3[zz[ꂗ/ܚi3\6wN4w+wsuEyjL!|&tp`j+gļ2O"9y(XOoG)!НͣG+ư9gsKZ!£_w| @ V`'R1GLRV?Z M2x롣D(:̣g ۄ5xQ6r`5fnWh{nz_@Ș1cV8Bz<2ddǹ7UsR.cWX2ך۩ 'Rf_ ,B8Sn?D+iXIPtڧg1ſ gfUr=9wkl&+?'YglޠDŽ@~.bN9#n.n\:OFg .<ܘA(Kʭl&4*܂(6E)RәB nLV@ ?Ó9aۗyl-?j7%#>@P҂000l_VfE(]b,0(:*b&bg{ñ}PH_iۚ}T}Ըd9o{W7 լ?'Xm88lem ^KVt ¹ėoN+.5?5O`gl [{C,b_/ Ia,-o]Ӕ>MKt VDA@,W<m#7u?eYs $PfAkl2ٕ¬ -yM^nxAp^pqbZ-O+RF"6W/b$!N`=Bja)ge@{ɍ &,Ͻ{xk9f,vTOd, Qg~i7to 5e;az|>UO.+R_4eX?~Ǚv"k:{i/E,msś.pq=y\~TlؚLy~YÞ!m8N[ QjlF_eꈴu{[.=Y'ozd,P15>lYd":[{ Eu2\+jc T8f(gw\oSH5דDBknZ{Ƃ~`oDQ~N ^x;Sݻ9+ tr9C;-P;2qw%aoTf[z196$&S{GB]-%Zߌ^&:K̴׷<`ʃnUa%(!WSl+ j}"DysO)HR$G+x5$=6[Oq4yt4Y*)UIсl֬sݳl?JJE۝y}ꍆj0=1ীP-M⎸@Y׉v Cĩh{W,c"$:;kCB-y`IFe@\U9C<$Mg{@3̾nw,t([.V /W\i<^EPU$3 b}',?cᲺvkZ*J@YaPW/dS;1[cTXz=^+_,~,mTn앏f[g9)2?:F1ٗ<2__ sFN]gW+=k5:O;=,0䊃0~\t ZXfu9̥)SsaM+u`%}3->m2뜆Jjw];w%+MNee*r>?FG?S0&Ÿ> n@v'hf:>+$:isв)r$};SwUvRh 9,ͼ_bgNHØǃwgIBL#UZazg/ Ьg'G( G+4n2|Z8-G4 ~`^H)9[D+ &\f&o6wq2RqC"Ԝz"va` jn~\? ' >OȜr}zmo U:b-%Tt !r`P2 'Ͷg-"M^VQ?Fvh$X1VOఅb&N:&ua(d{!^6WQj@CEݨ? tiP''oYKl2.gYZ   X 1W% $HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6J]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4W=mr*&,65^ڿ!o[GDQ]A]GnTBsC^X& TX!TD5 J;ftrIa5XLg3 miƬ ;Ca{Ԋ$VātBn*;@"}??(BWW$}r'ZۤAL)'voh>WU +F&)jTpVNՉ,e@ @ͣ1}MeR9~1' U%$S'mjl]|sɟ$jO1)PŴȀ 䆏Չ^Ab%Jkp9{bgER]6v6bh,d蓟Tw*%w}p'G'%1 )*cײ_{F(l5Ni:,c8}" ;ҵ<{A乃m|w6 /ᕙUB7hKWϙ򄚹,(g VBЙ)c>=>lD wEurAP`ʉM cǛZ}JkKb)5r_pk}G-(E[ԬߨrFM045͐ϤLrFI3Ʋ``;ZoPU47v1N*&*]`5Ȉ z^ȭoG:‘9( "wyEux1⺷*M2_cQSvFNdb 3f2h}u~,&m]?·8FP50ym#V/F5G|T_K8fZZAZxkG:@ _]rc{ Zβ yNq,:JJwl)+ Q9_ ;`-e |/7E nl C ka~6g/]1Cھb/+*tL~jG!WWVGq9w_$}2]a/^F\^Os|!;mi~{uLi=Jeq|¨_)?qVfQҞ7Nt٨iСQ$]HYoE>W(^%e폻i@?hɟ%M_cSwqjQ)9FJIXt(-Pűvqծs% >oUKhx~:cb{&m}NWm s.h&r69 @FZ/u-vob_ =0*6< 8&ޤ|zHZ2T:NĮ O}b+m 7ViA`&?S ܙ )*:{gUxݼ_jRJ$ZժA57鲝]//3_nmZj1=iQ!'}ᯯkrIMly@7B=Ũ5V.gG mȡua"gKĜ8xOO".yrm*z1&E2\7lݼMw4R.7g",iEcTBd/xp7PD;jhsuFiL w% "`vG7UQhw[P35SbFD2mQXrGL< fSJZЧ|YdsEANf ewc Pzw;6rCU1LhbMb`)aڂi&f/g{{.PR*w{p1c<0!Lq]󩺠1v.V}~k!j)iD",w'YUO[}NppkZ>w'~̺jWN'c_z9+kܰ;Jԩzc܋7/V1iGZqĨD% K1B޼o>yʶg; ei+Tc#a6sFDw\K֙=uJЄAL ݒ E,R I5ij/Sۇ J :~J)浠DFʶKp.@E艙[N'M&72Rn|AB~, <{C<ƛž.ܛ|ȇ<ƪ ~SpMWU'9b#XS2~4J|7d4(UJD;0 7;)n\BaO/cH Q\R9[ҁ(!} [ y3 @٢p5?ܘLOF,"hxыx֫tmH9œ$ez{M'J + -Ub s:nL2w=;y4컧t YD>Q4}> z{f>e" Tz9! J#F7WT~b=w&V+Qw}E f f?%҇CYn> 6ލw=>.SX`NwNEor0ˈ?~(ZKb9]! AΚ^W L${mޙϔ |<{E'ٰ1&l5XĶzD27Y@&x ҨCWROI@q O7bVКq%~loݹ #X3o a*mhIZ6t(9stî.h|K0O[3R qSTrnRIW[S}A5we@f![շjDPSg f 龎61!rIqx:)T31+IE.U2? vyT-"x;(GKUOirVFuՎ s* +Sb6Z1hL7$æFG 撰'4WYEmwB{b~,`>nZTˀ';(.d;Fܐ{6p#3I. 1*;Q71?j(lf?M\P!bcyd?4m30AlepˊlĤBnX S0W 7Ȫ봞Gڴ $Sy; l,}(h;gk wTA/* VoSIMb~Cͧ%߷׹)מTz"SF~V4|6 #ʛ-CQG4fO!h:BVZO3Tl!m)Lƅy槒Y՛WUE'KSgЪѳTGx[lm_~^lKd(|~*{9XvE~;B &v°ۜv<^xF!-~]:6T {ٌ3=DFBWh3] '>L0ADƒ!uUWEp1Y䠢j+ v/]xE׃aH$7sfj0]:Rh*T`_]aH]x#&(*jW_Z"rIHh/#XRxa%OOtvp+ \RaLEm i˸Wg*EhZ;TB//R YZj)9d ]fFazɱX=A1b~w-B :ɫhXCs }A[r޴P1 tn_Ew/Þ y\w fZiYs"AڬIW6eR'-BC|V#;q?oal!Ą%AUi2j|l=R* s=%$ӈ57zt(ݢ$׉ݘ%1 f%GIy7_xNr9NVF5vqiU5-ϕdi5(a!w7ew@-3k\Zҥ@q˗ޖ'$ k3mnw}nuЂNrί=?oz+-KLOa;N5*IlLg$"ZQyhmåݛ˸'fBQHCn4Udp"]_KZڗsDb² ر{F˧1j}-lZR$Dd|Ť4%rsV5d!`wؖ`oA<QH")nZR|ꙄA'%%$DHzHPFւeHw6}H呏u.es ]tIYs^[d.>PM i ٕ͋"-x=ꪖ`SѢp03ZQ(ïRʾCL|bzq}.M[1CIl _JZ J{a EoUڵzd=׫BuSPlpkVtrgzkMI#Qf d%Fr.ur>9°,rB=Z5RaFDž/IZJFX4BQ^<ۿ%'Oe&܂34؀e4HG,b_}ɻ/G5h{&&>,lPo9joZڐ.!V$NCQ Q 'Ca԰8=-ETp '(hۭ+  95 2^JH^Ξؠ_I1`{*mN7g"UoKoK\q>Z]y\V "D{Kc D铀f}V\y/}P|u*_Q4GPʕn|j]İ.Q]`=j*oprX];R,:4''* ̀T,ooXB}NG Ej.=L{- #0pB qVIxsn&dKp%HRPK@}XA͌|)=~ UeTg=B9"2)r>ӫ{<+2:Q>`@6S>>w9T19vyz-=aI:J֮Fnq&PD'4|ͱ͈GA"tv_(Jj- `o!Hky Ji阇\R!2Q4B˸8䴉 1a0Έ 6w ϺTnɊMFӁs)J@S#ݦ$׆VDJq ?>=ï닒,2'O!!.kW[jۦvWZ r,ZLx&uI?8P MQ[8,m){`;MUì&Hj5ɍOnޒd%حEju`oƨӁ3-QMʯ K*K%ݦJ7@ Wic)n?5jW#LLnA ¤nS(-KLY&uKPAfB4JYmh0\M%ƺtrfm_%iAItH1噝>9[-[a-#]\CRKy,ۄM翝BD?319"VOX%q+'SWwېNHr3Ib6:K-wl wJV^sTGlG=፧ 1Rϐ`I8mTCeBZXSNEMq1E|4TwRhk˞CLd!YeeQ`ܡ&*fcαӁC@x8x]-?":-X #"SuUbf]?c*!R¢څdf/9f%yX5TFݿ__8rq v X'`~3,K5H8 bҿ}ΓSlQ-a~AG\ѫ*vFc>~$?7"!Ht or(Lc0*R"a,%A"\6p5հ),e=p0@;BPr+DB nh*NrlQ_هתrf@ZiIU5j0vD * *ucs,*l=*~ ,8g 47}7%Oݷa' q3jjV/{r?@VNeaejn@V?})Oĕ!qbR VE k)c?YȬC! G!$[oۢWt#PțtSy{AJ^{~H$.c '" su+K,{qd +;9& nz.req^kϧ1όJuH[4w1NH+b{v%`f+#3H:kC&[{+FTg/qKfܣk Zl J;\(yϘ} 1: hT:P!ӾFqt gF/oWXxI#_͇qY5#}8*$kX oP[Y,v(!`vt$b:ʅ)Ӕr^hCɉQn緮Gʍ~,j~.: O4%X~ c,ﴧsZTc%%j3R}GϹ}(E.Ibt%{^PEKHљEҕ\Ta+D/1l(HE=t.rDcao꡴AA D2w(wP(-a:Q.ooPE"C%`,ZG#nM BiEf˯ЄvG5\=.SΟ%0뵲f$a<841 IՃe]CvRc6)Hn oIRA{C(}0Ʊb^|ej-8 &VeZ<\ɿ\쏄 ȳTfѷ~&΀K]\>A̒gs}( kuWm7FG+HҺt1@ח5TIAҎ;3"l'K1((Պ+t$4ѶO"2$cm(b|ɭr. l)xE1bYJi>S<1Tgh5T\*W`3ukcw̸<:ɧfCq]p 5uۛAcY'hÚctv|'"<[;K!cm6IaA3o,AXPq;n=%Ej4&vwm!.V63& ;vV jrۃM6_{aע"AOzzHѐu]"ԯ WNKb޾rgA9z,oƭʟݰ' V!G[ᦽZ hؽ^{ 4K$)yOg)K4On= Ձ ¿BEw$xlgRTܞ|%~lTm±J3LPyTNz#ڒ"e,&̊[ΉPe$ltTG6BrgꝳBс][j0Dl{dyxoi ,B l/Tء<djq v^RgK~F@+ʚᑃ+a [8l_8Κ9q"'4띬mEGг U^8if[*]B9±'Gٛk2L ٿc Ķ5^t',d8=,d-A+$S^޾<3L&UO3 xݳ4,|\Q" h A s]ӑ|y66(?Չy1T TpQ&i%K=ZcUܾF}khP:'*{4e<@gasL AM&Tr)އ j-$xu4?B$FXX[N䀝p]z_}Q)`ב\[l[aXH‘ N[a~HEaQZF _:AHe6]$4}q\M3T"n8.gׅ!^n)0BN/FǚFEЕms-3U"f8x%巭 xg3* '7oTp˫`RPR0W%b#hm hWcX( pM;'i쭖#Ω}4-~ׇHD '"MДASo<s:dɤaBQ ;.zc?"`zX@ b ڣ k8mmߜ*Vbn 5$\T$K(( M {L"KqKƠ72”RCFCke.A|i>;~{SQ\FtU ? oxY&#㄁٧ڼײ^dK;$c'i]q0eC7А^| W-@J@Y[Mc 0*fkdM0͌?n]KwPO|NVW~hW%{fHj3?ZN&uBneZ:Z;ԏ9JI_T0~ g{ǺL+kVŸ,}9>&sTs5 )NUNjYp~P%h tB=QDw3j[IJfZ>0u,"Kˠ|2\D!I9q %AE1^[T㜖OZp 7/ 1| =ټY^\Y !|OAo;} ?g/@zfCx _f ] L2oƕg;|ntD~G=#."C|4ҩ9x 2>fPި:ޗU_uv*yg R\M" WNgq[=s <՜!ϋ9sg)`R}awN27@ܛ]s' 1W% |HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&qV :br!: rGiw . soWpV'o6-pvd Y:[?Cg4|FN;G/2& O1W#hO}1BVןezץ6M걐D3oSH1a-pF8TWSg?gxaOBLA ea6.S'j7I· q49GݷˮJykSlGK=BUu/iND'=q _xG^xjYz6Vֱ`h^BAa;dh{qtC1`>wc[ KPΛWCU*LOH{}ڍb(zퟝKQN7z7~fᤩǭ5'uջi[Ҳ!L̴?tmjPf(@|{Lo6# %إod;Ӱ ^$@;it6TlN]R-[^+V3"˝g$3DZ/ 5:Yo. W/`!Dj+,}7oXĭ;Q߉ '.ӳLNlfPF?ϔkGU3JM ;*RNAuCn@ȱ=Mčbl@͋ 2sL,fےyr/6lzV z#y@6˭4e/^,ڦ0%?SF>vbvU#\qe@Wdڍ>%u"7 iBLW֠@ l>kIm',eKdzѰDގ|ݤ(4i+UlԝeF2q\$ÀMI_͈2 wrq@#u<^ZgVPd(- _:ɳmP?$%NEE0:{iM6ŽxZNIIow10@S +?xv3RWቧ!X ~7 W눙-c:C @O{6Wv Xjɸ?o\K>Yũ  "/@[.44dߓ D`c(LɵܖHXDS)>mVm5%Ⱦx`;TM ნsV5,";{IM񥿡fo.+{ź2WU"! [0?)SArf.J7{-{q|k7tdKW& .֝X;I|\2b(FY}ͨ& J}]`2=DV}:fg\\9U`'LG>i/!ű#`3(X!F낐EOHu[ 王E[zPH8޳HH.y{6mk IhJc^Ʃ(pӪ:?tTƧ4XJy"oÛFH ԡU)7K+]½X n8\^ AvǠ4M6!e={DZLX Z а8WNHxH:;7 ŢP=d}^S~[hc/h%0x=%C,bED߃ u56̘w܋1ǰLDloc(e)0l0otq=4ǩ;W)$_2WN_ o\ X}07%-dJ}X[i]ޯ'%.O Αz'BY N}6=2xa=XWB>㙝gHi[nOgilgaU.h٠w^A/3qmUѹPu.10eDTp/l.]Q ۲ 0YOHιĠ]''bh,?4{E[7@El ۣsO9_w'Pa Q͜7crҰ,{ H%CɾS1vW,SgfxFnl¡Uӄ"]FgccԿd-\LKrs-M\z,@OSU"ԝs;( ]6'Wd( `]fX] Em‘F&Qϙ_فr #M֗.`bC3} z*wx?ҭĢqrp1Pk&r/3Y1Z;W ҷ֗@Gdk(KoF^C5I+J =B1^E2F꒦O:;~W +x&?lOF~zA!)IJW2\/M%++ЛW%-CJCeT) j`7b}-*f=QX—0?O]EDV0s~v/}Cw)bx6:P% 6em2s⓸IˇLYYUܠfl_0eV4 j8o6ƮDR0yjb@rF_y$j GRLaE. ._$,DHYgMݞ_:bWa*1+gv `4)9,_vX3Ee@:J *$MnBgMP hj-} ,l4/F:e!C%KZ{!+*bA?z2޲~bͽtUϧ8g̘B^+JAX;>1V NyЋ\,\Ec#[}EY9Bj 8\x 7r`0̅@x6DflW =3[NtXW~qPKnED(]mkC~xU@ڽ죉 ${*Q#*g\')\LK\1kenVt|t -[?6?0>)]e!.> Or+NpZ7OP)lGA46&P& qcxb_S\\̠S쿤%l1sMo8jR4++rsCemPJ&v[ x8wEMtvT G@c@7Zipv0]1# N[ ąԡ[D`w_7 &/^&oy`5yj.L1{ cFKl:l1UݒŜگ N^*:T.aƂ)<*8N(7:8[Մ` `FXV@lW:z(# HץX-֍ocA?1ෞ;+)#8+)/(`v@.H?V=g `J(5wJkwؾ^R)H5Sz:5JHto p-:.kYi8C!_{a󉳠yh@ܧX#XrՉAEKlLgjg8seJݢ껅AW!mLhX֊@lXd³ !# h7LG~ItiqAE!U I@֊^^=EHRZPq|/#gC!7˄M|\q-/TL~zlkvf4z5p k#\O>q1 _>\_&9:'%N}spY/`gKy&YKE0Xz2ʖgLc>HxGIyu|;:-;*ɉqB v-Mqqz,M3w^8jSm@ΗŃ76=fE=UN$ |n !ZiUq 3 dq,.G*޺ X]M(lV=%xĉ$:r|eSqvG7_jn5}'9wՁMB Hҝ/ܱ7| xJ(Uc8 '=3>̰P^,>*7 dz'(DE\)„]>d6(I2 !GmJ ; ("| bxvBfݠC5AW>N ݘ_ts&=HU'04CȈ.%5Dr%0?B._2Ln3<3sk)jՋkU{`<;H9(vrm:򥔇&Rϴ3aN*`h_=Lso[q\e?HELt- ؾoVIc,;G!;v|+ג<e3#}@0#̷#k9(W{z}e|#Kw4z©%HXTH*dg5OXQMɘ xi jQ h2H !Ak @ea#0R`+-' zRջInJ#pf Fw (EdJռ`國3ŊکC8٧t:X+:Z=ǰYq}xNe<=R-@E-X- QJ;e|w961':k?01 yW_ʚ>V1cĖL rmr!rŌGD/D%FwZWGr5Q7i_"d&M+'e3.?(GOS+'V7۵S߶].aThxA5jqn1[b6נ_&?FXdyաGli| DS_KLR~;*VZex%Ƭ'Afv_ʬ:! (E%f*̐}/&ކ8&{ʦe6рl 90iwQWpMg"Մt4_a#Z08':>b9"I!yrmĬo ϸBnyݺ )Rl6Ӿ}$?xRH( ;k=bMX54*@z"P&MJ_v@ t.*F:vP=#)MW5x&PI1LO4㹻f;I8Gμ.E(G=gP4<Ǭս.hHm٬|օ~ckYvaV}qq*L,fX>v8.q%|䯄Aԃz0T9]VMbUVpp@e[41q}f52IwfcaӉBRt11r*7ŮZPAU*B:]+CI96ump,@~úrv C.$ "nuPVJco>-ڸ&JI&K:x@ v kku{'4E86R*>ü? F&)lo^Uz$R:,yk o#\ .v>a4+a",Y 1 YD[,rJ\jϦ|=W(It5Lޒ~tA͞baZ{S zn:s }_| 3 p͑ 0՗evd3#ȳ\?YO<i$ Һ;wB牜 =dmgv28(]8()p>$ZppԹXCRGNd7GNdHu *C[ ̦t]Z9^!^osm߲g/;ō(Y`O?61uaGu[m06("` ;UCmi=9{M8F AGq&PVwW5 Z)TS-Ɨ ‡ %A[4-ƌ&{ q[T 7hȪ^3S YmF~)ƷφJij qt'J*Q+P-u3T@0N 8 &'piP/ūsЎR@ܓHӃ,cxR;& \D`Hꨆo(^6[8܇c.x0>EJ)$gӀSzF=CX}`\M/Zɚ,}%OȺ<5I!;۬=V3uW]9xz2O$3QQgyoOc }m|F? $ך뱕h^r˸w,$"@l ϽNb)-F@vLӶ\I7E.ZV"^>{ߩ -F1&j@Y@ǵl1ݑ Dxk"aT*,P#&6ӚW> Q3,Q\ݔ^ USˠgx$0i}$UzN^zs|PXa~ljΈtJّm=͡k4^ksakdE)zN[`*u"(~J3K.GbdVWh*:1yM<\9o@rr2Xz,5CUl9p$H D48yȽX,4{.+`i#ȸY6X5Qqd Tmͫ%V;j® 띴Lf) WʶtP6Gc_4\x.hO&{򯫼HYQ:#أI*Ejkqdx=(989~ֿ yްsjM*^\37 +2pMnJkT;hCgB egV s"PUbYjEO'ubz2.j:@薔J Iu:sf{s2dgLubeHzYuát}g]!P= tfW+ QV_@5\֤ DTri(q27a6r?ywR|ȋQ]@tiuۃN.^&]kO2.#.Fw&cPR abBdBA X)Nn;D zQpߗGlGi8}(.iObhYIJXFn2=cz)'!I0KܾDG)7U ݶT%w.TSax\[T L[5Rllqi 7J#r @rC,ei,]W]ܸ=v:F㚤2yduR0's{frK9˄C=蜊2IbcTp){u٧}Y0M$^P00צ)"e$xo)x'd́V9 ;"I@2LHcQըGK W|w8aafM/[@H,튎{F4f+ ]g/F),T˭@Yv8S$Y/9`VڗJ ~}(̭U"tU.3)r A<>ɽ@ T0ÖÕwH.ovT5A}M tC+^g+?I| Wѻ∢K?7}p~׆N;]yo@Yf1y:Ԥ9P$GJ@q 2dJT2=e#԰/^հp%qO/AmxWhU^pk@L;NXU+ 74L\ꭇ%eE<xqulԕx95!k @BE3,i⣪WLAm]zu3£l դj2j +f:$:V `ڳ46= 4w;ZQ9Rfw6TThxXH]֮ms*L&vώk -㘍F{7\GDP:?Wp!H+.kR?:c0kӉʑz1yԩ<BOt-)D9<}/u%@Ck1|~ ^F#eJ\]Ȣ(Z@{Woуn(yKͫcTQ$ZY쀟x :'*tץV'ac:!~n9Xw fOGT. ! O-ORE}VL܌Z8^0&_z׊*o5m[O:ivꩪV)ƴgvEҭz{guXl^7:" ;^Mm}"<)Cio.}lGd}}Ū>UN@\|>3 N!R4qv !gQmF6YäZTyU?7s/8̴ܶaa+ ;,vNJ l#JBa?^oޔz6>˺z@ jsNG()SS߆l!2{B=y!~ cZmwDb 10CŠ|N 4=&.˯D>Hܣjg]tV٠2 :qD2gs8UU\7\R>I1Ӹvh'ݧ/7+zNҠܲȬ>c{cI $p5¤Ǘڪ)~*& =M?܀mdD{f\Cz9UF'`Vh6$*-؀2B+@@Ɋ+2e?qgeڝA) ё6: SbK̦yZd*σJZs N9B`\":n3V#e+\3t!Aݸuբ]1 $Bg?)Ya7gT̚/-j`?m DdT-.[]`z; 3G$}fz͖P:/ad_;GXA[G<l2\xr N;{RBdCC\%:aP n& 8Bز r8Zar?h*K0!&!A fG(~ *(G1u8[Qf1uq A~͖o }>uW{a{^ABӤV &TiE 1$Fwxe4MkN̼mF,䦕I4b#sGjS%f4rדǧ*&x-0dp@;O`T`Ym܃)&q8.#٠, r=L|G$6 ')];B!!2svT_Yݷ|5'*n6;'dHjq08Ҥ{zgXH@IoY'CݺJM|kcCk^6d!jGW>f:xʱ'bfH@jp 'X Ԝ8ґgK7 :cb$Ҳ? S&5)2wכ|(TfV-Sh 6lo  83Jf4M  TKWbԒ7{al[Dn8R#gC."L?eݏ.n7Rfhu{l|lm$L7o^$km2v9_s U>6of]Vjj%H{k0Q_}v GgELّeZ7x+#NP~1XZP^2{Ay,Ҥ^)zt6?46Fև;̈́r<.9k?K4‡5g;>j26ʲgC%-0%!]Ev{!4Ć=D~7;~Hv-5ND7Ry|۝있6 nd/.D^8V'A`"n{Ր^qv{7j鐒" BLHQNRw*%!u&.k^#5  3Ac)_0z=ٔQTD6NI8A%\ f>8hC`YcRnm&> k\`$OVϕI߼ZP-cf%fP`R,QaX9Z[Z|f%1ɑN>q4=|2ڣi'` y@$R-@oSr{0zoH97O!XpL}su60$Z>#v=Lku_>+I6'K<1'a>|f5HtJկUUaARY): OxI#b{L'*Ǭm>U`nA8s;cyAubWALIN޸?-C6̈́dP- xn˰ ccnڑK94$2 1{ 4ފ -uC_ D;$6.P7>B)ه b&=9;S6G r57MԪ trS9uiyR*]<s (z  o5/?^@;5$`AeJ JX>L`;g;&p‡CET0 f5c1z~J(\m,]>+ѦZͫV=9>.*/'Im,GEaͺLP fX5@K9Eo53MxVVt~[_G`VMµo1m @ c2ߐXS@Oer.Fmdj0Qnj_wxpPKCsc8:,]r"r%&l-y5zJ^wˮAۂ &W콃 ^gWIXj0kYiFG;tqc2UďiTвԇ<v%6{u>r|T!oB/s1сΜW{Xdl+]@ L.1$XC(Νe+a.'/utss i=hGO%YY6p̚M 堄V4X%e'^{GSptk0ڋ32*ą εzi{!#g:M:BP 5"Vڃ.&f$I-VX4JƂb`Ag dq1>ttţ/Z^oU}xWCMZÉJ&C<>Ĝ~? ٽ.BD|M1!P=5ɛn2dJƢR`?MwRXưW"4hJk{+2ru1J<3%+ŷzYl._ZiCB4c1UrVp4lu]m`͔N\g)7񚸑-}|+C4WD"B=iJdT2&cenj^]Vj,~= !OFkC")#ňRow/ƫJMƈ"yMWjJ\T:G7z$YQE|{}y+DQ`s>C[[,XTÁ^|yq|X3A4\K6}HI.%yLΣ^٤4l+DjH+[@<gngU 3qM/> Ʋ y#7拦! B4 k)G79ߞ$XS` d ]7#*,y~CYZsFf1Z@,LB%g.╙e,z8n8P6.*gգ8U{Z9 ZE($@tv=:U 6=#lc3q: bHn)[fd7ב2̒M{Y~btHBQiS,~E[ ;๩;{2./ -Dp(ψ0%6,<% XQL@"v.X@%:u52E&>քz}8 LlR3'$An<]E%1c51)_|`eQ~50ec&g1!ɚHL4WNT̻u$OFQ>e]#|,Hd!' ! `H՗~V8b7|2)?ՁxLo6Tk o)BP\(cp!kvQt=r~ F'Kf` +Sf;*6G R Kbi ?kRu=@K ؑs?|Q< `nB76fC\q g:¡!P+񄂜E9g7$&΍P Kn /w 7B I]+"ShEN,f+&1T"@yb2e`8Iqh#yP LG( ")E2C sɏq2s7Nvu)ۇA*s`C%r@_%4U'96 [2;jXb%=5ΫJ1)R&Pj~6~4mיuƢ)U[b/nn "˩B p~ /q`.ok$* C2K0oSP{X9[0WG9__|G>= 6]Y:<=% 0!lZs,19-k2c"sѓ?LLAO:+ r:5qbq@J)9(\hzzŁpQ6|iYq/48""*jz\,}Īu;L\ S 2Ux4Fҭ; )7*GNE_w_0?2.xȖ8Jb~  yS5;nzEIb;Ï<("Kx_8&?ۏ_'{mdYnљPx/WR)E5d"EE\^Z|F>.g$f66"n| U{*^ӕc)g;aJ0W':}qz#tIY0U[alO JwM{y}iqnO(x2Nr#.U_sSp`xgW1frgjϋu2> j/Ts1gJ+/溝ĩ<ک9f^ G%hgkx^K:%ٹx uxc#i tFaNgD ]-n)(n$7C3~ 8Gl92`BO1!} C0@&aѬL~-{A>j4f/D^EɌ ao1\sNijiw7 ?I#&_CR5kiG#Xa8{w N((h2JTAns&xsf.E*$ˆ)Fys FO6%[vCн]k?*f(d86- /4ij"C7ӆ{+a|/wx&HEu8S(֕6$Cd3,7ױVXe#5hb H.69,#n?:` {[]G%mŒr순 ͞`fgU;$M͉e19hp ׆Ɂ!x!}[YQaXBnKDY/:*AKX @!=5ІBqtx^gݏzqgd?agBiwD|K0}ss'nN'Z&E ^x;=zΎ*("~BjԃI):<΍1!LQ/`<V-B%NyVyva; j !8h.MC`NO8){s8ݩwNfTJk|v*X/t< &4yeo@f05LQgPH q5X}': _Z4Xv UW>g@~c$xba|J-q[Ыc-!ϱ:wAYZ6BT4ʦ=~agՃ< T iP]{!H,D9쳛5B[tc*_Gvz`I&/2vE9,#Rgg*{ק&ЈϕyF@9XVXi([AġCtz\%t0*j"3e,!P߮y~e))#VBCUbhAnp}jbd5c5,Aī]J.:HbZ_ 5L_!mޒeSż371Rs8Cc2_ ?-vok9EDsTJ&43v\)S H\)4 ,.<|{̄)>aFK#n\侔~B\2m=f:<"PKٺK6 (eay<{uYabBkK{JΓ?@.b>rPkizl E8<*G]K9]:`j<A4 Wv ;%yrL_˼PՅ?pU ^9-,vU+^:H.~C{v^ 3E9#x'#L_+noT:blJh.dڈ缿23$sGZmIЈnj[42Eoh%qT=fuk[;*Kb,sU#lm{{}-.զpk)Zm>zZRj2 &mLpҭcHQޡZ6=KúN4 YN<]0ܹܝm\kEmKIbNF7c 19z p0ѻbٟ86i$H[( @qBS&b>O+7hȃPw8كW8i ^j-MM5?lŚ0?duEύVdNHEӔ)'K ^isWp%B>| ;%nWw]v v[kj5O|2!ZAwLΣt=Kzfh\Iu'imB#L;adn? V]Rrur:=/jw㧦`ȃ?l.uH,Siʒ:C''d6aBaA?*47/|s)-IBB±Jb "QYi!XHϔۊv{qSƾnupIJώӈ}N+[07 {gZaIGz,1Z >5m([HMq3ʩGc ʄ-m)n(+bx͙]%b4zj`XJ i4|*T.zv%᠁Q 傆 7q.$Q'a@em:XE {+#v0ഐ7Y4rnX1⎜1)ޤ9sa\W~@K1TU}[ɣ ߭ OphTba Zu3EkcIlQĒ+pHv_[9+H{wm9 /%1^hr&JUԺ?}Z t81bb{%S(`%v2B*t3'&ݷ_N# eL.m匼TИřQ"ұjb=Zm^do[hNl\>"dZL! n9x$LM!ۅ +4 lټZ;onf4Gocp&?]IvDt||9WkfI?YHEWa~ݓJ1R:=6Ae@.)ZeOpy㲩.w)u U1IɶGOKdnPc\L:W그5|~AwojU m:*V$80AwT)$ -hVɧ'0XR% kD~Ea%jcR(yV^(N_!i+ z6xr8p\/FwO_@Lia(3sc _]h6-}FkG ,[HO%2T!n,jck6۽sdN%_Ĕ!znE3AJlTT!&R ;([ț[XhEC;gjگ#Lkcg?4_-/g,cԂ+Uߘ-9hhr݆,~8J%o^Ҧ?[2YGvJ=qytlѣyE%0?I̫&32B؉+1N%L" "1)"=v,ʃL]T-ՁDwXB_csvF_LUv=ȭȄ*yL;cPՖ,`ӥ .\ِ:PT&?LDJC@MfZ.mrFֲLl`?D`_k˔\;WXeuo5b=>\ĐT&׀2zՋ7J9Vt,ΩE,X r]B`!ֳ"'Xh3)DLI礖.z )y9;FɐFx7MI{ %YĹS!AH=g;<;O\ZБcOI䀙=^K,a+xY=9c͒eҬl:F#Uxix(%Ji,qWdl"H_́. P`c lc egB# M (ݛmPO61Y @9M}@(K{vTqPn[1Y&@**+YTj5Z5 7!SDM#0uS;x'ad#0^7nGf `Șd1"}cyt.d@ ɸ9G5xJBf虛Ii(k2_1y>9 H%GU!Qo"t0/>bn hvHRÿ`LLw7bfh\EHݷr[F(}+Ga} vȾޒv}:.tQuoK+1 W\V%* i^wzUO%4'S":7b)"LL҉7)WN,cBCdazM k)#[UL%q*[H V#PK)qcsm x&MRdJδ[ akOoH4N2BƧNn RWGPH߹U.=>=TXN 2 LLxa48 C-GÑ?8z]l |@ ў!9W@;9-RM;|@>w2Qq}dW}tRb`пB;ޢE'y4Lj|;v'lz8H:x;Ӳtr1E YJ݁j 6\EqixNGmS2,F 7|Ly״_/L.)b%G#hْfZ7% ťԧ ʀ0tuSSDv׿͌_Q`la®jM/(Π "5m;q7~.P&Ik4ppU<ˢ q5$WĂցZ.C?y_-'/9*f򽕄)ggo&gzM!_ k/OEYiʣc8cd>*,?gI 9;cQWAN _L'!ʩE&Rj)/c9}Ɣ[O[yjeyr_IMBt:NQp|ܜD%Ԇ砱7dYe\c ,4?{p:\ABf0Vws^Q1 - ,xRL2F!Jcpel)i93$&9M2Zi\:1TLST|L#˩}2İ_.FC% f֕wAp;h0(?K `=D$B$C^zn*@e_&h?I">1WHTp1:ѷ?4ͧrZ(^PZQvGYLмa4"BxyDB3ɒKv/3:8a||KXqr8\ՓjEsEjivP;FA%[Ѷ{(Ie&@))2m*3DMs=u@;pſO7c:{|{85`ܚ/w>םvP-rA>Sov |Fq"tqE97gd8eHK M>Bl6|"ȗ2nPa+UD|s4c/o]cm(^;qgv`iA˖P70~B(X%hEs=]t0=2p呬q MΫ :b~ߨkp2Cr:s &:C0=P(hm ٯ>sK!VH0bUmePc twЭuJ։`*"Ӓ.)-+9~ɫpg[BO,SgL35O6"~C2ɐB 1Xa xIxkO` XE! @kn|8+5ݓJZ) pۂ8zgEJT(Zættˬq */`I^5G D)PU\t+^KAk6 l:ZϔR~CkZ0 U%bF%1EoZF-Ps>O.?GAd?Ͷp#g0юUa3͞??(O9i3QeW(#JjK.2: &C:8^ ⸙Ǡ '_6v?kEoax2%`<۴QMӠ9gu3O `x5J~o)`''%*gS.{Q 1`Ȫ9`%~o65+*5zq w j)Ƕ*䆦xsLRUUO=bʓz_^ Q&YFcf)Jb7_(\l8Whk=!Z%1x#8s`B 9Kp&{S{z:ti^@TC0l+ I v?3p*[ zĀw# ApQ &  )sޜ#|{R0T}ѽ! ?k "vB&DՌju W*s~DP'KU\3O]\EOK %H:l| A:7PwKQ2Y$@2b>RTRn+BL,O`A} "zMPcEn͎إ|vxοKj@W0Ppp~gN5J ry`  f3ǼF|SIO[Rjol#w)~A>T~ߘ%%TE 1]`P0/Fnķ2''p_9?=ƃ9됗R6ymM\hpkMƙenf;ЉNnQI*T gzڰ q@B>PksDѝ:t{^@2;*.qy{pA&sAM_YwZ(h ?QS=ZW FdQgbO z @,S̝/hi \(\)e>p/ﮝ_'iJ WYuyڒx=m xv&jB%#Ba zȬo 8qCyѿdVKxDx} C&DZ$8io616h%<Jx]# #Wgˢ!L;.yvW8)N^Fq6֕T#pyp}@-ul$?ߝXY.{)I^lZ+W(ͨzI@:Em♶_zm⦷G{M^>+Et^?՛j tZ+朂]\ON3.Ãy]Ya(sr`pz~ƒR{Cs6a3U۹b?\Kp-Tri~.b$Vp slξ7@#wŒl]^Tѣ+8 Hוn4 U]4QÝ J/.乶U*M} "R)9EDm{O?K#VH֟Wb]]p}cwwbpU9Cg-cS8$ɼz4nV 6)4&ĕ&E3MQv7 Όt>բ"Kh;4'7zYZYpj2|cWu]E4ZAØ9rPoݝzaO,H*ZJ,[0jF^uA /L,,ڄ'k:ZaOoe )A7.%"9I vit9G|Lx5Jsݳ;3Ea4?g^a˩CPDjEM],gZ DbݮH 0ʩB*W)x)yĩv0 Ǝ !Ag|ܭ-9:U>gS t@=\$Y£?8Pzi8{ 䍄(krI< ){U+= S.mw$ o1#Ig2r?PBs;E]?3ܑ/aA%wlxkyM&9 EPz&2 Xag_uw+fCy/Y9dV/׹m雜 eT\VmxY:ƶJ5:Qjj 4JK(+9 O=q>0_n7(-ʛ֤qZEZ/=a 8kectGq5;Ӵ1@lX'Q P.@=kD?MmYώVVr&.KldW]0|ufS8_dD0IWLjƭ!üF՝k.,vJZCzG]Wg$L(hKF^5&O]מЅr,ԥ 5#ɉ@96t`9."uܴVy3g{q' su[wb^~.;r:?oO6mƎLLҗ[@&nl:]5nN+ki8 qZu~*vsf|JF$HjuTEۭf(L4h'(gһTOJVXlC˲%Qo?X2$™JNC*_) MO !Y.t+ě Ľ1.N!8ˋd3a-pҫ$+a<9>SօN_w>yt %|6̈S[:*# ;`54x,^-"Trâݗ䜁 Y 1@d嘆 kJmF= =)!U_Qv7-e0 #P$y/)XE1_pFsm nuM[!+d]jsyf#HGحoHlIץ(wGwsj8;('RWT:E9ƛƙП!mZ x˅z6)G/[WB瑇R}L#Ń_( 7D@B:򻚞( !ˮ7>f 'j. 1\eq3IHJ CR9-ĝ l@i'@Z8i]*chWgVW,Tݯ@)H ٺ!P깚v#ͪm+j^ J$4H4YJ[0~2)`;" R2!} yQ1:ȏuh1'q-@7H?%`*%p߀r[Ń<z0"17g&=˧ſ( }brI>s:SO޽jeCZYm\emjxEyj߮S M*I,:5-L蘈aA4v[0oxfDqx,pљD _Vs_&i_?ޫBOG,_qtT>֮4SdJQ:~ `ip>vͱE?$9EZhD# OB0|z1@t&㸻;QǑpC N0ñVZ~%B8+A=O:h$R.am?hڝ#$%[щ i>;>إs*O*+Ɖǥ,yjg8kPI+5hW1JVCH䑓$P6+e6GL=/M)umvxE *k& c$# UYVXV+uZ ` .W^ % ":ix$Bk$uh+TGc:cu,ZGBU sX0rh־f疘U H[YrPZ 2@&#jUMFtgJAi]@>7jY[:tz`tCL8SR<+9o?}F@W<[,+ ]V8F2*"/V yඓ@+7;6/,ʍGBLA8 GRndMˇ`n@A3jk*V'rLVџyi"DW\G/-oun4v{Us 6Xr\[Sב !jToɋ+qcѶѫ)ZwQ~D(L/~}y7WM*3!1$.bP%̪J.#]ԝr}[ 2vA{نg| }FAd({oz [Qb3P]qL]zPV^oMH>y-ns-,fAc۴LD؈tS|Kc]ݭNh"#;(|jG_%Vկ^"V"v TlP b.wo1ǸLle+1iza_962A5.>6>ȸj;HnR&+'pzzɵ YR <*RJ,^}㤔@fpb'AlC!`1E]&дl[XO Lvӟ N3 _T?p XS:o;[cb5tK┢q%Ya87L#l\䧟תZ{HZrrH0 ӃӫR@bS&ےR\sakK/l=O6WS[v(vH}W9;w"^؏uj6!бVbr/ l};9`p_zCtVq!;'yR$&k(lQNa(ŷϟ»if,90gE =Z*ezt QZ\@^RDһ ^rRi=3mRpkwRbf']qj?M ]x7;R :Ct-9%u[^t+9]%6aJΈ6Wu61t&pdeTRE84wX; *߮AZBηzBN ('ap F+:\8ӍdL3c?\ 7-ĺa TS_ptu0!WL%($W.ĕӹОJ!qS(Wx)zϾIZDo Á4.V~h. 1r\fi50^ym,rohyYO7$O`E ;zTȏxI֑_X |YAb8b䫬LafrĽ9^X V{+5KB@9-z5 ߖ[Ftsmt: +|XCn_[x\YRP2*<ӈ4H |1HE,in.mN wz'>)Ʋ-Ae[A6Cb]8/=EŜdܞ2py5h "',Meg>%aO 7c}z"b eL$SV㖻Y'_|-H\rL1;,t3qD!N>Eu-y3JׇߗNb+|n0 `n򊨓Xv(*pvUdJX;0Wֵw#؉y`^0ć?05w`hJ屉v6eW6Vskjd"hf u<S,LN7:%ѝ}be3ů\7LS[Dit hވsgNM[vQXiIKn:_8D@w"I'ךUSB4Xdɇ IOIoC [( &1FAXD u|-: Aq zɑD0#?e)7h1CJNn曷,Ӑxh1ht-w]غ`ܧH9+E&2cZMyi/2$3%kʱXS0_|xܠQ\p)q-]_͞%:_Dk@ 2کs1K05@xZg ;sێX}.R(y8i:WWxOZe\F2oZѨu^uy)ˉ6w0"zX`lTgGdT"5`eH~UNΦRFil OG JV"/"}wEbsqDUOBEppאpĮҼWUnu;ˋt9+n4XLES:^7''B+)PgoDYF2nrby|JD_l@IBf^@H랧lvLx&yhG'y ,yu)YkÎoقV]]%uCqt@JrیĺLk[+fs|j|xcKeI94 @3 YV8@/9 DNyf6ud E]lO ќXz95cAEn:uRՋF[&aF{^uL;aBla AܼjKK^V^>_6 v&}b\y1lm6J, ~J x(s N0;ydC5j*Y_d/ Yk6Y$0 J#?N:N~\˱NCp4n0ݏ'~Lkdy5I =Hrw~z }芤iLIDVv 8Ցbg݌M;k3_kyqja_$1L aܨ=]6pُ:|r?Ve}Y.-+v q^**a: r{K6kN51AVBW WPEhZݵkMFd "p[sbhe 3hXaKP?Ʒ8֯1#IјZ7I<^3m_`+eo;%-FW :ɗ!ǎ vDAp"- kS͓2AyM@r8j?bJ(- 8c^td G8j P "4 7E+\ń3;4m8 >3 slI t0GtfTvN$}00cwV)F 'l]r#]8翶A5(Km'"piEyN4FPј}m7RE)q KVyF"9 U XM]&H.(@?v.uP?zzNa+WayZPЮL-T@%ZVR2> ;Uʛ)3h MY8%a+cXܼ@)cwzx%>6 "cq7_z\ z] ʱyn7U};7y(]M\Kk L|c!bUt@N^9%ŭ.hs-ް(eK!ոIрӻ8.r7\ qZAAV}]Jpf!62$Mlg< ticPE;@D n^t3g.숿 y[f3Ά݄ץR]'&71wqyQVRk)i!%sMj0ri"8Dc@4#Xо*r|Wlj7hwD'!*XVr,›>wTD=YvdoZyUːL%NCyC/<~dc٩e)֧@+LQ RbڞA*e`!=EH|{|"xP]89 4sԡ 0 $v7prFZ7U|&vs<(ftgth mݫ]Mӽk3rC>-M|Gq룸t6 3;j͘EعtwͫaQegYZ bSbj 1=# dHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/markup7zXZִF! x,`i] !M젗OFK?f=Ь*f@T@f2Y&?g| Enrl̪ʲZ_y[ t\ +_ MFEz~ e9HCtjLf|gQ^_ĸ[ 3Zr{fZ,20 rRDeV -җWW_ռEXl٭.Q9>>Dg2qƱ* UnAu9w[J]@#g=q*}VwBF{uVsуfX3W=s ?|89Y։Q|RزtҖMC ORl…2q辜|-t?\XtMu/:`̇$]EړD9}]qL}@2@2(IO Vޑ0{Y~F!lK}JM7ͬH|,݅O =\FQ p^O0DVdž{)=vWGvo"jWh#PBë#?Xk"PΣiGrlTLZݛi,Lw /(v$pnO$eU*;F(?G"_$=ڮ(6 -fYnab TGD~Xg@cKƨ7~QGǨɔUM/<ɺ2'DD rهMqQ!~?8ՍaQtS;vL,ݚ,'gW;:fk.Ã!S~XU) A 1ǟ>vƑV2V0Pb4&gP-죡 ܆:*o/iG] R.f·w# 2+V>JlZJ_)\D+Ad lZQ2.N1 v"FtoX (Xu"A9v` vX9*sD~K$HO&:vǼuu/A2_zZ\yP+vE<䤿H^d~ دTFQ ꙆT& *X.|O/ñwo'.Z%6ЂnM,>8FkOAY:\ČIB4 ܹ;xpq[l7^H_'*I>YTJ]J3+G4EP}|o5]UL)pɓT94WL\[eEpG/9$1 7[f<~.ȳ&["NQ{L pKL~cf OD[ۛlvA{) \eKH kYWF%x^>< Hˀ(x' `֛ԂZztk^b*vj 73 ¾9Pk^n&S+VOS߫*2JRD7{ezI|2ځ?~3v7 Ni3ay3l&Y(NF%mB>ftZyC`͓pg$.$xKɲGjk5-ddGm|Pz~QIq>7qK_MRi< "}26feq O5ek"ޝjrO*8dqS|dLR#kKE@axG(<Ͻ=15us(p7+e̡= U0voUwP!+Vn[z8oG5JW}Wgib]+ˬBv~nh U=6֘6*ęZ[E4oN[.9jwj_.naG^>qUTԠ]ncHY-il=~~ *Dr0Ua !L%ۭH*}xJ s9qB @_FvQᐪ. ?g_{{5aJc! Z-TqA+}MxɈg0ҳ(NУT]ΖFb!oP@nIgx7=}讏1o BCܹǴΪܰ@40p8ɡ@;ݯ` o=%n3p tڦvw|>"DwLD٧ 8)wA[W}iZe?9y1~av\#k ĭF'KދQ†"u/q! UoлƗqh]!"=4Ql"3$6(u=s? 3eFzSi2*ssO#mxvNw5BWznNcI.&a>s.v7dvD`{prXغ T2%(eQpq]\$? LH|I:a\|ۄ|(L娕jѹ(L.E ʹ3Oe&sV&K]G$t^ucn{jo-cM"YcB&w6joW!u^3`@mX#c t^sŹ)`P(η?t^W ˫M4|!©Cwv|:`%dfS`D#{zZ$㉧ KMha@oQP~`ىtD? m ?\|楳S«q,T&NWկ&? 4C_Цlr,~Z~Em67]+K $'"҇ӓL6&n>*0Q|Ƨ8B tjD%B'ʀ,U{ Di:+7޽؝BmhBPR}=t \j'dilbUR2kȀ@BYť㫓?0^'E`rq{_BD:vf L|{;#[LHb]8;:7kQt^_Ȇڽ~( }vTTC۲2U 2-4P:vn\|KCz! 1$[E/>jnOK}g} Zf{\`L)c3!w'Lfy8SI q.0 k2G`y?%=%6NiL߻s3[Swhnё@rbL8p£@<4.~}@?f>G;'-F!?rQ҃ݥ -?>%=gd|(fᲥl+ cv]ݠhdH4&q`y Ɓ =qIk/ЯfЫH:*|Euk߫J?U>IqBzAoMƄyT-8.:}H0ޢ{:Rp7a=\"KHX3Ġ`3G'+cl$rO[}KWO֙ }8:)B_\OlI#7k־=|g ; >SIFx<8%ya+'2'P ^WC lq2 =Oe9c3`,GxW.Ag W/ 2bPN9Uygât&yW0: i&?򏥯'54}N6 -,Nv3hޚ1 +YlzĂ)de8v LIjg^:b:~p$ǀd.jQȳ9ȅ 8"PœRAB 2[eǣYA8zc!R.uaL9l8e$Y :{)/'7 \֌',oF-1fo2w! ͠J_wp-y9496EBnވG[ZdF;&lhw"lOۣw"|6 T4_Y7[Y9[twøָ@G`Cz(qCЩ-::spd#f,6 +] NޗTy#U>a(kʁtkX@ZedrC Hjŵ'J~Z]L%"ۖcmYD;] Ӣ$ͺf/fm< {,]6uLXqN#T*;mo}Id|tc%&țW6;s`tu_eV[ 9($N uE+#Z-E¢fKþ0%+eN$@MܖHO+ wd$?$?W͟Ӭ5ȊjfGGUnt9'bUTN ȴΞ4b| ?ÈUSLlQe8-PL 3)[(|{|w `$13Ǥ0$q2OM<&:mP. &4%rEUYsPA.,d3%'b0eVv ŵKH(}iXENJ[Lwp Mnt*QafBi-4.m :n :_Ee}OWItS L!HԤK1_7>(\Rfd> >mI/SmTrR̎^!bU5<,f9 qb{}qptw@D5"!{)b,Lģe}lw'ʃ80 @SG[q25*]\1,"Ap6n흿g)KZM_&rs_ ȻxzxyY&?A.CkọXݪ ܯ.@VkLn+ j&Tx-5 1!z\Kzo̰܅2q΍ʹ@ cgU)!a%6Ճ^^dN6!u<-EO@UyZHa$ B2+l[bȐKadnxe!Zy|>Z 4yH"XQЁ:)h@KuɘpPb7d!ЌZBon {=`6wP] %{NI"X_^Xepd^7*|`/zq;i-\z64t%xbT2+Ɍ (E%riMpjF"q WSCϼ8ʚ5LqKOKq6_H9F]G2̬Јt!'KZߙ51|>œu=W}ʙ㍐R-ꏄ޵r,Z.moLvf"GGt3i(E=S/?eKfֹ69m%9nM 2VڐGȹV+Lq:]3N \]g?V]I݈ŷ Ug[Q[H`BepuPjBu@)#CZ$D0BFɔr =+U1f=u^:x$} trbL\94)s)sǞs\Qww)qRksDWkێm 甅)+:N)ZNJ)<[hŖ O5#?DpDIJXk eߢotT(zW $Tj#}N峜O{y8܊`϶?TeiôVkϷ{+ZCx\B~Dxo64 P7%LCXʻw2DVz $3F@rqrV*}$3BtmT} Ї֓ ڜ^ԋgd) #8N*;^\!:HڿB;Y [q)U㽾G]ΫW*§as래((B p&4=hL} ⊸2gWݥERg/' ӅN[HAbm$S㰃n /9ߤڬ=Uҥu?t{3,ш~4KXHd'-W, U<^\L Pu jb> 'ѐN4}kdw9$DܴH-wz5хo_Uö5dD9ryn}%>mOT?*MܙVeg&=KF(%$h>Yn&\Tn<D} Z[:R6O0' Q,!LS3 8p.#\LQGB9#,ϬS`34lVotqT؆ DJ/ ճ{ǡs:2~9QaU,q WGLw֍cCU4/#i<䌻߹ZUk9@xnpTu{wIiOff ]OP\ex.%'S>59ht'a)7ȥgN雮0od\SE]d^ϤZSo"on KTGXB y9APx)σ.)o9f)yȠ9, "JBeS,=P{Աߋ#E0%)Z(y`|JC.4gt}_;D9m0c֨.:)WRiW\uN_+\\N"aVIgO\23tI t^lS3Ͽz_ b j1tVRbbyE~)$vZ VܞRE^ճũDocy e AǶ?,4R$3~8T^LRb‡P{?O,zZ53$_fK` hk#dkG t/rï .voKDFV4"pzWF@^_4!=ʌPQk<Sמ#0cWPO^:۬?脈2'ozRUs/Y_-4GF~9s8t9^o'؜_k)#ТQf8` ]֍yY $>}GgT2 P]!#,f#2.|)kCXӅNO5d+>Ƴ)BWt[mfVڀ8Ue0U{$O}D᳐,V҂ivr d7Tյ`O\",yn 'JTI]O0cb~os}I7jj'v; 2#KNا2 ;G~nIRVcs- _H\󋝆Дnl"VQ›<ю8 jD.q^CLy["Z`voV>> dec!^v}wօ@ HZ3H;?b5+y1)b W)55;o^ >͸&q,FA6âmz[o[UNվTA-2sC VGiOv?N|\b-Rtؽ497iU EHc_n;,&Yu=be9O9㩥4ŜͿoʊ+C͂_y!:v=oš9"tfn|z`zO] ^uRw0I$qn#iw9;GIhu*g^B #!,(:49^Z@w3Й3T4 sӿ;ϞjϸK(TC}H6C*yx]004Fx06;h t-Bc'WYÖ+NM*BQY]ؒ4Ýպfڴ _n8򥋗九cf~yjl,^+ !vk?o:7ټB_1HRزE?Og!\&Yz9\e-V7PrHs./V4jD(F)R؄ML  /?Շ|ɗ[n'ә'IT+uRBidE2%cyfGD@V  )@ < D&+IZjzEwD; #+6CVa<[-v.^n野|}:1|3D(-<ĺՍ'O7Ԡ)onRH+1"/>hudU\,[q?UA.JD0-HbA (2F y?+J˖FRNT_o :x; !:5 n:s5؊Ks@LJ4628;0zK&ild4MyWx1BJahry./@ܳeQK~V#y6p&^nx?i;f A- Zvhm1I?om\Exarg[*&YTl Gg4ח+gt>(+>m͓uQ}?:T>\,ʯeH|׻1o{啄0‰^E:dpTI!R3 `7CWբcA4zҬy`99>a ^Gdl#FxB37;/_yJrvncξc U6n' *lUet쿎,}ۃߪl(io Jbb)SB+w^#JgGlσ*Եj6c`BJ3c҉Oɰo6R|j`JRYp w߬eZg03e_FM_X0I4w5#.y0ۥE\)I Yt+xe{ୌRCw*}}:-ʙ;wI,b(X:i_%bzCv͠QJ&N`2OvZx^aGnm.!_ǦG'ӗ}]5f&ي 8ͩ@p =7a1\z!5w$VkKK*e^N/5''%<j0@ B8X[Hoe_Y].{$uI5! 0sɀ~̦'37n?d?<>Cԅ |x[w+~a&Ơt&v!\ABdI±# @vA c8'ٺVjm eLA>ߥFNk%*UCGK2Wλ~AԻuI$qUU ?VLl{οtmk*fPĉDrlʧ#=&vP#>TmdU*jYuAMrBG Y0< Y΍F`6~#^V/)eq@ܵAw]Pb5PR5ž=c,(;8I/i :ĚwsbFbODі>Y\D~iRAaj@P~W66;IP+aEsIkwLLfcr3M[WIpqT.>Ro@8iH+5C:o&܆go˩eY6jW \5ɜnooi/[Tm|;8UZ%@ڲti(^6b'=*$6],.asH^K I刹K4@30]hK3L / 0g88?aW;E6Uq(Q7=z> TU!ot2%M)OZw;/wkط0LiWy qRr~ߧ}@yWW`n%XoH& cms>hް׹96O#OdóΘ1o5_ء[4NU`: ^ԧU E(Ц'֟Qj*Ҭiit# ++ v4Wu,ek3켨lR>j^3"̲_č@'_(t6o1F5ܤModgsTv*8' 8?P+[4I6(gt@fh׮NSy1[c < 1*lnKPԮ#ơ'R @<19"haNu}h3qyc3jn)(uY=ɔd\\@{îB2 d~;TthЄ2vڐI~Ey7+1+4jqMبoXM>Mc + e0殄윳U˧|,|zj[M7abmObL0j0s3`S%NL)$ ԎLmn)?4ZSH:,H׉%Y:pE8Yǯd<8*@R}O'N:fǂFg`;13{ydRQ5x#; Rϭ5iƔ-49*yG F ZGfZg瀀8b =A~;I2ґH --]iKc8F2ճ1룣.0(hw ԥ]d=T1ݎ[N>?3fDH~ D :"ojyCbDaE.B2/ 8oGi' pgZ?a.>3҇8HBC+I-ne@7Q -rXdu~n$0o9)XR͉tQZUMQw5du'(9ϼKHƮ:0k+W?lg3RlOnAb3c2Zlc8jFzg ,x1%1ng-VB K M{p72}\kЄT@ʤT&?#ՔCssNpu 2(\eaSffƝv5ۜ/ q'N _b\[kk[r QYLn6x!h[!(ƯΌ-_kIJ2CLco%% 2U" .P\n>:sS<)pB mTEG?Zea@y\PKC$5E$\25՞+˸i8JiHM|̸;]'ĵ6n [> ($G=ZCwE`u-|dnS=\gE䯻P9.V$GV1RPK39D.0g+$Ucζ̼ܯ[ jR+,Lv<.. 'ɘTpS A_^$Eqf:/ 4@GIkQ!N$`ug^[,G8$h: 4V64bc4^K~QL-&@>e4>هmK-/ar7?#;9y%N*9+GĞO%MDѓ4%sQ,@H< `Jt y;SG1 y'|9]-Xs7Rrvt';O9^RXW; gӴr"uXbϨjp8K\ŋCo+G!D =5 Ƌ[v`[_fI |=p#92pK'2ltGH̔ e ɘ]?hʜVL&t*_ VM[]3WD*'ݽz ]b> CQʉF5pWh5Y*EyYF-PBՃu) ׬ݤ)|;MsЛ"`IV2Ca6Y|JF(\olJSSmW._R~xY/A CG^5P\~eT$NVӴ(;օ?gbzU @!kKd9FÎ$ >p-DU `;86]#|]ϨVVᬏN?crcԗ[r9VvmAOQa]L9KNݪXۙ X9߮|0hJY "{b"\̓8{r3||vЦIK6w} ) wcD[x]S(D7jﰛ:m|?+Q+Kk/Lܺr"=Դ|LPԙAPެޚ>0ec*暤Ak%zą^n aH;$WN-|`v] Vn,f4H\/nT:!(m&#LA9櫛"U*tEqVC!2)VPSS,CỸ=lJ*6*ʷBk"Rjl5)| }9qxhuki,V˗k C恫ȁyxȥ Li)2[ˁ+ǧq ߴs5% 4H=)A?-KT,AM{P>8vDl5*/}B{HUv~z.5$Zor4= fG14sKv+amGUs;ZrߧK"؎y~> `4~,4lH3i5TYSSaI rپ%#5mT'`[=W~KhmS%-'e #[~KmgWxh!ȬkO}EM/~apmDT p`Њ$,XӃF,> ]eMJVVCh Zה텷a [L ~'-E>(ݑ[9c˚YcUp4GjgI])ȴXחk̘;4{:aeAEK'b&~k ᘇ@ڜq dsIʭ~qƫԓʠAs"̤zԬɆNgܦ>VeK-6ry#0}*>)cӄ%R]_$rHGąH[;;jZ{ =%T+ĭJ^fY3kDjA tfiME EÙ=8Q֭TNtz4GֻL*P @GC_ _b^| 9;WaLOe[z¬#rď}PGA/녯hNʋ/ e$IHτƠ v<%2u<#T\,bD-ԐaM>:f3Q7a-?h9S> #T`JE? ֌:X4zHD6bjd)Ҽ$orgA@;iqDyNו0ξr fwmsD3F}*Ն""ڹ$$t , 3L˴-/*_Gr>լp7$[ɼ[Χ{7k WEzJ/@|Ek%sȎ'h:~ 76ɮ8_. W_j2Oq[y|6<%;.n >H)&52 [ +vC7x/jԾ|&kN^VI 9^7?L.ʛS05 1ay)@PEүzO^m! )4sq +I@pTK\NSr:%D{^Ķ߹AStN0Ħ$#J(6r O_Dn4+iCit>%^e,t8&Kzr,ն\q`ȉd'Em&:8.HW4[5/o I_-GbXYE>Z&Z#>+Dž.`zV:(.I#ׅk ؐ~R l$ H׿TSd87%Rx%VĞ[ qTuu!֣ڃ dY^vq= W |6ŃyFҥ2yOwj6*pAYm4QGr#ͮLW@kvb٦dfvZ/‘0qL.k8тfc&e|kk᮰mý_N)ΉM^xA~\g]#jdaX SvMP$jڰe&MEu42N $_%jl΋gPk )NJ<]zn=:?B\8\K ahk?t>nD/W!p?N42b!~llr%Qej DԘ5N[YJV_K:1+)c4 !MU% k}$W9&üAƕ0f/Rxkn_mhߍV6L lT'E31)XRO=?+Q22ݯM֮_91kI_ |LRzaRwPy٨ߜVK܎W9etwYlj/w_#(#L|1dvwV+:EEٽat48NNkE]\q|> VNi Na,JKn=V21n!~ߛ} owhb}Isu!^Bo$'lC#/X'eRE p' 1d@z(X K '=&KK3%{txVrd?{q*R7cΡ6P& aQS)7ڃӐ/NdN5^8"oR3mE9,wk9˚{C.%ٞ }(Ql2sGO$c}~ꤐ])t JI{k6wyFHQ,UC+#Mr>2?XNݣ%7MG~)?e-.1$IOqm!.`C8`K? PPtL:X6 u d >6cxoĿ~gsύπ;uTtUqiœH-,9&{v´m̵!SH 1gD݄o#M??  -h#*=Zet9dHlcb) ձ2[[gL=y զв u~Q6~ǂDODoGMޞTXG.KJ!D`§^޷4YPDIVbѴ=uk*B<$#J)W}Mc6QBYS- |*>eγ{Kvas>^i.gJxJ NcXu$,ɖ >c"hUa ͆sIʑ6g1` |w#4ܙ^vz_2g|t!;6D\ێ"\=M;gNn0sp&'0aՓSMBUVb?r>-2ˮcu&JWʼN&d 8#K[G^`c7> ˪gI@m<68 .:,/xrh_Q$GBsS8-疘PJЯlHm&VKe:pH[Gu{p76*pgG pIԎ,#UЈD@8=$'m6<ua7e>R[ד!"72>_0p_c^ƶ"e$}}]#(]}f69o@=cBJn)T_AV϶4#S6vn阷i?_>BҶ%$ k,ܬjԘXcFVEw zU$ ka.ܞk0 c@"~(_؎&>5f;:$ yaE!0d@\J j~lk|Aɒ<<#Zs ] I(=ZtɞP 0d}:VctNb"q>z*,]wDGiV71?ځqvhea.˯~%iZɫ+f[Se#4DP&!{~zGnx+t;i>$ 2r k@y)t{iG~[^dzJdIjR?$Ao 3UWwyFl"hҐnz k4xlWLר7YnP9X=*o2>FCj'Q(/ӯ *] &DygF/HY$]z:h@Y?p T='|gYZ ]]p1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id534_1=' LHOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! u ^]·Iq n[:|&[zK(j[) };u Ʃ7޲T~D"-ޗhH[H'vEAH&D9 Z*?M"vj,C"5+,3 jZ89f2!C%_zOafC3,Ȳ5<ɖDdQzoK 05'z\W鲤M2aMhZvYZs͒"E5|S,jJ5v Hzh#@B.oJ!ay6?Qۻ->sֶ_u,hFjSA/alէ`LO9c+IW=X:Poͤ'"GEqDkau1Elbcrlha xHqg# "0hlri+mhlY/拳kY]/ ^vYj:j=K`.]פՠe=:Q#D 5댣)w^"ss!;Рc`QΊPqv6dv,~$ Ihm7?Z;N;9e*u,3RA?{@˒Mɪ» oH# }Ԛ|%@Lh=3pXP+'Vg//~)TQ<8 SIREu1wC6Tv'i2#%5k*xl†G܅LI,R 4. -'":DWaU/VdžQ8l70, 1ĥ:U1r`%|R@iZA& DTfm܏q!#3NGs\ȚIw49ıS%jp<G"4b;5Sgwњ>~=]x@70]yfe.B5'$=#LzqT?@n&gIQߔ]ULhA D,f% ӟiĒ`h .Mv 1A@ÑGK[AmOΡf[FgaK#Q#+z]vs6x]?mR#pMY6疛)ʩ g_]m NxLБ7eŻ-`kzA/q$yB3Cv C5<[W:g>nhomBZkqhTy#_CPD:H'|_AHn I 9\uL |'& -a޵B @m f9gYZL*W㢹t;q:i+SsmnkrF7Mg'҆ǚ# [RH a3P))wljL5ꕉ*sO Cg3fS'7!T`E} nk]cW\b]2X=^ V`y؀0aGN\2yLF60\)%=d\-;I5Za+N,X()`\t@`W*YPcTVihcW@#5iVEDc]Q!N=/P:{.e ӎ+-Ht lH6Sg_[9iR]ֵLnR<qi} _9}FnZdt6SF$۸BĄ4[HM:Zmުh &zـ>]iQ4D)߇r9IaOwI0^AM?Fx2>V}m*֫W 'z&S"-\CUͣ ƽnnXJ4VPLΗa/iˇCqYj:_yE2lX޵o#Il#jb&7n=y.zAmnm&0ԹH|"dd[~n)N[pݬ(s! OSJpW`A.kev ) m2mrr!Mx4A9ɒLH/tkϳmN:B?iqP,E+w% nsi0&WNV5.RH6[xQu.7!zSt* F DV"2TH#=x7(&zxHyh%?4{JGh%n}ځau^QӆF X]>"`7{a@Ja֋eѝUF p݃WEnSe,_ڸ}^({9 q'EIM56Cr3c 6N݉E*tV:UM=>jYl!Zn16$D-)9ew]"c1-DVӳϰYW=lL'2 nPNn?CʕL,N, m)ژk@g9 lBI~,jYQ a݈cRF԰ m6}+e3n0@,{ð5^䫌nbNC;eCFqs8Am B6sc@` e0 iШGOm @kªdWBRQ$l:RZoJC4ADyià0Osҋ,/|"W H?L%J8 PiK°p>d<J8ېxDLFÏV)pmӫy;_!,pu 3b(A?ju>VT @ln"+&(5d wT=eeP {)dނ_ ~?23u3s1z$FH)Zx&ٗd$|F[+t5‡ _D"),%nPsM$P\F!KsCWéjKҮNT@R2O\x25 Y1LiWܗꇙoYOBI`сhX2/m`bdOc1%@l&ۑ]SNr7RGT\ǂTNG{2?GE_Va'Mn* ЂF ~sob**o~č)fϿXm%8jt'|vvbL@V P9rS9 5cn)pD@dj(\v3 *CG!/VkD.y^`&`6S'm)dY}Cas "yK}g7]qdF6^MJ^ᄯXiNӗJ%&>5\R5K|0ZfV(:oMt7v%QO3GQRأU1Ԓ0& etWųwqG9 $2 C@g ̲AfhX,?x]'O$ QHYJ\U/ KyB1XMT@"KtF3Ccq1sfjU7gҘQ9Ks ) vIΚ0^)E ť1^Ot:VZi,^GΙrEFFQP*'76#Ĺ0n837n%T J"沀*0péA@zZ㥅uDy@d|I_ `q;2Q}lj)_wD2o)LŢD!<|pl}[4miT편+k_iWM$Z`zEV飬WKS99Mwtiqps0s1/a0K1q=;끻AV2k+7ž|q(DK%ŞvCpHKD2`OQ ߨfkǰ0ğ}_͂RiҌىtd\as f7.,._4deF7CBoHLP<7>q||>ES$A8:da־&e]*k]i=Z\X#+ce׾v?|MMc㹺c$uP o3~pZۮS4u<*k>=Hnޣ.;c>yd2oնq/ixΫ" o_^@,kdr:+DX^kL9j6D޴IlC][ uג.:ܮפ,1` !F㻿-"ߴ_>C̄Cظв=vu,k~dpπ1\ 0Xҏ#M#T(Dtlx/u`mOf~FFd]>romT((1P[Gc_މ 1I223Gg`-| ݛd fU| *q^xVeB<D,XU`4칍lZލJ"OqxQ&eZ ɚOutBMthaQw73f٥%cFpUe)n(34f%AY脻ڏ^=ߓpBۂR%JĬ[(qH6(-H3Cӻ?1;4C=ަ*JѦY(ˁn]cˊeclvP !4,pX7\IGqϡ]/+*CgYZ  /?O \ 1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526m1I' \HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (f]D?7 {?:fH\xVhJ_[*9 sM(h{G Ot4IuquJ+t9g8 ~r+:膚^rdH8>Tq,a+OaØb3K^-4WdݐÇ6W;:+q:OAށ{~jA%VHÏ[ᗯ9 iTFZԒ%~JT(:caWR|Tcq] 䜍ty}d8j%୥gIC%HA x`. {ƴD\(t}pD r<[m9 `9 @Żo N AOc6}@*ݵ-+}bYt=/%U@7d/%>>%Y1K}z&]U*:O͓}&MܬdX"4O` Uk#c6B*Y\?&B 5!.2pS7r4:7˔K8~Ŋ(dR]r~:ZsY!VEaDQ^~ΞHYm+tzK%!  6ueB֝t6cgR~@I_Y ڇ<T%CA(+ߘTmd!5)r[ `n~T7n 86IFKt=&ުutA2Zv6 2ƬE`8aDR2 #=Z\M{TP4ڎ#n$33bY-UHDP "%wXOV$}+A.l;e[/:2! c"g6ffXW `^>v89Q]agYZP 1I# $HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! &!J] !M젗OFK?f=Ь*f@T@feXAdN.)!JBofsi؎k"gW^tT7x@ ?ev>Ͱ՝z7&6q7I^ylM[]\*Tq3;U%_IϑBsQcwv ܱ$LWo76^T >T/:<8Xy ru8\Ua̘W8;$Ký>!U蛒pǁ@F0nAc1\Mš.9_5 zO^gF!:)cT/_$ 9 Eu6,Py'˱#z;j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id5221O# HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! S] !M젗OFK?f=Ь*f@T@fB(*3^ߙTp/"HNH0An8Ⱦ 7_^^lf͘7 yVeK#[_a\"ٺv8þ'_= b!xdL%"PS׏~.y3*ٻ%P4t+9>1 P|4KZ6S,:  gy96mY[jq$Hrô8a Hv9CwŔވEW qUڌт-F6&_YD/l^F.lљKa{O*lD &fGZL|8ҧ}ܑWq9X]9A=c%}4߹0?`#zSft%ڦ:gj"gO~zZHI6[N_P ]5Ғ2RK!F3e`gQ ML#-8 4WeT b')j&$fxQko1$Zgw[0*'LJ f_1 χsj"JjFqK+t! h&Dn6#` 8r.g|]ޭeHk"3-6(2b4 eQ.%[GP/Q;($O)+ NO!-nw.2z7DQߑhԦqzD Gepw N߷v\0{}PhIUilLcڕm$Sl΍gƩ*TJIA3=>*30RyP%> ޿Y[U"3lђԿtBZ{7o<fϊtc9uj0.Y %WS}zdUJqYFX@f̼XA G(Gե~(7mɍW|m$}bvց1LCV{<#!,prZ%\|V[;uc5ZZ>LT).jGS(Z$le9@V5kJ͠+ӿW+S5~?|e?L9>ߨϿC}E2ҫFSAa`tuڧ=2QIېy?:Ѽ1cX4BGL_gQ~|(/5=jܗ&m.p,>FAΤZY?k#@ .gI De,$5!sQ(Jі<33ò#8IxJ Yg5pKkdWԼ)#ud6-.DW_gro*<4DuZA/zg FdOcN&6­,7޹~ JKG.m WBsy '):]I?G; %Mx"q2V -b̧`_mL6ݚcY)& AF`">Qm.=O0X]5C9P*[석>0nB4 1!#= "7DP欆k}XuazWy>MUM7X~o:~;ބVXEH]o-&&8贤]ÁTmpşfb]YsYpdM r竉U ~h8 .]KO€`G{_JxzK0MC áf;2q\^p"~A1e1qLig"Gz+ё* gXkVHe9NP2)-?2"[ٕx){xf khg~;|Êu_ZJަs|,Ȧ+qx3bC?plpEN1OB ;ή/z3Wk~jĿ/.g2eNK~k+oy|/kIy[Ιføffx&igh$f]POqBKm2F{WX X!~k)2B?.?);TtӾ/;pw> Z9 #шɼoMYBC`ٽg#!#~9Ņ2{D^Vm2 Z&MCBt!4^]Z3k[UJ{1(~r E,D|,pU{wԼ}G-t&/HN4~<o b:W*P'4-0-"H堸drwGw~ShVE_-o bltm 3:t07GTS˧oYrC|ıqղ12WK8R;O,R-،O /hh3D+6YG an!RP=KL2 |*0q&zl(8%3[N&@W82s9=^OGs|uyny%*Z 6${}hj}D#M?V*xyy~;=m`w )K"-j&VK%|~ј@/< yk_us VbmRq: U3FJY:9%Z~`nRL9,M3ѡ6r 0l ]A V,O:$R4AFnT"( #+7=sẑvH$&t=,CH;|D(J~t1.MKECx~!iÎ f@ b4;XjA4e vp"GURa\|`9;RT&:"ij!KߟqB`ȍ Z#wbbO~n_DK 'rC Nuk:dFȣRK]O>>i]0QҤ17m7@{&>z o\_@}:IC%~;S}h=21_qu@k|4)g8d#c:{/)Zm,R.&ڿכ~Y'*"R&TOQa4`^ŶL`m*ƒ`8‹wR/gl5h z .&*qx3S<\n*GEOTMv.S2 S灲QyPӵ[ē> ;=C,jRӯq.jP'Hй]k)uc"F'-^s 4"1Ka^@om)Ν9^Djذn~VLH! 80X3k%`=WEF$529',sJ6m3FF~a{zظ0>+gr&z|t{?5,atF]_ 78ʍ~Dτ$=ߴ%n0/!h<Я zA7n[\@=$z慧Tzɱb).wyMp\]7ގʤg,bDM=\Y#Vz|dunJE[(2Mݶx)I[9^<ݷ 7N@{+4YAݴDg RF\UB\r\Okn7pT_u|v}Gi( ^9 kۯa @<PBTS]xnלAI B ƻy^|" e%QaK6W@0(6_R<ۓH3>-W4ϤTcCPho9A=W R[2srR; -^%\/_?iL3hXxO;gv4ޝ|`#uXlݨWB=Зtoo՗1$J1 Ϥ>rs6, @~%ws jnɴk-AA-t'AG: )u|0 -+3bni]qN&]ҎN<&ܜ,m9lk| 4ŷON7C\pVY.r֚8#*zpUɄG`䊽XYdO4/Xa0ft317T3f@vDIu0\0N$ I2ψƨX R*hsn Ð*$vu&*n2/hض ZђX(#K.sV2嶶Cgnv{ ֪3-o8`5 +lԼ'rדv rJ+\&5x;SvXeRJB$4~7aSq(ش O"N4H D\a*SI-̯Aq E7 ߷,mȈY-fd6 41g FV0lkCۼSr?–$2_xRsJv~EJ3[1:e\˅i)6uLרVX=؊U v!Z*5k)FKa" X"ҫsPL2%7j;4I)rkm*ޤ ӫ zPu{7yh\ZA(+T2ƬZZLTM*:VnK0إ"4J8|WTubaFHIJsO wtÓ 駄G[M"&6eXS;,mM[r4+Uhth%ȝ6ٲ}k.x@Ο&ÛIԟgcUNh3 ~#Gt8 Dͫ!m^OVScxO^$J#rzC4q(8-HxS28po/Z6wc@YKbgAe( ``xj:mY%ުX|h'Z5NpDKHi^e!II [e2!xtzk_ 6fVuu!_CR` !=Qmx 2v)0kB,^<ƾ@z3Jw#|L,@JFT-!ځeQNbFu %l!f|,{ɲO5ǶgfMOÎ4 +U)`--]T_sr9 l()q`;}s>k:c&Oi3`^/]I0L7HB=23#rEvS华f2? ETJSw 5`A0EBR˼gI"_Bdd? XKvA9IkU*dF T#۵zB>i2av^ PÄ"fYdH;N E[!RlJڇNlaL>ئR\OLyPgDnr_ipxNo) Vp;pWIq-+;SXtJ;&plkv&|GkU`ԠoE퇠6O+ZK %!E#JCh{t+z%0h#x~ٜ@kDПw Jqmta9zGь&:I9"W`ܖ2rdX~VGmhO"}\'o}R3GjsSj9Cw5Xȁ^H=+2x&4|GwaA̼g=#rr^G훵 ~RhulJdirR*^Z~ZFó@ VBAF!6-^0, 7m ]Hڃy Wu=I0[1#|\}o8ynlDϿM&2^8cǙWITYܺ9+-}4[]D@&J`\h9n~S?YѨ԰:8^]]kSMUwa~2gqTߡn?59*?H, 1fpLڋzC 8{-hᴺw3y4}?pSɔ5%~ e-6^PM,&5PupD&76ue&- ^VrPb׍O% N(+C:YɮEIJ$e6.b6څ'OX&p5bhͱqzCcjE2h-pπy?&Y9oط>ԫzZ"؀b(t'\uxN袁{NMF%=]/s:+@eg? mg8*mNd w˕bR@g~>-(V< sVֻ*cb[S2ufh9IYb\ھrgM~F) $㯞-KoӂA'Ri5m^o'=~mW@g`b6ܴūq%O~=$ YP:u{1&K_jEP4c[f"\VG木j鵏A#qdI(  "\lHkߵIe '{dKwdySs`u,_bfloTۏ,F41\VuxCRlTedd#bu[BŤɱgYZ>@Md^?+@bs=0Vn8%,xIߵ銶_:vBSWeIuG ݐN[ pV(%amyz7! KKhi*YfZ"wIJ_9Z8abR)/Qع9Myf٫5j^ާۮ>Dq>Oil\ b%u=lʟB)]ԑs'+gpw Q4/~ $@C@p I=ųt:bAjr4 Mc9sj ]nU'a'-;4*W`<&כ%(T)ۢ"Q/gi¢NGŽ>3섵= {W yv1}Fփ؅=]"Mq6KqdЭy¾Ǫ߳uqLX VxKx(fhP#`s!?wj[ٜhZHȍn%1#>DfBTVf ~mu^n)n7|roBY3.(Ǵ²G~y1Ü !l\ U]˹1>#ڻN 2\v+gb;"*6lg(ᝮߞGe\bS5ڕ%Ph4'}bqn}Y4l PgW:|.3l40l}ɣdNeOÚ68ᵴ%,}}ԪӏdНa|FSNtw+py̩[|8g;M2SH)nŢJY +:J$g=nЌ@r{MlcRsаKg>-z`N3n9VJzzPGkV0:wk*SW58ٴ;#t}' y>QA|Uk"~+CwtAUñ 9q:=ŞUA&fkbRzA@'`w>C8QEjfQʰuG!R5Il,p؁@3TҴIU0{IغK 祕Wp8n@L-`G5rI avCAC11F!oӸibdٯGvKEzve;\bSw0Zmקog2Y$TdOԀ1ȁ$+*=/ls!E|ٓP@aѺmgif;T֚|}%`$hamP\f\90l 8;B7KH- (2>l‹ ŴXA6"#r`ua#i&xjvUdODH.N.:zwmǴ ĸFT%r"ȶw︡45E~ ilmprlgV]T#1Zi"@ թEWm)wߤoJ\1I ɚlGL$h`kg `EuH S)läLWBaHSld7XoD0"o2ԏn%iB>0o>f1+~l+I*ww_8Em20>q"-C|A)K<]:מF[g0P"\G8ӗhحjA_h_4*[!];Ѩ)Xtrp2I;dzCe}Na%׬KsX$ś1;)ה3*؁tǯm 1b}\7BZBPۃ|aNUYOGw?k(Hzsue~vioO/0&!ƙ0Zs5jqrԾ\k@'}GB̓ FecY*5dQ7b%9*㵁T D8R- "hKIRNIJ'!ODAvYL2?uZ(EXhCdG.%W{ RSg R0;;85s(Ѯ’}D/-Yv=^Puhh# N`:C>|%&!C*f)vlPz?Bi:FTخ{ϡ>SmUbUQ|%'?ǘAti^ۏeSvOŊc/5 ߻DV:|R\+ƠA!/i*t+߆,lYѓDJN˗ Ky\(W-|mt$[B拔da\`o Nk-ꨖ{yq}C5h Q0g KP\G]9ƫ5~Z!BqzʿŶgˆDMCď *;@6=gA%(ݬH);m`O* W=S녘;G2SȻ e0di/$) ^^nyhfrKE4uN1%כWveXo?UUcҥϽ ;l Ii+m:;<: @s~k=:NN -qmM\O}tɃ֪4Ak-DUIL=WBl ޻w"qTQo[Ek]8Փ#Y> Ϯ'_OEߖSwszLIēuL^}m_Rǁ;_qґɈPi\5b]Xhݳ rYⳟNr~_ЈN_,ə"lqb#?GxiEq 2D~5\c8ECOOjbo7cMeJ Ӯ s˅^17R!\|} bUӿN)4HRCY,F^,@cPXf:ǹ"3T@,u9On+Q,)K8tkgwB]%оL חcN 2d #d!Amm$sl.* ՍzŴS;zj6-F zj"IA>MzKփtSqdO:SI?Iu)n٢Lx&!QSE%Ux+9%Er3ܢG̑'9oƾRZĒ oaQDM[jKaıUƿ{ٵ+" Έ b>J9X /PIyiWxtDQ@CxL(ԃH#\{Dǡ$;6F[!pCȒ 67 IBҿB/aollG9Z "Dvj4J( %+~am54Gsʯh_W䟎A@쨊pzA*lp3@`]7JRDI֓p+^:Uͧo]J{w&zDxtJ 1 r~8HH?R P>rNg,:$bz; e=^BPҜ/Uaw,Ո5O~6#ٔsYc*\YR>K0Ht= ~X-^[A<DyǼG' +j4*4\67oZ7>e<@# T_ p{Ҷ$VϏ (}MYJEpIQ9 8!G͒IiuE vaxCTt p0HwaN.fƞ<- 3xX脲XC*^.{$2w=.:u~S-C6HV/>Z82Y=Vo?*[o4;8{^94[%QeKS89ӭ$MM/o5)}$.5nn4ocU Pa 9C@Ʌ W•uXb'Տz`daӁ@ AyrK .=al ݏ֌59FrX.#KdGVPߍ-=}֠$b9yj*2VEA ҳpYzދ"`w]&Y|Q¹\10V:GIk}iZRmE RF'BHk"Z7xO*Zs_-ne{g_Teg f}!vYҙOe^E;fJLCXfwla&c~>LZQ5,zR\!,Es} ˍv5XŁ{2"|,b5Lƭ[(L77o"g5,tT& X F|cy1tҩR澩bZ4[0iz-œVgh #3ϣ2TyƘ*˒;) >匰Hr"eGaOhP':nzX1Ln[Hܻ5. ~IGO}l\4s $eSN4O:'ڻwok7WptA q ( }zQ{ϤJ/K5#\=$\Ag!k *XU" J 9Œ_I=|3rLfR!W7Z6NlBQ${η7ݚEӜCx6花-19ۡd[)Đ 䗩$!rѾijXc2,r]. {94L'{@H'`6x(V0Y>QNϭ?BύVs=h9>l~{\d s̕+*)L"] ,綍;JVǥ.<};ióvƨoLލ!L} {Bb%YYihMeGkXi#fT%{eKoT:)s4l=S?N׺Kag}.CX~'2"P-eBۯAB=AHtd𞺌g+BYtof!k1{Hݳw9{5աE"{'ooKӇXyeU3sy)%vQRa[I8BJMl"Fʊ@-z7&-_|ݗ£ Xp_,x& Y`_;/_ jFxqhXG;y~ޫ :+s[}6^*]L2 KuCX^O,>b "{b'z7MZB$T\g&:Aciɰ2%}ق*jy\ퟘn~6:XkJk)4S<ݲ4/KWP8F ͪ@90dA7\4@6p[8$v([hHhaZC)C ܑ XM,2z;D]M@w$unpQ =*i,RZBOؖUiB V%wg"9*jl {DT(: "4DF=?^II d*_h=kNR-G E/5J@jISCl$͗OAR /^ 7;Q\PcT3 E2X]Rc'K)7pc C{6ek{ [y,l&\6U mHJ )^ F>zJ$Gnj\dz:mi]CL3M|hu/JeS@8Ls66VHQZp 8X!4o5z yο_PPXT,9x{S!X9rB*n6H /Xhڮ$>U&M[z4w¶LV]Li' '=re73ӬUnTnɦC9a>h Ueî)//1Fwӷ8AViދn,s)042j.{<<|ӅvY/YЧ1o 8jS}؍-Dk!fdNxh_[KA*4}bş[|ohx-;Q P#%Am>T+*xZ's͢;5=Ԫf-)jLʛ4bPL//EF &b7c=14W8װ(:je6hñrlbNM!\LceOjv/pLT|>zL F'2BÕgYZ    1n$1M!bHOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/files~~/src/HOL/Metis_Examples/Trans_Closure.thyL#1M-HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/document_id530"1;' ,HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/messages7zXZִF!  ]·Iq n[:|&[zgL4Mz*kcR#Kϲ?$}][xĨ L, ;yB_sPÀ/1{fIG cyf(ZW Nĕ7.f~v,_DsXv [c^NłK"S9^}#b`2q bz0ۖ#Ao")5lM: iԧF:VRjGb(LX^<^jt[4pLoQt)?r< zVVu#"'** i.M\\+52e5~ajyw'K7N0aEmE`@_ĨnG>DpKO>g+%]>p;ÆUgfIeC$X9d$Y:W_ºV4_LO1;[Km<&t:4@_gYZa! 1;# THOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! l#c] !M젗OFK?f=Ь*f@T@fZq h\\kg9d(#"o|%!^!AN˼Amz;u !h/ .݉1XڮSKe0aT!x )>`0p&rbpZkGj-o &<] Ͱw* ^a=tv3,Y3MdV"|m@ ]/q{V}"bzLrW ӂ&_](b"Υ6-sxi=ӧLP{I1y,]t4\+OU/>Q=?/!!4# iVV=V"F rqPp{}@iu6ґ%YSG0mbDx3h ˰U!<ي T۬`{_Iri941Ϧ*3&Lwe&3h,EP"^/WoYeZgP}# uX"7ɚ,<]TUp:߮ucn|ؼ#v ?Ga~<[ӯdC:`: *m wf<ߣ)\:L7V,̺mRmYE(NDm(5)?;/k]@C4yTS# KS;,-% 09(<!5绐Q+$oL'#9llwF2]iuŭ (87~XSV9(r܁c#W9(ZGR(sGC''VQDѫOs}e:r "Pɸg-Ö6= @@j'1I!^HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/files~~/src/HOL/Metis_Examples/Abstraction.thyJ&1I-HOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/document_id520%1M# HOL-Metis_ExamplesHOL-Metis_Examples.Trans_ClosurePIDE/markup7zXZִF! ~] !M젗OFK?f=Ь*f@T@fXp6|0hiLךO$3:"!lr#>lMPmf1nlA𙣎{_yP",8%f:j1ZnmYkggTYG]caԁe Qh^߮6a{0AlΤfyMbv"D/R睞h]b"I|{FF;W_)!8F&12ڍw';q1]K="(,[+ 5Z8;P n/t$jnzց<"I'~?1?-/.YWFCj UiV\9-VvsufIҮԫHPC2 "L+\,Zg3^-'G_9fLoNsܲYZUf),vYhI0 7`>!1)om>[z SQ);10gҹcFrk>d⎾_K&ER.ršra!9^#O-,ش(O qCA/&* Ӏi?j85n\1lfS~t\R T,8-P.N^_\*c]YW8" T(f~G7E#6#B+~DbCDra!SJ떺 ˶7[y <lP fxJyw@mxGJ%‹BmBQC$+ˎLݡH#<~͡)zq?VhCbK|,7,c+#_`{ĀF[cuӻkB$._^6޽l{7K&. 0m=t|?Y?vHFʓWYfO\:k1ث0-M1k+GUI q-bFګX6(t7Oe5%)PSGESeLq,_fEgCwӬ} \[Jn"r)q.H֔hrBFy6Ca}+g>OV qY ~ Ñ* N R8̺GEU/^r%Cqd0TBy[l7 63v&]\mwBt6FHhuܱr)ШV!ܼx̯*e紉cݮ\w:*OA).*R:0GgWP K}gqˑ$8@{ˁպ2&ih̬ʥYH=hYlGdpz0,=ٲ>AR.79"JUN,c)w>_i&R ҿq5JUѷsAMGJC !}dkAw//M#NЎKnK^]{| ]iTb{cM~~b[DV a-'VUOwIO6,JAacW'WJ U;V\.[|h>KWdV87T4Yeըelrv4y̲$I)rtҡ;F+10}dl1ZԢ) wd4К!^{"#g y"}1C{ۃlu9)^B Ž T,1[^*21z1J-=R%Ae}he%1?լ+K<9(wsPhd`+PsY_)t9,T/ 6!R 9{x:tCNzLALbMnR<6|$j%r[*ʶ GW&Φ=y *\$ H<j;ia4q ?|YU S>*ƦXGbP].kLC=lU ?""Ec(ud슧 _JpeϰдcyyZaȈ'_+&H[Pyz_3cT/@^oc?SNeJ AxtrTw4c!V0 {426] R(_hhPʋzlA>4M7,ԃ {T[w$$6A<wKڷv{̹ĶTh=̈7ezx@LoT=Nγks]q} rZء$!ҷ:N!iSB51dsjPYbTC4އ="±ygԅ^Iїhi/RASX6ˆ WdFnq\S͸݉5)I1g}Z/XJݎQ&"}g z&=c&qGR?"MwiVB.n -&.X+ \:6樀PDXdtA-C hQԣ6a>YW3>0ED&UP;9DJnY(24xjM'3&љ/KgYZʖCG0:M }o9,¾MMtv[x) = ~]l1!׸ou^_ -QC]]-y{X̿E'L_M=f\ `^>6pFx9xX6iMN{;gOа7ԕ3NoRw M_$}ɿ8_'NmJ+[.Tޓ]Dx* Ǎ!&9go%"/d2L5>ߩ ;Lj79Ua6f,sVcNTq(pSlYU9NkDQ \dt ? nZTe }O5B4բ!i(\]B{{uhPU^8@=>ri>@/b, $2!cmiHsuI}rg`y!*<4%ȩ`?\ӫQa!sz 7w jZS#{r[rfy_6>3w䧀ortϒ/1:l: i o$E"T`'HxRd, *n5gZ>&9/ ͜)iUZj[bt9 ollB@TH Ldn,&yVs|s ikK.Ӌ "2 5 hj[ 7RÊI.eAY8YE-ޔ>Bkr6l3L`[\>.;'N%xxCj {XlօRMJ+ 3>>h)O8 v'r|B!)@Y؏MpOSIx=dQ@cg3;KHczOQd]RP[c\N:.U3\RX< ]tH c!16| sw9G+*tw7 󹘬Ie&K|<1ԋ,  *42 = J>j+Gto{ߴ" ;IGUN Hhg먧T7d(%Jݾ1{Rujy89SW2~fw"};4Lc2Teu J\ć 97\IG_|0ޞ\HCPiaۦ5~Ѽ-$&#<oQNaBK]]7|F r}C+"Q=M㑏4_cwB{@(SeRX&>}$T%c7il-p:> 87F*m[)̀nXS<] vBJE4belOO|' B%j+Eㅹ-HGK{:x8A!gNoۤskMn#w!ʆOSp-pV3-oxXYP,r,OjqX6;;ʦ(Y'; |YҎ7/9Ҫ{:P9t|qW)BUXauEtυk,$Z=þcHGSye 7 [Bg{\,Ö ,90lz3QSd$R2ϓ.:S"I 3.ywiow^l&^/L3ƆÒŌuרț1Dߑ=NO:wGIe#o@K ;W־*U<8U\Bp䎴OQsV%:ɲOˋ0 O/99NKw(p(U3KfvwRH2MdJf+["YʐաsOJ$kN[ &8L(/FL~Ӿ=Jiz 8qRǛa֮LKpz\lK2c&PfeG2%qNZ4%N$׉K:ʤdhx KNnvN# T ),gEmtژu5Kdz;iS~?MC`AFVƜʁ4DHu "*bg/⡶қ5TfM1I`R3$N`7MqgIW2z2s? NȿLw=ȄBvuKpæ\>m.H!5{qVp(/fNIxflS?gp,é/ ,>N!Kd`oK.lT}^۟JQ\SPC7'gmݮ?7_Vy$ ?P YQm.I;MdGG>zg5LL0エ0zj4L!LX7:!6цQ( -Y։c2 h%yՌ¯`&gTxItoڐ1]QΛ1)BOHX볩Hj$b9VgVq>!XU]*mE#1'#{yڠUsTBsSBa}sڡ4ͯvG6.[~^4&i=.;h5ǰݻ@-Z9dG#]G<5?!IJz5K4M&#)aHy yOZQb1 j|Hw3rs)HZbh5*6Gۈ8MDI'A}P)Y6NaxIeH;Ps…l;Yb&:m\h=;*+Uhx"FbP]6 ftn,d$0*QO~o$Շ f`@oy)n q<")%znw0_Ω㸫d.]oMM4ȹZdL-)r i^ygKw#15uK=:;V FvuϭjSAo`УԏUew$4`k_y!i%Wt>q&\VV QAC =׏i;APw>nFW3(~+ߡ^cBn#c$D-$%;<\4rr)Od*zG糸,")M<ыgYZ R b*1A!VHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/files~~/src/HOL/Metis_Examples/Message.thyF)1A-HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/document_id524#(1I# LHOL-Metis_ExamplesHOL-Metis_Examples.AbstractionPIDE/markup7zXZִF! #] !M젗OFK?f=Ь*f@T@fl=|@<gQ}x-K=Jq&0 2+{v3޹eg' k{pOs-2նya xnu֭eao!~<24Yٝ|1%Cñ'lqZ($30 TO :@ ф">Օ%K#m{0pdrŕjsLc5aL+Z-Y8حB E&̜n0R_Ruk@쬱I`'i Iċ nON>gwh2!8Sސѐ7 59`qhZdVEy|AGqlabWX,# kn/3Pra7y2g L+hM(Ac7>?Y;vfJ#)弭`kp$,hthECŒE5| \|+ҒQ ǹMG?7*kEv6 XE g*G4!h7 S4JSYp-ZR [\bO]^|\Y4GEl@4ءߚ<}v"^:t.1,#l2NG >I*m/." 1Gނ+vy88MKyrdykG@ۤ) Ntc9ֵ!~MwAW'җXv9Gv8>;ه%] 7+G,vW20u^οgD4A8݋07 ]m9)IK[)cO3H3g'?bb=}c VN;1ѻsT>,/և%'vSc=Pzҡ.0pJp;n4AӁt7Ԥv' T9qIPޱnwl )J@{?|z=:| j!_M8 mܧS 8\.!),*IpiêMGءM3/˶v>d `ͻ$IeD}p`i* 9{ 0dPs ydjU "g3(odX2^[Qj Pk'GO:`E"; w,{W;6iJCa%98AhxnꌪP;G`Ltdcd+zt!P:t*i$J35:'_fP(Ɋぬ si?ʐlqPPJC1]|&H5H6&,_;xMz~j3ExYVmred\ᙐH9>X"e9.]p_8:L~/:m'wGFu$va+[v#fڨXy"ɓˆb~&lUHt*ex5!nH m8<~Yۚȸ+"OV4T+[7$1L<췍sL>p$Z/gԚd^3'ȭ~(&Q^gC'k^]YSjy}'/ṫg假GܻP3P @jsPJKqK=OewG~ VNTzT%D*L@e\g,\xcvEܫ&>q}WnSQߴ;zmM{qQއ[u!K^ FɆUF /^ `;V;.yVhs"]’OmP-=+eQ?z;r`8Iv|賮/f^4 a@E{ȶTtnjWH¨9󚡓9G.͵6]y] n}FaeYX[m} l%.M@$TѾ BWm we?A-q,䋞ӌ<(} r!OoJ$hh S.;CýzTi0C4Kp. ̤\Ǣ2Oe^j%( È;JW4 =r XU%{Q].zaʏj0){(4bkN̷5Gf.@?#q2jцp/Lz[Yow |fq{ HF*Q27#۰ڡz-W`ucC앃=!E`g9 OW$𢙼Lv C|JD57v)~Չ)ĩT8'|(vSC6~QWb-} 5WrrUuW? "Ezu/<6Y"u ˶ݖt_"x6L_qyD&@$X 9PM| A^u*Ejdn \!|lq c/* u)u>\ +.r .OI%d?\$sX-?m^%!ꈩx./iO/~{H|~҄(tF7'E T.hUT> hc,"ager鵀4TyEJf.5bĜ>R7V$)ڋDuҚXhK#.E*{A+@Vա!\pA@LXxˈϴw7l0?O^Y%`;*qy0[ʷqo E˓:q^q`x>zإw0AD_g3vGh/C7}T~_sM_rB1h>8~xgZ,.kl罿:>N!d`4g$"ħjrZKKh+PQZW )u-6(FǿJQ+;O9*꤆"KIx6H)*,CC6)-1׆2'0慪{;"Mwkp`q8,ӕ"3 c<5`KTDTMt'HbkIɥn` !\Ɖe.v!dXZ ۚ1dKxNmA{m0g:/ȼS7;n)+rՁ(90'>}zծ4754151ȡYH׶%Jh>kxN!Mj5tAxr9sl rAJ,Mm>wײa2 3u"H3/K(pڂoҗ "~)aa2Ĉ`3k&A) l,~;˜~xvޫކtr7-HL1a$HRX*on3>!Mcuw\mC W~8!Кχ5r4zp#iwF:63wv)y#+UESCdVpZ{; ?p;s7(<*M&)jR?&O ^oh],HPr`38R:12ZJվDӑfvA+#c/GZYƌ.ZD ̳{: %䱲UE3Gxœ3!}/n' b<.^Y*q]'忀z$Y#!q- - Mt-eu=g)Σ(Yޅ{I׻e L\VKuZ'v0Wk,fIP g!Tw)SSt_-qEj|)'RZGhvل\xHL޲ a~IjPB4h165&U%>Fkc~i.KZZmגqy#aGtMo w3r?B^;/,3%l={4. JwFXi7U׉ͪR%4]wį#/Ϙ%ޔGSaH2I3ڸͶ8S)v;Jyv {h%ز_ǂg)c0 w62м? YFtz7*ɪQBI.4JRg^MPDg0co&0tv $9DIf7v<;?<їQt0޳vM؜itSGA4uט+74=zۮ_` Gc{'x G[prYq<%lhk2WZ3r,Vwjm K9UJ}%,[/~VHOgӪC\0sbĻ@Q/| ;t2@,^HbX{冠.8iŇBiV\V_K%GHޫy!=Pdž/$EmhĂGt ٥}# V<۩?$HZ+.c}&4o H1wݦ;C_`]EMţ% D jXSHv w<%N-6_̴9D*"'Y?SaEEmCC0.9jfHqT8y5TڟmpDgs#[&™cnʎuz4#7'5UT\:M Nν_>ct„}qx_K&HwhŻ}SI:iۣ VbTZn-^ \<=Jȫ٥œ6bp3TyKP`_E7v{N/XΡU5frٙw&*7qF#UDG-5vk4f\"r7S~n|e} 2Y4RН{a9MkWXK# fQ?FZ~ Ew%8(B0OH{K܎#+AO2Bo XƸrfUfy܀d\am;Z 54;F!%oe F)G&Err`#İNZ7swv^,k}u0?Mvn0$yYq1\ ,HGHjtq |~h B!ϙr8{u}PuX*!1 "1۝. R,qxEZqBÏgac4s__vC+}&{3Q[`c]$4"b~yX{+9zX%-ٽ0db.֛!h)qZ;U^Bm`.ˌnr_{h3.6Ciwqܿ!]@=t('0_є<(0&=EviJ;Q+/u"{XgVHI'k\8+Jr?0O|lϙ ͑[mz]璸LOLI>*TՔ?!|&vri"U 54 myשCk݌OUE=b F.n&r}]dIdGܴzd{R~Bj˶S)pQV."Ә,)2Aqkrizi gݦߒXG^&^1E|.]QxV]̵־ɮhݭ8í:ZqFyzLo7PV;Zm#UvF@@{OZsXKy㍕q]L|=N U*R>#|'愋:0pB]f 6 9&?ձ4^$Z,@VsWۮa[ +AGD[5:VKœi9*҉?54oE6Igr3ލ& Ȩ?<ݤ٘iڿZ7(@-2_Mu$)ك0Lڸha{+'yǹ˻F"?A$ٻRJbYqfzf{vJEF#xt^yh;npjW3I;4~ F^"W%:}Ĵn9Z%$ j?(.,,͡P%Y:1 Kʿyۜ|h%(YFT㷓ܙ;q-CJIzy%!zv"57gxK0FKgpY_9Ե"msL;ՃGPbGKT[b b2:2W(Da]XK.Txq4!â7=.*K"=y8a.}#v`bCqJɲ7`>#}>Jh2A ?x4`9Q|=XBsaȧo[ܹon>yx0H.~iQUqG 7l.`r\t|Lr2Wĕ>BNՍ3y3^c ) 4*$T+F4s7ڙ 6 i/vX۶r?\zb{AUk;a[ *.?]_a*4Ӹn:_{eSz^PYLFw7Z/C6.~dfEӁN<BuZD4x5`)\0\uDtB>nљgQllkZtӢHYT10s;x>iA4)|so/HKYoo_'u/`Ww׻RJ!!2܄C0cQq"^wq8/-qCy-³\fk&07SlsZ С=o4j/QHS6 ņup86l_u(nKkoYwd+i(A?n3ބe~usYF slF-^V͍JSV{}B*W$!pѡUyY].R.mBZBPXOsb^'p%=b T~y񳘯Ld[FeSo7zy0]l9;ͽ>+r7S+%vih 9q[P RLa׸ ȥ* YgM:ef)(g]`Kl].nzĎ_ɏ}eO7c#v:(b(KrQ^;( o^) թ;@mʒm%jjxqR.@LTh*΄ˋB1xR{XʏQ*"Ąq2QRKe N;F 1MovEM VA>vGV݉vӚ( 0U6LfpGxqc{ 2g=c3x\+E vN`)0BHo̥t@ ^İml+˱$Jp;Y&Bv=䁐ǟtkv6#0Ee\ F?J=\;;3Щ)e #{M+}<$n@=7gMKvh7Y 8 !h%|}|@0Kl`)uhnZup ݼL4ffs:8 $i ʏ%kq Ea _8:4lSz#%Z}uLսY 4.7f8fަC沕e)jwNF9eb4%@q}BΎE8söލwWNz/G6]a1$&2hK2ɠu-@Uq7D jyQm㈆u0C9 saֻN.4SfvPs6#5Ȃ8ӬΊ(:vo/<۰(4IGU]zRS=H-7%_X{xA̙;E|c ƞi!Vܩ$T.]bm ~w#>f֞QQ΅X*=.OwǤK.,#{pv1-AgӼ)hq 3[ ZEEE7V;]LlM]10W@mtGCìϿԄΪ99]~T.CJAdm\<^{jvu#Xʞ(RO{Kc*˟[k6``CDT(g7_5@\lDzۙ]{|2JehmJVt\Z\*/~b+G08ByDob4cţKv]^tCb42;:ln Z B z>A^Hsak)rD9hY*f wQO._z@ɷ٭!yy"%&n_A)IQ e p ~%tߦ&@yg%$9wj+Ř5l%|í5Ԋ/YN=",DaؔMO{>rj}z:r~c$%Э"pOޓo-ko߿7?}lnlM$^l 4~{DڟuRc1"\Vƣ| {,L azfoB _  611QtIID*a⚴CA9X=y= cY>P3ک0#Ȅǹd17~}Cgjvܵlkݵ5mȡ]QȯZ}s;..CAS.(9s^4'b>I( ׫9 cNQ#w=6.sϓf`l<'X 5g /vX<%qp6q[z6[tn28\c%:i 2I)BIAO;OgWnwi\ 9PoԆ że&#=~@ljT6PqUî,5^7O 1hb!%/a9azV^49\l~s<&wqrg?DɓcƳv":+EB5҃t"rY#~"{gP)yȳ՜y /xMud8NN)eLV1tVi.Sv> i׿<#nNy@a*ؾrBvpu{=CT}T*=]eNNt~&o>r֭$Cy0 uG&xBOB;`5 ˰qkK樥Ay+*"l;WojDEz0/g2~^|R6(4&2Tfɕҋ۞WqK]Q0V}n)q2u砪;&@3_EtB3+xl0©H^ʔhZ9ꜵ&o<5]_ uWPB`ÉX:,iGJ(߮'2F=O5ͽ\;crwyEkp\^"=d_cVem`BXUpy!@֛xf.`^WƟ~˱GC(<}Nf"$/m/m)9AH$6Ϣ6uuXWpn6!7?A[䌢Ga.i.}‡:O<0>~QsBv6(zB\.J;,pJ:rU.Z¾Ơ-_+ͮ;8ď$t#!QC)]cVA;X"%) 'SRtTe B),䖓^W^JG;u[x6)T=L'dħ% 䴮4xP^A<ˈ :oIe$݆3.HupC5G gxL̄,IxXE`.ig?8rޙ8=pNiܜĤ]D;2aW">T]G4=473,p"uCţBȷ_,b?&AKvЖwRm|ۇrRaxcc&RI?״ նFնӓA+ ,T@ugXset`b~BY=\@ѓ,CWC4+> '8/ѠF)Z ۰u&&-VS\LpukElcFo@Q:Ν~V,o3L"]4 $`eY4_uqg(==7%R%-ኘfd;a,ǰQq`(`B *gM+*]x9w&Ӎ6vwl0Nm}Nu2'cDH2dX$zѡm<)'$h54BΌ {.5WF]$:'XZ^(bf aź Lmqc4aRc@kȂoM<N ʔp1R% w)-@4̂ޏ,G x<[kh$XK8<_i v0ᠺۨ㓻*1ɗ YQMn`HJ@{(F^-ce 㢓8T+`Y (sWUOPqz48j/O(wGXٽ fBKÌ?LwڒY45w=@]n*}DM@1"#&[|? Ug/zOE|+Z\h_CK[0+]Y}3;sw0VO;8{ -;vM(^u^1F5UUnsZ Zc @uB&k񢑶:`Dw#<4uk|P 0)~!Np1T3h89GT^*^u[V#nT2.cb-8U.qZW(_L/#e;Mnt2%Bݳcg2(k'֬H!mFyn=G(qm ` ٕ_\<$'!A 9u(pjx4=Z"p24?OxZe(/PcRLn#4gltw;*Vň`fw_9x~^ݧ'0 \,z<IKINgusK%Sie Zg@tR;AU<5ycJ؎F0|̷5 Ky^x$ߊX @EY#A㢜Wj׭Ӻ L wf:'^#64AM_PR[j8"6[^ne;Xkmeo@ߤ رro!F@)>굺\ql]Ӥ}+BU^lT?QoQybZz)k!a?.i\SZs7eQ8jU Z-iaqE:Oo:Tɘ&TuWxQoc|E!!C?XU,"C6S@]W>Oi_]A3Mƒ0q%/.1*1NLr Xj|0dG(ٙwӃ7u7B\׻ev:`S|֏;8ncǎ[]ds=( e'Oզl6V(G~#e-z)ףZ _J #jH\U5~2Zl7oc?qìCt]^[.,{*9ii8}ouGw/͝rwu֗:Q(JPUkJcE!Ϡ^,~z2)Ew&]:JZs0u-88|ӗ?Wk4(0^>lå|qvkfr~^oQurZ3Un(a>4!R1em'׍E;G+؟\EvgKf<72խ98 wIMAic>cf*Uig\sIaHF~N1HiAv-b1R݌ƀր;vAixQRKa@ƍ `X}t4,y1{e\9Mx [wHmiX/ %иpwh~ 2PDmU 4oeCmf:<\,@dqn5&6-Gԉ䎋f/;Z;kj% R(ݢ1Hy兼8Fx"9rʍ_?'w?;qP'. Zso:b{,Z_ AM4hLGҨ&OyBaOc㨨)k<٢*ɮE[z1 q(hita<ֆ찘+@S%HtuS7yAZ)Մ.~o}s./TNOAsB7P mw?υzT!?~|':öQ VhFj08Ԥ#j\{%Gs^mHL[6qivgk=L_Ҭ`4ri[Gq{Hz$~ǼD.@횅@Cqqn[qE\?eC0:ԹjOi3 %gwR~p1wxL'31\HdEm p{ы2 _l *`՛N,8=3^ʢ~}_-} E)z0~_ǟg:5J˜|QU$'VXp)cCi8J䇒&s150DljMSK\+?&aIHwv f ٙ;m/sm]\ "FrkAhvPXеgTeJwNIpa+x_U8Z84Jv%5{7x"aq!kU<ǽ7FA4~ƾ"o*@M'2d|!Pժw ?U1k;Z&)Qk*J u&uWXǧcsh(v4I9G+IQPW\~6 PHEV|sxĈ{3 {PG ]i#vr |zEҖ@%dO \ƮS3quz)ts? 7D|s~T& geJj>0g _D)!j,Y T@̸=R2RU.o0N:IR;I ;u 3>RSt&-jV B)䩟g9ՙNdD,WU˺רhhf5yL2!供`"'op<bՁԲbhPl7سAZMμ *cNoj˞yZlI{I=pr K}_y:6|D;:dz7;QFѬ4U_-{g`V}jΠ:$6Q9@ z Խ`z8FR0qy=?_ vwWReX)#c߾(8P1Gؼ@ҍm[Aö[:R& =;F=)W}ftM<tc01hW'*0|L|4Jh!s?bfP#Pc#jd/8Pk"@׳ l]CdЭY#(mMBZU@%X(z%$NzG,f㮝:ǎ{Y)#0 CVeBuza"?CUq@ @YF;WH.ezp>iX'qaA(aB73NYGJ{AUߔ:ek=4}m*+hX+ǐU,p`$:;r%T2wg5(Ux*Y LLGek`ϗΨ7aҏwL&]v.$zr0'pF,jIgv8&FTBn3 Yi(iᬩA{!{MFH,͞v0|Hk[&\c4L ^D.Tz #|p.Glk~} ~]3$A-Cn6aPUIN|4_9JsE ,ԭ:QLF[j֍ԩOivЎBkq_H,D8kle`^Pc(2`u6{?)n`|9pn60jMǀ]z$K!ñcl;uv9!="st+csl'a@(O1{bYP܉c.|| k#yh}; kYŘ#'w2 A%UO&P4, *n99UHжoFŎLϮ"ºD ]{B80oz6C$F#z#r*R4 li ;Ahz_g-Ώ#=7cyL _qc)X1ZTe,j2~o`8FV"7m\lgObi+X?82Q.7՟&aA2]+_Ç"䬕p>LX2KA>"\V Ձ@B]~{5ܣ=&ݭ]܈q%ؠOOʁ-m&!>WNΫpL5eC[Vx^d1#WSL௛.=qbENV!be+\A{/3|LIhrto+7jJώӥ˶Yخ$)N[{x 71$0:24;k3;uZ#OL|5 [2LR b( ss: %ٮ116wg⊷, c8@um5ƠYyթ"%rZ0:{,::_ K)kZE?,3pI]7TTD:n!͓B'lT{e%(;Gk!Άۿ%VyRD/`=&f D. _dx)q̑mOS1D8k|&n˃@)oX:ntsgz 'on]@U&:39t?_Djҁz҈s|ZJ.{j @15gTq>{L dEDQ]ZkAd:tGKeXof}֋sWM4]8G:kez *yסW]ɑ$P0Ge}+C[X$ؠAWz)he=b'\G_NszKb&Pq rP?)JDd?Ɏx y~wme% M#6vaݚ*Az ݕdQqϚMz֭ϾW7&C?qJ 'P>çv5zKh9r0AbWJp~ PT |!-'K8n q\?k)mq8y pI8 2uIfъڪa:!Aͪr2LϵS/M.FַW O.&+6k95!ymJ)q4|!n{OE- mSÅEK8U"b䮛h%pT'Azrq܁wZ a +*O~쫠(BYu:Aݴ:5V 5[ T J?Dl ,6݋0+n2 [C]_qI/Z<',ic0S_x%NF:UhX/yQJ?PA  >_>0a:00h! L2o;Z ݜ `E\5IEOCaC$c:t2~Kß05yٙ8 HnuOeEeYvXرg0;|q{ٔb: ˼A+3y{l@ @'"xoPhh㱌+L ׼bX2~A慄 QC>(q3v^Lr2^u},9gҫ:}.ǧEΥWcQX0? rJ?Qg Vβ1vrzI2cP%F$ʢKUҘ:*@9 ڹp.$=y„NK0zi_Eeo֫tWy3r'9*{}`ճ] lsO&"]=i ~#㎬"Bl4S!i%e;LVY^GV6vۧ&l#x&%(6$P g4ӷиDu H*7u o_aÝUHh&q\Ef!qqJv먴溺 (-`+A{ڲzJlٱ aHH5 o_Ģ9C(UC$ ,tu'_q`ChRw@GfQH$pqm^c~V'ä`;G6u?PvKo`(˯r>+ ;|C1HME1JE`x̩Doٔºxİ5%́P4RV.RՑ=iBtK(L !K‹Wr71S;5h, _2n?$Os}<^.=5? .߳0N-#,w]WSn ~u#6@8>, d/Itt'$*+NX ϵ\@X}Ѥ6Vaڼe]T4pV?[N؆h0yN7境J݌^7N=;56 KY? M|D_!<*>WmƏ2d8[:FA?j2tp7{!&vnje=} yx)TZwp/osQVAu* .PTk] M%nAe Ԫο*f]늏A%Wuq6wVmj)pmS%$7/`a\$khA#CRZȏB`1y bŹσM01чQZ,&sLж3v}J#qIXL{̤!`580U9:E +bѶz,Vax9^fm 4FۋL % 4'2LoBpN ިԀ ԋ+]IuiB%CDOFaPR Q.ՙ.Le)tꇥEOTLi1NU;^&=ٲӒrWPdȥ|D\[R=M\NQs]SOOʹxzƁ=(4OpʢC;K{ᜉ?˦`G3$}/]iy>*Ic<7BhW(u2 e;jMYfvØ^$pILЀlס?q1ЌzJ& LmNjkG@dC~L0^M?s;P ;)h9s_6cROO785*PT"( ;g/UkO6?t3b %.VR<`єp+s:Uڝ)RkEfǏ^IS!{IY/ czm*^S~lQ97yB"ʆrDۑ1lmNPYMi*Ʒs%NRld1z/SM`,m=ߞi&5 ]HI*2t8j:.l~-ȥ&q&bhhLJ)˄II0=qjR7vCRfriBLsv-Mvy9hͻs>r~GRNTe%c{< VUw{WBMF*yJM0Pʎ/cҬ_>~b,jEr4VպW ޠQ5 {PbIkk[mM.Z;lk*9_W=huy^Tuh!cK`F$\`JngYZ  Tc/1A# THOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/markup7zXZִF! Z] !M젗OFK?f=Ь*f@T@f\2;$ѓrnt ~=!,x#cs9z$Ol%T?M`xiIMIW|s7d}{xmtU)Qg˥WbzHѷCDգ愨|-Dnq ;QIjD~KM̠:G&NI XHa~/BRSiWc 8B>V%LNrH=BB6nm^,PfWqM'c\<-l:;du|؎,0JR,wH|=m.`C%54)@|)Kw%,I1 +rZdt",}e!C ҌӘ_9B n]dhH>2gUjB+3cqd&k 9Vޯ2!pOS%rTElX0@L9Za΀GH"?#,;~<9;!hPQAz%/>63#5.Ql6|p72ak Q0xQ)4҃WYÐs%I<>Zۃ1iZgo`Bhұ|X>PӡOINW=$)6ȰEXu?ӊw~CMμkhxU z|ue>+yV&PH얓YmrWr5[~DJnIIK2 RkVyD<ArB`nsKlAvg+N l%hrZ=sk4G.8'9UP=zz$P 4.q}:GGUZmKedž5"QRW5v,@▬@:&g)p򃓶w:$Ļ(2l\r( :jZ<Ҋ*wOhM;7vSV4 yRI Kx!}VpQP\Spɱ@؜EePT8ppUp.?7a ϒT\L0l꾕;c J_̧-Wi' D2ugYZH+ 1A# HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! RE] !M젗OFK?f=Ь*f@T@t/ fC&s&x(fQ)YA,+bH|Xfzbț%꠳e>t+ȀW,IǢj *~4X uUg`miWG6m:˚3Y`1YƷ昢>=onnhraqң"ﯗt({{y7Fh)oli!WGlcW쨭Wp R_1W}:&t7z$]by2e !v,u=|a*,u6d6}Dn?eSº(nS&ӀhE[,^Ȯi8*nPܞEdk%Uaej7Zm"~6}蝤Wz NihuE3!zyq3U"Wgfa۵\H;,^3Ta %aXm}ۓ:Y`ϊ|GNDxLKQt-8JdrB/Ɍ!EbT:롉)/ hiXʢ#4Z O7nEaAZyšFMɵ82\M};?amF;2LsG *!8:EJn0`m#*|._'|%+ `68w(Y\ԯlqB3-*jV\Y:YbLHT!̧B2d9*M(Κ9OMd٪aO-u9 5h:bş8/UpdSt#M($3R5i_'YXkgmzl ~rH2Ĺm&tDdn^s`}i_5w>az!Wk(bQ+۷Rx Ln㉴rD-Y/M*(YLw|8nc{k2".(L8YF$F\;31z,bhEKHYLiv0y= X<@u\.]r=wvHjU{!+p'y:!cZX.;^+%DA%׭ o-n%4*]]04`7GTNCq(j7ãb!癆!<A뛥V,B]ȦǽA&2 iw΋|Rԍ"4_TI$&8|Rӑ.]%~ $Ni)/ Xt5 0,]NW~4.g$aHQ R L1VbݤuC{qlfI_!_ $ƴ%juKC%ty0@?JT?oaEW>q]K=Z%gܽikf L SD' @p2S:>Y NE✴rh._φS(D3OrOCiRmPNklZ R1üY_ OW^k;MЎR]5|_w8h-{E_y- (t[w1UJrV#9Ճ,MN򳀧wN=yokm7C1|Wq\d%\+VL(BeZ]Ӗ?l16:XqXl g*'6r /_͌% 4VCՏ_K;NyRp,+x ǓoTN6'ÞZ̭`;3Iڰ&aRG:B9tKKHd&}U 16^ xf됮 M;1;Ywf׫{Aօ7Ba}'Y"btgaM'u%m{D|hGk;-'nzRjjE- Bb X TA/Faj.@f#D<>kٸg8SP kcsK63z\ 7lcۚL7bP hh;gcșHOޢЮB,NZ0Hl1Eb2gdMF|k-eyJ-K\']i `reҡ5Fu_}@Oj1fs˞X xZ^$ШڊIJmn ~=/~r_ݣ&o1!T 1/PoN)Y C ӵ#"shLEV~=.IR:₷yHz*зNK³}BI`.o1zܨJ/?ʸ:]Ч=_(߈N)wfX>L[uZ 48?q^_!!0_))Vhw _i~j{{!hvRea|>at2g gMH@pNG-t 2 [#}ϒO0Tn伡n^zL\Mf"cpy+uQRq5o2F{T[ײ w 6|(sJY#ķ<\xFEb7:1%5K0 .VjlPnb:_5M\njU($NS>(vPߠq 5U4yt |nӫ*߅ 'zJJъ>?u/ά(EPG13/)Mn#ha\c zM3=(FBZڍU9_@u@mY`QiS8=aȿa+?^%bMG6O3+W|f'Mh]JYlK0LjEmR--2|̾<Ņq=u/,&`uY%i| xmsYygWNH8kV|lwН 5+0`VVly3MQbD@W 6]Z{/dN~Y03)oG}qn>:\dsoXJ /^cW^I޿hXf89a)qm L+1Fy۟#j9jF@"e03]0hxF*.Y;n;VfMzg-L%̴NST,TxAFC?aMJB1#{\fc`5$*}6& <11]=d4'[¦Ts砟+ səy%%cUq6S>"u &铑2j.Gz ]L9!ӗLX{mVqW\qCRL>;{>1xZVhu3~_(k󛅼$G@ê6&Sȵ R4U37p1Qy맡jXʸmЭ"iJ2&XXL 1b ;W~2(cu 9q.rhW! G(R^7zG'zd;lPY`D=ME2Xh/;0Qwa|¹b\ZMstب 2ӽ ''>+7?m+*A Qh$1gYZ ==M11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id532q01A' lHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zyƧs.%nٺuILܵx=1zsZjo$? 4@g럈Bt┿g7/2?G,NVa}+& dw5%-#F3rZr<*<#3b-iݼ&f$.Tk}Q]QNLlC9?RkorDrTY9F-]=Q*a5Cq;|d@кO=T8t޲/X$ M2,{*e+#;qg!U=z,Z=G\P˸Kgߋe(?u/l(P|rJy8]JyNX:ϵp΂u\m(5S[ zJ j7 [v\K'NMCc>HO* k~ϢԦE*>]FW @]vo+1LJ'ڻZmqtf;a0GvZmA[ ,.;R3ȍ9^I1! Hu!wL aqFs#DQd9B"c--hm (^QzMȵ-+ {LA۩|?m|7(&3dJF'ΘlϧTژmݾiiǬSF{yo}Zr;e .._MdrZLn`ajNn,c2Ѹ^H(龨A M`1\G9$ÆJm+(gtQryFU\;Ώ~zlqNcy j8HZH"VfԠ^IMδ'/WvmYi>1H|}EV|3b:+r28lW S!ljV? amh 18-xbs:J6ʿ~'&]/Ix]7mC 0 #B 4Ρ $ zG␬^9k yδGQF mcb) s:J.`tMk{f"o.;`mC>u\W dD>"F!3nc*5lƃ*<7\Y5Ye/C9ԚFZҧЛtOh^HT#\s[7냓ˀW$q+Q fU\ h-GtA: ӹhS4 i0i kE%>}BٍBuB_IQ\O£!ɛܯ{8yAwڋ'2c2c W9EQlT.)L.FPy д߼ K߱*{]>U#>4۽8iSO@Uf,B`%驂g Q9`:t}W֮Xe+2cL0ٖU *KVjs㒑T.,A1_M*ZFcjވweUZL\I|gVf`eG۸ڕ{K1]pSSt ;;""X{{m7^|; ( TctK4GJsK= ˃C`/!9dF|2'#K3j"+e TAc5rGqmZ'mLۻҠU[OW ^̣ yڛgfʈRs.z-0oh7/Tk}j)kq_yi>J;q%\%ֵDIY@ڥZ\~v۵b{.úvOrȤZY*`` -4B:Giƶ nRQÀ˻UK$>@n j`/r$Dy4wҞY5KtQ&5ww.t{ sHs9_tr[< `EhaɈNKŧX0&%9U'rL&qm:1z:2ff@S8C\$ނɢh?SY ۑUCII>jf(Yk:\:%&{)1Qq^sԻ_3qW ĶD< p39AyҿcG*6 &zq&b6u5rOD5E>;Y9߲]F|M@ݕB\q6(^'S{d:}FIK]*Y܏4eW\g`3$J Mʠ vAcGpJrTP@#3,9+ x<й%hÄf8Ƞ䭜drmdE}^FߍB`1)71o^ǯq 5Nq u[ϷG-p[}Hm0|6N]2~p'V U b@Ķѿ?[p>^gR!NOjz%Zܣ0>+顠*qZ.̮ ~8J$O>ܗ:iaRBLwxStfS` *`7L$mRkSo]UF[ I}'^Qclh=!+*ڹW ignfB9@3q#e[化k 1?6r+ un&/:g`SDsبqrшx.d_X=(9zQьJ%@C_nյ+xc"X_W^+9AZii (˲bD}$m{z!u9=7 +w6Y/̸f+']F !d줩 Umm!>!=G&h I`Xtjyݵ/Ƶ`8!9 It&ϟӗP h DDP "lVJ vKXυNR`L?V՞Y+|}֨c[|ωhRvp5CiCy& }Ld2D u){? ;ê0.`9Y=gCm =HX7 R)w3{eТpx(?”t?R0=DOMmWrLcݜH](Ŷ5$ߙtpN=zhJJb`ܺ {E%&4aQUll'r̉>psN\9LπjS1[sI I%)=В gYZp21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thy e `eW7 1?# ږ2 i3z0O NQ1XX{[Δ{4:kLec}' qh~X&&]\/(OG|:ߵL;L4 .y,C ͺ[FΆGGz=@b˝*PVb_ rTNL[C=/0aw'jEGs:${bM mxf  Q;O)d1KOTԽP=4mfDC}VZHNȟE.篡o_)`MpdgnMvW@IRÛ7*c~Y$DL0WhUܸ"Kзk tAtoCt]2/XE+%M,Sft\@V;䔗h:ƒEiz2!ceb@Flt +ajƂ`4#UXcp,3c .IL8z=˫sCzsV3y{7ɔY&7|_*|+sL9mU( i{7v%TF&Shm9L[%ݛ765 V v#RY SRPq2P;+9LT>Uv:I8g(*s Fi"!g_HES>TR Q S\M(4#Zrb}e:ҩd9炐%x^SU8Vu/1kKCc59WƔ{jqy%^O*¶d[7qyXޛP68W{/P?5Vdo:Gf+p˶0֮N?`{!>ƄsCå*hECN?9_Yny Ϡc6cdٖ'tQn1Ka* nxI#,Umnb(#qt4oi$A&KRd]7Ճ]uR(+_ %4Qu+:( $s P "l> 9 N+h{E? Zw(4*׹xJE4w&C݈J뵺uj6]e#M`61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[zyMB2}[0w2 X:r 6`9sJ-6u.ֶ(:dz&"+ jW9,YˊAf&r{ҙ?OM6#]̈٧djy Ds>t iG|l-WDEJύG-L1so~, i :0EAZA0|ɡ'R#m^xe yT<}ԥ( w?wʾ:%^`''UFΚ-rm#30 ig^k|8Ӊ#jJZO+hnYaZCͥ`ndKhNX6v gYZN]꠴uvk7J`g QƂA|{lWCUzqbH6ˢhnmBwS8y\mTKQJ^܃C8 6]SQYwW BW(jAs@!MM`/b6t1?_m4:2 6j &@:Wtdysg3 7قG3U!~?,;{n\fQV"=ay+kxx;Z_,PPaB^5wW꺉?t[Ǟ.#4-DZz؏MʸR.y$CdMK1( /Պx2<}X$k.DJ,̸FŴZ]8iFSQ0y}F 7Uml6421t\+TqH=.VAl ?%d(C0h]C FO^ia{]{'[[-N;ҤBGֆ2!~yi"HM=FFʋD, ^<)<Ŧ2 1czh 9O3eE7%'ɀEφc$g1]ܡDbTx -38}@$h/ iWIzyup+mO'\QAmɇݹ/֑*\M4Lݖ=p=dy=6oFHl)sp,gEBCimZ3WL,* ]e\F0.*;)8]1Nv5'03%|T 0 y#jL܏gx7n&Y0j8b9ɜ4uwqʆ /Y%ߎA] o(s/;i"ݮա! "ӯGA|' p;] %~7gQ5<#EEEy煚];В\/b.b8; OOOu~]<M`:1@NV1h"ɀ4te-IwE4K u6a?*יCR5^ e}|)1[xi3oLE0* x#&6LL =װpU%Lb}5 g4Lt!8\b-1ȽǀFܱx tuZƣqښ"s fH5>vU1H~QmvwZg,OP_, )(Ľ1=u^K&Fr)+oSӾJEpj,\Yjð$%Cd#V Rš"`涓Wc`L %<gc1EmQL!1ѥe5Qo1L $`զrk\zp6M#%،N19$سB3{ܾU3;~x{#x_O'a>\i86dMކnb+n㴳 c`:575I@k7z3 ZPL{m=H-)lЧ1>F0Swϭ$֏(QdBm!;.HYg.s ӅR~H>[7Os-F\'/#yҰe݆uP+  ډa>0K:P؞;Gqg{?h+ :hI8(VOpN-֢S0;GI%w @TЁ] 嘕v՘@D IW+Pm6$xɥy~iKT9wiZx1elm G9,ym0ңRwiF~a?rT~Ka(Uf&XxNLx=FO'o(jaˇmb _V,A7weͨnUʡR gF6D󄿮P0.ZWܨ*=q`(J}}5rOG1XIj!Bcxi]0:SaI\/3:c7v_4~!?~~m6=!!t7Jl*vy+oiX^ـsvR7|"zG <8ˆm1"'>kTEhgRq-wqG#%.aVIƃ Q8baS=iU$.x)(HjiZO8fdk1t=;)#&SK'$q2r_v-YQ~1p=}-1̶wOW5Uy,G|Jݨ\62AƸHigEE?N=G&lhn G \" stгSTޠM}RMN:ؑ$Z6qњ\ew<_ k.-:ٕjaT|p> Y&v"G!NVS 1;EыımOȥSN2ZhfOWYa1j{ߜU\ m毦A'r K"+*U-Pœ\=|3c;okEq18+x L_,htdoO<G7[,'qkI*. U RXfg569:g RN J1dR #+M8(f5P>LsO{|tQٍ~![~ "k>sbu"]'Jq 2_?/Lgɓؤ[%0x >uuњoVgmR=k_mIJ3N"n}3S)T5H[bJkeSK/9RBr#dfaN#訰L3\oH*6U3hnb衮W#XK֙P)NYVe:(@Y}x >shoK? R7kة"eZg̘P7dI |f!pHzQk0Q %؂1i/qtm1ZZe4,,D6"R͛z.yGI K Rkqo .4vo`5=wr>!cI9[ ?BM7_>m~R2fK0Y~q["[l{ӃA-| !b"bޒZ9 7#8=2i| 1'Z* e u󾫫sG7KH=j&gڛ<nm+,o2ks- z.* U@Bh[&fvM&X+(F,G@W7 KzF" mz4-83LjN <֟Q2P MEyef:kq·d} c6Ćf`(|noh oWPF .ܧ[ՎILsrp>OA͟*0,P a~d YU3Tkͱ+-f#'h|Rjb,`բHo/%g#KF.")= _ƅ^݇ n$t*J'K/!!SՋV^KKA§Wˎ.t&HE[YYWz3"V1G^kaEXMݵㅐ;dIoqslT+`~N~6 Aa._y}+!~Rp$DZ5<0n]&yz[0|bk4 Oxz6.+gemǘN 4|?h~x{vlSjm8:19% sQ.TAP4rUADy8eABEs}nJ1GP9 Y7|qi碦O{Үq{@bD0"uCJdz eO@np0TiTGgФOמ+Q4 )Nbx2q`L1 C!>f%ZLL8g!g}K'Y5OaB8QGظ[*U;Xnh6Jm&/5<kPYpz ?~!yh`d y5\ÿ]4Xl~{0${)ВAjGImָ!yF:X5W'$Mk_Gh4~9+!wV2R01䑫au1yfs[!hi#*$B 6/ăSz@/JR @HZbreY򋨀LJ&U i\П+%kwbnԾ[R· @gG-EKT (Z vL)sc`hNqOܝ r:; F̩ƒMjWx64<ڧ& E29AVuc\_v6mY )#C.~A]޴wRE_~QXvZWLI97SCF\+0W.C,V)P< PAţVrm_5A79rFi0{IKMƣD@4SrIyQBJA-O6 ·qَXչR>W`m>4AZRY& Ư HQ$Cl1$zYd9n[EPbF0ݪASgP  c3(/W8/=asr*YGE0 @LGg=V+O.b䂖(M$ DA5ASC''ڜUWDYDRr/]>7Ā6}c>MX[ҞrAES#j'I0E2t2!`8,O^<8pwZC:kY?:܊ avԞ>8lq7;+ #,K2|s U`Or7>|I$ߥ\ LJUXjV( VI!B^v0S]~-3>D+Z0JlV]`NuX_e.N*̠lР3c23+b*asÚITG#~D.02aa! Z?d*l$?d &@ᭁY@L?)uѫr\:0u3%*3F #'I @(/kһSR0UtU].]d ox.2#100be[;yh Ğ5QXceVZi#zcL@;jtfDE"N;`/a}@B W*]qv<(oStLl÷f' 5Sу~Hjj"aZ1eΧE%1*Qq)< A ZTfK-<6 ^}W֥AuBsۖ:Qۉn))kaD< Tswpf̄<0=<ƜmF$7d_A{Om.niaG CnXj&Ɲ̎$i}68ft_F_Ac;@g=M\ƴFÎKjؖS?T?FV f8i;P>6JHGȢSs 6*H;emv&LC&pnپX⌨CԲlM1",*6{\E@ԗ?&8)S׳)B*Y/)+y|!6HdR=RS8AR\`$'yEgy`Fv%Y+ B6gix萄vx\ֻ%suhUlzv\ G je|?0L% @4l>$(o“z}٭IF^*\nZ'<_$6!EEQ,]FڕZC񒼙iV璹&Gt-~UTm9!v 9z&zo@l"̹[`~VNJEXۡy%ґka@"[tS=tCp_M#KrWӈ4G,"孫ƒu)H*a 纍{b1|({ `^gΤܮWnVDW \f\IA<Ó؛>2h5f~+h .Jxͱݍf!mxA-(fbfͽrOyF@*AWm"@|R" C:qh}:*W?8[4Ł)lSy"Zn@>jQ>GaW;lOE0vØfϛ.@[_9mg8u{h?$s"|r\~n}1P|RyS3`1ڸ3ƒأI0{_׌lLXި3MQuMd lC@؋9~˚7=j9[ɸ$ /OIz[0Uz_^ވrFпS'|OD @}s6q Ԇl?kDɼ<8ShbF)7JJjL]#)K$KRA Y%U1v\IRN :*!1j򹐢|ϒX_6MA4-7Q$^P:zoRc Zuk1y<c_`6;sc\#j)r&1F-VM4,%2Y4ae9IxC cUhN%E- e~#żKCti`OsKvk#j5\T'~$=gp͢i>vG~K,l[{eK?\v.Ӏ~5ߪ^oS@,FߔMYw? c͞)<mЋ~f5,S S0Ŵ~,uY8F.)gt9)I-2H?H\IiO$P.e_c) 2U|z$6 :R $Ea8n9WY`<Ԗ,bI^I!:Ҋ'AG<@pXp{kf]Nvr)Wl4 ZB!YcuWQiۀbÆ- c{ҳ9pH/khg=ӥtfdj 8Dx.|u6qZ>`O7jѝqIaF@U-|몓m<<|WD[40*:4B!E+qpqot"<ߎ!L"! BE_'TXy`u dwyX.3yט ݑJ,W&tzAq̰4Hjֶa<(l>! I͢K`Yn#QȻӊau3}bQ r2J]u蓠o?Q[oK?}Tj4k=a@W\qr[T%w6I݆5 3fC -l15Jb S7Yy7JʇgtwX[R+w3l =/)$A^P Nsa.M<5}5zo¸*vTKi_kxDFY8( )6ǨoZC}'D|ؖp"Al;ďK5>"9`_wCr O.1\Й *B`UF6 8C_ !cOkHRݍZ-N"{#ҚR҄';22\Xc4ѝJG%S^cBH77\ "-jNz[>vKæ\bHb0E=Ft4)V4^rۮ.:ƛوsqMpʇ6xx~T06aʼnUЪcm+" DoS-OnJ+\eRԟo2yNXP$\N1 lNv3G IVgmḎVNVLUGĸVLN-%# +opY(\H) %h)ۇ t_zYX.s_7ޣJ_Hpoxe-PaF,lw3c8lk)ԡFd52bTrdmnKm{Hy!I:N21R{-JoziBg3c'(Qй| dUC6 ;{˫ {C, 6SE2sSR) P5QB|j%>z9mE"WIbUT״(N.^V aA?Vk9Tɫ\j\v㏓&mCNѩ%eC2iX+'xń2 ׿Vj_ L> jVTq_ 97MD1_>m cN|W \oL҂9DD,ϴT%&Zkxo{y]PK|7|ƌuaK!I72_ܶAa}t豓S faIjfƭ ro|Ի)f=}4l SpDs PsĹmUpxϸo@vzAi t[o_C]r6$"<ty&'2E a#cyҗl&V>Պx>#̿]S黆+7H3_flmp@xFn6'S-CmDځ=/ftY=J_Ŏ˪vc[ごo<ևeyK1Q9m 3i" JSCuV_ .,p  I l乚qOl-@4`4c5s+ %.NO[oL&%p%`~;;&NBĈWGNP2zd3#\yFO0"L*YL/[ Q] F"̽|9HQw^̽.-fi/2xWsj+$O%xȋ_tFxޭf?aPcW%A9ch" jS (ɂ yCUcvd uEU) kg?^Ka5J2箼EqgA>MIjt{$B\({#课UW7 RtΣ8 ԈHά;GcN1:E@äƻ%#dr?0}ېc3B]3]qC6tBPmlKe:;ݫ^r5Cd]X]Nqh{IYH@'xC; @I}63*У1s-۶3{G]l x?vi_\aPӷ Z@5hV/5Ò!t GGY85 =iC$;EWNK”0x)sVQ9: ilU᫐8Ѩts̾e|3&qهY}٢RMXO܋V, gU*f5h.֘2caO0ŎzmY'ؔs.v 83jD/0oeƾrv1UrplPiSCyZɲs&V-gѪQ{ᆞ=\5sr\.,y, %]N+w4`Iz2 &ALN?',f8&9M~DSJ4೙BGFm? 3*لd4'W.&nZ#@1ShZTChe Xt6lםytS:$dc*JLE X.Z Xv(v܀8vE(@r=?L sSPF =` WW3Y`@':lkRu(KmTL*ƹaTtݱ[s5/p,/[ r~9 NjJ&KvRZôA??t=9 _x }^i0ʣ:. v[ӣ`n"X:Tuk)Qf@kNf)JHx'ѤFx(+5 Ы@aJf?E_]af11M^7bPި5SLk耷q! a8*y%#McL w_{z?tRCyji8P5 b9B\q($ /1WL Llk21A$ݟ|7tA9j ś)a-{(5;?ǽ_Ax0ԧ0{S-#b<>/(." sK( ~-qFy&$ k.5A+lf &` hh vѕiBJGk;4pL⧺N,3 \clBM<0ks G +>4L1|r<Ek?jB|GA|3hwFȦxAGCJx,E#t6 vM~[FKb--7S-v&ZNRq1GuErxaOD)*лXy/ !-zlqVˋ=!tW3V CE)6#69nfnEVR~zmL?+$ [T Sv9пK6XNʥCHnd &v5d!Jga>+0ֿЍt:ۙdi(o3>V/ūѓL]@"9b|;Hr[wAL/Lp֘,I_!L ͔J?)ש+ Kx^o7„Dɉ p;%Tdu{ 󴐒 | ?TV>. QͫѬ"D늷HHߕ0lu*c8Qŕprpqmޥ܋qv_ț ֐蒔*T,<̡ v[|D?FI)}J2 7ΝxVq޷K(H]#jBI9E? k,C FuN̲)öM>EeW 9⡻nnX4Q=ع{؅[5#>j׋XױN_6k +VV J0zz02&~mSl]8e}"TvMF$8fp#;K`Db4^L ,s gXـ;*y+$WV|K]T;Bߝ"OѪM]"C1 ='+ :50l(뮀8kgSxG+Nw]u TQt&"l1IFz30 Ègݛdb~7;]x_QKqb.Aef!!hS}e@MHy%d“5r,:_ͩ(:c+4|4UL,}n0өV̭]a{ wRLX}5[2^}јFVSPFI(K ȪvDCo f:,t8Zsrt`D Dimvq:Iٙ#b,3!MT[w?ެ[!nyqn=KO2"mV|I'8;R4o9,t)*feNR>SdFxw]YGgחiie݀ `|wRh}^Z9zR _P:3gru6[\¼ {~ գ9v7b+%o8+Nv$M=õ$A'H<.ҎnGUՇ%((SQ[ђá9z,=cq7' <0w ?$9imjU_?|PPTnD30S% ~B.NԦIu":BQU=tߞ ٢+LD<,xA=>̇$=?!F3a",ռ"2cozDG/BNSx4'Zc "h"zۄ(*u6@ařO?rb?Vn([uIJ4 \iľ>},M Z} !~ОJ%%]'ՙ^(,[39޴b J+X r.V f wqirh$?C/Q OuNh׌ ;,`~rds.w됞l?CLʼnHʓ.ثֺj1"l\1`2%E]-g*v{!(ĉk)یX{fX$ANv`p=<㾋ṫOz S ZlT w4?cv=Cn z|B%>f\9Nrlg5eb22r,N~m&6s4bٍ>rtǾt 񨃵? A'wn(w4etC1\F d_4W}ÏDeb(%1pNRBg?\ Vʑ~&xy<3SVBlw\'9Ov=0}ŰYJ/osZhm,h0*qN%,l3EfLpA٠zmSrɠ7{FgAсX) >YdT'@ ju!x ߥK#dSΘ79q]ቸkKnpZ$ף*$mex#w){vaJ;]@3+G =c^bN#$O[En~$rXCA:Q]Z ^j TbfQ);ɀvq cX"y@㫵xîH5vCElDu8_wȻOJy'LLB}'}\#|&KImDXĂL6{*Y}No"$CΨV {%xJ R",zPEoGob_:bUvRHЩJH5vIO=˓#-XCAH ʭ_b}kR:Έ.Qyaz^3<*&wsr*_DEb]M^ޥ,aIwS\.VM%ؒ@翹J #LՄyUUZ ܃̎!$$&eD-dy?9DX;}`,tƸ8!Jv%?mN@޸ʺFaq&SWtj=Oo9A'M#~eW'bu05n ݟw`8g b]+6-2 rK m!O N{Q'yNC16)g,1p(-L C5( 2`RZp,VKcq:}Ft F6 3ʱ=[y=B*b=ѡ](~o6l5@pNV*ǣT=tݲ~]~.Un%sR-(C:~($a+h:d$[lp!'zqoE5I-;GjǭmNis*[iIVA1-k}]#"8kc;ܶ&}f_=zx bmcPYR(s;ec|Wе$Q䮐 m6Bkas?+3 e8DC[FioS}86 wߜ^ Ǻ.o[hƝ\/Cfaq"th{($"t9X#320"gg~DK3L d*&$2h iXF'Y]ҜLF>2RMB DzM z0?Pya-3/4MvjMXҁքONW)7-U5O ReY*q ڭY&\YSٳ1*?%_.,b0}t<p{}%{)/ʙOncPd/s+Y*-mĦ r?TSZ*pwU/|mvI!w')X^U7ٻ1*(aCUQ,0|Uˑ y/Qz34DeoO+xr Շډ\2:`oI&x?ꪒå%m.mk^#Bg5W"}u~iN"]woS; dO.Sx%cuHj ![^Cy!#sV7xN)z57Oaus?X>:v3?{(!'i*F t;٤wMt>I_pbIM^Iשof=qlEb51ۃ %' K|o%Fy&mALLƉ:)[>EHݺFvWM-CP @'?y|:h@ %Sh(u0gr D)R]rǀc6(gRRN"r_kS4 v l) fHZ- u•$' elZ{sF Vja˳KgJe7WALRoi.fno~1H_'C>+uM9)\vp7J%u% *`%sV~oi g8Q=P{I+_( ؑIf!d_¤G*g = iISW>WJn]`rlJ6,W[nޢw-N1slX͒Rn #"B-(]) |l )M80d6Ao=W嘦XA3 S-1_x2>+%Pzqy_w tĨvL>SmT1tN>13fOcג.4dg ŦF:lb槝ŏdkqxCT`T^s06rê]U'Z[߰[!#o8Rv56%T-"RQD#qo,#d>e@2QcGPVU]F0 -ɷLqHg[eh҂D} ^]ftVO ͍fb5MF/d3I? 0B/wWco-#OL&8̱Npvp"L*F,ta?} '~Ah&M6@@ $OR+:h}P_vmٶeaO2J*hcn7ؑt|uNے C*mxݓo]O?.Ջ|^.*un',\Ilrr@Wz*&-\$17զ05sfWiB벚4y텍D50DمdT }5`ChgG/ 4In59Ϩ @@+&~uG;P:W A/zh3$3H'qfZBXqvkZ~ЏϸLHvu59EuG+}~\nìӥN 8o-DҶқY!T*>`A{J&QLd d\.R<㹋mɂ bUVܹE(PV.[vy썧~XIjTHg.IZED8,WnP8 jB/_Fs.<\jG2K `LJwj,w łUzon\gҙH E «.柬 !_Vd%7 N) 5-l1u#ȁc>":_MBrɁi)G#5@pf")'ېoM0p(,:R~X=yRt>au3G ~Yd.:֋)-:K@!!0sڥr/", 7`fֺd|1a Д2N-~EϳE-L'v k _!VX%A=Zޕm Z}"}VVn3Yz*mjs`7fnXV0}kL /(1nLD""W< Y̟`HbɮE3_uQ9ZiJp:2pPQXb7*Q,R'3q(XV?K/,RԆB#BmgBjFԈ]OBnK`.GӀ9 ?tl0XGA@8=mQْO˿l٢-Q9nH1-:% s U#UEhmU+F7_Shoy5!jy3 ,{g&3;ز](JԜ @;:*5>,cl9~fH"~ ""^t;/E>~t d܈~! 'лtA2kqq.̬N}D\/} -~22(]b6 y|9@+NYiki=}YN~g },7CbXG&PRG# ľPQ1L ?:w6 y.(1coӛMBݡlb\B Mb?'C+[Umi.Pk[{@&H|WU~ Ow|;!5*ųK Q֑Ct`usyʈm\]|bJaiC+~`jş+S;1nl2XIkhfS_:JzWb<D@D?)1{iDfAk(z_2E 4IuO뷭smXu-qqi[(aEDZ*yZrG@:ʒ_j"VR {cT~j,WD\7'TT;c#1,J ^pt#6yL|T4ߟڥ0UŨ gQnB>u}u4o##?\k31e*I?.;ܗc'ޓsR xISg`7"g[7rEp = Fu<%ktB(ko?zN%g7HMGblm88,.#'enqc}®=P12`g@[Hv@8Z$ZbKa=p3Ή&q$: {̧1g ʱ,-ER2 պNŠ\\l&Rm4=s z׍G, rG?K "&~lcUe{PnIaݫR_B \mq% 2W#TL_ll;eaY9Mm.ҽ*M/}clF@I/zRGXȝ|/[{y;hdHEx*"alg)A߅<Đn~KIt.\2\NL#!,Ao읙wq$M>YfmV@Y۸`YkWېt>(-XBA<*YbmH!0#y&ㄉa0C_tE/:߅Б톄}K`P-w&+(/&$(egTS#*yA8 ɟEjO֒OllCտ[INvWH->ѸR=>v:Fv~6RZ't N 7{FX;=2Ϝ\-a+_gfw嫯J%ȯ 7fw;c<9.ڬxzZ Y9PCYAR~ H)b0y3߁Y7dGVο]ەj~ڛi]z.)DLʠ4dK<}a HB%vr6R $0poepAYV.su}gDs,+RgGy@"x^uS ybXA^/Ѧsi~ gFPCA?(P7P$$i( ! :P% 8h| Uqu7~Gyo1q~k:&l?t]ѡ%>!fꫧ{܀|Q9{!h!83r̔q[V>#؇]JtP9gEM Pݿg)$y?5OH#-w[m+ Jh1XWPL?_4EOCoGjGE1+ @M4@*:|qF\!(UfmZ %[^4{R!cT'rcR DWnA+}{U 6$)ϙ9{ t ,uPĉ1Qev?͞:L RF X^՚BR7C,9J=R&SX PU(j#JN<kp||qãTN ?n1^2 8@ }ȏE=п,taQJI\QwξfN]\TD͕߯zZ n'5x|&C ?*^)^7luQ٠ue]d}F[sCO =16G R0DS?8&>vc63WtX@kQC>'LQʻTP`U2KPg/1qQXDq;NHɴw픝*7`8.7Ц F= wOHfx苩m"Dqط#Ч tD- wAh-oQRfn}娥}Z x(C3j"l 4u{bJ{e-B60:k-jDqfځoS{G-˯\EYA݀r66wvaXgoYFk9%8 9?ot.bM,bW Ҷ-|?QQ따ܷeklFR|K/{q ړ;8>߀ήFg8$ɡz">ع(9*p̔6gLI ݎ1E3)UZY;w/P[[@ܩ _i7FbIJ>güIȜ, [BJDku7MsQ1* #o Ϭ3-H wR2P# B6B(𾺿sh/bW43PAG.MsZ6Ƨw8o,su $8AFܹQ-}Ny,E5 4)m^he7IlBP$6Ev;1]M̙PYkkD\3ar>Yl $k;pdtGX1BaUm1y vyNv) 0wLag3 H]Gr 7khM|cu6E9He~TY&fcBbYr(7iP43OenbGVT ҂?#^/UGk=KQ&*#B4#=vw"=SGgnOq J9fS/֯\ rm:6{?UjZ/:{fK7̞$z pfjZi"̥ڻhx{ukCC;E%*eOY495Nc4j{] 2Nš7Rg?Gz3L練8^qct'N۠r# 9"y$#mM_-F{JxIGDR] .]N|Ҥd#D3e'~Yԟ&10f5g5jV; HtՁT圭+{l'])%nW74\H`--Q `TlZF@ 7ŠМ '|n*$ՄЕ2usǍ3[Pˋx*nw\>ucm>v= =,,J,ieEňZ9ɱgYZ+݂8 .sj~ MPHaBNNbT'tTw2{㢹`2@xi( %{|V&AO&3Xΐ:F~ޟ&K)RDYN3#)poYSN> S]=E_G/]o-dKf%rgYZ7zXZִF! ']ŗXiɟ1$Cܨ }X 6^vWn p^k8hn9k] .8wWFo#?M 7LAإ5oDK<tnnIv:@szp$$OIK3ZM N+jϷ[dH RUd$lpn[f 51&OV ܖ/|2M#̥!uKδ>N>w6<|U}붢̺`a50C@l9M2'ۧ<L9b[MO^ɔ 9嫜v6'|ʋ<s*H. j8UKbd8ZܷEZW+tA7r@;з‚&o}ʴwj1V/s& 04)#DUk)(.SሷD_eݼ Lf,NjLnL 6?V>g} Kiabae;Iv@?G\]y.wsT,Ul2S^O3珲:J4s cdmTp؉2Vt.~ B#Qi ]xu R#" :՗`l)Bde[h|_l{an@ k|g%\* z4oVpŅWu"3#HeYόq8]vp;yΕ\'^anQ4),lX,e7mO) sQK?h+ Tnc֝- IoJRL3y8mS%wϯqd:i@ E8&4fbc;! ddW?µzN%u8kmi GGG4:j@\/qy=4 )ȑ1aD8~@2A|(uxErQ> 3>L zº]>"s9lf)m*j%i -3]]t8jE]V2*t:'bGY3 \qhD.an"-<2!a2R{l^6#fqI֞*҇qabk,E+>W&bC—Mge'+RUr_ΐ5'*h܇?֝eFÑcI>VkȏȂsl:TFR᳴_vߣMIM&lrNcw,c:G. DmhMwbhܟ1#o||֏(Cd)2դv%rxb50D[Djw1UQ$׎]ףY~7\C_۝9y l"S>ri{w9:fs4;f>v D4۝cBTD &ѪUc 9܌as:ej3c v}`T6͐c4.|V>rO?lB9ɓԛGY):xKh>S5opJ@j/IFߏyS^I(Nr"HV%Ltk~Y\ef5 90iU i}O6{sێIy?BgKlx3N2*bD:H7uSb,& }\klEC  Ln{ U a/xU^?fxpzY#i_#3m0g aУ} ǩfa[Wkj[sk7DoW4_y w\Q +R5ҧf cU+N0H7R_Y[J-q P^_V '`]+(6Ks煉-ݸ0uҘ Ѫe%&w{a6V4;EZ0}Cn'749hB22WA\\"r:9w$Lf3FJ 7J&:5몎'[(MRI6 Pn =Y˷&\u۰Э )zÐ4L ?,W6'ݔ-Ƕ*m?_e~z ?955!]3NAȋì:Ywe(d&Cý$2bD;?v{Q^Tz5TXڒqfyA KC.WjtMC($ ݦyTRj1I:&aapWV\ t!oF̠͞NF+D^"?l;d7-!E!>]xv7mL94}"2[wP夷KN -kR~yօZCw"c 9; :i%Rj66$wR7nV}}b%C\?ykJVk#"r`Ca5G5LW[|Ii,-7GT˖% 6`Uici=UpJ+ߓ) e VG]<1U-9@4qL`)>L3* ua6k}7befgYZ37af9c3d57ef500bff6a8d3e083802a345f331dff4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 510faf9f37fe77accdddfae23cf8292b23d4c627