SQLite format 3@ .  hhB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 L4 /]]HOL:threads=6elapsed=146.900cpu=466.980gc=49.488factor=3.187zXZִF! CS]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=fȿ7h0@fMlzURv9~9E27No5p&#庺 'JcL;vM1sK GLHO[Ha\}-"WO9YP,+Pe{vۊu+! |/aw)w~z!bk߮i;JSr=M/.dq!"h`: \>PgW1b˕"+%H|#Vp`hM+  HOLL3`}#in8 vJ6O" uV?ݍE*)o U)ڗyw? k26 A܅2ì;Ďtˍ1oy*MT.T"F>iyd|EK!D*ܵNX/A=؊e&Jy-?F=-1Wfbj+Y7`IɜOW*3VnmA*oD}8J%07P[0Sa1m@CQS6>BXQRHm`a Xv 2ZEiNxجm A`^A1oL9޹xoA8%ADq4?՞nɅi}61r{~8Zy3U% ?}PeG,1kGNv~O\<"/ \0sb6PrPp< %ri.jCAnE˧~rmZ˚h1H$|؈5C.GUBZu$cz7Y_."I j 昲HqyU+LFߠRvY0L_TE\/d9T<"C_p۵z_ZԸ}eH)4ěsz% ZD9-s>FfM:m}P o%h+vEy4iLrM-!ζml奄;a^-]:H{@yI|0 (Kg3P7͘Pj <~UWKPRUnibf=mgѕ#&bA J=4w58~B cyYX- iZuM;|y:B| bP2pS_F)8с#s> 9y(gb꨷b,Sy^t6]S:2h7]a=2f\m>j 6Z!ڈ0V0k4?Jq4 Ptg|ND&5yx rSh)El= ȋBO{{u+P& rq&Fq@R E.!ڷD}+2.f7AqBe/.6y#v5&ܱiMW4asȩࠨ,@'H9c|!j2&@7۴ezyFDZ٢) #`&uxʹezЇmv6-<<*MW$^G*|(5HP$2 sR=ݕaw nQ~>3W7 -ɡ| io0pL#aܧ-fOZjU Gx;bІgX8C\h#iayK,V) FW,T] f®m*%OBt9ΟbTZ QO>RiETxPeNĆ2L\N^_On$a6J fA? \5<WQIdj:>@ZWBf̤ރV  m"ͩ(a?=Մ]]7IȪ,AT}P$%; mh0}>+X3 :JR϶r[ %JT&ӈxġxq2: "&zd*@6:q%ĵ+vѽrt$Y-&3sI@%c%FcUz8/,L ͋ $B> l.tcWO ݒM >32Z|EuKB$#% "ݡgkblL-h=5-7ZbۅشCzL8ё# McdxY{>n(1֖'u6Iai>Tӝ.?/[=tAeEk'Fq!>rzLW+U ii׋G"~. $֓ch(`V0P\^\~.!S~w/Ik+o0Q2wcnzFuG܃$Zu951ߨX7+2zl ^LioZz,".4lzd Z9gZAۘ0 ױCǢߑ q+7,(9Y׉Rx]0ƠՕ1fꠉ= Ym=S!B>+#y}MPMj6d$_[֙t+ܫo58Taʴ~@>$\J kLVF9v֪qǢ" PRKg-ϩGs:Ăw4'⊾I45Q)c*Oz% NG%!ȿL1BbHl&pz'ƨ rNaS[ovҶԶ<]YG{x{W{B !\6ozj+l Q}֜䢛Bj)0^5T 1lV2BԬ$]ڠ 9E3MQ$=pp5@ܡkUBMBwb V!{P&o I hP4UcPZV~hgW+ڌ;k->!Y& t;J{PB΄|/+jש{K[)AacDRk2x"Ag%}YEjta=6(y򔗍N_bz;:ҋJd]ُ`\tO{ؓYI/*fWJi zݎ1.O Ce6 +~}LF{P G K~- WԶ3J'VJxI8mCQ֢ƒ^⒤R1Iʛ6z5!~}*rEdGJ1z!AҌ]dFWGvihdew X-+-y_][PmHB|,V qqLb6GR JҶ*T:)~|qVE 2kYt] ]ZsYE3xM3X#HvqanruQ(olfR5BqZsDe,QFչíEPMHvj,C?Ve6])Jo( $dkbJZDZMRvҙѠO0iiȹOk%pp׎dEX9ۉ&A$KyR)[~,]1$zn7h[.ź̯]B* еC7z-,ʙ03~h6|1K $DsH^S'h5kC}M] v "rLG'N$nɧѝ&P W!xQڣl^ <8򼮴uRTp6[4מAd` aS͓'LH^'-ypvdQV!&V ]Yʩ}LbϧT:hW _n0PLR鑡=bv xҋH ʃb*}\^4<׻1 g 5EV+X(~@/ӭLSbk2mk %5ֹfV<]V6 6A}=(<݄ێYm[v"@k# ;}/iuSj-#廽ӫ(0bDH'}H>o?iǎ#ٴ3޳Jrם7?6C{be)N1cs6dzgtV/mXﺆ~*~1)fs*7܇p3pVdCBb/"Ÿ%{ I9Yo?qʼna;]e0==LzI6mۭK[˖$.x\#uB^NEt3*A\kn9l Υd3W0/d g;GscFF^Bqdi",Y;H 2"D52M9Xh1tχMs7`sVq\GEhyv*Ie};{"GoZ7sH^N(yN #_q0ZJd ϼ;!痂ֹujݍ{kH f2mОSC2%!к@ o5/pj}_ WUt;k&I41C;TG4$Ǹpۅ/H^,_tYc@ )  (sK5^o_,a~YPtuM\8,69-!ɳ41 X hTKIO.vjyNY1˛; o- 0`GT86:{KӻJ%Ũ!QZϸܜvr! sur#Us|%N:2WPtLQ& mx6>0D n]bzPܕҹVMd~*D?[^_ u67XbfQa5SHC TAnb挿!Ƥ \֟Se^PKn:3'=?j}kHL~P1}`*UhO@Gu]",ેS>=+@[kRa3J=7}o\rFC{X! 낒밖hqn+k[;3̒K!1ODu4{6`8㯆}!mK0%MfZTGIjW+ Ϊ`Գl0'h퀭C{#.m祺Od.j)_#`XeK|]3>y >}[Êm([GMS@!r38 'ᤐ+pWc \vPsq'ƣEUji7X0&N""he"TPGP,x,/jH0$;huR e'2I*kUB,d]4p|'̅FK ۲s qjE%sngl h--ѣe Z/_ rQn'|^E|ِZɤ*g%[Y-mƊn#FV~ D<آch^5WŽaw[f]?lh-m(|cGq؅9å['u&fB f}C/~ɝG;871A>Dtދ hߞܘ>z@Ӏ]G; 6TR6E~ $; #n"u,ZM^O$zP 5Fq5Ѽ[l X ?8i-V@tU?mO"FP.]䌐4 Žӥ(>SOkR[CN8xMWT "&k(a?Ls[em"E?!$p| B)pM cVB(Wt?:xeGn>uMҴu<u\Șu=jHph@DK5}PF$+`)HÏZJn>0F;5P`I(l='~.S9{fk.q/5Q}k(Rt:H#FE *^ t)6hnۮZB?[p3nw_Kw!ix=`@2˛ajݳD[7T͵ V3/˶hЏ%^5vz= >*MԹl_tYgpxp "ؙmg}雚F<Z-BۈL+Ln2W|@ͪ! QQJ:f!K뉿tbjd~/ײ˥-o^_-!z140vEaO<5݂4hf|ILgc~1mSI5d5r!V%3af]:Q; 2K}AaOS4ϲyH>kNJWp=tȇy?i<{t\(%H,_$6)as[+5N"Ct}x4~Wv\~gBG)0vRV7?kXdN^g Bz5A9-%Z?]^"k/- ErlK!@rDEĺqMO2,ش-A6,Bjw.BA7rљ]]/⩘ey. <|aˎEmD:Mcs* hX{tX(o;9z&}&iA@-W,?M^,Txy-d&A6)nYdB]}GK hiS+Frwnz~w–,u]I3NȲ#w[e-Mձ!|: Z3C"febW-6+Ec(4 <{~h].ɖ ?vqæϝ %r:(ń/8]ko%u:9vTNR 45 zƨb>lٛG o" iuc< Flfyߺ0#^ட qi2r5s?%w_`ۑ8ok6͊ܬYu=v}9_|Blݻl&Su^TIMTȢhfmX53pu4UBp=$hk&v~A"W96F'EDj^6lh1'Nes&M6x| .vV;ܑ)Je( & f Iw׿~& aUGI-ѰzAM ' 2\&/ }O0EݦAY$y_M CJTFC*`%dYs;RbU1UR?La$$cV W-Ap_*016aTTZm`Ow/a[ݍëC\7bx-a@P֊L }^iRz+g2L2<׭BpEqQ@  Z,wHʵC[V J^nSVodɾcXЃ1kQ*jǢ@HaieҫǠT#䗜ͷ:l^WP$EBvₚYm$.b T&bh6엻BAV~n[;XKcNZ{Y{TaZo5;Uv@Ad;Z@,IUbD#ŌX%M<~rg nCmm=;'@9lYa37nI8~7E7C"䞇m} ,q50$N԰Ys p@iٖޓ7B<+yg,Z_X@MtPfx$ |.eӫtdT[ws.:s5^7\͟8BL׎=x~~9H/j黼ɵEgB)2u a g8D?7 Tntt[msjj(a8AKڻ^.EDK17V9L,Ix(4Ia(cj(]SӻcX?4|ޜ)Y0*Wܿ7qivp iuUV9{b {(LI<"H4ӹ&fbyX=Ӛc2Bpm0*z0ٚFTXO[@xݽ zjKMr.iƼڌP>gV ^En%EVZ =r)Q@y#\ac @a#1e @vpE =j~Ma(i<;=F2E}: Ӂ8au$F]̭5{'Ț-{ժ#}4 ++R`r<}h-$F{R`a=:"FrJE];ǀgN>Rvhݜ>Ͳe nhkst>knmkĞ؍_]Sa~n 0-=ӡmM2V )5jHֽjJ9GfmO뢺ɍ%wiB_9n 9h:6By`F{M=-1"qEnf )CW )3Z}#&D%YA}ui3ՠ6 `Է#b`t8"0kQfƥ?_Ѹs)"fTԟIGn({ά 9zyfuTRނw?SЊ6_~T'vvB`i+gs5^qdX Q !aK 7>N?ɻx-XDt.yU͕_Nˤ,?+-oվ*^'Ds^5Uaԇz꺷"vۜp\B+zHLW>8X1;\SJY"%q̹)iİU6;:az8No%Dp>\KKߞcoԂnePݶle>b#`hZqOObWͷǩ̎VUX9%pTs>D"s;4vFUŐ~bַWP^o8Z:;X#zRapeV$ >0 A%j~:2i uU`yWy|rѾgN2 #h?bOMQ[ ?Nh>Ì,.E &>nՔjutcQ8XTs>2D^r-raǥ$4k28 =9GzP^oMa2lmP$-x@|b U&'ɬ:E1`WҔ%uZSiW1wɐ^'|bѰ5'^'+/'dCҸ~4{ k)*̙ڙ&/k<vR\fvɗW"N˿1#LD1F*2g tX $]j4iĸ՚Cmzs{cIO'ѸQ6e.4dvTiTNOj}z"Ξ)[y-+Q=xk}'L ;$ʉ7`. 4V;^i)2\7no8#\s沄+LT[.:t$m,zr  YDr Y{֟#ZWŔCsP$YF8,_ٕkAӾy gh wd܄ۚ0f(_4+)wpP5xfi2G쟕XecJjx]uÞk|&P|$5}t䍱χ.<*&uV/[Vy:XF=u=OMӯMQ݂:ZvS2Fe-U?/l⣚fXE?Ίˍ\0 ٕH(RG{4{trV;6c$N<1u`?_ZQXu&9NXNH[]ʓ;TZr? %Nr:i=Tb &*#Q-Σp$Jbv&z?fh&ҏ8 >Yggʣl1&M=. Ln8./7IWYgu*'naʷ(2lg;f%MЂ#AgT߃: Y䣨!D:h`xCkr%0p"ķSǢQ[-n#<[jM_VLP-캹ojZJÅ2hhp##_SDu՚2\|r}bK,ȸhh#ȿ-ԄU*MQ@kTa[UCgn#'R浹` P v'  Q0W(+JR *XlDSZdߘI;U "Bc|L&46y>9^ LX2Y*B2q\D}ݩR/V 1tS"gKhӺ>LK,QnYVob!l`4BZ7(ʤ;K8-Rul80Ή0|ͬo.gTT`:/ѡa@;`\߳:Żxgc'.Wex[R{ kC5]'WΔD/NR(cU٣Zx@l?~wBP =!<Խ<JcDYܛ,` na M\WOhpIgU"E9L?"TWEM2wsU?$ Pʈj}#|k;U&[ X%;/ΓxL6FŠY:C&Dp퇚!["\vqLbr펉n2$d8AoWS+IH结#dg1(5صg4}vj0%*O\S DzF>h XTB)z-.V"<#Kf{ipٶCt ܛ0/% tw%nE1^v!of xSǾZHNϹKw-Cor@p]5ܑ"bLf^!nBBߢAdxr$$;H=\od5t,_[/E\מޠ/o~ήӾ,Nd蘆l|zCkhpi4LKeAo*'~ ]+\0!6@&o4†ZΐGq6*1ЛVV=3D:CKzg.xL,̑v479Ӯ]mZB>wF:mT! ]s+Mswb-^MO5|[C+[;,Ku;Xs%!c_PrENȗFN;m@}̡]{ FqJvWD@qU?fw8_Bs *5 SŢ,f+K 0ś~#(NW/JPoWGH{~*YœTK~MIU|s3Ӄ@B^ZLY)k_n1Z! ):Oo!^t6JYEhPE!s2_4sDQ!U p~WxNgSSiIpHzb0dT='e5^½5+@89UPh^D^*o[2oZ:i"*>yn=0HQ#=rhNzTBTylJ}W dKf푘 ku?[rW5L~lLNIs\yo yE'q{ntLJ+;,1D|uDԥscRߎ*/ :lJ6'MA%Twb'HDZ%T9&E* L.gT=Dl\m. VH0?1! h"nQo:ԁ ~›;T#0ŃeDӊlm? |v߂/y }L6%2%mf ̎<K}N y/HW걽ƥX%"?9r); "PvNAȞYz8I;~SoQm;# c|}1!2x Q򚥡8dzrLT\"wm&S-KfB4SyȥY|-$!oEɁq{u֭@_$GN2 Hh&#"_L(NX؝_Ja{]҅HWSj* _bQp9#:FY*tkpwÎ_BgsˇKjE=B'PW ӺdH'ЗW:k@5eJH>gKRvn!ADD9:?ڡWU) \m~3cC\S2-<̊VɤiڱF7mƊ僈X; .*H{¡նPa@;*m[Lnsv˲A&Ш:H *^0P LQ0xx/ -P'6 .Cdzq7pR:cܽ<#ʾr{=~'m==u6U"s5&0-|3bцiƾza=l 74D2b0f9,`Ѳ Qf%P i"·66kWD.ʳ._o tO+j{?xD؈G @ S7N12TQ_Xowg ?7`\q&3Hޞwa=/Lm+rg7T/7<\ g6`XNL!1+M Xif3:ֻ3xn݁DGvZj#D.lC]3{mDri_Un/G>e&xz*]p6бnv9YLLZrxmmkн3d_[\!Y/"՜دs=`a:'2~8to7gqi;Ŧ+ĸxF4nW| pJ΅HE\7pw4y{I FN.8V}kn夡]Ā?NhaNWDi.$6 {Ĺ(gO]vLDwJXH}X az{ʴaZbSHI2«#cyӍ A28zF3 /.w~BGpkf]FE@*Ìqtyv2} T?l[3c ^3?lٯiK*6op^z{x=.: OEFgw8G5'ȱ)h}.48mL g0sāYEʷ0=(GEk  ̥,JfKH6HwGV]iy!j~o3,Ysz9Ig`LɃ*.|>adSr>!tXMV-h" "РW,nߪ׺lG5uZ/ЗQA)|5`T_Sd%/<Ξ.Ru>*\  7nB$YOR FT?̹&hA|N#jE -ύQ?-6u:z^i׿vxy:!έUQ<M@G!NI\g;{JZRzZJF=4.4tRqo_k?y>RPo* G@Nf ҉W7Nm-l'OG:Q PX@D(r (  Y{ }@8Q b[FϏTQlXQ7ӀslЉХb*7_ K P[_ u%*\M93BaʗqJ$ĢAC_! lp~< yql ƟghQl\5$} yC[Wd{f/f̵)➱=1;bt֠SbN TX_bM旃؛eDzx҈7 i} quC?IW@,Љxs‚!ۀ&VQܝǎ7_'Mi-0 O,R $0ǔ S]?H@Yq,q҉J )Sjq%Glc{U ӿV:.2[ljӅKݴ|c4 R~zW؊ bR͇ @]G ΢_pJ`g0ӘB| 1 q.N@μ1zw-x$ե=7Z6k>;?&P%SJ}fζxl7F5/,4\5,(PV$r*x'q#<fJiRsQ?hգB.CtȗCѱ t}CozmNixea1y~H#e}Lg?5oCSY DX-6¯ӆrdPM%RV9fbH [s:\OY(`oɿ rhB[/bc0:+(7+3c=gv,,bY'Nn5s:zR?V$,m͍n D/E/E D,VuV+qA~:P9SKѕ+7VŵQ͟փ9ؐ %V͹B"n)߼ޅX]u8L>kxJ֪dR<))0ohѶ#?Gz.W^~M\gA՛.sLd:k]pl1.kx )=V(tYddUu]{5 CrwmU7L-r@gHtHljj YrLBHš& >‡&uRkF{Zp0bfmhb[ށiyѝp ׽JĀV($D&lS!iV˩L0s>,3Hvz.QIIh5*`!}dmGH~eU=֊`@Cf'% vy(֦iF +Fw;IE Y|RlR &`*ZO qa4I*z);2LZV!F-{‚qt0S7˧]Mݯh$֬?ٮ_Eܻ5+])z ,f\5X5o1XHK axuηrS'qJ{wӂԣ9%*W;lOC.vJsl.Lcx9m gv'EoGR*̈́yūbL =*x7fdS05lWw 3 h_7WOuٞNKܧoh@}@IM 7~3kQ1ucS(c"@|)f QdӞoh2 [%Mޜ0]va !!P@+?b4S]ؓs@5#Ji!@< Ch9 %tWPL )[ keL1K ̤*MR=L"L]qṀkVV`C2;l6؜"נ P TE3\J=n<;?y̌uީ뱚v>w=xmaCֱ_l|)Kf*!W P̷q~_&SYF;"nMjf }Q6$>Ϗ1ݣLXQEmVSy'*ӅȗjA[;ƚ ra7炏6d?^۟ Q`!Y1%$qBU?ՉN435 M1w2lu`8@L71k:}&1Y78w7?c>eLϰ(08 m]υS7s)k]AU>!F&?\H$C 9W&ZΘΔPu4.r; B츞6.8?ăk$1O *>/dWTC|j-_Uf*L-dM[Jp);zTVmޫla-I:ͽJ~1M~3 Sko|LJ,@1\o&?:<<B P(}`3E.ijqZ]1p_"aB,uWmgKc&b!?ߗ=]t2y&T/SO*Hl3Eo5 hBA܆?ߊ*iG@9hsZ ȏї~S8S ӏUąqڳzjZVͰ`.A?L7Ec \lL7Z)u9= ̩ߐv60JNdSSLIV t,ԉdp/ xy @Ș9z[&[$y7o[#JBUkPK wm&Gy6cKdy?cTt0hN"Hz"$tk"]6:i!Ѽ2։Մ͵59bZx:w$fT qG\:Gc4L33+@4ɝ_h{wWT<[jZ4`PB#煕BVyeF~R"O}Y =$l]0Dg_Y WFMz@#mY3Ne?MzEU_LQ#3PGBj߾$@\#iQZ:,i 4wHCCDK{T`dwW MK^EXL$M"ar՛c涘dûYGom8w[6*W{&<7bۋbHju"-JgwՙIBz%wymQ|OD0 DG +d0]#2{S)n0 tRwTKN,5-:ҚVC/;-z=,&ZAw YLxa+[B,Pxn5LZ;ճ=yR 5SbTR.@˓RcQdbtm002(JMfe e=AоgWO!̑fXWy;l8 ՛?_f$63ڣ') bȾBJgZs BzdL+4b,"(@ s9Bp28lsy`O(q,W`V)E&Oޏ'U0O&< Qio:#-KRp]gxϭX@εĦ? 8-THnul[zJ{ܩ9#ĕNs')0""̌^s_@g@R3 y Uy:Q  HahWDZ6\cJx_1s1h@N pR8Ѣ<0]gC* [6!܉}_&]pՐ ieDiг,GfN,Lnrm>j-EiHV·l eݏj$L7 I +s$W+x;|8!&<\ vu6WbXm?&O( .l}wFsajfl3 #c}bAKO2@@Ru$1 p= %0:+ڔlA23;A'@=  8zhvΐQ,3_LAZdսt9`Ɖy~9ULEJ` }H?PvG󞆍\&:ref>-PH8.'+3_^W9LEnr.nDJfO8uj':ӭ>0vr@Lҕx=F`WJLV}_2Deۺ-c oջ*KG0،96,^|/AP>>[[Ĺ>703<Z 0Q jif͠ ZuIV|EձSGG(dvP:6aErW p_"*4t917S2Un;DZAT:.0U(|II8T,c*swkR((h >Kڂik)pk.UÑrH:`0`*<~s;bLԋ4gٿ1;ԗ1]Uiy4y'LJ`xߜ뎈ze*reD/nmWv~av;n`:1:6ce4+Ij*BѦf!,RI&;5}y/* #HfWAFx9G)_Pn拮w~|t%D. JYG x/5[[z~T!u֧+?o6'$Nb?PD^Jm߆Q9iA', Kȏ$HI)cDd+ᅠb`\55n=,Yfw3V{mp K&oO.iT[zI*`_RyrQ݅DKH. QKnޞΣkM f|-*{%@?y*7@ݵB%vap!7<= F+WnuV)!5C9 k<@ i0]I1*3fZz&'fNFzmoĈԻFڔ\Pu&ARQuG/o烯`Y8r^ _9@zO([1D(GJ{ƴ xJJp7ۄ?\ɃͺyY%a*WQi6ZArws Ӣ$K c`p xlXlXJO8Iz11I!6Y01oZ4I=. LkkkPm`;z I%ÆnQ'5ilh 8ooPR93 ?̭] -X 9"?獴PϦ7BXug);_\GmA6txY{ǣi77:OH(yϏ|^|BFќBS9[vml2> K(|V8GlֻkB[ [e,go\zya]bt,,R rGlaN)Bmתּ8M򶇴h~T-{t7gzδVJ+'3rOȨu'׌TO9)= %}e}Y5AB! LE i8og_R:o)¿zl::vq J˝fx?0a{G>6U P 8Lly-cc=* VdL)(1%cFX-Ie;j{(@SD__|ԁ*mM'ꋡ<1AlKƞƋ ^d&ɱ`!7F}No<*Q&XwU~ށ\j rF]f#աb7\LF<3qj,id -M)5)U5YI'Ac9vx+pG40I*&`|AȬkC߀@'m('{T x$Mϫ+TOT$e7r jx5>#-d1($/PBj(7wj7(B ̞ߤtvjEW'kFضD}1! UB#N+ Lɉ@g)D=݌JխvўX'^ A2(gLJɅ2$޴􏴴Hӭƪu7H'zM`w9 \H4qwCGv_/ #w<K9hM@jxPߺfG Zl79BwGBAEZ3㕶-J|5amso? 4'?XؗY' =Q[Lu&A!fښI{=Dq yEX?~q\}t%RFkxIao)iF"*fCç4p&eg A87PeoG6ٵZ#v9SG3DN'i\Z^9[ܮE$X=gt\AB? '>34aX-h+w\_)66ލ'# gQFxV9~t½NfS/$m$taמkmH[0BIucChJCŚx_ڧOffL%z!Fiۓ)|RaxҟaZ$ aY3z EiIX쉨awscM0xz;kH\B;*"AZ=|ZbvIMk|/4{)%aK$'ԋR.p/<8:AsىLԈD@)SoI)wy"_RLD9q$gm/0u♁~$_{vY (- C1jx ADbv@3VlXOTH]6^!Qar*F?46Z.ǍHytIĤ(Fz:1݄L!p{!dN-7q7~ׁwJ؈,޴RÄBygYs?dZq@ǗHA0)haHI5bي%KsmߊjU%x2Cy(pC@r [1BIqT/QEa[ؐ)2*9:e$wM ŪPE0yZN7Ë:#lB65 0FaÈ-C5E|LÒXcU"^4^#4yCᧃ#A+x޳ָo:7>?IG|/lЇ{2.27J F0 \Xr)vemi #p^mm(s> `JjWVxYPs8ᙑNsYFvRJ7W|%'yV^ŕ׈_fmi_0a(rQzF-¾i_  C֨]OfCrҔuB)B}(L`句QGe5vH]*jSڙ EUTApTu%t髲C|C=[X4KE (~K!3[-37WHDl`XD1"zc:鞃arFW ֧nBXsl;*R\bǹYT2)ҋ8;u:Inn#_-cyqA5\*r.ޝW4WO}Md"Sݚō;'jG7,;O-[E%[_ |  M)}UXbӛ\!x 4F#sa;ߤiY {S^n@wI4 qp?PYI>rthfw,/Xl}b+lj<5֔{kM&MX/[q SL̤yK<:2b (\iĸM xXV &ce9̬WLv@iQ=%v*Ӭ@;=Jfg~IV #qv4~' mRƃ?պ&PH{͎6=x y+ Gΐ@\*Xqlx$.qajxj]ӜuADarfMIv,퓓AFͫ2s`Tݻ՝Rt<QDYoՇ!5NЙ]: -Oznt](_\JDTF T%W_Ф5W@L= $&Kڒ5'X|#@l[%5ޠVMGB9dkizcmRuE 49i/? 2Wb%ʅ:X EZ1$`,&RA|$W,Op,6ۆX}vVx⁅N6'su̬2܊W E2weMҴijly)x%/>DK}|0T6I5]\J=nvq^8JQ~*Ǘr"h>7Faa'U畜^A;{!S|ﳜw|&9zp{*Hh $ϓzյMN$w }WS `-C[i*eEy::)W 렕pEO3}{74~~EKb/- /ngNg Jb 4i= ˉ:@^܏9@#OP)h q]xq}I#[: gY)H5{޷w,뗁߅S(FPѲ /B .` %2Ã33kWm')\0jXOF[U\Vw%.h W*y ק6 ;`\JfO*ng>GT^@FUn,IJoG[g@"}`C q",/glsBd)$fٴhLy5̢G4PYڨjmP2_š?rg]w $|\(Z+=qh5'mtrf$8 }aD`q  :n N&Tos( "Rv<0i _aƑ{t')dlNt 4f[?hkղi'djmnmܔ.y9ܜ7'[eޓAqSu`f\RUQO.Oڲ6 XcÐEI+IYpݲ]yT~p&Ka[jWΞޛHchWO2"DPЫ[c Y2E3./P,s&Kޯ-tk]Qk#9k>ް<#e;f_ =4]-h¶Vۆc (;uLG0yxs3')P *hf krb#ƒӫ*XWTqZ4/3I1iQ7$ژ"l2fq ]nMzYJq)¬+'ݥ">wB7&*0DiD\:_;pN*M[ ҤXXQ.iXLlx3Q½* L΋MR@v&k~5&U5Fhh m!3kb JkctxžȀs:\TFS?; Ϙ&0I L+$+bѳKwP;^űWuu̳|!:Ht Y:UŹټU&xX5MޣGj-wʼnpk$5 *<ᵩ>rt) TY%Nе048 ;ŰU!-d@=j /t.ROծ@`Tچ)t\mǜrwd .\${YGȒHU9''NV䝲Uko$ [NhD |'1ݻ圀8,eRr:N3hMlQH$)}Gqa__`|CՔyк"iF"uUΎ)M|2S6{@4[|\ H\IjgAD/'$;~s~p@o辡b )͆.CWbD =Q}߄ UJ *aUz pgPĴy_ )FmD4`lV L@a%|JJr̡3J``^u[5AKѧeٜz@Uj^l:w) !s8$ɵ5k 9B fh@orz⼦*ڿx ʪvQ@zi=Bi1Qc@:Ԧ? ؋g-ԅK\Eq[m(]FD9;Ex ^/nx(V&V?vq9 F!D.E~j.O}Sw|*' sש2b<=]2-D/ !' tG uԩ$ɭs1]Sij >ǀtPCrϴ,{ /i#BD> 95e֥(*{f??>Bcz Kl Np"P-)>&KA_qH3Ϊ?PRv4JbbuͺNi~ɿMgE$3G{ peI%lWQBʥAqWD_W<&(V+-i1\a㾦V܀H2X S7_3ww Xx9T!++gNm6HRAe]Ŧ!91n#khq{-+{VD'm:$k)Q=/;=ۅE|(!O3 L@#&_ zhfjvnMu?M$yD[:Sk`Cncg.Al4p US;D#_VC}^;TְJ\pUq-]G*51(p(C]D67˒\ry q~ (pi5POجyLk8A^-iQk܍/sbjs8@,ruپ!_V6Ͼ,6E%Yk8Iר1!ũ}q!—VmqI&9<ȒeJS=ꊐEF:BBp &+PLCvcRy&[3Cj"xO W!\$`T5GvMGRܺAl)|D[^.M6OvI"\8g/Iܰ3dlĞϾ0Owf60yr,uO׸Z2rl wu(?TQTcBUޟyTM{voM쨹f޵ g6*Cb{6YwQH7D;~!ܥ<67th spɠ=[A&>[Sh}:V5$>c͘d:#A >I}LHEBJz94䡷l}4#/nxw0mI{K̲8׶h!Nu# bz6JM{шoՍ=-ˆK(,k&{3'` vR*5M|-^L9EI >ҵI"I-cK ihP1jVܠrZXTw'1]ZcT|:<#ZO_-S^QvZw?;#`#U2P,[(,y>B3@Kcm/4@"&*1)aE+']XTim(DX꺋Ak_.vrBF %47@8mM(_e9R״uP끼.8E5y /")Ґ՗4xE>"aybS(@rƭo͓iw롛`J#y+a h&Mi1r2ŭWPcNAK)x9ѧ<@ 2Bl3{Q-`/OalpYDRQCpap Ԗ۫3cNѐ?;6Wޞw6R[f`hpcA efjZ&:HJMa I>oBH\e縣ve*zP ;k]٬_(܇#`mwD)Bςm #S W?9"cd'K' V3/1$w2^IQ'>a[U–/}݁mZv- ߻W^n2Yh&J VD>~LXam9hM,7B+E-EȭGZɤb Є  fy(c5eMsYa>nQvplT/oVz"# kws5mTy|kԝOoW^YV"OQѐxg~2yGݴRi.[LG5T 39ÐXS>]YH3o#gggF1"*]Gk)4AgW8?E=w.F y1 +&DkoM_hQLརQJ \Mea|/H&)R,5FSw3h;whpWO/=)R_^v1IbB,L"n3%`rty7L}LQ$EWxjKEy(R7Hm>zw5蘭m3lŪ6xSqYADNS<uO~Yf09)J˚~9r"x^W ).Q0Ot;@WRԢ33G  HeTm9A);eO'I RA{"Dk)IM#Dgj pTJA[,7Lum逞oaSv|^q~-Z5b#>ZlcTRa]{;YK5e Vt#۠IA>LULdtpB;DWnܢ_41'(9סSd@ñ[UW*+ oAKq_j'X~㼈?vf.Żb^u$\Rhۻ2+c.Ȩh/K@\YTfZ+,GrE1~!XZ7.~@#Mujmފasrwn`WyyY*lg9sz@v_ KBg$3|,o {gW-2g2c>uCa>s|fuP@$E%ͳpkNgzAHIG,I"pފGJ9+Շ9iK2]q:hKgSO}`{̞?tbh EP;L-T$wseW0qxjPDK}S_[xܡ%0h䟑O|o*L l*Y\uxsPڨ %t~e?$!0"/c9lu@ egCG?K`.&΋yBs׆}0!Py#[qN%Trs_."éT :C0v 7)mpUl ?S@T0@#J'O5v`X#,#I$1;sFZI &U' ?Zىy'[[곓]aJe۝wޱu). K:}w+{ޭs ϳ;<k);g􍫽a9<ѰE?gݻ=1uVq$nkcYUMXc2rax~O*LH\=ui.ݡ'WWq#r2(rweHȟx*gJHS$ށ9T?;8+ `l3*ދC*f鄮V֨ԋ) ][F\TB:C.FǴXfҪcY%uB.lۻǣOUzvR:+sV8vAŰwZՅ1E$%m=;ePU )USÄ0n6^ Γ1ݛd b?viٛEZg#({ #KΔƺHG\~ez=O }mT'%`gq7%tZI F FM~Hpԕ^xj,=Tȥ$oBcB޹i*yR(wQQ}O*Up-@9?h "3,<{V@-A:+0VHcWg̿OnH>xr3-7+?I͌UIӼ Uo-HUa1ތ5֋gЊKžY GU+k޾]e7u4 ޫpnԬnsB%8:pI ; [>"P|_G8@Ύg3MO("ŕ_EآqG\RQVӆip Ŗa2fZ3[Au.[-C)L4{uZ,TGZTp Bomk:žJFɓy4[~q6 U,tvz_UBW][ǣ]_nfLy)ҧdWχroz]sI2$T;mϬdVRc{o' )ۻN{DDYteIA5ʢ/3'W؆@l%x S}J$[o+AaYN se\,g#vA,w{^MA$<Z!9ỏF1VEz NS$B*?L mua7@PH`&XWӺ#3kB=ო(^ ASmRdh{ZLqJDˋv"9}. -8UF噡2R+n*kL+1s3{29.g$I4f9[Td ~&p'Fs{r*Х=sŏ^a"=I&V iCZ暾6 h]+)Z1xR4=_nˋy"2îc%"wl% ~e2uJ#1{r3fA׉cRfo`W{kȟҦS,%I' | j%|mj؀08B?l5nxJo:ONW3M%9n?iwG ` n{[{QkkO24)~9zAXmo2eU Yr```G`dchbMß (_q.||I#?[l`r( >"l~EB N`õ[goDUp[ˌsi=hhjW-T-iS5j4W EhF"0Vз?u!/PrSy|[}tZ6쒸4fVV+S=Ojځ|rm8jɲiݢ{-N0 Z/H O#3ACEb͸!ƷY|OvmܳkI}<g)Us}e|1E}X(L131Bj4 y< ~qT*/j4-3XxX1tYABN'+n|#_F"Y6()I't4:v V/'^l*yq4eEdgvX/78H=w`{?S4P})FI8rFMmD7lvao WQ|_tw ;F$"}^peEnW6]; %6quެV5lEi5|/O@{)ϋ)fi^mHu=&C~)AhگF8)6$o_4_۠2,nsXDR {D\h3ˮ_-4dbxDdiD&nrq`jӃFf1L{e:îoGygœu!>XeD5@aIM3>XtVga&(a'ck[^ ٮJx tNuAXGvimYf߿?HyK u&H}꛾pnV,,&]5 Dt'>Ǫ7ğz:,E?7mYޤ.j皝C{2<ۙ+}7Oy}8 #~B.o]i襪T^,Y)* ZWJ UԍJh♓ 6MOŅ% DzM+ 5R] ߲e{ =9Hm(&B#2hJ?ՎˆEרt?<>B4:v|?f8J,;i$G*' A )BօMȪdP]R 2  C6֕\≸nƽzrg4F.pj;IB %~3~K&(PnsD $ݞ`=j՟mg:W.oUMg^_BǼ 4^2IjWw hm>0|8/8RCS+dG)+},]BٽbZx (N˱_yC}$@bQWLXY+%dBqb`7j\uUmƿzRmFwĒv͡}7pMǿʭ߰Q#]+my•l `x 3[3iCRU oQ+F2&OP͖Ki.r-G0wNuXR7%q8+gu~ 2v%Fa_f̒'CINx|9$zǎlPiYy=P9ӭDR}kL彇ϐ^W(31~㎧s1E̻~T7%8~Q¥_2 -7_ PDٰ1+XDx>āxs:/f &L>AЄTN @MWHE"r7Bj9"bvD ƒM?8aO$R1Y}?$%4NPAO t&:t5ECO{7#C4,O>U ۣ`7TN".!sc*8_O IJ ٛ5J#VacN^K$>Gg@1Ϲqjqv[(17d30O 67}<7']%#HdPr`$F%&$U-+s١x'%t8'NQNWf̉ ~ Z{ b~PY&ֆv(rh@~Yҗ/HÆ?9m;Г,z3L +kE(Z-f,X BT)~ lj*r+^x\)Joed PNJ mޑֳ 8O}B-t}W ӱ1~yz%\]\t: +Wud7s{ W)UE!RmakgqXȟqB({:Nt^&wS˞)eh t)Ԉt([ګםN:Z.Og17mt\NjdX;V"FB'h2[*&4͒QO