SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  %tL ]/]HOL-Analysis:threads=2elapsed=701.651cpu=1224.352gc=90.504factor=1.747zXZִF! ܄<;]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jieePT*|-K5ڳ"-,Kfr+WVǛ;|vřg qKecK S^"aEDd(W`(K%B@O[A tb ?RHoV\ _f༬kϭxOטF*_bs|!3ۦP*?qqM=x$1SW6 .wt=z3 G)93}V{AnZ^k"g*fs{C)bl=؂DhH_}70EvLz=Zڈ-O_Kzk 02*xf\g SӔCQ{g0"~Ky?I$XjLvP}[¥;LBs|zT ;YkG6SxQ㖒)w\<" MmnC?ows]} ? RnƵz]HfY,CJG&Ɠ_@"j~'&ݒ'⦧~?'K\-|.v_,"/ ĉaGY#tNOOÿ@.Iˁ*9#!̇-+˜#>6N-`Y=LA`!@yz W 9^ViNݭ=QqPڅ=4җgbCnvA.8ă6)sHIfZ'\r-2#[ӞN:vwVuOzYUVE gk+Nڿ.;~ —⡋bQa; 쀵OIC[EtE>XTC/ͯ!+R7 ZA>4c[ˢY,FAba+ TQ QŁrbTϘeLI'AnԌHp,N;ӗ) Ĝn_a-U`dͬEɴbAќum)_tq؜?.<}v1c3lOyt{6Kܕ-]o-7 խ)5gH,w]%Z%.#tc$n]sk,$EvC.DhEP J˓oGB8d`_jQ/K̳ rE(.\E7¿ +fj.E~fZ#>3/C}u~s3ni+Ht-G q{P$i7J>lH*AUevPD.Q E!B;skb:%<0/6D=M$ͲPpsu\@T.dl%zaVX }qN =ĎgQ3{3ZJ\U4ߞϾiQޛ .Фw!%~H}O@#dB2yfIs<2ON ]/| 8p'P-c;N}4\!^kJPёB{lE&U3_3+γ$8f) b^WF\P"u=N<ʃ.Q?՘6&C@F?Q^2S`-1U({bv-}13%L@{d{LZp|>oshjK\\tɹ 8Y,wGdo"Q7fO XioX;N)nPK^ͅlpeꋝ&:,11b5*j`E|' HDž>_ QudذZU Uu-Zi 7㙔sI CO'Atۉ;SgڶNQ~ Oˉ(sbcx>!eZ7/3KwJ@@=R!66-Ka9!sL-4K0Dd0kJ̬Gmv:#aG<-x~&5!}$UdU}ƫ9I0_#@ nH| eI0R#_Sgݏ<\]bb>,pTgnċYJpM*Nn\0 ^H+пہl]ޫ])%Rk=eG>{m0) 7ܪuDH6&?>95r uI;y|֥<T9;a}ʭuR)_,^.^ؠlX!T%q[e\*'1ɓ&aga.ռLFmf ]%;|SиHb^Cb 8ޡ[[nkJᙀ/Zk7a*O j<0|^ P |l4!; dOR.G>? b{޳xTE0JT@[I]SLIQͱ,g Fޮ9,7~_ΏcB wǞVja)xr1L1xPeUۅG=n-b3=iaY=xъ{}Xy%@N,DLHlf4k(^IpX ;ݶL4pۚ"o* 5K'k(@8 wHo\,7>n=h&:/Si}:cx6u 4E6jMXQE6|aDHVeg+sd}\Шa~J%I/I`ڃ_bʯ6y 8K3պϾy CSծ+ʁr?0cy E~}oJ/wLf!S31-!/!~k.'s?d_yɚwm z&Qiă`sKl#3.4_௸|L(eub_jnmA/G[!F?/ސJ$wΩĪPEp7[WT#w6! LS{~"'ztUlsMf+-Ņ^~($gAybc`W- -xC#{^לh!ݜXiYqn3t| :rF5ץW`'W4,aAnܬ_gyE\f  S{'ԡxCޝQRP,"KSc8㱮vEipg);F`8KG,dЇAKLxKtPSr-Y6E޶,-^">˹]w&i̶t ' 'yD {OD{5yfGO.Ip4 lI5G*m<›ԮfAkA܂ox6鋵vs*Ҥ8Ok3$lZlCک$B FmhMhlt1w$% ﹜s8z@>hY/w4\ogbu#%!A\cl9柪{ղP8GeNn)!A7N7 ݙVPD.\~2{4-xwAPҦ|*!`}];Nw3)3F`л-Q٘G`"'mmꐼ)gbxÕFMឮ_g*y0 6!,˛Bx,6=F 3<hN `5!r|fն*$ZNYmd`Tҝ?'?fV@;. HǼ>Պ L2Z 0\o%U55Q?hŁrj-uCB:Ny) t)ْ1E"W99DȽh'hѮbB\== 2]n]PA=.C&MXz%cRyaBi>G`1]%f[a:E-:oZEZy`7_9>K'xB=I9v\ 4nr1!P/]Έz.& mkт5W 2Yw~X^VXެ qJ0 hƙK4$% |Q#}g -۬~ gi[v _M~BSyfc u~?#^5Ụ4B);U0M#[6aDDvFEӋpepRey犎bWGvP!D[1%6NJog *7ħ j*(M>005'O?/OyJ^`=*\Wj(/]F !SOa\(z 4&8_Gs irBRQ]`3+]Ûdr&}V:mU&PvE.aZ*p-+$(G]s9ߗloP/JFrds`@U; |ÆZ#Oĭ!+~:v쫗^x2\SgqhDDyU}f21 -Vz?;iz= uN8 O38y7;2J@ Y[5]Ģ;bև0L2[!cHӷdj -I>2Uc> h<!ABk7%BJwDDm4 `H]2G8k{?Yg[eVN/+v `{Ε<_8'/3aq,U*I*S\\ #levMXc &toUIC#60 X}F#7 P"\H݃t|Iaݞ$})yPDbIY&}OGG[iܛҸ2rsK HQ05dh&pBmׂ˪7yN< 0M/+EU7;虳K^GfYi#$b µ XE6.4tvr>&7LGsr֌hA̝BN(/gVx]f ?H=DYVFjh>ކ)<1+0*C+5qef|7k:<_*l(xG^wzԕs+at M A Ŷ@5nJ\m;M;|(C+rYߢD\%$E&ƽ%%ؒutzphf*gE=\o˾iZG {Da.-Qm Id ҪRI$=f dOϯQ.!yi :S*u⎮'7ZRml^;) B‘RC12Qoڢ^oh^Kh!rL:gkoO.pCw JJ ،ҳ9p,LQc CrQ,wiDܘOEЙa@p ?% Quʀlo,"(EI@U)W#*fξjt9Zy):Feʨ6tMNa/gc{ŗ4u΢~uBm=8\_+Y:F.WnyI\OY( 1!9 }[C00R;3)t#06ޣ,FܯE;_ÔX.K !#TxX"T`ݸo#!^/s04=T<3jj̾tZGG 0Bm T!Y) 4H} VGQG ˤ`O`5坹e# w+67KD+IC%AM]啕Y G,+4W~?9Z]бCuo*]9ݧc]Y *ZM_`Dd2eyR! /^aR%+0c.L&ރq{mZ;I_F~VOl`r9fS*RyWpή5=)cAx{?W8poϚP\Oq4~^"Ɂyjc1 i"fD\8.۬6mHV VTTv Nh}APΎ]~+GaRcC&2Snd;9VBelRiR/fyV2 vӊ8w.DfN[޷FM^M{pPb8/ý }td20b8SLzq6I(TL!eP&Q E |`ߺy/uB:QK'' OP;?# |yprΆ)_izyrpB6Eh%4U,B`-#J3|S>&Ue}U݂!^ۍLhڅ嘷U (^ۣ ;>P'5`Di/$eeAY Te޶%炴QDL:LR ȃtM9E5kOմTmp#%A:'+YRNJx-ѵ`Qv*">C;G[IZgeGߟ.*NX\/caC yË['yB'ֹ7DNΑ96Ծ0 XE΂)嫷46%w_)5.$hAc3~0@EЪHim*0 šMI@e:,C"Llx9 G mԖ琥k_ ٹ~0Į_T,\`u`٣ǽ[kcmy-p⿏4*пah Ie kofRHHQy/,]G-:­<-9ChaGUa7j!IgXXsQLm*A52'Tw]CLnp+] Y Ǹm~%_}_l8e;b`?D7QZHRzI|)ֺۅ_d+^^#Ph:̧*V듫Egk!\Ù䰅N_' kY,YsISŦ^Xn|?KsHaM QJ>SޖθE[`Q4:)I$K@$C~$}jnj30 Dټj3#VbaKJЛo2w@uc:I$&^L9k\0mcp!׮Ks+3Pѭ1"O r~j9Ii$Z9XώI/G7  lZ5gD$pG0*`~g:v$F*;9ۍG^?,6Yi6ySW"[{c+܈Dz|Uj8α;JGy1`c wxH[cm~C1YG zh6$> KVmoK\\Tx14Z jw7޸r]K7?AyUɭ6J>H>SiQ_.U,0>.mڹdQ6^Z}0zY/[fw6et~_Y|[QLsF+c|)3} u'v\!N!uiʛqDbP]N @(QH;\ITtSw 2y^?|֢",:OAJ)H>ae ~_!>m PTr '7~**3ITQQxRlpP {,pWP?AR1fNzJ.} RlL᪲ޚ \Dpyf2W(_&3($.1{DÌ+ֳܸ}ϩ} tMј!T"0dDC;ΓٟI`8UWRf\b֓(E{_N?FC,+@}P.TPchGz&k+ 0p0L~·Lgmѥj0<9 +NyE0^ gXz|L6p Yf@/N6brԿq&<isʘ#z,xǶiK$P/ԜLP7-Q@Wp"8U9kp{t7*[P^ Wիnp<ܽc1e:[wȜ nyG$ փCXCQï50m!8w~_N]>+>LvO%w.O˜̟Nd[y1 7Aq<4- wa[DRK"m  iʺimT< gֺ/q}%k:b(݄:]hiff-ɳ~B%ƷlK" -=ތLI(4W~~g^dݑPwU֩Q(^>ppf w9<ަ$lfT$\&' Qʍ xzvK * VovHgJ;V.%mv&{=)]{8gOP,e.]M#g0n=Pj m#cWug&>Qz+..NKJ5*{[M%ugUO-p*QeC{n3#Jw7iT ]=Ղ(MJ&r5ijm}D_k]HjSWFU !f|v|*QRp}ڳ=Lͨ,"bj]w驭|+p0ޡveo,}ӗ "VcUHSPж[h pxM T(/*!-aH;v P $ $ Vc+d nt_6[Hp.#MJdaޫ膫ao yy SA@7R+g婕EߦrO^}h >a%uN5.p%YrH&TW@ w0`Jθ'[Qf 5vVI9XIEC:6_y:Zbd%&Rft .=a -*k [zbZ'jjg:&%LX&nځ8/ݼvL:OtexsՏ>KzT)Ue#Au4ut[sKt uqE_]a;`7W]_*h&%?&{jd~$wx[s͹)b̮rjP0M*b)x0dKJ| F=L@ IQNeaq} +4Zc֟-Bƻ"&q)ɱ,i9AjQ0S Tif}D.~!VlCrmTGڹkJGM6kVڧVc7 gu H doe yxŅ D^D SқyՃo٩s`RU1X y_a<wǯvGxF"KdDE/%ѳ8Ǿ储Yݻ;a(F]7wZ&Qo{iݡ˵\Z*)޳J\==CT4pt:m\ۂְdSl29nNHyy8 RWԓ_:'aAe ?ˏ!mx  0gYZ7zXZִF! r]ŗXiɟ1˦r!cHkMeBd4(3ЫeC5 d#!7h/s/ui5kIȔYޞGkz4Z#8\2ጷ 6Ue(!]1/('ݘEߡkf&S}\CV!G@ uE ~ #P,R:ޠ=!;х,[r'ؔ6ɏϣvoP8IP#=BUV3-/)sS`jWFz*fs%‚z}#$5QmROWgP&džW~2!*ϗay1SpMV1+|6K-lj魻_-/qIω( 7+KdeSZW55Y|NN,P`o{[VE56/ðD$]rt )UF*cq|Ǭ ɭca@EjH@~P(4Qfn\cRadEdi7gql; ։?@z K[;0f;_|?Q+aTҪL9{BKݜgg$zOwyivӒ92v882-lS&{472ʱu{!94hLp*fXIx]uwZF}xHkOSçFJ>V+uaZ +d0%=H֊65}oK=Hud4#Ҿ7Nk'u&jɮغTA ;FBy4nL"5qbskTj[$ʃZK*-2Aw!tN! 1D)&_j:<=ʿw`46u gk P(*:&ۚ+) ~v 5#G20OY$@KB렭z&ae’ԫdxDraY6\m f wD$C8% _RQxUBsTjxqq%Q<,6p|kʙSO[@`B֢O~*g><aQ pvjGHOL ;.q,M,^4L"^|ooNV@jov8`Cf "@.,oj3=[h3S ?p[1k)Dfk'e4i*yeOLh1[iI'_:XN&jNUѮ` h"R0f~g LCJG vqD>c}`| ^`_y%RZ-tDhyk>~y0Uc I&^n|Dzھ\4^sոHgQZ[r74y̺vڰ*t!^S`a0v.m&C_y I`,77EZũU3p'No:8T2_?_]i+e ګ`$SnauWa3\jY>FBFSФ.~_9qڒ+fU]p݄ڪ_p5F)J%g-F$\W54HnEpSc:qDz u·s1lQmL%P,Kjr}7w@b}@ nzOW ǡA-bnDd;r-V v̉lWJ%T*ʚD/4ϹAT\%Q[FS!gn[u<"h"")"}+H9KHR1M6g)f<:d\Ӱd;X}C YIc%uˀc 򤠃6B_Fhyq+i$.eox%1 eK<'7Gl`=汓qc}D>ĴVw uIwЃXAI(qxWgF$F圾>BvkRw'u+ uee(~Utr^63><VD]' 'ŀ)+b%*DY׃%_Ugy~=2cUQ'␙ֽkv˥ +r4WbJ!U?vqWJJ46IGϨnF [ׂh*I Id %VQ1MRB N-΀B?\sՊ5Bi ی} A0RV{IeiUy5 3ei~߫j8'r.#'`a}ațdz1g_i )g+ )< ScrO .*Vܲ0'Ebt'廩//MfZ}o릢s\5=glҁAwNLtHn\1XCٟ0%uwEcQ`u"q L43@H݇l=߷[q±.kM\MkN{!9Rv;\pLURTycaET"Fo}Zka S"xQg<є2Ansg6!H3=%1v$%»h<=cFkiYh&h|-Փg9QA);:W3O2@] n@ϛ_H]ZO|Xs-aT*#~/`Fw!DmD&*t% e7tҳOwl^O%1|2*+^[_ WN6m]N5ԄKaڱr$l 6@h^[NHdQt1;cՈ9v0(`a!{;HmOIa|1wtN QUj*6Jbc"ȓs@M,-;afMmqauf;޷ьǤT*Ro QZP>ciJڰ8LOHV7XҰ__^Pg ~yw vܝ@>Jv[1ZH?OGvDVc#.I -vsAcAH8e  y8i-"Q's@ӟNL[ +ޅl'bRKG^aw]T_g 1Dק䧢vV-~g1Xohbw)s(*Ę׳"cb1!!94?>3;}],4.&و'/@]j2M*lͼL-6 هo {&Lc.Y_o4!( {,:$`߫1 .Oc,Ѓ5q<v H/LZґ2b/"6USU\GjiedE-Zu1EJ;Uv'g lj*8BSoD9~),ȝqIZ%'l%. U֌w49\L7 so#Ŗ=$]8|< CCb=镵0c)݀O>} pRX1) XR@&t$ % - 7-lrTa!]i遬)ZI|{y 9j*F/(2,yѧ+ {[z+q ?8b۬Fѵ,+ڻ1o{4V/s沸,Pf?,shq #?!{ X>he ^2%1OX;Q2K4. NEϚgJoXLeRrb)`Z1n~~twV?X֙VRޣ2bte9thi<,eRt Vs&ٚ݁M! yaܭ0N֐dk!i4i0 >aJgф$=8#KH9Υ֩j@ y^1R"rF⦣6|@{6'5 JL2m}; @`nw咷Ͽ[p?CN^-FxPP  UUqSwB㨦|YRQVro:٨8taBE>9~j6HI@*&Åg ⃅\,[\s?};&2.]}O8%ܦnC&3%=u}G sxuUR&>GB4zE pQ_ZÚ069t"],R(jz3Sxˈĸqa炁B)Q:%7ԁԁfD7YI]s9dcEL/תyv]F~yzF(Y#}!aߨ,_δ͌"8 W*5p\9B Cچx b+o | 5zw\KW:΢/W<# c#Oi$|?=4JF&?H9wP(&%^~{*Z̿0ږSk)ѿaxp2,ς$aW߿8;ˑ2%_ v:3k-udQY?`)SA^Uw6ǔlG"z <>r*4O@PE\$[-_wfir0w8$o!Ks3@)Dř-gUX/45;g"0B֪0BKquj< >zu^K WSOViѮ C ) e3x P;Tm]4]K(]u=$PtW<2zTLx)E\ak,2G@!^vQ8*뭤h8˔.T |U mL!ï V+UO ji%GF\σ%ΤE2r8Hȡ]&Ep1o^: \F ^ʉ (K ̶IhmrlCO.o'\rIW@aAd-FOHs|x&Ń~JOg-DSU. MԐ w U(n? 5j|'D]D9_RzL6r vs}4.gʅO@Fq⏪mSn3DOdカh"K@bnMJD;Ea/!";~kjX 1=1\]} X"W- 0a]q; ՛Wtp?ł0d#Ǒ|QS 9 h > ZYZ3> =l!EXLݥ\oW,Nhl2?f /Z*@q|)e 3=Ȏ]֕1z?#j㇥Őhg (3;9A;O 0KuZÖ݃[^ʃVFBYcoqog{kCí"99E N1lҶJ;pԡW?j.9pG x7J5)jK`m?z[̎<9d, {^>دkaiøAvU1rq6LBX;ܷT =w,uj;NpVt#7"ӱAjҬ DOLy9_.w7Ő< ⴭGPdkRz=u30&N{L(nژgx|57gȶy5&1d]Νrǣ CrA#Ko!ƍærq/ ̿`״roN6j ϶~Zj!|#r`=HSP_)U}v-R~Y,^Qst\"wRX2R@BXTPsֽ3Gav;yts>{rnK2&2=Sx}`pCǟ329 ikwNn% mRX3L:IݤxWc_V_"EQWe@t.9- z'k@$!l8!(z4_`X) O*QpP} Yon A t{"S@p(ѕ\;mdD!6́T?Y` 67|jQ&8Q>xiĔ=A@񊋺g,Jsk{~eʹKQ.R?ԲLb{*dI wt15EAM(5Ҝ'lhR,Y>? \9Ʉ*ho.TǚL*i7+hp6 834BfgsԷgw|ԈXwLXo " yE!j>RS${c\|u( 5ԲKZgmttN{_}  X Z _GCF9v`f ~a#xhx0P>nO@j@:\Py'*i{B5AXf`f6V象.C ~Z~ Z9WK^Ƙ+|2O{NGD Ma :܌MWI)][|np䪰@EWg>Oڠ'Od9*4aZn /yIq,&~gXIlB+=cز3#Gy}XǎFZʬ@O})~4.9R?F(}C]4taޛ.ыY-EF_evz]U`;x-䚢 T~ʵL+ކ'GgQ (LbD8F{qZ@WI_!G"5M:tz. i*~<>"\)k@5wUt3$ ob ͞Bz vco۲qv=pOȯD䡹D/D@Xq*ިٽ}:#IO![e& GP4cS \Y5da~PvYѺ rb7W:'^_$UNLpaKgQ 뚙m]zs N ajeX(A,)m?V5kTq>J2Y)j:_a~wKEV)?6AU1&IU ڝ5D c 3 T <ιwž#nFl~/sʻʒ+=N5fyj~v%'Ez;)=HA++83U\F`f+umIѨ7 _k$vxA[_^P3/nMۣ,7g%,6աqddEET\b*+ޝ̵JL*Un 'qci}̃Lw_kYpq+SG# .[ ke⑏Bl 8: oFkIwVY*ezCNF0wM)pJt0Q)S< X>p~vo f!IWTuwɵS\f;gcU+@,ڧ] $DOnq>3Dހw{;G<M0JHyt[T̓UI9#IޓjGMq#U+^P'EgIc-t6_rec3|P\xޤM/o[/pl#d龊@~jQWF;"3өз%͗k ^"^5~hލDiwRՒPr@Mdm_VFH@ [ 2юC검l 9Bg>+dF#b5^UDžu7Zqwf8CbC]u{5Уg6`N=7Hsel ? g)>3Ϩ\rI$^oCݎ%~^Q sǘ34˯^BQ[N νBL)!!]i'Z$ƈieG2!]lC.'ˡSIw$JFE -ܴ' g%ƺPs# 3{vH)ݜ>꼗i%A9?x9)Fgօtܑ ,\/DОFOE6n*yKu!^AR$PW&]A|珍5c5/O:TeWin- P#$i3(g6jMso2v+-ZPFLS#{]aMCZ-ϭWj ZP:Klu&3J Gp%_td i>)ԇ7݉rf:j=l"F-;C^uHsvQ^|*chtlhx>K؏߲bmEAHɷ4PvSaUJn2Gn*u?M.%Np:۠㙆gLd1wG'n'ݞ=jQ`pn=yrd*vsgedfK:/Mz.MI[_Ϻ֤*$L7Z]؛MZ9j̊iuRn(؁wKatNaD'jlyRXu+G\Pybo@fa#-j ,V/ *w2ofvDQeTyΐDŽr 8M=8\U)܍W#4܇ޓVZʡ6ԓmBϰցX0po]h#thbdž: (|#xhXK:jPf#AT.D'0 ?F1Ptv(2>R ^b݊4\kNH8x2_oLUeZWVB`w\1+XZBԣt 5|}5Y9i\F: 07`26#k!tsDQ*׈ߴȪ3NwS3ު#HRسCO?7ţYO7y_ʚ(MB^$#-&8~Y~/ =1忋C5MK~q-}zv9K^VG\c[D 3>G4òe|Ì- PP5t+!Dxxeة=^k247`>b0z4#^ 8&765ljXrqH X{- ĝ! awq?P\e>qa-HFxиc^<`W=^SԖxvž͜[_79=P:&+?Ysj&@E︊$sکfB{)|pR!H:~UWb>S񍐗 =kib@<(#l-Tkdre$zg6"H; ;|e>Jyj^,Fv36t?r#<Cs]ǰ4"/)Q}@J8CG{] /(z5GCuT̍!C:UN ␗A]dfdH`Ϩi~Cl 2pT7:FhlO0 d ۿi/=b^,NP\8%+]&S(&6rdWUw֥+c$NjLɸSoRqbd؟v3Bdq g˖y!1!jtأC̫0χ)^ ,>ĨvFE `aF[8WUqY5sZC׆Jt>L]=Y+}v!1Wy\M{6 kX:)0żs8W`}>VŌi\,ռkW ,N @aZTHǕ ?Y-1 n"wĵxdl~zv{6dEԒ9f+C9'0 o3hxjH]ׇWJȁS1Z5\' qw%̋w iG.c^1,#覒eth[jmD5wqG6*ӎV#rqN#Eh&s3"$H'-4/U"W9MXxk[]"7C0}t xYϱDnj>S/ (r1SWey2=:vv3j~O!a쫜hZdtZ(O:G'bCQP$i ΃ȫD΄K9A#Ph,AL$`dsGg! I-mC R$A%cz2`U<' GB9Cwe_"ARL[5SF\0vlVI`"w,O&I;h/f> %!d.vce*xr72wU,6s9= \I|):&o0 >yKo8kpn4 5(ap'jK%:cn GaY |8Lo˟J]b7'bhH:_ FphX]Yu"fGN!6s> ن-p{A`5zȓu5,%UԺ Oa S_)UgK .{ ^}U$icGB^;,nq2r`]꓿cSCazUg<)Ʋo}ZQ8˫~c0_Jj=w`! 8 > O;Cj?gݞP @(]o;mFI9̜}f(!R"aw,Iox!z_ʡ؈' ~ݨkfUZLȽ jW`}8Te\[&@`V).$hD-@c[CULm&6yGhpfF}1[}.9j` >AG@\3,*ay|ԵJSרt?xqdCR۴&6:L\rS>JZW.s :Mif.YHFD,MgZIW^;(# &Oo{?[?1")q\7ř"ĪO4[3柲(턳G 4 D{9V]M#kV@C@܊@ ! w@h |ɸ2(BBQ0ƇǒlL3Fq:C4% 3 L]f.K$QŠ{gWт:ɖ;n@OdR3R!vRI}z1[9N.IO8.Tѵ;qWIf;- ..iP{%&3uY)veg6e`)uP>@c>M z0fd|)= Co:f(P܊ Jo`Ehw%kLQsZ##鼩g VP(dGvȣkœ{M g^vU>FL)[xfi_ IQ ]nHptKCԥYI ?cMf=NDY~sJswmT$~~2w8' ̯jH?۫$+lHrJ޲\] 9a2bKy.>kߘuKhM:9Y) RBO$6n|VC$HiVS|L$tR1QVW44~ ;YmnQUhZFiNЧ s5D_in*WQFJEe1'mlc^L%ڹ&tVfl~W77~>aS C5ЛJ׼,ǭtUnn!N M?^^BA&[S̱iM陯A\NOڤ: 0ՒMDDԷ"* ZyI&wfc$J:f89kZެDd\ɛ]0)~W+0~\=YЍ~f\݋11jTBܱ5rO#f-ԮǛvVF"GG [ij[\AUQeK.(]0/eZZiEBv<Y~[-SDexRn30D_fۆ= #jf¤<|~{U*؟~HaujHΙ/PZET3F=荚m V'o ;I6dP_ }3h=t,-ܿgϞYߣqS!&2R@^aWbء~GgO{eÍ &;'B&.Jrq\lJl5u;k30S]D/y-{.q9%(ۧSk׫ Hˡ؋ʖ P]Bi=e l{vhē،R %?>HѩnkQQX/ˎ4rۣxrirYKX2IFvQia Ao3ƏqhjG5SHƬi@c:ϑ,jY~i sa'.6I6qSD`G%2ͨ5 D}fowfo#6w¢<5$P =rRS%^OkZ@*ci|lz~J* t@Y z`U^z~RxI ]mb8)נsP4UI%$XaKo>!IU( !;\`R* OM~|ڪu4PN vC 9NJ` JhT; iC#ŗö*MFAef)dg=;ɚ.uNQ:ӆ۷x4->&r{lkAëI); Μ|Kd0ZIQu}iJV;"l?K`6E*b6w#߾Y+rGWEI@3SŘn),<Ag AyBAI;,lC$8\K 4ݷ!b, PhC%WM]Jm[T@%F>J(=|uf^nяxoµ9pxRq<9َ\C9% ۹*rGLQ7FK ^3&j j[^+0{n|,Ai%&|Ve#0? 1chH@M$NҊy`I> w\H}_̚J{T}$΍Uyc1͢Ne،2|1g Øt@e-tau>]Bo&ʗ!q"Ek’HO>}xC_t[XhC)/f?D ^߭lWxTi\$;U8 ìcQ~(a.rL n2A<~cq p[i|`l<ةTBLX'٪}ְH۱{/JKOxLYZps㋑f*rwLMY{qKoL320 t$wD ߰N>9s̬ Zy>wg}px5|qrN9"xBvȋ1$?ٻnZףI(%c⌆S0G^_Pd:Js`mx%L<)jIEB2ׄM4BV(o>_F\zn!8R3B7x6'1cs'A}X&5' ֿ"ڒp#k/yOa0לڵb פ˕1Z%GғV4U_:NI-THd<]QacV̟G"8^ID8̜ ?0oP2{R?:qECs"jCcEuL?\ѸUd}V [ (FH{]/muZ#P^@Jq.\)`.58n7&_osa$3i{jXMOq6VFc^ZD'RNG"ϒ6ӳ_b8Czm„VؾAz]94DuO5d7Fˡ|NݾGIJG$эIvLyV~S/ gmc {_tFfR̲DS!MYȉC 5;5s-5._<@PrFyVpaWD0K"^%XьymXot"#՛(mQYy*,WJڔ;2 p ^m&c3x_tc^%xE5mU*tMǡweO z2а!$3Re{"e=&/Qžz2[WXBjbIƠ̳A$%11bҏhA[ughV%vCˏ^:Tm3[CoWUϸ4,^@5jdЧE'-^&N$vSz[A>ibt^Ą^kJ5O˺* O9KRnAXD*;WGIreS.CKe;bAI]+DZ68*UCÒ@:j~BR*YQ ^ =>WGڣ rER|pUهޝEQqa0٦ru"Y?ѻtx/Eۃh$ߺOIm飒U_/fgNhQnpX)_?3x_߄CNF h $eڷ!f4C/!slVH%qRr)cvϱ?>Д aBۚpO?c|ulwrr6yQڅQ0:VCIXM8Z`5LD:vzU9Vb7ُ-h2P=Cnor`u-@oK-'O-*X p^":z$[0cO{36_GNW\x+- (P`:*`!CFݛBG*جUs * P %/sAK`:q s6g.ۍSp4g0AtI,V٘CpnD3lQM]'= ~ Ъc_n.IHDmwy'(yYsleU{ʵKZ- d)$UK5apxkJU9m(5d|#d&!Q3U^LE߭/^T[(V+p?R-Wmu1D9vKCQO"5_+Ɔ;Ah9*kzD"BV/;@DgH$CN:-U5 ˵ed0s.CJ+ 2}0%i?:%WS1_j߬` |mvP/}"D ˡ/^jRUC^&} @,g-ru<{㛅kB4$<4Vg-4gTԉ#?y)3ShGĢOLw=6ξƂφ)#}n10#[8bގ 7SQA>,4.UOe{e%F wmsE a|x*w Y5rC6.ŕ<5E;7%guSznˤr  Kr@Vk<e!?yzx3ZH u-Vs00t֕.Pn^|Lsp%,Zry+Y2TysIcWuh]Ms~h6n a[ V~9N-/Lð0ْi}C<= UdXS Ǖڡ}УL @!1%~mqw 'Len|wA=)Y*QQkWD+&g'^K D3Z ީt%dw]sK\l6xE=cyEOFUؗ8d DcNy<3(_ p׭cXWr,)`[(rnj)`7%-C֘W4>`EUo9Ui_hy5-3 ޔvpj5)Kw% ltHK ω(ϗ E _(z7).ˑUo㍏ѡ0 vA |b/b,<{IySC)ߥY x YGtL4nI~Tʨ5p!vH{;7\`lk#-$Ty}VALP~zn;/NO(dgީ2i8 8[ P[\EG* )v]n$NQ[TDINj.+,EZS+$#/kA(^YbHӞJʦ" M:i>7/Ir99bE'mQ d4Dʯޑİh 9ŝ~MxbvݙB;TMwҫ&S+ơ!B {aAjg0t'j1FuyV݋(Z&ÙriJ'i"x;q"tL)9g `! )4TE hiδP[Ja'+U*zg(>zHfJlZm','j7]7 \*8kxV}aܨ3#?ψBJV@FAI%!'I2%<, YKEMFJ i=71)ߓ YLm!:X k_I&/!-av5okǓ{rDkVǓ¡9$e؛)}) ]\!SA&/|?zf~$:J=û.=˾S,8fbx9",UL9+O=A;#}%H؟CZp:؍wv;)V5[0S, 8y Q҃\.ESi^G)S2 0r^S0m7[Ӱ6m}*$|%: >TdK3ȊgZ)CJ}>G7quZvR>\06Zb)EvʕH" |}?IHUKhom -8,`ɫJT/??1 &}=2@3iZ9P/hSJHíƅ E Yб߬;_&pV@ $WO=Ua 4>$ ,{˾ 7nB ^:B襪3 QD;DTɾ*[p6;T%(%fI\bzym D^ZMcV+bCp d`14YLw04T؃-SOyZw6KBiŎ!q e5Xtg(NΜO<[F^NLDGFogŲ%$id.Byí&3#aHqTU]yʛ PIA+̢"&xQ Wtf}Ar]R\VyP!ԧ\J3>dĶ%5EF#n I{hS/2ϗ'[u' ϳFU n g;ח*)yp?CYEQ d#CEi}dǵ-C nUM'hWu\q], Wh=P~E B)Le:+#(?1H F8.֯tSJ-(HLֈT%ABQTe۱6SCָ?V@|6;T1kI2 v=Bٷ{CkpOOC>upqN>H1Ach]Kp~d8ֱ./ބlj˝,eȜ] Խx׼(I69\ˎpє;JCu!=Q{rw]b~IkCPL5OBC|m`gSi`jKbUyRS!&J!cgq&p/!*>4  ǥ2%kPf;ec௮67a=9j !NRĵfER;QXV;Y̿c}8OB MXŨSEy]>8ҪtюVz[#07/ '`齬̱ ̦_YaLgC({¿AB|[h6͸A@As2lCqAmq kZ<%xH`Hxgvl/*S/RVH{G cusZdd8H|fH2@YXK2eVxތIeR ƹ|3YSݭ߃OG24U!T@?h7gO{EKA렪`I0e2@62=!Aq&9lZ8{ Tu[hb1W*SiJf]y^2l [)24љQ+sP*/YޑG֢'% „ȇ Ovpɺ28Eα3v%@e0P|8g+?fE] ]^\8Ti7M!ʫ1- ![nLS}`op'84JMp+Ѝ *uBIuKU2 >[0o'FwXR qc1Dv욐#3kLbRIJC}Oڎa/eC7 砧˞d:e!"}5vsЋqMmu}upf_iٔ/?(S~2Kyp&k#`>Z \!."7ex1C1`f;`1E P0E Z_!9?wBȵ#+A &Uy'Xd52'0.Fhd AVi+&/RջccDs7y%ٲ}wDl&aeE!ԧK8l!9Bj?O"vr7q)&/Ɏ| ƝyKrl7I.:kjAuwt8!k‡_~ vN{RSǣVLx(=fl/>ZIGj?{l|V9.kҫ@%'D<Nj><$ y|`r1v[@OdT ), qyKݙ!ps[A#[)t2Us/?$sPLQ[,UINL1s)7V,~ I\=.<O j5]A'=%1# k x2V6!\.Glԍ 8% Lft޴H`ud<t>[zXw j]+N@%>,ݷkƲQ}J'O"_UtθGE_uϙ9:IҚ5ZQˣgmiS;iౘbԼtx c0ѲO4wsoA01ϩޕ^Gק:RrU.=QM2c`Hc4j^NT%~Ɂ}}LHDȐɤ9E'Jevno~ϮCsY[ Za=lI̠ɹj}xcsP,]ixBj&bl`Jׇ[w: d %oF591N- x| ݻ4NY&+;zm@},q*đ[ q]*!C#e`Py^߀3V 1 #jUŮvVU{aӑ$Ǚ<)qhe+( Q^$ڿ$)脸fս5~Hx*]'iدkxi? YN" )oBdD<-$M2+nKܐЎF_1̮ 9~jYiWQK 1H4mx,.B nPt8.jcݡ~7o?{Vkrzt6-W0DdOu7kcFP4:,b2ۃ\< }"}F1Ρ_1@O%}jv*E˳Qk2 6ׇDE|S0<Yߘې3yG)ᷞPzXsbl9O9vz4V56hM?em* Ѿ{l!Ir3~X9X.n}Ӧ9piE'.V9C~]}5yi Kj2Iܛ5>N_ >sZG$v%ZLR.y!#' v bzsZϔ&yIy)WP (K/M' ]S1q+]o 4L(Ş3tUI߁D]ٴ, ?0ٟⰉɯMhZ *!`z+!B Kn~n$Bf&,UUqqgٴK5{*C3L K 0q8qkc<~-P,-qxuS?$7B(u;3uT2V\)=Q{CCӉrσQK}5xv\v8N>ANk9c? 7ay.%ݚ]K (=3! w0WBXO8d/.rkc͉GobY$!,k7 +ʨ2vz&P. i(Q6n {8K,h= IZs”xV-1tnkDH."GD'mO#/["ll/ 2{$AbÔ,lFp"eWs$W/\)䖦uLLҹwX\Foi=9\<2'(F^̏""rSPw.ɕt:GH$~Ecx% ^~n0'em4и ew^Azt}t:oϷ8\b2`x𱢻K׮\#j s~TL7H52`9oqjL g8 ;lQ<č*oJU}iQoᴓp"ÙXwS8Ӓ&$kB0*O+_䤴F]J%M%ݏ=Z9,΀rDҴ2'|֚ʉu4Ia%;Q+a~Cbߵo<&O{p4 ?a{scOQм6j;8n:i壏-[5J jr9'̫+q*}K'3) ?`ߛ7ؖj_PH*A pqUYw7BzECxT>H 3Sڊ 4|qD(>qaSD5 >(]V;`fӔ탎H"tf.s%pH%{+FL$[<_B&F0mSJ3jWP<RT  C^<-JH~2}nrnoYķq[Q'vg:3~8gz{a %|9˵Fxm=b*Tqq)B&Kȿ&B"/b R~¼E-yCd&+ECHv򶼶pS(\;% kxUBlz"őM'H֝|}uM'#NculU2(Oaj0Oxz D'ǒtRTu)ۀ~-O˽2RgYzwz2W9x{X4*GBTJ0eg:p%k8*WfE)R|W  4\Ak 4̣;P*= MCHݚ"IvM &gʤ>вl:{xegN0{d op&S/ggcV6d-fƨ`VfM%sT,{ } A>nӼ9D%GXbZx{&)vy:3\ű(;1RM"w놿) ƍYSśXfo𘀴_kB6U|~`}W,#\tC˺+Za_ehAگmPΦ?Ƅ :oG "bh#,mXb2 Ll(5Ztsy2eZ8Ϭ, }$Rv8%zD{0 3& WMGƝU2.og~o\ oγJ {/`V]E7%SыO#NRb4w /A/pYcTXb쨞ٗFF.S[ :^{`&KFA%:Xi 6GҟMvG|]O!eO7y,}WH yVH@T&D/(-އرpnE^:I)qǽG@u>!A.nD]OV:h<^P9/Hն֥93d{>6LZ_As/j'(Vh55) ?iLFRA/wͤ,_NфV2}j4X;n۬cxjt3ܯ?%9Ƒ-ڴЊCl;8Aq_!.*S`'O c Gvǀj!^m%|ȘsJa>wnX 0 =zS)+ʕJl՟ὑ#`-,1MfʍCԑC;5m K6UxheŐzLߊnؿPVΎt\9!MiPJ Cl0O\(+wV׋0$!&?_/{MB~#_פ2|tBl1Od/)Dւ:d(aw$]<zƗ*/餕&@nK%ˆۋ"V2nv&6#xTdtúG:{ %◶0W 6t2MDz 7X3 k67~yO*GXE^"<b=^&@RTI!ZZǟqg*%c |C*曠 Qv{#N}>)+dK T^(}EQ9}.CۃN|0 `E?{ϚӴCXzdWe!Qdtelx2]]ULUE|G1ÆMW_/c3QJIbg"_CDL^GK` o J:A^-]̣$d=A> w`:[9zPRH1Of|)_5}qJ'; kK)61 si9b3c%q6I!Jg;uCW?#s\\K:V!q,8k5 x:os-J1$}n`dsq$pkиE@U3CJ8h窉@niU e.lRN$R  ģĥHk  )L,~+trf (-u2 F~Q$@^39~)ͬ#xp.!wjkb/B:vp>2x(I+4lЖĕ"M(VƬko`Rp5+Lo^3^oLިIl e!(e%W.עtf i7&݄[`&P"1$}yԂk\q'Ŕw:Y0=ip "=ϯvBUzprb]hZs7jxB!wL޲2 4䆒>ƿG?=rrt抅i1,:| ׻ktm mfC6RuJz<gzMAݾۉR.{8u&H0>n4_Q禔sU)ge} nhD$yCaH pJrtm;Uzqh| %/7i9Y?'}ύVp^CA3[%c)}.xVែXSЮ/9C٤(p̨W!иe.'pro%y^]ytuoa60'ݮdN%TaC;1IJ:jhpc=Ϊ8w-ufDzDHZTH )6XҮ/|rkLU˪ (Z [+\ޅ[9y+2j6<rM|ԨbJErAָOWq3/FGp5MV_Dʯdq,AsPw< jC pJ)ևe}(kbIFNޓ"Ҽ;k!u8drG(%9,*g>ܝŷRxb9Q1fU6gQ/FwKi+h1Y9G4ҡOQ= ^3/< (y!'42ZaDsEePr9?ÝJԒ& ւ 54 j2DX^iT`"XTau-/='Srq9ˈQdjslAa({cz@x=/FeVLvW{p0kC>R_^0[Є43C`j_0Ah: *=k_fy'0O = BqNeuX Y%C?{ԒW%r42q]g 0)m?JQhW;;O5 GNwʔpFM@8+ (@>=3n=ofh6\kFz_s#~q MR;~M*k4?/a::QzZXkD 7Qc1aj #jʦ{͇`ts6kPT{8M }־и q \͈5Sq_vgbx~Z!ƥ-_5409^ć Eybd4G7և5O4#Yj?) q̰0wtV:ȃV!u"&ȯM{h~pf+Gsz氺PA\5 :y@KLA!yɂ~(EV{1zN9 ,nxIΎ( eQ>\O'r}l_8H1kܙDWwO {N2 ! NʪyqϷ~e9A Z^̽QcV4uY;}y"~n\ꋽ@1S?St|S7TUh$$Mxg< %m ڢ-SV#RJvƿin('^sX4'5BM{WnJҦL qQ傓|t1nrt++xTU5Ifeo%ʽ OusUA}"mla_7/ m9NyNh BבISڒ@{Z\w`r/HEj&yR0% X+xʝ0Ws??Bī!:!`{X"dmy_\ѿ!+ԿMA9QAVi[i .cZ_X?FG}kSi)=zT dS6n ԊCl'Ii_-u OS}ױP#ȰUri oDp So5 @&TqcA o)E[$kMjqmWW#eL zς1I;/еXUv|5Fu l$0Fb}br:0$ nM+Š ? 7Ը(ڃ(Вӳ&I#2Ҋr#z\^i_,sh x+ЦWd&m@$ 4EPi=zYp6 >TPͦmO>A̱vL54nwꪰ CNb{ iG`/-]yQB<)$5bRo/fRN&6tT-Qmx(}l8DÍ:SՅ[@5 >Z_TkwjNfJBMLtg>%>BoׄChlX'; Hp&@㕿/+SK%A+dgmS]A{WI`xEX Ō؎^I>cL]`|{ImSaze48ݘ1hU1@RAr\g)(>՜ Ę>i\r򘗵}\{E)~@ߕ':R2uV 2SQ@oԔJ$`UQ| 6YE1C vAKe^]KnyZ!P@u*^0sz0UtZPvV#Q :Sv$z@zM\ZCP|2GH (t@h2<\+ѭ53'Q&7}LԴ:d8=of2G0N^PDBnh>E.QWjh79NP^*ewcK7{ o*9|\Nz[%H舀~p_IAx̘2%J kdYnZtׯf@C_#%ׅ(26[Ī!Bק^Z\ M1blL `>u@hC;NӋ)YyM?yH=rR~bc cTanD;e[=jt} ?7y?ߖ pEoO &VmUg2(i;gs\IU|OՈ7`Dh)/OO4(%Wm´JSbmyC ; +rhs ή;h<zaGZ=/c) QtN4rcQc+o&2am&wQ3KMCXeh.].l>T8Bb ۖԕ"ë;?jmN d-F sJ2 o y+nA87nTۧN-q3˛ CX.#(xI*P|@"SRW*FTU/:i+:U4=3n>`_t)}ap2尖kpmPg#嫪#:fDzz.KEݲ^WbVBKM v-Lޑ9Jc_fs+}/_V+8|'^n]J]ʘ55eh\! lrǼ%w|Cyn8ڦsr\ڈ2`B֎e0Cpd9Kc#JVB5+U9Dt/L 9 33^^&LJE QW/"ňdTt;5Ɲ{T>i 7<2(ESmRy6'Dt%aN|/V>R(=AѦicvH@nȨo\CQY?}Z`v/IR4fw ,f6A54u AU9}M[zNBF1o [&TBwggF0j ט -ɦA~X3%IK̻PqZ?>$T yEpV#£AR E&~_ukCەK OI3}Me`"_娩8挂怆w-q6F0ӏ~DRB&)NaٮdhQХFaAZ7Yu4ò EI]<5;ϕdIadj׳#*cSo亿q(VkR5}͟x_F F[6KM;ܘfd|0m\G#d䇼Hܡ´nd=/Pr?xL_^!%PA)dv d>xu4I 15tWĈ, !8sfn@ S+mxO&i&2["-R. y,w7*P1U3"X!Hh*߄8a:}:P_c&Nn1EYqhX6Dlw }bH[4茡@r)U$J@q)_m ..&эEs{w.WSsg9WZ 9M/W"zT ]glwъr/v_>9A;Rł& 4eדbEp v'?<QЛR3ZDx(UU%- ӈ&kj@aXzxgZ,2sdy1AWZVSW0" 5Sah+ "O2D11U+[Q|e^v[ڻ48%zy%MԑOQ/#y'T@0r:X(sΔӫsTp Кn`Z-=]cKMyŐ{żJwZz{۸@4.x#,f L28 lp;~7&I3DD}eXK҅#G8£Gf=3gqsl'KezcP>4@.=HW ԋCғiTi[fs듫$y֐ыhe'`vpO݈{k T<$i66+1x$3W|COrd &<3s}[g-,5R /ƌXh{JS̓ ,90+7$@GI-%qiJF_@mWBJUšUw7$fj+mw61rμ85Q;)Q|pE bf9bU}aȹ!VschQ,k^mίDE/ W։ВsT4#=ਖ਼Q%@1*6UvjoE:e56UK9.p]OSGU_ЦC@zesĽb0u ^vlad3b.Cɷ>1Yr rSkJD !8Ի+ zN>ϰ"8}% MBȻ_;e="V%0 $k\/ YlSH,&&ӝ#ZkFl%xں2&E,5e\`5#jfϔ6I3)1-5Zs싓/ƖyLEy1w"h<i > b5m*Jjpv~j.SP2nJ#Q2ז"njɐ6`'hjdn%=6QigTI8-(9$l{[@OJ>m҆;IOJha^0)I:TMVU"J 6&*N,*ݹ:G]3BAv1bO:/sANmdlO2|Jϰ5֓zKk# ΌX`SgNt'ҦCx_Upb1@rm3v*p ۇlb$/:!{ v.'HqrByH G"d=7,垓NPB5\1:6ά@> Utۖu84khh`B يru؂*3_4sTFdG>:HΛ%ILn^B/00ZDٯ5DJ Oc=G+Ki.osr9ڦ`5omv/Vt䳇N]fcw FE`YJo$sBǢ/x0"L5? s(QOPz&ْQzgA}uHkNBj>xCdI fou=IZ,~nz#/l@HWľn:p*+&% 0,}1ǿU`ӿA#| \} (+ODw5׹|,˹"VΚ5$'AE"7qubrTRy@W8U%jIAnGnoz ڔ/P@ \Y',cT+|6MHϕ} 7m.B&<1.pN3̗ ޼}tc8aRZ } !:Kޏ Mlw{ip4%LpYIcPs&eLgy.8=y>\ZX]?> [C`,t(ïa-(mXTA\8XœD10xKb+jgo81jn 8 UxGܸt=i@x rr3IAوSO4h]B?@ۆN2k/Hų ]2W'MegP4-jz)"b$N򯍊A|EKSſ?}L+r=lb!0SXP@s%ui4|\H#hR1$|oe_;0aDVI񛛩~4{>YZ%  l93nSu -qΉm7Ξծ< w[!M]EeoXX0m{7ogE#K"D tGCmx _.idRBv{Ӡc;8ypO(fvYhK|!q"ԙ_Tp7n( =,y?P yL&&.հ  +{=KJgqۜ}.Hg54zG$B>Ň!1mQ̕(V9v lb<$]"@'3먅JNBOZNJ&ޏؘ-=DzjL *>0[*Qm1?!<5egYZfebc9e5ede3d9d01bb4fa074c5d06b90375dc99cdaf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a556396c8d516283029725687324b706f91b16c2b4