SQLite format 3@ .0:  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   H!d ]]]HOL-Proofs:threads=6elapsed=542.818cpu=1321.760gc=125.712factor=2.437zXZִF! Ы]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3 I<<2=/u?ɘK*er28nJvY` 2o* [brHHAb(Eqh S`t":jv/;S=DpnfҩkA)mPSZo^Frp]q O9g"9 ɥ̖D`TN U9 %:j6=/V. 9[&ZJܒ0*κ˚%^xà{%${| +rj ALC1䗍bß>vOC%~f\,g e[}:x*zQjfJJw,xىOg0 "RIwPFPѩs^pV<C Ӽ9>W=u/ń_ à_5-<1 `B(#HŸ. P>_+N9E2ùԕ5kdcՐI}{UEVK,WG𩞓68@F#{.G#%c+vHs^/^ Lh ڞ֏hhwz2&D`.>l| b%%jZmzMىrv^Po,1"p9c\b  HƇ`صM1.*+R4N$,EFpW5zO_C:1Z#+g 6Y+zlf8C_R = VyE9g7M-c"B av2Iöaj6טZ\eVuZA]VޔoqD7mWe3e=gbQQXZ U@ܔ ü !`> fgssĜU-bdGhRܦ;Ɵ\r$׼wUfǂ{bUL[/tT.Fgkrًѫ4erlؕ+틿(PjmLKWDgCc (>/9B2 U^A,>{0Ug4|~5 J҈k(/ySe5VuDm@" <`4d fMrfr۽ :kRW1UM8oak-\!o]ի``hw(S (P%#7Dx('&-~:`n9uZ;IALIVJG[`Opj@B(:/(EVlLԶh*y,K:7K)/Vf+(fe+!D] r9[O( wgPQc[7Y a,Se^{`Wx7I YNB0&z}M !丩(~L>ŠףO懘lSM^qKI!2F @;!':u.8E! s2V \1H uBB%Z6kT *]>Y=z< ~Y1Ng KR:՟O4YdZ^f`NN a\h ]Pc(Ḹ/7W d??'zsӝ 0̝N*-%S dC$z~MIg1B~1#˩T.5! / S+,Cm/z{ 5]*0QA} !UKD4 i ftmcP.]E`h-=tLQA0J X %[ >F=)M xI!?4M07EB( hIB$ ʆ?3M}!EOĕH;Ta|Op#fa%#y-;U><^$H'2=H_KStGO5c#Y2SXw&@KV=X/䋌jw:J ҽ4sߌIL'\Bڜ!~|]#cFФr#QShjys AØJv-mK$Jȿ%NkAqU@{^%/w`k'7 c$P;s3 c("KOKz\ϥ.I RBv]Ȭvb^w! {vIWҲëޯ0ޘCم   #k1yC=r~ 8Z*a&NWOR\ &߷ez-NwtYAv@4\ՁgKݱymN̎[A(<4Om-\[ȃ"UH4)j7mt lf$6tb2ŚZ#w-uh"Z_/\3fS5) 1OX-}qMU',6K]v!x$%8eLزOڗzDʜjnb{_щ,tHoau)pQVUwUmSg2 My##;* YߦT<cl|U#"DWܡ_R$DL]7`[s(.̭j-nO&tePM|okS$A^^HWǻVM1'taN8 S pYZVcÕ}=]Մ~}wx*y:5z@ ¯Wq#!\U",Jt*\ͱEc.d>|4.ջ l$9ODS:;!RR,#Tj3*o>-/%1hbńU)Ն焺Pۗ+4SaV'@ѢQsU-ocD%\e궪D.rlY$֯'?3P6@]ȃ6˅tG}Ȱ∵JK-TuC&ro\EB龠Zp.R9 7k ^>D1řm˥j"lR^LKwӹT9‚)1I2/=_myvm1ap͕5|.8 > ɎSwxaJ ˥ SU T'L;.kvU^AЕ&;>"^_ jz-#z?Iyef*b̈́L,zZh>QB"o\I3+n`_gFp% uaK?ڭd.TwDíl<<`B/dI)"ג %b?1.э|t,r%ްXWC1<)(jyv;EnY*a)*#]FbCi6Rgv Py=cR{/Ju͑4("DLR0xZN,#V} x<bAKgd n6Ǝ9|8hpQ$ YPu}|_?ġz W%3YD:R*ҩͫ-.n ފA/ b(\H@g@OHX9h΢I#ɕn~;H Gb7萜x|Lέ6Cʯ 0-oP#!EM!!*X0L݇Z\Sa"c D8/d?>Pr 9FuĤk D7f[Қ}Oz%wb6rӻH;JPqًۘA׻A+70OUUhJ8O~\h^v+#1И$A#<ϧUɁ7柝Z7MT,سJ*0T5 yw`uf*EO\R.rX!ʒ P[/’|7v/fb0ݭlviq5@=.Sx Jk[_|/[*}ߚ%$yThI U`-HR` ~sq0TЂEN_Y÷z:NP ݾh22gV bQMn5Nt{đt`P H m| Q}%`|^tzݕ.AD DK|˦SXcTu/yd l,Q(3]bk+\Biyw,wLy6]x L/cԪZ>aumT8B}[ѾqƹkTJf 4k@TC =£8xj,G&:nTSO0v%. C.P,N(g(OwioMvSLҏ N <4ЦcB7)™?!X-qH) IG4][ʆc9/nǶx\sV)@d$^-5{ zHYJ%>Jphjå"aCpT·˛$EP)&{6|jQtcϻce%\0X⣩#qC_8 `} Dلh{:KES`׋ɀbM&΅`s=>P50D'Pqq^ۤ.V~[8UI+eBüVK<>oJYDdɢ2[hsǤ^46qA%֖V$9i魞Cx!ErsWJ?L#SK$P΃*]e0lVDϨϔp4ܔ?ts.@V,r;粀w9)ʥ$f.^0YwZ) *jG&qjPH[xd3)$9 5C5['[7ns S.-&.sNm23mx`|+Hf]M{n*Do_eD0*ٚbIy*qǟ(6:oi8=#bkJ7mud/GDiBF t0G=͑3Ұ3Lh'F<$ z~qw&)2 őwϏ{DWq9{.Vz3b6e0Mmh}Q*J|}Ew>$ H(p ;b_J81 hi$XrRHY&A*7QV "p2ltWԃ SaiV 2%"gYZ7zXZִF! nk]ŗXi%B۹Xdt)x {8Cƫ1CenV2.A7 T5\Hz,0r2<_K=V|X톥 ix +z4bOuaWdc8|ķsRҜ%MmY8U[ -lzZˊxw#.kgb[pwKV uUE=TZzj@5ʁ[׾}vuB$f-gהhA [ „`njKU- f즅V4/n5T.Hώ6]v\2sc{oJSY0S >_a@# YMFXV,Z237t{Q%54PUH 4aq펑9tZXPC}0)K{ [Ү(6,1T$aE˪7'WE3?,njИS #~~(2ҴsSP!4PSZ 8U5 Q NV kXf֮. y(6ԘɓE'x5 2%id&ށal &żԔhwP<[\}@֝g̀(%{XF7Imߠ $C+4S>={UP PK4-UɭXx{g Jp4ޯq_  K_MQ>T4sfm; W<|MB]Vљ@9cᣈ7rI.}{Y,SM ^acMWWh.Z*zԕ5bB"ڂtex~pt˟d Y_x2SJvWaQh1 A?w7Wbʂ?ZRy#J+c׬RqS5Lh#Ɨ͔=2NWi>!Tf33P@ዿ (pnB 8C1)};~%H\EY%i|[9bGۆhm&^ϵD`O 5HF.KE&Lȷ):mA@ Opls%tRY jLL4/;$^V yJFj4ʌ$itu53dJj ̚EsȿeWEjs3{w Q_:[~gw68Ohrl\]č;*t2),r4(틏fXN0>Ee2/ oJ vơ|q6D)` YBaR3C\VB '@@zCjFƨrv:E2'Ca_#6|4oYMG_˓hEqаO@d)D홄!C'F&CPUSL`6Hy?kx^j2PIIC vcd.$eYhݢ3 COz*!l*~>3haG nWC}WJp _W2լWlfw%!'u+eX|ll@;_*[MFJSf(L(zR8Rܽ再ܽC' 8CoPxp0eB7SļLŗ\KqS\w;`p L\rnHeSX*2j1CQkg_aRJ H6۵Eu0:F\vJe¯55i]~4uafj쿕GM.Ҕ`4ǙyIy7)HŬb\\./ӒEzj)p`7v6Fm@L\ rIe#%x=HB 5)̗̀ؔhm~ 3?}ǧ.;,#>r͐= &.hep3\NqW^Vk;u{`.P+|HϏd_3$!2憿tW8jC10qguwY% hE,m) Ƿ,+"F;; 1] Y$C{Hd>Fv k\힛S)Maq-ޔN7I;uA9A>*ϩ~FnD aN8F.Km4d9B`79Q)G=9n }!!NU >@aj]QO=gv!\;ßS# <8#7'`+@'yEZ$ْFucpY|y(n#` %\(:jxrOѵ^]ܤCxP]ec/tr8U |;`V-!` aú-fA :zwcSHi BS֋n-=OppP);yuL!f[2EV0xeh2'˔k2ܸ^{k_q:G*݀w{h^"@OG{V:2DKvv-Q9|6e~*CZQ%bWxR&hhc `B%\~?G-_δXpFw C%UŚP{qhѴ;&ҔiLircoeՕyPf3MExHT;:ڒOl =0p~ԇCⵖ~kǐgq\4ӈ"gIt{L8S=zx5KؼҝX"7}vjSk- ll˙ټWڭ- w3HQ3᩺!9gq L4Xv!03W = Ko_4^5 j =ZAhgȅ?B'u&3{yJ" ͛s`a¯DHÖ : J~ue5ñ<~yNld r/bd.g5{"eԞRzKB@L &{nWu-ow;)9t^LT7mgO_d_moM%wCY[n@_RS( {lmYq=kC# 5 pZyf- t8sX)+`:qD }N9vn.Κ5O9׏U[)&.Gp uc`nR7W_{`#ھ>D~]Zsp{x3eKܛlƳ;;πB?-^Ё$<ϗ44\3gZB_5= JsŶۄAh>W?ic%*%No(iqV)g6a@OnV\u+Ca*)ohM-n!A EA%NN$+~?:Ҏz*ЕZ,=&td|n.Wݛ- qAd28>{L!_fK„S=I #:.fLJ+! q; )38Q+²/:%~W?M{hsv}*yԍ}Jipm56v8 !/CB$Y6?r2R[N 9>NDⱧwAa6%̉81%}^iǃV2:?Tprz#~oƂ^+9SJE&)"'ИX8 vuAvcp;uGG*T*iDiUzH֠p[Bԣ~֎5WU#UD7pjWNĔ!@e [ؖe@pvέ^cT᧎#+a> U*/` Υ.-ͷ_oIA%=0.U$׀ւU64BL8RQÑ5q5)= <0P>nG^ueC)aC>e%Xg bi!X4WidoSÉ U;mW:F A[@(97-k+ZvK<a9lJE‰֨ KYDʕa4x]KIլץOCP,lp`2@ް{AWV>B,Q>^̇Dxev[aN@48DvjB+uqJ9f'lz6j}dvhܸ7Lb~ C'AJVd.H#H?Kz3MXҺ8eOwe~<>Vᷣ?s3{۵Z's) GOݛ cɴO[CΗIj<u%8"K0[VU{ LJewQ47Pvso K%CxsI0!-V~Yz(NpۆH!!N>sc eḃЊKE8枌Y!fKƸ#="m+9[@imFc[9_CU}$0;Bm#F/Z~]No۸dp.Q euFDD nNC0TI%dz,/;Pn'L>A J쮃9$y* .>8Fcm0=.oVA?:aYMl`ܫIt3$#nVU|F>>)ܵ)nh; Hq22ӝF&>|[cm}G /cXA՗\dUPwca!1})\<ۦDQe3|Smp|]_9)>m.gf W0G3i%(5WA BU85X [9rOW<^qƆχG|o)VʾkȇSs[$n& &8l]"1rj*~CpUEyTr"aNj6܌d*y',C'_^pr,>~l@o&0Ca_TZ ɓeT hϥ~S)y:o?1S{_}8BC^&C=t)LY<9u^|xsL*A9AE{[aKsɆ.d>a 1obKVsDBwܳ~!|Mu/+)'I+#p-;ph\ 2ެ7$uq{ܽu`@n)h*w@SE-$g*LaqG>UzAMsfbQ ^AD餥h9s8x -/D%Jfo5)zsJi>Ξϓ3{A2Zmtt$<}5:P.f6m*%J*A&~4ȅuG+CPCtg')󜕦2s,q)b߈ʛ볣keE:'_^. Jb7.HEՑVn}׻%|c;N€0Dug#-^+\}ً[y3E?@>: mAny}絅&㠈PBF@o͒"q,# 2 "M!nn~6|C<(rM#s-O=kLH``OUS >PH$\6y]E\VO*S+׹ :Z"ܾz7zA]^[rÒ$ @L0l+OȗLlFc Th%0%ĖC+ɪ4ԝNyDքa rnS ͉ %M1#1Us|@˸篇0zL GAqorLP7ծ67xWާ#vOĐj>>~wL I.A ip ف_ʷ$b=e y\DxIYssjՄ"f3v }(L൶ bqz(n-j]>_#~@']F @RWh0GUmݛy6,q Ry~h['HeМ ^n<Ox߱İ>$/Xb,Y'I~B˩XCӏƜK*XDC_(Ei,=pYh"n:3iW" D0q@W7 6:؜Uhcɏ?Wڬ'b`B˼)USϼQ6Ej.8rj(I߈j؁4y<ùPF1RB:DPy[x"14Ye:dK:u~'z)4A08Y#e%feF܎ڵp ϊC:@V `+X$ďSJ-ZeX~;EeJ/7_Z ˇ &K(kC] 8E~`l,$}8dbp!|cꅭNCD" KWF0"nKWKTlעh G\r`Lx&`{Mn0 Ld* /ʴ> 3z7 y]Yf\Na\)`5L^~6=p[xlnֲ`C  uh}3 '*/a<}Qr5CE3oTv?#FQZ賈b֬IH`u%qɩd;UA %4&l(v+,Wd=mgtdOEhnFB]Nj;;QԬqN6W'o4-Mz+n_?>+f'OȽjR'̫}EUq1BQj ޢm aFREUHŘ?*{xs[Hk"3ډ'8·|܅.Jr`jےg6Sӟ&>O֑APیA2nl?a ++}\t%/q8p]?ߒ:aB1%M%<+~b k^ļ ۠#E ȉ9.5>xr* Xږr3#Q}-tREPfRs9bս*} ;مW' "T)+P2TTU1•V@Ecre%8D @y w(\F`'ob2£)rl>D'Ggd(D\[Z|%֗=ac%#z~+ztŬ[@%]frޤe=Qt3p{8N'JjTTiih!]![1=Cb;@vt܊~ zt#}ۥЬ[e[շ }6(_^BrA^\/Pj \;zC7b+j "O^@]~|X Ȑ<1Bgә4Tͨ~} xXD6JD պץL} DIt.3ԔVbĀLeUkP1, G[F(q̱vmps8jnO U|SE Ǡ ?mt˓ynnƗ+TE*% LB7LU1뼻Q"@'+B̰lcm]d(NcX>5;.-r(-q\:Ogǭ?;~4XIaE${M5׳4z!w G^'/5YV$ Q`'[.e]'>LxUchQ OC(ч g'Tqʽ唂Ѓ@?@W8:yEY-\C0@7 AlUH^F[6n whZ:vl1fvhIQ̔9mJҨֆX ^XbL|#&PoN *ոw \z${pNGui! 2 &FP!iCl/  /+'<Щu d4F>2n%]QA\]AJ(}!]4rG?KʭOțѮ5ӆ:\Ijv1%y7_x=Q w;K]c5l)Wik /"e";-2z#v<g&jϪ*mYPTav[~n؏JPRHؑ%]>o6~rG6 VΙRuW 8?Lv[A'4< 3eH4cyjJS* 4Tъ_C /I5WFdhP䩐ڞ347~ș=N!6FptwEԃk>*[MjeoW[L]`(EDu1^eFպT&ݙ܄;9thn`s[U{A4)B) t_K. H-#\ [69skz/Tjrؤ_B*)Ekn.z 3` '94E}1bb߯~[FC&߇`\q4u HBrdrDF#eb%zWG+֖K5 w.D@L$WvT, 9 Ooʩ~2 (SdT7X";3?r&pp(xGK]RJzH&"F =>T*-4%CB5 u{ b+%lш qR]'ᔣ$̈[K?o(5}pvLa,5jtp6Դ휫2s Eq4yn'qf[ޮW!̑& dV71Ow[Lh:@(fkjBpdR_rcbnRͺ(16CnB# OM3En,R"bV8ozɞo- Lvj]-Uh"Yd[OfF= i>]iJ^fE$`%u)28X2b,gq 9I{&L_!.`zR?LB>\`*;(0'6JIgnѼxZ~䡔"M 0Ӵ: ,똴d&(KD/ُ؋YYN6=8<'emTW@x-/Mo}ȷ [J0o ($K:̋JI!}M*cNbٚO!gm+jhxhcy]Y\lmlkrȢKKϥJMn~#<,Q[՝<͑0N.ĄWAok'icl%Vew&Uc'U7%8DFLxq-2w?˟MPOQn8py @Ҵ:[b%b}zj~t7v;jWg #RAɦgm[^O&^#iSAiw5U$»Yj:1r.=(ʪ s a$j |d[:bkTT/p{srч{R=?_C!0d6tۯ F2ͩ<1F\X1ΟƛPV?p(۱}) T,Ƈ rޅ/\c<|88ݠ,DL ؾoM_MH_SNNlC/=|pLpg[~4 ՗;@EEg%Ɂo;uIOC(-D"TAh&_ք,;gnɹ2c2uփx|_Φ D7" eL-4Z:'FcçX{<71>TC4 GZˏ[ #=oxu:͏uKI7=xrU=vnՀ>%K{i\Ur*pG&EeB킨&)JA@u }y!ťzmt@"$Լ0xu1NN;˜7CF?Z1#Zl FPh] (i05ƉJzJ?x,@Y+m=*=h#ps1QyGۋY/.q7'p9!JQda!|BI cԛJܭgfpZ'B6ealݰrGvkjDܶx:=/;歹CY}ƒleQ>e-mr(MȂt{ ib&谔mO.R%6. (Roy;Mv^5n4_k4!Ibs\_BCU_5A*[fZeu|s5&w=UKC~*fIm'$jIDKQlN 5Lz2)b:&8D E8_6f2L_Ԋ$\ %商TPm*cc9q:40?;1>b ׺AK>{/4߲7`ת.IQ:wDM=|SNK<O Hn4#^/aQiLAVE h܄&PBx@šj1ҨkGrG` c.\J ž#iFANl*'Bۙ߮uOXϼZb$[`"۸Qr) Fjrp cj 8lm^XV[gKgrsQeeDY>At%r"Y䦔r7 2oM8N.!bPӹ; %|'G2jeQ C*& >mlry,زURZDNT3 q 4{ESKdyԌ8:(Kz((mޫংR(}**Ox\M\۶Y3V#)dOJJ9ɻT=/S~Qq<7Lwn,P|KPpF[~D\W-0PfUcǏA?$Du\RHg:S Oj2m/ 6H(·Y!m&;~E\LX Mqt`v ) qakży#oK̞/8 ?"[4zGQ&Pd$!)K8,v2{xe@ ɣM1Ծĸi85 *I"t=JeyNPcǵ7'ɏby)_0i(|4f_RQrrp-4^|)=ʌ3_KtvtEsQrdkI'JB"muؙUn~oѯ|D}ʒխcݒ9ޤ/t\`$z B)g›xo(mOn73eQvVhQne mF! |Le?]/d &H">#cfoޫ&#Y;6i>h*M<ȕPuAs_ Ub}1GOyg1@ ,F\|oܿeӆ0V2|{&SH*OOUG?؜m.Q{I撸frwhy Y1oK͈ $k 9i~[NKY]XXwWҊ?l` P*B3 (h1Z/WO͘&_ ]wڮ:$4EŨĐY(073տq>.̉~#;YI OoMhY<\rc9_ff9Yz iH D=uH ?D6T/84h De8٩0kܿew%w=-UCI iLy~Xn蝱dXB] 9MDFl ʿ 83m2sZQ MqJ{Шk /.֦k|OȽ pý']ߟNrG/o39ZaN,UHh9EOD%5KxQۿh<$^!'?%>hjlW{h 쒈GΏ^2mWWɍ]ĩ40@XܥN 9$+3'*bP~e| ӾB+ˎ,d20[x*8ml?LfMj69څ*dKK[k@T\Dډ洙Z7]ՁMJՍ8C컒fT(hnge)ۡ!bc{P j3dssa|]uw ȇ1r>~hX8*;>Ə_&0X2%[i yҜ:) ]Y䧗XۨYI訝7܋qLv},OPers`QxUJVW|k SV"y~ED~ݣ ȑcS-[Tb>,עx}nK͛ )/_bgh`K>+,7,w /$M ze5<޵钙a9}w` |@@ӑs"ft <[/$Apnl 4mSEb'U&,m n6ﴶXgq'A"ظϪG9Cˠ*er͑5~Y7?68yo;ErG] G=u`Ojgz׾0m ]YR8{UwbohIёHd7.o搯Kh"]XMW mfhQ&jҭrqY\XRB Lxu<6 /pM aH {]XLHFW7B{b_PyjϑY_c(AbcHk^Z'{yW 1}^}MB:BcǓfg?GrA ]MbQ?MTp?s؈AE{H)fC3©WHa{vEDA\>~I{%|>)BID?,;* ?NYtJmxټcs<)5͎߼o ,~iځ-˘O"<UPNg n7K@댨”,S`iÎy{(Ho8z~x̷2Z؀kݵq+(kYe ܜxdTSUNk_«&)rgDU5':s[U+?:EAS2aP@8ow֋|2((Yx OUѪ ʲ+X*ΓPM޺:)_g ҝͧ{W<Фluga KEN%u1wyl^tRy OL &| >?^DlL֬gXX>qQ.PlZ:&em]B@,+D&RЁ]BѸO3Rmx yU\y6`e&f%}Vts9gLΥ7n^8|>GIǨ"#-GnQz.0ٔ+L/0"H7C1oYMg HL'-Z$}+%"+Za`Fxp-/흡ҙهgH6"aL V|xCӑBj%H?ZolNgԝ ^q(%3{(r'׷!uSyKYVXV@:nL|(i+&cx-Zd[7?o~?`MpM&ܡ=M'sJ~\Q86"maУAqD]gF/} {*HA:Xns3 >)KZ5Zš$ax&xA7JuUn҄NBghsh!s~*Qj)"yAGuΕxp5(2i~W$8)9a,zn.~p1ӇXc!Mɯ*by cOɫZ/ *Ft'V7|ٖ0=kKٸf838FR>|{"~y=m/.츻熉2ew;rb|$q ַ)g`'$ tHЅQM:0EGO+I-5W-.{ұ$dX3#ov 3z&1ddtBѧkp8)a-ݬ[ͫf@nU.,}COr/B@+Co8Q5V FSc{UߚUC!ZA 3: w%d3o79sDkca\ iSaGj0N}D(яG )M@FHeOCٽdcX.PY:d - Z־r'tS= ::Ⱦ\͟n샘:=ʏђS6K$'mLh訳;;;fE|"]"v$Ttű\Z5nljt4fW&N0 &Q!Cg`ilj}};iA ^@o&KB v#,&5xJEENaEEXMimţkeP%]Z ֲr"W9V~n]%%뭭(IF5 z_Qz*\eKdzڏQ.y3V )?ݞѓBY m:[/x0vpz."<*wws99@ȐیWsfhʖB" ,A^j[ ɭqCgc9\ \j.6&d(\5!{$ń_2z>Br/,Jc <,(dNhJFw(Z>D-PNdٝi7V ۀߝlKKTn(0@θ ~dxCcS\H%V`^ġt`?:d 5sUbW7pXZD}Ij -Qkg#[Ûty[jwʒ&G& SS]Y%S.trTOD(-7 ZsyhX^$bXl*LX(؅9 zt :m 5#^??D-76xasi) Qmb:? ywc$O([]g[H Ϸ'j:~wmwA2)2e{d3;ӔFr|v Ё;i=! )? Ht~]Wr s#d*m}<Ƕhqt07O&3uUgM۰m@)ȅZ/@6dVe;#ަ(T7 'ui*?1?kԖmйJ/8b@k l*Kt>(ZDx% ‡+izrn,FĈ ԔwY E.{f[F5Wh̉Hٯ $]i_ POYy {"b8I t+Qў+t6$h7?@~uM:Zqlp>P:ʈ-SlQQ;ʊ{RNA # EG JћTC_a= ĥS[hx0nYԳLXI"7ZWiE!n~4WR'X@ _g( ډ;jdo+jwxnnGFXHyI)/z ,L;tHX7P9*]NM 5~w -gr nXs="(X8P%Nyop`Qw^gb*ddDm3~ED7xܖ麫%֞];e^gYEOq*;`2e/>0L1W2.S^.eOJH>\Mf}PC-J|ETaD8t8sFɋ_6dz?,iU ZMZw[z3Ӧz8AЎjY@WTNWz!S=Ĕ *wm#UvT p<8w1r \rL]/LSڼpzi-닔=O, iQlBi5wO)2RZ^_T?TsBWMTwymQK2>?۱ m8[ d"TX9Vu'ݦvވ ҡ4{#O4su5Ԇϯ?9wQʊBpIa8Bq)6𰵲d;(SL\ (K :R tG<Q֗JX{#;(;ezԱ :9Ubγ@NA>SuBYۨ3jzaר}V/7w]OyEx dD)nڞ+&y|$LZS9@b6IDٍ?3̶WP'uV RrSxBf_;ɦ^]e3J{%l">yzEH #b''PIdig4 3p}PCM (`E7i0@%# '^hS!l3;8}V[c"4#ߩ29Uy8smşNgգxV~hw֫~= G6F#lT= s_SO#WFD 3*"1y5= Ċ]iB͉;8~jUB5HԶhWWD䢇~/Gwp b8t4 דa,(`R#'"[q4$R2 .2v]T? W!C" ;# yJZU,:r2{m<$,6ӀZEu@v6w)"_¿q़cpŬ3ˉXngp~-\Rl)6p2ƶ;X^[&d ;1Zi,[f\xZi b)NޮmKv7 oI:5;+~qeut 55= 1Xl&c͠:Ab?࿟;vcq]GCAUϓ51= *P[j? HN5ZuvCd:4[K47d-oymBؖQ{#ѓ(qr0ވ%70P3eOB* cʮ\ 6EgrciFU#/~eP1ؗj9U\&o(LL51NQoZa">™}"Pf|$L P#}8 LNl#=h-{+;P0~3x )u4H'׎?KcɈNRAZuֺՀerTMؚIhZJ9 X_o7o*~V Xo-z& Km^Siz뒔bzr_ZAd}lZ {,X_Aj:kӽz]NQ@SVC:҂ϩ'{vC*nX R) ̵zTΠ_3p(W#~͸.(M)̄-dj8<2\}}Voتh{j9 A;m<3ͨlldm /ʟl>40DBt{ 헏i8F)ԋs`='X2BTs\*2 QD`Hbˡ/~^ӜA! 'y~>ͯF Cp`[Xҩ(B>nyvh ^"Ƣ"&[pZǃv$YZƃ; F%#eP)Sl,V(!!96Cge jS.M"ܭn\Rh\I]I(t- JTB{\!#O+C`|f/0=ZIL- 0fCJ@1Aou _.sUY$"<=(zO@StYH耺7:$|ۏs~ce)rEb[)iЛpvƐwzp4 C0=iU^5"@5 "@WV2:i SsD.Ue(?&g1>QI9ẓ!e3[ /O !F{z9B!]@=#7WU50`_!f(unl7֊@iŁ|^1YcO~*A @Eҩ ~S=AEg2YHuW@hplFhr_AjS9u^j[uZGUᕯ5RSEY?Qw|O|7\e|[VFZ]y b^=:؊/JGO98zە3~B.qCZU;(q G2W&՝ # KR}„9Ω8\5:inuk^} k]%S3N riBK4Y$Lu*%cEj8r.Q%C.aJRFTHDhpwQ{_Z/F鬼ev宎,`[}nnP5!C` t|*_[LJ-{GCRx:+i9Z`O KjК+_›>x:zӆuG7"79>bܛv6UCW;VNT=nӪė,&@l6(Ƭ=_ J;DʻTG [jߛjgd* Rj-.Y$Jϻ1>[k $ $zt/1]AĞ'e:?iji{jmJ<ƴPhN+ihȕ([n9ީD.ӉE8f*o}%6* Ҵ RgB_W-r\o;ꋭiVP&OF=s.3 Rw|0ra=ZXtY@sʋ/4HdB3ƃI'^6-boToswT_DNMِ'b9H{Ҡ$ NCkPZiqxwP9Pp|DDlVvS.TȖ 5/,b g=uVnMpr|HX`|ZxKR`NbrˆnUwV\g. =B(esmv4)xud ɤJwN bҫvC%!K{,;ԺNk"0 [zI}h<#btwʽlc^Šg!SB 0̽@ZoP£CCp2t\.?r0RaӔAn I9WdjJ/0>ΙضaӍ(Y1{3i[ 7pC]jGrAQ, %Z%%ǟ> z--W:+ UU,M!úZlD9j\}A5L z {yW ؃^,ߔ.# ʿ]Ymf_mrjn[{o(IO}moYjі9/r SُQ&Q|E- a/Ix)d{ Xΰ xmh[WG;$%$u u =kaSq\_İ]e\C_cXejM#q$}3m::VHtđPWNd 2Oq^\˕M,qŕvGJQ}վʟA!a%2t.K"j&nY'Gh"96j|eSs'趦~t]5Y=F:R@8wLO22NOՌlڰv1uk XS_-P-Yy$'? jc-Cr _'Dp:. EA9=>ǍЈNZW,S@{H9'5Q"CW<,%GB`H) $3ٴ6L$%Zo9]HV mP/輮X.1OPM[@MdĄ JuDЏo6i"7LY=%&gOZ#p ~ ?43Э4j9 DP 0fY*#=z^ R-OuYr7z9T",p Z\uspfis筴=Rë2}ۼH ƫ6G,uӶ3X-gRFgBEHi&Q *1]Ms翔ٔAlB<8y(xz5)?e7!Cdpʼn#~&ƩCZ:M]SZ߽h_4&*$0<P@Y&8_2LV$u󁮍H8/L=a'CJS}iK|"SO,^?\0sYE\K[m!HRH;)] -fXX ?Urǖ,+W^ruUMb^B 8h/l!|Bx"10qt*RWmOHj=xHe!V=1РE;Aeq#ő>nWaͫS|&؋Fgj7]s-K읳\hK!Ցުhq3* Wv!؝׏;4GmO ƐkPBZ# j9eH#EI̔$C!,7u+y&4˳h~MC^NgO {`nd, 'G1nB>~nw [:Pų2uv Fr-x5Ҙɗ(,oĢ;vs[#G36bo )glnIǍ&aM?pڋ=DH4;"ۣ eWLur4'U4h؂}t zVZowpl;ڛ" ,6p^Ű%<_1N%X[ۨ6?UiۣnDa+ e||}r\ǟ0 McsX#:\ ew!Բ,VLv#m-߫L^ܘY!\!0Nj~Qn^B|`LV= @*ˁ0D}} ̓Y??О( 蠉y5%oIHIȴRpr}hZ8,u%,#&Яtv|h֑%x'A5_@=b kyű/ލtT3ي`H#i i>k \*w橹]ɍK;qi :sOX9"ˆ׃nY~~Z`=#mOT{4.%}pI~ 6Cv©>$LzaQ?ʇLӪ7 G7ͪZY{-@5Fꘁ{&&9j RyRU@[ҵSckŭffjlUzRPoIlk :"a*cgmW!$α]^Tϳ |ߴ^ZyDs鮋?ԜV[N p( `T\p['/(K}hy~.tADë,vHV̯ƨt.vZ5c\eQ_ieGFm"##DQ$Ugf@-9W!#h\(TPfR86Ɏ$/ZS`0)xF A6.cz_ؽ 5^)SVQ^nIh>N( ;M>JZxOERjޥg"qiHUi!&md ~ﷰq' 2+ X̞1$0g@9S9kc˓_D3[/נxwr{L殱d'Ro+G-U)w\Q͝T`#pumzBLfufI\6$5{] 4֤}<~dpbq7`qeF!2A7"rueNY?O}@ 6:[Niqr:GoǨh\>ut͚GS.lN' ixTl9&ߏ3R w ۋ9ǜyjBz?*uclvmV ,`o Ԍh`39Zl{ԾXlQʤ%r#% h_*ae:v{cMA U4^ۭ_6obh՝Ɋ8TAv@/_tǛG sYs\q$⮂")c7y Vn2sulVHonUB g9X1`5CCEEG9lk"ɫ9$E&I4q q cnЗv%߀*uCpVaa8²*]O_ (vmnXU vAobJ!g`WS6}Tş-h&'\5a$>NaI5ʃ$`עMrŐ&Kٱ0L8G?KA'gV\X~DEa $ GWpV:̪k`l M4EmGLZhqu=YɀC@hyw(?L^ǐ.]GVQ:Op˜"L{l;{l[ 2ѺIiKGGk/x+\"D1S쎅I_j:>oolٲ*`_XW""7t)XUtPnP xzurYw7ܨ~3DxHV 5jkueMC|X,&e_{ yIU 1m(zUK$e6pL, 9B}Idƀ_֩\@I}keZs%f_~.X~'zCa޽3ȣ|tPޓ9ȉ ҊG%ʾ+ $⻴(hoeNEKel<5`O ĭϏ˫,͌8F-EgYZ1cd1a5a62db3f91c86a48e24846d6fbfb868d9bdf49cf1e890799590abbaffa7e0c5e9c98594d78eccbc74ee8f88d2a847aeacb4aed6e5749ad7cfe1