SQLite format 3@ V.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  $1tl ] HOL-Metis_Examples:threads=4elapsed=26.286cpu=70.120gc=6.0567zXZִF! ^]ŗXiɟ{Şj?_jAx"Mǂt]Y+w'RzifWyԋ;3Ǎ=6T:Q-g~Ш] oJjs$V^I]}abp20 eX [aAGI鿤X4'b9D.xCvm^m{0CF.+N Z.)+&~د\ n2CA+hꣾLfத0^rj; '\x{!'0OMWy$@S(UL5a{U0Fl ;bw{gGP^/̳3ez vWuV娢Αp#S s =Fܴ"`֦})L ݁R* a7XAq݉7zEx$J=ܒtRy]kuj uvvg(@ 1$ID|ߨFXHo';g_M>{ /#4F O7V 1 HOL-Metis_ExamplesUu 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  }?wA Ii, N  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 D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex F1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex T1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex T1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex@1;/HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex\1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.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|NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz> )y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]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 oo1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ MM01I= LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex7zXZִF! a]A-MՋhvG"uIBm5fa1MI[ta'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ p p1OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ ))T 1A5 $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^e7t9&[Ĺ䏦$ ןƠ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  ; + 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_id518_ 1?3 =>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=F P=\nBR.+]Xd⯝FdQqI6@J}s7苙s$9pv>8s%:Gų{Q/v뼝gOZKMeiS3hN+9݅/+^ ,\bEm=9WXIs?GҕaIQ~:#ū^XJYFn{k40G7ݡ9,qA aD?ϵYҎQƫ#*{1LUfnL$C$ЙޘÍ8EϪBn(@W4ɟ9>+Jf~ HAx$5L"nDゕlH z1᫢eQ{=5LIJcgPʟ[f}s &/afy1)ePł;2%ba}@5̺bzI#D;+7\G;Wf|[mAK+'  *(uK#Ik*wXWOiHs%+]>J} ^&̇\ l2qXBɸG ks!x9F9 uImr&AVl6yK&v=P.|EVx3x^`<]XewRKK߃UG ZpDݧm}@63`ʞʨq7.ӳ$ c7TH5Ba_ًWwInЪRQA}62Y;G8smW''u\K`ߙt_({ gԠ:'6h>UCW0o[!JUn|H>?s;'Gy{4=(pٶV7X{B>#G4[:qr>,Շ+i)$fwtk8XC~t>vn&h5'.:+K7$>)b0^q̠0t]ol^n8>QJ_i~=[3P6NP8Jzus[C^:`r0\HC(Uui`[?͈ue_X\s+&єѨ%ÉX!%y_GMQz.駭+ɫӅf/ON$b Im0jnED Q$ Q/ƗLg4믾`|B-➷x</mcd99,D`|ηW)_rDS )zܟb&{4v7ү AQ;leH2!o}ވhRe ` nRޏ'*~l%A 2>'`9V;Kýc}yَDɀÂkz?fz-بG&8^yZ8Jz\H{ԉ8`8ڬ?]аDCchJ)\[w$Y  ECϖIe 渞A"|WvHBR U 2~4]rHW9M׋~cw_#x$7enɱ@USnb4ӺggȻ\u^"ud,/@ KxVD (qV ʋq>'wҤ~\JSWaaMu zZOKfIGsj%X=yry3ZIPSFֲHr.9mlv~x⌗A]bQR(IM~ge;U]3@e cYEq(Z\,UfN?FU/01n{' 3t(D~fEAC(tK} QXp0\D==$l aI6r{dLtTmi[D"^3vTZ1H/_3 gYZ c1W% E:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxueՊ~ daWAm$m}) zB8ԉsCgvE=;qF7%Zn^~^1;<1Up`fw$np#m<[ȗ{8}BR8`y-Yu$[#]L'r#Ƨ\ )P`Vs_H2.m9v*zψe_30yR7v.fL{uy5y8< O=-E8l@|x(6PA4lr5+"qM5cם;bE {0 #r@)P㎏H{ ;Tcd:'SAc/lj"Bz9U3q[& )1,6 V/cVɆۀץL(t۠Μ`DblnxIOz_$b-5EkՀT13&e؋. ^FA}P:hBQ{qVBJ ?Y[DytAZF_h8TMZ 5?Ot̏^hva.C+"G]r]`>͉ %j o'h)&|Ks7εj #wtH gٺmQ|#E \3|!P|tlFt(Om$h1m=`}H|{,I"ʀ`Z|թʭY7 m8 '6f+x8OU9|c2qFuTfoQ5I ah1Id\F7 *`nZ")x0x{7Zr?:7v-fпY u G xΗk(( P! c,izdw2կcQ$\ٹn79&OۉaՔ;"5Bnf4ZL$Tls2&͗*^rV}ַk7WR3ze .n/s-g–.xOޤ"&ѥ5x JhՐ}#OVL#E 34Ce lCFC5#m{f |V8, AƂ2cg( Õ , o`RwLԙjc͖bXl2h曽;,1иlvlTCac9' [ؕ{l=Hj 2(z es[L3ula,QԬ[UݭG>A,)^8nBE w;ZA/cV?2ܴs^{U4YS-#J؃+kx5$zp{'E%~)-4˰1q|{@%T >dMOR~8EHMxR=5"ϙ󥐴V܁8^4`"prДqH"FO1ot7qqt2's˛mtn+(J8 M~PK'}J>DJ{XT!}hЭsN=SEfڶ9BdY<0`2-ٗm@16u+G,Ӡ'n9;{Ajix VV8hcBW&E!_'4Tu Ao"Q~]h-KZļ-`3hR +#KsIG ЩoGƒUw)MY_KStF2_nYƒל6i}; s"@^66;O* o' W0#=ߏihak%bKz "W~L̩#f>־jT/Od"@|'RBn[U.k!(iD˷Zso"yV2:Y5A:o%sJI(3duaFS=Zk8 [`cV=obv)ЧbU`s'ϒtwIÉf||mgjQ1T+ M6K2ED-Km@yr !NI| W0MZn>>}V={+hO~o1)P68R:<?-/;0i8j·*7SI2ٜtr].tٌWD K)}&HNo䡵-0*P@k= >fCsZxJiO̗m0.FlnhE2&x|f-IQ!s4r(0͕N7$5:Ng/GʙdoV0 vЀ E<2PD,=B%/EJd5$@_DlDi4rQjFBq$%rx EOKbf?&=pJ["]-I`c:ieO=dx%u8,7G%Dz7yUCfa1X{oR` uHO8eiEC1zs?S9r\ȓ"&p:n6NBĜd,81gET%7k'JX+Ys J? J`˽xHS; i/9yTd1ҳ*+4y?xz: Gx[]ɑݩ}4X !\>'la`_c"%Px PBp mlq!p*S8>#xRbAa Ѯ7_,=xl&&LOzʄ(jןiY0Ē=sN2tq|t|w;Ώ;Gmz6(Fˁ_ 6/e,_ VPMHWoMdȎ?,p"L'+}fk-*.ГY'Ur64I&#bQOjxn) XkO,vk7U2d~lIHP/*8R`*DȠ!IG=(>aQg 4#'D :Ӗ=SKQ- }>3F/\Gl=u&^>Vwf%ֱ@mubZ02E> =CNRo_n:جf.'1P2mCG@pe:D)oLzfgB"Y.F|7]n2u+f&$ƜjsHҫM_ݘmfB9qkE@YBt(pW4 Hoh/+h,GH]O[2?:+%e zً _spȕ('$dH6Mh'cT>'vŇ2P=.تx5K-)7짯=F+HDj{Cl)':vb10[:KĜ7fH͝\>a]Ze31L'[Ahr\T 5v]#aFwNbR_ʏj^1l ց߿F>*IBѪz &n(+cE 0Dɸ||=c!MݾL' \dQ[WPT݌QPl4Ъ\W׃E!gǙumAݫnV sDVJJ;g~5%5`T E;p4;T~gʴ Z^&Cڿ_Ggmyd_ğ]lU06/)3ǡ>yt{99ܓ*"oX3<%"$ mp0$O-]׾Ͻ=x6vݓ۶T$<p0O(׬'Ov6=)rf? \r=Beuʔ(zY,C$jdmC3\ٲi#>D|,GճNdz5◜!vE߼9%S 2<1cWO]ʎ`ASGbuҙ۸5)vf}R%~W77=Sf3nl7}U=z%Q}731p::e#$VJ`|m̂Bf;a儓iͮRҠ,\ŅVٝ%VT 3,K5Piҙ':OTnp|k2=mz >3-th6fnc`N33fKlQb[@@_`H)E򐚱ln8SN6VF "?w)U ^**9 “/rrdtbZdUp-6H<]eTl]H?k ,/&q:I>lwfq>SK1G}߷P 7{oW0y*#̸b-=?޺IĢ3*>~8I-9Q7w,1f#`cd>UT#+Q4Qׇ+gO_.[ =J((f5nRä&`$2\;x?Ƒ9 `Gla_M[0j/4돱`dj5)ܴ)l!Klω=O?FteFO0ǸB僟}_K 9x\=cUuz}I0^a"݅oSkyYH?LF}!ZI9$sfsݖaXŧkL}B]!y#I@pH[3Gu("1Չ^poqx 0SmEOC5oJ*…n2uT-MgkV@ҔP d?CXgd(:{8 8.\%/UÛ1 }֪L7s tCjߓM%5g% t@3YP`۾lwO✨;^K#iyev|zP6m1tsi^")oi$%"cDG<6ϳd7,sB3g='>7gYZ ..G1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! <]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӔSj}+}q'_P4 wt`+GA ׾:b&@=pAi4dE;O(l>'S@4 =7&r[긷 <`/{M"Oڔ/@v#uF k{9G+UK1]0W$hl+34G{(*Xҿ.I'ڽK#v>YʈeJS.47W17adجŋ5FaUqjY c\V褅u_r Y]z$ iͷdo pUӷ.Tƿ<): p7oc )[ۢsEM[W[J7٬7L#$%*֊#5_Ǣe|~a_m TBJ%/ ,v@\sԞe{LVv%.{Ş>SP[ĉv*LEvPPZ6 )/$V?, M>5L|iر x=3$ KJ(߃foO9Qև+Y+;U0<^ctR6x?'1]y;|䁋KTfx%nem}!^vIHce-̓X3DqŠ/mTtrK@>/+ *-P,ԃ<uh~֐ogωh6 ҆vڧ\W+jKyx QzX-DFu|̗OnHR\ ҳb͝Uଅ5_L3P~u#'tj:Ob1{9Bi:LK>JSha$I!iyL|/O@Wx?'!8>ȗOmZcWf& :ͫ#٨ީcMׄ,*x0.{x~&mB#=jJ:?.eU?@B&)v"`FcpN9YGżZA>i ,82{0)cUP7ZD62\Q$4t>LN%>URD`fzZ`{E>it r6?vU]/]ӣ=SsDP,MIS'CUv%6ϻi{ slSɦpԈɣ"BH:C6\ F.tp85/7]tM=HMЕ(?+IxM:@Y6*cDgcR뗬 ׏:*Ԏ-=lP7tܿL~sLnwd%cNMC+2{Ջ'A(Ҫ|H EQ0txL/L2Yw^FgN_r>m괯Z2g[{&kMb{Va9!wc-PB00wEWXBȄkQ߯g$\yp$)LC~0*ɬB?M6AuWEK1o3<渉dI+à-p7Qz&")6cۜsf"_e,y$PV@,jPr $4 u-$hEOy^}HJh79(J#z2,S+8?cƹwgP?*=%ş&3Z )WI᝟Լ!Y wW QZ+{VРsl/WB\锥b^3@lh9_wjQcԡAC,44ײuGIfÄug#Yr8wywՐJѓ Wt%/t 2Jk '\=:%Ȭʐ Q.Y kԽtB.^_$y]D߻cC&EYwSz U}̑ n*oB_c&y|V7e!i MUF-5~@߃a溣u '.H 7 9&0Je zmc7/F|P61ҺMkBU{쵐6B.bzg8H#qa2dp}YKi/dGν=B4͖BOg0+znnCS쐥rd,{Xۧ6^  /7MM, [ ogQ{jI]f渑^f:?Z L,KEZ35KI eUrn}#p<0hÅ{<\MBN],E$qCS x5̘XdAOW?-B.PM]: J* 5$jr*Mg\垡d1+H{s;!y #&6LɞG{~hw%?dW L){|XQwI׉ysUAw:6 IĦXF.o07H,Zu=pE._*:xq ɠ %&ё5vrp8`r RӝXŌ%&NjG_d:6$H\}X %GvDdE{˯`Ueaa>S6wl.kz@ŵeCŻM`wu ƕpV4(@_Iì L3_ !Ɗ߽W>5lER2fZ])`~˧Wa$&(ùi D<ç^C{EUz6Ãt8yu@ Gܳ9ppLKἚQIp!}4S`ڗH#0˗t5'.'QĔ )diL$o<c!Ru(%e`<=Zbqi#dIͺ4Ba`m7{"˾D[}7m4QS2(Yxa@A'ۄ_;7;{dA7*5tv\B^t}?bݩ[(:ono׻&dU(9JIo]3y,CLٺ~Jw Wlz-%9B#΋hFluFR{M?qΞ: tGXQ ;B9ڏY:As! [;m'i>(G)`m kCUD-T>DTSkmM jlT*Wtgᙓ~JI _vYJTd0r+|ӆԴf.ktߞ:HP/y;:Vw|z%4xvKw1#Л Y˿g7谫'>,xI^RS/\q_Ў=_p/2?e3=ۆ@CZV?R4ؓ5r.2L }Vy҉Yu20siOz`ǽvú/TsCOgG *6ipo%]GDpOhϰH Bc6 8](Cyc0+u'(4S$aD-_xl+ݏS"|3O 8S3V `K `\mjb-OL3 ֎M")nVzʪF `Zk-@iBJ竛~ 3#qؘo6fNl/t#Ƅ;%Ã]5vZщ{*ݺ/[̾j.`anIZ [.V(Xou9ÖzT -.HQV dɷd;5CI~Q_QI*r1?ޗ# J$pWEGd E>F'rB_bWV^^n/ISczX ,{M-r/.tx9v9em>_l]{^ өr<,J/Sytoi"kS ݻ T:X_<'Gf2*M)E9|͛cEHZw O8f/ >Blj`J"杼5lfEz| !Z~R̚~I[aܕkc;@*l7 '0C|3d&?f,ρ;() ( qvg$p:fQ{$ДU2]?} 9;I%tBOMWKfmF`ĐWݍ.xPbNez 1s&*X/{ޠTj͘D'ug5KkLuoXZ c%lROGymRx(};vf a믨e&{rc "x ׃ E) jg:$Vr*U}U;Yv(%OZ5h 񋱸@;s"Պ/SP0 {UFLd m߰']'75y!ު`Uo .`u3 вj?ޭŁ[h569 _L;" h$o~SD5* G|tab_b@ݕ5F9Q>S]@+Y< F>CͥdHGSNw/Hh&*^`6pY`^I g@ NCdT!ЩWt8ݎ5#WCcCtq`>lq)Q e=@?dA m{]f9ϫn"NbƱFl_&\C"4&L'ٸedʥu‘s&J+٬W\ ED"LE[Ȉ?lP/U`w>&fʠ-BQ7>]9// pe`L9rwS&X~s fY;DA4у+Q܎oph:N`h)K>1Zwn5[;B/1\\ "z@$n* &he7'!s#s\Y k onCowjUti䉽يuD-F`w<rCq 8Uw>lG5%.^(Q&M0[2YHyJ\w>P _<##զ|DnAu]a-WeAxGm L/QK>.ϝ[-/B߃u Aj#i2рZndWdD^9@,ϼ<6kZ@ ڟ5cV'sd񈱆}ܭ(ܓ f!jnW<p,ge(dn&h/uZ#o Bo@c XJ(L끒n@I}XuA"P!eNCdJtU^k:Ř;+&g&Q2zW!2 ψdS H̢"僽s xtud2,4$tHՄG«I0:@2PlbΊ\#8bfٙ:cXJֳbqyw U?[Tk,Od)3L D30 忄D ܅ֹ_l*`6z_ K"C8 Һ(E<Ѳ _I=E,4~`_PxUdo@KFzeΣw]y81dzP߿>b'D mޒà;F?;q[%avfFuxez@ɋߞZS>qΦ(Zo-n+;&yMNT 6<0/&L%K_uL:ǜ{vWY:x{`/Ym|~nR}6a-!ӝ$C)bg b("1f0JhqP]mB<\/< l;6!M/c}±{zq)q H_@>(lz|i׻SGכMZk8Ue i+JUf/՘BT>CJΨJim'8hϺ1P ~6$ jHP' ¾#>oa\ֽ´t`/"/7By'TsXRzDń}I}n}e"5U*JܑP0B1uE]$f34MX_`c$kCdAӃ}PڂD~67tVhH}Ц8X6Ic_i=yڱN>OۙETF26fEIe#l2;9c1WgқNFQcڮMNGbHbXn >kiȔ$qc7_)37lD4G9 l%e{N!Fy1UʛYww5Bᘒ M9$A?4Ҳ>/I&D6M!&Pd*}ټ#V8v#Yo=N0M:y3/Z~*.S+ Ch/ rvJhu`Taxߓ2| QXS=14 [BFv^~.p(B84*W_[Q@w yk;_&O<+c3~ú7X_b>k 6#zCz\w iW]oސOH7fy*3G;MZwW06Bmh?93 6Sé"tH>6L )8[ngD*T UQ7؏ru1:J*دe0~I/Y$4H >6IJHGXՌwI? bA4>I1ǨAE`n)ݨ Цܕ)bAx={J LJT(T*z_h"c| ~7I{{w{Z쯒[g-3=BWSvl7y^k(5]Ӌ$|C >#Nf,Mۀ(HWܾ@wopXdy-@JU~.:w22YƄ"mF*ŘʼݐܐDY:Aَ}1QĿc%S~-O"k3qi|4Z'UܑFEl8YZ RdV(if+6fP|ziU5h֜ jśOo~1f 3U~Ԝj1xZ f12ņ%MC&+`M i&4|g8sfBsMͻe-U@ J@s^1ؼzQK jXyQz u8}Naה5e8H2/UXaKO kNh+7rקΣJ?jMeZK*bkub`Q>vׄ[,@[3_jd-Ivu` &V|y >g,|cS/RШ{Aw!S_PVN]F0.S!PlVxtչk:r1ck`#V3SP2N;ĭr"mRL2EjlFX^a@rƑvB6ɐ3Yj:bt kkO RRg*`3{R{"uAPd:eE3wiWR~vt=ڀoGCo@q_s-D,AEG:i"z~.v{ \])A'mvANԏ֭2Ufv6*m WM!-581^!x!R$mhF潑|]}M ᪊` qDg#w'%P4_:ل~VODpx>| WwOѬ&53D(;$E G3BCouY{uְ<>]%]ڐLQƀˠX yj^PS6z9Xv-CQE f%)R?iK2n=<:Zg'P2]BryܱwofkFV&{ #W#Oh'YgS? hiosjkex $ƥۃ,|۳jkcJLAd] m`MceHr"㛠 B4iNѥpv6~;E\`9Ki_ĵ 9"Z8ham{UhvLԃ YR H. ȓ"r|#@AS_dhV!RV"=xVߘ"YY)ޞf6cnQ 悩(fPAf X'DbwXĜ9_x&ZngҺfZ7RҜk"dR lSVI[i!}PoJzȺ Sٙ?җy^l_ lߴu0upXǵHSm/Y1 )-RF[R2倫Yv{M.3C`#̛&h wk~&B }D G&d|9AnBR`mQݍWoDne{+0Y L 빁IB'T9'[OW ]Wb" 4vh߁43P.Nkp-F.bSyAZ'FT>I SȑV*a@^TFd ˪mHs74@ DE2E@,%1K't `4xNKQYV<,;fc- "]M׬1Q~V/aDL[[ZEPQXIpSg*# zX'$G8VHC7\5̈dyz_,4ۤPrjL\ፔBc'&ʆ L2j6~vD:N:_vS;IKoIdky5z\[7aPhүkM-2Q=DXQ\Kq0bN-f`0=j6&GCv@ziJ2|-(@!9VHSJJam %VEr^ hjMOcGWWr`oCI|\BQd4 m?T!$ˍqDG+uihvl\i@NxMLb@{CT8wR\K^dg8QwȦBz&iF,DPD Yy"^&?6kxzpfXTJ/581^(h?`P;%i,Fo?GV %U!L OǖL^R .S>::`xrc)ӑ;wH QV6$2ë}pUx ?ug7[ ]5ёw:P/HxXOEU%h &MYUN"OTpmNwm`3G`>,4GtK4ˎ7'Ig`'yUoK¹}m `pKuk. ?LXLy)PǼ>=O 7`r)Q;Ro>ȕu[l.PHpvI:Z#k@4 /X?B[& "5grħ$'jATAqkdV8MO Bh7߻?"u`gJ75z*z<_7asK^ŗp0`XakܜN:1`L{YBG$cZpo3BΕsFNĉRKyP]y%bP"=֯s;;2pA6q!;`ׯ+6r x6tď♻q;4](|"({I=]}(8{[׹(j! cez6zXP@4@*Ϻ5d~OBEJEMv0mΟ2cw8$k9}?ee~FMPuoQ{AA쉖8Y4{i~><3青F#}C ʞg65qs: ȡ0/mT?{Z=0jh:[n׽N!>ܽJ1*V.ҝ7ϷaLK\P΢rsԇ+i x\{HOߌgw`u,UhϜ tlNhzpiI_ek/C-PxIT+]LNY7kVPB] gvS%'^߅uop aJ:hsNdKƽ8MU98s!BZHx D],MSznb+"UN)V)8@D<>qM/ҰSt <\*ށ!$;$"5:P|4Gt᥻GoH6]G H3,g09!BL-vgD\~/k#45-9Sr Ȳ+ʐF:sbb&i)򲯍"w%W)fT6]<ݲہ21_;&8WJ*'N%7xSX1lgYZ  1 1< 1W% lHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 60]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4˲,SKca8E[(R2箁a;=gri {CѠv8d>uo33q]8 y'nFֈi7't$[yuޕr N^nӷKآ"(WrWLcԈ=csqӛ_;8yj8U&gD `"1v`Ҩ|Qz/;cNL2`cjV!9/unHknUmcܠ נ#VWi;e{B*iʦI΋uѴqze27 =[C:8Z҉;T n!*b4K༽{I$vsd-,1[ j!Zx )5!\%]kGPCZ:@#G2Xl* G"[8ˏ'im͚9:1R8MuEXRObg1uU>t Wm,d2FӤN_LKpG_%1W;stFM>X ̀t`-#$d%Pcd% w1Όd@MD~ :p' zmK!xTB| z MӔj <"K0':[M+[`4(_I'|͔q:dxĥa=lF@f'J8p||̨L9M3bbMע"F|G2D︂|RS>DZ`1^W{s֭g`@1 C^ {FlK{g^oLȷ.G ^vdXOrqi)5rQ˃[$J}T*3%Ӓ"ՙmʁ 封-#ޮO J[w|NB{ %oS>Q !$(| W~OJ-)?V"q^K|'1L`ef4;QQwлA]8SUbuQeu.h\bidO 4uE"O(Pڎ}~ϒ!)Oh_2eLՠMTUj]/bFI?Ңx5J}j({ Jɐgo1~\Y:t2V~5(3:V9{+UfoD&F: l7 ,g]{JI Jcc6pSl 0s#ꪸ8e R})7>YajO8:cuYfRCtQG4`cYk;*m/dB Ϳ[ģC=oi%HCH%8_0`ޒO &L| t:;߹j?0P-ǠH#\^Cg7!<<:/>ONM{] B^v) qlXPa|D$o=$; †UFPE(򐢮ÿ 9kuaT(5GR eL{$AjmG~*ݧj.mu22 [< v3pO/ @ޚiA'FIٵW*8U}݈q\zk_,UThrh%R}R~ţG) fvE&$l_h~QCR c; C.%=ܕ#[Z\{~RC?,NԂ.;!GC]$&\܋kSdxɇBeb3.v9Q*j͈CWֵ V.Ur(F2A(e/ϕor6e#0t!ťq''DDZ픋 / f_  S/t_NLvxkylGqY8覶.V x|#HF|sc?9G0ޤPbAK/9%lE*EctNB9dq>mCQ3Uߞz?!ْ]aaO VIIϛOOT΄GAVF5q}xȈg NE/~?Y'j~} l=Qg(^xb9+zPr"i/Ǧ#.y;HW؜+Nujn~mZE.OR vEO%*3w˦_Ȟ3sW=Yp?#~{{I㽮buF/BN֬{fe-cЛ6yY%nx~@L%L#Ļű{"Lɇ)I";|4)ͬG$rhpW)ǹnf, G n6Kb{ѕNsenauaE_)ZÓ'AkWx3灹9 0mlSIGCkx ?ߠZrJ^Sƙ1i`k],H/zjR _N#0Q>`CD[sJ5_iRUIwZ" )g Fa8 :f}ltc={7%|o"MK);?['P@c/#ZFsSo֢e]I"/MR!w1!%!4<8\3C'ܠ|df5<(,Ca : x% V̥?m甫VךZq(Gڻژ"?QE){Rp@3L#)nIhKvUC3mFH,/{7{Y:X"6el9Rԉ&a{ _O@4Ǻ(Ӹ.k>ֱ.mmewZAs Ӝ'fxq[+>9nvt斱2^)i3+J"~FsDž%ʲ5B3 9ELJV515I& Q1`>k^W]ƕ0JaV \m #(ӭy?A~!S,KMq44c3Ti}Ŵ½]øB\z+O@|:C9BK!ZU5 iRf^SJh-u~g R7\TgBC _١i pe`%dJW]o1ջ4Cn ^TҭJ>4`dS.7P O`6m{e%:/ڒFdX؟t*5Pvq%:Ր[Ps~9B{PjPph$ed:\5&B"ɉo|."%ldرuAnP .S~IK.4 li),:}}'](7|&v頃iʥ&yP]> FSz4x?a.Kʠwoae*ٍR,k?e Xc6YRGKNoyv5}ćEhi*;iG}!DgЦr[ph5:9Bt!ڀ$y K&Kx@Bq͟[fF#G<*uB6 4S1ź; .cDX=s=wVx~F;RUkAC5`o6`[v< Xvf}8(Zl o:bk[_.>YC*4S QWSD4?vM::8/Օ&GS^f{aAK An?ђ`F)[H4B:ec)%vi5WVW Oḽ#>iβ2kd$뿺d%(N=y)}HsD[kܶқ@?w]N'A=#&+j2CP`|nҕS n^I=>&Us5T)ZbX<-=u1֌[ Bzp=DIZ79yfyoʼnW?9# $'/&]ǏUp8ÄY;=w݁ d"#/u =gK&w޻oۦrX ),*/t~R+bG8RFq͋V]wR+h#O}[~н ɥ0@T8-\4q:QU756[duB]*piU7I *y2^iM2o״OAfY7VOYz3G͞bjgH_7dXrR.砌9U'dĩ45kz9BZsWxmtot- k.p!sZ*"LrI&-5o&DSNI5pP|r~JmK i'oW"-R!Q7](Ęo tީsx$5!_b*ẃ2x(q >)7g$fE˼}!KR#j4q{["GvŽ/ ,|{(pJ{w28$|g}%Ց?P%)ؤ3O8=RnoRinofozBMM09ɚOen7pU3g^PD v~>7(rak0>뜼V tgFvOph.ѕ IĖC옑pWJnIw1GӸ^agdԇʲ  Bo=dx sא[NƜ!i>pB?*;BUkP5׀|X{N $Q-;JX a,9sv -N(-[r!až+ph)vQ%لbMBD]vRCD@VUJ#}DMsO*~'DkGOlĽaLj!3V(7>-@3y>ߡl⻕ҁJuMu+|2ʻ #^ոZUA\@eزuT6^9aϭi|(넯MWๅc?>C*Dl_iha)d"Nt"dժ8s# MFx@By)I>RLp~S}L iP,Ps9o*ЉmKދij e`hB:Wl4u>RGʦ0UG ~_QHGV!sC~SY<Iو]Z=W<=' cdx6-⾀at~@Z4Nޙ%H<^|ఄl=YJ8Oʖ"hYtRC}90-3Lw/nz%,xtp_h J+ڼ\¶~Rbg'Ha܆s$# Dwf;[;>*}Jw/_'|T.POm8XQx!=*GWm%2kI+121h\S 1fhzHcl`qgh@8[mOi {Byr^ ئ0~|yѵ;SwHmvcvAr70AWsc-&v|#(#LH7biGeqCksBǚ B?~Glf ܏]Uۦ-i":Se43Ui_9%rHz:-8} 5:oԕ@'C^2B\|̷LQd1"JIdPGE&ȈЏ)}C8y\-E5 xbY>F a4V[-&lBmғ&略IdN^($ 0?%V?X׷*{jC%KNa ֓ID -#1%"AJ*+z_ # |iyA_hO`Nh% [uԶKܔ?bMmWOT@T[m,Iu2Yor!/>1zq2vag,UB RRBj+mfOPb.Gs䮐6149ؓs[RnI (+/ry]P 68w;'XCAM ߍ6?Z5)6,r6eb[ L`glPqR8XdaS[l}wgKFXv&Lϫ^>͉Bp)xJ${酒B%ݕcD hgEV~+"-鸗oNzQtj`&֍2I+oYD#siAy@4IejϏ;%e% ci\, 8DZ79yȟ#疀Ceij/8hyE%Jt]8a2 2 @d>Ė"eo((}i4J馑]<]i]+~&j$w77FCJ}#m%4eGnc.+(3N6Ԡ-&hHyЧkkqy>n]*IB8oH*wI.yC)2 &$.~JG4Dr4Vg:U/5:kixISz@߯3&&leOE)f[앐zHo2m@-!.,(1=6vɍ]WWLi2T46h=X0y L̂Xw" -`齗e'VQ P(:"]N cFq,мIr #f;mV'TRdA2<`d6{S^2W͵? 3b>dC5}| $@o҉Y2d)J:YlvXM%5U;`6W֠3\9Dwٖ $1ÛOEQb&?yלoTĜ<\V`ߨoMN7`"?/5RTX*pkmF ,}peRλyfԫ*1gJ'jcs0!n?}I1$7;m&> T}(Ip 6I.3"2랥4G:#;^U0txp\脿j,W,ddG=rVTG&뢌#֩\HR~q5 ȕ>77ĦÇzDq+4<*2ovHOp!2{ڹY Js|r%BL;ք.+=ـL`Ry^Ol<{gB&8 o*+ǣʼ)޵)_7%7dj<ö4viĖ26fy!?x̳Q?OR>W6EĘzHg 7)ȣtT"~!xA>9Xz?//FԘGE0Hun9)ㄥQӔ v^#Тw~)w0:Xcq^>iCx8g lY覒fvL}u\}!!a[F2dQn=w- @?mv`A_&l^ݲ x[7HìE°xEUg JVj0bA Cd {teR%wyzǩXvޞ:gg#鴡oS3!mhJ_e}BE,veLy{aTXC-ſ `VCOV(k[TBj8MZZAyVFp B>jSdNB3`֝=vÔY9BkАBV 8uY`Ƥ  w/ z%\_7"*{zNm})uI p VShbλC:L j"xvr[\J1^b`ADq6fk^bK}GV?&M_t6;`cfP-+:㶖+g" [c80 裊)4:?,u[SoZ+ 8b mE4Ԍfu)^d5UGrS[_;L!3<ŁEH}~?2뒟X!۵$XRIAgʂ4wigV'/o'TcZO{ 2E!FL1IՋOtD0h<*"f: i{ٞK$ f b:فG ¹\+!x ՘o=a<"T`UȓűWfth pn =fanQY't<Ђ+QL2 wj1.UjI-J%)bejq$h d5?]mB]iaT[lhbL9QQ9Nj9 'F=n5R m(hd;2lO.~#ZI 4%z;ϵ=?M# Ĉ\3Um)%Y1> $ țI,zjŖ$S8\W`g~5W*ҧR݇y%8;AOF̵r4|nd+pDU}+J29.%Ѱ4Xev$;ha&8]T9צ!k}鏗 {\͖O 0IgqMh!_HPQ'hgm]J~ wezpLT2`\彟 xBVA[~!~_~C$Gljvjθ`C-x3S*]qϹhycޥnpQmXBUbW`|Ed9>ch<|N_+"?˴ NOVRF}dִ;S1O̒+J/<_}QBBij %QSwQ&ͻ vL d #Onr:i38欃,Ac1KWOg՗UMC{BꚌ,j;"4t(1z(hjPt*chs)߶6˚kLǎיuV}S&5sdE[Cmˬi6LwqkKL0٨ r]p煷J-Sbbs+@O]VC s) 6oLXY @ˈHPeݧN~$f2VQOLB/GQ5u2[" 'zV/  0m^ ''|P} pwRθJLc{$_Eѹѱ(ȅ^S*ݕeV"X3>P͟H ꆙHbwN(pB"6=?;l(w)q$,"2ԡoS*ڂ3 a`Yԫ0ht闝KM0mR"?\@آy볛̒ud粲ӮSkf7h$TR$8;zUd*zkOk{et`E3r *p>pT)Pq~|^=S) /VFq1P0T \*\hWc55Lu -`kgCeN-TERfCZM`6\d93*h;ZnI +,p( ֢N2M(0v |d_?WRN@OiGJ""Ym{/8HP!GE3nUN"d]9a-Lbپ(nHAg Y;9i=To){b:V>iv+('}69[ྛV T"y܂Xs~Xճ]?b˧;b}n4BpS5*;ZCl|_P֎'x, j"%6>nAXg8RԫGwve|Ø%(zH1!S >O}vM >8u6O/v򥄣n P5ڲT=ֆm G.zgM|dG!h})qY=@w~<EGGf‹P.&2XML9Aca\LYǸ)5_A = ^-ˉT|ay9p RPx#Ƙ&1 E[MlٹsIY+޲f56&t6[$#*g|PeLBEěx-{zvPN8-(5{\Fenes“2Fďe<2GWXx ;[뤩@8; +9\ ]Z'NG넍__NS4Oz3p B(At'5kRBQI $E;h?4HCJ5G hL˯H?>0iϼ9T¾6jz;!Y:R߶Dr8^gYZ `Q` 1W# HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup7zXZִF! U̠] !M젗O վV !l4M2thfF`qacy `ޓl~-wYo!h.܎Y; 6᭬u[I co0p2H!tφk.m& uQTr9mn6=-lPzsqic FEߞ{$|8"5iTaaOy C%F\Gr(u }8Eu1ߪAfff2M#.7|]]L"JrUI\y"2= @8UsxOQDq'HGv2E(,Ka++py3ciF2%^DdÎcu%( 1W% ,HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 9]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ᗧi}(fdTcY< G 93IZ mF?@tL@"\3HRm)Ns^ZX0[@əÒo "0ȫΛ[f`et\t[R^jZ۸'(ҠwK\dd $UKZ76`#r|ؾ>GMOiݪڿ~r}|JyUjګT#|a[\A~i*!t/%7H#Ш%wW+[ /ߢ(E{Xmh$`r!ytQ;_zUAˈNXBvQo^M 5S BVL?3AP3j?F{" '*U˃[E k,Y|C 2)+՛?PT:{h'8zː}/uCU hꑡ3ٴ}_eAgPEkb].j5>:AgJhR'gkZ8Ξ;ɛZNi.jBiQ\~e="W H vSv9ufT5^8 cc@C_#^ci,W4=028pq(A$ 1ߜ"AANhuϞFjَ\9MgïH)ht!1ncHGL÷+XݠBb}aXRp{i4`Q `Mkճǘ;9MTo{b"Ş褢..űk[#4XX{tt_ysTW$倽ulk4:n+bCĊXRʹW҅ˤ-ջ#ȳɮ<ƢO٩_s kbip Ȫ?x-f?ɑKbZshtJ;!xzkڛ,y yrCc5Qlj5 "ch_6o#f,^'q|lTq-vF"*$"Xxh`r+ UA+_Kl&tVJaRW$.fEc:1(.nوV *Ž7kM`k)[W[}Qll$K1ñnHe|ߏc{Y ӻ>3t$K D/y ]&\`,=UI(. !<$pE|H)"Z"ZZo5@)69v7 U/c)iFrd tUOt&pVx[N/g8"Io;R![x, <VHpSB'C#J~XN!V?8|H3O'NuJnȘa;܍'a߃T1v ]Q=iZ.L3,#tq^3X4OAv[PpRD*R^4n:Z4⠭Sn4EbnF|SMTAWQ60W 镪BDSfSV餪Rbzt:_3g#X,|S#[;AIKI; $)W4%n?z-z0p; GSZӊۼ5Du[,CVG^]@sdSKXzMdUzm]>tk/cl[PTY#IƇL#ϡhqץ+Ⱦ:7Cظ8_`Tv!]~{{/@% o`l{anwU`be ٭Q[|n4HxM R)a-2Sb)赉*viQy #Z@޶VesQǐ߶hWxH66]87P3,gpE}'Ԯ!L,0(r~lA4IpK6u"ќح,zd!ݿ40G9:~z +rl5^P=o.€ ؾxb+sY~njp<*S$+joGVCͬ[JSO4֣mboSJLjnlr`SEM_Ow/q=faݼ,j+f_!.o*<RY{~A` (:ㅵ5|i007pbtdtreeeW[:PI:NN!1 qtBfje ԧAQc:oͷ?Bsj*Y -hRjqݥj|fOd&qtb3VJC(h`3TjMP^>m*~zhYNZDO:{OrVkPrҥ ֢(7D.jG 2A)YW H_1oyƈu"NasfAe?.zM'3 \^j:>^sG^tCzXR̤b%UA=\v-ۀ[T (č ^v!eh.N" GX$bP5=DĂ0wJoV1Wژ\v~8/P#"\@+];<νZZa Cx+%QB,O{_7G)hll9'gk1=A{/Y2*rAh~XE#vj91 Э/ڋn;{ĸ`n<ցqL7r>Ŋ l, "ٵ-lH(fos(¼|GmY#X`\m x(= %U#z@]$^`TzL-bȊz]?h$=eH?&!r'bw +VYXʎK~+0q m+l63K򱕩ƙbvg;lg7ud0WGhXhqLٍ" 4' 08+1ͽ-;JREWmmhwQ:t d=l;&0) Qa J֤>oQWeL"?f{s ܹhJ-5:3`$bH cyM/n0.Ik EWG6Ki~IXSKzUOҳx xW( 2?#aAx]G*oj@8 |QLl-6ܙVcRކPh<K74d9cy"@Uȅې3;?}ܛ3z6*]^|9=F#:h /s=Z9+dh„o4]e圫vd6:J0c5. zMnޖt z43M&(\PdD]E8U@cYWWFc\_raqa/vq) +-rCh#t5pc#cb4!t{ `oȯ\Dw C$.ȏueMnဵ'oW$gB?skpxRدݳ8SM僤eJb ˻hüԏT\Z`$o#nΕeGque}Ӣ o}6̈́5gJ=Z 0cZ0!%N (z+P!ٱVbޢn RBp}7i =6~M)[y0N~f=$!K<}+X:1RAZ7$<[ x'r=SXS}~yĔ҈=RMoZBPV?H|k-3whsm"5VWg{fQrbsL ]˥l{#Z˟ : M|o'8U~giwu<a۝8m35o2c?LqL=7]{pf1)ِOZLs3~ع&^3y#%,U xchQ}?l|[ \5D 갴$6iEt(hoP61>3֘461guv'hlO.TƏj6Br>k-'$A%$GS* Vu>wj7Du 1N;;|oeFPZU7BT*}>(-ѵr ZZ 4!Z\ˁ<8UR9!E lZ0 Rs`=zO8*IL|j8yhUN'`6#A"k1yJ?4Z"7NY8b7@7]9C@2sƞzgdzR )^ ҦBHVuQ!"u yZM:chʼnQy>coHx?~y5Wz]SɦqȚ!8~pCUۂb1c5zW*2.N.c~ICG!4pug lܐ0oC{%}CPbbjf=\Q"RIPE458(zziC,W ϩ6#vO bP ]GCsPAai q8ax^"X &O !4`L* [ 3æOR3v2ZABW:vpӋ(EZ\t+1EsRiX7XGvv~GaU A!E/!&]V7J2ki\Gl ]_.[~d~PKRʐ%+@.x%!7Fs'˨/5<JVS qD(9\Kln &>x4G<ヺ/dHHÌ$:.jܚZb6<<%%=F _ibG~!)F-i$* )&=Nڴj8aw>m%9KO' }%&b;KU%D 5PD U+4D*\v+&7Cxemx(ܰ Z| T`3(BԵ`K 6TBLk%ZÂu0S nH ʮNI!dU_V ]$SG9>njkvl*mzwhU09틎v/j,Nd03u!r@I(Fƕ+36׾Kz"福.xoN!~JckA\_6rc >;U0 e![vcՄ*14i|U20TϪgEU|\_ %@:^9zM}ωwPp*72ZQ/N_ZlD-4W u@Z /qq_'jLM\("HcvM g~!-D4 QM|{ bhR`}z˞ $kLq^Q;!z߹O }&7hH1h3#pT-@oZ?I݃w!yj=}gR E}4Ex٧~0C' .cdJrBc58Ͽpr@HǞx"1K{br+Ƚey]51f6 eũy4ukG*x.\Og})oKmrO`֎PB'"wla@==rn>>{\,ȷɈX-܂C rp8T\S(B+ VHN|m! T[ɴ rN/n$AzڼW!S*4©'佨VwQSf[ >Ѣ6"~yiiN(x7ksff+XS 99+'b&iDvϑ$&@B!Г:LNi 2WXX+5-/m}A[|gN&voB h/{PZ*AvF%UL&FP?OzZ33xqa$>?##ҷ+WA.HV/'qOp~N㮵ڮk}h kZĔ2`c\vI%M,A}[a/6 `c+5@y=AeM/s&STGzs*0wD;" Hq984˷*M {6a5 AhI 03< S^!otCK1>Ubz" N>B ,xCtjfO};=,b|֌}V^E6::Q6GATi^ ܲ4$`m੯;A 1G}umhg DuN0Z-}ğ>[V"1O_ >B.+0k)w6lYK@-/kk ^Na fQ0@kE@V V[0" ]떠~G݆?2/3ۢ`uԻtY}m{I lac˃Aŏ\ST;Q&{v&eOЬ+e.C(h;pƨ]d#6fd$ݚuK&Fd'hSк>V|csE_.l/[&wq3qønz,A:Z`h4y2lfxSbӔdb[m)ߐ&ɧuS Alk!wBC+KMg CHƁa+0  3l`< R,x441"5 }.h 'P׫kt%YVNe$k>}c;К7rrr^d?Fp 3m{ 'k"5y {oN}gUkbn,.) ֭J%oP'xkӃJc/ cyiQ\ \PPKaѢ@yAhYo:Ci46ēb0+HV[3jBLc+ ?-T_#RP0ߧVWD+ ׿#b{"2sydl8knC}cߺv,CrOtE jĆR/AWhO, SAu81 |JJ_oK`z:YC]&uՎ:VHi`@X`n;Auض}|S]: :_񜤸uIBIPR5Ƨt]' "D8p]RVĆX(j:FS勹&#w S cT˜L0+>h)u޶-'ȹ@4J2w?Hә[ڮG:Ϊ~D'\=P4A"1]ލt!bd\ޤߟ=`2ܣ15!~HT֒t19eAf/*5{~"UFy&Pƺ,0TsCh )TwZ|1ۨލ-ЁQK<&'@ŸSڪXn}GVcBc}d#*^9RF {UL9-ƏӦ$!Ix/q[}-oˆڰtшld7KBaO^Ⱦz1H*jYy:?liq,o}]^izc²gf7l!: OUwPlpLt?s A<)@ pݴ! |KD}]mlNt$.+8 iRCO4h Ep(87>QiFUM^2䊑[TG I`Ư^t"`Q9Psjӄ+ϕIc]jw.Ց`YW#JTQ@gUգ;Z5qqHK9d}txkxK6O#0}4=;Ƚdb db35)] ='xB$.Y/qxp¶K<@l{llV@'@r UԤqDy2ڴ xQɢ6iM~a` *9xe c)b/Svǀɖv-I.ķl0uxjfz*@D@ ΍`z7Bl+ˑE{)U[:6ڟra' -$3$_/ثXaV5UOzoĉ#8Sۺk$*G񔾆_(hWi iv~*޻"KY!| vY\/S2#B,ąIvZUDLI,]㢃 R"C)W T o8  22k|٣-OLi_5PŜLy]?T{ۈ\W,s.qlݙNQCZ}I-+ r "멹~u/ߝ"h_k=e,!hl#3:/~f߬i:;T2;T7~*{x @]K9D0% }٧tP~j H!nB}N{>$$/3:z3rm 8r=PChLEY 1Ø>ɕ)+kX@,ee/@;)|; ΁J?*J{W K sXkvIt!}Ah)az {ܴܧgTkFώRsŕ-5YA"l^g}}xXIZaW쐄~!a҅^_ @~}><Ǿ!bs==KGWFL_I xuCRBe{St;7{MR#f4AJ-:/fAlU8Td9Gh[@Gct!{f'A2¡vfL3C$ܹ%xs.W&=+)f.f雘_ }?d]F9}/sL0eʙ9I7 1VneIcus]=V8) _4n Aztm("tCNw{SL=}Jts`%@zj=ٹ:C7U$ȧ U<ЋKu~=;_]_oBC<"ϝ-?a!`U_;UEcb}KFH?!$*8pX"|*7QqVU hE$ml'J dQ$pilb~=h͡y-@Š֯͏j;)UZ-E>;9ϘI K9L 8ݶQLdRP !tNMiI-J$Jk+m3uVT'7Q:ɸW8HmZf|LcHPx庡6D%Hr"rfٞHQs_nHU3X袭8*#{aNa\t']-s $Xrή01}]:*7pi: xH8{TRGTem:CWAM D8^爭CՐũHsZVAmGaBRRjSAzҢcecXoA,Kj6ckn*}Rg']!cY0-b#-*<ƣ/v9„ۈk,dWf!B-/s"5Q"'۴ZG7by(N(NįwQ|ƞJ\ ī>U{#7E&8%פ^=|*lXg(C*A czPzS.σ~b}-*,tR=tXl}Ԣeab߰%6,a) "MJAsٮ %B]^l< H=>QkIĀ`IZ 3~n;$ N''ϡ}A@MdBI0HI*K&2?;F1kSDQ1[ɖfjC" c,meBrV{w eh3< O9Ʊ͵[m=e.Q.T;7o!!(lO=7f4T$Su?~$1[:԰ 9^_XɐǷLښ[!w[΀ӜK)h~r, '㏿,6ˋ ޴X6v(gr1G)Amg|%B%0_Bnw BR:F_!籁qE%eG#+(k_OAWEv::{ 6.5 نd ;A8[V[(K]sTmQB0ztAXU--M_"Jc +'2gWv< IE .nLNpf%CGA>= cyvIme>u8:đ^Ś!>c@ɤ:[vYA3{{ aV ^k8Da: rG"~/#d^E>+{wcɷ"-(r?϶`>JOJ5ʑOl&HAڟtD /NWt1OGhý⎐X_*}Di0w = ?R^2Ą@ gNI3G[M13^(h[J:^.r <#Z.BhL'L@6:\RfdpIBM$X='<mP&:WCmA;mD)6gRcy] Ź,?`*ͱP_ ي[&et&cryW`I*Xvq`l Ń$ŲzY#FR1 93#tMԺ0Ai3} \;XĸDFIεX9*M-V.yZwXwx8z0oN2OfQXg|ƺ;$~d5  {`8iyPpz/*hc/ފV/5ӝ۲m@[ V0cH}p%눚uT: 텤UVNkRгWD ?&"&+vHE&}qU\7%Wpf{B#{ J(P iG넲vd69&y[v?!HA:bs9oO9W%GG"`Ľv[S I_ >̗bg#]-\5{yfVW~Stҽo(Kl@๧G{P0a<װ d#)8<0y.>m*90sTEڽ+[~3oI!*DBԠ+IrDlqFuԝcCUh$kqFvƉ|0' hh}MV4>RK|ZevܡPZ dVP94շBЄ% ^!az{?sHsLOwڅz+՛aui(UȇF55*];%6LwlKHޯEآt81`9'.JibJ_j#7A52}pp#S15ȼ,)  28m7r#-0U+|bڀIs_1LfS g B$>kCW臂',k@I]S?۶lZ I GX_1`@}{C}֢4Az54iܖ5n0a{ۧQX}'O];p0#j-.9a ()(@yzx=u'wY>v7Zqkb/]-LhXWM~:R2~ mo8&"b~&.}`o=.!4AbyE;5&)sq4~VʐGKᡳWWBT*C} ZL‰gߘ奝)zk@oܺqL2ڦ>ބ/契 br:+6ߑ=r[J̽ [kEN &&gWåNu/:D誚?`Qq6\ָt}X< jY,hLT5QGHaƦ]qt==8"&`wd: ˱sU(h(V Nڀ{Ÿe_J Փ(-vɑ3*0]wuEy*{ \GU^DƗ؛e\(sӸ͡d(TP{ XH^l=3->/DGCD4ڈRQCly N dˌ&`5 yͽ9[9cH'jQ]%܍3g?q"TsȗV/\ " "71Dni+%e0q#8+GZ20 JܹcVQ %ЎW䉸>n3%1eܔ\rڭsŠuGLcFƈn$tc:Vr#H+FY"1rbCؔ(V(bx1+1s/@4VkvZCYC mq[ P{ҫG-S[~{nkVIIfn[ʩI /Ӌkp@;եA0װ&_:R q ? U'6KvB׋X#BG,0Ps=|×Q֕F=q\&).;VR:L]|*{J rn 'Z uy$,/%lؽ 3t7ׁm9ԫ,Ce}0j+ 2E|'T5~`i>h1sn-;=Uvjwl%jHEcbg<_wX3F>ڹ4$ u6[V,U,҅`>&!wɇ8b]}aR\)㫘Zk`C CdB&-hF~'\zŽK+z`͟H^(6_d+;!F춒Gظ~n6HMWܭ Q[? v=Eϵ8>?~[TܦN64t # f iј$7xgC>%t^q>Th-olr w.YQ ㋤?\׬MG ;|>֍,(u8B@BqwӚ4 9hE1A\g M9N. ɔU N?iqtYMįYG #Ojpeziz/|]66 )'' ]H돷]UO,dkF:932/1l6LH)=YlPfxmacj|ԫnh{.Oj3R-x-hj"af}CqAu.MY44N^([(ϕI犰A $E|+54 M>CĈ0\(|!ː@vsӴ*nhBOh7 Iey!yv.{.AJ\5,{$s= G`wOLPoW #*7Y.:3  Yӌw9"QWudߎ :夀a͟]-턻Vi{Rѡ+7S̻+&*x=qseT”xoڮZ 3;=3Y+STGz \}ge7ToC- Dy5D?mٽ\xdw5$Nrm=1Iz*ћq#Q]=ʬʘ<+Sr"']X@݆4l"{(*'wt1CT %,B%%.~42<7~Ce(K##yD*n#a`6gFLY˄ Ȫ_|ͿmN[mekѬ: A"30Cԝ<z=@?)d+A JvH]4M7vR]gc^@Yi%=f_FHoJA aا?$ŋ{ҋv%H${lPf$3REWzUIEn7JUŒ7JtkѯsEd錫qdoWj)St`F/PBQxX$3ae7)Ѕ).P*o[2bzqWIi#bNzV/A6SW2*#Ax8 :op^ˊMrsOܖ{RۯK[# kc5 W)-1gt>QUx9R^#PwSAuցSRL3/H`$צC2UsG zf[KƯA85TA)LG`#N(ʆkZ|uc]KV3c_~2WTpJ:`y-@!rVh6ʮ1cvҷ8VIzv$'.Uht瀓la̝:M\HKi_Fb1钵Ȥ$l9 JoX_MF2~ĸ!M}V dnmy9~xf:uhutϽe$iP1`Z[\v )o xی\qeDHwR]uA4j(^zN־`,^7פA\Opbd7cr^Z!TUf<#$i{=2Stnno g*e'\8VJ]3RY$3 O'M a]Rl C_XW'@QyibY&V*D8h^1_(n1yI\WR"t-u{Ro@ 4H7TMoW[ʕ$ajB!3=BwZFh _M+w/ByN@_:YkphGkPy;lcڗ2Y˥m77YfS F 5.ӳLOz5˳aw9+tue0Z* wIb.c(hL̉h9yO; (o[ TKhA+n?L{9Ƌbgϝ&$lg\9*@tL~Z 0풥n%F4JvCȗLYE{o4:}z!p^u^Wf䶡|/7ǡ 'cArgrLj}6ZKlae^H ʞBmY J sOe4!?f:Z\~؎F 0\‰3I:±/ 恻'coJ}bJPoH8xЋ^O#":G:t?* '&I34 !T'gR,J.]tn6 Þ堉V=n2t~ - UY<U9M)3q,_nf/%D;0ALJ-зEGꟅ4E$TiB)`S?|44ع(қ$E;0AWU.r"^ f',Fy /)Yu(L]d.o4"YYXaRT di0A!:1})]AC1@4 nH^c& tP/✮@q4V0*M78k5M :_9sm% `5Kl֏Ӊ.7.ƒz- 37.'I@t4u~tqi eR0w:?5I #?r5B2d1жV>SG槅P<Ε.<ese9ܖ13^Z$(H)Ǿ($h(ZIG|"ayee&J!7$2I,ܺB>*Gޤ0pDIb(ՔP,Ή;4MR`=COiݑڻxYH sr\F=A0S ;\cE_W:qdd5]v9Us`הsW1Ȣ x=-CXN*)Yu*2 ؆mnj8r:i奈e`7Ґ_>+f`ѽS7Wͫr8e0%ʵ&090Vr^$Pф7'brʀ 礧i5mmJU*.8o L%#r@!s `%~K.%Yje6 )HCk׵*.>+mݟЖveOh QֿskBG`KӣS,_}iAYS*,LeBր9qZ6naRyi`"WXX#!f?plSq 1yFcKjiѫ[ &_·4zױCT?#O$_*Λxቨy"hqћo|9UqEz]:*c[Z )Ɉi ?[4W,%|Z*UVZqq|"{>6w"Gqyx٨'6ևL|뎹/S |f7 QUOmFx,~K "y5p{`}j8{>abJΧMB-)c%x.G+1VytsSzޛ)d&fUhj.4X,[wڕ?DK-ek1|n%b(%jqyA (hWև%2qnOUGsUĔT-Hli*Gxr'`}2cIwځqW3ܳW\(L\*$g3w@.;m&%#\y@Hlf- l4qF=_JlsE6@T H8'7=E-Y5 b=v9#.t^ԛ,!Qi7mjwqA3ts6nij+F" T]^W+rjޣ[_=@_2Wѷޝ0|JBG7A^ ۨWFu$1ٛH?2 i!c)~Oz0ap#T;f}O05V7_cd~M,Zf2~ "J2o^Z3V৘mPЎ" zMZxvr"!S(MgblӛLvbl$=J$D'&G&L"] '!E,92tB~&)ۂ{Aԅ~a@t6$xb;`$t{ݛp96 z)y qQ[XAsl\\n*ͬ2xf}8jhkh!|84r+}^/++.w#"4/BKi/E2bl$\#zIv6]W6|lҟ9d şKW`.ET&\?'EQ4U8TtA!IJݩ#RxCC9wȷ8g$R"~R\.\レEt&Zy :.oCAuϜɍ!BiGXӞ唤g{]3N1sN͋i)QRrw" f}zڳX]YOEx]X M?[W߉Eݚшc ό~RB'pL"v}(D'[hcӐۦ/YԽ{co.ԙfhNߧ<3q]swc .HNֻ! 84]!q3Zߧg% "@Oȋk{f4 }fd YƬ!qcX͊yX8|0[gJ*C0{3~;Eᡒsgu&ue>Z+]r|g6sقamQUm[iX`{ׇf+Vi 8QQ#%FO}_ `d (A;((]C7tH]ME= qBe1۩f]&MDۼr6)Л NyOоej4=HILF(53\60ae:nY9GZ23t*'uOyH>NV<Ԇ1 {?LgrOAa) "{ޭ^S^RNRU*n!J0*X~*YϨ,iؾM[H];4Y7 %e&rOi000++2&Q  %*^@2D˨>QGFWӍ\(Q$Ab| <1$Lh+(epg{ǰ$ըvEn>}OE)py}eWCAVױ8|x?G7)HS^Us婬/,hg6_WJ5 u*+#-ɴl e'd/hAOwql!A1TO4J'z7ټ窋q[`t[~ C~ EPտK:xV`V@ݨm@^}-sV~c0{|YXXDT%~BAN>OPz[ E*<WHAcS.u8g8eA+tF67[NRUgC^*"G8SDD$ܞ՝i @;dpJjVd-x S-[y TDSǬELFBQsHK\[0J+,.2Z@@5F0a'OaxIvFys510Dk=NsBekIƦw9KS~oJWYYw->Xn\ ek]ƭB 4HpR'ʐ@9?5V?0zv!6ce00^A׵0gHL㮻$M6"S*ά`r+[`O۾?F[AI+O? mc-͕:5ee,|ΌRFŞ̕N6BL;h=5hh}PDe[5+`=~)$Q,j~ 9xdVyO"N!'nAwH[?FgKbѬ%w4-wg$\Yji) TFt6ؿ}4:$J $p)#VYԪFOt_jkk? jRl== &tf GNxGrHp(Q=i VluڂjS2Ԥ^$srrJ]o&DީEW*sWCs2b޷ !^L!ڄ/H!A^3[_k9AQd"qװ03Bó!; iR+71gE./k6fܝ& -}0<=$IwI /QR<*vBI2%l^j%4a)9U9FC^aZAYݘcY~].Q&QzUe!D5AK`}O en.MRXN@(\xߟSU2Q!VC?t2 ;:!䴟A;{L( `QBvB_tPx5Фa]ۈrM0.q" x1U]E)`E#M[3AUDa[eD$5ؒRp!Qko-aQ$h'jI;DvԘItsn,j70mN&tH!PjDbaޥ)G=xgFXeϰ(ks\[X;C nܜ#t˺lT@{wZS4lTnbQ #le;Q^6B߅qu}8JᤇEBK =ߩ9CvM~@m)``*^Nڒ% #`kкB=' nEwy7P3L#'|O- Ԕ\LJ{ iXA|6Hí RW۾k%šaw JXYL":JSm-gp(`4N'/!7Rݭ`:-o,z H$ԦjkQiB ]_a ufM0~R] f)|t`G7vЁ")76[(b"w56/(OZ vbՋ*UU[@2_b/&u!o5+Rs)iSb22I/34J2z0yko3_t6@B{\CSTČOǻ>Ѝ{3 `Yh"h2H32<Ԙ%_*hCy}٤6!%W}PCX5(١Fܜw& @ၽ\'ҭ/%'ߠ3٣ u!bz;f!B%jI[a'FMN{LRVwd fz B$:Ȑ$9H\ 4^١ۛCCF>vO1eo GL9oTk_ ,-XoOU.57e/L8;'ȔXwx?wwV3Ԓ6tᖚK?1BGmБN_WSkǍ}gRAz}яDE|X0_ cdL(8SnQ=("QFqt(քe#|ͪ1"Q!u}Kk¿]v4 թ==@i"uWX+m(yR|Qbm9!d}cu/3AQYSYS> gʻzlƕ\4|m96bV73\`1GxtGW~ü;u ^`3m| ՄËYg c BO>MjUC$+ɴop"n+Ns4+)#fMI3'L"߿% (kB;t乼L&iJ !G/A:d8Km*%9&޻:M+s M4d @9Bi `0Vv gNcԐN;oe^YsL4' 0ϥѢOLhYb)3H$nX-:Ll <'ƴDF}u)аݱ,*0އG<@Gn|K°Re}BF,أjz@$BVĥi)X=AY6&=b$Ǵ]kM( }&pP-h8^#(SKpRIePdĺ§1rRǑ^ȣų1\y% ׅ3 fzKΞіT7&^<7;6˵xGĴBx@<֬mܒHQ;gs[cj,ʪ?O?h= Ԛ0S{TGI^'q{ݕBϣVJ60\?EHkuo_э>5bPYv[o5 yGN2M'Q C{6>~( b$`>l1 a)߳MWȀ\QWKf&dy>G*B4zw.`b`J#pʟ^qhLWy_.}Kط1MtMZ"IqՉ41DY${#oO"ws+yy# HeN3Pγ)` @ $K&ubR$!PfScҨۡt>+mb'ے0Ʊ ER'<@::  wwPQP `X~1^>Rfku6=6Q[^AdPǏqw#IG_}3D^TQ4 yeJhTY`BRg\ER*F*]:Kp|~gW%\ץ3Q+7n/(HH-[T8ƥ:z' tV->̂$;}/ȟUQzEx *d| f!U)ڊHpOmCs9[=]aSc 7yxc.p]R0!?i,zz&IbOI%+.ݩu7:چfś_੾l*P\i$p1La!!ݴ tݥVq ON#ul6Rm J1Fֲce.?~~beYR8%"jսTUE, C#:A1qj|s*(/`%6P4`_V$'eKeϤMմD%Nkfwj>~Ndd4*>ʴ|;w.ífkZG9ŞM0j!#Ґfސ2Orf%Zx<HLe]ՁOѓopgD9UTϢs9a#ȯWCS4YqHy%Dz\ko/}_S>`7֮אr ay:{ nY!_^Ynڟ!ˊm&x|EfHP߂V&AK$vW2n3㢕܉  = ,D*0 .ޫf[_pnuشݤѹꈌCP:q9$y0cuIƇbWSu zn"Gtwn| q'H_( >ܫ?*.H@yqp=z1IPGpGy6+tzr<*:G{fSi/w9.!~wHs1%BB9%LA9sr*PKJq$`Q>($r_Jmir{QwN grܤ{Lta+qh+H+/U2nSqp,+6w']x)cis౔3rLE M(;o\4Z7bRTJ ))(܈(ÎH]@o$ 6v88{6^]29ZIvuD"$mBMdW1uoLme&Ǭ3*E়*,d6O.%vX$LoOd:.\e]7^ʅf#P8Y&h?sėkbhq X\vu 4vOhoю5BF2tB!2BeJ-/ų`?IBߣa--Y;;5l!#}v Rh6ʛySbVR&eNB#\ƛ^lɚ窞/;֞8WЪ? $HTg!22A9Tð.F3DA*s}fXJ\p1) ΅2c0,i6-в] Ffc!♑ɾk6'P<0=ߔ鄹teZ4xص$W/l\lԅl6*-t7TTPo[͹ ׸^kOSPB栄uGΜm(ZC_ Ze]Wǣ, rs+B_MSWyB7awļ~z8΋"Ͼyta%:o]SJ+ꅓ5I2ZL"f爃T'(M gqYw]1ꊏ§)/v-=IPL$G Sws_8?:0G:&WAXEߋgWl4.&^Hf`Nl5&Ʒqbk9٘#z!)\šH#[0ʇ3YS0@T)M1o9D28޶jF`KjR{o:l=:'e5a,Sn9YƳQ! @AtD1 6uQcI/0ibɆ۔YW~imt@BݳqP|P!g!2W Q/DT2ܞOcjF* wm m~*'99 {WJ{ߙ\ LySi2 $FṆ9L^VSv`ZMq8#ʽ|T=f{9;I+j[<n? 3QpR xZup,܃[_ǃbU0Ӓ d|2)k>: V-=:c5"?xk~ {pagQ'xş>lqI,2PDHg;2K"KѱeOO2G@۴߄ %PG6f…DE?'*п*r' orYCA|9>ثxӖx#Ȥd10DVc *C%f H!HUi.WPdNI[v2Fmv]tHw C0 ohqmxde30Qѱ#'oȺW ¼@^'p}=_  d悸wd@pi]Xq@0ȧa9Ftl\,:^;'FAWw)Ƭ+d+,6x @L.+%i -߂14AlMW%$x+jBPMîu`SQMW%eH19W_i5t#e҂y ֫#3!9N<:q RCwoMo]OН]ZLmvh2[sEm2sA;+1•vxjED åu{9]ujӚ#ByKF0^GYtZBy= d*5_^CDsw@'m[/~@<%qBp(ME"Ж ړ3Ew1% $Kkwad5dZF*QxÂqD9ϚTHkO/eԛC]ZJr8]6T֋2iHSj0Bhgs&So/^ \\2H7R0Pj)wKc`1DކiIv%=2zP$3nZ5*7ˣ*_y(K E@l)@|+d@T|rxZݡ>WA|eB^7pؘ]faZe)q ˾ûkXTDz^"u~p 3V'V?WllAK4KTer}8t;i;1-q7yꁄBڏ] i 5%8y]c^5.0^ ~я),;Lj}$SmY/Q*P/p۸<ЪZ4~^ʧl AP;]U-4A^C̺-uy܊H'P:M>GƅevY sL|~F1=DڗCZHgMJFsJ5#\?07p9,(~ga<qks F+B1݇݃} j ~I go^hlîˠauD EƴmJX8onjP9+*qBmmjtzOB૘/ +y~ńC,G8$s8H,v+)dO8;0WǪC-+E/L7|UK?l7gt%1Y{ѵgஶzj5)_FiCK@?1&s})ĺlHe?1hY[46A*’䨐[NN<e$k76%,I.X}m 4qb)`>E/ Lk?ۋ4&5rkP[N}_gd I$($!eH޷@0ZG챬yxו^JRn/YG`wPk_ݐ8;ǂOZ L@)%QL{̣%(t}AF8HA%JaL6|s'1ޯ8a)X?5=3rHͷuA,jI!=wcA|kjqS8G0FCXZ0${r0RϡTWŽP#O+%Itq%G #xZi~Ns`N$5xن-zTX uф 4H5&txgP$>ngTDT7ĢkX}1}Ơe)>syd=! W;{ 42Ey};$Gupz@q,v'J5n5[yETוő]!eUjs ͦQe҃5qo4k!BE ۘOՏYHP12BM8)0 i5p>o7Ԩ0xsK`OC3/^+iHgP hԕu;\PAZA !w?bgx@LyV3pp`f$.FF&mw./ʒ0#B={tl5Փ *O{ |Wی"M²tV~EG S|h ᓑ';HfvR*ښT)OR(,~MwĀUm QLXS殬],{IJTl-jmQ/9O4<=^=Ξkug1U J {+:/c`UFS'ju y_w K0V[ί(@"< ٺaJ&}ㅮ^p4zaPQ/\0\9 |6IwGI::s6YI?Jm ZbE#fJC6 ZE0Bzbztƻv҆;a|11L6l~wcQיJ:C(-/F5}Udohʪ]Y&N% ѕq31[-:l({>ҘsD[C /$Iw&awve"U]-1 f1R\0e[i%ӻv߇+:Z+5"PNO`Ҕc6 daV Y9%Wx˿Ѿ$Ҕj劔[Z0㉴y-2sFd"b:G)qee@Ǐ$pU`@.Ie;lЄ4“ leGc沄˄ŝxDiJ̫͢6=1PJ t1&$X$(RO8!MRI.{1{fp%{]`ǬJJ5[Ӽkc_pu*@yVZBkoK1hR+7f6J#.IF5_ǤV+53I #p2X*f;TX4:̯.AG oBxbFgN'VnL88 ;.N hZޣxr?s"lPx@8!ayAtUWA4vNv)1iyzS.H/3CSփe&TZF9"1%J.GEU [kjr5>veJМ}m-X.j0Iyv:ԌչB)|Fuz$5Pz[v~N7~q-gu^A[z.V!& D3I'ymBZ*1Ψj녁?*sq†v%ew&8W4R#,lA!QCDuh6nhN]nBMWtA\,&#dH?龆Xd)(\X#x)5Dq? XpEµN3lĦ sJވhdА~Gc]#rgqU-8T4;C >1-)]:F0ۮ%[+Ȁhk\<(M&4H,)=eNZl6e'@aIas{ϨG 8byNDps,\塗DN%hzcOߴ7Z|aՑK,uvi=vM흨۰3^8cigwZ YiȦQ3u*O<$QA9f$jsG:*oJVR@wP:.da34+yЯk"IvvzBx_5Z_e #Fv=Y}B T?c>e (tv4Bj8X6ffpET +!3839vo}Q9ZvW +bbן95oY(6akUVy{O6cn5 }SE#e+xSi.C?CWٯ2Xs-O/!؂7OIHee~?ze^05'=$OOVo'񞐳,5ɪ[JJ1'A5"⛦9k0J晫V%笖#v5S,Y ȀƍgL?:yHZ[f ewG |*0PZXtҬ?)]rIkZtpB{ZIO2LjK[Z ~*ĿFWW%ƞꀪ2MP2coTRyzV11 $PO,CQޚ'wm!`uTۋq) hėm:V?zmE^mB0rp}+1d`wߘ$dOb? hxe]IJ.ۭ3L.l^s8?Ō;u`%k[bf31 <bpn)EԢ$=%vVѫYKe󙼬K,N]LyH_9Ɣo%B1E-5~#nzФq ++!Ռn¤r")hqDNP=^)e(ڔzWQbH~1/AX%=Ef;SLӑG-Bҥvp41b{qPVu{e!M)Yp~ÇJ &6Ɋ1}2F1c)ٽpҺ60zAb?ajH%i6VT3b\V4 Lg60rH+!ړ(6kxgYZ4]\_HW|F:Z]D HyBǎ &{p6g5K|}7V-X'RL﬜K͟+\k; wX Z}T@UʥtˏcFx>@ͅ9b%ܽ`wDbR2zW6OvG ,{k|2/(a r;N#uS}+ןKD>ޙa%'^GHu[z|-BzUa509KwLoNl; Ȋ<5?&=n~* >6oCoӷ괗] V[VWsnZoꓦ/iH=%xP9`{3*\?^9^O|v@532C6@ > xtೡ k/;&k(YQ('<ڥ6>rZY) xpz>z~mϬ`:آWU/>zvw㊂IJSqa2ENJ{)1J3 ?(ؽ*Tr{ձOH?©iW[<^{9Ja ߳$%<їIe*X%#d.LpvhRR.τ:拻D }A=}1XGަB!J"㵱1p<;- |3.$pR$!~̔rĪ5dSgk1s*G<;mr5[u[<M yyqx&(M<kiӛKH7r g_dMl=ll=Vu|X'05A+9;YIK`iw`)qݵ9X)ZItp>h_DF։p p:V&@^}OMtvRa n>N*l֙"bҖ;"#ٚ/= H'0?`ӺM碷/h}9J(_\{ 9_($Dwg>Zp9KRt-D3B dšVC2w4cU/}ڇ{6_/\2?XgSije>P;u7^hjbni؏Xdx iPt!ٝ`+zo?e!莾3epzdhoI5.͹6J ݘErqR0#(^à %GS4j7Rt4~WAw b"uPr\8mdn7o"^!F +~WLh_J |\E\k0JxnVbϦVHIUS 2*&Ȕ`Pe 9b/,Fs؆E2zmdk-V4늣AS[zFW jJOit'YoZnalc<6 ϫAy1? (͐&|U[r4:G*w/| 1w0-c_A`$&8wk%&)G%wAdMs g$Ž3Ϋ $%~攒%8 {  шuS D.ʉyxb$i؂p(?B~DSS>^' m#qHQGZ(gҀY%Bl=Q)eDdE)-Q}W4S^}he? OMw%iCI1zy2j 2`hS2lt-|)/ڍEn zۊh7R!A* ]Ar@rEws+&L|q@V2FW !a BB=#>V>nP"Z/V-(/0ҁĬ`cЂtI]+h͍bD*Gc`̅o6r ([  -k-*'S!/C#c:'ͶI YI;񔇵Ҧ8:ADY,ki% zv{x:+T-邏5[IkHi)I$.r¸\,3@- JK|lRZ[FŇܠx4q:<!C"zXsC_"HL.Է2'%^2ZL\~5]#ev> |7'd羚Kxx+ TךsMSRںmY{J}UF%Ww?-|PidRHSgOG=IxLN? ub ZYn7L=ј. F}C3ĖDK o%eDE]Sz$֤9KSMp]RZ]{#w>  Rg&{xv[b}4R[eg9ž> Wf##vPKWRl¸FwGS{<Kϼu U#1)y-&~$&s浴9kɾ0Sw^En KrqNnkckxbߴW~ǐcZpڴ)|?:bZlw]Eawij;*ۃ@O}ꩉp0K`z/c3E#A.88q;R!x))|مu…S< C3~zn\ aP2Xc(Gh(OS2@Y:wqtSHŠaP*UrHav ; ZaٔW1yj' K]Τ ۮ)#0p5D)>vw<=}IԦc|DXں;tPi"* C543cQtZYE:H{J ߃Hcb؏&(VY{*Jm 8xex5pGb5[DQrX68Bk64³$.fB,]7/y  ,l6ly%}-j(vfxϐJe`%VqUjenCkI-&^54P1a-Q1;AeGG*7B_ݕ+&^RyI{4_Cs,Q ,*I13CSc =dȼt~ZL \{Rcb7xnEI˞I9+YS)"={& |Ӓ\ RUxoGm4Q.aCz͈_m7F8rfnQFOWy=kKr/+3LgJ,aYٷǃX7>mL7? ,@  ҿ~ί%J@ݬid'Wyc5]j9$ QyF'݌j:E̲F(SvěS(B㲰1 9` jo=Sh1`EQ7j0&oyXUR1W_;$EbS֠2CO@̨ շm5~IXs7]Nz[ru'.ػA i +DF-D4c@|,N3>!g?;hU kBH$s=XĒP}Vw'XեK̅jzwJp.V7G/00CE}=m{|fλq&%.ϩ[&o\&3P1L$4|'bPmFrsLޢ▝!Ŧ3UV[뒙o8K,utb8)цAg=vpy㔂iF$jå2IP !s7ʜ61[P^kGj\ k0+eFň T7~a)X|BT0}2>r2x{941i/MpR34?܇F\D=ZFo(ɃM lUkqA'rHIfCo@<_LvqW{+)xpn{ٜ9u\ TEwTӂ4׌\gd?ףj h0`ob+ZQ,+*5p1G҆vkBY.?L':7WQ҉`O9}[l'' ,yOK 6@Q6cpQ?l; ҀHA/ @~]x6*]5TgB& $ Ġ3;g%m 3˻X׍1"}BY{y<*KYcL/î1pڍ]B2JdX\lf囿x B ;仿|oqj_1H^eeff*~\꒔/ /K ےtbSYϽ6O_wR\Zq첽/uJXvAl3$ ,\/2[|C۽1p\5Or-M?=Ū~ Jsm'VǧDr=sMEp3IKDBͽ*hFo.T{-we7|Hx>n{(֦[5o p,)ޣPJз^LϡVѼ&ʚ)1k`jA>D }8 fv.F}k%w*2%ms0 ^#j{й=@-~Yyz\Hwhk[%QEbz`_d i-o[zSˋLBU(1tH΋?s$BXW2F@;fs%#$L6nN XSB|Vq R.qhԼ67#j F M!nOM:*|k*xWz>jk<Ͷ'v ivaNNd] ?v~i7IMQC,[{7(t}<# iF|n\?F,{)Վn_]{1IKAh IJ YYV1_y QC6#8wS,T;.}te2`b.?HfWm08`T>J< 7ZWԣD`Nx|_-@StRf#;G7 tOWvdbs "kzmhZ[^N2 ӯ(sPK2<1M7+XZ3 ionoEBF*CYWz ٳа6l{W;;Dz} Dh" aY|Jias[c$_lX*6ވ ]ႳGsz%;JmZ>#gݨFt*+LU7d@##Y5)Yx.ve5nPmY0zħ(D;Cr<(3|ںW ,{wzƛN`5,N ɬ4?=t N X+S> <8n¶;Ѻ6#^=k-2TCz}(Z,@̝KNd "|¨5uudOtZNݿi)hRGb)mG Dlܪ" =w,zyrt LQ'Bdl+`rTc ~4J~f7ɂV)Lg&=&̚,/Pw &WwCJӂ Y8>v[ecRXE-5}hSW*,,0<'g&^@yfJ>) 4/`~C7H aqW~ox~^Yԇ"]IfCv(Mڣ=@.j\ikPQ,KL.a/9/=*e5+ Gh-8oriTZ!iñ]p u~;2H \>Єr;b>R^nV>Lp 5;^ʆQ8`_ꘝ4Nn*d{B5޼и83"$0!|O${zz« Q\`Tu#]^9!RJ>.ѣUa:P*ΏLr 0n6:ZΣ2#b/F'jlI7>7b4}ʪH$y2$ /)*ρO{襦kU7h*F\.x?^ӖS>B~eHa~a?"k!!6ssӘh(a9V_o._qN\ݰjHWqhA*be(/gqޑx\lJ/; ^a,P^][:ʙLwL[a)L>e=4NФI lv1P&N<(;@KZ\3.z_SK3!iջl͎)c1ZL$uQ brWnQ0"0_@۾'F, @^ # (mw/]:WŸyA{?Y/Q/G3%"ŔG_Dݹא tB@مP ~fUfc >}E^KHv ˓ p W#eKR ڇ?A\m3Y^Oď`9%3 < Klh+вFf8hqAK 7ml!(ThXA~qB7?6@R3 H@^TgAM"[.WJ&6X+r SX]#u67Iui h^t"[tCPC׿1}ݨ3@!&#LDb7}]X5Ppׯ =g`ً.ﻛᝬi!qf%2Tn^{"Z>Pkw cnmoSkxS86j;V"Ej)-$ dc,@-AM`Nd0ROM׀t#9G>קyZ[ ]R/4 #2|ie›܄u?Y_(7OxJdj W򐧂]'^H! WOfn2K$\Z6{u؉_Ӛh͒S,A.V' g$#Z%yr!: R*"aT YPlzx*̭椖`30ɟEKyznvBEa0+2%zbU:@J:brIya6)Ʃs'T m%jBzByT[i2}˓S}zrhS[^`ܙ?եEqIl߯kΖk9[h߭\tFP#\Sm (1njWJA*fW530 tBeJ,f8Ɔ}S85vњA5+(IRBMЭ`Sd1_8>&G$ݕ\VI^A}/oGl!BkO,μ>7#{5F2C?M[U$T͒m &yDwyUk֩,~gSG+]wzesrG] ~/tfڞK6X> /묎bmF`sxp¢~7WSd郧RQ1!XWtT+rsE9[@ ~ʐh)f^=ח03YORY3${Tk P1FwgAիt̖FnT!+e_T@Wҵe/ goVș~/ʦ=HPd)y P C>?N'r fnjTb=̖!zNYϙo?F(\/(~ vb'n^r}DJ: +ućI|`o%Ɋ q0ehrd%dܡ*![O7A*%  a89fj8X573o"ĉK8 qܽnclj; B|{%:G]H"pQ4Rѿi莌8w b7-ȏw"b[W.q+T+w;\T(+=a_Qs6c#d=' <`s<:}ώNEBGY 7{?3N<8/羍tfalOƉDTa! JLa'^< Qz,c4%흆E VͳܫLils ϊHۖqR]rKįvg.,4FyG[.d <sd$w)b V}ʅ.lD $BQ(~; 2^݊W@,q|N+7.T.ޑ=4*n.o_9Q%;r"D9:s$x;y؊A߾˻Q1z>w/U*EYB1^&`%}cH٠*?a b@TfEί\e@-c#0V0ܐQJZ@ʃ\BX;'xdJж mRà. cPs{A㦨Q=h3Gܲ ?QvQU-#mzТU\xPMծCP50F\|b /Q^gtdžx+SoX#{ƀ4Yq٥%m>&UGެ*Dz{.sſ_JfNG!F޹Apj'⨽?BK ICKD-V-x^>C8I0tMG_:$Ixlx,6 IO5qr E-?noLdzȖJ?``l PԔ9̣ #6248Z+8 JkטA N#nVNEfK;3^'UniTabXWyʏ-Y9Pk r(xEl__%Snmyџ!@'T>ӯ4W 7Y"nu$[qi%YV瘢*m Ǐdt}k`Wi+%ҜB]fgsMϿ;Цzi ^-59gGvR~T\V+H~hѐ\YdF&b'î{U75a"]qvޕ }eg6A*қɭ | z C?+}줿Ii*YJ# |,ԕ ̿c}nT9ýRp.?D`qgAVFgBk*'IbW# iclcK)2* ]peZbO2E+ :N`PHf9u/1c[_6b6{IQ3 F^uG:rc*D(!tyV9:gMC} D<'rHYEe$$۲Io6n? @4fA;5RQf;O&  eۆ¶ yu܎5 XN{k4yIu[C ?=8{RݲV,!:*0Ey.s>q, ~SJ% ^5AU&WuCp{mS:ti>5੨6U6R X }{pZHVʟ2R0^~ԡv&^x-k7YKRFKvI*Wڦy.#vda,v^4蛾dt,jqiqR\:0~Yc^~׳({LRWb|T.Cz2(4=oUfk[fLѬW$a nkԧ½ʼn4Ave`A_Eʔ lXg@>AޫS[[GYڙW {v8hJW (y$*W+G= D 8q=1ٚo I6{ڨSGS]SRzu2_Ðj-c;I׬]PId GFljVnh)+߶auQ˘U ,T QQO](9T!I.Ď Yk`ǥ7Xoa_SԓؗPtcѠD7*@J&_;1ce20q\~I]ӰSMnwhN)3O">)o-$8e1ND:nFeIQƜHm\Mx/]I6I һf*b_5Sh~@"3I[Ax L,oUBnQs9Cъژ0%wX%U:;Dqe!oX"ss8fy1GqӞVI#eJ9Tpظ+6lobݷ3ԣ3Ɛ(G%Yg噿X^1vAخc%Wt}7h_e0Ʒf8K fYAl>7*6Se+̽NY`l蜫w<@p;2z5ϭ \q[< QERq Et=JѰ#|3 _&C@BNF;yΖf>DơNs'fQC Vl!͞ FwO_2˦{E'h6tc܇RQ:񒓴T=om85dchʐ~^5u1c_: _? ˗{>=<>8n?GE<BZ5I,#iLyus,>Q9?'p庯 vc88ͬC  qEb(O୮V3H&;{h-#+z*/=\{Pks<[ j4'>Ҍq3ۆ:Hn k&|rؓ|1jnO賢򳣛Ev/6\ ,ӊՕ=Pk p#}j "+$$Pr?TUnaUӎ$f#d[{WV*ˆz[(62ɲ\C8x~ JJq: p+KLD9EéyM=]\1gy $) [w|EPY齱v_J02woT J0})w,vw*&DS(b\g@)4<@biP6 P(yApt׏ݹы4m'{ _(*(2!; P̸I9~jw;W2Pc$+ڃ ]'uxR2 uLV ؕLl[N ?##)8w(m<`b!Aq 7hxClƃNE iF RRQMv}0K$s`}f|W@d1s\doƙ>sH0χeI.ѹ3&#<oG81=G|3*pwA&{]V [ޣSs Tc2/\@n09Ro #*o%FbPq*vMU$]*˴ ͝Ũ y;,>_"tE͉񒁈 aZ i9rm_P\ߘn X-ԙ0~㉌&y=ʒ<_l!qiEGrNT[6:m),wfV)R($o|a"n~TbkpX7:y)k"N̞RD*p|VG{~|MfxL@<ֶU@3 wʧp-z}熚zS.ga OmSr7g0}g2@?/ibňXW@_ NJ8\I:ploxӈa`g*Cw/r82JUy? q[pZxç&{&.mzAB qQWWi7}|1r "o'^t_HQ$ WH-4ڼǦnNe3»82:V`3W`Qt@#u4_uhNT Gw0ˬ? 6ꛀ_wqC{P4i54!U=%l@Mƺxo^c6=(}UD6N;&Yh*3P="/ al2ݥm|ki?wA޾+THR{2ᐘ^K4&ܥ\jC#S91+{[-;̊ϸ޵&(nSFjѤO?!eNW;ɶOejxal`h Q2mZ4A^I/lpH$!\dN0^d\]6 *'m,Q2 J7Wvm.G6,?3EZM,Ϻ{J"dcrD (ZCO)+)OĦ V! ͇߇yj !7!0UyT)4 9T#_ѫI"D}r<)QyڧF=Å@?YM V>./ot4wqҺ7o?`SO 8rI8`>ƲPppQnn:z${0 uK%=5gn\ܦ.~S{j%GOx5a"Ҍ^}"TP@W2`ʼn$ BlEZwsi ]i~"dtYA957#̣ 5tv9s [*y[K2!;6HN &ga";^7j̓ c闟dA@kQgc#ga& ͘Wyth>/UOu ?֜$6 K 4PaS}Rp{W8a?m[WO];{FV0\QA.oۨ.0Rvr־IP= v :r='3O [7ה N+%)N܊l'oڠ4 5X58 rjNٱ{K""<m*i~N>!v$^'7IhaF.[U{ eGݾK*՝'Xܰiۄ5j>إ9qĉbW21o-8U9x닊Cw+n5U)DR8A,g-_5&elpo'I˪q3WJ-raôe$?Q /JyhQig ѝҖR-[.sJ0pR1Hz3Ŀ9l'T6=/:ƈ UpQ}N׼![ZRij&A}kOZWjHq(37Rd*<<7K$99/_b:P$:E;pwBz?Vz{G[t#ŀiv9zZA#CeŤ<~:^ƥ>W(W]ߜyqԬv>ctצ0B}EZ.#5KMYƤ흙^f? /L>ύ4Iq<(Cj#{o#fD2'Fz׺OApvV> B>S23 -6}3:}:_pEEsq+*z996*qD i; 0Bco#L9FqYZ/Vau٢ c`Msf&n2i5dnjT,cn\&% %RPNRʵA>q1&?gQ1m!}Ri:B2CՅƭ}MqG0 ϩaٮG!14oPTP LK<#zL5i9y5F­ O@&=L,V3' P4C&O.Nb~(]߿0\QScM|%@]DH9/M~wI_; 5DƮSfm'ƖH+́}.?7\G(tX@/JhJk .uo@H֘H>ޫAٯD .;i&vyMHclo 4'cE*i$27{D'o.z' :?F2H zgA?m/(SH"?muyS"$2 fiaXDR(ǽ3Q{>]XB\GTd8*:CB1j(p&i)8ƀV:QXݛ&'NM%7 JޏaSA( z<#r$=\<<'緼@A.~틨YIO(z&qbq Yr+ʿp'ROqm8VEeB|Ӄw2?*j@EL=>ϑQ'058UB;VdV,Pa@ [hs"L06@./(nxB@&A{B9.TIl.&#MLtr/rEUɎs߇M̬;բmat2kO3o:哇8Hك-S+&~n@ƌrcRyo#6{Ӏ qAE3o) oMԔUMxσ[JMa瑧tCH+nVh޲C^vV;KH";#'Y k\\2%u"Uòɽ,> %}QtB} h2a)X`5J"%'TSཕW"\QjM " ;?I\xAWCW2=.Gi$g҃0=sWͳaq וUD[E(u=.1]@$eNl_VCXM@@c )GgSYB qG5#\bE< V?&?} +V$NUY({Q{[H=r_ ,}kr-,uRgSR}fL5ԉ*j:2r&ƳU>Q+唑 kwn?(fmJQs@iraKD#\]sJ—D7}kAH/Ÿ~4 Iho!H] m]' 0rDr 4AՅO$ZJs5Ocq6 Ծ{[ m$f=jLD䋝 QGIv޺V\qL2Ѭ8/zL1z A@cd9knbcv]Hp&[[Ԩ /up4eԬ͕[FLLM,opv,푏?B-n߫nj-o/-|}xkW 4I,7OIɼR=Rv{[<}{]צ^d޳S)􇀑AFEpd몔zidlq I50qA8cVCKo7'jzp쵴>}B*w *MW }n0u͘B[,gHhi;Gg3L|5z iw3H8QCŎ[ldG8ohxj=\"B|pWŲo4&mЦ5n?L`TV\jP 4Wmٜ5cݗ˸C%=;؇e9u#LXm9h+(͘*wP}hG[oG6qXt>뷈Ew$<4%ݢ?jXΟ%=kSg?g8a5 eqWPHa>GijtDb>?7n꒴q-4S²|)٦U}"* ;] >l#Y!x( ,]3BUGlfn}jٟtYNpD 5]ʋGW$u4[ ۵x42Wp+n#?~̊sJO=c&Pͪ.Axϔy kLd֗+$LqsPQ,Cf"̡ Q00u-Ik6{ #_ 6bB%{&ʠO!3P-cBw^.#[˹9ÎnG(,ǧE; Zl#7«M~حLx) *Svp0Az̻kdEu),#q`#{-, =`7{CK)ba3'K $vUYE8q+>lʸTR q'򺚁~#qBvG%?ZǧqR}L !S:; Z9}9h-0k =2<oiՄ0,VD`H縡>2#\ {5և6#\9vtDžWb(OvH>#(nwpK4ۜQ?2{i )W"t9R0֕LM>]X!V sVb߲r+D(n"~;ҜS`FD_A}M\CX8sW% "6a": 8R/{Np^9kHJW  WŠkR :Mɵ#+tM3}Ӵo5S~ P"J;8.9_ړ7J1 ҙ$ Ut[yɏ0 j@%; 5nRpvOmXM3 dz[z+=Ų rou͵wfnt>mM%)+t /KiᘰNwwt oUm !r+L@R8Df#E/~%S-Q1{㱱Q>$t5,R4(B['s_r]4 =5vSV!I m^)i5=3-NzR&,¶ -%i^Sd|שtQ^bWl~":IҵY$k ASt=ӵNǦq9i%7>^iH 1g\֬Qg[nH_0b4ʸ xAc}'/l|Nlaf"|K@x{}=Q_JY^::֠Өґ82b4Py9n݀b`x(ۍq&A3Q;K8G#ʷs4\Pj,Ǧg[N!/,g;쨍1ixh4Xx5ob:qJ\^)ccVy{K*jK Mg/qxfvyUbɱ:Ήme# #CJtJ/1Z~oFNÓIiȄ^.Wߘ)cr+/Wiϓ`4yA02kCU"pɎP>WbYzbf}k.Q $(ZùdzZǟC}F90q࿡k@]ৈ0ךUpyxG($8zʤ( !T)A ɧ2\ G?YTE!.>.+EsH7{\>8o*tЦb=H)΁4o1̎/E8A]偙_0,+cda)Ng7ҔvRrWZh#'cQMЪWj0N-nlr'_0 Fm"&R<1X~Yx]A<-/nzieZ.aDpIAu(W5Um1!+{$'I= J"\Emdtg#6..&cy1͠@!;+-I-n)b7nN4{Qeջ.07he{Hђ݁9!N}bNZ牋|d?{SB$-sp5첲-zR5LbTJ- H.` vc[ע0 ,+;,{<5މ̓ۖ]A R×ly1 phx2)q³T2(8x@=A–*x.]. ϼK/ڐLr;weE>D#QHʥGۅnXވr"+Ӣ6 蓼(#-X9{W{>2/;,74G=Ȥ%sǷԭLŽp.!XqR!\Lgv-]#vF GߠMG!GV1 ??zm_,84\qOM:%]*ȯCBRO6Zh MN>0)+%2hY9ޥ3mT5;Js*:̮C~63#R mFdEJM'UP<䘩 fW5@Fw/pWWTv%~H;1x)",ѪA\w 俧Z!ő=zL|V& 1јuidEs~S >VzĬ |܀~WL .⃃OHWƝxo-._9n1](Wђ<^'fOd &6fƫí"uyo PAgJC# Ȅ\8qقκ)Y*MTwr$Ha㵐ZTj2C`R} :1BuUk=0$>ku|'GA PW3h/2݄Z 6֍.;LgiX8$Ω1Q wnaC#_}VQ}#uu$nرA`Mmܧ ȼ6 nEX)n@J3;{E^z6mVD=47:XöO] tG=1>#E6`:s' y]Mq2¼LmlPuy2482!7,MH&r$+mn$9 %0OeP %;fm|=}l?wg| -)~JDEP &/_L(k *l-[@Pv#TjjttyP@2ޑ{Fgҧ$ɋ|@GN?JOmnΚzEh#mt-Hc?jNÎ` 斮 a}[Hs_]N2!bم>L4A/i˟9)sOe3rmX0dV=6$W̅1$d=ԠTU}xAF2P60$i=&wËzҠH̠NgFXP;P쌸.m w$G0 Fa㞷)lj}kA@Jl%}]JE5dʁoۼ Ghi֬{50Y( oNGr)?L9#yx7w* "x92 $lả͔Y._14>K~kjмq~n,eqUj=ҾId 9ѡ1Z5ʯ{KGilFQ?#zESGk≠ZkB3+tgYZ  3$\ 1;!PHOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/files~~/src/HOL/Metis_Examples/Sets.thyC1;-HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/document_id526i1I' THOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/messages7zXZִF! (d]D?7 {?:fH\xT'`Н@۞_IcP]"HAZ:D#E-,j7L>0]oץo:[Ϲw崪B>L>qָIZq@h"ӌh,GDy&T66 }SB2;dNnE9D«QՈiJhczxrBۘ'[|xJkEuHM+vᑺ*$յI=_eQQ! VT3eetZWI(QQG:-G3 \uenATlŹo$΅*ݎ`YccKRmwI?"_7XnkLxIYDDL=m)#Gn WG#"-P^?(&%{(B]u:@C /exMi$H`3f SoMzz;.xknъT]s@\|!Wk2nxYQ}O{h4mg8(b35k+آ=+$z:c4{@ClM7APxWYMs?ޞ[wэMoJEop8qI>3rGS![Wws.2VX䥐cQ5Kߦkпnq!Y,*`SQ¦,gYZ 1I# ,HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/markup7zXZִF! &!] !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ᮇa$} >uj0.Y %WS}zdUJqYFX@1 P|4KZ6S,:  gy96mY[jq$Hrô8a Hv9CwŔވEW qUڌт-F6&_YD/l^F.lљKa{O*lD &fGZL|8ҧ}ܑWq9X]9A=c%}45YߴX+Y˶E$JVӊwh@p / J<,l-ګeYZ\|άԅDzzq 2u[8V$[5K.—(IK?D~i(g4l 8^.‚(GE 8;ӳ=$mjLCkFylh,ObRha>5=\oWjE{j1^EҾ7,u~:&F=s{tid_p&tPrHmYZC<ڡR (j$:X )keo?j1>I64;]s='UgQRGA{-:CDiw=qMW"]IT+˃zox{ߗBܳ{JѣDT׆']_s1)'?{hdNrq{):g{DАUW zqFL*P,.ޓt3y7҂!D55I`{tkhaT9OF ԕmJ1tuFtΈ.ʉC)y/&$2# ݂!plT{M{Ƕx!e(SZQi E[4*5xV9~R>)C*Xf/Vl.k,- o]]/uNWV%٦c5cXN>S)6&r.;BM-#-؆ɰSˇ乲yD:+WS<9cmTliͨ;W)'Xo;馮 JBtIӗwE7k, WSɽRxi3"25bOXE:|O炊TMsXq#i(/ZYhZm!K7XIo+յ?z#ofK$CdM+6h>5rS5*w| z@A?Ġ^>uGc{e(T)hchaJ~sC̳~XA|5?=KɨkcmmRU 8   cI.LvoS/hڛў{:9oWP͎F\IYK:ѤֈE_+0 Т@*#W SFdihovWP˜l7zTm_,58otUCد Ba&(y({ZT0#mLyq?%j@?O7 1KׄNC'+gupJCo0c dgEzԋHKN%2N@(VLkfؒ3P!3"٥RW%jxt(;叐p*|6i x`<[^rx' ' Q>l ɷF)p=H:z,C말>gc<}1LF|o wڢ Q0Py\f&?iN%s3iZ)Qi]l=vLhMvNjP#~W=ٱcdL?ҷS /MUHL/ r+bvy]S+=adAښ\f"ۥ 6*D<=q<07,Jshش\8CcOm~2sÅ#.8~IPr%V#cPŕ[G[k=7`4Tm (ʹ^D I`GB7Nr0 DW|PO^#P+O>T7X[9KC\ l* ^퐁I1w(xx)̹<i9sî4F[~"MHVD ' rZSӎN8\{+Q4Lz¹' O_tmJ,rC;^BMS\gknQ%e8ɽ0amgh\b "b!@grQADog[j fuoIJ.!5itNV}oTT dȬ'E65{ R.겫 OI&qjTz?aO4XT a?ڧ򛂨=̃+w4pGwrK^h:j"W7."߁]!*&43Zj_вR4K$s3.6B|%-ۏiD_4ӝnLoIW$o/eCZjz*A/2)bݹٺLI !B&2pKr1)9` ZSнoZ4֌\Z2.R?zhb%7>Ȗ %I`κG|d2%M&@F&<]$SQ^d[ dAOuw-J0+{8Y-F_g8%5`YqBڰ>=}4Y9:K3'yr{/Y{w !lܴjS:LҤzv`3R:Q lߜޥ>uS|GTrxT[ba5_7ΰe8s8ʞ$ib|7ٴyR7)?*5'a "+^V6QUG'*B 8K|p ,ZIfs|FQWam]-CO9PL amӽy{Hhxƻj$)j#vt}xRB" _E'wfj)c|lRIp9FEҨv Ef/anb3 =V`(dB?1bED=U՟T[zEcŒ<ߞ&abq;e7W璐ud?=U->}?VZ9rBzF<,#:(T(Pϲ 7ry֟%'F0tLquzq#4QÄXفa ]YPM `h' ^B\ꂅTsH_%-u䝪iRwn&ɛ&fuSn=넙#uWrX*]Ċ$vD,!9y*,;rԗ{=a?eZAPKU7fn;`*1ӻ;fFi+s+d^uX (/;ck}-1`RgL%[*N$͕Urtr=q=lTͮN]fŰ? a`35=$1wԵFPPm - qPch=R|8tlj:dDqX`z< τ"G[jބn@z#iN"2^yn"qV2+2G*z67琓L82E!}=؂*hI @xo#Ȁ;?tRal^w+`lwHzք܍]y/R:4?!?{п7j0?N^$eb䥒WAiDB쭘3ٲ8 G?ݰAVx4H>lh{ SH;p'*jۡaF ͛r>MK\P[$O 'xމ۔-_+Җ@jQ#/^"r,zHuۻm# +piqygj }UKp-UD?>΀"NvZ ?_/m؏ndQD$0@ Fb5o=C~F`fzSO\(c,:ŖlԣeV6% >,v _ZW9S(zvPhOxT*Mn!dX=g vOȿa?p}ET P(ybA+/pnavWyPpAy(&_ V?zNitG-˗ 9Gzr7R"s yK*PjIZ/-jDό} +lPuS~ͻF%3^ (nϕ?jWl}[r^RF,4=K~Gͮv‰"ZE#nM&z౫*i#W*=p3;k;]̰>B%_sB|X"d/w __XCIKc%Կkn'Ks j!d/r9A*VJbZxc%Q/\q/)#;IcKZB\ baUkԶg;hFyU$T)V{mT#MzjqGmS:9 &[s\ɕz_w0qh >Dm/?m>l! >}|u^z"=YwJo"- R{R$H+{Ŗf?},.K@&8Q6EߐB\P?Zt{|OEH7I 3E^9R$ hhp6[:f<k[ PfW [{F郻n"}FRL+]74SÑ=fT|.|Hpgҭ$v5Q>˹ ӦF.^DηDd~`O&2hq|wm.CBvM·i`EQ]Iˡ}8^^N yZ)B˿a IxV=)X"#)3;4 K$UH?+G)4?HOӞl9NbOeQY0" YQ` k,VRb[TJxp)SZUz֧2-Pm+w&mph0h_/Iz mqM%7 ME87gtԜżJVB0WoܜѱU֩A4Yqg>])v3]eMk+J?v9Dž *q-JBhVՁ׻?DHKpT@굔`-oQPLzAW >l505$tk-rbww ӑ.>qΦVgʒ̤0r5ŭӈhGMόq^vxS$CIkW<< [#!˶ǨwAE3P˛Ⱦ <8 a|h͋x#TJw&O{{` ٰK*`fnҹbzjZ˲Q>GQLNcWCO{y7)LJL>q , hTy"9P-gdV0byb4l8ewߥJO- Z}dF&^u ^iGp n_n%MN&XKR,9 N5_t]3Z®0 =Qr8G~1Mg8s`OJz@YB}쒄C>\z+Y>G)YE{A@{(?w|aDNc]#_)s;I^=/]JWXz!ɑrjN 9@Ŏ4:V5KHB=AuM!xz;ME&#n#Qyep-L? |ylJA[uF|1\ޕ n䍳-,(s)QLgis59Dd 8lIP𗚑l,P 98SeL=R?Om̤z'Q |Wqʍl㡉f܍ncdLqpgjy)4*V߾/ gP]`: &a:8{^ǯg:{,uN=p-6aaY͐19pP$UQ}ZC5m gYZ?'-Cٍ9U^Aos; ΰ5WVODmTZ,UJx}bT<]Cҕ.0(+0rE+!w [2+ɬшU܃'OT{D%ЙFs V6X[lL;&EHDB ,*tOhj BcI'q9ϙP\.Ooތ\I_;#5VK%g=jYbzj T*Bz>tڢ^t'v=>;~fTyČa!enH ,Hce Rn^ux"XډF\i[ ."Z[ mSNbS+\/X%|;Q⽱%w p9?G ،K7Z>Iguz^^NJ3 WE)T杖%b'5',j 0q -3w+N-/=юyA߳ICQdH/9!&+K?׬2 K'Z@Lލ_Fk):\ &=8VZ!Wȝ7O0;T+3x$8-6QL8Ihf{4v14?s?%œn7Ljzu0%6zh[OHNJ0p No|EMV,Jb,=bwڰiy蛀 WM7|82loX=P!4SV|lV3mdNXa+<"pe7BpSJ?ǜK}cu_*Fj<] a[nV\#Ϗv)fMڢ0) ,AtC'D4fIÿ$ʑ@gNӻL pA[f8ŝ'GtK >3">ǧCv:؟0˛ߓi9Vɐ6Lv1qHI3BϟR蠅|0n1ZXI|ңj&PsyK?T&j6BKƛ'P|xYBΚFNNsB^T֑YE1ay,Eؤ5=_%gJVXL hBkהjrz[I@%ݮ )vk|08G5nRc.̽3qWi,spǏiV9GT.E HUF0`!JMݚ\ТE*n{@ hej)U,h>&C5Q㴠+&1oWJ4Zw{Vy?cra9eSzv:ac X@s5,LyM'" oH,4՚0(”oRjʉwR47<wKLC"Q&IzOQnD v9f&k gװ]& gTQg.rvi~^6\jr<.'zګ/84g("= }i\yn-6&w2cY^y܌_\O( M ,h6mJptA/Sy$߳6c,e-@cwr4OpCCY[ѵ ˡZَA-RSkz]8?9ެn/2)W-v,R)pgɔ -)y#.| JCSdtXԞ<2QڝU3\FOqJNxZr䅍1E.N}5m}g?ۂalv)]I&tGo.Nj ”92CQOTɄbֆ4>i.)Vlޑŵ pgpojTTssb.BEIz7P?/ܲs3R01R\!/\c! ZP@B?^KeH`SU뾏:M5+y:JT$l"œ9` %d>Y߬n2K?e J_ym_Wv*c  $ 눦6yX)#I ݁M3费MiIE+IY"/eH&q{?;TL,@q\9y˶FVAN~F,%_ωf9 §AF>C3U/t3aQ&# Eu`u,ɦ_kF"{,}{/$>99MlrlF3xF78dUz >'gɠ}L-r_$#v!ZD 4,@_̫Evu N1&DzrdtKbHmklșw+], pYnHz#y6WN5-~4v\I tn[v*c~3:FEIX{!95[VE=`~ xwgYbȡǙ^sU=ƓuɊ.)] "MOKQr0Sb,)hW yoyۢLXvD$h%4dI9#4I@ْ8&^sǷɆc7&JfՎ-ʗ,ռ]s[̎뛠R^ufрt8 {TЇ0&!Cnwba1K3\3P.D&$fC`Z5zK>RZ#d^eԒǯ̅lrj;5rSCC!ыx-[ɹ>[~,L}˽lLp-FvxPH6vX# W,|?> d$M邳N۠JǑr.!G%HΉ+$WmI9r[M%#OnHQv/qK𶏥7IX>`Nj2Bnۛl1_}D|T7O:3ճ5 0L.4čY{0l8>?r͎tu^"I`6nPKQ-Q11~W(N!ţjH)e$ N.oNyd%wӉJ>VbQxĘ牠c٬g 0R)6jٍ>Z eҩY56;_H 4 ՜MidGfSxiy̻-S# $zI t~̗¢}Gjҳ Z;,sD V po:[-=\/YoEjpjcmT5)`oַc\E шr4I%Ԟ(j%(+uS!}iedVd"7ixUTSB&n]$% /Q!/'h&Y?"=ǦX\[ SoT(lT jّ,7]yjBdYoA4QSKr(%.YdC(=:JpZonP dH-K Cy _FN`>y4y)"!_c)({HX2 Oϩvc6f7kgf鮌 6>=E'Jt+[ܢ1}`A6T}@ dj`3{Et}V NDV!v*0I'`+`轺ɰ _SNO!a$̔\>4djJ=l?uKȑ#Q2ӚQWYj.@#$Mɑϣ"8Rʹ E1>a%ߪ+K'0Sn4n(8w+jY^R~ざ̤{ᆇw͌X IwL_ aCߺ"m_( GOnNNh,_L qYiֆjڸB?Ůdr5六۔DϴniB1suzT=8`) ю~PSR{7 ;3j#5F i~ܙzڲy^* DNʜR^CQaI}ǭMW*UJdK xX;'J8hϿ+,Í7 *1 2: T=&+ Vp0Cް_uo[5n%';^ZqhnITpm)چNJH"XR3|QW/.EtuM8BLlfD \2F{n%J*/eERhQ {h5CQL;3պ:'zLI9Ejrwet&9R* Hd=YPS/ںy 4rY:dG)^{v[zk9xݕs\R;)DݭW`aH bdeé hx{rpf;Vpʼni-gU I%tx$J?VXtvGqR!ztLfy qj_#1DZHb^6VYĦjJ`+ ܠ_[F^wroW8ժOy0H0:3sGYjdO5_mi${ې aW=b韄'c*:q]5^^$yĐJ :BCۏ N R#0CFsuݙ$`͜f_ET\?J_׿@SqP| cYWF/@pxQM֩3?*uQIDGh3^e$-t?]܉R7Kj ۍZoZh2T'ho ljQ߀Wq"m mROw~P7*Z_zO#MޛUיaFT搐iUt# VߛPW XWFo\s=eUcp'`5'H| 1Y)0'5vC}šeIi3?W[3+gNFa >>z,ẂvJ,g/Ybggح1a;l yLgqcQ{ w&sRڑϱ4Z&j`f&x5vO4P̍٩B,{i- pU4;qʲ 0Ui]/؈I<510d d ֖u}Pl(?pIc(sm1˔̲'4QdL7Aa)|_3;,=ژ*V`?>rV.Q}<9)w+Ƽ PgLȯ6$ZÎq%˟*ͅVZy;SۏFWy9̢''e(Z $_{?)m0Fj=Yk_MB< nVQu8X/2XXjF'dgYZ  An$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[:|&[zg40MxX g4tյVK_/m)*%EfۇO|^3>c# B>@ qS\-qJ03)d@Y!zf,ĤQ^Pa!v4.BI6k'zJ5rr3%8THQ㗷15yhp`XKk2eAµ0~ɫzwHl ]eS?~`bneUhC*>=^ۮ v EEB>BʌēUhu ꦄL'Mwfg0nl A,]g ӯn6'pKK";ގKrN-R̰-ַD*aJ9V DB¾h|E$L`!6sz3d'@c ]\"%;V'ĕ=i2WEٹRY9Qg5*/ñSnW܀TʻЗf,x'_gYZQ! 1;# 4HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! l#T] !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ɚ,<]TUvQwjpa*_ FjzEw.SA\k@HNWAa)N|KԹ12dp;+7 E!o1I[#q4'C]Q6ʛ5Q0r0#ym hy(k;Q9IqHIVϒ+"GS5L.er_mo3ȁ%Db'ws/}&# r LAJGG /% ׏x;g%32;LN8havbkFqivbp)I )ʒl":EƎLLr C gb0;+> DDj'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! y] !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_9fLoN"<ܝj9X oh]KxpyɄڬhmJJkڒT齻˷v<7ZHb}Wm̞{Z3~كf ܼZez!X[*}3ɨ&MfD7+ ,ԛM%<\EGwH8WDA뒑1rZݲDwǰV]ꮼ &rw}feݚ'n1q*0۴^ wLyړdp*5DQ HW5j63(9Bb 3#;N) CgDܹrNvo.baR>5ή%ۆAg䶒sg; a#=°)Hڦk,[('+[ɒhME3tAD*ܙ.Sq Dos-_·SCH "\"-|؇eWS _)-2TaE+H2cwf_ædUWoVY(fF6ϯV-))ސ|* t=`ÇfffN,n1ʴɁ<o`a4@b߄?Zkx {=k=_'p_{+^-Qx^U]дx,7?j M'jMgssbpŢ^aFq2%&ls#'Vp:}1聁3C`.`pĦvvݍݿ2T%qtb:{i󊤑on+Id*wU%'Ӓ(Y6D`-~񧗳):ѝDHv׷޿Cq &e#?pϐi|8mH(o!C([Z񥜅_6\Am?n_$ɟbZNd  : BlN2bC"O0&yaf}J=Rf-: yc&>ڟ0f?瑥M p umV&k,q7)DNk{]y=!\M̻384Xb7E F<nѝlbMBn=|艁c<u.FfgՆOsz7&\Է 737nh°M*I  z+@Bcg<@7NJ`d6KsZ?*:pL7I&q9l@ᜐMt:BCdJ$nݹhd!Mh#dړ/jBl# kDV[nS# Kiɑ叻{t9'2͂wjѢI';u3OlUveґ}nRv͖rr2tne4^F\Ovb`>ppjњ3C cdrB4̡K}h|\8U9izNRlY52 ȾKg2qL2ZYM*xBgYZO@55]n-~Wnx;+%C"CcҝXvKS]Z#Far0~gg@Ԑ ; sXt|qӴ'u` [*Wx9bϰs;9fdSRy #{`9Ԙa{Tcj;NO┻O[h' I;FS.:PtVAI k|nkM/?"bb5~ӻZ@Ƈ`R/7] bT-qKFd2*!:zrC'`N`xS-TZ 9~MfL8g4+}TZ$7@tL`&M#4Tg/KJϪ1e_9/ XBkkqd>,,tl [2K(vR$h(;G*pt 9ߖWlmg:+TMڍ>./o,"ɛٿj7fb7R8c5Ϩ nxmzRز=wgkN¦לL'=S&ʗIJj%n%w3(K }D GXOURzqw7 yrg(e2~d!Lm$F#xnRaBis~gGok|ߚ4(I;20;3yhhTl$Xc HAMSV3xQIaFQ@4oWfmE.ߕ#'$c5]W/O1dL=btuoQ Y]i1G=bP@ GiW1&VYWϲ@dGB1d@:pH>C`ۭ`䣍uݑ?}rlЏbʛ;w~<',S}j$PemcabG֩C N!W_!>5O1tjy9 E]FW# k57ǝLLYlYOlPc]RX(s'ݣC!4@m^"BBt7Hɞn%U@?f&]e0l!Cָllc\R!'R)ӑpSʡ< @R~/fwauY$ .>Ű%C!QY,i{yt0xQ?A}7xq=Exydj\2N؃A@`t8k\YdqީOC7H4$pJ<LEnS|֞ċͦ)3!͡^]3ȑb pvY[ʒZ@Uh>&;,cvв.wl n?@C4t)S4hq=;9? Z-D!j9|OO|>y7gS r/VҪ2_g?\12x6$jIoc?nĜ-6 NߗÛ[%O툯ނE?s4/S,!iJ} tafb u[~ߞ>* 19xʋ):CɎC0S$u[>ȱ+$͛W/>bAJf8 6|A>+LJȻ.)0Ě}LXQyK?^Slݓ=l ͬY q`+~&BSg OTϵ**Hkp$j0WEׇ֥|؝5]F2ݦ0f)w#XWaߤ&ÆV'ŜmOIYFv 2KMaW;I ޢ~lu 5BG,oFS@88_d`D;Jf1T9Mm}vdY)|fRQfe\m4L&`*ņl=|r[D`yV(^v5!)veDРzl6wSPuآR 6C##h-{B'8k#ORAȨ tUܻ!bҴCqZUZC,-rtNû[cŊ NRxMn'~؏4 FfNQCB(j!=em2 %"A7>qp5 j;ߖ:J?S\"zIl.7 nfui֗Sa|FܛV+G!% լtp42en-n]sIP'& UoJ|w$-v4@{6AnZvRYeP?6\\h4V6ҝL-6(dtO#%fU%]> 1FD\`IڂSUA+DfhL>giC*]%r.}u^ꘒHX,bҜ@f@^t5nNV=Q&ĚSv;o|`L$Xn[HSt{w HW  q\k/&UoXdt[ mk!an"m'$/Oڧr41QF݉NYw|nhu%\Uhu?":Nj SvКf-٢{^ 'Q{zm)jy~OY$k'i "Q0;WɜO挃bH،M2dl/`$avJ]Gah~fus1s_|*XOb*1oM UzNov\dB1ƍeR!D nc`:h[铽L#,~eM쌔Gޅ*E2\^='S<¬lۭ<&:؂ŷ}! a=4L}jm47w5: gnE3*ߨkeij_ pYLw^Ҵ%G׻ժ)vn-17ct$xE oKKdWm4cQeg`d\Օ%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'@=/^$ y$т+7Zb&EаB8řwaJhưtG#3uYa$afkcN6Z.1 }㳺`bZXLTeC(y%J`$63eQX&hHr y?)'ܴ4ʚ]*/n [iv_`~5NEzkX4(gry$@QkuD 4g#J AWM9kz= v zA cȃ! }!Fʤ{^ <;.)3lZDva~YhY!Z4BR͢Q /ͨM\-^P`5\smJOK61ifԬ|הVR֯Pr{۠d{T玁hSb@gez-o ?j`/Zv~$WBaɣ&AM^@#<1wɦ~vs2l [;RA`ϺJKScdPj qi7Owd|Fu>zԋxB `piϬ(P>HJ} d$̊e("ߖrMXT+x!NVޛ f4OUh/"Q5+[0Swʍ>ܜxX^ d;_R`OBzd7|Jfp]>Qj_mE.J?Z{9?& F.βZPć&]s]vVߖwuU\U~#CoOGyG@nWi_?J "%#dShO3RΑIusVE(+6b@mft4ȣ9;jDz6zg)xZuO6b>a5ɥ6׺!v  nϙu'2?v.]9l\r0^>05΁z{Tr2$qi:T"J`pz(u歚WtwUS"~ɬ7Xm aU @7FQ0|}?.ۮݍlײ[y7 D"#ّ;UMխ`U $7N[߼A .8 = xGZH l %p1^k&kKKhi1FKj[CpDžQ!9_QiiqxX w(oe?r` p(ڱ%v vs/uíqGSOZQc\>2UO}.lBEH>ĪL%k< 9JՅtcmKf) Q(%- hJ5kQ]1,2{R&CY.пQ 漭jjQK*W0F״jkjfi24up^䩯<,ҔÌ F _zWya!y)bYij? eLz'4/3s:r9%shÓ|0<p{&L e|.q+j(?S9YNb>WߢX`~5%vەZCSgb0:*v] }kCD`s`F-JsMzb7SrȻmλX=n7 k,x^=ԊGŒ )W#g!V>S8DHJx<9VdM/t]H8Xeyicx,11EСYς@>1\."b`"b')]nc YVIHmqr'{6n%4n5CȡIXypډR62%Z/j2|½HߌIkPmk<_X5aXk9WgXymh,KRw#l(L2ڲE @Ra2vy9|CY졟2N?ŘP}5t8M\M?TMmZRϹ#_I? Nj4Ho [o5&{Rn6> Fs-89w#>p~&OEw ./N=sF7cxjҽLlY*tϗ=*g mYI?6&{-q- ,)\>kv v l FFU-m6K_9wֈ @wHvEBUUXH; Ҩr/D ۺkqbJ.?u-XE7qC\&ɋ nFnAH[aPӳtx"j^@6d?}CJ*sWƝ~sV [O6H)t*ǝ5,hUI*=b;6^⻞,(S'uFU`bb!Qog^,>Jz^ڪXS1)2b6a>3KG.wqJ{ƺnp,X-^``v譹^ju*Y>>5@hZ݅ .4,0, '{QVx=bJ,Ɗ;m?qkԚ=.;ЊΕaݞ]y8uXΒK=Q!vf{EUz~+b[Λy o,/AV_M&WHcl4yEb#)+2vQ2$9DyǶH3bfc͐$zͣ"D.Oݞ43|Qexl3s4{۪.~{ 6FYo"BCR~~F5qh,9waU**x.()ޠ{4\8K%j f6cYfG.T#k7%HX.q?Gߙύ.s':eE!nW*\%FG$kU%+,1h4#pBX7AvJigѹ L##94h 4lˢfwG)&/^>(z}<,D Hþ}_y@U21n.~S[Z} !rc #diR>jǀl" h%L Cy<mo9G'!-h,XQ7 -RN=#YLtDy{hҀ4Ipm6JWUviGB հO.!4igCG{Na9BT,6i4uҘrWdc}zOn'ݎۈS*N,Rq_uSIإT!Y FGF fϳҖT㮌W.8O>z:f_*kK30t3+1C`h H:ksl7K):E답d}t0N660^{Ěs\χֽn%e"ixBTi4|&I_Ĵġ W tu5|wc|cIZDҦt⁐1BpB}# a)Ϸ#S^mC> /xzq7(ދ.9#nd(CDggUw3D:d(!_)a!vQrsmuSfI׉lxLb jV)ƞ $Z4[@.pHu9D+8Xq?ꋒӍ!rhz&qAbښ`Xf~s9Wn&$GÃ+F^9 t!^:R] 4(ۣJ8ߜxl5fq hr}2C('߀+E,?{nUur_zEErr_)rdoxm6l,01}0MH\1HMvھ3&)u~}Qsڵ}UhlȧW#\'zo(:dj0,?!xF\:GSuHr*3%5Tܝ8CsΛ2txuVw(4/]*?a1وX,[ަSL6PGQuy7nS0+uT`Zo> 1{.Eg,D^Nk d˘`ƾ;(u Ur4),VVˍV7fkHEe" Ʋ ]BZ' AAy9Grz!h7ZSP8r^Ғ:{811pLB%JR>ޕ%=-ebU2/ؕ ~FK neFmvcT2~ZvhUum8uk`0vᵹytL#4z(I1>r H;pݝ2Sxugh㻒Og56%͙@ˋ"b|-f7lv׭p1햱. \x5%Ģ/yH6Ȳ>Ή, ({lEIyj FMs/U\>Ds݃Aބ@!UTHO#wk53/EmU/oXF`iw>?"=p(6>iّ+Y |;FeZ~T5;Z!P`6GӄD~}5gr!ٮsQ ,)HD94URkO&dĶ`JniPPB1!Wg'?饻q?̆|jf䎛ׇpO EHLdfET&)*1+yp,λ,-e6W$-G█~HhoZ\sEi7/ߕvTc,VWp|]eLqDSZ$O},w90mmeXˏCBHVV%?}F+ɼu5*Z ^ֳr&g(p"6[~5CNO.qAE[eȿ͙Z)>ioRxDt#kq*afQcnH8S͇963cî=> 7BeS_ TKT/g sZcG8[a92^)cw4`_p)*5wg?_`)adR8;`47hfK%~BzF;ɒ*yfͪme ޔ@Gd]K$voq9؎zH.?ft%=!.= zk2Lzteugk*njhАE CowLo^ŒY  ze[8} 4{0+7,JDgh'˪3@>,ʼndTcX{})>'z~۔O'hd#n|L5đ u~T܄ ~!J/_f[Y]j"VK6dPJB{(L餂t=HS\o-x+z G;2:{+TnRM@!SW%$Ym-9CJ=''bh*V1c1t_w~I{/89N^Pv b5tO13gڱ6<>A1]JT?*5< + `E`1n6Y e3Eab^l@1cE?ۜ;!4>B,;J%_der?yȓ;ų$ Nח"a/H/n_-/!4:'lc7zv87X- t hU%y"CjP׼8,e{*KE]s Ͻ+S]L=!R IqNTb sGf)#֓0mrL <<ԼҘKi`V{ETw-O _9@yFǡc{*6qo41 2o %&^ vNڐ ͨjdަN2-*׍$Ae ȐNxȾm PqP`ؙy1+=#U/MNw8%]ͅBseQS[/5k2NSzVњ.`P  gI:Q$#n;3yqg6BS9a9aDw]r@زp1u|iǾtǛ0W\~p->: Q=䥬!ձY994H“u]?+VPPݦ|-հMt#,8qU-CVK|~OÖ"q+},w 3#ajlmKO?P7ߕ%.%0 la"*RCP?v8) *@Eܼ.SEHFϲU>"46GHEF/C\Z6@\?:Էs\o)5TCg $j2.7,Yt}&ӾFGQxOcIURG rG ֚S+%Bbe1NWV>ӏޢ$ޑcC~I[0#҃5 HpHvW(CK[>,ix'<,cBA^Uyp{SWoY(mnmd|xaX=\fO:(g-G沾 R:VLXDw)ɢc'#AW¨ߔ0\be,$.y%,#?SAG$jax DL᫏N/߳ɾ _ r.N(`,;t#&DŽVL".g&7ۻI7Q6݃AG0 < eC_˦hMX&%0Z RpOЩ0&>OeL)yjZ-X=ͷ+Fʜ/&{6o&B;nŴ Uy=o#mFsV>ο5hb%/vZJsե&nUQ[W_%`YLgZYx `܍Be*= BNH4p}ݵT%$4z}VJJ-vvQG.[?-$Cg,FB)lD!:]7(ڋK0H@lŎ DP˿n?)m`][Xh!dEv9?֜_{S?AȰ6 7*mRbwL>I瘝 B94MK'q.-./O1@U-W;?'? YcB? dAz!]pL\~D%b01Z@-A{QRŘm!Ь\!QK#syz@Hs,Ъ$k^iz;:t,l8<އbM ^$X;6 yƘOwޣ*E NL%.U ~8 Jŧ"ѐ T<3o3MҫfDцghc CvbsoZ)Oe%uecz;O&K,J;ƅTд?tqĻ87#^N!@B Q h'yn[}oDSe5#DĒS܏A9XTx }c⣒gֻS0unI>tfG*龛i$ ~oF@'~Ep&p2E̜n4V|XN&ϦM[9y5zPi'B&Wod2/t !r:MMXt?/1Zh(ι3 GI$hN-6GG2[*@aph:Dف;c1|ź1%)R=@-E b1mvT#(> ̨i{hIʓuo 4EuF@cuwP8 Dr)iJiN!NQ$Ja)0uVB65$jLTHߒށ?nChdlpMʹ~xǷ%y{R_Ef{ᥲ?9Ф3w1bg\.TKBfFVB-lZd *5fDXv>qAq `DH i%V/ЕlẶ﨑p KI6ΥMh` G|X{Z8n9݈ V ׮ve+[o_ c2F;`]9NR6—˪ @CҵQկuD~xHE$H'clbp!{ XGa+Cw^9t zb+L6сV]?*2aTOpM9V'SAPX=.< GP&SDJeJM ݑnƶ|D'sa뷡Al^IM#u%F, \}X.Z~1'z cC{疆Qv/ Y1aC7WfJQFȋ(/8 vPs\jc!Achle{ʔ9/3HcQ4wfuɞ0ψ0LNĞ{Sk7 0:u G3b~l2z%˔r$Y"ﳩinŔ8˪F[{:HW -*Niip,'c?;y Ip9w0f'q0 th#\f>-$yW bmѫI{Lh< SܾJ"uܵѤF|! t:0{(ə~6NNQ:m3̧0@PkR6L;nRyЪƅi3wr'vS|S jp@0[*y|wAa<#·]3H-Vi ԉ}=btѮ?5ݒ`fEDH+ ^[sA?C:jV2srM!hgw%aC͹QPFklB(Y%Ҩk^&!9L5Vxe@\"6Xpl- +xL<9C' t\jB}Ͷ^_nϞT~ܤyN>\FcJrDž#i;y!2'΍s>N+1J]꯲n-+`49;l/뗮1_w@2vcuSp_@-m8$lGs*٦}hB_"e=6 _Nx1!%Uɸغ^_xjsN'{޻0eJPR 7XSB3Y=q")60,"mAga7{z*vP:6b#/uʝfm tA!oV!{lezNDQ (SjbDd5,U@4$YCbeH7I!];9M/G/s VKNPOe/AF O6٥qRO+5N鲞acEL}N?{*8m <'o0n˃Cpnc AS@?b~v]&rSb*؆br[Kp$ mtmq8](Hz+If&E҈N?=%Gŝݖq#6+jC!~'NWh){+vh"qF4lHc_/$Pm^tZq\9+" s]aIMėH[?*F$|ie/\ʕO?$ye!!R\ot@oEXꋖ_Rv׮7P/i/;)|:㋕0٨:,{ 4Cp0&PiCl醪_툴yWr;BԲ(`kq[Eop#5K(9)(xUV8N!U6ݣMwJ ċ <'{Պn$v,#?s"69ґҠg톝!,~:$ύI}_ $$ vGcڐlx9u?Q|8JX|y(47#5#2vRuxuj8Юߗ(uMnɯR99LgC? D:?Y'ZKl=6mm-U7Wv{~LZ áld:blGyB<gAT4nICx|;{}! j6G5LhJ' qбnlU/XU ;@k.ʞ2,˴Y>G vqdH  ?ץ_HlخCS FzBS聖 vNi!#yD{~ Ufxi*~(K 긘 :oeCt-QLw>6#Dt>IR0mkF 5>{A0RpY}soE?iv>{ o(2ضd,geh vt"\ ~ꡖrXV:w]QҨ{?[0lMK:c)[m?ՓxSB󢔁s+d0"+1ʴ!mH.,ժOH('=b;nҋ!3@Ҫr=sD!.rŀkN_G*F!:h7r=7 `of&d sU 08|G[sj50ȽP_ͦåʈs7wH/66gL<7 :d._2PO,יZhά8c.%%=3~]2^Atޮ Y1 os _6(PHai~>M Dѻb ǃt}m^Sl-' q ~8 ؒrX?Wh=`}5+ '^T@`{̊qej눐ȌYlNxPtAM~g}!)%=DcB榊3PUB\/5ˮ(sJ.MPdVV5v"_ouv0\(ܑSϐEWDam(td']>O~<3b%u8x!'*eba6R_؆%YnDX'vDdQGe0ZpCk7FKf#ӛ:rFÜ; Ѿy1c61ҹub71lw,2=W=hU߹pvvȵ3Z}*K)@Z$G͏^b5g=Ut6ꏝ}tx3,v [qQV]" \l z9yr7_T94ḿsfɛf"b?7 =u \К=P )Z򴾯ϖ7Tj&LjU9f @TL, ~/ ߤ³υ>z&-DR)Rf:s\E}w;o:UT ,\x<m bn_DG3V>1{\E( -k}rŨ (HQID&8kшQ[.q: O%TeuZa?bʽVI/_K~h@/(76y;J10~0^^a@ŲXwKP].]!yNzn,59D]v6;-M桒E$IjX?Һ@$QyA'WO]œ![b`};^d]V%4sN4/~ʧŦtC3OOK r"LgeY} cm/cf J 6mVnD3R=sT;eg!i:[UT}vALdBQjP'bɰ4Zx);!B2'H! F&`?236U`1Ĝr9N}¬EɹT|ƚA5xJFЯjЬ&:B%.Ycc^oCәty^iLmI(yqu-e`/O2zn+w!1-lt:Oung}W""Xgc-M#"O/ͤ` LBAHՅMčd<eō Myv #YUFNgp^=GhJ[Hם~hW?YdxtS[KP}+{e^6L :Q #r P9V#0pL]r\ By`f~5PেrԽh#w8I;d&T W;`C'򕎒Xo=[r? TijZݮFcxDs' m- 8 fǁ5aU70D;k#~Zyzp::kw4X:b$BO-ͫ g%'3euUP@]ޥUo;W&^I]mm9 IKz>w|>7UOG d ,Ə)gtX}v.AMH-jDdccض MkoOh~\[m.a5#PI]6}k_Z-D ZRk7U&Tл6ܾ&QzX&F7Do>Vd>j}m JmX0H@$1y+4 #ÀZC|#j h^zg/@ฑk4ݏ$)E~fuzQ\[붪*mÒ"eUcCKS+5ہGY6cgǠ݋@wM7S)UEs`(N%_)T7wtڿ#ó'DnB0(5^ͬ\ ("ɜ`ǻh-NKۢ7q0qݭ$*֝G4w$a<│ᬛ9r4BlEn,֡Y2t\7_mbX1i Ѩ"H@3q78Z?Q/:~9ߞeCC]9:wЂ . \?I2!OjX/쌱i;}*dj#F#ER09h`pBp[}T멞vӬtMB N!YM U8W{L&Vv:yLR8 7E3:DӲ$X>%Wǜ*G:Rl_aAN%cwS9-3p'qs)^i] QᾈW9Tyh0쿴^`oLLov~: &T[d9\%qGB7ۮђH?CVĶNߊ^ 5;\kɮs{o '#*"tSHBڵ#'c{/b;P^V䋟3.ΦFSKt |dH ,PO1RwL"be O%8EEoq-5:8uVꚼ6c j3LV̑gx=|b1+%$=a|(FPY_(SOӪ.~r.j ԈELU󉒪'ّM?I|ZV d,w BZ8PJ>>q$5l9/ Siiۙ -Y=.Oe 6o@ **Xr 0UXj!2r<cmA,1ρaR\hK4p"\j0j/T;m zwAΚ)5ģ0I Uc]-ՎCw W-6>h<˿kB:e.;' r쓧 uQ|KܦQ136Ob0d>̠aΑlGN3T̃JeHg*>?ip#轷CG 7}'WwV9ލB3e: O_@(1۬psq2g+$31JX hkjffEC36HoV PkTA)sT:l "Lo?J/yV:X8uwr~+ik3kB]M_f-DnYq(? 0s+=]]ޚm2Ʈ 'Lr NŢTN@OƐ{R^N+gxiN'՗gߜ¨E0sr${1ۢ ܺ6T6LEU0,CV@o.6JFv`2ߍ"Ǹ ޮѳb``Nf(9NLOC[A`XzZJ;)SɩsC}ݴ!azvrcA3_ q7p~qͨPi7Ʈa53-}T+B__ q-P(^'- I#ae hDysk| jڏ0-cCHO1rxŌZF⨉tW_;(inMCp3m~ (~^F:Нo*k`ʏcQ:,%B+әGx2'8c8t)YB)5GpD{z.*X CJS.\k)THZ:AJi&4(닀5/񥔎kiڂWnnO:J!M$ʌ|.=Jk˽W`$|A]:]OE`b{(T CZ}Ĭ Q:HR}*}y:9R`3oPHڔ9%f-I=<7I8Pc)sҚ]ecԜ|g.= 1Xænz$6 H-:n}ӎ]WF{N]Bd3˿i۶7*H_}1ᏪCbpD󟑁 يI[H8E^Ϩts=Oƶw'\OѪʈ|/P#]c# R;z01Zur+\$oSjRPҪ@0M1Nn ΐuTɚUG> C#8Kzt1ANmIA6tA?uZ dRJ.THWЙNi?h?bUfŧ8Bgщ}wz"2P "@QL8N9(9>SCWg;-K1-hs2P(1V>|"JE!z]%ųOf,X(Eމ+Z(7%e0g{[Z e T4c qF2t( wlřx@r"#2/T۔}8n+ȣAe,Pp3JNT;_F bj0lx4y(I*}哃 t%r[w$p&xbuD,0 {:S,6WgQ̺^2fvӫR:Gd4y2{E.3vUW[Er/ٻTG:2]-O(S]wRAtg8^']JŰקJD?gYZ  @/1A# ,HOL-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~?HC#|wb&Jb.1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF-1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id536,1A' 4HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[z7xAwiȼ+RXov\Рh &$͞Lyq6M1,# C|v=k^Ȑhb%0(%$Smjyo^3N ${ls%' KOd{J'nH ǘtaj|G-{3DRLqf7k&`^?O<*H61]Vɡ޳^6rHq sJ+]0,ϗ/0svNFx'̇eDm<+)ލ 3W~zެa[T*E*32,WE*QZ#F+nB59}RoX{͝:[Eegd,Os1 vpI0 *wTmRUY42mdf eN 3T]ͮ}?j &D1~m,zu\볠eAS Ǯla~QM )Q5ؽW(d`6ȍQE3+[:swyYLopug˜Z,lWIz$5ٱ rFM@~{%^^a1z-+g9zhufBf/3VϠpl?sEhd;J+Cܖ{ Qm^Oe=V@TnAV s0 msIdTd,?tNEG}ywژ#AN괞A/Z?|CI 4(.(֢Y4Iy@S0%Òݐa<ͫ#T0lwMZ+ a`^%Qqڨ5z|V yۦͿl+ݹWtW| c'lEm"€6HTt\/(B<(H>;*;l!_yxI?OU?1jhZH;CPY7 sUv ֙Cܹ$Zu$,Q,$nBo-f΍=MA%$,+9J4s>М&4_b D~LgYZ`+ 1A# LHOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/markup7zXZִF! R]] !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!]b9KHJ=*>x )ڞH]->{HN:$X ֳʢ>7FZB>$bK!2fr!W - 8y lrhɰnMj]swM+\'BLpgv aΚGAvaeJ]D2A|O>qwvXDUOލp .cޖF,j?d*zeFX'G)>70\U1F!)In] `Nq;GuK73W)9!,|JѲka_H?kI,7{eËpnt1\M}Q+HG[EK{nJP6 J' ea %[EkgW%/^Z)lgk-޲GC;J,nn5`\6P&1TJZѯc&-bt=h%yJ$!U<ՃV 6:UOH_Zi*N$/ߓf" ܣxY_E V 4- &cMy/8C,y&&0$U%ֵ~o9g$Pw:%э >Q%L6K%=e0b%Pt8:Rs1St`s1w]MC̊N۸q8[cKzg.!B(j߲[' )W5jhL̡(81&Tw'aү8p4ͩW;iXǏ]E 6txd/R](^i! kܙ3ՒR- ƮaTcy~``H{~Liճ] [= NuyjrY/9-ѰF>YYI,oqA"wۋ*M@̤%syC 5#Z[薧͗*䉇rmo9//X>JV;8XVd'%ԹW@Q e4}_PVa9Ի, &|! |t}7=y9C1+%lC&l@YSGBIH*aqCw%g;>DzV/UXPP}E];sJPl~׉+/5gfJQ [@<=#Vd%vYTcS0' qlNE<2 i(bHl%sePn az)us"[Kk6FS޺y#=f]|%z!*EwL|&n;ZW6^~? ̴_ R'tJG@eY l +(&ᒒkQ?78\}k1gl,;"y CAvchw.4ҒgIP@9 X^RkF@[sHZ\[/*bz ;l. ı!ct6Eqپ!?EJdJ[yfA~`Օ"854:ۋܩ']#yG0j;A^qZgpɾLn^"q":svA"Y[jM~5?TՒB) AQQv)Xg-[þcQ;&5T-=8 ;X~-##F7qr%Oz`j;iP>$"£^ `*{~FυM}JnI_Fd 2t{0zg&܋Go܀<5|kT5~kW =Y4$tͭgYZ PP-01A' dHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! '*]·Iq n[:|&[zyhBds>Ɣ,fQ[bq=A:q8`χ](jy,k3~_FDtW ErG,E`jX{ Χ8 ~hׅ!K^i,2.l;~ZO+0./9 z(/>υ{GPݗP8 :L*K7P cf`|31hHSҔϚ۠5iƔKH# ~OΦH N.3}lBQ'9(_KQ7!r\pҌ,L)/Z/o&Y&i*#ڣ"bm՚` ia*$4.=;H 1^,%ߣ~{lB)TpIYeY@lײO4% bn #Np„58I^!:Q5'vOUpw }*&Rs#m#zMx >~r Pk/v6:ꥤW!:[P gS ;6?;a>@sFEX'A9+;qJզ!- h墸dV1M/˫$Gޗ$Zw0-Srl'\tVO܇FPobN`RiZˑcnmm5X&`Bɫre߳VnJ:QI~}B:y?ԣ躞zxhaCnϲ!G GX-u+,Bat'lr [&칡: awO/ԭ5 B`qjT0ze|ν0pܐ= y-#. I[b~;y$+BE~ƥ: j;͖ʑ3NCZ5^)x+rGetO#CmdM!،}Nn!]5el{)ho]pB@ܝ!2Uuֶ[X5U%PBfyD@gRҊ߅1M>eluW,1L+ZX ޒpc>.>v<,p! oJs~k%bK )Qz|ez7vO'R)oT`fABZBfLj]M$~Po s/U +۷I T %E) M!$ʶ0~3%[~E (ޓ;(ni 0C엤"8zlnEqqYhr`0ڹA'AlkiI} ݶ{Gy˶ڌ|܁Ln4"Bg%1E%BXvm7Q~i"WD[ ?(BD?DYNC5a/(t t iB'̯0ׂ\S.{. =D-}\N3(p[SvAx*M Ś RuDf[/]IQ-jQbkqhoV}.)39D­AewX;B{_9'0=-#.Gx,G2el_0.%H`%SZ ͝:$_'9u%{x5s3Vct?6ozPROrJ~~MrZMǢT[Ms1,.J?y| h*t >y!XTxx^˅x6(HL޾>c~ZK,:u ˏգn mΥx8HivMxb7] RPZ={2*?5aLYWYr JwP} $ |:FD:Ć l䥆]O;C,^BI7[*ד^,4e=- zm1p䊩$=g$rV۔1R ơ&pȲ28qh3caع _:P읜*7ЭOY .^up|J uŁ1XweQHv,Vp2ML^Rg=KP:&_!ĴH^l ZxXݜ+H!/CCnТq֊7̾ry̫.-pnQUǙwXa$%%fG-=ZM*cM\},ʃ? f<rףd+~d Sʙ֓M_ < к9fJ-ʩmvf-g_WFޙ̤M 6 ߒ)GB؝|L 8[2yT@>yo f>=-!ګ, /ma =SERT 5a2Yp>bJo\Q}; C5 =jAP k# 2 pE1}zahmo)3DPMၞOS$?+̌ka$ߋ>%+h>ڴ\PH(kTp,ۗU{3"UUCְ*R԰0=!:|м_t~l9H>j,L/`%)_QtNru1z$-Q#3j3YjHciHRN.^9"Ȍ< ( H#L5eh ՛58?dP`#$}@;k_Nk퉖yי_e8R%Wac2Q ğ9iB,vG \9+8Qʶe׺^KbkgQ, .Dxo*?I[V~EU*+\avh{n:,R3rg6xN+ڮ0.g*Ij 3E&_^x@>uV@PU2Bt+ ] ޠ8_aQyZLy_/26X)ϑc_g҄ڃ7)CNpZ݋L`c\Ջ;-i,]c~ZCJӔ11r_+' LU7[=0FT^V󟁲8D"ʩJȫ%9g̮CoNTbkKH`ĬbUgp0s}Ft~{nqI)Ђ5dPA)E!˛u\ˎDRԦb'B`H>eΟea.K&ןD gYZ ?631O# lHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/markup7zXZִF! O -] !M젗OFK?f=Ь*f@T@f}A(W߅en3$P`@Zۊ#"Y¢8 dqI~":Ȗݾ:>Y ۑUCII>jf(Yk:\:%&{)1Qq^sԻ_3qW ĶD< p39AyҿcG*6 &zq&b6u5rOD5E>;Y9߲]F|M@ݕB\w)hv}!*[j Йq_o7CZ1K &k=w3?SꙂ|3B{ڑnK\eû\m׆saA[>sqK쌲Κs0-6Z̴䟊2|sHNËX2k`qc;V@f$syB-R̪2-H:JTTi`]/0t>pG%]we$=t{eMa>ͳq$ aAFde)Q})E;)K%>@al&[aowhu:˹so5=!N !" U%RG2e< -AͿ ZX!)+W ғa*]X ?wGpz I9} W54L'Ak.HƢoR 5xO:2I@̳6`d9 0z׳&BsXN)dلYÀ2e:{ǪA [x *CUO_zxc).ngALsPƾBЇUcGuz`qReJv"\{筵-ך5dE*ƕ+FyR{)cQ<&2Ԁ6K~[&FS@I5j; f]"%5z< XR돈QMbat@Kt5Ǡcu1SO6Q*S#oȎ=Md{l};dQw̪(x֬b39H9nk/1E I,[ >[`R&m+$k AJ:kG> K4o4Icp@CNR A-Z2MP崷? V FP01pQ4c#ݣ `j% Ot^/EHV;(yB} UR:)>@cx  1]9bRvU~V `̞LjQfQb7zT=g`(L O.Ob!~5/_V#$a<)ꂟAi7N6l}7!R,Awa+%b]J+3]2'8Tlߧt_ ?onp$)G:恳U|iy<J9iK©, k;yxd_*/376[:SG .Nto -@O\cDقƴJ}vG ^U|7S,<֨Wo3 /Wa`ŝuE_1?kTpTejq^H|)l{zym Y E503rVsyZIl+FmAi9?\ mN`}G(}暾Gɸ>\ ӗuP --hȿ<6`}ZMLz; 36hG{5bKԍbsm1^7QՎgƾ lR :SX󙮘 qY7N} fdxlL<A wmvx(_%Y&*;R3]q04lFkЄԑ*̬"J9jvvKyGxU;{L;`UjY=&xL3+PQ0lҎˆPxZG7Cgoch=O2+h6/J@n;hHHF>Sz) η{3r3 9`6; ] \L}i'Hݿ-vjF:44˃+S^vC#FՉQm0HӂZʐJIZReࡦ@Ƃ!zG gBn~n#0A/'U 'ٹF?hT4!!|XVpk1yGp鐏Dnf*[q#Mb ~4gZIV? 6խ|w1ţN#g<1ǟ{맏},J)YǦ@ 5h^$(AJZۨ  E5i-?m `j帀¥id$͔Yɴbʿ) '7o$j6W=i4趚J@ 3U.cqxIlAհ)Y0;өt/Y |%uth֮f.3,'2e|V+B rLl [B;@",Fr2O#­K:ky0;(jT<ۜ:vLwВF ,gYZp21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thyM11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id532  `77 1?# |HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! lu6] !M젗OFK?f=Ь*f@T@fe5N)\j\ #̚qQ-` 4d+8E`|ޤ((, ~iM 2 4@4;R)y݁Jn *T*/_X532Jʢmmo!&M %1Ȉc V2-`B1jPb 7:{Rc36'39kZZCҤ2$K2ԴU ⅾ@*˃ou&Y9>ږ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+E|uB[cV)+j_#*K-w`O!8eϚ:ֲjmĺ pcƃ VTixjlC!{r=vEIm+zXaDL\D.xN..зm ZKR R$"qC3ģhyLQY]X>u1vmw,$4H; Ǣ5]a{-(&77YPJ6ܘCWx|-Sэ&wM`_*ʱig=>3e 3?p/kR)'-'S}HԪ^痸tPK)2lw{l3^ GV~&kP(v詁m@JΙ'%[\ Ȏj{e05[HD)0("5IY屆&b_vӀ ~/ ?BfD`iQZq F#t13ijAߔJk;:d`~"mI2kGWDp3x$q"fh"=>A 9b%d6HFcm=:c)jdII?}]Pg]3F{i|5b@ GF s-A!Ļy(\ $]aHȸWÕ>IKyc3ŵ*|I6&2WN`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[:|&[zybLA[ԃ`5J\&vbjJK8B*hƅeY;0e`GlV-]4;yG߄r vz_,Fz84̻&W\ǝ5q+^6$XK4XF:râVõT 1zXebc8X8Xh < qW1B*5SEg8JCHH-ְ̊Jacj\tB \fՈO`Nk{5iT\z8)MLVIN9;ђ_d~峪/9vG>Ti=TQ÷/!Nc\3jx䗱XTa*E}RfJCL~oVrτeuMSM!Zj;A,w:[{j37، NUzN3OX| ☴Cw;3mluoaLTWNS]qQ3Q" kD b^#S,2M y$W@c;6x%[+8\g8gCqz6g?[7xKs]Dž)|V &,C-٨[ABw )X _^cA&U҂;|XЅ)$X7r@sPX'ʷl) WK]ޓ-¨ypD7"Ԓ cO~V3Mkڈ02jT( GE3orʞLeQcmf`v7'>=j-lpn3JQXE ;̿gyAJC Y,a$@)I7˓ߔSKW38%7Thvqrd*6dVxƆHv ,Ot<ڀ(K[=˿~XB$IYEJm89K,q֭w*CAIޏ{A+m0Pw%p#)vM6͗]],KMz,9E4ȅ8rr iURf,UBo_əU;h[G=$POR%djOr>ؾ]&:x3WG=->shjcM5e:{sœo&g1/0梆p${yyZ>X&!ҿ*E?8|[Gp(JaYWg1(5_hhn]!/*.FQ|A+8 `p5#iSţ]X΢NX/ww~QuwAg?ũ v39t6?Qz094 SH:ÐEh+$]a>!;@آbxzX0;2 ,, UD}̠KMTzq&Y]V4*~\8S?Z%+~mӢt#0d62LJ ؝?]53ᔺ .Dh'iQsAə;V?54q.yuSt XZsQ< e%\g%j̻>bSFϟnqO(w"PW ڏrP~Xk9P$مKt8u!Zug1¥Ǣxy Ԇ0Az%yF"gfJ#^E:[\z?]7 >a[s|NѣEӋXFԢch2e+K$c -rvǒ']IcfZ.jep/i٣@ZBFAY2E|@ap9-wp_&5ؙ 88jB)xGcNn;n!1ь2uv+n!I08u$9N}?םqatx NSo 5o=T.</@sXQDcZ:#XE@wkL3 +8N7ue <[OY (Hn{4xpnMF ufjuHNq &s?hhP,OOWS 53"悥 ^<^*g) Ҩ" UX?:[̣(!G^e+M |R`EL֛>}3_C:y_iBoZQ/ֶj+׈Z]sJ) k]بiEou)\IM|[27ԇ7nur g$o;‡*2OK/PdIh=]ot'l3s]?]mwCB4ts{Zw6O.Z񯀊g"hfߟdFPV2Hm!sp'tmƧ.=,Ӣڅd:#1O5\f$ݗZ|"\ ?H]ɉBk-v> !I"}i۪OޑLkdJ曥X7Hv3D+ym~Sthi|*>' ٙh,XT$vP_p>Pa *zp9 ;ůw"3L< w"gTVq邞gMV#x\z. l\Ҕ3ϪfB}YvM/*ސgk4)|M92k%uTHbk<qGRɄޤj  *쐲;˰&Hʍ;fM!hK2_;t t,!V[ ɖI8?6g<{7umU9,bV8ifPQ4"cfO@s1cGUTvS\bTWzDV(vub'<ڕd7 d6V 5Ի<񍔀ΒQ[̩-  `9]b`LG,w9'XW8bS66N6bPzPMq(DƸI* ~呺;tqeP~)Vr-F#)P> 6D cY1%ۄ/: d;=S2}6p%!R,4eeJ\>'>܉eJ{au1q/'k7ZC@PuV9g/irnO`Wm?XU3G5`yv )=t?+@KH29;|Y| ߀PvAb\dp55I5ЙIs` IHM",zc74_KM9bgF8<7 -&%"M2|Jg`zU0t{,Ҙ(PMӨ t }U3׽Iθl5i*v3W&+5:8%> sL.Lb]lsnmq6^f٣*_چM*Y[34L\g3W .N4 }R)+VCn4y mKw [cn?uT]ܟv(/_a(H'WrSSB$BA/@r{M]gHy!qӹD`֧}w=<+gfKm A*Djg2M|-S' g-\4Zu漛]X&˪]0k_~^\ĸO'_U'(q |s#Xڍiπ0$ KPcZ[Wi-~*ϩ2u&KC+9[OVۢΟj4Ty0B?" S>Y~IX^ ?a<.1]b $%'#ޞإdzGB<4QQS:6F/VtL3PDdMV >R=t%H8ҼA "ɽvh~M`y^ o5ga[{ɣH%SS[Fj>|̂11۰,#2˻MJ43_fLkVziA%")7S{U9ioaXJ$b*2Bsx@/~Ą, DmKH>zÀSR'/S<|nPvl {(.~59CNjĀNq.`Wa:.|{bkL=kr| :CQtA~L B>#3 /wӓALR_Ĥr) ]qܐe4'0YCoLm%~⼰TAFcJe]Ab97CF:လ3\XBB7C$rj8k:׃@*EudOQD~Ưj?Y@lS 0Q.)?= ?d8ۢ~ G]p6yYZII[O3hOJ)gnJH:X}E%9JJU\}եʨC@A-WL1mjnט:TSǹP]-i(O)V9|:`X4ۦ^|AD9>VmIe[L 1EMI3YO*D b2COV'HTV|beݟ~c*$7hhf2;HkPĮk}EZ􍪚]Px[3 V(EOhتS"P_#yp*T'OQ<? Y~˔ݾ08gUkg[GDhN YٴC3dAN7'2Y)U' UרiyJXUAӠ 1C̚ zL4"؁7I >'نr wx {^&Y@+`zTez&9t#{ ;u0|KP8ώ0GBBʆn`hPC+`!߁W[bl\c=hn(o]@\a&n+◄,]$TM!:rpB 5~Їn8'&9a$/Ǫ~5㽞$~SPɆ; Rm|"}^ + Pk(˭jiR\РdC 'D}x Rɵ7'ʫ/z0ǒEŠ_ǢSt)4]4#yw||Krs,.ne9TE^Ru^w5!#L,6ԚB lՅǕ]q(Z[Wp;k-</6V9UfB!7Qҧl;/h PMeWZxsuos'vQ;o==nvZ&['PZ׬&ʹ-ۚT x_mjF@-Q/8Qinks=(Dh "SE~haNYˡ1:l!GvLx<2֙ }gnz}Ŕwfb` Ը3Β\ip4;",709`F)cZJ"Jvmkh?`5DO>i$7$ydC4t4kRnHbWr '9Ў@Р?\ֱsv'IeVNQj|fMg$A24D5t2?*f%H7XytJΌ1C@lY0SG^+GhT2s( ]Xj@c\n]@|*m@ݒm1?o }E΄]`xϛ)W djۡh5!%z-VnIB zSܯ&O 5L7̿\݁^(Qc8xc$z^KVB t9L̝݀!&3`#j  TQqtb$u|YrU2^mkG[˭ZH~Iو>dLԜBkb;|lzPcN"Jz`"\'ƧP.5srD{~q*mI :ʅh-'OrHڔ7lMDž'X̅{Q(*j~EDcWo0|C>;P6k'\} MSȟ  >y0r:xdKvU_;-I/.#Pic|Y.ݣ;:>a?[F|fۆnIgJL}QT `i㲊랬QkӂUjP/=Bbbo#Ҷ* > MVZ7m@c}40LdHR4CF \?ȝU熤\ ꦶt?2%vk%@~uZ?a0\iq63$#kL929=H O.|:9H T1ߑIσwk2ZWVs'kw!qvWhX| ~ࢇչN1IDzr2!ŭT-7,S_ZH͝@nj,3ʛ ~x]Ht7(0/@,bA xLO&.Zf ͓d<̥"Zb#ձ@}ˑ\T:+_MYcP1_$I\:{K~'ְ}UԗLp| Q|:kh'Xe0Mh:ؗjڴQjKy߱✷NhO9.=VzUXp4 p vuYJ?Q * 7A'AlG8~2N]}}GcJ7OilZ´ " gƺ. Q4ٲ=.K$cr0w\6(Q@/aMnɯxb4:a4q`r6e[QR鸓fafc]8H8 |8&'"zF9Ʊn_y4qLM،UHt{LF(Zo[OKӰX+M_66FdR:t vDkm+I<B6%5G㩾|Km>B+ a˂ٮ,Cb*|%tzw qGO ˺PB $8/."}^C`ړ!뉧 J,\V[27\O>y4>>./5 O_Mb੩H. @ ~b%oGǔhJ7A,(r,f)'2z@h}]xAE4Hv^Er-  i7!`R;QҳZv D ܀W1Gߛ^p AQ8vH5f$?~nSHõӅxs_\:/ :^^yF"%VED|C-A<>ἄ/ލWe.%o^`U=ogvpB4.V*-k9/,*cJiUUX FYG/M0"ڈrKʙ 8QfYX,1 ٖ} old#Q貍QG*\YJ0QbjV#"S|q`K8!Ӟ)Ur<<8 6\p4n}P(lr Ǘ_X N!^Lo-IɍfPޟE6 L$Inl!< !#Cd`7uW}>`6{Y ڊS}G UzT$bmx XJt|{s/8i )F鍘+h,mj9VU*>~S4nNʫ 519vl|)`[ (䩄-`TO8 yc83)Qӎsf7J%tuOk7m)Z&b{Փӓv::3>:4V}mHM2.liq6߄#b;>ԥ0dr{&\-Cyߙ+ۙi3Q< IgH֘_%ݟ$d ;')z=ڈ$Q:linڢ$ްOJT?.9`;ߝ%E~aCg$u{x X߱ v= ']:9 AY1sMSgʓN;7Cw(CymP!8CxЙ2]|E8bc bcyR%? {鄪g\0XWS  /jmK U2q_FQ̺x̳~k؞u!g2t\F4S*lne}f &cn!38Lu-`ӖCiר U~Gőw0(a ^鸰Lh, 'Whۑhci(KqS>BVLU$bfq*|P)l1 N`-S@K`dYGHwێ]m) {ϊI9@#YO7h75;4&&ۭ`-oGl8{@kC5}vaF@HW{|::(o _f&wQsqZ")!WpH_X离SS/]GkS#$҅O;B)ptF}$խ{P87@QdIUݝyf;l %)}A=˿ekm=&VJ~oL4< F@nvk9PFge:}C|O:k k-%Ɠ1'݉c唩p)FqblIElG%r`Ao^Q՚Y[tPs }M}uJo)F,Ty&I}iJ?>fkFO1adV)>OTtaBh?X/m_l0hB,5!8AXR$WZi=ҰxKOtBf"^Cd[+La'Ս3xGW# ^50bEPˆ-JQm}qgqZvo;kv&Wm R-n &41YC{*]z~KYLg2 o~ranCWRh:(!{Hl9of(y0W D @r)NVx3j W-2s([KJw!_ tA1^=GIԄB&d@x5X]IDF*>~ƒo Y-ŶWҋ6Mlo֙~ ly*:<`'31(@">N|c!?>YEhwg '6}!dHߡMJ,f1Vjugd^0X՗D FYXb7]ߊs;,-.xLj04(^ [!Ƒ\R͵VV VV`)p;Ÿtob *l1l,gvuӼmm>Kkwu1݋FE< `SU瓨zQe*'+)ȾVq-ZBpJt =tP><ڃZu>cF$0ԝThM@#rp9 Όv\d'X.N+DJVw&"3*e4]0^, tČΉ9xY^!+Rs}fVAe'$2{ai< 5y]-?;ו&P(!ve,dʻ"=pK,nly䯻`Q;l1 Dѥ'WfƁq½swha&HJv׻Svv 3@:_|Jj 6TүsWuwt{v!?x9uP7N~KUob0ʼn6A4nOi51߬HgFo6-M:=V8ſDk|I]l@|Βyޱ*`^R@bʻ *5#Y/&4S Bp| .fv=P x!$ a&{1;UֺG ` wo{29@5>S@أ~oD@gcw5"ܖ] *s@6HŁ ҖҐ2wOUB\qҿe畫T{n4bI ;] =7CPZAKM ` .8m@QPWO~RԖ'FWFlng7@C+Ukyvu~d'QN+sl2ER_ţ4Y&V<}a2xdnUaoԗUEDaafMT8|`wwoQOv{5{ztT'7fVֽ>nDÉ 3>U~~9門fT6sz?ZHMg1F)"h*^HKw+H̹))"|6_;زa2^b}m%F:54 濫'$ZA7v([@ ?_*OQ* 4ˬHvߐ6`pX")|@WХݬa?n$,6YÎzb -#~)M<8;ҿKﰓn>Нƨ.Jk61Vk;_VKD,7xZKEry`8ńAl b_h]CU)lKHOkO>%Y.1[꧑ NދzT#%BoE i}RϿ`0i|%HR w13斬g2GS0gkd. ˛+04TeR'Ý`ŋRYDf4[F0s \*Z0ǟVYVySmzW,$f< u|)}.(˶?Y Ҙ7c}܅d7;!B<1Uck?Li0SE*b42i7sxiK7ej@mP P{ɲ`+ϥ.T潚,xhZo)` 2=o3E1>k̘ħCvS>ȥ'\an"aA|7@zXW.Q<)!^yO3?k*>.cÚ bRW_zP*.ȟouOaaowy)l0AB q4QŃ1U\89hžY+=:.)ȩ`G9Ͽd𠭂{c @gyI)w-xiيQ{/ e f*3؅c}D'6N+l z,_$o)#]7Pwcjw@ ^03m* Eе$٨b!Ïc{KQWa3=-Mzݝ~Psj&gPt\o2ŤD[KQG?ZZXɧނ"Z$&e귔ޤ$&+Tĕ~c 9sѡҬoRf؊(@7P8WrԼ-< O=:[U"UwVƆ-dn:΅1'Z[Lg16:wQ^U\0c[cK#,, %xVl>+ܑzj;, 񉉌ydt6'Dy1TҲO64KTD0!BG>Ցk2jz1/~U,3L a \"3Ț H)q`"v0MEzwY:#2hNv/^zƸ[Rpa}e-a&4p'-8#M}wK]H@}oRYRX|&0E4X}pK.Uв{.gQ]&8z*RNĩԿjR-V?# Q` yP܋9"#Nbx'k D);FPY%f_o1AL\Ac~iyh榋j\$Q܃E> Kh-<>ytxY S,y<&)xBu3*y5QUd@//ZAFƝ*-ijP(>q T')(\ (I{::%z(veբc6BN s-9QAgL lhȎe(i`cśٸ"Փ:vr/p5FllVtH1> Қ11AS@zcwޠ3ңbԆ/{m^Hj<5Îq|K^]=۹Նo>j 0}-R)V6ly)9Iby֟y]:Ps$'YAlkH5?2 ?{w=a- ~3Dħ:ȴ;\ Hu6-c#AwC:A:&GDpk<NNNZkTpOgH Q0*s+<ߚ@?2~F1Jp)O*;[Nwz~2ÍlA (E \ NVv bġH,{;[Q*ط< EJ/?CcM=,6E<,VQVC2X#a|2q oA6yN'/ojWtAkk f#8׀es<['at:Ҫ.UI,.􀀁p+(M]EQQHPxqS]n7ZfΜA֛f[)ٰ2)W #eotET*> &=nP/qܕ=L:VdHAWdZgc:Gh Ybpa:Z$btSկ9ȹU4f!4a0LT[?PU=WsWr΅eΑ%1:a@jݷEhAJW-ByQ4an_cQȵHK_ٓAyz.e %=f݌~-OeK׊lj*[Mhs*Q(Vh[&DG,hS*\mQfQ 8J^τl ]yV| PSeC?=$m,GЗ/ -B[z[,Qki%r[JOtnWZ_Ib}=T?Q(MG'*xVYG!kh#L3J1p#7Cڼe c/$-Q-K1-A2kFt50<2S,,w.))'ZM/NRh:9%*_{o2\SÐ!5ʱ5%Hk.umIKc^GlU,"4i= ߄|iR\TH& Q%Uj๱h2L@dm{ ΗR?:qSbtgX 4k3B E dqT'B6.K+g3~j`c=a;TOp qsY$š>l2fC0ͅV-&+\%ӷl_a $'ᖼbi'P}\ApMAwIWy0vp!2wFggZDL\.nd-ZX<3JEP`xHve1MtMYE!yr!BAZun8Qi14k*@(k N(\*s1HS3$Ai@Ґp2l W=䝗4aR}9`0F[)#q֖o)'%r%}%,1;o ᣁN`Ș=Dse(m3rD^ G'hp=oPZ7\+DPg8`*yARHjv0_pS`Q *S= 5(kaی{? ?wJ=7b%cΡ¼p0#^Нs̗oAmOaPlT5!LBۮR*Va'8m@UKgdS+T3ZimPOsuIc5`]n#MШT1h@mӀ*x̵{K'7%SB!Z TRVDx&q1NQ[C"34Z*HXllwD( Q$%d bضpjHS9K$.P[r SKE\z8Auiu%5LV[$m1nW/+8l̆ &k ±  GؒuPT5.;Ns%$< u%,QfZ1D*Nȍ`18`f p*L^#38RT1ï8}@= ǒ ~hUu?X- uO+ӼG'4D4֥ G#Z,UH-G-xjO> ?Ivf` y$:-|]2u/.q(S=HMA=dRf(VWQ -̱:@MN7 u!B~ϐX+1kV Jʉ4'5 "a/q w{ TQ*h!8s2[ JZ$m@?4rs@LrPi ;XbuQ-!p^FЊ{FFԇ0TI?]١T8X;OEbAOENԄAgKC 6:S~{lvyzv=\he(/ӊe=gVggb0I`i%QOKCYg A$z 4.=)} (E` r _k# W4X=MFjpqÜ8'rM*F's?[X/g1qG$g#?')^:OtDkx$42dhx<#Eiwu6 d- SM癏 g+@~xBCXQU6q,(oDW`̑X} mCԒ07Uz~r8TkDZ_Dv Qy6rضx^!!O ݖz)ȥ^ܳi[zŽv7  PA* @7< uS0|n\ǎ-,Dm7Lت IG!lT'/HP9M$tfҵ d4ϊ棥o 3XsKTFt+ueHFpc\kI8$$`μE[L?-|ʫuO&~ pm$|oq7__!?vc,ՌN' 77@>'Nciqa'Iehuw*{k~U)F;.-_nDS4\+l#4Cͭ/r4ôsI䃣1mW}4?Am9mzz$1cq9| 72俗0fퟵ5(FF5MiNj#3޼nL΍ +~"4eư:UC^>ceE9 wj/]8KZomu{*c]Z$AZ'YwO>Yr&nBâC4m /Lwi-P7š%%>W2" $}k/g5ͪ{my;sD<:E8 x$kX*.i)l҅y7T\z>igTs`5f4/@gIZFA[~mS-_R&D A"E5q1/+ .}}=t>-Ba{9 ӯ2[Hu~c~CǑT^R> '0c(OnmVO%2RmSԐ2] #f~X [G |֔pPpxk i /F! \ˬF|oB{aJ 6ͤb1B"ȹve~e[&FxR!f̀K5jcڱ\IV5e , Z首̒;,L<Wfm B&rj}Hۅ OK0ua[A0FΆ0kڳ9G9٢~Y%8E)7ľe Hꚋ%xē&TAC#3I1f5Zd0V"n[jIw-+Ζw-Bz!V(P_jE!JdOгam)D&$A'l3'DX6*LsL_[}Z g9}WW$C:ԽZMĀ hu,< 2H R*Lgؕ$L'0ŐC:*ȞvM%|mպңZk2EEmlX/-dV\l| d0{qR{n~@TRғcE?zHGS|_={5ܳ(^N1X #QW_iƚ8t'bwx(+'hr Gl=إE2cm@\ݰzӴHG.%?ϭLtu:%hչfo>񣖅߄ב^Ȣ4CAN^᫐ ~Y@UҥB@H^4=c)URQc3nxC40M[m5yR#@1T5%nATtϴ=lV9s8)>5Jf?QܥٜqN$h/aBcbZ}mLAatᇋ<9/o- ^e`-]`ED~eAQT*X-*Yۙ}#nl + ҩD"ZNaRa @b!* A S ͛U:uuR۵1Lڲ2 =(;;9p[ J]R"b}VH& ~Aa >C:xW=Z,,tad, (*U[S"m=W #9G+R'lh jسB 4;heC{W m;iORr%]~h=)%$(c=%]8֞.VJBbG~Zߌ!m4R(-NRdC ZdVi`R%ɮ]uX2^ĸ#`^u<\~Gu{šBjZ(24I^CՔ]_J"Pwvfk3kt"Qْ7ok 5SJ'~&4.ӄ/JP+7Q\)DkzDF%5EV.4})0O?E1TD栆ys;*eO_f"|V2 >}lQ ǃ)6S6G89bZiYI?!"OP3GlDY앒;Jү O gH4Z[b35'ys)84 ʩL{xD|ɚgAJx3Կx$x.iWy؋bb4&nwr_ _A`];m`bDP]M8TlE~ѡSZ߹B4g)emim԰>[yC{!>=TmwTe'=N+y.~WXQUcH7!SJzL>|ʢ19cCW`'lz@RSյV 8aT])B>i92τa?El0 ۘeC330Pf0z$ vi-QFJ/FWʼ }J;>H  at{:(-6^j 6FNYv4uګ/s\I$}KDߋy bK|EP7ߧfgdkߺ}@!VI\-1el`Fogc:YTc>v%I*~2*'䠩-m mPo&@$C^>4>o4h٢a0 UUeFa" ;3mHYp^L{Y:Sοeo-)m/F@Q]T4 h=g7ۼ>V͡ ~BCW.ƭ1`ӂ|#@!&@*LE75;sQ:g[ipכ 3+_iC\@F\ɫvO/5 V 6콽&\Hf".sECybI,TAYbͬrՎyq:z(7 ( x$^w`ϟXefVB&!ղ`kGPk&<ɸ~ l@Or0Z|Ou->vMKL.8 |N.+(;_*t]ZwhM塊aC|j`5=ck-CKbA>*9wY6qBLNn"asa8`ڵM3Ƶܮc8Z!$hBԤ:8O9HC{Ź(9[}ץ? EF2DY~>џR6U?KS!tlwC>ЋЫs 29J*3G7P)ݡˍB30q"‡A~o#EHߴ$Hו5,ED{u(Ң!8,#A9M!/" 8͘F`퍮p:q~ʦ}T\WewjMz~m3 I%xhx+.]A}l.!}kN_3̽p"![ -rr/G":իmNF/'Ű~zp ߾\0 ,4v"Ie^Uztx\ B0e/"*@t&xr=TH7?ӮMx]2EW0 tȻq ~ʊZ*'~ּ@b}+>bc#&ഡe$\%^$Fb\.MK-GE>M}?q.ak]ɋh#<F*![lUi os|֩dT[as-tşMF{:weQlNŊg,NvwxS`K]"@<.Q=o/m3>|V>JߔfZs쌞mAze-a!GX#cf޸g~@Q`&%Hŭ:Kf- {@>K!y#^@W#DG7N:; `C."3Rph}m'gv^Tq|),N*{O]@wONa5E@퍸adHlhgUt$KR darXtùEz!97G1p7hDZ4Q7Y]÷|IQb=]6_]1(#eeMEaQer$[ӹdѨԍ_4_:'6:{ /i}V[csx!-ATV6!q4[}EnYKxAPI{y킋q|h^:M]⍐XgEGr7r80 rnf0=C ]0_k?(ȏyj بե:vvcFT`j8RsՑy Nm",-r\+|LZY2d-;F9գF;qoJw_~TTȲTIpb)"k.MwmfJ Cb1E ŌƬӤ, U>^t@{@izz\$tL䐢%2ˤ35$^bUk_f"P~^@q~;ؒ'I'dW'zKਾYUF̘Sq5)m!>n>2te~d703G-6ʐ#4 7s>yalgKx9ӷ6r}5eJ$<R@ra.vV'bkCrɁ6Y cmPĭ:]%}4p*%3P+aQ7W$I r9vy"@vâ#8XqYoR__I @R$)dpSB|yR_c7}[DB >YHϧSa@:q . :wa?X$&ՈojgZz'W1e>ݝ6^~s4x.9H6jf+4~ aM}:OߩKKTT\a(U~3FUBm`dPC7!4/H5e MLojH|L*jS #a rOPmNf7 ۓi 5UC'';yB"9uQ!CH <FH|.JIcH/kxNj!πyONZ)KXSiȚ0JTD[N#B-l.j0pOǛ- D٦h%s 5! XVt@|JO&cS$o%jf7u%wvhcwԎFaO21e(9=>O_^Nj,ث( [ܤ4J|cuƿȃ84iin @$Aiw6C`;qYwŲ `47'u&|p{sj\ P Sa\wvFEc8\f0H: tKdY o9ɩ4<:&f~(íچAi'“n˭=\nM7 7޲reƗChR5'N(P~ו '3*kAQVz"'폙Q#3 P9}aMgdlJ l (I {!]3q>dD wOwrtJ[Tн8B\fʫ{Uv#g1ޙHdY!A6t٧>q$}pb"$bֵp=@lBn^&+u*!]J9ϩಘZ %8`9Kj3xQE]]FW&ҷNa3^RsLwl7e*|1o$ Cڅ!"ӯ\_:]ž j[XLsdIbBޕd>7 &`<(U:.> xnjy0q tB*&מ>lxHd Pk3\/1Fל=Ob 6]{Bض|9K߉7E)u>Sc+w5*pSu--קfept<+w_@Xڛeű]S::we)}Jh&o ~ g纟i~?_Qc|ϡ#i)k]g帩N/=vgYZ7zXZִF! H @]ŗXi%T\<,]*J *2;A^ޙ 3AA/Ӹ| wa=Ij:S#:+giss⎸^Us|+4X`r5@X@1apw/\/3eJAK )&x#ec`עHK\iyJ !,]6PSӭZ8FIBEB3rs?B3#ƮZ'l7mN| V:R,m{>FM]=жTU@k/oD<94 ӃIɆfF߅A4 Իocue0K! [㺺ƾ>un`蕏ڒRxϨ'&S ?k7?~n 7??1eh2vY,:®}樦SIتꄀ&tpYLU2| y3PdpLDfjFՒ_L*]}X,YEQRo~OMQ ;c\SJ=;J:>8?8~d܇q[AiМ@ uZzt7:&7{UZwn}/V_% T#9ImX/ CEp^9DާJP`Qb5/n&uN!zZ9֬Eh@?#ԏp?`q-$ ]dyWmyB k.;ZW]5whvKyE%sM"%Д+55v3AQNtV CZE'ؤMж:֖̟}Ya"?Vǩ~;4 Z .}=yl!~[1ʸ70 ?dW:oLΰ0r`4SX8aі)qE2(첻L0`?xZ4\֜wLzgQ H/p`f2ObV}qwG`'*̈eS`k¢9q2fZiMn9z a7w.$f"LJ)Z8[?@)Օ٤p/-Msa;呖p5`ȩ5OSʤaҡ Gh,d7Gxugc#ܘDe nygSBMfBBvV*J@(b¥l/@dP>T܉=8!@|xh`fA jAż )]OV獌 Flijs13 ӆoU0- !h6tzIƸP!rW^Vy=Y9I{뜅RAbM()6JRjx}l𫶟ONMqL+c 1Lw˱#kA' -9 c15U ';b Y;~WjVLt ]\DS@hna*?p/=_ϫes/AP{14Hkf!ItMi g0vJbj1D܀0Qnv "xLHؼ?< ꫶󲅝_AQf5TrG;i]@A`'Bhk/GAx%)V踗[MQ]fGMUuqw K9ݜ.f-۷{csTAvD6N[ 0'""BcE{dӾb\o[:zv2&2p 3_an4 {9J0 66ŮWa&WGj4'p4̫끦Q,]v4vc`Ҽ6ۘ$aPGUYQ"7K#@Pɲ= gYZ37af9c3d57ef500bff6a8d3e083802a345f331dff4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 46b38536680c13b0a2fe38995d4c02991fb9d8e9