SQLite format 3@ -- llB77#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  < u]Slicing:threads=2elapsed=603.143cpu=1045.676gc=14.796factor=1.737zXZִF! T:V]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/.gs)ޢEqwqiq/#2~OK[E)8{O6v=F:V̽@OXiF@@~E(%8HzƫLiq˔ k`] 6JSXfXk2u&k1/- +YYcf`_A< ӾݑՌFUQ Q,BƯs!FIԊK\ ^E \9ٷO:tYpn8BCgL;U1u^Uޱؗ#a7鈁%7Jbsn:z,AŔ4E;F?Y14&rՕRǐ{ϥ|y,D zEK\n.{guy=igwIO/L.JQOFH۽yvTD*C壊U84of";]t`xڳ:on! H#94 vBnN;6ݢ^8 pGp}൛LbuFuWQ|! !o:=4J0ŰLZF5b$H/şM^F^idbJ   Slicing-E65b/s"G`NML7\/%Q0OO5 CFQ|dȃ́q0=SL e#YS\㶧q\y/!S{[{+l\SJcerqesQ0d(joiEe!XkוCD{lo,:cWa1 4uq_ ҈'Isz;TTn7TfC\ Z{+FEfG!?(JR%~;^p -qIPQ>nGB jw3oؑ9-6k^~t^ܤiFKEpqJnke< U u 'Jd.zsF7E@e-?/>/Pl>z|`Q^^Dh:ғՂ$ SJ01oJ վ([ǀ#}{N7WW&Ƿڑ`'nqŹWQ.lWq27\ :ZB^[);ްR81Ɵ R)2qqK7IS,7f[J޾9\r1*@̂ ;0!1M/"[/Kwn%x^_x߽T}5Ϩ E8 Ud N}@IqŹ^o% H$.,pA < i(z&meICk+YO!UqðG'Qvپ,j;U q0H1oO)7=صK$i]8 $C[Smwv7kRqjs_tpנoG%ߜ,$虤ڦ (4lěZ'7oREzTc&qGŲOȐy (=J#@C|jKRB76t\ڴӖY?̂[4_Kց),JG]:BhK ]NPK^Z'&Cj ;$׭A PTOw'aPB(;'}[BBy-gJ~vSȔH|$K&{8/=E=B ֓u㫇bv8p&-֨97R"jTꡖ /EPy= WI5rXbc~* …ز t_'Σ}S(a7V.F^cJnίASt&hP7Wr\)!mO*|GC tn tR{KoK31=c c[Ig=5'Ol 0;B?PP%DǑK<{0U4;|'_9tznW@p FZ6^/_<9Lc|H𻹈;.# h-h(E vMN)Bv*] | -FɛIjJl@j5 2 ?V): 0# o꾨 80#R܍ڹ3MRyơlca|ѿrx$^FTZmuJ\_-n!P0 iv9_ MK*ZW_N0c<(K] v@,,rPɔ0ͺz\$/ !4gi2Vx [or(Z4ڢΰ)zC,>YxX})4\gA8Pb@Gw`8/dZj"I?FA{sݹ!*Nj(>;mĂrߨ*R'1d4]}Cn}y{~f/auR\_E>~bWAE#Xp桦O(F HE$c#>h"PG2фm@;y0Hfu 걡:L$ d`(4+2W(<4'$%,$%V(>QZl]lSr}8nM, C`/ߝ<7L7ܮ|EղU-(ŋ;rvkX'!]HC.4^=2;аWOTW>Ǖ 'lFjwk0!iLˈeg?kG?͇䮤ͨHmɥS4+AQ\_R4ZtEWԥ?: 10&Ff_$@1}G.XZbm䂌gn.u>A(X/ AnW:Gj0H5$&j MvP[JH L] vDNfh\8/gl9VY)/R,T"aר{P䔝zi1!u\%!(oxLm+.VIJG Íc"H$* q\'bvp ~azei0)6r OsTZ|]A^.؍3)e@҉ ˲@$'d .W4"?f֡TAG;GY7wJدc9F0Y WM1=.NgFRWcPn?9a+SPvTxq'QuQbU9tXzW3;Ӹ 7|,gG!Wcd _Z?j{v(S0|D Rayw۸q|Yr~MmgWuզL5FKsʲy5|m?R^*A?V}Hr acR h|5jSqέ?sX6,xdeYoz@zINMWtp٤qr% 7אf>EqKpo7*LOZJ 3cfn7OA(b厢 [>a71Ec 2>,xߖ+ڪb5gzˎ' B x| # gv,<Nެ8h<ڈYO]FMkb@e{/fwMG`&YW]@hiZ${qyRnA?!D5H5q:^`qUWw/x%M Y:z+sSi/vެJzϻ UT 8#*$Z.&:Θ**dC='V)duBlT Ug1j ;Jv; TG xn3َLj>ea*+ NX-V](/3?پ6 gzB" ]q'r6).j6`~hw@g-Ky$ӕ7G!Nwl\Sz[b)h[|JrmvZ+gBX7ꈫe۝gݞ8H 7L0 IE`uq`<%)#h[kܵUiID&VPkM LlgCB_RG^j%L";Z vFHYpٷ76;dy3'/^L, 4}QmuR#O$kƴ}X#g.9 ŧ0FiYayקtኾ.}c4bFB9?ҰԷQ5ci>ʯ<15>z?PҖ;u*H6XUc\U%e7z*۵)џ?~V@1I0A2Yy)c-uע5k"T8=&ogTTܕi?`ُ#2OCÐWۯB颛vPVR&JrQc/1<.#fs(;F2}#1S!̬{.i]ZCmao 6;]LOBt-y h'M T"A0L Yn0V)2m#3 -I?)I㜝`бFB{ʲnvp]#jl\Y)fX*v&o5D—A2L5:D WlT<-$D-J.t_ 2S]cL\ ~X\ⲝ<%$޾0;7@PXEH+i $}z*2 =:N:6tgJ8n2e|=%A,iQyYD}uVl_ۡA>F= BZ^L[:#p Scw~zҺ(X\{Kxڜw|th "&)_b5$m H9woq? Rf`+ry8R%G+?9 ]߅HZtEE=0m~|Ȝ è&O nalj\=qD S1Ttl¹j [ ЇߣQU B!a؇ǜDN"y#(20C$Z)cN1y ]k: 7Y X7mjK6?<8KSk+'0l;.?|x/7ѦΰwH&" >:Қ&%Lxgqg7KDS},%Hcv5/'?,Z[,"A[ s 3U}iK?>6&qdx߁'} ߌq(<3? 5Se-y,f(%iDNBk:) B/ P:M6/(OFpVK)4<0 h?VYU>,[6Dž(n<*?ےdId\_l{]vK{m n2SDThV>?KsL+<+3_rV9se-ړfNM k1D#4㰔-EV:kH3 @'LI[Ͷ,}^ =gU~W}-U9pnC5{ LWt?Lk. -0m bp3zVZ3lvy'G~l")+W]ۿɺ{ZFr  WE&.]W]=md i$׎  3Sk6T ?} vF3k)04H3nc\C}KJofYμWh ĥ fha%ݬM|ub4VId-할KNeĢBSnw_>[v""ֹ^ilT.”^Γ=} { &䚱l? \eQ]இ$dD\ѷ9Kr$LV1$a&U5P^~Uß#s,/% 2AJ˅@ټ R9xp#Cl,mV3o/T%x>k>pjM^~077:W #ؒuRp,꼑ִGI͆f1D.mLzx*̘d从~/JeI*|ƋGR?v;8xR_(.0n9q#*0:qxR ^E@PSpѲ }7w 鱉Qf8-'׮+\O"VO_am}I3,:fTNz(OLÄ3)pH+҈j/uS,3eH~RB$1lXj!./ 46*??:jc~g\\24w eSeE\vӑSźEl TFeJUk_tbb%pl2.NQ3%&.9݆m-ɰA,Ԭ0}MQF뚲S[aС>Z_k }+01Hս?l( b'<{BwDtCAnyQm}Z!afz vm 3w4,>潆eūH&wi2 +H.,hGQp0멲R$6C=]9iσU\<\h _욭#8xvq"s~WlYm&wvMWHQe~܋Hc0nt s!J%ښՙ /"\2'+|bZq&X3#UPn 'a{Om fn  MjZ :cDYY Y*k>]Pf/Q~-/6S[>XANЂPjO[F\:ZeVlJ%33=$QZ; 4dT-8?,!tѕjfY.D8%ѹw4&'"a8kZ">0 eYRzۂZ$AoIV0#y3󊪤}j}Tϊ:Q 9ڿGbnc"$23z67wiELC$[OSxuOSMpppWDiys ' Lz6sTSy5ᖾѶY(~~aBX&}0 fT_ˬw@o@;F'[rȭ / n os"$c9^{h@%'fW!>0z ZDܐYZ7:[k#;,q>2̊XX ߽#A2-O`i * Fh_;YJ1A"T/[dɣnnrUNc2w'{PuAgpq5ZGW^+L{noI"e8 na3+@P|_C.sh&%~ $ikUTRCrTL$u(Rʚtd`r H,Y3yY:WѨm.G-O᝘%!Z!Y]C|z',OЊU-MNl|>Xsn] !=A{.+#Ox(Mt$I%JthS3o)0 R %doXh.)]"y\B*4nSe|f":rN+N8Zؽ"UX%m}E4S[댦, KF0ZXp_h|v3NʡL9oTb3b$Mޏl_K/C؊?kǼ Uut[nZ)*4 1b饟Y"c$esc;81)*u&$5a*p?tRFw¡$[C=O5ԔzvcLDhMKwLЎu݋ú!PpJYނY%T!ފ0Y^ nf9:6nBE,G~Җ$޲ï.,v|h Yjs{!=r !rtZKXsy&5\>3 Xā2C*/kZ0#9'apڠe76C m9)^Lt`LAs5{hĤ+Ŵ \%a=I/bu  _,uqğ=3A]dZ2i3cMk(]lǞ|7gAxU H "*Ѳޕr怶GA?}W~@U.a?#q3@p68XA"[a}5,Kkx`l"(]q *d2;qR#_G ]ԩOˉY㎆sbO YDA8el D)@t[Pgr-f=TsD>Nu6 _Rʐ!}'|Ԇ-|nu@wL%<Ս[lޡ"*":%JAwjګiB#ORd2J<,4i4d ^G{ +"_2O!?4/d$7(s5uv,UzLYHTIVVm}Ņc`8Iѩ}-5dcheh5(eQwq%YЃ@/7d~!$A(~USUA1z>'&'@ |k MM=M!-WY5ZE 13#ylmD +vrz}^&0f)n *c$믎>h!*LJ^|NG@*ʇ >44*oB[|~{t z Abo сoL65HUa+>`_,bg KY\qe[]kFL 䠖.WN([F{J AIL ,[`y@s}XꠙuwðYGL2Ueϫ)joftR?sŘh6?6)9: E@sHr%8hk"D3xhVz&1JAH됶L>ݺ#{A L^gy >P_Iq|E[C)9,2@ XRaM,.Mׅz&Aݓ@ zw/ah7x-QM^Yℴ64?wy@sQ*{2-x1K z渋U( Q0;Cǎ5Nti\̇Raʻ┴agJszcc7Fiԟ P/pvd2yTdޡ` Jh|iP#pkZ+E.1]&sRhsv oD_N)s3yI{]sC'2á}eaz ^pLNzY STLEa|r rF%Щߧ[xnZn$X*RJ蓝e8ll}\`U\ ?pcٟVdԨʀ֠ΐ&t Qx bQMCiGA4bWy/L_|' m]@MΧu 1,q.A<9"q 8⿅pd^ cƀZC4',5Y YA7๳Ro+׿$co餢q&m{ '/+DE̜Ue9<矄, kޏ < xQb^dŒX~=WkĊetMi_k[ y2,f݃KNuXt [gYZ7zXZִF! 5g~]ŗXi%H蚔RoΤ.m>/0[R;FTicp)HKxۓ %;E"vn׿IE-z$"b"woI# v 63aFθO(RU!~wQLT oY8VGM TAV$,p3gWBͻB)$t{#^;r5`k޲xz5.[*Io\SKIZz+E oܷ39}^DV;A_|&jluAWXPKW,o@nT5k +|*{wfuk^Hb'_g?!c8y2Qyy=A@}f~lErs 1&̓ ;ChUZ,Qa7e&H}Ug(UcLv_ A3-{{TT&1d?xk]pp_:LN"3n܍kl`AZS7a ?&MFkYj}e6O(lwM >%~2G5`n9eJ{\>OoN-X6z*`N\M7*`.%Q:5cBVPN E|}%z00ª@'ȕ'J9X[v|U>N-J!e͜6UZ`=ODޘ Zuhr͐}^Қ!QC fA5¦9_&$f kM2ӡIpc8loKUM֓wڰ0:_੮;$XǕ=a~#"y3:^6b_C v{HH4Vße[2ػ7LttYޭ%m/d2LW@8,R.Os ?`htf"9 [SdfQrv|t㰸`J:kk 9ڥ)pxrP.I+<"co˹7NILRx X<$An7w-檘q{o M_3m˓,~ѻ)hcaqI![ܘ?~`1O/+PY }y! <3I&^I ,Iԭn @' ?04YZ+*$$ ptͱh$3ׇiQ$cJ=Y!luWIzYMrxGw/4M^VRZ{WG[hI#Xw'ْYm4}4SN\Q},5K9=2̉&Ms$aCL͝7ᡋ:6Pd(jхnjd{`gIb)%Y̅I_  ؖ]'Aɺe[0 ec I4ٙ'>Y7Noa/lۈ\Ѓ 317;)6)H TsX_xD+L-:> cc4@<J4;EKy#:r84F2}ۘgĒ4 8j%$wox@㧪.&lHZ"n4'd0$J[,vrWkVi 8LF{voF{ yE)DX|A%r; y*Tp\-~X U5MWJ0"f2ydE-{NS׭@jt^˹x{ ,1x$[qe3Qڟ]=QTGpzf%3;g%k/Gs46h= O_ȍd)J/p^Bc&0I}3 _-Ƌ7wT!)sv_\ʍ6ک3=VeT;t*2=_"rBUFs{K{*84<@&\@A7FjQuҟ5GaF<1k%Ӵ $dGxWt~$}Jϗi #\h{d=*7dF;xTB7)yS\kno,fil6gnXoFW 8qT"\_[t$Li`;HɾeM]`DIf_Eb(LkhLJӸk5FT)>^K[/@G$ @?gJh҉QFN3, &w]Κ,炐ܙ8Wg tMd-VjR0L9]ݽ`,fmK[&׫();Iem4T;jm?23 0} 8LV2#|S~}B2?v'jA${ c >Z?WZcFrF:{s!cE3y \P[aӇԓ~o,Gkc$n/PVp4FY~5,st a-%:5 d0xz*ynN8Ep{0ۙhRu地f˂Af(Ć(+~3^W2Uk,OLp94)zpػl#扛E-ChAWgÇ}88?VckkČIɾԫdo۸D٭[u*dB"cb4Ʌю×ʋ8t퀋\afF@ J>lQsΙ;5_/ JyD cEnx J7#̬)%kdLא]`{Ör͒~<.곱ofFd>ݍF(]2/;Iwnj'j82%/u qw°v Fa#⟿HYtDp Œ=?:x444-^kC5w:Q.*=LwҏLwr>tjXFĵ2ȅ>J/ww81W\z؇xbWk~/w^Url)k>_)X&u9|k N:ZI=mG֋{Ulo~g~-٠xE}7Fbu[J=? G lJ -i'cZ伲#(t_D6!Ije7P|Dl8{\Ah%8Wث`,hqmflJ04*>b j7q=zT'))p)@a@ЄR],2 [=iJ(AuC|fj jD~r^rtZ0X/@kWlZ^*1dȒ0y;.OFB-9v"0 c* K/ܬL Q:,gڜr~e9h=էʶ"-*G`e}9Z%X30} eVlHزuEf%Zrg )cq.iX|(u ZOA16 S:2O!rt[:׳XN )o#`6) <1;`G qZbȯЉ~sުglo|mb- @̰ .={p Iu3G; F\x`/HǙ^=u@=3*Ϟ(1_'H&=m k Axpt6~[b^?No;A;2=~z%>(Ry< aa՚曮E.y鑸I3#^nXEB.g%~tIzr\oW VMrW\n;ytNHRɳ1X#Cz]b)8'KgһʆՀSH1x0VQo)O (gfT2-[#țBc[_nVBo`MjF&KWo~:(Cf^9~J$ŸXKV$tg3vLhy8i}0 ԉ?02f PO:N&|'_m (ʙ߸$~3vwIyh(=|$ݘQ\Z,^S-s.ơ.Q$_)JIWp Șy(_j9?SL@^,1ZQi $px5~i7\QT*0-03q>沠^Jl<(aS = w9Oz zQ7j_T(_ڗ> .UʐFsgگ)T1 wF s_(boa$1Ǘ;9bw֍⫫emԹ䵎2FtD٦Lٚx0&GVvr~%TD2&TRM8}J|>>Ƭlh r"2.JObK;w6ŇS$X;+sOzya>{t00%6e?Gˋڝ*4Wl?DoO'vvI 3b {[BBp iwH:q;Ο's"ۻ;w[d+H!pR\h[l:,|B?µyjY.r ݤc>⦪y\|s>RP2𕬔X9l@ ! }W>ن?$iNZwa%/ 螹WFA"Q+|a{D 8NNk|'_[f;_~J4(Ns-Y/,[UY9:raى-&#zhZ?2GfM۱&K%̤LpJrG,@mf[:'*u6[=J,ʓ7*[I( Vn: v`LnA 8 !p[gM$Jhf[zR$wID{e]~vUZx?_ AZ7o1(uBmGk5YAH~|#ۂXKpj1/ܧ޶ǣ[/lddᣖ"Җ/ٻFRS ;N!Q=A{6h"ŽU|C*VV;< nPuJ$wۺo;V]ђet !.i JVSoe+fejJF.oah>CmnJZ:𒶩n2oB5)W̪^AtB=(g}璦<8T/@gJ#n;5ïU(]),2qb҆h|FO& N~8VFB5ki/C?ʲj q  n]g1yo_wX@"*zfF{N#0C8 'O|Og uR%pZ.,b! +ڸ"6'Sh!/d)_}ꆊ okq'+Lr O\ xm&Йz4SpKOͅ%}P;J`A!jz|I(YKOF~X8Y6^8匢ZJ_#sq` =XAԢغΗ>sfWi' sK\Ư2Hq+(XGKk>I[c. [d0`Q: V*EAH<)*H)>Md/ zD>GNٶe:Ք{EyXzh6];jEo:l@)9XcʱVLL/R(g" Qbp'}V19j +~yC0tJLX_z=$gq2Cy3"zQwckX+W+6}!,$&@}_{Զ,&",KTJ" \̡$Ҿ2 yzJK>\8IʫH[:1.d'A#0 q#UrYa/` zSDgOB0E!^SMLA)Zt8V 6? 1ŷ9}I6<}_$Y"Ck.gM.!֞-qznwZ.ƭd23^$}al% ~FU¹I2'%DH:YYZq]Be(ȔIJX:tpE%N=?l|w">䀙X;{W1W!E 1B/Β+T:aH0o3f'ȳ+7mm"x|BCCy`t1ϥ.c QA,jI ?RbWfu?X~Wm^}sl=C.6D֬ ʕ*H~EOꚑ2 s>mh45`Bˈayʧ/!)|+P YpC)5}F̜ۚ{0rOՐ 9#(r_n>"#.KF_ץ.3,cҫ'k4: FԾyQ_)(D?]%o뀙ڢr rUEQ+a|ILxZ}}U{o5.&[\Te1TLSx>J1/E4DvA#&o/(X]M%*륱 k]l ֊b>TG&K\ՠ>ؗ0q2LK`4Rl ^Hr%E5՚~L=Ip1@H:4p¼Wp9m# "MjS_vmK#$w"꬚eTls+#7KxD-z D4%El{ss\_[FLԳjd4lr~+/: %/lXSKeke7#EGs\`[ė᦬=] v~buyMkΨRMUu[irɔWЂhPҴiƌY/ 2p(?hT,.PCbL(/fr=Cњdʚt% p_ȥ/„UcDvvmʨR5?fbjʑT`nru1q N2D1A{"M uA,]6={{O _ pI˂څ~fh~-ۅ&Y9ٛLͻG,\op%!{??N;sŷLdA>I NSړ)Ѕ $F|w´T{*:$V"lփ>i7 =J=}E=[FC[GPUGKuh(ШMִ^X *=W%P ]7S=gzU[rQdTuNc}POK&|7&+DrOA;aip*V)bL#" j全-4@LlTtr;mYmO8;lДV lO tw\L JkZ§Gfe0wh &Q\Wau6n]Mn{t,F)>H8.Ì3;nCAI>Nٖ׮ڔ^~3mO:}=q@PG";8B %JF-,io1pou/&ZӳȉjeJzk%ݨ{0jXC4OdG2g?ڝR=֋i3[J UI$saK&hE C#$(:*Q6hm.'f T2SabsiI1ŭ̻iĐB_34ͿH:gb-1ژٗ,d<#VgQXM[ 8p7t"It򖀗cEn6 @`;_R5lv𗮞'( Nd'"Gn6AL,Y KP3r\Tۚ,]zd3>iAn(cjrkP%1x ifl)/3(5~0lW:VUY mj =EM.fW,x2uN7>#ELxgaLQ} pth8vNQ\YGx7Gn/^^g DRa.WťǥU(/ApT?)Ǘ|CnRv zM8s5 X$CIwh&U챃WDzBZj$:PL~viu gfy'&`tzEECz_Kz_`'ӫ}Jf̺m-k')3TLj1M w+5vCt|/v+3f͂i/ݼ$Woݚlk:CDnF\ߕlwf}YD@bw?7*gJΊ#\"^9Cu@\d %oI΂ti6UxQ2OK8L-6 0e6'%-*j&>V/iz"b9^v] qǪނa {ŦWҞ QkzYBv$S}|G P5K=n(Š4hԮFmSk%0 Lvr=1G#kuu'Lbyϩl`HD%'H6|@*1ch,ϑj5ueɗW*Cʾho pJ!|?^p;fVĚEV8W y@ dtv0؀gopHN=vǗKN)GY C %~r2>?mJ6 $0;yC9LЧb%;fꊽU{_XP* ʅ/{C<Բ||He8HL}PRUCyK "IuTſ9VK(l#e]Ŷ^_s~XFg\+OOY(how]61W͸b91z%X/ZRxJcJˁ;tZ ѐ 8[ËU~&&hA1*f厖=,נ )Ob@p3Z[y06.1W^Z#,\_^UmQb5YUجTbB*%㭇iJD dz)e\aZB t_9/7*v%- mV{OC=:_1f}`l6GqR&RC" nҼ6$*9s ҙ),j?` ʂDTmpgkk4^U[KijBFW:,3aک,ʴ-w TEuX_@WoG [a1=(FJv4lƴ. o'1(S=*|%BG}Y WSPo[\plFƃ!QITnA:7f ሂMs$p׈%hv v aպɮ!Zu3,nm14E@ * [LΦZ.y4N 2õ<0Iq\#Uf@}Iʠ*5kQ2 Ll0"d|.Z~"z~E;y:#y&7~k-/Y U\99mJHsܬ>H`ƝӸnT*%4f8$r =c7ƸASỽSYh@Q0`]'o#8=2y# pa;8LGW Ԛ^QSվ%xSHȧ=l| e~`d.Բmtٔj5pMy)vZttJ^R>+t6*9v&5 lb>[y/Xs"&P+{*?0c ى5x]t c[#J,MU{t?5 cphAk>P+Ch;R@^X=q B`lRt2Z+G5^,K_nÔYuvHg 2Jaۗ*3/bn/ms_?d|.J#γI=9k =8[ŠCOo)|Lvⅱc!${ Pkɭd!n*YГr$Hip"TduBDA37 eBhaaV"*v`PJH,Psxpw"9 YN,50F]뵟u?gA.E=Ff4H~1IRgXWSyN3iH+uHt܋$*wa=L9 w,7~U cA!@nzl)AE=&YܡՅs^!;7+5Pg5RW+AZ>^M[(̴=XJIVw^=cggq08Vo\̧P{J=:S]u9n)q\ XlVC]'DɧhA=ȈW+sΒǚ6=Y\j$a2Dﳸ9`&kv3K;,C>(h[}zCbK9,(O7R K<^%w(^}A/~I=q .{\}芳|PGP &b gk{L޺U&̏4ٽD\l~e-@W"}$)rKt w҈,>x1TOd1Qdԉi7O)6/όAF*F 8f~SnPWj221E{"^fu=i%v2ϓh}ݜuE䱨N2\7tg˺kJhҚ6Y'eM()5ʋ4'q`S"KМ^L m۠SQٚ 9Hjq]fViNjKC-DZ ́(Wad$ӟ_y%mADGrd(퓑Z "Ջz%&+ uYRc{=g' u-rC慵ur\OՒeyAY lWw~"WgsH!ytMnY| y%P BDk5ٰxkV geHnտTF`.|6 bn ZYmTiFr?yv_i^{$8R_vY_<!؆!> 2dt@وBr[ڗQ +hPgSZRP7nIL- LƉ&n8w @%?|ǹ/@>5GkS'Q] X^~JΚh hs{QThM6c$OU54jJ@N%G92%Epp* ~eir}Y=h5 +6KsPm@.$Ha{x! #`ݮ= E8]P˨< QƻUwϾ 3%)}:t:)ppg3>-c,%BR3Kw~p XyhoQ1P $6)GYK-jPEt13mpi &tgIbvNx˖9"(BH,d ySZ/IJ]4fjXd^ge "]w 0G$2ַ߰v_JXcHU}0@ES6^ 2#sːf2i0" 0c E`HB=8y,[٥u-N+x fh@%pȶH Nr@tSug=C$:6~`ljR`[;>2J}jV<9i1΢-`!gwt ڳ Xf0z_z_-F}p?s9/L<nSR F$H pՂR8Ӊ'J \M*+mFL8#4Y3?q,j,/_I]uHLvHjc5a^8>\ 9n CSk-3|. ! J/G:1 Mb>o{@Oy1KI{2$@ .H 3 WFNg'RQ%!\®}} vmiXnNʘ"~gv-0ךxT{JkĬ_dnafXU"}ˑU_4rze^aY*~T< oOףio%ts]Mz+bA3+\j£jm=}2vg|$zHy &sfG0lJ%Y2+wmihd6ZqLj"8jW257daLK08tenCC@;M6p92XFjJލDtΕ#?h^$7iڄ#4yfZ7?W8-۸l( P\MrG.0}I%+;V8rjHwcg4f_]@ \BbR(Z[S12֪$ J׎ZkwFC!(~0ΏN~YZCk݇6tt+=n(Ԏ0R#K6{4ŋmhKNҖܠWCB\":hԇ 0GW*錅o{?m\c4UgI,ܯZi?qgT8\c&y54fggX$`QENTz\PO^ܙ,HAF/QSLmC;b\9k@(8y,}UsaWt-tb /~#'PL6PNKY 7Gb6Ocu9J4U[H|AՐ+0}փgPT* n&zN.kL@iYsn<3 ,Zu Wh6< ['Lӑ!`(v: z0z IR~pkFYmE+ʐHmON1ĶZzLO2kt3 peP82Y#F*I<^(2aceNr; IIB ^[~p{kєYQ)RC4$SF͛د?uUz]z?CBT@#lӼ#IRKಫ~&EF0LhW/XԪK"U:0ѺelO˛,rpܭ1+v/igJ)c%NH0wJJnQ0&苾b+!ʖ>4810 siIpW!XfҝX!vl(J5G%kS2᳞6Oa\j˰cxcv_Ur%ٔ8F@QGxˑp~I!Z'bh `2{{Qz7\A&119Q7Bµdߚ̌+vpZ PP*l2[Zd\v$o: L$:[ @[t)|ÛaNyu9#ю,8BFh;R>]u]jwxxjGC:obQڲ9iu:}6k3,C%[:8eA6S7GCF`{nWaL}4}ni7Bmۚ;Tc15gEqݪôTގ4$B.Ėefy>4=3>0[⾋TgU36CzZ׼9fm uma4#&ϖBݬJ20nŻ9\\[p#<*]KӘtGSD[ze{j#^?o?WEuu,\x+QQ^b_3n";iNY FJgrBpx"ƃ!+Xziu.m[eaNLO%~운IyҘ@V_Ld H"Z%q|\sl4{VlOپYi9JAB%8IoT޹PwH 5[\渉* gQfhƜD Xwo?~v̊#-ӽTd/xq&JSOg G3u[1|Ept[1M}7x]Zi_vƃdtR돸cTuu-X ITS_ at^RI zcl`kh9F40X6M`kn9=-wrq+wзoly'UO1lr}Ղo-<*:}%/ w@)aajɁ p ~x /2 uqH.[+#"eY?͝?)|t݄%UQbk!_ y RH4!*#N?<-u-h%Z+o2ИMĢqs&|M%֨4{퀎^j`ۙŔ͸FAZP޵os Linp>X Ei jȓ2_'bz ˥I!K?)qؾS!ƍ\K4jptYߌ￑Jrߥ%YYH0o.JZ̺ 21hj͊ شWsI{ .VClbXsh!`ol{P}DNE1c "b"֪UeB!b!2"SLmưx}_6+aPdPkd4O8VAdlm䛩tQoRY*\[6h^<3Ah ъ}!;7`zTJþgdw:8r2Y¾26nRg.~Յx0g0%XΊ'  F(ϚX+c1`\'*[*ڔlFd&d1P<$W q(S=0Ⱦ|Lǣ)CovHvƭSmV0,5pS,es;cC`^/P8 vK~M&:(6w,8Ʌ(ޑu 2(zְ8qT.2hk'+݋> wGeJNHbL5+ LedFTGؤe⏽^VK18h{GRbBZ)k?HUB LF)k} 3cS|1Lh_6᝾g֖ﰺL(P6d2z{󌅒3D8Rv0 D2cՔ%x&@G&ޱ )Iِr(}ް+L 0֯g'F^Bpn詰blr_ Dܛ<׫ѫ9:x!н°wֽtqzdQN*KMiL1$@oUb续 P6|L:˃WǮBZ}-8 /g!݇u改ګn75t슲Jhƫ$ +?"ts*C{}ˊ 0¤ecT G.b;, Qlm02ȝ2gHUIANO8"JIt;$BĵVLk'|Z*!)8$fbُl0 Ѵ®gM8xWx|BNj`YM 5":;ex7 ~N86_^G| 6R kiOڹCVӛw{*,g@|Ы? x3WH,:MⰎ[@1w9dOnB~17z&OѕQ69QMlb+Ӄ7۴?{Pcy̽/cwېws)ϵhXCIs$$@c; xhɉEA6dmК}.Q. 1xA6ہX~F .,," RE8'ɸ)GN^'4 Gf6*]@1x~zw7<\ zbBS zS^RX(Ju~g ! G lVu¢ItL.*6%m$>:,)-O| AHAwt~L^zrFYZ4j_165ijN%q50p"Jڒ(:I'w8*,"/y}AGQKlRy@bʌ8H/H )xcp(a961)fc1@.8$80Au9hKNmZyR1"A., kţErq>߁*ebѐ[*wZAk>їgqٺ՞H}1^{ >z4rXϘ ɀӄKA"hK;|#!Br@Wȟs bg.!;Af@X=/^|}s w[Vi_h_%(,ؑuThslܑ劜E"@u$hIn>TxIݙ4<בk# E48RB:N NA7 thYYQԉ_fH+p&*WwHmHFI ȠxP,"K0.a!Lq~H ]:\{+u޺:RUyC1-T+ FDqxҬк%{#M^h42`[Uso4hXj gRv(u*Wj:}\}K@&Ls,\:^}g݈wf A&˫-Uzzn]Z ?='7mhNS)V7ҭLV;5 ;6O[7Io:H饨#CtGt-7o_j{& bJsQ9ʄ `_n\-TɆ"\Ӕ]B&! I4EgO5 ɰҦ$hR%FyH6EGĔ TdY#m{Sa:(4":w;8Ѿw44(]jZ8e}Jkjڗ:#@²rH6%acjm}wP7c?Nϱ<;hUYD${+W&$-MؖLŠ&px?)쎲ގRI-?K*jNsSbJ)+B"<[E9O=yU}ȉ5"O F9oC p#þʬ̸p!peKRekFOr K,{icL7~ԓj >ͤAhQ9+_:Gb'NE玀lB3ZTp. Nc{ND[DLT$;B˅l缼'c=$trS%,ũNb?m;`H&AJed٥, J R{_g)'qϭ)S/L-$_NWdMHo3;lc:VNAVeb9r혹wⶐr,/ԗis7Q)W^pLR_9=CE7+8uWuX%uapg,,&)W2G֖NX*Ԕ4 ش9F6}mKewF|CMw/?,"27yeΈ[笺m[UD]׆i+0"VeC@sR}.qz)Gf)`Q:@#w_v<%wN\)P g<}ʭԷXWdLOQ.i{W;YFdѷ^Nu+ i(r9cL..,%^]<6pEKR_HظKvYk:IpÁ,8#z$]|K~:NʖxdA")t;#)p{WXE̋ySY~}ftUEgwsس(y4;1NδP6Ԥ3 ×1QZxlkBvRL;m&MY3sqv"bT3I3-n uqcL ˁ-g; :О(tF؋ c'5MuKU$˯MGo4BCO6YL(K`/X9s/yíuȬخnwH]sP٤3ߍO=Pd=o`<^l,ֹ u̝/||aY}Y}XCK `l 4WτEg3{o@{ .΀}gT7F +d9|ܮM!,i3m@DH{usZ ܕ#E@`9 n'ZN}5̞S¤J3# KAע ,&@za۴ yXӋsA(5˛os]Mft@ q䇏λDN 8e?r~إ֬dȬbB<--=i$K(1*}W-e}-p}:՘HgЕXN\;]h}.O@HGO}E,^zFO K\+//{ \Cn d܊\.Y)(,t@jљq$+f3'YB ⬨ͱ53t4.JiͣΥX3&셰,V FU%kp a1!"V%8RvMNzOz<C}vp@u@+\%GF{k7MGKE@'jdqLnm3븿\ςQ.} "߳ednGHr2@[pWR"V aeD /m]ݟTLլJƏC9< $8dko[mxN?Z[mǹSgbYK6 hwÜuDv81bF ;;6ɆO/,qZ-9s8,@tgYZ019ba91e53f6e3aa5c41cbd26c7ed2aecad3951b 0271c312c521be4e7e246b14fb2f615afec2e650 0541b5559a089d3237d7b9f900f581530bbed23c 0d7b9687567081fa309a01ed277eff22bb9057a8 0dc3aa164c57aa09b9c88ffc0e8fcc2c690f20f3 14626b439ab583b4637a9c0af4188b7cd6eceb38 194f201eff447c986a020e6d144b709875c3e755 1b82e829f446fba63a3fca6a2a7a703ffc348ff2 1e3e6c7f1d4da7b43f3349346e1c66a9f8421065 211bba7cb8c935236ec0e345fedf6d6819f44187 2728ffa8194fe9afab344d37ec9f610877a31680 29a2697588b95f2bd64dc34acfb8619173ebe02f 365c8caabc302fed3ff9ee8febcbe644f4374d8d 389a3710aad0802ffe000804ccef85c27e7fda58 3fb8967b43639d4ceecad41f67bb3acc82980ad7 440878ca6799b6d283fd8db3f2f099f7dc240405 479706d7608e6fd92a5457f0c8901cd1d5132bb1 4868c60cc9a38c6dd54c906b398ba6f506508e35 48a0c17be2460248567820d08bac964fe2ea0bdb 4923965c750e810722b90045bc20f7498fdc5d8d 4b913409a9844cf9411f8181b2557fc300895ee3 4c9503414b3f62a492bc79aa9dca9244191e6269 4e8ceaa35e3e959e7944bf93dc054bde4f6f20c1 59c83a30c81aa961bf42e9dfc060fcb09877a25c 6c9b22d450ab29d38ca0844bdb4a891d6134fcb2 7ebd8c939b6ef34a72bee209000472f8a3d014cf 83c65e1fbba8db83a87c088079dc69849ec9d821 8d50cda3d9b7107bd63092e12948f91afb5bc5f3 995f8eab5d3e36b2e4af870bad76f96f9cdc494e 9ea6cbdf40547a8e4c1aa74603bd4e67b5136570 a13771694d398fbbc62f42a515cfe83502dbcbc3 b33ef40bf715dd1395f9c3b765f97ff00f588f60 b699208cb07be2c6fe469afbfb915c70cb65f38c c2b256f209d18fb78818ee60ebfe1ff13294fc9b c51aa4b27da6d6dfeb47a20cbe58836cf3d25a8b c53506a7dcd93fb440f1e92f1b53e0a1fc342179 d27a6a07ed173eff356772517e5c0c762337d7c6 e527a6a656e3bed29db6ac70d49fcf9e0a5b61e2 e5dff27fc80c2f1d54eaa7fbd9570ef0a4f19421 e925e55e9b48813dd04f8edb4526c348c6397946 f2158a61fdf6d3f2dce77d56344a5100f417da0e f45ffcde12d884cf07cb6ac925da4d42775c3456 f6bb88521115dcb4dbb525490caf3fa89564a77d f90867503e261262de94495be98857e11b694c15 fddad9a6043469746c9df68c899c6d620c31003c8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 d5f3f8441152078a178e0d5790fe06acc28020780aad5f7f84d661279f1fe1ade4d6d4e4ad077692