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 ?l\ ]]Category3:threads=8elapsed=308.472cpu=1131.764gc=127.591factor=3.677zXZִF! ᑓ#]ŗXf[&wΞҌyP9Zj)o& ~/ېiO2R m©6F3pRČ5KN9iߴ,U&hZtBqԤ 5$Bwy.h?gkˢGdιL+[#p~}Ёv.qiU!gޜ#̬>+ۑN-ƲX(Ji+GmZCLaѰh36^w~c&9fY*J3*Zn JVA2=g~iea_LEnQ rrԈvzw=xM]\P|]䞨S#v{w;WqwJ-k2N㬖"@Rhpnd w-)J(K>f1(RB/ 複ĭiw1TCZǥ5hH{4ѸP5  Ԍ38J:UA CZhFWwԨ801x1-;t+;Pi&xqMO,tVǛ5Ŋ9CұȈtoBR»Ȥn D"TK/Zzl zpu?.GP̃ Ѕؗ]k_G ]ysqZ6$/a- 3uZdٝ# f.uM[FOn51S )lGGZ5+o^䈆S󁐌CJvDTHeƾ>sp=:)cOШe.I5f5nd8}+J3@`ڵDlQZ O6~kqO† _U/Gժi%4|Cڄ2g>[pT%b|E`S4&[U79yO~Y6lg=J=Ƶ3&OH/8<βLQ ich eJ2Vԯ ZM{n &Xh* y_iznmm@b8zTDFj}øOUٚ~#pjt9:ء3>(&Ng`mHoϻI>zځm %, 4[h–H<(d7*FWsovtEͷq5Jxpbpy uoUʕĠ8 rܹ1.PCiDͿI.}bZuQRigfc|Vu*t6F3-hy GUAbwDA%A/I3t#sUtHNg B|n7JVHtPK$O1btZ6EUwѷHKɚ9W~^^R>=(-VK4F   Category3  Qvaw$D y evj4HPW^.҃Jk~P!'VOQBII@q4\?vixpfX\ ӊz[]s^s[^9toVv&qu='I;z7܌a㎕zՑA9.tnE9<ԟ ygjR`.nײ\i7ES2! ͨ@ޘvg%krGoo_WMns!qK,R%Y" ݺ8^=E# ?ww`aāÊA Ce^P\2sɵ/= CfVgHa'󶩝$cZw(Jo3JB^7/(k+yWO9x;ҵgSl?ّ@& ~?Qc+ ^$  3v(т[oOuz!]F8ߣ3#e/9䝌~$7Bhi_JHpY~Q|/;#PW͋6[|BT!RJ6nXrE)LQh Easp).1|ʁ?+$`tA@D|hZӿc-L[ Qµͯ"lP4CQS1( cnQ1Xp+?2f$كaWм`8O[[cg"s jY=ݯ4mޱXW-l}:=8fbGtme"L$0d./T{CvEKI-O=bU ، P7-ڦga=(3v6c ;IQ,7j%BܛK",|k? aa`@֋H9=/U͒0b ؎ˋ~Br`kݦYaOra rOB_u7dH7ܪ 04x=f;.chb5g~mZ|lAM 0|~R[0I֨ hüP:cxQ|P3]ux~ayCnpJ8Q)΀k:FWTsj=rRwW4L藩E1{]f0 U݀,xh݉u#:Tr%v룋{ߦnecIqvyra)⏷.n&V1AK-(๫NH|ŹTKu6$9>)5iT:gSZuɨTk |q匄0/[7l%YZ͖lBv3@u^@cYN L%2oƲt0UVעReBIәBM=l/hƂ#Sx%byjvFvW2ί~\,6V#Ќ䰹@8-dG_uW ou*#.Gp$8GS}7κ8L-ުW}ӎoQ&r.GZOӢ1TwSPh͝+|ڟnߡVY+E /Vdm  RpiL=aVd3 QIZ4ARÏWf\e*RiL9;.Wf< *@d&s=gnP4qZ\:hjvc!)ͪ8k gq 7d }>V5NENLlJ6ri#$>?] A_)Rhγ3&ߖm|$OY̧!{wm-0Ya{*U HJ 7=Z 7C.2`gIfE{7&sĀ ǖZ_E8I;m4iDۭV C1e d%߾4t0)$y]psjzME!9 D\ms {mR_GORl=x@ۇ0!FpeO_K͏Ŝ\*Ɩ",q v*38-+VSYuCCy ԃF0mgj-y+i[nÖYuSW;7Eq;W$3@|kW`1Yy'Ms}J5^5ZE}xmJ)]@9i*3J620 - h^^ D>T6Ka^ q;_?B8Ŵ3Q3I*m@(92M[]dja/=eȦ.1UQ.֍P &؏C kjIqg3Y~=D^Ӑ }nOY/)N9$M D+uN b9dWeO*NhP5x믙L jQV=C<< y<=09UWc|'+WگN  } R ˗c|KDWDX$[w_|qlMV7@,J (zQm<"5`Pw)e;jB%/0tLVefnAM|F WnR)€V2*9$J|Ҳ &Yٽ-o(,'P;Z/fm fn60twph4"Fy2ԂbU|S-cuf+OWh,r^ -#d;d ǽ!G:uwn,2DIƿa"]n+GW0k.%Чw Lp}h2VM!BcZ>UN Hհ=[ʼn\i\qOE4pw7Pȑ1)p S*[-Ag\PoƜ=p uG&lXf,P,j zO mȹ-CNۊP9#HwH/gIVVi-E49-1"SPcBR]T%L?’j+DFpSʱP5+f?vʱ@[ޞhlv6 7` |lw>ʵ@T6f7a_*ߔ<4TQBBjXB`+:n/(1մ.rjOmQnڬLL-js=3Yv=}B4S6>;p=IZqA-u)›"L=i0bXeP*o qkœ؟-2KDWGBERaW\15Ȼ[Oljn$ȯ-H>aSrWxxUE LfN"&H $|ض ;zHAT#-. !frQ*lU G4X& Q b{E1][]91`c>zMy~џފNj+ظ[jGOvT~8fQ91z |&@Hroc)ʣcַOԦH3[ 4WQrcX)9)ni& ^-|:1\Br_F >E1NYr3 ouw$1],SFnuffZ\f[A2#CNo1P6o$*3u\Ya}n-/~@^+xX%qdc6+ΜE 2aGg 聬dFZxe;hZ7(ZNzQLƗ(>v?xuÖVpݢ'#+.^Rr (*cCMg9``_"}E;1u!37dJ4rtqecRil*\h ڙ#*꺘b wa_y򽀟=PuT),D?)| ߹ځH`gYZ7zXZִF! ]ŗXiɟy>Zr#;xk)#_q- [?Rp< TÉm( ֭*Ӹkm#G{( tJ^.V$`ޅJu@cq8^v=}Q@Ng#^@q]M$6ynu|}jذq逸{FYe~V#) _G\Ui|a.^Yu&*Pgf4~}zC'W̮Ӂ'2RFXw7d#84d ?#dx1&/L֥ZZ@v!2-x &gYZ7zXZִF! b&]ŗXi%>ttM"2YGJm(UNsK%U. F`_*dFHeh&4ً™M 01&jCjM.i{$\GMFEH~kףSΨƉ {GU{1%%/>)<-Y/K LA!Hyb HF-d"Ї@y}:V5Uh.»O*b?x1ҮUNY/7煴MZf* Ӏs hi\݁1'r_!HPyg >kc/ gF3 7hY]ew|rJz(wi'@45 D#i:"U #[zA<z. 8[sI`r}PI^- kw Hfґ(L~_f; 4Xzޏ+4H^X1t:Vxˊ#qLS[ٛq]k:=9WxuLfqCY}&F[!IÂY*(}/ ^WT ^sK s`Emv:جXܓʴXdKq fB"ycׇ9 e ˀ9ƅ_3@Q'k">H!"Gt[U\kys0]@\'? #/7"9nMM-xAB@$QmF ۷wu~co@RIs$19`G{CNC, \|ifuYZ[ J}?V|{"4: Z^6+VW esAZ(uI^WN_hv,9x1э;m[C_8џ’̥CeGdI6)'xN, o%#{k 8~Gwvl~(-[~nsٜ5kj,pk2VGg6Lq֪CU [ѱ}27y~ߪAYxѴ>tx*{ %o^F]Á 7X%C wUK"fŭ1Q:x&3Hq,w+\مs 52%D7tz}n } ˆ$Fbeꭶ_:1&wqy'%.2&$f5bnS>NXkcK0[Pt7 R2"h8#!OAirv둍1y٘Fxr5hD+>/ L7=\ 8A8ԽmdS΢!xQb1{TLhT[R&=*ekVn*P8O Y+;+'[új]z2J p!c&{)e$@r`3z/0YGϘ_O-zZ_3pҧxhCzf_荑 L\pf`%Fz{_!h }𞍽 ؞EP)WoW}PgŽ=»bW Z>8g8˯&jG+&p4DkܑR`8up~ q)5OzIɑ\\!Q8T-14ңo% ks@#3I0Ȁؘ_Є<)cz33G^A(vi^pu`$EqM=a1UMO%LWO^dlG-LPlB!r&bbntDy/b.S}VSf{|AUO+"ثϨߔHMXxyq7#IR;!7d@SUez=[%bhRYNjV֌u2b}$WL. dVe!&`ū6X;0Ds;\rDH$ nф`OnCGe`\D,T?d%'L658ɕtkQ@ lf~E;( Ǟņ~p";+;@hI{uFY2dpvcwd~)ԋ$^ v#rG=F + z-Gb0#t=vSٜj,DX Α FtnUaZV['cGZ c {F=@=n$\#w$3xwA" =ƚ/}$({'^a葸'I`w:B.Ek ץK<jqWNZ':<@lLxU" p fO_^26<`GYn,q8X䶰"ܜ<>aEeքhC-nDC=߸闀XR9ȐFܴFc_`_aa~bEr081Gǥ㬚l%fAC_Us7V*MX'mųN[A MH$"D Q-dB+';KtM~ ۉ B~Y\I5J)QWXA7P軭eOPff5bͩח&#EejK M\%ң+iNmXzOI'yOaG4P1$ QO}OthG ݤ~15QQMe'yVt[4Gc;&i0X1'~)Vjj1}˵|=#?LITuy a_^Ȝ%j`ri/ 7j *y%U Ŕ163+h$`h۾c6Ep4f`W%Q2)&omE|`5e^:C KU;A%ȝUw$==y g5#7Ġ]{mf(ly71%q~B|"bLp%wE}Ԉ1N(K@?Db_/nbܲFAf[YoBs6Vo~ݹ>/MC$J45v>chkB:kaviwi/ER{C MWiܷ ʯW/90wLVx@kW)}O= Cod]|ѳ-seu7NXs3{=CRN*i inmd0[̺o d5[޺b%# V$m;+F*452x{ly-[aѨ r)<9 A9YNh/ d(;}A2YcmtQuV,EU=5hfN jFAa:ENꨑl 㵉Xv eBxLF+.3;b_iLeBH=⎩$Ŝb)]f,m 6o*bOi#WKHs~N\XrS_-CW wU/% f:#db㽻D ؐ@fify:{Q+5I2(46CmJ`X],SṶ]$8pj2#c%Ci>͈v`D39mI0||u XR8qԽb@<tH1EeS}9FKlUu+V^'NF+o_# "h0̡qGХ g'Gcl4*Y+A/ƼXʳh+C0,Z% ̢?$_~g/`:hhB$NkXzBxn߹6 Y)^uh3t4v` v`n^FHDZz@*H4\8#q3`Zdphrҝ$+p盶E=Og:5ܧ H{+E`#ʇo3J!ǜeV;t:wI"J9ؑXE?L LڪA [bԣ22bɰ_ X*K^Uh9zgriD/M q`24T@QPJSiqL/0G}R:8TG&jOqwBNa$Z85= 5R?.9[NSm #WA ~U#Vkr5Q|Cwӭ?j\'٬U{XNn=fA'[K8+g„g6f[ g]㚧?qÙke;of16t{` ʛzxd 5Tx=^$n _CĐԍ-ulNf\S!-gQ%Ze\)OBL6Deҿ#D0l"jy%ȋ-%@Bz^H4+wG28c꯹>3&v,9F- Zϐg{@=Ime7+)Ǣv:_ 3 iתyG!(F-? <$vAOc3tuaSU4mWE;kj|N+Kю`#HaR!Jf- \/ ؉ {~3w<Źi$zitdNKZNxɇg˖Ʈv|IYH(ZǨ˔{Qqr+^|@=QsUrvL++QvH"F[(tf% x4~˘xCwul=*'|= }ڕL\ c!pj{Y{c4g6E' `[N%Qu&)8O [Vz+ kF1s"ЀaǒGrTXsMrR2R?SSWak@iV3IS;rQb'h4OCStR{#f8dDgT;HEBc+=>w(ZsSx|⢭bퟤmJLefe^;B*7!{t`r\Ŏ&_ZdŌ)!8բjE$ѫsѶZPV!1MMߛ-ǍK{}p=ṃ?|￲ܽȖ֝4 PQb̷W#-+{],..rdA W6Qm8%qpee9?QRt?>Tݫ̟2PzqPu[==< Le8e6boͅ3:HtI^֩O鷜`)k߄9rZ? a"TO=eψŎ|u6&HF+) fT1_E(О~ "|r)bƿJf[oL6UrV^qy'w"2~h摆N$&WL%U0^ KN,Z $o|L$p"s/"}| 0M^xOJ(NCTӇAx gwd?1@_KqsH>HiZjMFV+@lgf2C?l7)]Xc>fՁa7ΪjW,P( xj`pCp|Yd#,/LWmgng}h'sD%Q85[o܇fe B`r}go릃_)-_hZLp89 7oҋU_ɡ>1HIQYRl1k`A), '(}lb-Y'hz9+xZih)gtpa=q6ȕ7 e94K{1D6c+Ga B_=;Rb_;R,a* '5M<0|xVsg XY<+.]=Ag_4^H\ ,aWAro|Qۥ *TzÑ_C],9 W\%#PCm<}A) w553XCE` 6v Au;7Wpupko!8,Nɐ?EX~P ~S]ZM#4DOFi@࣮l~3KB?iiu;YT&Z<f;)vf/5x;d$4*w5n.>V??GgԷ{֑f$~uB"lԻ~S( `BkD=Yw4$&+rITUXSſ_e3*_du2 6LRPҾ&}KuڱܩKOC5Z]h;l?Bɭc)'s.+nK NBZhnloɥݏyhZtvp/Qf})&C& 2& MUZz:nC*7xR>|ST?`FX$/u ҉{@ Qܣ 1L?T( z]PY`)Ȍҭ.D_0}Zۘ RJk+#4դukv&SJ0JPMCw.=Y T,4V5q <kwU]2˖ʡegUѩR;J 𪈵Nrf9 sh4bHϘz}>FxxqvF]9[X|2F+s)Vfc{70KjwTō_7oix7w~̡PQc_ALik<& #?VǪ>&$#k1Έ0="11Ь; Oe hF @!*C2$aE at/H?iijuƔ;D ԉ̀tGVTCqvgTiPC^w^$h׳;ݿ0yk;7ҼswMe_tZc<զ8#1 (Wnm6\grxs9=f3O{f]\T/Nxm4Dd`CBn4[paxIǦU^/U0Ų߻Ëu.=zȲ>|K@#:s;qzO1?KrM 9W Q󆂐D l[HeW)!Y{m> ˏ?mѤa(U̗%a|߉q*ݬ?^&$03ctyt{ s9R?-壟 v'1Qѵ%lKp1;DC  v,?/A{a\nDrLl4"5+An##jj e|ez=kCňۂs.B# ".EҭS!;kiԪgoJxw LǴm0FMo m%kBԽXX!J@QUN!󎦢6:fw`S[93*s|7s1o}p@r%uji Ɓ tCe}<$+s&i J&ac0ĚsJo%dsA^]٢N uKDԒkvo扛|U!mxz~G" .О ̒&CcYUt#./?NIi#Twb~8(4!nCO)NOa ,!d]U3Sv) ^2kv%iimbOApbd0Btu&aU `svލWyk)&} `&0uZ$'L޳;"ےya=@ Pѷ%i6J CoVXݧ-jmم }JJx㱤ũ)ˤDw6әPsOSetmyK5>?Z6ж:p8C!0@C{.DOi6@"gQ3,I&A]LKg! s6m/o$ln=_׶jiphe.҈vKFr'^t*9*JwJ) x\B;hHDݥ0$feߢ;( ҋm %FN|}y/Yxn[C s=၂e3ֻ=qTEvt}K:rwn3J^f_m?g0 ojTv5{X IBjOSL9>{;2%ߑ;r a[TgHX*'t^H7O[(h>F;[PBQ~k,cwًCz_X{`X˰rʆ jDA(m ۚ@+mSpԹWI>Z L'D:nIt-ݨJB_PW !x?ĢtAVb=kdvsN^6.:5;tμd?bZ[=˺iam?zT2r&9&=JL/ɆwoR[<y?5a\Yxf*8S|`'}7XS|UBMvw<*+vadg+(vʻ=]YnrL44KtExw> ʸM488OWwF ǞAAiKBMh·,4CrQ]794UWdd-_DЈ=k%`kDhidl,;)tڣj@~hd{IeѺ/ E"/2%P]8޲9.]eR#ןJ)3@^L^~r͌E=oJAkʨ>;WJ jP8{[_( Y|[~y<,SOteI%H؋劐R7G}uzw2=ZWuTs'GЖ#el/^UƤ_ DZhGI$Jl^=Fw?@[.!zEESv  0W&,RR0䝻\ZӡMy gN@Ѝn1hQuw8}Pvި 3ȯK 7؅kT^vjm0Y-] Z,޵dF)U* \GΖ^+cS#l*5čIJp'ʷ)l82CKL4 ]hTN4oW4?y,/GE5aK"͈|m uIS7#5 [,ݢYVOhj0|v.m+16} U&08A"sɵR lk4Z)펊k ƋXjy4~H),S/9 t2lb>scQv]'C!`A% ,PIaQbany8hb BFVh-pzЋRz3`kqò8l2)Fmv^Ja124[\~DPoRҵ/qJM!1;^(n=N3,-ƺiyd$}nְ#Ί}-!m7km?H #_Έη濟nW^tl(q4KlpFtka6O);s['\h*^o;J*kkݢ#/vU~q?Q $N,Bz?Z7LI/~븑M%w_tom'?u^ 2ɪYm|kf.O[pK J"C0BL( DV ῃA]W D#pD0'Iyㇱkpu/X)MU;!fo.35\MTFA hezu. QDBt3xjYݨr!|5~S=-n3;iviف!_"m&\t\W_'CDiP~t- HBv=@Ovϫah4j2.b V =_*H?e8qƧ2F>Ywa3@eC҈rUu`&"k%$A)fIM+EknYɖx$3k@#oX/k^kݒS&c*("DFDH F8`__o.QO)S[8= :Dv9!RTzol,byɐ$Z8c8Y,o&7 ichb asxyV '')RTM6=%]Q np^e5qϘXh7آCtI ό3 i0“^|ľ%}JĘz=+2k%MGt% q myIa;CXw2279c:,{LOJfզrP'S[{O&Q\C3tW@r$Mk)K7ˎ, i=5KǞy7{3+#ِ,&ͅ-dH/+Y l-ݯ:8Q0M`0. R7GטhQc$r4OcOąX2l„)p!in a^%)6 y㵄C/G߅d!;.z4a< G`ntǖR#w f;ZW"t6_bV*S28c н.g"pɈM! nihWԙ]fh ǎ͝P+4'3CCFh;f7?ޢ:&V5h-!"zJy<浦.UcZ9A@2gpzvDGRY@`<`21<)c;4c?y)#56/oAG ?9Wxxe޻܌ 3xhZZp 8)2< ɤT6Tb-Xh'TOgYOU;*p:☃ E,7+,U%B#-)E Bqݕk1 =e-U9V6MY< Clu Yܓ=8 S\(͗w:E҉;Ij$ɔ͔TLuSA$T˝7V%É!giLԇSj. _E>V|yx . -V? `/Mm-ZEa֫f]Z%q(缎pDU$*lmns- 4.ps8K?9YЫV?զx"<7A'ߩ8V(~swC8҂a+/ܧ6eIa@+x-&,i\(}L"M ۛԚs(cvRf op{>J} "7+]r"}Я%6gt (1OPe _@`gdMt-oF*"1||2XC6)4:0?'p~/B3R 2= $&[ϓ3CNm|ܲT^Cm'uT7TV; :3r/;J6̓@Vqn$&DVuN YQG*աt7WO?L7N_H qЈXg{4 \~/^{]҅j PtsAd>cVXf8$cxA@D7^ElʿQ=?K:Y>gCg܅@C!y߼z[P^hU 0A,_>ct7ߕJ~kҍ^BA!o,:X5 6pؽa񃫯sNHs(|rװqKs^J:} \u89G&=+~]k (L|ySQn+xr(5RfσSln0x딻f ^05Tz/@^O~}3ȉ[)V++:^d* 8` ?Ҫ^ncmM` OcbYaM f/MG1wR-slɱqua@w+XLb.|7"Iy˥j`+Zs%yjDϟL,FOv6#d++tq~vk'.Tw$/)77#WKb:IIFl3,6ʇ`SucP%-tK!"~n>:GYexcI,a 8tߏ6Q_H܍ɪyk :RWteͼKݾq- <i|RYuxliZ/-c`m5XgTd2~US%v]:3T *us{UF?G^ +{;PC;?w@5/W\'ݴvkpa5պ/fH`dKnݹ2Id &;@Eʙ}?R0xpqR+h}nKL7&@4( w[&Uq \^0: LAFù2bYNp]2]s+>lPG)Jc`!9ࣇݰ,MU8w[n!8w,V6/K,{G=Ҡ( c3Zppjԏ>`Tԓ ou[Z|*oM*GepM5o8٨uIgin~ve6ɣLݛ {p[ xޜz=^O{&)7v80(i:p[AhZIA%Z}_>F>B'dِPGC- O\~C8Y)g[3&\5qH BiurKfx [ssճ׵ѳ^ۇ43u[*V#;=տҏ@,RkUz+!&""t:|I^;-`6Y4"Q*de5ֳc2od[VD-c˼\K%`}z~wP+,gijnJ;]5˄K?ҹjgJ_*h_/x:VjT jsA۴vk}i94VR A퍙5_IBotydp`twn#5ˆR$|| &%:`!4nr3K_a"&oETI"汞+++0vĈgMʬzz`0ՂڸtyQlx7 >A  QBnՙ_ٖNd $ųB ۊeLH.-j~ HA5/qdl:l=!hELM.j LEy?2CTE0d p/eNsC6q@SѠaD$[IJ|w[CyrLK}sGC8"Iyu;ѫ¯&h#Lu\jx|V%x#kn3a$L6#"a÷JE"W-h / * eXQD&E*+Vxl~۵7Q0s܍>4ς'Ĝ/-ݱi~MTv.^}\X#JG26gEemQZaeDV 8,{XgPۮu_~[\ۘ_Y SƒR=`vrA*_-?rb L{3f+W_ Ńq,Ae:> S:ǧa} UO,[fs{<{:‡#xS^=s$! `=psX ΰ߰ %]BM{صꇒDYPH(u~pA?A>c\Z (:VFq{XcsM-vWh9FY#$e1%~q-א۳?pثh"s*T=mj1eukN=E/gCpC3<d#& VpW[Fe%js( Lv֨MjwԶ"q"(WL˅VSu!25z ga̤Xk,.qOr0fFB݄\>[8fg)W0҈cŐNMG݋x*8-Ԡ3WSrpd8Q?BSf99O*/_J?L{ c;D`/E9RA{W5n~Z\) :M wC-Nx$M|vowv_W8NhN$b^ߒט vRH^0loB]U65~lQV hJ05DP) zx1o \#*B"J!d5̚g; )0J?6x@+O*I<ٛkY^1zq}T=GanwLӔIcD۾aALK < Q_rq*pyR~lzm七`MָL$JuE tv})+K}^31)c5t'G ̈l"< _֩8i4亙 lJS/'hAlJY_b,֭Y`\ύ &E9~8POfBeY|lܠ}V򤾔̘n`q~%Œ#7aOF'%U.B,Ys 0_G}7 q yzve)vw{ZefS!-'^ BšSA,ѥ#K?b0!nK,>Gߙ2.V7E9,p58%$:;,~=Eg 0.}&Rmn?ໄFc0g<[;Xn[Rie P& FP-MHhqD+zۉRO4rb' vu nhwJ;U&X9s{1yΦF&a?CwBݼC>k:hdhfX)`q-vjӴS++_:@~ed/)0 $nKyǬ"]k-8v'&ֲaxvH  )A(W>;=@NLtSqO=ng4V֨^ *>VgB~nN=a:]hߜ