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  J,|< ]]Category3:threads=4elapsed=387.103cpu=1149.148gc=61.288factor=2.977zXZִF! # ]ŗXf[&wΞҌyP9Zm(%ydwDvh(gΚs`Q(iٛ91U݀&d>qVա {51UÎ&y3r 㰟HIŝ7GIu0-jyOPrgWZa31LV11 ({b@gwg}\]!EC٢I^v_"4T)K&hS{S hZ~~#FQRCUNuk֍E]HIpjAj2_^@~ (F=rΚ;╦ :=o3q*l_tHѳN0qj˵{KYVlx!336lzh*BAx2:((sȱ3~ B'Zpsz+6uND2ـ_kh4>LX,INʸ>62EU 6=e1$݄c88e6 !.Rhp]q%&;ֳo@ D9NGb A||ђ2T6'FLE B1,ؔh u,Ҩ)s,H`U'Qw \U11F~cl}H(Ɨ@hBE\qc7P0 ;uZ6OCpdMO@h'i+dFǑz6"F.ypQ?O^HL|fP=·߶XS0: _(g3#۱(~ҲM{Rِ#Jt\0KfXU7׬א+,xd%c*ˋOCV߷n*JԔlX!#bi{|\,i?FlQ~7՜rqӖaMΞ9UaT$u)OP \ v4H!%zGeZOmH:a8 I!2h!EHs1"5ŭI@ui4Cx!eq_.vA̟Uokw*#5jK*c:p]8Al%4%$S`FA;‘YY uu.ӴT.%_>jo ue%@#`ykҗMb 1G\lo%t|\ L'kW%K_{-5V9`̧on_Ϡ@qT\f JB8PycoYʦ?eF;@s O/ҨwfɊs"AL1'׬̹4T,QWiC߶r [T-_eك rS+˝K尢C~Ħ|Ds^; ujWø  */V HfjgP-:!+F/geQd.\4~   Category3  .Eub  w(ΝI10i*PsA:Ȃ(lQP ˂L 䀠 ԊXĩ$BX1 ~kL=`)s~o# R3CoLH牕yo敥]3@q0GL,>Zdu['M5nk[Tvs(1Ȓ(GiVK_&m'Iri@:҄D)N!0Â{f|z=ֲ+W~?Y^Fy65Vn!Y!Y -)*v; Lt脲obf.oTgдOF:~˺K{]OXz)Z"+P"G|,S#sy>A/G%UL@ zd׬~#Uhb 5v%VuM0Giqv`Go\%U!ݷ]vbD3;b}q5ؤnIհ)ԶE4QȚbΘ:y3-iF]%XZVčW#RpfcSIH\eQ}!P$'[J eX @K@#6œR{w2FmlOkџظ4Z|v5R }3Ba/Ū($Mf{Ei tD ̠ B[ qVέv R3sEie]Rh@Ϩ'O#xz%} =nƜѵS[8?% e53U}JJ>e]RBah4=<:)c G{‬in/5hDɎ3?·I(Ἧ'(njP_CEИuLO`5v;.#"QKOդi3hvfubUYV双U* b@gAuǸ,tuZrJ-5A4wdŌ8Gp|rK쨎Pg :zOĖI3GE EXFko`U^{N/\&ADGtXdUr^x}uV ڠZ}K# ψY.wcžnc!+ނizΘ_+e?g{ ߍ0t.6Ԩ21Z,m} d\JR]`xRa~!hB -g75QŨ$8؁VDVq=]O2 9Z='Oȧqt]sWfbSN ` >)IJ%|bteK9[ Œ1*y_+ L, 1) (ZlGU!9[1Cmh"1x 3N)糅 r_h`>ܱt.,=HCA\&{KKJhKopR8ʒ/`j$d;3[,{SXzog?V{ln-謹76"WZ5)35F,f߉*a|>5|T!z7 VF+rfA}qDJα` hYb]wQ4SSrgLh3k3d#E,lkۘ,ѫn [{Si.ڗ@/Kv'Uvư~GEsۺg 9qϰpe{iol?;Z}Vluq Y!HEh|x,t.N X/A,5K#nLxhbkuqIӏVdcSU-͇DyvyѱD| xBcBe90vj`䳲!Vbmpܵx9“#6m J3e> 芑XT (C/U)c ,ytF,YDݩPGum$$kK1l4!`n1R9z=pggV$tEcpՑ8 p1vqH a4?(#jVt# iUP ǭ514E JWN2/΍3C>tt.!SŒZks"fb,X^D9A=z >\/aOhS^)+l9žiar͊S3>w!ᆲSDv 5af$r<oܓ*Х I02Q &QWݙj׸O#F,F n֢Urdd&/s,gs'B}WJ~)}L((T| $%HN9S"3" @3A{Η5`=t3Ro0eM*LaPm -Ґ0vLM،VV JVhQ3Nʯ8Bl`1=㮤g5Jag\/R$=6.4IM T)¡^]#LyFۭ[;{K=ri!\+veQY&_p߃tEen qS0/0G1|h$"|%u APH _WdRUUYŝ]Hѝd~/ ugOP`|D\Cu$]w:QR2+ hC 6TtcdViE1}v$\x>w-CMI#$u3EAɠJj x7AWͪ kc/a"'7id"4[3l KvNt7|;}z0wZژ+Qگf/ؽ3xS-{kZG!( uָPf1Pޢz>kM>\\m1,?t 精" ;QŏIJu#ANj;X_OO!L_V<F"_?Ե"+a{ƶkF bAF2Jʍ\d^]񷦗]b?-&*styOv .DFuhHPpQ/7ܲ:Y,\X("v61w6H 띌"EL*3 LO"s#^B$ҿQƫw.9j7ֺ+T xbv7(,RM£N޵6s2AßWk[O;R7n\SJ7aGVX,3Ab,&G&}mv' 9qO͆<F( n7%L3q2Ƥ8(aRwK< (4H`D+IMsi[zh.po #(,:ߢϝb@o㜿?HBffGp|Q8h;Atu3*|trݤt#ۂ>F-X@I֠H:T dGanCʫ0j!"G< 7X'ST[@e"5PyGkZޡ{8]WML>,D vC []x.UT0aL԰wxXI2*vsЕ]]Ep\Nm0/j7}.zv@shjeHo#g&>>7 >DZrrey`A)Y2/}MUR qoN_" -YyQ6Hg@oVe";071 A 'jju|:vȖ+9 g." 5ĴBʅ:8u)-ha,L9D5+ `AVs0 diɔɢU(\V˂$^D?J`a#InGV別ҙ[q*j;vÌۈa?f@1rڜ6*.rRݫ4A *9RQI.Q*A_lam'bo懱#bK>TO9jgZq*rMPY$uk @ɵ;lTEC@V2N|ǰ۵u+#>F -,^h T 00ˏ}k$[ eLDpJ'`i^WDV h`I+ŀ0T_OBogb!~1bNJDdDf?oD&L,6czҪ9S \cbՙ'˩Obvg?Xn@1U>ׇOQK>~@b}jYP3Eچ-#40@!.2ɊubL#E{e}9Hhok~@ة\}Gb/M"Ҝ%d`RC3Dx-ɥC[Lv&gީ;r^wUdAcFœqtn/˕ s1As9ڤCs>gcߛ姃?hX#g-ǀ(K^8^+F̶< q696E9A-&ḀV l^fFI?dH3,K/ʕ@J\ |؛aFSgYZ7zXZִF! ]ŗXiɟy>ZrA?bF{N}¡ؚ6E̶qRfŔ4{o80oW3BeH}DHXApL5_ރdEƕGHm2R^ 6Av(/vTdvDRv*yk07ư6FL.]̲/{;EO+kqJd`m"`1μ['9Ԓͨ<O^o2$hlX"p}ǣhʕƛ5L2-gbHZ$gK@cZakJۃ֭j)7uj`PHL$؈} (VgYZ7zXZִF! ]ŗXi%Eb⬘ռ\1?69Do{O֬9 Nm\NdΡToVnk/7S6*S2=s-<̛ b|ӄwu6oc{(5ݏQU68[!"PRK%ʖ5n )vEH, L&Ox(iv9CuAk(--RO|LUPla e҉ t9:(l wQ]x=bj`r+f4Xb5-Yis tɼ f:<~PsU-hMH(JkWɃe WwckUYEe>hܮ4ʔF0NX~X8>:LX%+@/Jx#oQyPW 6`PY@9i]LZ0L2:~Kѱ N5xO+ bNq~$M"Tt 0 f~%^P6Usd 7Ë́O&[\Vk|ި mkuevH5ǏbK,ϻWl\\4#7ʥ-aLZfzWO(ddܻ vѽ3ƀ9F3fbU<1Gy[`0>:de`|"Sy[pdDs=:x$Al81G]N_uAEtPOO[>Z!Snй 6}AANmD4 Z+n'Հg- p :|GfdI~EnwC1RD޴@ -cFD닪v'j$7 ɫpB8RY ubw|W9q%Vm zf]XԛAUVݵ<CG7=s(Z;#Vz{&}Mwr#++,j^`$ G, ;[@I/8{L}K8|(AO_#$LfkGS*@xοHX {?W@FM`u$/YXD6q3ː)PBsY:i؄6%˼|- &IO͢EfC'IS^ v +lVT; 1•!E i2Q {9Dwϲ`_"k'&ߙ$k_hը.Cm zܽm$:v1[ z-+f9Ћ4c19.=]h]~84֜fRJEoiؑG ~y)R2"" $'wnyn_sv$թ%' ޢQ |ƀMڋ=$-ik@u>9E)k70m b#!?v#@ѼL~<NՓrq5 Wȗ<~ڛHcC=4c]9# b򛝽ZCL1KQqWĽ~ZشcDUcM.LD"Xc3(*V50$R&.Z?P<@prTm+Bۏo\!4d`T~I8`FrNXoYMn@%!/JuKociIZ73tNl7U=fɴЬ&QRj[;ײKrP_Gm\]F6[:+;Kpᶀ4q1GR]=ņBhleJ VzT]uogCh:ÍL׳`WqoA7SRONjl0{j󑕯:ˡa$kdtk5V'4mO-\i9*z1'^?A6d_^N{LƝ@E܈u9if vſ&qTı=-Uf)-9`;5:1+Meƒ*QċL cx=5.+YQ^ւrRFl3XIEw˼8v9g i^SϽF [ȡF4>~ ˠQoYvٟˆ"zhǛ H`Y.!})u FCuYUJ^Z;{tnyr2ǎҢzC(x YdoW8H޺% +'/ K0\NB>d6H9D O3TsjUX5hN4LEkzZJV_xI!ۣD ٽun<6E| -d{ ݌NV֣;"Kf [ճ!%b{^:Cxg/P%4$xon YacH?ŃP8YBtkt,az(xY! erUda uJJcl//Eod8L#hC<ڝT.օ *zmi6Mg&ޗ%n4CG+ښhE%vbHtAGNC6Itÿo8t-Po/W6m aAOCWv1Is vm7Ś qL nli?+#{G41`1)^;SnqƾalfDz?,( (v \xAVJXP[N萌C"EgZ.- z[N7Q֛MO*xP pR?|/<蒱sPGkϧMQOT|8{e_Ł&*]c,~ܳr}SS|KFއ鉉1pG%S6h3B5Kd*>r'{I`9aP.@=B61a:} <I;ŦD+ݞʝDNbWðZ)uCx a4CB/uaiL97]1=@9ͽxs))۠ob!CB?w+9ڄN+RV|qB"\}纹,xd-aT^*1d]W{i p2`3_5nPe3,O^uy4Oc+ST= ୃ;(5?/\ZsSqvۨɲ'4P H(uA)A#y^Ҧhgfi;= )[9W.S1ۍo! v5 GEjJpγ6=%!u0nKО.rFDJ2`pب )/xj}6,_TX}Ex)SAq /PکR~&W_w\ֱpG֋t {w LbQlNXoѕ߰CXC[ZBdb,!"hWQkGt(g>(޾X2? هőYF^V5%>mg" {hӂxiVo'4pR5 l6_S\U=}#:6gch#g F:N -Er7\-}:jc͛rmlnj#ScS{_j+Ɉ?538@GU͕Jw~>:'|&oN95X+ںsJ)`Y[{#*wjL~_SB.Y# s'_mrM0%l&f:}$e%hn Zrtvj ú hI#v?+\LoJV\CG;p2^7E!H5tBJ U{Zdo8ZԤr^KohT -n4#eL|'5Wd`c7;22rE 6,)+h&_JoaenNwf@zvpgS+m n 6*j2Αɽۣ-8 =quuyr91һ.U]c#GռM{z@_J8Iɪ4uq!x.fYj&IiB꼿=ShEIif`S$Thk[@W|U]s/V$6dH|kt^+_4Ŗ$$$pRx CL"]7-넄`JC쐣ύQ$+%+ỡI~eBvH?=4J;n3s lR" 8ɬfRdHW(by`U/z " Nr79r܏2y&UTKAbe^'8);y[Kŗ>/baPPWB(\yTFCf;yLa,#pw]{U#68ibJlR094=0 Cx]#&I VYIh!()b85"/ wU`!y{li T{dֳ/wr@d<%;~3_i I01@uvuđ i @{Ǡ>ĽSy7# { e3"s DPA3|2w,S@Y EMl8_5 ~³×O/<롆ZH'MT*H$wCPÆ/JF #<eZAh% /.apk& ,=JiNf%> b*7f4oC_N0tA8vUmxƞei3[+GݨB5ml(ǽMbe@ ~<\-ϷO᰺n )>^Cjm7큛o@&:7*8ֵ$J.ldϟ0< cWރ(Vh/#pWdNݸs/ﱈ$'}%AñOvclq{ { X:fd6u//2i~@}߿b[CܛlU3b_[֭!<5Uk@Y<'ϧcKf=ЬeHE҃h]"zHlWܶɱɗ>>ܐhEpNVв!o_TY y8+I˗61\U)Q=4h ȵoi3$씇c"YIO_8˞/ATDhmꚅ!/ +qh8ɷ#6˽85x'b b!-,l|#A fo^Mjow1u&Z-31mV^gRiVcoŚFRDz;9ޅe]_auꃔ5YTnH&0GBf}uJD x=+<8TzIZ|:2ToM"ӹASm[P5A@ޓ.wmppC-@NLTwf`<H փ+Kњ3UfŚ6 uP 1OO%<ѓ:ٟp3KsvEb<-iMo NZKAXْ!QƅYc G"278( G(TD3$}(`.iU4RI ,B՝g `lo7Ğwΰh?֍ܖ)%t&HYOD_' %Â}۲e Z0ix{^ր[A5xi'!#NQq ZQCRO6Pics14 kc(9 Ns RD˲g-#f0mf+66]lkwa$9 ifjhSP 2XT+ Obp;v+QRХ<1.mA`^?\Upט_9to.M\ڸj/ G"ZUMKAAS`μ4>G^ӫ'-0-[Z^ :e<΂~1*CQ[bZD zk793l1}c:D.r?.5pPq_Q4&doA'ނB~[NMk5?vjXV?S^[چ,2NZh \V'46I+.145@8JFSvuN씨ɉz,iˋ=#r))/^^ &dnbi7yHc!?/kFʙEp EQΣZ1S,L3vp8Hc(0J&t 7P$kp7/|8fDžN_kp)I#|/6c!6z'en:9+3\EJ%ssfm'QNK9L5($+#2vzͬHLGYU:,XةDP@27q$x$ÂI1u>qިoyLYsէF5NaK1n_Uu `&>.Iawqb?kBBaCq,*~l7 "^I!uvIIVL4T-j^tcn+6Knq~F-9pbTѯb:W?ˣ*k{ɱQ CtT"<#p1*qnx|OH!C4T([hĢmeT J>-GuкQIQΫyExISQًF2 ~g(t4%е8r=A߽`DB+d!P#R1J0C,W lX8=tˢ 8`D *1g(5Jijr(׺/ńf_9;͐02ιOub:75hJj=g!-1?^<P\>HڽǏB v{З\>c"~#5_UCbΩ&=m%Eipf< 96-!0R[$:x4^R goDwsH2ŰBǃܴbvH F;Nd'(VGHc=膇3 r&F"8D(5/I$FO ӚQ$_z97zN{,(ɶ)f+9">\6AmqҴAA-BM,2|&0$lY8Z掼2Q_=? ^ȨGbslt q-v^SёA l|\zhVS;ml M*Dw*Y7&膬EDD tf-ɝj^"I :E#NI{\X0bY|f ;@F龶#VǝWqnxm:<* jl弱;J)>v OnF .NԽ5`( `G2YE?r'8]jl gƴ_-n>φS~8.Z!D<ž>&D(^F)0l EVy<iЗ&ЙR`]>~H<&YTY! Uv>`*co ԭgDgAq2ʃn/kˡ_X#ХIcӄm9]@(P5C:3O0? E cdvzm{>N^?EIOI>khj'q~,+WޡYpLšBTt!LvMObH(0@ħv,CSd~º,%AбMBcKA_o)OM^J9Pn{ant$8à)t$ڟ  Q_ fik\iLcʧ3C@M=gX[h)1nƈdPiDD]ÙW',"Oby1НFa7:ԑɖ̂bt5˘) ,)&'/ae~d7 kFJ, \K&TW"by JU@¼!fJY#Ɏu4EޗT 6ZeAYhF+2՛M9VY$$Z#$t8d&#sc1߹\I&8OD)W2R7H1jo%& F(Y6pAiRC(QU>B+nE#Y+d2 cmja0Qè6OJdX f:b 厼2dk\`N>!F36hfx3|9-T O~0;%]uqϨo,z޼߰ k)lIy0bs0i1^qrPF#{'5nk%aVST8aѢzS?25DicdEiZ +BÆUA ܟ]c LZCkaaUUH{9k,tmȫv(*_ߛ sDw}HX !Ew<1B="Fj3:٧tS!fdW/ନݱ83u#4%sq> ngghڧ-e}"ׯ9SD(i>)B]^&j0#z.L1,}M۶Ph=c>"jH/8?Ux-01a0qUuHF&2=Pb adu\ ;U4JTKҁ>3?[lw Їn$KRMNt5Lkr@U pD%jki}:4`?ϮU=Tn.@ܐU7p֬H{+ydzyȌE:` /jvKvM]Fbq囘)wЭyuOH֨&sڦ7)2My|K )<9< (h E,޼u֒l#1FTvOFfoARR>%6w(WRc 8DH5C:͠Rk!5?L]yr6@f@}L Y6=؃1vl״1wax >$GAnM~}7?G?P?W9<⢔ԇl|@ˉvD˙{>uaʂzC%' a3j^(j' /ݘHHv=ؒvJiu9| S?\eM;~+j}KNBFe_7OMϴUpg&E84ޟ12p oU8wE`KHjCp*%j@h2[Qx`3+ ,ڗ Bwhf=XVK6E!cE1WQWfK ]/ @?׍pxi6hjVmKt+.,(L0tˆBx퇠wtV%ƻ-8eHyy%S~[W^a qN+lZ6J[KeYF vH8 xMNui.0QȝKNR`q No Yލ6 9%^Эz: L^/JSdu[CaMGD,a 詶k*8)!.=jJ^\P|E/F“w;? fԠ0u}B 8d՘ùx ܀ǹ#]억YPQ,uؒDJպDHHLMGqqcܺA#L@C e!h (C5,ɬ3WԸΎ< pop?KlZ6$Oyt%*>e!Kn+}}\/p|?Yw6rE5;"p1IQ? G$9J#ͼ΋2Mra{"ʠy&P_;b( mhKΣQxvX%XOU#tMRH%dXBd: ӶDf?tRu8m婖`ot(5YXף?mH@uoQ!mCm+X촲3c,3#\|S4.uX/3ȱ~ĺpV5o 1XsPC;y#bjV.f'UUy 4rKm! ^&0LK /#*-W5\[2-+},OH.8P74ҩxv8TZ5H;i9^uqŠUh}3k#ȟt8`)-i%>磍==Ԧf?e~wC_Gr]OUPWf͆ ܈&CT6q$lGX5\t0ĶQ*p1GI ȂUȟ )X*.zmzZt}x_14ጾ7-(?pW 45yp75kj_p(Pȷ 4QXo//򡦣F2=g`)bgp7T7pGd]J) ga{C;'Vpz M5վᘰ砓tx v:Z!AyQJ@ɟv ::5:gEAo A(kfxʖ'tT&_(]w{%{+*;/v Z-?Si d_hdQ$eBR'՟ `CQWj\ꞔ1[A)Wzæ$G )#hٓElg`-il#xt >U[{,2,^#9^ ehJ4pjy?ũ 8rIGY]tӤNtKzvʡ}=vnĮw$}ᷠqU v ڶD9qݯ*d`m1٥23i9  J՜j2f-뉓TL"w# s$gAibb|/i2E]`-gH),HSfm`qyp~. Cd2UsGzAiDNNiFמv| A|A]w鎽0;)EWWS拴@x?'!,?soԂ4(  2 (y)d j>f.!:쥚;"iE:c{q :nb~,Wo1Fq1iGOVe\,+bLJJx).k+~p5xx$_gJS{5`|)tuvE}%L88X~Th ;~Fb$o7~yAW㸍pj7).Ϝ?d3a]}Ee #@_'ܲ=%/̒UeFfHSbN#Z.ftuG;WQV(SMwVs$;f#(±!@u14Z![+ܚ2lh0 E^{00NY8AmWeoxpssK,wӄWC %yfY8Țv^=_ۣ4M"'Ƹ YfĪ+`A-*Eh 0|Uڒ߇G%"[ϦVxȢ :1N" 4n 6 񰙜Q $3&H{ggk;$ΰ6Q+iLۣi.<:[2\^Hj&v\^q~9O GNI0յ|@S߈SJ/-)⾽ӢpP7rJ 4;LzeEѧO CP_+ \D `Ɋ:Oj\leW_]FۖRx>'1J;гk BP=봗㲃)gȇ>̛v9SCMʍ,jv[v`^KO%^( F2Zje^6d*w!|UeR;i6)OJL: X/ %lA9ZBOgy*ڣ^j-=vϭkYgsЮ剣I/n^{7U +:L6ےo#[sO8PPw'x;z BkےfiN̯HO](+[__e\rDP< jtMd*TWAubI/mOmMu: q\6_\KuH#x1|qBaD1>NSw!^s_ "B'w"|eɜ48_\-ne*mk1$B51(l$i$H;J_Xg'HL3ղPg\bzv|fnP8mruwFpΈInf6b])]X0m4٭x¹?#b!ؐXnIOjem:020*8mU w D,4 ]6Dosyb9em&h[2 .hIJ>L&b[* ʴe{-}*|U믹^"j-d! :|lf/ˎ&%mtDs{ (ê0`ۊ6L24&ez|р:)=-$" v FxLJNЪ2 ^!+vɞ9\[zhaq+*_脝&7:F]0n"1_޵"EtP%k0RFĔd0I[YNmoSy?L(GgQϱYsߛ̫7y|WL)۸ŏ9*"Sj!SïV!⡥£ _]~h**pw2_b&_74p?b&h~0UwOoO@v:?g.p:T;"&D0y OWgrM`I4i:P?W8(SXPrv?(H񏨥~0ij~)/$ʧaFXЍgm Y5vc%l.7#s<41[¦GpcHNI AMW3MG7/>HN|MRZ9˲Cb^_5v @R|t("@?g"1˜/Cb –dh-$ )ɩTuIkyw +:ּK`5zم-X|@I1f?Xy9-A:@Mt^XEYna0~[A|eFϥF~̤^$M oI7P厃 (< g_܃)_bZ[$9dWczd Hq1mo_Xy)Zg=Q]u*$]ɅXe]nw,{꠹q[K ^>{""E,-믿2)M^՜rζRiYui7Z6{k!gI=lgTi2|*O{Fht8!V |)/9y1֛7 i+tLlh*=:BT#^!$gk.=6Pl(5Rn(! o {@O>S3)Ve^e/{+T r.yGBx#Vrl!SOT)"-_A#8)3q^JVRAjh?CMi%u:{}gc^'[}*v,jI6 :^)/͵%ZN ?^fDZ0`6pУy\Yr'Q(^V@cA>,Kmk3{ BFr7YDxbmfZ'w.1hZSK`Vp,Y5GZh$WTKPw(S@KR Vc_݈MΨJ2ob>Bh3FOP2jIVc8_)"~y)JsF@H'>6}-+Rz4(.uS ϱy:2ٙ=m Q۠:"3Qˤ})MXg ;< Ֆ{*S›ƼWYڲ uw$dga Xd)jۡիI5"EoU{0*NUIlSN.]SG_pk&``<ƨ4 oIt: i̱Rw:)=hg-r nvB- lwьd,b.ď*BmJ֒~y~ݠ{;Igi'jL!ms#+Xk7bګ7nh5΋7uG& _"1N 7+cjO P%`Đ!*?^11.k,C® < *5ӵȫ9Z:$']'G0YT3z!kc֛OԔw71+M0T8hz2^qj08.?u6pIMb:K)}F-Ҫr݌Amamق8!u XV,:آ92f.P.'x!l1[È]b:•,ݭqaGSik] %}b6YG8w,:dQ&={BGaN9#fQn`J0qMW7fuii`BDR[)Ϗ7x#cs鄝}6-Rbe*S:WXt]Mh'ytPd5>#XŎ{8tѣu7EJvnagރO±uW5cS?F:G׹p A 7l\fGr%UDd浖' /@L_mheQ84b^/?-?]^jWw)ktG'TSz;,'Si]8pFB<3~o}qu)@[kO!ޯLpsz( M}- `V̤SVSdr .[W-HS&biUlSp)l1V*IqHhndfi2)`4 }?:}nj¬qgZKhj'kIvz:p}0lNGп_DT/B*TtvZ]\Ng0dEW1^;/~ryU G[rCd,AX(GlZR?$7@jt#bG* V1`L~G9|0L5c|CWYm$ Ij}+&"piKoZV=]nGܢddϩ D؋+>JW ?uWi0MoֿQvkIbzO!n.$PXIFo=B^]bt|zT!_4wָ1-;kp+ҝB~:CBpo>gX~M`K^L vF _}w)"'_H-i5HPu%1~JX;fQ4 Cr xߞeb}NSZ' L7ʪJ"Vԣ6&=Ib}*$7d󍁅q1~I{gV H-B4VlĘywb;!LIjx'"C6~:) lfgKܭl&^[啤r#th$.P>Lq~>ӹdLN%O{cw7xGN +4_Rg:vi̥2Qo'`[#4 ɑ+T*=qny A=.D! S)y (~gZU%t~*Fkc.N|ZuCtzpiwbqحĬ6z묆0ޑV+O$ ;u"3y6 F],':P7'|QdI\ΣQAYͮz?jGD'D_=ر ȷХB V iXfoa "P }x/Hj?KW1]6:h^7Mڂ*}*g>Nh`O.+e 5-mw9R̥PZ]G[FFcrN6>ڕsFǐw4d?Ðٷ\ށ@ԓd'הjLR-Z+EIG\zT :*â=+! A:ECjǔ KT]ާO!T KB){AyoRmTʣ*3xc4BCю;)̧^;F]xV{yTv[HverK/9%2{-BA@j?"#jIF=EJ˯Ae~~im< 5e*="&fVxN,6P@pAmPUl E ѿ1.ʮ1jU)\ UY$ F7ibЇ09^JNN_=`EikZZL $eI ˮ) H#ҕ%;?n҄*fG#Vh+pϢAUm$*)97 b_+; ΙRA?LJUT>ɧZk57#)HPm:ٝ=?o{);VK:p?<$S¦U|zbl(quL(pU.X *{up-V,yy ҿx~)eXQn?84YO:Q~QڝmV]saG`@Z}-4EVI'Jap7|2.JH溔QSȅp3wyTJ6`ŠhS)żdw>{f^j، [*FE>}e^PC1lqhd\4e`FZ̕muQ Xf*r%z2M$Hz5؆hqieP#ùhZ̦x"@R,L+gcLst`DEog#6c1d)e榳h9$ қ5n06tz{Yް,Odp[:UG[J&w5EC6n@WVnnj@hb= bώTǀsC%m!`cذr 䖬'7K?}\=VtDy fyݝYsh)VR9$kBЅf4)w'E=RCܶ% MOh&PLu.9Qy}|f)C¥d뢍ώ dlGs ߆qnl iS?;,Jo\6; 󀏍S~Y^EM^r̙_ &Ut*#lx~I`RU^) ĿW }\=4]Gkv=27`}%5&Wg'[ɂ|ˑPCƭ fGIJ!jtM2jMJe..&V琸C|ȷ"E'ReTIG(hh{.JM.Iq:& jS/zx z¡%:$Оhxm^u1"zi9ӓvh#zr_鵑ã/JQ3.q2_q|#l?{W?](& 0( >/aD؀3UN;0hnJW hgDPVSS 2eߋY])q9բ}#eiE}؇Mhފ׍@Ŕ.joZH$O#xknW]Modܩ#Ѧe(HI-#R.עoyGbn&F~|I8 iOuZ0-uZm԰V2sqA:Vj+Jf,J"0!1wF|f$DM1~to Mc>ǵlk_:$Z۲(FQCIL꟔{po~;6dЏڛi-tdm P*)*Aq:\r/h婞dIeO #_4|t/ %a“,dK~_q r105I[zXcf6;;gޅKngdzA/]Q nWbַ8p1CsID; i^hj;L[P>icDg9JdŭQVA]6D KdԈF80Uǝx4϶#GA~[yǪom緣Šʛc{p9qt[8RT5[/ "BR&3X~D#‰P Q{= m!@i)/=_e@pݿ^eˊ@hRh+{#RtNCjdds *RK*O%m$9pFH_+uJtFڷJwG3%Kf̈<| ڶޛ=4'jsV_pgf*bwύ=~8u2lOO5!`Z3veWu$EUeQŰJq^"xWt;m6׏~[`+Ǝ}B z?5^9Rȣ׃Kr[Q:>MI%ݦX  f!-a ?HNUңMse&KSMY57=btO>g| ࿄PmVACFjd\( ϑ[σ#f^)(X̉KÄn]|5mIB0 =(E޼D%jN*GԿɕs w-%Ŗ~UʮS|^G,C{Fœ1J 1w=Ludv|@LJ,Q]X>H!F' 1%$'oyF ,\Q5hBZ_ - ZZ]V@@NАhx(ưV 4Hhd.ҊJNl_Icyh.%bVU߀V:.sPIe~}~΃/1Υd#@FEm!WLX#2;=d}z4z ]}xw?x[r M=DΒA~M a̺kL)LYN<#WJ븯1C?+rjhd\NEΈ pX bUBN[fo [Ĩsޗv_ ),V2~P յ٩Ny$Bh~?6\\n$7WZ n/v(s-/@wR1%6mZbIp`6U:T+u|F3҃s`%(khMDǃˀ4m6析xyy4$Z YPٌy߬!h#3&C]dOg1s"~5(55ܷ3S6?~z6ta4͕ͯB=FMO/04/P ɋǀrv`BY2} $(i+6Ý,3(p>.`(Jp)"lH#M貾siC_ZH:Z.1法/~F{?o"Y?EN ovyb@s/\Y]Z:7x%l3ͷv#`"5-}?Dt/Bu U.զgsHp=OdI'ʻHʭ)~ >>؝9)"ݪ 9v)W_|Iݩ6"n)`%Wo&ϒtF+w4朌"!ܢ`:S%9IR\]7{B߰ \6OpU5e,vgjڔBVƉD-)lk'yFm 'l1kpoiPfo\Ad?ODLewmUϤƙql0` ICOJI,W9iҗme}̚)8MW+]}-,LQ3kdZQBğ"h/̻NmD%3HQ+0+XX)j 8SD~5̏Sd,d>vyyqPʟudf?[kHb6%8?^a8CQ cWleT~ q:f.7Vt7 Dvhrs8T1VB G@4KA2iDϯF/0@3ܙ,j'e(^*RCk,v-B?'~t*ޞp}jzFC֯e>xd𾚊de焼zJe^ װp(8tOkIt[wo$hs%0[E>a8 T㦠p9~$c뭞PL/K+ypHΛ٢ACx}9l* ~aQKHҟ닓S 0syTԨEEڶasNϚM(G{p( bg3ĵ:Kȇ\(2dNC1rst;`)&ͼ 7lec6h)щuQF{"?ղC1.qy1{ ]"zwaFuEUq3WÛ:)\sS2q4atG6s4BAv'މe\' Yޮ'=@58>yeZ8 dxxa_SժǿPa&3 w#B)&S>O4|1J _@,T귾&|hC$;Vy Ϸ ΌI9'8^ԒlDYTV3f#:=G^ '8uzjp"fo5K%qvdvCb5%` T9W$G? PY/@[q_ ώ[WDNa&(}D%Y$$ԠXUSӕU6 -`f_H/sEO&V%x65Rg1TcFgȪ'JuG@rnqJŃ@ԁt "9NXa7s*f!):޻ZlDlhz"_?qϔF=p@dG~wVRYaO[ gֆ8)3p$])(%uN]"{s <:F2+_K lПxluY~&F>iض^m箪{_^\NC}#ςy^CS|}P.:JuΎ62"+MH ҩ$ Hw{'uoWD[Pȁ nlR_]\234#ƣHAw~>rUJRM(M`{);eoތ819x=2r@]Đ#M݆~)yMPb? )8 j,`XmqR?aR$2z﯋+B 'YCvmSy9M"k1V2RPebJ2X˔l3ORt}.#0$S`#%K 9rCKt">Ư^rh܆QNf5? ΢EQt)ȵ<@l1HyQ8m]մe iZ\fSôF[A'r3jjnةzؐj;TkD,#ⵏvB'S\0-|JxSyu[RH-!uݛ8N$mxbVv%cJ-YU)c04jSb.$@lú 3Z1e;TcU ^20bSHz gT ѡNjM,qwor׈Og8 $?vpxܲ![o'yEԕ>iOIO9MK?kNIa]gⶡyMYm^AM?AԂ V8 1r10asnyq^Dfd556F6đ3'˾m87ۃ^F/W1hoqU|Er^䆂FEQPx7xv-e&FD&ZAPd*Z#m?Q[@k]*ҥ G],25\1B7| @ ]g֣21xIP\~ 4VZI5wi{m#!d,:T;HU^<؄C`pVr!5i\h{MoSӒ_vKr7?ev %[}$nG6K}GUc1יqvbv}`m9,au:[ӨT\8$We>cgW\`ț݁ǿJ5Vּ{RǺd18?]ѱ DJ$q:k]زS¬oČ3Ni(1_r 0p gB`12.~Ao m!h!RxJ~bv,㟌*+*SՑES^BElHCY&4DI #ΙS<,8vTJ4?pn&Q읐yz/J84h_Rf?9w(- cxջ~ &YG ̗e@@=KdqXaIIqqd E22Mqf5cRT\v(߳f_M\X>yGVR ICmCUdGhI*ɸb۩$ddgOh"xpgYZ3088d160c87266ff5442513b1067a6ce2064ec9587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf11042ebfb8e12db5c357d2fbf31d441b9ef10ddf20c