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 )tT|l ]/ Pop_Refinement:threads=4elapsed=11.700cpu=24.272gc=1.0327zXZִF! b]ŗXiɟH)0!h]eKmKxThoGh:x: _J"Bv6_5W9/s5|;NJ$'L΅?V! ZxH /#kJe( Wx{,o/M+{Ꙕс+*p]N.g, 2g$ XVw*z/ ݅;_?O̤)}_HqG$IyQ};2(;@cmDxh.s->rl'~e@ۇ ztü-h}yO$*cf"E~}*@{Q$|k>sabEajAqH3rÑƓ}:S"93-'RKf`%ߖqcՀ2n&"-66ܗj+j_S6t񩮲^ZWgO4V0?&#Ζo)_(qt2#l7G%KQ$eZubKɾНr 97j)cTN!kQK@m khrݦ2&n2N? FH\^bd<18~CobPa&l+@:ǻgYZ7zXZִF! ]ŗXiɟˏa)!3w ?5{N 豀s5d':䕓LH)zDžΪh岄tprYI Bиm?{`HVJ]Si4:޾G(}&V`Μny0D&B@ .k.'cbj6G/gN+ 1q馌3١xS|+O NȯJ/)ގ)4^J)s# o9H7Fe |jVSqٔGţ˘WXw+7Ƭd9Vgh@6M3vtߧΧZ䪒K⭗!EeeWB`'r5 dM.v;ώ(0ӰS(Um )WSۥ ?(1׉Ŀ >㹓WxҎÇU>o)5~(x }+wŃՖސ'cN;q.Y̮a!Ą#Տs5'(d<;a4!:+/7j9EO!3~]\ rܮ9Q*18ڬJ"D=9aj!šݔ=}d *312) UMӶ-*AJF8Ƿ yuHDR5l-WӳQ:UI@6nst/2zV-P;@|Mg\+!3VT_"| rNxR8=4^8u& DLRwgƋp`Zkrra-=:Ҫ|(]6iT5BfmY ȆԄxq @>\PPcegQX"%œ`2Zn@VKeB ylJ`qAE@ u4Ċ݋տi+-Ҩ\#^}2~he})Oj^zy6~lhff|(ۣnmfW& 0\D)$x@67Ose÷^"pim[+@؄Ļ)ϷS[w&Ր*@u]=nei7il#om1}F"ӀKkozfr4g _8Pm3ÕN(yh"y]sV %>j)Q5 LKm&Y+o!%OzRIiT.pР$ ijH `c +Mb 9Qbj]=ygct@*q rL <*Vb^ Qh镥L/xQϔ,~}q7l[6vIK$ߨ)w;2;H ehf*9'{CzзW=1~2X9?fpK'1C7 Qu<^<ҭN1 \:ڮ{zQYl%diɪW7ūAhXjq^vgq #-F♃%PS,f|.C~ga7F< .$ 6)EwҌiSTo$Y_7'`7K>?p~"{'HzYeN˳+<>FzY2[r5x.S2|YOM1gYZc9a0f9c95f686796c856bac06ce1a86e5e63d00bc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a ) Pop_Refinementd)A% \Pop_RefinementPop_Refinement.Future_Workdocument.tex7zXZִF! Ih]A-MՋhvG"uIBm5qa&͕u*s GT!+ :G⟰Xp)M+4]9!تm;Zv~I6LoUOA9B8թr0^ɇ2pNS a&)I]mg0c">#PפּĨ!oAV:s1OY~ N:xL h$MÂav:[=oiDE#?TVmq 0 = m"Iޣ'_aI*r,Q/p Zmffj+k.gGw8!}D+fDJd%hqR}I`'%)hy,< k̪蟶iY5ИQ}5az ʥDH1=\oy>peԉqswx73ܹ̋WgTg\Š%zۀJSμL g}ÃukҺZkUd@ZT*(.Dx:,X s`852)EMSgpֆę@"%9#O퐌؏ JI9_γpIƴKuA99=vqE#TZ`Cנ^[OޗG_)ϒyOg]&U?vٸ{Z|]8FPT1r/fGDy!^KǘstTocՍ.=+];)Z:_袃snlBIzA9k."0Dl;ٜO]c$t]u g@zm0JS_8s9ȹRFkHLlWeK;4i_4m1xGyQl*rnvX3/z/5Jk}ɽ9钅jqg '`Ӿ䁹#(ݍA6Aͷpy;=Ș,i E Bd&4etbx.gz8:sF=uPz@>XcHO"_^wB'dhn紥*3suJMO}+>pd NƊ,\{OiX@%ߘWFwPqzqK'ZW-^{B1eA ãE>9Of1nFI5+ɗԑM`R{aK }Hv8JyP xy7z- ^x!F1( ~ _Ĕeh@sk4# Q#i[R4ὌhkAt4 .B'%W5k8?rG:k 4IP̻3uA +xf bjQrC3Hf܄<4b՜HcsI/!\V~LR1nGZ2e:ܶYhHR>LP>*q9*5ū .2+PأOEܯXY顫AKT{f卌-FWG55 z=1< ^cfZx72^Tv/00M|!4Csڡ>wP(!J+}8~xMUxޏD<2+c9 fG 8oֲ8NfJ@?08wk?pk=WX:36&W9xr~7H; y}|xE@dOl3Ml j@Kҿ8z1ꎌ+W!F dul9c3?p@Oc"IRoGX2c$fØؑUvneO"Q*@7]3B-Pc1„i3ⴣUdJyߜ8=ZXN!]T؆&h-cԍ,̬P6*;{j?S)6Ӵѿ?BZ^^ P0xu*Jh?n, \5*^?,θKX$ z A!8ꦀ6 o[vVjrc| IRW $fsEZrAVX֏8`t񗼰 Mp ܍΋'kF^l"/YNE9;fuQ}9ۇE&:& QQl`//Ig4Jh|Oߪb!G4rSǂ,u"fLt/So-'b,l-?;=1kf`=8)I%Pop_RefinementPop_Refinement.General_Remarksdocument.tex9)?%Pop_RefinementPop_Refinement.Definitiondocument.tex:)A%Pop_RefinementPop_Refinement.Future_Workdocument.tex:)C% Pop_RefinementPop_Refinement.Related_Workdocument.tex  d)A% \Pop_RefinementPop_Refinement.Future_Workdocument.tex7zXZִF! Ih]A-MՋhvG"uIBm5qa&͕u*s GT!+ :G⟰Xp)M+4]9!تm;Zv~I6LoUOA9B8թr0^ɇ2pNS a&)I]mg0c">#PפּĨ!oAV:s1OY~ N:xL h$MÂav:[=oiDE#?TVmq 0 = m"Iޣ'_aI*r,Q/p Zmffj+k.gGw8!}D+fDJd%hqR}I`'%)hy,< k̪蟶iY5ИQ}5az ʥDH1=\oy>peԉqswx73ܹ̋WgTg\Š%zۀJSμL g}ÃukҺZkUd@ZT*(.Dx:,X s`852)EMSgpֆę@"%9#O퐌؏ JI9_γpIƴKuA99=vqE#TZ`Cנ^[OޗG_)ϒyOg]&U?vٸ{Z|]8FPT1r/fGDy!^KǘstTocՍ.=+];)Z:_袃snlBIzA9k."0Dl;ٜO]c$t]u g@zm0JS_8s9ȹRFkHLlWeK;4i_4m1xGyQl*rnvX3/z/5Jk}ɽ9钅jqg '`Ӿ䁹#(ݍA6Aͷpy;=Ș,i E Bd&4etbx.gz8:sF=uPz@>XcHO"_^wB'dhn紥*3suJMO}+>pd NƊ,\{OiX@%ߘWFwPqzqK'ZW-^{B1eA ãE>9Of1nFI5+ɗԑM`R{aK }Hv8JyP xy7z- ^x!F1( ~ _Ĕeh@sk4# Q#i[R4ὌhkAt4 .B'%W5k8?rG:k 4IP̻3uA +xf bjQrC3Hf܄<4b՜HcsI/!\V~LR1nGZ2e:ܶYhHR>LP>*q9*5ū .2+PأOEܯXY顫AKT{f卌-FWG55 z=1< ^cfZx72^Tv/00M|!4Csڡ>wP(!J+}8~xMUxޏD<2+c9 fG 8oֲ8NfJ@?08wk?pk=WX:36&W9xr~7H; y}|xE@dOl3Ml j@Kҿ8z1ꎌ+W!F dul9c3?p@Oc"IRoGX2c$fØؑUvneO"Q*@7]3B-Pc1„i3ⴣUdJyߜ8=ZXN!]T؆&h-cԍ,̬P6*;{j?S)6Ӵѿ?BZ^^ P0xu*Jh?n, \5*^?,θKX$ z A!8ꦀ6 o[vVjrc| IRW $fsEZrAVX֏8`t񗼰 Mp ܍΋'kF^l"/YNE9;fuQ}9ۇE&:& QQl`//Ig4Jh|Oߪb!G4rSǂ,u"fLt/So-'b,l-?;=1kf`=8yQG9a+ȐI$v19qu3G[U*aTS^MڃOe?0y{YGNlme$.†A SrUHOQ9J)Atc\l3Od.! mDx:]$U֘Lj&4NB ͻE_|w,4_cWb@wޡ`,h,i:q"VNϘ|\kLI@5>OYfZ;3˜eq/Qn6^pxWPy-XNT69UNG)?% $Pop_RefinementPop_Refinement.Definitiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5ֈNj0 ~5̞^_Zx\HxN:UP4jbnqY*Ƞk7p (WWӭ 5AR)uQ"rHk{knN$|B#oP[4OYDOJJYFP-Y`G%<b NQYxRrq2ؐwxv::G5yl׳Nl@\L pKS,= Lއ1)ې#:TK=rbA o_{3]!ii81_`oR@]fj9Z;ᡣ˸"c*A>ȋNj_, 7J5"jU5MbR0]u}CA;gYZz-}Pa\B1װ4P1V"#H3Ţ|zC)!ꦣr*(^cs-J҄1A#N٣%+Qlc+i0de);sD Gʙ;쁪ȂXvwZ9e*]%e]P#KY{cLmHuh]TkQA oB̉e0V4RVժQssh AlEE nՄ = Krr5h>KFkFD zhpY_򊷉2#GR'5X"(&<56+}Js+jo3"rl+& >LT*^A_orIge )̑Y9̊F=D/APPj|E^z!ϔhvBiO~G}cB ;E쭖Y۲\rLcC:Bc:NR{~犚IV2@lժ""TX]*,MA jDܦӲb6@^A۱x!i?ḩDтW ]ۑD3Sv0Bmu}3YUSlL+rUqvwY=Z :rKszP1ehEC|lGå(zITi.AG~}˸t?7:*S1ID mSUю#抭BA?IÇsok~@D\S^md2<ց 21ĩn  ^hqb|?Z /^2 xYM^6:Eߚl;)o" mCۇ|8/ %^jiЫR4'[N}spKɿՕ6 Jsq$ VFtmm :z1'jx1Yp2I&dSRzgaaF1KGrgK'v@; v,)U%t/D%ӈ%m9;ߑ󉑶H<ÖhC. G. ^Lۓ77)/JdKoݡɋ"A5͙HH=7}OVcƢXn^m^ :NQQ#ìx@hG8e<_ CxCb$| ԳzVBպ$f34x?EPS{^f))Fˍsz.L'dÛQgΠ^Qih?=ȧ6&OC?"Ӟ= hUƭ%KK uMI83Iɻ30K ,ǿo\Q kVszJx(y/OuT{x\u  OIb}/W w`ޅvI؊)6+tF&(KR=R3]"Na>;6LlB?ؓ}"xfVɌv5s*rw_+omI+7Q~S{Oba;x}^d]Xϕ^n8]B)BӐlkH*XhO2<}-4KQ#ʗ|joMO84w +Jcc::, u6m{GD7~K mUu1oaJK3 5HF3Wy{Y|VR=}ไ݀gRQoo's))+.~ͤTv36'Yٯj(v)Q`x,!@wxYs~NmTT.PSp~9[ uodnc,có* u89`~/82E,tJQOsG>6g- ^Q<'q!ϡ2N~DrW`'Z(*~J! )PsYP|LGj?7BK^{Y~ES]9r.T58aM'٭higRfKY )\7xmj9{N7QnDsOJ q 'JĎd@KR'<_tDPG)BȞ O(:c˲4 $rHl`3=$j}J(%UV͵"ng\=Lm$hoO jF} m_#60%Z^Q$ NzpVn#t ʃ"siyjS<*;7׿*q&IZ$N/8?P'I%= TSI8f\ 4&~bl5:N0Дc~ ^l3A.:ĢCKn:Fe8 ,GAv (ީ-[KHb_*6N/yw bAYc GQ;Åzv?'Ƥi%fAl 쩼>>P~,ebڰ[yR^́W*v_„.Fz@gy ksD&HvWlz_+0ߛ[f.jɩ_MX/CR?< P 1CgS}W`+aXE%ּjg4*u0nP YIoY tO`T%@gYZԡ>g._ Q<'^ݮ^ 2Z~kG8'8.RF$5A柯uo16Y_ٝb'kfenJ<5Ŝv X!LEvر־78TXޠ+[Z+\Z`} RMDØ3R+XaЅgvkJ #D D5 pI2-瀽}jAy*Ž&Z,Ac\ccK͐ ֮-S+$+ Kiyt Ҧ2kP&L)AHIct{J9>w ʘ4˱C>\l.BɻtN~$c>8]^>!ݭX+Nst XР{sn?UvGcAjN_"`K##Uo"Ћ+*3fM (a䎍$Y_MD`8w)hɰx0u!STɋ jqSMV|\8W䑻!`u6FC tW,fTvWݻ6Ȗ O]l&B|ĖG@~_H3dCU<2I˅<9fo-G qz:2U z};c!p]!Ru?hm.?>pw/fFc#8* M 7||xKqb?]nd>PѴw+ǯcS 6Ѻ FDqcXe$. CZ3w&Wsv$lP;p{ ($dz+̋Qu0W Iz\ӇGZjrpt$/N7kK= S<*e>f~sgj#qEuFBt0o=eϖ|qfؠBګ<-F4kul ˤzZ"[& ]h}(d|i-W- [:kjMDg^(YsM~r4)yM.dqzOf|l)fP]t0 T!%Uv<,E;1 ^BE祫Yu {tvzȘ[[aW_P= j܏$ 6 [}<,4GęQW+PE2XZRIsjyiZT]-m+/ZCd,&W.ٸ?oÄIj .b yx5`-NsIL)>/8umRq;p Ȅ⚶_ؒp-:,g"Áfx. 䓉'|8"~.o7ѵNmXЩ4V 9 CbyH^S7y+0 Y!kij8)LBǹZ즴zJ7J;/.ki!I<5 G1k7WuY%ӵf4_yC{OY Cqͱ5Y$V_WgpI44}:TS~Wey=C2l&e~="ZIz9 cy|x4xjk|: ȯu!?*BHwxm*\(`syqԍ`Rs~sDOffs wH,v?Źz+֫z6>>㥑؟LIƟ@20Kq1Һ1GhQmj j]|^7:/?~qʇ٬QCKܴ6NOJpd)D0Ck<ɢOXuiAUa vbR :IpdhE0 K8^|qrP_jwwp"jL}<ZX").\×L4Ih,Ľq3w {B(Fimef$4`O$‰Y#uG?=4N3in0 HI']%h(*jw[4i;XFSHtp/< Xvq^h@ (P~Z)ߐ @\O&6^ksB,51v]W HC;L~ @ ~@DTlmE% 1Q \r5WjNP1 xJ> xO”J⣧7FӍj<@( |MԸ^b lNrPH3R5NK!~vF\@$01M[ΜisA෍ oKoT}A){J`/,_!Y&YJR MSj{#r-_;Òfk`o&e/܄eO!)b0?~Xb-/`Oˣ e+u͙ס&&sX2RQm\{㧢㍋5`gtrλ adm3y1dZa40s4h( e8tU͸@-h :Bgk1JbԶx~i$ +Sr#Y.IT^bY 'w'zNnNfm`3hU/4BQ &߮4A >BbwApÔ[&eǓnTFn cp%rk/5I ;;E!E)e Jr l!sSB.+hRL "1*/KNzB}Ó <%Fy;j$\Y+803e- ]p `_?PE4J%"¡.obǞs%fd?b0ܯblE1'%QU pcv"?> c͗ ۣwwZOU?<:r}4B1C]*9Ro4TAa57i%:G {g{whI$ϳ6N7<%|gaz`M%E %[!"UK=Ƚ)P/KP@g^Uﻁ"t, v^k6) t諛'$0=pφ]r 1 8P!84]lQrmc*!5DDM#wqA8.[Ʈ)-nbd,\@{2wrGNdxۍ -,c3U ,UHėƌJ Y9^e>Y}S~'pٓu%ӳoC|s=A[>y#bß*6 iBiPjZxRydThj.FSRB+Bmkq&4ߍh`{"qI(J69pGG@f`JXU`ͮp%ԖhHQJ“ˆH$EtI)>9 ҥLEn?o8Z<]K` ao"'݉9E]gYZ ")E% TPop_RefinementPop_Refinement.First_Exampledocument.tex7zXZִF! h]A-MՋhvG"uIBm5kED !3Sҥ 8gI v"qǫ!etwTߣռ/Cuyig{ؘ lIib.Gތ&FP@vQ{^cD|]TOY(XRf/:!aP_ԥh2`Bᒒ'v pxm IMcpte< r3qlNlϙ!gNszDi;"?@;IxvzT ~#Gt2řOdoe #f'ا}ބ>LU/a&&{a,<ǠSC׋ t+P5]" ÓR9S޸b•Hm!oA [Kq*4,"B aܺ -%[E6c#+ci]n”,*4$~uQ*m}ۭ"h 8$RwFQaJpTK90PXۢFޟ˗ u0V~l0=$:C`k#Ty4 rvj~:;g\ Bop"V_57[U~#xq!IeBRgUU'Ġ\Dnq, JnWiCSa s`ON[1*vAL^ 3j-Mنms. u/!6LP. oۄ{:?c!Q6oQH>mlf"]-lgO L}c"84/*${\Z)"j#.;2+d*L='86ljKz>`'2rOOZ1]hJ2j\\+ZkFm; ƥVK&ͽIBT7-!'r|+=Z0*u#TI憴(hJ^Yn%pgciҖq+ǜ} sz vs"ǘg.Q{H 41XI[kH^ @AP3~B2pUIM2Q0'?uM)RH9c~ʥ>&OcX8XKI_11rsJ; 3aSSao@Qm'fDuҒ?= ̠ Us#HӬ 0Z \9oo,ȱ?ܛ1Y\PMhi" lm0FDЍo'j#OOa= ^`L_2d;E3lH=Q0(l[&DRq$I%E H&pzXf%+4媬vOsn**d=/o=)3%=-?Pէ.30ymJ|5n*|z w_-C;\Q誶"eKňcLXs|q|jrS'#AlopiF(Im J&w-]D{Vxl9ĊMPEv04Sl6HҞwAchC5=:5gt yn 4=0![3B 2Ƨm9Dd_r9 f(JOU;itiZ VH[ Q߷Āthӫ6 xdI>Oԟ,`Vw}!zS}A@f;MbI; wƀ^}e|S+A4c/|)ZYח}H)fN%O*¾]6XH)@|\ލ4+^ /g!dGjg\"z ݧc\L_^ ]s,An,ޣŹ^.c/KJ(4__6IYe&myKi!sN9p\h+ RdDv)ci-@Y̭OoicoJWVq%^q=U}uuPtrn'TVUY8ɼ՚)AWT̽/(.[ PsXf^EP}o/ݑ*(ʠ,L:e"rtdlrcml"!Ư(U$zLi'dun4hM(E(I샻"-N+ tͿa"yV9_+`BZ+E nX~M%HQxWޒ JK}xsFޢ=IӢ ]r@7ZF?h%نX fEԈmQ溹y;FKHW끕%yRbʇbV򚔑#k!$QԢ:2FrLw0_,!=+ܛu2e g2XwYu|Z$ė=q)6PZe% Nmar]TNY5b}Afy\)5'"9g&,Qi|~~<1u^fS$kC{Y_s/JmTBEsߧ;[bٞٛ#3$KBe:r5(q 1r0R;_"Qf!~oxbrEķ ٗ=f2)pBh8]x^~ůk?x tLL\;-c42NVzy?)od[; -{k̪7h8T%Ӯỹ ;b)RFbq#M P@_+e-u?&)_"7h$7R@k/KXA nTULI=GPFP7R7[061޵oLWzαnಕ,%^m|aWtuc)e˔ű7SϮj 2>V*"p_46bJc8P6 guamW+WCm,Ԁ|\ɸ.)ǫXVE vUquɟ{9# Go)"^Ż3G2|(8@K4]prArESӍ0jQẍQAaԷPNK= fڡ7g~8[<׮jVuj &I42 U{ڸhJխ|Fp5=OWZ_) wrV8'2hqd]Nuځ+pjh`Mb_/i\XA8iuUrQ/RڨMv0Byh\dY3iЊthۤn% u?fݿP\HB eq2,g"Iv2؈zM-ktUNjqj+/{z^nXkW|!mV{qfA*W=t|`@ʼh/7覑 5oYwd0 ;kp40+8%r Vk,~(tsCxyS$'^`vu +V1<(Eݾ뫗/]_"J+kxkh&x{U|T˼u:JWynvo "@(:3sGPEC9S3ÓCD9yVzP$_ީ^>Wv(+l;6fj gibK'M Ѡ9.!5R_ 5HlkT'qU}P' v/=}Mel'vV?H^RH59 >O*Ⱦ/h^O4Lᯬoչu`Tx^ŔH^sf7=M>DIB7>l( Q&ĸT=/`1w5%N+P{ay_L.?0/LSJKlU1 1.R~o3mUD݊j8˻CjLAK?6Ӷ};Aa)~tZ#CVQ e,jH78kr(FAb\7e5: F<Β]dF[ *eگUJZoV?.Q&|6ā;/*.jLU/ h/ޝRX٢jv6Al}-}H@~@c\Nk# gv4»2>= {c|UW+_6Ky0à 5 =Ger3˟6#^Lʛy9 ^Us|))Od'@GF7,/SA]|'\T{{l $*ad&<#a/KN!݅f:ujj!T̓7"$9^r},܈&5I<>nޘ#sOB%Aq>)K6 ՅTZOmPbh;j; OH[Pd̒κk-)=Ӿ:Aa3} uם'bTJ!sYWuE 'wϳz ,| O^Kń@:4Aw8 .D:C jSvjٵk4iZ==~ryd~!V,}WD.:D^,oZv9Ik`Fw[>;*ͭaYjrAffP |pP!^(,Ƴ{S-PORB'FQk@D<l\-.*H3Mlu}א$-ѣKo0> nH!D|n !FwJ@HIP/UOY/1>k s 0QIh|י "]c,VOѥ1Mغiu^Z;y߬3au{DTRN,Uw:?oշ~' "z혏>F4'~%嶟(5zkO*`\@XF[1,ʝB60),ewgj!wtiܻT`M .DE[LBJkl ϋw6sap\vJJh\e-64Sx]U}0g[bpFIBi &ީxGkql Rh٣O3ه3۲[+τ4t,q  JB38 ;͠)VΣGI7Ў$xg?f5e0,~A{a|j!afs_(  ?|a=ul:FCoaSNzuY~)ۀVAVgnUslE6e?L)䥷Q ,Su> 3S-<;SlVعmu :& u }B}W~uR)=Mp@@]2&tL+&M[@o_h|>ě8ۮݬ PJr\wƯW"'x6pI4aNRAE}؝ -naN(.o*'?]@}FG'K:&Tf0:nnuO";%B\K,wgx@ O-AAZUUdGXY{!P?]UjUXWd{‡PUCs8Ëh./݁/]sL)~aVea?f#oPq4ktcչ@:}@ƒzw4`! kk"?%8N(*\g N dzl ] A@k:GgSa׃"9 LOվ;+crSZyw=ۣ@rР)ws&9^#Z O;ΨjX-cI%]dnpu S*Xn;BQdZR )B"ؗ*Lus^=ݮ+! X&}1]ZXm֏1ej'ެ=^3_<`:bK[ + \Vޱ?b'7z6wt P fe\E,M؞sZ߁Z8܎hRTX NR!|;'BN jxv W%CypvI]:~,9N?$3N|!:tif7e5wѫN|q3BXCg22`+}ɲ *,ߓVOa3\PlfF (3/IRon\2'ݣLOUڭwfF[ a~IkqVs4nͽ"EW| >:y4{djR,VxzŶdd1HY!h EY_%Ə ͜m&5hc& #>$)ӁG,`64vbp?w2¨ ,z{5o&B"t\m8@Œհҟ'RN/*qRዪ@G N-kU -I9tRtqFYptx܎|Q,]/G$  `$e3n@ߙ}fV 0nsU Ӆ_@_(k\nQאez+~Z;]'IA8naaqM`8V1$d,mt$r)Dĭfi …ZMTD@6Xial[Ϗ;>vy h;NOC8-~5\1Aɫ-gx@H[_ N s㛾ߖړ%´P&k|"2OfUW aػ؀$]j.lT^YIOw񇀒*$Z}G ]LWΤu?Ab %ޱ{8D-][ɦe i)=X00rLXH 81JC#g=&XSU}"jb*¢%CtT=Xgg5Yd$70\BE) ő:&B_)uJ'} fe2k CѰf\~ .(bq4%ri:]آEOg,']I@͖3Kan[Kl,FX,y`-Pg`'iۥ?"'-zXg8wMJ'al?l?*6[#2[2籼j67cPH;1WN|k鍑1Qc%qUVׅZepJRf~oK8k"n5ngψ:ncH6!Su'DggX8ע=aӴЏ93$֙1}G70S]eЋ{HC7s#ָx=L(I [[V(Ť)j&/Hy {Hְ8p֠ .*=-OBtEwx aLjddS-㛾__Rȗ IFC$rb {:^{Á[Rza:3׼VP TWs;2piR畩|$a=5܂_2 )HYuҼoeO me<ѡ̱VBih[^߭nfﭯ!N4t824p2%qÎ`uοGzK~K\A15#w ΣօMNsu\ rI}*K&eG$d suVn9̑XV"&WmIdQAuǚ|Hm"O!_0 3\_s+2+|w>YM. Y|BK0dȌ#`S]`$Udti? θBL)9쪩C!ׇ^Rk76* :1lTb> KLn_#:p@M:,nnVUHH)ձo^؂G~D?Jģ{ \&KKyV js ;r(XCϣS{_h@zA_4}D8_ɖIusiy1>1yrV8W3PN-4\kTZJJS-od4qAҩz2;9?JWς$Up=qlV=0gb:rrZ7ZOR &4r(qA@ɞ:r)hdT(SP!eD'졨NuW,aNۓcX:I2?6HsK)[$˪J]AAG=lLDN\Bj-mY<:zmuE6ѻӼcqn@˫^p1';O_ HV GƀfN#N:tG8]W.~n !9L"r^qnM/PcǶ磎5NibĉUzV$MU,t@xJO ³q b]s)A tޕp!ŵ s~֜mut8XpXG,xik7vM4͆-y^X,k/NI4<AX0Qq3#i&I޶$8]*_2G ߒg~'8AqB fO_uo]ƭ\JK9/DsRjPiD,'$( :/H4@B*qVԥOI|Io;.?P祖Isl$q,ja۽\4='acL@Sqo qf2;7wo3TzN1 ')#VČR h:^C1|*Vm~dpRPDse$ p)s)>(qbyd 4~Vؒ#~ DY{[ 9J[nZ)1_{]bF7Cv+Pm׮@3W0ߦ;}K_My*cޓ'Gم奾d L%;k:ߕ_ *_5$r`` =;"E읓1kT_qMyr) ig7|E$_i?X?T#2_/Ck9[DFc)e(«McAnt=f\A&4}]nKSXV i|DlL \6 -T<t[HvK)jL _eEUkḷPS w;Ze{Gk*4q|}¡]byZBp@[߳^Sb5X(|)nV ĺ٧=V (* xz 5L#M66'e5읉WS|)J/bnRbf;AA;٠+FC] VԢGQV?]bp;7y.+L'FM% sC?}YH\J;MUnMPrYfZ0LuE /o%1T1,P^/ap6de"y55.Sj?d̊z \)"d%:!@oP$3aZxu,e0m}L:zZpf汀]w}f(l9o ،[Zg0)Sϣo!zcE"i1jOh{ 4 u-jic2yim T+d`\!=TPqҴVecBR֤E#b9t/=1z%,[#)9OtDMe00QC ^~m<UȲ /o⺿mQ~$s;֫ O/ ~br]628^ȧ8uזJF k6Q{f%ֺj9Ifb!z Esz6^aPz9#5B]sdafוM"Ùb_%ad^'Jg󽒎*4hA7-|1;Վ>[@]=䛌}3\{ҜpRKb/L`TR oil%|7 n[J (J btZXgGi۲[U^}}Fp_%'[s;K ̌*g'YvP)DwZb 2uġ[ ͒]ge$9}]\/T4U>0!VB s\A䱻]]9")8e-wv"vS/"@\6ԖXecBYn'L2Ö"okgQ(,G{/l FjBVBO$!0G@JfΒTN`o g_ w%9 ?3k >5oߎן eЫ(h:ؿPnI;%7굕 k~9QPXlXMn Ռ~,#Zd iM ԛWp)qV=&e K.Հ2C1=|yA06. bo lHgYZ  )G% 9XcOx'AʑI~ /vrlvwOoJb=韠Gn* k6԰uq [+M:$9/jn29IH'"1]rt<*BՈa5LOLds"J:[3>.P?˧<{-Ap {es2gwbzZ4g3N@Zd+r:i"zϼjUՃN>f35aOEsl4a􆁡$AQql0--lyq;jO烜~./(B˷M1hU~)o@Wگ8!ۜPc+\@C%'2B+s.:8G2# %!Zf%m>uKCSYVQCi.-6[pbL}>YcM긝 @Ӽl"?ODJ$!|! .>'ts9s,dU\}!W%y1cU8.`g.U#pNq. ]?|x+jXI }98̈dQ=a R>_X'ʭYbok\[?4և]ܬV_qj$@BBXeDՔV(c2*5ڔ{s9l<E6ѱbSnM|$KoQmqsm}mpU=Z~IMt*׼FˏhE΂xDܖԴ8+p׮2N,;B0:Y8vDA@~G@|(Dᵨ1rp$mHvL/@Ty*qw0NYm>mt1 >ӷsmڇ#YSu,iLSx zAN?II4Rtj5lw#A %@H&ad6SdΎ!TT hC4k*eRX <Y2v4mOUlۥG˛La2JHk3!I.^ k uo}d"sgs͌ڞ{rneӾqIY1`t ^GHk_ڟTRߖ;#΢apmz׿< .&AVgܠi. jVufKv$Ώ=A>R䃐$QHZ_r60|܋bx;sӹ!J"C(I"~ ׮F,F=Ax`{Gc4KN$6 ,6hYk32&2%4t;=d9*2*3T0r9#