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  7T< ]MSO_Regex_Equivalence:threads=2elapsed=789.035cpu=1018.564gc=40.392factor=1.297zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)D;I_\0x{q2UX@<< c _6Tk6(h4k$%Xmd3wNE٭n "ra ptH.\bSbrQ Ӹ_!y@8@]\OUYW> gjO_ /-(hh7YKvC14%[( dն"<ٖ_Ǫz D&աxOШm okQ醏h&h2 IH4µ9U w/@hT WprzM@{wHXx68qg{Nm Q[{_dhv ;VPT>_ 6V\qn\r~M:#{Mc[[WKjuMVj BmY7hso[栩JWƟISTm}%;{$=æDcun_[d "7Pw!Bu%J_ |,{l d+XKP0#~k'{񕨩tK0>;sq K]GTWD͠TֿY~ F*Zx;wj.ƀ.IE8iۅKFPCjO JĿlVI6K>1 ֣$D87ol+S_.EtJ3w]{&G9Wf;}Xd.y,3:jѫ} nPDI"]NԱ/M;ڑJ aEkivgb(,A84I@Z0!ZWIV78n17| (F~ 7 MSO_Regex_Equivalencet+ >Ô|yOxJfQ`xK?; X PT~jNUos6X'pMD+1{1Va/\t'运",P"wnBw$kOy>x)jh6YGhDP3A%\7d}-Qu|`2w3o pW x>*#傐v FjH(ڄVNb]I[pea z}[' "piF2[CHِߖ̋mn WPZ * KN),fEԦ!+d i Vrp$J6M Sl 8t1=%|{,+`P3sӔ1PBeBk*+O GӠ|aժ8*؏o7>'S:g̞a@v '߽ nuӽ|fvq.tdrI.V*ctud=utSs䳼IOI|| Ek=}Gado_a);qPnmVx]rO2̏fԒUqiI%HL1 s?G:5țݩOțo8;ְv9">Ny .Pnf_^nmElnz\EAأ}Ag\Avf:5ʉ#A*Zݧh7QsU ii7_:0g[R0zz?&o2K,llfIS\w|WpW=TaZ̚o)cjX= ~0h ȩ9оHq.[KdekX?cжϦ[g[S^|LS:[:1Ce܅|LE?T9V%bX l_R>HB݃!NmNβ sL 4,0!=(cTq!, Jir/40Zѐd4t0i !ޥT$jƓ q[J>$ rǤ"Pfo>a\؁l ]tg$*_c{T2|!?ϪѲYi\J\%uyQZ\fkpE`&:oGNz:;T4 |ƒ2,!2箜`;;c:y Zē&EǷR?dُJxm¸IȒpʤM({UESկ^9!] đl2+x^Q)[ΐu󷏌] }%adHȨ*uٔz-= DETئ-()I7MMGPB=dcSpD辽/P2 'I ~킩uĞx@ Bs7J(tjB][2jBz,}u8ɐR}9*S#(aEDaYV}IfrXc ?p]PIV|iyB&9$2|VU6>?{~SҚw{q )= PR( ѮۨĘ($>F Mx{Lcd=+ EFݖ#`>qcV`꼞q<4n"fr3qVtipk{ ȸ Z| jK/kIY}o[q-+3Kʷ|WD ږ=w`#:QE|PU<ՆM4Fð')^}s4{kGRUZP~CS-rukFKp75ac`\E# ڈZ '˰}: JU젛#݉*US$$\oOzp~qk8U TcA}ѽ/3 ɴ^77֠_RgYZ7zXZִF! |wX]ŗXi%}XkC`|*jTV\Y}K6tel/fhk0`/P9C%Q1U ̡"KT7*N9I.:Z1wb^RwRx>HqJic3$'/Rw2.=tvu[yaJj5B) a ]nh\l+Pae*8G%U|R2lٜ12Z8GXA zy}5TҘ|v^JqQ^x"[g 3i tږ$ Ɇ^KۣL-f9if7R#ik7B0N'Jp bJ 44NՋd.);l:ߞmkuc H)(Tʇ0l;`^:β3C~:v$s](n㷰]+@@zed@$jTO9)lY߀= 'deߚ9=ro$X=H\`0Cb'6B&xO {_#$|2Lob;3 ,62 .^rҘJI^G)z$+~. #|`$S 'ny)@ >`Q7[l=S(Q+"1T7i=NAu"VCIg+y5#Tq5DDiM`@|7W5O:n#]JC(Fi5MoUoEK- pkoޒoaEAt'Z^m v5=|/=gb;/l퐱7ܴzu<*_Cyί`Ÿԙnn*"T?]3=( }Iu89͎G.d 6˛N{'[Cf8DV_k]V]D[i&6>6L#OS_wuOsŕ^aXk 9[C-Ø*0AԶ.| `f\lz;w2a󀮣# STҔk󾏰[3qٷYZqacqY~,TNO9X0:0,WwݝK=\ds0YԂ!LRz;ۓUܾG<}n>x_k2e1,=D Pg(Y]."(!S/PN|m#ZF8ۥ3SQ.Ʊtp|YY u(\^qJT4('4":8 ^K C0# xY>t)܁9;'!Siuy $E\@/hLy >;1l˕z)(h }:]xUAǁ-p6'2Vk -3&M1=e 'ܽX:-H5= '`] e:rV*M&&fvҷ ַwտ(-8A UqťLCAD01p5a+ Q2Q:jFx?srE8;n9P8Uުfnlm*FxdL*d7Kj8ݴǿʶ1jD> 34]±}gۃh@MNK)0" ]ʃrW㋳`*3iV+z!+J>~D_x(5~ӮJ!2R\>u b'6^sѭDƅc D՗6BCwn$WRww7`*[)c*&{f1BPh|k2Bϱ'" "@4#%%}#?p4Rk0_6]ϱ+qlmuH *IM4 ΉYu7{ ( jpya11vP@4[P\@I ,~2Xggm{_8Ss}@2H"O ku?D'3PBŢ !Z#v2~tuVO!TX>zom78@2+𥰘CX/H>G 7IԂ^=` ta{/#6 ;~Q8r%(d}O4k[6}^e:eA7 ^IrTڋ963Gs Hc%⥑xC].55P ,geݯ]) 9[{%,tfa CˉJIlಙ pg+-jquz3 EƮ5tZ+.BO/7/ӓ6( @&(LSIBĺ1r [XϨGLCԫ"c(_xEmV/#n?8czs;2:5Ş2rT!Jd/}@ Ϣ0C/`fV7?bc_M3$ &ה.R檃J}0V%[S?FH+văGҬ=]B__^.J AZ5ϵ kH<#CvR6a_xB1Ĥ®f _=t| kƟY6˄YmV@z)_>|ZWS o\P2Ra>7t_X2`fKφ[]fMݪjKXv-+9^dm M\ti+lǀrB$FQ(@V$"E,P >!Y?@O`,kIG%Qq.U(/Vq`$8nG#"(6,8Q>44iŷ{B>b]D +IO>!PF׺H'cѢ0TA y]LеhR@WJ Bkl8jA qC~{eAo>'OrUQ] H'+{+3]\jz0Ӛo#`ItF>٣YA/ }&o[V#_X]LiQحxqp+T99ՌLz! 4#] Ky9^HF&áէ}-ݱqJMQ5H1jsqڹ C%zѽd"ci iJv ߘk CWxnKk2cX%daz"6baXŽ*{Xu$H|kA4'S6ځ힠р7dWS#a&m\ƭ!邴QvWedzb;i2"xCIvE$OVkorX̰Zʳ~yQn{6T7Y7rnFuf bů\X^f#$hJmju8 LH˥2ٌ^[Ja{1l!:c^a6ȗVˊIeZ>bu{&?'~;[ Vu(d8#O0;YXj塜fU+〖/lu{)(7W# #FzfщXUa?RXrLssߛND\&b֧&+ |֚P{ͼ8~ m90|::.(HIUA,IʓL(J.2%pQ;~E}%nI 7XL`]5Z)&1A5>Iiu$Zϱ/ZSqT HB5InP𼕠;8qY(qLZ!cjd'sPpSfBAl*k†lP98G r >9EZ0ձe2UߜToF˖ܐ&Pcz#5IepB@癊2 5.ߍ^1 7D,) $e" ?hA(ƕ.@7[y6}oexҌ 3sZr6D,qe֡,&RR*9U05F& tZ>A`?8KY>͙ӜTZwI(E-_"f# V|n\ @n7KCǬ=>2kv)yn (e(tQCi 0_mA w_EUVAN"/ma}<$ &뚻 l(XXDPp,h|wkiZntIcxӵZ:[)z _tsw4Xg\gIx_IwD{lV}%aJnmTD{aIڜ;'He DCAa |F^+FN?L AL mM%:Fjpz^>w:Ah(IHb yK_#/a_u i VC!{ӅHc/U$z)8Z}y 抐)$Y A]dmw|Z"kO"Ev9S[0+V{ª$0rFd|Ċ[ۖ[;e4YC6 uM,-sgHy0HZб 1q,]׽4?_-IT`Jw]N{T3KeP;;<ݦ :pSnO X^|x7,nDoŝ`<åj5 P/k@v(̛Tŝt`a#VO`s#uA frc:Hʤ-{MrFU68KW{sjWxQu~akzӈN `PYi|eνHB]aLJ[-nƒ6+5Aկ( ~ni0 $ڼ-Ķ*5F"$؂(͚*'Vo_;|unjR)ZחƄ!gİ*<ڒ~ cJ7)8o!zf S>Wk>!F]2m.dpK91UMkhT<'pWWn+:0TPzt%,AJ>z,$woVпf2fksjm6Pgg{ϮZ_#}~Xp13.WJ$8~qMV.{. ٷP _c07j@\TI:y* Ζ3i?lL}NdD#Y?^"-asy[^J&X0e0Ὢl[5gNpFVώkۛͯiзu( ?=rG `[ r^4T'K4ohן{ J)GG>c='`=\Q;Y|&ZhYz{2jUHjB&2JѠ420y9.BljV= (QNԨj#1< G7Ib#ܑ=l^fz,dSѓJ;k&l^+s7x!:1o&׊=J\!V z0><5EI!Tel &Y~vd0avis-2ßE=vq0FTf~eR8M='J+Ēd~@^0dz$P9S(Y!lKG JqQH{)Mjm;)Z&9f"SU 욳 yxE=ed&I=JL}',T~'\6(]͏O$@"qD;f%υcr?TY[+`Qê>)˃,ws\^Ipq!YU[-6LqZsFA|Ct3y7=H PVYE'a"77ϯͩffNSզ0@WQGNϡK;Փ~dYvN.|&@%V\fa*=/q[4b O#|s6)юe<<.-Ɵ%,ۡFQ?gZGwk11qVۑEUds8l)*nP?TˬDp'X&9AY3ټI5$e˕5ŏr[e\r5QC]aSOb|!GW_T 'Y$FF@1W*·-x1acf (/,?\(SrxET.^Yd#P8K\6upv[' &&`aJʎL1l[8vv%TsJmedOe^с3H ] \[pk B'ߌڂ,6VKҘ5s9H]Z,ifar.(Y8e!1kҰ~>E.ٵK'E!>%`>va/ #=Xُ+%<~P9nVlg):F@7 ϗ5B,} ACW%X^RǙf(rb,i:ܨ3~g[j%3Hsyx"ϲ K]gY/L@ Kƕ TЄKbZPV b9ӷDZfs e߂[⹣Ǹˈ#000[~1ڛ9. k {Y`iBwܢ4wj豵)?ZOFWD sQ:so՘Xlik9+\[0Z6ZK%:L }rLlI뙎*tqz1QsR$MѪJ)Ũ׌ }2,rdӸ~yCAte܎(1S{EhY$ʵg/SMr>VH1! _qh!2".jbdL ~Nk^4ifpӕ'Zx:\Koxp 7EiVq!4 +MCvv(nܜr#HyTAMȣV96U TḦl.H{ 1f̳WU"6 A*d?dD j)@%4$|>l!`h]j>Ux"&=xlqfZS1XJy cѲ/eM7^E7>ɜwlthy{[VNA_m=40TɞpsۡNXuZ@Ztt:!Ѽ˸I#9?s-W9XKZ1b1ǹ<.^ 3F7%U mˏ|hy+`L.=fqm6, !>4@11r8`0#RHc!!d92A`|[D+w)f)M=BGJ5rgbfX'RN'$@D p nxg)k+yCt8*;1ۏ 4hRשyTAxt&y ªR/bOe🰘J]>ܪ?7_[hĿN'iqrm72 (@a#Vx6c_³Y܋]$>MAT*%jGQ!X7=~8^70f-C\NifxVQ[CR_hYi8<MZub}55JTbv9q"3~?.,/-`?NqfJeŏK6='"<yIJd hO:P""h |eQD(;{Rl MB_ *6R@::F1awjw7;x#zu/]`2m{913a6X;^.1:-6)N鍖!=(sHԍ4Sՠqqh=9U_g@>2;g vNv4YvYhaIa0bl' OA-lzQB=9P F'M/8a0ϖ/S_8!Xi=j'X؉|PJĐĬrbX>Y;/qiJEk 1k)mqj{Ow 0^7`|,En?z^AfHrw٠uR"[E zDN_:D/xry[pgz_htAuTy֦~J \u%xc P5ۉ9S[՟Uģ=4 *1[Tjs7\~ r~)?+0/IzD KlF-&Yg\fTp%  4'Kی A2- (Q;+лR䵅=VV>,o #A4j!QBٞR8*f~ " 8 -.0ulb~M);7;b iQ*/deΉBw!\xs;n|*Cu s]iB5 v@}|MZԎ_^-W*!^k>v{LK-vf"Jm~>Ǩ{4Wjgt}RdM3sًUMM ب>,"0_Ƿ#U!*8;E wqF#XO3ݳag܎ ̫G!cE]!n2f}8H>x BKmOo;ﲠ* OZx AR/m#go1ϩWVetW[˿ʆG ҏYc)1oM1"O|ka~f>A_<__^'*Vk柰;dω\_kw<8²]DU5wXy ¶/YF t19ص6l(ll8* 1l,'+̐Ih6o>ۀJl'b R׃]O?c|Mb zDv>h A֚UҦn8'/X*֜@z_a̰`"JQ/~E@G^1vO׹Y'Q՘ka9BqH99|,Z!?XReSLf@$5p5:CD66|颚 _XF`vCEJixi|DctǨ@vqY$H̋MV^KWڇZ.Wt]G[kU!_JOTmYhAV"}DjК;88P6Ioȍjp yZ-9j:`@|Ґ^`>ӥ4r(mh2'{rM~+"gt$+2"d 5]V[|+ B5 #<4ܘg bB {Bi&X0(Rĝn?&-1 V\7ւKP/is=??n1\?H#EkSH\|X0B(6/K*<Rq*դ1kҷXY(iPJi5Q/K pعr <10[I!3`}dD_.zbH[b*5<y49#@b$'\8d۱dM"g ` gtG8>b`{{d#&'_ǴR@bi5[43hkS .w]wTɻ1ڝxix+?xw*CACkHrStYk糺G5a/*~Aq-p1dh7fOѡHdhaDPF VRhYlX[lia?(Xap˾꤁O 5)҇PhOS%r}Hk{g#P#; J~ c~\o3R}ujzd3}^zTqqfZq\^jT mH)j5)ʚg'*O>:fuNR8kPw!lEOEju*r(_՝~:s5U YM[LjYRBRdT*چԝQ1? ت{¸cyѯALy&͖`֚tMB)X\}5( '.:vIf$ڭJpg O*XHg[W}_'^'%1A BuQچx{Hqq^qYϭ{]^(]uP~cJgܻțbwNZU mv0%#Zut{*Z6?q6.bfjR<\K9Kז%V&XNY:vиZkIYEXs/ek?#9s&y$+*wy>8QnSoW;7ƫo҃^a1p>^HhdO+λe+&=$ޅawF4p8pddda'ux]#3n !FPO?F?M3%8٥9(m( X';Y!ږa(ݎ~8p#{(խ]$\jck w< ŋ5Yw:qJ0 "^TpGYX /o`qKdIrЯe)Q"-_k1E>5J͂/;چ#F6a]_J1m%dU*">aMlg)ӚFc8ǚ% aNm%ݘqsh_O9/7A/ =+Kxrzop)TCm2Tg!f"Zyu%`SXfT`EP4YnM zM:I4!LV*9@/m:_V޴"ևTA7I͟ڪRxlI`xڶ ׺MQm1Z3_GR1wh%>,)Jj48[dkFגk]nߓܠGOmm^ѝm"x6 ύ;׭mʰ'wq`2_+"JD?czI21  es"w.N `ɜ}bjU v.,ox]zZ4F$FB̢2z4aFU#1pti¶gB%>a=iO*ugqb- mBsXJf^3J˘{YBƴLvpt_.;l'Shf|c#Aϻ꒠H]#źP֋~[u'Ds@ F;c*rYx>•>Gj̗]/XncY" ^V}M{A1y=||蒏Vd&-;ؓ+ qWb6/ yPm;K1c'w>{Xt ?f{ Ft+%V_Q>ٜx*%1I'#&W&OR^B=B^T*%拑7R:AP\&PR6o)M/Zxf,,k B!W@AY -6 6¼uOa?N!ݝ;upq JMӷL* sblQG+L k, 3pCգUEuâ9R xƪy.C["Di4>ŠWS;V XV@*^@@V%Pg"Ma: ʧu=NVx) mp# нNҪ/~~$ֲGuwf irc`A巋 QG5Z qòsV@h51 yVjoea}1,׾Tkŝy9ZLCLab<'d% ݾ2֎'h5<V1lE}Fu7t1S 8$Dߙ̡zE-X']7އ6hR팲  (9_i'B$jc1R?ZkzJ0cW  I}<=!D'!wC[)*wy( p->_)DkE3_ k `;+(ڍYb]q'<:{T- ]+/_ƅ89[G "2"p`ʤ~WcC' 4{Iof_e5^"#-G_Yh Yp\ gEDƪ{{3@ٳWƒ "^K oĩU$xW·q"6^L87zG~9Jf[B>бyqρՉDv)?[k > &Y\;hf%rnEo\Ïu~u8 x=Gmh .jk:UdS*%=9)<'6Z%MK;PrSչk$j1ojűIN2= @w[K@ \Xzh!EitxY9k0l֤`;VקmG,q9 *.FS a 똖q* M |ݷe~؆ ڼrƭ)p?AǢ(r `m81%FVkLapnԫop'UI,j  oS{P 5{єfraZv8lNK{;;O!0g Ēr54mt]ܩ 1PSZ cXy|K[/G r3`y=ww[E1n*] sbYTZ?]y'S2yLjb%hY}sl(Ja,Vry;J#"LXcolq~ا;0"jcz~#=\ ztTtN!Wpm(G5r5rkdwg$#:z!;lw/Oari[ y VN̂fyn-9LpJGRb>FYUMsA Jf J1CS|ݨByC4!Bh3n I]6lӊu/4&zr 4Zh2swZD1CH{e%0Hb1~(~P#;fYYZHvjuL6( =pX'I@$~kN#Rs̄\AB6s`{ lm{6'q8{:J5QwOݬ[O5ճbP(Lv@4 h}; u2cBd+Ӽ.gO~ [!x\JQT1Sz/cNW3AQO'ָuqэ3F'vIӈ]Rϊj{ QcُtyWb ~uF^ԙcz(bZ5r}$gWth[P_h gKv!h-lGMeT~TfDt(`j<DSk:ȅNWcy"D8vYRMdVHK%mzg$k-R iW\BAbaY{E+-?=cR0(!vHTXS 2hq?`hBkآz&#'";)Z&ET:=?(ebd}t jOAnE 4F\HY a\YӶ7C԰aVZbk,Z!zd&iA){aɬmFwGuET`aOԶ-[7 *ݲ, Hobo?4yVjX=onrEئ{m#V9;MbA͵Hm:uG'Px(e Nw\xa'r2$Pd$p*}TAk1GhIT:S54{_C,="Fe"U;Qk_ D=@ηY5H:q:ݕ 9aTVQKS_<qJ)I \lźPп7em۲ &qJ0~9b㍊CW3MmnF۰N 2 +zl?MCr[`ňѮwS6FX9c;1QkO^]O٠`덦tᖾ5B& QHrjF=B@Ki>u={) xO.枢zamrʈ kpwH ڑþi,[hhMWU=>YW33'^3L elF<ڛڏPrv0'M=gu\b+\m Ym~mjL g#3` Ş4?sW9 d.7Y@5LKb 9A >Xì26*,Sv|Kkl^aes{=X')Pk+'u@.M,}dw/R tTqlV4g17RC)1- yiu+Dz7/Ou8b֝HߩsZCuZHUK|'fxbC,~櫽VJ_dPVQm'# qKDWi6$2V:~Q @bhʴy$- 2~osGv&6Fy ȉy=% JIH3όdYP0 Uf)V, βj<<%a9mr@9#ꍠр &,BOXvrtCflw.v !$~VӾbno1UhA(ZCe#NHwOTL0Hva 4!9=ҢoӥV[&zU9Q4"%Ôe),܏%:09Gp:x#b&I)j3uFI^So=<ҟVi8Փhݙu3`ͨ!8a_xwx6x&bxͩ{.Y*@e%2 P~gv.>)3?KWb4x(ߔmJٓj8RsT1mgT_v`Y{G6뭠]Z7՟vDTS.A-tL_Q$ZgdpS%YC[)a7ۅq5t2$_!LK `Sy2voM!r+)R_*/?[5b0Rif52;FGoJ i~^#og#ٱv!fk]UԋG_ IJW*0Z43~+}_yAFSH?ݖϐlGƚ68p^HhjU;[ur4"p.ǐPe%9HG֩]k>t܅ JѴ}( c-y^%$Z3R-$uC[gU*I ] [Ȃ{LǏȷs_FGt$nT* ,Wui4e>!ž-ϴ3`nS|VvC4OWdɀC,8Hկ)DzU &V4|7V h*d#H1#<ƑJMfZtRDCu?$d>L.fF{STn@_ 8  xV^Mb/,z. Ȥ.CxW76%PlF{IzNS뉟f.54-=jvz7ӂaG3S5b~$w؎QĆzG S߄̱1">]N Չ| ne}C#9p?{Il;(7`qAxF]NaέoQyknO눡;qd& p%'Ƀ:M}TDۤ$G^}e}͐DatR:6EUԟoP?a1mhI)'{l%,N!W3:CR!Ƽ;!“0Vƺ,-y~6/p#T_臆?H+e}] e[2YX>}JB }xKH?O)x.*hg_?dkERt=.\\w'_?4>b^8CY~( s~`A0Ж'0Ӟh^>;s ,͉|D4΋8vMsnTfcXJ8,#g`ZENw{0TEl+pQ||5-p݆ Gwy##j R [ӌ=\,92&?~M i){wbNK&l,LD&Ȱv4x ?e`G}͟TۿKk‹͠5spdbE2l_ȋDhߚ6>$r&/ 5/ ʲȚ6z&vȵVJגfp|諽Xa~^z͜5!.=Ќ#' #1VUDW8f" :43bTX& 4 yH>7PG(0)ǩ̵<4_Wڊ0o,cJh*~7w:!׌ $k˂L$tCa˙fbXOltvP*njzMy&۝?EwH\*d04B\+7%.z~G`@B[WB >Z~Qڨ ?&:^z/f sw%N'LZmp@feh /f6=֌i O^>QY9{ҰEԯӫ <-LF:vX@^jw D8,|`۞Df$_t79 YMC&2~MIDHrjcX_[,M6hda;=h*$hU6>)ukQg9e"0@JAZ1$-Durbl,Uo=ԞRV>q~պu-[;JR&bO1Fam\Q&p)w emPZ=}Zۧ ^rv]#gjU܆wR^zx K>@(K['k5 %T!bM(cxl0ޒ!<VN7ѩږc6D^ɮZB&eeA vRaXV)r6`UKz\qM$< !;A`nlF<{EpVa~J<1:3A`,3_6"E݈=xў#m^7lDO1 0'~^Aqs{ tʚV-P])c([e;鯮!˔S 5He$u1#OJyME˽Z] סL'!pI Ǯ0~4خaK9^d48 KVrJL.D6֜#,*|B*t7 ԜŹo;Dڐ_*>-a|Hj2C.[,ؔlY{Mԗ|7?}:~.7}*"'_yNc!wy*Pk"S˘VQ'W¸"܀jKe:zmhtvue@3QРt =HF/P[?W3xOJ{2k5#y7cؘpXrtEU4QWLCʃS/&lMl<[žA+ݶ:JkzgVLomI_Ww!:6/{銛X[wخ6*;t-E-'XC,x[P—H;Ǯ`Ę?;G{X#L*יRDVX%:фi]D mwC *;s;F^~G&8˼5 zcṽޒamz t jB.tTL |&>4!Kw/GrFg@BsoehިqZQ]iV/Hߘ;phl/H_~f{xߵ#Q$(ԗ 0d`$w⿗*O< mJ>[B7n\v_Vs;_~j4Re2UF#` !lLxj.B;S7]6LW5J\UV)>!{љ~\pIUpԌbk[_W(d]x𜤱%3OɄ:Vő]g.'pBZ*Kȕ8[!$}<;H:[s?tG7f\bA C$s'u( L\dzrØ<yH;WR>}PЎO%jyjatMdkfD`9V^^-L#-ofb9/tD{H/%d:dZt+49Xw3bSp=-2EA+6qs.-`"%7F [mgiR 1)c Ȼ@=*q&t@{*".}i_"+H1]~5:*,,ylf<-Iqe _08lά.dp$cֆqukãc !бz^ E]nIT]dQyP̷FKlD'%`r6jߧVwndKx%VDoox|3dX'J,Qj(C9"?M' T%6\n:!w%CbѱLJWeCUo'(80jΈ!}$>b$+A9(-?c'Ku=s68#GSG-uX7p}bSC.m@,4ۍrĊ(磗Jm@W >ڏe4t c k@&4^"I.ޒP:6 @x #Fk+ Ň]uu@v4O7#.З"LKp ͂"R),i WsU秒4Nhd C™(eP~9qYFBz/A-v]A [^R4v=8g&?bC}(lL^,o'|!fDjL" /,+@Id¬Bҙ p9oesόVt %Z%"(%W=SkV2;{]1  -Zz]p!|U}E1(鷋w AVBV04KMe}h]X%ÖR F{xnR(Me6]lRSŒӉ<2s@uYj ӡOQٻ|ofャSۺ$V1B=(GI(nFNPy76,0B + rVAxT$M@ 35Jh3置TJviœAE{N| iW40YU6]ġK-6*a'xT(OԗXiL3/j"Debo30xzg{wr&!:lJ:pF`&E|( 9:ٵ%tΓUK|# ֟MQg{C,X|J7V|6q 0S~x$5{BpxV;'̌emz"9i58a]a!Mܓp{6Fϼ'aBf՘>RJ˯Ě*0 hQo/]X܄gi ڇIfTu"\[&2K(7;5E-V==QJfl,5Ch E*buiGFHln :"f6b/6̎9j QÐEowm??ʼn ߀[;]t(01aU; %L,;Q-) NPm !:Nv' \(&v-JF,3yWSGOud RdM@^| "Ȟh?"WY- Jtf8 Ǥt6g~-dN ~)P["Zx6^{J@oV[8ZE_\ evy|RZ -WJCڰ*:wNN&63%,cz.:\L)CXo qԍ_X= |fh)/~1Cҽ&!6AdiF;a v8L? 4O5F/ZRe%ʄTn`l/W戣p=  GIa!G#Dv/oڤ!T>jD$zʴ:e8 m{wv&CP<ˡs`P:# N^+[ᢨ]M^ Z"tEDE#+h|5^B*!IQ!FI?Sf/8gc]#ɭtӘ:?9] [0;o` q$p׋%I7Br]GRS Ex^呚rdAsXj~7B7+#[v^w aOiͽAe0lWv_ZG"UDy[KW9h6N`ɾ纤Vd;%, V%"X-|jJT˘@_yT<ׂK|&RPvҳ+:诽'}i0^6`Mu.6#+ dwmNQB GSꨊ5:&!&g40{K`a h^Ps/Y>ΤhVI!]$mup lFUT[C55϶w#գVqg$-Z-7W[EGTbR+lywe)UBp6 dh-k!$F~>e԰7,$TQSҏh<ҨF?eoUyooeZ&"DER|-)Obcvqi(\|T뤐+g%2#f23x qoݿ]SIcloO5sV2 bF51YR;H-\@5PddLF1Ր>G-n9j%7kY-=73~L nEsuFd~]$FΙZ14j(Ok}ߓdbެ"vNV|H5a0ZM5J+köWWYR/hwݜ )!-qK+1〹~_ё^iaQO h7T5CPJhd-Q3i -΁zL6h> [J4tVYf%қC;Mˤ쬟+zjbP{i:x uTrPi]R^y<b(JZ3[`K*vy pVe&F^ Yj&Ч1+r"Bb$ ̒‘4 dw8$LC3 zDCDH6!-2$B~~/Ԑ"5O2xYj$ZX;.OĪ>؇:뛜~&Wʪ{\X?4Lհ=nک BDRzy?^M" v_$:EwbhyuVh+ۗ7<+NffµyMScReKkzO H(vu)BUBFe>l6jMWBʼn{B m3sa(g F$aPOhثxKqE&N Ws>6Q6ߑ?) )F. ZAu&/ywJ+7y'9>ٞ<탇0?~Exp'!a(Lu,[ :BMk!iřaaǟ(: n׭C )9^iWs2WRJgfsW; O6~M"RJ) 2JEWw Ftw\F[VJ ݶᙯ,QF:*?BR'jv_`I^X g$4Hfnbl;qhUĸKp z=ET:sbrx'g$.jr6Y(^/۟,Xh^L/0Kl㊙qBv+Cc*_7RJVJ2.U2"g'R1jɗ,L]JsOK?5=8_BR-Ÿ~dnVɐ W<}9^Y:gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 39e24372458c0987f3d0bdbec288643d15fc5b61 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a83826705bb579a9c2f9c7d78f6d6f5b7c3d324f29502