SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 bIDl ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.792cpu=148.756gc=8.644factor=3.187zXZִF! {]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}Ut[穙r$m,{{PrnQu:mr6`2'ήÇ[OdWLjrAJ"U28H]t \fJ,&Ƥ/x &hGcF#:TЯet ~LdQ-g"+ L8Z7'h:a)hL_ z#7eVDj=ɵ "4$;Rp@ W0C?oƣ? {ܽ/1ngI/X&d%D:\'(BPAkT7 I \+nB{QŎ}9"N/3q&cv::?F)t!/?QzJyt,,[e{l샷b.FoEL2wҚY`ևtxʫoIdLL|<W0 uZZ;> wYȂ ,a3 5),4-=Oh.92gqr/,mDŽЎ|k'=tx S}Yqdl bgE0aSi6f4(k*1*| 9Z g>E [n5*%A܄):r,\~m#_D^i\ 0|C)|c`ww6c-XMܵT4y{+֭la]Yӕ_FcDc6|` wqg·轁^9ˁWoq|x^Hk*Q:%V+pyλ(}pPzD'|8S< gP5c;h~&(4JbUTnk*l9͓n1;Adž[VIxE,iM`!굄Suт/wvs)?͂B x\א'6GyZ8֌@[ |xʠ\܋jwE( pyaMgd}nLtpy;?=@׳%Sl+E֠|$~`ɀ٠j0o&eR/+nVЩnty]Յ0/#g=zbNdռA焠Km{StE]g!K`1|z!BsăU0C~Y :5⸽ m˔ V֏ol[97G ՔHo\j0kHOai = p~mqQ*%>ɍʆ^g2ä$ɴi "0BN7p_5N: [J[5mps35AZׂ§|J́qwX*a#0w:byxd|^hnOg],e8$0v~SiDu 7-Ga;*' gWK'g[E r`3!oMNEQH7:ز-}Ù$zq3"ҕ%ˉ3"Fdcԫ䴧~K@@>km3 YAP6 !I HOL-Predicate_Compile_Examples%IU% ,HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document.tex7zXZִF! L]A-MՋhvG"uIBm5J[{drĦ\^߫h3,3KɉT]HTbhm!/}hcB8vj~G~x@3rݢCa,7y_g:lEZ2팾}.vLdɍjSYm<,_znXb}jE*JآD(8CVJwTibδl GNm+V{c2N^RrL2$ȟ0qzBx-РslO2f屲4ih+iWJE'$fRNS&%Z+< g@s}uYɛ`1bk2i2? Y$Iv $Gl;" %>O?)H6 NGcG@Ax:9u\R*U^@.|W#5(S!JNt*W+;P`SR޺Lҏp^6cr dPM0ZҀŏicT7 3z:#GtD3FK0vpZ1G}'ȡT1T`vzPM^ 7}zD\*O4{P2&] ~-@Hfv!xo;NckMSւVu2˅NU=nR&J7MOyhB7њPr QI >2}Rfg!@!ff @3#"FoY(C./jtIϲ/"5C?+Ds_MP'PUe/RBVY±?*;$;oa6-ii|@ڨ5RO#+] b.i(_2gYZ]IU% HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document.tex7zXZִF! F]A-MՋhvG"uIBm5J[{drĦ\^߫h403KɉT]HTbhm!/}hcB8vj~G~x@3rݢCa,7y_g:lEZ2팾}.vLdɍjSYm<,_znXb}jE*JآD(8CVJwTibδl GNm+V{c2N^RrL2$ȟ0qzBx-РslO2f屲4ih+iWJE'$"r/6&)$顏fI{O2'elQު<6fpqNjJ~-%^q2M}䦲cbH Bv@p,4$ď'Z=ica͊EpTlq(f;.wr<~)ע=I1IV#Z+}%@mԀ\(Ò>ߋ165m*X!b8'q#%тgWʐ(D-FcIY5ïkK*),%-/eF;'՟P r!xQ{4[_;Q3Q]ETX9b7|ftծIj`:@.i#;P0ݳg uЕ=4x\"05lr|-1Aȶ{@zKIďF?[\N.h3;Ժ(;0PwPQ&up^n"M~f&*ys6+rg>c-."SD>R:?К.3jtNXk1WH̏PHjd62uՃ)t*syEOP>f`z)69pSjdo$ى#ڡ7)VW^]`j%6X_wo,jm]b>O;aҋl'p>|zSg7V`R\b 5sø[G\W7dO?)H6 NGcG@Ax:9u\R*U^@.|W#5(S!JNt*W+;P`SR޺Lҏp^6cr dPM0ZҀŏicT7 3z:#GtD3FK0vpZ1G}'ȡT1T`vzPM^ 7}zD\*O4{P2&] ~-@Hfv!xo;NckMSւVu2˅NU=nR&J7MOyhB7њPr QI >2}Rfg!@!ff @3#"FoY(C./jtIϲ/"5C?+Ds_MP'PUe/RBVY±?*;$;oa6-ii|@ڨ5RO#+] b.i(_2gYZ]IU% HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document.tex7zXZִF! F]A-MՋhvG"uIBm5J[{drĦ\^߫h403KɉT]HTbhm!/}hcB8vj~G~x@3rݢCa,7y_g:lEZ2팾}.vLdɍjSYm<,_znXb}jE*JآD(8CVJwTibδl GNm+V{c2N^RrL2$ȟ0qzBx-РslO2f屲4ih+iWJE'$"r/6&)$顏fI{O2'elQު<6fpqNjJ~-%^q2M}䦲cbH Bv@p,4$ď'Z=ica͊EpTlq(f;.wr<~)ע=I1IV#Z+}%@mԀ\(Ò>ߋ165m*X!b8'q#%тgWʐ(D-FcIY5ïkK*),%-/eF;'՟P r!xQ{4[_;Q3Q]ETX9b7|ftծIj`:@.i#;P0ݳg uЕ=4x\"05lr|-1Aȶ{@zKIďF?[\N.h3;Ժ(;0PwPQ&up^n"M~f&*ys6+rg>c-."SD>R:?К.3jtNXk1WH̏PHjd62uՃ)t*syEOP>f`z)69pSjdo$ى#ڡ7)VW^]`j%6X_wo,jm]b>O;aҋl'p>|zSg7V`R\b 5sø[G\W7dߖoiC'~edumML +#  (5Gsjc̩D~~k/Sə'|irs $/ǓCE ͠V :ìC&?|y׻PRP3 kn)M4G8 qX6Ⱦ)ϊɞ%::ZF֨$]7:m! Dz=', ҏ ɢuW;;w̩X8W.f7m8ݢ/OjGY ^w,^yBfi}36".tq:J ʪ{SNP^< PB &=܌[( )8fD wj*Q m/<ɗћ+o a;b_,nKa^A5 /B!DlJF@WTp Ed4>WVPAwK Bx䮀zhqʆ*r $Q|C~O3fcvIģV0V&P].x9CTkA&T/CFgbk "T^DțL-޿`BF3uPKss@}odI <)@>L yfC\͉K{þO;k-L8Qd'O*r2mo: 5V~턌 ]ZE_N跕C >eyIU% THOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document.tex7zXZִF! a]A-MՋhvG"uIBm5J[{drĦ\^߫h3h 3KɉT]HTbhm!/}hcB8vj~G~x@3rݢCa,7y_g:lEZ2팾}.vLdɍjSYm<,_znXb}jE*JآD(8CVJwTibδl GNm+V{c2N^RrL2$ȟ0qzBx-РslO2f屲4ih+iWJE'$fRNS&%Z+< g@s}uYɛ`1[[`k宿S\8-Ӌܰ}&񥜐4ŝ)n*M_3DɸeT2݄绿8"Πg6ۮE'{F+4c X4ؖʦ<:˺k*/| %=ޕyC(:} a^Jʹ-_`<̼ *~dμ"5ܝM>i&bY5/D >|VhH"R48zʦzx {$F+Aܸk?UvxRS\N¢k*b_?';;db_<ښ>LoqZ"y֎<3HtٰJs:|?CClsl|| TXːW֧/;TId]KRЊ4Ћ/)jI9.Gŕ 87: 'y̓*hV av*'x?k~n0P{mHaX$2ρ9N-]P[5YL\ UCJL;; jDFcUo٠ mp6\ͳd4WVp܁#35pt1! "kRgYZs"I£Ulap|=woGSVS{P$2L#S̓3 >bTLBcc=®߉GI&si~ߓy\1Ty ( ggݨU3f C{qebZK5([n'_pKAˍDhZZkvdyM vsK^/hu\8&w3NG6Y]9iꥣ5Y{hclݐPT?9ᬒI+PLL:j'`,8SP9( ?5n%L$> Kw2ǘC@Ǚs*g^ㄣ+:%tX,-dc۠z> p46}RWV˒[xx̡["崯}T+۽7bN4<8fgi`H T ӞN5Tn_z?kc,3-.,FeZ;݌A<YPbrV6D&js j 2&b,IkzX4pƦy\D*V+|VUfer*FZUţ@l H{'Ft/A AW#kP4)ogu3t@ "Cߪ7GsؐL@ nBlgډsXNt@I2It:zkH8܉kxFC?Ein=>AVۆrl)BZy|/_3q2݈%cPߘ 2p=)-aNZ5kH;t #0ڨBo*dnFn=lMS /[pbz 1$ LPEw֩~J^Sh|"cf~`y*7s)豌h Pzb0Rqa$~eܤ\KGoH|)a&rx?b1sT{VR{1 pbpڕ$"[BF|*CצS*EYpxfN/ S ֡C"yrz< mF}ّԣ4,l:7]@LE=2+2hR9g*aI\D3E\Ȅ D t"Vd zLB+pq*テW41JMc*e/+bRq Aev^b'_wC[bY$xAp+%`L Yiq1Նض{m%cVwV (,DBWG2}]V b͉?G̛Ƅ /uԢ0tk]/tM4Vv\ *T}S!FьgfzeN2RF=z$EE ~Igӝˀ3L  G 7(T[Ҩ8^;ƵR <G=oYudAP/>^:봎1ޅr] 5Rmk@M qoRZ;8r'7F=+~^p !cmd^3O%P2JȏLއ+~B3hBD\I?{F9G1qvJPc@y7Y8S|NY{5V]yf]Bai85gWٞ+/Vazƍ8i0):NvO?Ivc%Ny_Qp /Wh"(e97Vav ϊ~,ұ#x/$[zVcR><kj} 2bvZף"3WG/,VpH4$jV ?5 ؋Z{X=%eU[(&vY̍dߐq {'A}`jMQMFhe&|k9ˡԅ 2٣ώ$)p=I}?I$EJzTR=OiOK2hDa=r/$Sk4Nd!&5Lm `eT|.]1ΩĕL" 9P`} 8t35Xj G{0h| 4~~~4<$U ybr |K[>;9CX|TO4V}|Ft23ҋ1#C^/'>MU dne=pU 'F.۵&F%?ӃO2 Rvt.bGEօ*ڒn@v&W,]eSxabHAg Цlcț@?-nsZu r;'^5t $% EN`Fv@Ј` k֨S!"F&xդycod^Ü?HH 0ҸKu0k]눖{5bEGYg! c@d(b1"4St)g{^H3FZSgƹ-AJOybV>q7?CZ!ryVK);e7A [pv<<.3/sZS$96˿aM=,n)^DZ:|ӷ @EDӶڌ*]ncy1q:ؕk%< `)Xe[Ya$H|vO<(my 7wDzqqYC ǡ`#rH IPN9W]G{;=ܑPT5!sdxѨE&~ԱiHEى2 p S[ Kv=BZSj :_oV3MGüxˍn)d+FM7PGZo1G o9SxxZ[إW 9-qK3aM(Yg4 iJpLAh9$&oP *h )lOͫUƹDV+t' /yhH&j#E6tRu*\f~m9Mc74jy<ƙ`n'zS@1zh$dqA^>:@h/mԦz 壱r= ss'4~5CKz۷{y&#ΆUzm&l=9r.bt[={uրlR2C1%-*2 ;gYZ]z!S[ـؗH|GlZyI >b1+Z-e/Z4 5ŠI~I_~)YX,B^kJ9*x7(3Q~W)~n=F^g Sp~TʈM Lf nEj| Uk/6X6Ԝoa.mq?1%{OĐ ugrT4Y b XN7Q:=9YjZ=D-q_x?eWN`[qD N + #m&"9`DD]tܧ69smK0S[32,K&RI=U_RrZg˪~֔b?XG/M.Ho%4sR7--e򩷦#*Ђ4PghEd85*0,j[iK.jVٲ3b{uYwsϞV5k/YZM7X-MOrBFJN_J*">3]o9g̥F Wa@BOG gv C& lbԆ$ -(rHvVMn9'~H-O/a%W~5Ϸ*mB#ҝL9jƼ\Ga=Q#~Nx/VVYzr{!1atD$l~s:;SGNމ _[ם ċC"P֍&8ӁտǷ="q=OGkIA?~CӐjTc=%Ai*|B +PWɣ>qY7p g N3bKyTŌZ})dډ (R8Uj%yC]P6tiy` -+i5AH&vH/=xL@Y9ZMl""]:%C_GG{?jH+jM4.vΜP.VbzO -o98\=&)]QpohWa5bBihԹܫ̤06eIՁltA[Bc9ˎl|M]SQEٔ;+ЈߡQuu?֑VPAt!@0ht916~.bng;[t˗=1km* s;""+x۶UUƐ-MPD78z\Ell,8<:pg9E."Ut$u;|kYY>rdx<! F_^xr z!vzgى]cbh2_t}# c*(}>ImYٖyJgm͑ű49Œ&#1AKcR79f-q^G9cȞCHI^ԩڬЖͮ,. 3|+Pƚڹ"+hYE"ZG6*!L6&ZlFN9x$k!tӄ&hvY‹ QY8Կ[Xם#Q( _gx08bțT;R+9O|*D>c9#K7 KC1{g{# }寊@cmM䙿VͅXPfL>m`Kq!'f"r D5M@WGg}OmD^podC|U֊s+TGf N4xiddM"ğ9zZjuC)un}Q RQ*x&2/Y:Țt Ϛh*AcgrvnQX% &o)W?Jh`#CkQ=g' ̈IP&ː4աtR@gR~=/ȅN(ޣ2WץtJV_UcIwK]p>7rœӐ-ȚjpwC;#o4q&~E:7C' eOCY|'mn0FΪ8o}R8ԲaknP!V":#ZjCG~HMaZVք=J11mSd$0CBY3S( #eS*meJB#!6ɮ 0+] z?MvpYҡtK&kkJɹڭr-1<~k?exY Bs{\ I[% |HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument.tex7zXZִF! s]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔!&J͕]r*b*.}:㕮zmgb|\]0m~4|}c;VO 6A#m8X2 b d/ w9')wt@<ϒC>s+oY)~2v/W7ugK<=8IfFgQrfwOhbgs zx9BEAo.Ҭ*ܟYQm-'QI5l)X +$sK1-;Ga&]; {(k$] zhޑoRO}˕<~n.+Qɑ|6&5dl5i3\g1֑B@R$" 7= J*ËQpHfJӕՠ 0U~Vus ;Z xN ̗b& 4fNfw'[ޖ, 6^ٴ \W+@bZ %kU+ǴvGTfi X3W]gY6UXF^Eo|@3N{2 7J\hhU0DIҢzx9"}Tw~ixUA;-HHc)o3 0a)S"OFM%ٹ\6*,h7g?S"_ 8%3Ad l|G???n%Bʀ@f-t1 M +m5ЮyFQz,nf- M8Y"}v'B<Qa@%u \K,CGcK pI2wp;qBs^$zϕрD1+dbʗ꾟`BgC^'o*9W ^fi5s>ʩhUG9ߢ '*ْ@{PŕLMfj3u}mJK{)2@ $(|wlZz*^ nwmH+son7gN&dRdӺt#ifK!6 ZlhWc04G1J4nCn22a̧-^5gPŞ>$h&1=Ծ%ϧcGDR\ԁ}>ȯ:c k|\vmnh1 bv.|02P2 2I[8` G{Z/+0Gn$C_=lT\2[Ry\ ) mGEsi[LA(FJ,,{WTqkJWxSzȶ”t#>AyGi7EH6D0ٿP4 g)ްa*N0K*؍ k]5py'Cb]ל'Q>*z7i yQH.AQeh>G y>ESIH4* Թ>3;"I))'s%m-,~'-'B~_~eS J;OD'(vv\YB:pgxJ)u\к)mmϠ /3;X}W#tIJ!8 k14 >isϮyɹ@.LS vƬd !/UjH,p]Dłs/aE^-'*QeUөU6f)DGPkq"}v o<; V?2=ћuF>-87(;u?%X4"grrD;q/m( gP?%fOfzuKQSz,B4l"peZCEv$ Zmro-EF!'r-8>_GGCK3yGMե>uI9qf ~OS:bxs:n%<8~FAy&OWd0~b f??D̠S]T'}tA_QCzwAo-wC[d)o歯 7i%[&W 9\A.G!7ٟwQOw+dp=a6]Ġ*I8 Afk؟Vh"4M'u$^|mZ4}ƖB++MpWIѴSFwTоLSo sϝgA t![(?ձZ!@_>8{{œ,ɴ0q}=ElrQ|gν;Я!%{qKGJU׀NÙΪnH͆_ pӛB]4eHՏdǛrCVZ׫Ѳ1G7+6Q/n,>J@7$?B~/n ď?&矈s5Xg(ȭ$cÂ9L*H/,Ce-Ev}3$nUOHp"o0ZkF:ǧogĮ]PapfNt݋3pYEҋfr#ۃYP\BjtMMMLdF{k*8Dž`@<4=3JCzVTT{OX:!:$GJIoCޝU7m񎚡SlWmOA+--/a(H74UWkgT05;g"틜qS`Pq (h3K~Ga_YD{c肐 D1Y@G4nIT"}}[:2+y$k}mGmhbEA"Xء'C #ªLZH3ٮCb_xY/MrVpԱpttGw(T]]3V;zSiqT0$4G9cbkjm/`>BdUa/H=X.J+X)c|'YJ qe+"1d'4#0vϡқLhkrq_0"Gy 8[L+Ɓ5֩U#o1uջ`FOA;=ml ̠%ݳYb}0fl`$쪌,PU>^v#Me| ޫɬ.7h T|J4-QY,ը]M3nކo zhXi47gOl&z7ˆUESpb(LI-\KlZl2v`xK@)6uXyNjыxyKA53%;ttБ| & w%\Z'|~LsBMqV*P@(!nB\΍yoi?u6?XRSHNa0:kl#n`WϿWE{Jڅu 8ML'q))mfE'~卆f쩲t@JMs{HkBpP!i5$0V3i]?ͧk!LH,uN c$Cka%'UBvVW4ܨ{ +s):dU?MнFQA] FŘK1Gܷd!N&;4qU=Fk) SMˢWixæ9%o${KԵ\-k= D"= 1LgdAxf}V뜼_pТM<W,"+f7)GG(W\.#Z7ͶGW2H3RO߽_ aϛQ{t2kÌU)`:z}ɫBTz'em)_NfgɆNW~USn龱2N(ыUW~:b'~Yf3Y׷?yd}캂=Ul*"8^=#6= ]IP+d` y5@,v B,Šr$]=:fGS {sPmB(3`GL8&Pwc{=(rSU0*5YFߧׄ\o_nӠ4vx|ka;Hz p4⨎k!;U$b%L/I&&_zHmvY(!Fw@tˢ9gD:!8NAgmгw4]b:}B8?{B1c gB{uY(a+Ax10;ʞDˍ4&ǥb7D0$M/Ձ6kq2 ذR'bA0iÖc{62T@md6҇/֓Hm4XiZk}<4gQ$ ^* mzp=׿KR0j͏C -Bp~/L$1XMńC람Cb'|3ekJ[guol4Sh ׉NX&7h\ B5pVÚWY"i8k% ,_by҃ZJZ$7?1"ׄiA9Fs¹xJշ\9+B䨇r(:HGDk?5gbB5U32wS;JDŕ3VM||2&Yƒs!9gY.6rYޜ&2l5ϷILwC<9 @11 JH5I-Fi$r )?vJje gCA8b dE.I>Zb  G`lhO)f|gz wc$'PGuzIC&g:y^)|y"ퟕM9WatQX/h6oDׯd/+{B֖M 1_)~BʂR׮EG%U:ԗ۪ˤкn{y  42y0) ۢ_%@= AygմH-{`Q]6ap0^2Gn.nS뭁^jv)|9-㪍<8Q&bOj̪>=q<-gp:l'TmSeBuh&Z5z2P4D_?!s}8紀B( 4c I1Cwǯ'+O= 2*rO٪l<ۮU/(h{,q>j)@/n\QkvF*v>L75 Wx24.bsxz Z+k?||l/=7j`OۂxN($ѰK_ʅݓzR\H}BLv2w] W{ \!eP: !^LC, +&0 c՛m8FAƤkv\ȅ-b\78 żD#)j^f /♭x 7DnL 4' ,_)6 *&3NTn>dA$s.nLٸ߷‹_q4bݗN&gZ9dZWM9D=*s۟Io;Y?d]Z9e'ܵpnf]9ag{׷Qdͭ(Y$ ^l9LV>.SLs`aiQm։+ Yի ]R=yLY|!DzgIJ'žt+iŮ4sG7|SAHҨ3?z2gE+B&վ\ݎMKՙgZ4AW"aOsP:2r=!Sr5i.Ǣ#qKx{]JQ:朑CM"^u8T7A]ces Y#vbG1 2v/roKTL}6_@E V^4GBDrsnix/;|YuLdPs_W^*J1kv !v/!:)=l{Ш\̽cU쎷(DN[s4ܵ*{)1AQcz3d}:ߕc\=A ѕzNlGˢ%$if>;!4?S½}X%./ֶ?g!jt֪${| )4&ls2kPݾ%峁uJzBeI[~p}e^TdBAӋiXM@~cP<[f~9~2JTas7~xZ8SQ͉CTD|+¯CP/f3U5?,1W gBсӲ@ϛQmm(Ua5>[>t 94+tkA,س 0ī?-k e\?[ ":(}aK@N}-BjEzڸgSK?[Љ P^mD^\(~аL 0{[`;mc㚲q+juݿC:WaxMI !}"w&tPRZ;vZ݊z'pjUmϴK4Q1 & d?ut7D9q;g/Fa-*=^eZm{:٠5 L'c*va)›:΋Zdž_E LZM5<}:!1;-FȀaߘK0e<ݾoB'X!5;ߔh<m.tGjyiZ^>ZY w L@#s(u)bƷĆ$eS[| ,$qG2ԇɓmΕUjPUld1a'3>-ĕ:w-O9.&jr@\ȣ [xA-j\K0JPN ɥDz͆KU^vlµ^W Q[zBpWQBIFeVE^o܇%"C*˃&kΩZ~c:@vv`6kCt@`a,VM1߲zr,rS1D̏vuX~ C/Ok`R2c4!oG͝u\k4"l#w &@ϦLMcjiP!ԬZDP zĦtvŰ'"i*W$Aw1d-юQBigC ]$ZeX:uwVhE=75JY0I!b {Gl#ݮh\ q?6gcmGAt!auu\idr囶Nw>IVqo,;]³t1~ʶZY$1v詍O{t 7^;X#3fom>+nh 9 ܆V69Ԃ\朇2"y~o FIE{%^XR$&h c ΤؗJpť "ȁs|ycc ̭QsŵP ~AY#۠'<^%~XkޕV /ʴP"z A`;/iuQ;zx0G4c]8gLbzbz`[l樋iXUX ^|=O2Bsd ~F4,@P+>^YEa] 8ԫ\Ʋi)=dt B;kX9zҩ\ôuS@nnn˚X~?-Ni Dvnxb,ǀKZاeS?ƻh-m>r\Ip?(0Fp;߆(kM1OڗJ1-# W.,9Hd2 k1)ou_T4TK n/}r!$+_zq#J7oᣨL'JD$ W5W40{J+jr4@LQ lewߊ;D`WyyG8F:thbUё 3m~AszbVV|nB;؆vVԦF򀵅`r6\t./ŋaÄy'}lS]Ƨ-uA;#/gz,rqW9H/*"lf;)UH8W _g+fA -t:H@Ab/Y.`/VÃCc,ڂpθ4j6RqT+;:\W%ld2ŇOc&!Z JQ6TsLe<=)imEFEM;Vuj.1q) vd4,Ҩe!9Np}Jⷆe,?gСy3W.ZM\*fv]ep`}ȻsRW74&}#gg2>Di5)*?^ͽM{!؜ ]{,pHD{#Ǝur\l"^UVʸ>:f@C$ 00k#m 8_ov?ïz RM‰_\/y#e rӍ}.}dhLk[wI-l!}=O˯^,va[q$;]SBv%0ǹ,2m9[l>E cLlI_ɧ4f8jT^QGZ-oڴ2YUZ}隲kMY.ZmҡzlP! z_3Io#B/šVӴ53y!1匁%']*Hu`M|;us<LE_̬mC:gD+w!~(vWeHCA=( ^jo6` v-q黹1jR|A!׵,{*ҋ?.j)%F5,=iީ!-_m#$aAu"<Rk_ =bmEnirXëdLQw9V JStS?NW#7|A0d8rT8L06Ѯ R&{b>5 2LN])kЗ2~BJ ŽWMhx(Tg 0DII}5l*' zU;y@%OKtھr  ftv h#%C TrV꽖j`!lSQ*TV>͍j^$x\$7LwQ5 ^qu>|5Q,HȺeQ+kJ5>B)cݺH (1vXHL"-ɝV_b>==)J<FmW4/q?B74ͱR&_ed-u9D) R0',Q^fM(L2lmI~Щ=O5NћHz-!pa>84c9ܷJ|.:yvbxݵB?|ߗ.{=H;les(y*TWwpoܚ"nzǨv'ԺETlArU4%pQ ]G@8"ՔK5*vqZjvG/px{>d{')P $:mBuV`jddn@M n?яw`< anMYp bK%2;[SQjn]W) |K(ed6,Nٵ}G0W/t%9φ^0dnS*쪨:(RN)N__) -R :~d  U:LG_FklV|VIL{( )rs4nz5v~[ǴXR|*A>Mߗ! -7 m -KG"|kP͟O7eMQP$>66P"9"=cżoKjڢ6@ 5fՁ$Dq  }/":-e!1|oymUϹ662l62)PqLmpx\⊘׉iD:t4D'Dv`r}]UۨB΄5iq}hqIm@rf׶X$|[VZ҃[Yb ۸֧/,d:c=8Iͦ 2H4'tşULf{m!2}=UK(?Uh1P-EGx[+M{ TAs`CԬ 9(Ӛ 8^|su{}qF-xz tpu)P({`Dh[W BTfa^~#8;}NrZ=(|p/ޠfޭ;I{%؍ >C-BN ']d IYXO‚ ,8:&^PžnQ.4~gL2H;W;p Z),&=Ν)S,we8'g]NV~MBh^4˞yG 7bptZP 5 =(k 0ߦo!$B`yߓvwGHXasJpge8Mz<B3;+AkUok%2#I$ޕZޖnܜPlHP!>w}im_?{;Շ\u}gǑuiH0MS,4ap JM:$sӢ뙖`~+Dȩ.In.L %p.כ6$UK7Ͷ/M$!2,Ee`81m0Jhg٪6~9ՠLkz~6 3tD?1eG°٭ 5l29 ` ]N*Qq:\wcr:>UQzx. [Un.=_b@ޘ{DkQ랎-;Dسb$vikB7r\/`T;Žu_ay_n-ߗR8tz]D/gG䐌Qi dJpqʾ~U“X2T%# $eˆPA!3ZeArxӚASEr:a+sx=)褲C|油`f̢MM F:VIF\hdjj~0 6C^PfbҪ,7j \?F;'N6ᾷxi;i-+Na> zVqYrז8~mZTtri$3>UFB#.@N↮Lj 6!_q #ڠkxZ }#L*bkI;p8%lW3Bf.= %OstCm'bM&k&1UZ#i%| 5ã,&%^V#zuxԦ Ij:iL_m.6;B@4p{ 7;45Z6;n+ѤC_;1[ ʑHګ{(kLڧ52RXuh0_$hJ4iQ R1]T)$A U(r7w@wRƤeoH)6%~SٺqM/s6r0擫L܁@e2)0ެS}? L V4`?*{/0OJXS)S7WWw;CtފxS:W JC4睬tQ{F# ²8Mvyy[u=5?"w:9K$D`y;k1vWKG6! řݠJ|Oby։}:kںso_XLvqҩ.teS%I8$KDr~|:3QˈP uxm j?+B~)\r.$}<}"Pʠ*yrKyrwXhrG&jx7|$STG&>e эF=} ޼yie]{SNo7| JUhtI\Oȿjeۑoeݺ8eO E\C?#hsYWn URE1 .mPʓk!"[xP{aoq(|ՐY1-#KR3],M7P·U/{:2- )1t I&=8g CG()mq^_QDUV, %,I+Xy2!:YX(!j#{Z?& Ed'9"3sF]uG]=5uW~\#O\z0}p4jĺ7XP:Mv&EI'dN}eI329_ert*օE6wu^sH2ڗb._sPM"ۣ\3uOKWwswT窆swr1MbǾ\ݿ1`s!/{/ӫÖea&!==hT>rYGhG+gqb iMLu!2K&50/&ʰH-OXfvFܠOXjuY~go诰R'Sp; |"hBᩱmW&Bp,tfq`h_+d ^pY#JJ#5?M;.@{gD2vu~{qGchaܻr1YYޒXrEh%t|g6x"_45ɉak{IךsGאar8tQrېB β 9+y:'RȝVXpxeJFOopE}m\ $tX ^9!*S@pDl;"JZD ҃&cI*Pa>la 6N)nHVzx'[瞌Dm3 3ېu aE#e:K0._6EV\Ƀks sMTiHP-oFԈJ a?..{?9>?Z9mxQy2 JyES |W)RMh` hO:<3IQPŅeLgYZ ( T() Ie% $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument.tex7zXZִF! 7]A-MՋhvG"uIBm5 9NkQa[פs3]5#,H ٔfL<Jvk b0:ƥ - x%P'䮂S*ӢY' 4sryVn›{ k`h)K\킐D^$1[dS uiO06DQ$dqߌ.1d(B|b5MyWu?W8Ѕ6Ph7FK|:!F .ku*7Hu r~+y-M|@[ CEZu:ܯ cvkh(*z)zVPCo jA&ڷF RQ}aOqK1Lz `Ba]>ZrfEf>4ᶤCSK Iso# O#.;" DSy pueƷ~wlvgo\h@5#mo愤vz50(p!G*wUxL6Gۍ'j>kʦwH ])V,dJ6YbYsW,Z$SނV;9SBr/J͌A9Ho!~@D-a8[lL@mi.Cu-C> q'L\Nf$GRY-׏{ X3`["@'H~ oSTQ.펞 :t;n,1g60@1 Vb reCT7XV (5`mWb"oM. 5S(#}lv,XAágtͷ& yv=xG7ΠxCoˆr0Y_kCnƶ.b*^#0 ? ˿^T[P3oi&JGh"eRw*zd7y0$z0FV12!E6ZVw9 mZ1=Y\\02V% k+xU]׫'q.vAh|aT4L0ĩHJguE_jX-bi۹@j%TnOIw шa£þѾ;8Cی ZI1h0 O&[|_#)n^VY*&mDŽ.('+gYdԑ;gWXzxcaCr r4'I/3EBFtPG~$$' Hl{slRi|jF 8fH1Z69-A HX%3b k:v/7վ3,~(BMgJ/{Qb*zbdPͥז"BbٚJ}S\3ș@/!t$yHnk o?gYZ) Ie% $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument.tex7zXZִF! / ]A-MՋhvG"uIBm5gq3P`J깑TndHMYdԞlgf_V  ]lTeiy8mEV8&bp}vS_K/yǑXM\{ 7Ba ogJ+$4'rC9nKos@U vXg"S궤ٝa̮Fk|bKQPJ!|=PKG yBszޏYGl)"?ךN|/3 ,>: SMˢAT]H!: t>ϸʿL:?y{:!Zl=2G}zEA{^ d:S}q4N4 )On9^=_=A=tM8prTW`wM"<3]X7Ya59 'gWi (:ue᥉uH4{wpwEGV[1gt.19:? LtM<8 [>$@'TBe̟ve]c4@>퇳G4"{}q7cipk߲8v(ɞ+8*3!=1A@AsG7^Țbu*'23s.hqN6`Z:Lx #w;hrWƿ w8=6Io`Rjp R%u Fv*?+Îqxi #zl/DGFA=,TO۱gYZ 8 Is% 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument.tex7zXZִF! fv ]A-MՋhvG"uIBm5T6Y)AEŘmUd|E;Q!eR&, lZ:%3HNh5'ֻZBjEPBS8=vdG'{#oTkI?:S˽hk6/C {@^Ɲe爱W`cSTt 4>߱OvR'qRT)|})VjUtGBѐ/mѣڿCg4`w#L^\P)\ſw*@EAFÐֺ<Gt˅mꔅEQ(Ր#=:zafJeBW 5ͳ `yGT qH8) r?[p^97k{:e9vQtHLiww,6/A܍7l<$Qo^@?C▖eU { ornA' BqY#œXfavHeĿ[҇NV.{utKb IJw²6r]⇒+0>M6MTUHrA@'㯱|FWnUDc2TZb)2'^>s9aBH({o3G;wYt&!L u 3:+,r8KRJnS4F]gCߥ-1!ʤa&yR/۾;^َ7.O"]2߲hB"ӽ$~=lW$vWc5F)cSL8hr&FJgT?4DjdSJN%,6p[C4S@&J8D5  yEdZ 3>b} tY•"gsմs <еd}AU Skzny4XON 0DO7(bSXX"j/<\c1w'Zs L tA4U坫2֡g(Rl5N*Jz١DRt@3\Jw@5ݲЫKk!z%q9+'ٰE6By <=Q~ 0\HV^*t!LTԡh.`%F_aS^`/FxB $;^f,`2:>a Ϡ:lUhpP 3ŽpqWrcduZ{I , lr&GM]I]XZ3o候N8sC}G@n%燈wS]=AY+ *.RRy.?&KZT'w|_ou;D/Rf!)R;xx+L~B:og F|z7M5`u"=Ţ4:ZRO%Z%ar !^1-FK` -on$L)ggDYCD ʌ#D?. fo Za՛IM2[ڮ|4Ҟ ώ: n5 X#{D>,%OpMkkF|5hQw~yj|J^2ea,'?JkO>D: }x}yj /sCPS% QCpaZ- ^IDF;D(uCmyN~f Ɏ=K1#\:Y` f4,"~76)?ݘ!gYZ E I% UynW?Q lGԄ!#۝4ءz<[+&dOd1q_e bZj ė-r^mb`}GռWLe+6c9޼ Y?Z7&.F1@ gS%#tW;Vtko6FZ>P̭iTN1eL+SrE0ڔQлr 9 mzSv3ѫr*t|T~ P柺ZMQ_!.FhANs3/T&Pb13_R[JeA#x4DubfV]=p7K੡7VF8[{)tU.U;}Cme#6TG~t#ߒ*j-{Z][<K6ީwXQYR[ 5mIB I>ULԍ&_m1y?&84~7#Go~L ^\Tm dЇV"I :2bB):Մ !?]8xaX!7~<Ŵ.jNyi؇Vzo*8Mw6~٣\?!d:_Z)Q,VB* }!<~+Z2Ჲ-Ro$[*linҰCJivu"<|ҌH|{_ҩ?3#!ܵמGPDMGKOѢ #y?/!VEgv5JܪOX$ƈЁ@[χ+a,m6zK_(Y{ԫglVīCBH{Sx%`bn4?l3*.t1t2;MOI(p~*aX~gr!NhwDD̅U˩sJ}ƀRa Fq ͚ ^:Q,_paPd!k@2/C<  )ӓuaz*uB%=Rhd!N wtxjr *nȰ, l ĥg[:ki d$6_@sU%BCF*kk(XZmd2OuZsB]$lD94eZN|C;3S?xlzz $ Edlo`Go|m 0-ɐ|9}O|&,"M IбgYZ AA< Is% ,13*^e/* YvY$- yvyQZ^ ќ(]b4宍$31/49@vC@v:5؏L=i%6)GE88y=ӃZX M(D*zrVF7XX]Z<6]Xʰҟ?-RcƼKs~I5~kT跤]0 " o.Uaؗ%~bQ(&>l{Nc?PO2DF `$rG&mc{Yc01mΖ %9LN-vj>7!dXG$,kH{4o=;ț&J=١9o߲/beȜKx'f},s+b *񀅗fÁr|jZe"BVKpE[߾ kqfJ†o*n˧~*g[`vlu,,3NqkI5ўhr.쬌㝿f?cSCnoHqOc o= J<ӻʆ|'؋nޠ5ҥs_\9M PH$;E.y"t4n/Q)+!o1dCQXW@YGVlyfθY` =O+W(aɩ$|6f,"Cua=eݲT$r@e|>5R'+~F۸?Sʞ^[RNvN?y$w̻LCyLQVp\R*@34T[p |G뙌Ұz򬌀 1)6 h}qZѧ ih檚Az_2g!`4w+vFE"V6K{ՙ>0|s~ UHY~pc=m*\KSX_g?Wſb]с`K|:՛W-h2rā3S`-5y?u񈆻NL.B(D릀@|ѫx }s]زPAbbP.  \:E]%sTᱠ3}cxgF6AnNOI?[ g=5 ֮rGBE201|bC*4n.XٗLjP騸3u^K_k|C ńSpAN$19@nΗ k~ΈG~r\ ˦9S{1cp%n)Y Im$޴Jc$ԫZB$N< ¦IL7 b-=OB{~ۦby~WrjHe0ҥ|,v"3kzjl9`T?ZcY4]4oA^܇r͆$CGt>$ )ҥ .xuwbڎɊ :,U,ѭh=B~<\lͳ ջ rtRj&%dFz6qhF3{!;kK(CͰu2/<ݚ+?_تؾ&osbV_$%O„ec3(WBf(7$s"gFw8F "86h ]KanLp$LrGsZb/儡`}$o鿻U'i8[;6@j{( (")8Wdr֢g9nsdJPEàe:7WPg$HhBZR؟!O%ܭaqa(jhdWDT2{pۋl|&zl)VSiA,E~Jԁ/g…c]qBo/S\ä>-66M NB s1^إ0z!V1^,#T\?F{(gĪ~XU1z`kB =v?՚STHj,X70,TJ>B4ұ L1gYZ FIg% \HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument.tex7zXZִF! [ ]A-MՋhvG"uIBm5*o$ſm^>~_3lD&Rx~}~7su>S>!G_^Mzmw&v5·21.S+#_(דN ?oQTtSƍA $B-`BM^O E=9/!Jd!ɰ/H}uoq30G6!lHeõ-TL6;U^[;9^&sJ1}D6݈sjwBn \t نrB.uk՘i䋾(Y,n\`@C@TR9@b% `DXO=Ǖ#ڇ Rp$f\3O)(ҽH\HW٪Ic{~&Lc6]CpzP&ٚtԃfg[)߈Rxc[iXE%_Wx]JUialFBYjϣYȌ rUww\@|Pb$| knn?7)%=C/]'lUwYAS^1sPۂ44F줟J4 Y ׂ6aB5KRdn07j&dh/mY Ř4U;6wdU~ǧ{t 0śg@IYcs?ƥP) C 3.֞A%cB[`HC=(|Ob79끨`q/sAv+ *.>ƅ@su5Ow3n'@5ղcg5J3]V>C3ɇ((q]٭,ȲZTLV4&?55^~ޣ!p/`;:** į1(]di NRb89D.U)F֗!^o%`UUh5 2uO>lgTcSUa,ʳ (L6u6U)눰Vc~hVs#ɌC{r5Q L 0v{/CkmbEueTی5REOmrUzj0q=TH02F66}S$K$| NPI6_;BO8w|/zm\Wglc_TXbeٍ o- p` Ef:]+.IPmEnhùe_$m;3W?uh7ך@M_d$=u\?\Jbƨ oXΥb+7;ߧf Z?A -5j԰ڭ/RQ~SYeJ0Z0"G~=kJH6JMx89U*>cWhx7^N}Pn0/C3K mg&Y`ۗg`#DOs|ѵSf(omPm6֨oͫMLO G KĘȔ!O7y0e..4|6u/tK {責 `@/zp Q/ "|UyG<ؼR`D@V`o)wVx`#2o @pbc!Cp9hԩDbT>C"Vf (]㙂B<ܹ@m7Wi/`~lTZ h{-4_KNI̓[0c.Qd\v%4]ua a.(C6p]$؂w2)9{GAyE(NAWqH,'=[oQ]%En1*F M(:O{Xe[^0gq-$c.|ԃO-l%lOh^B)wpA'ް6WS̔q*U*TgCEn]]~|]*ssi儜0G2&4~ qnY~K!Hʥ9?Am,^Js9UΛ߆ Ъ6L:![ n&$O ElI>"6塷#^15?<9UCid*y]"go \wM_X)0R,"!=)T%FX\BĆCȋ=d*0.+ջM̑fvGvyht[܍d؞5CM\ b H#V+Jt"21.M@7T4 ,SD@iwqg@͂0du2lH"M|RI$] }l\_3훝vqI9J$^c$c'.,;+F_,1+vVl ,g?|eBܠcc|FoP`Rmj͈opRGAE'32╷)s>}٣T窙Ǵny`(:WY8nVB6Մ,^BiwYyxFr`w69ˌsEfwFD`|`>_s[/A0!ɞ㰛x$mە gm]NYJ[/8c:]SΛ}r$]aE+(k\P:;5}"}OD![sYOh9+a/b+&Fi8$?ףzH=4]LJTRΑ =qd1&8Bŋ#!`l @Y(% ?":ɻ\c("be&!׹Xho2yMT )_^:i\B q&>oBOQh^nTioNz"mhd`y4PT&up 9tL#O^ <> iL:vC6ԓbl'@}_\zy!eՠ;8]{?Pʶ=x^D`@ f2}su/^ ptr}v `wXAKZ3k?[:x,kQ6(Y>2rЬἹov 3?G:.(yxd3!98I,B;t*M#ZJ)'t.b)o;73ޑjX:LVDRRU&(u Mi>FxK=u¬,F|5avTq@2CJ#{[}d'mZ~57ZS!6ݾ@B{ jT eefs'':)ѕ5f-UˇXN>LFN!<;0,}č_ ~S;̤' 2+;AX4IMW[RD.?s o  dx,Jߊet(MG&h Y~=!{ Zs{6CXS^ QEB À8x&8zkp< },E%%plCԧR*UguM/0Wd,lWZ"U~cx nl^iNM^7D &]WRl(ƨٺ釺L :ֵ%GsVOm30nqPe@{c C0EZuX0};^^ҫb"#dqhD*EρfdZWz-,U=j)'XXwpcW}qƤM]/cD1Q?2و AZwAUײѦ#tڈ B,:xe7 Ln{& QAAvcq &<]g~:r& BYHds*X|Mj"e>k'v7?s/dR]ȇqiB&:;Ǯq k*Y^r1`5;q?2ghSJvH Gj(VH&rnqV)cO9h~Vu|EaUOzr Oh ʿ݃ yT|2yJ嫐ywz=B_h^a)™Ct1A$J%:ߜSGH"K9{ `ZtBek-*|G E*UXpց.CGȴ{f.*5<)G097*Nx'Nށ%[D`?Y4t42]R@J$,'A'S75}u/ :j(@AIٖ&!qM7UڤʽւdJ#=`PT"y}e q@HP!^;\d RıkHawZXQ^8'CXgM棣u[M$ %/h:|x%hGnҴgePM去N'"__BEBY'Y`v=Gr7gYHUΟ>\@a4R+ekwe0٣ FgY+0q_]Z|@( v_0I%ݱDUDINQ[zty.!yiOvTíM`ٿ5X|2aAd-$ sE_b2M\ `5@(-'rSbP@c 7*c}fh?*Z8v Q`%g9-fb-aB6_'F&$e(|US_E V׎)}y8tQ \՜)qoP&@QAM U˂,L5XpS kLH8{sQܙzcj0}g> ;;vY{6ֈpR8gYZD ܽz XH$T :'\dV񣦭MؖʝI3 3(ϱgYZ7zXZִF! ]ŗXi%;c bq YL+u]MY!1evN3&)OXZ)fIX| &To>G:(ˡC!bk9"dDsON:2 ?do7^xsTBZ1 ѨoCOJp gÿ5ٺ6D .5cs~{j.I^`1gqr4{{;gWn]~Kgr<0q.t[un%vkGyآK̆9BW 1UP9 vFBI$GN LrHD  'TDᘈXo?Mgw Cy5ΙNM-9C±Y,ڦ콒8cB ]M1j0ހq͋PaCˊ}vP$xz{jP0tGh7teOy4^Cr.ne8w!on"MK ,1hۛ5ez`IQm<έY~Ϻ5^䟎5]@/ epbOA[R!Io$=HUZXiD4XX!S.4XW@Gl+)鵞C:P 'nJ&J K9ƶVH$S+h !HE` 9O6FA:#i&7yBƿ1]Gnuˉ{2T.t$:/gC kC 6?c|8 BI3~4pkè9#>h[psHQN6!=tt:pbIJp.mPwp[+ :pNШm\5wPDٵB$z16ruժw<\5©kgG}I0*;^Nd 7҂$Ѐn =y x{#M Qeyh#ꮃORR5\5Qϱ L$D@ [ 'ԡ%} +fQPu8{'rN~n]j@gZ/#(Y߽ lTLvP(MԾYV.mFk*XA;&+[2c=Jֆ3`uPiz4ZHC^}Oy2U"|uۥ2s16?9'oAٞc%* &u$${\&*1˖9^cJiɵ.-=&ɰHTQuJ&|."~z̊,>o= y%qObqVFbXM ;pSihc&E*J=k0 Ph:9l\5g)zgoGQSVkND+gXH*E{F)=' ~oGi\'쿠x&]ݐE{OoT=hP6Ӫdǭb~% 73ŸL }ry@@sdT~]fsZ06q:j2'p) N-9$y.8Z`53^KJ)E7m|c[ jyEh7΍2zJ{⺌/Y4Gg("FJ7y}XGP\|AkT^K*g2ܡ;lmYEXh|CfD z+nGiN|4oQOER\D:8S⑏ᆰ{Kކ%J~DD](̭3#؄pZ؆ώS同-At ίݣ%+XG}%og5o(ʮշ#&a#P6B`Qr+ R "RN6t(H^ CF1`ڤh cbT9#gGeD]0S@FjyT0 ፭;ng0May!14Ĉt݄v'BjR}p`गV`] B=h % T h`vDefqSo_\T20@.$azciIP@[[CǍlC%lQr9Z-KNpy}o"5a~3dce~mP k㧄v4%g 7%6Rstt;DŽ0q6bj `f{jvFF6/8nqyR{ Ʀ}];p J&|-D{;6j,ɦ>rmi? @kj#7#Sm烔nw5K JphẃH`6d++#FA8qg;fy*(Nn!0[<",1xC!^W1eXK9YUyfenNzQE% i*I.hA ?Wh͊342Y0caD'1KP} Hdi)ޞmg?S@:[^۪Vu7lJ2*s&_*\]5jcT=(AwH !s"m]@N-'J\?FėWsـf b<`#,H[ k4$l3uj2{ORkOL%")OIW6 !卿,nu*ﳼpS}S 0);%UԦ!Jϱ59m @XRy9|XD0;>ž y5{I74Ѕ#G%k8iw`1+zM) n[Cu An.2Nob׺֦ d'|VȃzK)(.8aP#˓;eKhPydyOd;H(WUH o be hs$3svcZ$5cӔ4 K)EwLJ@uaG0*ˇc'YvG*<6'G0N-S,Kt_*='֫b)`5v;@-s8[Uй