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 W#$l oS]HRB-Slicing:threads=2elapsed=531.560cpu=959.876gc=32.284factor=1.817zXZִF! H]ŗXf1-/6vRZ;RsTct.{oۯcZ %y2Ķ#~T˪%]IuV+6h4 8Q44~ϰ[:vQKv- c7_E#>נw \̼Z9PLıPύnH'[NԣrيAMS~\Oݺhdҥ%8r\^%7^e_(LDzIoQ)TS;7+DH˛ qڐx˚1hE$V Q F^,9C JsPz: RN;!~ӭjt'97 K7MCꥍ4݀:$0!΍ ҳSGw!1v<1.{ps%[7X*Cc ub,Mb摍1ؕ+a6[ (Q3n?z"٘ ^C]~@oBVYm ށj>;H]|aɰl êE`nh,dL; UgqTꂪsg/SYwH1Ed%fxs:.J7-qreh"('Y`U2,lao*P?f>Tvjo׎}oasZ8MGU9Bmz~ںhOFovI15wb{U~8ѩbgLNI͊@1{ZוO-.Yc;Mz3@l&ThMGDNBjU]|T_|OI`]fr==5ݘgRc@YܥZ]dzbkd18RTI-C[8Y}r|6[jF DXS.u[d3Gc+wWKqAVDDE. (=I! Z11J䒫owuZNݵbsb*B=|+Tj/GiH6&ޭd)3823E6'"uۤyBa*VQ 0!0B->y:׭9Zգ(A?pͷ\h[ UuwFod~eZiko@rAG'%{y}BwI)Im!3갃B0f kK|Po"hr=4-9EjЋ"^#m w@B DyG+.-w8EkjZ(4TJ)ԞK.2)$WGT p%~1PmJ SX՜4؃&XQ3E {$jf޾c(ѭa GTQKdys@ qX LwGmCN 5&dX.yS/Do=fA8dfU&$( !;õ/GIO_v7F_RnE1J},d>gEri=r ƺ:LhƠRjh|E"H9S 92>9dzXПW-H|B 77)1IM6cF^`O9؏J$꼴a*_#T@x <}ZX9\8 HAuɘZj͆t/ $q[<8b|tkJ7%.:c붩 <̰c7>bzIϹ2R?qjs؅;ayG$4=~w_Sf I8>9{)ߎ PKQG-Yk92n:󡃩bUa5rKd2ɳcY+nSƛKu =!Gm7CVIAi!J!d̪;7,Q6,WZh(̃qme,k* áLnA`nK;ՖB> -U:xbCzck;lwPkΏfhQ_ ZU(a 6*X]Ψmy}3R)smvgjXTTᥙaLd!c jW4*H5?cw Xkւٷ 71(.6K3_܁,42$Ȓ2:!(^ # HRB-Slicingpi2j91aF {*'RB杖;GD5 ed ~^q ]]* QW.Nj)WFrܹܮ#Pђj\~?K%0Vj6M\AAz Nǧ|У9[ %+`'O6%P"7kj]If$#'e֫N"k 9?\3e31E 9>1h}8[h> 8 {mѵ;.(8)6(I2T h.7hjAjwܣG;;GxɆ} zX[Z|d !nʗ(@b,}H >6JBi_FMM `2Rc7όxx:|PӒsTx@I~w;6* n,D? b2/mG >e] E%I3p"QG$Җyi נ2ٮ2xnCxhjHZch|u8#ɖ#-BHlhX/U=b=7=}L(^DUьx#OKi 1sL`Nvs?o&0HblW~m)g}HHb-nfS8=wfH+N;/cJhCÕAvyrUߟe;=|ui8]i!PD >YgE&̛/ʩ=Eg>rÈ8a6!_/'?BO9Mrԏ&xi(A Q9sȳR릇H9CQ?=b\q@Aيo4=%Br}Pnl\dNti] /A+$0_TSB)r)(q:.xB WM?<ٙw=sk''蘆1#5 ^C#Rc@e ]1nPDH!L X=:x8 #cv Yiqrĕʲ9)'e{ a[V4 C-\u}¦ϝ(h{]iJ-uOv>#vYRK}"2ȸ0<6sX`SK j=>犬a։jo/22 mcFeL{/ҁ\d_>iLt~GJ?۵O7%8GTsZcbi mK(H1`[Ҏ*-Fk XT5jWR iMiA* bojd/VJQwIhpR[ct(~2{["C1 yDfci6@-B&褵"|,ꓱ𕊴p1.о5[TZr#o^tnL^|֋ĉa+V,yv@ckd'x,.f Yg t<)ܸ -SSH1hG\ QL?6ꎶ-/ʚE:@Ҕ{m&LF>yWjo7>6igSo@Ix}|f12zT' o;tVFv:b ~ݱqwun1gYZ7zXZִF! S^o]ŗXi%6yz9K@9F{R;;O$Ufz5"]J*TGCDstc~FfDۯ_.YC"iYڭ1m4a܎rl="[SZ`N;A+:nl&(ZqTeA (}uYgr"1'O6MKwGJ3WIu4\s gH1)lg01INh@@ Iߖ 9ma_Uz4X# Ak|K_ PzS=WL@*@=Ck&ze|*3wm#E'"L!{tCW6ɮdhJFt2N,0\EH7Ohj!G1$O5sSc͎ TP{`kOcK}]lE>0/]TeoUI)l?Ӊ>glo脓8ع[DzN+'T'?x`[Q ߿A|+!&YR%R-A6:Hl?aTm@gJh>4v+4ikSœNK[̮Ϳ,ēOu*#Nۼqg<ƺڐΨqdW%xsjZ;J|"mB':~Y"CK"SD1B(le8l@ymJ -zաN?ijLe&<߳LٔKAЃ;q9N0S7=A2g.7f~=mzaE=U. Sӹ?ŊD|>T)w]1fZaOy$G o%Dxn|R/yQwPCȬ\"K3@{h7Dl5o?*wn¼NW@wc$C#ׂp3Zīr`٢$_T8*CP=6}Q*LJ.¥ڽw>4@ 0#)|)N8450+IJ[sjǘoӔTĶ Tc 90?ZM=/ ^dGa F,Js?C7t`= c?}I].^H"YN fӋT}M>Rwz|_]⁀Wl0#ʊqb=uvqgme^eD-W}Rd7điv9 hdڛEz.zhY4T):+~cd)a0bŨ:~PKZ&*#)!VNb>_1>$I;XO@?jQ05EۖR9^ΆU!3U8 D5 ̄<ړjL,єPPF  GQaӰ&')[3^L"$BNS@ kM% QUѣ Yj<zy 1kcm!Xȟ %.f~F{R a;%#ia2"zH1hv |K;X*fCu\\ ި4$V{`Da4Jv?ob U;ggz˭)*R,@xgW ά.av@vOFu25niR+IJ-\6Ѭ/>gM>(5U 9<(8!"@lSlxLxjE<7{*\b0ek\?R͑X fcJ}?X (iP/Hj%ٰ?uAcsa(!eq҉/$8%_,;FlQZ?RAh+ +U_n/*sfh'Sbϻxh&_t  +6iÑu;fP&@nZ,NqAAU:$5؜H(MqqQ)k >BDռSLw4Jx!lXCϟ&(P M*fH趿Vmy֟$UCr8z׃& gN m؟^Mcz~ܜב'lgxU)[h/$-ި F^#quHv  .yUoH,dli0 u[mNT}϶@Y$PP')pQ&H+_!m<-@W̎.;r/Yy= tϞR8ߋ j%*Y;4xxg!Vx~cU(Gp\f=-4| ,' &J`snw5_ XRJcXLXbܑ_?+b$*\w:|ȾKK oN<Vͯ-㝮hi6u@ĊpKNejvrihO,qxR CH&tmFwבYHIXs_)׵e_y%cIFa[|ojX]icᰩS/Ϝ$>iΖ&C灠|4oF/f0̃9dUXpO?)6SixOU[hhІJ}ԉIC8aB۱@LleVOY{8В,@=ZInP1V-&RL642A=%Uiy&8C^9!4;.Q$>}Ԛ/"nho91%3Y} _`n8:(CEvf@zw"%v@81;h絋kQP{b+f3C*nKMgt%%z.u!GLrKItK=:$gZ{Vˈh>,V? u`եO\}EoƒuOAtmyiy9ʬ">\4!Nx*@\ADV[l3av<,cR^)[Ě>G[]/Ltw@¬}'<9杩J2^HFX :UTd8OGAdWrďdAJ\z̈GưfK3;HɌ !;0HBy2Gn@񛹍 3_O sE({Ömtk۵?ضݚ m]!qTAŏNo2]@74 _bT8!S 7fHTT ظ*xةJ/#w>.X}\[ϭ,twh$@RҚ >˄xwPw8Cd̳'Q%G5pLd~3R]%7Lvm(]P`^ϧ0.k-7z=_Hٙ*0dD0MU/DgxCA8`APt~9t/m#9םaH*X΀~9dJ%Dvp5?g^bv`rfg%ky p-HcdEKɋI T[+_- ]JInZ+'`af~DsIo&+p@cFL.gʋ*!ugnS.c$OL+/|O-̚h'D2/4Rp -+f`口"U53ux;y.ABb+ۓ)TŕSL<&2iO!΂ÎOS!Be?[۾ңMi `mdS#H%Ò9n\`Rwpgo ڶ`܄\Z υ")7dVCk:W"f׌T1*ؒ0 lh`~([u>:EU*XȷvoiHyMkq䇊sy[ $䥮\^eł avq_A龿ۓ6Y\ cDԼT(sB"ώܞn݌}v1m8M{{g~x5zP^!mWM Gu`^xDK77_z_ty )lT_If_L z:'r5P *׆nowwzafIl\~Mpqak>ѿR&̭=qCuu߫~>sA3lDxUg3(.Ԛ7uX׻+N ?DƤj%Sbӳ83stkS.&A? c~?Yd")/Ղ."RSf D媽^{DE@a`нX]7 L~ V30[mOeqa\m,)Mw;+FoKFGx"%bȈjҍ͞k;I|X;+vyW.h,e ["ڑlȣ8BSO.o3 /j"cl>vD$:xUXbQi3o %K~偂Z2JNU ?>f2#w6v NlԜ`!3X0Asgr=&.IG| EᲤbX:9OR a@p9BP (+ݓ!s<9,W','LBԜ 0j5O+j9Ӹa IÜFR4t_CX4g;کSey]W ݷ<TU- <GunCiEw*kQ-rYCe.sK Ů ץA9&xf=(,uȖ] Kpg0,REZwR T4M,bBY 7bk^;8tAЀaqR}7X?wa^+oNJƚtLjBzˮECBE" a{1LsހV?48+c K| 4l )+f\BYs=K7FзhIHm\cI"E r7w Ϛ[1ٿ-a `c+Ύ\'+Y#O4+3p4mXlMz'R> j  tdl:zlѿu3XDW|uM`,%'Ǵ6#p*ߗ5O'h %HLN\O>'Ղ mM )M4-]33ZRBb:!,ՎƖv/3F1 V Y; 򲕀 $.+a9y-TE,wGП++F6HMTHhPH~O5/m9WX ZEݧ:1L[J ТZ= k /εE j*zҹteZ$AM f \srwiPLĊ MtXEe BB^LpJCP}9P`T[⩘>Ϊjo1 Ù7e ~E&sg:_TzHft&(7VГbkĎs]87Nj:$#SG[6i]j3DyI~bmwrDN;7}qXʢ-C&#]& S;x[ڙBٲc<}q\mK. S!s[D`έbkQ-:#˷DVczRY#?LO !֭)T]zK0~Yb'б|eZ3~h{+.įQ=Z{uEgθs {< o#' k[ +- }t5z߬ 0m'{ɛ\i0Ӿg t(c_CcX}aj[wmu*s~aS= A\LxwJlQA0(X{˒5si"ܡӧ5ʦ/uӍUz;1ٱM iWoQ¨݂ϾhjfzA{tFϝ*;2+E+찠o7u ſ4@o܇GsnEuH\~3?{]h 0Hҭu XNyi MLD),&7+ gL"ƀ\uqrl`g{ =ep؝ۥ)r:x:`!CGGl}k֯ è%(% r)?I?Y'"=K)kZ6pGN5'<ݮxa,[Y;Qk:Q:9EHNJ K߸~2 Տ ~XɆfGK$Fㄖ R ~^1ro ?}"Gh#tXGɁsLu:_bN0* Vԑ/H͖53P g|\Ca(d"ɔ#Au)X?cH({g+:@nGSyɇj؃Hf2AjBx46t`yA# ݵS%1\҈:t;dQ]QJʸijolM?`@DҠT#.Ei)j*-?:~T7Z>갂)za1S`g`-#c+*9yXHjhduAG.yy.6H.po I"Rw_9\!ֈE)W~4C|g'_JLm@xoG>Pܪ7ם_oO.Ţ9[Z rz%fE%NK Ņ[`5Z&7aIw˪,Z]ʘF)uFh. 5NՍ(u!υ5Iz:yV'(D*o\OKY? mZ8i t-"Vt3^c6QTV](aWuŪus1CBmgGtdI[@V)"l=е[6Si2Ȝ/a¾i `l܉B,Si܅zs6h%:Hi^t$.·1sFLѯ((E,]n3=Ny͚%i,7̈́D4Wi @.,P4Tk4rOpJse-+pkvaV A6cI 9DP a\]&i ͨd$Sqr' mh m(i':{03*| V_5~DŽeŰyDf&7as SFq2vču }D-iD'& F[x04[DV}3 S\Psp]K;[M4nچ I_j34Ʋ Τ LD&i)آw-HN2]VX:aq狶c@i}zw6o=²P 2͘c'W DQCZMI<_7KЁAbGb@|iYXX>Q{F,v(-v`{d$nbW X$+ p[W<:UQZ:e[K18+ι!B XdB8ºߞT G&yIO_5rlsN&dhU 75Rh鋁ⷜ+[͈|~R9/nz(7Y!'Bto|30Ď#19kWkx(aTs=|fDcz J?M\r=5' v ǝV_%i-u?0}QJx^@Jji [D0OX_TT[e{y#c8gcl4#?**_X(Ċ&t T܀q,6@Llŏ }9ew ;?vτؔҮb@,j+mF!*XKBIZ]3jΰ.V{z9Olavu3`O<og=l$4&qpDyx*=XZ-i+խQmni D0> R䳖|ŢNj@\u&I.&d;MQfmq >m%XpY7[BgT55ٍFL.gV ^H>.a@Pank$}Ǥ3ZW6zF4no(n xɐjlpsePȊL}Ltp)& wl'\)5v~aB̾׍[AxSI:χ-"]m(]v߲%#u'o=ZЌb 'ճjyٜԴz(Ԫ/̓2 *a'4^0s4#zیWn!h/-1+Lvv9v?t`LKUp/.I\b--!jYy1T> _A,)*W LQξW< Sp8E CXAt'Vd_(scRNDrUCk яK=<M_i30Mq!yI>pQ*+8⺏l 32fRt؎(u_cnEԫE%۵Vj[́ a1?L$u-!.^o= 4 \=l]-P~;LJTk#7d^!_0^7J a.~)e+n;*G:"\%DK07ˊlSj٠Ծ]&#"A*)4s[ub1O2=ǡ0vNZC΍3p(j&\̜Of\wk C;М6oL14Rq!jKv7!`Vzϛ:K8Ŗi>x N~5,2{,Dd-NaJͽh:^t.2$<{irCF#oU +Mn+Su;s/%6LQM·tDuE-eqOPȭQB.*3,u|\Ha-p;3σNkZ,aIo#3^/gVnpg9 y}I$}YWiUV4&g;?d@[aX=ҝު9yh?Zdb rWp =&W$SPNCN~vIb <|]IZ8;eĘDWnhuw\'$]eAJj}O\. 4-4Qyz@~r!*w3d,;xnkk4Ĭ߰!pWsf}I9wL&W255;pj,Bo)W9K+њ=fi-AZ?Bju9v}=(ZVH f.3(3"' !oC5“p$ދ\:E!{z7h80GgEeH~G'ȭۇr܈T4pTR t$0CҚӴ4% #%{a)8@!G$i XglLlJ 8R;mgznwB{3>y_fmnm?Jg*VL.`L GJʟ0|^\::xi+  Sdp;.(BT,iF8ŁyJ/ %>r& i4ײ $?OWV/VfϪC9^a\jZs|jȢ7HZ 51˪vgg z4lI 7F4"i #/-GLT^pFa{Ћ\S\kw2ߒ),3Iz(*ED~Vj2`2LL_@v/`>4O30;sɆa|eÖB`9|s<ߕ5GDyJ4UEDA|j6^2`1:uΛûBc@ǢPX`Yo --JJ<-խO@4QL$X-ά^{5Af(!`rTDY#3U#A!TCyk_$MG9t3lg9dG6]LfZ-W˗Uvݯ"2y֋^vx JXa+ ?N -y*Ja"GnѰXYpcoD"oUvm](t ]Jit} KbH+_̥Zc[ c}Q1>EHn5͕VM)lj 7jB<( |y"߹QpAN{t(Vq.UE$J*~_A_(O EӖ,heIjHo\$s^w|[ۡh}A8G 4[Hp-=m݈__\a/eܑ3MG+† L{򒺈b!27_k& 1Trr<%~bۢ+cE /75Ard:RbNr]ZH-TJՓd%vhE@ڲF_՚)PG #]k'wLMe@Q]}^ mxZo=,͋GvOVK^+GQ<)|F7ٰ(3$.DA׿+:_i lǧeN&% .no G'["G㢜S.Q+6DL\iփ^ "%쯍X"%4-_bu ~)d Z86ΦQzgiap׻4~ { nC^zxMBE̻ghDЃ9gy=u;w W@{ De,U,q`Qr=0Zn, XM\؋D-^Y6 hEUYY^|&@Bdn|jiC/Y;5^>p|$>z'm U m^x]qq1X{?14{[1"er;۫ -6jF4SÛq]i2rꭶVAvo`S c3hF`+$͊lSHxmQdy2,1I>LMJpUy[Pklu&Uoa J *敜< ;9T>S8O ęEٍ1dҎeAԁGR?I >{;v_surr փ޳(Gߡv0D&nq u%eEnHOqP^,;Unp)1,,+K8Άo, U*k#s}A_#*z a"+ '"pϦ6%O (t*UQVrܵ[6zATuF`Nݒ}Afb=zZV]]$qy؛`$,s>`a׫?;ݺ7ajWIj6EpZ%4 QZ?|.%*_Q]fq< sbT1zk?&73D FX%,a?[*{ 핷Y13}t2eA&as!Ge0x6]yh=kGҠj”;=u=ZF=댜_#I?Q>8]0ZEE^ ]lxI x*~LxqDGu4M@/Z[|~s\!QWO9Lw G{G6wX^f8qVM '0kT}^= Ǫ6d-bf:5"Wʋ|)V6UJJ2 Z:_AͲB|aR>>-hpIUMIRa ,Ҳ &mz & ?xQp\Ai`Զ2<`=ѣ+H xaǐ|9>Ȭ\nTsq_ɥh qXg_F33`QwoV{B%oz{U>%! nći:QjځhuD L y"><' 6@/r dV\MsWȲ#}${"t!5/?(&i= dU2 ]ᳲ^ 0k]ֳy|cgQO2oEn6}q[>Ͳl7vu+D@#EL" H,N/f$URt$پI 9E&p0Vs_dQ ['4b*h _qX!unG\< F7ŗi,U ӾOR*֭Psq/ [h:tvB*xCUxtKP(Uk`V7,횒qaoۓzqLuҼ""W|݆DK2\oS4aVįU(.cS0'2!v*ENGMYDO fDNSr\OR6݇;2fn Q!ɋ:>sT5ZG=ĉ  9L۫UsFŐ>78k|%'}< aR&128#䱞2||{"86z{৭PyՅAptv PPtObAQ?] B;6<įvfi2l]V/}Lw1ݠ)4l23 | ;d1ˁ'Zr09ur?c# ɥMގm$b7/+H>=G%y9(8zy έ}.Fɡ|EVu*)h;;vLYuh_ӻ*㡐V!J_'Lp/M̮6lC {+ox͝ebG"Pv:ՍF}\~.hY\ń?ŃsKdhM亮,)J0(wT~ܼ'{ZY%]CήaAZ22j p5hݒ] @/10q@1EAr4$1˯wj1- r!h 7]I|Xe"N 3*]^v< fQ/"Z:ۈ!m !32A<5(H ar-z_x8҃&,wQ\iHGWnL3V 6#iqI IKt-Z'f[%.0k鮌޷~ZeX6}с߭0aϽO:LÞZOa!\XeBvc{8r !9 0yxk1ٗ⋿6=M{5XbX6*7K Q ȧZC-?%<8ý {T4&ωȈh7yj\1V3V 1e{M1~SƁe0j5ɌtrOoz2?1umJiG;´QiUJK@'5>+RFkPB_ /$i>Yً~I Qr(P1h}#7rط^OK5o}eڴ99oԹ .QTpY[Fhf]nOHʍzXr.|-ʊ40*%Z?H5W5b)2S=DOS%8vmqJN͹XC9XK:OK#zRg%{@ B_˔AJeªs;4=Yn>g"Cqr`H/0a z . ~$ՇgU5O*!;@XS$[2yXN+]t%cRJKUMTm2Λ0uͲ#]m3fΨ.Ԏrig>}FTk{ ;wqowt=%q6w~,0:FGQgL48>R5 eDcI`<Y .X!ɕ(YT Ie];3m<5:n4VG;iJ} CRZ tzܧ(F a *(Ń$ZSBr<*[=E l9GGЂEf3p…ΰ׿V)YHR`dB)6͒fPxܧcAk];WrWv&$u-Aw I~ y3pP,"r-B( Yi9Zp뵢 ==C(veOR ~wڮqUrizdbY[oL,H!=^Z "EFV=vb_$I !L-hFՑe :\z#NT $] =֞gb[,C0K-:: <vkN3K霶ﳊ0t-c5so*8SP~HB)ix!ecn fp.K |j]K-mB5ppT^TLq)-|,O,iBq+0_}k(թQEvc;O#i1EeU-yYͱEv)F+]) P̛sYWqt9aezDEV&zT^ʢDئg溛ztу,qd#c.?z9g (`ѴƮi!:*a@s5tYrl [zg`k_kI}[=q߼[o4R3k=h”B]X o,8jC(ed!](C:9}"N5OVYJݮLT`|7 8ġq߰9UÑUan@;}(a)8BO-qk)W~I4 N<xurٹ[Ҭo+5ZzW`;G|µH֙+JU_hvAH|aNг eBn¦[+R[zsR h٭,BS[f&ꏣ.ef|j T4)|J`^GD\.PRbc]%5y-|\%vgpѐ`'JĈץůY\eCJа`OǷ별neӱ,A=" z$V8yқ:0*r;+}S~qiNV}f?6z‹ޮPwxFut8bۡ ;pZPy {ڈ FbW\0LKh0?NX'ZfJT}k6H}s` , KA"IF-SYFWnXub%Ǒ$XP7>*s  KIkJ'gx2xiu8D+f)x}C-#$>v/RkMwV/9#x%hUj$WtuFx%%c\!0fk]݃#aˏ`XgghSj㴺A\ f:*NP_xS:aFG[W *8e,  Tq ȴ'^L qJX>6 ۮOLP)|# f^?Z'> *R, ԡ-,*Zy9veo7}ΣR23&VsH^HM_2{f@s0jJ\#LI}Vԕv J/M.kX`UF<_^㊖3/~gЮs.0I URٟ_5UZ87;ԗJĀ_b%4$~L(嬃'~oӓ b7sre= A#K)֊W=7!ރ=+//2:tSv0`Lmyhcqqp*qLT3(x w@٧mgKF^-5; .IA#bN~vzK4].\iԎCYQ|ì--:]{c@ȧT+&Ls ?ZN#w@d0uS͸C_[\{/p߼2fƦp΃祢I&EjDOku;*Dx@2<`׶AajU:]/D)&h#^,aXiw~ާz[: z!ӵ~k7T(W6 /h!~ׁ:Qn=Ķ ֆPD J6}X":ԃW_hBo2tLtS1K^vPaXOL!S\a C&bSuT355 Aܮ-*a{Hm"V[hDKt3wy/W&+HGqE=PFcayD[5#hL"yF(!a87ZMCq*su( VQ2 e]gg;/R(AٰB!DS;0H@ES fY7 /h2e߅Y2D4a5.(sZԒ,eK]sRcnu YUclq,20RdoqgpZaߓ!Xn81jF-!m,GfM؍Fj:l DB ξGu}^(t._l_$,AlD$\D:Swxj-l PmeM|#}Լocw/ip?{$iF \L1] Xu,$=  1:?0!7 i= ?K ̒_L`lr /(:E@k3 lK@EU=X\Hpu;٘ۀo\KWue(zPEoU5<ĞzU[bq,]Ծ@] /Ը?47aU8j;4lp'Z*;Ez9^|B0|;= z F㑅l&as5z"^zK&QDi$z<贱}W 6>|Ks)͋6X1 $M e~>.;>Ժzoj}_۷4ᄠސgwY]X}čs;>`ey"o$0Ą^QD f>ۘ'iQgYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 46f16a5773b9d98207936e8b03d4c57fd6a9e0c8 513af589af52c683c28b030e58f615348f41b1da 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7b645a642e13d6016873db2e6d5e9e641b67baa4 7ca278385d91b9522f111489bf73c24635f76573 81187e9937d74b072225d40d1af42e19e9a8b3e0 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 f8a8632f691b22e7a69968931612c8f65b78774d f8b1180f075a1472f6404dd924617eb6039d52b4 ff6fceeee2cef000778dc32616369d237996ca43f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 ec6956638720b836fc06a3cb046308699545e1521545d6c2801116b0fe1a83733ef33a5d69801b6b