SQLite format 3@ .;  B --?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 )IxT|l ]/ HOL-Predicate_Compile_Examples:threads=4elapsed=74.323cpu=244.324gc=16.9687zXZִF! ]ŗXiɟ fR%y cAYЫ &PU)Lm&3hsvy[GfS=5QhڂMt*xJN8Ax-?`h[]gW"/rvYQQ3 r A\+ErhP: 7d`/;wr?ekVN7 &~9Z\, [72E|fo{R.b>Ly(鈎\UR9LE=1U&XPm$n]>ʌޖ6u7~u'qY| ;)*v6%n1e%NW.Wo]笌fjw7bOJ1Ľà+_nU쵎q+랦ȇ7@Q^Pum:Rfsz~Gb2LdZ.Z}{02[pw(5󉕗MoH*/篴DEL&gu- Kֱʄ=" Ԗ`+ɶ,3mBWT#>lN˜#@a.*N p}{Yѳv0jw;:9[u$Oac o^4$E-"D&]xջay藁80o.qCʏiB,s4\0u-Mcw׍c|`,T)6x∨KTd^;^?;B/;Lƴo,MvBHDa)j ñ ۏ.PR,PIv-p3W&p>#Ea* 7ŢQs|y ŏV!..@[9a:ct*| s/r=U)ܞakxgdߞ$C l4$삗5߃$M19iB"IJ?D#0XgKqy([hݚ2&9j>j-;ˮdQ %kƀ<)fw!j8j^ ժuNR Pq>k 3~Y4}~a&SQ0(PEUC Bzp7_,'_$NHoUUD\ *R7j5^d<-,Ў-ifًlX|\:XW`$^K0}es*)|9Xt.,ȷTHk޺zet>}w] Z 7no)kηn:\%0I3@D!%v.z|=ͻ*>'i1xL=-Neq1X`< h @^:^KWxZGhL0!`R\ƫ7ACd)$w}ޡq,:^3=u]X8.fTX)hB''%HՆ(OU>nx \?zkB]lI1Cv{jOڲc6z?dﭧg9K𾿾c٭ Tr$܉a0%tl QH9! ʵ{q#Sn!oyW'RҶ=佌Yp=6&JUx ]-2dlrǚ*2jOE}})#MybX`x^tWV:Gip鈇,Y)}.k:#Mؼ$IYt݅MSm~k~Q[A>#p<am*KCGFyr$sx^S # M3icXqճT.q",rnzqA6?c$|"Y: jDم3Bu=מk}*G LC{# A!o}?9|j7wHZt,.u.S_U@ !;kT/*qd̅'[y'Z=?%+2KKWԂ=S ӛeU Ѥ8 ^2R@;; :LRſ l7sHvFdȵ1JmBfr-~2JF'2v}b ztcx, y_ *0m."#f^ph&Џ*SXb+B]m9IIea&:O{u&5XȨX?щ\]?_FS.+K p7B(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>*z7itIy% $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument.tex7zXZִF! J]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 &=h7ͶG;4j>yZsUHæcjdx8i⥽2{#ImuKO]m[g 5c=ìÆoA#zyʋ@[[o3_f?gE)uʎcd(c-T;4\ j{fgkQNo0u$U}:%?S@g:MljC:-İڸ@Mפh}X@8$JW9`^י+Ljy'.6G{N̠np8m[@7WY<6}i/u) 6\b}̨<}K@sV\6b$ vN )33냟?_D HƁDœeK jJbWVgEupuEtV_PFOZno3Rxtv)eq"۩<ԍL/˥sWSœg$ăM]"%-n;uAr%,F>rT篲l/pd!Իdߠ*Jg T%s,/h[K8\X=GڗS6 ji @* TQ Ar8jxl[ (K-CVނ ߯IDz!T@\iBaU5% 2ͳ&b6hZǰ8YI(юDxҝ޼#: I: P| s??CƉEl¤"1Onۈ[oe!ΌVQ0ejh( eħsMt,.2Givut`bxGA1, "R`J`c<Aؿwa *wP F۸1G~C g˥@8{2EEn3ZQwmd,iq5T$>>,UR ds&~/+@[]-70(^q'D8NBS/` u &|{zd>NTB8z%֦ ؕ\&VM72C\H˕'P=b2^YK #f8Ebjnf q*ϛI}*9{hy쌃w_\Fn$U}ECRV_gAFVY o+rYl,q-EQ%ڶ|$E.$>q -&l;}Ӡ|2n@r+";ISXR+՛˂KOCVmF&1*𣽱 d#]߈pI5$YUgԬ&~Jrߖb%~=ٷf 98@*@KBy6%HZ$Kt7y/nfc<,&p{}F$A>1Ȯ1'OVٕf=~(5.2#s~xns4uy nQР=Ĉfkc':MEᅾW!Xoה uO* >|0gyafA~[;Rca |_G ,q2`5o@}VUU~(xr>oO4IT7N(ls0s,ذ{Cc%juR Ŗѓ^'Y'K N=иp[WI~Tt@iFi* d!ϊM&@OFL6 p8( [|d2腊;kU*Vf Pe(mE114$ؑ ޖH4fzkY[LU+IVzCHV^rR#iӺM$m7,-x l"%][*`@J@844!=5c#u1ÑȰl%y*DyVp|ЧZ٦?YEqqNw9TK_b{l:4Do =V`KnQi7hԁ8oryp0El-J݃NB N]BĦ͐ZyM}ef8KS JEzddCѻ<3̯AKcC]4 {ygNR46qpbLSϷ+Cf[?9 ,gIkQW8A4ܲR$N2Xb7V"V$+~,VMQaWkh0Jw k1l*u%^ E&hfkn^rne)c[DO(v[*Tnhg`  ]#zᙤ\Qc캜vEəLq7a("C(8^}ևT 8hUE f@W\G-dwbM_3}̰(r:ebį2ۂXNڒa7Ej]z`G-gf0Fǩ}&Y ֣O@&篾DO>J.b\㛻3p87W;/*:YѫUBvϑᲠ.y8GD_ )=PAsO9D o %0֒CNI=>+N.&8!׎hk 7nj:5As.NeJusp>!xy7zpnJ2j!z u+!>3 ]xlz&~!2J=@wBfn^Xܻɟ]knŢ]!4NiɠFF˖_ "U8IbDj3]<%| 8ȂWיlhSGҵX,!$+ʇ{U˖OhFTf?XR@G$CEmU#ֆ_ʘ[bETO Vu'I "p @\lS~—/CܹIR,{Ƨaf|MzW ӯE85n}/fq7 "6֗Dq9L3خ;Be(@ &v?;KMoT*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աtRG 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:S2gl)OW},Wb ۹e|1??]?7jvl{6< 8*Z hܭ&X%#̬aܑ?lqߢ$&9^K^ҚbMR#ȝ,gYZ e eI[% |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>*z7itIy% $HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument.tex7zXZִF! J]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 &=}%@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 Bs{\y ] WM] Ii% dHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5LvfNaUk#NyP8I tv N"^ya6 إf+7Y,Q,7C/ulHZ»|w2m!wd^V[\uSG Ⅷb"0>9PcPH"ƪ@{4D >&=୦Ɛe䁥/V^¹ScM/Wв"G0M]Ug`hȤJ4pfK)WQNsD=½ڠH9}W$🜼&OBLyr<4Kk9 zIU% 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! "kRgYZ I]% lHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5LvfNaUk#NyP8I tv T朦GXv.-'g_DDV{o$()Za,\t eVaseOqwBK-Z;ս4 h(v3ORv6%m9- =k;qw XX&&R6&jsJ |g*M@deA;KҀ=\Ք8տF68͢S@nA=Xf49S1UAi^~+mxAǝį7'r&R3a!DƲӛ',{[.IearcIK;B?ŏb%WRrs9_ނR8",2Iֆ7')$쟍 {k빥;T (x _f1y /*P>~"Ttko?(dS֪ xH gYZ&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(_2gYZdGR\`. 26]:T!b=~!C1. W4'uEtM!e 7_/SXXO⓬J,GI>33^Z"=§E, Gͱxu'}^U|YNgN:4spL+(OJ m/SݼǏ np>8.h0l"VsM?XNIO8ڠ7wwҥn]w%eU{v"= ?6wٸ ySSsPpuQr/~ƶT31ݘeBA2~ 'JV{3zPPE,+VF!&Jɷ{̽ 2pr>n_%dTŸ[}嶜8|(UV t8d" n]p<=P} bul%\EMy_9ESF,adɾGuXwhKΌ7csCC05~8kAJ7?5;rcI޴!b-9P)& Blyס ,/,aD"c <`DNV j8uIhxI(y ~=ok-PļԪ ̿ Ar":Awx yR_U+QzpOeC`omeTSZ7Lb7{WxGEDvO΋gp`At8d|δ\Z|5t4oIk音kҘM8'Peq^[UESdbrTއ=ENctr#N?۵ʦU E6l+h֨jӫbiaLk@boH)2K~ATJ21樒K3"Ԝ~ih)!D\ A:M“W)j( BGRj]4WfUX мךNͺ*50ߥ܏gWvBT h㵓ije?FtVO,;(hŽG+5׃:}HˍCiΫPuN)$È%f*igK­SڿU&طR|r'U\zmL鉺,xְ?Yyng,nO:]U0qÉe֣>]nzA+?rZgKC;m|i.6'sCխUέ>7{d5WM|g# Z&UkEapwDrNJa|µK_ΑӮ?Ax盼iaMJc*8+~ a@ re;?#[a騹 _p=zVYgFa<@*9k\ȜmkFsCsZr{iSXvh[*L~4ͪel3 `"txeH#6}ؒ_&u/P+(@q~cDl BRG|G dv j5'ʴ /&熭iTw`2nZ)g7,,2 iK ^ R`¥iQP>j:KU_CQ;{͹V Z-w⿈p|ր*)^G>f7639C0q|_[h>ߩ]F̊QG3qZЛ OCU=J8 sp1TzcEyFB m8Ce?ҫClVJ/ ҔlEys{x <8C2i R,m'PYoA4ZATV&J1ks[m"kDgPuw#JO6 m174r6 *0dN8; *BA#8r(@ DZdgC`[o:R]}e^WJh%B+ǂXq ̟857RQS' ;h F Ì:MIDW;o^2\Id7r{ۈ( =EE)ef(+"}3ywUM#Qԓo:86sF |<O2A˼,!|*r[hbCy5}wRdn 6_T5WQ9Nܡ)83EZNd;){œS,aWנwȣq\z.bCJյ,jT-g#R;~Ι,[pS+CB].Y O%vj=N"z7>|[Ad 4:٠I}\d?dM}) K+Hg&E3RH}&6;!g\UO(@O@.E [Cv[k=ža<_HDp B?Bх+H2 P"tȦN H ,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 Q Q? Ig% LHOL-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(XS;:kiɈDQ]L37u ,OSH'NotϢ[+\.=w UcM p}kKӖEpy}fGǯg rat- !~Y ьּXXPUQ]"A|(>`"p}*Sᥢ$b,!8ڔ _^Ogk]5+I>&jgr[v>X7|-DS(EK >Y(^H~MJ&]cv {Qs'$lN#g9(mHAطhX~ IU]etU")UFvݶXw6 .H J.#FT.d`hȦ^Ut0rTlֽ;(3[.0~%L&V@enqci[v6TMe,u>JdJG1"eZĤ*'鉥1--zdG.Do)J\m&MW>r$ējGe=Nz]VhvxT2˶ȣVGD>pc7Ke=>o`~[H(2`9ٟߢǜa:H::48nC <;q5~_` c _$h` Cp=ʋm 49:u.WF/УW"4|)N.Y> 0# F-͌Qt2 upO./#7gQI-03E+jPWp(uﻈ9U{ˈt-%CEz$4%*mv)cHڝL,`}8Ȕua؊le 5x=Gyoa->zm~g}RiT1R)'A%vXb(s}l:wH>U3;:!hBxl@=n3=j,r$fE|N(`,rۥ4.A1">:&d iN$Eai-~mo=DMr3gYZU Iy% dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument.tex7zXZִF! NB]A-MՋhvG"uIBm5LvfNaUk#NyP8I tv ^-YWUJQPe@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+,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 I;% 4HOL-Predicate_Compile_ExamplesHOL-Library.Code_Prologdocument.tex7zXZִF! ]A-MՋhvG"uIBm5T6Y)AEŘmUd|B];(vyUdpK|Kf 6{>`YiO WF"[/YcI>}/ gk]y|/594%Ҝ3vh͹$R_9?eK]H0\Mc6gz)^@(ڻ[[;& +R Qf"vRǽfZ׍#Z;Z}4|rL 1nc^D@Y`PFXI ^A)]33=K'W91Ͷ>c-dQ\ҥ,imLR^ʚ#p;`P9/,Lk?`@V;R뎀ĸ,IW`6;/v_a8ZQ֑NO@+`i'w]6S&2䬆*laϘ22Aۍr FuGkݗ+iZ_j8-<o9Y|Uvw$eƏ9]sfĨ O% ]E[人r7e=GpLgYZ9 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 * W**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:ž @kqH6 a2˛(^Q^yxe_̚T}dlʟrtSEoYL(lw>W2cPN\ aR2UdҤeV3˃-9"P?.5%X0W4seIW8i#|8OG7N#{`c9% -9꾑* W19q$UyLs/T^-;I.dq_d~v|Z a6o@lkbQ@rof h Vx:6:@pdxK58*L_ފ7/9ڝMs= =r5KpLR/uN'4:GV7hŠ1FN("Tvxo)gq0]QEKX2}󄋆<.}f[R8Z|NL.b2 Ϯm*gU[Y9 %E@.ZuXw]6Y@0;A+gYZ F 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  Ii% dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument.tex7zXZִF! np l]A-MՋhvG"uIBm5pM^x]^[%Gu\ 9fo}yXb9dJ CdbTYb x/n5 {N+q(pqO?]hMFr͊;\CZssiJ6G2zk$De@ޜk")Y?A5y8xHNg\>YyxFr`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 &<]gyl縢G(fX4$BU\&{/ad,9 9QieGs^#VBwgA3y "6Ah8=o'sި% z6rRqb۽ƿQdx(Wc VcMa:9Alt#$^@;@=P4q37vxNe="w>h& @J7|N} "%ea!EJvZ>hOhF\%{[fH.5DI9n44(/T(G[ẠF_9h!VH?ޔ?⹊;/uYb&5\,1Aka>Zl")Q?ɎH @Ccϔ%c',Vr;&j]hy\ [[)2-FB ڵ-> iVhMTlJ{AK#'-p1L@B(&<Ι)`Z:4ׂc?L(D(X ]Q@£Mi3c`MݑXCҋnCh&HM)׏_ixd0y 6K+fnI̐:VW$[7wr{5=8ߞc}5 ɅR3Oz/E4UgӞyF `Y,_NJAlO#qGg١R,PژP*FЗބE+]9} %ܭsYT9#AD6AO|8םīLAs߭Cj,tE&Lp| GV$++#?n(<2+U-`/,Sk>X3V GP4d՟OKRkÒto fG5XN/]vOWVl%-$@gYZ$ U%6=$AGSK @αduw2ϗ BgW#F{Bʣ落c`"gH2v2 `9sub*vK)Y3|eQYΔ E% yj^ꝗnA,AMo'xy  h&~RЅOv*irBG V )(rOt5`}n/ QV$0\:6f=%b=BZo-t݆ :`'\t+ _.gYZ7zXZִF! ]ŗXi%B{sU11 º'OUmBLpmwjwE|u7H_1FL?}CB: VU8ԑb $R1;Xp;E}+G..cnQ ՊG%!`qZ2Bg1Tʤ}d;&#5CSv9_^yDz_P|uqA^VJ_x?ڂBMq84ofyCC- WWB# eHdu?u8S _ku \H T/k_\J$Wn= 6͚g;evLe䊅TgF0Wkm.8^RT/ђ>kfE 4of (ZM;Z+WD4'yԳSV S+ľ+fۥxY ]o5j,fxfq #6'e~UKn a^t7dtݿF2/bۡAaUz^v׹.ٌ;GBuD5ÜH1 w#9d<)2íJAʻW"Z?deó9CϱnH,sQҁJh4N!S?z-M\ o< 9y0 ; )eJh4BR!9%wk&ɟ+fXve Fɏ(+!^pb'A\)XlbL LkX4pfXFt5#Ŵ3$M EnYG.ۉ R`jፆba G+-]R|&=ʉCnDj?bo7-[38S!@b\7iDjT *=$_- ,3AO2ip8"~p'趿|j`f٠Eڹq/Қ-e>iZ -MEA1Ȗ\|Qs;>c@A GL[` CuyblJRp{~)i)b]rh}8%-#hlpբ"+;# --zmY FIq 9.O,u@I ;4!O\1m[$ V1ӷ'2 |>l I079E3{}P2!&]ڜ5i=n٣m5UQM{:/۱M sSem".Ja<`bjJ ٱW̅A X#cXh:1wǵ[~mP6YJVN  *_Xx*SkAsw.?%~eYH_D7΅6M^GJߟ'xܰ0 [Fy7553}bSLqnߓ7lGl6)k@<3i ÐR={E]=vL/QrgI(fU J,5j!\$卟yq31[p. Eg`YB3{XN] 7|8%wHC~"ߟ|~,ۗty+ k"s}Rr{Ja2.&2~=ZM6bmD^&G*L,_^xsUɰ (jv^(W_=(4ۆo9'dW.Ɠ_SA.^; 촘wlg@u,!Eryl%Wu<˯sJ˟ʻ16)ixy1J#.S$_f^a[WR.c-JkuWC~U.(kH6?2}*nZ^YN .E;ix^ sJEQ\++]鴫 o~|hІ.aNvn毵g6NFH ak:\NQJ^VbA~t?9KX6x7©0pF TB\i U4AR)HObC)Igs 90~Q&shUgƋk`\qUko 4ܪn;A|k(w* %tS*:k.E|@_){,>|2uHX'(%Ws(dn d|Up^p >>={:NI^!l_ @7(S3J.˃\H]ctʣ΁6/fhcpQl:MoD=M#=UD\9ilv`3Aי0Rjs- m]gb{܆b2Ǫ&"P@TGUԞu-5r>y;,"EjU*؟7:&:r 5Moy0Uz!׌Tbd6x]31C?.}-8԰"C0t+4gi[ tSvH]j'm0| wv6kO2Vۅpռy98O/zR ۶.іo)QHSGHS?nwd'[ץ,r|I2s֋O(e[j _Myy&aQL PDO!\ (.-NϼC!&FjLc(e>2ޚRL*$x직ix/#<;uIH)ʉ@V>+-fKzFC\Ԗ(^x})/!< ~ML >(>񛙠iF+6fݰ$#2) s(Pwҩ7FR& )i ~Et#*W~t#k4XZ1<kIeqVaՃtu_LQ'UHvKaXf<}~]&c,Ԡm< 6gDP8Ryi#${&pǻgcNMJLd ~{򼬣cDW3Y"`O1 ?^3 ]01mݯ)RVD>M>WnX*t~BAa ҕ2k5vla+`" Iɗ hCC[tfϤfD"&Hk|-x"Zuh?sµ֭J ȇɯG4n*GK@ԲRXWA _]jjɣvO> 4DC.&6LI@EGK!|p4x }2󰢄yj;sJsi5 ][#w!^l-;1~ $9c[@sS‰=FCسL4J8^ODzߍ`rbxxo.u9ut݆ΏM%yV|%1Ł' ~\XFWRAS39Og?9D՘ q.Nk=Do3Pvi֧, 9+Xb `A|6AjgSwYt}o:yTm>JP˳44*(HR>l뒡,U]w:Q俳szh/ޢv'DOɋ޲҅2}-~P^]ζ@G@a+DГч MEŴH {v i+\.w.җIA,qBrii蕳/QXvSzT ]u=9tn_1>~_k0~8ɇs B9_GTJ';Y\3)rsep./DzFIT<aFC4o( _3^5Fx;%%.%1J2.d&j~ P"!Hϔ5GTR'ޘ!l9wXٕ2X?nDU"pl*ca&oe ruu7tOmO={$Qԫ zY,PaW%%cr:ǢD-ތ<@Z>ʖpeޘpWe\;^fy[t!"CGG. :G56Q[4dSG 16T@쒹VԸLcz2~YYUt*Ii".Ѱo!8su}؊M {D%^AvRɬ hi2/u/!foLz TPeRC)k`*5)}ul,A#H IJVlDfsn.%-/kIny0C:jrw}x!hoؾ>lcN\D[{̶c| NDJLȾƎG`Wn>1qAF^:Yc  |">]r]^Z ԣ8C^#zI#"wţKZpk(/]r@{p^O+,ySUjߪHr=Pw3s;W ]0~K/@N/mq"[G~-5s|]WoOAb竤^K I6XoOy>ƛLa&|c4(.*f+˙ej='ēf,T ĂVoA |] 1Y%w̬2z~8UזQkS~5>͹@-\J6X 8vB!qo:r06<-D{NLR{D+_u_b,K(~Wɰh'[ pQ2;f|<ާشv>(GURTMl$[_N?|'!7 `~),3 U:t;c#h!{)5~ZU*`2'MO@^ Y~ZjO`l!ՒFWhmd<% ~*0m.i N?PQ4zJm 2I;yHXO< 0= }M_YGQ[R06)tCc%b͹q9,bƩBU-j5|'?2 QG80#j $ gxKEhooPEcsGOT ZD gClvЩIA&cvj_{?§{h7A8x?~uY? Z4b{*zsA26|[wjy@xcT҈w9RbVk=p0`2NW~5@1ob쁴,{U.^[M~i Ӯ! k,".b*k1[>ͬj6,.x &C{Ǫ$Oc,a`<ǚ|r[{?5eyA/sXA ;JBeė~7D^~[i.~IBn7NV]c> g,|yYh{Y$.3] W+?i?<9Lř8Zi\{+3-5g7c*_ʊ *LĢgIy8OjH=Z8-e!nA*ZVA[T]f_n