SQLite format 3@ U.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1tTl ] HOL-Metis_Examples:threads=4elapsed=27.613cpu=78.300gc=6.3327zXZִF! b]b]ŗXiɟ{K^[3Y8EA# W?1kx 2Y}ѳgYzrdh7nk & w^Q|Ȕ&6oOqYkrR]z?s/Y<3)Uł)ǒ>-JbyNC ZLK{ &WDE"\.'+_H#zuɖe 1|?{I>la [ Qtj I arQˮwK}Gi>$j&nq q#A5'5b5]}LlU[~{D䪭uoc; zy9t9̦0'X݌\#?ux@~+3.؇cM4ܧ.!4cy*7,<ծbP_R}/^0QO` $GG?ܹ9hEj( *k{*EFCۓP,'gb5o!=2E2[bX}G:ђ&0 -?d,9-^ic $O͓tbߨS1g³Jw8Fvgh[\A+eb_MJHǸw @b)&*@*Fg ^hػfQVf?X[<<V s95dz+UwE|Ry*(+Vu)}}5P XnnL=q^':%xڬ75рᐚ_Av^F!ƎJPZI2S Ǩ"1B;6@| IZI}!8&ڄ{t#ra+}a%yð?{EP`"hA]Xm#oک{pbtBeiLYMqR81ꘔ\}_SOo l {'b%=_g艠K7pr&ydЦ_뇅7"%)AZ AA4A {mW ehX ߡ~U 1 HOL-Metis_ExamplesT- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'L7K3J1H/B*@'?$: 81&"     8 d  > ` ?Q  j6P  }?AIyi, N  s. T>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 \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.tex D1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.tex T1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex R1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.texB1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex@1;/HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.texE1A5 HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex   %u/)>Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz> 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 :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ ||u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO| !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ ppl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ II_ 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=B 1OC dHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex7zXZִF! <]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI"&Nc?TՉčNi(lm&=ț#0i!1Z\&Vུ ]Hmэ8qs-s2T]ZV١% ?6=<-ܢCΝ'ɖ"iG߯p$ $ QB﮶5] 6FrB{S[#ʉQF`^P,Xh{N٫xV'Rie.qÆ[$Hn␓С(B 1ޓbI+; @=>= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZhsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ)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-$ɽꨚ֠!Asf Aog';2#_zZ0') 3itPR %79PȢ}oG.Ygn3@= "n;D lܞ$]8n;GIH4VQ+X3O<HL֮H*%a0sXhK 'ק%>8rQؚL9-Z"(lcRΈj0Lɐ\ K|*[H)b06`VWql 2@i5ݑA(sLpֻ难Gl&f3/ YEU N%utL):Dy87?nxˬRIqB7AjuVBz By-i2X Z",%aIyC]Y-g81=%@|tg&9̨ĕ3h['b5i#d;kS rfZ i(HrtVQGN3Lvt`&fH.C E7Wh1l@͓:pU0"6CUʑMsF֢_vҖRX8rfq'&zo`lμP"RSjUhAn6k"Н)d):xQd'Ea1L9ols{I"Ag>huy;nyV`?wǀlv"3_8CfΨڨ]{mg5[PL dm֛}KOh.0z=R6DQ}[bފV0y?!]=?V88(f;!]' {sHL\.$Ӑ/S~^AՈ?D#]bx֩F@vT>3FI,rkaTC~3o @=t-V0XI{4mAmXT+wtJ/E Ʋïʕ9LĢѴcp&⭄4iG(PO_;5H{R[N2:^UDn<[8)в!tЄT[ky>TS SN8aNf?&d0[mLmm(ryhVn پv&:K4(sb&)+er}? i8exCA(jV!==~ -;2Vu?TV0\X;~ FE4hjISRJ"cbx!u)/3r|5&FڸVkYl̉H#V_`:dR:%0r/fߵ?9HuˆA #ZNpV7P9_+:1Ѱ\vӳYP=tÆERmS)z׼We x7ܴ32W,{y˱Teo[gCMCͶVL/D@ <'Xҵ2mt:6lEkb*ixCNH5X}nճ 8+" uTWQB(]*zJ.N.]s  zK2bx,j:h'8p'XjD/Y+3Ș0fN/Ő7j'W+JE z)>8*a řDK'Eo$I` sm: k:_,oRNսsI8eE:f=A͐Yf3?Ձ Q޸iIQIb>mP(puX5'm} M[j Db - HR/7z8֬; e1(2 @(( )VJDkߴWcN(gS̎jj%iRy9) ^ܛγN~ĥh?H\o8k ;la׭+4OIġkEVBn a!Wjnhy@eykѼs]sKy\0v`5حǐGzuH>gZX4d#FU 4 ZY{kR3 nCWƀ?U*bGr2I߅'c*% >X1]V]P8MH} !@ESiHϷrcIJUgeH ¤ A!1HT LW&:)Н dݰSϐa5NxE$1p;᪞p.gvײ{<|m"=~-P0 {Tr<#l&F1b-fHVU"MkS! z>!B# Ǣ~/Zu?=.@ΐ[}w[OF#+wPgeҁNxE:lSd>pYdm@H MO7YI,WP4h(b@G>TGt[[MxueՊrP :<)~{?g_Z?Gnȁ.Cu*"ǯDchfRS-$DA-AzCO@{\8J,uQ%G _u<ֵG9  5,`L5R0-=P` WAR3ĭ(ͼv2T~M,Gv78W͵Ah <$#JSYS:/P|\NWˉ[qOcnW.WQt0H" 6`jo_!7]iƈMWT؉;NfrA#y$B ]bAi'Vc2[ |&Q߭@S%{y a{*^##gh"!U9{G4K\x{0Î IJŚinEg3ɩTnTllgb&^aP[k GFR38Gmʡ8=1?=eSk  ]Xf)&x μCsFuf=zB{ h7YCS\W{?5"떐 Jǻl[OB= &oZ$NAL&3/xonK%|}Z-o$-F; /Ͱ0)Z畣,W/SOrzpgѼYt W&EfY(2b<3'B_قݑ .`Ws6ѨAUM@OE>y3vVexpTMʂ^;GqD%02CW>wr]"n0IH! 7wbB@)CP/V?hT.i Y/ Xԋ lPY[CKb2 iA 6GXՀO}m;NW0}+Q I(~{JzMsOȁPznVj>Ij5>zJWE< XjbnN+="oe7jIJnwRAr R' +{v㘪 ;{)^x!t̼ uiĻnWC\FTMx"< BYAQ΃-}IJ|WVА+oU|G#}x'A^y9G %G9|h7/>'!1[(ck\)͍6@I,F|1 n~4۪1g%L"U^^׍?(mB]PfSLe/֧9y<>[el8ZqgН̥ǍE3@к\qM]uv$+?㧫 +}IPpj$c |?Ru?RAʉsHd<_ s(\o~rWn#'͑L0Rja޶PBS;p ^I˗S&ʝ%6E;"+AWf3 AqFhrd7˾ɘvN8$ âm,e&c+m<y% QrSOnG=uƣ0WE-<Tߔ 5>ᰲp,CY'lP^oP]v'Km f0J/t䓧#`<=TDz\vOi6^ʫj@B歠6)*+$THJG-Ƙ|k@溭G03\GZ&+frYKY| Ad8RkYK]] qB1@ue/D>.- v70j!5dcuT8 *;IdA|||6v+YXe^5aZ"'ËDN/whOVv*HgCؼUʙխ3Ѥ$%n4 cM ;h<|0' ܸx(qJˮ@M@gy zFc3Iҗ~D!T&ID֊/+x4a5^"ñM檖 L*ӭ|8~A|#_&Ԅ/8x_ P$&s)B6ANUqYscq[Ӂ,CuX\0 uo a/* Ac|?fQf`W5(-Gr.woU8Bcb"WvfOWV>xx;f@Q-o,&T"-:\ ˢY`9ڎ?^@h5zI?ư`/R26OϘcr~x r =4e:zOg j@UXp+/U12u|[#Y=t?WCnj&F 𮟀8?7{)5g7….g.]MwM52=U렗hUɂK0vcNXyq{ޛ}#]"Z4^Ky$˒RvR){M=gcy~? yȃDF?GX rn:{aݫ2'%p'{]fFNAʉS/[ӌ5Ug2@4Eܰ;r42Ļ]´53 Q.<`]RQD^`bT*4䒑l<3t3ª96A2lS[ i)_1hr؉-MOΉMrJAu5͘{돑t(6RV 9a* )Ԯe !0<_ianJt|Vt°"v휩ǣ8?L` GpQAM _A jw"?:GCxϦHu$7σb*=g!*4OY?$d^5 YRKi6Fuk?0. *d.*O:+QQaw+JH}9U^[ wfEM3<]8v1˽%ܲpXAV+GP!ӬLBD%G7w]tKu{ ɕZX`K!jaC$.A>dČed7R < da`bg|Gdd'pcށd lq1h3xˤ%3|ȴK[q\ C]$]2lpnƳ=,X 0+*>F02-xHwjۜؿ*-3fAeS ؂Qc+U^]0cvܸ9 yGrIx:s% \&<<mY=b9kHxʳ2R lZ&VC+ߠPpOZ4 Qc&M/=ؓo+ZNRsyn}.jm8'Jt4aOXw;obp2cFß0yY~a3E˺dۧ)5Ť{fP9FqFP_^2uS~u'e)\XN7O)p~(WrؐN`=@"?ډ!j,Sbg<^gAC׹$] AAvz$SOX#XxpYUL,6GXPã¿VڧO!4rꚹOn,.No;Dnǐ3$TX5`1q]LDO1BK"1ʲ6&H1Vzkb77As%p`O{SiBB@P%V!cӅ 2(Ц>':I]/,ңS!;8Oힵ;mXDڋ7Ɩ6!W(_{!"NIk,t5DU'vܒ:'slYve`Ԁ>*t/Zr \j5fj4Ov3M[Wh6?E,86*oM(ǬoE Q4溦#iRiEV%1K؉r`w ܋g$QY>vgYZ &&O1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup27zXZִF! C]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>>#=-A:e^يs- %:VtѠ~?q ~1NDQfh9qAaN>ω.Yr`>|T\('z5W5a?ayZ Mvz7T7 }әKz槱9ВEm+=HEոm]ځ$^БPA?sކ{z,a(TR> ܘVHUF4אWiEmJ r-beL>.{;&p; 쩈UTgvpE{QSd3m]'7V#H3mD^BiMZ?Gt 7Ftpj;ܮSg1R$t_UYK 'lyyvetz6^3|Oڀ`E>6Hu,DU'~DDό?qZQ\Rwz:Ha$Lybucܽx)d'1P m;3쿥%AAb59bK`#}5?g2JQ- tN[CkuZhv`d~YEu(HCTƲ.9?|ZոA qk\>W]Or͕|.-_? v {7ᴩ:tݠ?m3KʦJNF2{_1ǢU1.o5$k:Ue^b.K;G^Ť9Ajwna6x, pj@I8d샤vn{@~BkZ!xk#t3~}EuMUUÊY VE ơ0þ^qA#bٻ"Ci|jA ,~F Sc_q87 c'r\AvtoL^\hf3h[j"$0BEzK_ QNj BA 4+CG ZF^/WcH{~SnE˰a:Z-*HKBfrC( 5{^&y:KgG2j7a_t}axe|zoP#dx L>}l]?t&/ϑN(pO6 ]yy|!Yd32pcx teF -KLoPV2d=g? ty!/6.T*GnͧM mAr^f}q}>q 'E~I^%c" p# ()ͤZ< xJJ'/G>u-O(@3~4q&8O׆eoHV(YM,4&]w08Kc1w?t‰*nsaXC~Άn|ʅ2CYfٿ w/.]yԙeno4tE~OamV[ 9xgU\czYc[}̵1C(͓CJ^^2NJrc3 nHtogL15㞁z莁Z*I`d +>go` fU=-ԧh@E,w+O0!['e-rV 泋>8}WbKrCvrPhz$4=D}VKS~YAB֠΁,WaLÚvSȍwM^BX:t'Ϙ=Vj"Z/B˕ s lD֖6xpޢl#jn MyDs][ LbJn#@+pzl*f. sؿ[Wy(2_B ئ;9 X{DR=2ivkǘ"WQ`dEldCON1rp@x/+=IDs+%Y)1GQ0tXgQN95U[ln@8?m5AMm.O"#ZܴMcL:lDot6 7F &7%U뷑 gHڧyt3$@g6+(,]T3كNo^8Hz+%#.l!Y"zQg R (`ќh}S~LOl[&DQ'@=ew<K]򡌶8ɣIҡ'=poڛm%>Ӂ,:W#ؚ1”OcٓƸh̚xyR(hOt, YM~ x_6ߥZ nt!Dj^ *#v! $T06f$0I@]hXIyl~k@Um[D0OJ{-fA騄e CV8B.b .;E)f,dz?UDD1M(&])ob9UmɧcHCQZo{YYq*<Яưh֪?|)0e$Mo.8 F)[cv#mH'J&]mtĊl{bq8kձZՎ*LJT=S95pdK1BPQyV;H(5Np}3A18CKҌ ^2ʗRaH*L1U9Pzi¦վY@胳yT Z@0ǓVVȼa-3> 'ѯV\\l*}1UmOB$_6F{yH:h6hCm9' Zkfq׻ QLOHx_FӃ\*k}™(~pjsV}OeR؈x1 d*~/le{P-5DUT1h; ,}bKz [}&fo[`驆Aػ'j 5`s3g6.yԋBaHjhD2[.2A=$)bd5X+ ~oEka07/iWu6'gaf3c+@Mpp A.L梐K]!,)ٮ?+V?䶨|N bk ;IGtmz3dUeP-PEz]űYm*fW)Bkehȷї G4zyjg٣\F?v^7=E ƦFsL{Fo FfPKkL=i2K9dQrlv>aJ 2uBr4>P*dz LM"vsUwY2b;A&v͒2j`ݜ 3lh ~v"r AfUsQ:4>\ Hy - 9sh jvYf*[(aX-Q.G{he5;.`oL~4ZYr^9`}⦫.*r/G|7{I_ KC_jQObRѰA,+Vri;ER89V-57Q&bؖV@I0ȀIvK&I_?Xngzq-4O47TH0hxɮ=5E>r A<2ϏCOE?YLxSc"La1v.ǿ 7\jlpw :婧QA@/@]XN|o?V- -6"!ވZ-nDyq)vU 钌 ֠%lk%-rt{93o`*3AFa+ @R%3l0]^خ3f`{C=8tJ nyZu:fX(Jpn$lh%~x5^4 -/P0 o4h dﳪR+4l`: Lc<;'ׄB~3I5%$:TY`qDnl38t{Z)}5+T(^E|]Yc0[ [Z)\!1W~xv/jb⸜MzN{"ý;0B5PTc;^~q{bn Wnٕ0:a0)$Ǩxa<d7aVޚĀR/ -GGTPeqW.6><0(V Q&$5<鰼mnQLkk"nzA0zL,Yj5ܨnϑd֬W.rT|6fxhκ )3'x\TTa 8?.Ԇl̪x &W*b¸ٱ'VӞ55(D;8,e3E?ZPѹ8Õ_X4U 7`]뺤k5`edأ(P M=,^XS;QF\KU!i1eb[v4f]#43Dh;._\7umr &$b:]#p;n̶"GՋԶ\o*pҊ2D(sU9Hl"Pѭ+w!ܻ@=/apݽNKMX4F T,Qtec_f!nEkD?W1gId>)8oNՑr+]}kO|;k|~^!db `ĭ\'3'Ά*۽xM1sS ܑR)~˲q}퓫0GAhbWB8bxzJF6WݫR [F @y]?f7%>:[ĝ|Ru^5 w~ȹp+wm8# 8v/fl_\q'=?ȩXnل`  ƪ*;}w q-aL ک6e|4 ZW rA)Iڴig0-o%/CoeS pdWՈ\KN؆h U,D7!h ӊo0ߕ[l,8^tN OuDuYwmGvUl:ęr[]9>iqCE?ZQv! Q㒟}b /]Q뢙ӿͷåq[,Lc33"6d}b-Fz_T E%4Ğz?;~TGt+-P0u$ '+*{@LdRԺ uִkUÓtk]>Zq%/"5-|Lt@4ZབNZ٨K 2`Hw1ܔl[Ee&?Uwlԩ5Q1xihpƉۤ@Z@ͭDLP:@7LZeBEFcf*YJ 4/"6*VlT$`=c8=k$vw^zP3l1?)PNTK)A׋<V"eř2(Uc\Y/328TMdD=x-Kž A723շD*~]¦xb'3xAp(Ƞsu:aAk ()F55Jn b@Pv=;ƿȮ=Gju7xdΠǠ>6)gTz {6qLgmZ)`zsT8㞠30v( \v3DP/ @  "nU%EM>gA_Y WOۆ3ߌ1֢w56RkYv'<\ 2d FWzROn吕5 |jn{mKw%Cܵ`?Ym:ST%\1rRO} M7X?+lvϦ`,*yPACoOFH ɽq}nߗ~vi{Jr{fM&)o[ޯ%2V}/CT2+1ΦX5_,hPoT'# 1ٵ#ܱ@` W@ G\gWw{ uFQcD:\`ELk"W#SBm('e;#_/\]lb gJkK2CIFP3C^ǫ{!+B4e*.uOՄ@c FKL[ͧb(^={Bw"lym700FM:[=A>qd15ur s1t:Ӿ,Cŕ0(L9|8m񯡏BQ.W,s8 Dn\*?b}dSK>) o(r":X6sUt׶1u7NX%6}蘁1c`krGA‡oiBge 2Y7#]Ư.1Wit Y dtiPb—qRoP~)-q3o"0>H*wyX΃ΘFLll1g1 kom cExta= ӁYYh=?Law=Iv%] ft}&DXq~2êKYVWs ǜً 4`i@HG?UUtH =Yrqa֧{v輮V$%X?T ҥKZqcU(#v:h\u  اh#ऽU)oT&B~<;S<"vle~XW{m5XE+qF7m).WԞ*xJߔUsh{(YN]Jk0ڒa6ܡ Z@C3/Eـ-6jjrkKv鉖X3P`]/bPg^LE!B>;zc֐:aU4)x"̺4cXaW(!Mr\3klX7Xic.":)~.Ⱦlo~, P!f=9шZ}ӬU47⁄Eԋlȸܸan4jSMpv8K8t1c/Y0Y|7Y6*Nj֨ cEL(N[oJU+ƽz]L*|Ğr:H(Mp:Ɣ_ N~Q _Jl{C%1 g>*?FzD2|sљY\F]wS;?rZҭtĖ;Tf +)kY,X-:.x7wN轢%<mUd n"/*X_X$^4h'cvp_avwɴ%Cʆ>@WLݯu"~ It}IqR8SG'@^i'f|B *E\mv`kKlf:GMDI/, 8 KRf^Jj Cx"-{uACv 1Es7~Vq1ܔ'Qg ߳ *bxd6E9pbSLgC%xiCЇ@s'LɬIUν]wD_xV8Nݨ2T n3L ?5k [YJV=XZb  L&i"}['[XLxWB'ޓ -{K|Ql@:m3k0å%Vt lGvŨN[|Fiq f#Cy,y1n{g4&9?mĕ#|A1L!)RnԎgT7%4,nuHc7@#}&cnٕ_ _6oe )c=ű BaQlA->5}x{¸/Dx+-#_l{hOIr4f ;C9o,sR!43T1[&+t :]9Q}bSy<4àqTR^{ֹ' ͭ$pR {x#~1_7Ah!}- p`g/uY-wCuBt7xtc*¨I5'WD4wF ,;UJQ #ˆKid:fQ1Hl^%e1X 5^ \`*/p#6pvOLm:04N?Gfxl.< B,2Zϲ z!v1뽙E݇/mh<ސgbd4@, Ʊ4~Qk{e8ѶZWsciFʼn7퉾CKYIKDxƔrQ";tdLy @ 3:]1ɳLa`ƥ(aHb4>K:JłQK~5/4Z]e2I0Wqj%#]̀L0TBFoϯZk6߂.Rxu~D wA&6 IO!3!Ar+f73Њ+Pet˓ˤXx ~O hkg tm*G}OR*Fѭ+_O }Cz͙>MLW]q :^3}ծ]W:#H?9׮ݗނ;WeK㱌`F (.A|٣"!Z_wq˦oVIͰnz]F)m{:=[wѬzaa>KR/05(#Usly\fуE˅lׯas)X7 |HMJ#oL% te P,|Cֆ:@f)$=Z8:k &ͧ,8ro\v!ᏬB BnWX?UeNq=u[Y1zN|(vEz{~[# -~ TE0˽J쬖 R|٥lGHpfB4#Q˺ Ř/P=0,wPd lf8aHmh)=JQbO59?rҒ;< R9č=!A?qR lt<ߡuc߶J# 8וpe`CIe)_#ҟSm'BBA<)1ژ8/I[rzY?drbX!{؁@,D6+l3_D֯?Qӂ˻=W 5%Y:@d!H\y6=scN43}LF0bbb%g05rZ9GI[gQRD"0gW-&3MvKK)&s:hQmT9S.1HP:$ҩ`4M)r*O{e(  e9< )%fV*]ZWЇq5]!i(j MJܸ_lĽj^%W,^)db/^md: DPأQ$1Q6_2hS,jEiՉi4ϕ1P(:=n13j_d7$Ӡ3]`<\e lSygYZ  9 94 1W% \HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup37zXZִF! 6']s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<)$a ;*q" 6 +9-pCv\LX:N K- L]O[rƆ]%_r2px =7De4pK nS 1G\Œ%Oa1d%u=1_}'0DWCMmA#j"^JvLl%VMM 6ԻCQՙp| LgMp(A`/2Ʒ6SmizXecMlbd_׺_.`Z$@'=4R Vjgd`\9OϡLOIRN_yCz}Q1ۗVYĆ3 V{Vky_^^wNDQ%mMӽ&N+T@S[t=N-t:q_ j;~F8^"$؛u=Qp5}~VxHnSoCHZqfTAt]sV6I=r"pez~;w3<|qܺJ8_>`L3NSez^PNЁg]vk ʮ9-kq-UCWKc.zw, ፧91D\4"l .N7Oy$t-8@o+LYnMHZ'V{uŸ'^'DRl0G(kW*Szhm8yyL JBFk׆=)%\8uZB|28ɲjT0 nˊ\M6HixsUs|4êѪfx:h&oF !Q9ruo YH5hN{IBh0״G~pm6QM6U 1asUnx@;b_V**<1/#׾<"q4Vߝ%f*ywl/ן /ҟIWlbfp](ݗR1-7* g$H =\0ө+}L*D`sy"Eaqh)ԛ4V)֗oT4͘*aBƓ #&Fⅆd%]k$9O ibr8r|9) oԵ3armT^YP2+<ZPsW2c f as a@> >tHLp8M=mMǣjX/2yn\hϽJ#*AcqJ9fO'roIz;enP[S}D++Up!epPs߆H2S:+/5lɸ"lfYtB᫋Oeچjr. J"ebUmVIW9BP- BzRæڨ=})D R3>_8oؾ > gg0rѺ6hEHZPlUpbOFs#]WTa>1ף<[+.ĉx-Cu/EA뉇FXyӗ)7X 'bַ$x{\9C9J d]kНM4&Z&y@$nυ07mo =&,㉺g,(MqA%ûeVZ֠K^,Ґtj6>z7P@ SG7NK}:YsbXv%"r6B෸#o(%L`%D}=G(d[Z_Och[HTrۯiȋwwnETꆢ/@}"xƽcS.hWwY lmA9[mö`E5nab^Yfg4A!;%`_KKxub:pmO8+GưA侷/)VoQ;.Z&0|w;lXN"!b. ݸuT6yO(XOe /Е#Wb1BݪaFq+-~8_Q@Hfѯ :'A~\ӂ;ia2oM ۣ7q4Z_%){`}iʤN2e, %{-jX̚ȝ?YL k8 39^6l7c}q!w;忁8X=PpeSA sάd"e?\%j颭}hW@.5۾e'M[=m$1cS6ɜ׀$sUQc0Bowɉݛt3G8pU9&%܀r,IJ}:QH.4.$N,s8,"D|N?Pv0 «f%AyB 'FOEU{vQ" TiCZk>67F9†vji\ݜ!$s[N/A꣐e=!{$hMhgT]u)ˈ?J6GCZSx2_|8 zv0ٲHeA9RW G9pmw*ّfحw0o3Y$K2CgS2Q'Z@'E/96*Nj>lD'ڳb)L ՔYl(#\oHҨ sX25v4z0z"cbZs@(޸5+^0d+Xw3SfRR1J+j' `sC蓀z%x(l\vzzV.h[-;Vpَ1qUHYgX6] A2l:B5 k/Lrda=t$VK-tOzniH *h°/ꊺ }x_b]0؋ܸujq,莙2e>/DYOBoi5[aqW+`W)8ry6H9m2J&m pıWXJ3~= LmR<0!Pe 9TIbohXK^4ƴ*hp3J< g uki|1R{L j40vu_+W(UPWݜ/D¨sT܈W>9۪,p,~ӑ _+W5@%^Hه 1" :.xT *?C8R3 +Fvr.A)"`zk` Ȓu%w(юi[CgK吒[×zCߍʙ>o]%;=y0Qme-'RơPiaEq(3$U-7UVM֏i;i_pJv?~eo5N2HC/M`F)s{> ъ<٭c&sW&|O}\0%Tpb!帱ls:dL/Ốmz=a0!ᎣDAs9x%\5UN!,'A $ݾ:Ϡan6Q՞6oJ .Ds9VywBR)pb%ZMґQRq3qFG*h Z4D( F<+ۅP3<æo* 6[`*>Aq&i9:7ә֨ 뷚OLIqkgE% N}M略A]}񣣘 XwC6M^sdU5.eE Z|i̾̕FWY$=ro.j0(R|%wLMuo[@u2v1Vd'J4fEV% uI~ '.@cϛy #8 ZHta]8}I|ΚNMZi48х&O΍zbL@e3JzwC~QwR].mjqXtξP%:~ (z{r$bӗ U V3w R}ps -jm\<|J 0E%x G&YyK P9S&ZV,p_6V=Pb>DT K\|A 5틺l0b- :R/nTk+OϱYAHQ~~b_ >Q;PZT~:rH|Nwv&Әq)P{qS y5ߐG9Sm7Vyb/q{-=tLdBlt|ZQ4=RqYrv>VN!ZPH/Aႛ)g5!Ln\ވU|nB^7 &PdtG\Gn?S0=:3&ͻ Il۵j]Vh.hG5J=*G-4/b%)<Xo_FQΆgRmvU8]h 0D=Tw7o7Ho5˩ЯID?mĠ͖-{$ȥO)K McsWe9w[-2 Guu*59Zxr%V,^J .<5F_oϣ~<y -˖Df mUJx@i(-cw V{@uhu]wGZOW:Gvl/A?(Q*$$fZUmv6q_^Q4oAy *x. i<{:4%}$,a}RO݇EV~VWVC%1#({G,XŒY\XБ&ToQIR F6`77ew#޼;*@xJD+#]_H84;ᯎy]) B!UJq;=)XSᒚL KDčcHB)==^ 茚( z՝F -iafR`EvXjvz$cI.G>+J)8˧",k{GsC͖w]4$Y@|a}_=΁H;^U*&D4EAGHNM*):#ruAnk'ߊZ%[8 ? ˲b2ŸcEw-@" 84 eơQ9_Y<D-=.]A15&R8 |/1z57Π_ /dLv3P/j<>"ϘBXvhk^_ $[_@i d֑ax< 7+y Ս7rt2dbNYЇHap7>@ƭE;KU+ȫ5ah(wL]SKJŪ?W`B1Cx]1㌹J0pSDGTuR5݌N<{)F$󞙇H:k(=s$̻osDh`W-?ߜ{[F)! `Owd,\բ.˹ iKAL3cH&Vh͌%M[ <Vd҇9$gX8!'}z0 JU%M[tT)/ Vgךˆִ<1Б$5w /tw 6W_b&W^4357OyI_+Ե++:T8z#@9Zܺ~;Ƽo Ip&jvG9zT7l!7 yBCEH!ƶ1cbMe=\U_G#^xNcyؒ`1e VB@ h` !ju۶`S]}崜51 d {oW#6Pz%@!@ (r ]c̒0cRZmICfX jh%O(soU,YfF>9/5oPNz LL(\c8@Yivud( :v0,)F/xP8n<56[USz>ĝ#Ȉ46b@%#xw]I? 䝠`qsE4<9ͬbi-Yߦr-L{z,i[Ztꤿ0/{ qr!8#m a!fYu2DmFFJ6\QUme'Q,a[H)_M?itƇN*r2[$1OwiUIz钂.x} n~Y Pqz+qrR<V*P0!./AUHnPiܗ+MH QK,ϣQ9FV"c`2D)@eag:dfzFoӻ=;p!gW5⠄\B_:]=CV 4H2AG5vQHylo~kT.,T+)J\x0mN p 0f㽩+l=5Њ{xЗ`&]ɐ 8B}A8Y/[}VE/ 8_iJ(:G-$ ?$7F`Q̱qkXr„餰#Dl9r?{+Y \zE)cX3C]䒴&DXg3p,B یm-+CZN]k"v`Tr y2?=C]}c(a0oZ̺ߓ+jR9Cn9M՚!eVzQ0*Wec&u^tF߳JkAnLwzgM3%FE:[I`/^}/*Cׅ\-Vm}Y:05+"줴4qx}ʴ\~ۓk:|oo"u >m] S#|efalUm2sz-}1RBf]7dW951Dnܷ u[:eJXMF1 E,DKeK)p-3I~,3C*Fp`RMlݸK|Bre 5KQVe,}u:略[,%:n׭T*;m48йqeI<@^SjZ8MUv~&#S tG!!My̢&0Kc5wtZm9]Ǩ:~nϨU4frJUÊ Ƨe@3n'2?_E\ͭذ6gd]Ŧ ɗʪ4;T1#z-hI}nb+z*b}bYgqzCoPB2/:BuGL)ǷqO *N~t S|o-.\^),N)U \L vlja{r N@lY}~>7;m7hIzu{p)a$qq{̰fdg0?DDHfGOo_~6yw'獠M$W99Ɓc[dJ-))a\>c w?Dp@N͖p&OFCLp hNX[0)e170D\@imq6yڻJr{/Jc斄 'ʃrHcS)@'XY܁!Զl#ݖy]nmu'*R{\f "h)Ou/~ N(RXGa ״^ qrM$&SCYx ib](lELp啶"n熌LB`I DR~AgnN[=#/h|._pSt%0N,/&cX:ԿG8ZaoI bbb ]8[R1oM߃T:!0c ޴zs#nF^Ja?Pn6Ug88- t=M73|G¼D{FT`O?VŮfIbڅ9QFQ{}"psG47D^Nyckwn1I|h Ac*%2<^JO_,q>Gj՝pݣ>Q:O҉z"pwEz 3Vg!%*Bs-2 eW.UYS91J{[͉_9MR17bjFbS\5~Ҿ"chvLn{//)9"0rJHhY'լ FH5⾶o1|F!lKa I1_GJ#vH3eo1 f%aӍS:7Dy\(>?aMOt9auʦJn¶vмt5o%).8$YfPpV6 e{k$]4,~yZ`XعKJғulYk_JcUgPgYgoO})L "5>-qSle(09z~D8=Ir4m*"{@0m=q&O\gigxN:m5vF e8?MO, ѣ;[(`q "vb\e`*f'j ҋ -fp[^V`eR"hx%c /٤ew@:`tA3H-S^W2o}&CrrH7xb>_8‚!E|$Pܧ x7vw;W)NPM Y佱91o\ o6ؽ.mzVi#w3:\zʶ1*"{{Lclpg.M7g$!HDPB=f}o[F`A{[i>١j_V5|pe%:c6@́$ݹԈэ(!rׇVCX 'F/mUKUB={Ȫi/;*ZsbIOs,1̀}-aɍ ~jT<rK gYZ tet/ 1W# THOL-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' e5;lx `&)sݥLmK8u#JVQryO-a.' 1W% HOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_OrderPIDE/markup47zXZִF! 8]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEep A*eKnswJA؁h I/Ćw!ӓ?G\ m\}"PDWxv{+AFz!>Wj.Ce _uVfA AEΆ̽a<תZ k-}q&THj) p/hU'GX_qgAwd&qVׯ!FjLI ܱՒYn(24qx:BC.yyR'RxR9r19$%9/e&t ^Cr w| K.qU,5ṱ+C3owZol.zJABIQ>*=y0Fsu (շ*iв|KXb*4ԻQz~*rx:AYX<)l("iڋkq֘.yRF5lb3FYVtD ɵZZ$ʁ]tBCIa<_*]$_j#}e@C]8"Y"pU&zxQ!%>̲h!(ǒp$Բڿi\ƃM4vJ>w6o3 ܔ6m۲ љ&Iwa E\:KT_ǟ j_/)^:9@؃MNB&^ e/r_F'Cā2\2"ݜ-bA׌+Tsi'1.O$ƴ\JV!ȧa`p$^GT}fպt2MP ?!PSM :Z9e룑6X'1ZwN:Dnڋkq|!$Ѯ,lj|[7Hb;s\ ГEքRu/Ebiݷ@;p}(s&4(!Jt8/x,]O<D-CD@<&:<+A5/abUǕFCْ<0UP*Ryh' VP3gƩUGhr!x q'<ޖ07i_UŖ{UÃ!tۨR*p}Π`I1bdm'Tf78xE-y  <1͓o|o3#"JNJjorJQ~`4jq]R͝T33V!V>!DseK;"rQtǷߓV[(ýN=1%OM 5@WAhįtn>f.owѹ,2b)!T3#47>W.L4a#(M BP$S¿yB%V/y#uS(2u.:A <ڈUqwp}$`DfJ`%?ᆯzFC+f8:Y-N|lGmc=<Q3il@pZ5S ޢPP0gߠ`vm)(ipMǂe{9p:!24*yR/ՊLEtO3R' nv>sx(Sy&ag;c%>}یGBe2O~K*s|ûT5k+1"gAn4401}hڃ65+ӹ{ 9Q|谞LtH- T%K2hԐXsuY=dMq*Pp1娎ߊYs*qfdn2r_=7dI7>M4^oEw~avd }svD9kepT[YBg#7- izIΙ' Qwf SPCH)Nm ښkޑ'TsV\< ѨV>O.;ssq)>%/#"Pbo7@s#V ,B;[6*mE6V ѫqF&؜UD2haxKcWy=Dͧ=Dy r'ʃ,udza|Pэ[g ,L.oU ^P sRrW`:B49)4 (%Bƒk 6_YkG%8nu)SMBI뻂f _!%2gMsI&|NYMKt4R>Z>Ȥ}hd =5/zz+ctDX}L ALKZZg.U o =5G7Z$\HRm.rP]lKKq 164cm8BG~e(]B%`& EO|p ѡ >Erb)T cu83!ӏ& mL3'K4 ,>!٤pDL)(;v,,[ЇT'y\)!\lMIA λG7ݙǸqQ7nztؾG9˵Psܵ-Q )2x L`WRt')]1Z!Xq V2Z" !;P,#I_xTx$űNܖ!.'/)=/-STyGudx)<fԾdntYF3ϡg-^iRwvX9=QO!c*JpFhUf&F?x OG[p|;ФƗ`F^F0A>I.)MƃK+JU b#^&W{Hh) ٛP} Dɛ|35݀i.Ilzt 4NWЍ>c審"Y]Y[X4dAđ@Pf\ }ưiҦqu-}͓CiW`L'(/I3"qUױtF!JHDw2FIG )+I&3?<֬RLupπ巴~}ƫc1m8t3|.yyz4)A8ubjU,ζ/KtUhlOn_ȷ9bqiaƚQrESm?6*ldQ3o#~ONRD]U KX$pBQPkljZW!?mh{)00 2K86S7-+ ρbx#R*QeR<AP˄@"HN֛뮞~t60mt#$E4×}VfDXlgc2-=W v3C%9;70B[)(^}UY͡տ$N*pJἧJFL1i!cяK0qRolJ[?S!ݬ&.H$@@%TkX9LHT2S1:-;@x](cDJbd2}F9?/ZA#a2Z=kuAѢu^5{29c-,HG &6e&GA}vMZJt3~Z/ʧ7[HW6M_7bӪJT35n VHDvx-XqLN2)iNj,?|QBPۈo4,>^6?"tXqz8N3wۦShÅ':!MשM&g4693n֊SҸfŠmL!a_\?U@jSRN4jܹW1lMdLn<vXp01{P)U*w>+*TGd$] n GͶ+eWj>EŷS/0ڥɚڟ3sԘ cpaVdW z ^\0O^di(Bz.RD@jnm®D։HqXZmRвƀ'bx̲ "oD :cבՆ̳Ԫ?G"*h$18~lvF k`݅z/b) c1Pz@\~<^Q)p9H50'諟},Ű e6͹s6P"49rP v";8q*+kΚ٘rԽ^N])@)-.-ӦD/|lx#OڅwFTvcu=9{Vᦔ@Kwsao A"8K \*7;Y4m :82 Xcl2n/`+E߃|?8Tj9EASt+Q &cm|u*I\ Jz>I*{ `EϺW[n!{,AK vBCZW= -Hk UOofאB0+QD't)qe 䤭$A h|\eAR@:JㆄP$qȄ‘>;3\-obRFqD{ "1n(8xz!fqsyL^?x}f~$BmFd r0 LM^F~Syj'\4_5 V ( $-/\qѼp Orb6:N >{nSm@Y寏;}q%)pd`r|}4S$h!UZrx> \𠌽Uinu(V9@E 5u>)>h2̣Ӥ'~U$= aA 8 id"CJ/k!dmF*f(uhWؕU4BJ|YLe{ پ~ckrG]{"]g߱IENGQآ%lN]6tGZ;R dbZ\^(?پ.y:\LrGa?]:?9OVעo^çyȾ|9ŵ9{hvx^K \wh2RtxTH̺Q1?&ȃnt?mf|.](«b5L+@栄ƺHJ׊Z!FD}k=N<OY*ss ^!s>}4iK~=Mø#򘗎5\^g%ABH?d@np揊ʟ}N"Lèt?>p?ެmz~?>Y$D/ATֈߎlXè ] 𦝙J?{`ͩ;65jI;@e0(&D $^Z1Lߝ_;엉eyJژ'.4\PUO/ԩ@Gp?CIROK|ߢz>O g>r5C^\QϢ{DiB0bzJ>K;8, -!hɞV3]U^} N2^Ī9Yl|nr?]t =ɵKafq0NlnD$%? >q ʶh; Mvr> nXkq© ̲0QI`z/ZtT;XoZF<| ' gX ѻS5lrFiQ艣?s\RCkxJ'?6&ڞP$O\z·P鬗_h n8kNG{`Ik+NZ K1QQ)w@9By'v0 "tK BFY,y z¹** Z/\㸼`;Ƹ(RsllycDQ1'庺3+*V6NlҦ&Q nEap>X3#D/OkgnMnduk}:7fY;a9*_i5{`:x{g-bsC7Iw+Q@tDyԋ,H)9j:F<>mt$8=ݑ#= m0rjUdPpaejM| ;0:WF}P %h3M AX_ N|B(Z +WcZH%mL=EZx I jFwF]‹%׈txIxpG1u =-]h D6s*8 8pRrC S+:Dڦ7ı#A31F9(HӸkͧҲA n}Pk=T~~aӐ`oU̼#۶q'}&f,Ayƕ~ŮMB L0DtP/GT㗕>EQp! j ~"#:-Vk#/AsK0n]g (fA<+N4zbXp/x q7 Adz[Me}-s3K#hmL>q$a8U[<.ъo͓-Q>2;`W1Dlr rvS9*ܟaB˵:*<ځ qk6q%PaPzE9toʶqθ&'8~xP?UĒ"Ӭ+۸T%u9nq|dz>[ag I^ l{ bi; Rk{4֮iRX')%r|8-[E%K[-^+n+َ+PTTx ~-] |oz vsZOpū2Uo# +8F?EQԔ|Æ]'WGZZTjkϞ9b8d_/p}J'5֐yn'8DR~yQm#LH%9iL_#['KS_q4.ťT@Ux3ć#: +h:v('ɉim6tpF?{>?fv!+!7% *Gۇgpn/M%}VW?Gị2U 7)ޜJ4xFZGu"@~Zc9(\x)⇪QVg| ){5D[;Mڒ4CP-)M :0Rk-3X9Zۇ\9($xTr@)p~[ӦSģx>E[Brס$徫/ۮϗ)f,I}0fLTmQ-NWEMGO-/ g?uZU*u@ [RO(#B+1*cy~J[=R P QNf#cG_﵁A,zfPQ +J4c:,Dύ$F@.$͉OT'{.c/z^SN랦Ǖ0;iYV5@SW!(`Iݸʏʼn=ۣ-vɧï>g kI5{71NB&ј<2tUM'&uUpcxЌmeJr Dé_yG6Z';Q:ha~FkkkO7fH:ud9'+Yδ h+/̼o:H<ƨ$0z, [`G 9|yxRio1=o)(o;ǰ2h;3sN[67xz82MRn*  [żHr>Ƌ_ӥ)[E %]OWr-?Ĥuqh™Ff9t韔D5s 1LTB }{Л3,~pt{1ź;UTe*]%3V֘MAܘ FI52vmĔ__bXڽG#&ᄐYwJ$6oriZ<*' c:mmʁĎf8(! k=%fLS *OH79_(?M帊!ͧ\Ny0AʀiN.L v1J<'x`/$«n\~> Vw47+ь:#Z,6U:X=5PSmyKs/! R-ম|yˑ4T2V3W-Z4O%_(;>L_4^ [JWZ5SN|FؤK ҭJ7 gʌ0Y25l|yyTyذhrq=^>*6QTDY@JSl(4]2(f8.*K*ya*љ^]93elNK Eqr79:u&!yh/M,3$u`!M#!CR0 ]f)2W#<+:lt4b( ^Ʃ,Bd=;åb dІRS%SK(^ #?BReߞ kX5-g0@ ?__CL{(=9ld\FdjxQгݪ{uy{('p՘.t'">[]i=a޴Uq/RAV1B'vZ* A/;l s=(  A,==z)OaYs\u{4 ?s[ģM[lhڇÔ-_s0r v-R}v X@K X5?MzA^gYfMU^H ;D1u, vF.*1o5lJx"W\ɒ Q?.tQsC(H|j5H2q+lj3㜷v++=2P6KHk. /]VQMЊ>hLR!Nv>Ku4 2w\#`Af]Q $F!O MNu5ݒj"fAy[3e\ Ժ62Imid_ CO(혊Qp`zBf ˻pb {KJrT|]_Gz ?;`n ךx/Kf)95H[3ˡP3bgB*gbU܎,W]"VΖi&h<X0)Qqa bQbsz6O`|b26u s(a hqta\a?Ur։-̔}Q^Ll P|.;<4BEK*/~J:%ћv\`B:NMPh`XS򿗻$aVDoI\L"Q0ָ906y{ xARuvNe##MfT/:8^RuuHXaƥ}_?m~Bvxy˯39X:fv:?5tQ³k:~{wgŋk)FnsKтwrQ{uSE.io?jR>~:%lF۱㣯UVS߾%Kt0@Ԁr5+Y7t ajܴLo>T(h l6WnC&7ȅMvVl"@eob]b> RST}-6"Xg/<PP~vfLK} vq}(GGbQ[N G괮pJ-Gy?x]!KCLY:z"ˇXFi`3KW@\)aKʲ㟂joԘXl_i&T q->eUb0 xؖ|U0ںyhqJg8 L MpT%^\OVѩY)P?`\Hk@ \7+˩?(Kb h E}D-D/FbWt{DE=&vU]xdvK'SłȎj^@hZ4CƆ+$oE^3\Ă㉙@:lȱOl{Ŭ(YMpg d}˱o@+'^eFۥuZt^1Ð5xC%xk J+&ka*TE+hSfk"LlZIU+C|>M(mHe&*, c̓XLg8JK󵼓A`)Q`q<H1zrz^x``+u~9O!3hJSEΪ~T ϮM⸱?U 9ssR4~y5Ijޜs)ǁf^onwf-,Pd16qI9rg/Lӹџsm QCTZr Pwqi>.҃H<' W"b1Aepf9*+TPA1 ;}@NPy3rM< ΞK"?˒"A,N' k=!©89V0ZUoM9<_]lDθ7ÖT:A N+O* 1u8=zطdP&zrYAf1&&34Im|QDh#ް;5Dʺ?Q!ˑF F 9*. .Bdʥ8Qzʗr#ɎbʩۮT^KTr%[?`gcJy]$2C"Vܮ*aCOcSk܍iBW{3C#–,'kb S~dKY+ 8iJU[!6^!;;yJ0כCEz^DlM'&nJz0l"S,~b1:\90-c}eՑ \T-$P޸\:`}<7@#]dis)'BeG1wU p?̫X4ly8hrS_Aydx8oV-WQZx ^ӺnŃ*>0@ qa~$@kT)HǗP+iO(! ݐHf$b[^Gj04Yeڕ&C4ѡ}uZ"*!TcL*J;ZEƱ̇kBd(Bl  kǼ'6%V` W\q:d%+`W1 <"K×?p#/XU8a|7{fV- d{?3pFu tFtsfGMx7| вSD6TsGCz"^|oRw>c6냁91 GȷA}!zv.5qwi `ڹJXf-*x0C50/TQߺ<;%)R f Km;㈼x>g8E@`[I[\|륳fuD&4ǗlyI5آ oZkmK@ֿwwa`r2pnTO4_D[Y¸ %{-͸aL*\/ћ ] &,Gq?~1Vd`w Мi|Y(N:H@3.f8MX&~9"o ŇL׵-+ܰVU"8YqJSგeZd@8s}ϊd| ܣrv,k_0G\3vY,T{k[!ЅΞwvD;2E6v>f[0k=tmvm4C`$A[^SS!ߋz*Ojc o"<*71#8IBy:=4ڪblV 1jZHjG {>YuM$lw &RG2y̅0e1I}Ɇ1{j⾭fM}6|p0[Nr&FreK\'.r;rPhcuc} mu0U=Dtˍ"c)#wY$3"󤉀8rDEojQ9d ЇE32\a[-?k_(HFGyo*|[Ⓟ㯻);sۚ3` Y|{>E9KKSM)Jasd*^s$쿐1FLX#1M:?T¸ܐ}in}IfE;-r1@Zre;mN%?=pCy0.Pع-]~{ap{]3WC ,ӺE1:Aқ/HH|,;Mb"xf=uy\UXd"}wiqWy-QչެN*~+n'hŪQ VFb*i}Z%%a>Za4yhm0 h3? ;(x@DNTl*P2;0V!ry5e m`(SF>eT[qfT,O%vY.462 eT+}eF;̗38J^gl28}v&5Xt\[lGz;*kB`Ak`CPT= B4dBȾ@5XUv;Kh)wOhO!;V*Q;+!3vz(6>=|hBv>k(I\v6)>.@) N(#PA4&≐Tw!1h~B`e[=+8O.I3lץ\C5юWr&*V}I1=;"_m:U ?8)RDw ΢ALᄁJd{W7K R$[!^)[!GާM('hdP} Yh lGoμ|YͣQ[ʘRB+GQ9⭶b6T[wHjG%娒RV |cIvi9p]± lW80Mm,PzdP<5TKYmD1F0]̞0ns?}r1 8upm 4X Jp3f!/i3&ՋwvKJIBAYt`8Sȃ${홫kW8<痟R.vԥ+Vٸ֯6)*+YޟwH{(ȈLޠmU^,c=R҄|]8a I.EU]qTq3ߡU9$iB8w+K?YIOMm@R^05; ?^cۇ$_=',^8G&kjg fi6;%F70lRH`@L0su䛢Qx_"JcRx¨dCi7x:r Fk~ 8L#`u(:fU㉜U-\f1]l{jYnr vPvkP8! 0"WAP~U,.:D3i K?Y`c\"@1lBzZ-Ovxd!A.!؆ц:$.ׁ`g f6nǃ`\7esb)o"!?ƊP:g<{]x{il1 b͍QtyF&%6ZzT`2F#ʜ60S%Cd uX8<M;BVGWF' hMWe揖R}µ^~8%wJ:}F-Wv9|vPٰa$A3 ,"wr'i!j3q}@I+=A)YuhtW[X`k4SW=m7=!Ԛ*Z&i&]<#-KJIdZߋL_DeqIWZe+z~'N-ˁfd%! s2`Q$i ͡JL6ܘqpc>4?tL?g1N`K޵n0:CDq- n4d=@d /,Jou1ﬕ'Y;L򣴒 y9*qBP9v#v5DA]1gٌ,q c 2V=h[MvDȷ8NyI/٤05݄1p`6E3j<3tXe`3E0P4C\iզ!Mh/.{7V! ZWR6P{vMÅ:(PL1Uc6ސk٢;9c_@q5$s鸆`4H{hoU(k_ŊK,>>u2m GOk\\˶,j.>APɗ8Я&?ʙbr'갘|& D~ %~#L>QF+Ub-QJ MU/Ĭ"tF}*m$lP]bgBA.%,pʠB6z78agoVq{I.8@j*ﮭ׻D-X, *̰K<b4=x(֐ 2Nj>Ie4>&QGB_Ts印]e.ByLNk_C8U VHz1SȀ1I5@b6㿪bYqkpf mDY}'h+(=`)qCh4j1K{X7ф^.n+FBEc ĄƢpa}ϱ_Y9JN.tqŬ9U7Lҽ =ըt!-%mdA1~؋,8zl@E E-xG)6$?Lq)>bqX?t7/5zGEB1x2X:$FR7:ՠ60%8f \WNH 2'@&5J\^Iv=@^< zW 0/eX5ΗqdW?Lp*H17ē7WLؤ:؝]KyTSX/E(? P;<sMU$AcBgEs V`[p 7?Z'p=',WK#2փ+#CKۤ)m+YS4QNuޔPTN.6Tʠ#H9¯J%vo9~64[ HLoIg֫J;`^\^=B#չVʙBqc4IxjpՁdenψdҸJ""/o͂fʖ?^F#[<=HގD9kdf^45X"Uʥ9n13>?|] efX< 6 :΅#^^J7 ^CxŲBATe9J/pCb'(Nh`k8HcXVj O!:FlSDTD _gWYՋ3mXGD!t, +!+SQBoDqbPrn%P3L+ힸlYȄ \怟 и֢C;9?.]"@$ПaAJOkNa J̭A[D!Na]tr+[rs*6ڹ$ 1w X#hu"3|cO57.lv%=|>yˢ3wB I sy7fnmvsp9' 0YȢ&xw}j}aY:1]h?ُҦZH7ZP-8ڄX[Zi|kT]\ћ ZGd#]?FWϠcV (F4Woc=?Nd,[*N1DHP0}ѷH1L:pLvTEΊl( }fU*!EZf_?C:vT9XlWxypf9-RTZ|eOZ*=q)i#i}KB%}Y%܁3-t$k[;yL;0ɤopnc4FyXKN B8[-wbcc2@A+X_ODR@s)& Qws|Eg$BbBp oPHv/ovm9Rt3(-1Z[&XjSB|p- 2ml5fߋtfl!dY4.)zֆWs*Kr rHZ=ED& #{z)]`D2i{ ?<iK:e=ЅF@i03TcIb({Q;T /q~ZxE;/%$i~l~}5[xA<P!)RsOC}BV <46ÉKmd f524sN#O\,L^6L +_diυXaaHˢ]|aʸl;= 9չɖQ/r~Jz/˞b|WT 6~&%wgխ-7&1t+\GFYRM!mS@!5 8z.j@yoݺ4s@~`5q`25L C/y:n`|iL[*%#CUa%k3HdVd#P#gze`]޵rH'ؿXϛ|U[1;n*ԹA~KqPډ :%Ĭ&P]8J\ͤR2S3:F*ɅuM]kRu[h҆7J/` }fpjXE䖂9WΛGEvo4٘N5ϖO꣕in9:OonCE}锫%iz N7O?+%ҪP:4e7 4qͅidK`榊G!L]p4u33_ğ ÙY +~g  1W78ڪ_Rw aQ2Tv́;N $^&B~M苗T1iL생׋%q*>l]x.H-gS{l͇|2y/q#@]2<2 e-;84SuJh~0_ CEZG e7/}S* PMHG G*ڙ ;4reLpE^rx,?}`luSH3KQqAD(J[֔\M-90X/mc`>wc:M?P&h* i3TD8hwt7 ;,5c*}\< |5ޚڽ$L)\o ʙ^3.2 X$hPE'd۴si+N+)CZATOL-,|VhsghT?=5fJM,}_d:/7=FsB;̫:BwaOc~ u V#wھ+6CKgx6t(4n 38]3~ci/j?!xp&TaE{Ĉ;sk}b'jiF_"}%>-|Jx~<,Y,H+q9R _X_Q)B0ԷJ" `Q02:#i&ګ_>]Oj8]AvlVzJ |wa)ڃAL^Ls~ٟE7B s\E ]fOVmp`zpP^u48I]aV1G0Nf+<ebw~ܗio9|e 4EG2xpJY͎C RUZPz,m8v2z$=;+Y,[]COJG3M ZWn".= 9$j r-V$b_Y"w_%?-C⢮0zT 8ڡUVRSOz#qQ`wL^ax)6rT\I+iR]0kKަ!s8"Iku#X82 28ASO %Tus$t< ֨tcQ!+A scɧy%DmZj`cngpG'X6wúPڱƲ#,7*OEy~ۍR=q[ury}q2qzJ0݇Ƣ3p/ [LztU YPE[AX鯜ԗxԈ-W-u(TW琬GeJ8pC<=A7Yb*{dD]@'mreV2-Ϧ'#d۳"̱%*^Z Z.Uǻ f:Hho*Vh,8aHZ+6?p"mO羰|Im٣k&e!Ikd"TFnֶsd%ք-"ޓZ}!#jh2@eK{-OTH L dɎy-Џ~37aizq]T~HO%GLD;X՘(iU [=J% Scy7(jmþ oɟ5/]bؽC)j5&s&QYj  ]pS,\(^j JN*R4R:{ut/W CΥO1mlm=v H%R̼vƙ/}JVcFOқXt`tlO&2 V^p(g\ Ot=4{@n<)+*a FIqba<| Ux28:fA֪xm`jX arc} ,h*~`؃<#$9 TGՉVȅ[wC9"./] fg E{s#IPEVl=#3ǡ&d4M&߉D-&߄`p. i*'ftº@W Tym};~L8: k8|UP#Fٸ~ҁ25: ƣ9^OҨ4r]GQ#E&|.0o}hX˸#3!-$ʯZ49V /&:IOʤib2Ww֩祥GX>]$^ďپ@/fd:#9ԯ SAqRi^N^SXv4?'$9Hƾu xƌ/]&^f-H!1w@?ᛢkeZsTqw.1%٧]9B+-Hz!FՑ6TSf":oz ^"Յ H<O,ZW}Glxd%D4rnY$"yveՖyEW\%ANrh\?3!PhA#{'BJT  ~٦Ӥ %$Lp ̥ךi5= .svcj+具_ |1Sbnh(.[%B41*m%n_1JNT/6ҰfnP]yE%б]@ l5WeZSRJ*QI; x~+GD7v.#CVExد֬$ \ _"hr};QuRMZU *rǫ Q,OM8v)K wq^x{/Of˞)@lkTC>p/u}s4o~2z;W3'&'fŢ7s2OنPj FJCes=!|]VIl=xPh.Q83oRuj4e zV{2jo?s @8z oC{΂ 2YgT̟X/&cQ=c6ikk#nL^TpS t4|-efC]5ݍkiv/? jT!k幃lKTu(A8˴#c2M':JSLƙ-@A+wz ;rHI tyC5,{E5E+# e{`tuH$|a~A?5 .4qzAQ`ىU6[7`A ǶZ^z(wXyI:% PL@S|KfpqA-lTV ̝Y ꥕X$)P\_ALt19f\^w|ȭFןfI'c j]7cOM+q+fz]W8DӈGzhɐpb `"9Wsߒ4{n)ƤJ*Ad?{5-YYM dyaP@P,~lQ;SSa`)s`z~4D;wGTZ(y` &d7u}lR$Hcn妇*^1=_zFl~mDQK),s1Ǔ i,cuh:<\Z9.h,[55O]ޤc&T&dBvqQ ]Vֽ٧VflR+G)Ct}kyTk{US%(AR%Sz+W>p9"g\WVe)|}#FTwC^ݒ{? ƞd)ꈦ}<'KOsAdF(D tQp< (1q†T$xn-ga-cn Gwvvtr#MT$>i2l~w0-Ӱp޵/+wM&d ܞU(a!b=NKVTY},M `PR9+%rxOݐEqY/s|e]Nq+,s/ԇ +táEɅ~@t:`ELb8$*[cr ; 鿷4[ g8nK o`q} CBa_HG\MTwS}o@Ut[~ԝd!bkt)z섬l'h ; \GɦʌDȆr. =74P>U[nfJΐb \,r]Μt#GIfXao04 z ̛ȷ.QM+r393 O^FD9?=@CEmh MR?_gmN;H'Uyjs|=ֻ'ɘ NWvE]\4 <8>p6(~ol7tqbvsp">8{b։ xy r$C#$ڵ*Ъa'G>8K?Sz ǝ S`/%BP\n,0RڒEvG(<_W6!]~JBū4lׂIٕ̊Cg pR- cվc@KGc-#+\gzao߳o<+X )$HlғheS5LzwjcO8|_#pv8cq( ?~q` ~h(nzs^l%A_j(vuScoɾ &rWD6v&]n ~&x|ϔge9A! ycjw8kbP p2Ʀ&A/DOOچzT@<+lӸM҈Vkh;IBo{ FQ?gÇNSv+mt4– aCaBަ0&0~Xɶ.Unǔ+P(u|nCQKk:DBfyӋAThL4]W Q8Z2qlهn׀!QWg,lLL*Kj|r_+Ț5$'s7 }H+VMh-P̞/ۀJ8*{3uL$˲=(#/kJPoy h\*^|uȺ:ޡiT(1 ץƝaR\kGF]5gw4ZdYr.Z'zz*K륗ۀ ߜDґKz H'/IJd^(; К(_q 7oS6 _EPbmUcлnbC_E~3b jȟ"`E 6NУE#n&DPx㆛31d]nl{N]yu]lC󈎭baAJ б聂G7U~` Vv?+jJ(l⚇ 6A 5s^V VƳ+],HG*atJ Trd4EǶ!rƶe'.ًJ^մa&4`Oy{)[#3>is[ſ_"$Nr/j 5@HT3LWҨn]@] ^;W_i=,"/{،+ZK%}`$A9Qv茢1:"ڦJ54GOo S_kIRk jwmr4!"p2ֿ!NPuCQ\~3ue˂*!,jK%v}1-E ~ooF"sngTS=`p9Pk3h}HSNʩړF ZFaifB:\rK`1n,n 3Fa ,%TbbbSs2ɠBswO(p&+ߴɫ8Q c([x;Z,:5,p,1=04#X;"b4zee2}/%".AQMg9.+XkXRYXuz !IֳCKZ4s^3ِ‘0YӅMVB(K8ܓ۫jX5@ ЀLmmHd@XÔtW> oބ,"DĆ`80c&%,_FIV(dxgv!$3)ۆI=crS 'Fmp8Z߉&^:./f K8Ѷ\Qe#6rwW!tjWI7)4j1h ъ$ Fb,Ǫdc9k^Tdʄtט.U#Q\+ dC<4YΣ9d;G s7dvנ8|y$e#$l'S ½c#!EVכW_jT8tkn`AYcb1ye 9uyQ㎇w`G1$]gpR_Rſ,jޣ0MAVX%fn%(}Nq\,_M'DKn5*&`*s~TrtLXX5Y+\FANo  M(ɯ@f!Q6ZZ!ty~5ԾPH% i[vǢG{ڵC y{V-,{]`O}T!T *+B{6_E^t?:SMyelb zG" BL/ޞ a$Dү~pLhު% LyEgx0a>G)ٷl\16 #c!1GXm/v3ĻX8}v׻hC&t*_9JOΌ@L6}WMGLrN:{" @)*o!l] T{PNrMU=djr~IGKpwb #)KCM~>|?}^I3}? s5+I`Ƃ8^HQbOҼc s$ z)l;xEIwD9WpkPպ-@iCjWD 4zd \4[t>~tEX_`Tu}|UoZ9 Gvu#ﲰ1e,Iq{<|GJbΠlTr8Umc S$ t@9'4.>M c6>{CP{֔5JNZ.W*;n_oE_71CsdۑOeS4R^eb>oNoB /ґaoԥ>y$:wypIqs(*SҼ3AV'G#V`TӨOb!;U98GzN+gT 51ŞAO L+qwf*>"ASqץftHP H'Ҫ]" 5bpCq'^`4E.#I4SB1fM E4̌FjxOl T-`0y3$3jףiOq┟K׿C.tק{_(R;&2Z(mVÁQPpb8w^ 8WYj(G㱌=dSP)!n8C֣*M C_~L۫Mg!bE) GJy2i"r+-jt /LeQK1Oً¸ :%~b{ x:|(D =BQ̬f링Kj6Y".蕝ڰ4'A*_I䂁,i=P8/*%O7Yke~IjH6i*.UDOҋc3<`tq=T֜%t48)B~ 1ڴ捨}cKw#Tk6n0> hOC<̯"{%Ȩ>S1M>EIr׆Fr;Tj2Dy)/UڱIFQ  A!Gt<^Gh훆B\ ki,5G*@=B0qf ]';CԈ ]K#FA-d=m^P<~ kIQRBkPE8 ALdj0ѽnm<Ngs]Q]8o406g `wSku50|[d5j zc"F0~>BZbA o \C[ Ipա0:GS 4{/R71KTzlVz,T]naR7`krj9$0+3۬UNR#{1x`_ % Ϗ褄4T21*/ghex#6O]?&vvk-XzFKjLD0P[tO@jd#YH؎\u? hG 3/GGIȇ$`Eb'ܿ[~%xfq\'x%5eO?8_wY&?dDoܧL44G?WMG{%b=|Aq>>AKhA-P/ʭJCG R Rժpu6t@=18xn+'3_7޶:aCEd!4eJaн '~()9P>KwUPIn|/,mCmB*)j @C׈ e3)[qlᔼ;ra|YjL`_7<˅ ˕jض$(hnGN#FNj=ԈF: $.m`kH("hPH)fxR8@HXt rX!|r_9AZ`ωݬʭGkb7wGHW(̧xȀ3P01]e  x4t6>(9s3 1b!]6M}eMyѹD,R0GhYg;_qóB6Jj~p*􇁚Ve=]1pҧ8!i*yAS Q-"}`N0H:йo=3<:(iJKR%};Tt2tk o~|l6.q+7 sƶΊ ʚZ)5>/ 3 .=,N HTPH6u9N(e3x:!xG7pLѺSLFy'$ \]?d\6go9Ez^d`(lAnԚg3D$) 8wH!&OE *52۽IJ]Vc6y9(nB p(_k=:CEZX,{Awƙ 9̄˷14~J*CP--M͈Ga|Cl8V@ϖl%,]l_AGkqMI(Y$>~Hl{a M/B 'Ƞ24>ع=q^]xT]7X#LvK|d^o tuE"@lAWw06z XRFߘk= N.CA&l)vOXm pIK["ZHx/#\@7;yio7np61&f/0HIڔh,h} !|FI(`!e$UNdgax!04o:~[xp/[yH~kp6+}e(R|` {uۊs5I[%qWďK)]X&8"ܨ( yJw'eʑ:b4'GbR3)c9kxi%|4V<[|A,ujA? u7P.XfFg@hx#{#W}%5T/ײ :+Td0v1|{4';%u'rVkdy?>|. ) J8171y ~k~%o3}!!m@˥> 6S湼g/v SfY.8ZOג\H'5Yu3 j<{Bs]@4X Wެ"SZo'DTX*և#aOm9|{x=9ͣ6=${LbæGF]@MVSBf%SUsyg&hhڙzY`(x7Hnm ː^X?cdn3h(\GDaam+R'1su—&oH琣["ɯzduU\0M.2%}E $ҷ#L6{z'CVTÃN;w ʭe0F. 1@ sQ gi:k-/=p̍rMu62CgON8|:R/ao*6h-#uflsVgNn'02>~P-^ 9brT0^{/<:fD+v5 ~lM!C'$_#<#Gf<-I%,Yx9Mi-n}r+bKD'r63ي/>!FU m I5Ҳ* /y%t kCa䕱̟KU ZdI_# ?Q|=& yB_t=؅}uYl% nbc/dZ7_8rO0N&qj$-:mLǍ oFspEHƾњ9K<:FPg)E07d[DWx8qGog Z} HO@PWo9덾샃w3YW f/ky|نsؘg ٓUSz㗕ͱp!mN.i(_J#mu}|Wȋ ڐ,e1ќy]_l7l?[[fňO`A4C*[+[$bhGyOheƲ>>^}V\!zӯ _*^ qX\eHLɑ`\ s;/ ~zYvԨ͎Dsv淲E a壐}||ZZ⁗ hMto4]qz'~0 #M;5Hx8Ɗu-o4с5$OTg"ZaJ#$mN~vDUFa$J\yKH*Ļ:$Pd.aF:y70xHNS}{n?'KE&{j\f}RLj A5o?)sY$Z7M ?`)Ȍ1[V[X␭RVO?u>KD8Cݰby7ʤۓoK G; r̀QFJxF,d㒋v#siG7= I+侤uta"ܑ J.%T-J9[x:~bэgz*7H/$A9bԅ^+1(]߃V.^R@&IhʡwKhʾo=W/'zcn©c~6 em`w_#1dAJ7rIҁ@ l,lnd?"?8eEioƋ[Vrj?JOz/id_n.` 'l̙r=!?Εc97f5m ȒGxǕO;v+Xm2 k$L>W>%LѹA J1?B$γ1}L ! &3J$ vbӶ>qFF3w<%Kƺe3>}_Dyr!!@%>GA"/j0NCű M*v][e%*Eol0+y^ UDjQtZ(b5M4c119u%#MjLIx .ސ(#cՅ,XQ~F(nC9zUMḊ-g4R XvDK/2h::!|$5`s v_dA_^;̾ NJAm"@K@LUn `Y+dB՝aPzjZs1B|'^E1]4p ߚHL$oaIȣ9KAP1`S%)V(@RDDGEBɇ 7HUe3 stx) F1(uĝ&ct&ߚ4?Lu+ kTs@֋'5,ſJ K V#)H֌^ 4yF ze|8newSߛ>{:e]zu!0d;C M+z՜W&+C'Iԅ-"ϴ0WQ`,?^)hKtjBaP̑~4ۂOo:V[q3cIZ9b.0Ccoul*Wd>>sIȀh._{#Yf"҅٭虣,S>-9d=gR%@˴Cxz_'<{\|>?o+ rs _+3;D7F{ə &riK01lvsU~C:S {c)qVNQקLc6%1'#,&mꨕtpkm ozʎk\4DR seX1 yDz{VW,F\g lҵKԍ~ `1Z"&YX$ ?bV.E&;t+yWX噂`v仅5iaTK#"vQ` #+8ِF Jw5K[-`nD 9v3Ob8ȨSN7vv\Iz$^ N>z>l(@7HS w&Aoxzpao+@X+AK)6쨖qHv<K7M{fjX,v $GٿFMSaSD\ c&q:M0 o`! 6章13l{}V{90ZckĔNĐH,%TMT\"[0;t"!;@YtI^PʇtV Vye%PY6ʲk#x|[{@r zB[<z5%-S]Ko.o3pZ#~T/HfhXnĮ >S| U z>˱3BP/Ь`͸;I½k,_H:PJh|ʾ}G  kM?9.&k4*`ClCk\k+o-K`Joy\ET#)`zKB:JtRxF(4C1|JX"IgCgTgMaYdBE]ξC}DS8kg]IphSqlvڞF1 j4~MO hdwWN睰Ȉm:sw;OѤItSUbIxf dgVC! Q|!:td/Qn(M6YZ~:ye @c>@UBbJ=MxPE!ҼoǺ 1͛OIϳ2Ka^ӲDk(h'nZwĿJ:H وbIx~wTwSyy^z" ч1])z< 0J6]`U=Njא0@PQG[;QH!g11s@^*kvbVZ8B虿4Y\WH< BiQ,~uge׎h !ZQ >f2?Iݭ1҈UqAWbiL흡<F^6 F""L[eAP};;:mym#̫؝t{7i۳%2-V=ŕ=Gr(gi4m.Џ j ܱP!ݲQ%{S($bEgo4#"*)N(e #{S3.|!Z.XSBjI'Ӿl-0;ƀu6bS ]ri1AF/W*$e9WQR`̖bcy2oF(<8Rۍ8)}8ؼtE̵1~.'iOH]EF(6JaܧCCnG77W`'t;N/:6Fʹ?י95l%52wSX(ɲ@\yvXIm;É&ÉFʳ[76gQ!{"+LM \-EW/hN]Z,񥗉']`qkR*)rF3DA_TD#ؾeX@]suZEӠnz{G@FY!'ְ,v-p:4 qL0M sno!_6AC]cNNm@Ӟxj켘egBQ⥖6f/ZyJVkݩvp%8("rjEs M.1"N؄/yJ$&9پ!^f*Q~gI4ܻ4Lz \{P$ZHVz:Ү0!9F6Qݔ|{%5!\my=ӡ͑xH]I92'Q(ilWWƿO5cԜWD1i',.9 Ӻy-ט-wӼb+a^'u׃ȇ!L%{;0]Y4cK<[Y%XC6t䭱gYZ3]\]vUpp\ q-ycaE!qle[HXc^esUbR?{^0'e+׃z:pzee{ Ki_GR=m v m:$MeŨ`%0zS\Rew49bn2,)]KB&SHSDV]J^;DnAHMulc^28pĝCa/2/TEEPjPT~0$}pPc^?P[H(R- _ 䘝Y%&#D^8VA{$)ʇq0P%1d;=#l0y~;ބىR2\)lCڪY9 I9͸ʃV0D}5Y+^A m ?12^s1wzxQ@%*0ppdw7Y =Uval./Ci6;6Kׁ\g @"g.kR ^bFgsU淕LWtl}GiſoCQG5 tFl?<Isi95F;UtC3 @8 83'#.둠j#il434ȵoc:[>4s@PR_TRKX+PlKkM9EKd-'@*n 7ꅢy4$P ݝ e}f\[1mƤPL/s&SA({0Fϼʌ$nv9 ;g$֩Hws>_%οl j>嗯4c[\ ;@M-ϓu\9eڣKN}dۦ`_Lgđky%@m+[7g*5 {W)jӟ\\8*1 OáK\!PBϘIMa[qHs07IP_jhmj0E`$׹>Փ'J$ 'KiHRH;gZt[kHtqJA5:}q#!s(αET俛A.c-tiذ4C{CX||joB, Ra5Rjg5/\٥{l\+Oz` IsPʶDS>PòwekQ[_48-^^g91Y#!Tpi)^8M-jiC~iՏwb]@',LC%ZG Y`fǚ#1',tnK#z/|"۴R|Qk$}捤Ƨy WY>tp8k czP pit鄲?vswk旖ɘ0o@0F܏Е[`g/(5,8?opD+B%\?Hm'3=nc빙x܆Df@*_5d膢@~)i` Aw0zXv-S!Ep">=h& b漯#\ 'Ps qy%,]ܘk.9oo8^2я*~ ';K9If + $5R[?3JYrD"+&tC͸ӓYMA=̱ޙBQI5Ӷd{~șTUnrB))T,E^6Db)~׎`4 螦F7MCebO45jNݽ!)Jb苷M*1 pvr0HTP[Q_:w+mBc,/"14_i"OMHW5r]l6H}37Wߖjo ^@ Xftt{ۡpK7*n 0z#lTq; %*VE7 sGa*1} H[.|>udG 9#=k-.zЋ:8|i.cO^h5=G⛯\0~qU9b ᒈ4E,B R٪0 ";=Xpϯ:Jp|<TUgҋ/Hlҫ׃v67~*CAP$7Usu1V fsYوFzF ye{94rڄL3`w57 *`7674@cY]ʉ"O\4%B9\9&'kϴbj/V_5~xĞ7N5=ņXJcB_FYAQӭ[jfUsHә\&2g@rVCOs \`pF-^*,:*}03 hdOLai1_Sw~3=Zqr| O |_dGj w~eAԞ*x5*}vŠCdbvg (#kDLl\kŸEr&`Ay{"`8t<7,]"vJ;@ϊpIvv%.BCϹ ds/ jS_KT5Sc7Y0F#06}pDA1UskL^:Dx={ j$\jv捷(WUxv931 =uSDɓtOwer>G{[Y(߱Li_Tz'1^@X1 {/L+ҽŨ-3x˺KT <68ȌõN*umdwةE(0k]a iMvZy+}Џ(h43MXN~xк+=e\_t2m*>g{' I Dq.|2l4-EOH*Z qzmVLjd\kp_>;_As`G[k/T]K"-;Yd&4rgw-j rE|9& ɚ 1Or?L&M,9#xصz_::p#^1;Z ڐ%G:/?dY者VO)s( r'xT&!ȰytƌZ{tnzYbg|'~OwYK ޴r\/BGq*IУ];yYgXK[s}0b-sRcHݹ܄`be(TLAOO[?zcbC8s= -_R&)C~3Z$ c;abj%Ni7 #>3W$v" N.$]'UF PRPc"|3/S᭦f+a_ Dtǰ-j?vPmZ&[F#SoJJOgӮMN>ȁh:?54Ƴ>]uKjZ]CuUv\?}w:ŠMt®עVj&E],=F|YՅڒ U#F"ܐ_'eH [6 ==,Ό+|UE{. iT湿_0R+;Gj-zOl*鑞B~仆! Q,+#޺젪 ;O*c!"k^Zn6k[t+h`kz3=#N55IS#V沥m#  45 z$!3d)Qp' "&õKvtjqyGPc;iQ}ߦ3L)lS/h9NK]*on Sv%FL[٣oi"-jozB-)퓕Ų:hn@#:FL:&,װ}t>ZQ$"Z`¥d[uhMlLa =:e%N}Y(ig}d1E:_g1[Q%KKGb:c,d_`RCnRCVlOt.E@Hmj5~eWF.<9o7> û04^XՖV ]Ćfڿ/]ΪDlλ5J T<U_7mVk685GZs!#!5SjE`_P3O(-M5sTgQSTj05N-\-4((R%uu !ռtS\^aZW?`/,j[=µ~<7}FoQQ מx|1`+V:ހt@7qLy9g mS-ut~0gv b8`&32sYz:G{[u'y !l=q ZVQU.Fc.kDzt=-Yb[<62Npf];~ҸfÜ⼦,q)) APpb=:Gӯ gԑ<ߖM3|ѳ#! G&ҾfDz#D)1yH:Z˓}~THi+V `Fwa>++y?fa|FT fwl@gbQ#t"r7@ x,xˀ3zGÂZ\"2?vDZh_8{Uh/s^PhEϳSZ?q^LoZZ=~|VN#[IF&ܑߋj(&S4U:pěu4"(6I1RVع؂>,O9BS@@u&yhfa~nwM_1dQᒂK]r iyW;{;D-=Enm#U)CB%zЩnc RU\.S▘ɃW@Rn~H9Ɵ͠롪?e~% }Ŝm\X%ǧ]-$P8,S҃! MG`}Z, V[as ?FTYRᴣKb5Q|` Qr3GyŔH.&' Q|Cg;d9/6{1EƠ AW0RVwUK&ҔCQyLH> YKGw7+ѺkV?>ʈkxVJkGrW/XvF v)g EP$Lf,Wsde,j:eچ\l7Z(xt*8g.jMa~N"E =1v2exWQhww2MxWv;K$fox&Nޗv,zӕ]WHeDѝ1@D\݌J4̺#Czh,* ftIzO&&C6?`!s}߻=6;$_VAu\AF$ kųYOVOjk5w>%iw;l$LG4Fٌ* o4,#] $H^ O5 x\J{ecy= yKfmUJIRDdhd%kyh8[&|dPIX ҷf6Nhmd,>DJŘ~#!)giUUwӎǕ.Ykt$/0]w3zF=p@rhXžnlwZL$sZEZ29J,jwx[1'<7(%&Z+a+2cOL>TxRvU _n]~ıN0%j+HsL*Hz ⑦{Cé @)VAFB5 z'1kMr0Tҿ|$ \o'l<#U'[rpA|:R)T2o?KTtjE~-~F8y͑R v<d1&sHo2%er4z Ÿ@e@헅@% h6ﭹZ7_rVGZ"JIpI0`c7ޒie vPخϸ]Dy 0V ÏN;mB!Z~1ZPRPPwBUa|5ސDl2P|ns?-GxxD]aU9 [ |3 3OJ pi$yܛ靳PuT8`I&?hVՕ#7%YP0?u.e̫MǽoǶZPo8G}ln뤄Z4/L]iK;i$HsGlb(L&_kLs}Ǖ0h]_cqFH?h9'K{HU?ưF2P/9Փ‰M4* bZjF5d n]+)Ev?ĊJ澻WIye T"I?=+T׿`s{m#M~c9uxE< юN27x0:dWQHL"Rx4퉆l ܲdsFQID|"Kۙ"kn64˩x@B2Yj2sN(Tgsr5Ƌ_~)=U&9 3dU.M:3ZTqKb Qtƫ|WUvSWoW& Z=Ld!/nTƱ!ؙȸ]_>,k[,ACNɩ3ET ӛӣ;@y:L*]L?seATq, ø ZF0Qrوd7ய3Lz-ՙBZjvsS|3 K&+ktð!==]Bcp,司EUB@^)5o-l^?@2I|A|'1B"(P}҉nENC#T}#DcvVͅe0N9ߵ7=nX!<{&T O8ҊZ!}2﷟}9EB0Oًe|G1R-jL¯!LSjB343 ]}1FlG8s  ͑n<ʮm5R!`mQyfBZ(36ʊ\Tȴx2ju9ܖ:' *=JF5n!jq*aAѥ(TTdUb惤L-v6,Zsupg2Kmy#}V: (ϚB<ܓ~xnaDgQFpj)^[';qxw_Jb#+s.@M\5s ˥ eνeuX;_ N-N3//s&-{,vWoutSKHx*S}AJ*G*,k6•5d)jӏˋ|%ր>tKGJDI_jq!ɉc>gG1Fm $0{>KQ$ԍ=v -bAU#lEHQ:?6. ?TN 6ǔGV|8(kL%:hS {)@K2U1$$Vtv9h_qxC,3HroW'>a}vƞ*)&}(`8w&u*'XMs,ڡ/7J 7%Wo\yw;ʌw+מ@r"YR2ky2'(X~bx8=3$#HNдwMZ3G?zm8ڟGwLUw! )^1zON"׶8lHFB~-NυBoq]։6k#Q | F2C^[ lDNn2>tI?(9W%=fɸ*OE#wJ10.ujDB5V~u!ju5:e@$$ZLNC.ٰ=Cx4o4Z%ɷQH-Ӱ%rp24Ԅ*|O`{S:kWܾ&qu5}9Y9Bta3lt${hh0i\iBcLA׼+?^Fҭ<:RY*6bbm݉A;u2dO1kJ= J:r:ʼT) {x2k(%` M AXwgue۸=F \0Ց 2[CVG r3!Ys`\_hwt.ݙFxN!h}Ont-Oh΍ŻU6~GKc3nR^i|f;#uApW=-VaWg\& bIs~usgD{e?c/~4rc[}X3X.#\iV8#ɖ6BT7o XFQMíAZ_܌W( \-ׯJj)9abx<YM!].iFPg_шa4wi.w;= ̂dZ_LL(MR/_exŪDKl*͘ǗH6O5D:%ڶ!ʷ^fع%v8^2۠;ͮe(ڛWsSl%쩉(x5tF(!I:jI[TyT ~QN!]!_O6V}mx1o?IHiK;E 2-Ӛ(K>))}gّs @~J=ڏ\EB51 Q8V,K:8 i[nMjW>v}OK}a }ݤؿ0!aP+)E"'ZPji\!f'LWTX^EvJsIE9<UMrWu݆N^.K{[p[7PrGffoDI.F]=۶ղc{*" QwԌq%yxxS%[<~C- Rhp$+7XNBUC->R_q`q!O *hs% ,|2荟|-]k*fvYmrKjW_A:i-"bJ {lӄL)Ǹjg PE g)׮sf ufV.3XbJ`msi"$4['vCmS3ο{l?"8,oyjB! $8` D)**[R"ڒh;؇i9'?83A')(ѻ'„+cemP;CGi( u7,wX#5ݵq+*(*h-@>y;R&-GJ-"q?{|'cOuXjk9T= 5 s+|IɃql&dp'ԑ;hhy=UBHh=/_&R!Ll> UV7 }Nf8N,`w\LdqCY)YTeΞȮKj /QIe2pƅXޕl% d}~' 3d7WXCܑ:۫_A~d٭jmwIsCzbXMjb"]A}Om/鲽]Z^\:5Cg,,CfWOL P&DY`S<)" OGs83>ȒŔc`뒱jekZlizzcd"4〪zm|uq2Qu۪1;xʸ8 kx-'ؠH6k/q,䳙 GēպЉ8!3δE֓[VuS#Isiy@1+yKGb{o=׷_Fd,KV×k OgU-#A/nSBׇ>#p:Έpqs 1PBKŠB#Z5>1/V$l'\>I݃\ B9eZ]zpeWCѽuՊ\LBk08vkdW4; HYyu:>A΅џ՝,[jrՏI*Q}%<ّZ X!$KPLbnz^^FUp\yh䦜~C8u×O?zN☷7W fXw.IJڕTϘAX&;O(3E뱉&Mǚ{&vNF7NJ{nEш8@7/;[,+ "SSevZb19 ?k;HZ!gWf!ojͭ˞_)}zW~S2<6Ή.{ XUXWG 5 /$ГPx|)SI \{?oQ+t#-<L䃻VLF*saZ9 OSm!*v/fhU, 受#"% ݦyJ\^B:烵 ԊGHm{8C7h#)$8L5^ք& bVn\ FӃj7*lue߶h\y D%,E8,5aZN]n+[&3>uzMLt>te7UZ³yzl TW 09/i?%?osPPU%I@ji)*ixO hEe0g4y_x#,!Pg .QFynk+4Q`Vyj A( a?0iJX&vzZIo|}/,jy!" fjVxTQȧ^QH)TܦfiO-0:~{ ɔp`RhlijxDrW3+Hv1uYl:Yr fV&`ڝ }]_bI޿- G쨲 z+Hhdљ b.j=ۇ+a)DBq !"\@r|js ,tփ+H8vֺAfa%r)Ek|vsbc[܈Խɘ.}9ގoH G88yC9ñQ+ 8!64V z'dQ… ?Jx6(l̪4O Ə@SP\lFz"ymYxJ5Hk% x:-[x'<(r_Whݏeδ~w4Y<\nUEǙ*> -@>8\ſ丌\Z-^|& Y ޞd`X<+Pf۾G,Ld *"dX2Kur\]ˇ(}`A :l_)1Xx7Jc76%nH!}z`MN1%ЫiyKc{] NĂx`ﮖ]eFȯբ2B!>]!Th*I^ lYq͌1gX)->%ˬ,L\[jN?gBt4* 'h " O>~4D̐?Q n0C`&k`\Q!4>%h忊19~/c!,o~ǽw#s w _u bX4DQ d*n79+;yg돢ˈ x]P/HB;Yn@]S,x~bm!,eXyTT ҫO?-mxUNF܃ sQiޤCǤT= u*:IDc6v>*y.C Խ@ j9uA/Kix͚v}vԾSoz#8 U%E1Ä26NV$:Y\\-~5}eJ6N:M߈u*vP:K:Sj z2eQ/̅`C^;X%wÅ&!(NP8P$,ȁ(KBՇXw Q/fP3yPp2$x Y=%{R?YHlܰXdI 20!^PBs1@\T>Li@<ͩ0GxؙE}b`o{ntQiME,r WfF^gTjt&TMM_l"zBRN gQ`LX\ݲa'_y5gs_Y 79SZKM/|}M+?3_ bü ¢T].ɮe RR6{pJqX1'R#`41[R!uQ&~d:k= OQ!Ƀ3Kb,&#^斤" y);8;ӐpfgJ'A."t~ntT$:|ݓ& ~od8lޖEl|9{m5b]u6ymg>_sarn!`Zf—΄#_Q(@]&ˍ'G,R\LȜ%a-f\cO edȺc jPyH7q`,S֠ѫƫ/;bIٞ=5lON7I}ʅScj\_ҕ6}s_?1!װ+v߰?+w56e;ͧStU_,I1y07V@mI/p&?!j5*pZv.lj֡ ~Wٵ݊/c"%?i#qK03A2HS)W.+EbpJ "LTtLe%۶D_rPHIt1·h#ɛ6Nr{4B3b91?5kȬf& 䆛8B-8րRZQ)כ$9ϜMԦt?H7-ޯҟ3ڤO܋Y@0X}bu# ZKk@LeAm쟑Tוx]#}.J\Ϟi x{C] m{NXjQ}+yx}@I6Vm9e`@cnlĈTCCkɗ=o8:m_T>v(+Rg? qJw<$Ⱥ9mȝk)cHI\{+7vJƉ%@>vtCg u*?HGH}6΂*/*F7Ժ9(ņ 俽"T;ء9x#! ko!̼I?n=X:GbNɴyALǼ++WiQKc[>}kvkqnr /l${/kN,Hx.>U3Aźg N2 phSצ-4s F +s^d#2+P0Bfhw!GY 5;Ƨ:nB"Fn.JwJ\~Im9]Vwck_lie>-#ǨICnP;Yn*.O @ǧ8C@͎QDK<;F)YЙZۺ ssK.h#=q Hýly > H.*)&İ-?ן`F) @*.^0noW.y22u]DD*o>xI;Kנ/Iryqm>^rH Z–j}LWF$6ٯ}57NDXȠhƼo7ƂwЍMxوo> h(T=;di`ck I2ꅋ 2A~@_f"ƥqlpA|iiUECu-·}"VFr;QE'E)8q:vl]G!d׬-יUūٛQlHK[Ivy+gZ]# ğ /3\j'ŽƊ[}lh|d^nm-nMH-v#r-u OU^ޓp2S4|YdG %&б< e<n~Z0ǨV9Zn|[l$n!!w_@Ú>>~\JwF$>0arow_MW065i倈+"'h&`E*CKD%n|! UX|] 0 NlOd,6:z̊@h7M][1p*;H)j˩hHB%MX +9:>7ƊQ^WYEU] TDZ1ac%:߿H lt,HQ.':qjGԩuHu\!J G?9m'?U=*Q-pϫVnp2Lg\Dp9J647n<hπp3Dh/|p hJ_d;ČXEYѮ mir_.[T 97ŧ UC';NQ˯_~V 3 4%naVm KcL(ZsҌ| `ZcUIEq5n҃!@e\@/v=a;߹lt>n>KsUɎ=ׁ>t\M*~ZAҍĝKog(4sU!v `(Q}3XS-#@趼O: * ?K g&|MzM AjŞw"&R4byqIՐEpQhR(a+lSڟ}^R XS[٦s<)y^Oï=:°;h~bBbM/\n j 0Pz"RJ5rb`R32!"pAyLf#/]} .yoIVf6.gEysEԅf_?`&%}7n8JDž Y{0͚{iV鎌ghaUcyƑFl_0=Ic(gYZ UUp1O!dHOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/files~~/src/HOL/Metis_Examples/Clausification.thyM1O-HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/document_id534g1=' \HOL-Metis_ExamplesHOL-Metis_Examples.Big_OPIDE/messages7zXZִF! u f]·Iq n[:|&[zK ?zv[zg|?̝)j]Lm=ӿ{/OC=-i:z0}g'(h+ k*8rT\f 3򍥹V/jndVMPpRvs*%T۷v5dg`UNy39j5C3N)O^[Qx.s;|آ'}Fow$mnk?IZ][Q'.^ˠe CϨ|޽,/]k0f\CCMP竇P)HΩMy}8 MvBcʆa.Q]f;SA%Bݎ[4LݨRH _bv[&:UޖE x)u֎k~qIk|9Z]҈;c>A,D0+$#nwȴldmX"lL{]@+Pn98pU=mxƪ69f(VFV鏹3q7IߟM*;:^^\SX/9 Í&Bgl ;b6s6a!}tPD:z|@۪g쫜~;>'MN <+2Ω|Jui= G.SQ4 MF: ZUƒܱ%˻Sev4nUzTTe׳zct^SUÚN]GJ2tT^T[~B䋅 3CUQ+ռ2Wv'3ioAV!: 2-meա޾{4alZd.CCo/O 5'sUWcz}Nkfk Y똝15\ An,T2\ea?y\d{7b)4;SdZF657`&%!58 wE8Q$IhqpAԜ7WXK'35 uGkI^k=>7"we9 Ā U{}d`+ޥ0b1ޗ:sVnhR#okȲ?|q[}Ε̷144Afm.S) h1 e=DoBKKK4ٹM߶ ys ֧37?TWR(F/F]7 H0N y$q*\)k2y\9ҭWջIx;Ld 7yF~VY7kZ$f-{!G$(Fts3w:݉07S:p)P-G|r&_o. QP?$*48kg7()4ngdC3Lݓ ? 5M@Odʂ~/Mv{W87r-L;x&}̀ 2; f=A'4R]]&\5nj]-D4SdP sv u%λ+[H1HwYϊq0^SS)$} ]8ڌ v 1s [b2⏾//j쑙Is -tB.7EJ'c )"'༾W,\Ys[TjAq *110ạ5n\/˛O +iwC}?a!+UH Bհws6AU^g,~R/OITN/lYTթKy9y کAS$qvf|u4KNrEGZ%iBWTMP'D(xEAѮ92eɆ~jEETw; Rd>p#"bLClD#!,Nf76XLUVT cķ: | HGVB (pa8u,2ν dpAKcZcQ*GTwXPh/D{ ;lZwWlmٱ}s9)YТ=yϷgqoE@ZCݨ,? oe$?amqpox&oHQmli_M/l_šwTFinK;c:.wILc:sC|)͋5!2o-O q:"B~Ro»ZC(H0 Ӽ2mttab4˲:ZkYoHѯ< bqf6K81qJO,:@9sVDPsto?MMq<DŽ"P183Iz`^;\VL/HDΨy00&y+Fg(#gYZR&aԍŸhc[ Hocĵ4gUѡ!יִp:][[@4rN&4CY4Lv.Xց#L E5!nRBR乆!}PXlQ|~*a s{r9wpmM֠:7ukFC:lӞa[HӉb.sXGFJX>AȴޜQwSM"0!:7`[xUJIrQNXY[614[٠aj*XjJHsDEX4"GV:ڂH5_vXrҍ_ibZ\Y#&,TVNL@3 2v"W; ЕIѰ%YTkT\_i۬״$]+J~a>71ϼd^90hg󰾔6QAt? ܨ=+C`S[J0B3~K!c8Q YpW.Sb4G-U##Y~|ϱСrvԾڃJ\%#^ײs dWW 53:¶1˞g?aʴ}*|f0BZEbFݟsD0zm@Vn5$1AjI.gςee~_h[\˿$ᠤ ?{8h8t8LiAU7blb{> #R_ ǰG%'&-$!D_`J@;6h@+/k1ŢyF۝'KHY 9|XSXD#JOQ\zfrW%< mDaI`N،?SZz3`hs[y] YH~[h]TkB I]e7~5d3!c$ś/Puo3d]~tlߔ CeuJ*Z@M#ydZ@^wyn0D2CئhEwaM;`?\qг7O-+GP/}&|[Klmhq^uK3gAM9 sT^i2_Q&8AP-qΟ\XȇcNp~F-%D,١b雷zSSmXWu>ag!qlNh0$ |pkWl6o5bbd2LpK\lj>6zͅH88p3ep " byyTCJ՜ܮ>'S V^O1cO£*ڻ4&hK&OcKR $GXF^gϡ+u󇩹lOc (<}={YW-4a_#'0 c6f/:4,,㙷KY!WYL }b߫W!sG^#&w,ڄ޿#{I[#'qSøf7 B:xOC\A VYI( o½$ޟz/kC= ܲ@~tO᫮[@MP؉pNr-|VXBqӂ|:ꛥU\Jvjûq%L7ĮZ[ xڗ;t/b[_P{97Ys|[LSn*g\<-]@/GNtp6a4sπf4RMHZVzf]^\ ? ۛŔ폂j_8LyZvt/Oj%VDgb>Pb+ؚvz˞4(a*zi{iO=e,SPF%d x)6!urrrݴ% JEBQR:,D;.+{1 dj6|T,!ͰaG={4>oxOrtF:KٳԌ[);~xN.>Etd(~TB\[{)!3Hz' e\Ti[2ݢQC&ݲ+\l}nAت3PS 2B%qχӋ63$A" KWJ`@+@Q_#O [FYَ)7ja ,0>R딾% 0%N (_И!#*𧛆zCYKJ""츔_Z"t~^PlȴZj*+YqgYZ  7$8\ 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! (a]D?7 {?:fH\xeHj$"woaTk9.;wQ+UĸÓq</D -;>pyͻ* J-;UP+G3^R6„:Ը]ᱩ!=K.uMƖw^iV(lZf!2LxꩪBQA um*vڃ\w̽6]6+_SNy>f'* b!ӞƅbsP&]Ba`@izBDk$43 VG.Eͧ~ zqaʠ*+F[,1{ft0e9~t/P\)@BtQEUK#CU)J(2H[7'*gD8'DAz-0y=mY%c[v+Ʌ5g(ab;D4RQ@'Jg/{c2ncqAw~QSx™-jٖJ (opO(89|\*P 3$wuuV^gz 8"{7MK'1;:RrݧO9C C(P5H՗%'"'+1sZ ; VVj&p%͏b)!۾OaLL#Eྜྷw@UgopkP5@]5]I1i/Ar+?Tv$دq-WBn3QmIgYZ 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/_$ !՗z}NY 2^Wr* O^~,q^ ʮ5?A]٤ jѱ;j1I!^HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/files~~/src/HOL/Metis_Examples/Binary_Tree.thyJ1I-HOL-Metis_ExamplesHOL-Metis_Examples.Binary_TreePIDE/document_id5221O# HOL-Metis_ExamplesHOL-Metis_Examples.ClausificationPIDE/markup7zXZִF! S}] !M젗OFK?f=Ь*f@T@fB(*3^ߙTp/"HNH0An8Ⱦ 7_^^lf͘7 yVeK#[_a\"ٺv8þ'_= b!xdL%"PS׏~.y3*ٻ%P4t+9>1 P|4KZ6S,:  gy96mY[jq$Hrô8a Hv9CwŔވEW qUڌт-F6&_YD/l^F.lљKa{O*lD &k`ɟ:`Fyz%>,7%UVT ҙg#rOJ21'V'"ȥM1:t rDPa ŮmE{rL {}H4]\Tv+(vep.XHe%E|2(nfp!.k"ݠ A=}cL;մ][H.X'IuTyAhEU6N++Eٜ]{9%C[Uth^ضCAT~W"d3ͫX{ToYC 3`?\}O9%`$g7,:btzm,';3) Ԗ0n>? käZa,gݜXAy!&[ #];PI6a'P<3U}ghȃ&(eE ahZ~쭭zyUYL"$ $lFkow':޳?Ihx;* .acnrRwc'T(wb|x-!h'yhL! ;7?&E~44A ]@y'qECl,ǃOjS,MGɽxkN:Fa 텦NbvzI.,\B<%Zi"*zN4ʔa/ߊmΐDtu\z>z1eOѨ$@B{P. b$YuSDH!k8;v[;[ Qsk-7#<'1kb|]4]->Wk,Nr-92g^1V͌m7@Y^ rqUxiA($p=]PtXtL 6ZyZޠP) GFT03"MWKrBL.ZY̋ps痣5ܡܝ6=aRp[mvlP*apcuiV5dzsj6¸O+T}4Z w3 igwJY^e_W"NtfL*Gs{-SeDZ@L?:19Ckc_t罀'3q'U7a>BPX-P6w}G%+#gb˜QYyA_o`#,!lAI>AL`s 4 br TBp) d.h@~x|7hoJPvXV L퉫[ 2 Fڶ(e*p'(Tw?%{nz̴(SA-'^)L!jGŃ&Dk=mg2DZcCÕϪb$! ۗ/5Vſq^=o!u|l !2FWrj3ַe.Z ^@`q\tQa 1B)wLVv&P wCU d@jMHjMaMzʨz*p*g?~Fw8 ^B@ 2 R$XN#gh6h ޞTG="7K"^ ~?Z:)8K`o'#(*ex4Z*,'bgb,ڍL9+3a-=ɱ= v$x xp %<{ I'ZE|ťҸnD`pt) J7*?M ++sg 4VUhf:źG!<[ӱP2-ncQSQ^BPN-=1sR;sVZ-nO|-2u:H7Kg5g8-܉6tat5yڹIih7OmӤMDѣOd0D.PGHI J΀_G*zGJ%V6[ҫ&צJB c06V3`eӚ;2[f/S?%nplhD-'J`p>~gYI7])_c^}TOMg r1^6rZ5i3ǥ-'-3c_V+Wk=S\K¯"IV $ foPAs4Y0fq&W$uK&4y;{{z_6YVa3_X6E6!;_(B!8^?McZ01 J8"и $f,d8v!JfB:R`jg HYl4xQcz!Lx_q1Yp0|}Н@f={;JU@˔K~b)f2Y&&͌=q Ƈx G>xvLǶ|\(|se 厲 -F 1q4:on $kxQԏw4H> ω7Qfm{mE-.\? 畐bxII.-H=2cd}(MJ$SZhzE(±7Py- _ucp Ù9Й! oS=M!U4)596EdrylۜwQ0|tx1|L~3t{g_dB!^o{u I1(c[2w\eo4@piwDFe9  bm%ۣQh +[c"0DoB3L/Ղx߃fo+ݨû(z4_fk7K'zYt f@KM!X\(nB댹Rwh& /hC/ !ϨMMtrP"&1,eH/ܛ:EsKuZMet&g~bwm{:0$˝2=G`c!X΃cz։)XU{H2ciεmMDbպ`3k\PJ`%ZCkuzٵ`({k,aP{80:V=e9}DUI+3Ymm᜚@zQG%gNHh-aYbdzewe^qGEuV o?E c9 M+ a$9b26xƋ`O(=kqXiqtOHF4Sz>g,CUkPԃdH{>)ew^ח?RpLW_D6>l0HOxAY-P:z$zQEET׾BCɏn`rM>#[Thƨ/=DnrqQRL2J})!:0Usuy&) ݲ G } k0˨14¤lS hhq?L$`X*Ν(,xD .vX9&@w#gq&z*9vckz~{.ho a8 1E0n茅G&q[P\pfܥ`n1º1|w,X"XH2޳G-=in(Xt-DHdƾ:G^05!CJ!ϬJ~4؎.E7X!Lm6=նdJ?6@`aȟ'(d\^܇]}?asXPzvDm"|pf_|nsNKGϸ1z6.Gu[/TL  \g+p9sg_15CJg~iS-q}"I`,0ZSzFSHZ2|8^{SIsHBaU3l0f{ e}4: Z*`g!w!/2 ۣU[/8RW`aCRpr-}O`v@\8Ar 0GR-c9X[jh6u55ZY:?U~N6d%9Dԝf3(Xz`)xK;>XODVou` *mezo\r䇔 f\c +BjrMTk,_N(85Yz (Ż'i]mao?[9@"NC[gQgMQhZAN5vԩ텵˱d$Nr8."Y QWȥN H){H|k:{o& 23&Jʎ^Se.ٻާF˧ l^K9 yRdaxn3T[A {!}U.箿ߠ6t@ ꢻ f6"qq;jCsIrMĞf"XJʨ<"Nnjs-;I]tc7%3LT @?ejd G&Bp)ωȬc ;'UKCms(Fw9pv'.zl2orbVd('LhT@rd[To{EAx:ke(8GKB*b:@yͭ b2sm_[ rlTC2 Iu^vlM:>.g[<3l$8-xd8c\֜eaW>F dIoj?Z!%%Dy@˴n"l~xT= 4 Zݲ{;xUY?)-TMkȕQN AROZ2,hc ͯhW2+_+ <ގjp>&i>4f;En}o/p2gDv[l)dHQ0Kl BLKǍMdXJSO-*G$e(]Fh0 Wx(PŌuiYy^^`# җ4w9;QYH=Y!WqqH:gt"dț)9eȋ}DJ~A'oޛ<JD IDuM y:,`pᏱ=؜ѱV'0Sx‹D5rU*XM85ԽƀxbBS9מ5y͸IcaNjꪼg`bi@{ZƕSG9V$ TK94Gr?ռۣ8 մ./ :22] ~D7m/E'^:H()(⡞}56iȍMO" g~dS8>X| 0мTΥ$ 8^ Ӓq^k)(;pПJԘsq*S_ s#4k& y ,'-d,u90da^$'Xǎ{p_ P;O"̆:[J7 LVFxkcytlx"_ b`L M|?#SPVvkïT։vy„ ;b6rAlYneFkr e ]`첥*\64ZSXMWBX k nAA}@cYז7.B聲fK4%(qJ} (C>N8E.AAMҽ sH>.@nM< ^ G9EO 2a-Z'D/Z:۶h"ڽk< GVGcFs5;˞jev4oIK]`Р!#m`׽E!7†:SA lwS%}Q~=3NpbswSmaЗ8Hj>ꐩ:neth6$9&QLKkׂ$þZ%- kL 8ذ)q#[KC2u/X{+`/tUR oQO}C)"7 [5H~nK`y| ok@,fX@N`kOL}$9߱0X w TZ3t3%e=Z,^ qCa2gYZ>y8(VT9Acjjk@>3Q#ڟא$倾>d"ntzS])0 4[}E<-b*i'ͨˍR-`6ʪC/S O]@n_\)~; E|u_k;ꀣ1TY)fT6mk7įn5jdJs[5 |ş'^e!D"Kyrt7=I(2ȟ`Vf ߠNm]u]3#zpH4KN A<)y7#cUI#_Z8[r1(~w]@-(\ dL7<:͊v(sX]]blLgFBR[|aVw@@/h`VXDPNsL#DnY;. 3J&!34xKԑYr ;1;fˇCPM #^]tD:0Mh7mТz{W rEF.̩/#2iH;[_? d*pTTAʿ!j~4QQO8#W_9;?'44!M0& X" l>»*K2_@ò^ͨxf=}YWd˖dwBZs>3h/`V^"̭]hڔ,jM}ɜˎ1!Q" qՁw_+#>Ж{tV7TY.bB)E`\Rs_-Sʛȁ=*]p"~Ik~qxUY_eL4='H(ݛ冟h^H;wK 4L>1,vRnKɽS^ t&{&1.]#[%e-U^Z'tiӃKq3x#ކ>)g|W0kޔ`s+~2er]K}5Woq:;xLn`29߇Al; bZ2Hz _wlxDܕ J2OH2߲T!(ǧDqQcC,zH*oD~< L YbeL !wG;o\P5PeE[Z7DQS:yOeԜ"_%ٱ1L(FfB66*|*$Me/ aj:̠M.JGVfܒK,'ǀlI-~D^֊ D|]W^:@f7vrN*#-:LRʇ _1%ȼCVsZECܑj)!7? e:Iq[r\ﱩԶ9vb'vd \Ya6H?'0WUr, /Kökn/t01N(8UUGK "P rRJ4 zR11j$>qkM/S 5~ͱ.>YZl<K*1(xkaœ+'oIRkfhW=F" +ˑKBAy }3oN@J~NshDʅPšϭv]MrH $[nt~.R9ӰS-ijT'dYQ.in#/0іI0 2HNl089u# ;H+SpLcB_+8=%,X,%KU:qF7ymYPkULʨ N3.7t3a%mE_r<+s6-P]tWyӶ\GjVBXa) FkY9z ɺ8Ug(QpklR Å .cy%y̹Q)U ]a?zjvLJ.1IB҆ YcKt _;zN$|{P~8A\.od&[N0Gh:ÿB^3ѿ+GQ_uxUN*m&lgӛ8&jFrJd$HIT;eG>pŪHQkيj "]0ec;A,J\V$R;GXZTlpC S,$F1"vI,E b[{۝xIR?,cI4H>t*>oǂZs߱7b{9C71[XY8Ck 1yk}b[m?2 nne"Ģo"RD/TB,7: qDh(t(b9R)"PXc B4jɶ9gaH4hD}/h< |Itx]Woِ:g~ a`xsxY\s%=/';+p%w5tn]~2hB:]krGe$+e=μ;X`F:vC,ӘTL2OLgDmhMy^jj8Ep֞5ɿ2rL nI/~J­,%t=`@y; x_PHe2/PEԻ tpRG%6f@U%J_l8`듉Kh}ՃxO7"ᆾqڔtZxq*ĶMxhv3 *5K|e7ᰶ60@*RZH궏Kc%o;ɹr/E`J6l [8,B;,|ZM"]"r6B%|sUֿu&Z!?j:|ȣ~PZK82Y9͚eNȪt1B(>f_V[Vrɱy -TvXyX]ǤpH?wx\Z*xd=L^$0}W܆o|g֜zÎS_/ [}[j㟅uU( ;ɲx@/f2MӦŒicWvq?v}7o++[ AeܢV?"NڅXrٖP{q'n#e}b8 G{g7@« ;z{Hk,֌<]^IR{:]I7DKq5#Lp|?4eDQý;ymhpIl& >:^&52R[4p!Q+uthR t~ am+ @s$FƦ)OÐ ȟ6е'Q&KT[3.yC~:}g&Y*kl7KN4NNDE'O*~gq0{#! JGn~3NpP[ 'n/R([;ʓ,˘V)c+hkm'tYkH3銍Z- BUeP:{`'k=!j[ vyt2]NY>D|-5meQSpML=Κ}s;?sjKIcv:f?evA5TEp1Q_6JF ZU)>m8+N\*ߞ_Wx.GD,Yh~ZIfIB w_-KSSaDәmH*IBE0C&᫣fMhyu*9ɾ 5ҢOk෇6PնyzsZWc{_ ΅|-#y*DFXcAɤ' W !V"5ԲOvf^gSg"Nrod[xw8^?Li% d^=DG +ձk[Jr.}\04לHRrxs1"w_TB[AMSR6g&AMX)vƿ| t{q}5qX8|ʙUJ]pm+ _rյY;e 4؝qoDM^pjEK~vfe'"Wrb~ю _sOEǼպ1"HQn¬Q[X |!u9z$cM11rh`דd9nڹH5{l4y۵# 2! /MD"Oӂ3,Zᨳu4rgݷMѫo0Ф7b' {s-g^8+Yi=w7ZZ ` b_x.p@KE@~G~g+Sj[SI&3M2B,3GUs vGW }P#Yw4a6A94Et `'@<CΫ~E11|غtdi(ezG߅`'䈀t"\ аo<+ efwZVq`*#¡rR/0s&i]UwI˼(@n?"92"}F! N*Q*=810S4FRɉwnb8ܺ\HY$WUam-.n]Ḛ|^^U X7V隬cv;fmѯn'7LH .2WJw ,$kI~;t+K ta2Itd0?ZvժIh7F_Aۚ4~q'3zYt\paAJsN2Y,z!b /JW2 PlJt&->R%[6bv[ 퓮47X:7qZ!P,0g1 \P_;m3Fg95Y];\p-ܖĿ57q7 X1m85`qc]TPQao1u&8I4Qhh㶠5<4HxѲ=NǕ*M‚Bzc2i?֧|i-;nr[Mf,L6%&pTlC{ZN6{E'0(AjpޣfȽ|SցLPnO?-- 4~tҌsp{-Ԟ1f^i{pc=v9p* >"^A(^Ō)Y9rB0"0d|*v)ƒ9ׅ T^4bqG- (^/yT>KRodm4Cc8#ZwtXzj-T7yzdi-DU”(H(iu¦*_347{a ~" 3n$*ÙQ٠Erw[5uweQYҷ̍[Nz:e{('>_r ),l, %V ԿNJ5c~^$&ז/x3o2gbʶ͔J=S@;2Xr8[Oz%o(LaZkY,ns[; @CYcpQ ԡO)nv-fTKӿ|D[#*C,F!I=@;㆗hapʾ$9ҹRIamj$ĘdzTL kfWB$=y.ۋ*ݰ}RtѸĖd,#ZP,<-E>+ S\ f5M1rUEfJ:7B4J6䠺%sC*Bkm(ȉq6hu>΁+`H؉L{4/MhW`KǦ`%}baLլ9d9Eoi]Cb[Y>gU)lN-+ݙ-X͡@X v۲Yp3!+]j,f1-xEz hf5LxjGv~BgoU+SV>n7 [iZm[2WfAܷ2d3VHe7WBmJ{l=MI5L9e0[%g1~{6{{_[+"Rutzwi:\Gy;)/, LX$<0bm h@?ؐ$ -JM{m 8AM啘7cN. F^T]KB$y 'սi͸2ka:~U NO9Mê˱M.Fl奾!*NߪnT-rN!$!Q(9lu8v$\&T9|q`(=K*u ҵ|.vD=o !;McQ&wA7Wv7P\%5HU:zOiҸnXI/]$3g83!CI ΂¯m)AĜ2NxMATIj 4!Uh_S 7c%rs'.6eUڱTͳ:ٝYXn2 'v~$](H8VU#Ùr[N8Mw*ul,?vx2%;9EM_G?{BZm` j9XxefU6grbwEF!'ex _جmLQ[9}7ntx" 7& ]6JjjV( {XTyQodIIy iN[06dRW6lzfE%zqsm,!.Ɋ=ΓW莥2ٕvBW8v):ڀ99 Se/'0p/Kit8΄oQ(&FB,ϧmۢFb =p9`VCx´KK%%m@F)OnRE\ΚE,袴CdMy'أw$mDZM%? ;[jmNC9?uLJ_mda|}"Pw`pWD;`Ug+CҖ |%@~1w8EVd%5徊MhT =CpζU3@6w.+Fb'<:5|(Rb:CF'L@gYZ  $ En$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[:|&[z~K(`R\vtJ+_M% Kr^8b}%!.dEOއKuO; \Sx"&FVgdL8U_| r{Ԗ&>( EKWy\ V!v "87;/n[^.nQ`V/}th*AOir 77A0TBU*S=W?-aJࡱv{lrB}J$Un)C"Ŗ;pWmbcPIt$s"tb Tnxֲ? % }%,[ 6 nUZJ*Sk.@αk%#&o&n1ذsRL *o*7Dƀh+ x&.&\?1%/אY:`:k&|P )e:M Z?gDv ˎgYZM! 1;# ,HOL-Metis_ExamplesHOL-Metis_Examples.SetsPIDE/markup7zXZִF! l#M] !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=?/!!>)5@y\d`'r;a:(fj:АY)r;xs;u&_amBFWlMPmf1nlA𙣎{_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'ȋ~ Ku:0 -a?f"VD93aq2aDqlX^V2"m`{dEw`qN2>~[a;YC㽯P^` ǜ/gY=_2~s ɗ$!v,u@T yd.1| ^5x\zcyߔ#<69XǸ迃 VSOԈ- i7-<@KխS~ky1U9] iĪ֮qo7`_|1j+Öz &fEA-\hZca< GCqY>3f4ʵKf:݈JdcI qSF1T/(RV3.Wg"oq[)},p=fvEZDl0s1k`W~Y=5b)s/G+d#3Z 29tNfv2K֞nR_1r ݄˱h#g\~#|" 4"* [d- I4!EXҟӴLtR>1G"lynlfӦ"spE+W;"H5aV8 IXcWT}B L 5˥T96U4&CDq>4#lZ*FDū^XZ|XY3"ZFB--d ?tj^ۈGb5yw/Qq @cWR늴;MÑW>s `Ho8sn"`Fyc?P1Y[ ;H"h݉U hNi pF<R::`>lg݂!pþ F/%׵ w6KO6OvCG:9GzEY7S01hUW33'KĢ}o飳E ˥mxb2qHZnt^a{h@ªkx=7Z8T~! ㉾"gb' 5F!q`VUf.UD]}J)ta_WhG!:rSYW,^@G5A~x P 19ҹnPOro|Kԉ`pGc ӈ]#qpu Ќ"7z@ۖBh*hwoC̔L[ /N{GףC;;hX:g} v.=~C}2@ys L<uJsٮiqh)ļ! 7}ٴJL;ۯ4mM(RZywEbo^|Oe>J }K' ?x ^x @m5MUNJ#퓡 *!\jg`I*zȠow0ZCnΊ8s_0ϸ4 9 ;/ 8 ݶ:n]tbcѩC-!> YA Eߵ~qoIb8fF:HM"ca} ]g0k*aœ?xpekj B3kA$YDҒ{7ye ʛL*4)2ѡf 2 M|S||s o;mIN& 9sŘl2PUSEBm@2X[H@_vyE==/[ SkeB*B {D5g8$V['7v{pc7]f7ǣA@j@ܳL҄e+M'u18,qټE@XE`U0deB|sIw//7Hd,Fks^)Z*|];PXq{DNh0?u1Gv\tp,ͯm1mmj^T_5 KI <6S #_d4~2}&!O[%@TtH)%ϬUpbxۚ1~úJw,,OpfzLόUD8V{g_:r{$ Į;ahė54iH1vRbtC [Xca9ˤM+~ #r Lz޾N^ʴ%cuGnљ̴ӱgYZ&G3yQ P |N3 ?qÜiI793za7H1kMm>OڌuNdo!npM>ŭ$"I[e OϻxC!ټ$4(Vb R[+I-sr 1n`.咗(%hehA)!d_|ߞ1iM S^hZ;Ԛ:=6Mҡ:3ܕ(:jxr0o "} #te"0QgHTw@Vc@=$CjV갸?1m^d44{3#kf, %G m+gաy~3&DYYQ(h1սG ޱ\+Q~@^0=]S%ΘaWbc"ms|lL;Cf+DͧhuO+EԊp>ǯYOUf@q\bq^By}kWE`QhکK2DsݿfvLeiR/Gi]~ m mIt|VM@8/;ijD:̃ݛs<2=b%饡0iFs:X a!silJe%h67Zw.-<.{qٵc`nf6c\NXウebpD*9Z!2R*eo[b ?iE֚ уeBrW:=%V R$;zy"[My(>bg 2c 3hOٚ;'4~IBzmP-v+3=^qEb_JQݥgڠp^)^XEybFpGȨzR"NEWP80Dy&~AD+*YI5<ʲOPdc:-r‘DAFFIި$4 {bdҬ{1YhEU1j^:G.!'x`ƻ\L|G7 '8fAԖ/8,/RʾTϽݢ^av%L)AQ/u;FnJ_ *QE2sw,𹂤V\ꠂ\'<&;z0Td7tF؟e n*و<8ш~= jj@٨tIi]ŒKŗ@C1U YlgK\S_pGf.p72ZfI:Hϔl*aFBXfi;B䞇iI#Shn+ ~$o.©˦dnjx7Jd)azs"_+cf&urjlLLmY.\0 jz(8CV cJҁ }mER(jVlF1R;K@ .ey)@:t;5YĄywwOV6wzIvߠqpS \ :׭$leKu''ֶ`'},w f2*jXckXM;p%-!:;X؜jb-~=u!姱^eAY-5/۵.-KXa%4+ pOþAQ2-+4],ÒA_`|ȶ!DgK=QdZBMn,bd:NiXנW[E",޿9$b.![<W+kAfzS Y;0<)޺-fCษ6(uy6o~,"b&I%k⎩fW2O(XSЕՎ]%-vV~y҉T%V}STTE gn&ă2i5XhD&\9x(qtB>(m7'|TR ø*1SҁB1]$ES' _*v`M Pl@9E +v,2rJܻ9~w m*ŞG{#眕Dy-X.  gi5O4ZKJDa7: <^, X!iRE!7!a7PIByӡtGH(˘+`l;"/*8~`nX-) .!׺o6ZCEN&[98?dIy^%E5x`ze~J}]oez j}E+<Wk ZSn/xD1tO9R~x)@n}qz᭱4n(h<_DƓpHE 3JP+' Sϊ)^ %6W~QJ0^sA{b^nyIPՕ%K#m{0pdrŕjsLc5aL+Z-Y8حB E&̜n0R_Ruk@쬱I`'i Iċ nON>gwh2!8Sސѐ7 59`qhZdVEy|AGqlabWX,# kn/B3 -'=^y4̐ktp0q>J!O09}'?=kbq*Ц<\*s5hڐx}0݉}TTƔWE`^S;\+{>G U憂~ba%ois`O[0ƶ[ Gz}P䟴I MfБML[TӾʳ-!ΗڍO{5f键$JCɪ / h @Xb: ݷ`)M)C툤. A 7aT0' 43.&,%ϡP7g1ғ.ۜyFrZ@?bDimr(yX救Y:d hǹ{ctc^Ӧqԁ_cCswx" |<;fV zAd3݄wŭ L;.aNgd'B\,֚W[UÇ'oھDKaOLLiBsD=_cj`΋"%bcH\x倻GS֏*;NyG[_4n1ù`^S뤆)oҜ"NP{<'!a9HrqΡ H?};`|U=Db_^wr@T_s9#=;[-X,YCLV*24($ Ʋ8]##ܷr>[ YMS j#^Gű*\ 9H4jO*?',~%>UM*7 ֥_%و); 2VMO}k#(9 @"x*KD},VaՌJv{x`-kۨD>o87V&BWAXpo4Vg6?Դ͇^76m<^I;CT$r,L3<.}p8Gx !TYh@+@ZZzvebb=9cişco1f+̸Qy uq|%F%?-72ԎWsFULk0ps?d;emWjIaƢP䇩^VLK zr{>dY_X;'suo-{qbiy"3J_mCYv'kVtKd6zh6љ1NCzs@ii)@/֗G!~]=rX^cL0fkn%xD2974QBLB1039Q?M4eYgeN M9 mby]ozȍ!HBG4#Nńa '/˛hɶ77f%'P9Ɏv_$:8ڂu#xvK0CPhYc@=:iPPu2og(:~B"@G=̮6Ki{ ɮ&$Xg-CtㅾP2a\m78vU hNqZ]PTWoosخblВ0E\,T}CB_XSh~{<,%-/Btwd` /~ea'8Q0S*pC.YcIqdRˠd11~\BCCA2<w|}Q (6m^0A*Kz`A\3\İOv-Gv!Vl@^YLN}%)2Evo$$G!aꃁPe'Ni<Kz^dzj : BeILkUn_R{-[?{bRtbzqRvEsinaxk=F$gH}B8 /Y;쭦ReB*CV{W+2 _##!眸Z(ZﴻfՀ6dV堮NESL++}S2%g][HP췄<f~b8] X%xɧiHS(:|\"'tq<3ud@|I8BwXN4 lEmqi(47vjQapNH]aIpÈoM Eg_c(Ws  dZZX'!U]^c ;OE~]LCj#QBnk b{(?NTHW%Ǯ gf1hp,r𝟓Ce$ٳ!1o~TS Xj 6շ;5ޛ”&ؾ)w \QJn,H x}OӯQj^Wo&˜y埤dk^\^W(!#Tli xBvx / P};Q5K{A'Bc1 (Ð:GSp+mAAd>NjFSJiPm}V?9G%WMbzG1bn 5-;H]p+9wĠXjedOv[]>>Vug|2Yp@j1e#kRKwp+S{l4mqk7l}V+$7BR)D;iLUxC03rITlcr%-IPzޟD<C:ӯnb:PCn[rڞ#=W#Ki psktj1ѵ0/a>ؾ2˩`)¥jrUosKGPZ1@%wR5(<9}׶ߤ&Ecv|~uJay&j(l\HJ0R%Tj`6:$ X$דף~@ 5^%eq9M3;oL}}jr-)~x<\vS5"NliЍK3QWDz unঔd1Ƽ$7IVl!d4ɰoF2 CRibc@fN"}"&~P̵&<>Ik1;I }tK9V{@0'OLA۔|hSlP׬ \.CK|_ת2n[xʎ&rR$ g1xyb2_ZD|^ϴ~-j*AT,ގjVB̸#᜽- ;5ѮBn}6qP~ݩ;[")9QASSMnXyx.#IR+%W 2#u5Ln X>|`҃d>Xsw7J83$ x0mP17`Ť"H(.m*ɻ|\aaGJHAQi/Mпq (7Idޛr\P^ tMQAz#`VTZ᪾[{Wy ï xӬ nfU\nT95ʷnin#[tzOcF'n/W Rs4#d se֟h+&%w8~&]'R4 BPdJ?P ~-!= kړX E,iUYg WR5N󛐜ht4ΐ<ݡSH4WhxpqjgŒk2vyȞOA4M՗ d?V9Em&x]dP_O3.h^)-!A< K&$:%;a8>d=Zk h3->Y+>8:T"~Aˏơ$FEaqbسMa5 ̈Q0SֱvG*.MpA|=owvR^5GguLPϗI'AAy105bׂdyoJL+ ~.c_M>@)A"5tn 4`. ȝON`c#tz+8@z3NSJD\IAd 'V^n*G BxWο"QUpG6'͕'ɺ% c1Yh{ &!^?F#H|N;[!/%Ju qBlIM)=Sܑzkoc GLLG{/09"2+`揺3 KOH~ZVܖc̢%{g׌A0a |"EMoʩ*u~d$%9 w9NOܑK^-;85GtϯBeB d?q@CbRY?z@lu_F1MxUvhG' 8=gKQw=?:0_N LWmvT]q8yk%tpq`,uU $L쏨kLC0:6ԗ:1Ep:3 ۼ>[,v6#JȱF^G c̕fӌtxg[rn"r NTk}2-OcT܆Sf) V'+~JN!V=,) q*ކڨhg25A3l# 冷j2~| |ʉ&ω0a ۄ&^hM!6ULoB{,ػ~KB+ỰW/" t p?v"K3#;̤5fBX-_:k_D21Wޮ dZHu|c@n/O!)iDWnN@ b1 erCx(ubl? `~=Y2"rF.Mgw +!z+%)V..ޟF,a&1e { c=a'l݅#yIv /UJe|5x?1?y@& s<^ʪr~m JZ#ZMXtĎ΂ZسLS tLU =$vkF6:vPBݴr`uMH qQؼ*\.p`uNfsvx%@9xT;JVO >ZԎߕ7/@LHTi'!,4G%nʀ?cvò^eQa.s2L_16z}ʹ{yN ^A9&T; 6;Q]Ҽœ}HKG.4Zxz]y?1Ɲw~E3 Y,C%\b9kYma+Ww}mHϺQ_x|Zɕ[8`"*H"{IUЅS? #ua%7]Z g7ͺZM66+d jͱSQЕ:¢!inqRi.AwfmT't*r#VnO(fr.fv-IdmO+ۚۢN[ATTu!W3첌,PIgDCvaxYC~J.áF.};Tt${h.y1!3yK<ǟ.O!iU;@.'>~2b;bHJ3 ʎ )(]28*ڍyfi`.^>tTe \dj#:y@LEp9d8<6(W,` /V잛.3b? +iOykR WF2@Jv3[^ԑw@xeA)~" ;MKIr"jY?ء@owk"ƩowZY̆UG3d,ZX(tpK0_|2rw VdI߂fRzb$DC˩/L~Fh^:ѱcEE+5 dj `.sj:-0|ϋ.ͪ{7:}U K ;xb@<I؉i7, o$;L^q8?`/9ԢNBIkL4omIb3!ƹi,;o$(1:( X}y5Z }OC͜ΐ/&a2RU Q.zbON |;WuwE[κ)l#0Un\!(7Mk 'r\3)GisN/̎]n'A?+W[_!0;%i:[q!@F(DGbj)  hЌ+\xdO)%F{u0"Zs\K;S* (1oQNwP3aH҂HpMǷQCX CYJ[BͳM _#Ipm1@X5pw[%m6.]%uVKCsne^O<,A\Z(gs-HCȇ2G=JVL701Γ=U0bXDBKl*_LӁ$3 q}*-W`l yZlٌ=uej^(T/`(=Rl9П$MrۜƦ̝O@auELzgd7; W4% ^vFs&j~Hz 'wpҀc2!4\-/_zQ[A=@<&#:3@AxԎwPHVl-6d U_Qpk>{Wp|NPVk|KQ%k3Q@TBiHwI*tnP8@pĸTQVtĖTu:6E}7/9v֬[Jjfeua- }-4 ɵ[MV3B*)qS] %Az$YK"7\j(ps5;cFtU|=p)J gZX4L8ʾ2OC_8~z'vҐ487Sv.h OAJjEE.i%?Dmq3S!՛Cu"zJY8!\ώx2:DCJ`u̕ŕ}#Aح ODei? FNl Ϟ/Fnb )9vx=`Uh%63ԁtF& ʨ&lVנ$EsBW9G+;=it)pi$%̱p'^7Gܸ ;.}"#(6^.> K5Q[ fkpې&D3ˬ)8syS#ch${K+\RWtVQoOX\b'=ё#۷-ao\J!m-3IgbE)W==UvdF5fYh$X?v>l_SOrΟ"䉉Flâ´Dlj`0JND !7zSz&Ճ)? Z;:o_,}ey,L-2A2&B!=^8?`anGkm7Sr(K t^/R(!vP}aAZf_/Fl7=^mH} 98!qLk?hv(ڭ2p#wXǒqnEI[<.b/,=a7W0ft9B>m{207>=wϞ` b/Hة2PfYtZy[/zf.YF8euiEˢUB&:swjw-kVhgz$I Hwd53Fn8[BM ̊7\|>Ij~G^ FckVu^2Th\Ιե<SqP,'+ YI4"m'ReffjW^b*«UʚQ sGM@ߏh/*g?h&΀1e|%NGQCוaȓ)LWz&tm&>X+[!F2{qq_PpupPutd&VTa?˘k[nqA?:3tfN Jw yOqbOdxcnP]dܙDP{]qU=nf -Kl }=wCcOQry&"P=V&lw6ҖiwC%"վH+2 X5R棙o.q0uf=e'GQ: 4,&j3TlemY(~&Xߚ!=D|?\(BڕagZf$M襚3QY&'TÜ D1j?c䛙k%6;f9eAoqcJ9m+ +ߺk(N*H  9^Ft#&SNaBfv/wdzVSVlMoa"nRv0}q3jo~b\5'Me>IኜU1{$DEP#_b[)d0@ K& 2Z܆.I6?y}? w+d =z'<&;A34 y}6X<Fpk`pJCG8ȶ>rlc3U?(]Hި3S84 t睴2;>3:.F3ΏƉթ6oHk3}%9#򒴝zT9h<tI[Ypl#T8 *˙֥Xqk%mqT|׼X\AAdض“bLMua>?K)̬>Uc~'S1,N %;d<40A_h3KL3(0D NU̇4Kײt2#Xx)(EөWlKj.bĤݛR#؉͜WzW\/!#!<^LMshc8oULZˆWA =H5UKoI,}|肭e^'57z3ZUH\6Ēl:I9Z-zHn@/] )言s'd޻ܑk}˶L=ޛ\ӎL-\8 +ZqdQ97sۈ8%O>xuYE\EnpA"9S äv^|˂4?j6V| ߃( N)ŋ;L3hBx+LN28WKCR yaR>8_nC|;m LϨsf۱we`D1F5Gs0GA'LnM":̞k乇)IY!YՃ`JRZlPpGyp5]R6_w..^'x%`癭*B*ge?UCOp 19$^#FܧT]"?8BxN+# #$vf{A(͉d.|UzV/x6{Qp:\_@Ql~ Xj)`CVxH`׃5@\Wʼn MOx9-.,҆G*B p]=5֓58 yBo l٦IP E1UJX8}V`1/ ;ߨ"H_lY2E)uRAۮWgBͣie;o|I&LΉ,WOJ^Dq*progHC!T-3PVS+|e"\x_My!oygz/%DO:@(yK#0Lw\ JKPr*?W=+"xv5s.h_fj=cE^^E_z)=OR5!xLe֨aT> >^.K \" l . rwd(1 h(FB9YX߮Q Hn&geU;Pl<#,q-gox GG6 O H {򥯮*7^T2Tpiu'q\ŦOX2N;%|l7}nf7X$OJq~$6܉#h]Mc#cBoٟy2D9j|1IlZuVE }᎗8BlOV)LPȟ (/S`>W9pC?Ԡk*-7n1U}S.t2xm NjRPiALMh+;[ ՝{ܝEGB}Ϗ;>BS~ c㷏n,;caoFyW|wҼ:N:֥'[;HfDWC|\>ujLJ-wcĻƕ*d:퐏ejNW_9NWi _SKIfزdL.е&y[A%; VV )B02΋l}Fus*Y^6Dl/-:`89At_t_BfZ]/09DŽߺrXzp8){` h*$\З}|jyߛ#ܦr gߟodV~h67߳ k2 63HpgoGYrKdӪpPpHd"fЅl<`0@M4ןx;$H%^?*c-Z(FZl;+3`vx6͒$ g1u*H^PWj:e9<ŸNN<1?c5W=mT~ZVE<-r$_3BHnߖڳ #v>mgCY@TĦz"3r14G3Z?;] ʂ$DRsxPuBRT3j,ʾ+;ѨQ`ܮ#s$CA"1pb StI_jYX^Lրu*(U^h&(SH>#em&߆R eo_8OSnZq浇 }BJ;Qs5U4ay𲱸2aSrd/yA|Ȼ0B%xG\ Li-#rxs*^}XjNF' SN*8=[g[T V竣iHgl6!6.P(0U8KS NZMTIP$kʊl 0&e_$W+TqGΝ9^1E"]ػIMXLe5oXG)(|ӓX#ٷ)͌ cvEa2V`=OB/}~x>~Pg:("h'TˋP^c`U<>+1$b]G&2MOᡪZS6D;x L%*Ɖm~-}VȮlP\-Z/{Xx MH/ YB3Ja^,Ve9/t+ՙ G8d}Mn3*" Yf:QЩ xJq!t[zX/ls7sȝ;,^,Yi 5;Ql+ĭvTTahyÿt Tj?F>VxN/^Ks C I>cC9\5N]z>B-2:V0Yz*c>iOE[&,,S"Zk۴(`z5Io |claQLVBz8ZB4(1kGEz.l#T`]t?[`,T=ŨiҧV&ODc;JⰑ[ }NV*{ y}^a<\Oñ oZio nE TuWuͅ2#J `kbuv+%>|^)N~o#jJTYۺi_,Ye;hRw5]*xjU8oWmvkVKbt %lcڧp@v -,G#ƃSS٨;3ҘxG|06Q܈e_p16j)AUy(H~.*'uKf-,jٲ%/fLJd&ŇZdh*Nۢ^I( ,u|Q^eT8*(͒Wm~:m+dD d+*,'cnCR?F&jyNg2im>ec:-TAWMEu+e 0,Z{w {*.躟Ld(HC\_5\_8b% +;*3aQ ceTs# 2b00r\vԑTO#:ۺ>cfiyFS~gzv! u rjFMT1}>B~pJC=S[\t`l~iis0 V;S4DE l W{=&XvBxƘKyRd?⟋ͅ,$ *Ew>A+$m2WfFXE\%2b^B:Qv> tZ+XpyBZă+Υ%̀n+[Qgr@Y<\g(.j62l,bE*p穇Ps ?oN$:jF{׌OW*# mVtj>ũ;I%;veNKZ&5S[L)u.ӥbτ~99AIֵkhR 'r $k9i{ Ut/sp05L/#A{P3Շ xCܢFB`M9tMqpSԝ zj9[}?8n`<@LE%[ p8ˍݝ#^兮HSs.fJ ë-z~RI]0o\c J/WfgUnjnujӥ7lX_PlVwru3} mU]WgμnKPvO/9ҕ!)ix8HHHt*^,z]1u!+qP)s!|G qU|d``cgJtD?iuVR>lg"sggm3fVÝoeC9x|z&i3+|:oFxp|-?Gh~#*;!?UPanr 8Fa?85:<5vƮ)'T.9 |xBP_ؖcWUՕ^ӷ_l n=j/_U,G(mcνy(_.Q-Uyp"{+dv1b'\W\pF)u,*@u% -nx-N0oI\yX,24ޏ ɽgsI 0PIjٮh[b]ή8 ٿ;@HcUcAZ5٬Hjqd -틈CȔfi FZQ%:QY4npr6͎Qd=w @QuصqNvm35;k`b ̥(A @P#7y\DPOJΜ*gzX0R^JS֞HM^3AUib^R;dh Λ>] W+άwE'!aC'/=KLǘfP. Ui Wvd}:?rЫf`r۫{pO 5ЬS g9wfgfh@'ܒtlG_Mܑ PXPi'?='?Xْ:[Nu;:r"N,2i!6Ku\,is|0\~o'>xO=#cN.R(Ll}\fp/ tB}IKŲ oJf҂ ? ^nrs"dS1ZQz:?%!,< J`ʥk/X~'3,N "FT\}Lz7!YWA"npϰغ$Ni3 + W!Jĥp8LoU藕ߜB]N?Od3H9r)uݕSƙ O)qz.Cqh]9@fۦ] KGq0ӘHy/㍯'h@Q&pIb31*MƮ|=o\[1#r6w JLQ"ߓMK3Ȇ[01ܫB'4 P'=vP;`g3Îf/#:ݬX~PWo#tDB5o#U$Ӣ'fl"$mCb|M4cs3sl ֘¨A|uh)LyOq[ e5NQ8SWbv*':OluZz> .]b^ȁf&` Ӎ: -|}zdOT/:4D'$$I ϩ2f3oS'̑tT*z8dTfpveb(kXpDClE#|S^6F8B˝1YE 90E+A¼UcD!:᳢(W:@~;JA:՜ 40%-/C 7oOhA t%!Foč:Bܝf\m";P(b'CikSy_1*QkZfcY9hnWRR9qt`zl3sr4 H-Sza+ o)3$0~&QGEeGY8lrpB\i! JEEm_5qܱ -d{pW.u/o$P}4sTӒ!^o'q@Cʸ&-+ML6jPs1:LcB5aN(&}V|$̳3bXYγt5Gh$m6PmlYG?;HK `' M}pʘ?-rR!HYY`+7 W+/ a ){qk{؄AUa؜aZg"mN)ZSV|ۋQvH Ggc#OMWsCLa "fݶOzx'ucȢHYM!j`4"7״Næ@K։/٬N*[:TI!L "ݎ$iebSeK-y 12hon$-T~ͯ&4"Tuv"}j@n7j۬rOFyVzZ<_&ŨduOAus"_F&[0ؘb;B3ouߝz28!z-\f78O%'tO[Ms4&H48 YX?*HŅ#7,/_fM <;w0~> *n= Lb%z8q SWF15C\﬇꜇K(`d)V/8ǡ##|Y YbW`i~=D{;?"X*bÿtS#4xڕ"fm֍$Տ#"c0&h6)"%Z'#NK+u]93] "i"?7Ҙu8xHZhkN.` ଱jv͝xzOTH!4aW=;-9U"#%5bEiW6elh>xAY< cE-.S?ph\:+fW"ߡ9M!PD.@|]Imfk**6vH>/l%(;ܶ2{@xD"f:_ш`ʋv$".|ҀMзH(#K\" ;0z Lr݄t9ČUTDd;eDz!gobO1xhew `^*O012QFgA\őe? =T]$ZW2PSp1|kҍWWI4e5u.DHH+3VD+^eePB Rd,T*-8^0KV7"ɠ/QݕmTNJ#641_;@4+]놕Ba-8"eA"8j/7_N_:&{%o_5~/4bv=Gvjbէ4D|ˇA]̒gׯ%^b*I/xX <$RjRw@ U@y(IqװD n4F~ǹ_o$d'6S!_ml؇w_$)Rg= xkӋp!-XrvwBk7u`N ;QaV@"%P Aƀnq91AAڒSi3\|ݖZM0CP7S^Gsx<rDmc|`Ȅ2B;ظ fh].jp ް0 = #5%"1B DЉz8 WdC19~鬄\ *]bM4@tl 5zOt?D'gwG>T}P녕"D5|*~[ ݳv\70+AxDȅJsWs|!m;"kFw+/>؈~h728`dp-t24p3{%4=qv*[Qٌb6>j#A_&&*/m&&𭽜R5 .IE V[劉jUH'sh8-НbV]%-_zuE^hϼ##XFgFlR5C1!7sdD[#V:)q>"{ts3VrtcAuz,;_ Qkě+\Khs/T ybf,,z6ѶtdKsN;Y~SRn2yHTܝflL0됢hJJLxv ^f5͏hVTu@ɅAØ˘[,%0|=xc$j2{\ c% g;ZAdCҩwcoPT;,Lݻ^.9'6Z8rgZejU|67\ѽa bf3]X S*1rAڙy6R8=S^0MmXo%f&Ϥ Oi,?>C<29]r\l=e$4Jc\e'sPߞBJ靤/˻_63Z"ė{rpUAMuuvU/m|VKƎNi=/U &N35#z=7pj/[t$!QWvT旭P`p kSO\ڵ͖Ў# ^tnZQ+HN90!m%f_/TmuMsKŇzܔEv{q.~v\>!ZvnZ4;H*I4v;%?TWz,b s]fT?ex7tnإSSw! 3ƼZ8 Rg8M6Y2Q7N&cD0#S=E#86A@ov]-;-$w^RioaFJgYZ  @ /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~ uI9n=yڅ㽀,>^')PZ a 6r#1f)A1!W Hc? Ib.1A!VHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/files~~/src/HOL/Metis_Examples/Proxies.thyF-1A-HOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/document_id536,1A' ,HOL-Metis_ExamplesHOL-Metis_Examples.MessagePIDE/messages7zXZִF! "/]·Iq n[:|&[zxq(1qM߇(>4NwX}(ە~躣؉AJY} ,7JnTr"vũ Jmc֋zvBgrJ7|hySˏ,[WI޼oU;Lz+!%(EiU.ʳ4vjtP,*pR*cU0f9I2QMV3tҖ{`63y5Z `u8'hYT  _u|A=.{MX "[]$LmՄc zȚ$wO88_Lx ̇יv^❷~A6kB ngSXGEJyM[$_'}`CP2Vuo%G4)T_e&Nm/~*usx(Jgx`kgA;R.qQOC,I{W^eq&s&L޴܀u(̝dpv_sŀ;|8 TY D$S>zJ:X0&:"1OsλMR[t+ȀW,IǢj *~4X uUg`miWG6m:˚3Y`1YƷ昢>=onnhraqң"ﯗt({{y7Fh)oli!WGlcW쨭Wp R_1W}:&t7z$]by2e !v,u=|a*,u6d6 ш2¶FFjɥ+F_.2y?f)ۡ,)iW31%ufV(碑ҧ&mCiZ|b`:$SL$NtJ1ug#ktsdꈶr@/l1=F:[<\\Ll<'$O[jjGFrtV)Y9դG =*3PTq֫ME oh(E7:D#nJ]S^lSxĂ < ȫV+~HW!O橸usV&/vo=z4tO^>SSR3Hp:> jRއ`YyOf{zx~Mn ,–30 W M< 5F4w}1fՂLWu?-7֊y.^rT}_+$aL# !ԩ `."8\X[,y K .7۱:ɆK.,YM|{utxTaJoT#e'8 eXr5yEe.3hm)j=8yw-0lշ4="uPE [4krX mICŧl7L4=5̂h#~u(5?E $i,L̮GEYoI>v r|{*SS٪2BHSR;+#O]qGT- qxg`_ä O)jAPq_};=JKrs#ƋJ3)5TAQ { XTDw)5X uD?uL;Y0N'wŧSشiGŐY ׊PFl^Wސ;|-iv .&紿HŁAK?JϬ/~bu6q)3D͆3&X> Z~x KZW\ W̭fhH,ЃΞyD6M:K`FppL(2:A> l :6!h[]BI$QW'AXoqW(Avbl]I=ddžN8ǔX|ۢi*Icu;~H_YpMz#XǸ[plrzӆ/}\ W.WP.)< ygHⲝN/o8'Q q!|gIy dMV29#p u@zyC75hg93/mlD`_\,uP6AAd球0Z+@"GX)Vu0o7>(]Ątݯ}g#gqJ2>@,UH"Vnܔ:|Sdct~PpgP1jɘBo^&]W _;2E1mPճY׾SeOOXpNֲN\P"#e~nqh{FoÄeuC.ݝ-#)hSqk Q$LwbqY_eaU:{`+DT!i11/1?k!c]C_˝EKcjř͉9x"ogLe,1o+A`VMUp'VuKJVSj zUaar~#hFwP 2 =κW9>D%ґcrY6BvXh@f\8l/k(w4 ;$ڱgYZ  \ M11O-HOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/document_id532!01A' LHOL-Metis_ExamplesHOL-Metis_Examples.ProxiesPIDE/messages7zXZִF! ']·Iq n[:|&[zyQW,?P{ndAK("}+չg&O1O_ٌf'o6!LFk̇|1m:x,.帄zMKl9~'{io<3c{DI_v]u(5{bAj=;Wȩ(i$5W)Ѿ.mܽ@icRv/dt۳gMEQaP붕ź.ul'L/ɚrqs& l9Atmݑ=y) B{ cgӸW4;c-c)ØeFPYm[-p \Q0.I U1e_A{/ ϤHzs~^AҘ~BkZNZQ# h3o~v"' SR095@Kmp!+? A+VZfհ!t)bsVܡ>8 Jf1a17; jz3(t 2b}߭ BCoD`a@I|Niz&SO;(?kjs}`؉_m֎t^1BXW@0lIPdlJdP`Ԭy?~BN#ַ/S\0vi x މ!j[sy,ܨEaV)..wlTzbv=;C*u;P[L!_D6\x؇M-aӍ{i *~%@6!v0'VÖI㸞 ;u!ڌJ<`y.Г05NT*3,x~UBs~xvJ7E M2rdE4xeYL:)>x{Ϸ`3fX%B7t2+=}Bh+W= L P'Y\J UD(Y(ǮeHa\bxcyϊure?Zk<YY\Fmo!c=\^Cj:-xY] "cp;-cuV͚D2wS2Ll A\7"&Ɛ=Ip< Q7@k {_hQ> cr0B_^á g#Ow Vz&a: @?zX߉68p\\jG? ?55 S0"3>2ˈBT[Zܧ ynjQ‹vr{ S5$Eݞ?Gd|~`|?|d.1tag+l^! (GZm)sWwC{{%#ph)LWu<.|q*;+Ґtep/O>54H4 Z")`ͥ/-Aqnť?f M <J_")SѴV> -Hawb P(avF<"G"*YM?;9i׋56-\VkqP7(KhB/p~?$J3i6.'-gCآ+5xw As37`{v"e:s7٣eDm >fKW՞\;n+<+\~¼(ʫa3{QuZutf> E6ɲ<AsIB8BʿmSbbŭ_h)8 +{S`dxl-MNxbSDO|J_*t-d)v2۾mRw!Gy\Nct A\yHӝ/03Cԁ%ML̝b'v_ Ssc΅D?(8 pvTE_分"kmD>t3LVz]pLy4,68fУ2QJoʱyN9v+o ; [y3Yqc?ޑn-׆,i6?- U>}. jL4SSez3 ;Nk/Br"x`=i:nXD~ۼ1%ƙkN X(BG6+pIܢXyñ'm@]LRXL2YZU Zdg%oC>}!bHFQ0x!`GREP` ^F{pFReߋ h+ sRls[<~.R TNw4Ax#>_uSDπ- Ov w*aQPDvC9,v}nD;B;adMM`>P| g3ٚYWƨ4Ony65PK'0ŏ}aZL!w1x~^v*Bi2}֢zm^.Ǔ`z$Wz*Kq?f'/MDv%'e{ȋ2|y#WM31\]vVhe=@>a]囵+h ,$esAu0+&f&4e 8 Utv)D?~I Ïrc,ċlJ+x[ĜTgYZ 31O# ,HOL-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\+DW1nd?񩁣<,x5-BݞhY$@Fx\xE4҄ZS+=F"D&P[-}15rCl?*av)%3BD-SeW1 q8 Aۗ3zj3Rn*Moyg};OuQu_YG':|̻ ,#rlgWJNF*?=N\O0J}&t7pF}mO]f0]f@ >)q)qdqaAmd8bly+G+Qyyzb$uKir 3}" αɇdiBE3Rb+3T[gP\y)>_)=°U1 2+r^\;F|v}7@ڤtiEH`k]S>릨E cp8 NfB?e K/;Y0;ؒmWVarzHp`E&'e~|'a,Qɽa6A.^Nœo u;a)3S(}QT~pE`:ٝط+A9gģ={΢G}oe転>yahVle1;P79 t0[lwH1oe&rmO0MsuKfe 9 Ktm\̅4jAR4Zx) k?7B[nRE-@@A{A..تJSF@@.fSz FGvU~^r#[lVwZ[{gc[64l813lz2&yu5vE>Q_6m͊ 8w> Ixfs.ghB#)n~.$`~exeDЩ5e4m fbd94F$54g(.:#.пE`P_nUQvS=a jlWwhV̓ ) 1(U |V!r{l3QJ]xC<'Y}q|HFjGDa6L8e20X]q[A,vG3Pf[f[y>)n;XN:,As!5y3WȜ8v ef66=-`6@ӌhR Wmu^hVoCe&gH~mZ-'I' fenޡ@Y5[)ztfc' 8 GB|}9NLZWC$B ^˲jt tw^4F$)є%FFJ`(e01?7~h @slJ2_`CUɋelnhWgZ=Oä́[ =Ba .)y~9?! 8)ӆd ϘG`/i_#r0.rKϖł91p@1ss\L5q4gnTpx}^P0 sA!ZOq=K¹f+_iT1tS9>|& d5Q6֜4C!bgȗNLCvf*5,%-P #({ɜ@ϒžC15 ܡ=,^cs$ .i&sٯk _qE0/od6"\?Q~z/u!o]_)GtdϻRL2Z]B2IfU,; :Vy|]ORS3rFGQhClOns~յ\r6d Q; OQе=,LF Gkꄿl$`WΖ L3m^\h:A z&9S_e#,k5 SH [|F&=\v_?E0ʖ}NG[rM ;y;qBFg )cy2K]_\uKJ!0H6K\Ymrj) p/Xxw=tEB%ۗl"MPpdѕ?;yzܺ 7.g_QYXUė &/{n3?3x\ƳIfmMOomU(XxƟ`A0:' ,(ރ 0seBi5"~IZj"<ВlgYZp21O!dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/files~~/src/HOL/Metis_Examples/Type_Encodings.thy u `uG7 1?# HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/markup7zXZִF! luG] !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&(-Aڙ?y)/( 3g溔g6]6~cdv+N3Q rjEhۆhixId4xD{<=!ECd*R_ d& ~z@G)i!P|B`۩֬F$.sUMq82[զ%eqX?^'SbG] 36c+7mq $qT-kApg7wQȾF]aʀ3)fY"QK$)@}u)#C"Ɂ7x ext!MĀ[ g̷"_Bm Jʕ?ime7:0l Ea#<wfZt:BUQŴv<+vti {qeO~Y"`Vk/yփ}y\HmJ3~> Aq.P?+'k4ErƉ8!S*hV0|4cP‚9̪ Ufl;#Ԗ32ts=" lHwppkǾZD^~F3vfzJ2%$%Tgg(8Su]/9!Usr!Ax ݧ~wz)hf}E`KMqI8V8a<4]v`5my8b{̣a  ygQm:~map>-{T3jz 崇E#k $N#,s~ "x2x "ɩsN'nw mȞqUg*FԵd-Iq{`s$Gp'W@M`61?!THOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/files~~/src/HOL/Metis_Examples/Tarski.thyE51?-HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/document_id528t41O' dHOL-Metis_ExamplesHOL-Metis_Examples.Type_EncodingsPIDE/messages7zXZִF! j]·Iq n[:|&[zyMA5s.>x8WO(O$5!au8sfW m=3(Z$sCX(޾g.WA-kǠ_z#|+^:mF+oٰeo \/ {&7Q;3 2wKMhg݉hQOHF7n췥g-|\h ϑٛN *RIX_Z5@=!io9ٽ;3Rn o{o;+̐=n/Ikha$U+uͩ~!\'9j⋮l÷=/:Џ螢;3$$Yc ⦓=S`(#һA8TxvǸfCqO^aA {5_zb;Ĺ̊3'$2Z&f|>Hky yEh2UWԕ莕tl`]_m41>^ [R/R pcc՘R WYZ^_ʨp6]Sbz2@sɄH5v1Lc\\ U{4ȅM9Zi?Z!ܭIbQ1? F)ISlIn\t tD;JJtͥ\ ?lMZ~x+L38HV$J]o^>be+%R6ZVǺ|* :4ɤ]0ZĊu?!( -jX ju.H/!֮o4~x@MkVt lf9ǟ\Mw9˄h&]oT*e,Mt*))~|zp~ObNswT }k5#_@qwP贛4N]s"spG <^3-yGY(d}y-pg Ϣ;[ƮyBBB#&]!C2-3U$h?GH%-pܟ#2^69y1;nEu9Oblh QॲZ"!k LJx=!ݷk-O!JVK,䡝Hü VYa Nآo7i҃ Ksךѫa~z !pt&i *n k5!J<0'[F[>Uka=KcUi yE#qsח+|6֠#T?5Ai~,qS)N' JŚs?yi=ʫQ-ג#WAîr19 ?o/ITƧ.OCW@|oZRsbtyS7Aams>.4ˊYAgN^uRҟrQq2s4Zy* cq2rPs+!!){贓mֱIYϠlsU{kƷ8xū怕G|VGd(I9T43O&-O?ekL(*HYv3z)/ېZ_n*u5NO :mIp%NT@JK>0&UU!oz*w'7=Ȭ*ҫ~gcf.Y¢ZrYI 0'P$3 {IrN8@G!ejLλ: dk<0|#;Z";0pوphX$2h[ՇS7',w Dd.M-vҕRʌIy~Y-<תu%\֞~EX{ `3&Bn96@rAF~hʺI Zmq6PG>Crޢa8^_DTj ݈CֶDN@\̨K*"EN?Ea5F#MN>npzqJܥ@>3ē~P96a kaA5ir:-AqޭMurd= `0^kP/&Ьj|^#ol5}P^ٖͭW=~x̬S9Fq!@N8m"G48V< IQ o7$Lgj`Hp`4rL F=IWbS$??l?-%լldz ]g mN0v%嚉Vt=* @^gLMܹq}&/6J,.Ҝ-I5~|J1KװbdsvwL p4 in~Kxi1 r:aXjgS=BgǠMH4q, WH@J`"XbӋE/*d]{kmnU6w ޖx|ms #8d/6dz{d8=MPSoxC~ZVYM.t+oR6Xd!`8 ~w!mƑ+|`!;Y4H'^Dvqc\ʹt2mpVNzhJrR>p(x}q6ao@}i8`ʈНj5] {xT6,|B"pfHv)!:rT)O"/ju[3O43UCCD+t٠ ;oCLgсt,kjQ-ọ_8J2TzOW`u6×Hk!?T"bGG/W<3a4`!򥮩8J&7ܴg9d #H綧Zϙ),b8w 'WAƦ2Z$4w ~ e&f"%?[uS+Pڛ4.]#%ZVqY?W;"g.ɿ uV֯n,n-T Ī ; ʦ_Dxbq#ϩ [}5zk>^ae %f._c"=b5֯N~jcYP_.R:0P=0;by!]AQhb_ Oz~ X֙S߻cjuY(!G[z>K[>+m|80{ Yѫ)i\'ؑזw=-Č+ +Xy3Bq&b.SO[负j|py&P|a|Jcar\0ֻWO^4A11 }͜=,6%}^"EZHJܤ '΃\%A X0n2QPf›% O>qX'\`oȸpjh9A$S>Uft).} Gʜ:teҋŬf;J$RM .R~̡F&TSs_eݔ`v4w:z9z/ߜ ;O4܁) 8I$2MN$eʬ~:` ׇVp.o;ɱN_l IkW fk <~.yqHbre{ {6 PTTԑ[9bw쵋VV!Vzk/dgׯʒ\P hoj߭oA1|Yfz 4=cyz]ws-Q>#37Wj Ehޅ=Qlw(]y2h &^H[Bր>fHz&wոۼ : ֤ENHYLP 17z0G0}T[.3T|ÊsUyk/9?*(bdȟc-f 9; wX?7Vͣf|쌵Ҍ/(b'6yX*E7wFA nUmpRf\bX8' ="4i!v _ n3`j0u6lj2k k* 1<QFrOkM ;@]^] 0g*5H MvUƮaoA"CZRz?` ,s1kR.&ͶH))v5QS:.UĢgyѵ¥:f~W2oGV<d{5dl[|L\Vx=3>MSW }ʋv0=]c ->i6pNHN= EfDA⭍kiEfRv*3olxbRqU^M]~KpE\ o @]hΥ;K#g\G {ŷ{8uqo;{%/^nief(n&؜>zz*չm,̈'sG0GIaq>f&KۃZK 8Xy/Xkr.Ǐd.`IZo+eCǰ'fb7!\ Mq -}X0U=ibA^q{WisEߺw4=֧~SiRQ(|bG\._F+aKUܣj_8/1!*?MhkAϘ]{OMx FlHO飇VGQ֝OVӴR,8q؃ò< eCB0ݽR-QCW΢*>2348 Py5<fvdXiMjW!d4wXeDҊGLjbIz@(Y4U,DG6 ~Xɖhqw(zHcuQqugЀnm%>lh*(Ԓx[9G 4pAcg)4I,!܄{{D 2I|Zد!"*S.Mwȣ}D?& F:% =Ýu"7qy#K{ADt&.IKVoި2Q)6V#*͢[ɳXT ƽmzvY_1?Y {Uk84oߖ( l|}Na%ja9]]f(F<&s[ZOS>0 8 F_kmH|.W "ǹH0z8xssȘEMLdJP#zFbP.pcy К*f%#A`L fj?T9m\ ]]M)lŸ I󱭩Ò8 |i6>ЧR9Sƺ. 83{iA7U\=1Xޝo.Gy&BvQ=NV<꿇`KSH(jV*T|A۰}&9Sf'cH1숃hm(! Xo: ؍$} VࠋdzrzxQ&II# ;1zx3KzjrK[F ѫ+ v[cHSGxj|1lE˳yX3qv9*vRh.ֽ :()ag2;l^b@;~9 Ҫuhy$llω0̅AC_.x-|N'κy :nw 6jZΰqn 1$% xbm:94n]*n4}ߴy7z[9:{/'\y()3j)e+w9Sy8f| C>(Xp "$ C~Y|YO,)K 9}2Ɏ Ž[k86v<룴duhV, 񹔁Zgʸnp>ub"ܘ!Ll7_S79t)|<8IYZ@VOT=XweL=u}#~;f^xrb2IR\A B!?7*V~iKþ/s.56fD:)pfmUDiVyF Ac-O@ңˍf T/!{[Cdx74H5Hj;i Y۷N4kixogYEՖR? 1j |.>z7i.-5uO$0Y9paeePR?<21S};o1Y,|@B?]-q`iQ(M'\.r9څyz׏,}C0 T\PHksg\lLB0"N=Z9h'1^ ݆Zh09ل J ܄*=Y?O˭Quy{"Ur}rJͬt\NCmo02΀mu *F~]Eqx\wҜt(RK4P w~d(iz.~z5Tz V\KXWވSAQ?DϩI=Fz%گC94aiI0Q@̌  p4xb&iZJbU/ƌ4v <3VEu UYy~LYz|q;&G-\h]QvX%.xӝOKw9'$J?tAK;|֒o\'-$9@q#uV˾-l^u@!6?ͣһ /]KM1yC +,;+G[s.᫄?QҜ)fo?*$9S`U%3JYԬƾE +,)&%UTpm3_R(XT&6^ce-+1 W=:S3*~,M=$ ;ܒQƩԙVo ^Je^фÇَ}xԇ/6872h,meA@X`iʊ"o5y^.PAOu8@\r­Lhڈ27P]e˶(PF6B*d4:7wYNF eGؕ iґƌPcj;+>" 6_xJ4`\X)LZWBghН|Kn҇#m(->̅<24V<,16@bG9 #!;&DXW[o>W$-p[bmր݇)Df VT3G{sl@T7}͂K=^r Q>IGf?CBk}。:mWX/>jV, Ϥ&kGBoYjɏu`|&gMzP4$kZ'ܳh?‚ Lu\B÷ͱ& -=o"0K)F ܝp7 Rr+Gq}<р`]۵$Ҍa]J]@0c7PG# kČ 8wp#* WW-a:2BcU' G[an0,d:ԌEzA>Ҝu}AM0 (J֩Q8HM![. e#w4Ԃ:q&Qmh}/z|LJ xȣ/P7GF2Mce,Bvjey6ARDg0Ƚªe#T2B%0 WDrKͭ s$ιC$Gs6sj׹:Rm2amczxuEDcc̘)qp T& ao5wu`3jTuT=Ԍm'pZ@۲x?[YVB38Bt@\ԋQ}5XMQw E 諏h^KL=i6%>v+7K1B9yn/mSn5h:3w#|L~"^NL%YVҟ>CfRnj5CƧ\]<ܷnKCOp&vbyo|np'Xy"镎xhքnoVeiMNy7.ii4݊TNascBX(ŀatV: 3y osK8'SmaUST[wc*nQ1K@2?|kǐEaM XЉN?IgzD0Å[JfoU[F)H]c3\>9#; tbI6⹖86A]R'AjO(7;!8q8`z4^S*W t>C$Teh]1>\3'G6S@*C,LНhUE]~Hiq/"6 <௓gUX$Z:`ͪA]% dKW LǮ04֯k d/. ׊8:_[Mנ '58s. v`M?*=Y4Xi t| j,`xd.94lPP.tQV/{ nD9ca;I5 &f|nYdkx˿v>aJḬYJc`eZ?ustEEK4Da~jךf+m8^Y$2P!ƀf}{=!XwRt8NKt Kּ̿9D(nǡKWS'z.pIG{ՙL|XMVxF>a=̙$0"]Y5ԅ Q>[>k#SY^"&\"n,['FfΤmNCJRkGI酖*!9!PjjSi `|3RiΓro,p;ޱ8Zxs*s_ U9Ģ13G,p K&* 쐍xv3 cӵ!JfC1Zt6r[cH\=3]|h x&zD[dug*akص3o+6T˩_#hjKc)V툍s[w oWa b,$g^1S<\ץRuz9u=Pl~ _wf˲%6ӄE :,ئL~']JO-l)?~qmgKz&ai*mрG0(P52Վ2}q)Lm"+V2Hb_aQJ`yM]}3|!ѬR&̓k^2h4,y+ʴ2F(s*e:)pXO;(tZH,C-zWHp| >i Rc|ħmXŇy3JIHb4UFlFm-}Ijs19MX5AvGgT?MNo<,tkBQ gU2Q=׻<+rտCh_\beBÞ*)ec/L%WM|[|[-MQ'{:tb akz11uZ VNh;kxWh^gerÙB3Uٺ  MnqnC**Fl>|yԶjȤ,7bSꮴ/X}s$x+<"Yl]"xBjg<,zϿT1ฬ`ixPx/QOnw@&{Yhpx9I$ɋQʆ NśOu :xAJc{hb]tH>%2[|Yvx/P r`B SM9em;\lofC\o6Mo1ӾД}xo G&fw0m"n# 0h-XC][ hu[0ң_)bJhlf%qX3l-py$E0TydYdnz/YpiK. {?saeh=teDnlS\yd*S̕eFw21gYv4h?8Wp, 6 bڣ0Qi*Y};{DoNzX;a 51Fd9{+E=6bUz6>,XɄ微_)&\F Ȗ4cBx}£.UB'̈́)Z#>IѢ]㵫r7XX=x";3 eT8 Mjgsb |W 5n;ÞA_6]⃅!(33Zdԓ,?m#x?QDeZOZcHpW*|*XHNNQ}읩u5z p QM_Z5|lH^ I$X~ÔGbA4mUVq %}z)]|7<]:F#rP2dC]FepZoIb)|v8!Jݶ.A{XA߀1qܟ UdvDe}]uRQѵlҨdNB &4)^͈V@6_b\*6ާi+xB?ESkR+@JKUo?:K+y;eΒ"A(k؈WQx0-<[]XȚC9N1)MӉ'92@oD)Oj@a`{;ſh(~nA]-,md8H%fpPM '_ eZ{zWICD7!>@ga"U}% wn!֭`FdfPn4_v1=]"i|́)Ih$^v$?E|<76&2BCз$,ܺxE, VC +]}?0FhZGnﶽE:V>ӚC֌ Wsl .,h՗rbüLa">F*9զX)]LMq(YVg+Xb^\RGVJ6܌wЇ$Z^3˝xֲ lw߿ĬE!\団k̄bK*E 3'L7v5CƐSA5Q`ld& P j>vSpk/XhǜҔ Ɏeظjy|v9X;b﷥,IJ4JOCF #J[ITLmNb+ɭmgߐV^DU?@l K@"nw/){k! k=.q1h͈]$ @J<`՗&/y,:0uѡ~3AlhdwTc_y$tngPWv%7 W ,9gjiډߣqp{2֦E`RŅm6ߟ!򉄻|KDžCykFv:3QLa`nHᶄw.eUBLl:YKS%/@9rR #dWP?w-(it)>R*0<DUO:@ʤg!q ? ghc)U/f[Ne-B)ݝx@W]B! wWg02ǎ!<MyCb+bbEX)ccd.fRM/~8d_+S:R@[{w3 7Ikp>a cCL*b3_b4ogP ׂwg/fh\ȱv~lB#V% mx,͓@ Egg xi7}h̓Նb3OɡrUU/)!hW\U'߷%U‡W=m D0 02j_~Q: "|%XQ0q, ᷙ~`v.laqm4n o{Iݭxd `d•65VP:eТ.%}W -a%E!Y@+T5SP&cE~+>| ѾGPUr@ +62W\F﶑k%f!{z>f&qX 9.2yw/|2 q*"N)*!Aɯ\D^~Rf $7дK,O:My9gVZ_x޿gTVt_V3N;i}/h^B!ЙʰKD/VcDXۮ9VQQw4<'OHP1nnUIayw4+WL@*o{.X{+atέcj{UA%m3 4ݼ bSu1muolHnr؝z~@{{pabF͢y<}MN^~=Bcbf4kG09I$W*{74iË!LL lp::Ձ ҋ*t^ͺE^,_SUq'3gBQ +qYz@c7WB_Td7 `<kvut1G{4ONw﫺;^_X GtBnFL4=J4oGC[~Shc^a:.& p @e)4//Z9p3>{5cZ>Zw0! }HBYhMO-z%r C}Kd”QmOsc|Rd_[x"MpjOiѱӃCb}ԟo"ˁtO~E WW\yoyZZ!>K*NAe~%NxH~QR(2K|~Gq UGhQ(bɺ@c{ 5LQWFHEę֌?%в˟ W=|ڍ 7̉褦 e$xoz8A-B6 ez"qDFMtpVү>u>8ͩ\bv YYBY}D/ Ƈ`uMˎ ?'_R"cժo_i]K' *Jc/HmM~jmElBsH#~YֿlOxHs>e@W!JLcI?!P E䲙JtG@R[ t;;i·ʖkT!!BA`'l[Sjai'Lo1Nn7!!߿9'6`X2YHLthsz1/?{QBXTKrb VI{'fé#~ F>1 A7nUH|4 8?5ˋSoHwyx7-Un~j &$<#4ԡi4Ў`^%A-!+C[Y_!Ooole<)6|&_T^Zh:Co+39CÏ`xFf_Quf ;팽&6&Yi=YoHxƳgl[+Wyut4±j]15& e⎲L#Pmֿ2i|n^F蜂P3&eJ507?f]WHn.S_d&i9fB2.k XU0 b TE2xx"qeŴ,Q *4~8_hxdIH4:İ4 7TL<p/ i]Dr=94/#@!m{p5L!< h@/bS!&XeMQDϚQUUc6;G[i PYLw`#6fW;oX(J~4$RP[Eڧ&Qdc{Ƣ~ş8W1 d+?bo}4C-jE5Zm$ne!sQ=@O 1 tKDP?4g۬g4 eyA b趰p>E)(YvB`B9N%&*)\ za?8B'<뻁Ň!N'+e9%reoYݍ&X#fkAa$O^z3qigq Ii`p>:8"p߻īD|[9 驤̄a _~5#q)SڬZ搉0aB :-ڽ&ED_q?!EOyNgyΔF?5YX(Îf OT%͑Q.&F) Q=tE,B6B /8Һf`4 :i20I?DDu Ǿfsba 7xjV caEiɪ2!Hh<(*̶AبGL ϣ0{n$N}$gLV> ]̽Eioe7;<Ҍаim% tx_G T4C(M)Fg_{9rn_935a< e(cJpN;+btu"VjKE6 ¥j!h$ Jd߃@MHeB;UI2eF Ez# M IJzG[rŮ/1Fntea|YQN) F8 Lu? {1 )ߝ{uM7Sg'k<$2;[#G@ܱY$`],2%ZW$B[Bdq}q+wPCS5@|9һH՛ c7PΥăưDmS-{ԕ-)F=GS/ c * %4}ZN^&ѾW8ӳfu罘U`{k|bl2=ŞE+!;wNfrKfZg7_ؗr qen8S8zRHK,&LbiVN/.~>3kGg8$&42H;vt9My쪡l8[5HBkƱ'jUC:9 ېӈ{"pqFߦ+ e\ҔU}-%YUd'CLamMb`g9]c<4 r0)!jM۸lɠE)dFSYW&H#ʮ`dR]ze;PdD p%.o qy(hwU`B'"X?P*\!UrJS9=ysY%ZXUYSy1%x8}݌P"{>ʰ̓z*Zwq@ m9zA T řsnoFI'ּmx*SgNR6sn{9(0,[FRcLЩӏz5{e; F89 -b䏞NMqKvB 82ٙù:GMn  4cbTiǷ^ +Q[HMz9r۟fmRlc-P/"$gO yh|Or+LY9:z8M,,e_&LO2Ba#ɊY%'t;A[b-krP="l᯴w, kEw(׿pݘ5*:Զ*fW#Ɔ5֛7NPFM@'XvNK斿"oYUIjarm^iRo{6cwLup۞ޜYR=hWѱ _|4ؾMGlﶱ kE2/ r"=]Vbhʡ,z^jT2 4WLZmpV8A*8:樵4/M(iT&G4s nAHp3 ?'ϪLt[G/8f劐#ʙ)7 Ϻ7"+zM>vhwef:I\ C ֞E"[}),0ΒLt%VVdRsUFyI;7 o p3Ɉ/^Rdĵ,]S#z%SF cma ,C?7sU,BTMXC *CT9XԓBG[#E~gq6?+דg4ljڴE6tPfLS۞ Wg^o?U\I[էU*O([An  k%/fӏ\b^bһR#c<Ԅ|Z k:Iʋl2s6ju!Y'|mh~I%)7hO3>;Ib>s[^)l(n8B8I[#\ݏVV#2pյVCkp,P;t_gU(Nv&)v- N$D@mEZWvm90d,\>^%H$gUIIa9e}n| pNtٖԲU:ddt:WLG2m8Cûze<'; {]l!z_O|ԝgJȬvy6h%] o] .TC~}] ` (i'3/mcsz4i{Ϗu ;a/XRid7TVR 柿W_t\c5JjTWa7ܠWatg؇7'@UV]{A(tī*f_#n;Te#u5_wɛ&s ;lΕ=zXr7BF)4pit ,8hyf5oif +<,!|,PNEafx;7A-}tmsRL0] ù] 2ٲ_54Vxݍ\^m'oU93Ҷժƒ>P|X9w! bE*%.?5#x?+'eHl0M"g_6Mi~ٱ( Ή PQ&e-} >8*^G ʩ4ai4v-V;YN5$|H>df Bpȍ)),oD{$8̈́)<I5[W4 qeVefEL,T"tj&I[Mӭ)p2,b#m[B̵uH;uhI_["aL$n#0q^89:[uU B)5PWLe&Z1+Qjgt|-w;閁 _5Tf/_`Pas(߸g ѿ*m-'MqA)TPy:F{m@|)PouiK(s[eFlC'}k9?U#ߕ]wÔ{tWCfgSj {qX/f_og#vzr{=P{"bt]WܿuNJsNJ!h#`NԔlj3plrO=X \;խ rY=Y҉9[+E/@Ѭ9voDؒI4k,4am|iNܥ(̭kR[-gKɼ)6ekcackcfZe  ,OClcJG02J;GH!ݯ.1YzI ``RbvՅ18E`{'Onc)">4CwDEhw #+W~9ئ[hc}2%TnZ Iڹ&9`h>gT0:oh!|-)=[u3{-n 1,Дl|^پ4 Qy ʳ 03T^RglwI{Ni`O#[WGRj IKqߣ>^Lo6h aN%~#`N\z.?sH~Qi\@]ԃus|?ї}$Rs joxd=f3?FaԐ+_i|zb<4t.|În=7HFFfYOjF nV_~CNVJ4R" < q([q*ƅBo7]w^dHª0[ތe`F.&mѿKb|,#RmЯ%QQpq Z9xӛ##uf?.ZN*W~Fe[=@#JԾyjZe:qs\nJ!V{z +5񻟠nX[6|SlvoX o*?11qmE,-Q`CDe&p(IsAu`E8zAw*ν?) X!z5QK`[B=yGFw,EX F-X3U=DnD q(9-~ ϔ }QL(i()9OF\J%_YEIsr:dǪjI';Fl* z9l̍8[y#*t:?7pUm'p\HWځx[g3~4"/ȶ#5]TmPsBڋ;(:~4us 7s(|~L@m(#mϡS05x ęOo(-p -j1Z?{~cĤ<Γtz&2@Ӈ :c#4\ϔeTBwr>i&6M)7;_%P;tZ;z;){d(]FeF<gM uv_phdԗJf}6٢BLSegiIFTsGseug]!{FN=mĄZ7Հcɡ~ý_w2W!ނ@pOi)`Nfdtx1Di{kG9XPaMY4 t|EffBFf9[ `;e+w-Xl2g$;{.mze?*M}~\ͭ'.c {m =ԠVՄD+YV={ +Q99" [ϬVWU2^1)>$8Pt"p Tz XvЧ*1s`, /$Er!52?ƖSՖdѐ߰yhE"w~mfϏ7vm{x`%?Օ`}`KT?N416Dc5Ҡf?]3n`z\ETo4QHL !xD7jKb8P 4:#9 Cf9 SZLFG@}'XD--m9u1g&?PfE2оLi\>laC˗Y0RD>N!8MgYZ UU(81?' \HOL-Metis_ExamplesHOL-Metis_Examples.TarskiPIDE/messages7zXZִF! u%]D?7 {?:fH\xKťN{!An H@̆ܥPa Zv-G׀Xm0$&?;Q!38z5Oh:_r) PŖStXB|1cp{2#P_6tjXIʵgzWcJ0íL zn~^Wm=JHi!*MZTZ-'A`0=M:tK[(Wr1){E ^p:`fL\ʥ|Y5t W:M'O]:t+aG/Fd'Np 'ҥgWaEN5 fWOVr c.6[W,`Ixy bL5z43 0XL%;Ĭ= ^*ۇ`7%lM'rhvסiA_ɳ뙄b˰|&6SWʾ^Dl͚CLČtbD)0aNAtbZ7ܢ~Y"㴞{ڍ8\ו1lJ'W>Ͻ)ũ-52葨O^kT Bw[:w-czIHvmu_ Z:x@B?YVAf(Vl1պقTI$َ,}~nƱ:{9˽YAj>ٿ_q_N$$cP!=5%5e)*NθwM~dKsM*(#4ӧaϙ2<'p  (HR{e\=c`*OWĉY~NO wv&|NQltNF9eXd;SBXlZ+vn惠5+@H΃0do= _] SLB '@UrwGM.''qܵ LG Q\^cWA_@)a96VyJTk_X5aOj@x8:z_Wr!-E~gYZCZ qlƟce; 4R#FY?Rm7=j6(3"\p s|GE& [~m]QJ5?î'8&wkcLJ8&.XEV}67|lht5x'>f C8@PBȦ:F ^gYZ7zXZִF! 0]ŗXiɟ1$Cܨ }X 6^vWn p^k8hoߓ&~OSawђb1ar>0 eKl&G}uʰ,sF+ w4grp \DqC~Y%S"$駱a |'Ñ&*1{Lt3qą$pT}&M;=P1|%DR+0g.$r&v [.]_(PkS;OD>#6zOZֲ[8T>Wv]=NT]&{#gYZ7zXZִF! ]ŗXi%TW >{[ʾfSk,?_хEXZm9LQқZ<8nP[gSkSw4r̼5%vi>2Kʫ~[qS-Kyi母-^e2^R`b@ <"Z:5ܧ1 (6 ]RtE$\ 0۝_Fud.%m$DŽc_ϻ;lvZ^sZC7w2̶@uGaxR {Dɷ:w<mpiyWyq’#UfVl m #%7=llqS( $OI#aA~Wiippy_EF# (eQ&"nX]QB8H4!ԪWcMG$J4>%j\Rk^E:1 +EVc+Rc}r}`P<6Tí[[Cgqwtmh~i'C:& T_ÔƠ4},ǡ j78ȦY̨^6+f|6 =6ŊGpm*Eh.`({f ֛1" Ayrîx4/YqФױ_L'O3嬵v5?Ř: RNj䙪%smHv=e{'I}I>Ye+)@V5+3O>#= KR,ntOq9+EzE*dmgXNbߒa9*X?mn,H:ˮI3dX斍SB:z^jVG/7Oz;0<'8_tc,ɈPv &VJ\yCwL*U®;X"FMքdV;Mh/g"ʪ;O24w`{/q4lVy1bX7=$C UQI7Vkum ,gHՅw0IDCJ, sӠ=7EƄLUk86ŭN\xcBv9̈́#>L2dMq5Lx2!0\Ƕyv yb(Z/2bȌiɨa 0uR`־l+`W 1د{cP &~}&~zĈ5umtl>KjPOכY|4ו ֛A-q#++z=}lĴ),-h16*&{fz̿ȫ`*mO) K?NݸP`>c&b[+Qcɤe<(ڋ'V@q6z% vaNR w-D#LSUKUi fK?u/A&#2ś?WGVE vw]*.ު>#~(PXΥj>ec~ZFmLo!CZ<M& 8&15͗]Lao@r _{drs^K]D,nMξX–%;n"ҜϨl^̢OFf3g5!;k:!y#Z 2 $TXEÜ5~%mF`i'-VUgg\BENftfCYcۙgt:HhBV/5~9%O1Ew2˞zf`_Ag~ }6~4=&yP=krqܿNĽ T91}+ć7lu2 ixU2bgC0OO:!.7ٮFv )4 \kwdYu[N(ׂ8l'DȦ% V-jWTF#Qb9k^i iC+kkzڻRHEL!)aj_ /;E5IeEAtͦ1}}ʡޣ?Syna ]pmpV#W Df͇:L%}nrar˝n[2z)<3C tShJ#mF2~Pp59V68 B