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 0%T,| ]/]HOL-Analysis:threads=6elapsed=315.418cpu=1542.408gc=57.856factor=4.897zXZִF! K"]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 wʚg`2h,9=7% =3o[fUwOh&6r_Q mZwms!SD IEj"ԧiīKt_ GU}*nԀc3 xs >GࣔC^7_*t\At.:vsiͅ_fT{y*4*C`d.?LA` `O~.18J:o1FB1i_!g>>@nNeTHD#zRkLp+pmCYnW/]QÞ$>OFݥ Tf P'3IMkQ.O`hT÷*Ƚ"mv<|穭٥zfm VޣC:BF@ 1 gmTiA6<3ws,βW/+s}[FI w݅c :"٣#| 7ɯfW &f%Iq D{ 6vDJd?.ˮ uMhe˴P<-eW;t#vDErS5hՎe@-th$3ϥ>Uhċ eF@ۀŠ`Ns,p~Ws8wi4/<=U4j.CCβy`66'ږ5J B:֫$oiFGa5KMme9)Lt# ֨%zֹ591eY|J(' [r$r?2.z6ʥ.chfE`[;pՆ8ʊi߯(?Z7z 4nv& g 7J}tc.˔|[0㕥.T#)(p za>\q FyܞdF *#8juQ,UJ5lń7&$z;VfJ Bh\☰_ݺ^nȔM^@Ry}ƥc g` Y"ؙT:vA3oQnr>`: Le C{§C,`9"d*wlIFy>۹uϚZZ&cnA{F>cP'40۪5ȁ+$m1S)V5@ZԖE-򌫩]/m j0cliM`Q*rcaI;C@#\@C^Zln8h%|)&Y7ه;m3nkJWs>ӂǞM^=1-'|%$u6n@Ne |L(6y=,픋 ,,v^α"w#Eg}eN{=k\+ֶ5sh+9fiw m$",B-VsK׺9ZT ¸+yŏt73^ IQ7ǖd!!Ѭ ;z_YͲNMEߨ@E+ շc>>?@y՚<640:qhVufx[ % HOL-Analysis  p@܍n?iL@~NBXJ!2KXZ^ Vj 瘫Z,8 ǡ+>O99d-f@%Y<lG,Pr-AzSSa57D!vԹ(6"&MUYHK,S)pSm"O'Hu_*`6U5f:*HC{%f<ͦ[` *c,JTs >ZS-\})f0KAW< 4*$XNyHg6=ج$sh]7 bX%J6gnؿz-O@:9ڑ)o [+pPforCwg ž,׾o^)0`4RE!2( Cr^2\5SU|0qWR 5XMT(]u뽦hv/rӒ; ``o1ۻq@VÝ5y p(-ʈK&ֵ~~^*y(ԥB@F1>mmz44] :kׂx<8qZIPxqMac/;:7읎M[ѭ_kŪ,r/&,49 ]xhX^jXE9ۇ}z N1=),kC.{#ҹۦ{tq| Zq`tfU5?Ԅ;%j ۪|#C|$O=Xa\U)2X>+wJhZIA>hI?8sWD.VK,ǖ~B>ߟ1$Or Q`7^W;&=iioy&G099޶h@ U#T1ͅ)|0l@`%ja-ʘ&ܑ- [6QdɏQyhC(@7w` ; Mӂ^|cT.~Hee4H=@BfԷ}v)&<á$ϑKf=A1gzqO,'{RzD.?e‡M9őrXYtPV˻h T xiƛgy7S o0#aKuD1ItX ƐJ4@X@]՗^h9Oz J/`B9bH|3>KLvGMK $;%ؿFزʪa>kKO*!}n&L؁@ƈ\_T`OZYt[GV~zvHN΂¶|arpd2TۏށLP6+ Uٹ%UQΨx8Z2'bkՀ4ϦMṷUZfcYE_Wa.po,J qסխ,1/z_hGrӳ9`S*(zwW@⌒ur (ihJ¶ҙđ')9 [Xٽjtkh'R,*zKi swesVTxRXsrb ĭOH'nȼ2`JъEg;L?Z]#yL6Rtl`=P.CpH݆˶_WpY 6#4l䧂Ho586{ʙSv+Vn*a.eDZ(a'\)QXwSX׊EqEaWY\~Ғv_0; "6'+rSPH[EdGx. a(ka+c"hJQYBe7CU^yzbElϟ>~nKBlO?l+^@F̧CY*xr6$MOSәD.^'tp}raHa?JRy[9E:ͺ—rRAB ;%nZDBy-'_\hm$f{S=)]A2 Pd˼0"xNCq-8Vbs :G.Q%tqYl"iE O+O.RNR'TZw6o=/vt4"_N_ Tݟy _PlOZ%prxc }1GGJxYe])|ڱԁ^ @gw԰xe˲|M\㹳]149EV!Wv"܆P[Do-oxc˧+ Ok|+ٸ$(łWC0pՁ7V:'ՔryͻKSG&j:,R~8WE5 ]gE{X\L cf`^Cy@ոCFq *=QѳaE"J)>QhGxp~8OPdiEYKKP0a{WRC %gNО0Tl+^̘5Yi? u s{4J۟%_M5젙flyȜYjDZt4LvT@~ۀ! 6x^=FTwЅZ'MVP9z. ^dU?K2(14Bs41jje`upE-f,>dkcv $sKd4}HN|"^ZBKrPkP;t*Og{Qbm}/Ee0$61a)w|oT _ia ײ!-R9',:7?]V@.٧ya1N2F}_@X`#\A)i+'C @C:  cc'K\Yd;e 8e+h!#F6NU>/OG.TGF<*ԙ#NJhzQ& S jIB2^,1)] ^sYsv~rF>ԃ1 V}̇t<G2=oy.ݫ˛Ɔ f'AKPj*읫Y"k égWuj7{})ގ_+Fɥ7$lF k휉{Ət1nXʸFCbLw>HͼEQL`*_.4d!'pmQjgr~(P({>1 H@ O՘ʩS|T}CR }FMP[Q2!Hb_~3HeOZ|E흥uF-Q+ 0SCd ɷvרJ2W5@0AbNJ^Q^97AzÊ[R\ #kYdogR!%jĕnpg% uivѢMO||Ѽu 0&;m^k)P L2ʁb'|+*7~.W&ǭ䂯s(8?+ð2%8 k,'`T 1s:*ʩs⭌ JA1`!|rQ+BxWU J_Fݵ}pܒ?0k0O ]ͼO ]A:>cf3իb#K =$zRCxdF\G>ǀkYKL҆TW+c]#&)&r~3l22 h/HKq®+: uTfXT; :<=lfuKhq 1Zrh6Et/@ K6Z +;Tύ@2S$~˥EoqVSf-vnG٪({,l{na']., uS3xд*2JɿQَXs\Ŭ%͋㧍 J5䖴w-/44SfE߱Pα4K^9=j$1lt`P)N=#b1T#6"~nLGgzv)*{F‘^` ۂVR@#L BE_&Ud~UxnFm0I15kw8c/X3&R゠ [Pk,6w> IPmdctrÒHh4ׇ U*jJ(CHsYq c&OzDxjJI2EK:,2AA(FoֱBJj<&u3ם Keoik,1AgMՅ ńPFLk$AWNE #jT3&B=Ae\{lW8,ѹ%(x~p.5K!zW@&Rz\)y>8 /}e 8Ľvq[^lLGTzt?hC2-?-v8(?)3Du8Q$gzؼ*m̏|(F^- ]$J >zifV-wGo sŋg?ZTuM{Pnd%Ow])FoF=7-]ݭN|XW~@Ŗ2*9Ci&.JgH S#s81ow5Ye0N,SEӒN0bH9AXR|RxړHZ~3T}<( g}{ ѳߩWW+@m]yٌ70^{UgHm'{#،?nQz9f ۠uVs ە,45/(3 9ض/YmGi=4ZU,:͇a^ū'4ge=թxCgĤy@#+̌&""r3(hX`MB1B71M̓$NXRh06]ySB1WPѓv&0ނ9 @[Cz-9I3]UίJbƜ|/!.q>nůCvIU>pIU5j1XP ]1F f~_:Dm"B8wW@9WM7GdD1k'tNӸb+ -,BVF]v<Xˡ}=8-BLqDѤ/zH+܉>t>4:hBC;mzQB2<;Md۶V {3X8ٹA8kY2.Q˂,Lk\3Ca3}y`M!'lQb :9Vp\> fk\-]=Ċ<@Z*0j\{lȫ$g9e8*h;q=joŰN}afFP"v$vwOz8c.a1=i47 >O F:Z:2-'3$azo4[쨼(11;.ÞTJ=(0sƳE6J" VbW_Pw_<@Lr=ɂ<}04yhY>>!@_e#2$+:6MNTH9'*]`Oŏh7X?IIoH%} U727M@W1&?h0)VOѝnMQ7[gĵo"p(]p|Zį7z5KS"Tm݋-B:C bJ֩m!i M65. %h О_ɓ#a` %r7@[n{GD[ƁjIGXޏzEf:QQEp7C')s>eg9 ;rdi,-0vfkСm# 6/Li4*5ho.ŤnIN@75"qrp][toԎ%6ٞ K)Jwu?'ѡoiJgMWYaV/8b⡾]E@'or|8OQ\,1M~M%ZxhB~f*R9{:εzi,օ{<6 z+ϟ+FBZ p9c}CP@280B tS!FN"8}704,( qK?QؙEl>CNv}v~IHsqդjR0amN&*kh܄L?sXcK35Ȍ^N~]180@B5ȬEu P8u@Llzئ`7GU. 5u&5j(њsg}l{`PC>:0e*DՀ홐#Rz N" m^.t;f}o_|aL~2^ F{/JG8]H. r1k Sf̢p_,CEZ5cRPu'"مNOFg^S/ ĦGg&pM&E6AвJ!k^ RO* lA EU`(höd r$Dt7 4ruͼ?Q¶&;gu,1_yP;=mKyX\)&Q=9^8y &Ka1|;N nfyoycOwEy뼄MczX2viG *VI-}zuU*yEY (BfFMYgq' '2ĞYVchƺ~hˀr0Vؼ_@|4 "[e䖗wKH5J(FkE\NSB1[Lj>n[Nf \x8dFp^(.R+'rlD]$an70f5 mMZ[~ey+Isc'i{  ԠT |赑cʩ i? XᚩۛPxvmw$!8e5s9qhg^7U"{ϘB~#-t!,G{2Uxtg 4ʀ#\ASU$2wXоb{€3#+"4DuvJ[ΐt&K>![]荨8`_Ta~%A, VI+3#.Gsl:sTۉ7mc*{!)/s?eZ.M[og @I)ǕPŒRr]`}?RV׌'IVhvW:RU=:W` mzYM^&dPq\>6avDrPwymtZ]9 Ï0zA2FαhJ]ߝHxz3 K+n!-NS>wn"ʟeoBȑmU<; .bCS J9h!yWY,Ys =p޸ 60Bd=D_!?ſ@;ǎ1=s?F &\gT{) šhln $v3^vzgJHVEl]3[}1UH>RN;@Vӓ@O=rPXY5r@~K\[tug8 IUI޶lCmZv-5GNg}k A}5;7:E6dý.C\mBn IFx|¿ <)- ?׫T0v_Vh8AGo^Q} X#^]r@BT !GJY-PbD^niG^r4:2>( H>'.î^Ks5'10 ^hH"ٵ=\ Y7-hO0[(z.sER^mV[)\ƺdN laq_/VxHx[]_)=jzOWI-]XzΊQƔ勦y\=tWYD~Jy+@3,{K~耖|^k|j'CsTZ:kxZgFcZ{8!4w_1u:kZT95$k4 wl)A+S<X8s2W?M KM\Pt94݊6oL6]tb8hnUִ8QK @kkc+J x'(ɨ 'w?`Xc~ů…3abD ?q092yI3s4':O@ܚn5n0c˵XS%7Ìaumo0exu v^F3h/d pIQj`0o3؆%[ gjF,hsxq<ѣ9:"/$!ԵS"`&!躢E=`h(W\-jsw _иw) be-Ee~ $פz^ּ6i YwH En ]<ߥ$w2Rˬqzߺ2-ѕ4Ť AT>"C*js턠ljܾZQlbUU׶}$ B_yIizmY(-:eg}FcCP:YZ{{-:i4=fs$=Քj`&ukԯ|>\0Xԑ7*MX}[ɺY,jzʉ} j0cD z!ˎcjZ4Oi# -QNJBF{LeFp>\[·aA5~ndѾ/ ƒ'Xj~۾E2s5HMT_%g7'er!lu LptkVf?fLJ\I`޴uR( (R)b `윿u[g_~a@_6­snISGT;$EK^٢Q2?dMNJKsߞLtv*Fx cZ7L!J /yrO|0FOd8'F<0=;fF[Qx߹loe@=:*N_ÏLZOp@ ;4P%RC)rм*51 4OhQ EiN]5!%ߕ/c%DjȚ8>ǽLe\lqH wLGc]|x('i]81 \"B>A+wMDks\R{p(kȧ5F*o#Zi,6l%F` ؉;Pv.:x9->i7qS4}j5c`maOЖ'nC9qᕕuTt+uI0X[rϒz&nuPl9}P˸Io}H@BҳfwN/|TE>޿wYm ڞLX/[4Nw}gD180E@YPV{H̲ Qw\& YW~vǝըA.r5xxGNvG ~ۡKO{9wji#&'nq440;MBEY,-5>bӻ2C N_OW u|Z1_ PSx-ȉeVO꘩W:`EJsoGdqSϞG x/#76.n7d?0.59 !I"d;lק>K QӲ/l|.K)X/zϐlBhD9ŁUNl3j2mu.+WF:GR"OԞ/FmxopG fbE%qzl%AW2&WNhuDkUi[, g"`O^)uRi !:$j>=UЀկ;C\*dx hVv)},#\r1*ců9u$?/O"KaOY[;9ECh"A V)IWWSgmCyZB S(-8;O_+H 6Z8G`cż5k124zON vDR%JVG1(~U lsʠ&0ql T@@3n]SV V&Ri>^V$+'\3=NVl{.r\vuH\I10$>qN+|7Eg$O ŷfg'A}=$(嘜XvK(W'c ?Z灗U9d`$@Bݙط*XMVϥ4fHO,-v'6;asiCHx%[|"SBbOS{5NXzab=Tc/I SǸ ʪ?e YǣN 1T^ ?)$PZ91 _=院~*1oe菳,4F,n:ڠ@p[/(" El D\us[t XiΔҰh׼qJQ&N1X%:5y2C]~L49XVRA=lȶ-}ҐUWv%WcgA:[#ijMqI~w:EU*ϸ_2H't`|#*.,'.FE])ԍwly %#x]B)\ `,Вpિ/ NI/Ȋķ.@|O 2x9R؉W faRv2XqoLOuVa,E0QMkrLU-aAޝe{Hv4hNy[amA(.BH9Ӱ8Df}v荿e'$ʀ _51{)f {#0e^ ngD Ԃ0i x6GݓA=gYZ7zXZִF! $S]ŗXiɟ1˦r!cHkMeBd45CSoYr5ZQerD`MLMǼ{3GH $2D_ (`z젡6ɀ!nfE 8O'7sOt^ gs$ҕ=ybڠQrZk5tY9B[:6MkgX2;w"_J'@1LV| L[64UF9ml0HX\oHx6S>>ݵ{$<Qw"H-k)>ac3y#ȸ^2T_qWt){y?[^"W:p<{/ѿ1[]ԣEG}g?L#Y Ý5SbI0gɖ~{-\C/kYP^ LBvX#G|:b~ຬKC BU#<@^1yMY$=s gbIMJi=Ȫ\rxxr]^Uqw"Td0# b5C& Sפum6j5BU\vAH6:aj[Z zok >3EA[ Z`O Kl7>:!`Ky1dVwUE8J64h[LH'Kxq3w6 uLBƭbRJp  mdkh z%4ͩ3}`NnLa^i[#&UFkzAѼng2WIFPpP:Q &[Ԣb-ٻ! *X[p4쉆\҄A|[15ۨpKA=.Lȿ@n&zR&ՋWOh1EѸP*|[ 3GS#yI^\Q%a`p9,E>c {nۙ Mr*Xr70A .WTq$)RkQVI=>Fܓ Q׉ݳe\$ Z(FD6(0|@fd{}Il{<0|K_PRR`!sO7d8p voCΟcnSW:9;9LC9}UL X!K8Yߛ=7w+:6ơ_J-gN97feX@.R)Q>[ j;)ޕ2*n1$8 m[mup*w2É|\,:4* Cm/=7LC+و?WL%J |g@DY: K`2٤ƥ|Hty:gYZ7zXZִF! &b5]ŗXi%@fxntz֚\Gخn{L[`k ZKko1rTHG.̠=1$iDЕԝ%J:mHy09ǍB~7I:,#cVs#e0'F rb>K"l2#{E FxT6s-{f [)PE>ZwYq;]Rnj5fpVa?[+BfMٞes3| 20jQo#q^D+}[x )28,JMv6Rؼ?!V[GA?N0^A 1h A  y'J`PWR϶k~<^R|:rM*ó3WD ~2Y RȎjPJi&wNIDO9آ#w5ڕTH*LIB*` &c._ g%. DT--+;%jw4,z#/'I9ʝAlbfWzoC}=0e}6QP-U&ޖŗ@ܰɕJUR GV_xF]>wcZ<^Ѝ0hf{e<rA*!F=HO蛉ycsHPsJTJ<(uGM1箺1ey&a6*DUCM$$]9.cA=nrRdJA%p[ Tx#8:pY@R+QVm&-VKߢq9w~k m@b4`4SW栝}wmSp ?b}vxLi :pʧGBl-,]Tϥκ&qGNx6Cf'n1ܫpaq@!'A.¦JEOoPrHo9ZK}a<Vt=Z xӪ/ܒȠd=.0ga9 &S뿟5U[C}^#Li-}39łE'ڶ&k|ʹ7zy-N5TsB:R,*H)Ә:2W15W(I+:u kVSYZ %}v U?/MVݚity1p_mY3+Z97MIS>یV$\'u3ZiN^i9a4BQ;Bh"Y*A9R7S1ًD:G@PJt'_˜iЂ}:t޶C=ӈ@ܹC9?*םm{;ET?l"9 `jY]Ӵ  Aǒf$y+E+zt3jc@@0W4(d{<%,Z@w~lB^QkJMqaMG:_m܍~cXDI6Cc!/xEIvlM+ʉւ!o*zq4X7+C]S_t,AFHK! }3CvyZ,$;)["tQQ}j&e_-fn 5[FL\:z= "1%񢳀[fцۻH Я]>=@>!ݮ!O 3/9f[PWΪeXEDFE3w7:wT qyg{bthEH 2@"]bD]hEjwu_b.?wPMfai%&M-Xtf׫Y{yBxDK]8ss]ꄫJ){1tfwtinFKӤ堥udoi CjPE#wB-ėZeA~Mtw1}K LX%o2Һzdz2\=?^紡VQ\X^ $(yl:l &OvlJpf4p׸l06s|FS}ʇîe:3:n-nӇ%G<`Lguhj3uK̰*(S3tJlK+1 CJc2Ԑ?b1KS"40e^bTśS{+YۓD@ r|g`뇏K_iwB2Q iZi"+}KJL[L{qjYHf_VO?=IS$~@ftA!T-*̒%VR:QwhENTxjn Z)n}( 6w^P,7v1!}Zn{ _=) ̸EFl65H}һ =ɼL۵MPyN٣æFWAh$fl*+)fo)?;$T)kT#Ҍ[ ˉe`*f&y5$^NQ}_Ve9)9r ,;{~}Yj~%jugLMoqSB,dUFBZd'QP!)N^qOm qa2=LsmU:{{vQgI)I(?Z (P 5Z\qL<?x`q(*,GlVǕI ?Z{4%I/  /~#ֽҚX&vSghH%tM8 B6rTn!5;1dcML(l`#/nI ٿ $Htʄhn zۓS[sHFz~y}HEvFu$*㽎vlԔF@"mF/+NmE;R~p3l 9eao U5SLmlP;e6 uvXSqW6q`A 1] ٱʛm]>xqËB^A~G3E;oyD)F XHrշǐHlq7ZgR_Mx1rfCae _[_T}Hh [31Eyh0gbR.]7B$,y_j-SQG +lRF?2̾h{$CxXf;]b :AlV]4;{D;(\r3v5qPЕhG[1/.^ U4'$`g %Y$Θ6D"6:\f=,=}s?\{lH){BՖwg sq" g us^EJj|w06pgK֏ܥo4`DT`!yCFDRZɿ.k*u<%+l'f|7O߶p#g{zQ^@l\rbkä:ĵ(n;ZJ:MϡHcn:HUhcN5iz թeT|oC:vrn=Z%Qn.H H叀7^6Q.eMIa7ȁͪ1gSUyrD|jz_ۑK/c03;@XI#(ĉ٧bd =.2mQGƨh Y25!u4Z ~WS1i5U1^M*uA9NM j%| Y 4^w}(a& Ϫ>9 ދCϔŸ['V]#Bv_񶽪qC4x,2]mvŰk>j?;|tt ]m<ԾY%^+ҿ"*M.OjU[^Y!<AdO84lOgӽa."a}+bSkq F?7W 562 ;g۷JW=>Cpen`{7ބ}H2S 6Y# YV8HF#7FJ>qD#pEeUbvN_͡0.[A6Y$BA z7d$K'M] W3&! eKkifaC;,w2ơWWC^}5'tV|(` +zy\ xoXŀxL2w9 Bv! [KuG*6*8,HIzo9'WؠvßhM L i x6mfƆ)+ɷ ,@+9 k!:@ UoӸ.Q}&aΥ8QȴE[G/8P@Y|Kn;5V"g-0,ʎqPO0'r]b̕7z\k1;[0@R9Owp_]du7G' ey)F h֙%bMe*N"r˛epPn] e%Csg*UDr-@6̌M2Eύ:X"8tud̩ PNW[`gn_PNYF\/ri]Jw9Txlבּ_4FE8W[s΀;)I֛O_Ѵ~N<^sMOh*aJn8I :0b%,(U+Z:@x g qP ӺHEZ&sG,'-T zj2M*A㼾9W Һ=r3ŒPsp:)Vq|QL<E˾=˾/~q;M).N gj:? (ENW. B|ݿ!e".˘jE5xqLЊ4_̈́)dO>lX:F^QԉDwܷ]j9S -;AC<"5Կ^tq$QUq]zD`Ku\AA o^d)UwTiِ@oľ}\6Sk50Α±@L_r=TeH׸H'+bH6x&K( IJT v^@. @,6\ ̚7%T`Kj0 CpO^`VG/w,}sP#JaYVMe[ML\yE$(𧂠7}w)$K<nz0AQԲXۥ-z6e{I<Y7=+pxZV;8CZwEy*0ls!Qx߷@I;WI^T@ۗG jWji˂dv3'f0 @dLՓ}l@g،~NxFwwmIGlZ(U!V:QBxIjbYj|.M1O"L̝&ǡ-J*0ޥo".@>7+גEi`ci ~ѥ|$WbM 4#Y#Al]*vA;wXF8\VC}g!vֿAG-}T[(ub9{PP&^ܭ6Ke$Xok ^Fo QUNzgکLz.@TM.4nm|47ulj!'13mZ =r`A \*#;jbb|7 JSkldh.\4M2b@߳SټEƆ9&Ly=aIҏ*lartV_O؋0X)b $,oߡ0^ iFqݓ/=Vvhmxixh,;u ̄»Y|3 91./}Q\$]"u L\A'B1ޓ%. &Zo*Cܠ2 r+)GJ麈NޝpZÏ+DqCBx&fP+| }՛\޴L-hk+̉[D^Ur`*f_v٢:QIYn, p>#Z|9\c̹ Vɏr羟)Zo7[^_="B0>l];L` _&7Mz)=}.+NmF[מXs]feDD|Id/4 Nq!9ZۀQiM/Mk.v>_U"n*Ufˈ@fS~=t,nݐV2SߙInJiH| 1 @ip{A0 yڤzȠ9gnߜr03 .H_cpTn,j3. ЖUʟ"c}OâlH,02‡HQ+:ٺ9pqXpb SW%/d.j@_BP1/,;|_閑[ϩe,#\6nhUuLGRųzP}Z2Ԏo)R2p$IL-I23Eۢ⦝7'Lݖ%zgE68kyΠF(4 fEö P/ b8YW,|vLuP+KUq/>EPj!.wlX8Q zʫ6r/`qt-% s9Ls6L[dsW,ڻRK r@0CCItOh͏%ŭ/l4c,8:I+ӖL3^ߪ;0UWk[qzRP0Н K8RcsV6;Uy%‡&m.W_EVj J16^|0 h(wih69hد&s$(bfAE N{̞vC n۞jgp]\C`Dps_tB~\g!z~kG%ahp9$]9 ؝GUȍ!!Lπܽv.E;sgTh?&]m/ OKda`jL gYk* ߎ`iU$07I]:@xU , WdTZ`WK6C-E満@*3BOƒk W˪@wdj͸B7 R.hؘNīV[?[f׃QVd7%"p(ZྒaȓªMǃQ?b4W)•w ]i̵zlo~_؅_A03w`{0ѿtqG2DxLrck[a^Z!0+cD$ kf($\OY (z̆r]GgA\Npaie偊-w 0+GqVhk 'G[J" g"+/쨱gh,GuEWy6} %'{OR>; an؂0oVT5yTŏ9ت#E}0x>hEnWD"˸$scs!>w]Z,G=*IFYl꒖EsS7;c>(f$c>&!YLK  7ڻ#KEi@ 8Pe#~ag9!#UݚF9dl㎮DFۯC/.an-{R8T)Tlηt=6:Nadzx(Kwv|] ב%Wb=`!v4YPMoSGHuhg'#i>%H0j !6خj Rvh^XZWlIEh'{6rwTdN*u,>9sWLOvbcXV0SJ'&F(n~ECOc \3|&k _ݪ}]_cp!jK xHf8ռ` kG\F6ܿATՋ`CN/?N4ܖ)(%E6$ + #7n*?'%^FZ8#״̩fu#}!jy$[*[Wj鶞wYX~m"amLٝ>jd]Lɐ>C2gdts! qSůZ7*Jz}Ӟ,nBt( [Ezqz 65%LK6,*̦ڬ4}ۇz͐6%[꾵xZ{CJL*mP2 '|bszv]hؤc_~\XZ޾;:;H-OcEwJk{};s}@ M%4n++*rf3UַZ/Tꫯʟ [ [+cc*4|hjm/@ hkfMwQSq!T~oQ 6-@^ V٧þVux3\w1Q=4vnlڴZyLE7IpWd2_mR-'ńaC+U؏x+CY)C_䒛Ɣ>`IӮI:`@/޶͢+{sSm^=":1@0f`n?:4q0|9;ȏ~w:i3BoxI!iBSG.ійK1q!fۻ)SuձbJӍ *u+P*XPI~HќIu2H #\y@2-q-5DFy~!#hSڲ8 7 D {Dy'"|oNjjgQV&T+7j=P"dݺ&_L5lv:ZSө ?<r&]&(T)#c dةՁMewl^ll/(6^W%(ko8o='Ac&oWT^0ˋӢbއ/❯iod *N991\Πz2<"Uz(u%%sm$`dZ9<`&t6`""sTq~ߢ#$:7q6.a03Q ȋۚ$SK$_rNCS-g,393=%#JIwhQkJe1}5^SjBeI~W g=GMZP&T9cQ~o"+X j?bkVYDI I D'0ڍ+(47;ʼnz&6 ] %S됉` lLU"w} 42n35c'KL=Z81'Sχ(0-.,ϭo5% x õ(!Ȋv{{%`]-F *H2KƎHEʰGcʔ eJ՞{KݷEVnYXJs@+xmwB=(j%W 5.-43Rve=g1L4La/gv;TCZtYaUcDB_d8u03oy'Dyh kڊJtkqzQD# yzW}Zn&cV_haД픡~Ǟ E?.yc{E8Ksl 4"H?U)iciE=~yD"cOT\8>HXnmSuN͈}#)DU*t.2X.TQ&ѹu22QkD!*> yTDQPo"~#}b ^kQ8 ~E2`BL@d6 <AVŶ:8F$)2\ԡCѾuo$IPv= `4?_#oP"=ȾD lq 'UT9z%3vLR"N)cDz͜j~LT]</Z`QHn PT)mvUSu7*ÿWffdf"w.7$%uߟߘv#>͑rahHdzAY.~C@^"7b^@2Wچ nȋ9NE{ЬuwQXk %<#])]hٌE~e, b#'Yaǎ3 s8J@ x)(^]4jmcM qgYZ/ Ckg`/sGi$4AyӅAa]88e]&Qt$GI֔QcMy11g}F S,l\e~M UZ96=## aMp|ߘLm1]vPB9y$dO 5=帾X!ُ#U-a~kf(TR,e9ľ_OPrui7]U9Aj_Gv,S!5K1zo)$$ŝ71yD<݆ՓFg# #8]P3shft%|^ 0W`?|l Rѽa/=S=^V޵wQ9^#a}MS k%/ .)% ғЬ y UOOf\s%ȿ?v _" - d 6t->U#^[x[gm1?ק(x4xld5;crUd+hp]-E/ ?N3-&:nr]Շ`TyiseP٢Va[25rԢZS Mv|%6o= ݆jj^*-Xܑۭjsgu J\.Vا&;"|+-t2k#m,lRV__{(R!羥W`S #Y8db֭siX`ݞH-4yC{j 19Ϲ^'@%calzruNR?(^cR6o^%.M)"n9lζfv}r$kޛ:ƒsBhʵ|'-HnU˖fVBcKW>J]Xۜhvdj -r2leḏq\VOsgU^d'Z#1mܪM/X]'Ә #i!UDx>T'3iV$az"X͏U %YKV_L{-\:ѐ1_^D!riz5یeRQ+e?{ޕJ&`@7JVSϠ1 8Ec.K#Wz#+9b"uï3<(eQ5 *̲Tk*0W$%AƄ{b* gN+>/:|#Pfaӓmk^*R . ㊠U5L:]]3C AAL[ULh_)l?Ú l(+>{ը-:0-[Y3A>1p`Tf-:!R溇/sVZ%̲G 6F}hE, NۅFhse-sTXPm9,W?妃>ܸ֯ڼj|"eh,(>R @Y׍; ppZSDcZ'_gyHAʷ6d:ni!*2ޣ5Zs?=XxLU)#pA~m2J"qFTS3dD- udO~z( +&`ZK L1 87de 7R?Nτ=ЌmN}`[H7!1W4^]l 7KJ\ ,yCg)00iߠ^{O"qȎp:koNenS4+DLx:S5ׄml |x:] C0eiDplDƎ]Buʙy3߸ig X20{>=ϼ,3FTY;--1Y[ߟOtcrLmH]f ;0u €oK9]AJupwPo*!d78y4k21Uk)+ӇGkK|uœachKaqvźn.`8l؇6֬}U\ M1cWcWz`WioN$1gL}2&6tfp霈'@nBw 5/Vs)7GB,U'4Pe 9>~$;K d*ݍH(zjhGD޸uǞ.b۬@j7ׁ{G*8V৿lφ yA=']XNU3CHry%Ly6dkQ2uW 44MoeDoWu=N<>GbD'3>+ Hiq X@uU\{l,5 ]v&E~+ Jdkbѽt9y!({vf'Z?J|܍3k9_wD\g0@fW~rȵHGZybЧSD@/` yօT#&~PL3t$!`<+gR pp])HD!M2@}29B+i /l`ďRv,y=rq?zUwػl180ˣjlGJ∔W݁Yr5d7 vt k2#`UiO7c3ձݓ^Y+m2swT!lsLq`yC 5tOوSS;2+AeՑ&MʮQrW̌;?;r6/YgalWx ckhHdFZcŧFMO'uQTs+Dflьa( p<"|,)I˧NQa-YZ %^ITnu r݋2VKE{N3ZLm-IĎ*f.MS@~?θmHsu|ϸh!,_C |#'cQb\PqU#}lw"I@A)B&܄W]C,^`^X# g&TA(vg9b>h6j`bHOY(F[*8xpגʃij`rA'Q%C .\,mc<5d<ⵯN梯"R9}IUu+ka>41]8os|?G2QǜF f5[&qo`tUxg5 MNμe θHj&Z[[@] {Q:@XC⟿`a@G.? Oy߫%Ñk yT+7mTbI!}#ӐN%ߟUޅ~%Nrމ@:% p&͓#JsgxÖ^ f5pP1},d_>8$DZMUM~Jњ&{0yC{@~ݚIm\grKe,gD-ޢQ ;>wyVQFX5ӱA*(s#'T^C5wjǖλj+Qr]_N!H3ԏ-cؤq6Yr2(Al1bZt9LF}k.JA(з%}XA!XA7 Ƥcp%U^ w>zCj {.}7c C=0)_hh A@oS7`^fUT,nfD]tz}UX\wgKNpV+,rO㛅.J[$~3ĕu<0=jr;m@2^PܗO5LĠw\2A TYb<07_Y0tJ`JK'>.ޒ@) =׍[@}D49D&ES]? vo<],qZ+(Hј_gBDܺe)/in oE{:q'Sw gdpog+" -' Jk"DutIBHgGn1tb 0y/,жpw%$fHB" 'ًD ѷsf"՘ӲYL^pK!Lf8/ڋ;2,qrkz@~"aG:Ýxje,-z4g-igqnɬ5*&̩o<>njP~u/?Ro`ȫSoYR;+`(F!Wc4+#^gYZ!]-Y\Kn{qmIr!Dm$ᩄrm%FɆ_$4H,gG ԟU*Ș.Qr;/Zڒ:H(lǵ7E':fK<zkmk g3/Adjhڣ4+BPqr%*7J%9NjDᦃ+Uyt*8"&Nw> g+= &^1|0.m/NoW q5_ |Hlzl <h/do"T$@Ybh@C}x{(y:>;Ywvq}>5#zAȷ+ k>/cYv>hcGߥ^-qBQkl1_v>KD9DP"m-=sԲ@R[q(1&8wdlA_ËCz S]o_0O(#h~%*QFєSu+-3o ]TuGJƾOu {".}d%uO5+$xEs.7 D$-X>Yab-k,O3YFlwl ^v3&Gq]3ڢ dږ;=CY6N.Ԟ>:Ru&H`B:3jkrep6s-dI.x{6{Bueg?dXˠ1++'>o[K>us= &`u؛?(!rdw byUSQ-\tF).@$ar;"WAs8gIDئ/m12EC@LحU#]r]>obX^WfkTe]Q\#p"|sj,ۖ;Ţ' i7_iD',?oƯ4 RFZZVGgei=)dxAtZUtf=joPͷ6vng}Z+tkΟ#Κ>ȃ+ Ύfg]ȮIrq$ zT]7q :m =D376r_zhpf0ά'pG2wVz s ɴCqB%^l_|Pg/k7g%A:0 6gn-(kUe(7k6)$;{ST]^#"ֆ5K*p#/o܍ՁܻaHFiF7RQkh{?~ֶeE3⣄ȟ:>bxu$PBx,%6:7qU?gY t{<_ƓXQ@%<ّ?l aKc3)`CWNET9Fï/Y| mv:k]"؄oT' Wf_#k$I.ִ>pU$֖IC+6Ծ,vi6*-&xQH ` |?{\ʪH뇹nHޖnE*1EXS/Q놿fzS'~S}͞Eq4 )5!RyBw魏SlpHSYt0gT2썌l1d:vRl:^CsN.q9D6ƹ cwDst=B {ˊǬ`q/T8s )Um$H4:Giֶ1qMIxal nTPJ=C B"85++Z$m(͹/81a!Ӵ՗VSD{L.aHҿRCJ`\6pV!TO;?۩qX /)Y_9COdq̾w#ǔ EruDW̢̋A4V2`j{"}5,l4P#H7(Pؐt .j5$%cr-z*ɊA]TYN`Ev_!cCʝ#~flH6wH/4x0Al aጷyc7@0[$sעF{>27*4^8T6<~؏"ND{1'C§Xi*0˱zj%]ۧNN Q{n)kX,@6ژ7T*X)U"m(>}