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  QIxTtD ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=51.116cpu=203.312gc=14.6847zXZִF! t]ŗXiɟ{I'nmzu S2 KbuB1w)AiFL{w"coD:;?v A0+ԋf ʹ[2n_/F2v2&Z3i%<-IC~< .- =->|m=H"G&XK(إ:DTqB+}`mVpŔm>TObW_@g5ωzPЃfb? =΁$w9-ɶhDAC !I HOL-Predicate_Compile_ExamplestB~ytLIU1 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|60ZWgYZlIU1 ,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=0gʌ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|60ZWgYZlIU1 ,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[zľ]2 D5S $-=tO/^ʪP?+%|Inw)JqN*$mOĘg>DI1((S9gYZeIU# ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3PIDE/markup7zXZִF! DP]: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˃ QIیB'Q5xc HY-WaneY*wdr*Sq+Zl/2z̮T[ABXL^aF(C˙LYC \,&&txpp AsT!!mڸ'rM,ߧ  2WgYZOIU' |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4PIDE/messages7zXZִF! "r]·Iq n[:|&[zXtOO`_E>!Uqp/Ҝ&$._tpm0᫾CEs6*=N]MJ!iLZ KNw BG%X#N yO.:dĈwڻu&<}h 6=Kf޸#*1w/FP. Y"~ F1%K~gB?Q5m<Oɣne@ ᫪Ii{i~G%ow um5Q:I S&m>PY%J ]el* ^i`M<å-bB=j$Y`m#,fi6F7 赹e2Ě+* G*EaYqu APMg]$xOOUIlZsCs' OtJ1#E4Rj#B=Z=,}Vw'!QrOhj|"=C7$QOJ)"I.N)-\1qQ̶=Eli'gxW\%2aWڇ5I~v*!2DU͒2c}aa{S#K'U$NEq=%*5¿Tl5Am7J9{B< C= wN97C3t0vڰa.A= o=_q>{9n411D+C|X^jO%1C'2xG-Ĺ{/JuCSΊ6$:CK:FmӊmџN" 0?4KT7s.dGd4i56\VvDʚgYZIU# 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 -,f]>u𜭙q OnB4E!,[nF:rfϪr~`ZV{an~tئFWۉ)eFR(YQui;ZТ+<кBG~7I[^ƍKʁ˖ָ5J$1I]5$@-E] aj' wfJ' #r1PچЙsmᕸɞ@ -<I7OZ~SݓR;Sg:v"@O>L>Qـ < LrıgYZ  4 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! yz]·Iq n[:|&[z"+[~龭U+(n7j-jg}(kO)/[Ig 0&-otl!`~y:\UV9>+LvJW_ޜ$ 4ŵu9?)NJxh-bqq͕"a" uA`,Rlf$mcƣqPw"HU? =EUІRCk0V{Y% g^^- .'MO@`/[ɤuq/Ha6d:qO>eiFEb,jʐKAw0.Q:PQcxۣ_'ĢTYWh44ڥto@^ 4r M͠y^,vUP5t63lRA)6M&Ν^1 fpgYZ^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  U9I]# LHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0 ] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR Vŋ\)czkJD[ 5ni!ol5 )~1ܣ}ش S{MK9&zZnREOFDY{7c@ 神ڂYqLsRWF\85VJ:i"l!FнӦ[-š{dj%Lh.BC~P~dNLo/+y>/?Ook6+3GfZK5&! ]r,f/^a{s&k-R֛TnZf;}JK@`bJk]9L5ڲ{j LvKi1?PIRߩF_¯KgYZ1 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`݇8R{#`2(B^0=[@s2)yO]^S[x 4+<%=,|R POe9_)+FK@L- $ xĊˣqWw'7g:ʌbɜIC{½rBJBaWlͰl%'Ms&=gfbګit/ßPJJz֠_b@/ ڔjmr55;$Z'c]gYZ 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 R ԁӈ{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"2zYOjbo?|zb ݜuL] ٻ$B| 7u>e &8 ޔ g %&: ;!cYNr590x 3?ɁW Yie04xm3Rת4[d y73h(KZ^-X"tuYar x!yH~pV6A]GV!!` PkL,yB70qy$J΀XBC^D~BT0ۑ,Z1JY|ԍE=Sd3 * 9XMBjd_|2DZ"d4& 678%ݽfCX$vU!_ *3B'>ؔBTSKŜf/ 05SQt)M +"x<*l2VXzyP[/'vv3~ ])5&KN0en+7e~;l!Kؗ)Q$,kntÜD˩UٮvT֯ :"5h qf3LmQPPAHIñgYZ  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; p\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 Iy# \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markup7zXZִF! < g]: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@_F|SW( ޲*'ijxЊ=7^1Kϙg} ԏ26rf#ɮ`ѻ&0/܍Ȼ,˭oaoG]~ο=CTO&U 3}*u0 =QrXek4_-5)ӿp[~ˬ89wEQq*p*Uwd=䮈RPx6Ǖgu G1<PK`b{aMVAaivq9\^C28)qar/]{A&Xk|g.b])-ye_S*/G"b5g=e旂 إ"ԁ8޽yeyC,vjD@jOwDOH{A0SFlswѵ|dԯJxi^~GB}_=dhm/sԓVv~ܘLApҿA]]{"ݻhtZ;bH:B]D-l8bGlB>(R$) ^{? q{N熽 ?|bbQC@fiдrݔ\멍5Ϯi:uh.aΈ $7''n`J e՜*|؇/XϓObXfN5H}\w:5 eG)7 LP ;=ۤ_¼ :vGaI+*eQ0N={E+ dZQ\>ar)5ӖGɖ}q,>XD*U1|KVaPV@#}@MudHkmfQvizW&ǚhpMi63IGn^ shjSf88v1]j[>Y%JQذq JϤ6sށ8 򫵺?)Q% n7,J d>#1ISD_fL%c˻"gG_x uʮa @}ryjM%zd?bαxLDMGD(BL2ow8@3{{pN3BNKzʴ-.h{%@;N~QUG_wTIrOіP:)J¹b{bWasR[ +PSqIO8zVPr .}ؒYZQX>~F)A<F8)C䮼 wTrOywu缱eEӇ4k6~sB'1,ޒP(ƣ^4IkX͢A6lį 絯:mP0 < kѭɉ M?΄![MުA"H1KR UtpaЛ}* ($v%m{njʃf#:@ȹ @-hgi󘵲'W4B;6{bhk3%_NBw_3AE69rxaW`VwtI n۹ЊUN"*̫5$O=;AI Vw(nܢnF+gyRnG] 0 *^)K¹3!2ï4Պ jJ:T*GJsÛ71݂KMWҴSM!MiީT+> }{O$ R xt;_d3E= Ѱ F.U}QqQp*HEMw*3z/i˂:]&t J5&hpEqbˊA UsYa1 w?jq3Gh2 -9|t7+=0Գ_hok9M򜼚_Q*m$4_Ռ:qSesyS˂!Fn؊W1{A c @C.uW?#<PqdWM*[F?¯HֈF ?ק)̖,Jv č_K \fMal*~FƝ}\8 Z!AW‾=Ôy:c.m8c@-0JT7u\wkduGIlvDزHWV2/q|_,׵%w%9"t{ڈ:]0rvSK6"; iP5){9ܛG0 t6 ڽA5uEշ&f7SE"D=)h/2]pvfu\"?w3TSĿi|\ps<@{ÃTAuPR;Ķq%=l`K]Mî" T_,'q P#WϪ'\k=h.#p^9-{gJEO@nN-ckضiZM*{X;-͍~7- &{B Kŕ'[H`j Μkz~edYf" ;H j2RhAm0hIo@~X,@ 4C|wO'hka&X*١N.Z8B\ýgXeդ&crhG1_fM (J !AL'8K/.(1;RxWngYZe˸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԰̇#mX+82UxY]ps0h3o9xIFZ沉<+bVB0:]՜OA%7X~BV'n]ЃlytA93'+#ԠPr# '.?tS1Op/W58xY*I[7 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex7zXZִF! ,=]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔!&J͕]r*b*.}:㕮z_K7PKT,=֔PoG0i8ALj /_7D g7`eCl\m(?ckKD@%{Mbqud= nAI[]ݴ)b/_qv x,NqvW/Ucen³+ARSn1G"b{e קސ[\T R*\CgxOJ[Xd!D`x)Sq+k*ErE8²fYm\6$pg,C3Îr'q['Xm[bEP;@c>ӕ(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/5p$kb2Ȼ7_F u𦃆ػz"j eQ8\X7}-ۍ rVOD](TA,ѡ2wxI)ʯ_8&),÷d•=2p>8Q*L+rPiMABjG{}+[M-*XĖ&+62R>?R6T՗ ]!>nM7{wi)XbW :zl\wS=XyNU T'ER Nի@NOIBweEK[xjĵg2­0)+Qe8v{ TtXcɳ% +CC|+]=fsgc sA)*1 -p[\37U-ݎl$vDg;'ؠ&]JP'Q B=àqwUQVR E=far޶Aw^u5Qaܰ,>i:>Pid';4DPEL4}J] Afuqr57d0Є/vNTDw2xxceyꕢ[d%kRXƠ,14'4h@Ń giFv[;xSIo *Ǽ)Y?!uOeV5bqI2.M ?Dܭ_6:wVrMl;olh(sh QpwNF-{fm!t3F3N=p%XuM)1Ho2bIoPG~s7ڊ{nZ92PaJ3!"ݒB$Ȅ`o]#-+.fe} FΟ `3& `V\kbXXN?;VnP$PG苔MhQԩVb9rZ邸} 'ۓo6+g|S԰3hvX榡ke$cN_ysA؁AeCm.9-UVW# 2_ z̗4ִ05avOJ)uC3OtM:0~TebB%_է)Prg9:^rݿ"iS62N"ǦX7cwA4.B=RIܙ~gSLNʹ#^HXTKrd8b6"Cr8wڨ@0I0/: r5D'$/l6GRKH6 C {ZX O_n6ߥyϹZX9{y[EźӚ ЩpJqV3:s›kwc!d`Ҁ,&v? A;@ q:88詶{N9YRj$N7B^rƕ8>{j޿~N6u`sYoHG"Q *J+ \-.U)axİ8b#!}ޗ@WQ7y6ޝ2`9m^m&:wkIdF)6&B-F3~ c4 e&/Y5!bܳ)/[ m,/g2 A~m`/ 0w|[)Éyiwd+]:m͵ؽ>nQA•9 &}ܤQƵԠbECƾ+c竇UXhUv܅׈ӜZff5&r ~ޣ\-4&Kp:[]jQЭVp6CqyJ-@,8x8'İ5+TƗ s~okrOO2tQQK\>l7^-5^I%nr8t&cluftژRǃnDٖ~62K3DÇ~1bQ%W&P> NJn.bb?ʏrD(ٴ>’8-N!0F q)Qk!$4Ǿ`zi^2'@ȝXθF)-HRų*ljF{OA(ͫ[ Z#pՁ0REl}63 'pk/*|0pUlgMuCE>eFpwlGbv/7DŽm0>t:( e#DMG1jXly=UBZhM,ϚB 'ˆYM hxaj<vtfaEFTQ|X܅Qo'!2-O*g*b߃Q4ኢa,年XYqzjm7O#T_{9-;bk ~N\O#_uF r?4$GVuGb7WoVNF,3/$'Dw n,!z7ZX::Wm^&9 rن?;_FssQpdSew]C:j^a'<xNGע@T4%˺˰Vv%fZ֮2k@Wqzz9WmY>3A0k}-X=GSmeiDʦ gZf DLm1 QV7)V[[WtxŲGD8:/f`J͟䃉|o1z+D棂꘧fc+sO} G]@P~Ȝpn|Ge '@WK#++@>"2g#3lFk,0d |,ogxo/¨0;aӷwcd1T\*'#*X'P?݃뚰SBPڭL_7—5 46vj[%?N E]rX>Y$G!5TO}?..J# Sս!z'Fc[k e.ĢD>UTCg qh}[V҂sy`\C!!K>A_(^]zJZLe"=@XٗѱqgH;6? 1}Zwwq]Y 5 5 ӔMLghZx5y(`NR-ftZ@Ji=2=l40M.=dOJׇVS 27l'4e}wdG(q6aǿf*i:90lV휏D fX^\k)Мs4dVF1w/^X3˦@ vnj,qw7óDn<9磧Ӷ|Yi/ۑ]@犥krso=ĵٴ:Э8mb Y:B>n *GĤF_J.^mxHi'KCX/bIp\uvRxiJ:ف 0ȘѫPs1"r0 3@^i|ecI}*""ڳeG+krI_`!pTz&\a- Pҟ;ɲ]~?a;?+ြv:n2ѫP6i)xfÅgn\B$M8t+Y&IΔq[J@X~N@5[yE ygҸ t@" + dnL/[ZߦsfN 9"CGyQ930*V=*=d_h>yP /SfA]N$D`0֔ϛq4)ʩJ]&ha>wG,KR7MnNHwc(F #Q9}Vڠ kv1a펆l6leցc[|񮆄I{Y4 0w9vl_A[ g(LDsYJ0)ѓT@q҉dZ}VteI5pat_pHuiZ:P^y ߹LLFXj׎my IuZ- } ӥz9t̙Tr Gl#,TWul#iB%%D yAz*F:;V<ĕh^apW}9OZh9U+Hn"UP0|⸏p"c1IeH824kz,ڪ0;DΡ, 2J8IŢ[60֤_̥?)2tA\Hi X?`ʲOқVw]LWj]cTGp{|R1 2OyI[gN0,Ļ΀/Fr.7*x♾їX+omFNLRWaG԰_rkc9x* \s^s?Ӻ]y Nzp& //jeBXt=3(5z~&*uSGeb*9͑_\Mc+5cƷr¸>AM O<# >h&]V=7 ,6øuOlx XL KA 9F=ƝВx\D ,,7I[Ä2R97/ٮ-ϭ5#{e3]>KwOxc\ (tq#<G̭~bd('Ȏ(neAh{B_͏P"!?Ȣxd/>}`F:mLp@)Sכ#"*qvo!1ʍU9';Jdj ]l=Vp`UuYyH=QZ4k5U#q )4 -W|=zoCM m=YU3 i/wY},@W!_QX=ZZSա:o3߄"\8my8GU7h;J,tM!XSI+= 'YڝP p6ρ- |wtDrnHB5a E K5 TW &l?xZM1&iJ@Vm6{y, ] *m6#f}¡/i{=jL!f7b:)GkY&E:m:?|RXc#.<ƹڤp֤5Xc#>2PV ~pKx)J;0 9V:(*/kVV ,&U~m@„#VZ~,1᧚b]m!v6{{_kz^CXJ(9Y<MZ6ÏJI~l;c(~Dpɦ7E0ùg9au 4oˀDFv9 EU|Zb~ `03]uRxVz%B45/ u09wyvGDc{ w_~؇/ ^!X aA?QK]:Qds:XG%!E/gYZ //N I# #hOU˔jH&jQiÅlpЃ=}LE2eiyMƭRZM/- h1I|X 1O#~-bl#zh]&(r[ ctg)/O!4ŸPN=My> ;GrZkqn/0 `p\Vbw[j GXg ʹz:m 0dHjwdW$; H<.d;u!>{tR7KgeZfZeOUY}3\(xdȐ„wtvTjz-53)[ -7UAϖ}&l%9^,@-ݠMgI ìVpAFq ]9uEMF~f\`?I8t#]\b#EdjhfN\{K>q@M)[ J|q݇ sܮ%[*{uMj䏀\G ǴUc4Й6E[)5L*^t~ʙh7.GGګwfh `RΠ/wyS Ӄ{s,U;00J諍 E*17ceyA~XL xf֡4ku<nveg`3}IQA1\ɴ: "b 7oƾm$t  5h w<,dMp;}nkeDY ,>|~k6sk?˟!9lE_sD`6xo>zO(ӝC#~3['MFV%P:?|8TՌT׽8%?”lh{*:ޡ9V-G'Y1.HUvX@B ckx! @F#\.=% .oN(Sf Y\]9#A)FP Z#|xbu'Y|c"?AHC A$5@@ϼja>%#csW0}eC>dA˟zy(7L'تom~Az(%єM} cHځֆ@9CQph\,3Z,8Xɱ^c-[ևOE~Vo 1y,>HoX`<5Ks5d uTTi \g$xA[@(+k:bR*~lZ$ea;@m(j6k2c3NYITiƪ ̼*/ /K a.3h7kNb-@=lI*+i#(8߆|Fy}:EPYsxrB*! Vl.bKugEX){'Z-]v3>klzD݇3GB!pkAmD4Xm~*+Xd:ôEt:h6ܼl?ĨxA+l>/=Vn2g}=,!y\ u"]ǀZ⨑!),sOorwoY?vM+Ɛ>Kto[0ZbP]Ș|JeYڋC5v$pta  C+Q;oF!>S:0lV_6 ~/}fH&wk] HdpHrO ¿xX* P[4r]\ՙO㻧9pV]{NyX`=g$j _e:~%S1!+I9^ԝl | A7w#y|^]ic D CP~0ǷµЇ.?H$|YQL"4-mP9\f:tQX'%чo)Fň=h ׾zPɝS8LЦk.f@l"*i2JYvCyL/p=y-dR?LE( ByZ Q>bzSڋy]Swۭ.K;b!r3c,鮄2v߮& uW]qʐ)qNDY%-#ƌ_JXwshN@h#(SY.*gqnVk3U_|o>o72Ṽ\8(-J=:=723^S+.6N8U2LeCY{ iY KV6HM-ΐ ?B9ֵ1,s8%|u ^|]ap ɣJm8IY&蠓Zh-aPDduW Pӝ^otK*'4p{}(a vxY'1)A5@qj:?Cic#-: AQ y.oVk΀OP]RMttb9)`0~TBx‘4f<''~Oec c+8- -Ll7 G+_d=x8c禕p[ş E.lFGz*py~ N-l ;!;6S]ݔi_᳇d@@LHƱ&֥aQ+زf'ZvCT^Fi*;?* BM4\te숯#/э0Ƶ๲i?O{֛fLK^\WEb AZ@mCРSSzhTƼ2lYR05ى:/sp龄PA&pg/*kz):Ywve%KY}4ZR+)D3pLHIgW >#44+;oVF8l_{a2At1Nƾ}з =Cyq#P_24hDYm "9$4#R/V_4vѭf$PO2GP8"-(ŭѶO9htoQr2k5mΉqkzcو7=DM(x>N.9|濪 ]%| C Ɛ?`5.lդ!ldL0#K,epn~>vۋ {K;QBu9Hm_^Vr\L6`WJ'L߫RDWq jdc//9By$~ݧ^k쯱=@ aZ-]H ={V\VAݿnbHRGmsYޜDVR\™ M{bwa jdӄ@;B2z2FfDm?FmM~1AaD]{E=U|0!}V4Og|OQдiDD"(8]> roh/NB=. hl͵ "kS#V Pd[ Ni8'ӸUqJ¿0q C!|HJ*aQ trϐ(81}E EPFlwjtŷyaիs wD^9ٚU&(P齼pi՟׉} F wPc~ъbWeRnekŪxl'lԔrERH+q1ѼGrA$ e&3KL_t\rUoBw} ^Hn$n1Swm72!lˉ' /UL .gR̵}y=s7,j)$>A>a:!l9?M$L6րՉ#g%*E_G9om rɐ[M< H]R`V[l J4܌S'[e娍iCʫ#qiΚxXj[[}7 5*rXamnd.c"*P@62"0S6FҵRW L *GSl4יNQG/ߵecǦwJq1~Jzsn>xɵW%t<>n*r;!+1K lm(Q]hzpghؑ)_^u-;}͓ĸڴW- \ICKpp;~k(7r9}[/]O+O=A~fM,9̲җ^&X(4QJ*m62ćgtnϫ&!Zٕ3̲s߻Μ]y]Oݘo/R^@y>fNLu&a^ˁ5𤜮шQ@jV@:jhYJR]>kT#Ful QO DLyw@쟄қroIhEdbe #!d W adJ_ &Cy?9)*8Q4W7>37.T> oHK1{DP 4r'JhOұ0P5͢Ðd!Rnn&4-~: {OOMփGᢹ8![t| DgX4N"Lj} EV:9~KXy5w|*o<ƏPs3?ghԮ(Ǩj$UYIyK~Խk‘Hl;-!y[6`2%.Rb&ٌ|?5$x$eNcRj?ftbk\X\_6]&S"$Lv*r@ِt%^X"84Me ;=d{;? ޕ`I@"Sds&= E(Ψ.ҁ4!it>< 86H^⬎VUAhJd;':8SgYZ s s+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ɱgYZT I' DHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_ExamplesPIDE/messages7zXZִF! ]·Iq n[:|&[zB`X}|j4QڄiPގa@ݮߖ׹5eYRĹFj>nh&ohxQOpѝE*~bpn9 +~0 }e$7 R6aK><34DڜFJ* IV&nqlh/mkKZcp7ݧo0Kq;.0yTvh!!d[-,/ܘv"тM+TĦ(+|jw׈ٴ׵zÔڼ5b`>e5\V$8e?=8 xҕ֥s@3ז:G̐Iɐ53]FmO/)VY˟>o tWȵQY+[tPHcEvU  ,u 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[6x%*<,_ JhשDgrj/(DM5Evqe,|jCصo S&Y%e:- Wu[eNXc=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 gYZR_3vxi]aF$M.ʪ|U\\XAN!-XC0 ||A*i95rBAuXno%mzF{+lɹ|^~nj RaQ6_=?ȁ617NˍDnͮluq"֤rQ0E@''n&kP ,eS5S4 Eɚ@17:V# yJ/U_Ёİqp ҋXZ/F;YG O+% )qד:'9%slryuO!uwZɧ 2uO0ue[]z}烙ʌ+Ꮁ`B ,{ѣZ%^.+*R^lxXPHdz=}V8./_]-py-6L4O+r8\ROcP,5\PQjץ Wc^&# XWR8vVo7|6"P h/h"wd_!ݒʰ(Xwy\&bH:WmN@'O!(\ Q-_ݥ9qdP{j㮈Zl(ұc r Y TlZ j#{?^#gȆ`AbZ>od[Tӆf,TņDT3םO]:xฒL.iGKZM,D$wׁ٭̭''<c3YVD^M1h| , lTD<:a Iy Q `* ]6? mzgIplr}pm/QXvwWD6i$8V)aw9CQu/>nmfAƽtFUoS+FJ/l U` z9c)7aF°,;E<ΧylLĜE[?ulw%KvfܺC|/UW.}x؁n,Vޖ|©␏wFHYE ,kd]ayB` +61, .e%VCUR`GY4dt-FPL;'1A%Z^YLrSϕϖʓp(XcQڙ]ey`R( %@4Xܵ0 x!Z g!7kagL:ӆ,ұEWT3~VI։vg%rx)Fv,=_WdZ.RaCzMD7؞չ8Rp XOǼ.?{ .ŶLˇ-0 ǝ2rOޯ' iyD4[ozJ˗9ˬtH"47x,W=e[IPC7S썑ci'CľJzQj$&d'ޓ|T3ޣ?#S p)!H^1x z]\A؀N+uO [VUX#曅1S ;oTl$!ZQ- T|$ؼ5C~ZfGFZrJo6xkָPS_vW8z߈G .S]|$ {7hD;TV vqas!+̩wkkr27QaՆ0|Vcn, B? !'qdЍ; rƾ)'2sYm`EsފVTG}Ԟ8xh//F5`@OM"Yp懪(BL t#ߒ^_VR%-n)7ު5 7Pn n>MBAK \]p׭S .#Ôd).IX؁I(Q奙JK AJwޕZ80,`ɾk{{J?GUY 9'+26ʗ~>@B"fH#5"8R]:CyoS oa": q4wsZ5ׁ3k_PxJj*^Y!J@QiEb+*;BS{JwKGv*i{/+b XU>unbWʠE fz⁛.T1Qʔ%è"VQ3G?ؙz 'LXfzd$Қ>56шlw!T`{JSRDZ/8* 1־yQ]gYZjfGR2'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կ!pc rk֙LymQ(!|eH DnP@ϓdq()m nl!Ke5٫l,LVOӴN>@c8($ )D/<\cM٫ΥsC*&D:~ߗJn[ϭlυ$сHnŏp&o;o X[Nm]2 lHHu7x&d5LoOP_~KpLP2=VRt:[i7F2o־B:' BŴe9J-[$[n(VQ˭,Dş5')`ChJ2Q|j|iehc.g s FIz@&YR#ˮ܂ڎd Q$z244rYc1gUEԧV0W5L?F^Y8#vAMR r٬A⛚C|yse0O]fA?/DD]H+eM6*'TbRA9g,<#|g$R *֓Kp~+*:u22^=AjmZ3%,96өږЃ&k}Ŗ5 {,Ju_h~h(b8j?:qу7/.Sb~󐘱"1=w-LP^ŋh5Qԕ4맱B,?\{dQoOAٿp_6b0^ҭJfgȄ M,NtpN+WdFo3[.kF3_294utMT/BK #ov鋕aaḯvFqP]ׁp| 6{gab|{23${ę+bhk"M$.&w"^D^1",ǧY/G.&`xd5^GuF~ Qf}ԗpfŦ?vm޸i,Yh6#}`7?6E$Ձ2ԿaR Gˀ|7ָ, 3IvH3 oAŵ ) G:MY Bߕ>GAZz@*чȂW4S^ |T%#Aks9r:I,[3N.AP,fyކD"qĮʹ;9gP 4rz9$E < #/7KT]W/'&5>hmgl>4#1Xϊ43f)yhP@?ͱ5ԕ,J|og&^[^h J^4iLY2j%TeX)G\ "rc9@X/\Hf}wb[aO7ΛNRz_^Mo7K/U5\ؕf]}ia"nd.-6D &=].F`w/ oz WkvyHO^kS"N_KY4_< ո|Ys! ^Efw4ۢ ‡Ux[4!+N׶jjwUg.ĻҒ@:Hm9<6 ~'6B@-g;։3ja.:ԭ4uEv-GXaPҐS_(4!&VdZi+Y L5\R@-2MjT<〤dd̸*:LD$M(cjʤ6"vWa \&\c>[žUE"'j2LϞ r=)t^7ekvv֤w]=&9F`?3qjaKJGF(c)3nwR$TG֦H^|꧿R ]}݄T9{Y_`U#v;eS/% T{rZ~VR?kʵkVJџ=*QHeE0g2Dn) k-c=ˁ$0&i?U攨`_CPKW[ݴ϶V\Zݦ<¾>ޠvI gk !Ɨa!KI~_~36c3ٔ;]jAia1EBmMfR vx TRVsh-8tN:>mC)j*^=g&leECМˍ/8SCl.mz" Lvpz,f ´_4cbmNlxbkt#Yu" '6p.!Y[=c`F2H-JQtʢBy?cfTZ6/(b۫Z\&Sy^=CPPiǝ;u9O_0G =ئ|̷ |X&%3̯AB'Ǎhmn#5$]jM >':0*1DtSHsyWK'*4x&,'hN8^8)S+c8w֝U2ĤEDсF 4Otv6_ɴx,T(܈]5ò#3>y&)*Oܴ}ѤJy6]ki$P t_uL4靭VO$FGr׬K/Uף"H@*r:!Ss#xOۃ1 M52q2'6e~>2% 熻:!ļSby܈۫s@Mq|(p|3R~ApD۰c:&.&*jNJDʵIX)"QÂr]~n': 4#QM&*nCXj-ךjuU2B3bkI3p(|YXr)'5W vD73w.rxҢ3Y~D$͹}!`E _7-X?zlhE GN[+4fSged%,]E =f|i:Wغ/|GMTS~bpN1N:TRE-0${u t扱;y; {af}&'< ϱ;t/zN.IAnMO}I%\weki3.jy=il˜P>zr(fiM{rrrYqT9kdvBP{$Y ) Lv~r%1XsUvw; ;nnDLbwψhW$OSH׵qL~c1/֯+ygR]͞o_Z#o_1PAޫ{򁞽ŀ{&-FL8Dq^Zxy.CΜZ/曉odu' d^IE4i]\҅[ ]ާ'D)tbtZ4B^~ڷxP] 9gSex&9 ^0p=TI ˼2mh{Kht<4- O=-6JA@&jjHbT'6|\>5\ƌPu:[1ժMZiKZtOSuc ށE=J>IvuG3f*lD1wwn4o3oO) b#*Og*: tD>9؟ʿS("ϜTv7+wJ s#_N[S?x]WnfKsph;=2KUx7$R$% ,yf qXA(㦺9J,<$y{'>! >SOs(Z.ne$]N4:pmO~,/ t;R?2` z$R~@G~ԙW0sV>Vixm?ކշbc"JGJȊ%=D-QcW#:3|j ;u$>1"0|G{wGQZsb @ ɹjL|4+$jeOa~ݔH纵rB7fs NuRl^T)YGH_w"qu;aO(`at)aI{*_?\iWm2wMP4>@l5PK.LiF/C:j9 HjSNP&uIXɋSg&U8. j}o]49 Э>OR<~#J.c*  j[Ef3 u-$n@A򌲷;gG[d9fto8YOɵYzpAc<^EƏ᪇ aWyn*JL+jLБ h7JGG"~òr絠eܕK XFɛ["b;P![b;7R/޽&PJAZvD`ٳbN[+R֖) |g6%ҷ9k8RCO<65,Qb:!"AfN؅:%:7Z~!O^_Rxiʕ7}[ nH^OT[:D*H d%9C< &:Y}ڬd|RXBM7rAGDf8nI&ab&Cq SԎBd[ 6#&1J9U &6/6osy;+Ŵd>+.U}a9ԡ0> 3fųLWeN[ v1yScDiF"|2sI})ry=F4,11MT 5x^h<q-hYRnW.NO`X{5wk3Ɉ)D_HBxBJ\ Yl|d b 'ЦxXO?J,9 ;'<j\v"2b} G963!Ɨ_נ at c=>.HjN,>X ҫqqHU즅=8`T::z=%Ϟj =K$lWF9y8BQMx$6xV b{2n򉻬/=|>ޟԖbu8 '-30Tym\ƖKz up]G!V߹Q-gM:f)g?P8΅cf(*Px)lX? se]Ω˸878J)ct7ݰTS٥!e &gYZ ??  Iy# |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/markup7zXZִF! I3]:F.-StX]8$)X|ХBS 3_,z|{ QH}/rUM}?, &tZrK1? 6̸z<3

Pu1!Y}o;A/+}O c" LPLmҥG38c9M x 1HTLzJOFu7/ 3k}tEov@%eh5QYnPb-H>[NO|uMlpVs_k{ % W策bf/'Yj)؎r6}4`2";┱M}suq=3 umk,yHx uSp{&m02a'ɚ^)ai}ʿ()S1bXgi\AXK=-!ujSeqqVhcѴ r Y+zr[P_s|^Zk3J&Ky~ba_0REF@8mnԅ\b`GĦm$@sqE>QBRmKς]~#ZESY@Kٶo7^ZB^d^ a˜3:_r NztPX;]a8LFb-!lUGCt0Ņx?(",77}c$$1'XL @ɖ p! I[' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages7zXZִF! R)d]·Iq n[:|&[z9yN~}fRvcYM]Jw1٭蝋C:S;~н';U vFV ^0Y]*&Ƚ)ֻRȀK;?xiVu'#gO%Y,0Ծ$fj~G $ MShC$ gWPPL#}ipU1XĤΒn&+Ic4&U]BL4p.bR^f\˚!"!i3-bWn\g]I<!tͺ7D^ɢn=J5^o-zxsUA7oomglQsA5#]5V `rZ0'gV&\}pqɟ%4E]s@_DZgoGvԊ6w.%ϳ5se-pHC}RJpبm-T#hݟ{4EKh:,voIf|졬SXgd",b$Y/&qڃddf6bic-> 8NSOo1%o0gލW6ZY)Uqè%vq` )o421lX0O{X=&n 1r{]'l-W1R,@ ?!Vg%gX8%ӋuE.7N=[L.A3=ؐZ{kd-kYtO7=<~rs^'Ehy:vC`` E&J*&L]Lf\ȑrsM&@A򷛴!xfuYV Vaw*g :i LKw #+?$d|\xJUYu&-b<{vH = |bZ9&Pqfu$1@*exPr;PJh9LdhW3T!_-k_sDsgʂڟ9Tב`gQ g7lgu7^g' B,zxH)U.ŹYMe(gVe p.!Α)D2;Z~H~]N3o:ymgF-9S~QP4%cHToA'c# rvl$w*C,]\os0h,~b 7IYZA͂<ňڈOvX d*Lj4TI׉AZ` %mYOy]QӪ&e64^I3XFX-Vvv^;+ 7LrmԑU^"oT 3iYTzT_T4b|9(<b-55}Up" <"%Զ.^U=׹25d鶰?BQcM/Uo#L4d俯3yvuF_a.X:mV%O4b̶fc0 E5ќTx}*"1שQϜ 9N㻁YFog.Y{|˴*QudSew۟ Lg/RJ kl1U_|Jу~Cz~zL[R,'C/(,;[K1wJs:Փ~ *HUQ8̯ eK\#ZwE+ t2tğ?Y5^@:O=u!1`]Io4[cv|Ռ;ui8P4g(ÌE'9B"A"}"佀B͇"iՅ6qS*2 E\r L7u1[f2j.dP|$i'@z-l˗W3XLN|~,8S^⡢T4(/  MsHKĆ<,]fM4ZhTG#ѻSn(Gf4_37޶ԇ9 :0DPN5@-`]38j9[!(3՗*%iwٌ0lJ<ک줒.̓j50->EPhPdͦkdreL7@&Y]H H^tPWM$ cGc% 7Gi9ŠdA@1)֤mβ^6+i]*xV8NЮ C1yGSYL`pSgsojwcq^nlǐg?Q6!}M J>|S?+Y>NA2EÚK jٖ0һ#_/=M }%;yM5x ~F2yx|~@H Hb2 sIEiJbt-K,FU a\?*pd8r\#rD'g)dt'Hxm L%+]!(ݷKȖNĜ$ypb=jD@=r ~c\H/ XҨ2Nܭ q &dJPkK x .>( q>e+pIyЌzݞhF}J1("g|bvɱrSWB׶ކ׽V/o_"Oi`IJ2 ^@ĺQUr)оr NҏA#*^$NP dz:4RVq(l_ր Z͙d F[7/_[99't+rc[y1N(ֻqx4Uu1fuQ'l UY;ťKIr!ϏL!\ ~wK}Y[+WU?Q'roޒU5>yg(Qx>̀VuNB/ ?#RmCΡBJ,p j4PjW7zxg=#Ըo&Xfc)/R Y p)ɐ'*CWIRJ5vhkHEz#NxcfMWmJq;J5S:eX4)>iN زXO1GP!1қږm&ohsl]>ߺf%MaJ-p:fhiY514 [[cؓtڔCdlM=Hk?Pe>.Q bSSYD?|:ǠƪI$Ի2Zr:C ohNAƲ }7Av.Ne0LW.')hB 4V{q~@t` 'AuNN[rI$@9?-$Y BA@gV$10Op*&GxÙsٮ5M9ExCG q tfrQ'p (zǹz2 q|Rx10\aKRUXBBY>pÊ9̓k uކO]=-\W5k&`ޞ&THȷP]5Hi| /IV)_2v0 8u.zEY{h|H̀jw,k5\u 7<Nތ 2At| aY>]Avł254j̺d6{ $5:!!2:)qL¹7LPw6g9<\y}04mL$5;y&8: g,/t CYG`ʧ8 ON9bz@h/ sE bEʈJ`I[~K262 ^'rAѦŒn!=zP\ hr2V,M>zUVEto5lASqKQW^V'VN }1XbOཅ/2QV1IqЖ\r./DSk/1;FRCm:˄yRuVЎ.Qd-8(?dJC I;چ//;zvwED$w@CCC< t!]J-,/q~Vyq5 '{e685rlCzˠ!-)q<ʹ0\vc֏\!2kQmb 4<Y 2pԒ Jf3TQNNAZP'0 Z/$Y^pu|;I%\wT&8f{{ܤF <|_񺶨`g}EY*hg4=SYt ' @/ʙ|p^txq H6w-KUI+sKF:{>QmRZ7ö@Of WR hz|(0,PȠ[X Z{r;]Pi;-^kw.᚝_|iVyզSr4!onkz2@d6aQĸY@[oN牊r $|G;$FtQ*mjI"&p;*3BfH^s7>e2ȝ}N8 n`#L(ġ fCڍ6!V?MyniWMovIewB_'ݐ$NRTOA&#[)LE 2ZQط.Kߎ2uBxe[0C36{rJr+{lT{b%7 <Vįn-8P0_A *ܔu4 K4ah,n/uqsq*Sҧ7X #+ 6 2wCR_ptl1bEK۹'K[.YO PX'B*HP!bT9w{,N t745e`lymܑŲ"BV=C\O3GMToӯ"C&Y"-mn%gl'[41I#6|n#YP,U4bߛfM#2aCaa'|%zC]uZRЫw=uGR(jT\dyL):0qɠbeFEWz@ҜG 7L5ND,N*J_2؛%Ot qHŹuw |/Sm+īo*e~%j·0tq4}EX^.A+d|A?| m$~$[wR,92_t;FaTE3HviG[ԡs@Eq\hiEz|sv*n *zOqb-Y[ Ț-x:)z4eS2Tz@UOd|OXAP~&ab;f(W&Pbi .0т hQ%~}OAaRW&?;XLw'F5z.IeWvxuE8ێ4TbR_ʮRB&R,VnUHTsE)!aܴ@" pkX"kgeYry댛9Ĵ OqTL1M @cH!\pNpھy9fibq* Z'hqY=!2&f6i9\ JNP3 ڷkpKHsŻ0gj5K(A{5Uc{qr8'~)<\)L_'R242.,[i~ }1 B3EGʨ; KA֙3``O%a۾]'rY,]J;!mS ddT+3Q7掏 y˭7Y~K(O>6Lb+pkp~̉gi(2ssOFo&Tg0O0uZgjC"D)-A}l)AlV=;]y#%6Z)qX, BhYZ#)(aKX!34.flao*4sq5WK~?(fm)T"69ɤpmgez2:M lnIߩ*jƍ]wsʷ7ܞvyh@0U50h]ն 2*%bc}̽¸(hjWG}Vaho 8_IJҎ4d\Ox`4hgi옫 er(Oy P=^HsvEɱXLsf>hATpFh Qd:NdRkl|؆><ʐ)c{):K3RwҀ[5ʒa,U>(EϭzmX]kЉqt:9,*+*8⢏,S͢9^DHa%BX ')|֓R8%U+53)6ۚ1\õLH9^L_JᏳ =? (&/0N !af;q0?#?K_I +}%k{7,+!p;-2aN:iq;9uy8IU!`MRT.E)lnMY T/ʎl󛄅0UO&U~ϰݙQٟy~KdPb^e#zG٧>)mjA'O:!{,2ZQF)w >'N73J:PA}b;5ycv W/E^TCʧy94 µ˲~X>d' LX bS)ՊoxFss;Kj߉:[Ϭ#`khMeDdm o󊮉.bg1(f@>okhh|ƄXao?ʈ GAfғ`a͏@|rZj4u dM'+%QȱV fy,TTRRD)s?cN6]늟7l=B, >ߖ^M2ҸXS2KZA\|7ղr Ħ% \DB|8Ôsvij⽕ MEJԷKtU8dPX!ޱRzi@2nV~3q( -q &QzTj&ơM^fPPaSp Hy tt.,B'X @Ec<9{n׋J˖:7wv[O &kR ɲ/OhW9%b+yaL]:ysb Kk{g.gpz NcJT|.pn'"ΕB7N_JH^~<9-y0ggY8;7X 0.0J!t{*P]&ol .έں?9i_:ޤƢR0t4DW0;o/Ey1J& 9c.8,`7Jc= u? rvtF0c,YeL qK 4JK/E)E%ml) s/ v^51ݲ(Sw9w. :6ʧP+։`B=3'Qn8.h֎PFnE?yOCӆ!2C`Uo= w*Z⽡g7Ua%# .UBo5O-.ݼ퐒$ZI+%k#<9fKg{L;> vrOcPۨEMf+*5,ΞăEP .M5dۘ+2(hR/#)b4NӱV ($oiq.$DzՍ;$qP\|- ^R`\x\[LLV7'LsH=P&cDsTE_RWHoc3LȔI9 6W;i~aL]4%uPsF9 Ksһ3iWyZ?Z Nheͭ D ĺc`C( IH|w _6a} ?wN?\h:4=oߘG HuT|lVx#"@? '}@$:a?3(PH.?,p6WbWODT싯4bCY.NN[Z5\sQ#j,4mn/Rg,_(Ȍթqu[I.M{C )6&H@cۨAŒ@ 'ăfoݰ'wL*A1" zYn)5ǛM!n.a^sΥ,Ȯ[9tĄ%Seb՚FHØdI jI|sSgw; PۍܐʦsEzA|:QA2q~BYUS_o9ss)pZCLg7ɫ-C`?u%*s'8a{ J 0MřfQ]R,W?s7u=`Ci'7Rͼ@ 5-Q"ZcP朠{[Bl{2ΗގUULDidi]w ظM+*zqr+ yk~Sb'd |ǺM<چvGL8Yj*m996a}a3kRhU)-lA=DƢe6EujcQݲk^3+=KZ_M\q-EG#l[702hVԻ UѺ_BS[/r56:Tg$x>yԘCuR,Bk!{9Bȇhur,9NO-keIvY(X +~nCѼ?tK?kko=P+[_ؓGk׽=nn q!0Hj$'}A5]&Hw: _n хqb;HuOpM#r(.~Y4)l4' K'bFr7Erbp,b~{N=$ t4ι]N@nqث鶅tR}B^Dاl::o$ڙICߝ Rd)VM@̛UI#N䘜)(n+~|&yDKp;(NCV"m*:mufto_>7M(s 嶍l;NVv/l8-/穲$f).]\Po3Q9e{4Sח3"QCbhB~/!>xi%Q/awt,mAxrJxok"O5&Ӡ'ؐ.Kç.}E\}h-,®ƨD+sOZY Ftrw dG |~kl!@ibGOƌ4BƵof b*Q,p ?ſP EKL!#L8B5ב*88}m./Rkl]Tc6kN[@}~Q,mMt !:>9|ZԁC]b`eXf?ac5VCdFP)E6* [twzI[i1|}G"8Ӧ=sm  ^)B?|&G-zCx:bB]"<1FgR`Fո8 !1TVq0wqȷVW ǜQEt:KJ}}/`(I)O$H1l.;Է[AW~BV!2DyQ:w)ME+Mz W7,/z4F}˲s9U7 7P'3~[4H #fLWG2m.guf#ԅ4`+F#vƪу=RWbD\A#TԬ^o$P&}j&l?-g|9-#1K1}ޝWھX 'kwEߋ<{ }r0ڲD_͌YPZrf#QKi6%Yn8zF\<O2+N~ϸ4. `v?噺`5DFc6NwM;Q1EݠXZ1fpvxg fy|6K5Ȏ_ ׅ!c$a/]IE,j\ٞ &I) (C#QrlԦ*[VEX^3m \ hʲgYZ%B0@Ai_9GMF+q) M!&TZmfO0/w,xWuãU\e"Ar(&Zĉ@{R&/7(7) 'D@:4#my3se7#SW% !fh.kՇ:JJD#Ц04Ty2p֠ɲ*z>C~A-G`b_(%Fb0:+ D!8q0a>qn1]2Asߤ&]0jy '<87 =`f Iwa4i `b`|,_]6t<R9i:^~+Ǖ`kZ*z΋[(⪚We4 =HT0 j6isr6 F)UOyc/`<g͠p#ْB4n%0 a heB8󵭬 d[z^oܱF4lD r>APUX<9iSOHe:Nl(\BR gnB"I{bb{381`i [{dv-v(n 1 o^'pE E l|.L=ừR[>ވ`<)#$`!' 䭑Zg:LYfr ZQX[2wlx|VGǞKz"«h`{{S0ݳ}|'J4"vioUqeRt[z' ]hon<#~k]l;kR~r6=P+.u}w?37J~!onZ=,Cx*Bf0[P5i GO,'د(ȧyԒo/Z U&fͰD)Hsj*RUf\KMxzWHVIO/ưIJKQ蹧DʼTipyrbN^4MTm2[W@U ih֥G*m@:'G'M_`y` *˶[(06n1N9ו␬( f֬,'xx̂v.q/gS(~Td#'֧Uix[3nK]&$'u7I(a-}Fv}靖 .5S@ˆ5Ǯm@Ofx4t&Fu2d+d5%[|6, 7Na&)l |CNRrvf'7{}1fRifnl,fNo p02fKXag' 5 @R'?I|`Eڣf 9(ĪO8O5:6+2pj!gqŸ`Uvo'wmt 8=:6{?*2$vT ?~tJ@ef~gݝ. f<#T6s 6SKghP&aI2E<lNJI2~%Y<.`3E{{מ\&/Cgѿor@#2΃҉Kr;tI%vj΢0E8odܔw£6^$s JS w^-]e:MVoS]}A =eFbYy?=/܍T4_!09>r^l>`یjךoq@R zVwuT^SE1'U: $ puZ /2l.Y)n q3FwƚJ[VWWa2 `B!ӨšTߝ>QU?l+#Oݻv!54tG?g9 "/ԟ{U5<̜xht@w |;&? J|?E2رk_y~%496#:a)v҉@a\ϟ n=PԠێc\ YHhqx\߰ǀT}nvl4(2a׼ҽ8O F`~'yF&5%=3~,˽Oos+2]!xL~yla? s2=?J9=>b4s&vil':]iixYn!)LK1BMIjLµwndG S%Sl+]\A!VSZ _[rԊY W/Ov iӣNwGcD_0ќ!7A~IMpXKe_LoB >I$a%]p`^Mox\6Ud l *ɦ/ҐYcV͖h:HBrKk~ZyuJ(e/n?5%Щ<Mx:{$]}'aboTJu-Ô34 `}QwfFbQW }Pb ug -/#f,OpȎfvCD4M>:`Tt& *Ld c | O-%mї eAһ/w2 |)QI^biZ1/;=`ǷP!K֟vImDtQN.Y~^RlЎҨd|aPMA5keBƼ|_5$wޠg΋fě^+OпRAD hιxL Z{ Vx?Q[Lnrz.u? Xڬ_Ox-k[8;ӕ^SwEY;U0ןr,"6egcw;!1Ӑ~|5QMnүxm=tZ5ZY'&/$J5J~ x3%TN % ]KJQ_p>2q녛U>YI(8xː(M> 6ݚP0siBjt^C~ 7^"1D Fw HBϹ8F b4d2z=l4]&44Yf퉭)w k P6us 0|\D(%&n/s{Tg( Zgx5xbæ_nWxGfrx*IE鮣kU /P`T Qbג}Z6>6>:,2dlD<Yȩ|U@,>Ŷc'^ƅ@Foܟ#("M+ 9zp6 r0i=)&8;Ur|QXsymJ-!![ti_q/Fsu ebx~"l.NXKOɗ!M;TA20«bYogDBM6hjwrJTBzl݉v@ 7DO9=m/X6L3drZn0+ǥݦ~Cf<M3qWfN4SG"3)Oe@JJZW8y4:yOöS ?u+~Lc? WuRwIʽLвgWdtOA7c'%-VpeUUn ?VuLݪt)"|})%E8ORC,<¢{Gcg+zJ>E86a~m$x@qW60ߑg!ICҦ{W>HKdve+1S}{\>r([ r;q9 W`u4/vO\b =)~-ް|JٕO׋6ՉgFR.<8ʡ-&C=6,6O2¢D:H\q' sx,lu˱dkSLÁE$$R*BFHfkNQer3 ]8wKԮH"S0 \Vܤ?W~9_W#2F F(`VΦ1^K(s7j|Dky&?w^Y@E c`B=tjF 2\{b,[*ڨ 2ؘY+RwaMˬQ˴Ab6MFҸz\ p{ƳE{CY+̈9D1}&zk8 )7-N0d_H>!u0( 7~BT>SNBd԰ŒjrN^\tRCGaơy_n㙗inn<}WNX!pX2hcnڂW1q!7~YN}]p# )T% r 7Q5](z2b%az]_Y%>PL0+ϥ /ET(4^E >@ g{-;xŤI Eziz]f?vOlMFfiX z<䛻blS:uC; }(<]߆ȏvP=ݴ7IH3#"Пyke_j]*k8C!ƒmyb )QeEyѓWԏaojGߋ#CSa'!POCyOcTC#6x( /SQAhȢ"0.5Ɲ'w9`ׄJ~ k]7^m頸?u2Hᄹq$F?Y W9NؕM߶l#= ]3ݙDԣt) ,nlJL\z54qSg؇8 A%nԚӉ}0iC7h?p$cշí\]z[N]@wZ:HJJɲe+ 3kR:J܃8 %P+mڱ?!sMO+XN^  zMy%&Rl'"c*Q ]rojGٗHj0م]hK'`}("eg@f^ 9d]׌ں%IBe:uha/GtŻX_#Z PZksۆDP JE!$4Bo5˴>hX˖`~^Zl4}dE-$w'TT"Gm IJkjw(j1q,ukx^̿BjfxcBpGt Rzonq5댅T]U⺉&swj%N;uVpSܮ[{~yٛhH'7p ABp$vi8JS6%e,9:D#3(!<$8Ke7Bfe`2{eqe`iw\]bpਫI~:%cǐT{]zHꖵ &WӾfyv˪ 2^@fL3*z{JiBK('Ӵ-&.k0ݫ~ژv.1ϚFA(~ɋP$HkCB1f[Ix,6Q(;+Sx'{36CoiZ;_OmM>D7B8J#Gfۦ.݇ɖvy:$uEc}@ kc5zYX Ugq U2 N^v)\;~'`~_1~A>fSJIi1/hP34' /w5yg/@dq[(g҆q_: Qx΋ls.a jT' Vf~=]8qM>Llxc-a|Wb68سg#E/9]JU~ɭ)E^k?$@A?K@:#|fpx7vMM`7L4Fa,$mdSE~RM'!j:&/YQѣf-xdx$ itcFMjE6:ŝ;-wI*!֯ v df$dm߅8VK`@b|7g^L߭9{>¤bjfYoIg Q- z`΋M(=o 5ޱ~L_;UTHj_11Agx[eGx$!=g;M숴" XGYg9WA)m'[~ 9a@o4B|IwN'RXA)bҘzR&pw*o-!`,-L.^]Éc!g^IDgMbb`n>W@a5՜vK!d58:$O_Oj+}Rw\i!ugdQ:X ǰ3.G 7 3ޯ{3P]G쭻2iX2Oح#}Yf<*Ǽ- 0)vXGpd:e_g\+? 5DD/̥l$XaryJd=%,K:ψ(/btl‰Țڟ0j NL*7!b@urg_7 i݆ʟvZ_JO@R#@9 D/iYWi߮W_1`֊]Q;@w*J`Qmy@k `kGˊkc4;=d%FJՋr88<(tYiηlߡl˻w =-ˬnyW0Hе H]1!! lu""wuM6q3x;]ʧJhM@9/+ˊu nFAP `3/,$x u8Z~3N8=j*6l%]{7%d&ZvS[oجg@&f,B3@aPАnH伉`AC~У.C2]V}ogH&6h Rdxsln pam+& *"ر5+y^{~{d\u3Be%4_୤(ZDYpg9ztq3*=8~+Ue,`?x0S1st3&ʼ(l;fg_$w?v' .4]BBt0@\ѵoò^trp=K-?w hSe?.sT{q;b[l(tE$+=CQT8E>(̎}dI؎Ι[NIT ௏T!,/zh Dͦq-!UO.cTDᛦm)q}/`Te:3Y/'^zա%gs!]b[hW!7`czDr) #DCV 98 .C3TL%]j떘sIfu! NBa@2Ņ"DlbK6 ߚl5"j9x<\.JSO}@ 72򀱀t4tU ܜDkʆ -b]iYd z Cf%j1dxU%GfFAsj$]^u|I %ݳ(@vn^lqmWV2Tћ܄6{q5.]_YC$#h\E?Sb֏챰5 TAxy>8y3+/ի̖}peS91<ȇEWF%gJZvU e2B ;OW:75B,?u"@zsLDwΉW9zSGp"}PXR\j{?5*9H~I[Rݙ9 PÉԋbIyJխ2 ^~OG諭C[d1^uJBb_Նf6s| >*A|Sc>l  @f 8]vm jM}Hs4@AXDUQs9o_00*g ֍1h6l62AC[W)c6äi_%@z.4%N4Z]Mbߤ1ǩfbnZy=kH~(Szkȸ!RAT1v <-}Ƨ'2;~ 28L)rg%-%SWti $!5 $0J 3ՆVtľ?5)ֿcd&_JZR2A//p7lW&kO35P` 62VbٙIumٶ*3JhO,XD1 6FYK)O,>˷C3@^kY Oۥ,!ѩH7tʽ_Ϟ=*G!辶 8A؇kI8 jUf_H^uȍ /$c&(]A}U uaSlBe[=>_̆ݑ(ݢ\ބ$A,r=H1ce$̚@\ ܑ J7Ag=3x֕zC7[v[1NLR}00BGEW5eB*c[IPd# c0'ꔤ珻b-Oj2yLE&g]^(|@ʏff͘ 㻫JZT0>fJX'`里H["xNϲ=I78dEkQ1:T7=P4!0^9$-ytG*vl m'x)~"CXC UMf7 ʆ_7_X=_'i0>D*x/t5JyԘkXa"*>.[G SnšUvyR\-Mݓ>9xG$\)AT8gh/L[JNM4jz]WQCC'C7h& ;\?pY}FLZ:ڏ; g*9G,3xT&ÀINFy |ir.ls|4az^1gtءA8V!]UQ$Jz%Fg4W)W@x>愭]vClqUpcA^$Rw2$#4n\:fsIg gvYUTjf*qSU˘=@}xMR3H4҆( ;Fpj^հ-9'ٌ\@@?&UH۟@lUk?5D u]g+} ̗]5Bɭ©&z8G.R6}ȇ+mS+GU&,\_s,EWCaKN硻;V;sϳ Ý1U}'\viO2@"'ߚ5LY.c5Viey+  ׸2Xm_DE}ܾ6ٶWP4݀DQ]A_Fi=*vs7)+^>lYUlR}י?]5(~%i0$P7/T>sKSOA9 ԸYK1 V\gw1PHf)zeբo؁*N(>6tkt-ph]OD-[o?vm \:bߧDU%bUdO/Ƞ-֠b6]v|ɡH8xSN K*!! NRʙWNV!1묣cЬtmHJ`3)<8j ]X.愵 uLBO;l]颏,1/9=u3@( i_EP.VxODR4Z%f54HYi9H ~| 7@aZr 2>3 7@:pUï@_isLnC5*Wg2:QgǮ0pLD9znZakHMDŽ]ۉkp2b@<SȸOӯ 9bjc'%͓c AU(ųl?_Cwu1 fx;>`*XbY6Lm"cJ& Mr:f2buGAU3)5Y5UVG ҅[<=)J׼yY>}@u}~ ^!:Gx' cbfLȨ3YnoyAazX㡣>!SnqۀOoFʠv.hLI<*km WoS'ƯAkr_*[091&KjKև4}a,_ ŇlC!ɮnݢM4Î*Re"K21Rͭ,4j%&ègxnQwJx&PLpGCMܤaOvI'l o{p-Sc&՞>HYmـ|!˒ i*B/;bd4~T!2'Xć%'if>0AT2bz&GݪEN*XKD}0bIo2Iك=$qE e;:tZy #Ǧ1`r!*uyſ -0 v1Ҳ|rccG6<,lR%wod$;8ϴ%D3 [6<&ڷbWwAe+wEnnb{?Kg ϫ@=SQ ,i:sCE~[ab+:`N+6.y7$b L9CQ WN*:?\1Xwg~ \d\,ҩ7Tj!{fHKxh*\hhĴAs߇:5tIu֘ n')&͘.PCO%GBp]6ۣ[;I\_ tT<;Ң=3NaǞ<i hJG&*ԢҦ(oLSw9wyA#_ܪU~38 D>qZAߏ6wge Q8{1S_9UcO(qC&})3{#AϾb#Eu~DɄ‹Bd<+;Ksa7sݖ+ 7}1odTވ 9+tFNTo*9T*WNFdt?=}Bi1i }Q85EHAi9ӓF"ANmͼQ.fg³)6 +vO7&_3o9F(dX_zD:_;OQȳ唱Ó,n"R؟J\ǒGmnS<{&B\Em2t*wbTWI%r>s1S# zH9d?]:h :N턣(E{aA7M*Fᰩ/J7{E2V rvTuR t2'n@۲8Yu"<&tЁC tB>hl*³.qnߚy語uYj^uHnF, ?,ǬC0EMbBEh#$Y)T/g9Bxu}yGkU#Lӫu\_bRF(Q+mi;=5N&U@cHB翗 aC4v#2xG%gF߾8@g@o&(-;:BHۣ6 +uֶ҃mWŠFM- ׸ j^~௏Ɇ yidIu cI͵+ X)i偤W;6Ͳ>br VJGͰaj6tn !>E!k(\Wbs2]9DغOк4勲sUzk&@zKr(ჲӇv՛c%򢑓.ƐO4"!M,t)>v24GL3j6e*cZ%s9ȌO6iy]0].RI0|deR9!|#K/6۱j+/'3GBpwl%>\4CU"𾻳Y/Hk@/ 8\ꒀh~vՑfdI|֑KxGR-+3I[r⹐al0uWRr !6%mheIE2N$ :;4T`'.7A;d3&! a&AqI ߋz;fݨ̅{uωk:Jyz._hE=)MU_/YQ\UicNl B=/?h)S;Γ,RIw҂/,?agKj"J IfP-ОvVat ه[I `;1,ا16΂"e^F/;À= P!A5aN2q x~ͮҍV׋ѻ#3rfO +_[Nr{V>RkB,#ɞYz{tx@p~#UbES`Jj(;#'z}΍&z)gY"Fp 2$ -3-vc Y6yM_|SP8D.ҮShwC%uuGKADC3[?pupRZ6Gf4y2o1KL=c|8A.bOd5:|i fd9 ҧo:rM58BB}u? nǏET4K}iD(t ɷ|*?07]&ىF?o9;qkڢa SCz#z3ﰧ22Йb#k9P-i+-\DF;ӗ1F3BR[=uhk`7}} XfPp/1?/vYJqGեX 1{/~!־=?tTy=$@!]WTF8Zt fYVkԆq:wϻU5weە W%%hncuf ? xW;l >)`ϮMpEG0ȎRAPlyM9V}ڙY^+ a‹+AFIE/q#s;8L4ìM'2xGZBrtܭ;~.flG+Vw0<.b5#p_DyrdΧQ?Mà;Wq8Bƥl՜Q haP#?48d;nj~H'wir>Yy$kS <_ AmU$ϛ)EoaZ=_?P$.֩2m}#Fsq#gs=.` 61"U/0| x H!?VV-d.SuZe~M&fە>{n=-nːZBtT@Xym`F kFdehOv]BЉrG9Vh ].ގ%k ǭ[;>Nۖ\'E5I^6 ~@yT^*II&}ʌٓwRi/ud{`/N(YWh֒V&kU;j?Q -W[E6fQI-:alMC~8,|y_)ZsÚ7 dT=ʐ= T޼1^P3{{uq'|Z,Yb,Vjq'NN![սac3ZA ݭYNC%:R̓aPHTGlqL0 A㱙{ga58$U-?{}ݻ3"Bo eo{ 6qNRK)fՒY?W y,NHR%L$7%{xFr:_ΌXا#mGS!$?Ԯˌ3 5`mU-U{V39+ m1N<&uusZoo2Z\`AUvdo-/+ ޝ w|F]`&0C!lvig.]/Vݣ${QhGD%ǘd\%w7g7x\//^y6 gG{AuB* G#=lu"0Ӈ#0R)ήc?N 0jdD.?.X3oA8,BÑӉIWSA"NX|6D{pqf cY?}t8&dyJ5/7A$hxǵ-a@&8.vT齸]>lx(Mu]N0pSw3\+ln7 "r|:Źxc70%b=7"mD7\TꦜP[n_лTjw)hh9 /\Z6Tso0d~'cShE2hY‰mzoܖBt 2{i#*U7AsIϸX_;(D]5&48߶s%yeڸUPp* _w43.|bL8v֓ J>٢4e`5㽅GT=O'+ D SZIgfApz2z~c }Xj=o8kFc>3N5܇O{HqF:>1o幫q"UY+e:{Yb>{l֮lsQub@Ijڨ6c冘|@`f7fX2R3yz/FMovX-Y$~2VF.E])s7 =lD/Y=p>P\-1i'Z m Hqٰmd%v8l%U# %GVxBv _cޙ@/7Ⴋ6)?i0[r\Œ-P]V[OZG}W-uUO"VOSXYm ,N~Ւ*P,`HN ]hu)y $3BX-ߋ[n]5 Nهrp;UQ OE 0oWb5|z*N!R 2CNtȔPQ`)RYc5H_)0ːS%V[8v??ڤ'sYF0 }i罆}\<^_T5FLMy[N93]'u傳$ GR*4k%q2ըvWp#jxSA;\^Y^[_>\877n̈́޷6mE~ѤFK y}{woNU9 4 JbLn&K0qc ]z1B8P=r!JUECFg#fog>F@|UTxczVeI\fH~Ѧ`5 XB _M(1 TMƌ^: ǔa,,񹍑J~p:-[d`K Ӝk"v{( K+']iVe{C|P_mB'FgDl ,ntJsq@6(TrJP:F]n`$MѺBGdb1&F"J>|z^3e/&. 6dT{q5詇fcY@7=IT窱7:4U/Y5DTFdܷEU PDfKVU-7aDTė$͓b*SқkM7I9D^[oXUpCs֒6<ﻦ/EBUy躞W g|"Ʋr#E 9sHnɟ2 1e #Ov,S'1yi̟5M7sfw;r%Xm2zMtl DAy)"x(?~਒82n ؿB=e[i A$n_>C,A)w]yXk+ \uCݙLSz$knk>(CQAMmPi~ӎUbޏ1 TTjI8yb)olE px&?xW'ۍ7a쬽`d@}(3ucC]1+35+wόuoO⧱C/$.% (?-"ƒ3.1f}KpD-YLT[%vM23/S:VܐŘط9LQc uXqo`2AOz^:ͣ C#MWEuQ G Gw$3u 5jGqR@1R.)áCvL]iz%LEJk}d;w!SHA[8;=\EfJv [/̛<>HJ.1:"1zMЂӆYq!, Ė2')@~m,6!+)X~Q`|BA=9p9]8YO3?<ݰ0JB#Ÿ @Lۑs|@{gr6\`~̈́S !i=,j@< ӬܰSM1K=`[ޑm%1c=)R;q8Ꞧ3B˱-@AGph3k8T* Y=;_r. 64CQ1#"2DW[w ,(\WjЖ!32﷫uat2xPQTJ질DTWT7+ԇtF'CPjäl>Rzܓ8^ ap>0r h emۃv=%1B$%px;_'q#Q y9ԬȠcޚxt_0]92%(4ت*vW  <׊ou"4ywx7\s;)ajwީvoN-=?W-X-B JxH6[y+0^Ξ=$|&ρA G5Ko }c_>3B^ըM`JW y /H׌D`Qbz/̫pmY/\6CMxj: nNv1Rj?lퟻ)?6ZV2TN {'NwLKgďI#?gҲcZOdM_sGJ9Ho~\X^oKve? uqayHK{iHPB2F^h %H/\4`kMuKavߎ]s8`kXCޢBys7Li('RKc 6~Gg/0}?T:Ja*t#*/t뽬e''a憋?6sFaX qklff7)]cRC2 [ ?2 NfN͘tj\2^RN!A+8O\Ne`/ue2mgkb/@T`-ia渏qԴx_vB8DD+E䵬#ꗆ`=<ņkfT'$L' O%{ !g_Zy%XArW兜AݖCdǔ*3LL[ﳗr*_Mf˓N s>\UaKl%?.m,Ue Fk G/h>9E%h/VcJț{I 5bZ5} Ԡ u޴>*+^*:k(Az.Slu'jpْY?ǘKHkӉ >6pCk{b# CoK$LsIWg\=0}*3uif@GvlesVǠ0!E/+7r`u]Y^ ^y-o795aWSuZ8 l}fm0,qZD}J$|荀=S x4H-,ވ!eHs<)f/.> _6R~j"j7t-5ۜ5/*_瓧/ @o~-Μj f/3h>mfD"Ȧ piA@ ZRƽZt3?G_.cwj_L >_bO=8Zgˈ0e8˩p[ 8sUgc@?%{s9D LK~l@G<]@$QZONިg1Wӥ#q\mC.9 _z Eg]S}fK[}\oV8K 'l MIz>ţ@:2 *_},o$$Ӡ+G n6J,G !xRor,6ƣ>瀡.p?gt*J/m *k6oп.i/+F%r3##c- Pu06Jex.cLfs֫¶Mޏr'{I @ .L MW'恳o1RPjs6R#4<Ŭ_f-! ?rkܣ~6{/]I7妤{v!RÒc^]r'cŢ8C{ 6\mUB;th;ʁ=|S=R. pLŘ]E Z#ylR] T071cQ5G~(rsפfۆ~ǃˇ˯ Ž  %柞ڡf!HGxY9 _ݼd^9n^P'5Sk#Ly] YR3]Q9%R3IgV9U>Pa W4송 a/8d>`aGu*&T;z^OJ4i"ِZ%lyC4>_9[E79:I6]iW@*J?5qJ*LT5$!G&*YngˮȡؗO^[Jx VQ~F 1:ds+|qk 6֓=IH^Ɯf~4&hOXIF#9~ )쵂 Zm3/]krbQ7ivI, Y\Zl fD{hj>~I'cCTA*t X$OAB`g@i@HM&9')ٿ_y e^&Un}y@oFF(*j$c0˖ёH;OFPh[۱7_Ne"_΂0A1jBbL+B2!:\cCV;}+BǤ'A^t*G ӽLct-TARF>濺اr( CtC!=~s rKIݨ !>e_# c% iPVӲhI6W V>[;Ҡ -/Bt0?58޹TX<}Z\Юt. SLY+%SiJ[o5sxµā6;aӤ2#7b-s`3LMubϐ!Rջ3GdUs&^T`"?Q[ PVi#nЉ2zY­]XV58N]YsFԘmC`Թƚ ˹*/%<ƒ}B~_Mz88Lk0@K4d&w%>\;|TmSSaC"|_+k<9w`?# OPU2+' CˠyF"Һkw;gWjIʗԋ?î+v[G} ]MM;`{'U,[qw#8^* U4Qtm םoquÐ`2v4U-=#Dn[*C+/ CܶdvL9yc?*.6EJ{HKvсqJj-с%!@䴗N~DKu64*)'agd{B!hIub;,!$ж|^ F DK-w6=զɍ2'DÖ`1]L6gU3-C"0S%$u0WAzr/+0wr%w+>1m`r!)&BmnN0YaˀAx? 붸0^N 3;>(4iX\Ǧ~(> 0CY{$i m\dY9] >vΘi&H@T ? ? : Ghd=}1vz$%@'i { M"Y퇱 85o$fY'eKLo醘 ۃ=?w ϵj3DL̺WUՍ3]v'lVkrr ben/gB}ﳒbS+l5 dZr\@0AxsÍ[?E>O;1&,݉rjMע'9A",@̔-C ݅8 cܹkkYȣC HKC݀ qɃ=/^<S;>7x#3,6lр(z[|6"2nVQi`,TXfѲdnP*7WQDɰ6ȖoTw]j=W=S}FI,?RS_]XPMc՟'Br g4f=w%"5]E?Mv.Lt<TgǥvM,s LcDfM`fd⩑xaV.?Y/8 2Dʮ)ZhyW@vB Gn)L :QzY~'վ~/+69r_/F XgxrfrFwPtIS{!b3|B  n,u%14ũi" A26z Ǽ' ?-!eM];np:w+Li )(.SF/V \R!ءz]"cBZD}q)]Fdz#/Q`܆f8зExAdk s?rʳDK2CRuR6x@\zpAx3~W›(Qrg02)}x;drdo2fH7jńY' HNopAfB1 Xm|oT05:_p1 GQɸr/pjjȿczf8/PmE;]kxT[rzag's0,WUsr@Tn(7=uyl0삣f'c?8"59C'`ptѨSxx}( YoX.6>^R HH ݨs1nCm3@oGͶZONƖ@iBV]F.vI җ} qf?4fm[9u3E y]OY"Aj6M6B ߏuߛ PF,w. <U+EW Ԉ6Tf)k#S W/xT~aJښggf?#0@Pۖ}Dx /(* a@I9Ƚ7&6QQ!7SU/5H]̂1yIf9 jq/g1 QXI~ uAm3gS"U&o8Dt$?2eHfZf6U3YL+~~ ء'dM}1Um٩F=)D*YX:`NI٥ =9 K1nLA̎z3M\ٛ=7k01(y F$uf\e2>>ēh:_4@َ"2i"ZĦɰvW #"} ;-SjA*\~];6ߓ{ĆBӳ_?EJצmQo&ay܋f?=BmI@׀cϼ*HNQqEX 6$_Nb-K{8kV1x}kd7SJ/*]$\Y_V66/J%!ifZj̓(q2r;QFĄ0q2,7;҂Ta]G tHj`xfWb{rTJm1EN'064u~+l&p$Fu]#9/Ҹn1bFk*&=2R+Z&}9jg؊<_KW>h{!`y=HΙx9bQR !6}& >gݙ T/RrQ)uW@%Ӕ\Mߓ_b *jfH$\*Ǫ;@g6Vz=@Y! +V;ݐ{מ 01ԕOJ"Ufe'ODƎM2sk CAZy%]c WqtKDGVsCqCR/VU;Qs{яYحޔdT =8CG{Zxv:6 G}*N~^.jKGsO[T,ѨFq0RmIl2G wH\p ?}KZcV-|5~a #H_`|F_dmyI&Xc~ *S%S{ڙW~ p#>W; ]&tLR2?crL_4!?lG. Gy1C "z::W6 a{ Pp26@@2(M!>1.2&ܟixވ\ xeK AI/GգO~]_U${eoAnAĎfJ1a{: -dPTK ,|M>C~;GhVd UaDNVw&w4Juݞ6̐84Ё SC+5 |%$Ǖ4%!1),Kh\e tP :|zsl+{B`r8sk2 t!St/j|&a}A?3yy E]UPVlR ㍐~:UXRntm:GVR}eY>C,B,@@?C~i*4Q4;BWkrlZt@KBsv /ҖB=Bce-́ ..q5֑9\ƛνj{}(/^aCq)%컁[@ZEyX N Ow})-&5,qm:1J·.%k\_&?OyZ(HԶǎ-Se2~خܬ&'U|&nWH6~nxxUiFJE4Y/ڨ zH; lBHK95|TvuqPIV*M٨[]N!U"|c*Y퍍k -o#-AN>K n/^.+{/cgQFܟC3DZF~%= ti4(f/j ۣiIj8_?,T 3Ղ&qNtAJs<_QCbmZO6*yn T٥,zFW+%bL*.j6)E߼i^rƄ1IwAGDY!\t+ŠZ,i`t/EV)f\5ݴ߻8g̱#0zZk@BdmBY& :|P|ޞRtޒ1Iej}SG-yB?H)!Gv rrJ~3]|z&x1V6Hq\ sǥM:r(`է‘Ry앜92f??1:;" ytFgBjz/n墉3b+5ew=S`+>1If+2d&D"+o%v;E8}')/1-|}gN2n\1JYxzA&\1OSMhgFb_7HgGWgq\(W܉Z:BVcbud};\K\~Ͷ(e{_c 5nX?btݝV}:q3L>=_H܇y11Ps?PKpE[֏G3Һb. S)^0LUv9@ʇh/:v:W qLf {OD>[ɧH(]RNDU]8SPcգX 6Bne=%s skwB7wB m 9,XPNYptZs'Ar&ݜt))D&h[vO&HMpdAV: `iT# s/26iUObV!-*Zm="94v)*UT['X{DUs-2Pt;Iuyװ}Aj$L,rEp.lNbL1SZ5 uBKkc@뜢{,l^,ZaM>rJh ?9>QoT61kWCsS3p'U>b 9́Ek#EEv?  R*݅fŇT p\2u_=Ov#Lv61K:76/>-oZa58ΎGToN魐L V̭ȟ33CNl-ꜞ^C~]IK~Iޡ]U\wq!匓V;-iw:Ϫu78pf@ }MBۤFQ\I&*σ‘} qq, NsnSִŝ{iM8ꚟ-!j/=;uojl;p{/v/5 ⭧8<ɡo ̱GƋil6_F^Š9$Uz|@<MX6G/%M}k i5,^E *I|sXxuCxAYD`y8{1K8UkKwyBHfy D])͍ {{IrvBLɺd2f]aZ{~iW&o 9Q௥{ =JîAymq9 + gjNK7Vs@XR }(7KZPh p25ʼn;ެU mƶ!iI1g[Np?_Ÿp9E*/a.MC:0yC0Q<Ln bgfx֛3EXb'nocO"׎ë́—:)&fj(n(( e$tRh10k˺u@ǞNX'*"8,hh+򂔤/]O!u$a@֬nz4r"]W΋_hDؿŬ$E Mo7iSPy#{2H_~ikmͮrW(ݡd^Lq,@rQ S e;mhntt}7d C%I@{]EL>PA#LH&\495{|{kK+MN+и }g@" QZv_UT#T9gK {,rQvAFF+Nb^$)r `ӅIr%})锰gx%aQ4ex R)'sfV~PaڦAg6yQaQʂ-YNsRCso^dm?<ːa_N,wNR/\ϺmIB_m06/*RMsB *! =pC_q0%y_"P>6m9(<>(R@c&k90sc3#|r[_dLÝ -|~B> ۃ]lj8Kl!?RW&Zs1O@wM.bI?faS "¨N\sC|[pV9m1nk^GΈ oh҇!%.E(zB)`(Ty r>wC|~,QCe`{yeŇ 3{P=S$̓P1/$.',4bt fq_"7쬎ҜEz "IX_IE ǎԭv']rcΣ$S$Q$'9V\wDÍ%[;D7AGA7Id*[-dbNz'A+-f?5ܱ{C8y3.^5>u86QugC2;yvP[ዋf' `Sh^#d;;l]FeBbW&H0 )/ګO nNJj3{}x;2[2 JkJ-{($rAS&\R s"ss?YT5C!;L G2W K#wD$)ࡍ\3$Ow>5efqaiD5;V'[ ̧; H&x6iH~v0]P7c0O~p E1h$gHTƚ|V:,Qq9)7p/ Xͽ%m 0T%5sKw|-ՆOqL1Ёh@a'4%-=my?*"J>I|+!;ϱI|fqqh 9@D4]g:ڟ.]='])r]b?Hcқ\1SeپG Eʯ䕾Ne*XIzܔ oMP"d† 7K{ Һxxnx JjYwZwEg2Ż.P41A:6ϣmӘn n׻G'qeBKܭn< y- QV/ x'/GHCa}4~{9e-ύ^  ݝ%vTq5QRsA#3Sw8q%f1sCɁ2K= 6̮˪ڛnImn"ɅS0T^n\J ~\t}5*)pT?SǨ"Fj,2Z/ vY p&m: JY%UUٵIw̪XV'bڠfoAE,5Z[|Hr X3ILwQkŦdͽcEխC fQR^ot^6T n/W$v^ӱ҂v$֬LF fBE~]ʽ<#2s^ ~ͥCu^iў@JM3vgYSn`c"G]ǮbmC0}ضFJixAKoɓKSG8t=&l!)nyzaYiE@f!"Z͆+1'i7~%cS- 0gtjo~q 8p;M|%m1D $|bN>thwJѯSQC='N (+ㆰK.E35AgW-EXxrk1"vL4_U"Z#eD^i>Ý> "%EU*^(h*1a}>oLv\cY: HbH|fNCM1mw(q۪QD>ޭr >s h_H}z~$\SUZs:|)Ē-` QS}w4AAE|ۭDWL4Dul.r\Tw/ nJ=PTo?Ȝ &@We:LG]:W=b!>ᒓ.:D԰MQȿcU&̘[NZ B.ĴazE1M :7}Q5L*> /Y+s5ӑ|q?/*7O{هcCzUd C=4_H^\M/ǿN,1[/K`%VoVyfV't@]{0 YZ$-KGzVܮP@ϙa3Erꤨ/^! < Ԅme(`aJ .wmYsՠ{m*l/d}qFn<`Х=2NҵJ$欿m)z6Zi[*O.h3{($-6RI`]7;:#S]Vz`ZaN-[gs8ѬFp4wzDt f>m;^YM)]N 73fun?YΧ/j8J[tG|;& *u{|&+/ |ja\f|w0O ]TڿÆ?"׮Еsv?w%{ ʊ EY7 (: NK%W)r$ Y{BE֜ sIࣤS'#)'p+tb$=g+n3_>i/?2aCWÞldZy(ľԀ[C?Xu8EK#ڑ 񐮲,1Դ):Ȣ5(sř6OA?h8΂1Sm!jW%F::XLknme~7KLm(A'ڬѠIQZ#WxtRcT*`O6oE_tv聻Q8+ICu 1xU:nk_&Ap%Mhwkn'rc Sr._@{gc=)^xehkcPӭbKfIمNe[@Ga: - }So`R0/Hkz=d B쇧0nO3e ?6Y0^RQLbF({iX:X^  <TCV6V(ˊmЛFdkzCX+}LlKYx{\ JN3SGzC=JG6%fVyXZƠ`˒l3 ͮ!̦` UtY4|OZux]^LtI$9;_k[=e ׺=3+) ga꜖~gE0zBh|+!O0_&[RzY]Nz+j1XYv,5SP[?GapGc3DžSKmGT}=^n]6hHj/A-Kh;DE0؋<:دk_g6N\sR"׊X nL7--C (sn]=>3=v$%dVZz}j0Ӕ;0YZ  Iy' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/messages7zXZִF! L\]·Iq n[:|&[z7󬏿=w-#EvwMu ~-E҂a<Л1nN@Cib OJŷUG #J߸p2{4otTS/`@+*E 1L߇_>GٖUIY~b -'D|mȝbƼYg,<QБ*A3zb_#ґICwph}! 'L-}x==P6iVMOz=Kv Zcy4IJ9SHj!p%;R{k5Kt:st]겻qKrNVW&`>./GW59~` mꗱcZy˱gL@uF/]%6h"ہ`k[_j8p >RO ?z%/ |(` !:Hַ|drþnq]dmcBW"0W1[;/d>N {xa'2bc(3Ba7tGzRsѸN4=+~PG&ȩlثd'dls*m n.B3BUy-זpSӉFjS#z☆r[a0/8B+אJߟI@,lzjVtNJlү}0ĂSdNQkT@N'.F :/΅cs}h!dկ7I+ѱD6y >ډ?PYvj$ҠRgC?0eq_?I/ H=6`A 9cK'\o7ұjF`^(Kz(;u-@~G$mͳECk:)-I(I:{B snY;À!$LM`hs+% C8\YS8=ä٠=h_lrv@:]FVK{ZJs wKFf@cG̖6RA뛛2 \6R-26c&t?Ͻ ҈\.]j]/.(p.:V7p{_A7{k0y-_aF`KrN=ׯRGu%cܦa]ؘfCVn!*)32b83Q;+TAf{YW0d's)-zG}4,NTC&Vݿ}[iw)ti^SiݸJTkîZkUxj4%qgpr4*[# qf T)0_ RGXrԕXJU#f8nqx@8b L"oDl&\יtVo<ȒdvY(x2otaN,X*!O4VRZ$]<%_kzR_i"qsdc?^0qcp謵㇊sG9G*2y ,-~&V5B9w N YAJP;z2OM$vdVK9T,f+c[!?;-- ImE va;vJuE3ed"pݱMeE6*8J(鉃kJYω{V_g"Z_-&W5MfoԺ&Y. we i|Swѽw6'G@G.R8F$@Aw4n=ҙոU9LGp*~.mm^L,w!0X*q gذԶQe=T q8` `wr]E;w6TLo8]CukQWxg ׆B+ds 6]~TeμwOl.5;A=א ^Z9UY;,IT**Ðv@K][$U@c-x)${+/y-K!a~%܌SW[m*x|GP@H?2> :wl楚 lLHoJG6mџ2ckCbUKFS#T_L# B*gI,:)ȾGY4ա1{wVKsyc `?3 YMf5XcjU1MlJoȘC$.kTAnbGo۟Jʬ7PPMߪ`qKu/|%l_{  I1lTnRTAp?eH>UK0?hX'qmE^t7ZjTu)/j)Œ5j) yP4?qAكBp|qQ]cTI5+0yt$G"?DtҲTӒl Coaqߵ$_FE"b_"m*P,ن#[qֹͰ ĕ[ZEP2JSۏ7YrV Moj&뾼]X$ |7 A21a?1EDC;!f W ҪX|w!48PLC*|R2[=,XWK=\7 Y-sw<s]?XAJzWR GQP]=8Sm"tCމ爐6ʛZޯc5bݻV֝Tc|~ʲ{"ϰF+SFT'XWSa)O#mS8[ka!& 'ٮN8$BR5$  !i!Ie# $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/markup7zXZִF! I]: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#Xu H'N[zr6ΎAlO/;'dtLyz"L=%/P:GsQR壜L%MFV*i^KMEuf4l8?[AoCVY~zf~0MɍUw * Ӄ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:QuPL9bitqwRNy]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 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  :$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(VBgYZC#Ie' THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_ExamplesPIDE/messages7zXZִF! "]·Iq n[:|&[z~Vqi>(gOON~?Mˌn+NC]vcԉb-#1CciUÀ;.7ۨ„SI=|#}K9r9A@F`=НpQ]^TxC˘+sQ"Ckw:لQ^h=hծ2=|GK& y.W@DO!yV'Ge^a8z"o93<-ƃ=M:`!ʯ6gީg$9L_z?XP&dTVN?ůQL#P&E| ^dasO5&B2g\ʂ;;_!ђ) ݨ2CX%~\`_Ord23AH)J?{V.cO/QJViAUr},-d w 2Kim #ևm ĺ ÒcP6be$;hC4bw8^4 kTvfD!`ҰYRㆀ]/(4M'gYZ ^ ^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 lD[rU[8*FhwAÁw)FFO[Nu{p(4P~j=)pzld>] 02/k;OM>a۸o%I;M, V @'XJNѵe)">beWei–kw[}SG-ͩz)bHl^GFdbq1f6 `gYZ j'I;' LHOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages7zXZִF! wZ]Άxʆ5.f-9 rq9,殡Ҁٰ//dp !<d5qnb&:XӕpN~}ӎ x0MCۓ8({C'Dt ZC[<!б ~틻5XiŹj+P.PgL_ 1 TΛEhd2L ^$F3-JGHT EtZPЌf%0+(S?n䫴t/[/A ׽yk/Pbn+JUϤ >SHdyVO3f#ek TenEz6Q_3IsTpap0_tWF` ^mCx `Ƈ))*c)wp5 utıXӣ؝ /5VԪ?u;3'<@dP'kG;bI(p){@y$B?rvZJT35|]fdQPz^y@5'kXZbOT_UGfR}i; l{K67}a ֚^mߍR1e/qZI~|UJ8T@B'r&otë?h1NK-*3:Rܡ|ku7#¨3WNq+qO {q\zcMId! V٥HtԝpWo46mabЯ0*൞R-G#i8v*)☸+!%6K2u&Oᒧ:/OKg:4S}ugJ4fw먘9%O^Jd#C i4}FW:sy@e˯ F!,uعOB yXx>wd/Adv1傦91gIj 4Z'ϦgM L#<@NP@+V_/eִbaW vj9Лj$o;շ##hJE[-qZ4QcX/{ZuS'x L Pz9ZPN=De[1^MKt_u̙wBքdpD੠7vi@n"W+u𷷕w餍|V] |- )[8; a]DDR Z`/AGG"pA7 ,#z8X3CB{^E:T-,։@ygN|SEVxamq6ɃrV0w s^A(B!_?%͖Y@9w˶żXr³#di7ڡ~jOw_T dmTHF$A ͍V@=_DvD^#ѣheFc] cI&zNJ2u{pR3& 9c^\?~&d|r^-HS {Z~zbID<[Z^c-pՑHE7ۼ _9Kf6Г%/BNC`MX]/t&}LTp_|hghgYZ [["(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 }M & !]}f_m?. N H  Pw xIsOHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument/Code_Prolog_Examples.tex(HI;'HOL-Predicate_Compile_ExamplesHOL-Library.Code_PrologPIDE/messages'jIeAHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument/Hotel_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$[Ie#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/markup-dIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages,bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/markup+SI;=HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument/Code_Prolog.tex wAHOL-PredicatedIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages1bIs#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup/]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_ExamplePIDE/messages.XI['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/messages UHOL-PredicatekI#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/markup2VI[#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.ExamplesPIDE/markup_Ii'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages]Ii#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup['HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_QuickmI'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages3 I_HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument/Context_Free_Grammar_Example.tex0`I[7HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument/Examples.tex f#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_ExamplesPIDE/markupIikHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.texYI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages qHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/Predicate_Compile_Quickcheck_Examples.texWI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markupUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/messagesSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1PIDE/markup UHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.tex 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/markupKT'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_2document/IMP_2.tex1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/IMP_3.texYIU1 HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/IMP_4.tex OK  % \ p m   k 9_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*~IyUHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument/Specialisation_Examples.tex gIy'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"\Ig#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup)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 n)Ig# ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/markup7zXZִF! O]: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\eCUU;ʷLNCi[=CCl}L.ec;f&ڗo63'o.ec{Kѩl /(_# U l an;Q13諯k*(a q29@OAkeؚgC&Jmi2%UڛQ! \<3Bh,·ڋ] tyx+=+Baެ}jHZދsR\92 $;#!gƅ Yԏ\רlrۨP=M..Jĝ `82>vAciqI\uqMj<^9V~ g^]G Z35ר baZȟAeAtCFѢF{VꥣX42ع's2IZO"lj 4NqfCiO9;,qBUKw!S tuxd'u6PmȍtvWAºt$qČ쥐++*Ʈ饯AOxU{h,Z?l #zoŝv$(Q]js\ C|R_ߗ#͚b~?m8ROuSLx('ӔJYTx ߝR U!"G&b1[4}8l<P:h"m*Fn}/SCu Qk_JبhJW#Yf*{4*!6͚`ӟ\8] ڇ̀oqǶ 5bC7kNMNfvqY}-Yb5:I@Y tg&]W:1$8{ !# J>z8|}nEuN0҆:J5ljF;nO{*DJ_Ԋ@ i\^@!OIm$ D;_{Bk<ϴ_۳REd ?M ^Ħσ|Oib}um 3wER i#jpK`󆖜|(l2,3X(ʜ9a? Rvw% ~lKM,IL9̰2x}aH%@\wZ00JS@U xi=i\}Pd)I ю-RR;]w>JBT5 ~KE5xV Ō$b9z^,|3LPB:9 WT|X5z ict_ؼRPw +Eӫ] U{fj4;̍Q!0c<-#jF0Eeh])hcF~VȔ=VEw`3z6:Ŭi-I8g3yBDFJk抁 &1E֪DH?\!֪+YgYZ mm*Ig' lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_ExamplePIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq:IҘ>%ᯁq`_JqFjaʶhf" ]?';Q`ECyLP )N!R%8%G 6ڭ!adV *AR` 50GW=ۦQ1fFZWخ7N#&GʝUV]Q(*55׼M3gS"ľTdϝ2ൡ hc+?@QӹUg:󋽃׎ٿZ'2 12F{aX a+) hM\~^[>,(8\Cݵ'r~0=0;cA7\xRNĀ nI,aV'miAh>HHoD*r\YGPɲ'4hI}զR~*=ҜRBU\$rlX5ˏ1j]ؠ5spR ] K?QgU#Od 0ɝ1/ qCw%4G\A'uJh:<_ ܶAR-GVz'iMIbFyHZJ i˘ǜU$*H*z#c*StבK,5VQSY[ #FTT*XT`v&F,.h" ~ٰBD|&edKV$r(_T53-s7N>f1vEn#*+/qUP/RݗEiRׇun6l/ʪa3C w$A 9k-O)8~&THd$-!u4{_K-y6t #q.Z;{-H"?4j@Jees^#ԯ3i6M_$#ݎE:ҖD*7]WF`^RP P9%}RA.j,&?Kj.[`ѓ*CrKHiWuح "l`iwcGeK03WZ=&>UINū@^p#v _zcu*R>aZ:FAm׏)MȁMK 6ewXntBٰ<[BF;W䋍mG(" wdE^=)0^fODvd*jUsQ^d!-j9-1$hu%ڽu֖=|JH`|rY0T}yMN;%7=`Q +(3o4$G"CiIJgMX֟qz\g\.YrDCqW'$}vN): d Q;nKSgVVB:3X.١t2m@8!XTT2u3ֈ{4 $dU>W{CwgwKG]-|kxtb6XXU3tT:)`QKL)ُ͙\GDW~Lyas5QʀPax,U' =:arn xޜ8?Ɗ$[7,fdwu =OMC_F'k j_Q.$ ^Qm| )@s*;<ᬺj>K}H*,a|J ϕUn!O|mXE3 zE-OrE8Iz:[5w ޸Ѽ`iwQ`b(eL6țc7MFv{վF`[ ķ ngYZ-nc0Sfh'JfNYE`hI!tPzK7|xn\atOzshHיO=jLID,@'$ YIgJ%du''U`"~rtDŽ):ra*3l/[ew4ߘQ y16]i[dPLEJ=l;kU H/ _ըuH!/I?tCHtT#ZK_J m*'i5̈́:Z|NjQzW1ճ D{Yb_N)nhf~עޭ[9PaJҀXmf4Yq'Gݴ`9S.,;kv#gYZ P+Is# dHOL-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ÝuHhw%!hAj"aBYee9lznf 2xgYZ 5-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.,Is' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_PrologPIDE/messages7zXZִF! ▀ ]Άxʆ5.f-9 rq:L"yzz'F;!hI+6D`ՀlC<om?_U_Y7d>_V{U/fRMV0dS . ^E޿έRX./=R{MbgU E; 4ŅC.gm?2*۩tI$5Jqkk9S)U)iw;C |n^J<9`Wu464SWu҇n|$ɀ *>+MPN"?(E?(+\xx.ܬŎ7r[ b~uU1ի2({I`@m8a3>|/e D|Q?k?}. {^>u0"<%{ )ILnK:/ˏ0,z%C8P}Uq)}VrcN0euM<(f-9cmw3J\pH ȮIrbO<z 5}qsX%Ö=oC/!i.4b("Gn5s{0@ Y-3Mz|Ǻr%̟)4tx]Zr(M,bΩ^Kvr{@9MY.+yIeg9hUpM7/ebQn6rʦUmNCu7%Ѹlf8|qKHYo" A=xj1/_\>LKcR.T8WEԌQ*e--Ag FXq3^nnJUeVwO0l[1Oy 'S@EgZY.\sJU g{9H2i<쾣Ne81~-m.2jNt#LfS/oYrAdxhԊC}JHH4mp~Z=UNw3pwB&UxQW¹^ 51 Қ+6;Y8EYD(#%Zz Y*G{/Io93.cvǟ 8Zl-E͉4 ]q *;X_E NRA%(c\]y2DI ySĨ \ow&+E8f2['T[E/Y?8SC zk%N}WjП !_3Ypʡa,Ξ$Rt7K|"qI&/5!3(؇%|gj+u)}turT"rqDZO%DDh\=C ^䖥.}O  %#pZeg">wˍpˊ#H6KrfS {'G,Ď|(2!XFek!,j.dI\;<H=ouYL_I,9m!Uw8wi:ڢ*nW[OAQL\OҞĨݯ6YPo#.K/C24hDuұu|tl2Qf!N*gٯY`˺qԼsmͰ`cw3:B#1}3~ 2o€"~ (7gYZ  d/Is# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/markup7zXZִF! ]:F. m;xT{ҾsHI:wrUh* aGѿB`kuKۦʿ; OE/PT?Ak?RIQJ +!Zmٹ~#o.f>ZRIU%W*`WcqXP idZGa4<|a6 ĺ ݕ洅2ҵ&LxB{ W5, NzF\$+7K`c<D*C9IOޓ:[\1y2 iӣN?8# |g,{܊]l#;L-ߢ[-%R<=!ŵbr?]#E} e[}%- w܃ W%5*lL8{i Sغ՘2^DS@UK~eƉoW ra U_E_VZ\0ϓZɜZ1 s pNFgZe\9mDTX|seܡpG(q|9~/.x$G\]mfKd5[dεSE<כ1fȣ\} rQû'wVfT9P1_Y7/ȶ3 +VY˩SF2X vjE1586U픲$n%h ğ?D dy"kw qRbᴭF!a(Y$R+OCEف9=>T>e\[M8NPn(wM4o¦ PLI,pO \U`FRZBԻBm) P#b> $5X@60e~f{T)}b;9^ {9Yeŀ>ov&r =.>/\Vps,Xʌc4mO=\_AY2i1A)i +OETԛX/_ !hήηqHȑ_p;׸HkuݻŬ@RB6TWM1Mx9ǰ<8>ٗ5x|sE,6R- Ps X,>}w#CMM xqۡ12TQqW`V"cw]i4ސSco65U@ET. wIξנw3^ЪT+YHQ?۰ h;kg[*J۲Y(<MCm8 ~g};p:t34u`ƹHpU+H9=zJZNpC6\;Wj2h,NY1n`n ;&\}$;;ػG\}i㰌Mfr&mSwq5w$`P$(+kXVB;u鯘 rakۈl !eɕ5U<Mb6V꾘gYZ ^^0 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 kk1Is' dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_ExamplesPIDE/messages7zXZִF! o ]·Iq n[:|&[z[%{l Aښ9\F]j!\^r#%&mN{:-3ON*$提N | %#eaԈWi\dW"%ų(XwՓT B=i/'VJ۰l"!A&.C,<Eag_(HQVJeRamF `lLpy= (tOYxZb8Cl] {oXGy/ eGϏ\ᎀlZW%k5d(Q ^8)]OJnA QVF+ 44Fo ߎa Yv@sO߯I5B-5w3jEMju'X%u\?Ս xY,)Hf˭;=]C$B~41AD GR:b`0>5շY݁R ̄$G#8ZB*䴲&{@ HA۸ӗQnfZ`אD2&( eNԑwEs FjP4 ș_}pˀćƾ1ÍQӋZMwJ8qJscdص c[o 4AiCBXz݊(<$i j˸}G u~S^Ѧ1?  LINJ*"M/ k&6;% `R Cqb Qŋ'qUrĦ)H$)`SW(pOV#s4vWrNYWOM1J"'@~.XYV>j< Z֥nLh8p›KvvK靥5H~Q!&u;gw7" W6-E0vB$|5jϙY Vc sN|壹=hfLQ_dj ]c71i-unC| /G#:c ؽcbood9JvN@gL FF<`[vk qbV`EbiOK6Oo u_lgK .'ٶ_߄39SA׹8T &;g(Ca8slI8;k&]*`GWB:UqA$;:'5IPuCW;(v;Z>(Hº-~@+7L&u@`nOw7٥$ W$d[s2{3،$=1;D{g̒u;7(``aƄU{p v}xYNlvL8ߘ5$jf k,@ftISRN67G/P-CM'DBQ}fpدsƆv݊h ^ r5A} b?]Den&f yi^oӠ[tMy_ Je0l_VbŲZ?hO @Φp~ia=f=@#2O 6a?VIa$_~e&. Fsjuw^hc;>nLqB{fU~ >4uRSu KnUxR"8 /l+o$zX\Ev?GB!\c4ޙ7[O&@+jRP6@*.$#XJfU|HJS#C‘[~'\C&F[TέtlSʴ߀&Iw TȬs$4~dE$η LlKd Z^6g ONRoZ gePfkQF€CTSNB!zCZDKA{ ]Sn{b5a,(qW$E"i>v-hEpv͍9dio[VW" ^lq&$?ГoDaOS2RIzN,Lqw~gYZ  73 I' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_ExamplePIDE/messages7zXZִF! 1]·Iq n[:|&[z~ϙZkt";$7cX[a-x6$Vgġ]튏TY2u/ pn )sxy¿Ɉ5!"L ?Mkz+ToNm]ƕ}j/ 7?UfTHEFr4%U|Ak߂iH L40#6]^mo-"먐.v4Ek1V xPZ`"~ t O$"c; X8{TkǞ?3$ JJY`_QH_&* Q0=#a2>KPsg_Rڳ#49aܒ@+8q\Ofy?bD99+{ph64ىcQco1y^];Hq *Dӕ-;R/B7 U΋I)pc9Z ~[JhebAmLV5E,m"fl>~'jFpl —$؁p(ut6_C罟5K WlѮ#Ak0QyϢa!N%\g8>e`O|Y^4i@bNeuM=@\`E CJ%G^.'V|Bg,  =)."]}|BjDVI pUPFNxlbKC~LY'2n"[#<䂣(.z.B~9ɱZ%ȑ[ܠ$ҳ\#7#sջ:|ɇjD,Q3C,OD7 twx~6UEx4tgG.Q ѬG0XLwShnI~ &iJX?{>g{&p<7XTBJqX[9+!x*vvKN˺u4Sʨ܄] [)kAPx3'eg *nqYXUR/F PcJ>L%/N142 M=>7㛨a65wJ =+O*=rBg) 0x-؜P c.,gYZ=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-޶¯)fLjp >vƭBkhz'sd=^,1޳}k|h|t{dOFϞw&5&Lݼ5Rͅ J']W#ֲ9EWM}jx]l1~G&(xy`gn|?R9I_x4T {8)%BwH` u:|7>O<T!P`->}5o/niNт^n S~I"K Zc!Pݍ Vb ZRYdORf,&[O0:wii|8,6KXǷLM jր>dx$d 4+#F"&v/;ͲYwdH3Z 7}IgYZ `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# LHOL-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=/@сJXsY9F Aw.,fBTZvv+.I҂P]L7**"4 ~bNv K(XZU1 z$ݛH0yE%ֿ2ojS'PZ]ְY֘1x^}$roLGN&_R1^h!e y~Gp O:xZ9#Uh'GzbLЬ: 6 x>8^*C08T+qt P㢽dVPLmK= &hm Ѽp4[Ţ-., 2 ≃f&S“㝎J#z9b͗+;l"ܙw]{JMzȚex6PEJՁYQ(')S]!*Fu*a恙)"yCُvW:Κ{W]5Eĝ\|%C2E6_@߆-% JT/,[o62+rjS&m4.Cu!ڠ+upM/YCdwLJ/ y29L_絜cD`MmRM(tX|< Т#,/LK* ,%3ODNfHPOj!HWp"bsG K)"J(y.>nT M /Z) r~#/b^O#(o^Os a'uaLZ#qF&ӠD…fDJgBx27-a.j+"Ztx=5$75_2] (2u~^-'YÒ+y~irk0U,3ޱg/,<\|(kCdgƯ9 H#$qi+Nx$Ejϕ1- _3sWȼ4:N0-{ٙO~ 7|h(|\&L3/-!9; h+к^%X!='\4 fGy4m4W¿.=z0Ψ*H#RE41-2!RfDVz;F"kZ 78@B.K ޵ջd[Z*N*).%~ږWK)< %/ϰUVGuWeľ[hbjg$68/$T:S=Ci(N$Q>c1%olfGtf0Z}cľ[/iӷi6;q=\l^0qW吰BN,gYZ 6Ii' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_ExamplePIDE/messages7zXZִF!  y]Άxʆ5.f-9 rq:g}?,yԙJYz+2,lլ+< 1L71&@icBEzZ_Fd)zY*r``\a_vbB>3Js55g3ɚf\Y* cgHj3U=LKn^[IGMh0MB0:^טG\CѮ4j˝Riz;R*lJ)>a!=wq\" mv;42Cmȫ(Y3Ij=|m] WxPx"VDg2RB?YH9tk P)DH|݋JeB~S8o8m 4+BBq~׆&kfFAȀ<2HR 0֊1F6 \Wy@S3AbdU#pGf'wХehߡAɕ@â o.t55Vsv7 >Ul%Rxiջo'X.2Svwy*ك(LfqMiW̬{[j̆vQ̡_sjFf$Yh־cRK\>{:젳JKӞmYU *Kx)&f,")DD݀f(|rU ތQޟu1+x<U~dgi{͊טYB,U[PO3b.(tY9^k3~eA1ml(x%^i_\ƍK}XV WnDpu {aXq{SqUz<2Q [KF 7i)D9%@+1ҋYH! sv|w>Q& b:s[,jcZJi!=f3$F erlȕЧ&ҟ%6Z:9êݹKCDro:(=Ge5!atA"3ĥAc(G.~ VϘ]1H;Y3a6Tgț+EeG <`/^uNCHTl &pH/G\J&&PiG1㖫5#}>o#]жy:rM!oA6g 5t$SR+ 4;,MhDo@3uωyC{9&8pVWY1Au /v`dG ZQD[mvL"+!JZL9t^Gbտj-Gh/ -A:^ۦuLե?ˮOͪ6ՀRfJ>Pc8yNIh\%I-a$t@vRKW=,.Y0v{?6°> O`Ց)WHs%CfLp?;+[tm̓p[|AS~^*E3Ecݦd:n2+:OurhC7*|,oq;MW PXqͷlO|Mz -l烂c%t.W:3#G-ŨC@!UnoT(M&Q͚Sv 4> !W2><ŁovhCgbc87 @?G_EW[3-H)Mp7-VTNK^=,ZwAF_mEW8 c[BW|d t~ncԌ@‰cn@hg)?},Whf2Q2zv\i΅lY;ds1o=gkJ gB~7P:E08Z)gÁ<}N@co8HBh@eYe"L `"}fL$f':aC 1~g[*.ٌZkFWDErمxnr2VTiQ7@DZgYZDﷻKJ,[H-4%#ť- 9u\/IH?op^o:k%m&L ,scmdlvs>xpI;>U[Pp]:pK!2 MۈrB~ȆyC| kJ&/[[hi|U2m>%|۩WRc@rC;H)mUOuOw+plƗ$ ^{8nj,Kbb"*vte\^'}! g rhZ!!n4 esc^}%xMQg*`m[k9Z!wO*ƑV,o33R! rbA/u;ܮm_j+FpbE5?9GZ~c\[%\w`^c6g_Zh=m ݻs)*O:̴I+ڍ eoy{іuZ>ƘDCG=`M Wa2N*(F@ڏrodֿMPkzh-9/>Neb#&*ޝ854t%[Dqlf5GАz"Bߣ ok*z1kWׁ_X] a{,+`@]b/,Ym()ni;(=Lu3Q[ü,(/Rxqѳ}F|zlcmȽPRu v~1wrޫ0OcYy!U?f{t))oCj6==xz䰋 #IW - B 1Y}l_N3T8LH/u4NV"9F1Dŭw4eBKtSf4*`g%oi_oZybJFeNuvzoFmTOESE/ZH^i IbW={>eqؤ|z!%%λu$WW,,4e3q7$3|=&%QB渳?YiX;}'JKbEEe h.ҷҫJ(o[~XDW.G7#hhG@"W|E+U0PZ/sP{DQ7r[@tP%F[2rqn9!,gsM?+k5e$hE+Ө4̈dJުn0r fV rr<ҏ)j" լz:Ys:wfR0&awwu+(wN I#0]QoߐŏZCk"} .^di0ߴXzqj:90߮fM epʘz3w%[~o 4mꜧ4^iΖU0a)Y -_r^]ƒNV>y(#,ef EMTke,! =u")js%#xIB8&lxz`%Ce3OW maUd1e#Xk;tiIc%Ԩ?PJeM 7y`/,"7*ȯ̬,ӯ}(!fZK* iWx56Dݣr /za3VxytB0UC6Fa}[j}ԡaf2?P<#N9&_'id=])Wr܆ iz&(YDS lXY5hLV q?}]e1DЮ cK.S92sF?mu"~:-Y`0Z!x(i; 5bq,qhs䀛H 7[Z Iqj3ކRJ~W"Ю3nxDoGչJ&/7t|bg52J4}{M<Ζ`,Lj]3.X? < aH2b3:PYƘu9Z Tm ֊6 WM $=<!k#[-}9p;bTb Ȩ>CM6Qпq0i(*'].Qham8E$]$CF/:"_͵Dj ZF:&9'6ܡa+x[\=EòeL-&&Ztf+ekS.w/:,0Gh\|mlj 3[Jv|ݒIA^, 5q]mEN {+@_oYYSZNZDR}׏8M-|]lz+\;?@t@;'i2A`e$#˪w41ݸfPCS>SK llޡڸ +(luPOKQ $%+ndqd4-OF4i~pLBC'Y8^Qn+5˟z6KBjIT 6 >?K0q#_2Q/GMG꼁$rq2N1!ݿ.g_*2|ƪ9~'1s7[$l7t{!1qEoBӛT> ~1䇮- ?AS`k(3/ ``)B AHW$՘cPֲzzqˆÒ—+̭ܴg@mբSՉr?;SZ亖vƶIcK!Vt1Z3xK? ~iK.8?FTGf̛/ݧl$3Tӽo'6s21B8{z#ƈQngrcWμ *$n@lE_e.фj{@boM-Kc>\W0@Ԉd,d^#P*8jҮkde9WQ #|[0tżi2=OG}?i^&z4cZuS`E[ƚ=8!1} ʐi. (X}l!Fxӹ"PWyXW ͟wP/_ nQ5Z>[-L@tX:#PK}e* *I]xKy#!"24ԛHx>ttr+둹DPBwZÎ͂ )Xk\t2ɡ HCvN> kL L/]g"+6G]$00YB@f^ h} m,p ``ՍRطsi^xgAIC?oɇ{Q`?辎ьysO!yAo @?F A@/[g/ MRꪘvuvxaWQ㱰2bd>NF Ua;B"1(1ljySG:-jkR0JjX GڮRD!d0o{!z^*\dLuJ?_RMЎ۩eL&hi5sqPRqf(KM14RY_Zuq2a<86+j{3 \Zn)lBuVTZαqyh(GXvqWjǐKz#AUg'~!r?#98 VXtnHqn ,ɫ8q<3>sG<9!Wp$^S9sW6IC7B)©\x1}_ߔptf03/FE%-x[R]|Rhc<V%ԍM%yɡ}"ܒFN-hnDgd yO'^ZX/x}[WU!P=LhX;Hxb+8 |\^[) ~(؎ P0&c_n9"^[Elb>aZ7>,*7π$.kU4듓f RCXGO/OsqOKhL q<$*$VP9֘с4_?e̽FS+q[?K@W2]>xil5/unLL:߻Yє˴\ m:!/ C^a\=?4u`=F춱6naC2h[/;e_QejжZv"Be#Ӫj":?zCwa'jECh YtQ*>f[jcQ9O2Fڴq{#&ƙ#z> D헑 &]^@,bRq|=P=!<n̑ Z>$dmvN֚2L4 X|o.~:k~7dJ=#0s1e/7-X`;dzMJÄ4LuE 1~LLʍJ`HSXW~ՕW+c<Zg6CQ 2'\P9tlBd$2rD>`mqN)7p, nG=S6irJq܉u+njXe#|uŎVndfA [(>ي`kjBu!TT޵M hoDLl$sIug| 3a[+bzٹֈfSq&HK/HAJqhyt9YOϪh*/a˧|Hl g&+;@g̈́jev@)+'N)6B_B~۹Me 9CT3ϑYS|.bă:#[*S'S Dmr9GO:WxiM.o{B[/wsaj[#+ ߂r*4u4=?SX>i^n1/y $'~"l|^ x\g8Uqwh۳P@oPUv~mu,eQI{x28jxDGϖD-oEGbTZs]zq@|<.!6 %5]p+"KF>Vh~ 3({OĊF@ڞT玖\4*K\Y$qwT}Yv*Vqrf"=hs0b{Ea"옩ж*f_c#/E_ϨP!!x(JluIsb{ e<1WJ|ao8ZmOtP*pzƈJ3|I|w;tV0yI&vwNll+EQ4T 8Xwqcsq> ^]_씳#4oq܀>Q&'xKױ m`Eb{t3AVhYvkv$4]ky#J>% dld@wb;#7caBjzqt@\!Pf, PoB,AfhG0Č5 7C5{wN:E-)zߵo?ʀ=) w a""]V{1Ewu#b'I !/>z;"ukT4Yct+]jI?$>JCkC'ucG;/)FKv.PI {%yf4MP嗋o(arLw} <CH5WSї 5"Wasq~0ܾuQjI׵\A Zڂo^"-c[ .%-nf +<,GA_x鬒[Jw[W6zZtm􅼺BԂ)t/J33k̙-\fgYZa1c806eef7c36e55209cdf884e659563d1a489aa7d9fa93b580f7b2d4f1fd2f547b350a3fd1985a1 51090f86b27d57beb37832df883e305949dac6f7