SQLite format 3@ E.C  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  UIx<T ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=51.150cpu=203.404gc=13.9847zXZִF! pW]ŗXiɟ{ M*4ro7!4^Cn~5U@jrK 7QHW[2d%BϦ+`ʞ]XW *!Nթ}F\_FCsts@PSێ`\XD !I HOL-Predicate_Compile_ExamplesoC~ytoIU# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markup7zXZִF! ]:F.e߷/{ oAc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0Z TUavcn+錗?0 #ONod-%( ꂼJu[ԈDi x/B䖨bu,Q,nnX(KS( 6{q?h_ݢTrD 0 160VKwjDkM"Xd )W5cEǼXM,όnc&06ϰ*t.Ͱ.UJ.GXP13S)%Hi0&W GrBX©Z$|P>d7y ۋ>K; RE;d /$`W ҟ|6͇(%ZɳiNݹTvSo<&'y澅AX_n⹤S&Lluc:8OEG|8ݟzl{m hpAQfR\Q¯VyQ0׬YLu ]W |wٱgYZlIU1 ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.tex7zXZִF! O]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^HH_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?v D\RG#6,Nó]Q0D=I>w\庚9ramC|۳ #S9h Yosh}yu+Z ;D6l&n' W䞒.|`5ͱUPېʡ.q?Җ~sՇ}c٪##b Zjb6'`2B=ĺ- o& IXQ;XȠb`,AtbP|ཡ$4Ϥ 86!IQ2-v@{IUve erejeeu ˚˞'Dk]v| 9ݐc]30gc}} zLA[k% a CExi==m[#kWKG弌7 j$~F'h' \#ChY੮Z 4V[GNm>P9%ߧD҆0˟n/;towM>^._{#TRP O_v/guq$'BF ~C gCIc}MpDq &Xȷ4zZY k,ElMbu84Qeu (~ɌI(t CE"H66!"Ss GG>ÆkuKHeÌ401Z4%NJLjMS )䂣nh}y>KG(%"ƞaoW.1̕gYZIU1 THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex7zXZִF! c]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^Jb}R21D4'7DH>9(PIBs9{-ogˠ ڝNڊ|vr`37q'ߎRUc M;GeC%U.5g@2,S~NG$ޛkNHwEM'& J?MK9.w!+$UF5Sت41,p3L x!]U;Ưa svdjHQ':x$rp %1 UC.{ꨜ|ATë=_㬑GG #uPCcg~v$bYP3Bnt %c".DϦ}2綒Gi![v6pi~juD7%&̸U ZuQaebh 7tVZ#"gfSg!X;}Kkn>4?%FN{9/uR0Q&Zdk?`;"d'~ہlٕ 1Ÿ$8k=\Ffjj6dӃT̋Sػ m3+ص*\UVy{}fbOQ+@ ~p{]V5 ?nM4n$NOPֻ3&3x;cqg) 0:0Ny+AaղG0F!求p.+9И99@Cԉ9u5;܊PGh"`:Ncb֧xXiwd9G(cJQ99'tSRfA y]?zJMcpEvߤg X[0=/<.;-:,9+8)5(4'3%2"1 0!  7   B ! d9 w H  KFPc>9 lIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex(FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup'xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex&SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex%]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages$[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup#]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages"jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex![Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument/List_Examples.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markupvI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messagestI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markupXI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.texVI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markupgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messagesIqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texeIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup uI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_36ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex    IU# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markup7zXZִF! ]:F.e߷/{ oAc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0Z TUavcn+錗?0 #ONod-%( ꂼJu[ԈDi x/B䖨bu,Q,nnX(KS( 6{q?h_ݢTrD 0 160VKwjDkM"Xd )W5cEǼXM,όnc&06ϰ*t.Ͱ.UJ.GXP13S)%Hi0&W GrBX©Z$|P>d7y ۋ>K; RE;d /$`W ҟ|6͇(%ZɳiNݹTvSo<&'y澅AX_n⹤S&Lluc:8OEG|8ݟzl{m hpAQfR\Q¯VyQ0׬YLu ]W |wٱgYZlIU1 ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.tex7zXZִF! O]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^HH_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?v D\RG#6,Nó]Q0D=I>w\庚9ramC|۳ #S9h Yosh}yu+Z ;D6l&n' W䞒.|`5ͱUPېʡ.q?Җ~sՇ}c٪##b Zjb6'`2B=ĺ- o& IXQ;XȠb`,AtbP|ཡ$4Ϥ 86!IQ2-v@{IUve erejeeu ˚˞'Dk]v| 9ݐc]30gc}} zLA[k% a CExi==m[#kWKG弌7 j$~F'h' \#ChY੮Z 4V[GNm>P9%ߧD҆0˟n/;towM>^._{#TRP O_v/guq$'BF ~C gCIc}MpDq &Xȷ4zZY k,ElMbu84Qeu (~ɌI(t CE"H66!"Ss GG>ÆkuKHeÌ401Z4%NJLjMS )䂣nh}y>KG(%"ƞaoW.1̕gYZIU1 THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex7zXZִF! c]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^Jb}R21D4'7DH>9(PIBs9{-ogˠ ڝNڊ|vr`37q'ߎRUc M;GeC%U.5g@2,S~NG$ޛkNHwEM'& J?MK9.w!+$UF5Sت41,p3L x!]U;Ưa svdjHQ':x$rp %1 UC.{ꨜ|ATë=_㬑GG #uPCcg~v$bYP3Bnt %c".DϦ}2綒Gi![v6pi~juD7%&̸U ZuQaebh 7tVZ#"gfSg!X;}Kkn>4?%FN{9/uR0Q&Zdk?`;"d'~ہlٕ 1Ÿ$8k=\Ffjj6dӃT̋Sػ m3+ص*\UVy{}fbOQ+@ ~p{]V5 ?nM4n$NOPֻ3&3x;cqg) 0:0Ny+AaղG0F!求p.+9И99@Cԉ9u5;܊PGh"`:Ncb֧xXiwd9G(cJQ99'tSRfA y]?zJMcpEvߤg X[B؀[&XFL`Fr{`RUf`4+2#N3N[Q k56?9m k6Me67|:'uѩUŮ(8ʗP-mXYӠ?4YR; NJhe#XүJ)ZY6}: c߃r#R[i2^9lw)V%%*_.wdnOaHa-\18d!ETAH(4]uF1,DW(ngYZiIU# 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup7zXZִF! DR]:F.e߷/C(fc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0>(Ѵ&Œ@쁞M٬Խ)W-ع=/zf<)i%0/J_X%{7gZqG쭮f o!x1t&"':}1vphHN ew1? .oڰ=Bl˃ QN=S1fIxe(Dspa}Pg@lX>wMDyA!i{jt+$s_?Qڿؔ62aӎ"y k.D3ӖulCZ7ScOHr,[zHDN#n߆y_] .26'Z9ay"sbfjvy 9֮|kJoz5H* c޸wXQssmXJ֡2@Z92UǏhγMTO9҉FIWA^RDJg VgYZSIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages7zXZִF! "r]·Iq n[:|&[zXt=ߋ1NGW(՝SS)իE/t91J)j[onsyf2|Sǩ{Vf =8|//Q Ge! _MҸJ?h|Gh- t]>P+7zG+,W*ZnM:~Pwy\ I_hH96%_^\f(M| 3H &7`+BTzLfIOjD A!"NhrKÊ㨸xS,"O&V( =~͌n XASF/mfIe7VxL ZH+JN}&A* Y|mPK|FXCu6'7Ë8U/QJ/wJ#j,:XUr퀗$ad5@f*aVkBKc`]@>S0E@Ӊ;Ē"05>*OPqESv>ɞh) x+.{F|1SEd̶,&Qu-.k387dž k }518Vr;_toݯLJDLj7QwlW&b溶i3NbYc&_hf2+!Ij=R rKYڼ-KW"8t!b͐wF'y3BiVf GW1{`7{zMn,Rik &MtGwmT !{YOJ^U t e\C?{խ#kDбgYZLIU1 lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex7zXZִF! *.]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^G؀_#-}uLq+, ?tр Tpmy'ؿ}8a!'ϓ'P.D3]L D 9)Z==vk :NNaDpW7n;J>gʌWE==m"P`X\Q&RMOrBYQn\\PU4EP~O9gJڀ0\n e?z2i~X27* Wף HLsڳ8I)??d@_srovU!2-/{ ٺw aa:]6޶iPW@d^itsBgX؃DfF?_N, xPKk,ؗ_$03TVOg\MJ˦)8u1|67$!k,X!LCKP`+]X1weZ'Ub9 U|kbvtk{fE۠WX_*a ~[@kb/3kݛmvc)^J~(Dr`SGYL/$#-㫥g> KEˮ0fЄrÃ9 koЬmd~ /amm&t0>#UM4{a~3l}A yf!a}#AG~jS(z$[FoW9D5-ԧGI/E2s! JiSԛH`ٺS/~qzZiɯ0zVݪtbN"0u&$[)3Qs[sIX.{ dg{ޗ h-2 t;Y.6pQ8zm-RAV@QvJ'&w^E30M FrRs' ߉R."[m|60ZWgYZ  0 {3 I]_ HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex7zXZִF! ]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO Qs"*N Eo3f#}SȜ|`b}Oӕn[kn!E78lH[O'~1 v^xQ,zn8Q'ʬgD,DZz*\rOmZ$w0\"rm{x fi((VLW1F'D{j`,9: ?$a&+6ǹ@O}Кw=od =V3R4{jy=`X 2fHC[>3.o?S1 kD}tw?s< MMg8n~R gkf{pg=d|kjCO~iI3R.ј8 fGxDpwwB` :0SE AsgYZ IU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex7zXZִF! 1]A-MՋhvG"uIBm5J[{drĦ\mcfGfV^FHOφMDШ.hTG ޷k)e Ejx'-bec0 n|)8j@|)*Nq;AD~T½<֙ /uKFaBgh~€H%PغQ&"4g?o^Qya.7z;apނGs[E}ΛxhQ歾|D-b zemŀSfօNE(Dc&t[ʵfNk,{1`i!s a*65cNa9.W4?<+U!i*7d\ꉃv5G" !gepxR>h#:BzɝzEPB&rSڂ!t.*B@?Wu5.ɫ$ M|ݥdiMicIQNO#3ȁ}@A(ϵB&WCpT_ d!br'|hk!ΐ4T[~鵅TJN kQ{: )q*=W4ozXɓ-Kx`,AM {8ΩݛC1>%~Edυ%Vq6XKxp| EL-;Ah,(qIAogr,ҹ7$u*)Ӈ_ |(tkwgbIzb~ehaR"38B0Y5U0""۲֐#I[=_9CqV]vg*xCw7ܘ g g w[ \聃+50)<Xﴎo#`ys1M50KVm?(gYZ IU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages7zXZִF! y|]·Iq n[:|&[z% KR Xd0 MKfk_ E u,p0%濭,74`~I -m'XqSOB5ZeI9_겢INNqu+OD^.RW\8$RX]HE=g:27ݪ8w2<$ [W3{ulMPNhԓek;!' +H|B|$+ F viWJp3A+.qPE5`g8#Tߔ`"BrG58vM Ӹ43'lDK"pGe7G}ezT]@E8ts/7=LƩ#[TcggYZMIU# |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup7zXZִF! 6]:F.e߷/ Ffc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0r{?r0D v%g^+HHx0e4S~.}`QU+ sZx nC+jE6iiX7 KIobwş.IPg=u:|PAg\/TMŋW7]uO{Ƃπ2v4&]PXY2/MMys ,ͨ$-XK/fYgg̎UdJMAN*+aZ// ? yIաZsn=jzm ,X fLгT75̰h(REμZQKknbnd&/$iC1{THqQWR* j+&.t*VWK`P:$4RźM7ny@֤oX0ywU*u Ff[0 =gYZ T L 6vT/I]' 4HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages7zXZִF! $_]Άxʆ5.f-9 rq9nļ>!j)y (B翐: 47R ĦӜbN]i kE/Kq7QG"aufgba7Kӗ폭P+SWduM ρ`&cځ&#s1Wߔ]ԃAΒahck)"|^H"'_g_j qNu#ڇ&NWJ Fk_2ʟ Lr{:RVM,F{7RLr+mgzq Yp$EiLi.Y.ўu-rDxM)ՙFzŦ֗#-ɋL,)=xs#ģ#Q\;;|+X^&9kQnT^XԃI&OW-`<^K$"|Ua?qvQe; n6ҸhEebIj+iFxdSA<,"|8RH61gYZ'Iik THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex7zXZִF! Ra]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO QsZv9Wm{M^zl 2Wj%2m6q撛Lɹ߰wӠ&han%nCZvX F,`0`¯gdc=y(ܐN #҆"#rVr2&/1HGN.=Kf u ŴDm+9-Q`H u"8["UJLehY#-x. =I]# THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0"] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR V*{ba;%~y KAgP-@bٛˢDd|hb'ftz5bV>Q}U`ުD.D6.PM!O3G Y7Qt]D ]Zzs֓smVT( $R҂Vr> ǹlՁyQnf*j>vYݕ|{k7k 2xeb+ +Hػm)P?%OYAѵ'ktHw3^>[_P5#y=ve:p@ݟ3]}Čz!T/췶@ZMQЁP o[|Cv$rܗk24LRsiKya@^{ܠ+;$@*՚fPc:5pgYZ1 IU# DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup7zXZִF! S]:F.e߷.dfc/04tbs3Y]VO]r&̹hRZ$moxHe_du'k@HXIsM^PY+,0r{?r0D v%g^+HHx0e4S]{sSˮ X &V$AA}eRgq/Ь&PZRuXRr4c | >T`݇8PKT}p:S|n"òɀ#e.Xzu^#l ٖ~N4E]i'+o6)zIJ&g风A43e<{_1_JՀ6^cna4]Xޤu!WFCznE^96ird釬*sUϤOi@%wpSQ2[+*{Y#ЧDjl;+I/r" *ȸ) z\~K!t}oX>)xс׏V˽W~tK \LPQ™ڹ$_jflo *6wKm, tŝYQOB;k3$UqkSRwRz`VFV%o #@m}Rd3b-AXt ZdίmA)*.^Jz[ڗlNBPFx㬮Qlzoz}N ֕ۡb5^2C"ԛ\J}# iN@es-mߐ'/u 5ɂଘ4NL{sJ)g0 ª?bsHWV[D/)dQ"hw sPz6 ֲ5Vk'EKyhXFlJUy @im&|Ɖd,s#Bl|LnCLĎeS(sxq=^6׋(fJ,,`$eaN",s`h-^[|{ z,L3d>ok Imb }U ձPLLؽ{ؤJ$޳u-IF$lSM-TJFi89R),#|kwR)88BKR$p!?OJfNsQN"[d4sB~SxgfBETT7lx_7&_K%si.4Gf7R-jW;FS@BuNIq9r/|Bn%, E)SxA/~`:_ʃJ>4t0xs(˱Yr߅*JK*aj2h 1TBP4 C׍ŝc'|iuykm6/s?0M*d ~>hKqGK)Ew-C/V%'K򐢝C>~nQ2gXU&֙R&}c`z>GU\FOujvFHq49br+}?@nkC_+$;k!.e3lO_KJG2EbsåB'`;wKtj^' +svY,TbձKT_?J;(*{CaG,$}]SQ" $Bnb3 :d˲b$Y5cOG"riɘ:h&*^D$?X쒭Q-_alэܠ_x^āj b F= ?s'H8Ue]k߲XCJז'Z:˵zMhaZEX7Y}}$O$ YaP _&'?d7NQqO|e_ y]nͯY FD{ Z0LGk:6y{=;nDrÂď&.>zPwU#(ks0-FU1YzժWfLZ=>BXiߙg*Z(r-WЍT14!#˹KjZeC)aO6ᯇ 03Q8Tg.v`A*gx,,FӠ^C,* `I.Я[dx?^oW>tfIMZ-Anqg[{;q+?|]I6(*_`(64%D,ϓIS4 ]¢\%}n%K8)Њf W yCN Y{Ļ$f(ogEɭJ)zN9#!j@>-[~p9ZY1Rhuר-]+j\[!!ٛN2еV]:Qg2wi3y̅8NF^:[A)W8?QU\Шk.((ϕ Aiؖ:݇?`\178яmV ,n jV yB)EZc&#C%b\LT% wZſLeD]Q لoX29ҟ5i5Q& =~V ĤͳBl\Zpl('< ay5$'y>qʤR-NcYߝ`hAwGds:&-XؔZ J";nw|*{>HLު7aݎB_*zAVWV Fge9^8qH(պ/YKP JC) o̗6h:]XM"MO ,gYZ^dB%$)~ׇ#i͞>kL"QXz]pj փk~f)iykHߕ7'qz6LTT#y]xь\} aԩ4iiOdS,?8E| }?-uR,j>@+t|)5[ڧ (X?儤itYd r_sTlks$& >즅]#諼r0@p-VrVdf=qVZ#-@yPpgHGtF!z'T`b_g(%"nN=[Yyz`~Чea52ʄJzQmdR%-$4 4g2FSm?5>LEǗ|/9HhiAmд^8&, _y/,n;DZ)` 0cZ׺(|4q=._h7?g%S7# P$ne#zPp× Du)(K -n{f$191]Rϼ,nYNpEG?t(3 cBudU>i?#sŵ嬕Xp4":cV %9<[\i55A c[R߲{NNt&Ww'0oix҄=9vy;]Yxp؎<1K{>f#psT ĊՏ)_C5-k7j5vk,xxi}K?~k]̿vp g&^|%M7LZ,*;p08PG:eyA_ 0/GgNWxii6OآYXFyU8O^6ޠv/7:<Ik1H3P bʯ΀|43|q *L7$Ofu3 ޏ7h\${W~Bp_ktUQXM\z`?_@+p鈙|2kz^ϭo)d$J (?[gzJM궱2҂𿖊Yeh#iy*!Dۿ,hYd1Yn7RbQP/??8w={qDŽ)<˕'WblBܗu}5TWJPʵ*ia|]d}ow<(=-?NSUXqZ(pxA'azYؚ{=ؼPs*Cxo Z:L?z #)*:W]QI)+?Og¹C/4ˤ.sэ4 .lW=(HSH ?o Lqɯ:WBjoFEPv^RzQѸ=UiM Ľ 6DO1X<Pnurেw j.7 &m]3YIZF$712Hiٚ~&Ͻ)g!gg@`ܪxٷZ̫) l:!VO_ lA J?2,xZT2]R@Hcpi 'KݷUz[1׍ 8fߙ1;֙C4]ivUǠXKs!kxy^(3ح"Z)1`4 [xnJPlk釁@OJVbvx:|) [O W9d̟Ff{βC)0"?h&QOG{j<=POĶ%Ys9/~RXK~Dlx'} ȌQk);ӯsS},O %3&}:8Zt AӔރ' /n_ vG SF\Y`;V8L2 .e? س47O5oHV `xb*du+qݲ/䮽|ׯKzER G=dI#i@9ZPL_8 OH%Pܷ߆I]HV|[x]h޸;۝P,*.W~M&MΥ\nUmM&S !w' $A!]Eob؏畟 .l͕le`jR ̈i6)HWbΐ-2="8vP~T'C(7xPYSp0]L T7)C5Pvn]s$V3%@9m^'PvtY(D4i172ڝ=a_oDl8knR]+ĸ0\gYZ  U U IyU LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.tex7zXZִF! C]A-MՋhvG"uIBm5ȧ|3Z?j]R:_VUX9e^!m#ï#T]>NqAYiF߼pŞiDWU6] <428g:k< b*̓wd{#% !\kA`p|րu_ hGYu?Ctv"|6ot ˳%S7yɐўK8ct)<宍%q״ϋBj]8nf T-nis a~p zG\G9ˆ:ZU_JU^@AOBkWc&=QJYAZ_@3 j m}C(t{O=lq`D{H|w$i&p&#,:yPLgFSe703 [s˓~eI<'*MR5XRQdSF; j<{5_ ~sIcwN.^IFUFP?ᇊ3@nv,szP-%=O)$lA! \5ۙ A eƠA,Uus~[Rl,G1s \37u_pG0`HE&L:p&a"i. 0Lg &-)"%:W[/+XƳX ^ooǦronDzSE31T_&$ouSwr 75Un7YmK,7 G0⤸K5_VJI`t |hq_!EmId%%Wų~k2ۯ֎|@\9j^vcDS[wsMd,!c3}5_nB\;3gv-WVr$t ib $q ,(fvsJD^xO0yR"īYό: 14ay{w&1߲5E;?z0_\cni%lRC aIi' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages7zXZִF! \?]·Iq n[:|&[z7ag?g>80cR:^Ѽ9w t5LE=Ef8Vk!$9wJIrtM5 +uTh(ĝIU!﫣H$-NW$~Ke xq1Uh 8fE );J_tQE"Aet gYZ+Ii# $HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup7zXZִF! ( ] !M젗OFK?;uL2a(3o-$~3ҎnVwȘZ״'GwN 4u(-&Kj/ꂷM+k)y jrKUe-q ЮAmNዩ LDnb_C_!ѬTLi[sVACkfI4dò^i==``4ohvӅҶƳrgr4~UʯI<qEp%ahwi}ġj71I󦎥Ş3u 2'Hfŧ>S ƖZSW#OhE,.WMkf!iZ5i(jx~eA+۴DvG~JL<<Y:BR 姀0UMewtTcp)'\:PdG] t-SNf խ=>$ '_b~d47>{ןy==o`=T!Vd/ZM$.1w^oXѨ>`@ `ص"ݯ7R-4/UXG߂kfLp#CAJ%KNp[Q+t)E;C]v2 2c䅗gƕe5U*z~ͥw {1p'Mt0s̕c0h]D]Ƣ 8hmBi6Nł`Wփ{xSoG ^ǘAz((C5Bt#{mMHC+=o *BEB3>(QX߮RayLAC*to%?J5lN%V<9^I}xU% 7$qh5 5¨ןЖf>|xMZ2@VdjлʐAٍ8 " >1E]xNgNֵy;%aMst]* Q5:5w:枣 Õ^?`p@&nq_i aW&vV0r0IiO;)YN5C }Hj3ӊ_ܺyA+g#Oz]m+=E<݈g$٥YϤT8XK5Q Jhi2k=)f\B,Rusw) K v::_Z0PxmpKX[|ui$!Als0@ ;JFhY#6Tg0C^s[cȏǁpgq3vז\e|ykMVJ#oˎHCj.uQ7|x{$}sC~M'#\tkDKSYf}lu. Q[ؐ|J(s^]WcQw-[;"~:Vm@ eK;^DZbEhaaKXnQ5,-oE%79 gXAP!uXX Vhn5@V :@MV4fރMV#!ӈP#?59g7̨(H Po0QQHɱgYZe˸q"-,q)q5?r %)<ƣ39{i`bԸ#B`Bcq|=/iLU/A0ji؈ 5-tГ^0 Ʋݟ&y񗾺C6nK! ҊNzI?W)t??džV܀BҔ hOnS WFPkVv*G ښ'3L1x_,%Vɹwm?z=y0P _I.B?ډ8z{5.~X")xZ+h~cޖx_u`?lYN nw)߼k R>Kk=yh[p)OyfP3Rm6( rۯVb6ߔp[0Q\ةO 9x"9RƩZ(p)GYs؉WJ|[s4oިElO Ԝ6R%JnI %4.FW#Z7ؔ<aon!}΍owMCHŨqkY )Uy#_@742hR_G %G;.H$)T 3EIҾ$PSf (X1JQ,;;;9}#J~.Tr.joWQZ.k5;Iaˠ'uK9nizrE*e4S3v_o41kKHa @& vrN4}[4J޹PQ)8I[Gd;~lZSE1VIY:GY%]QG|H&' 29f` "JN aRJ/Hr1N@xH#\`{Q ŝZ^?VsNi,OC!2<{jqO¯PwO%bd Y&"_K#y m69u%ds2!eƎmkFNz'߫eTSt)2ȋQ)i+p0b\uuf<[}bvJss>@eHJ OQrTBk 4^>^x(-܌\ . u0-r Y6PT[# .ȴȶB"&Nm`mEP/μnEmcR,7%6.3;GJ4TV|n;'t/g.B&źQإUh8gr1l9͑3BE..5*āHG/FZV.DVS`Ϩz ҫh/,sP}q+z4V0烎we&SE[ uF4-I"L 2bh,X }C.KJ7TfQ G>`#۟:q}VgD5o/g_n8`tF‹:b! 7o5%T}zY rU/ʟ<uO$tDyP|8&z` ]jmSG qIf~@֕C`|eO$ zKMVĩųhTmaT>p/8j* &_j O@DcH+K7dxW/$U'7b^<|1nd@]Fl.v/@uc&wk"ve qJ2@m+x79!y>`3^9' Ui=U1~У#{)΃^/<\"3Y=zR[6u:7|m ?p7 b`>!kTY-8(+Xpbd'8$j}*u 6H@}&hq:, S*_ m 7gĚBtlbIti[IO/BHapP7 x8#rWЏ\-pnKq]#} (aZrn Dj/]1E)- pkm6_X&H$4pmEyj,oxk WL\U汈@3;dƩ : _RWwGHHXi&#'~Zi71۳)1,V o_?xo|uQA&-65RMi~psTMKig%NR4LcgVx%혝\"Mg8 ZWq DR^rWNm7;.0] K^y.S QDUʃ\-Q+鸳5ހ1Elfk +Wq?h>.=0jVMy`Jwg`VN >.AڭQ5)P _e:;b  d?x7CF,E >H~(?Y"F֡^WG9&v@x'qPOH*͑v7yvs܇YNybtU@Vgq_"pI|f1)GKhv- B|<h=zӕ(V e ф_.ޟ6hV=Ofq2T,E:6-:]Uq ; ~~S%^eO-2-[N{=k-zށYg,(i~#Vʓ̩3(Nr53N<#~EHK}n4M\b&TAlH$LT߮}yTlJ.W_RKV9$bVѢ#4/sg!/3BRԕߖQ鼐tKd;]06޴7+< UG >1V[4|R4j׋);D$c+!ݏ ZDw2t۔q]Q_s`o5"Y Սq&Npv*R\;oDBP@'ڈCxkL*SZ6腩8{PD%r5܈fSN˱rh^Ll$]玑n )e~^}>$ZyQm)&$rQ'1_>B@?fш6E1bHD#*3rmlk6iI>W8M”%yp,gbZwXHVTB,!zGu[4&? UNXBkk4Aa%cw\FQW1Mvr͝QLrxv.LGT#N]jMW1@_#[qHr۔r|H٭E Q'`5؛m \wޟ}nA=|uO hfK`$FZ$SdX,ϼ"a}-{f2?Rk2|?קÁHqWfhcu'{'ԼauCp;c6RCYuDʍǝc5Ca?gT'9OU3O^CL]m΢^ [Ur6ZP l`ĥ(r !㦍/3텉)cӾnw#HdoI{ ^Gd 7Jxr![{Nt4^}}5f a3m!P.?xpx`KWt>Jd8۟ՑLZ~MwO7-Y`h}x¶2ʕF+ ]// aI!.TRu7~I|SЇBX!aq't~{ x[Wc_,[ Z8 `qشsIV |[ׁy LG4$;Lw!]ƶ=t,F4$+\"S̅zGUkk{"kiK Y<Lwm MxvQt\}0hi6x_8ݨXubSnQQvCq#7jŝG B-dǗ9dkҥ^YjaҚ a#,f#嗎A@z.ұ5j^s]nK+xj Iy# tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup7zXZִF! < q]:F.4wn쐡&_Ɛ maYߣx.q̾=6Mh`au]o=$}F*Cz0^XOLbY- [Ѐu _fڑw6tQ?_-_Ws`xg^nXRgA c, 41P 5cb/ݻ U+y@K>3#dS@Js4pḱs/ *C[5ɿ w9tp}l7Ԧi@;HzwfAU@%ui@ןBHp 7@_FiBN(UKڹbYҪ)-ijs6Ta"1՛9chiKuF#n磭hGb2~%o}~ еu5 8矁xF-\Yڄ(<_' OrOQئ$qnBkƋZۚV5co* ^aUH^f+DkBOF-^)sƒ_W ( U}  ʼÈN OX g0[q7,!uK$AU00=6Yxx~{>H0.o$]ٞ|9"vҖ,}tM3WV.snXe0VK,ks@QUG" 퉶 +jկK4x,9hf|tKŴ&ё,DjA8If6fh+~s?\[btZOYvҌf{ I w-|*_J|Fx@nk;4fΪl 鬶(v|,_. $fi$U:)')e" BeU'~h)M4h65p9g.Y5r5ulyF8kfQ#o4+nXZ[nwxpmAH94=>Y&ZiE>`Xg!'Opݔ`2=-}I= [[.&h7= ն7VLۣvX{zY M.Ba6rm[J^,>=K{2J)Zr)$}UFy/j ~HEd0eO(/Mfq2l[%$!Ԟ:H1%x kd1rM!TlLK+ϲF,A@v'bA.Ex$eȤjpys\V,=q^KZ>[Le#Prl^f3 ecH!5I.ۆ^ftn{(Ro]R.bFdLz'P=@9xjp,W9iMH⢏wh4݉ A-Z2 H) Bv6Al A\Hg@U.3YBmiv. ;wZlAdlM@->$PԌ&.B;2/ߏ[Ҋ U.P(JaWeQJ݀ $٧^o2mRd ԁE{_ageVl e#"AMuA0[,SReWI?v7H0W}Bvp8j'ޱ)'V je/5셕a=serd@a:{&P 0av#hUG̓Sg)ߩp%.M*{<n$OYh*Ć""2@$e[%@TeIO:\j;[1LCfStKiȕN&ԏ`&BR@C(fq>PX;nv}2ЎS5KY{OʃTeB4-Y 5֬kI:$y&7*oXUͬi4ϓ 5<1qW ^}ytFvr:jc6 ߜBQw iÎXkpN4| fi/>-iڄ}D _[y3feYGh|©bB-}Ÿ ԉ6kjBHHtx(X]QdڂyL uYAQj|TtA/bECS%6,<6E"$ߢ"̯e6F B ldt| _uIVZpHxdhF;qd ph~cO&`6B_еDXC jb ظKE?6NKup9dT8SժEY&xWu7h0iTC?~rþru8,o6#F?1c9@77'K{f08LD-Iey>g Fepo<)"[\#YTUZB6[˂#ш['?94;rۮõ qPq cЊO3V/lVzIW +ZMpd6k)-N=ML:W%>8A|(,{: r>#)shf0VnpY7%6{j+gݢ|ưaIj-,Z>.1lVhȹrM(ƃ}П"AZا!k$ FIx|̈́Y:8AޏKX9~*xT[mS;}5M XzP'&UyRL )tu1s [6ib#~fO`^n&L*+5GEB?h{0LzE܏nCE5=Q*y|3c. mhw(bds\‘MRsU¡Ey,ĵɈ9.|{0t?e`yM;UV*Ji% ŒL-o]x2 1a0{ T[`1r`T i@φ=&ſ? 0Lc(܃%(>zkyR/RIhb4Eˑf|"?8n8'׌'[\MN.'R m""~f, v[]TFWUާ\Q$xTtE o0]r{\ T?eIe6ȁD\.tI.6҅$4Y@BX\@=PWT ٻ[2 j=~`15c ;Ab _y>TFQwX7t(Hmw4w+Xq3jHA[d 0EK!x1z_bOS5ĖcV kZ)tlJbP9PӘyJ!$'ܤ8(6pv"UBS SU!m~"b?vQgrVg-ͰD,Z7$c$oPK~^6 Iw*ySicS෥8Ӗv$L]tFSNWyYܲ!t|8,mi'tckȴ[-EѺB:C4`e&/NFTI܈rL:w@z;P [8Ξ[[FM>5m(e0b 0(-&),ŀ6=pSOnyJ ~bќJawͭ68[ M..#k#9sl 1Oq4wtp^N=sįs %W Lcv4+hק$y9WK!S<+w /.hGZ.!33JT%FQj P< ;qH|>X 77Gvv/5e,XRZ>21o}/⭞H||nYu߶H#Ѳ˦ad!;^W&FLg!aP?O9?R}SNq/jR{<Q+P7&P~_.[t0L>ߥ`;_&Hn۞ -."ܱ1XD{uRo)#Nh&cƭh23jB{@龡9[rC.]ЀcH \*|Y9i7hOnZ~kl9#Z5A pE]$S-JEGR@ ~e^U&T(|7l_v)(auU~^qX)..NlPHP2Bw1 iFS'4_TR%eAs 2L:&yED1]z.bkd\Mܙmc$;fCCR}3ۚt86\֣o=+*$?uv؇>ij[#y~E#aW)^4nщX>W_#JGf.©Bsns3Fb!wcvDl_SWi=yNTD)^\VG ݯ`oG(Z?s p'Ua'n>?B>4>DbryO .d|*'AbO="Nی_{ѧ6ml![7'\ GYm#@aZ+7PȾ7Ye*bϔA6n۰ wr+AY2Vȏ4w^ǖS5 :V&ymԤ=,V^L:zEp,c X |l0'EyhSfX[Ub KTFx|rXP0hZhٞiC8j焁w?eg.cM2ȥVY RIAeV~cZ AZI3)ߒn<, ;2T ѝ>IߩE0eo=. _O_L\,ɉڠ7)_[H5CQjN֐+C{`A3T7ɴ ֈ,V`nBv 92#Sf*sD !02dtg [MTR#|.K >-N7s#zU"2zTD2]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO QsP7ܘB iD]*z@)I+LV0wP6J /Q CJ@+d?D.[O{EKquwĪ-mq$GDk-BٓR7T=>-HD .J%$16K#[t $ sZF^ sWy82"[B9 O/mf [[ /cV8ռ˺h?֋.ªT¹>_,nl\E^}>:L T oɾzL5h?z|u``^EIKcGT2pƐRo ]>o}~sSSTl '؊ x߼Nm_^Ưѽ2QlSE )4 -*,U-}6ʹa٦w[ͥ%_^c7^lLUP~ͬ/G?m^zYx*@2ÙQO[CuuA{Fb~ A("t}v\Q` Nk#vxBC6^r2)-&R˺3s]JѢ.9L{F2L_mϥ/k.i^'i9qaa"jscDD.K3[6x%*<,_ JhשDgrj/(DM5Evqe,|jDgzXsPj4ݧpfX,?)G/ytxz Iy' ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messages7zXZִF! "]D?7 {?:fH\7 ǛTXB}'Y6r#Vb&0VhWti,O8ڟ+RB SgR Q[B k5MPmM{WM ?QݯB찁4:Px4A=r-q/ݰrS! C ,]؍[[)󡥊@ۓޅbxX`E/!VB hҨ 0\~/(%zqWMM49'gyP:?=GpOZrakdyu4Va|L&dcعKg<2:ת8oLzi'x﮲ Sch1B~D<'<{ EhJ)>C+u)H`2Bz8Ě^OI(P W8!1LYay3WQ*YcaeGm1P̽+"_IGba.l u  Iq lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.tex7zXZִF! -]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO Qs"*N ErFg)96/GXWAe9By֨1e4f%p0B'0,.È+|2<Jבk`&h_l7ϱCX1s!Z>7ȕEXW>6~Ǔ -K)KQؙWz7]-O00!M'y4q-WzˀoΒ|ŜP¬o"l!_B^; 8A)|֗cs,*Y n+aם3nA$^5r{G!G+ëx^<G@Ik>cb/kxtUl c9첁cL.6C N"D24Cla}u4!0[q( 䪠M R=e8nB aLBӓ/Y-N0bF\> ÞU^YM,:P*uZ 4]A<Պ7^B(6J ²?b;-4iWjOWx2T%k G;؆HE;Q P6^CwUB gU"j}"@`Pm'|#LLHM<=$Dj~b\#\ AX]B>.BmnCJF Y ˭4խYQ_v/!4~GaGpOo41ZQ-Mpr̂s@HFTB=eo_!b{xw2i#1.8$t*RC:jǣkh%\!|OPGnɿlkOmRAYx!8y3 o@3)>>S->Uy3ʙb=fաPTy'sLڿC8I@ Ƃ V"QjQcMUFGL7GW(ΫX|[1.w@TqϼPf+l*F 8e?[l t逗M }cip{0wfAf^U^ mC)`m2mO0WsS͐O,t:O+rAM|/ƬG]aj@WsKb\3{C"DOln:}]~Z1)=Fxd'U f0@PUз#XR#rm&#~Q Sz;@ @9kf{ǝ{05&z]颐 Ui]t0Wolޚ0rU".v<^5FC*9akt>o$$"#cp]9Gsn?b|pWEnoZ|8~a.f(O?Xۄp!`tng6_t% mps-q:ͳIb+J1,)|~'̂8ppi9WV)i*c#"8k^# 3x jH1ǒkx_:itYOYTV k&%d'.z,i[hB\Dn‚m<A"EIߢPJX?jWC!wbbNa4_(a injJD CI9䫖:.ߝWѠh֩@Sxs.1^d|4\Lq%oQy}Mm)Q!X6gJi(40-YR]kO|~vm_ ]ROi`%y0(2}ZPYQ@' e9V͏' ȝb~k2˄ox, 䩱fN+zng81yDcJdx'skǝUpᢰ O#nZ1nd'T:j}сpg `; CyR]ocwJrp4 Gmt{&'.¤zJ`rPy({}h {B畵atjiJꂳ<9E0cV֜Ci&;Q\zC |.2 y$/# fԜC4 fE0 t{8 ad PtBS: ?ypN6rTWe1 x--qwNXO40=eP@{@J ~ޢ_nz "pmcAk٪g]zIGջipt{t,l|:M8,GM;I erlP@gʕ'?܌&KdnGdlZq2}__.HR78Yo8g8 M{&<><=CK L&(yU$ +9g2U=lVa%b?8_qt&Zp],2a-h6 Α/O60`WOD`{1MQI8L?Y8/ϧ\;w6Ҁ-g%1AIV;]{jK.Y1@QA`+"bы`[=~;&Dp9|eFeVeWɠe%x$J0x=qx)VUj.9gy@`Ӊ <Åxq砨#c:W}2~('cLӏ{z62{rq_7ÁsF=O Y _qS ;YYŻSD^{:ux8%Ͻ#&?\S !3BROzƤоE3cE*+^72c7c>~1B)R(7ε ڄ9\Or2%g>{tb OȂ) >UcU OH+~_wF!RGK}n ǵP:"{󤇒^*$Z vGaהx2Wdvc?1voӭLvSCYoǃ'1Zxw?^Ua%/%-STh0ʮ_(ѕB-@|V#v=[eeNr f@Cfqro+JVasj j)=usӡ]/on5V\PmvyrcN3"Zِ9^=u=@t1%2$WgN"4{jxqyZ:u, " TqfE,nHϨtU5 RhAM^xiw=>j5{E'9'$F"<Rop+^(pV,36RCAg`TqLz,At ~'ͦhoHm^_HG8/L9FR==r{i0LvTaP0RFaB׏5aimg{rR_$6650 (8Q)Lr] T%gǣӣZ Hi(|Fvh%ق7}痣F *YZntn )T;˲=~LK[_adA+'N1FHh$ۙ/~gksr>ׁ%]2q6$Î\`2=&TRsZ2mmhEp(z9uf/g~gK?n[[nTyr͋E^a Z^p\oUr61owC>Mr-Hs@AEnF'hODw-=s' \ $k3FazwVNE21(Q4P@_f.2[ :\ 9raqتgx2uɅ"X:IZtLG+#C0WқϪ{RO x^>\C/N@ws s[7w&Q z H.&VX+Eᱥe#X7>^cb'Zz@FDe yJb|!!Nۦ8|phOJרő U>s8< Vv+4sUcUwsS[["ڢڈQf Ejs`?GEY B>o8wN!-Mg'Ax]C"RTKF<* ]G5Wv(b)pn#]cUHȸJ1b#yqe.I0+a㿘ۉQ}̢Ug8 IV .`Lܒr}LyNFlsv+,PEڧi?;._7|d|ѬT,AU%%Q ,儆M9-%]fkƟeϏ ׺18#[6Ǒ~˿)ͭe(Oug)A  =#7'S#d/ZXS")G:h+*"E[8Ꝏ}x6瘤 X ĕFEp%H , b29RX,6I196ytFB"Rh=(ݢl24! YFE3@!X㸑*5 ?j9Rl,tĤ#pAИ5| h>_ &8v#OVM~Ѭfbw[׆X\+]2ܜ3ט n|F?EH'(Z?g|dY`F}YI|Jǭ=ˈP@BU\1jIki bmKU"5na7}CaM/۠9,M|blcvlL`qwŹ8(Ѹ֯PDڽm`PEcb]v^YrzJ/Bغ;:!e7hQ ,.0״Y8N}ݷ,4B^kljZ8?L[4@M>]GQ3_,G9RtE4v+t&u#(落O8cI땾.s4mnf6KsLEEe;]} {A/˵9 t%WɰX@Ù}֛4#c%ՏW-t&#YcONS q}Ց^{cf\x\5n VcP3F=A'WK\<R3*ccޓ.]*~hB.6$#R,p73a7cp6`4lJ\4 T}UI뭽ʦ՞"#/ӮP~~z!b>o`e|8N;L%loP |Cב#$D\%k,#3jwNd7ƿ\r3X-th %<(wSs7#M+|rar #@RDQD7q +ΎVORa8T/Uܷ}t[26f)i;Y*9gl/rE-qJU(p?D뺉L@1ɮpn[<ШCѸ6СyĦ'8Oқ;OA ϛxX; 3vӉޅeEqm1HQ欸ȴN)%-3K@G*Ǩ'2=S- *McGMOR@u1K8MS&;9[QOrۻݴL^tU5e2%u#V<}* TO09ǍnXSUʤ92% .&=B4H>89oaUm,E534$KV)!FIZAZ^(‘%9cyH!p>sܾVt]{ޝWIr\x4ޯ,'S1-w6 . ́a MɆ; N]UʫXlpG@2ݩ ޭ_x4{K 5l=45W[O(2E'\A `G< |JJ(E@gYZj{S0gua=X`z{|od PxX5I|ՙ,qaU Dex\ΓbQ%F:L_(,Kg,x%慉k2/l ralz$^_0b1fTWס"qqP7>"3 Nw1ys?q;=+c^lm"GkSr5Jٗ8>6BlEmQI3JH:wXr:&/6^]B"z7a2k˩Rp(_J drf<輗.?ފRV46_H(hlxcT:+ӴcvQѻL3eP. YqR 4'^[{` ^&Tg ]^,o!iZdu;"v&{ ~9;D:a~M'L9nyd5/&-iV ${팲LIw(7x(ȧZ׽şy5Yz1O4̒=^ jD(kN&].XkQǢB$_eHZ6B>=`zဆSXWr0}//Gr:Fu̩e&$kIiE|Bwʬ)ℸ wsJ1bYEEYSڟ 1GSܙd`s6*Se8eJGJ zFXOi .6!`ryƙsiU2FutDZ6 #["vam/fcLXk؅lڢAy߻܊g1 *h|m<\pY0WglUr8޼xU=4C;r 43AMWndZOWQU#DA.[$׏ңC+:s~>jeH` 8aOZZ4oIu2Q8b7Sqc/_@ 7uY㭧 u%#v/1!\{~Wpv#ko>TD'X^* k4(؜xFB"B"ll+ d͆XҢp}3}l콯P&HJQzosE'-) _B]Lbzu˪5[|D?AF`J5ej\gY+qx_-ʗ0 (ss3B80ط_e|";Qۢ-,'Eˊ2Ʀy7q#IYY:s{ԉ zSϲ K5;%F?mސZp+F& ^PxC v G h7_ig`Sv_!EMDY̺.C%t+=08\xϮfL1n n%)T[^D62YV*,-]0D櫙k|BEqXvj fLptYVq_bLa uߗr09~XW/zp͌â#Iq~鮢(QɆ%[&Im4IyjBZ`A+ĸO6 9X`8vA?Oy3ۂZe/MԃJd~ {R=iޛc1(j_Y@_Ov*` &&`;&:C*UY4o%.ϵN^N/dpo}ĕt4'PaR|hc@+߇rRL&XO8i$k@5q s>k+yv)dh580'hȝI)?6^_FT26r' ȹ$@q&oP+ygcgYZjfGR2'sAL@q$ Ejb&ƹFyz [S=S@%--:bbTʈi瓋 %vcdp$L!u2Vu.ӷodG7Q "|9ƍ]&Y9ƀv6)V'rYzYIpK1dؤK@H<+CVcZ!&ۉ UWw@qԔ=i&}e^A6Y/>y= JI`]1mǼ}-Z {\)TrjҼm1x,Phl0!5'|hP&αzJWڙ5"ʉLuY~k;zsPT0LjDggAr EIk`"^ 4iABC㝔V&cCKEG08O!TdQ9L-pC^cp<}&̰UH&3GR/(Φ{95,,؜h掭$5}[jy,T!,{@~2}&?hYX`%HU׀U"@+^W9"Tbd>p8]4Mnv@25ppUao6eob~X/z)ql/GҸ̅EꪉFP6M[ '$Y߼_T/?CmOmCrՆ0r0 ֵO 69#wsKgV׀s5 Ӳw"e) x&Ann>. A%A"A}2gn#ꪬ"o[`p94ap_Dml*0TFcپJwle)yt$'qcoOBoC`魋iq}ucy[YXb: q3eFzZ}{^]7,jf=Kyܝ9.epdس6Q^9 >Ct8=98M6Dғ^g_"$+'Ba<|0xO]HsqIˏV1ݶ{G1a,(l٤FDS[1P`.)w4n@ 2 RI?-q%/eoo*т^YvVncj\%EbiBӃ CڨaNU}a7]GSgC-i?+휫C-p0Ʃ,4"z8fMK;Σ4o3 МYDY?pkhyPEhaxMZ9vfZK \&ʞ<$RmQm9A7 :`yj2s,m>e txjufQ]3WVBIpEɓ> ) hXeC8J7=HUQ$[*KCmApB5V@[+qg:($3PLSeJxŘ0Txom+`5Q2wY *yzY L ,ޓir7[[왅!@6B3`%ԻSVa;byZ? sfa%TA~ܪ]+%٣\͌ omTad`kg[L "\݆(OP1- 郌#2$RUzݎ5&i2&1dCשsCL]b_?qFVZqF3]F!hC )=F`EU( tjEX ~q~?b%A˾yp /+*7D :aK[OtEۣxk5(b_;& DL% F0CbQvL3&l9#3Oݧ#ᆽ-c 9<~2U]W/S10(pͩ؁[U%l+/O!Kq?_$|9tWӹ1t~8Mez&h,!{H5߾߿CX +  ΜlHF\]?ڊh:3BlpuTwdGIŐr0uP>euY:ikopZ8;faibּdoA7AFڣH(=wyq ]HΒ4z%:v~51 Ij(`dLl<}T_drE1vY +{~ KMSUfMe8딭#QǓG@ jr?$N/r…4uZ"Zz=7ڽijwYoN|Gܦʆi'(FC.7 a<ųDŽ]>njvEc-L}#6v!VHFtd83}cOVkؕn6珁, m? Y7ڱ xȋNnDvsϞ鷿'ʄ@x[7)r 3aXԎ!!zho#;S&4rUEAլ SN:u#ILi{T ّ}?N0u]Җ*0 QQ"#Q1W=Q Br*npElߎC#B"7N+pra(;;Ţ_ z}x, ;͋iJA(ĴsS+Ikm14&sV,gB? pHd.$AX*x7ˆk|ewds7ν@ zٲ|0-8$J%'7uð ;ٕ~kQE7B Jx'UcXm0X#<$$lUXWl~:^K cQRaREV},QFI;/?&̌˥o,C_`S_" xY-=) AM'w0lKԫopR['Ʊs-&12j;}o3ҚB9wW2vbS#P dz[۴WRbHVrg|>A*Yo茲 PeJ}c웜%?hM?^j CW`NalߛcWmBq g8k e|B +q\6H/OG?g̳4kCAU}o8R HUALEsf% ]"pS`:>μ/s8hHipL#GG-j(ʎGWXv=p\`%Aϊ t_PWz0- fߵ8Kxc62~U }ȍ?0M6Xr&7.<۳ԉ;U{>}T-63tӥ]\&L`-Br6'd&~L{~N!yGv ijE3)W(]y$Eȧd dH = /8t,$rHQ4?Ѯ0<Zs!aՓ+\'T n c6#̫R2 ru 1"24ee R?|;8Hi,G Xd@w)vTCEF`_9P5MMvkP2#(F-t51 zKKߊOz]ϻhU+T#GCK9p̪ЉҬ:)U %Ef |&O1`6ooIh!K#q(GRc,5&V jEu'ES,}? W2)VqC1 E~z"8G'ѥĶt];~uL1 U4 .2xZj-dʤ>W~b<+곲ԮFgg>(F:Z㮷%&7T[% nJ:ɹoG1(*% }kPrц3D]QΌ#~:3G/1+1TbWgzZ%\PR{o`j^qX}O:&#bX*L,$TWSoB+%jTBVaRog^eHTHzhLPIӓ(|AWQőQ9xJ<b+CtG,NqCibव 8O<<1>sMV)7~PV=,zb+r[.as&:9S=?nj70dr|D +G[M^3;#8-f]>YSQ%ESS ee-)C/fñ]@.(jHM-@ l,VziSxՐ/?bU;/n8* f,LaasznZ-8?Ժu 2'%]7 I:14ȯO(ˠ;a{-F1Ao+vW,j%e*{1 W*6!m`F ur~+' WECn 9΢%#Ee FM+ 8fJ@C'4N_v#AnA^7{WEPlB=bs83J!Aەy "4"p-6"S4v 9Ǔ6aaWy h| r@bJSLby\~rC-c 9vM?e5h!|6^: G+N꿋DqB[Ȼkw/ U{Kt޳m<#W .p8bDU ǨῬ_X(rbvG s cIڨRHNVCPDlGњI)ʦ¾크=(ѳFDvj2nc.[L aMmXd\5CR.sLAB{Z9hKן3oh~Rd[ ֧.G] gL1'a6/*‰R}X31\wJ?1tܦث/b mD)biU}FLѬ[Q(\Wy iYuYǓE]w؍4*M3;&EFZgCC6{OmL\QB}9֣lv)ARXGo>5rsE=޳9t>JŇ4*mS/:99>iub D1pP@ ;}}|UT3F?СGx0$Vt?1P^ܯBlڬ0)tC)6Q ` ^2a!Y:oڮBh`w8oe.'4.T,cdd_㾨iɷ8*/u_-ұ>tcꩰq5~0 kh_nF/]R̼Lf22Qs]">awLZ%aatj{MrRUwHJdbHɇe~ B'WO`77E%0 ǵRLEGEFݽ)IBc^ˣ0o57!,e"IU;i?yT9 0"ϒ`L:ˆUB xs2IFiGy#P̙{au NCWXG._ 2fd͙X1%ȭB'`UqxAփ,ga\d[VM^Y0b>|6!LsCФ|F<.d퐨 :;Kf^m?۔jC[xӕ?ۺ"W )D/޷{m''$+Ry]lF/W\ŚԊ5sͼ\Q= !pCb9tiRm9OAЗT#z h v6PXZroxoZ6<۔;"S)m%ƭH8bY-ge4Ck^YbL.J,poG uWgo=z(")PH (B7f{.X*Xu4HfBc/jX);5Q%Y$uR@XeQy@5ӓ#v4DNSQb5sq'QB^:61O%}HoH lA]}Ʈ6X]&yEˏH-'<>VL)Do /;!TvvxъJ䒱خU}j_gQO2%Le{P'ӛj3JNor2wZz!zԑt,j=M5zk Xo*Fm48*U#Xv,zEIAۆXl<-ͧ.IVxXƒ_B;M-RɈ͵F5E^r>'fg+CS$T6k}!yUp}+:%DAgI!a wʲ:HNR! A=4ߔ@97$D˂C"1#њJFH˺[ ˮ^'3fMY`csr^غK@N#c5.{ Yq<$%2%Wbk OD"`&Y밪{7wtۙ7 iEI0̤Zkq &I,#mQ`0QY*2,eX׾P>T07췦r2#. zUp: .=+-HSLYQاOY/ޣWl'Cj%X1_f _eak\ӃT;?P~ci$\ -kٹP㨵Y;Gc3 $g?B}לx?V'TB }2V5ۣbDC޻5-+阅N{: bSz##>\O&3W<=l 3I t[y:JC ̠;+SuNi˹%Kv VTzAv݃ B!oIgz,Ti.Dж af$69a0~|L7<ո8$pzluYTVi @XUsImf,Fb_ܬqs ~Cca,(̯%BNK\mG_p[zA} oO I;lQ @J8Z^"ժv?% B3l.c߄;·3Uf`^)RSY@ W:f" i"wG[@^yֽ3XsˈIeTCsy9o/juLΛllB%iY|>Slw峕2~L핍C& vuLr9s'+/jKLG9S:Rv=ئ, M%ǴJN:D@ dh Oj}{ku\/S(bʮ2?ii6^b/^§ `M)?1Lr^-ى`|%mʹ#Ul=36Niu5ĮBeꉽʫ#r(\?z|{q:_-(9k+IutdwGV/?hƛC vnZ|jJKGߚ#F ]`'jʗ0-b_/&/-Q~N&T6W !bm+U4c?V`% lG S8DS:jL}ke1o3TӨv RWWWG,b\DTs.晍]/;? QZƢ4k{ſu PTU=ٸjAފW75PgØ.Jf@_Q-@-Mg;B<%(U w.P9CLB !ε΄C+Y%~MϤxDvPBNJR5k]nxvA2MvY4 e-C@NJ~` ItZT+,A6RX a>iquջX+j{;n BwUkN|ʇn gu+E6ر76VnGˡi2:{S_n9=;6SI`%%ӡzh!n/蟭#3o!ip"^wWRǘMrǬ4l18?>փ3~g~<@ye2m_piQISLLݰ`P.b)tXCL6G;o۱/rPl_x<\ 7 $+)(!~#`Vg(O:6F'Ɛ8 a  V@`tZqTݪTiGy&ʎ!xC kE3ǼEojud Do]MWK&P *E蝌k[Ѫ,lKT=5xD=@lё`0"p,9,޵ T** |J(?,5 ~tkNg}4P*U @ܪ澟dx88]rDH1#cJ>VQm[|>I(SfC樱:OʀCC35/]X!V|uNlka&/iU%+MD M TC:rP &ia \1s'aS*眒 !lMQ_9iHE"ZB6e!N< c%?؉9ls8_2DS~ɒ;GSP&녯LV\aBω "j<.ߚΰYmq*3V(F DF"PABW;v~؅âm#}B"1\N %QQCu>&ME]S h1ca\ӹ@2`4YԿR)2Z[=[!7?:[+኿ DŽh_8w$MtsJU%’y@ٳl7-I@Jpvョ%)IDfq-YlZ[h+]0,Rc\!3UzM`NdNJm,K:M 6'yC,>Jsx?"d0uDB #Ngf8m"~DPf*g,ܱ͜JA@MkcQpVπ=D ͫ_Q%( "9`!OlS?U:?"kbFoHLnU8.`AwbM DH-PȲ9zxE&9&&0K*+ɴl&8gR_H1w`~oU"NK?6+[Ov"`gl3?_N5z$ K  w?4&?2iI-`ʁrK>6v% ⱤE.Ͳ䓖Ń\'ɲ'AL=ltj [i9+%sI*~MFzQJF΢SGYSvҋTq~&a4ttj#-" UҸ hhFRUĉlUMxyF{aj]C{?@dLFÒyۦ̹p B7v5 fHRhf=7'P~^I8<{E*hruhq0|0D2 :b~~v0\7Z )r4o8?h1 y%?}y7:S0 %TdECu$=>W#CU XqCti\ ݢWLa !f_tȄJB& EM(ͷ5ĄipVݟ]ѥJ.x Wb}k[x ޫ.1ίse,8pE;c%)%bgHĿ慻F^unѭ"[do: oZ'凪,e6 Ğ18U-Tl61m%u=X7F_2atWD}oeKyլy"̉h1  v} "s Ts^)͓s!aoo2&qXEjyt,Vtk]8Y3Z aF XěbfsZw{?_c>Izҋ+ 0->prGwlMO3Ix3zZ0 NȜ͏3]%=X=j V-0߯Jѹ^ [= PھˋX>C~ΨFusP16\9Yƹ<#OVŐz;|b*./0`[EjX, h2-Lj )%'U߄1I\jn_ڄ>Wj`'\9(o+@4yUn&g&wl[8~8.m]=p3Iφ5Qe5,_׉P2C27Cf]~$Tv׫Â\\qL.2Xvf6$BDN- ~R0_l"St`vc*[pu\EU͓;/m&c1 ϕM}'S+knԏ˚Ң~5ů\*wmIֶ̢1vmP?Movyq)hJAL-4>qbJnT xMvxϠ™PJ^eGkP{ȏæ8meujcù/-;[q?]Q\(=p.YO :8HXGRSد8QUI<aM#M!͔ Zqa>9ĭ'؀h5VBRohK28 gƤGQ|S }2$OQ'x[C:wڞ͊Z& np^=D77X2tv2cgl5 l82R& 0}]p,3*βD❡ FX8݊v5#>$A*Wp=.z mo yp dMǴRJYN[ 6 |֎v˄^-Q;|zuG-p5[e[NPJX#^UܙCʖH^h3}P`g:ii|N0_%o_!ֳ ΀Cݮś}.XNz Ewc~m53f)~!x%sjA-zҥ9˹C:.E(X[e$uYTHO&eo{= Utf_N]u+NFiy1RWĩZjǣpe)T8I(J DYSEe5{2\"iG7/a _JcV=f7qb\vRϫWv}/A3FԹ^6mQ" ӌjذGޫςd 3y9AUWn*2( q "^([EDhC+k2X V5n3mDq_~l÷&9)GYL_z33,Pܪ)7Z!yTV<#i~K71#^k 8u!, RǤ+H@8TZ {粽eR9Z{5S)K]^dCcWcW)W%!A ݂KuWLޯC ?ė \Y9yz[DE謩ۥ#@y0=1 #*Q_fiZ<j~ZM'!9T$'&J6ZRν )4cXw0/kDZ4|61e-u1^6ue'91?!i ıxW#cb+ ǽ#>I Z Kd\|Ƌ&JF~FN~G_ 4,>f[CI{OUnjx/͟ǘ+UVgbbtsP'%x~ ?x ~М/17.iʜC:hy1R4lw^`#O;Tavڕk7SfH ;f:є-1\^b4.Z~m7םڧ n#u:4B{g*U[m Z|(6:O]K)fMnTJ  0ԬL f?Chs(j& wR,+*MMqHM(Έ8 gYZ]o=}w `1ԯ]>ˬ"eۙ b_F+Jo^,ƅjZ=C_7+, vwSyx 3NfscҎqnN `- 'J e8D|>b4v,'!OuH-[_Di>C=ւ* \Թ(D9گ~ioۧ[<)u;_ip;vŴѫhQL5d,_]ʰvV Mϼp}LŃ }T?Vf!K+F$>D>fܖf3&>Di覃UOe.8k*tcy`C ya[s& uV5yw47 ɬ=SB Si@. cӆ{0K!q#Ђ;;LaA ǶَFV}I"?K ;z!ݱuDcxWUQ5) F0t1 i^[j..r=u7K?ZN巽*:Go#Z(:MРxYg7Bc:D~B1l׎^7cMM#դ ;‚FhWQptq8z}$O@ST)ڟ|''^p QO)7h~Uw5hpS4AkvX T*4& ±}t\".xUz3%f_8J_ !VKyk9 ao c 1MX% %zX;%(8P'*I8M ^!:q!Ipy`~[dcBc4 N$aېWXBSQzZ\;ǿiʡ"Kbŷ<;*Iz U SaMوбkHPp@@ˁnѱ> hV@G}LmBFFOia ؅RUQ1*{RS~*uIֹ uh]&3eSiN=TÕ+x8h6slF"Λ&uLzR62/74ݲB#:szl/?B)ky dM>m2+P-#n>Iܿɲ;ӧסF4iءw<te\C$b<ȲQ@FzÃ(ygv\~[Q=LwQ9G]h2&g27H[b@>y] Y`Q|uU;ڳm5mҬ9Or !n+ɿwN MTpz~ l 9p+xt&C9yK%om x"zWou)@E2s]sFc`h I+ܲi(|눡;ON<%Q&ڔ(؃n|_RD4{A<[FdϕSV·wO<'p H"+F@Ǥh'c(Z|޾e˻^Xs߶'9 0|ZQZT5de,6%cg&@/u֏>錀I/$9i4PQx]mZ]v1O~ (Q #Xlk-)icA8x88 f "_qm_Âدe 8 uw*#RBhb,hN*>/N?,4O٦^Ir[\Aո(JXdČDC۫~:[;Xա]dVNC@ʷ'>u5;B !wU6Y"=b%冥ֳUΩ* 0EI*P22yF>?0[hHtsKsgKF(@tSoZ)OjݮBzED# lgrZdvD;E zɧDMMzW>D~R3kwr2Hc7,ѭnAIvw7uڥ+ؽB:vzlir sL5quA8DZp@ɲg;cP(6Ybp^g2N7TUаI4,kO3񳍼|Rcv,AMU㶉UފάjB ^RIhg2klPc1j%er7+e8E' Ҟ#bx>o|8,EWF"0_\қyƩ5 ICVz L\lm鯹ʛ 5xm}d8~Rա{RKʭ({VrD􇠐j7pH3pNSMLxzXDK0=ysO;.[ +z 1'jǾ+  AR[cS[-kmOE5P}>{#1 Һ8P|H韗kHAjN1ѵ?U M gQ:kv5wN)"rDB(:&`| 23FGgGMKPû,+Y/+Q`g#Ҋ>fs H:6/Сu[a-t6W HqrDtυ ~sN\9BɹlÑќj QY#5IqmXH* [њ b:57S6Ԩfl.+9hb(rcbBW%ˀHY0:p }b' d+)]`<]2[[!f-@I"%>ZZWVV=.tct4]d.V>c&l?WZĿ T1ɇ9¶tBn{6Č,J}v91햍{$E*%oT_ȁkdCu)Fq)T#ˋ'XU'\؁>u/yPڔnO" SNuoΟ;h1M첮HkR9ZjmAЄ1@.=Z\^ծ-9##[3.SK/O0?qA`n4+=LX|)DE>4OE'#yvW8ñDM gBt0SlQ"zM1QysM{K̴B/LոDYc@gcc^Wk8we:5ؤhopQ8^0%aktv8w+}V7,gl/0k2JATJ:n1?%n1w@ 2)~.Z Ҭ9l$ ~FW2o4Xl7FuVKH'1V`qoo Kyx άl*p<2.a<+ /=|A~rȭUQc[h.YQx8})Z hnFoQӑ\(jo{z X al Y6s\Yjj bg^R!oąuF\CdŖ@3RQeN"Q ̢]k7d!N 0 IOAx|98'x۲V+O|0u52xaL) H}&TCØq5hF%&!r3V'%=i9ɲnДȦi,W xbC ~@K޸Yx$S.9X0Ko@) w  ~& o̠E qdүQ޽[Lg Tpk釭p#"qڥ SG{]x x7]YH<.٭LrkC~/džBN="{hN gl=*&R.p"ҫz`=3>10 ԭ4u)c=Zv/.`R'"Ժe˹TUL'2Cd nu|۝VؚN>\ʃ8U<3mU?SbЩ=6dSҦ7>=-&KR|wnm L3ZT#<iMXV$XaLA . +W sWz/lA(gygEH~w9o%VRn5q!DśX@ٝCjf: Zugur֤buoxaF̍B\;>&n򍹞ĆF'57jOs8UFC%evsڬn_Z0{*ƥ8/5r$nOr)Mb95 `P L,m=dj kրh耷-~porIK@x)BF9-7 U$j!zrNvי\84GLGI@ c^V7! Xj0(Y(~IGn h.0Sve|]Gw  AmGWzg6$:ry7㜽o4" آD!pit@|Ym8%5uxeKt 51v 12 L\p<MTdJy)F-^/ 9ٖk/;C>TZdJܻkzK.Vn$RΒ~Z4EZ7-o rU/Φ0fMLz 6Gp\I~'g3L`e]߀+Q|"#g Qq\'sx[ZtNqQlYul6S/|!a2gءvs;آ[/$2Z 8Ȳ[YmDP˚~y~&+ Lf&>5\e*~&y0m(rAX^U:1yf=m0ՠ7h_> +w>Ēs܋ \D>&qmG73+CIRܣ5PlH:9a pr+UeAj |% Dm $jKL^d*^|!܇:x]ktVbp=h(K LM3D <̣,qf~ j /kF+0@axtu= I(7#ta-& ;7-$Y'FctnȒ }rd&F>_&K(:|HkTi+ z\mvrGx)'iS#k<*Cr/% 0.M& v/7;b~Ma6}soEoOU[Ŧa"7w1^Ʊ]5冞&;!^vOUa*eC2x=4j-}@ީ,>o2Nq\D+0yLnBWi%O 'P@1Dc>r`;8c+THcMJ VV7E;_1Z3^vFB7sxSՍ՟oG%/B^ d}GO f:Z}lR.$sT7lZl?Dhqv7<$f~^2LAoAn}>ih0sŶ|\}oe.ec2ya?qC=9 ;өnUFqLbGsBT_PKW}4.AxfYK2(mlb\4UѸFktT f=JQ?l n*`L\<gϜ.1[N|:!Nm&y~T< %7+ՃJ/twmOɠ5YIAoYfѳZ WEЬ|Gz]fg ׿Mhhtz t-V-Yͣj ;0 RS7նGjGa5E-Ҝ߯2 E)_%MNx3D iGĹI cV}'S!lgYZ ; I[' LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! k)]·Iq n[:|&[z9J}d As";${!i bNDǢ(0l0*)}m.y 42LpBN#92>莫aiwNgLVOZ#r5>^WCSk*?7;葟Pa"Mw~xA ,7,_QhWgz:hβKB1!hI<Y1&waaNݏ+J njhn?n$*R"MIz¤?~ktC$ũAlZZ;ZspL L} sUb/Gܴ3kJL>> ' W%>= @uu“?}gktt.M.bR@ωa9B}x۲!epI܄N?|<;znCgr9/eQ:{2 |Iz/0`}i$Ix0h`B^rA|^ݾtC^?_L^LK9{ol(pG xsLl4Ѩ2 Q|Ӕ^})w(ER=aAm6Ud<0X4;ǭ%alնrOaɲ4ZX3=v PBcEGL-$Q [eɮmq3{QR| p%h]%6qAb:B be7oƨ؁xa)gq4K*dp)Ɉ&0sclm"\,/ r0?<CiDTv:C]V-22e cE64Ϲ=E#ݰw$m+=U 5^RȼCD&d_8&9*p=wpg&7R;csG.n):xO,BS OŝV[0wt(b!!<: YO݌2Y>aFt&pzd5UEAֽ"8rTTpgͻB+0p.C$$ Xg$hJ)1]^~iWN墇& SF+Fm\ @9$OzL8'ɡZؐZBf z)3ѐ4ĸlidrCsZN(o[yʌ3aX,X6K{~QՖ:g0~gg+| ꉲt Qjz>'zF}v}H/_0K~9ñz880eJi T=2{e@m(LtXnnz6;7295~>' wbg'Kc+ahj(0{M@b.v>Ƹ IuWV߇5ޠ wu1dp Dcat؍<Ⱦ[TnErP%PxU$MүXbJ"b0(PNhx?so%d%koL/oh-^ ڂutǟcp~M/+ ;m>䜁F|t#YϔV EՅS{lӊ멯60wÞb)+w{MaiXBfRaV<()Z0]Nt{w`ͷ317Q"CqqJ7~Ru4L[VR|VEeWOW :lP"y"8)| Y&>On<0NWǣNL<KU-:85'E&ȰgCYG.XW!d]v_^2wG. ]نNX J6Z(r:lM-d!jK1>zJp>,7&ël' lUt>;I&'>k@P6{TM9y4):̝ɃX)xXX^U.;" <M<(!3٩k@tq_H|" C+r4J򮱭6/. //N I# #hOU˔jH&jQiÅlpЃ=}LE2eiyMƭRZM/- h1I|X 1O#~-bl#zh]&(r[ ctg)/O!4ŸPN9H*I;ڐg)-5CVdAkoA#,tHq?13+ar|\t>ͅ+B Ahhh9Ȉ?M?hy{i6mg a?1^n\o$!ˏaə \ȮT;>⼉M7WPQ?_h!x@_LVQl]Mb)t-l V#äA&QgZȅ/a݆ })4 I@d1ʌ6ogD J9sr(O'룿wךNi9)NP$k50+$uЉ5L-,o#6p3tb_<.d&L(6@ fni5<$;aTf8#,L̊fȝ ySk -1aA aB82QjE<35r<ddɽ~@'%pN@M`#7ʝ#u%DS5ڕcab N~D9sQەS tn8P-GV@Aa ߓ' !/g3AߴRcIkK.n㡖ppl:}h>Y e,IV\Mu1F ,b T[[tJǴb3POqijOɐuD_;pSvJ 4(o*& Njَ]s}E4]r/ԇ=nzt`#bq8;/xj6`9b_Ʒ uѝѷ@a*0^KIsd(P$a7V·ē5F1lvȩiatw!~''S;7K)\y̡VZ[{l5}@3gqa9e`_hmtj?'1V - aF/f>ˡAZc S^umCU#cClzcؚ0--x1\(EW"qIAᑙr"lk'z#(8#6:q:A6őz_,c'nۍ8QR.2#$MY"ܫ!R(TD[Am{ _Hm@XQrqgUqu* WE+U,K܃}0'mFjQ|.-7SheWʹFoiKl[pmGXByC3`sH̘cuO#2_TAbƳ!M\n/f/m`ȳ+}ϓEC(EKRڃ,~YQމ)aS;>~p0jJ}j.ZVV"G? oFӷS!ۦ5->bsOG !lE9/j1 cbsZs֑?a%P>xl,ȹ'-NyuFeF}S:W0S"W\+&i,IKκvgPEMђv|AWwޢ+Ai٬J 7kObS~*1 hr#/AA9H*Q^KKBd΃OC+ 'F0OAm+Qz4׹ ^/b}aקU. tei`P,Ճ+"U-0ԡαIb,w&_˒[T9}Kq_'-UB957V _0m4!0/ܱ᱘X=^*M 7!<"?W?_e%9dڙxm+Rm<{X+[-1w'8MB{BD9ctY>!3M c(FxS}Yg0]F‰ė/LG:-JiJ b' ngw[w8~1Lm--(7Sp@o7grQ&,uT,<3ݒ@ !<n2d#n u (|ل$ x,5̱6rSiϘ{[]1Pp."/&$ @IGj0*Tw*3/Viwʯ|;W fXbՉƐ$6SŘeskdo&|gL*1UHr?D6 %WULỲt=0+cҀ7Bbb$L1{k_w~Zv[+ f;҉Q^b>JA>W$T8IhWx*5 fxw0υ1UKTB懸6S|8@reU;$Ȟ8c`ٙ6|>m1n=WkuzZ+"|IɖqIX lMaH(<:`XOuP*θx!A1DfFS(>ɝs VDd kt*;3c#Pb:)=Jx/j8wJ'$⠬<uFoβv}=puh`EEp*Ə@W ʧi؊sMaKD$ǬV * P\I`x:4K)74{U1QYDnP-#6dg曧i5$Cx2+iᬓ3 90 9AơhLKig[8SH p&zB:хTOz'n qZs/%lO)dtjwCWzN()Z*z::J!Qt+yp FHg}ù'}Y[!/()]1>7=>#pW2j7x.sK w  Ʈ }c 9h'<֧28,<30T.WH%q |gIf*eߕoUd/4o'l\7֍3cGYlKBj="}ozD0l&Tk`YY vXƖ]7euDmmrxTl[\M٨5>nc]lq(}>O8//V9bY n`钇|y/1QG+tg肗}bi6Nn~ga1W ΥuIQG_=CɏYn:xdH{B]kljϙ.4~sBʤY0&IԒ%ơj. ~xS\G a?kI0)GeR@F|h@J]Pj.֓8 1BuRL .*B'pjAKc.O$i15nleNT8EaRÔ&eA b/*_0 |ԅ0rEG)4TuR1Ua|ԻTt *d _e():$O| =_vWS3 zHam}DsM[+M)<E @)9,E\OKL8s64BD3YTN .0/Ruh[X2塀UV7.yNl) [q0gzZt=:x=1lcť0*/Deᇄkb9 ?ՒOsK#("HPKe tW O?'{4# Ȯ3Y4.x"Μ kC &ۄu)^pGMIxl0ԡkS燨= '(KQv#>T})w)ta =bx݀ ͽuC7]bUyȮ.DC8<׾~Cxuį n2E 3Ccц@EFhRΏֿ5z <6 ]3n姄3Bs܇o ˇ}5@9A@0+Bv}}L1ܐs57=d- 7]q!<8!v".Ѝnjv7TTԁ%-JL5!g͒IK&Nob--S^-Tw3A1~9.̀oR|K$bLGq׀]a3EߺŁѧx^3n#]#QJL2 u9Nj^mϿRZܭdM%lc'W }U*Xhm Z⋌ %TEf-G4&D9SZUd獈VR `-bXBZ`M|u,}qHow uo88*>]gzy`/Z7@<zqշ_uI=CKhٙ!yI&J`*.&2ʱgYZ B B  Iy# THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 6;>i/9~"ZԭRBWx̑1"; Sݪǖڼp^zK $ʠFЍ݀@R+IK֨R^bJ1芒Uwl #*LCàw1bG.ĥ_u"VA\.f &xz J>J^( F^u/P<ۇ6і[.B]ѦyJpog*E2!R4.qƱѪQAӟq#,{&h슣t&*p!XOJ}"Q3j'4BcyaTEd ̗"_⦱.Ęd}XOCk*D i$}ԽOTRkT4)CțNM\~%W"r"3 4wt*] *g h|̣h{x*;.J =gE)Ta;\p:+SZf4KyJ [N2831Tpue67FNCnc7hgl|Q,O߉rTXi=Ȏ9c|B#”.%8b?ZpaL~XPdY d?BR yRb!{E%u" I' DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages7zXZִF! \]·Iq n[:|&[zt低%~nGRڽAwIw,ƒ&$+W@v~)S"QZlNjh m Ixl:QL|AFcf1`F +M4sH__]Rqh<mυ̐ڜtg@Biίotx&,4ڦȭB Ő9kJ|C v!PγyC&b$Ig/|AV9ɐRV57Ddi"Hj9Qܺdt{%8}ڕ)] K5 i9\*Fy{*_Ln^l̑`_, 7|oal"Q79;h@m64@ iA,UQr1&KZ{4сȤF J#`*!xn%d.t3_ϑpwC,ͪMI4rkd@cٌXS^]!vxO4= OL5W-W$)/-ǷPFD?BԳƏbme5)u=!2 Y\cwt jow)}8v*Ghv}[šf19#{?nM9S)p3A%,~wҿ،j"7}ԧ8|ccǺ),г'5fC8~dachшg"$ݸgF.|h0 XOy*̮^ YeDN bb|f%Y:f.XM. eКGjYA:ouw#ӓJ/ +0̶)E3 y!>:;Ў+k_45ź{ #a K}yZo=%fQRI_N%:BYwOí@8SvI{N졣16~,,6KX}N)'  My3!F:_>N/!t;zoM\m ϡ.Ӣ<'eݘpQ7+o4zF.pPz̒]AL9G֠h(7`sJYkЗ9-ϔH秭cjc{%Ug^Χ#L2GɇZLOc gEqC?EF-WY8l a]gAǺb;Sy~RE )Okr8V:.Ow\EfOSs#GQK6~ǭgCYjF]MRi2=O߆Z$~iBwB+O[:tw2׍KEWO)6r܍+ZRnT7uw%Aؽ5^]HX*fVe¿  KD}MH%zi*H[M WeUDo46γ{|Axh uzxDZtɕ Ҏ`e1S^ݬFƍ߼9Sl$a~Mg0޻f5\Z˼Up/U,?wgH ؉%d)`Ȃ" #h}J9׌)HE02TΌCU_ [v®5Ѵ<# y̅R;$ 5n =e'b0Dm$wDCtQ|y^CfE 839&ɅhaU3*8i"Twmq;ZYǪ,[x]v'uw"7iڨZQ-5ǞOJ1 s,r͑[s\瀊߇gn>,| [ y@X3<){mR|e J {"kusu!5E%ōsPUByC4HNZ RJXr7{iĔȿxm =d"^56ι MNBd 'J\s0[TBWICbrG/+3$m*l:d! Ma,i9{Qu8|l+-=A Jf74!,ݾ4}<LkB5gKLY ;6F0VAӞfF'>s~z0znVZ@hqe JSf'S2LF8 gSwRgk+Z`:98¶ko [c9w*%G]􀥯>-l\tW2t|iax]26Ql#%YbO%Fa.vljnL&|T}UZl{.J|+aH` ]w}Q$UHo%$9XT 7( >@ Mȋ*3q Q;"<2Avz RwS&yʋeN?%Ǧ w  yH<5|ڶ>J!hgWxXzclc1ᛅJ iN9i;jK30_^@א> Z2&B?hLb=*h}vM0 !82ݏ}:9xJbݞPM,ꉳTWZF>? @EbJܡR$ %r#{ϖ/6"H8@Y@j` d\ZNGUkIY,% r$eF:f1ׁIڵ^N|௔oH &D5{"B5 H(R1bK^0*\"R-V #I:ɔJm=Lor󮻰JB-o89CM Tzde1?Y,g LE0 oF|g#%R އVFOsZ][9+8|h줠yn'aI?>5q:1v؁ U^_ơbZ绉ȓbB/-sYe7?dD&K 9gbH?Ҿ56%$n(PVhO6HtϥxX\)&fKTމRfYӊ0NXd/F!Oĭ/AW.il⽃"#Xjnj I["Y+dŁ\ 6-i(H~$,7}ݷP3,ذp<Œ4+*uUڛ?mp|L $iCSk<|<* 2; ,f&H뢠Ρc}Pcz1 eķe>J]J1Ml!Qr6߃U\T&3W@q'uAt_@UϊP$/u ̅5wKl)& }A`MO2K~ 'C]߅ޤ!38+GC60522;L>8~=+tDW~Nu\SpM0LvFה&. su)E-,$HX+7%y6DsqMq⼐1#du%oLP%>YH7Y=NT5Bde7 OXJX;sE=bK-kEz Gpx3pQB B[G'~(`v翻JU{}Քgr쭟Y+m4B5r` zlYIƘGk4Ez1*R$9gr{EL旼Rg)9;6}-詛ɃflT;1q Y |gY殲BکP۹kyڻ۹ظMr~& R4RVN+Ɉ=`2\R& JQ%.L•DM^>Ut,^2`3*Kr/R[=*RC]XMn{0$9ʮT#+eH“~StIQPDDp\ǚ\kdݘQe|* hH[73ڧ{7DpxZ~  L 9]b䝀9(ޚ )ZmMuzRNF]])Mo)dZ -e82zڝh8"FkkPV" K KPȩřHF}WwcPH|-Fl qa)FY*("?T)n;M1/$7>R\댪?obт~*w}a3O}C(Ų$M"K`y% "#OK…8 Uv-r;F 'HpJdha8;Ͽ]!؜!7  c*z#I.Bq0NcM72 v pzJB:Ah 'MUxnm;;xNJ8 Z*t^uD??¯ Wms󶪀P#]3eDwx{ E>(+xz@}Jvz{fQY`!~k[{9Lrg<hM!\paP$xp]c޳_O)6P|%Ҵ%̀"xwm"6zdsKq&!-b04Iķ"l* Dt̙n!erjCذNP?Ψ`tgKI< RřIBV /1#f/;qWo Y{4IxGwڴ)5Ѽ21f9Pux1EʄOd =_0z#I M1QWaް%| /K2>K{9L(,0֣_bnZYyePim?&VH>'ׂJ v1vG,]3[c gNxDen޴dWC=Hbԃ wu$Ϡ:ixRĚ%x/-1[6ı 1 dQˀr*o孀$D}Aڙ㏷ ߡl@E cA":r;W@8EfNav5rʀO_Ep^dOI3rE6;N8֤afսJ➗USa:JӞk^=Mztk>2}=mK e4J}դ֝7L7Y;30?RW6dd[s0<ĔoV /ߩB$b-LԄtm-aQ{7V=}cMXz$8;$c7/>h,E|qSPY Kʽx78DQ=t2:oEdw[4fš ; Y}Fe *<7wpX)xʊ>UUJk TW3վy_̴PEg1@G4V9`&ǻȫ((v P KciTN7*DcztPD sj)#w:{e$ڵoQQ.5X2pmMѨ4|ڎF;k-dR'e׆%`H&tĂ[} OJKYmm%@8gcRL DaMJenPR?a]4߀ߙxZeMx^QaqwI! HgY{6 q̸ 9`ִWiFj͂DϺ2UO7KV_?‘YٌmaL>XB UaF*в(]޵luFhS\yњQldωd~M8 ,O/Y@ ѷESBnЮ{yH{042PgwVW—@@sWĔu&#hX};Θ̷DǒK@۱wZU4p⑳* 'PPc '߽ 7׏,i[4kmزD}U(Zzr?6J;7&CGȅK~HrXF=\=V-sg~KP4?6&6UI=aqh^\wY5%߅gْ;_`JPBH5IPb KɤNwׯ 4XN|--nu+*C )8hds`B~?ꘈΕ0 .TQ fBdوobIi2҉-VlE.ߚN>I$/솟i<6eϐoǵTEz?H?#_뜻bަ{,p_T[H_ @ V)AM`EPc/+{#x[S׽sЅCcX0f D\R<&&7ڴAB<(#{zOь=XKdbzI\)rZӈkZ̍(X4.9r~qJ0n2l9QH|ܧTC?Fia+EC׶$~ 5);]pvƥ~[O>mͰDDܽy9 E' pcqϤ@}j B8wT o莿Qvaq| T,R@+U(<%ц ~ߚLRǣT0!id^^/%J_NP9F vr 1~vSHpNTe9(7޹MmEKJ'tb6!=tmMFXFMj k̃t_ʹďlm2iWnAzB(GqamH%M,3"-rA !":J"Cfc"9s<ΟAQe,H㳹Z WSe%;ʉSaNoLYڰnؚg@klCr0xQXm [V%Ғa+Fma\@!#vһj0lao!RH]Ϛ tH-YGf1O%s\ſ?wFxʎI6Og΢le, BV'-.Ŕ!,abVmeURS Q!XKd-? 3[t'rӑ(Q-$fa@]Ԧ7t`/ͻsq- k2BP5T^ĠqNrtPŚ@I.7R]y5߻yhpm7Pȁz'`uY?qȃGTvP˖O+B e|`ՋwmzO>ň(|DY fu43*ꁰ8//ax*wMh"t7Q˹"sԔӠ8u1_s3T:Oj~{PB6z<\'ӄTY\- xmns4SSy_vi ?u/'Ab|w۳zt7cPf3^UsB91lkΫUw&Js41U ^ǣ3L 908q9OuQ\!8 AeDl>+2:=*%zג^#nqaƻv9>7lw<MM4$Tnz] JmXy-=2?l5׼#3z<ҮF9Q!7iLw(.a1_)o8/-EDspX%k2P[9ك-dFbḁsRF}2iVҍ IeΌw?ƾ u1eȣ#0_TR:0iN+7V4KZA냄>r#܉T+@QI/6U!vLeyw-K1S L_20?ӥ T> „4 ?lܙ),do):;.ؚ"70` mWKX;I̲Ӎ7,@eGHrz??@39pȟŒ06jY-̼%^˙Cf ZLބeQj!PXxvq=Fu-U%Ģ@2(U,18ߙTva CaVL@ucN9ԅÙrۣOēo_皗9 bnp#lyT9oP#(N ҒǨF:\w9uQM]I T١Tr_Fq(9Cﳑi42I9E/SU177QY38> ksʕ.B3XY.+̸PgSZ͟f5;EBKe./-#Do۔9ܻyۙf/JRcb+!iL=uC%.s S^[09 $a~ImENO= ΑciYS,Pcy]tPJ(`HlnPI%pS6x@@ᗸlr1GE9lt+"f֚Kcy8Q.epr\'~!Vuy=^LH)Gh pàs.\P/o $-&ky)j"n'u넳$dZ|}9mA^y߆^U}K nCD 8qA u?lA''{>un%0s9;D,OTឲm[g)Po7, G hz;afKWnhLʣY~C^x9̭>4XN [Շ7RfbP |n˰]tk)2*lg2\GPIMl+UN=ҡV6`I:Y>P-w"5}ɤ'7R?Uk zBqrBY<4'`3^ͯS̀hIx,N]ZAֶB)~.1/[ُP>*2SqO&6ie^\Ϸg zH6G!ˇO\]kw\v Ѐ!Dլ+:1pAxO1K.% @B5|}*{)8J6Ul~k;T]*hu]5|&1W.;A•6;XG*3B5qK9Lٌ$I6nuU,c׏DT7ro{+C0?p#f,LuޞT҉V9) +e=Rj$cK+Z^Є^.O]q`c4+U=iOouȗ,Υ{O%uѬN RMpKӘQ-IbA\0n["i.ZIQz^w!ē7.5KgʲT5ŷgYZ&(x#p{a V7!zB+u}_uPM3ffؒqM')uqL Ok5D(Eb-ՂĐJ!VrHL}mQ[ vYΆ*NGavĽ 3$wehTpv` XQ1t{9wf &JR7YzmNsڥ}οI5Ha@Key<bGO v3J4GJHU~o6};zi,s= 5/CL&ZYWpWP}9y~WW+PI0T"$nhÿgpw#WD{zd!G*qb^39P)UELK} (FUȼH?>Zk =%O ; Zɲ@n <%S}e^$ iG+Gjy#e pzPK' }d4G׵16c yHL0yi^Z݊!Й31+ 2Tuhty( PK%ptc=)62`jw~-ui eM]wR"iƮjg14 Ȟ67hr$ F:ѹܱ0z>o"/darD ru & qt|I8R4,_!v`S &ꆥ38 ȩ>kH^b%?n%'R6~\&B DGjߤFKo#|%qe+F oSA"e0$2J03(,nw7KIeI^3`>ڪđG<D&pgk?銂^[ %Y)vIyIj&@_ ?Ԟ'> Q߈EȗP:o~C9,q#|60xUQ|A033Ej!8GFZ-t}zѸд7CGƣYa;fmG!9,C*?X11uqj, h\%4m3_],X%LJN:U"mA%.qz) G_1le/lEivE GƃrtU &cstNݾC;R@Rclda lĸˌԞk/kG ֭ h x%Cۨhv#ϖbIMMZF1 yMo̘ <y|sj%W8}ꖫ1s!#"0"[B3Ϟ4Jߌ@hpxTiGᚯ1+46C=w1}3+p&R`U ;nBwIKTbn놕2f逩_jqZfˑV/&2*j0Qg{XLP^1 _M9]X_y]UW_Q}#뿏eZVL >ӵ Sߞc$+nyPŖ¥i LT  ~RףXIŠZ>7q{i՘)-x18ˑٕvfۍһWިAjkxq-WU,/q6.AUۃYO`&pnS`5"%rukagA1LSZ=,I _q%K}YeslH%o ܂\*0F"x0׬o0;yLIDԸ_7 K=-:Kԅ l;eͣ[jqMMz!q4ݲB@Ը_=Zz :Bۀra2ͩvo=EmH0qt!yg>!K{ջMU%]~)X Yh9|,  FݤV N–Fڊ"vX|撯|NbKBcSUh.M'#%VNsڳ i$3D9z9WkX# p`ĻCt#]Έ:Pfowg[|Q޿e@GEfǠeuIP}j,Eλc6> |)nQT\Gq7^2k])- @৔^81pS#??e>\o Qg+ܕ5ȣv-Ћѻ4ݜ\%@Z "@iɑЏm@*枨/}Eޥx֣d3\qpO"\Y׻8 y.]Y38%? -Ndp| ( H E_r`^7L4uB-Ox2H)V7*8EŽ(|jrSwx}b³Jc 4 m谕KR>Rˀ.Ï[TK7u(=9~ҙKe앉G M \ɧ#:Wɢ_p CJx.:keŇ0& S.r.OSE:*ePMňGmR4$﻾Fł˦. toj6&v/]mZGE,+Bcƒ/KTwXaexE\_dk1/˒WPivFsrMȪISnH D K@P˭1"ز'ɥ^hPPԄgUk&'6 b᱕, p0j@6l-XO^M@;WBJ˶2S) S{Pk= ZKmFqq$IHK[3:]NH_d:"ɘV%ܣsϑa]g,$"#U~5-~I.s5=/601WR[[҈*QPE0X65\l(B|9p]3g@Drbg&AV2/VH͇fT%+SjT/n}/ta$|~QzYdƌ3-n*:|FtukEj!sb *DrORoTL 5yP3OҠt.ӶHrfI:کOn3Kzis83uV;1&p*vV/k|^"b ||)J5 i M}V v_yn5G Z҅ .N9 8D zAb+# 5YCc:?p;f# WmD@2XDR6rYFM|a4t2S!Y#B#mD{fbBKaK"7: ȹ| |A~01xe})+vvΠ*n 9S=/*51wr zcűLGʌ PT4ǘȃ;@s") @ Ew[k9>=HE"r,_m;4C::au"ΰ#8vHHS в}7qKmhe e霖={r'IYcS14í4xB݊W\z":Q`ښ2q\>N]X.R0X 7`,ŝ:n]tI3pyb.îL$ q,lE<ߟ'ф}µ'13C.K8J&诐*lNVC=[t~.ݪ5@m+iؒ^&1e=)-LO!Ny t| ?o3$UU`H^?I>K>|ҧC:[0YKRtqFޭ8ˊ@.4ߎe棻!`SL-7fdtNE{6~[.Wgr8i]M'l޸`Oqk6U,-\lm})L›qɍXOo768H:Lhb(<^ _T,|N(rg:.r_&>g[H~Cn \3{QF `ȡt'8n'maot5ʡVjmj&_Յ’:C7 W'3 t<YOy>3SsU ={ub5#D+za':o 󒥏 OzWC>렇S1W4;xGkwL0L{܌2 J 3+o0P]MSp~a[r#b H}6CzYi'8big/ =;$Z.h!BrC%w(w[nH޽ĸ;ι]Wu ? IﰸS̙#א*E x=71k%KK֗93}"AjND^ky>~L_> wkTII`C^ԡm(uS_#J(,k٧E U[^>/7ZSi'<01}؟Q;ԳvwJ\mᠸ0$RC>W9Q@|Ѹ)}5 +͜P|PJJl%am~FFWu'ᨫFN o"}4#ɸXE$Pvy^O[\po[_|z؜>܇g5^MI?(}-$ ۵R܈s4s𻺬ID_#I"-=,JX/+ }wdKggKTU^۱]Y6W,i-u9Ǝ.~:{ C%t9qRt / x d/ Ȟ6<4/\ 3kgrY"ŧO$ %؁KJw䌸kYuq"FR-aƴ\_(5hP2IKht@.2dz&\B ۄyyn?[uذa lH_0!~-tUw ѻG2;3mFEgiDJ㰇r N8/4\#c6 sV[TK"kYϔe'#vWJok/^O1!sGN KzgP3Lfۻ#:߬L-՟p*[wqV']x &!W~WEz&)VƋs4:7: nMy5 bլ|J;e2v/{m3kn5hrQbU6ltzccFd/ڲ׃2_Yޑaw<{&1 6h!'f|)7h@$/a}P^у3MwQ׏ZZz/R8|dȚywG/yi ,RqmᏎ]A"oz{G;]99&%aaiG*EÞ&Xc:R`+ЩL5RS3/c$Z,ΈZj 2; CSagZܜxn+Ao%+sbK4<m+]S OB# 0,^!d/bi!{u\KxNJs"3KGd`01wy7JTy^b90x sVw:6LlĎTftLt`GC 9$Z ZW[~ڃ%lPΗf7%^wB2:]I)>15r!Ej&є+ }{@6+.[ZO)4yYYQg.%r׫!`jd7'՜GB'0v3"$! GgU@.ː?{<\Y\zPh聊o'<3> XH3FFNu}}D5+uzr%uijc˄{O% _yX'wq@ uߓe}Ȩ.=p aw⧽*\LĆ٤aّa C$_[t Iџu6!+j{L#C4dm~iKfƂƾwWy6N})E ~n"&P_왾β>`~MJʈ\o!Cm6U\:/s~Mw~E-g8qRyqXv "s(rfCr= 9 WA̡\a A(\Uu_seK,>j]ezt&Ӓ ƘP:|+PUoF8 oV,5"⑈F`]q!8RWPoeGqdi .(f3|+Br5ȝށ ]wJaHxV, {Ɋߙ7'Yԕ&POLؐjmF0ښ)|P! }{o@-cG:SeptT!lםL[L`U-:#s< vmfdwWli\I_p=u(5憌fm#uUH&C]&x Zb⤢i3Qlp֠”h6iBZW09{@YkRܲICx.5.FKؼb8' h}|os*6F w|V2dC=[ϕ8 bW3%ݸflnrwcr,ͷY|egf2 m'PR3/#Z ʼ]ޝڽX\Ȣ=HmXWD=_V+ue޼ʅMcE6+C^a7T1Ϥ )%"Z ƒ׈=]ܭ^qW&;VR6b3Cߌ Sv|}>4(<&[XQпk[ÇZۈYc cTUNjIJJ0Ӆo-2oW:;­D,o#逹&MiEtJ?6RFS6@ռX̩OcF8FȮCwO<ӏjeLSы@&ܻf.}EpLⓦm X&Dn=Ug;wO[~U`c)^-QJH3Ʃ)JMM~n /׊,bn4vA.&m§G$I5Aʴ:zDkQ? '3#ژ9f!H&*S@H*8ְm\>xhl5>kz7 qv5)Ű2(.?ǁCG6;4/tBX?sS+'6qw%r_),y1e꘳1ӞiĪ$cev2^@*R (?dizIJ4/TE%QdžXCFpsIw=݋:Y_ [EZÿ8avI k`==.,=-gw/9yFE5B~!d&ȹ XWYXp\z&^Vr+^[@XUv3oRjɜ!\>GA}0w9/ld#} Q!9GW,# pCƗ7ԚpîNHzÒ/}I}t-A6! 5OVVCEEmg*u/)ͱs$!jOe"Prp^<| G]r˹3#299(~yX⋈X. m@4!]U\$XtB˽%'@F>b81rTu3bnvLsq nɓ`j^LHMpÓHIHWX;t^_A؆tjICoH߰F3;-oRȬrN>[N̙'鮕0=̖4f׶gi}dya~0`M^-j$pqwݾ Gz ChhgƦLtu'4kOT<=шCKXXdI[6Bm"r P5 ;")ѹ,gHSzj9Ӥ_dWO׎b:ړٛ=*|-AUMGSq./J XW@/ۉ፷C+(TT>g͋I䦭콼.D84Fta8,;%7ĆgPWc>"޹)Q]6o<;E Q퐹P!1DfR<6{HHk..%'7yG,,iaQmyVbH:Yp]_Gfbt|s)XO Q3ss8 c]$( SD'0qR:k+ѳ꒢ R*#VP B`ppTߍaj|EJUmjr>~뷩iX\Ƚ1So%ԙ8W;׿b~Uv^bA?R:ĩg5JtF2t})X h%[T}3>𥧎ڟf_> ։D\!T&PrkkxV -!sf]TfO˶dQ.!pS 5Ў\yRU𩇕\$<ǎV!hzrR-$o4{ 4Ձj ^G;SnI rk&L~;<$d7LSE*ĵd1T߼hGHS)8`[DO^lTe8D!y*bA:8qxG|̂þM,f2bevU}l7aޮU1\%Xk`5v̅,. u̼&1~SAb*Sq>NFe^i|L|%ٳ Cu ކ܉H3[KgJ Y Z)~ y<4hI~ȼi6W+& 9ׄס٣d'7\Ä4yq H[eՍ-ir.%&[)!:ֻǪ= RSd4No|'hJdinb]"Ea RH(,{> J֝E [QC|;սG/0Ԉ`-ҠJz*HyXwƼuK"9d0n&ͤAۃH/:.us4λዚ51Q<,o q|[%G:_[1 c%0Eq h^(MTM'ゥ^.ϔq$k.`d;.9 ,>m kk89%72L 1 .H@p)3RJ(a_+io^N@S؁a~Ȗ 1a"}{_YJy 4~7Ԃ!昅zS:H U9ɰ8znK;duV*k TcW [֍||GDDJa`;f:x8́) /[t|GoxA=IllS6v3A}oN+*0=ZEwR[L<֭zgƩs{l ErF_"ϦeK8 +߳VobKJrPd <2ĄwS(Y#g풦! ߛ4y^nN3u0F5KAWnh(v%T63dC/ &d >f DtAY"x-OL/iJ8۲MCdudfOSaKw3:ʈi!/94YIe~7g|ZS.z4w;WYAjkmJfڍGVyv6oM|-*jp ]dc78WE)k'U4Ggz`ܪ% Vt?Ok'%luIЄUxଡ煚y+(khM UAeBB /ĩFV .CyׂIRB l;5пrLo PT|4YRn}K£eCTpON9@ga},C̀.gnBυXR!޸=֑ι15aeĜJ+/g-1Mؾd YǠbo 3pM G)ML& *ݏMjwJ}MAo{/so\P?q{QdHR`p1}n')ȕUX-S u izZ*P$P)#x)98/i%1+F8@GW%m

&80蘭n ď.qmQtn,Wtøn$4Kg!.RjbRl(E;HgBuՍ԰@%ݵ1p"V0e@V2Ӗ3A&BBA /j6z>{$>uK!--a)b90%)N·,<0!Xiׁzb9O1dj9c|j`ܜ|a WS1|A(%n> ǯyj讀/Ѝ7EƂz[9e 6F4 truG,eImH8'[7<+pr/K?RZ ޵%̠%qUÏ&-VPy!qJo#V]v=xSȑHgiV؋/fBKG2 mGbEDhy!\ Go5X$oZ6#ݯɵ5m],VZp8?E-ًؗ$cLJz6?vXg("6h:s TLjsZخVH=A7l> vZ5i^95n7ATp DFנw`0*Yd€L:m{8i($yAy~yR:0}l~ }1ۘ(OZh xӅi1lKXT}OovjJ6 շa>ZMAj-h8?PP^`dUdB'qCfCIEq60PpdFa~@vU(!d̹i ~'NҼPo__/uNw#izcmZX'h؅׃;*aˏSޯiΒ~;=I uF^sA-C<4[/=JZ%O=G3WU;")Eyx{, p@xlsPR&X`&n:FW& lz3553vSNJ- КL'(L 6OAt %s&pI.1> gJդq|K -d]>@>)0ZUU>gI<ʾOv#.%e6!߱32!uY8c~w6o?8tzP7S EhLՆ3诞v*F㋳2dl# A!z]OW^e0/HQ,{f$\< fVyClw\WMhb v׮ҒUفKyne}f3lUy'Фiqp$i͟s+`G퀤jн$@ڋm<1#GG(1FV}N> j=x4xڅ-}:M%*RquXy3<;.3'W$PIkRK&WGJImSa-PzGg`i *>[~g&Ud^.m!9nTr.#(eSzoSm`|i%:FLݖHMx˄ZÜյ{Xwn_*7ݣ]d@#|N@x#+=.ge=KY1hɲ 9Zw= =\7vBh3Ҍ*kHƆ -O_!CNB z+qdu]F۞7^uI)s0O \)/ց$f}\ץ. Lݍm?JR%t=>[^&ym؎c4#r0 gi@C7ng*YDy'}g]UϠb`#RЀA ,D0ij]]+;Mq+V }n!|gW )b8jWaZ[*ߩkh>&$.n>g|VDŽ:UL gkskn2礷6/7XWhO̅8aEYd>cJ@4vRWF ߉.cG>=eH+!,}J5vGe73tsͺ+-nپMXWM*/uBg +{ٌlXG0ww<%L"=/Tjߊfu4PQ o丕Q..Qc3ݪK0V='9z.ҞcssLy,;HbtOg>)P皦t\kJ5`89ӄf)5poX[ϯ^h/eG庥6iY3iMlF  t){>p ,w} S]}C Á\|.1z"CN9z,z k'j2-JVa},Lz{'@pg Ҳs \jK,Ԫ`D3H2'Ic]vǒ 5W !k hh0ڄHdn%GPt7b:ƣ/ʒj*7Uwn.Tω]cJU1y-/-2£ݳi2THyxٱкo0T]i 膾d%wFϔ@06bSe>5{M\u mZ눏578d{0+>[Q )AJJ'ֶ3 OL5Kҹ| 9@K? ORoܯK4 K9qg۵dU4;7 Pf AbGkަ 2y6+`&1fȐVMXAhƠa {Bod*P*_Xͦ-?k5?v xڞJƏ_0(J3HA\zG@UU+)IͿ)m,! y @<\A|Gnu>/> 蔲 q_;燸S#`* :~IIזTܪm By륝q0`u2C4$[h:Tyh܇#U}l a/ utTAM9Cd"0o4`:J_%0#L-\znKyF+Gnjg"3g}3QK}"M0kg }@i9GP`U\arƗ& n~2Zf{"~Kr\$ĥ?|>k%ZI䍏< mZy_ (wDgB[iĩW85xG=)"`(M]_ZqO& *4`\r2ɔzl:D+֊dkǾو `3LdPbHdW7d%n`esY(9T|]˓TVfZ3G-\OiP"r7ֽp/%%jX%ʥr։fدW$7@?E_g2Nus;K rv]n>0^h*+eD֦[ ^G?$SQ6C#(`NBiQiWL˜K U0Xҽ3ҍy:FpsǐszTȥ)C8143T{9=^T~Kp{T[-smgbe!3_S3RpsS"8/i sl>bu4 k7"`tc`2W;.Vxkfq hF ԉE_Id׈Qj{+(u}C& )TOйQ>暑_L7f_WH#Xl>SR,2߲F[v>qd#a%|?:@'B'd~6i!Cf:.ɄtdiS$(}ke-gbE8F(´mJ}肑ƌpLlR4~u e,GB*$TK`P +3OE ,`+1AlZ*1ƺ L)-"|uGy3dHKjZvhz$6nS͂= +LvNZ<57 "D!1Rp7{/"P%{1݆޼1I@6<z1NBJeScy4.r.6(d ,GVM~'w6sj[8m߮$\B|G_S{-wX8&nI%kbTۄic|:[ ) mn/gzW iG^cJI2Orۤ LBހiVnN9I|3dM- }b >Oln'6$ny@FBh0Pa;;IHuxT=N=u^m3f¸jAxF뭲] s-c(O-!_iv'd^w"SBl-{FGBP{hkʂK@tdv *7 tCoWL4_؈ Bg_2IcEd\ku{MŸ gt‡wf=޴{+) QuБ'dHYiԀaú;t^`&pF8lO':'B7~o)^m!tV &i̍NqpBW^ԢOWHTڄi2X瘇"ѺWYQuʝ ^aͶ8jWUnTs9@K00 ߴxT{-' :v$ɓk H6hi<zR\h!::q_REӁ`ﮗXnyC|al+I.޹IPi\ؔҝ$i:)qb}Q@p\H89Vj2GH(ƞīmyd.ϱ^{9gArgҖE*2IHzY&J;0kښVA1.9p/;E"i] រ9Y'O,oUo!cz6P2ɿ /nm'Xs@oqgVVIzn]g_ ewa85W%7I 5> #%BE( .7޻бoגG.]E2wY<'_"OV36iz_J< <(W*7)**"?XMg@ē3O'=4jѝT$_D/!\3E&E;Cv|$IֻqM6F, ]5xܚhhfOBw68裡O,Js" @zZ=ǥu/. 2lI;#lt ƈby,UtT:m1QbJJ F$;~3>X@ ['U!M`du: C޳1,\VM>!X$s`u(8RT g&)Iˀs7,NED|ӎW$'̡3pJ~Iqg GLPhUb(ў"ٹ[|w O"8dw4ZlsOP} @$&i*}vf3͒W= USK@NB/;EP}C:'o;>ٖ]l=x?ّ̠=X<-= a6_+_jʤb Uz3p)1H[x Iag9l"ʲ*x*w2U\ف ể˄&rIֽC m$(s¨QHaLjKl"r{Uo=C,fNY|.5 'VX@YW;̏4*r՗ݬΛJ~|]uv~:`ĭz2[lKQx;!a.k^ޮg#Ґ?"JdVh 1vy abo840FϛiPN{JCdᙘWC=]2wBCN:GV"C1uPq W pgQ fߟh,B 1ݾ 9GVESX^_dVݰjyOc+Ofg蓻źdn'p8*vN!cSf u {\ h?Gߒvk 鼘a,<5Jb3i>̏l؈} UE_uiH*MWu-)+Wo,͚q~êF Ҋ4ՓkMrF41Ш.4΃gZHܼB|-H UWSwH[Ypьx=ޤ@dImUdUx -좝ur?8S)+0 Hlh-k.r}{ %,f h.@MtٮyלS^IcgU@7\?q!"6n3v5M۽ (9/Q"G褓b9Z!\wNT@ѻgSs?7vH_H nķUu `̳.uߑOhN1QWHqRa֤ Z"s&'ǽ)C2!˜f{2>&ÙR5}sZ5v^\R3kK<(hw3#Rp$ZPlɋ}6F[MOM n>\ h?+IG餧ls=W B+q>|;&1ehRD6D)pvL]Q ݁ B+CÔ3&V¡u#źYskbbwFS蟷eh?<'$ʫ'I+[ F|S=z b ~K#Cc=&@*[- kKۋ`}cN6H[&ߘK2JqDAӳ[;-q2Y`A2Z`WUᣞиU-Q#ٵ@ p֨1,3YF7ECOKZN&mޙ~HY]` r=/ }¼RP(wx8B9DzRw}(ce)wP KrE>9\IfW3J;;uk3dfh{/AtE-ͥrX?}k\ld];&{\|O7e`r6QFnllim߸xLw{^w,nar@ n5UKU|W^AIBij17D >󔂻C y;8l0cm^& |%JDhXiR!'(M܄ ^c3S6u8hmTfII:Vz$dbdخZkZ_fA-HM') }T.ļFvNFShM!whpex}͍xvYK@Cqtry8ѪTkSoçsN Fl{9R~_/ӖPB7|7ĭ` EDeSEiڴƹ#qN,R'AwUtb*mJ W!Ki! ̹^m?,ŔGC" D<P_p ECp='jf+k:pژ p˳j6*?P\<GQGqO)1\%ڂ.Ϙfʝ7`4fP(U U9FN5k8SxO 6W.J d!؁ *o9bvHl>=ԋBKkzk8-3l/d7U]kx+i.īh;D~Jn#3bdȝ2ckH%`:Y|#kuS9&:jݜ|紺qGI.`J-~p W94f0ZoiV'Z`Iz٘6^\eՇFŽp'^\4UW U7ht 2WBΑF$Xr5ɼS|HuGmc^=?S6R~crB2**O&? ;(z<, + xD(h(e8 hA Y_9HQR:+ì5i7Vw!lATζ`n9=j;QZqs<5 b{*&  @#BIULU -,6)$a,Э݅(WtA#*:>&V޷;/v=$mn$@w{k-?CY95R < bP9AlMitTZE?<ib3XWMǪAe!3+?:u4[ ~~aۿagV6:$boo{.^` Ŭns]JY!Ы~R!+6b Sͳ<՞NM~=ƫջ%F]mlj4tb%Ts9 |\x\Cd9*-OL%Փl3JPfNďW2=`o;YݠF#|LUKN4fW">!"jEXeAs͹vyJ fHf! f~o2tvA=ླྀCr̀=vo ,ɥkiI$g`ǽޡĠ97dU%M^ o99elylg3psoq2($LwVn̏X9[U_Shqz^cvm-eY}~emҫVmdu R"Br Td1$^YSvDֳJFAd', Md&q+IO䭕LEoH P"t,()40^4kД&X،hk#! Kt\6 _tnOA 9 >& Q.Y,?]yӵ,U81)%@YJLdj"eI3IIM5nl;TpmtN=_S9Y8Tel/f83rKGxy.,Yc<][]HhՑaá=b!z'5SzV5$"]g}꼉`a]`4 (k&?KYxj]:ە #l슘q*V"iЂ"Q~݅jƉXmvo$AFz+,(Mm)=BdUXY#xV}`~7TzRZ-0:_zy+\ϭ!ׄRH[ U.϶j< HEWSil ${zyKQOV~2YLN0&VOע"J+v8hZrwC}ި)uZbɸ`35io2$JTl}:_,ÕPjg0S;<*w5>83$ \}F6CwIyuSFLtT[TnWxkrm v:E^>U!$nkXtLi2d ldeN'1#c*\l|z͍JJ?gPL;`Pz0rCC-UO )c8GCRn(|~=ϔLZi( nq?^P⏬-:9HL1%H6jAPl6sW}_䏀kQPG;)"!\5šN)HYﰯŰ _G C0'<` |MdG)CaF_8 EDlS1]-{ךּ2a.v0$B4\^#A*YήNv~yTfX=GOzGʺ:-%EF㏟_R*#7g@ى´Kn Iw6exPܺOF~_n7V 2cX.N乚AE Su9h|\”LMΤ9eP8AG-E^œhZ/\qy`N-x`&hJi8&n8ZKx1.Fu/ƄM#`(18_[`//+)= oL rC֒W]@'7Mkn0}PD"* R'DZ_%FpSN;JJtΜ Ma+임k=Mhz#rf2)Av#QJȟ< p=GuY0 bC Fxl'Y҂+B\Z62Fj„AQㄪq!Y0 .^Dڢ~~7J^T uB^W0AR Π3u^Ur!K{P<-'Za&vif:7YUƕ,Y5%~tj|jzn,_RKLpɵ^l³}l8? S zv K\醦3F^jowe8CR@6yyT'urOⱔB'yo-^`n1qb#F): _odi쿁L/Oj6n^ \i5 _{"A:kA}8"Y U@: bs9PJ<|u0R6>`9{ ЊR 5eV"̝՚/~1jD1qZW*o؎ʐ^(0I>έDc[yHRtC>p# wL>^'B>Zpގ{ܬWz"޹bsZH^pk0IVsN#%woɕyA1W%\iڔ-Ie{rtUG\Z>G:| ?ML|ln q`w'e2Jz_[`Y+坪?𜨑oVq bjry(wz(ϥzl΢: FRhy=Vh1ϬØM;RbOҿ3ĥpLwMUElEW,MJs\ìeǴsRyM !FC Cȏi5,cjq,K=w(8 X3c!TS1,: 'pe_ P~s!2幛E;.-6_ɝ_[ Bhԝ N6-9B݉ W]r3ͱ-!Eg*I&tCxl-,ɟ%- a c%il^[1t,_r4ߓsrdMEN!OZk[!xY]Wi}?6ÂɐWWGk)Cu*\dQxY m[}P y7* `oCgOvXx_/tkZcK>@<-YJK_5hzBʣI5ϗv\?,K6sxtom..C)i^w=p!q§84dS'/'fp! - .uy^gvq9{P]ހ`zBpa9'3Qóu,jy>2hκ5rud齯x/.\.GA SLWڋ+;a<㯙o7 *MSZMH}ٜD*[Rilc0W*he(_5֐DhS.Ta`=ib1Yw9@2n%D ։_)qJ?c/K'K-q6f۲0UG}֕ig_BOBnZH:p>[FutkqEty>QlJ.,ʴRo[)ئq9&<8GnNWҎoz[hKI1د=|uŧlAZ}gt|z0@j ͕c.LhWߑ g>mKw2.=٪m)QAPOSs0x~BNm rǂ"0!^\\^gv(!g3C5#[.41PvNbA&[ژ{<7} %8\T?]Yc0ؘ9{)MlZ_2iamG#LW&))qܸ{Dc YÄ7וhUƞ6Rάm!XE$=yd8Y721-5)SA1.qhF&Jh@qCUd^D+=挪(VT}BacOM#M+v#=~q g6d[dzc<Ȩ3HRR^f<΢EGt͌>KYqmN.ʿJ 3Mo}~FxiЗg4^YS_d{VB o.L*WJī( u _!7}.{1 dQ^`RfK:6aÙ 9OwNf㤾[x|dtVm?UeNEyQ-j"eB%lAo}a6Wh"s6>?uK\2X (YoFwą5ݰ0y~J~ܷoF+bO1@^=6LW'ZgTP%mؚ2+$3[LT):i y1<+D^ПGh[H*w[a7e\I㧒_1p E"D.}~{0( zLI=KR>xCT= jcb @LN}V3ύ3@ib[@cL  O{P܌y*,c;PEM`PC]G[C'.. |LvVҠKEyCҶxZA  Z}8_m1s3TuA$utw(ޘnxqA ]$@M+mquS*GWx"RI#6P} 'X'L}q0I艁R]n,BYwkta(wOb*A#?Gi6 r`3BrG|>Umbq=1']0r*;5ZI-6t:pYnx8WݦS4^ (m_6: ~3h:m!QOPA3x#@054cXG~dFm+E5.DMjI6,YV"T_;Tb0Hl PcjB $SF|Lx Rf'Wò3LgD/eQ\ǹ}yh,Ae"B[KͳܟN[MDWE.ZG 41`b~Q*Q.Z:q\\tQ22'v''M?GeUojFs).ErN:(E$a݀ڊšgY=[A5*}9HbqRѧ.Y>oh<;AU$ߵ+m"!fopH&AVsp_yxcSlq+r} ] IaIʪ V)5/>rUv90e;AYG'_d[P-n`hj>CG#B06 !6u-rtºet=Okݥ\ ɕVK9q]EŒ-Ǚ^6Q{2{3Uve핽Q>{Mku ca.V1]|GsbM ՄpCʃBZ76%jAab"%5}[1zx"Z[Nm󨔶{/)MEBIpZ'BO@:rEr\'7|Io!JsG{V:!KS.DYZRiU`FiIi"jzP42.;:so=e٥ ȩxQnW+9kjaqwKK>=΁Ao }Z{C!.':Lxx?0,5P$!\y0V* )Ԟ;OT)1@, Cq?}hT7-1|71c砺agB)O*[ cKm$veh:hX2U_#4 P("4&!匲%b)H2dF0̟}U{Cj` ~ W{_ذkN}K*ҰvJ{r5$@D53;V=5t\;?AtիkXUA?xc=4"`ɜR.q0LC'B8kTHRSj[knwSB܀ecI) oؐDP:>W6$uC (xV㋒ +f_<_ou,]2OF0FYɝ cY~21J <>B\UXS:9*[n0nYw$es "]U':,t} JԤz$iY(4XJy4Q co+'^ )sO4 gAB'u]Jt})ېYS*X;/,MN~؃9ydi1M"r6[3aQSf$m?SaΙtESJ bp|7lV7xVrR#-2WMI4>Qhc>C%ũ:-2Zfԟ?.@$vz6"z0_Wjb: d3vP>x]Pb$@κ&8YDFy=2uL9.gD9qW.FXIYd .Z' [4%,wЃ 1pO vN5צƉ S4A㉱J&# fũ^3U /Vk$THE{Aa*YyDb's!FѤ1D2ɴیK!;׬9pA.wI퉚"f2m^V{O COtiY%:)d('NHa'vg\7|G7  d QDQag"n\`V(ϥ'1< Sa>2Œ*ʁ?cMFx R,"DЂoѧeЅy!32)g?LUՑ)zQ/Dzy2ĺcm\ҞbQw7a]TaD fWs)a>Mj—Oa$ g=Ö tD0 >J^fc ~a^y)}`5x`by1oƓ0Z#_׽eSԡ8F4l7-tө&'ކ8Jf kZ hNs/:n RGMhnd+[Tθ/`Ib+P90rƤ/V-I`z9wנ i--t-=' =*|n;VL[|b qS(=Y?h +Q>N~lQwm|#s;'́ y%r]6''F0h4]w}ؒմfNO,JA; "'om"9Cun׽1QQ:ܦ[hN޷WpvYDI5$IG{KHBT^}?x z ?1| AnƸFWV0_駺5ɀ:Nac,:r Qa.7)U!͓=Ek(G˜Ug$=4kf/,5p{2UG,1#PߴBmGnc]]7';7pH}9&&}Eq? !Pj._"ZF:rb~/EY-:LΑUe}sk.odJ ]8o,E_]JB)"]Ѻ|U"fiqCvYHKi?CusTAblRqnj&7jbnF:.~^RVGI0>žkALLg!N`Zч{(U-8{6O}M+WԪ`arQC'EHbX- 7,|1ލw-#`bbHދ=#әw=/[a u֯ѿpe>*vvVJznQx!]gU!_#sJ''k"lՁrQI͓Ű\¦^ZAt#܆?5/ş0 R_UZ$UɮZhRP៧V~U/p+ͱ)Dt#1_pS cx WmWn}we.zQb6&8ط˓#ٲ>Z%' Jv# .RbOܖ;K"SP0RLieFą)Ȗ(#8d .'}~& 1x^ꗀcxu!1\~o Fy$zFBuZ!"B^G| \3Vj]Oc͆K+Xq)B4lE퓡1{5?cAe5{88m*-zgt!HoN0o]B. JemHÅ^6pG { *$i Џu_>4-Ɨm^2eK61$f5mEn"tȞKΞIEK/4n'|Y+EnGz^֪_ػ*y}uL HpP.}9A 6 G b,8+^ QL>MHB|DE GL l "T@b S:P< O<~ce7[N]2o~dljPil x<Yf|MR.G̃~Ą9v5q"=qUkU5X*"п3h8pU;vSѧ9 `ֈ l;P+s\w6sK= t\T>Wsբf?\-..1ƒzfЉ+@8aXTOOڜ b(m\@U5 (5p ~ Ւp澚h]HC4m)"/&D[4ueE^iV HܐUvo29<$)7^1?߂8h9 Ƹ>&DH0=ai:Q-TE嵞isՑ*ȏ*R7m.S6?Na)4Hg'=cH`hAf{4,H#)_)6d%@}G7>4>*9`G!^q])}?*PL|E=Ri!/?˒6ϕk{Ƅ$?=x2.,GI\'y 8}ϠAF7b g/PJ%v-Bt1 8"_a-g 1#L MX{ - cHyE6$ tC2"Ų8JRH{Қ-#πx,L_M8M677+Ϲ{9ۡEZ! *cµY%1u* umm756byE+TF),k:lcxE_fѻ*tel: .r~ҼS;7Eś4l ˏBĵd/M_a"d;z$(g+@QBmb狐l62; l${1Na)k} (E2'יtU/gjBʐC4( 2a;"6hN{1 L9r72m,zLˢpm K&=f`b[[6@+x@;v3;3Q,DbcsuWK b%N8Q9ZDQ+_ VDmKh1Hv JR EGPiwSRAekkĉ7&:!7V.b~@*R%hfv cǎǩ_ ij61atbK"eBSE>wS$!@1b~9( ̫͒h 4h h1֑!J~q73oL %Z;M ѵ QП 3g scPl9K.qֲ%KBDhs GD~C[ѥQe|6[/!Ô-\PEzS80Iݶ2-~iݣon"@GPUb>N+!ΓfgP jX }GyPpN'C7A4ɫP4f8WO9jzuu=cMb#l#먖/$vDϪ,oO.ߋ.r*(*;pjٲCwC;S `O_ ^$1kF3O[x'^-85A|;g'!3UBV4{3dx?|֯TIZTjD(hWgيQB]{(H>ĵ\9~v6hzE)yIs/&j5RhjA :\3fM_lmQCX'n^ͭPEq H7(|lzg>TS y__w-HC+){TW& v4Լ(|3{ku)芒1zfå5|aU,yjЉZ,9΋;c} '┱}+ը/qڑt=DYx zx.d9~ב` %|5J9մ/$Vr k4d6BǸeHn]9 b``@ͷ?)oyu6Rќ',v=%pz t*k!W5qكOb$|{x%δ Dme`KsoQ y[Xpy^ mqڗ=ުA.$_CAJ\6\:y8 %,j @"Y1u96F0lBߟZn{#(ې\2y;5 V6x(81_ U VX|z緿t>axS)(c.h֝a34p;tء %m (12erVO&d|XC[DWjOا+E`:Q[Ns|? zq^\w*q-҄ f.wbF[*{#WKrRp! 7*O֙r_P=<9iݱR?u:bcW4uQ?Wf)֗ۦB댰:r֏´¢CG42UhpF0r>"7ozVN$ſNi(O0mq&Ȏʹͬ1f4mN}Gd-2|gtMteg/!@C.Ye}d5nRy)7QFl|re˃UmjFqQKMlMbL 6I\ wiRD!%|MCeXOE.X~ m|tQ+1&s{p4coAӞ\;HJz#4)n2,ډs1T@bґ_}@T$9+:RcBVkFs:T3~_El`7NӁg%N':tR$2"SV‹Fa(T\2l٤\uװyFc[,?%zzeF}cL*>Sb[eoѕxQ?("S6GTޡG:=IkRܓH_U=eZn~5o0h*sb\D E80I~nQ/TC%G/E&W mw%v *g4igD<;Z[ANE#|LIS̨Ɏ; *G}d|)D3L(uI]i M@JʘIyTō#qq*FMxjm.oq<SX_X--Nrc <J7dL=JoF.\{ g E?26HvOB7gH ^T< Zo7 dcDda$DfKa>n)U΃AJ,+#D_RDH 1C:|B¢}{UR3arn?dE~sk>+7 Y"@dFNs9 r\Ȣ1y#$FlbzOƉ,WPLe{ x V ?9~l ҪVKn{ihUmK^2HdB!yOA _+͔"0ki^~ʌ6fvh& MqxPSp#V -#yy`ce>8WyCOu1W'O޸{U(FvL<ڀH@._S  uD0`dt|nW!8=hJH(D<~))jv5AEydlE"0FDVo)- $"aB x|#_=e !Vlx;_S%^* -tsLYȥZEh͔KY UC^~C];I'Mx@ kgޤ EJHBfjb2 4<-™srIȹsapRNIP)`5"OO>r3HYL0`>! 8!HN9͢;,l>h`^8fȳmM8ؤp;3/a[rlZ`հV{;+gf6?!E1+=t߽g_x[5 ]6A: Bpܴlegy)"Q \+c[ex3Dk k> cƍhmjmVlr^ 2~];?VJO԰k7TF~;U5U94||*%[@5X+g@8RԿ%eTX\:i*^]6NhРv;a .݂9'߮V8MO|\cnSP |5F|ްcUW*SPz@IҘ$o,ҔF)B$i/F}S@!KH|yt4Ԍa*+eg7Ut(1`5 ,X/uY[*~hPa|I6S|1̏0cA"܈keCw$n})jlMݟV~m%͌EK+Ž 5x54woH5@eWQW4ce -at1F3p= T&Yp6}=8y;0YZ n Iy' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! L]·Iq n[:|&[z72 {wҺrEx@r3gQBz~6)U}_vsP%/9\ S^D~sޓ>2-tAFh|u@2w'o?ny)_27/誖V83YZ)琼(ȐRF~KKi'ϽZ-sjTK ,Ve7jh #kC}L6;:,)PYrh裗^GRC=3x]bAgbGeoϕI(6$Rd寔zfz/qϠ4IHR*ٶ7Gb`'7SQeTD@}oj;7sqi:ZLkp@x6ݙM={F49e4Y 8 "h ]{zJ I:xbՖ{m^eVK*,!+MnH\>d qpfDpvn^-xMtYY\n`3-Ka9PS}"G7f8󘍂.xҬ%QNe+\Xn"K:ґfr5>"ŏ9@ڕL)7YA)Oj~ c > {}Er\P" ]ROKi[GEPf5v2Ϝ%y%w]\!+>dR\$&YU*waq?w4 =zOdJ:tPaۺglcd;f}> N!Zyw#7;w6wu6GRtJ'WDpW Ź|M%ెF\qfO.T}=$tW&}iW/SHįetHJ j]r4Էkᇏnu(cqX\>ǂePͻt#.")mWàmPPYcH Tžv䌢T(Ojfլ:  TD3b̰trYl!-0cz %H[o 4~!$ ݇kJu('õH©3E؇OS1i`vײ2|M* [Ovwb١<@YܗcAe?,3 fTft #ݿze.8͞hI2, v꼖˻J&0krCл Ӥ902j< e=Q߾=8-Vu k@zqmE:,YFlE٥VdɮNDJLWmÊjf1T?So\wcJO>M)Zڒ qSV5^Q3SH?+B?CrGı{KHd: Ş Ԉ"ϔt@p48NB ?U]<˃3nء0mQ725rY~%ɜ V0(Hh KY$g۩eN%#70-xc%fgy]6:"4oxv7\MȘ%}diŜAbYc}msQİro{զ~>bH+ÅU9Ժ-Ĭ ߎfdRi gZ꿀R|DI;5z_U}OGOS{'Zfe,A[Rx^rsEQvsz.$k3JRJ7&Uqx=@8"wAuza1_Muk0LmڢxwcҕAAK!V qcА( gc#ƥt&Db;o|tKHH^7C_:՗W&q$~HJ^Ȥsl>> ɐ>hC2M:X7Z8 $e?yy=G#zXA 0у/Q,v&Cp,3ɷ4i N_ T'A]كPO>; )4[,B[(H"JZX (:"p'(5mn!4sO$\[lӏZ}EhBLν#@rRLC F_^em&5C(= UXrhЇYHáϡuԃϨ\䀑K46GݬZQ>Z)rlkrٕRuP 4LV&!sGkEZhpigJ mSt(C&ȗQ/o/ vOOѯbv[25?αfWGH I;34\b>"enrg-BM"RatnmL*(k6lƓ',WxQ t6M7^wy$:6XhEdf(0y}Og"V /lQݡuBL-PaZh)#H_Z8?DaDcnWF<ѐwO{8#0#X{2E.%ZFg +jk tFY5֢ ~j(|r 3(~ wSů]YWY@4 7G93'p'㍪,bٔX-'Ma g  O6ɺ:{" Ze8@n 0kgYZ\IeA lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument/List_Examples.tex7zXZִF! -]A-MՋhvG"uIBm5gq3P`J 1|j2/n6wpI"g>y]z Ċ@d_ 35ss@:+x^TjH:|=$ vYMO7Ƞ{p⡆E x0QvjJLkڄ0b?LS/S_Vd4(r ]=xA](8|著9ɴdu<9'£ėLS-۶9{k>-mա:h ;$_Pww0q#fBZZ}if6yI@T}UTiOLZ2$RP- .x |+w9c3 ԙqo>$.֗,E٬mFmm}PsLYBƠhރ5{4ם؃?>!EvQB~Vы<E8~^L%FZsOnkK›'os٠vKn9Ο>z8}5FB <`Dʂ<sSZDYຓB h8g=n54i@2U\0k-; Ihe|fu ;Bx٨Z<X"8<İ<D'2?&ZEkn9X!9pSo@>9ZlX$DRAA턋t=R2kaJJqia' V`<,C)`W#S`NTǂU6:CHb|'"b=8X!!X|<ejp>hPeH_n.wݪAAƝr䝪]'@4LU1HWEi U3lO8ޔXY3@ w۵)7 MgYZ C"Ie' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages7zXZִF! "]·Iq n[:|&[z~ugT ,hd^rj١(N RC^TUFhZ:h]H>Dr}nK)$[9a{^N2R^/'5W9Wn{wy;]\y&DTRhַ= n1leTug {43~3Ui<{9K9pL# 6I2kaC>#k1=QK_ObIN\h3WlӃJӺUg2TEa2ohT?tFAj2ڨ.?vjU:ҹjcd>ADqȂw{¤V l`o'귦7sNb\sǺ6<}9'cjšTh&aL QI(rnIuw-HJ9M[ŗ΃{ #Ȣ07s,ɡWIaVt5YWɷx+ ܽxI$"aI )6mMS 5^iHU"f#5Κ6aHKeh@}GH_UA,ZCGCOsvH_wMTּ`#ޓZE`3ofRoJ$Yzb &&-iYRB- ;NEDrk˵ug dsi4(gYZd!IeA |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex7zXZִF! Bi]A-MՋhvG"uIBm5 9NkQa[פs3^X)-'֑'~p=n_Vr,I~(|ۗWzӹB!c<O4grƖO[3|` w*3R hA:332d)'4:"",]d"(SjuO5^6Kr0gcփ}@Qud(nAIi Vb$NZ AvYf2H؈j]ZZ )." ʞw,Yxw<5!9b}o΃+ߚ41C 7Q4ymzS~w5MXצ&̡@dv+m?D-|fƴ:4 /׽H&5"S f*tq 1gU1^A+s 4ggpp;X5UC3)M< !z06$1yFUS ?]ua8a U RmRx{gl*ob:1p`y=l9B #!o!(د-T|)'CY']IHu]OUMKczydC~\Qւ4A{(Pudt׸nrN#;Xo9D{ڑF.~Z$?n}UKē[懆̸7 }d yO9Kх>;}> qM S&`(՟B2 \eA~JD9hRg*=o[ pTZw_Vlj9T, pK [#6@ژ:. Qq9i1E#W);AV~f TʅN A:.>98Z)[6~4mGJάPƈ3ӘGǹ?9Faŧg~UG|c]YʎǙEӟZl9>V{AsNOPMɠ, dѬGa,`Cy%(Iha B!chxV XpG5a2KNy}z`x?ϝ0N]4UJ+f3igl^]1PkFk>{LQLzF a>@ڪ D,T9.k!20"}<.{!Y* ^0g2;w g*8QTނD s [ c ]+ e+4BFsVXdu-LcnȀO)y y&l|e4: ņyrgc#0]}p%T fD6Ԍf4.6;T@S N VAGс[Z+@@FdFtg\csq:dcg_t~MְN\K# >&fA 72Z &;"b_Ӕd 4vN:QuPL9bitqwRN| NJW\QuW ~$+7sIKmUPtPe [Ϗ9~t '\՞/ 0u,M9]q͌K] ^՗XnTU'⌃JSd/'uHԬqw ryf&]=.y |gĜڲ@@l޷N˹g>kAE_jw$dԡMI+3uz{oܢXtPĥQr[\:%.YԮiIl*̗0Lϋtm1%܁e+ V +uۋ<1W פH3)7 Y)35 hy}ɡ%xFFRJ+u! U{Ŷ!t,:ebŜ+ڷW3!j# T)9A2>$p%$ֱxFnpR!*J 6[Yj2ZG 2}x^<+:0vMj@i,Q¢ʞmP''.TӠЕo ow#M?c-lbezじw+]=oC6[Y~j\~sD߿5%RH kw,V\O~yXxrى6|-U56SQlgR?;]ެ}aTn/JeHoITU!q0 4H|u|8d)&z-jxlSx-F,8>y}WOINEVqhj( 1 C_ !8ܣ"AI} iJ$v!Efבz\ $ShgYZ 8'I;# lHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup7zXZִF! ] !M젗OFK?;uL2a QbCYsOY8`1Z~UpzRw;]Ojd!l5wwb64ɲ#(<70"up^ ̾#~sDomZ㢟fd:8qK,RTmP œ}gYZ&IsO LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex7zXZִF! v ]]A-MՋhvG"uIBm5 9NkQa[פs3^X)-'֑'~p=Vc糵$o>.Ah {9x)2Ƚ;\.TZ=9Nݮ\ZwBLHI$ 1z QPm`5,:$|되@M%5 Fl⎡`.2O/p'J&>iA6!H{煬HpWpȐx鏷fˈ~mN>9Yaz%>D5.Z5j8&*X~BO:Lm˵m,ڨ2 hhb  PV]PV ą+iїQVLfBNTĥeZ;-d^iTMI[6B 7 w.b5,㨍e2`>Xu; eȉL\^Q !Jr~(]ЩGhZ.`$+M(cK( ^NCZS!M.xp{7W&Fqϭ'2W?2۝LkU48BjNZJ3; Uuwk Ѥ : TQO}dOǒI[rMn#`4tncm>xq새9wV|\/p$" [j@6(pu{&7Q~K`Q8ʔ.͇Y~9@#z{N Db8ՏS R$~?CS 5Y9i>ȈpCj)v.%w<Gd%/zn%IKAN&-y<])TMqbIlk Ji=W2zc&v>Xa05Zt8줛Ga$vw\uuW|.w}k]cLP'񀉉 Cı`0QP|IL)i1x-n5n3v`fِߒ˺VNZOL+RX$oGB"PBt~> lV&"eR]r*_h_ۏS,Lg#JQv dNo>QpV5eBhOrto &ڀDfNKOg(+h0^;{@}`2Q^,)aC(NfF/>ʅwt?TidWM(?{~xVޚe9"uZVXWԙ(%D0 M`$!q7a/,o-B^= * ؃J{:U_7yo]W+C I *L*k+AU'< Ip(_.UߟeU8|K~%ZT^yCACSlwR앝?ZYKS.%SUaQB?j^"_A= e@ ~/S=ǛVf">VvĞkU>Youo\ޑ;c` ޱoF4X_ w&j '"ʉ *crˡȟ`Y Nu}նNa"HQ[=Dll6 6ۘ4cicVs^,iDXq@6S$v*uZ,l(<#v/j̧`5Ky\?>/v^ Rha6Lf@X Q98\q=)n-N>t&EDL#toT4FY""5"<ی%|u)H>t~{^ ݺ=${ L5(VBgYZ cc(IgC dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex7zXZִF! m ]A-MՋhvG"uIBm5*o$ſm^>~kn*o@_GaO< g9Ɨ,df/˃Jt.I8Lϔ'rb so b!3hr9a-C,yX%TK[ҭueTQVi^ZCp1JVC= f&/EO! L޽g3[sʩ0gYq:)Fwm*!v1P>n̒_m=[|9k0QvdxS[?Qla+Lv " T@!)Ajr d&R,tE|?`TAM_2I^5á*@ڴw4)Bܮ.RfV"؝vso1 }gOĶ}'tuΉ8nEͩ[OSȣ|BsWژhwȒ;j4Эm?2[<4JwY!;.c`>Ng)Y:ob7 9p#-nqW"peܓa7*ch5^}*4FGD~lۑrNTty^v36o/ʼeJ=~d NQ;cW)aPr{jsTnstt1yX7t|~pZE^oa6X%h{( jKBLީm6n+sfAPHU= ~A ɜķf볖0'F\LF{?b-vgT~8N ۆ.uTCeW:NG}sE{ ",HkJ}1cͧ>E1ZNY$_Ƴ #u b%~&,PNX]PV?sL:_L|8Si8I&:O6G2M,W9fIJ(pY(D5(i9Ũʏnt~jlҙi2=k3ń(~`j)/Cx+nql<I 0a7_.u=`1=}kg[r&M-+Y053ڷcX(j ; D[*a  - Nw9j _UfEK<=67@v`ZH&&B+:1)֮ސ%NzM/)-GaGrw!SJQ%,@sd sDp?#Ek޾.=D؈ Q#?41k*M Epq mRw8?#huhbEVkYte09q, l'p xFs> $1oj*$M?xƟޥW> }f떝C\Y݈`xBMaU=h^rl":rWt- ]95 4pl4 ٠Tu7RnX"BW"3;-jfqHOے>?8}oGU=!ܗO;I=T=C3@J< `jnuF-Ψ ޞR}}F kۧ/2ʲ%Żc[˹q!b%ZJ$Nv=IoQF͘Vc;플wYXH3%Iq6 c֓|uc3C_E8Cl ;th:A+xAPXP1gVx=Oy^x,?H׃fQd2[PJt"24{ҘlQ;Ct ' m`1V&>2q e!9^p0ri "<66aЙu@-vhg٤2z2gW1`S>-%ל/ .72` 9(,i+Q߲̰;`'N q̤fբ0NN`ieYJ:xH ΘoR~OY]\hjiP![nyEGD~S%O[-LV+v6Mi'0h-\I#£LBkNxsG 6 Z]H)#N\C( 3 oUNSĮ rġm߶|'+<3Jeah''Dwn'$. 삍C Jo͘fG,j91}:G廔+_ڒtVeғL7KTSΝrmGd ^-t|Myf: s {Gˈ ) pT&ȸLgYZ  e   B !}8> d.9 w H Pc>9 mCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex(FI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup'xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex&SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex%]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages$[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup#'HOL-Predicate_CHI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages*jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex!cR#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIbIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup0 I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex/dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages,bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup+xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex)XI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages9UHOL-Predicate_CompildIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages1VI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup 'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messages qHOL-Predicate_Compile_ExamplesHOLmI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages3kI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup2`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup UHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup uI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/IMP_1.tex UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/messages SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markupd'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages 1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.texSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texYIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex YVQ  . e y v  Y )B_Ii'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages6]Ii#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markup5nIiEHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument/Reg_Exp_Example.tex4^Ig'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages.\Ig#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup-~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.texgIy'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messageseIy#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markupIqHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texvI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messagestI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markupjIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument/List_Examples.tex]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages"[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup lIgCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex(YIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup [[")IsO \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex7zXZִF! }n ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;ɇA}#TAk~BjDI_{G@吟8fm#DPQ$Y'!}m=o#Uɠة^43P"7/`x@v<ę:yXd1ثپפͨ.! ">^^V,zGtsQ4r |U춨~܇9LPzܳs &\!s1񵂄@d[G8ڨ)~Wq!hLHڥWօIKneN%& S(6iW*e}V&'+THM~_7![pUJC6Kp߻#/z ŹCI'N{k9^}_oxAE7dqWr@:bo#Xk{/3E4,g}%6`Ǣ݌g/K:VxK!$-nj 74"{0vpZ@"nh~=o?) hOn:SG4"mx9ǔc xЛa;:mOTȇ!pNOpu5lbh-c9WdhDETG`&8CjW)Վ {N^!I TLF'xaI44U~ⅺKBYVi~pPD%r+h<٬[X`bBP{4LM$U7{wD*Pt-#Z۶Dgq@Nˏ=c$1?Gx;912v(GUnēp%VHbp|~윈zČ'~ K::#H% O~Q] -pn)M6̞n؅ NޢcV;豞{Sݹ(^8C[70i J(yǘ!6Ax C=;-;gB;(rqqQ`]#ĩ[" Z\u[b(Gqs&RفAh͕!Fx ƪlBܓGAw+x3"ܛ(@h?$16=>4rD ;7jB5fW7LĶvXF]#,[-W67FqganL[8t.YˊoldS83>B*ÝAbM Z: _Ae[@:>]G86;/0w_6yL}3R+v0CCsU2Q&=URFҤ٪w4zbQ߲ec~ FP*E5֢@]qLD>t­ EDq2:E SdI> C7eLŕ` CsyDx.4>4ϕg!bi6&$5ZD^'WuSHM.(bAR!SoJ~^47Nmn‡wQ1\\̹WǞEWŮ֘;CQx֘(\g7yĀj-H:_-'  9mfܗ{lU.(wu6G-&uI7}SSa6C)[Akq(0~Ky@5 C *T)N:'vC'^R ݠ?y<XDai )e(ޡTG$\eVD¶Vz0gҰ\luugW(LhǕ,R`RS0Ji7:J(AU]m!ٍh%PHg0An@9Y8AQBh u`:a]اdܫNzug-]ZJ=;z'L1KT7ҕeMq$~jKY=D)-0-?>`O򱓯ڎD+SI 5MBo_1ۯe/N<0G.j|z >N×jhBM?w|VBSE#C.n MɎ:{!sdo }!!#ﭤ_di2 hY6i63Ra6 <`nl+ A6)\E#^vgYZ HHH+Is# THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup7zXZִF! Y]:F.Nmb,*Df% ε.< Ą7 ՙ5,4ں*9l+ R)\^x]C KD6NNY)5af8dt?iQՃkDd\S˦YH,EezPwdg]@S$hPLc\ulW+30P?!>ҿ[FZTg27af8ɍvAXX| VG F,!bEQ=̻8ɷ# c4~G§1 ougpQ$$ῡmnp!Ehj_(z <:3~5VtPZW LSN&%S<%Os2L&J'qZT$U\i+(eT#O79*mR',ZHVꜘٮ:GSiЅ3¶.Ji5]M%.<^>Z5gTs5%W1IR>7:;Oln3ֈ7,Ö_@$$buKmJ%nW0[e"t2i,yqwu0սGه VUAdٗUe%<-o8Eΐm6C[>ߥ//F--\44$#LᥭPE1h DV 'LÝu0}A.ydiԌLmDnOu'otVɇmJl~q: RΑᖤkyRMӛ]-.l.?mFz)?˯N'o+'mQ/:bZ4_{fE>!3 g{1&jGSPQEX9i7j 6=A/^!}'ϒBG2l^ p+?fGDBL4k{f|nF/~8!ɬHvbJc[H*l+7Q&0fI%I yR; Vmn!em/<:EG'vUtq!PYu5?`ۖӢ|7}4EMi{W߹=j#[MV4(oڋ9(U:gvvpd b;6C][^=ːl A a"#0OJ Ѣ'tlA1vT.lNYŅ~3YWh0/h`w.ץ{K˦ucάx2(`]Wy0W*nVl=$F,O9:It_ HyL]6z}RAȧYBm t]q*mL1ImwWaBKX [?9zflBrq x6ۮ;IЭA.a5?k%-˛y-QK/6\]fX!pӥ6abo_pQ(=U!F^x΅cl)@|~)f gR ̽"ŕ"oIӈPJZbcEfZI"UCNFm04O(sp)m`#g>?$kN?(1+ 7EͿDRCK($+FYlKkp^ jK2 (9Wz76P'btrwSGt+*(d.ηKÀؾv$* 3>֡qXm 8{|9^W* еI/H5!hI!yNՙ4R?n { )[$i7r Bc뎖eQwUd36CRs1SFqc juO53W}z`ٴM.:>@" *'J)؃2Bɫ' 0Az puV}w cS7\\doE>% [ ?`cm,mu[i>R9fJi89l.2F ٥MIBZLÛmF=_%#JR u} ֳ62f8SƘb (/\DQ%صdEjn K ( 'OqFlG5i`ofWүBu?'<_ag:2:ykLn]]үLt?1Qпe,jWVqIoceޠI^L, N/V4Aj%ON/ɎOZ=Z W](h-il`"tzY2 {4.I!bIkJ#Mϟ#Ul"isb(rfvkrZ ؐbX@"7\=DyuWQ^ gF;uʹ\Z2'#Wx^\O {Cԍ,!YC)4#aV3Gzä5~ayɍ&"!&',0w7 }4+xNﯷ.m, wѪל oo㨣x];( V{|g@svCx!0D,(J;tIqD>C5sto 5ȧ5'ܒ v^L{xbLW 'Q|P35Y+׏CRwox_#2"%<[/q26rGU{z)O^6_`$̪/u1i vMgN\gH B@Ѻ0$*@amJCŋ`ZR -zHZjlB; 2j@04+=/ 0FX흜՝RIOꇍ.?*eoӶ ;(ĒT!WK<[l<ΤK*ۿ@W<$)r'ǜL;*"?j˛ނT}91j>.&F\qtNS5dȇ/^FjE>$d5LiI9Ak,CEAtT}p5ױZe\ vظ%XFҺ}7!B nwWW26wñLa%zTCٌE߅ͮv`y*rV 4x8BlaՊ 05>eU:M&U[Ţ IY~n[4 :DLvx a\;ȼ4O ks=akDhns#ްGxYdJ\3W*ʮD,߳<%Tyֺs{E7DMmS;1L >@rM![_u Ŷ֠.i!7Ɉ[Yru8(8k I D&ȳ1Ӯ쑭Fd:FY,}er-G}RW:.Zdf.LԊțy$.&Wk$&Hϔs Ke nY=Fy.zſ] [cGX5qX$Zס!q~)>J;wdM% r.FqrTge_!z4|=*R^C2w۠V֦TX_Kko=6ƛ%#'%pԉu T+]Ie+J̗ucfS_{0ewԱ 'aѣj2YIP΃Pޅu--sLgU>kCj f36 4jJ㥔leI(bip0 0Fv㕉 VcA?PR W)31 ^yY(o l:Y fɁ_4YPvl2 @vaFO^VP՜JZDtOK8dl#P+ɒ~p .n:ShɅ gnVXAZqڄ.  *œgYZ f-Ig# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! H]:F.$>meQhuRiAPZc8@b9FB(HՇKfr7S nMVEu[ȩ7ݴiĒ1,FsG8ZwZx_?㤒>12joF_<8jk< cǬU A᛽t3 O>yûtՆhe`wB Kq3Mhگ}7fuzg'o}+f@+ݐ9ďBgczQվ[rf]9$?@{cmI\eB4X2WIzm!(& ?T9 &3b@e3C9L u,e&~e0+zXla((4br_ 8\屯j"DM/T-"K[qB#6kO!2 ~9(^ֶ~ӱRZ'[pgHHi7~Ս3ȧ e/IyD|JU[gutOʙJ0 Mϥ#,s3)\cTUnzcm/NV1\|s]N%%Y J{Aǚ7Qg+yyJZkD!`''ML'{L \čb*Փ;'#ءњ[\ыxly}Uf4} F>vSg >s_{mli^`46T@MD[V7W(A$0P @)@k:-Sk9J E[SKO|zVd&&WN-< u{~=F2 >Ӣ4UIXr/,,sj碕G'm=@V-iw(+ʑF\lοUSu'~ JL/$ݶpygy*GjuVNP,%'V)Iti{lg{Ed^CU^-->E "~Zo߅#B>e X ˭uDgV97"vBB in'^t)pD%Yn ޙz`uFwö'H~5d?u x8^_;q L}\iTѷ~!nzjr8YnΘ ,Wde}rԎl̂Vk{-sSNd`!]e֬{grUzT" @dOlΪ5(M)|{iGݴpzmK=Zg>=߅(ho@!.iymn1Fgɸ 7 <)x:FAğ Tz_~"5U-͡ @ K)W v)k<HR6j(0}@}Jy:5-Ϋ_ۀ Qyy=r5?.l=σuQ:/uD%W,ߌi5 8  )u;HPp➌޺>LdoPso>I>*#Ʉte7d. jI\՘:*wY}! (ɭrxVy*,ůMp$}9mK*\7M"AXC=9J4r4 L4gLbEb/'bF:A/<GkDuKpHG@2;H}uWpd8XVD.Z^pQi1S/$zY3(8GY 4ڱ YTVlQI:KR̡'îWD: >S`%etn%|ݤA"ieA28SJj."%~w$2'AճƣR1BliiZ^ݙ1p4C*dcwz¼Ǟ3n5 GE)ꢷHX`fP I#}i jzM `fbǓV3\x}KRhT~}f!Ӫ$[SPb+d6<؟ /^(XjvӮlpd6*A=-1Jv,*co%[\uoyPm:[tڥԃ8s8P ;DO =>W4<ŭ$Įo2<+nVK"b(K2ɳ뫔F6qf2h7;op'1'++ݛBG{,6ȏ. vfV8}|m A MN0os@!,KVvN%?Y `2[Hk#r5@~5GYPw4`tL~4Y9."0.%7&7/HXQa||h #Wˆ7*G#'OjjIl77i,ҋL+0I{v*Y,c hd]uOgS1lנ[FXa/H(J2Ԑу<Ä.S= Umg0,-7$iMa)QRP<Ӄ!+ŹuآAr֦!U.uyA`hudVi߿NYug^)Ŗ bf !t9~.M <[F3y߇y[ o%U8>&$reqV |#M~>ٔכ`ɝSY_[829fxJy}Xn~{8]a <'BdlsNJfK&ԡ.?a3k%J . bb$[NJ.~Uf癣r T2m #g^o NI HNͰYdV15>fJ[ jv1|a6J2ۤaÝ_2Ru'+*;El5=Z[F$\,U9N}Oz{S m`6pd3"J=v'5~vuIe/6v;\Rc@d&hgsVI# .K:>*JJOe`?\w=tX\ QIQS޴$ʆw[+7b ɍyLlo#nhe1~"Wlyu4 тI6r/~^NtK1kIZU9'jBt׮877%:65ś=e^gxRKlUq5z !ʽ}F&nc+kQLk|T@>ޢDKIweִ.]ϮTM'r!K7!j9HM4I4?X[jJ/&hةth`eWV7Ċo\&\ɉ ;N_~e,Qu:寊w oGiۋBoo['X`mN%ŴЊ]Xj "=mPx&VX0pqM84yrm^ KgYZ ^^/ I_ 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex7zXZִF! ]A-MՋhvG"uIBm5c{Y9]}oD9B N~v^ ;n2o8X`@8?D9j3#f-0n+H&Ŀ3C# VSzk8&QӍxkE1Gh4ȚQ; O^:]h1L1E.{m_g#UX8=u؅RC/I )UVDKLkJ!bsJaH~Ks;V)3RyP0Hx 0.ֆ`"λ;awe0g8Mwm5WӅ-Rv2uh^I4w$ߊ;S!,}~ÀPb[tC.VSGiA;ez+T]cȇW-,:d!$0kVNq9C'xrҗMsە!|R; uA $T44xq~TzqU;NK aͻߙzjeS"dt簬 \uX MW 1y`hVVvy#ۥ ލe˒5ʕV"} 2_?e>,bwr,uWxj%9%qQUki[Y5Q,u@Խ/@lĕOA=X{b"(<ʞ5R냍K7zjJ vks?N?G5ǣ]Nu9qk>gjmcQEL'R!*RSIɬ;p rܞR%5@x0}cdpZ/paxm ۔*U}#"BR `A#9ߡ4=<,e‡Q`y4M2/0ָͦոSM^3g0fՏ]XXmD?UfKrke:d{ʚ4F\0XI6[{se?Ќ]v@3]6=@`s갩YzI`p̔? NeIgP DSoRm@#tsT?.Gc7fˊIx=nƍD@m.g'8h'^+oK n c`6?O;Zi0Up' y5@m2#} )Ҽ }oгA%?9'w$/5_ j@kA8;ªoY@0w9rve:H+^jmeȀ6WJzL⚂YU9!y6Hݓ|W؅c.IZEOR_rEZuX-m#x2j{ዌrݏq:md9gIX1,< r0s;d.XBO?АpzW3SOh-9 u͡\~C^r\]#\۵>;\j߸X).t]X!dK߃F?tMŅCz )q.NbFvũ8äӁ>IU}yC}ڸJtY1d~ C݄F=ra  +Ċ$CͭVTrS.54LU}&:jxhLu M̩?L.VgYZ h0Is# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/ QbOfH9_t*ֳ]3YB)2Dp:CYq,D(:6`CGFc;?Hj:uaQYT7OQNԀdܒGbc"=k\ vQ)0j9ܩ53w-0O as-4\oMGRȤ v7-kW[Gzڝf/N~ Q7P>{g('qY0 hC(Gi˸HSo >]drHqyZ!A 3jaJ >TӰgG{^*'7X?а,+j7)s]شVby볊fX"U\S3 {ϖab/Qߟx]m=t0L⿚=KW}~3OQ9@X[@Bg i9ƯͨtWyMtbMؼw%d蒂sSղl<G8~pqpfpє' JAL#}*1Jp9 ۿ7U ˬk<*q~ʏ|vebm!np䇌 Jwۼ c BEvU0aLhmhm(C͝e13F[Yk3Fש8FxBsM5Y.< NEq8Yw#j@:{[Rs)J> Dܺ Z@8ՔI7~%!ֳI] w""l?nf|#ÏJjɰoHA󮞷\G:E:½x1zlڰ S_Wqg~K_6MV˜ MCVK(Ĭf.Owu4~rqr2„HT^4TƦn?䥹 t8Ѷb_LC (?ҘƷ^udo_s˕# @w:kh#&!9;@W i*+u 2Ydv%she=_ xU'D/y-"sKj l*)wmYOe' Erkw}0AY#hV3c L/|>a !(AkFKXeS~pK!\%:x_2Ԗnx{e6W FQ^ &@q[|ꐸ6M\{PvxLx쐋У6BI; i]TO#eqBY׷$JSyFYwUa;dQ|fAʇ:|g~·a/sUi؞n1@9d䁢ztTVSPCYPaDKWO8H*-G,ıvUZ9Fa>|̪[ǖCG;87!`)ڶ)=6A鐎A1egYZ ww1Is' LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages7zXZִF! o ]·Iq n[:|&[z[SwE@&߻ŧ ʛ򷶇Yp C'[pAu4: w]OD[KJ`h Z9g*[%ゔbvIiUn3, 'v"ީrPv| M8 ls̬*Wb jS>+]&mA2SXMR1tCܿY{Gʅ4Ge ޿i')ASXt-"B%z?X FR{#8%? Z!CE^E_a#-%' ;`bmu^ [>ɕ(dK E{~pbQxݵ`ߔd'ZѠ+;%>d^PZߴf]hA>}xؗ[$;>Eג)W!|ɰRXh,WN>bNu}𿎲T|I70JyٕW(}Aan$u '6wƕ ϡ%X#A"%Sg3YUWZո8êl4wqfuϾCdr!ܷPpwa?u^;~EM5~ X$精X0J*3*ic*5/ЬnKB0] K.b /S vS } d״Eў8ގ┳p1hʤ%_·-ehI1]B:䒨<Ǚ++KMZrӕU1|[;S.,Dsc&#ˠ-39Ŋ_SV6% R[Y2A[sY`T:L' cL_@cph`Q!X} F ҙpmsz Rrڭ~dޮ(uRt!Gv1fpp ܯKzeKaM' oKGIUJZ(Tɪ&X [ ċYn .* RjQvW6 3#lv.-P`|;3 Ħ%[t;<1](I&^p&2-g Vu6QoTG|O yp8,?-U[X,XOVQvnLZ5BYj/=\OJN ^8?xQN0e2WtIZxB. ukH.wN{XE) 8DDԘL8QK%@+`nnR_9*v-݄mӗRLC~bJ+=݃P]6>x2 qZ[ @ޛM/-3{yƣk:#}k+]u|N2J2!"e|хS7T"Xn?jpo# dSi(IC k Ѥ!־X읬yXI%OeOx<\؂OkH\W=F't\9) 8t!1r Q.˅V^R\d_ȦoE),)2P\|UGvq:YϜnDX6M ZNv;\GuhU!*'pP|5Oy,RF!h81FXhN3Y(#.==-w`d;9aGHXv }Ue*_R,`o0For ce?e(rN\VǦUEqz[D6i VvoUBv_ծ35'{&rl?Q5tϥc/}Cl*1ԟF_+sp3Is"gN7o,Ih]r; K&a\}9`#ċW7dX p0֯.MR,9,T(]v0y9Cg/M"(6-ԡ~_x?wX7ا JT]mo$}|tPڤj+1@_Gu;?9[= }%m;+N"HU0~(x#+jo@ P=ޖ'~os1 4XJJXτ| +,&i} ).a3`k{mVjs]5Q Z/ze~v/T pGG=á@!+\$7E֌ ̣(Qjt`lxc)tw=4&O# %SiQ#7^q)x5YƿhsP :Fh dF nK!IYe 1O7aqQѾpqƢe}[e~=g Xɩٰt [$nGtO7ɏ=OYvATVV'4v9|Z +~R1FiPMVJ oQW*WƎ!A/a|m(h75&O~`Ӫ33zUW73Oe'VuP;T;lE=?}`{o1y|h mG_T| ny)^q-8ʂ9@Hx_jsg2%5#ls%R#πh=6|ʈJSm7V(`h$IgGu6sNQVgP/f~9WٜB ^> !'sYczg{$Fa>ޑ5)j"lFB؟Fgqu7vxj)MS'=\VpbOW} @%SbW3,oׂB{b[b)(}ц6b]c3XwUL&# Z]r2 V2)3s~Z4jKZy-ϊ7FįpuzkҲDuup~dpYH W< qL.j)2UmfKKwv`jІΠ =Bז"7qso,S[:8w"MPa'dtѩ;1+<uNI)䜘9Sgf&|k 7 ➮Lyw6-x!;Dr\ ̈́&]YSK/`̃QG%Uۙ$Wj7sA!q6{I<o"сqj#=*܃iqBXv~ۧTrv c|gYZ92 I# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup7zXZִF! ]:F. wnfB4w$S rER[F,LMZK>;< 6wbN;]jlvBd&sG8E=ӝKBTtSزiM-GҎ.ډ1զbq IMgyf-޶¯)fLpуسS׉Elb'c3B ٌ)$$ >hnm]dmb7͍e190A8<);#M_č9GgF Uh}$A1(TE6 긾Yz./"I?.](_ #xiN:Kb]p<̛.rY}N| $뵓meEgRR <,3a%$:c0HY~$Rxk[95< cȳy0&=OOn]+k-5s #4 AI:ɢjil_ }1eۭp6$7|^L-p]TuP̔â\Uwm#H8Q$'J=7 +H@uaDesYq×bBp@aB {|IJy)vG̠19ɽ,{N<1M锐o mb>qA^: qo+wB:I޻!bqIG~qsd-q$h[wmy0Zmeְovsts7Rk?f(p"v⬐LיXlB(  7HgYZ `4IiE lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument/Reg_Exp_Example.tex7zXZִF! ]A-MՋhvG"uIBm5pM^x]^[~,C4ǼfV7NchR"~ACЌ7tN*qe. I||[^_K2ZfmŠ4HǙj8X?^HKmN]p0=P 7H BDn0p< 3mZK)܋67w /̗65JQ"GEeZEʞ\y)" ˉ9%;%5,?tx1ecFMx^kPk9^.[@ƩN#ڗeD'ӎIU6=P$8`BPR"/5eq埲X'h98{Q1!Te~c 4Z!x`SPfn BO_DڇhhpkLJ6Fa5f3f/,q %T%[FqǻDJ)])[ ZT_1nwu?uy YgUgQ*7i$Aj?IȪ́ Iͨ}Ez+Mlu MK*)FSap]WM#eb3" 嶓[ә@d84{KF>JW'~ŕ !%wfe3&U?ŘOa#MS:\ٴ5i$j4RdW/h 1ʰM#Hg~$.4x '~Rd34\)cyl5_B dA&nbA^}7 }^5 DD\qƿ;Ԣ.~\N|g8M_ڷ .A<&X߲>h73q’&s&ZhWroI[염Czw}m]Jhu;v AP}8>!fUCƲId9{v<_ \ >@Aԫ'9Pfi[m*6ծ@ #aIfw`Dl<)Un44Fjѫ ?7K:2cY9`^ B9nO] pid~;^*i'+nii~5vݾwZ(=Th$\QIO2{ :ȋeQj+.NGtKΊ':1?2z.L+{rǣE'˜3+ۻTؑm/M1eR* nai{ Uɔ.Eoj򤛗V>>- QZ=c"mv'(PW4RT,Xuxa䱅jV .adb ³b)4D)pxˏ^YrcA@V]Eyê' xl۫+(p甩4\udZa(5t Zxbnh+Z gyYߎDYs}.OzX" Qå;ǩaeOi7gڂ^nzkv4fGv5臔 U#QY.ߪ]aN|jIDL[\pqHohoFFQk++0݇^xw!q ;lMqҠHTzM*gҒ֙|4RnA9@- {YYY7L(p6~{hPLjȳƧ(CMNȕ9 V4}0"]"@'`ۇV{;xϫGVSžƀ`H͹ڳ a=@. MLC]!=$.e4.>g"6)o^VqZI_Pn=~ڧOtx !/cHMH[B[?#~ b- B*Rƕ*P"bGkє\F&l, uk q:Moݹb0,MD>oV47#]6SQ䕼А˵4F.3Rj!oF#[ '!P &o1&A=?R|o $$[ܧ?N-+qθkTa`/YB5ۊ kj>5Q2Tg\N#3B%];UQCg-!y2J y)"ڡa~wjK{ͮ(A.w$CrY [N)/Kp > ; NrD;)3r`S9B$ׅvgYZ ;5Ii# DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/markup7zXZִF! !0]:F.1NF&WxpfCY2tF=zp]~T݃Lm4ґNoK_B={jo㏹uQcP-}V%*ȠV]wkNܔ2%VX;ڣ@1hz¶Bw)A=!iz֎Լ:a G,xL"U1 ?٦jĻ-T>x٘7L.@UXr]WOE7@70su1ݣԋɆ*PL=JG& Ǘ,a:`ȂӴ[5>¦n9CL@PJ1,n֍f# <|Cݞ:8~l'%>O6N7aޛZ.h%5J]h'.pV1D+Yvt?]l*Ki k@?vX " u~KNM?}:" 7,]Z3Q,u6=n!3_ +_@3D#MGic\r(@6v1]ot*2Gܔי:+,o,]sDLHR3Cp)M:=(aے)N8A;jZ~qx%E)AFsVʃg3yzwK,(`ȱW6#*%@^l*0]I'l5 ,nV3C;tqtpy09EDCHwaޤ{뒛Щ1T=ˉv RS0_q Q3yuQ2NB{HX[H.&[SZK 넨ՇXkP^oE@iNCt[b 8Gz jcn_?!wQ|6U][eTkI`P(J{Y9IAp<:CM`ٶ{ތ CPE;4IV dy[& nhxW]wV}G0Ʒr-', ;5́/̓Tu_mvHa)` ~0 FLHf&h2+eFWJKD$B% rhF_#yMiEg?K=Z=5BxOްOگeMq1e#p8^[$*FE;٪\{98,NzBgYZ 6Ii' |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF! ! w]Άxʆ5.f-9 rq:g|BH/'ݞDҡ0O1Y~]2!U44oWɭ<pA::jn8D#![|dz龡S\H0;tFS*>Ӧ_CCI^S&0W+’ uUPaeM:]Y4HhQKAϚgYşUB5)L6{Et]hN:3"VġG:Fu}7OHW<5'N4. b=*( r(rz>{$@`Vcͯ#iu='%v2w9ybG~%l[em`{}W/I&@@ Q!8 Nj/hO8(4 $&+n;x:&NP=}6;?V]~{X:H+KJ"Ò HpBy O [ *j@}C3K=+(B~2LM,Ф$I.AFJJ@y$)˾97@P7q*e,mK`?c4JmB*tq޽t/}uA:Tv !{K~X&xLCzsmsVNN"wLHS,@3bU[qH п轟i:y8Ƕ43EK2co$׏R\w#~r!kطZj7ͮbQ%?u;bs^1N9Y͕'.kenci0"Z vL/2NY ?+5`Oo¸F(# _Zж ) ^ $×A 9O铗.nBT;(&WP[7o<4Tf F-M "A*aVWTK}&,x{&O-x0m$xukl=p4ZYlO~]SACjn_{e7R7s/r̶u+ixս Q&YaکɄ0Ր^UUSa-.@I^nԜ;I Bw#Ƥ0qixڑ22cD'zPT4|[|1Os#*/mܸoѸ2W1XtEe{s{+y_)Mw4PXiZ6ʆYNU.r^dIWd*O~Z 3xH|ι;?}@M+NJ`3.$MmTRF![KY^5 F;|M|,R(PPENcnO^g\39e6F8YתLi!~u  ͒- cY&L5-R2g醚nL'JMdNӒ$Esi4OX^ó-׎ fK7[m$oR?!VWꂅ6;~&]BV>MA-Fbϗ_fqX()\VƮҲ١Q` 6 7d X«qWf>GIHAfeA5zW7x6nI52fwI[-ࡠGܝ`kʖ\XYHj4.-[yQÀKRov 賰tsbui_ }£p$&o3-$aũ]$IjfQ< &D"mTk dİ#lxGkUGjG\n[E}s};*8&,)[0sL+=V4lu&&GxG==b8s_D99:4`R !iP|!~2:Qdtw}P1}&ز{Mho6YCEyu"#IWylQjo57wRE⯶Q„pZ5b&D|sHdElB/9MDŽ/?}g[@gi{ )ڠx}oh'v||s#pZ.ܭ y^d_\>adOHIUXA*44L6]d;'%Gp,Ѯ0#1X"+Cfr{sĝ !R_AF+̹H YbBRD^tT &߻ͻWҗ{"*ScceL.K3ᨽ~HS ٢N4*T(F¾_gE$g~`I2)yP&8h*v¶ G#0U!xv.]Z%a47,rhbVƕ\D|gNRv*fouU^ 9Q# .rdKĚ̺#Ie0{б/:ѧ+R欫%Ay ϔ?yfV@v%eaF} >AE1wg +jzWJ{40hV \60D6"HA yJ:=12$yRxgYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷0ya$ҩ禎4tWw:Z'H+>`5n'6oU֝X\fJ=j22:@WqDZ@r*D+]G{cUl9[haYLyZe%WvRv#q5Lӌ.f PVRaO +%+q5,hAq*O xw@(D%Uߠp-'̘sTNܴ$j3~4zf@냆L IgYZ7zXZִF! &]ŗXi%Pl,p怏pq k@[2qyh҇"HBf)UCv(.SgoHIh8<cnpe?q+m6Z>P>s:rd;k9י5mhԅw_)㿰K3++]N($ iWAT,HuZ ^R&4 0ONux3P wMv%# *ۮ0 g3%mJX$jq==P@(Fe7Le- ݴe=3YRBR= KՍ ]|:Kt(~^C!EjB 1@1<"jG_xAȍbRqҺHz7 mȻF1OG-j*`\1 v)5]$?%V0\-5I. D7ף;NBPTE*)9}9Ǽo ķ^)_TWhyMfϐ1VK7Q8Sw[/QMł064'wHJ*-$ʶ*nݠy}6)zFaߵ6YޒMa)ӿFI)3^4ҋ-X'/U4 YSܓYmnSĿKluXv$X@vo``q=0"*x XqϪ.m-k EMa +Gp!$~7.t'xȦ#"EB- ެC^R**usS{x._P7T'KR2.ꝁڒndS"/_NF>@o䪷Rβ[VSa7=[{o(6gϞLApb.sOy~Ah=ح_V_U tLhPŗ%p :|$@K3vV Zr'y-x? `݋- _yrx~j-%gʫ\twzE c _` Iyl4VZ zX}ư;SOSIjVaU\Ԥ\G4 fg5iO0Co'J H[&6ąMiOBwZh&vqVij CԳhH")9˨ذ[\k*ےɁb2 "m5_"RJIԁTy!* a {{ZtN#TSWRux#g}$Χio*hEQ:N\dΊW e>kr@VG: O$t[jY?3a2wp4ĥ&9 0lM0Hӻ<ޥuU?֒3uQc ]@d֢TE RP>+\Zhpcbek|4e4:h# -#X:o2BŹEL;Gǡ1A&%ݢɃ=F4Ven{3t\2}tSb6ɗ{+$ϭW tE77J?M?R`aܳ{9=&y0^!2s@ő [!:ص~ QH/i8KKGQe4kR!w~o*wOe1.@{Ii99&ErsaLU cTYjkό w@\ZD1EobΌIF>,G|W3vXG CE)l2f'š'z':m@H KGRe/0}q09L^85=4z `'HH^l~I p!ɡM ÑYu=>W"i_\(-bٟ$>vWQ^9On.P 9Լ_0ØЬkF{`[e yf1yQ\!zz.0=S-k 뇩4ʠ)yN pPcu8K< NqMIܸV59V3I'5ȍ~&ȐFce',2Oi} 3w&1 ()f-U yX9Yd 6ybC]wNᢴ쓥.ΏV|mMoC4O Ywx8R+AMmKg_X(70`&knGB{eJ\Omu1`$gOokUR-t L٩Я>Lp(OU#QUCATCHJOBbiB"DH_hLJ݇^k|Hel1‡ZP> VAgK-[Ŗl3ZAz+ d^M3`SIP)<r&wB!ݒ.VW J:'~&uaonG)THkhp(z]c_Eݸѝ!{$ˢ2VALP̒oVȃ4Kƨ h(l}^j}*ɠ6Mӟ\V_f@P@HΞ`T07΁""w]|̥w[r[8ݭΣs;Z([ߦ~CH*&,Y+/D"R%95vO2z{C;QRGJŮRO*>T)r _ 435fU8~G\wKN8lyڒVx,BLH"1o$@*HIoQLoTt H Nrֈ U^=P{IuS"QLK>jM0_R;FP 1ݓ3FgeHN);}^rmt9.-o0Xs˝Z >Ǝ?UҹC a"Ir.rG18Z1CKhj۷Fv2O,qeHcKX{U~Z!CQkN2Z hO Y0^ɈUq)q滇F p4^ ɾCty'=m#|83֖k92l$N5?(dveat lDdU]I؛>v5 \*Mq!zJj;vCltsc$_A]yc*38E/ ~0$sodV喀ǁVSn> `SEuBεWQ.Km杕(?2NUմ;~kȿd͞/aOL\!G8}rFc|܏-=-gYZ6fdaf98e27ec56fd566a3bfc556ead5491e67deaf46bcf61c269616a1bc9cb60b8eafeb409f933c6 84c199168b6eb1cc2abc672e3cc17a57ada0e133