SQLite format 3@ D .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,$ ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=51.373cpu=204.312gc=15.3127zXZִF! r]ŗXiɟ{7þi|W)]ifI]\5cN%EC҅^ ,TvBFIeub 4}vo3ZXzo4uV[V؎=5B0:Htib farHY~@7m|~p58F@\3F:kE:qAh4_){ʴ5} MfpzܰrԽDW`a WxSO FVOo Пt~Ic? j~"Oa ךwQޫ'ICfE#L\гO ̻!5[1Ά'\eQMBF J!D?(:TĄk. Z`՗s/ߜBEʬgkxr^9x?~jB½J͌vQ&| ϰj{wisўe׾l)1Cs"NҹYoǚehE=+9Yy.de';7TeBs0  /B)mLM~ X|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[1=0x?~jB½J͌vQ&| ϰj{wisўe׾l)1Cs"NҹYoǚehE=+9Yy.de';7TeBs0  /B)mLM~ X|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[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|60ZWgYZIU' \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/messages7zXZִF! -]·Iq n[:|&[zp槯tgTJPd$V z/SFBxLjc+# .mp}BtJ+z`ח1s.=g{f^#NɣUK h`0OPʕ5C|"{O5 UKvO/K!H&_>i{#Oso;h”w'92^Z0}֩MR یq@ߚg&<\vIeD_oC\)80ܕXϡ@XEB*97nx2)y5^Ygꍉc[(x+i!ll{G,@a-PfyWowI&7}q9F'%w|Y,9B '. K.Zxpi.@䎗B79`}|%5jxz,o4}*iD 6 .* y$f[];[twӷ`Z:p*~470S6gS?fN2OI2ꋙj@K8 ŽfK Z]Ӷy#;z1W&-eZ>&瘸Υ5 Z*9iPd/+8ߔ˜J+{c_DJjF6@#kM"#iNo!Iu\;m`D^̬7Îf(ngYZiIU# 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup7zXZִF! DS]: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˃ Q6Zj&ʦ/8wa*!@GSJ7So7j}⠢rJ(|֏aϰk-?JvF:p+$ K2UPXb $VK>60 A?&Yⵏ4;X 2%?eKjh>OchO*~'$Ğ\w'6m=u#AnZd-] ۦ?)%-}|E^\ڿv x#)怞MԜU5Byv쪾ޒ1~^ iogju."m @ÝgYZWIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages7zXZִF! "r]·Iq n[:|&[zX[Fd.6xVKތ37NŶoמEo7!Zcg \<_ʼ`'KM&{MDzߚ<@ãd}Ա8ēK- ܅?Ʌt^Y|,l۝܏-e _9eiWIЯt ,qVg3˹zR2๊*$JK4tdV[20&Ebw@0 v(E/}83;&=wJϛj9^.3o|1h͕ʃn+lZR~GtltЙ@8ٗi"^ bڢ(~P <ӗԹ_#<_HR2՞xXZG&6ZY\B6ͥD)w}Yݾb=GZfԳM&X_rxS |f#^tےc9(C6[Ltg֭9#nv)$)Ms4:yIة*jV.JU;"EoK+!)ۛslLiqT9&VH@sn,u ^fe=|vT:5mxX1Fl{k66G ! V3ql'%9 Ctת:s5$eբA|:$`^U08 - 2|k40[CUVX'> b>4Ѻ¹ Ud# N]a.DrB=i EAc&<`إ벿Alf^K (fLkLԳ 2ҶdD:`/#3Gq=?4r^5nFfDtxgYZ  0 w' 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. - IU# T`݇8CNS6 l%AL84 XFBHFCBK,kj5P20u",E91/h /%Zs^ qv։V&uuƳ-ct @K\Sm-sϞ"WuOR=ju^'W0 m挡p$HAIEjQ>~679Ea?UlXWnf8Hb>rNmdo[Ɂ',98HzX*BI%~h|\gYZ 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 ֡/:^]z;HhkG_@M'60pȋԂnY 3U}cv/fv~kd,S6|q]#7l ~ˡWLtIƵ S2whѳY̧8W>P%&6'F&1~Y,G2rN_Ts4pdۜ`aϘ7'0}hczwc2QMS&Տ͌#2TK+?q6i}wr* F8mrwWq@jzVul?m$1%mH7G8uFQ!gY!@苭 Z `!ʱ_uk;# ^a|h?ZaE/*Ijs_qn\%ux[C $uPFfFSSKݪkb"J7T Kߖp1]U/81՟84c Q[,h4RQMߺM3Ǿ{ P)Y?O;ͱgYZMIU# |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2PIDE/markup7zXZִF! 7]: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]u&*n;%.9 FAЕ|i)*_J)HulK*b`MwӯQ,})qyDDc7_U!sLtu_='}7*q]n)_n +i CLVb҈+1/9s[5GΑ1ppHJTf0 -1ty-%in`@n&=7AQW *Qk?W5z'h8jcv5 Lj;;;b7v33uLIe' :?IcJވ#ag9#th gYZp\LNehOҿ0N]ҩSS?l"ف™ d釬*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  +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ɱgYZ IU' |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages7zXZִF! yx]·Iq n[:|&[z,{cu67BY VbogPev5Uxo qz'(tT ?P,(ސM2s;B6rZQX*6At*6_*c1;qC|~Xt{ $b|5 eR )xBp)\mM T1WXV$h:Žb+`Z9dH<1;Ć!lr%VR_sQ0x)) Takuy@;zbe^l,)x)^Hp1eJC/8n @νYޔs"jىe+69כ6V''8'}mܘveUpiX] w *P3z#M4zO¥hc7,r-%ᾓ$;’IT|28o8lʬxi$iӚpً=RAyRrIȀIYE<WYq8EۚA헸;0!HTwX.""t{ {?& X~nQl,ݐ3Go/qgYZ X J fNX3I]' + vO SOW^aL4k;+TXF_PrYlUzw/T5aZi$dC3]U:5SnKKGN 2*WPZ#3VS!.]}w\Ͷyj3bGuwtQ9<{35G w )_{|b 42Jf ZIHuȒoWx gd۵DEpɍΚ53 ̫6l101Fw-܏HCF ַ1/ˍa;hS|0ic* 7AN ˩tM^q$  kآD+D9/a' % w9bTt=nT'`ps~e6,BJbLhbZo7]I]"R/H'gYZ=I]# THOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0"] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR V7ȕ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;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 gYZ3I]_ 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 AsgYZR ԁӈ{0Bdy) cIAzy9|QW m;2LJI^mi)%34d&8?i:_@0!%M@g@dh8Dѡ~ (Mʱ o**Ԧ՜"l{$T?_F֡wKfE^hz|4|5AxYXc5҅: PJ:P4+u)Rwe]-Pc_ W]Slb7?:Kt!-{k-P#,0L7& ݹ871OD#nd` G>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"2zBҔ 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 ''V I# LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/markup7zXZִF! AU]:F.-StX]8$)X|ХBFxlSӸX9 jS8a,4 i~S^d.l$[r[OZ$ R[`5j0 6e94s͉q3o32NPyBD0e^-Ds¶bGXcSԦhQЂ>#hOU˔jH&jQiÅlpЃ=}LE2eiyMƭRZM/- h1I|X 1O#~-bl#zh]&(r[ ctg)/O!4ŸPN9yNkn#DgL CY-Å^T\3Q$zM1O?B[Wˋ(17I>_Jc1Ϛ_])$ӣ f 0pfchg8ٲHJ޲^#Nsy_Rk aƓ%5@s_0R۬uԿIZ'sH^3m"'=?gɎ{Je6IS!+\N1뵬9 Ц)ڶ~LR [;LgU8M6IJPg$kDLfeY⏬٘3ed2(8y{ЏuUҊ-j0䩜]φJvRolSb[%_&WjVC}`G0(k0utq3 i-Z4(Oe#V=Pv\!%{ ź̞b&ep`\[.{Aa*h|agQh7F!}KoRCSED77fv|d?zyk$ RMcFz6_ 6zuR==,nzP];7nGY{ >bt ZsH 8XV'l(2 g/&C{q4Js0*6{u[ Aپ@c ;%3kxos,N+͔ bsy)٪0 e4Uߏ4fm>uie tkkC{{pk#I \Ej37-ˆҐÊ`481Ypgm0 uҗF;I"jOpCy doXe;H  Z32yi.S18礀fȅm,L$Ln%JWŬڧ]LkܦA/fuCH۬wXE/ BA\U'?j$r9n;!V;c$muWxd?DrݍE.*RŽ-b)( \.oGϸq13EfvQr %a]_|n nB.\~'27s~< R,Øo[GC;0|5z?wKg@ı l͝ƼdC<4K .n!5f{))!G!߼E1C!J p8DJ8 G]#eAdS +L wnwEXZvыgsR5EF-1_,CƴkSqƈ0 ܻ7lRMUO80NշXB91T[^Q=$uT:Xe\cq44n/%Ru)]\D!G}}l;.őH9Ͽ.OyR#wIFm7~r6XLa ԱsU9gl/R|ߠ,u3iمlKU9ޅZ$E*GYF< Qα2\8j g.qF *[~ωk4R &=S8n^ZZwIy/`(-XlI::`cy2n<`CDs6m/iQ FB>"U$j@ QTus%^bB#!R<ɫ ”+~. xS@y[I97[xjFAՊӷ[vy-ŢXSgFp[. qD:YxOSQK5! n,wA|ȵ:.9~jɓME.$J9x]V7|~Df fB ւA_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  ULI[# tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup7zXZִF! <]:F.o,hLǎ+{ʺS܍![]8NI|ѯ#n" vY"'vFw@WU듈?"-$mH nop)WZm^U[֮i@gwhZv[6x%*<,_ JhשDgrj/(DM5Evqe,|jDA൰u4"DE% Si 3^8 I' DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages7zXZִF! ]·Iq n[:|&[ztP`ȽP. A.cuiJh  L?5q 4x^:d Q#",j+YUtbW wx13\q 7aBJ_|5u AW@\'055\ME%ue%"^4 LouLt aX'd>oDTǸ[@s@iBdMVk!r؇6H0L hnU&Im#(4ϡ#kC<#꽭Rl΃&4}Rd LnmYKaڪYWmA|V~1ݓBTЖRwƋbᗧ#6?ۋ3JS&~dIQ h{oυnMM\`E#fӳ%OpTɹ'[)ozLrŋ#Ը/)7~s o9-n@jXk2A4+U}d9xx?yW [zvUy~W!L>?7Hӓ|IJ|M5 $pN_H,Dk]7& ީ =q|2w'Y)"+ir!H ۾cV@ پ(]uQ4`wP1VuL0])ާeG"P[ΎD{ \z{ ˇP2U 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%lRCJ,{U t-R _3\OF;V3˳..ETA2roVS:3{:Q/#uxOڜP_oI( .> Q O;⬦6P S_۲QZM0*NJs#"u?e`g>$ۣ"a9a=e~~}sN4roԝ^~X1?h!񬬶-&n¸QGMUx\u,'L ۢ`EG,$£P}gXgcKiƊј%Zؔ( Uא}IAC{DtBks ^ٙOU7PGM9+/uC=~mQ홚>q* rA( BfK;ig*{>n-"@S[ &+_n6"K0^:GV8\4)Xjd(0:#ߏ>)WSD]XWJkzY}G!*UA^)RnM4RM. eӨ\oA1_'Z/ںZz ۸t-)k6fj%KU3W̜ 匜CT@W#iFK"_-"Wt Z!Wb"B- r8ɔlf9bX1_KXZVV43-ڕ@sGnI}oP9ݐm0h3R̔}2kzY1NMwa{ܗأvLy*C[.w>bY%8oBb*Z O}pz`^PELrAAG;ay^ցi:Ȁ-L_Wr8M5cX6 tE>H;a̼+Q">e YB#Pbl=%ܞ7Y~i`AC$I7˾;Uݶ{[삝 ?B]YdClxAng+ˎʻKHT/ jgб gm1@@YQ==NWQ.UMUl S㗂%U5TŶ=irәyyRj*_D_Yi2,_pUۡg~ K4<%lN#pVyz&G]ٓTBY'b,m檿x9o cm:" |osp0$-.MY@!e4is62o `XJӏEoGpаیpv/>ŠlF wK^済A*n0JHXyW %vF[`;ubtt>|\4*RÍᰮZt;Cمl3H3ufoE-ٕb VCiRӁjT{\2C%S%C75t5ѾB &M}Xc<^?Q\G'5ś2!r׫4  &"-Gzb; fqp?Q=1Tpbu{ʑBW-BWfm񛼞V;^~-TAZ/9ѡ*muy$H_V)P|ьn0 {4GqEB4Noc)hMgw֯.ېh&j$l.9d[_qh!4>A/aZcGD7hf'"a?BPJI3*PZR!9rLk+dF4A#"Z+N9mÞh#w)s2PB^8zKAX􅽲H.pVH[CՅVnM~J|uk+>%}l¦* ~xґ|>aI1dUNa"@KV㢍$#^mϫMV H2zոW'N\+mC\CjQ9][y3kt"g mEQݐn/[je҄6rtۗb0,GRu+ߦ#ĨVUPbb&ɍ|)d6GGs+P$Ì}J{x]M=?(VU`w_K nMޏ~ |=ukn} ְL7p+`qªmY7-]By'W0 \0PiA zbAOY~jaHjII$悽պOeX0K3 ;xN@l Ib#'"TpJ68ĽZ$qN @AV0]OyYiTaM %]q>9mRݞ(Z +ܞ @]ePM<0 3a *ۓ X͕%tz:@gI"@^rU3[w8r3_8{ߝ~1Ȥхya]nN ٟu5}mͮf)||Ҭq0QQT4t8 םu{n^X]\0@aF$-!`x1 zGv1,Ao|r80/Qt`.^5DLlT@ꍶ&7r#Lk,S($]pޚ ~Gfwl#bꩯYUh;7 ,i@(# ңY!8R#&_^v>%_L.A&Mx5Z6.wrkJ_iȠn#GMQD".o@k5:Tw;[ 7jaeR\πۃ~^ݐ@w:c/Zj$%-ze#聵Ol h)2>4QИ`]0SbS " $|ZJs:BQa"%v~S[ FXR ,pAN 蠧^5Qcb1M NJ,ibbR&0xTg/ 2ޢX#y uW?E%ԭ&Ԋb$$Y Gq̾&P7Awdq?\j4.R)߫w(iuSŘz2~`刖zc`"rǀEi2ܡ)i?= Sb!Elri͕]%،=h,2]B! 9Ne,o|s,x3#6>F}#wT$ rɯiXwZe!.Dž1{Z.F-;|-b 9&   Q+xK9:`OUUV+ftdȌ@E寶z\sRx^'o4_8b#;6=COJ8uŸ#%G~7֑~\B2Ï^vB-+[bvb:I^eߙVHT fFڍ)Er \hXfm9d tOxXu~dDHա3?5g Va)H5Q]7NgEtb2D!aʗօ(Z v^`<O%"2a̬1 ni$7b%4gYZص!3zYZ$t#! a5^5t GX7f0:?ـRgvTdv,T}3L,Qg?{燱 >DQ {oؙhv$ދ%YH{ xh"X C 4 pUS1Bskc[|*?"/PV8)@X 6xqoНI:xymIf&:yߊsQj&F+>7{p1?,)J6a4մtb4$܄)44 p FڽV9c2ry4W"T506;a {hom/DysVGNR3 ^Mp;z+P"Ό)rvN0Q˷mf45!V %CM~ ['TA" _ar082Xޚl c.z~w-T@#Ѝ"zvyO-{&+/ z(r@#mtڠP/U"ϩc~"зÐd7dwÀi`kдfw2P3mL{R8/+A6dװ4g(kcR7G,I;APhBs dU?@Un K؜x~wNb.YS2e@5 |KAbcu@ 9> Qۗӌ4"uyid¦+\ք[ ILN=/64Aa4$!@͠-o@M@f_2STD1z iEU\| Mwʡ7>d,(<(9|H鐛ػDH̿vw6ξ MCp_=%Wkzw,%Oz0ߢ IxVJ,nFB49~(rJ9J/n_7v<[pHq^H.|o-5ύrv':s8aalPW qpUms<V*${}/\E"%tsԍ BOv!g^i ;줝Vu);)G* t$حnhoϕux~pblxߜ.z]kXVB;r:4Lk G~75{. K}Z*qg /[p z&E}r˄}'EŲy$^2`NH#doWL`y:W/ UOvuaSj~/ ގ{J}F$"{Gν\׶h#cJ890^2RM^''>AӤ7I)նLxvPU'5 m )(#L#_*mTįtP);ЃS<= =.vsw[S\S޳pI)PLRPߨF¡;(^TV%aaٳCe$?@.4WmHԭ?/-)ZqdV.K8;% i/&A=\kS$]3Wo3\`0o`Q/~X'9 ^f8SP̵5l0q2QE^DUAi8 Uh[Frt۸@vZr&h`Ө  7zE-D>UКn渊0&kgvK4AT;UYaSs~ᐬ -&P^&5aO1ڇg@1Al$<";O W_xO4p,Y=g%/uVLwj#v{|!qXÑqiƳ~Ku}-V 'ۤb'`0ߞ5h5J9I3o(;dlT-RXNFm^p`v3[@$VKژq }'r@8_9<R9}c^JB6W=߭y9hxukeq<S'.A+Ndo)޲;:{-Nsj;z@u5VUptftlU6hz~]3<vnjFIֶ<50d &F?n*UT#eApyS+p  eiJWlڧh} 94<G6a0V!5Sfm^oϕ. A:wN} Mbէ{ZAb WkUndxFu0;^; DI@w_&Z򢒠pȋ=% `/)s_zY ձn܇~Q`aU[I&">aXGՙO{>Trsa降5DZqQPYOjآVKrIMnyLxrFs;THӈssfpQ7O6K 9hcfL?4p k"^xl=S󗹃߾ M b{gv4rA̩ܺdf8+&ܔ9wаuQ p;u鰡 \T6"?u O7_l=u> L`g9o!}Fwo**6,za|E,-C *So^F') C!*UC ;^ ~9 3lsa`d[Dz@QFyVWQԈwwd) F|aӭf[$ជߢg7kݢuL"+y8}sKw 3~!U{0m8#,y x>ajW$M&x#Dw,EQH(\Z%?!W ixZ+Z:u^ηi&݌5 C׾peALɗ @ܠ9*7[tUVw6Pc. ЮT .|.ߢuHy hf PzN5=0jԩM>*jy LNi\G kۘ[n 38mBr*XNj3ᖃ<՗m%_qxzu}aJ%`Ԝҹ aO^\ۃXQZd%$Pm277aU{|+E,?|)yr3`CgYZ51 #\9 4`xt Ӓ5%^EtkgIN20KVG > jMYb/HSopdJJ)ra%/r !vR)3\O<*;Km5;Kc>7j Og%P-UoF0%1!8FKd x0y Mrq,!CYSxE^RC42wڔp/HS 26v(]>5 ✏~I"2&Au( GҸV VKE)m;TJZ^oed4՞E VHh*.v$76RwsuŘ2ܧ╳(_j#KU<\?NDܡ^"nWf{ ,gIFh8XӀQj7T%T2ּiM[qbܚxeoEǾ*}+iWZ־T;f mQ]m `=J3$!1Ro,&k)U%S,T:9/eSʎsÁG ƙGN-m*kywTIUuLT<5l~Rdfp/i=6pZ-|"jcy]ň%O!e*\w.;nEJ5+;#楢N.,ΌWF4.>UL_1q,$5>NM9zở*Txfn%R!Zz6']&gpnU;-l%g{gګп$ || \yN}so7%F-g3ՉYt4!Dڏ A]y*3ܓ!ojI]ð3 Ŵ?BG#;V+@wzi@Q7Y4'd8S f='Ǥ[%hS r̎%=)&pƥMbW5k H1Pdc7D8c!=GrywyDTj L{}$rg#1KzCG@gR#ʼn*;!-czb ~cBoՐcyWF|JNw29` f:<2PBy6L<)oe 2@`N-#,yL?SS{6&w@j׎f"A0^/ڢzy;x by3&s(R=tܼnN٭tmWI/2g겉4u!gLm川g>_'@&N':0 ^Y2I/hFoydB5K5B B؎#%G&Uoyblj j#d`pw.Q﯃U2l>ZK2-~+3n!B=<p Q& 4K3u] Z6֩y=x,yx87&Wh 7C6I=Ci7Hmg=TrW5 5S;#!5yf<7vLc;\ @)ht2"œ6u:,X0a2exv'&\/ekOwvD<] ^cg\"Wcn*Bbc4-|ŁwjQY s!7JfhYF]/Lh]V? ٻۂ&{kA#ADiUIs{X4X B{NV-i7v #! sM&xț#}N'Є6Nri"JкAVȶ6&tm5p`e#]$Д!uy$bܮzًŴ95&>铵wʝ @Wze%BՍ1ar2,CO,S݀K6oEdE+.Jٚ|-keos9JsTaT P]SU IVRl/qbDq~F#[i{)ԙ[+6P):0&{X+qț3}"PRYeL0+.֥`w`x}hg_\JY `Sqzm2!Q`i+Fn g`ʵT":jhTo ?P*N~`zEQMF(?VkXU@[璧 $$w 35a.[oC^a!kAӇ(PrsG8˱@~R΄ a,p*_k珂wx, M߷YZ/`+}}Ë!E<)>U%1GryV؎ p߮ `*@E`ns9> '/&jA|T,)cm ʑ8T!  )QKa~_mDio&0fxzWe5A)%l9 .};/J,< )]D]^J=7xbF 3@I{vEO>);z҆{8g?kdn-T!aU24ʕ=0W+rqʾlmnL۸ $*.,>۔u>YUd?Gf j% ;:t t< 0CAѧKb AZ"`k ^ȩs†\ "[Ix{Ճ}`S?d\Xc4@ࢧrW03NH6n{AruuH6Ǘu@ X(6/ Cxȳ)s*h01T ~QLxnXY S󃴾5ܬaH<}1DA*77 $PInMX6;d'joUFP7[?`!TP09=p;jBh  g&9|Z3ihmUY=[Q Lw0ɹ64N>.Ë7w;ï]V k q_ڑ(J?+c:NZG[Q֙jJzZ$u7ۏ"{-[ r.aMo;vQȫt}ӫU&H6ionV0B"%,âDg mToIB|Z?2YIh%2ckzqfdpt/CGI<-}oYڵxӂ v|:v;x8Wd~ п)[BtX|:PfLHe\ՙ(;P <ԿRÁ5 Rkv'n瀑N<@4f }NAZk vy\IVRN$hT@ܡ̙}jyERR>xaYu\*YvtcFf\R6a?l lcYꕏWȆ&uˈXK2+TGD'Y}]Vn}Fd5Uհ4QD(~_MCnžq!f+>Q%eBkyR_78cl>T~ :"׆p`> :phO|ƾEimnhNK,+&~upo/WuQhuwW)ҋ/Hh$gZ=\ѥ5r* Eq v;&WȈjrrs['\ka=ܲ$I>6ΧVӓ88rU5Syv~L)xG:vj>=iBkanj\r;^қ7ȠpHl`Ian6GnC G`V}/C'ܦcsm`팸jY~ <Ԙw&_%$cZӇ !ُ}ԖQo8Vs.UMZn<3ha9ֹmBwz1Ӑez &^_gU*XKhlS [NӏElķ;scf )d'vqrRVŭ~L1Lkūrf?'uwE5߫ MvT|r+ GʚM}%ILPAŃ vYU$'n$Ӄ$6zրvAڬ!~C&&oۂbu!UZ"M2v{'Jiɤ_C*ob3bgqf^@şKk)MJ-u,܏&M SjKLVhs-} Q"y)@9J4N1ڼ#Dbu߫ܖ[=E89A ju8q2 4*$["I~,{ȇƛ~8*mύyG݆Id},ϼ 0fYWEsHb5Yjpcɿ)nta"#  M![v)Ŷkfm݉G_{M>]%Hr4]!}܆ b{Uy^+PU]N콱‹v8?o.(vJsϓaR,4h+ aAb]Z//,_'T# tZ^DϞf`n2M Rwb± aea|5ЃE[U%E d=^A@!}J挪^YA.zGuD;p>W^ r7ˍ}Aasn{3isØ!>h= 7d|G592z0K|A̫=oC%z+Kϳҁ4`F8#(b} Θ|tMm<\T e3 =^6e%Ԕ^ZZ,W]'ꅞaebgX X1f 5 lÿ냪 QLbhV! ej 2-PƬ<57yvqIa)FPdނ:)$9J#TKO$< -n7~=O\F S4iZI~ōNa_HweFDz#Cn}G] hGAk345;h>Q:)KNH Ǖ 2zH8 |c2=}Q[~ Ojk%^Xm/E4KV[82C‡guwSPb59Te۪IR]Lrk!,[jh%c.)U"pa{ ي47数&3nӐ0ք_O9oizhc&Z.+^n>~M8cBPe]^'|u[y0{sBzIkg0Sl\ /J"|f~D-ͱ2bH͢YK1-ĚF94T2<Im+@; 1PCL1~Klu0ͨ02.ݔ𨛀`mA tuqqY\a==K涨ƄZ[w䖦5b1K(RI=0@9OH;](qԳڛY~wyQjlYۖⴡ!ہj{e`'Ҁ& *̷4:6Lj"Y㐶 8,Ʌԋ W>e%y5)\{zVC*#礹'U>:.L蜞O0`̵R<P*ͬ[n[h2n.VjڻMG`Zk#ǫGq*ZTA wj"v_e囱uKO"GUeUܕM̀v*{s*豑U+E@'DMfB5i1zh|tT8Q{5e;\ G3:¦0(Qq>Gla-.'|'6*q _ Oo; d?S^{f 팵'N؜ 3uֵZ;,床ʋ&B?.I^<1 tm DoOH@K/hvwC9"!$Dp 0$̄))XV\ l؃rr ׸$sW3zS!:AӑgYZ ' I[' $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! V5)]·Iq n[:|&[z9J}RM{I!!m<)Oa]ݹԟyeؒ F}m-,ԫ^֍KGu{J*b-weלUt%`mC&mO4a*V JA:^ʪ|uQer`;t~'"Fr|ZJQyy{Ma(^)L^4ӥn/\i;Cv% & {]F펧({m^9[YP`1°aηsuW;Sq6BX#w7l9Vj3|A ߪ8p/kIm>h,k\j]D< _+{MWV7فU3@˶@d{(qGU9GP<kzM$JXHVNj|*W-lU/*?WͬE~rdFtz _h^/ <]. ^$~.5Yq5SO͈,4k [7O\\\&YVb~"=Cq8t'-fN= T#}lޙ;"oRK* xZMcRR2dCnH^XeNI?rvb(7esb{1 RoPWDalH7 iYA\ +i q*g?tɾ |ת᠔T4R{ge/b]7qzg3!ÔL`rZg;Q x$9bw/Sk~xr`kȺ<ϜxG%)JU47)WWl 4ș[L=z;2(b~[xI,@ɤKF^j`G&J⤋cEE59E^!(fb-~;^䗗% t-|TgHf r=!#I,g\ιzy# JC\9HƱqsQ&v]O\s1 /?dc9/{>,s]DJ4C5\y~Y`g'trM-bFZ^Wj^,HT SW~1)|zL/稕٬Ui~ 1 zCtk"™"0ZJ-l-!ůmQ7PgR`%Ѱ*KB>F36߅4m) ]ZVMEs)NB?ؗ⬙jA/n+$P VCgJJ. P+|Ç(,#0e=gޕc]\+n'&n F߮~'`>7X}">^\ +KqLBfFu]l,ցK6HFW@91'wm#,dH+ZjkCK΢"[dS.ʻ G'w=!% c ڕ@gké~aaBIl&ɷr28ޒ %>X8 v&9a6ט~gv))4ئ1B=$b23-}]*.,xA((0 ^Ys;֬ҢwhlW$V<|+fEra'}+%*mpռtٗrmħIv LҢTQl+ٺ.s%Ha}77{@[RۏoE,&jt!]5Q*V%ڂpy*#|:MȮ6ͭ~BZkM2\/15&~L9JSSjK.C46FO({e oqt ַ5Uj]_ ?g9tEbW32r@nHrihGrq%Zv6ڙɶZG.Q-Piצ(^_aK|֔ -%IȶF`寵վ}> qB.)D~'K }zC4OMCcHfxL1;`˜/hgJZ6^}>;FD|ݤl6, /^#b@abIJq -쎡Է?q.#IchR7xP JV͡o2 3#dS@Js4pḱs/ *C[5ɿ w9tp}l7Ԧi@;HzwfAU@%ui@ןBHp 7@_F7A7?&O:08Q+gu:eXvx)ZXcߔcvcPx4C:o&]jnnAK5FD-}ە=oFY_ nټtB6'S\ y ErOSba?AoS$JLZuj]Y7.m&; WhaO,=548)QA;`&ܺ"P,L''07ۘݐ< }Y;r,5XJy%zx`@ᑇk=PEU愒HWq.-ߌP:^~EVcsyA CGGGWmf'(*f(\-E%,g꾆h\Ã5rJP2/%)n"2[ -Z8-%!эpԼGݏ+@*0!h8!YɎPMs\Gtk<=Dh OS|7El)VBUzcq"@ A) L)3/Jb]d'L0Qp-nt޴HhOO& 8҉Ԕ1Gv}Tqm4Lϙ˳94ōs"avo!')~j5D{C[5Vy{#"|Մ3{ e,+t;]Ub|g\gAB1(RõB,G0qI[SDrsa5XK?)K84DIVUd@D X$݂-ĀD<)Q] NQH .7og\QleڱatDSo[zh/3Eb aɕV$ j %,ʜ9&ζfcWD& \^۔ P2hu%jf/\d),eUV߶F9Wg 5hR/|S~Ohjf6]+S\T:C}߂{*s\Ym-u\魓QU+0e]FN+,vshQUFWqiňƠ 2ށ$7w=daS ̓8hOؓybbqz3_e} FLmQ-UC]s/LB?w9~p8eObqY-R0V)Sc&R'U'GLvJG:NAHs[/F̆Y.([k?1xMA•bȩaBdԎ:Z48U{c)MHWȅ"(T5>6-٠)bH`,z٢ ?7n9mz7cvf9-hkʚVD ;r ^RY_pUߦa02aA#]m)DGN"@b ߐ1^B8?_^($ `%@9zX 7)k[eEϾn? ([$Д3Pq`5A[@xyߑ)LStIc\=mX=HrhB״*k АrpPJjMg 9{5߶ bSf+JoOas7il#~KHD!,Ko-6F9WoÌ;W1zp_'ZfyǽZˤOn fZhhc6lhAYzѡW*''h#0oV9>7 _x?^m_IkI}Aob-,vQVusAó>@GPn^FhjUQI.KMҖ&~'9[;R F2^T\\6is,/X2x|}가2a:LF66f!z3H tCC-. }hY=AQq7(C*&3ZBa<ӽ?=wae{kX#! pX5' pTۣibTq_M# [QM5ړ;j@z*cm .3KUۚwZPEos 86GfZmت!վ4nI@lb3I-Gq&? z,ߗ?T;vGQ bx^/2K[{h{ ^m +u;7lS+$fHRZԿIIoC-pӭ?WظER1YZ=6,h irЭ\PF-2AC5m4VK.?U.Q5ܮ5_L|"hJ0i D$/J=Nϐ3b4eӆnt[BZôH $} VwgG$A]4+JmQvR c,LFg޴m8Z:ׅZ,f؏Zja,˩iJ(Kui@:U@ѱl}6]Z,3E'D)FnH׀瓋 %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  >  Iy# THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 64Y:赭W)flnAvόB2*wL*y0a=Љ紖_}xݣc.)Wڑ+u+3Պq `5svL7\ufk>oЇ=#k؄Е%HCAz@TR8Eb8S GV]u/OmoFC}BE?rWI7N:%fܷ/B1)qTo`n!:Nh?$..9X+J@F5j^.>勺L;kff5km+ͱ! 4FNK &{I2@ I_=-o_Kmx"Qk|pwۻIz!eiL{-`İg peeNH/+. /]uv 7aS2(ꂺHACj3ʾ,V@@p7䭕A.ʼ `nγ-;~ki<Qu40*lTi+mS $޼y L;E⡨Q>[_c?+3 h\J_Œr,rSڵ]}= >+%Hcs0O+j7Y_UAv<<lb~ "}%'@aO/ܺ`Ȯ(5$f^w* \'#X]$} *@ϔR[i)eVݿ1Nw;X8e5(q訹2I\0wo]b5ɩ{n.m!I= $BO~ꀡb>5f\̉GUd1؉ϗ Y!cQz W2VEY(#I}T}[S6ƒe)V]hRU8G;>ʔ} v$Gy8)1і0xŏL MF6{getB[>A1EWLqRհz^ST~7Q˯[6:}[nԟnu7>) }\ "ԇ3&oJBE:L0ؗB>T?w7+>=~0Pp}ԕ%,"{a !KPUN`H4r\I܇bu IyU tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument/Predicate_Compile_Tests.tex7zXZִF! >TD2]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+^u/sCa޽z#4}!ͩOOf՝|չe!VS'+0`X[PT # xV=le*|D-"8s8HU eŮ*(/]m_BƐߎ@EIVYE(\bjtj/o遮jëX!B_ `aR?JtB䄍Vg'E7\O(OTVސ6/|Y<+1ȡ*oe_ Cws1GAbb+;iUY(R z(js"͉Հa}Y o-*@?9n P\sܦBҋ|`{SO-/p<ʡ>T.X L*/`Cwt-S)'4tY&~(BFVTdsf\PGX 5m`ߢD5 -x{oC )d'3a>ڪK-{Ϲ)yH)nThV-٫ ?qUY^6+oJ7Nݼt9 &i{2LX;ieF;/ѥiuzkR3,Mbwʤ?)Qϰ*<o9ғ-CH~KHI~E0JzQC҉V j2z!Y(ZYf=½TVl=0ٴ6-qsFQs)Ks_=ET:sۡδ(KrM7_M< JeN`9KG҆U j gE@ff/"kxYɏwSCav;Oq~R_ō9ݲ#^;7ӧ߶ڛ%ss#6Xܓ>Rν/bg]ӟZ}҉>_,Zg 8B7 D2+PVgR_GK4Iƅ) $ !q}AgG'xGhOR;POb8 [18b{|HkٖlTXe7J|4*B8ѿ$B_U!5`f+]C/3KF3uhwglC*o걠yymΓK8 b(:kșkêK4.j@[ju;~GrxL|vAA瘖{PT{ Ɋ6Aiyj tv]=OUGh7mxVr i5EnVg.'"RSC_DlMx=+Ujo<< $/ާzn$n^? @#x7CwK=qߓ0ͱN2G,i$̄ HV{+Rl t1cs4pk  __Rf.xA2 \9 E'@0 ۈc`elҕ}5$W<eJ7DeJVh!Щ2?N-nJFgvf"Ti.IN|`#4`|vZ5 NȆg#?aq;'1iF{ճphGܬ}Qdդbvp*M'?>~k0-)v0GG;-kTڤm[e$4k%.x;v-%:(|\QW-%/:tX'yDe9ٮCiF?kE?a*Jkpgm 3eW9bB*7}s&QH5壗5(a8 ZKx5UdB 6s *?5Yq LS^ub+J` NWo *d\;9f.֍lvGޜ0RG4xKE)qWVx͸`"y^u[*2LB[ ~MN׹Լ[Fw2[$pH7}҃*xߖWP){vTΆU~ oXBWNgޔhʔ~] SUDf)hXg@uG=j56'~_A4-o(c^uўDu RCʛ\b}2u%`Ѡlj~<+mf=agGyS$8+v֣P5+#'jܤQ=OCn6e07tE*@f29!xXOO1ޯGzhަJ9q9't@a G%+JoTޯOQ ! 70a'wö꘩ W!hQY&U iʹ3~+$$GZ,ϿVTG8poں&JX"Nw%Y+F?1c۫9q@sJRCX -Y3hQz~-I^*h-'LVQz_qՋ=(9~֘v+^(YH␋'x<.OzDL0U'7HUy2 %ۉ..iߟ=PW anT@!yrGrr@e5>g?a#mɠ_ueSz}S~6V= mc=m̿]mA e|!Eݓ;RiXF׼ÏLP%Q)C""A~li\ _I֕28uu(`*k4 Qw!0f~=2dtvs X?gr;눰ȽWtЪٰ.4u&tHG,Fs*PκS IWq̋<DxVC,-֕td zcXu(_Hʩu _8ρ3eG({^6>#oY"8 eyIcVM0@>`G;h…6-^5pI[]9&㓳m{)&lO})<%txI5Yd=ܮ]`C I1boLIJ*;gy"&$=v#R7xw$PTR|qscHne~ڡ> j6m.~UJCcɍ(eY͛oSP)*}*6ԅ"f x9AĂ)t.}<5 i7a򎷋dfRd$aB-˦V;>0ÚYׅ"s+~DJr߹!B@4<:4! ĽN!Lzگpd(i"ȥi MK͞ pzI~k4f  M2w,%qͩ[w&cPb[ɠ| zF5Sހi 덌AV7]{+^bybHH6SO9@r.12r|Th-V$Dm8:1!K"R*R"=k|p 3^xVH {|aXދO,uC#ƅ93\9ݺ-koJwd-'{8A,U02"-*SK*nYV{sEӠ*Jg3c;띧kK/P{qv#,|xc/ L[Zc^d}s`/V"wUpnS~Z9D|D~3_4NEYc7G %K~c+cAɛ:%lav> pp}+ث$-S  oOSho_hïs* r9"YzOj[E CE`9ղW"9=5qhܼ(Ε=wkfFI]X\5t2|l܎Pv\@? j89L Eb@=fܛ АK)Œ( 6x rBy,/pj,zt  `e~<>)J$Rd#@R4 Dq Y{c(} zLl a[af!lpyĐ"RFR‚Vjy R7 ; 7Vі2 +q:ߢKyp_abz8AsGĭ"L{6"Nb#!-lߥ6ouPlUe&uL+AP4EzQ iVz}"x0k1a|I[q-7Oj}[q*wT*,Պ/bqJ1)̺~2!@W/Y3 Pڕi\TS3ݙ$s6LmOS0*A[5xt/~MB2Wb-Me^*I:ǺY1Q VvA{rGP/'9 zwh%Kħ,y$1>5ؒ? ii3XX9eᬂP'OR7&o,ŵMѫǝgɔ7}@F@/rC3PIBq 9g+}uq5C&qWH\'h2qv>k򖪩lCSFeoݯ|^ <+dȒw n-/cjnȕEGuH0Gjh!qZVlJz2XZR!:3P'҉1ya.w.oLwf_ZwJYBEDNSZ euW 25p^w86'lG3\@ #/6LJ(x zg?J2 ZYt5˥2lLb󛺍Dp̵'jp9ԎD/n6n.fZII lJ1BAɵdxx& iwqP#rN#{Se L+=lL3ɈOڰ d0QD&W)Z\K ^-Xnb73,Qq~e|TTggXsS j ƌ'uk,G옏 pA5?8.CTN5Z׌6wL1pAxQj_ڮI 2ƛE1ZX@AVF#;]gYZ"&v`+DA&(/X PS?'c^kQXBwe]̢cCl-)AwvX07{>ɮ"R|j$7 Ly`dBkJ{P$oΟOg_X\ 'cVI(lѣmN\Gںb? jS^EWkb\<e&Ÿ)d[ϥMVh]T8aKzE\3V3($ ̮;ŵM t͎0VPPPj~BA8E8Zܻ'v8/&b+!TIã޲ZD6_GVǟn2A!)/!ӶR:|}l q?ܸ3QBrC"0wcc@(tTRI}RKd&,PS4K\TvCB+۫hw?,[nT}c"z LQuS*g$HH`x$&\rF2(0j=;Sٖ|8 !cn s[}ĈK<fE1뮈cg_NER ʦhdaC4jȆl*pra h1&k)oQ0SV ChB `?%ۖ r]Vm!#c!LA%n#AY]+D^p݀D_6>Iu]x/ .=پ@% OHN^Is>^n5YvC|Ĭ=iq&ĵiOCɰ 8mˆ$<)O\+cW^,[~ <vӀ@D[Z-RQ34p!xI-~0>$0 azMd 5kXJy r-巅 ]Fo3v̂ ,֥ sa|x2c*B =ɝY^h;/]7䄼|~Rcuְ, B-L驌Q7 ꓕ%깓wQ͖滌uo0"shB;&iUo_yΜ館e5˞_R/V)fvk$D=`?_Ti{c5o~u%TS-?!:MNRuzf &F3&*HC!yZҌ.Yn},"rRAD2x8!ϫbl2y6 :}ދ=U;WEnO%9F0VΡ:F=4Pv`寥Is"ijKs31M#T:Blv&yl2i(߱^8Q ?4멲oF쏍Gt`BFA[S/ \eBHr~-PK·xɍ+֋)#$ᆴR2hGf"2 P/;OӐ+WbBy8NrT#IƖ1~Hl xUJBC [|P,2@nS#|l܄fH+8,u G\L2W/zGBi|q"%Y@~0|Xڍߺ\a#XSE} `\ ޽&*fRq6 )C|tf9uNA{nZV]j\gJ~]NJ,B68"7h -r^d=)X'e@ɄD$+<5Ɍ E؟0D m:ڟ#;VkC:2}|7BaIŘaì?82!דš#+=e(@-M~M!@0x(e6Ŀp֫Și7b:kNWNp [kclI:Γ۩1Z;x]Rωt/9MFnp=o+-c] }=tDLxıOԁP(u:{]peTcU/tώU -#J(|r\GbdjW LEܢ2XqY|dks랒\Tz5${3(7\f01UpV')HrYa^ UM?w_-MGt j,LZeGw,iX:6xΒP!|.JyEP:l8K۳1놘Q P*q[W8~❛ףb]KfWa:׺VtN.{3iQ V{`ͯrs%gj k3a e.^ltҺbW/ް4k5@BEPqbD^7al%I(Ԑa+m C Oae}cܶyq5,g)N"D="~7L#/ Ɉ$0mC"47u8f+ K;R6. !KF+^ -,-*<$E*d\TPLs'/brʥcIgaKei/<736=}p'R Wȑ[ER)TN$@p0-զXWnfNp!iH kjtPIuIh#DvjT .Rڊ 0nIb1(G\3ВMb} <'/^| F$RڷGv 6A Ij*7Nv0n.ITʫLc8v~|42wP{fUzJ5 7ƚC)?y :R~ 6IefrGZDz]t8TxPMy_ÑP1X2*W0 @3_`y$*j#?x3ޓ pX`XbG1/T f>Ȥ { 5=@|//؉.0<\\kr+a)mT;mV?C`:@"mM9' .tz(cQ =#Ω:iF [ۻõ0'b]f%f([DV eL|A1rפκiO0υn6$Aov֬v Dw>xwxZu~asg7^}X}͋ux}hP.(YH PC}MGB'5X= zv80zq ko -oAc{(TPR'Aʒv FewzHFLTiՊ ;v VampM8! L%3Wfe' ;f}̞o&WMf%r t/A)] e{(NS2qaWo]GR25"U .kX=]n u-"&*H #o_v| <"iWX Bن%~G'PDH[vRu1븚Fͣ%b?5l-s".@Ʃ A"*`=EۚT!hۼBLJ| 3宋$N[euhn0{çpv C>g!"-E^>=>2-NXFM+""bp*44IH}P2 F;I 3}z&fS1 gkٷ kR[q`BʁkLv+A'.R"U,E,.XaWDJ_Kdz۱SHc`2ܪG_k%$:sdRKrjƵJUx}qŠ5Ý%(g5闶{n_D:=s s,zaj.jmڐVERMg)~_!+/}cΖ-ᛜ[[u)MVhDM!{J&"|Lk6R FQVSbC.)&O ]3rdpPz A{;&jT_`%k֥(~潁k>@(A!†ttb4c #'sa^} q=V]'GC..q1ԋʺ&Up xV6MQZ$-yS&OV@\rS~Ҫ~ɥ A @r5q"d*jKPy` [r&sH{!K[ IF MsGJ[vgC*f_fy06ʃժ-8Tg}vaH!WDq6,((/>$Dҭ' P<s+h3Vhr\GW60vì,H3r|Ut}:>Gj=)Y$vU^g|$pǾd6FnfeJ)D sZDvsI!"CN ĸNx<J6hۙ ޔ26sΎ:n`6ck.GϼƎdLƎJ%]fi*޼*CmĩkU_QT0t[a̶0ȺƱ!WIceY!y@|>/NSQqSi:7as!U?eɠu0å*(YngAN7+#>NDzm:4ƕη47މO4*KFmUm1)áCzknp1U+N*|O%?j?@؍Yک0OABCix}wsQp)Hb^?N*\!m6C=ʁymZ f$D]2U;jr0*ve{nS+xgj4 Q|4 C] ln1Q])`]D,nd9ߴ%*rt>{$cȗrHǰM9[=pASYgSaL\zczb^Enh ҳ'u0jR[ұmt LŤ1rZU]e(yu-83dPVn$^+/Z(6~艧2ٺ#0[2x(Raۘ~&1hp!- Pws-r}=᭭3x%uE,_x4h]{c.w_oxx28{A4x控ˊ"}l4q2"6`_~bjR*ukPY?qpobEӋ@[Ȧo!* L|d*R6)6tH8P4AR2hka!lhmogs+ݢOƛ:,P"d1L )xfR&(E%WOLy o1S̠|&V Z`Vxٲ҆Lt+f "o24v#s-81dMs.V 8W>zYn N]Ók A#Ҿ ߅4E#i?x&.D'u[F~_CI[B/cy FmtOҫhPAMG4br|'Qɀ7=;!0xBu)̨Ȑwku\*/oi?9u;VR~/cƼV̦.d e S1Y-bfD 6 cBEf+$& e"%w+P1Ϲq(.`2vaڸ >Xn<|05ǨV1?'LfĒl#Z\\\Y6Ho' l!MmD!/-?_[unP>v@(.m?trClEbKJnGа,T-N,Ao3lpVKjy]YID@&tWˬW0j|x}vn99e,ȇװj9+3SD%5z>p}K\qsŒG$c =Qc>5{ p^\.M!:A7mD tc&>\lM)}vt-\TF^Vn`PM9V+7P'U8 C/zsac)rv|m78 t7/TĜ44mM3 éeq:&1V G r7{yX~٢Z%&>3i*C/FnPDXgԑlT$Hq&v͋0< xd,)a(%eWan;JfJQu Vmr1 ~Rc ;.SfU=9'd]L.4]M{~SZH\zfsSN]o澓3!0L7;>$ :m#sE,Z.s#-J{:= ,v"#l2p~:U)p#c[<ax2ov:ʷqn*$חSqNr5L'A^!@ŭD+7HZ7Z$&6Uɨr.Sf+g WG/X<|[6ykt0*nDE#kT]B>:FQ z S%"έiek6ťa>4|sH(wBu^qs8Gl:_X6FRzյ7Fڎj͋Q?Ϙ|B~$S?xWddz0:f,CRGd:{ѲLvtDIP@sLA:?'Att2z ݥ=У0?x;Hi*)p9^9D8(K+2V,$ͧ<_`N "|U}>Mc*ئp>HfA>*ohcrV Gi&/]W}E)|pg1k)sK<h ,[R\8`P|] 4.L 1fBh4vmPm,J_[cQj@㼕u )l[D,sqIo6>mfVMZL s\z^Nrz̀ < Dy[:2 tBȆ(Ņ/QÈtlu&Q-"45QEEstig}OrPžGN(>ۛ3{0k$/tόTŜKLHlV 2 }cZxc | -,ͨGV&0/v+*9LWON ߚsۀ^{"^aПԄ2}} gդg$?rJ7WH7D1[*GFG%HI^-C) s ~W E[hCr[88ń'3 ̂Ҁ+%Wmje,sC̿y˞Ţț!I'&޾(;v [3Vź`~1 lWIMYn.ϣU. 3 $RvJB#ni!Y)hۢwI!YTG1<@B @ Qy0&g&30bߐm$Y!wxk4vD"=$bigWV'gIT Oanm~2gh? sP2YTc圥 hE6I>:Axޑ]|zKҌ'8D)&_8_wGoL{IdknV. a;0Vx/l-6GC1U IT5N]-5XT([k%R/vyH%ii(3#UϤ,.u[s ͝rOo(5c5Ta)ȴ>}{VFϪWSD Mc~]GAF&5VX5OxCH/kz1=§Y)HWfe^?\e6b,VkBu:N'**?k)=l'FA8od2LB+]؇ ϩJ[yq#mI;sE&GOﻦS y`[~#M/&, 8: Sɝ>R7}S)-J~TDAb RsJlܣҜ61Z]8$JU/K pF:=P%3$68a1+r&!M+R+1c*\Tád6'CĆږ>w<6\ wͺCS RykJ(WW# MGJl3S3_ &F@ gp-w*zR40xMDBSIZ%aCQb{<:q@f ,sHfla+'Y_X:˩"D3tʺuĀ#.}~Ĉ?%Qu&sF /d,-o/Z%PX787ݜ9bB'El1sCo;zV^%UV ?+vs*`G^7(խV DN_| cg9RAڇ&U ikMV.ߞK32QoW/hI\@| {w O2y?WO{ Zyª @jur 3/zu9 > {. E0خW8o ?xjE鳟c<6m.2ȍwen=J@?o:xU\G-68CZ@K\]i\)=4((wb|7m]r?:>.Ίs X-w~ *D@~ 0n`dW^JdF; Hyz.A&BSu05XQ4wGfXke_!mЈ˪SK1a,тt5)=lm0RA`VbWpTd7Y55mEs `J7T&VnD7hϡ0j̛ݫw.z|N'-M"Sn D*P˃k0N1[v᭘9A7v~&-}J_ZW ,[|x[@Nﲰ%8Nz/ܭ k4f28Yʢ{tVY khT?*N@wsvVҲ8C`a/FTDlsN%7Yh&1j=PdњZ>X&OE,pԊ`E^Z-(%w~Oў@IMIչl*h`{F#Etj  Ã"up?fK`M3fecq z>0i n՜36̥f2).m?7eCREKܶ &x\UTÈCF_] ke֡/Sl;KΠm i9FN$iv_Q(Θτx]Y;43veWm)i9$JJw׈_{"Ĩ7TG.V$V\`ϸV9 $zQf-wuQ:*\;XiBSRRofΝ.s;̇v77LG0:L}#㚐V,K-7sKtmv΋iDW텮W.s8 ɭ H ^HmEb[HE%BQf@%y;R!% Fn !MeJ׀bBjD6 ӺQ E{#󆱆Nw`qZ)Vh\8%2ţtL{A1_k$d|34+ bVlXuXy')gDN_^cVpH+f)~}EKoe^Pki9SVpՠקSUMܞV-y;XhսS/3poHPK=zi{@IXHL3w1r}E7m:MBqP}c")X6+.UOc?—QL6Oº R>`er!)Cd#cRN݆{#Rmt9čRJ|2#$;)5|evLMg V\)٫ j{0ZR/ Wwrc6P0tkAiFu(j>䉥Ba/ V>p N+~n/b9U_ 9~P1,i49ݙ]ĸ>̏[W ӹ`YmKO]j\35ሼQ<\@m}L(>Ma?)ΉC=:'zQECg R,+`+$yj%L7 *¢x+?i*<'ڻ~8oE:PUB4F⩾2ȵHͼ=PèlJٸ9ir b&S[;ЌT;x9"5D: q('+ϴUY˱7ENw[g}q-1#)`Xz1+"H2uqj`DXXXC2o nu#PøtpAPW0Y{0G.ȅgX`aI@.4!^Aco΄L雌DQ40+' ##fm2Ӿ/Xb 3~0()Wj%0ސ:Dꓙy E@T87dPW r霽h4*&4SaQ0ge PMۍ["ϝ9b颱זn/ .U9m A/ 5P#BgWWlL'㛷+ywcUSwZO}?tsvVs#@pc\|rG9کإinZ/ĺӽړrKGWD9 jK$E1$LwO/L#THzm4ق e^ir |18NVA8Ȗ}cV#ȑ!YQpW nB^@5E*OQ%xydj>u@иAd3,<0O}hs$urgXs1 7 [zK1[NLդca?4iJ76|"J@/Qkr[5Oμh+ (nDl9FV]O2B4K<~0]K}1t4T7(yҞl=irrh|"F\t 1DԗDJ#jЛm9x=~s4X M=Rnѕw-if7yٞgL?/.|)d.^`e&^juȸw#L]s/P0>3Ow1w>/ @[+uHF^↲a1PXG8 @ŕscT8J}L.4T`TF@+Lh˃%`叓8ղJ|44w*fβtFz5i-[4WjV|V`Ұc۪iHGwZ"$1o\#~=9tב+/2vEJ3SQi23s;ieJ=ܗse F 3-G>'i'%"JeDChzR)Yx'Tl ,❚vmnȎW"]-bkak@UUx}L{\T ̯/Iݭ]m!yKttUz3>[a9Fz?{)MI ;"-Ld*r G)ߣu#LKJkm cD : :pT'عhuM+7%U-|xIR/X-x:2&W^ލ.Miz(Gf 3ӂV paTXPIf|L)L$[ŲTڳIYaK99,XiOGGb$p\JPcjjWFat,٠ՕZo 0T2`;u%OcAϤmu&ZЀUpϚ||Kkq2Cs۞hc`_lWqVs A}€t{XspЫdg.ɏVux'd~yF]Vp:!;٭.GnobF+bc:T7slRtXGv+Ďζ@?%5 ۹.(P+@ݫ•W )QQ2!)(TtD ա'07 NKd41kkJPA ~@#̢{ uUYе.T= 7pVk1iƴXUA Lfiv4#h02Ż?h:ycwY"?z'm,|2ndfCϕ Eԛ6:M$1j'[b|Bb!?pu=VoCz %,N.+@\7fh ~ Z?=:ɸ;qdŏϻeBb{.U#+UT76@Sˀ;'Z7H %P_BFS1ȝD4Ϻ$$`3lXo L3:?1̭>VHY>D? CRd2)&]~]cr\Njo^J*$-\,ÆAk(ݟv }")e8T(~GKkIdA+NC̓ױ{  AwoÞ[d[355XK7䗏͊<{.v*`$ dSqm!bv+Bb aQVʡ<P1yh3-]UE_*߱~(mR̭*pvmF&S9GAVHaz_ "3Qhtףa}3ʣBK*|hP!}&&I{8HCkzVJe/:V Uӱg{-8Xl)~(& B&#@1Ch "v4 I>}hToRKD)y@i; k9ܚqy5?䖆汬P, pm0T@joFeN\7ͳ> Xz JR,XjX8bތp[P@0[c2Q@xYѯr2F=BxNL졏>!IJu!HN%=rmFyűD|W(?DJ.Wj A Y*rSSUl^{_B%ݶ]MJ_,{-OED 7))̪\ż}'U%_:WH'asZo}fzPLjۗMA]W:9̋s\j8ֹ_<y%Hk7eN$J*/)XpfB.׸z˴ˠDp֚~sz'61l$w hWk@ .ˢr,?KJ}9?>t5C:ک ' ):0 2S{M Ir2 #0\ĉPՆ0`LO}>bS ,G(+٥`%}UkR 8U}GtfT~;V1oŧ %ĵew-y[o-`ӛW:j-|D>3bu6t+LycnyqiiU}u"UAmŌl1S3L{wiazxڴ&y 8F˼`W̱uk԰QkpbF=9B_b~7 lm:8gRI,e6LM86gՔw@Q􂱫&Eg3#K^lUO2ѹ֌.{opuK9 1]f0Kz/{BøLguqFb>iVkb`'݆oLdNe;zq[4QKU;dM.2(%+R1Q=d10͆ket EEӴ&r4W3z :q9-rF(B? d ˲9ٱ'}_;Ĝ% :_'B:B &owg~-s*u 4cE$ dރD^I WQpŘ5]Y;$@VsSfb2MvSA~_Dv SqbVp>Õ@2ᇅw6\orԤ V,80z }S!v@큱.W.>OJ$8G]@!4̏ ?u:ԯ>=U 3 BA.Zc;+s Y><6!3݌F7Q 풺ƚmI8#6#=nt _Iry㣁 jTm n HBnIM~x|K&HT(]:;sz M\(ꓶxX_53qg? $l3! vN*v[R؆GVT!7eӝ-Ty:Ps%P;-/VL-v:ױ(e v6+v|Zj0ȭG'b[:=tڈ(K7 ]JrwT@;Й,y4.Dܐ=U ԗ˸ߏrǀ+aVq?TQ8/'H^݁8g6s>qAGfppi"}MVY]0XoF2 ȑ,;"W eR\ӓ8&/XI0hs/jإ`/LJYr`f1!5~}J5 O% ǖ$To6&JZJų.ƛp*!f ]}fcm, xA*e&Ez;۴+39Bh/B1 P9/!KىCMGf!<G"V ^H"??F3}fW5BO 麀M`4W͔s}YS 5g0Mk0ܩݧChxPb`5h8&ֻьQAݻ5 e4<=lqOC݌e#pPQܦ,u@Gl/ ];6v?y',FRyݙY5J"*)K_]9&';HE{5p/8=ym7r.x21NEQՏlKJ0Wꎯ5*b/ _3|,sWK_.;r]QH$ r plȡ~W`{ MhZVm"\ TDIݘ`7qװ到BACqo& nUfKYn؝09WʘhLA,IR= OtTrssFFo\**6j"'K&Kia {>_8?4[,|ޝ:Nn*0ϠFb++bS~JQJ =W+X͌ҺI񉛑".`q00I =y/zuTQԯ>gŬoI,`k:]3~ylY ZƁ sBo` Olsa#/'H/=6*^߃!gemr y8Rn0V>x"5*)N2> {K6axQ+^s,kꭻcs{nf'.ZS3Z)j0҂2esxmxi 7! 0K -t]#1pɳ2ad)(:fnA!9:GӡޅEa1ou@ NS@Dc"n[ƴcAc# 'I `ņPiݭ!Aa gkrނ 9 D_+Z6/9ܿ}O+)o֟.o@Mm[gK`sdA:j:54X>xr#(+A}q)s4y$Ԡ`C*}8=: v7 @fU$x֑>J."2*N?tehnp޺M yRLsIdcU7ÁՉ6&6U?Nf$Gtؘ.rcTl-oY}lOf |h޴o4~Tgvc &bJ]̯S;=@4]@2A񠥷FN,Z>%bUGV8$xL\\df'{+8)?S \C,x3n&2C*fic;.C&kbgV#\ޢ$X[@ NLE-s>M{7eFy_~X|5R1PJ\_R+%Ñt,R2عUHC Hyӛf L,"@n !F6#u߰P%i#߆{lз:V@8чYln)ڱ\M5'.*_`nƈORTI7N (Vt^,ɸs%u𹖝!z.AH=SLmQ܎_-:Qp2%X!sf.\ H*˅rz`6U+L34<(Qwbz2U|Po_2f v.0e;S6II(~1 qڮ ZUSxG޿CM㚋?Z%pfG/U#6\l1rU̩zޮI{x96gH#5J*\9BN v{XO in#aFK)P%2&MTo~eyc,d4ѬM)6B1SH?X%n9"`ݑ6Tú^p q${/lyr} k#F4l_TCVY%\_:SeD؈ٴ@#][5' ]]ܨӘFV Hy4`](O`μF+wj:o%^{. &۔fDNf*:Kj_ϟBq/NQGfB0'g ۵`É|2 =֫is٢q(@4cJczM8Ķ ÛMա*fyF"!%3A0p2dH`Ċ&,gy>]R#S 'wiv*Y7gGGq%ݐ>$fTó=N},BokLevPBgS#H"i!wP/6RlU3BfbI 8F,L|j1MvȢD`9["}%#m<(d`òC*au`Nyfw{1໇JJCYbR&j^ - 2\R]H1ڜxoV`(FJ#,"Zku)|CHȕ-[ӳZα[B>`|&c&9 VC IrU>I.QP⍂~f^Yܧ*1Uؖ O'jRzmu9ga"Yi3.0!ȰL]9gʯ!5U0$U۫'h|-iM;D@1s]e܍pi'i@Wi(lhjBSl )h f)-!֬9Z0D"dLBD{U An4r:&?XcqqO7 vL&EzFΗ3 #HăHH=<g6&A|p05B0әu/Y^*Dԛh{/mĄq7CUy~аju-{>-bkEJh NwjYwY'EM)#?, 1' A**[РLnZ)u{vm}Z/zTqXt'U&Z,?WIeV!vȃ]Ϥȸu0mٵ%<G/e-M[.?JX1cpợ,ěOg7vyS ,vǭ+ F.d`|>UM8SR׸ F靱8u&rH`-w_2QW:l@˕cБDy Zj|-MvC\ VJAI(LR荪&gE!>rK+"[^T:j?E}5H|h/CPeG>85&y= QP2?/M#jXZǂo&NC| p*Xܪ 7!_4ڛZ5#2Kv_X؍J^ٚcWN4JzUZ;x~Tcq7LC|H/ndO/3\LD[q[5rjS?rql_;C3|l\ 3~Y 7h/+9h*YDخSoUޡ8!HǷQ dHݞcn?HB ]8|WTyoVUɂ2k\1S@Mi{_W}p0g4Pe~zsQi)Y9 @h,YہѺi60aG 5m#Ɩ$)gV*s ҋB3с ae?buS]OkN+Q_x^lJ~EWUT&? ?<5sZ6 KKƕQVCpe!u-t,qۤ}>vfP0w Ygg e::LsiBF_ſ >7MWNgA%QGݾOPp6.qW/nDw.k*$/ 2E>i݊=caÀrĔv`wGHOH EsqJqL籽LM$6^\ݒC&=XQ1[rYSWjis=z |-kX.5NFT Lά7 ij7$s2%_˰UoJ1 ~`@)VPjcTM b&‰c\_EFتiqS\֔CVSh0ZLʧ-ީ-Rm ,g De49OK{Vڐs)~o9GJb-A R%`tZһ؏ۜ5}7]ݠs̝ߥ'젩A/}'JL2|'晾A*/,u٘%_r!n#L$R6.}[CeMoMsƆ;~: WH&_UIG]*N=gې+rѤ.z" e} /8I ώhK-_3==[<#A!u2*VoVg.Tsln݇J+6l|n" pbJ$D,9ݝO"эP/I_~ Ӭh2+pB<1JZы$Z|F] ~kwViW&>*zm92-l&wϜ戸vQB)>{`+9NlPz({w4)2pI3k@č4,t8kt,#휭h3u!λ|S, zhQ˜BQGoXG?`k$\JM:WqZҽS$ta凮\)Ff;'+ gyaCW͜W_DRSlq%ŤQl&LC_:oF} 2`T?FKsoCuPcĸCzK K9X'N!e~n($`tb =x@ߚozvOq 3Gh-ZaKTKX@k9f1n(JZ;ts/^Z\Zh9=].7t]s wޓYMרܮ2^@sFafZljC:NAw@s{A`6A<ו|r|?w4H G.uX7 O=2QT}c H -V͞"!xd!C cX/%^ݲqE$]ϛaVf`-Vd[:#җv li^Q{d8U}[ "j1wzJt SRL⸌tFmٌ@#9ld^Tbg-}Altݪĩ!=D ˡXm:{f7VM#Ւ|,L:jY\2ЎN"ysāƚhc9$JGKYc#EO⮲J[{=mHqʺz *.m+BY^0S2p* F")o2$d=wg>g~XiC2dℙsZ,[Y# 37c>XYBYaK)2.,9C}0,W 9 9R^E UWpYlJ 0 BFIg3.G(bkHƍNfL9U3?Y!N(iR7BmOIٰ < G-Uq 5@y.(}BϠ|4ND~5^SZeOne%/b)D!6eM" E6H-'5\r}w5YbִN Gn=)lG>1)>znpT{Y1p uw޿kO"sݳ.)HW_bEÀχkk/Z'C}kya{{(ϴw NruQ@i yڴ0c.z2h=-9*F2ˀ}FxV.GAhNp$bve~crt<IDښ7^9 _M[/ @Nvýzi痩 b8NieЪ0U4+.i SL0#fiA-Y R2nMI~QCp =HU;b/~8+b'Ggm#{yQ=j訢Kn*fyFPFANdkډPD#u^M*{|H&i(\ @-,xAX ތaR]מHj㸕Ě1JV=?SxETY&$,”~m J.0Lq~Y4QL+)ҞeJY1Kg}ŧd;]F Ge+LN!X3x?GQϨƸq~l9F]ʸKqA^18DݒWЕ5%$GZ\1%UgZ$7jp[ )@;H/~{Kt ^~{;[8g&<m{\pFVNbݛ>J"Tc.~䯳dkw͎a4xrSjO7^}t Op|-CRb7=|JP_fAˈ@FzƁGePf_1gq>VJ cBE6p,$栗4 d-S0` HH'O0qL?Z}\=̦fMw8OZ IZ&;!P4jZa| NXc;'/Wε+%}ǷK{%-$#Uӈ7Mą3mWIrz40;I_T R6;;㾑m)M6..gN EU wLjY]aw9_«9 _|ߥd`P ~%>x 6v"ڼQLάZW"WX,>hIN)Qx3•=w:Sz9"ۿ Ci?ÑW(p/>/-vah@iUK()fiDŨ!K{\˧A,X?N| +$ |m4EcU,?LQ +Sm5A' HȊd1cm$3b&?G1U3;&NrY?6_^z$n2ᅐ!Ly@"L!=N C&WQ^3S9PX!#pޛ%+GJs>Pd'rM3Rp8h:Of4P5(%;Q+QppB 8lV<-=*{E %W,]QaɷKKznͶ̄ TW$)g<5m@@"rdp9Gk›nj[.01mx=^< )3knBKh, a1EXEza;eM:-1x!~%z34jR.ygb;<[ݤv#Ah̓08->OۨiB'b|`Ae HWv=H9p]6E`U*(5T4%h5'Ҡ##{5-~qP>5 X23J`f 2̉2Ԕm2?JIN jqWaS+TV㨙 ȩmOQ9:^B;b¿oxg(Qn5x}}t%F`o[.\d5xv'/QYnMBtBlTMRq==tS̄4tOuK|?깴Ybx"9IJ3g[2Ȭ6x=_gtơ M/&E4kaUbt,zf)T0~t=I}녣letۅSIX*TSHFSX+oH-3_~2I?)Jq2Fp&֮op5^5~]7P[$o} dF[hM}^b(4/H`cx t1ADrOf:WWmE%W~T;m/q Ico㴐8}s (XSz'UoI?"WLW =B+M~V h\V J`X>&M/ W$ߴ50d5^\ 07; Qh "JH+ԏ㭌YNV‡ɤr7YtND ½b~c[".S Y?,([nCft_%jY"}߇$sˆ)M*tL|abI,P,m`CEi>iς̌`#MZ1@J0Fϻdj5`uYj#)\iD`=ٽX,c/@`Ti.Z{,w4慚c;P0U.2_c8Ў_ݥs4x}j#m>L)Howt$zNisA=q\/#uD_ǥj#+Zޠ=]%"Q#cH=J/I/WPy<xyB^_BU' s۲ Eϖj &oNxߞ*t LC{UaI=g"|%CdV ;ڃJTu2T>Q0~^S, . j cQ7>\B>w­Ϭְ@Q(Z+ =wyI?Tqu3: ߤ~QOLkĥ0D*9]?`<ںzePUcbHTiLϤ(N8@rZU}6HmN %dGK>l!3ɥ>գl %o \3պ+HtmԂЧobO⬹Ya"cX4IضFњ/_HU( DwZ"_mpgp9b cj] 6юĢy|;xWMnI1R^~>^E}N_ -B49xCUJYbK_Ud9 R]j1ePw٬QZ& ۷%bY ) FaX0B RU'՟_.7)JkhN VZ)h-GCK Ǭ2#zԯì5Ԙs?i4b`  S*HQ'`G+sAwiI4m`ہsA"IGtu) Gr_ct+nͨ9~d QNܭ܂Ԑ |jHut֧!gHu  ̇FZ6o~Bdvۏ+nne}Yy:2?;}~9ae:jV~V #*5eW2091,C)uT1T6¬l;m]QIV߻=S)н+i;y3&T=baMFʀkL{$2YI4,"NlVI! rnt}ƢXMgB@KpqP0r-B\e;RL { "Qp^!&}3ѸK|=5\NBZ}!YIZ[ ER{T1 } S̷?{WA3BꒉOX%%Do/*̱Kz2&oǧŀQ+  a#*FywrESIJOsί*,mC>\ߟ8{*V/#}y?=]q.r)-Vk3L644(ۙ؀p:?> \ ݖ'YœQiuSF ;ɩ_8<[ 6U2榯#fUҪn^Q5@fd*9ZenbS JB+$p?Cr,f )U;GGlV_zh4*[qtDYϢh W&1X<Aହ)b ;S{Qm򰹦VW5"ŭ5"-+m~mb$L5SVOnePV0=R9Lz*"Q#i}: aSFDh-@Duw0ܢ+vy<_إ8'193QjvP8׍%*4$ĝ&{.$?!Wq٦V@7wOmZUy ٟ.%V` 㳀7~1` }bNmr ۝OE^$JxU6adJÝ=Y{%/:x>/)WEь1\\2XlwY$#A]}%Og$z“_@M̿Ν]):(9+/݄o .hِ -M`2KlER"Y:یr纖"mkvN6Ni!c$ gU;)ʵu'PځwDIoN{ߟ)J&s 7_m5_#9rY(kgɀ.E=1sS䷏oۮ$+SQ)N8jJR!7'/h9<X$vYPyvW,kldS*R^;;J&$^'h͝N9tnSdcj):/o[y]LF6%!ʓEL q=6S}rAӁ-Ơ!]ܔӢ(镗RVDv>bsw%Qr7d_vh=b٭1A/Ö+) iӌc * 4,vݫ0--0#J.0#)oy}.O<߭۳/B{ZRܮCi%i ĻƸaGBC?8>*^n֨9nj"e.mIBYf뒞|8Y9?+?cU3%MjlUboŭ=\ϓaO1DZd%@(qe3-^e~ߓ%{Hbݽx$*cHU!A3*g)R=>5M*F̟Ōduplj((Uկ퓰ģ3w %_l?*;~,yG~tjvnտFu#d S 啓v }nx%;4'.6j,QPbS,4 Mer(SE3x=9j_xʮOݫHL3yVpu%Yl+2 8Q!lcGME^x%:zɣv[EK! .z#v[B|>qf֫g2)e7c/,-+Qu|qJpg`q,S/yCmײַ ci_%WC!}dWt3Q&.AIe?-lI|}标 RGc6wzuh3Q1b&3 Y: |֨4TvWFR/9v oiz oB`DMOKeG׸–qxLv*Joo;$Pm,|OUΉVsZ Q9Sv(E{fs)f( s|XOem$0$m"^_%Vl҄cA_1D8~.k5w2x-U IRξ슶q4)HzE~Lh?;(*_1.fB>yc c6IƊk/z(܌IK)ӈ,հ/ w^#Ҟ-o@q8b>zHؒw: y-#~Oͳ?,w,,Y#<"6C=ce-<:?u[@DV/i}fŎ U$a}I\ qDbCv35JHVk&4 P( q'61[v;Q):ڃ~ B5` HFi6A4"$ '^#9;C>7:2~84H`yXNw|GA*{hUxYP߂Ԥ^A4fn+(}r^֌Ik£FxbZQ6ưaW.vᥬ5lsnہ;kK8A GIH'R{ă*CASMbrؕώ[4)/<򞳠] i5nꀹ$4y Ũ•#{HD!z'qhr 54qyG~SO֎SakZ'NgooreMŗ7C9^`|.!{&xn) `vKr^,aOF:s<9s\GZwjѣሹT6U#0 -x'Y善5u´4c . L-L#[<&Tl`i%6l٧Fஉ)UK]us\F81ߡTU2M0}GQBdu9P( &+/g(n!p9Rcв]2UAH)7 uDl }Bl`hMRl5<,HMmo)Ը#Od$=X! QB{ ][<']4B0L̥Sⴗ*X[Q8 lfJ|6k\Լ-uKt0˼5Bv"<_UG:f- ;'*ufjCC; d$SWۮBֹl.2Irj>BftOIq!)+PoAjtyYdg}F${~db,l!FbRu^Bv{nM_y*>P7Mpu2(8LtL;՞ vc/VHry2;i|a(Vi,,+a(ʳg̫}pvEB(yMzij }I8)#XÜKd\ V;Mtݱtه]_@@L TU[y[IaLOFA< R7/INrﻉXlhqGN9Y?HqSߝhq!(ȗrѬxqo=&8N42WU` x=NV1uLoa\h?qDߺ5%WY;_ժӠ[>6.4>/[,,Nĕ@N[>wB&Gn 9WXd@OM8yM/\m>/-*#T4 4F}$Y1>uNI l]}RN7tilYxYI.Z|qm1{4mF87$@PY 8<-&ýyTpGי-XivCh~\fY4o`C@unOSI|G"mRga=;qPh^7DyM^E,ZlA `qh|ѳd/ki4,LמsZ3@w>Pi$!o`VH jEE(Q*:?1hi5|:ICutد1ճf^.s;P)_<*YH N`Ų{wَ?]>SdvNSAncZf.}|^d6 Q¶2VLeRQՊ7} dm>Rk2в.S剀=k Wh2ZcM(-uI*o5A5:Z9.@8žPfz^x+˕,Z {,na)-p"oY!-ۈ֕mv)CDaPH1Z~b^P73FѝC.'yYٹ?:* YhsqXTįtb>^@_@’pasFNI,M`"g(`w &pm@}pڕv -DҚkMHXXe6oy9دm1k"tC=8(7Z+3|0+z0_'Zv"=I|fLqPI,G^cPpn[&_^.tĒE .|&_^t@,~V].z lDȉh%mMf90:<4@+M[C_gڷ0G:P6r^/Tј[IȜ6wm e(}6妣g)+ uf&q fˣ]~E|ãF)5gǵMciٯ'@sqe`a6kLe B[_!0A¶ؖ&_TzOVWiyAQa5 z[kfaQd!"/Ft&W7vah0٢+T{c(:rfvI2lM$uq[3qke-5؆Im3 XBry\*eEMApLȾK*#ea"17o`8P\D`+(n?PFU?{f舳tZ إ Sb}yЅ GVPͰG4WO=〺#5XQA`z b3NG:4ld&0A/>SGh(6Re/f*DB}H9mW,v.7]%#fYu{e@j3ƅa?4/4CwClwqY0Pmxz,颒 /1O?xΣ,]Qh%ɉvkoa-3kCLF3/Qy3VI_}Zjd ,_Awm9\Š{Ylj>ze3ZPm@1`D|}I\CLy 4w8T8ZlfDeGj 0ݕ(H_w.ц&w%!vD%lP'Pnc9 iHr.}{)0>OxRP14K~I=L|d6^ts! '~4$jf,¢#@\r>5,oղ*WO-[6e5OY:x~0}P o|_/,`{0<# }f<2;o!*+/ϠKty((hXi˔=`Orl`}m72;'j!GTj`c UCF}yLYN|>Dس">3 uZ[s?m7B A%Jdj+xYOu?nkHnratܽ`:R^'NIW7a"ԥX9Tpϻei" F̶bGah6RB >rMʮ~<+w>򤅌!c 2xgڜi򺈛[DY]Q}&E(bhR\,@e)Dnӄ^L.Ы|6c Xusd($WgXna+ JNєJMvT䀎{6DⓧP2.\/z 5,>*,co[>EV].}@ĹݝEOCek%!OveYί)#.xP IbinSME/.Ќ Vq0VD>H fkI;X%fu[G N v! H Wݾ\q$e ʘ܂ct1Շ |bO/٩Eqzo|l6%MEA?E 佐&yoHOӟ~Oo C%Mp3ԋwĔJ@F"{|exƝg5UqȵiOh+B|?\_‹t 4N kbWayR^Z %4< AVV{q|=2+:|:GQur 2%˽WA4~ /7W) ES'Ѩ#S,8N@/DqcNsS|11np#_(˅ѕ~*'uMدՐqg %l `҂-f;l.gs*9i"6NJJT-[Oa!N 8oo>073>ZZ@:6c"6TtYS g !Pb}'F;e92l.>gnXl6k@ND sc0?rt'[;D.a*-hK$F}4}m`5O(7W'T ̜&ci(j~OJ҅U(9NJ|XW%b1ϭbaε62)i!۪$ -2>&RFs'+)0x,e-0HH{&IC}7S7](*JVsbT5RkMnMMd A~mcOqЊMg'qn9 HڔA<{iW$ z+#צ_"(_Zkp6 OIq׉I T fY:8}H7^a4a^Bw{ aʅ 8de ou'=xM)'ek1cI²?NPڎUđ^,e/pFݣݒxDءYY ecP,䌍Tg1!}5'k龝f&}Y9ז;̢TudP;ˏF:(vJ^W}z4;|}i~Zvx5]y![ -G8tSe$M̃l7caO Q9e6Ic݇9};^fta:$,2*{&e1{gh}Шp!G <* ]ΓV1K3Pi&`t8p[s3vA8Il>[Eɕa}FV2Qlȧ([ЫNhBqle)+8~F/CPPbha*^0AjO4%igٳm'7#??,! Z//dɿN30(E[`0]Z,jW|sۜgG`ͭ}tr2`*x!IeK}rvld[Kljq59=I}Codet{^*.%fu7;뙍 XN &"fɖЦ>j{'u١^2g8k &6vN{skUժd,$"3#ڃe4p^{f"iJt7kkv05fs@$-3--MHAm `Ek_sMO,Əꋤ#% ?DƬ"MOU>DPKD %8|)L'tb-l|<-"A)}D dQ~.xl2qty%T+ǂ!0C70aWXؿo=2^ic ayTh+] H[.AA\89@^☃]c=!N%Vs(GnC DtaoȵF1gHdȨ 1n5F'\(}9Qn/PUM$bKF)D1ǻ@Iq"[R .PQm Sb0!?b4fL%gHA1f#}vכ0Œ֗?$ʅўt+F ?ń]Ɐ^>qAה4݅u>@@OI"C1yguXSұÙ#ě1emWqWǚNE]BGys.hwM_Y‹{f&hr^;7TC%/tz7Nm' u~!*_Һ~PfS#/'Vz |!f .ER ك[bf?U._6nȖ3d%M#uoS:G W>B,I翲!mk<SƼ.AdT?P$/mU#=}}Ȝqy `ew-栈l:kbBă"a@92*lɲeSPbX-GGv k>:%ͥff% ;5دr\|+ܘ2wz뜌[Ä=L nu{;CqA- -@3]UF _Ƴm/dNQIz EǟTuK ੇ?av= n={8p=b*HF)AcOqWSᴊu ɛUN.e%E 5].{|Q8}EYҙӘq'u'ScGc`FSN.WTy`\s,N1ՠj,Fƈud}H6. ; FRC,[{"J@v.}| /W@!ڻr Vs~q7uV֖i/WP-z˶_4F!WK+9tnӏSgtS wRHUK)Tݷ0  }D|:9Ͽ"km ELܙ(эO2QL~ 7^3ޚT2gl.On:Ȼm9X>v?̀ (F|b !y"IgL\@ [6ǝ gX4vEɟTsMՏD"pV&C䶛/97}otϧ |G~YjO*/?uW=qI@DN@tКy40UYcǭlInu/cC .ո qu~%X6`< ;D4Cl.8@m}n,t=w>,8I^ڹlˠ>/y#fq(T!Zy6d3UX j &_-`N(չ,}O*i9h"j$([g`jX9x".[5*wZǁ @ϨƓzlI c9OLTo}}LnشV"+GhѾ {'wVQWekd+o ;cboڦ*(_N` Sn\ݚٹWn1lf5ȡh>/ Xg%ANkV1=ڽ\k eb0F;pUBw$($$}x^SqK= ;C/wq8=$%Cdnhz)x i6J@>.YMv7>Ϭ7.txmIaQ W?2U}C5KCl+tq}A-cɟGPu[s`WXՀ[Xߊ10yE 3d"& u ;>y=yl(3П3:&Y)j AO){PNQn2 Sd/A=:/LQ$1htӎwOPЯnØ BRdG4KN:c)dpAÎ?ѣ ɫ 8M[ N~/VEZ!1Szy:2Z8wn~GC69F뚛m.XmA|\V0xe^JVIzr..;F!wePS: ?ܰ9xNESH,|D f! LZ?KZ7A:^Tmʘ³+8 BlyYDiתT5A*lDvcSz}et:+`O%Nɑ%c$o6yl[ FUHb&)Xtۉ@ٚ<L衶meX4 3RU&'{8UxML5SQ爯xGtÐ#nhMEy %kg!]3> evY$=A2@d\z@߭,GCpŖ${(ߣZ \fBe*/ͱ3FSCx_J#-&.bbы֫:V eWjx*C!`qhIbPFaL^^95,% m R=>1mN㭊2i!/>nYD^9[~|$;m\εUz"F;_-ҋ(^NOrҿ 6q7IW}s+JlhDHB^hm:tM~Xq|0 "k@YFQ3* wYrԹ9!D%^LObw0QR#KOh)<x9}ca K|@r2d H)q\gv:& IK*H~M:(SEYs@< ;W`(0I>;2(q{'H+\`'rQH'X8t7ⴑWZ!/eҍ44+.* i|ެXpƽv;Agـy@$' 7bv,zd CIdcqY[)H*J0\&_FH ZC,bPJ`~E 7k*(6M S!АcR\lm6;ZlQWÅC!Å&ſn̒|][<]t],RlqٲǾ]ypmjxxt KwWqڳ–fz\ή,H</{&O\9{ӬVw:6\46[$>@ۻ(eلY傩D\a;B J1wy<;0YZ  Iy' tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! nL]·Iq n[:|&[z7G6X/^nf3rv[lD%Bhrip3Ȯ#_{S^BX WV/<kB;xM7cxp@{jd̻Gxq0z05 ֜~:qWYv/Rd ci#L> .FVR7V?(G)& c杆DyzI.`7/\[Nc{ZA{iQ痄w祬oqNV'cpZ0ތ!x cfS1@6\2)ZfIՁjT^|t{אº[ubx!̍H k!ʁ_1,GنM/E <@p۩ ._Lk#*]g⍫b(6Ou|jhSDkRD,:þJ}pVwk$m⓪|x{+fzԘ T6?Kš / AtSWR*ZgT p=m"aeR Aso[ g+ѦG*!3/Wn>'Alf J^NZKnw싪[^h(LK\.m-~@'^2QG[ՑkW_՗{^†ID6 +:ìg"T3'@Ȭ sQnU~=^sv` l1!7E _k{0WMr"!4X~q+}?,6MTq!L&]57Ԛu:!z?B6o=@juj^Ϻ}8=wF z0-~+$Nq&۞r:$3$d#G j"ƂD:&R)zT:c,R=W^N]4O:%Bz~\ ?SE >U{ҿdtkU_%Ŋ_ [5j Ӓ"K_+7]C,)5lݙ> uVTy;9tx-֎At0nMx5=iT -gtɁo{ZL"al\6'+[8uQ*:ˆ2uXpOUtRR=!HClȫϮ|Rf`{!,RO},_l6Ur)w c5VK"I?=$'MIkefYx""nbںۙQ|{ _Ǿv-r"4LY6@I =IC5J٧<7|!+!C\qE'KwJT'{nߞ&M?<հ f-5$NYgMVHfBhn&^no07Al\3Qxf/w&N݀`T+y)ANVgǪJrM}`gA5QY Uv %!-Ȓ*RB ¹pvq=xEiSj W;.#~vhzѰR+Me }ͯW&+. lKHlie߶9gqO4 ,x8kǬ01ߠyxJӱg)Jܼ=;x>Ủ<%\6jܥ~RVrוSG+m~#~KF)ʊ~/Ve'MGvݽt61F_->IJpy-E2ӟ!,M$G6 kAY'Ts xff4 < ZxH4xa((@;Ul>gNek4: *Wڊ%4]LW(:ZUWyf081KU';a iZKZj? ducu';&bBxHQ]]p~^.1{qUAZ=2HRcx~DRZR(yOmC s{( 4 8 !yz"ߺ C$ ,ǸtDX%aVP >9s99 Ώ.Ǔ)g5=?9ߣLUW\'Wx+Fqo/E QS4Cct^!-*k]Ӄϋ|4L/p19J}kٜ]eM@},9J+xo8 7("BmDD_cۛd<.ڪib ň:k'OԗtjW6˔ZaD'r;0;@m>Fqy\!lI6{ itϧ@B4BX74?E2=\?b$  !d 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 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~) 7G'MPӏXL Orʈ#*-h;4z-ѹ_8eBsedX:}LP;,v1oAf S$ RZO(xˁZG$2-7UZ^ W>\iP0r1-} Sƙ@nN8T]`U"^NQ&5/D<߳P9BQq C0jsI2L8#+Ϳ;t][ EPax=UbːpЪftep+"Na5R.ߙ|ޛMW p7èFj%/hq:k?gkw 2RDtPc “#^mK_up1Ԉo8 nUiwB&~~ {+q`/ |LF,"`4(gYZe"Ie# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup7zXZִF! F]:F.$Hc\9-V0,QDGl)BqbtBWufe1Mj ZԒx2\tc2ku8@Z_OL `Ix EGIk7#lbkw2j=Pq8y Vb):xs С ތQWKi Rv>-BM"RatnmL*(k6lƓ',WxQ t6M7^wy$:6XhEdf(0y}Og"V /lQݡuBL-PaZh)#H_Z8?DaDcnWF<ѐwO{8#0#]8 ̈́4TIan"Qd"9bQ+>럙[GoL7rFCyF w2ѐ#OuXV+Y:H%[\a:]K]£?%ʡN#e8tFri"B Ʊ9 ~f lㆠgYZ=!I;= \HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex7zXZִF! ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;ɇA^&J 7ޟ-sHvAO cG )p )yޝ2@) 37I_Tf\]2 y5ى$PĈ}$}ͣiO7(##`gp^`퉐4)]!i =qWh230kQFr>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^^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 + H+&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(VBgYZ5%Ie# 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 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 l"& 6 A Zlkz C j H  P mCHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument/Lambda_Example.tex'xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument/Hotel_Example_Prolog.tex&[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup%xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex$'HOL-Predicate_CFI;#HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/markup)]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages(SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex!jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_Example.tex "AHOL-Predicate_Compile_ExampldIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages/ I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex.bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup-dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages,bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup+HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages*XI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messagesVI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup 'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages~IyUHOL-Predicate_CompilmI'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.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messagesWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup qHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.tex_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messagesuI]_HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messages IikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup 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/markupZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/IMP_2.tex '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/messagesSIU#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 OK9 $ D 0 b  k } _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/messages1\Ig#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup0~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/messages Z  Zn*I;' THOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq9,W>dig8#oY(aQm} #IO R,ez'֣Hi"SʰҎ#A 4w(L, DZ"KC/lw_ֆ @*t5NO*ٓz{4ցd; -BMF$QQUebӴfK޺qhuIʠ*Qj$.|Of^ʌ^zEoY7ƌgkvt 8aAzc5:7fKj / G/HL18>0YRw> aV!' $P{dk9 ܩ]D@-|0EUEsQu6b8ּֿq VZH >21G5/!v3Yt &=Jn'i_Iu~%tW\!GrVM/8J$QasAW_j Oi`g1F"j|ǶI*u@TPI!,Rd&$#i8ޝGO1 Ul*@q)eR`!;?bGT9wyoCT;HcYʪ>Az%F;!Y'DPr0bMxƩOM7#zPh)*,L[޳6!874Ltj[ghӄϞ_2*ˎv9˘Y具{vZ}!˯4E#ѯ+bjL +qo0TZ\0:(Ŧ?7ngF$#,i-}6LJJn~C0ȅ'YĿ_²%:,.# Y.V$7Qs〽{q1iDu/\l`.bVdX gJЯ {N!G)^A);F7Fؗ{Ed#Ɛޚ*6uvZ_f&auѮr-oOm6PM]9O[><\Ovpv=D箃h vP } eϩרh;)wT4PD/F4;tEɠi5ji ׋ِPs:|i_l⤠f;p 8 u]e!?HOqc"=C n&CjKia`PsuY)GF]AB(H.+/h"FZj{DZ\jS0ff1ppfQ$r5CDz3U0Q3)L3y~ 09\ُ"_Nc VAse]G=c(B6Y@hь0;ܾLN@;wGWSj}s(hnޞե]!ba!a~#pVvů}ʓ3y~Z~dsy;YF]8ͣ@iϏ@lQ yӪ㿲g#*+K~HX`Ma?PNڱQ)kM59?%Zt>$8 kyfvhG"EF{teC~2NnX¸7|DRh Qy;Z)c)+MO͸ȿi%wv'S"'/J9b)-{]gIQn[M~9$)bKTGq!4GL=ah˕N#Of>L6תtI)#` Jw6 @b'b0;< 6]9~ ȹiXt wYO VbgYZ d+Is# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE0{{n'h>YND *XG{1seE2d{ꥣ 3瓙Xre̱HyPVKS3`tVNGaKm]%[= G3\dJnBq!i yC IPp@Lae "LprZy8Ku08tx)y k|>AGeM2i,ْadnDp!Zqa<9ٮAG( iz;dE-)hqXD 2Eqsi^Wh Cp8ߥKn~MĖ5=nnC6jlcW9YysݡuF5P-C0z OZEmqf*hZߐ9UKbyu!UOEɐTO4DT%+/$ ?k[=Ԩ!6:(|#|ԊpI|DN"daghϠ%ciy>wj83)#i_OGXxhMy e<-2bxG*htK9AL4K֘jRqj$&jdf\'3#zƔ!뼆BxXnIX;Cc%v)Ҥ˚W)*X]z[#dҰmHpёIsb{ hWLщ X1Y 5sͣmOy$ȫ-x7_X;kp\6rddEnֳ2>FCUP+Pv+XG2,3qr%,&zD[=) S[^ue nQzlT]gksfB$랾kS8`!@.7M~|LB,{^i̢|])\!s"te–Z1,/GZXP"JU_R9ùZP+;Ŵ)'1aa# x>hOk"}BˆOcЄ)Ԑ|S[} =-猤\>kX_`ű-?vm-?^5Dh}uTLBopBP:O,eK! 8#iMgidҿSN4=4 2OIF:`I4FWc]O v:X#޽s"uh;n~ēl#kn^9}!?r ˼G^s ф\KZ=uC݊QaܯD-cfݠwE~%"Zoɩ_w nsɤw(;MRUwHqgR bnTֲ(Hx0,OR^y$S=$4k4Q$2 ޓvkyUQP_ 28zJvS;F(ki92GYJs~+iLZ}܁x4~E4rwZfeߖnBW?\=Ұ:K㌄W^GS >$HaC:7.$-c942\aԨ? Rѐu u1bLNϪMI }{ 4Tʑ yhvYz\ SV%@1]xmhEFXŪt9mUeƠ -r$' 4}m<OGrWj>IP~TucnI`HT&PT'q *Q[v80 НemJ1FzMM'^W X#eAж9ӓ REL ]ZFY{B>ƿ׮q>[vӡc0&rYS sMc c.ܢŋ^,5Iv2?G tud&#aU5Y`dhEˢ!-?}R;43R#SH!cC$~g#J6x{ʇ=gL8?AIXlUnZպ'ŲjIdoM=ϓᣉnض>õ3[ jsReMO#aP`.E?']tm7:@fkv{Q o*vhQV<Aۇ0=0[ S-m]ӱ'cJ94"<,%lH~r1&0Mp|[XTai𖉰q4sxQ=Ef A/}$,Z Qn0vqj2`&D,0lDCΒ GjA/*[y4q]yیX5.k!@1Yo¡ރAʏU&?mK-g]BR {%Ho9˘V ,|Xm跢MSX -r/uH ~sC3Ir9^b1R.)>'6NS>݋uga@uq-ʡT$KϜQJa@zv?c.*ޫ(ۂ jo]>!!~_҆ad]Ĭpi vgϓzFs4,u8?O~0f$oEmtdDk( cHbZ /]f( Ȗ MZ=ҩYe&۰+ƱgYZ T-Is# lHOL-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ÝuI(m<C]^cС1^9E:fUmEAw(wrSRn6ybG%2u[,<lܪ0BDWɇE!UТYlq b;'[dW4\ti=K满4(?Dzߧ@>p2bBlԱUM̛~[ic;lW%1ޠb,؞r 27$cgYZ ^^. 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 >/Is' :Xߵ9%^fn 8p  <X+,"L+gE!`x_q,Ȥzozqӟyl0%7U#L+R*ÁeɺyaD4@LnNA4|:&D݈om,9}%%cb4oUYu pb݇]J lČFy3((ӪrR#WR!DbXS)t *5Op؀["FɆ|1/1HECЦ'ت7Ta&LJuRmFѬ@2B40O:7,=flfZ PHB5߯.447+/UNz E-6U'1 鈓! 7 Hn8'W &bH?:: c ErS)N1ED9P^P8nJ)rzɂ04P}@_-6.(AǡsdzS bZvʉ4@F\09ewgyr2 ;.,~ ~Ӂj xo\zFŚ9n 5pd،)g}sY³ ݗ yE7k5@^*VW=7J,s7 Uc}>5X/"xz( r6r*T(0'dJUUܶvc>tQ򹲼ܲЅ8&1R[BHZK/O.=~Rso>Z+GUpnGjFdG4-(AN|UKTde@Ux|b$X"],ՈMQtDG,eAbce@m (K.Xɴ)` $1* 3Z: A9ȊE b[`Yr|IDhuY0@"ԘЩՒsGӊb{zpӐZB]^c>lX%ޕ#GVTd*ZJ*DgHݒv0%,\PǂZ!˔QbWL,h!WSt[cxFm9 `)P)ю\@\Pp~ M~| oC?ԥrc躚h:o\ bS8R=p$5zv~ALzGHe9վv{%M0\u)ܮ]Ze qShVl@!GS/Ey  A1j3]ɯ*at[(|%K&w=;8d {o/?.ZK|_QIU0_gX ‹̯0JcL!7ʘc. fcOϞ\sv;ԙAG%gŌ7'"r5eNESw\1KW 5^ -hY+rDCE(Xj`19.llĎ42Ut/mp@O ֍-/s],*Jgfe֑!p"xט= 4gM/J S "r]z7ǟ 3ˢ{n_ޙvG`S0Inf~wQ´$xgw״dֽ8&*0nr9o{/st*Q榢^/kS_dxbquQ' )}]8Vp<\K9I) {4?g]3Ja2}1} Ɖ;AN~d3)X*p? ړrX ؆+zVt4uKtoMt=!v5"2ԣ1Z+ #gYZ f0Ig# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! G]: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\eALvc~` =3X!z\Z>Bkۄa]#ʌ7 a(Hd˽~6[®`~yuS{72[Gzrje_ouo,iij1g";ZRl/U.^H%\orԼ%>Dl?q " )ΗhLN[d{9!x6:9swd >suЁQ ܙc6t+%OwpZYiyGSV6uuU:P@b|zDevF CHxŲ=gjq<D;WHܜv$|Fp65~](۔ y!^Bu]0E_z5G ъh}Θ'~+ϕCZ#6B8B,3z ).Ӿo]5hВ$ka]P)8#ZUkHω(Z#Se,-/_ȭtKӮ _th(ƄA (GD[D{_^.ϱ Y砳y'ʨV߷f'S `sd6+4 5O }* }s:h 6?6j&!2V-Bk^ַӈӆ#qn9` apDzPq S fNˁmF2 (1*[MFQo*@GF5[%a頃HqIE@3::iOX~hV'o ~!v>WзgWK#/|lia2y¿Uj%j'("lw9?[ئ9LL1)')gO_E>"1*Sm`~A kz'1$tEh/\Z}w8B*q xɋ.-?eLU/>Y N^$e]B&VO>y,w'/1賃>=Ha_7p뼴Io6 .~pOY@gfiE*n! OoW\V ́;IҬl bk)vu??BfÑ޻L a߾[B[$Qs˨gGA1nUJ3eu_q*ne5#̝s2c,Mf)T5N+:z$ݺ ;XٔlGlT;>X[ttVRÀcD{֬䩂60_EYv!f,C ka{*h㑪ҫᾚq*y=OI3V.N7p Jԫ3NQ4:RF{#\3rP¤"B6ꞽϕOҹw)Z+TgYZ qq 1Ig' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:Ir[h:7V:ӈ֓?-1v.KP Ã|*r0шKCCn{ֳqjE yP0P| eHe2IG@44\t3aGu+<[ K(Jpqa1MJ9=y>s\Tu~,9&WZVLA\["W߳sYW8(.[֖|&!{Md##9GM1;3z&uʓz(\``ٰi;8O{zҢ \<$qwK]}.W4[ 82N6=y ]OT@AH,S m2~$+[+6|kjyCP[3J#>`)k"Ͻ{ҿ&`/(7XX8)sҊ+^`5Qu(~;!}9[zI&i Ӽ@m*5 d*b-Jycΐ8 Ew1%I[ad1 }T %*K>E׫+P[W]4$[`$zxAIYv#VnmCqB 6JڕyPfmaTSv )`/m/tr2g~$j#:ۯ\M/ z2!&H%ÖZź鼙I͑cψqܹOS|,h/>RX@?XyJBmD 8`3v63>NYB[hr:E-{!!8sU_]Os_&A5̖SUq~ ay7[QՁ2d܆&+632yP^Bv 5U1YoOx׏aP]ACVi SPLTʢ`_ C609cЙecCd }A:|wЦ-Xҷ]om!y~`t*g]t'!#o}*舖Ts;3<5fqiL8=+"]{XAR 0t7V"ϡ/ڣ C ? fLr$Sc:<UJ6K X g# (BXv&Z֎ئ{YPEv:R][#9TfM{%q19;;щ9td$#xAs ~s9gobqjI1sczIvƳtbScpEKFU$k5.sDHUNA[!X>Dg(0U.YZ TJP\#a"Y/42+m=}o!Q|6f:mw*)C.&^/PN=܄=Kun)t%d5!x%Gl'`I-QjuϓʟV=~|E[F)*?}, ^lYHa,93܅I*P=fGoV:h3Se%H:qDl뒔)3עt%p0 +&KEkU%ߢh9ERG\yP|F?1r TT)yFf_(]n L5#,:eLZ B>d>/ME|52C@c8Y_$ %?{X;'A״$we ܢ44nP^ڔi;w7ybSCɺHmo&&Y0\Rv2lwKbU0UIr)8QR nʘ%'Ie345$[]sj£}kɰךǭS A%:),_=do]n?EO{$:Fx|7 mg!{i6)flڟqOS8F@A>ʓ^ \dG[츀]jl .@`%zXS.J]8 kޔH)""4mȅZڄ \y>ߴzqgū>۽+ AyҪ3Ŝ(qwb{7h1*恃3W5J؈`9C>fChѰn}ϜPX7߉ßa <ݶޣ!p'X]"*2E:)3`j65/' hk2p3Ǿ>oetJ]v gYZ  73 I' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages7zXZִF! 1]·Iq n[:|&[z~LU agrIy#Jј֘ :$dx~EyygϚ{ni*.hUK VO~` !ocLa.ã !w}{of&}%qf6ZVn:>S /U#opS&@6EK-(ɦ乄sv琪[XqߐW%yaCed$E<. |ClYx NoB҇VVfZ ]n}T܎o4 fmFVB0j;yn5;ڋ 뉞)d&a&e P.&L7$p2̉XN u0aםTY)X Ne*Bd^J뽐mW"S}u,6G) m=efKH0 h5Ql qC w[XJ}iE <%BO  }7}knCc2qN?vLL6>y +֜?~EmFk~@%dh3#^=<}3Sƛ/L[S쭣}`l+^^%Dgrv @9VM}mFqUZŸOUI[sO0uaW_ }Q'FsjHa.p8P6{_]RN2:ʫ{ '*<*<+. 駵 [+ c>tgYZ=2 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-޶¯)fL'Sْ)̇ļn\gOq&t9\'n3/3`WxS1/YBnu]Ł[ *x6 lNM"!sT:e5;{x>us{wz>a{g[{I;8j+J;ӏEZ\| C^/s9B5df>󷝜$B/$FW3I3(Ϥ˲D+l]AT}ک/[OWe8E_GlV94C +=m ][ MdHaY|cmr|lH#*#.8j>~( ]=D{u4:GzŊ0^r  Ӊcц8C=ѠOw̆t^U\TsAW-Csnnk ؝h|#!pEB|ʤi~Q+JYb éCnGJ+C̔qv`1W6wLI"U_\pSS=v}cMytNI3^-5<9+'ٻב}xZ?ɪl`ߢsIxNS]>hjfhEʌ3AVWy.d*:ƹ?vBPrQib!EC+夅bmR,Fd 7)ʱgYZ `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 75Ii# Bw)A=!iz֎Լ:a G,xL驵RzR!eu\K| |=CqW-5c2IEym㋖Gehq6fdFզ**H7s(nmؾ'd^kl _BP4lw( lLoTU(HeOBsoVt Q) LLJcpyojHd}! >WS,- `6y0(Oa2o(@_v+.R;_~H5MZ<%ٍs육҆g_U\7X [V7uB!Wj1[NcC7 -]JiaAmw ~d ؖw.%@QDY0 aA9OTfpQ킰3MV:]$Ս\hH1LM}4q&u[?ÌE)#|FJgmSS V} pm}CI Fe|]!ͨ}k OV;D [o9a ƼfsiS ˇ:F#|b '\`cقW.oٽ{Yt ==mFo+v?mVcd(̜o/r%g5.;!"n}-~<6AGD'7 bc BbgYZ ,,Q6Ii' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF! A* .]Άxʆ5.f-9 rq:g}b*sTB#nRQ ȉmM'13O$O_T^f݅݊g\j=@"}ӫEpdYOEIipyws ,n4~t<餭k[L67Yi)@Q-TJ"o$of%Pzꁲ*4R!(66if K L^@q‚ 5!mv[@n6'0Ybg@nfY./vR:VL_]Kbv#&h tWGb_2sY'& J4fR[Q]X;pt a8Dhs^Bm;y녀S Yb'{]~Ipo$ExȌҺbJ4$3;ҟz*g - n[bGE#Lz2`]/EvW Oē `\~X,b=wSKBsE'Gפ[7R/{j%:s$qhT$cP)SPN_peFF}qH$Lnx\Nk S^A\4~Y'SZi۞\syN{ۃ ?y*kN5pN+I>OMǷi݊5sƣMF\͜v6V4 m-WLWb`ޘf=Uzja@Ӻ{~YmUkOէX˲@Q-tm6TV3m2i/YJjt܂,lp> WűQ'u e-0teJa]/ٹᢖ,l+wŬ~u1 H"yc)9YtY~5PB+aPL?;wp &-8oUKAk-ݟ/:']3%e ouz;$01-5}Ǐ>a oHݷ&nt1P )ggR{55qMT 3.Sw: Ĩc7> o/cب7o&ީ+5P 2ƭnDr@T`EgMq S[h:t u<#c$ؚJ wyt,JO Xz2C V)p0EPl&3rD`u&&bMH(ȶ@'ǵuvM'Vmp-^hDH ~xX}EO!7WR?b.6:V {i^m۸TU'?*f']vYVMhQZV*|X ,?C52)"ќ|Fߝѿ[Բ$Nj3[OTuNB,0)hS%寡B{ٰv(ɵ1W?YM.u,KݷFbŬ!JX@6[ ev>XApB%_V/;Fjyŧ=uS(@:Ogi$* ˞hboilerY`c+DWBQ`|vaZdMAɀb)B~wIozVk#~L8tja2,O_,so^fLLi\iARk&p*A{ÜKwh3pL!9OM{(]9\R"DpzfqT6lDyTxmy CzԠT!PoJmˊw|%yЂwܟ+HO^D\%oD.re!LTFvtmf?X74[ Bȭo˱W8+:KCοň]8W4_u/nKO[錗SSYUo8LhV0hQ!|c 8ZѪ&#F{΍$[([Ĕ}ZkQGW _R8KwXFD? ZۚY}8?Gޱ%[=IQεJrgRP7$"& ƱٵFgQe19>)Lo%QjrGM's1WX(7Ys <ϨWU0kukk˭G;b}OB14HSYBFzhY >#a5MU4~ZfUCj[S4XoaʒA@7^?MVZMB['AF\ KcWeZ3 >X⁑qba}CӺ R%5wq3|xOj zK#h%fdޙ){ur@>Ldμ2kr-5(Td{>a/)<NSX4`=m']WBS{^-~,c~pRS1 VʝWwd\Hlؚˆ@^wn[ xmqNq⿠0[: CiTiYCmߟkggGNϘwV}h0iD{3T3(N] S#H3>ay2yPh]ڲanguį=o[Ġ5 Xv ϊy0X#[&BkE~cPYh:_[$8?}e3"ܯՅ7M@֎XG]Д a5gYZD,%T] jAJ&SŞȲ@MN?漒`< ,C1+VFF-dn8ɚJ=*Oiԥxw#^@`\780L2-ހf lZɳ0|TR:/ 2HR\ā{<V{[q):ToWlL,=Nn؂QHg82Ի4PӚP$h9P[xnm'Yn״ zi)BGH5]wlv<\J^_;b>l5Rh*#:Yr9XH*DtٲZn_uB:҃gds>LD<@ l2+s)= mp@=?3jMm6#tQHE r7e]&ނJB_&Rl}8ewT=0ݫgGRO4jAnvMY12dU o{@@e-]Nh5:dQ5݁.ټ MPmNڞjjMӄcIIv [~i}ZP'* Fy7fzTp9$к-]kM [2넊f{(FGZV<6,7ڬ2#3$ܲZ)i`@ NWQEw"W[kiHs+<9D*. DIyrH<eV泬a[XʉF=%SPwK2{ 5<䄱gYZ7zXZִF! ]ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷-a j6O\ghg\Y|1A>ZбYa\S x,o3wh:wqR %A-J6)VPszivw'LR:mRTM-RSE&2D]1_'\e*0K?SぅM^t p8hQyN m eӜ&d!ɽas~Pe&QOܝ:S̝_5Hīz58O:>Уy8udͮo/mk zZuF b:˺Pg{B~bİ})9=D U4IgYZ7zXZִF! ' ]ŗXi%N`DSØmv,phpz!Z"n-j∰i]Ԍ'#^?2\冮|p&&[725ǠMe1:LĐ?"t,o";.*9"YJC%WYquxS Md̈́W//w`;!x_poSَ+-eϭdeaˀ%2(FyH2Ps|Di9RϸC NE7.@D$ L)z'YUNUAR_r!)Gs? Sj[ჾ9B~Z-:j@R<,˚f΁DV2򺟝@+=׹ޓh_PעKLktSu6v}lێuc_Jr89O &Y-%e]Ҍ1"%H-wX[ vReYU41,9ȼXCCT٘bjƃ`=ֵdǵKӃ&{Lr RG4)ldb3*F:{Ru #[7 HWV@eYQQ У13Ġ{3'MX@݄C.cLTC v6 `BjҊJb+H7o7P^'C$!:fIAQYSKs}N0fC~9X}x>Yd?#DQp|MvZaO\m]i`M W/>,O8&]ʀodKdb͜*(@g -Kaq JL+P]ZAlcӵv"uODK/4 pfM!osmH ~ݶޟ q믺ZJ3X$@Y:` a5҂aG0b / &8lmK񙭧CfT{'+}%TiX4@r[,ZO:K[aB*;4-725{^H#z`:iXVʱT۶u|@pDȳc~A(y_Aos>jg9ޞ$1XhO xjQۼYMuV(Vm??Fp oc{t-iK;xdFX{H6g݋9(ySuQ%!Ib*M)VFZC̚0jZ1LQ{_g&(Nxj/#yE}x4$e΅~#T/USXLn[KQSq8փhyqOkgK`UUx6=0ۯMia}8I mqqr`t1exQ/8]ℙEu9gb8HOOoS INh1p(m#:ŸjpRw KH+<t<5vi޵Vpݯ;q,Ι3Ⱦi~%Hv*&q%/"n}A,oN>a"Ao ^Z,WW:q {~VYO~ep?> Wz[S(T}7k76_:B5Pk୍_7< (^L+Gڧwۍ7Ce _~e0U E GHל F<}س8'ƨ;rX&k[%FA'CA)%z?bl vp ɾI \%>Iᰇ0'lM-tFm~ӈ9G7dmt[|Z@wa X?W>`-[ѯMKhtv4"A>kiA[=$ /2[:/닕PMfʻؽvZmT@ǂ;VƅoA`߰aFSap& .|SJ:c9a8h)D_BymɊ(9Õs'y^#Qxf~ i -bwB+7ԫ+m0g`w <X75RSA%}(TDx3JLxPMG<.n7?HM}-d_sxTFF>n2$dB9{lx6 ĖxiLQꑈf QtS qL y^=PInN|xSPPz j&"-G#x0d"Y~?wJb?DPyUs>0Xwbt^g'y~c %2yZuvY4uv4r'O"PΧ$4;,Sq" _]G2]8F&D:W9of|2~:]kUdS,3B] Ggq^ J>'gOa>یo&PwlZ1_SrלE˓٭e8],%Jt'w!?O,p)8;sjÔr ^{V'8 Ŵ%}Ҝ/8*2ЬwtlD nC| 9Dsd̂CU8GlaPo[))ef5MC,Q[kĶg\u,&~' d@s˶3@b:ңá!NTNm`ucpq{*NXZM"B>Uď'/ӏ w|Cn2Zԍ4$MM0vw]y v(ˤ|-i|6qO:quPk!vdf2ہ /jĐa-PeӕCJ84QRPPr$bHU鸯7"޼@rEbܩ+Pnn(h".v<խO%^Z':z|!ȝy!=a򤥹l;4~⇡άmWb)Uik`3DHe!F)&:V6Dx_X)MnGY^mpkr+ `Y߶b׳F ] FͤInQEO,7Y ׇ#e9Yz8.?vGbcdԒ&7й-F t-xw,Q)oeNx՛T@%i(N(.I8V71YًIkZzovU5~%U(v$ =Xԫjv"}x/y VRb00zfJ!X44h<u:O1;|33͹yfyhMvsXQ`>DGrU# Vˈq ŎpWyCBr{5Wrѵ0*.D=A9&L<\k __A*no^ Ox$DN 'ѶRP2NhD jr+0J"RqV\KfԴD4}HVD.9n&̎xNF3$,!5I`Ð>rZ Z|S:\ESK}]$x sHĄInR̹s]Vx4*Tǁv2d7=B[LVc1aІM1v/tj>gz heU9U:gxڔw9Kӓpwl,cx,]27|Dsz;[w,pS:Tgos ]e sr4_+'I  aNsja`VB)#aUa>-t`d2+PnR:6y&P 45WMK16@ o#7epo\)y LdTEO)ȀIWOU DX "&O|/ͅ d$?@n"Vhqsw6dPa~t0_&=@|aE_RmWؤ;DSoouov?I\WٷHSa1 >-Fp0(,y]G&biJ>A DzP+nŻ@ j"zO "r !>_bPjG 譠SkObLѐp?Jn23HZi.R{'"Qr!W+uubb pH˟eIDKI̧ ˎ܈o%>sU( t}mXo/T۱i.#ճ?(,P^iDP^s== v6\S1R=9tK|vϿ05`Pen~J?!3tT#Sd{l l_ZĨDh6=3א&ҭS^ | hgȩrˈ@$Y?a}}tL_Rt^|~=X̱9S+RM`ܻ+_-l>AYuKbcd:z]ݻ"w4$ f%/^ }<@C 6F>cp\Rd]NdI>qnMQ dPJ7= ( !&e`>SX)ӕw'<- v`cU$_8K7ׅ.q버|R7{HV~)>aL~MLf {qCAo) &#^Csg>m,0(wf G]藍Xp Nw"Kjfnl..N4L8^| eafpH4%'԰UUD~Xw H_=ַTNQ:`H/E#KtKGkx+[ \W1ݙ&)#UR/+I@(A{Izg@paIMҿOFqK}\Dͽ/ T{@ Q9̝D} !Xj-p7N2J.5^; ^CTLP*d ,7,]WWOKOgDE:rMfC$,EUWT]Ge:Y(ٴj=|l`%])d˶: $'҈jnM6Nb cO!ZX5 AQ!`v5HxSBՇL\