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  i34d ]/ HOL-Data_Structures:threads=2elapsed=569.448cpu=808.732gc=65.536factor=1.427zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%ǭ:gxLS~,f6rXVxݧsV2FRMw &CE_Z2܄_mY_jpu5kcHrDcuS%@BHO b%%q`JPtJn%<@RQT}A2I(5ȤYLi#Jw{ M 'r"cUޞ3>B흱F7]\[& Ev?4 K~*{Ru,[ZlCk\J"S 7U=o$jK19ٌY_K F{!#r6 Uvoy6ZR)|K`JB^}F8OPd>Km.#`m3d*\=#,ݲZnkJaE ljg<ߵe׿.52,IOa>G0rfU,,1s.|:SƷmJ:QxG<@[m$XI|CMcUD0}XCۏWe`ν8C04:Agx h\)Fܘlƈ;}[$Xqb} ij|y(_@Tp~1YO~۩!ଇeBxFgD6u2ء8Ln㪵a=;ttߎ͟&J8}59B)-XC->r*Od" |j^}Vλq3#kɘ,q}7IQ $m!+lAXf*=(Ťj `Ͱu?!-&nam;ޡ{ح`hhxyy\1Qmz-=/@..ikP1a)Nmp[>K~%,|ٓИ @r\?U_pbqmlmD=of*7ҜܮM<7YWIl|zA\쐚#ѨVv;tTW\Yeoq[w^x_ h4ԞDe!;mJj5~ъT. F5)!R8]N BلL{:"w! G-ͰݕLAYƄӯdϐ[0?. wAA9Zr-P? c/Y2Mk|Gf o8[ |g*#?A!} )]LxRD D-2Di9X} "$ ?+B]bKQӆؓhպd^aBSF`w \q~tNh:8D^ :p00z "XeT4sغɜU^Y@j$V&Fy"||[%Ie.~V,gZhP8d,rVQ|=SE֤'r60(*-K-~gUi1wy`62R~1|t}2rtqܠ)U8Y*Ʒܑ̤v>( >G2۶"[A2mFٰ pAk4M!ƟŸCS4Fz}@)XIZ+&M>ѧH&A(ȝk; l:WÞi-r.jUmS/ 8_^D\>+l% @!|tf W7yf_6ҐICjAe2q˔ni*񔖄΅ .ʘ awgYZ7zXZִF! ht]ŗXi%;c\~<lRI;ÄQ8)# RC݃mc1X.n5z4d-hx"ywa.#84녃a=ⷃ5KE-}t SyXt@<'M?Nn]hK'4n?cԫ).QΤ@P$9u[TQwp}&Mm| Vnq}5EQ0dˈ BcRmr4i]DyM1}v420be܋J)wn '2L^a#ˣÂv\ҁUE- rYdNĵuZ<Ԭ>v^+uw4L̑3.P4NG_”/hRHpqct1_T˚4^M S~KGjaDj&"8aKt핧0#'~k R d5JwRWzcaʹ#_\(($@b"i+vP7[<$:}4qPt5X9rI~>vW2kUz}ej 8 b l`9t/k7'ۭ\{hʱEe{#9oG _=FMo\|=;į2/bOgD8(FTpGFto|ܽc>+`zʯWGnw:$d_m:3V/=FL zNr9t2B d e6x5d$ d!ֳs)1ȹ5ʉGzjV<}<?~xÞk+,s-Buv=4:H/n=/f*6l&G*CCkYqjyHH 73E $%KfXL}ɡ!-s71t@ӚZ=bw@r3gC⹫b+ `߫Oadd+#/ >ynvF@Oܨ [ېygY2cHAi?ȥ>Wdocq~s  S(9"I;. bíDߣ&t+"-(0?sDzu q뷖E`d8EåfFLQڵm'%ytUb: V7mO-˥^ro L~cNYhAϒbן%.;xhԷ_) Pϫt@GKS?7 &˯O:b?Sj_TB/vBz|>"k1]W'W`{fna{}ފEHK#'QdF*gݘ6[*RP1nDx3<=XYN&D jG-hi3vߋV .ܢtOnLP l'n#-̜2hծO wsUh# 9]VYc~⨡ ewF< \+"Bq/kt GYwmۼ4)rhfLiۙoR{?yHTjݠzδ?56i)qS~kb8^"Z~8r=xlַ PPjdÑyMFprW[?$2nT3ϖNr~BF#{`Y~;3D*^HW>0A/._.{+)L#[|*n;%\s5>; XBR AB[9ljD`Cx^vX cu^;(q"QlK!#tݲ)c.Sщ%T3w;5v[wP)ց"``J< X^xP؁r Jpa`ں_NN؁wGN  .bw2zWKIC:|9U5[~$G4";K;ҨyBpU%AdR&aDCT@ &IU'Rrt&_&06Kxr76)ʞa@6~We+eϠByLa;]6 Y Q_X[j4=1Cq V$߫(޹Fa*csŤ/v+mB]O"{"#l՞-M D'7ڤRAKc[}<0*aP*j47!4>ۂd8veH]sv4*K*yj@?PB0d\K:2pl&TfqeH yI&ZIp6 H@|+6pPÚ󉷱L'r5ЀjHanbWʗ,;+.9&}뜎hqIS%,?L!x=#-I6fUi?O;y|a`Ixwb4d6a bԽ߂xxgc4Yy4>'\=%B.SW&n!60LeN4f f ZU)|zEmusqqI@!xPb,AD+؊rջu5 i[o7Jpx pA׎';)`/0 180[˛S{sU M\~4σq "X_`1n.fMT;v˯O"$53iNߗDF3{|jx2g1 5QGK T㶘_EMAM`>U% T 0aģȪ5zi3 xgӔOsw/B7. .~@?#[ D Q:Ff{kV9LV=faQɒ."̡~y"h ۟= )/tBk.q\ؘ5P s8dY-t]rk c fբ=s#7'PS&tpROH ,V]٥GIJzF&V}0y0E+s[5m+x@"6қ5k*W)P~ӺJY|Zhݜ++ Np~mmRkw;v~9l}|I0PW,Sݞ[#F D$SFӄUm9ʃ@JD)hG`8šݍH6Y`Fx6 ֈ+#z| dXjcY?!WXkeR2_ Y^x[z>uA+swG YKJs:w)! Ux S!j=lw, `׏E@5i)9I)dZ/Hd_E wa儣̚q2N"Wxgo`O0N2Q@PmNX9O[g&3AՏbCy;c'|ܪ&zؒ+;pe⛝/wJ̼`lRб-J I-Doy~!ౘm̞/Qopc*hS=Cyq H0]`L)#>.Ya\ T^>;[|0@x`yt'}{RM)Y`+5Q;$ɔ)0g `jϾ5ؗ us>-N5n%t-ƻJa?(CY9CUBi oM[v 4 t,6YG\OcDAm((fۛ khO._s1sFߓޅ 9h`*A#C męFYBQ'B}ae@Fm˸YJ1p.Uǟzr`MҟIT7:2c.\+=kz^w+ C[Jחf"|[%}MS|,W9&7c|6:t菖0/׀mfeR,-vs^CBefe]9x$WE􀀕 "1ǃ$+I[^;4٣.OI}@> A;w< b*Hw7%vm[+r(2n1kCˢi]jK*.:h%5˽v;2L\F^:^HzFA Z$pYZldh)xo]Ai;Q|x5[TNZ=8W1+XUT?cсo6mFtcix5Bb欆sũ/N43#Zd4Պv SUULoL7I믉X~y m(*zic1qo/"$3@rjYSiLjwQ<:fNg+H%tN&ީah3wr(Jm?2m9XXtFO^!BW=7bͱV鿳6{?^O9iSs#ѷع_hcm4/)c\z>O-0=1c.&t&Χ@E|D @2pG#̀^4*tp5Weu}TowYT(Yo؛A<, ws 8am!;~Bs^TeL iCLr\zÍeߥweO%Y(=WWQVzvlܚ(̻cv^7l?׆f˥Jq񲘹2|sz/cL *9ZO=82qqO0x@0 5 zmI*e!'0҉5xiYLW<)״+ӓ``ݝj~ w{Rl'۴'bV}  ;&mG\mgZ$R^[+ IB2)-,(sӗPϽm%KV)aEAɚO)k@LT:T/~Bi#NJ"Y;ș>Bdܯs̘rvhМ@HƀOPԕ[ y`G5GW'3͏ eB= ,.^5[*C(ơQvX.eT!3E܃T`%g 5^k}º+7Gl;"d M#?-OfuP9Q@΁x9(E( qD 7?o>D^SvtL=|Jv١JIڙ>{&i.9 kxD/oYg2f4MVH4u1N¨ @ŽOꆇ%l-Lg{pQtSyI'Ȁaz)ف!>a c~Kr] ķ13#vr7sNK,+Q^^֏7K)Ԕgqrbuoq!)F)<5%'-N XʢAY|ckLvUSB:GQ+-$`f}޳HpӨFoiB͜G8Eޝe;A"'hC>+ĵ{5p|`T@G8_!.cH9-{F;^ҍ6pg7T3[fxqmU%9O?8O%+e꯫WI2־pȹU4݁H , |gXp{cz ;Tx+29/,F4p| 6L:OS[5/c>ZP>9H+:+{[9-ࡈ: I>fD(8,wbwȿB_ӜAafZ-=wC}>:%&TKr{\g(D27\N"~lef࿁vIޯ~d jd<+xWmR+e^¥ixj҇G)#ҬHA nFmWTH=~Qj;2gF46.z|f-+-^w"_ P3vJ[XXwm5'/[k924!5qc  D<$y hA\;}0#eqNxpGC4Umސ:Rc^V}*S,=sƛ(WO!v G7Ej 0z ے;wIy덵w]U_犛MBBSY5Ν@{_1hr%Ʌ9Dg2;Nh8w&^M@w#SuݩIS 'Ji{Y>*@}*Cj[s՜fb_`{]ybbn+sZ{ԛzkdl$HTn GYb}/v?Dž9&t4^uHN=((`\JLLɄv5-H׉"W,а_}!όr݁ߵVybNPYoujYA@ 4>FpMzajnЛHG7Fn(,ɫY٢ky,*'5Y^ vXЅd*0G^)զ !è^Df{4DɉÎ$rqStzxjgQy-, rBaD$h4aL xWmywQ1·wi ^E@cpam5קD]&%1a %<"ZVNj) >pJ|8 [BB胎Bbׇ\wR ) 2jo8䧃T!Z#Vs3k{y(]A4rry_K]yٴuɏ;qr}#\뭓qL7ITK5\Al7IH/6`:< `ܺ}$sg¼z):)@̧.|8-ٹgv kܦ ~7ΐ׿W'78Y"ʉS\dG^ J-;اj)t-mqlA1:K۲b}J"W'31Te,Y6E ͋=Hhru-5_PcZDQөy_իjb'@DG3.Qy'>* t<)֩rⴵiXT$tVˣHfL%x Jts>@Սz^zWem5p$:Ta 8_-zԺ$0bns::H'$=QL$Dt=„J9h4pzIXJ8$ἪR_*E׈@&1Y10(?kT:FΜPFB@HR<ŭҪle8HtASA%GԐ&`C/׏I/Vl}9xX9q#~ X=P%Ovg܊t;ʇ'l-tI9Ig3ԩ6+jq0cL{}6FyP~ Pg.k__mƋ' {9c؀uC7_gj^ r/KÛ]RW[IK9~3QYj;CIiBf2@Δa6蘉imwp(f\dezqgw 7P2Apqxhyb}~TD* K0;:2!Q&H 9{NP ӄUV;[oT@c0;G{N,uXM+a;`& S{./t'ԕ.[(r_ZN+-+M>2)]A :l.n֣3`{{i^Z>Xjǀzj&bc7J1A3~Ԁdm΀Vj|%{* ;֙yBةE8J +.LK|vE $gv M-mHm~3-jA6R;;rԶa23!h(@*NjLUW]!j~)o.ڃ{~?<- 4q"S g!C0.=51¢̣7 s~1E(|G=a`9*H=Eꀠ H`찍UBBG rQ_M+eEU,X}n޻yVu4m*O:),\K_be' Eʹ.VszU${B { d^1(>CB~+S*7o:LKh.*uu7V9AޠdL[D~NM(d U[ ro/6:][Q0)"di$KN}+flQb/be,NaW^Lok0Y ))6aDZ zFwԯ2}`;9Ǔܼ&(C5IԠ_&VB3C=)|Nmjc)$0N~^B J9VNbBِ7[q>[asG,1hj&VR8lS: _]A%/FKz9 XQ]ލ)H )gH{`%qtZ}Xsu1Ru1˝Qq.)öul HK˻r_PGljc\r_\l\xԡ-VDPUE4bJL{f$N`;9zEy@!k$T> Po>~ou33_He'fmskj)6[~=m-(?P[i"+yy[6G? QU1paGm s0I% 좰kJi]\i_J-O.⎎?E228.hd偃~™ق{Na3D\x64u'uuMԳ>BJ%-By=Vam;ȳWeF ͍oҧFi&k8LO|{yȢ&47M+y +h_ Ӓ}b~ $q(P&"b T\+}^IcQF@Qvq{A99d^,AV@s)&<~U-guIMۗ}(sutÁkCNk -YmTO9{~ɄTͶbOGiT<&xyQ!_Ρzԝ臢iPmMv0wMdZ7!XgL*Rށb}aQ:)b >%v "~Kdz2%AWW~ILMl&pXk0˲ zW(hձCX("%uuQGTD?iI'! /cjCI'E;J{7^)*f}oE+UW)D!(%cţG*En/4,LfH=:t[z.s&-pF_HKȢqݩ fQ(0}=NsMV2-S-Q,Dְ_eWN~K2H<5)@z-tғny]ckC;"xs1+v%4&ceѡ/X*.-۪Y{mvW֐ ~{œs?ʋ'2bvP>DQwPx,1i+o#cu{vP׍KWmB ~`]_jfquⅰKU5$;cQ2EWNoCHi#\r2ln!nVJ߬28PX\\)1z_bs6úEwU #$aX Frpr vuvq5M]$sAe}a3N!9*;;hgxLӿ-hG-?p[|ى,OȬ #T+4׆Cr:YXAWd@k^ (B\σ: `xO@(3~@MSkլؽyoF54 ;i;M -n!C ˑ.n7g5,fTbnoCke'&cFY<%ƭb1!kK.JxH'ɲDkn2rQ8_tA#$L'ppftN| ,;R\E̸@1' 0ťKoI]uC&~&5bkyvO"1E(0r}0 yR&@1@}`ջm]4,}R 5 A]4LNΒ7gVXOhHO}`dM~=i޹z8)N{u3|z|U C`[<@ ˑ@,H%RELW`a} ]27,@n~7 /JK tteѬTQԜ(58ࢁѷbnsxk׳y_@;Qsu\ rFscz[C/ʒ(@\ۀHb$- 9{X ܑI !hEuv,!mѱY>s;s{i {w}}8dx[ Lx^sxxcb(tFgiuvn% siK@E@m1 6!s^+MdjӢjc[ ׼m?<}$ ygL'y~,W5˟-ٔĎ ?RhUQJK2}'yo& l#WT2Qί+| TO(h׻l&GU,Fl,@ɀ3G6.@w?Pr1ʼ/nsq.lx6Ff35`'25oAꐔXLkP1\\\@.R~ͨX0g Դ aWCM VSab2ˏ#[t(wrQ@,j/ 0h|$ΘǡH> ۠v;4R8NqvE#D^ڃQk+'. N@=./Bq٢d0%a2qsHexP|Փy'.íT 54B0u ?W^2RXv+@z(4ff>ƂTӭçrsd+U y˦+n/7 3'*| \uvRdx?ɧ$A6j$a94&1S!ul)B k* @ _^)N4\+՗t<\ЏW[";r55Yns3vсYW?5wN [2Urd,0!JVױGw6:=xtrm, qKQ/V1LgCVUj% ~S _rц`o,Dwh7,s rDU}J{(yis14I-icʃ^L)KM d2gf,Pf_:Ne0i, )s Ċ;)&N BX6 VolasOpU3޺(W&&"?np`{ gw"HP,Ɓv[._Jr#23iI]/܏iNFH*7rR/#匬a}a qe(7w,E“+a$'Ɵ!2iQ Eawk+ltdp|FǾc[1n<\IBWLPmR$o&X57tT~U&Y#G-nx͉?yWΝ4z\~ y4B3ȒqA6@QUe׹n{X#2ْOU Iq$F?"B',gV$&kRXb~lnhګRkӁwF@Y֛/ m0?鴜E?4]Ŭ\ ?OލoIr!os` _ckݶkJb?$OX>7:'~fI3} vסpysC;%#4ťB0PfPb9.c7:Uη\kaSܔ40s X9Vp(1@ QF~ȏJ:u>d]Z h!<5"HL1btE1,v9S ;Y٦Ð5 "͈5i"\(&4yr(8h*c8}3%Ҟp<ɹщWIVk'_fx?ңPajRLq͋|N$fXSA7ۣV͸@&^Y4hf:go!fCL4*.=Kd`3ق0I3(Lpq]2ꎨY-I8pe/ ;z€26=DCUG;,ke7yR3탛 5ĀEP4cc3F)nbfĖR8~_GnvʀH^ -lTns8S8i8?~)`FZP3}% lմ :QLM!]+|[CfZqNՉ򶅉lf"ɡyma\G LY ,Y6Cf2/g]kChlAJ+^ÕN>ETki1\N P5_b๝·L1pfd W=eʑ7]Og#@NF5}=š@>ϕD(zn#s|oRRNν{ÎG/AEv\HغN6FkT) #l6IZtV[>|YyqV L?; (ysN'96,kd1O\>]<}ml,%-tIHGIu9vj_"Kn§ n9pLd3k.:&VzOLCImW1?eibzV1(|KrÜ>wc1\1 $(<&,SrQ hЊȇ.^Dvž*鍦~e}<[Bn`l/?E LPGrhQ(^׶eT(cv\s8D3v;bu3hh'VN{ݴmHҝ/sAVWGE\^4.ܴOPte(X͹'zm\1xwVfbz]:6 Ф0t.a,:o2mDEDʌ]Š2L\.acI䴫I|Vzr nalw&>I3C)٦E14x`:B2N˘Z·Acm}w|fȦ2=&'tҬ,1z z>Yeԗvxl\3YCXկdp# yǡ!J8 Nt M|u,Μ/YQ=o}#1\/ 5YG7B3G;qO @e&?Szpou >x8(rfybf-(׮Ƴ& 2;a85Fp>YS,YbSsA 2Q}{'řZl(X:U9vF%Ƌs9q(`=(WMQD0r4BKy4sΫ"`0K) 9pp;:Rk(3va\]ܒUa{]'fLfFo3%^j1pw#ܑ有r ܍b-W HEӌS(͑f5_haP]ڬQouSM8Jلl[67fw>lFIX.Gs-6|tdHp1E3 4yuDQqgІE^Wk²-8h|]k2g^ *WV5Άe"ѳWMJ׽lCŢ6ٲnt,hhӨ%_bqZ'TSzWD{b@o^ jDzN(0sۖ_ؾg谤/tB/O;%8PS#[CҴ_M7͆|R f8Z=3&3 (|d^JnW'Z95:c#tM -j$!gm*YKME2H(bQ=9vlޙh f!] Oy'+nݏkV\VԦvc#%hD٦$T1o51C*4$ 6C !?߾B u̩=iN>ȆTQܟ%]Vˏ2'OG}.гsgBM h om^ǰm?ޙVٶ7G @,5V >Hֱ r Of)%9&/7΁er)fSקۙK|lnp;}€  x[`}`xi7⎞JGK&G1iҔ01QɏezKϲ`6Hҕ՗,r(}aܩb].a 7|ڎ}|`UaW[Roҳfr ēdƍR꿟 x{#[c䊔D L1\y.Z>ݵun{w7{.M]1CS~ӛ|Z +\Ny(P$~AEQY,L$/ku:X؀jEW>Xc׭JkF(ȯ&YN+1X2Sw2Ċp#Ǣ]r2u<6;׆ô"Q ܠVkHtTnn8ur鎷0#fZ]8N:UFE&@wf\Lj:aE,eXNT^DYpmd]WnۍϬ|E^B!;Y>j r <6Y[ :L#[1]}9F;45LZc*#Y8 hfTțx]=T2K%+3ߊ<L:IW:| *Z)vH,fBs kHl dRw,&56uZ%|~_,mpM>gcw0Zz8><A¨u@[[-h\YzCrg IN,+D Hje )ۊyZ-+D7{.wZXIjOWx5ԟ;ǃP#c(g mKjG@HʴWD?M_63`D$(^3CPW4k%Ʈ'5Ҋ"Efu(ǖ &W!$Fkti*OX;jUiϖ} ?Yt#<"L`UR9[- P$-5 iH5i@shSOhxw_`8nn Ȟ]fZ0`?`,JF̱Z/ ̲u*BjV1$ZAt_x|R-'gXT2Q u 8xX›skݽ]b`ʉƔ=j$7m3]R1t{ߐ, :K? %7XG%ʘ_IQFrKAJݍ'R" LIygK܂:v~4kp!"r+VMv,C1#nyRmOtBkS'fFeySqitRnubںQX{:_ hm&Kr=;|g5l$%6gb~,E50] xݳ1Vdvn:-p{ZT+jЦ~JFCtM;1魟Sd0p zI4yBQ%(Ӧ=ۻu-q-us-퍧fj_?j JnN#dL?@j*5<qjs5>2m,k#MT慵&-L'G,|@⩽ I6 5r@~ ,T-z"Y,iX..;V@G4KF"aF(<+_)(F3腄 Ϗ]>EBa6FHոWυ' 5ȃkg! hM!C]WʉVGlDxU>$ʍD1,򆀴ÙY7UXW$]V! 1-]}3WޖĽz5 SWriL-60"~/ڊ'%.c Ȃk2UD6j=_!$܍I 􀕴3xu2wpR:@\1 K ˪3{".޿xߝ]jLQ{<9p{WP%}fH +uON ͞$A Pc+C:1TX î]<_UhLJR߭bǼXܒ=ɾ駶f(@{\~{ ے/6k4k@䊌wv Trz;Y9^f̌z̭RAv'&0mѫbpUjAQ7FM% xM)ƺq1Ðg`ל~f,:N3K?Xh0,tf7I;E:x1ZuyW_*K0bwΆ)~?bl~& Z+q{"xPC6=|1S[>$iVl3l+BF90 /8%n* /L1'm?Kً4ACG l7K}J A(ɢpIYTA?i ZndnZKUX\RXc #Lc?g39s0 Y]1"^|piC2YJSİHˈ?jUZW҆ha9=ӚW-L.+WeR b0dDt}6,6N;0 ;2ܰLfe / wUs]QH(_TN[ ȗx:z4wg Gh/80!YpXu:WA[ TR%.io茋 XůzȀ Zty/ axr]}'P@Uq l,Ѩ!3o+Z#ɪêAt1ċBvpJ~Zn)ʤTw8C}у( BiA'1&F%5M(R#TAoRhY4ãpXC@rS*t'mxKy/z}Z[tJhSnK Н괂܅2KW__(v hdM95UhHW/5YL649 5$^%2鏨&3;#%F~ +tӪ t0Q9M$ۢi BvM| <6?pUxښ*Z"A3)}(?Q3`z6ŁBS9pw>VSh:Ž@9]Ϭ ͛ =[BW; ]ӸV]6AI[>JEB|y8ox|e#|˾MNSWRQ 㫝EةT"5 w`yNrflbfLq%͸Ze|A|7g 2K'X0= 'BNz)pR'F"__rgº֖;Ox.쳣+]V'X@Is|*K:bOq1!}9F(Kg4N7 b |ka4mRqzpr wڔ2彆=soqȮxѤɄ!qtxn H[f^V$f.c"EI\4@o}!n<8VǤʛ0H[h諳hN`G.ͳj-kV&w>fUGZWr蒏f >l8]Z^#~ۻ^Vj yؽn_a\|o\ h))AG6/8,k8?ד7) VvT5̴USI;  ڋ!9l-\/G"RBE5$vvb]a4=9]2 ʅ``)լ$B처=cc$$6 ʙuԒ7Pwv1Ñ=5"C;`J Ɖ9ߪnm%dȠc(nvѾ2PZfvG]UY`BaS.8 Qo=3uy7g*@ zйZ:ѕ?|n\F.]KQ󤪚OŞePg\<kk4Kd-anQlVpk<dT}Z3> ',K\ˆSI*>]2D\ )Uz# &^x\/U*xc 7^'uNL=4."T~|P;뉣l'p@1æ34O!>QVd_)^m2Y ;0v%AjɣqFu[8MaSeRezYAiDB1Ľ |s$"/RyUZwVϞ 1S@Of|Or}k9  E] 1:P<.RW@cWP}}eƉ~ F<)q3fһܿ= ñҹnU t><amn+iUW+j3cWUA%|xWaS+v?[啘xTI}h7YQq.h n9^L 7Bݰ%S.m AțKT9-M^FY;'*/9j-/[/z/U^4&ܫ4Gz}.2xTg:;G6"3;݄Q@ NRL|pb[Jhwkvj9T'GAlv0 HM<q %o8vojٓN Cz&2w#ܑU);%$XJq_ڪ^:f-T?SAMI eMjop[2nX[\`O% CZ_Jr3x bR6ˉ$h)O(3M 7h6s^-yZj >שm$'S(RmQQ3|PrxAe8xq2PX\ی\kXGσgJ6x3dJBm=䦞֎_πEa9w,u.D.ο!!E~1N>n9wƻIaQV6 7Qu﹘(Y`1|:/R+#׆3WOMEP%n'-m&#vlMp7LӊTAep;jS=?z/ w[DnGbYlͽrʄYy閅OJkUN!T&)16̰b$d$XbC`xƄ N7t\%K0M v$ Q*û23lp#_J?_n)e#!ރ|Ikka~r۳Si TuO1-Ρϓze]VG5XqEmQwomUͩofLyd (G㥵MG:z+A9HW`5iz'ׇDgB s|;u#젠4j/ɛe -) -O8^ 4Y1:j no?!tT؟4s o6&/+(:\&snvnhhsD]koHاo/6+bϱdQ |E#D*?[}>@WybIu8EϿVv2vm l]r`LqfCְ="\Wq<$3 LX9(ONt-[ZAd ?ٮ=x cv'okw pVGAçsgHCnWo:<[A29 C,2(\KiL.PS<)Ň hDhͤq?dlYhUB΅{SqHhi3}z5oPтs=bJfPEȶ>\L)bk|SʛD|}lJ͌m\vByw v Nt{\xt'k-$`R 26$A] hQ(R2aʗ3iJZB\hZsXrQڦv>`wma 9hQ煛d.m`A̓ZG ɴ7"'XMJ[1E3:UM~r(J'i>0MHr%փX=./S 9vƗCt0[ \GF{x='"+8^H̆0+|RWX!?GZ)/G n^:Ki:ߟu&ݰy;WV!;?*NP\RY9+Gzn>H8ڜ~LxYj-jt5LNf8},>=x@ p_OynBy5ac2~$eB{^(iWI6u B B*"t]RxYUsyX ".e s?3tawڽ6&в<y:Ed\IE)5&Q<ۚ}RM?u`\Yˆ=$tAEeCKSPB h;su)EfWc{޻_K$zc)0&+6.[ަ))҇k¿a|=E1$uoP6nhwW;21 zLS1"lN+e{ĖxiE,ȓɇq93T ÒPbRh:/#E>d7C?xX3] X1ߨj46r^i=e%JV[7[BRʧ!䯢@oIɰ)NJp IQ BDYJFMYk~Bݕs7iJ˒x]dyC4n#q:b}Ԣ|9\Gn~Ԭ`ﯴcM֘d'sg6S gADN;lGk*pYu˰<:"Q t>N(7U9C ^rgW=@ɜ({T(t mT¢U_c^Ҍg}0pXL3[#Ǥ*R"d/_`6Y'XM>*('z@! h-yI&>|&״Jz'L=M|tͳ|S:` l֜A_ztlTo9kxZcK 8=\2iA֐b/:~a-4uV$$r7G`.C^ݺktǤ:r]վx {7@+&4?b?YE}XX/P@"tgL6ӮN2^8ퟮ2I"󊋣=*!y} 4dZLʾ(iDo!Qi%UOHf@4! GumGCﵬe!P@t" T*S!sڡU-ZaGcBKjAYb (YgYZ8f4eddcfdb2e9d8c75c41e4ea4f5e286ecbe0883047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167