SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 #, S]Collections:threads=2elapsed=338.593cpu=600.172gc=44.260factor=1.777zXZִF! C1n]ŗXf1-q恈͐7ӺV WQ=)"jݻYS]1=E1?kzS$G,~TiB [,5y lga܃P*б(sMTz.LLkryh@ygGcLoFfSņ[V93xD g9q E2AzzJTNh%oؘJHG31!]2xaN}X vEʨJi|7i+`Z:%u'3qdۜ(% '$:05#RMu QRlxO5a`V'Zގ{i˯fCC`Q" X}fJ_5b]uLM 쁇OwQmZCK.Uߞ@7 + zXZAW}jv_>•!.gy}Oʻ~9LZ JJi;NRGum䱝Lityʺ+Ǝ-(nJr /M!OQ; %Cϭ-h{Svuv|̈eeW$Q=^ĕd k؃3 | Z?-P}bClWk~Sh ړd'ZQtz{#OWx  /[?T8&! x 4:z j`@z=zZOHƷSYNP^;̆,=@dA Z 7\Y̽XKdf@&4y"  "o<ԁnC!Gq":~W]RRwtEz>;:onFs2Ľ4]+pGPm|>W4X e?'EC+ub|\6ΗwaKM^ < ̑P0F?NL{"Ez6V>M>eTPCUBS>^H6YZ=7I)-.n'Q!M&gHJ=l\Z[MKth\Z6]dZbA&'4a.ƺQ ӥ蕗b̖n&0% Zex?`C5m2,2>b#^;мQ}DHTC+Ϛaig1SCܡ!-r+Iv]8KI}Nb|loE H;ҿE@%Mi.Ѓ%!hs8> mK)45 vȶQ@~J!RɊ>p(x%O1Aͽՠh`J<[nAngǦGm9k}@#~}nbs/)m-T}pEzM<|Lʧf TQ(3s5E9Tim5!ZSL}ݙh1Xw+>SF饬GI欴PҮ%c;.GO`eP{y=FcS2? ȕ[.zAc1T~9j?hlK?RF%٤pP^d\ c}w|P|A\kR;?ku""]~~Ocn>}^mFP6c&lǚ rb9Ewp vߑ w:4H]-PZSj~7<ɟ)#^2rv X!`NSHΏ~ľ`*HΧ1Oyܽ嘏C̴<@5Cv*&!}(޻Jl1.tKO!nI$Bbw󽣮D)E_C'wz tҬEhyCb lnükU"]Wd]c1Ddwn׍vU 埆V;OGZ'<%{j/fp/齹HW~'LՈ?hN)wOZ#䧄40`܏iXhC憀rN>3LF廗հhc/,ZBН=Pz u3*qJX>>B$"wvu}TkK֧y'|&d:L+ ֙':ȷASM2̉e lT? # Collectionse.3p% /%c]2j6cC޷6h^l(;HiqAq<6eFqjOK$ad#qKb'1b2F]]M;,ʽie;tS+٨!4LIz^jIUb$$!.ֿxO-1oY{Qt9dh0c[9h.Z7 ;FpEeڴ>6@g4'={Q7&>+].=Im5y2܂ai9PH{(}UH-04Xpunc{*+Uu$^G3?i }i z!}]H\o0VMt2xϕ̞/Vo#۸B*2aq˟ i-R7BAwPؠN}jIEV7p6rGK(yhS $I~1)$a 9o@ pʹ'=K"`O<1dSaӄlapN iqLj JNw>瑶pg_^ ܤKL(8'jaɻs mB 1RHKAA5'ʢZIP(J-d3[F-_h"bpze“9F}Oo,L'>n^T>j|08fLY+t=b Qk5&ܨdbt9{j 0.vU跫Hf|RI1\o\ޝR'yj`̜`|: K@)*q&83~+ȠXoZ.E+~Mx&4Ӏ"Tm rCI#V(V|;G(.27JRlۖ%qrOٰX謚a+5=$ŌMh;_=w,&'d^I{GqN|*riPHKpjrR=vvQbmר }l1W7+,US~I7lC >΁cH_46 CS S1dêHˋZ-^w٭W[;Ӧ+@#4n=/ ۥZGt(&ofOߎ-?2۷!Caiǹ]]ϴm1%{T0i&剏¼-.}89V[$gm.I ]xcI-.zQjcZ[0W<,H*[ITUXv{Rq-Br@ 6ϪyE ˈts3{<% XSGJZPW7f>L_ԯ7HvIĴm'heWfG%xEKV]<${]f Ǭ1X##Qp/$D%5wA^'JH3:qsZm3eYOb.W#8z37&d'憍M:t|ItfEp<6+ yk)eVL/8Ge {AO`׎J %a~BsGv 4Q)V_9y}GK2Bߗt{] "Vx!psKMjy)p;/Qy >ߕ\իme?Rt<ߺ?VK}MEd+'Mٸ4iA)9K#)p`_}6.Dkn[(⦆&˽*L+OqȮO.7Ν,Q1qgtjMأp4KBd5b @C%}gֳ%LzGo3I+iS9k0}P|rf(VAʻŀU`'9b42k5`O^-#!b~ǹZbd=Vɑܫ (Ḏjm/5lA)tvl}juE:N5Nx#t-R=tAd~65rc /{kFc%uEOa@fnߴz(ĸ Gh# @4g'$FsSTT<~5D X+bNna2L9,$/z!mF([fJoƃ5-(hO?=FM!z4=rs+,|9]S*HnT s!^&D|z#(蛱IWWIzu 1o׽ڥA܊\J^``^Ony?w|C#0 &s'NVѬ{\A|?SlƵmQTw7NQϛO,ݚ H.f9~(uoQA^fHb-*MY=aB]7(20_SpZbR:?K{e \G z$9#X0"D ?aTREY7Wh`̏h⠷vʕ).^z%b ntE\e15@ *.UsUAoW8E{+# _+"Ľe'r!^wKn! =/J@$ ϗ\yVB%O^?CKspr߮zӼGRSa}K>o;+ѹ-7M>#si(@z_F'I#ohr" e¿PSeMHHcte|0C Ex1.F\B郆\v}N) >vRP3YњkbͅBR--A;,QD1Yx? )z;X"O1]#68+A1A`dL_fkVqV@eQeH(=mq8Dg p^q F_s8 ܒώYxÓK&UT/2ַ1c,0~;_u::p%Q$HPdZ΂a5#k=2EwNI| پ;_omwc"yS?3ۍ@dbR79ڨjJ:*4miv T <˲tu\rVu98U{`XzwZPvBJ|o5z>aggL&lc TDYw{[(ӷalw]+ja& "8Xڰb2ØrുQO*mNud?gj(G>Y.N8Z/.CBʸ^jw0wS^MAT/BJU UTxKs%`/~LcI~lFݛ|d0x\Nz&lo8RP;aU}*=kQ#[vnQoE!8[ q<U죹ߛ`v`7:v^?-7bՒ#uXdL߁5+rBn$l{K-'*0HEinhMRrk+;ʆ[DYNQ %F:\jiyMMC%%% w[/03_0\Zc1͖aaqT%0[aOɎO)3e<6[y ``k/wo֘_gqi!݉ueMpI2P>բfz&?$JIlK\wp^eObWQ}'xO[z UO4)oSȞk|Lr-iQzmm22x|j }]lCM@UTY2`miO0E P-~34Vj85A&"#쥭rfx3>eiX|5P~ɉUgl/0ϹͿ=ZEuϘy7iLrk6#G)_ MnA1Y9p{zzFlG("ejix8ڒ Nͻs`2V!Sߺ@˪Ԓ;:vt.p~^=xI1%~iu%QP6cW'5tLgТ]"JStB+X3Q{䎢ը)Zy?1k,2:;G5Ny]dfj)w WyU]8N֍Ei_Na8$Nsc!,LW NHmJ)mNy- &c!n3gDгZj|?RvZ$(?+l x_a@yfI7rr)IOB5ng($ t +?XWsʲyYۯ̀_TNouwؓ5#]|Y^W\>ֈ1}PuR x ɼd 2漝c$mP "˕I_CR+mHPw{0VH&!Nkk}v}[L"Fc#͝^~.*OKƕCʎH7wں%zT٘H 0V䡏JfEX,<\\ZH:,#my"6~.%!. Gsd`|/X~LZwg&OE%:GKdX :WsNaK'$#h&Cd85sI5p͞0TXOz^Iw5>ŘVzd;}0*LswWn jK}:]T,yrEF4/C11|!.YXہJeǫZZCW ԌB̦3'!n87Z YZp0bGTgqhijNUҪ :7A ݛwN ^݅#Tx{gip.plخ$UgkRy=5SxQc,bf5cI-n`?]db1Yl t>waoMuuTM3܌8`v__&ydl]+oYt `$AQt,6cWnwD/{oIWٟ?_~W2PGg KG3`YGKr^Yy,?OOě^0 G/E_]oK߿>.i»v !(PO.o-Zs"'uݍFabwJgcȢGaާp!|Sj[ǹPk C^M_:@OkX{Qsg(דy8iR_v"ņ[ƌp6Ҋ٪d3 %E Lo ri>y<¼v*SK/[4mT~/#M_z9F10PLjZ.mjׅ ղNO H?|{EPI0,1Zڕe~(OP>ԇœ ifH*avy&཰bi>6fo#;hI 4_=889Vr})'N}g=gadFWmc6K^ 9궉z^prx --jF/f`Ebj<5EƉCi#=M{ ݌3EJ_}IFqr*+&V!]YLQ:8 z0{]R}u;ހ(UKه; <F [T[Ha_I&찅47sze)T> Iuvd r0ѽi,f_;v|S[f۔; WN@H9WU=ͷgm?(NI2Ր'b<=79!зvlkenryo& pp;' KMB"D-wG( G]^[$TL@l:#)f̷$H/0۶DrQ֩n P=dˢ̛V8~Y~0"#fx2ָ8jh&>w0EV^Y5;*!x-@^R-9_?@O[ Yc4 Uoe[;ЛDRЂ<- :x& _y ZyGa =TBikWD5T |@GTX5AsHjNyUlL5AT\QQ5N ULHQZ|^ `P%a"`gڽ"\EJ*袄!w ȾPL [}㧬: F\ t2iVPf=_%Tb'D9YU_Ί8Jv%`zs H92 nvVm]:}'~2RzKDr94]Ż}òM+T*u:- \7,~w4)E5_u 3w?VC3EC:ߙfRPg13`z6-s|ݏT1gĿXHBvïrA9|WC0!bf_%Lȑq0OL#/l(P>jM -ay2?; zGWn!-* |.HkSd#: ӻ5qq\v7b3-^b#͘L#V=qbsEFm?zT\U4 äٻ<: V$4Cw (M~8oycv-&uNH&)Z5YX18\s+ϲ &Ɓ|DB:a`|93֡bwfQ@y|贏D!b{JiRk2#?f7飔-CDRmRVF=>.Yh<<'4s;N@ oatM 4o}70 o[y^.+-Mrٹ9nxP.*ď*j\kHs{5rҵb]~+݅֙}$Gڠ@R15o>k޽fD!al<+ ?Q-K+S>zG7I_#&Z gc9 T$E'@D?w҆82 bY0\dʯ^g(S) wK Y Vi2̓ޑA)h\g_?_u*T> >Z> }eB_E&V+SZ <&g3횶6a4 54 s)Spժ67VTg 6a+j6vʮFfN,@8#KG(4"|G{ yoN#`!jr/[5+yսCL*_mM- S٬lʫaop$cq'&N񳿪oD˫#m޹G'hg|'6fWrbrn`y qWIIV;>'{3rUm`STF@[%aV)7r(D#4Ƥ>.YMr|=Kl ;I-Ѿ wVXߨλ1)uTr٠Hd g3&6n'k_ghU\/p`Ԏ6?F&&Ny aP9ωY>2}]-weG ;I͟ٷ1a)b(D u1Z1b\ _{RRʲ&H-{G4f uC&kuϓ85{Ni9Й(E!uV&ܻql2zT.q#Ϙ=i IJ#ֲ{FxG{ˆRtTg[tI!^';2 p, E  jE7jW1;iy+UqںdhCLp7M?mA~W7e1->e .5yݻ,/*I4Z_'JqX9uMi 1Cpc:]Txbk"5'^aS{R`[1xkRMV.=L}g[sLB9?sx1=FՑtItRWE|p ^6 Q#8L<VRpڦ HbAwqZ䌫ZEƙ@.߳pqԪ}@/<'Nu"+%9W>L./3ɦ;k,ce?)@ s Q3y_=mm:(]:-Z59SE {3eìζ= 5kҜX(v~sUT/ZsL9p/:Q=H(=?(ۜ!ѳl̟tZinjj5oZЖY)Qh%7 =EeCtYՋ~¶lWgi'T6d 46t˥42¿>2TQY&[E#]*)Z]8~ZM>2J;LK~?HWt'*w'$ՄITHSVϛo ~> ˯d/q o6߇wPSQ+McV!Di5-ksXv6߿#̳ ǵoع ltlXOC-L|eIJuI¡Fz︻[";[iɤBc# NN F'ΐy ;0¼[t2Rf5Lzj6AZ󰿞Uy"'&;4^R?X,hE}uYB7 ,oux}Qu@ CxoXW+L͍I i_HCTu=d{[(,AKm w$ YaC)}W}oyuZ :EPtëޛ =BR&Bd̓}-\NИ SJ`HB~LʋIXw,L%ˡf-n:1'G>TF3<`>,|Xk Y*03\o]m񤎐O9$׻f''>S)i19hb%I# ^֔;A!:ܾq9Qn 1$ʾu.<{Z,&K08#^kB߽b*bbzdiSns8U R}{og Rirh26Xq:r5vRjk+h,"K;&ɜj2/3%Gg8@ʉ}[Bs^%_P];1!2D}P,m Yy i Q<:z9 үqWhlpsi/S2mغabcO2߱dXvG{'ř&]@K&7[K^W:׺,gnZ_H E2BM:Sѭz+=6ݔMn% >r_Nfxʰ!W"F58;[&tiS =evyjU_KN9tHvԉU)%2GZINDŽσ&ʼ̏brri;6`'tRߜGN@c8l)]t%%[l|?mxx7P qfGȗ[yAΓ)b쨄Js}K6Ku*DE=|aAr ѢE ,|LmpIٚg٧| ]D#EB'|7$b4!]Ğ <:`|]s~ZHt')Q]qdNw)ϊ(6A]^ &!d֋(~ R(& ա"d =yn)?!8-R W5؋e'7;&.9oZ1aOe נ5wQ"}n܎vQ7{-^J#H/1.A߆˔E !Yk:bzgǕ;+*䓳z1^q5Bn8F1UE$-fȹsQ9ųM P,1+3 oV`؝4Rͽ@XiIf)p 7ڟ7=@ݦ'ȫesi#+v'ڃy[EkkTNX{u+A[4*Q~VJrb׬XWUݒK8IAe =DIuhFmPE Sb&ߡ@!F8 R J(Yds"sD",O5Z񭸬 M gq8O:%ќOiug MVO>p{~OV3y5}-1kG䯎v:j1̐ {S(_`FD/ٺJ.蠩* ,:0Q8 n@oxҠڇnp{KXbp4AHeZ3h0RJWBi}36 _8q[H1^(J$48Lx"E B_P|/^8s GC@Tץ"]`(-ȍ@o`#(L 8mOIa~@e̖wNka`dQ=2L'm|څ- w3||u$G  _jk.슊(AZ\'1A3P7hƪZ_~CT+6z:42P[|=,o Pafg^|+h<@c`aH!'rL[C2o4֬7>@ȋ΁EPP9Qz +" .?4!<œ㩅 >]roq4 :D4L5eB0IQŦ4s29 ;fv y-U&>dtMƶ@@֤~1he1۹N_w7@sѬddXv=ܒw@unh̺GzI(k1pe L< alиy&KPJ87PӄE#nH/hrgFЋKZyy=:W3 W-WWHEߔ–͗5c4E/"D| Dˠ\_m'g+{5-kY0p%!!ZZМaI'Jn[ *U&t4VrޓP :]e PQOU%dŖZz3u.`fPiT@ҝf>1X9b b]?ᖼ,MR*ǀwp0s!\PjiHM9;XlD"} On|L#RYuqx=Mڒ/؎hwv{닀ruƔ|v@q8=@J*Ce\ĝC%~Wl15/Ա/ f|컪#A<3dY]kك3ފ1:]kD:OK|:(ꀬRكmGzrEn:bܖě|k$@zpNg@-lQ<ñf; \*Y>8&_GD%ěE2GgiDҠ'a fo%*};bc<'a`E"hqEGd]ܳi,rGɐĆsl/^8#K\ 溽`Xӆ8q{;Δ8e.(,iM/ ˻̻1yOKqh4Ey W"yFGf{Z΂o[Ԣ1_z/%!pE-'Ed2܄lK$xJ6]M8VLs%7YQpI<GH-wNIxkȣCm0gJl8M}2:yqrσnⲄ1Z M*Aɜ ~"y]ĞsBL;W5<+f_B?D9'i<|B֮=s &0!zW B۔|j|,ah\?m?YbhT6s4՚Z fnK"(R Օ ) F]oŠ"2 ẏS,S~׍&#E2ju~ Dvqˁ-u!9G-(&[L?S}:ƻb3`hf eiX_?4皻8%*zev;)jJouR$G*‹륜K"H*x(29ea=iPf $2t :fL$m6blծC^3kqR]G !@S7ߥxa+g~v|2=ﰔ^Ԋͧ l#Ԛ-׆aSS&I ly\,Z H[#]I\U;3<LD+ߗ{ H$ |587pMR1G©y].\A`(nq*l tPag$8W)癫XPw~^tMdžF#G#du|Bܖ5"`~^]A~Wh?{u՚h%L |"wP[ M~"ef&3@&WDM)[ܘ]x8Xkm1RO+Lʎ-c@l5xTtM]iN[")6l5a@>8kFXFkoӡV_se?vL3x JjMXE4`>dƤޛp"a΍XA\'Thاڎrlahq񮃲L퉪eb vu DtXŭL]@|0qQfזxN05Q EDI :Bn>P ;e=ܶb1(<^g.-/c]7Ep,ms{ׯdXPɭeV0o;J{'l=00gXFVA?:V˯Y 1 *-Co3i*I?0ж &Y-l0Gï jn&5-bA!YV[lחyj^:i]zNLIC; U @/+ܾ7@VU[|AANcC?BmxhWՉ} nԷŢn |E ,kd~Qఢ_SNH쒮E I,("w {Ci(|zѴgfv ߋ1A0H;IN&0@ eל1zHh[1 U[}'pLinLyAG*} (5tR-!R X28SHBA ;ec^ hՕVmة}\`Wfl|V&s*HZfE/#~'In tWM /c" q"Ä2cٖ;0.ejP+ŕ`c3>O|kE)N[oCgR.(W!agK2m~M5nؼ9;H@'pylP?ec/gڿ-MN#7zlZ;\B<7BXcc-iڦ>'<{MgS@9v6W<;g^Mꐼ' #Kpngqッ@р6r·'{aV?X EREG'ȫpN!?~)WB;en;?ˆ/B 6~ߺ+wyYp_l 9|Rdձ$!t6r}QV |ѰSaKHd([R"KcͮݰGllo N"hRd`6"Q:YqO0>NdIN+2x8뎽NJ@50v#x Pyq`+o㤦I\PBըzulO 3$yh4^QǤ3w_%nXSBWQ[w5+Vm_eY 1bwǾX9'nn-ʶV俍I!^)T!LgI<#RV{'kdt&g^24VzގR:1 }I͜ *d JHXۻH3p :Se\~~.U{6khm]EnS k헞'`6r gt^$G"q643ݓq~[oj˥&J8gup(~Py|3#Q#S!qˊ톈jA_kwW4f8g3:oK\*f}oГKK lkRWnZ PMwh!w^fM_IR3 &&6DOWɃk%?[?v#%QnKfWpw/9G6 %4Fooͥގ[RwTQ8CVk!@JjN贕liwikGȹS{?Q\icy*7ŚvmwOYWY쇜=yǝ!9'^eA!AxBDEב2 hf`xEPkyт7D2\%UUۯ#ݷt;Ql%j=ZO7o>ۇ7 0n:t`LȒ uQ~BĽ Ll9G'LM,*}ƔR 4썔?vlqwVA` t.{V}`xuea号z53rčP&jua%lyڳP4-,lCuC =&q8Y/ ftw`btׁ0wEQ5H@<"#uuQCG̟Z2+;WIЈnN@)RZ;ׂȭ3uқ?=RC!\QMi!ہx1|5"kGH;QWƹ'nf4 pF.hY#9FI.wX(Ja 50񆇮[=廊z-UG,c-6 <7Ղ6A WIyK,@X+ x;-)T#)P)[\ Xpa< }(|8x^CATۭsn9&"` pVYCϟ#c#u=%595=# $٥;`e߯9]zn$JSPq@H)~Ҙ S{lFdJȟN'n:2|xC|l떧҈_,\!7” ZeZՕMRYG)!XUvk}g .|VxM{236r>FRnӵ):>~6J.jF)x7ZqFbfVJ[|__(㒌kލ yBL$k43 B]+}l(WoxF?8Li#ǥ$89 8Cz(Q/`J Wx3Kz76},LlbueW(ۃr@E{&0džʞݲସ9@sl%z2a7('GG1})xVw"PRzQEmpsy=gkX وt]3#Mw5Y8 )aU1ZXkSUU QJ3{sz}~ uth*d#?dDQ{:)O+Fd c U"p5-r0gN- ɞW Ds DԔj439jZ-S|volGf Q;kRFN$'lDZ6an1I ]E U"d үp^.>>md2a1+F$ KX?J| dOR3?u`*+Mφ$B㔰4\, \dӅ+isYnېpf52 m)d pZi*S1'0\` C3-<”nϰ'Cv2nL dG^ ˻kPcNv@:/ H<ƨ,cGD?zX0w.=vJ2`:ĕ ir-u;*nvۇf58g!hokE`qކf,>fDc1L(^3),PU`t+;Gk\sojߘwn](V%-jp4f;zɹʩ:*ي%UvZCȬ~BPά gmpq/}7.oFt``T9"ĤZ/SO38 |Bh}>P@U5a ilIfsYΧBvo50x<۬۷ÝO-q`&Rq/l4#IO; Dp2.h>i֦e#N.eZWzLA K?+Fu1kd%+ό*WUD2w>5skH8d+3\x9D<ϹZWodX8kʸ=q<wϵ3QO  [5!4d $+|WqF@% vzFJ[/B\ۚlj!ˑj~J&{x]QY]R$3֒D#{vFכ3lS>j3\9uɜ郲ߐL:Lic÷oyDŽگ]1@-%({3i?flR4,&8Z߆EfR腂,đb$ߩRJxnB!&#VobASqv_6t3+RmYtK1 +4X3{Q[UO&񛊝BðxvY}gH n]ŁE)@|m% )nl*\K9UM5j..(I jbTfNxKr44M'$<"D6\پE8|Ѵ };?4o:1B <41cW~5X |L聣$7.<C?0(%.nI*kJk%TW̆5w `JIk$2=S$Ȕ_;q$EqQ*DLK2ӝeekv7zPuF$,1`+cwo*ݥ|߬OUWv>/=A>aOBTFO8W:=4JӂL~Ud861* 7jxk "AkEjk48 +|Tvǫy)A=EՓ3YG,bԿ-Z@Sa1 iJ:׸M_3+J2uW]>, g5ЃvJ]ei nRrj}}M(/rZYW?"8ᦉ[i^!z<]iB^&`%-^TcJf")TG۰0Z`c !$1@9f  %|҈Q _=hAYMҚ|?S/#%YwP./ԃ2?_:CЩ[mc" m]6,,8t ^)(դ63s?ʒ\OpfOt}9JoI.V:]Nc$whhoV2wg@Jt@O,7r*~AH'b%z-gOR!fuρ-P[Y}s ^i{\gU=DUחvo=!'UꞆ@VbN>Fgp𤶶%(Gć#~@' 4˭SirR~PpaaRowУ(2K) er7ӭ==ɰ*AUDsIkx)F&|b kS)8f:lYn(E_p퍥vWbuKλ|3 iuw_f'&Oyƛrwb0{v PHCITV jub158*!LVm_3 |(g;^)w#[Ӣt# GX u2tIZ>$}dA|8Boה\rO8hLY8qp=s9l A1ˀtۅqޢuu `"6‰R \aG4]?tij|ϿcIIC!u84ll[uw$z١fJ$7Bn?: SE!ſ[[@ ׍LzEt:E'woUj ml@Ɓa `*__ۇXnZj.{jJ;B' = (.{7b+ /zM,3k5]`R1]]N*BC>(ڴiK^ GaU yޑ4ER?j&#Dq!4KgppMX|h %+qb8. RPSXHjueLџ7}"CIEhb{ -hl-D!mJm}8tKqǺxzE9kfl[h8`yY+_dQ04l\$Śb531_Qńݗ s}"zٳ+@aIS;VU.[?T0BieM<5񲣟+):}ccDYιƭD!3Ғ`L&{㏨*5j_[:bhq }È%_ 9HQ)oK?w-ҏ~&i*__Q^km1-vg˃1/T= ԋDoy, ~r=L<=Vѽvy}C t0s402}s  P>[$~ Po=vɻ0@28 uaJF$/#Fd/an_(D.KnLuړش乒$X[;e3ۺZM -(? -$w(U#Z@gYZ7zXZִF! 䅝3]ŗXi%g#Vgq7^Qh z`r;S8&݉<+k>| Ala%Ix1Oğ-r1p@=~DGl*~Ė '9"av 6ZuLڌH6Xi? W{no>hͭJ#ɲNygw2YE+=s)>y@e| vE[5]7; xd^ U5(f1{QCE>wb7cy)QkA[[& hqٖHMjkEK`or;<}Ɩ VX!ϻ8DM+4L*_%p8=)M+ YVwt\JPpF8C ְ<ĥU!~}uV1dˍp.rB{(2$qv]_gp)?.b" ?Bx*w&$RODf`ڸs[x8ĵaϊMY). $,'&v}vCP(2fLE;q8w% BЛKC[h}1VD?T!P>OVV⋺Yju3Mq 5C p}G(+O&|e? AS+Pո\E쫀ht6D뿹>nJ3!6n{Z\ j krl.^4Yj>ͩ|ɦW6BR`P814O`btuÙHN)(dE$2طߘm)ͮWM^UI.0"5=p`=="-n29'Hzjo;'F@6KϣhۆxRŶ]&ٹ}9myU):`rKiYVExj[麼m#'F|D:%wwMZW626WϘuE)!wbTx{HTCQfV:V축Lo]$ " m {ǥnOr nJ=}UE@$'YH۰Wx`S/ ش\{Bhj,+,6֓>ÈFjK-ru ɢdEĊ.٧ Y6{kG*m3@B;KOWRa6 ¯YT$cNk; tKS'3yA[ecX®'HkC:N @n6T{9^0z_e#M9z;K{8!d|BC]oY<~7h=R垑<|g@FV|;c$,FǨj@ Enw |v]W{A7.+[ov9SuߟH&PH1Ys"L_9M!f:X:?z}FXd>s76MSPEvIU_RhDO+ʰ _,Ur0xDVg{񣞕kɆ D ah7KDsT ϱ^nkЯ)d"[Xݝ%ӄ/E‡{XQ<>sFMD-^6u$񙣿ޗ eg7)p(Lτ; onu`\Ƶܿa0pwv_ , I~_!a<-ZSX}}6 bSl)Lh1Fc:=Sł.5CdkN?)Z+LS(=a ddK|;e:Hzlܼ7%jA-(de5Lt~RLģ fn6=i z1wx,^OpzRJzc@C ?YSs/:'+*cӵ^oCv_}jGMf~\@)MlMcVui/<ߜ͔]{qq&Pz ޷Yl&yM_Mi|sd,k (ik[P(XB'Kre,INtV61(:c3Wλ>X+'/D[ Tt^,KlhÖ+5/0&zu@\u,pT70ܯw.n Iny 3 7Eq -j#٣leEND s7 ]V*cQnC?4h)n,8yP +$@MX*D4^VᠴV f+Vf2?ֳ+@^LNXƘ<"Xa@qfi& uj79p3c|=F^U= @`YL?qq],;fI?S*rB e8 tr'*@CP{4hEL)m=L,J^RXoXL}91>PɚI 3 S2-~|yC֓]L~2*"Lk:`}/%FKd$M4J&i؋yqFrFD\s>XZzAK[*ȝU?G,A\GqbGyI&M;-C_a5xVH@aj݅ Q7e%hQYsmJ#a ]Yu0۝>\(Q:&gI]_S1@ 0,p^mad3-{K)jq $>ɉY?-gVNӴ A(kr-'. c-Pq ?Қ̣KMSEUx/\ h; JԢ@( eI&u}rBdPz +_pb4*$R$?Hhc۬!mC,|XA=& JX. L`I)7TߏnV/LJi.=0PI=H⅁ 9S4yU9TK *z6CIݲculj/|.5cTDX}4];[N@&^[ru5V'7fM >ܰ;G 0<|qgk3ۑq6S"<=!|=EEt+-d͏tL2XWմ  G 1,SS<1 -{x@᪩-FsdvE+:{1|{O83Z'Zsevt)ttj ig~I7֢`e=ǍRd·A 0gy:b`WY< Ll1jQTCǮ ۖE|,?cLa񼔽wAȽDדDL`)~sL]!WKpA 4ԹXP=lgUs&Q_- ֔* 7;JbӎsUb{p)] cҚ 丂7}wJ6 *9A4!kڴ '*lӌw0m?R':sP lG*/T9Fk;~~ߟ,[R%LxCC6[.DP_z?=}-?04#Xs@fZ!#j:_> zM]*`"#9\ARt<8~i{;K8" ,\4֎K~ = `Yk2?:2/3y3gZ|E]_[ @d,>4j[t-B dW\Rފa]bp\ T!:Y\~-sƣ٪@*:e>HǕz`I DQCbn/t rBːB),SWA$su>=߯OβݣqW"gWI5Tq>3cu;'_T^85Y;"**Muc.]4(yd/.a)t (Lp/nVЉ{cUMC/-QQs< CWN%f ̓sKm嫺> Y*}PR xD[ȑ0bL/]ຌgrg%hVY~62[3j^n?Jm}L#6H5 &S6-k>u p4ur"@'^&ϗ0EDЇdYV9VB#j0L`t!֥TU uHJW#އ"A8X[hku(]{th:)>_>DgEާ%AP8+R00ѷ w1qP(8%AV=M ׿>QAW/$'&eqMK (,+OCWIeZI=߭LɲBD*75폯Qrd=:۫ҝ1uⲅ=DHf ^&Mv&8$dl:޷K@9[VH/2~nu U <6(1gdϬ+Nb00 fr ?u?Фbڼm9.KPm3iHHi_zaw $S$[b芁^㕷^;fG]P6Aծ[dPA@eI&: a{_W[X]n>cN;F9bMF{*r{lo= w R*3:ꐈSD`t ~s'bT{w X0Acy %uykJAJVҢrkx$9"%b* ,F, u)Z!8׭nM?}г:)5V@M}Krbx6 ҍ5:_=a6iDK_n1:ɗ`aP :H*aa\վ|=/{5pNLexQpF-)!6Opefq/5Rjae]ʠ@ʶSŠ[D&OJ "}*[ fhhŀZZXbwWD+cFlQ`Z&^{ {\l <2tsNLCx-*Ө?dŚؠN#7 #뒶Qث0ŦO m')l2W:T3A A+ޟat>9dB֘tRm/!"vRkMjMrZxIIzCnUC.g-OuᛷMn0ֿ½h&XaS\RLvnQR ׽{_Qd25rX *WNk}!rf.ՠ{@\`qwRbHGGKUL;~ WOpiX<[툌 D=9[~!:?A , ޳x5_Ȏ֫ߧUAnbHnTߒ73BʿDQQ?Ea0›}r,{@~Wuv `MLGl}\4N4;@ZPV4 >L\c;ca) _lsJK~Yr-=Li"\uKiwpE{\f(&r66=wWf^B-@`xdͥJ_B?hy[dyjLy~2@RIJ/Yfb11~,5-8!PٷW3!#bש&OvW%91NFI<%[U5[!qZlVF5΀Ĺ( uO$7"(_2䙨P:bȕ |&n~a9,>7=-8@D->ߌ•@E{ɶ/(h40A܍?# $t'rX1ZTlv|݅&^-wxZď&18[./^o)\X 쯬F*( Z_N+FRF|^t3dW=cTx_vm|5W`xb}GlwPVlgAj(U[vIb 09Qvp:@c((؂E\a߆p셵(]3.T+Y&_SW\5ߒ*CډIH֥zQ~=\K5уF[b;3tU!GYVPp y-^1ȃ $窷ӎ}4hPv$vIʟ ^H/J%Պl)aiՇQE;1<+yڸp<=QMoU/yO#.݌,`IjGW`F/יs,$u(IJ po:i@ N7}rc t9}#|D+(Nh&v3yHABdEah"É@oc pRS 2yaUE!$+w- UK*g'GpU_*4G5 |޴\ 7E`Z4cݥe #gT kO6Edd3J-hG讫0Caa*"5V M9NR7tZ9N=<ƐkLdb<Գ߰iYaL!!^{[&}0PQED6D3( 70$ݽe#OL]&9s! Mñv&gͪ)c<뷠1dY3BI$A@6$a|Y>repӎc߯w B.﫳 }_vѪrvuP{4 G]cMOŊj8)(٣N4xFgo`DxXG>Cpr!]NXM!]7آg`Giu$'i~V#%><(f8g,@r4﷐WDœc9H˭ MLSku fI0xCأnrV0SŻPl6P OqZ?p%jbW ՝b27Nam(5}&M…$z۔Ūed;Jfb=?[(UpBUK];‡j,KͨVC6I E nsΚBu>KZ!8rlpk~7KaFs|)}$) ~O)}frO@^.8< bTA w|ܴQޜʬ>B4I_=`L+hܓ(""\>\N^#3u)wvag?1cv E5`*jTn:| ׶}&8ֽچ4#%~[j T$tskb5}̰Xꏷ!P?p-gzPTx,,E W 9f3pw K!@,H,I]USL}soEgZG_D9m35m5Y`A C[)g%g]Ք)L猉hB.m2qZ<~uḆzܝM ?SyH MTS:јANTp8D=eDm/Wmgis hM }XdO epގԩ1[cs1P#Vw>E3Ȋb;1/f|.gxҥK Iëe;OzI4sX@L i@p9d)3SFSte$+o3)WV=v7s> [Բ摒Fp婝v҈?e/˦`#Em7<ǘ96ro"fbA0W>X|(.Xp)\#9IMT͆ Ք!%hM۞!+5x_LZ[xnnf}r)L~/s튯BG>|\}cT&,bOFHȭ!n؋C/ɮd[A<^hp~Z2߷AT~G ioSo勂3NN=QUNpM}ܬ"MQ M> ]enoc$ok=3 gGG WnSKYUk%AؾqP%zƦ\v W [qܖca3sYUè_mџJVؖ`KlݮvakJik{~J tKKA)Ǧ/35`*/=.„Pyq?a%$=:.]S'^3"vP!C_{=dQ۴Ya?nZ IIE%E9.}YQgd!b?+@Ξ$Xg fCt^_L,dGKI<`avÚX'Kҽ'9`)Xnv!1qEbx;2EӜH"T}QAQ'A%Gkwp^c$dzopuX$ގ,őS}ʵ>&<s :P&&w*^ᛟ|dEYr71osNUyRܝ&ƛJ*j[d;s(o+/I=lM_TFWl^$ʎͭއxjXڢ+٪d.Nl^kE_㯰{Fsܻ~((h}|ֳ=] *S{ze`H