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 zID, ] HOL-Predicate_Compile_Examples:threads=6elapsed=47.029cpu=150.704gc=8.540factor=3.207zXZִF! z]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}U<|vw1*$ ]sr 0oUVlI\U43},e'BXwW 4֎7Q]\x0CUH\ѕg^^F&۾UOV$QL4h&SY挧FƦ,-aP %#W 5@#$K2OP)t sz+@) ;x,sV!nSǬMQ֖3H.5a"Zafa^AZ;o9 {J M9'RP9/Uekcxů+ j3?LݪWT 0RM.]|e< >cj2dn:4Aw8ƭS8>k<>BNUĬ|5FϓifgNl$PH5/(`tѸeZRb/BK8)/sj@da8pЛd6fB9^@szVaJݸpiF; pD d϶>c ZWGWGȽZoi$5VmbF0[2 %_DiS †i$)@0y8eo z f1͝ڒ~ŌzuygIid dT{ \P$`䛟}jI uh'/ +vH2&UhW~g,/W-n2UӭVsK: 5g!|mtɡݣhAO/*w8$@U! h7@N2M@_dG} ABs$~\սRѵjw&73Ej-^fLe V' _EX@[Il\5cW(UW#!SnB?6B , }k:Kyrkyr5!OiZl n3Tx㞐k釔`0;BV{W3ib?S扊I+?%Y+Ȇ 8#N Zt̍M1O}}@^܅')w=!. crI]3N_ Ͽ#iDCp' 0I)gm23y|ky7}~S*b#2>&E]r\@ae} Q EcRzQ_ڋ:DW]+Y=^9#S3ĉWl/73kw249h^W\lHZU2HD/OyZ0+fX&Ltv0šL~B jF={!Xt/F{!HBYיuތ{(;a _ ߴb6 blԼ9`9ٍ>ur Co3՞mqD)x~-I.)=zdH'a[P7VJ{ =SS͊ʖ N)*3>61BC??Yr= 6~M~Q|#ӯRƒ﹮'m":O"~&Y:,5SpZw=.,xL&}Ӥs9e}@KeRcѥl{{*vV)evL"ȟ<>xάCM=l^KDE:^AsKP[R]5L!5kM0ȬM{ k<&)%6HZ< dgi[ʫO{7O{VpɞH*7&蹕L2f56oޭ"_\i]0!e;~ 2RܯKŨ5 ּZ1F+4~IjKHn}#_wj֐m}k?jl?1T0H"l'ԡI(9FL2FEX"}#?^v5QC]H['MQ[SbJtG^{!Hג\<~~BgYZ7zXZִF! y]ŗXiɟ11"7l>_5N: [J[6m@o+KG%bQ4/g{Ȃl gzu cH!RM װ+~ŖڦBoEQ=vG J Ͼ͐4LӉ%jTc"g  [G }e~n20 M16l'hd$F?'xÂXZM1$4Ooݚ/wŒ \(v1OqDsYKlR%gf.tfeBd@B> ̞5 !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] z?MvpYҡtK&kkJɹڭr-1<~k?exY B oIy% HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument.tex7zXZִF! SF]A-MՋhvG"uIBm5ȧ|3Z?j]R:_ؿxja cOE˓ Z^ (% @MX`轶rNSC|~yȊ?֖i01uĊliB+i<(A.K8c%ACCD/u_M[m#P΃<%rk,7K>ߖ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 ;gYZs{\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өUMS'Bu(LXԕM@OU!! "qCA*2~ ZsAfYaV~+,yIKh^,^΁ cMM qΥ\5˹nc;<<:҅/o|Ǟa}`HH+: 2\y*zF%HZ^Gh2Ө٫ϻ`YgǺ88j}XhTc|_&WaB|x=IX mC:5N!j46D%u0>y@HԸ6PaޫTynl}y4\<ň\z`CR7L}7*]OV7Nb̈́2: \U Cż4o ^hD!ڌ U4lvqm`]Hz9Dd381i=u]X̾xy 5ae\*+ ލ޽I1>">aTM"˻HU;Qw1 zO!@0s 4< Glc1lP"抵~D؄ge ܌A0缏 cll/i[%#T8l9dNV-v3:WW (`vz‚d/5fV~e3م(G*#8[}039eMʹ W{/ e¥tnO QKv`e'_QmLJJ'klT'֞LpnyNHH'c4d &Xs#0tJ>V/ÄmX:>%y;7ؔUV6l%Zc3Mn+4 ,Cwf쫛Ίal%w.CtT{ $?+7<& .4rmҦh&I^#^no̦~pͻ\rGrc<^rZn#૆KHQd ʝ4H {2WQ_J?.d˚H"q1AaeHFa,ukN5^aV6XT^;kb䏾4 XO UL#4SFw`5s_#x7!tU-6*Ip}-Ҵ!r(ԱPÐQ9bX gCUn 3lU)b A/}/Byfz{7z58-W:VWQ+6n?1U|WGBf!*QЧ90֭oZ>P*F11rUUv7a+?;$-\$1# a7~dْm}4Li­Sq'\r}B6L2cN-"]O+lvFދ:EX =?B J]rs`4:fЦG'#<"6¹L!Cކn,DG;/}cl~g}?0ky&$F?:JٲN+B;!Djb-q_"*䗙vJ-2E\`qqx N1=GaÍcc_%e+KV2:&nzgd&,K4m;췃a2 9`JՓVziKȩV~pq^□g1&Y?dW2}9E?m{4HpdNq控௪Ι!FDaʍR}HZ;- ҮtSzvϵLo8MQM!@[PO%Va NHL)+yLO >p'EF8l)挺&R>[CoB@j/3M26ޝ=gII=,ڃFsJ[> n~.$Gy(#鬒љSˀ&0t0a `*Gw*j#KcY-q8I#~j 7<QtE`g { PvS(ҩEqwfy7//?c8GfRZJ5~fj $8<+#v}nKG԰y8:S3Y+79.lˇP[ .e֩% r󆩕FQz[apCY3LhZNpx1@F(RX)HOe#:RgYZ]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+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 ٻfu>W2H3RO߽_ 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 F Ig% \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Մ,^Biw,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  Ii% dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument.tex7zXZִF! n j]A-MՋhvG"uIBm5pM^x]^[%Gu\ 9fo}yXb9dJ CdbTYb x/n5 {N+q(pqO?]hMFr͊;\CZssiJ6G2zk$De@ޜk")Y?A5y8xHNg\>YyxFr`w69ˌsEfwFD`|`>_s[/AQ"oNԵZ lxAy< *|J 0Md =ium6f0j`{S]1qy) ;j>0$ߢs&CŚum/6]'_TI >S q[Ê]u>eY:gY Cm19 )\&")&;Cllo{vi)؀bY ?8;@>!1[2Eq0J:W &yeٞoxPCz}lcPZq-mHպe9oڷp1V}? ^(\F+!hC㖺⬉ޞ_k.8c|.8R &<'LPq؍+[+oFĬz|b+/(8Hɵsۑ3k QCJśQwDCny_iJ*Z4'Ñ$ؠowB6s㢔jV40|Wa(6,TLPltPBV8M. Ir ba"`G F pRK9iR&EԂjC˔"xbRÕC}5ș64pMHnsU?*]3]:їX#+pltvqgB]\r<zsRy'mU[[ͦG|,w{pɰK`1'Qe`8y25Q/QexkUO(0{hd?-TʼNYvV7/vQ^/S,(AN]׋Ջ@-N~zc6Z~6=\cwȖ(=}z#:{ԠdԹgU^CbFqBbU aѸ4!s`d@n-m7BȺ?LAJ>˷jcv3b⭘bbt^(ickm8L֮e;4JO=x3ΏMP"zY QR 1"I; 8s"-YuM#a (sf_NZ8wS2ӒJlq\su-=,'oޫk; :2"w(8\3 )pւlTBEu0atlۭ)?zG?2:oN krЇv6֎j[l`~EbUƂ#|iO;8zvU>[qڎ=^>\ҍـ՘T^\vjR#q+s1+*%F?uV  D5 醜8a҆q K';D" 6I4- 68+R@eoAe& |{~oCv*:Φաyz`^ԱчudL[j]>Ô:GS̰,! 0$zZ?t)Fq@S/4?bm?}e-a`ѩph 4"z<% l>GE9ɨi[vّTjg,2D n'Z(pW"obk&-&߿@ثÆ_AХh}"k8Rw]^ gV7 vT!ϻrTuzuč\m5$Ij,G 2nlHWS#IՆàp pvwҹ_fWm @Mf0=Lf.u ^rsgYZږrΫѧ$ԊS:bqfAGkd&"8<ٰK odkha>Eml!S|Gˬ-:ڃcP'XnFE-Ӈsp*f:‹N^LYc`"_/!fU2uG?I2 `R(׻k_Hd((NV%"Q.ڞA2h8( V4? t'V;Z ߣ] }/F7`*!Dτɒtq_KiDě`_*e{ Tmx >(-!B!q]p=UzP)}-٣eh5C [ lgq ޚW?2z3[.ج<\J|ypiM;T;6^M. we_kL]T3קZ,.(@q6,MEVfoGD"&ҵ TVx [*?W  Akڹ,GHAh5 $t?UD\V@\3İ'G]f6 {{f^R*q9M  Ki ރP4*c zS d$t.rW)S05 ac/ @TVS:C6:Q"&I̕5{_UIgӞˆ[s7p{ T _}K :;uCS䡌xDAIq*( ?*hW@DBl ګJDgA:iW'2u/4-g>"8镤U*g:PNwPH,8/i}/9 `%kqMF.(N3pHTo2*?J<P|**w@z:mH*mȎu'g3TXU GV%ٜ?ucJɪ:y*IzbZzQ)T%&J5&g荜=;?˂6옷<߭*Z<]@ZёOZYO( Tef*&[U;_*k*>R?IF^2Us _<[;b?[7Xic,PLXQ a঱f^\S[MNn5*Z/ssӚ[tZ(2-{o^4xS\r2Uy+޺ јͫETBgx_dzK ڐ's~W\:l\0A>)afv~?sԸ1&%kՊ{`^7G`>⬅MQAg7!,칞FTU `i}b25PDz^w BYм!#v).R}A8 "TdM7{roݾ'ZXJ铃jr0t9:ں,^+XH&]גاqL2o 3BJIҴ>Įnɓug@<=ŝ6SVF/?@ʚFb9LUr%V8,R#@wpGf\K, \{WiL}P7sj\005T\f: E HLf dh)H< yJon0)HNzpj:{>(UzH_{*S' g /:`h7umuwn!|\ܸHs` ,n!6J,3X ӵ,@4KU~tCy9zi!JDa]"w"1ojMi<0HUݦa ս1Gb|"W4jPslY퓨Bqܶ<Ӥ*8<,(^=Dp[g#u8rlyNb-XmFч/_08q LC;'_l8?\zn!~iQ fFp9=Kk xefAJ7A WEܕhsQI Z2}*bOu|K.HK o2O 3f%TdyM޺*C! #\C t4޺[tWW @4md;ZHFl>!zfQi$f>q!&m"Jt%\rqv});{[ѝwIR΁*FuCP.`y\]B7H3- %/'Q{ V 7&/rݣΞC@e%D+a EL K(]ɤ=\v7J`U1)Ƿde̚9YL8&R*HY|IzE3͊N곟z vdLca/n+kg#4Aj[Xد=H6ӰlRJukO FM2}-nek!7@zXko4|Ev8]k(4{ߖ}3Bcڮlj̟O|"(lNJ9Є\>s5\рpnQ'Ө[_8)YaY)pvIFˁuBu|lrx cOrxxI26Hl(G2WV|P=QU+Cv<TP2 %2ZԭHPG orc8F.@S+o I) 2^H$:nq Eƃg! ~UŽ/yÆ.& l &D [ڷ2cq1@l[w:>t=M;ָ/RCu?Ӧc\θH[wC_p]'b~χ1e at|ol zjeoRaJ:&ZmMx hw3