SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 d%, ]/]HOL-Analysis:threads=6elapsed=319.243cpu=1653.408gc=82.008factor=5.187zXZִF! 㽞P]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%t)1BPf)xo}mS^/$D)P?z X K#4 D'iXJ}>ﴼq5G䃰smk@˓20j[Sa/7=Dޗd@d`::`*]WPT|_ ,O F.&0?umZzXB n5pS% t[B 7"zniW?4S_j14WYaT|*n@Z=";'0',2cW M>dl6mceo 4Kq~U;f ̇lN][~򰾈/&8FR¶~u,͔8^,3N5dP$.`ŷ0ʂ? ҍ&;؜]@LN#.jBCCh=_PAk@Xd5 }6bTc b1t-.dԽv6~QIPw_nd7yϵ,.S 3#tKz#ǃ8ڨHoP +"۪7 aSd9N2}-:IEϓW|9إg<@Eԥ`^;I(N gd_Pb ̩ g V43ڗ3*ӆ>0{BfP鉥.D G휟5݌Ss%1,l`V~CB E.{7+*FuVC-.DW ’NlA[;܌$&pΤH4\4F}9 X/g ̄I&.p8Ŋ:@]@bw?R fRp-eblXĺTwgWaa7=6ѤLY–c ,^.C7kP%`, H :9SC3-ҁiN!.II̷+1@;u5Fe#>h<(Inmpes<ɵ(̀Ǡ [[P;:O3Fa.$@Vw%~rD$5ICʗV{h|!#hsd=\"X}h%%/*“8tQ5} .\>**KE;o|C|vpꨲƏXW"+)!˱ OhuNZ;ةj`$#8|C % HOL-Analysis   18WQ*RJFNl!CJH7sU@uqCY Ϫ x^ ފr+F44O3}R4@m})YE]a  >YX* )Y)PaHp &Ӡw&*Po [%xP!%1"FrQV-.2 &ݓ 1qhpja9!B0 ҮF_)B#ϹUha跍$, S>g}CIsƯ4jH!g ir2-)|z2|+iM ݨGśve~׫%%YqJOn>8s@HyK4{#qxXLX)[`Ԣc,!smR#=&v#Gti Q= j$z ;N0 $S`uIg(FI#0$zoU5"#u HMqIswJ7{&\ٮhТ2q5@0s ;x0GOPhy=ݝuc;#s9n5ZLnJ^g>a 7ʲ3"Y@0u,8Hj+~/méN! iW[4Byճ9/c#ʮs:S*ysfzKε .W5 \c%D~eQ5oǫo/ۍG]1ANG IDH\qˆەOp$Φ)`]wn٧?*]\Jц 𭙨^jV87 ]DBpe~ lo-%򍺎 OC\~`ث! :UK>[BKGf@2!kbud֠i*BeO PM-G 4*ZwhD'>+>%^OƷt!7 CcH׎C Bjʜ<í_iG6}d. cVhSXb,>0jW>yԍة$Y?z6~GC-NsHV7n q]x,^=j07asuL2Sr%9(y3R8Bx5Ҳ"v\s S+js~5kB)_~wP gQS*C]7<ti}#*dt!;Ƽ:JTO2nw[VB1AoYq >&^|8ga1 31х)n[r€S.5]Wγ*|=PEsc:jOG獉u%0Vy6&,^HCM2%}{ +g->qk-44^5o2m+脨 EknFcljR E imeЩ\r]]hi;L)1R?㖬&?/d-"|ኖēdAp2o9 ,NVJt,*Egjs&Jy,|>Pz-v~҇б%x& ^klgcwm 5 c9<}XIWw 5f8TM:V)gC%C[!!@^Bl[uǯcc{hu`XybM'+L!vA̠3,o`.ynR?Ԧ*s 6hM&b\Q05I_L X r͜ J$(pCz4Dl/Kz 攮k&nPRغ"B3:2MB%{P(AQՁvx=@3̔V+|.<>:zQda?k??P77.ӐwhMCJ\M8T;;>5FP&C3{K5C>/[I/  39]^ OD>3D/3~ X,C eҧ1آ6간ߖ'JY@킙M:x4|-o 7j8 uMI76p  nW|⒚%iڮSEH}z!$\ lV =$䁳& zS(@2sDr(o"EYQQۦFvExP*ϵ`Ќ>IM,sy'rەD3P[&zP~pID=~ꌁϱMD }I{&L[o/nZè0Du(/5АBzD׻rAZIgTВhdy_1m]y{(p{$[u7%5i4n Ykpֆ R7$9aONs-U>,f|EzH'ӹ&]Ջ~Do$ V;ɗUrHt ф/؂_L}?h.wJWaK.=>>'^fPd[g^zIn_y=a@s.C:BL YdzpUQwDĕ d, c~琏j;lZ#m -%Cdx%5-LuB*yw>ZЁ툭ʸ Q#dg}8Zrb5=)!}MZ2-{7LցU-$}6SQcS6x} ][w^ŋzkr[=Ycrpj9ٚ 3z‘wߘo~jC8]ڮ446 mAD~v˿P^5uݜTsO[NoR+țړ6a^aV%7x4O\;bФFf9_e:+ե|@.#L*`&`ԟw蕠kl \kF7d~k`*RjlN ߘdeM;`@5$^x"i-Վ.?Unԍ!W TDV4as4HX\g\5zRGo6K9*D`hb* YaqDIgcY!%Fq-/$݄^?]^+GM~W N% ߅qpF+^YYZ6wT3lWS6Λk@񩁻,c"`DjHp+1{ICa;r ToP,8`^E4D  Q BJ[o!ҳ7P"÷1Q 2JQnkT ܹ& 6LHL5hJ#-աp-,ťjz.?[IqǮ+!(!S ~s^c LU)G\}|})'k<=O{5^m wr0O9MyqA:݄ iO(J;_hqDmclŭ@ 6e*X]f^&w+Ț1*a\M1"}O[n/[-o rYqu܄hJd!jݭxZO4p KH>kTׄ- { t},^HR;w %>NGt6WoxRWl5~nExRp䎷NV-?'jcP:o>Ӈ Og?ՃGOIǒSZEk,I<IܼXhq kS9g4 "0P4Nu_Q|!ԣnð@3?SWYt L.ٷF5 瑗ZLB/?&>$C zwe @1l,/ErD)0>Lp~u&K> JyC$VmtWxpƖ|P.T:yh2*6Ald^aEu@GU'B,fpslYzĉ!0Em&3y.j s~̦SŞ#]gZ} '&Wbu&bp S^BcpaCbs1 h<(0E|^SKBi U+}<2fRb#2tPDw/ߩne  Q2ds#PCt,nOr3"h;KtO[Ԟgdk ShM ߟuypm~H-3 ;cԡE 2%_ʜF|g{Nʠoȝlp2X SoԣkT;V=N+ڻz#L5g ka v~y8/^#Ҫ^23G)@֝FEyg˵RKHu9?UZgJ L}.N!ҜL )spRMi_(" YGT}47u@=5Deh DWK-gszP@3%\O~#lS0j0bʊT 6-:euEm_[*uԛRҒ*D_ϸNYdh@NBZ"%* "OTߤ(GpθM8 _nRyévR.HB= 'P M߶M.!PM:W0rZ#קL#< ] B[*KDV.M׈bm"ZC.\a'5|T`Ua9Th~ݝq 6jUB›L+%=+  ]n;ìΪzmIdo$,eWDۤxʞU~yHx!d$lL٦hS*fwvE|H$q/=A-]Ҙ.RP։Sz8C01in @~2l'hBB1vF~z=_,QV:#`#j*; |$(gr`x򱹐Txugd@- hUwyϰ v {5 ќ% xa;oˮK(csomصhuڴգwb-:وXsiWT @_J/]%i^ni8O`=eƍƢD v H%o)?U8[kE8PP#xH^bMA"<P9v `WLWlm#g^k8eW52Vұ y~AOMOb$#SeGKj'Wv0NrX)ڋU[ ~b\i*0;u%~ 15WjIy_3OƜ1 *'o`C FL`,0@Zhr!(=>)Z'yPF R h'ʣ íɶLXn8*ZJtGRd< _k@"A*(!O$4/i#&i5L}l<^1VjB# u=~Ҫd H BI@w1cV5/k~9'g<V?ؗ1r2ͬWqndz7X")b|mO̲$AG5ٶ޾W7y9o㓺Ozxïۄ6E 6 vɷ3|*Z9*tϮȰch}ʵD#{$1i\S7eWM;)?0٩ڮ߭~*Vj#jׂ +ט( 4ZB {#FI4 uC @Z( U3|\9p{?‰:,wLu#TCacZ?0 ʫ9/ 枱i`Mĸ45pBjnH^h_]N@y"C&e=Fo^4ESQy1'߄Hj2iwG2{*~c'oGƜ-AdƛGo$ Az , c+ҩ25-9^Mh')`@ٰ5xJ]'Q/Vk<'%p#}z \;8d Y[-alņ.%Ѳe-jejGO 8}0TsrHC03o澼 V7e 踀M>q)VE-sޥ{.A}n~2av[YYdz[g􇔒pbPG>d+ aǒ+,Ac:y_Ѽ3>"9XŸb Mձ`*SeZi VG! y O:B._Ь`M1SCeItg8i ݼBlif| B‡WuzXV|VŮT6MDL͈ܐ45'|K1w>FһeEZA@hqxNK~K-s ģ+֩&cDQI51N0Up6η\4hkAt@Z9}ҀTv_2&&X ]'EGǰwmDfStٛ/U?|Lqլ\[yTB40{0Nu1)vƄ.DyeUF Zu+Ha' wġ]lbԜe:T{jWj0gM(ID#WgĽ)V X;@Rě6 Ł=Lj x[4H $y2|nrxe[ǀԚA:ԫ(dKE^OAܾ(`j޶)-K0O]x3:;AK*CGbU n[Lh'bL 7I?3Wq:ۯ/zp+25ޕ^kuBqBdRy0': Og+7ʪn.kX7 KJnek(8g<,MS\ѱ7q۞¼A SCd쾼;9@_a^ѵ-{`kfE xKfp8{S ؟Ce_!_5$ҿv"b ]CyUz#TD4٢m6#a wixb1;.ds%ѥ\&`p$)tmLCE(mpYWK]"\FgtAnEj+/e^M@i0>oC W\{p:|ZZ8UW/FH#y[L[lۂY/Xˮ$nhMқKLx3'Q,m1"ge`+y>3gQ m*he zQ0ٗ嚣]?$ wZ*'xpVc~+64с=Š!K[pVd,S;h"'3<|ݖ0Zk镕Mgn \Pp3~-/ eK} FfȽ~jl~U,Wn)`bןΎgl]֬mK .Ԣ7:7t)AŢ>ӂ2hEFdJ#>+`vY6L{IE3_jM.!1ؖj& wQ3wV`}VMvt~'`.Pw]o: 9_X[02=mj W?_a)jq姌̺ЯZdbT:;xz0L)>vӄA1TsǶ 0p\ǭOj{}EeT\ ݼoR͠ 8o菲kR<==o~lt/ dh$g q|r%X~V.Tf(#hR]*zQh6 Rds5"`[hкzڛuky.6揪ؼoolʀ Q&»JLbDLNBGs Bq^` /vɅ\4=-p16)Yk֙F=Y(,6ޢ韫#e* &{lNHneD?+/(IĬ2F8x»p}k67OhXqaP$/;[1_$pgJ}Z,XNQy{FzXQHn# +)OAٓn-2 .\ FcJXg3'O*]E M*16Īq`cL dtrh.usׁ 쥾|+`\|$OP )uhQD]h};Tʵ|&d}ÿ Sk/fn`[F%gj b-+JIn'x- pq1oGN_9|'؆2fɹ\74_N;c yrH@.&t/KlNgyã݁ mZh),.D(k1YbM.|K9fnY\O>\Z#}#ef<\Kk_FѢEQye΂ط1b`[,4U ʫjQ[(`G7ɧ_u5!9G;Z{;,Gf+O]9c3&2O-v5;Y }M֣9<Wѿ>:C SX,()X螫b")nõ7jQsbJ.tsShE)KAb`&>j>+4h$xZ3FL F>[j`BQPB,HEO{ti8@/۩4@A=+1;GIHU0dn` BױnъFoZ $W8ƶkS!B'gr6gT6 X ! ;!5pPeܶF l%4OI4GIj[\mJ 'f,zʉ |7K LhHM<| N-NM&,iFXQ ޜmǔīny ɡzKeh#GRЀfҍRę}x IEs,1$$E8.ٰNU߼&4uNCIuΌ6.gfmKcmvWt߇/ZMG/5bVڳ3= | RFH;:ld"f5]@tsʉASr8Spg g;$7TnE\mJ@nktZ2 zA4*l}.C)HCܫ Lt8k/(s8z:AE53tx3! mػ#RG8$:!pRW!b|'\~B,恲#B2ǃ$hf9>n liTTq64 a"K.;&55'7Gd [g J=Y(s'y|xǂ>- clG1ja[yv_U=X8ߠj~ؔݰÐz=_ek~}kg9T+ԋlDYt^Ґ67phr}ȠXVƦ|E*U+8wC(ܘ~Z:II3CȭYst&92s*֠0bp.60P hnq΍ |B0SH߆6VRpdo{U?SK {.fU_2 vQNJvj:?ΠtGc+!D\&pv%&ފMKo-t3N.4ij5Tmg,< >{Z= ouR^!6 9 m#D0P-N݁Db?omCPDܠG7ۭhuL&Cr2ZC 0uF$3'V~ k{ o6Q4 B)wƵ3s0 MLꅏi\m{7aY6 xk>Ia{R TWXާ͑:Yt%Y4IR&#ܸ#Nbc }Y@ =D.:306a..xW"EYg8 &>K3nYh;Q|04;{MКiFb\";`9Q\&ՎV <59KF`A^ڻ\ 7O&}D4|1j/ rX[ekKɥj4U3X~c=]n:~(M pfYrAm]0{a1~!Ɛۜz. Qbb,7B  N[r6T3g(TXHߖأ6KG#վR^-W-BS"roJ(I f7BRatWp$U`.$;:$7'[ D0ʴD-In$2 [.DŽ4 [*V@`=0 {;G +崷KCkbS lS+B:hԿ ݳSlf5sS'%005ٴ,f|qNUR?`".I)(Q  o@~׻#&ΏTYĂhuEm vi]2Ѷ ?`&1BkNe l[ %k 0\ |[mU7guP̦$MIcYMw9i/R3>g,~N:a5beN&ao)ňx~GG풦Uw4()w)qRu)Y!B) "hd6f _:^zF΀߂L]YE6pY6^!X5~ޙ۔0Z8?2]_M,m[5> )K4M teUmU] NDyp8m5A|J^H=k-)%%8?/2L\>H1* f uY)(&&];?=Xcu s`MբۓOfQ CW)MχdE$?#k~N:85` Aڶև̃atOp;H}셮zցox)<ֳ x7mc4/C1J*x8qQrpf\|09Hb(׳5egcp#g_V\~e6̄m؎M0 es{P!N)ף.KNW%YM {6k?9?0 ]Ay L6w-oQf^eF4W${sslerj>'Hwjqnixʖ Q6ʼnGEyTL0̀hg W1dgHCG tN$'s$)Q[bb=[aH}%EM]AFyx`ɩ_KIdZL_|u\~OKf=.OG;?1$bCNy~NeNA:_e10(^CSag%XYv G+b{ں1D(9U/ܴuxPdsBRU9[{;(Xa7h@\Ŵ Q|r _ j| Uw*btdoIkӞ:͙:ASDw*碰(:_TL#1+e^ ¦cdoo=߱Ɍ3b,_U幂x'2M02ֹÅy\ק *!hߟ}:;#I{ ! F~So2`lx=ٚqX f7QiV.+ic6A, XS=ف#%$H7?_H@J05x/r @"?x/5^Q89m'vqĤmi)lw10&, ѝ=AB,WD^P#Y^ƙp싼|zlI!!RyoՄ{HeP5cgYZ7zXZִF! 7n]ŗXi%I/XN(1B_g3j3ٜ27pz~d! xҳL5p2ka:>4ϧ6)*@q[z61$"k&BWk}ĥlr^Jg+yuaCU0.Մ1FUKl X$WH۬wYm ? P"ƝUާlECZamOf _flnBGHZcv˕ިM@Ԣ阇!ȱ}y٫tE:}Gw=4tIժ{ 3ďo m/(YRm띷9C̲rnR !FqOr[ 3bڝPm[txxfhA|fa|Rw--Rojy~(HbSϏڱY+4?A6Uo ԇvvjCFB*'Y"=@e!5ԩEo=J c+[U1loN 6!U-OI*fC h䈝K/.+O9Z!Y&)->\%ԋdbYyW=RǛnD╣I L2P;d] [[ƝE$WXgK1ݩQٞZ ~n*[G&G,g՛ᐾUk31(l}eYM2HWQU%Mc|IHbKAG IR€9d8,6ڧڡeao9e27xp a(neh_(' 2?Txs΀B"b4*RgCLJQJȣ" rfdF2PӮh_Qpf"iNY@u=cdY-fy1\]TҰ6)(;mHu?d|`-ۍϒm |Z5rd9njD(29ITU- wIvx?l1Ω->qxK=$:tdR~Hj<-i'52pb*dI}vov)G%U yH!@\&l ̰FT>7H ۅD`|'$F Mjwr#)d >.-PrR\utEj/DWtQFvM>tYACI|ZbVXݞqN?"pf<dzh!Ϙ; f>`t'2(#unh<"Uq-Sv. < :|y79CUܒ!d'<1O :&Qi<ȰzAՙ'(Q(c)Y?ڕlWeP7v!Ymy? #7}l\rX9:Ԅ,w=t +75AHaslI42=n_X }WbѐƨpNs4VU6BOXV}z[ZaP"kT[:c}E!j=Tl}>L7t`}`i@L]]SjɋYEC]L/n-]ao#pF/HQU$_lsjes Z80Zb(0ÉS*7 捈#-֯*39g3K5~'|k=&97Pc ݵHgY_Ϩ Z}B0u:N7٢puzvA}`JH+=ߐ~V&Uևi*6F2`J  +e#Md{x(~q h}Se)djVbJ>GZs2}*݂|Zn!a&: ί%%~4Ai&a$gmN-0e70>h*vMfMet FO!kk>cV h~o>)\g4(}n7 Y 5 aFyYz/QꞫLZβq'Q lǚINa9N+?}LLL)v(0cd.7;WQǣe&>BmKIUW ׃xu,Lo 3Ic@^e|6OW"+LG"9[_#62ozDEP^llFCROV7c/6Uˇӎ*Hڐ"hĂ'Ĕ!Mu[:I>s*6DŽQ:PI~k /W$c UEK˳tw%2+G%r!Y CmW\z*R,3Y iSpZ)NgD2Xz#Կ.f=h#{<OHDIm_g@y3GY!=]_q J}+tmK,bVOY6R#8b/8gc3::u89Y)B{کk!ۿ5Ks>U|}zcX[Yh IW2v@3ڈ~QR5B5-zBcqf[ªZuOҢS >ʴ6u:o /y1X[FQV%Z2Ͷ ){ڰLKN5G;搼x!M?'[bQ8Bk~nF=| hT2/jF1ʀRdջyFzx3LN=\6M"STd@c'\)jG@G1!c^ز&Yiajd(BI$xףW.H mSvkGA&ϔ,Z2"#7o@{fHd.;G2k~_NٍfWCO_֗&j3`JM3m C4 K[+O4h0~Vf/vf݌jKJ{1N6{wcQ mDHx˒  \+"'G¬g#cXjm0OFhF[Yߏ E(p'fʛ%>ɲp˵9!@W_L><'b9ɉY;Dl!M}'67۾!ׅ$KyFKk6&1"ϣyƒ,bȯ۬?kiS4x0DWf27B$VQUH8'<&٤)_tWgAliD?QBt밟%+QC8*i$-Sg~:?STdM#PBq^ ae5xVQ,ς6`5EVli_Dݭb1H½gXqg"cX(XwDZ,Fu{:Q:QMja)foBpW3NKS礫u ̐UE›^PvRIwbMd)R\ f삓"eFV́KD=O@0Lԯf.ҏ#_D)c08z4UֱCIׯ#HP汚+Wi5?t#`^Ѽ{#c4E߃FJo!n]kTC+bzK;k91wjgl>P -ܘ \f }O͉߁`Ėn9'0' %yW(ؚM dVv/:q]hlٕ>kG8I߽inh(>Agr/WȓIo-ư. ţoÒ4waODX'H;qS@J2ėNNK53]KUkThIezX^Jei5oa7qe\?Ki1W%t@YOWNPKq\ 4U4_zzІ%{tf]t%Sʃ:=ZN'c3us"~9': Gch1hoG㼒 ф`1cAd韰S+H`sڳĥebG:!ev, hiES{!贪) %k7y.HBRʲ:a \_lLf{k>yŦ/f{@ j-$бF>4Z==;%V3$d3_~T)}C'τcE獀uEl=`hՇl+*絩)3? 'dWތWnQ/2., =SCsyyŷBԛ2[@rVJ ʱɺr})Ul~V圣Ϻ;@E:ݕ/DX2id#d应\oSWi;dhlpfmJ@COwTE% 3@]yC Zd i[FE)XB/;yHB4;4 bLcV$xA4"^G/<=)  UV0AuȅAIa9MVǧs> ġBR=ŰGUپk$WR^ neBN#!z hE!6Ty$ZMxe۸5 dt3#ށgvBw&٠ 4ay}ᕣ#l (`Gš{gxfݧ[i⎭x A8eC?RZ(21=|NWCvs]zak$ {>Ŵ^qۧi?xe'R`S5B|8 zF.< O߲v/v.Қ?%.R \5Blj*,:)R1;]gySPt S/UI2+.Q!2ǰy˪9ݗQ=;ms΂[{F9O62^U,8Q8Bֻ9z٠>s^!![njvyK0!ȼ36(& |#Ry8_;s:gY3y\ cys]b"{kL4.TmOzEu4DZ62x,N :[?7wHOcbYk4P!jGE7ii[9~);i[!JgB Ta Me ؾV}(t._d<…]7D :Dyc7+x>PqMTr-j}.\|ptk֪Ɗ39,4Tӆ4XԱGOX:͕Uޜ԰/;;PEd(3pQkLY a+Cʲx@X3d9*q8X8%Pc2N=xC]F:7)M=^;څ+U<]Ŕ G.?|\Ifzg:n)HҾ:c0\Xl*7IXn866B(Z0 gPs*TJV,%TH5@dZh4y2*ś7?0m3t<^vl6 V- m\pDp_'NɆ~4 D+nK?7q|,g- \-ɝJD3=6s,{z@eÿUeB,6|K[`f<p|SĹSw 'G8*z.+ov+׮cI#.( 0Fp8=o@1\ҘuKi8K9eNmKSE=&5"1˴F?!GJV.9+lǐ/]$@Ox {N8Y\IZLp'>PS+s{$G $bğ& DCD!񁘠IR};ZTýB&4$g:LjS)j{*_Qn@ߟô_adDmΎV\ (~>^Dev 0|<şvIݞ-*;j 4&E͙Y8b))IXb03So:.rT]zy@1cTgb)qBؕ LryssaX+NܣGl`ffr1To}T..n\{Xd0iw5-c`Lp=w/;Ǣ _g~K No])ڳr- vDhU_-@f-BTm,?չٜr޷sokZJV~Og`-~Rqc5z;7X( {u:)ă5ֺLoR_ Ga'6ff3V`cQO`Z$!=#mfMKIayf W+QܯٷBOmӭFO]#j9LλFcgn׾?W@'LGdA0Fb@Ur@c.SE&˰04] M#XFFv3,VUp+ENjGX1@mH,D^ Vt!ZцzH -=1vG 59ɫ@O @y)>_O/ՠʌS78gH:g);[5pʜBOZq j*/ x_MVjpNr_dk֊;صh[B*Z]!y%dgmF31gSH\X}ON|!:RmDK. B;K|vE#q/zfE- ( +텞\y"uɬō1+=>P !uf㤄ڙSq cz`$a+IR #9-pHaKe40Q&BBtC=4 U.g9 }u; Ζ9H׋+Ȯ, 먝3f;gIaņAXSlޟ7')|B!ex. ߥV`(+^T_1euYOeTfLI\ϫǎ2(:EǸv6s)GWfSU B_lh~Pk@T,@R2q<3&f:{, ^R.Fi޳#|ȋA 9d:.7UKqŝYsr!w=:&Zhqgr2Lʭ9ZE}"{naLXS;A#XX`mg!Z#XX"my kXztNioSz TjI6UWgqEÕG%5%z/|Am:27X{ ea\ k|lHBMdX=$[Ӂ$g-X+F߶5pGT=gn(X/T(%2$)lL5^(zF>z9w 0(Euƛ9C}6d\T(\bק#+NJ(}o6y{qY .DNt!O'\@&EHwՉ` T-!i{wT,aڣ ¨ E?p3ܙf):VMZRgc`h1H >r_UN~C S9q[qqӰxG~zW= 6^`[Ka{7#llaRӠڗAV}7yN?iZ af [7 ,i?UG1;,6l2 m; .C^kh9w14A1pS6^]'"% ~3fT&ш%RR ڍ$M੕,1n 7ﳓY0ќ֍k][{-k\c32$֙A5#>mPM4+V֣[XFA)ju3|WѺ!&.1$5X(j>T @1__L)8h1|*9-˒ S]$*A"Y[ Drt !S{X rJqIB/qvOr^q gePF8ϸ46a_V,%X@̊@(/+mxsW7;=#򺘈PUKB A )6460cwa7W7ؕTwFyfPœTU1Sb j<}|\nP4R!lRIXʹ՝,fSCHΓ<2#_Q &M|ZzB? ÒbP#>o{((xsR!+L5Ro~j^6-&B}vƧU6.ğ-u/؄QFG`Uv\l7ecG*לx[Xqю΀^<PN"Tld#s?V [ b*51R|A<8 ˉ%'J f*٩{qDQwEVKDx?Ti%He*g2?( ϑ7ط}f[.'gQfsgc1;HN'g}J$t~,۰>Y?>-Zbk{!@'ѝT#<3=K_ADex-# -@㻤!#2DZL`:Q' La(ZIzکuor"Ou),H?[]0ܵ?}z\ 6]q6/.&`ׅ:kͼ ҃t^Նɔx@\WKU%)DϞQYzrMg$bH OP17:.v}ZE ?'̨?~TB+SG p.tYļDчwS@䥏Ⱦ$q'b*BOR o0qwS1Eb9+x(0cMTإWJ!*S=@VG iBrd BJ0C3eמ:bҨJb7 ᦁYA]}Vsm6uY*@X1h}_bgcuylܿ)_2/wX@-Vc-s}1SGh,yH뚡2K"B[+܋c_yL&> pB@ -\ԩh;U Ր!\th/UbEZ2,۩WMGA:n}/Ϩ7Ez\a>gg>Gx)<"2;;[$RHbuK|H*wԍ.T~8m+P7J0иh{+8xю3gê5wdwaqj1 g伡@A]y$V^sB0G,L,>85b,kW5s!EZl+ŵⲙJV^XJƽq&\.y?i;kj!b]P1y?DZ87|zK!XY%Ď@WikKP?-H_ԓ21p=%Fۧj͙eP:feEBbƿѻy0n:1t߮06LgE(WԸφq=2JT .+iU읂 }Y?i̛ҟKi!V !/yHᯨb i٧>Dz : n?y+Kޢ FK$5ߠ*o?Pf-N`>P /v9.ͻRK{j׺e(=RK*L5tZ !y|nz?w9zxRM,0k`\ , <W[ wyFL`e+taˢ 6zaw0Fp<3GL=hɋuҗ2g Z`W2fN" 7"8o8\'hCl˚YR,HK)%)g_,O>kۊ8>Y ݮW A)RH^m](:) _MfXy?hcsV]K|~RzFiSyjO=j洐$2n8txV ?HMckN^Дur`鐛z 5ԡ=WnIlPdK=QI+:{@z2BݭEIw˱Su<&Km΍RuT\bAIyJѽGy- P m8W0MF#¸9΁3 {jPSdF7ґ>/JC˅UT>8Sעƛ1x'BUEV&+"mmjp VHB,ǘXd% 'RC7l"@Lƒg.%INc1g߾8 (#cϧ I ī)iΜmzD%j'5`3ŧHv(|8#41HBW[к(0Axp)g"iTsq|f8K~g@V&չ%rd W&&XϡOȕ<_f>v[>44$jqHˍ ]rm1\pn%z׷QEh,Ëj Ր&VZu>];EBsb!;tY|mOd1C ^?雳z(PRڢ@Q6G; >|FivӇnؠ}VqNeCh5W-ٔq }K :Uۅ!]ghC%߁%g#61c]־I]%E@KE-jʔ2ep<,P,/I$(Yf J۷5p]~I#g2{in.AlnN?\<6N y+2V]HZhȎI[65KM,~`pq 9xX=+~JLYdh@ Wcar.a{7m"Gi>湐Kb[؍QK7=.{f^jFM~%^w]mu5phٟ79(/eWPRFkHrfFܕ:. EO_\!؁s⏦Z2̊I~FyoS/8hPոu:?śWc* >d !2!-~!jKXog`=x573Ў/[n6GsdlL"kϭvg^xJtTq$FHٿݑtMl+K{fuC{FoRc#1[h}IOh:WB:WjV× ]^~e/š_lqe"SpxBqg'fϩ`Pt%# m|)G>u<>Q?w'ƒ^ǃGsn] Fm#>/gB:7$I˿z!6QϐXoU%,OݣbA#QoJ2s#8W94Gy7܇F5LLglk%Di"LaQ̗8j=1H ]qm.ËU< +rd\L\WRjDM-rA oQ Iwtۻ&W3XJZ Cݞ[JK}"^a<ֳ~:fϔʩ;h*2-6D 8eg}yyaD9(vj xMU^!u8k)ː$^{P@=[i)8hD8^eƽ8VA)Lwċ>:1dT H ?@$~_vipDjM~fJGOƸdCWf#+RrYMKC Ĩ/^mܯ Ij?&bD̨R o0|VMxCmtVpNh-|=ڛh_#œs| 2ڿ!ֵ pL7Vm?}gRZk( ~/A:_:%bW5BЦw@f.]uX%łrH p*Q =."2t<o@6dBT3& |,AV7NJwAjX!H#S񩴢k߯t" K>"x%{f\r@ 'Nn̅ٸQ(Ei[c@;Fy;+@׷n <8>DFKh) A`Dj1`G_^.4"<2K8mE[Irы-4\I[ Od)s n.pByJ%YL~  M:}Kuq(ld1dw!9X"=e_UdFZ,]7^;zv0}]l"w~nv1Pź0#"eK(e]ٹ1Ż~vԏC{ FJn)qF+գf\Hy)2g,0Fd]4B&:j ɤaEuB4$Xig-q\;;ɹ!eukW+Ɠ>8ElT9Ӆ{{w 6`]YdoK&Y:-fvuvPE>>wW~-]a*4ećckcȂFGk\̬vM7Fܸ#)xrd(@%=p`'ȿrz?ͦ$mٕ_w47BIVجF('KW `o}xfPCmMQ#FO$>v^j sk1ehꚧtza_gk2Zrӝ@`}Y8Q0/p 9 0avt{,*8CTC?M8y=W3|n8Oud|eOn C|T/H0jst$FNdRi7elђ$_n58Bwfz\p [i|~NI0%[Z=1 fL\_)R q#O:q*jt $ U>Cy$yp.s_CDy R5&E(q4 Zh&ZiAaIߘ] fTH=&`ё+l*uw)*8r+{-We3# Yi℃P=%rvpnU =@6)Q^k)CGw")(n[5~J-pt6{L˫Ut06y ?;/_=ۧX'.]jj!XjM)1 Țw09DL4޴MYI:;;P_-`<b(B>g;A}> kͦ܎K~A LPr4yzeoo^2MݥNn[0䎨yICOP~+c(Z#(` Wp_z0:+/} bO+K`l.bxr4steAG)*!AYSԔFdѓY@a.+{{3)[qxOrQxP~m-i;j|*2KPtBr%NJY]xdJ0iِ$"Mq" $V~? { xoYY4i>bF=@nkur&TS2dOKW.Zs۳:ṠFs}fj[oH-'(sfXpws ,Qs2H[iVVZ'SɃP?6Mgsi"~BL%"d2-d|5#EWP9AmqNTk}p 8wR" +<#.c-} ߺ :︳בzCk(m2'[\Uce)^Ğ4Ӌ=B Upz&mAj6~Z2[- m!iQj|&FZ5{/'PF\w+2+qC҇&Hk*v+x lJaߢA#qlT1Mg^=w=fI WObC.՛"<|bf<`ڿԒD. ORiYq(Pe kD `jӷ+N%Tu smAL&0"w.FM]I֠ G81y5 1.waU'>8$PBV:*?xCٽ%N)A ־^G5#eRZ6q5C8qWGMhٗ_мqG=~ak`:dqp* иoR"@m3_#)K=;gc&َ= 0#jږ#2* IdǼD:v0}G x+~_ =v? U=X nv0PX@8$r|in'90RYX5+ѽ*@NġՋ%L@j홲wIٚdli;̙w]U u}őnMjY'mSF-I͑w$ 0 d3j8p_ z#&եc#dm3>uJ9pQ 9"Ё#F#Bvϊw¡i ^߁|D2!E**ۊ8?& ~j-y4}1|У`­*qIGmUB =B^7>:K<-n(:!uB\}OnRR֜)67R}R']OگtTO9X{$A-" 57 XnmM=vT?؍&/>JjL9*_7r0"g%gv{)߉W@AޞO/ڭUD@B1nәv2ĵ =.{&92[\Pڐ`fUI{XQliˠzEWNST*@9Fr;Pď!X:XrwVrM f]gfE[[B Y0 0P6&93Pc<將_;q8ba@MkC<̿,P9B"(J&b6:TBJeJPT0KO疪VY7\n5c:UlKe}F䏮'8jʅeAJ>#7@\|ތEe嬨5RF$R}I0]Y*&d' 9em%@ ۀ|Љ{ŀ6a:tOGzs2KJA?$fǘ "H zJϟ}E9C%#t<I<4Sa]&qs*,"KyVu3Oq=7JkK:eˋI-EEVQZDһC)M b1B\M< !+Dq8+&> A.~,ɱ5L=ϗ$PŘG|ssܫo%ϖGlc"$H^K۳&%%̄+P}z5R\8[~Z; ջDG- \!sK!1!!ܗ[{ Sr(CF:車NO ` {f+Eh]p 2EޟCfDd9W.'D&δʑdQL؊e];;YjSp3ʊZGK1%T0ri:`NRrtblGmX=P4q0I׬[p"3"C>ۚ1.gp/8;UvȚvg `oSEL\5ړMM]l^!О 2o[Ե?F󄀌z&@J|_lT҈ jFowcTAi}i `1H/+BjTg\{bUvjK *+s1 neX5KAozT< ׆Fg$PcA-Cu\Ὠ釹Y!XMّ:w3&% sp:ܻb%~-"Z`/r~_k}`Db d7fn~%9 ܑq׻-1Z)KʚYhwǐ|h(Ҟ Džo+C?Y4 ٤4: ,VQfB9wр^o5HGNI%'jlӞQ)( _j1#GE*q(_S73X4rA3LR7w]D2 o 5y&S؅EMnоxHAPM:ԕN~s)zw