SQLite format 3@  .  YYQ77Atableisabelle_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, "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 R< ]Jinja:threads=2elapsed=375.783cpu=724.372gc=21.092factor=1.937zXZִF! sC]ŗXf1-/6vRZQ-(V}lG*rD&a?ЙBK.\{$,qDF%4)<ŠqjnjW=0I*Lkܻ+[e7.wb,S/}Ij1ØAE"T(Y-g-B PoaL:Mőbz!%,%qe.Ml)ɢ7ׯs(T'ZI[6[O?)TN‹WXE/)oݙ+)uVշ@sr#R7ةMRt/5bw&Cюje7$P4u:@PyyqM2O he 7f̤jr8l:Mݒ(O.GV!'S܌ 5ʻʄI6a- ?UX;Nj 㑃̆400_եwpUqb, v^v/G~w{vbBj3s=/'Rhrꐳg4 {5hir,rY QXDIEwHäז $s|<$"{"w CeC,nOelx^b[qQV6bj| >HP@[>-^R3cH$RGF+\c+ЗB7 жS÷Y]Enz\;:`v鷚&IrmeG2I#`ׁXu=l ԨT9=`jwLb}X?<{J撦ԼgZyDXƒ!?zRpLSԒJq)JڃY6YK7m䗘\<ǘ &J6N/G%1sX,~TnR,-hQhDՉ qH^ۜYvmPn o5  CE}5.cF -2ϑs"V(~Y@PTSE+VaAhCz*/F8|b+?йȉ gdO ƪ+[ ?0 2H!Tj~Lm"dg*r|QnE@.)V7}Vgoɓ6(`|z/(钭ӦZ/TS[{x ;Uh,wx13"AVe2WgIL 8S[%2%MJI[_r0*]I_;^3ϛ`u{jX3ï0- 0[Z*Lcşj?>Lk#0&&4b~O,˿c*^j !6pUP8{ɩwM& O >d~%Nxyl:f`g8Xu8^)ϻ-s?^ߙ׿ez*GdWAoل7mesa!:%7SArx +7j]Kct`W4,_#Xa* lZMǰӴ-N`l3n?jѻ,ܪkO ϋ0}q,ƌ$*e-]#j:BȦ,&e9ب&!$Z}1=CN UG$[=6- V}nCw n7+(pwq~c7 '2t߯yUUGT+ ޅ&v=<T4f]X`UG72}pTuqG.|OUѤy*RZmg39Ƃ9ӄCDGU=`-PhBds +jQY3:ֻJp4,f`ϴcV ѓra6y DvA;#XQYeTԻ);M>߁A0dV&b5^kPo_aʐPpjQJ^zL0< mO=[uȒ[%|(ЎTqq4-rwG5:P<tn?P.44cPRmНXWO |R3^O٧ERuƥM(bܾ mk(P2}DP{Il| c+&uW uپ1VtrkiC_5&S%Žrtt,Bl8AxiD.wPd=sB_c0B_  "TU7)m[E _@_MF3 u;1Nf7ckvV rDE={3k.V*hox$VשU~luo (AUmKbvqTiT ##FOvUkj~RJ q 6y#OF5ϺhЍ{,gS۾k2\ЙJ8 |`TV7`Ӧ=#Ƶo߇J`#~6"=AX,\أ>Y)3 ^/^}~__:Jl.7 gJ=k}U!+KxH?6 E@34H]}4,Aw[xij.{~iT'GŶZOQ-/4`(@zpM^!O{np{ {PUZ k(xl?=mtZt 9  Jinja[.l'/l|l|Gπ2P O9Yک0b-b6r=m>L #QD.iacrA\-lM,YnѸL ~e:(.*31US|H6Ѐvڷe4ւM_5.諸6?5 *U1WL+ľ |'D+Zw@LڏHs>d#)XWisxM~ﶿ2fk$`(4􏆝fў꣟3XOKvC]ϣ܆'uR ^ƮMR*詏5 (n'7>|1Nw^d\2XȢib>Y\j w0ݩ2pNr3zz+{?RG]Rb`A 6黸s#YnB1:q~ƪ{ 'a׳F0"q @7dhDֺ4/o;󑉫Hꢯ7D 1\(K~ Hk,0JUC A9deTPw xgGxe_J3 oΧ fvCVI?^&h+o XDA"dċ9`d`5`M ep6"L H?[s]3`fPSTneC5+5.GK@fXwl*i!v1([#W|2?j#s85z(s;߭֌}}ր6n?L([v4S9"0VY#D,t>+u;l{Q1"D }޹3@V*1b@/ȄӫԨ%mF\spD8e]Cxe|(sb+v1ōnUl rQTXA 8~׹t븾6%l c 1[&&evӶ[]q3{6kU38)ԗ>d\2#m?'K<6TC?j|PuuwOP;(n$}!@j;羠GWeu pHؔMvgڇЎH hu,+kQ!,l%Rw o'"!)>{>EL:N=Sנd1…+|F}O`Q,]Ŵ7RGGmk;Ľ# *HA[GZu1 3IG&T8=#)ר>pDf@pckݢڊ yUyF0 c2.g"JћO36#hg[{7;V G>6-.hM.,0 6VY!>;@13Q1g}ߚTؼipʨ[\ Q>uyeze޴Q򯘗F7lSgi%~n9ۖN5B P4 ?H24ag-CzFIԝ/f׊Gq?5?ҺV|" Td҃SHY(l6z hAI8.W}Ԩzђb@ NmEi3sw1l *61ݫo?w&%'3!l/@TRT-&* vp&9cG'|sNT+J-p5!)P^z\ `̑6^@Yp@__hI)(qIoAL %R>9uk~cʔRq;}rʿ6!S.Z{-taa d/HV?m+02hR  [l*8QԤm@ i#vy|f!*%Mot_}`a/hmL{rH{f7_ _ X?^ ہz"֍"+cta"t+-aQֽr+? MF+ \m {\ ўsiVx"Բ'GGgf/sȖ/o%<M D""֐螞]fX0L*Uٻ@LUJn|@I!S{y?zҁ}| TNx'` 蕶ԩʒ[]vm628#V)iF!.n"8B(WrZ( +]qr#Lr?M U+笐O6dE2}(֡pOu+orlKm:J<[<];;*JA%¯lT枖@j^ĝs_6?,CԈrcœp~KoPf^MэiJ1JǗ8`:4 qUR!^dtWCmv)H:cνVvtE$O=χEkJWvlKmo珇j^xL)j@kD FJq˪;fnǖڔE e`8]I0~h F%=YY"2k|j e׍rC)lP 9Xӗ*;%_1'$گ%s Br⯫ B-R; HqDd_ ;@ccYLErKWg*6Ζv*N̉9H`@gxW^Ѻcz2'QOnA]V 5[.ԢfkG95ː`~C-}ʧ%2ZY>7G>e@n=ovؕ v3m>~*V߭^u?Nr Oa:u[֕=̇hfh6zdNR#&t8߬0 aK^uf~}XWg\"ZZ=i|: B nB1FK0ϟz"n"H6AU:X6@>OK2'\)6ٜ1ޔ :=m dӁ"z58@Wy29x3􃔗c+ldNp"M8X@R{=ܛ\"1DU^beƘ'6tUz} 8[y+V= ǫ28Q~]ĉ:2#viesi#B[?]rV/\vϫֱCO=07_;BR`aGsd$S"]aq(Gȵh3QPǗ8i`#A\O)xE)1Un0y`tm!Q c;1/щ8{5tj1ʢga?+5v-^~ru8"aF#y"M _u9 dB::š-X}#Hy=]5dOdI=OTޤ10t00ᤩv׷~\_/:˱19_@DZ54Ӵ͉(T<'SCbT`1R{ύkV5 K՛ڮѴ)zZ$HɻaOnAqf>G21Mv[aE_\:~mx=ߺ|Wn\[Km˄HϞݢC* gY_xnrNwY!Wm@M`&5NKA:!CxL X%C^ᆩI]֛A ]*2w @v+H\Xò`Ĕ#k/Q"h(]![ȕjc\ 5rrpFlH~#Z8rc)bR \ I {Os,^=RV*n0abDSDR2<{[𚎬9a4v~w|ݼAcvx1¥ۋd b6= :U^/?ߙ,+YPonFy X(Yw( iBq\y'xS\&GX']'u50ia!irSe{wD9պX!}'^Se-b-G)'lsIOi_:#CAH?4>p`ò[LVNA:k49Z;p9jS 'HӪOb.ݕ s/ }NgOuD.Ƒ!N#Ƭ0A/U3CdւuBYdyկöTR m20;Ma7WF\q~v\`*xzQr(OJYDt5s)Gqq9aJ} !S5M狪tGz\c V," ?ӆVq6A jdMFN;Ҡ]Wyվj{>{[u z%yby%lv %DSE=FYYӰm @yO3WM‚%]B$,!R4k:|Fq?X Ú$ٛ^8lOt``UA8m })FgC E=S'bJXgWp .bTT6('mvkE-_雤"eibἼd7UyH cC=;jXG; [$Xtq:2;MxoԒM{uB18n A6k Y;%mh$SBLgKrI|C<ۦ7}]\tciTPXʂ|f.:3.qx ]! 2&T1vrv$za%#\d&7 0ZCt $ĴB wV/(Ksv3*oՐPWz UkSVDGq~= \|F(hi-ON|ovۚpa.x$` >DV5N{;c\P)"@720$c%@fx2MeQSS9_MfK!ӎS+mDpBp-@c.GۗOI*>]ԽӋ,Fٟٗi ~DɿWyo#'{ݔfg`mkہޚ i!_JadiG|H'-%V ښ ͓6 lQb,#ڙ2:Jev⺥92h"ıf"n>$ö*brزTVВ:!E2/T0߁&,8+p3hf 7M<$M, ]Df/S~;69t)#Cͷѵ`8粂 4FO*`or? v˷5\q:r#BNDwAm`Kp)݆G Dp3ZK݀x;W~C2G0/$:C#^:ĩaU 2ӥLZz'0tE[^Cf; \:c9L%Vl~Q6Q.ri/ΦϨ,f!!Σ,KnkPvjEʞꃹnw"˻̝=Tqbi1-XH6WAk?V9\rbcO#lK L*r:]|4m->ӅLox.ɾo!Ҿ.ď∧S~)1Gvt|H(9pyt C$襑Ff;xoGPZu]#'~>>DjO"E~-''X}Oa\ѼEBK9 0aѻ/zXΠ\kի^[̮8E麫TyjƑ U-:u8SbnwsT,-(-rGIȆ SIJ>4O5Op Rt YM&__:F v37Ubl+29. 'Ή *m)T־-4 L0+&]ļl_+HZNV¾Re oK9"mŠyVᨖ>Tr^_2jQ *Ϯ(nnf05bRq9,=L%Ry97@S[/&?HA0ꐂ]M^0|r@*7fz/E7Xz Ϟ:nRrrv>!6PɗXC<" r1>w-#5`[IN5Ιu&ތeq#' 0 NL]|JLT0Ez4Q-1±ŐlW<=Hfވ7֘|Sg:T8_Š哛ڬO 3 T}ʕCQz;Gƨ% 5%'6RT ޜ'H)K?1ESm%Ⱦ ݑv+1aDT}^"*93յ̿~Z5{ը"@e+4x: Ǭdϑ;xj5>}-# "O,;M_h~ ٛR皒cB]dE}+V8{Є!_Ӆ!=1~~4a] S>s@a=A_nclEgXE=+OB~k>qBT RMB.xPb0jvZf  ֯R Sj '̥RV벋HuWX)f彄ix}i`A0koW_ߌ`x.`m|'سENt dFZ\tAiwy -,_5;T=o&[~`w'[p1+Lf,ȞV\ k[ 1 X&"hg/H[o!f>?2 צn EltIY;dK~,{=Q'w;(•s $ V+15r4n+:y"OzW=ȧ^WWp!ӵ|Sr xce=浚\7h=]E</>mk ~V"6!@ߍT (WN2E)X4!Q K%JﰭTkwzff* :'/ ڬG z߼ 28'i,?`0`lTS26HГWuVo+Cڢe(&t +(/A+\?BxGl}+wJOJq^&V(oPCSy7M$GF$䝍&Ҋz%Mjb7n 2NT'{\3҅F!6{x~i(-Xbb'r?ziI/]Qae'ęsוqCǬ8Q[z uIxKAI:#_Lбރ34N=|P7.n˄ w%nw/WT (nYZ٘d%C&l#yjE~žV /*]*Keꇡ{WA mV%FwATbv̳OM5leHU0Q}]|#je:WE(1Ǹǐ_M)i}JcOp${b_3Xy|@QQTLOialwMߤhЎc8W}FK(}^ qkBTv/\$̟Dn ]~4WL̥OlD}&9+0эGEe@6E*rͅ[h\DUK{l MD4 rhux۰=s`r'Q}X̄bdgq @Կ҂GM|nX<Q8ҫ:08( 3-(aU$; qɌG)ș 9}^i:J SfD7=pAHh@oFd{0LD+!O Tx=H}鴷1TkGI[o|EF$U4,^Kf9BfqYX"[}G-'6 {%0˙ k[ +|tMVG{:i4Mp(`(n|0տ诉|ڑ@hbLFJ= [ڟaMMJG)$ xJ̸껶,G+Lȷj@W 48qmkC}t# L'@awlحt=uYs-c+#F8V<YX6ZiJNs"^Zt2qB z߃c@7cѢ` `L1gl[V E˭KCJpB9DBJ:VQ:ysLg_-3n# 襫8kX-Nve<[ä12=aI.}EF$"3~g2UOkq"<8_̦fqڲ[G|3WbK}_WT >qd دELD?ץ׃4^aVH1;ƛF(ny ^/r44S a}0Q$Snc 䕹eWSLibdt|*%l]UA-Ή:3ՐsU:P J |ɻn[C!6>|36\ %-TR!L4ly}[V@ko7fn؅vgӼ^b5'3M&4"]Ǥ bHW7Ծ3@:"{);V7a.}}X3Umdibގ>; )EŠUh+y^"gfڳ5)LU7Xbfb~xʠ df~{GLkZPy>vX{Ȧ6TD ;=K4",X>Ue|p"g;ICܾP+g4{Ik|VU' j齮:6K~z/!%"Y:Ԛve[&i9)XUafYPvۂ,BqtS{?u 17ha1DOd%6[@qm=MlL0іV@ɕD4Cn3LdJ{k{:E:@ Gp?Ì)SDXS j -rʘ8_Y@bgUcCtffp}>070ÚJ+m:MXAMXCP3j(9}= J#br?µ)n&1̦' P*Q%[ƸEe:.rs Ć.ڵ<.p|ce1zj0Ci6Y=Ƞs NT@96B$>}&ļB[4+e4D W<1\<{WF \ [$]5-=;#yCs@ԱQ~M.)0rLU9o<5 wxޤ5[mAS|pmL\( L`(jv"bG&D+'典.1SFJ"Fc ^oCA}"FuKŇ3d"? [o*dMhfvH^vh4Čz2lY`m $R CzW t}RHj}U@y\VP>쥮Lh"V-ZFmO&r4'5$d4teuHj>4v0/ u˭ 8yP&JZ*!#)YzNB%4O>m[>Y|=_jΣY{rd1I@b2F!yS A'1\2,v(5 $^b&'kJڌfH_`\o𚝔ꖐw_$,-2#zAf]'7\:Sb#>)mNͭ$أTTtǪ&YuS@F!%c01y׊tRcܽ+G˜{F5C\EE/ .tk?7}#\;8j ;gI@+ܻk ֱ'$ž&gNkgYZ7zXZִF! ߴM;]ŗXi%gcɀgrZuǂeN"Fϫ ?(^ STO01dcB>px]:_xBFGؤ|E@]Bp u\,ĉ_9XF+ҿ n1ww<6|.yw> p Dme"*e[ʹ޾6W~VmbHO83HŎ>͇2GhHX[~+5T[7_g:.Һx(_jt{r6X u*ᅬWYIؔYMVTr'lg1T[ADwfk UxmղU?C+םP tM?7K p0  -4 7H#۹ H75|`%P_U/ܳ@u2})lˊ8=ߚXo" ~\ٵk EjšwcexgafxHqNw6\|ԽDZzfat}{J sF#?4kL?-9pm^o1 "Vjw Ch3qDnzhYnM/ݣ5~NwWt/2PzSF#xDPgcw6 h:)*min\tcWosee*w:4ghu7؋=]jT\~gqHifpCoRHPfY4UYB`[bAvww HVy Y=VLI$:k=#Nk:3 >ITh^t|N,?f݇Իc3yѭPr_9Cm4b~ vY"KzsH{۳%C ӗ͒}o+L3Ͳlaf+P|+aЍ,R?:m8[GG 4*ռM֟Jysg$tnlv__CU.1RCn|Yܪ'#Jtݖ:AmTy v^1< -MX6HiX|CߎjX^IpcGve& j *"̯ y{cNF+Ɗ8*s' swAɣra3ōF9A+<(1l6e3%]p3gpPXZ<܎@;RǨ 5+'f1v$ jC8C7Tb6Qqu/_'}vj'aebL=V’♆G6i='h"V̀5)t1&%o\Z ~ۮϩ hpOAY7T.]%w! })ZrZ/Aw ? X #CZ/Rϫ Ti]C.ܵ;m!/'6<=;\)吊m18RA+ON3;y[JmHG_lF]"-|D]-m uP9&nzjD0lkk]=܅+sҌA67 f":8F|axC` ͍r+l4e)=JFnU#TDۃpEwt Eryk(CH%v_s 33LbikLwoGC)D:p3QO1 NC_Iּ=M37c)vi_v+?Iaa86o3wY_c}fl49*U- ԫOqǧG['9u؏e)Ug.Q-lPwp7{-vh9)sF;MXxA茶f)8DȐMOǑEgwCg;Y$׹3~j%XK1iw|VѮSԠM.ڒ*O-$ }f̡IW]bN 9DaQGQ,E^fpf2G?(1Sp `^uvqvö؀AdUS4*N lѢ`kNFeJŒ$UyA*)]Ɓ|R5'HFZyr)FD5:.YR5~y95΃ Iho **Pf֦Eі*]qpgrmR| jزT Qv7t*w4q mՐCv"WDh fRʉ1T,|m =j)c𵏦k$ uZP LD Ge8gr3ߞXKyTZ`3iҽߙ :L6J}Q@Bb ll]&o$$[̙`VKVbvVZ7G[X&)1ocbɽ$H\f IٚI՞ZLZ7)P7jgح2NdG)};iUp7ۛzPnxszဆ  1Y2s)4su1"! g O! "Ś4- :w}ֳEJQf:Ȅ|r}?|g^[f:6 hHtk L)ɾ1q2ӡq^xKM  E"GW|acØCgٲ XnX2FZN ++=ДdqO\A_֞xߺo&/2`9mXU"͔G'>hgkg#fa5K?[c1BaZj(=s_c83$p+G:_;;#j3W姞mb#BXdHm I;S/R 2p^Ccz۳|zR5YkޒyH c|z/5f_ƚD_( O8W4qɬ?A a2/>z{l||L`j]s#䘿jn" D.Tn9~_w/3X7i\%Gӎܝ NccfQ^t,Ĭ nh{wg|٤so-`~{˺C lv]Z>ɝ<Ҟ$_AY9M :(c51z~pG6VqLǷ(.Қ=[7ލ \w\LOL+tB A[e]6~c&oJh4ǵ-vkNS.k#pPD.ف"喃pnT@!6zCɊPnF2 [AtM{C҇'t qZ6]t4gv!0ȞuXpХ QYT "uEUs+Hqۺd=2Zy/[UHۂOJ{\F8Dƅ!U(<1#Th0`VٚoEQG<EyڤzNy1}p:#C(ؔqאv A-gN9%Mg˕ d(NI٬l8I32p$7tG+ ?F[ ԙ5+cm4l`9`9ZHt G7>kټT>vqFAߟ|E1i ҆hjfGo7rD&=j^c֡\+"XМQe&3(C7nM'R7*'h_8B[cds[{Qp(`]. @g %>x$S@8 OA bY)yXiol i$mE/sYnTUOfIQ'<q5t w(Jv]qvLaSMV_"C/1psƶ4"~v߭yF-^jSPТ:tއ;ܑw2s?OrNBĨ+Iƿ ]H+Tԯ}Q@_:}xG jVd7J{2qEKo-hjh6?@sZ?tIq{,81tX,EU?%}+Nm.wfi)Dp*d":ycB/ e=A`ּgP^g:-B(v9DҾ3mf:yyٵ̛ELb?kCPTYʷHoHxRiݴW|F*z>q+֓*"g ^d:9[,39UBxyU $tJ^,@]XL'A(q rF$Xɱno\Q^>h؟vWQnz9]7Xʞc\k۲W Yb5NIp>@fyeLVqjkI㳑EfijUr~[3:Hw{."FJ.>VL|ѤNѬ:~,f;#å X8a(64*W%u[p2(}- my7JC~*γbJၽA HSnqr*qҹݩf?߰hRWDSs7ݩZAQ2|'Rȵx%C0?E]^q|tOC9bIM%J:/ *l L`P48%rzOo 00Y3;fpԤS@|y[ᕵd_>/OJ2G>]p7nЉCY&SùWqrF%2CNa[v_1RnB #Dv]z*4{97yg}MKgO' C2N-]dXscp]ë%n9c2qhٛvuoB/u˙,*%_|&((]0M"%4^K0:T_'+oOT1]Ry䌩6&,:fPIbiQd`idZ\S;4yqHԱ߶޴V3@ ~XW}J{~+O}*8evޮ< f_>U.B›V^ReZbl{I|t X/Nj)@E{@p=5\ŢoT/#tލqꖻK Xot$wYcj7?W1qIVثL"tp q(?m5\E^*O{qUϪzs4q g!CWĎ.z7 ȁ8˞h^ 6@M 9r-pp;a WdHN.1G.v)0ֽ^րW+0.^fo)VMY6G|,叾<o e$:yv6a98##BCbœ> r|%D:.--@ V/tyvFm+ZME[ZXw4vNy+Oxoj)H6TT71J$޲ݍϊdbW'9o‘ /Jiܾ\hr͐TZǔ11J;F1Y}[Ě>7ItL1?HTQnkT(i*69Y7kB=t̝uo"9̐mq&'$"?{OŖ 3NJ} boc$eYSTdOd;GP-\_1!'LzXxТ|+Vwŕ1f0Jv:i?:jj'Xce_SA0/p8(Up2 Ѹ {>1:Wg2]>a Ѻ[wٿ,휨O;}x+!Ƞ3*|RjtZm0!)h?RdUY~%4&g= |k?d*=wb 2J}0J'ˋ̴eWc\BwfO81 ACY6`C;S$u˯R BU8ÊG vPJ?3h97|$wG؏Vl PqT bl?6pKÛ42ck׉BCX ihln=Nl0 nmD j*}¬#>} 5Ĝ̈OTz=]kU$}R y+aI:nS@ B6 cұIor|9 <(QS j@r!~l/ߣ%utS3=03D9qۼ&g8*P~qƑR&%.{:, -~ O2$,ǭSL^Lx%_{+ CgFڪ2rä0-Q 2.4&X^tiQ|I~Uc\p4z;v}ck~;;i=ʮ'{c*@tPiFR=B训 ;04fqُX;"fߺ|gJ䌱H9fF.Rӌ^}z2-Jӄ=۳3P , PGMܦJhV яN dW?^zyƷF)B97hU= 3{ zDs!Ҫ;ܟ-s`p ;z,QsqGFAcO8[E_рnx'7;m]ůf3 0ˌVfmXSihϥpuYFFS9QKGVTU,0kbvYE 6盪ɧc&+˸뼐^xւF(.B誐 Wް>)+˜~?7= c ]8SMH/qYPς!*됪19 -\ݶ%Ekp:ad[Q8/|O5) <%9K*?alX4 eȣ*o  AU$~9+0"Q5vTiZ"6 MIhFe=r0LY#yl J<УAyUH)Ȁ ) &jNӤE|h&+<蹒N > 7f7jxxCé+JJ#Qh;?r+)vdM@5w{JZ}/SpjO݉ ك1h?~wBX= n[:fgpp\_!DC?X}P^Kv4]E%>Z"Y⎐qR6K5#O+/f׆a gdi1)ىe-Y5(37 bx7A&ҲOo$b< "MѽPY/4֐g'(Ve |kR ~O 5h/`8ݴ!זQ#氷0RH9,/crSFUpd< nIUsa\w&8ݖF ͉ѢJTWɱ*]{Rfiد73h Q[euFEK0x $ /s357liϫ:4 p`|l+D% f%w%8ls9G6iĉa 78uFwG֞N"t_)\%ct%k!y-g Oڷ:JTZMG?*~Dh^*I/LĽd'lW*Cm$y$=h\ GXs&Տ$ ÞM2aĬUo16fjnw\aZ>89kWy+4//Y2.؜ώc&Adm`c8و{{+b~޷GK?_(X7j1OzKK\T%ɟT n ™hr`Ft;bvw|w1 PUհ3_C`T&}?BryGU7y|">r E ֈB%U۳+E1ؽ dʬԬ].ח.G,~?cg%)~N*Hb,n[ǸӪc_>ܧ^b1J}ʹBb;+zY'4}yK+j^`rK/|9?+ H`hK)]>1z=|t,pЀ7j˻ƳIE3%zLZ%dVMpFI]&OE_ 9* {Imc+ܜ-`>S~72YrJZ A^Y; 49@poiǴG`m/JRZt,`a4A x]UyxGdyX~j~dLkBrxZ=OqG&JDT L6d|vl$\( Ri~`,CfAۂ5+8 Բ +`^xl+SM4#&㯐#sr6俆pْT(v6ᴆ/6{(/3bM~ۖ%v:#OD֐Xe'Ez%,av?hMnX0hs2sx2%[qZQnKSGkH}\:A>%޸B= p%"``,l"I\ъԻщ`*xʪJmTS斛I1.}iqmt*Er ,{0zN> X];f@3H=W0|>R @2јU`GaviC17VN]h8('6lfŖ,vR'˪bhW""5Pss,|K^5hk D@YsVR/[dܳ.9A0I!GB|u`L NBk:z]#(!Srfe͑lǗ1 12}4kʓ3ϫPAФ槠͗6B1 _|e,2𦏆Xz1y\=40ǁxr\9@XyWF`bʅG*?0KY/; nY?9P>R[VX&ӽ Zܾc ~ nj.U"ᒐ+9%,A.0W:9Q:*ۆCnԲәoŒdɌʏkqs_gCz8:H^ ј Q34<@_ \~D^{VL-U R^;+KY3ZQX2d'(pC։/&+q2%ơ8c k OwvB^lxAPt빮tYbLiqWY߆/_Oҟk @&MGg8x)^O>4N*5g<63mZpR6@9xܒ؉+t','Ft̵ j; AMs+3_^8*]Y~5'|YioK)t/p~((~L@$3P7Aڊ yn\)ٳ Ћ=յP1Xȿcq|hW@*iZM- 6_np ׸2cR+f{%(5N5 w"B?s j/`K"^2M !՞b/ %+=4WgNm.RY K@6_>(*O5eQaSPc?[i0"dDe:2c@훃]Q0?6 utU*L>uiiɾW1ϼ.u~`9Ҋٖpx+fgVj;X o)eOFϮsfƿ; 5lidrÙ:D#+ƇdRViR(8DrVD,6qR&3ƂyV'Mk|9_č(RǠ?: tOSLK ϓ%q"@fl4[Ep]t5o"Z.`5Ey;Z}Umd"ЊjhF!Hh{ffE _>si6ݐr5L&bj,;OPSWGD,`54zdbpw:W c5Dh|wT=0xkU 4z(+Tꥋmp 71Z߿;9W l釨O/3ħ@ R)٘^3)b 9qqu8TXT+׭xL i fF,ūa2U8e.@Q{|pdyr"arրYe -#bb|"gd,l:2?{5#p? Bżz>m_E(V4ӥ~!IH ]7Uq(e@m` #e/8R4tġ6թ SLQ}*u7Ć_)M^cM6;kXyB'p9/ۏuzdlekTseLۺV4Ee`mOĩ9v,J3%9*nMA3j>WGNG׽MfnJY

jPuVКe;F{n);SHmUYVl_ޥM6/!*<`v7)DviO@i"RgZB$̹DŸU&30 ^{/PLsǣ隢j D7/Y6um: ꃮAFgU~2LC /N>(~FS4[pF^~8^=3ʹZK17_m$jvG\[K9"ʈa͌xruRX=,y5}(Wz9+IhNG1 i5IO`-v?Gk INulg0qoZsa{r-S!f7ҖR_\ _nVhɮzEQvg2ͼDtRW`rڛ՗?ި"o#A^NvX|h 53&3#&C NJcuIM9;)#!0ȑߙK[%(PlG~ OɆVʨI18i0P5QE( L-$Aq/vBXl~NC/eP>f/vyoL:f'l@% ƏPeMܪ4:`Ū讽*mH{W-0cW0Fх-6^2ltpf"ĺ_*ㄖ1Z!r]>%ϋٞYfgQhrQI.mԆ>8wagd ΏY ]S:>AA+(@E 8"- qTFLP[SCk ӼNrK/ 7Z곮XCH榢`Չa{}no?^6ۊ?]e;-vPP/*$ǢϮwg^S|~maEO{W62=15Ln Ns8nq2"K&ᑉ5[[ hq|%]'CgMmIὐ'6ڮ̐T85ġA zBYp.ntBHZ$V^|gEGד g FMcA9EBmu=֠³S6frcCg"MPnPE^}p\'TkΖi6^k_{D{~ܙ*MBbb>ۢh"ܖ2 ى cv""#֧̖]!4}k$vn-pw6*8%aYwV/>-K,S/%+l)ZP2z=7M+8n>a$FmB.Kx$ uM+ZNM /-XJ܎ᶇo{&9OnQf5KR? AaN&UH: {MB!QC6lhCZW"Ϯ/ TG=)W`)^EӍ)*gE%-ԏAʠ-~!эCH)F )Z#w!98oCF\Zhr^.'#1$wNBYG]Ѫ7(+DED¡tnp]Q#TkRow+պh& DyG&e41 +!2>{n)jS~?J!I3FE!14{ZuR0Ҟ:P\GZ&yG/^H$ z8D%c;Cy]*R\seȊI(Ny&$G.`_Au%;/D%LBnyOO& n^c.W{>Ӹpt.rעYמ$E['cu[m٦ƍ9nS'PhaUV3Z{XXr߯K1M@uVHp@(]r"$ /ĺT:@PEf, V{3`D;cP^x2O {.>!SY6iE@|c^~5 u]%I[{3wyy!,jVeΥE3w35CaA*XzAB{xA:U4PYn(WzUg뤝 '!}Y.Y Ç@=Z݈4L$l_MaDpSUI+eս7L|M0IE]إY}ў}XЧ  ӱG^ilR.H@(7YF <<FGQ# dǺ).~j|B|Qޒm|X/W:Pv;[]1>~I/|oN5HBz9-#_ϙ=ԯajOmKԖ);2+"`Mb^W0YN\zGh=ڣiob]ǎ}?+q99n.).JK mRVN)JeZ4haNyt`T * Yi {73r~Wi)<b:a̘!"u.I EZhs;C >JǨ@ ]>׉ @B!Ŝ# 5L cWWԔ|#, )5YW?C<ao ,V9 6Ч7d~xettġMK& PSj7RSU~ bHEXviYkmA8pJG)W}ޙ))qGp׵?,N,ᰱ