SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 R5$ ]S HOL-Nominal-Examples:threads=2elapsed=650.918cpu=1194.256gc=128.852factor=1.837zXZִF! j]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[F %Rؚ,v#J뽥#W}$``W3[a?nyuu dOSx Ubm=@k ,dGQ2!,SʻQ7OۀrT(ʇtp7oF:6 AlWA7e3fs|S 5 HOL-Nominal-Examples  },z \^6aN|Gr_ z?ɿWEϟ!`U۰IvR鄿؀PIlVoO8z0j$E 0A3_%zg0qTVH\MW_p*r0rX=Yګ9qZ L'Y@zSUt#/^O,Iґ tuFBvdS~U@qtG)a/"BrZbnʙSEjPhBHڋ!w$d =,-9`6b/sw*Sޱ; 吧.փJ=XkѫŢ9 y8 7SjKxӛ3ysl_ lPf6ǭN$g :Y¤^e29o e$7-""d0m]ȩ4A1wqL/H8/3TͰWbŝ0PBB 3kr7MQG^IPeQ,<%@?i(4{C5.&68M~Ch0j}WeBEiuihsZ>@+ꩶJ&-5A!a=dS@N-lj:\RS Пj'?^aw:I2KP8w%Gk[#?˛@9:#h%j" ݦ1ȯ& hK%2ѫ!S sWQ*D'mKO,0%P1]Ybo=kbW-Z*5(!dqyQnZ&_[d㜴x 砇i)y7SkX Tf7!@axMWE85Dt(*`|ݤc O #ѳ|}{[a"Y߆{0;|Adh2̾WdAnmd*Vt7Q0wB [$Z>))+RTp+JDtP&sw KYQ..Fty}\y:զJׂ,_=vfZš%¶ p]!=!O~;ܝ$uWo\'~Anmܘ/cc=U6hqy2[UU P&nzV-#vڧ` :H`ır"D?,CF+K\M[OsnmcAlJJQ\hDs/%]DŘ35Y;BϘ)D5*8N4GGZ]L*%9:6Qֵ2Zװ_Kyz$Q x /u!ш ׽ kDLꖰ 5fu"{جWi~t?:(ݧ@}CG@NnȾUViK 6=#I1Q5yp&}MOyR"Nﬔ%lC?ُ?τU[hE{2^&$xBQwb="+ ߒ@dP !0XN?}M N%s5(>oӃFo7M!p(R,z,^9}N㔝!{q<6p۠ښk)sJW۸;XaD9eaqi1T6[ƣ"CR?#uű c9PЍpv˘í}:ZɴQ $\H ' \|CN^[g8!>yzkQRYR_l6.Bb0 ԇfW? 7 |,wb֨`/͕Kjf6ǣxS|Ķ0eIZ#~O[%*X'ĮC/ƭ>3 6)&+" n+/=rVt w[ gx>ngެGKU9nɅcH;&.#rqsQyb)eQ5: rcvDhK 8G YжK&z*UiWX'׎ BX[w:"vow ` ↿t޺< =^=hrcdȆ$Lk; [yh>+Lg*kbȍwNOO< H9lF Fa,QTkv>n93Mcf ]gd^M1d.S4ن' `]~ey,?;qt(7U[_&I)AxV=]cNI0 bѿ b6zp.ƿ>b7m^ЙuW'1j[y5n2zi|9 rf1{u91)7:&5J AdRᶑ_tRm $fv'J|ƒ-ʨ*,,*E.YPxWc&̪4@uQaQ֕ e^10/6-tx0/Kb *@l"KT"/ER#@'Ư/|"(v}BM AeYDW<)Sف) 4Ax;%~0 ? WTßM"편TY&p]7j)8#lmJ sh`P.E\yW|_*D/U¼x픤kX$?b<|h䵫 2H A}9A4lmlٹPDy#0 )Ėtc8;VAʄͦZjb.WGx= WV*NJЋXŵϵ=0jg=)F4KccRƭW!=-S;&*NR;؂q$m=~V:׮2Q3q`xV-rJR7_Lެу^x޷DJ>Xeaip{ȅ}L`VLzOak7IGu,]z_A )k|x3'H'"=r m?#H1kg(h(vXQG5b WbMYn-!w"/"]f#Kٙ/ _?e|rقsh eāo@r:u~gFw*v" S;PC݆y!1&1VAع&~]_K8-U ax44XLAy;g}c@M NU*dXtV%_ېajM[-/r˹fƿW`y9])M?| ;!r`b6 $Bp9>Dm̉p_Vŏg=~hO=;܏yU$G^b#]肚'&=IO}a8/76>6B^j:)CH6iODŽ-9]t7}--|_jd *kIH܊:~ g=ŵah/yF#ƉQI0u %:; ЙjcX X}1 v-|3Uс=`n2I;*v>B 9{&u! z)0ejc#!1#iIrg\eqˬcdo!&Z#O%Hr[["j|[Y4h~L$xz3:)3:(ˇEqSM5?ЃƒZ Stik@ cbi9E&_))R \ĘOVJ)^twͶ뿋`ځzl xeg\d܄xj1?#آ2D:%Eq)~sOL( _¯ak! (P5!ta&9%^\wO-b#Gцq4j"?:(OJŢ2IKP07SK!dJ5(5k$}=rŲ%R#b_ف=' (zNّlfo~Nr7:cRaysd˜ KR4XŠ6/h󈅱A kJm,*(DJE'L-{ڗƋ^p^;\4h I( ރ{K g#.&^),]r-(q^- !hFc"ރE:솈Za*.>Pts*n( rjN Кԅ*f4bJFaIݏűlIlӼ-~_c! –_IG"5 MV{ڌ(͒WҚb"K2~U/"4ʂp"[*T;'ʘ#X0AAOyXɈrX';I[^ۆ$Lg<2VcHe5N.3;}rbr% \{19͵U? Bt^AB$ETn1߆͋1#6&47djOO%ld{iBsy黏H?ԐOm$U7~|B2oe`Hl?13=ׁx)w{86W4)Q8Z([  d }7ºTe}rzD,@2 rV(uǝA\g$`ޞJ.@! :v5emj e39Բ%.@MʯY^,{40yn+ۉ];c|թ挪Ow}03{j#~*1;gdͱm>Oig-\,"9rjQ f&XE A,6ҏ ;~p/ܐUvdGZC1/J։z LXV̧RMutxjC &gdWuB8}Sa'zLYp"ɐIU]Gt Gg|J`yx1&I]oq?Tj46>$ay2!;sx9*nxFYi9L$tUfn.QoIو[rG'rJtK=JU~)TBAPw+Oc$/;sŚB1݁=5s1 13ZArn׷'P:?Р?'ׯ"57pl6胞fY =gYZ7zXZִF! d ]ŗXiɟ1ʹ l93攀Lx3 a${#M nx-H/δnĂ9:V "*Bvl Q67Mɛ yw}#=z?qLXn4_qd58#{͌,}Td[WнSD=xGf}Z\RXѼ' ]U\F[#Gd׏ mdS,*#cOO`C/Ա?Ԋv3r 5"z:5Ge{nX ;um3rcvHCo|Rם~!f/Dziv~ II7zX+K']f .ONENȹ'w7WoJJH{Ը~|['E/.ϣcu+zI*\&sO^5X@W3SB!ZKٱgYZ7zXZִF! Q] Xi%;CPnWQΗ% # (zE?Kc {Tئe"|:v֓j'zRtʲԚ["bmԙ)d l_KȎ>ΦC4qY"g[⣬.Rt4*3-&\QLPr7d)GwF,?'&e?@Г!G=}閭OG_lM_{a1i?*W$T %#0L\帜S<@l^f( aT^p/I+vֿ6dєP`Vr3/6dn^<ӓ|hOYdY%@iis!pؔcLE)U0ti4@1 E\(&i lpLlmtA_iFiiM󫎦4oaxUn ;&H~㥔JuBfy+,Bj1٧kTm<]EV,䀴ыPDvY:۬% d ) eƋ<%,a&S f.ض{^sZw5KSӞ1w!Z4m&^nhI4iQC ` cղefpR 7DUȸ97q|6M%&DpTD\jeWX>Tc978N|*9b>ݑ]5_X+%|oMVv}V aW&(R R\R)%T9R3EW5+,#gF pqtwO q;?{ 0wZBnYRgZG5,_0$!׮X⣲zSXff0:Jbi7;6A]y򁿗/L7+ig^ hQb5j:DK8r? ^Yzl!5(0ch:@R18Ug1xŰ䈫=wCP׺'XK~]x >oD~U2J(:ݫ_=MdB'j y:825$z@dEccWAg2Jbo 7Gm=t-tK}11(=5 Bˣ^3\/LǃvH)Dn+nOƣs*_@&_ucojSkݘ&OrjpU8_Q(߳u6ΊBvHR>~p ={Ga]Q㩜bI)epIe 8Y8:D=kwـ_ObbNw԰ַuz? *:6*'jY~m?4N9GD[$cQѧ^F % T_+47hkpZBx~Ac" h^ĸJF'rQnm@]cΓvZ$.qCkWO\myLT +:m\Pؼm[ը4!^vN`φ4 OozYS$NлYn E ܎LF ^9e 3ħnPkqJm(/xIy(':a/x;CPh &1@k+n eQF?pfh2=a8u;>2Z5(wr`ͬ hw )\a |~Zrvb)\rIl46l~^z!N6ձ'Բi/q#5Zæ ˕TA_6/HC79tطROx`L7XP9)_(Fyj')m3>,l'x޶U4Ex?f}]ɒ`(;ц"*cC!YwdykCA9E>_lhK4w?kh6 {ef}C Y8G &w9P7;@\#6~z)0yϞ,9.YhJD{;'*&3 CV*c,Z b̗gK23,a6r/AFe<|jUAQѨr&ɇ^ZΦ'' ~꥝vtqF * ]·)4SOij6dR b|F2G)W2gkBgn{~Xj{QoR>EY$U2%NkhOqWn2KPB#2'hg1j, )q `ƚ.2KZ#>٫zt~Waj>G2(NJ7%Ih=#*Տ9/5P/TM?kN"i_Y}@<U/+zXDPʄxCʧ&q}p]TX?g٭}'Y:" ]DfS,Pw!A[Ns>#0ݔT;r;ҁo燇2mЊD4W`z(h%H#v>ua#cY/*<{]xCvH@6q8i;~~웮9FX[SUUK(N1E3Y)K}keZ-@W W ;7Qg-|jwk=uw/I$.:şs&^2׈%UfSV5'רulL0+e!4A]!;76ʒsT186JOlNfdS ˘t0S(FI"vm>@&fHٲFpF=/ uUhB#18(OhڕƊHvug]nj3gIzg]"WR wG틼?I!GE#c- #o;]V?[2}"3&oқP8#ߢt?w b~(_j+ PAׄO6pE1-J1=׎-'~QJC* \uGaL6% ng+'8(g`.(M{N|0EkUv!\kM+tvA]|ڏK;4No[%8)ᓰ<}:s I3 2f&CFmǐ܇b D,J%Tِz4Zc$KUq//]!n0 iIuVvkgti17xVE nbΏ=Qp;Q&ȳjgBjQT\OnDJh:R羶)vGXvw!CΠHܒ_WF RB bJ$N<8?ߠ KqNݴ8Z(Ɇ+-'xL8p%MU n$9ZW,դA0n@N.9~b:ai=ɪm s^ D`,;j&-S,888a`&WZ]ɋ@+^`]d+kfYXv6~zr?%c0 @g3.t*3?4ҵc `ߪ5M|thM b?YGL*<1k[~5€"InKu6-#I JbQ QRd0Gp'-_t4Wr]S&j[O5$Jh;@XTԚ֏Dt N2r+`#`-\?̈́W}^KWzꛀWcsG_rs2? O#?b z[.OC7lad ZEхg\)ȶ>-8IyUL$~}!; @3]3n.b!+ Zj:֕8D,͑P7=;?irErAs0RQWTP!%7ލA"FӴ3c;#pE") >$Ԋ/ -X;ZGՊW >Ws\`%큋f2r 4uyDIM3sl Ѱi q CQ|4uX?w'mVicŷ_ .6݀@cVfp2IuDŽc&G5 ?B~ Ws*| "vA1̞ fzP:fzbϮ.{Rz+(_.k⼞y܉c٣Y,hj(gh[9lZ>}Ȯw_5 onxbiQ? $юݤ`e8\F5Bp.T^BkXzѪ7ve5X9׉UԠvE  Au$9Fa.<`6zXDm|㑞rK[UA2مuȴ"VZm'\{+ndj2וeۂ]i?A;7wg~%z\ukSNtk!m$‘n"EULS_W]2OJjWu{D&0 6nYξlRK|!fdv)4[CӀE~|S܇]Y!`&i|} ,[24`jOwp8jAsR΄KBA}Bw2&)]I"uʇVʑ.l)=kyri-fKۙ;,LI~W;aj1]$5R` t4T*4^NMlݚu''kE;|arIx!He~d~j+ u~ӛ{[!k~CpĐ+0T3K|@"Ɋ\ ^Zi҉V:Jةi& jP>g;J>9AE0yqK{ڨ.Up<4cYT'D q*ĥwX* YJ:#_20֒${؀ nRaK0~`IO{fuu H8n,'yֿ2NXG'ޟpAoewv;c/"И(ͦt|tnz6k l*xl{!~D4f<3Jή^R(APڴ~h3[I8)b ɇKbދZJ$tr"bBQ 6¼Xˤ}arE 0֌_SX!&-7`i;H_y_[]7c*o򌪙y"Pu)0ojLy0+7'xˠ g b6.o|ݼ}Ws"cH$gܛ 'ftgm:p0`/0CnfFc ǫarfe]&IP;Ϻa7}ve;Ii݆}Ͳ1]oHM5)-O{-O'5yb5ݣDE|PZ+ KnWcDi-"_L IrT/5͵[rb۟sD ,i7()y+h/2Go9< MƂJJ>Bpy|1TvROFDžQĐu1yF+n%=98WKdR}i" _s/3$t2HdftKt،Osw*x5@(4akÚ*' 1o(? opK~sY1x=W4_9ۧ:3uv. CL1OCV A6b#,0H9jtZ rǪE! kį?e[$t/mDzN[i+Dlwa@1:)䭗 H%N k;ZiJQ^)etȔEq&/&d4FGǃғ|^ㅡ(>p- N|-sIPHhhP=ri6@FHB1pug/1 M>r\ldC8dZ'@ ROX@gNTes^Л+ H7Ç6Of`-MbhmrD܏Fc<0le`gkm3m6k^d~V{`%%Lp92"lX/Mn À2N?`ڽmVOQ`&ލEȐL9ұB:&.Q=a X*݄/ u.&Ts1跥d q(L!e+j͕uThjo0zO6h*QP^<1$9\_1k4yCzTӪkg~"brSH̴cNIuo86P58r3 WwW'鉚cKфӊ}[nT&}@.&2ͮV>Lx-2X)=2)e494"}2c?$j<{!M5f9r2(ۃQصib'"z*R t vиιU(nMy7L`ؐvd5d|p˿Um*қ]3Vm2v݈^Ru!CNKn"~9#BBYFK|Q%<0T'^ Y92M_DXHKpMՓh?;Rúf O{,[m#@XS7!,+u1Ke{[G <.j6EKu~OxQMb!ėR?lSj[NՆi,,Kү..e0g^ 9V$>6#ra=F:g#F] '%_ƽk }ƏPSD3gV丑v)|aűY̗-tlj)7jLOwP [ l@R60!?o, uGkRq;#I"R;?~W[P0Ixf=7VA!}}gӡE8.,W"W60eAʠlYOWBQY >h0/B1N= \WGUHڳ~.@j$EA'׊zėX~ QS OXgg\Zw=3SW˱ @j$Z=ܑXD|XفʹY- v"?)gV,6Nݿ׺V`S%b; :S.!Zj:E;`璱Yp;[,tĀVjO@ZMhq H5W$A"hj5+Z0o-QNgBJB[ƠBw .AW =$%O0p)cDլαuشw5Q :(@C4$#P |`, pVd1يFS(5ib먪2.Hjf1g F*wl$#Ϙ7\ >&pth+n=GySd:f)[& 'Av&uͺScՐy-b:G+::`PԒEʣ!9Y:ߕz(.?} OV4Va7|4wUMo]%~񐎄pX&% $d P<: l?ߵzu:=M T NBn *(P:Gua-民$@~'Nf1zZ()a w- ^:'TV&U<Q ҉pXcx/<$iswhWڻ!D%pu$bFsP{BPN|~ MYe (KrADίQd/zY@] Q)#n`0X/®x+R/HBa^R: a`DIG'aR@# Q?f ,&\Lw{ҔRS֌ ̗ xFNIfeS<ʉ2"35r1rM?ȴdXғVᖑg-sl. QD^6(s kXrfW:CPPB`$~Z XmU҅Ui{B%Pj~/N1hpz QZ^sv(S L3Zck{VBڌnLTO ի:e,W%3B"̄OB m\ȜqH#dQRɩg ~n*7oR!Q!"ߪV"T5RuuRܿ4%TU`CwΩ~ö ` H%˸%M%ѪA)|x;kHiydvOI\)+4E%HitDa9ʧ6UE-'5P[v,fOggozVda*37d Irި7`*R<ڳ`C[8&h*˿?M5;Ԩ-a0l8Ȅ஺ Ό*¹?(;#C%NonO i7u9vH;#l #vʸ8MNؖ:hßiƭzك]A50IW]i^PJϟEDg_Г ȜtK7H | WҤU3ȏ\_ZSPMVߎ<\Y 2Q& ,oz}w=÷YF-B)^Sp^1`t/$8Z05&VX$))nsV N _+c1M lfQ"qDM\PpdhRa'M;+ㆴz"({FՊQ6B s^c)|6{?Zwg1lE,E &Vbh,YVSm~ɿ@9QȻqO5f֕`fPt&v y?!%$Y1d!dKxBAAj{_5rHu %cŘ(hXSgrآ>dA8*w53Ð<9 8b ۊ X~`z5J.-/L)]d,mcw3($]|Fb."ћ Co!x9Wsa+e|{޿.RmpE2\\!9 IY]0]-ȣ  V lm EQA~檕3[*q{2b8-J !C=:| TܕSәlY~Ai*3I!C /ɳe֮MO{SymcZyVp'`2u?N`񾒅g#}L:`LCQUrs23G6X~1R^o##3TCF|:@UaWk 'qy-֝iKІR&nَ oƑֿղgX y|gjbjжϕD8ehA!U~ dx=Ԃ;&;ɏ=Fl5ߦ]4Z|ہ  :=L8òJ*eDZ-yڥ&#ෑTcSԸD6'_"HfQxmŹW+3jIsź'{D0^?0H;/#Ղ\޲3FUl=Ɍ +FMwo{8.>RF,@jh$|ɄZt&X i*8*_o8%NXau6>KVi¶j3G:+K!%@&>x6 sCtG}>㮞M ݅4)q m5"p֗gƗPܫLfmUo-dyfYH-j uۋ[ғd[ cde<nM{c17Hd>M^,8nIp4e%"| Rt]Gug1YGP$^X2+mXQ^+k m/Y%ӆ{S@jR'61EHtxq4IT΃R:rи#]N_K>&.$l]IZ /ĵπf=kW`J 'M]4#% {Da & '#ZE2s\*m hZNjk|$1vp@zTjd2le3' >6];-_\%Zz9)Hxu-9a:kXIe Cܒ5>7lԖEݼŴx2`ت&w}7鷩|C1E| h^y0VkL{(iwoK|Ҕb d@u* lZ/d>/Ddc*mX'lu?KWmǫQO{ O.N=F!SL UqP;@Y?vl^_m>bG_K6W1G;~ ZE[\LHNbG n-x/[ .i^YZ@dVCyp偶uP?ktg$S=}񙔷"ptIN%k}ZQyg=Vq-B# h C/ ΕY]CΓ,P!'bֹxë[ɽE&#Rx:'H&A{dQO͡IR \Cz5a"lO+&~p|p#D5Oo7V+LjOGC|AnBU`hF$fS3kˀlyШ羑Aֵg;[7GK 0f땩f=!oi<HT7 qaݛ RφwAO9n*d_WtwN-=r!C?[pƄFq:NÙ20[!B, G>}-̺q`WEm*ȻW=KR$ߠyK r+\\x?/BeaF0@Y`#Ϗ/EY~]8o]wZ^Y=ķkjh ~:NmP];ضd7q K)+g|jyKڟiHE˅Ŋ(*@6Q'3N$8ϒ;ҏH!ŗ+6Cke= CyåwZVH(DM…B\#OlgրK][4z"Sjݫw2q];Éf4@]ssb}K:KuV.")&78{%A~4J:">Z/Ns!T2kQ_hJI;l`;]h$&#mGqDԲ@#~JZy+)\nUwP{?Rf!n >1hWPÀ xY?̈6L$wY "b67DYlvCG,۩3h8=Ò~wBPd6Fu9]㢉Z4̌v"FzÛȄ%y[&^y4ȼK%FčWv nzGZq-<G@N *0ԂjDnf4MNBᅘJ1|A?2LAJdi{=W߭0FsZ̡[5:!q?oӐ9ZcMK{;EΆ C~ELSv&iysܙuP^ˆO !>Lo3adG$| z;1޿6L b;6D O3wLK/#/?,4įya)RXtFc뷳Z Iߑ%$Npn2&q:aLf@5 lDx+=;MJC 2#pݡ@,rB[8HlLb϶/^00HVyK>N3dT9]8$fJ&% `I2Gʼw b&> /Z.޾W`6 4QKZ(kDeMP=/ND" e)֌S Ϙb3 wz̕#S!ɮ[6jIuu'ejj/:%x|7jeaji)]vD)E- `xSَ2M9 >G XU~ y.^*K;| ʼv$-i}20wÄk H)Қ T1z~ a(7i̢-W|k(@$Z@ ySrÿyGO:vH20zBP\K_M}{ίT4$xdIܰX?}Bw5Л2"~r-TpiC/U6molxxK6nun8fH'$jX4w=Y;'q|0񅶏3?ZP~[7_:6 DW, RQ G5a@c:HQS|[JӧLT_I2#ʺ1G򱄛Lass<D1SwvDSI1Si+kb{X.O̚Wb1[ cLOo$WwNLםsS}ؒОdA^8:"XyEDp܁Œ\hx.TEu`vay38$]~|,#N}Z8hm@nbt<>P?'qn*C '$ ;U1׼Jjˈs{5mF!'M\U%s N85Ү?ŝZd/4{xxS1t}֫,AORmeIBjlqjrcuGd5+ ih'O [sj|W>>_! # YNDlOy h(@Y:A׽-%˖Hfi ᴪbgg`,V* (@Pd# D/BQ5hpwlwn 'Ʃ!dE TQV+/B8i~;栉"ÐN`քa^k,uyIl| )y(pJ#wh[rsŤ^=8Hč1rFK`GK숗: Vvc3 ,0џ"^SlZ,S)c KƱRc@X-oH`6Y~Uu}n8}JzF'T?&%X?I}WMYQ|{0m+t4,mʔA>(j_ƟOP>?+|xv@iz{kV n`SH2g6̴c->袰u %` `ۓ#b[P˾k)?rW__7$ D—V%_IyT>*<73)֘.n&,ԲsTߺb~g۳{ӯv 7bF8qIEO[v5iIEcM)rr)Xi]0:ݩ}f:)`tRKD=9,޸۝q?`ts 2aYqpߺP[ yOTe$/qY:},B8_629 L:u%獨w愿7ȉrb}||>,xmIcgQbe/PxSh*8OL4)(swiתdz0mSLO`9;'2-2Aso㯳c ?/[wفq^QE5TJLeX)KK-\ʤ`0 չkh쇸."n0༠gP#Ṑ7jOp__+"~?c+&I 2\z $2L;!ѺBF"m@qYp^B7|pAo{57$b&\儤vm._(`: ټLUjkC̥-ݏ{D6vLutS7% K.S}1ܵcQs`$[]&_T٧j&?]=Cȴ Jwn3crpMZ I>0O5WLSi :Mg҅a0|÷ZF4+4Z7r!AX]rS}YBl kx”NPR'!Z$ _; 2;b#Ogji4̱ɢ>ӵdx?PfD4beQ= W9פ•q]li=h v59͇'Yf~3u>| pw2hk ,MK* 6Y^xQ_nzZ7B>p4*0`6yOb/=|ߵz{{3Z5Wȇ?гa6#_^]͈Br'z 8[FIIF?-՟zB-pۏ3rqc(*pYNz=xyz )TRkC54h~i0/tLS912Cy͓"+I  u'`k@FKz6*1w`^-]z6+̓]]jS{P}l8ݤ/p&>ICh'knei7>@lZkio $•jP w=jnjL%pQ]-mӢuInҝÓ2.רkd-A tG maD!,e:Ӏ(4S4]iwhѷ5ޫ_EUF v\QÎX$sNi-t6M /|rE [2<>uK' X6.TJIdcc`$@o$'Op~+ pЪk2"B rD7ùf/yXetKAk"ǢM'Y2wn띞pvĩOaB 2 6[VK|0%`c CPf(g}li&ihܲk%v2z yZ{fFApW;}Ǥ,P^BZ.ޙuM#3Of%"}xԟ5եYG6'98ˆv=mۘQw$@e;".g~ ]׆ȵk'AK[dt^u<4:Džʘ=81hSks>ȁ?kUu1\ p;BꇃQZ[ԑE@e? xϜBNhs*r% l'bf~h:7Vfަc@T`2 ׫w n!wR;DzSe2S4`(yܓMmKLW%n{޷LrC$SB-[FcnΖMf0c GZ.S 0#S^kh!uy ~aRpcny'4ȑKAF9Z7ѳ7]/J2-nΐ%&p^̔W%M\&UR9̰;hQ)yx8aѷW̆jFIw(/_ZFGl_cgM$ ym2 .Һ u8Q4;xƶFDׯhῪ\zeȝ;Sdxs$g# ؠ?#oK1kA@.Jo۷2+l)=N0nk~r}7fΏF) T@3ݏ\o] m S<݁ R&N|dl"/mv8G6f~&<8y+=82ڈ 9)@+V7 XZ!(qD'KvI.ZP,A"Y WtbUF~0ЌV7 IqD{#)`5Igoɰ7U6Yvɽv?Wz<;)Eh\/Ѥ!mj9 p7|K" lS%O}@d2Ut.9bK[j N6sj:G ~ CZ~6h&FTPt9ڠGg)ŋs 6*cT̤<{ VgWɒ ,R\O+]rU9sUnӂɪu+ ü#_L^Bs27/j1$eĔuU%<ª[/B3"ȴ'Rjž`8n?d#͚nN̳E3Z",in.[( %iGT'k+ /;Ƨ Yc):Mό'AwܪT 2JdncEd c`yo]<6E.\faaf<@8vJ[S'd9^镝n4m83v(BJLUGMG#ŭu T\}H^I! WMVTK'ڷZ(3;DBX0?µ'QZ6YK_XlPpC 󃧻x%Hy/vzm5[p!dfVRwY0s6a)7%U.V_i^զT%dz]V A$Z%C"HixhVb B tW}cb-xk D\-\'}kcZѹmxp$ 2 Z"5T!/Z7B6W7<đ\XЈ 4> W177QL|@Ha+!b@  f.%V#YôXL,U$ @$hiHZ`WIW7t #M^0'Bȍ?m55H{^aAn*J >vzY cQvгƢjae@iBbnb\Zj߁y<si6殌ÏAGI'Ƌ T-OiGz𝜎0 .E;0 D":F&7J #y:x!V ~T| -c S i mh!̙'2}C~ ,!FU 5vSS/yIQ  XEʱfM;:nS ,)3ɔZ轗)P_D āMJ]YC+Wt*0i ~SUtV 7l:eSt`ZwL BGIr=_ooQS[1*)_Z1~+Tpw&beDC@YOl+6(G[o6dUH=DeB+UM02h~m.KLBA`ͻ7 a'hcDuբ71z Af~*aa':N13RG]+ńz 7DD5 PѸ :eDˆZw%Ȕ6:*0S+FP}JX1GU6}} QFɈ/I1\+I4X{:XX@Lag_7$=qN[tmd&1ۢ15CH1eڋTkto Ox/m@ƬgD6)q/ l4 EP`ӵFlUƇ,$]%T$Αr3 e=^]=Z _tM^AC߆͵X3pI[XmtxcXq&}Ȓ;o~HfS(I;e ` vgKqV0AH Kԗ:+'Rx.o 7hV~0(6f{xY}xz"vje9GВwre+sT1B}-brEp";⟯o`$i Lr71G׹?s‡2ڂM4|D;X-vk;G}zk5Ę39jxjs?^L]Zͭ4 $W }DΎ?s5~՘fߟ/@ItO{& .;Kء- 2tdcѬOSGGu2DڮA 0pga#9齳$V_kX`QC,ob;C;ezmuG2+0&lRx?oxX(_ B{k9دze#',F{{\JDZ{6QCA_ T("~|%=݁kJ= h-pmWC{ZOA/J%*j}OT>-s|.fJ NtDjNj:m1:DxD 5ׇ .w%J%Q|jQE ߯jh^E?@Qx>:?^γmI8Nݞ[PTG5Fa#8_3Ll Iup-zU-{ SH,LDQ6}| :u-5GQ|h? 37[)j$u%( A:uKVnS0P Yl;*)笹WH]j)n q_x~FuY嫠QyFK:pzJ2F[1gQg%Kq .pDP@JeDXy59N3ߵZpI|2*j;ua4"(&XbR4-C ǗvrTW?~WqW"HBBZL}^@=L KyV#M -W7:?Vruzsy,Ugn+O=#$jأSCf7*PBatc(2Dh{uE(Sf+sZ3ؤf'ۿlnn:챡.1v1zr' dƞ ȦMWs+>+c(;LҌķN69'G0% xEL0%vVjIĥ_3숙K@{N'Q1+Jۯܢڜyd_͋=ʲʬlnp|ov!~FyK,44S<[ueta;ېT\ȿ2o49 3wV?v (2k.APF@V& ZDVQ_mT>1W35nsǘpϸi ^gxog{}|'J( x2&9ܤ0J4Ms<Fǫmk' xE(|l_j%i}*%.w.ks>ƝN*"9Rzx8>F :4݀T4S< Dඛ|o^ZWe'ӣS[=$Ѣi[^^{ IMa/Aq$X'\ qZ?a՛7E~c{14:)sorLt 9vJecδBjye"vurdFC@@ <:Z= Lac+'-oi@1[$.1w~nd9w8)g';\3řAa%.4=iZ]"?q3V7w!,4UVge!z"!mv]fj ÛogNrH[XF hLM0!S+X_$WaN౺/t`=7ぞzk|z& :*px-j.Æ33ۿ#CDL/U:u?0¡WF]rH6%H8X * V}V b15ИT0TNn]Uӕ I{1h%ծNK VL1v?gȀ VK4_խR„a'^|2YpsmXx(ny귤%oR]%("߱@s+7PεFȢFkKNK*> i8 al^6iKH66xU/T aBS{T?><fxy6 u3(eIϿ)UiQYU@1^!O/ANQ5&POkprӟx; Ysbx}ؒjwbz9b,V\@ԫ5z;]bʹV"Ӽ_wq%KXW0iq,( 1d!HSԣ*lcPh̫wǁIeqMafX]ʪ;FVw\xN\q,9dŠٍdEAoyךݼ/۬;륞^X!C~"kmX&x̢|(Y\fz/1  ݴ;f4\l"v:h7VHJԨQkv\Cv4|`EmV__waGb0 4bf}=AF\mE3NcN?Exc%S U IPm_"-Iv8>rB;ϻvW}'\_0 qVy$h.e>״nY. wbU6-]f` G ߖd "H)tGѭw5GxVX#N ajNR;FS*4u< lo\д)HΣ{OD&8IBR&i%b=U3Mv kV8!rKyr|Q*t=a @܍K=T[N's4s8}6 WT#'ٙei u['C~S qB̴uǖX.Zn)(h}7EU-7e8in n7b!%o+b $at>(shOX1epC'Se̅yN KS^w]KG*![8]XHX1Jq(X b?O&)#ڔivy 5'ۧ5%pV6E1:B w3"uڪ{xe1vJ HGE\L΁^oKk@滲БդB2f|fGb̩7h'׃CP.q&Ӳ53x_h7x=RY4qO*kE@߬es4aY.HЭ;Я#g"}*n ՏlsLJD o["-yAiE]UB6KqYj,&X;7f3Ϋhh?)G rd{${y 5̗;kJٵ:3Y_owi9g&%p[Z%gI'x}\*Ab{#(ra%b9S1Aç_w\w.3D9* {P'f>1nϡH HI= :>Ix|@# T4bF _z̈"cA~~bp!x{1fjdiG%M<9Yف;|>`[(29n? U^F3+7Ck mZ[ԫrs(`sfW$C=*U]gK<0'K t3Qʓ,WY)dgNj\x"b\$^iuo/) ;SKQǿAo5.sm/'O"0eFNts16P"}Z`OTֿ|WU&فB\*vE 'C7@|FZI,(\:X۾Xj@6#TdB o~sU5PIqh(0A]+2o!,~6KWv{ϙ9?gO Fq碴] / V ! G*-AGbLJ7wi~ƙ@|;wmQxиԴS|Y.e򭋵_/v6uc'p{ 2jӑ`-9.,]كю! ¯~wE(695% \8c@NlJ!9tI&\ C,34AeK9߀a8㔿rR@&L[%+jCܘ/xVtGaZIoK` ɂ}y%CJR7"PV Qc &^#"8Ԣ!sjWX?йjӨ2ed1 :068 aЛ\*B)wt!1EJ܇ZZ ifcͲG`|uan 6TXn31 ov9! q u3:;ՊTD "fpZΧwHeIH{]+:,qD;-Emp`N5Lyb>؅kS'X2S\lSÁPdBE4H3\1L  N;w+>(Zdм0ܴ@V$;;Efu`Q8cs]F{ZЯfz$|_L>>fב /~r'fVZ%wEMiE.8#Qll?xhEMFFͥoC%&ƾ E66ⳁ oWJYCB1or"S?z]y+X~US;4z7Ӿfg14˵.v}:70$ڦ1NuvJރ~.(:eɐp6 I9=5#n`_: ^ɻ޶ rM{k)ڟ+9=F[!wCMps!7'b/xY>`-J$9r#TfhvahO:h/Nm_ X7ZO,/3 3 S2ՏA*[Sryg8M'+?B6۠8$T05`2puQs^}N-@PӮ=%\j* Zq̺ EnISAcuC5dTnPpX嶬}}.uӊ;̯ѵ RYͯY}s}LD|7OH:i![E*(\жB1؎;:B2bVp_\-c+|vtcSϛnL$&+ŅB:q/ƑRյ>v᠗r!mfeU@|N^oe9ECQHksǞD!H߹+P@mQh FE,dLyo9h]4]ECCY2 $q&9*Pv;p@hlWa.Q93|: 0+Oqh] G\LvfPy*+8owNׯ2U(a_.`[o̘p'2XBQAtU{}0`?A|* PwŞ{NA:rDG*x4$̿ E=옖i M/YU2fU^#a"=6f=q+ ?Fzt͈*ы?(fd(dv<5A&e 5$(>|ifɽGwl2H :3wlNLyXimO< _>2w@Qbս\*˲Bm4!L*օVmQoZ,]b,=958zvo@%'%䬄/R Gf*RP16B35s:.Jf5QC 1u$juϾf _06;п7uc(N%!&W1f„륉Ha6!q_0I<'7b-IFUs}TpQ+r}m%O[7@]-Fz< X Ӻ[[Vg&^_ 'je/Uǭs j$=*n>bR CEݢZcw;Cb2 >׋\׏m2ggiRP\,Fykn'E1udE[?.-|EQֿ^vnN?A5}z Ұ*D]͘R)<;(kCsm),G-L ıgYZ98a1cd61b087553adc4b850c56770be9ce4fa557071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff29 c35acbb55dd039304cae5b17ca0bc1e5088063f0 bfbce18d565d15a0d5dbde30bca28c890032d0a1