SQLite format 3@ 9- 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  #T$ oS]HRB-Slicing:threads=2elapsed=512.285cpu=961.972gc=29.592factor=1.887zXZִF! -td]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=Ƽ]|sp~ coL{t5<{ƙaR2Š[:QG:yľulҿ'dA[ř/ډ ^e=#c´^F##Je`揤l? Z # HRB-SlicingƝ[Oq,?B"Dިc|D9x6 !Of8,lUɆ[!G]-[3LIJyx.Κ>9p@09B-cѶ")?'Mq`Fӓ|2#!'2d2_4nnu~ 2A24퉎 k^^^YA/cWC }* I򬩓< ϲl *x(jJX)mDWhZQWkK ג)VLɞNɲ; *+Wǫ?,$sQ Y95͒^:E|24r fۋdD`^ie>DDB(.HPA1-.e"Cvh*x}ck:E n)n! ֳ o{yc.y~cDTm2 oS,K*j?V%у #>H0M<@ /\0& |sI=?]OIs۽HMPJ1Fb*wqB&"e=| b(HKǍŴۙ4lBeҙ銪BU%_ww Ng.M>";mIrN"va6rKO~[2?#i]N 5ۖ"хOXsɟ(E}8:A4 ܗāGOdxlNDRP-O.h.zmJJOyQ1ÖU*{'gs>B ]02aw띴W_B*dq_zYM%rWh7VeDf; A Yo"W+n!Yγn/~u 3)q0_?V+<.ErOSa2/ԡL7Ь,N&&;7;EAYc"l܍ͪ֟: 8ɀ #8~%.C<)↡XH<7aqoI?rygi{D&^voɀ}B|)[6/ӳж#{ 3MĐ ;vlAo0A aHmFB'I!%>z&m ~ٟ&&?ئи,6;)F,w Վ~ մ\h5_p"J85x'. Yg]l b.VXp^@MOU#N &kY&ZaUI2D6LbR PQ6ڐq ?!фwe4!-@{~F!S*K9Ɨ5qw)#&,tZ2(./I Ez;f},h.oZPx$TIN#WlRkdBPޯ1F8 -qw\gW,N. voCWSwgh9expq:g-:xk3%CMG63t*Og+[1}=!L'7o(l= -Q^"1~DBw D= hnzr~ >=[OP1-+e-ɦ rJL㝪 @<*-W;/f58G&~ηHPuDB9yLФu9 fWBSNuNo3@o^/ 32Ps@RmzH6JÄx*Jh߮,[7Z6;&9X?u|!%7w. NO m(NR䉍;W^ (~+޴hB$kl|=G ([H5+@ŨUOqB\S2N#t/sEא*\UaB-~~p VMJ78"-` K5sY;rKS=pǯ^|D( W} ug J ˄jHȟAsT$̮UgumLP(jSwD% lt{KaXÃO,]5Z%/+9\A/r$!^͙f.ሸ)vX C7#eZ Urɦv?H>5Y9Q/dV6,_$s(KVB5#FbӞyFy" =Yaδ'$|]T zEv& 6P* au:7@Д冼A.G$M7փ;H~"i#{\Mc)Bo^ C\H4z]"?tD^As Qұ Jk?GY!6<\,c ^"hIdQjθ,Z1iO[[t̄v"m4*4[y 4>oJwdڮ2e96 ''b$+&ڨ,H-U7M,e/X3,U)JPHQҋ0_uFH p2`ޢ?gqP7=x%Z}vAO)sj .6]/iy7Kš 1 =BZ~O1r @%T ADŢvU~!}&hs: \Ѳ.!`q_0+O0h$ "pnRE$4('ou1SǠ>YJt3~ʫN2`+SBHf4;pi慭puWoo-1JC M# J@Q~28HB%]&դlt' /`KC [Z`pQ:`0 &ER 5$1Qܶz!TS,_WM3$iGS?޸mV{^jHFNi95 P}5x;;9 + j!WWGT ${J16 P7TJ4.mRG%YvZbۻDEϝBTe}WA( b˃䴕I3*cۿE]<-q #lW=l̺󎑡l2목l =%YalMk5+#n|A[|\g)BkJ<%yP[^AC jJtKȻ1DJ|Db讽(BJe$Ԝ\`]H}mG[Ŀ_lLm dG~r$Z!=:(W]ُjDK.@ZrYw f@ͽ\Њ<. y@Ÿ=q[ru1Nc[sAy3Uqj3<g,'ؔ xy?[`>M}2u1& woRJ^&oO؏kT,iğ?,'rL}/4Y%ΘϚ V-~58qI@ܨ[q"7G2o鴝!L(Ppd[tuOV&$fD43DPL0>\tŸط;<=,n!O IC6JFyp\OwvTa [p Gdf穥zq{w)^:v$9({ѣ0}! ¬>pnJR3-}uOS}-l-=:`X: m); smH69Sa%y14>i/L<nDC L@El̈O-]Nmghց~TxlxErTq34ƈ~쿇§8,)8b I";yaֆlXcQS1MZ`al'mζsy@gR<=HovG|x4946&H:+$p2'ؐ \my"ler_ŀH['ƕ˻c(DRQZx2wG\;EnY>~9y"J Y?;*0ed$ Vk0.|RbŪ\cϸQZIU $-݉mu!zۇXIhQ&#Ð2қt ׇdcOXXJu_}3Ȩ<8?Rn5c;bZ00s;Z~ +( z, '5S^xY'&~ њ[D>ӶR̹鐼 wq-ܰ ؓ GTdH(?<7F/6\ |21:^8\E[<\Yk sӨޗ́ <C}'#MDZ*KNCYXdˆCm=  5(HC=U˥X{xJXg5`U@o,b:xmrySh S[G^^K>-ggLԴz} :ňoUrP ߱Ȭn*KϕTh CnƏUwub қk}SQW9l3M/.HD+8nHĻҵ5b돎ίSfdv֌A2 CoMe;^sK,@T)&~^AxL[I!9TT؆-A?,_~&>mZScgs(C@iƤtPO2"1): x{L騣$!CsZ \IJD%`\?w@k4ܪpT`f.!41g'|X0 ~q25X0l>Ś}tFxT\oIHg+.*Ls4ob-H1U=x]ȱpu{/BqDo06ۦKehVD٬^~QcrHDk1ť慉˂Wu&Pj'zFf kR"1Qi_%(bպqsf=6:g!)͖Sc"YلiK_>Ze7I@A 3-c1v. 7~؛yFv;fNL9vr$o͌lM|%ް rEer-[ zсtq=%aD9_1M AJiUl%|+ U2T{b' 'YP*|dƺ6i+0FE)Wy>pǦXYCy4dVz~C  YW6x40N1H 6P7lbFOJ(tѨK35.5dj-=8݈z#^XC tMY֞b MRƕ.龢YZq rX෡H:w±9Y i],ꗾ+hKtS jBNW*wwef3[(c^tIT`@!Z_$3_s(Jh0ٕ~Qy]nznhaG};uqoj@cH]q-_BJoĮq 脜F >xܪZ|yzsf`0Ѕ<\E{ D˼8*kjLiGa 0d&īiS`K*]ur !O t /$p*&qV+XNUzF.o5~޵cPL-} W'I@O0ι-M >ӓ"1E:A3d'e}b. ME[PUl׮IY?(1|Ԁ$гVHxNbl2f tQǜd7GqSwjiZjP'D ` A (AQuIC ~h/7Pbhfٷ;Wۭ-۽Wcf 3+xQ0*c]8eDlK@C6mj$'"xL(`-?xhN %@|HFY~ aOx*|إ]cQ0OM2Lad*ʷĮ UV :I`Zk%`+q~d zȹX#w~ˠz@`:@\*ޘpxve; fep+(]fOͥ|{D.Ƙ{: ^sgg7TwBm߈!\+=+^bĀV&/ tea %l/( M`&0{QApwϹZ̈0FfLjVd1;7 /turmfхWV| F|E:®G#"&ظi" 젢hܗR!?=N="`W~ф0!np8A9 ;,ԭfULQ\ ;XigqMS]G%L%mIxZ Ih65YB Pvp]Q0 -Tތ| WiU 4ߪ+4$}:)1Q:t0 ogK ,%ABix͝OAɠA#aɀYn)r]Bw? c j 0P} /Fo`+~)K"fqv<}uɐ t|"]^EE"N־$TL>b`4sK<rˠvbf,Ig">Jd0',ƭrf{397utwmVTzv7o^DV>҈ [\n3v񡒹#P8®b$wԇSW4>-Ĩe7HHiDn~0 Py¶W0_l @OQw0}_?h˔/ɻ39?slf&3[,8J _$;Yj?EL;+=04l,c3aXs boO>p\ڨd 5唆ѲG)iev&,\wLEVK̺կS9 # A <m, 'N1jn|LZ ¹GԜe,LА 0'~@/sg$U\wVy]\6kZdE"7o({YկeE3,9&Rm($-`>O4v=7܍GZuLϗ/DwKԠrLmTL a_ U`{UhFy>s"u! X˾hg[%6 n' Ю 'MiBܗ{ٓm f,-Ǖɂ Ć9rc}۩ 'Vpa\lbm2$LHu}S&)zXQ09~Q3?lKt.!3Sf817lhXN]7ƨ_$-cof+lgǹz (SsM.!&4\lߪR0q3 AtOI-hY: YމEL"Z 159up&+<4.ƙ wK_6:Ej^oh1TS_%h+=Iǵ˾eik񧡆r%& 1S۲SX%fЇ ESFT$2Lj|/%~:-FC]<'bpkb$2@\3g~ssoheSQwgZq=*(pH9BòJ>@ǩ-8RV8a?|iΈV{FP?g ~P+IOWf lCwi4a)z"5";L _žL;ߴև\/^ٷhl.*JͺA!*FOx}H;"%eaA6KNG 5~!&.QCsSS_coƼXMv$<t\3)vAY;c9+X2RqJ tHGKi'4p{ /yDXQUP,6J*Ha]F|3i\*4{)H( cNb<]տήlK3sS%λaץK'ԲS$`or=)'uqE-QBqNzƹ+OUχ*miv6P=4J+XB'Q>h%1ZZ*v>A R gKXJtP{$5#>KTD%;fT˶p[4Thnٔ^/"޺z&p\Ma>Af'̋^%^,qq$?\mX$1נڌ v&+۵:[SjrOH\7z^YnTdu?$ (*=kݟD^&P@ǝ^غ،4K0ϹV&LalC ea><^,% &7="*tbu~eS0{h%ȈR9 &.8Ҿo`PjΊҟJUXA?t$YXH}π"Zf0!k*–'ƣV +%ϓl!F85*G\?J)0ml<& /jwOu1QRv5>]O‹sYag)^יM2IkJzr,fpمC_/1( W.9ab*>i1[ojSB<;^{ylg_^auY6 x'k>8ᔺlN81ǃgM9)kq(~ lb]u#5 5wkj϶NݵXx& XvO>{q Ipc`D@ha?)NH 3tC U C|%[P4lQ_Rui̥\=2I_&'[$Oܼ4yu5[vl*5sKRn{hѺ]eL}3yh8U`FY[ dw%C>@( 9Z7z&Z@1jX/o3,\#l⠻3ZkLBdZ($Vp0 INu2̈:|T)<28e K Җfn.ϕ(IhgsӲѥu;mei?ԝ˨C{IC 6]%ϏR*׃4PuQr<&=*n 8M+{ڙ56050ǸrAL ڮ d[I?ZWl&x аuduToRBqעUNa%uZPHZO{ z(cz9`PZc;ʳSWV5ȃhJB>> Ҝ0wqErH8nf[p{Q ->͗qI D,1/5 ;%H2$xvvnc,Sy.'2<(Wqꁡ!dTeof@ =@nA,lABXgsjO"v@۲MXȎ/GРo}1ONV=Y3ҏJ>JlF2C p TmW^92ؙY DXTmA7&d&Him\~qUc=D!QVb8znK4r_MsEP3_0# SE4Uj qզuȩQ#`:jQ= r$T`r P _i EsPJSMsAm2 nR+NagUHԂ?l5._: 7jw0qfɫ"G=+F}=yʔ郒ݏg'[yrnLƾzW"OfQBkPN1ɧ[}ѷ˯ L jC|L%z Tp:d"F_aOƞuNj:ɂK>y6xSgaNE<0 l"n,N`ӡ_7K8$]j p?8Xt.?o#:ױyp1}bmGC/%Sv(|p9XG~b˦fn+Bg-NB0~ĵmE[gTdO8K-k;!Hos5_9{.5p/˚s籉z[Jz`UJ]T3A+H\55n, EܮֽۡmZpHl/mݰNZ48eed[:pRR C ~!i,s^#ylECJk=K;.}o+F)gݼJ$VfXF5HRF ocr6fT$AόCe,%FRbVL~O˄[^[Y߳w.135Bs0*xȱ/h\UA؂paV5o\u$8ckWuJr[B<|5 )w݋ =aj@/7I)Z"lU: D*M h=^P2lN|gb:QC<ffÊ0ڗ@ EvhTkQ=Ʀ`7[g(F,5>pmVi;a0zN{ m6It稁0&Fǚ!: H =~m~nI/i`4X{Dx3Y3'K)d/{ǙB}EZTJ5{y k)Lx/N"Gv3 æȦ #2 0(BBs)qN_كv;#\!(r4@#lц=6քcU :RTG,=g p_ Ȋ♋Q~}@@5 }˷+HE%o6M!$}0sRqAZ[4c3ev؀醛?3u.)$vU.õ96TUV_ffQK1w8Ri!8]pN_ڏn+rX`3cc( KlB[V`"fszT=z<%n!nJ)&CRPK;qu>A[}W\)8(?ώ*ynr|3X4W+o ~Pg>l㘣q"Db'0\^xh88'VвDd3Qy.\1)K^0dBc_`@"}vt~-S :l\!\VŸ]r&t8Гgq{wjI͗$JlNA ,+yl4X-5' łhsǰz˲GceCz%%X纻ߩa3,Ob$sAUpA|V'IuIR<Y!̢r5TF@P Q,.Naa|pTZHn5۹lӗF`xe1n[ܬ._F&PɨH A $xtocl}pI6r夎JdV(bԫUJ}Ӡ|n1f3(F5wvE:9TL(ܒ %)ЊVdzƜpo d024ٍJkKFF|^Yk_'pu k7Ø[N`Ċ|÷{Pje!4Տ@jONNj߯G*([ i~UNe4&x@g-n}cO_  bk k,_F:KA,؈G5t,%Hs#Dz KC,?}@ki}HONImd\ynC})fԝRT"8?}cO|5lci ȗP+|v*CXI/K mʮS2ĕAyN/"aPM\D %p] 2ҥޑ \"Ss@]ň8" eͦ;q}t8@1ߣz^Pf&U8SM`{gh08e-DA<OlnguS/r15E:sZ@^&ռ{(6EE\}3;BirL:f24=/OHTMј\"E@ýn$V՜^j,4'bU_JR"t]~"jz׌W؛fe7MIm3+vޱf `4L)s\ 5`I<)Ȥ~NpxLsHiSFgx S񇒢m~` Œ&ż3!M M|+HT#Wʒ#5?lGy73ԫiq3FA cpӥ+vDn,gOGKL-gRv=5I -#v`t e%O%KԶ`;`~ҙL5)6J=8(8;H.Kbݧ8!$fo(F7fj>ɧzL9PNnک檈cęP~ʣ# O-k9U\qgKK;Z9, %%ʚ%Dg>rcB||+8Pc4'n9N2ĭNH;ЭGFxyUTZ=4Yas47S#Ҫ^r^d*=S3>!F.93GBj{[P 4)aSuq_f DÌ}Gf[B(;%QhpN3׵cgiEW[Eщw@sHOLG "Fy@m +qy$ypKkcV)\B;6|29; {FjPYDeפg;U@n3C`lS{daz'ojҙ㒾bLsPU%B7&ȷSHDI&Ja>Qp?C"ϖV?jB>q[~ePkĵ ,SPcj1ƹ l[я,ZŢ;.RC CkzLkNHZ420 שrGPŏ;\hoӧl_M7g ` Z05 (d_yЮ6oE{K}lA07oA0'akB;s>A3xXAGHv~>3&ME+ԟXJ p8t!vIP]"W΀HqoTy{3JGיeZ?ZSIhlyr7AgZ=›ZE#dF/z\RAo~F~Iw,Ή//8JO]>UD(&%v ^Cc/_8au6Bshr9Db,fDHM¯ӑ^eۻG +bz)r&糊ѥSmDd۩AmH*[rx="_+`zѝtԷA[7LYCuyð7%j_B\K$&Y䒤;c &eRa{C4?dP)s&8Xe{cia>̹LVU.\)[KR0>{/W27W7ei9m kIFr~h{!$VSqzĒlB%4K] ɽ' aQo ˫Lh KлL<Ϊy:W)ҖOn/pI>_T|:9_rX~gQէ[OC7Y_GT%fReűnD(v|'M\]ͤZhD atX?7{K&b{^rgڰi'7zMAN`ߕxߐ:g vѕGL,q &딦;S-j~R Jv| K#L~̰ i&'١wI oyý'w8i&:knDMHP*~LG>i_(UҢ`yZQsѣp d~,;^oQו3߇o#n\5W*wNxSͧ5|p7ESЦ׼bnlh~41ݶ2ZV15W˝$&RLvm;Oo tI;v^xk.hˎ~j{z Dn>M]r@tS$g[T)mxv`g^/Zv60~Vo:6( 9{Ll|mllHږxNLAa|nnCOς3IojPe 䘃I__jڀm6>v\\i@$Ea6W?_!Hrd^ZX]=xLU< [rN~D~ V*3{`YhwX VЉ ٹ1_o;W 1y4ij=1GLGv%{XhMn AAq% i_N^ >QE^=ڽ찙SɆne\o?ヨ|]c߃>̛9?1҆va زB hFГȺtEJ(`ٴ4zO;QkyV [wQ(6h3jqN"Q?rYjc].Gk뙕 9(ԅ9i@RvtYd9etY徬3#4m rSi٠:9+)$C+).w&>m^v[0{+h˝o*w6pY"J-Bju޹ ҔÏ(.$k:M,VAէlT֔-l$ܨ#e $'󞏐=Sn*2=2aڏπ HRH~} WɯxWO玫Ef;ؙasN >͉ZrI%ӿ@?gƅL`xc $QLzw-kI9KaN~S3 D8={kqڢJ?{QL,[kQPN$vO%@EDpΌ-{ݶ|hӁmEP d[N¬G}+duLjh* 읷"xqޕ~9^UZU X Q%(%B=bUC!~:vZToD M2WM8.˖){ =sRotd  eq7W]>2iK4axlD,F9h%ՅQ x|jt(bxS'uvgRz)d3+Q>hx,'?*@& sgwY_2уE`fDgPHfդx uL>MK,kQ2pJk\k@s&R rkP5:- ]: LY\p;؁,w-( 8⹠a"cI=Cvzr;Q˳en o+{kV , qw.P.k#GƂQN.^_5+.%vXYM~K{ 3v)]TV=1yYtN0v3*~也aE?'m9 dijlLk T)MrA,.XmUӗAK4E9$g,E ӮGr9h@c. ͖j.?gYHB1QE6.J ?}?eۼڧTe(֛ĺcd/jbCDJxfhX[ueYD <<jl&YIV*ُB,]rq\kV-p\|,(Eg_8+OD w=`ŗO ҄ʋiuDmFM l[tl U;%|$#^h/yQ c( xXfG˫8B:O?-CY-<اӔ %AQ/ Hw  Ӯ{xx0]@tm<9D-4GkHV.&вx](a E J.!a&8e[=',5p2;>}bw+@J0-u AGOP~tZ퓋D70oM?rm-w|: }<%; 칓`hdr Lu1-P~>)\(!37îN* L_W!7p[' qEuŒw|МHL`D`~vٛ$6 O@t6aH+ilJC/@ZD^:o^߹&xNF=IH0zD*[ (0I9;}Bw}Qu4쒜TjՠΗ\E՚7p_f~Wy<.~l6ɡuaFߨj݀YǍ0 y- qS< sT;;Oh|Qo/+~C|GD|uIjѪ$B;J}JB*0s" "8N{ ah?h3L4|%JU P)uCTa 9R2ʦCtHGCVNP(uO⍋?w4ܪS<߀8Dۉ*As\Z 6S (1/5u˧YZ/p淍5͗LNy)m!G1ʂ{+A[?a)H5;PB 6m6/u01ʁPWUĒg@>8 }Ep7p$X^}9Ila(Dѓ©"=#D*n,XߙIFeQ6MyZeI#!sGy_e o:F4H+W䴊ֺ i|$[ 3F((ZWre$dOM BWC6rs&y%?_o| W)CvPv%>Woj3mH A{~sRi1RxsȳlY6<#jEz qU= ;)wx)j»}*Am{^j%=:qpswuOJ7P`:**j(DK:bFS}y j0<\SBEIisyُ0Ih?!Z*`GAoht nek**qƁA+4LppVg" ze!Qq_*K#+UcMLTc&?2[bHbSJ׻a@x֫G^NT}SNODG _wh۽mb1Qt|R}1bb2  SGRE%3S/ <@.)H2%؞@>镤5u)BX^ƳYRB64a7eݬΩd4x?7"5O Ru/[QCS†Ať r%Bó۵2QW^cÝW!#wݥ6-iP\4ɂ#ɪ&;Tm~,+<(xʖ(nخ3գZS)ltccWK_l6SA㦬8ּƭrlF Ȉwʿ=/`5'GtV89Z":#]g8~%*N졩 X3Ȑ!'ܑ噿B^\Nb tdxI5GM:;of jG<(ަdn$cV2`^c9%^4_LXv~xX Nvtlt+6٤"/fL0t.h5JX HAtpQB|~7=#MSnEJ3raS;QSw$ɱ}@CHoKʋȢ!_&T7>6qA74= E,h3dSԤkUHwӸ懻jh]__# @RT |pN޴"VLTU|]] !k:~݂0 Y=}?YތsIםw/&S0zxFh,XEտ8XxvABq}c Fa=dfT=&@࠵.gxQ?ތjI*M_]|Qn3׳`~Bkl4!u0A 2{fztp#:%ZqGo7-|Q e?%k:ܨR~ifն3sV^, =C_1|I5C@^l`%u SS̲qazn".O6/ZY O=GeDMzkF"e )J9{-m^-_Y@YުK皀ųf- 2*iS 7e"ZgYZ7zXZִF! %] ]ŗXi%֨`Pe/E r)7h #K8nch)r=+Qk^z=ED _"%HU+4Rς !V"Нg`@1TN@M-nƩ+bm?{z>v06BoOV$cʞ;&fV}#"M0ڣS6o[c 4H~82yjl#8j9Y4-Rj9 x( lV_A0/ɰm õgGW=)T$p49G1?~ @\2a( ȩ0fi,x #+Kg 2+_`MLJM%1I>rG^RvZ{IBVP=L3) .SLq8}DR Ullo[ $jz&U81`nFR$[c!1pͿ_I>N a$jF'TQ5 1__a㑬W)JIDMUoSHQrcRrKwBq}7 Fa,IIT1A\dWe#d3q3fx"&E=UWF64[/ebneߗCaP*l\h6 'vZM0lb"Fzkqi[*f Y?D-W(R#k0*HAΣM$ewIFd9Ό_ݹ!(Dmu:?O|8Wv1@vЊ->^jUVf58B*KM@*2,)x CZA +&mjj(U_._TZSG㞦{$=Xxļ En̷>́ӱbP gJv.{춘<`ґ@[n-g :OA+)ݠ'ыuT?f^a9 ŭ:yUhgkESJJ*rz\cj'N@'ֵg1 q/%*g;myfA~% |% ??h{,@S07Cc])R;^w~lP1Gi&u2]*G'%~/'M8vCvߚ$[JFf[J V%mTKy'l,=ju[l󨿥"zDK@}S}I#N}[f։՞o_ LwAYȚ3iXܬ%ׄ(pp_-lN(@8CRӌVXv?mkFLL$l/*n( %\[e]Lz{O(LoNlKN\/1;1|9VD;qg7{tc39tmC zt,D&9 wC mv&R~aUX'٦έq?n#GR%(!] Z@We,/(9}9?e|zB1 wqNhx1oژ.Jh$ǔ\4_\QϠU@~%}/xδ/gI2&ioado.{J.cmN/LWe36*7e3B"=#x+Ǥca;r` eH ] .P)0=N5a[@.U4OIeCHkXdl™F*#Q W9ozqady܎0D|(H#?Men UKkcVD'ȒL2PDND=&fv0T_C d+ ]DkTDH^!5Vm3nQn0~k@Y)pNSqΒ;XѽvRtetGywkj1^eD(2e?QLϩV 4ś869ٓBl w@ɽyaxQ0FT[-9uDgM+jM82AvYu^{#^VZ9-gm4@+K'BY7,@X=+TLazfV7OEΎ1ܕ"䷦$جy d f!m+g dRB<Ȃei,57=|8Zc>k {IH5U7ka@-ߠy =z@h?7bOL3ƥqCo.C $Xu,NHINir/Be3 ^593lZ6A >[=(<Ưpi*{x0yxe@oN! Hҫg{NTo}3.Xmi6Xۙ8e ?x}?p}'BpuS:MvmQRr6gIk,ƚD7#^:ĭ=`Mk9+`/un'Q%5 ڦJl85U]}sPr-hc{0T/AHNAuݳk "Yy -:_*cg =vIM}9Kb.  \@ݍP+]~{NK.CwS;3L]8a@TV)-Sjv.O0 Ä2}(&D QC3^H۲B֒ᮠV)?b:Yglh]N-@&o|l = \͵eRLJBKPCj02p)JGZ11"[)wO pɪ]GHF{p\QzHoJ0Љ8R U~3$m3+|RaCMw(W{u^bb+Z0Z28A+K-4ϋ73|2!2K@Ct!JpLOkr ,g*9Xp^zVz_wk솕x蒇w^o5H|qQ&``uzLW+W\>ū#-f*ڸͺ Ǯ'Co5Γ}Qh-_u078Q)pGB|PWd{)cVAs8M/:Dbv@a AyѼؘh*Jٯ A&^>P|V6Aq_ ߺ|!ͮŀ]+Zn>8(5(cȄ'$o~i+rx y][0IG I^H1rrP9?/̎YG\M 1i]Ȃ#Ph9Ɇ5N!ϭr#nWV_CpƹjK"tM u*Oei YMuKvkX'Ш?>\hS$?XUXd .K|>Q6̀ׄGջm5bJ/.$qd䋑?M_b%k0dA 5!ԴU[&MRh5)<1R$e=^+"@.0+N%K^U*CW3vFC2R(Ǒvϣv2w/L?{˵dG5%HiG <-E_^іq~l' HZ5e\k_ѤQ& *sl)iVi`J ``lԹLj7wAxN?K:xDר*#ƆgK9U(ދzé!ǃCmT}a1Δ]5ǟ~\-OT?䮛A9t):GV (=q9}(_X0& Ș> wczxj/g7NG$/ -זļBlvgJ7P8A[+uɽi23 ?HfCKB.9sõA[b,WjWQn(5/ $o $UFtp{\}}% qS@'JPijZpO  64LϰEq[l1LR3L/Iu2ήHzJ5f\dˡԩ߽P< _t1A P ?).ߤ cr`TϚNFk_|_= GqѤQ@O?*Y*֦Ee;hXFN~ L zV$l9Pa);7/ڤsթ܍|F`KBv)F&ᄁZv pM?G8 ^ID3CXkC= Oّ-)1ΟS$w> #)@ݰ0䜂}gI!xx,_Gq\÷?s])GcJjr3=,"lRHX&r?<<ė+#0qsb &h- 8H2DYsJv!d>Y*GrfAxS[f;mɃ9H0wl.z 5/ \T~V3|:<AS%֬wi)~'3E1?~9z!`E(P}hyp=Qbj X$7U4֠h*eS+c:~e_Aꤚ\B`ms ڥXCÎAg7 @ђ unQ= ubmH5ö!5mY.@CNPF[2gA]3!|h7*3!7 L#7A;ppkPM41,у I\orZj** 86V?"0DEm̢ne&r3C`!_rH.@A*W)_o*腛C"7IŽ5w=]-d 9hT׆+SFm%TyuUh_W{cd{C8G+_Û<;JE('tLbTN\քޡ\wY- FvNp'&@`kkUC-$98΀^s-J'ZF?PDA|7B[%,S0Ȳؒ{/;UZɇM 72+~g#u͜3н*Bm"XUdyS*>K~OuA&`s?7k ~aV_O ߁N6e?uelt) Yif^' !] Rybغz$Rr |:ކE>ɧ[3RH1K[XigF3%fpxo7uqSP lRs> 4P1./c {!.o} [Tc8Qe+΢Hsq.J"==!6ՠJЛ=BCZ7N]x.Dg$OD"6y .$ Lq0ҧ^F&J˖0ztd)2ʝ[ҌUg` f\A)⠴Pzۜ6W+ J 䞨\vtQ&ATN5?Һ"ʍ :evݢsx.K,i<8KXN$ٕV#7wY?EZ^2gG?`# JMFhᮈJ#v@xax Ԋdrga'1lwҲ#<Ы~ـ|~bDqZr64X׻!q< KA%!Lz $Ѿ j {䷇Cx‡ I}YCypk-,ACntL no .s F[-`͂ &/YKEbinWg$͜{F/Iki/O]n C1 $.Q!s8.}_t6:V!u?+¬"3pdbL=7Md܊&?V`@L.g.4dgC䐫CNKi #49jT} s%%9k E(ӻt$j Lgb~p#J:} }nA= M+ߎ܇?$>VQbJ>IEjB sQpv8QA$N kLkd%ebH!ƍD."%sPijb c\67>$m.=}+)̖?״u0J?asV iq.}(2_Av(ޱ@!@}fT'iK*C ||}qfPмE>"fC A{<[[{w~!P[t&|Vc%yL=D8}I,5G$F?lv8,Dhs!(nN;N"oK OAj~\-cZ+,Z#FCo J6-f?e`%j#?9^,Cmȳ'ײh//1%}zh!\en <' Nl$2C@Eg@|Q>/FvYI(Rx< 1%Cށ٥'E)3Vr]I\' َ4Aujn%\f=c~b`vx ϼH"hIcYh=gXD1$/Z3I砮kg̡TTe<5,R :{?ΐ!q|mI%[`vZœ{s:dPx;ࣹٝ&8F[<2[F$eذ{ VSY MVGiY-áOk7@olC4',ƒk~2i/A@~B;n2lkus0/ b k+KՇ8w "Xo0l7aHƹȥx³A {_M-ؐSWf`eyes2+m(֝Jye냸b="g?5kN=V&9ogtcIc`ThALz_9hcOA[zm= R5U4Ž Ke ?o?hOO 4~Uάh.+Y /鵉 VkSuVr^1ǷC")}R~Άϒt^R_͋u8MRHF1P{ژC‽ x%CW^zЏo߁S!̷1ͻ4+jJ|:\>y c'仰|^'VreIgcˆKQ5䞥*HV<xtXD ~MgH;.Q0tBgbPa ]F25v9ÞoMpB'+UCz(Jj53O[D$aB$5Bԙ K?1|QN nb8pRczq}|T[&zDAx&Cš=قAKvbs~"Ybil!%p-N!U,DD !{lELMVr{ 3'?b g 2.ܮqXLGHw,~ kK,.m{,Y A rIN2)SBV;nfNī7M{0 ~!) jՑ+Z$o& Oi"I֓D݄]38$-#~d%%k$\1JPY`5r[㕐W Qj [.LCܼ*ZmCq$l=ʑdM.%ye*!3!5}Eqdy4ĥJi*<ማx]t<ŤTta2#{/f7anQz 2I'`'\j'EK)6ȶ@y59 ɐgR2rBݲ5*, A2T|@J0bTy43nCӟi5 W胯 z۲yma( ʽc*g}AWʾy>aH&\ bCclt.]L Y TT۝4q5^ u%ᰵrʆ|15w}QAϸCmyHjQX@] C{Ds=g*LXo1_R Oؼ}PW|A`Svc9(۵BsU mj$uEa 2'q;~F4`O?Gr0ztځik #=`N=r/?]'`Pu8ϷO$I娖b(m䬗N4X<:[&)bL1F'|#Jh$sw "9Ҧ.Tawp,)1}毴괁|W,- [=sk(65SL"JN:D]7A᧏:8^҄@4uH E8jR TCh\6/~3e:M"ݹnTSd"K}JZ" ^ 7D(]-;\HuMbVL`WAE&kgdq`(s*@IrnnhΪD^|-V%{0}Ys鷙gB'EJ7 ^.]\}u8oj%REC6C}Yi l0$"ge$Zʗ@nJ #3=,r< { z fd]sUpF@&3'#ՎiVqrV]-ID0t5#W2*~WMLK+8V]0nm& <@@/2\V2.KOfo[A|@.2v Sڟ=z2}ubbj}Lcm{o#u&t:TtPr]e|3"}svwMʯ,>dy*ş-p=)ܵLP;e*XWDɫ<:3=Uy^Pn. m,Q$ -O/P0C=TY,]pMVӹKfG ?b~_\6m,]&Z|) _B虺 pFx(4_]YKθ%C(>uD_W[cqKCPJ 챌m!=/rO=DAr K QGTx-:قnkʬZR291hfflOiy02gvofa[oIhup|3"77D$`ZĪgE2-4"5swcTי |({|9~ D¯x\;WežsA?/v,S1aHUKt`K֞m&X;jT# L+17 $g ʺDirj}{ N-Ë0nccNe|^R]bLGU bv$;nߋTNӭ/&(֐囓Hf]l u^eJz.IZtW✦u^AFo6MiVzn 2àT1Eh&m:525? kUM6Ec†Kk LZE z_WDcB%\B#OQg[_^U"ȹvZב70lCC,=S^K҇WkuO8` n#qضZUz1At#d*#y3|N(\Uz}Otǝ,L辶Ywa~ܚ<>]sC6 Y1Lk>:ˆQtT[~GF=C%hz-xıKʐiB+S>1 }v֭{oIv`u߉x߸_P:sg!9δYVw#55 LJ1PZKЄ mnDkC+wLw>BtB9Rˀfb6ZV1^12V`o!ټgWJ ,lrw&tϙIa͉0' >` 7GV:mzCɢb"NY1sG;toUt'rM߇9sx4nĮv6<Fɤ\xJ@wzsF˵Fr⇀$4q9ӑ3L4`Qr@Bw[_x|!HZ5M7հ6̄G"FҩNrdw7d%w{v mRǻ]¸PGJwQ$0&T?o4yy~1[tXyw(|*C&}X9n0nhh/rU6[Tb9{BjhH]2YIAFLG{CXKhG%oj)YI Əz#D:HO.DATv4J []f?o ;b7*u_O(zszm/TjQ&Nv>)~5A,ddX:s-F%f(`ۂSrcN2[q_ܬI Z^jlJvlAPxB3>S\ளZ_fOoIG8,$/N0g~d,n6h "l1;ypEQo8;q=tm7C_7\obHR:q]X/BvƁ1oȂ2؊rEugO(?39ԧxל`r?/h*J)*R @0L>Y2Ӯ *PaR=w Md x}Fx-nHMs*dрHrӀ s[e@-K#5o `66 z| xKw{|)wNj#R5^^Y {056b j) @e8 Ɛ3JU#Pо12+7]IqP9/6肞 *Ӏ79v1"y(ha'{$˜59mhk1]A(e=Xfԕ*_ss\0Sl kʛсuP4 #}3jbc ZQo9,.O*lFoi6yO-ħh즓'/KH}= <&'MPB`XN@ Ӑ :g*0smg9൴Q nMU%g9P}5`p݂ '1 `fX8gOoL 6:NͿu[t3=3ɅXx@-fY;Q/\*ܮӈ[ c@I9OMK8d{SRu Yq7=lc:HR^#W8юj-Ry2C_H\H?Ց4_M rzŘ Q]VVGǖ# /*T4Z?8pl?w\x L|Htk,LCVe8)NZ8H!*DeT~ $еSv8ʮn2 pش}Mz+3#Ka:ryt 9]ba`fw1#4 9[>w*m`"p9CyOVn36"`՝b Wx=KJnTMp"X>+:a Qq!Șhw ?NogCGJBKF u6wJŲ$H]ޠC(Ikĉ5:QCK;]T Ϩf4~*_plnp*)7W}~E'͚jcAʁJ`u %@뵮ÄBt=/ևyK WS'uaQєb3&"g y.` "A p_m5ae6 6irc2޾'T %Hzq LK 0OH7uV#TFWm`Ň)Gq@^퀒Xd[ÉԑxQp's|N"$RT̵|;7{Wg:U"-i1ﲨS+ jE !,80R/գ/+E4\|XՐϋ'#CBU7L=IeKNgj6ݷWREPuCy#ìj"Y`J>sbr2Fb! ܠ-]sApK2 2RJ`ƿM %=(qyقdX0뺁3lCnLjާupazY@]r],HŻn8*BTn]+i웃C, v%JޚuO'PB~XQr%y,M&1GhZ 1 7V!K'<)X<6^qh7?¦buO LJDs܀esu!ܷ 63G 8n&VE%1{)6+CF`޷- Ǧ~jôܱI =kؚ_ L>I!9!C',nX#n s{B/a˵"cjnrnI;̞VE6΁APde9-ʦm#m"T=dݶ-u^;2ZRBCIT-Դ~'Y~W h91bQ05ޝsDӁ &ʵ&b'*?ڥ/A;Fx橆v{CeV# ӡY?i7 hhm%u n4kW oe˙(}շtPt2s-bՏ|^vstZ4bV qv)+):uhLxE.[fh k vl?^emr}NJ?fK\w;~3%P:xFMOS]L)3J;iK29CK<Ӻ;\5mpa]~%q3/2Vt;4MQuAw`_{J 0![[oz#pި="'Q=v }0S7c츜PQrǒ1Z?)Zyڡ7pTHy:6@1Y(2,=-A#6jJi7Ȱy(8 ! u1LS<~S^c[&9_6/a}sOi+3[tOb0 EVJfJaCG5_u}Q0Jz^萣8y4f6ELeLئd78.!"'O{RsrWy#9g 0*OI,/kօ{Oj4u+4(G>.ʣĹyȵBcϺ!45rp6cjbs6M7| XM_v Y(aLQG|`o>-d-ChpdW*^QNq60,ُ9_mX,oXso~ڒʷ/8T ܔPVڷPЄrdOP,KYCA3HYmc>Y0e|4';"5ٔoE@a쫋V;PM8aaeAXS,畞&2H5V_2 n׃8:;:S>|o\M%dJ?d %j'ryayeVp 4A'7h1'7+R4= y"X+ $0YN(BhhU{u"6^PҖ[WHơI幡&IρGAg1:GKH9?ɖ;WweRڽ5r@3>"G#Rφ/pl~"{K[/YuXLpV#Ԏ&Me2b+WS\F=Qnr^!}PbxHwӜO{ )@">@5bKֳmt.ɶQ/ևk* ҹC^|B7;.βCL{=H3Cs¦$zRKK61(-~Ec_d[͐h#6ЌT ! ~u9/7r{r֢,y5+r=UXxiaQ̜.у923Qc"R7B; b0 +dI\itV9] uc 8dz/{8bX7v LXԟQeWu?y.9p-zhyeG!/N1x1U9)J7)Z}NIiHG%\e[Pӎ{6S} t_x`Z_גVSUPpNFD>jk(OOzjgȬ|xxdPN& }zlQm eY_h`xFn o({i ctfMع:7~rn>z9 ٮJcuxgͭ6^C.R`M ޶L)``N.Gn"Z.f6aKsϥz5IJܿ NT]Q_vơ!c 2.XoEt>Cqs[F'ޯ\eI&7p\(pzLяP A>BK<5aM D@GZg{ .~E[RLC`+"{G1, Q:F\V\熆f8 F NE鸆ٯ**:l%e"%hH8+Bno%Iavu|5^hF:S~GĄsgM-Wp)[ 1īSýGqtoL_l2T0E_:4^P-9aAp?!ϙ|#ٮ}vRS.Z77:+*z4Eria;QM|db|ʱ;f;3ꖒ?1>}>A.1Oƿҥ枼Ƈ|ñ[ר6A`#9;|`p\{fWY3YEJ3bxoX_{rDrܚ {ɲ*C{m>cCX`7N*Mzsz@yşzgPI-̳9N7-lGUl(w\ )*g.MZ00Tޫ;yv"$QOz215 R<)N:0 zT ߷&Zup+mq籭k>hٱHI=7}x夅i𭘬 f"qk2ʅ@:&nQ!ZJp)H?Pu~9Q8}fT/VvKO ! PPp|OVGFE2H79݉|+BTPn4 j -w6r1m'f/MS^ĝYdp˼9 ک:F%r]Ρ\\cFY ƶdN0Ʀ$zpwMANږ'UCq+OJ4MigjP&'}-֚ SU9^Z؃-^ArHȶQ{=yE :d؉N2btYC06?>Z]PKkNJs@G0.CӡJǣQW ҈5Ţc2ܾp Za6Ԋ-2A")χŪB0ÌJfh}-xemVFIre2Etܻ =ziK$᤻t;GO4<1duzƨ`n5#Gj>-9!~woLviY>4,x[sN}m-f0\P!6}u76`/linmkhgdEVrK'\E;|X;찀R nWzMn 蓛aihdۗ#s%*&؋euvj/2UytRDk o7V6c!el2%LK~sn[rR A=:yMٯ^U5W']"$*\c\Jeg83UQS0ÍNBO58)_β'? k> t;!/eR-TF3RYm4X蹁2FIuHZRο'VF%4E%)(@p^x 49XzIIl|9JT 4; p<,Y1]6@c3X .ކcYOJwY!:1&.lfoO-gdhcri9MSN>?Q ~@Ä(]Q|BS%WKiP3@}';\,qndޡHRc8Y .|In$|օk1WIG`ݛtY^13AJ r~@7$NwXeItld;EUWh#K4mtp$o;B r6vV}^-֦N}x190){7,Pc@%D_AF~"|}lQQԞNo${Ft˜V~qtMIo>x~\LaSj)cl^ &C)f!#:Q nْV&(]:v]@B[](Jz&q\gw(@sܚshګP νaaSg:1*-8VCVq6{}pzUh4L)ͤvM՟KZ\Iϖ!wi9/Fё"G]a9ҭ >SS <%@6@` 9FcbDd@*o-DA: YdT3bLe7StִO7):a1&M֪gYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 f60a05cb1e69eb7d99c4c2dccc586d9a157c50dd ff6fceeee2cef000778dc32616369d237996ca4307addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 e67c8202b67c345b15408085adc7e48672970ad7c8570cc1c47fd3e1aa76f8de75b71a2ab3bb02e1