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  ,I\t ] HOL-Predicate_Compile_Examples:threads=2elapsed=128.710cpu=192.024gc=12.172factor=1.497zXZִF! t3h]ŗXf1-q恈"3UUMѺX@Mk"IA̸GO#|#%}9e33+~zb*+7Gds}V@XItޘ Z^2ql0qUMgL$0YO=?XDqOdʿRvTJvR% {$9'*Sh &8Ira]Yƃ5N!ԿONk/3h5,ue!K`QS[&‘ X)b}*ԇ'3vBLIzۈ*[袇ʏݿۯAK@ow}Sq3r_-- Xḳ!}L8?O(78;e֭O*Yc_}򤧺ooM\7S<$p(ȣ<}K4R@z <1M#Tw}u}"3"ӓ4] u1W_8:U]L23r4[ 4])j:GaGfp9VkzILjXK"4gf[1YEe4p!k:49-jaʹ44Br-*'eKE!Fna3hx6?>cDj?Ɏ$v#PC3$lAi)rH@.Jq…irmTջWZ|N_UcAy8/krv8@>lN,&ID?WX?@tZXEPRdZ(.Tr׀S^1yA) 餤~Z=F܎0ui`Wb03Nl͘ ~}??6Vff̞ ២L>eK{1>Dpwz l3~e- ^dEtۢ sEIFqP{Eֶ/a; [ !I HOL-Predicate_Compile_ExamplesI[% |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>*z7ioIy% 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:         e @B  f  ~ !e e^Ii%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument.tex\Ie%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampledocument.tex\Ie%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.List_Examplesdocument.tex ]Ig%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Lambda_Exampledocument.tex cIs%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologdocument.tex lI%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Context_Free_Grammar_Exampledocument.tex cIs%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplesdocument.tex TIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document.texTIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document.texTIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document.texTIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document.texuI%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument.texfIy%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Testsdocument.texWI[%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplesdocument.texeIy% HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Specialisation_Examplesdocument.texs"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աtRW2H3RO߽_ 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 k kI[% |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>*z7ioIy% 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 >e  'GEIU% lHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document.tex7zXZִF! .]A-MՋhvG"uIBm5J[{drĦ\^߫h4 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'$lSgx>}%@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 BTIy% 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+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  XyIU% 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%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 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 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Մ,^BiwB|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  Ii% dHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Reg_Exp_Exampledocument.tex7zXZִF! n k]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 &<]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ֈpR8gYZ@Gkv AqT(J * lv

wMzmˍe{ZLV)߁);M[w EhkړDx oFUkQv͖VrrBOe` LÑvr$0O:(kxm>,![g;jaE{_N{ XXk?-xIuD=R{!w!IWoVπ,WLιQkҦݔ&y:qg&QBRWaOA? H/4ZT4 ڕ*|)枡+,c Dĭ˝ٰ!_pR!AkEքa׎gN<92# p J-]e `=m,imN$?. 1B*&ƣl14z<6qS;Ll8teAVy̯w?ĸ;Q9!t_mJ R VD۵ gGY!ÊӃw:E6}S}c@JX[GU7gYZ7zXZִF! q]ŗXiɟ11"7l>_5N: [J[5мԬq._5Ko,:̾ZEy@Xg$ڗHT_.8ၩ b<{D*Nz9;\ J b(,Y˻-oPEuE:9"J◵~缼%=/P~xYZAa0f~Z WڡM"t^4s:NhaqqQkaJbI.G/ҧEdD~#9$ jfOb8 d9M}%jxx<ݣxeեܟ @ FgYZ7zXZִF! Vy]ŗXi%; ?.*ћiDT\EۺZ&WDTW_h&E@+/j9<M9bķ\ #2c$ L-,}S4% ʏgQSD 艮"*Q˨{f6]B%?8/Qv^Cܬ?]6Lʂ(Lwf7{@;(]be͔Oɯ\I"gDqJH6gNu;~_‡$gQS}ؽ!~{d^l ~ t4233^t$32c cQM1Wo$BpQ3`Flpt2y X9F쬯ӊVZ nOcQ\jp٢LyTOe/ljswOSg^rg5UK"u`Hݻ逕Wвk7}4ts,?|1GU𵲜yZM YդCB-@&u@~'h=_Z\"K nTD(+:RZvu3] ,xI5Ǒ4n!3xz`{ `Q[yb:^%} )zJNq@ G(O: ۋ[QX:) ;B_02,F s%Q\ii&HՇhUcXk5..aduףxZUtNrcٗ̀ yȴ|VJxrW 2jw)F Ta~ʿƛ݆K B,`p3t)'N=mKy]A'Y ̈g\OrEU5:vLնBZp:xRPHTOn# ~> xxVZ˘8Ӄ \3U]jqIkO<4+}w^ ~4tT#SOۣ<\]xbx0嚾dXAo' *vkP%羚l)" ~p\cP-HtUݖO%'<#KZrE\Y|Y A4QwG#]Xf*YvSr֭6$Pk܍C9q&2? dM 6i{&QWuun_oWo$2v+·N͆)]}Ƽ cK !H/!n8j;F~YS"CGq]w\lp{LGHlyOqbkxJ4nIw 1iIQ}Na\Jl#1yovy:WVl#Q>G#8V&FwEI) I~MD/+GmN%6St G'=<6"LxWAFYʶ{wMֺJT/aH8mHωVcDA|K_|Ib5I-G|(*z~$Sn " '_\̉G^WސM@gW?r*cOA+NF0f)Màߪ HVrTⓑYFlֈ!fC48yKJ0 W6Pyr2Nv ooDi7݄\e?wm9 X=$&*R'lDmJJ ЦUD*fK*++aVtwdWhl$iv,1tJdq+& iGT-Xɗ7_+sOaŀ-F~6V ?B,>ExڋYT7&,p̑0G2粸 I1Gz4$#ꯖ^ekMD%'B;Q壸_vb떫㒇s4a\|DYzemIgr:}19)$?|:*׼Jq\4Q@^+aڙ%+X5+[0uO[-o @$ $ *s˷ (+*P4+t )wȼ&Ҩ 66ܫEpRI2o0f`4'ZF w{QE2{5btj%Rn?At{ӺNR5VBlT?lp {yB2YZt:q:w]!ּkÐLvMz9 4Gſ- ˛:\R74) .Sf2vniF0;-LFw'5 Q~\k]t9* $9ZȄ \G1=K9 hԯd/ 2ڸ3`%RE0'.Z\^g7!(OqnᓵPq9D1 s­5' bT"W|ы*4C}'8r-^IA0(* i2L W4 0~<8靯ş{`R^>gZJ1i>!XS'}iJ&+F~n5`wlΜEU2@?) F qh!ThS@O6I0w\ =pB5nj[ROJT8hdBhֆWC&,:ljSc?bfȐʥ%xwo#ar"u#txL!Y4 M @|eX2>+ ,s4hPҕCdv:s8K颃.wnj)7fـ~ܔ4Y2gi,r~.Ix ?e AmI؎Xav'okZg~@|'O!P3fmAu]>Z~3x8ǹ81P)ƼKefs<7Q`~v]U O9pZ]r|2 8@~>JMaV"61*&@nHZCnbM?a1;]cn4WBUf${|La-F7BAp\u8eo$$߯{k+m 9i/ꅟJUKDWҗA[*u s/W[6^X7GZ `GÌrX/4IA)ϐP!# t>%C"ҦX B^n?5(sV<Nz/Tۈ"Az`A;eLGhVhJ0`̙7 Zď7(vj@|[0=>X*J+XK  2af|u@s9݀_g|4TކoBgjb<]wW9G Y yP>&KUgD`b9% #n^EêA6`omhиjfiGLQmE:RZ`\O% 񈉤uSu*m;v3[WЛch*m7֕%>?ƕ=Tv4%؜ozgO2  S4P>3deAhpldսO8궤էԴLN\xNBBMKGiPpXt|d4*1c;Z>R ND #)q^wS`o"P !\GxrZG0;A-\&F S>7f ,? 6mx76u|laL D b%xfMr!-@ mOfjW_jٖɹ ?)`$>ACDny?akiI1V;ڟMdL]!Q}|v0RDžH;@ZlD409h][-^(;x e,v }>z+x(:l>Zr;y`OTo VAƠװyД:O& "o/AZ,{򋘤6G)o}0joaPˉHLHw<_u!y:Zҙ'XM9cpOkQLuL1W5$ئlOY?q ݍ9.0@?[bB8J ũr<&H4dv`q+_< }As>u|M/:m5Ek'AhʡӨA$ Bk{h0O?TrS!3\b#C0Rkg:8݉'9%qAޠS{PK$O߳Hz>Rfå'aQ aJڹdaݡ@ PAlg.poDK5mn|#mmbQ!M/v hԅaiKim:a-߀d/p-m`ř΄ݶ)R*yQQ8Or.brv#mQZ]cYGkM'qX>߾ )P`o0{}|A %[ڷ-|?^Lz=t@ҋ5ϭ sɱgYZe0909230ac442ce369e780147c05f0c16f15971d408130f68e215ede7936ca4ab0eafec3d85e645c f28cf806c632fbc2897c47bd2481cf58fa5266f7 86e38d3b5c0be1586f867242f20f2d734f9551b8