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  $| uS]Slicing:threads=2elapsed=629.757cpu=1053.736gc=16.060factor=1.677zXZִF! 7]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/.k8A1^Yrh}oTSu),7N[~OgiKásg((h!S'b4~䑡QY΍A9?#š@ONEt本, z=r**ARm>(F 4{jEU/j[:Q4Svh[g>oIcɲCL'g3C*Hۉ3INM>\ͯDk! Kgk+2WGIq?͵v[]Z   Slicing`;g&.f1d3O-Ū#TmeM ߘHjM榦۱bK& '0'\DƨNY?xp(;qTcJ-jϊb};+?y܁N>q֨RnM3 9~2`^{>s 4d%ZvS]7+>tf4'gR97x^)~K;W!-ִ,tPDj+7u2"RP48ӥ?44Y^^fD*ƲP9BA[QR,R mMY&`X1يḼ?6 }iFSd:DU<7x,ݑG*8Nmb]rN-͸cΖ/a .]>ErT]-#ƮT\r CXT!ե> Xj(,X \|~&4(hhj.wXYJ%=M{o sEsiVB5q X\-n5:R+YHO0I,$yYIpw)1AoHCT%2q{f}S#aw e),^ȗ'5W:?ۨЏ]#ZwEYOݾ>QjP&4fs>0BǓY4 غ?OwbM2 ѢsǙٴX0xy*NORSƆw׉3Tfij}͎31x;\dDE͕`P6ei#3}>a ?I+kvh]r`rh3&鷼9 >HM7 z\2v/ <"bz|[ԾjR6K(ÖG? S,.: ?/QvFuSFGPiv۫>iS:; qSi>2#'Mr^"c!rӵXhYJYׇ񙜩Qn"cQRhBg< XB% +X$6&얙K%@5׈"Q[ظ@֚#pQ!5g۞rIiBUV$`= _y{v."e.>; Ck_H^ds̓C9\if)LWFKbj3޿SW`PLIm_V7xiR5WB4`"Kj7znmy꬗墽rf1sY6-u %7H=2۶桇@nc!G!LB~p6N:JLE AF%l7l @.%Q]ozs郾Փ,rie/'Utp; UUGy9pGTs? rtӣKަٱExM@AOT oy'^+pL9Z^Ơx+Ć-ќÀdCa"~Rz'zaۣ۫TR"tspPbMXN1ٳ^Ȟ>sYb5g%?+dǰٍ9"Z1Oom^q,ݬMTɋMBh? 8(u_MO27>倈TKtzFH>2Ka@2^dRP%'V:&ͣPc}Gα )K@e05>[܏ikjvb,#tMպ Mʽ\h*x0:šF݅W1JX|s9#᩠ }StGζfp9,n%w_!;.Os4Sk2nPD 1^OmӓAd'$ww(Xv%QMbuTâHW9Ǝ|)qg_iWEr&C=b?r?U}IW8x.?m1Opv]qvp9aC`<@4 ~ΗJHz5JC‰bwR2Z|3U3:4vNfsG/*V.@))|^t ](nuX &ػ8Se\$_@)ذEV~5 5a 梋8°-0ꓗ:.ypez=&j䦚@Yv_r%@eU0Y*t'YQ#Us>9;zca<_-*0 JvZ@ըQdm)BIs_*aYE6B#(ɬhkr{ZB t52rw#Kp\x㔂80K!*};'Wߵy[1?Y+*-''d}-1ߡB-$U7-1<Ǘ9O4YlzxR~n'}<.VPSe>= 8NFE3OZS C:N˰@BpɾcCh3 2`#r\ض 8 $`@͝dҹAWxN# Oz[̱"P 7h]YQho%n}[1)ʌSЪ3R2Qhڻh*rG:2DO)#5!+XFWNtu2nFӣ#iZ&ByZWev zVU܉~4e0/~@[*Awo ńLʚ bi69:7MUQmyюb6M9ƋJh˛ eYWCYXLR^a{<傺W=',} 9Ϣ'lP[+uEr2$j'zŠ:\e[3M(ӱX}VW$VzMtvlrLAq+iS(?[ Q݄݀,FhgWi%]C(Ӊ3(+հV|᧲2RSS-ݿ\wcU8jl*vn~M9ڼ=)V))гzOqd(DC<w qB=P+()71q\C# O*UG=RayXnR,Ps &;f`֩/OcÓN!loyw7]ܨj-I nsYYdb5%nԱwH")J4KU-hOra0q>dL%udftg3Id#6h@9,6{3zbLfjZT)h=_:yC!h/4r8E{ ?苺Q>=` G`_ *"C˗ ϕym&d?/|eH]7UvLJ=ه}@I=CGO2^ M73X"Tc|* Ԭ'~Qg厗22G^-h]O|YW2z~V#+=yT}#]yw~` aJz{ןĩӿE)y S A}D8z Qw:96|+q"OUPyy%Y k,Ӊ,(7Z 54/BʎSYToRvk}mJ;ѽbͪGkc;z׾s%djhiTY; vh}]dybẐm@ߢ>TybtP[m=! ?-ZY+6`Y+HM 5B={0$7F?ZN⡷>Az-dD V zӶ h{x%И6\Rz@y;t;4DT:"$iY*lW+cީ]?5jYqC^߃T /Ke96$xU?+5LڙP}}z@b(6\U-SpYbZmP)n2Ml˴‡9nIavF[d8#+y1XH 7#V5(W\r?JX,Q+j|eD:M@ ~If;b3Zh\=l /-ݼl$r5p=6srK"݇vhw4kqĝ _*b/dğJxtN 1y]ufo+WT;\GJ#2IϥCmkfs}\(CVӱ:4U ӪL)sxRcMa4.> 5:hH@maȾv9] HOmћN)b]mg7Y+-QwƉ X^BD-5ѽ+s}V;Y*aj rm+Eȕ>Rp4'}+"鮇{)=n_SCΥuLP\}@Xf|5ԗhY"3kr\F^<ŏp(|1qxUY\AaF5A>QOql8}WG~f)5ܼQ&:#6 XՓ{ptQpCY7$2]I |l7 H Eim'LXJbZc*" 8#3#w`\ׯa>d`ɈDͺb”YY*v{,6o?[Gsc83FeUI)C#CVų%&Aj})khh->*c얂?LVk7+48?'BVԢh-E/pA;ĸ [u?)<.59U+ޥEӪ~+Վx7*ψd:~"6U ^jTKvF%1e@?L2v#Fҿ l Ҳ;24hư'B6K=CƯ;* sm-e~%5Yj0. {T7slzRZʥ.*`HϮG(vuwb 15WB*d%o*"BI29S4ƨH ݞ`,ˎR̼V᩹kYyW0ݵ1iC/ ÿ ~@npWJzm'_c,Ev VyG>9#.Th6NQhjg9dJyK[="}=Cv]D'դp*ĉ9'~ɗh!SŒHzJjkvy\{(pc*#AOq|PHk"#!PˏS2z )-u!#`He33PQi oNu Yr=d|$ZXy<-c1P `'`$ P '$h byPٯy0/2ҽ(dIǝ*ǖ4f,>2S6qZDqQἱڑq:|"ʣe9~(kÊ#%ڒxe5 cdԎC T6}^#qzMBnyug+v l1,I-ʐх_6B*Q&T6̇|gQn&pvX{nBAl{mpBRx[ -W%}DtWnˆt7P@Ct)_Ef /Y$O`굲5tB@̙U1BV>OhY01Oч( tzu'eK-ܼjyX]3^l"d>u|3N\`>)w YlZ$ıhU ~3&W#H0z=r䠙 m,Vd pNA(FXeJ04w]=~ k9";}OeƔhbZ$?އl{J"5ENI$y~~b<ʡjsPqqW駂CDfA02odxN18 ZDm"þh)eAu,a2 @ũ%u9>X=kgymh GD"xP / \_g#Zj6]xnE8mM`zDؓ>G!GCm(K]|&tx@2-k*me\W3&OܤK@qQ2ʳ,| s&9Xтb% T %g36Za=^"ۆ4LXwP $;dA'%&W)P/]q:Msl$֒pX,R+9_~ONА9Jd.}3MbKI)Se QK+7zc?nI` :$բ݆%+J% )%JUUr81"a_!ϓ:-A->~Bl{=//J;:GQYJΤJBI,!uS]'$oP2/Aj +$KBey렴Cf w6Ui2J`-3 w( s{:wq^#|T2Xi~rAl{eӚU%f ($cZl# K ߰Ӿ[ 8N>c,kx: !zi&El^Tݰ,Ӏ3 5 WPT8{,$w/OLe 5mn3yvҬ,Rm(UxA#@17)__3'D+];tN'^mD~(V7ƘsA`QN@f)^j%*ҡ646 )iW;t'oo|$օ8:Jc86R#xAZ q4AUdܠcL~|B%eL>K07.G#D3pO {$) 2V"-aaJI5U^ "/9+ȃ:dt.;'27`E!VxTg}Kv0H0^yf%ΨxzcD;!^4( N}`vrvAިݡ(z_0niBHNgoժ mJ;h1J']ܚ0i؃L1>{ khL`iS$Pg&1ղkxu کFPHT>s\GMx?drěc7y\pPB'u ^Zۯua*Baݵ*YSC\}ɕ*a,e3I^\rغtf-{.IۏS{%fvc;ז;-4=RYyxW &jBqSRQp&J2?bd\ݟD4qXz\فi<.;Q&PYXisL& D!Ⰽ7Rpfvs8? a)wU{#gg^˾ 3H _$چQPlĚ#|%q]M|eGͱx `m 7Z$כ;RH.LrD Ձxr#TřwsRD윎W#.^ lͼ 1iTƔWndeTu諝/pGۡdR(DۀRcVS}A?{aaUlI~}Ho-Fa95ގ/PT6,*a(8pX]osk!£fOO00]?Ƶ:, #NK [b|S CuԍG=!y RFk $OeOWv˴>m2|$k [HiS%L :zoT *EYeNjbcr> hsRdyZPܽr`ˍYPqCSh7̻+ y[#S/ȲzK H0\ vv]κ\x;?AZ5!8 ȃ '6b_K[Pӳ#8У>/?|hOpr LڌΒ;Z0kyPg. kD'_L;2վ4IjXŶ7F r/qPKPIذGԞsB+b3E|&0ؼB#18|3(gmg_Vڠ cp2o#MB. ~R0Ԡy/ƌaᩣhF+RCw ք@RA ݴhLO陓`5?P1E`!yeqG:+OmE>~6>*Q6 {ys!W q8jWNy.AJ@Vx5n:>'/ӿQ+:Q w־PH(ebZK@yr^,:X AFY5S+w.`n?,}vo&M"soMƍ v+Lzh^ 佞 #%Ҥ+aY[ LIJ_ >(ՖإӶ3L^!68oڋgl (r5LԖ͙5%%q)]XrgDừ`'pa.be#GAQeF)I\꾎b3xp_-F'y2ǸfI#UXb/P$;=^x5^~c긐M8 TrF%WFaK@~mGsM. "+@LJڳ@NZ+,jc}0x?8><#^r*(='7;XB-'n8YʇUq]!g@ !B n.8SAĵ!i¦%(c:xtSB-"kVCV6AJ@rRv짵6nRϒeg B5;IlRkYC<q`US2ru Lҷ5ٵɻ*b=},nu4'ό7,9Jx^@D PB(L`CXJg Wb?ҍYV_ 2-(㍮x&ITGj׍(Q d#j-N3Eh,%KX}! 1Eljw"Ack"K$UR^³{h@DT;'Y- Zxu#P\J?t,/3e<;nyt?y- wK7~>\+e8hsJU$)qbIਲ $p!5-VSXPRp2'dyWoar4Ω: 廌=dw Wi 4u4_^qD)a)?S̠r #p;:#"'xLn@|eJ1\('%xpͲhvk?%A[{aQ!?@1cYro. j/ޤVy%>q!9bgo.8(WU |`}\Ko>v ?lM :5f[UEe UŗʂGFS%jvvո˘_=Htpڦ)WEixnz#\g`[{wp4Be@d>L. sduK+Ֆ{IM;]Τ(aGkfr[: KpRwl<# r"6/p'^pdWd!IM 7]EwIEͣ+d%+,͡4p<'g&Eo _gYZ7zXZִF! 보ox]ŗXi%sNs[gFl#DU9:<{OQB6U+D5y W]R}VYV?>:Wl;eE҅A,m`;])?BB6п΃V;pj@)p9[=NX=Y,(UA:`A@}F:bjR ̡Cn082bӎ!+xžáAmd5ptc*K!ZhĈRmf5׵re([ w.ZlClGjK8 ך{e^&P?_ IZ GB<gT~?ҩYMT6@77j7C%_PyqG.3ѸU¸,Kme mFtھ(y)KMRp=yDj[^T 4s -ggK k=YV}Rw $/'KIL&V)`xs W+xjAbCM#mHtv;Pq G )4") ],! 5-εOL n"Ae?;e n FQg\5 S~2IN@n6K*/e" 3ᔇ' S/>2 r$ߤ .)+X. :C`zAm @JiR0og:wc?ƃ4w\LO}-Ho&ylH{x7`cw/n}ynV 9HSxg>w_ M'D{!П}^ތ@s/ gTdJgspaH1bsfHZj?gO1Ȕ@Np. [~2h^&g1G 6$:I`]@=Emb2n؃Q!w拿Ml\ WR&cP-x <Wg\^[3$(PZ@(RC_gD$I׻1K֝W_}sӭI=㬬X;'̥bl;IZjdS !|x`zBի8돢t\*I+O%$pML"W؞Pm9i_k|x(6jQOYu? aE.w=K+1_y'sGiGhRiBq.|O'~99F|uLNodc$ DX t-} MŨL;&d*;tGF_Vr!k;F&G3~>5`d1݅-$݉d>*Do5Σz6$'Y$ +~?#+1u PƆ!KkW .N-J?vcThԛ:/4EHk<ǑM_ ;,̾pqa'T}$jTFiLNɟ;&;.bWՉ`Hf\T rkq]1F=1!p F1h=[׀P=˄[7zYN_ZD$l|/grCU,+;hFGٲ`{O/o)hN۝;LnST{`XͯRզgo:bV 5d5rMJ%+A@gbEkq+K]ҭȖT]/9.K5jUT+2ÛoGoZ9BcB)yKb]lYAŲźX@jя\%<#&@h Ek<M_ w65)pV}?w  TxO>DP:~g7E\sӄsWa e3(DXLwT-Ĭ `\=]7>7$4R䩎uunV;(GxlANAƋR Vŋ :2'En.ɰY#7 ݇]ZIg(d(!#/4,ӱTOm{ rPZY\~F;/-u}h`eQ>``EL~f-!UYhElb@wk/S#+ꓦa. }LR1B)aA~ 5RP:O3pPFwi,68ba!bG03[g泰!}8 /@Ƚd?Glv\Ln׈ڣ?'m1Nn@o {."X.j1&E+`\^H* C+w$6p2T0*&OIkj.kTxj籅>.z9opp$0z![:N{RTu,^xvR<jdOnEF?2gI8@]WPfPx^9ka 6re{`BB`j٥6gR[k@+NC'(]4N< lw % 1Shyg PåK쀈M,DYޟ7,po╌hٖ^WF5zQǮ/H$V ݧvo;i.c 5*hcNr*!*2RȎoai>gZ]xۑD_-Lh 9ySZa(p)t'ث }s-`bU*&)򄎽P ̖HHSBgRը`[܆fnߣs2W{g+2,Pyƶb M@R|Njuy/>FZ"lK!(аpfs 7wiWwN &Pթ o"⪥bxE,F{HK}.,TUp9>@)VD) L&YɦLUF&3_B#V!u`u> /~X%v`FhCx"#FIn:?ic"<.j!pPS;0p.M,JɚםC ߪmmXh; ~F NqKըShC(4ٹC^kƏ5,){jTt*5͂f?_JZƍC5CO]Nı{"gFY<^yaqRQ i񝨻SR~zN 1ymu @k 011Όp !ԑ@d".k9q; Hx q:kѻ6|.?K|Ig( I.y)DK d2Ұ<ט,x9l {"C-Pg1;$[[C<f1"6A(00!~+C[5د T#FFb<б 5/>( :qXZmV|tN`zVj^s^Jĩx&dOj(Zʦ{٣Ű\P7︥!cx` eYS&e|+16J0i* `jmWnO%S; M*ǠS~5\Drp8;Ve*$QƑgc 5)I\1!e A {h cI Yqp\l'0yp$=0I!fRzgI55KFޚ"ag&k/E͉w.x.iT[ڠ{-ykDz~#J< (Ayn%JLr\Fݳ!],o#sw\R@ȶk/6sw.UZ_IR9&}u em2 wM#w%0Nנ7V^V&+ts:kxUΞ$kۏ[Ñ~)!c1={%dF_zڿ|\szNҷͣ9Ad;ۣ-Qp<$<" yMp=Yݙh 2z,˺ZF>Ļq at Zx7N0z{?WxPFZ)qތF~B}YS|n);ICjAdU3^65})>Z~D>4srj5&!YLVn?ی}DL['Jړc6}/˹O*k<D)xgawh>v|Zu0f@ _|"B";..Cq= 1V=Bĥ=-ʬc&xty^Ɯߛ*9}LZ7YHqǀLh|3(HN e(">KD>=k^n(=_ z>! f躼bWxgY[tI3zi,$yW̅sUflJ((;$UjMaXa[NГ$7f _{llՊ1|O0Y2 rB+|r=}ؿ_pkB Zw,k!Cn$i徿:gDU>"b1CeJstCL7L(nǏM)9¸#INnDvٸENΔ%_6VD-DQ+M;jB]k.r.! ;S-឴`6I 6l@vY IcX4Hf[4dfb8إiU8bSg[M@<>{mkls32iR*N|ЩTNqDjuEF\2= ׂnP@s lh_FSV6*( p+hg fJUSDZύ֐.\zCrmmq@rD۬]RPBmI!W9)-܋c9?>Ա+_ViHԿ拸Lң~gTfmO0T3LkRNDzLCۮq+62 ^GD}턦,CMKmT~4OT*T)V暝SHQkaKv +;^4t&i֙ eo-.T+%H1Z[`qs +†*&?Dci8ΘkM*]#փ֦Ŀ4ɀ]9؉{ fek.T>']swh}a4o ^h5e ̙-2ClA{Jm5kR5[SKEc'j2ۤ{*!#4@)SwUahvq-fo\#|;^ypV*!HQڷ76o`3( p+ͷWI5l`į$zλ/XB;s  ?σ(WR,F2CLJo'BΈ= j߅tZh>2L3 *|)OFyOd{.20Al*f1@ -.0'^]ޥxM:B4k-4 o15s')`O4;8?Y{(ܵ;f)#MC/v,S}#V)Le[DP!G8#"3T['"tCWRn$>qkƜ~85oǾh]θ40++M#t/w@d y8VGh}~3Xh]ccc&N{I lN +PjT5HU A-^Vs>d'"d_x7 IdP:+]y0>lS9iE=X{щs6Yp : wӄ4Ijj.k-DZVu3A԰:zz '0|L}W!H˛*?S7Ѻ%Z~2Iuy S3jEV;;ժl #(':K0+:kԌn.Hk(=52 Ody3&Lǁ;L)oe<9pH&Jۣd{JVS{B]p뽆o'Iܲ09$>T etԹvb6haZq@Yx >DVoEk T(&H콅)fL`c'5=wYf2MK}o,E3\Fլyli5Qpzyg%W_O ]k; W^=ݙز"ɷ6_dZ/o o v#NtgJ~*} wʾc˦^5Ca+zӷ\lJգF]Z nHxHW[}t!n2UXC'-7uGz?=޽V!YdCGc TYk4㺯:fQP&?+La%oCLkna|+N'dMUGC5}+[O!ہM[?*VʵF+2ai. 0-0@K;$ K \DXkxץ'=] Ycd*M֥M,rL*Ѿv$Bfb!dڷ>Tp|io4ʸ|k՚YOǐ4,eԛS&Ёv@ h /gjHv .{J}-D@k8?@=0oP 7t Nz@ fkSB TŇc{<_G:k3Xd "b7H7(? d 3oJ_?& /.5CtY>1s$x6ƚV|G#mR 6לfwUIQa_b 13̙ʯ:"snNWGvh;a)wO 8Q-w`MД~i/l#Gn$g869yķZҳƨl}lRWIى3AjtQ'o`P#$٠Ah0!A\} K %جRv߉o䲯SbθfD|5tvr scChe>6PC+,T: VY?K]UrNr*R&gm&DdqO7PpJ~a zN AqG&>ب)RƅO*V v} Ҹ{) y$#'CN?Wb/6?{eM]AHeBQˊ⫯$ M@g.ѭzk+b:.deqmd%btf|RQBy> F <.ebN2Pܑ$tl[n ̒HvNSB ޺z'T0GH P{X'SJ{X.5E~UߌDF íQxy_#ReêͤR vƢ Gr,"QAPs0͵Gѕd81(F e?t{}&F$I”J609 V궜x2Q|/ֻLdr70%DЦ M[Sw<)kv'$gdbU~zsgDnHoB^i%_V2%i@giVZ+7^sb/ՒZ mUJRaށdg4hD\Ȼ ZU!X. כ28:l'ﺬʌx.Aq= SySpKf}yk7ӥ+}w˲GtRPz^TD_E,Gj/C}LH?5|G({c ]Vv CTַx$E ]u,QgLP$4ݫ=fZ)0".,Lʌ +' YQIـ[v5 'pt}j9)R`N&WsG_81Gޟ\z[{SnZaιMbAfjҸ6:&WɹiCB`Ck7:+ !UFu9yA[϶`xJKsJPٽ,ˣ aC5Ӧ6 rҋsh?#&#u@w'uJS{GH4G @M'5ޡBa+lP7wY CgY)sT;3XHǝ}6c9R͡E'ƚCyJ5g5Nq򢪌0y7NV 4{$XTFq'7*oeQS)bȽ2EOQFfv8c)p!H '8FECKG0gJ~m{=)tiNix38 t+M^#gVB+@].8}OYkQ@:2"Y] sT;x4Ng(!T@L'Z<]?#1F_8(NS_Wrfǂz!yw:fvք] ?bJ>;,'"G)p:^jOGF Pߔi0ހl4RЎ_ Bxlzi1gv tС EVN_o^qtQkg)AI' @ECzsJVy7 =]fs{  0>F.4v0{Y Ѕ-HTxb!_>- c69Қ͵ݠ2:T^Nvқ~.kʋ~cc sW0?J91U\"F!:ܒ ;3c1"Z $9-rt17H匾I.X"ͱrRX5{sLjr)P,,*[Wō{osD#i]7{owK Ǜ:j,HmfE[I MV0rRcnv9ľL< 61q:uMe4=em-sygR?AkM 6u@'GK⡊ZI/.0J`_BҭN1Za)E;J؇,T# MGX#'SkM1OZ˙X!paTFE>>&Z# UWZ܌ bt̶ކwM΀ !fjXӳmW&,o}G$@yNBd}%zaw.| 7 =A7;,s^vR}oZV;Ip +>úU:4 DHy uIsL!GaX K-@[_Cг+M! _Cb#R3ύ) PXS!a0gt!(m>aĔ:h¥k7V q: hO,GJ29)d Q=R6Iu #t2*Va,",;('UrudS|;I`JUJvU9H6 a"c<;N2KaflS_?Ol NI] `smaʈJQG^`t>HMOrm'"apzrq (j,Rú7 Ejk"5΂E"Tm_^aHt[4|fcnaTL5M#pӹ^=t " 킇'+֑pW=b"LN;Nx9қO)[7[p!%|,^Ø&_;7]z5JX"kׂ;;a -Mt}p۪Q6&ͳs4V7(Q@tzfCB^&$tׅj>LrSXW:*Ȕ_6P*ZD32 H}ffom`}HlB0hV.N}6Fcm~ eP1E>wu s?sm{@."Qˡ2ٵ`7=? ݉vQaպ H`l Y Ր=HsT]\sfpa]L4X'*h5`m2HnxFj&be$vv?Jv f}wŹ{;}%h\{:SI":/\ի&_nR-?Jhr I "^ Z`'#SwL> )6CW몕5%gg \35g⤧y+IxbkV3;{夊|O%A[].6B|4W@`Fg[a!åŴdOtk1NKTa#Z~M8Mtzl9_o/XD3*_ߴzTF>B*.*fAWB|M >+ R# R cR'}G;X-q)=hѵ}/O6M XX=5ݍ :CXBIg&wr}df e<J 9Lvu3-"(>ȑ$?VM5 ŽTc A.aT0alysodܳ+,16jk3!KMWٗvsN  'ĂNצc|R~Lnֻ{hɄ"h<"Y/|QKr'F\ FX>'ȝ;*!ɷzC]N-vw EB܁"/&}P7@C!A &qska)S󖹊d4k\힧N/?xMQ'cUmDY]0!6X;­%σZ.0i٣ ]TM/ ί^Qm$?UJn luH F0#ctgE!?F쿹}q۲_OZ~/ş܊BYLrROQ!dE[8/[S)73`e|^X'I Ŷ P>ë fy!A* %a%6[(N~"3 MLum!Ln#AxW!{LT&q򐔁&g1J4J kz_`Yed#faS1p-q@1\R&M20F"&uw$g\c}̴Ŷhgzi*tegId[ǀ8=kYTʋ@ý7* CE:r2%Z$'xufd@pd@Rʓ7 Jpuķ<2 !n*~sWkxr%2&-Úlqۛ]nukO(6Ič({gkW]IChY^Qr1E}݊90rbۓij UG6ٝ9}D|p9S8Э1uL `)K)C}Wtb̸| c[4 RF꭭sqݸQJ%7 6Vb>wЛU>::rܚ[?GW?Ѡ}WcŽ_LhRscNDi`k&Q L>gjETAxq m7YX,P5;)lMr69<˜fs Zbt*UȆ 5BIC TI1)iɄi 2ݸj.jB1N"C߄(z_L?~:3!>SQExJ9k6*?Y݆ZC"Q.R-;={!غ͒Y1[D'O2D5b;K#}J[|y( `=w$lbč$s77CtoTټwI79R'd%lJ phga(&o%=%" xVf!Dj2n1:5X24s]U8Lؙ޺آ~\;iW0U$Bv_*¤4kD%z 9`5@MfƕU}!Jj͢a`p?FS zC rUԎ-2UyRF %@nʼn,CagoL"0tE?fĽYrMa@=MQ i%ѥ_[nYCg1]Ű\ jn9r6i?S]jp^''כq }kd37Tuƙ]9uI$͜BGׄRhXхQ"׭۽w]-$>]xfoh7s=򎃢%hx&-=h{vMw芰=Զ^X _j-][,&Ug sWn(vi(ç'  Z|n5mo*g~ ]rw; 8-5fЋ9zb׀&N]uK%'!0S[m2K!M[aܓnkV\BFK 7}WS RՌ-$Sx~I0*ieySAkތD.PQ;'839=goLTt"_HPlB%c f_mcuvVt͆(}K`m~iZ ^G]O^IHzKl P޹qrUVe~T->XfY8<'[FU\{*=S[>"mB, ʷi7%pq-[I\klP P[`{^&J_EUw$ >NuFH襤 NwJћ(ai 9Vqwҳ_QqG &^(<Π'ßu!{-/%4Ϯ!S\RS C<:-{3.\N# +"#ɐO L27wt\W :܉ fݪ^6+ʰ⧀CA@ݽ+Zt\*AT>Z>hv@,M!N[D],ж:)26 1gsWX:>MH^>ɇK]%ts>!u?C@JH݂[ZNlp˘F̵𡆈"Eũm[,]3s㨁$-I3n1^uv^|;z&x?tA\A?laaWHvs$JJ>ANJIkE~1LW"%e!oǖT%/~їI,eEܸYeq S>7 ̄Mƽ:/ \Dr_2^q/so;G{6뗬Dr& j{I|pw|m43H A| -兟Ґ֮j#0cʓ#Z,ywm2 ,h( 0*笷2i{Ur͓$ZO[/; ;'Ӣ0DCǻ˷Tد Ӝk|DL]Rݘ\ | \r g)t(l])$80;2Zy|-niWs#פOօJcn&<ѓ̥FbEaz4Ó.9FLkDTa,&uIN~S?3i14i>wӭ~QIrnVQ$ 2)/91,#WRsظMP̛]ǺI0/+l 7 ܘSƜ`b@B/|^#g[P/T[}bͬ~O3< ^lRq BQZݾAٽI+OV9 ;^e ȸd< :*A3 䓗3 7ؗ&00BqdbzY6RZ@ E$$: MT=̔:ځv An K@JN~h-"bU4=h).e.Z,ֱϺuP!rM(| v^ ʕ6Q1kW ,}mTOqR$A>]ۈOUz3E՘ H矽v!F9 G šyPnFF' Xm(xS^/4IJ2j [~Iܖ;7d SAW8):L)5%G_ˆSe2?J\w <JO9vt<=#pPח-y}o\ jJ+ p6DǛ~45x(!M;T㚤kGNW #tG^T؋ %km@NChrcZ^ֵnųKmRKz xʈo1G90jzc^1aidA,"ܴ!l-U\CsQi ncmnMj}WIYݓ&ojj#'X*A|2]HxCTZLـLpH+8|`U jZyA!mo Q3m ֹmE tLMS+!w*9"C ב 6 7@)wj1>~w³]P\iUh6[5Q2K3SfT )_I.G(HX֚x3^2Fd_wjAvK`e $koZZ!b6N&U; ?ZJ/Ag H.O8$on+:6 .0r6P(P c{:V{fЇ n!%Ὥp4Y| B4uk$e] DĔ|`%g?alFBp- ;J_fz!#ft!lTP#0pY39`BFAR=\5z[ͤ5E?b"+4*)&#V,o piOdɚ[j:H$Gv;voX(\ '{3ޭᴾk|C1Wn 3,h-)^ F/'4SZG05!q)@zA32 Ћ 1ڏiwAԭ)Ry{Ĵ=)N{Ą&|f#μF^ Kh =g8CjS!Ÿ=~_K% lXT_2Ֆ-"^e?IQ4%:FbAtw$պI6,g*V ڗs6;;ʄѤK~5)eew.;̟@\Tz[/ )LJڣ2Pū U HT6}F/sQ^2 2QʣwyLt޶o.E56 7kf|nq?-YKaqՔ}]sMFTܰ@Ʈ4h1/e\Om٧!O ~7!3=#Wl7,Df5MrIL<ɮuB&̘qpQֿ/J?e*)PB5@ 0yLT 3 6ӹez%4q(tD'3ۚ"EJ)wS_bzaLqϷf=n5^56̸BjS6 v^N~t oޏ!s_d˜)e`}mdUep9񺲝Jhdfx:o}r0,)^:(㧕5[*&X%Μ[\.aɪ3UM>'|-svX޵N7v zV0'N̶is:LdN\ȇVȕE,RP>Ѫ[>8'WD1dQGkwU˧.!0ދ{[/|b<̠M6:x7u*Ylތ*ͮ<5U.xd~!l3C.FMs"Ȑ,InW-IduҾ'h27Z1c  S[orH Mp&lkpКfpN`F-j.jݎMOT?>z%p$.<<6>6僃/0҆|.{>*1hY!|x{p)Rȱb>Ě rVزu|~siϛFOv4Vcov7{g[8W\]dDQKmOڀJA oYq)hIPJBbE-8drƛ|&7ގoΚU6e.3qq1;5g]FM%\t_ÍZ:)G&fG5:#ԼU$? -5zaP:ہ9`_5҈^G@{篓B~}s>lY+y,8`0+#wRp*SuϨ i6/)_R߄G ܬel?C+ 0aR줰U"XׅpqXz鷘둙pIJl1<Rsay/{dSEmnqퟚ@$c `Rb ^Lmn6HYQӞRIt|pXLf #|L^/./>$5T׆dB-QqWWϛ^X[VdF%KX3ejߓŭNm>ժCb+.e"cqRI'v_gC1}ER8'qpfDf䳰X C sݵ4Ԯ#*)D,N YS"$~p%J(VW/atST/JYvpauk =(4S*a6]pg拫a!?ISA-N!HX1' Qb 2QD+1ǫO# ZB,1('W.8[oK莌,_Ury XԔ0!Ȑ3U'% aV(LUչY?nI̅ Z>9tYEWwK" mr*B{SdΛe-Nrּ$WrO ѥ[L ݮ~f(PnܭӜSŐ8^[~VA -b嘦35||/r>q`~Ih$p2[r{N$\gNQյr8_؇p!j&?ma!giUAY N p]17㯋907% ⮂/|Liƞq HǠsNYo{ T tAϱ#j]puM4JR7 86KN]ԅ 2a*NdϫMz g#.Wbe˔N(Iڭ w#@Ϻ{-´,j|' %%;׬M;h в[Wڎ^-`Nרaղv(_}Qq \:CĹq=v0{{!>C!h  <|NC!mJ We DM>7`CSc>>^6ړw(@ kg".oÖy4}\}W2zg4*Zi-d$CE @Үpvk d8oDAGo)2uUq\B k;@-Dqva`-X |AKCx) p-\/:ԅn5l}{J\L,iZl ypx0oX]=W_٢8 E1NWdS-C' >R U0n6ZW8~gbw:&a6c6 OpVK'rޤ r9ɜ* 5f{ɦSz\Eb7kz; . DO1'ճf[&bfPQ&PxO?^h:,IYn/u7}PW:h;gfMtsN!Rv8'1f^ L3E jS ؛+UJX)@ Gi>$?H_`-\÷eb˚29 8Es#\UinH& xZ/,ieR*0TːmAG:## 7) N088tD9:y3qMWZݙ~s:CMQͷPr(Pjӵ !4:~NvxS#fB(sϩ0%Ʈ'֢au8$Mۢ9TFOeLF p\8H\.^\灼$ZlLU($s~I;~4B88#9gFIW{R'h}ew?/͊T< 9y?Z1R?ifh4R4G._F/uMDɼOzώSk5}qo &A-L |p |D{bx;v!pq& \ #hBHy{$Qym !!3Ͻ>罀BT 04!)֮f\V|#wx'*$57H{;7;Vݚe2_}) @.#ҝ%}1m{z> SI<-:o13\jh\4^/!__Kw j>X q&E0-lf`2^'П)\.GsDx-6d*O'V:8ΛgݬPlۡVrAZLR*yCu7NHĢASX6:,׹M7Xpr-v < e^XPXP$MF<])I%Ryun)"{wm*%>S7M45RawjYƚ˾U@xaT]*h_'?`n׺pW X_ܓsŒ R@0~;.5%/&SYl'N|Fτ\ ({OuuȮ!R~i"k쓵s}\ z)1xMquT' 8Z옲7_"͢Fµi Q )|"7y Ib{J򧓠\YVS&/\mжvP5G5*dS+K!(LMdÞdSU*!;VuIj[4n/֊8~]/G*3Yv=:@|Sѯ8m]E{{`Bu=uUò_OЏ'?,<, mV<UgTk|& 8w>Js6Fg0^cQּ9X,Itu8_a~p*' ߝVȁi&u MV_:"g_peoS`J֙⓷{~=bpxm7xO&#?};Lɫ~x*ǟՃNm="m,Cl 1^L_f (!3Yiwz68/rq;8SA:qlj`"VԀ1xa-ُzeޭ,oh ƴ-M4r@й WpAM6 `5Ynh : %悆X:L9]NKTǀPkcwQ6(E4!#>{śDFyw=_`"o G*:P/evquU$#2m 1j~KHŚ߽] &TW90=9i6LVCcnw2GϪ%vN7!$ɾ|ŗg#ow;*m&來@T`-[ ӆMy ȎQ`sh(@5?*RcyĦtL t\QA.)*(Yt+"2S5?Nݡh:uZ,@S7dKF~9;J,m"CPwnj j;~0Ӎl/"!lP\̮kWײ7YB5ׯ[Iu@vAІCvFg^+py_AHJzl*毗jBPȯ9؊V bԊ;OХX';`޻VE:? ZZAepӄn-eOU%UӋiФ#WLgpA€¢Fݴ;ߋQ-cGHѼק\㊅;RF t{垌 * Q}ǖeÖ\C%"e1R> ^|*kZFDIaDqN$l:ak|q <^s"\)[=JRNKw3\vHgC@r2,RX${sJm/=vVtӘVuBbD@PkvFOZ~76PW? cl$c$v뼴5}pƑtH%`\*.l:>Xl1f}ҏD_7W'y;8(|[$$\lCHbsdy7&hh%7C6c};۹÷fpU Xi;n 6fs\C|<ۄ}ÎV;L25H3OZ-}E\rj݂i7զ C[E&b*M9e譋<TRf ri4|?{CY> Z*ի17Q^m= aT08xf ": 69%ErXքhRɭIKv<{߇LaQ*" )MQQ/]y_z9dI^hR](L'tsOD<%MycٌYkg]QK#? c9~JcP(:M_̗4>J3|Yqoݳj& s*v؎$gJ[, :6@kW\SQRs@υ Kܩ7ߺB9+~ |w̐0j|)+Ȼ`.7rktony