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 ""6Dd ]]Category3:threads=4elapsed=318.700cpu=1012.540gc=82.608factor=3.187zXZִF! b \]ŗXf[&wΞҌyP9Z\duKvUWKZ5-~vQ ΄EOWvIkN2= :ͱ2P 6Xp=Tx!]q#"LQl4en7SsvBmd{¥x4gOGIpPz뺀%80-;Q҇ i>>Wg2pꧦY&+_YE\jP=k. $S|;'CIaؕC@TٰqXUߧ'E2Lq9ErS9 P؊e݁MHZϱflvs3^^'YE_OmA.`GUFo!7gKBiy/~v%omשo۾"ˬxvR"5rjKy;m_]-zˠs?slR&}02.czo Zpdhw[ʚ Xv~uMgu|?Bb⹃=Ě)#;~J;O/sq\0[,usPs=S$5:錒f\.x`#Nͧ\5MͽK zX Ԥ+[|(2K.2_b n>%O$9K+0(ЌH#Aȯ=sQ@i]TxB. Ǚ1٠(Ma|NpSTvA-tP=z" ZRbxLAnimxLvAY1*Hؼ`Άź1j|h{~C$ތ)J$iv1^6A䫐EV|auCks)D~.I-x (g u]slHZ( 5c$5@!#hū\B86'5;<9Eb9`|ƬD/kJhڑ?GI]*!Vb/!?LSVc;L;N%Zp_ʖEZKSBbؕk1٭,26o[uc |3Ž~}%~F3H x"= o3z}b%`Gq<Un $E"DHݏ2Nh@HijAa1jw%q~paݻZ>QAZ֏\LF\IALx7=9`(@[W-qt/Ի@E$C: $1~\ % -ORw7WjS%-nO0D=J8a}D#߬*w jF.e(\GgÀ1AQ_GjG KރfiV{1^d%~X2^3!=Q^&CokC%9CX 0![W8024/B%vj<73Zx/ YvVFEuX>M բzx*ݿR)ɴI17eYӼ5 {rYǓ w X1&Y\m!)lb^%^%W}[6뼕zQ"}*!Г ohNWƓ ȥ <|Lg`ÿS2]JNFI<3qvEmc+_rm,v /">6񭯩5%vAaoAeziTFo|^x)WOܖѠT7jNzf--b=T łZYFW2ZE;N*|Ddiɍ#C5 e0mt?ovY-zIII<'t:eԊ3'PNN.ʽҺ64rR;OCIVADHo4U:ZcGFjTG*ܦ,")w*FZ޻he5`?(R7r)% ynˊp XlruK%7zn# }oUM !L_FE$yic ObK) `^y.. {rs<8?dj2`_ &l5_>!q5nӯ=| \ʎEymWe%TfWuVl,pr˒ :t@|j4VIE!,ۈE~/dq5U@66,:G͉ۂ-YSsFi)KqrG4+\(NX7ǣ4 oO ywqd{lU&nhϿZf=K܈-ሺBYvݴL{h: xs[{ -;{ MJL_:{?rrgU% B! i'?{>vS[GOn,LY͈K/!D`4t&"uGOokaOER(`Yhy68"V&ҳ(>_o 60.2Wj펺r Os dW[=E˰ڻ5,$[ mZupGD%rm.xПg6jM{*wwU+6zb^t)ѵ_c1%Pϖ !#][[TlW<87~u6!Io?zs"!)3: !_T(XsIo=?:p]wx^7̥y/^}r &B M*3VO`\2v"\wU˲V7x7n-U '15n0TY%)^ˈ t;[za<$[*(F6)둼kA7m4֟\{˾LFZse~Rzg>>?%Ox{zZ&\eqo|^8u:.@_J&A_Mph-4]р5tהT 5H6mwJ_L q|lW^MU\Lœ$; @޿MN41#ATܷ1#;yxI8t?*˞rq~ Gց'Nn/:"{?;*8}MO)™{bJ´LҵPL lPZCXA0B9p윭P1_ 09>rjəc_^僸ck|Ԝr$;e:o(f"TՔ͸3M'{%1Ö}]w"u+f]Rm{ ș7sfWϟB?At A]~gb= o_#K7hxJOTn|b75 橃 k~ Z:oлWCyw;" gV~GnV?Ǵx2s GV6abVaSZew77y0\W8i[820=\{2#iC:Wid^nxw$"hj~1 O>gW{Tf;dD | 3JK*GU#>-JR6aC~-OmG+qս gt#RpV6< oHgm b , S`r"([\B;18v@Os8< X(ˁW.ƚ^v{Zt nyVs;Ar |HꄖF %M4TObR)?P $5<0C5+MhKq´|=5xۃäOӄ6[ z+$&3cRFHBm}"yh<+yiKXR]Ztec [e10}R!?8.=|tP`x> c9j)B.yB8e<5hنb䞖phg :kr#cx)x֡;6ߋ[ & H҉!v꒛IE yD2 qC @@ vj@MXH^F>owѬY: `q872~8+54< {ȑv7=BтQ3^9/;>46Cx9:& =_ɃH"a3`mhJ8*hFe'"?T&?y) R3GDUx0v؈>w5/wM檙Jسg*+L8EiL@%.~rc-Q)s!!#r {rK&5T|pyTUD@ȩ@?+C9j'\6)tYg(cUB U(bTݜAzԪ`\-:03V5%uuܮڢ. :yuB\)w^;KQx4YÖXt¢ !&6ci\& h<,aFInj^H`6TI7>sQ7Yi{%Vg`Ɇ (n$܆;@b6bֶY7׿ZeZV?+3أI?N/j92".>`٬]^9Ϭ oG2FoiUtS;}D8!fwhop(2$@_n_(XX'qS7֩zcp MԲ_%T>#C AP8%6c=TuJWgn:Eƺr:s9L *DŽ<pVZ=dS *ٿ;ۙLJ ]L%y^*&431}vL6'D>>2%vwo;T65ޤ LE+k*)U9Xygl_9+#?\7{lݧP~Nyyq%!]繀ԯeN2Ƽ2mB+Ts!Q7fd[7xT`>ڽ"^o7Χ֓fōK}rPڜ:hp^F)ʴK6 JZt(PK}-@bfX(~0Mͫsa69AMT.5He if[PW(|S8k@(Y,nB?z+T`$-R6: MK\ Ny9}D4y^K9 "iC'r- fulFZw7dD \*nEVϲ**2+%jQtsvR(7#BM cv 4R-]F)@Q gYZ7zXZִF! ]ŗXiɟy>ZrI@סioBr"I>5)5K٫oKQR(,}l!dL4]9g&q}# *|#F#]9v2de"B}_J 2C6! QM /+l$|eۗu*-.Ml^K"uZ DٛʚÔ|4i@_Ĺ>-ϟ PH5i:FO@<~΍ Зү<;Щv9} mj}*XU3p(YLDULQq˴_4sRj}K.n_٩,f߉hyLلuNӈ fCKHjNEkAA#i䱥ߍg̃Nu8dD`AvƖe'Zث0!Ivr?0)cw'+8%ߥR6I}Mc2[J^uԖr H٭ sÅt&Z 5 2)`欠as TwW``KZ9PKysן>vP p m}tK\w f OۭE~7qfҳTo'Ap]ﱲWtZ1t o ؑ}W/q|&B!_',L4ꝺm$MfJ#~NXx:cmG\vy٨_B@5gyG{hҴxt.^$U~ݱJK5ljM]+ZBǶW_̐owe %ilr5u=ܧMY(|d1W'ԧj-N߁BS 8ۑPv]qtg<g1# P0h3{"`h< !C\q/81(#uREkr:Damw_V270>ݫ,XoQxq\F+CLKOհĘ='mOB /CWJ<4*Er:3`GEֺzO LFvR=}갇`,JMRHjPG ;{r,IN-D\N]m&`+$r$Fen\!`6`Il"D6y !rYz_7pX M`ʛuI CتSPpWHQ暠E03[ґT:ˉnȷia^VxyY1 )XwV+Dԝ#P}$u|H/KW^6Ze:{;; ilU@ 4tSd ˃߹/lHy~AKHVP8't$q2D:rx~ /LR+ ԽO[o*z{Xi9ĩNf&@AG]Y${6!c]9Lմ8)J@\xv.pӛ$GlxY/?Z,V&5}Gt(1ЖD8HMC/Ns+㲒 C۞eJ*ٹ4WX)8칪UTF+ Gֈx#}ġ+GRyZ1u)0뫸N.;c&\Tq>nNCI2GÉ^R5;iƶQqQ? R牱Llm|Ɓ]bdX-%tb!Qr.3/{iDq\hc\n~P.+2j⦷uO6.G>|( |O">⋫DylE5~O`8BEY(T=ʣ'#jF0N%H~U %'CL&먒{ ?TkaᵛRE'!J->58vuNiέ ]XJ*a_EQJDyܶ)rQ !J"Mvg<ά'6ĆJI\uUY!LLZ@n;(ly@ ( H^o"QǼx؍)uJL1>^'d?pPȳk4'н[ l(CX%%F#w=LBθj[7"*`ZJ#ULg74T?E=tsJآCy.Cߥ)LtEzpr 3]+kGkMl[uKhzvV/ɯFm"poK_;rU\#y.< xb&6~ȁVf}]ѢO_7\]D%OMR C 5|JG̼6ǃDߎ1ǒ&7-f'YIf*]?ĺK = T* Y˶HG!ޜ W9XG[mjףGv5p{ﵡWpē'1?k0̳PمJ.dI] `E N"W(FOI'[LFJ#{(kb9TJZ6nZ0ނwnV,*;ME99O'Bt]l\pzP"grN"$.г o3|ygs$'U1ꥱ6ܛ6-V"5N3!$UL䄰2??ڒ&:0͊c`28JQXGH?hVƒcbjwVdZ'/V gdM{/`tv,BBpizCVoHFI:ynOI_ )*tܭ`h-4ew,(b1㧗a ]0s_?T:̻Ih̨b2rϣ͟meNd7~,vH C.n)>G(!Pelc+F?2|M:Twar]I7!  '˯iqFVA:_D*_o5j#PoNHtͩ Nz+s,>RwK|Q0+UY$0isDG 9Jꆃ+Q$}fZ)+Ŷ6>y0ސ{Tz܏^n:V.g 7Z͒+h ϩgی | ^xdUڬ8pq.ܣl7l8il֟T+z;L|Xz:͡L?@)›L>(UQ5.*̫vgL"a zJ筽~;< nq(YW,˓@7wfm#?q).G^lAOudf!!)wrNayapPz}eEnbǗ ,gJs>&mDЁaJV UD[qhcP$Hba٬#iE4n)|„ų*d}hWv@|eX̬S`XJ;T[a[|}qp8Y-<@ߒ ⒀"ֽ1eYMIegTyEw1Nm"#lpeB +-Tn\0#-_ns_-`>Sq)|.G_? D4r oh¸Z@ȸk:1FV,ٕKwA2N>  p8!׊dj] ;]0aH0 kpp1~q"u{ktW*?>| }d:_(UlB8hA[ A/]68&fTrILן!ٙ6ހY@*߾Fg$m#R[*2yA2YC:2OLjR T$?}$UW|BY8j'W8=؜#nM"Â3evd[4VͰI=+/ ψ56Qws%*Nvi} sA.YW=cD{$bW]"͡G谙 ;nI\-Ox$ϮO8^ kMLg,1 u(*Ÿu G0O$Qsc㣚wPckMLrdtMz0Mw/@ȰM]ë[B0Ÿ/5} J/"uS!?I! 0ZҖPfAGKv":Ova/%XZZ߂E򆑡/JUu ?Eήdu{]w4a'#pFO**g}Gn41MʚB}[O醹YV$Ê>C|F9ӁdͮShT苉# fd/&IF#)]Z*{'X"!cd캷/L 5sr<#4C TG'aoޡ~N/Ti]#{$ >cP,KhPoQӏ+cnIx/mys;VixVu(?.T϶zcܻK#z[/'RpajG/ڛ)lX\ʣй X`a7ѺnJo*3 yr 1Ə2q:8+Bm*H@(Za$LJXSSz{ĭی=7D>ӗ1(P|OD7愮Škp1]F<[Bd{> &BΞqp]9>B"+JDc.CJM$ӮG6’]7с0#ea47יY=\Mrl( aFd8EcBS PH'ԠOe ͚;朱e@S@"4A+AC5's$_X!t+~L j'UaqaeRš`ö<0KYɐǙmr590ީHlVIh`M:Tmr`?l]@aQ1מ[&~P|v8v@$jOwDrd8]ˈOC< ҳůk7TVɖkF;H>u; ԜSX-{iⷯk^P (fdˁ{Vˆ\ l`ۻG:ĝuWZNZ#u8懻H#Nd!4ajHDQU+}Ɔ: c!TUƻ9LgvZp mFKk87j z*R40XH :y|a"|΀'@3mKWv5 |S2FAHm ?c%Rm2 /n!rrі4! @)ؚ_s yh.mп .E<ݘ:K˸CEyehNK.}YW]&\Xodt I [!2:],#e(ðbTW#f {4՗_<)drjeE`kYv=`34y H}C]Cub{jB!DVс2SAnVBhPycP(ǩc~Fr71P RG[ʦ6:]#sGр)W=?*y. S_!$zieR<ǷU1҆MWG&G@~xkuoyAd.q]lveP3gII9}[.g K ՚{>'ahǢ_G!Wqj5"UߓJsZb@Kk51x_(qMD~Й& LFjyTdG)f~ U [Їz=uPEA[7vvAqx]Yr#Nh[nGd%Sa{{wȐ5re7DJ IF k9 PE9Ҙu$wY'"6&pgˑڷSd te*] d1'܍篔 0TW-]Nÿ5S5"+ N?0Z(7,p'C˄ ?4L‚؈N4#̊4Ng DB Xw^ H57"х-گ ȴP__~I*䓖(ygnEQ?<)Z%vY\?fF:>Ƈ*nV@AO.i}}Z,1gOGP']`l02cD θo?d^sA ) nm Ac6nwjb,[p|B[8Z˽=k4g+;R\.$r|#x-w)X gsFГc}x:(c - ʳ=P~ Y)QVWtyGlX;AK`u?jeJӪ̈ЖrECk}'nW/.ԛ-%2-rvU+!im}0}[)͎߳~ 4p K Q)=jf᥼2M`Y"66m%ñ탢o:z(q7s0Ḱmt{}/nCyY{*d!B2Y Td2,iw~|kLV3XM .>J=our_ *ܹMq}}ǷdD`^3렐  Gymw ;{yΩ}<݁?;w|v%]쀆-vHoB ZP;B\7T.}Y!Åz=sveI{H٭^VܶH wxtlKP( \.?w>Q4mP  'nTg Zu»w9(!N² XBxB{ IX^Xg2=ĕ[@~gRH=hiF2AS aRu|4 a|DeCd 1&Ѐ`Nel"4(k Qm QHjKAd=Y`ڻ@QE#Jii qޥ+PfLt%D\SȬeH;ҏ9!E%o@?i6?rRu䜚=k0p, 9?{ 0޽"vsX(Xzl^8앨 6v_"~ň$@3_:E5M@ڧGL0 s]m:2Qe(k>RWF`͒n9lW%[=" 3~2ϐد>7 m'F+jo5t\aM"w-d0!Rh|Gè\Վ1 ,9_7B9  &L4j,=+ҬT"lS^@0dBu&~#o]p(?%W* _g0նVX%V+KwŒ,wq),5xoY8H̹7K&vf3;c=QEOjSTrh5䕍 Iru+¸Pz"Ю |Cv΍2b! Y5՝B{Y; blOp2-u 03s`7m_uITO\x.%@4&| }9{\@FU ss'bQU=Ee \g(c{R0$3UEZ u=eUЕ!p7$X[ ى#ya ^h YV9 >j_.+FwC rɑwΉA8)FE蜆ǐhB`bd".jF]3ZU[w>zJSޔ3|ʆ.˛ۈN3z ]&fuKef%I<&jldibwӀ= $^m=G?ff12K D'C55'2CYI"t5Ff$CP;2LLP+^0 RH#-̘rPˤf*Y˿}PIp_{ 6+øЌNQc`UV/PT6 r&w\ l/D8&=d@0K4 ei+gySLM)]p|+GV(Jܪ @čc{?w bnReZ Ժ[[;{gL}7$R9ސRs߳kb(oY kwNM8*@IJ^ 9اT; ; UT[xBT¡\OY}OL`DL7oc}W\>d9@vL Md x܍CTӳ,D`_zO"$nqD;/hɭh\9-0_0}pzL>A'7m|:Fm׳mؒ>t{G۱)XY =³N-k+{3M5{J'\CQ&n>rӣ]SSѸo53kSdW As,kr ^yvn+kVW0%e~EskI͒sQ1,eƔ.u jSZe,QkNL_OG++. =Pv)1ԻA8ތb 5dTg?gOHY^H*y.H{ //.ˬg1xG(f0 7*2ftH*-mIr9dH^WF٣End%}Yy!GD-)|t,mI $(8JDDhYz-ܣvgš8gEJOM/\Sb:'P賓xd;Qa d!܈ƭ>3Nn[mTcߌ(+^2P\;}0B.> &ćދ;^}E>Yyᜩo/#ývx `V*%̀:74/xطd W`V !vYV2ENHWV Bm[%d:_%Q; 5rPK$:L1l{z4 d7Ȇ43ֲ;0qArvF^@a81Ȗ Jq&M^Y#Tqk'༔ YbFAɵc\JS۝Gÿwmf竫tPBJKRgkgo2N7$+Fg(\:Sufk'Rʠ7R騃D)cq_KCU}:\;E/$ АMf4F‚%2Î wIh 34zf!<Ȓ ĄӖqLѨ+I( vh 'ELIў֞.U,( ŠC1FQ pס+Qᑣy]0M0V4~dd=jHR( :4ZU,˾>8D{4qf&`L1Xf|Nϻ`]=nD?5%:lpIl\3;/TgÒ@Ӻ()c}K-}{A1;[. UbɜP(VI!o ]i[jrӞiN(Ct7?rGCbf|lBBmmtʊ%rWp2dO]3$>NZ!8^!<oS9{H_CA s墡F #bpl@\}wd+eUɲxk6CȁI  DUPe Gf|LB:pUSQ9*0#M*,ɣm̞}eYƑ`yWﵱibw+OnVtc?8(0bq$n㶕iJ=21|r?% RmN$ᨀ> J}s~*`)_CNys䆲K HmSǯL !;m =\"| @JYKI!b;" .T s"\>VbrDtCv u:K IW*Y/.PWvWiѡ@Rg\i#0F>N?; fW:v4Zb?O<_E*AbP9v 5Oo)k]u@8G\%3G 83}[9CuCtBy:6ĥu|Hʋf/k8fn gk W+/b|w6_tl"k#.~ԱS5Dq=9çFGVc#WIb7/x5nUEh׻")"+AF`h>W#oĿF33Sj`[MkGX P7D43m/͋rݞܥxwE~n19è\h_IlYRK13,˱WJËR]mb4%_i8%i"vJ1Y̔W {\F6s՟B_W* Ohg!|[ bD&>f`(#0^9S`zc1%\`oQۖcD+'&W7x4HDEꪇ[cPDtv]Pz#hK9f J#%jl+63=c(4îKk;SIz-LY|.fy:nDdOEv|S7QNjj%_d[jaUBq7i! kPR\ڇI_J5v;J aۋ1Sڡ*a .o'_{`И/Uy[Η%*5>T\AK3غq%xD%f`=~ Ta`%b=SNZZMS]Mh! 1@T"Mғ޵E}*@=W;$?a:M|̍Dgʫw+S3ªh0N/Sy( n_*Nb_p|eǟz@7~4pCGBZ']M63Cd#`;4 Y--MK CĥSU*W ۊh*cwJS#驞O'Ȳ; N Ow :߰FOR}5D'`9:S:4iЏN6h)?˚E2_(Ub ш/8A)1 ?GZg85&- rw9${hP_[3 %]}hK2=H!B{ hFB >΍^FJV^MB[~,* HYwcyI= bHnC[̤VLn.+ ~aTϠكC OoFӵwX f5!5쿰~`D뤤јj(+<v3 EsXBzy<b:3^r:37Zs }tP[gJbMd ~G 9ӈxn_ <.tS.vklܮ[3М$~+Axb#DJŁy5jTJzTvL7)q Yg=GL'&PcRnDP}"i6 q ㉲r2!kc9Uݫ(p,6fDJ\tF,[<5:407t- a9rlZHսDnfO3~@4~}v^\OJDK8,Ů1Pt|@ UsAA$3 ؆\@$"䪺ӆ7wh$xdbwi2N9 acfF ,8e~51'o)v/<%jRyV m9UJŘ?H~9>8jUFn'Lg&h=WG#{$Iv  ))f=d]. I0VOkwĽuxY競5"ym5eiޭFԅ~(as@CQ-f9buˆ&eVcV 1o7%+;9bo̜Ю2C^f2BH#N>oTrkWMɧS?Ov/,gE>z9ś0O[f Ƨ'1<O!~B0+rF^*H%AX?!k_$%㞭 kV}P-IfD<Pvp:Cpڼ1<կqd]1> yuA,Mg#שaV|i*æ(Ig|H3@C\MzKPMHP( $/HlR%p6a tB"ym&~9P h_AM=R&]sImٌh Z"{6C&Aj'4m]3<>x4d 6RY(,4;%:qde ߠtH0jL:~̅{ m*rNm*Bt+* eg$hXaLTKi[O;5d =gE/6dV]ׂW(ڑpe$ rpw%Nef+U&M.s;BOJ]&x%BqM?#˧?ݪ CW0kl*}){hUׯ~Kq[|{,qX6CWt#,O!wɒrhXhOEyIBPJ"IvO?#R!Ch\I$ůB⫪VRee.z?DVm4$re Pqe310:ep\7И ^ua_P3e,H]oFݽqۆC`s<1,tKD(RиHᦇr qXp^Х MD/T]V5&*_^VY.ZPpÂa"3 Z[NKbo#Mx ZIy[zoz=CS,C )#I'|L㠩gqCֺbrAv e̎.Ar~l/RQu_;o ' ѿO|9NN٧wGٍc۷`W3Ipww4>JN<{Ht1Y2脈>zM/nR'5YP0hʋ8)? 27q8q)U=mDfx1?5غC\uq݌*QBx.sP *Ӌqn65b"\Ǡ (2T;,O!5W/::\U0o;RFZ!%+.q訡.m`-#t1ݲ>S$C:3Ժ.J1=L"`n aYbNEЄ`&k9R&a02kQ#.\Q NCy)!޿$}CE[hf5' 3xV T}qEE ;vf~UR> Eo!)Sb+iy6Álů)|(JӕleVU+'{퐅D'-eUpސܲ<xˤV~?7Xw! `IP]b=w%&ephoh"?(j]pØT̽w~g>Xу k%0]v󓻗zƇϻwݣǁ@Ep$C^U3rp(ѩb%`: TY$&UXa1`PTDi98BToMeIz6e{lvZ\X6-zDi rgYCAYvVH+3>$q tv-{㟫o쭄~ 2{GIe\rLyHNߣ ma*8}21^ܴ$r3`oyrO dQ4)Y뿇qO4Ens[I8ZNL={v3> /_+7xAܛAeg]D5?(B"EChs-Y >>(}G.w^|8qϙLhN.Jt݃X 7R즅[؄RՇrOZga0.֕Q Y]#`Xzuς`i=W$:i yD4|]eȵ4H`[;"br$`T'+[9:hRFvAt mlͤCȊet6kYG~o##VF/h׾>uƭ&Dg!X..or|AvRGCȸ۫z4?vv?|u/nQ Q9Ìd >puҀ\C^sdw^(r!b_d+z#< _`odt(MI&g5F]!yyaG| nzf_lAe5d1o*[UL;@gmۍ? z)2p"YgWR|xtDz蘲#!rXvW燾ߩ?}=P<'rlÝM_#eV[kKM\J KRG^-'nLT돯vB% p:`U/I^~Uj}\uj-]^<3:mn\.!ӈ;"g;.T >L-J+QIRx]Ax8l`N=fC_QsJG^ wɕo=(TDŽO Kb17%.9 8Fex,ʁtd9QZ'Cۢ?15_ Tc,: kU}IW\.T2}[-1G=5&Eԃ}p0m”_DԷm "c7Mu@Zd 1rrf "X7+팏 Q,LX~U"9|`7 vА+*r|V%=h7Ic mRBF b"@hjBc:Ì~߻E7mH>܀ݽfFՔez u|¨H7GzA@D+Ɛqw U~w$κ8b=+ fnZs(X ;]ߟ'DgE/!ONbε 9%;s ÁgvI 5qnsk/sL'! 9,9EYCd#5_8Պ%>f_ȤpwS&J 8dY$HxgOizx!4ڕLhq+"s#:*@SR2BP@=8&&(z;cǽ/7;K3s؇h0mNYwqZ:&w,Z(o ?{[{}z.YԠ?,cv_QkɃuw?A6-KL?Y򌗨+T]voՒS Xw< Ԣ X=1]E2;٠'VzaJ ;Q3̗(Avk<ۖ^{*f݊jRtȟL}1O'.XʜH ]pl` "P%8)"Ϙ|1RVIz[\Lb@{4XGel4v"Mf+R9q|xeؾ#fTLوAF+m -R5PZ`z\c ØwJXB0&J`-T%xQ g~!l%T.Nw%$²muXN-Xwsܸ {f5Nt=v󥷪6|M9$tW|1:`āBqeykz8T4AcxXn:-~I `_)CUay(4PXvGf y oݸik|LZˈm9Ζ7tgMǂD&bQ{Ee:>/MB2+‚|KbLQ(gɡ-}b~o X\9ٺ4.KGX|xVE\^\~o_WV-eRi[ XA\*)Ne}^Qg`9¹ 2aT7"1o{)}X&Dl Un]P!d7NY!b!ısj(HL۴.- Xf lEBhή;&NszEn w8ňcT eL *𭸐tRѲ q]*fae,Q&P=XK;$hSaQh`9KapA#ZXЋ,.Vi0{eZ_ETU 7Kc"Cn9N`WWTsFNRҨͻ=}u/㩯)zYt\yTU8]CV0ʆQO떲7(UG90ir#T˭d8@:/ pO.>S~2yU)5_\9= Dq &Lq˃%5T,J5+a$ce;C"ڛTORlUUCŗ%㊨r_YN^̶hL;䁣g[XJ4 N.?N{鳾Hdrͫ֞:TSL}k}H$<菔do刪mɘP'7c˒v5BNd;l(+X֤9-Dn!f(ڜ:e/,~G)[aN<ӈ. $K73մX^P!m飙5a6̖I_g!ya"LkO  v89Rw*T^5MC*qSMLv"orS8*:tR v>͋m0pgޅK3qB(8uG}CTMV>ݚJ|7^s Gy=ÉegUsˎ"tr)K$nyۖcҐz>.Ŵ=_Xa㰖UEiaaX{'B}dmqJ!Jѭ0?G@=xFrK4#i|ݤ ֋p#f+ص['}5t^)eDF2*u@ڨli_K]WhnYOCȐ*8RbeSm ٶ+ eͱ<]AߡeM1OrB/rc:M1G5g ;Q<+,%/lU} ҆z%տEA6 ;G '`З3%h5A`;I :dI*>0e㯍:]Bl =dsѝ?9?n>*5gk˩0b|o`te z~qQ߸X2GF~}4 -)mj)Y=wAߗRW!Y%ͷʍߐU,*5&xq >"]#5+\I3B0n&u@UaI)/9+"67"M3݊\(ѧ)}Xf ,vun鐫p] lfm&y2@7/n"jKԎ|J1˷`ƵpLN_D*I! 3sr͌ V*U9IǬ 5J"kHAdyeXa-Iwt\E%xca2(A-?vƞ0Ħ0$'7 6tg dQj_W dVEYX~9OGc" ܀S%AY0эѣ0^;U_L=e-"e*[:lCuG0h QkedLi^m.D&aP=/"/XFF/Uq>CoSFfi,Q2__:͟#jZؽ. ?q[9DòN";&.Bs6P';`Vϛvg|+t`X=r ݑ FYFMÝ5 }PFnTT~j2-b#/H`t[,>3% OzM}?6k ;Ӛ$N7H4}T_yif3Ps3JHt=r3* k=J3:Y4F;VwQPB`Ë`W FCʯxGIu6X .#|ntv4B_9QA B>`U^>I]~FL~hKU*j9fC`F5O>n:`#g6wt<̰P {zZKzZxֹH%Kc*&Ǜ9^k{x|) eD!{1fJ>^QP`4"`/>Pi^˕;^@l7~]G)oə?|鈝"Tm1bO1LdA`_͌|db>gEw%@۰]xnoe[%bߊ:7=#WaͿ}麲а1^BT8Ln#5ZZha,V[<7L sgUGLz"npՇAwl[Ѻ:^/bR<?ظNE:EBu9Ԧ8u}3 0jE5L9O. ita̗YHdC{]@[VRu}ٷ^:{TfPiDIm@NqbɞkYzXA[lӑNQ(`v~QuFKt!Wd悚As] YPUA )2Yݔܶ7 T7X"vgMn' z+LEY-C;><᥮7;@XTu(6ZJ-ţu?|_VO,I@mGm>{N5G3\=XgYZ9ae2a5f520296a43aa2240f6551930bf71cd7a6bd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c1dafeb444e14d65b80964fd94ee7430e3e83eb9e